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

Analysis Run

3a3fb11e-62a4-4933-babd-517fd4f365c7

failed
Chain ID
1
Address
0xe5a04d98538231b0fab9aba60cd73ce4ff3039df
Block Number
—
Created
Fri, Jan 2, 2026 5:22 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
31235 report.consolidate complete 1 / 1 3 months ago
95221 artifact.fetch failed 1 / 3 1 week ago
95222 tool.cast_disasm complete 1 / 3 1 week ago
95223 analysis.bundle complete 1 / 3 1 week ago
95224 capability.graph complete 1 / 3 1 week ago
95225 detector.run complete 1 / 3 1 week ago
95226 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
No concrete, exploitable profit paths found in the provided contracts under the given constraints.
View stderr 
[codex:156599] OpenAI Codex v0.77.0 (research preview)
[codex:156599] --------
[codex:156599] workdir: /tmp/codex-multi-7mggfxdz
[codex:156599] model: gpt-5.2-codex
[codex:156599] provider: openai
[codex:156599] approval: never
[codex:156599] sandbox: read-only
[codex:156599] reasoning effort: xhigh
[codex:156599] reasoning summaries: auto
[codex:156599] session id: 019b7d27-a50a-73c2-a843-3bf3e2783a68
[codex:156599] --------
[codex:156599] user
[codex:156599] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:156599] 
[codex:156599] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:156599] 
[codex:156599] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:156599] - Gas inefficiency, code quality, naming, or best practices
[codex:156599] - Theoretical vulnerabilities without a clear extraction path
[codex:156599] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:156599] - Front-running unless it enables theft beyond MEV
[codex:156599] - DoS, griefing, or issues that don't result in attacker profit
[codex:156599] - Missing events, view function issues, or informational findings
[codex:156599] 
[codex:156599] HIGH-VALUE PATTERNS TO HUNT:
[codex:156599] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:156599] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:156599] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:156599] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:156599] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:156599] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:156599] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:156599] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:156599] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:156599] 
[codex:156599] For each finding, you MUST provide:
[codex:156599] 1. Exact file and line numbers of vulnerable code
[codex:156599] 2. Step-by-step exploit transaction sequence
[codex:156599] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:156599] 
[codex:156599] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:156599] 
[codex:156599] Output MUST be valid JSON matching the provided schema.
[codex:156599] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:156599] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:156599] mcp startup: no servers
[codex:156599] 
[codex:156599] thinking
[codex:156599] **Preparing to read audit instructions**
[codex:156599] exec
[codex:156599] /bin/bash -lc ls in /tmp/codex-multi-7mggfxdz succeeded in 5ms:
[codex:156599] AUDIT_BUNDLE.txt
[codex:156599] codex-output-schema.json
[codex:156599] contracts
[codex:156599] 
[codex:156599] thinking
[codex:156599] **Reading AUDIT_BUNDLE.txt**
[codex:156599] exec
[codex:156599] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-7mggfxdz succeeded in 5ms:
[codex:156599] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:156599] 
[codex:156599] ================================================================================
[codex:156599] FILE: contracts/Contract.sol
[codex:156599] ================================================================================
[codex:156599] // <ORACLIZE_API>
[codex:156599] /*
[codex:156599] Copyright (c) 2015-2016 Oraclize SRL
[codex:156599] Copyright (c) 2016 Oraclize LTD
[codex:156599] 
[codex:156599] 
[codex:156599] 
[codex:156599] Permission is hereby granted, free of charge, to any person obtaining a copy
[codex:156599] of this software and associated documentation files (the "Software"), to deal
[codex:156599] in the Software without restriction, including without limitation the rights
[codex:156599] to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
[codex:156599] copies of the Software, and to permit persons to whom the Software is
[codex:156599] furnished to do so, subject to the following conditions:
[codex:156599] 
[codex:156599] 
[codex:156599] 
[codex:156599] thinking
[codex:156599] **Analyzing Solidity gambling contract for exploits**
[codex:156599] 
[codex:156599] I’m thoroughly reviewing the EtherFlip contract using Solidity 0.4.11 and Oraclize for randomness, checking for vulnerabilities like underflows, reentrancy, access control, and edge cases from uninitialized variables. I’m carefully considering scenarios involving fee calculations, payouts, token transfers, and Oraclize callbacks to identify any possible paths for attacker profit or denial-of-service, aiming to conclude with a precise JSON summary of findings.
[codex:156599] codex
[codex:156599] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in the provided contracts under the given constraints.","findings":[]}
[codex:156599] tokens used
[codex:156599] 18,826
[codex:156599] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in the provided contracts under the given constraints.","findings":[]}
Metadata 
{
    "codex": {
        "ran_at": "2026-01-02T05:22:50.168930+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable profit paths found in the provided contracts under the given constraints.",
    "raw_final": {
        "summary": "No concrete, exploitable profit paths found in the provided contracts under the given constraints.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
28
EXT*/BALANCE
18
Total opcodes
9590
Flags
heavy_ext_balance_usage call_family_heavy
View cast disassembly output 
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x01c7
0000000a: JUMPI
0000000b: PUSH4 0xffffffff
00000010: PUSH1 0xe0
00000012: PUSH1 0x02
00000014: EXP
00000015: PUSH1 0x00
00000017: CALLDATALOAD
00000018: DIV
00000019: AND
0000001a: PUSH4 0x1b87d58a
0000001f: DUP2
00000020: EQ
00000021: PUSH2 0x0281
00000024: JUMPI
00000025: DUP1
00000026: PUSH4 0x2399f870
0000002b: EQ
0000002c: PUSH2 0x02a3
0000002f: JUMPI
00000030: DUP1
00000031: PUSH4 0x23d32d6a
00000036: EQ
00000037: PUSH2 0x02ce
0000003a: JUMPI
0000003b: DUP1
0000003c: PUSH4 0x24ce2562
00000041: EQ
00000042: PUSH2 0x02f0
00000045: JUMPI
00000046: DUP1
00000047: PUSH4 0x27dc297e
0000004c: EQ
0000004d: PUSH2 0x030e
00000050: JUMPI
00000051: DUP1
00000052: PUSH4 0x2d19413c
00000057: EQ
00000058: PUSH2 0x0367
0000005b: JUMPI
0000005c: DUP1
0000005d: PUSH4 0x2e5b2168
00000062: EQ
00000063: PUSH2 0x039c
00000066: JUMPI
00000067: DUP1
00000068: PUSH4 0x2e6b2662
0000006d: EQ
0000006e: PUSH2 0x03be
00000071: JUMPI
00000072: DUP1
00000073: PUSH4 0x38bbfa50
00000078: EQ
00000079: PUSH2 0x03e0
0000007c: JUMPI
0000007d: DUP1
0000007e: PUSH4 0x3b5e5376
00000083: EQ
00000084: PUSH2 0x0476
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0x41d4a1ab
0000008e: EQ
0000008f: PUSH2 0x0498
00000092: JUMPI
00000093: DUP1
00000094: PUSH4 0x4af69189
00000099: EQ
0000009a: PUSH2 0x04c4
0000009d: JUMPI
0000009e: DUP1
0000009f: PUSH4 0x4c6226fc
000000a4: EQ
000000a5: PUSH2 0x04f0
000000a8: JUMPI
000000a9: DUP1
000000aa: PUSH4 0x5ed65228
000000af: EQ
000000b0: PUSH2 0x0512
000000b3: JUMPI
000000b4: DUP1
000000b5: PUSH4 0x600720c2
000000ba: EQ
000000bb: PUSH2 0x0534
000000be: JUMPI
000000bf: DUP1
000000c0: PUSH4 0x66476fcc
000000c5: EQ
000000c6: PUSH2 0x0556
000000c9: JUMPI
000000ca: DUP1
000000cb: PUSH4 0x7a8bd93e
000000d0: EQ
000000d1: PUSH2 0x0582
000000d4: JUMPI
000000d5: DUP1
000000d6: PUSH4 0x7aba86d2
000000db: EQ
000000dc: PUSH2 0x05a4
000000df: JUMPI
000000e0: DUP1
000000e1: PUSH4 0x80d1bd47
000000e6: EQ
000000e7: PUSH2 0x05c6
000000ea: JUMPI
000000eb: DUP1
000000ec: PUSH4 0x880cdc31
000000f1: EQ
000000f2: PUSH2 0x05e8
000000f5: JUMPI
000000f6: DUP1
000000f7: PUSH4 0x8da5cb5b
000000fc: EQ
000000fd: PUSH2 0x0606
00000100: JUMPI
00000101: DUP1
00000102: PUSH4 0x8ec9925e
00000107: EQ
00000108: PUSH2 0x0632
0000010b: JUMPI
0000010c: DUP1
0000010d: PUSH4 0x9619367d
00000112: EQ
00000113: PUSH2 0x065e
00000116: JUMPI
00000117: DUP1
00000118: PUSH4 0xa0109c9f
0000011d: EQ
0000011e: PUSH2 0x0680
00000121: JUMPI
00000122: DUP1
00000123: PUSH4 0xa10132ad
00000128: EQ
00000129: PUSH2 0x06a2
0000012c: JUMPI
0000012d: DUP1
0000012e: PUSH4 0xa7ace55d
00000133: EQ
00000134: PUSH2 0x06c4
00000137: JUMPI
00000138: DUP1
00000139: PUSH4 0xa824e636
0000013e: EQ
0000013f: PUSH2 0x06e6
00000142: JUMPI
00000143: DUP1
00000144: PUSH4 0xabadaf9a
00000149: EQ
0000014a: PUSH2 0x070e
0000014d: JUMPI
0000014e: DUP1
0000014f: PUSH4 0xb1e045f7
00000154: EQ
00000155: PUSH2 0x0730
00000158: JUMPI
00000159: DUP1
0000015a: PUSH4 0xb1eac37e
0000015f: EQ
00000160: PUSH2 0x0752
00000163: JUMPI
00000164: DUP1
00000165: PUSH4 0xb65b4c9a
0000016a: EQ
0000016b: PUSH2 0x0774
0000016e: JUMPI
0000016f: DUP1
00000170: PUSH4 0xbd22b1cb
00000175: EQ
00000176: PUSH2 0x0796
00000179: JUMPI
0000017a: DUP1
0000017b: PUSH4 0xc8d52ee3
00000180: EQ
00000181: PUSH2 0x07c2
00000184: JUMPI
00000185: DUP1
00000186: PUSH4 0xcbd5131b
0000018b: EQ
0000018c: PUSH2 0x07e3
0000018f: JUMPI
00000190: DUP1
00000191: PUSH4 0xd08d6753
00000196: EQ
00000197: PUSH2 0x0805
0000019a: JUMPI
0000019b: DUP1
0000019c: PUSH4 0xe0f8da97
000001a1: EQ
000001a2: PUSH2 0x0827
000001a5: JUMPI
000001a6: DUP1
000001a7: PUSH4 0xfe2b6246
000001ac: EQ
000001ad: PUSH2 0x0853
000001b0: JUMPI
000001b1: DUP1
000001b2: PUSH4 0xff3af97f
000001b7: EQ
000001b8: PUSH2 0x0871
000001bb: JUMPI
000001bc: DUP1
000001bd: PUSH4 0xff78d5ed
000001c2: EQ
000001c3: PUSH2 0x08aa
000001c6: JUMPI
000001c7: JUMPDEST
000001c8: PUSH2 0x027f
000001cb: JUMPDEST
000001cc: PUSH1 0x0b
000001ce: SLOAD
000001cf: PUSH1 0x00
000001d1: SWAP1
000001d2: DUP2
000001d3: SWAP1
000001d4: DUP2
000001d5: SWAP1
000001d6: CALLER
000001d7: PUSH1 0x01
000001d9: PUSH1 0xa0
000001db: PUSH1 0x02
000001dd: EXP
000001de: SUB
000001df: SWAP1
000001e0: DUP2
000001e1: AND
000001e2: SWAP2
000001e3: AND
000001e4: EQ
000001e5: PUSH2 0x0279
000001e8: JUMPI
000001e9: PUSH1 0x0d
000001eb: SLOAD
000001ec: CALLVALUE
000001ed: GT
000001ee: DUP1
000001ef: PUSH2 0x01f9
000001f2: JUMPI
000001f3: POP
000001f4: PUSH1 0x0e
000001f6: SLOAD
000001f7: CALLVALUE
000001f8: LT
000001f9: JUMPDEST
000001fa: ISZERO
000001fb: PUSH2 0x0204
000001fe: JUMPI
000001ff: PUSH1 0x00
00000201: PUSH1 0x00
00000203: REVERT
00000204: JUMPDEST
00000205: PUSH2 0x022d
00000208: PUSH32 0x3000000000000000000000000000000000000000000000000000000000000000
00000229: PUSH2 0x08cc
0000022c: JUMP
0000022d: JUMPDEST
0000022e: PUSH1 0x02
00000230: SWAP3
00000231: POP
00000232: PUSH1 0x00
00000234: SWAP2
00000235: POP
00000236: PUSH2 0x0242
00000239: DUP3
0000023a: DUP5
0000023b: PUSH1 0x16
0000023d: SLOAD
0000023e: PUSH2 0x0a1d
00000241: JUMP
00000242: JUMPDEST
00000243: PUSH1 0x00
00000245: DUP2
00000246: DUP2
00000247: MSTORE
00000248: PUSH1 0x22
0000024a: PUSH1 0x20
0000024c: SWAP1
0000024d: DUP2
0000024e: MSTORE
0000024f: PUSH1 0x40
00000251: DUP1
00000252: DUP4
00000253: KECCAK256
00000254: DUP1
00000255: SLOAD
00000256: PUSH1 0x01
00000258: PUSH1 0xa0
0000025a: PUSH1 0x02
0000025c: EXP
0000025d: SUB
0000025e: NOT
0000025f: AND
00000260: CALLER
00000261: PUSH1 0x01
00000263: PUSH1 0xa0
00000265: PUSH1 0x02
00000267: EXP
00000268: SUB
00000269: AND
0000026a: OR
0000026b: SWAP1
0000026c: SSTORE
0000026d: PUSH1 0x23
0000026f: SWAP1
00000270: SWAP2
00000271: MSTORE
00000272: SWAP1
00000273: KECCAK256
00000274: CALLVALUE
00000275: SWAP1
00000276: SSTORE
00000277: SWAP1
00000278: POP
00000279: JUMPDEST
0000027a: JUMPDEST
0000027b: POP
0000027c: POP
0000027d: POP
0000027e: JUMP
0000027f: JUMPDEST
00000280: STOP
00000281: JUMPDEST
00000282: CALLVALUE
00000283: ISZERO
00000284: PUSH2 0x0289
00000287: JUMPI
00000288: INVALID
00000289: JUMPDEST
0000028a: PUSH2 0x0291
0000028d: PUSH2 0x0d2e
00000290: JUMP
00000291: JUMPDEST
00000292: PUSH1 0x40
00000294: DUP1
00000295: MLOAD
00000296: SWAP2
00000297: DUP3
00000298: MSTORE
00000299: MLOAD
0000029a: SWAP1
0000029b: DUP2
0000029c: SWAP1
0000029d: SUB
0000029e: PUSH1 0x20
000002a0: ADD
000002a1: SWAP1
000002a2: RETURN
000002a3: JUMPDEST
000002a4: CALLVALUE
000002a5: ISZERO
000002a6: PUSH2 0x02ab
000002a9: JUMPI
000002aa: INVALID
000002ab: JUMPDEST
000002ac: PUSH2 0x027f
000002af: PUSH1 0x01
000002b1: PUSH1 0xa0
000002b3: PUSH1 0x02
000002b5: EXP
000002b6: SUB
000002b7: PUSH1 0x04
000002b9: CALLDATALOAD
000002ba: DUP2
000002bb: AND
000002bc: SWAP1
000002bd: PUSH1 0x24
000002bf: CALLDATALOAD
000002c0: SWAP1
000002c1: PUSH1 0x44
000002c3: CALLDATALOAD
000002c4: AND
000002c5: PUSH1 0x64
000002c7: CALLDATALOAD
000002c8: PUSH2 0x0d34
000002cb: JUMP
000002cc: JUMPDEST
000002cd: STOP
000002ce: JUMPDEST
000002cf: CALLVALUE
000002d0: ISZERO
000002d1: PUSH2 0x02d6
000002d4: JUMPI
000002d5: INVALID
000002d6: JUMPDEST
000002d7: PUSH2 0x0291
000002da: PUSH2 0x0d92
000002dd: JUMP
000002de: JUMPDEST
000002df: PUSH1 0x40
000002e1: DUP1
000002e2: MLOAD
000002e3: SWAP2
000002e4: DUP3
000002e5: MSTORE
000002e6: MLOAD
000002e7: SWAP1
000002e8: DUP2
000002e9: SWAP1
000002ea: SUB
000002eb: PUSH1 0x20
000002ed: ADD
000002ee: SWAP1
000002ef: RETURN
000002f0: JUMPDEST
000002f1: CALLVALUE
000002f2: ISZERO
000002f3: PUSH2 0x02f8
000002f6: JUMPI
000002f7: INVALID
000002f8: JUMPDEST
000002f9: PUSH2 0x027f
000002fc: PUSH1 0x04
000002fe: CALLDATALOAD
000002ff: PUSH1 0x24
00000301: CALLDATALOAD
00000302: PUSH1 0x44
00000304: CALLDATALOAD
00000305: PUSH1 0x64
00000307: CALLDATALOAD
00000308: PUSH2 0x0d98
0000030b: JUMP
0000030c: JUMPDEST
0000030d: STOP
0000030e: JUMPDEST
0000030f: CALLVALUE
00000310: ISZERO
00000311: PUSH2 0x0316
00000314: JUMPI
00000315: INVALID
00000316: JUMPDEST
00000317: PUSH1 0x40
00000319: DUP1
0000031a: MLOAD
0000031b: PUSH1 0x20
0000031d: PUSH1 0x04
0000031f: PUSH1 0x24
00000321: DUP1
00000322: CALLDATALOAD
00000323: DUP3
00000324: DUP2
00000325: ADD
00000326: CALLDATALOAD
00000327: PUSH1 0x1f
00000329: DUP2
0000032a: ADD
0000032b: DUP6
0000032c: SWAP1
0000032d: DIV
0000032e: DUP6
0000032f: MUL
00000330: DUP7
00000331: ADD
00000332: DUP6
00000333: ADD
00000334: SWAP1
00000335: SWAP7
00000336: MSTORE
00000337: DUP6
00000338: DUP6
00000339: MSTORE
0000033a: PUSH2 0x027f
0000033d: SWAP6
0000033e: DUP4
0000033f: CALLDATALOAD
00000340: SWAP6
00000341: SWAP4
00000342: SWAP5
00000343: PUSH1 0x44
00000345: SWAP5
00000346: SWAP4
00000347: SWAP3
00000348: SWAP1
00000349: SWAP3
0000034a: ADD
0000034b: SWAP2
0000034c: DUP2
0000034d: SWAP1
0000034e: DUP5
0000034f: ADD
00000350: DUP4
00000351: DUP3
00000352: DUP1
00000353: DUP3
00000354: DUP5
00000355: CALLDATACOPY
00000356: POP
00000357: SWAP5
00000358: SWAP7
00000359: POP
0000035a: PUSH2 0x0dd0
0000035d: SWAP6
0000035e: POP
0000035f: POP
00000360: POP
00000361: POP
00000362: POP
00000363: POP
00000364: JUMP
00000365: JUMPDEST
00000366: STOP
00000367: JUMPDEST
00000368: CALLVALUE
00000369: ISZERO
0000036a: PUSH2 0x036f
0000036d: JUMPI
0000036e: INVALID
0000036f: JUMPDEST
00000370: PUSH2 0x027f
00000373: PUSH1 0x01
00000375: PUSH1 0xa0
00000377: PUSH1 0x02
00000379: EXP
0000037a: SUB
0000037b: PUSH1 0x04
0000037d: CALLDATALOAD
0000037e: DUP2
0000037f: AND
00000380: SWAP1
00000381: PUSH1 0x24
00000383: CALLDATALOAD
00000384: SWAP1
00000385: PUSH1 0x44
00000387: CALLDATALOAD
00000388: SWAP1
00000389: PUSH1 0x64
0000038b: CALLDATALOAD
0000038c: AND
0000038d: PUSH1 0x84
0000038f: CALLDATALOAD
00000390: PUSH1 0xa4
00000392: CALLDATALOAD
00000393: PUSH1 0xc4
00000395: CALLDATALOAD
00000396: PUSH2 0x0e00
00000399: JUMP
0000039a: JUMPDEST
0000039b: STOP
0000039c: JUMPDEST
0000039d: CALLVALUE
0000039e: ISZERO
0000039f: PUSH2 0x03a4
000003a2: JUMPI
000003a3: INVALID
000003a4: JUMPDEST
000003a5: PUSH2 0x0291
000003a8: PUSH2 0x0e70
000003ab: JUMP
000003ac: JUMPDEST
000003ad: PUSH1 0x40
000003af: DUP1
000003b0: MLOAD
000003b1: SWAP2
000003b2: DUP3
000003b3: MSTORE
000003b4: MLOAD
000003b5: SWAP1
000003b6: DUP2
000003b7: SWAP1
000003b8: SUB
000003b9: PUSH1 0x20
000003bb: ADD
000003bc: SWAP1
000003bd: RETURN
000003be: JUMPDEST
000003bf: CALLVALUE
000003c0: ISZERO
000003c1: PUSH2 0x03c6
000003c4: JUMPI
000003c5: INVALID
000003c6: JUMPDEST
000003c7: PUSH2 0x0291
000003ca: PUSH2 0x0e76
000003cd: JUMP
000003ce: JUMPDEST
000003cf: PUSH1 0x40
000003d1: DUP1
000003d2: MLOAD
000003d3: SWAP2
000003d4: DUP3
000003d5: MSTORE
000003d6: MLOAD
000003d7: SWAP1
000003d8: DUP2
000003d9: SWAP1
000003da: SUB
000003db: PUSH1 0x20
000003dd: ADD
000003de: SWAP1
000003df: RETURN
000003e0: JUMPDEST
000003e1: CALLVALUE
000003e2: ISZERO
000003e3: PUSH2 0x03e8
000003e6: JUMPI
000003e7: INVALID
000003e8: JUMPDEST
000003e9: PUSH1 0x40
000003eb: DUP1
000003ec: MLOAD
000003ed: PUSH1 0x20
000003ef: PUSH1 0x04
000003f1: PUSH1 0x24
000003f3: DUP1
000003f4: CALLDATALOAD
000003f5: DUP3
000003f6: DUP2
000003f7: ADD
000003f8: CALLDATALOAD
000003f9: PUSH1 0x1f
000003fb: DUP2
000003fc: ADD
000003fd: DUP6
000003fe: SWAP1
000003ff: DIV
00000400: DUP6
00000401: MUL
00000402: DUP7
00000403: ADD
00000404: DUP6
00000405: ADD
00000406: SWAP1
00000407: SWAP7
00000408: MSTORE
00000409: DUP6
0000040a: DUP6
0000040b: MSTORE
0000040c: PUSH2 0x027f
0000040f: SWAP6
00000410: DUP4
00000411: CALLDATALOAD
00000412: SWAP6
00000413: SWAP4
00000414: SWAP5
00000415: PUSH1 0x44
00000417: SWAP5
00000418: SWAP4
00000419: SWAP3
0000041a: SWAP1
0000041b: SWAP3
0000041c: ADD
0000041d: SWAP2
0000041e: DUP2
0000041f: SWAP1
00000420: DUP5
00000421: ADD
00000422: DUP4
00000423: DUP3
00000424: DUP1
00000425: DUP3
00000426: DUP5
00000427: CALLDATACOPY
00000428: POP
00000429: POP
0000042a: PUSH1 0x40
0000042c: DUP1
0000042d: MLOAD
0000042e: PUSH1 0x20
00000430: PUSH1 0x1f
00000432: DUP10
00000433: CALLDATALOAD
00000434: DUP12
00000435: ADD
00000436: DUP1
00000437: CALLDATALOAD
00000438: SWAP2
00000439: DUP3
0000043a: ADD
0000043b: DUP4
0000043c: SWAP1
0000043d: DIV
0000043e: DUP4
0000043f: MUL
00000440: DUP5
00000441: ADD
00000442: DUP4
00000443: ADD
00000444: SWAP1
00000445: SWAP5
00000446: MSTORE
00000447: DUP1
00000448: DUP4
00000449: MSTORE
0000044a: SWAP8
0000044b: SWAP10
0000044c: SWAP9
0000044d: DUP2
0000044e: ADD
0000044f: SWAP8
00000450: SWAP2
00000451: SWAP7
00000452: POP
00000453: SWAP2
00000454: DUP3
00000455: ADD
00000456: SWAP5
00000457: POP
00000458: SWAP3
00000459: POP
0000045a: DUP3
0000045b: SWAP2
0000045c: POP
0000045d: DUP5
0000045e: ADD
0000045f: DUP4
00000460: DUP3
00000461: DUP1
00000462: DUP3
00000463: DUP5
00000464: CALLDATACOPY
00000465: POP
00000466: SWAP5
00000467: SWAP7
00000468: POP
00000469: PUSH2 0x0e7c
0000046c: SWAP6
0000046d: POP
0000046e: POP
0000046f: POP
00000470: POP
00000471: POP
00000472: POP
00000473: JUMP
00000474: JUMPDEST
00000475: STOP
00000476: JUMPDEST
00000477: CALLVALUE
00000478: ISZERO
00000479: PUSH2 0x047e
0000047c: JUMPI
0000047d: INVALID
0000047e: JUMPDEST
0000047f: PUSH2 0x0291
00000482: PUSH2 0x14d7
00000485: JUMP
00000486: JUMPDEST
00000487: PUSH1 0x40
00000489: DUP1
0000048a: MLOAD
0000048b: SWAP2
0000048c: DUP3
0000048d: MSTORE
0000048e: MLOAD
0000048f: SWAP1
00000490: DUP2
00000491: SWAP1
00000492: SUB
00000493: PUSH1 0x20
00000495: ADD
00000496: SWAP1
00000497: RETURN
00000498: JUMPDEST
00000499: CALLVALUE
0000049a: ISZERO
0000049b: PUSH2 0x04a0
0000049e: JUMPI
0000049f: INVALID
000004a0: JUMPDEST
000004a1: PUSH2 0x04a8
000004a4: PUSH2 0x14dd
000004a7: JUMP
000004a8: JUMPDEST
000004a9: PUSH1 0x40
000004ab: DUP1
000004ac: MLOAD
000004ad: PUSH1 0x01
000004af: PUSH1 0xa0
000004b1: PUSH1 0x02
000004b3: EXP
000004b4: SUB
000004b5: SWAP1
000004b6: SWAP3
000004b7: AND
000004b8: DUP3
000004b9: MSTORE
000004ba: MLOAD
000004bb: SWAP1
000004bc: DUP2
000004bd: SWAP1
000004be: SUB
000004bf: PUSH1 0x20
000004c1: ADD
000004c2: SWAP1
000004c3: RETURN
000004c4: JUMPDEST
000004c5: CALLVALUE
000004c6: ISZERO
000004c7: PUSH2 0x04cc
000004ca: JUMPI
000004cb: INVALID
000004cc: JUMPDEST
000004cd: PUSH2 0x04a8
000004d0: PUSH2 0x14ec
000004d3: JUMP
000004d4: JUMPDEST
000004d5: PUSH1 0x40
000004d7: DUP1
000004d8: MLOAD
000004d9: PUSH1 0x01
000004db: PUSH1 0xa0
000004dd: PUSH1 0x02
000004df: EXP
000004e0: SUB
000004e1: SWAP1
000004e2: SWAP3
000004e3: AND
000004e4: DUP3
000004e5: MSTORE
000004e6: MLOAD
000004e7: SWAP1
000004e8: DUP2
000004e9: SWAP1
000004ea: SUB
000004eb: PUSH1 0x20
000004ed: ADD
000004ee: SWAP1
000004ef: RETURN
000004f0: JUMPDEST
000004f1: CALLVALUE
000004f2: ISZERO
000004f3: PUSH2 0x04f8
000004f6: JUMPI
000004f7: INVALID
000004f8: JUMPDEST
000004f9: PUSH2 0x0291
000004fc: PUSH2 0x14fb
000004ff: JUMP
00000500: JUMPDEST
00000501: PUSH1 0x40
00000503: DUP1
00000504: MLOAD
00000505: SWAP2
00000506: DUP3
00000507: MSTORE
00000508: MLOAD
00000509: SWAP1
0000050a: DUP2
0000050b: SWAP1
0000050c: SUB
0000050d: PUSH1 0x20
0000050f: ADD
00000510: SWAP1
00000511: RETURN
00000512: JUMPDEST
00000513: CALLVALUE
00000514: ISZERO
00000515: PUSH2 0x051a
00000518: JUMPI
00000519: INVALID
0000051a: JUMPDEST
0000051b: PUSH2 0x0291
0000051e: PUSH2 0x1501
00000521: JUMP
00000522: JUMPDEST
00000523: PUSH1 0x40
00000525: DUP1
00000526: MLOAD
00000527: SWAP2
00000528: DUP3
00000529: MSTORE
0000052a: MLOAD
0000052b: SWAP1
0000052c: DUP2
0000052d: SWAP1
0000052e: SUB
0000052f: PUSH1 0x20
00000531: ADD
00000532: SWAP1
00000533: RETURN
00000534: JUMPDEST
00000535: CALLVALUE
00000536: ISZERO
00000537: PUSH2 0x053c
0000053a: JUMPI
0000053b: INVALID
0000053c: JUMPDEST
0000053d: PUSH2 0x0291
00000540: PUSH2 0x1507
00000543: JUMP
00000544: JUMPDEST
00000545: PUSH1 0x40
00000547: DUP1
00000548: MLOAD
00000549: SWAP2
0000054a: DUP3
0000054b: MSTORE
0000054c: MLOAD
0000054d: SWAP1
0000054e: DUP2
0000054f: SWAP1
00000550: SUB
00000551: PUSH1 0x20
00000553: ADD
00000554: SWAP1
00000555: RETURN
00000556: JUMPDEST
00000557: CALLVALUE
00000558: ISZERO
00000559: PUSH2 0x055e
0000055c: JUMPI
0000055d: INVALID
0000055e: JUMPDEST
0000055f: PUSH2 0x04a8
00000562: PUSH2 0x150d
00000565: JUMP
00000566: JUMPDEST
00000567: PUSH1 0x40
00000569: DUP1
0000056a: MLOAD
0000056b: PUSH1 0x01
0000056d: PUSH1 0xa0
0000056f: PUSH1 0x02
00000571: EXP
00000572: SUB
00000573: SWAP1
00000574: SWAP3
00000575: AND
00000576: DUP3
00000577: MSTORE
00000578: MLOAD
00000579: SWAP1
0000057a: DUP2
0000057b: SWAP1
0000057c: SUB
0000057d: PUSH1 0x20
0000057f: ADD
00000580: SWAP1
00000581: RETURN
00000582: JUMPDEST
00000583: CALLVALUE
00000584: ISZERO
00000585: PUSH2 0x058a
00000588: JUMPI
00000589: INVALID
0000058a: JUMPDEST
0000058b: PUSH2 0x0291
0000058e: PUSH2 0x151c
00000591: JUMP
00000592: JUMPDEST
00000593: PUSH1 0x40
00000595: DUP1
00000596: MLOAD
00000597: SWAP2
00000598: DUP3
00000599: MSTORE
0000059a: MLOAD
0000059b: SWAP1
0000059c: DUP2
0000059d: SWAP1
0000059e: SUB
0000059f: PUSH1 0x20
000005a1: ADD
000005a2: SWAP1
000005a3: RETURN
000005a4: JUMPDEST
000005a5: CALLVALUE
000005a6: ISZERO
000005a7: PUSH2 0x05ac
000005aa: JUMPI
000005ab: INVALID
000005ac: JUMPDEST
000005ad: PUSH2 0x0291
000005b0: PUSH2 0x1522
000005b3: JUMP
000005b4: JUMPDEST
000005b5: PUSH1 0x40
000005b7: DUP1
000005b8: MLOAD
000005b9: SWAP2
000005ba: DUP3
000005bb: MSTORE
000005bc: MLOAD
000005bd: SWAP1
000005be: DUP2
000005bf: SWAP1
000005c0: SUB
000005c1: PUSH1 0x20
000005c3: ADD
000005c4: SWAP1
000005c5: RETURN
000005c6: JUMPDEST
000005c7: CALLVALUE
000005c8: ISZERO
000005c9: PUSH2 0x05ce
000005cc: JUMPI
000005cd: INVALID
000005ce: JUMPDEST
000005cf: PUSH2 0x0291
000005d2: PUSH2 0x1528
000005d5: JUMP
000005d6: JUMPDEST
000005d7: PUSH1 0x40
000005d9: DUP1
000005da: MLOAD
000005db: SWAP2
000005dc: DUP3
000005dd: MSTORE
000005de: MLOAD
000005df: SWAP1
000005e0: DUP2
000005e1: SWAP1
000005e2: SUB
000005e3: PUSH1 0x20
000005e5: ADD
000005e6: SWAP1
000005e7: RETURN
000005e8: JUMPDEST
000005e9: CALLVALUE
000005ea: ISZERO
000005eb: PUSH2 0x05f0
000005ee: JUMPI
000005ef: INVALID
000005f0: JUMPDEST
000005f1: PUSH2 0x027f
000005f4: PUSH1 0x01
000005f6: PUSH1 0xa0
000005f8: PUSH1 0x02
000005fa: EXP
000005fb: SUB
000005fc: PUSH1 0x04
000005fe: CALLDATALOAD
000005ff: AND
00000600: PUSH2 0x152e
00000603: JUMP
00000604: JUMPDEST
00000605: STOP
00000606: JUMPDEST
00000607: CALLVALUE
00000608: ISZERO
00000609: PUSH2 0x060e
0000060c: JUMPI
0000060d: INVALID
0000060e: JUMPDEST
0000060f: PUSH2 0x04a8
00000612: PUSH2 0x156a
00000615: JUMP
00000616: JUMPDEST
00000617: PUSH1 0x40
00000619: DUP1
0000061a: MLOAD
0000061b: PUSH1 0x01
0000061d: PUSH1 0xa0
0000061f: PUSH1 0x02
00000621: EXP
00000622: SUB
00000623: SWAP1
00000624: SWAP3
00000625: AND
00000626: DUP3
00000627: MSTORE
00000628: MLOAD
00000629: SWAP1
0000062a: DUP2
0000062b: SWAP1
0000062c: SUB
0000062d: PUSH1 0x20
0000062f: ADD
00000630: SWAP1
00000631: RETURN
00000632: JUMPDEST
00000633: CALLVALUE
00000634: ISZERO
00000635: PUSH2 0x063a
00000638: JUMPI
00000639: INVALID
0000063a: JUMPDEST
0000063b: PUSH2 0x04a8
0000063e: PUSH2 0x1579
00000641: JUMP
00000642: JUMPDEST
00000643: PUSH1 0x40
00000645: DUP1
00000646: MLOAD
00000647: PUSH1 0x01
00000649: PUSH1 0xa0
0000064b: PUSH1 0x02
0000064d: EXP
0000064e: SUB
0000064f: SWAP1
00000650: SWAP3
00000651: AND
00000652: DUP3
00000653: MSTORE
00000654: MLOAD
00000655: SWAP1
00000656: DUP2
00000657: SWAP1
00000658: SUB
00000659: PUSH1 0x20
0000065b: ADD
0000065c: SWAP1
0000065d: RETURN
0000065e: JUMPDEST
0000065f: CALLVALUE
00000660: ISZERO
00000661: PUSH2 0x0666
00000664: JUMPI
00000665: INVALID
00000666: JUMPDEST
00000667: PUSH2 0x0291
0000066a: PUSH2 0x1588
0000066d: JUMP
0000066e: JUMPDEST
0000066f: PUSH1 0x40
00000671: DUP1
00000672: MLOAD
00000673: SWAP2
00000674: DUP3
00000675: MSTORE
00000676: MLOAD
00000677: SWAP1
00000678: DUP2
00000679: SWAP1
0000067a: SUB
0000067b: PUSH1 0x20
0000067d: ADD
0000067e: SWAP1
0000067f: RETURN
00000680: JUMPDEST
00000681: CALLVALUE
00000682: ISZERO
00000683: PUSH2 0x0688
00000686: JUMPI
00000687: INVALID
00000688: JUMPDEST
00000689: PUSH2 0x0291
0000068c: PUSH2 0x158e
0000068f: JUMP
00000690: JUMPDEST
00000691: PUSH1 0x40
00000693: DUP1
00000694: MLOAD
00000695: SWAP2
00000696: DUP3
00000697: MSTORE
00000698: MLOAD
00000699: SWAP1
0000069a: DUP2
0000069b: SWAP1
0000069c: SUB
0000069d: PUSH1 0x20
0000069f: ADD
000006a0: SWAP1
000006a1: RETURN
000006a2: JUMPDEST
000006a3: CALLVALUE
000006a4: ISZERO
000006a5: PUSH2 0x06aa
000006a8: JUMPI
000006a9: INVALID
000006aa: JUMPDEST
000006ab: PUSH2 0x0291
000006ae: PUSH2 0x1594
000006b1: JUMP
000006b2: JUMPDEST
000006b3: PUSH1 0x40
000006b5: DUP1
000006b6: MLOAD
000006b7: SWAP2
000006b8: DUP3
000006b9: MSTORE
000006ba: MLOAD
000006bb: SWAP1
000006bc: DUP2
000006bd: SWAP1
000006be: SUB
000006bf: PUSH1 0x20
000006c1: ADD
000006c2: SWAP1
000006c3: RETURN
000006c4: JUMPDEST
000006c5: CALLVALUE
000006c6: ISZERO
000006c7: PUSH2 0x06cc
000006ca: JUMPI
000006cb: INVALID
000006cc: JUMPDEST
000006cd: PUSH2 0x0291
000006d0: PUSH2 0x159a
000006d3: JUMP
000006d4: JUMPDEST
000006d5: PUSH1 0x40
000006d7: DUP1
000006d8: MLOAD
000006d9: SWAP2
000006da: DUP3
000006db: MSTORE
000006dc: MLOAD
000006dd: SWAP1
000006de: DUP2
000006df: SWAP1
000006e0: SUB
000006e1: PUSH1 0x20
000006e3: ADD
000006e4: SWAP1
000006e5: RETURN
000006e6: JUMPDEST
000006e7: CALLVALUE
000006e8: ISZERO
000006e9: PUSH2 0x06ee
000006ec: JUMPI
000006ed: INVALID
000006ee: JUMPDEST
000006ef: PUSH2 0x027f
000006f2: PUSH1 0x01
000006f4: PUSH1 0xa0
000006f6: PUSH1 0x02
000006f8: EXP
000006f9: SUB
000006fa: PUSH1 0x04
000006fc: CALLDATALOAD
000006fd: DUP2
000006fe: AND
000006ff: SWAP1
00000700: PUSH1 0x24
00000702: CALLDATALOAD
00000703: SWAP1
00000704: PUSH1 0x44
00000706: CALLDATALOAD
00000707: AND
00000708: PUSH2 0x15a0
0000070b: JUMP
0000070c: JUMPDEST
0000070d: STOP
0000070e: JUMPDEST
0000070f: CALLVALUE
00000710: ISZERO
00000711: PUSH2 0x0716
00000714: JUMPI
00000715: INVALID
00000716: JUMPDEST
00000717: PUSH2 0x0291
0000071a: PUSH2 0x162a
0000071d: JUMP
0000071e: JUMPDEST
0000071f: PUSH1 0x40
00000721: DUP1
00000722: MLOAD
00000723: SWAP2
00000724: DUP3
00000725: MSTORE
00000726: MLOAD
00000727: SWAP1
00000728: DUP2
00000729: SWAP1
0000072a: SUB
0000072b: PUSH1 0x20
0000072d: ADD
0000072e: SWAP1
0000072f: RETURN
00000730: JUMPDEST
00000731: CALLVALUE
00000732: ISZERO
00000733: PUSH2 0x0738
00000736: JUMPI
00000737: INVALID
00000738: JUMPDEST
00000739: PUSH2 0x0291
0000073c: PUSH2 0x1630
0000073f: JUMP
00000740: JUMPDEST
00000741: PUSH1 0x40
00000743: DUP1
00000744: MLOAD
00000745: SWAP2
00000746: DUP3
00000747: MSTORE
00000748: MLOAD
00000749: SWAP1
0000074a: DUP2
0000074b: SWAP1
0000074c: SUB
0000074d: PUSH1 0x20
0000074f: ADD
00000750: SWAP1
00000751: RETURN
00000752: JUMPDEST
00000753: CALLVALUE
00000754: ISZERO
00000755: PUSH2 0x075a
00000758: JUMPI
00000759: INVALID
0000075a: JUMPDEST
0000075b: PUSH2 0x0291
0000075e: PUSH2 0x1636
00000761: JUMP
00000762: JUMPDEST
00000763: PUSH1 0x40
00000765: DUP1
00000766: MLOAD
00000767: SWAP2
00000768: DUP3
00000769: MSTORE
0000076a: MLOAD
0000076b: SWAP1
0000076c: DUP2
0000076d: SWAP1
0000076e: SUB
0000076f: PUSH1 0x20
00000771: ADD
00000772: SWAP1
00000773: RETURN
00000774: JUMPDEST
00000775: CALLVALUE
00000776: ISZERO
00000777: PUSH2 0x077c
0000077a: JUMPI
0000077b: INVALID
0000077c: JUMPDEST
0000077d: PUSH2 0x0291
00000780: PUSH2 0x163c
00000783: JUMP
00000784: JUMPDEST
00000785: PUSH1 0x40
00000787: DUP1
00000788: MLOAD
00000789: SWAP2
0000078a: DUP3
0000078b: MSTORE
0000078c: MLOAD
0000078d: SWAP1
0000078e: DUP2
0000078f: SWAP1
00000790: SUB
00000791: PUSH1 0x20
00000793: ADD
00000794: SWAP1
00000795: RETURN
00000796: JUMPDEST
00000797: CALLVALUE
00000798: ISZERO
00000799: PUSH2 0x079e
0000079c: JUMPI
0000079d: INVALID
0000079e: JUMPDEST
0000079f: PUSH2 0x04a8
000007a2: PUSH2 0x1642
000007a5: JUMP
000007a6: JUMPDEST
000007a7: PUSH1 0x40
000007a9: DUP1
000007aa: MLOAD
000007ab: PUSH1 0x01
000007ad: PUSH1 0xa0
000007af: PUSH1 0x02
000007b1: EXP
000007b2: SUB
000007b3: SWAP1
000007b4: SWAP3
000007b5: AND
000007b6: DUP3
000007b7: MSTORE
000007b8: MLOAD
000007b9: SWAP1
000007ba: DUP2
000007bb: SWAP1
000007bc: SUB
000007bd: PUSH1 0x20
000007bf: ADD
000007c0: SWAP1
000007c1: RETURN
000007c2: JUMPDEST
000007c3: CALLVALUE
000007c4: ISZERO
000007c5: PUSH2 0x07ca
000007c8: JUMPI
000007c9: INVALID
000007ca: JUMPDEST
000007cb: PUSH2 0x027f
000007ce: PUSH1 0x01
000007d0: PUSH1 0xa0
000007d2: PUSH1 0x02
000007d4: EXP
000007d5: SUB
000007d6: PUSH1 0x04
000007d8: CALLDATALOAD
000007d9: AND
000007da: PUSH1 0x24
000007dc: CALLDATALOAD
000007dd: PUSH2 0x1651
000007e0: JUMP
000007e1: JUMPDEST
000007e2: STOP
000007e3: JUMPDEST
000007e4: CALLVALUE
000007e5: ISZERO
000007e6: PUSH2 0x07eb
000007e9: JUMPI
000007ea: INVALID
000007eb: JUMPDEST
000007ec: PUSH2 0x0291
000007ef: PUSH2 0x16a0
000007f2: JUMP
000007f3: JUMPDEST
000007f4: PUSH1 0x40
000007f6: DUP1
000007f7: MLOAD
000007f8: SWAP2
000007f9: DUP3
000007fa: MSTORE
000007fb: MLOAD
000007fc: SWAP1
000007fd: DUP2
000007fe: SWAP1
000007ff: SUB
00000800: PUSH1 0x20
00000802: ADD
00000803: SWAP1
00000804: RETURN
00000805: JUMPDEST
00000806: CALLVALUE
00000807: ISZERO
00000808: PUSH2 0x080d
0000080b: JUMPI
0000080c: INVALID
0000080d: JUMPDEST
0000080e: PUSH2 0x0291
00000811: PUSH2 0x16a6
00000814: JUMP
00000815: JUMPDEST
00000816: PUSH1 0x40
00000818: DUP1
00000819: MLOAD
0000081a: SWAP2
0000081b: DUP3
0000081c: MSTORE
0000081d: MLOAD
0000081e: SWAP1
0000081f: DUP2
00000820: SWAP1
00000821: SUB
00000822: PUSH1 0x20
00000824: ADD
00000825: SWAP1
00000826: RETURN
00000827: JUMPDEST
00000828: CALLVALUE
00000829: ISZERO
0000082a: PUSH2 0x082f
0000082d: JUMPI
0000082e: INVALID
0000082f: JUMPDEST
00000830: PUSH2 0x04a8
00000833: PUSH2 0x16ac
00000836: JUMP
00000837: JUMPDEST
00000838: PUSH1 0x40
0000083a: DUP1
0000083b: MLOAD
0000083c: PUSH1 0x01
0000083e: PUSH1 0xa0
00000840: PUSH1 0x02
00000842: EXP
00000843: SUB
00000844: SWAP1
00000845: SWAP3
00000846: AND
00000847: DUP3
00000848: MSTORE
00000849: MLOAD
0000084a: SWAP1
0000084b: DUP2
0000084c: SWAP1
0000084d: SUB
0000084e: PUSH1 0x20
00000850: ADD
00000851: SWAP1
00000852: RETURN
00000853: JUMPDEST
00000854: CALLVALUE
00000855: ISZERO
00000856: PUSH2 0x085b
00000859: JUMPI
0000085a: INVALID
0000085b: JUMPDEST
0000085c: PUSH2 0x027f
0000085f: PUSH1 0x04
00000861: CALLDATALOAD
00000862: PUSH1 0x24
00000864: CALLDATALOAD
00000865: PUSH1 0x44
00000867: CALLDATALOAD
00000868: PUSH1 0x64
0000086a: CALLDATALOAD
0000086b: PUSH2 0x16bb
0000086e: JUMP
0000086f: JUMPDEST
00000870: STOP
00000871: JUMPDEST
00000872: CALLVALUE
00000873: ISZERO
00000874: PUSH2 0x0879
00000877: JUMPI
00000878: INVALID
00000879: JUMPDEST
0000087a: PUSH2 0x027f
0000087d: PUSH1 0x01
0000087f: PUSH1 0xa0
00000881: PUSH1 0x02
00000883: EXP
00000884: SUB
00000885: PUSH1 0x04
00000887: CALLDATALOAD
00000888: DUP2
00000889: AND
0000088a: SWAP1
0000088b: PUSH1 0x24
0000088d: CALLDATALOAD
0000088e: SWAP1
0000088f: PUSH1 0x44
00000891: CALLDATALOAD
00000892: SWAP1
00000893: PUSH1 0x64
00000895: CALLDATALOAD
00000896: SWAP1
00000897: PUSH1 0x84
00000899: CALLDATALOAD
0000089a: AND
0000089b: PUSH1 0xa4
0000089d: CALLDATALOAD
0000089e: PUSH1 0xc4
000008a0: CALLDATALOAD
000008a1: PUSH1 0xe4
000008a3: CALLDATALOAD
000008a4: PUSH2 0x16f3
000008a7: JUMP
000008a8: JUMPDEST
000008a9: STOP
000008aa: JUMPDEST
000008ab: CALLVALUE
000008ac: ISZERO
000008ad: PUSH2 0x08b2
000008b0: JUMPI
000008b1: INVALID
000008b2: JUMPDEST
000008b3: PUSH2 0x0291
000008b6: PUSH2 0x1769
000008b9: JUMP
000008ba: JUMPDEST
000008bb: PUSH1 0x40
000008bd: DUP1
000008be: MLOAD
000008bf: SWAP2
000008c0: DUP3
000008c1: MSTORE
000008c2: MLOAD
000008c3: SWAP1
000008c4: DUP2
000008c5: SWAP1
000008c6: SUB
000008c7: PUSH1 0x20
000008c9: ADD
000008ca: SWAP1
000008cb: RETURN
000008cc: JUMPDEST
000008cd: PUSH1 0x00
000008cf: SLOAD
000008d0: PUSH1 0x01
000008d2: PUSH1 0xa0
000008d4: PUSH1 0x02
000008d6: EXP
000008d7: SUB
000008d8: AND
000008d9: ISZERO
000008da: DUP1
000008db: PUSH2 0x08f6
000008de: JUMPI
000008df: POP
000008e0: PUSH1 0x00
000008e2: SLOAD
000008e3: PUSH2 0x08f4
000008e6: SWAP1
000008e7: PUSH1 0x01
000008e9: PUSH1 0xa0
000008eb: PUSH1 0x02
000008ed: EXP
000008ee: SUB
000008ef: AND
000008f0: PUSH2 0x176f
000008f3: JUMP
000008f4: JUMPDEST
000008f5: ISZERO
000008f6: JUMPDEST
000008f7: ISZERO
000008f8: PUSH2 0x0905
000008fb: JUMPI
000008fc: PUSH2 0x0903
000008ff: PUSH2 0x1777
00000902: JUMP
00000903: JUMPDEST
00000904: POP
00000905: JUMPDEST
00000906: PUSH1 0x00
00000908: PUSH1 0x00
0000090a: SWAP1
0000090b: SLOAD
0000090c: SWAP1
0000090d: PUSH2 0x0100
00000910: EXP
00000911: SWAP1
00000912: DIV
00000913: PUSH1 0x01
00000915: PUSH1 0xa0
00000917: PUSH1 0x02
00000919: EXP
0000091a: SUB
0000091b: AND
0000091c: PUSH1 0x01
0000091e: PUSH1 0xa0
00000920: PUSH1 0x02
00000922: EXP
00000923: SUB
00000924: AND
00000925: PUSH4 0x38cc4831
0000092a: PUSH1 0x00
0000092c: PUSH1 0x40
0000092e: MLOAD
0000092f: PUSH1 0x20
00000931: ADD
00000932: MSTORE
00000933: PUSH1 0x40
00000935: MLOAD
00000936: DUP2
00000937: PUSH4 0xffffffff
0000093c: AND
0000093d: PUSH1 0xe0
0000093f: PUSH1 0x02
00000941: EXP
00000942: MUL
00000943: DUP2
00000944: MSTORE
00000945: PUSH1 0x04
00000947: ADD
00000948: DUP1
00000949: SWAP1
0000094a: POP
0000094b: PUSH1 0x20
0000094d: PUSH1 0x40
0000094f: MLOAD
00000950: DUP1
00000951: DUP4
00000952: SUB
00000953: DUP2
00000954: PUSH1 0x00
00000956: DUP8
00000957: DUP1
00000958: EXTCODESIZE
00000959: ISZERO
0000095a: ISZERO
0000095b: PUSH2 0x0960
0000095e: JUMPI
0000095f: INVALID
00000960: JUMPDEST
00000961: PUSH2 0x02c6
00000964: GAS
00000965: SUB
00000966: CALL
00000967: ISZERO
00000968: ISZERO
00000969: PUSH2 0x096e
0000096c: JUMPI
0000096d: INVALID
0000096e: JUMPDEST
0000096f: POP
00000970: POP
00000971: PUSH1 0x40
00000973: DUP1
00000974: MLOAD
00000975: DUP1
00000976: MLOAD
00000977: PUSH1 0x01
00000979: DUP1
0000097a: SLOAD
0000097b: PUSH1 0x01
0000097d: PUSH1 0xa0
0000097f: PUSH1 0x02
00000981: EXP
00000982: SUB
00000983: NOT
00000984: AND
00000985: PUSH1 0x01
00000987: PUSH1 0xa0
00000989: PUSH1 0x02
0000098b: EXP
0000098c: SUB
0000098d: SWAP3
0000098e: DUP4
0000098f: AND
00000990: OR
00000991: SWAP1
00000992: DUP2
00000993: SWAP1
00000994: SSTORE
00000995: PUSH32 0x688dcfd700000000000000000000000000000000000000000000000000000000
000009b6: DUP4
000009b7: MSTORE
000009b8: PUSH32 0xff00000000000000000000000000000000000000000000000000000000000000
000009d9: DUP7
000009da: AND
000009db: PUSH1 0x04
000009dd: DUP5
000009de: ADD
000009df: MSTORE
000009e0: SWAP3
000009e1: MLOAD
000009e2: SWAP3
000009e3: AND
000009e4: SWAP3
000009e5: POP
000009e6: PUSH4 0x688dcfd7
000009eb: SWAP2
000009ec: PUSH1 0x24
000009ee: DUP1
000009ef: DUP4
000009f0: ADD
000009f1: SWAP3
000009f2: PUSH1 0x00
000009f4: SWAP3
000009f5: SWAP2
000009f6: SWAP1
000009f7: DUP3
000009f8: SWAP1
000009f9: SUB
000009fa: ADD
000009fb: DUP2
000009fc: DUP4
000009fd: DUP8
000009fe: DUP1
000009ff: EXTCODESIZE
00000a00: ISZERO
00000a01: ISZERO
00000a02: PUSH2 0x0a07
00000a05: JUMPI
00000a06: INVALID
00000a07: JUMPDEST
00000a08: PUSH2 0x02c6
00000a0b: GAS
00000a0c: SUB
00000a0d: CALL
00000a0e: ISZERO
00000a0f: ISZERO
00000a10: PUSH2 0x0a15
00000a13: JUMPI
00000a14: INVALID
00000a15: JUMPDEST
00000a16: POP
00000a17: POP
00000a18: POP
00000a19: JUMPDEST
00000a1a: JUMPDEST
00000a1b: POP
00000a1c: JUMP
00000a1d: JUMPDEST
00000a1e: PUSH1 0x00
00000a20: PUSH2 0x0a27
00000a23: PUSH2 0x3457
00000a26: JUMP
00000a27: JUMPDEST
00000a28: PUSH2 0x0a2f
00000a2b: PUSH2 0x3457
00000a2e: JUMP
00000a2f: JUMPDEST
00000a30: PUSH2 0x0a37
00000a33: PUSH2 0x3457
00000a36: JUMP
00000a37: JUMPDEST
00000a38: PUSH1 0x00
00000a3a: PUSH2 0x0a41
00000a3d: PUSH2 0x3469
00000a40: JUMP
00000a41: JUMPDEST
00000a42: PUSH1 0x00
00000a44: DUP9
00000a45: ISZERO
00000a46: DUP1
00000a47: PUSH2 0x0a50
00000a4a: JUMPI
00000a4b: POP
00000a4c: PUSH1 0x20
00000a4e: DUP10
00000a4f: GT
00000a50: JUMPDEST
00000a51: ISZERO
00000a52: PUSH2 0x0a5b
00000a55: JUMPI
00000a56: PUSH1 0x00
00000a58: PUSH1 0x00
00000a5a: REVERT
00000a5b: JUMPDEST
00000a5c: PUSH1 0x01
00000a5e: PUSH1 0x40
00000a60: MLOAD
00000a61: DUP1
00000a62: MSIZE
00000a63: LT
00000a64: PUSH2 0x0a6a
00000a67: JUMPI
00000a68: POP
00000a69: MSIZE
00000a6a: JUMPDEST
00000a6b: SWAP1
00000a6c: DUP1
00000a6d: DUP3
00000a6e: MSTORE
00000a6f: DUP1
00000a70: PUSH1 0x20
00000a72: MUL
00000a73: PUSH1 0x20
00000a75: ADD
00000a76: DUP3
00000a77: ADD
00000a78: PUSH1 0x40
00000a7a: MSTORE
00000a7b: JUMPDEST
00000a7c: POP
00000a7d: SWAP6
00000a7e: POP
00000a7f: DUP9
00000a80: PUSH1 0xf8
00000a82: PUSH1 0x02
00000a84: EXP
00000a85: MUL
00000a86: DUP7
00000a87: PUSH1 0x00
00000a89: DUP2
00000a8a: MLOAD
00000a8b: DUP2
00000a8c: LT
00000a8d: ISZERO
00000a8e: ISZERO
00000a8f: PUSH2 0x0a94
00000a92: JUMPI
00000a93: INVALID
00000a94: JUMPDEST
00000a95: SWAP1
00000a96: PUSH1 0x20
00000a98: ADD
00000a99: ADD
00000a9a: SWAP1
00000a9b: PUSH1 0x01
00000a9d: PUSH1 0xf8
00000a9f: PUSH1 0x02
00000aa1: EXP
00000aa2: SUB
00000aa3: NOT
00000aa4: AND
00000aa5: SWAP1
00000aa6: DUP2
00000aa7: PUSH1 0x00
00000aa9: BYTE
00000aaa: SWAP1
00000aab: MSTORE8
00000aac: POP
00000aad: PUSH1 0x20
00000aaf: PUSH1 0x40
00000ab1: MLOAD
00000ab2: DUP1
00000ab3: MSIZE
00000ab4: LT
00000ab5: PUSH2 0x0abb
00000ab8: JUMPI
00000ab9: POP
00000aba: MSIZE
00000abb: JUMPDEST
00000abc: SWAP1
00000abd: DUP1
00000abe: DUP3
00000abf: MSTORE
00000ac0: DUP1
00000ac1: PUSH1 0x20
00000ac3: MUL
00000ac4: PUSH1 0x20
00000ac6: ADD
00000ac7: DUP3
00000ac8: ADD
00000ac9: PUSH1 0x40
00000acb: MSTORE
00000acc: JUMPDEST
00000acd: POP
00000ace: SWAP5
00000acf: POP
00000ad0: PUSH1 0x20
00000ad2: PUSH1 0x40
00000ad4: MLOAD
00000ad5: DUP1
00000ad6: MSIZE
00000ad7: LT
00000ad8: PUSH2 0x0ade
00000adb: JUMPI
00000adc: POP
00000add: MSIZE
00000ade: JUMPDEST
00000adf: SWAP1
00000ae0: DUP1
00000ae1: DUP3
00000ae2: MSTORE
00000ae3: DUP1
00000ae4: PUSH1 0x20
00000ae6: MUL
00000ae7: PUSH1 0x20
00000ae9: ADD
00000aea: DUP3
00000aeb: ADD
00000aec: PUSH1 0x40
00000aee: MSTORE
00000aef: JUMPDEST
00000af0: POP
00000af1: SWAP4
00000af2: POP
00000af3: PUSH2 0x0afa
00000af6: PUSH2 0x1ab9
00000af9: JUMP
00000afa: JUMPDEST
00000afb: SWAP3
00000afc: POP
00000afd: PUSH1 0x20
00000aff: DUP6
00000b00: MSTORE
00000b01: TIMESTAMP
00000b02: COINBASE
00000b03: XOR
00000b04: PUSH1 0x01
00000b06: NUMBER
00000b07: SUB
00000b08: BLOCKHASH
00000b09: XOR
00000b0a: PUSH1 0x20
00000b0c: DUP7
00000b0d: ADD
00000b0e: MSTORE
00000b0f: PUSH1 0x20
00000b11: DUP5
00000b12: MSTORE
00000b13: DUP3
00000b14: PUSH1 0x20
00000b16: DUP6
00000b17: ADD
00000b18: MSTORE
00000b19: PUSH1 0x60
00000b1b: PUSH1 0x40
00000b1d: MLOAD
00000b1e: SWAP1
00000b1f: DUP2
00000b20: ADD
00000b21: PUSH1 0x40
00000b23: MSTORE
00000b24: DUP1
00000b25: DUP7
00000b26: DUP2
00000b27: MSTORE
00000b28: PUSH1 0x20
00000b2a: ADD
00000b2b: DUP8
00000b2c: DUP2
00000b2d: MSTORE
00000b2e: PUSH1 0x20
00000b30: ADD
00000b31: DUP6
00000b32: DUP2
00000b33: MSTORE
00000b34: POP
00000b35: SWAP2
00000b36: POP
00000b37: PUSH2 0x0b78
00000b3a: DUP11
00000b3b: PUSH1 0x40
00000b3d: PUSH1 0x40
00000b3f: MLOAD
00000b40: SWAP1
00000b41: DUP2
00000b42: ADD
00000b43: PUSH1 0x40
00000b45: MSTORE
00000b46: DUP1
00000b47: PUSH1 0x06
00000b49: DUP2
00000b4a: MSTORE
00000b4b: PUSH1 0x20
00000b4d: ADD
00000b4e: PUSH32 0x72616e646f6d0000000000000000000000000000000000000000000000000000
00000b6f: DUP2
00000b70: MSTORE
00000b71: POP
00000b72: DUP5
00000b73: DUP12
00000b74: PUSH2 0x1bf5
00000b77: JUMP
00000b78: JUMPDEST
00000b79: SWAP1
00000b7a: POP
00000b7b: PUSH2 0x0d1d
00000b7e: DUP2
00000b7f: PUSH25 0x01000000000000000000000000000000000000000000000000
00000b99: DUP13
00000b9a: MUL
00000b9b: DUP5
00000b9c: PUSH1 0x01
00000b9e: JUMPDEST
00000b9f: PUSH1 0x20
00000ba1: MUL
00000ba2: ADD
00000ba3: MLOAD
00000ba4: PUSH1 0x02
00000ba6: DUP7
00000ba7: PUSH1 0x00
00000ba9: JUMPDEST
00000baa: PUSH1 0x20
00000bac: MUL
00000bad: ADD
00000bae: MLOAD
00000baf: PUSH1 0x00
00000bb1: PUSH1 0x40
00000bb3: MLOAD
00000bb4: PUSH1 0x20
00000bb6: ADD
00000bb7: MSTORE
00000bb8: PUSH1 0x40
00000bba: MLOAD
00000bbb: DUP1
00000bbc: DUP3
00000bbd: DUP1
00000bbe: MLOAD
00000bbf: SWAP1
00000bc0: PUSH1 0x20
00000bc2: ADD
00000bc3: SWAP1
00000bc4: DUP1
00000bc5: DUP4
00000bc6: DUP4
00000bc7: JUMPDEST
00000bc8: PUSH1 0x20
00000bca: DUP4
00000bcb: LT
00000bcc: PUSH2 0x0be6
00000bcf: JUMPI
00000bd0: DUP1
00000bd1: MLOAD
00000bd2: DUP3
00000bd3: MSTORE
00000bd4: PUSH1 0x1f
00000bd6: NOT
00000bd7: SWAP1
00000bd8: SWAP3
00000bd9: ADD
00000bda: SWAP2
00000bdb: PUSH1 0x20
00000bdd: SWAP2
00000bde: DUP3
00000bdf: ADD
00000be0: SWAP2
00000be1: ADD
00000be2: PUSH2 0x0bc7
00000be5: JUMP
00000be6: JUMPDEST
00000be7: MLOAD
00000be8: DUP2
00000be9: MLOAD
00000bea: PUSH1 0x20
00000bec: SWAP4
00000bed: DUP5
00000bee: SUB
00000bef: PUSH2 0x0100
00000bf2: EXP
00000bf3: PUSH1 0x00
00000bf5: NOT
00000bf6: ADD
00000bf7: DUP1
00000bf8: NOT
00000bf9: SWAP1
00000bfa: SWAP3
00000bfb: AND
00000bfc: SWAP2
00000bfd: AND
00000bfe: OR
00000bff: SWAP1
00000c00: MSTORE
00000c01: PUSH1 0x40
00000c03: MLOAD
00000c04: SWAP2
00000c05: SWAP1
00000c06: SWAP4
00000c07: ADD
00000c08: SWAP5
00000c09: POP
00000c0a: SWAP2
00000c0b: SWAP3
00000c0c: POP
00000c0d: POP
00000c0e: DUP1
00000c0f: DUP4
00000c10: SUB
00000c11: DUP2
00000c12: PUSH1 0x00
00000c14: DUP7
00000c15: PUSH2 0x646e
00000c18: GAS
00000c19: SUB
00000c1a: CALL
00000c1b: ISZERO
00000c1c: ISZERO
00000c1d: PUSH2 0x0c22
00000c20: JUMPI
00000c21: INVALID
00000c22: JUMPDEST
00000c23: POP
00000c24: POP
00000c25: PUSH1 0x40
00000c27: MLOAD
00000c28: MLOAD
00000c29: DUP7
00000c2a: PUSH1 0x02
00000c2c: JUMPDEST
00000c2d: PUSH1 0x20
00000c2f: MUL
00000c30: ADD
00000c31: MLOAD
00000c32: PUSH1 0x40
00000c34: MLOAD
00000c35: DUP1
00000c36: DUP6
00000c37: PUSH24 0xffffffffffffffffffffffffffffffffffffffffffffffff
00000c50: NOT
00000c51: AND
00000c52: PUSH24 0xffffffffffffffffffffffffffffffffffffffffffffffff
00000c6b: NOT
00000c6c: AND
00000c6d: DUP2
00000c6e: MSTORE
00000c6f: PUSH1 0x08
00000c71: ADD
00000c72: DUP5
00000c73: DUP1
00000c74: MLOAD
00000c75: SWAP1
00000c76: PUSH1 0x20
00000c78: ADD
00000c79: SWAP1
00000c7a: DUP1
00000c7b: DUP4
00000c7c: DUP4
00000c7d: JUMPDEST
00000c7e: PUSH1 0x20
00000c80: DUP4
00000c81: LT
00000c82: PUSH2 0x0c9c
00000c85: JUMPI
00000c86: DUP1
00000c87: MLOAD
00000c88: DUP3
00000c89: MSTORE
00000c8a: PUSH1 0x1f
00000c8c: NOT
00000c8d: SWAP1
00000c8e: SWAP3
00000c8f: ADD
00000c90: SWAP2
00000c91: PUSH1 0x20
00000c93: SWAP2
00000c94: DUP3
00000c95: ADD
00000c96: SWAP2
00000c97: ADD
00000c98: PUSH2 0x0c7d
00000c9b: JUMP
00000c9c: JUMPDEST
00000c9d: MLOAD
00000c9e: DUP2
00000c9f: MLOAD
00000ca0: PUSH1 0x20
00000ca2: SWAP4
00000ca3: DUP5
00000ca4: SUB
00000ca5: PUSH2 0x0100
00000ca8: EXP
00000ca9: PUSH1 0x00
00000cab: NOT
00000cac: ADD
00000cad: DUP1
00000cae: NOT
00000caf: SWAP1
00000cb0: SWAP3
00000cb1: AND
00000cb2: SWAP2
00000cb3: AND
00000cb4: OR
00000cb5: SWAP1
00000cb6: MSTORE
00000cb7: SWAP3
00000cb8: ADD
00000cb9: DUP6
00000cba: DUP2
00000cbb: MSTORE
00000cbc: DUP5
00000cbd: MLOAD
00000cbe: SWAP1
00000cbf: DUP4
00000cc0: ADD
00000cc1: SWAP3
00000cc2: DUP6
00000cc3: ADD
00000cc4: SWAP2
00000cc5: POP
00000cc6: DUP1
00000cc7: DUP4
00000cc8: DUP4
00000cc9: JUMPDEST
00000cca: PUSH1 0x20
00000ccc: DUP4
00000ccd: LT
00000cce: PUSH2 0x0ce8
00000cd1: JUMPI
00000cd2: DUP1
00000cd3: MLOAD
00000cd4: DUP3
00000cd5: MSTORE
00000cd6: PUSH1 0x1f
00000cd8: NOT
00000cd9: SWAP1
00000cda: SWAP3
00000cdb: ADD
00000cdc: SWAP2
00000cdd: PUSH1 0x20
00000cdf: SWAP2
00000ce0: DUP3
00000ce1: ADD
00000ce2: SWAP2
00000ce3: ADD
00000ce4: PUSH2 0x0cc9
00000ce7: JUMP
00000ce8: JUMPDEST
00000ce9: PUSH1 0x01
00000ceb: DUP4
00000cec: PUSH1 0x20
00000cee: SUB
00000cef: PUSH2 0x0100
00000cf2: EXP
00000cf3: SUB
00000cf4: DUP1
00000cf5: NOT
00000cf6: DUP3
00000cf7: MLOAD
00000cf8: AND
00000cf9: DUP2
00000cfa: DUP5
00000cfb: MLOAD
00000cfc: AND
00000cfd: DUP1
00000cfe: DUP3
00000cff: OR
00000d00: DUP6
00000d01: MSTORE
00000d02: POP
00000d03: POP
00000d04: POP
00000d05: POP
00000d06: POP
00000d07: POP
00000d08: SWAP1
00000d09: POP
00000d0a: ADD
00000d0b: SWAP5
00000d0c: POP
00000d0d: POP
00000d0e: POP
00000d0f: POP
00000d10: POP
00000d11: PUSH1 0x40
00000d13: MLOAD
00000d14: DUP1
00000d15: SWAP2
00000d16: SUB
00000d17: SWAP1
00000d18: KECCAK256
00000d19: PUSH2 0x1d8d
00000d1c: JUMP
00000d1d: JUMPDEST
00000d1e: DUP1
00000d1f: SWAP7
00000d20: POP
00000d21: JUMPDEST
00000d22: POP
00000d23: POP
00000d24: POP
00000d25: POP
00000d26: POP
00000d27: POP
00000d28: SWAP4
00000d29: SWAP3
00000d2a: POP
00000d2b: POP
00000d2c: POP
00000d2d: JUMP
00000d2e: JUMPDEST
00000d2f: PUSH1 0x1d
00000d31: SLOAD
00000d32: DUP2
00000d33: JUMP
00000d34: JUMPDEST
00000d35: PUSH1 0x0b
00000d37: SLOAD
00000d38: CALLER
00000d39: PUSH1 0x01
00000d3b: PUSH1 0xa0
00000d3d: PUSH1 0x02
00000d3f: EXP
00000d40: SUB
00000d41: SWAP1
00000d42: DUP2
00000d43: AND
00000d44: SWAP2
00000d45: AND
00000d46: EQ
00000d47: PUSH2 0x0d50
00000d4a: JUMPI
00000d4b: PUSH1 0x00
00000d4d: PUSH1 0x00
00000d4f: REVERT
00000d50: JUMPDEST
00000d51: PUSH1 0x06
00000d53: DUP1
00000d54: SLOAD
00000d55: PUSH1 0x01
00000d57: PUSH1 0xa0
00000d59: PUSH1 0x02
00000d5b: EXP
00000d5c: SUB
00000d5d: DUP1
00000d5e: DUP6
00000d5f: AND
00000d60: PUSH1 0x01
00000d62: PUSH1 0xa0
00000d64: PUSH1 0x02
00000d66: EXP
00000d67: SUB
00000d68: NOT
00000d69: SWAP3
00000d6a: DUP4
00000d6b: AND
00000d6c: OR
00000d6d: SWAP1
00000d6e: SWAP3
00000d6f: SSTORE
00000d70: PUSH1 0x11
00000d72: DUP4
00000d73: SWAP1
00000d74: SSTORE
00000d75: PUSH1 0x05
00000d77: DUP1
00000d78: SLOAD
00000d79: SWAP3
00000d7a: DUP8
00000d7b: AND
00000d7c: SWAP3
00000d7d: SWAP1
00000d7e: SWAP2
00000d7f: AND
00000d80: SWAP2
00000d81: SWAP1
00000d82: SWAP2
00000d83: OR
00000d84: SWAP1
00000d85: SSTORE
00000d86: PUSH1 0x10
00000d88: DUP4
00000d89: SWAP1
00000d8a: SSTORE
00000d8b: JUMPDEST
00000d8c: JUMPDEST
00000d8d: POP
00000d8e: POP
00000d8f: POP
00000d90: POP
00000d91: JUMP
00000d92: JUMPDEST
00000d93: PUSH1 0x0c
00000d95: SLOAD
00000d96: DUP2
00000d97: JUMP
00000d98: JUMPDEST
00000d99: PUSH1 0x0b
00000d9b: SLOAD
00000d9c: CALLER
00000d9d: PUSH1 0x01
00000d9f: PUSH1 0xa0
00000da1: PUSH1 0x02
00000da3: EXP
00000da4: SUB
00000da5: SWAP1
00000da6: DUP2
00000da7: AND
00000da8: SWAP2
00000da9: AND
00000daa: EQ
00000dab: PUSH2 0x0db4
00000dae: JUMPI
00000daf: PUSH1 0x00
00000db1: PUSH1 0x00
00000db3: REVERT
00000db4: JUMPDEST
00000db5: PUSH1 0x16
00000db7: DUP5
00000db8: SWAP1
00000db9: SSTORE
00000dba: PUSH1 0x0f
00000dbc: DUP4
00000dbd: SWAP1
00000dbe: SSTORE
00000dbf: PUSH1 0x17
00000dc1: DUP3
00000dc2: SWAP1
00000dc3: SSTORE
00000dc4: PUSH1 0x18
00000dc6: DUP2
00000dc7: SWAP1
00000dc8: SSTORE
00000dc9: JUMPDEST
00000dca: JUMPDEST
00000dcb: POP
00000dcc: POP
00000dcd: POP
00000dce: POP
00000dcf: JUMP
00000dd0: JUMPDEST
00000dd1: PUSH2 0x0dfb
00000dd4: DUP3
00000dd5: DUP3
00000dd6: PUSH1 0x00
00000dd8: PUSH1 0x40
00000dda: MLOAD
00000ddb: DUP1
00000ddc: MSIZE
00000ddd: LT
00000dde: PUSH2 0x0de4
00000de1: JUMPI
00000de2: POP
00000de3: MSIZE
00000de4: JUMPDEST
00000de5: SWAP1
00000de6: DUP1
00000de7: DUP3
00000de8: MSTORE
00000de9: DUP1
00000dea: PUSH1 0x20
00000dec: MUL
00000ded: PUSH1 0x20
00000def: ADD
00000df0: DUP3
00000df1: ADD
00000df2: PUSH1 0x40
00000df4: MSTORE
00000df5: JUMPDEST
00000df6: POP
00000df7: PUSH2 0x0e7c
00000dfa: JUMP
00000dfb: JUMPDEST
00000dfc: JUMPDEST
00000dfd: POP
00000dfe: POP
00000dff: JUMP
00000e00: JUMPDEST
00000e01: PUSH1 0x0b
00000e03: SLOAD
00000e04: CALLER
00000e05: PUSH1 0x01
00000e07: PUSH1 0xa0
00000e09: PUSH1 0x02
00000e0b: EXP
00000e0c: SUB
00000e0d: SWAP1
00000e0e: DUP2
00000e0f: AND
00000e10: SWAP2
00000e11: AND
00000e12: EQ
00000e13: PUSH2 0x0e1c
00000e16: JUMPI
00000e17: PUSH1 0x00
00000e19: PUSH1 0x00
00000e1b: REVERT
00000e1c: JUMPDEST
00000e1d: PUSH1 0x07
00000e1f: DUP1
00000e20: SLOAD
00000e21: PUSH1 0x01
00000e23: PUSH1 0xa0
00000e25: PUSH1 0x02
00000e27: EXP
00000e28: SUB
00000e29: DUP1
00000e2a: DUP11
00000e2b: AND
00000e2c: PUSH1 0x01
00000e2e: PUSH1 0xa0
00000e30: PUSH1 0x02
00000e32: EXP
00000e33: SUB
00000e34: NOT
00000e35: SWAP3
00000e36: DUP4
00000e37: AND
00000e38: OR
00000e39: SWAP1
00000e3a: SWAP3
00000e3b: SSTORE
00000e3c: PUSH1 0x12
00000e3e: DUP9
00000e3f: SWAP1
00000e40: SSTORE
00000e41: PUSH1 0x1a
00000e43: DUP8
00000e44: SWAP1
00000e45: SSTORE
00000e46: PUSH1 0x08
00000e48: DUP1
00000e49: SLOAD
00000e4a: SWAP3
00000e4b: DUP8
00000e4c: AND
00000e4d: SWAP3
00000e4e: SWAP1
00000e4f: SWAP2
00000e50: AND
00000e51: SWAP2
00000e52: SWAP1
00000e53: SWAP2
00000e54: OR
00000e55: SWAP1
00000e56: SSTORE
00000e57: PUSH1 0x13
00000e59: DUP4
00000e5a: SWAP1
00000e5b: SSTORE
00000e5c: PUSH1 0x1b
00000e5e: DUP3
00000e5f: SWAP1
00000e60: SSTORE
00000e61: PUSH1 0x1c
00000e63: DUP2
00000e64: SWAP1
00000e65: SSTORE
00000e66: JUMPDEST
00000e67: JUMPDEST
00000e68: POP
00000e69: POP
00000e6a: POP
00000e6b: POP
00000e6c: POP
00000e6d: POP
00000e6e: POP
00000e6f: JUMP
00000e70: JUMPDEST
00000e71: PUSH1 0x0d
00000e73: SLOAD
00000e74: DUP2
00000e75: JUMP
00000e76: JUMPDEST
00000e77: PUSH1 0x1f
00000e79: SLOAD
00000e7a: DUP2
00000e7b: JUMP
00000e7c: JUMPDEST
00000e7d: PUSH1 0x00
00000e7f: PUSH1 0x00
00000e81: PUSH1 0x00
00000e83: PUSH2 0x0e8a
00000e86: PUSH2 0x1da3
00000e89: JUMP
00000e8a: JUMPDEST
00000e8b: PUSH1 0x01
00000e8d: PUSH1 0xa0
00000e8f: PUSH1 0x02
00000e91: EXP
00000e92: SUB
00000e93: AND
00000e94: CALLER
00000e95: PUSH1 0x01
00000e97: PUSH1 0xa0
00000e99: PUSH1 0x02
00000e9b: EXP
00000e9c: SUB
00000e9d: AND
00000e9e: EQ
00000e9f: ISZERO
00000ea0: ISZERO
00000ea1: PUSH2 0x0eaa
00000ea4: JUMPI
00000ea5: PUSH1 0x00
00000ea7: PUSH1 0x00
00000ea9: REVERT
00000eaa: JUMPDEST
00000eab: PUSH1 0x00
00000ead: DUP7
00000eae: DUP2
00000eaf: MSTORE
00000eb0: PUSH1 0x23
00000eb2: PUSH1 0x20
00000eb4: MSTORE
00000eb5: PUSH1 0x40
00000eb7: SWAP1
00000eb8: KECCAK256
00000eb9: SLOAD
00000eba: SWAP3
00000ebb: POP
00000ebc: PUSH2 0x0ec6
00000ebf: DUP7
00000ec0: DUP7
00000ec1: DUP7
00000ec2: PUSH2 0x1edf
00000ec5: JUMP
00000ec6: JUMPDEST
00000ec7: PUSH1 0xff
00000ec9: AND
00000eca: ISZERO
00000ecb: ISZERO
00000ecc: DUP1
00000ecd: PUSH2 0x0ed5
00000ed0: JUMPI
00000ed1: POP
00000ed2: DUP4
00000ed3: MLOAD
00000ed4: ISZERO
00000ed5: JUMPDEST
00000ed6: ISZERO
00000ed7: PUSH2 0x0f96
00000eda: JUMPI
00000edb: PUSH1 0x00
00000edd: DUP7
00000ede: DUP2
00000edf: MSTORE
00000ee0: PUSH1 0x22
00000ee2: PUSH1 0x20
00000ee4: SWAP1
00000ee5: DUP2
00000ee6: MSTORE
00000ee7: PUSH1 0x40
00000ee9: SWAP2
00000eea: DUP3
00000eeb: SWAP1
00000eec: KECCAK256
00000eed: SLOAD
00000eee: DUP3
00000eef: MLOAD
00000ef0: PUSH1 0x01
00000ef2: PUSH1 0xa0
00000ef4: PUSH1 0x02
00000ef6: EXP
00000ef7: SUB
00000ef8: SWAP1
00000ef9: SWAP2
00000efa: AND
00000efb: DUP2
00000efc: MSTORE
00000efd: SWAP1
00000efe: DUP2
00000eff: ADD
00000f00: DUP6
00000f01: SWAP1
00000f02: MSTORE
00000f03: DUP2
00000f04: MLOAD
00000f05: PUSH32 0x427b72fca4193f9fe2e07cfe6c71cb39608e62981f4ecd49ff77fa7e3bd47901
00000f26: SWAP3
00000f27: SWAP2
00000f28: DUP2
00000f29: SWAP1
00000f2a: SUB
00000f2b: SWAP1
00000f2c: SWAP2
00000f2d: ADD
00000f2e: SWAP1
00000f2f: LOG1
00000f30: PUSH1 0x00
00000f32: DUP7
00000f33: DUP2
00000f34: MSTORE
00000f35: PUSH1 0x22
00000f37: PUSH1 0x20
00000f39: MSTORE
00000f3a: PUSH1 0x40
00000f3c: DUP1
00000f3d: DUP3
00000f3e: KECCAK256
00000f3f: SLOAD
00000f40: SWAP1
00000f41: MLOAD
00000f42: PUSH1 0x01
00000f44: PUSH1 0xa0
00000f46: PUSH1 0x02
00000f48: EXP
00000f49: SUB
00000f4a: SWAP1
00000f4b: SWAP2
00000f4c: AND
00000f4d: SWAP2
00000f4e: DUP6
00000f4f: ISZERO
00000f50: PUSH2 0x08fc
00000f53: MUL
00000f54: SWAP2
00000f55: DUP7
00000f56: SWAP2
00000f57: DUP2
00000f58: DUP2
00000f59: DUP2
00000f5a: DUP6
00000f5b: DUP9
00000f5c: DUP9
00000f5d: CALL
00000f5e: SWAP4
00000f5f: POP
00000f60: POP
00000f61: POP
00000f62: POP
00000f63: ISZERO
00000f64: ISZERO
00000f65: PUSH2 0x0f6a
00000f68: JUMPI
00000f69: INVALID
00000f6a: JUMPDEST
00000f6b: PUSH1 0x00
00000f6d: DUP7
00000f6e: DUP2
00000f6f: MSTORE
00000f70: PUSH1 0x22
00000f72: PUSH1 0x20
00000f74: SWAP1
00000f75: DUP2
00000f76: MSTORE
00000f77: PUSH1 0x40
00000f79: DUP1
00000f7a: DUP4
00000f7b: KECCAK256
00000f7c: DUP1
00000f7d: SLOAD
00000f7e: PUSH1 0x01
00000f80: PUSH1 0xa0
00000f82: PUSH1 0x02
00000f84: EXP
00000f85: SUB
00000f86: NOT
00000f87: AND
00000f88: SWAP1
00000f89: SSTORE
00000f8a: PUSH1 0x23
00000f8c: SWAP1
00000f8d: SWAP2
00000f8e: MSTORE
00000f8f: DUP2
00000f90: KECCAK256
00000f91: SSTORE
00000f92: PUSH2 0x14cd
00000f95: JUMP
00000f96: JUMPDEST
00000f97: PUSH1 0x00
00000f99: DUP7
00000f9a: DUP2
00000f9b: MSTORE
00000f9c: PUSH1 0x22
00000f9e: PUSH1 0x20
00000fa0: SWAP1
00000fa1: DUP2
00000fa2: MSTORE
00000fa3: PUSH1 0x40
00000fa5: SWAP2
00000fa6: DUP3
00000fa7: SWAP1
00000fa8: KECCAK256
00000fa9: SLOAD
00000faa: DUP3
00000fab: MLOAD
00000fac: PUSH1 0x01
00000fae: PUSH1 0xa0
00000fb0: PUSH1 0x02
00000fb2: EXP
00000fb3: SUB
00000fb4: SWAP1
00000fb5: SWAP2
00000fb6: AND
00000fb7: DUP2
00000fb8: DUP4
00000fb9: ADD
00000fba: DUP2
00000fbb: SWAP1
00000fbc: MSTORE
00000fbd: SWAP3
00000fbe: DUP2
00000fbf: ADD
00000fc0: DUP7
00000fc1: SWAP1
00000fc2: MSTORE
00000fc3: PUSH1 0x60
00000fc5: DUP1
00000fc6: DUP3
00000fc7: MSTORE
00000fc8: DUP9
00000fc9: MLOAD
00000fca: SWAP1
00000fcb: DUP3
00000fcc: ADD
00000fcd: MSTORE
00000fce: DUP8
00000fcf: MLOAD
00000fd0: PUSH32 0x415dd7d82991e4e21ecad382aa50f383797032ba19813f9f525fffdc6941d477
00000ff1: SWAP4
00000ff2: DUP10
00000ff3: SWAP4
00000ff4: SWAP1
00000ff5: SWAP3
00000ff6: DUP9
00000ff7: SWAP3
00000ff8: SWAP1
00000ff9: SWAP2
00000ffa: DUP3
00000ffb: SWAP2
00000ffc: PUSH1 0x80
00000ffe: DUP4
00000fff: ADD
00001000: SWAP2
00001001: DUP8
00001002: ADD
00001003: SWAP1
00001004: DUP1
00001005: DUP4
00001006: DUP4
00001007: DUP3
00001008: ISZERO
00001009: PUSH2 0x102d
0000100c: JUMPI
0000100d: JUMPDEST
0000100e: DUP1
0000100f: MLOAD
00001010: DUP3
00001011: MSTORE
00001012: PUSH1 0x20
00001014: DUP4
00001015: GT
00001016: ISZERO
00001017: PUSH2 0x102d
0000101a: JUMPI
0000101b: PUSH1 0x1f
0000101d: NOT
0000101e: SWAP1
0000101f: SWAP3
00001020: ADD
00001021: SWAP2
00001022: PUSH1 0x20
00001024: SWAP2
00001025: DUP3
00001026: ADD
00001027: SWAP2
00001028: ADD
00001029: PUSH2 0x100d
0000102c: JUMP
0000102d: JUMPDEST
0000102e: POP
0000102f: POP
00001030: POP
00001031: SWAP1
00001032: POP
00001033: SWAP1
00001034: DUP2
00001035: ADD
00001036: SWAP1
00001037: PUSH1 0x1f
00001039: AND
0000103a: DUP1
0000103b: ISZERO
0000103c: PUSH2 0x1059
0000103f: JUMPI
00001040: DUP1
00001041: DUP3
00001042: SUB
00001043: DUP1
00001044: MLOAD
00001045: PUSH1 0x01
00001047: DUP4
00001048: PUSH1 0x20
0000104a: SUB
0000104b: PUSH2 0x0100
0000104e: EXP
0000104f: SUB
00001050: NOT
00001051: AND
00001052: DUP2
00001053: MSTORE
00001054: PUSH1 0x20
00001056: ADD
00001057: SWAP2
00001058: POP
00001059: JUMPDEST
0000105a: POP
0000105b: SWAP5
0000105c: POP
0000105d: POP
0000105e: POP
0000105f: POP
00001060: POP
00001061: PUSH1 0x40
00001063: MLOAD
00001064: DUP1
00001065: SWAP2
00001066: SUB
00001067: SWAP1
00001068: LOG1
00001069: PUSH3 0x010000
0000106d: DUP6
0000106e: PUSH1 0x40
00001070: MLOAD
00001071: DUP1
00001072: DUP3
00001073: DUP1
00001074: MLOAD
00001075: SWAP1
00001076: PUSH1 0x20
00001078: ADD
00001079: SWAP1
0000107a: DUP1
0000107b: DUP4
0000107c: DUP4
0000107d: JUMPDEST
0000107e: PUSH1 0x20
00001080: DUP4
00001081: LT
00001082: PUSH2 0x109c
00001085: JUMPI
00001086: DUP1
00001087: MLOAD
00001088: DUP3
00001089: MSTORE
0000108a: PUSH1 0x1f
0000108c: NOT
0000108d: SWAP1
0000108e: SWAP3
0000108f: ADD
00001090: SWAP2
00001091: PUSH1 0x20
00001093: SWAP2
00001094: DUP3
00001095: ADD
00001096: SWAP2
00001097: ADD
00001098: PUSH2 0x107d
0000109b: JUMP
0000109c: JUMPDEST
0000109d: MLOAD
0000109e: DUP2
0000109f: MLOAD
000010a0: PUSH1 0x20
000010a2: SWAP4
000010a3: SWAP1
000010a4: SWAP4
000010a5: SUB
000010a6: PUSH2 0x0100
000010a9: EXP
000010aa: PUSH1 0x00
000010ac: NOT
000010ad: ADD
000010ae: DUP1
000010af: NOT
000010b0: SWAP1
000010b1: SWAP2
000010b2: AND
000010b3: SWAP3
000010b4: AND
000010b5: SWAP2
000010b6: SWAP1
000010b7: SWAP2
000010b8: OR
000010b9: SWAP1
000010ba: MSTORE
000010bb: PUSH1 0x40
000010bd: MLOAD
000010be: SWAP3
000010bf: ADD
000010c0: DUP3
000010c1: SWAP1
000010c2: SUB
000010c3: SWAP1
000010c4: SWAP2
000010c5: KECCAK256
000010c6: SWAP3
000010c7: POP
000010c8: POP
000010c9: POP
000010ca: DUP2
000010cb: ISZERO
000010cc: ISZERO
000010cd: PUSH2 0x10d2
000010d0: JUMPI
000010d1: INVALID
000010d2: JUMPDEST
000010d3: MOD
000010d4: PUSH1 0x0c
000010d6: SSTORE
000010d7: PUSH1 0x18
000010d9: SLOAD
000010da: DUP4
000010db: DUP2
000010dc: ISZERO
000010dd: ISZERO
000010de: PUSH2 0x10e3
000010e1: JUMPI
000010e2: INVALID
000010e3: JUMPDEST
000010e4: DIV
000010e5: SWAP2
000010e6: POP
000010e7: PUSH1 0x17
000010e9: SLOAD
000010ea: PUSH1 0x03
000010ec: DUP4
000010ed: SUB
000010ee: MUL
000010ef: SWAP1
000010f0: POP
000010f1: PUSH1 0x19
000010f3: SLOAD
000010f4: PUSH1 0x0c
000010f6: SLOAD
000010f7: LT
000010f8: ISZERO
000010f9: PUSH2 0x1146
000010fc: JUMPI
000010fd: PUSH1 0x00
000010ff: DUP7
00001100: DUP2
00001101: MSTORE
00001102: PUSH1 0x22
00001104: PUSH1 0x20
00001106: MSTORE
00001107: PUSH1 0x40
00001109: DUP1
0000110a: DUP3
0000110b: KECCAK256
0000110c: SLOAD
0000110d: PUSH1 0x0f
0000110f: SLOAD
00001110: SWAP2
00001111: MLOAD
00001112: PUSH1 0x01
00001114: PUSH1 0xa0
00001116: PUSH1 0x02
00001118: EXP
00001119: SUB
0000111a: SWAP1
0000111b: SWAP2
0000111c: AND
0000111d: SWAP3
0000111e: PUSH2 0x08fc
00001121: SWAP3
00001122: DUP8
00001123: SUB
00001124: DUP6
00001125: SWAP1
00001126: SUB
00001127: PUSH1 0x02
00001129: MUL
0000112a: DUP1
0000112b: ISZERO
0000112c: SWAP4
0000112d: SWAP1
0000112e: SWAP4
0000112f: MUL
00001130: SWAP3
00001131: SWAP2
00001132: SWAP1
00001133: DUP2
00001134: DUP2
00001135: DUP2
00001136: DUP6
00001137: DUP9
00001138: DUP9
00001139: CALL
0000113a: SWAP4
0000113b: POP
0000113c: POP
0000113d: POP
0000113e: POP
0000113f: ISZERO
00001140: ISZERO
00001141: PUSH2 0x1146
00001144: JUMPI
00001145: INVALID
00001146: JUMPDEST
00001147: JUMPDEST
00001148: PUSH1 0x19
0000114a: SLOAD
0000114b: PUSH1 0x0c
0000114d: SLOAD
0000114e: LT
0000114f: ISZERO
00001150: DUP1
00001151: ISZERO
00001152: PUSH2 0x115d
00001155: JUMPI
00001156: POP
00001157: PUSH1 0x00
00001159: PUSH1 0x10
0000115b: SLOAD
0000115c: GT
0000115d: JUMPDEST
0000115e: ISZERO
0000115f: PUSH2 0x11d6
00001162: JUMPI
00001163: PUSH1 0x05
00001165: SLOAD
00001166: PUSH1 0x00
00001168: DUP8
00001169: DUP2
0000116a: MSTORE
0000116b: PUSH1 0x22
0000116d: PUSH1 0x20
0000116f: MSTORE
00001170: PUSH1 0x40
00001172: DUP1
00001173: DUP3
00001174: KECCAK256
00001175: SLOAD
00001176: PUSH1 0x10
00001178: SLOAD
00001179: DUP3
0000117a: MLOAD
0000117b: PUSH1 0xe0
0000117d: PUSH1 0x02
0000117f: EXP
00001180: PUSH4 0xa9059cbb
00001185: MUL
00001186: DUP2
00001187: MSTORE
00001188: PUSH1 0x01
0000118a: PUSH1 0xa0
0000118c: PUSH1 0x02
0000118e: EXP
0000118f: SUB
00001190: SWAP3
00001191: DUP4
00001192: AND
00001193: PUSH1 0x04
00001195: DUP3
00001196: ADD
00001197: MSTORE
00001198: SWAP1
00001199: DUP8
0000119a: MUL
0000119b: PUSH1 0x24
0000119d: DUP3
0000119e: ADD
0000119f: MSTORE
000011a0: SWAP2
000011a1: MLOAD
000011a2: SWAP4
000011a3: AND
000011a4: SWAP3
000011a5: PUSH4 0xa9059cbb
000011aa: SWAP3
000011ab: PUSH1 0x44
000011ad: DUP1
000011ae: DUP5
000011af: ADD
000011b0: SWAP4
000011b1: SWAP2
000011b2: SWAP3
000011b3: SWAP2
000011b4: DUP3
000011b5: SWAP1
000011b6: SUB
000011b7: ADD
000011b8: DUP2
000011b9: DUP4
000011ba: DUP8
000011bb: DUP1
000011bc: EXTCODESIZE
000011bd: ISZERO
000011be: ISZERO
000011bf: PUSH2 0x11c4
000011c2: JUMPI
000011c3: INVALID
000011c4: JUMPDEST
000011c5: PUSH2 0x02c6
000011c8: GAS
000011c9: SUB
000011ca: CALL
000011cb: ISZERO
000011cc: ISZERO
000011cd: PUSH2 0x11d2
000011d0: JUMPI
000011d1: INVALID
000011d2: JUMPDEST
000011d3: POP
000011d4: POP
000011d5: POP
000011d6: JUMPDEST
000011d7: PUSH1 0x21
000011d9: SLOAD
000011da: PUSH1 0x0c
000011dc: SLOAD
000011dd: LT
000011de: ISZERO
000011df: DUP1
000011e0: ISZERO
000011e1: PUSH2 0x11ec
000011e4: JUMPI
000011e5: POP
000011e6: PUSH1 0x00
000011e8: PUSH1 0x11
000011ea: SLOAD
000011eb: GT
000011ec: JUMPDEST
000011ed: ISZERO
000011ee: PUSH2 0x1265
000011f1: JUMPI
000011f2: PUSH1 0x06
000011f4: SLOAD
000011f5: PUSH1 0x00
000011f7: DUP8
000011f8: DUP2
000011f9: MSTORE
000011fa: PUSH1 0x22
000011fc: PUSH1 0x20
000011fe: MSTORE
000011ff: PUSH1 0x40
00001201: DUP1
00001202: DUP3
00001203: KECCAK256
00001204: SLOAD
00001205: PUSH1 0x11
00001207: SLOAD
00001208: DUP3
00001209: MLOAD
0000120a: PUSH1 0xe0
0000120c: PUSH1 0x02
0000120e: EXP
0000120f: PUSH4 0xa9059cbb
00001214: MUL
00001215: DUP2
00001216: MSTORE
00001217: PUSH1 0x01
00001219: PUSH1 0xa0
0000121b: PUSH1 0x02
0000121d: EXP
0000121e: SUB
0000121f: SWAP3
00001220: DUP4
00001221: AND
00001222: PUSH1 0x04
00001224: DUP3
00001225: ADD
00001226: MSTORE
00001227: PUSH1 0x24
00001229: DUP2
0000122a: ADD
0000122b: SWAP2
0000122c: SWAP1
0000122d: SWAP2
0000122e: MSTORE
0000122f: SWAP2
00001230: MLOAD
00001231: SWAP4
00001232: AND
00001233: SWAP3
00001234: PUSH4 0xa9059cbb
00001239: SWAP3
0000123a: PUSH1 0x44
0000123c: DUP1
0000123d: DUP5
0000123e: ADD
0000123f: SWAP4
00001240: SWAP2
00001241: SWAP3
00001242: SWAP2
00001243: DUP3
00001244: SWAP1
00001245: SUB
00001246: ADD
00001247: DUP2
00001248: DUP4
00001249: DUP8
0000124a: DUP1
0000124b: EXTCODESIZE
0000124c: ISZERO
0000124d: ISZERO
0000124e: PUSH2 0x1253
00001251: JUMPI
00001252: INVALID
00001253: JUMPDEST
00001254: PUSH2 0x02c6
00001257: GAS
00001258: SUB
00001259: CALL
0000125a: ISZERO
0000125b: ISZERO
0000125c: PUSH2 0x1261
0000125f: JUMPI
00001260: INVALID
00001261: JUMPDEST
00001262: POP
00001263: POP
00001264: POP
00001265: JUMPDEST
00001266: PUSH1 0x1a
00001268: SLOAD
00001269: PUSH1 0x0c
0000126b: SLOAD
0000126c: EQ
0000126d: DUP1
0000126e: ISZERO
0000126f: PUSH2 0x1279
00001272: JUMPI
00001273: POP
00001274: PUSH1 0x0d
00001276: SLOAD
00001277: DUP4
00001278: EQ
00001279: JUMPDEST
0000127a: ISZERO
0000127b: PUSH2 0x12f2
0000127e: JUMPI
0000127f: PUSH1 0x07
00001281: SLOAD
00001282: PUSH1 0x00
00001284: DUP8
00001285: DUP2
00001286: MSTORE
00001287: PUSH1 0x22
00001289: PUSH1 0x20
0000128b: MSTORE
0000128c: PUSH1 0x40
0000128e: DUP1
0000128f: DUP3
00001290: KECCAK256
00001291: SLOAD
00001292: PUSH1 0x12
00001294: SLOAD
00001295: DUP3
00001296: MLOAD
00001297: PUSH1 0xe0
00001299: PUSH1 0x02
0000129b: EXP
0000129c: PUSH4 0xa9059cbb
000012a1: MUL
000012a2: DUP2
000012a3: MSTORE
000012a4: PUSH1 0x01
000012a6: PUSH1 0xa0
000012a8: PUSH1 0x02
000012aa: EXP
000012ab: SUB
000012ac: SWAP3
000012ad: DUP4
000012ae: AND
000012af: PUSH1 0x04
000012b1: DUP3
000012b2: ADD
000012b3: MSTORE
000012b4: PUSH1 0x24
000012b6: DUP2
000012b7: ADD
000012b8: SWAP2
000012b9: SWAP1
000012ba: SWAP2
000012bb: MSTORE
000012bc: SWAP2
000012bd: MLOAD
000012be: SWAP4
000012bf: AND
000012c0: SWAP3
000012c1: PUSH4 0xa9059cbb
000012c6: SWAP3
000012c7: PUSH1 0x44
000012c9: DUP1
000012ca: DUP5
000012cb: ADD
000012cc: SWAP4
000012cd: SWAP2
000012ce: SWAP3
000012cf: SWAP2
000012d0: DUP3
000012d1: SWAP1
000012d2: SUB
000012d3: ADD
000012d4: DUP2
000012d5: DUP4
000012d6: DUP8
000012d7: DUP1
000012d8: EXTCODESIZE
000012d9: ISZERO
000012da: ISZERO
000012db: PUSH2 0x12e0
000012de: JUMPI
000012df: INVALID
000012e0: JUMPDEST
000012e1: PUSH2 0x02c6
000012e4: GAS
000012e5: SUB
000012e6: CALL
000012e7: ISZERO
000012e8: ISZERO
000012e9: PUSH2 0x12ee
000012ec: JUMPI
000012ed: INVALID
000012ee: JUMPDEST
000012ef: POP
000012f0: POP
000012f1: POP
000012f2: JUMPDEST
000012f3: PUSH1 0x1b
000012f5: SLOAD
000012f6: PUSH1 0x0c
000012f8: SLOAD
000012f9: LT
000012fa: ISZERO
000012fb: DUP1
000012fc: ISZERO
000012fd: PUSH2 0x130a
00001300: JUMPI
00001301: POP
00001302: PUSH1 0x1c
00001304: SLOAD
00001305: PUSH1 0x0c
00001307: SLOAD
00001308: GT
00001309: ISZERO
0000130a: JUMPDEST
0000130b: ISZERO
0000130c: PUSH2 0x1383
0000130f: JUMPI
00001310: PUSH1 0x08
00001312: SLOAD
00001313: PUSH1 0x00
00001315: DUP8
00001316: DUP2
00001317: MSTORE
00001318: PUSH1 0x22
0000131a: PUSH1 0x20
0000131c: MSTORE
0000131d: PUSH1 0x40
0000131f: DUP1
00001320: DUP3
00001321: KECCAK256
00001322: SLOAD
00001323: PUSH1 0x13
00001325: SLOAD
00001326: DUP3
00001327: MLOAD
00001328: PUSH1 0xe0
0000132a: PUSH1 0x02
0000132c: EXP
0000132d: PUSH4 0xa9059cbb
00001332: MUL
00001333: DUP2
00001334: MSTORE
00001335: PUSH1 0x01
00001337: PUSH1 0xa0
00001339: PUSH1 0x02
0000133b: EXP
0000133c: SUB
0000133d: SWAP3
0000133e: DUP4
0000133f: AND
00001340: PUSH1 0x04
00001342: DUP3
00001343: ADD
00001344: MSTORE
00001345: PUSH1 0x24
00001347: DUP2
00001348: ADD
00001349: SWAP2
0000134a: SWAP1
0000134b: SWAP2
0000134c: MSTORE
0000134d: SWAP2
0000134e: MLOAD
0000134f: SWAP4
00001350: AND
00001351: SWAP3
00001352: PUSH4 0xa9059cbb
00001357: SWAP3
00001358: PUSH1 0x44
0000135a: DUP1
0000135b: DUP5
0000135c: ADD
0000135d: SWAP4
0000135e: SWAP2
0000135f: SWAP3
00001360: SWAP2
00001361: DUP3
00001362: SWAP1
00001363: SUB
00001364: ADD
00001365: DUP2
00001366: DUP4
00001367: DUP8
00001368: DUP1
00001369: EXTCODESIZE
0000136a: ISZERO
0000136b: ISZERO
0000136c: PUSH2 0x1371
0000136f: JUMPI
00001370: INVALID
00001371: JUMPDEST
00001372: PUSH2 0x02c6
00001375: GAS
00001376: SUB
00001377: CALL
00001378: ISZERO
00001379: ISZERO
0000137a: PUSH2 0x137f
0000137d: JUMPI
0000137e: INVALID
0000137f: JUMPDEST
00001380: POP
00001381: POP
00001382: POP
00001383: JUMPDEST
00001384: PUSH1 0x1d
00001386: SLOAD
00001387: PUSH1 0x0c
00001389: SLOAD
0000138a: LT
0000138b: ISZERO
0000138c: DUP1
0000138d: ISZERO
0000138e: PUSH2 0x139b
00001391: JUMPI
00001392: POP
00001393: PUSH1 0x1e
00001395: SLOAD
00001396: PUSH1 0x0c
00001398: SLOAD
00001399: GT
0000139a: ISZERO
0000139b: JUMPDEST
0000139c: ISZERO
0000139d: PUSH2 0x1414
000013a0: JUMPI
000013a1: PUSH1 0x09
000013a3: SLOAD
000013a4: PUSH1 0x00
000013a6: DUP8
000013a7: DUP2
000013a8: MSTORE
000013a9: PUSH1 0x22
000013ab: PUSH1 0x20
000013ad: MSTORE
000013ae: PUSH1 0x40
000013b0: DUP1
000013b1: DUP3
000013b2: KECCAK256
000013b3: SLOAD
000013b4: PUSH1 0x14
000013b6: SLOAD
000013b7: DUP3
000013b8: MLOAD
000013b9: PUSH1 0xe0
000013bb: PUSH1 0x02
000013bd: EXP
000013be: PUSH4 0xa9059cbb
000013c3: MUL
000013c4: DUP2
000013c5: MSTORE
000013c6: PUSH1 0x01
000013c8: PUSH1 0xa0
000013ca: PUSH1 0x02
000013cc: EXP
000013cd: SUB
000013ce: SWAP3
000013cf: DUP4
000013d0: AND
000013d1: PUSH1 0x04
000013d3: DUP3
000013d4: ADD
000013d5: MSTORE
000013d6: PUSH1 0x24
000013d8: DUP2
000013d9: ADD
000013da: SWAP2
000013db: SWAP1
000013dc: SWAP2
000013dd: MSTORE
000013de: SWAP2
000013df: MLOAD
000013e0: SWAP4
000013e1: AND
000013e2: SWAP3
000013e3: PUSH4 0xa9059cbb
000013e8: SWAP3
000013e9: PUSH1 0x44
000013eb: DUP1
000013ec: DUP5
000013ed: ADD
000013ee: SWAP4
000013ef: SWAP2
000013f0: SWAP3
000013f1: SWAP2
000013f2: DUP3
000013f3: SWAP1
000013f4: SUB
000013f5: ADD
000013f6: DUP2
000013f7: DUP4
000013f8: DUP8
000013f9: DUP1
000013fa: EXTCODESIZE
000013fb: ISZERO
000013fc: ISZERO
000013fd: PUSH2 0x1402
00001400: JUMPI
00001401: INVALID
00001402: JUMPDEST
00001403: PUSH2 0x02c6
00001406: GAS
00001407: SUB
00001408: CALL
00001409: ISZERO
0000140a: ISZERO
0000140b: PUSH2 0x1410
0000140e: JUMPI
0000140f: INVALID
00001410: JUMPDEST
00001411: POP
00001412: POP
00001413: POP
00001414: JUMPDEST
00001415: PUSH1 0x1f
00001417: SLOAD
00001418: PUSH1 0x0c
0000141a: SLOAD
0000141b: LT
0000141c: ISZERO
0000141d: DUP1
0000141e: ISZERO
0000141f: PUSH2 0x142c
00001422: JUMPI
00001423: POP
00001424: PUSH1 0x20
00001426: SLOAD
00001427: PUSH1 0x0c
00001429: SLOAD
0000142a: GT
0000142b: ISZERO
0000142c: JUMPDEST
0000142d: ISZERO
0000142e: PUSH2 0x14a5
00001431: JUMPI
00001432: PUSH1 0x0a
00001434: SLOAD
00001435: PUSH1 0x00
00001437: DUP8
00001438: DUP2
00001439: MSTORE
0000143a: PUSH1 0x22
0000143c: PUSH1 0x20
0000143e: MSTORE
0000143f: PUSH1 0x40
00001441: DUP1
00001442: DUP3
00001443: KECCAK256
00001444: SLOAD
00001445: PUSH1 0x15
00001447: SLOAD
00001448: DUP3
00001449: MLOAD
0000144a: PUSH1 0xe0
0000144c: PUSH1 0x02
0000144e: EXP
0000144f: PUSH4 0xa9059cbb
00001454: MUL
00001455: DUP2
00001456: MSTORE
00001457: PUSH1 0x01
00001459: PUSH1 0xa0
0000145b: PUSH1 0x02
0000145d: EXP
0000145e: SUB
0000145f: SWAP3
00001460: DUP4
00001461: AND
00001462: PUSH1 0x04
00001464: DUP3
00001465: ADD
00001466: MSTORE
00001467: PUSH1 0x24
00001469: DUP2
0000146a: ADD
0000146b: SWAP2
0000146c: SWAP1
0000146d: SWAP2
0000146e: MSTORE
0000146f: SWAP2
00001470: MLOAD
00001471: SWAP4
00001472: AND
00001473: SWAP3
00001474: PUSH4 0xa9059cbb
00001479: SWAP3
0000147a: PUSH1 0x44
0000147c: DUP1
0000147d: DUP5
0000147e: ADD
0000147f: SWAP4
00001480: SWAP2
00001481: SWAP3
00001482: SWAP2
00001483: DUP3
00001484: SWAP1
00001485: SUB
00001486: ADD
00001487: DUP2
00001488: DUP4
00001489: DUP8
0000148a: DUP1
0000148b: EXTCODESIZE
0000148c: ISZERO
0000148d: ISZERO
0000148e: PUSH2 0x1493
00001491: JUMPI
00001492: INVALID
00001493: JUMPDEST
00001494: PUSH2 0x02c6
00001497: GAS
00001498: SUB
00001499: CALL
0000149a: ISZERO
0000149b: ISZERO
0000149c: PUSH2 0x14a1
0000149f: JUMPI
000014a0: INVALID
000014a1: JUMPDEST
000014a2: POP
000014a3: POP
000014a4: POP
000014a5: JUMPDEST
000014a6: PUSH1 0x00
000014a8: DUP7
000014a9: DUP2
000014aa: MSTORE
000014ab: PUSH1 0x22
000014ad: PUSH1 0x20
000014af: SWAP1
000014b0: DUP2
000014b1: MSTORE
000014b2: PUSH1 0x40
000014b4: DUP1
000014b5: DUP4
000014b6: KECCAK256
000014b7: DUP1
000014b8: SLOAD
000014b9: PUSH1 0x01
000014bb: PUSH1 0xa0
000014bd: PUSH1 0x02
000014bf: EXP
000014c0: SUB
000014c1: NOT
000014c2: AND
000014c3: SWAP1
000014c4: SSTORE
000014c5: PUSH1 0x23
000014c7: SWAP1
000014c8: SWAP2
000014c9: MSTORE
000014ca: DUP2
000014cb: KECCAK256
000014cc: SSTORE
000014cd: JUMPDEST
000014ce: JUMPDEST
000014cf: JUMPDEST
000014d0: POP
000014d1: POP
000014d2: POP
000014d3: POP
000014d4: POP
000014d5: POP
000014d6: JUMP
000014d7: JUMPDEST
000014d8: PUSH1 0x19
000014da: SLOAD
000014db: DUP2
000014dc: JUMP
000014dd: JUMPDEST
000014de: PUSH1 0x09
000014e0: SLOAD
000014e1: PUSH1 0x01
000014e3: PUSH1 0xa0
000014e5: PUSH1 0x02
000014e7: EXP
000014e8: SUB
000014e9: AND
000014ea: DUP2
000014eb: JUMP
000014ec: JUMPDEST
000014ed: PUSH1 0x08
000014ef: SLOAD
000014f0: PUSH1 0x01
000014f2: PUSH1 0xa0
000014f4: PUSH1 0x02
000014f6: EXP
000014f7: SUB
000014f8: AND
000014f9: DUP2
000014fa: JUMP
000014fb: JUMPDEST
000014fc: PUSH1 0x0f
000014fe: SLOAD
000014ff: DUP2
00001500: JUMP
00001501: JUMPDEST
00001502: PUSH1 0x1b
00001504: SLOAD
00001505: DUP2
00001506: JUMP
00001507: JUMPDEST
00001508: PUSH1 0x13
0000150a: SLOAD
0000150b: DUP2
0000150c: JUMP
0000150d: JUMPDEST
0000150e: PUSH1 0x05
00001510: SLOAD
00001511: PUSH1 0x01
00001513: PUSH1 0xa0
00001515: PUSH1 0x02
00001517: EXP
00001518: SUB
00001519: AND
0000151a: DUP2
0000151b: JUMP
0000151c: JUMPDEST
0000151d: PUSH1 0x10
0000151f: SLOAD
00001520: DUP2
00001521: JUMP
00001522: JUMPDEST
00001523: PUSH1 0x1e
00001525: SLOAD
00001526: DUP2
00001527: JUMP
00001528: JUMPDEST
00001529: PUSH1 0x1a
0000152b: SLOAD
0000152c: DUP2
0000152d: JUMP
0000152e: JUMPDEST
0000152f: PUSH1 0x0b
00001531: SLOAD
00001532: CALLER
00001533: PUSH1 0x01
00001535: PUSH1 0xa0
00001537: PUSH1 0x02
00001539: EXP
0000153a: SUB
0000153b: SWAP1
0000153c: DUP2
0000153d: AND
0000153e: SWAP2
0000153f: AND
00001540: EQ
00001541: PUSH2 0x154a
00001544: JUMPI
00001545: PUSH1 0x00
00001547: PUSH1 0x00
00001549: REVERT
0000154a: JUMPDEST
0000154b: PUSH1 0x0b
0000154d: DUP1
0000154e: SLOAD
0000154f: PUSH1 0x01
00001551: PUSH1 0xa0
00001553: PUSH1 0x02
00001555: EXP
00001556: SUB
00001557: NOT
00001558: AND
00001559: PUSH1 0x01
0000155b: PUSH1 0xa0
0000155d: PUSH1 0x02
0000155f: EXP
00001560: SUB
00001561: DUP4
00001562: AND
00001563: OR
00001564: SWAP1
00001565: SSTORE
00001566: JUMPDEST
00001567: JUMPDEST
00001568: POP
00001569: JUMP
0000156a: JUMPDEST
0000156b: PUSH1 0x0b
0000156d: SLOAD
0000156e: PUSH1 0x01
00001570: PUSH1 0xa0
00001572: PUSH1 0x02
00001574: EXP
00001575: SUB
00001576: AND
00001577: DUP2
00001578: JUMP
00001579: JUMPDEST
0000157a: PUSH1 0x07
0000157c: SLOAD
0000157d: PUSH1 0x01
0000157f: PUSH1 0xa0
00001581: PUSH1 0x02
00001583: EXP
00001584: SUB
00001585: AND
00001586: DUP2
00001587: JUMP
00001588: JUMPDEST
00001589: PUSH1 0x0e
0000158b: SLOAD
0000158c: DUP2
0000158d: JUMP
0000158e: JUMPDEST
0000158f: PUSH1 0x17
00001591: SLOAD
00001592: DUP2
00001593: JUMP
00001594: JUMPDEST
00001595: PUSH1 0x16
00001597: SLOAD
00001598: DUP2
00001599: JUMP
0000159a: JUMPDEST
0000159b: PUSH1 0x18
0000159d: SLOAD
0000159e: DUP2
0000159f: JUMP
000015a0: JUMPDEST
000015a1: PUSH1 0x0b
000015a3: SLOAD
000015a4: PUSH1 0x00
000015a6: SWAP1
000015a7: CALLER
000015a8: PUSH1 0x01
000015aa: PUSH1 0xa0
000015ac: PUSH1 0x02
000015ae: EXP
000015af: SUB
000015b0: SWAP1
000015b1: DUP2
000015b2: AND
000015b3: SWAP2
000015b4: AND
000015b5: EQ
000015b6: PUSH2 0x15bf
000015b9: JUMPI
000015ba: PUSH1 0x00
000015bc: PUSH1 0x00
000015be: REVERT
000015bf: JUMPDEST
000015c0: POP
000015c1: PUSH1 0x40
000015c3: DUP1
000015c4: MLOAD
000015c5: PUSH1 0xe0
000015c7: PUSH1 0x02
000015c9: EXP
000015ca: PUSH4 0xa9059cbb
000015cf: MUL
000015d0: DUP2
000015d1: MSTORE
000015d2: PUSH1 0x01
000015d4: PUSH1 0xa0
000015d6: PUSH1 0x02
000015d8: EXP
000015d9: SUB
000015da: DUP4
000015db: DUP2
000015dc: AND
000015dd: PUSH1 0x04
000015df: DUP4
000015e0: ADD
000015e1: MSTORE
000015e2: PUSH1 0x24
000015e4: DUP3
000015e5: ADD
000015e6: DUP6
000015e7: SWAP1
000015e8: MSTORE
000015e9: SWAP2
000015ea: MLOAD
000015eb: DUP6
000015ec: SWAP3
000015ed: DUP4
000015ee: AND
000015ef: SWAP2
000015f0: PUSH4 0xa9059cbb
000015f5: SWAP2
000015f6: PUSH1 0x44
000015f8: DUP1
000015f9: DUP4
000015fa: ADD
000015fb: SWAP3
000015fc: PUSH1 0x00
000015fe: SWAP3
000015ff: SWAP2
00001600: SWAP1
00001601: DUP3
00001602: SWAP1
00001603: SUB
00001604: ADD
00001605: DUP2
00001606: DUP4
00001607: DUP8
00001608: DUP1
00001609: EXTCODESIZE
0000160a: ISZERO
0000160b: ISZERO
0000160c: PUSH2 0x1611
0000160f: JUMPI
00001610: INVALID
00001611: JUMPDEST
00001612: PUSH2 0x02c6
00001615: GAS
00001616: SUB
00001617: CALL
00001618: ISZERO
00001619: ISZERO
0000161a: PUSH2 0x0e66
0000161d: JUMPI
0000161e: INVALID
0000161f: JUMPDEST
00001620: POP
00001621: POP
00001622: POP
00001623: JUMPDEST
00001624: JUMPDEST
00001625: POP
00001626: POP
00001627: POP
00001628: POP
00001629: JUMP
0000162a: JUMPDEST
0000162b: PUSH1 0x14
0000162d: SLOAD
0000162e: DUP2
0000162f: JUMP
00001630: JUMPDEST
00001631: PUSH1 0x1c
00001633: SLOAD
00001634: DUP2
00001635: JUMP
00001636: JUMPDEST
00001637: PUSH1 0x12
00001639: SLOAD
0000163a: DUP2
0000163b: JUMP
0000163c: JUMPDEST
0000163d: PUSH1 0x20
0000163f: SLOAD
00001640: DUP2
00001641: JUMP
00001642: JUMPDEST
00001643: PUSH1 0x06
00001645: SLOAD
00001646: PUSH1 0x01
00001648: PUSH1 0xa0
0000164a: PUSH1 0x02
0000164c: EXP
0000164d: SUB
0000164e: AND
0000164f: DUP2
00001650: JUMP
00001651: JUMPDEST
00001652: PUSH1 0x0b
00001654: SLOAD
00001655: CALLER
00001656: PUSH1 0x01
00001658: PUSH1 0xa0
0000165a: PUSH1 0x02
0000165c: EXP
0000165d: SUB
0000165e: SWAP1
0000165f: DUP2
00001660: AND
00001661: SWAP2
00001662: AND
00001663: EQ
00001664: PUSH2 0x166d
00001667: JUMPI
00001668: PUSH1 0x00
0000166a: PUSH1 0x00
0000166c: REVERT
0000166d: JUMPDEST
0000166e: PUSH1 0x40
00001670: MLOAD
00001671: PUSH1 0x01
00001673: PUSH1 0xa0
00001675: PUSH1 0x02
00001677: EXP
00001678: SUB
00001679: DUP4
0000167a: AND
0000167b: SWAP1
0000167c: DUP3
0000167d: ISZERO
0000167e: PUSH2 0x08fc
00001681: MUL
00001682: SWAP1
00001683: DUP4
00001684: SWAP1
00001685: PUSH1 0x00
00001687: DUP2
00001688: DUP2
00001689: DUP2
0000168a: DUP6
0000168b: DUP9
0000168c: DUP9
0000168d: CALL
0000168e: SWAP4
0000168f: POP
00001690: POP
00001691: POP
00001692: POP
00001693: ISZERO
00001694: ISZERO
00001695: PUSH2 0x0dfb
00001698: JUMPI
00001699: INVALID
0000169a: JUMPDEST
0000169b: JUMPDEST
0000169c: JUMPDEST
0000169d: POP
0000169e: POP
0000169f: JUMP
000016a0: JUMPDEST
000016a1: PUSH1 0x15
000016a3: SLOAD
000016a4: DUP2
000016a5: JUMP
000016a6: JUMPDEST
000016a7: PUSH1 0x11
000016a9: SLOAD
000016aa: DUP2
000016ab: JUMP
000016ac: JUMPDEST
000016ad: PUSH1 0x0a
000016af: SLOAD
000016b0: PUSH1 0x01
000016b2: PUSH1 0xa0
000016b4: PUSH1 0x02
000016b6: EXP
000016b7: SUB
000016b8: AND
000016b9: DUP2
000016ba: JUMP
000016bb: JUMPDEST
000016bc: PUSH1 0x0b
000016be: SLOAD
000016bf: CALLER
000016c0: PUSH1 0x01
000016c2: PUSH1 0xa0
000016c4: PUSH1 0x02
000016c6: EXP
000016c7: SUB
000016c8: SWAP1
000016c9: DUP2
000016ca: AND
000016cb: SWAP2
000016cc: AND
000016cd: EQ
000016ce: PUSH2 0x16d7
000016d1: JUMPI
000016d2: PUSH1 0x00
000016d4: PUSH1 0x00
000016d6: REVERT
000016d7: JUMPDEST
000016d8: PUSH1 0x0d
000016da: DUP5
000016db: SWAP1
000016dc: SSTORE
000016dd: PUSH1 0x0e
000016df: DUP4
000016e0: SWAP1
000016e1: SSTORE
000016e2: PUSH1 0x19
000016e4: DUP3
000016e5: SWAP1
000016e6: SSTORE
000016e7: PUSH1 0x21
000016e9: DUP2
000016ea: SWAP1
000016eb: SSTORE
000016ec: JUMPDEST
000016ed: JUMPDEST
000016ee: POP
000016ef: POP
000016f0: POP
000016f1: POP
000016f2: JUMP
000016f3: JUMPDEST
000016f4: PUSH1 0x0b
000016f6: SLOAD
000016f7: CALLER
000016f8: PUSH1 0x01
000016fa: PUSH1 0xa0
000016fc: PUSH1 0x02
000016fe: EXP
000016ff: SUB
00001700: SWAP1
00001701: DUP2
00001702: AND
00001703: SWAP2
00001704: AND
00001705: EQ
00001706: PUSH2 0x170f
00001709: JUMPI
0000170a: PUSH1 0x00
0000170c: PUSH1 0x00
0000170e: REVERT
0000170f: JUMPDEST
00001710: PUSH1 0x09
00001712: DUP1
00001713: SLOAD
00001714: PUSH1 0x01
00001716: PUSH1 0xa0
00001718: PUSH1 0x02
0000171a: EXP
0000171b: SUB
0000171c: DUP1
0000171d: DUP12
0000171e: AND
0000171f: PUSH1 0x01
00001721: PUSH1 0xa0
00001723: PUSH1 0x02
00001725: EXP
00001726: SUB
00001727: NOT
00001728: SWAP3
00001729: DUP4
0000172a: AND
0000172b: OR
0000172c: SWAP1
0000172d: SWAP3
0000172e: SSTORE
0000172f: PUSH1 0x14
00001731: DUP10
00001732: SWAP1
00001733: SSTORE
00001734: PUSH1 0x1d
00001736: DUP9
00001737: SWAP1
00001738: SSTORE
00001739: PUSH1 0x1e
0000173b: DUP8
0000173c: SWAP1
0000173d: SSTORE
0000173e: PUSH1 0x0a
00001740: DUP1
00001741: SLOAD
00001742: SWAP3
00001743: DUP8
00001744: AND
00001745: SWAP3
00001746: SWAP1
00001747: SWAP2
00001748: AND
00001749: SWAP2
0000174a: SWAP1
0000174b: SWAP2
0000174c: OR
0000174d: SWAP1
0000174e: SSTORE
0000174f: PUSH1 0x15
00001751: DUP4
00001752: SWAP1
00001753: SSTORE
00001754: PUSH1 0x1f
00001756: DUP3
00001757: SWAP1
00001758: SSTORE
00001759: PUSH1 0x20
0000175b: DUP2
0000175c: SWAP1
0000175d: SSTORE
0000175e: JUMPDEST
0000175f: JUMPDEST
00001760: POP
00001761: POP
00001762: POP
00001763: POP
00001764: POP
00001765: POP
00001766: POP
00001767: POP
00001768: JUMP
00001769: JUMPDEST
0000176a: PUSH1 0x21
0000176c: SLOAD
0000176d: DUP2
0000176e: JUMP
0000176f: JUMPDEST
00001770: DUP1
00001771: EXTCODESIZE
00001772: JUMPDEST
00001773: SWAP2
00001774: SWAP1
00001775: POP
00001776: JUMP
00001777: JUMPDEST
00001778: PUSH1 0x00
0000177a: PUSH1 0x00
0000177c: PUSH2 0x1798
0000177f: PUSH20 0x1d3b2638a7cc9f2cb3d298a3da7a90b67e5506ed
00001794: PUSH2 0x176f
00001797: JUMP
00001798: JUMPDEST
00001799: GT
0000179a: ISZERO
0000179b: PUSH2 0x1809
0000179e: JUMPI
0000179f: PUSH1 0x00
000017a1: DUP1
000017a2: SLOAD
000017a3: PUSH1 0x01
000017a5: PUSH1 0xa0
000017a7: PUSH1 0x02
000017a9: EXP
000017aa: SUB
000017ab: NOT
000017ac: AND
000017ad: PUSH20 0x1d3b2638a7cc9f2cb3d298a3da7a90b67e5506ed
000017c2: OR
000017c3: SWAP1
000017c4: SSTORE
000017c5: PUSH1 0x40
000017c7: DUP1
000017c8: MLOAD
000017c9: DUP1
000017ca: DUP3
000017cb: ADD
000017cc: SWAP1
000017cd: SWAP2
000017ce: MSTORE
000017cf: PUSH1 0x0b
000017d1: DUP2
000017d2: MSTORE
000017d3: PUSH32 0x6574685f6d61696e6e6574000000000000000000000000000000000000000000
000017f4: PUSH1 0x20
000017f6: DUP3
000017f7: ADD
000017f8: MSTORE
000017f9: PUSH2 0x1801
000017fc: SWAP1
000017fd: PUSH2 0x2012
00001800: JUMP
00001801: JUMPDEST
00001802: POP
00001803: PUSH1 0x01
00001805: PUSH2 0x1ab6
00001808: JUMP
00001809: JUMPDEST
0000180a: PUSH1 0x00
0000180c: PUSH2 0x1828
0000180f: PUSH20 0xc03a2615d5efaf5f49f60b7bb6583eaec212fdf1
00001824: PUSH2 0x176f
00001827: JUMP
00001828: JUMPDEST
00001829: GT
0000182a: ISZERO
0000182b: PUSH2 0x1899
0000182e: JUMPI
0000182f: PUSH1 0x00
00001831: DUP1
00001832: SLOAD
00001833: PUSH1 0x01
00001835: PUSH1 0xa0
00001837: PUSH1 0x02
00001839: EXP
0000183a: SUB
0000183b: NOT
0000183c: AND
0000183d: PUSH20 0xc03a2615d5efaf5f49f60b7bb6583eaec212fdf1
00001852: OR
00001853: SWAP1
00001854: SSTORE
00001855: PUSH1 0x40
00001857: DUP1
00001858: MLOAD
00001859: DUP1
0000185a: DUP3
0000185b: ADD
0000185c: SWAP1
0000185d: SWAP2
0000185e: MSTORE
0000185f: PUSH1 0x0c
00001861: DUP2
00001862: MSTORE
00001863: PUSH32 0x6574685f726f707374656e330000000000000000000000000000000000000000
00001884: PUSH1 0x20
00001886: DUP3
00001887: ADD
00001888: MSTORE
00001889: PUSH2 0x1801
0000188c: SWAP1
0000188d: PUSH2 0x2012
00001890: JUMP
00001891: JUMPDEST
00001892: POP
00001893: PUSH1 0x01
00001895: PUSH2 0x1ab6
00001898: JUMP
00001899: JUMPDEST
0000189a: PUSH1 0x00
0000189c: PUSH2 0x18b8
0000189f: PUSH20 0xb7a07bcf2ba2f2703b24c0691b5278999c59ac7e
000018b4: PUSH2 0x176f
000018b7: JUMP
000018b8: JUMPDEST
000018b9: GT
000018ba: ISZERO
000018bb: PUSH2 0x1929
000018be: JUMPI
000018bf: PUSH1 0x00
000018c1: DUP1
000018c2: SLOAD
000018c3: PUSH1 0x01
000018c5: PUSH1 0xa0
000018c7: PUSH1 0x02
000018c9: EXP
000018ca: SUB
000018cb: NOT
000018cc: AND
000018cd: PUSH20 0xb7a07bcf2ba2f2703b24c0691b5278999c59ac7e
000018e2: OR
000018e3: SWAP1
000018e4: SSTORE
000018e5: PUSH1 0x40
000018e7: DUP1
000018e8: MLOAD
000018e9: DUP1
000018ea: DUP3
000018eb: ADD
000018ec: SWAP1
000018ed: SWAP2
000018ee: MSTORE
000018ef: PUSH1 0x09
000018f1: DUP2
000018f2: MSTORE
000018f3: PUSH32 0x6574685f6b6f76616e0000000000000000000000000000000000000000000000
00001914: PUSH1 0x20
00001916: DUP3
00001917: ADD
00001918: MSTORE
00001919: PUSH2 0x1801
0000191c: SWAP1
0000191d: PUSH2 0x2012
00001920: JUMP
00001921: JUMPDEST
00001922: POP
00001923: PUSH1 0x01
00001925: PUSH2 0x1ab6
00001928: JUMP
00001929: JUMPDEST
0000192a: PUSH1 0x00
0000192c: PUSH2 0x1948
0000192f: PUSH20 0x146500cfd35b22e4a392fe0adc06de1a1368ed48
00001944: PUSH2 0x176f
00001947: JUMP
00001948: JUMPDEST
00001949: GT
0000194a: ISZERO
0000194b: PUSH2 0x19b9
0000194e: JUMPI
0000194f: PUSH1 0x00
00001951: DUP1
00001952: SLOAD
00001953: PUSH1 0x01
00001955: PUSH1 0xa0
00001957: PUSH1 0x02
00001959: EXP
0000195a: SUB
0000195b: NOT
0000195c: AND
0000195d: PUSH20 0x146500cfd35b22e4a392fe0adc06de1a1368ed48
00001972: OR
00001973: SWAP1
00001974: SSTORE
00001975: PUSH1 0x40
00001977: DUP1
00001978: MLOAD
00001979: DUP1
0000197a: DUP3
0000197b: ADD
0000197c: SWAP1
0000197d: SWAP2
0000197e: MSTORE
0000197f: PUSH1 0x0b
00001981: DUP2
00001982: MSTORE
00001983: PUSH32 0x6574685f72696e6b656279000000000000000000000000000000000000000000
000019a4: PUSH1 0x20
000019a6: DUP3
000019a7: ADD
000019a8: MSTORE
000019a9: PUSH2 0x1801
000019ac: SWAP1
000019ad: PUSH2 0x2012
000019b0: JUMP
000019b1: JUMPDEST
000019b2: POP
000019b3: PUSH1 0x01
000019b5: PUSH2 0x1ab6
000019b8: JUMP
000019b9: JUMPDEST
000019ba: PUSH1 0x00
000019bc: PUSH2 0x19d8
000019bf: PUSH20 0x6f485c8bf6fc43ea212e93bbf8ce046c7f1cb475
000019d4: PUSH2 0x176f
000019d7: JUMP
000019d8: JUMPDEST
000019d9: GT
000019da: ISZERO
000019db: PUSH2 0x1a0c
000019de: JUMPI
000019df: POP
000019e0: PUSH1 0x00
000019e2: DUP1
000019e3: SLOAD
000019e4: PUSH1 0x01
000019e6: PUSH1 0xa0
000019e8: PUSH1 0x02
000019ea: EXP
000019eb: SUB
000019ec: NOT
000019ed: AND
000019ee: PUSH20 0x6f485c8bf6fc43ea212e93bbf8ce046c7f1cb475
00001a03: OR
00001a04: SWAP1
00001a05: SSTORE
00001a06: PUSH1 0x01
00001a08: PUSH2 0x1ab6
00001a0b: JUMP
00001a0c: JUMPDEST
00001a0d: PUSH1 0x00
00001a0f: PUSH2 0x1a2b
00001a12: PUSH20 0x20e12a1f859b3feae5fb2a0a32c18f5a65555bbf
00001a27: PUSH2 0x176f
00001a2a: JUMP
00001a2b: JUMPDEST
00001a2c: GT
00001a2d: ISZERO
00001a2e: PUSH2 0x1a5f
00001a31: JUMPI
00001a32: POP
00001a33: PUSH1 0x00
00001a35: DUP1
00001a36: SLOAD
00001a37: PUSH1 0x01
00001a39: PUSH1 0xa0
00001a3b: PUSH1 0x02
00001a3d: EXP
00001a3e: SUB
00001a3f: NOT
00001a40: AND
00001a41: PUSH20 0x20e12a1f859b3feae5fb2a0a32c18f5a65555bbf
00001a56: OR
00001a57: SWAP1
00001a58: SSTORE
00001a59: PUSH1 0x01
00001a5b: PUSH2 0x1ab6
00001a5e: JUMP
00001a5f: JUMPDEST
00001a60: PUSH1 0x00
00001a62: PUSH2 0x1a7e
00001a65: PUSH20 0x51efaf4c8b3c9afbd5ab9f4bbc82784ab6ef8faa
00001a7a: PUSH2 0x176f
00001a7d: JUMP
00001a7e: JUMPDEST
00001a7f: GT
00001a80: ISZERO
00001a81: PUSH2 0x1ab2
00001a84: JUMPI
00001a85: POP
00001a86: PUSH1 0x00
00001a88: DUP1
00001a89: SLOAD
00001a8a: PUSH1 0x01
00001a8c: PUSH1 0xa0
00001a8e: PUSH1 0x02
00001a90: EXP
00001a91: SUB
00001a92: NOT
00001a93: AND
00001a94: PUSH20 0x51efaf4c8b3c9afbd5ab9f4bbc82784ab6ef8faa
00001aa9: OR
00001aaa: SWAP1
00001aab: SSTORE
00001aac: PUSH1 0x01
00001aae: PUSH2 0x1ab6
00001ab1: JUMP
00001ab2: JUMPDEST
00001ab3: POP
00001ab4: PUSH1 0x00
00001ab6: JUMPDEST
00001ab7: SWAP1
00001ab8: JUMP
00001ab9: JUMPDEST
00001aba: PUSH1 0x00
00001abc: DUP1
00001abd: SLOAD
00001abe: PUSH1 0x01
00001ac0: PUSH1 0xa0
00001ac2: PUSH1 0x02
00001ac4: EXP
00001ac5: SUB
00001ac6: AND
00001ac7: ISZERO
00001ac8: DUP1
00001ac9: PUSH2 0x1ae4
00001acc: JUMPI
00001acd: POP
00001ace: PUSH1 0x00
00001ad0: SLOAD
00001ad1: PUSH2 0x1ae2
00001ad4: SWAP1
00001ad5: PUSH1 0x01
00001ad7: PUSH1 0xa0
00001ad9: PUSH1 0x02
00001adb: EXP
00001adc: SUB
00001add: AND
00001ade: PUSH2 0x176f
00001ae1: JUMP
00001ae2: JUMPDEST
00001ae3: ISZERO
00001ae4: JUMPDEST
00001ae5: ISZERO
00001ae6: PUSH2 0x1af3
00001ae9: JUMPI
00001aea: PUSH2 0x1af1
00001aed: PUSH2 0x1777
00001af0: JUMP
00001af1: JUMPDEST
00001af2: POP
00001af3: JUMPDEST
00001af4: PUSH1 0x00
00001af6: PUSH1 0x00
00001af8: SWAP1
00001af9: SLOAD
00001afa: SWAP1
00001afb: PUSH2 0x0100
00001afe: EXP
00001aff: SWAP1
00001b00: DIV
00001b01: PUSH1 0x01
00001b03: PUSH1 0xa0
00001b05: PUSH1 0x02
00001b07: EXP
00001b08: SUB
00001b09: AND
00001b0a: PUSH1 0x01
00001b0c: PUSH1 0xa0
00001b0e: PUSH1 0x02
00001b10: EXP
00001b11: SUB
00001b12: AND
00001b13: PUSH4 0x38cc4831
00001b18: PUSH1 0x00
00001b1a: PUSH1 0x40
00001b1c: MLOAD
00001b1d: PUSH1 0x20
00001b1f: ADD
00001b20: MSTORE
00001b21: PUSH1 0x40
00001b23: MLOAD
00001b24: DUP2
00001b25: PUSH4 0xffffffff
00001b2a: AND
00001b2b: PUSH1 0xe0
00001b2d: PUSH1 0x02
00001b2f: EXP
00001b30: MUL
00001b31: DUP2
00001b32: MSTORE
00001b33: PUSH1 0x04
00001b35: ADD
00001b36: DUP1
00001b37: SWAP1
00001b38: POP
00001b39: PUSH1 0x20
00001b3b: PUSH1 0x40
00001b3d: MLOAD
00001b3e: DUP1
00001b3f: DUP4
00001b40: SUB
00001b41: DUP2
00001b42: PUSH1 0x00
00001b44: DUP8
00001b45: DUP1
00001b46: EXTCODESIZE
00001b47: ISZERO
00001b48: ISZERO
00001b49: PUSH2 0x1b4e
00001b4c: JUMPI
00001b4d: INVALID
00001b4e: JUMPDEST
00001b4f: PUSH2 0x02c6
00001b52: GAS
00001b53: SUB
00001b54: CALL
00001b55: ISZERO
00001b56: ISZERO
00001b57: PUSH2 0x1b5c
00001b5a: JUMPI
00001b5b: INVALID
00001b5c: JUMPDEST
00001b5d: POP
00001b5e: POP
00001b5f: PUSH1 0x40
00001b61: DUP1
00001b62: MLOAD
00001b63: DUP1
00001b64: MLOAD
00001b65: PUSH1 0x01
00001b67: DUP1
00001b68: SLOAD
00001b69: PUSH1 0x01
00001b6b: PUSH1 0xa0
00001b6d: PUSH1 0x02
00001b6f: EXP
00001b70: SUB
00001b71: NOT
00001b72: AND
00001b73: PUSH1 0x01
00001b75: PUSH1 0xa0
00001b77: PUSH1 0x02
00001b79: EXP
00001b7a: SUB
00001b7b: SWAP3
00001b7c: DUP4
00001b7d: AND
00001b7e: OR
00001b7f: SWAP1
00001b80: DUP2
00001b81: SWAP1
00001b82: SSTORE
00001b83: PUSH1 0x00
00001b85: PUSH1 0x20
00001b87: SWAP4
00001b88: DUP5
00001b89: ADD
00001b8a: DUP2
00001b8b: SWAP1
00001b8c: MSTORE
00001b8d: DUP5
00001b8e: MLOAD
00001b8f: PUSH32 0xabaa5f3e00000000000000000000000000000000000000000000000000000000
00001bb0: DUP2
00001bb1: MSTORE
00001bb2: SWAP5
00001bb3: MLOAD
00001bb4: SWAP2
00001bb5: SWAP1
00001bb6: SWAP3
00001bb7: AND
00001bb8: SWAP5
00001bb9: POP
00001bba: PUSH4 0xabaa5f3e
00001bbf: SWAP4
00001bc0: PUSH1 0x04
00001bc2: DUP1
00001bc3: DUP3
00001bc4: ADD
00001bc5: SWAP5
00001bc6: SWAP4
00001bc7: SWAP2
00001bc8: DUP4
00001bc9: SWAP1
00001bca: SUB
00001bcb: ADD
00001bcc: SWAP1
00001bcd: DUP3
00001bce: SWAP1
00001bcf: DUP8
00001bd0: DUP1
00001bd1: EXTCODESIZE
00001bd2: ISZERO
00001bd3: ISZERO
00001bd4: PUSH2 0x1bd9
00001bd7: JUMPI
00001bd8: INVALID
00001bd9: JUMPDEST
00001bda: PUSH2 0x02c6
00001bdd: GAS
00001bde: SUB
00001bdf: CALL
00001be0: ISZERO
00001be1: ISZERO
00001be2: PUSH2 0x1be7
00001be5: JUMPI
00001be6: INVALID
00001be7: JUMPDEST
00001be8: POP
00001be9: POP
00001bea: PUSH1 0x40
00001bec: MLOAD
00001bed: MLOAD
00001bee: SWAP2
00001bef: POP
00001bf0: POP
00001bf1: JUMPDEST
00001bf2: JUMPDEST
00001bf3: SWAP1
00001bf4: JUMP
00001bf5: JUMPDEST
00001bf6: PUSH1 0x00
00001bf8: PUSH2 0x1bff
00001bfb: PUSH2 0x3457
00001bfe: JUMP
00001bff: JUMPDEST
00001c00: PUSH1 0x00
00001c02: SLOAD
00001c03: PUSH1 0x01
00001c05: PUSH1 0xa0
00001c07: PUSH1 0x02
00001c09: EXP
00001c0a: SUB
00001c0b: AND
00001c0c: ISZERO
00001c0d: DUP1
00001c0e: PUSH2 0x1c29
00001c11: JUMPI
00001c12: POP
00001c13: PUSH1 0x00
00001c15: SLOAD
00001c16: PUSH2 0x1c27
00001c19: SWAP1
00001c1a: PUSH1 0x01
00001c1c: PUSH1 0xa0
00001c1e: PUSH1 0x02
00001c20: EXP
00001c21: SUB
00001c22: AND
00001c23: PUSH2 0x176f
00001c26: JUMP
00001c27: JUMPDEST
00001c28: ISZERO
00001c29: JUMPDEST
00001c2a: ISZERO
00001c2b: PUSH2 0x1c38
00001c2e: JUMPI
00001c2f: PUSH2 0x1c36
00001c32: PUSH2 0x1777
00001c35: JUMP
00001c36: JUMPDEST
00001c37: POP
00001c38: JUMPDEST
00001c39: PUSH1 0x00
00001c3b: PUSH1 0x00
00001c3d: SWAP1
00001c3e: SLOAD
00001c3f: SWAP1
00001c40: PUSH2 0x0100
00001c43: EXP
00001c44: SWAP1
00001c45: DIV
00001c46: PUSH1 0x01
00001c48: PUSH1 0xa0
00001c4a: PUSH1 0x02
00001c4c: EXP
00001c4d: SUB
00001c4e: AND
00001c4f: PUSH1 0x01
00001c51: PUSH1 0xa0
00001c53: PUSH1 0x02
00001c55: EXP
00001c56: SUB
00001c57: AND
00001c58: PUSH4 0x38cc4831
00001c5d: PUSH1 0x00
00001c5f: PUSH1 0x40
00001c61: MLOAD
00001c62: PUSH1 0x20
00001c64: ADD
00001c65: MSTORE
00001c66: PUSH1 0x40
00001c68: MLOAD
00001c69: DUP2
00001c6a: PUSH4 0xffffffff
00001c6f: AND
00001c70: PUSH1 0xe0
00001c72: PUSH1 0x02
00001c74: EXP
00001c75: MUL
00001c76: DUP2
00001c77: MSTORE
00001c78: PUSH1 0x04
00001c7a: ADD
00001c7b: DUP1
00001c7c: SWAP1
00001c7d: POP
00001c7e: PUSH1 0x20
00001c80: PUSH1 0x40
00001c82: MLOAD
00001c83: DUP1
00001c84: DUP4
00001c85: SUB
00001c86: DUP2
00001c87: PUSH1 0x00
00001c89: DUP8
00001c8a: DUP1
00001c8b: EXTCODESIZE
00001c8c: ISZERO
00001c8d: ISZERO
00001c8e: PUSH2 0x1c93
00001c91: JUMPI
00001c92: INVALID
00001c93: JUMPDEST
00001c94: PUSH2 0x02c6
00001c97: GAS
00001c98: SUB
00001c99: CALL
00001c9a: ISZERO
00001c9b: ISZERO
00001c9c: PUSH2 0x1ca1
00001c9f: JUMPI
00001ca0: INVALID
00001ca1: JUMPDEST
00001ca2: POP
00001ca3: POP
00001ca4: PUSH1 0x40
00001ca6: MLOAD
00001ca7: DUP1
00001ca8: MLOAD
00001ca9: PUSH1 0x01
00001cab: DUP1
00001cac: SLOAD
00001cad: PUSH1 0x01
00001caf: PUSH1 0xa0
00001cb1: PUSH1 0x02
00001cb3: EXP
00001cb4: SUB
00001cb5: NOT
00001cb6: AND
00001cb7: PUSH1 0x01
00001cb9: PUSH1 0xa0
00001cbb: PUSH1 0x02
00001cbd: EXP
00001cbe: SUB
00001cbf: SWAP1
00001cc0: SWAP3
00001cc1: AND
00001cc2: SWAP2
00001cc3: SWAP1
00001cc4: SWAP2
00001cc5: OR
00001cc6: SWAP1
00001cc7: SSTORE
00001cc8: PUSH1 0x03
00001cca: SWAP2
00001ccb: POP
00001ccc: DUP1
00001ccd: MSIZE
00001cce: LT
00001ccf: PUSH2 0x1cd5
00001cd2: JUMPI
00001cd3: POP
00001cd4: MSIZE
00001cd5: JUMPDEST
00001cd6: SWAP1
00001cd7: DUP1
00001cd8: DUP3
00001cd9: MSTORE
00001cda: DUP1
00001cdb: PUSH1 0x20
00001cdd: MUL
00001cde: PUSH1 0x20
00001ce0: ADD
00001ce1: DUP3
00001ce2: ADD
00001ce3: PUSH1 0x40
00001ce5: MSTORE
00001ce6: DUP1
00001ce7: ISZERO
00001ce8: PUSH2 0x1d0b
00001ceb: JUMPI
00001cec: DUP2
00001ced: PUSH1 0x20
00001cef: ADD
00001cf0: JUMPDEST
00001cf1: PUSH2 0x1cf8
00001cf4: PUSH2 0x3457
00001cf7: JUMP
00001cf8: JUMPDEST
00001cf9: DUP2
00001cfa: MSTORE
00001cfb: PUSH1 0x20
00001cfd: ADD
00001cfe: SWAP1
00001cff: PUSH1 0x01
00001d01: SWAP1
00001d02: SUB
00001d03: SWAP1
00001d04: DUP2
00001d05: PUSH2 0x1cf0
00001d08: JUMPI
00001d09: SWAP1
00001d0a: POP
00001d0b: JUMPDEST
00001d0c: POP
00001d0d: SWAP1
00001d0e: POP
00001d0f: DUP4
00001d10: PUSH1 0x00
00001d12: JUMPDEST
00001d13: PUSH1 0x20
00001d15: MUL
00001d16: ADD
00001d17: MLOAD
00001d18: DUP2
00001d19: PUSH1 0x00
00001d1b: DUP2
00001d1c: MLOAD
00001d1d: DUP2
00001d1e: LT
00001d1f: ISZERO
00001d20: ISZERO
00001d21: PUSH2 0x1d26
00001d24: JUMPI
00001d25: INVALID
00001d26: JUMPDEST
00001d27: PUSH1 0x20
00001d29: SWAP1
00001d2a: DUP2
00001d2b: MUL
00001d2c: SWAP1
00001d2d: SWAP2
00001d2e: ADD
00001d2f: ADD
00001d30: MSTORE
00001d31: DUP4
00001d32: PUSH1 0x01
00001d34: JUMPDEST
00001d35: PUSH1 0x20
00001d37: MUL
00001d38: ADD
00001d39: MLOAD
00001d3a: DUP2
00001d3b: PUSH1 0x01
00001d3d: DUP2
00001d3e: MLOAD
00001d3f: DUP2
00001d40: LT
00001d41: ISZERO
00001d42: ISZERO
00001d43: PUSH2 0x1d48
00001d46: JUMPI
00001d47: INVALID
00001d48: JUMPDEST
00001d49: PUSH1 0x20
00001d4b: SWAP1
00001d4c: DUP2
00001d4d: MUL
00001d4e: SWAP1
00001d4f: SWAP2
00001d50: ADD
00001d51: ADD
00001d52: MSTORE
00001d53: DUP4
00001d54: PUSH1 0x02
00001d56: JUMPDEST
00001d57: PUSH1 0x20
00001d59: MUL
00001d5a: ADD
00001d5b: MLOAD
00001d5c: DUP2
00001d5d: PUSH1 0x02
00001d5f: DUP2
00001d60: MLOAD
00001d61: DUP2
00001d62: LT
00001d63: ISZERO
00001d64: ISZERO
00001d65: PUSH2 0x1d6a
00001d68: JUMPI
00001d69: INVALID
00001d6a: JUMPDEST
00001d6b: PUSH1 0x20
00001d6d: SWAP1
00001d6e: DUP2
00001d6f: MUL
00001d70: SWAP1
00001d71: SWAP2
00001d72: ADD
00001d73: ADD
00001d74: MSTORE
00001d75: PUSH2 0x1d80
00001d78: DUP7
00001d79: DUP7
00001d7a: DUP4
00001d7b: DUP7
00001d7c: PUSH2 0x202a
00001d7f: JUMP
00001d80: JUMPDEST
00001d81: SWAP2
00001d82: POP
00001d83: JUMPDEST
00001d84: JUMPDEST
00001d85: POP
00001d86: SWAP5
00001d87: SWAP4
00001d88: POP
00001d89: POP
00001d8a: POP
00001d8b: POP
00001d8c: JUMP
00001d8d: JUMPDEST
00001d8e: PUSH1 0x00
00001d90: DUP3
00001d91: DUP2
00001d92: MSTORE
00001d93: PUSH1 0x03
00001d95: PUSH1 0x20
00001d97: MSTORE
00001d98: PUSH1 0x40
00001d9a: SWAP1
00001d9b: KECCAK256
00001d9c: DUP2
00001d9d: SWAP1
00001d9e: SSTORE
00001d9f: JUMPDEST
00001da0: POP
00001da1: POP
00001da2: JUMP
00001da3: JUMPDEST
00001da4: PUSH1 0x00
00001da6: DUP1
00001da7: SLOAD
00001da8: PUSH1 0x01
00001daa: PUSH1 0xa0
00001dac: PUSH1 0x02
00001dae: EXP
00001daf: SUB
00001db0: AND
00001db1: ISZERO
00001db2: DUP1
00001db3: PUSH2 0x1dce
00001db6: JUMPI
00001db7: POP
00001db8: PUSH1 0x00
00001dba: SLOAD
00001dbb: PUSH2 0x1dcc
00001dbe: SWAP1
00001dbf: PUSH1 0x01
00001dc1: PUSH1 0xa0
00001dc3: PUSH1 0x02
00001dc5: EXP
00001dc6: SUB
00001dc7: AND
00001dc8: PUSH2 0x176f
00001dcb: JUMP
00001dcc: JUMPDEST
00001dcd: ISZERO
00001dce: JUMPDEST
00001dcf: ISZERO
00001dd0: PUSH2 0x1ddd
00001dd3: JUMPI
00001dd4: PUSH2 0x1ddb
00001dd7: PUSH2 0x1777
00001dda: JUMP
00001ddb: JUMPDEST
00001ddc: POP
00001ddd: JUMPDEST
00001dde: PUSH1 0x00
00001de0: PUSH1 0x00
00001de2: SWAP1
00001de3: SLOAD
00001de4: SWAP1
00001de5: PUSH2 0x0100
00001de8: EXP
00001de9: SWAP1
00001dea: DIV
00001deb: PUSH1 0x01
00001ded: PUSH1 0xa0
00001def: PUSH1 0x02
00001df1: EXP
00001df2: SUB
00001df3: AND
00001df4: PUSH1 0x01
00001df6: PUSH1 0xa0
00001df8: PUSH1 0x02
00001dfa: EXP
00001dfb: SUB
00001dfc: AND
00001dfd: PUSH4 0x38cc4831
00001e02: PUSH1 0x00
00001e04: PUSH1 0x40
00001e06: MLOAD
00001e07: PUSH1 0x20
00001e09: ADD
00001e0a: MSTORE
00001e0b: PUSH1 0x40
00001e0d: MLOAD
00001e0e: DUP2
00001e0f: PUSH4 0xffffffff
00001e14: AND
00001e15: PUSH1 0xe0
00001e17: PUSH1 0x02
00001e19: EXP
00001e1a: MUL
00001e1b: DUP2
00001e1c: MSTORE
00001e1d: PUSH1 0x04
00001e1f: ADD
00001e20: DUP1
00001e21: SWAP1
00001e22: POP
00001e23: PUSH1 0x20
00001e25: PUSH1 0x40
00001e27: MLOAD
00001e28: DUP1
00001e29: DUP4
00001e2a: SUB
00001e2b: DUP2
00001e2c: PUSH1 0x00
00001e2e: DUP8
00001e2f: DUP1
00001e30: EXTCODESIZE
00001e31: ISZERO
00001e32: ISZERO
00001e33: PUSH2 0x1e38
00001e36: JUMPI
00001e37: INVALID
00001e38: JUMPDEST
00001e39: PUSH2 0x02c6
00001e3c: GAS
00001e3d: SUB
00001e3e: CALL
00001e3f: ISZERO
00001e40: ISZERO
00001e41: PUSH2 0x1e46
00001e44: JUMPI
00001e45: INVALID
00001e46: JUMPDEST
00001e47: POP
00001e48: POP
00001e49: PUSH1 0x40
00001e4b: DUP1
00001e4c: MLOAD
00001e4d: DUP1
00001e4e: MLOAD
00001e4f: PUSH1 0x01
00001e51: DUP1
00001e52: SLOAD
00001e53: PUSH1 0x01
00001e55: PUSH1 0xa0
00001e57: PUSH1 0x02
00001e59: EXP
00001e5a: SUB
00001e5b: NOT
00001e5c: AND
00001e5d: PUSH1 0x01
00001e5f: PUSH1 0xa0
00001e61: PUSH1 0x02
00001e63: EXP
00001e64: SUB
00001e65: SWAP3
00001e66: DUP4
00001e67: AND
00001e68: OR
00001e69: SWAP1
00001e6a: DUP2
00001e6b: SWAP1
00001e6c: SSTORE
00001e6d: PUSH1 0x00
00001e6f: PUSH1 0x20
00001e71: SWAP4
00001e72: DUP5
00001e73: ADD
00001e74: DUP2
00001e75: SWAP1
00001e76: MSTORE
00001e77: DUP5
00001e78: MLOAD
00001e79: PUSH32 0xc281d19e00000000000000000000000000000000000000000000000000000000
00001e9a: DUP2
00001e9b: MSTORE
00001e9c: SWAP5
00001e9d: MLOAD
00001e9e: SWAP2
00001e9f: SWAP1
00001ea0: SWAP3
00001ea1: AND
00001ea2: SWAP5
00001ea3: POP
00001ea4: PUSH4 0xc281d19e
00001ea9: SWAP4
00001eaa: PUSH1 0x04
00001eac: DUP1
00001ead: DUP3
00001eae: ADD
00001eaf: SWAP5
00001eb0: SWAP4
00001eb1: SWAP2
00001eb2: DUP4
00001eb3: SWAP1
00001eb4: SUB
00001eb5: ADD
00001eb6: SWAP1
00001eb7: DUP3
00001eb8: SWAP1
00001eb9: DUP8
00001eba: DUP1
00001ebb: EXTCODESIZE
00001ebc: ISZERO
00001ebd: ISZERO
00001ebe: PUSH2 0x1bd9
00001ec1: JUMPI
00001ec2: INVALID
00001ec3: JUMPDEST
00001ec4: PUSH2 0x02c6
00001ec7: GAS
00001ec8: SUB
00001ec9: CALL
00001eca: ISZERO
00001ecb: ISZERO
00001ecc: PUSH2 0x1be7
00001ecf: JUMPI
00001ed0: INVALID
00001ed1: JUMPDEST
00001ed2: POP
00001ed3: POP
00001ed4: PUSH1 0x40
00001ed6: MLOAD
00001ed7: MLOAD
00001ed8: SWAP2
00001ed9: POP
00001eda: POP
00001edb: JUMPDEST
00001edc: JUMPDEST
00001edd: SWAP1
00001ede: JUMP
00001edf: JUMPDEST
00001ee0: PUSH1 0x00
00001ee2: PUSH1 0x00
00001ee4: DUP3
00001ee5: PUSH1 0x00
00001ee7: DUP2
00001ee8: MLOAD
00001ee9: DUP2
00001eea: LT
00001eeb: ISZERO
00001eec: ISZERO
00001eed: PUSH2 0x1ef2
00001ef0: JUMPI
00001ef1: INVALID
00001ef2: JUMPDEST
00001ef3: SWAP1
00001ef4: PUSH1 0x20
00001ef6: ADD
00001ef7: ADD
00001ef8: MLOAD
00001ef9: PUSH1 0xf8
00001efb: PUSH1 0x02
00001efd: EXP
00001efe: SWAP1
00001eff: DIV
00001f00: PUSH1 0xf8
00001f02: PUSH1 0x02
00001f04: EXP
00001f05: MUL
00001f06: PUSH1 0x01
00001f08: PUSH1 0xf8
00001f0a: PUSH1 0x02
00001f0c: EXP
00001f0d: SUB
00001f0e: NOT
00001f0f: AND
00001f10: PUSH32 0x4c00000000000000000000000000000000000000000000000000000000000000
00001f31: EQ
00001f32: ISZERO
00001f33: DUP1
00001f34: PUSH2 0x1f88
00001f37: JUMPI
00001f38: POP
00001f39: DUP3
00001f3a: PUSH1 0x01
00001f3c: DUP2
00001f3d: MLOAD
00001f3e: DUP2
00001f3f: LT
00001f40: ISZERO
00001f41: ISZERO
00001f42: PUSH2 0x1f47
00001f45: JUMPI
00001f46: INVALID
00001f47: JUMPDEST
00001f48: SWAP1
00001f49: PUSH1 0x20
00001f4b: ADD
00001f4c: ADD
00001f4d: MLOAD
00001f4e: PUSH1 0xf8
00001f50: PUSH1 0x02
00001f52: EXP
00001f53: SWAP1
00001f54: DIV
00001f55: PUSH1 0xf8
00001f57: PUSH1 0x02
00001f59: EXP
00001f5a: MUL
00001f5b: PUSH1 0x01
00001f5d: PUSH1 0xf8
00001f5f: PUSH1 0x02
00001f61: EXP
00001f62: SUB
00001f63: NOT
00001f64: AND
00001f65: PUSH32 0x5000000000000000000000000000000000000000000000000000000000000000
00001f86: EQ
00001f87: ISZERO
00001f88: JUMPDEST
00001f89: DUP1
00001f8a: PUSH2 0x1fd2
00001f8d: JUMPI
00001f8e: POP
00001f8f: DUP3
00001f90: PUSH1 0x02
00001f92: DUP2
00001f93: MLOAD
00001f94: DUP2
00001f95: LT
00001f96: ISZERO
00001f97: ISZERO
00001f98: PUSH2 0x1f9d
00001f9b: JUMPI
00001f9c: INVALID
00001f9d: JUMPDEST
00001f9e: ADD
00001f9f: PUSH1 0x20
00001fa1: ADD
00001fa2: MLOAD
00001fa3: PUSH32 0xff00000000000000000000000000000000000000000000000000000000000000
00001fc4: PUSH1 0xf8
00001fc6: PUSH1 0x02
00001fc8: EXP
00001fc9: SWAP2
00001fca: DUP3
00001fcb: SWAP1
00001fcc: DIV
00001fcd: DUP3
00001fce: MUL
00001fcf: AND
00001fd0: EQ
00001fd1: ISZERO
00001fd2: JUMPDEST
00001fd3: ISZERO
00001fd4: PUSH2 0x1fe0
00001fd7: JUMPI
00001fd8: PUSH1 0x01
00001fda: SWAP2
00001fdb: POP
00001fdc: PUSH2 0x200a
00001fdf: JUMP
00001fe0: JUMPDEST
00001fe1: PUSH2 0x1ff3
00001fe4: DUP4
00001fe5: DUP7
00001fe6: DUP7
00001fe7: PUSH2 0x1fee
00001fea: PUSH2 0x2386
00001fed: JUMP
00001fee: JUMPDEST
00001fef: PUSH2 0x241c
00001ff2: JUMP
00001ff3: JUMPDEST
00001ff4: SWAP1
00001ff5: POP
00001ff6: DUP1
00001ff7: ISZERO
00001ff8: ISZERO
00001ff9: PUSH2 0x2005
00001ffc: JUMPI
00001ffd: PUSH1 0x02
00001fff: SWAP2
00002000: POP
00002001: PUSH2 0x200a
00002004: JUMP
00002005: JUMPDEST
00002006: PUSH1 0x00
00002008: SWAP2
00002009: POP
0000200a: JUMPDEST
0000200b: POP
0000200c: SWAP4
0000200d: SWAP3
0000200e: POP
0000200f: POP
00002010: POP
00002011: JUMP
00002012: JUMPDEST
00002013: DUP1
00002014: MLOAD
00002015: PUSH2 0x0dfb
00002018: SWAP1
00002019: PUSH1 0x02
0000201b: SWAP1
0000201c: PUSH1 0x20
0000201e: DUP5
0000201f: ADD
00002020: SWAP1
00002021: PUSH2 0x34bb
00002024: JUMP
00002025: JUMPDEST
00002026: POP
00002027: JUMPDEST
00002028: POP
00002029: JUMP
0000202a: JUMPDEST
0000202b: PUSH1 0x00
0000202d: PUSH1 0x00
0000202f: PUSH2 0x2036
00002032: PUSH2 0x3457
00002035: JUMP
00002036: JUMPDEST
00002037: PUSH1 0x00
00002039: SLOAD
0000203a: PUSH1 0x01
0000203c: PUSH1 0xa0
0000203e: PUSH1 0x02
00002040: EXP
00002041: SUB
00002042: AND
00002043: ISZERO
00002044: DUP1
00002045: PUSH2 0x2060
00002048: JUMPI
00002049: POP
0000204a: PUSH1 0x00
0000204c: SLOAD
0000204d: PUSH2 0x205e
00002050: SWAP1
00002051: PUSH1 0x01
00002053: PUSH1 0xa0
00002055: PUSH1 0x02
00002057: EXP
00002058: SUB
00002059: AND
0000205a: PUSH2 0x176f
0000205d: JUMP
0000205e: JUMPDEST
0000205f: ISZERO
00002060: JUMPDEST
00002061: ISZERO
00002062: PUSH2 0x206f
00002065: JUMPI
00002066: PUSH2 0x206d
00002069: PUSH2 0x1777
0000206c: JUMP
0000206d: JUMPDEST
0000206e: POP
0000206f: JUMPDEST
00002070: PUSH1 0x00
00002072: PUSH1 0x00
00002074: SWAP1
00002075: SLOAD
00002076: SWAP1
00002077: PUSH2 0x0100
0000207a: EXP
0000207b: SWAP1
0000207c: DIV
0000207d: PUSH1 0x01
0000207f: PUSH1 0xa0
00002081: PUSH1 0x02
00002083: EXP
00002084: SUB
00002085: AND
00002086: PUSH1 0x01
00002088: PUSH1 0xa0
0000208a: PUSH1 0x02
0000208c: EXP
0000208d: SUB
0000208e: AND
0000208f: PUSH4 0x38cc4831
00002094: PUSH1 0x00
00002096: PUSH1 0x40
00002098: MLOAD
00002099: PUSH1 0x20
0000209b: ADD
0000209c: MSTORE
0000209d: PUSH1 0x40
0000209f: MLOAD
000020a0: DUP2
000020a1: PUSH4 0xffffffff
000020a6: AND
000020a7: PUSH1 0xe0
000020a9: PUSH1 0x02
000020ab: EXP
000020ac: MUL
000020ad: DUP2
000020ae: MSTORE
000020af: PUSH1 0x04
000020b1: ADD
000020b2: DUP1
000020b3: SWAP1
000020b4: POP
000020b5: PUSH1 0x20
000020b7: PUSH1 0x40
000020b9: MLOAD
000020ba: DUP1
000020bb: DUP4
000020bc: SUB
000020bd: DUP2
000020be: PUSH1 0x00
000020c0: DUP8
000020c1: DUP1
000020c2: EXTCODESIZE
000020c3: ISZERO
000020c4: ISZERO
000020c5: PUSH2 0x20ca
000020c8: JUMPI
000020c9: INVALID
000020ca: JUMPDEST
000020cb: PUSH2 0x02c6
000020ce: GAS
000020cf: SUB
000020d0: CALL
000020d1: ISZERO
000020d2: ISZERO
000020d3: PUSH2 0x20d8
000020d6: JUMPI
000020d7: INVALID
000020d8: JUMPDEST
000020d9: POP
000020da: POP
000020db: PUSH1 0x40
000020dd: DUP1
000020de: MLOAD
000020df: DUP1
000020e0: MLOAD
000020e1: PUSH1 0x01
000020e3: DUP1
000020e4: SLOAD
000020e5: PUSH1 0x01
000020e7: PUSH1 0xa0
000020e9: PUSH1 0x02
000020eb: EXP
000020ec: SUB
000020ed: NOT
000020ee: AND
000020ef: PUSH1 0x01
000020f1: PUSH1 0xa0
000020f3: PUSH1 0x02
000020f5: EXP
000020f6: SUB
000020f7: SWAP3
000020f8: DUP4
000020f9: AND
000020fa: OR
000020fb: SWAP1
000020fc: DUP2
000020fd: SWAP1
000020fe: SSTORE
000020ff: PUSH1 0x00
00002101: PUSH1 0x20
00002103: SWAP4
00002104: DUP5
00002105: ADD
00002106: MSTORE
00002107: DUP4
00002108: MLOAD
00002109: PUSH32 0x2ef3accc00000000000000000000000000000000000000000000000000000000
0000212a: DUP2
0000212b: MSTORE
0000212c: PUSH1 0x24
0000212e: DUP2
0000212f: ADD
00002130: DUP11
00002131: SWAP1
00002132: MSTORE
00002133: PUSH1 0x04
00002135: DUP2
00002136: ADD
00002137: SWAP5
00002138: DUP6
00002139: MSTORE
0000213a: DUP12
0000213b: MLOAD
0000213c: PUSH1 0x44
0000213e: DUP3
0000213f: ADD
00002140: MSTORE
00002141: DUP12
00002142: MLOAD
00002143: SWAP2
00002144: SWAP1
00002145: SWAP3
00002146: AND
00002147: SWAP5
00002148: POP
00002149: PUSH4 0x2ef3accc
0000214e: SWAP4
0000214f: DUP12
00002150: SWAP4
00002151: DUP11
00002152: SWAP4
00002153: SWAP2
00002154: SWAP3
00002155: DUP4
00002156: SWAP3
00002157: PUSH1 0x64
00002159: ADD
0000215a: SWAP2
0000215b: DUP7
0000215c: ADD
0000215d: SWAP1
0000215e: DUP1
0000215f: DUP4
00002160: DUP4
00002161: DUP3
00002162: ISZERO
00002163: PUSH2 0x2187
00002166: JUMPI
00002167: JUMPDEST
00002168: DUP1
00002169: MLOAD
0000216a: DUP3
0000216b: MSTORE
0000216c: PUSH1 0x20
0000216e: DUP4
0000216f: GT
00002170: ISZERO
00002171: PUSH2 0x2187
00002174: JUMPI
00002175: PUSH1 0x1f
00002177: NOT
00002178: SWAP1
00002179: SWAP3
0000217a: ADD
0000217b: SWAP2
0000217c: PUSH1 0x20
0000217e: SWAP2
0000217f: DUP3
00002180: ADD
00002181: SWAP2
00002182: ADD
00002183: PUSH2 0x2167
00002186: JUMP
00002187: JUMPDEST
00002188: POP
00002189: POP
0000218a: POP
0000218b: SWAP1
0000218c: POP
0000218d: SWAP1
0000218e: DUP2
0000218f: ADD
00002190: SWAP1
00002191: PUSH1 0x1f
00002193: AND
00002194: DUP1
00002195: ISZERO
00002196: PUSH2 0x21b3
00002199: JUMPI
0000219a: DUP1
0000219b: DUP3
0000219c: SUB
0000219d: DUP1
0000219e: MLOAD
0000219f: PUSH1 0x01
000021a1: DUP4
000021a2: PUSH1 0x20
000021a4: SUB
000021a5: PUSH2 0x0100
000021a8: EXP
000021a9: SUB
000021aa: NOT
000021ab: AND
000021ac: DUP2
000021ad: MSTORE
000021ae: PUSH1 0x20
000021b0: ADD
000021b1: SWAP2
000021b2: POP
000021b3: JUMPDEST
000021b4: POP
000021b5: SWAP4
000021b6: POP
000021b7: POP
000021b8: POP
000021b9: POP
000021ba: PUSH1 0x20
000021bc: PUSH1 0x40
000021be: MLOAD
000021bf: DUP1
000021c0: DUP4
000021c1: SUB
000021c2: DUP2
000021c3: PUSH1 0x00
000021c5: DUP8
000021c6: DUP1
000021c7: EXTCODESIZE
000021c8: ISZERO
000021c9: ISZERO
000021ca: PUSH2 0x21cf
000021cd: JUMPI
000021ce: INVALID
000021cf: JUMPDEST
000021d0: PUSH2 0x02c6
000021d3: GAS
000021d4: SUB
000021d5: CALL
000021d6: ISZERO
000021d7: ISZERO
000021d8: PUSH2 0x21dd
000021db: JUMPI
000021dc: INVALID
000021dd: JUMPDEST
000021de: POP
000021df: POP
000021e0: PUSH1 0x40
000021e2: MLOAD
000021e3: MLOAD
000021e4: SWAP3
000021e5: POP
000021e6: POP
000021e7: PUSH8 0x0de0b6b3a7640000
000021f0: GASPRICE
000021f1: DUP6
000021f2: MUL
000021f3: ADD
000021f4: DUP3
000021f5: GT
000021f6: ISZERO
000021f7: PUSH2 0x2203
000021fa: JUMPI
000021fb: PUSH1 0x00
000021fd: SWAP3
000021fe: POP
000021ff: PUSH2 0x237b
00002202: JUMP
00002203: JUMPDEST
00002204: PUSH2 0x220c
00002207: DUP6
00002208: PUSH2 0x298c
0000220b: JUMP
0000220c: JUMPDEST
0000220d: SWAP1
0000220e: POP
0000220f: PUSH1 0x01
00002211: PUSH1 0x00
00002213: SWAP1
00002214: SLOAD
00002215: SWAP1
00002216: PUSH2 0x0100
00002219: EXP
0000221a: SWAP1
0000221b: DIV
0000221c: PUSH1 0x01
0000221e: PUSH1 0xa0
00002220: PUSH1 0x02
00002222: EXP
00002223: SUB
00002224: AND
00002225: PUSH1 0x01
00002227: PUSH1 0xa0
00002229: PUSH1 0x02
0000222b: EXP
0000222c: SUB
0000222d: AND
0000222e: PUSH4 0xc55c1cb6
00002233: DUP4
00002234: DUP10
00002235: DUP10
00002236: DUP6
00002237: DUP10
00002238: PUSH1 0x00
0000223a: PUSH1 0x40
0000223c: MLOAD
0000223d: PUSH1 0x20
0000223f: ADD
00002240: MSTORE
00002241: PUSH1 0x40
00002243: MLOAD
00002244: DUP7
00002245: PUSH4 0xffffffff
0000224a: AND
0000224b: PUSH1 0xe0
0000224d: PUSH1 0x02
0000224f: EXP
00002250: MUL
00002251: DUP2
00002252: MSTORE
00002253: PUSH1 0x04
00002255: ADD
00002256: DUP1
00002257: DUP6
00002258: DUP2
00002259: MSTORE
0000225a: PUSH1 0x20
0000225c: ADD
0000225d: DUP1
0000225e: PUSH1 0x20
00002260: ADD
00002261: DUP1
00002262: PUSH1 0x20
00002264: ADD
00002265: DUP5
00002266: DUP2
00002267: MSTORE
00002268: PUSH1 0x20
0000226a: ADD
0000226b: DUP4
0000226c: DUP2
0000226d: SUB
0000226e: DUP4
0000226f: MSTORE
00002270: DUP7
00002271: DUP2
00002272: DUP2
00002273: MLOAD
00002274: DUP2
00002275: MSTORE
00002276: PUSH1 0x20
00002278: ADD
00002279: SWAP2
0000227a: POP
0000227b: DUP1
0000227c: MLOAD
0000227d: SWAP1
0000227e: PUSH1 0x20
00002280: ADD
00002281: SWAP1
00002282: DUP1
00002283: DUP4
00002284: DUP4
00002285: PUSH1 0x00
00002287: DUP4
00002288: EQ
00002289: PUSH2 0x22ad
0000228c: JUMPI
0000228d: JUMPDEST
0000228e: DUP1
0000228f: MLOAD
00002290: DUP3
00002291: MSTORE
00002292: PUSH1 0x20
00002294: DUP4
00002295: GT
00002296: ISZERO
00002297: PUSH2 0x22ad
0000229a: JUMPI
0000229b: PUSH1 0x1f
0000229d: NOT
0000229e: SWAP1
0000229f: SWAP3
000022a0: ADD
000022a1: SWAP2
000022a2: PUSH1 0x20
000022a4: SWAP2
000022a5: DUP3
000022a6: ADD
000022a7: SWAP2
000022a8: ADD
000022a9: PUSH2 0x228d
000022ac: JUMP
000022ad: JUMPDEST
000022ae: POP
000022af: POP
000022b0: POP
000022b1: SWAP1
000022b2: POP
000022b3: SWAP1
000022b4: DUP2
000022b5: ADD
000022b6: SWAP1
000022b7: PUSH1 0x1f
000022b9: AND
000022ba: DUP1
000022bb: ISZERO
000022bc: PUSH2 0x22d9
000022bf: JUMPI
000022c0: DUP1
000022c1: DUP3
000022c2: SUB
000022c3: DUP1
000022c4: MLOAD
000022c5: PUSH1 0x01
000022c7: DUP4
000022c8: PUSH1 0x20
000022ca: SUB
000022cb: PUSH2 0x0100
000022ce: EXP
000022cf: SUB
000022d0: NOT
000022d1: AND
000022d2: DUP2
000022d3: MSTORE
000022d4: PUSH1 0x20
000022d6: ADD
000022d7: SWAP2
000022d8: POP
000022d9: JUMPDEST
000022da: POP
000022db: DUP4
000022dc: DUP2
000022dd: SUB
000022de: DUP3
000022df: MSTORE
000022e0: DUP6
000022e1: MLOAD
000022e2: DUP2
000022e3: MSTORE
000022e4: DUP6
000022e5: MLOAD
000022e6: PUSH1 0x20
000022e8: SWAP2
000022e9: DUP3
000022ea: ADD
000022eb: SWAP2
000022ec: DUP8
000022ed: ADD
000022ee: SWAP1
000022ef: DUP1
000022f0: DUP4
000022f1: DUP4
000022f2: DUP3
000022f3: ISZERO
000022f4: PUSH2 0x2318
000022f7: JUMPI
000022f8: JUMPDEST
000022f9: DUP1
000022fa: MLOAD
000022fb: DUP3
000022fc: MSTORE
000022fd: PUSH1 0x20
000022ff: DUP4
00002300: GT
00002301: ISZERO
00002302: PUSH2 0x2318
00002305: JUMPI
00002306: PUSH1 0x1f
00002308: NOT
00002309: SWAP1
0000230a: SWAP3
0000230b: ADD
0000230c: SWAP2
0000230d: PUSH1 0x20
0000230f: SWAP2
00002310: DUP3
00002311: ADD
00002312: SWAP2
00002313: ADD
00002314: PUSH2 0x22f8
00002317: JUMP
00002318: JUMPDEST
00002319: POP
0000231a: POP
0000231b: POP
0000231c: SWAP1
0000231d: POP
0000231e: SWAP1
0000231f: DUP2
00002320: ADD
00002321: SWAP1
00002322: PUSH1 0x1f
00002324: AND
00002325: DUP1
00002326: ISZERO
00002327: PUSH2 0x2344
0000232a: JUMPI
0000232b: DUP1
0000232c: DUP3
0000232d: SUB
0000232e: DUP1
0000232f: MLOAD
00002330: PUSH1 0x01
00002332: DUP4
00002333: PUSH1 0x20
00002335: SUB
00002336: PUSH2 0x0100
00002339: EXP
0000233a: SUB
0000233b: NOT
0000233c: AND
0000233d: DUP2
0000233e: MSTORE
0000233f: PUSH1 0x20
00002341: ADD
00002342: SWAP2
00002343: POP
00002344: JUMPDEST
00002345: POP
00002346: SWAP7
00002347: POP
00002348: POP
00002349: POP
0000234a: POP
0000234b: POP
0000234c: POP
0000234d: POP
0000234e: PUSH1 0x20
00002350: PUSH1 0x40
00002352: MLOAD
00002353: DUP1
00002354: DUP4
00002355: SUB
00002356: DUP2
00002357: DUP6
00002358: DUP9
00002359: DUP1
0000235a: EXTCODESIZE
0000235b: ISZERO
0000235c: ISZERO
0000235d: PUSH2 0x2362
00002360: JUMPI
00002361: INVALID
00002362: JUMPDEST
00002363: PUSH2 0x25ee
00002366: GAS
00002367: SUB
00002368: CALL
00002369: ISZERO
0000236a: ISZERO
0000236b: PUSH2 0x2370
0000236e: JUMPI
0000236f: INVALID
00002370: JUMPDEST
00002371: POP
00002372: POP
00002373: PUSH1 0x40
00002375: MLOAD
00002376: MLOAD
00002377: SWAP5
00002378: POP
00002379: POP
0000237a: POP
0000237b: JUMPDEST
0000237c: JUMPDEST
0000237d: POP
0000237e: POP
0000237f: SWAP5
00002380: SWAP4
00002381: POP
00002382: POP
00002383: POP
00002384: POP
00002385: JUMP
00002386: JUMPDEST
00002387: PUSH2 0x238e
0000238a: PUSH2 0x3457
0000238d: JUMP
0000238e: JUMPDEST
0000238f: PUSH1 0x02
00002391: DUP1
00002392: SLOAD
00002393: PUSH1 0x40
00002395: DUP1
00002396: MLOAD
00002397: PUSH1 0x20
00002399: PUSH1 0x01
0000239b: DUP5
0000239c: AND
0000239d: ISZERO
0000239e: PUSH2 0x0100
000023a1: MUL
000023a2: PUSH1 0x00
000023a4: NOT
000023a5: ADD
000023a6: SWAP1
000023a7: SWAP4
000023a8: AND
000023a9: DUP5
000023aa: SWAP1
000023ab: DIV
000023ac: PUSH1 0x1f
000023ae: DUP2
000023af: ADD
000023b0: DUP5
000023b1: SWAP1
000023b2: DIV
000023b3: DUP5
000023b4: MUL
000023b5: DUP3
000023b6: ADD
000023b7: DUP5
000023b8: ADD
000023b9: SWAP1
000023ba: SWAP3
000023bb: MSTORE
000023bc: DUP2
000023bd: DUP2
000023be: MSTORE
000023bf: SWAP3
000023c0: SWAP2
000023c1: DUP4
000023c2: ADD
000023c3: DUP3
000023c4: DUP3
000023c5: DUP1
000023c6: ISZERO
000023c7: PUSH2 0x2411
000023ca: JUMPI
000023cb: DUP1
000023cc: PUSH1 0x1f
000023ce: LT
000023cf: PUSH2 0x23e6
000023d2: JUMPI
000023d3: PUSH2 0x0100
000023d6: DUP1
000023d7: DUP4
000023d8: SLOAD
000023d9: DIV
000023da: MUL
000023db: DUP4
000023dc: MSTORE
000023dd: SWAP2
000023de: PUSH1 0x20
000023e0: ADD
000023e1: SWAP2
000023e2: PUSH2 0x2411
000023e5: JUMP
000023e6: JUMPDEST
000023e7: DUP3
000023e8: ADD
000023e9: SWAP2
000023ea: SWAP1
000023eb: PUSH1 0x00
000023ed: MSTORE
000023ee: PUSH1 0x20
000023f0: PUSH1 0x00
000023f2: KECCAK256
000023f3: SWAP1
000023f4: JUMPDEST
000023f5: DUP2
000023f6: SLOAD
000023f7: DUP2
000023f8: MSTORE
000023f9: SWAP1
000023fa: PUSH1 0x01
000023fc: ADD
000023fd: SWAP1
000023fe: PUSH1 0x20
00002400: ADD
00002401: DUP1
00002402: DUP4
00002403: GT
00002404: PUSH2 0x23f4
00002407: JUMPI
00002408: DUP3
00002409: SWAP1
0000240a: SUB
0000240b: PUSH1 0x1f
0000240d: AND
0000240e: DUP3
0000240f: ADD
00002410: SWAP2
00002411: JUMPDEST
00002412: POP
00002413: POP
00002414: POP
00002415: POP
00002416: POP
00002417: SWAP1
00002418: POP
00002419: JUMPDEST
0000241a: SWAP1
0000241b: JUMP
0000241c: JUMPDEST
0000241d: PUSH1 0x00
0000241f: PUSH1 0x00
00002421: PUSH1 0x00
00002423: PUSH2 0x242a
00002426: PUSH2 0x3457
00002429: JUMP
0000242a: JUMPDEST
0000242b: PUSH2 0x2432
0000242e: PUSH2 0x3457
00002431: JUMP
00002432: JUMPDEST
00002433: PUSH2 0x243a
00002436: PUSH2 0x3457
00002439: JUMP
0000243a: JUMPDEST
0000243b: PUSH2 0x2442
0000243e: PUSH2 0x3457
00002441: JUMP
00002442: JUMPDEST
00002443: PUSH1 0x00
00002445: PUSH1 0x00
00002447: PUSH2 0x244e
0000244a: PUSH2 0x3457
0000244d: JUMP
0000244e: JUMPDEST
0000244f: DUP14
00002450: PUSH1 0x45
00002452: DUP2
00002453: MLOAD
00002454: DUP2
00002455: LT
00002456: ISZERO
00002457: ISZERO
00002458: PUSH2 0x245d
0000245b: JUMPI
0000245c: INVALID
0000245d: JUMPDEST
0000245e: SWAP1
0000245f: PUSH1 0x20
00002461: ADD
00002462: ADD
00002463: MLOAD
00002464: PUSH1 0xf8
00002466: PUSH1 0x02
00002468: EXP
00002469: SWAP1
0000246a: DIV
0000246b: PUSH1 0xf8
0000246d: PUSH1 0x02
0000246f: EXP
00002470: MUL
00002471: PUSH1 0xf8
00002473: PUSH1 0x02
00002475: EXP
00002476: SWAP1
00002477: DIV
00002478: PUSH1 0x02
0000247a: ADD
0000247b: PUSH1 0x44
0000247d: ADD
0000247e: PUSH1 0x20
00002480: ADD
00002481: SWAP8
00002482: POP
00002483: PUSH1 0x20
00002485: PUSH1 0x40
00002487: MLOAD
00002488: DUP1
00002489: MSIZE
0000248a: LT
0000248b: PUSH2 0x2491
0000248e: JUMPI
0000248f: POP
00002490: MSIZE
00002491: JUMPDEST
00002492: SWAP1
00002493: DUP1
00002494: DUP3
00002495: MSTORE
00002496: DUP1
00002497: PUSH1 0x20
00002499: MUL
0000249a: PUSH1 0x20
0000249c: ADD
0000249d: DUP3
0000249e: ADD
0000249f: PUSH1 0x40
000024a1: MSTORE
000024a2: JUMPDEST
000024a3: POP
000024a4: SWAP7
000024a5: POP
000024a6: PUSH2 0x24b4
000024a9: DUP15
000024aa: DUP10
000024ab: PUSH1 0x20
000024ad: DUP11
000024ae: PUSH1 0x00
000024b0: PUSH2 0x2d31
000024b3: JUMP
000024b4: JUMPDEST
000024b5: POP
000024b6: PUSH1 0x02
000024b8: DUP12
000024b9: DUP15
000024ba: PUSH1 0x00
000024bc: PUSH1 0x40
000024be: MLOAD
000024bf: PUSH1 0x20
000024c1: ADD
000024c2: MSTORE
000024c3: PUSH1 0x40
000024c5: MLOAD
000024c6: DUP1
000024c7: DUP4
000024c8: DUP1
000024c9: MLOAD
000024ca: SWAP1
000024cb: PUSH1 0x20
000024cd: ADD
000024ce: SWAP1
000024cf: DUP1
000024d0: DUP4
000024d1: DUP4
000024d2: JUMPDEST
000024d3: PUSH1 0x20
000024d5: DUP4
000024d6: LT
000024d7: PUSH2 0x24f1
000024da: JUMPI
000024db: DUP1
000024dc: MLOAD
000024dd: DUP3
000024de: MSTORE
000024df: PUSH1 0x1f
000024e1: NOT
000024e2: SWAP1
000024e3: SWAP3
000024e4: ADD
000024e5: SWAP2
000024e6: PUSH1 0x20
000024e8: SWAP2
000024e9: DUP3
000024ea: ADD
000024eb: SWAP2
000024ec: ADD
000024ed: PUSH2 0x24d2
000024f0: JUMP
000024f1: JUMPDEST
000024f2: MLOAD
000024f3: DUP2
000024f4: MLOAD
000024f5: PUSH1 0x20
000024f7: SWAP4
000024f8: DUP5
000024f9: SUB
000024fa: PUSH2 0x0100
000024fd: EXP
000024fe: PUSH1 0x00
00002500: NOT
00002501: ADD
00002502: DUP1
00002503: NOT
00002504: SWAP1
00002505: SWAP3
00002506: AND
00002507: SWAP2
00002508: AND
00002509: OR
0000250a: SWAP1
0000250b: MSTORE
0000250c: SWAP3
0000250d: ADD
0000250e: SWAP4
0000250f: DUP5
00002510: MSTORE
00002511: POP
00002512: PUSH1 0x40
00002514: MLOAD
00002515: DUP4
00002516: DUP3
00002517: ADD
00002518: SWAP5
00002519: POP
0000251a: SWAP1
0000251b: SWAP3
0000251c: SWAP1
0000251d: SWAP2
0000251e: POP
0000251f: DUP2
00002520: SWAP1
00002521: SUB
00002522: DUP3
00002523: ADD
00002524: DUP2
00002525: PUSH1 0x00
00002527: DUP7
00002528: PUSH2 0x646e
0000252b: GAS
0000252c: SUB
0000252d: CALL
0000252e: ISZERO
0000252f: ISZERO
00002530: PUSH2 0x2535
00002533: JUMPI
00002534: INVALID
00002535: JUMPDEST
00002536: POP
00002537: POP
00002538: PUSH1 0x40
0000253a: MLOAD
0000253b: PUSH1 0x20
0000253d: DUP1
0000253e: DUP3
0000253f: KECCAK256
00002540: DUP10
00002541: MLOAD
00002542: SWAP1
00002543: SWAP3
00002544: DUP11
00002545: SWAP3
00002546: SWAP1
00002547: SWAP2
00002548: DUP3
00002549: SWAP2
0000254a: DUP5
0000254b: ADD
0000254c: SWAP1
0000254d: DUP1
0000254e: DUP4
0000254f: DUP4
00002550: JUMPDEST
00002551: PUSH1 0x20
00002553: DUP4
00002554: LT
00002555: PUSH2 0x256f
00002558: JUMPI
00002559: DUP1
0000255a: MLOAD
0000255b: DUP3
0000255c: MSTORE
0000255d: PUSH1 0x1f
0000255f: NOT
00002560: SWAP1
00002561: SWAP3
00002562: ADD
00002563: SWAP2
00002564: PUSH1 0x20
00002566: SWAP2
00002567: DUP3
00002568: ADD
00002569: SWAP2
0000256a: ADD
0000256b: PUSH2 0x2550
0000256e: JUMP
0000256f: JUMPDEST
00002570: MLOAD
00002571: DUP2
00002572: MLOAD
00002573: PUSH1 0x20
00002575: SWAP4
00002576: SWAP1
00002577: SWAP4
00002578: SUB
00002579: PUSH2 0x0100
0000257c: EXP
0000257d: PUSH1 0x00
0000257f: NOT
00002580: ADD
00002581: DUP1
00002582: NOT
00002583: SWAP1
00002584: SWAP2
00002585: AND
00002586: SWAP3
00002587: AND
00002588: SWAP2
00002589: SWAP1
0000258a: SWAP2
0000258b: OR
0000258c: SWAP1
0000258d: MSTORE
0000258e: PUSH1 0x40
00002590: MLOAD
00002591: SWAP3
00002592: ADD
00002593: DUP3
00002594: SWAP1
00002595: SUB
00002596: SWAP1
00002597: SWAP2
00002598: KECCAK256
00002599: SWAP4
0000259a: SWAP1
0000259b: SWAP4
0000259c: EQ
0000259d: SWAP12
0000259e: POP
0000259f: DUP12
000025a0: SWAP3
000025a1: POP
000025a2: PUSH2 0x25b1
000025a5: SWAP2
000025a6: POP
000025a7: POP
000025a8: JUMPI
000025a9: PUSH1 0x00
000025ab: SWAP10
000025ac: POP
000025ad: PUSH2 0x297b
000025b0: JUMP
000025b1: JUMPDEST
000025b2: DUP14
000025b3: MLOAD
000025b4: DUP15
000025b5: SWAP1
000025b6: PUSH1 0x4a
000025b8: DUP11
000025b9: ADD
000025ba: SWAP1
000025bb: DUP2
000025bc: LT
000025bd: PUSH2 0x25c2
000025c0: JUMPI
000025c1: INVALID
000025c2: JUMPDEST
000025c3: SWAP1
000025c4: PUSH1 0x20
000025c6: ADD
000025c7: ADD
000025c8: MLOAD
000025c9: PUSH1 0xf8
000025cb: PUSH1 0x02
000025cd: EXP
000025ce: SWAP1
000025cf: DIV
000025d0: PUSH1 0xf8
000025d2: PUSH1 0x02
000025d4: EXP
000025d5: MUL
000025d6: PUSH1 0xf8
000025d8: PUSH1 0x02
000025da: EXP
000025db: SWAP1
000025dc: DIV
000025dd: PUSH1 0x02
000025df: ADD
000025e0: PUSH1 0x40
000025e2: MLOAD
000025e3: DUP1
000025e4: MSIZE
000025e5: LT
000025e6: PUSH2 0x25ec
000025e9: JUMPI
000025ea: POP
000025eb: MSIZE
000025ec: JUMPDEST
000025ed: SWAP1
000025ee: DUP1
000025ef: DUP3
000025f0: MSTORE
000025f1: DUP1
000025f2: PUSH1 0x20
000025f4: MUL
000025f5: PUSH1 0x20
000025f7: ADD
000025f8: DUP3
000025f9: ADD
000025fa: PUSH1 0x40
000025fc: MSTORE
000025fd: JUMPDEST
000025fe: POP
000025ff: SWAP6
00002600: POP
00002601: PUSH2 0x2612
00002604: DUP15
00002605: DUP10
00002606: PUSH1 0x49
00002608: ADD
00002609: DUP9
0000260a: MLOAD
0000260b: DUP10
0000260c: PUSH1 0x00
0000260e: PUSH2 0x2d31
00002611: JUMP
00002612: JUMPDEST
00002613: POP
00002614: PUSH2 0x2699
00002617: PUSH1 0x02
00002619: DUP8
0000261a: PUSH1 0x00
0000261c: PUSH1 0x40
0000261e: MLOAD
0000261f: PUSH1 0x20
00002621: ADD
00002622: MSTORE
00002623: PUSH1 0x40
00002625: MLOAD
00002626: DUP1
00002627: DUP3
00002628: DUP1
00002629: MLOAD
0000262a: SWAP1
0000262b: PUSH1 0x20
0000262d: ADD
0000262e: SWAP1
0000262f: DUP1
00002630: DUP4
00002631: DUP4
00002632: JUMPDEST
00002633: PUSH1 0x20
00002635: DUP4
00002636: LT
00002637: PUSH2 0x2651
0000263a: JUMPI
0000263b: DUP1
0000263c: MLOAD
0000263d: DUP3
0000263e: MSTORE
0000263f: PUSH1 0x1f
00002641: NOT
00002642: SWAP1
00002643: SWAP3
00002644: ADD
00002645: SWAP2
00002646: PUSH1 0x20
00002648: SWAP2
00002649: DUP3
0000264a: ADD
0000264b: SWAP2
0000264c: ADD
0000264d: PUSH2 0x2632
00002650: JUMP
00002651: JUMPDEST
00002652: MLOAD
00002653: DUP2
00002654: MLOAD
00002655: PUSH1 0x20
00002657: SWAP4
00002658: DUP5
00002659: SUB
0000265a: PUSH2 0x0100
0000265d: EXP
0000265e: PUSH1 0x00
00002660: NOT
00002661: ADD
00002662: DUP1
00002663: NOT
00002664: SWAP1
00002665: SWAP3
00002666: AND
00002667: SWAP2
00002668: AND
00002669: OR
0000266a: SWAP1
0000266b: MSTORE
0000266c: PUSH1 0x40
0000266e: MLOAD
0000266f: SWAP2
00002670: SWAP1
00002671: SWAP4
00002672: ADD
00002673: SWAP5
00002674: POP
00002675: SWAP2
00002676: SWAP3
00002677: POP
00002678: POP
00002679: DUP1
0000267a: DUP4
0000267b: SUB
0000267c: DUP2
0000267d: PUSH1 0x00
0000267f: DUP7
00002680: PUSH2 0x646e
00002683: GAS
00002684: SUB
00002685: CALL
00002686: ISZERO
00002687: ISZERO
00002688: PUSH2 0x268d
0000268b: JUMPI
0000268c: INVALID
0000268d: JUMPDEST
0000268e: POP
0000268f: POP
00002690: PUSH1 0x40
00002692: MLOAD
00002693: MLOAD
00002694: DUP14
00002695: PUSH2 0x2d8f
00002698: JUMP
00002699: JUMPDEST
0000269a: SWAP9
0000269b: POP
0000269c: DUP9
0000269d: ISZERO
0000269e: ISZERO
0000269f: PUSH2 0x26ab
000026a2: JUMPI
000026a3: PUSH1 0x00
000026a5: SWAP10
000026a6: POP
000026a7: PUSH2 0x297b
000026aa: JUMP
000026ab: JUMPDEST
000026ac: PUSH1 0x29
000026ae: PUSH1 0x40
000026b0: MLOAD
000026b1: DUP1
000026b2: MSIZE
000026b3: LT
000026b4: PUSH2 0x26ba
000026b7: JUMPI
000026b8: POP
000026b9: MSIZE
000026ba: JUMPDEST
000026bb: SWAP1
000026bc: DUP1
000026bd: DUP3
000026be: MSTORE
000026bf: DUP1
000026c0: PUSH1 0x20
000026c2: MUL
000026c3: PUSH1 0x20
000026c5: ADD
000026c6: DUP3
000026c7: ADD
000026c8: PUSH1 0x40
000026ca: MSTORE
000026cb: JUMPDEST
000026cc: POP
000026cd: SWAP5
000026ce: POP
000026cf: PUSH2 0x26e0
000026d2: DUP15
000026d3: DUP10
000026d4: PUSH1 0x20
000026d6: ADD
000026d7: PUSH1 0x29
000026d9: DUP9
000026da: PUSH1 0x00
000026dc: PUSH2 0x2d31
000026df: JUMP
000026e0: JUMPDEST
000026e1: POP
000026e2: PUSH1 0x40
000026e4: PUSH1 0x40
000026e6: MLOAD
000026e7: DUP1
000026e8: MSIZE
000026e9: LT
000026ea: PUSH2 0x26f0
000026ed: JUMPI
000026ee: POP
000026ef: MSIZE
000026f0: JUMPDEST
000026f1: SWAP1
000026f2: DUP1
000026f3: DUP3
000026f4: MSTORE
000026f5: DUP1
000026f6: PUSH1 0x20
000026f8: MUL
000026f9: PUSH1 0x20
000026fb: ADD
000026fc: DUP3
000026fd: ADD
000026fe: PUSH1 0x40
00002700: MSTORE
00002701: JUMPDEST
00002702: POP
00002703: SWAP4
00002704: POP
00002705: DUP6
00002706: MLOAD
00002707: DUP9
00002708: PUSH1 0x20
0000270a: ADD
0000270b: PUSH1 0x29
0000270d: ADD
0000270e: ADD
0000270f: PUSH1 0x41
00002711: ADD
00002712: SWAP3
00002713: POP
00002714: PUSH2 0x2725
00002717: DUP15
00002718: PUSH1 0x40
0000271a: DUP6
0000271b: SUB
0000271c: PUSH1 0x40
0000271e: DUP8
0000271f: PUSH1 0x00
00002721: PUSH2 0x2d31
00002724: JUMP
00002725: JUMPDEST
00002726: POP
00002727: PUSH1 0x02
00002729: DUP5
0000272a: PUSH1 0x00
0000272c: PUSH1 0x40
0000272e: MLOAD
0000272f: PUSH1 0x20
00002731: ADD
00002732: MSTORE
00002733: PUSH1 0x40
00002735: MLOAD
00002736: DUP1
00002737: DUP3
00002738: DUP1
00002739: MLOAD
0000273a: SWAP1
0000273b: PUSH1 0x20
0000273d: ADD
0000273e: SWAP1
0000273f: DUP1
00002740: DUP4
00002741: DUP4
00002742: JUMPDEST
00002743: PUSH1 0x20
00002745: DUP4
00002746: LT
00002747: PUSH2 0x2761
0000274a: JUMPI
0000274b: DUP1
0000274c: MLOAD
0000274d: DUP3
0000274e: MSTORE
0000274f: PUSH1 0x1f
00002751: NOT
00002752: SWAP1
00002753: SWAP3
00002754: ADD
00002755: SWAP2
00002756: PUSH1 0x20
00002758: SWAP2
00002759: DUP3
0000275a: ADD
0000275b: SWAP2
0000275c: ADD
0000275d: PUSH2 0x2742
00002760: JUMP
00002761: JUMPDEST
00002762: MLOAD
00002763: DUP2
00002764: MLOAD
00002765: PUSH1 0x20
00002767: SWAP4
00002768: DUP5
00002769: SUB
0000276a: PUSH2 0x0100
0000276d: EXP
0000276e: PUSH1 0x00
00002770: NOT
00002771: ADD
00002772: DUP1
00002773: NOT
00002774: SWAP1
00002775: SWAP3
00002776: AND
00002777: SWAP2
00002778: AND
00002779: OR
0000277a: SWAP1
0000277b: MSTORE
0000277c: PUSH1 0x40
0000277e: MLOAD
0000277f: SWAP2
00002780: SWAP1
00002781: SWAP4
00002782: ADD
00002783: SWAP5
00002784: POP
00002785: SWAP2
00002786: SWAP3
00002787: POP
00002788: POP
00002789: DUP1
0000278a: DUP4
0000278b: SUB
0000278c: DUP2
0000278d: PUSH1 0x00
0000278f: DUP7
00002790: PUSH2 0x646e
00002793: GAS
00002794: SUB
00002795: CALL
00002796: ISZERO
00002797: ISZERO
00002798: PUSH2 0x279d
0000279b: JUMPI
0000279c: INVALID
0000279d: JUMPDEST
0000279e: POP
0000279f: POP
000027a0: PUSH1 0x40
000027a2: MLOAD
000027a3: DUP1
000027a4: MLOAD
000027a5: DUP7
000027a6: MLOAD
000027a7: SWAP1
000027a8: SWAP4
000027a9: POP
000027aa: DUP7
000027ab: SWAP2
000027ac: DUP5
000027ad: SWAP2
000027ae: DUP2
000027af: SWAP1
000027b0: PUSH1 0x20
000027b2: DUP6
000027b3: ADD
000027b4: SWAP1
000027b5: DUP1
000027b6: DUP4
000027b7: DUP4
000027b8: JUMPDEST
000027b9: PUSH1 0x20
000027bb: DUP4
000027bc: LT
000027bd: PUSH2 0x27d7
000027c0: JUMPI
000027c1: DUP1
000027c2: MLOAD
000027c3: DUP3
000027c4: MSTORE
000027c5: PUSH1 0x1f
000027c7: NOT
000027c8: SWAP1
000027c9: SWAP3
000027ca: ADD
000027cb: SWAP2
000027cc: PUSH1 0x20
000027ce: SWAP2
000027cf: DUP3
000027d0: ADD
000027d1: SWAP2
000027d2: ADD
000027d3: PUSH2 0x27b8
000027d6: JUMP
000027d7: JUMPDEST
000027d8: PUSH1 0x01
000027da: DUP4
000027db: PUSH1 0x20
000027dd: SUB
000027de: PUSH2 0x0100
000027e1: EXP
000027e2: SUB
000027e3: DUP1
000027e4: NOT
000027e5: DUP3
000027e6: MLOAD
000027e7: AND
000027e8: DUP2
000027e9: DUP5
000027ea: MLOAD
000027eb: AND
000027ec: DUP1
000027ed: DUP3
000027ee: OR
000027ef: DUP6
000027f0: MSTORE
000027f1: POP
000027f2: POP
000027f3: POP
000027f4: POP
000027f5: POP
000027f6: POP
000027f7: SWAP1
000027f8: POP
000027f9: ADD
000027fa: DUP3
000027fb: PUSH1 0x00
000027fd: NOT
000027fe: AND
000027ff: PUSH1 0x00
00002801: NOT
00002802: AND
00002803: DUP2
00002804: MSTORE
00002805: PUSH1 0x20
00002807: ADD
00002808: SWAP3
00002809: POP
0000280a: POP
0000280b: POP
0000280c: PUSH1 0x40
0000280e: MLOAD
0000280f: DUP1
00002810: SWAP2
00002811: SUB
00002812: SWAP1
00002813: KECCAK256
00002814: PUSH1 0x00
00002816: NOT
00002817: AND
00002818: PUSH1 0x03
0000281a: PUSH1 0x00
0000281c: DUP16
0000281d: PUSH1 0x00
0000281f: NOT
00002820: AND
00002821: PUSH1 0x00
00002823: NOT
00002824: AND
00002825: DUP2
00002826: MSTORE
00002827: PUSH1 0x20
00002829: ADD
0000282a: SWAP1
0000282b: DUP2
0000282c: MSTORE
0000282d: PUSH1 0x20
0000282f: ADD
00002830: PUSH1 0x00
00002832: KECCAK256
00002833: SLOAD
00002834: PUSH1 0x00
00002836: NOT
00002837: AND
00002838: EQ
00002839: ISZERO
0000283a: PUSH2 0x2851
0000283d: JUMPI
0000283e: PUSH1 0x00
00002840: DUP14
00002841: DUP2
00002842: MSTORE
00002843: PUSH1 0x03
00002845: PUSH1 0x20
00002847: MSTORE
00002848: PUSH1 0x40
0000284a: DUP2
0000284b: KECCAK256
0000284c: SSTORE
0000284d: PUSH2 0x285a
00002850: JUMP
00002851: JUMPDEST
00002852: PUSH1 0x00
00002854: SWAP10
00002855: POP
00002856: PUSH2 0x297b
00002859: JUMP
0000285a: JUMPDEST
0000285b: PUSH1 0x49
0000285d: PUSH1 0x40
0000285f: MLOAD
00002860: DUP1
00002861: MSIZE
00002862: LT
00002863: PUSH2 0x2869
00002866: JUMPI
00002867: POP
00002868: MSIZE
00002869: JUMPDEST
0000286a: SWAP1
0000286b: DUP1
0000286c: DUP3
0000286d: MSTORE
0000286e: DUP1
0000286f: PUSH1 0x20
00002871: MUL
00002872: PUSH1 0x20
00002874: ADD
00002875: DUP3
00002876: ADD
00002877: PUSH1 0x40
00002879: MSTORE
0000287a: JUMPDEST
0000287b: POP
0000287c: SWAP1
0000287d: POP
0000287e: PUSH2 0x288c
00002881: DUP15
00002882: DUP10
00002883: PUSH1 0x49
00002885: DUP5
00002886: PUSH1 0x00
00002888: PUSH2 0x2d31
0000288b: JUMP
0000288c: JUMPDEST
0000288d: POP
0000288e: PUSH2 0x2914
00002891: PUSH1 0x02
00002893: DUP3
00002894: PUSH1 0x00
00002896: PUSH1 0x40
00002898: MLOAD
00002899: PUSH1 0x20
0000289b: ADD
0000289c: MSTORE
0000289d: PUSH1 0x40
0000289f: MLOAD
000028a0: DUP1
000028a1: DUP3
000028a2: DUP1
000028a3: MLOAD
000028a4: SWAP1
000028a5: PUSH1 0x20
000028a7: ADD
000028a8: SWAP1
000028a9: DUP1
000028aa: DUP4
000028ab: DUP4
000028ac: JUMPDEST
000028ad: PUSH1 0x20
000028af: DUP4
000028b0: LT
000028b1: PUSH2 0x28cb
000028b4: JUMPI
000028b5: DUP1
000028b6: MLOAD
000028b7: DUP3
000028b8: MSTORE
000028b9: PUSH1 0x1f
000028bb: NOT
000028bc: SWAP1
000028bd: SWAP3
000028be: ADD
000028bf: SWAP2
000028c0: PUSH1 0x20
000028c2: SWAP2
000028c3: DUP3
000028c4: ADD
000028c5: SWAP2
000028c6: ADD
000028c7: PUSH2 0x28ac
000028ca: JUMP
000028cb: JUMPDEST
000028cc: MLOAD
000028cd: DUP2
000028ce: MLOAD
000028cf: PUSH1 0x20
000028d1: SWAP4
000028d2: DUP5
000028d3: SUB
000028d4: PUSH2 0x0100
000028d7: EXP
000028d8: PUSH1 0x00
000028da: NOT
000028db: ADD
000028dc: DUP1
000028dd: NOT
000028de: SWAP1
000028df: SWAP3
000028e0: AND
000028e1: SWAP2
000028e2: AND
000028e3: OR
000028e4: SWAP1
000028e5: MSTORE
000028e6: PUSH1 0x40
000028e8: MLOAD
000028e9: SWAP2
000028ea: SWAP1
000028eb: SWAP4
000028ec: ADD
000028ed: SWAP5
000028ee: POP
000028ef: SWAP2
000028f0: SWAP3
000028f1: POP
000028f2: POP
000028f3: DUP1
000028f4: DUP4
000028f5: SUB
000028f6: DUP2
000028f7: PUSH1 0x00
000028f9: DUP7
000028fa: PUSH2 0x646e
000028fd: GAS
000028fe: SUB
000028ff: CALL
00002900: ISZERO
00002901: ISZERO
00002902: PUSH2 0x2907
00002905: JUMPI
00002906: INVALID
00002907: JUMPDEST
00002908: POP
00002909: POP
0000290a: PUSH1 0x40
0000290c: MLOAD
0000290d: MLOAD
0000290e: DUP8
0000290f: DUP7
00002910: PUSH2 0x2e12
00002913: JUMP
00002914: JUMPDEST
00002915: SWAP9
00002916: POP
00002917: DUP9
00002918: ISZERO
00002919: ISZERO
0000291a: PUSH2 0x2926
0000291d: JUMPI
0000291e: PUSH1 0x00
00002920: SWAP10
00002921: POP
00002922: PUSH2 0x297b
00002925: JUMP
00002926: JUMPDEST
00002927: PUSH1 0x00
00002929: DUP3
0000292a: DUP2
0000292b: MSTORE
0000292c: PUSH1 0x04
0000292e: PUSH1 0x20
00002930: MSTORE
00002931: PUSH1 0x40
00002933: SWAP1
00002934: KECCAK256
00002935: SLOAD
00002936: PUSH1 0xff
00002938: AND
00002939: ISZERO
0000293a: ISZERO
0000293b: PUSH2 0x2966
0000293e: JUMPI
0000293f: PUSH2 0x2948
00002942: DUP15
00002943: DUP5
00002944: PUSH2 0x303e
00002947: JUMP
00002948: JUMPDEST
00002949: PUSH1 0x00
0000294b: DUP4
0000294c: DUP2
0000294d: MSTORE
0000294e: PUSH1 0x04
00002950: PUSH1 0x20
00002952: MSTORE
00002953: PUSH1 0x40
00002955: SWAP1
00002956: KECCAK256
00002957: DUP1
00002958: SLOAD
00002959: PUSH1 0xff
0000295b: NOT
0000295c: AND
0000295d: SWAP2
0000295e: ISZERO
0000295f: ISZERO
00002960: SWAP2
00002961: SWAP1
00002962: SWAP2
00002963: OR
00002964: SWAP1
00002965: SSTORE
00002966: JUMPDEST
00002967: PUSH1 0x00
00002969: DUP3
0000296a: DUP2
0000296b: MSTORE
0000296c: PUSH1 0x04
0000296e: PUSH1 0x20
00002970: MSTORE
00002971: PUSH1 0x40
00002973: SWAP1
00002974: KECCAK256
00002975: SLOAD
00002976: PUSH1 0xff
00002978: AND
00002979: SWAP10
0000297a: POP
0000297b: JUMPDEST
0000297c: POP
0000297d: POP
0000297e: POP
0000297f: POP
00002980: POP
00002981: POP
00002982: POP
00002983: POP
00002984: POP
00002985: SWAP5
00002986: SWAP4
00002987: POP
00002988: POP
00002989: POP
0000298a: POP
0000298b: JUMP
0000298c: JUMPDEST
0000298d: PUSH2 0x2994
00002990: PUSH2 0x3457
00002993: JUMP
00002994: JUMPDEST
00002995: PUSH1 0x00
00002997: PUSH1 0x00
00002999: PUSH2 0x29a0
0000299c: PUSH2 0x3457
0000299f: JUMP
000029a0: JUMPDEST
000029a1: PUSH1 0x00
000029a3: PUSH1 0x00
000029a5: PUSH1 0x00
000029a7: PUSH2 0x29ae
000029aa: PUSH2 0x3457
000029ad: JUMP
000029ae: JUMPDEST
000029af: PUSH1 0x00
000029b1: PUSH1 0x00
000029b3: PUSH1 0x00
000029b5: DUP12
000029b6: MLOAD
000029b7: SWAP10
000029b8: POP
000029b9: PUSH1 0x00
000029bb: SWAP9
000029bc: POP
000029bd: DUP10
000029be: PUSH1 0x40
000029c0: MLOAD
000029c1: DUP1
000029c2: MSIZE
000029c3: LT
000029c4: PUSH2 0x29ca
000029c7: JUMPI
000029c8: POP
000029c9: MSIZE
000029ca: JUMPDEST
000029cb: SWAP1
000029cc: DUP1
000029cd: DUP3
000029ce: MSTORE
000029cf: DUP1
000029d0: PUSH1 0x20
000029d2: MUL
000029d3: PUSH1 0x20
000029d5: ADD
000029d6: DUP3
000029d7: ADD
000029d8: PUSH1 0x40
000029da: MSTORE
000029db: DUP1
000029dc: ISZERO
000029dd: PUSH2 0x2a00
000029e0: JUMPI
000029e1: DUP2
000029e2: PUSH1 0x20
000029e4: ADD
000029e5: JUMPDEST
000029e6: PUSH2 0x29ed
000029e9: PUSH2 0x3457
000029ec: JUMP
000029ed: JUMPDEST
000029ee: DUP2
000029ef: MSTORE
000029f0: PUSH1 0x20
000029f2: ADD
000029f3: SWAP1
000029f4: PUSH1 0x01
000029f6: SWAP1
000029f7: SUB
000029f8: SWAP1
000029f9: DUP2
000029fa: PUSH2 0x29e5
000029fd: JUMPI
000029fe: SWAP1
000029ff: POP
00002a00: JUMPDEST
00002a01: POP
00002a02: SWAP8
00002a03: POP
00002a04: PUSH1 0x00
00002a06: SWAP7
00002a07: POP
00002a08: JUMPDEST
00002a09: DUP10
00002a0a: DUP8
00002a0b: LT
00002a0c: ISZERO
00002a0d: PUSH2 0x2a98
00002a10: JUMPI
00002a11: DUP12
00002a12: DUP8
00002a13: DUP2
00002a14: MLOAD
00002a15: DUP2
00002a16: LT
00002a17: ISZERO
00002a18: ISZERO
00002a19: PUSH2 0x2a1e
00002a1c: JUMPI
00002a1d: INVALID
00002a1e: JUMPDEST
00002a1f: SWAP1
00002a20: PUSH1 0x20
00002a22: ADD
00002a23: SWAP1
00002a24: PUSH1 0x20
00002a26: MUL
00002a27: ADD
00002a28: MLOAD
00002a29: DUP9
00002a2a: DUP9
00002a2b: DUP2
00002a2c: MLOAD
00002a2d: DUP2
00002a2e: LT
00002a2f: ISZERO
00002a30: ISZERO
00002a31: PUSH2 0x2a36
00002a34: JUMPI
00002a35: INVALID
00002a36: JUMPDEST
00002a37: SWAP1
00002a38: PUSH1 0x20
00002a3a: ADD
00002a3b: SWAP1
00002a3c: PUSH1 0x20
00002a3e: MUL
00002a3f: ADD
00002a40: DUP2
00002a41: SWAP1
00002a42: MSTORE
00002a43: POP
00002a44: PUSH1 0x17
00002a46: PUSH1 0x01
00002a48: DUP10
00002a49: DUP10
00002a4a: DUP2
00002a4b: MLOAD
00002a4c: DUP2
00002a4d: LT
00002a4e: ISZERO
00002a4f: ISZERO
00002a50: PUSH2 0x2a55
00002a53: JUMPI
00002a54: INVALID
00002a55: JUMPDEST
00002a56: SWAP1
00002a57: PUSH1 0x20
00002a59: ADD
00002a5a: SWAP1
00002a5b: PUSH1 0x20
00002a5d: MUL
00002a5e: ADD
00002a5f: MLOAD
00002a60: MLOAD
00002a61: SUB
00002a62: DUP2
00002a63: ISZERO
00002a64: ISZERO
00002a65: PUSH2 0x2a6a
00002a68: JUMPI
00002a69: INVALID
00002a6a: JUMPDEST
00002a6b: DIV
00002a6c: DUP9
00002a6d: DUP9
00002a6e: DUP2
00002a6f: MLOAD
00002a70: DUP2
00002a71: LT
00002a72: ISZERO
00002a73: ISZERO
00002a74: PUSH2 0x2a79
00002a77: JUMPI
00002a78: INVALID
00002a79: JUMPDEST
00002a7a: SWAP1
00002a7b: PUSH1 0x20
00002a7d: ADD
00002a7e: SWAP1
00002a7f: PUSH1 0x20
00002a81: MUL
00002a82: ADD
00002a83: MLOAD
00002a84: MLOAD
00002a85: ADD
00002a86: PUSH1 0x03
00002a88: ADD
00002a89: DUP10
00002a8a: ADD
00002a8b: SWAP9
00002a8c: POP
00002a8d: JUMPDEST
00002a8e: PUSH1 0x01
00002a90: SWAP1
00002a91: SWAP7
00002a92: ADD
00002a93: SWAP6
00002a94: PUSH2 0x2a08
00002a97: JUMP
00002a98: JUMPDEST
00002a99: PUSH1 0x00
00002a9b: SWAP6
00002a9c: POP
00002a9d: DUP10
00002a9e: PUSH1 0x80
00002aa0: ADD
00002aa1: SWAP5
00002aa2: POP
00002aa3: PUSH1 0x01
00002aa5: PUSH1 0xff
00002aa7: AND
00002aa8: DUP10
00002aa9: ADD
00002aaa: SWAP9
00002aab: POP
00002aac: DUP9
00002aad: PUSH1 0x40
00002aaf: MLOAD
00002ab0: DUP1
00002ab1: MSIZE
00002ab2: LT
00002ab3: PUSH2 0x2ab9
00002ab6: JUMPI
00002ab7: POP
00002ab8: MSIZE
00002ab9: JUMPDEST
00002aba: SWAP1
00002abb: DUP1
00002abc: DUP3
00002abd: MSTORE
00002abe: DUP1
00002abf: PUSH1 0x20
00002ac1: MUL
00002ac2: PUSH1 0x20
00002ac4: ADD
00002ac5: DUP3
00002ac6: ADD
00002ac7: PUSH1 0x40
00002ac9: MSTORE
00002aca: JUMPDEST
00002acb: POP
00002acc: SWAP4
00002acd: POP
00002ace: JUMPDEST
00002acf: PUSH1 0x01
00002ad1: DUP7
00002ad2: SWAP1
00002ad3: GT
00002ad4: ISZERO
00002ad5: PUSH2 0x2b22
00002ad8: JUMPI
00002ad9: PUSH1 0xf8
00002adb: PUSH1 0x02
00002add: EXP
00002ade: DUP6
00002adf: MUL
00002ae0: DUP7
00002ae1: PUSH1 0x01
00002ae3: DUP2
00002ae4: LT
00002ae5: PUSH2 0x2aea
00002ae8: JUMPI
00002ae9: INVALID
00002aea: JUMPDEST
00002aeb: BYTE
00002aec: PUSH1 0xf8
00002aee: PUSH1 0x02
00002af0: EXP
00002af1: MUL
00002af2: DUP5
00002af3: DUP8
00002af4: DUP2
00002af5: MLOAD
00002af6: DUP2
00002af7: LT
00002af8: ISZERO
00002af9: ISZERO
00002afa: PUSH2 0x2aff
00002afd: JUMPI
00002afe: INVALID
00002aff: JUMPDEST
00002b00: SWAP1
00002b01: PUSH1 0x20
00002b03: ADD
00002b04: ADD
00002b05: SWAP1
00002b06: PUSH1 0x01
00002b08: PUSH1 0xf8
00002b0a: PUSH1 0x02
00002b0c: EXP
00002b0d: SUB
00002b0e: NOT
00002b0f: AND
00002b10: SWAP1
00002b11: DUP2
00002b12: PUSH1 0x00
00002b14: BYTE
00002b15: SWAP1
00002b16: MSTORE8
00002b17: POP
00002b18: PUSH1 0x01
00002b1a: SWAP1
00002b1b: SWAP6
00002b1c: ADD
00002b1d: SWAP5
00002b1e: PUSH2 0x2ace
00002b21: JUMP
00002b22: JUMPDEST
00002b23: PUSH1 0x00
00002b25: SWAP7
00002b26: POP
00002b27: JUMPDEST
00002b28: DUP10
00002b29: DUP8
00002b2a: LT
00002b2b: ISZERO
00002b2c: PUSH2 0x2d1e
00002b2f: JUMPI
00002b30: DUP4
00002b31: MLOAD
00002b32: PUSH32 0x5f00000000000000000000000000000000000000000000000000000000000000
00002b53: SWAP1
00002b54: DUP6
00002b55: SWAP1
00002b56: DUP9
00002b57: SWAP1
00002b58: DUP2
00002b59: LT
00002b5a: PUSH2 0x2b5f
00002b5d: JUMPI
00002b5e: INVALID
00002b5f: JUMPDEST
00002b60: SWAP1
00002b61: PUSH1 0x20
00002b63: ADD
00002b64: ADD
00002b65: SWAP1
00002b66: PUSH1 0x01
00002b68: PUSH1 0xf8
00002b6a: PUSH1 0x02
00002b6c: EXP
00002b6d: SUB
00002b6e: NOT
00002b6f: AND
00002b70: SWAP1
00002b71: DUP2
00002b72: PUSH1 0x00
00002b74: BYTE
00002b75: SWAP1
00002b76: MSTORE8
00002b77: POP
00002b78: PUSH1 0x01
00002b7a: SWAP1
00002b7b: SWAP6
00002b7c: ADD
00002b7d: SWAP5
00002b7e: PUSH1 0x00
00002b80: SWAP3
00002b81: POP
00002b82: JUMPDEST
00002b83: DUP8
00002b84: DUP8
00002b85: DUP2
00002b86: MLOAD
00002b87: DUP2
00002b88: LT
00002b89: ISZERO
00002b8a: ISZERO
00002b8b: PUSH2 0x2b90
00002b8e: JUMPI
00002b8f: INVALID
00002b90: JUMPDEST
00002b91: SWAP1
00002b92: PUSH1 0x20
00002b94: ADD
00002b95: SWAP1
00002b96: PUSH1 0x20
00002b98: MUL
00002b99: ADD
00002b9a: MLOAD
00002b9b: MLOAD
00002b9c: DUP4
00002b9d: LT
00002b9e: ISZERO
00002b9f: PUSH2 0x2cc4
00002ba2: JUMPI
00002ba3: PUSH1 0x17
00002ba5: DUP4
00002ba6: JUMPDEST
00002ba7: MOD
00002ba8: ISZERO
00002ba9: ISZERO
00002baa: PUSH2 0x2c53
00002bad: JUMPI
00002bae: PUSH1 0x18
00002bb0: DUP4
00002bb1: DUP10
00002bb2: DUP10
00002bb3: DUP2
00002bb4: MLOAD
00002bb5: DUP2
00002bb6: LT
00002bb7: ISZERO
00002bb8: ISZERO
00002bb9: PUSH2 0x2bbe
00002bbc: JUMPI
00002bbd: INVALID
00002bbe: JUMPDEST
00002bbf: SWAP1
00002bc0: PUSH1 0x20
00002bc2: ADD
00002bc3: SWAP1
00002bc4: PUSH1 0x20
00002bc6: MUL
00002bc7: ADD
00002bc8: MLOAD
00002bc9: MLOAD
00002bca: SUB
00002bcb: LT
00002bcc: ISZERO
00002bcd: PUSH2 0x2bf0
00002bd0: JUMPI
00002bd1: DUP3
00002bd2: DUP9
00002bd3: DUP9
00002bd4: DUP2
00002bd5: MLOAD
00002bd6: DUP2
00002bd7: LT
00002bd8: ISZERO
00002bd9: ISZERO
00002bda: PUSH2 0x2bdf
00002bdd: JUMPI
00002bde: INVALID
00002bdf: JUMPDEST
00002be0: SWAP1
00002be1: PUSH1 0x20
00002be3: ADD
00002be4: SWAP1
00002be5: PUSH1 0x20
00002be7: MUL
00002be8: ADD
00002be9: MLOAD
00002bea: MLOAD
00002beb: SUB
00002bec: PUSH2 0x2bf3
00002bef: JUMP
00002bf0: JUMPDEST
00002bf1: PUSH1 0x17
00002bf3: JUMPDEST
00002bf4: PUSH1 0x40
00002bf6: ADD
00002bf7: SWAP2
00002bf8: POP
00002bf9: DUP6
00002bfa: SWAP1
00002bfb: POP
00002bfc: JUMPDEST
00002bfd: DUP1
00002bfe: DUP7
00002bff: SUB
00002c00: PUSH1 0x01
00002c02: GT
00002c03: ISZERO
00002c04: PUSH2 0x2c53
00002c07: JUMPI
00002c08: PUSH1 0xf8
00002c0a: PUSH1 0x02
00002c0c: EXP
00002c0d: DUP3
00002c0e: MUL
00002c0f: DUP2
00002c10: DUP8
00002c11: SUB
00002c12: PUSH1 0x01
00002c14: DUP2
00002c15: LT
00002c16: PUSH2 0x2c1b
00002c19: JUMPI
00002c1a: INVALID
00002c1b: JUMPDEST
00002c1c: BYTE
00002c1d: PUSH1 0xf8
00002c1f: PUSH1 0x02
00002c21: EXP
00002c22: MUL
00002c23: DUP5
00002c24: DUP8
00002c25: DUP2
00002c26: MLOAD
00002c27: DUP2
00002c28: LT
00002c29: ISZERO
00002c2a: ISZERO
00002c2b: PUSH2 0x2c30
00002c2e: JUMPI
00002c2f: INVALID
00002c30: JUMPDEST
00002c31: SWAP1
00002c32: PUSH1 0x20
00002c34: ADD
00002c35: ADD
00002c36: SWAP1
00002c37: PUSH1 0x01
00002c39: PUSH1 0xf8
00002c3b: PUSH1 0x02
00002c3d: EXP
00002c3e: SUB
00002c3f: NOT
00002c40: AND
00002c41: SWAP1
00002c42: DUP2
00002c43: PUSH1 0x00
00002c45: BYTE
00002c46: SWAP1
00002c47: MSTORE8
00002c48: POP
00002c49: PUSH1 0x01
00002c4b: SWAP1
00002c4c: SWAP6
00002c4d: ADD
00002c4e: SWAP5
00002c4f: PUSH2 0x2bfc
00002c52: JUMP
00002c53: JUMPDEST
00002c54: JUMPDEST
00002c55: DUP8
00002c56: DUP8
00002c57: DUP2
00002c58: MLOAD
00002c59: DUP2
00002c5a: LT
00002c5b: ISZERO
00002c5c: ISZERO
00002c5d: PUSH2 0x2c62
00002c60: JUMPI
00002c61: INVALID
00002c62: JUMPDEST
00002c63: SWAP1
00002c64: PUSH1 0x20
00002c66: ADD
00002c67: SWAP1
00002c68: PUSH1 0x20
00002c6a: MUL
00002c6b: ADD
00002c6c: MLOAD
00002c6d: DUP4
00002c6e: DUP2
00002c6f: MLOAD
00002c70: DUP2
00002c71: LT
00002c72: ISZERO
00002c73: ISZERO
00002c74: PUSH2 0x2c79
00002c77: JUMPI
00002c78: INVALID
00002c79: JUMPDEST
00002c7a: SWAP1
00002c7b: PUSH1 0x20
00002c7d: ADD
00002c7e: ADD
00002c7f: MLOAD
00002c80: PUSH1 0xf8
00002c82: PUSH1 0x02
00002c84: EXP
00002c85: SWAP1
00002c86: DIV
00002c87: PUSH1 0xf8
00002c89: PUSH1 0x02
00002c8b: EXP
00002c8c: MUL
00002c8d: DUP5
00002c8e: DUP8
00002c8f: DUP2
00002c90: MLOAD
00002c91: DUP2
00002c92: LT
00002c93: ISZERO
00002c94: ISZERO
00002c95: PUSH2 0x2c9a
00002c98: JUMPI
00002c99: INVALID
00002c9a: JUMPDEST
00002c9b: SWAP1
00002c9c: PUSH1 0x20
00002c9e: ADD
00002c9f: ADD
00002ca0: SWAP1
00002ca1: PUSH1 0x01
00002ca3: PUSH1 0xf8
00002ca5: PUSH1 0x02
00002ca7: EXP
00002ca8: SUB
00002ca9: NOT
00002caa: AND
00002cab: SWAP1
00002cac: DUP2
00002cad: PUSH1 0x00
00002caf: BYTE
00002cb0: SWAP1
00002cb1: MSTORE8
00002cb2: POP
00002cb3: PUSH1 0x01
00002cb5: SWAP1
00002cb6: SWAP6
00002cb7: ADD
00002cb8: SWAP5
00002cb9: JUMPDEST
00002cba: PUSH1 0x01
00002cbc: SWAP1
00002cbd: SWAP3
00002cbe: ADD
00002cbf: SWAP2
00002cc0: PUSH2 0x2b82
00002cc3: JUMP
00002cc4: JUMPDEST
00002cc5: DUP4
00002cc6: MLOAD
00002cc7: PUSH32 0xff00000000000000000000000000000000000000000000000000000000000000
00002ce8: SWAP1
00002ce9: DUP6
00002cea: SWAP1
00002ceb: DUP9
00002cec: SWAP1
00002ced: DUP2
00002cee: LT
00002cef: PUSH2 0x2cf4
00002cf2: JUMPI
00002cf3: INVALID
00002cf4: JUMPDEST
00002cf5: SWAP1
00002cf6: PUSH1 0x20
00002cf8: ADD
00002cf9: ADD
00002cfa: SWAP1
00002cfb: PUSH1 0x01
00002cfd: PUSH1 0xf8
00002cff: PUSH1 0x02
00002d01: EXP
00002d02: SUB
00002d03: NOT
00002d04: AND
00002d05: SWAP1
00002d06: DUP2
00002d07: PUSH1 0x00
00002d09: BYTE
00002d0a: SWAP1
00002d0b: MSTORE8
00002d0c: POP
00002d0d: PUSH1 0x01
00002d0f: SWAP1
00002d10: SWAP6
00002d11: ADD
00002d12: SWAP5
00002d13: JUMPDEST
00002d14: PUSH1 0x01
00002d16: SWAP1
00002d17: SWAP7
00002d18: ADD
00002d19: SWAP6
00002d1a: PUSH2 0x2b27
00002d1d: JUMP
00002d1e: JUMPDEST
00002d1f: DUP4
00002d20: SWAP11
00002d21: POP
00002d22: JUMPDEST
00002d23: POP
00002d24: POP
00002d25: POP
00002d26: POP
00002d27: POP
00002d28: POP
00002d29: POP
00002d2a: POP
00002d2b: POP
00002d2c: POP
00002d2d: SWAP2
00002d2e: SWAP1
00002d2f: POP
00002d30: JUMP
00002d31: JUMPDEST
00002d32: PUSH2 0x2d39
00002d35: PUSH2 0x3457
00002d38: JUMP
00002d39: JUMPDEST
00002d3a: PUSH1 0x00
00002d3c: PUSH1 0x00
00002d3e: PUSH1 0x00
00002d40: DUP5
00002d41: DUP8
00002d42: ADD
00002d43: SWAP3
00002d44: POP
00002d45: DUP3
00002d46: DUP7
00002d47: MLOAD
00002d48: LT
00002d49: ISZERO
00002d4a: PUSH2 0x2d53
00002d4d: JUMPI
00002d4e: PUSH1 0x00
00002d50: PUSH1 0x00
00002d52: REVERT
00002d53: JUMPDEST
00002d54: POP
00002d55: POP
00002d56: PUSH1 0x20
00002d58: DUP1
00002d59: DUP8
00002d5a: ADD
00002d5b: SWAP1
00002d5c: DUP5
00002d5d: ADD
00002d5e: JUMPDEST
00002d5f: DUP7
00002d60: DUP9
00002d61: PUSH1 0x20
00002d63: ADD
00002d64: ADD
00002d65: DUP3
00002d66: LT
00002d67: ISZERO
00002d68: PUSH2 0x2d7f
00002d6b: JUMPI
00002d6c: DUP9
00002d6d: DUP3
00002d6e: ADD
00002d6f: MLOAD
00002d70: DUP7
00002d71: DUP3
00002d72: ADD
00002d73: MSTORE
00002d74: PUSH1 0x20
00002d76: SWAP2
00002d77: DUP3
00002d78: ADD
00002d79: SWAP2
00002d7a: ADD
00002d7b: PUSH2 0x2d5e
00002d7e: JUMP
00002d7f: JUMPDEST
00002d80: DUP6
00002d81: SWAP4
00002d82: POP
00002d83: JUMPDEST
00002d84: POP
00002d85: POP
00002d86: POP
00002d87: SWAP6
00002d88: SWAP5
00002d89: POP
00002d8a: POP
00002d8b: POP
00002d8c: POP
00002d8d: POP
00002d8e: JUMP
00002d8f: JUMPDEST
00002d90: PUSH1 0x00
00002d92: PUSH1 0x01
00002d94: DUP2
00002d95: JUMPDEST
00002d96: DUP4
00002d97: MLOAD
00002d98: DUP2
00002d99: PUSH1 0xff
00002d9b: AND
00002d9c: LT
00002d9d: ISZERO
00002d9e: PUSH2 0x2e06
00002da1: JUMPI
00002da2: DUP4
00002da3: DUP2
00002da4: PUSH1 0xff
00002da6: AND
00002da7: DUP2
00002da8: MLOAD
00002da9: DUP2
00002daa: LT
00002dab: ISZERO
00002dac: ISZERO
00002dad: PUSH2 0x2db2
00002db0: JUMPI
00002db1: INVALID
00002db2: JUMPDEST
00002db3: SWAP1
00002db4: PUSH1 0x20
00002db6: ADD
00002db7: ADD
00002db8: MLOAD
00002db9: PUSH1 0xf8
00002dbb: PUSH1 0x02
00002dbd: EXP
00002dbe: SWAP1
00002dbf: DIV
00002dc0: PUSH1 0xf8
00002dc2: PUSH1 0x02
00002dc4: EXP
00002dc5: MUL
00002dc6: PUSH1 0x01
00002dc8: PUSH1 0xf8
00002dca: PUSH1 0x02
00002dcc: EXP
00002dcd: SUB
00002dce: NOT
00002dcf: AND
00002dd0: DUP6
00002dd1: DUP3
00002dd2: PUSH1 0xff
00002dd4: AND
00002dd5: PUSH1 0x20
00002dd7: DUP2
00002dd8: LT
00002dd9: ISZERO
00002dda: ISZERO
00002ddb: PUSH2 0x2de0
00002dde: JUMPI
00002ddf: INVALID
00002de0: JUMPDEST
00002de1: BYTE
00002de2: PUSH1 0xf8
00002de4: PUSH1 0x02
00002de6: EXP
00002de7: MUL
00002de8: PUSH1 0x01
00002dea: PUSH1 0xf8
00002dec: PUSH1 0x02
00002dee: EXP
00002def: SUB
00002df0: NOT
00002df1: AND
00002df2: EQ
00002df3: ISZERO
00002df4: ISZERO
00002df5: PUSH2 0x2dfd
00002df8: JUMPI
00002df9: PUSH1 0x00
00002dfb: SWAP2
00002dfc: POP
00002dfd: JUMPDEST
00002dfe: JUMPDEST
00002dff: PUSH1 0x01
00002e01: ADD
00002e02: PUSH2 0x2d95
00002e05: JUMP
00002e06: JUMPDEST
00002e07: DUP2
00002e08: SWAP3
00002e09: POP
00002e0a: JUMPDEST
00002e0b: POP
00002e0c: POP
00002e0d: SWAP3
00002e0e: SWAP2
00002e0f: POP
00002e10: POP
00002e11: JUMP
00002e12: JUMPDEST
00002e13: PUSH1 0x00
00002e15: PUSH1 0x00
00002e17: PUSH1 0x00
00002e19: PUSH1 0x00
00002e1b: PUSH1 0x00
00002e1d: PUSH2 0x2e24
00002e20: PUSH2 0x3457
00002e23: JUMP
00002e24: JUMPDEST
00002e25: PUSH1 0x00
00002e27: PUSH2 0x2e2e
00002e2a: PUSH2 0x3457
00002e2d: JUMP
00002e2e: JUMPDEST
00002e2f: PUSH1 0x20
00002e31: PUSH1 0x40
00002e33: MLOAD
00002e34: DUP1
00002e35: MSIZE
00002e36: LT
00002e37: PUSH2 0x2e3d
00002e3a: JUMPI
00002e3b: POP
00002e3c: MSIZE
00002e3d: JUMPDEST
00002e3e: SWAP1
00002e3f: DUP1
00002e40: DUP3
00002e41: MSTORE
00002e42: DUP1
00002e43: PUSH1 0x20
00002e45: MUL
00002e46: PUSH1 0x20
00002e48: ADD
00002e49: DUP3
00002e4a: ADD
00002e4b: PUSH1 0x40
00002e4d: MSTORE
00002e4e: JUMPDEST
00002e4f: POP
00002e50: SWAP3
00002e51: POP
00002e52: PUSH1 0x20
00002e54: DUP11
00002e55: PUSH1 0x03
00002e57: DUP2
00002e58: MLOAD
00002e59: DUP2
00002e5a: LT
00002e5b: ISZERO
00002e5c: ISZERO
00002e5d: PUSH2 0x2e62
00002e60: JUMPI
00002e61: INVALID
00002e62: JUMPDEST
00002e63: SWAP1
00002e64: PUSH1 0x20
00002e66: ADD
00002e67: ADD
00002e68: MLOAD
00002e69: PUSH1 0xf8
00002e6b: PUSH1 0x02
00002e6d: EXP
00002e6e: SWAP1
00002e6f: DIV
00002e70: PUSH1 0xf8
00002e72: PUSH1 0x02
00002e74: EXP
00002e75: MUL
00002e76: PUSH1 0xf8
00002e78: PUSH1 0x02
00002e7a: EXP
00002e7b: SWAP1
00002e7c: DIV
00002e7d: SUB
00002e7e: PUSH1 0x04
00002e80: ADD
00002e81: SWAP2
00002e82: POP
00002e83: PUSH2 0x2e91
00002e86: DUP11
00002e87: DUP4
00002e88: PUSH1 0x20
00002e8a: DUP7
00002e8b: PUSH1 0x00
00002e8d: PUSH2 0x2d31
00002e90: JUMP
00002e91: JUMPDEST
00002e92: SWAP3
00002e93: POP
00002e94: PUSH1 0x20
00002e96: PUSH1 0x40
00002e98: MLOAD
00002e99: DUP1
00002e9a: MSIZE
00002e9b: LT
00002e9c: PUSH2 0x2ea2
00002e9f: JUMPI
00002ea0: POP
00002ea1: MSIZE
00002ea2: JUMPDEST
00002ea3: SWAP1
00002ea4: DUP1
00002ea5: DUP3
00002ea6: MSTORE
00002ea7: DUP1
00002ea8: PUSH1 0x20
00002eaa: MUL
00002eab: PUSH1 0x20
00002ead: ADD
00002eae: DUP3
00002eaf: ADD
00002eb0: PUSH1 0x40
00002eb2: MSTORE
00002eb3: JUMPDEST
00002eb4: POP
00002eb5: SWAP1
00002eb6: POP
00002eb7: PUSH1 0x22
00002eb9: DUP3
00002eba: ADD
00002ebb: SWAP2
00002ebc: POP
00002ebd: PUSH2 0x2efa
00002ec0: DUP11
00002ec1: PUSH1 0x20
00002ec3: DUP13
00002ec4: PUSH1 0x01
00002ec6: DUP7
00002ec7: SUB
00002ec8: DUP2
00002ec9: MLOAD
00002eca: DUP2
00002ecb: LT
00002ecc: ISZERO
00002ecd: ISZERO
00002ece: PUSH2 0x2ed3
00002ed1: JUMPI
00002ed2: INVALID
00002ed3: JUMPDEST
00002ed4: SWAP1
00002ed5: PUSH1 0x20
00002ed7: ADD
00002ed8: ADD
00002ed9: MLOAD
00002eda: PUSH1 0xf8
00002edc: PUSH1 0x02
00002ede: EXP
00002edf: SWAP1
00002ee0: DIV
00002ee1: PUSH1 0xf8
00002ee3: PUSH1 0x02
00002ee5: EXP
00002ee6: MUL
00002ee7: PUSH1 0xf8
00002ee9: PUSH1 0x02
00002eeb: EXP
00002eec: SWAP1
00002eed: DIV
00002eee: SUB
00002eef: DUP5
00002ef0: ADD
00002ef1: PUSH1 0x20
00002ef3: DUP5
00002ef4: PUSH1 0x00
00002ef6: PUSH2 0x2d31
00002ef9: JUMP
00002efa: JUMPDEST
00002efb: SWAP1
00002efc: POP
00002efd: PUSH1 0x20
00002eff: DUP4
00002f00: ADD
00002f01: MLOAD
00002f02: SWAP5
00002f03: POP
00002f04: PUSH1 0x20
00002f06: DUP2
00002f07: ADD
00002f08: MLOAD
00002f09: SWAP4
00002f0a: POP
00002f0b: PUSH2 0x2f17
00002f0e: DUP12
00002f0f: PUSH1 0x1b
00002f11: DUP8
00002f12: DUP8
00002f13: PUSH2 0x3410
00002f16: JUMP
00002f17: JUMPDEST
00002f18: DUP1
00002f19: SWAP8
00002f1a: POP
00002f1b: DUP2
00002f1c: SWAP9
00002f1d: POP
00002f1e: POP
00002f1f: POP
00002f20: DUP6
00002f21: PUSH1 0x01
00002f23: PUSH1 0xa0
00002f25: PUSH1 0x02
00002f27: EXP
00002f28: SUB
00002f29: AND
00002f2a: DUP10
00002f2b: PUSH1 0x40
00002f2d: MLOAD
00002f2e: DUP1
00002f2f: DUP3
00002f30: DUP1
00002f31: MLOAD
00002f32: SWAP1
00002f33: PUSH1 0x20
00002f35: ADD
00002f36: SWAP1
00002f37: DUP1
00002f38: DUP4
00002f39: DUP4
00002f3a: JUMPDEST
00002f3b: PUSH1 0x20
00002f3d: DUP4
00002f3e: LT
00002f3f: PUSH2 0x2f59
00002f42: JUMPI
00002f43: DUP1
00002f44: MLOAD
00002f45: DUP3
00002f46: MSTORE
00002f47: PUSH1 0x1f
00002f49: NOT
00002f4a: SWAP1
00002f4b: SWAP3
00002f4c: ADD
00002f4d: SWAP2
00002f4e: PUSH1 0x20
00002f50: SWAP2
00002f51: DUP3
00002f52: ADD
00002f53: SWAP2
00002f54: ADD
00002f55: PUSH2 0x2f3a
00002f58: JUMP
00002f59: JUMPDEST
00002f5a: PUSH1 0x01
00002f5c: DUP4
00002f5d: PUSH1 0x20
00002f5f: SUB
00002f60: PUSH2 0x0100
00002f63: EXP
00002f64: SUB
00002f65: DUP1
00002f66: NOT
00002f67: DUP3
00002f68: MLOAD
00002f69: AND
00002f6a: DUP2
00002f6b: DUP5
00002f6c: MLOAD
00002f6d: AND
00002f6e: DUP1
00002f6f: DUP3
00002f70: OR
00002f71: DUP6
00002f72: MSTORE
00002f73: POP
00002f74: POP
00002f75: POP
00002f76: POP
00002f77: POP
00002f78: POP
00002f79: SWAP1
00002f7a: POP
00002f7b: ADD
00002f7c: SWAP2
00002f7d: POP
00002f7e: POP
00002f7f: PUSH1 0x40
00002f81: MLOAD
00002f82: DUP1
00002f83: SWAP2
00002f84: SUB
00002f85: SWAP1
00002f86: KECCAK256
00002f87: PUSH1 0x01
00002f89: SWAP1
00002f8a: DIV
00002f8b: PUSH1 0x01
00002f8d: PUSH1 0xa0
00002f8f: PUSH1 0x02
00002f91: EXP
00002f92: SUB
00002f93: AND
00002f94: EQ
00002f95: ISZERO
00002f96: PUSH2 0x2fa2
00002f99: JUMPI
00002f9a: PUSH1 0x01
00002f9c: SWAP8
00002f9d: POP
00002f9e: PUSH2 0x302f
00002fa1: JUMP
00002fa2: JUMPDEST
00002fa3: PUSH2 0x2faf
00002fa6: DUP12
00002fa7: PUSH1 0x1c
00002fa9: DUP8
00002faa: DUP8
00002fab: PUSH2 0x3410
00002fae: JUMP
00002faf: JUMPDEST
00002fb0: DUP1
00002fb1: SWAP8
00002fb2: POP
00002fb3: DUP2
00002fb4: SWAP9
00002fb5: POP
00002fb6: POP
00002fb7: POP
00002fb8: DUP6
00002fb9: PUSH1 0x01
00002fbb: PUSH1 0xa0
00002fbd: PUSH1 0x02
00002fbf: EXP
00002fc0: SUB
00002fc1: AND
00002fc2: DUP10
00002fc3: PUSH1 0x40
00002fc5: MLOAD
00002fc6: DUP1
00002fc7: DUP3
00002fc8: DUP1
00002fc9: MLOAD
00002fca: SWAP1
00002fcb: PUSH1 0x20
00002fcd: ADD
00002fce: SWAP1
00002fcf: DUP1
00002fd0: DUP4
00002fd1: DUP4
00002fd2: JUMPDEST
00002fd3: PUSH1 0x20
00002fd5: DUP4
00002fd6: LT
00002fd7: PUSH2 0x2ff1
00002fda: JUMPI
00002fdb: DUP1
00002fdc: MLOAD
00002fdd: DUP3
00002fde: MSTORE
00002fdf: PUSH1 0x1f
00002fe1: NOT
00002fe2: SWAP1
00002fe3: SWAP3
00002fe4: ADD
00002fe5: SWAP2
00002fe6: PUSH1 0x20
00002fe8: SWAP2
00002fe9: DUP3
00002fea: ADD
00002feb: SWAP2
00002fec: ADD
00002fed: PUSH2 0x2fd2
00002ff0: JUMP
00002ff1: JUMPDEST
00002ff2: PUSH1 0x01
00002ff4: DUP4
00002ff5: PUSH1 0x20
00002ff7: SUB
00002ff8: PUSH2 0x0100
00002ffb: EXP
00002ffc: SUB
00002ffd: DUP1
00002ffe: NOT
00002fff: DUP3
00003000: MLOAD
00003001: AND
00003002: DUP2
00003003: DUP5
00003004: MLOAD
00003005: AND
00003006: DUP1
00003007: DUP3
00003008: OR
00003009: DUP6
0000300a: MSTORE
0000300b: POP
0000300c: POP
0000300d: POP
0000300e: POP
0000300f: POP
00003010: POP
00003011: SWAP1
00003012: POP
00003013: ADD
00003014: SWAP2
00003015: POP
00003016: POP
00003017: PUSH1 0x40
00003019: MLOAD
0000301a: DUP1
0000301b: SWAP2
0000301c: SUB
0000301d: SWAP1
0000301e: KECCAK256
0000301f: PUSH1 0x01
00003021: SWAP1
00003022: DIV
00003023: PUSH1 0x01
00003025: PUSH1 0xa0
00003027: PUSH1 0x02
00003029: EXP
0000302a: SUB
0000302b: AND
0000302c: EQ
0000302d: SWAP8
0000302e: POP
0000302f: JUMPDEST
00003030: JUMPDEST
00003031: POP
00003032: POP
00003033: POP
00003034: POP
00003035: POP
00003036: POP
00003037: POP
00003038: SWAP4
00003039: SWAP3
0000303a: POP
0000303b: POP
0000303c: POP
0000303d: JUMP
0000303e: JUMPDEST
0000303f: PUSH1 0x00
00003041: PUSH1 0x00
00003043: PUSH2 0x304a
00003046: PUSH2 0x3457
00003049: JUMP
0000304a: JUMPDEST
0000304b: PUSH2 0x3052
0000304e: PUSH2 0x3457
00003051: JUMP
00003052: JUMPDEST
00003053: PUSH2 0x305a
00003056: PUSH2 0x3457
00003059: JUMP
0000305a: JUMPDEST
0000305b: PUSH2 0x3062
0000305e: PUSH2 0x3457
00003061: JUMP
00003062: JUMPDEST
00003063: PUSH2 0x306a
00003066: PUSH2 0x3457
00003069: JUMP
0000306a: JUMPDEST
0000306b: PUSH2 0x3072
0000306e: PUSH2 0x3457
00003071: JUMP
00003072: JUMPDEST
00003073: PUSH2 0x307a
00003076: PUSH2 0x3457
00003079: JUMP
0000307a: JUMPDEST
0000307b: DUP11
0000307c: DUP11
0000307d: PUSH1 0x01
0000307f: ADD
00003080: DUP2
00003081: MLOAD
00003082: DUP2
00003083: LT
00003084: ISZERO
00003085: ISZERO
00003086: PUSH2 0x308b
00003089: JUMPI
0000308a: INVALID
0000308b: JUMPDEST
0000308c: SWAP1
0000308d: PUSH1 0x20
0000308f: ADD
00003090: ADD
00003091: MLOAD
00003092: PUSH1 0xf8
00003094: PUSH1 0x02
00003096: EXP
00003097: SWAP1
00003098: DIV
00003099: PUSH1 0xf8
0000309b: PUSH1 0x02
0000309d: EXP
0000309e: MUL
0000309f: PUSH1 0xf8
000030a1: PUSH1 0x02
000030a3: EXP
000030a4: SWAP1
000030a5: DIV
000030a6: PUSH1 0x02
000030a8: ADD
000030a9: PUSH1 0x40
000030ab: MLOAD
000030ac: DUP1
000030ad: MSIZE
000030ae: LT
000030af: PUSH2 0x30b5
000030b2: JUMPI
000030b3: POP
000030b4: MSIZE
000030b5: JUMPDEST
000030b6: SWAP1
000030b7: DUP1
000030b8: DUP3
000030b9: MSTORE
000030ba: DUP1
000030bb: PUSH1 0x20
000030bd: MUL
000030be: PUSH1 0x20
000030c0: ADD
000030c1: DUP3
000030c2: ADD
000030c3: PUSH1 0x40
000030c5: MSTORE
000030c6: JUMPDEST
000030c7: POP
000030c8: SWAP7
000030c9: POP
000030ca: PUSH2 0x30d8
000030cd: DUP12
000030ce: DUP12
000030cf: DUP10
000030d0: MLOAD
000030d1: DUP11
000030d2: PUSH1 0x00
000030d4: PUSH2 0x2d31
000030d7: JUMP
000030d8: JUMPDEST
000030d9: POP
000030da: PUSH1 0x40
000030dc: PUSH1 0x40
000030de: MLOAD
000030df: DUP1
000030e0: MSIZE
000030e1: LT
000030e2: PUSH2 0x30e8
000030e5: JUMPI
000030e6: POP
000030e7: MSIZE
000030e8: JUMPDEST
000030e9: SWAP1
000030ea: DUP1
000030eb: DUP3
000030ec: MSTORE
000030ed: DUP1
000030ee: PUSH1 0x20
000030f0: MUL
000030f1: PUSH1 0x20
000030f3: ADD
000030f4: DUP3
000030f5: ADD
000030f6: PUSH1 0x40
000030f8: MSTORE
000030f9: JUMPDEST
000030fa: POP
000030fb: SWAP6
000030fc: POP
000030fd: PUSH2 0x310c
00003100: DUP12
00003101: PUSH1 0x04
00003103: PUSH1 0x40
00003105: DUP10
00003106: PUSH1 0x00
00003108: PUSH2 0x2d31
0000310b: JUMP
0000310c: JUMPDEST
0000310d: POP
0000310e: PUSH1 0x62
00003110: PUSH1 0x40
00003112: MLOAD
00003113: DUP1
00003114: MSIZE
00003115: LT
00003116: PUSH2 0x311c
00003119: JUMPI
0000311a: POP
0000311b: MSIZE
0000311c: JUMPDEST
0000311d: SWAP1
0000311e: DUP1
0000311f: DUP3
00003120: MSTORE
00003121: DUP1
00003122: PUSH1 0x20
00003124: MUL
00003125: PUSH1 0x20
00003127: ADD
00003128: DUP3
00003129: ADD
0000312a: PUSH1 0x40
0000312c: MSTORE
0000312d: JUMPDEST
0000312e: POP
0000312f: SWAP5
00003130: POP
00003131: PUSH1 0x01
00003133: PUSH1 0xf8
00003135: PUSH1 0x02
00003137: EXP
00003138: MUL
00003139: DUP6
0000313a: PUSH1 0x00
0000313c: DUP2
0000313d: MLOAD
0000313e: DUP2
0000313f: LT
00003140: ISZERO
00003141: ISZERO
00003142: PUSH2 0x3147
00003145: JUMPI
00003146: INVALID
00003147: JUMPDEST
00003148: SWAP1
00003149: PUSH1 0x20
0000314b: ADD
0000314c: ADD
0000314d: SWAP1
0000314e: PUSH1 0x01
00003150: PUSH1 0xf8
00003152: PUSH1 0x02
00003154: EXP
00003155: SUB
00003156: NOT
00003157: AND
00003158: SWAP1
00003159: DUP2
0000315a: PUSH1 0x00
0000315c: BYTE
0000315d: SWAP1
0000315e: MSTORE8
0000315f: POP
00003160: PUSH2 0x3171
00003163: DUP12
00003164: PUSH1 0x41
00003166: DUP13
00003167: SUB
00003168: PUSH1 0x41
0000316a: DUP9
0000316b: PUSH1 0x01
0000316d: PUSH2 0x2d31
00003170: JUMP
00003171: JUMPDEST
00003172: POP
00003173: PUSH1 0x40
00003175: PUSH1 0x40
00003177: MLOAD
00003178: SWAP1
00003179: DUP2
0000317a: ADD
0000317b: PUSH1 0x40
0000317d: MSTORE
0000317e: DUP1
0000317f: PUSH1 0x20
00003181: DUP2
00003182: MSTORE
00003183: PUSH1 0x20
00003185: ADD
00003186: PUSH32 0xfd94fa71bc0ba10d39d464d0d8f465efeef0a2764e3887fcc9df41ded20f505c
000031a7: DUP2
000031a8: MSTORE
000031a9: POP
000031aa: SWAP4
000031ab: POP
000031ac: PUSH2 0x31bb
000031af: DUP5
000031b0: PUSH1 0x00
000031b2: PUSH1 0x20
000031b4: DUP9
000031b5: PUSH1 0x42
000031b7: PUSH2 0x2d31
000031ba: JUMP
000031bb: JUMPDEST
000031bc: POP
000031bd: PUSH2 0x3243
000031c0: PUSH1 0x02
000031c2: DUP7
000031c3: PUSH1 0x00
000031c5: PUSH1 0x40
000031c7: MLOAD
000031c8: PUSH1 0x20
000031ca: ADD
000031cb: MSTORE
000031cc: PUSH1 0x40
000031ce: MLOAD
000031cf: DUP1
000031d0: DUP3
000031d1: DUP1
000031d2: MLOAD
000031d3: SWAP1
000031d4: PUSH1 0x20
000031d6: ADD
000031d7: SWAP1
000031d8: DUP1
000031d9: DUP4
000031da: DUP4
000031db: JUMPDEST
000031dc: PUSH1 0x20
000031de: DUP4
000031df: LT
000031e0: PUSH2 0x31fa
000031e3: JUMPI
000031e4: DUP1
000031e5: MLOAD
000031e6: DUP3
000031e7: MSTORE
000031e8: PUSH1 0x1f
000031ea: NOT
000031eb: SWAP1
000031ec: SWAP3
000031ed: ADD
000031ee: SWAP2
000031ef: PUSH1 0x20
000031f1: SWAP2
000031f2: DUP3
000031f3: ADD
000031f4: SWAP2
000031f5: ADD
000031f6: PUSH2 0x31db
000031f9: JUMP
000031fa: JUMPDEST
000031fb: MLOAD
000031fc: DUP2
000031fd: MLOAD
000031fe: PUSH1 0x20
00003200: SWAP4
00003201: DUP5
00003202: SUB
00003203: PUSH2 0x0100
00003206: EXP
00003207: PUSH1 0x00
00003209: NOT
0000320a: ADD
0000320b: DUP1
0000320c: NOT
0000320d: SWAP1
0000320e: SWAP3
0000320f: AND
00003210: SWAP2
00003211: AND
00003212: OR
00003213: SWAP1
00003214: MSTORE
00003215: PUSH1 0x40
00003217: MLOAD
00003218: SWAP2
00003219: SWAP1
0000321a: SWAP4
0000321b: ADD
0000321c: SWAP5
0000321d: POP
0000321e: SWAP2
0000321f: SWAP3
00003220: POP
00003221: POP
00003222: DUP1
00003223: DUP4
00003224: SUB
00003225: DUP2
00003226: PUSH1 0x00
00003228: DUP7
00003229: PUSH2 0x646e
0000322c: GAS
0000322d: SUB
0000322e: CALL
0000322f: ISZERO
00003230: ISZERO
00003231: PUSH2 0x3236
00003234: JUMPI
00003235: INVALID
00003236: JUMPDEST
00003237: POP
00003238: POP
00003239: PUSH1 0x40
0000323b: MLOAD
0000323c: MLOAD
0000323d: DUP9
0000323e: DUP9
0000323f: PUSH2 0x2e12
00003242: JUMP
00003243: JUMPDEST
00003244: SWAP8
00003245: POP
00003246: DUP8
00003247: ISZERO
00003248: ISZERO
00003249: PUSH2 0x3255
0000324c: JUMPI
0000324d: PUSH1 0x00
0000324f: SWAP9
00003250: POP
00003251: PUSH2 0x3402
00003254: JUMP
00003255: JUMPDEST
00003256: PUSH1 0x60
00003258: PUSH1 0x40
0000325a: MLOAD
0000325b: SWAP1
0000325c: DUP2
0000325d: ADD
0000325e: PUSH1 0x40
00003260: MSTORE
00003261: DUP1
00003262: PUSH1 0x40
00003264: DUP2
00003265: MSTORE
00003266: PUSH1 0x20
00003268: ADD
00003269: PUSH32 0x7fb956469c5c9b89840d55b43537e66a98dd4811ea0a27224272c2e5622911e8
0000328a: DUP2
0000328b: MSTORE
0000328c: PUSH1 0x20
0000328e: ADD
0000328f: PUSH32 0x537a2f8e86a46baec82864e98dd01e9ccc2f8bc5dfc9cbe5a91a290498dd96e4
000032b0: DUP2
000032b1: MSTORE
000032b2: POP
000032b3: SWAP3
000032b4: POP
000032b5: PUSH1 0x42
000032b7: PUSH1 0x40
000032b9: MLOAD
000032ba: DUP1
000032bb: MSIZE
000032bc: LT
000032bd: PUSH2 0x32c3
000032c0: JUMPI
000032c1: POP
000032c2: MSIZE
000032c3: JUMPDEST
000032c4: SWAP1
000032c5: DUP1
000032c6: DUP3
000032c7: MSTORE
000032c8: DUP1
000032c9: PUSH1 0x20
000032cb: MUL
000032cc: PUSH1 0x20
000032ce: ADD
000032cf: DUP3
000032d0: ADD
000032d1: PUSH1 0x40
000032d3: MSTORE
000032d4: JUMPDEST
000032d5: POP
000032d6: SWAP2
000032d7: POP
000032d8: PUSH1 0xfe
000032da: PUSH1 0xf8
000032dc: PUSH1 0x02
000032de: EXP
000032df: MUL
000032e0: DUP3
000032e1: PUSH1 0x00
000032e3: DUP2
000032e4: MLOAD
000032e5: DUP2
000032e6: LT
000032e7: ISZERO
000032e8: ISZERO
000032e9: PUSH2 0x32ee
000032ec: JUMPI
000032ed: INVALID
000032ee: JUMPDEST
000032ef: SWAP1
000032f0: PUSH1 0x20
000032f2: ADD
000032f3: ADD
000032f4: SWAP1
000032f5: PUSH1 0x01
000032f7: PUSH1 0xf8
000032f9: PUSH1 0x02
000032fb: EXP
000032fc: SUB
000032fd: NOT
000032fe: AND
000032ff: SWAP1
00003300: DUP2
00003301: PUSH1 0x00
00003303: BYTE
00003304: SWAP1
00003305: MSTORE8
00003306: POP
00003307: PUSH2 0x3316
0000330a: DUP12
0000330b: PUSH1 0x03
0000330d: PUSH1 0x41
0000330f: DUP6
00003310: PUSH1 0x01
00003312: PUSH2 0x2d31
00003315: JUMP
00003316: JUMPDEST
00003317: POP
00003318: DUP11
00003319: PUSH1 0x45
0000331b: DUP2
0000331c: MLOAD
0000331d: DUP2
0000331e: LT
0000331f: ISZERO
00003320: ISZERO
00003321: PUSH2 0x3326
00003324: JUMPI
00003325: INVALID
00003326: JUMPDEST
00003327: SWAP1
00003328: PUSH1 0x20
0000332a: ADD
0000332b: ADD
0000332c: MLOAD
0000332d: PUSH1 0xf8
0000332f: PUSH1 0x02
00003331: EXP
00003332: SWAP1
00003333: DIV
00003334: PUSH1 0xf8
00003336: PUSH1 0x02
00003338: EXP
00003339: MUL
0000333a: PUSH1 0xf8
0000333c: PUSH1 0x02
0000333e: EXP
0000333f: SWAP1
00003340: DIV
00003341: PUSH1 0x02
00003343: ADD
00003344: PUSH1 0x40
00003346: MLOAD
00003347: DUP1
00003348: MSIZE
00003349: LT
0000334a: PUSH2 0x3350
0000334d: JUMPI
0000334e: POP
0000334f: MSIZE
00003350: JUMPDEST
00003351: SWAP1
00003352: DUP1
00003353: DUP3
00003354: MSTORE
00003355: DUP1
00003356: PUSH1 0x20
00003358: MUL
00003359: PUSH1 0x20
0000335b: ADD
0000335c: DUP3
0000335d: ADD
0000335e: PUSH1 0x40
00003360: MSTORE
00003361: JUMPDEST
00003362: POP
00003363: SWAP1
00003364: POP
00003365: PUSH2 0x3374
00003368: DUP12
00003369: PUSH1 0x44
0000336b: DUP4
0000336c: MLOAD
0000336d: DUP5
0000336e: PUSH1 0x00
00003370: PUSH2 0x2d31
00003373: JUMP
00003374: JUMPDEST
00003375: POP
00003376: PUSH2 0x33fc
00003379: PUSH1 0x02
0000337b: DUP4
0000337c: PUSH1 0x00
0000337e: PUSH1 0x40
00003380: MLOAD
00003381: PUSH1 0x20
00003383: ADD
00003384: MSTORE
00003385: PUSH1 0x40
00003387: MLOAD
00003388: DUP1
00003389: DUP3
0000338a: DUP1
0000338b: MLOAD
0000338c: SWAP1
0000338d: PUSH1 0x20
0000338f: ADD
00003390: SWAP1
00003391: DUP1
00003392: DUP4
00003393: DUP4
00003394: JUMPDEST
00003395: PUSH1 0x20
00003397: DUP4
00003398: LT
00003399: PUSH2 0x33b3
0000339c: JUMPI
0000339d: DUP1
0000339e: MLOAD
0000339f: DUP3
000033a0: MSTORE
000033a1: PUSH1 0x1f
000033a3: NOT
000033a4: SWAP1
000033a5: SWAP3
000033a6: ADD
000033a7: SWAP2
000033a8: PUSH1 0x20
000033aa: SWAP2
000033ab: DUP3
000033ac: ADD
000033ad: SWAP2
000033ae: ADD
000033af: PUSH2 0x3394
000033b2: JUMP
000033b3: JUMPDEST
000033b4: MLOAD
000033b5: DUP2
000033b6: MLOAD
000033b7: PUSH1 0x20
000033b9: SWAP4
000033ba: DUP5
000033bb: SUB
000033bc: PUSH2 0x0100
000033bf: EXP
000033c0: PUSH1 0x00
000033c2: NOT
000033c3: ADD
000033c4: DUP1
000033c5: NOT
000033c6: SWAP1
000033c7: SWAP3
000033c8: AND
000033c9: SWAP2
000033ca: AND
000033cb: OR
000033cc: SWAP1
000033cd: MSTORE
000033ce: PUSH1 0x40
000033d0: MLOAD
000033d1: SWAP2
000033d2: SWAP1
000033d3: SWAP4
000033d4: ADD
000033d5: SWAP5
000033d6: POP
000033d7: SWAP2
000033d8: SWAP3
000033d9: POP
000033da: POP
000033db: DUP1
000033dc: DUP4
000033dd: SUB
000033de: DUP2
000033df: PUSH1 0x00
000033e1: DUP7
000033e2: PUSH2 0x646e
000033e5: GAS
000033e6: SUB
000033e7: CALL
000033e8: ISZERO
000033e9: ISZERO
000033ea: PUSH2 0x33ef
000033ed: JUMPI
000033ee: INVALID
000033ef: JUMPDEST
000033f0: POP
000033f1: POP
000033f2: PUSH1 0x40
000033f4: MLOAD
000033f5: MLOAD
000033f6: DUP3
000033f7: DUP6
000033f8: PUSH2 0x2e12
000033fb: JUMP
000033fc: JUMPDEST
000033fd: SWAP8
000033fe: POP
000033ff: DUP8
00003400: SWAP9
00003401: POP
00003402: JUMPDEST
00003403: POP
00003404: POP
00003405: POP
00003406: POP
00003407: POP
00003408: POP
00003409: POP
0000340a: POP
0000340b: SWAP3
0000340c: SWAP2
0000340d: POP
0000340e: POP
0000340f: JUMP
00003410: JUMPDEST
00003411: PUSH1 0x00
00003413: PUSH1 0x00
00003415: PUSH1 0x00
00003417: PUSH1 0x00
00003419: PUSH1 0x40
0000341b: MLOAD
0000341c: DUP9
0000341d: DUP2
0000341e: MSTORE
0000341f: DUP8
00003420: PUSH1 0x20
00003422: DUP3
00003423: ADD
00003424: MSTORE
00003425: DUP7
00003426: PUSH1 0x40
00003428: DUP3
00003429: ADD
0000342a: MSTORE
0000342b: DUP6
0000342c: PUSH1 0x60
0000342e: DUP3
0000342f: ADD
00003430: MSTORE
00003431: PUSH1 0x20
00003433: DUP2
00003434: PUSH1 0x80
00003436: DUP4
00003437: PUSH1 0x00
00003439: PUSH1 0x01
0000343b: PUSH2 0x0bb8
0000343e: CALL
0000343f: SWAP3
00003440: POP
00003441: DUP1
00003442: MLOAD
00003443: SWAP2
00003444: POP
00003445: POP
00003446: DUP2
00003447: DUP2
00003448: SWAP4
00003449: POP
0000344a: SWAP4
0000344b: POP
0000344c: JUMPDEST
0000344d: POP
0000344e: POP
0000344f: SWAP5
00003450: POP
00003451: SWAP5
00003452: SWAP3
00003453: POP
00003454: POP
00003455: POP
00003456: JUMP
00003457: JUMPDEST
00003458: PUSH1 0x40
0000345a: DUP1
0000345b: MLOAD
0000345c: PUSH1 0x20
0000345e: DUP2
0000345f: ADD
00003460: SWAP1
00003461: SWAP2
00003462: MSTORE
00003463: PUSH1 0x00
00003465: DUP2
00003466: MSTORE
00003467: SWAP1
00003468: JUMP
00003469: JUMPDEST
0000346a: PUSH1 0x60
0000346c: PUSH1 0x40
0000346e: MLOAD
0000346f: SWAP1
00003470: DUP2
00003471: ADD
00003472: PUSH1 0x40
00003474: MSTORE
00003475: DUP1
00003476: PUSH1 0x03
00003478: SWAP1
00003479: JUMPDEST
0000347a: PUSH2 0x3481
0000347d: PUSH2 0x3457
00003480: JUMP
00003481: JUMPDEST
00003482: DUP2
00003483: MSTORE
00003484: PUSH1 0x20
00003486: ADD
00003487: SWAP1
00003488: PUSH1 0x01
0000348a: SWAP1
0000348b: SUB
0000348c: SWAP1
0000348d: DUP2
0000348e: PUSH2 0x3479
00003491: JUMPI
00003492: SWAP1
00003493: POP
00003494: POP
00003495: SWAP1
00003496: JUMP
00003497: JUMPDEST
00003498: PUSH1 0x40
0000349a: DUP1
0000349b: MLOAD
0000349c: PUSH1 0x20
0000349e: DUP2
0000349f: ADD
000034a0: SWAP1
000034a1: SWAP2
000034a2: MSTORE
000034a3: PUSH1 0x00
000034a5: DUP2
000034a6: MSTORE
000034a7: SWAP1
000034a8: JUMP
000034a9: JUMPDEST
000034aa: PUSH1 0x40
000034ac: DUP1
000034ad: MLOAD
000034ae: PUSH1 0x20
000034b0: DUP2
000034b1: ADD
000034b2: SWAP1
000034b3: SWAP2
000034b4: MSTORE
000034b5: PUSH1 0x00
000034b7: DUP2
000034b8: MSTORE
000034b9: SWAP1
000034ba: JUMP
000034bb: JUMPDEST
000034bc: DUP3
000034bd: DUP1
000034be: SLOAD
000034bf: PUSH1 0x01
000034c1: DUP2
000034c2: PUSH1 0x01
000034c4: AND
000034c5: ISZERO
000034c6: PUSH2 0x0100
000034c9: MUL
000034ca: SUB
000034cb: AND
000034cc: PUSH1 0x02
000034ce: SWAP1
000034cf: DIV
000034d0: SWAP1
000034d1: PUSH1 0x00
000034d3: MSTORE
000034d4: PUSH1 0x20
000034d6: PUSH1 0x00
000034d8: KECCAK256
000034d9: SWAP1
000034da: PUSH1 0x1f
000034dc: ADD
000034dd: PUSH1 0x20
000034df: SWAP1
000034e0: DIV
000034e1: DUP2
000034e2: ADD
000034e3: SWAP3
000034e4: DUP3
000034e5: PUSH1 0x1f
000034e7: LT
000034e8: PUSH2 0x34fc
000034eb: JUMPI
000034ec: DUP1
000034ed: MLOAD
000034ee: PUSH1 0xff
000034f0: NOT
000034f1: AND
000034f2: DUP4
000034f3: DUP1
000034f4: ADD
000034f5: OR
000034f6: DUP6
000034f7: SSTORE
000034f8: PUSH2 0x3529
000034fb: JUMP
000034fc: JUMPDEST
000034fd: DUP3
000034fe: DUP1
000034ff: ADD
00003500: PUSH1 0x01
00003502: ADD
00003503: DUP6
00003504: SSTORE
00003505: DUP3
00003506: ISZERO
00003507: PUSH2 0x3529
0000350a: JUMPI
0000350b: SWAP2
0000350c: DUP3
0000350d: ADD
0000350e: JUMPDEST
0000350f: DUP3
00003510: DUP2
00003511: GT
00003512: ISZERO
00003513: PUSH2 0x3529
00003516: JUMPI
00003517: DUP3
00003518: MLOAD
00003519: DUP3
0000351a: SSTORE
0000351b: SWAP2
0000351c: PUSH1 0x20
0000351e: ADD
0000351f: SWAP2
00003520: SWAP1
00003521: PUSH1 0x01
00003523: ADD
00003524: SWAP1
00003525: PUSH2 0x350e
00003528: JUMP
00003529: JUMPDEST
0000352a: JUMPDEST
0000352b: POP
0000352c: PUSH2 0x3536
0000352f: SWAP3
00003530: SWAP2
00003531: POP
00003532: PUSH2 0x354c
00003535: JUMP
00003536: JUMPDEST
00003537: POP
00003538: SWAP1
00003539: JUMP
0000353a: JUMPDEST
0000353b: PUSH1 0x40
0000353d: DUP1
0000353e: MLOAD
0000353f: PUSH1 0x20
00003541: DUP2
00003542: ADD
00003543: SWAP1
00003544: SWAP2
00003545: MSTORE
00003546: PUSH1 0x00
00003548: DUP2
00003549: MSTORE
0000354a: SWAP1
0000354b: JUMP
0000354c: JUMPDEST
0000354d: PUSH2 0x1ab6
00003550: SWAP2
00003551: SWAP1
00003552: JUMPDEST
00003553: DUP1
00003554: DUP3
00003555: GT
00003556: ISZERO
00003557: PUSH2 0x3536
0000355a: JUMPI
0000355b: PUSH1 0x00
0000355d: DUP2
0000355e: SSTORE
0000355f: PUSH1 0x01
00003561: ADD
00003562: PUSH2 0x3552
00003565: JUMP
00003566: JUMPDEST
00003567: POP
00003568: SWAP1
00003569: JUMP
0000356a: JUMPDEST
0000356b: SWAP1
0000356c: JUMP
0000356d: STOP
0000356e: LOG1
0000356f: PUSH6 0x627a7a723058
00003576: KECCAK256
00003577: SSTORE
00003578: XOR
00003579: SWAP11
0000357a: SWAP2
0000357b: UNKNOWN(0xB6)
0000357c: PUSH29

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: 0xa9ef933f87d677bc684499efc6888af52f7b8301f96d89f47e221eb40e70ab17
call_targets: 0xe5a04d98538231b0fab9aba60cd73ce4ff3039df
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xa9ef933f87d677bc684499efc6888af52f7b8301f96d89f47e221eb40e70ab17",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xe5a04d98538231b0fab9aba60cd73ce4ff3039df"
    ],
    "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": "0x1b87d58a",
            "selector": "0x1b87d58a",
            "calldata_variants": [
                "0x1b87d58a",
                "0x1b87d58a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2399f870",
            "selector": "0x2399f870",
            "calldata_variants": [
                "0x2399f870",
                "0x2399f8700000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x23d32d6a",
            "selector": "0x23d32d6a",
            "calldata_variants": [
                "0x23d32d6a",
                "0x23d32d6a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x24ce2562",
            "selector": "0x24ce2562",
            "calldata_variants": [
                "0x24ce2562",
                "0x24ce25620000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x27dc297e",
            "selector": "0x27dc297e",
            "calldata_variants": [
                "0x27dc297e",
                "0x27dc297e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2d19413c",
            "selector": "0x2d19413c",
            "calldata_variants": [
                "0x2d19413c",
                "0x2d19413c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2e5b2168",
            "selector": "0x2e5b2168",
            "calldata_variants": [
                "0x2e5b2168",
                "0x2e5b21680000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2e6b2662",
            "selector": "0x2e6b2662",
            "calldata_variants": [
                "0x2e6b2662",
                "0x2e6b26620000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 2406,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2573,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3098,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 28,
    "guards_detected": [],
    "untrusted_call_count": 27
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0xa9ef933f87d677bc684499efc6888af52f7b8301f96d89f47e221eb40e70ab17
call_targets: 0xe5a04d98538231b0fab9aba60cd73ce4ff3039df
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xa9ef933f87d677bc684499efc6888af52f7b8301f96d89f47e221eb40e70ab17",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xe5a04d98538231b0fab9aba60cd73ce4ff3039df"
    ],
    "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": "0x1b87d58a",
            "selector": "0x1b87d58a",
            "calldata_variants": [
                "0x1b87d58a",
                "0x1b87d58a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2399f870",
            "selector": "0x2399f870",
            "calldata_variants": [
                "0x2399f870",
                "0x2399f8700000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x23d32d6a",
            "selector": "0x23d32d6a",
            "calldata_variants": [
                "0x23d32d6a",
                "0x23d32d6a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x24ce2562",
            "selector": "0x24ce2562",
            "calldata_variants": [
                "0x24ce2562",
                "0x24ce25620000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x27dc297e",
            "selector": "0x27dc297e",
            "calldata_variants": [
                "0x27dc297e",
                "0x27dc297e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2d19413c",
            "selector": "0x2d19413c",
            "calldata_variants": [
                "0x2d19413c",
                "0x2d19413c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2e5b2168",
            "selector": "0x2e5b2168",
            "calldata_variants": [
                "0x2e5b2168",
                "0x2e5b21680000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2e6b2662",
            "selector": "0x2e6b2662",
            "calldata_variants": [
                "0x2e6b2662",
                "0x2e6b26620000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 2406,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2573,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3098,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 28,
    "guards_detected": []
}
info other cast Heavy EXTCODE*/BALANCE usage 55 no —
view
evidence_json 
{
    "notes": "frequent external code or balance checks; may indicate introspection or validation logic",
    "ext_balance_count": 18
}
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": 28
}