Analysis Run

[codex:85070] OpenAI Codex v0.77.0 (research preview)
[codex:85070] --------
[codex:85070] workdir: /tmp/codex-multi-44n99wpu
[codex:85070] model: gpt-5.2-codex
[codex:85070] provider: openai
[codex:85070] approval: never
[codex:85070] sandbox: read-only
[codex:85070] reasoning effort: xhigh
[codex:85070] reasoning summaries: auto
[codex:85070] session id: 019b87d7-0fe2-7361-bdc6-d26b5d5fd7e1
[codex:85070] --------
[codex:85070] user
[codex:85070] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:85070] 
[codex:85070] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:85070] 
[codex:85070] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:85070] - Gas inefficiency, code quality, naming, or best practices
[codex:85070] - Theoretical vulnerabilities without a clear extraction path
[codex:85070] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:85070] - Front-running unless it enables theft beyond MEV
[codex:85070] - DoS, griefing, or issues that don't result in attacker profit
[codex:85070] - Missing events, view function issues, or informational findings
[codex:85070] 
[codex:85070] HIGH-VALUE PATTERNS TO HUNT:
[codex:85070] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:85070] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:85070] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:85070] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:85070] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:85070] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:85070] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:85070] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:85070] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:85070] 
[codex:85070] For each finding, you MUST provide:
[codex:85070] 1. Exact file and line numbers of vulnerable code
[codex:85070] 2. Step-by-step exploit transaction sequence
[codex:85070] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:85070] 
[codex:85070] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:85070] 
[codex:85070] Output MUST be valid JSON matching the provided schema.
[codex:85070] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:85070] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:85070] mcp startup: no servers
[codex:85070] 
[codex:85070] thinking
[codex:85070] **Reading AUDIT_BUNDLE.txt**
[codex:85070] exec
[codex:85070] /bin/bash -lc ls in /tmp/codex-multi-44n99wpu succeeded in 5ms:
[codex:85070] AUDIT_BUNDLE.txt
[codex:85070] codex-output-schema.json
[codex:85070] contracts
[codex:85070] exec
[codex:85070] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-44n99wpu succeeded in 5ms:
[codex:85070] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:85070] 
[codex:85070] ================================================================================
[codex:85070] FILE: contracts/Contract.sol
[codex:85070] ================================================================================
[codex:85070] /**
[codex:85070]  * Originally from https://github.com/ConsenSys/MultiSigWallet
[codex:85070]  */
[codex:85070] 
[codex:85070] 
[codex:85070] 
[codex:85070] /// @title Multisignature wallet - Allows multiple parties to agree on transactions before execution.
[codex:85070] /// @author Stefan George - <stefan.george@consensys.net>
[codex:85070] contract MultiSigWallet {
[codex:85070] 
[codex:85070]     uint constant public MAX_OWNER_COUNT = 50;
[codex:85070] 
[codex:85070]     event Confirmation(address indexed sender, uint indexed transactionId);
[codex:85070]     event Revocation(address indexed sender, uint indexed transactionId);
[codex:85070]     event Submission(uint indexed transactionId);
[codex:85070] 
[codex:85070] thinking
[codex:85070] **Analyzing multisig contract for vulnerabilities**
[codex:85070] 
[codex:85070] I'm auditing an old multisig contract written in Solidity 0.4.x, checking common issues like reentrancy and owner management bugs. After carefully walking through the logic, including storage references, modifiers, and transaction execution, I don't see exploitable profit paths or critical vulnerabilities. The contract's patterns around ownership, confirmations, and execution seem safe upon detailed review. I'll now produce the required JSON report reflecting no findings.
[codex:85070] codex
[codex:85070] {"no_findings":true,"summary":"Reviewed contracts/Contract.sol in AUDIT_BUNDLE.txt; no concrete, exploitable profit paths identified under the stated constraints.","findings":[]}
[codex:85070] tokens used
[codex:85070] 8,760
[codex:85070] {"no_findings":true,"summary":"Reviewed contracts/Contract.sol in AUDIT_BUNDLE.txt; no concrete, exploitable profit paths identified under the stated constraints.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-04T07:10:08.428016+00:00",
        "returncode": 0
    },
    "summary": "Reviewed contracts/Contract.sol in AUDIT_BUNDLE.txt; no concrete, exploitable profit paths identified under the stated constraints.",
    "raw_final": {
        "summary": "Reviewed contracts/Contract.sol in AUDIT_BUNDLE.txt; no concrete, exploitable profit paths identified under the stated constraints.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x0101
0000000a: JUMPI
0000000b: PUSH4 0xffffffff
00000010: PUSH1 0xe0
00000012: PUSH1 0x02
00000014: EXP
00000015: PUSH1 0x00
00000017: CALLDATALOAD
00000018: DIV
00000019: AND
0000001a: PUSH4 0x025e7c27
0000001f: DUP2
00000020: EQ
00000021: PUSH2 0x0153
00000024: JUMPI
00000025: DUP1
00000026: PUSH4 0x173825d9
0000002b: EQ
0000002c: PUSH2 0x017f
0000002f: JUMPI
00000030: DUP1
00000031: PUSH4 0x20ea8d86
00000036: EQ
00000037: PUSH2 0x019a
0000003a: JUMPI
0000003b: DUP1
0000003c: PUSH4 0x2f54bf6e
00000041: EQ
00000042: PUSH2 0x01ac
00000045: JUMPI
00000046: DUP1
00000047: PUSH4 0x3411c81c
0000004c: EQ
0000004d: PUSH2 0x01d9
00000050: JUMPI
00000051: DUP1
00000052: PUSH4 0x54741525
00000057: EQ
00000058: PUSH2 0x0209
0000005b: JUMPI
0000005c: DUP1
0000005d: PUSH4 0x7065cb48
00000062: EQ
00000063: PUSH2 0x0232
00000066: JUMPI
00000067: DUP1
00000068: PUSH4 0x784547a7
0000006d: EQ
0000006e: PUSH2 0x024d
00000071: JUMPI
00000072: DUP1
00000073: PUSH4 0x8b51d13f
00000078: EQ
00000079: PUSH2 0x0271
0000007c: JUMPI
0000007d: DUP1
0000007e: PUSH4 0x9ace38c2
00000083: EQ
00000084: PUSH2 0x0293
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0xa0e67e2b
0000008e: EQ
0000008f: PUSH2 0x034d
00000092: JUMPI
00000093: DUP1
00000094: PUSH4 0xa8abe69a
00000099: EQ
0000009a: PUSH2 0x03b5
0000009d: JUMPI
0000009e: DUP1
0000009f: PUSH4 0xb5dc40c3
000000a4: EQ
000000a5: PUSH2 0x042d
000000a8: JUMPI
000000a9: DUP1
000000aa: PUSH4 0xb77bf600
000000af: EQ
000000b0: PUSH2 0x0498
000000b3: JUMPI
000000b4: DUP1
000000b5: PUSH4 0xba51a6df
000000ba: EQ
000000bb: PUSH2 0x04b7
000000be: JUMPI
000000bf: DUP1
000000c0: PUSH4 0xc01a8c84
000000c5: EQ
000000c6: PUSH2 0x04c9
000000c9: JUMPI
000000ca: DUP1
000000cb: PUSH4 0xc6427474
000000d0: EQ
000000d1: PUSH2 0x04db
000000d4: JUMPI
000000d5: DUP1
000000d6: PUSH4 0xd74f8edd
000000db: EQ
000000dc: PUSH2 0x054d
000000df: JUMPI
000000e0: DUP1
000000e1: PUSH4 0xdc8452cd
000000e6: EQ
000000e7: PUSH2 0x056c
000000ea: JUMPI
000000eb: DUP1
000000ec: PUSH4 0xe20056e6
000000f1: EQ
000000f2: PUSH2 0x058b
000000f5: JUMPI
000000f6: DUP1
000000f7: PUSH4 0xee22610b
000000fc: EQ
000000fd: PUSH2 0x05ac
00000100: JUMPI
00000101: JUMPDEST
00000102: PUSH2 0x0151
00000105: JUMPDEST
00000106: PUSH1 0x00
00000108: CALLVALUE
00000109: GT
0000010a: ISZERO
0000010b: PUSH2 0x014e
0000010e: JUMPI
0000010f: PUSH1 0x40
00000111: DUP1
00000112: MLOAD
00000113: CALLVALUE
00000114: DUP2
00000115: MSTORE
00000116: SWAP1
00000117: MLOAD
00000118: PUSH1 0x01
0000011a: PUSH1 0xa0
0000011c: PUSH1 0x02
0000011e: EXP
0000011f: SUB
00000120: CALLER
00000121: AND
00000122: SWAP2
00000123: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c
00000144: SWAP2
00000145: SWAP1
00000146: DUP2
00000147: SWAP1
00000148: SUB
00000149: PUSH1 0x20
0000014b: ADD
0000014c: SWAP1
0000014d: LOG2
0000014e: JUMPDEST
0000014f: JUMPDEST
00000150: JUMP
00000151: JUMPDEST
00000152: STOP
00000153: JUMPDEST
00000154: CALLVALUE
00000155: PUSH2 0x0000
00000158: JUMPI
00000159: PUSH2 0x0163
0000015c: PUSH1 0x04
0000015e: CALLDATALOAD
0000015f: PUSH2 0x05be
00000162: JUMP
00000163: JUMPDEST
00000164: PUSH1 0x40
00000166: DUP1
00000167: MLOAD
00000168: PUSH1 0x01
0000016a: PUSH1 0xa0
0000016c: PUSH1 0x02
0000016e: EXP
0000016f: SUB
00000170: SWAP1
00000171: SWAP3
00000172: AND
00000173: DUP3
00000174: MSTORE
00000175: MLOAD
00000176: SWAP1
00000177: DUP2
00000178: SWAP1
00000179: SUB
0000017a: PUSH1 0x20
0000017c: ADD
0000017d: SWAP1
0000017e: RETURN
0000017f: JUMPDEST
00000180: CALLVALUE
00000181: PUSH2 0x0000
00000184: JUMPI
00000185: PUSH2 0x0151
00000188: PUSH1 0x01
0000018a: PUSH1 0xa0
0000018c: PUSH1 0x02
0000018e: EXP
0000018f: SUB
00000190: PUSH1 0x04
00000192: CALLDATALOAD
00000193: AND
00000194: PUSH2 0x05ee
00000197: JUMP
00000198: JUMPDEST
00000199: STOP
0000019a: JUMPDEST
0000019b: CALLVALUE
0000019c: PUSH2 0x0000
0000019f: JUMPI
000001a0: PUSH2 0x0151
000001a3: PUSH1 0x04
000001a5: CALLDATALOAD
000001a6: PUSH2 0x07cd
000001a9: JUMP
000001aa: JUMPDEST
000001ab: STOP
000001ac: JUMPDEST
000001ad: CALLVALUE
000001ae: PUSH2 0x0000
000001b1: JUMPI
000001b2: PUSH2 0x01c5
000001b5: PUSH1 0x01
000001b7: PUSH1 0xa0
000001b9: PUSH1 0x02
000001bb: EXP
000001bc: SUB
000001bd: PUSH1 0x04
000001bf: CALLDATALOAD
000001c0: AND
000001c1: PUSH2 0x08a7
000001c4: JUMP
000001c5: JUMPDEST
000001c6: PUSH1 0x40
000001c8: DUP1
000001c9: MLOAD
000001ca: SWAP2
000001cb: ISZERO
000001cc: ISZERO
000001cd: DUP3
000001ce: MSTORE
000001cf: MLOAD
000001d0: SWAP1
000001d1: DUP2
000001d2: SWAP1
000001d3: SUB
000001d4: PUSH1 0x20
000001d6: ADD
000001d7: SWAP1
000001d8: RETURN
000001d9: JUMPDEST
000001da: CALLVALUE
000001db: PUSH2 0x0000
000001de: JUMPI
000001df: PUSH2 0x01c5
000001e2: PUSH1 0x04
000001e4: CALLDATALOAD
000001e5: PUSH1 0x01
000001e7: PUSH1 0xa0
000001e9: PUSH1 0x02
000001eb: EXP
000001ec: SUB
000001ed: PUSH1 0x24
000001ef: CALLDATALOAD
000001f0: AND
000001f1: PUSH2 0x08bc
000001f4: JUMP
000001f5: JUMPDEST
000001f6: PUSH1 0x40
000001f8: DUP1
000001f9: MLOAD
000001fa: SWAP2
000001fb: ISZERO
000001fc: ISZERO
000001fd: DUP3
000001fe: MSTORE
000001ff: MLOAD
00000200: SWAP1
00000201: DUP2
00000202: SWAP1
00000203: SUB
00000204: PUSH1 0x20
00000206: ADD
00000207: SWAP1
00000208: RETURN
00000209: JUMPDEST
0000020a: CALLVALUE
0000020b: PUSH2 0x0000
0000020e: JUMPI
0000020f: PUSH2 0x0220
00000212: PUSH1 0x04
00000214: CALLDATALOAD
00000215: ISZERO
00000216: ISZERO
00000217: PUSH1 0x24
00000219: CALLDATALOAD
0000021a: ISZERO
0000021b: ISZERO
0000021c: PUSH2 0x08dc
0000021f: JUMP
00000220: JUMPDEST
00000221: PUSH1 0x40
00000223: DUP1
00000224: MLOAD
00000225: SWAP2
00000226: DUP3
00000227: MSTORE
00000228: MLOAD
00000229: SWAP1
0000022a: DUP2
0000022b: SWAP1
0000022c: SUB
0000022d: PUSH1 0x20
0000022f: ADD
00000230: SWAP1
00000231: RETURN
00000232: JUMPDEST
00000233: CALLVALUE
00000234: PUSH2 0x0000
00000237: JUMPI
00000238: PUSH2 0x0151
0000023b: PUSH1 0x01
0000023d: PUSH1 0xa0
0000023f: PUSH1 0x02
00000241: EXP
00000242: SUB
00000243: PUSH1 0x04
00000245: CALLDATALOAD
00000246: AND
00000247: PUSH2 0x094b
0000024a: JUMP
0000024b: JUMPDEST
0000024c: STOP
0000024d: JUMPDEST
0000024e: CALLVALUE
0000024f: PUSH2 0x0000
00000252: JUMPI
00000253: PUSH2 0x01c5
00000256: PUSH1 0x04
00000258: CALLDATALOAD
00000259: PUSH2 0x0ab4
0000025c: JUMP
0000025d: JUMPDEST
0000025e: PUSH1 0x40
00000260: DUP1
00000261: MLOAD
00000262: SWAP2
00000263: ISZERO
00000264: ISZERO
00000265: DUP3
00000266: MSTORE
00000267: MLOAD
00000268: SWAP1
00000269: DUP2
0000026a: SWAP1
0000026b: SUB
0000026c: PUSH1 0x20
0000026e: ADD
0000026f: SWAP1
00000270: RETURN
00000271: JUMPDEST
00000272: CALLVALUE
00000273: PUSH2 0x0000
00000276: JUMPI
00000277: PUSH2 0x0220
0000027a: PUSH1 0x04
0000027c: CALLDATALOAD
0000027d: PUSH2 0x0b47
00000280: JUMP
00000281: JUMPDEST
00000282: PUSH1 0x40
00000284: DUP1
00000285: MLOAD
00000286: SWAP2
00000287: DUP3
00000288: MSTORE
00000289: MLOAD
0000028a: SWAP1
0000028b: DUP2
0000028c: SWAP1
0000028d: SUB
0000028e: PUSH1 0x20
00000290: ADD
00000291: SWAP1
00000292: RETURN
00000293: JUMPDEST
00000294: CALLVALUE
00000295: PUSH2 0x0000
00000298: JUMPI
00000299: PUSH2 0x02a3
0000029c: PUSH1 0x04
0000029e: CALLDATALOAD
0000029f: PUSH2 0x0bc5
000002a2: JUMP
000002a3: JUMPDEST
000002a4: PUSH1 0x40
000002a6: DUP1
000002a7: MLOAD
000002a8: PUSH1 0x01
000002aa: PUSH1 0xa0
000002ac: PUSH1 0x02
000002ae: EXP
000002af: SUB
000002b0: DUP7
000002b1: AND
000002b2: DUP2
000002b3: MSTORE
000002b4: PUSH1 0x20
000002b6: DUP2
000002b7: ADD
000002b8: DUP6
000002b9: SWAP1
000002ba: MSTORE
000002bb: DUP3
000002bc: ISZERO
000002bd: ISZERO
000002be: PUSH1 0x60
000002c0: DUP3
000002c1: ADD
000002c2: MSTORE
000002c3: PUSH1 0x80
000002c5: SWAP2
000002c6: DUP2
000002c7: ADD
000002c8: DUP3
000002c9: DUP2
000002ca: MSTORE
000002cb: DUP5
000002cc: SLOAD
000002cd: PUSH1 0x02
000002cf: PUSH1 0x00
000002d1: NOT
000002d2: PUSH2 0x0100
000002d5: PUSH1 0x01
000002d7: DUP5
000002d8: AND
000002d9: ISZERO
000002da: MUL
000002db: ADD
000002dc: SWAP1
000002dd: SWAP2
000002de: AND
000002df: DIV
000002e0: SWAP3
000002e1: DUP3
000002e2: ADD
000002e3: DUP4
000002e4: SWAP1
000002e5: MSTORE
000002e6: SWAP1
000002e7: SWAP2
000002e8: PUSH1 0xa0
000002ea: DUP4
000002eb: ADD
000002ec: SWAP1
000002ed: DUP6
000002ee: SWAP1
000002ef: DUP1
000002f0: ISZERO
000002f1: PUSH2 0x033b
000002f4: JUMPI
000002f5: DUP1
000002f6: PUSH1 0x1f
000002f8: LT
000002f9: PUSH2 0x0310
000002fc: JUMPI
000002fd: PUSH2 0x0100
00000300: DUP1
00000301: DUP4
00000302: SLOAD
00000303: DIV
00000304: MUL
00000305: DUP4
00000306: MSTORE
00000307: SWAP2
00000308: PUSH1 0x20
0000030a: ADD
0000030b: SWAP2
0000030c: PUSH2 0x033b
0000030f: JUMP
00000310: JUMPDEST
00000311: DUP3
00000312: ADD
00000313: SWAP2
00000314: SWAP1
00000315: PUSH1 0x00
00000317: MSTORE
00000318: PUSH1 0x20
0000031a: PUSH1 0x00
0000031c: KECCAK256
0000031d: SWAP1
0000031e: JUMPDEST
0000031f: DUP2
00000320: SLOAD
00000321: DUP2
00000322: MSTORE
00000323: SWAP1
00000324: PUSH1 0x01
00000326: ADD
00000327: SWAP1
00000328: PUSH1 0x20
0000032a: ADD
0000032b: DUP1
0000032c: DUP4
0000032d: GT
0000032e: PUSH2 0x031e
00000331: JUMPI
00000332: DUP3
00000333: SWAP1
00000334: SUB
00000335: PUSH1 0x1f
00000337: AND
00000338: DUP3
00000339: ADD
0000033a: SWAP2
0000033b: JUMPDEST
0000033c: POP
0000033d: POP
0000033e: SWAP6
0000033f: POP
00000340: POP
00000341: POP
00000342: POP
00000343: POP
00000344: POP
00000345: PUSH1 0x40
00000347: MLOAD
00000348: DUP1
00000349: SWAP2
0000034a: SUB
0000034b: SWAP1
0000034c: RETURN
0000034d: JUMPDEST
0000034e: CALLVALUE
0000034f: PUSH2 0x0000
00000352: JUMPI
00000353: PUSH2 0x035a
00000356: PUSH2 0x0bf9
00000359: JUMP
0000035a: JUMPDEST
0000035b: PUSH1 0x40
0000035d: DUP1
0000035e: MLOAD
0000035f: PUSH1 0x20
00000361: DUP1
00000362: DUP3
00000363: MSTORE
00000364: DUP4
00000365: MLOAD
00000366: DUP2
00000367: DUP4
00000368: ADD
00000369: MSTORE
0000036a: DUP4
0000036b: MLOAD
0000036c: SWAP2
0000036d: SWAP3
0000036e: DUP4
0000036f: SWAP3
00000370: SWAP1
00000371: DUP4
00000372: ADD
00000373: SWAP2
00000374: DUP6
00000375: DUP2
00000376: ADD
00000377: SWAP2
00000378: MUL
00000379: DUP1
0000037a: DUP4
0000037b: DUP4
0000037c: DUP3
0000037d: ISZERO
0000037e: PUSH2 0x03a2
00000381: JUMPI
00000382: JUMPDEST
00000383: DUP1
00000384: MLOAD
00000385: DUP3
00000386: MSTORE
00000387: PUSH1 0x20
00000389: DUP4
0000038a: GT
0000038b: ISZERO
0000038c: PUSH2 0x03a2
0000038f: JUMPI
00000390: PUSH1 0x1f
00000392: NOT
00000393: SWAP1
00000394: SWAP3
00000395: ADD
00000396: SWAP2
00000397: PUSH1 0x20
00000399: SWAP2
0000039a: DUP3
0000039b: ADD
0000039c: SWAP2
0000039d: ADD
0000039e: PUSH2 0x0382
000003a1: JUMP
000003a2: JUMPDEST
000003a3: POP
000003a4: POP
000003a5: POP
000003a6: SWAP1
000003a7: POP
000003a8: ADD
000003a9: SWAP3
000003aa: POP
000003ab: POP
000003ac: POP
000003ad: PUSH1 0x40
000003af: MLOAD
000003b0: DUP1
000003b1: SWAP2
000003b2: SUB
000003b3: SWAP1
000003b4: RETURN
000003b5: JUMPDEST
000003b6: CALLVALUE
000003b7: PUSH2 0x0000
000003ba: JUMPI
000003bb: PUSH2 0x035a
000003be: PUSH1 0x04
000003c0: CALLDATALOAD
000003c1: PUSH1 0x24
000003c3: CALLDATALOAD
000003c4: PUSH1 0x44
000003c6: CALLDATALOAD
000003c7: ISZERO
000003c8: ISZERO
000003c9: PUSH1 0x64
000003cb: CALLDATALOAD
000003cc: ISZERO
000003cd: ISZERO
000003ce: PUSH2 0x0c64
000003d1: JUMP
000003d2: JUMPDEST
000003d3: PUSH1 0x40
000003d5: DUP1
000003d6: MLOAD
000003d7: PUSH1 0x20
000003d9: DUP1
000003da: DUP3
000003db: MSTORE
000003dc: DUP4
000003dd: MLOAD
000003de: DUP2
000003df: DUP4
000003e0: ADD
000003e1: MSTORE
000003e2: DUP4
000003e3: MLOAD
000003e4: SWAP2
000003e5: SWAP3
000003e6: DUP4
000003e7: SWAP3
000003e8: SWAP1
000003e9: DUP4
000003ea: ADD
000003eb: SWAP2
000003ec: DUP6
000003ed: DUP2
000003ee: ADD
000003ef: SWAP2
000003f0: MUL
000003f1: DUP1
000003f2: DUP4
000003f3: DUP4
000003f4: DUP3
000003f5: ISZERO
000003f6: PUSH2 0x03a2
000003f9: JUMPI
000003fa: JUMPDEST
000003fb: DUP1
000003fc: MLOAD
000003fd: DUP3
000003fe: MSTORE
000003ff: PUSH1 0x20
00000401: DUP4
00000402: GT
00000403: ISZERO
00000404: PUSH2 0x03a2
00000407: JUMPI
00000408: PUSH1 0x1f
0000040a: NOT
0000040b: SWAP1
0000040c: SWAP3
0000040d: ADD
0000040e: SWAP2
0000040f: PUSH1 0x20
00000411: SWAP2
00000412: DUP3
00000413: ADD
00000414: SWAP2
00000415: ADD
00000416: PUSH2 0x0382
00000419: JUMP
0000041a: JUMPDEST
0000041b: POP
0000041c: POP
0000041d: POP
0000041e: SWAP1
0000041f: POP
00000420: ADD
00000421: SWAP3
00000422: POP
00000423: POP
00000424: POP
00000425: PUSH1 0x40
00000427: MLOAD
00000428: DUP1
00000429: SWAP2
0000042a: SUB
0000042b: SWAP1
0000042c: RETURN
0000042d: JUMPDEST
0000042e: CALLVALUE
0000042f: PUSH2 0x0000
00000432: JUMPI
00000433: PUSH2 0x035a
00000436: PUSH1 0x04
00000438: CALLDATALOAD
00000439: PUSH2 0x0da2
0000043c: JUMP
0000043d: JUMPDEST
0000043e: PUSH1 0x40
00000440: DUP1
00000441: MLOAD
00000442: PUSH1 0x20
00000444: DUP1
00000445: DUP3
00000446: MSTORE
00000447: DUP4
00000448: MLOAD
00000449: DUP2
0000044a: DUP4
0000044b: ADD
0000044c: MSTORE
0000044d: DUP4
0000044e: MLOAD
0000044f: SWAP2
00000450: SWAP3
00000451: DUP4
00000452: SWAP3
00000453: SWAP1
00000454: DUP4
00000455: ADD
00000456: SWAP2
00000457: DUP6
00000458: DUP2
00000459: ADD
0000045a: SWAP2
0000045b: MUL
0000045c: DUP1
0000045d: DUP4
0000045e: DUP4
0000045f: DUP3
00000460: ISZERO
00000461: PUSH2 0x03a2
00000464: JUMPI
00000465: JUMPDEST
00000466: DUP1
00000467: MLOAD
00000468: DUP3
00000469: MSTORE
0000046a: PUSH1 0x20
0000046c: DUP4
0000046d: GT
0000046e: ISZERO
0000046f: PUSH2 0x03a2
00000472: JUMPI
00000473: PUSH1 0x1f
00000475: NOT
00000476: SWAP1
00000477: SWAP3
00000478: ADD
00000479: SWAP2
0000047a: PUSH1 0x20
0000047c: SWAP2
0000047d: DUP3
0000047e: ADD
0000047f: SWAP2
00000480: ADD
00000481: PUSH2 0x0382
00000484: JUMP
00000485: JUMPDEST
00000486: POP
00000487: POP
00000488: POP
00000489: SWAP1
0000048a: POP
0000048b: ADD
0000048c: SWAP3
0000048d: POP
0000048e: POP
0000048f: POP
00000490: PUSH1 0x40
00000492: MLOAD
00000493: DUP1
00000494: SWAP2
00000495: SUB
00000496: SWAP1
00000497: RETURN
00000498: JUMPDEST
00000499: CALLVALUE
0000049a: PUSH2 0x0000
0000049d: JUMPI
0000049e: PUSH2 0x0220
000004a1: PUSH2 0x0f32
000004a4: JUMP
000004a5: JUMPDEST
000004a6: PUSH1 0x40
000004a8: DUP1
000004a9: MLOAD
000004aa: SWAP2
000004ab: DUP3
000004ac: MSTORE
000004ad: MLOAD
000004ae: SWAP1
000004af: DUP2
000004b0: SWAP1
000004b1: SUB
000004b2: PUSH1 0x20
000004b4: ADD
000004b5: SWAP1
000004b6: RETURN
000004b7: JUMPDEST
000004b8: CALLVALUE
000004b9: PUSH2 0x0000
000004bc: JUMPI
000004bd: PUSH2 0x0151
000004c0: PUSH1 0x04
000004c2: CALLDATALOAD
000004c3: PUSH2 0x0f38
000004c6: JUMP
000004c7: JUMPDEST
000004c8: STOP
000004c9: JUMPDEST
000004ca: CALLVALUE
000004cb: PUSH2 0x0000
000004ce: JUMPI
000004cf: PUSH2 0x0151
000004d2: PUSH1 0x04
000004d4: CALLDATALOAD
000004d5: PUSH2 0x0fc6
000004d8: JUMP
000004d9: JUMPDEST
000004da: STOP
000004db: JUMPDEST
000004dc: CALLVALUE
000004dd: PUSH2 0x0000
000004e0: JUMPI
000004e1: PUSH1 0x40
000004e3: DUP1
000004e4: MLOAD
000004e5: PUSH1 0x20
000004e7: PUSH1 0x04
000004e9: PUSH1 0x44
000004eb: CALLDATALOAD
000004ec: DUP2
000004ed: DUP2
000004ee: ADD
000004ef: CALLDATALOAD
000004f0: PUSH1 0x1f
000004f2: DUP2
000004f3: ADD
000004f4: DUP5
000004f5: SWAP1
000004f6: DIV
000004f7: DUP5
000004f8: MUL
000004f9: DUP6
000004fa: ADD
000004fb: DUP5
000004fc: ADD
000004fd: SWAP1
000004fe: SWAP6
000004ff: MSTORE
00000500: DUP5
00000501: DUP5
00000502: MSTORE
00000503: PUSH2 0x0220
00000506: SWAP5
00000507: DUP3
00000508: CALLDATALOAD
00000509: PUSH1 0x01
0000050b: PUSH1 0xa0
0000050d: PUSH1 0x02
0000050f: EXP
00000510: SUB
00000511: AND
00000512: SWAP5
00000513: PUSH1 0x24
00000515: DUP1
00000516: CALLDATALOAD
00000517: SWAP6
00000518: PUSH1 0x64
0000051a: SWAP5
0000051b: SWAP3
0000051c: SWAP4
0000051d: SWAP2
0000051e: SWAP1
0000051f: SWAP3
00000520: ADD
00000521: SWAP2
00000522: DUP2
00000523: SWAP1
00000524: DUP5
00000525: ADD
00000526: DUP4
00000527: DUP3
00000528: DUP1
00000529: DUP3
0000052a: DUP5
0000052b: CALLDATACOPY
0000052c: POP
0000052d: SWAP5
0000052e: SWAP7
0000052f: POP
00000530: PUSH2 0x10b1
00000533: SWAP6
00000534: POP
00000535: POP
00000536: POP
00000537: POP
00000538: POP
00000539: POP
0000053a: JUMP
0000053b: JUMPDEST
0000053c: PUSH1 0x40
0000053e: DUP1
0000053f: MLOAD
00000540: SWAP2
00000541: DUP3
00000542: MSTORE
00000543: MLOAD
00000544: SWAP1
00000545: DUP2
00000546: SWAP1
00000547: SUB
00000548: PUSH1 0x20
0000054a: ADD
0000054b: SWAP1
0000054c: RETURN
0000054d: JUMPDEST
0000054e: CALLVALUE
0000054f: PUSH2 0x0000
00000552: JUMPI
00000553: PUSH2 0x0220
00000556: PUSH2 0x10d1
00000559: JUMP
0000055a: JUMPDEST
0000055b: PUSH1 0x40
0000055d: DUP1
0000055e: MLOAD
0000055f: SWAP2
00000560: DUP3
00000561: MSTORE
00000562: MLOAD
00000563: SWAP1
00000564: DUP2
00000565: SWAP1
00000566: SUB
00000567: PUSH1 0x20
00000569: ADD
0000056a: SWAP1
0000056b: RETURN
0000056c: JUMPDEST
0000056d: CALLVALUE
0000056e: PUSH2 0x0000
00000571: JUMPI
00000572: PUSH2 0x0220
00000575: PUSH2 0x10d6
00000578: JUMP
00000579: JUMPDEST
0000057a: PUSH1 0x40
0000057c: DUP1
0000057d: MLOAD
0000057e: SWAP2
0000057f: DUP3
00000580: MSTORE
00000581: MLOAD
00000582: SWAP1
00000583: DUP2
00000584: SWAP1
00000585: SUB
00000586: PUSH1 0x20
00000588: ADD
00000589: SWAP1
0000058a: RETURN
0000058b: JUMPDEST
0000058c: CALLVALUE
0000058d: PUSH2 0x0000
00000590: JUMPI
00000591: PUSH2 0x0151
00000594: PUSH1 0x01
00000596: PUSH1 0xa0
00000598: PUSH1 0x02
0000059a: EXP
0000059b: SUB
0000059c: PUSH1 0x04
0000059e: CALLDATALOAD
0000059f: DUP2
000005a0: AND
000005a1: SWAP1
000005a2: PUSH1 0x24
000005a4: CALLDATALOAD
000005a5: AND
000005a6: PUSH2 0x10dc
000005a9: JUMP
000005aa: JUMPDEST
000005ab: STOP
000005ac: JUMPDEST
000005ad: CALLVALUE
000005ae: PUSH2 0x0000
000005b1: JUMPI
000005b2: PUSH2 0x0151
000005b5: PUSH1 0x04
000005b7: CALLDATALOAD
000005b8: PUSH2 0x128f
000005bb: JUMP
000005bc: JUMPDEST
000005bd: STOP
000005be: JUMPDEST
000005bf: PUSH1 0x03
000005c1: DUP2
000005c2: DUP2
000005c3: SLOAD
000005c4: DUP2
000005c5: LT
000005c6: ISZERO
000005c7: PUSH2 0x0000
000005ca: JUMPI
000005cb: SWAP1
000005cc: PUSH1 0x00
000005ce: MSTORE
000005cf: PUSH1 0x20
000005d1: PUSH1 0x00
000005d3: KECCAK256
000005d4: SWAP1
000005d5: ADD
000005d6: PUSH1 0x00
000005d8: JUMPDEST
000005d9: SWAP2
000005da: POP
000005db: SLOAD
000005dc: SWAP1
000005dd: PUSH2 0x0100
000005e0: EXP
000005e1: SWAP1
000005e2: DIV
000005e3: PUSH1 0x01
000005e5: PUSH1 0xa0
000005e7: PUSH1 0x02
000005e9: EXP
000005ea: SUB
000005eb: AND
000005ec: DUP2
000005ed: JUMP
000005ee: JUMPDEST
000005ef: PUSH1 0x00
000005f1: ADDRESS
000005f2: PUSH1 0x01
000005f4: PUSH1 0xa0
000005f6: PUSH1 0x02
000005f8: EXP
000005f9: SUB
000005fa: AND
000005fb: CALLER
000005fc: PUSH1 0x01
000005fe: PUSH1 0xa0
00000600: PUSH1 0x02
00000602: EXP
00000603: SUB
00000604: AND
00000605: EQ
00000606: ISZERO
00000607: ISZERO
00000608: PUSH2 0x0610
0000060b: JUMPI
0000060c: PUSH2 0x0000
0000060f: JUMP
00000610: JUMPDEST
00000611: PUSH1 0x01
00000613: PUSH1 0xa0
00000615: PUSH1 0x02
00000617: EXP
00000618: SUB
00000619: DUP3
0000061a: AND
0000061b: PUSH1 0x00
0000061d: SWAP1
0000061e: DUP2
0000061f: MSTORE
00000620: PUSH1 0x02
00000622: PUSH1 0x20
00000624: MSTORE
00000625: PUSH1 0x40
00000627: SWAP1
00000628: KECCAK256
00000629: SLOAD
0000062a: DUP3
0000062b: SWAP1
0000062c: PUSH1 0xff
0000062e: AND
0000062f: ISZERO
00000630: ISZERO
00000631: PUSH2 0x0639
00000634: JUMPI
00000635: PUSH2 0x0000
00000638: JUMP
00000639: JUMPDEST
0000063a: PUSH1 0x01
0000063c: PUSH1 0xa0
0000063e: PUSH1 0x02
00000640: EXP
00000641: SUB
00000642: DUP4
00000643: AND
00000644: PUSH1 0x00
00000646: SWAP1
00000647: DUP2
00000648: MSTORE
00000649: PUSH1 0x02
0000064b: PUSH1 0x20
0000064d: MSTORE
0000064e: PUSH1 0x40
00000650: DUP2
00000651: KECCAK256
00000652: DUP1
00000653: SLOAD
00000654: PUSH1 0xff
00000656: NOT
00000657: AND
00000658: SWAP1
00000659: SSTORE
0000065a: SWAP2
0000065b: POP
0000065c: JUMPDEST
0000065d: PUSH1 0x03
0000065f: SLOAD
00000660: PUSH1 0x00
00000662: NOT
00000663: ADD
00000664: DUP3
00000665: LT
00000666: ISZERO
00000667: PUSH2 0x072d
0000066a: JUMPI
0000066b: DUP3
0000066c: PUSH1 0x01
0000066e: PUSH1 0xa0
00000670: PUSH1 0x02
00000672: EXP
00000673: SUB
00000674: AND
00000675: PUSH1 0x03
00000677: DUP4
00000678: DUP2
00000679: SLOAD
0000067a: DUP2
0000067b: LT
0000067c: ISZERO
0000067d: PUSH2 0x0000
00000680: JUMPI
00000681: SWAP1
00000682: PUSH1 0x00
00000684: MSTORE
00000685: PUSH1 0x20
00000687: PUSH1 0x00
00000689: KECCAK256
0000068a: SWAP1
0000068b: ADD
0000068c: PUSH1 0x00
0000068e: JUMPDEST
0000068f: SWAP1
00000690: SLOAD
00000691: SWAP1
00000692: PUSH2 0x0100
00000695: EXP
00000696: SWAP1
00000697: DIV
00000698: PUSH1 0x01
0000069a: PUSH1 0xa0
0000069c: PUSH1 0x02
0000069e: EXP
0000069f: SUB
000006a0: AND
000006a1: PUSH1 0x01
000006a3: PUSH1 0xa0
000006a5: PUSH1 0x02
000006a7: EXP
000006a8: SUB
000006a9: AND
000006aa: EQ
000006ab: ISZERO
000006ac: PUSH2 0x0721
000006af: JUMPI
000006b0: PUSH1 0x03
000006b2: DUP1
000006b3: SLOAD
000006b4: PUSH1 0x00
000006b6: NOT
000006b7: DUP2
000006b8: ADD
000006b9: SWAP1
000006ba: DUP2
000006bb: LT
000006bc: ISZERO
000006bd: PUSH2 0x0000
000006c0: JUMPI
000006c1: SWAP1
000006c2: PUSH1 0x00
000006c4: MSTORE
000006c5: PUSH1 0x20
000006c7: PUSH1 0x00
000006c9: KECCAK256
000006ca: SWAP1
000006cb: ADD
000006cc: PUSH1 0x00
000006ce: JUMPDEST
000006cf: SWAP1
000006d0: SLOAD
000006d1: SWAP1
000006d2: PUSH2 0x0100
000006d5: EXP
000006d6: SWAP1
000006d7: DIV
000006d8: PUSH1 0x01
000006da: PUSH1 0xa0
000006dc: PUSH1 0x02
000006de: EXP
000006df: SUB
000006e0: AND
000006e1: PUSH1 0x03
000006e3: DUP4
000006e4: DUP2
000006e5: SLOAD
000006e6: DUP2
000006e7: LT
000006e8: ISZERO
000006e9: PUSH2 0x0000
000006ec: JUMPI
000006ed: SWAP1
000006ee: PUSH1 0x00
000006f0: MSTORE
000006f1: PUSH1 0x20
000006f3: PUSH1 0x00
000006f5: KECCAK256
000006f6: SWAP1
000006f7: ADD
000006f8: PUSH1 0x00
000006fa: JUMPDEST
000006fb: PUSH2 0x0100
000006fe: EXP
000006ff: DUP2
00000700: SLOAD
00000701: DUP2
00000702: PUSH1 0x01
00000704: PUSH1 0xa0
00000706: PUSH1 0x02
00000708: EXP
00000709: SUB
0000070a: MUL
0000070b: NOT
0000070c: AND
0000070d: SWAP1
0000070e: DUP4
0000070f: PUSH1 0x01
00000711: PUSH1 0xa0
00000713: PUSH1 0x02
00000715: EXP
00000716: SUB
00000717: AND
00000718: MUL
00000719: OR
0000071a: SWAP1
0000071b: SSTORE
0000071c: POP
0000071d: PUSH2 0x072d
00000720: JUMP
00000721: JUMPDEST
00000722: JUMPDEST
00000723: PUSH1 0x01
00000725: SWAP1
00000726: SWAP2
00000727: ADD
00000728: SWAP1
00000729: PUSH2 0x065c
0000072c: JUMP
0000072d: JUMPDEST
0000072e: PUSH1 0x03
00000730: DUP1
00000731: SLOAD
00000732: PUSH1 0x00
00000734: NOT
00000735: DUP2
00000736: ADD
00000737: DUP1
00000738: DUP4
00000739: SSTORE
0000073a: SWAP2
0000073b: SWAP1
0000073c: DUP3
0000073d: SWAP1
0000073e: DUP1
0000073f: ISZERO
00000740: DUP3
00000741: SWAP1
00000742: GT
00000743: PUSH2 0x0771
00000746: JUMPI
00000747: PUSH1 0x00
00000749: DUP4
0000074a: DUP2
0000074b: MSTORE
0000074c: PUSH1 0x20
0000074e: SWAP1
0000074f: KECCAK256
00000750: PUSH2 0x0771
00000753: SWAP2
00000754: DUP2
00000755: ADD
00000756: SWAP1
00000757: DUP4
00000758: ADD
00000759: JUMPDEST
0000075a: DUP1
0000075b: DUP3
0000075c: GT
0000075d: ISZERO
0000075e: PUSH2 0x076d
00000761: JUMPI
00000762: PUSH1 0x00
00000764: DUP2
00000765: SSTORE
00000766: PUSH1 0x01
00000768: ADD
00000769: PUSH2 0x0759
0000076c: JUMP
0000076d: JUMPDEST
0000076e: POP
0000076f: SWAP1
00000770: JUMP
00000771: JUMPDEST
00000772: JUMPDEST
00000773: POP
00000774: POP
00000775: PUSH1 0x03
00000777: SLOAD
00000778: PUSH1 0x04
0000077a: SLOAD
0000077b: GT
0000077c: ISZERO
0000077d: SWAP2
0000077e: POP
0000077f: PUSH2 0x0790
00000782: SWAP1
00000783: POP
00000784: JUMPI
00000785: PUSH1 0x03
00000787: SLOAD
00000788: PUSH2 0x0790
0000078b: SWAP1
0000078c: PUSH2 0x0f38
0000078f: JUMP
00000790: JUMPDEST
00000791: JUMPDEST
00000792: PUSH1 0x40
00000794: MLOAD
00000795: PUSH1 0x01
00000797: PUSH1 0xa0
00000799: PUSH1 0x02
0000079b: EXP
0000079c: SUB
0000079d: DUP5
0000079e: AND
0000079f: SWAP1
000007a0: PUSH32 0x8001553a916ef2f495d26a907cc54d96ed840d7bda71e73194bf5a9df7a76b90
000007c1: SWAP1
000007c2: PUSH1 0x00
000007c4: SWAP1
000007c5: LOG2
000007c6: JUMPDEST
000007c7: JUMPDEST
000007c8: POP
000007c9: JUMPDEST
000007ca: POP
000007cb: POP
000007cc: JUMP
000007cd: JUMPDEST
000007ce: CALLER
000007cf: PUSH1 0x01
000007d1: PUSH1 0xa0
000007d3: PUSH1 0x02
000007d5: EXP
000007d6: SUB
000007d7: DUP2
000007d8: AND
000007d9: PUSH1 0x00
000007db: SWAP1
000007dc: DUP2
000007dd: MSTORE
000007de: PUSH1 0x02
000007e0: PUSH1 0x20
000007e2: MSTORE
000007e3: PUSH1 0x40
000007e5: SWAP1
000007e6: KECCAK256
000007e7: SLOAD
000007e8: PUSH1 0xff
000007ea: AND
000007eb: ISZERO
000007ec: ISZERO
000007ed: PUSH2 0x07f5
000007f0: JUMPI
000007f1: PUSH2 0x0000
000007f4: JUMP
000007f5: JUMPDEST
000007f6: PUSH1 0x00
000007f8: DUP3
000007f9: DUP2
000007fa: MSTORE
000007fb: PUSH1 0x01
000007fd: PUSH1 0x20
000007ff: SWAP1
00000800: DUP2
00000801: MSTORE
00000802: PUSH1 0x40
00000804: DUP1
00000805: DUP4
00000806: KECCAK256
00000807: CALLER
00000808: PUSH1 0x01
0000080a: PUSH1 0xa0
0000080c: PUSH1 0x02
0000080e: EXP
0000080f: SUB
00000810: DUP2
00000811: AND
00000812: DUP6
00000813: MSTORE
00000814: SWAP3
00000815: MSTORE
00000816: SWAP1
00000817: SWAP2
00000818: KECCAK256
00000819: SLOAD
0000081a: DUP4
0000081b: SWAP2
0000081c: SWAP1
0000081d: PUSH1 0xff
0000081f: AND
00000820: ISZERO
00000821: ISZERO
00000822: PUSH2 0x082a
00000825: JUMPI
00000826: PUSH2 0x0000
00000829: JUMP
0000082a: JUMPDEST
0000082b: PUSH1 0x00
0000082d: DUP5
0000082e: DUP2
0000082f: MSTORE
00000830: PUSH1 0x20
00000832: DUP2
00000833: SWAP1
00000834: MSTORE
00000835: PUSH1 0x40
00000837: SWAP1
00000838: KECCAK256
00000839: PUSH1 0x03
0000083b: ADD
0000083c: SLOAD
0000083d: DUP5
0000083e: SWAP1
0000083f: PUSH1 0xff
00000841: AND
00000842: ISZERO
00000843: PUSH2 0x084b
00000846: JUMPI
00000847: PUSH2 0x0000
0000084a: JUMP
0000084b: JUMPDEST
0000084c: PUSH1 0x00
0000084e: DUP6
0000084f: DUP2
00000850: MSTORE
00000851: PUSH1 0x01
00000853: PUSH1 0x20
00000855: SWAP1
00000856: DUP2
00000857: MSTORE
00000858: PUSH1 0x40
0000085a: DUP1
0000085b: DUP4
0000085c: KECCAK256
0000085d: PUSH1 0x01
0000085f: PUSH1 0xa0
00000861: PUSH1 0x02
00000863: EXP
00000864: SUB
00000865: CALLER
00000866: AND
00000867: DUP1
00000868: DUP6
00000869: MSTORE
0000086a: SWAP3
0000086b: MSTORE
0000086c: DUP1
0000086d: DUP4
0000086e: KECCAK256
0000086f: DUP1
00000870: SLOAD
00000871: PUSH1 0xff
00000873: NOT
00000874: AND
00000875: SWAP1
00000876: SSTORE
00000877: MLOAD
00000878: DUP8
00000879: SWAP3
0000087a: PUSH32 0xf6a317157440607f36269043eb55f1287a5a19ba2216afeab88cd46cbcfb88e9
0000089b: SWAP2
0000089c: LOG3
0000089d: JUMPDEST
0000089e: JUMPDEST
0000089f: POP
000008a0: JUMPDEST
000008a1: POP
000008a2: POP
000008a3: JUMPDEST
000008a4: POP
000008a5: POP
000008a6: JUMP
000008a7: JUMPDEST
000008a8: PUSH1 0x02
000008aa: PUSH1 0x20
000008ac: MSTORE
000008ad: PUSH1 0x00
000008af: SWAP1
000008b0: DUP2
000008b1: MSTORE
000008b2: PUSH1 0x40
000008b4: SWAP1
000008b5: KECCAK256
000008b6: SLOAD
000008b7: PUSH1 0xff
000008b9: AND
000008ba: DUP2
000008bb: JUMP
000008bc: JUMPDEST
000008bd: PUSH1 0x01
000008bf: PUSH1 0x20
000008c1: SWAP1
000008c2: DUP2
000008c3: MSTORE
000008c4: PUSH1 0x00
000008c6: SWAP3
000008c7: DUP4
000008c8: MSTORE
000008c9: PUSH1 0x40
000008cb: DUP1
000008cc: DUP5
000008cd: KECCAK256
000008ce: SWAP1
000008cf: SWAP2
000008d0: MSTORE
000008d1: SWAP1
000008d2: DUP3
000008d3: MSTORE
000008d4: SWAP1
000008d5: KECCAK256
000008d6: SLOAD
000008d7: PUSH1 0xff
000008d9: AND
000008da: DUP2
000008db: JUMP
000008dc: JUMPDEST
000008dd: PUSH1 0x00
000008df: DUP1
000008e0: JUMPDEST
000008e1: PUSH1 0x05
000008e3: SLOAD
000008e4: DUP2
000008e5: LT
000008e6: ISZERO
000008e7: PUSH2 0x0943
000008ea: JUMPI
000008eb: DUP4
000008ec: DUP1
000008ed: ISZERO
000008ee: PUSH2 0x0909
000008f1: JUMPI
000008f2: POP
000008f3: PUSH1 0x00
000008f5: DUP2
000008f6: DUP2
000008f7: MSTORE
000008f8: PUSH1 0x20
000008fa: DUP2
000008fb: SWAP1
000008fc: MSTORE
000008fd: PUSH1 0x40
000008ff: SWAP1
00000900: KECCAK256
00000901: PUSH1 0x03
00000903: ADD
00000904: SLOAD
00000905: PUSH1 0xff
00000907: AND
00000908: ISZERO
00000909: JUMPDEST
0000090a: DUP1
0000090b: PUSH2 0x092d
0000090e: JUMPI
0000090f: POP
00000910: DUP3
00000911: DUP1
00000912: ISZERO
00000913: PUSH2 0x092d
00000916: JUMPI
00000917: POP
00000918: PUSH1 0x00
0000091a: DUP2
0000091b: DUP2
0000091c: MSTORE
0000091d: PUSH1 0x20
0000091f: DUP2
00000920: SWAP1
00000921: MSTORE
00000922: PUSH1 0x40
00000924: SWAP1
00000925: KECCAK256
00000926: PUSH1 0x03
00000928: ADD
00000929: SLOAD
0000092a: PUSH1 0xff
0000092c: AND
0000092d: JUMPDEST
0000092e: JUMPDEST
0000092f: ISZERO
00000930: PUSH2 0x093a
00000933: JUMPI
00000934: PUSH1 0x01
00000936: DUP3
00000937: ADD
00000938: SWAP2
00000939: POP
0000093a: JUMPDEST
0000093b: JUMPDEST
0000093c: PUSH1 0x01
0000093e: ADD
0000093f: PUSH2 0x08e0
00000942: JUMP
00000943: JUMPDEST
00000944: JUMPDEST
00000945: POP
00000946: SWAP3
00000947: SWAP2
00000948: POP
00000949: POP
0000094a: JUMP
0000094b: JUMPDEST
0000094c: ADDRESS
0000094d: PUSH1 0x01
0000094f: PUSH1 0xa0
00000951: PUSH1 0x02
00000953: EXP
00000954: SUB
00000955: AND
00000956: CALLER
00000957: PUSH1 0x01
00000959: PUSH1 0xa0
0000095b: PUSH1 0x02
0000095d: EXP
0000095e: SUB
0000095f: AND
00000960: EQ
00000961: ISZERO
00000962: ISZERO
00000963: PUSH2 0x096b
00000966: JUMPI
00000967: PUSH2 0x0000
0000096a: JUMP
0000096b: JUMPDEST
0000096c: PUSH1 0x01
0000096e: PUSH1 0xa0
00000970: PUSH1 0x02
00000972: EXP
00000973: SUB
00000974: DUP2
00000975: AND
00000976: PUSH1 0x00
00000978: SWAP1
00000979: DUP2
0000097a: MSTORE
0000097b: PUSH1 0x02
0000097d: PUSH1 0x20
0000097f: MSTORE
00000980: PUSH1 0x40
00000982: SWAP1
00000983: KECCAK256
00000984: SLOAD
00000985: DUP2
00000986: SWAP1
00000987: PUSH1 0xff
00000989: AND
0000098a: ISZERO
0000098b: PUSH2 0x0993
0000098e: JUMPI
0000098f: PUSH2 0x0000
00000992: JUMP
00000993: JUMPDEST
00000994: DUP2
00000995: PUSH1 0x01
00000997: PUSH1 0xa0
00000999: PUSH1 0x02
0000099b: EXP
0000099c: SUB
0000099d: DUP2
0000099e: AND
0000099f: ISZERO
000009a0: ISZERO
000009a1: PUSH2 0x09a9
000009a4: JUMPI
000009a5: PUSH2 0x0000
000009a8: JUMP
000009a9: JUMPDEST
000009aa: PUSH1 0x03
000009ac: DUP1
000009ad: SLOAD
000009ae: SWAP1
000009af: POP
000009b0: PUSH1 0x01
000009b2: ADD
000009b3: PUSH1 0x04
000009b5: SLOAD
000009b6: PUSH1 0x32
000009b8: DUP3
000009b9: GT
000009ba: DUP1
000009bb: PUSH2 0x09c3
000009be: JUMPI
000009bf: POP
000009c0: DUP2
000009c1: DUP2
000009c2: GT
000009c3: JUMPDEST
000009c4: DUP1
000009c5: PUSH2 0x09cc
000009c8: JUMPI
000009c9: POP
000009ca: DUP1
000009cb: ISZERO
000009cc: JUMPDEST
000009cd: DUP1
000009ce: PUSH2 0x09d5
000009d1: JUMPI
000009d2: POP
000009d3: DUP2
000009d4: ISZERO
000009d5: JUMPDEST
000009d6: ISZERO
000009d7: PUSH2 0x09df
000009da: JUMPI
000009db: PUSH2 0x0000
000009de: JUMP
000009df: JUMPDEST
000009e0: PUSH1 0x01
000009e2: PUSH1 0xa0
000009e4: PUSH1 0x02
000009e6: EXP
000009e7: SUB
000009e8: DUP6
000009e9: AND
000009ea: PUSH1 0x00
000009ec: SWAP1
000009ed: DUP2
000009ee: MSTORE
000009ef: PUSH1 0x02
000009f1: PUSH1 0x20
000009f3: MSTORE
000009f4: PUSH1 0x40
000009f6: SWAP1
000009f7: KECCAK256
000009f8: DUP1
000009f9: SLOAD
000009fa: PUSH1 0xff
000009fc: NOT
000009fd: AND
000009fe: PUSH1 0x01
00000a00: SWAP1
00000a01: DUP2
00000a02: OR
00000a03: SWAP1
00000a04: SWAP2
00000a05: SSTORE
00000a06: PUSH1 0x03
00000a08: DUP1
00000a09: SLOAD
00000a0a: SWAP2
00000a0b: DUP3
00000a0c: ADD
00000a0d: DUP1
00000a0e: DUP3
00000a0f: SSTORE
00000a10: SWAP1
00000a11: SWAP2
00000a12: SWAP1
00000a13: DUP3
00000a14: DUP2
00000a15: DUP4
00000a16: DUP1
00000a17: ISZERO
00000a18: DUP3
00000a19: SWAP1
00000a1a: GT
00000a1b: PUSH2 0x0a49
00000a1e: JUMPI
00000a1f: PUSH1 0x00
00000a21: DUP4
00000a22: DUP2
00000a23: MSTORE
00000a24: PUSH1 0x20
00000a26: SWAP1
00000a27: KECCAK256
00000a28: PUSH2 0x0a49
00000a2b: SWAP2
00000a2c: DUP2
00000a2d: ADD
00000a2e: SWAP1
00000a2f: DUP4
00000a30: ADD
00000a31: JUMPDEST
00000a32: DUP1
00000a33: DUP3
00000a34: GT
00000a35: ISZERO
00000a36: PUSH2 0x076d
00000a39: JUMPI
00000a3a: PUSH1 0x00
00000a3c: DUP2
00000a3d: SSTORE
00000a3e: PUSH1 0x01
00000a40: ADD
00000a41: PUSH2 0x0759
00000a44: JUMP
00000a45: JUMPDEST
00000a46: POP
00000a47: SWAP1
00000a48: JUMP
00000a49: JUMPDEST
00000a4a: JUMPDEST
00000a4b: POP
00000a4c: POP
00000a4d: POP
00000a4e: SWAP2
00000a4f: PUSH1 0x00
00000a51: MSTORE
00000a52: PUSH1 0x20
00000a54: PUSH1 0x00
00000a56: KECCAK256
00000a57: SWAP1
00000a58: ADD
00000a59: PUSH1 0x00
00000a5b: JUMPDEST
00000a5c: DUP2
00000a5d: SLOAD
00000a5e: PUSH1 0x01
00000a60: PUSH1 0xa0
00000a62: PUSH1 0x02
00000a64: EXP
00000a65: SUB
00000a66: DUP1
00000a67: DUP11
00000a68: AND
00000a69: PUSH2 0x0100
00000a6c: SWAP4
00000a6d: SWAP1
00000a6e: SWAP4
00000a6f: EXP
00000a70: DUP4
00000a71: DUP2
00000a72: MUL
00000a73: SWAP2
00000a74: MUL
00000a75: NOT
00000a76: SWAP1
00000a77: SWAP2
00000a78: AND
00000a79: OR
00000a7a: SWAP1
00000a7b: SWAP2
00000a7c: SSTORE
00000a7d: PUSH1 0x40
00000a7f: MLOAD
00000a80: SWAP1
00000a81: SWAP2
00000a82: POP
00000a83: PUSH32 0xf39e6e1eb0edcf53c221607b54b00cd28f3196fed0a24994dc308b8f611b682d
00000aa4: SWAP1
00000aa5: PUSH1 0x00
00000aa7: SWAP1
00000aa8: LOG2
00000aa9: JUMPDEST
00000aaa: JUMPDEST
00000aab: POP
00000aac: POP
00000aad: JUMPDEST
00000aae: POP
00000aaf: JUMPDEST
00000ab0: POP
00000ab1: JUMPDEST
00000ab2: POP
00000ab3: JUMP
00000ab4: JUMPDEST
00000ab5: PUSH1 0x00
00000ab7: DUP1
00000ab8: DUP1
00000ab9: JUMPDEST
00000aba: PUSH1 0x03
00000abc: SLOAD
00000abd: DUP2
00000abe: LT
00000abf: ISZERO
00000ac0: PUSH2 0x0b3f
00000ac3: JUMPI
00000ac4: PUSH1 0x00
00000ac6: DUP5
00000ac7: DUP2
00000ac8: MSTORE
00000ac9: PUSH1 0x01
00000acb: PUSH1 0x20
00000acd: MSTORE
00000ace: PUSH1 0x40
00000ad0: DUP2
00000ad1: KECCAK256
00000ad2: PUSH1 0x03
00000ad4: DUP1
00000ad5: SLOAD
00000ad6: SWAP2
00000ad7: SWAP3
00000ad8: SWAP2
00000ad9: DUP5
00000ada: SWAP1
00000adb: DUP2
00000adc: LT
00000add: ISZERO
00000ade: PUSH2 0x0000
00000ae1: JUMPI
00000ae2: SWAP1
00000ae3: PUSH1 0x00
00000ae5: MSTORE
00000ae6: PUSH1 0x20
00000ae8: PUSH1 0x00
00000aea: KECCAK256
00000aeb: SWAP1
00000aec: ADD
00000aed: PUSH1 0x00
00000aef: JUMPDEST
00000af0: SWAP1
00000af1: SLOAD
00000af2: PUSH1 0x01
00000af4: PUSH1 0xa0
00000af6: PUSH1 0x02
00000af8: EXP
00000af9: SUB
00000afa: PUSH2 0x0100
00000afd: SWAP3
00000afe: SWAP1
00000aff: SWAP3
00000b00: EXP
00000b01: SWAP1
00000b02: DIV
00000b03: AND
00000b04: DUP2
00000b05: MSTORE
00000b06: PUSH1 0x20
00000b08: DUP2
00000b09: ADD
00000b0a: SWAP2
00000b0b: SWAP1
00000b0c: SWAP2
00000b0d: MSTORE
00000b0e: PUSH1 0x40
00000b10: ADD
00000b11: PUSH1 0x00
00000b13: KECCAK256
00000b14: SLOAD
00000b15: PUSH1 0xff
00000b17: AND
00000b18: ISZERO
00000b19: PUSH2 0x0b23
00000b1c: JUMPI
00000b1d: PUSH1 0x01
00000b1f: DUP3
00000b20: ADD
00000b21: SWAP2
00000b22: POP
00000b23: JUMPDEST
00000b24: PUSH1 0x04
00000b26: SLOAD
00000b27: DUP3
00000b28: EQ
00000b29: ISZERO
00000b2a: PUSH2 0x0b36
00000b2d: JUMPI
00000b2e: PUSH1 0x01
00000b30: SWAP3
00000b31: POP
00000b32: PUSH2 0x0b3f
00000b35: JUMP
00000b36: JUMPDEST
00000b37: JUMPDEST
00000b38: PUSH1 0x01
00000b3a: ADD
00000b3b: PUSH2 0x0ab9
00000b3e: JUMP
00000b3f: JUMPDEST
00000b40: JUMPDEST
00000b41: POP
00000b42: POP
00000b43: SWAP2
00000b44: SWAP1
00000b45: POP
00000b46: JUMP
00000b47: JUMPDEST
00000b48: PUSH1 0x00
00000b4a: DUP1
00000b4b: JUMPDEST
00000b4c: PUSH1 0x03
00000b4e: SLOAD
00000b4f: DUP2
00000b50: LT
00000b51: ISZERO
00000b52: PUSH2 0x0bbe
00000b55: JUMPI
00000b56: PUSH1 0x00
00000b58: DUP4
00000b59: DUP2
00000b5a: MSTORE
00000b5b: PUSH1 0x01
00000b5d: PUSH1 0x20
00000b5f: MSTORE
00000b60: PUSH1 0x40
00000b62: DUP2
00000b63: KECCAK256
00000b64: PUSH1 0x03
00000b66: DUP1
00000b67: SLOAD
00000b68: SWAP2
00000b69: SWAP3
00000b6a: SWAP2
00000b6b: DUP5
00000b6c: SWAP1
00000b6d: DUP2
00000b6e: LT
00000b6f: ISZERO
00000b70: PUSH2 0x0000
00000b73: JUMPI
00000b74: SWAP1
00000b75: PUSH1 0x00
00000b77: MSTORE
00000b78: PUSH1 0x20
00000b7a: PUSH1 0x00
00000b7c: KECCAK256
00000b7d: SWAP1
00000b7e: ADD
00000b7f: PUSH1 0x00
00000b81: JUMPDEST
00000b82: SWAP1
00000b83: SLOAD
00000b84: PUSH1 0x01
00000b86: PUSH1 0xa0
00000b88: PUSH1 0x02
00000b8a: EXP
00000b8b: SUB
00000b8c: PUSH2 0x0100
00000b8f: SWAP3
00000b90: SWAP1
00000b91: SWAP3
00000b92: EXP
00000b93: SWAP1
00000b94: DIV
00000b95: AND
00000b96: DUP2
00000b97: MSTORE
00000b98: PUSH1 0x20
00000b9a: DUP2
00000b9b: ADD
00000b9c: SWAP2
00000b9d: SWAP1
00000b9e: SWAP2
00000b9f: MSTORE
00000ba0: PUSH1 0x40
00000ba2: ADD
00000ba3: PUSH1 0x00
00000ba5: KECCAK256
00000ba6: SLOAD
00000ba7: PUSH1 0xff
00000ba9: AND
00000baa: ISZERO
00000bab: PUSH2 0x0bb5
00000bae: JUMPI
00000baf: PUSH1 0x01
00000bb1: DUP3
00000bb2: ADD
00000bb3: SWAP2
00000bb4: POP
00000bb5: JUMPDEST
00000bb6: JUMPDEST
00000bb7: PUSH1 0x01
00000bb9: ADD
00000bba: PUSH2 0x0b4b
00000bbd: JUMP
00000bbe: JUMPDEST
00000bbf: JUMPDEST
00000bc0: POP
00000bc1: SWAP2
00000bc2: SWAP1
00000bc3: POP
00000bc4: JUMP
00000bc5: JUMPDEST
00000bc6: PUSH1 0x00
00000bc8: PUSH1 0x20
00000bca: DUP2
00000bcb: SWAP1
00000bcc: MSTORE
00000bcd: SWAP1
00000bce: DUP2
00000bcf: MSTORE
00000bd0: PUSH1 0x40
00000bd2: SWAP1
00000bd3: KECCAK256
00000bd4: DUP1
00000bd5: SLOAD
00000bd6: PUSH1 0x01
00000bd8: DUP3
00000bd9: ADD
00000bda: SLOAD
00000bdb: PUSH1 0x03
00000bdd: DUP4
00000bde: ADD
00000bdf: SLOAD
00000be0: PUSH1 0x01
00000be2: PUSH1 0xa0
00000be4: PUSH1 0x02
00000be6: EXP
00000be7: SUB
00000be8: SWAP1
00000be9: SWAP3
00000bea: AND
00000beb: SWAP3
00000bec: SWAP1
00000bed: SWAP2
00000bee: PUSH1 0x02
00000bf0: SWAP1
00000bf1: SWAP2
00000bf2: ADD
00000bf3: SWAP1
00000bf4: PUSH1 0xff
00000bf6: AND
00000bf7: DUP5
00000bf8: JUMP
00000bf9: JUMPDEST
00000bfa: PUSH1 0x40
00000bfc: DUP1
00000bfd: MLOAD
00000bfe: PUSH1 0x20
00000c00: DUP2
00000c01: DUP2
00000c02: ADD
00000c03: DUP4
00000c04: MSTORE
00000c05: PUSH1 0x00
00000c07: DUP3
00000c08: MSTORE
00000c09: PUSH1 0x03
00000c0b: DUP1
00000c0c: SLOAD
00000c0d: DUP5
00000c0e: MLOAD
00000c0f: DUP2
00000c10: DUP5
00000c11: MUL
00000c12: DUP2
00000c13: ADD
00000c14: DUP5
00000c15: ADD
00000c16: SWAP1
00000c17: SWAP6
00000c18: MSTORE
00000c19: DUP1
00000c1a: DUP6
00000c1b: MSTORE
00000c1c: SWAP3
00000c1d: SWAP4
00000c1e: SWAP3
00000c1f: SWAP1
00000c20: SWAP2
00000c21: DUP4
00000c22: ADD
00000c23: DUP3
00000c24: DUP3
00000c25: DUP1
00000c26: ISZERO
00000c27: PUSH2 0x0c59
00000c2a: JUMPI
00000c2b: PUSH1 0x20
00000c2d: MUL
00000c2e: DUP3
00000c2f: ADD
00000c30: SWAP2
00000c31: SWAP1
00000c32: PUSH1 0x00
00000c34: MSTORE
00000c35: PUSH1 0x20
00000c37: PUSH1 0x00
00000c39: KECCAK256
00000c3a: SWAP1
00000c3b: JUMPDEST
00000c3c: DUP2
00000c3d: SLOAD
00000c3e: PUSH1 0x01
00000c40: PUSH1 0xa0
00000c42: PUSH1 0x02
00000c44: EXP
00000c45: SUB
00000c46: AND
00000c47: DUP2
00000c48: MSTORE
00000c49: PUSH1 0x01
00000c4b: SWAP1
00000c4c: SWAP2
00000c4d: ADD
00000c4e: SWAP1
00000c4f: PUSH1 0x20
00000c51: ADD
00000c52: DUP1
00000c53: DUP4
00000c54: GT
00000c55: PUSH2 0x0c3b
00000c58: JUMPI
00000c59: JUMPDEST
00000c5a: POP
00000c5b: POP
00000c5c: POP
00000c5d: POP
00000c5e: POP
00000c5f: SWAP1
00000c60: POP
00000c61: JUMPDEST
00000c62: SWAP1
00000c63: JUMP
00000c64: JUMPDEST
00000c65: PUSH1 0x20
00000c67: PUSH1 0x40
00000c69: MLOAD
00000c6a: SWAP1
00000c6b: DUP2
00000c6c: ADD
00000c6d: PUSH1 0x40
00000c6f: MSTORE
00000c70: DUP1
00000c71: PUSH1 0x00
00000c73: DUP2
00000c74: MSTORE
00000c75: POP
00000c76: PUSH1 0x20
00000c78: PUSH1 0x40
00000c7a: MLOAD
00000c7b: SWAP1
00000c7c: DUP2
00000c7d: ADD
00000c7e: PUSH1 0x40
00000c80: MSTORE
00000c81: DUP1
00000c82: PUSH1 0x00
00000c84: DUP2
00000c85: MSTORE
00000c86: POP
00000c87: PUSH1 0x00
00000c89: PUSH1 0x00
00000c8b: PUSH1 0x05
00000c8d: SLOAD
00000c8e: PUSH1 0x40
00000c90: MLOAD
00000c91: DUP1
00000c92: MSIZE
00000c93: LT
00000c94: PUSH2 0x0c9a
00000c97: JUMPI
00000c98: POP
00000c99: MSIZE
00000c9a: JUMPDEST
00000c9b: SWAP1
00000c9c: DUP1
00000c9d: DUP3
00000c9e: MSTORE
00000c9f: DUP1
00000ca0: PUSH1 0x20
00000ca2: MUL
00000ca3: PUSH1 0x20
00000ca5: ADD
00000ca6: DUP3
00000ca7: ADD
00000ca8: PUSH1 0x40
00000caa: MSTORE
00000cab: JUMPDEST
00000cac: POP
00000cad: SWAP3
00000cae: POP
00000caf: PUSH1 0x00
00000cb1: SWAP2
00000cb2: POP
00000cb3: PUSH1 0x00
00000cb5: SWAP1
00000cb6: POP
00000cb7: JUMPDEST
00000cb8: PUSH1 0x05
00000cba: SLOAD
00000cbb: DUP2
00000cbc: LT
00000cbd: ISZERO
00000cbe: PUSH2 0x0d31
00000cc1: JUMPI
00000cc2: DUP6
00000cc3: DUP1
00000cc4: ISZERO
00000cc5: PUSH2 0x0ce0
00000cc8: JUMPI
00000cc9: POP
00000cca: PUSH1 0x00
00000ccc: DUP2
00000ccd: DUP2
00000cce: MSTORE
00000ccf: PUSH1 0x20
00000cd1: DUP2
00000cd2: SWAP1
00000cd3: MSTORE
00000cd4: PUSH1 0x40
00000cd6: SWAP1
00000cd7: KECCAK256
00000cd8: PUSH1 0x03
00000cda: ADD
00000cdb: SLOAD
00000cdc: PUSH1 0xff
00000cde: AND
00000cdf: ISZERO
00000ce0: JUMPDEST
00000ce1: DUP1
00000ce2: PUSH2 0x0d04
00000ce5: JUMPI
00000ce6: POP
00000ce7: DUP5
00000ce8: DUP1
00000ce9: ISZERO
00000cea: PUSH2 0x0d04
00000ced: JUMPI
00000cee: POP
00000cef: PUSH1 0x00
00000cf1: DUP2
00000cf2: DUP2
00000cf3: MSTORE
00000cf4: PUSH1 0x20
00000cf6: DUP2
00000cf7: SWAP1
00000cf8: MSTORE
00000cf9: PUSH1 0x40
00000cfb: SWAP1
00000cfc: KECCAK256
00000cfd: PUSH1 0x03
00000cff: ADD
00000d00: SLOAD
00000d01: PUSH1 0xff
00000d03: AND
00000d04: JUMPDEST
00000d05: JUMPDEST
00000d06: ISZERO
00000d07: PUSH2 0x0d28
00000d0a: JUMPI
00000d0b: DUP1
00000d0c: DUP4
00000d0d: DUP4
00000d0e: DUP2
00000d0f: MLOAD
00000d10: DUP2
00000d11: LT
00000d12: ISZERO
00000d13: PUSH2 0x0000
00000d16: JUMPI
00000d17: PUSH1 0x20
00000d19: SWAP1
00000d1a: DUP2
00000d1b: MUL
00000d1c: SWAP1
00000d1d: SWAP2
00000d1e: ADD
00000d1f: ADD
00000d20: MSTORE
00000d21: PUSH1 0x01
00000d23: SWAP2
00000d24: SWAP1
00000d25: SWAP2
00000d26: ADD
00000d27: SWAP1
00000d28: JUMPDEST
00000d29: JUMPDEST
00000d2a: PUSH1 0x01
00000d2c: ADD
00000d2d: PUSH2 0x0cb7
00000d30: JUMP
00000d31: JUMPDEST
00000d32: DUP8
00000d33: DUP8
00000d34: SUB
00000d35: PUSH1 0x40
00000d37: MLOAD
00000d38: DUP1
00000d39: MSIZE
00000d3a: LT
00000d3b: PUSH2 0x0d41
00000d3e: JUMPI
00000d3f: POP
00000d40: MSIZE
00000d41: JUMPDEST
00000d42: SWAP1
00000d43: DUP1
00000d44: DUP3
00000d45: MSTORE
00000d46: DUP1
00000d47: PUSH1 0x20
00000d49: MUL
00000d4a: PUSH1 0x20
00000d4c: ADD
00000d4d: DUP3
00000d4e: ADD
00000d4f: PUSH1 0x40
00000d51: MSTORE
00000d52: JUMPDEST
00000d53: POP
00000d54: SWAP4
00000d55: POP
00000d56: DUP8
00000d57: SWAP1
00000d58: POP
00000d59: JUMPDEST
00000d5a: DUP7
00000d5b: DUP2
00000d5c: LT
00000d5d: ISZERO
00000d5e: PUSH2 0x0d96
00000d61: JUMPI
00000d62: DUP3
00000d63: DUP2
00000d64: DUP2
00000d65: MLOAD
00000d66: DUP2
00000d67: LT
00000d68: ISZERO
00000d69: PUSH2 0x0000
00000d6c: JUMPI
00000d6d: SWAP1
00000d6e: PUSH1 0x20
00000d70: ADD
00000d71: SWAP1
00000d72: PUSH1 0x20
00000d74: MUL
00000d75: ADD
00000d76: MLOAD
00000d77: DUP5
00000d78: DUP10
00000d79: DUP4
00000d7a: SUB
00000d7b: DUP2
00000d7c: MLOAD
00000d7d: DUP2
00000d7e: LT
00000d7f: ISZERO
00000d80: PUSH2 0x0000
00000d83: JUMPI
00000d84: PUSH1 0x20
00000d86: SWAP1
00000d87: DUP2
00000d88: MUL
00000d89: SWAP1
00000d8a: SWAP2
00000d8b: ADD
00000d8c: ADD
00000d8d: MSTORE
00000d8e: JUMPDEST
00000d8f: PUSH1 0x01
00000d91: ADD
00000d92: PUSH2 0x0d59
00000d95: JUMP
00000d96: JUMPDEST
00000d97: JUMPDEST
00000d98: POP
00000d99: POP
00000d9a: POP
00000d9b: SWAP5
00000d9c: SWAP4
00000d9d: POP
00000d9e: POP
00000d9f: POP
00000da0: POP
00000da1: JUMP
00000da2: JUMPDEST
00000da3: PUSH1 0x20
00000da5: PUSH1 0x40
00000da7: MLOAD
00000da8: SWAP1
00000da9: DUP2
00000daa: ADD
00000dab: PUSH1 0x40
00000dad: MSTORE
00000dae: DUP1
00000daf: PUSH1 0x00
00000db1: DUP2
00000db2: MSTORE
00000db3: POP
00000db4: PUSH1 0x20
00000db6: PUSH1 0x40
00000db8: MLOAD
00000db9: SWAP1
00000dba: DUP2
00000dbb: ADD
00000dbc: PUSH1 0x40
00000dbe: MSTORE
00000dbf: DUP1
00000dc0: PUSH1 0x00
00000dc2: DUP2
00000dc3: MSTORE
00000dc4: POP
00000dc5: PUSH1 0x00
00000dc7: PUSH1 0x00
00000dc9: PUSH1 0x03
00000dcb: DUP1
00000dcc: SLOAD
00000dcd: SWAP1
00000dce: POP
00000dcf: PUSH1 0x40
00000dd1: MLOAD
00000dd2: DUP1
00000dd3: MSIZE
00000dd4: LT
00000dd5: PUSH2 0x0ddb
00000dd8: JUMPI
00000dd9: POP
00000dda: MSIZE
00000ddb: JUMPDEST
00000ddc: SWAP1
00000ddd: DUP1
00000dde: DUP3
00000ddf: MSTORE
00000de0: DUP1
00000de1: PUSH1 0x20
00000de3: MUL
00000de4: PUSH1 0x20
00000de6: ADD
00000de7: DUP3
00000de8: ADD
00000de9: PUSH1 0x40
00000deb: MSTORE
00000dec: JUMPDEST
00000ded: POP
00000dee: SWAP3
00000def: POP
00000df0: PUSH1 0x00
00000df2: SWAP2
00000df3: POP
00000df4: PUSH1 0x00
00000df6: SWAP1
00000df7: POP
00000df8: JUMPDEST
00000df9: PUSH1 0x03
00000dfb: SLOAD
00000dfc: DUP2
00000dfd: LT
00000dfe: ISZERO
00000dff: PUSH2 0x0eba
00000e02: JUMPI
00000e03: PUSH1 0x00
00000e05: DUP6
00000e06: DUP2
00000e07: MSTORE
00000e08: PUSH1 0x01
00000e0a: PUSH1 0x20
00000e0c: MSTORE
00000e0d: PUSH1 0x40
00000e0f: DUP2
00000e10: KECCAK256
00000e11: PUSH1 0x03
00000e13: DUP1
00000e14: SLOAD
00000e15: SWAP2
00000e16: SWAP3
00000e17: SWAP2
00000e18: DUP5
00000e19: SWAP1
00000e1a: DUP2
00000e1b: LT
00000e1c: ISZERO
00000e1d: PUSH2 0x0000
00000e20: JUMPI
00000e21: SWAP1
00000e22: PUSH1 0x00
00000e24: MSTORE
00000e25: PUSH1 0x20
00000e27: PUSH1 0x00
00000e29: KECCAK256
00000e2a: SWAP1
00000e2b: ADD
00000e2c: PUSH1 0x00
00000e2e: JUMPDEST
00000e2f: SWAP1
00000e30: SLOAD
00000e31: PUSH1 0x01
00000e33: PUSH1 0xa0
00000e35: PUSH1 0x02
00000e37: EXP
00000e38: SUB
00000e39: PUSH2 0x0100
00000e3c: SWAP3
00000e3d: SWAP1
00000e3e: SWAP3
00000e3f: EXP
00000e40: SWAP1
00000e41: DIV
00000e42: AND
00000e43: DUP2
00000e44: MSTORE
00000e45: PUSH1 0x20
00000e47: DUP2
00000e48: ADD
00000e49: SWAP2
00000e4a: SWAP1
00000e4b: SWAP2
00000e4c: MSTORE
00000e4d: PUSH1 0x40
00000e4f: ADD
00000e50: PUSH1 0x00
00000e52: KECCAK256
00000e53: SLOAD
00000e54: PUSH1 0xff
00000e56: AND
00000e57: ISZERO
00000e58: PUSH2 0x0eb1
00000e5b: JUMPI
00000e5c: PUSH1 0x03
00000e5e: DUP2
00000e5f: DUP2
00000e60: SLOAD
00000e61: DUP2
00000e62: LT
00000e63: ISZERO
00000e64: PUSH2 0x0000
00000e67: JUMPI
00000e68: SWAP1
00000e69: PUSH1 0x00
00000e6b: MSTORE
00000e6c: PUSH1 0x20
00000e6e: PUSH1 0x00
00000e70: KECCAK256
00000e71: SWAP1
00000e72: ADD
00000e73: PUSH1 0x00
00000e75: JUMPDEST
00000e76: SWAP1
00000e77: SLOAD
00000e78: SWAP1
00000e79: PUSH2 0x0100
00000e7c: EXP
00000e7d: SWAP1
00000e7e: DIV
00000e7f: PUSH1 0x01
00000e81: PUSH1 0xa0
00000e83: PUSH1 0x02
00000e85: EXP
00000e86: SUB
00000e87: AND
00000e88: DUP4
00000e89: DUP4
00000e8a: DUP2
00000e8b: MLOAD
00000e8c: DUP2
00000e8d: LT
00000e8e: ISZERO
00000e8f: PUSH2 0x0000
00000e92: JUMPI
00000e93: PUSH1 0x01
00000e95: PUSH1 0xa0
00000e97: PUSH1 0x02
00000e99: EXP
00000e9a: SUB
00000e9b: SWAP1
00000e9c: SWAP3
00000e9d: AND
00000e9e: PUSH1 0x20
00000ea0: SWAP3
00000ea1: DUP4
00000ea2: MUL
00000ea3: SWAP1
00000ea4: SWAP2
00000ea5: ADD
00000ea6: SWAP1
00000ea7: SWAP2
00000ea8: ADD
00000ea9: MSTORE
00000eaa: PUSH1 0x01
00000eac: SWAP2
00000ead: SWAP1
00000eae: SWAP2
00000eaf: ADD
00000eb0: SWAP1
00000eb1: JUMPDEST
00000eb2: JUMPDEST
00000eb3: PUSH1 0x01
00000eb5: ADD
00000eb6: PUSH2 0x0df8
00000eb9: JUMP
00000eba: JUMPDEST
00000ebb: DUP2
00000ebc: PUSH1 0x40
00000ebe: MLOAD
00000ebf: DUP1
00000ec0: MSIZE
00000ec1: LT
00000ec2: PUSH2 0x0ec8
00000ec5: JUMPI
00000ec6: POP
00000ec7: MSIZE
00000ec8: JUMPDEST
00000ec9: SWAP1
00000eca: DUP1
00000ecb: DUP3
00000ecc: MSTORE
00000ecd: DUP1
00000ece: PUSH1 0x20
00000ed0: MUL
00000ed1: PUSH1 0x20
00000ed3: ADD
00000ed4: DUP3
00000ed5: ADD
00000ed6: PUSH1 0x40
00000ed8: MSTORE
00000ed9: JUMPDEST
00000eda: POP
00000edb: SWAP4
00000edc: POP
00000edd: PUSH1 0x00
00000edf: SWAP1
00000ee0: POP
00000ee1: JUMPDEST
00000ee2: DUP2
00000ee3: DUP2
00000ee4: LT
00000ee5: ISZERO
00000ee6: PUSH2 0x0f29
00000ee9: JUMPI
00000eea: DUP3
00000eeb: DUP2
00000eec: DUP2
00000eed: MLOAD
00000eee: DUP2
00000eef: LT
00000ef0: ISZERO
00000ef1: PUSH2 0x0000
00000ef4: JUMPI
00000ef5: SWAP1
00000ef6: PUSH1 0x20
00000ef8: ADD
00000ef9: SWAP1
00000efa: PUSH1 0x20
00000efc: MUL
00000efd: ADD
00000efe: MLOAD
00000eff: DUP5
00000f00: DUP3
00000f01: DUP2
00000f02: MLOAD
00000f03: DUP2
00000f04: LT
00000f05: ISZERO
00000f06: PUSH2 0x0000
00000f09: JUMPI
00000f0a: PUSH1 0x01
00000f0c: PUSH1 0xa0
00000f0e: PUSH1 0x02
00000f10: EXP
00000f11: SUB
00000f12: SWAP1
00000f13: SWAP3
00000f14: AND
00000f15: PUSH1 0x20
00000f17: SWAP3
00000f18: DUP4
00000f19: MUL
00000f1a: SWAP1
00000f1b: SWAP2
00000f1c: ADD
00000f1d: SWAP1
00000f1e: SWAP2
00000f1f: ADD
00000f20: MSTORE
00000f21: JUMPDEST
00000f22: PUSH1 0x01
00000f24: ADD
00000f25: PUSH2 0x0ee1
00000f28: JUMP
00000f29: JUMPDEST
00000f2a: JUMPDEST
00000f2b: POP
00000f2c: POP
00000f2d: POP
00000f2e: SWAP2
00000f2f: SWAP1
00000f30: POP
00000f31: JUMP
00000f32: JUMPDEST
00000f33: PUSH1 0x05
00000f35: SLOAD
00000f36: DUP2
00000f37: JUMP
00000f38: JUMPDEST
00000f39: ADDRESS
00000f3a: PUSH1 0x01
00000f3c: PUSH1 0xa0
00000f3e: PUSH1 0x02
00000f40: EXP
00000f41: SUB
00000f42: AND
00000f43: CALLER
00000f44: PUSH1 0x01
00000f46: PUSH1 0xa0
00000f48: PUSH1 0x02
00000f4a: EXP
00000f4b: SUB
00000f4c: AND
00000f4d: EQ
00000f4e: ISZERO
00000f4f: ISZERO
00000f50: PUSH2 0x0f58
00000f53: JUMPI
00000f54: PUSH2 0x0000
00000f57: JUMP
00000f58: JUMPDEST
00000f59: PUSH1 0x03
00000f5b: SLOAD
00000f5c: DUP2
00000f5d: PUSH1 0x32
00000f5f: DUP3
00000f60: GT
00000f61: DUP1
00000f62: PUSH2 0x0f6a
00000f65: JUMPI
00000f66: POP
00000f67: DUP2
00000f68: DUP2
00000f69: GT
00000f6a: JUMPDEST
00000f6b: DUP1
00000f6c: PUSH2 0x0f73
00000f6f: JUMPI
00000f70: POP
00000f71: DUP1
00000f72: ISZERO
00000f73: JUMPDEST
00000f74: DUP1
00000f75: PUSH2 0x0f7c
00000f78: JUMPI
00000f79: POP
00000f7a: DUP2
00000f7b: ISZERO
00000f7c: JUMPDEST
00000f7d: ISZERO
00000f7e: PUSH2 0x0f86
00000f81: JUMPI
00000f82: PUSH2 0x0000
00000f85: JUMP
00000f86: JUMPDEST
00000f87: PUSH1 0x04
00000f89: DUP4
00000f8a: SWAP1
00000f8b: SSTORE
00000f8c: PUSH1 0x40
00000f8e: DUP1
00000f8f: MLOAD
00000f90: DUP5
00000f91: DUP2
00000f92: MSTORE
00000f93: SWAP1
00000f94: MLOAD
00000f95: PUSH32 0xa3f1ee9126a074d9326c682f561767f710e927faa811f7a99829d49dc421797a
00000fb6: SWAP2
00000fb7: DUP2
00000fb8: SWAP1
00000fb9: SUB
00000fba: PUSH1 0x20
00000fbc: ADD
00000fbd: SWAP1
00000fbe: LOG1
00000fbf: JUMPDEST
00000fc0: JUMPDEST
00000fc1: POP
00000fc2: POP
00000fc3: JUMPDEST
00000fc4: POP
00000fc5: JUMP
00000fc6: JUMPDEST
00000fc7: CALLER
00000fc8: PUSH1 0x01
00000fca: PUSH1 0xa0
00000fcc: PUSH1 0x02
00000fce: EXP
00000fcf: SUB
00000fd0: DUP2
00000fd1: AND
00000fd2: PUSH1 0x00
00000fd4: SWAP1
00000fd5: DUP2
00000fd6: MSTORE
00000fd7: PUSH1 0x02
00000fd9: PUSH1 0x20
00000fdb: MSTORE
00000fdc: PUSH1 0x40
00000fde: SWAP1
00000fdf: KECCAK256
00000fe0: SLOAD
00000fe1: PUSH1 0xff
00000fe3: AND
00000fe4: ISZERO
00000fe5: ISZERO
00000fe6: PUSH2 0x0fee
00000fe9: JUMPI
00000fea: PUSH2 0x0000
00000fed: JUMP
00000fee: JUMPDEST
00000fef: PUSH1 0x00
00000ff1: DUP3
00000ff2: DUP2
00000ff3: MSTORE
00000ff4: PUSH1 0x20
00000ff6: DUP2
00000ff7: SWAP1
00000ff8: MSTORE
00000ff9: PUSH1 0x40
00000ffb: SWAP1
00000ffc: KECCAK256
00000ffd: SLOAD
00000ffe: DUP3
00000fff: SWAP1
00001000: PUSH1 0x01
00001002: PUSH1 0xa0
00001004: PUSH1 0x02
00001006: EXP
00001007: SUB
00001008: AND
00001009: ISZERO
0000100a: ISZERO
0000100b: PUSH2 0x1013
0000100e: JUMPI
0000100f: PUSH2 0x0000
00001012: JUMP
00001013: JUMPDEST
00001014: PUSH1 0x00
00001016: DUP4
00001017: DUP2
00001018: MSTORE
00001019: PUSH1 0x01
0000101b: PUSH1 0x20
0000101d: SWAP1
0000101e: DUP2
0000101f: MSTORE
00001020: PUSH1 0x40
00001022: DUP1
00001023: DUP4
00001024: KECCAK256
00001025: CALLER
00001026: PUSH1 0x01
00001028: PUSH1 0xa0
0000102a: PUSH1 0x02
0000102c: EXP
0000102d: SUB
0000102e: DUP2
0000102f: AND
00001030: DUP6
00001031: MSTORE
00001032: SWAP3
00001033: MSTORE
00001034: SWAP1
00001035: SWAP2
00001036: KECCAK256
00001037: SLOAD
00001038: DUP5
00001039: SWAP2
0000103a: SWAP1
0000103b: PUSH1 0xff
0000103d: AND
0000103e: ISZERO
0000103f: PUSH2 0x1047
00001042: JUMPI
00001043: PUSH2 0x0000
00001046: JUMP
00001047: JUMPDEST
00001048: PUSH1 0x00
0000104a: DUP6
0000104b: DUP2
0000104c: MSTORE
0000104d: PUSH1 0x01
0000104f: PUSH1 0x20
00001051: DUP2
00001052: DUP2
00001053: MSTORE
00001054: PUSH1 0x40
00001056: DUP1
00001057: DUP5
00001058: KECCAK256
00001059: PUSH1 0x01
0000105b: PUSH1 0xa0
0000105d: PUSH1 0x02
0000105f: EXP
00001060: SUB
00001061: CALLER
00001062: AND
00001063: DUP1
00001064: DUP7
00001065: MSTORE
00001066: SWAP3
00001067: MSTORE
00001068: DUP1
00001069: DUP5
0000106a: KECCAK256
0000106b: DUP1
0000106c: SLOAD
0000106d: PUSH1 0xff
0000106f: NOT
00001070: AND
00001071: SWAP1
00001072: SWAP4
00001073: OR
00001074: SWAP1
00001075: SWAP3
00001076: SSTORE
00001077: SWAP1
00001078: MLOAD
00001079: DUP8
0000107a: SWAP3
0000107b: PUSH32 0x4a504a94899432a9846e1aa406dceb1bcfd538bb839071d49d1e5e23f5be30ef
0000109c: SWAP2
0000109d: LOG3
0000109e: PUSH2 0x089d
000010a1: DUP6
000010a2: PUSH2 0x128f
000010a5: JUMP
000010a6: JUMPDEST
000010a7: JUMPDEST
000010a8: JUMPDEST
000010a9: POP
000010aa: POP
000010ab: JUMPDEST
000010ac: POP
000010ad: JUMPDEST
000010ae: POP
000010af: POP
000010b0: JUMP
000010b1: JUMPDEST
000010b2: PUSH1 0x00
000010b4: PUSH2 0x10be
000010b7: DUP5
000010b8: DUP5
000010b9: DUP5
000010ba: PUSH2 0x13f6
000010bd: JUMP
000010be: JUMPDEST
000010bf: SWAP1
000010c0: POP
000010c1: PUSH2 0x10c9
000010c4: DUP2
000010c5: PUSH2 0x0fc6
000010c8: JUMP
000010c9: JUMPDEST
000010ca: JUMPDEST
000010cb: SWAP4
000010cc: SWAP3
000010cd: POP
000010ce: POP
000010cf: POP
000010d0: JUMP
000010d1: JUMPDEST
000010d2: PUSH1 0x32
000010d4: DUP2
000010d5: JUMP
000010d6: JUMPDEST
000010d7: PUSH1 0x04
000010d9: SLOAD
000010da: DUP2
000010db: JUMP
000010dc: JUMPDEST
000010dd: PUSH1 0x00
000010df: ADDRESS
000010e0: PUSH1 0x01
000010e2: PUSH1 0xa0
000010e4: PUSH1 0x02
000010e6: EXP
000010e7: SUB
000010e8: AND
000010e9: CALLER
000010ea: PUSH1 0x01
000010ec: PUSH1 0xa0
000010ee: PUSH1 0x02
000010f0: EXP
000010f1: SUB
000010f2: AND
000010f3: EQ
000010f4: ISZERO
000010f5: ISZERO
000010f6: PUSH2 0x10fe
000010f9: JUMPI
000010fa: PUSH2 0x0000
000010fd: JUMP
000010fe: JUMPDEST
000010ff: PUSH1 0x01
00001101: PUSH1 0xa0
00001103: PUSH1 0x02
00001105: EXP
00001106: SUB
00001107: DUP4
00001108: AND
00001109: PUSH1 0x00
0000110b: SWAP1
0000110c: DUP2
0000110d: MSTORE
0000110e: PUSH1 0x02
00001110: PUSH1 0x20
00001112: MSTORE
00001113: PUSH1 0x40
00001115: SWAP1
00001116: KECCAK256
00001117: SLOAD
00001118: DUP4
00001119: SWAP1
0000111a: PUSH1 0xff
0000111c: AND
0000111d: ISZERO
0000111e: ISZERO
0000111f: PUSH2 0x1127
00001122: JUMPI
00001123: PUSH2 0x0000
00001126: JUMP
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: PUSH2 0x114f
0000114a: JUMPI
0000114b: PUSH2 0x0000
0000114e: JUMP
0000114f: JUMPDEST
00001150: PUSH1 0x00
00001152: SWAP3
00001153: POP
00001154: JUMPDEST
00001155: PUSH1 0x03
00001157: SLOAD
00001158: DUP4
00001159: LT
0000115a: ISZERO
0000115b: PUSH2 0x11f1
0000115e: JUMPI
0000115f: DUP5
00001160: PUSH1 0x01
00001162: PUSH1 0xa0
00001164: PUSH1 0x02
00001166: EXP
00001167: SUB
00001168: AND
00001169: PUSH1 0x03
0000116b: DUP5
0000116c: DUP2
0000116d: SLOAD
0000116e: DUP2
0000116f: LT
00001170: ISZERO
00001171: PUSH2 0x0000
00001174: JUMPI
00001175: SWAP1
00001176: PUSH1 0x00
00001178: MSTORE
00001179: PUSH1 0x20
0000117b: PUSH1 0x00
0000117d: KECCAK256
0000117e: SWAP1
0000117f: ADD
00001180: PUSH1 0x00
00001182: JUMPDEST
00001183: SWAP1
00001184: SLOAD
00001185: SWAP1
00001186: PUSH2 0x0100
00001189: EXP
0000118a: SWAP1
0000118b: DIV
0000118c: PUSH1 0x01
0000118e: PUSH1 0xa0
00001190: PUSH1 0x02
00001192: EXP
00001193: SUB
00001194: AND
00001195: PUSH1 0x01
00001197: PUSH1 0xa0
00001199: PUSH1 0x02
0000119b: EXP
0000119c: SUB
0000119d: AND
0000119e: EQ
0000119f: ISZERO
000011a0: PUSH2 0x11e5
000011a3: JUMPI
000011a4: DUP4
000011a5: PUSH1 0x03
000011a7: DUP5
000011a8: DUP2
000011a9: SLOAD
000011aa: DUP2
000011ab: LT
000011ac: ISZERO
000011ad: PUSH2 0x0000
000011b0: JUMPI
000011b1: SWAP1
000011b2: PUSH1 0x00
000011b4: MSTORE
000011b5: PUSH1 0x20
000011b7: PUSH1 0x00
000011b9: KECCAK256
000011ba: SWAP1
000011bb: ADD
000011bc: PUSH1 0x00
000011be: JUMPDEST
000011bf: PUSH2 0x0100
000011c2: EXP
000011c3: DUP2
000011c4: SLOAD
000011c5: DUP2
000011c6: PUSH1 0x01
000011c8: PUSH1 0xa0
000011ca: PUSH1 0x02
000011cc: EXP
000011cd: SUB
000011ce: MUL
000011cf: NOT
000011d0: AND
000011d1: SWAP1
000011d2: DUP4
000011d3: PUSH1 0x01
000011d5: PUSH1 0xa0
000011d7: PUSH1 0x02
000011d9: EXP
000011da: SUB
000011db: AND
000011dc: MUL
000011dd: OR
000011de: SWAP1
000011df: SSTORE
000011e0: POP
000011e1: PUSH2 0x11f1
000011e4: JUMP
000011e5: JUMPDEST
000011e6: JUMPDEST
000011e7: PUSH1 0x01
000011e9: SWAP1
000011ea: SWAP3
000011eb: ADD
000011ec: SWAP2
000011ed: PUSH2 0x1154
000011f0: JUMP
000011f1: JUMPDEST
000011f2: PUSH1 0x01
000011f4: PUSH1 0xa0
000011f6: PUSH1 0x02
000011f8: EXP
000011f9: SUB
000011fa: DUP1
000011fb: DUP7
000011fc: AND
000011fd: PUSH1 0x00
000011ff: DUP2
00001200: DUP2
00001201: MSTORE
00001202: PUSH1 0x02
00001204: PUSH1 0x20
00001206: MSTORE
00001207: PUSH1 0x40
00001209: DUP1
0000120a: DUP3
0000120b: KECCAK256
0000120c: DUP1
0000120d: SLOAD
0000120e: PUSH1 0xff
00001210: NOT
00001211: SWAP1
00001212: DUP2
00001213: AND
00001214: SWAP1
00001215: SWAP2
00001216: SSTORE
00001217: SWAP4
00001218: DUP9
00001219: AND
0000121a: DUP3
0000121b: MSTORE
0000121c: DUP1
0000121d: DUP3
0000121e: KECCAK256
0000121f: DUP1
00001220: SLOAD
00001221: SWAP1
00001222: SWAP5
00001223: AND
00001224: PUSH1 0x01
00001226: OR
00001227: SWAP1
00001228: SWAP4
00001229: SSTORE
0000122a: SWAP2
0000122b: MLOAD
0000122c: SWAP1
0000122d: SWAP2
0000122e: PUSH32 0x8001553a916ef2f495d26a907cc54d96ed840d7bda71e73194bf5a9df7a76b90
0000124f: SWAP2
00001250: LOG2
00001251: PUSH1 0x40
00001253: MLOAD
00001254: PUSH1 0x01
00001256: PUSH1 0xa0
00001258: PUSH1 0x02
0000125a: EXP
0000125b: SUB
0000125c: DUP6
0000125d: AND
0000125e: SWAP1
0000125f: PUSH32 0xf39e6e1eb0edcf53c221607b54b00cd28f3196fed0a24994dc308b8f611b682d
00001280: SWAP1
00001281: PUSH1 0x00
00001283: SWAP1
00001284: LOG2
00001285: JUMPDEST
00001286: JUMPDEST
00001287: POP
00001288: JUMPDEST
00001289: POP
0000128a: JUMPDEST
0000128b: POP
0000128c: POP
0000128d: POP
0000128e: JUMP
0000128f: JUMPDEST
00001290: PUSH1 0x00
00001292: DUP2
00001293: DUP2
00001294: MSTORE
00001295: PUSH1 0x20
00001297: DUP2
00001298: SWAP1
00001299: MSTORE
0000129a: PUSH1 0x40
0000129c: DUP2
0000129d: KECCAK256
0000129e: PUSH1 0x03
000012a0: ADD
000012a1: SLOAD
000012a2: DUP3
000012a3: SWAP1
000012a4: PUSH1 0xff
000012a6: AND
000012a7: ISZERO
000012a8: PUSH2 0x12b0
000012ab: JUMPI
000012ac: PUSH2 0x0000
000012af: JUMP
000012b0: JUMPDEST
000012b1: PUSH2 0x12b9
000012b4: DUP4
000012b5: PUSH2 0x0ab4
000012b8: JUMP
000012b9: JUMPDEST
000012ba: ISZERO
000012bb: PUSH2 0x07c6
000012be: JUMPI
000012bf: PUSH1 0x00
000012c1: DUP4
000012c2: DUP2
000012c3: MSTORE
000012c4: PUSH1 0x20
000012c6: DUP2
000012c7: SWAP1
000012c8: MSTORE
000012c9: PUSH1 0x40
000012cb: SWAP1
000012cc: DUP2
000012cd: SWAP1
000012ce: KECCAK256
000012cf: PUSH1 0x03
000012d1: DUP2
000012d2: ADD
000012d3: DUP1
000012d4: SLOAD
000012d5: PUSH1 0xff
000012d7: NOT
000012d8: AND
000012d9: PUSH1 0x01
000012db: SWAP1
000012dc: DUP2
000012dd: OR
000012de: SWAP1
000012df: SWAP2
000012e0: SSTORE
000012e1: DUP2
000012e2: SLOAD
000012e3: DUP2
000012e4: DUP4
000012e5: ADD
000012e6: SLOAD
000012e7: SWAP4
000012e8: MLOAD
000012e9: PUSH1 0x02
000012eb: DUP1
000012ec: DUP6
000012ed: ADD
000012ee: DUP1
000012ef: SLOAD
000012f0: SWAP6
000012f1: SWAP9
000012f2: POP
000012f3: PUSH1 0x01
000012f5: PUSH1 0xa0
000012f7: PUSH1 0x02
000012f9: EXP
000012fa: SUB
000012fb: SWAP1
000012fc: SWAP4
000012fd: AND
000012fe: SWAP6
000012ff: SWAP5
00001300: SWAP3
00001301: SWAP4
00001302: SWAP2
00001303: SWAP3
00001304: DUP4
00001305: SWAP3
00001306: DUP6
00001307: SWAP3
00001308: PUSH1 0x00
0000130a: NOT
0000130b: SWAP2
0000130c: DUP4
0000130d: AND
0000130e: ISZERO
0000130f: PUSH2 0x0100
00001312: MUL
00001313: SWAP2
00001314: SWAP1
00001315: SWAP2
00001316: ADD
00001317: SWAP1
00001318: SWAP2
00001319: AND
0000131a: DIV
0000131b: DUP1
0000131c: ISZERO
0000131d: PUSH2 0x1367
00001320: JUMPI
00001321: DUP1
00001322: PUSH1 0x1f
00001324: LT
00001325: PUSH2 0x133c
00001328: JUMPI
00001329: PUSH2 0x0100
0000132c: DUP1
0000132d: DUP4
0000132e: SLOAD
0000132f: DIV
00001330: MUL
00001331: DUP4
00001332: MSTORE
00001333: SWAP2
00001334: PUSH1 0x20
00001336: ADD
00001337: SWAP2
00001338: PUSH2 0x1367
0000133b: JUMP
0000133c: JUMPDEST
0000133d: DUP3
0000133e: ADD
0000133f: SWAP2
00001340: SWAP1
00001341: PUSH1 0x00
00001343: MSTORE
00001344: PUSH1 0x20
00001346: PUSH1 0x00
00001348: KECCAK256
00001349: SWAP1
0000134a: JUMPDEST
0000134b: DUP2
0000134c: SLOAD
0000134d: DUP2
0000134e: MSTORE
0000134f: SWAP1
00001350: PUSH1 0x01
00001352: ADD
00001353: SWAP1
00001354: PUSH1 0x20
00001356: ADD
00001357: DUP1
00001358: DUP4
00001359: GT
0000135a: PUSH2 0x134a
0000135d: JUMPI
0000135e: DUP3
0000135f: SWAP1
00001360: SUB
00001361: PUSH1 0x1f
00001363: AND
00001364: DUP3
00001365: ADD
00001366: SWAP2
00001367: JUMPDEST
00001368: POP
00001369: POP
0000136a: SWAP2
0000136b: POP
0000136c: POP
0000136d: PUSH1 0x00
0000136f: PUSH1 0x40
00001371: MLOAD
00001372: DUP1
00001373: DUP4
00001374: SUB
00001375: DUP2
00001376: DUP6
00001377: DUP8
00001378: PUSH2 0x8502
0000137b: GAS
0000137c: SUB
0000137d: CALL
0000137e: SWAP3
0000137f: POP
00001380: POP
00001381: POP
00001382: ISZERO
00001383: PUSH2 0x13b6
00001386: JUMPI
00001387: PUSH1 0x40
00001389: MLOAD
0000138a: DUP4
0000138b: SWAP1
0000138c: PUSH32 0x33e13ecb54c3076d8e8bb8c2881800a4d972b792045ffae98fdf46df365fed75
000013ad: SWAP1
000013ae: PUSH1 0x00
000013b0: SWAP1
000013b1: LOG2
000013b2: PUSH2 0x07c6
000013b5: JUMP
000013b6: JUMPDEST
000013b7: PUSH1 0x40
000013b9: MLOAD
000013ba: DUP4
000013bb: SWAP1
000013bc: PUSH32 0x526441bb6c1aba3c9a4a6ca1d6545da9c2333c8c48343ef398eb858d72b79236
000013dd: SWAP1
000013de: PUSH1 0x00
000013e0: SWAP1
000013e1: LOG2
000013e2: PUSH1 0x03
000013e4: DUP3
000013e5: ADD
000013e6: DUP1
000013e7: SLOAD
000013e8: PUSH1 0xff
000013ea: NOT
000013eb: AND
000013ec: SWAP1
000013ed: SSTORE
000013ee: JUMPDEST
000013ef: JUMPDEST
000013f0: JUMPDEST
000013f1: JUMPDEST
000013f2: POP
000013f3: POP
000013f4: POP
000013f5: JUMP
000013f6: JUMPDEST
000013f7: PUSH1 0x00
000013f9: DUP4
000013fa: PUSH1 0x01
000013fc: PUSH1 0xa0
000013fe: PUSH1 0x02
00001400: EXP
00001401: SUB
00001402: DUP2
00001403: AND
00001404: ISZERO
00001405: ISZERO
00001406: PUSH2 0x140e
00001409: JUMPI
0000140a: PUSH2 0x0000
0000140d: JUMP
0000140e: JUMPDEST
0000140f: PUSH1 0x05
00001411: SLOAD
00001412: PUSH1 0x40
00001414: DUP1
00001415: MLOAD
00001416: PUSH1 0x80
00001418: DUP2
00001419: ADD
0000141a: DUP3
0000141b: MSTORE
0000141c: PUSH1 0x01
0000141e: PUSH1 0xa0
00001420: PUSH1 0x02
00001422: EXP
00001423: SUB
00001424: DUP1
00001425: DUP10
00001426: AND
00001427: DUP3
00001428: MSTORE
00001429: PUSH1 0x20
0000142b: DUP1
0000142c: DUP4
0000142d: ADD
0000142e: DUP10
0000142f: DUP2
00001430: MSTORE
00001431: DUP4
00001432: DUP6
00001433: ADD
00001434: DUP10
00001435: DUP2
00001436: MSTORE
00001437: PUSH1 0x00
00001439: PUSH1 0x60
0000143b: DUP7
0000143c: ADD
0000143d: DUP2
0000143e: SWAP1
0000143f: MSTORE
00001440: DUP8
00001441: DUP2
00001442: MSTORE
00001443: DUP1
00001444: DUP5
00001445: MSTORE
00001446: SWAP6
00001447: DUP7
00001448: KECCAK256
00001449: DUP6
0000144a: MLOAD
0000144b: DUP2
0000144c: SLOAD
0000144d: SWAP6
0000144e: AND
0000144f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001464: NOT
00001465: SWAP1
00001466: SWAP6
00001467: AND
00001468: SWAP5
00001469: SWAP1
0000146a: SWAP5
0000146b: OR
0000146c: DUP5
0000146d: SSTORE
0000146e: SWAP1
0000146f: MLOAD
00001470: PUSH1 0x01
00001472: DUP5
00001473: DUP2
00001474: ADD
00001475: SWAP2
00001476: SWAP1
00001477: SWAP2
00001478: SSTORE
00001479: SWAP1
0000147a: MLOAD
0000147b: DUP1
0000147c: MLOAD
0000147d: PUSH1 0x02
0000147f: DUP1
00001480: DUP7
00001481: ADD
00001482: DUP1
00001483: SLOAD
00001484: DUP2
00001485: DUP11
00001486: MSTORE
00001487: SWAP9
00001488: DUP7
00001489: SWAP1
0000148a: KECCAK256
0000148b: SWAP10
0000148c: SWAP12
0000148d: POP
0000148e: SWAP7
0000148f: SWAP9
00001490: SWAP6
00001491: SWAP8
00001492: PUSH1 0x1f
00001494: SWAP5
00001495: DUP2
00001496: AND
00001497: ISZERO
00001498: PUSH2 0x0100
0000149b: MUL
0000149c: PUSH1 0x00
0000149e: NOT
0000149f: ADD
000014a0: AND
000014a1: DIV
000014a2: DUP4
000014a3: ADD
000014a4: DUP5
000014a5: SWAP1
000014a6: DIV
000014a7: DUP6
000014a8: ADD
000014a9: SWAP5
000014aa: SWAP1
000014ab: SWAP4
000014ac: SWAP1
000014ad: SWAP3
000014ae: SWAP2
000014af: ADD
000014b0: SWAP1
000014b1: DUP4
000014b2: SWAP1
000014b3: LT
000014b4: PUSH2 0x14c8
000014b7: JUMPI
000014b8: DUP1
000014b9: MLOAD
000014ba: PUSH1 0xff
000014bc: NOT
000014bd: AND
000014be: DUP4
000014bf: DUP1
000014c0: ADD
000014c1: OR
000014c2: DUP6
000014c3: SSTORE
000014c4: PUSH2 0x14f5
000014c7: JUMP
000014c8: JUMPDEST
000014c9: DUP3
000014ca: DUP1
000014cb: ADD
000014cc: PUSH1 0x01
000014ce: ADD
000014cf: DUP6
000014d0: SSTORE
000014d1: DUP3
000014d2: ISZERO
000014d3: PUSH2 0x14f5
000014d6: JUMPI
000014d7: SWAP2
000014d8: DUP3
000014d9: ADD
000014da: JUMPDEST
000014db: DUP3
000014dc: DUP2
000014dd: GT
000014de: ISZERO
000014df: PUSH2 0x14f5
000014e2: JUMPI
000014e3: DUP3
000014e4: MLOAD
000014e5: DUP3
000014e6: SSTORE
000014e7: SWAP2
000014e8: PUSH1 0x20
000014ea: ADD
000014eb: SWAP2
000014ec: SWAP1
000014ed: PUSH1 0x01
000014ef: ADD
000014f0: SWAP1
000014f1: PUSH2 0x14da
000014f4: JUMP
000014f5: JUMPDEST
000014f6: JUMPDEST
000014f7: POP
000014f8: PUSH2 0x1516
000014fb: SWAP3
000014fc: SWAP2
000014fd: POP
000014fe: JUMPDEST
000014ff: DUP1
00001500: DUP3
00001501: GT
00001502: ISZERO
00001503: PUSH2 0x076d
00001506: JUMPI
00001507: PUSH1 0x00
00001509: DUP2
0000150a: SSTORE
0000150b: PUSH1 0x01
0000150d: ADD
0000150e: PUSH2 0x0759
00001511: JUMP
00001512: JUMPDEST
00001513: POP
00001514: SWAP1
00001515: JUMP
00001516: JUMPDEST
00001517: POP
00001518: POP
00001519: PUSH1 0x60
0000151b: SWAP2
0000151c: SWAP1
0000151d: SWAP2
0000151e: ADD
0000151f: MLOAD
00001520: PUSH1 0x03
00001522: SWAP1
00001523: SWAP2
00001524: ADD
00001525: DUP1
00001526: SLOAD
00001527: PUSH1 0xff
00001529: NOT
0000152a: AND
0000152b: SWAP2
0000152c: ISZERO
0000152d: ISZERO
0000152e: SWAP2
0000152f: SWAP1
00001530: SWAP2
00001531: OR
00001532: SWAP1
00001533: SSTORE
00001534: PUSH1 0x05
00001536: DUP1
00001537: SLOAD
00001538: PUSH1 0x01
0000153a: ADD
0000153b: SWAP1
0000153c: SSTORE
0000153d: PUSH1 0x40
0000153f: MLOAD
00001540: DUP3
00001541: SWAP1
00001542: PUSH32 0xc0ba8fe4b176c1714197d43b9cc6bcf797a4a7461c5fe8d0ef6e184ae7601e51
00001563: SWAP1
00001564: PUSH1 0x00
00001566: SWAP1
00001567: LOG2
00001568: JUMPDEST
00001569: JUMPDEST
0000156a: POP
0000156b: SWAP4
0000156c: SWAP3
0000156d: POP
0000156e: POP
0000156f: POP
00001570: JUMP
00001571: STOP
00001572: LOG1
00001573: PUSH6 0x627a7a723058
0000157a: KECCAK256
0000157b: UNKNOWN(0xC2)
0000157c: MULMOD
0000157d: LT
0000157e: MCOPY
0000157f: PUSH6 0xae285b2db4ee
00001586: SELFDESTRUCT
00001587: UNKNOWN(0xE0)
00001588: UNKNOWN(0xB3)
00001589: UNKNOWN(0xDB)
0000158a: LOG0
0000158b: DUP11
0000158c: PUSH29