Analysis Run

[codex:452536] OpenAI Codex v0.77.0 (research preview)
[codex:452536] --------
[codex:452536] workdir: /tmp/codex-multi-i9q3ldr_
[codex:452536] model: gpt-5.2-codex
[codex:452536] provider: openai
[codex:452536] approval: never
[codex:452536] sandbox: read-only
[codex:452536] reasoning effort: xhigh
[codex:452536] reasoning summaries: auto
[codex:452536] session id: 019b8c4d-9195-79a1-b4d6-b98558f47028
[codex:452536] --------
[codex:452536] user
[codex:452536] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:452536] 
[codex:452536] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:452536] 
[codex:452536] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:452536] - Gas inefficiency, code quality, naming, or best practices
[codex:452536] - Theoretical vulnerabilities without a clear extraction path
[codex:452536] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:452536] - Front-running unless it enables theft beyond MEV
[codex:452536] - DoS, griefing, or issues that don't result in attacker profit
[codex:452536] - Missing events, view function issues, or informational findings
[codex:452536] 
[codex:452536] HIGH-VALUE PATTERNS TO HUNT:
[codex:452536] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:452536] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:452536] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:452536] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:452536] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:452536] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:452536] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:452536] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:452536] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:452536] 
[codex:452536] For each finding, you MUST provide:
[codex:452536] 1. Exact file and line numbers of vulnerable code
[codex:452536] 2. Step-by-step exploit transaction sequence
[codex:452536] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:452536] 
[codex:452536] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:452536] 
[codex:452536] Output MUST be valid JSON matching the provided schema.
[codex:452536] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:452536] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:452536] mcp startup: no servers
[codex:452536] 
[codex:452536] thinking
[codex:452536] **Reading audit bundle for skills**
[codex:452536] exec
[codex:452536] /bin/bash -lc ls in /tmp/codex-multi-i9q3ldr_ succeeded in 6ms:
[codex:452536] AUDIT_BUNDLE.txt
[codex:452536] codex-output-schema.json
[codex:452536] contracts
[codex:452536] exec
[codex:452536] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-i9q3ldr_ succeeded in 6ms:
[codex:452536] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:452536] 
[codex:452536] ================================================================================
[codex:452536] FILE: contracts/Contract.sol
[codex:452536] ================================================================================
[codex:452536] pragma solidity >=0.4.24;
[codex:452536] 
[codex:452536] contract Matrix {
[codex:452536]     struct User {
[codex:452536]         uint id;
[codex:452536]         address referrer;
[codex:452536]         uint personalMatrixCnt;
[codex:452536]         uint personalMatrixNum;
[codex:452536]         uint personalMatrixFills;
[codex:452536]         uint totalReferrals;
[codex:452536]         uint levelsOpen;
[codex:452536]     }
[codex:452536] 
[codex:452536]     mapping(uint => uint) public LEVEL_PRICE;
[codex:452536]     mapping(uint => uint) public LEVEL_SLOTS;
[codex:452536] 
[codex:452536] 
[codex:452536] 
[codex:452536] thinking
[codex:452536] **Analyzing matrix contract for exploits**
[codex:452536] thinking
[codex:452536] **Examining recursive position updates and payout cycles**
[codex:452536] 
[codex:452536] This analysis digs into how the contract’s fillLevel function triggers recursive calls to updateBinaryMatrix, creating extra free positions that could repeatedly trigger payouts. I’m carefully weighing whether these internal loops can generate profits without fresh payments or if they simply reflect intended reward cycles tied to actual contributions. I’ll also verify if being the first registrant yields disproportionate binary matrix control and if the complex referral logic offers any unintended gains. Let’s explore how the binary tree indices interact with payouts and whether these mechanics might let a user bootstrap earnings beyond normal costs.
[codex:452536] thinking
[codex:452536] **Validating payout thresholds and final conclusions**
[codex:452536] 
[codex:452536] I’m confirming when fillLevel triggers for the root at various levels, calculating required positions and costs versus potential payouts. After thorough checks, I see no exploitable path to extract more value than paid beyond the intended scheme mechanics. The analysis supports reporting no concrete profit exploit.
[codex:452536] codex
[codex:452536] {"no_findings":true,"summary":"No concrete, exploitable profit path found in the provided contract.","findings":[]}
[codex:452536] tokens used
[codex:452536] 16,644
[codex:452536] {"no_findings":true,"summary":"No concrete, exploitable profit path found in the provided contract.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-05T04:00:39.360949+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable profit path found in the provided contract.",
    "raw_final": {
        "summary": "No concrete, exploitable profit path found in the provided contract.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x00e5
0000000c: JUMPI
0000000d: PUSH4 0xffffffff
00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000030: PUSH1 0x00
00000032: CALLDATALOAD
00000033: DIV
00000034: AND
00000035: PUSH4 0x0980e4fc
0000003a: DUP2
0000003b: EQ
0000003c: PUSH2 0x00ea
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x21d18a90
00000046: EQ
00000047: PUSH2 0x0114
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x322f62ba
00000051: EQ
00000052: PUSH2 0x012c
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x348d4487
0000005c: EQ
0000005d: PUSH2 0x0142
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x425ab577
00000067: EQ
00000068: PUSH2 0x0157
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x426b5382
00000072: EQ
00000073: PUSH2 0x017b
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x4b841f09
0000007d: EQ
0000007e: PUSH2 0x01af
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x4f6a35c5
00000088: EQ
00000089: PUSH2 0x01c4
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x509222cd
00000093: EQ
00000094: PUSH2 0x01dc
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0x5902795d
0000009e: EQ
0000009f: PUSH2 0x0211
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0x79378e30
000000a9: EQ
000000aa: PUSH2 0x0219
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x8cd582f4
000000b4: EQ
000000b5: PUSH2 0x0231
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0x8da5cb5b
000000bf: EQ
000000c0: PUSH2 0x0249
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0xa87430ba
000000ca: EQ
000000cb: PUSH2 0x025e
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0xaf716270
000000d5: EQ
000000d6: PUSH2 0x02bf
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0xf16f0ef0
000000e0: EQ
000000e1: PUSH2 0x02e0
000000e4: JUMPI
000000e5: JUMPDEST
000000e6: PUSH1 0x00
000000e8: DUP1
000000e9: REVERT
000000ea: JUMPDEST
000000eb: CALLVALUE
000000ec: DUP1
000000ed: ISZERO
000000ee: PUSH2 0x00f6
000000f1: JUMPI
000000f2: PUSH1 0x00
000000f4: DUP1
000000f5: REVERT
000000f6: JUMPDEST
000000f7: POP
000000f8: PUSH2 0x0102
000000fb: PUSH1 0x04
000000fd: CALLDATALOAD
000000fe: PUSH2 0x02f5
00000101: JUMP
00000102: JUMPDEST
00000103: PUSH1 0x40
00000105: DUP1
00000106: MLOAD
00000107: SWAP2
00000108: DUP3
00000109: MSTORE
0000010a: MLOAD
0000010b: SWAP1
0000010c: DUP2
0000010d: SWAP1
0000010e: SUB
0000010f: PUSH1 0x20
00000111: ADD
00000112: SWAP1
00000113: RETURN
00000114: JUMPDEST
00000115: CALLVALUE
00000116: DUP1
00000117: ISZERO
00000118: PUSH2 0x0120
0000011b: JUMPI
0000011c: PUSH1 0x00
0000011e: DUP1
0000011f: REVERT
00000120: JUMPDEST
00000121: POP
00000122: PUSH2 0x0102
00000125: PUSH1 0x04
00000127: CALLDATALOAD
00000128: PUSH2 0x0307
0000012b: JUMP
0000012c: JUMPDEST
0000012d: PUSH2 0x0140
00000130: PUSH1 0x01
00000132: PUSH1 0xa0
00000134: PUSH1 0x02
00000136: EXP
00000137: SUB
00000138: PUSH1 0x04
0000013a: CALLDATALOAD
0000013b: AND
0000013c: PUSH2 0x0319
0000013f: JUMP
00000140: JUMPDEST
00000141: STOP
00000142: JUMPDEST
00000143: CALLVALUE
00000144: DUP1
00000145: ISZERO
00000146: PUSH2 0x014e
00000149: JUMPI
0000014a: PUSH1 0x00
0000014c: DUP1
0000014d: REVERT
0000014e: JUMPDEST
0000014f: POP
00000150: PUSH2 0x0102
00000153: PUSH2 0x0326
00000156: JUMP
00000157: JUMPDEST
00000158: CALLVALUE
00000159: DUP1
0000015a: ISZERO
0000015b: PUSH2 0x0163
0000015e: JUMPI
0000015f: PUSH1 0x00
00000161: DUP1
00000162: REVERT
00000163: JUMPDEST
00000164: POP
00000165: PUSH2 0x0102
00000168: PUSH1 0x01
0000016a: PUSH1 0xa0
0000016c: PUSH1 0x02
0000016e: EXP
0000016f: SUB
00000170: PUSH1 0x04
00000172: CALLDATALOAD
00000173: AND
00000174: PUSH1 0x24
00000176: CALLDATALOAD
00000177: PUSH2 0x032c
0000017a: JUMP
0000017b: JUMPDEST
0000017c: CALLVALUE
0000017d: DUP1
0000017e: ISZERO
0000017f: PUSH2 0x0187
00000182: JUMPI
00000183: PUSH1 0x00
00000185: DUP1
00000186: REVERT
00000187: JUMPDEST
00000188: POP
00000189: PUSH2 0x0193
0000018c: PUSH1 0x04
0000018e: CALLDATALOAD
0000018f: PUSH2 0x0349
00000192: JUMP
00000193: JUMPDEST
00000194: PUSH1 0x40
00000196: DUP1
00000197: MLOAD
00000198: PUSH1 0x01
0000019a: PUSH1 0xa0
0000019c: PUSH1 0x02
0000019e: EXP
0000019f: SUB
000001a0: SWAP1
000001a1: SWAP3
000001a2: AND
000001a3: DUP3
000001a4: MSTORE
000001a5: MLOAD
000001a6: SWAP1
000001a7: DUP2
000001a8: SWAP1
000001a9: SUB
000001aa: PUSH1 0x20
000001ac: ADD
000001ad: SWAP1
000001ae: RETURN
000001af: JUMPDEST
000001b0: CALLVALUE
000001b1: DUP1
000001b2: ISZERO
000001b3: PUSH2 0x01bb
000001b6: JUMPI
000001b7: PUSH1 0x00
000001b9: DUP1
000001ba: REVERT
000001bb: JUMPDEST
000001bc: POP
000001bd: PUSH2 0x0102
000001c0: PUSH2 0x0364
000001c3: JUMP
000001c4: JUMPDEST
000001c5: CALLVALUE
000001c6: DUP1
000001c7: ISZERO
000001c8: PUSH2 0x01d0
000001cb: JUMPI
000001cc: PUSH1 0x00
000001ce: DUP1
000001cf: REVERT
000001d0: JUMPDEST
000001d1: POP
000001d2: PUSH2 0x0193
000001d5: PUSH1 0x04
000001d7: CALLDATALOAD
000001d8: PUSH2 0x036a
000001db: JUMP
000001dc: JUMPDEST
000001dd: CALLVALUE
000001de: DUP1
000001df: ISZERO
000001e0: PUSH2 0x01e8
000001e3: JUMPI
000001e4: PUSH1 0x00
000001e6: DUP1
000001e7: REVERT
000001e8: JUMPDEST
000001e9: POP
000001ea: PUSH2 0x01fd
000001ed: PUSH1 0x01
000001ef: PUSH1 0xa0
000001f1: PUSH1 0x02
000001f3: EXP
000001f4: SUB
000001f5: PUSH1 0x04
000001f7: CALLDATALOAD
000001f8: AND
000001f9: PUSH2 0x0385
000001fc: JUMP
000001fd: JUMPDEST
000001fe: PUSH1 0x40
00000200: DUP1
00000201: MLOAD
00000202: SWAP2
00000203: ISZERO
00000204: ISZERO
00000205: DUP3
00000206: MSTORE
00000207: MLOAD
00000208: SWAP1
00000209: DUP2
0000020a: SWAP1
0000020b: SUB
0000020c: PUSH1 0x20
0000020e: ADD
0000020f: SWAP1
00000210: RETURN
00000211: JUMPDEST
00000212: PUSH2 0x0140
00000215: PUSH2 0x03a2
00000218: JUMP
00000219: JUMPDEST
0000021a: CALLVALUE
0000021b: DUP1
0000021c: ISZERO
0000021d: PUSH2 0x0225
00000220: JUMPI
00000221: PUSH1 0x00
00000223: DUP1
00000224: REVERT
00000225: JUMPDEST
00000226: POP
00000227: PUSH2 0x0102
0000022a: PUSH1 0x04
0000022c: CALLDATALOAD
0000022d: PUSH2 0x046a
00000230: JUMP
00000231: JUMPDEST
00000232: CALLVALUE
00000233: DUP1
00000234: ISZERO
00000235: PUSH2 0x023d
00000238: JUMPI
00000239: PUSH1 0x00
0000023b: DUP1
0000023c: REVERT
0000023d: JUMPDEST
0000023e: POP
0000023f: PUSH2 0x0102
00000242: PUSH1 0x04
00000244: CALLDATALOAD
00000245: PUSH2 0x047c
00000248: JUMP
00000249: JUMPDEST
0000024a: CALLVALUE
0000024b: DUP1
0000024c: ISZERO
0000024d: PUSH2 0x0255
00000250: JUMPI
00000251: PUSH1 0x00
00000253: DUP1
00000254: REVERT
00000255: JUMPDEST
00000256: POP
00000257: PUSH2 0x0193
0000025a: PUSH2 0x048e
0000025d: JUMP
0000025e: JUMPDEST
0000025f: CALLVALUE
00000260: DUP1
00000261: ISZERO
00000262: PUSH2 0x026a
00000265: JUMPI
00000266: PUSH1 0x00
00000268: DUP1
00000269: REVERT
0000026a: JUMPDEST
0000026b: POP
0000026c: PUSH2 0x027f
0000026f: PUSH1 0x01
00000271: PUSH1 0xa0
00000273: PUSH1 0x02
00000275: EXP
00000276: SUB
00000277: PUSH1 0x04
00000279: CALLDATALOAD
0000027a: AND
0000027b: PUSH2 0x049d
0000027e: JUMP
0000027f: JUMPDEST
00000280: PUSH1 0x40
00000282: DUP1
00000283: MLOAD
00000284: SWAP8
00000285: DUP9
00000286: MSTORE
00000287: PUSH1 0x01
00000289: PUSH1 0xa0
0000028b: PUSH1 0x02
0000028d: EXP
0000028e: SUB
0000028f: SWAP1
00000290: SWAP7
00000291: AND
00000292: PUSH1 0x20
00000294: DUP9
00000295: ADD
00000296: MSTORE
00000297: DUP7
00000298: DUP7
00000299: ADD
0000029a: SWAP5
0000029b: SWAP1
0000029c: SWAP5
0000029d: MSTORE
0000029e: PUSH1 0x60
000002a0: DUP7
000002a1: ADD
000002a2: SWAP3
000002a3: SWAP1
000002a4: SWAP3
000002a5: MSTORE
000002a6: PUSH1 0x80
000002a8: DUP6
000002a9: ADD
000002aa: MSTORE
000002ab: PUSH1 0xa0
000002ad: DUP5
000002ae: ADD
000002af: MSTORE
000002b0: PUSH1 0xc0
000002b2: DUP4
000002b3: ADD
000002b4: MSTORE
000002b5: MLOAD
000002b6: SWAP1
000002b7: DUP2
000002b8: SWAP1
000002b9: SUB
000002ba: PUSH1 0xe0
000002bc: ADD
000002bd: SWAP1
000002be: RETURN
000002bf: JUMPDEST
000002c0: CALLVALUE
000002c1: DUP1
000002c2: ISZERO
000002c3: PUSH2 0x02cb
000002c6: JUMPI
000002c7: PUSH1 0x00
000002c9: DUP1
000002ca: REVERT
000002cb: JUMPDEST
000002cc: POP
000002cd: PUSH2 0x0102
000002d0: PUSH1 0x01
000002d2: PUSH1 0xa0
000002d4: PUSH1 0x02
000002d6: EXP
000002d7: SUB
000002d8: PUSH1 0x04
000002da: CALLDATALOAD
000002db: AND
000002dc: PUSH2 0x04e5
000002df: JUMP
000002e0: JUMPDEST
000002e1: CALLVALUE
000002e2: DUP1
000002e3: ISZERO
000002e4: PUSH2 0x02ec
000002e7: JUMPI
000002e8: PUSH1 0x00
000002ea: DUP1
000002eb: REVERT
000002ec: JUMPDEST
000002ed: POP
000002ee: PUSH2 0x0102
000002f1: PUSH2 0x04f7
000002f4: JUMP
000002f5: JUMPDEST
000002f6: PUSH1 0x08
000002f8: PUSH1 0x20
000002fa: MSTORE
000002fb: PUSH1 0x00
000002fd: SWAP1
000002fe: DUP2
000002ff: MSTORE
00000300: PUSH1 0x40
00000302: SWAP1
00000303: KECCAK256
00000304: SLOAD
00000305: DUP2
00000306: JUMP
00000307: JUMPDEST
00000308: PUSH1 0x02
0000030a: PUSH1 0x20
0000030c: MSTORE
0000030d: PUSH1 0x00
0000030f: SWAP1
00000310: DUP2
00000311: MSTORE
00000312: PUSH1 0x40
00000314: SWAP1
00000315: KECCAK256
00000316: SLOAD
00000317: DUP2
00000318: JUMP
00000319: JUMPDEST
0000031a: PUSH2 0x0323
0000031d: CALLER
0000031e: DUP3
0000031f: PUSH2 0x04fd
00000322: JUMP
00000323: JUMPDEST
00000324: POP
00000325: JUMP
00000326: JUMPDEST
00000327: PUSH1 0x09
00000329: SLOAD
0000032a: DUP2
0000032b: JUMP
0000032c: JUMPDEST
0000032d: PUSH1 0x06
0000032f: PUSH1 0x20
00000331: SWAP1
00000332: DUP2
00000333: MSTORE
00000334: PUSH1 0x00
00000336: SWAP3
00000337: DUP4
00000338: MSTORE
00000339: PUSH1 0x40
0000033b: DUP1
0000033c: DUP5
0000033d: KECCAK256
0000033e: SWAP1
0000033f: SWAP2
00000340: MSTORE
00000341: SWAP1
00000342: DUP3
00000343: MSTORE
00000344: SWAP1
00000345: KECCAK256
00000346: SLOAD
00000347: DUP2
00000348: JUMP
00000349: JUMPDEST
0000034a: PUSH1 0x05
0000034c: PUSH1 0x20
0000034e: MSTORE
0000034f: PUSH1 0x00
00000351: SWAP1
00000352: DUP2
00000353: MSTORE
00000354: PUSH1 0x40
00000356: SWAP1
00000357: KECCAK256
00000358: SLOAD
00000359: PUSH1 0x01
0000035b: PUSH1 0xa0
0000035d: PUSH1 0x02
0000035f: EXP
00000360: SUB
00000361: AND
00000362: DUP2
00000363: JUMP
00000364: JUMPDEST
00000365: PUSH1 0x0b
00000367: SLOAD
00000368: DUP2
00000369: JUMP
0000036a: JUMPDEST
0000036b: PUSH1 0x04
0000036d: PUSH1 0x20
0000036f: MSTORE
00000370: PUSH1 0x00
00000372: SWAP1
00000373: DUP2
00000374: MSTORE
00000375: PUSH1 0x40
00000377: SWAP1
00000378: KECCAK256
00000379: SLOAD
0000037a: PUSH1 0x01
0000037c: PUSH1 0xa0
0000037e: PUSH1 0x02
00000380: EXP
00000381: SUB
00000382: AND
00000383: DUP2
00000384: JUMP
00000385: JUMPDEST
00000386: PUSH1 0x01
00000388: PUSH1 0xa0
0000038a: PUSH1 0x02
0000038c: EXP
0000038d: SUB
0000038e: AND
0000038f: PUSH1 0x00
00000391: SWAP1
00000392: DUP2
00000393: MSTORE
00000394: PUSH1 0x03
00000396: PUSH1 0x20
00000398: MSTORE
00000399: PUSH1 0x40
0000039b: SWAP1
0000039c: KECCAK256
0000039d: SLOAD
0000039e: ISZERO
0000039f: ISZERO
000003a0: SWAP1
000003a1: JUMP
000003a2: JUMPDEST
000003a3: PUSH7 0xb1a2bc2ec50000
000003ab: CALLVALUE
000003ac: EQ
000003ad: PUSH2 0x0400
000003b0: JUMPI
000003b1: PUSH1 0x40
000003b3: DUP1
000003b4: MLOAD
000003b5: PUSH1 0xe5
000003b7: PUSH1 0x02
000003b9: EXP
000003ba: PUSH3 0x461bcd
000003be: MUL
000003bf: DUP2
000003c0: MSTORE
000003c1: PUSH1 0x20
000003c3: PUSH1 0x04
000003c5: DUP3
000003c6: ADD
000003c7: MSTORE
000003c8: PUSH1 0x12
000003ca: PUSH1 0x24
000003cc: DUP3
000003cd: ADD
000003ce: MSTORE
000003cf: PUSH32 0x707572636861736520636f737420302e30350000000000000000000000000000
000003f0: PUSH1 0x44
000003f2: DUP3
000003f3: ADD
000003f4: MSTORE
000003f5: SWAP1
000003f6: MLOAD
000003f7: SWAP1
000003f8: DUP2
000003f9: SWAP1
000003fa: SUB
000003fb: PUSH1 0x64
000003fd: ADD
000003fe: SWAP1
000003ff: REVERT
00000400: JUMPDEST
00000401: PUSH2 0x0409
00000404: CALLER
00000405: PUSH2 0x0385
00000408: JUMP
00000409: JUMPDEST
0000040a: ISZERO
0000040b: ISZERO
0000040c: PUSH2 0x045f
0000040f: JUMPI
00000410: PUSH1 0x40
00000412: DUP1
00000413: MLOAD
00000414: PUSH1 0xe5
00000416: PUSH1 0x02
00000418: EXP
00000419: PUSH3 0x461bcd
0000041d: MUL
0000041e: DUP2
0000041f: MSTORE
00000420: PUSH1 0x20
00000422: PUSH1 0x04
00000424: DUP3
00000425: ADD
00000426: MSTORE
00000427: PUSH1 0x0f
00000429: PUSH1 0x24
0000042b: DUP3
0000042c: ADD
0000042d: MSTORE
0000042e: PUSH32 0x75736572206e6f74206578697374730000000000000000000000000000000000
0000044f: PUSH1 0x44
00000451: DUP3
00000452: ADD
00000453: MSTORE
00000454: SWAP1
00000455: MLOAD
00000456: SWAP1
00000457: DUP2
00000458: SWAP1
00000459: SUB
0000045a: PUSH1 0x64
0000045c: ADD
0000045d: SWAP1
0000045e: REVERT
0000045f: JUMPDEST
00000460: PUSH2 0x0468
00000463: CALLER
00000464: PUSH2 0x0822
00000467: JUMP
00000468: JUMPDEST
00000469: JUMP
0000046a: JUMPDEST
0000046b: PUSH1 0x00
0000046d: PUSH1 0x20
0000046f: DUP2
00000470: SWAP1
00000471: MSTORE
00000472: SWAP1
00000473: DUP2
00000474: MSTORE
00000475: PUSH1 0x40
00000477: SWAP1
00000478: KECCAK256
00000479: SLOAD
0000047a: DUP2
0000047b: JUMP
0000047c: JUMPDEST
0000047d: PUSH1 0x01
0000047f: PUSH1 0x20
00000481: MSTORE
00000482: PUSH1 0x00
00000484: SWAP1
00000485: DUP2
00000486: MSTORE
00000487: PUSH1 0x40
00000489: SWAP1
0000048a: KECCAK256
0000048b: SLOAD
0000048c: DUP2
0000048d: JUMP
0000048e: JUMPDEST
0000048f: PUSH1 0x0c
00000491: SLOAD
00000492: PUSH1 0x01
00000494: PUSH1 0xa0
00000496: PUSH1 0x02
00000498: EXP
00000499: SUB
0000049a: AND
0000049b: DUP2
0000049c: JUMP
0000049d: JUMPDEST
0000049e: PUSH1 0x03
000004a0: PUSH1 0x20
000004a2: DUP2
000004a3: SWAP1
000004a4: MSTORE
000004a5: PUSH1 0x00
000004a7: SWAP2
000004a8: DUP3
000004a9: MSTORE
000004aa: PUSH1 0x40
000004ac: SWAP1
000004ad: SWAP2
000004ae: KECCAK256
000004af: DUP1
000004b0: SLOAD
000004b1: PUSH1 0x01
000004b3: DUP3
000004b4: ADD
000004b5: SLOAD
000004b6: PUSH1 0x02
000004b8: DUP4
000004b9: ADD
000004ba: SLOAD
000004bb: SWAP4
000004bc: DUP4
000004bd: ADD
000004be: SLOAD
000004bf: PUSH1 0x04
000004c1: DUP5
000004c2: ADD
000004c3: SLOAD
000004c4: PUSH1 0x05
000004c6: DUP6
000004c7: ADD
000004c8: SLOAD
000004c9: PUSH1 0x06
000004cb: SWAP1
000004cc: SWAP6
000004cd: ADD
000004ce: SLOAD
000004cf: SWAP4
000004d0: SWAP6
000004d1: PUSH1 0x01
000004d3: PUSH1 0xa0
000004d5: PUSH1 0x02
000004d7: EXP
000004d8: SUB
000004d9: SWAP1
000004da: SWAP4
000004db: AND
000004dc: SWAP5
000004dd: SWAP3
000004de: SWAP4
000004df: SWAP2
000004e0: SWAP3
000004e1: SWAP1
000004e2: SWAP2
000004e3: DUP8
000004e4: JUMP
000004e5: JUMPDEST
000004e6: PUSH1 0x07
000004e8: PUSH1 0x20
000004ea: MSTORE
000004eb: PUSH1 0x00
000004ed: SWAP1
000004ee: DUP2
000004ef: MSTORE
000004f0: PUSH1 0x40
000004f2: SWAP1
000004f3: KECCAK256
000004f4: SLOAD
000004f5: DUP2
000004f6: JUMP
000004f7: JUMPDEST
000004f8: PUSH1 0x0a
000004fa: SLOAD
000004fb: DUP2
000004fc: JUMP
000004fd: JUMPDEST
000004fe: PUSH1 0x00
00000500: PUSH8 0x016345785d8a0000
00000509: CALLVALUE
0000050a: EQ
0000050b: PUSH2 0x055e
0000050e: JUMPI
0000050f: PUSH1 0x40
00000511: DUP1
00000512: MLOAD
00000513: PUSH1 0xe5
00000515: PUSH1 0x02
00000517: EXP
00000518: PUSH3 0x461bcd
0000051c: MUL
0000051d: DUP2
0000051e: MSTORE
0000051f: PUSH1 0x20
00000521: PUSH1 0x04
00000523: DUP3
00000524: ADD
00000525: MSTORE
00000526: PUSH1 0x15
00000528: PUSH1 0x24
0000052a: DUP3
0000052b: ADD
0000052c: MSTORE
0000052d: PUSH32 0x726567697374726174696f6e20636f737420302e310000000000000000000000
0000054e: PUSH1 0x44
00000550: DUP3
00000551: ADD
00000552: MSTORE
00000553: SWAP1
00000554: MLOAD
00000555: SWAP1
00000556: DUP2
00000557: SWAP1
00000558: SUB
00000559: PUSH1 0x64
0000055b: ADD
0000055c: SWAP1
0000055d: REVERT
0000055e: JUMPDEST
0000055f: PUSH2 0x0567
00000562: DUP4
00000563: PUSH2 0x0385
00000566: JUMP
00000567: JUMPDEST
00000568: ISZERO
00000569: PUSH2 0x05bc
0000056c: JUMPI
0000056d: PUSH1 0x40
0000056f: DUP1
00000570: MLOAD
00000571: PUSH1 0xe5
00000573: PUSH1 0x02
00000575: EXP
00000576: PUSH3 0x461bcd
0000057a: MUL
0000057b: DUP2
0000057c: MSTORE
0000057d: PUSH1 0x20
0000057f: PUSH1 0x04
00000581: DUP3
00000582: ADD
00000583: MSTORE
00000584: PUSH1 0x0b
00000586: PUSH1 0x24
00000588: DUP3
00000589: ADD
0000058a: MSTORE
0000058b: PUSH32 0x7573657220657869737473000000000000000000000000000000000000000000
000005ac: PUSH1 0x44
000005ae: DUP3
000005af: ADD
000005b0: MSTORE
000005b1: SWAP1
000005b2: MLOAD
000005b3: SWAP1
000005b4: DUP2
000005b5: SWAP1
000005b6: SUB
000005b7: PUSH1 0x64
000005b9: ADD
000005ba: SWAP1
000005bb: REVERT
000005bc: JUMPDEST
000005bd: PUSH2 0x05c5
000005c0: DUP3
000005c1: PUSH2 0x0385
000005c4: JUMP
000005c5: JUMPDEST
000005c6: ISZERO
000005c7: ISZERO
000005c8: PUSH2 0x061b
000005cb: JUMPI
000005cc: PUSH1 0x40
000005ce: DUP1
000005cf: MLOAD
000005d0: PUSH1 0xe5
000005d2: PUSH1 0x02
000005d4: EXP
000005d5: PUSH3 0x461bcd
000005d9: MUL
000005da: DUP2
000005db: MSTORE
000005dc: PUSH1 0x20
000005de: PUSH1 0x04
000005e0: DUP3
000005e1: ADD
000005e2: MSTORE
000005e3: PUSH1 0x13
000005e5: PUSH1 0x24
000005e7: DUP3
000005e8: ADD
000005e9: MSTORE
000005ea: PUSH32 0x7265666572726572206e6f742065786973747300000000000000000000000000
0000060b: PUSH1 0x44
0000060d: DUP3
0000060e: ADD
0000060f: MSTORE
00000610: SWAP1
00000611: MLOAD
00000612: SWAP1
00000613: DUP2
00000614: SWAP1
00000615: SUB
00000616: PUSH1 0x64
00000618: ADD
00000619: SWAP1
0000061a: REVERT
0000061b: JUMPDEST
0000061c: POP
0000061d: DUP2
0000061e: EXTCODESIZE
0000061f: PUSH4 0xffffffff
00000624: DUP2
00000625: AND
00000626: ISZERO
00000627: PUSH2 0x067a
0000062a: JUMPI
0000062b: PUSH1 0x40
0000062d: DUP1
0000062e: MLOAD
0000062f: PUSH1 0xe5
00000631: PUSH1 0x02
00000633: EXP
00000634: PUSH3 0x461bcd
00000638: MUL
00000639: DUP2
0000063a: MSTORE
0000063b: PUSH1 0x20
0000063d: PUSH1 0x04
0000063f: DUP3
00000640: ADD
00000641: MSTORE
00000642: PUSH1 0x14
00000644: PUSH1 0x24
00000646: DUP3
00000647: ADD
00000648: MSTORE
00000649: PUSH32 0x63616e6e6f74206265206120636f6e7472616374000000000000000000000000
0000066a: PUSH1 0x44
0000066c: DUP3
0000066d: ADD
0000066e: MSTORE
0000066f: SWAP1
00000670: MLOAD
00000671: SWAP1
00000672: DUP2
00000673: SWAP1
00000674: SUB
00000675: PUSH1 0x64
00000677: ADD
00000678: SWAP1
00000679: REVERT
0000067a: JUMPDEST
0000067b: PUSH1 0xe0
0000067d: PUSH1 0x40
0000067f: MLOAD
00000680: SWAP1
00000681: DUP2
00000682: ADD
00000683: PUSH1 0x40
00000685: MSTORE
00000686: DUP1
00000687: PUSH1 0x09
00000689: SLOAD
0000068a: DUP2
0000068b: MSTORE
0000068c: PUSH1 0x20
0000068e: ADD
0000068f: DUP4
00000690: PUSH1 0x01
00000692: PUSH1 0xa0
00000694: PUSH1 0x02
00000696: EXP
00000697: SUB
00000698: AND
00000699: DUP2
0000069a: MSTORE
0000069b: PUSH1 0x20
0000069d: ADD
0000069e: PUSH1 0x00
000006a0: DUP2
000006a1: MSTORE
000006a2: PUSH1 0x20
000006a4: ADD
000006a5: PUSH1 0x0b
000006a7: SLOAD
000006a8: DUP2
000006a9: MSTORE
000006aa: PUSH1 0x20
000006ac: ADD
000006ad: PUSH1 0x00
000006af: DUP2
000006b0: MSTORE
000006b1: PUSH1 0x20
000006b3: ADD
000006b4: PUSH1 0x00
000006b6: DUP2
000006b7: MSTORE
000006b8: PUSH1 0x20
000006ba: ADD
000006bb: PUSH1 0x01
000006bd: DUP2
000006be: MSTORE
000006bf: POP
000006c0: PUSH1 0x03
000006c2: PUSH1 0x00
000006c4: DUP6
000006c5: PUSH1 0x01
000006c7: PUSH1 0xa0
000006c9: PUSH1 0x02
000006cb: EXP
000006cc: SUB
000006cd: AND
000006ce: PUSH1 0x01
000006d0: PUSH1 0xa0
000006d2: PUSH1 0x02
000006d4: EXP
000006d5: SUB
000006d6: AND
000006d7: DUP2
000006d8: MSTORE
000006d9: PUSH1 0x20
000006db: ADD
000006dc: SWAP1
000006dd: DUP2
000006de: MSTORE
000006df: PUSH1 0x20
000006e1: ADD
000006e2: PUSH1 0x00
000006e4: KECCAK256
000006e5: PUSH1 0x00
000006e7: DUP3
000006e8: ADD
000006e9: MLOAD
000006ea: DUP2
000006eb: PUSH1 0x00
000006ed: ADD
000006ee: SSTORE
000006ef: PUSH1 0x20
000006f1: DUP3
000006f2: ADD
000006f3: MLOAD
000006f4: DUP2
000006f5: PUSH1 0x01
000006f7: ADD
000006f8: PUSH1 0x00
000006fa: PUSH2 0x0100
000006fd: EXP
000006fe: DUP2
000006ff: SLOAD
00000700: DUP2
00000701: PUSH1 0x01
00000703: PUSH1 0xa0
00000705: PUSH1 0x02
00000707: EXP
00000708: SUB
00000709: MUL
0000070a: NOT
0000070b: AND
0000070c: SWAP1
0000070d: DUP4
0000070e: PUSH1 0x01
00000710: PUSH1 0xa0
00000712: PUSH1 0x02
00000714: EXP
00000715: SUB
00000716: AND
00000717: MUL
00000718: OR
00000719: SWAP1
0000071a: SSTORE
0000071b: POP
0000071c: PUSH1 0x40
0000071e: DUP3
0000071f: ADD
00000720: MLOAD
00000721: DUP2
00000722: PUSH1 0x02
00000724: ADD
00000725: SSTORE
00000726: PUSH1 0x60
00000728: DUP3
00000729: ADD
0000072a: MLOAD
0000072b: DUP2
0000072c: PUSH1 0x03
0000072e: ADD
0000072f: SSTORE
00000730: PUSH1 0x80
00000732: DUP3
00000733: ADD
00000734: MLOAD
00000735: DUP2
00000736: PUSH1 0x04
00000738: ADD
00000739: SSTORE
0000073a: PUSH1 0xa0
0000073c: DUP3
0000073d: ADD
0000073e: MLOAD
0000073f: DUP2
00000740: PUSH1 0x05
00000742: ADD
00000743: SSTORE
00000744: PUSH1 0xc0
00000746: DUP3
00000747: ADD
00000748: MLOAD
00000749: DUP2
0000074a: PUSH1 0x06
0000074c: ADD
0000074d: SSTORE
0000074e: SWAP1
0000074f: POP
00000750: POP
00000751: DUP3
00000752: PUSH1 0x05
00000754: PUSH1 0x00
00000756: PUSH1 0x09
00000758: SLOAD
00000759: DUP2
0000075a: MSTORE
0000075b: PUSH1 0x20
0000075d: ADD
0000075e: SWAP1
0000075f: DUP2
00000760: MSTORE
00000761: PUSH1 0x20
00000763: ADD
00000764: PUSH1 0x00
00000766: KECCAK256
00000767: PUSH1 0x00
00000769: PUSH2 0x0100
0000076c: EXP
0000076d: DUP2
0000076e: SLOAD
0000076f: DUP2
00000770: PUSH1 0x01
00000772: PUSH1 0xa0
00000774: PUSH1 0x02
00000776: EXP
00000777: SUB
00000778: MUL
00000779: NOT
0000077a: AND
0000077b: SWAP1
0000077c: DUP4
0000077d: PUSH1 0x01
0000077f: PUSH1 0xa0
00000781: PUSH1 0x02
00000783: EXP
00000784: SUB
00000785: AND
00000786: MUL
00000787: OR
00000788: SWAP1
00000789: SSTORE
0000078a: POP
0000078b: PUSH1 0x09
0000078d: PUSH1 0x00
0000078f: DUP2
00000790: SLOAD
00000791: DUP1
00000792: SWAP3
00000793: SWAP2
00000794: SWAP1
00000795: PUSH1 0x01
00000797: ADD
00000798: SWAP2
00000799: SWAP1
0000079a: POP
0000079b: SSTORE
0000079c: POP
0000079d: PUSH1 0x0b
0000079f: PUSH1 0x00
000007a1: DUP2
000007a2: SLOAD
000007a3: DUP1
000007a4: SWAP3
000007a5: SWAP2
000007a6: SWAP1
000007a7: PUSH1 0x01
000007a9: ADD
000007aa: SWAP2
000007ab: SWAP1
000007ac: POP
000007ad: SSTORE
000007ae: POP
000007af: PUSH2 0x07b7
000007b2: DUP3
000007b3: PUSH2 0x09a2
000007b6: JUMP
000007b7: JUMPDEST
000007b8: PUSH2 0x07c0
000007bb: DUP4
000007bc: PUSH2 0x0822
000007bf: JUMP
000007c0: JUMPDEST
000007c1: PUSH1 0x01
000007c3: PUSH1 0xa0
000007c5: PUSH1 0x02
000007c7: EXP
000007c8: SUB
000007c9: DUP1
000007ca: DUP5
000007cb: AND
000007cc: PUSH1 0x00
000007ce: DUP2
000007cf: DUP2
000007d0: MSTORE
000007d1: PUSH1 0x03
000007d3: PUSH1 0x20
000007d5: SWAP1
000007d6: DUP2
000007d7: MSTORE
000007d8: PUSH1 0x40
000007da: DUP1
000007db: DUP4
000007dc: KECCAK256
000007dd: SLOAD
000007de: SWAP5
000007df: DUP8
000007e0: AND
000007e1: DUP1
000007e2: DUP5
000007e3: MSTORE
000007e4: SWAP3
000007e5: DUP2
000007e6: SWAP1
000007e7: KECCAK256
000007e8: SLOAD
000007e9: DUP2
000007ea: MLOAD
000007eb: SWAP1
000007ec: DUP2
000007ed: MSTORE
000007ee: SWAP1
000007ef: MLOAD
000007f0: SWAP3
000007f1: SWAP4
000007f2: SWAP3
000007f3: PUSH32 0x309bb360e8b69c23937ccc5fb01f9aeeead1c95a99604e175113ff82f2b1723a
00000814: SWAP3
00000815: SWAP2
00000816: DUP2
00000817: SWAP1
00000818: SUB
00000819: SWAP1
0000081a: SWAP2
0000081b: ADD
0000081c: SWAP1
0000081d: LOG4
0000081e: POP
0000081f: POP
00000820: POP
00000821: JUMP
00000822: JUMPDEST
00000823: PUSH1 0x0a
00000825: DUP1
00000826: SLOAD
00000827: PUSH1 0x01
00000829: PUSH1 0xa0
0000082b: PUSH1 0x02
0000082d: EXP
0000082e: SUB
0000082f: DUP4
00000830: AND
00000831: PUSH1 0x00
00000833: DUP2
00000834: DUP2
00000835: MSTORE
00000836: PUSH1 0x06
00000838: PUSH1 0x20
0000083a: SWAP1
0000083b: DUP2
0000083c: MSTORE
0000083d: PUSH1 0x40
0000083f: DUP1
00000840: DUP4
00000841: KECCAK256
00000842: PUSH1 0x07
00000844: DUP4
00000845: MSTORE
00000846: DUP2
00000847: DUP5
00000848: KECCAK256
00000849: DUP1
0000084a: SLOAD
0000084b: DUP6
0000084c: MSTORE
0000084d: SWAP1
0000084e: DUP4
0000084f: MSTORE
00000850: DUP2
00000851: DUP5
00000852: KECCAK256
00000853: SWAP6
00000854: SWAP1
00000855: SWAP6
00000856: SSTORE
00000857: DUP5
00000858: SLOAD
00000859: PUSH1 0x01
0000085b: SWAP1
0000085c: DUP2
0000085d: ADD
0000085e: SWAP1
0000085f: SWAP6
00000860: SSTORE
00000861: DUP6
00000862: SLOAD
00000863: DUP4
00000864: MSTORE
00000865: PUSH1 0x08
00000867: DUP3
00000868: MSTORE
00000869: DUP1
0000086a: DUP4
0000086b: KECCAK256
0000086c: DUP6
0000086d: SWAP1
0000086e: SSTORE
0000086f: DUP6
00000870: SLOAD
00000871: DUP4
00000872: MSTORE
00000873: PUSH1 0x04
00000875: SWAP1
00000876: SWAP2
00000877: MSTORE
00000878: DUP2
00000879: KECCAK256
0000087a: DUP1
0000087b: SLOAD
0000087c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000891: NOT
00000892: AND
00000893: SWAP1
00000894: SWAP3
00000895: OR
00000896: SWAP1
00000897: SWAP2
00000898: SSTORE
00000899: DUP3
0000089a: SLOAD
0000089b: DUP1
0000089c: DUP4
0000089d: ADD
0000089e: SWAP1
0000089f: SWAP4
000008a0: SSTORE
000008a1: SWAP1
000008a2: SWAP2
000008a3: DUP1
000008a4: JUMPDEST
000008a5: PUSH1 0x05
000008a7: DUP4
000008a8: LT
000008a9: ISZERO
000008aa: PUSH2 0x0923
000008ad: JUMPI
000008ae: PUSH1 0x02
000008b0: SWAP4
000008b1: SWAP1
000008b2: SWAP4
000008b3: MUL
000008b4: SWAP3
000008b5: PUSH1 0x01
000008b7: SWAP1
000008b8: SWAP3
000008b9: ADD
000008ba: SWAP2
000008bb: PUSH1 0x00
000008bd: NOT
000008be: DUP5
000008bf: ADD
000008c0: DUP5
000008c1: DUP3
000008c2: DUP2
000008c3: ISZERO
000008c4: ISZERO
000008c5: PUSH2 0x08ca
000008c8: JUMPI
000008c9: INVALID
000008ca: JUMPDEST
000008cb: MOD
000008cc: EQ
000008cd: ISZERO
000008ce: PUSH2 0x0919
000008d1: JUMPI
000008d2: DUP4
000008d3: DUP2
000008d4: DUP2
000008d5: ISZERO
000008d6: ISZERO
000008d7: PUSH2 0x08dc
000008da: JUMPI
000008db: INVALID
000008dc: JUMPDEST
000008dd: DIV
000008de: SWAP1
000008df: POP
000008e0: DUP1
000008e1: ISZERO
000008e2: PUSH2 0x0919
000008e5: JUMPI
000008e6: PUSH1 0x00
000008e8: DUP2
000008e9: DUP2
000008ea: MSTORE
000008eb: PUSH1 0x08
000008ed: PUSH1 0x20
000008ef: SWAP1
000008f0: DUP2
000008f1: MSTORE
000008f2: PUSH1 0x40
000008f4: DUP1
000008f5: DUP4
000008f6: KECCAK256
000008f7: DUP7
000008f8: SWAP1
000008f9: SSTORE
000008fa: PUSH1 0x04
000008fc: SWAP1
000008fd: SWAP2
000008fe: MSTORE
000008ff: SWAP1
00000900: KECCAK256
00000901: SLOAD
00000902: PUSH2 0x0914
00000905: SWAP1
00000906: PUSH1 0x01
00000908: PUSH1 0xa0
0000090a: PUSH1 0x02
0000090c: EXP
0000090d: SUB
0000090e: AND
0000090f: DUP5
00000910: PUSH2 0x0ac9
00000913: JUMP
00000914: JUMPDEST
00000915: PUSH2 0x091e
00000918: JUMP
00000919: JUMPDEST
0000091a: PUSH2 0x099b
0000091d: JUMP
0000091e: JUMPDEST
0000091f: PUSH2 0x08a4
00000922: JUMP
00000923: JUMPDEST
00000924: POP
00000925: DUP1
00000926: JUMPDEST
00000927: PUSH1 0x0a
00000929: DUP4
0000092a: LT
0000092b: ISZERO
0000092c: PUSH2 0x099b
0000092f: JUMPI
00000930: PUSH1 0x02
00000932: SWAP4
00000933: SWAP1
00000934: SWAP4
00000935: MUL
00000936: SWAP3
00000937: PUSH1 0x01
00000939: SWAP1
0000093a: SWAP3
0000093b: ADD
0000093c: SWAP2
0000093d: PUSH1 0x00
0000093f: NOT
00000940: DUP5
00000941: ADD
00000942: DUP5
00000943: DUP3
00000944: DUP2
00000945: ISZERO
00000946: ISZERO
00000947: PUSH2 0x094c
0000094a: JUMPI
0000094b: INVALID
0000094c: JUMPDEST
0000094d: MOD
0000094e: EQ
0000094f: ISZERO
00000950: PUSH2 0x0919
00000953: JUMPI
00000954: DUP4
00000955: DUP2
00000956: DUP2
00000957: ISZERO
00000958: ISZERO
00000959: PUSH2 0x095e
0000095c: JUMPI
0000095d: INVALID
0000095e: JUMPDEST
0000095f: DIV
00000960: SWAP1
00000961: POP
00000962: DUP1
00000963: ISZERO
00000964: PUSH2 0x0919
00000967: JUMPI
00000968: PUSH1 0x00
0000096a: DUP2
0000096b: DUP2
0000096c: MSTORE
0000096d: PUSH1 0x08
0000096f: PUSH1 0x20
00000971: SWAP1
00000972: DUP2
00000973: MSTORE
00000974: PUSH1 0x40
00000976: DUP1
00000977: DUP4
00000978: KECCAK256
00000979: DUP7
0000097a: SWAP1
0000097b: SSTORE
0000097c: PUSH1 0x04
0000097e: SWAP1
0000097f: SWAP2
00000980: MSTORE
00000981: SWAP1
00000982: KECCAK256
00000983: SLOAD
00000984: PUSH2 0x0996
00000987: SWAP1
00000988: PUSH1 0x01
0000098a: PUSH1 0xa0
0000098c: PUSH1 0x02
0000098e: EXP
0000098f: SUB
00000990: AND
00000991: DUP5
00000992: PUSH2 0x0ac9
00000995: JUMP
00000996: JUMPDEST
00000997: PUSH2 0x0926
0000099a: JUMP
0000099b: JUMPDEST
0000099c: POP
0000099d: POP
0000099e: POP
0000099f: POP
000009a0: POP
000009a1: JUMP
000009a2: JUMPDEST
000009a3: PUSH1 0x01
000009a5: PUSH1 0xa0
000009a7: PUSH1 0x02
000009a9: EXP
000009aa: SUB
000009ab: DUP2
000009ac: AND
000009ad: PUSH1 0x00
000009af: SWAP1
000009b0: DUP2
000009b1: MSTORE
000009b2: PUSH1 0x03
000009b4: PUSH1 0x20
000009b6: MSTORE
000009b7: PUSH1 0x40
000009b9: SWAP1
000009ba: KECCAK256
000009bb: PUSH1 0x05
000009bd: DUP2
000009be: ADD
000009bf: DUP1
000009c0: SLOAD
000009c1: PUSH1 0x01
000009c3: ADD
000009c4: SWAP1
000009c5: SSTORE
000009c6: PUSH1 0x02
000009c8: SWAP1
000009c9: DUP2
000009ca: ADD
000009cb: SLOAD
000009cc: LT
000009cd: ISZERO
000009ce: PUSH2 0x0a01
000009d1: JUMPI
000009d2: PUSH2 0x09da
000009d5: DUP2
000009d6: PUSH2 0x0c84
000009d9: JUMP
000009da: JUMPDEST
000009db: PUSH1 0x01
000009dd: PUSH1 0xa0
000009df: PUSH1 0x02
000009e1: EXP
000009e2: SUB
000009e3: DUP2
000009e4: AND
000009e5: PUSH1 0x00
000009e7: SWAP1
000009e8: DUP2
000009e9: MSTORE
000009ea: PUSH1 0x03
000009ec: PUSH1 0x20
000009ee: MSTORE
000009ef: PUSH1 0x40
000009f1: SWAP1
000009f2: KECCAK256
000009f3: PUSH1 0x02
000009f5: ADD
000009f6: DUP1
000009f7: SLOAD
000009f8: PUSH1 0x01
000009fa: ADD
000009fb: SWAP1
000009fc: SSTORE
000009fd: PUSH2 0x0323
00000a00: JUMP
00000a01: JUMPDEST
00000a02: PUSH1 0x01
00000a04: PUSH1 0xa0
00000a06: PUSH1 0x02
00000a08: EXP
00000a09: SUB
00000a0a: DUP2
00000a0b: AND
00000a0c: PUSH1 0x00
00000a0e: SWAP1
00000a0f: DUP2
00000a10: MSTORE
00000a11: PUSH1 0x03
00000a13: PUSH1 0x20
00000a15: MSTORE
00000a16: PUSH1 0x40
00000a18: SWAP1
00000a19: KECCAK256
00000a1a: PUSH1 0x02
00000a1c: SWAP1
00000a1d: DUP2
00000a1e: ADD
00000a1f: SLOAD
00000a20: EQ
00000a21: ISZERO
00000a22: PUSH2 0x0a2e
00000a25: JUMPI
00000a26: PUSH2 0x09da
00000a29: DUP2
00000a2a: PUSH2 0x0822
00000a2d: JUMP
00000a2e: JUMPDEST
00000a2f: PUSH1 0x01
00000a31: PUSH1 0xa0
00000a33: PUSH1 0x02
00000a35: EXP
00000a36: SUB
00000a37: DUP2
00000a38: DUP2
00000a39: AND
00000a3a: PUSH1 0x00
00000a3c: SWAP1
00000a3d: DUP2
00000a3e: MSTORE
00000a3f: PUSH1 0x03
00000a41: PUSH1 0x20
00000a43: MSTORE
00000a44: PUSH1 0x40
00000a46: SWAP1
00000a47: KECCAK256
00000a48: PUSH1 0x01
00000a4a: ADD
00000a4b: SLOAD
00000a4c: AND
00000a4d: ISZERO
00000a4e: ISZERO
00000a4f: PUSH2 0x0a60
00000a52: JUMPI
00000a53: PUSH2 0x0a5b
00000a56: DUP2
00000a57: PUSH2 0x0c84
00000a5a: JUMP
00000a5b: JUMPDEST
00000a5c: PUSH2 0x0a87
00000a5f: JUMP
00000a60: JUMPDEST
00000a61: PUSH1 0x01
00000a63: PUSH1 0xa0
00000a65: PUSH1 0x02
00000a67: EXP
00000a68: SUB
00000a69: DUP1
00000a6a: DUP3
00000a6b: AND
00000a6c: PUSH1 0x00
00000a6e: SWAP1
00000a6f: DUP2
00000a70: MSTORE
00000a71: PUSH1 0x03
00000a73: PUSH1 0x20
00000a75: MSTORE
00000a76: PUSH1 0x40
00000a78: SWAP1
00000a79: KECCAK256
00000a7a: PUSH1 0x01
00000a7c: ADD
00000a7d: SLOAD
00000a7e: PUSH2 0x0a87
00000a81: SWAP2
00000a82: AND
00000a83: PUSH2 0x09a2
00000a86: JUMP
00000a87: JUMPDEST
00000a88: PUSH1 0x01
00000a8a: PUSH1 0xa0
00000a8c: PUSH1 0x02
00000a8e: EXP
00000a8f: SUB
00000a90: AND
00000a91: PUSH1 0x00
00000a93: SWAP1
00000a94: DUP2
00000a95: MSTORE
00000a96: PUSH1 0x03
00000a98: PUSH1 0x20
00000a9a: DUP2
00000a9b: SWAP1
00000a9c: MSTORE
00000a9d: PUSH1 0x40
00000a9f: DUP3
00000aa0: KECCAK256
00000aa1: PUSH1 0x02
00000aa3: DUP2
00000aa4: ADD
00000aa5: SWAP3
00000aa6: SWAP1
00000aa7: SWAP3
00000aa8: SSTORE
00000aa9: PUSH1 0x0b
00000aab: DUP1
00000aac: SLOAD
00000aad: SWAP2
00000aae: DUP4
00000aaf: ADD
00000ab0: SWAP2
00000ab1: SWAP1
00000ab2: SWAP2
00000ab3: SSTORE
00000ab4: PUSH1 0x04
00000ab6: SWAP1
00000ab7: SWAP2
00000ab8: ADD
00000ab9: DUP1
00000aba: SLOAD
00000abb: PUSH1 0x01
00000abd: SWAP1
00000abe: DUP2
00000abf: ADD
00000ac0: SWAP1
00000ac1: SWAP2
00000ac2: SSTORE
00000ac3: DUP2
00000ac4: SLOAD
00000ac5: ADD
00000ac6: SWAP1
00000ac7: SSTORE
00000ac8: JUMP
00000ac9: JUMPDEST
00000aca: PUSH1 0x01
00000acc: PUSH1 0xa0
00000ace: PUSH1 0x02
00000ad0: EXP
00000ad1: SUB
00000ad2: DUP3
00000ad3: AND
00000ad4: PUSH1 0x00
00000ad6: DUP2
00000ad7: DUP2
00000ad8: MSTORE
00000ad9: PUSH1 0x03
00000adb: PUSH1 0x20
00000add: MSTORE
00000ade: PUSH1 0x40
00000ae0: DUP1
00000ae1: DUP3
00000ae2: KECCAK256
00000ae3: SLOAD
00000ae4: SWAP1
00000ae5: MLOAD
00000ae6: SWAP2
00000ae7: SWAP3
00000ae8: DUP4
00000ae9: SWAP3
00000aea: DUP6
00000aeb: SWAP3
00000aec: SWAP2
00000aed: SWAP1
00000aee: PUSH32 0x31af64a57c886d63ef4833d8e75bb8b0844d35462e568f986e055880c0228893
00000b0f: SWAP1
00000b10: DUP6
00000b11: SWAP1
00000b12: LOG4
00000b13: PUSH1 0x00
00000b15: DUP4
00000b16: DUP2
00000b17: MSTORE
00000b18: PUSH1 0x01
00000b1a: PUSH1 0x20
00000b1c: DUP2
00000b1d: DUP2
00000b1e: MSTORE
00000b1f: PUSH1 0x40
00000b21: DUP1
00000b22: DUP5
00000b23: KECCAK256
00000b24: SLOAD
00000b25: DUP5
00000b26: DUP4
00000b27: MSTORE
00000b28: DUP2
00000b29: DUP6
00000b2a: KECCAK256
00000b2b: SLOAD
00000b2c: PUSH1 0x01
00000b2e: PUSH1 0xa0
00000b30: PUSH1 0x02
00000b32: EXP
00000b33: SUB
00000b34: DUP11
00000b35: AND
00000b36: DUP7
00000b37: MSTORE
00000b38: PUSH1 0x03
00000b3a: SWAP1
00000b3b: SWAP4
00000b3c: MSTORE
00000b3d: SWAP4
00000b3e: KECCAK256
00000b3f: PUSH1 0x06
00000b41: ADD
00000b42: SLOAD
00000b43: SWAP2
00000b44: SWAP1
00000b45: SWAP6
00000b46: ADD
00000b47: SWAP5
00000b48: SWAP1
00000b49: SWAP2
00000b4a: MUL
00000b4b: SWAP3
00000b4c: POP
00000b4d: DUP4
00000b4e: GT
00000b4f: ISZERO
00000b50: PUSH2 0x0ba2
00000b53: JUMPI
00000b54: PUSH1 0x01
00000b56: PUSH1 0xa0
00000b58: PUSH1 0x02
00000b5a: EXP
00000b5b: SUB
00000b5c: DUP5
00000b5d: AND
00000b5e: PUSH1 0x00
00000b60: DUP2
00000b61: DUP2
00000b62: MSTORE
00000b63: PUSH1 0x03
00000b65: PUSH1 0x20
00000b67: MSTORE
00000b68: PUSH1 0x40
00000b6a: DUP1
00000b6b: DUP3
00000b6c: KECCAK256
00000b6d: PUSH1 0x06
00000b6f: DUP2
00000b70: ADD
00000b71: DUP1
00000b72: SLOAD
00000b73: PUSH1 0x01
00000b75: ADD
00000b76: SWAP1
00000b77: SSTORE
00000b78: SLOAD
00000b79: SWAP1
00000b7a: MLOAD
00000b7b: DUP7
00000b7c: SWAP4
00000b7d: SWAP2
00000b7e: SWAP3
00000b7f: PUSH32 0xe29dcee3c35f6da23620bdf73886de3685891aa12891fb4e5109f52dde5939ac
00000ba0: SWAP2
00000ba1: LOG4
00000ba2: JUMPDEST
00000ba3: PUSH1 0x00
00000ba5: DUP4
00000ba6: DUP2
00000ba7: MSTORE
00000ba8: PUSH1 0x20
00000baa: DUP2
00000bab: DUP2
00000bac: MSTORE
00000bad: PUSH1 0x40
00000baf: DUP1
00000bb0: DUP4
00000bb1: KECCAK256
00000bb2: SLOAD
00000bb3: PUSH1 0x00
00000bb5: NOT
00000bb6: DUP8
00000bb7: ADD
00000bb8: DUP5
00000bb9: MSTORE
00000bba: PUSH1 0x02
00000bbc: SWAP3
00000bbd: DUP4
00000bbe: SWAP1
00000bbf: MSTORE
00000bc0: SWAP3
00000bc1: KECCAK256
00000bc2: SLOAD
00000bc3: PUSH1 0x0d
00000bc5: SLOAD
00000bc6: MUL
00000bc7: SWAP2
00000bc8: SWAP1
00000bc9: SWAP4
00000bca: SUB
00000bcb: SUB
00000bcc: SWAP2
00000bcd: DUP4
00000bce: GT
00000bcf: ISZERO
00000bd0: PUSH2 0x0c4e
00000bd3: JUMPI
00000bd4: PUSH1 0x01
00000bd6: PUSH1 0xa0
00000bd8: PUSH1 0x02
00000bda: EXP
00000bdb: SUB
00000bdc: DUP5
00000bdd: AND
00000bde: PUSH1 0x00
00000be0: DUP2
00000be1: DUP2
00000be2: MSTORE
00000be3: PUSH1 0x03
00000be5: PUSH1 0x20
00000be7: MSTORE
00000be8: PUSH1 0x40
00000bea: DUP1
00000beb: DUP3
00000bec: KECCAK256
00000bed: SLOAD
00000bee: SWAP1
00000bef: MLOAD
00000bf0: DUP6
00000bf1: SWAP4
00000bf2: SWAP2
00000bf3: SWAP3
00000bf4: PUSH32 0x7fa9aafeb8bb803d77de5d84bc2f2edbd842ca91b20cd5020aa21dfe26ab0be9
00000c15: SWAP2
00000c16: LOG4
00000c17: PUSH1 0x40
00000c19: MLOAD
00000c1a: PUSH1 0x01
00000c1c: PUSH1 0xa0
00000c1e: PUSH1 0x02
00000c20: EXP
00000c21: SUB
00000c22: DUP6
00000c23: AND
00000c24: SWAP1
00000c25: DUP4
00000c26: ISZERO
00000c27: PUSH2 0x08fc
00000c2a: MUL
00000c2b: SWAP1
00000c2c: DUP5
00000c2d: SWAP1
00000c2e: PUSH1 0x00
00000c30: DUP2
00000c31: DUP2
00000c32: DUP2
00000c33: DUP6
00000c34: DUP9
00000c35: DUP9
00000c36: CALL
00000c37: SWAP4
00000c38: POP
00000c39: POP
00000c3a: POP
00000c3b: POP
00000c3c: ISZERO
00000c3d: DUP1
00000c3e: ISZERO
00000c3f: PUSH2 0x0c4c
00000c42: JUMPI
00000c43: RETURNDATASIZE
00000c44: PUSH1 0x00
00000c46: DUP1
00000c47: RETURNDATACOPY
00000c48: RETURNDATASIZE
00000c49: PUSH1 0x00
00000c4b: REVERT
00000c4c: JUMPDEST
00000c4d: POP
00000c4e: JUMPDEST
00000c4f: POP
00000c50: PUSH1 0x00
00000c52: JUMPDEST
00000c53: PUSH1 0x00
00000c55: NOT
00000c56: DUP4
00000c57: ADD
00000c58: PUSH1 0x00
00000c5a: SWAP1
00000c5b: DUP2
00000c5c: MSTORE
00000c5d: PUSH1 0x02
00000c5f: PUSH1 0x20
00000c61: MSTORE
00000c62: PUSH1 0x40
00000c64: SWAP1
00000c65: KECCAK256
00000c66: SLOAD
00000c67: DUP2
00000c68: LT
00000c69: ISZERO
00000c6a: PUSH2 0x0c7e
00000c6d: JUMPI
00000c6e: PUSH2 0x0c76
00000c71: DUP5
00000c72: PUSH2 0x0822
00000c75: JUMP
00000c76: JUMPDEST
00000c77: PUSH1 0x01
00000c79: ADD
00000c7a: PUSH2 0x0c52
00000c7d: JUMP
00000c7e: JUMPDEST
00000c7f: POP
00000c80: POP
00000c81: POP
00000c82: POP
00000c83: JUMP
00000c84: JUMPDEST
00000c85: PUSH1 0x0d
00000c87: SLOAD
00000c88: PUSH1 0x01
00000c8a: PUSH1 0xa0
00000c8c: PUSH1 0x02
00000c8e: EXP
00000c8f: SUB
00000c90: DUP3
00000c91: AND
00000c92: PUSH1 0x00
00000c94: DUP2
00000c95: DUP2
00000c96: MSTORE
00000c97: PUSH1 0x03
00000c99: PUSH1 0x20
00000c9b: MSTORE
00000c9c: PUSH1 0x40
00000c9e: DUP1
00000c9f: DUP3
00000ca0: KECCAK256
00000ca1: SLOAD
00000ca2: SWAP1
00000ca3: MLOAD
00000ca4: SWAP1
00000ca5: SWAP3
00000ca6: SWAP2
00000ca7: PUSH32 0x7fa9aafeb8bb803d77de5d84bc2f2edbd842ca91b20cd5020aa21dfe26ab0be9
00000cc8: SWAP2
00000cc9: LOG4
00000cca: PUSH1 0x0d
00000ccc: SLOAD
00000ccd: PUSH1 0x40
00000ccf: MLOAD
00000cd0: PUSH1 0x01
00000cd2: PUSH1 0xa0
00000cd4: PUSH1 0x02
00000cd6: EXP
00000cd7: SUB
00000cd8: DUP4
00000cd9: AND
00000cda: SWAP2
00000cdb: DUP1
00000cdc: ISZERO
00000cdd: PUSH2 0x08fc
00000ce0: MUL
00000ce1: SWAP2
00000ce2: PUSH1 0x00
00000ce4: DUP2
00000ce5: DUP2
00000ce6: DUP2
00000ce7: DUP6
00000ce8: DUP9
00000ce9: DUP9
00000cea: CALL
00000ceb: SWAP4
00000cec: POP
00000ced: POP
00000cee: POP
00000cef: POP
00000cf0: ISZERO
00000cf1: DUP1
00000cf2: ISZERO
00000cf3: PUSH2 0x0d00
00000cf6: JUMPI
00000cf7: RETURNDATASIZE
00000cf8: PUSH1 0x00
00000cfa: DUP1
00000cfb: RETURNDATACOPY
00000cfc: RETURNDATASIZE
00000cfd: PUSH1 0x00
00000cff: REVERT
00000d00: JUMPDEST
00000d01: POP
00000d02: POP
00000d03: JUMP
00000d04: STOP
00000d05: LOG1
00000d06: PUSH6 0x627a7a723058
00000d0d: KECCAK256
00000d0e: DUP10
00000d0f: MCOPY
00000d10: UNKNOWN(0x21)
00000d11: UNKNOWN(0xDA)
00000d12: UNKNOWN(0xE3)
00000d13: UNKNOWN(0xB1)
00000d14: DIV
00000d15: UNKNOWN(0xD5)
00000d16: SWAP16
00000d17: SDIV
00000d18: UNKNOWN(0xE0)
00000d19: UNKNOWN(0xCC)
00000d1a: UNKNOWN(0xEA)
00000d1b: UNKNOWN(0x0C)
00000d1c: PUSH1 0x68
00000d1e: SWAP15
00000d1f: ADDMOD
00000d20: PUSH23