Analysis Run

[codex:422849] OpenAI Codex v0.77.0 (research preview)
[codex:422849] --------
[codex:422849] workdir: /tmp/codex-multi-k36d4xt9
[codex:422849] model: gpt-5.2-codex
[codex:422849] provider: openai
[codex:422849] approval: never
[codex:422849] sandbox: read-only
[codex:422849] reasoning effort: xhigh
[codex:422849] reasoning summaries: auto
[codex:422849] session id: 019b7fb3-782f-7f00-9637-6803deb036df
[codex:422849] --------
[codex:422849] user
[codex:422849] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:422849] 
[codex:422849] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:422849] 
[codex:422849] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:422849] - Gas inefficiency, code quality, naming, or best practices
[codex:422849] - Theoretical vulnerabilities without a clear extraction path
[codex:422849] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:422849] - Front-running unless it enables theft beyond MEV
[codex:422849] - DoS, griefing, or issues that don't result in attacker profit
[codex:422849] - Missing events, view function issues, or informational findings
[codex:422849] 
[codex:422849] HIGH-VALUE PATTERNS TO HUNT:
[codex:422849] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:422849] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:422849] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:422849] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:422849] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:422849] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:422849] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:422849] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:422849] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:422849] 
[codex:422849] For each finding, you MUST provide:
[codex:422849] 1. Exact file and line numbers of vulnerable code
[codex:422849] 2. Step-by-step exploit transaction sequence
[codex:422849] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:422849] 
[codex:422849] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:422849] 
[codex:422849] Output MUST be valid JSON matching the provided schema.
[codex:422849] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:422849] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:422849] mcp startup: no servers
[codex:422849] 
[codex:422849] thinking
[codex:422849] **Listing files and preparing to read instructions**
[codex:422849] exec
[codex:422849] /bin/bash -lc ls in /tmp/codex-multi-k36d4xt9 succeeded in 6ms:
[codex:422849] AUDIT_BUNDLE.txt
[codex:422849] codex-output-schema.json
[codex:422849] contracts
[codex:422849] 
[codex:422849] thinking
[codex:422849] **Reading AUDIT_BUNDLE.txt**
[codex:422849] exec
[codex:422849] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-k36d4xt9 succeeded in 6ms:
[codex:422849] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:422849] 
[codex:422849] ================================================================================
[codex:422849] FILE: contracts/Contract.sol
[codex:422849] ================================================================================
[codex:422849] pragma solidity ^0.4.4;
[codex:422849] 
[codex:422849] /// @title Multisignature wallet - Allows multiple parties to agree on transactions before execution.
[codex:422849] /// @author Stefan George - <stefan.george@consensys.net>
[codex:422849] contract MultiSigWallet {
[codex:422849] 
[codex:422849]     uint constant public MAX_OWNER_COUNT = 50;
[codex:422849] 
[codex:422849]     event Confirmation(address indexed sender, uint indexed transactionId);
[codex:422849]     event Revocation(address indexed sender, uint indexed transactionId);
[codex:422849]     event Submission(uint indexed transactionId);
[codex:422849]     event Execution(uint indexed transactionId);
[codex:422849]     event ExecutionFailure(uint indexed transactionId);
[codex:422849]     event Deposit(address indexed sender, uint value);
[codex:422849]     event OwnerAddition(address indexed owner);
[codex:422849] 
[codex:422849] 
[codex:422849] thinking
[codex:422849] **Analyzing multisig wallet vulnerabilities**
[codex:422849] thinking
[codex:422849] **Concluding no exploitable paths**
[codex:422849] 
[codex:422849] I carefully reviewed the contract logic and interactions, especially around daily limits, transaction execution, and owner management. After thorough consideration, I see no concrete way for a non-owner or attacker to profit or bypass restrictions given the existing safeguards. None of the potential scenarios lead to an exploit against funds or ownership control based on the examined code.
[codex:422849] codex
[codex:422849] {"no_findings":true,"summary":"Reviewed `contracts/Contract.sol`; no concrete, exploitable profit paths found under the stated rules (no missing auth to withdraw/mint, reentrancy drains, oracle/flash loan manipulation, or replay/upgrade issues).","findings":[]}
[codex:422849] tokens used
[codex:422849] 12,915
[codex:422849] {"no_findings":true,"summary":"Reviewed `contracts/Contract.sol`; no concrete, exploitable profit paths found under the stated rules (no missing auth to withdraw/mint, reentrancy drains, oracle/flash loan manipulation, or replay/upgrade issues).","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-02T17:15:23.361918+00:00",
        "returncode": 0
    },
    "summary": "Reviewed `contracts/Contract.sol`; no concrete, exploitable profit paths found under the stated rules (no missing auth to withdraw/mint, reentrancy drains, oracle/flash loan manipulation, or replay/upgrade issues).",
    "raw_final": {
        "summary": "Reviewed `contracts/Contract.sol`; no concrete, exploitable profit paths found under the stated rules (no missing auth to withdraw/mint, reentrancy drains, oracle/flash loan manipulation, or replay/upgrade issues).",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0153
0000000c: JUMPI
0000000d: PUSH4 0xffffffff
00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000030: PUSH1 0x00
00000032: CALLDATALOAD
00000033: DIV
00000034: AND
00000035: PUSH4 0x025e7c27
0000003a: DUP2
0000003b: EQ
0000003c: PUSH2 0x019c
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x173825d9
00000046: EQ
00000047: PUSH2 0x01ce
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x20ea8d86
00000051: EQ
00000052: PUSH2 0x01ed
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x2f54bf6e
0000005c: EQ
0000005d: PUSH2 0x0203
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x3411c81c
00000067: EQ
00000068: PUSH2 0x0236
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x4bc9fdc2
00000072: EQ
00000073: PUSH2 0x0258
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x54741525
0000007d: EQ
0000007e: PUSH2 0x027d
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x67eeba0c
00000088: EQ
00000089: PUSH2 0x029a
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x6b0c932d
00000093: EQ
00000094: PUSH2 0x02ad
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0x7065cb48
0000009e: EQ
0000009f: PUSH2 0x02c0
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0x784547a7
000000a9: EQ
000000aa: PUSH2 0x02df
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x8b51d13f
000000b4: EQ
000000b5: PUSH2 0x02f5
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0x9ace38c2
000000bf: EQ
000000c0: PUSH2 0x030b
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0xa0e67e2b
000000ca: EQ
000000cb: PUSH2 0x03b9
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0xa8abe69a
000000d5: EQ
000000d6: PUSH2 0x041f
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0xb5dc40c3
000000e0: EQ
000000e1: PUSH2 0x0442
000000e4: JUMPI
000000e5: DUP1
000000e6: PUSH4 0xb77bf600
000000eb: EQ
000000ec: PUSH2 0x0458
000000ef: JUMPI
000000f0: DUP1
000000f1: PUSH4 0xba51a6df
000000f6: EQ
000000f7: PUSH2 0x046b
000000fa: JUMPI
000000fb: DUP1
000000fc: PUSH4 0xc01a8c84
00000101: EQ
00000102: PUSH2 0x0481
00000105: JUMPI
00000106: DUP1
00000107: PUSH4 0xc6427474
0000010c: EQ
0000010d: PUSH2 0x0497
00000110: JUMPI
00000111: DUP1
00000112: PUSH4 0xcea08621
00000117: EQ
00000118: PUSH2 0x04fc
0000011b: JUMPI
0000011c: DUP1
0000011d: PUSH4 0xd74f8edd
00000122: EQ
00000123: PUSH2 0x0512
00000126: JUMPI
00000127: DUP1
00000128: PUSH4 0xdc8452cd
0000012d: EQ
0000012e: PUSH2 0x0525
00000131: JUMPI
00000132: DUP1
00000133: PUSH4 0xe20056e6
00000138: EQ
00000139: PUSH2 0x0538
0000013c: JUMPI
0000013d: DUP1
0000013e: PUSH4 0xee22610b
00000143: EQ
00000144: PUSH2 0x055d
00000147: JUMPI
00000148: DUP1
00000149: PUSH4 0xf059cf2b
0000014e: EQ
0000014f: PUSH2 0x0573
00000152: JUMPI
00000153: JUMPDEST
00000154: PUSH1 0x00
00000156: CALLVALUE
00000157: GT
00000158: ISZERO
00000159: PUSH2 0x019a
0000015c: JUMPI
0000015d: CALLER
0000015e: PUSH1 0x01
00000160: PUSH1 0xa0
00000162: PUSH1 0x02
00000164: EXP
00000165: SUB
00000166: AND
00000167: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c
00000188: CALLVALUE
00000189: PUSH1 0x40
0000018b: MLOAD
0000018c: SWAP1
0000018d: DUP2
0000018e: MSTORE
0000018f: PUSH1 0x20
00000191: ADD
00000192: PUSH1 0x40
00000194: MLOAD
00000195: DUP1
00000196: SWAP2
00000197: SUB
00000198: SWAP1
00000199: LOG2
0000019a: JUMPDEST
0000019b: STOP
0000019c: JUMPDEST
0000019d: CALLVALUE
0000019e: ISZERO
0000019f: PUSH2 0x01a7
000001a2: JUMPI
000001a3: PUSH1 0x00
000001a5: DUP1
000001a6: REVERT
000001a7: JUMPDEST
000001a8: PUSH2 0x01b2
000001ab: PUSH1 0x04
000001ad: CALLDATALOAD
000001ae: PUSH2 0x0586
000001b1: JUMP
000001b2: JUMPDEST
000001b3: PUSH1 0x40
000001b5: MLOAD
000001b6: PUSH1 0x01
000001b8: PUSH1 0xa0
000001ba: PUSH1 0x02
000001bc: EXP
000001bd: SUB
000001be: SWAP1
000001bf: SWAP2
000001c0: AND
000001c1: DUP2
000001c2: MSTORE
000001c3: PUSH1 0x20
000001c5: ADD
000001c6: PUSH1 0x40
000001c8: MLOAD
000001c9: DUP1
000001ca: SWAP2
000001cb: SUB
000001cc: SWAP1
000001cd: RETURN
000001ce: JUMPDEST
000001cf: CALLVALUE
000001d0: ISZERO
000001d1: PUSH2 0x01d9
000001d4: JUMPI
000001d5: PUSH1 0x00
000001d7: DUP1
000001d8: REVERT
000001d9: JUMPDEST
000001da: PUSH2 0x019a
000001dd: PUSH1 0x01
000001df: PUSH1 0xa0
000001e1: PUSH1 0x02
000001e3: EXP
000001e4: SUB
000001e5: PUSH1 0x04
000001e7: CALLDATALOAD
000001e8: AND
000001e9: PUSH2 0x05ae
000001ec: JUMP
000001ed: JUMPDEST
000001ee: CALLVALUE
000001ef: ISZERO
000001f0: PUSH2 0x01f8
000001f3: JUMPI
000001f4: PUSH1 0x00
000001f6: DUP1
000001f7: REVERT
000001f8: JUMPDEST
000001f9: PUSH2 0x019a
000001fc: PUSH1 0x04
000001fe: CALLDATALOAD
000001ff: PUSH2 0x0743
00000202: JUMP
00000203: JUMPDEST
00000204: CALLVALUE
00000205: ISZERO
00000206: PUSH2 0x020e
00000209: JUMPI
0000020a: PUSH1 0x00
0000020c: DUP1
0000020d: REVERT
0000020e: JUMPDEST
0000020f: PUSH2 0x0222
00000212: PUSH1 0x01
00000214: PUSH1 0xa0
00000216: PUSH1 0x02
00000218: EXP
00000219: SUB
0000021a: PUSH1 0x04
0000021c: CALLDATALOAD
0000021d: AND
0000021e: PUSH2 0x0821
00000221: JUMP
00000222: JUMPDEST
00000223: PUSH1 0x40
00000225: MLOAD
00000226: SWAP1
00000227: ISZERO
00000228: ISZERO
00000229: DUP2
0000022a: MSTORE
0000022b: PUSH1 0x20
0000022d: ADD
0000022e: PUSH1 0x40
00000230: MLOAD
00000231: DUP1
00000232: SWAP2
00000233: SUB
00000234: SWAP1
00000235: RETURN
00000236: JUMPDEST
00000237: CALLVALUE
00000238: ISZERO
00000239: PUSH2 0x0241
0000023c: JUMPI
0000023d: PUSH1 0x00
0000023f: DUP1
00000240: REVERT
00000241: JUMPDEST
00000242: PUSH2 0x0222
00000245: PUSH1 0x04
00000247: CALLDATALOAD
00000248: PUSH1 0x01
0000024a: PUSH1 0xa0
0000024c: PUSH1 0x02
0000024e: EXP
0000024f: SUB
00000250: PUSH1 0x24
00000252: CALLDATALOAD
00000253: AND
00000254: PUSH2 0x0836
00000257: JUMP
00000258: JUMPDEST
00000259: CALLVALUE
0000025a: ISZERO
0000025b: PUSH2 0x0263
0000025e: JUMPI
0000025f: PUSH1 0x00
00000261: DUP1
00000262: REVERT
00000263: JUMPDEST
00000264: PUSH2 0x026b
00000267: PUSH2 0x0856
0000026a: JUMP
0000026b: JUMPDEST
0000026c: PUSH1 0x40
0000026e: MLOAD
0000026f: SWAP1
00000270: DUP2
00000271: MSTORE
00000272: PUSH1 0x20
00000274: ADD
00000275: PUSH1 0x40
00000277: MLOAD
00000278: DUP1
00000279: SWAP2
0000027a: SUB
0000027b: SWAP1
0000027c: RETURN
0000027d: JUMPDEST
0000027e: CALLVALUE
0000027f: ISZERO
00000280: PUSH2 0x0288
00000283: JUMPI
00000284: PUSH1 0x00
00000286: DUP1
00000287: REVERT
00000288: JUMPDEST
00000289: PUSH2 0x026b
0000028c: PUSH1 0x04
0000028e: CALLDATALOAD
0000028f: ISZERO
00000290: ISZERO
00000291: PUSH1 0x24
00000293: CALLDATALOAD
00000294: ISZERO
00000295: ISZERO
00000296: PUSH2 0x0890
00000299: JUMP
0000029a: JUMPDEST
0000029b: CALLVALUE
0000029c: ISZERO
0000029d: PUSH2 0x02a5
000002a0: JUMPI
000002a1: PUSH1 0x00
000002a3: DUP1
000002a4: REVERT
000002a5: JUMPDEST
000002a6: PUSH2 0x026b
000002a9: PUSH2 0x08fc
000002ac: JUMP
000002ad: JUMPDEST
000002ae: CALLVALUE
000002af: ISZERO
000002b0: PUSH2 0x02b8
000002b3: JUMPI
000002b4: PUSH1 0x00
000002b6: DUP1
000002b7: REVERT
000002b8: JUMPDEST
000002b9: PUSH2 0x026b
000002bc: PUSH2 0x0902
000002bf: JUMP
000002c0: JUMPDEST
000002c1: CALLVALUE
000002c2: ISZERO
000002c3: PUSH2 0x02cb
000002c6: JUMPI
000002c7: PUSH1 0x00
000002c9: DUP1
000002ca: REVERT
000002cb: JUMPDEST
000002cc: PUSH2 0x019a
000002cf: PUSH1 0x01
000002d1: PUSH1 0xa0
000002d3: PUSH1 0x02
000002d5: EXP
000002d6: SUB
000002d7: PUSH1 0x04
000002d9: CALLDATALOAD
000002da: AND
000002db: PUSH2 0x0908
000002de: JUMP
000002df: JUMPDEST
000002e0: CALLVALUE
000002e1: ISZERO
000002e2: PUSH2 0x02ea
000002e5: JUMPI
000002e6: PUSH1 0x00
000002e8: DUP1
000002e9: REVERT
000002ea: JUMPDEST
000002eb: PUSH2 0x0222
000002ee: PUSH1 0x04
000002f0: CALLDATALOAD
000002f1: PUSH2 0x0a3c
000002f4: JUMP
000002f5: JUMPDEST
000002f6: CALLVALUE
000002f7: ISZERO
000002f8: PUSH2 0x0300
000002fb: JUMPI
000002fc: PUSH1 0x00
000002fe: DUP1
000002ff: REVERT
00000300: JUMPDEST
00000301: PUSH2 0x026b
00000304: PUSH1 0x04
00000306: CALLDATALOAD
00000307: PUSH2 0x0ac0
0000030a: JUMP
0000030b: JUMPDEST
0000030c: CALLVALUE
0000030d: ISZERO
0000030e: PUSH2 0x0316
00000311: JUMPI
00000312: PUSH1 0x00
00000314: DUP1
00000315: REVERT
00000316: JUMPDEST
00000317: PUSH2 0x0321
0000031a: PUSH1 0x04
0000031c: CALLDATALOAD
0000031d: PUSH2 0x0b2f
00000320: JUMP
00000321: JUMPDEST
00000322: PUSH1 0x40
00000324: MLOAD
00000325: PUSH1 0x01
00000327: PUSH1 0xa0
00000329: PUSH1 0x02
0000032b: EXP
0000032c: SUB
0000032d: DUP6
0000032e: AND
0000032f: DUP2
00000330: MSTORE
00000331: PUSH1 0x20
00000333: DUP2
00000334: ADD
00000335: DUP5
00000336: SWAP1
00000337: MSTORE
00000338: DUP2
00000339: ISZERO
0000033a: ISZERO
0000033b: PUSH1 0x60
0000033d: DUP3
0000033e: ADD
0000033f: MSTORE
00000340: PUSH1 0x80
00000342: PUSH1 0x40
00000344: DUP3
00000345: ADD
00000346: DUP2
00000347: DUP2
00000348: MSTORE
00000349: SWAP1
0000034a: DUP3
0000034b: ADD
0000034c: DUP5
0000034d: DUP2
0000034e: DUP2
0000034f: MLOAD
00000350: DUP2
00000351: MSTORE
00000352: PUSH1 0x20
00000354: ADD
00000355: SWAP2
00000356: POP
00000357: DUP1
00000358: MLOAD
00000359: SWAP1
0000035a: PUSH1 0x20
0000035c: ADD
0000035d: SWAP1
0000035e: DUP1
0000035f: DUP4
00000360: DUP4
00000361: PUSH1 0x00
00000363: JUMPDEST
00000364: DUP4
00000365: DUP2
00000366: LT
00000367: ISZERO
00000368: PUSH2 0x037b
0000036b: JUMPI
0000036c: DUP1
0000036d: DUP3
0000036e: ADD
0000036f: MLOAD
00000370: DUP4
00000371: DUP3
00000372: ADD
00000373: MSTORE
00000374: PUSH1 0x20
00000376: ADD
00000377: PUSH2 0x0363
0000037a: JUMP
0000037b: JUMPDEST
0000037c: POP
0000037d: POP
0000037e: POP
0000037f: POP
00000380: SWAP1
00000381: POP
00000382: SWAP1
00000383: DUP2
00000384: ADD
00000385: SWAP1
00000386: PUSH1 0x1f
00000388: AND
00000389: DUP1
0000038a: ISZERO
0000038b: PUSH2 0x03a8
0000038e: JUMPI
0000038f: DUP1
00000390: DUP3
00000391: SUB
00000392: DUP1
00000393: MLOAD
00000394: PUSH1 0x01
00000396: DUP4
00000397: PUSH1 0x20
00000399: SUB
0000039a: PUSH2 0x0100
0000039d: EXP
0000039e: SUB
0000039f: NOT
000003a0: AND
000003a1: DUP2
000003a2: MSTORE
000003a3: PUSH1 0x20
000003a5: ADD
000003a6: SWAP2
000003a7: POP
000003a8: JUMPDEST
000003a9: POP
000003aa: SWAP6
000003ab: POP
000003ac: POP
000003ad: POP
000003ae: POP
000003af: POP
000003b0: POP
000003b1: PUSH1 0x40
000003b3: MLOAD
000003b4: DUP1
000003b5: SWAP2
000003b6: SUB
000003b7: SWAP1
000003b8: RETURN
000003b9: JUMPDEST
000003ba: CALLVALUE
000003bb: ISZERO
000003bc: PUSH2 0x03c4
000003bf: JUMPI
000003c0: PUSH1 0x00
000003c2: DUP1
000003c3: REVERT
000003c4: JUMPDEST
000003c5: PUSH2 0x03cc
000003c8: PUSH2 0x0c0d
000003cb: JUMP
000003cc: JUMPDEST
000003cd: PUSH1 0x40
000003cf: MLOAD
000003d0: PUSH1 0x20
000003d2: DUP1
000003d3: DUP3
000003d4: MSTORE
000003d5: DUP2
000003d6: SWAP1
000003d7: DUP2
000003d8: ADD
000003d9: DUP4
000003da: DUP2
000003db: DUP2
000003dc: MLOAD
000003dd: DUP2
000003de: MSTORE
000003df: PUSH1 0x20
000003e1: ADD
000003e2: SWAP2
000003e3: POP
000003e4: DUP1
000003e5: MLOAD
000003e6: SWAP1
000003e7: PUSH1 0x20
000003e9: ADD
000003ea: SWAP1
000003eb: PUSH1 0x20
000003ed: MUL
000003ee: DUP1
000003ef: DUP4
000003f0: DUP4
000003f1: PUSH1 0x00
000003f3: JUMPDEST
000003f4: DUP4
000003f5: DUP2
000003f6: LT
000003f7: ISZERO
000003f8: PUSH2 0x040b
000003fb: JUMPI
000003fc: DUP1
000003fd: DUP3
000003fe: ADD
000003ff: MLOAD
00000400: DUP4
00000401: DUP3
00000402: ADD
00000403: MSTORE
00000404: PUSH1 0x20
00000406: ADD
00000407: PUSH2 0x03f3
0000040a: JUMP
0000040b: JUMPDEST
0000040c: POP
0000040d: POP
0000040e: POP
0000040f: POP
00000410: SWAP1
00000411: POP
00000412: ADD
00000413: SWAP3
00000414: POP
00000415: POP
00000416: POP
00000417: PUSH1 0x40
00000419: MLOAD
0000041a: DUP1
0000041b: SWAP2
0000041c: SUB
0000041d: SWAP1
0000041e: RETURN
0000041f: JUMPDEST
00000420: CALLVALUE
00000421: ISZERO
00000422: PUSH2 0x042a
00000425: JUMPI
00000426: PUSH1 0x00
00000428: DUP1
00000429: REVERT
0000042a: JUMPDEST
0000042b: PUSH2 0x03cc
0000042e: PUSH1 0x04
00000430: CALLDATALOAD
00000431: PUSH1 0x24
00000433: CALLDATALOAD
00000434: PUSH1 0x44
00000436: CALLDATALOAD
00000437: ISZERO
00000438: ISZERO
00000439: PUSH1 0x64
0000043b: CALLDATALOAD
0000043c: ISZERO
0000043d: ISZERO
0000043e: PUSH2 0x0c75
00000441: JUMP
00000442: JUMPDEST
00000443: CALLVALUE
00000444: ISZERO
00000445: PUSH2 0x044d
00000448: JUMPI
00000449: PUSH1 0x00
0000044b: DUP1
0000044c: REVERT
0000044d: JUMPDEST
0000044e: PUSH2 0x03cc
00000451: PUSH1 0x04
00000453: CALLDATALOAD
00000454: PUSH2 0x0d9d
00000457: JUMP
00000458: JUMPDEST
00000459: CALLVALUE
0000045a: ISZERO
0000045b: PUSH2 0x0463
0000045e: JUMPI
0000045f: PUSH1 0x00
00000461: DUP1
00000462: REVERT
00000463: JUMPDEST
00000464: PUSH2 0x026b
00000467: PUSH2 0x0f01
0000046a: JUMP
0000046b: JUMPDEST
0000046c: CALLVALUE
0000046d: ISZERO
0000046e: PUSH2 0x0476
00000471: JUMPI
00000472: PUSH1 0x00
00000474: DUP1
00000475: REVERT
00000476: JUMPDEST
00000477: PUSH2 0x019a
0000047a: PUSH1 0x04
0000047c: CALLDATALOAD
0000047d: PUSH2 0x0f07
00000480: JUMP
00000481: JUMPDEST
00000482: CALLVALUE
00000483: ISZERO
00000484: PUSH2 0x048c
00000487: JUMPI
00000488: PUSH1 0x00
0000048a: DUP1
0000048b: REVERT
0000048c: JUMPDEST
0000048d: PUSH2 0x019a
00000490: PUSH1 0x04
00000492: CALLDATALOAD
00000493: PUSH2 0x0f92
00000496: JUMP
00000497: JUMPDEST
00000498: CALLVALUE
00000499: ISZERO
0000049a: PUSH2 0x04a2
0000049d: JUMPI
0000049e: PUSH1 0x00
000004a0: DUP1
000004a1: REVERT
000004a2: JUMPDEST
000004a3: PUSH2 0x026b
000004a6: PUSH1 0x04
000004a8: DUP1
000004a9: CALLDATALOAD
000004aa: PUSH1 0x01
000004ac: PUSH1 0xa0
000004ae: PUSH1 0x02
000004b0: EXP
000004b1: SUB
000004b2: AND
000004b3: SWAP1
000004b4: PUSH1 0x24
000004b6: DUP1
000004b7: CALLDATALOAD
000004b8: SWAP2
000004b9: SWAP1
000004ba: PUSH1 0x64
000004bc: SWAP1
000004bd: PUSH1 0x44
000004bf: CALLDATALOAD
000004c0: SWAP1
000004c1: DUP2
000004c2: ADD
000004c3: SWAP1
000004c4: DUP4
000004c5: ADD
000004c6: CALLDATALOAD
000004c7: DUP1
000004c8: PUSH1 0x20
000004ca: PUSH1 0x1f
000004cc: DUP3
000004cd: ADD
000004ce: DUP2
000004cf: SWAP1
000004d0: DIV
000004d1: DUP2
000004d2: MUL
000004d3: ADD
000004d4: PUSH1 0x40
000004d6: MLOAD
000004d7: SWAP1
000004d8: DUP2
000004d9: ADD
000004da: PUSH1 0x40
000004dc: MSTORE
000004dd: DUP2
000004de: DUP2
000004df: MSTORE
000004e0: SWAP3
000004e1: SWAP2
000004e2: SWAP1
000004e3: PUSH1 0x20
000004e5: DUP5
000004e6: ADD
000004e7: DUP4
000004e8: DUP4
000004e9: DUP1
000004ea: DUP3
000004eb: DUP5
000004ec: CALLDATACOPY
000004ed: POP
000004ee: SWAP5
000004ef: SWAP7
000004f0: POP
000004f1: PUSH2 0x1080
000004f4: SWAP6
000004f5: POP
000004f6: POP
000004f7: POP
000004f8: POP
000004f9: POP
000004fa: POP
000004fb: JUMP
000004fc: JUMPDEST
000004fd: CALLVALUE
000004fe: ISZERO
000004ff: PUSH2 0x0507
00000502: JUMPI
00000503: PUSH1 0x00
00000505: DUP1
00000506: REVERT
00000507: JUMPDEST
00000508: PUSH2 0x019a
0000050b: PUSH1 0x04
0000050d: CALLDATALOAD
0000050e: PUSH2 0x109f
00000511: JUMP
00000512: JUMPDEST
00000513: CALLVALUE
00000514: ISZERO
00000515: PUSH2 0x051d
00000518: JUMPI
00000519: PUSH1 0x00
0000051b: DUP1
0000051c: REVERT
0000051d: JUMPDEST
0000051e: PUSH2 0x026b
00000521: PUSH2 0x10fa
00000524: JUMP
00000525: JUMPDEST
00000526: CALLVALUE
00000527: ISZERO
00000528: PUSH2 0x0530
0000052b: JUMPI
0000052c: PUSH1 0x00
0000052e: DUP1
0000052f: REVERT
00000530: JUMPDEST
00000531: PUSH2 0x026b
00000534: PUSH2 0x10ff
00000537: JUMP
00000538: JUMPDEST
00000539: CALLVALUE
0000053a: ISZERO
0000053b: PUSH2 0x0543
0000053e: JUMPI
0000053f: PUSH1 0x00
00000541: DUP1
00000542: REVERT
00000543: JUMPDEST
00000544: PUSH2 0x019a
00000547: PUSH1 0x01
00000549: PUSH1 0xa0
0000054b: PUSH1 0x02
0000054d: EXP
0000054e: SUB
0000054f: PUSH1 0x04
00000551: CALLDATALOAD
00000552: DUP2
00000553: AND
00000554: SWAP1
00000555: PUSH1 0x24
00000557: CALLDATALOAD
00000558: AND
00000559: PUSH2 0x1105
0000055c: JUMP
0000055d: JUMPDEST
0000055e: CALLVALUE
0000055f: ISZERO
00000560: PUSH2 0x0568
00000563: JUMPI
00000564: PUSH1 0x00
00000566: DUP1
00000567: REVERT
00000568: JUMPDEST
00000569: PUSH2 0x019a
0000056c: PUSH1 0x04
0000056e: CALLDATALOAD
0000056f: PUSH2 0x12b3
00000572: JUMP
00000573: JUMPDEST
00000574: CALLVALUE
00000575: ISZERO
00000576: PUSH2 0x057e
00000579: JUMPI
0000057a: PUSH1 0x00
0000057c: DUP1
0000057d: REVERT
0000057e: JUMPDEST
0000057f: PUSH2 0x026b
00000582: PUSH2 0x146b
00000585: JUMP
00000586: JUMPDEST
00000587: PUSH1 0x03
00000589: DUP1
0000058a: SLOAD
0000058b: DUP3
0000058c: SWAP1
0000058d: DUP2
0000058e: LT
0000058f: PUSH2 0x0594
00000592: JUMPI
00000593: INVALID
00000594: JUMPDEST
00000595: PUSH1 0x00
00000597: SWAP2
00000598: DUP3
00000599: MSTORE
0000059a: PUSH1 0x20
0000059c: SWAP1
0000059d: SWAP2
0000059e: KECCAK256
0000059f: ADD
000005a0: SLOAD
000005a1: PUSH1 0x01
000005a3: PUSH1 0xa0
000005a5: PUSH1 0x02
000005a7: EXP
000005a8: SUB
000005a9: AND
000005aa: SWAP1
000005ab: POP
000005ac: DUP2
000005ad: JUMP
000005ae: JUMPDEST
000005af: PUSH1 0x00
000005b1: ADDRESS
000005b2: PUSH1 0x01
000005b4: PUSH1 0xa0
000005b6: PUSH1 0x02
000005b8: EXP
000005b9: SUB
000005ba: AND
000005bb: CALLER
000005bc: PUSH1 0x01
000005be: PUSH1 0xa0
000005c0: PUSH1 0x02
000005c2: EXP
000005c3: SUB
000005c4: AND
000005c5: EQ
000005c6: ISZERO
000005c7: ISZERO
000005c8: PUSH2 0x05d0
000005cb: JUMPI
000005cc: PUSH1 0x00
000005ce: DUP1
000005cf: REVERT
000005d0: JUMPDEST
000005d1: PUSH1 0x01
000005d3: PUSH1 0xa0
000005d5: PUSH1 0x02
000005d7: EXP
000005d8: SUB
000005d9: DUP3
000005da: AND
000005db: PUSH1 0x00
000005dd: SWAP1
000005de: DUP2
000005df: MSTORE
000005e0: PUSH1 0x02
000005e2: PUSH1 0x20
000005e4: MSTORE
000005e5: PUSH1 0x40
000005e7: SWAP1
000005e8: KECCAK256
000005e9: SLOAD
000005ea: DUP3
000005eb: SWAP1
000005ec: PUSH1 0xff
000005ee: AND
000005ef: ISZERO
000005f0: ISZERO
000005f1: PUSH2 0x05f9
000005f4: JUMPI
000005f5: PUSH1 0x00
000005f7: DUP1
000005f8: REVERT
000005f9: JUMPDEST
000005fa: PUSH1 0x01
000005fc: PUSH1 0xa0
000005fe: PUSH1 0x02
00000600: EXP
00000601: SUB
00000602: DUP4
00000603: AND
00000604: PUSH1 0x00
00000606: SWAP1
00000607: DUP2
00000608: MSTORE
00000609: PUSH1 0x02
0000060b: PUSH1 0x20
0000060d: MSTORE
0000060e: PUSH1 0x40
00000610: DUP2
00000611: KECCAK256
00000612: DUP1
00000613: SLOAD
00000614: PUSH1 0xff
00000616: NOT
00000617: AND
00000618: SWAP1
00000619: SSTORE
0000061a: SWAP2
0000061b: POP
0000061c: JUMPDEST
0000061d: PUSH1 0x03
0000061f: SLOAD
00000620: PUSH1 0x00
00000622: NOT
00000623: ADD
00000624: DUP3
00000625: LT
00000626: ISZERO
00000627: PUSH2 0x06dc
0000062a: JUMPI
0000062b: DUP3
0000062c: PUSH1 0x01
0000062e: PUSH1 0xa0
00000630: PUSH1 0x02
00000632: EXP
00000633: SUB
00000634: AND
00000635: PUSH1 0x03
00000637: DUP4
00000638: DUP2
00000639: SLOAD
0000063a: DUP2
0000063b: LT
0000063c: ISZERO
0000063d: ISZERO
0000063e: PUSH2 0x0643
00000641: JUMPI
00000642: INVALID
00000643: JUMPDEST
00000644: PUSH1 0x00
00000646: SWAP2
00000647: DUP3
00000648: MSTORE
00000649: PUSH1 0x20
0000064b: SWAP1
0000064c: SWAP2
0000064d: KECCAK256
0000064e: ADD
0000064f: SLOAD
00000650: PUSH1 0x01
00000652: PUSH1 0xa0
00000654: PUSH1 0x02
00000656: EXP
00000657: SUB
00000658: AND
00000659: EQ
0000065a: ISZERO
0000065b: PUSH2 0x06d1
0000065e: JUMPI
0000065f: PUSH1 0x03
00000661: DUP1
00000662: SLOAD
00000663: PUSH1 0x00
00000665: NOT
00000666: DUP2
00000667: ADD
00000668: SWAP1
00000669: DUP2
0000066a: LT
0000066b: PUSH2 0x0670
0000066e: JUMPI
0000066f: INVALID
00000670: JUMPDEST
00000671: PUSH1 0x00
00000673: SWAP2
00000674: DUP3
00000675: MSTORE
00000676: PUSH1 0x20
00000678: SWAP1
00000679: SWAP2
0000067a: KECCAK256
0000067b: ADD
0000067c: SLOAD
0000067d: PUSH1 0x03
0000067f: DUP1
00000680: SLOAD
00000681: PUSH1 0x01
00000683: PUSH1 0xa0
00000685: PUSH1 0x02
00000687: EXP
00000688: SUB
00000689: SWAP1
0000068a: SWAP3
0000068b: AND
0000068c: SWAP2
0000068d: DUP5
0000068e: SWAP1
0000068f: DUP2
00000690: LT
00000691: PUSH2 0x0696
00000694: JUMPI
00000695: INVALID
00000696: JUMPDEST
00000697: PUSH1 0x00
00000699: SWAP2
0000069a: DUP3
0000069b: MSTORE
0000069c: PUSH1 0x20
0000069e: SWAP1
0000069f: SWAP2
000006a0: KECCAK256
000006a1: ADD
000006a2: DUP1
000006a3: SLOAD
000006a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006b9: NOT
000006ba: AND
000006bb: PUSH1 0x01
000006bd: PUSH1 0xa0
000006bf: PUSH1 0x02
000006c1: EXP
000006c2: SUB
000006c3: SWAP3
000006c4: SWAP1
000006c5: SWAP3
000006c6: AND
000006c7: SWAP2
000006c8: SWAP1
000006c9: SWAP2
000006ca: OR
000006cb: SWAP1
000006cc: SSTORE
000006cd: PUSH2 0x06dc
000006d0: JUMP
000006d1: JUMPDEST
000006d2: PUSH1 0x01
000006d4: SWAP1
000006d5: SWAP2
000006d6: ADD
000006d7: SWAP1
000006d8: PUSH2 0x061c
000006db: JUMP
000006dc: JUMPDEST
000006dd: PUSH1 0x03
000006df: DUP1
000006e0: SLOAD
000006e1: PUSH1 0x00
000006e3: NOT
000006e4: ADD
000006e5: SWAP1
000006e6: PUSH2 0x06ef
000006e9: SWAP1
000006ea: DUP3
000006eb: PUSH2 0x15b6
000006ee: JUMP
000006ef: JUMPDEST
000006f0: POP
000006f1: PUSH1 0x03
000006f3: SLOAD
000006f4: PUSH1 0x04
000006f6: SLOAD
000006f7: GT
000006f8: ISZERO
000006f9: PUSH2 0x0708
000006fc: JUMPI
000006fd: PUSH1 0x03
000006ff: SLOAD
00000700: PUSH2 0x0708
00000703: SWAP1
00000704: PUSH2 0x0f07
00000707: JUMP
00000708: JUMPDEST
00000709: DUP3
0000070a: PUSH1 0x01
0000070c: PUSH1 0xa0
0000070e: PUSH1 0x02
00000710: EXP
00000711: SUB
00000712: AND
00000713: PUSH32 0x8001553a916ef2f495d26a907cc54d96ed840d7bda71e73194bf5a9df7a76b90
00000734: PUSH1 0x40
00000736: MLOAD
00000737: PUSH1 0x40
00000739: MLOAD
0000073a: DUP1
0000073b: SWAP2
0000073c: SUB
0000073d: SWAP1
0000073e: LOG2
0000073f: POP
00000740: POP
00000741: POP
00000742: JUMP
00000743: JUMPDEST
00000744: CALLER
00000745: PUSH1 0x01
00000747: PUSH1 0xa0
00000749: PUSH1 0x02
0000074b: EXP
0000074c: SUB
0000074d: DUP2
0000074e: AND
0000074f: PUSH1 0x00
00000751: SWAP1
00000752: DUP2
00000753: MSTORE
00000754: PUSH1 0x02
00000756: PUSH1 0x20
00000758: MSTORE
00000759: PUSH1 0x40
0000075b: SWAP1
0000075c: KECCAK256
0000075d: SLOAD
0000075e: PUSH1 0xff
00000760: AND
00000761: ISZERO
00000762: ISZERO
00000763: PUSH2 0x076b
00000766: JUMPI
00000767: PUSH1 0x00
00000769: DUP1
0000076a: REVERT
0000076b: JUMPDEST
0000076c: PUSH1 0x00
0000076e: DUP3
0000076f: DUP2
00000770: MSTORE
00000771: PUSH1 0x01
00000773: PUSH1 0x20
00000775: SWAP1
00000776: DUP2
00000777: MSTORE
00000778: PUSH1 0x40
0000077a: DUP1
0000077b: DUP4
0000077c: KECCAK256
0000077d: CALLER
0000077e: PUSH1 0x01
00000780: PUSH1 0xa0
00000782: PUSH1 0x02
00000784: EXP
00000785: SUB
00000786: DUP2
00000787: AND
00000788: DUP6
00000789: MSTORE
0000078a: SWAP3
0000078b: MSTORE
0000078c: SWAP1
0000078d: SWAP2
0000078e: KECCAK256
0000078f: SLOAD
00000790: DUP4
00000791: SWAP2
00000792: SWAP1
00000793: PUSH1 0xff
00000795: AND
00000796: ISZERO
00000797: ISZERO
00000798: PUSH2 0x07a0
0000079b: JUMPI
0000079c: PUSH1 0x00
0000079e: DUP1
0000079f: REVERT
000007a0: JUMPDEST
000007a1: PUSH1 0x00
000007a3: DUP5
000007a4: DUP2
000007a5: MSTORE
000007a6: PUSH1 0x20
000007a8: DUP2
000007a9: SWAP1
000007aa: MSTORE
000007ab: PUSH1 0x40
000007ad: SWAP1
000007ae: KECCAK256
000007af: PUSH1 0x03
000007b1: ADD
000007b2: SLOAD
000007b3: DUP5
000007b4: SWAP1
000007b5: PUSH1 0xff
000007b7: AND
000007b8: ISZERO
000007b9: PUSH2 0x07c1
000007bc: JUMPI
000007bd: PUSH1 0x00
000007bf: DUP1
000007c0: REVERT
000007c1: JUMPDEST
000007c2: PUSH1 0x00
000007c4: DUP6
000007c5: DUP2
000007c6: MSTORE
000007c7: PUSH1 0x01
000007c9: PUSH1 0x20
000007cb: SWAP1
000007cc: DUP2
000007cd: MSTORE
000007ce: PUSH1 0x40
000007d0: DUP1
000007d1: DUP4
000007d2: KECCAK256
000007d3: PUSH1 0x01
000007d5: PUSH1 0xa0
000007d7: PUSH1 0x02
000007d9: EXP
000007da: SUB
000007db: CALLER
000007dc: AND
000007dd: DUP1
000007de: DUP6
000007df: MSTORE
000007e0: SWAP3
000007e1: MSTORE
000007e2: SWAP2
000007e3: DUP3
000007e4: SWAP1
000007e5: KECCAK256
000007e6: DUP1
000007e7: SLOAD
000007e8: PUSH1 0xff
000007ea: NOT
000007eb: AND
000007ec: SWAP1
000007ed: SSTORE
000007ee: DUP7
000007ef: SWAP2
000007f0: PUSH32 0xf6a317157440607f36269043eb55f1287a5a19ba2216afeab88cd46cbcfb88e9
00000811: SWAP1
00000812: MLOAD
00000813: PUSH1 0x40
00000815: MLOAD
00000816: DUP1
00000817: SWAP2
00000818: SUB
00000819: SWAP1
0000081a: LOG3
0000081b: POP
0000081c: POP
0000081d: POP
0000081e: POP
0000081f: POP
00000820: JUMP
00000821: JUMPDEST
00000822: PUSH1 0x02
00000824: PUSH1 0x20
00000826: MSTORE
00000827: PUSH1 0x00
00000829: SWAP1
0000082a: DUP2
0000082b: MSTORE
0000082c: PUSH1 0x40
0000082e: SWAP1
0000082f: KECCAK256
00000830: SLOAD
00000831: PUSH1 0xff
00000833: AND
00000834: DUP2
00000835: JUMP
00000836: JUMPDEST
00000837: PUSH1 0x01
00000839: PUSH1 0x20
0000083b: SWAP1
0000083c: DUP2
0000083d: MSTORE
0000083e: PUSH1 0x00
00000840: SWAP3
00000841: DUP4
00000842: MSTORE
00000843: PUSH1 0x40
00000845: DUP1
00000846: DUP5
00000847: KECCAK256
00000848: SWAP1
00000849: SWAP2
0000084a: MSTORE
0000084b: SWAP1
0000084c: DUP3
0000084d: MSTORE
0000084e: SWAP1
0000084f: KECCAK256
00000850: SLOAD
00000851: PUSH1 0xff
00000853: AND
00000854: DUP2
00000855: JUMP
00000856: JUMPDEST
00000857: PUSH1 0x00
00000859: PUSH1 0x07
0000085b: SLOAD
0000085c: PUSH3 0x015180
00000860: ADD
00000861: TIMESTAMP
00000862: GT
00000863: ISZERO
00000864: PUSH2 0x0870
00000867: JUMPI
00000868: POP
00000869: PUSH1 0x06
0000086b: SLOAD
0000086c: PUSH2 0x088d
0000086f: JUMP
00000870: JUMPDEST
00000871: PUSH1 0x08
00000873: SLOAD
00000874: PUSH1 0x06
00000876: SLOAD
00000877: LT
00000878: ISZERO
00000879: PUSH2 0x0884
0000087c: JUMPI
0000087d: POP
0000087e: PUSH1 0x00
00000880: PUSH2 0x088d
00000883: JUMP
00000884: JUMPDEST
00000885: POP
00000886: PUSH1 0x08
00000888: SLOAD
00000889: PUSH1 0x06
0000088b: SLOAD
0000088c: SUB
0000088d: JUMPDEST
0000088e: SWAP1
0000088f: JUMP
00000890: JUMPDEST
00000891: PUSH1 0x00
00000893: DUP1
00000894: JUMPDEST
00000895: PUSH1 0x05
00000897: SLOAD
00000898: DUP2
00000899: LT
0000089a: ISZERO
0000089b: PUSH2 0x08f5
0000089e: JUMPI
0000089f: DUP4
000008a0: DUP1
000008a1: ISZERO
000008a2: PUSH2 0x08bd
000008a5: JUMPI
000008a6: POP
000008a7: PUSH1 0x00
000008a9: DUP2
000008aa: DUP2
000008ab: MSTORE
000008ac: PUSH1 0x20
000008ae: DUP2
000008af: SWAP1
000008b0: MSTORE
000008b1: PUSH1 0x40
000008b3: SWAP1
000008b4: KECCAK256
000008b5: PUSH1 0x03
000008b7: ADD
000008b8: SLOAD
000008b9: PUSH1 0xff
000008bb: AND
000008bc: ISZERO
000008bd: JUMPDEST
000008be: DUP1
000008bf: PUSH2 0x08e1
000008c2: JUMPI
000008c3: POP
000008c4: DUP3
000008c5: DUP1
000008c6: ISZERO
000008c7: PUSH2 0x08e1
000008ca: JUMPI
000008cb: POP
000008cc: PUSH1 0x00
000008ce: DUP2
000008cf: DUP2
000008d0: MSTORE
000008d1: PUSH1 0x20
000008d3: DUP2
000008d4: SWAP1
000008d5: MSTORE
000008d6: PUSH1 0x40
000008d8: SWAP1
000008d9: KECCAK256
000008da: PUSH1 0x03
000008dc: ADD
000008dd: SLOAD
000008de: PUSH1 0xff
000008e0: AND
000008e1: JUMPDEST
000008e2: ISZERO
000008e3: PUSH2 0x08ed
000008e6: JUMPI
000008e7: PUSH1 0x01
000008e9: DUP3
000008ea: ADD
000008eb: SWAP2
000008ec: POP
000008ed: JUMPDEST
000008ee: PUSH1 0x01
000008f0: ADD
000008f1: PUSH2 0x0894
000008f4: JUMP
000008f5: JUMPDEST
000008f6: POP
000008f7: SWAP3
000008f8: SWAP2
000008f9: POP
000008fa: POP
000008fb: JUMP
000008fc: JUMPDEST
000008fd: PUSH1 0x06
000008ff: SLOAD
00000900: DUP2
00000901: JUMP
00000902: JUMPDEST
00000903: PUSH1 0x07
00000905: SLOAD
00000906: DUP2
00000907: JUMP
00000908: JUMPDEST
00000909: ADDRESS
0000090a: PUSH1 0x01
0000090c: PUSH1 0xa0
0000090e: PUSH1 0x02
00000910: EXP
00000911: SUB
00000912: AND
00000913: CALLER
00000914: PUSH1 0x01
00000916: PUSH1 0xa0
00000918: PUSH1 0x02
0000091a: EXP
0000091b: SUB
0000091c: AND
0000091d: EQ
0000091e: ISZERO
0000091f: ISZERO
00000920: PUSH2 0x0928
00000923: JUMPI
00000924: PUSH1 0x00
00000926: DUP1
00000927: REVERT
00000928: JUMPDEST
00000929: PUSH1 0x01
0000092b: PUSH1 0xa0
0000092d: PUSH1 0x02
0000092f: EXP
00000930: SUB
00000931: DUP2
00000932: AND
00000933: PUSH1 0x00
00000935: SWAP1
00000936: DUP2
00000937: MSTORE
00000938: PUSH1 0x02
0000093a: PUSH1 0x20
0000093c: MSTORE
0000093d: PUSH1 0x40
0000093f: SWAP1
00000940: KECCAK256
00000941: SLOAD
00000942: DUP2
00000943: SWAP1
00000944: PUSH1 0xff
00000946: AND
00000947: ISZERO
00000948: PUSH2 0x0950
0000094b: JUMPI
0000094c: PUSH1 0x00
0000094e: DUP1
0000094f: REVERT
00000950: JUMPDEST
00000951: DUP2
00000952: PUSH1 0x01
00000954: PUSH1 0xa0
00000956: PUSH1 0x02
00000958: EXP
00000959: SUB
0000095a: DUP2
0000095b: AND
0000095c: ISZERO
0000095d: ISZERO
0000095e: PUSH2 0x0966
00000961: JUMPI
00000962: PUSH1 0x00
00000964: DUP1
00000965: REVERT
00000966: JUMPDEST
00000967: PUSH1 0x03
00000969: DUP1
0000096a: SLOAD
0000096b: SWAP1
0000096c: POP
0000096d: PUSH1 0x01
0000096f: ADD
00000970: PUSH1 0x04
00000972: SLOAD
00000973: PUSH1 0x32
00000975: DUP3
00000976: GT
00000977: DUP1
00000978: PUSH2 0x0980
0000097b: JUMPI
0000097c: POP
0000097d: DUP2
0000097e: DUP2
0000097f: GT
00000980: JUMPDEST
00000981: DUP1
00000982: PUSH2 0x0989
00000985: JUMPI
00000986: POP
00000987: DUP1
00000988: ISZERO
00000989: JUMPDEST
0000098a: DUP1
0000098b: PUSH2 0x0992
0000098e: JUMPI
0000098f: POP
00000990: DUP2
00000991: ISZERO
00000992: JUMPDEST
00000993: ISZERO
00000994: PUSH2 0x099c
00000997: JUMPI
00000998: PUSH1 0x00
0000099a: DUP1
0000099b: REVERT
0000099c: JUMPDEST
0000099d: PUSH1 0x01
0000099f: PUSH1 0xa0
000009a1: PUSH1 0x02
000009a3: EXP
000009a4: SUB
000009a5: DUP6
000009a6: AND
000009a7: PUSH1 0x00
000009a9: SWAP1
000009aa: DUP2
000009ab: MSTORE
000009ac: PUSH1 0x02
000009ae: PUSH1 0x20
000009b0: MSTORE
000009b1: PUSH1 0x40
000009b3: SWAP1
000009b4: KECCAK256
000009b5: DUP1
000009b6: SLOAD
000009b7: PUSH1 0xff
000009b9: NOT
000009ba: AND
000009bb: PUSH1 0x01
000009bd: SWAP1
000009be: DUP2
000009bf: OR
000009c0: SWAP1
000009c1: SWAP2
000009c2: SSTORE
000009c3: PUSH1 0x03
000009c5: DUP1
000009c6: SLOAD
000009c7: SWAP1
000009c8: SWAP2
000009c9: DUP2
000009ca: ADD
000009cb: PUSH2 0x09d4
000009ce: DUP4
000009cf: DUP3
000009d0: PUSH2 0x15b6
000009d3: JUMP
000009d4: JUMPDEST
000009d5: POP
000009d6: PUSH1 0x00
000009d8: SWAP2
000009d9: DUP3
000009da: MSTORE
000009db: PUSH1 0x20
000009dd: SWAP1
000009de: SWAP2
000009df: KECCAK256
000009e0: ADD
000009e1: DUP1
000009e2: SLOAD
000009e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009f8: NOT
000009f9: AND
000009fa: PUSH1 0x01
000009fc: PUSH1 0xa0
000009fe: PUSH1 0x02
00000a00: EXP
00000a01: SUB
00000a02: DUP8
00000a03: AND
00000a04: SWAP1
00000a05: DUP2
00000a06: OR
00000a07: SWAP1
00000a08: SWAP2
00000a09: SSTORE
00000a0a: PUSH32 0xf39e6e1eb0edcf53c221607b54b00cd28f3196fed0a24994dc308b8f611b682d
00000a2b: PUSH1 0x40
00000a2d: MLOAD
00000a2e: PUSH1 0x40
00000a30: MLOAD
00000a31: DUP1
00000a32: SWAP2
00000a33: SUB
00000a34: SWAP1
00000a35: LOG2
00000a36: POP
00000a37: POP
00000a38: POP
00000a39: POP
00000a3a: POP
00000a3b: JUMP
00000a3c: JUMPDEST
00000a3d: PUSH1 0x00
00000a3f: DUP1
00000a40: DUP1
00000a41: JUMPDEST
00000a42: PUSH1 0x03
00000a44: SLOAD
00000a45: DUP2
00000a46: LT
00000a47: ISZERO
00000a48: PUSH2 0x0ab9
00000a4b: JUMPI
00000a4c: PUSH1 0x00
00000a4e: DUP5
00000a4f: DUP2
00000a50: MSTORE
00000a51: PUSH1 0x01
00000a53: PUSH1 0x20
00000a55: MSTORE
00000a56: PUSH1 0x40
00000a58: DUP2
00000a59: KECCAK256
00000a5a: PUSH1 0x03
00000a5c: DUP1
00000a5d: SLOAD
00000a5e: SWAP2
00000a5f: SWAP3
00000a60: SWAP2
00000a61: DUP5
00000a62: SWAP1
00000a63: DUP2
00000a64: LT
00000a65: PUSH2 0x0a6a
00000a68: JUMPI
00000a69: INVALID
00000a6a: JUMPDEST
00000a6b: PUSH1 0x00
00000a6d: SWAP2
00000a6e: DUP3
00000a6f: MSTORE
00000a70: PUSH1 0x20
00000a72: DUP1
00000a73: DUP4
00000a74: KECCAK256
00000a75: SWAP1
00000a76: SWAP2
00000a77: ADD
00000a78: SLOAD
00000a79: PUSH1 0x01
00000a7b: PUSH1 0xa0
00000a7d: PUSH1 0x02
00000a7f: EXP
00000a80: SUB
00000a81: AND
00000a82: DUP4
00000a83: MSTORE
00000a84: DUP3
00000a85: ADD
00000a86: SWAP3
00000a87: SWAP1
00000a88: SWAP3
00000a89: MSTORE
00000a8a: PUSH1 0x40
00000a8c: ADD
00000a8d: SWAP1
00000a8e: KECCAK256
00000a8f: SLOAD
00000a90: PUSH1 0xff
00000a92: AND
00000a93: ISZERO
00000a94: PUSH2 0x0a9e
00000a97: JUMPI
00000a98: PUSH1 0x01
00000a9a: DUP3
00000a9b: ADD
00000a9c: SWAP2
00000a9d: POP
00000a9e: JUMPDEST
00000a9f: PUSH1 0x04
00000aa1: SLOAD
00000aa2: DUP3
00000aa3: EQ
00000aa4: ISZERO
00000aa5: PUSH2 0x0ab1
00000aa8: JUMPI
00000aa9: PUSH1 0x01
00000aab: SWAP3
00000aac: POP
00000aad: PUSH2 0x0ab9
00000ab0: JUMP
00000ab1: JUMPDEST
00000ab2: PUSH1 0x01
00000ab4: ADD
00000ab5: PUSH2 0x0a41
00000ab8: JUMP
00000ab9: JUMPDEST
00000aba: POP
00000abb: POP
00000abc: SWAP2
00000abd: SWAP1
00000abe: POP
00000abf: JUMP
00000ac0: JUMPDEST
00000ac1: PUSH1 0x00
00000ac3: DUP1
00000ac4: JUMPDEST
00000ac5: PUSH1 0x03
00000ac7: SLOAD
00000ac8: DUP2
00000ac9: LT
00000aca: ISZERO
00000acb: PUSH2 0x0b29
00000ace: JUMPI
00000acf: PUSH1 0x00
00000ad1: DUP4
00000ad2: DUP2
00000ad3: MSTORE
00000ad4: PUSH1 0x01
00000ad6: PUSH1 0x20
00000ad8: MSTORE
00000ad9: PUSH1 0x40
00000adb: DUP2
00000adc: KECCAK256
00000add: PUSH1 0x03
00000adf: DUP1
00000ae0: SLOAD
00000ae1: SWAP2
00000ae2: SWAP3
00000ae3: SWAP2
00000ae4: DUP5
00000ae5: SWAP1
00000ae6: DUP2
00000ae7: LT
00000ae8: PUSH2 0x0aed
00000aeb: JUMPI
00000aec: INVALID
00000aed: JUMPDEST
00000aee: PUSH1 0x00
00000af0: SWAP2
00000af1: DUP3
00000af2: MSTORE
00000af3: PUSH1 0x20
00000af5: DUP1
00000af6: DUP4
00000af7: KECCAK256
00000af8: SWAP1
00000af9: SWAP2
00000afa: ADD
00000afb: SLOAD
00000afc: PUSH1 0x01
00000afe: PUSH1 0xa0
00000b00: PUSH1 0x02
00000b02: EXP
00000b03: SUB
00000b04: AND
00000b05: DUP4
00000b06: MSTORE
00000b07: DUP3
00000b08: ADD
00000b09: SWAP3
00000b0a: SWAP1
00000b0b: SWAP3
00000b0c: MSTORE
00000b0d: PUSH1 0x40
00000b0f: ADD
00000b10: SWAP1
00000b11: KECCAK256
00000b12: SLOAD
00000b13: PUSH1 0xff
00000b15: AND
00000b16: ISZERO
00000b17: PUSH2 0x0b21
00000b1a: JUMPI
00000b1b: PUSH1 0x01
00000b1d: DUP3
00000b1e: ADD
00000b1f: SWAP2
00000b20: POP
00000b21: JUMPDEST
00000b22: PUSH1 0x01
00000b24: ADD
00000b25: PUSH2 0x0ac4
00000b28: JUMP
00000b29: JUMPDEST
00000b2a: POP
00000b2b: SWAP2
00000b2c: SWAP1
00000b2d: POP
00000b2e: JUMP
00000b2f: JUMPDEST
00000b30: PUSH1 0x00
00000b32: PUSH1 0x20
00000b34: MSTORE
00000b35: DUP1
00000b36: PUSH1 0x00
00000b38: MSTORE
00000b39: PUSH1 0x40
00000b3b: PUSH1 0x00
00000b3d: KECCAK256
00000b3e: PUSH1 0x00
00000b40: SWAP2
00000b41: POP
00000b42: SWAP1
00000b43: POP
00000b44: DUP1
00000b45: PUSH1 0x00
00000b47: ADD
00000b48: PUSH1 0x00
00000b4a: SWAP1
00000b4b: SLOAD
00000b4c: SWAP1
00000b4d: PUSH2 0x0100
00000b50: EXP
00000b51: SWAP1
00000b52: DIV
00000b53: PUSH1 0x01
00000b55: PUSH1 0xa0
00000b57: PUSH1 0x02
00000b59: EXP
00000b5a: SUB
00000b5b: AND
00000b5c: SWAP1
00000b5d: DUP1
00000b5e: PUSH1 0x01
00000b60: ADD
00000b61: SLOAD
00000b62: SWAP1
00000b63: DUP1
00000b64: PUSH1 0x02
00000b66: ADD
00000b67: DUP1
00000b68: SLOAD
00000b69: PUSH1 0x01
00000b6b: DUP2
00000b6c: PUSH1 0x01
00000b6e: AND
00000b6f: ISZERO
00000b70: PUSH2 0x0100
00000b73: MUL
00000b74: SUB
00000b75: AND
00000b76: PUSH1 0x02
00000b78: SWAP1
00000b79: DIV
00000b7a: DUP1
00000b7b: PUSH1 0x1f
00000b7d: ADD
00000b7e: PUSH1 0x20
00000b80: DUP1
00000b81: SWAP2
00000b82: DIV
00000b83: MUL
00000b84: PUSH1 0x20
00000b86: ADD
00000b87: PUSH1 0x40
00000b89: MLOAD
00000b8a: SWAP1
00000b8b: DUP2
00000b8c: ADD
00000b8d: PUSH1 0x40
00000b8f: MSTORE
00000b90: DUP1
00000b91: SWAP3
00000b92: SWAP2
00000b93: SWAP1
00000b94: DUP2
00000b95: DUP2
00000b96: MSTORE
00000b97: PUSH1 0x20
00000b99: ADD
00000b9a: DUP3
00000b9b: DUP1
00000b9c: SLOAD
00000b9d: PUSH1 0x01
00000b9f: DUP2
00000ba0: PUSH1 0x01
00000ba2: AND
00000ba3: ISZERO
00000ba4: PUSH2 0x0100
00000ba7: MUL
00000ba8: SUB
00000ba9: AND
00000baa: PUSH1 0x02
00000bac: SWAP1
00000bad: DIV
00000bae: DUP1
00000baf: ISZERO
00000bb0: PUSH2 0x0bfa
00000bb3: JUMPI
00000bb4: DUP1
00000bb5: PUSH1 0x1f
00000bb7: LT
00000bb8: PUSH2 0x0bcf
00000bbb: JUMPI
00000bbc: PUSH2 0x0100
00000bbf: DUP1
00000bc0: DUP4
00000bc1: SLOAD
00000bc2: DIV
00000bc3: MUL
00000bc4: DUP4
00000bc5: MSTORE
00000bc6: SWAP2
00000bc7: PUSH1 0x20
00000bc9: ADD
00000bca: SWAP2
00000bcb: PUSH2 0x0bfa
00000bce: JUMP
00000bcf: JUMPDEST
00000bd0: DUP3
00000bd1: ADD
00000bd2: SWAP2
00000bd3: SWAP1
00000bd4: PUSH1 0x00
00000bd6: MSTORE
00000bd7: PUSH1 0x20
00000bd9: PUSH1 0x00
00000bdb: KECCAK256
00000bdc: SWAP1
00000bdd: JUMPDEST
00000bde: DUP2
00000bdf: SLOAD
00000be0: DUP2
00000be1: MSTORE
00000be2: SWAP1
00000be3: PUSH1 0x01
00000be5: ADD
00000be6: SWAP1
00000be7: PUSH1 0x20
00000be9: ADD
00000bea: DUP1
00000beb: DUP4
00000bec: GT
00000bed: PUSH2 0x0bdd
00000bf0: JUMPI
00000bf1: DUP3
00000bf2: SWAP1
00000bf3: SUB
00000bf4: PUSH1 0x1f
00000bf6: AND
00000bf7: DUP3
00000bf8: ADD
00000bf9: SWAP2
00000bfa: JUMPDEST
00000bfb: POP
00000bfc: POP
00000bfd: POP
00000bfe: PUSH1 0x03
00000c00: SWAP1
00000c01: SWAP4
00000c02: ADD
00000c03: SLOAD
00000c04: SWAP2
00000c05: SWAP3
00000c06: POP
00000c07: POP
00000c08: PUSH1 0xff
00000c0a: AND
00000c0b: DUP5
00000c0c: JUMP
00000c0d: JUMPDEST
00000c0e: PUSH2 0x0c15
00000c11: PUSH2 0x15df
00000c14: JUMP
00000c15: JUMPDEST
00000c16: PUSH1 0x03
00000c18: DUP1
00000c19: SLOAD
00000c1a: DUP1
00000c1b: PUSH1 0x20
00000c1d: MUL
00000c1e: PUSH1 0x20
00000c20: ADD
00000c21: PUSH1 0x40
00000c23: MLOAD
00000c24: SWAP1
00000c25: DUP2
00000c26: ADD
00000c27: PUSH1 0x40
00000c29: MSTORE
00000c2a: DUP1
00000c2b: SWAP3
00000c2c: SWAP2
00000c2d: SWAP1
00000c2e: DUP2
00000c2f: DUP2
00000c30: MSTORE
00000c31: PUSH1 0x20
00000c33: ADD
00000c34: DUP3
00000c35: DUP1
00000c36: SLOAD
00000c37: DUP1
00000c38: ISZERO
00000c39: PUSH2 0x0c6b
00000c3c: JUMPI
00000c3d: PUSH1 0x20
00000c3f: MUL
00000c40: DUP3
00000c41: ADD
00000c42: SWAP2
00000c43: SWAP1
00000c44: PUSH1 0x00
00000c46: MSTORE
00000c47: PUSH1 0x20
00000c49: PUSH1 0x00
00000c4b: KECCAK256
00000c4c: SWAP1
00000c4d: JUMPDEST
00000c4e: DUP2
00000c4f: SLOAD
00000c50: PUSH1 0x01
00000c52: PUSH1 0xa0
00000c54: PUSH1 0x02
00000c56: EXP
00000c57: SUB
00000c58: AND
00000c59: DUP2
00000c5a: MSTORE
00000c5b: PUSH1 0x01
00000c5d: SWAP1
00000c5e: SWAP2
00000c5f: ADD
00000c60: SWAP1
00000c61: PUSH1 0x20
00000c63: ADD
00000c64: DUP1
00000c65: DUP4
00000c66: GT
00000c67: PUSH2 0x0c4d
00000c6a: JUMPI
00000c6b: JUMPDEST
00000c6c: POP
00000c6d: POP
00000c6e: POP
00000c6f: POP
00000c70: POP
00000c71: SWAP1
00000c72: POP
00000c73: SWAP1
00000c74: JUMP
00000c75: JUMPDEST
00000c76: PUSH2 0x0c7d
00000c79: PUSH2 0x15df
00000c7c: JUMP
00000c7d: JUMPDEST
00000c7e: PUSH2 0x0c85
00000c81: PUSH2 0x15df
00000c84: JUMP
00000c85: JUMPDEST
00000c86: PUSH1 0x00
00000c88: DUP1
00000c89: PUSH1 0x05
00000c8b: SLOAD
00000c8c: PUSH1 0x40
00000c8e: MLOAD
00000c8f: DUP1
00000c90: MSIZE
00000c91: LT
00000c92: PUSH2 0x0c98
00000c95: JUMPI
00000c96: POP
00000c97: MSIZE
00000c98: JUMPDEST
00000c99: SWAP1
00000c9a: DUP1
00000c9b: DUP3
00000c9c: MSTORE
00000c9d: DUP1
00000c9e: PUSH1 0x20
00000ca0: MUL
00000ca1: PUSH1 0x20
00000ca3: ADD
00000ca4: DUP3
00000ca5: ADD
00000ca6: PUSH1 0x40
00000ca8: MSTORE
00000ca9: POP
00000caa: SWAP3
00000cab: POP
00000cac: PUSH1 0x00
00000cae: SWAP2
00000caf: POP
00000cb0: PUSH1 0x00
00000cb2: SWAP1
00000cb3: POP
00000cb4: JUMPDEST
00000cb5: PUSH1 0x05
00000cb7: SLOAD
00000cb8: DUP2
00000cb9: LT
00000cba: ISZERO
00000cbb: PUSH2 0x0d2d
00000cbe: JUMPI
00000cbf: DUP6
00000cc0: DUP1
00000cc1: ISZERO
00000cc2: PUSH2 0x0cdd
00000cc5: JUMPI
00000cc6: POP
00000cc7: PUSH1 0x00
00000cc9: DUP2
00000cca: DUP2
00000ccb: MSTORE
00000ccc: PUSH1 0x20
00000cce: DUP2
00000ccf: SWAP1
00000cd0: MSTORE
00000cd1: PUSH1 0x40
00000cd3: SWAP1
00000cd4: KECCAK256
00000cd5: PUSH1 0x03
00000cd7: ADD
00000cd8: SLOAD
00000cd9: PUSH1 0xff
00000cdb: AND
00000cdc: ISZERO
00000cdd: JUMPDEST
00000cde: DUP1
00000cdf: PUSH2 0x0d01
00000ce2: JUMPI
00000ce3: POP
00000ce4: DUP5
00000ce5: DUP1
00000ce6: ISZERO
00000ce7: PUSH2 0x0d01
00000cea: JUMPI
00000ceb: POP
00000cec: PUSH1 0x00
00000cee: DUP2
00000cef: DUP2
00000cf0: MSTORE
00000cf1: PUSH1 0x20
00000cf3: DUP2
00000cf4: SWAP1
00000cf5: MSTORE
00000cf6: PUSH1 0x40
00000cf8: SWAP1
00000cf9: KECCAK256
00000cfa: PUSH1 0x03
00000cfc: ADD
00000cfd: SLOAD
00000cfe: PUSH1 0xff
00000d00: AND
00000d01: JUMPDEST
00000d02: ISZERO
00000d03: PUSH2 0x0d25
00000d06: JUMPI
00000d07: DUP1
00000d08: DUP4
00000d09: DUP4
00000d0a: DUP2
00000d0b: MLOAD
00000d0c: DUP2
00000d0d: LT
00000d0e: PUSH2 0x0d13
00000d11: JUMPI
00000d12: INVALID
00000d13: JUMPDEST
00000d14: PUSH1 0x20
00000d16: SWAP1
00000d17: DUP2
00000d18: MUL
00000d19: SWAP1
00000d1a: SWAP2
00000d1b: ADD
00000d1c: ADD
00000d1d: MSTORE
00000d1e: PUSH1 0x01
00000d20: SWAP2
00000d21: SWAP1
00000d22: SWAP2
00000d23: ADD
00000d24: SWAP1
00000d25: JUMPDEST
00000d26: PUSH1 0x01
00000d28: ADD
00000d29: PUSH2 0x0cb4
00000d2c: JUMP
00000d2d: JUMPDEST
00000d2e: DUP8
00000d2f: DUP8
00000d30: SUB
00000d31: PUSH1 0x40
00000d33: MLOAD
00000d34: DUP1
00000d35: MSIZE
00000d36: LT
00000d37: PUSH2 0x0d3d
00000d3a: JUMPI
00000d3b: POP
00000d3c: MSIZE
00000d3d: JUMPDEST
00000d3e: SWAP1
00000d3f: DUP1
00000d40: DUP3
00000d41: MSTORE
00000d42: DUP1
00000d43: PUSH1 0x20
00000d45: MUL
00000d46: PUSH1 0x20
00000d48: ADD
00000d49: DUP3
00000d4a: ADD
00000d4b: PUSH1 0x40
00000d4d: MSTORE
00000d4e: POP
00000d4f: SWAP4
00000d50: POP
00000d51: DUP8
00000d52: SWAP1
00000d53: POP
00000d54: JUMPDEST
00000d55: DUP7
00000d56: DUP2
00000d57: LT
00000d58: ISZERO
00000d59: PUSH2 0x0d92
00000d5c: JUMPI
00000d5d: DUP3
00000d5e: DUP2
00000d5f: DUP2
00000d60: MLOAD
00000d61: DUP2
00000d62: LT
00000d63: PUSH2 0x0d68
00000d66: JUMPI
00000d67: INVALID
00000d68: JUMPDEST
00000d69: SWAP1
00000d6a: PUSH1 0x20
00000d6c: ADD
00000d6d: SWAP1
00000d6e: PUSH1 0x20
00000d70: MUL
00000d71: ADD
00000d72: MLOAD
00000d73: DUP5
00000d74: DUP10
00000d75: DUP4
00000d76: SUB
00000d77: DUP2
00000d78: MLOAD
00000d79: DUP2
00000d7a: LT
00000d7b: PUSH2 0x0d80
00000d7e: JUMPI
00000d7f: INVALID
00000d80: JUMPDEST
00000d81: PUSH1 0x20
00000d83: SWAP1
00000d84: DUP2
00000d85: MUL
00000d86: SWAP1
00000d87: SWAP2
00000d88: ADD
00000d89: ADD
00000d8a: MSTORE
00000d8b: PUSH1 0x01
00000d8d: ADD
00000d8e: PUSH2 0x0d54
00000d91: JUMP
00000d92: JUMPDEST
00000d93: POP
00000d94: POP
00000d95: POP
00000d96: SWAP5
00000d97: SWAP4
00000d98: POP
00000d99: POP
00000d9a: POP
00000d9b: POP
00000d9c: JUMP
00000d9d: JUMPDEST
00000d9e: PUSH2 0x0da5
00000da1: PUSH2 0x15df
00000da4: JUMP
00000da5: JUMPDEST
00000da6: PUSH2 0x0dad
00000da9: PUSH2 0x15df
00000dac: JUMP
00000dad: JUMPDEST
00000dae: PUSH1 0x03
00000db0: SLOAD
00000db1: PUSH1 0x00
00000db3: SWAP1
00000db4: DUP2
00000db5: SWAP1
00000db6: PUSH1 0x40
00000db8: MLOAD
00000db9: DUP1
00000dba: MSIZE
00000dbb: LT
00000dbc: PUSH2 0x0dc2
00000dbf: JUMPI
00000dc0: POP
00000dc1: MSIZE
00000dc2: JUMPDEST
00000dc3: SWAP1
00000dc4: DUP1
00000dc5: DUP3
00000dc6: MSTORE
00000dc7: DUP1
00000dc8: PUSH1 0x20
00000dca: MUL
00000dcb: PUSH1 0x20
00000dcd: ADD
00000dce: DUP3
00000dcf: ADD
00000dd0: PUSH1 0x40
00000dd2: MSTORE
00000dd3: POP
00000dd4: SWAP3
00000dd5: POP
00000dd6: PUSH1 0x00
00000dd8: SWAP2
00000dd9: POP
00000dda: PUSH1 0x00
00000ddc: SWAP1
00000ddd: POP
00000dde: JUMPDEST
00000ddf: PUSH1 0x03
00000de1: SLOAD
00000de2: DUP2
00000de3: LT
00000de4: ISZERO
00000de5: PUSH2 0x0e8a
00000de8: JUMPI
00000de9: PUSH1 0x00
00000deb: DUP6
00000dec: DUP2
00000ded: MSTORE
00000dee: PUSH1 0x01
00000df0: PUSH1 0x20
00000df2: MSTORE
00000df3: PUSH1 0x40
00000df5: DUP2
00000df6: KECCAK256
00000df7: PUSH1 0x03
00000df9: DUP1
00000dfa: SLOAD
00000dfb: SWAP2
00000dfc: SWAP3
00000dfd: SWAP2
00000dfe: DUP5
00000dff: SWAP1
00000e00: DUP2
00000e01: LT
00000e02: PUSH2 0x0e07
00000e05: JUMPI
00000e06: INVALID
00000e07: JUMPDEST
00000e08: PUSH1 0x00
00000e0a: SWAP2
00000e0b: DUP3
00000e0c: MSTORE
00000e0d: PUSH1 0x20
00000e0f: DUP1
00000e10: DUP4
00000e11: KECCAK256
00000e12: SWAP1
00000e13: SWAP2
00000e14: ADD
00000e15: SLOAD
00000e16: PUSH1 0x01
00000e18: PUSH1 0xa0
00000e1a: PUSH1 0x02
00000e1c: EXP
00000e1d: SUB
00000e1e: AND
00000e1f: DUP4
00000e20: MSTORE
00000e21: DUP3
00000e22: ADD
00000e23: SWAP3
00000e24: SWAP1
00000e25: SWAP3
00000e26: MSTORE
00000e27: PUSH1 0x40
00000e29: ADD
00000e2a: SWAP1
00000e2b: KECCAK256
00000e2c: SLOAD
00000e2d: PUSH1 0xff
00000e2f: AND
00000e30: ISZERO
00000e31: PUSH2 0x0e82
00000e34: JUMPI
00000e35: PUSH1 0x03
00000e37: DUP1
00000e38: SLOAD
00000e39: DUP3
00000e3a: SWAP1
00000e3b: DUP2
00000e3c: LT
00000e3d: PUSH2 0x0e42
00000e40: JUMPI
00000e41: INVALID
00000e42: JUMPDEST
00000e43: PUSH1 0x00
00000e45: SWAP2
00000e46: DUP3
00000e47: MSTORE
00000e48: PUSH1 0x20
00000e4a: SWAP1
00000e4b: SWAP2
00000e4c: KECCAK256
00000e4d: ADD
00000e4e: SLOAD
00000e4f: PUSH1 0x01
00000e51: PUSH1 0xa0
00000e53: PUSH1 0x02
00000e55: EXP
00000e56: SUB
00000e57: AND
00000e58: DUP4
00000e59: DUP4
00000e5a: DUP2
00000e5b: MLOAD
00000e5c: DUP2
00000e5d: LT
00000e5e: PUSH2 0x0e63
00000e61: JUMPI
00000e62: INVALID
00000e63: JUMPDEST
00000e64: PUSH1 0x01
00000e66: PUSH1 0xa0
00000e68: PUSH1 0x02
00000e6a: EXP
00000e6b: SUB
00000e6c: SWAP1
00000e6d: SWAP3
00000e6e: AND
00000e6f: PUSH1 0x20
00000e71: SWAP3
00000e72: DUP4
00000e73: MUL
00000e74: SWAP1
00000e75: SWAP2
00000e76: ADD
00000e77: SWAP1
00000e78: SWAP2
00000e79: ADD
00000e7a: MSTORE
00000e7b: PUSH1 0x01
00000e7d: SWAP2
00000e7e: SWAP1
00000e7f: SWAP2
00000e80: ADD
00000e81: SWAP1
00000e82: JUMPDEST
00000e83: PUSH1 0x01
00000e85: ADD
00000e86: PUSH2 0x0dde
00000e89: JUMP
00000e8a: JUMPDEST
00000e8b: DUP2
00000e8c: PUSH1 0x40
00000e8e: MLOAD
00000e8f: DUP1
00000e90: MSIZE
00000e91: LT
00000e92: PUSH2 0x0e98
00000e95: JUMPI
00000e96: POP
00000e97: MSIZE
00000e98: JUMPDEST
00000e99: SWAP1
00000e9a: DUP1
00000e9b: DUP3
00000e9c: MSTORE
00000e9d: DUP1
00000e9e: PUSH1 0x20
00000ea0: MUL
00000ea1: PUSH1 0x20
00000ea3: ADD
00000ea4: DUP3
00000ea5: ADD
00000ea6: PUSH1 0x40
00000ea8: MSTORE
00000ea9: POP
00000eaa: SWAP4
00000eab: POP
00000eac: PUSH1 0x00
00000eae: SWAP1
00000eaf: POP
00000eb0: JUMPDEST
00000eb1: DUP2
00000eb2: DUP2
00000eb3: LT
00000eb4: ISZERO
00000eb5: PUSH2 0x0ef9
00000eb8: JUMPI
00000eb9: DUP3
00000eba: DUP2
00000ebb: DUP2
00000ebc: MLOAD
00000ebd: DUP2
00000ebe: LT
00000ebf: PUSH2 0x0ec4
00000ec2: JUMPI
00000ec3: INVALID
00000ec4: JUMPDEST
00000ec5: SWAP1
00000ec6: PUSH1 0x20
00000ec8: ADD
00000ec9: SWAP1
00000eca: PUSH1 0x20
00000ecc: MUL
00000ecd: ADD
00000ece: MLOAD
00000ecf: DUP5
00000ed0: DUP3
00000ed1: DUP2
00000ed2: MLOAD
00000ed3: DUP2
00000ed4: LT
00000ed5: PUSH2 0x0eda
00000ed8: JUMPI
00000ed9: INVALID
00000eda: JUMPDEST
00000edb: PUSH1 0x01
00000edd: PUSH1 0xa0
00000edf: PUSH1 0x02
00000ee1: EXP
00000ee2: SUB
00000ee3: SWAP1
00000ee4: SWAP3
00000ee5: AND
00000ee6: PUSH1 0x20
00000ee8: SWAP3
00000ee9: DUP4
00000eea: MUL
00000eeb: SWAP1
00000eec: SWAP2
00000eed: ADD
00000eee: SWAP1
00000eef: SWAP2
00000ef0: ADD
00000ef1: MSTORE
00000ef2: PUSH1 0x01
00000ef4: ADD
00000ef5: PUSH2 0x0eb0
00000ef8: JUMP
00000ef9: JUMPDEST
00000efa: POP
00000efb: POP
00000efc: POP
00000efd: SWAP2
00000efe: SWAP1
00000eff: POP
00000f00: JUMP
00000f01: JUMPDEST
00000f02: PUSH1 0x05
00000f04: SLOAD
00000f05: DUP2
00000f06: JUMP
00000f07: JUMPDEST
00000f08: ADDRESS
00000f09: PUSH1 0x01
00000f0b: PUSH1 0xa0
00000f0d: PUSH1 0x02
00000f0f: EXP
00000f10: SUB
00000f11: AND
00000f12: CALLER
00000f13: PUSH1 0x01
00000f15: PUSH1 0xa0
00000f17: PUSH1 0x02
00000f19: EXP
00000f1a: SUB
00000f1b: AND
00000f1c: EQ
00000f1d: ISZERO
00000f1e: ISZERO
00000f1f: PUSH2 0x0f27
00000f22: JUMPI
00000f23: PUSH1 0x00
00000f25: DUP1
00000f26: REVERT
00000f27: JUMPDEST
00000f28: PUSH1 0x03
00000f2a: SLOAD
00000f2b: DUP2
00000f2c: PUSH1 0x32
00000f2e: DUP3
00000f2f: GT
00000f30: DUP1
00000f31: PUSH2 0x0f39
00000f34: JUMPI
00000f35: POP
00000f36: DUP2
00000f37: DUP2
00000f38: GT
00000f39: JUMPDEST
00000f3a: DUP1
00000f3b: PUSH2 0x0f42
00000f3e: JUMPI
00000f3f: POP
00000f40: DUP1
00000f41: ISZERO
00000f42: JUMPDEST
00000f43: DUP1
00000f44: PUSH2 0x0f4b
00000f47: JUMPI
00000f48: POP
00000f49: DUP2
00000f4a: ISZERO
00000f4b: JUMPDEST
00000f4c: ISZERO
00000f4d: PUSH2 0x0f55
00000f50: JUMPI
00000f51: PUSH1 0x00
00000f53: DUP1
00000f54: REVERT
00000f55: JUMPDEST
00000f56: PUSH1 0x04
00000f58: DUP4
00000f59: SWAP1
00000f5a: SSTORE
00000f5b: PUSH32 0xa3f1ee9126a074d9326c682f561767f710e927faa811f7a99829d49dc421797a
00000f7c: DUP4
00000f7d: PUSH1 0x40
00000f7f: MLOAD
00000f80: SWAP1
00000f81: DUP2
00000f82: MSTORE
00000f83: PUSH1 0x20
00000f85: ADD
00000f86: PUSH1 0x40
00000f88: MLOAD
00000f89: DUP1
00000f8a: SWAP2
00000f8b: SUB
00000f8c: SWAP1
00000f8d: LOG1
00000f8e: POP
00000f8f: POP
00000f90: POP
00000f91: JUMP
00000f92: JUMPDEST
00000f93: CALLER
00000f94: PUSH1 0x01
00000f96: PUSH1 0xa0
00000f98: PUSH1 0x02
00000f9a: EXP
00000f9b: SUB
00000f9c: DUP2
00000f9d: AND
00000f9e: PUSH1 0x00
00000fa0: SWAP1
00000fa1: DUP2
00000fa2: MSTORE
00000fa3: PUSH1 0x02
00000fa5: PUSH1 0x20
00000fa7: MSTORE
00000fa8: PUSH1 0x40
00000faa: SWAP1
00000fab: KECCAK256
00000fac: SLOAD
00000fad: PUSH1 0xff
00000faf: AND
00000fb0: ISZERO
00000fb1: ISZERO
00000fb2: PUSH2 0x0fba
00000fb5: JUMPI
00000fb6: PUSH1 0x00
00000fb8: DUP1
00000fb9: REVERT
00000fba: JUMPDEST
00000fbb: PUSH1 0x00
00000fbd: DUP3
00000fbe: DUP2
00000fbf: MSTORE
00000fc0: PUSH1 0x20
00000fc2: DUP2
00000fc3: SWAP1
00000fc4: MSTORE
00000fc5: PUSH1 0x40
00000fc7: SWAP1
00000fc8: KECCAK256
00000fc9: SLOAD
00000fca: DUP3
00000fcb: SWAP1
00000fcc: PUSH1 0x01
00000fce: PUSH1 0xa0
00000fd0: PUSH1 0x02
00000fd2: EXP
00000fd3: SUB
00000fd4: AND
00000fd5: ISZERO
00000fd6: ISZERO
00000fd7: PUSH2 0x0fdf
00000fda: JUMPI
00000fdb: PUSH1 0x00
00000fdd: DUP1
00000fde: REVERT
00000fdf: JUMPDEST
00000fe0: PUSH1 0x00
00000fe2: DUP4
00000fe3: DUP2
00000fe4: MSTORE
00000fe5: PUSH1 0x01
00000fe7: PUSH1 0x20
00000fe9: SWAP1
00000fea: DUP2
00000feb: MSTORE
00000fec: PUSH1 0x40
00000fee: DUP1
00000fef: DUP4
00000ff0: KECCAK256
00000ff1: CALLER
00000ff2: PUSH1 0x01
00000ff4: PUSH1 0xa0
00000ff6: PUSH1 0x02
00000ff8: EXP
00000ff9: SUB
00000ffa: DUP2
00000ffb: AND
00000ffc: DUP6
00000ffd: MSTORE
00000ffe: SWAP3
00000fff: MSTORE
00001000: SWAP1
00001001: SWAP2
00001002: KECCAK256
00001003: SLOAD
00001004: DUP5
00001005: SWAP2
00001006: SWAP1
00001007: PUSH1 0xff
00001009: AND
0000100a: ISZERO
0000100b: PUSH2 0x1013
0000100e: JUMPI
0000100f: PUSH1 0x00
00001011: DUP1
00001012: REVERT
00001013: JUMPDEST
00001014: PUSH1 0x00
00001016: DUP6
00001017: DUP2
00001018: MSTORE
00001019: PUSH1 0x01
0000101b: PUSH1 0x20
0000101d: DUP2
0000101e: DUP2
0000101f: MSTORE
00001020: PUSH1 0x40
00001022: DUP1
00001023: DUP5
00001024: KECCAK256
00001025: PUSH1 0x01
00001027: PUSH1 0xa0
00001029: PUSH1 0x02
0000102b: EXP
0000102c: SUB
0000102d: CALLER
0000102e: AND
0000102f: DUP1
00001030: DUP7
00001031: MSTORE
00001032: SWAP3
00001033: MSTORE
00001034: SWAP3
00001035: DUP4
00001036: SWAP1
00001037: KECCAK256
00001038: DUP1
00001039: SLOAD
0000103a: PUSH1 0xff
0000103c: NOT
0000103d: AND
0000103e: SWAP1
0000103f: SWAP3
00001040: OR
00001041: SWAP1
00001042: SWAP2
00001043: SSTORE
00001044: DUP7
00001045: SWAP2
00001046: PUSH32 0x4a504a94899432a9846e1aa406dceb1bcfd538bb839071d49d1e5e23f5be30ef
00001067: SWAP1
00001068: MLOAD
00001069: PUSH1 0x40
0000106b: MLOAD
0000106c: DUP1
0000106d: SWAP2
0000106e: SUB
0000106f: SWAP1
00001070: LOG3
00001071: PUSH2 0x1079
00001074: DUP6
00001075: PUSH2 0x12b3
00001078: JUMP
00001079: JUMPDEST
0000107a: POP
0000107b: POP
0000107c: POP
0000107d: POP
0000107e: POP
0000107f: JUMP
00001080: JUMPDEST
00001081: PUSH1 0x00
00001083: PUSH2 0x108d
00001086: DUP5
00001087: DUP5
00001088: DUP5
00001089: PUSH2 0x1471
0000108c: JUMP
0000108d: JUMPDEST
0000108e: SWAP1
0000108f: POP
00001090: PUSH2 0x1098
00001093: DUP2
00001094: PUSH2 0x0f92
00001097: JUMP
00001098: JUMPDEST
00001099: SWAP4
0000109a: SWAP3
0000109b: POP
0000109c: POP
0000109d: POP
0000109e: JUMP
0000109f: JUMPDEST
000010a0: ADDRESS
000010a1: PUSH1 0x01
000010a3: PUSH1 0xa0
000010a5: PUSH1 0x02
000010a7: EXP
000010a8: SUB
000010a9: AND
000010aa: CALLER
000010ab: PUSH1 0x01
000010ad: PUSH1 0xa0
000010af: PUSH1 0x02
000010b1: EXP
000010b2: SUB
000010b3: AND
000010b4: EQ
000010b5: ISZERO
000010b6: ISZERO
000010b7: PUSH2 0x10bf
000010ba: JUMPI
000010bb: PUSH1 0x00
000010bd: DUP1
000010be: REVERT
000010bf: JUMPDEST
000010c0: PUSH1 0x06
000010c2: DUP2
000010c3: SWAP1
000010c4: SSTORE
000010c5: PUSH32 0xc71bdc6afaf9b1aa90a7078191d4fc1adf3bf680fca3183697df6b0dc226bca2
000010e6: DUP2
000010e7: PUSH1 0x40
000010e9: MLOAD
000010ea: SWAP1
000010eb: DUP2
000010ec: MSTORE
000010ed: PUSH1 0x20
000010ef: ADD
000010f0: PUSH1 0x40
000010f2: MLOAD
000010f3: DUP1
000010f4: SWAP2
000010f5: SUB
000010f6: SWAP1
000010f7: LOG1
000010f8: POP
000010f9: JUMP
000010fa: JUMPDEST
000010fb: PUSH1 0x32
000010fd: DUP2
000010fe: JUMP
000010ff: JUMPDEST
00001100: PUSH1 0x04
00001102: SLOAD
00001103: DUP2
00001104: JUMP
00001105: JUMPDEST
00001106: PUSH1 0x00
00001108: ADDRESS
00001109: PUSH1 0x01
0000110b: PUSH1 0xa0
0000110d: PUSH1 0x02
0000110f: EXP
00001110: SUB
00001111: AND
00001112: CALLER
00001113: PUSH1 0x01
00001115: PUSH1 0xa0
00001117: PUSH1 0x02
00001119: EXP
0000111a: SUB
0000111b: AND
0000111c: EQ
0000111d: ISZERO
0000111e: ISZERO
0000111f: PUSH2 0x1127
00001122: JUMPI
00001123: PUSH1 0x00
00001125: DUP1
00001126: REVERT
00001127: JUMPDEST
00001128: PUSH1 0x01
0000112a: PUSH1 0xa0
0000112c: PUSH1 0x02
0000112e: EXP
0000112f: SUB
00001130: DUP4
00001131: AND
00001132: PUSH1 0x00
00001134: SWAP1
00001135: DUP2
00001136: MSTORE
00001137: PUSH1 0x02
00001139: PUSH1 0x20
0000113b: MSTORE
0000113c: PUSH1 0x40
0000113e: SWAP1
0000113f: KECCAK256
00001140: SLOAD
00001141: DUP4
00001142: SWAP1
00001143: PUSH1 0xff
00001145: AND
00001146: ISZERO
00001147: ISZERO
00001148: PUSH2 0x1150
0000114b: JUMPI
0000114c: PUSH1 0x00
0000114e: DUP1
0000114f: REVERT
00001150: JUMPDEST
00001151: PUSH1 0x01
00001153: PUSH1 0xa0
00001155: PUSH1 0x02
00001157: EXP
00001158: SUB
00001159: DUP4
0000115a: AND
0000115b: PUSH1 0x00
0000115d: SWAP1
0000115e: DUP2
0000115f: MSTORE
00001160: PUSH1 0x02
00001162: PUSH1 0x20
00001164: MSTORE
00001165: PUSH1 0x40
00001167: SWAP1
00001168: KECCAK256
00001169: SLOAD
0000116a: DUP4
0000116b: SWAP1
0000116c: PUSH1 0xff
0000116e: AND
0000116f: ISZERO
00001170: PUSH2 0x1178
00001173: JUMPI
00001174: PUSH1 0x00
00001176: DUP1
00001177: REVERT
00001178: JUMPDEST
00001179: PUSH1 0x00
0000117b: SWAP3
0000117c: POP
0000117d: JUMPDEST
0000117e: PUSH1 0x03
00001180: SLOAD
00001181: DUP4
00001182: LT
00001183: ISZERO
00001184: PUSH2 0x1211
00001187: JUMPI
00001188: DUP5
00001189: PUSH1 0x01
0000118b: PUSH1 0xa0
0000118d: PUSH1 0x02
0000118f: EXP
00001190: SUB
00001191: AND
00001192: PUSH1 0x03
00001194: DUP5
00001195: DUP2
00001196: SLOAD
00001197: DUP2
00001198: LT
00001199: ISZERO
0000119a: ISZERO
0000119b: PUSH2 0x11a0
0000119e: JUMPI
0000119f: INVALID
000011a0: JUMPDEST
000011a1: PUSH1 0x00
000011a3: SWAP2
000011a4: DUP3
000011a5: MSTORE
000011a6: PUSH1 0x20
000011a8: SWAP1
000011a9: SWAP2
000011aa: KECCAK256
000011ab: ADD
000011ac: SLOAD
000011ad: PUSH1 0x01
000011af: PUSH1 0xa0
000011b1: PUSH1 0x02
000011b3: EXP
000011b4: SUB
000011b5: AND
000011b6: EQ
000011b7: ISZERO
000011b8: PUSH2 0x1206
000011bb: JUMPI
000011bc: DUP4
000011bd: PUSH1 0x03
000011bf: DUP5
000011c0: DUP2
000011c1: SLOAD
000011c2: DUP2
000011c3: LT
000011c4: ISZERO
000011c5: ISZERO
000011c6: PUSH2 0x11cb
000011c9: JUMPI
000011ca: INVALID
000011cb: JUMPDEST
000011cc: PUSH1 0x00
000011ce: SWAP2
000011cf: DUP3
000011d0: MSTORE
000011d1: PUSH1 0x20
000011d3: SWAP1
000011d4: SWAP2
000011d5: KECCAK256
000011d6: ADD
000011d7: DUP1
000011d8: SLOAD
000011d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011ee: NOT
000011ef: AND
000011f0: PUSH1 0x01
000011f2: PUSH1 0xa0
000011f4: PUSH1 0x02
000011f6: EXP
000011f7: SUB
000011f8: SWAP3
000011f9: SWAP1
000011fa: SWAP3
000011fb: AND
000011fc: SWAP2
000011fd: SWAP1
000011fe: SWAP2
000011ff: OR
00001200: SWAP1
00001201: SSTORE
00001202: PUSH2 0x1211
00001205: JUMP
00001206: JUMPDEST
00001207: PUSH1 0x01
00001209: SWAP1
0000120a: SWAP3
0000120b: ADD
0000120c: SWAP2
0000120d: PUSH2 0x117d
00001210: JUMP
00001211: JUMPDEST
00001212: PUSH1 0x01
00001214: PUSH1 0xa0
00001216: PUSH1 0x02
00001218: EXP
00001219: SUB
0000121a: DUP1
0000121b: DUP7
0000121c: AND
0000121d: PUSH1 0x00
0000121f: DUP2
00001220: DUP2
00001221: MSTORE
00001222: PUSH1 0x02
00001224: PUSH1 0x20
00001226: MSTORE
00001227: PUSH1 0x40
00001229: DUP1
0000122a: DUP3
0000122b: KECCAK256
0000122c: DUP1
0000122d: SLOAD
0000122e: PUSH1 0xff
00001230: NOT
00001231: SWAP1
00001232: DUP2
00001233: AND
00001234: SWAP1
00001235: SWAP2
00001236: SSTORE
00001237: SWAP4
00001238: DUP9
00001239: AND
0000123a: DUP3
0000123b: MSTORE
0000123c: SWAP1
0000123d: DUP2
0000123e: SWAP1
0000123f: KECCAK256
00001240: DUP1
00001241: SLOAD
00001242: SWAP1
00001243: SWAP4
00001244: AND
00001245: PUSH1 0x01
00001247: OR
00001248: SWAP1
00001249: SWAP3
0000124a: SSTORE
0000124b: SWAP1
0000124c: PUSH32 0x8001553a916ef2f495d26a907cc54d96ed840d7bda71e73194bf5a9df7a76b90
0000126d: SWAP1
0000126e: MLOAD
0000126f: PUSH1 0x40
00001271: MLOAD
00001272: DUP1
00001273: SWAP2
00001274: SUB
00001275: SWAP1
00001276: LOG2
00001277: DUP4
00001278: PUSH1 0x01
0000127a: PUSH1 0xa0
0000127c: PUSH1 0x02
0000127e: EXP
0000127f: SUB
00001280: AND
00001281: PUSH32 0xf39e6e1eb0edcf53c221607b54b00cd28f3196fed0a24994dc308b8f611b682d
000012a2: PUSH1 0x40
000012a4: MLOAD
000012a5: PUSH1 0x40
000012a7: MLOAD
000012a8: DUP1
000012a9: SWAP2
000012aa: SUB
000012ab: SWAP1
000012ac: LOG2
000012ad: POP
000012ae: POP
000012af: POP
000012b0: POP
000012b1: POP
000012b2: JUMP
000012b3: JUMPDEST
000012b4: PUSH1 0x00
000012b6: DUP2
000012b7: DUP2
000012b8: MSTORE
000012b9: PUSH1 0x20
000012bb: DUP2
000012bc: SWAP1
000012bd: MSTORE
000012be: PUSH1 0x40
000012c0: DUP2
000012c1: KECCAK256
000012c2: PUSH1 0x03
000012c4: ADD
000012c5: SLOAD
000012c6: DUP2
000012c7: SWAP1
000012c8: DUP4
000012c9: SWAP1
000012ca: PUSH1 0xff
000012cc: AND
000012cd: ISZERO
000012ce: PUSH2 0x12d6
000012d1: JUMPI
000012d2: PUSH1 0x00
000012d4: DUP1
000012d5: REVERT
000012d6: JUMPDEST
000012d7: PUSH1 0x00
000012d9: DUP5
000012da: DUP2
000012db: MSTORE
000012dc: PUSH1 0x20
000012de: DUP2
000012df: SWAP1
000012e0: MSTORE
000012e1: PUSH1 0x40
000012e3: SWAP1
000012e4: KECCAK256
000012e5: SWAP3
000012e6: POP
000012e7: PUSH2 0x12ef
000012ea: DUP5
000012eb: PUSH2 0x0a3c
000012ee: JUMP
000012ef: JUMPDEST
000012f0: SWAP2
000012f1: POP
000012f2: DUP2
000012f3: DUP1
000012f4: PUSH2 0x1322
000012f7: JUMPI
000012f8: POP
000012f9: PUSH1 0x02
000012fb: DUP1
000012fc: DUP5
000012fd: ADD
000012fe: SLOAD
000012ff: PUSH1 0x00
00001301: NOT
00001302: PUSH2 0x0100
00001305: PUSH1 0x01
00001307: DUP4
00001308: AND
00001309: ISZERO
0000130a: MUL
0000130b: ADD
0000130c: AND
0000130d: DIV
0000130e: ISZERO
0000130f: DUP1
00001310: ISZERO
00001311: PUSH2 0x1322
00001314: JUMPI
00001315: POP
00001316: PUSH2 0x1322
00001319: DUP4
0000131a: PUSH1 0x01
0000131c: ADD
0000131d: SLOAD
0000131e: PUSH2 0x156e
00001321: JUMP
00001322: JUMPDEST
00001323: ISZERO
00001324: PUSH2 0x1465
00001327: JUMPI
00001328: PUSH1 0x03
0000132a: DUP4
0000132b: ADD
0000132c: DUP1
0000132d: SLOAD
0000132e: PUSH1 0xff
00001330: NOT
00001331: AND
00001332: PUSH1 0x01
00001334: OR
00001335: SWAP1
00001336: SSTORE
00001337: DUP2
00001338: ISZERO
00001339: ISZERO
0000133a: PUSH2 0x134c
0000133d: JUMPI
0000133e: PUSH1 0x01
00001340: DUP4
00001341: ADD
00001342: SLOAD
00001343: PUSH1 0x08
00001345: DUP1
00001346: SLOAD
00001347: SWAP1
00001348: SWAP2
00001349: ADD
0000134a: SWAP1
0000134b: SSTORE
0000134c: JUMPDEST
0000134d: DUP3
0000134e: SLOAD
0000134f: PUSH1 0x01
00001351: DUP5
00001352: ADD
00001353: SLOAD
00001354: PUSH1 0x01
00001356: PUSH1 0xa0
00001358: PUSH1 0x02
0000135a: EXP
0000135b: SUB
0000135c: SWAP1
0000135d: SWAP2
0000135e: AND
0000135f: SWAP1
00001360: PUSH1 0x02
00001362: DUP6
00001363: ADD
00001364: PUSH1 0x40
00001366: MLOAD
00001367: DUP1
00001368: DUP3
00001369: DUP1
0000136a: SLOAD
0000136b: PUSH1 0x01
0000136d: DUP2
0000136e: PUSH1 0x01
00001370: AND
00001371: ISZERO
00001372: PUSH2 0x0100
00001375: MUL
00001376: SUB
00001377: AND
00001378: PUSH1 0x02
0000137a: SWAP1
0000137b: DIV
0000137c: DUP1
0000137d: ISZERO
0000137e: PUSH2 0x13c8
00001381: JUMPI
00001382: DUP1
00001383: PUSH1 0x1f
00001385: LT
00001386: PUSH2 0x139d
00001389: JUMPI
0000138a: PUSH2 0x0100
0000138d: DUP1
0000138e: DUP4
0000138f: SLOAD
00001390: DIV
00001391: MUL
00001392: DUP4
00001393: MSTORE
00001394: SWAP2
00001395: PUSH1 0x20
00001397: ADD
00001398: SWAP2
00001399: PUSH2 0x13c8
0000139c: JUMP
0000139d: JUMPDEST
0000139e: DUP3
0000139f: ADD
000013a0: SWAP2
000013a1: SWAP1
000013a2: PUSH1 0x00
000013a4: MSTORE
000013a5: PUSH1 0x20
000013a7: PUSH1 0x00
000013a9: KECCAK256
000013aa: SWAP1
000013ab: JUMPDEST
000013ac: DUP2
000013ad: SLOAD
000013ae: DUP2
000013af: MSTORE
000013b0: SWAP1
000013b1: PUSH1 0x01
000013b3: ADD
000013b4: SWAP1
000013b5: PUSH1 0x20
000013b7: ADD
000013b8: DUP1
000013b9: DUP4
000013ba: GT
000013bb: PUSH2 0x13ab
000013be: JUMPI
000013bf: DUP3
000013c0: SWAP1
000013c1: SUB
000013c2: PUSH1 0x1f
000013c4: AND
000013c5: DUP3
000013c6: ADD
000013c7: SWAP2
000013c8: JUMPDEST
000013c9: POP
000013ca: POP
000013cb: SWAP2
000013cc: POP
000013cd: POP
000013ce: PUSH1 0x00
000013d0: PUSH1 0x40
000013d2: MLOAD
000013d3: DUP1
000013d4: DUP4
000013d5: SUB
000013d6: DUP2
000013d7: DUP6
000013d8: DUP8
000013d9: GAS
000013da: CALL
000013db: SWAP3
000013dc: POP
000013dd: POP
000013de: POP
000013df: ISZERO
000013e0: PUSH2 0x1415
000013e3: JUMPI
000013e4: DUP4
000013e5: PUSH32 0x33e13ecb54c3076d8e8bb8c2881800a4d972b792045ffae98fdf46df365fed75
00001406: PUSH1 0x40
00001408: MLOAD
00001409: PUSH1 0x40
0000140b: MLOAD
0000140c: DUP1
0000140d: SWAP2
0000140e: SUB
0000140f: SWAP1
00001410: LOG2
00001411: PUSH2 0x1465
00001414: JUMP
00001415: JUMPDEST
00001416: DUP4
00001417: PUSH32 0x526441bb6c1aba3c9a4a6ca1d6545da9c2333c8c48343ef398eb858d72b79236
00001438: PUSH1 0x40
0000143a: MLOAD
0000143b: PUSH1 0x40
0000143d: MLOAD
0000143e: DUP1
0000143f: SWAP2
00001440: SUB
00001441: SWAP1
00001442: LOG2
00001443: PUSH1 0x03
00001445: DUP4
00001446: ADD
00001447: DUP1
00001448: SLOAD
00001449: PUSH1 0xff
0000144b: NOT
0000144c: AND
0000144d: SWAP1
0000144e: SSTORE
0000144f: DUP2
00001450: ISZERO
00001451: ISZERO
00001452: PUSH2 0x1465
00001455: JUMPI
00001456: PUSH1 0x01
00001458: DUP4
00001459: ADD
0000145a: SLOAD
0000145b: PUSH1 0x08
0000145d: DUP1
0000145e: SLOAD
0000145f: SWAP2
00001460: SWAP1
00001461: SWAP2
00001462: SUB
00001463: SWAP1
00001464: SSTORE
00001465: JUMPDEST
00001466: POP
00001467: POP
00001468: POP
00001469: POP
0000146a: JUMP
0000146b: JUMPDEST
0000146c: PUSH1 0x08
0000146e: SLOAD
0000146f: DUP2
00001470: JUMP
00001471: JUMPDEST
00001472: PUSH1 0x00
00001474: DUP4
00001475: PUSH1 0x01
00001477: PUSH1 0xa0
00001479: PUSH1 0x02
0000147b: EXP
0000147c: SUB
0000147d: DUP2
0000147e: AND
0000147f: ISZERO
00001480: ISZERO
00001481: PUSH2 0x1489
00001484: JUMPI
00001485: PUSH1 0x00
00001487: DUP1
00001488: REVERT
00001489: JUMPDEST
0000148a: PUSH1 0x05
0000148c: SLOAD
0000148d: SWAP2
0000148e: POP
0000148f: PUSH1 0x80
00001491: PUSH1 0x40
00001493: MLOAD
00001494: SWAP1
00001495: DUP2
00001496: ADD
00001497: PUSH1 0x40
00001499: SWAP1
0000149a: DUP2
0000149b: MSTORE
0000149c: PUSH1 0x01
0000149e: PUSH1 0xa0
000014a0: PUSH1 0x02
000014a2: EXP
000014a3: SUB
000014a4: DUP8
000014a5: AND
000014a6: DUP3
000014a7: MSTORE
000014a8: PUSH1 0x20
000014aa: DUP1
000014ab: DUP4
000014ac: ADD
000014ad: DUP8
000014ae: SWAP1
000014af: MSTORE
000014b0: DUP2
000014b1: DUP4
000014b2: ADD
000014b3: DUP7
000014b4: SWAP1
000014b5: MSTORE
000014b6: PUSH1 0x00
000014b8: PUSH1 0x60
000014ba: DUP5
000014bb: ADD
000014bc: DUP2
000014bd: SWAP1
000014be: MSTORE
000014bf: DUP6
000014c0: DUP2
000014c1: MSTORE
000014c2: SWAP1
000014c3: DUP2
000014c4: SWAP1
000014c5: MSTORE
000014c6: KECCAK256
000014c7: DUP2
000014c8: MLOAD
000014c9: DUP2
000014ca: SLOAD
000014cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014e0: NOT
000014e1: AND
000014e2: PUSH1 0x01
000014e4: PUSH1 0xa0
000014e6: PUSH1 0x02
000014e8: EXP
000014e9: SUB
000014ea: SWAP2
000014eb: SWAP1
000014ec: SWAP2
000014ed: AND
000014ee: OR
000014ef: DUP2
000014f0: SSTORE
000014f1: PUSH1 0x20
000014f3: DUP3
000014f4: ADD
000014f5: MLOAD
000014f6: DUP2
000014f7: PUSH1 0x01
000014f9: ADD
000014fa: SSTORE
000014fb: PUSH1 0x40
000014fd: DUP3
000014fe: ADD
000014ff: MLOAD
00001500: DUP2
00001501: PUSH1 0x02
00001503: ADD
00001504: SWAP1
00001505: DUP1
00001506: MLOAD
00001507: PUSH2 0x1514
0000150a: SWAP3
0000150b: SWAP2
0000150c: PUSH1 0x20
0000150e: ADD
0000150f: SWAP1
00001510: PUSH2 0x15f1
00001513: JUMP
00001514: JUMPDEST
00001515: POP
00001516: PUSH1 0x60
00001518: DUP3
00001519: ADD
0000151a: MLOAD
0000151b: PUSH1 0x03
0000151d: SWAP2
0000151e: SWAP1
0000151f: SWAP2
00001520: ADD
00001521: DUP1
00001522: SLOAD
00001523: PUSH1 0xff
00001525: NOT
00001526: AND
00001527: SWAP2
00001528: ISZERO
00001529: ISZERO
0000152a: SWAP2
0000152b: SWAP1
0000152c: SWAP2
0000152d: OR
0000152e: SWAP1
0000152f: SSTORE
00001530: POP
00001531: PUSH1 0x05
00001533: DUP1
00001534: SLOAD
00001535: PUSH1 0x01
00001537: ADD
00001538: SWAP1
00001539: SSTORE
0000153a: DUP2
0000153b: PUSH32 0xc0ba8fe4b176c1714197d43b9cc6bcf797a4a7461c5fe8d0ef6e184ae7601e51
0000155c: PUSH1 0x40
0000155e: MLOAD
0000155f: PUSH1 0x40
00001561: MLOAD
00001562: DUP1
00001563: SWAP2
00001564: SUB
00001565: SWAP1
00001566: LOG2
00001567: POP
00001568: SWAP4
00001569: SWAP3
0000156a: POP
0000156b: POP
0000156c: POP
0000156d: JUMP
0000156e: JUMPDEST
0000156f: PUSH1 0x00
00001571: PUSH1 0x07
00001573: SLOAD
00001574: PUSH3 0x015180
00001578: ADD
00001579: TIMESTAMP
0000157a: GT
0000157b: ISZERO
0000157c: PUSH2 0x1589
0000157f: JUMPI
00001580: TIMESTAMP
00001581: PUSH1 0x07
00001583: SSTORE
00001584: PUSH1 0x00
00001586: PUSH1 0x08
00001588: SSTORE
00001589: JUMPDEST
0000158a: PUSH1 0x06
0000158c: SLOAD
0000158d: DUP3
0000158e: PUSH1 0x08
00001590: SLOAD
00001591: ADD
00001592: GT
00001593: DUP1
00001594: PUSH2 0x15a0
00001597: JUMPI
00001598: POP
00001599: PUSH1 0x08
0000159b: SLOAD
0000159c: DUP3
0000159d: DUP2
0000159e: ADD
0000159f: LT
000015a0: JUMPDEST
000015a1: ISZERO
000015a2: PUSH2 0x15ad
000015a5: JUMPI
000015a6: POP
000015a7: PUSH1 0x00
000015a9: PUSH2 0x15b1
000015ac: JUMP
000015ad: JUMPDEST
000015ae: POP
000015af: PUSH1 0x01
000015b1: JUMPDEST
000015b2: SWAP2
000015b3: SWAP1
000015b4: POP
000015b5: JUMP
000015b6: JUMPDEST
000015b7: DUP2
000015b8: SLOAD
000015b9: DUP2
000015ba: DUP4
000015bb: SSTORE
000015bc: DUP2
000015bd: DUP2
000015be: ISZERO
000015bf: GT
000015c0: PUSH2 0x15da
000015c3: JUMPI
000015c4: PUSH1 0x00
000015c6: DUP4
000015c7: DUP2
000015c8: MSTORE
000015c9: PUSH1 0x20
000015cb: SWAP1
000015cc: KECCAK256
000015cd: PUSH2 0x15da
000015d0: SWAP2
000015d1: DUP2
000015d2: ADD
000015d3: SWAP1
000015d4: DUP4
000015d5: ADD
000015d6: PUSH2 0x166f
000015d9: JUMP
000015da: JUMPDEST
000015db: POP
000015dc: POP
000015dd: POP
000015de: JUMP
000015df: JUMPDEST
000015e0: PUSH1 0x20
000015e2: PUSH1 0x40
000015e4: MLOAD
000015e5: SWAP1
000015e6: DUP2
000015e7: ADD
000015e8: PUSH1 0x40
000015ea: MSTORE
000015eb: PUSH1 0x00
000015ed: DUP2
000015ee: MSTORE
000015ef: SWAP1
000015f0: JUMP
000015f1: JUMPDEST
000015f2: DUP3
000015f3: DUP1
000015f4: SLOAD
000015f5: PUSH1 0x01
000015f7: DUP2
000015f8: PUSH1 0x01
000015fa: AND
000015fb: ISZERO
000015fc: PUSH2 0x0100
000015ff: MUL
00001600: SUB
00001601: AND
00001602: PUSH1 0x02
00001604: SWAP1
00001605: DIV
00001606: SWAP1
00001607: PUSH1 0x00
00001609: MSTORE
0000160a: PUSH1 0x20
0000160c: PUSH1 0x00
0000160e: KECCAK256
0000160f: SWAP1
00001610: PUSH1 0x1f
00001612: ADD
00001613: PUSH1 0x20
00001615: SWAP1
00001616: DIV
00001617: DUP2
00001618: ADD
00001619: SWAP3
0000161a: DUP3
0000161b: PUSH1 0x1f
0000161d: LT
0000161e: PUSH2 0x1632
00001621: JUMPI
00001622: DUP1
00001623: MLOAD
00001624: PUSH1 0xff
00001626: NOT
00001627: AND
00001628: DUP4
00001629: DUP1
0000162a: ADD
0000162b: OR
0000162c: DUP6
0000162d: SSTORE
0000162e: PUSH2 0x165f
00001631: JUMP
00001632: JUMPDEST
00001633: DUP3
00001634: DUP1
00001635: ADD
00001636: PUSH1 0x01
00001638: ADD
00001639: DUP6
0000163a: SSTORE
0000163b: DUP3
0000163c: ISZERO
0000163d: PUSH2 0x165f
00001640: JUMPI
00001641: SWAP2
00001642: DUP3
00001643: ADD
00001644: JUMPDEST
00001645: DUP3
00001646: DUP2
00001647: GT
00001648: ISZERO
00001649: PUSH2 0x165f
0000164c: JUMPI
0000164d: DUP3
0000164e: MLOAD
0000164f: DUP3
00001650: SSTORE
00001651: SWAP2
00001652: PUSH1 0x20
00001654: ADD
00001655: SWAP2
00001656: SWAP1
00001657: PUSH1 0x01
00001659: ADD
0000165a: SWAP1
0000165b: PUSH2 0x1644
0000165e: JUMP
0000165f: JUMPDEST
00001660: POP
00001661: PUSH2 0x166b
00001664: SWAP3
00001665: SWAP2
00001666: POP
00001667: PUSH2 0x166f
0000166a: JUMP
0000166b: JUMPDEST
0000166c: POP
0000166d: SWAP1
0000166e: JUMP
0000166f: JUMPDEST
00001670: PUSH2 0x088d
00001673: SWAP2
00001674: SWAP1
00001675: JUMPDEST
00001676: DUP1
00001677: DUP3
00001678: GT
00001679: ISZERO
0000167a: PUSH2 0x166b
0000167d: JUMPI
0000167e: PUSH1 0x00
00001680: DUP2
00001681: SSTORE
00001682: PUSH1 0x01
00001684: ADD
00001685: PUSH2 0x1675
00001688: JUMP
00001689: STOP
0000168a: LOG1
0000168b: PUSH6 0x627a7a723058
00001692: KECCAK256
00001693: UNKNOWN(0xC3)
00001694: PUSH7 0x17ec2d97a3335a
0000169c: OR
0000169d: DUP16
0000169e: UNKNOWN(0xA7)
0000169f: PUSH31