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

Analysis Run

0995632e-e396-4095-a420-9874a0fca887

failed
Chain ID
1
Address
0x9fa8fa61a10ff892e4ebceb7f4e0fc684c2ce0a9
Block Number
—
Created
Fri, Jan 2, 2026 4:17 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?

back to vulns open contract
Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
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
31216 report.consolidate complete 1 / 1 3 months ago
95107 artifact.fetch failed 1 / 3 1 week ago
95108 tool.cast_disasm complete 1 / 3 1 week ago
95109 analysis.bundle complete 1 / 3 1 week ago
95110 capability.graph complete 1 / 3 1 week ago
95111 detector.run complete 1 / 3 1 week ago
95112 validation.fork complete 1 / 3 1 week 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 AUDIT_BUNDLE.txt (contracts/Contract.sol); no concrete, exploitable profit path found under the stated assumptions.
View stderr 
[codex:9308] OpenAI Codex v0.77.0 (research preview)
[codex:9308] --------
[codex:9308] workdir: /tmp/codex-multi-e10bib5f
[codex:9308] model: gpt-5.2-codex
[codex:9308] provider: openai
[codex:9308] approval: never
[codex:9308] sandbox: read-only
[codex:9308] reasoning effort: xhigh
[codex:9308] reasoning summaries: auto
[codex:9308] session id: 019b7ceb-2385-7df1-81ea-65917275b6eb
[codex:9308] --------
[codex:9308] user
[codex:9308] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:9308] 
[codex:9308] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:9308] 
[codex:9308] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:9308] - Gas inefficiency, code quality, naming, or best practices
[codex:9308] - Theoretical vulnerabilities without a clear extraction path
[codex:9308] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:9308] - Front-running unless it enables theft beyond MEV
[codex:9308] - DoS, griefing, or issues that don't result in attacker profit
[codex:9308] - Missing events, view function issues, or informational findings
[codex:9308] 
[codex:9308] HIGH-VALUE PATTERNS TO HUNT:
[codex:9308] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:9308] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:9308] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:9308] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:9308] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:9308] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:9308] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:9308] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:9308] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:9308] 
[codex:9308] For each finding, you MUST provide:
[codex:9308] 1. Exact file and line numbers of vulnerable code
[codex:9308] 2. Step-by-step exploit transaction sequence
[codex:9308] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:9308] 
[codex:9308] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:9308] 
[codex:9308] Output MUST be valid JSON matching the provided schema.
[codex:9308] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:9308] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:9308] mcp startup: no servers
[codex:9308] 
[codex:9308] thinking
[codex:9308] **Reading AUDIT_BUNDLE.txt instructions**
[codex:9308] exec
[codex:9308] /bin/bash -lc ls in /tmp/codex-multi-e10bib5f succeeded in 5ms:
[codex:9308] AUDIT_BUNDLE.txt
[codex:9308] codex-output-schema.json
[codex:9308] contracts
[codex:9308] exec
[codex:9308] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-e10bib5f succeeded in 5ms:
[codex:9308] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:9308] 
[codex:9308] ================================================================================
[codex:9308] FILE: contracts/Contract.sol
[codex:9308] ================================================================================
[codex:9308] /* Verified by 3esmit
[codex:9308]  
[codex:9308] - Bytecode Verification performed was compared on second iteration -
[codex:9308] 
[codex:9308] This file is part of the HONG.
[codex:9308] 
[codex:9308] The HONG is free software: you can redistribute it and/or modify
[codex:9308] it under the terms of the GNU lesser General Public License as published by
[codex:9308] the Free Software Foundation, either version 3 of the License, or
[codex:9308] (at your option) any later version.
[codex:9308] 
[codex:9308] The HONG is distributed in the hope that it will be useful,
[codex:9308] but WITHOUT ANY WARRANTY; without even the implied warranty of
[codex:9308] MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
[codex:9308] GNU lesser General Public License for more details.
[codex:9308] 
[codex:9308] 
[codex:9308] thinking
[codex:9308] **Analyzing potential Solidity vulnerabilities**
[codex:9308] 
[codex:9308] I've carefully examined the old Solidity contract for reentrancy, access control, and logic errors that could yield profit. Despite various external calls and fallback handling, state changes precede external effects, send uses limited gas, and ownership checks prevent unauthorized actions. A possible infinite loop and oversubscription beyond token caps exist but don't create immediate profit. Vote manipulation or refund double-dipping seems improbable. Overall, no clear exploitable path to profit emerges. I'll prepare a JSON report reflecting no findings.
[codex:9308] thinking
[codex:9308] **Preparing final JSON audit summary**
[codex:9308] 
[codex:9308] I'm crafting a concise JSON output reporting no findings after thoroughly reviewing the AUDIT_BUNDLE, ensuring it matches the required schema and avoids false positives. The summary will note no exploitable profit paths were found under given assumptions.
[codex:9308] codex
[codex:9308] {"no_findings":true,"summary":"Reviewed AUDIT_BUNDLE.txt (contracts/Contract.sol); no concrete, exploitable profit path found under the stated assumptions.","findings":[]}
[codex:9308] tokens used
[codex:9308] 16,245
[codex:9308] {"no_findings":true,"summary":"Reviewed AUDIT_BUNDLE.txt (contracts/Contract.sol); no concrete, exploitable profit path found under the stated assumptions.","findings":[]}
Metadata 
{
    "codex": {
        "ran_at": "2026-01-02T04:17:03.652597+00:00",
        "returncode": 0
    },
    "summary": "Reviewed AUDIT_BUNDLE.txt (contracts/Contract.sol); no concrete, exploitable profit path found under the stated assumptions.",
    "raw_final": {
        "summary": "Reviewed AUDIT_BUNDLE.txt (contracts/Contract.sol); no concrete, exploitable profit path found under the stated assumptions.",
        "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
4
Total opcodes
6152
Flags
call_family_heavy
View cast disassembly output 
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x02be
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x02410cf6
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x0337
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x044a5f97
00000025: EQ
00000026: PUSH2 0x0348
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x06fdde03
00000030: EQ
00000031: PUSH2 0x039f
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x089aa819
0000003b: EQ
0000003c: PUSH2 0x03fd
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x0c103837
00000046: EQ
00000047: PUSH2 0x0406
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x0c3b7b96
00000051: EQ
00000052: PUSH2 0x041e
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x0d40e8d6
0000005c: EQ
0000005d: PUSH2 0x0427
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x14841164
00000067: EQ
00000068: PUSH2 0x0430
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x1d107603
00000072: EQ
00000073: PUSH2 0x0442
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x1f2dc5ef
0000007d: EQ
0000007e: PUSH2 0x044b
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x21d3523c
00000088: EQ
00000089: PUSH2 0x0459
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x313ce567
00000093: EQ
00000094: PUSH2 0x0467
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0x342d9185
0000009e: EQ
0000009f: PUSH2 0x0473
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0x35d37dbb
000000a9: EQ
000000aa: PUSH2 0x0482
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x42750020
000000b4: EQ
000000b5: PUSH2 0x048b
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0x44440a59
000000bf: EQ
000000c0: PUSH2 0x0494
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0x4845d3f8
000000ca: EQ
000000cb: PUSH2 0x04a7
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0x490fc399
000000d5: EQ
000000d6: PUSH2 0x04b0
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0x4b6753bc
000000e0: EQ
000000e1: PUSH2 0x04d5
000000e4: JUMPI
000000e5: DUP1
000000e6: PUSH4 0x53bc147e
000000eb: EQ
000000ec: PUSH2 0x04de
000000ef: JUMPI
000000f0: DUP1
000000f1: PUSH4 0x5474fbd3
000000f6: EQ
000000f7: PUSH2 0x04e7
000000fa: JUMPI
000000fb: DUP1
000000fc: PUSH4 0x558305f9
00000101: EQ
00000102: PUSH2 0x04f9
00000105: JUMPI
00000106: DUP1
00000107: PUSH4 0x56a3f4ef
0000010c: EQ
0000010d: PUSH2 0x0505
00000110: JUMPI
00000111: DUP1
00000112: PUSH4 0x5b6aa3c2
00000117: EQ
00000118: PUSH2 0x0513
0000011b: JUMPI
0000011c: DUP1
0000011d: PUSH4 0x60d3e4c5
00000122: EQ
00000123: PUSH2 0x0524
00000126: JUMPI
00000127: DUP1
00000128: PUSH4 0x67cf91c9
0000012d: EQ
0000012e: PUSH2 0x0536
00000131: JUMPI
00000132: DUP1
00000133: PUSH4 0x6b9c1d22
00000138: EQ
00000139: PUSH2 0x053f
0000013c: JUMPI
0000013d: DUP1
0000013e: PUSH4 0x70606cda
00000143: EQ
00000144: PUSH2 0x0551
00000147: JUMPI
00000148: DUP1
00000149: PUSH4 0x70a08231
0000014e: EQ
0000014f: PUSH2 0x055a
00000152: JUMPI
00000153: DUP1
00000154: PUSH4 0x73f5f8ee
00000159: EQ
0000015a: PUSH2 0x057c
0000015d: JUMPI
0000015e: DUP1
0000015f: PUSH4 0x7412c223
00000164: EQ
00000165: PUSH2 0x058d
00000168: JUMPI
00000169: DUP1
0000016a: PUSH4 0x7895f853
0000016f: EQ
00000170: PUSH2 0x05ad
00000173: JUMPI
00000174: DUP1
00000175: PUSH4 0x7c2b8d0a
0000017a: EQ
0000017b: PUSH2 0x05b9
0000017e: JUMPI
0000017f: DUP1
00000180: PUSH4 0x7e4a1731
00000185: EQ
00000186: PUSH2 0x05d1
00000189: JUMPI
0000018a: DUP1
0000018b: PUSH4 0x81dd70db
00000190: EQ
00000191: PUSH2 0x05eb
00000194: JUMPI
00000195: DUP1
00000196: PUSH4 0x8c32e774
0000019b: EQ
0000019c: PUSH2 0x05f4
0000019f: JUMPI
000001a0: DUP1
000001a1: PUSH4 0x9496df3f
000001a6: EQ
000001a7: PUSH2 0x0606
000001aa: JUMPI
000001ab: DUP1
000001ac: PUSH4 0x95d89b41
000001b1: EQ
000001b2: PUSH2 0x060f
000001b5: JUMPI
000001b6: DUP1
000001b7: PUSH4 0x9bd90aae
000001bc: EQ
000001bd: PUSH2 0x066d
000001c0: JUMPI
000001c1: DUP1
000001c2: PUSH4 0x9cb74ab6
000001c7: EQ
000001c8: PUSH2 0x0676
000001cb: JUMPI
000001cc: DUP1
000001cd: PUSH4 0x9e47214a
000001d2: EQ
000001d3: PUSH2 0x06d6
000001d6: JUMPI
000001d7: DUP1
000001d8: PUSH4 0xa8d5652e
000001dd: EQ
000001de: PUSH2 0x06e7
000001e1: JUMPI
000001e2: DUP1
000001e3: PUSH4 0xa9059cbb
000001e8: EQ
000001e9: PUSH2 0x06f0
000001ec: JUMPI
000001ed: DUP1
000001ee: PUSH4 0xa988e371
000001f3: EQ
000001f4: PUSH2 0x075e
000001f7: JUMPI
000001f8: DUP1
000001f9: PUSH4 0xab71b8ac
000001fe: EQ
000001ff: PUSH2 0x0776
00000202: JUMPI
00000203: DUP1
00000204: PUSH4 0xadbda5a8
00000209: EQ
0000020a: PUSH2 0x077f
0000020d: JUMPI
0000020e: DUP1
0000020f: PUSH4 0xaea3ad8c
00000214: EQ
00000215: PUSH2 0x0791
00000218: JUMPI
00000219: DUP1
0000021a: PUSH4 0xb656e9f4
0000021f: EQ
00000220: PUSH2 0x07a9
00000223: JUMPI
00000224: DUP1
00000225: PUSH4 0xba0bface
0000022a: EQ
0000022b: PUSH2 0x07b5
0000022e: JUMPI
0000022f: DUP1
00000230: PUSH4 0xbf53e3ba
00000235: EQ
00000236: PUSH2 0x07c7
00000239: JUMPI
0000023a: DUP1
0000023b: PUSH4 0xc86a9dea
00000240: EQ
00000241: PUSH2 0x07d0
00000244: JUMPI
00000245: DUP1
00000246: PUSH4 0xcdd8d4e8
0000024b: EQ
0000024c: PUSH2 0x07eb
0000024f: JUMPI
00000250: DUP1
00000251: PUSH4 0xcfebb88b
00000256: EQ
00000257: PUSH2 0x07f4
0000025a: JUMPI
0000025b: DUP1
0000025c: PUSH4 0xda228f9c
00000261: EQ
00000262: PUSH2 0x0800
00000265: JUMPI
00000266: DUP1
00000267: PUSH4 0xdc7049bf
0000026c: EQ
0000026d: PUSH2 0x0809
00000270: JUMPI
00000271: DUP1
00000272: PUSH4 0xdf234815
00000277: EQ
00000278: PUSH2 0x0812
0000027b: JUMPI
0000027c: DUP1
0000027d: PUSH4 0xe0e32504
00000282: EQ
00000283: PUSH2 0x084c
00000286: JUMPI
00000287: DUP1
00000288: PUSH4 0xe2649caf
0000028d: EQ
0000028e: PUSH2 0x085f
00000291: JUMPI
00000292: DUP1
00000293: PUSH4 0xe84f7054
00000298: EQ
00000299: PUSH2 0x086d
0000029c: JUMPI
0000029d: DUP1
0000029e: PUSH4 0xfb75b2c7
000002a3: EQ
000002a4: PUSH2 0x08ad
000002a7: JUMPI
000002a8: DUP1
000002a9: PUSH4 0xfea5d7b1
000002ae: EQ
000002af: PUSH2 0x08bf
000002b2: JUMPI
000002b3: DUP1
000002b4: PUSH4 0xffa309e4
000002b9: EQ
000002ba: PUSH2 0x08fd
000002bd: JUMPI
000002be: JUMPDEST
000002bf: PUSH2 0x0906
000002c2: PUSH1 0x00
000002c4: PUSH2 0x091a
000002c7: PUSH1 0x1b
000002c9: SLOAD
000002ca: PUSH1 0x00
000002cc: SWAP1
000002cd: CALLER
000002ce: PUSH1 0x01
000002d0: PUSH1 0xa0
000002d2: PUSH1 0x02
000002d4: EXP
000002d5: SUB
000002d6: SWAP1
000002d7: DUP2
000002d8: AND
000002d9: SWAP2
000002da: AND
000002db: EQ
000002dc: DUP1
000002dd: PUSH2 0x02fd
000002e0: JUMPI
000002e1: POP
000002e2: PUSH1 0x26
000002e4: SLOAD
000002e5: PUSH5 0x0100000000
000002eb: SWAP1
000002ec: DIV
000002ed: PUSH1 0x01
000002ef: PUSH1 0xa0
000002f1: PUSH1 0x02
000002f3: EXP
000002f4: SUB
000002f5: SWAP1
000002f6: DUP2
000002f7: AND
000002f8: CALLER
000002f9: SWAP1
000002fa: SWAP2
000002fb: AND
000002fc: EQ
000002fd: JUMPDEST
000002fe: DUP1
000002ff: PUSH2 0x0317
00000302: JUMPI
00000303: POP
00000304: PUSH1 0x27
00000306: SLOAD
00000307: PUSH1 0x01
00000309: PUSH1 0xa0
0000030b: PUSH1 0x02
0000030d: EXP
0000030e: SUB
0000030f: SWAP1
00000310: DUP2
00000311: AND
00000312: CALLER
00000313: SWAP1
00000314: SWAP2
00000315: AND
00000316: EQ
00000317: JUMPDEST
00000318: DUP1
00000319: PUSH2 0x0a1e
0000031c: JUMPI
0000031d: POP
0000031e: PUSH1 0x28
00000320: SLOAD
00000321: PUSH1 0x01
00000323: PUSH1 0xa0
00000325: PUSH1 0x02
00000327: EXP
00000328: SUB
00000329: SWAP1
0000032a: DUP2
0000032b: AND
0000032c: CALLER
0000032d: SWAP1
0000032e: SWAP2
0000032f: AND
00000330: EQ
00000331: SWAP1
00000332: POP
00000333: PUSH2 0x0a1b
00000336: JUMP
00000337: JUMPDEST
00000338: PUSH2 0x0906
0000033b: PUSH1 0x21
0000033d: SLOAD
0000033e: PUSH2 0x0100
00000341: SWAP1
00000342: DIV
00000343: PUSH1 0xff
00000345: AND
00000346: DUP2
00000347: JUMP
00000348: JUMPDEST
00000349: PUSH2 0x0a25
0000034c: PUSH1 0x1a
0000034e: SLOAD
0000034f: PUSH1 0x01
00000351: PUSH1 0xa0
00000353: PUSH1 0x02
00000355: EXP
00000356: SUB
00000357: SWAP1
00000358: DUP2
00000359: AND
0000035a: CALLER
0000035b: SWAP1
0000035c: SWAP2
0000035d: AND
0000035e: EQ
0000035f: PUSH2 0x0fc0
00000362: JUMPI
00000363: PUSH1 0x40
00000365: DUP1
00000366: MLOAD
00000367: DUP1
00000368: DUP3
00000369: ADD
0000036a: SWAP1
0000036b: SWAP2
0000036c: MSTORE
0000036d: PUSH1 0x12
0000036f: DUP2
00000370: MSTORE
00000371: PUSH32 0x6f6e6c794d616e6167656d656e74426f64790000000000000000000000000000
00000392: PUSH1 0x20
00000394: DUP3
00000395: ADD
00000396: MSTORE
00000397: PUSH2 0x0d72
0000039a: SWAP1
0000039b: PUSH2 0x0ba0
0000039e: JUMP
0000039f: JUMPDEST
000003a0: PUSH1 0x40
000003a2: DUP1
000003a3: MLOAD
000003a4: PUSH1 0x03
000003a6: DUP1
000003a7: SLOAD
000003a8: PUSH1 0x20
000003aa: PUSH1 0x02
000003ac: PUSH1 0x01
000003ae: DUP4
000003af: AND
000003b0: ISZERO
000003b1: PUSH2 0x0100
000003b4: MUL
000003b5: PUSH1 0x00
000003b7: NOT
000003b8: ADD
000003b9: SWAP1
000003ba: SWAP3
000003bb: AND
000003bc: SWAP2
000003bd: SWAP1
000003be: SWAP2
000003bf: DIV
000003c0: PUSH1 0x1f
000003c2: DUP2
000003c3: ADD
000003c4: DUP3
000003c5: SWAP1
000003c6: DIV
000003c7: DUP3
000003c8: MUL
000003c9: DUP5
000003ca: ADD
000003cb: DUP3
000003cc: ADD
000003cd: SWAP1
000003ce: SWAP5
000003cf: MSTORE
000003d0: DUP4
000003d1: DUP4
000003d2: MSTORE
000003d3: PUSH2 0x0a27
000003d6: SWAP4
000003d7: SWAP1
000003d8: DUP4
000003d9: ADD
000003da: DUP3
000003db: DUP3
000003dc: DUP1
000003dd: ISZERO
000003de: PUSH2 0x1111
000003e1: JUMPI
000003e2: DUP1
000003e3: PUSH1 0x1f
000003e5: LT
000003e6: PUSH2 0x10e6
000003e9: JUMPI
000003ea: PUSH2 0x0100
000003ed: DUP1
000003ee: DUP4
000003ef: SLOAD
000003f0: DIV
000003f1: MUL
000003f2: DUP4
000003f3: MSTORE
000003f4: SWAP2
000003f5: PUSH1 0x20
000003f7: ADD
000003f8: SWAP2
000003f9: PUSH2 0x1111
000003fc: JUMP
000003fd: JUMPDEST
000003fe: PUSH2 0x0a95
00000401: PUSH1 0x02
00000403: SLOAD
00000404: DUP2
00000405: JUMP
00000406: JUMPDEST
00000407: PUSH2 0x0a95
0000040a: PUSH1 0x04
0000040c: CALLDATALOAD
0000040d: PUSH1 0x14
0000040f: PUSH1 0x20
00000411: MSTORE
00000412: PUSH1 0x00
00000414: SWAP1
00000415: DUP2
00000416: MSTORE
00000417: PUSH1 0x40
00000419: SWAP1
0000041a: KECCAK256
0000041b: SLOAD
0000041c: DUP2
0000041d: JUMP
0000041e: JUMPDEST
0000041f: PUSH2 0x0a95
00000422: PUSH1 0x08
00000424: SLOAD
00000425: DUP2
00000426: JUMP
00000427: JUMPDEST
00000428: PUSH2 0x0a95
0000042b: PUSH1 0x17
0000042d: SLOAD
0000042e: DUP2
0000042f: JUMP
00000430: JUMPDEST
00000431: PUSH2 0x0aa7
00000434: PUSH1 0x1b
00000436: SLOAD
00000437: PUSH1 0x01
00000439: PUSH1 0xa0
0000043b: PUSH1 0x02
0000043d: EXP
0000043e: SUB
0000043f: AND
00000440: DUP2
00000441: JUMP
00000442: JUMPDEST
00000443: PUSH2 0x0a95
00000446: PUSH1 0x18
00000448: SLOAD
00000449: DUP2
0000044a: JUMP
0000044b: JUMPDEST
0000044c: PUSH2 0x0a95
0000044f: JUMPDEST
00000450: PUSH1 0x00
00000452: PUSH2 0x1119
00000455: PUSH2 0x0591
00000458: JUMP
00000459: JUMPDEST
0000045a: PUSH2 0x0a25
0000045d: PUSH1 0x00
0000045f: PUSH2 0x1129
00000462: CALLER
00000463: PUSH2 0x0561
00000466: JUMP
00000467: JUMPDEST
00000468: PUSH2 0x0ac4
0000046b: PUSH1 0x05
0000046d: SLOAD
0000046e: PUSH1 0xff
00000470: AND
00000471: DUP2
00000472: JUMP
00000473: JUMPDEST
00000474: PUSH2 0x0a95
00000477: PUSH1 0x00
00000479: PUSH1 0x64
0000047b: PUSH2 0x12cf
0000047e: PUSH2 0x044f
00000481: JUMP
00000482: JUMPDEST
00000483: PUSH2 0x0a95
00000486: PUSH1 0x0d
00000488: SLOAD
00000489: DUP2
0000048a: JUMP
0000048b: JUMPDEST
0000048c: PUSH2 0x0a95
0000048f: PUSH1 0x20
00000491: SLOAD
00000492: DUP2
00000493: JUMP
00000494: JUMPDEST
00000495: PUSH2 0x0906
00000498: PUSH1 0x26
0000049a: SLOAD
0000049b: PUSH4 0x01000000
000004a0: SWAP1
000004a1: DIV
000004a2: PUSH1 0xff
000004a4: AND
000004a5: DUP2
000004a6: JUMP
000004a7: JUMPDEST
000004a8: PUSH2 0x0a95
000004ab: PUSH1 0x07
000004ad: SLOAD
000004ae: DUP2
000004af: JUMP
000004b0: JUMPDEST
000004b1: PUSH1 0x12
000004b3: PUSH1 0x20
000004b5: SWAP1
000004b6: DUP2
000004b7: MSTORE
000004b8: PUSH1 0x04
000004ba: CALLDATALOAD
000004bb: PUSH1 0x00
000004bd: SWAP1
000004be: DUP2
000004bf: MSTORE
000004c0: PUSH1 0x40
000004c2: DUP1
000004c3: DUP3
000004c4: KECCAK256
000004c5: SWAP1
000004c6: SWAP3
000004c7: MSTORE
000004c8: PUSH1 0x24
000004ca: CALLDATALOAD
000004cb: DUP2
000004cc: MSTORE
000004cd: KECCAK256
000004ce: SLOAD
000004cf: PUSH2 0x0a95
000004d2: SWAP1
000004d3: DUP2
000004d4: JUMP
000004d5: JUMPDEST
000004d6: PUSH2 0x0a95
000004d9: PUSH1 0x01
000004db: SLOAD
000004dc: DUP2
000004dd: JUMP
000004de: JUMPDEST
000004df: PUSH2 0x0a95
000004e2: PUSH1 0x0b
000004e4: SLOAD
000004e5: DUP2
000004e6: JUMP
000004e7: JUMPDEST
000004e8: PUSH2 0x0906
000004eb: PUSH1 0x21
000004ed: SLOAD
000004ee: PUSH3 0x010000
000004f2: SWAP1
000004f3: DIV
000004f4: PUSH1 0xff
000004f6: AND
000004f7: DUP2
000004f8: JUMP
000004f9: JUMPDEST
000004fa: PUSH2 0x0906
000004fd: PUSH1 0x26
000004ff: SLOAD
00000500: PUSH1 0xff
00000502: AND
00000503: DUP2
00000504: JUMP
00000505: JUMPDEST
00000506: PUSH2 0x0a25
00000509: PUSH1 0x00
0000050b: PUSH2 0x12db
0000050e: CALLER
0000050f: PUSH2 0x0561
00000512: JUMP
00000513: JUMPDEST
00000514: PUSH2 0x0906
00000517: JUMPDEST
00000518: PUSH1 0x08
0000051a: SLOAD
0000051b: PUSH1 0x20
0000051d: SLOAD
0000051e: LT
0000051f: ISZERO
00000520: PUSH2 0x0a1b
00000523: JUMP
00000524: JUMPDEST
00000525: PUSH2 0x0906
00000528: PUSH1 0x26
0000052a: SLOAD
0000052b: PUSH3 0x010000
0000052f: SWAP1
00000530: DIV
00000531: PUSH1 0xff
00000533: AND
00000534: DUP2
00000535: JUMP
00000536: JUMPDEST
00000537: PUSH2 0x0a95
0000053a: PUSH1 0x24
0000053c: SLOAD
0000053d: DUP2
0000053e: JUMP
0000053f: JUMPDEST
00000540: PUSH2 0x0aa7
00000543: PUSH1 0x28
00000545: SLOAD
00000546: PUSH1 0x01
00000548: PUSH1 0xa0
0000054a: PUSH1 0x02
0000054c: EXP
0000054d: SUB
0000054e: AND
0000054f: DUP2
00000550: JUMP
00000551: JUMPDEST
00000552: PUSH2 0x0a95
00000555: PUSH1 0x16
00000557: SLOAD
00000558: DUP2
00000559: JUMP
0000055a: JUMPDEST
0000055b: PUSH2 0x0a95
0000055e: PUSH1 0x04
00000560: CALLDATALOAD
00000561: JUMPDEST
00000562: PUSH1 0x01
00000564: PUSH1 0xa0
00000566: PUSH1 0x02
00000568: EXP
00000569: SUB
0000056a: AND
0000056b: PUSH1 0x00
0000056d: SWAP1
0000056e: DUP2
0000056f: MSTORE
00000570: PUSH1 0x1e
00000572: PUSH1 0x20
00000574: MSTORE
00000575: PUSH1 0x40
00000577: SWAP1
00000578: KECCAK256
00000579: SLOAD
0000057a: SWAP1
0000057b: JUMP
0000057c: JUMPDEST
0000057d: PUSH2 0x0a95
00000580: JUMPDEST
00000581: PUSH1 0x00
00000583: PUSH2 0x0a1e
00000586: PUSH2 0x1420
00000589: PUSH2 0x0591
0000058c: JUMP
0000058d: JUMPDEST
0000058e: PUSH2 0x0ac4
00000591: JUMPDEST
00000592: PUSH1 0x0a
00000594: SLOAD
00000595: PUSH1 0x20
00000597: SLOAD
00000598: PUSH1 0x00
0000059a: SWAP2
0000059b: SWAP1
0000059c: DIV
0000059d: PUSH1 0x04
0000059f: PUSH1 0xff
000005a1: DUP3
000005a2: AND
000005a3: GT
000005a4: PUSH2 0x142c
000005a7: JUMPI
000005a8: DUP1
000005a9: PUSH2 0x142f
000005ac: JUMP
000005ad: JUMPDEST
000005ae: PUSH2 0x0906
000005b1: PUSH1 0x21
000005b3: SLOAD
000005b4: PUSH1 0xff
000005b6: AND
000005b7: DUP2
000005b8: JUMP
000005b9: JUMPDEST
000005ba: PUSH2 0x0a95
000005bd: PUSH1 0x04
000005bf: CALLDATALOAD
000005c0: PUSH1 0x13
000005c2: PUSH1 0x20
000005c4: MSTORE
000005c5: PUSH1 0x00
000005c7: SWAP1
000005c8: DUP2
000005c9: MSTORE
000005ca: PUSH1 0x40
000005cc: SWAP1
000005cd: KECCAK256
000005ce: SLOAD
000005cf: DUP2
000005d0: JUMP
000005d1: JUMPDEST
000005d2: PUSH2 0x0aa7
000005d5: PUSH1 0x26
000005d7: SLOAD
000005d8: PUSH5 0x0100000000
000005de: SWAP1
000005df: DIV
000005e0: PUSH1 0x01
000005e2: PUSH1 0xa0
000005e4: PUSH1 0x02
000005e6: EXP
000005e7: SUB
000005e8: AND
000005e9: DUP2
000005ea: JUMP
000005eb: JUMPDEST
000005ec: PUSH2 0x0a95
000005ef: PUSH1 0x10
000005f1: SLOAD
000005f2: DUP2
000005f3: JUMP
000005f4: JUMPDEST
000005f5: PUSH2 0x0906
000005f8: JUMPDEST
000005f9: PUSH1 0x20
000005fb: SLOAD
000005fc: PUSH1 0x09
000005fe: SLOAD
000005ff: SWAP1
00000600: LT
00000601: ISZERO
00000602: PUSH2 0x0a1b
00000605: JUMP
00000606: JUMPDEST
00000607: PUSH2 0x0a95
0000060a: PUSH1 0x0f
0000060c: SLOAD
0000060d: DUP2
0000060e: JUMP
0000060f: JUMPDEST
00000610: PUSH1 0x40
00000612: DUP1
00000613: MLOAD
00000614: PUSH1 0x04
00000616: DUP1
00000617: SLOAD
00000618: PUSH1 0x20
0000061a: PUSH1 0x02
0000061c: PUSH1 0x01
0000061e: DUP4
0000061f: AND
00000620: ISZERO
00000621: PUSH2 0x0100
00000624: MUL
00000625: PUSH1 0x00
00000627: NOT
00000628: ADD
00000629: SWAP1
0000062a: SWAP3
0000062b: AND
0000062c: SWAP2
0000062d: SWAP1
0000062e: SWAP2
0000062f: DIV
00000630: PUSH1 0x1f
00000632: DUP2
00000633: ADD
00000634: DUP3
00000635: SWAP1
00000636: DIV
00000637: DUP3
00000638: MUL
00000639: DUP5
0000063a: ADD
0000063b: DUP3
0000063c: ADD
0000063d: SWAP1
0000063e: SWAP5
0000063f: MSTORE
00000640: DUP4
00000641: DUP4
00000642: MSTORE
00000643: PUSH2 0x0a27
00000646: SWAP4
00000647: SWAP1
00000648: DUP4
00000649: ADD
0000064a: DUP3
0000064b: DUP3
0000064c: DUP1
0000064d: ISZERO
0000064e: PUSH2 0x1111
00000651: JUMPI
00000652: DUP1
00000653: PUSH1 0x1f
00000655: LT
00000656: PUSH2 0x10e6
00000659: JUMPI
0000065a: PUSH2 0x0100
0000065d: DUP1
0000065e: DUP4
0000065f: SLOAD
00000660: DIV
00000661: MUL
00000662: DUP4
00000663: MSTORE
00000664: SWAP2
00000665: PUSH1 0x20
00000667: ADD
00000668: SWAP2
00000669: PUSH2 0x1111
0000066c: JUMP
0000066d: JUMPDEST
0000066e: PUSH2 0x0a95
00000671: PUSH1 0x09
00000673: SLOAD
00000674: DUP2
00000675: JUMP
00000676: JUMPDEST
00000677: PUSH2 0x0906
0000067a: PUSH1 0x04
0000067c: CALLDATALOAD
0000067d: PUSH1 0x24
0000067f: CALLDATALOAD
00000680: PUSH1 0x1a
00000682: SLOAD
00000683: PUSH1 0x00
00000685: SWAP1
00000686: PUSH1 0x01
00000688: PUSH1 0xa0
0000068a: PUSH1 0x02
0000068c: EXP
0000068d: SUB
0000068e: SWAP1
0000068f: DUP2
00000690: AND
00000691: CALLER
00000692: SWAP1
00000693: SWAP2
00000694: AND
00000695: EQ
00000696: PUSH2 0x1435
00000699: JUMPI
0000069a: PUSH1 0x40
0000069c: DUP1
0000069d: MLOAD
0000069e: DUP1
0000069f: DUP3
000006a0: ADD
000006a1: SWAP1
000006a2: SWAP2
000006a3: MSTORE
000006a4: PUSH1 0x12
000006a6: DUP2
000006a7: MSTORE
000006a8: PUSH32 0x6f6e6c794d616e6167656d656e74426f64790000000000000000000000000000
000006c9: PUSH1 0x20
000006cb: DUP3
000006cc: ADD
000006cd: MSTORE
000006ce: PUSH2 0x1468
000006d1: SWAP1
000006d2: PUSH2 0x0ba0
000006d5: JUMP
000006d6: JUMPDEST
000006d7: PUSH2 0x0906
000006da: PUSH1 0x26
000006dc: SLOAD
000006dd: PUSH2 0x0100
000006e0: SWAP1
000006e1: DIV
000006e2: PUSH1 0xff
000006e4: AND
000006e5: DUP2
000006e6: JUMP
000006e7: JUMPDEST
000006e8: PUSH2 0x0a95
000006eb: PUSH1 0x0a
000006ed: SLOAD
000006ee: DUP2
000006ef: JUMP
000006f0: JUMPDEST
000006f1: PUSH2 0x0906
000006f4: PUSH1 0x04
000006f6: CALLDATALOAD
000006f7: PUSH1 0x24
000006f9: CALLDATALOAD
000006fa: PUSH1 0x00
000006fc: PUSH1 0x04
000006fe: PUSH1 0x23
00000700: PUSH1 0x00
00000702: POP
00000703: SLOAD
00000704: LT
00000705: ISZERO
00000706: PUSH2 0x16c0
00000709: JUMPI
0000070a: PUSH1 0x23
0000070c: SLOAD
0000070d: PUSH1 0x01
0000070f: ADD
00000710: DUP2
00000711: MSTORE
00000712: PUSH1 0x12
00000714: PUSH1 0x20
00000716: SWAP1
00000717: DUP2
00000718: MSTORE
00000719: PUSH1 0x40
0000071b: DUP1
0000071c: DUP4
0000071d: KECCAK256
0000071e: CALLER
0000071f: PUSH1 0x01
00000721: PUSH1 0xa0
00000723: PUSH1 0x02
00000725: EXP
00000726: SUB
00000727: AND
00000728: DUP5
00000729: MSTORE
0000072a: SWAP1
0000072b: SWAP2
0000072c: MSTORE
0000072d: DUP2
0000072e: KECCAK256
0000072f: SLOAD
00000730: DUP3
00000731: SWAP1
00000732: GT
00000733: ISZERO
00000734: PUSH2 0x1669
00000737: JUMPI
00000738: PUSH1 0x40
0000073a: DUP1
0000073b: DUP3
0000073c: KECCAK256
0000073d: DUP1
0000073e: SLOAD
0000073f: DUP5
00000740: SWAP1
00000741: SUB
00000742: SWAP1
00000743: SSTORE
00000744: PUSH1 0x23
00000746: SLOAD
00000747: PUSH1 0x01
00000749: ADD
0000074a: DUP3
0000074b: MSTORE
0000074c: PUSH1 0x15
0000074e: PUSH1 0x20
00000750: MSTORE
00000751: DUP2
00000752: KECCAK256
00000753: DUP1
00000754: SLOAD
00000755: DUP4
00000756: SWAP1
00000757: SUB
00000758: SWAP1
00000759: SSTORE
0000075a: PUSH2 0x16c0
0000075d: JUMP
0000075e: JUMPDEST
0000075f: PUSH2 0x0a95
00000762: PUSH1 0x04
00000764: CALLDATALOAD
00000765: PUSH1 0x1d
00000767: PUSH1 0x20
00000769: MSTORE
0000076a: PUSH1 0x00
0000076c: SWAP1
0000076d: DUP2
0000076e: MSTORE
0000076f: PUSH1 0x40
00000771: SWAP1
00000772: KECCAK256
00000773: SLOAD
00000774: DUP2
00000775: JUMP
00000776: JUMPDEST
00000777: PUSH2 0x0a95
0000077a: PUSH1 0x06
0000077c: SLOAD
0000077d: DUP2
0000077e: JUMP
0000077f: JUMPDEST
00000780: PUSH2 0x0a25
00000783: PUSH1 0x00
00000785: PUSH1 0x00
00000787: PUSH1 0x00
00000789: PUSH2 0x184a
0000078c: CALLER
0000078d: PUSH2 0x0561
00000790: JUMP
00000791: JUMPDEST
00000792: PUSH2 0x0a95
00000795: PUSH1 0x04
00000797: CALLDATALOAD
00000798: PUSH1 0x15
0000079a: PUSH1 0x20
0000079c: MSTORE
0000079d: PUSH1 0x00
0000079f: SWAP1
000007a0: DUP2
000007a1: MSTORE
000007a2: PUSH1 0x40
000007a4: SWAP1
000007a5: KECCAK256
000007a6: SLOAD
000007a7: DUP2
000007a8: JUMP
000007a9: JUMPDEST
000007aa: PUSH2 0x0906
000007ad: PUSH1 0x00
000007af: SLOAD
000007b0: PUSH1 0xff
000007b2: AND
000007b3: DUP2
000007b4: JUMP
000007b5: JUMPDEST
000007b6: PUSH2 0x0aa7
000007b9: PUSH1 0x1a
000007bb: SLOAD
000007bc: PUSH1 0x01
000007be: PUSH1 0xa0
000007c0: PUSH1 0x02
000007c2: EXP
000007c3: SUB
000007c4: AND
000007c5: DUP2
000007c6: JUMP
000007c7: JUMPDEST
000007c8: PUSH2 0x0a95
000007cb: PUSH1 0x0e
000007cd: SLOAD
000007ce: DUP2
000007cf: JUMP
000007d0: JUMPDEST
000007d1: PUSH2 0x0906
000007d4: PUSH1 0x04
000007d6: CALLDATALOAD
000007d7: PUSH1 0x25
000007d9: PUSH1 0x20
000007db: MSTORE
000007dc: PUSH1 0x00
000007de: SWAP1
000007df: DUP2
000007e0: MSTORE
000007e1: PUSH1 0x40
000007e3: SWAP1
000007e4: KECCAK256
000007e5: SLOAD
000007e6: PUSH1 0xff
000007e8: AND
000007e9: DUP2
000007ea: JUMP
000007eb: JUMPDEST
000007ec: PUSH2 0x0a95
000007ef: PUSH1 0x0c
000007f1: SLOAD
000007f2: DUP2
000007f3: JUMP
000007f4: JUMPDEST
000007f5: PUSH2 0x0a25
000007f8: PUSH2 0x1c6f
000007fb: CALLER
000007fc: PUSH2 0x0561
000007ff: JUMP
00000800: JUMPDEST
00000801: PUSH2 0x0a95
00000804: PUSH1 0x22
00000806: SLOAD
00000807: DUP2
00000808: JUMP
00000809: JUMPDEST
0000080a: PUSH2 0x0a95
0000080d: PUSH1 0x19
0000080f: SLOAD
00000810: DUP2
00000811: JUMP
00000812: JUMPDEST
00000813: PUSH2 0x0a95
00000816: PUSH1 0x04
00000818: CALLDATALOAD
00000819: PUSH1 0x24
0000081b: CALLDATALOAD
0000081c: PUSH1 0x44
0000081e: CALLDATALOAD
0000081f: JUMPDEST
00000820: PUSH1 0x09
00000822: SLOAD
00000823: PUSH1 0x00
00000825: SWAP1
00000826: PUSH1 0x01
00000828: DUP6
00000829: ADD
0000082a: PUSH1 0xff
0000082c: AND
0000082d: DUP5
0000082e: MUL
0000082f: SWAP1
00000830: DUP2
00000831: GT
00000832: ISZERO
00000833: PUSH2 0x083b
00000836: JUMPI
00000837: POP
00000838: PUSH1 0x09
0000083a: SLOAD
0000083b: JUMPDEST
0000083c: DUP1
0000083d: DUP4
0000083e: GT
0000083f: ISZERO
00000840: PUSH2 0x1d44
00000843: JUMPI
00000844: PUSH1 0x00
00000846: SWAP2
00000847: POP
00000848: PUSH2 0x1d4a
0000084b: JUMP
0000084c: JUMPDEST
0000084d: PUSH2 0x0906
00000850: PUSH1 0x21
00000852: SLOAD
00000853: PUSH4 0x01000000
00000858: SWAP1
00000859: DIV
0000085a: PUSH1 0xff
0000085c: AND
0000085d: DUP2
0000085e: JUMP
0000085f: JUMPDEST
00000860: PUSH2 0x0a25
00000863: PUSH1 0x00
00000865: PUSH2 0x1d52
00000868: CALLER
00000869: PUSH2 0x0561
0000086c: JUMP
0000086d: JUMPDEST
0000086e: PUSH2 0x0a25
00000871: PUSH1 0x00
00000873: PUSH1 0x00
00000875: PUSH1 0x00
00000877: PUSH1 0x00
00000879: PUSH1 0x00
0000087b: PUSH1 0x00
0000087d: CALLVALUE
0000087e: GT
0000087f: ISZERO
00000880: PUSH2 0x1f44
00000883: JUMPI
00000884: PUSH1 0x40
00000886: DUP1
00000887: MLOAD
00000888: DUP1
00000889: DUP3
0000088a: ADD
0000088b: SWAP1
0000088c: SWAP2
0000088d: MSTORE
0000088e: PUSH1 0x07
00000890: DUP2
00000891: MSTORE
00000892: PUSH1 0xc9
00000894: PUSH1 0x02
00000896: EXP
00000897: PUSH7 0x3737a2ba3432b9
0000089f: MUL
000008a0: PUSH1 0x20
000008a2: DUP3
000008a3: ADD
000008a4: MSTORE
000008a5: PUSH2 0x1f7b
000008a8: SWAP1
000008a9: PUSH2 0x0ba0
000008ac: JUMP
000008ad: JUMPDEST
000008ae: PUSH2 0x0aa7
000008b1: PUSH1 0x27
000008b3: SLOAD
000008b4: PUSH1 0x01
000008b6: PUSH1 0xa0
000008b8: PUSH1 0x02
000008ba: EXP
000008bb: SUB
000008bc: AND
000008bd: DUP2
000008be: JUMP
000008bf: JUMPDEST
000008c0: PUSH2 0x0906
000008c3: PUSH1 0x04
000008c5: CALLDATALOAD
000008c6: PUSH1 0x24
000008c8: CALLDATALOAD
000008c9: PUSH1 0x00
000008cb: PUSH1 0x00
000008cd: CALLVALUE
000008ce: GT
000008cf: ISZERO
000008d0: PUSH2 0x22b2
000008d3: JUMPI
000008d4: PUSH1 0x40
000008d6: DUP1
000008d7: MLOAD
000008d8: DUP1
000008d9: DUP3
000008da: ADD
000008db: SWAP1
000008dc: SWAP2
000008dd: MSTORE
000008de: PUSH1 0x07
000008e0: DUP2
000008e1: MSTORE
000008e2: PUSH1 0xc9
000008e4: PUSH1 0x02
000008e6: EXP
000008e7: PUSH7 0x3737a2ba3432b9
000008ef: MUL
000008f0: PUSH1 0x20
000008f2: DUP3
000008f3: ADD
000008f4: MSTORE
000008f5: PUSH2 0x1468
000008f8: SWAP1
000008f9: PUSH2 0x0ba0
000008fc: JUMP
000008fd: JUMPDEST
000008fe: PUSH2 0x0a95
00000901: PUSH1 0x23
00000903: SLOAD
00000904: DUP2
00000905: JUMP
00000906: JUMPDEST
00000907: PUSH1 0x40
00000909: DUP1
0000090a: MLOAD
0000090b: SWAP2
0000090c: ISZERO
0000090d: ISZERO
0000090e: DUP3
0000090f: MSTORE
00000910: MLOAD
00000911: SWAP1
00000912: DUP2
00000913: SWAP1
00000914: SUB
00000915: PUSH1 0x20
00000917: ADD
00000918: SWAP1
00000919: RETURN
0000091a: JUMPDEST
0000091b: ISZERO
0000091c: ISZERO
0000091d: PUSH2 0x097b
00000920: JUMPI
00000921: PUSH2 0x0a1e
00000924: CALLER
00000925: PUSH1 0x00
00000927: PUSH1 0x00
00000929: PUSH1 0x00
0000092b: PUSH1 0x00
0000092d: PUSH1 0x00
0000092f: PUSH1 0x00
00000931: PUSH1 0x00
00000933: PUSH1 0x00
00000935: PUSH1 0x00
00000937: PUSH1 0x00
00000939: PUSH1 0x00
0000093b: PUSH1 0x21
0000093d: PUSH1 0x00
0000093f: SWAP1
00000940: SLOAD
00000941: SWAP1
00000942: PUSH2 0x0100
00000945: EXP
00000946: SWAP1
00000947: DIV
00000948: PUSH1 0xff
0000094a: AND
0000094b: ISZERO
0000094c: PUSH2 0x0adb
0000094f: JUMPI
00000950: PUSH1 0x40
00000952: DUP1
00000953: MLOAD
00000954: DUP1
00000955: DUP3
00000956: ADD
00000957: SWAP1
00000958: SWAP2
00000959: MSTORE
0000095a: PUSH1 0x09
0000095c: DUP2
0000095d: MSTORE
0000095e: PUSH1 0xba
00000960: PUSH1 0x02
00000962: EXP
00000963: PUSH9 0x1b9bdd131bd8dad959
0000096d: MUL
0000096e: PUSH1 0x20
00000970: DUP3
00000971: ADD
00000972: MSTORE
00000973: PUSH2 0x0b2d
00000976: SWAP1
00000977: PUSH2 0x0ba0
0000097a: JUMP
0000097b: JUMPDEST
0000097c: PUSH1 0x40
0000097e: DUP1
0000097f: MLOAD
00000980: CALLER
00000981: PUSH1 0x01
00000983: PUSH1 0xa0
00000985: PUSH1 0x02
00000987: EXP
00000988: SUB
00000989: AND
0000098a: DUP2
0000098b: MSTORE
0000098c: CALLVALUE
0000098d: PUSH1 0x20
0000098f: DUP3
00000990: ADD
00000991: MSTORE
00000992: PUSH1 0x60
00000994: DUP2
00000995: DUP4
00000996: ADD
00000997: DUP2
00000998: SWAP1
00000999: MSTORE
0000099a: PUSH1 0x22
0000099c: SWAP1
0000099d: DUP3
0000099e: ADD
0000099f: MSTORE
000009a0: PUSH32 0x52656365766965642065746865722066726f6d204d616e616765644163636f75
000009c1: PUSH1 0x80
000009c3: DUP3
000009c4: ADD
000009c5: MSTORE
000009c6: PUSH32 0x6e74000000000000000000000000000000000000000000000000000000000000
000009e7: PUSH1 0xa0
000009e9: DUP3
000009ea: ADD
000009eb: MSTORE
000009ec: SWAP1
000009ed: MLOAD
000009ee: PUSH32 0xe9c64ad7aacefe9ed905822d2a5a6ca63ffdc82b257709dc05a534d60d92f910
00000a0f: SWAP2
00000a10: DUP2
00000a11: SWAP1
00000a12: SUB
00000a13: PUSH1 0xc0
00000a15: ADD
00000a16: SWAP1
00000a17: LOG1
00000a18: POP
00000a19: PUSH1 0x01
00000a1b: JUMPDEST
00000a1c: SWAP1
00000a1d: JUMP
00000a1e: JUMPDEST
00000a1f: SWAP1
00000a20: POP
00000a21: PUSH2 0x0a1b
00000a24: JUMP
00000a25: JUMPDEST
00000a26: STOP
00000a27: JUMPDEST
00000a28: PUSH1 0x40
00000a2a: MLOAD
00000a2b: DUP1
00000a2c: DUP1
00000a2d: PUSH1 0x20
00000a2f: ADD
00000a30: DUP3
00000a31: DUP2
00000a32: SUB
00000a33: DUP3
00000a34: MSTORE
00000a35: DUP4
00000a36: DUP2
00000a37: DUP2
00000a38: MLOAD
00000a39: DUP2
00000a3a: MSTORE
00000a3b: PUSH1 0x20
00000a3d: ADD
00000a3e: SWAP2
00000a3f: POP
00000a40: DUP1
00000a41: MLOAD
00000a42: SWAP1
00000a43: PUSH1 0x20
00000a45: ADD
00000a46: SWAP1
00000a47: DUP1
00000a48: DUP4
00000a49: DUP4
00000a4a: DUP3
00000a4b: SWAP1
00000a4c: PUSH1 0x00
00000a4e: PUSH1 0x04
00000a50: PUSH1 0x20
00000a52: DUP5
00000a53: PUSH1 0x1f
00000a55: ADD
00000a56: DIV
00000a57: PUSH1 0x0f
00000a59: MUL
00000a5a: PUSH1 0x03
00000a5c: ADD
00000a5d: CALL
00000a5e: POP
00000a5f: SWAP1
00000a60: POP
00000a61: SWAP1
00000a62: DUP2
00000a63: ADD
00000a64: SWAP1
00000a65: PUSH1 0x1f
00000a67: AND
00000a68: DUP1
00000a69: ISZERO
00000a6a: PUSH2 0x0a87
00000a6d: JUMPI
00000a6e: DUP1
00000a6f: DUP3
00000a70: SUB
00000a71: DUP1
00000a72: MLOAD
00000a73: PUSH1 0x01
00000a75: DUP4
00000a76: PUSH1 0x20
00000a78: SUB
00000a79: PUSH2 0x0100
00000a7c: EXP
00000a7d: SUB
00000a7e: NOT
00000a7f: AND
00000a80: DUP2
00000a81: MSTORE
00000a82: PUSH1 0x20
00000a84: ADD
00000a85: SWAP2
00000a86: POP
00000a87: JUMPDEST
00000a88: POP
00000a89: SWAP3
00000a8a: POP
00000a8b: POP
00000a8c: POP
00000a8d: PUSH1 0x40
00000a8f: MLOAD
00000a90: DUP1
00000a91: SWAP2
00000a92: SUB
00000a93: SWAP1
00000a94: RETURN
00000a95: JUMPDEST
00000a96: PUSH1 0x40
00000a98: DUP1
00000a99: MLOAD
00000a9a: SWAP2
00000a9b: DUP3
00000a9c: MSTORE
00000a9d: MLOAD
00000a9e: SWAP1
00000a9f: DUP2
00000aa0: SWAP1
00000aa1: SUB
00000aa2: PUSH1 0x20
00000aa4: ADD
00000aa5: SWAP1
00000aa6: RETURN
00000aa7: JUMPDEST
00000aa8: PUSH1 0x40
00000aaa: DUP1
00000aab: MLOAD
00000aac: PUSH1 0x01
00000aae: PUSH1 0xa0
00000ab0: PUSH1 0x02
00000ab2: EXP
00000ab3: SUB
00000ab4: SWAP3
00000ab5: SWAP1
00000ab6: SWAP3
00000ab7: AND
00000ab8: DUP3
00000ab9: MSTORE
00000aba: MLOAD
00000abb: SWAP1
00000abc: DUP2
00000abd: SWAP1
00000abe: SUB
00000abf: PUSH1 0x20
00000ac1: ADD
00000ac2: SWAP1
00000ac3: RETURN
00000ac4: JUMPDEST
00000ac5: PUSH1 0x40
00000ac7: DUP1
00000ac8: MLOAD
00000ac9: PUSH1 0xff
00000acb: SWAP3
00000acc: SWAP1
00000acd: SWAP3
00000ace: AND
00000acf: DUP3
00000ad0: MSTORE
00000ad1: MLOAD
00000ad2: SWAP1
00000ad3: DUP2
00000ad4: SWAP1
00000ad5: SUB
00000ad6: PUSH1 0x20
00000ad8: ADD
00000ad9: SWAP1
00000ada: RETURN
00000adb: JUMPDEST
00000adc: PUSH1 0x21
00000ade: SLOAD
00000adf: PUSH2 0x0100
00000ae2: SWAP1
00000ae3: DIV
00000ae4: PUSH1 0xff
00000ae6: AND
00000ae7: ISZERO
00000ae8: PUSH2 0x0c59
00000aeb: JUMPI
00000aec: PUSH1 0x40
00000aee: DUP1
00000aef: MLOAD
00000af0: DUP1
00000af1: DUP3
00000af2: ADD
00000af3: SWAP1
00000af4: SWAP2
00000af5: MSTORE
00000af6: PUSH1 0x0b
00000af8: DUP2
00000af9: MSTORE
00000afa: PUSH32 0x6e6f7452656c6561736564000000000000000000000000000000000000000000
00000b1b: PUSH1 0x20
00000b1d: DUP3
00000b1e: ADD
00000b1f: MSTORE
00000b20: PUSH2 0x0b2d
00000b23: SWAP1
00000b24: PUSH2 0x0ba0
00000b27: JUMP
00000b28: JUMPDEST
00000b29: PUSH1 0x00
00000b2b: SWAP11
00000b2c: POP
00000b2d: JUMPDEST
00000b2e: POP
00000b2f: POP
00000b30: POP
00000b31: POP
00000b32: POP
00000b33: POP
00000b34: POP
00000b35: POP
00000b36: POP
00000b37: POP
00000b38: SWAP2
00000b39: SWAP1
00000b3a: POP
00000b3b: JUMP
00000b3c: JUMPDEST
00000b3d: PUSH2 0x1468
00000b40: PUSH1 0x60
00000b42: PUSH1 0x40
00000b44: MLOAD
00000b45: SWAP1
00000b46: DUP2
00000b47: ADD
00000b48: PUSH1 0x40
00000b4a: MSTORE
00000b4b: DUP1
00000b4c: PUSH1 0x33
00000b4e: DUP2
00000b4f: MSTORE
00000b50: PUSH1 0x20
00000b52: ADD
00000b53: PUSH32 0x6661696c65643a7472616e736665723a2063616e6e6f742073656e642073656e
00000b74: DUP2
00000b75: MSTORE
00000b76: PUSH1 0x20
00000b78: ADD
00000b79: PUSH32 0x6420746f205f70726f6a65637457616c6c657400000000000000000000000000
00000b9a: DUP2
00000b9b: MSTORE
00000b9c: PUSH1 0x20
00000b9e: ADD
00000b9f: POP
00000ba0: JUMPDEST
00000ba1: PUSH32 0xe9c64ad7aacefe9ed905822d2a5a6ca63ffdc82b257709dc05a534d60d92f910
00000bc2: CALLER
00000bc3: CALLVALUE
00000bc4: DUP4
00000bc5: PUSH1 0x40
00000bc7: MLOAD
00000bc8: DUP1
00000bc9: DUP5
00000bca: PUSH1 0x01
00000bcc: PUSH1 0xa0
00000bce: PUSH1 0x02
00000bd0: EXP
00000bd1: SUB
00000bd2: AND
00000bd3: DUP2
00000bd4: MSTORE
00000bd5: PUSH1 0x20
00000bd7: ADD
00000bd8: DUP4
00000bd9: DUP2
00000bda: MSTORE
00000bdb: PUSH1 0x20
00000bdd: ADD
00000bde: DUP1
00000bdf: PUSH1 0x20
00000be1: ADD
00000be2: DUP3
00000be3: DUP2
00000be4: SUB
00000be5: DUP3
00000be6: MSTORE
00000be7: DUP4
00000be8: DUP2
00000be9: DUP2
00000bea: MLOAD
00000beb: DUP2
00000bec: MSTORE
00000bed: PUSH1 0x20
00000bef: ADD
00000bf0: SWAP2
00000bf1: POP
00000bf2: DUP1
00000bf3: MLOAD
00000bf4: SWAP1
00000bf5: PUSH1 0x20
00000bf7: ADD
00000bf8: SWAP1
00000bf9: DUP1
00000bfa: DUP4
00000bfb: DUP4
00000bfc: DUP3
00000bfd: SWAP1
00000bfe: PUSH1 0x00
00000c00: PUSH1 0x04
00000c02: PUSH1 0x20
00000c04: DUP5
00000c05: PUSH1 0x1f
00000c07: ADD
00000c08: DIV
00000c09: PUSH1 0x0f
00000c0b: MUL
00000c0c: PUSH1 0x03
00000c0e: ADD
00000c0f: CALL
00000c10: POP
00000c11: SWAP1
00000c12: POP
00000c13: SWAP1
00000c14: DUP2
00000c15: ADD
00000c16: SWAP1
00000c17: PUSH1 0x1f
00000c19: AND
00000c1a: DUP1
00000c1b: ISZERO
00000c1c: PUSH2 0x0c39
00000c1f: JUMPI
00000c20: DUP1
00000c21: DUP3
00000c22: SUB
00000c23: DUP1
00000c24: MLOAD
00000c25: PUSH1 0x01
00000c27: DUP4
00000c28: PUSH1 0x20
00000c2a: SUB
00000c2b: PUSH2 0x0100
00000c2e: EXP
00000c2f: SUB
00000c30: NOT
00000c31: AND
00000c32: DUP2
00000c33: MSTORE
00000c34: PUSH1 0x20
00000c36: ADD
00000c37: SWAP2
00000c38: POP
00000c39: JUMPDEST
00000c3a: POP
00000c3b: SWAP5
00000c3c: POP
00000c3d: POP
00000c3e: POP
00000c3f: POP
00000c40: POP
00000c41: PUSH1 0x40
00000c43: MLOAD
00000c44: DUP1
00000c45: SWAP2
00000c46: SUB
00000c47: SWAP1
00000c48: LOG1
00000c49: PUSH1 0x00
00000c4b: SLOAD
00000c4c: PUSH1 0xff
00000c4e: AND
00000c4f: ISZERO
00000c50: ISZERO
00000c51: PUSH2 0x12cc
00000c54: JUMPI
00000c55: PUSH2 0x0002
00000c58: JUMP
00000c59: JUMPDEST
00000c5a: PUSH1 0x00
00000c5c: CALLVALUE
00000c5d: GT
00000c5e: PUSH2 0x0c8c
00000c61: JUMPI
00000c62: PUSH1 0x40
00000c64: DUP1
00000c65: MLOAD
00000c66: DUP1
00000c67: DUP3
00000c68: ADD
00000c69: SWAP1
00000c6a: SWAP2
00000c6b: MSTORE
00000c6c: PUSH1 0x08
00000c6e: DUP2
00000c6f: MSTORE
00000c70: PUSH1 0xc1
00000c72: PUSH1 0x02
00000c74: EXP
00000c75: PUSH8 0x3430b9a2ba3432b9
00000c7e: MUL
00000c7f: PUSH1 0x20
00000c81: DUP3
00000c82: ADD
00000c83: MSTORE
00000c84: PUSH2 0x0b2d
00000c87: SWAP1
00000c88: PUSH2 0x0ba0
00000c8b: JUMP
00000c8c: JUMPDEST
00000c8d: PUSH1 0x00
00000c8f: SWAP10
00000c90: POP
00000c91: PUSH1 0x00
00000c93: SWAP9
00000c94: POP
00000c95: PUSH2 0x0c9c
00000c98: PUSH2 0x0517
00000c9b: JUMP
00000c9c: JUMPDEST
00000c9d: SWAP8
00000c9e: POP
00000c9f: PUSH1 0x64
00000ca1: PUSH2 0x0ca8
00000ca4: PUSH2 0x044f
00000ca7: JUMP
00000ca8: JUMPDEST
00000ca9: PUSH1 0x02
00000cab: SLOAD
00000cac: MUL
00000cad: DIV
00000cae: SWAP7
00000caf: POP
00000cb0: CALLVALUE
00000cb1: SWAP6
00000cb2: POP
00000cb3: PUSH2 0x0cba
00000cb6: PUSH2 0x0580
00000cb9: JUMP
00000cba: JUMPDEST
00000cbb: SWAP5
00000cbc: POP
00000cbd: DUP5
00000cbe: PUSH1 0x00
00000cc0: EQ
00000cc1: ISZERO
00000cc2: PUSH2 0x0d05
00000cc5: JUMPI
00000cc6: PUSH1 0x40
00000cc8: DUP1
00000cc9: MLOAD
00000cca: DUP1
00000ccb: DUP3
00000ccc: ADD
00000ccd: SWAP1
00000cce: SWAP2
00000ccf: MSTORE
00000cd0: PUSH1 0x0e
00000cd2: DUP2
00000cd3: MSTORE
00000cd4: PUSH32 0x6e6f546f6b656e73546f53656c6c000000000000000000000000000000000000
00000cf5: PUSH1 0x20
00000cf7: DUP3
00000cf8: ADD
00000cf9: MSTORE
00000cfa: PUSH2 0x0b28
00000cfd: SWAP1
00000cfe: PUSH2 0x0ba0
00000d01: JUMP
00000d02: JUMPDEST
00000d03: SWAP5
00000d04: POP
00000d05: JUMPDEST
00000d06: DUP7
00000d07: DUP7
00000d08: LT
00000d09: PUSH2 0x0d25
00000d0c: JUMPI
00000d0d: DUP7
00000d0e: DUP7
00000d0f: DIV
00000d10: SWAP4
00000d11: POP
00000d12: PUSH2 0x0d74
00000d15: DUP6
00000d16: DUP6
00000d17: PUSH1 0x00
00000d19: DUP2
00000d1a: DUP4
00000d1b: LT
00000d1c: PUSH2 0x23d8
00000d1f: JUMPI
00000d20: DUP2
00000d21: PUSH2 0x23da
00000d24: JUMP
00000d25: JUMPDEST
00000d26: POP
00000d27: PUSH1 0x01
00000d29: PUSH1 0xa0
00000d2b: PUSH1 0x02
00000d2d: EXP
00000d2e: SUB
00000d2f: DUP12
00000d30: AND
00000d31: PUSH1 0x00
00000d33: SWAP1
00000d34: DUP2
00000d35: MSTORE
00000d36: PUSH1 0x1c
00000d38: PUSH1 0x20
00000d3a: SWAP1
00000d3b: DUP2
00000d3c: MSTORE
00000d3d: PUSH1 0x40
00000d3f: DUP1
00000d40: DUP4
00000d41: KECCAK256
00000d42: DUP1
00000d43: SLOAD
00000d44: DUP10
00000d45: ADD
00000d46: SWAP1
00000d47: SSTORE
00000d48: PUSH1 0x02
00000d4a: SLOAD
00000d4b: PUSH1 0x1d
00000d4d: SWAP1
00000d4e: SWAP3
00000d4f: MSTORE
00000d50: SWAP1
00000d51: SWAP2
00000d52: KECCAK256
00000d53: DUP1
00000d54: SLOAD
00000d55: SWAP2
00000d56: DUP12
00000d57: MUL
00000d58: DUP11
00000d59: SUB
00000d5a: SWAP2
00000d5b: DUP3
00000d5c: ADD
00000d5d: SWAP1
00000d5e: SSTORE
00000d5f: PUSH2 0x0df4
00000d62: PUSH1 0x21
00000d64: SLOAD
00000d65: PUSH2 0x0100
00000d68: SWAP1
00000d69: DIV
00000d6a: PUSH1 0xff
00000d6c: AND
00000d6d: ISZERO
00000d6e: PUSH2 0x23e1
00000d71: JUMPI
00000d72: JUMPDEST
00000d73: JUMP
00000d74: JUMPDEST
00000d75: SWAP3
00000d76: POP
00000d77: DUP5
00000d78: PUSH1 0x00
00000d7a: EQ
00000d7b: DUP1
00000d7c: ISZERO
00000d7d: PUSH2 0x0d89
00000d80: JUMPI
00000d81: POP
00000d82: PUSH1 0x20
00000d84: SLOAD
00000d85: PUSH1 0x09
00000d87: SLOAD
00000d88: EQ
00000d89: JUMPDEST
00000d8a: ISZERO
00000d8b: PUSH2 0x0d92
00000d8e: JUMPI
00000d8f: DUP4
00000d90: SWAP3
00000d91: POP
00000d92: JUMPDEST
00000d93: PUSH1 0x01
00000d95: PUSH1 0xa0
00000d97: PUSH1 0x02
00000d99: EXP
00000d9a: SUB
00000d9b: DUP13
00000d9c: AND
00000d9d: PUSH1 0x00
00000d9f: SWAP1
00000da0: DUP2
00000da1: MSTORE
00000da2: PUSH1 0x1e
00000da4: PUSH1 0x20
00000da6: SWAP1
00000da7: DUP2
00000da8: MSTORE
00000da9: PUSH1 0x40
00000dab: DUP1
00000dac: DUP4
00000dad: KECCAK256
00000dae: DUP1
00000daf: SLOAD
00000db0: DUP8
00000db1: ADD
00000db2: SWAP1
00000db3: SSTORE
00000db4: DUP2
00000db5: SLOAD
00000db6: DUP7
00000db7: ADD
00000db8: DUP3
00000db9: SSTORE
00000dba: PUSH1 0x1c
00000dbc: SWAP1
00000dbd: SWAP2
00000dbe: MSTORE
00000dbf: SWAP1
00000dc0: KECCAK256
00000dc1: DUP1
00000dc2: SLOAD
00000dc3: DUP9
00000dc4: DUP6
00000dc5: MUL
00000dc6: SWAP1
00000dc7: DUP2
00000dc8: ADD
00000dc9: SWAP1
00000dca: SWAP2
00000dcb: SSTORE
00000dcc: SWAP10
00000dcd: DUP4
00000dce: ADD
00000dcf: SWAP10
00000dd0: SWAP9
00000dd1: DUP10
00000dd2: ADD
00000dd3: SWAP9
00000dd4: SWAP2
00000dd5: POP
00000dd6: PUSH1 0x64
00000dd8: PUSH2 0x0ddf
00000ddb: PUSH2 0x044f
00000dde: JUMP
00000ddf: JUMPDEST
00000de0: PUSH1 0x02
00000de2: SLOAD
00000de3: MUL
00000de4: DIV
00000de5: SWAP7
00000de6: POP
00000de7: CALLVALUE
00000de8: DUP10
00000de9: SWAP1
00000dea: SUB
00000deb: SWAP6
00000dec: POP
00000ded: PUSH2 0x0d02
00000df0: PUSH2 0x0580
00000df3: JUMP
00000df4: JUMPDEST
00000df5: PUSH1 0x00
00000df7: DUP2
00000df8: GT
00000df9: ISZERO
00000dfa: PUSH2 0x0e62
00000dfd: JUMPI
00000dfe: PUSH1 0x40
00000e00: MLOAD
00000e01: PUSH1 0x1b
00000e03: SLOAD
00000e04: PUSH1 0x01
00000e06: PUSH1 0xa0
00000e08: PUSH1 0x02
00000e0a: EXP
00000e0b: SUB
00000e0c: AND
00000e0d: SWAP1
00000e0e: PUSH1 0x00
00000e10: SWAP1
00000e11: DUP4
00000e12: SWAP1
00000e13: DUP3
00000e14: DUP2
00000e15: DUP2
00000e16: DUP2
00000e17: DUP6
00000e18: DUP9
00000e19: DUP4
00000e1a: CALL
00000e1b: SWAP4
00000e1c: POP
00000e1d: POP
00000e1e: POP
00000e1f: POP
00000e20: ISZERO
00000e21: ISZERO
00000e22: PUSH2 0x0e62
00000e25: JUMPI
00000e26: PUSH1 0x40
00000e28: DUP1
00000e29: MLOAD
00000e2a: DUP1
00000e2b: DUP3
00000e2c: ADD
00000e2d: SWAP1
00000e2e: SWAP2
00000e2f: MSTORE
00000e30: PUSH1 0x15
00000e32: DUP2
00000e33: MSTORE
00000e34: PUSH32 0x657874726142616c616e63653a73656e644661696c0000000000000000000000
00000e55: PUSH1 0x20
00000e57: DUP3
00000e58: ADD
00000e59: MSTORE
00000e5a: PUSH2 0x0b2d
00000e5d: SWAP1
00000e5e: PUSH2 0x0ba0
00000e61: JUMP
00000e62: JUMPDEST
00000e63: PUSH1 0x40
00000e65: DUP1
00000e66: MLOAD
00000e67: PUSH1 0x01
00000e69: PUSH1 0xa0
00000e6b: PUSH1 0x02
00000e6d: EXP
00000e6e: SUB
00000e6f: CALLER
00000e70: DUP2
00000e71: AND
00000e72: DUP3
00000e73: MSTORE
00000e74: CALLVALUE
00000e75: PUSH1 0x20
00000e77: DUP4
00000e78: ADD
00000e79: MSTORE
00000e7a: DUP2
00000e7b: DUP4
00000e7c: ADD
00000e7d: DUP14
00000e7e: SWAP1
00000e7f: MSTORE
00000e80: SWAP2
00000e81: MLOAD
00000e82: SWAP2
00000e83: DUP15
00000e84: AND
00000e85: SWAP2
00000e86: PUSH32 0xe2cbb9b7dba3b339b259c4f199464ccf9c277a3ff556b2c0db2b0abacdbeedde
00000ea7: SWAP2
00000ea8: DUP2
00000ea9: SWAP1
00000eaa: SUB
00000eab: PUSH1 0x60
00000ead: ADD
00000eae: SWAP1
00000eaf: LOG2
00000eb0: DUP8
00000eb1: ISZERO
00000eb2: DUP1
00000eb3: ISZERO
00000eb4: PUSH2 0x0ec0
00000eb7: JUMPI
00000eb8: POP
00000eb9: PUSH2 0x0ec0
00000ebc: PUSH2 0x0517
00000ebf: JUMP
00000ec0: JUMPDEST
00000ec1: ISZERO
00000ec2: PUSH2 0x0f14
00000ec5: JUMPI
00000ec6: PUSH1 0x20
00000ec8: DUP1
00000ec9: SLOAD
00000eca: PUSH1 0x40
00000ecc: DUP1
00000ecd: MLOAD
00000ece: CALLER
00000ecf: PUSH1 0x01
00000ed1: PUSH1 0xa0
00000ed3: PUSH1 0x02
00000ed5: EXP
00000ed6: SUB
00000ed7: AND
00000ed8: DUP2
00000ed9: MSTORE
00000eda: CALLVALUE
00000edb: SWAP4
00000edc: DUP2
00000edd: ADD
00000ede: SWAP4
00000edf: SWAP1
00000ee0: SWAP4
00000ee1: MSTORE
00000ee2: DUP3
00000ee3: DUP2
00000ee4: ADD
00000ee5: SWAP2
00000ee6: SWAP1
00000ee7: SWAP2
00000ee8: MSTORE
00000ee9: MLOAD
00000eea: PUSH32 0x6bb4d57357a9a55fe03d55925e248fcb44bf65dfe36af0c16c22910ae3bb8fb2
00000f0b: SWAP2
00000f0c: DUP2
00000f0d: SWAP1
00000f0e: SUB
00000f0f: PUSH1 0x60
00000f11: ADD
00000f12: SWAP1
00000f13: LOG1
00000f14: JUMPDEST
00000f15: PUSH1 0x21
00000f17: SLOAD
00000f18: PUSH1 0xff
00000f1a: AND
00000f1b: ISZERO
00000f1c: PUSH2 0x0f63
00000f1f: JUMPI
00000f20: PUSH1 0x40
00000f22: DUP1
00000f23: MLOAD
00000f24: CALLER
00000f25: PUSH1 0x01
00000f27: PUSH1 0xa0
00000f29: PUSH1 0x02
00000f2b: EXP
00000f2c: SUB
00000f2d: AND
00000f2e: DUP2
00000f2f: MSTORE
00000f30: CALLVALUE
00000f31: PUSH1 0x20
00000f33: DUP3
00000f34: ADD
00000f35: MSTORE
00000f36: DUP2
00000f37: MLOAD
00000f38: PUSH32 0xbb9b02a8573d9d68d38e541b0e14a32a2dfe031aade3a25dd3de928fbc3b309d
00000f59: SWAP3
00000f5a: SWAP2
00000f5b: DUP2
00000f5c: SWAP1
00000f5d: SUB
00000f5e: SWAP1
00000f5f: SWAP2
00000f60: ADD
00000f61: SWAP1
00000f62: LOG1
00000f63: JUMPDEST
00000f64: PUSH1 0x21
00000f66: SLOAD
00000f67: PUSH2 0x0100
00000f6a: SWAP1
00000f6b: DIV
00000f6c: PUSH1 0xff
00000f6e: AND
00000f6f: ISZERO
00000f70: PUSH2 0x0fb7
00000f73: JUMPI
00000f74: PUSH1 0x40
00000f76: DUP1
00000f77: MLOAD
00000f78: CALLER
00000f79: PUSH1 0x01
00000f7b: PUSH1 0xa0
00000f7d: PUSH1 0x02
00000f7f: EXP
00000f80: SUB
00000f81: AND
00000f82: DUP2
00000f83: MSTORE
00000f84: CALLVALUE
00000f85: PUSH1 0x20
00000f87: DUP3
00000f88: ADD
00000f89: MSTORE
00000f8a: DUP2
00000f8b: MLOAD
00000f8c: PUSH32 0x32f04209c78f4db9d444b9dc3182c73fc63bb6fdd517c19f36798ad870fb1cfe
00000fad: SWAP3
00000fae: SWAP2
00000faf: DUP2
00000fb0: SWAP1
00000fb1: SUB
00000fb2: SWAP1
00000fb3: SWAP2
00000fb4: ADD
00000fb5: SWAP1
00000fb6: LOG1
00000fb7: JUMPDEST
00000fb8: PUSH1 0x01
00000fba: SWAP11
00000fbb: POP
00000fbc: PUSH2 0x0b2d
00000fbf: JUMP
00000fc0: JUMPDEST
00000fc1: PUSH1 0x00
00000fc3: CALLVALUE
00000fc4: GT
00000fc5: PUSH2 0x0ff3
00000fc8: JUMPI
00000fc9: PUSH1 0x40
00000fcb: DUP1
00000fcc: MLOAD
00000fcd: DUP1
00000fce: DUP3
00000fcf: ADD
00000fd0: SWAP1
00000fd1: SWAP2
00000fd2: MSTORE
00000fd3: PUSH1 0x08
00000fd5: DUP2
00000fd6: MSTORE
00000fd7: PUSH1 0xc1
00000fd9: PUSH1 0x02
00000fdb: EXP
00000fdc: PUSH8 0x3430b9a2ba3432b9
00000fe5: MUL
00000fe6: PUSH1 0x20
00000fe8: DUP3
00000fe9: ADD
00000fea: MSTORE
00000feb: PUSH2 0x0d72
00000fee: SWAP1
00000fef: PUSH2 0x0ba0
00000ff2: JUMP
00000ff3: JUMPDEST
00000ff4: PUSH1 0x26
00000ff6: SLOAD
00000ff7: PUSH2 0x0100
00000ffa: SWAP1
00000ffb: DIV
00000ffc: PUSH1 0xff
00000ffe: AND
00000fff: ISZERO
00001000: ISZERO
00001001: PUSH2 0x1041
00001004: JUMPI
00001005: PUSH1 0x40
00001007: DUP1
00001008: MLOAD
00001009: DUP1
0000100a: DUP3
0000100b: ADD
0000100c: SWAP1
0000100d: SWAP2
0000100e: MSTORE
0000100f: PUSH1 0x12
00001011: DUP2
00001012: MSTORE
00001013: PUSH32 0x6f6e6c7948617276657374456e61626c65640000000000000000000000000000
00001034: PUSH1 0x20
00001036: DUP3
00001037: ADD
00001038: MSTORE
00001039: PUSH2 0x0d72
0000103c: SWAP1
0000103d: PUSH2 0x0ba0
00001040: JUMP
00001041: JUMPDEST
00001042: PUSH1 0x26
00001044: SLOAD
00001045: PUSH4 0x01000000
0000104a: SWAP1
0000104b: DIV
0000104c: PUSH1 0xff
0000104e: AND
0000104f: ISZERO
00001050: PUSH2 0x1090
00001053: JUMPI
00001054: PUSH1 0x40
00001056: DUP1
00001057: MLOAD
00001058: DUP1
00001059: DUP3
0000105a: ADD
0000105b: SWAP1
0000105c: SWAP2
0000105d: MSTORE
0000105e: PUSH1 0x18
00001060: DUP2
00001061: MSTORE
00001062: PUSH32 0x6f6e6c79446973747269627574696f6e4e6f7452656164790000000000000000
00001083: PUSH1 0x20
00001085: DUP3
00001086: ADD
00001087: MSTORE
00001088: PUSH2 0x0d72
0000108b: SWAP1
0000108c: PUSH2 0x0ba0
0000108f: JUMP
00001090: JUMPDEST
00001091: PUSH1 0x0c
00001093: SLOAD
00001094: PUSH2 0x0d72
00001097: SWAP1
00001098: JUMPDEST
00001099: PUSH1 0x26
0000109b: SLOAD
0000109c: PUSH3 0x010000
000010a0: SWAP1
000010a1: DIV
000010a2: PUSH1 0xff
000010a4: AND
000010a5: ISZERO
000010a6: PUSH2 0x24ec
000010a9: JUMPI
000010aa: PUSH1 0x40
000010ac: DUP1
000010ad: MLOAD
000010ae: DUP1
000010af: DUP3
000010b0: ADD
000010b1: SWAP1
000010b2: SWAP2
000010b3: MSTORE
000010b4: PUSH1 0x1d
000010b6: DUP2
000010b7: MSTORE
000010b8: PUSH32 0x6f6e6c79446973747269627574696f6e4e6f74496e50726f6772657373000000
000010d9: PUSH1 0x20
000010db: DUP3
000010dc: ADD
000010dd: MSTORE
000010de: PUSH2 0x118f
000010e1: SWAP1
000010e2: PUSH2 0x0ba0
000010e5: JUMP
000010e6: JUMPDEST
000010e7: DUP3
000010e8: ADD
000010e9: SWAP2
000010ea: SWAP1
000010eb: PUSH1 0x00
000010ed: MSTORE
000010ee: PUSH1 0x20
000010f0: PUSH1 0x00
000010f2: KECCAK256
000010f3: SWAP1
000010f4: JUMPDEST
000010f5: DUP2
000010f6: SLOAD
000010f7: DUP2
000010f8: MSTORE
000010f9: SWAP1
000010fa: PUSH1 0x01
000010fc: ADD
000010fd: SWAP1
000010fe: PUSH1 0x20
00001100: ADD
00001101: DUP1
00001102: DUP4
00001103: GT
00001104: PUSH2 0x10f4
00001107: JUMPI
00001108: DUP3
00001109: SWAP1
0000110a: SUB
0000110b: PUSH1 0x1f
0000110d: AND
0000110e: DUP3
0000110f: ADD
00001110: SWAP2
00001111: JUMPDEST
00001112: POP
00001113: POP
00001114: POP
00001115: POP
00001116: POP
00001117: DUP2
00001118: JUMP
00001119: JUMPDEST
0000111a: PUSH1 0x05
0000111c: MUL
0000111d: PUSH1 0x64
0000111f: ADD
00001120: PUSH1 0xff
00001122: AND
00001123: SWAP1
00001124: POP
00001125: PUSH2 0x0a1b
00001128: JUMP
00001129: JUMPDEST
0000112a: PUSH1 0x00
0000112c: EQ
0000112d: ISZERO
0000112e: PUSH2 0x115c
00001131: JUMPI
00001132: PUSH1 0x40
00001134: DUP1
00001135: MLOAD
00001136: DUP1
00001137: DUP3
00001138: ADD
00001139: SWAP1
0000113a: SWAP2
0000113b: MSTORE
0000113c: PUSH1 0x10
0000113e: DUP2
0000113f: MSTORE
00001140: PUSH1 0x00
00001142: DUP1
00001143: MLOAD
00001144: PUSH1 0x20
00001146: PUSH2 0x28b3
00001149: DUP4
0000114a: CODECOPY
0000114b: DUP2
0000114c: MLOAD
0000114d: SWAP2
0000114e: MSTORE
0000114f: PUSH1 0x20
00001151: DUP3
00001152: ADD
00001153: MSTORE
00001154: PUSH2 0x118f
00001157: SWAP1
00001158: PUSH2 0x0ba0
0000115b: JUMP
0000115c: JUMPDEST
0000115d: PUSH1 0x00
0000115f: CALLVALUE
00001160: GT
00001161: ISZERO
00001162: PUSH2 0x1194
00001165: JUMPI
00001166: PUSH1 0x40
00001168: DUP1
00001169: MLOAD
0000116a: DUP1
0000116b: DUP3
0000116c: ADD
0000116d: SWAP1
0000116e: SWAP2
0000116f: MSTORE
00001170: PUSH1 0x07
00001172: DUP2
00001173: MSTORE
00001174: PUSH1 0xc9
00001176: PUSH1 0x02
00001178: EXP
00001179: PUSH7 0x3737a2ba3432b9
00001181: MUL
00001182: PUSH1 0x20
00001184: DUP3
00001185: ADD
00001186: MSTORE
00001187: PUSH2 0x118f
0000118a: SWAP1
0000118b: PUSH2 0x0ba0
0000118e: JUMP
0000118f: JUMPDEST
00001190: PUSH2 0x12cc
00001193: JUMP
00001194: JUMPDEST
00001195: PUSH1 0x21
00001197: SLOAD
00001198: PUSH1 0xff
0000119a: AND
0000119b: ISZERO
0000119c: ISZERO
0000119d: PUSH2 0x11cd
000011a0: JUMPI
000011a1: PUSH1 0x40
000011a3: DUP1
000011a4: MLOAD
000011a5: DUP1
000011a6: DUP3
000011a7: ADD
000011a8: SWAP1
000011a9: SWAP2
000011aa: MSTORE
000011ab: PUSH1 0x0a
000011ad: DUP2
000011ae: MSTORE
000011af: PUSH1 0xb2
000011b1: PUSH1 0x02
000011b3: EXP
000011b4: PUSH10 0x1bdb9b1e531bd8dad959
000011bf: MUL
000011c0: PUSH1 0x20
000011c2: DUP3
000011c3: ADD
000011c4: MSTORE
000011c5: PUSH2 0x118f
000011c8: SWAP1
000011c9: PUSH2 0x0ba0
000011cc: JUMP
000011cd: JUMPDEST
000011ce: PUSH1 0x23
000011d0: SLOAD
000011d1: PUSH1 0x04
000011d3: SWAP1
000011d4: LT
000011d5: ISZERO
000011d6: PUSH2 0x1216
000011d9: JUMPI
000011da: PUSH1 0x40
000011dc: DUP1
000011dd: MLOAD
000011de: DUP1
000011df: DUP3
000011e0: ADD
000011e1: SWAP1
000011e2: SWAP2
000011e3: MSTORE
000011e4: PUSH1 0x13
000011e6: DUP2
000011e7: MSTORE
000011e8: PUSH32 0x63757272656e7446697363616c596561723c3400000000000000000000000000
00001209: PUSH1 0x20
0000120b: DUP3
0000120c: ADD
0000120d: MSTORE
0000120e: PUSH2 0x118f
00001211: SWAP1
00001212: PUSH2 0x0ba0
00001215: JUMP
00001216: JUMPDEST
00001217: POP
00001218: CALLER
00001219: PUSH1 0x01
0000121b: PUSH1 0xa0
0000121d: PUSH1 0x02
0000121f: EXP
00001220: SUB
00001221: AND
00001222: PUSH1 0x00
00001224: SWAP1
00001225: DUP2
00001226: MSTORE
00001227: PUSH1 0x14
00001229: PUSH1 0x20
0000122b: DUP2
0000122c: DUP2
0000122d: MSTORE
0000122e: PUSH1 0x40
00001230: DUP1
00001231: DUP5
00001232: KECCAK256
00001233: DUP1
00001234: SLOAD
00001235: PUSH1 0x17
00001237: DUP1
00001238: SLOAD
00001239: SWAP2
0000123a: SWAP1
0000123b: SWAP2
0000123c: SUB
0000123d: DUP1
0000123e: DUP3
0000123f: SSTORE
00001240: PUSH1 0x1e
00001242: DUP6
00001243: MSTORE
00001244: SWAP3
00001245: SWAP1
00001246: SWAP6
00001247: KECCAK256
00001248: DUP1
00001249: SLOAD
0000124a: SWAP3
0000124b: SWAP1
0000124c: SWAP3
0000124d: ADD
0000124e: DUP6
0000124f: SSTORE
00001250: SWAP1
00001251: SLOAD
00001252: SWAP3
00001253: DUP3
00001254: MSTORE
00001255: SWAP2
00001256: SWAP1
00001257: SWAP2
00001258: SSTORE
00001259: PUSH1 0x22
0000125b: SLOAD
0000125c: SWAP1
0000125d: SLOAD
0000125e: PUSH1 0x0e
00001260: SLOAD
00001261: SWAP3
00001262: SLOAD
00001263: PUSH1 0x64
00001265: SWAP2
00001266: SWAP1
00001267: SWAP3
00001268: ADD
00001269: SWAP3
0000126a: SWAP1
0000126b: SWAP3
0000126c: MUL
0000126d: SWAP2
0000126e: SWAP1
0000126f: SWAP2
00001270: DIV
00001271: SWAP1
00001272: DUP2
00001273: SWAP1
00001274: GT
00001275: ISZERO
00001276: PUSH2 0x12cc
00001279: JUMPI
0000127a: PUSH1 0x26
0000127c: DUP1
0000127d: SLOAD
0000127e: PUSH2 0xff00
00001281: NOT
00001282: AND
00001283: PUSH2 0x0100
00001286: OR
00001287: SWAP1
00001288: SSTORE
00001289: PUSH1 0x40
0000128b: DUP1
0000128c: MLOAD
0000128d: CALLER
0000128e: PUSH1 0x01
00001290: PUSH1 0xa0
00001292: PUSH1 0x02
00001294: EXP
00001295: SUB
00001296: AND
00001297: DUP2
00001298: MSTORE
00001299: CALLVALUE
0000129a: PUSH1 0x20
0000129c: DUP3
0000129d: ADD
0000129e: MSTORE
0000129f: DUP2
000012a0: MLOAD
000012a1: PUSH32 0xe6a8fe04d793748334015ee5de6eb69ddb7c3b29df2251bc5b376305ae5cd800
000012c2: SWAP3
000012c3: SWAP2
000012c4: DUP2
000012c5: SWAP1
000012c6: SUB
000012c7: SWAP1
000012c8: SWAP2
000012c9: ADD
000012ca: SWAP1
000012cb: LOG1
000012cc: JUMPDEST
000012cd: POP
000012ce: JUMP
000012cf: JUMPDEST
000012d0: PUSH1 0x02
000012d2: SLOAD
000012d3: MUL
000012d4: DIV
000012d5: SWAP1
000012d6: POP
000012d7: PUSH2 0x0a1b
000012da: JUMP
000012db: JUMPDEST
000012dc: PUSH1 0x00
000012de: EQ
000012df: ISZERO
000012e0: PUSH2 0x130e
000012e3: JUMPI
000012e4: PUSH1 0x40
000012e6: DUP1
000012e7: MLOAD
000012e8: DUP1
000012e9: DUP3
000012ea: ADD
000012eb: SWAP1
000012ec: SWAP2
000012ed: MSTORE
000012ee: PUSH1 0x10
000012f0: DUP2
000012f1: MSTORE
000012f2: PUSH1 0x00
000012f4: DUP1
000012f5: MLOAD
000012f6: PUSH1 0x20
000012f8: PUSH2 0x28b3
000012fb: DUP4
000012fc: CODECOPY
000012fd: DUP2
000012fe: MLOAD
000012ff: SWAP2
00001300: MSTORE
00001301: PUSH1 0x20
00001303: DUP3
00001304: ADD
00001305: MSTORE
00001306: PUSH2 0x118f
00001309: SWAP1
0000130a: PUSH2 0x0ba0
0000130d: JUMP
0000130e: JUMPDEST
0000130f: PUSH1 0x00
00001311: CALLVALUE
00001312: GT
00001313: ISZERO
00001314: PUSH2 0x1341
00001317: JUMPI
00001318: PUSH1 0x40
0000131a: DUP1
0000131b: MLOAD
0000131c: DUP1
0000131d: DUP3
0000131e: ADD
0000131f: SWAP1
00001320: SWAP2
00001321: MSTORE
00001322: PUSH1 0x07
00001324: DUP2
00001325: MSTORE
00001326: PUSH1 0xc9
00001328: PUSH1 0x02
0000132a: EXP
0000132b: PUSH7 0x3737a2ba3432b9
00001333: MUL
00001334: PUSH1 0x20
00001336: DUP3
00001337: ADD
00001338: MSTORE
00001339: PUSH2 0x118f
0000133c: SWAP1
0000133d: PUSH2 0x0ba0
00001340: JUMP
00001341: JUMPDEST
00001342: PUSH1 0x26
00001344: SLOAD
00001345: PUSH4 0x01000000
0000134a: SWAP1
0000134b: DIV
0000134c: PUSH1 0xff
0000134e: AND
0000134f: ISZERO
00001350: ISZERO
00001351: PUSH2 0x1391
00001354: JUMPI
00001355: PUSH1 0x40
00001357: DUP1
00001358: MLOAD
00001359: DUP1
0000135a: DUP3
0000135b: ADD
0000135c: SWAP1
0000135d: SWAP2
0000135e: MSTORE
0000135f: PUSH1 0x15
00001361: DUP2
00001362: MSTORE
00001363: PUSH32 0x6f6e6c79446973747269627574696f6e52656164790000000000000000000000
00001384: PUSH1 0x20
00001386: DUP3
00001387: ADD
00001388: MSTORE
00001389: PUSH2 0x118f
0000138c: SWAP1
0000138d: PUSH2 0x0ba0
00001390: JUMP
00001391: JUMPDEST
00001392: POP
00001393: PUSH1 0x01
00001395: PUSH1 0xa0
00001397: PUSH1 0x02
00001399: EXP
0000139a: SUB
0000139b: CALLER
0000139c: DUP2
0000139d: AND
0000139e: PUSH1 0x00
000013a0: DUP2
000013a1: DUP2
000013a2: MSTORE
000013a3: PUSH1 0x1e
000013a5: PUSH1 0x20
000013a7: MSTORE
000013a8: PUSH1 0x40
000013aa: DUP1
000013ab: DUP3
000013ac: KECCAK256
000013ad: DUP1
000013ae: SLOAD
000013af: SWAP1
000013b0: DUP4
000013b1: SWAP1
000013b2: SSTORE
000013b3: PUSH1 0x26
000013b5: SLOAD
000013b6: DUP3
000013b7: MLOAD
000013b8: PUSH32 0x9f3ef43000000000000000000000000000000000000000000000000000000000
000013d9: DUP2
000013da: MSTORE
000013db: PUSH1 0x04
000013dd: DUP2
000013de: ADD
000013df: SWAP6
000013e0: SWAP1
000013e1: SWAP6
000013e2: MSTORE
000013e3: PUSH1 0x24
000013e5: DUP6
000013e6: ADD
000013e7: DUP3
000013e8: SWAP1
000013e9: MSTORE
000013ea: SWAP2
000013eb: MLOAD
000013ec: SWAP1
000013ed: SWAP5
000013ee: PUSH5 0x0100000000
000013f4: SWAP1
000013f5: SWAP3
000013f6: DIV
000013f7: SWAP1
000013f8: SWAP2
000013f9: AND
000013fa: SWAP3
000013fb: PUSH4 0x9f3ef430
00001400: SWAP3
00001401: PUSH1 0x44
00001403: DUP1
00001404: DUP4
00001405: ADD
00001406: SWAP4
00001407: SWAP2
00001408: SWAP3
00001409: DUP3
0000140a: SWAP1
0000140b: SUB
0000140c: ADD
0000140d: DUP2
0000140e: DUP4
0000140f: DUP8
00001410: PUSH2 0x61da
00001413: GAS
00001414: SUB
00001415: CALL
00001416: ISZERO
00001417: PUSH2 0x0002
0000141a: JUMPI
0000141b: POP
0000141c: POP
0000141d: POP
0000141e: POP
0000141f: JUMP
00001420: JUMPDEST
00001421: PUSH1 0x20
00001423: SLOAD
00001424: PUSH1 0x0a
00001426: SLOAD
00001427: SWAP1
00001428: PUSH2 0x081f
0000142b: JUMP
0000142c: JUMPDEST
0000142d: PUSH1 0x04
0000142f: JUMPDEST
00001430: SWAP2
00001431: POP
00001432: POP
00001433: SWAP1
00001434: JUMP
00001435: JUMPDEST
00001436: PUSH1 0x00
00001438: CALLVALUE
00001439: GT
0000143a: PUSH2 0x146d
0000143d: JUMPI
0000143e: PUSH1 0x40
00001440: DUP1
00001441: MLOAD
00001442: DUP1
00001443: DUP3
00001444: ADD
00001445: SWAP1
00001446: SWAP2
00001447: MSTORE
00001448: PUSH1 0x08
0000144a: DUP2
0000144b: MSTORE
0000144c: PUSH1 0xc1
0000144e: PUSH1 0x02
00001450: EXP
00001451: PUSH8 0x3430b9a2ba3432b9
0000145a: MUL
0000145b: PUSH1 0x20
0000145d: DUP3
0000145e: ADD
0000145f: MSTORE
00001460: PUSH2 0x1468
00001463: SWAP1
00001464: PUSH2 0x0ba0
00001467: JUMP
00001468: JUMPDEST
00001469: PUSH2 0x155b
0000146c: JUMP
0000146d: JUMPDEST
0000146e: PUSH1 0x23
00001470: SLOAD
00001471: PUSH1 0x00
00001473: SWAP1
00001474: DUP2
00001475: MSTORE
00001476: PUSH1 0x25
00001478: PUSH1 0x20
0000147a: MSTORE
0000147b: PUSH1 0x40
0000147d: SWAP1
0000147e: KECCAK256
0000147f: SLOAD
00001480: PUSH1 0xff
00001482: AND
00001483: ISZERO
00001484: DUP1
00001485: PUSH2 0x1490
00001488: JUMPI
00001489: POP
0000148a: PUSH1 0x26
0000148c: SLOAD
0000148d: PUSH1 0xff
0000148f: AND
00001490: JUMPDEST
00001491: DUP1
00001492: PUSH2 0x14a2
00001495: JUMPI
00001496: POP
00001497: PUSH1 0x26
00001499: SLOAD
0000149a: PUSH2 0x0100
0000149d: SWAP1
0000149e: DIV
0000149f: PUSH1 0xff
000014a1: AND
000014a2: JUMPDEST
000014a3: ISZERO
000014a4: PUSH2 0x1561
000014a7: JUMPI
000014a8: PUSH1 0x40
000014aa: DUP1
000014ab: MLOAD
000014ac: PUSH1 0x01
000014ae: PUSH1 0xa0
000014b0: PUSH1 0x02
000014b2: EXP
000014b3: SUB
000014b4: CALLER
000014b5: DUP2
000014b6: AND
000014b7: DUP3
000014b8: MSTORE
000014b9: CALLVALUE
000014ba: PUSH1 0x20
000014bc: DUP4
000014bd: ADD
000014be: MSTORE
000014bf: DUP6
000014c0: AND
000014c1: DUP2
000014c2: DUP4
000014c3: ADD
000014c4: MSTORE
000014c5: PUSH1 0x60
000014c7: DUP2
000014c8: ADD
000014c9: DUP5
000014ca: SWAP1
000014cb: MSTORE
000014cc: PUSH1 0x00
000014ce: PUSH1 0x80
000014d0: DUP3
000014d1: ADD
000014d2: MSTORE
000014d3: SWAP1
000014d4: MLOAD
000014d5: PUSH32 0xd5de30e0bdd3cd6bfbc9d6142e5ded72ce738d3d230051400271eaa0c63b3be3
000014f6: SWAP2
000014f7: DUP2
000014f8: SWAP1
000014f9: SUB
000014fa: PUSH1 0xa0
000014fc: ADD
000014fd: SWAP1
000014fe: LOG1
000014ff: PUSH2 0x155b
00001502: JUMP
00001503: JUMPDEST
00001504: PUSH1 0x40
00001506: DUP1
00001507: MLOAD
00001508: PUSH1 0x01
0000150a: PUSH1 0xa0
0000150c: PUSH1 0x02
0000150e: EXP
0000150f: SUB
00001510: CALLER
00001511: DUP2
00001512: AND
00001513: DUP3
00001514: MSTORE
00001515: CALLVALUE
00001516: PUSH1 0x20
00001518: DUP4
00001519: ADD
0000151a: MSTORE
0000151b: DUP6
0000151c: AND
0000151d: DUP2
0000151e: DUP4
0000151f: ADD
00001520: MSTORE
00001521: PUSH1 0x60
00001523: DUP2
00001524: ADD
00001525: DUP5
00001526: SWAP1
00001527: MSTORE
00001528: PUSH1 0x01
0000152a: PUSH1 0x80
0000152c: DUP3
0000152d: ADD
0000152e: MSTORE
0000152f: SWAP1
00001530: MLOAD
00001531: PUSH32 0xd5de30e0bdd3cd6bfbc9d6142e5ded72ce738d3d230051400271eaa0c63b3be3
00001552: SWAP2
00001553: DUP2
00001554: SWAP1
00001555: SUB
00001556: PUSH1 0xa0
00001558: ADD
00001559: SWAP1
0000155a: LOG1
0000155b: JUMPDEST
0000155c: SWAP3
0000155d: SWAP2
0000155e: POP
0000155f: POP
00001560: JUMP
00001561: JUMPDEST
00001562: ADDRESS
00001563: PUSH1 0x01
00001565: PUSH1 0xa0
00001567: PUSH1 0x02
00001569: EXP
0000156a: SUB
0000156b: AND
0000156c: BALANCE
0000156d: DUP3
0000156e: LT
0000156f: PUSH2 0x15da
00001572: JUMPI
00001573: PUSH2 0x1468
00001576: PUSH1 0x60
00001578: PUSH1 0x40
0000157a: MLOAD
0000157b: SWAP1
0000157c: DUP2
0000157d: ADD
0000157e: PUSH1 0x40
00001580: MSTORE
00001581: DUP1
00001582: PUSH1 0x31
00001584: DUP2
00001585: MSTORE
00001586: PUSH1 0x20
00001588: ADD
00001589: PUSH32 0x6661696c65643a6d676d74496e7665737450726f6a6563743a20616d6f756e74
000015aa: DUP2
000015ab: MSTORE
000015ac: PUSH1 0x20
000015ae: ADD
000015af: PUSH32 0x203e3d2061637475616c42616c616e6365000000000000000000000000000000
000015d0: DUP2
000015d1: MSTORE
000015d2: PUSH1 0x20
000015d4: ADD
000015d5: POP
000015d6: PUSH2 0x0ba0
000015d9: JUMP
000015da: JUMPDEST
000015db: PUSH1 0x40
000015dd: MLOAD
000015de: PUSH1 0x01
000015e0: PUSH1 0xa0
000015e2: PUSH1 0x02
000015e4: EXP
000015e5: SUB
000015e6: DUP5
000015e7: AND
000015e8: SWAP1
000015e9: DUP4
000015ea: SWAP1
000015eb: PUSH1 0x00
000015ed: DUP2
000015ee: DUP2
000015ef: DUP2
000015f0: DUP6
000015f1: DUP8
000015f2: PUSH2 0x8502
000015f5: GAS
000015f6: SUB
000015f7: CALL
000015f8: SWAP3
000015f9: POP
000015fa: POP
000015fb: POP
000015fc: ISZERO
000015fd: ISZERO
000015fe: PUSH2 0x1503
00001601: JUMPI
00001602: PUSH2 0x1468
00001605: PUSH1 0x60
00001607: PUSH1 0x40
00001609: MLOAD
0000160a: SWAP1
0000160b: DUP2
0000160c: ADD
0000160d: PUSH1 0x40
0000160f: MSTORE
00001610: DUP1
00001611: PUSH1 0x37
00001613: DUP2
00001614: MSTORE
00001615: PUSH1 0x20
00001617: ADD
00001618: PUSH32 0x6661696c65643a6d676d74496e7665737450726f6a6563743a2063616e6e6f74
00001639: DUP2
0000163a: MSTORE
0000163b: PUSH1 0x20
0000163d: ADD
0000163e: PUSH32 0x2073656e6420746f205f70726f6a65637457616c6c6574000000000000000000
0000165f: DUP2
00001660: MSTORE
00001661: PUSH1 0x20
00001663: ADD
00001664: POP
00001665: PUSH2 0x0ba0
00001668: JUMP
00001669: JUMPDEST
0000166a: PUSH1 0x23
0000166c: DUP1
0000166d: SLOAD
0000166e: PUSH1 0x01
00001670: SWAP1
00001671: DUP2
00001672: ADD
00001673: PUSH1 0x00
00001675: DUP2
00001676: DUP2
00001677: MSTORE
00001678: PUSH1 0x12
0000167a: PUSH1 0x20
0000167c: DUP2
0000167d: DUP2
0000167e: MSTORE
0000167f: PUSH1 0x40
00001681: DUP1
00001682: DUP5
00001683: KECCAK256
00001684: CALLER
00001685: PUSH1 0x01
00001687: PUSH1 0xa0
00001689: PUSH1 0x02
0000168b: EXP
0000168c: SUB
0000168d: AND
0000168e: DUP1
0000168f: DUP7
00001690: MSTORE
00001691: SWAP1
00001692: DUP4
00001693: MSTORE
00001694: DUP2
00001695: DUP6
00001696: KECCAK256
00001697: SLOAD
00001698: SWAP6
00001699: DUP6
0000169a: MSTORE
0000169b: PUSH1 0x15
0000169d: DUP4
0000169e: MSTORE
0000169f: DUP2
000016a0: DUP6
000016a1: KECCAK256
000016a2: DUP1
000016a3: SLOAD
000016a4: SWAP7
000016a5: SWAP1
000016a6: SWAP7
000016a7: SUB
000016a8: SWAP1
000016a9: SWAP6
000016aa: SSTORE
000016ab: SWAP6
000016ac: SLOAD
000016ad: SWAP1
000016ae: SWAP5
000016af: ADD
000016b0: DUP3
000016b1: MSTORE
000016b2: DUP4
000016b3: MSTORE
000016b4: DUP4
000016b5: DUP2
000016b6: KECCAK256
000016b7: SWAP2
000016b8: DUP2
000016b9: MSTORE
000016ba: SWAP2
000016bb: MSTORE
000016bc: SWAP1
000016bd: DUP2
000016be: KECCAK256
000016bf: SSTORE
000016c0: JUMPDEST
000016c1: CALLER
000016c2: PUSH1 0x01
000016c4: PUSH1 0xa0
000016c6: PUSH1 0x02
000016c8: EXP
000016c9: SUB
000016ca: AND
000016cb: PUSH1 0x00
000016cd: SWAP1
000016ce: DUP2
000016cf: MSTORE
000016d0: PUSH1 0x13
000016d2: PUSH1 0x20
000016d4: MSTORE
000016d5: PUSH1 0x40
000016d7: SWAP1
000016d8: KECCAK256
000016d9: SLOAD
000016da: DUP3
000016db: SWAP1
000016dc: GT
000016dd: ISZERO
000016de: PUSH2 0x16fb
000016e1: JUMPI
000016e2: PUSH1 0x40
000016e4: PUSH1 0x00
000016e6: KECCAK256
000016e7: DUP1
000016e8: SLOAD
000016e9: DUP4
000016ea: SWAP1
000016eb: SUB
000016ec: SWAP1
000016ed: SSTORE
000016ee: PUSH1 0x16
000016f0: DUP1
000016f1: SLOAD
000016f2: DUP4
000016f3: SWAP1
000016f4: SUB
000016f5: SWAP1
000016f6: SSTORE
000016f7: PUSH2 0x1721
000016fa: JUMP
000016fb: JUMPDEST
000016fc: CALLER
000016fd: PUSH1 0x01
000016ff: PUSH1 0xa0
00001701: PUSH1 0x02
00001703: EXP
00001704: SUB
00001705: AND
00001706: PUSH1 0x00
00001708: SWAP1
00001709: DUP2
0000170a: MSTORE
0000170b: PUSH1 0x13
0000170d: PUSH1 0x20
0000170f: MSTORE
00001710: PUSH1 0x40
00001712: DUP2
00001713: KECCAK256
00001714: DUP1
00001715: SLOAD
00001716: PUSH1 0x16
00001718: DUP1
00001719: SLOAD
0000171a: SWAP2
0000171b: SWAP1
0000171c: SWAP2
0000171d: SUB
0000171e: SWAP1
0000171f: SSTORE
00001720: SSTORE
00001721: JUMPDEST
00001722: CALLER
00001723: PUSH1 0x01
00001725: PUSH1 0xa0
00001727: PUSH1 0x02
00001729: EXP
0000172a: SUB
0000172b: AND
0000172c: PUSH1 0x00
0000172e: SWAP1
0000172f: DUP2
00001730: MSTORE
00001731: PUSH1 0x14
00001733: PUSH1 0x20
00001735: MSTORE
00001736: PUSH1 0x40
00001738: SWAP1
00001739: KECCAK256
0000173a: SLOAD
0000173b: DUP3
0000173c: SWAP1
0000173d: GT
0000173e: ISZERO
0000173f: PUSH2 0x175c
00001742: JUMPI
00001743: PUSH1 0x40
00001745: PUSH1 0x00
00001747: KECCAK256
00001748: DUP1
00001749: SLOAD
0000174a: DUP4
0000174b: SWAP1
0000174c: SUB
0000174d: SWAP1
0000174e: SSTORE
0000174f: PUSH1 0x17
00001751: DUP1
00001752: SLOAD
00001753: DUP4
00001754: SWAP1
00001755: SUB
00001756: SWAP1
00001757: SSTORE
00001758: PUSH2 0x1782
0000175b: JUMP
0000175c: JUMPDEST
0000175d: CALLER
0000175e: PUSH1 0x01
00001760: PUSH1 0xa0
00001762: PUSH1 0x02
00001764: EXP
00001765: SUB
00001766: AND
00001767: PUSH1 0x00
00001769: SWAP1
0000176a: DUP2
0000176b: MSTORE
0000176c: PUSH1 0x14
0000176e: PUSH1 0x20
00001770: MSTORE
00001771: PUSH1 0x40
00001773: DUP2
00001774: KECCAK256
00001775: DUP1
00001776: SLOAD
00001777: PUSH1 0x17
00001779: DUP1
0000177a: SLOAD
0000177b: SWAP2
0000177c: SWAP1
0000177d: SWAP2
0000177e: SUB
0000177f: SWAP1
00001780: SSTORE
00001781: SSTORE
00001782: JUMPDEST
00001783: PUSH1 0x21
00001785: SLOAD
00001786: PUSH1 0xff
00001788: AND
00001789: DUP1
0000178a: ISZERO
0000178b: PUSH2 0x17c9
0000178e: JUMPI
0000178f: POP
00001790: PUSH2 0x17c9
00001793: DUP4
00001794: DUP4
00001795: PUSH1 0x00
00001797: PUSH1 0x00
00001799: CALLVALUE
0000179a: GT
0000179b: ISZERO
0000179c: PUSH2 0x27d3
0000179f: JUMPI
000017a0: PUSH1 0x40
000017a2: DUP1
000017a3: MLOAD
000017a4: DUP1
000017a5: DUP3
000017a6: ADD
000017a7: SWAP1
000017a8: SWAP2
000017a9: MSTORE
000017aa: PUSH1 0x07
000017ac: DUP2
000017ad: MSTORE
000017ae: PUSH1 0xc9
000017b0: PUSH1 0x02
000017b2: EXP
000017b3: PUSH7 0x3737a2ba3432b9
000017bb: MUL
000017bc: PUSH1 0x20
000017be: DUP3
000017bf: ADD
000017c0: MSTORE
000017c1: PUSH2 0x1468
000017c4: SWAP1
000017c5: PUSH2 0x0ba0
000017c8: JUMP
000017c9: JUMPDEST
000017ca: ISZERO
000017cb: PUSH2 0x17d6
000017ce: JUMPI
000017cf: POP
000017d0: PUSH1 0x01
000017d2: PUSH2 0x155b
000017d5: JUMP
000017d6: JUMPDEST
000017d7: PUSH1 0x21
000017d9: SLOAD
000017da: PUSH1 0xff
000017dc: AND
000017dd: ISZERO
000017de: ISZERO
000017df: PUSH2 0x0b3c
000017e2: JUMPI
000017e3: PUSH2 0x1468
000017e6: PUSH1 0x60
000017e8: PUSH1 0x40
000017ea: MLOAD
000017eb: SWAP1
000017ec: DUP2
000017ed: ADD
000017ee: PUSH1 0x40
000017f0: MSTORE
000017f1: DUP1
000017f2: PUSH1 0x26
000017f4: DUP2
000017f5: MSTORE
000017f6: PUSH1 0x20
000017f8: ADD
000017f9: PUSH32 0x6661696c65643a7472616e736665723a20697346756e644c6f636b6564206973
0000181a: DUP2
0000181b: MSTORE
0000181c: PUSH1 0x20
0000181e: ADD
0000181f: PUSH32 0x2066616c73650000000000000000000000000000000000000000000000000000
00001840: DUP2
00001841: MSTORE
00001842: PUSH1 0x20
00001844: ADD
00001845: POP
00001846: PUSH2 0x0ba0
00001849: JUMP
0000184a: JUMPDEST
0000184b: PUSH1 0x00
0000184d: EQ
0000184e: ISZERO
0000184f: PUSH2 0x187d
00001852: JUMPI
00001853: PUSH1 0x40
00001855: DUP1
00001856: MLOAD
00001857: DUP1
00001858: DUP3
00001859: ADD
0000185a: SWAP1
0000185b: SWAP2
0000185c: MSTORE
0000185d: PUSH1 0x10
0000185f: DUP2
00001860: MSTORE
00001861: PUSH1 0x00
00001863: DUP1
00001864: MLOAD
00001865: PUSH1 0x20
00001867: PUSH2 0x28b3
0000186a: DUP4
0000186b: CODECOPY
0000186c: DUP2
0000186d: MLOAD
0000186e: SWAP2
0000186f: MSTORE
00001870: PUSH1 0x20
00001872: DUP3
00001873: ADD
00001874: MSTORE
00001875: PUSH2 0x18b0
00001878: SWAP1
00001879: PUSH2 0x0ba0
0000187c: JUMP
0000187d: JUMPDEST
0000187e: PUSH1 0x00
00001880: CALLVALUE
00001881: GT
00001882: ISZERO
00001883: PUSH2 0x18b5
00001886: JUMPI
00001887: PUSH1 0x40
00001889: DUP1
0000188a: MLOAD
0000188b: DUP1
0000188c: DUP3
0000188d: ADD
0000188e: SWAP1
0000188f: SWAP2
00001890: MSTORE
00001891: PUSH1 0x07
00001893: DUP2
00001894: MSTORE
00001895: PUSH1 0xc9
00001897: PUSH1 0x02
00001899: EXP
0000189a: PUSH7 0x3737a2ba3432b9
000018a2: MUL
000018a3: PUSH1 0x20
000018a5: DUP3
000018a6: ADD
000018a7: MSTORE
000018a8: PUSH2 0x18b0
000018ab: SWAP1
000018ac: PUSH2 0x0ba0
000018af: JUMP
000018b0: JUMPDEST
000018b1: PUSH2 0x1c6a
000018b4: JUMP
000018b5: JUMPDEST
000018b6: PUSH1 0x21
000018b8: SLOAD
000018b9: PUSH1 0xff
000018bb: AND
000018bc: ISZERO
000018bd: ISZERO
000018be: PUSH2 0x18ee
000018c1: JUMPI
000018c2: PUSH1 0x40
000018c4: DUP1
000018c5: MLOAD
000018c6: DUP1
000018c7: DUP3
000018c8: ADD
000018c9: SWAP1
000018ca: SWAP2
000018cb: MSTORE
000018cc: PUSH1 0x0a
000018ce: DUP2
000018cf: MSTORE
000018d0: PUSH1 0xb2
000018d2: PUSH1 0x02
000018d4: EXP
000018d5: PUSH10 0x1bdb9b1e531bd8dad959
000018e0: MUL
000018e1: PUSH1 0x20
000018e3: DUP3
000018e4: ADD
000018e5: MSTORE
000018e6: PUSH2 0x18b0
000018e9: SWAP1
000018ea: PUSH2 0x0ba0
000018ed: JUMP
000018ee: JUMPDEST
000018ef: PUSH1 0x23
000018f1: SLOAD
000018f2: PUSH1 0x01
000018f4: PUSH1 0x00
000018f6: DUP2
000018f7: SWAP1
000018f8: MSTORE
000018f9: PUSH1 0x25
000018fb: PUSH1 0x20
000018fd: MSTORE
000018fe: PUSH32 0x20a3e2dd35f58e582c5288344c035e137cace924bb9daf3762b8ef5a58327e26
0000191f: SLOAD
00001920: SWAP2
00001921: ADD
00001922: SWAP4
00001923: POP
00001924: PUSH1 0xff
00001926: AND
00001927: ISZERO
00001928: ISZERO
00001929: PUSH2 0x1931
0000192c: JUMPI
0000192d: PUSH2 0x194c
00001930: JUMP
00001931: JUMPDEST
00001932: PUSH1 0x23
00001934: SLOAD
00001935: PUSH1 0x03
00001937: SWAP1
00001938: GT
00001939: PUSH2 0x1ace
0000193c: JUMPI
0000193d: PUSH1 0x0b
0000193f: SLOAD
00001940: PUSH1 0x24
00001942: SLOAD
00001943: TIMESTAMP
00001944: SWAP2
00001945: ADD
00001946: LT
00001947: ISZERO
00001948: PUSH2 0x1b0b
0000194b: JUMPI
0000194c: JUMPDEST
0000194d: PUSH1 0x00
0000194f: DUP4
00001950: DUP2
00001951: MSTORE
00001952: PUSH1 0x12
00001954: PUSH1 0x20
00001956: SWAP1
00001957: DUP2
00001958: MSTORE
00001959: PUSH1 0x40
0000195b: DUP1
0000195c: DUP4
0000195d: KECCAK256
0000195e: PUSH1 0x01
00001960: PUSH1 0xa0
00001962: PUSH1 0x02
00001964: EXP
00001965: SUB
00001966: CALLER
00001967: AND
00001968: DUP1
00001969: DUP6
0000196a: MSTORE
0000196b: SWAP1
0000196c: DUP4
0000196d: MSTORE
0000196e: DUP2
0000196f: DUP5
00001970: KECCAK256
00001971: DUP1
00001972: SLOAD
00001973: DUP9
00001974: DUP7
00001975: MSTORE
00001976: PUSH1 0x15
00001978: DUP1
00001979: DUP7
0000197a: MSTORE
0000197b: DUP5
0000197c: DUP8
0000197d: KECCAK256
0000197e: DUP1
0000197f: SLOAD
00001980: SWAP3
00001981: SWAP1
00001982: SWAP3
00001983: SUB
00001984: DUP1
00001985: DUP4
00001986: SSTORE
00001987: SWAP4
00001988: DUP8
00001989: MSTORE
0000198a: PUSH1 0x1e
0000198c: DUP7
0000198d: MSTORE
0000198e: SWAP4
0000198f: DUP7
00001990: KECCAK256
00001991: DUP1
00001992: SLOAD
00001993: SWAP1
00001994: SWAP4
00001995: ADD
00001996: DUP2
00001997: SSTORE
00001998: SWAP2
00001999: SLOAD
0000199a: SWAP1
0000199b: SSTORE
0000199c: PUSH1 0x22
0000199e: SLOAD
0000199f: DUP4
000019a0: SLOAD
000019a1: PUSH1 0x10
000019a3: SLOAD
000019a4: SWAP6
000019a5: DUP10
000019a6: SWAP1
000019a7: MSTORE
000019a8: SWAP3
000019a9: SWAP1
000019aa: SWAP4
000019ab: MSTORE
000019ac: SLOAD
000019ad: PUSH1 0x64
000019af: SWAP2
000019b0: SWAP1
000019b1: SWAP3
000019b2: ADD
000019b3: SWAP1
000019b4: SWAP3
000019b5: MUL
000019b6: SWAP2
000019b7: SWAP1
000019b8: SWAP2
000019b9: DIV
000019ba: SWAP3
000019bb: POP
000019bc: DUP3
000019bd: SWAP1
000019be: GT
000019bf: ISZERO
000019c0: PUSH2 0x1c6a
000019c3: JUMPI
000019c4: DUP3
000019c5: PUSH1 0x01
000019c7: EQ
000019c8: ISZERO
000019c9: PUSH2 0x1b48
000019cc: JUMPI
000019cd: PUSH1 0x1b
000019cf: PUSH1 0x00
000019d1: SWAP1
000019d2: SLOAD
000019d3: SWAP1
000019d4: PUSH2 0x0100
000019d7: EXP
000019d8: SWAP1
000019d9: DIV
000019da: PUSH1 0x01
000019dc: PUSH1 0xa0
000019de: PUSH1 0x02
000019e0: EXP
000019e1: SUB
000019e2: AND
000019e3: PUSH1 0x01
000019e5: PUSH1 0xa0
000019e7: PUSH1 0x02
000019e9: EXP
000019ea: SUB
000019eb: AND
000019ec: PUSH4 0xb1a8b25a
000019f1: PUSH1 0x40
000019f3: MLOAD
000019f4: DUP2
000019f5: PUSH1 0xe0
000019f7: PUSH1 0x02
000019f9: EXP
000019fa: MUL
000019fb: DUP2
000019fc: MSTORE
000019fd: PUSH1 0x04
000019ff: ADD
00001a00: DUP1
00001a01: SWAP1
00001a02: POP
00001a03: PUSH1 0x00
00001a05: PUSH1 0x40
00001a07: MLOAD
00001a08: DUP1
00001a09: DUP4
00001a0a: SUB
00001a0b: DUP2
00001a0c: PUSH1 0x00
00001a0e: DUP8
00001a0f: PUSH2 0x61da
00001a12: GAS
00001a13: SUB
00001a14: CALL
00001a15: ISZERO
00001a16: PUSH2 0x0002
00001a19: JUMPI
00001a1a: POP
00001a1b: POP
00001a1c: POP
00001a1d: POP
00001a1e: ADDRESS
00001a1f: PUSH1 0x01
00001a21: PUSH1 0xa0
00001a23: PUSH1 0x02
00001a25: EXP
00001a26: SUB
00001a27: SWAP1
00001a28: DUP2
00001a29: AND
00001a2a: BALANCE
00001a2b: PUSH1 0x18
00001a2d: DUP2
00001a2e: SWAP1
00001a2f: SSTORE
00001a30: PUSH1 0x0d
00001a32: SLOAD
00001a33: PUSH1 0x04
00001a35: PUSH1 0x64
00001a37: SWAP3
00001a38: SWAP1
00001a39: SWAP2
00001a3a: MUL
00001a3b: SWAP2
00001a3c: SWAP1
00001a3d: SWAP2
00001a3e: DIV
00001a3f: SWAP1
00001a40: DUP2
00001a41: DIV
00001a42: PUSH1 0x19
00001a44: SSTORE
00001a45: PUSH1 0x28
00001a47: SLOAD
00001a48: PUSH1 0x40
00001a4a: MLOAD
00001a4b: SWAP2
00001a4c: SWAP3
00001a4d: AND
00001a4e: SWAP1
00001a4f: PUSH1 0x00
00001a51: SWAP1
00001a52: DUP4
00001a53: SWAP1
00001a54: DUP3
00001a55: DUP2
00001a56: DUP2
00001a57: DUP2
00001a58: DUP6
00001a59: DUP9
00001a5a: DUP4
00001a5b: CALL
00001a5c: SWAP4
00001a5d: POP
00001a5e: POP
00001a5f: POP
00001a60: POP
00001a61: ISZERO
00001a62: ISZERO
00001a63: PUSH2 0x1b48
00001a66: JUMPI
00001a67: PUSH2 0x18b0
00001a6a: PUSH1 0x60
00001a6c: PUSH1 0x40
00001a6e: MLOAD
00001a6f: SWAP1
00001a70: DUP2
00001a71: ADD
00001a72: PUSH1 0x40
00001a74: MSTORE
00001a75: DUP1
00001a76: PUSH1 0x23
00001a78: DUP2
00001a79: MSTORE
00001a7a: PUSH1 0x20
00001a7c: ADD
00001a7d: PUSH32 0x6b69636b6f66663a4d616e6167656d656e74466565506f6f6c57616c6c657446
00001a9e: DUP2
00001a9f: MSTORE
00001aa0: PUSH1 0x20
00001aa2: ADD
00001aa3: PUSH32 0x61696c0000000000000000000000000000000000000000000000000000000000
00001ac4: DUP2
00001ac5: MSTORE
00001ac6: PUSH1 0x20
00001ac8: ADD
00001ac9: POP
00001aca: PUSH2 0x0ba0
00001acd: JUMP
00001ace: JUMPDEST
00001acf: PUSH1 0x40
00001ad1: DUP1
00001ad2: MLOAD
00001ad3: DUP1
00001ad4: DUP3
00001ad5: ADD
00001ad6: SWAP1
00001ad7: SWAP2
00001ad8: MSTORE
00001ad9: PUSH1 0x0f
00001adb: DUP2
00001adc: MSTORE
00001add: PUSH32 0x6b69636b4f66663a347468596561720000000000000000000000000000000000
00001afe: PUSH1 0x20
00001b00: DUP3
00001b01: ADD
00001b02: MSTORE
00001b03: PUSH2 0x18b0
00001b06: SWAP1
00001b07: PUSH2 0x0ba0
00001b0a: JUMP
00001b0b: JUMPDEST
00001b0c: PUSH1 0x40
00001b0e: DUP1
00001b0f: MLOAD
00001b10: DUP1
00001b11: DUP3
00001b12: ADD
00001b13: SWAP1
00001b14: SWAP2
00001b15: MSTORE
00001b16: PUSH1 0x10
00001b18: DUP2
00001b19: MSTORE
00001b1a: PUSH32 0x6b69636b4f66663a746f6f4561726c7900000000000000000000000000000000
00001b3b: PUSH1 0x20
00001b3d: DUP3
00001b3e: ADD
00001b3f: MSTORE
00001b40: PUSH2 0x18b0
00001b43: SWAP1
00001b44: PUSH2 0x0ba0
00001b47: JUMP
00001b48: JUMPDEST
00001b49: PUSH1 0x00
00001b4b: DUP4
00001b4c: DUP2
00001b4d: MSTORE
00001b4e: PUSH1 0x25
00001b50: PUSH1 0x20
00001b52: MSTORE
00001b53: PUSH1 0x40
00001b55: DUP1
00001b56: DUP3
00001b57: KECCAK256
00001b58: DUP1
00001b59: SLOAD
00001b5a: PUSH1 0xff
00001b5c: NOT
00001b5d: AND
00001b5e: PUSH1 0x01
00001b60: OR
00001b61: SWAP1
00001b62: SSTORE
00001b63: PUSH1 0x23
00001b65: DUP6
00001b66: SWAP1
00001b67: SSTORE
00001b68: TIMESTAMP
00001b69: PUSH1 0x24
00001b6b: SWAP1
00001b6c: DUP2
00001b6d: SSTORE
00001b6e: DUP2
00001b6f: MLOAD
00001b70: PUSH1 0x28
00001b72: SLOAD
00001b73: PUSH1 0x19
00001b75: SLOAD
00001b76: PUSH32 0xa8bcbf3c00000000000000000000000000000000000000000000000000000000
00001b97: DUP4
00001b98: MSTORE
00001b99: PUSH1 0x04
00001b9b: DUP4
00001b9c: ADD
00001b9d: MSTORE
00001b9e: SWAP3
00001b9f: MLOAD
00001ba0: PUSH1 0x01
00001ba2: PUSH1 0xa0
00001ba4: PUSH1 0x02
00001ba6: EXP
00001ba7: SUB
00001ba8: SWAP4
00001ba9: SWAP1
00001baa: SWAP4
00001bab: AND
00001bac: SWAP4
00001bad: PUSH4 0xa8bcbf3c
00001bb2: SWAP4
00001bb3: DUP4
00001bb4: DUP4
00001bb5: ADD
00001bb6: SWAP4
00001bb7: SWAP2
00001bb8: SWAP3
00001bb9: SWAP1
00001bba: SWAP2
00001bbb: SWAP1
00001bbc: DUP3
00001bbd: SWAP1
00001bbe: SUB
00001bbf: ADD
00001bc0: DUP2
00001bc1: DUP4
00001bc2: DUP8
00001bc3: PUSH2 0x61da
00001bc6: GAS
00001bc7: SUB
00001bc8: CALL
00001bc9: ISZERO
00001bca: PUSH2 0x0002
00001bcd: JUMPI
00001bce: POP
00001bcf: POP
00001bd0: PUSH1 0x40
00001bd2: DUP1
00001bd3: MLOAD
00001bd4: CALLER
00001bd5: PUSH1 0x01
00001bd7: PUSH1 0xa0
00001bd9: PUSH1 0x02
00001bdb: EXP
00001bdc: SUB
00001bdd: AND
00001bde: DUP2
00001bdf: MSTORE
00001be0: CALLVALUE
00001be1: PUSH1 0x20
00001be3: DUP3
00001be4: ADD
00001be5: MSTORE
00001be6: DUP1
00001be7: DUP3
00001be8: ADD
00001be9: DUP7
00001bea: SWAP1
00001beb: MSTORE
00001bec: SWAP1
00001bed: MLOAD
00001bee: PUSH32 0x43b50d8e46a4af80642a7d3903d182b8f5ab87b17e5bef9fd8ba4c3ba6ef9f0f
00001c0f: SWAP3
00001c10: POP
00001c11: SWAP1
00001c12: DUP2
00001c13: SWAP1
00001c14: SUB
00001c15: PUSH1 0x60
00001c17: ADD
00001c18: SWAP1
00001c19: LOG1
00001c1a: PUSH1 0x40
00001c1c: DUP1
00001c1d: MLOAD
00001c1e: PUSH1 0x19
00001c20: SLOAD
00001c21: CALLER
00001c22: PUSH1 0x01
00001c24: PUSH1 0xa0
00001c26: PUSH1 0x02
00001c28: EXP
00001c29: SUB
00001c2a: AND
00001c2b: DUP3
00001c2c: MSTORE
00001c2d: CALLVALUE
00001c2e: PUSH1 0x20
00001c30: DUP4
00001c31: ADD
00001c32: MSTORE
00001c33: DUP2
00001c34: DUP4
00001c35: ADD
00001c36: MSTORE
00001c37: PUSH1 0x01
00001c39: PUSH1 0x60
00001c3b: DUP3
00001c3c: ADD
00001c3d: MSTORE
00001c3e: SWAP1
00001c3f: MLOAD
00001c40: PUSH32 0x47fa1cbddad7488af88763b839f5f5436be7541a8bbfd7fa14d9c6c7581e8c1d
00001c61: SWAP2
00001c62: DUP2
00001c63: SWAP1
00001c64: SUB
00001c65: PUSH1 0x80
00001c67: ADD
00001c68: SWAP1
00001c69: LOG1
00001c6a: JUMPDEST
00001c6b: POP
00001c6c: POP
00001c6d: POP
00001c6e: JUMP
00001c6f: JUMPDEST
00001c70: PUSH1 0x00
00001c72: EQ
00001c73: ISZERO
00001c74: PUSH2 0x1ca2
00001c77: JUMPI
00001c78: PUSH1 0x40
00001c7a: DUP1
00001c7b: MLOAD
00001c7c: DUP1
00001c7d: DUP3
00001c7e: ADD
00001c7f: SWAP1
00001c80: SWAP2
00001c81: MSTORE
00001c82: PUSH1 0x10
00001c84: DUP2
00001c85: MSTORE
00001c86: PUSH1 0x00
00001c88: DUP1
00001c89: MLOAD
00001c8a: PUSH1 0x20
00001c8c: PUSH2 0x28b3
00001c8f: DUP4
00001c90: CODECOPY
00001c91: DUP2
00001c92: MLOAD
00001c93: SWAP2
00001c94: MSTORE
00001c95: PUSH1 0x20
00001c97: DUP3
00001c98: ADD
00001c99: MSTORE
00001c9a: PUSH2 0x0d72
00001c9d: SWAP1
00001c9e: PUSH2 0x0ba0
00001ca1: JUMP
00001ca2: JUMPDEST
00001ca3: PUSH1 0x26
00001ca5: SLOAD
00001ca6: PUSH1 0xff
00001ca8: AND
00001ca9: ISZERO
00001caa: PUSH2 0x1cea
00001cad: JUMPI
00001cae: PUSH1 0x40
00001cb0: DUP1
00001cb1: MLOAD
00001cb2: DUP1
00001cb3: DUP3
00001cb4: ADD
00001cb5: SWAP1
00001cb6: SWAP2
00001cb7: MSTORE
00001cb8: PUSH1 0x0d
00001cba: DUP2
00001cbb: MSTORE
00001cbc: PUSH32 0x6f6e6c794e6f7446726f7a656e00000000000000000000000000000000000000
00001cdd: PUSH1 0x20
00001cdf: DUP3
00001ce0: ADD
00001ce1: MSTORE
00001ce2: PUSH2 0x0d72
00001ce5: SWAP1
00001ce6: PUSH2 0x0ba0
00001ce9: JUMP
00001cea: JUMPDEST
00001ceb: PUSH1 0x00
00001ced: CALLVALUE
00001cee: GT
00001cef: ISZERO
00001cf0: PUSH2 0x1d1d
00001cf3: JUMPI
00001cf4: PUSH1 0x40
00001cf6: DUP1
00001cf7: MLOAD
00001cf8: DUP1
00001cf9: DUP3
00001cfa: ADD
00001cfb: SWAP1
00001cfc: SWAP2
00001cfd: MSTORE
00001cfe: PUSH1 0x07
00001d00: DUP2
00001d01: MSTORE
00001d02: PUSH1 0xc9
00001d04: PUSH1 0x02
00001d06: EXP
00001d07: PUSH7 0x3737a2ba3432b9
00001d0f: MUL
00001d10: PUSH1 0x20
00001d12: DUP3
00001d13: ADD
00001d14: MSTORE
00001d15: PUSH2 0x0d72
00001d18: SWAP1
00001d19: PUSH2 0x0ba0
00001d1c: JUMP
00001d1d: JUMPDEST
00001d1e: CALLER
00001d1f: PUSH1 0x01
00001d21: PUSH1 0xa0
00001d23: PUSH1 0x02
00001d25: EXP
00001d26: SUB
00001d27: AND
00001d28: PUSH1 0x00
00001d2a: SWAP1
00001d2b: DUP2
00001d2c: MSTORE
00001d2d: PUSH1 0x13
00001d2f: PUSH1 0x20
00001d31: MSTORE
00001d32: PUSH1 0x40
00001d34: DUP2
00001d35: KECCAK256
00001d36: DUP1
00001d37: SLOAD
00001d38: PUSH1 0x16
00001d3a: DUP1
00001d3b: SLOAD
00001d3c: SWAP2
00001d3d: SWAP1
00001d3e: SWAP2
00001d3f: SUB
00001d40: SWAP1
00001d41: SSTORE
00001d42: SSTORE
00001d43: JUMP
00001d44: JUMPDEST
00001d45: DUP3
00001d46: DUP2
00001d47: SUB
00001d48: SWAP2
00001d49: POP
00001d4a: JUMPDEST
00001d4b: POP
00001d4c: SWAP4
00001d4d: SWAP3
00001d4e: POP
00001d4f: POP
00001d50: POP
00001d51: JUMP
00001d52: JUMPDEST
00001d53: PUSH1 0x00
00001d55: EQ
00001d56: ISZERO
00001d57: PUSH2 0x1d85
00001d5a: JUMPI
00001d5b: PUSH1 0x40
00001d5d: DUP1
00001d5e: MLOAD
00001d5f: DUP1
00001d60: DUP3
00001d61: ADD
00001d62: SWAP1
00001d63: SWAP2
00001d64: MSTORE
00001d65: PUSH1 0x10
00001d67: DUP2
00001d68: MSTORE
00001d69: PUSH1 0x00
00001d6b: DUP1
00001d6c: MLOAD
00001d6d: PUSH1 0x20
00001d6f: PUSH2 0x28b3
00001d72: DUP4
00001d73: CODECOPY
00001d74: DUP2
00001d75: MLOAD
00001d76: SWAP2
00001d77: MSTORE
00001d78: PUSH1 0x20
00001d7a: DUP3
00001d7b: ADD
00001d7c: MSTORE
00001d7d: PUSH2 0x118f
00001d80: SWAP1
00001d81: PUSH2 0x0ba0
00001d84: JUMP
00001d85: JUMPDEST
00001d86: PUSH1 0x00
00001d88: CALLVALUE
00001d89: GT
00001d8a: ISZERO
00001d8b: PUSH2 0x1db8
00001d8e: JUMPI
00001d8f: PUSH1 0x40
00001d91: DUP1
00001d92: MLOAD
00001d93: DUP1
00001d94: DUP3
00001d95: ADD
00001d96: SWAP1
00001d97: SWAP2
00001d98: MSTORE
00001d99: PUSH1 0x07
00001d9b: DUP2
00001d9c: MSTORE
00001d9d: PUSH1 0xc9
00001d9f: PUSH1 0x02
00001da1: EXP
00001da2: PUSH7 0x3737a2ba3432b9
00001daa: MUL
00001dab: PUSH1 0x20
00001dad: DUP3
00001dae: ADD
00001daf: MSTORE
00001db0: PUSH2 0x118f
00001db3: SWAP1
00001db4: PUSH2 0x0ba0
00001db7: JUMP
00001db8: JUMPDEST
00001db9: PUSH1 0x21
00001dbb: SLOAD
00001dbc: PUSH1 0xff
00001dbe: AND
00001dbf: ISZERO
00001dc0: ISZERO
00001dc1: PUSH2 0x1df1
00001dc4: JUMPI
00001dc5: PUSH1 0x40
00001dc7: DUP1
00001dc8: MLOAD
00001dc9: DUP1
00001dca: DUP3
00001dcb: ADD
00001dcc: SWAP1
00001dcd: SWAP2
00001dce: MSTORE
00001dcf: PUSH1 0x0a
00001dd1: DUP2
00001dd2: MSTORE
00001dd3: PUSH1 0xb2
00001dd5: PUSH1 0x02
00001dd7: EXP
00001dd8: PUSH10 0x1bdb9b1e531bd8dad959
00001de3: MUL
00001de4: PUSH1 0x20
00001de6: DUP3
00001de7: ADD
00001de8: MSTORE
00001de9: PUSH2 0x118f
00001dec: SWAP1
00001ded: PUSH2 0x0ba0
00001df0: JUMP
00001df1: JUMPDEST
00001df2: PUSH1 0x23
00001df4: SLOAD
00001df5: PUSH1 0x04
00001df7: SWAP1
00001df8: LT
00001df9: PUSH2 0x1e39
00001dfc: JUMPI
00001dfd: PUSH1 0x40
00001dff: DUP1
00001e00: MLOAD
00001e01: DUP1
00001e02: DUP3
00001e03: ADD
00001e04: SWAP1
00001e05: SWAP2
00001e06: MSTORE
00001e07: PUSH1 0x14
00001e09: DUP2
00001e0a: MSTORE
00001e0b: PUSH32 0x63757272656e7446697363616c596561723e3d34000000000000000000000000
00001e2c: PUSH1 0x20
00001e2e: DUP3
00001e2f: ADD
00001e30: MSTORE
00001e31: PUSH2 0x118f
00001e34: SWAP1
00001e35: PUSH2 0x0ba0
00001e38: JUMP
00001e39: JUMPDEST
00001e3a: PUSH1 0x26
00001e3c: SLOAD
00001e3d: PUSH3 0x010000
00001e41: SWAP1
00001e42: DIV
00001e43: PUSH1 0xff
00001e45: AND
00001e46: ISZERO
00001e47: PUSH2 0x1e87
00001e4a: JUMPI
00001e4b: PUSH1 0x40
00001e4d: DUP1
00001e4e: MLOAD
00001e4f: DUP1
00001e50: DUP3
00001e51: ADD
00001e52: SWAP1
00001e53: SWAP2
00001e54: MSTORE
00001e55: PUSH1 0x1d
00001e57: DUP2
00001e58: MSTORE
00001e59: PUSH32 0x6f6e6c79446973747269627574696f6e4e6f74496e50726f6772657373000000
00001e7a: PUSH1 0x20
00001e7c: DUP3
00001e7d: ADD
00001e7e: MSTORE
00001e7f: PUSH2 0x118f
00001e82: SWAP1
00001e83: PUSH2 0x0ba0
00001e86: JUMP
00001e87: JUMPDEST
00001e88: POP
00001e89: CALLER
00001e8a: PUSH1 0x01
00001e8c: PUSH1 0xa0
00001e8e: PUSH1 0x02
00001e90: EXP
00001e91: SUB
00001e92: AND
00001e93: PUSH1 0x00
00001e95: SWAP1
00001e96: DUP2
00001e97: MSTORE
00001e98: PUSH1 0x13
00001e9a: PUSH1 0x20
00001e9c: DUP2
00001e9d: DUP2
00001e9e: MSTORE
00001e9f: PUSH1 0x40
00001ea1: DUP1
00001ea2: DUP5
00001ea3: KECCAK256
00001ea4: DUP1
00001ea5: SLOAD
00001ea6: PUSH1 0x16
00001ea8: DUP1
00001ea9: SLOAD
00001eaa: SWAP2
00001eab: SWAP1
00001eac: SWAP2
00001ead: SUB
00001eae: DUP1
00001eaf: DUP3
00001eb0: SSTORE
00001eb1: PUSH1 0x1e
00001eb3: DUP6
00001eb4: MSTORE
00001eb5: SWAP3
00001eb6: SWAP1
00001eb7: SWAP6
00001eb8: KECCAK256
00001eb9: DUP1
00001eba: SLOAD
00001ebb: SWAP3
00001ebc: SWAP1
00001ebd: SWAP3
00001ebe: ADD
00001ebf: DUP6
00001ec0: SSTORE
00001ec1: SWAP1
00001ec2: SLOAD
00001ec3: SWAP3
00001ec4: DUP3
00001ec5: MSTORE
00001ec6: SWAP2
00001ec7: SWAP1
00001ec8: SWAP2
00001ec9: SSTORE
00001eca: PUSH1 0x0f
00001ecc: SLOAD
00001ecd: PUSH1 0x22
00001ecf: SLOAD
00001ed0: SWAP2
00001ed1: SLOAD
00001ed2: SWAP3
00001ed3: SLOAD
00001ed4: PUSH1 0x64
00001ed6: SWAP4
00001ed7: SWAP1
00001ed8: SWAP3
00001ed9: ADD
00001eda: MUL
00001edb: SWAP2
00001edc: SWAP1
00001edd: SWAP2
00001ede: DIV
00001edf: SWAP1
00001ee0: DUP2
00001ee1: SWAP1
00001ee2: GT
00001ee3: ISZERO
00001ee4: PUSH2 0x12cc
00001ee7: JUMPI
00001ee8: PUSH1 0x26
00001eea: DUP1
00001eeb: SLOAD
00001eec: PUSH1 0xff
00001eee: NOT
00001eef: AND
00001ef0: PUSH1 0x01
00001ef2: OR
00001ef3: SWAP1
00001ef4: SSTORE
00001ef5: PUSH2 0x1efe
00001ef8: PUSH1 0x00
00001efa: PUSH2 0x1098
00001efd: JUMP
00001efe: JUMPDEST
00001eff: PUSH1 0x40
00001f01: DUP1
00001f02: MLOAD
00001f03: CALLER
00001f04: PUSH1 0x01
00001f06: PUSH1 0xa0
00001f08: PUSH1 0x02
00001f0a: EXP
00001f0b: SUB
00001f0c: AND
00001f0d: DUP2
00001f0e: MSTORE
00001f0f: CALLVALUE
00001f10: PUSH1 0x20
00001f12: DUP3
00001f13: ADD
00001f14: MSTORE
00001f15: DUP2
00001f16: MLOAD
00001f17: PUSH32 0xa3a0ee24545ff02dd0d20d670461167188c7adc4c2973fd0d1b294e1e576fc79
00001f38: SWAP3
00001f39: SWAP2
00001f3a: DUP2
00001f3b: SWAP1
00001f3c: SUB
00001f3d: SWAP1
00001f3e: SWAP2
00001f3f: ADD
00001f40: SWAP1
00001f41: LOG1
00001f42: POP
00001f43: JUMP
00001f44: JUMPDEST
00001f45: PUSH1 0x21
00001f47: SLOAD
00001f48: PUSH1 0xff
00001f4a: AND
00001f4b: ISZERO
00001f4c: PUSH2 0x1f80
00001f4f: JUMPI
00001f50: PUSH1 0x40
00001f52: DUP1
00001f53: MLOAD
00001f54: DUP1
00001f55: DUP3
00001f56: ADD
00001f57: SWAP1
00001f58: SWAP2
00001f59: MSTORE
00001f5a: PUSH1 0x09
00001f5c: DUP2
00001f5d: MSTORE
00001f5e: PUSH1 0xba
00001f60: PUSH1 0x02
00001f62: EXP
00001f63: PUSH9 0x1b9bdd131bd8dad959
00001f6d: MUL
00001f6e: PUSH1 0x20
00001f70: DUP3
00001f71: ADD
00001f72: MSTORE
00001f73: PUSH2 0x1f7b
00001f76: SWAP1
00001f77: PUSH2 0x0ba0
00001f7a: JUMP
00001f7b: JUMPDEST
00001f7c: PUSH2 0x22ab
00001f7f: JUMP
00001f80: JUMPDEST
00001f81: PUSH2 0x1f89
00001f84: CALLER
00001f85: PUSH2 0x0561
00001f88: JUMP
00001f89: JUMPDEST
00001f8a: PUSH1 0x00
00001f8c: EQ
00001f8d: ISZERO
00001f8e: PUSH2 0x1fbc
00001f91: JUMPI
00001f92: PUSH1 0x40
00001f94: DUP1
00001f95: MLOAD
00001f96: DUP1
00001f97: DUP3
00001f98: ADD
00001f99: SWAP1
00001f9a: SWAP2
00001f9b: MSTORE
00001f9c: PUSH1 0x10
00001f9e: DUP2
00001f9f: MSTORE
00001fa0: PUSH1 0x00
00001fa2: DUP1
00001fa3: MLOAD
00001fa4: PUSH1 0x20
00001fa6: PUSH2 0x28b3
00001fa9: DUP4
00001faa: CODECOPY
00001fab: DUP2
00001fac: MLOAD
00001fad: SWAP2
00001fae: MSTORE
00001faf: PUSH1 0x20
00001fb1: DUP3
00001fb2: ADD
00001fb3: MSTORE
00001fb4: PUSH2 0x1f7b
00001fb7: SWAP1
00001fb8: PUSH2 0x0ba0
00001fbb: JUMP
00001fbc: JUMPDEST
00001fbd: CALLER
00001fbe: PUSH1 0x01
00001fc0: PUSH1 0xa0
00001fc2: PUSH1 0x02
00001fc4: EXP
00001fc5: SUB
00001fc6: AND
00001fc7: PUSH1 0x00
00001fc9: SWAP1
00001fca: DUP2
00001fcb: MSTORE
00001fcc: PUSH1 0x1c
00001fce: PUSH1 0x20
00001fd0: MSTORE
00001fd1: PUSH1 0x40
00001fd3: DUP2
00001fd4: KECCAK256
00001fd5: SLOAD
00001fd6: EQ
00001fd7: ISZERO
00001fd8: PUSH2 0x2018
00001fdb: JUMPI
00001fdc: PUSH1 0x40
00001fde: DUP1
00001fdf: MLOAD
00001fe0: DUP1
00001fe1: DUP3
00001fe2: ADD
00001fe3: SWAP1
00001fe4: SWAP2
00001fe5: MSTORE
00001fe6: PUSH1 0x0a
00001fe8: DUP2
00001fe9: MSTORE
00001fea: PUSH32 0x6e6f576569476976656e00000000000000000000000000000000000000000000
0000200b: PUSH1 0x20
0000200d: DUP3
0000200e: ADD
0000200f: MSTORE
00002010: PUSH2 0x1f7b
00002013: SWAP1
00002014: PUSH2 0x0ba0
00002017: JUMP
00002018: JUMPDEST
00002019: PUSH1 0x20
0000201b: DUP1
0000201c: SLOAD
0000201d: CALLER
0000201e: PUSH1 0x01
00002020: PUSH1 0xa0
00002022: PUSH1 0x02
00002024: EXP
00002025: SUB
00002026: AND
00002027: PUSH1 0x00
00002029: SWAP1
0000202a: DUP2
0000202b: MSTORE
0000202c: PUSH1 0x1e
0000202e: SWAP1
0000202f: SWAP3
00002030: MSTORE
00002031: PUSH1 0x40
00002033: SWAP1
00002034: SWAP2
00002035: KECCAK256
00002036: SLOAD
00002037: GT
00002038: ISZERO
00002039: PUSH2 0x2079
0000203c: JUMPI
0000203d: PUSH1 0x40
0000203f: DUP1
00002040: MLOAD
00002041: DUP1
00002042: DUP3
00002043: ADD
00002044: SWAP1
00002045: SWAP2
00002046: MSTORE
00002047: PUSH1 0x11
00002049: DUP2
0000204a: MSTORE
0000204b: PUSH32 0x696e76616c6964546f6b656e436f756e74000000000000000000000000000000
0000206c: PUSH1 0x20
0000206e: DUP3
0000206f: ADD
00002070: MSTORE
00002071: PUSH2 0x1f7b
00002074: SWAP1
00002075: PUSH2 0x0ba0
00002078: JUMP
00002079: JUMPDEST
0000207a: PUSH2 0x2081
0000207d: PUSH2 0x0517
00002080: JUMP
00002081: JUMPDEST
00002082: PUSH1 0x01
00002084: PUSH1 0xa0
00002086: PUSH1 0x02
00002088: EXP
00002089: SUB
0000208a: CALLER
0000208b: DUP2
0000208c: AND
0000208d: PUSH1 0x00
0000208f: SWAP1
00002090: DUP2
00002091: MSTORE
00002092: PUSH1 0x1c
00002094: PUSH1 0x20
00002096: SWAP1
00002097: DUP2
00002098: MSTORE
00002099: PUSH1 0x40
0000209b: DUP1
0000209c: DUP4
0000209d: KECCAK256
0000209e: DUP1
0000209f: SLOAD
000020a0: PUSH1 0x1d
000020a2: DUP1
000020a3: DUP6
000020a4: MSTORE
000020a5: DUP4
000020a6: DUP7
000020a7: KECCAK256
000020a8: DUP1
000020a9: SLOAD
000020aa: PUSH1 0x1e
000020ac: DUP8
000020ad: MSTORE
000020ae: DUP6
000020af: DUP9
000020b0: KECCAK256
000020b1: DUP1
000020b2: SLOAD
000020b3: SWAP1
000020b4: DUP10
000020b5: SWAP1
000020b6: SSTORE
000020b7: SWAP5
000020b8: DUP9
000020b9: SWAP1
000020ba: SSTORE
000020bb: SWAP2
000020bc: DUP7
000020bd: MSTORE
000020be: DUP7
000020bf: SWAP1
000020c0: SSTORE
000020c1: DUP5
000020c2: SLOAD
000020c3: DUP4
000020c4: SWAP1
000020c5: SUB
000020c6: SWAP1
000020c7: SWAP5
000020c8: SSTORE
000020c9: DUP3
000020ca: MLOAD
000020cb: PUSH1 0x1b
000020cd: SLOAD
000020ce: PUSH32 0x51fa7efd00000000000000000000000000000000000000000000000000000000
000020ef: DUP3
000020f0: MSTORE
000020f1: PUSH1 0x04
000020f3: DUP3
000020f4: ADD
000020f5: DUP7
000020f6: SWAP1
000020f7: MSTORE
000020f8: SWAP4
000020f9: MLOAD
000020fa: SWAP8
000020fb: SWAP13
000020fc: POP
000020fd: SWAP1
000020fe: SWAP11
000020ff: POP
00002100: SWAP3
00002101: SWAP9
00002102: POP
00002103: SWAP7
00002104: POP
00002105: DUP9
00002106: SWAP6
00002107: POP
00002108: SWAP1
00002109: SWAP3
0000210a: AND
0000210b: SWAP3
0000210c: PUSH4 0x51fa7efd
00002111: SWAP3
00002112: PUSH1 0x24
00002114: DUP2
00002115: DUP2
00002116: ADD
00002117: SWAP4
00002118: SWAP3
00002119: SWAP2
0000211a: DUP3
0000211b: SWAP1
0000211c: SUB
0000211d: ADD
0000211e: DUP2
0000211f: DUP4
00002120: DUP8
00002121: PUSH2 0x61da
00002124: GAS
00002125: SUB
00002126: CALL
00002127: ISZERO
00002128: PUSH2 0x0002
0000212b: JUMPI
0000212c: POP
0000212d: POP
0000212e: PUSH1 0x40
00002130: MLOAD
00002131: CALLER
00002132: PUSH1 0x01
00002134: PUSH1 0xa0
00002136: PUSH1 0x02
00002138: EXP
00002139: SUB
0000213a: AND
0000213b: SWAP2
0000213c: POP
0000213d: PUSH1 0x00
0000213f: SWAP1
00002140: DUP4
00002141: SWAP1
00002142: DUP3
00002143: DUP2
00002144: DUP2
00002145: DUP2
00002146: DUP6
00002147: DUP9
00002148: DUP4
00002149: CALL
0000214a: SWAP4
0000214b: POP
0000214c: POP
0000214d: POP
0000214e: POP
0000214f: ISZERO
00002150: ISZERO
00002151: PUSH2 0x21f6
00002154: JUMPI
00002155: CALLER
00002156: PUSH1 0x01
00002158: PUSH1 0xa0
0000215a: PUSH1 0x02
0000215c: EXP
0000215d: SUB
0000215e: AND
0000215f: PUSH32 0xba1c02018a9ab9c5ecec972230d1c4444bd911f121639f33da13896099655b35
00002180: CALLER
00002181: CALLVALUE
00002182: DUP5
00002183: PUSH1 0x00
00002185: PUSH1 0x40
00002187: MLOAD
00002188: DUP1
00002189: DUP6
0000218a: PUSH1 0x01
0000218c: PUSH1 0xa0
0000218e: PUSH1 0x02
00002190: EXP
00002191: SUB
00002192: AND
00002193: DUP2
00002194: MSTORE
00002195: PUSH1 0x20
00002197: ADD
00002198: DUP5
00002199: DUP2
0000219a: MSTORE
0000219b: PUSH1 0x20
0000219d: ADD
0000219e: DUP4
0000219f: DUP2
000021a0: MSTORE
000021a1: PUSH1 0x20
000021a3: ADD
000021a4: DUP3
000021a5: ISZERO
000021a6: ISZERO
000021a7: DUP2
000021a8: MSTORE
000021a9: PUSH1 0x20
000021ab: ADD
000021ac: SWAP5
000021ad: POP
000021ae: POP
000021af: POP
000021b0: POP
000021b1: POP
000021b2: PUSH1 0x40
000021b4: MLOAD
000021b5: DUP1
000021b6: SWAP2
000021b7: SUB
000021b8: SWAP1
000021b9: LOG2
000021ba: PUSH1 0x40
000021bc: DUP1
000021bd: MLOAD
000021be: DUP1
000021bf: DUP3
000021c0: ADD
000021c1: SWAP1
000021c2: SWAP2
000021c3: MSTORE
000021c4: PUSH1 0x11
000021c6: DUP2
000021c7: MSTORE
000021c8: PUSH32 0x726566756e643a53656e644661696c6564000000000000000000000000000000
000021e9: PUSH1 0x20
000021eb: DUP3
000021ec: ADD
000021ed: MSTORE
000021ee: PUSH2 0x1f7b
000021f1: SWAP1
000021f2: PUSH2 0x0ba0
000021f5: JUMP
000021f6: JUMPDEST
000021f7: PUSH1 0x40
000021f9: DUP1
000021fa: MLOAD
000021fb: CALLER
000021fc: PUSH1 0x01
000021fe: PUSH1 0xa0
00002200: PUSH1 0x02
00002202: EXP
00002203: SUB
00002204: AND
00002205: DUP1
00002206: DUP3
00002207: MSTORE
00002208: CALLVALUE
00002209: PUSH1 0x20
0000220b: DUP4
0000220c: ADD
0000220d: MSTORE
0000220e: DUP2
0000220f: DUP4
00002210: ADD
00002211: DUP5
00002212: SWAP1
00002213: MSTORE
00002214: PUSH1 0x01
00002216: PUSH1 0x60
00002218: DUP4
00002219: ADD
0000221a: MSTORE
0000221b: SWAP2
0000221c: MLOAD
0000221d: PUSH32 0xba1c02018a9ab9c5ecec972230d1c4444bd911f121639f33da13896099655b35
0000223e: SWAP2
0000223f: DUP2
00002240: SWAP1
00002241: SUB
00002242: PUSH1 0x80
00002244: ADD
00002245: SWAP1
00002246: LOG2
00002247: DUP5
00002248: ISZERO
00002249: DUP1
0000224a: ISZERO
0000224b: PUSH2 0x2257
0000224e: JUMPI
0000224f: POP
00002250: PUSH2 0x2257
00002253: PUSH2 0x0517
00002256: JUMP
00002257: JUMPDEST
00002258: ISZERO
00002259: PUSH2 0x22ab
0000225c: JUMPI
0000225d: PUSH1 0x20
0000225f: DUP1
00002260: SLOAD
00002261: PUSH1 0x40
00002263: DUP1
00002264: MLOAD
00002265: CALLER
00002266: PUSH1 0x01
00002268: PUSH1 0xa0
0000226a: PUSH1 0x02
0000226c: EXP
0000226d: SUB
0000226e: AND
0000226f: DUP2
00002270: MSTORE
00002271: CALLVALUE
00002272: SWAP4
00002273: DUP2
00002274: ADD
00002275: SWAP4
00002276: SWAP1
00002277: SWAP4
00002278: MSTORE
00002279: DUP3
0000227a: DUP2
0000227b: ADD
0000227c: SWAP2
0000227d: SWAP1
0000227e: SWAP2
0000227f: MSTORE
00002280: MLOAD
00002281: PUSH32 0x6bb4d57357a9a55fe03d55925e248fcb44bf65dfe36af0c16c22910ae3bb8fb2
000022a2: SWAP2
000022a3: DUP2
000022a4: SWAP1
000022a5: SUB
000022a6: PUSH1 0x60
000022a8: ADD
000022a9: SWAP1
000022aa: LOG1
000022ab: JUMPDEST
000022ac: POP
000022ad: POP
000022ae: POP
000022af: POP
000022b0: POP
000022b1: JUMP
000022b2: JUMPDEST
000022b3: PUSH1 0x1a
000022b5: SLOAD
000022b6: PUSH1 0x01
000022b8: PUSH1 0xa0
000022ba: PUSH1 0x02
000022bc: EXP
000022bd: SUB
000022be: SWAP1
000022bf: DUP2
000022c0: AND
000022c1: CALLER
000022c2: SWAP1
000022c3: SWAP2
000022c4: AND
000022c5: EQ
000022c6: PUSH2 0x2306
000022c9: JUMPI
000022ca: PUSH1 0x40
000022cc: DUP1
000022cd: MLOAD
000022ce: DUP1
000022cf: DUP3
000022d0: ADD
000022d1: SWAP1
000022d2: SWAP2
000022d3: MSTORE
000022d4: PUSH1 0x12
000022d6: DUP2
000022d7: MSTORE
000022d8: PUSH32 0x6f6e6c794d616e6167656d656e74426f64790000000000000000000000000000
000022f9: PUSH1 0x20
000022fb: DUP3
000022fc: ADD
000022fd: MSTORE
000022fe: PUSH2 0x1468
00002301: SWAP1
00002302: PUSH2 0x0ba0
00002305: JUMP
00002306: JUMPDEST
00002307: PUSH1 0x22
00002309: SLOAD
0000230a: PUSH1 0x06
0000230c: SLOAD
0000230d: DUP4
0000230e: SWAP2
0000230f: DUP3
00002310: ADD
00002311: GT
00002312: ISZERO
00002313: PUSH2 0x2353
00002316: JUMPI
00002317: PUSH1 0x40
00002319: DUP1
0000231a: MLOAD
0000231b: DUP1
0000231c: DUP3
0000231d: ADD
0000231e: SWAP1
0000231f: SWAP2
00002320: MSTORE
00002321: PUSH1 0x0c
00002323: DUP2
00002324: MSTORE
00002325: PUSH32 0x6869744d6178426f756e74790000000000000000000000000000000000000000
00002346: PUSH1 0x20
00002348: DUP3
00002349: ADD
0000234a: MSTORE
0000234b: PUSH2 0x23d3
0000234e: SWAP1
0000234f: PUSH2 0x0ba0
00002352: JUMP
00002353: JUMPDEST
00002354: PUSH1 0x01
00002356: PUSH1 0xa0
00002358: PUSH1 0x02
0000235a: EXP
0000235b: SUB
0000235c: DUP5
0000235d: DUP2
0000235e: AND
0000235f: PUSH1 0x00
00002361: DUP2
00002362: DUP2
00002363: MSTORE
00002364: PUSH1 0x1e
00002366: PUSH1 0x20
00002368: SWAP1
00002369: DUP2
0000236a: MSTORE
0000236b: PUSH1 0x40
0000236d: SWAP2
0000236e: DUP3
0000236f: SWAP1
00002370: KECCAK256
00002371: DUP1
00002372: SLOAD
00002373: DUP9
00002374: ADD
00002375: SWAP1
00002376: SSTORE
00002377: PUSH1 0x22
00002379: DUP1
0000237a: SLOAD
0000237b: DUP9
0000237c: ADD
0000237d: SWAP1
0000237e: SSTORE
0000237f: DUP2
00002380: MLOAD
00002381: CALLER
00002382: SWAP1
00002383: SWAP5
00002384: AND
00002385: DUP5
00002386: MSTORE
00002387: CALLVALUE
00002388: SWAP1
00002389: DUP5
0000238a: ADD
0000238b: MSTORE
0000238c: DUP3
0000238d: DUP2
0000238e: ADD
0000238f: SWAP2
00002390: SWAP1
00002391: SWAP2
00002392: MSTORE
00002393: PUSH1 0x60
00002395: DUP3
00002396: ADD
00002397: DUP6
00002398: SWAP1
00002399: MSTORE
0000239a: PUSH1 0x01
0000239c: PUSH1 0x80
0000239e: DUP4
0000239f: ADD
000023a0: MSTORE
000023a1: MLOAD
000023a2: PUSH32 0xd169a02076bf076f24fa9c265d5ed41dc57e6553208e7a8e7190cd90c365f184
000023c3: SWAP2
000023c4: DUP2
000023c5: SWAP1
000023c6: SUB
000023c7: PUSH1 0xa0
000023c9: ADD
000023ca: SWAP1
000023cb: LOG1
000023cc: JUMPDEST
000023cd: POP
000023ce: SWAP3
000023cf: SWAP2
000023d0: POP
000023d1: POP
000023d2: JUMP
000023d3: JUMPDEST
000023d4: PUSH2 0x23cc
000023d7: JUMP
000023d8: JUMPDEST
000023d9: DUP3
000023da: JUMPDEST
000023db: SWAP1
000023dc: POP
000023dd: PUSH2 0x155b
000023e0: JUMP
000023e1: JUMPDEST
000023e2: PUSH2 0x23e9
000023e5: PUSH2 0x05f8
000023e8: JUMP
000023e9: JUMPDEST
000023ea: PUSH1 0x21
000023ec: DUP1
000023ed: SLOAD
000023ee: PUSH1 0xff
000023f0: NOT
000023f1: AND
000023f2: SWAP1
000023f3: SWAP2
000023f4: OR
000023f5: SWAP1
000023f6: DUP2
000023f7: SWAP1
000023f8: SSTORE
000023f9: PUSH1 0xff
000023fb: AND
000023fc: ISZERO
000023fd: DUP1
000023fe: ISZERO
000023ff: PUSH2 0x2415
00002402: JUMPI
00002403: POP
00002404: PUSH1 0x21
00002406: PUSH1 0x02
00002408: SWAP1
00002409: SLOAD
0000240a: SWAP1
0000240b: PUSH2 0x0100
0000240e: EXP
0000240f: SWAP1
00002410: DIV
00002411: PUSH1 0xff
00002413: AND
00002414: ISZERO
00002415: JUMPDEST
00002416: DUP1
00002417: ISZERO
00002418: PUSH2 0x2423
0000241b: JUMPI
0000241c: POP
0000241d: PUSH1 0x01
0000241f: SLOAD
00002420: TIMESTAMP
00002421: LT
00002422: ISZERO
00002423: JUMPDEST
00002424: ISZERO
00002425: PUSH2 0x2455
00002428: JUMPI
00002429: PUSH2 0x2430
0000242c: PUSH2 0x0517
0000242f: JUMP
00002430: JUMPDEST
00002431: ISZERO
00002432: PUSH2 0x2443
00002435: JUMPI
00002436: PUSH1 0x21
00002438: DUP1
00002439: SLOAD
0000243a: PUSH1 0xff
0000243c: NOT
0000243d: AND
0000243e: PUSH1 0x01
00002440: OR
00002441: SWAP1
00002442: SSTORE
00002443: JUMPDEST
00002444: PUSH1 0x21
00002446: DUP1
00002447: SLOAD
00002448: PUSH3 0xff0000
0000244c: NOT
0000244d: AND
0000244e: PUSH3 0x010000
00002452: OR
00002453: SWAP1
00002454: SSTORE
00002455: JUMPDEST
00002456: PUSH1 0x21
00002458: SLOAD
00002459: PUSH1 0xff
0000245b: AND
0000245c: ISZERO
0000245d: DUP1
0000245e: ISZERO
0000245f: PUSH2 0x2472
00002462: JUMPI
00002463: POP
00002464: PUSH1 0x21
00002466: SLOAD
00002467: PUSH4 0x01000000
0000246c: SWAP1
0000246d: DIV
0000246e: PUSH1 0xff
00002470: AND
00002471: ISZERO
00002472: JUMPDEST
00002473: DUP1
00002474: ISZERO
00002475: PUSH2 0x2484
00002478: JUMPI
00002479: POP
0000247a: PUSH1 0x07
0000247c: SLOAD
0000247d: PUSH1 0x01
0000247f: SLOAD
00002480: ADD
00002481: TIMESTAMP
00002482: LT
00002483: ISZERO
00002484: JUMPDEST
00002485: ISZERO
00002486: PUSH2 0x24b8
00002489: JUMPI
0000248a: PUSH2 0x2491
0000248d: PUSH2 0x0517
00002490: JUMP
00002491: JUMPDEST
00002492: ISZERO
00002493: PUSH2 0x24a4
00002496: JUMPI
00002497: PUSH1 0x21
00002499: DUP1
0000249a: SLOAD
0000249b: PUSH1 0xff
0000249d: NOT
0000249e: AND
0000249f: PUSH1 0x01
000024a1: OR
000024a2: SWAP1
000024a3: SSTORE
000024a4: JUMPDEST
000024a5: PUSH1 0x21
000024a7: DUP1
000024a8: SLOAD
000024a9: PUSH4 0xff000000
000024ae: NOT
000024af: AND
000024b0: PUSH4 0x01000000
000024b5: OR
000024b6: SWAP1
000024b7: SSTORE
000024b8: JUMPDEST
000024b9: PUSH1 0x21
000024bb: SLOAD
000024bc: PUSH4 0x01000000
000024c1: SWAP1
000024c2: DIV
000024c3: PUSH1 0xff
000024c5: AND
000024c6: DUP1
000024c7: ISZERO
000024c8: PUSH2 0x24d6
000024cb: JUMPI
000024cc: POP
000024cd: PUSH2 0x24d4
000024d0: PUSH2 0x0517
000024d3: JUMP
000024d4: JUMPDEST
000024d5: ISZERO
000024d6: JUMPDEST
000024d7: ISZERO
000024d8: PUSH2 0x0d72
000024db: JUMPI
000024dc: PUSH1 0x21
000024de: DUP1
000024df: SLOAD
000024e0: PUSH2 0xff00
000024e3: NOT
000024e4: AND
000024e5: PUSH2 0x0100
000024e8: OR
000024e9: SWAP1
000024ea: SSTORE
000024eb: JUMP
000024ec: JUMPDEST
000024ed: PUSH1 0x26
000024ef: DUP1
000024f0: SLOAD
000024f1: PUSH4 0xff000000
000024f6: NOT
000024f7: PUSH3 0xff0000
000024fb: NOT
000024fc: SWAP1
000024fd: SWAP2
000024fe: AND
000024ff: PUSH3 0x010000
00002503: OR
00002504: AND
00002505: PUSH4 0x01000000
0000250a: OR
0000250b: SWAP1
0000250c: SSTORE
0000250d: PUSH2 0x25ac
00002510: PUSH1 0x26
00002512: SLOAD
00002513: PUSH1 0x40
00002515: MLOAD
00002516: PUSH5 0x0100000000
0000251c: SWAP1
0000251d: SWAP2
0000251e: DIV
0000251f: PUSH1 0x01
00002521: PUSH1 0xa0
00002523: PUSH1 0x02
00002525: EXP
00002526: SUB
00002527: SWAP1
00002528: DUP2
00002529: AND
0000252a: SWAP2
0000252b: PUSH1 0x00
0000252d: SWAP2
0000252e: ADDRESS
0000252f: AND
00002530: BALANCE
00002531: SWAP1
00002532: DUP3
00002533: DUP2
00002534: DUP2
00002535: DUP2
00002536: DUP6
00002537: DUP9
00002538: DUP4
00002539: CALL
0000253a: SWAP4
0000253b: POP
0000253c: POP
0000253d: POP
0000253e: POP
0000253f: ISZERO
00002540: ISZERO
00002541: PUSH2 0x0d72
00002544: JUMPI
00002545: PUSH2 0x0d72
00002548: PUSH1 0x60
0000254a: PUSH1 0x40
0000254c: MLOAD
0000254d: SWAP1
0000254e: DUP2
0000254f: ADD
00002550: PUSH1 0x40
00002552: MSTORE
00002553: DUP1
00002554: PUSH1 0x23
00002556: DUP2
00002557: MSTORE
00002558: PUSH1 0x20
0000255a: ADD
0000255b: PUSH32 0x70617942616c616e6365546f52657475726e57616c6c65743a73656e64466169
0000257c: DUP2
0000257d: MSTORE
0000257e: PUSH1 0x20
00002580: ADD
00002581: PUSH32 0x6c65640000000000000000000000000000000000000000000000000000000000
000025a2: DUP2
000025a3: MSTORE
000025a4: PUSH1 0x20
000025a6: ADD
000025a7: POP
000025a8: PUSH2 0x0ba0
000025ab: JUMP
000025ac: JUMPDEST
000025ad: PUSH1 0x28
000025af: PUSH1 0x00
000025b1: SWAP1
000025b2: SLOAD
000025b3: SWAP1
000025b4: PUSH2 0x0100
000025b7: EXP
000025b8: SWAP1
000025b9: DIV
000025ba: PUSH1 0x01
000025bc: PUSH1 0xa0
000025be: PUSH1 0x02
000025c0: EXP
000025c1: SUB
000025c2: AND
000025c3: PUSH1 0x01
000025c5: PUSH1 0xa0
000025c7: PUSH1 0x02
000025c9: EXP
000025ca: SUB
000025cb: AND
000025cc: PUSH4 0xfc44fd28
000025d1: PUSH1 0x40
000025d3: MLOAD
000025d4: DUP2
000025d5: PUSH1 0xe0
000025d7: PUSH1 0x02
000025d9: EXP
000025da: MUL
000025db: DUP2
000025dc: MSTORE
000025dd: PUSH1 0x04
000025df: ADD
000025e0: DUP1
000025e1: SWAP1
000025e2: POP
000025e3: PUSH1 0x00
000025e5: PUSH1 0x40
000025e7: MLOAD
000025e8: DUP1
000025e9: DUP4
000025ea: SUB
000025eb: DUP2
000025ec: PUSH1 0x00
000025ee: DUP8
000025ef: PUSH2 0x61da
000025f2: GAS
000025f3: SUB
000025f4: CALL
000025f5: ISZERO
000025f6: PUSH2 0x0002
000025f9: JUMPI
000025fa: POP
000025fb: PUSH1 0x40
000025fd: DUP1
000025fe: MLOAD
000025ff: PUSH1 0x27
00002601: SLOAD
00002602: PUSH1 0xe3
00002604: PUSH1 0x02
00002606: EXP
00002607: PUSH4 0x1f889fa5
0000260c: MUL
0000260d: DUP3
0000260e: MSTORE
0000260f: SWAP2
00002610: MLOAD
00002611: PUSH1 0x01
00002613: PUSH1 0xa0
00002615: PUSH1 0x02
00002617: EXP
00002618: SUB
00002619: SWAP3
0000261a: SWAP1
0000261b: SWAP3
0000261c: AND
0000261d: SWAP4
0000261e: POP
0000261f: PUSH1 0x04
00002621: DUP2
00002622: DUP2
00002623: ADD
00002624: SWAP3
00002625: PUSH1 0x00
00002627: SWAP3
00002628: SWAP1
00002629: SWAP2
0000262a: SWAP1
0000262b: DUP3
0000262c: SWAP1
0000262d: SUB
0000262e: ADD
0000262f: DUP2
00002630: DUP4
00002631: DUP8
00002632: PUSH2 0x61da
00002635: GAS
00002636: SUB
00002637: CALL
00002638: ISZERO
00002639: PUSH2 0x0002
0000263c: JUMPI
0000263d: POP
0000263e: PUSH1 0x1b
00002640: SLOAD
00002641: PUSH1 0x40
00002643: DUP1
00002644: MLOAD
00002645: PUSH1 0xe3
00002647: PUSH1 0x02
00002649: EXP
0000264a: PUSH4 0x1f889fa5
0000264f: MUL
00002650: DUP2
00002651: MSTORE
00002652: SWAP1
00002653: MLOAD
00002654: PUSH1 0x01
00002656: PUSH1 0xa0
00002658: PUSH1 0x02
0000265a: EXP
0000265b: SUB
0000265c: SWAP3
0000265d: SWAP1
0000265e: SWAP3
0000265f: AND
00002660: SWAP4
00002661: POP
00002662: PUSH1 0x04
00002664: DUP2
00002665: DUP2
00002666: ADD
00002667: SWAP3
00002668: PUSH1 0x00
0000266a: SWAP3
0000266b: SWAP1
0000266c: SWAP2
0000266d: SWAP1
0000266e: DUP3
0000266f: SWAP1
00002670: SUB
00002671: ADD
00002672: DUP2
00002673: DUP4
00002674: DUP8
00002675: PUSH2 0x61da
00002678: GAS
00002679: SUB
0000267a: CALL
0000267b: ISZERO
0000267c: PUSH2 0x0002
0000267f: JUMPI
00002680: POP
00002681: POP
00002682: POP
00002683: PUSH1 0x00
00002685: DUP2
00002686: GT
00002687: ISZERO
00002688: PUSH2 0x26e4
0000268b: JUMPI
0000268c: PUSH1 0x26
0000268e: PUSH1 0x04
00002690: SWAP1
00002691: SLOAD
00002692: SWAP1
00002693: PUSH2 0x0100
00002696: EXP
00002697: SWAP1
00002698: DIV
00002699: PUSH1 0x01
0000269b: PUSH1 0xa0
0000269d: PUSH1 0x02
0000269f: EXP
000026a0: SUB
000026a1: AND
000026a2: PUSH1 0x01
000026a4: PUSH1 0xa0
000026a6: PUSH1 0x02
000026a8: EXP
000026a9: SUB
000026aa: AND
000026ab: PUSH4 0xb8b27765
000026b0: DUP3
000026b1: PUSH1 0x40
000026b3: MLOAD
000026b4: DUP3
000026b5: PUSH1 0xe0
000026b7: PUSH1 0x02
000026b9: EXP
000026ba: MUL
000026bb: DUP2
000026bc: MSTORE
000026bd: PUSH1 0x04
000026bf: ADD
000026c0: DUP1
000026c1: DUP3
000026c2: DUP2
000026c3: MSTORE
000026c4: PUSH1 0x20
000026c6: ADD
000026c7: SWAP2
000026c8: POP
000026c9: POP
000026ca: PUSH1 0x00
000026cc: PUSH1 0x40
000026ce: MLOAD
000026cf: DUP1
000026d0: DUP4
000026d1: SUB
000026d2: DUP2
000026d3: PUSH1 0x00
000026d5: DUP8
000026d6: PUSH2 0x61da
000026d9: GAS
000026da: SUB
000026db: CALL
000026dc: ISZERO
000026dd: PUSH2 0x0002
000026e0: JUMPI
000026e1: POP
000026e2: POP
000026e3: POP
000026e4: JUMPDEST
000026e5: PUSH1 0x26
000026e7: SLOAD
000026e8: PUSH1 0x22
000026ea: SLOAD
000026eb: PUSH1 0x20
000026ed: SLOAD
000026ee: PUSH1 0x40
000026f0: DUP1
000026f1: MLOAD
000026f2: PUSH32 0x2033d9ae00000000000000000000000000000000000000000000000000000000
00002713: DUP2
00002714: MSTORE
00002715: SWAP2
00002716: SWAP1
00002717: SWAP3
00002718: ADD
00002719: PUSH1 0x04
0000271b: DUP3
0000271c: ADD
0000271d: MSTORE
0000271e: SWAP1
0000271f: MLOAD
00002720: PUSH5 0x0100000000
00002726: SWAP1
00002727: SWAP3
00002728: DIV
00002729: PUSH1 0x01
0000272b: PUSH1 0xa0
0000272d: PUSH1 0x02
0000272f: EXP
00002730: SUB
00002731: AND
00002732: SWAP2
00002733: PUSH4 0x2033d9ae
00002738: SWAP2
00002739: PUSH1 0x24
0000273b: DUP1
0000273c: DUP3
0000273d: ADD
0000273e: SWAP3
0000273f: PUSH1 0x00
00002741: SWAP3
00002742: SWAP1
00002743: SWAP2
00002744: SWAP1
00002745: DUP3
00002746: SWAP1
00002747: SUB
00002748: ADD
00002749: DUP2
0000274a: DUP4
0000274b: DUP8
0000274c: PUSH2 0x61da
0000274f: GAS
00002750: SUB
00002751: CALL
00002752: ISZERO
00002753: PUSH2 0x0002
00002756: JUMPI
00002757: POP
00002758: POP
00002759: PUSH1 0x26
0000275b: SLOAD
0000275c: PUSH1 0x40
0000275e: DUP1
0000275f: MLOAD
00002760: PUSH1 0x01
00002762: PUSH1 0xa0
00002764: PUSH1 0x02
00002766: EXP
00002767: SUB
00002768: CALLER
00002769: DUP2
0000276a: AND
0000276b: DUP3
0000276c: MSTORE
0000276d: CALLVALUE
0000276e: PUSH1 0x20
00002770: DUP4
00002771: ADD
00002772: MSTORE
00002773: PUSH5 0x0100000000
00002779: SWAP1
0000277a: SWAP4
0000277b: DIV
0000277c: SWAP1
0000277d: SWAP3
0000277e: AND
0000277f: BALANCE
00002780: DUP3
00002781: DUP3
00002782: ADD
00002783: MSTORE
00002784: PUSH1 0x01
00002786: PUSH1 0x60
00002788: DUP4
00002789: ADD
0000278a: MSTORE
0000278b: MLOAD
0000278c: PUSH32 0x6816fcd617af2edc3ccc34b8a63bab368d79f315e065779259bb6a13541eaea2
000027ad: SWAP3
000027ae: POP
000027af: SWAP1
000027b0: DUP2
000027b1: SWAP1
000027b2: SUB
000027b3: PUSH1 0x80
000027b5: ADD
000027b6: SWAP1
000027b7: LOG1
000027b8: PUSH1 0x00
000027ba: PUSH1 0x26
000027bc: PUSH1 0x02
000027be: PUSH2 0x0100
000027c1: EXP
000027c2: DUP2
000027c3: SLOAD
000027c4: DUP2
000027c5: PUSH1 0xff
000027c7: MUL
000027c8: NOT
000027c9: AND
000027ca: SWAP1
000027cb: DUP4
000027cc: MUL
000027cd: OR
000027ce: SWAP1
000027cf: SSTORE
000027d0: POP
000027d1: POP
000027d2: JUMP
000027d3: JUMPDEST
000027d4: PUSH1 0x00
000027d6: DUP3
000027d7: GT
000027d8: PUSH2 0x27e3
000027db: JUMPI
000027dc: POP
000027dd: PUSH1 0x00
000027df: PUSH2 0x155b
000027e2: JUMP
000027e3: JUMPDEST
000027e4: CALLER
000027e5: PUSH1 0x01
000027e7: PUSH1 0xa0
000027e9: PUSH1 0x02
000027eb: EXP
000027ec: SUB
000027ed: AND
000027ee: PUSH1 0x00
000027f0: SWAP1
000027f1: DUP2
000027f2: MSTORE
000027f3: PUSH1 0x1e
000027f5: PUSH1 0x20
000027f7: MSTORE
000027f8: PUSH1 0x40
000027fa: SWAP1
000027fb: KECCAK256
000027fc: SLOAD
000027fd: DUP3
000027fe: SWAP1
000027ff: LT
00002800: ISZERO
00002801: PUSH2 0x280c
00002804: JUMPI
00002805: POP
00002806: PUSH1 0x00
00002808: PUSH2 0x155b
0000280b: JUMP
0000280c: JUMPDEST
0000280d: PUSH1 0x01
0000280f: PUSH1 0xa0
00002811: PUSH1 0x02
00002813: EXP
00002814: SUB
00002815: DUP4
00002816: AND
00002817: PUSH1 0x00
00002819: SWAP1
0000281a: DUP2
0000281b: MSTORE
0000281c: PUSH1 0x1e
0000281e: PUSH1 0x20
00002820: MSTORE
00002821: PUSH1 0x40
00002823: SWAP1
00002824: KECCAK256
00002825: SLOAD
00002826: DUP1
00002827: DUP4
00002828: ADD
00002829: LT
0000282a: ISZERO
0000282b: PUSH2 0x2836
0000282e: JUMPI
0000282f: POP
00002830: PUSH1 0x00
00002832: PUSH2 0x155b
00002835: JUMP
00002836: JUMPDEST
00002837: PUSH1 0x01
00002839: PUSH1 0xa0
0000283b: PUSH1 0x02
0000283d: EXP
0000283e: SUB
0000283f: CALLER
00002840: DUP2
00002841: AND
00002842: PUSH1 0x00
00002844: DUP2
00002845: DUP2
00002846: MSTORE
00002847: PUSH1 0x1e
00002849: PUSH1 0x20
0000284b: SWAP1
0000284c: DUP2
0000284d: MSTORE
0000284e: PUSH1 0x40
00002850: DUP1
00002851: DUP4
00002852: KECCAK256
00002853: DUP1
00002854: SLOAD
00002855: DUP9
00002856: SWAP1
00002857: SUB
00002858: SWAP1
00002859: SSTORE
0000285a: SWAP4
0000285b: DUP8
0000285c: AND
0000285d: DUP1
0000285e: DUP4
0000285f: MSTORE
00002860: SWAP2
00002861: DUP5
00002862: SWAP1
00002863: KECCAK256
00002864: DUP1
00002865: SLOAD
00002866: DUP8
00002867: ADD
00002868: SWAP1
00002869: SSTORE
0000286a: DUP4
0000286b: MLOAD
0000286c: DUP4
0000286d: DUP2
0000286e: MSTORE
0000286f: CALLVALUE
00002870: SWAP2
00002871: DUP2
00002872: ADD
00002873: SWAP2
00002874: SWAP1
00002875: SWAP2
00002876: MSTORE
00002877: DUP1
00002878: DUP5
00002879: ADD
0000287a: DUP7
0000287b: SWAP1
0000287c: MSTORE
0000287d: SWAP3
0000287e: MLOAD
0000287f: SWAP1
00002880: SWAP3
00002881: PUSH32 0xe921528ef8652e1a832f8063bcbca0186d6c5a28413c90acecaf074846c412db
000028a2: SWAP2
000028a3: SWAP1
000028a4: DUP2
000028a5: SWAP1
000028a6: SUB
000028a7: PUSH1 0x60
000028a9: ADD
000028aa: SWAP1
000028ab: LOG3
000028ac: POP
000028ad: PUSH1 0x01
000028af: PUSH2 0x155b
000028b2: JUMP
000028b3: PUSH16 0x6e6c79546f6b656e486f6c6465727300
000028c4: STOP
000028c5: STOP
000028c6: STOP
000028c7: STOP
000028c8: STOP
000028c9: STOP
000028ca: STOP
000028cb: STOP
000028cc: STOP
000028cd: STOP
000028ce: STOP
000028cf: STOP
000028d0: STOP
000028d1: STOP
000028d2: STOP

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0x33f28188a6cd393e42d46acba414777dcddbacc5803cb8e0a19a5cde7a4c1591
call_targets: 0x9fa8fa61a10ff892e4ebceb7f4e0fc684c2ce0a9
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x33f28188a6cd393e42d46acba414777dcddbacc5803cb8e0a19a5cde7a4c1591",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x9fa8fa61a10ff892e4ebceb7f4e0fc684c2ce0a9"
    ],
    "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": "0x02410cf6",
            "selector": "0x02410cf6",
            "calldata_variants": [
                "0x02410cf6",
                "0x02410cf60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x044a5f97",
            "selector": "0x044a5f97",
            "calldata_variants": [
                "0x044a5f97",
                "0x044a5f970000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x089aa819",
            "selector": "0x089aa819",
            "calldata_variants": [
                "0x089aa819",
                "0x089aa8190000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0c103837",
            "selector": "0x0c103837",
            "calldata_variants": [
                "0x0c103837",
                "0x0c1038370000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0c3b7b96",
            "selector": "0x0c3b7b96",
            "calldata_variants": [
                "0x0c3b7b96",
                "0x0c3b7b960000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0d40e8d6",
            "selector": "0x0d40e8d6",
            "calldata_variants": [
                "0x0d40e8d6",
                "0x0d40e8d60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x14841164",
            "selector": "0x14841164",
            "calldata_variants": [
                "0x14841164",
                "0x148411640000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 2653,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3087,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3610,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 16,
    "guards_detected": [],
    "untrusted_call_count": 16
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x33f28188a6cd393e42d46acba414777dcddbacc5803cb8e0a19a5cde7a4c1591
call_targets: 0x9fa8fa61a10ff892e4ebceb7f4e0fc684c2ce0a9
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x33f28188a6cd393e42d46acba414777dcddbacc5803cb8e0a19a5cde7a4c1591",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x9fa8fa61a10ff892e4ebceb7f4e0fc684c2ce0a9"
    ],
    "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": "0x02410cf6",
            "selector": "0x02410cf6",
            "calldata_variants": [
                "0x02410cf6",
                "0x02410cf60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x044a5f97",
            "selector": "0x044a5f97",
            "calldata_variants": [
                "0x044a5f97",
                "0x044a5f970000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x089aa819",
            "selector": "0x089aa819",
            "calldata_variants": [
                "0x089aa819",
                "0x089aa8190000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0c103837",
            "selector": "0x0c103837",
            "calldata_variants": [
                "0x0c103837",
                "0x0c1038370000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0c3b7b96",
            "selector": "0x0c3b7b96",
            "calldata_variants": [
                "0x0c3b7b96",
                "0x0c3b7b960000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0d40e8d6",
            "selector": "0x0d40e8d6",
            "calldata_variants": [
                "0x0d40e8d6",
                "0x0d40e8d60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x14841164",
            "selector": "0x14841164",
            "calldata_variants": [
                "0x14841164",
                "0x148411640000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 2653,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3087,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3610,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 16,
    "guards_detected": []
}
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
}