Analysis Run

Traceback (most recent call last):
  File "/var/www/tripwire/worker/worker.py", line 198, in main
    payload = dispatch_job(job_type, job_id, job_meta, run_data, config, laravel_client)
  File "/var/www/tripwire/worker/worker.py", line 114, in dispatch_job
    return slither_run.run(job_id, job_meta, run_data, config, log, laravel_client)
           ~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/var/www/tripwire/worker/jobs/slither_run.py", line 1056, in run
    solc_path, solc_meta = _prepare_solc(chosen_version, workspace)
                           ~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/var/www/tripwire/worker/jobs/slither_run.py", line 190, in _prepare_solc
    raise RuntimeError(f"solc version {default_version} is too old for supported toolchain")
RuntimeError: solc version 0.3.1 is too old for supported toolchain

[codex:2539] OpenAI Codex v0.77.0 (research preview)
[codex:2539] --------
[codex:2539] workdir: /tmp/codex-multi-vj_1b61b
[codex:2539] model: gpt-5.2-codex
[codex:2539] provider: openai
[codex:2539] approval: never
[codex:2539] sandbox: read-only
[codex:2539] reasoning effort: xhigh
[codex:2539] reasoning summaries: auto
[codex:2539] session id: 019b85c7-6693-7791-8b0c-305aa43f2554
[codex:2539] --------
[codex:2539] user
[codex:2539] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:2539] 
[codex:2539] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:2539] 
[codex:2539] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:2539] - Gas inefficiency, code quality, naming, or best practices
[codex:2539] - Theoretical vulnerabilities without a clear extraction path
[codex:2539] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:2539] - Front-running unless it enables theft beyond MEV
[codex:2539] - DoS, griefing, or issues that don't result in attacker profit
[codex:2539] - Missing events, view function issues, or informational findings
[codex:2539] 
[codex:2539] HIGH-VALUE PATTERNS TO HUNT:
[codex:2539] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:2539] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:2539] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:2539] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:2539] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:2539] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:2539] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:2539] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:2539] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:2539] 
[codex:2539] For each finding, you MUST provide:
[codex:2539] 1. Exact file and line numbers of vulnerable code
[codex:2539] 2. Step-by-step exploit transaction sequence
[codex:2539] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:2539] 
[codex:2539] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:2539] 
[codex:2539] Output MUST be valid JSON matching the provided schema.
[codex:2539] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:2539] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:2539] mcp startup: no servers
[codex:2539] 
[codex:2539] thinking
[codex:2539] **Auditing file contents**
[codex:2539] exec
[codex:2539] /bin/bash -lc ls in /tmp/codex-multi-vj_1b61b succeeded in 6ms:
[codex:2539] AUDIT_BUNDLE.txt
[codex:2539] codex-output-schema.json
[codex:2539] contracts
[codex:2539] exec
[codex:2539] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-vj_1b61b succeeded in 5ms:
[codex:2539] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:2539] 
[codex:2539] ================================================================================
[codex:2539] FILE: contracts/Contract.sol
[codex:2539] ================================================================================
[codex:2539] /*
[codex:2539]     cEthereumlotteryNet
[codex:2539]     Coded by: iFA
[codex:2539]     http://c.ethereumlottery.net
[codex:2539] */
[codex:2539] 
[codex:2539] contract cEthereumlotteryNet {
[codex:2539]         address owner;
[codex:2539]         address drawerAddress;
[codex:2539]         bool contractEnabled = true;
[codex:2539]         uint public constant ticketPrice = 10 finney;
[codex:2539]         uint constant defaultJackpot = 100 ether;
[codex:2539]         uint constant feep = 23;
[codex:2539]         uint constant hit3p = 35;
[codex:2539]         uint constant hit4p = 25;
[codex:2539] 
[codex:2539] 
[codex:2539] 
[codex:2539] 
[codex:2539] thinking
[codex:2539] **Analyzing contract arithmetic and state vulnerabilities**
[codex:2539] 
[codex:2539] I’m carefully examining old Solidity contract logic for cases like prizePot underflow due to cumulative fee tracking, which can cause huge prize payouts beyond intended limits. I’m checking loops and state updates for inconsistencies, reentrancy risks, and ticket number handling to see if these arithmetic or logic bugs let an attacker extract profit despite admin-only privileges on key functions. There’s a lot to unpack involving prize calculations, game states, and potential integer underflows affecting payouts.
[codex:2539] thinking
[codex:2539] **Identifying ticket counting and prize distribution flaws**
[codex:2539] 
[codex:2539] I’m exploring integer overflow protections, ticket indexing errors, and how last-ticket exclusion from winner counts inflates prize payouts for winners including the attacker. This subtle counting bug could let an attacker receive disproportionately large prizes when they are last ticket and at least one other winner exists, creating potential overpayment beyond intended shares, though it still depends on winning conditions that aren’t directly controllable.
[codex:2539] thinking
[codex:2539] **Analyzing prize underflow and payout logic bugs**
[codex:2539] 
[codex:2539] I’m examining how feeValue accumulation can cause prizePot underflow, leading to enormous but unpayable prizes for hitting 3 or 4 numbers, making payouts fail if the contract lacks sufficient balance. Also exploring ticket indexing quirks and loop bounds that exclude the last ticket, plus how buying many tickets affects winning counts and prize splits. There’s a mix of edge-case bugs and payout logic issues that could distort fairness but don’t create a guaranteed exploitable profit path.
[codex:2539] thinking
[codex:2539] **Confirming absence of clear exploit paths**
[codex:2539] 
[codex:2539] I’m wrapping up by carefully verifying ticket number handling, prize calculations, access controls, and potential overflows. Though there are some fairness bugs and off-by-one issues that might cause slight overpayments if an attacker strategically buys tickets, I find no concrete, guaranteed way to extract profit. Without ability to control winning numbers or key secrets, and with protections on critical functions, there’s no definitive exploit path here.
[codex:2539] codex
[codex:2539] {"no_findings":true,"summary":"No concrete, exploitable paths to extract ETH/tokens/NFTs from the provided contract were identified.","findings":[]}
[codex:2539] tokens used
[codex:2539] 23,554
[codex:2539] {"no_findings":true,"summary":"No concrete, exploitable paths to extract ETH/tokens/NFTs from the provided contract were identified.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-03T21:37:41.885572+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable paths to extract ETH/tokens/NFTs from the provided contract were identified.",
    "raw_final": {
        "summary": "No concrete, exploitable paths to extract ETH/tokens/NFTs from the provided contract were identified.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x00cf
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x068c966b
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x00d8
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x0acf473b
00000025: EQ
00000026: PUSH2 0x0190
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x1209b1f6
00000030: EQ
00000031: PUSH2 0x01b3
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x269975d0
0000003b: EQ
0000003c: PUSH2 0x01c1
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x26e770e9
00000046: EQ
00000047: PUSH2 0x020f
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x370b6939
00000051: EQ
00000052: PUSH2 0x0249
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x3e0663e0
0000005c: EQ
0000005d: PUSH2 0x026c
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x3fa6497f
00000067: EQ
00000068: PUSH2 0x02b4
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x69a8c3bf
00000072: EQ
00000073: PUSH2 0x02d4
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x6a907a78
0000007d: EQ
0000007e: PUSH2 0x02dd
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x78e80b39
00000088: EQ
00000089: PUSH2 0x0309
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x7bc25372
00000093: EQ
00000094: PUSH2 0x0464
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0x86e4e178
0000009e: EQ
0000009f: PUSH2 0x05a3
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0xa837aeb2
000000a9: EQ
000000aa: PUSH2 0x0a10
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0xb6294bde
000000b4: EQ
000000b5: PUSH2 0x0a5f
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0xd96de4ce
000000bf: EQ
000000c0: PUSH2 0x0a7f
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0xdd36e18b
000000ca: EQ
000000cb: PUSH2 0x0abc
000000ce: JUMPI
000000cf: JUMPDEST
000000d0: PUSH2 0x0adc
000000d3: JUMPDEST
000000d4: PUSH2 0x0002
000000d7: JUMP
000000d8: JUMPDEST
000000d9: PUSH2 0x0ade
000000dc: PUSH1 0x04
000000de: CALLDATALOAD
000000df: PUSH1 0x40
000000e1: DUP1
000000e2: MLOAD
000000e3: PUSH1 0x20
000000e5: DUP2
000000e6: DUP2
000000e7: ADD
000000e8: DUP4
000000e9: MSTORE
000000ea: PUSH1 0x00
000000ec: DUP1
000000ed: DUP4
000000ee: MSTORE
000000ef: DUP4
000000f0: MLOAD
000000f1: SWAP2
000000f2: DUP3
000000f3: ADD
000000f4: DUP5
000000f5: MSTORE
000000f6: DUP1
000000f7: DUP3
000000f8: MSTORE
000000f9: DUP4
000000fa: MLOAD
000000fb: PUSH1 0xa0
000000fd: DUP2
000000fe: ADD
000000ff: SWAP1
00000100: SWAP5
00000101: MSTORE
00000102: SWAP3
00000103: DUP4
00000104: SWAP1
00000105: PUSH1 0x05
00000107: DUP2
00000108: JUMPDEST
00000109: PUSH1 0x00
0000010b: DUP2
0000010c: MSTORE
0000010d: PUSH1 0x20
0000010f: ADD
00000110: SWAP1
00000111: PUSH1 0x01
00000113: SWAP1
00000114: SUB
00000115: SWAP1
00000116: DUP2
00000117: PUSH2 0x0108
0000011a: JUMPI
0000011b: POP
0000011c: POP
0000011d: PUSH1 0x00
0000011f: DUP7
00000120: DUP2
00000121: MSTORE
00000122: PUSH1 0x03
00000124: PUSH1 0x20
00000126: MSTORE
00000127: PUSH1 0x40
00000129: DUP2
0000012a: KECCAK256
0000012b: PUSH1 0x08
0000012d: ADD
0000012e: SLOAD
0000012f: DUP2
00000130: SWAP1
00000131: DUP2
00000132: SWAP1
00000133: DUP2
00000134: SWAP1
00000135: DUP2
00000136: SWAP1
00000137: DUP2
00000138: SWAP1
00000139: PUSH2 0x0c96
0000013c: SWAP1
0000013d: PUSH1 0xff
0000013f: AND
00000140: PUSH1 0x40
00000142: DUP1
00000143: MLOAD
00000144: PUSH1 0x20
00000146: DUP2
00000147: ADD
00000148: SWAP1
00000149: SWAP2
0000014a: MSTORE
0000014b: PUSH1 0x00
0000014d: DUP1
0000014e: DUP3
0000014f: MSTORE
00000150: DUP3
00000151: EQ
00000152: ISZERO
00000153: PUSH2 0x2317
00000156: JUMPI
00000157: POP
00000158: PUSH1 0x40
0000015a: DUP1
0000015b: MLOAD
0000015c: DUP1
0000015d: DUP3
0000015e: ADD
0000015f: SWAP1
00000160: SWAP2
00000161: MSTORE
00000162: PUSH1 0x04
00000164: DUP2
00000165: MSTORE
00000166: PUSH32 0x5761697400000000000000000000000000000000000000000000000000000000
00000187: PUSH1 0x20
00000189: DUP3
0000018a: ADD
0000018b: MSTORE
0000018c: PUSH2 0x153a
0000018f: JUMP
00000190: JUMPDEST
00000191: PUSH2 0x0adc
00000194: PUSH1 0x00
00000196: DUP1
00000197: SLOAD
00000198: DUP2
00000199: SWAP1
0000019a: PUSH1 0x01
0000019c: PUSH1 0xa0
0000019e: PUSH1 0x02
000001a0: EXP
000001a1: SUB
000001a2: SWAP1
000001a3: DUP2
000001a4: AND
000001a5: CALLER
000001a6: SWAP2
000001a7: SWAP1
000001a8: SWAP2
000001a9: AND
000001aa: EQ
000001ab: PUSH2 0x216f
000001ae: JUMPI
000001af: PUSH2 0x0002
000001b2: JUMP
000001b3: JUMPDEST
000001b4: PUSH2 0x0aca
000001b7: PUSH7 0x2386f26fc10000
000001bf: DUP2
000001c0: JUMP
000001c1: JUMPDEST
000001c2: PUSH1 0x04
000001c4: CALLDATALOAD
000001c5: PUSH1 0x00
000001c7: SWAP1
000001c8: DUP2
000001c9: MSTORE
000001ca: PUSH1 0x03
000001cc: PUSH1 0x20
000001ce: MSTORE
000001cf: PUSH1 0x40
000001d1: SWAP1
000001d2: KECCAK256
000001d3: PUSH1 0x02
000001d5: DUP2
000001d6: ADD
000001d7: SLOAD
000001d8: PUSH1 0x0b
000001da: DUP3
000001db: ADD
000001dc: SLOAD
000001dd: DUP3
000001de: SLOAD
000001df: PUSH1 0x01
000001e1: SWAP4
000001e2: SWAP1
000001e3: SWAP4
000001e4: ADD
000001e5: SLOAD
000001e6: SWAP2
000001e7: SWAP3
000001e8: SWAP1
000001e9: SWAP2
000001ea: PUSH1 0x40
000001ec: DUP1
000001ed: MLOAD
000001ee: SWAP5
000001ef: DUP6
000001f0: MSTORE
000001f1: PUSH1 0x20
000001f3: DUP6
000001f4: ADD
000001f5: SWAP4
000001f6: SWAP1
000001f7: SWAP4
000001f8: MSTORE
000001f9: DUP4
000001fa: DUP4
000001fb: ADD
000001fc: SWAP2
000001fd: SWAP1
000001fe: SWAP2
000001ff: MSTORE
00000200: PUSH1 0x60
00000202: DUP4
00000203: ADD
00000204: MSTORE
00000205: MLOAD
00000206: SWAP1
00000207: DUP2
00000208: SWAP1
00000209: SUB
0000020a: PUSH1 0x80
0000020c: ADD
0000020d: SWAP1
0000020e: RETURN
0000020f: JUMPDEST
00000210: PUSH2 0x0bf8
00000213: PUSH1 0x40
00000215: DUP1
00000216: MLOAD
00000217: DUP1
00000218: DUP3
00000219: ADD
0000021a: SWAP1
0000021b: SWAP2
0000021c: MSTORE
0000021d: PUSH1 0x1c
0000021f: DUP2
00000220: MSTORE
00000221: PUSH32 0x687474703a2f2f632e657468657265756d6c6f74746572792e6e657400000000
00000242: PUSH1 0x20
00000244: DUP3
00000245: ADD
00000246: MSTORE
00000247: DUP2
00000248: JUMP
00000249: JUMPDEST
0000024a: PUSH2 0x0adc
0000024d: PUSH1 0x04
0000024f: CALLDATALOAD
00000250: PUSH1 0x00
00000252: SLOAD
00000253: PUSH1 0x01
00000255: PUSH1 0xa0
00000257: PUSH1 0x02
00000259: EXP
0000025a: SUB
0000025b: SWAP1
0000025c: DUP2
0000025d: AND
0000025e: CALLER
0000025f: SWAP2
00000260: SWAP1
00000261: SWAP2
00000262: AND
00000263: EQ
00000264: PUSH2 0x214d
00000267: JUMPI
00000268: PUSH2 0x0002
0000026b: JUMP
0000026c: JUMPDEST
0000026d: PUSH2 0x0adc
00000270: JUMPDEST
00000271: PUSH1 0x01
00000273: SLOAD
00000274: PUSH1 0x00
00000276: SWAP1
00000277: DUP2
00000278: SWAP1
00000279: DUP2
0000027a: SWAP1
0000027b: DUP2
0000027c: SWAP1
0000027d: DUP2
0000027e: SWAP1
0000027f: PUSH1 0x01
00000281: PUSH1 0xa0
00000283: PUSH1 0x02
00000285: EXP
00000286: SUB
00000287: SWAP1
00000288: DUP2
00000289: AND
0000028a: CALLER
0000028b: SWAP1
0000028c: SWAP2
0000028d: AND
0000028e: EQ
0000028f: DUP1
00000290: ISZERO
00000291: SWAP1
00000292: PUSH2 0x02aa
00000295: JUMPI
00000296: POP
00000297: DUP1
00000298: SLOAD
00000299: PUSH1 0x01
0000029b: PUSH1 0xa0
0000029d: PUSH1 0x02
0000029f: EXP
000002a0: SUB
000002a1: SWAP1
000002a2: DUP2
000002a3: AND
000002a4: CALLER
000002a5: SWAP1
000002a6: SWAP2
000002a7: AND
000002a8: EQ
000002a9: ISZERO
000002aa: JUMPDEST
000002ab: ISZERO
000002ac: PUSH2 0x17bb
000002af: JUMPI
000002b0: PUSH2 0x0002
000002b3: JUMP
000002b4: JUMPDEST
000002b5: PUSH2 0x0adc
000002b8: PUSH1 0x00
000002ba: SLOAD
000002bb: PUSH1 0x01
000002bd: PUSH1 0xa0
000002bf: PUSH1 0x02
000002c1: EXP
000002c2: SUB
000002c3: SWAP1
000002c4: DUP2
000002c5: AND
000002c6: CALLER
000002c7: SWAP2
000002c8: SWAP1
000002c9: SWAP2
000002ca: AND
000002cb: EQ
000002cc: PUSH2 0x2252
000002cf: JUMPI
000002d0: PUSH2 0x0002
000002d3: JUMP
000002d4: JUMPDEST
000002d5: PUSH2 0x0aca
000002d8: PUSH1 0x04
000002da: SLOAD
000002db: DUP2
000002dc: JUMP
000002dd: JUMPDEST
000002de: PUSH2 0x0adc
000002e1: PUSH1 0x24
000002e3: PUSH1 0x04
000002e5: DUP1
000002e6: CALLDATALOAD
000002e7: SWAP2
000002e8: DUP3
000002e9: ADD
000002ea: SWAP2
000002eb: ADD
000002ec: CALLDATALOAD
000002ed: PUSH1 0x01
000002ef: SLOAD
000002f0: PUSH1 0x00
000002f2: SWAP1
000002f3: DUP2
000002f4: SWAP1
000002f5: PUSH1 0xa0
000002f7: PUSH1 0x02
000002f9: EXP
000002fa: SWAP1
000002fb: DIV
000002fc: PUSH1 0xff
000002fe: AND
000002ff: ISZERO
00000300: ISZERO
00000301: PUSH2 0x140f
00000304: JUMPI
00000305: PUSH2 0x0002
00000308: JUMP
00000309: JUMPDEST
0000030a: PUSH2 0x0adc
0000030d: PUSH1 0x00
0000030f: DUP1
00000310: DUP1
00000311: DUP1
00000312: JUMPDEST
00000313: PUSH1 0x04
00000315: SLOAD
00000316: DUP3
00000317: LT
00000318: ISZERO
00000319: PUSH2 0x11df
0000031c: JUMPI
0000031d: PUSH1 0x01
0000031f: PUSH1 0xa0
00000321: PUSH1 0x02
00000323: EXP
00000324: SUB
00000325: CALLER
00000326: AND
00000327: PUSH1 0x00
00000329: SWAP1
0000032a: DUP2
0000032b: MSTORE
0000032c: PUSH1 0x05
0000032e: PUSH1 0x20
00000330: SWAP1
00000331: DUP2
00000332: MSTORE
00000333: PUSH1 0x40
00000335: DUP1
00000336: DUP4
00000337: KECCAK256
00000338: DUP6
00000339: DUP5
0000033a: MSTORE
0000033b: SWAP1
0000033c: SWAP2
0000033d: MSTORE
0000033e: DUP2
0000033f: KECCAK256
00000340: SLOAD
00000341: PUSH1 0xff
00000343: AND
00000344: EQ
00000345: ISZERO
00000346: PUSH2 0x12ad
00000349: JUMPI
0000034a: PUSH1 0x00
0000034c: DUP3
0000034d: DUP2
0000034e: MSTORE
0000034f: PUSH1 0x03
00000351: PUSH1 0x20
00000353: MSTORE
00000354: PUSH1 0x40
00000356: SWAP1
00000357: KECCAK256
00000358: PUSH1 0x08
0000035a: ADD
0000035b: SLOAD
0000035c: PUSH1 0xff
0000035e: AND
0000035f: PUSH1 0x02
00000361: EQ
00000362: ISZERO
00000363: PUSH2 0x1215
00000366: JUMPI
00000367: POP
00000368: PUSH1 0x00
0000036a: JUMPDEST
0000036b: PUSH1 0x01
0000036d: PUSH1 0xa0
0000036f: PUSH1 0x02
00000371: EXP
00000372: SUB
00000373: CALLER
00000374: AND
00000375: PUSH1 0x00
00000377: SWAP1
00000378: DUP2
00000379: MSTORE
0000037a: PUSH1 0x05
0000037c: PUSH1 0x20
0000037e: SWAP1
0000037f: DUP2
00000380: MSTORE
00000381: PUSH1 0x40
00000383: DUP1
00000384: DUP4
00000385: KECCAK256
00000386: DUP6
00000387: DUP5
00000388: MSTORE
00000389: SWAP1
0000038a: SWAP2
0000038b: MSTORE
0000038c: SWAP1
0000038d: KECCAK256
0000038e: PUSH1 0x01
00000390: ADD
00000391: SLOAD
00000392: DUP2
00000393: LT
00000394: ISZERO
00000395: PUSH2 0x12b9
00000398: JUMPI
00000399: PUSH1 0x03
0000039b: PUSH1 0x00
0000039d: POP
0000039e: PUSH1 0x00
000003a0: DUP4
000003a1: DUP2
000003a2: MSTORE
000003a3: PUSH1 0x20
000003a5: ADD
000003a6: SWAP1
000003a7: DUP2
000003a8: MSTORE
000003a9: PUSH1 0x20
000003ab: ADD
000003ac: PUSH1 0x00
000003ae: KECCAK256
000003af: PUSH1 0x00
000003b1: POP
000003b2: PUSH1 0x0a
000003b4: ADD
000003b5: PUSH1 0x00
000003b7: POP
000003b8: PUSH1 0x00
000003ba: PUSH1 0x05
000003bc: PUSH1 0x00
000003be: POP
000003bf: PUSH1 0x00
000003c1: CALLER
000003c2: PUSH1 0x01
000003c4: PUSH1 0xa0
000003c6: PUSH1 0x02
000003c8: EXP
000003c9: SUB
000003ca: AND
000003cb: DUP2
000003cc: MSTORE
000003cd: PUSH1 0x20
000003cf: ADD
000003d0: SWAP1
000003d1: DUP2
000003d2: MSTORE
000003d3: PUSH1 0x20
000003d5: ADD
000003d6: PUSH1 0x00
000003d8: KECCAK256
000003d9: PUSH1 0x00
000003db: POP
000003dc: PUSH1 0x00
000003de: DUP6
000003df: DUP2
000003e0: MSTORE
000003e1: PUSH1 0x20
000003e3: ADD
000003e4: SWAP1
000003e5: DUP2
000003e6: MSTORE
000003e7: PUSH1 0x20
000003e9: ADD
000003ea: PUSH1 0x00
000003ec: KECCAK256
000003ed: PUSH1 0x00
000003ef: POP
000003f0: PUSH1 0x01
000003f2: ADD
000003f3: PUSH1 0x00
000003f5: POP
000003f6: DUP4
000003f7: DUP2
000003f8: SLOAD
000003f9: DUP2
000003fa: LT
000003fb: ISZERO
000003fc: PUSH2 0x0002
000003ff: JUMPI
00000400: SWAP1
00000401: DUP3
00000402: MSTORE
00000403: PUSH1 0x20
00000405: DUP1
00000406: DUP4
00000407: KECCAK256
00000408: SWAP1
00000409: SWAP2
0000040a: ADD
0000040b: SLOAD
0000040c: DUP3
0000040d: MSTORE
0000040e: SWAP2
0000040f: SWAP1
00000410: SWAP2
00000411: MSTORE
00000412: PUSH1 0x40
00000414: SWAP1
00000415: KECCAK256
00000416: SLOAD
00000417: PUSH1 0x03
00000419: EQ
0000041a: ISZERO
0000041b: PUSH2 0x12be
0000041e: JUMPI
0000041f: PUSH1 0x03
00000421: PUSH1 0x00
00000423: POP
00000424: PUSH1 0x00
00000426: DUP4
00000427: DUP2
00000428: MSTORE
00000429: PUSH1 0x20
0000042b: ADD
0000042c: SWAP1
0000042d: DUP2
0000042e: MSTORE
0000042f: PUSH1 0x20
00000431: ADD
00000432: PUSH1 0x00
00000434: KECCAK256
00000435: PUSH1 0x00
00000437: POP
00000438: PUSH1 0x06
0000043a: ADD
0000043b: PUSH1 0x00
0000043d: POP
0000043e: PUSH1 0x00
00000440: PUSH1 0x03
00000442: DUP2
00000443: MSTORE
00000444: PUSH1 0x20
00000446: ADD
00000447: SWAP1
00000448: DUP2
00000449: MSTORE
0000044a: PUSH1 0x20
0000044c: ADD
0000044d: PUSH1 0x00
0000044f: KECCAK256
00000450: PUSH1 0x00
00000452: POP
00000453: PUSH1 0x00
00000455: ADD
00000456: PUSH1 0x00
00000458: POP
00000459: SLOAD
0000045a: DUP4
0000045b: ADD
0000045c: SWAP3
0000045d: POP
0000045e: DUP3
0000045f: POP
00000460: PUSH2 0x1401
00000463: JUMP
00000464: JUMPDEST
00000465: PUSH2 0x0aca
00000468: PUSH1 0x04
0000046a: CALLDATALOAD
0000046b: PUSH1 0x00
0000046d: DUP1
0000046e: DUP1
0000046f: JUMPDEST
00000470: PUSH1 0x04
00000472: SLOAD
00000473: DUP3
00000474: LT
00000475: ISZERO
00000476: PUSH2 0x104e
00000479: JUMPI
0000047a: PUSH1 0x01
0000047c: PUSH1 0xa0
0000047e: PUSH1 0x02
00000480: EXP
00000481: SUB
00000482: DUP5
00000483: AND
00000484: PUSH1 0x00
00000486: SWAP1
00000487: DUP2
00000488: MSTORE
00000489: PUSH1 0x05
0000048b: PUSH1 0x20
0000048d: SWAP1
0000048e: DUP2
0000048f: MSTORE
00000490: PUSH1 0x40
00000492: DUP1
00000493: DUP4
00000494: KECCAK256
00000495: DUP6
00000496: DUP5
00000497: MSTORE
00000498: SWAP1
00000499: SWAP2
0000049a: MSTORE
0000049b: DUP2
0000049c: KECCAK256
0000049d: SLOAD
0000049e: PUSH1 0xff
000004a0: AND
000004a1: EQ
000004a2: ISZERO
000004a3: PUSH2 0x10a8
000004a6: JUMPI
000004a7: PUSH1 0x00
000004a9: DUP3
000004aa: DUP2
000004ab: MSTORE
000004ac: PUSH1 0x03
000004ae: PUSH1 0x20
000004b0: MSTORE
000004b1: PUSH1 0x40
000004b3: SWAP1
000004b4: KECCAK256
000004b5: PUSH1 0x08
000004b7: ADD
000004b8: SLOAD
000004b9: PUSH1 0xff
000004bb: AND
000004bc: PUSH1 0x02
000004be: EQ
000004bf: ISZERO
000004c0: PUSH2 0x1055
000004c3: JUMPI
000004c4: POP
000004c5: PUSH1 0x00
000004c7: JUMPDEST
000004c8: PUSH1 0x01
000004ca: PUSH1 0xa0
000004cc: PUSH1 0x02
000004ce: EXP
000004cf: SUB
000004d0: DUP5
000004d1: AND
000004d2: PUSH1 0x00
000004d4: SWAP1
000004d5: DUP2
000004d6: MSTORE
000004d7: PUSH1 0x05
000004d9: PUSH1 0x20
000004db: SWAP1
000004dc: DUP2
000004dd: MSTORE
000004de: PUSH1 0x40
000004e0: DUP1
000004e1: DUP4
000004e2: KECCAK256
000004e3: DUP6
000004e4: DUP5
000004e5: MSTORE
000004e6: SWAP1
000004e7: SWAP2
000004e8: MSTORE
000004e9: SWAP1
000004ea: KECCAK256
000004eb: PUSH1 0x01
000004ed: ADD
000004ee: SLOAD
000004ef: DUP2
000004f0: LT
000004f1: ISZERO
000004f2: PUSH2 0x10b4
000004f5: JUMPI
000004f6: PUSH1 0x03
000004f8: PUSH1 0x00
000004fa: POP
000004fb: PUSH1 0x00
000004fd: DUP4
000004fe: DUP2
000004ff: MSTORE
00000500: PUSH1 0x20
00000502: ADD
00000503: SWAP1
00000504: DUP2
00000505: MSTORE
00000506: PUSH1 0x20
00000508: ADD
00000509: PUSH1 0x00
0000050b: KECCAK256
0000050c: PUSH1 0x00
0000050e: POP
0000050f: PUSH1 0x0a
00000511: ADD
00000512: PUSH1 0x00
00000514: POP
00000515: PUSH1 0x00
00000517: PUSH1 0x05
00000519: PUSH1 0x00
0000051b: POP
0000051c: PUSH1 0x00
0000051e: DUP8
0000051f: PUSH1 0x01
00000521: PUSH1 0xa0
00000523: PUSH1 0x02
00000525: EXP
00000526: SUB
00000527: AND
00000528: DUP2
00000529: MSTORE
0000052a: PUSH1 0x20
0000052c: ADD
0000052d: SWAP1
0000052e: DUP2
0000052f: MSTORE
00000530: PUSH1 0x20
00000532: ADD
00000533: PUSH1 0x00
00000535: KECCAK256
00000536: PUSH1 0x00
00000538: POP
00000539: PUSH1 0x00
0000053b: DUP6
0000053c: DUP2
0000053d: MSTORE
0000053e: PUSH1 0x20
00000540: ADD
00000541: SWAP1
00000542: DUP2
00000543: MSTORE
00000544: PUSH1 0x20
00000546: ADD
00000547: PUSH1 0x00
00000549: KECCAK256
0000054a: PUSH1 0x00
0000054c: POP
0000054d: PUSH1 0x01
0000054f: ADD
00000550: PUSH1 0x00
00000552: POP
00000553: DUP4
00000554: DUP2
00000555: SLOAD
00000556: DUP2
00000557: LT
00000558: ISZERO
00000559: PUSH2 0x0002
0000055c: JUMPI
0000055d: SWAP1
0000055e: DUP3
0000055f: MSTORE
00000560: PUSH1 0x20
00000562: DUP1
00000563: DUP4
00000564: KECCAK256
00000565: SWAP1
00000566: SWAP2
00000567: ADD
00000568: SLOAD
00000569: DUP3
0000056a: MSTORE
0000056b: SWAP2
0000056c: SWAP1
0000056d: SWAP2
0000056e: MSTORE
0000056f: PUSH1 0x40
00000571: SWAP1
00000572: KECCAK256
00000573: SLOAD
00000574: PUSH1 0x03
00000576: EQ
00000577: ISZERO
00000578: PUSH2 0x10b9
0000057b: JUMPI
0000057c: PUSH1 0x00
0000057e: DUP3
0000057f: DUP2
00000580: MSTORE
00000581: PUSH1 0x03
00000583: PUSH1 0x20
00000585: DUP2
00000586: DUP2
00000587: MSTORE
00000588: PUSH1 0x40
0000058a: DUP1
0000058b: DUP5
0000058c: KECCAK256
0000058d: SWAP3
0000058e: DUP5
0000058f: MSTORE
00000590: PUSH1 0x06
00000592: SWAP3
00000593: SWAP1
00000594: SWAP3
00000595: ADD
00000596: SWAP1
00000597: MSTORE
00000598: SWAP1
00000599: KECCAK256
0000059a: SLOAD
0000059b: SWAP1
0000059c: SWAP3
0000059d: ADD
0000059e: SWAP2
0000059f: PUSH2 0x11d7
000005a2: JUMP
000005a3: JUMPDEST
000005a4: PUSH2 0x0c66
000005a7: PUSH1 0x04
000005a9: CALLDATALOAD
000005aa: PUSH1 0x24
000005ac: CALLDATALOAD
000005ad: PUSH1 0x44
000005af: CALLDATALOAD
000005b0: PUSH1 0xa0
000005b2: PUSH1 0x40
000005b4: MLOAD
000005b5: SWAP1
000005b6: DUP2
000005b7: ADD
000005b8: PUSH1 0x40
000005ba: MSTORE
000005bb: DUP1
000005bc: PUSH1 0x05
000005be: SWAP1
000005bf: JUMPDEST
000005c0: PUSH1 0x00
000005c2: DUP2
000005c3: MSTORE
000005c4: PUSH1 0x20
000005c6: ADD
000005c7: SWAP1
000005c8: PUSH1 0x01
000005ca: SWAP1
000005cb: SUB
000005cc: SWAP1
000005cd: DUP2
000005ce: PUSH2 0x05bf
000005d1: JUMPI
000005d2: POP
000005d3: POP
000005d4: PUSH1 0x01
000005d6: PUSH1 0xa0
000005d8: PUSH1 0x02
000005da: EXP
000005db: SUB
000005dc: DUP5
000005dd: AND
000005de: PUSH1 0x00
000005e0: SWAP1
000005e1: DUP2
000005e2: MSTORE
000005e3: PUSH1 0x05
000005e5: PUSH1 0x20
000005e7: SWAP1
000005e8: DUP2
000005e9: MSTORE
000005ea: PUSH1 0x40
000005ec: DUP1
000005ed: DUP4
000005ee: KECCAK256
000005ef: DUP7
000005f0: DUP5
000005f1: MSTORE
000005f2: SWAP1
000005f3: SWAP2
000005f4: MSTORE
000005f5: DUP2
000005f6: KECCAK256
000005f7: PUSH1 0x01
000005f9: ADD
000005fa: DUP1
000005fb: SLOAD
000005fc: DUP3
000005fd: SWAP2
000005fe: DUP3
000005ff: SWAP2
00000600: DUP7
00000601: SWAP1
00000602: DUP2
00000603: LT
00000604: ISZERO
00000605: PUSH2 0x0002
00000608: JUMPI
00000609: SWAP1
0000060a: PUSH1 0x00
0000060c: MSTORE
0000060d: PUSH1 0x20
0000060f: PUSH1 0x00
00000611: KECCAK256
00000612: SWAP1
00000613: ADD
00000614: PUSH1 0x00
00000616: POP
00000617: SLOAD
00000618: GT
00000619: ISZERO
0000061a: PUSH2 0x1040
0000061d: JUMPI
0000061e: PUSH1 0x00
00000620: DUP6
00000621: DUP2
00000622: MSTORE
00000623: PUSH1 0x03
00000625: PUSH1 0x20
00000627: SWAP1
00000628: DUP2
00000629: MSTORE
0000062a: PUSH1 0x40
0000062c: DUP1
0000062d: DUP4
0000062e: KECCAK256
0000062f: PUSH1 0x01
00000631: PUSH1 0xa0
00000633: PUSH1 0x02
00000635: EXP
00000636: SUB
00000637: DUP11
00000638: AND
00000639: DUP5
0000063a: MSTORE
0000063b: PUSH1 0x05
0000063d: DUP4
0000063e: MSTORE
0000063f: DUP2
00000640: DUP5
00000641: KECCAK256
00000642: DUP10
00000643: DUP6
00000644: MSTORE
00000645: SWAP1
00000646: SWAP3
00000647: MSTORE
00000648: DUP3
00000649: KECCAK256
0000064a: PUSH1 0x01
0000064c: ADD
0000064d: DUP1
0000064e: SLOAD
0000064f: PUSH2 0x0100
00000652: SWAP4
00000653: DUP5
00000654: SWAP4
00000655: DUP5
00000656: SWAP4
00000657: DUP5
00000658: SWAP4
00000659: PUSH1 0x0a
0000065b: SWAP3
0000065c: SWAP1
0000065d: SWAP3
0000065e: ADD
0000065f: SWAP3
00000660: SWAP2
00000661: DUP12
00000662: SWAP1
00000663: DUP2
00000664: LT
00000665: ISZERO
00000666: PUSH2 0x0002
00000669: JUMPI
0000066a: SWAP1
0000066b: PUSH1 0x00
0000066d: MSTORE
0000066e: PUSH1 0x20
00000670: PUSH1 0x00
00000672: KECCAK256
00000673: SWAP1
00000674: ADD
00000675: PUSH1 0x00
00000677: POP
00000678: SLOAD
00000679: DUP2
0000067a: MSTORE
0000067b: PUSH1 0x20
0000067d: ADD
0000067e: SWAP1
0000067f: DUP2
00000680: MSTORE
00000681: PUSH1 0x20
00000683: ADD
00000684: PUSH1 0x00
00000686: KECCAK256
00000687: PUSH1 0x00
00000689: POP
0000068a: PUSH1 0x01
0000068c: ADD
0000068d: PUSH1 0x00
0000068f: SWAP1
00000690: SLOAD
00000691: SWAP1
00000692: PUSH2 0x0100
00000695: EXP
00000696: SWAP1
00000697: DIV
00000698: PUSH1 0xd8
0000069a: PUSH1 0x02
0000069c: EXP
0000069d: MUL
0000069e: PUSH1 0xd8
000006a0: PUSH1 0x02
000006a2: EXP
000006a3: SWAP1
000006a4: DIV
000006a5: PUSH5 0xffffffffff
000006ab: AND
000006ac: DIV
000006ad: PUSH5 0xffffffffff
000006b3: AND
000006b4: DIV
000006b5: PUSH5 0xffffffffff
000006bb: AND
000006bc: DIV
000006bd: PUSH5 0xffffffffff
000006c3: AND
000006c4: DIV
000006c5: DUP4
000006c6: PUSH1 0x00
000006c8: PUSH1 0x05
000006ca: DUP2
000006cb: LT
000006cc: ISZERO
000006cd: PUSH2 0x0002
000006d0: JUMPI
000006d1: PUSH1 0xff
000006d3: SWAP3
000006d4: SWAP1
000006d5: SWAP3
000006d6: AND
000006d7: SWAP1
000006d8: MSTORE
000006d9: DUP6
000006da: DUP2
000006db: MSTORE
000006dc: PUSH1 0x03
000006de: PUSH1 0x20
000006e0: SWAP1
000006e1: DUP2
000006e2: MSTORE
000006e3: PUSH1 0x40
000006e5: DUP1
000006e6: DUP4
000006e7: KECCAK256
000006e8: PUSH1 0x01
000006ea: PUSH1 0xa0
000006ec: PUSH1 0x02
000006ee: EXP
000006ef: SUB
000006f0: DUP11
000006f1: AND
000006f2: DUP5
000006f3: MSTORE
000006f4: PUSH1 0x05
000006f6: DUP4
000006f7: MSTORE
000006f8: DUP2
000006f9: DUP5
000006fa: KECCAK256
000006fb: DUP10
000006fc: DUP6
000006fd: MSTORE
000006fe: SWAP1
000006ff: SWAP3
00000700: MSTORE
00000701: DUP3
00000702: KECCAK256
00000703: PUSH1 0x01
00000705: ADD
00000706: DUP1
00000707: SLOAD
00000708: PUSH2 0x0100
0000070b: SWAP4
0000070c: DUP5
0000070d: SWAP4
0000070e: DUP5
0000070f: SWAP4
00000710: PUSH1 0x0a
00000712: SWAP1
00000713: SWAP2
00000714: ADD
00000715: SWAP3
00000716: DUP11
00000717: SWAP1
00000718: DUP2
00000719: LT
0000071a: ISZERO
0000071b: PUSH2 0x0002
0000071e: JUMPI
0000071f: SWAP1
00000720: PUSH1 0x00
00000722: MSTORE
00000723: PUSH1 0x20
00000725: PUSH1 0x00
00000727: KECCAK256
00000728: SWAP1
00000729: ADD
0000072a: PUSH1 0x00
0000072c: POP
0000072d: SLOAD
0000072e: DUP2
0000072f: MSTORE
00000730: PUSH1 0x20
00000732: ADD
00000733: SWAP1
00000734: DUP2
00000735: MSTORE
00000736: PUSH1 0x20
00000738: ADD
00000739: PUSH1 0x00
0000073b: KECCAK256
0000073c: PUSH1 0x00
0000073e: POP
0000073f: PUSH1 0x01
00000741: ADD
00000742: PUSH1 0x00
00000744: SWAP1
00000745: SLOAD
00000746: SWAP1
00000747: PUSH2 0x0100
0000074a: EXP
0000074b: SWAP1
0000074c: DIV
0000074d: PUSH1 0xd8
0000074f: PUSH1 0x02
00000751: EXP
00000752: MUL
00000753: PUSH1 0xd8
00000755: PUSH1 0x02
00000757: EXP
00000758: SWAP1
00000759: DIV
0000075a: PUSH5 0xffffffffff
00000760: AND
00000761: DIV
00000762: PUSH5 0xffffffffff
00000768: AND
00000769: DIV
0000076a: PUSH5 0xffffffffff
00000770: AND
00000771: DIV
00000772: DUP4
00000773: PUSH1 0x01
00000775: PUSH1 0x05
00000777: DUP2
00000778: LT
00000779: ISZERO
0000077a: PUSH2 0x0002
0000077d: JUMPI
0000077e: PUSH1 0xff
00000780: SWAP3
00000781: SWAP1
00000782: SWAP3
00000783: AND
00000784: PUSH1 0x20
00000786: SWAP2
00000787: DUP3
00000788: ADD
00000789: MSTORE
0000078a: PUSH1 0x00
0000078c: DUP8
0000078d: DUP2
0000078e: MSTORE
0000078f: PUSH1 0x03
00000791: DUP3
00000792: MSTORE
00000793: PUSH1 0x40
00000795: DUP1
00000796: DUP3
00000797: KECCAK256
00000798: PUSH1 0x01
0000079a: PUSH1 0xa0
0000079c: PUSH1 0x02
0000079e: EXP
0000079f: SUB
000007a0: DUP12
000007a1: AND
000007a2: DUP4
000007a3: MSTORE
000007a4: PUSH1 0x05
000007a6: DUP5
000007a7: MSTORE
000007a8: DUP2
000007a9: DUP4
000007aa: KECCAK256
000007ab: DUP11
000007ac: DUP5
000007ad: MSTORE
000007ae: SWAP1
000007af: SWAP4
000007b0: MSTORE
000007b1: DUP2
000007b2: KECCAK256
000007b3: SWAP1
000007b4: SWAP3
000007b5: ADD
000007b6: DUP1
000007b7: SLOAD
000007b8: PUSH2 0x0100
000007bb: SWAP4
000007bc: DUP5
000007bd: SWAP4
000007be: PUSH1 0x0a
000007c0: ADD
000007c1: SWAP3
000007c2: SWAP1
000007c3: SWAP2
000007c4: DUP10
000007c5: SWAP1
000007c6: DUP2
000007c7: LT
000007c8: ISZERO
000007c9: PUSH2 0x0002
000007cc: JUMPI
000007cd: SWAP1
000007ce: PUSH1 0x00
000007d0: MSTORE
000007d1: PUSH1 0x20
000007d3: PUSH1 0x00
000007d5: KECCAK256
000007d6: SWAP1
000007d7: ADD
000007d8: PUSH1 0x00
000007da: POP
000007db: SLOAD
000007dc: DUP2
000007dd: MSTORE
000007de: PUSH1 0x20
000007e0: DUP2
000007e1: ADD
000007e2: SWAP2
000007e3: SWAP1
000007e4: SWAP2
000007e5: MSTORE
000007e6: PUSH1 0x40
000007e8: ADD
000007e9: PUSH1 0x00
000007eb: KECCAK256
000007ec: PUSH1 0x01
000007ee: ADD
000007ef: SLOAD
000007f0: PUSH1 0xd8
000007f2: PUSH1 0x02
000007f4: EXP
000007f5: SWAP1
000007f6: DUP2
000007f7: MUL
000007f8: DIV
000007f9: PUSH5 0xffffffffff
000007ff: SWAP1
00000800: DUP2
00000801: AND
00000802: SWAP2
00000803: SWAP1
00000804: SWAP2
00000805: DIV
00000806: AND
00000807: DIV
00000808: DUP4
00000809: PUSH1 0x02
0000080b: POP
0000080c: POP
0000080d: PUSH1 0xff
0000080f: AND
00000810: PUSH1 0x40
00000812: DUP5
00000813: DUP2
00000814: ADD
00000815: SWAP2
00000816: SWAP1
00000817: SWAP2
00000818: MSTORE
00000819: PUSH1 0x00
0000081b: DUP7
0000081c: DUP2
0000081d: MSTORE
0000081e: PUSH1 0x03
00000820: PUSH1 0x20
00000822: SWAP1
00000823: DUP2
00000824: MSTORE
00000825: DUP3
00000826: DUP3
00000827: KECCAK256
00000828: PUSH1 0x01
0000082a: PUSH1 0xa0
0000082c: PUSH1 0x02
0000082e: EXP
0000082f: SUB
00000830: DUP11
00000831: AND
00000832: DUP4
00000833: MSTORE
00000834: PUSH1 0x05
00000836: DUP3
00000837: MSTORE
00000838: DUP4
00000839: DUP4
0000083a: KECCAK256
0000083b: DUP10
0000083c: DUP5
0000083d: MSTORE
0000083e: SWAP1
0000083f: SWAP2
00000840: MSTORE
00000841: SWAP2
00000842: DUP2
00000843: KECCAK256
00000844: PUSH1 0x01
00000846: ADD
00000847: DUP1
00000848: SLOAD
00000849: PUSH2 0x0100
0000084c: SWAP4
0000084d: PUSH1 0x0a
0000084f: ADD
00000850: SWAP3
00000851: SWAP2
00000852: SWAP1
00000853: DUP9
00000854: SWAP1
00000855: DUP2
00000856: LT
00000857: ISZERO
00000858: PUSH2 0x0002
0000085b: JUMPI
0000085c: SWAP1
0000085d: PUSH1 0x00
0000085f: MSTORE
00000860: PUSH1 0x20
00000862: PUSH1 0x00
00000864: KECCAK256
00000865: SWAP1
00000866: ADD
00000867: PUSH1 0x00
00000869: POP
0000086a: SLOAD
0000086b: DUP2
0000086c: MSTORE
0000086d: PUSH1 0x20
0000086f: DUP2
00000870: ADD
00000871: SWAP2
00000872: SWAP1
00000873: SWAP2
00000874: MSTORE
00000875: PUSH1 0x40
00000877: ADD
00000878: PUSH1 0x00
0000087a: KECCAK256
0000087b: PUSH1 0x01
0000087d: ADD
0000087e: SLOAD
0000087f: PUSH1 0xd8
00000881: PUSH1 0x02
00000883: EXP
00000884: SWAP1
00000885: DUP2
00000886: MUL
00000887: DIV
00000888: PUSH5 0xffffffffff
0000088e: AND
0000088f: DIV
00000890: DUP4
00000891: PUSH1 0x03
00000893: PUSH1 0xff
00000895: SWAP3
00000896: SWAP1
00000897: SWAP3
00000898: AND
00000899: PUSH1 0x60
0000089b: SWAP2
0000089c: SWAP1
0000089d: SWAP2
0000089e: ADD
0000089f: MSTORE
000008a0: PUSH1 0x00
000008a2: DUP7
000008a3: DUP2
000008a4: MSTORE
000008a5: PUSH1 0x20
000008a7: SWAP2
000008a8: DUP3
000008a9: MSTORE
000008aa: PUSH1 0x40
000008ac: DUP1
000008ad: DUP3
000008ae: KECCAK256
000008af: PUSH1 0x01
000008b1: PUSH1 0xa0
000008b3: PUSH1 0x02
000008b5: EXP
000008b6: SUB
000008b7: DUP11
000008b8: AND
000008b9: DUP4
000008ba: MSTORE
000008bb: PUSH1 0x05
000008bd: DUP5
000008be: MSTORE
000008bf: DUP2
000008c0: DUP4
000008c1: KECCAK256
000008c2: DUP10
000008c3: DUP5
000008c4: MSTORE
000008c5: SWAP1
000008c6: SWAP4
000008c7: MSTORE
000008c8: DUP2
000008c9: KECCAK256
000008ca: PUSH1 0x01
000008cc: ADD
000008cd: DUP1
000008ce: SLOAD
000008cf: PUSH1 0x0a
000008d1: SWAP1
000008d2: SWAP4
000008d3: ADD
000008d4: SWAP3
000008d5: DUP8
000008d6: SWAP1
000008d7: DUP2
000008d8: LT
000008d9: ISZERO
000008da: PUSH2 0x0002
000008dd: JUMPI
000008de: SWAP1
000008df: PUSH1 0x00
000008e1: MSTORE
000008e2: PUSH1 0x20
000008e4: PUSH1 0x00
000008e6: KECCAK256
000008e7: SWAP1
000008e8: ADD
000008e9: PUSH1 0x00
000008eb: POP
000008ec: SLOAD
000008ed: DUP2
000008ee: MSTORE
000008ef: PUSH1 0x20
000008f1: DUP2
000008f2: ADD
000008f3: SWAP2
000008f4: SWAP1
000008f5: SWAP2
000008f6: MSTORE
000008f7: PUSH1 0x40
000008f9: ADD
000008fa: PUSH1 0x00
000008fc: KECCAK256
000008fd: PUSH1 0x01
000008ff: ADD
00000900: SLOAD
00000901: PUSH1 0xd8
00000903: PUSH1 0x02
00000905: EXP
00000906: SWAP1
00000907: DUP2
00000908: MUL
00000909: DIV
0000090a: DUP4
0000090b: PUSH1 0x04
0000090d: POP
0000090e: PUSH1 0xff
00000910: SWAP2
00000911: SWAP1
00000912: SWAP2
00000913: AND
00000914: PUSH1 0x80
00000916: SWAP2
00000917: SWAP1
00000918: SWAP2
00000919: ADD
0000091a: MSTORE
0000091b: PUSH2 0x0fb3
0000091e: DUP4
0000091f: JUMPDEST
00000920: PUSH1 0xa0
00000922: PUSH1 0x40
00000924: MLOAD
00000925: SWAP1
00000926: DUP2
00000927: ADD
00000928: PUSH1 0x40
0000092a: MSTORE
0000092b: DUP1
0000092c: PUSH1 0x05
0000092e: SWAP1
0000092f: JUMPDEST
00000930: PUSH1 0x00
00000932: DUP2
00000933: MSTORE
00000934: PUSH1 0x20
00000936: ADD
00000937: SWAP1
00000938: PUSH1 0x01
0000093a: SWAP1
0000093b: SUB
0000093c: SWAP1
0000093d: DUP2
0000093e: PUSH2 0x092f
00000941: JUMPI
00000942: POP
00000943: DUP3
00000944: SWAP2
00000945: POP
00000946: PUSH1 0x00
00000948: SWAP1
00000949: POP
0000094a: DUP1
0000094b: DUP1
0000094c: JUMPDEST
0000094d: PUSH1 0x05
0000094f: DUP4
00000950: PUSH1 0xff
00000952: AND
00000953: LT
00000954: ISZERO
00000955: PUSH2 0x23df
00000958: JUMPI
00000959: DUP3
0000095a: PUSH1 0x01
0000095c: ADD
0000095d: SWAP2
0000095e: POP
0000095f: JUMPDEST
00000960: PUSH1 0x05
00000962: DUP3
00000963: PUSH1 0xff
00000965: AND
00000966: LT
00000967: ISZERO
00000968: PUSH2 0x23e7
0000096b: JUMPI
0000096c: DUP4
0000096d: DUP3
0000096e: PUSH1 0xff
00000970: AND
00000971: PUSH1 0x05
00000973: DUP2
00000974: LT
00000975: ISZERO
00000976: PUSH2 0x0002
00000979: JUMPI
0000097a: SWAP1
0000097b: SWAP1
0000097c: PUSH1 0x20
0000097e: MUL
0000097f: ADD
00000980: MLOAD
00000981: PUSH1 0xff
00000983: AND
00000984: DUP5
00000985: DUP5
00000986: PUSH1 0xff
00000988: AND
00000989: PUSH1 0x05
0000098b: DUP2
0000098c: LT
0000098d: ISZERO
0000098e: PUSH2 0x0002
00000991: JUMPI
00000992: PUSH1 0x20
00000994: MUL
00000995: ADD
00000996: MLOAD
00000997: PUSH1 0xff
00000999: AND
0000099a: GT
0000099b: ISZERO
0000099c: PUSH2 0x0a04
0000099f: JUMPI
000009a0: DUP4
000009a1: DUP4
000009a2: PUSH1 0xff
000009a4: AND
000009a5: PUSH1 0x05
000009a7: DUP2
000009a8: LT
000009a9: ISZERO
000009aa: PUSH2 0x0002
000009ad: JUMPI
000009ae: PUSH1 0x20
000009b0: MUL
000009b1: DUP2
000009b2: ADD
000009b3: MLOAD
000009b4: SWAP2
000009b5: POP
000009b6: PUSH1 0xff
000009b8: DUP4
000009b9: AND
000009ba: PUSH1 0x05
000009bc: DUP2
000009bd: LT
000009be: ISZERO
000009bf: PUSH2 0x0002
000009c2: JUMPI
000009c3: PUSH1 0x20
000009c5: MUL
000009c6: ADD
000009c7: MLOAD
000009c8: DUP5
000009c9: PUSH1 0xff
000009cb: DUP6
000009cc: AND
000009cd: PUSH1 0x05
000009cf: DUP2
000009d0: LT
000009d1: ISZERO
000009d2: PUSH2 0x0002
000009d5: JUMPI
000009d6: PUSH1 0xff
000009d8: SWAP3
000009d9: DUP4
000009da: AND
000009db: PUSH1 0x20
000009dd: SWAP2
000009de: SWAP1
000009df: SWAP2
000009e0: MUL
000009e1: DUP3
000009e2: ADD
000009e3: MSTORE
000009e4: DUP3
000009e5: SWAP2
000009e6: DUP5
000009e7: AND
000009e8: PUSH1 0x05
000009ea: DUP2
000009eb: LT
000009ec: ISZERO
000009ed: PUSH2 0x0002
000009f0: JUMPI
000009f1: SWAP1
000009f2: SWAP1
000009f3: PUSH1 0x20
000009f5: MUL
000009f6: ADD
000009f7: SWAP1
000009f8: PUSH1 0xff
000009fa: AND
000009fb: SWAP1
000009fc: DUP2
000009fd: DUP2
000009fe: MSTORE
000009ff: PUSH1 0x20
00000a01: ADD
00000a02: POP
00000a03: POP
00000a04: JUMPDEST
00000a05: PUSH1 0x01
00000a07: SWAP2
00000a08: SWAP1
00000a09: SWAP2
00000a0a: ADD
00000a0b: SWAP1
00000a0c: PUSH2 0x095f
00000a0f: JUMP
00000a10: JUMPDEST
00000a11: PUSH2 0x0aca
00000a14: PUSH1 0x24
00000a16: PUSH1 0x04
00000a18: DUP1
00000a19: CALLDATALOAD
00000a1a: DUP3
00000a1b: DUP2
00000a1c: ADD
00000a1d: SWAP3
00000a1e: SWAP2
00000a1f: ADD
00000a20: CALLDATALOAD
00000a21: SWAP1
00000a22: CALLDATALOAD
00000a23: PUSH1 0x01
00000a25: SLOAD
00000a26: PUSH1 0x00
00000a28: SWAP1
00000a29: PUSH1 0x01
00000a2b: PUSH1 0xa0
00000a2d: PUSH1 0x02
00000a2f: EXP
00000a30: SUB
00000a31: SWAP1
00000a32: DUP2
00000a33: AND
00000a34: CALLER
00000a35: SWAP2
00000a36: SWAP1
00000a37: SWAP2
00000a38: AND
00000a39: EQ
00000a3a: DUP1
00000a3b: ISZERO
00000a3c: SWAP1
00000a3d: PUSH2 0x0a55
00000a40: JUMPI
00000a41: POP
00000a42: DUP1
00000a43: SLOAD
00000a44: PUSH1 0x01
00000a46: PUSH1 0xa0
00000a48: PUSH1 0x02
00000a4a: EXP
00000a4b: SUB
00000a4c: SWAP1
00000a4d: DUP2
00000a4e: AND
00000a4f: CALLER
00000a50: SWAP1
00000a51: SWAP2
00000a52: AND
00000a53: EQ
00000a54: ISZERO
00000a55: JUMPDEST
00000a56: ISZERO
00000a57: PUSH2 0x1d21
00000a5a: JUMPI
00000a5b: PUSH2 0x0002
00000a5e: JUMP
00000a5f: JUMPDEST
00000a60: PUSH2 0x0adc
00000a63: PUSH1 0x00
00000a65: SLOAD
00000a66: PUSH1 0x01
00000a68: PUSH1 0xa0
00000a6a: PUSH1 0x02
00000a6c: EXP
00000a6d: SUB
00000a6e: SWAP1
00000a6f: DUP2
00000a70: AND
00000a71: CALLER
00000a72: SWAP2
00000a73: SWAP1
00000a74: SWAP2
00000a75: AND
00000a76: EQ
00000a77: PUSH2 0x2254
00000a7a: JUMPI
00000a7b: PUSH2 0x0002
00000a7e: JUMP
00000a7f: JUMPDEST
00000a80: PUSH1 0x01
00000a82: SLOAD
00000a83: PUSH2 0x0adc
00000a86: SWAP1
00000a87: CALLER
00000a88: PUSH1 0x01
00000a8a: PUSH1 0xa0
00000a8c: PUSH1 0x02
00000a8e: EXP
00000a8f: SUB
00000a90: SWAP1
00000a91: DUP2
00000a92: AND
00000a93: SWAP2
00000a94: AND
00000a95: EQ
00000a96: DUP1
00000a97: ISZERO
00000a98: SWAP1
00000a99: PUSH2 0x0ab2
00000a9c: JUMPI
00000a9d: POP
00000a9e: PUSH1 0x00
00000aa0: SLOAD
00000aa1: PUSH1 0x01
00000aa3: PUSH1 0xa0
00000aa5: PUSH1 0x02
00000aa7: EXP
00000aa8: SUB
00000aa9: SWAP1
00000aaa: DUP2
00000aab: AND
00000aac: CALLER
00000aad: SWAP1
00000aae: SWAP2
00000aaf: AND
00000ab0: EQ
00000ab1: ISZERO
00000ab2: JUMPDEST
00000ab3: ISZERO
00000ab4: PUSH2 0x1ca2
00000ab7: JUMPI
00000ab8: PUSH2 0x0002
00000abb: JUMP
00000abc: JUMPDEST
00000abd: PUSH1 0x01
00000abf: SLOAD
00000ac0: PUSH1 0xa0
00000ac2: PUSH1 0x02
00000ac4: EXP
00000ac5: SWAP1
00000ac6: DIV
00000ac7: PUSH1 0xff
00000ac9: AND
00000aca: JUMPDEST
00000acb: PUSH1 0x40
00000acd: DUP1
00000ace: MLOAD
00000acf: SWAP2
00000ad0: DUP3
00000ad1: MSTORE
00000ad2: MLOAD
00000ad3: SWAP1
00000ad4: DUP2
00000ad5: SWAP1
00000ad6: SUB
00000ad7: PUSH1 0x20
00000ad9: ADD
00000ada: SWAP1
00000adb: RETURN
00000adc: JUMPDEST
00000add: STOP
00000ade: JUMPDEST
00000adf: PUSH1 0x40
00000ae1: DUP1
00000ae2: MLOAD
00000ae3: DUP13
00000ae4: DUP2
00000ae5: MSTORE
00000ae6: PUSH1 0x60
00000ae8: DUP2
00000ae9: ADD
00000aea: DUP11
00000aeb: SWAP1
00000aec: MSTORE
00000aed: SWAP1
00000aee: PUSH1 0x20
00000af0: DUP3
00000af1: ADD
00000af2: SWAP1
00000af3: DUP3
00000af4: ADD
00000af5: PUSH1 0x80
00000af7: DUP4
00000af8: ADD
00000af9: DUP11
00000afa: PUSH1 0xa0
00000afc: DUP1
00000afd: DUP4
00000afe: DUP2
00000aff: DUP5
00000b00: PUSH1 0x00
00000b02: PUSH1 0x04
00000b04: PUSH1 0x4e
00000b06: CALL
00000b07: POP
00000b08: SWAP1
00000b09: POP
00000b0a: ADD
00000b0b: DUP10
00000b0c: DUP2
00000b0d: MSTORE
00000b0e: PUSH1 0x20
00000b10: ADD
00000b11: DUP9
00000b12: DUP2
00000b13: MSTORE
00000b14: PUSH1 0x20
00000b16: ADD
00000b17: DUP8
00000b18: DUP2
00000b19: MSTORE
00000b1a: PUSH1 0x20
00000b1c: ADD
00000b1d: DUP7
00000b1e: DUP2
00000b1f: MSTORE
00000b20: PUSH1 0x20
00000b22: ADD
00000b23: DUP6
00000b24: DUP2
00000b25: MSTORE
00000b26: PUSH1 0x20
00000b28: ADD
00000b29: DUP5
00000b2a: DUP2
00000b2b: MSTORE
00000b2c: PUSH1 0x20
00000b2e: ADD
00000b2f: DUP4
00000b30: DUP2
00000b31: SUB
00000b32: DUP4
00000b33: MSTORE
00000b34: DUP14
00000b35: DUP2
00000b36: DUP2
00000b37: MLOAD
00000b38: DUP2
00000b39: MSTORE
00000b3a: PUSH1 0x20
00000b3c: ADD
00000b3d: SWAP2
00000b3e: POP
00000b3f: DUP1
00000b40: MLOAD
00000b41: SWAP1
00000b42: PUSH1 0x20
00000b44: ADD
00000b45: SWAP1
00000b46: DUP1
00000b47: DUP4
00000b48: DUP4
00000b49: DUP3
00000b4a: SWAP1
00000b4b: PUSH1 0x00
00000b4d: PUSH1 0x04
00000b4f: PUSH1 0x20
00000b51: DUP5
00000b52: PUSH1 0x1f
00000b54: ADD
00000b55: DIV
00000b56: PUSH1 0x0f
00000b58: MUL
00000b59: PUSH1 0x03
00000b5b: ADD
00000b5c: CALL
00000b5d: POP
00000b5e: SWAP1
00000b5f: POP
00000b60: SWAP1
00000b61: DUP2
00000b62: ADD
00000b63: SWAP1
00000b64: PUSH1 0x1f
00000b66: AND
00000b67: DUP1
00000b68: ISZERO
00000b69: PUSH2 0x0b86
00000b6c: JUMPI
00000b6d: DUP1
00000b6e: DUP3
00000b6f: SUB
00000b70: DUP1
00000b71: MLOAD
00000b72: PUSH1 0x01
00000b74: DUP4
00000b75: PUSH1 0x20
00000b77: SUB
00000b78: PUSH2 0x0100
00000b7b: EXP
00000b7c: SUB
00000b7d: NOT
00000b7e: AND
00000b7f: DUP2
00000b80: MSTORE
00000b81: PUSH1 0x20
00000b83: ADD
00000b84: SWAP2
00000b85: POP
00000b86: JUMPDEST
00000b87: POP
00000b88: DUP4
00000b89: DUP2
00000b8a: SUB
00000b8b: DUP3
00000b8c: MSTORE
00000b8d: DUP13
00000b8e: DUP2
00000b8f: DUP2
00000b90: MLOAD
00000b91: DUP2
00000b92: MSTORE
00000b93: PUSH1 0x20
00000b95: ADD
00000b96: SWAP2
00000b97: POP
00000b98: DUP1
00000b99: MLOAD
00000b9a: SWAP1
00000b9b: PUSH1 0x20
00000b9d: ADD
00000b9e: SWAP1
00000b9f: DUP1
00000ba0: DUP4
00000ba1: DUP4
00000ba2: DUP3
00000ba3: SWAP1
00000ba4: PUSH1 0x00
00000ba6: PUSH1 0x04
00000ba8: PUSH1 0x20
00000baa: DUP5
00000bab: PUSH1 0x1f
00000bad: ADD
00000bae: DIV
00000baf: PUSH1 0x0f
00000bb1: MUL
00000bb2: PUSH1 0x03
00000bb4: ADD
00000bb5: CALL
00000bb6: POP
00000bb7: SWAP1
00000bb8: POP
00000bb9: SWAP1
00000bba: DUP2
00000bbb: ADD
00000bbc: SWAP1
00000bbd: PUSH1 0x1f
00000bbf: AND
00000bc0: DUP1
00000bc1: ISZERO
00000bc2: PUSH2 0x0bdf
00000bc5: JUMPI
00000bc6: DUP1
00000bc7: DUP3
00000bc8: SUB
00000bc9: DUP1
00000bca: MLOAD
00000bcb: PUSH1 0x01
00000bcd: DUP4
00000bce: PUSH1 0x20
00000bd0: SUB
00000bd1: PUSH2 0x0100
00000bd4: EXP
00000bd5: SUB
00000bd6: NOT
00000bd7: AND
00000bd8: DUP2
00000bd9: MSTORE
00000bda: PUSH1 0x20
00000bdc: ADD
00000bdd: SWAP2
00000bde: POP
00000bdf: JUMPDEST
00000be0: POP
00000be1: SWAP14
00000be2: POP
00000be3: POP
00000be4: POP
00000be5: POP
00000be6: POP
00000be7: POP
00000be8: POP
00000be9: POP
00000bea: POP
00000beb: POP
00000bec: POP
00000bed: POP
00000bee: POP
00000bef: POP
00000bf0: PUSH1 0x40
00000bf2: MLOAD
00000bf3: DUP1
00000bf4: SWAP2
00000bf5: SUB
00000bf6: SWAP1
00000bf7: RETURN
00000bf8: JUMPDEST
00000bf9: PUSH1 0x40
00000bfb: MLOAD
00000bfc: DUP1
00000bfd: DUP1
00000bfe: PUSH1 0x20
00000c00: ADD
00000c01: DUP3
00000c02: DUP2
00000c03: SUB
00000c04: DUP3
00000c05: MSTORE
00000c06: DUP4
00000c07: DUP2
00000c08: DUP2
00000c09: MLOAD
00000c0a: DUP2
00000c0b: MSTORE
00000c0c: PUSH1 0x20
00000c0e: ADD
00000c0f: SWAP2
00000c10: POP
00000c11: DUP1
00000c12: MLOAD
00000c13: SWAP1
00000c14: PUSH1 0x20
00000c16: ADD
00000c17: SWAP1
00000c18: DUP1
00000c19: DUP4
00000c1a: DUP4
00000c1b: DUP3
00000c1c: SWAP1
00000c1d: PUSH1 0x00
00000c1f: PUSH1 0x04
00000c21: PUSH1 0x20
00000c23: DUP5
00000c24: PUSH1 0x1f
00000c26: ADD
00000c27: DIV
00000c28: PUSH1 0x0f
00000c2a: MUL
00000c2b: PUSH1 0x03
00000c2d: ADD
00000c2e: CALL
00000c2f: POP
00000c30: SWAP1
00000c31: POP
00000c32: SWAP1
00000c33: DUP2
00000c34: ADD
00000c35: SWAP1
00000c36: PUSH1 0x1f
00000c38: AND
00000c39: DUP1
00000c3a: ISZERO
00000c3b: PUSH2 0x0c58
00000c3e: JUMPI
00000c3f: DUP1
00000c40: DUP3
00000c41: SUB
00000c42: DUP1
00000c43: MLOAD
00000c44: PUSH1 0x01
00000c46: DUP4
00000c47: PUSH1 0x20
00000c49: SUB
00000c4a: PUSH2 0x0100
00000c4d: EXP
00000c4e: SUB
00000c4f: NOT
00000c50: AND
00000c51: DUP2
00000c52: MSTORE
00000c53: PUSH1 0x20
00000c55: ADD
00000c56: SWAP2
00000c57: POP
00000c58: JUMPDEST
00000c59: POP
00000c5a: SWAP3
00000c5b: POP
00000c5c: POP
00000c5d: POP
00000c5e: PUSH1 0x40
00000c60: MLOAD
00000c61: DUP1
00000c62: SWAP2
00000c63: SUB
00000c64: SWAP1
00000c65: RETURN
00000c66: JUMPDEST
00000c67: PUSH1 0x40
00000c69: MLOAD
00000c6a: DUP1
00000c6b: DUP5
00000c6c: PUSH1 0xa0
00000c6e: DUP1
00000c6f: DUP4
00000c70: DUP2
00000c71: DUP5
00000c72: PUSH1 0x00
00000c74: PUSH1 0x04
00000c76: PUSH1 0x4e
00000c78: CALL
00000c79: POP
00000c7a: SWAP1
00000c7b: POP
00000c7c: ADD
00000c7d: DUP4
00000c7e: DUP2
00000c7f: MSTORE
00000c80: PUSH1 0x20
00000c82: ADD
00000c83: DUP3
00000c84: DUP2
00000c85: MSTORE
00000c86: PUSH1 0x20
00000c88: ADD
00000c89: SWAP4
00000c8a: POP
00000c8b: POP
00000c8c: POP
00000c8d: POP
00000c8e: PUSH1 0x40
00000c90: MLOAD
00000c91: DUP1
00000c92: SWAP2
00000c93: SUB
00000c94: SWAP1
00000c95: RETURN
00000c96: JUMPDEST
00000c97: PUSH1 0x00
00000c99: DUP14
00000c9a: DUP2
00000c9b: MSTORE
00000c9c: PUSH1 0x03
00000c9e: PUSH1 0x20
00000ca0: DUP2
00000ca1: SWAP1
00000ca2: MSTORE
00000ca3: PUSH1 0x40
00000ca5: DUP3
00000ca6: KECCAK256
00000ca7: PUSH1 0x08
00000ca9: DUP2
00000caa: ADD
00000cab: SLOAD
00000cac: SWAP2
00000cad: ADD
00000cae: SLOAD
00000caf: SWAP14
00000cb0: POP
00000cb1: SWAP2
00000cb2: SWAP11
00000cb3: POP
00000cb4: PUSH1 0xff
00000cb6: SWAP2
00000cb7: SWAP1
00000cb8: SWAP2
00000cb9: AND
00000cba: EQ
00000cbb: PUSH2 0x0d24
00000cbe: JUMPI
00000cbf: PUSH1 0x40
00000cc1: PUSH1 0x00
00000cc3: DUP2
00000cc4: SWAP1
00000cc5: KECCAK256
00000cc6: DUP2
00000cc7: MLOAD
00000cc8: PUSH1 0x04
00000cca: SWAP2
00000ccb: SWAP1
00000ccc: SWAP2
00000ccd: ADD
00000cce: DUP1
00000ccf: SLOAD
00000cd0: PUSH1 0x20
00000cd2: PUSH1 0x02
00000cd4: PUSH1 0x01
00000cd6: DUP4
00000cd7: AND
00000cd8: ISZERO
00000cd9: PUSH2 0x0100
00000cdc: MUL
00000cdd: PUSH1 0x00
00000cdf: NOT
00000ce0: ADD
00000ce1: SWAP1
00000ce2: SWAP3
00000ce3: AND
00000ce4: SWAP2
00000ce5: SWAP1
00000ce6: SWAP2
00000ce7: DIV
00000ce8: PUSH1 0x1f
00000cea: DUP2
00000ceb: ADD
00000cec: DUP3
00000ced: SWAP1
00000cee: DIV
00000cef: DUP3
00000cf0: MUL
00000cf1: DUP5
00000cf2: ADD
00000cf3: DUP3
00000cf4: ADD
00000cf5: SWAP1
00000cf6: SWAP5
00000cf7: MSTORE
00000cf8: DUP4
00000cf9: DUP4
00000cfa: MSTORE
00000cfb: SWAP2
00000cfc: SWAP3
00000cfd: SWAP1
00000cfe: SWAP2
00000cff: DUP4
00000d00: ADD
00000d01: DUP3
00000d02: DUP3
00000d03: DUP1
00000d04: ISZERO
00000d05: PUSH2 0x0dac
00000d08: JUMPI
00000d09: DUP1
00000d0a: PUSH1 0x1f
00000d0c: LT
00000d0d: PUSH2 0x0d81
00000d10: JUMPI
00000d11: PUSH2 0x0100
00000d14: DUP1
00000d15: DUP4
00000d16: SLOAD
00000d17: DIV
00000d18: MUL
00000d19: DUP4
00000d1a: MSTORE
00000d1b: SWAP2
00000d1c: PUSH1 0x20
00000d1e: ADD
00000d1f: SWAP2
00000d20: PUSH2 0x0dac
00000d23: JUMP
00000d24: JUMPDEST
00000d25: POP
00000d26: POP
00000d27: PUSH1 0x40
00000d29: DUP1
00000d2a: MLOAD
00000d2b: PUSH1 0x20
00000d2d: DUP2
00000d2e: DUP2
00000d2f: ADD
00000d30: DUP4
00000d31: MSTORE
00000d32: PUSH1 0x00
00000d34: DUP1
00000d35: DUP4
00000d36: MSTORE
00000d37: DUP4
00000d38: MLOAD
00000d39: PUSH1 0xa0
00000d3b: DUP2
00000d3c: ADD
00000d3d: DUP6
00000d3e: MSTORE
00000d3f: DUP2
00000d40: DUP2
00000d41: MSTORE
00000d42: SWAP2
00000d43: DUP3
00000d44: ADD
00000d45: DUP2
00000d46: SWAP1
00000d47: MSTORE
00000d48: SWAP3
00000d49: DUP2
00000d4a: ADD
00000d4b: DUP4
00000d4c: SWAP1
00000d4d: MSTORE
00000d4e: PUSH1 0x60
00000d50: DUP2
00000d51: ADD
00000d52: DUP4
00000d53: SWAP1
00000d54: MSTORE
00000d55: PUSH1 0x80
00000d57: DUP2
00000d58: ADD
00000d59: DUP4
00000d5a: SWAP1
00000d5b: MSTORE
00000d5c: SWAP1
00000d5d: SWAP10
00000d5e: POP
00000d5f: SWAP1
00000d60: SWAP7
00000d61: POP
00000d62: SWAP5
00000d63: POP
00000d64: DUP6
00000d65: SWAP4
00000d66: POP
00000d67: DUP4
00000d68: SWAP3
00000d69: POP
00000d6a: DUP3
00000d6b: SWAP2
00000d6c: POP
00000d6d: DUP2
00000d6e: SWAP1
00000d6f: POP
00000d70: DUP1
00000d71: DUP1
00000d72: JUMPDEST
00000d73: SWAP2
00000d74: SWAP4
00000d75: SWAP6
00000d76: SWAP8
00000d77: SWAP10
00000d78: SWAP12
00000d79: SWAP1
00000d7a: SWAP3
00000d7b: SWAP5
00000d7c: SWAP7
00000d7d: SWAP9
00000d7e: SWAP11
00000d7f: POP
00000d80: JUMP
00000d81: JUMPDEST
00000d82: DUP3
00000d83: ADD
00000d84: SWAP2
00000d85: SWAP1
00000d86: PUSH1 0x00
00000d88: MSTORE
00000d89: PUSH1 0x20
00000d8b: PUSH1 0x00
00000d8d: KECCAK256
00000d8e: SWAP1
00000d8f: JUMPDEST
00000d90: DUP2
00000d91: SLOAD
00000d92: DUP2
00000d93: MSTORE
00000d94: SWAP1
00000d95: PUSH1 0x01
00000d97: ADD
00000d98: SWAP1
00000d99: PUSH1 0x20
00000d9b: ADD
00000d9c: DUP1
00000d9d: DUP4
00000d9e: GT
00000d9f: PUSH2 0x0d8f
00000da2: JUMPI
00000da3: DUP3
00000da4: SWAP1
00000da5: SUB
00000da6: PUSH1 0x1f
00000da8: AND
00000da9: DUP3
00000daa: ADD
00000dab: SWAP2
00000dac: JUMPDEST
00000dad: POP
00000dae: POP
00000daf: POP
00000db0: PUSH1 0x00
00000db2: DUP16
00000db3: DUP2
00000db4: MSTORE
00000db5: PUSH1 0x03
00000db7: PUSH1 0x20
00000db9: MSTORE
00000dba: PUSH1 0x40
00000dbc: DUP1
00000dbd: DUP3
00000dbe: KECCAK256
00000dbf: DUP2
00000dc0: MLOAD
00000dc1: PUSH1 0xa0
00000dc3: DUP2
00000dc4: ADD
00000dc5: SWAP3
00000dc6: DUP4
00000dc7: SWAP1
00000dc8: MSTORE
00000dc9: SWAP6
00000dca: SWAP16
00000dcb: POP
00000dcc: PUSH1 0x05
00000dce: SWAP1
00000dcf: DUP2
00000dd0: ADD
00000dd1: SWAP5
00000dd2: POP
00000dd3: SWAP3
00000dd4: POP
00000dd5: SWAP1
00000dd6: DUP4
00000dd7: SWAP1
00000dd8: DUP6
00000dd9: JUMPDEST
00000dda: DUP3
00000ddb: SLOAD
00000ddc: PUSH2 0x0100
00000ddf: DUP4
00000de0: SWAP1
00000de1: EXP
00000de2: SWAP1
00000de3: DIV
00000de4: PUSH1 0xff
00000de6: AND
00000de7: DUP2
00000de8: MSTORE
00000de9: PUSH1 0x20
00000deb: PUSH1 0x01
00000ded: SWAP3
00000dee: DUP4
00000def: ADD
00000df0: DUP2
00000df1: DUP2
00000df2: DIV
00000df3: SWAP5
00000df4: DUP6
00000df5: ADD
00000df6: SWAP5
00000df7: SWAP1
00000df8: SWAP4
00000df9: SUB
00000dfa: SWAP1
00000dfb: SWAP3
00000dfc: MUL
00000dfd: SWAP2
00000dfe: ADD
00000dff: DUP1
00000e00: DUP5
00000e01: GT
00000e02: PUSH2 0x0dd9
00000e05: JUMPI
00000e06: SWAP1
00000e07: POP
00000e08: POP
00000e09: POP
00000e0a: POP
00000e0b: POP
00000e0c: POP
00000e0d: SWAP7
00000e0e: POP
00000e0f: DUP7
00000e10: POP
00000e11: PUSH1 0x03
00000e13: PUSH1 0x00
00000e15: POP
00000e16: PUSH1 0x00
00000e18: DUP14
00000e19: DUP2
00000e1a: MSTORE
00000e1b: PUSH1 0x20
00000e1d: ADD
00000e1e: SWAP1
00000e1f: DUP2
00000e20: MSTORE
00000e21: PUSH1 0x20
00000e23: ADD
00000e24: PUSH1 0x00
00000e26: KECCAK256
00000e27: PUSH1 0x00
00000e29: POP
00000e2a: PUSH1 0x06
00000e2c: ADD
00000e2d: PUSH1 0x00
00000e2f: POP
00000e30: PUSH1 0x00
00000e32: PUSH1 0x03
00000e34: DUP2
00000e35: MSTORE
00000e36: PUSH1 0x20
00000e38: ADD
00000e39: SWAP1
00000e3a: DUP2
00000e3b: MSTORE
00000e3c: PUSH1 0x20
00000e3e: ADD
00000e3f: PUSH1 0x00
00000e41: KECCAK256
00000e42: PUSH1 0x00
00000e44: POP
00000e45: PUSH1 0x01
00000e47: ADD
00000e48: PUSH1 0x00
00000e4a: POP
00000e4b: SLOAD
00000e4c: SWAP6
00000e4d: POP
00000e4e: DUP6
00000e4f: POP
00000e50: PUSH1 0x03
00000e52: PUSH1 0x00
00000e54: POP
00000e55: PUSH1 0x00
00000e57: DUP14
00000e58: DUP2
00000e59: MSTORE
00000e5a: PUSH1 0x20
00000e5c: ADD
00000e5d: SWAP1
00000e5e: DUP2
00000e5f: MSTORE
00000e60: PUSH1 0x20
00000e62: ADD
00000e63: PUSH1 0x00
00000e65: KECCAK256
00000e66: PUSH1 0x00
00000e68: POP
00000e69: PUSH1 0x06
00000e6b: ADD
00000e6c: PUSH1 0x00
00000e6e: POP
00000e6f: PUSH1 0x00
00000e71: PUSH1 0x04
00000e73: DUP2
00000e74: MSTORE
00000e75: PUSH1 0x20
00000e77: ADD
00000e78: SWAP1
00000e79: DUP2
00000e7a: MSTORE
00000e7b: PUSH1 0x20
00000e7d: ADD
00000e7e: PUSH1 0x00
00000e80: KECCAK256
00000e81: PUSH1 0x00
00000e83: POP
00000e84: PUSH1 0x01
00000e86: ADD
00000e87: PUSH1 0x00
00000e89: POP
00000e8a: SLOAD
00000e8b: SWAP5
00000e8c: POP
00000e8d: DUP5
00000e8e: POP
00000e8f: PUSH1 0x03
00000e91: PUSH1 0x00
00000e93: POP
00000e94: PUSH1 0x00
00000e96: DUP14
00000e97: DUP2
00000e98: MSTORE
00000e99: PUSH1 0x20
00000e9b: ADD
00000e9c: SWAP1
00000e9d: DUP2
00000e9e: MSTORE
00000e9f: PUSH1 0x20
00000ea1: ADD
00000ea2: PUSH1 0x00
00000ea4: KECCAK256
00000ea5: PUSH1 0x00
00000ea7: POP
00000ea8: PUSH1 0x06
00000eaa: ADD
00000eab: PUSH1 0x00
00000ead: POP
00000eae: PUSH1 0x00
00000eb0: PUSH1 0x05
00000eb2: DUP2
00000eb3: MSTORE
00000eb4: PUSH1 0x20
00000eb6: ADD
00000eb7: SWAP1
00000eb8: DUP2
00000eb9: MSTORE
00000eba: PUSH1 0x20
00000ebc: ADD
00000ebd: PUSH1 0x00
00000ebf: KECCAK256
00000ec0: PUSH1 0x00
00000ec2: POP
00000ec3: PUSH1 0x01
00000ec5: ADD
00000ec6: PUSH1 0x00
00000ec8: POP
00000ec9: SLOAD
00000eca: SWAP4
00000ecb: POP
00000ecc: DUP4
00000ecd: POP
00000ece: PUSH1 0x03
00000ed0: PUSH1 0x00
00000ed2: POP
00000ed3: PUSH1 0x00
00000ed5: DUP14
00000ed6: DUP2
00000ed7: MSTORE
00000ed8: PUSH1 0x20
00000eda: ADD
00000edb: SWAP1
00000edc: DUP2
00000edd: MSTORE
00000ede: PUSH1 0x20
00000ee0: ADD
00000ee1: PUSH1 0x00
00000ee3: KECCAK256
00000ee4: PUSH1 0x00
00000ee6: POP
00000ee7: PUSH1 0x06
00000ee9: ADD
00000eea: PUSH1 0x00
00000eec: POP
00000eed: PUSH1 0x00
00000eef: PUSH1 0x03
00000ef1: DUP2
00000ef2: MSTORE
00000ef3: PUSH1 0x20
00000ef5: ADD
00000ef6: SWAP1
00000ef7: DUP2
00000ef8: MSTORE
00000ef9: PUSH1 0x20
00000efb: ADD
00000efc: PUSH1 0x00
00000efe: KECCAK256
00000eff: PUSH1 0x00
00000f01: POP
00000f02: PUSH1 0x00
00000f04: ADD
00000f05: PUSH1 0x00
00000f07: POP
00000f08: SLOAD
00000f09: SWAP3
00000f0a: POP
00000f0b: DUP3
00000f0c: POP
00000f0d: PUSH1 0x03
00000f0f: PUSH1 0x00
00000f11: POP
00000f12: PUSH1 0x00
00000f14: DUP14
00000f15: DUP2
00000f16: MSTORE
00000f17: PUSH1 0x20
00000f19: ADD
00000f1a: SWAP1
00000f1b: DUP2
00000f1c: MSTORE
00000f1d: PUSH1 0x20
00000f1f: ADD
00000f20: PUSH1 0x00
00000f22: KECCAK256
00000f23: PUSH1 0x00
00000f25: POP
00000f26: PUSH1 0x06
00000f28: ADD
00000f29: PUSH1 0x00
00000f2b: POP
00000f2c: PUSH1 0x00
00000f2e: PUSH1 0x04
00000f30: DUP2
00000f31: MSTORE
00000f32: PUSH1 0x20
00000f34: ADD
00000f35: SWAP1
00000f36: DUP2
00000f37: MSTORE
00000f38: PUSH1 0x20
00000f3a: ADD
00000f3b: PUSH1 0x00
00000f3d: KECCAK256
00000f3e: PUSH1 0x00
00000f40: POP
00000f41: PUSH1 0x00
00000f43: ADD
00000f44: PUSH1 0x00
00000f46: POP
00000f47: SLOAD
00000f48: SWAP2
00000f49: POP
00000f4a: DUP2
00000f4b: POP
00000f4c: PUSH1 0x03
00000f4e: PUSH1 0x00
00000f50: POP
00000f51: PUSH1 0x00
00000f53: DUP14
00000f54: DUP2
00000f55: MSTORE
00000f56: PUSH1 0x20
00000f58: ADD
00000f59: SWAP1
00000f5a: DUP2
00000f5b: MSTORE
00000f5c: PUSH1 0x20
00000f5e: ADD
00000f5f: PUSH1 0x00
00000f61: KECCAK256
00000f62: PUSH1 0x00
00000f64: POP
00000f65: PUSH1 0x06
00000f67: ADD
00000f68: PUSH1 0x00
00000f6a: POP
00000f6b: PUSH1 0x00
00000f6d: PUSH1 0x05
00000f6f: DUP2
00000f70: MSTORE
00000f71: PUSH1 0x20
00000f73: ADD
00000f74: SWAP1
00000f75: DUP2
00000f76: MSTORE
00000f77: PUSH1 0x20
00000f79: ADD
00000f7a: PUSH1 0x00
00000f7c: KECCAK256
00000f7d: PUSH1 0x00
00000f7f: POP
00000f80: PUSH1 0x00
00000f82: ADD
00000f83: PUSH1 0x00
00000f85: POP
00000f86: SLOAD
00000f87: SWAP1
00000f88: POP
00000f89: DUP1
00000f8a: POP
00000f8b: PUSH1 0x03
00000f8d: PUSH1 0x00
00000f8f: POP
00000f90: PUSH1 0x00
00000f92: DUP14
00000f93: DUP2
00000f94: MSTORE
00000f95: PUSH1 0x20
00000f97: ADD
00000f98: SWAP1
00000f99: DUP2
00000f9a: MSTORE
00000f9b: PUSH1 0x20
00000f9d: ADD
00000f9e: PUSH1 0x00
00000fa0: KECCAK256
00000fa1: PUSH1 0x00
00000fa3: POP
00000fa4: PUSH1 0x09
00000fa6: ADD
00000fa7: PUSH1 0x00
00000fa9: POP
00000faa: SLOAD
00000fab: SWAP8
00000fac: POP
00000fad: DUP8
00000fae: POP
00000faf: PUSH2 0x0d72
00000fb2: JUMP
00000fb3: JUMPDEST
00000fb4: PUSH1 0x00
00000fb6: DUP7
00000fb7: DUP2
00000fb8: MSTORE
00000fb9: PUSH1 0x03
00000fbb: PUSH1 0x20
00000fbd: SWAP1
00000fbe: DUP2
00000fbf: MSTORE
00000fc0: PUSH1 0x40
00000fc2: DUP1
00000fc3: DUP4
00000fc4: KECCAK256
00000fc5: PUSH1 0x01
00000fc7: PUSH1 0xa0
00000fc9: PUSH1 0x02
00000fcb: EXP
00000fcc: SUB
00000fcd: DUP12
00000fce: AND
00000fcf: DUP5
00000fd0: MSTORE
00000fd1: PUSH1 0x05
00000fd3: DUP4
00000fd4: MSTORE
00000fd5: DUP2
00000fd6: DUP5
00000fd7: KECCAK256
00000fd8: DUP11
00000fd9: DUP6
00000fda: MSTORE
00000fdb: SWAP1
00000fdc: SWAP3
00000fdd: MSTORE
00000fde: DUP3
00000fdf: KECCAK256
00000fe0: PUSH1 0x01
00000fe2: ADD
00000fe3: DUP1
00000fe4: SLOAD
00000fe5: SWAP4
00000fe6: SWAP7
00000fe7: POP
00000fe8: PUSH1 0x0a
00000fea: SWAP2
00000feb: SWAP1
00000fec: SWAP2
00000fed: ADD
00000fee: SWAP3
00000fef: DUP8
00000ff0: SWAP1
00000ff1: DUP2
00000ff2: LT
00000ff3: ISZERO
00000ff4: PUSH2 0x0002
00000ff7: JUMPI
00000ff8: SWAP1
00000ff9: PUSH1 0x00
00000ffb: MSTORE
00000ffc: PUSH1 0x20
00000ffe: PUSH1 0x00
00001000: KECCAK256
00001001: SWAP1
00001002: ADD
00001003: PUSH1 0x00
00001005: POP
00001006: SLOAD
00001007: DUP2
00001008: MSTORE
00001009: PUSH1 0x20
0000100b: DUP2
0000100c: DUP2
0000100d: ADD
0000100e: SWAP3
0000100f: SWAP1
00001010: SWAP3
00001011: MSTORE
00001012: PUSH1 0x40
00001014: SWAP1
00001015: DUP2
00001016: ADD
00001017: PUSH1 0x00
00001019: SWAP1
0000101a: DUP2
0000101b: KECCAK256
0000101c: SLOAD
0000101d: PUSH1 0x01
0000101f: PUSH1 0xa0
00001021: PUSH1 0x02
00001023: EXP
00001024: SUB
00001025: DUP11
00001026: AND
00001027: DUP3
00001028: MSTORE
00001029: PUSH1 0x05
0000102b: DUP5
0000102c: MSTORE
0000102d: DUP3
0000102e: DUP3
0000102f: KECCAK256
00001030: DUP10
00001031: DUP4
00001032: MSTORE
00001033: SWAP1
00001034: SWAP4
00001035: MSTORE
00001036: KECCAK256
00001037: SLOAD
00001038: SWAP1
00001039: SWAP3
0000103a: POP
0000103b: PUSH1 0xff
0000103d: AND
0000103e: SWAP1
0000103f: POP
00001040: JUMPDEST
00001041: SWAP4
00001042: POP
00001043: SWAP4
00001044: POP
00001045: SWAP4
00001046: SWAP1
00001047: POP
00001048: JUMP
00001049: JUMPDEST
0000104a: PUSH1 0x01
0000104c: SWAP3
0000104d: POP
0000104e: JUMPDEST
0000104f: POP
00001050: POP
00001051: SWAP2
00001052: SWAP1
00001053: POP
00001054: JUMP
00001055: JUMPDEST
00001056: PUSH1 0x00
00001058: DUP3
00001059: DUP2
0000105a: MSTORE
0000105b: PUSH1 0x03
0000105d: PUSH1 0x20
0000105f: DUP2
00001060: SWAP1
00001061: MSTORE
00001062: PUSH1 0x40
00001064: SWAP1
00001065: SWAP2
00001066: KECCAK256
00001067: PUSH1 0x08
00001069: ADD
0000106a: SLOAD
0000106b: PUSH1 0xff
0000106d: AND
0000106e: EQ
0000106f: ISZERO
00001070: PUSH2 0x10a8
00001073: JUMPI
00001074: PUSH1 0x01
00001076: PUSH1 0xa0
00001078: PUSH1 0x02
0000107a: EXP
0000107b: SUB
0000107c: DUP5
0000107d: AND
0000107e: PUSH1 0x00
00001080: SWAP1
00001081: DUP2
00001082: MSTORE
00001083: PUSH1 0x05
00001085: PUSH1 0x20
00001087: SWAP1
00001088: DUP2
00001089: MSTORE
0000108a: PUSH1 0x40
0000108c: DUP1
0000108d: DUP4
0000108e: KECCAK256
0000108f: DUP6
00001090: DUP5
00001091: MSTORE
00001092: SWAP1
00001093: SWAP2
00001094: MSTORE
00001095: SWAP1
00001096: KECCAK256
00001097: PUSH1 0x01
00001099: ADD
0000109a: SLOAD
0000109b: PUSH7 0x2386f26fc10000
000010a3: MUL
000010a4: SWAP1
000010a5: SWAP3
000010a6: ADD
000010a7: SWAP2
000010a8: JUMPDEST
000010a9: PUSH1 0x01
000010ab: SWAP2
000010ac: SWAP1
000010ad: SWAP2
000010ae: ADD
000010af: SWAP1
000010b0: PUSH2 0x046f
000010b3: JUMP
000010b4: JUMPDEST
000010b5: PUSH2 0x10a8
000010b8: JUMP
000010b9: JUMPDEST
000010ba: PUSH1 0x00
000010bc: DUP3
000010bd: DUP2
000010be: MSTORE
000010bf: PUSH1 0x03
000010c1: PUSH1 0x20
000010c3: SWAP1
000010c4: DUP2
000010c5: MSTORE
000010c6: PUSH1 0x40
000010c8: DUP1
000010c9: DUP4
000010ca: KECCAK256
000010cb: PUSH1 0x01
000010cd: PUSH1 0xa0
000010cf: PUSH1 0x02
000010d1: EXP
000010d2: SUB
000010d3: DUP9
000010d4: AND
000010d5: DUP5
000010d6: MSTORE
000010d7: PUSH1 0x05
000010d9: DUP4
000010da: MSTORE
000010db: DUP2
000010dc: DUP5
000010dd: KECCAK256
000010de: DUP7
000010df: DUP6
000010e0: MSTORE
000010e1: SWAP1
000010e2: SWAP3
000010e3: MSTORE
000010e4: DUP3
000010e5: KECCAK256
000010e6: PUSH1 0x01
000010e8: ADD
000010e9: DUP1
000010ea: SLOAD
000010eb: PUSH1 0x0a
000010ed: SWAP3
000010ee: SWAP1
000010ef: SWAP3
000010f0: ADD
000010f1: SWAP3
000010f2: SWAP2
000010f3: DUP5
000010f4: SWAP1
000010f5: DUP2
000010f6: LT
000010f7: ISZERO
000010f8: PUSH2 0x0002
000010fb: JUMPI
000010fc: SWAP1
000010fd: PUSH1 0x00
000010ff: MSTORE
00001100: PUSH1 0x20
00001102: PUSH1 0x00
00001104: KECCAK256
00001105: SWAP1
00001106: ADD
00001107: PUSH1 0x00
00001109: POP
0000110a: SLOAD
0000110b: DUP2
0000110c: MSTORE
0000110d: PUSH1 0x20
0000110f: DUP2
00001110: ADD
00001111: SWAP2
00001112: SWAP1
00001113: SWAP2
00001114: MSTORE
00001115: PUSH1 0x40
00001117: ADD
00001118: PUSH1 0x00
0000111a: KECCAK256
0000111b: SLOAD
0000111c: PUSH1 0x04
0000111e: EQ
0000111f: ISZERO
00001120: PUSH2 0x114a
00001123: JUMPI
00001124: PUSH1 0x00
00001126: DUP3
00001127: DUP2
00001128: MSTORE
00001129: PUSH1 0x03
0000112b: PUSH1 0x20
0000112d: SWAP1
0000112e: DUP2
0000112f: MSTORE
00001130: PUSH1 0x40
00001132: DUP1
00001133: DUP4
00001134: KECCAK256
00001135: PUSH1 0x04
00001137: DUP5
00001138: MSTORE
00001139: PUSH1 0x06
0000113b: ADD
0000113c: SWAP1
0000113d: SWAP2
0000113e: MSTORE
0000113f: SWAP1
00001140: KECCAK256
00001141: SLOAD
00001142: SWAP1
00001143: SWAP3
00001144: ADD
00001145: SWAP2
00001146: PUSH2 0x11d7
00001149: JUMP
0000114a: JUMPDEST
0000114b: PUSH1 0x00
0000114d: DUP3
0000114e: DUP2
0000114f: MSTORE
00001150: PUSH1 0x03
00001152: PUSH1 0x20
00001154: SWAP1
00001155: DUP2
00001156: MSTORE
00001157: PUSH1 0x40
00001159: DUP1
0000115a: DUP4
0000115b: KECCAK256
0000115c: PUSH1 0x01
0000115e: PUSH1 0xa0
00001160: PUSH1 0x02
00001162: EXP
00001163: SUB
00001164: DUP9
00001165: AND
00001166: DUP5
00001167: MSTORE
00001168: PUSH1 0x05
0000116a: DUP4
0000116b: MSTORE
0000116c: DUP2
0000116d: DUP5
0000116e: KECCAK256
0000116f: DUP7
00001170: DUP6
00001171: MSTORE
00001172: SWAP1
00001173: SWAP3
00001174: MSTORE
00001175: DUP3
00001176: KECCAK256
00001177: PUSH1 0x01
00001179: ADD
0000117a: DUP1
0000117b: SLOAD
0000117c: PUSH1 0x0a
0000117e: SWAP3
0000117f: SWAP1
00001180: SWAP3
00001181: ADD
00001182: SWAP3
00001183: SWAP2
00001184: DUP5
00001185: SWAP1
00001186: DUP2
00001187: LT
00001188: ISZERO
00001189: PUSH2 0x0002
0000118c: JUMPI
0000118d: SWAP1
0000118e: PUSH1 0x00
00001190: MSTORE
00001191: PUSH1 0x20
00001193: PUSH1 0x00
00001195: KECCAK256
00001196: SWAP1
00001197: ADD
00001198: PUSH1 0x00
0000119a: POP
0000119b: SLOAD
0000119c: DUP2
0000119d: MSTORE
0000119e: PUSH1 0x20
000011a0: DUP2
000011a1: ADD
000011a2: SWAP2
000011a3: SWAP1
000011a4: SWAP2
000011a5: MSTORE
000011a6: PUSH1 0x40
000011a8: ADD
000011a9: PUSH1 0x00
000011ab: KECCAK256
000011ac: SLOAD
000011ad: PUSH1 0x05
000011af: EQ
000011b0: ISZERO
000011b1: PUSH2 0x11d7
000011b4: JUMPI
000011b5: PUSH1 0x00
000011b7: DUP3
000011b8: DUP2
000011b9: MSTORE
000011ba: PUSH1 0x03
000011bc: PUSH1 0x20
000011be: SWAP1
000011bf: DUP2
000011c0: MSTORE
000011c1: PUSH1 0x40
000011c3: DUP1
000011c4: DUP4
000011c5: KECCAK256
000011c6: PUSH1 0x05
000011c8: DUP5
000011c9: MSTORE
000011ca: PUSH1 0x06
000011cc: ADD
000011cd: SWAP1
000011ce: SWAP2
000011cf: MSTORE
000011d0: SWAP1
000011d1: KECCAK256
000011d2: SLOAD
000011d3: SWAP1
000011d4: SWAP3
000011d5: ADD
000011d6: SWAP2
000011d7: JUMPDEST
000011d8: PUSH1 0x01
000011da: ADD
000011db: PUSH2 0x04c7
000011de: JUMP
000011df: JUMPDEST
000011e0: PUSH1 0x00
000011e2: DUP5
000011e3: GT
000011e4: ISZERO
000011e5: PUSH2 0x00d3
000011e8: JUMPI
000011e9: PUSH1 0x40
000011eb: MLOAD
000011ec: PUSH1 0x01
000011ee: PUSH1 0xa0
000011f0: PUSH1 0x02
000011f2: EXP
000011f3: SUB
000011f4: CALLER
000011f5: AND
000011f6: SWAP1
000011f7: PUSH1 0x00
000011f9: SWAP1
000011fa: DUP7
000011fb: SWAP1
000011fc: DUP3
000011fd: DUP2
000011fe: DUP2
000011ff: DUP2
00001200: DUP6
00001201: DUP9
00001202: DUP4
00001203: CALL
00001204: SWAP4
00001205: POP
00001206: POP
00001207: POP
00001208: POP
00001209: PUSH1 0x00
0000120b: EQ
0000120c: ISZERO
0000120d: PUSH2 0x1409
00001210: JUMPI
00001211: PUSH2 0x0002
00001214: JUMP
00001215: JUMPDEST
00001216: PUSH1 0x00
00001218: DUP3
00001219: DUP2
0000121a: MSTORE
0000121b: PUSH1 0x03
0000121d: PUSH1 0x20
0000121f: DUP2
00001220: SWAP1
00001221: MSTORE
00001222: PUSH1 0x40
00001224: SWAP1
00001225: SWAP2
00001226: KECCAK256
00001227: PUSH1 0x08
00001229: ADD
0000122a: SLOAD
0000122b: PUSH1 0xff
0000122d: AND
0000122e: EQ
0000122f: ISZERO
00001230: PUSH2 0x1268
00001233: JUMPI
00001234: PUSH1 0x01
00001236: PUSH1 0xa0
00001238: PUSH1 0x02
0000123a: EXP
0000123b: SUB
0000123c: CALLER
0000123d: AND
0000123e: PUSH1 0x00
00001240: SWAP1
00001241: DUP2
00001242: MSTORE
00001243: PUSH1 0x05
00001245: PUSH1 0x20
00001247: SWAP1
00001248: DUP2
00001249: MSTORE
0000124a: PUSH1 0x40
0000124c: DUP1
0000124d: DUP4
0000124e: KECCAK256
0000124f: DUP6
00001250: DUP5
00001251: MSTORE
00001252: SWAP1
00001253: SWAP2
00001254: MSTORE
00001255: SWAP1
00001256: KECCAK256
00001257: PUSH1 0x01
00001259: ADD
0000125a: SLOAD
0000125b: PUSH7 0x2386f26fc10000
00001263: MUL
00001264: SWAP1
00001265: SWAP3
00001266: ADD
00001267: SWAP2
00001268: JUMPDEST
00001269: CALLER
0000126a: PUSH1 0x01
0000126c: PUSH1 0xa0
0000126e: PUSH1 0x02
00001270: EXP
00001271: SUB
00001272: AND
00001273: PUSH1 0x00
00001275: SWAP1
00001276: DUP2
00001277: MSTORE
00001278: PUSH1 0x05
0000127a: PUSH1 0x20
0000127c: SWAP1
0000127d: DUP2
0000127e: MSTORE
0000127f: PUSH1 0x40
00001281: DUP1
00001282: DUP4
00001283: KECCAK256
00001284: DUP6
00001285: DUP5
00001286: MSTORE
00001287: DUP3
00001288: MSTORE
00001289: DUP1
0000128a: DUP4
0000128b: KECCAK256
0000128c: DUP1
0000128d: SLOAD
0000128e: PUSH1 0xff
00001290: NOT
00001291: AND
00001292: PUSH1 0x01
00001294: OR
00001295: SWAP1
00001296: SSTORE
00001297: PUSH1 0x03
00001299: SWAP1
0000129a: SWAP2
0000129b: MSTORE
0000129c: DUP2
0000129d: KECCAK256
0000129e: PUSH1 0x07
000012a0: ADD
000012a1: DUP1
000012a2: SLOAD
000012a3: DUP6
000012a4: SWAP1
000012a5: SUB
000012a6: SWAP1
000012a7: SSTORE
000012a8: SWAP3
000012a9: SWAP1
000012aa: SWAP4
000012ab: ADD
000012ac: SWAP3
000012ad: JUMPDEST
000012ae: PUSH1 0x01
000012b0: SWAP2
000012b1: SWAP1
000012b2: SWAP2
000012b3: ADD
000012b4: SWAP1
000012b5: PUSH2 0x0312
000012b8: JUMP
000012b9: JUMPDEST
000012ba: PUSH2 0x1268
000012bd: JUMP
000012be: JUMPDEST
000012bf: PUSH1 0x03
000012c1: PUSH1 0x00
000012c3: POP
000012c4: PUSH1 0x00
000012c6: DUP4
000012c7: DUP2
000012c8: MSTORE
000012c9: PUSH1 0x20
000012cb: ADD
000012cc: SWAP1
000012cd: DUP2
000012ce: MSTORE
000012cf: PUSH1 0x20
000012d1: ADD
000012d2: PUSH1 0x00
000012d4: KECCAK256
000012d5: PUSH1 0x00
000012d7: POP
000012d8: PUSH1 0x0a
000012da: ADD
000012db: PUSH1 0x00
000012dd: POP
000012de: PUSH1 0x00
000012e0: PUSH1 0x05
000012e2: PUSH1 0x00
000012e4: POP
000012e5: PUSH1 0x00
000012e7: CALLER
000012e8: PUSH1 0x01
000012ea: PUSH1 0xa0
000012ec: PUSH1 0x02
000012ee: EXP
000012ef: SUB
000012f0: AND
000012f1: DUP2
000012f2: MSTORE
000012f3: PUSH1 0x20
000012f5: ADD
000012f6: SWAP1
000012f7: DUP2
000012f8: MSTORE
000012f9: PUSH1 0x20
000012fb: ADD
000012fc: PUSH1 0x00
000012fe: KECCAK256
000012ff: PUSH1 0x00
00001301: POP
00001302: PUSH1 0x00
00001304: DUP6
00001305: DUP2
00001306: MSTORE
00001307: PUSH1 0x20
00001309: ADD
0000130a: SWAP1
0000130b: DUP2
0000130c: MSTORE
0000130d: PUSH1 0x20
0000130f: ADD
00001310: PUSH1 0x00
00001312: KECCAK256
00001313: PUSH1 0x00
00001315: POP
00001316: PUSH1 0x01
00001318: ADD
00001319: PUSH1 0x00
0000131b: POP
0000131c: DUP4
0000131d: DUP2
0000131e: SLOAD
0000131f: DUP2
00001320: LT
00001321: ISZERO
00001322: PUSH2 0x0002
00001325: JUMPI
00001326: SWAP1
00001327: PUSH1 0x00
00001329: MSTORE
0000132a: PUSH1 0x20
0000132c: PUSH1 0x00
0000132e: KECCAK256
0000132f: SWAP1
00001330: ADD
00001331: PUSH1 0x00
00001333: POP
00001334: SLOAD
00001335: DUP2
00001336: MSTORE
00001337: PUSH1 0x20
00001339: DUP2
0000133a: ADD
0000133b: SWAP2
0000133c: SWAP1
0000133d: SWAP2
0000133e: MSTORE
0000133f: PUSH1 0x40
00001341: ADD
00001342: PUSH1 0x00
00001344: KECCAK256
00001345: SLOAD
00001346: PUSH1 0x04
00001348: EQ
00001349: ISZERO
0000134a: PUSH2 0x1374
0000134d: JUMPI
0000134e: PUSH1 0x00
00001350: DUP3
00001351: DUP2
00001352: MSTORE
00001353: PUSH1 0x03
00001355: PUSH1 0x20
00001357: SWAP1
00001358: DUP2
00001359: MSTORE
0000135a: PUSH1 0x40
0000135c: DUP1
0000135d: DUP4
0000135e: KECCAK256
0000135f: PUSH1 0x04
00001361: DUP5
00001362: MSTORE
00001363: PUSH1 0x06
00001365: ADD
00001366: SWAP1
00001367: SWAP2
00001368: MSTORE
00001369: SWAP1
0000136a: KECCAK256
0000136b: SLOAD
0000136c: SWAP1
0000136d: SWAP3
0000136e: ADD
0000136f: SWAP2
00001370: PUSH2 0x1401
00001373: JUMP
00001374: JUMPDEST
00001375: PUSH1 0x00
00001377: DUP3
00001378: DUP2
00001379: MSTORE
0000137a: PUSH1 0x03
0000137c: PUSH1 0x20
0000137e: SWAP1
0000137f: DUP2
00001380: MSTORE
00001381: PUSH1 0x40
00001383: DUP1
00001384: DUP4
00001385: KECCAK256
00001386: PUSH1 0x01
00001388: PUSH1 0xa0
0000138a: PUSH1 0x02
0000138c: EXP
0000138d: SUB
0000138e: CALLER
0000138f: AND
00001390: DUP5
00001391: MSTORE
00001392: PUSH1 0x05
00001394: DUP4
00001395: MSTORE
00001396: DUP2
00001397: DUP5
00001398: KECCAK256
00001399: DUP7
0000139a: DUP6
0000139b: MSTORE
0000139c: SWAP1
0000139d: SWAP3
0000139e: MSTORE
0000139f: DUP3
000013a0: KECCAK256
000013a1: PUSH1 0x01
000013a3: ADD
000013a4: DUP1
000013a5: SLOAD
000013a6: PUSH1 0x0a
000013a8: SWAP3
000013a9: SWAP1
000013aa: SWAP3
000013ab: ADD
000013ac: SWAP3
000013ad: SWAP2
000013ae: DUP5
000013af: SWAP1
000013b0: DUP2
000013b1: LT
000013b2: ISZERO
000013b3: PUSH2 0x0002
000013b6: JUMPI
000013b7: SWAP1
000013b8: PUSH1 0x00
000013ba: MSTORE
000013bb: PUSH1 0x20
000013bd: PUSH1 0x00
000013bf: KECCAK256
000013c0: SWAP1
000013c1: ADD
000013c2: PUSH1 0x00
000013c4: POP
000013c5: SLOAD
000013c6: DUP2
000013c7: MSTORE
000013c8: PUSH1 0x20
000013ca: DUP2
000013cb: ADD
000013cc: SWAP2
000013cd: SWAP1
000013ce: SWAP2
000013cf: MSTORE
000013d0: PUSH1 0x40
000013d2: ADD
000013d3: PUSH1 0x00
000013d5: KECCAK256
000013d6: SLOAD
000013d7: PUSH1 0x05
000013d9: EQ
000013da: ISZERO
000013db: PUSH2 0x1401
000013de: JUMPI
000013df: PUSH1 0x00
000013e1: DUP3
000013e2: DUP2
000013e3: MSTORE
000013e4: PUSH1 0x03
000013e6: PUSH1 0x20
000013e8: SWAP1
000013e9: DUP2
000013ea: MSTORE
000013eb: PUSH1 0x40
000013ed: DUP1
000013ee: DUP4
000013ef: KECCAK256
000013f0: PUSH1 0x05
000013f2: DUP5
000013f3: MSTORE
000013f4: PUSH1 0x06
000013f6: ADD
000013f7: SWAP1
000013f8: SWAP2
000013f9: MSTORE
000013fa: SWAP1
000013fb: KECCAK256
000013fc: SLOAD
000013fd: SWAP1
000013fe: SWAP3
000013ff: ADD
00001400: SWAP2
00001401: JUMPDEST
00001402: PUSH1 0x01
00001404: ADD
00001405: PUSH2 0x036a
00001408: JUMP
00001409: JUMPDEST
0000140a: POP
0000140b: POP
0000140c: POP
0000140d: POP
0000140e: JUMP
0000140f: JUMPDEST
00001410: PUSH1 0x04
00001412: SLOAD
00001413: PUSH1 0x00
00001415: SWAP1
00001416: DUP2
00001417: MSTORE
00001418: PUSH1 0x03
0000141a: PUSH1 0x20
0000141c: MSTORE
0000141d: PUSH1 0x40
0000141f: DUP2
00001420: KECCAK256
00001421: PUSH1 0x08
00001423: ADD
00001424: SLOAD
00001425: PUSH1 0xff
00001427: AND
00001428: EQ
00001429: PUSH2 0x1431
0000142c: JUMPI
0000142d: PUSH2 0x0002
00001430: JUMP
00001431: JUMPDEST
00001432: DUP3
00001433: SWAP2
00001434: POP
00001435: PUSH1 0x46
00001437: DUP3
00001438: GT
00001439: ISZERO
0000143a: PUSH2 0x1442
0000143d: JUMPI
0000143e: PUSH2 0x0002
00001441: JUMP
00001442: JUMPDEST
00001443: PUSH7 0x2386f26fc10000
0000144b: DUP3
0000144c: MUL
0000144d: CALLVALUE
0000144e: LT
0000144f: ISZERO
00001450: PUSH2 0x1458
00001453: JUMPI
00001454: PUSH2 0x0002
00001457: JUMP
00001458: JUMPDEST
00001459: PUSH7 0x2386f26fc10000
00001461: DUP3
00001462: MUL
00001463: CALLVALUE
00001464: GT
00001465: ISZERO
00001466: PUSH2 0x14a1
00001469: JUMPI
0000146a: PUSH1 0x40
0000146c: MLOAD
0000146d: PUSH1 0x01
0000146f: PUSH1 0xa0
00001471: PUSH1 0x02
00001473: EXP
00001474: SUB
00001475: CALLER
00001476: AND
00001477: SWAP1
00001478: PUSH1 0x00
0000147a: SWAP1
0000147b: PUSH7 0x2386f26fc10000
00001483: DUP6
00001484: MUL
00001485: CALLVALUE
00001486: SUB
00001487: SWAP1
00001488: DUP3
00001489: DUP2
0000148a: DUP2
0000148b: DUP2
0000148c: DUP6
0000148d: DUP9
0000148e: DUP4
0000148f: CALL
00001490: SWAP4
00001491: POP
00001492: POP
00001493: POP
00001494: POP
00001495: PUSH1 0x00
00001497: EQ
00001498: ISZERO
00001499: PUSH2 0x14a1
0000149c: JUMPI
0000149d: PUSH2 0x0002
000014a0: JUMP
000014a1: JUMPDEST
000014a2: POP
000014a3: PUSH1 0x00
000014a5: JUMPDEST
000014a6: DUP2
000014a7: DUP2
000014a8: LT
000014a9: ISZERO
000014aa: PUSH2 0x1409
000014ad: JUMPI
000014ae: PUSH2 0x153f
000014b1: PUSH2 0x154a
000014b4: DUP6
000014b5: DUP6
000014b6: DUP5
000014b7: DUP2
000014b8: DUP2
000014b9: LT
000014ba: ISZERO
000014bb: PUSH2 0x0002
000014be: JUMPI
000014bf: SWAP1
000014c0: POP
000014c1: SWAP1
000014c2: SWAP1
000014c3: PUSH1 0x20
000014c5: MUL
000014c6: ADD
000014c7: CALLDATALOAD
000014c8: PUSH1 0xa0
000014ca: PUSH1 0x40
000014cc: MLOAD
000014cd: SWAP1
000014ce: DUP2
000014cf: ADD
000014d0: PUSH1 0x40
000014d2: MSTORE
000014d3: DUP1
000014d4: PUSH1 0x05
000014d6: SWAP1
000014d7: JUMPDEST
000014d8: PUSH1 0x00
000014da: DUP2
000014db: MSTORE
000014dc: PUSH1 0x20
000014de: ADD
000014df: SWAP1
000014e0: PUSH1 0x01
000014e2: SWAP1
000014e3: SUB
000014e4: SWAP1
000014e5: DUP2
000014e6: PUSH2 0x14d7
000014e9: JUMPI
000014ea: POP
000014eb: POP
000014ec: PUSH2 0x0100
000014ef: PUSH1 0xd8
000014f1: PUSH1 0x02
000014f3: EXP
000014f4: DUP4
000014f5: DIV
000014f6: PUSH5 0xffffffffff
000014fc: DUP2
000014fd: DUP2
000014fe: AND
000014ff: DUP4
00001500: SWAP1
00001501: DIV
00001502: DUP1
00001503: DUP3
00001504: AND
00001505: DUP5
00001506: SWAP1
00001507: DIV
00001508: DUP1
00001509: DUP4
0000150a: AND
0000150b: DUP6
0000150c: SWAP1
0000150d: DIV
0000150e: SWAP3
0000150f: DUP4
00001510: AND
00001511: SWAP5
00001512: SWAP1
00001513: SWAP5
00001514: DIV
00001515: PUSH1 0xff
00001517: SWAP1
00001518: DUP2
00001519: AND
0000151a: DUP7
0000151b: MSTORE
0000151c: SWAP2
0000151d: DUP3
0000151e: AND
0000151f: PUSH1 0x20
00001521: DUP7
00001522: ADD
00001523: MSTORE
00001524: SWAP3
00001525: DUP2
00001526: AND
00001527: PUSH1 0x40
00001529: DUP6
0000152a: ADD
0000152b: MSTORE
0000152c: SWAP2
0000152d: DUP3
0000152e: AND
0000152f: PUSH1 0x60
00001531: DUP5
00001532: ADD
00001533: MSTORE
00001534: AND
00001535: PUSH1 0x80
00001537: DUP3
00001538: ADD
00001539: MSTORE
0000153a: JUMPDEST
0000153b: SWAP2
0000153c: SWAP1
0000153d: POP
0000153e: JUMP
0000153f: JUMPDEST
00001540: ISZERO
00001541: ISZERO
00001542: PUSH2 0x15a2
00001545: JUMPI
00001546: PUSH2 0x0002
00001549: JUMP
0000154a: JUMPDEST
0000154b: PUSH1 0x00
0000154d: DUP1
0000154e: DUP1
0000154f: JUMPDEST
00001550: PUSH1 0x05
00001552: DUP3
00001553: PUSH1 0xff
00001555: AND
00001556: LT
00001557: ISZERO
00001558: PUSH2 0x1049
0000155b: JUMPI
0000155c: PUSH1 0x01
0000155e: DUP5
0000155f: DUP4
00001560: PUSH1 0xff
00001562: AND
00001563: PUSH1 0x05
00001565: DUP2
00001566: LT
00001567: ISZERO
00001568: PUSH2 0x0002
0000156b: JUMPI
0000156c: PUSH1 0x20
0000156e: MUL
0000156f: ADD
00001570: MLOAD
00001571: PUSH1 0xff
00001573: AND
00001574: LT
00001575: DUP1
00001576: PUSH2 0x1594
00001579: JUMPI
0000157a: POP
0000157b: PUSH1 0x1e
0000157d: DUP5
0000157e: PUSH1 0xff
00001580: DUP5
00001581: AND
00001582: PUSH1 0x05
00001584: DUP2
00001585: LT
00001586: ISZERO
00001587: PUSH2 0x0002
0000158a: JUMPI
0000158b: PUSH1 0x20
0000158d: MUL
0000158e: ADD
0000158f: MLOAD
00001590: PUSH1 0xff
00001592: AND
00001593: GT
00001594: JUMPDEST
00001595: ISZERO
00001596: PUSH2 0x228d
00001599: JUMPI
0000159a: PUSH1 0x00
0000159c: SWAP3
0000159d: POP
0000159e: PUSH2 0x104e
000015a1: JUMP
000015a2: JUMPDEST
000015a3: PUSH1 0x04
000015a5: SLOAD
000015a6: PUSH1 0x00
000015a8: SWAP1
000015a9: DUP2
000015aa: MSTORE
000015ab: PUSH1 0x03
000015ad: PUSH1 0x20
000015af: MSTORE
000015b0: PUSH1 0x40
000015b2: SWAP1
000015b3: KECCAK256
000015b4: PUSH1 0x0b
000015b6: ADD
000015b7: DUP1
000015b8: SLOAD
000015b9: PUSH1 0x01
000015bb: ADD
000015bc: SWAP1
000015bd: SSTORE
000015be: DUP4
000015bf: DUP4
000015c0: DUP3
000015c1: DUP2
000015c2: DUP2
000015c3: LT
000015c4: ISZERO
000015c5: PUSH2 0x0002
000015c8: JUMPI
000015c9: POP
000015ca: POP
000015cb: PUSH1 0x04
000015cd: DUP1
000015ce: SLOAD
000015cf: PUSH1 0x00
000015d1: SWAP1
000015d2: DUP2
000015d3: MSTORE
000015d4: PUSH1 0x40
000015d6: DUP1
000015d7: DUP3
000015d8: KECCAK256
000015d9: PUSH1 0x0b
000015db: DUP2
000015dc: ADD
000015dd: SLOAD
000015de: DUP4
000015df: MSTORE
000015e0: PUSH1 0x0a
000015e2: ADD
000015e3: PUSH1 0x20
000015e5: SWAP1
000015e6: DUP2
000015e7: MSTORE
000015e8: DUP2
000015e9: DUP4
000015ea: KECCAK256
000015eb: PUSH1 0x01
000015ed: SWAP1
000015ee: DUP2
000015ef: ADD
000015f0: DUP1
000015f1: SLOAD
000015f2: PUSH5 0xffffffffff
000015f8: NOT
000015f9: AND
000015fa: PUSH1 0xd8
000015fc: PUSH1 0x02
000015fe: EXP
000015ff: DUP10
00001600: DUP6
00001601: MUL
00001602: SWAP1
00001603: SWAP9
00001604: ADD
00001605: CALLDATALOAD
00001606: SWAP8
00001607: SWAP1
00001608: SWAP8
00001609: DIV
0000160a: SWAP7
0000160b: SWAP1
0000160c: SWAP7
0000160d: OR
0000160e: SWAP1
0000160f: SWAP6
00001610: SSTORE
00001611: CALLER
00001612: PUSH1 0x01
00001614: PUSH1 0xa0
00001616: PUSH1 0x02
00001618: EXP
00001619: SUB
0000161a: AND
0000161b: DUP4
0000161c: MSTORE
0000161d: PUSH1 0x05
0000161f: DUP2
00001620: MSTORE
00001621: DUP2
00001622: DUP4
00001623: KECCAK256
00001624: SWAP4
00001625: SLOAD
00001626: DUP4
00001627: MSTORE
00001628: SWAP3
00001629: SWAP1
0000162a: SWAP3
0000162b: MSTORE
0000162c: KECCAK256
0000162d: DUP2
0000162e: ADD
0000162f: DUP1
00001630: SLOAD
00001631: SWAP2
00001632: DUP3
00001633: ADD
00001634: DUP1
00001635: DUP3
00001636: SSTORE
00001637: SWAP2
00001638: DUP3
00001639: SWAP1
0000163a: DUP1
0000163b: ISZERO
0000163c: DUP3
0000163d: SWAP1
0000163e: GT
0000163f: PUSH2 0x165b
00001642: JUMPI
00001643: DUP2
00001644: DUP4
00001645: PUSH1 0x00
00001647: MSTORE
00001648: PUSH1 0x20
0000164a: PUSH1 0x00
0000164c: KECCAK256
0000164d: SWAP2
0000164e: DUP3
0000164f: ADD
00001650: SWAP2
00001651: ADD
00001652: PUSH2 0x165b
00001655: SWAP2
00001656: SWAP1
00001657: PUSH2 0x17a3
0000165a: JUMP
0000165b: JUMPDEST
0000165c: POP
0000165d: POP
0000165e: PUSH1 0x04
00001660: SLOAD
00001661: PUSH1 0x00
00001663: DUP2
00001664: DUP2
00001665: MSTORE
00001666: PUSH1 0x03
00001668: PUSH1 0x20
0000166a: SWAP1
0000166b: DUP2
0000166c: MSTORE
0000166d: PUSH1 0x40
0000166f: DUP1
00001670: DUP4
00001671: KECCAK256
00001672: PUSH1 0x0b
00001674: ADD
00001675: SLOAD
00001676: CALLER
00001677: PUSH1 0x01
00001679: PUSH1 0xa0
0000167b: PUSH1 0x02
0000167d: EXP
0000167e: SUB
0000167f: AND
00001680: DUP5
00001681: MSTORE
00001682: PUSH1 0x05
00001684: DUP4
00001685: MSTORE
00001686: DUP2
00001687: DUP5
00001688: KECCAK256
00001689: SWAP5
0000168a: DUP5
0000168b: MSTORE
0000168c: SWAP4
0000168d: SWAP1
0000168e: SWAP2
0000168f: MSTORE
00001690: SWAP1
00001691: KECCAK256
00001692: PUSH1 0x01
00001694: ADD
00001695: DUP1
00001696: SLOAD
00001697: SWAP2
00001698: SWAP4
00001699: POP
0000169a: SWAP2
0000169b: POP
0000169c: PUSH1 0x00
0000169e: NOT
0000169f: DUP2
000016a0: ADD
000016a1: SWAP1
000016a2: DUP2
000016a3: LT
000016a4: ISZERO
000016a5: PUSH2 0x0002
000016a8: JUMPI
000016a9: SWAP1
000016aa: PUSH1 0x00
000016ac: MSTORE
000016ad: PUSH1 0x20
000016af: PUSH1 0x00
000016b1: KECCAK256
000016b2: SWAP1
000016b3: ADD
000016b4: PUSH1 0x00
000016b6: POP
000016b7: SSTORE
000016b8: PUSH1 0x01
000016ba: ADD
000016bb: PUSH2 0x14a5
000016be: JUMP
000016bf: JUMPDEST
000016c0: PUSH1 0x04
000016c2: DUP1
000016c3: SLOAD
000016c4: PUSH1 0x00
000016c6: SWAP1
000016c7: DUP2
000016c8: MSTORE
000016c9: PUSH1 0x03
000016cb: PUSH1 0x20
000016cd: DUP2
000016ce: SWAP1
000016cf: MSTORE
000016d0: PUSH1 0x40
000016d2: DUP1
000016d3: DUP4
000016d4: KECCAK256
000016d5: NUMBER
000016d6: PUSH1 0x01
000016d8: SWAP2
000016d9: SWAP1
000016da: SWAP2
000016db: ADD
000016dc: SSTORE
000016dd: SWAP3
000016de: SLOAD
000016df: DUP3
000016e0: MSTORE
000016e1: SWAP1
000016e2: DUP3
000016e3: SWAP1
000016e4: KECCAK256
000016e5: ADD
000016e6: SLOAD
000016e7: SWAP1
000016e8: MLOAD
000016e9: DUP6
000016ea: SWAP1
000016eb: DUP6
000016ec: SWAP1
000016ed: DUP1
000016ee: DUP4
000016ef: DUP4
000016f0: DUP1
000016f1: DUP3
000016f2: DUP5
000016f3: CALLDATACOPY
000016f4: DUP3
000016f5: ADD
000016f6: SWAP2
000016f7: POP
000016f8: POP
000016f9: SWAP3
000016fa: POP
000016fb: POP
000016fc: POP
000016fd: PUSH1 0x40
000016ff: MLOAD
00001700: DUP1
00001701: SWAP2
00001702: SUB
00001703: SWAP1
00001704: KECCAK256
00001705: EQ
00001706: ISZERO
00001707: ISZERO
00001708: PUSH2 0x1d43
0000170b: JUMPI
0000170c: PUSH1 0x04
0000170e: DUP1
0000170f: SLOAD
00001710: PUSH1 0x00
00001712: SWAP1
00001713: DUP2
00001714: MSTORE
00001715: PUSH1 0x03
00001717: PUSH1 0x20
00001719: DUP2
0000171a: DUP2
0000171b: MSTORE
0000171c: PUSH1 0x40
0000171e: DUP1
0000171f: DUP5
00001720: KECCAK256
00001721: PUSH1 0x0b
00001723: DUP2
00001724: ADD
00001725: SLOAD
00001726: PUSH7 0x2386f26fc10000
0000172e: MUL
0000172f: PUSH1 0x07
00001731: SWAP2
00001732: SWAP1
00001733: SWAP2
00001734: ADD
00001735: SSTORE
00001736: DUP5
00001737: SLOAD
00001738: DUP5
00001739: MSTORE
0000173a: DUP1
0000173b: DUP5
0000173c: KECCAK256
0000173d: PUSH1 0x08
0000173f: ADD
00001740: DUP1
00001741: SLOAD
00001742: PUSH1 0xff
00001744: NOT
00001745: AND
00001746: SWAP1
00001747: SWAP4
00001748: OR
00001749: SWAP1
0000174a: SWAP3
0000174b: SSTORE
0000174c: DUP4
0000174d: SLOAD
0000174e: DUP4
0000174f: MSTORE
00001750: SWAP1
00001751: DUP3
00001752: KECCAK256
00001753: SWAP1
00001754: SWAP3
00001755: ADD
00001756: DUP1
00001757: SLOAD
00001758: DUP2
00001759: DUP4
0000175a: MSTORE
0000175b: SWAP2
0000175c: DUP4
0000175d: SWAP1
0000175e: KECCAK256
0000175f: SWAP1
00001760: SWAP3
00001761: PUSH1 0x02
00001763: PUSH1 0x01
00001765: DUP5
00001766: AND
00001767: ISZERO
00001768: PUSH2 0x0100
0000176b: MUL
0000176c: PUSH1 0x00
0000176e: NOT
0000176f: ADD
00001770: SWAP1
00001771: SWAP4
00001772: AND
00001773: SWAP3
00001774: SWAP1
00001775: SWAP3
00001776: DIV
00001777: PUSH1 0x1f
00001779: SWAP1
0000177a: DUP2
0000177b: ADD
0000177c: SWAP3
0000177d: SWAP1
0000177e: SWAP3
0000177f: DIV
00001780: DUP2
00001781: ADD
00001782: SWAP2
00001783: DUP7
00001784: SWAP2
00001785: SWAP1
00001786: DUP9
00001787: SWAP1
00001788: DUP4
00001789: SWAP1
0000178a: LT
0000178b: PUSH2 0x1dd0
0000178e: JUMPI
0000178f: DUP3
00001790: DUP1
00001791: ADD
00001792: DUP2
00001793: CALLDATALOAD
00001794: PUSH1 0xff
00001796: NOT
00001797: AND
00001798: OR
00001799: DUP6
0000179a: SSTORE
0000179b: JUMPDEST
0000179c: POP
0000179d: PUSH2 0x1e00
000017a0: SWAP3
000017a1: SWAP2
000017a2: POP
000017a3: JUMPDEST
000017a4: DUP1
000017a5: DUP3
000017a6: GT
000017a7: ISZERO
000017a8: PUSH2 0x17b7
000017ab: JUMPI
000017ac: PUSH1 0x00
000017ae: DUP2
000017af: SSTORE
000017b0: PUSH1 0x01
000017b2: ADD
000017b3: PUSH2 0x17a3
000017b6: JUMP
000017b7: JUMPDEST
000017b8: POP
000017b9: SWAP1
000017ba: JUMP
000017bb: JUMPDEST
000017bc: PUSH1 0x04
000017be: SLOAD
000017bf: PUSH1 0x00
000017c1: SWAP1
000017c2: DUP2
000017c3: MSTORE
000017c4: PUSH1 0x03
000017c6: PUSH1 0x20
000017c8: MSTORE
000017c9: PUSH1 0x40
000017cb: SWAP1
000017cc: KECCAK256
000017cd: PUSH1 0x08
000017cf: ADD
000017d0: SLOAD
000017d1: PUSH1 0xff
000017d3: AND
000017d4: PUSH1 0x01
000017d6: EQ
000017d7: PUSH2 0x17df
000017da: JUMPI
000017db: PUSH2 0x0002
000017de: JUMP
000017df: JUMPDEST
000017e0: PUSH1 0x04
000017e2: SLOAD
000017e3: PUSH1 0x00
000017e5: SWAP1
000017e6: DUP2
000017e7: MSTORE
000017e8: PUSH1 0x03
000017ea: PUSH1 0x20
000017ec: MSTORE
000017ed: PUSH1 0x40
000017ef: SWAP1
000017f0: KECCAK256
000017f1: PUSH1 0x0b
000017f3: DUP2
000017f4: ADD
000017f5: SLOAD
000017f6: PUSH1 0x0c
000017f8: SWAP1
000017f9: SWAP2
000017fa: ADD
000017fb: SLOAD
000017fc: PUSH1 0x50
000017fe: SWAP7
000017ff: POP
00001800: LT
00001801: ISZERO
00001802: PUSH2 0x183d
00001805: JUMPI
00001806: PUSH1 0x04
00001808: SLOAD
00001809: PUSH1 0x00
0000180b: SWAP1
0000180c: DUP2
0000180d: MSTORE
0000180e: PUSH1 0x40
00001810: SWAP1
00001811: KECCAK256
00001812: PUSH1 0x0c
00001814: ADD
00001815: SLOAD
00001816: SWAP4
00001817: POP
00001818: JUMPDEST
00001819: PUSH1 0x04
0000181b: SLOAD
0000181c: PUSH1 0x00
0000181e: SWAP1
0000181f: DUP2
00001820: MSTORE
00001821: PUSH1 0x03
00001823: PUSH1 0x20
00001825: MSTORE
00001826: PUSH1 0x40
00001828: SWAP1
00001829: KECCAK256
0000182a: PUSH1 0x0b
0000182c: ADD
0000182d: SLOAD
0000182e: DUP5
0000182f: GT
00001830: PUSH2 0x183d
00001833: JUMPI
00001834: DUP5
00001835: PUSH1 0x00
00001837: EQ
00001838: ISZERO
00001839: PUSH2 0x18d3
0000183c: JUMPI
0000183d: JUMPDEST
0000183e: PUSH1 0x04
00001840: SLOAD
00001841: PUSH1 0x00
00001843: SWAP1
00001844: DUP2
00001845: MSTORE
00001846: PUSH1 0x03
00001848: PUSH1 0x20
0000184a: MSTORE
0000184b: PUSH1 0x40
0000184d: SWAP1
0000184e: KECCAK256
0000184f: PUSH1 0x0b
00001851: DUP2
00001852: ADD
00001853: SLOAD
00001854: PUSH1 0x0c
00001856: SWAP2
00001857: SWAP1
00001858: SWAP2
00001859: ADD
0000185a: SLOAD
0000185b: LT
0000185c: PUSH2 0x1c9b
0000185f: JUMPI
00001860: PUSH1 0x00
00001862: SWAP4
00001863: POP
00001864: JUMPDEST
00001865: PUSH1 0x04
00001867: SLOAD
00001868: PUSH1 0x00
0000186a: SWAP1
0000186b: DUP2
0000186c: MSTORE
0000186d: PUSH1 0x03
0000186f: PUSH1 0x20
00001871: MSTORE
00001872: PUSH1 0x40
00001874: SWAP1
00001875: KECCAK256
00001876: PUSH1 0x0b
00001878: ADD
00001879: SLOAD
0000187a: DUP5
0000187b: LT
0000187c: ISZERO
0000187d: PUSH2 0x19d3
00001880: JUMPI
00001881: PUSH1 0x04
00001883: SLOAD
00001884: PUSH1 0x00
00001886: SWAP1
00001887: DUP2
00001888: MSTORE
00001889: PUSH1 0x40
0000188b: DUP1
0000188c: DUP3
0000188d: KECCAK256
0000188e: DUP7
0000188f: DUP4
00001890: MSTORE
00001891: PUSH1 0x0a
00001893: ADD
00001894: PUSH1 0x20
00001896: MSTORE
00001897: SWAP1
00001898: KECCAK256
00001899: SLOAD
0000189a: PUSH1 0x03
0000189c: EQ
0000189d: ISZERO
0000189e: PUSH2 0x1b5b
000018a1: JUMPI
000018a2: PUSH1 0x04
000018a4: SLOAD
000018a5: PUSH1 0x00
000018a7: SWAP1
000018a8: DUP2
000018a9: MSTORE
000018aa: PUSH1 0x03
000018ac: PUSH1 0x20
000018ae: DUP2
000018af: DUP2
000018b0: MSTORE
000018b1: PUSH1 0x40
000018b3: DUP1
000018b4: DUP5
000018b5: KECCAK256
000018b6: SWAP3
000018b7: DUP5
000018b8: MSTORE
000018b9: PUSH1 0x06
000018bb: SWAP3
000018bc: SWAP1
000018bd: SWAP3
000018be: ADD
000018bf: SWAP1
000018c0: MSTORE
000018c1: SWAP1
000018c2: KECCAK256
000018c3: PUSH1 0x01
000018c5: SWAP1
000018c6: DUP2
000018c7: ADD
000018c8: DUP1
000018c9: SLOAD
000018ca: SWAP1
000018cb: SWAP2
000018cc: ADD
000018cd: SWAP1
000018ce: SSTORE
000018cf: PUSH2 0x1c09
000018d2: JUMP
000018d3: JUMPDEST
000018d4: PUSH1 0x00
000018d6: SWAP3
000018d7: POP
000018d8: JUMPDEST
000018d9: PUSH1 0x05
000018db: DUP4
000018dc: LT
000018dd: ISZERO
000018de: PUSH2 0x1998
000018e1: JUMPI
000018e2: PUSH1 0x00
000018e4: SWAP2
000018e5: POP
000018e6: JUMPDEST
000018e7: PUSH1 0x05
000018e9: DUP3
000018ea: LT
000018eb: ISZERO
000018ec: PUSH2 0x19c7
000018ef: JUMPI
000018f0: PUSH1 0x04
000018f2: SLOAD
000018f3: PUSH1 0x00
000018f5: SWAP1
000018f6: DUP2
000018f7: MSTORE
000018f8: PUSH1 0x03
000018fa: PUSH1 0x20
000018fc: MSTORE
000018fd: PUSH1 0x40
000018ff: SWAP1
00001900: KECCAK256
00001901: PUSH1 0x05
00001903: SWAP1
00001904: DUP2
00001905: ADD
00001906: SWAP1
00001907: DUP4
00001908: SWAP1
00001909: DUP2
0000190a: LT
0000190b: ISZERO
0000190c: PUSH2 0x0002
0000190f: JUMPI
00001910: PUSH1 0x04
00001912: SLOAD
00001913: PUSH1 0x20
00001915: DUP1
00001916: DUP4
00001917: DIV
00001918: SWAP1
00001919: SWAP4
0000191a: ADD
0000191b: SLOAD
0000191c: PUSH1 0x00
0000191e: SWAP2
0000191f: DUP3
00001920: MSTORE
00001921: PUSH1 0x40
00001923: DUP1
00001924: DUP4
00001925: KECCAK256
00001926: DUP10
00001927: DUP5
00001928: MSTORE
00001929: PUSH1 0x0a
0000192b: ADD
0000192c: DUP6
0000192d: MSTORE
0000192e: SWAP1
0000192f: SWAP2
00001930: KECCAK256
00001931: PUSH1 0x01
00001933: ADD
00001934: SLOAD
00001935: PUSH2 0x0100
00001938: DUP8
00001939: DUP2
0000193a: EXP
0000193b: PUSH1 0xd8
0000193d: PUSH1 0x02
0000193f: EXP
00001940: SWAP3
00001941: DUP4
00001942: MUL
00001943: SWAP3
00001944: SWAP1
00001945: SWAP3
00001946: DIV
00001947: PUSH5 0xffffffffff
0000194d: AND
0000194e: SWAP2
0000194f: SWAP1
00001950: SWAP2
00001951: DIV
00001952: PUSH1 0xff
00001954: SWAP1
00001955: DUP2
00001956: AND
00001957: SWAP5
00001958: SWAP1
00001959: SWAP4
0000195a: MOD
0000195b: SWAP1
0000195c: EXP
0000195d: SWAP1
0000195e: DIV
0000195f: AND
00001960: EQ
00001961: ISZERO
00001962: PUSH2 0x198c
00001965: JUMPI
00001966: PUSH1 0x04
00001968: SLOAD
00001969: PUSH1 0x00
0000196b: SWAP1
0000196c: DUP2
0000196d: MSTORE
0000196e: PUSH1 0x03
00001970: PUSH1 0x20
00001972: SWAP1
00001973: DUP2
00001974: MSTORE
00001975: PUSH1 0x40
00001977: DUP1
00001978: DUP4
00001979: KECCAK256
0000197a: DUP8
0000197b: DUP5
0000197c: MSTORE
0000197d: PUSH1 0x0a
0000197f: ADD
00001980: SWAP1
00001981: SWAP2
00001982: MSTORE
00001983: SWAP1
00001984: KECCAK256
00001985: DUP1
00001986: SLOAD
00001987: PUSH1 0x01
00001989: ADD
0000198a: SWAP1
0000198b: SSTORE
0000198c: JUMPDEST
0000198d: PUSH1 0x01
0000198f: SWAP2
00001990: SWAP1
00001991: SWAP2
00001992: ADD
00001993: SWAP1
00001994: PUSH2 0x18e6
00001997: JUMP
00001998: JUMPDEST
00001999: PUSH1 0x04
0000199b: SLOAD
0000199c: PUSH1 0x00
0000199e: SWAP1
0000199f: DUP2
000019a0: MSTORE
000019a1: PUSH1 0x03
000019a3: PUSH1 0x20
000019a5: MSTORE
000019a6: PUSH1 0x40
000019a8: SWAP1
000019a9: KECCAK256
000019aa: PUSH1 0x0c
000019ac: ADD
000019ad: DUP1
000019ae: SLOAD
000019af: PUSH1 0x01
000019b1: ADD
000019b2: SWAP1
000019b3: SSTORE
000019b4: PUSH1 0x00
000019b6: NOT
000019b7: SWAP5
000019b8: SWAP1
000019b9: SWAP5
000019ba: ADD
000019bb: SWAP4
000019bc: PUSH1 0x01
000019be: SWAP4
000019bf: SWAP1
000019c0: SWAP4
000019c1: ADD
000019c2: SWAP3
000019c3: PUSH2 0x1818
000019c6: JUMP
000019c7: JUMPDEST
000019c8: PUSH1 0x01
000019ca: SWAP3
000019cb: SWAP1
000019cc: SWAP3
000019cd: ADD
000019ce: SWAP2
000019cf: PUSH2 0x18d8
000019d2: JUMP
000019d3: JUMPDEST
000019d4: PUSH1 0x04
000019d6: SLOAD
000019d7: PUSH1 0x00
000019d9: SWAP1
000019da: DUP2
000019db: MSTORE
000019dc: PUSH1 0x03
000019de: PUSH1 0x20
000019e0: DUP2
000019e1: DUP2
000019e2: MSTORE
000019e3: PUSH1 0x40
000019e5: DUP1
000019e6: DUP5
000019e7: KECCAK256
000019e8: SWAP3
000019e9: DUP5
000019ea: MSTORE
000019eb: PUSH1 0x06
000019ed: SWAP3
000019ee: SWAP1
000019ef: SWAP3
000019f0: ADD
000019f1: SWAP1
000019f2: MSTORE
000019f3: DUP2
000019f4: KECCAK256
000019f5: PUSH1 0x01
000019f7: ADD
000019f8: SLOAD
000019f9: GT
000019fa: ISZERO
000019fb: PUSH2 0x1a3b
000019fe: JUMPI
000019ff: PUSH1 0x04
00001a01: SLOAD
00001a02: PUSH1 0x00
00001a04: SWAP1
00001a05: DUP2
00001a06: MSTORE
00001a07: PUSH1 0x03
00001a09: PUSH1 0x20
00001a0b: DUP2
00001a0c: DUP2
00001a0d: MSTORE
00001a0e: PUSH1 0x40
00001a10: DUP1
00001a11: DUP5
00001a12: KECCAK256
00001a13: SWAP3
00001a14: DUP5
00001a15: MSTORE
00001a16: PUSH1 0x06
00001a18: DUP4
00001a19: ADD
00001a1a: SWAP1
00001a1b: SWAP2
00001a1c: MSTORE
00001a1d: SWAP1
00001a1e: SWAP2
00001a1f: KECCAK256
00001a20: PUSH1 0x01
00001a22: DUP2
00001a23: ADD
00001a24: SLOAD
00001a25: PUSH1 0x07
00001a27: SWAP3
00001a28: SWAP1
00001a29: SWAP3
00001a2a: ADD
00001a2b: SLOAD
00001a2c: PUSH1 0x64
00001a2e: PUSH1 0x23
00001a30: SWAP2
00001a31: SWAP1
00001a32: SWAP2
00001a33: MUL
00001a34: DIV
00001a35: SWAP2
00001a36: SWAP1
00001a37: SWAP2
00001a38: DIV
00001a39: SWAP1
00001a3a: SSTORE
00001a3b: JUMPDEST
00001a3c: PUSH1 0x04
00001a3e: DUP1
00001a3f: SLOAD
00001a40: PUSH1 0x00
00001a42: SWAP1
00001a43: DUP2
00001a44: MSTORE
00001a45: PUSH1 0x03
00001a47: PUSH1 0x20
00001a49: SWAP1
00001a4a: DUP2
00001a4b: MSTORE
00001a4c: PUSH1 0x40
00001a4e: DUP1
00001a4f: DUP4
00001a50: KECCAK256
00001a51: SWAP4
00001a52: DUP4
00001a53: MSTORE
00001a54: PUSH1 0x06
00001a56: SWAP4
00001a57: SWAP1
00001a58: SWAP4
00001a59: ADD
00001a5a: SWAP1
00001a5b: MSTORE
00001a5c: SWAP1
00001a5d: DUP2
00001a5e: KECCAK256
00001a5f: PUSH1 0x01
00001a61: ADD
00001a62: SLOAD
00001a63: GT
00001a64: ISZERO
00001a65: PUSH2 0x1aa5
00001a68: JUMPI
00001a69: PUSH1 0x04
00001a6b: DUP1
00001a6c: SLOAD
00001a6d: PUSH1 0x00
00001a6f: SWAP1
00001a70: DUP2
00001a71: MSTORE
00001a72: PUSH1 0x03
00001a74: PUSH1 0x20
00001a76: SWAP1
00001a77: DUP2
00001a78: MSTORE
00001a79: PUSH1 0x40
00001a7b: DUP1
00001a7c: DUP4
00001a7d: KECCAK256
00001a7e: SWAP4
00001a7f: DUP4
00001a80: MSTORE
00001a81: PUSH1 0x06
00001a83: DUP5
00001a84: ADD
00001a85: SWAP1
00001a86: SWAP2
00001a87: MSTORE
00001a88: SWAP1
00001a89: KECCAK256
00001a8a: PUSH1 0x01
00001a8c: DUP2
00001a8d: ADD
00001a8e: SLOAD
00001a8f: PUSH1 0x07
00001a91: SWAP3
00001a92: SWAP1
00001a93: SWAP3
00001a94: ADD
00001a95: SLOAD
00001a96: PUSH1 0x64
00001a98: PUSH1 0x19
00001a9a: SWAP2
00001a9b: SWAP1
00001a9c: SWAP2
00001a9d: MUL
00001a9e: DIV
00001a9f: SWAP2
00001aa0: SWAP1
00001aa1: SWAP2
00001aa2: DIV
00001aa3: SWAP1
00001aa4: SSTORE
00001aa5: JUMPDEST
00001aa6: PUSH1 0x04
00001aa8: SLOAD
00001aa9: PUSH1 0x00
00001aab: SWAP1
00001aac: DUP2
00001aad: MSTORE
00001aae: PUSH1 0x03
00001ab0: PUSH1 0x20
00001ab2: SWAP1
00001ab3: DUP2
00001ab4: MSTORE
00001ab5: PUSH1 0x40
00001ab7: DUP1
00001ab8: DUP4
00001ab9: KECCAK256
00001aba: PUSH1 0x05
00001abc: DUP5
00001abd: MSTORE
00001abe: PUSH1 0x06
00001ac0: ADD
00001ac1: SWAP1
00001ac2: SWAP2
00001ac3: MSTORE
00001ac4: DUP2
00001ac5: KECCAK256
00001ac6: PUSH1 0x01
00001ac8: ADD
00001ac9: SLOAD
00001aca: GT
00001acb: ISZERO
00001acc: PUSH2 0x1b04
00001acf: JUMPI
00001ad0: PUSH1 0x04
00001ad2: SLOAD
00001ad3: PUSH1 0x00
00001ad5: SWAP1
00001ad6: DUP2
00001ad7: MSTORE
00001ad8: PUSH1 0x03
00001ada: PUSH1 0x20
00001adc: SWAP1
00001add: DUP2
00001ade: MSTORE
00001adf: PUSH1 0x40
00001ae1: DUP1
00001ae2: DUP4
00001ae3: KECCAK256
00001ae4: PUSH1 0x05
00001ae6: DUP5
00001ae7: MSTORE
00001ae8: PUSH1 0x06
00001aea: DUP2
00001aeb: ADD
00001aec: SWAP1
00001aed: SWAP3
00001aee: MSTORE
00001aef: SWAP1
00001af0: SWAP2
00001af1: KECCAK256
00001af2: PUSH1 0x01
00001af4: DUP2
00001af5: ADD
00001af6: SLOAD
00001af7: PUSH1 0x02
00001af9: SWAP3
00001afa: SWAP1
00001afb: SWAP3
00001afc: ADD
00001afd: SLOAD
00001afe: SWAP2
00001aff: SWAP1
00001b00: SWAP2
00001b01: DIV
00001b02: SWAP1
00001b03: SSTORE
00001b04: JUMPDEST
00001b05: PUSH1 0x04
00001b07: SLOAD
00001b08: PUSH1 0x00
00001b0a: SWAP1
00001b0b: DUP2
00001b0c: MSTORE
00001b0d: PUSH1 0x03
00001b0f: PUSH1 0x20
00001b11: SWAP1
00001b12: DUP2
00001b13: MSTORE
00001b14: PUSH1 0x40
00001b16: DUP1
00001b17: DUP4
00001b18: KECCAK256
00001b19: PUSH1 0x05
00001b1b: DUP5
00001b1c: MSTORE
00001b1d: PUSH1 0x06
00001b1f: ADD
00001b20: SWAP1
00001b21: SWAP2
00001b22: MSTORE
00001b23: DUP2
00001b24: KECCAK256
00001b25: PUSH1 0x01
00001b27: ADD
00001b28: SLOAD
00001b29: EQ
00001b2a: ISZERO
00001b2b: PUSH2 0x1c15
00001b2e: JUMPI
00001b2f: POP
00001b30: PUSH1 0x04
00001b32: SLOAD
00001b33: PUSH1 0x00
00001b35: SWAP1
00001b36: DUP2
00001b37: MSTORE
00001b38: PUSH1 0x03
00001b3a: PUSH1 0x20
00001b3c: MSTORE
00001b3d: PUSH1 0x40
00001b3f: SWAP1
00001b40: KECCAK256
00001b41: PUSH1 0x02
00001b43: DUP2
00001b44: ADD
00001b45: SLOAD
00001b46: PUSH1 0x07
00001b48: SWAP2
00001b49: SWAP1
00001b4a: SWAP2
00001b4b: ADD
00001b4c: SLOAD
00001b4d: PUSH1 0x64
00001b4f: PUSH1 0x28
00001b51: SWAP2
00001b52: SWAP1
00001b53: SWAP2
00001b54: MUL
00001b55: DIV
00001b56: ADD
00001b57: PUSH2 0x1c21
00001b5a: JUMP
00001b5b: JUMPDEST
00001b5c: PUSH1 0x04
00001b5e: DUP1
00001b5f: SLOAD
00001b60: PUSH1 0x00
00001b62: SWAP1
00001b63: DUP2
00001b64: MSTORE
00001b65: PUSH1 0x03
00001b67: PUSH1 0x20
00001b69: SWAP1
00001b6a: DUP2
00001b6b: MSTORE
00001b6c: PUSH1 0x40
00001b6e: DUP1
00001b6f: DUP4
00001b70: KECCAK256
00001b71: DUP9
00001b72: DUP5
00001b73: MSTORE
00001b74: PUSH1 0x0a
00001b76: ADD
00001b77: SWAP1
00001b78: SWAP2
00001b79: MSTORE
00001b7a: SWAP1
00001b7b: KECCAK256
00001b7c: SLOAD
00001b7d: EQ
00001b7e: ISZERO
00001b7f: PUSH2 0x1bb4
00001b82: JUMPI
00001b83: PUSH1 0x04
00001b85: DUP1
00001b86: SLOAD
00001b87: PUSH1 0x00
00001b89: SWAP1
00001b8a: DUP2
00001b8b: MSTORE
00001b8c: PUSH1 0x03
00001b8e: PUSH1 0x20
00001b90: SWAP1
00001b91: DUP2
00001b92: MSTORE
00001b93: PUSH1 0x40
00001b95: DUP1
00001b96: DUP4
00001b97: KECCAK256
00001b98: SWAP4
00001b99: DUP4
00001b9a: MSTORE
00001b9b: PUSH1 0x06
00001b9d: SWAP4
00001b9e: SWAP1
00001b9f: SWAP4
00001ba0: ADD
00001ba1: SWAP1
00001ba2: MSTORE
00001ba3: KECCAK256
00001ba4: PUSH1 0x01
00001ba6: SWAP1
00001ba7: DUP2
00001ba8: ADD
00001ba9: DUP1
00001baa: SLOAD
00001bab: SWAP1
00001bac: SWAP2
00001bad: ADD
00001bae: SWAP1
00001baf: SSTORE
00001bb0: PUSH2 0x1c09
00001bb3: JUMP
00001bb4: JUMPDEST
00001bb5: PUSH1 0x04
00001bb7: SLOAD
00001bb8: PUSH1 0x00
00001bba: SWAP1
00001bbb: DUP2
00001bbc: MSTORE
00001bbd: PUSH1 0x03
00001bbf: PUSH1 0x20
00001bc1: SWAP1
00001bc2: DUP2
00001bc3: MSTORE
00001bc4: PUSH1 0x40
00001bc6: DUP1
00001bc7: DUP4
00001bc8: KECCAK256
00001bc9: DUP8
00001bca: DUP5
00001bcb: MSTORE
00001bcc: PUSH1 0x0a
00001bce: ADD
00001bcf: SWAP1
00001bd0: SWAP2
00001bd1: MSTORE
00001bd2: SWAP1
00001bd3: KECCAK256
00001bd4: SLOAD
00001bd5: PUSH1 0x05
00001bd7: EQ
00001bd8: ISZERO
00001bd9: PUSH2 0x1c09
00001bdc: JUMPI
00001bdd: PUSH1 0x04
00001bdf: SLOAD
00001be0: PUSH1 0x00
00001be2: SWAP1
00001be3: DUP2
00001be4: MSTORE
00001be5: PUSH1 0x03
00001be7: PUSH1 0x20
00001be9: SWAP1
00001bea: DUP2
00001beb: MSTORE
00001bec: PUSH1 0x40
00001bee: DUP1
00001bef: DUP4
00001bf0: KECCAK256
00001bf1: PUSH1 0x05
00001bf3: DUP5
00001bf4: MSTORE
00001bf5: PUSH1 0x06
00001bf7: ADD
00001bf8: SWAP1
00001bf9: SWAP2
00001bfa: MSTORE
00001bfb: SWAP1
00001bfc: KECCAK256
00001bfd: PUSH1 0x01
00001bff: SWAP1
00001c00: DUP2
00001c01: ADD
00001c02: DUP1
00001c03: SLOAD
00001c04: SWAP1
00001c05: SWAP2
00001c06: ADD
00001c07: SWAP1
00001c08: SSTORE
00001c09: JUMPDEST
00001c0a: PUSH1 0x01
00001c0c: SWAP4
00001c0d: SWAP1
00001c0e: SWAP4
00001c0f: ADD
00001c10: SWAP3
00001c11: PUSH2 0x1864
00001c14: JUMP
00001c15: JUMPDEST
00001c16: POP
00001c17: PUSH9 0x056bc75e2d63100000
00001c21: JUMPDEST
00001c22: PUSH1 0x04
00001c24: DUP1
00001c25: SLOAD
00001c26: PUSH1 0x00
00001c28: SWAP1
00001c29: DUP2
00001c2a: MSTORE
00001c2b: PUSH1 0x03
00001c2d: PUSH1 0x20
00001c2f: MSTORE
00001c30: PUSH1 0x40
00001c32: DUP1
00001c33: DUP3
00001c34: KECCAK256
00001c35: PUSH1 0x08
00001c37: ADD
00001c38: DUP1
00001c39: SLOAD
00001c3a: PUSH1 0xff
00001c3c: NOT
00001c3d: AND
00001c3e: PUSH1 0x02
00001c40: OR
00001c41: SWAP1
00001c42: SSTORE
00001c43: SWAP2
00001c44: SLOAD
00001c45: DUP2
00001c46: MSTORE
00001c47: KECCAK256
00001c48: PUSH1 0x0d
00001c4a: ADD
00001c4b: SLOAD
00001c4c: PUSH2 0x1c9b
00001c4f: SWAP1
00001c50: DUP3
00001c51: SWAP1
00001c52: JUMPDEST
00001c53: PUSH1 0x04
00001c55: DUP1
00001c56: SLOAD
00001c57: PUSH1 0x01
00001c59: ADD
00001c5a: DUP1
00001c5b: DUP3
00001c5c: SSTORE
00001c5d: PUSH1 0x00
00001c5f: SWAP1
00001c60: DUP2
00001c61: MSTORE
00001c62: PUSH1 0x03
00001c64: PUSH1 0x20
00001c66: DUP2
00001c67: SWAP1
00001c68: MSTORE
00001c69: PUSH1 0x40
00001c6b: DUP1
00001c6c: DUP4
00001c6d: KECCAK256
00001c6e: NUMBER
00001c6f: SWAP1
00001c70: SSTORE
00001c71: DUP4
00001c72: SLOAD
00001c73: DUP4
00001c74: MSTORE
00001c75: DUP1
00001c76: DUP4
00001c77: KECCAK256
00001c78: PUSH1 0x02
00001c7a: ADD
00001c7b: SWAP6
00001c7c: SWAP1
00001c7d: SWAP6
00001c7e: SSTORE
00001c7f: DUP3
00001c80: SLOAD
00001c81: DUP3
00001c82: MSTORE
00001c83: DUP5
00001c84: DUP3
00001c85: KECCAK256
00001c86: ADD
00001c87: SWAP3
00001c88: SWAP1
00001c89: SWAP3
00001c8a: SSTORE
00001c8b: SLOAD
00001c8c: DUP2
00001c8d: MSTORE
00001c8e: KECCAK256
00001c8f: PUSH1 0x08
00001c91: ADD
00001c92: DUP1
00001c93: SLOAD
00001c94: PUSH1 0xff
00001c96: NOT
00001c97: AND
00001c98: SWAP1
00001c99: SSTORE
00001c9a: JUMP
00001c9b: JUMPDEST
00001c9c: POP
00001c9d: POP
00001c9e: POP
00001c9f: POP
00001ca0: POP
00001ca1: JUMP
00001ca2: JUMPDEST
00001ca3: PUSH1 0x04
00001ca5: SLOAD
00001ca6: PUSH1 0x00
00001ca8: SWAP1
00001ca9: DUP2
00001caa: MSTORE
00001cab: PUSH1 0x03
00001cad: PUSH1 0x20
00001caf: MSTORE
00001cb0: PUSH1 0x40
00001cb2: SWAP1
00001cb3: KECCAK256
00001cb4: PUSH1 0x08
00001cb6: ADD
00001cb7: SLOAD
00001cb8: PUSH1 0xff
00001cba: AND
00001cbb: PUSH1 0x01
00001cbd: EQ
00001cbe: PUSH2 0x1cc6
00001cc1: JUMPI
00001cc2: PUSH2 0x0002
00001cc5: JUMP
00001cc6: JUMPDEST
00001cc7: PUSH1 0x04
00001cc9: DUP1
00001cca: SLOAD
00001ccb: PUSH1 0x00
00001ccd: SWAP1
00001cce: DUP2
00001ccf: MSTORE
00001cd0: PUSH1 0x03
00001cd2: PUSH1 0x20
00001cd4: DUP2
00001cd5: SWAP1
00001cd6: MSTORE
00001cd7: PUSH1 0x40
00001cd9: DUP1
00001cda: DUP4
00001cdb: KECCAK256
00001cdc: PUSH1 0x0b
00001cde: DUP2
00001cdf: ADD
00001ce0: SLOAD
00001ce1: PUSH7 0x2386f26fc10000
00001ce9: MUL
00001cea: PUSH1 0x07
00001cec: SWAP2
00001ced: SWAP1
00001cee: SWAP2
00001cef: ADD
00001cf0: SSTORE
00001cf1: DUP4
00001cf2: SLOAD
00001cf3: DUP4
00001cf4: MSTORE
00001cf5: DUP1
00001cf6: DUP4
00001cf7: KECCAK256
00001cf8: PUSH1 0x08
00001cfa: ADD
00001cfb: DUP1
00001cfc: SLOAD
00001cfd: PUSH1 0xff
00001cff: NOT
00001d00: AND
00001d01: SWAP1
00001d02: SWAP3
00001d03: OR
00001d04: SWAP1
00001d05: SWAP2
00001d06: SSTORE
00001d07: SWAP2
00001d08: SLOAD
00001d09: DUP2
00001d0a: MSTORE
00001d0b: KECCAK256
00001d0c: PUSH1 0x02
00001d0e: DUP2
00001d0f: ADD
00001d10: SLOAD
00001d11: PUSH1 0x0d
00001d13: SWAP2
00001d14: SWAP1
00001d15: SWAP2
00001d16: ADD
00001d17: SLOAD
00001d18: PUSH2 0x2252
00001d1b: SWAP2
00001d1c: SWAP1
00001d1d: PUSH2 0x1c52
00001d20: JUMP
00001d21: JUMPDEST
00001d22: PUSH1 0x04
00001d24: SLOAD
00001d25: PUSH1 0x00
00001d27: SWAP1
00001d28: DUP2
00001d29: MSTORE
00001d2a: PUSH1 0x03
00001d2c: PUSH1 0x20
00001d2e: MSTORE
00001d2f: PUSH1 0x40
00001d31: DUP2
00001d32: KECCAK256
00001d33: PUSH1 0x08
00001d35: ADD
00001d36: SLOAD
00001d37: PUSH1 0xff
00001d39: AND
00001d3a: EQ
00001d3b: PUSH2 0x16bf
00001d3e: JUMPI
00001d3f: PUSH2 0x0002
00001d42: JUMP
00001d43: JUMPDEST
00001d44: PUSH1 0x04
00001d46: DUP1
00001d47: SLOAD
00001d48: PUSH1 0x00
00001d4a: SWAP1
00001d4b: DUP2
00001d4c: MSTORE
00001d4d: PUSH1 0x03
00001d4f: PUSH1 0x20
00001d51: SWAP1
00001d52: DUP2
00001d53: MSTORE
00001d54: PUSH1 0x40
00001d56: DUP1
00001d57: DUP4
00001d58: KECCAK256
00001d59: PUSH1 0x08
00001d5b: ADD
00001d5c: DUP1
00001d5d: SLOAD
00001d5e: PUSH1 0xff
00001d60: NOT
00001d61: AND
00001d62: PUSH1 0x01
00001d64: SWAP1
00001d65: DUP2
00001d66: OR
00001d67: SWAP1
00001d68: SWAP2
00001d69: SSTORE
00001d6a: DUP5
00001d6b: SLOAD
00001d6c: DUP5
00001d6d: MSTORE
00001d6e: DUP2
00001d6f: DUP5
00001d70: KECCAK256
00001d71: PUSH1 0x0d
00001d73: ADD
00001d74: DUP8
00001d75: SWAP1
00001d76: SSTORE
00001d77: DUP5
00001d78: SLOAD
00001d79: DUP5
00001d7a: MSTORE
00001d7b: SWAP1
00001d7c: DUP4
00001d7d: KECCAK256
00001d7e: SWAP1
00001d7f: SWAP4
00001d80: ADD
00001d81: DUP1
00001d82: SLOAD
00001d83: DUP2
00001d84: DUP5
00001d85: MSTORE
00001d86: SWAP3
00001d87: DUP3
00001d88: SWAP1
00001d89: KECCAK256
00001d8a: SWAP1
00001d8b: SWAP4
00001d8c: PUSH1 0x02
00001d8e: SWAP1
00001d8f: DUP5
00001d90: AND
00001d91: ISZERO
00001d92: PUSH2 0x0100
00001d95: MUL
00001d96: PUSH1 0x00
00001d98: NOT
00001d99: ADD
00001d9a: SWAP1
00001d9b: SWAP4
00001d9c: AND
00001d9d: SWAP3
00001d9e: SWAP1
00001d9f: SWAP3
00001da0: DIV
00001da1: PUSH1 0x1f
00001da3: SWAP1
00001da4: DUP2
00001da5: ADD
00001da6: SWAP2
00001da7: SWAP1
00001da8: SWAP2
00001da9: DIV
00001daa: DUP3
00001dab: ADD
00001dac: SWAP2
00001dad: DUP7
00001dae: SWAP2
00001daf: DUP9
00001db0: SWAP1
00001db1: DUP4
00001db2: SWAP1
00001db3: LT
00001db4: PUSH2 0x1e26
00001db7: JUMPI
00001db8: DUP1
00001db9: CALLDATALOAD
00001dba: PUSH1 0xff
00001dbc: NOT
00001dbd: AND
00001dbe: DUP4
00001dbf: DUP1
00001dc0: ADD
00001dc1: OR
00001dc2: DUP6
00001dc3: SSTORE
00001dc4: JUMPDEST
00001dc5: POP
00001dc6: PUSH2 0x1e56
00001dc9: SWAP3
00001dca: SWAP2
00001dcb: POP
00001dcc: PUSH2 0x17a3
00001dcf: JUMP
00001dd0: JUMPDEST
00001dd1: DUP3
00001dd2: DUP1
00001dd3: ADD
00001dd4: PUSH1 0x01
00001dd6: ADD
00001dd7: DUP6
00001dd8: SSTORE
00001dd9: DUP3
00001dda: ISZERO
00001ddb: PUSH2 0x179b
00001dde: JUMPI
00001ddf: SWAP2
00001de0: DUP3
00001de1: ADD
00001de2: JUMPDEST
00001de3: DUP3
00001de4: DUP2
00001de5: GT
00001de6: ISZERO
00001de7: PUSH2 0x179b
00001dea: JUMPI
00001deb: DUP3
00001dec: CALLDATALOAD
00001ded: DUP3
00001dee: PUSH1 0x00
00001df0: POP
00001df1: SSTORE
00001df2: SWAP2
00001df3: PUSH1 0x20
00001df5: ADD
00001df6: SWAP2
00001df7: SWAP1
00001df8: PUSH1 0x01
00001dfa: ADD
00001dfb: SWAP1
00001dfc: PUSH2 0x1de2
00001dff: JUMP
00001e00: JUMPDEST
00001e01: POP
00001e02: POP
00001e03: PUSH1 0x04
00001e05: SLOAD
00001e06: PUSH1 0x00
00001e08: SWAP1
00001e09: DUP2
00001e0a: MSTORE
00001e0b: PUSH1 0x03
00001e0d: PUSH1 0x20
00001e0f: MSTORE
00001e10: PUSH1 0x40
00001e12: SWAP1
00001e13: KECCAK256
00001e14: PUSH1 0x02
00001e16: ADD
00001e17: SLOAD
00001e18: PUSH2 0x1e21
00001e1b: SWAP1
00001e1c: DUP4
00001e1d: PUSH2 0x1c52
00001e20: JUMP
00001e21: JUMPDEST
00001e22: PUSH2 0x2146
00001e25: JUMP
00001e26: JUMPDEST
00001e27: DUP3
00001e28: DUP1
00001e29: ADD
00001e2a: PUSH1 0x01
00001e2c: ADD
00001e2d: DUP6
00001e2e: SSTORE
00001e2f: DUP3
00001e30: ISZERO
00001e31: PUSH2 0x1dc4
00001e34: JUMPI
00001e35: SWAP2
00001e36: DUP3
00001e37: ADD
00001e38: JUMPDEST
00001e39: DUP3
00001e3a: DUP2
00001e3b: GT
00001e3c: ISZERO
00001e3d: PUSH2 0x1dc4
00001e40: JUMPI
00001e41: DUP3
00001e42: CALLDATALOAD
00001e43: DUP3
00001e44: PUSH1 0x00
00001e46: POP
00001e47: SSTORE
00001e48: SWAP2
00001e49: PUSH1 0x20
00001e4b: ADD
00001e4c: SWAP2
00001e4d: SWAP1
00001e4e: PUSH1 0x01
00001e50: ADD
00001e51: SWAP1
00001e52: PUSH2 0x1e38
00001e55: JUMP
00001e56: JUMPDEST
00001e57: POP
00001e58: POP
00001e59: PUSH1 0x04
00001e5b: DUP1
00001e5c: SLOAD
00001e5d: PUSH1 0x00
00001e5f: SWAP1
00001e60: DUP2
00001e61: MSTORE
00001e62: PUSH1 0x03
00001e64: PUSH1 0x20
00001e66: DUP2
00001e67: SWAP1
00001e68: MSTORE
00001e69: PUSH1 0x40
00001e6b: SWAP2
00001e6c: DUP3
00001e6d: SWAP1
00001e6e: KECCAK256
00001e6f: SWAP2
00001e70: MLOAD
00001e71: PUSH1 0x0b
00001e73: DUP4
00001e74: ADD
00001e75: SLOAD
00001e76: SWAP2
00001e77: DUP4
00001e78: ADD
00001e79: SLOAD
00001e7a: SWAP3
00001e7b: SWAP1
00001e7c: SWAP4
00001e7d: ADD
00001e7e: DUP1
00001e7f: SLOAD
00001e80: SWAP1
00001e81: SWAP4
00001e82: TIMESTAMP
00001e83: SWAP2
00001e84: DUP2
00001e85: SWAP1
00001e86: DUP7
00001e87: SWAP1
00001e88: PUSH1 0x02
00001e8a: PUSH1 0x01
00001e8c: DUP3
00001e8d: AND
00001e8e: ISZERO
00001e8f: PUSH2 0x0100
00001e92: MUL
00001e93: PUSH1 0x00
00001e95: NOT
00001e96: ADD
00001e97: SWAP1
00001e98: SWAP2
00001e99: AND
00001e9a: DIV
00001e9b: DUP1
00001e9c: ISZERO
00001e9d: PUSH2 0x1edd
00001ea0: JUMPI
00001ea1: DUP1
00001ea2: PUSH1 0x1f
00001ea4: LT
00001ea5: PUSH2 0x1ebb
00001ea8: JUMPI
00001ea9: PUSH2 0x0100
00001eac: DUP1
00001ead: DUP4
00001eae: SLOAD
00001eaf: DIV
00001eb0: MUL
00001eb1: DUP4
00001eb2: MSTORE
00001eb3: SWAP2
00001eb4: DUP3
00001eb5: ADD
00001eb6: SWAP2
00001eb7: PUSH2 0x1edd
00001eba: JUMP
00001ebb: JUMPDEST
00001ebc: DUP3
00001ebd: ADD
00001ebe: SWAP2
00001ebf: SWAP1
00001ec0: PUSH1 0x00
00001ec2: MSTORE
00001ec3: PUSH1 0x20
00001ec5: PUSH1 0x00
00001ec7: KECCAK256
00001ec8: SWAP1
00001ec9: JUMPDEST
00001eca: DUP2
00001ecb: SLOAD
00001ecc: DUP2
00001ecd: MSTORE
00001ece: SWAP1
00001ecf: PUSH1 0x01
00001ed1: ADD
00001ed2: SWAP1
00001ed3: PUSH1 0x20
00001ed5: ADD
00001ed6: DUP1
00001ed7: DUP4
00001ed8: GT
00001ed9: PUSH2 0x1ec9
00001edc: JUMPI
00001edd: JUMPDEST
00001ede: POP
00001edf: POP
00001ee0: SWAP4
00001ee1: DUP5
00001ee2: MSTORE
00001ee3: POP
00001ee4: PUSH1 0x20
00001ee6: DUP4
00001ee7: DUP2
00001ee8: ADD
00001ee9: SWAP3
00001eea: SWAP1
00001eeb: SWAP3
00001eec: MSTORE
00001eed: PUSH1 0x40
00001eef: DUP4
00001ef0: DUP2
00001ef1: ADD
00001ef2: SWAP2
00001ef3: SWAP1
00001ef4: SWAP2
00001ef5: MSTORE
00001ef6: PUSH1 0x04
00001ef8: DUP1
00001ef9: SLOAD
00001efa: DUP3
00001efb: MLOAD
00001efc: SWAP5
00001efd: DUP6
00001efe: SWAP1
00001eff: SUB
00001f00: PUSH1 0x60
00001f02: ADD
00001f03: DUP6
00001f04: KECCAK256
00001f05: PUSH1 0x00
00001f07: SWAP2
00001f08: DUP3
00001f09: MSTORE
00001f0a: PUSH1 0x03
00001f0c: SWAP1
00001f0d: SWAP5
00001f0e: MSTORE
00001f0f: DUP3
00001f10: DUP2
00001f11: KECCAK256
00001f12: PUSH1 0x09
00001f14: SWAP1
00001f15: DUP2
00001f16: ADD
00001f17: SWAP5
00001f18: SWAP1
00001f19: SWAP5
00001f1a: SSTORE
00001f1b: SWAP1
00001f1c: SLOAD
00001f1d: DUP2
00001f1e: MSTORE
00001f1f: DUP2
00001f20: SWAP1
00001f21: KECCAK256
00001f22: SWAP1
00001f23: SWAP2
00001f24: ADD
00001f25: SLOAD
00001f26: PUSH1 0xa0
00001f28: DUP4
00001f29: ADD
00001f2a: SWAP1
00001f2b: SWAP2
00001f2c: MSTORE
00001f2d: PUSH2 0x2015
00001f30: SWAP3
00001f31: POP
00001f32: PUSH2 0x091f
00001f35: SWAP2
00001f36: PUSH1 0x05
00001f38: DUP2
00001f39: JUMPDEST
00001f3a: PUSH1 0x00
00001f3c: DUP2
00001f3d: MSTORE
00001f3e: PUSH1 0x20
00001f40: ADD
00001f41: SWAP1
00001f42: PUSH1 0x01
00001f44: SWAP1
00001f45: SUB
00001f46: SWAP1
00001f47: DUP2
00001f48: PUSH2 0x1f39
00001f4b: JUMPI
00001f4c: POP
00001f4d: PUSH1 0x01
00001f4f: SWAP1
00001f50: POP
00001f51: PUSH1 0x00
00001f53: DUP1
00001f54: DUP1
00001f55: DUP1
00001f56: JUMPDEST
00001f57: PUSH1 0x05
00001f59: DUP3
00001f5a: PUSH1 0xff
00001f5c: AND
00001f5d: LT
00001f5e: ISZERO
00001f5f: PUSH2 0x2300
00001f62: JUMPI
00001f63: JUMPDEST
00001f64: PUSH1 0x01
00001f66: SWAP5
00001f67: POP
00001f68: PUSH1 0x20
00001f6a: DUP4
00001f6b: EQ
00001f6c: ISZERO
00001f6d: PUSH2 0x1f88
00001f70: JUMPI
00001f71: PUSH1 0x40
00001f73: DUP1
00001f74: MLOAD
00001f75: SWAP8
00001f76: DUP9
00001f77: MSTORE
00001f78: MLOAD
00001f79: SWAP7
00001f7a: DUP8
00001f7b: SWAP1
00001f7c: SUB
00001f7d: PUSH1 0x20
00001f7f: ADD
00001f80: SWAP1
00001f81: SWAP7
00001f82: KECCAK256
00001f83: SWAP6
00001f84: PUSH1 0x00
00001f86: SWAP3
00001f87: POP
00001f88: JUMPDEST
00001f89: POP
00001f8a: PUSH1 0x1e
00001f8c: PUSH1 0xf8
00001f8e: PUSH1 0x02
00001f90: EXP
00001f91: PUSH1 0x08
00001f93: DUP5
00001f94: MUL
00001f95: PUSH1 0x02
00001f97: EXP
00001f98: DUP9
00001f99: MUL
00001f9a: DUP2
00001f9b: SWAP1
00001f9c: DIV
00001f9d: DUP2
00001f9e: MUL
00001f9f: DIV
00001fa0: PUSH1 0xff
00001fa2: AND
00001fa3: MOD
00001fa4: PUSH1 0x01
00001fa6: SWAP1
00001fa7: DUP2
00001fa8: ADD
00001fa9: SWAP4
00001faa: POP
00001fab: SWAP2
00001fac: SWAP1
00001fad: SWAP2
00001fae: ADD
00001faf: SWAP1
00001fb0: PUSH1 0x00
00001fb2: JUMPDEST
00001fb3: PUSH1 0x05
00001fb5: DUP2
00001fb6: PUSH1 0xff
00001fb8: AND
00001fb9: LT
00001fba: ISZERO
00001fbb: PUSH2 0x1fe3
00001fbe: JUMPI
00001fbf: DUP4
00001fc0: PUSH1 0xff
00001fc2: AND
00001fc3: DUP7
00001fc4: DUP3
00001fc5: PUSH1 0xff
00001fc7: AND
00001fc8: PUSH1 0x05
00001fca: DUP2
00001fcb: LT
00001fcc: ISZERO
00001fcd: PUSH2 0x0002
00001fd0: JUMPI
00001fd1: PUSH1 0x20
00001fd3: MUL
00001fd4: ADD
00001fd5: MLOAD
00001fd6: PUSH1 0xff
00001fd8: AND
00001fd9: EQ
00001fda: ISZERO
00001fdb: PUSH2 0x230a
00001fde: JUMPI
00001fdf: PUSH1 0x00
00001fe1: SWAP5
00001fe2: POP
00001fe3: JUMPDEST
00001fe4: DUP5
00001fe5: PUSH1 0x01
00001fe7: EQ
00001fe8: ISZERO
00001fe9: PUSH2 0x2312
00001fec: JUMPI
00001fed: DUP4
00001fee: DUP7
00001fef: DUP4
00001ff0: PUSH1 0xff
00001ff2: AND
00001ff3: PUSH1 0x05
00001ff5: DUP2
00001ff6: LT
00001ff7: ISZERO
00001ff8: PUSH2 0x0002
00001ffb: JUMPI
00001ffc: PUSH1 0xff
00001ffe: SWAP3
00001fff: SWAP1
00002000: SWAP3
00002001: AND
00002002: PUSH1 0x20
00002004: SWAP3
00002005: SWAP1
00002006: SWAP3
00002007: MUL
00002008: ADD
00002009: MSTORE
0000200a: PUSH1 0x01
0000200c: SWAP2
0000200d: SWAP1
0000200e: SWAP2
0000200f: ADD
00002010: SWAP1
00002011: PUSH2 0x1f56
00002014: JUMP
00002015: JUMPDEST
00002016: PUSH1 0x04
00002018: SLOAD
00002019: PUSH1 0x00
0000201b: SWAP1
0000201c: DUP2
0000201d: MSTORE
0000201e: PUSH1 0x03
00002020: PUSH1 0x20
00002022: MSTORE
00002023: PUSH1 0x40
00002025: DUP2
00002026: KECCAK256
00002027: PUSH1 0x05
00002029: DUP2
0000202a: ADD
0000202b: SWAP3
0000202c: PUSH1 0x06
0000202e: SWAP2
0000202f: SWAP1
00002030: SWAP2
00002031: ADD
00002032: SWAP2
00002033: DUP4
00002034: SWAP1
00002035: PUSH1 0xa0
00002037: DUP4
00002038: ADD
00002039: SWAP1
0000203a: JUMPDEST
0000203b: DUP4
0000203c: DUP3
0000203d: GT
0000203e: ISZERO
0000203f: PUSH2 0x2075
00002042: JUMPI
00002043: DUP4
00002044: MLOAD
00002045: DUP4
00002046: DUP3
00002047: PUSH2 0x0100
0000204a: EXP
0000204b: DUP2
0000204c: SLOAD
0000204d: DUP2
0000204e: PUSH1 0xff
00002050: MUL
00002051: NOT
00002052: AND
00002053: SWAP1
00002054: DUP4
00002055: MUL
00002056: OR
00002057: SWAP1
00002058: SSTORE
00002059: POP
0000205a: SWAP3
0000205b: PUSH1 0x20
0000205d: ADD
0000205e: SWAP3
0000205f: PUSH1 0x01
00002061: ADD
00002062: PUSH1 0x20
00002064: DUP2
00002065: PUSH1 0x00
00002067: ADD
00002068: DIV
00002069: SWAP3
0000206a: DUP4
0000206b: ADD
0000206c: SWAP3
0000206d: PUSH1 0x01
0000206f: SUB
00002070: MUL
00002071: PUSH2 0x203a
00002074: JUMP
00002075: JUMPDEST
00002076: DUP1
00002077: ISZERO
00002078: PUSH2 0x20a2
0000207b: JUMPI
0000207c: DUP3
0000207d: DUP2
0000207e: PUSH2 0x0100
00002081: EXP
00002082: DUP2
00002083: SLOAD
00002084: SWAP1
00002085: PUSH1 0xff
00002087: MUL
00002088: NOT
00002089: AND
0000208a: SWAP1
0000208b: SSTORE
0000208c: PUSH1 0x01
0000208e: ADD
0000208f: PUSH1 0x20
00002091: DUP2
00002092: PUSH1 0x00
00002094: ADD
00002095: DIV
00002096: SWAP3
00002097: DUP4
00002098: ADD
00002099: SWAP3
0000209a: PUSH1 0x01
0000209c: SUB
0000209d: MUL
0000209e: PUSH2 0x2075
000020a1: JUMP
000020a2: JUMPDEST
000020a3: POP
000020a4: POP
000020a5: PUSH2 0x20c3
000020a8: SWAP3
000020a9: SWAP2
000020aa: POP
000020ab: JUMPDEST
000020ac: DUP1
000020ad: DUP3
000020ae: GT
000020af: ISZERO
000020b0: PUSH2 0x17b7
000020b3: JUMPI
000020b4: DUP1
000020b5: SLOAD
000020b6: PUSH1 0xff
000020b8: NOT
000020b9: AND
000020ba: DUP2
000020bb: SSTORE
000020bc: PUSH1 0x01
000020be: ADD
000020bf: PUSH2 0x20ab
000020c2: JUMP
000020c3: JUMPDEST
000020c4: POP
000020c5: POP
000020c6: PUSH1 0x04
000020c8: SLOAD
000020c9: PUSH1 0x00
000020cb: SWAP1
000020cc: DUP2
000020cd: MSTORE
000020ce: PUSH1 0x03
000020d0: PUSH1 0x20
000020d2: MSTORE
000020d3: PUSH1 0x40
000020d5: SWAP1
000020d6: KECCAK256
000020d7: PUSH1 0x0b
000020d9: ADD
000020da: SLOAD
000020db: PUSH1 0x01
000020dd: SWAP1
000020de: GT
000020df: ISZERO
000020e0: PUSH2 0x2126
000020e3: JUMPI
000020e4: PUSH1 0x40
000020e6: PUSH1 0x00
000020e8: KECCAK256
000020e9: PUSH1 0x0b
000020eb: DUP2
000020ec: ADD
000020ed: DUP1
000020ee: SLOAD
000020ef: PUSH1 0x02
000020f1: DUP1
000020f2: SLOAD
000020f3: PUSH1 0x64
000020f5: PUSH8 0x03311fc80a570000
000020fe: SWAP1
000020ff: SWAP4
00002100: MUL
00002101: SWAP3
00002102: SWAP1
00002103: SWAP3
00002104: DIV
00002105: SWAP1
00002106: SWAP2
00002107: ADD
00002108: SWAP1
00002109: DUP2
0000210a: SWAP1
0000210b: SSTORE
0000210c: SWAP1
0000210d: SLOAD
0000210e: PUSH7 0x2386f26fc10000
00002116: MUL
00002117: SUB
00002118: PUSH1 0x07
0000211a: SWAP2
0000211b: SWAP1
0000211c: SWAP2
0000211d: ADD
0000211e: SSTORE
0000211f: PUSH2 0x1e21
00002122: PUSH2 0x0270
00002125: JUMP
00002126: JUMPDEST
00002127: PUSH1 0x04
00002129: SLOAD
0000212a: PUSH1 0x00
0000212c: SWAP1
0000212d: DUP2
0000212e: MSTORE
0000212f: PUSH1 0x03
00002131: PUSH1 0x20
00002133: MSTORE
00002134: PUSH1 0x40
00002136: SWAP1
00002137: KECCAK256
00002138: PUSH1 0x08
0000213a: ADD
0000213b: DUP1
0000213c: SLOAD
0000213d: PUSH1 0xff
0000213f: NOT
00002140: AND
00002141: PUSH1 0x02
00002143: OR
00002144: SWAP1
00002145: SSTORE
00002146: JUMPDEST
00002147: SWAP4
00002148: SWAP3
00002149: POP
0000214a: POP
0000214b: POP
0000214c: JUMP
0000214d: JUMPDEST
0000214e: PUSH1 0x01
00002150: DUP1
00002151: SLOAD
00002152: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002167: NOT
00002168: AND
00002169: DUP3
0000216a: OR
0000216b: SWAP1
0000216c: SSTORE
0000216d: POP
0000216e: JUMP
0000216f: JUMPDEST
00002170: PUSH1 0x01
00002172: SLOAD
00002173: PUSH1 0xa0
00002175: PUSH1 0x02
00002177: EXP
00002178: SWAP1
00002179: DIV
0000217a: PUSH1 0xff
0000217c: AND
0000217d: ISZERO
0000217e: ISZERO
0000217f: PUSH2 0x21d5
00002182: JUMPI
00002183: PUSH1 0x04
00002185: SLOAD
00002186: PUSH1 0x00
00002188: SWAP1
00002189: DUP2
0000218a: MSTORE
0000218b: PUSH1 0x03
0000218d: PUSH1 0x20
0000218f: MSTORE
00002190: PUSH1 0x40
00002192: DUP2
00002193: KECCAK256
00002194: PUSH1 0x0b
00002196: ADD
00002197: SLOAD
00002198: EQ
00002199: ISZERO
0000219a: PUSH2 0x00d3
0000219d: JUMPI
0000219e: POP
0000219f: POP
000021a0: ADDRESS
000021a1: PUSH1 0x01
000021a3: PUSH1 0xa0
000021a5: PUSH1 0x02
000021a7: EXP
000021a8: SUB
000021a9: AND
000021aa: BALANCE
000021ab: PUSH1 0x00
000021ad: JUMPDEST
000021ae: PUSH1 0x04
000021b0: SLOAD
000021b1: DUP2
000021b2: LT
000021b3: ISZERO
000021b4: PUSH2 0x21f8
000021b7: JUMPI
000021b8: PUSH1 0x00
000021ba: DUP2
000021bb: DUP2
000021bc: MSTORE
000021bd: PUSH1 0x03
000021bf: PUSH1 0x20
000021c1: MSTORE
000021c2: PUSH1 0x40
000021c4: SWAP1
000021c5: KECCAK256
000021c6: PUSH1 0x07
000021c8: ADD
000021c9: SLOAD
000021ca: SWAP1
000021cb: SWAP2
000021cc: SUB
000021cd: SWAP1
000021ce: PUSH1 0x01
000021d0: ADD
000021d1: PUSH2 0x21ad
000021d4: JUMP
000021d5: JUMPDEST
000021d6: PUSH1 0x01
000021d8: DUP1
000021d9: SLOAD
000021da: PUSH21 0xff0000000000000000000000000000000000000000
000021f0: NOT
000021f1: AND
000021f2: SWAP1
000021f3: SSTORE
000021f4: JUMPDEST
000021f5: POP
000021f6: POP
000021f7: JUMP
000021f8: JUMPDEST
000021f9: PUSH1 0x00
000021fb: DUP2
000021fc: DUP2
000021fd: MSTORE
000021fe: PUSH1 0x03
00002200: PUSH1 0x20
00002202: MSTORE
00002203: PUSH1 0x40
00002205: DUP1
00002206: DUP3
00002207: KECCAK256
00002208: PUSH1 0x02
0000220a: ADD
0000220b: SLOAD
0000220c: DUP3
0000220d: SLOAD
0000220e: SWAP2
0000220f: MLOAD
00002210: SWAP5
00002211: ADD
00002212: PUSH9 0x056bc75e2d630fffff
0000221c: NOT
0000221d: ADD
0000221e: SWAP4
0000221f: PUSH1 0x01
00002221: PUSH1 0xa0
00002223: PUSH1 0x02
00002225: EXP
00002226: SUB
00002227: SWAP2
00002228: SWAP1
00002229: SWAP2
0000222a: AND
0000222b: SWAP2
0000222c: SWAP1
0000222d: DUP5
0000222e: SWAP1
0000222f: DUP3
00002230: DUP2
00002231: DUP2
00002232: DUP2
00002233: DUP6
00002234: DUP9
00002235: DUP4
00002236: CALL
00002237: SWAP4
00002238: POP
00002239: POP
0000223a: POP
0000223b: POP
0000223c: PUSH1 0x00
0000223e: EQ
0000223f: ISZERO
00002240: PUSH2 0x2248
00002243: JUMPI
00002244: PUSH2 0x0002
00002247: JUMP
00002248: JUMPDEST
00002249: PUSH1 0x00
0000224b: PUSH1 0x02
0000224d: SSTORE
0000224e: PUSH2 0x21f4
00002251: JUMP
00002252: JUMPDEST
00002253: JUMP
00002254: JUMPDEST
00002255: PUSH1 0x00
00002257: DUP1
00002258: SLOAD
00002259: PUSH1 0x02
0000225b: SLOAD
0000225c: PUSH1 0x40
0000225e: MLOAD
0000225f: PUSH1 0x01
00002261: PUSH1 0xa0
00002263: PUSH1 0x02
00002265: EXP
00002266: SUB
00002267: SWAP3
00002268: SWAP1
00002269: SWAP3
0000226a: AND
0000226b: SWAP3
0000226c: SWAP2
0000226d: DUP3
0000226e: DUP2
0000226f: DUP2
00002270: DUP2
00002271: DUP6
00002272: DUP9
00002273: DUP4
00002274: CALL
00002275: SWAP4
00002276: POP
00002277: POP
00002278: POP
00002279: POP
0000227a: PUSH1 0x00
0000227c: EQ
0000227d: ISZERO
0000227e: PUSH2 0x2286
00002281: JUMPI
00002282: PUSH2 0x0002
00002285: JUMP
00002286: JUMPDEST
00002287: PUSH1 0x00
00002289: PUSH1 0x02
0000228b: SSTORE
0000228c: JUMP
0000228d: JUMPDEST
0000228e: POP
0000228f: PUSH1 0x00
00002291: JUMPDEST
00002292: PUSH1 0x05
00002294: DUP2
00002295: PUSH1 0xff
00002297: AND
00002298: LT
00002299: ISZERO
0000229a: PUSH2 0x22ec
0000229d: JUMPI
0000229e: DUP4
0000229f: DUP2
000022a0: PUSH1 0xff
000022a2: AND
000022a3: PUSH1 0x05
000022a5: DUP2
000022a6: LT
000022a7: ISZERO
000022a8: PUSH2 0x0002
000022ab: JUMPI
000022ac: SWAP1
000022ad: SWAP1
000022ae: PUSH1 0x20
000022b0: MUL
000022b1: ADD
000022b2: MLOAD
000022b3: PUSH1 0xff
000022b5: AND
000022b6: DUP5
000022b7: DUP4
000022b8: PUSH1 0xff
000022ba: AND
000022bb: PUSH1 0x05
000022bd: DUP2
000022be: LT
000022bf: ISZERO
000022c0: PUSH2 0x0002
000022c3: JUMPI
000022c4: PUSH1 0x20
000022c6: MUL
000022c7: ADD
000022c8: MLOAD
000022c9: PUSH1 0xff
000022cb: AND
000022cc: EQ
000022cd: DUP1
000022ce: ISZERO
000022cf: PUSH2 0x22de
000022d2: JUMPI
000022d3: POP
000022d4: DUP1
000022d5: PUSH1 0xff
000022d7: AND
000022d8: DUP3
000022d9: PUSH1 0xff
000022db: AND
000022dc: EQ
000022dd: ISZERO
000022de: JUMPDEST
000022df: ISZERO
000022e0: PUSH2 0x22f8
000022e3: JUMPI
000022e4: PUSH1 0x00
000022e6: SWAP3
000022e7: POP
000022e8: PUSH2 0x104e
000022eb: JUMP
000022ec: JUMPDEST
000022ed: PUSH1 0x01
000022ef: SWAP2
000022f0: SWAP1
000022f1: SWAP2
000022f2: ADD
000022f3: SWAP1
000022f4: PUSH2 0x154f
000022f7: JUMP
000022f8: JUMPDEST
000022f9: PUSH1 0x01
000022fb: ADD
000022fc: PUSH2 0x2291
000022ff: JUMP
00002300: JUMPDEST
00002301: POP
00002302: POP
00002303: POP
00002304: POP
00002305: POP
00002306: SWAP2
00002307: SWAP1
00002308: POP
00002309: JUMP
0000230a: JUMPDEST
0000230b: PUSH1 0x01
0000230d: ADD
0000230e: PUSH2 0x1fb2
00002311: JUMP
00002312: JUMPDEST
00002313: PUSH2 0x1f63
00002316: JUMP
00002317: JUMPDEST
00002318: PUSH1 0x01
0000231a: DUP3
0000231b: EQ
0000231c: ISZERO
0000231d: PUSH2 0x235a
00002320: JUMPI
00002321: POP
00002322: PUSH1 0x40
00002324: DUP1
00002325: MLOAD
00002326: DUP1
00002327: DUP3
00002328: ADD
00002329: SWAP1
0000232a: SWAP2
0000232b: MSTORE
0000232c: PUSH1 0x0a
0000232e: DUP2
0000232f: MSTORE
00002330: PUSH32 0x496e2050726f6365737300000000000000000000000000000000000000000000
00002351: PUSH1 0x20
00002353: DUP3
00002354: ADD
00002355: MSTORE
00002356: PUSH2 0x153a
00002359: JUMP
0000235a: JUMPDEST
0000235b: PUSH1 0x02
0000235d: DUP3
0000235e: EQ
0000235f: ISZERO
00002360: PUSH2 0x239d
00002363: JUMPI
00002364: POP
00002365: PUSH1 0x40
00002367: DUP1
00002368: MLOAD
00002369: DUP1
0000236a: DUP3
0000236b: ADD
0000236c: SWAP1
0000236d: SWAP2
0000236e: MSTORE
0000236f: PUSH1 0x04
00002371: DUP2
00002372: MSTORE
00002373: PUSH32 0x446f6e6500000000000000000000000000000000000000000000000000000000
00002394: PUSH1 0x20
00002396: DUP3
00002397: ADD
00002398: MSTORE
00002399: PUSH2 0x153a
0000239c: JUMP
0000239d: JUMPDEST
0000239e: PUSH1 0x03
000023a0: DUP3
000023a1: EQ
000023a2: ISZERO
000023a3: PUSH2 0x153a
000023a6: JUMPI
000023a7: POP
000023a8: POP
000023a9: PUSH1 0x40
000023ab: DUP1
000023ac: MLOAD
000023ad: DUP1
000023ae: DUP3
000023af: ADD
000023b0: SWAP1
000023b1: SWAP2
000023b2: MSTORE
000023b3: PUSH1 0x06
000023b5: DUP2
000023b6: MSTORE
000023b7: PUSH32 0x4661696c65640000000000000000000000000000000000000000000000000000
000023d8: PUSH1 0x20
000023da: DUP3
000023db: ADD
000023dc: MSTORE
000023dd: SWAP1
000023de: JUMP
000023df: JUMPDEST
000023e0: POP
000023e1: POP
000023e2: POP
000023e3: SWAP2
000023e4: SWAP1
000023e5: POP
000023e6: JUMP
000023e7: JUMPDEST
000023e8: PUSH1 0x01
000023ea: SWAP3
000023eb: SWAP1
000023ec: SWAP3
000023ed: ADD
000023ee: SWAP2
000023ef: PUSH2 0x094c
000023f2: JUMP