Analysis Run

[codex:281749] OpenAI Codex v0.77.0 (research preview)
[codex:281749] --------
[codex:281749] workdir: /tmp/codex-multi-8ahrw5io
[codex:281749] model: gpt-5.2-codex
[codex:281749] provider: openai
[codex:281749] approval: never
[codex:281749] sandbox: read-only
[codex:281749] reasoning effort: xhigh
[codex:281749] reasoning summaries: auto
[codex:281749] session id: 019b7d58-b3e9-7943-adeb-a739f1abc129
[codex:281749] --------
[codex:281749] user
[codex:281749] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:281749] 
[codex:281749] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:281749] 
[codex:281749] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:281749] - Gas inefficiency, code quality, naming, or best practices
[codex:281749] - Theoretical vulnerabilities without a clear extraction path
[codex:281749] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:281749] - Front-running unless it enables theft beyond MEV
[codex:281749] - DoS, griefing, or issues that don't result in attacker profit
[codex:281749] - Missing events, view function issues, or informational findings
[codex:281749] 
[codex:281749] HIGH-VALUE PATTERNS TO HUNT:
[codex:281749] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:281749] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:281749] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:281749] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:281749] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:281749] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:281749] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:281749] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:281749] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:281749] 
[codex:281749] For each finding, you MUST provide:
[codex:281749] 1. Exact file and line numbers of vulnerable code
[codex:281749] 2. Step-by-step exploit transaction sequence
[codex:281749] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:281749] 
[codex:281749] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:281749] 
[codex:281749] Output MUST be valid JSON matching the provided schema.
[codex:281749] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:281749] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:281749] mcp startup: no servers
[codex:281749] 
[codex:281749] thinking
[codex:281749] **Reading AUDIT_BUNDLE.txt**
[codex:281749] exec
[codex:281749] /bin/bash -lc ls in /tmp/codex-multi-8ahrw5io succeeded in 5ms:
[codex:281749] AUDIT_BUNDLE.txt
[codex:281749] codex-output-schema.json
[codex:281749] contracts
[codex:281749] exec
[codex:281749] /bin/bash -lc "sed -n '1,200p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-8ahrw5io succeeded in 5ms:
[codex:281749] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:281749] 
[codex:281749] ================================================================================
[codex:281749] FILE: contracts/Contract.sol
[codex:281749] ================================================================================
[codex:281749] pragma solidity ^0.4.20;
[codex:281749] 
[codex:281749] /*
[codex:281749] 
[codex:281749] *A reincarnation of Mahatma Gandhi, born again to live forever on the Ethereum Blockchain
[codex:281749] 
[codex:281749]                                                                                                                                                        
[codex:281749]                                                                     dddddddd                                                                           
[codex:281749]         GGGGGGGGGGGGG                                               d::::::dhhhhhhh               iiii   jjjj   iiii            iiii                   
[codex:281749]      GGG::::::::::::G                                               d::::::dh:::::h              i::::i j::::j i::::i          i::::i                  
[codex:281749]    GG:::::::::::::::G                                               d::::::dh:::::h               iiii   jjjj   iiii            iiii                   
[codex:281749]   G:::::GGGGGGGG::::G                                               d:::::d h:::::h                                                                    
[codex:281749]  G:::::G       GGGGGG  aaaaaaaaaaaaa  nnnn  nnnnnnnn        ddddddddd:::::d  h::::h hhhhh       iiiiiiijjjjjjjiiiiiii         iiiiiii    ooooooooooo   
[codex:281749] G:::::G                a::::::::::::a n:::nn::::::::nn    dd::::::::::::::d  h::::hh:::::hhh    i:::::ij:::::ji:::::i         i:::::i  oo:::::::::::oo 
[codex:281749] G:::::G                aaaaaaaaa:::::an::::::::::::::nn  d::::::::::::::::d  h::::::::::::::hh   i::::i j::::j i::::i          i::::i o:::::::::::::::o
[codex:281749] 
[codex:281749] thinking
[codex:281749] **Requesting more content**
[codex:281749] exec
[codex:281749] /bin/bash -lc "sed -n '200,400p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-8ahrw5io succeeded in 6ms:
[codex:281749]         ambassadors_[0x0000000000000000000000000000000000000000] = true;
[codex:281749]                        
[codex:281749]     }
[codex:281749]     
[codex:281749]      
[codex:281749]     /**
[codex:281749]      * Converts all incoming Ethereum to tokens for the caller, and passes down the referral address (if any)
[codex:281749]      */
[codex:281749]     function buy(address _referredBy)
[codex:281749]         public
[codex:281749]         payable
[codex:281749]         returns(uint256)
[codex:281749]     {
[codex:281749]         purchaseTokens(msg.value, _referredBy);
[codex:281749]     }
[codex:281749]     
[codex:281749]     
[codex:281749]     function()
[codex:281749]         payable
[codex:281749]         public
[codex:281749] exec
[codex:281749] /bin/bash -lc "sed -n '400,800p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-8ahrw5io succeeded in 5ms:
[codex:281749]         onlyAdministrator()
[codex:281749]         public
[codex:281749]     {
[codex:281749]         name = _name;
[codex:281749]     }
[codex:281749]     
[codex:281749]    
[codex:281749]     function setSymbol(string _symbol)
[codex:281749]         onlyAdministrator()
[codex:281749]         public
[codex:281749]     {
[codex:281749]         symbol = _symbol;
[codex:281749]     }
[codex:281749] 
[codex:281749]     
[codex:281749]     /*----------  HELPERS AND CALCULATORS  ----------*/
[codex:281749]     /**
[codex:281749]      * Method to view the current Ethereum stored in the contract
[codex:281749]      * Example: totalEthereumBalance()
[codex:281749]      */
[codex:281749] 
[codex:281749] 
[codex:281749] thinking
[codex:281749] **Analyzing P3D token contract for exploits**
[codex:281749] thinking
[codex:281749] **Evaluating dividend and transfer edge cases**
[codex:281749] 
[codex:281749] I'll carefully analyze dividend calculations, transfer fees, and token supply edge cases to check for possible bugs or exploitation paths, concluding the contract has no clear exploit for profit and I'll prepare the matching JSON.
[codex:281749] codex
[codex:281749] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in the provided contract.","findings":[]}
[codex:281749] tokens used
[codex:281749] 18,162
[codex:281749] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in the provided contract.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-02T06:17:44.478049+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable profit paths found in the provided contract.",
    "raw_final": {
        "summary": "No concrete, exploitable profit paths found in the provided contract.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x015d
0000000c: JUMPI
0000000d: PUSH4 0xffffffff
00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000030: PUSH1 0x00
00000032: CALLDATALOAD
00000033: DIV
00000034: AND
00000035: PUSH3 0x65318b
00000039: DUP2
0000003a: EQ
0000003b: PUSH2 0x016b
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0x06fdde03
00000045: EQ
00000046: PUSH2 0x019c
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0x10d0ffdd
00000050: EQ
00000051: PUSH2 0x0226
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0x18160ddd
0000005b: EQ
0000005c: PUSH2 0x023c
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0x22609373
00000066: EQ
00000067: PUSH2 0x024f
0000006a: JUMPI
0000006b: DUP1
0000006c: PUSH4 0x27defa1f
00000071: EQ
00000072: PUSH2 0x0265
00000075: JUMPI
00000076: DUP1
00000077: PUSH4 0x313ce567
0000007c: EQ
0000007d: PUSH2 0x028c
00000080: JUMPI
00000081: DUP1
00000082: PUSH4 0x392efb52
00000087: EQ
00000088: PUSH2 0x02b5
0000008b: JUMPI
0000008c: DUP1
0000008d: PUSH4 0x3ccfd60b
00000092: EQ
00000093: PUSH2 0x02cb
00000096: JUMPI
00000097: DUP1
00000098: PUSH4 0x4b750334
0000009d: EQ
0000009e: PUSH2 0x02e0
000000a1: JUMPI
000000a2: DUP1
000000a3: PUSH4 0x56d399e8
000000a8: EQ
000000a9: PUSH2 0x02f3
000000ac: JUMPI
000000ad: DUP1
000000ae: PUSH4 0x688abbf7
000000b3: EQ
000000b4: PUSH2 0x0306
000000b7: JUMPI
000000b8: DUP1
000000b9: PUSH4 0x6b2f4632
000000be: EQ
000000bf: PUSH2 0x031e
000000c2: JUMPI
000000c3: DUP1
000000c4: PUSH4 0x70a08231
000000c9: EQ
000000ca: PUSH2 0x0331
000000cd: JUMPI
000000ce: DUP1
000000cf: PUSH4 0x8328b610
000000d4: EQ
000000d5: PUSH2 0x0350
000000d8: JUMPI
000000d9: DUP1
000000da: PUSH4 0x8620410b
000000df: EQ
000000e0: PUSH2 0x0366
000000e3: JUMPI
000000e4: DUP1
000000e5: PUSH4 0x89135ae9
000000ea: EQ
000000eb: PUSH2 0x0379
000000ee: JUMPI
000000ef: DUP1
000000f0: PUSH4 0x949e8acd
000000f5: EQ
000000f6: PUSH2 0x0394
000000f9: JUMPI
000000fa: DUP1
000000fb: PUSH4 0x95d89b41
00000100: EQ
00000101: PUSH2 0x03a7
00000104: JUMPI
00000105: DUP1
00000106: PUSH4 0xa8e04f34
0000010b: EQ
0000010c: PUSH2 0x03ba
0000010f: JUMPI
00000110: DUP1
00000111: PUSH4 0xa9059cbb
00000116: EQ
00000117: PUSH2 0x03cd
0000011a: JUMPI
0000011b: DUP1
0000011c: PUSH4 0xb84c8246
00000121: EQ
00000122: PUSH2 0x03ef
00000125: JUMPI
00000126: DUP1
00000127: PUSH4 0xc47f0027
0000012c: EQ
0000012d: PUSH2 0x0440
00000130: JUMPI
00000131: DUP1
00000132: PUSH4 0xe4849b32
00000137: EQ
00000138: PUSH2 0x0491
0000013b: JUMPI
0000013c: DUP1
0000013d: PUSH4 0xe9fad8ee
00000142: EQ
00000143: PUSH2 0x04a7
00000146: JUMPI
00000147: DUP1
00000148: PUSH4 0xf088d547
0000014d: EQ
0000014e: PUSH2 0x04ba
00000151: JUMPI
00000152: DUP1
00000153: PUSH4 0xfdb5a03e
00000158: EQ
00000159: PUSH2 0x04ce
0000015c: JUMPI
0000015d: JUMPDEST
0000015e: PUSH2 0x0168
00000161: CALLVALUE
00000162: PUSH1 0x00
00000164: PUSH2 0x04e1
00000167: JUMP
00000168: JUMPDEST
00000169: POP
0000016a: STOP
0000016b: JUMPDEST
0000016c: CALLVALUE
0000016d: ISZERO
0000016e: PUSH2 0x0176
00000171: JUMPI
00000172: PUSH1 0x00
00000174: DUP1
00000175: REVERT
00000176: JUMPDEST
00000177: PUSH2 0x018a
0000017a: PUSH1 0x01
0000017c: PUSH1 0xa0
0000017e: PUSH1 0x02
00000180: EXP
00000181: SUB
00000182: PUSH1 0x04
00000184: CALLDATALOAD
00000185: AND
00000186: PUSH2 0x0a84
00000189: JUMP
0000018a: JUMPDEST
0000018b: PUSH1 0x40
0000018d: MLOAD
0000018e: SWAP1
0000018f: DUP2
00000190: MSTORE
00000191: PUSH1 0x20
00000193: ADD
00000194: PUSH1 0x40
00000196: MLOAD
00000197: DUP1
00000198: SWAP2
00000199: SUB
0000019a: SWAP1
0000019b: RETURN
0000019c: JUMPDEST
0000019d: CALLVALUE
0000019e: ISZERO
0000019f: PUSH2 0x01a7
000001a2: JUMPI
000001a3: PUSH1 0x00
000001a5: DUP1
000001a6: REVERT
000001a7: JUMPDEST
000001a8: PUSH2 0x01af
000001ab: PUSH2 0x0aba
000001ae: JUMP
000001af: JUMPDEST
000001b0: PUSH1 0x40
000001b2: MLOAD
000001b3: PUSH1 0x20
000001b5: DUP1
000001b6: DUP3
000001b7: MSTORE
000001b8: DUP2
000001b9: SWAP1
000001ba: DUP2
000001bb: ADD
000001bc: DUP4
000001bd: DUP2
000001be: DUP2
000001bf: MLOAD
000001c0: DUP2
000001c1: MSTORE
000001c2: PUSH1 0x20
000001c4: ADD
000001c5: SWAP2
000001c6: POP
000001c7: DUP1
000001c8: MLOAD
000001c9: SWAP1
000001ca: PUSH1 0x20
000001cc: ADD
000001cd: SWAP1
000001ce: DUP1
000001cf: DUP4
000001d0: DUP4
000001d1: PUSH1 0x00
000001d3: JUMPDEST
000001d4: DUP4
000001d5: DUP2
000001d6: LT
000001d7: ISZERO
000001d8: PUSH2 0x01eb
000001db: JUMPI
000001dc: DUP1
000001dd: DUP3
000001de: ADD
000001df: MLOAD
000001e0: DUP4
000001e1: DUP3
000001e2: ADD
000001e3: MSTORE
000001e4: PUSH1 0x20
000001e6: ADD
000001e7: PUSH2 0x01d3
000001ea: JUMP
000001eb: JUMPDEST
000001ec: POP
000001ed: POP
000001ee: POP
000001ef: POP
000001f0: SWAP1
000001f1: POP
000001f2: SWAP1
000001f3: DUP2
000001f4: ADD
000001f5: SWAP1
000001f6: PUSH1 0x1f
000001f8: AND
000001f9: DUP1
000001fa: ISZERO
000001fb: PUSH2 0x0218
000001fe: JUMPI
000001ff: DUP1
00000200: DUP3
00000201: SUB
00000202: DUP1
00000203: MLOAD
00000204: PUSH1 0x01
00000206: DUP4
00000207: PUSH1 0x20
00000209: SUB
0000020a: PUSH2 0x0100
0000020d: EXP
0000020e: SUB
0000020f: NOT
00000210: AND
00000211: DUP2
00000212: MSTORE
00000213: PUSH1 0x20
00000215: ADD
00000216: SWAP2
00000217: POP
00000218: JUMPDEST
00000219: POP
0000021a: SWAP3
0000021b: POP
0000021c: POP
0000021d: POP
0000021e: PUSH1 0x40
00000220: MLOAD
00000221: DUP1
00000222: SWAP2
00000223: SUB
00000224: SWAP1
00000225: RETURN
00000226: JUMPDEST
00000227: CALLVALUE
00000228: ISZERO
00000229: PUSH2 0x0231
0000022c: JUMPI
0000022d: PUSH1 0x00
0000022f: DUP1
00000230: REVERT
00000231: JUMPDEST
00000232: PUSH2 0x018a
00000235: PUSH1 0x04
00000237: CALLDATALOAD
00000238: PUSH2 0x0b58
0000023b: JUMP
0000023c: JUMPDEST
0000023d: CALLVALUE
0000023e: ISZERO
0000023f: PUSH2 0x0247
00000242: JUMPI
00000243: PUSH1 0x00
00000245: DUP1
00000246: REVERT
00000247: JUMPDEST
00000248: PUSH2 0x018a
0000024b: PUSH2 0x0b88
0000024e: JUMP
0000024f: JUMPDEST
00000250: CALLVALUE
00000251: ISZERO
00000252: PUSH2 0x025a
00000255: JUMPI
00000256: PUSH1 0x00
00000258: DUP1
00000259: REVERT
0000025a: JUMPDEST
0000025b: PUSH2 0x018a
0000025e: PUSH1 0x04
00000260: CALLDATALOAD
00000261: PUSH2 0x0b8f
00000264: JUMP
00000265: JUMPDEST
00000266: CALLVALUE
00000267: ISZERO
00000268: PUSH2 0x0270
0000026b: JUMPI
0000026c: PUSH1 0x00
0000026e: DUP1
0000026f: REVERT
00000270: JUMPDEST
00000271: PUSH2 0x0278
00000274: PUSH2 0x0bc8
00000277: JUMP
00000278: JUMPDEST
00000279: PUSH1 0x40
0000027b: MLOAD
0000027c: SWAP1
0000027d: ISZERO
0000027e: ISZERO
0000027f: DUP2
00000280: MSTORE
00000281: PUSH1 0x20
00000283: ADD
00000284: PUSH1 0x40
00000286: MLOAD
00000287: DUP1
00000288: SWAP2
00000289: SUB
0000028a: SWAP1
0000028b: RETURN
0000028c: JUMPDEST
0000028d: CALLVALUE
0000028e: ISZERO
0000028f: PUSH2 0x0297
00000292: JUMPI
00000293: PUSH1 0x00
00000295: DUP1
00000296: REVERT
00000297: JUMPDEST
00000298: PUSH2 0x029f
0000029b: PUSH2 0x0bd1
0000029e: JUMP
0000029f: JUMPDEST
000002a0: PUSH1 0x40
000002a2: MLOAD
000002a3: PUSH1 0xff
000002a5: SWAP1
000002a6: SWAP2
000002a7: AND
000002a8: DUP2
000002a9: MSTORE
000002aa: PUSH1 0x20
000002ac: ADD
000002ad: PUSH1 0x40
000002af: MLOAD
000002b0: DUP1
000002b1: SWAP2
000002b2: SUB
000002b3: SWAP1
000002b4: RETURN
000002b5: JUMPDEST
000002b6: CALLVALUE
000002b7: ISZERO
000002b8: PUSH2 0x02c0
000002bb: JUMPI
000002bc: PUSH1 0x00
000002be: DUP1
000002bf: REVERT
000002c0: JUMPDEST
000002c1: PUSH2 0x0278
000002c4: PUSH1 0x04
000002c6: CALLDATALOAD
000002c7: PUSH2 0x0bd6
000002ca: JUMP
000002cb: JUMPDEST
000002cc: CALLVALUE
000002cd: ISZERO
000002ce: PUSH2 0x02d6
000002d1: JUMPI
000002d2: PUSH1 0x00
000002d4: DUP1
000002d5: REVERT
000002d6: JUMPDEST
000002d7: PUSH2 0x02de
000002da: PUSH2 0x0beb
000002dd: JUMP
000002de: JUMPDEST
000002df: STOP
000002e0: JUMPDEST
000002e1: CALLVALUE
000002e2: ISZERO
000002e3: PUSH2 0x02eb
000002e6: JUMPI
000002e7: PUSH1 0x00
000002e9: DUP1
000002ea: REVERT
000002eb: JUMPDEST
000002ec: PUSH2 0x018a
000002ef: PUSH2 0x0cb2
000002f2: JUMP
000002f3: JUMPDEST
000002f4: CALLVALUE
000002f5: ISZERO
000002f6: PUSH2 0x02fe
000002f9: JUMPI
000002fa: PUSH1 0x00
000002fc: DUP1
000002fd: REVERT
000002fe: JUMPDEST
000002ff: PUSH2 0x018a
00000302: PUSH2 0x0d06
00000305: JUMP
00000306: JUMPDEST
00000307: CALLVALUE
00000308: ISZERO
00000309: PUSH2 0x0311
0000030c: JUMPI
0000030d: PUSH1 0x00
0000030f: DUP1
00000310: REVERT
00000311: JUMPDEST
00000312: PUSH2 0x018a
00000315: PUSH1 0x04
00000317: CALLDATALOAD
00000318: ISZERO
00000319: ISZERO
0000031a: PUSH2 0x0d0c
0000031d: JUMP
0000031e: JUMPDEST
0000031f: CALLVALUE
00000320: ISZERO
00000321: PUSH2 0x0329
00000324: JUMPI
00000325: PUSH1 0x00
00000327: DUP1
00000328: REVERT
00000329: JUMPDEST
0000032a: PUSH2 0x018a
0000032d: PUSH2 0x0d4f
00000330: JUMP
00000331: JUMPDEST
00000332: CALLVALUE
00000333: ISZERO
00000334: PUSH2 0x033c
00000337: JUMPI
00000338: PUSH1 0x00
0000033a: DUP1
0000033b: REVERT
0000033c: JUMPDEST
0000033d: PUSH2 0x018a
00000340: PUSH1 0x01
00000342: PUSH1 0xa0
00000344: PUSH1 0x02
00000346: EXP
00000347: SUB
00000348: PUSH1 0x04
0000034a: CALLDATALOAD
0000034b: AND
0000034c: PUSH2 0x0d5d
0000034f: JUMP
00000350: JUMPDEST
00000351: CALLVALUE
00000352: ISZERO
00000353: PUSH2 0x035b
00000356: JUMPI
00000357: PUSH1 0x00
00000359: DUP1
0000035a: REVERT
0000035b: JUMPDEST
0000035c: PUSH2 0x02de
0000035f: PUSH1 0x04
00000361: CALLDATALOAD
00000362: PUSH2 0x0d78
00000365: JUMP
00000366: JUMPDEST
00000367: CALLVALUE
00000368: ISZERO
00000369: PUSH2 0x0371
0000036c: JUMPI
0000036d: PUSH1 0x00
0000036f: DUP1
00000370: REVERT
00000371: JUMPDEST
00000372: PUSH2 0x018a
00000375: PUSH2 0x0dcf
00000378: JUMP
00000379: JUMPDEST
0000037a: CALLVALUE
0000037b: ISZERO
0000037c: PUSH2 0x0384
0000037f: JUMPI
00000380: PUSH1 0x00
00000382: DUP1
00000383: REVERT
00000384: JUMPDEST
00000385: PUSH2 0x02de
00000388: PUSH1 0x04
0000038a: CALLDATALOAD
0000038b: PUSH1 0x24
0000038d: CALLDATALOAD
0000038e: ISZERO
0000038f: ISZERO
00000390: PUSH2 0x0e17
00000393: JUMP
00000394: JUMPDEST
00000395: CALLVALUE
00000396: ISZERO
00000397: PUSH2 0x039f
0000039a: JUMPI
0000039b: PUSH1 0x00
0000039d: DUP1
0000039e: REVERT
0000039f: JUMPDEST
000003a0: PUSH2 0x018a
000003a3: PUSH2 0x0e89
000003a6: JUMP
000003a7: JUMPDEST
000003a8: CALLVALUE
000003a9: ISZERO
000003aa: PUSH2 0x03b2
000003ad: JUMPI
000003ae: PUSH1 0x00
000003b0: DUP1
000003b1: REVERT
000003b2: JUMPDEST
000003b3: PUSH2 0x01af
000003b6: PUSH2 0x0e9c
000003b9: JUMP
000003ba: JUMPDEST
000003bb: CALLVALUE
000003bc: ISZERO
000003bd: PUSH2 0x03c5
000003c0: JUMPI
000003c1: PUSH1 0x00
000003c3: DUP1
000003c4: REVERT
000003c5: JUMPDEST
000003c6: PUSH2 0x02de
000003c9: PUSH2 0x0f07
000003cc: JUMP
000003cd: JUMPDEST
000003ce: CALLVALUE
000003cf: ISZERO
000003d0: PUSH2 0x03d8
000003d3: JUMPI
000003d4: PUSH1 0x00
000003d6: DUP1
000003d7: REVERT
000003d8: JUMPDEST
000003d9: PUSH2 0x0278
000003dc: PUSH1 0x01
000003de: PUSH1 0xa0
000003e0: PUSH1 0x02
000003e2: EXP
000003e3: SUB
000003e4: PUSH1 0x04
000003e6: CALLDATALOAD
000003e7: AND
000003e8: PUSH1 0x24
000003ea: CALLDATALOAD
000003eb: PUSH2 0x0f65
000003ee: JUMP
000003ef: JUMPDEST
000003f0: CALLVALUE
000003f1: ISZERO
000003f2: PUSH2 0x03fa
000003f5: JUMPI
000003f6: PUSH1 0x00
000003f8: DUP1
000003f9: REVERT
000003fa: JUMPDEST
000003fb: PUSH2 0x02de
000003fe: PUSH1 0x04
00000400: PUSH1 0x24
00000402: DUP2
00000403: CALLDATALOAD
00000404: DUP2
00000405: DUP2
00000406: ADD
00000407: SWAP1
00000408: DUP4
00000409: ADD
0000040a: CALLDATALOAD
0000040b: DUP1
0000040c: PUSH1 0x20
0000040e: PUSH1 0x1f
00000410: DUP3
00000411: ADD
00000412: DUP2
00000413: SWAP1
00000414: DIV
00000415: DUP2
00000416: MUL
00000417: ADD
00000418: PUSH1 0x40
0000041a: MLOAD
0000041b: SWAP1
0000041c: DUP2
0000041d: ADD
0000041e: PUSH1 0x40
00000420: MSTORE
00000421: DUP2
00000422: DUP2
00000423: MSTORE
00000424: SWAP3
00000425: SWAP2
00000426: SWAP1
00000427: PUSH1 0x20
00000429: DUP5
0000042a: ADD
0000042b: DUP4
0000042c: DUP4
0000042d: DUP1
0000042e: DUP3
0000042f: DUP5
00000430: CALLDATACOPY
00000431: POP
00000432: SWAP5
00000433: SWAP7
00000434: POP
00000435: PUSH2 0x1118
00000438: SWAP6
00000439: POP
0000043a: POP
0000043b: POP
0000043c: POP
0000043d: POP
0000043e: POP
0000043f: JUMP
00000440: JUMPDEST
00000441: CALLVALUE
00000442: ISZERO
00000443: PUSH2 0x044b
00000446: JUMPI
00000447: PUSH1 0x00
00000449: DUP1
0000044a: REVERT
0000044b: JUMPDEST
0000044c: PUSH2 0x02de
0000044f: PUSH1 0x04
00000451: PUSH1 0x24
00000453: DUP2
00000454: CALLDATALOAD
00000455: DUP2
00000456: DUP2
00000457: ADD
00000458: SWAP1
00000459: DUP4
0000045a: ADD
0000045b: CALLDATALOAD
0000045c: DUP1
0000045d: PUSH1 0x20
0000045f: PUSH1 0x1f
00000461: DUP3
00000462: ADD
00000463: DUP2
00000464: SWAP1
00000465: DIV
00000466: DUP2
00000467: MUL
00000468: ADD
00000469: PUSH1 0x40
0000046b: MLOAD
0000046c: SWAP1
0000046d: DUP2
0000046e: ADD
0000046f: PUSH1 0x40
00000471: MSTORE
00000472: DUP2
00000473: DUP2
00000474: MSTORE
00000475: SWAP3
00000476: SWAP2
00000477: SWAP1
00000478: PUSH1 0x20
0000047a: DUP5
0000047b: ADD
0000047c: DUP4
0000047d: DUP4
0000047e: DUP1
0000047f: DUP3
00000480: DUP5
00000481: CALLDATACOPY
00000482: POP
00000483: SWAP5
00000484: SWAP7
00000485: POP
00000486: PUSH2 0x1181
00000489: SWAP6
0000048a: POP
0000048b: POP
0000048c: POP
0000048d: POP
0000048e: POP
0000048f: POP
00000490: JUMP
00000491: JUMPDEST
00000492: CALLVALUE
00000493: ISZERO
00000494: PUSH2 0x049c
00000497: JUMPI
00000498: PUSH1 0x00
0000049a: DUP1
0000049b: REVERT
0000049c: JUMPDEST
0000049d: PUSH2 0x02de
000004a0: PUSH1 0x04
000004a2: CALLDATALOAD
000004a3: PUSH2 0x11e5
000004a6: JUMP
000004a7: JUMPDEST
000004a8: CALLVALUE
000004a9: ISZERO
000004aa: PUSH2 0x04b2
000004ad: JUMPI
000004ae: PUSH1 0x00
000004b0: DUP1
000004b1: REVERT
000004b2: JUMPDEST
000004b3: PUSH2 0x02de
000004b6: PUSH2 0x1338
000004b9: JUMP
000004ba: JUMPDEST
000004bb: PUSH2 0x018a
000004be: PUSH1 0x01
000004c0: PUSH1 0xa0
000004c2: PUSH1 0x02
000004c4: EXP
000004c5: SUB
000004c6: PUSH1 0x04
000004c8: CALLDATALOAD
000004c9: AND
000004ca: PUSH2 0x136f
000004cd: JUMP
000004ce: JUMPDEST
000004cf: CALLVALUE
000004d0: ISZERO
000004d1: PUSH2 0x04d9
000004d4: JUMPI
000004d5: PUSH1 0x00
000004d7: DUP1
000004d8: REVERT
000004d9: JUMPDEST
000004da: PUSH2 0x02de
000004dd: PUSH2 0x137b
000004e0: JUMP
000004e1: JUMPDEST
000004e2: PUSH1 0x00
000004e4: DUP1
000004e5: PUSH1 0x00
000004e7: DUP1
000004e8: PUSH1 0x00
000004ea: DUP1
000004eb: PUSH1 0x00
000004ed: DUP1
000004ee: PUSH1 0x00
000004f0: DUP11
000004f1: PUSH1 0x00
000004f3: CALLER
000004f4: SWAP1
000004f5: POP
000004f6: PUSH1 0x0b
000004f8: PUSH1 0x00
000004fa: SWAP1
000004fb: SLOAD
000004fc: SWAP1
000004fd: PUSH2 0x0100
00000500: EXP
00000501: SWAP1
00000502: DIV
00000503: PUSH1 0xff
00000505: AND
00000506: DUP1
00000507: ISZERO
00000508: PUSH2 0x0522
0000050b: JUMPI
0000050c: POP
0000050d: PUSH8 0x0de0b6b3a7640000
00000516: DUP3
00000517: PUSH2 0x051e
0000051a: PUSH2 0x0d4f
0000051d: JUMP
0000051e: JUMPDEST
0000051f: SUB
00000520: GT
00000521: ISZERO
00000522: JUMPDEST
00000523: ISZERO
00000524: PUSH2 0x0816
00000527: JUMPI
00000528: PUSH1 0x01
0000052a: PUSH1 0xa0
0000052c: PUSH1 0x02
0000052e: EXP
0000052f: SUB
00000530: DUP2
00000531: AND
00000532: PUSH1 0x00
00000534: SWAP1
00000535: DUP2
00000536: MSTORE
00000537: PUSH1 0x03
00000539: PUSH1 0x20
0000053b: MSTORE
0000053c: PUSH1 0x40
0000053e: SWAP1
0000053f: KECCAK256
00000540: SLOAD
00000541: PUSH1 0xff
00000543: AND
00000544: ISZERO
00000545: ISZERO
00000546: PUSH1 0x01
00000548: EQ
00000549: DUP1
0000054a: ISZERO
0000054b: PUSH2 0x0577
0000054e: JUMPI
0000054f: POP
00000550: PUSH1 0x01
00000552: PUSH1 0xa0
00000554: PUSH1 0x02
00000556: EXP
00000557: SUB
00000558: DUP2
00000559: AND
0000055a: PUSH1 0x00
0000055c: SWAP1
0000055d: DUP2
0000055e: MSTORE
0000055f: PUSH1 0x07
00000561: PUSH1 0x20
00000563: MSTORE
00000564: PUSH1 0x40
00000566: SWAP1
00000567: KECCAK256
00000568: SLOAD
00000569: PUSH8 0x0de0b6b3a7640000
00000572: SWAP1
00000573: DUP4
00000574: ADD
00000575: GT
00000576: ISZERO
00000577: JUMPDEST
00000578: ISZERO
00000579: ISZERO
0000057a: PUSH2 0x0582
0000057d: JUMPI
0000057e: PUSH1 0x00
00000580: DUP1
00000581: REVERT
00000582: JUMPDEST
00000583: PUSH1 0x01
00000585: PUSH1 0xa0
00000587: PUSH1 0x02
00000589: EXP
0000058a: SUB
0000058b: DUP2
0000058c: AND
0000058d: PUSH1 0x00
0000058f: SWAP1
00000590: DUP2
00000591: MSTORE
00000592: PUSH1 0x07
00000594: PUSH1 0x20
00000596: MSTORE
00000597: PUSH1 0x40
00000599: SWAP1
0000059a: KECCAK256
0000059b: SLOAD
0000059c: PUSH2 0x05a5
0000059f: SWAP1
000005a0: DUP4
000005a1: PUSH2 0x1431
000005a4: JUMP
000005a5: JUMPDEST
000005a6: PUSH1 0x01
000005a8: PUSH1 0xa0
000005aa: PUSH1 0x02
000005ac: EXP
000005ad: SUB
000005ae: DUP3
000005af: AND
000005b0: PUSH1 0x00
000005b2: SWAP1
000005b3: DUP2
000005b4: MSTORE
000005b5: PUSH1 0x07
000005b7: PUSH1 0x20
000005b9: MSTORE
000005ba: PUSH1 0x40
000005bc: SWAP1
000005bd: KECCAK256
000005be: SSTORE
000005bf: CALLER
000005c0: SWAP10
000005c1: POP
000005c2: PUSH2 0x05cc
000005c5: DUP14
000005c6: PUSH1 0x0a
000005c8: PUSH2 0x1447
000005cb: JUMP
000005cc: JUMPDEST
000005cd: SWAP9
000005ce: POP
000005cf: PUSH2 0x05d9
000005d2: DUP10
000005d3: PUSH1 0x03
000005d5: PUSH2 0x1447
000005d8: JUMP
000005d9: JUMPDEST
000005da: SWAP8
000005db: POP
000005dc: PUSH2 0x05e5
000005df: DUP10
000005e0: DUP10
000005e1: PUSH2 0x145e
000005e4: JUMP
000005e5: JUMPDEST
000005e6: SWAP7
000005e7: POP
000005e8: PUSH2 0x05f1
000005eb: DUP14
000005ec: DUP11
000005ed: PUSH2 0x145e
000005f0: JUMP
000005f1: JUMPDEST
000005f2: SWAP6
000005f3: POP
000005f4: PUSH2 0x05fc
000005f7: DUP7
000005f8: PUSH2 0x1470
000005fb: JUMP
000005fc: JUMPDEST
000005fd: SWAP5
000005fe: POP
000005ff: PUSH1 0x40
00000601: PUSH1 0x02
00000603: EXP
00000604: DUP8
00000605: MUL
00000606: SWAP4
00000607: POP
00000608: PUSH1 0x00
0000060a: DUP6
0000060b: GT
0000060c: DUP1
0000060d: ISZERO
0000060e: PUSH2 0x0621
00000611: JUMPI
00000612: POP
00000613: PUSH1 0x08
00000615: SLOAD
00000616: PUSH2 0x061f
00000619: DUP7
0000061a: DUP3
0000061b: PUSH2 0x1431
0000061e: JUMP
0000061f: JUMPDEST
00000620: GT
00000621: JUMPDEST
00000622: ISZERO
00000623: ISZERO
00000624: PUSH2 0x062c
00000627: JUMPI
00000628: PUSH1 0x00
0000062a: DUP1
0000062b: REVERT
0000062c: JUMPDEST
0000062d: PUSH1 0x01
0000062f: PUSH1 0xa0
00000631: PUSH1 0x02
00000633: EXP
00000634: SUB
00000635: DUP13
00000636: AND
00000637: ISZERO
00000638: DUP1
00000639: ISZERO
0000063a: SWAP1
0000063b: PUSH2 0x0656
0000063e: JUMPI
0000063f: POP
00000640: DUP10
00000641: PUSH1 0x01
00000643: PUSH1 0xa0
00000645: PUSH1 0x02
00000647: EXP
00000648: SUB
00000649: AND
0000064a: DUP13
0000064b: PUSH1 0x01
0000064d: PUSH1 0xa0
0000064f: PUSH1 0x02
00000651: EXP
00000652: SUB
00000653: AND
00000654: EQ
00000655: ISZERO
00000656: JUMPDEST
00000657: DUP1
00000658: ISZERO
00000659: PUSH2 0x067c
0000065c: JUMPI
0000065d: POP
0000065e: PUSH1 0x02
00000660: SLOAD
00000661: PUSH1 0x01
00000663: PUSH1 0xa0
00000665: PUSH1 0x02
00000667: EXP
00000668: SUB
00000669: DUP14
0000066a: AND
0000066b: PUSH1 0x00
0000066d: SWAP1
0000066e: DUP2
0000066f: MSTORE
00000670: PUSH1 0x04
00000672: PUSH1 0x20
00000674: MSTORE
00000675: PUSH1 0x40
00000677: SWAP1
00000678: KECCAK256
00000679: SLOAD
0000067a: LT
0000067b: ISZERO
0000067c: JUMPDEST
0000067d: ISZERO
0000067e: PUSH2 0x06c2
00000681: JUMPI
00000682: PUSH1 0x01
00000684: PUSH1 0xa0
00000686: PUSH1 0x02
00000688: EXP
00000689: SUB
0000068a: DUP13
0000068b: AND
0000068c: PUSH1 0x00
0000068e: SWAP1
0000068f: DUP2
00000690: MSTORE
00000691: PUSH1 0x05
00000693: PUSH1 0x20
00000695: MSTORE
00000696: PUSH1 0x40
00000698: SWAP1
00000699: KECCAK256
0000069a: SLOAD
0000069b: PUSH2 0x06a4
0000069e: SWAP1
0000069f: DUP10
000006a0: PUSH2 0x1431
000006a3: JUMP
000006a4: JUMPDEST
000006a5: PUSH1 0x01
000006a7: PUSH1 0xa0
000006a9: PUSH1 0x02
000006ab: EXP
000006ac: SUB
000006ad: DUP14
000006ae: AND
000006af: PUSH1 0x00
000006b1: SWAP1
000006b2: DUP2
000006b3: MSTORE
000006b4: PUSH1 0x05
000006b6: PUSH1 0x20
000006b8: MSTORE
000006b9: PUSH1 0x40
000006bb: SWAP1
000006bc: KECCAK256
000006bd: SSTORE
000006be: PUSH2 0x06d8
000006c1: JUMP
000006c2: JUMPDEST
000006c3: PUSH2 0x06cc
000006c6: DUP8
000006c7: DUP10
000006c8: PUSH2 0x1431
000006cb: JUMP
000006cc: JUMPDEST
000006cd: SWAP7
000006ce: POP
000006cf: PUSH1 0x40
000006d1: PUSH1 0x02
000006d3: EXP
000006d4: DUP8
000006d5: MUL
000006d6: SWAP4
000006d7: POP
000006d8: JUMPDEST
000006d9: PUSH1 0x00
000006db: PUSH1 0x08
000006dd: SLOAD
000006de: GT
000006df: ISZERO
000006e0: PUSH2 0x0732
000006e3: JUMPI
000006e4: PUSH2 0x06ef
000006e7: PUSH1 0x08
000006e9: SLOAD
000006ea: DUP7
000006eb: PUSH2 0x1431
000006ee: JUMP
000006ef: JUMPDEST
000006f0: PUSH1 0x08
000006f2: DUP2
000006f3: SWAP1
000006f4: SSTORE
000006f5: PUSH1 0x40
000006f7: PUSH1 0x02
000006f9: EXP
000006fa: DUP9
000006fb: MUL
000006fc: DUP2
000006fd: ISZERO
000006fe: ISZERO
000006ff: PUSH2 0x0704
00000702: JUMPI
00000703: INVALID
00000704: JUMPDEST
00000705: PUSH1 0x09
00000707: DUP1
00000708: SLOAD
00000709: SWAP3
0000070a: SWAP1
0000070b: SWAP2
0000070c: DIV
0000070d: SWAP1
0000070e: SWAP2
0000070f: ADD
00000710: SWAP1
00000711: SSTORE
00000712: PUSH1 0x08
00000714: SLOAD
00000715: PUSH1 0x40
00000717: PUSH1 0x02
00000719: EXP
0000071a: DUP9
0000071b: MUL
0000071c: DUP2
0000071d: ISZERO
0000071e: ISZERO
0000071f: PUSH2 0x0724
00000722: JUMPI
00000723: INVALID
00000724: JUMPDEST
00000725: DIV
00000726: DUP6
00000727: MUL
00000728: DUP5
00000729: SUB
0000072a: DUP5
0000072b: SUB
0000072c: SWAP4
0000072d: POP
0000072e: PUSH2 0x0738
00000731: JUMP
00000732: JUMPDEST
00000733: PUSH1 0x08
00000735: DUP6
00000736: SWAP1
00000737: SSTORE
00000738: JUMPDEST
00000739: PUSH1 0x01
0000073b: PUSH1 0xa0
0000073d: PUSH1 0x02
0000073f: EXP
00000740: SUB
00000741: DUP11
00000742: AND
00000743: PUSH1 0x00
00000745: SWAP1
00000746: DUP2
00000747: MSTORE
00000748: PUSH1 0x04
0000074a: PUSH1 0x20
0000074c: MSTORE
0000074d: PUSH1 0x40
0000074f: SWAP1
00000750: KECCAK256
00000751: SLOAD
00000752: PUSH2 0x075b
00000755: SWAP1
00000756: DUP7
00000757: PUSH2 0x1431
0000075a: JUMP
0000075b: JUMPDEST
0000075c: PUSH1 0x04
0000075e: PUSH1 0x00
00000760: DUP13
00000761: PUSH1 0x01
00000763: PUSH1 0xa0
00000765: PUSH1 0x02
00000767: EXP
00000768: SUB
00000769: AND
0000076a: PUSH1 0x01
0000076c: PUSH1 0xa0
0000076e: PUSH1 0x02
00000770: EXP
00000771: SUB
00000772: AND
00000773: DUP2
00000774: MSTORE
00000775: PUSH1 0x20
00000777: ADD
00000778: SWAP1
00000779: DUP2
0000077a: MSTORE
0000077b: PUSH1 0x20
0000077d: ADD
0000077e: PUSH1 0x00
00000780: KECCAK256
00000781: DUP2
00000782: SWAP1
00000783: SSTORE
00000784: POP
00000785: DUP4
00000786: DUP6
00000787: PUSH1 0x09
00000789: SLOAD
0000078a: MUL
0000078b: SUB
0000078c: SWAP3
0000078d: POP
0000078e: DUP3
0000078f: PUSH1 0x06
00000791: PUSH1 0x00
00000793: DUP13
00000794: PUSH1 0x01
00000796: PUSH1 0xa0
00000798: PUSH1 0x02
0000079a: EXP
0000079b: SUB
0000079c: AND
0000079d: PUSH1 0x01
0000079f: PUSH1 0xa0
000007a1: PUSH1 0x02
000007a3: EXP
000007a4: SUB
000007a5: AND
000007a6: DUP2
000007a7: MSTORE
000007a8: PUSH1 0x20
000007aa: ADD
000007ab: SWAP1
000007ac: DUP2
000007ad: MSTORE
000007ae: PUSH1 0x20
000007b0: ADD
000007b1: PUSH1 0x00
000007b3: KECCAK256
000007b4: PUSH1 0x00
000007b6: DUP3
000007b7: DUP3
000007b8: SLOAD
000007b9: ADD
000007ba: SWAP3
000007bb: POP
000007bc: POP
000007bd: DUP2
000007be: SWAP1
000007bf: SSTORE
000007c0: POP
000007c1: DUP12
000007c2: PUSH1 0x01
000007c4: PUSH1 0xa0
000007c6: PUSH1 0x02
000007c8: EXP
000007c9: SUB
000007ca: AND
000007cb: DUP11
000007cc: PUSH1 0x01
000007ce: PUSH1 0xa0
000007d0: PUSH1 0x02
000007d2: EXP
000007d3: SUB
000007d4: AND
000007d5: PUSH32 0x022c0d992e4d873a3748436d960d5140c1f9721cf73f7ca5ec679d3d9f4fe2d5
000007f6: DUP16
000007f7: DUP9
000007f8: PUSH1 0x40
000007fa: MLOAD
000007fb: SWAP2
000007fc: DUP3
000007fd: MSTORE
000007fe: PUSH1 0x20
00000800: DUP3
00000801: ADD
00000802: MSTORE
00000803: PUSH1 0x40
00000805: SWAP1
00000806: DUP2
00000807: ADD
00000808: SWAP1
00000809: MLOAD
0000080a: DUP1
0000080b: SWAP2
0000080c: SUB
0000080d: SWAP1
0000080e: LOG3
0000080f: DUP5
00000810: SWAP11
00000811: POP
00000812: PUSH2 0x0a74
00000815: JUMP
00000816: JUMPDEST
00000817: PUSH1 0x0b
00000819: DUP1
0000081a: SLOAD
0000081b: PUSH1 0xff
0000081d: NOT
0000081e: AND
0000081f: SWAP1
00000820: SSTORE
00000821: CALLER
00000822: SWAP10
00000823: POP
00000824: PUSH2 0x082e
00000827: DUP14
00000828: PUSH1 0x0a
0000082a: PUSH2 0x1447
0000082d: JUMP
0000082e: JUMPDEST
0000082f: SWAP9
00000830: POP
00000831: PUSH2 0x083b
00000834: DUP10
00000835: PUSH1 0x03
00000837: PUSH2 0x1447
0000083a: JUMP
0000083b: JUMPDEST
0000083c: SWAP8
0000083d: POP
0000083e: PUSH2 0x0847
00000841: DUP10
00000842: DUP10
00000843: PUSH2 0x145e
00000846: JUMP
00000847: JUMPDEST
00000848: SWAP7
00000849: POP
0000084a: PUSH2 0x0853
0000084d: DUP14
0000084e: DUP11
0000084f: PUSH2 0x145e
00000852: JUMP
00000853: JUMPDEST
00000854: SWAP6
00000855: POP
00000856: PUSH2 0x085e
00000859: DUP7
0000085a: PUSH2 0x1470
0000085d: JUMP
0000085e: JUMPDEST
0000085f: SWAP5
00000860: POP
00000861: PUSH1 0x40
00000863: PUSH1 0x02
00000865: EXP
00000866: DUP8
00000867: MUL
00000868: SWAP4
00000869: POP
0000086a: PUSH1 0x00
0000086c: DUP6
0000086d: GT
0000086e: DUP1
0000086f: ISZERO
00000870: PUSH2 0x0883
00000873: JUMPI
00000874: POP
00000875: PUSH1 0x08
00000877: SLOAD
00000878: PUSH2 0x0881
0000087b: DUP7
0000087c: DUP3
0000087d: PUSH2 0x1431
00000880: JUMP
00000881: JUMPDEST
00000882: GT
00000883: JUMPDEST
00000884: ISZERO
00000885: ISZERO
00000886: PUSH2 0x088e
00000889: JUMPI
0000088a: PUSH1 0x00
0000088c: DUP1
0000088d: REVERT
0000088e: JUMPDEST
0000088f: PUSH1 0x01
00000891: PUSH1 0xa0
00000893: PUSH1 0x02
00000895: EXP
00000896: SUB
00000897: DUP13
00000898: AND
00000899: ISZERO
0000089a: DUP1
0000089b: ISZERO
0000089c: SWAP1
0000089d: PUSH2 0x08b8
000008a0: JUMPI
000008a1: POP
000008a2: DUP10
000008a3: PUSH1 0x01
000008a5: PUSH1 0xa0
000008a7: PUSH1 0x02
000008a9: EXP
000008aa: SUB
000008ab: AND
000008ac: DUP13
000008ad: PUSH1 0x01
000008af: PUSH1 0xa0
000008b1: PUSH1 0x02
000008b3: EXP
000008b4: SUB
000008b5: AND
000008b6: EQ
000008b7: ISZERO
000008b8: JUMPDEST
000008b9: DUP1
000008ba: ISZERO
000008bb: PUSH2 0x08de
000008be: JUMPI
000008bf: POP
000008c0: PUSH1 0x02
000008c2: SLOAD
000008c3: PUSH1 0x01
000008c5: PUSH1 0xa0
000008c7: PUSH1 0x02
000008c9: EXP
000008ca: SUB
000008cb: DUP14
000008cc: AND
000008cd: PUSH1 0x00
000008cf: SWAP1
000008d0: DUP2
000008d1: MSTORE
000008d2: PUSH1 0x04
000008d4: PUSH1 0x20
000008d6: MSTORE
000008d7: PUSH1 0x40
000008d9: SWAP1
000008da: KECCAK256
000008db: SLOAD
000008dc: LT
000008dd: ISZERO
000008de: JUMPDEST
000008df: ISZERO
000008e0: PUSH2 0x0924
000008e3: JUMPI
000008e4: PUSH1 0x01
000008e6: PUSH1 0xa0
000008e8: PUSH1 0x02
000008ea: EXP
000008eb: SUB
000008ec: DUP13
000008ed: AND
000008ee: PUSH1 0x00
000008f0: SWAP1
000008f1: DUP2
000008f2: MSTORE
000008f3: PUSH1 0x05
000008f5: PUSH1 0x20
000008f7: MSTORE
000008f8: PUSH1 0x40
000008fa: SWAP1
000008fb: KECCAK256
000008fc: SLOAD
000008fd: PUSH2 0x0906
00000900: SWAP1
00000901: DUP10
00000902: PUSH2 0x1431
00000905: JUMP
00000906: JUMPDEST
00000907: PUSH1 0x01
00000909: PUSH1 0xa0
0000090b: PUSH1 0x02
0000090d: EXP
0000090e: SUB
0000090f: DUP14
00000910: AND
00000911: PUSH1 0x00
00000913: SWAP1
00000914: DUP2
00000915: MSTORE
00000916: PUSH1 0x05
00000918: PUSH1 0x20
0000091a: MSTORE
0000091b: PUSH1 0x40
0000091d: SWAP1
0000091e: KECCAK256
0000091f: SSTORE
00000920: PUSH2 0x093a
00000923: JUMP
00000924: JUMPDEST
00000925: PUSH2 0x092e
00000928: DUP8
00000929: DUP10
0000092a: PUSH2 0x1431
0000092d: JUMP
0000092e: JUMPDEST
0000092f: SWAP7
00000930: POP
00000931: PUSH1 0x40
00000933: PUSH1 0x02
00000935: EXP
00000936: DUP8
00000937: MUL
00000938: SWAP4
00000939: POP
0000093a: JUMPDEST
0000093b: PUSH1 0x00
0000093d: PUSH1 0x08
0000093f: SLOAD
00000940: GT
00000941: ISZERO
00000942: PUSH2 0x0994
00000945: JUMPI
00000946: PUSH2 0x0951
00000949: PUSH1 0x08
0000094b: SLOAD
0000094c: DUP7
0000094d: PUSH2 0x1431
00000950: JUMP
00000951: JUMPDEST
00000952: PUSH1 0x08
00000954: DUP2
00000955: SWAP1
00000956: SSTORE
00000957: PUSH1 0x40
00000959: PUSH1 0x02
0000095b: EXP
0000095c: DUP9
0000095d: MUL
0000095e: DUP2
0000095f: ISZERO
00000960: ISZERO
00000961: PUSH2 0x0966
00000964: JUMPI
00000965: INVALID
00000966: JUMPDEST
00000967: PUSH1 0x09
00000969: DUP1
0000096a: SLOAD
0000096b: SWAP3
0000096c: SWAP1
0000096d: SWAP2
0000096e: DIV
0000096f: SWAP1
00000970: SWAP2
00000971: ADD
00000972: SWAP1
00000973: SSTORE
00000974: PUSH1 0x08
00000976: SLOAD
00000977: PUSH1 0x40
00000979: PUSH1 0x02
0000097b: EXP
0000097c: DUP9
0000097d: MUL
0000097e: DUP2
0000097f: ISZERO
00000980: ISZERO
00000981: PUSH2 0x0986
00000984: JUMPI
00000985: INVALID
00000986: JUMPDEST
00000987: DIV
00000988: DUP6
00000989: MUL
0000098a: DUP5
0000098b: SUB
0000098c: DUP5
0000098d: SUB
0000098e: SWAP4
0000098f: POP
00000990: PUSH2 0x099a
00000993: JUMP
00000994: JUMPDEST
00000995: PUSH1 0x08
00000997: DUP6
00000998: SWAP1
00000999: SSTORE
0000099a: JUMPDEST
0000099b: PUSH1 0x01
0000099d: PUSH1 0xa0
0000099f: PUSH1 0x02
000009a1: EXP
000009a2: SUB
000009a3: DUP11
000009a4: AND
000009a5: PUSH1 0x00
000009a7: SWAP1
000009a8: DUP2
000009a9: MSTORE
000009aa: PUSH1 0x04
000009ac: PUSH1 0x20
000009ae: MSTORE
000009af: PUSH1 0x40
000009b1: SWAP1
000009b2: KECCAK256
000009b3: SLOAD
000009b4: PUSH2 0x09bd
000009b7: SWAP1
000009b8: DUP7
000009b9: PUSH2 0x1431
000009bc: JUMP
000009bd: JUMPDEST
000009be: PUSH1 0x04
000009c0: PUSH1 0x00
000009c2: DUP13
000009c3: PUSH1 0x01
000009c5: PUSH1 0xa0
000009c7: PUSH1 0x02
000009c9: EXP
000009ca: SUB
000009cb: AND
000009cc: PUSH1 0x01
000009ce: PUSH1 0xa0
000009d0: PUSH1 0x02
000009d2: EXP
000009d3: SUB
000009d4: AND
000009d5: DUP2
000009d6: MSTORE
000009d7: PUSH1 0x20
000009d9: ADD
000009da: SWAP1
000009db: DUP2
000009dc: MSTORE
000009dd: PUSH1 0x20
000009df: ADD
000009e0: PUSH1 0x00
000009e2: KECCAK256
000009e3: DUP2
000009e4: SWAP1
000009e5: SSTORE
000009e6: POP
000009e7: DUP4
000009e8: DUP6
000009e9: PUSH1 0x09
000009eb: SLOAD
000009ec: MUL
000009ed: SUB
000009ee: SWAP3
000009ef: POP
000009f0: DUP3
000009f1: PUSH1 0x06
000009f3: PUSH1 0x00
000009f5: DUP13
000009f6: PUSH1 0x01
000009f8: PUSH1 0xa0
000009fa: PUSH1 0x02
000009fc: EXP
000009fd: SUB
000009fe: AND
000009ff: PUSH1 0x01
00000a01: PUSH1 0xa0
00000a03: PUSH1 0x02
00000a05: EXP
00000a06: SUB
00000a07: AND
00000a08: DUP2
00000a09: MSTORE
00000a0a: PUSH1 0x20
00000a0c: ADD
00000a0d: SWAP1
00000a0e: DUP2
00000a0f: MSTORE
00000a10: PUSH1 0x20
00000a12: ADD
00000a13: PUSH1 0x00
00000a15: KECCAK256
00000a16: PUSH1 0x00
00000a18: DUP3
00000a19: DUP3
00000a1a: SLOAD
00000a1b: ADD
00000a1c: SWAP3
00000a1d: POP
00000a1e: POP
00000a1f: DUP2
00000a20: SWAP1
00000a21: SSTORE
00000a22: POP
00000a23: DUP12
00000a24: PUSH1 0x01
00000a26: PUSH1 0xa0
00000a28: PUSH1 0x02
00000a2a: EXP
00000a2b: SUB
00000a2c: AND
00000a2d: DUP11
00000a2e: PUSH1 0x01
00000a30: PUSH1 0xa0
00000a32: PUSH1 0x02
00000a34: EXP
00000a35: SUB
00000a36: AND
00000a37: PUSH32 0x022c0d992e4d873a3748436d960d5140c1f9721cf73f7ca5ec679d3d9f4fe2d5
00000a58: DUP16
00000a59: DUP9
00000a5a: PUSH1 0x40
00000a5c: MLOAD
00000a5d: SWAP2
00000a5e: DUP3
00000a5f: MSTORE
00000a60: PUSH1 0x20
00000a62: DUP3
00000a63: ADD
00000a64: MSTORE
00000a65: PUSH1 0x40
00000a67: SWAP1
00000a68: DUP2
00000a69: ADD
00000a6a: SWAP1
00000a6b: MLOAD
00000a6c: DUP1
00000a6d: SWAP2
00000a6e: SUB
00000a6f: SWAP1
00000a70: LOG3
00000a71: DUP5
00000a72: SWAP11
00000a73: POP
00000a74: JUMPDEST
00000a75: POP
00000a76: POP
00000a77: POP
00000a78: POP
00000a79: POP
00000a7a: POP
00000a7b: POP
00000a7c: POP
00000a7d: POP
00000a7e: POP
00000a7f: SWAP3
00000a80: SWAP2
00000a81: POP
00000a82: POP
00000a83: JUMP
00000a84: JUMPDEST
00000a85: PUSH1 0x01
00000a87: PUSH1 0xa0
00000a89: PUSH1 0x02
00000a8b: EXP
00000a8c: SUB
00000a8d: AND
00000a8e: PUSH1 0x00
00000a90: SWAP1
00000a91: DUP2
00000a92: MSTORE
00000a93: PUSH1 0x06
00000a95: PUSH1 0x20
00000a97: SWAP1
00000a98: DUP2
00000a99: MSTORE
00000a9a: PUSH1 0x40
00000a9c: DUP1
00000a9d: DUP4
00000a9e: KECCAK256
00000a9f: SLOAD
00000aa0: PUSH1 0x04
00000aa2: SWAP1
00000aa3: SWAP3
00000aa4: MSTORE
00000aa5: SWAP1
00000aa6: SWAP2
00000aa7: KECCAK256
00000aa8: SLOAD
00000aa9: PUSH1 0x09
00000aab: SLOAD
00000aac: PUSH1 0x40
00000aae: PUSH1 0x02
00000ab0: EXP
00000ab1: SWAP2
00000ab2: MUL
00000ab3: SWAP2
00000ab4: SWAP1
00000ab5: SWAP2
00000ab6: SUB
00000ab7: DIV
00000ab8: SWAP1
00000ab9: JUMP
00000aba: JUMPDEST
00000abb: PUSH1 0x00
00000abd: DUP1
00000abe: SLOAD
00000abf: PUSH1 0x01
00000ac1: DUP2
00000ac2: PUSH1 0x01
00000ac4: AND
00000ac5: ISZERO
00000ac6: PUSH2 0x0100
00000ac9: MUL
00000aca: SUB
00000acb: AND
00000acc: PUSH1 0x02
00000ace: SWAP1
00000acf: DIV
00000ad0: DUP1
00000ad1: PUSH1 0x1f
00000ad3: ADD
00000ad4: PUSH1 0x20
00000ad6: DUP1
00000ad7: SWAP2
00000ad8: DIV
00000ad9: MUL
00000ada: PUSH1 0x20
00000adc: ADD
00000add: PUSH1 0x40
00000adf: MLOAD
00000ae0: SWAP1
00000ae1: DUP2
00000ae2: ADD
00000ae3: PUSH1 0x40
00000ae5: MSTORE
00000ae6: DUP1
00000ae7: SWAP3
00000ae8: SWAP2
00000ae9: SWAP1
00000aea: DUP2
00000aeb: DUP2
00000aec: MSTORE
00000aed: PUSH1 0x20
00000aef: ADD
00000af0: DUP3
00000af1: DUP1
00000af2: SLOAD
00000af3: PUSH1 0x01
00000af5: DUP2
00000af6: PUSH1 0x01
00000af8: AND
00000af9: ISZERO
00000afa: PUSH2 0x0100
00000afd: MUL
00000afe: SUB
00000aff: AND
00000b00: PUSH1 0x02
00000b02: SWAP1
00000b03: DIV
00000b04: DUP1
00000b05: ISZERO
00000b06: PUSH2 0x0b50
00000b09: JUMPI
00000b0a: DUP1
00000b0b: PUSH1 0x1f
00000b0d: LT
00000b0e: PUSH2 0x0b25
00000b11: JUMPI
00000b12: PUSH2 0x0100
00000b15: DUP1
00000b16: DUP4
00000b17: SLOAD
00000b18: DIV
00000b19: MUL
00000b1a: DUP4
00000b1b: MSTORE
00000b1c: SWAP2
00000b1d: PUSH1 0x20
00000b1f: ADD
00000b20: SWAP2
00000b21: PUSH2 0x0b50
00000b24: JUMP
00000b25: JUMPDEST
00000b26: DUP3
00000b27: ADD
00000b28: SWAP2
00000b29: SWAP1
00000b2a: PUSH1 0x00
00000b2c: MSTORE
00000b2d: PUSH1 0x20
00000b2f: PUSH1 0x00
00000b31: KECCAK256
00000b32: SWAP1
00000b33: JUMPDEST
00000b34: DUP2
00000b35: SLOAD
00000b36: DUP2
00000b37: MSTORE
00000b38: SWAP1
00000b39: PUSH1 0x01
00000b3b: ADD
00000b3c: SWAP1
00000b3d: PUSH1 0x20
00000b3f: ADD
00000b40: DUP1
00000b41: DUP4
00000b42: GT
00000b43: PUSH2 0x0b33
00000b46: JUMPI
00000b47: DUP3
00000b48: SWAP1
00000b49: SUB
00000b4a: PUSH1 0x1f
00000b4c: AND
00000b4d: DUP3
00000b4e: ADD
00000b4f: SWAP2
00000b50: JUMPDEST
00000b51: POP
00000b52: POP
00000b53: POP
00000b54: POP
00000b55: POP
00000b56: DUP2
00000b57: JUMP
00000b58: JUMPDEST
00000b59: PUSH1 0x00
00000b5b: DUP1
00000b5c: DUP1
00000b5d: DUP1
00000b5e: PUSH2 0x0b68
00000b61: DUP6
00000b62: PUSH1 0x0a
00000b64: PUSH2 0x1447
00000b67: JUMP
00000b68: JUMPDEST
00000b69: SWAP3
00000b6a: POP
00000b6b: PUSH2 0x0b74
00000b6e: DUP6
00000b6f: DUP5
00000b70: PUSH2 0x145e
00000b73: JUMP
00000b74: JUMPDEST
00000b75: SWAP2
00000b76: POP
00000b77: PUSH2 0x0b7f
00000b7a: DUP3
00000b7b: PUSH2 0x1470
00000b7e: JUMP
00000b7f: JUMPDEST
00000b80: SWAP6
00000b81: SWAP5
00000b82: POP
00000b83: POP
00000b84: POP
00000b85: POP
00000b86: POP
00000b87: JUMP
00000b88: JUMPDEST
00000b89: PUSH1 0x08
00000b8b: SLOAD
00000b8c: JUMPDEST
00000b8d: SWAP1
00000b8e: JUMP
00000b8f: JUMPDEST
00000b90: PUSH1 0x00
00000b92: DUP1
00000b93: PUSH1 0x00
00000b95: DUP1
00000b96: PUSH1 0x08
00000b98: SLOAD
00000b99: DUP6
00000b9a: GT
00000b9b: ISZERO
00000b9c: ISZERO
00000b9d: ISZERO
00000b9e: PUSH2 0x0ba6
00000ba1: JUMPI
00000ba2: PUSH1 0x00
00000ba4: DUP1
00000ba5: REVERT
00000ba6: JUMPDEST
00000ba7: PUSH2 0x0baf
00000baa: DUP6
00000bab: PUSH2 0x1508
00000bae: JUMP
00000baf: JUMPDEST
00000bb0: SWAP3
00000bb1: POP
00000bb2: PUSH2 0x0bbc
00000bb5: DUP4
00000bb6: PUSH1 0x0a
00000bb8: PUSH2 0x1447
00000bbb: JUMP
00000bbc: JUMPDEST
00000bbd: SWAP2
00000bbe: POP
00000bbf: PUSH2 0x0b7f
00000bc2: DUP4
00000bc3: DUP4
00000bc4: PUSH2 0x145e
00000bc7: JUMP
00000bc8: JUMPDEST
00000bc9: PUSH1 0x0b
00000bcb: SLOAD
00000bcc: PUSH1 0xff
00000bce: AND
00000bcf: DUP2
00000bd0: JUMP
00000bd1: JUMPDEST
00000bd2: PUSH1 0x12
00000bd4: DUP2
00000bd5: JUMP
00000bd6: JUMPDEST
00000bd7: PUSH1 0x0a
00000bd9: PUSH1 0x20
00000bdb: MSTORE
00000bdc: PUSH1 0x00
00000bde: SWAP1
00000bdf: DUP2
00000be0: MSTORE
00000be1: PUSH1 0x40
00000be3: SWAP1
00000be4: KECCAK256
00000be5: SLOAD
00000be6: PUSH1 0xff
00000be8: AND
00000be9: DUP2
00000bea: JUMP
00000beb: JUMPDEST
00000bec: PUSH1 0x00
00000bee: DUP1
00000bef: PUSH1 0x00
00000bf1: PUSH2 0x0bfa
00000bf4: PUSH1 0x01
00000bf6: PUSH2 0x0d0c
00000bf9: JUMP
00000bfa: JUMPDEST
00000bfb: GT
00000bfc: PUSH2 0x0c04
00000bff: JUMPI
00000c00: PUSH1 0x00
00000c02: DUP1
00000c03: REVERT
00000c04: JUMPDEST
00000c05: CALLER
00000c06: SWAP2
00000c07: POP
00000c08: PUSH2 0x0c11
00000c0b: PUSH1 0x00
00000c0d: PUSH2 0x0d0c
00000c10: JUMP
00000c11: JUMPDEST
00000c12: PUSH1 0x01
00000c14: PUSH1 0xa0
00000c16: PUSH1 0x02
00000c18: EXP
00000c19: SUB
00000c1a: DUP4
00000c1b: AND
00000c1c: PUSH1 0x00
00000c1e: DUP2
00000c1f: DUP2
00000c20: MSTORE
00000c21: PUSH1 0x06
00000c23: PUSH1 0x20
00000c25: SWAP1
00000c26: DUP2
00000c27: MSTORE
00000c28: PUSH1 0x40
00000c2a: DUP1
00000c2b: DUP4
00000c2c: KECCAK256
00000c2d: DUP1
00000c2e: SLOAD
00000c2f: PUSH1 0x40
00000c31: PUSH1 0x02
00000c33: EXP
00000c34: DUP8
00000c35: MUL
00000c36: ADD
00000c37: SWAP1
00000c38: SSTORE
00000c39: PUSH1 0x05
00000c3b: SWAP1
00000c3c: SWAP2
00000c3d: MSTORE
00000c3e: DUP1
00000c3f: DUP3
00000c40: KECCAK256
00000c41: DUP1
00000c42: SLOAD
00000c43: SWAP3
00000c44: SWAP1
00000c45: SSTORE
00000c46: SWAP3
00000c47: ADD
00000c48: SWAP3
00000c49: POP
00000c4a: SWAP1
00000c4b: DUP3
00000c4c: ISZERO
00000c4d: PUSH2 0x08fc
00000c50: MUL
00000c51: SWAP1
00000c52: DUP4
00000c53: SWAP1
00000c54: MLOAD
00000c55: PUSH1 0x00
00000c57: PUSH1 0x40
00000c59: MLOAD
00000c5a: DUP1
00000c5b: DUP4
00000c5c: SUB
00000c5d: DUP2
00000c5e: DUP6
00000c5f: DUP9
00000c60: DUP9
00000c61: CALL
00000c62: SWAP4
00000c63: POP
00000c64: POP
00000c65: POP
00000c66: POP
00000c67: ISZERO
00000c68: ISZERO
00000c69: PUSH2 0x0c71
00000c6c: JUMPI
00000c6d: PUSH1 0x00
00000c6f: DUP1
00000c70: REVERT
00000c71: JUMPDEST
00000c72: DUP2
00000c73: PUSH1 0x01
00000c75: PUSH1 0xa0
00000c77: PUSH1 0x02
00000c79: EXP
00000c7a: SUB
00000c7b: AND
00000c7c: PUSH32 0xccad973dcd043c7d680389db4378bd6b9775db7124092e9e0422c9e46d7985dc
00000c9d: DUP3
00000c9e: PUSH1 0x40
00000ca0: MLOAD
00000ca1: SWAP1
00000ca2: DUP2
00000ca3: MSTORE
00000ca4: PUSH1 0x20
00000ca6: ADD
00000ca7: PUSH1 0x40
00000ca9: MLOAD
00000caa: DUP1
00000cab: SWAP2
00000cac: SUB
00000cad: SWAP1
00000cae: LOG2
00000caf: POP
00000cb0: POP
00000cb1: JUMP
00000cb2: JUMPDEST
00000cb3: PUSH1 0x00
00000cb5: DUP1
00000cb6: PUSH1 0x00
00000cb8: DUP1
00000cb9: PUSH1 0x08
00000cbb: SLOAD
00000cbc: PUSH1 0x00
00000cbe: EQ
00000cbf: ISZERO
00000cc0: PUSH2 0x0cd0
00000cc3: JUMPI
00000cc4: PUSH5 0x14f46b0400
00000cca: SWAP4
00000ccb: POP
00000ccc: PUSH2 0x0d00
00000ccf: JUMP
00000cd0: JUMPDEST
00000cd1: PUSH2 0x0ce1
00000cd4: PUSH8 0x0de0b6b3a7640000
00000cdd: PUSH2 0x1508
00000ce0: JUMP
00000ce1: JUMPDEST
00000ce2: SWAP3
00000ce3: POP
00000ce4: PUSH2 0x0cee
00000ce7: DUP4
00000ce8: PUSH1 0x0a
00000cea: PUSH2 0x1447
00000ced: JUMP
00000cee: JUMPDEST
00000cef: SWAP2
00000cf0: POP
00000cf1: PUSH2 0x0cfa
00000cf4: DUP4
00000cf5: DUP4
00000cf6: PUSH2 0x145e
00000cf9: JUMP
00000cfa: JUMPDEST
00000cfb: SWAP1
00000cfc: POP
00000cfd: DUP1
00000cfe: SWAP4
00000cff: POP
00000d00: JUMPDEST
00000d01: POP
00000d02: POP
00000d03: POP
00000d04: SWAP1
00000d05: JUMP
00000d06: JUMPDEST
00000d07: PUSH1 0x02
00000d09: SLOAD
00000d0a: DUP2
00000d0b: JUMP
00000d0c: JUMPDEST
00000d0d: PUSH1 0x00
00000d0f: CALLER
00000d10: DUP3
00000d11: PUSH2 0x0d22
00000d14: JUMPI
00000d15: PUSH2 0x0d1d
00000d18: DUP2
00000d19: PUSH2 0x0a84
00000d1c: JUMP
00000d1d: JUMPDEST
00000d1e: PUSH2 0x0d46
00000d21: JUMP
00000d22: JUMPDEST
00000d23: PUSH1 0x01
00000d25: PUSH1 0xa0
00000d27: PUSH1 0x02
00000d29: EXP
00000d2a: SUB
00000d2b: DUP2
00000d2c: AND
00000d2d: PUSH1 0x00
00000d2f: SWAP1
00000d30: DUP2
00000d31: MSTORE
00000d32: PUSH1 0x05
00000d34: PUSH1 0x20
00000d36: MSTORE
00000d37: PUSH1 0x40
00000d39: SWAP1
00000d3a: KECCAK256
00000d3b: SLOAD
00000d3c: PUSH2 0x0d44
00000d3f: DUP3
00000d40: PUSH2 0x0a84
00000d43: JUMP
00000d44: JUMPDEST
00000d45: ADD
00000d46: JUMPDEST
00000d47: SWAP2
00000d48: POP
00000d49: JUMPDEST
00000d4a: POP
00000d4b: SWAP2
00000d4c: SWAP1
00000d4d: POP
00000d4e: JUMP
00000d4f: JUMPDEST
00000d50: PUSH1 0x01
00000d52: PUSH1 0xa0
00000d54: PUSH1 0x02
00000d56: EXP
00000d57: SUB
00000d58: ADDRESS
00000d59: AND
00000d5a: BALANCE
00000d5b: SWAP1
00000d5c: JUMP
00000d5d: JUMPDEST
00000d5e: PUSH1 0x01
00000d60: PUSH1 0xa0
00000d62: PUSH1 0x02
00000d64: EXP
00000d65: SUB
00000d66: AND
00000d67: PUSH1 0x00
00000d69: SWAP1
00000d6a: DUP2
00000d6b: MSTORE
00000d6c: PUSH1 0x04
00000d6e: PUSH1 0x20
00000d70: MSTORE
00000d71: PUSH1 0x40
00000d73: SWAP1
00000d74: KECCAK256
00000d75: SLOAD
00000d76: SWAP1
00000d77: JUMP
00000d78: JUMPDEST
00000d79: CALLER
00000d7a: PUSH1 0x0a
00000d7c: PUSH1 0x00
00000d7e: DUP3
00000d7f: PUSH1 0x40
00000d81: MLOAD
00000d82: PUSH1 0x01
00000d84: PUSH1 0xa0
00000d86: PUSH1 0x02
00000d88: EXP
00000d89: SUB
00000d8a: SWAP2
00000d8b: SWAP1
00000d8c: SWAP2
00000d8d: AND
00000d8e: PUSH13 0x01000000000000000000000000
00000d9c: MUL
00000d9d: DUP2
00000d9e: MSTORE
00000d9f: PUSH1 0x14
00000da1: ADD
00000da2: PUSH1 0x40
00000da4: MLOAD
00000da5: SWAP1
00000da6: DUP2
00000da7: SWAP1
00000da8: SUB
00000da9: SWAP1
00000daa: KECCAK256
00000dab: DUP2
00000dac: MSTORE
00000dad: PUSH1 0x20
00000daf: DUP2
00000db0: ADD
00000db1: SWAP2
00000db2: SWAP1
00000db3: SWAP2
00000db4: MSTORE
00000db5: PUSH1 0x40
00000db7: ADD
00000db8: PUSH1 0x00
00000dba: KECCAK256
00000dbb: SLOAD
00000dbc: PUSH1 0xff
00000dbe: AND
00000dbf: ISZERO
00000dc0: ISZERO
00000dc1: PUSH2 0x0dc9
00000dc4: JUMPI
00000dc5: PUSH1 0x00
00000dc7: DUP1
00000dc8: REVERT
00000dc9: JUMPDEST
00000dca: POP
00000dcb: PUSH1 0x02
00000dcd: SSTORE
00000dce: JUMP
00000dcf: JUMPDEST
00000dd0: PUSH1 0x00
00000dd2: DUP1
00000dd3: PUSH1 0x00
00000dd5: DUP1
00000dd6: PUSH1 0x08
00000dd8: SLOAD
00000dd9: PUSH1 0x00
00000ddb: EQ
00000ddc: ISZERO
00000ddd: PUSH2 0x0ded
00000de0: JUMPI
00000de1: PUSH5 0x199c82cc00
00000de7: SWAP4
00000de8: POP
00000de9: PUSH2 0x0d00
00000dec: JUMP
00000ded: JUMPDEST
00000dee: PUSH2 0x0dfe
00000df1: PUSH8 0x0de0b6b3a7640000
00000dfa: PUSH2 0x1508
00000dfd: JUMP
00000dfe: JUMPDEST
00000dff: SWAP3
00000e00: POP
00000e01: PUSH2 0x0e0b
00000e04: DUP4
00000e05: PUSH1 0x0a
00000e07: PUSH2 0x1447
00000e0a: JUMP
00000e0b: JUMPDEST
00000e0c: SWAP2
00000e0d: POP
00000e0e: PUSH2 0x0cfa
00000e11: DUP4
00000e12: DUP4
00000e13: PUSH2 0x1431
00000e16: JUMP
00000e17: JUMPDEST
00000e18: CALLER
00000e19: PUSH1 0x0a
00000e1b: PUSH1 0x00
00000e1d: DUP3
00000e1e: PUSH1 0x40
00000e20: MLOAD
00000e21: PUSH1 0x01
00000e23: PUSH1 0xa0
00000e25: PUSH1 0x02
00000e27: EXP
00000e28: SUB
00000e29: SWAP2
00000e2a: SWAP1
00000e2b: SWAP2
00000e2c: AND
00000e2d: PUSH13 0x01000000000000000000000000
00000e3b: MUL
00000e3c: DUP2
00000e3d: MSTORE
00000e3e: PUSH1 0x14
00000e40: ADD
00000e41: PUSH1 0x40
00000e43: MLOAD
00000e44: SWAP1
00000e45: DUP2
00000e46: SWAP1
00000e47: SUB
00000e48: SWAP1
00000e49: KECCAK256
00000e4a: DUP2
00000e4b: MSTORE
00000e4c: PUSH1 0x20
00000e4e: DUP2
00000e4f: ADD
00000e50: SWAP2
00000e51: SWAP1
00000e52: SWAP2
00000e53: MSTORE
00000e54: PUSH1 0x40
00000e56: ADD
00000e57: PUSH1 0x00
00000e59: KECCAK256
00000e5a: SLOAD
00000e5b: PUSH1 0xff
00000e5d: AND
00000e5e: ISZERO
00000e5f: ISZERO
00000e60: PUSH2 0x0e68
00000e63: JUMPI
00000e64: PUSH1 0x00
00000e66: DUP1
00000e67: REVERT
00000e68: JUMPDEST
00000e69: POP
00000e6a: PUSH1 0x00
00000e6c: SWAP2
00000e6d: DUP3
00000e6e: MSTORE
00000e6f: PUSH1 0x0a
00000e71: PUSH1 0x20
00000e73: MSTORE
00000e74: PUSH1 0x40
00000e76: SWAP1
00000e77: SWAP2
00000e78: KECCAK256
00000e79: DUP1
00000e7a: SLOAD
00000e7b: PUSH1 0xff
00000e7d: NOT
00000e7e: AND
00000e7f: SWAP2
00000e80: ISZERO
00000e81: ISZERO
00000e82: SWAP2
00000e83: SWAP1
00000e84: SWAP2
00000e85: OR
00000e86: SWAP1
00000e87: SSTORE
00000e88: JUMP
00000e89: JUMPDEST
00000e8a: PUSH1 0x00
00000e8c: CALLER
00000e8d: PUSH2 0x0e95
00000e90: DUP2
00000e91: PUSH2 0x0d5d
00000e94: JUMP
00000e95: JUMPDEST
00000e96: SWAP2
00000e97: POP
00000e98: JUMPDEST
00000e99: POP
00000e9a: SWAP1
00000e9b: JUMP
00000e9c: JUMPDEST
00000e9d: PUSH1 0x01
00000e9f: DUP1
00000ea0: SLOAD
00000ea1: PUSH1 0x01
00000ea3: DUP2
00000ea4: PUSH1 0x01
00000ea6: AND
00000ea7: ISZERO
00000ea8: PUSH2 0x0100
00000eab: MUL
00000eac: SUB
00000ead: AND
00000eae: PUSH1 0x02
00000eb0: SWAP1
00000eb1: DIV
00000eb2: DUP1
00000eb3: PUSH1 0x1f
00000eb5: ADD
00000eb6: PUSH1 0x20
00000eb8: DUP1
00000eb9: SWAP2
00000eba: DIV
00000ebb: MUL
00000ebc: PUSH1 0x20
00000ebe: ADD
00000ebf: PUSH1 0x40
00000ec1: MLOAD
00000ec2: SWAP1
00000ec3: DUP2
00000ec4: ADD
00000ec5: PUSH1 0x40
00000ec7: MSTORE
00000ec8: DUP1
00000ec9: SWAP3
00000eca: SWAP2
00000ecb: SWAP1
00000ecc: DUP2
00000ecd: DUP2
00000ece: MSTORE
00000ecf: PUSH1 0x20
00000ed1: ADD
00000ed2: DUP3
00000ed3: DUP1
00000ed4: SLOAD
00000ed5: PUSH1 0x01
00000ed7: DUP2
00000ed8: PUSH1 0x01
00000eda: AND
00000edb: ISZERO
00000edc: PUSH2 0x0100
00000edf: MUL
00000ee0: SUB
00000ee1: AND
00000ee2: PUSH1 0x02
00000ee4: SWAP1
00000ee5: DIV
00000ee6: DUP1
00000ee7: ISZERO
00000ee8: PUSH2 0x0b50
00000eeb: JUMPI
00000eec: DUP1
00000eed: PUSH1 0x1f
00000eef: LT
00000ef0: PUSH2 0x0b25
00000ef3: JUMPI
00000ef4: PUSH2 0x0100
00000ef7: DUP1
00000ef8: DUP4
00000ef9: SLOAD
00000efa: DIV
00000efb: MUL
00000efc: DUP4
00000efd: MSTORE
00000efe: SWAP2
00000eff: PUSH1 0x20
00000f01: ADD
00000f02: SWAP2
00000f03: PUSH2 0x0b50
00000f06: JUMP
00000f07: JUMPDEST
00000f08: CALLER
00000f09: PUSH1 0x0a
00000f0b: PUSH1 0x00
00000f0d: DUP3
00000f0e: PUSH1 0x40
00000f10: MLOAD
00000f11: PUSH1 0x01
00000f13: PUSH1 0xa0
00000f15: PUSH1 0x02
00000f17: EXP
00000f18: SUB
00000f19: SWAP2
00000f1a: SWAP1
00000f1b: SWAP2
00000f1c: AND
00000f1d: PUSH13 0x01000000000000000000000000
00000f2b: MUL
00000f2c: DUP2
00000f2d: MSTORE
00000f2e: PUSH1 0x14
00000f30: ADD
00000f31: PUSH1 0x40
00000f33: MLOAD
00000f34: SWAP1
00000f35: DUP2
00000f36: SWAP1
00000f37: SUB
00000f38: SWAP1
00000f39: KECCAK256
00000f3a: DUP2
00000f3b: MSTORE
00000f3c: PUSH1 0x20
00000f3e: DUP2
00000f3f: ADD
00000f40: SWAP2
00000f41: SWAP1
00000f42: SWAP2
00000f43: MSTORE
00000f44: PUSH1 0x40
00000f46: ADD
00000f47: PUSH1 0x00
00000f49: KECCAK256
00000f4a: SLOAD
00000f4b: PUSH1 0xff
00000f4d: AND
00000f4e: ISZERO
00000f4f: ISZERO
00000f50: PUSH2 0x0f58
00000f53: JUMPI
00000f54: PUSH1 0x00
00000f56: DUP1
00000f57: REVERT
00000f58: JUMPDEST
00000f59: POP
00000f5a: PUSH1 0x0b
00000f5c: DUP1
00000f5d: SLOAD
00000f5e: PUSH1 0xff
00000f60: NOT
00000f61: AND
00000f62: SWAP1
00000f63: SSTORE
00000f64: JUMP
00000f65: JUMPDEST
00000f66: PUSH1 0x00
00000f68: DUP1
00000f69: PUSH1 0x00
00000f6b: DUP1
00000f6c: PUSH1 0x00
00000f6e: DUP1
00000f6f: PUSH2 0x0f76
00000f72: PUSH2 0x0e89
00000f75: JUMP
00000f76: JUMPDEST
00000f77: GT
00000f78: PUSH2 0x0f80
00000f7b: JUMPI
00000f7c: PUSH1 0x00
00000f7e: DUP1
00000f7f: REVERT
00000f80: JUMPDEST
00000f81: PUSH1 0x0b
00000f83: SLOAD
00000f84: CALLER
00000f85: SWAP5
00000f86: POP
00000f87: PUSH1 0xff
00000f89: AND
00000f8a: ISZERO
00000f8b: DUP1
00000f8c: ISZERO
00000f8d: PUSH2 0x0fae
00000f90: JUMPI
00000f91: POP
00000f92: PUSH1 0x01
00000f94: PUSH1 0xa0
00000f96: PUSH1 0x02
00000f98: EXP
00000f99: SUB
00000f9a: DUP5
00000f9b: AND
00000f9c: PUSH1 0x00
00000f9e: SWAP1
00000f9f: DUP2
00000fa0: MSTORE
00000fa1: PUSH1 0x04
00000fa3: PUSH1 0x20
00000fa5: MSTORE
00000fa6: PUSH1 0x40
00000fa8: SWAP1
00000fa9: KECCAK256
00000faa: SLOAD
00000fab: DUP7
00000fac: GT
00000fad: ISZERO
00000fae: JUMPDEST
00000faf: ISZERO
00000fb0: ISZERO
00000fb1: PUSH2 0x0fb9
00000fb4: JUMPI
00000fb5: PUSH1 0x00
00000fb7: DUP1
00000fb8: REVERT
00000fb9: JUMPDEST
00000fba: PUSH1 0x00
00000fbc: PUSH2 0x0fc5
00000fbf: PUSH1 0x01
00000fc1: PUSH2 0x0d0c
00000fc4: JUMP
00000fc5: JUMPDEST
00000fc6: GT
00000fc7: ISZERO
00000fc8: PUSH2 0x0fd3
00000fcb: JUMPI
00000fcc: PUSH2 0x0fd3
00000fcf: PUSH2 0x0beb
00000fd2: JUMP
00000fd3: JUMPDEST
00000fd4: PUSH2 0x0fde
00000fd7: DUP7
00000fd8: PUSH1 0x0a
00000fda: PUSH2 0x1447
00000fdd: JUMP
00000fde: JUMPDEST
00000fdf: SWAP3
00000fe0: POP
00000fe1: PUSH2 0x0fea
00000fe4: DUP7
00000fe5: DUP5
00000fe6: PUSH2 0x145e
00000fe9: JUMP
00000fea: JUMPDEST
00000feb: SWAP2
00000fec: POP
00000fed: PUSH2 0x0ff5
00000ff0: DUP4
00000ff1: PUSH2 0x1508
00000ff4: JUMP
00000ff5: JUMPDEST
00000ff6: SWAP1
00000ff7: POP
00000ff8: PUSH2 0x1003
00000ffb: PUSH1 0x08
00000ffd: SLOAD
00000ffe: DUP5
00000fff: PUSH2 0x145e
00001002: JUMP
00001003: JUMPDEST
00001004: PUSH1 0x08
00001006: SSTORE
00001007: PUSH1 0x01
00001009: PUSH1 0xa0
0000100b: PUSH1 0x02
0000100d: EXP
0000100e: SUB
0000100f: DUP5
00001010: AND
00001011: PUSH1 0x00
00001013: SWAP1
00001014: DUP2
00001015: MSTORE
00001016: PUSH1 0x04
00001018: PUSH1 0x20
0000101a: MSTORE
0000101b: PUSH1 0x40
0000101d: SWAP1
0000101e: KECCAK256
0000101f: SLOAD
00001020: PUSH2 0x1029
00001023: SWAP1
00001024: DUP8
00001025: PUSH2 0x145e
00001028: JUMP
00001029: JUMPDEST
0000102a: PUSH1 0x01
0000102c: PUSH1 0xa0
0000102e: PUSH1 0x02
00001030: EXP
00001031: SUB
00001032: DUP1
00001033: DUP7
00001034: AND
00001035: PUSH1 0x00
00001037: SWAP1
00001038: DUP2
00001039: MSTORE
0000103a: PUSH1 0x04
0000103c: PUSH1 0x20
0000103e: MSTORE
0000103f: PUSH1 0x40
00001041: DUP1
00001042: DUP3
00001043: KECCAK256
00001044: SWAP4
00001045: SWAP1
00001046: SWAP4
00001047: SSTORE
00001048: SWAP1
00001049: DUP10
0000104a: AND
0000104b: DUP2
0000104c: MSTORE
0000104d: KECCAK256
0000104e: SLOAD
0000104f: PUSH2 0x1058
00001052: SWAP1
00001053: DUP4
00001054: PUSH2 0x1431
00001057: JUMP
00001058: JUMPDEST
00001059: PUSH1 0x01
0000105b: PUSH1 0xa0
0000105d: PUSH1 0x02
0000105f: EXP
00001060: SUB
00001061: DUP9
00001062: DUP2
00001063: AND
00001064: PUSH1 0x00
00001066: DUP2
00001067: DUP2
00001068: MSTORE
00001069: PUSH1 0x04
0000106b: PUSH1 0x20
0000106d: SWAP1
0000106e: DUP2
0000106f: MSTORE
00001070: PUSH1 0x40
00001072: DUP1
00001073: DUP4
00001074: KECCAK256
00001075: SWAP6
00001076: SWAP1
00001077: SWAP6
00001078: SSTORE
00001079: PUSH1 0x09
0000107b: DUP1
0000107c: SLOAD
0000107d: SWAP5
0000107e: DUP11
0000107f: AND
00001080: DUP4
00001081: MSTORE
00001082: PUSH1 0x06
00001084: SWAP1
00001085: SWAP2
00001086: MSTORE
00001087: DUP5
00001088: DUP3
00001089: KECCAK256
0000108a: DUP1
0000108b: SLOAD
0000108c: SWAP5
0000108d: DUP13
0000108e: MUL
0000108f: SWAP1
00001090: SWAP5
00001091: SUB
00001092: SWAP1
00001093: SWAP4
00001094: SSTORE
00001095: DUP3
00001096: SLOAD
00001097: SWAP2
00001098: DUP2
00001099: MSTORE
0000109a: SWAP3
0000109b: SWAP1
0000109c: SWAP3
0000109d: KECCAK256
0000109e: DUP1
0000109f: SLOAD
000010a0: SWAP3
000010a1: DUP6
000010a2: MUL
000010a3: SWAP1
000010a4: SWAP3
000010a5: ADD
000010a6: SWAP1
000010a7: SWAP2
000010a8: SSTORE
000010a9: SLOAD
000010aa: PUSH1 0x08
000010ac: SLOAD
000010ad: PUSH2 0x10c7
000010b0: SWAP2
000010b1: SWAP1
000010b2: PUSH1 0x40
000010b4: PUSH1 0x02
000010b6: EXP
000010b7: DUP5
000010b8: MUL
000010b9: DUP2
000010ba: ISZERO
000010bb: ISZERO
000010bc: PUSH2 0x10c1
000010bf: JUMPI
000010c0: INVALID
000010c1: JUMPDEST
000010c2: DIV
000010c3: PUSH2 0x1431
000010c6: JUMP
000010c7: JUMPDEST
000010c8: PUSH1 0x09
000010ca: SSTORE
000010cb: PUSH1 0x01
000010cd: PUSH1 0xa0
000010cf: PUSH1 0x02
000010d1: EXP
000010d2: SUB
000010d3: DUP1
000010d4: DUP9
000010d5: AND
000010d6: SWAP1
000010d7: DUP6
000010d8: AND
000010d9: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000010fa: DUP5
000010fb: PUSH1 0x40
000010fd: MLOAD
000010fe: SWAP1
000010ff: DUP2
00001100: MSTORE
00001101: PUSH1 0x20
00001103: ADD
00001104: PUSH1 0x40
00001106: MLOAD
00001107: DUP1
00001108: SWAP2
00001109: SUB
0000110a: SWAP1
0000110b: LOG3
0000110c: POP
0000110d: PUSH1 0x01
0000110f: SWAP7
00001110: SWAP6
00001111: POP
00001112: POP
00001113: POP
00001114: POP
00001115: POP
00001116: POP
00001117: JUMP
00001118: JUMPDEST
00001119: CALLER
0000111a: PUSH1 0x0a
0000111c: PUSH1 0x00
0000111e: DUP3
0000111f: PUSH1 0x40
00001121: MLOAD
00001122: PUSH1 0x01
00001124: PUSH1 0xa0
00001126: PUSH1 0x02
00001128: EXP
00001129: SUB
0000112a: SWAP2
0000112b: SWAP1
0000112c: SWAP2
0000112d: AND
0000112e: PUSH13 0x01000000000000000000000000
0000113c: MUL
0000113d: DUP2
0000113e: MSTORE
0000113f: PUSH1 0x14
00001141: ADD
00001142: PUSH1 0x40
00001144: MLOAD
00001145: SWAP1
00001146: DUP2
00001147: SWAP1
00001148: SUB
00001149: SWAP1
0000114a: KECCAK256
0000114b: DUP2
0000114c: MSTORE
0000114d: PUSH1 0x20
0000114f: DUP2
00001150: ADD
00001151: SWAP2
00001152: SWAP1
00001153: SWAP2
00001154: MSTORE
00001155: PUSH1 0x40
00001157: ADD
00001158: PUSH1 0x00
0000115a: KECCAK256
0000115b: SLOAD
0000115c: PUSH1 0xff
0000115e: AND
0000115f: ISZERO
00001160: ISZERO
00001161: PUSH2 0x1169
00001164: JUMPI
00001165: PUSH1 0x00
00001167: DUP1
00001168: REVERT
00001169: JUMPDEST
0000116a: PUSH1 0x01
0000116c: DUP3
0000116d: DUP1
0000116e: MLOAD
0000116f: PUSH2 0x117c
00001172: SWAP3
00001173: SWAP2
00001174: PUSH1 0x20
00001176: ADD
00001177: SWAP1
00001178: PUSH2 0x15a9
0000117b: JUMP
0000117c: JUMPDEST
0000117d: POP
0000117e: POP
0000117f: POP
00001180: JUMP
00001181: JUMPDEST
00001182: CALLER
00001183: PUSH1 0x0a
00001185: PUSH1 0x00
00001187: DUP3
00001188: PUSH1 0x40
0000118a: MLOAD
0000118b: PUSH1 0x01
0000118d: PUSH1 0xa0
0000118f: PUSH1 0x02
00001191: EXP
00001192: SUB
00001193: SWAP2
00001194: SWAP1
00001195: SWAP2
00001196: AND
00001197: PUSH13 0x01000000000000000000000000
000011a5: MUL
000011a6: DUP2
000011a7: MSTORE
000011a8: PUSH1 0x14
000011aa: ADD
000011ab: PUSH1 0x40
000011ad: MLOAD
000011ae: SWAP1
000011af: DUP2
000011b0: SWAP1
000011b1: SUB
000011b2: SWAP1
000011b3: KECCAK256
000011b4: DUP2
000011b5: MSTORE
000011b6: PUSH1 0x20
000011b8: DUP2
000011b9: ADD
000011ba: SWAP2
000011bb: SWAP1
000011bc: SWAP2
000011bd: MSTORE
000011be: PUSH1 0x40
000011c0: ADD
000011c1: PUSH1 0x00
000011c3: KECCAK256
000011c4: SLOAD
000011c5: PUSH1 0xff
000011c7: AND
000011c8: ISZERO
000011c9: ISZERO
000011ca: PUSH2 0x11d2
000011cd: JUMPI
000011ce: PUSH1 0x00
000011d0: DUP1
000011d1: REVERT
000011d2: JUMPDEST
000011d3: PUSH1 0x00
000011d5: DUP3
000011d6: DUP1
000011d7: MLOAD
000011d8: PUSH2 0x117c
000011db: SWAP3
000011dc: SWAP2
000011dd: PUSH1 0x20
000011df: ADD
000011e0: SWAP1
000011e1: PUSH2 0x15a9
000011e4: JUMP
000011e5: JUMPDEST
000011e6: PUSH1 0x00
000011e8: DUP1
000011e9: PUSH1 0x00
000011eb: DUP1
000011ec: PUSH1 0x00
000011ee: DUP1
000011ef: PUSH1 0x00
000011f1: PUSH2 0x11f8
000011f4: PUSH2 0x0e89
000011f7: JUMP
000011f8: JUMPDEST
000011f9: GT
000011fa: PUSH2 0x1202
000011fd: JUMPI
000011fe: PUSH1 0x00
00001200: DUP1
00001201: REVERT
00001202: JUMPDEST
00001203: CALLER
00001204: PUSH1 0x01
00001206: PUSH1 0xa0
00001208: PUSH1 0x02
0000120a: EXP
0000120b: SUB
0000120c: DUP2
0000120d: AND
0000120e: PUSH1 0x00
00001210: SWAP1
00001211: DUP2
00001212: MSTORE
00001213: PUSH1 0x04
00001215: PUSH1 0x20
00001217: MSTORE
00001218: PUSH1 0x40
0000121a: SWAP1
0000121b: KECCAK256
0000121c: SLOAD
0000121d: SWAP1
0000121e: SWAP7
0000121f: POP
00001220: DUP8
00001221: GT
00001222: ISZERO
00001223: PUSH2 0x122b
00001226: JUMPI
00001227: PUSH1 0x00
00001229: DUP1
0000122a: REVERT
0000122b: JUMPDEST
0000122c: DUP7
0000122d: SWAP5
0000122e: POP
0000122f: PUSH2 0x1237
00001232: DUP6
00001233: PUSH2 0x1508
00001236: JUMP
00001237: JUMPDEST
00001238: SWAP4
00001239: POP
0000123a: PUSH2 0x1244
0000123d: DUP5
0000123e: PUSH1 0x0a
00001240: PUSH2 0x1447
00001243: JUMP
00001244: JUMPDEST
00001245: SWAP3
00001246: POP
00001247: PUSH2 0x1250
0000124a: DUP5
0000124b: DUP5
0000124c: PUSH2 0x145e
0000124f: JUMP
00001250: JUMPDEST
00001251: SWAP2
00001252: POP
00001253: PUSH2 0x125e
00001256: PUSH1 0x08
00001258: SLOAD
00001259: DUP7
0000125a: PUSH2 0x145e
0000125d: JUMP
0000125e: JUMPDEST
0000125f: PUSH1 0x08
00001261: SSTORE
00001262: PUSH1 0x01
00001264: PUSH1 0xa0
00001266: PUSH1 0x02
00001268: EXP
00001269: SUB
0000126a: DUP7
0000126b: AND
0000126c: PUSH1 0x00
0000126e: SWAP1
0000126f: DUP2
00001270: MSTORE
00001271: PUSH1 0x04
00001273: PUSH1 0x20
00001275: MSTORE
00001276: PUSH1 0x40
00001278: SWAP1
00001279: KECCAK256
0000127a: SLOAD
0000127b: PUSH2 0x1284
0000127e: SWAP1
0000127f: DUP7
00001280: PUSH2 0x145e
00001283: JUMP
00001284: JUMPDEST
00001285: PUSH1 0x01
00001287: PUSH1 0xa0
00001289: PUSH1 0x02
0000128b: EXP
0000128c: SUB
0000128d: DUP8
0000128e: AND
0000128f: PUSH1 0x00
00001291: SWAP1
00001292: DUP2
00001293: MSTORE
00001294: PUSH1 0x04
00001296: PUSH1 0x20
00001298: SWAP1
00001299: DUP2
0000129a: MSTORE
0000129b: PUSH1 0x40
0000129d: DUP1
0000129e: DUP4
0000129f: KECCAK256
000012a0: SWAP4
000012a1: SWAP1
000012a2: SWAP4
000012a3: SSTORE
000012a4: PUSH1 0x09
000012a6: SLOAD
000012a7: PUSH1 0x06
000012a9: SWAP1
000012aa: SWAP2
000012ab: MSTORE
000012ac: SWAP2
000012ad: DUP2
000012ae: KECCAK256
000012af: DUP1
000012b0: SLOAD
000012b1: SWAP3
000012b2: DUP9
000012b3: MUL
000012b4: PUSH1 0x40
000012b6: PUSH1 0x02
000012b8: EXP
000012b9: DUP7
000012ba: MUL
000012bb: ADD
000012bc: SWAP3
000012bd: DUP4
000012be: SWAP1
000012bf: SUB
000012c0: SWAP1
000012c1: SSTORE
000012c2: PUSH1 0x08
000012c4: SLOAD
000012c5: SWAP2
000012c6: SWAP3
000012c7: POP
000012c8: SWAP1
000012c9: GT
000012ca: ISZERO
000012cb: PUSH2 0x12eb
000012ce: JUMPI
000012cf: PUSH2 0x12e7
000012d2: PUSH1 0x09
000012d4: SLOAD
000012d5: PUSH1 0x08
000012d7: SLOAD
000012d8: PUSH1 0x40
000012da: PUSH1 0x02
000012dc: EXP
000012dd: DUP7
000012de: MUL
000012df: DUP2
000012e0: ISZERO
000012e1: ISZERO
000012e2: PUSH2 0x10c1
000012e5: JUMPI
000012e6: INVALID
000012e7: JUMPDEST
000012e8: PUSH1 0x09
000012ea: SSTORE
000012eb: JUMPDEST
000012ec: DUP6
000012ed: PUSH1 0x01
000012ef: PUSH1 0xa0
000012f1: PUSH1 0x02
000012f3: EXP
000012f4: SUB
000012f5: AND
000012f6: PUSH32 0xc4823739c5787d2ca17e404aa47d5569ae71dfb49cbf21b3f6152ed238a31139
00001317: DUP7
00001318: DUP5
00001319: PUSH1 0x40
0000131b: MLOAD
0000131c: SWAP2
0000131d: DUP3
0000131e: MSTORE
0000131f: PUSH1 0x20
00001321: DUP3
00001322: ADD
00001323: MSTORE
00001324: PUSH1 0x40
00001326: SWAP1
00001327: DUP2
00001328: ADD
00001329: SWAP1
0000132a: MLOAD
0000132b: DUP1
0000132c: SWAP2
0000132d: SUB
0000132e: SWAP1
0000132f: LOG2
00001330: POP
00001331: POP
00001332: POP
00001333: POP
00001334: POP
00001335: POP
00001336: POP
00001337: JUMP
00001338: JUMPDEST
00001339: CALLER
0000133a: PUSH1 0x01
0000133c: PUSH1 0xa0
0000133e: PUSH1 0x02
00001340: EXP
00001341: SUB
00001342: DUP2
00001343: AND
00001344: PUSH1 0x00
00001346: SWAP1
00001347: DUP2
00001348: MSTORE
00001349: PUSH1 0x04
0000134b: PUSH1 0x20
0000134d: MSTORE
0000134e: PUSH1 0x40
00001350: DUP2
00001351: KECCAK256
00001352: SLOAD
00001353: SWAP1
00001354: DUP2
00001355: GT
00001356: ISZERO
00001357: PUSH2 0x1363
0000135a: JUMPI
0000135b: PUSH2 0x1363
0000135e: DUP2
0000135f: PUSH2 0x11e5
00001362: JUMP
00001363: JUMPDEST
00001364: PUSH2 0x136b
00001367: PUSH2 0x0beb
0000136a: JUMP
0000136b: JUMPDEST
0000136c: POP
0000136d: POP
0000136e: JUMP
0000136f: JUMPDEST
00001370: PUSH1 0x00
00001372: PUSH2 0x0d49
00001375: CALLVALUE
00001376: DUP4
00001377: PUSH2 0x04e1
0000137a: JUMP
0000137b: JUMPDEST
0000137c: PUSH1 0x00
0000137e: DUP1
0000137f: PUSH1 0x00
00001381: DUP1
00001382: PUSH2 0x138b
00001385: PUSH1 0x01
00001387: PUSH2 0x0d0c
0000138a: JUMP
0000138b: JUMPDEST
0000138c: GT
0000138d: PUSH2 0x1395
00001390: JUMPI
00001391: PUSH1 0x00
00001393: DUP1
00001394: REVERT
00001395: JUMPDEST
00001396: PUSH2 0x139f
00001399: PUSH1 0x00
0000139b: PUSH2 0x0d0c
0000139e: JUMP
0000139f: JUMPDEST
000013a0: CALLER
000013a1: PUSH1 0x01
000013a3: PUSH1 0xa0
000013a5: PUSH1 0x02
000013a7: EXP
000013a8: SUB
000013a9: DUP2
000013aa: AND
000013ab: PUSH1 0x00
000013ad: SWAP1
000013ae: DUP2
000013af: MSTORE
000013b0: PUSH1 0x06
000013b2: PUSH1 0x20
000013b4: SWAP1
000013b5: DUP2
000013b6: MSTORE
000013b7: PUSH1 0x40
000013b9: DUP1
000013ba: DUP4
000013bb: KECCAK256
000013bc: DUP1
000013bd: SLOAD
000013be: PUSH1 0x40
000013c0: PUSH1 0x02
000013c2: EXP
000013c3: DUP8
000013c4: MUL
000013c5: ADD
000013c6: SWAP1
000013c7: SSTORE
000013c8: PUSH1 0x05
000013ca: SWAP1
000013cb: SWAP2
000013cc: MSTORE
000013cd: DUP2
000013ce: KECCAK256
000013cf: DUP1
000013d0: SLOAD
000013d1: SWAP1
000013d2: DUP3
000013d3: SWAP1
000013d4: SSTORE
000013d5: SWAP1
000013d6: SWAP3
000013d7: ADD
000013d8: SWAP5
000013d9: POP
000013da: SWAP3
000013db: POP
000013dc: PUSH2 0x13e6
000013df: SWAP1
000013e0: DUP5
000013e1: SWAP1
000013e2: PUSH2 0x04e1
000013e5: JUMP
000013e6: JUMPDEST
000013e7: SWAP1
000013e8: POP
000013e9: DUP2
000013ea: PUSH1 0x01
000013ec: PUSH1 0xa0
000013ee: PUSH1 0x02
000013f0: EXP
000013f1: SUB
000013f2: AND
000013f3: PUSH32 0xbe339fc14b041c2b0e0f3dd2cd325d0c3668b78378001e53160eab3615326458
00001414: DUP5
00001415: DUP4
00001416: PUSH1 0x40
00001418: MLOAD
00001419: SWAP2
0000141a: DUP3
0000141b: MSTORE
0000141c: PUSH1 0x20
0000141e: DUP3
0000141f: ADD
00001420: MSTORE
00001421: PUSH1 0x40
00001423: SWAP1
00001424: DUP2
00001425: ADD
00001426: SWAP1
00001427: MLOAD
00001428: DUP1
00001429: SWAP2
0000142a: SUB
0000142b: SWAP1
0000142c: LOG2
0000142d: POP
0000142e: POP
0000142f: POP
00001430: JUMP
00001431: JUMPDEST
00001432: PUSH1 0x00
00001434: DUP3
00001435: DUP3
00001436: ADD
00001437: DUP4
00001438: DUP2
00001439: LT
0000143a: ISZERO
0000143b: PUSH2 0x1440
0000143e: JUMPI
0000143f: INVALID
00001440: JUMPDEST
00001441: SWAP4
00001442: SWAP3
00001443: POP
00001444: POP
00001445: POP
00001446: JUMP
00001447: JUMPDEST
00001448: PUSH1 0x00
0000144a: DUP1
0000144b: DUP3
0000144c: DUP5
0000144d: DUP2
0000144e: ISZERO
0000144f: ISZERO
00001450: PUSH2 0x1455
00001453: JUMPI
00001454: INVALID
00001455: JUMPDEST
00001456: DIV
00001457: SWAP5
00001458: SWAP4
00001459: POP
0000145a: POP
0000145b: POP
0000145c: POP
0000145d: JUMP
0000145e: JUMPDEST
0000145f: PUSH1 0x00
00001461: DUP3
00001462: DUP3
00001463: GT
00001464: ISZERO
00001465: PUSH2 0x146a
00001468: JUMPI
00001469: INVALID
0000146a: JUMPDEST
0000146b: POP
0000146c: SWAP1
0000146d: SUB
0000146e: SWAP1
0000146f: JUMP
00001470: JUMPDEST
00001471: PUSH1 0x08
00001473: SLOAD
00001474: PUSH1 0x00
00001476: SWAP1
00001477: PUSH13 0x01431e0fae6d7217caa0000000
00001485: SWAP1
00001486: DUP3
00001487: SWAP1
00001488: PUSH5 0x02540be400
0000148e: PUSH2 0x14f5
00001491: PUSH2 0x14ef
00001494: PUSH20 0x0380d4bd8a8678c1bb542c80deb4800000000000
000014a9: DUP9
000014aa: MUL
000014ab: PUSH9 0x056bc75e2d63100000
000014b5: PUSH1 0x02
000014b7: DUP7
000014b8: EXP
000014b9: MUL
000014ba: ADD
000014bb: PUSH17 0x05e0a1fd2712875988becaad0000000000
000014cd: DUP6
000014ce: MUL
000014cf: ADD
000014d0: PUSH25 0x0197d4df19d605767337e9f14d3eec8920e400000000000000
000014ea: ADD
000014eb: PUSH2 0x1574
000014ee: JUMP
000014ef: JUMPDEST
000014f0: DUP6
000014f1: PUSH2 0x145e
000014f4: JUMP
000014f5: JUMPDEST
000014f6: DUP2
000014f7: ISZERO
000014f8: ISZERO
000014f9: PUSH2 0x14fe
000014fc: JUMPI
000014fd: INVALID
000014fe: JUMPDEST
000014ff: DIV
00001500: SUB
00001501: SWAP5
00001502: SWAP4
00001503: POP
00001504: POP
00001505: POP
00001506: POP
00001507: JUMP
00001508: JUMPDEST
00001509: PUSH1 0x08
0000150b: SLOAD
0000150c: PUSH1 0x00
0000150e: SWAP1
0000150f: PUSH8 0x0de0b6b3a7640000
00001518: DUP4
00001519: DUP2
0000151a: ADD
0000151b: SWAP2
0000151c: DUP2
0000151d: ADD
0000151e: SWAP1
0000151f: DUP4
00001520: SWAP1
00001521: PUSH2 0x1561
00001524: PUSH5 0x14f46b0400
0000152a: DUP3
0000152b: DUP6
0000152c: DIV
0000152d: PUSH5 0x02540be400
00001533: MUL
00001534: ADD
00001535: DUP8
00001536: MUL
00001537: PUSH1 0x02
00001539: DUP4
0000153a: PUSH8 0x0de0b6b3a763ffff
00001543: NOT
00001544: DUP3
00001545: DUP10
00001546: EXP
00001547: DUP12
00001548: SWAP1
00001549: SUB
0000154a: ADD
0000154b: DIV
0000154c: PUSH5 0x02540be400
00001552: MUL
00001553: DUP2
00001554: ISZERO
00001555: ISZERO
00001556: PUSH2 0x155b
00001559: JUMPI
0000155a: INVALID
0000155b: JUMPDEST
0000155c: DIV
0000155d: PUSH2 0x145e
00001560: JUMP
00001561: JUMPDEST
00001562: DUP2
00001563: ISZERO
00001564: ISZERO
00001565: PUSH2 0x156a
00001568: JUMPI
00001569: INVALID
0000156a: JUMPDEST
0000156b: DIV
0000156c: SWAP6
0000156d: SWAP5
0000156e: POP
0000156f: POP
00001570: POP
00001571: POP
00001572: POP
00001573: JUMP
00001574: JUMPDEST
00001575: DUP1
00001576: PUSH1 0x02
00001578: PUSH1 0x01
0000157a: DUP3
0000157b: ADD
0000157c: DIV
0000157d: JUMPDEST
0000157e: DUP2
0000157f: DUP2
00001580: LT
00001581: ISZERO
00001582: PUSH2 0x0d49
00001585: JUMPI
00001586: DUP1
00001587: SWAP2
00001588: POP
00001589: PUSH1 0x02
0000158b: DUP2
0000158c: DUP3
0000158d: DUP6
0000158e: DUP2
0000158f: ISZERO
00001590: ISZERO
00001591: PUSH2 0x1596
00001594: JUMPI
00001595: INVALID
00001596: JUMPDEST
00001597: DIV
00001598: ADD
00001599: DUP2
0000159a: ISZERO
0000159b: ISZERO
0000159c: PUSH2 0x15a1
0000159f: JUMPI
000015a0: INVALID
000015a1: JUMPDEST
000015a2: DIV
000015a3: SWAP1
000015a4: POP
000015a5: PUSH2 0x157d
000015a8: JUMP
000015a9: JUMPDEST
000015aa: DUP3
000015ab: DUP1
000015ac: SLOAD
000015ad: PUSH1 0x01
000015af: DUP2
000015b0: PUSH1 0x01
000015b2: AND
000015b3: ISZERO
000015b4: PUSH2 0x0100
000015b7: MUL
000015b8: SUB
000015b9: AND
000015ba: PUSH1 0x02
000015bc: SWAP1
000015bd: DIV
000015be: SWAP1
000015bf: PUSH1 0x00
000015c1: MSTORE
000015c2: PUSH1 0x20
000015c4: PUSH1 0x00
000015c6: KECCAK256
000015c7: SWAP1
000015c8: PUSH1 0x1f
000015ca: ADD
000015cb: PUSH1 0x20
000015cd: SWAP1
000015ce: DIV
000015cf: DUP2
000015d0: ADD
000015d1: SWAP3
000015d2: DUP3
000015d3: PUSH1 0x1f
000015d5: LT
000015d6: PUSH2 0x15ea
000015d9: JUMPI
000015da: DUP1
000015db: MLOAD
000015dc: PUSH1 0xff
000015de: NOT
000015df: AND
000015e0: DUP4
000015e1: DUP1
000015e2: ADD
000015e3: OR
000015e4: DUP6
000015e5: SSTORE
000015e6: PUSH2 0x1617
000015e9: JUMP
000015ea: JUMPDEST
000015eb: DUP3
000015ec: DUP1
000015ed: ADD
000015ee: PUSH1 0x01
000015f0: ADD
000015f1: DUP6
000015f2: SSTORE
000015f3: DUP3
000015f4: ISZERO
000015f5: PUSH2 0x1617
000015f8: JUMPI
000015f9: SWAP2
000015fa: DUP3
000015fb: ADD
000015fc: JUMPDEST
000015fd: DUP3
000015fe: DUP2
000015ff: GT
00001600: ISZERO
00001601: PUSH2 0x1617
00001604: JUMPI
00001605: DUP3
00001606: MLOAD
00001607: DUP3
00001608: SSTORE
00001609: SWAP2
0000160a: PUSH1 0x20
0000160c: ADD
0000160d: SWAP2
0000160e: SWAP1
0000160f: PUSH1 0x01
00001611: ADD
00001612: SWAP1
00001613: PUSH2 0x15fc
00001616: JUMP
00001617: JUMPDEST
00001618: POP
00001619: PUSH2 0x0e98
0000161c: SWAP3
0000161d: PUSH2 0x0b8c
00001620: SWAP3
00001621: POP
00001622: SWAP1
00001623: JUMPDEST
00001624: DUP1
00001625: DUP3
00001626: GT
00001627: ISZERO
00001628: PUSH2 0x0e98
0000162b: JUMPI
0000162c: PUSH1 0x00
0000162e: DUP2
0000162f: SSTORE
00001630: PUSH1 0x01
00001632: ADD
00001633: PUSH2 0x1623
00001636: JUMP
00001637: STOP
00001638: LOG1
00001639: PUSH6 0x627a7a723058
00001640: KECCAK256
00001641: CALLDATACOPY
00001642: SELFBALANCE
00001643: UNKNOWN(0xED)
00001644: UNKNOWN(0xD7)
00001645: PUSH24 0x47e44c6d9f171834fc4bd28e05f2993742600f3e2d223202
0000165e: REVERT
0000165f: UNKNOWN(0xAA)
00001660: SWAP13
00001661: STOP
00001662: UNKNOWN(0x29)