Analysis Run

[codex:578413] OpenAI Codex v0.77.0 (research preview)
[codex:578413] --------
[codex:578413] workdir: /tmp/codex-multi-isbl2h_q
[codex:578413] model: gpt-5.2-codex
[codex:578413] provider: openai
[codex:578413] approval: never
[codex:578413] sandbox: read-only
[codex:578413] reasoning effort: xhigh
[codex:578413] reasoning summaries: auto
[codex:578413] session id: 019b70f9-ae04-7b11-b24e-17fd88d97191
[codex:578413] --------
[codex:578413] user
[codex:578413] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:578413] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:578413] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:578413] 
[codex:578413] Scope rules:
[codex:578413] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:578413] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:578413] 
[codex:578413] Output MUST be valid JSON matching the provided schema.
[codex:578413] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:578413] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:578413] 
[codex:578413] Output constraints (IMPORTANT):
[codex:578413] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:578413] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:578413] mcp startup: no servers
[codex:578413] 
[codex:578413] thinking
[codex:578413] **Reading AUDIT_BUNDLE file**
[codex:578413] exec
[codex:578413] /bin/bash -lc ls in /tmp/codex-multi-isbl2h_q succeeded in 5ms:
[codex:578413] AUDIT_BUNDLE.txt
[codex:578413] codex-output-schema.json
[codex:578413] contracts
[codex:578413] exec
[codex:578413] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-isbl2h_q succeeded in 6ms:
[codex:578413] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:578413] 
[codex:578413] ================================================================================
[codex:578413] FILE: contracts/Contract.sol
[codex:578413] ================================================================================
[codex:578413] // Sources flattened with hardhat v2.2.1 https://hardhat.org
[codex:578413] 
[codex:578413] // File @openzeppelin/contracts/utils/Address.sol@v3.3.0
[codex:578413] 
[codex:578413] // SPDX-License-Identifier: MIT
[codex:578413] 
[codex:578413] pragma solidity >=0.6.2 <0.8.0;
[codex:578413] 
[codex:578413] /**
[codex:578413]  * @dev Collection of functions related to the address type
[codex:578413]  */
[codex:578413] library Address {
[codex:578413]     /**
[codex:578413]      * @dev Returns true if `account` is a contract.
[codex:578413]      *
[codex:578413] 
[codex:578413] thinking
[codex:578413] **Searching contract definitions in large file**
[codex:578413] exec
[codex:578413] /bin/bash -lc 'rg -n "''^contract |''^abstract contract |''^interface " AUDIT_BUNDLE.txt' in /tmp/codex-multi-isbl2h_q succeeded in 6ms:
[codex:578413] 191:abstract contract Context {
[codex:578413] 210:interface IERC20 {
[codex:578413] 473:contract ERC20 is Context, IERC20 {
[codex:578413] 1075:interface IController {
[codex:578413] 1112:interface IModule {
[codex:578413] 1146:interface ISetToken is IERC20 {
[codex:578413] 1969:contract SetToken is ERC20 {
[codex:578413] 
[codex:578413] thinking
[codex:578413] **Investigating SetToken contract for vulnerabilities**
[codex:578413] exec
[codex:578413] /bin/bash -lc "sed -n '1900,2600p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-isbl2h_q succeeded in 5ms:
[codex:578413]      *
[codex:578413]      * @param A         Array of addresses
[codex:578413]      * @param B         Array of addresses
[codex:578413]      */
[codex:578413]     function validatePairsWithArray(address[] memory A, address[] memory B) internal pure {
[codex:578413]         require(A.length == B.length, "Array length mismatch");
[codex:578413]         _validateLengthAndUniqueness(A);
[codex:578413]     }
[codex:578413] 
[codex:578413]     /**
[codex:578413]      * Validate that address and bytes array lengths match. Validate address array is not empty
[codex:578413]      * and contains no duplicate elements.
[codex:578413]      *
[codex:578413]      * @param A         Array of addresses
[codex:578413]      * @param B         Array of bytes
[codex:578413]      */
[codex:578413]     function validatePairsWithArray(address[] memory A, bytes[] memory B) internal pure {
[codex:578413]         require(A.length == B.length, "Array length mismatch");
[codex:578413]         _validateLengthAndUniqueness(A);
[codex:578413]     }
[codex:578413] exec
[codex:578413] /bin/bash -lc "sed -n '2600,2750p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-isbl2h_q succeeded in 6ms:
[codex:578413]         require(
[codex:578413]             controller.isModule(msg.sender),
[codex:578413]             "Module must be enabled on controller"
[codex:578413]         );
[codex:578413]     }
[codex:578413] 
[codex:578413]     function _validateOnlyManager() internal view {
[codex:578413]         require(msg.sender == manager, "Only manager can call");
[codex:578413]     }
[codex:578413] 
[codex:578413]     function _validateWhenLockedOnlyLocker() internal view {
[codex:578413]         if (isLocked) {
[codex:578413]             require(msg.sender == locker, "When locked, only the locker can call");
[codex:578413]         }
[codex:578413]     }
[codex:578413] }
[codex:578413] 
[codex:578413] 
[codex:578413] thinking
[codex:578413] **Analyzing SetToken for vulnerabilities**
[codex:578413] exec
[codex:578413] /bin/bash -lc 'rg -n "''^// File " AUDIT_BUNDLE.txt' in /tmp/codex-multi-isbl2h_q succeeded in 6ms:
[codex:578413] 8:// File @openzeppelin/contracts/utils/Address.sol@v3.3.0
[codex:578413] 177:// File @openzeppelin/contracts/GSN/Context.sol@v3.3.0
[codex:578413] 203:// File @openzeppelin/contracts/token/ERC20/IERC20.sol@v3.3.0
[codex:578413] 282:// File @openzeppelin/contracts/math/SafeMath.sol@v3.3.0
[codex:578413] 443:// File @openzeppelin/contracts/token/ERC20/ERC20.sol@v3.3.0
[codex:578413] 749:// File @openzeppelin/contracts/utils/SafeCast.sol@v3.3.0
[codex:578413] 962:// File @openzeppelin/contracts/math/SignedSafeMath.sol@v3.3.0
[codex:578413] 1056:// File contracts/interfaces/IController.sol
[codex:578413] 1086:// File contracts/interfaces/IModule.sol
[codex:578413] 1121:// File contracts/interfaces/ISetToken.sol
[codex:578413] 1254:// File contracts/lib/PreciseUnitMath.sol
[codex:578413] 1451:// File contracts/protocol/lib/Position.sol
[codex:578413] 1706:// File contracts/lib/AddressArrayUtils.sol
[codex:578413] 1933:// File contracts/protocol/SetToken.sol
[codex:578413] 
[codex:578413] thinking
[codex:578413] **Examining key contracts libraries**
[codex:578413] exec
[codex:578413] /bin/bash -lc "sed -n '1200,1900p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-isbl2h_q succeeded in 5ms:
[codex:578413]     struct ExternalPosition {
[codex:578413]       int256 virtualUnit;
[codex:578413]       bytes data;
[codex:578413]     }
[codex:578413] 
[codex:578413] 
[codex:578413]     /* ============ Functions ============ */
[codex:578413]     
[codex:578413]     function addComponent(address _component) external;
[codex:578413]     function removeComponent(address _component) external;
[codex:578413]     function editDefaultPositionUnit(address _component, int256 _realUnit) external;
[codex:578413]     function addExternalPositionModule(address _component, address _positionModule) external;
[codex:578413]     function removeExternalPositionModule(address _component, address _positionModule) external;
[codex:578413]     function editExternalPositionUnit(address _component, address _positionModule, int256 _realUnit) external;
[codex:578413]     function editExternalPositionData(address _component, address _positionModule, bytes calldata _data) external;
[codex:578413] 
[codex:578413]     function invoke(address _target, uint256 _value, bytes calldata _data) external returns(bytes memory);
[codex:578413] 
[codex:578413]     function editPositionMultiplier(int256 _newMultiplier) external;
[codex:578413] 
[codex:578413] 
[codex:578413] thinking
[codex:578413] **Analyzing potential vulnerabilities and attack vectors**
[codex:578413] 
[codex:578413] I’m carefully reviewing arithmetic operations, array handling, and access control patterns for overflow, reentrancy, and unsafe calls. The SignedSafeMath and conservative division methods mostly revert on overflow, preventing exploitable conditions. Some edge cases could cause reverts (like MIN_INT_256 negation), but these likely rely on trust assumptions with privileged modules. External call patterns and state updates look safe under module restrictions. There are no delegatecall or unchecked return issues found, and no signature or oracle concerns. Some initialization and constructor assumptions depend on external validations but aren’t direct vulnerabilities. Overall, I find no exploitable issues but note residual risk from module trust and external dependencies.
[codex:578413] codex
[codex:578413] {"no_findings":true,"summary":"No exploitable vulnerabilities found in the first-party SetToken contract and libraries. Residual risk: security depends on trusted manager/controller/module configuration and behavior of third-party dependencies (e.g., modules and external tokens), which are out of scope here.","findings":[]}
[codex:578413] tokens used
[codex:578413] 33,466
[codex:578413] {"no_findings":true,"summary":"No exploitable vulnerabilities found in the first-party SetToken contract and libraries. Residual risk: security depends on trusted manager/controller/module configuration and behavior of third-party dependencies (e.g., modules and external tokens), which are out of scope here.","findings":[]}

{
    "codex": {
        "ran_at": "2025-12-30T20:38:13.584819+00:00",
        "returncode": 0
    },
    "summary": "No exploitable vulnerabilities found in the first-party SetToken contract and libraries. Residual risk: security depends on trusted manager/controller/module configuration and behavior of third-party dependencies (e.g., modules and external tokens), which are out of scope here.",
    "raw_final": {
        "summary": "No exploitable vulnerabilities found in the first-party SetToken contract and libraries. Residual risk: security depends on trusted manager/controller/module configuration and behavior of third-party dependencies (e.g., modules and external tokens), which are out of scope here.",
        "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 0x02b2
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x8ae458da
00000019: GT
0000001a: PUSH2 0x0175
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xb2494df3
00000024: GT
00000025: PUSH2 0x00dc
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xd7f1b27c
0000002f: GT
00000030: PUSH2 0x0095
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xea0ee559
0000003a: GT
0000003b: PUSH2 0x006f
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xea0ee559
00000045: EQ
00000046: PUSH2 0x0842
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xeaf993e1
00000050: EQ
00000051: PUSH2 0x0862
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf77c4791
0000005b: EQ
0000005c: PUSH2 0x0882
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xf83d08ba
00000066: EQ
00000067: PUSH2 0x0897
0000006a: JUMPI
0000006b: PUSH2 0x02b9
0000006e: JUMP
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0xd7f1b27c
00000076: EQ
00000077: PUSH2 0x07e2
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xdd62ed3e
00000081: EQ
00000082: PUSH2 0x0802
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xdf5e9b29
0000008c: EQ
0000008d: PUSH2 0x0822
00000090: JUMPI
00000091: PUSH2 0x02b9
00000094: JUMP
00000095: JUMPDEST
00000096: DUP1
00000097: PUSH4 0xb2494df3
0000009c: EQ
0000009d: PUSH2 0x0738
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xc2de0e9d
000000a7: EQ
000000a8: PUSH2 0x074d
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0xc5d574fe
000000b2: EQ
000000b3: PUSH2 0x076d
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0xc7564017
000000bd: EQ
000000be: PUSH2 0x078d
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xd0ebdbe7
000000c8: EQ
000000c9: PUSH2 0x07ad
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0xd7b96d4e
000000d3: EQ
000000d4: PUSH2 0x07cd
000000d7: JUMPI
000000d8: PUSH2 0x02b9
000000db: JUMP
000000dc: JUMPDEST
000000dd: DUP1
000000de: PUSH4 0xa457c2d7
000000e3: GT
000000e4: PUSH2 0x012e
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0xa457c2d7
000000ee: EQ
000000ef: PUSH2 0x068e
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0xa4e2d634
000000f9: EQ
000000fa: PUSH2 0x06ae
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0xa69df4b5
00000104: EQ
00000105: PUSH2 0x06c3
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0xa7bdad03
0000010f: EQ
00000110: PUSH2 0x06d8
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0xa9059cbb
0000011a: EQ
0000011b: PUSH2 0x06f8
0000011e: JUMPI
0000011f: DUP1
00000120: PUSH4 0xacf3f077
00000125: EQ
00000126: PUSH2 0x0718
00000129: JUMPI
0000012a: PUSH2 0x02b9
0000012d: JUMP
0000012e: JUMPDEST
0000012f: DUP1
00000130: PUSH4 0x8ae458da
00000135: EQ
00000136: PUSH2 0x05d7
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0x8f6f0332
00000140: EQ
00000141: PUSH2 0x05f7
00000144: JUMPI
00000145: DUP1
00000146: PUSH4 0x95d89b41
0000014b: EQ
0000014c: PUSH2 0x0617
0000014f: JUMPI
00000150: DUP1
00000151: PUSH4 0x99d50d5d
00000156: EQ
00000157: PUSH2 0x062c
0000015a: JUMPI
0000015b: DUP1
0000015c: PUSH4 0x9dc29fac
00000161: EQ
00000162: PUSH2 0x064e
00000165: JUMPI
00000166: DUP1
00000167: PUSH4 0xa0632461
0000016c: EQ
0000016d: PUSH2 0x066e
00000170: JUMPI
00000171: PUSH2 0x02b9
00000174: JUMP
00000175: JUMPDEST
00000176: DUP1
00000177: PUSH4 0x40c10f19
0000017c: GT
0000017d: PUSH2 0x0219
00000180: JUMPI
00000181: DUP1
00000182: PUSH4 0x66cb8d2f
00000187: GT
00000188: PUSH2 0x01d2
0000018b: JUMPI
0000018c: DUP1
0000018d: PUSH4 0x66cb8d2f
00000192: EQ
00000193: PUSH2 0x0515
00000196: JUMPI
00000197: DUP1
00000198: PUSH4 0x6f86c897
0000019d: EQ
0000019e: PUSH2 0x0535
000001a1: JUMPI
000001a2: DUP1
000001a3: PUSH4 0x70a08231
000001a8: EQ
000001a9: PUSH2 0x0555
000001ac: JUMPI
000001ad: DUP1
000001ae: PUSH4 0x7d966593
000001b3: EQ
000001b4: PUSH2 0x0575
000001b7: JUMPI
000001b8: DUP1
000001b9: PUSH4 0x80275860
000001be: EQ
000001bf: PUSH2 0x0595
000001c2: JUMPI
000001c3: DUP1
000001c4: PUSH4 0x81b2248a
000001c9: EQ
000001ca: PUSH2 0x05b7
000001cd: JUMPI
000001ce: PUSH2 0x02b9
000001d1: JUMP
000001d2: JUMPDEST
000001d3: DUP1
000001d4: PUSH4 0x40c10f19
000001d9: EQ
000001da: PUSH2 0x045e
000001dd: JUMPI
000001de: DUP1
000001df: PUSH4 0x481c6a75
000001e4: EQ
000001e5: PUSH2 0x047e
000001e8: JUMPI
000001e9: DUP1
000001ea: PUSH4 0x4e353270
000001ef: EQ
000001f0: PUSH2 0x04a0
000001f3: JUMPI
000001f4: DUP1
000001f5: PUSH4 0x5230c396
000001fa: EQ
000001fb: PUSH2 0x04c0
000001fe: JUMPI
000001ff: DUP1
00000200: PUSH4 0x53bae5f7
00000205: EQ
00000206: PUSH2 0x04d5
00000209: JUMPI
0000020a: DUP1
0000020b: PUSH4 0x63a90fc1
00000210: EQ
00000211: PUSH2 0x04f5
00000214: JUMPI
00000215: PUSH2 0x02b9
00000218: JUMP
00000219: JUMPDEST
0000021a: DUP1
0000021b: PUSH4 0x23b872dd
00000220: GT
00000221: PUSH2 0x026b
00000224: JUMPI
00000225: DUP1
00000226: PUSH4 0x23b872dd
0000022b: EQ
0000022c: PUSH2 0x038f
0000022f: JUMPI
00000230: DUP1
00000231: PUSH4 0x26898fe1
00000236: EQ
00000237: PUSH2 0x03af
0000023a: JUMPI
0000023b: DUP1
0000023c: PUSH4 0x2ba57d17
00000241: EQ
00000242: PUSH2 0x03cf
00000245: JUMPI
00000246: DUP1
00000247: PUSH4 0x313ce567
0000024c: EQ
0000024d: PUSH2 0x03ef
00000250: JUMPI
00000251: DUP1
00000252: PUSH4 0x35bc4e52
00000257: EQ
00000258: PUSH2 0x0411
0000025b: JUMPI
0000025c: DUP1
0000025d: PUSH4 0x39509351
00000262: EQ
00000263: PUSH2 0x043e
00000266: JUMPI
00000267: PUSH2 0x02b9
0000026a: JUMP
0000026b: JUMPDEST
0000026c: DUP1
0000026d: PUSH4 0x06fdde03
00000272: EQ
00000273: PUSH2 0x02be
00000276: JUMPI
00000277: DUP1
00000278: PUSH4 0x095ea7b3
0000027d: EQ
0000027e: PUSH2 0x02e9
00000281: JUMPI
00000282: DUP1
00000283: PUSH4 0x0ffe0f1e
00000288: EQ
00000289: PUSH2 0x0316
0000028c: JUMPI
0000028d: DUP1
0000028e: PUSH4 0x18160ddd
00000293: EQ
00000294: PUSH2 0x032d
00000297: JUMPI
00000298: DUP1
00000299: PUSH4 0x1ed86f19
0000029e: EQ
0000029f: PUSH2 0x034f
000002a2: JUMPI
000002a3: DUP1
000002a4: PUSH4 0x22ebeba4
000002a9: EQ
000002aa: PUSH2 0x036f
000002ad: JUMPI
000002ae: PUSH2 0x02b9
000002b1: JUMP
000002b2: JUMPDEST
000002b3: CALLDATASIZE
000002b4: PUSH2 0x02b9
000002b7: JUMPI
000002b8: STOP
000002b9: JUMPDEST
000002ba: PUSH1 0x00
000002bc: DUP1
000002bd: REVERT
000002be: JUMPDEST
000002bf: CALLVALUE
000002c0: DUP1
000002c1: ISZERO
000002c2: PUSH2 0x02ca
000002c5: JUMPI
000002c6: PUSH1 0x00
000002c8: DUP1
000002c9: REVERT
000002ca: JUMPDEST
000002cb: POP
000002cc: PUSH2 0x02d3
000002cf: PUSH2 0x08ac
000002d2: JUMP
000002d3: JUMPDEST
000002d4: PUSH1 0x40
000002d6: MLOAD
000002d7: PUSH2 0x02e0
000002da: SWAP2
000002db: SWAP1
000002dc: PUSH2 0x2de8
000002df: JUMP
000002e0: JUMPDEST
000002e1: PUSH1 0x40
000002e3: MLOAD
000002e4: DUP1
000002e5: SWAP2
000002e6: SUB
000002e7: SWAP1
000002e8: RETURN
000002e9: JUMPDEST
000002ea: CALLVALUE
000002eb: DUP1
000002ec: ISZERO
000002ed: PUSH2 0x02f5
000002f0: JUMPI
000002f1: PUSH1 0x00
000002f3: DUP1
000002f4: REVERT
000002f5: JUMPDEST
000002f6: POP
000002f7: PUSH2 0x0309
000002fa: PUSH2 0x0304
000002fd: CALLDATASIZE
000002fe: PUSH1 0x04
00000300: PUSH2 0x2b64
00000303: JUMP
00000304: JUMPDEST
00000305: PUSH2 0x0943
00000308: JUMP
00000309: JUMPDEST
0000030a: PUSH1 0x40
0000030c: MLOAD
0000030d: PUSH2 0x02e0
00000310: SWAP2
00000311: SWAP1
00000312: PUSH2 0x2d99
00000315: JUMP
00000316: JUMPDEST
00000317: CALLVALUE
00000318: DUP1
00000319: ISZERO
0000031a: PUSH2 0x0322
0000031d: JUMPI
0000031e: PUSH1 0x00
00000320: DUP1
00000321: REVERT
00000322: JUMPDEST
00000323: POP
00000324: PUSH2 0x032b
00000327: PUSH2 0x0961
0000032a: JUMP
0000032b: JUMPDEST
0000032c: STOP
0000032d: JUMPDEST
0000032e: CALLVALUE
0000032f: DUP1
00000330: ISZERO
00000331: PUSH2 0x0339
00000334: JUMPI
00000335: PUSH1 0x00
00000337: DUP1
00000338: REVERT
00000339: JUMPDEST
0000033a: POP
0000033b: PUSH2 0x0342
0000033e: PUSH2 0x0a4b
00000341: JUMP
00000342: JUMPDEST
00000343: PUSH1 0x40
00000345: MLOAD
00000346: PUSH2 0x02e0
00000349: SWAP2
0000034a: SWAP1
0000034b: PUSH2 0x2e0f
0000034e: JUMP
0000034f: JUMPDEST
00000350: CALLVALUE
00000351: DUP1
00000352: ISZERO
00000353: PUSH2 0x035b
00000356: JUMPI
00000357: PUSH1 0x00
00000359: DUP1
0000035a: REVERT
0000035b: JUMPDEST
0000035c: POP
0000035d: PUSH2 0x032b
00000360: PUSH2 0x036a
00000363: CALLDATASIZE
00000364: PUSH1 0x04
00000366: PUSH2 0x2a35
00000369: JUMP
0000036a: JUMPDEST
0000036b: PUSH2 0x0a51
0000036e: JUMP
0000036f: JUMPDEST
00000370: CALLVALUE
00000371: DUP1
00000372: ISZERO
00000373: PUSH2 0x037b
00000376: JUMPI
00000377: PUSH1 0x00
00000379: DUP1
0000037a: REVERT
0000037b: JUMPDEST
0000037c: POP
0000037d: PUSH2 0x0342
00000380: PUSH2 0x038a
00000383: CALLDATASIZE
00000384: PUSH1 0x04
00000386: PUSH2 0x2a50
00000389: JUMP
0000038a: JUMPDEST
0000038b: PUSH2 0x0b89
0000038e: JUMP
0000038f: JUMPDEST
00000390: CALLVALUE
00000391: DUP1
00000392: ISZERO
00000393: PUSH2 0x039b
00000396: JUMPI
00000397: PUSH1 0x00
00000399: DUP1
0000039a: REVERT
0000039b: JUMPDEST
0000039c: POP
0000039d: PUSH2 0x0309
000003a0: PUSH2 0x03aa
000003a3: CALLDATASIZE
000003a4: PUSH1 0x04
000003a6: PUSH2 0x2b24
000003a9: JUMP
000003aa: JUMPDEST
000003ab: PUSH2 0x0ba4
000003ae: JUMP
000003af: JUMPDEST
000003b0: CALLVALUE
000003b1: DUP1
000003b2: ISZERO
000003b3: PUSH2 0x03bb
000003b6: JUMPI
000003b7: PUSH1 0x00
000003b9: DUP1
000003ba: REVERT
000003bb: JUMPDEST
000003bc: POP
000003bd: PUSH2 0x032b
000003c0: PUSH2 0x03ca
000003c3: CALLDATASIZE
000003c4: PUSH1 0x04
000003c6: PUSH2 0x2a84
000003c9: JUMP
000003ca: JUMPDEST
000003cb: PUSH2 0x0c31
000003ce: JUMP
000003cf: JUMPDEST
000003d0: CALLVALUE
000003d1: DUP1
000003d2: ISZERO
000003d3: PUSH2 0x03db
000003d6: JUMPI
000003d7: PUSH1 0x00
000003d9: DUP1
000003da: REVERT
000003db: JUMPDEST
000003dc: POP
000003dd: PUSH2 0x032b
000003e0: PUSH2 0x03ea
000003e3: CALLDATASIZE
000003e4: PUSH1 0x04
000003e6: PUSH2 0x2b64
000003e9: JUMP
000003ea: JUMPDEST
000003eb: PUSH2 0x0ccc
000003ee: JUMP
000003ef: JUMPDEST
000003f0: CALLVALUE
000003f1: DUP1
000003f2: ISZERO
000003f3: PUSH2 0x03fb
000003f6: JUMPI
000003f7: PUSH1 0x00
000003f9: DUP1
000003fa: REVERT
000003fb: JUMPDEST
000003fc: POP
000003fd: PUSH2 0x0404
00000400: PUSH2 0x0d43
00000403: JUMP
00000404: JUMPDEST
00000405: PUSH1 0x40
00000407: MLOAD
00000408: PUSH2 0x02e0
0000040b: SWAP2
0000040c: SWAP1
0000040d: PUSH2 0x35d2
00000410: JUMP
00000411: JUMPDEST
00000412: CALLVALUE
00000413: DUP1
00000414: ISZERO
00000415: PUSH2 0x041d
00000418: JUMPI
00000419: PUSH1 0x00
0000041b: DUP1
0000041c: REVERT
0000041d: JUMPDEST
0000041e: POP
0000041f: PUSH2 0x0431
00000422: PUSH2 0x042c
00000425: CALLDATASIZE
00000426: PUSH1 0x04
00000428: PUSH2 0x2a35
0000042b: JUMP
0000042c: JUMPDEST
0000042d: PUSH2 0x0d4c
00000430: JUMP
00000431: JUMPDEST
00000432: PUSH1 0x40
00000434: MLOAD
00000435: PUSH2 0x02e0
00000438: SWAP2
00000439: SWAP1
0000043a: PUSH2 0x2dfb
0000043d: JUMP
0000043e: JUMPDEST
0000043f: CALLVALUE
00000440: DUP1
00000441: ISZERO
00000442: PUSH2 0x044a
00000445: JUMPI
00000446: PUSH1 0x00
00000448: DUP1
00000449: REVERT
0000044a: JUMPDEST
0000044b: POP
0000044c: PUSH2 0x0309
0000044f: PUSH2 0x0459
00000452: CALLDATASIZE
00000453: PUSH1 0x04
00000455: PUSH2 0x2b64
00000458: JUMP
00000459: JUMPDEST
0000045a: PUSH2 0x0d61
0000045d: JUMP
0000045e: JUMPDEST
0000045f: CALLVALUE
00000460: DUP1
00000461: ISZERO
00000462: PUSH2 0x046a
00000465: JUMPI
00000466: PUSH1 0x00
00000468: DUP1
00000469: REVERT
0000046a: JUMPDEST
0000046b: POP
0000046c: PUSH2 0x032b
0000046f: PUSH2 0x0479
00000472: CALLDATASIZE
00000473: PUSH1 0x04
00000475: PUSH2 0x2b64
00000478: JUMP
00000479: JUMPDEST
0000047a: PUSH2 0x0db5
0000047d: JUMP
0000047e: JUMPDEST
0000047f: CALLVALUE
00000480: DUP1
00000481: ISZERO
00000482: PUSH2 0x048a
00000485: JUMPI
00000486: PUSH1 0x00
00000488: DUP1
00000489: REVERT
0000048a: JUMPDEST
0000048b: POP
0000048c: PUSH2 0x0493
0000048f: PUSH2 0x0dd3
00000492: JUMP
00000493: JUMPDEST
00000494: PUSH1 0x40
00000496: MLOAD
00000497: PUSH2 0x02e0
0000049a: SWAP2
0000049b: SWAP1
0000049c: PUSH2 0x2c7a
0000049f: JUMP
000004a0: JUMPDEST
000004a1: CALLVALUE
000004a2: DUP1
000004a3: ISZERO
000004a4: PUSH2 0x04ac
000004a7: JUMPI
000004a8: PUSH1 0x00
000004aa: DUP1
000004ab: REVERT
000004ac: JUMPDEST
000004ad: POP
000004ae: PUSH2 0x032b
000004b1: PUSH2 0x04bb
000004b4: CALLDATASIZE
000004b5: PUSH1 0x04
000004b7: PUSH2 0x2a35
000004ba: JUMP
000004bb: JUMPDEST
000004bc: PUSH2 0x0de2
000004bf: JUMP
000004c0: JUMPDEST
000004c1: CALLVALUE
000004c2: DUP1
000004c3: ISZERO
000004c4: PUSH2 0x04cc
000004c7: JUMPI
000004c8: PUSH1 0x00
000004ca: DUP1
000004cb: REVERT
000004cc: JUMPDEST
000004cd: POP
000004ce: PUSH2 0x0342
000004d1: PUSH2 0x0e90
000004d4: JUMP
000004d5: JUMPDEST
000004d6: CALLVALUE
000004d7: DUP1
000004d8: ISZERO
000004d9: PUSH2 0x04e1
000004dc: JUMPI
000004dd: PUSH1 0x00
000004df: DUP1
000004e0: REVERT
000004e1: JUMPDEST
000004e2: POP
000004e3: PUSH2 0x0309
000004e6: PUSH2 0x04f0
000004e9: CALLDATASIZE
000004ea: PUSH1 0x04
000004ec: PUSH2 0x2a35
000004ef: JUMP
000004f0: JUMPDEST
000004f1: PUSH2 0x0e96
000004f4: JUMP
000004f5: JUMPDEST
000004f6: CALLVALUE
000004f7: DUP1
000004f8: ISZERO
000004f9: PUSH2 0x0501
000004fc: JUMPI
000004fd: PUSH1 0x00
000004ff: DUP1
00000500: REVERT
00000501: JUMPDEST
00000502: POP
00000503: PUSH2 0x032b
00000506: PUSH2 0x0510
00000509: CALLDATASIZE
0000050a: PUSH1 0x04
0000050c: PUSH2 0x2ae7
0000050f: JUMP
00000510: JUMPDEST
00000511: PUSH2 0x0ec9
00000514: JUMP
00000515: JUMPDEST
00000516: CALLVALUE
00000517: DUP1
00000518: ISZERO
00000519: PUSH2 0x0521
0000051c: JUMPI
0000051d: PUSH1 0x00
0000051f: DUP1
00000520: REVERT
00000521: JUMPDEST
00000522: POP
00000523: PUSH2 0x0342
00000526: PUSH2 0x0530
00000529: CALLDATASIZE
0000052a: PUSH1 0x04
0000052c: PUSH2 0x2a35
0000052f: JUMP
00000530: JUMPDEST
00000531: PUSH2 0x0f48
00000534: JUMP
00000535: JUMPDEST
00000536: CALLVALUE
00000537: DUP1
00000538: ISZERO
00000539: PUSH2 0x0541
0000053c: JUMPI
0000053d: PUSH1 0x00
0000053f: DUP1
00000540: REVERT
00000541: JUMPDEST
00000542: POP
00000543: PUSH2 0x032b
00000546: PUSH2 0x0550
00000549: CALLDATASIZE
0000054a: PUSH1 0x04
0000054c: PUSH2 0x2a35
0000054f: JUMP
00000550: JUMPDEST
00000551: PUSH2 0x0f56
00000554: JUMP
00000555: JUMPDEST
00000556: CALLVALUE
00000557: DUP1
00000558: ISZERO
00000559: PUSH2 0x0561
0000055c: JUMPI
0000055d: PUSH1 0x00
0000055f: DUP1
00000560: REVERT
00000561: JUMPDEST
00000562: POP
00000563: PUSH2 0x0342
00000566: PUSH2 0x0570
00000569: CALLDATASIZE
0000056a: PUSH1 0x04
0000056c: PUSH2 0x2a35
0000056f: JUMP
00000570: JUMPDEST
00000571: PUSH2 0x0fae
00000574: JUMP
00000575: JUMPDEST
00000576: CALLVALUE
00000577: DUP1
00000578: ISZERO
00000579: PUSH2 0x0581
0000057c: JUMPI
0000057d: PUSH1 0x00
0000057f: DUP1
00000580: REVERT
00000581: JUMPDEST
00000582: POP
00000583: PUSH2 0x0309
00000586: PUSH2 0x0590
00000589: CALLDATASIZE
0000058a: PUSH1 0x04
0000058c: PUSH2 0x2a50
0000058f: JUMP
00000590: JUMPDEST
00000591: PUSH2 0x0fc9
00000594: JUMP
00000595: JUMPDEST
00000596: CALLVALUE
00000597: DUP1
00000598: ISZERO
00000599: PUSH2 0x05a1
0000059c: JUMPI
0000059d: PUSH1 0x00
0000059f: DUP1
000005a0: REVERT
000005a1: JUMPDEST
000005a2: POP
000005a3: PUSH2 0x05aa
000005a6: PUSH2 0x0fe4
000005a9: JUMP
000005aa: JUMPDEST
000005ab: PUSH1 0x40
000005ad: MLOAD
000005ae: PUSH2 0x02e0
000005b1: SWAP2
000005b2: SWAP1
000005b3: PUSH2 0x2cf5
000005b6: JUMP
000005b7: JUMPDEST
000005b8: CALLVALUE
000005b9: DUP1
000005ba: ISZERO
000005bb: PUSH2 0x05c3
000005be: JUMPI
000005bf: PUSH1 0x00
000005c1: DUP1
000005c2: REVERT
000005c3: JUMPDEST
000005c4: POP
000005c5: PUSH2 0x0493
000005c8: PUSH2 0x05d2
000005cb: CALLDATASIZE
000005cc: PUSH1 0x04
000005ce: PUSH2 0x2bf0
000005d1: JUMP
000005d2: JUMPDEST
000005d3: PUSH2 0x11a1
000005d6: JUMP
000005d7: JUMPDEST
000005d8: CALLVALUE
000005d9: DUP1
000005da: ISZERO
000005db: PUSH2 0x05e3
000005de: JUMPI
000005df: PUSH1 0x00
000005e1: DUP1
000005e2: REVERT
000005e3: JUMPDEST
000005e4: POP
000005e5: PUSH2 0x02d3
000005e8: PUSH2 0x05f2
000005eb: CALLDATASIZE
000005ec: PUSH1 0x04
000005ee: PUSH2 0x2a50
000005f1: JUMP
000005f2: JUMPDEST
000005f3: PUSH2 0x11c8
000005f6: JUMP
000005f7: JUMPDEST
000005f8: CALLVALUE
000005f9: DUP1
000005fa: ISZERO
000005fb: PUSH2 0x0603
000005fe: JUMPI
000005ff: PUSH1 0x00
00000601: DUP1
00000602: REVERT
00000603: JUMPDEST
00000604: POP
00000605: PUSH2 0x02d3
00000608: PUSH2 0x0612
0000060b: CALLDATASIZE
0000060c: PUSH1 0x04
0000060e: PUSH2 0x2b8e
00000611: JUMP
00000612: JUMPDEST
00000613: PUSH2 0x11d4
00000616: JUMP
00000617: JUMPDEST
00000618: CALLVALUE
00000619: DUP1
0000061a: ISZERO
0000061b: PUSH2 0x0623
0000061e: JUMPI
0000061f: PUSH1 0x00
00000621: DUP1
00000622: REVERT
00000623: JUMPDEST
00000624: POP
00000625: PUSH2 0x02d3
00000628: PUSH2 0x1281
0000062b: JUMP
0000062c: JUMPDEST
0000062d: CALLVALUE
0000062e: DUP1
0000062f: ISZERO
00000630: PUSH2 0x0638
00000633: JUMPI
00000634: PUSH1 0x00
00000636: DUP1
00000637: REVERT
00000638: JUMPDEST
00000639: POP
0000063a: PUSH2 0x0641
0000063d: PUSH2 0x12e2
00000640: JUMP
00000641: JUMPDEST
00000642: PUSH1 0x40
00000644: MLOAD
00000645: PUSH2 0x02e0
00000648: SWAP2
00000649: SWAP1
0000064a: PUSH2 0x2ca8
0000064d: JUMP
0000064e: JUMPDEST
0000064f: CALLVALUE
00000650: DUP1
00000651: ISZERO
00000652: PUSH2 0x065a
00000655: JUMPI
00000656: PUSH1 0x00
00000658: DUP1
00000659: REVERT
0000065a: JUMPDEST
0000065b: POP
0000065c: PUSH2 0x032b
0000065f: PUSH2 0x0669
00000662: CALLDATASIZE
00000663: PUSH1 0x04
00000665: PUSH2 0x2b64
00000668: JUMP
00000669: JUMPDEST
0000066a: PUSH2 0x1343
0000066d: JUMP
0000066e: JUMPDEST
0000066f: CALLVALUE
00000670: DUP1
00000671: ISZERO
00000672: PUSH2 0x067a
00000675: JUMPI
00000676: PUSH1 0x00
00000678: DUP1
00000679: REVERT
0000067a: JUMPDEST
0000067b: POP
0000067c: PUSH2 0x032b
0000067f: PUSH2 0x0689
00000682: CALLDATASIZE
00000683: PUSH1 0x04
00000685: PUSH2 0x2a35
00000688: JUMP
00000689: JUMPDEST
0000068a: PUSH2 0x135d
0000068d: JUMP
0000068e: JUMPDEST
0000068f: CALLVALUE
00000690: DUP1
00000691: ISZERO
00000692: PUSH2 0x069a
00000695: JUMPI
00000696: PUSH1 0x00
00000698: DUP1
00000699: REVERT
0000069a: JUMPDEST
0000069b: POP
0000069c: PUSH2 0x0309
0000069f: PUSH2 0x06a9
000006a2: CALLDATASIZE
000006a3: PUSH1 0x04
000006a5: PUSH2 0x2b64
000006a8: JUMP
000006a9: JUMPDEST
000006aa: PUSH2 0x1483
000006ad: JUMP
000006ae: JUMPDEST
000006af: CALLVALUE
000006b0: DUP1
000006b1: ISZERO
000006b2: PUSH2 0x06ba
000006b5: JUMPI
000006b6: PUSH1 0x00
000006b8: DUP1
000006b9: REVERT
000006ba: JUMPDEST
000006bb: POP
000006bc: PUSH2 0x0309
000006bf: PUSH2 0x14f1
000006c2: JUMP
000006c3: JUMPDEST
000006c4: CALLVALUE
000006c5: DUP1
000006c6: ISZERO
000006c7: PUSH2 0x06cf
000006ca: JUMPI
000006cb: PUSH1 0x00
000006cd: DUP1
000006ce: REVERT
000006cf: JUMPDEST
000006d0: POP
000006d1: PUSH2 0x032b
000006d4: PUSH2 0x14fa
000006d7: JUMP
000006d8: JUMPDEST
000006d9: CALLVALUE
000006da: DUP1
000006db: ISZERO
000006dc: PUSH2 0x06e4
000006df: JUMPI
000006e0: PUSH1 0x00
000006e2: DUP1
000006e3: REVERT
000006e4: JUMPDEST
000006e5: POP
000006e6: PUSH2 0x0641
000006e9: PUSH2 0x06f3
000006ec: CALLDATASIZE
000006ed: PUSH1 0x04
000006ef: PUSH2 0x2a35
000006f2: JUMP
000006f3: JUMPDEST
000006f4: PUSH2 0x156a
000006f7: JUMP
000006f8: JUMPDEST
000006f9: CALLVALUE
000006fa: DUP1
000006fb: ISZERO
000006fc: PUSH2 0x0704
000006ff: JUMPI
00000700: PUSH1 0x00
00000702: DUP1
00000703: REVERT
00000704: JUMPDEST
00000705: POP
00000706: PUSH2 0x0309
00000709: PUSH2 0x0713
0000070c: CALLDATASIZE
0000070d: PUSH1 0x04
0000070f: PUSH2 0x2b64
00000712: JUMP
00000713: JUMPDEST
00000714: PUSH2 0x1575
00000717: JUMP
00000718: JUMPDEST
00000719: CALLVALUE
0000071a: DUP1
0000071b: ISZERO
0000071c: PUSH2 0x0724
0000071f: JUMPI
00000720: PUSH1 0x00
00000722: DUP1
00000723: REVERT
00000724: JUMPDEST
00000725: POP
00000726: PUSH2 0x032b
00000729: PUSH2 0x0733
0000072c: CALLDATASIZE
0000072d: PUSH1 0x04
0000072f: PUSH2 0x2a50
00000732: JUMP
00000733: JUMPDEST
00000734: PUSH2 0x1589
00000737: JUMP
00000738: JUMPDEST
00000739: CALLVALUE
0000073a: DUP1
0000073b: ISZERO
0000073c: PUSH2 0x0744
0000073f: JUMPI
00000740: PUSH1 0x00
00000742: DUP1
00000743: REVERT
00000744: JUMPDEST
00000745: POP
00000746: PUSH2 0x0641
00000749: PUSH2 0x1646
0000074c: JUMP
0000074d: JUMPDEST
0000074e: CALLVALUE
0000074f: DUP1
00000750: ISZERO
00000751: PUSH2 0x0759
00000754: JUMPI
00000755: PUSH1 0x00
00000757: DUP1
00000758: REVERT
00000759: JUMPDEST
0000075a: POP
0000075b: PUSH2 0x032b
0000075e: PUSH2 0x0768
00000761: CALLDATASIZE
00000762: PUSH1 0x04
00000764: PUSH2 0x2bf0
00000767: JUMP
00000768: JUMPDEST
00000769: PUSH2 0x16a6
0000076c: JUMP
0000076d: JUMPDEST
0000076e: CALLVALUE
0000076f: DUP1
00000770: ISZERO
00000771: PUSH2 0x0779
00000774: JUMPI
00000775: PUSH1 0x00
00000777: DUP1
00000778: REVERT
00000779: JUMPDEST
0000077a: POP
0000077b: PUSH2 0x0493
0000077e: PUSH2 0x0788
00000781: CALLDATASIZE
00000782: PUSH1 0x04
00000784: PUSH2 0x2bf0
00000787: JUMP
00000788: JUMPDEST
00000789: PUSH2 0x16ff
0000078c: JUMP
0000078d: JUMPDEST
0000078e: CALLVALUE
0000078f: DUP1
00000790: ISZERO
00000791: PUSH2 0x0799
00000794: JUMPI
00000795: PUSH1 0x00
00000797: DUP1
00000798: REVERT
00000799: JUMPDEST
0000079a: POP
0000079b: PUSH2 0x032b
0000079e: PUSH2 0x07a8
000007a1: CALLDATASIZE
000007a2: PUSH1 0x04
000007a4: PUSH2 0x2a35
000007a7: JUMP
000007a8: JUMPDEST
000007a9: PUSH2 0x170c
000007ac: JUMP
000007ad: JUMPDEST
000007ae: CALLVALUE
000007af: DUP1
000007b0: ISZERO
000007b1: PUSH2 0x07b9
000007b4: JUMPI
000007b5: PUSH1 0x00
000007b7: DUP1
000007b8: REVERT
000007b9: JUMPDEST
000007ba: POP
000007bb: PUSH2 0x032b
000007be: PUSH2 0x07c8
000007c1: CALLDATASIZE
000007c2: PUSH1 0x04
000007c4: PUSH2 0x2a35
000007c7: JUMP
000007c8: JUMPDEST
000007c9: PUSH2 0x17c6
000007cc: JUMP
000007cd: JUMPDEST
000007ce: CALLVALUE
000007cf: DUP1
000007d0: ISZERO
000007d1: PUSH2 0x07d9
000007d4: JUMPI
000007d5: PUSH1 0x00
000007d7: DUP1
000007d8: REVERT
000007d9: JUMPDEST
000007da: POP
000007db: PUSH2 0x0493
000007de: PUSH2 0x1850
000007e1: JUMP
000007e2: JUMPDEST
000007e3: CALLVALUE
000007e4: DUP1
000007e5: ISZERO
000007e6: PUSH2 0x07ee
000007e9: JUMPI
000007ea: PUSH1 0x00
000007ec: DUP1
000007ed: REVERT
000007ee: JUMPDEST
000007ef: POP
000007f0: PUSH2 0x0309
000007f3: PUSH2 0x07fd
000007f6: CALLDATASIZE
000007f7: PUSH1 0x04
000007f9: PUSH2 0x2a35
000007fc: JUMP
000007fd: JUMPDEST
000007fe: PUSH2 0x185f
00000801: JUMP
00000802: JUMPDEST
00000803: CALLVALUE
00000804: DUP1
00000805: ISZERO
00000806: PUSH2 0x080e
00000809: JUMPI
0000080a: PUSH1 0x00
0000080c: DUP1
0000080d: REVERT
0000080e: JUMPDEST
0000080f: POP
00000810: PUSH2 0x0342
00000813: PUSH2 0x081d
00000816: CALLDATASIZE
00000817: PUSH1 0x04
00000819: PUSH2 0x2a50
0000081c: JUMP
0000081d: JUMPDEST
0000081e: PUSH2 0x1868
00000821: JUMP
00000822: JUMPDEST
00000823: CALLVALUE
00000824: DUP1
00000825: ISZERO
00000826: PUSH2 0x082e
00000829: JUMPI
0000082a: PUSH1 0x00
0000082c: DUP1
0000082d: REVERT
0000082e: JUMPDEST
0000082f: POP
00000830: PUSH2 0x0309
00000833: PUSH2 0x083d
00000836: CALLDATASIZE
00000837: PUSH1 0x04
00000839: PUSH2 0x2a35
0000083c: JUMP
0000083d: JUMPDEST
0000083e: PUSH2 0x1893
00000841: JUMP
00000842: JUMPDEST
00000843: CALLVALUE
00000844: DUP1
00000845: ISZERO
00000846: PUSH2 0x084e
00000849: JUMPI
0000084a: PUSH1 0x00
0000084c: DUP1
0000084d: REVERT
0000084e: JUMPDEST
0000084f: POP
00000850: PUSH2 0x032b
00000853: PUSH2 0x085d
00000856: CALLDATASIZE
00000857: PUSH1 0x04
00000859: PUSH2 0x2a50
0000085c: JUMP
0000085d: JUMPDEST
0000085e: PUSH2 0x1902
00000861: JUMP
00000862: JUMPDEST
00000863: CALLVALUE
00000864: DUP1
00000865: ISZERO
00000866: PUSH2 0x086e
00000869: JUMPI
0000086a: PUSH1 0x00
0000086c: DUP1
0000086d: REVERT
0000086e: JUMPDEST
0000086f: POP
00000870: PUSH2 0x0342
00000873: PUSH2 0x087d
00000876: CALLDATASIZE
00000877: PUSH1 0x04
00000879: PUSH2 0x2a35
0000087c: JUMP
0000087d: JUMPDEST
0000087e: PUSH2 0x19a6
00000881: JUMP
00000882: JUMPDEST
00000883: CALLVALUE
00000884: DUP1
00000885: ISZERO
00000886: PUSH2 0x088e
00000889: JUMPI
0000088a: PUSH1 0x00
0000088c: DUP1
0000088d: REVERT
0000088e: JUMPDEST
0000088f: POP
00000890: PUSH2 0x0493
00000893: PUSH2 0x1a0d
00000896: JUMP
00000897: JUMPDEST
00000898: CALLVALUE
00000899: DUP1
0000089a: ISZERO
0000089b: PUSH2 0x08a3
0000089e: JUMPI
0000089f: PUSH1 0x00
000008a1: DUP1
000008a2: REVERT
000008a3: JUMPDEST
000008a4: POP
000008a5: PUSH2 0x032b
000008a8: PUSH2 0x1a21
000008ab: JUMP
000008ac: JUMPDEST
000008ad: PUSH1 0x03
000008af: DUP1
000008b0: SLOAD
000008b1: PUSH1 0x40
000008b3: DUP1
000008b4: MLOAD
000008b5: PUSH1 0x20
000008b7: PUSH1 0x1f
000008b9: PUSH1 0x02
000008bb: PUSH1 0x00
000008bd: NOT
000008be: PUSH2 0x0100
000008c1: PUSH1 0x01
000008c3: DUP9
000008c4: AND
000008c5: ISZERO
000008c6: MUL
000008c7: ADD
000008c8: SWAP1
000008c9: SWAP6
000008ca: AND
000008cb: SWAP5
000008cc: SWAP1
000008cd: SWAP5
000008ce: DIV
000008cf: SWAP4
000008d0: DUP5
000008d1: ADD
000008d2: DUP2
000008d3: SWAP1
000008d4: DIV
000008d5: DUP2
000008d6: MUL
000008d7: DUP3
000008d8: ADD
000008d9: DUP2
000008da: ADD
000008db: SWAP1
000008dc: SWAP3
000008dd: MSTORE
000008de: DUP3
000008df: DUP2
000008e0: MSTORE
000008e1: PUSH1 0x60
000008e3: SWAP4
000008e4: SWAP1
000008e5: SWAP3
000008e6: SWAP1
000008e7: SWAP2
000008e8: DUP4
000008e9: ADD
000008ea: DUP3
000008eb: DUP3
000008ec: DUP1
000008ed: ISZERO
000008ee: PUSH2 0x0938
000008f1: JUMPI
000008f2: DUP1
000008f3: PUSH1 0x1f
000008f5: LT
000008f6: PUSH2 0x090d
000008f9: JUMPI
000008fa: PUSH2 0x0100
000008fd: DUP1
000008fe: DUP4
000008ff: SLOAD
00000900: DIV
00000901: MUL
00000902: DUP4
00000903: MSTORE
00000904: SWAP2
00000905: PUSH1 0x20
00000907: ADD
00000908: SWAP2
00000909: PUSH2 0x0938
0000090c: JUMP
0000090d: JUMPDEST
0000090e: DUP3
0000090f: ADD
00000910: SWAP2
00000911: SWAP1
00000912: PUSH1 0x00
00000914: MSTORE
00000915: PUSH1 0x20
00000917: PUSH1 0x00
00000919: KECCAK256
0000091a: SWAP1
0000091b: JUMPDEST
0000091c: DUP2
0000091d: SLOAD
0000091e: DUP2
0000091f: MSTORE
00000920: SWAP1
00000921: PUSH1 0x01
00000923: ADD
00000924: SWAP1
00000925: PUSH1 0x20
00000927: ADD
00000928: DUP1
00000929: DUP4
0000092a: GT
0000092b: PUSH2 0x091b
0000092e: JUMPI
0000092f: DUP3
00000930: SWAP1
00000931: SUB
00000932: PUSH1 0x1f
00000934: AND
00000935: DUP3
00000936: ADD
00000937: SWAP2
00000938: JUMPDEST
00000939: POP
0000093a: POP
0000093b: POP
0000093c: POP
0000093d: POP
0000093e: SWAP1
0000093f: POP
00000940: JUMPDEST
00000941: SWAP1
00000942: JUMP
00000943: JUMPDEST
00000944: PUSH1 0x00
00000946: PUSH2 0x0957
00000949: PUSH2 0x0950
0000094c: PUSH2 0x1a79
0000094f: JUMP
00000950: JUMPDEST
00000951: DUP5
00000952: DUP5
00000953: PUSH2 0x1a7d
00000956: JUMP
00000957: JUMPDEST
00000958: POP
00000959: PUSH1 0x01
0000095b: JUMPDEST
0000095c: SWAP3
0000095d: SWAP2
0000095e: POP
0000095f: POP
00000960: JUMP
00000961: JUMPDEST
00000962: PUSH1 0x0a
00000964: SLOAD
00000965: PUSH1 0xff
00000967: AND
00000968: ISZERO
00000969: PUSH2 0x098d
0000096c: JUMPI
0000096d: PUSH1 0x40
0000096f: MLOAD
00000970: PUSH3 0x461bcd
00000974: PUSH1 0xe5
00000976: SHL
00000977: DUP2
00000978: MSTORE
00000979: PUSH1 0x04
0000097b: ADD
0000097c: PUSH2 0x0984
0000097f: SWAP1
00000980: PUSH2 0x34b1
00000983: JUMP
00000984: JUMPDEST
00000985: PUSH1 0x40
00000987: MLOAD
00000988: DUP1
00000989: SWAP2
0000098a: SUB
0000098b: SWAP1
0000098c: REVERT
0000098d: JUMPDEST
0000098e: PUSH1 0x01
00000990: CALLER
00000991: PUSH1 0x00
00000993: SWAP1
00000994: DUP2
00000995: MSTORE
00000996: PUSH1 0x09
00000998: PUSH1 0x20
0000099a: MSTORE
0000099b: PUSH1 0x40
0000099d: SWAP1
0000099e: KECCAK256
0000099f: SLOAD
000009a0: PUSH1 0xff
000009a2: AND
000009a3: PUSH1 0x02
000009a5: DUP2
000009a6: GT
000009a7: ISZERO
000009a8: PUSH2 0x09ad
000009ab: JUMPI
000009ac: INVALID
000009ad: JUMPDEST
000009ae: EQ
000009af: PUSH2 0x09ca
000009b2: JUMPI
000009b3: PUSH1 0x40
000009b5: MLOAD
000009b6: PUSH3 0x461bcd
000009ba: PUSH1 0xe5
000009bc: SHL
000009bd: DUP2
000009be: MSTORE
000009bf: PUSH1 0x04
000009c1: ADD
000009c2: PUSH2 0x0984
000009c5: SWAP1
000009c6: PUSH2 0x3541
000009c9: JUMP
000009ca: JUMPDEST
000009cb: CALLER
000009cc: PUSH1 0x00
000009ce: DUP2
000009cf: DUP2
000009d0: MSTORE
000009d1: PUSH1 0x09
000009d3: PUSH1 0x20
000009d5: MSTORE
000009d6: PUSH1 0x40
000009d8: DUP1
000009d9: DUP3
000009da: KECCAK256
000009db: DUP1
000009dc: SLOAD
000009dd: PUSH1 0xff
000009df: NOT
000009e0: AND
000009e1: PUSH1 0x02
000009e3: OR
000009e4: SWAP1
000009e5: SSTORE
000009e6: PUSH1 0x08
000009e8: DUP1
000009e9: SLOAD
000009ea: PUSH1 0x01
000009ec: DUP2
000009ed: ADD
000009ee: DUP3
000009ef: SSTORE
000009f0: SWAP1
000009f1: DUP4
000009f2: MSTORE
000009f3: PUSH32 0xf3f7a9fe364faab93b216da50a3214154f22a0a2b415b23a84c8169e8b636ee3
00000a14: ADD
00000a15: DUP1
00000a16: SLOAD
00000a17: PUSH1 0x01
00000a19: PUSH1 0x01
00000a1b: PUSH1 0xa0
00000a1d: SHL
00000a1e: SUB
00000a1f: NOT
00000a20: AND
00000a21: DUP5
00000a22: OR
00000a23: SWAP1
00000a24: SSTORE
00000a25: MLOAD
00000a26: PUSH32 0x27b541a16df0902e262f34789782092ab25125513b8ed73608e802951771b928
00000a47: SWAP2
00000a48: SWAP1
00000a49: LOG2
00000a4a: JUMP
00000a4b: JUMPDEST
00000a4c: PUSH1 0x02
00000a4e: SLOAD
00000a4f: SWAP1
00000a50: JUMP
00000a51: JUMPDEST
00000a52: PUSH2 0x0a59
00000a55: PUSH2 0x1b31
00000a58: JUMP
00000a59: JUMPDEST
00000a5a: PUSH1 0x01
00000a5c: PUSH1 0x01
00000a5e: PUSH1 0xa0
00000a60: SHL
00000a61: SUB
00000a62: DUP2
00000a63: AND
00000a64: PUSH1 0x00
00000a66: SWAP1
00000a67: DUP2
00000a68: MSTORE
00000a69: PUSH1 0x09
00000a6b: PUSH1 0x20
00000a6d: MSTORE
00000a6e: PUSH1 0x40
00000a70: DUP2
00000a71: KECCAK256
00000a72: SLOAD
00000a73: PUSH1 0xff
00000a75: AND
00000a76: PUSH1 0x02
00000a78: DUP2
00000a79: GT
00000a7a: ISZERO
00000a7b: PUSH2 0x0a80
00000a7e: JUMPI
00000a7f: INVALID
00000a80: JUMPDEST
00000a81: EQ
00000a82: PUSH2 0x0a9d
00000a85: JUMPI
00000a86: PUSH1 0x40
00000a88: MLOAD
00000a89: PUSH3 0x461bcd
00000a8d: PUSH1 0xe5
00000a8f: SHL
00000a90: DUP2
00000a91: MSTORE
00000a92: PUSH1 0x04
00000a94: ADD
00000a95: PUSH2 0x0984
00000a98: SWAP1
00000a99: PUSH2 0x2ee4
00000a9c: JUMP
00000a9d: JUMPDEST
00000a9e: PUSH1 0x05
00000aa0: SLOAD
00000aa1: PUSH1 0x40
00000aa3: MLOAD
00000aa4: PUSH4 0x42f6e389
00000aa9: PUSH1 0xe0
00000aab: SHL
00000aac: DUP2
00000aad: MSTORE
00000aae: PUSH2 0x0100
00000ab1: SWAP1
00000ab2: SWAP2
00000ab3: DIV
00000ab4: PUSH1 0x01
00000ab6: PUSH1 0x01
00000ab8: PUSH1 0xa0
00000aba: SHL
00000abb: SUB
00000abc: AND
00000abd: SWAP1
00000abe: PUSH4 0x42f6e389
00000ac3: SWAP1
00000ac4: PUSH2 0x0ad1
00000ac7: SWAP1
00000ac8: DUP5
00000ac9: SWAP1
00000aca: PUSH1 0x04
00000acc: ADD
00000acd: PUSH2 0x2c7a
00000ad0: JUMP
00000ad1: JUMPDEST
00000ad2: PUSH1 0x20
00000ad4: PUSH1 0x40
00000ad6: MLOAD
00000ad7: DUP1
00000ad8: DUP4
00000ad9: SUB
00000ada: DUP2
00000adb: DUP7
00000adc: DUP1
00000add: EXTCODESIZE
00000ade: ISZERO
00000adf: DUP1
00000ae0: ISZERO
00000ae1: PUSH2 0x0ae9
00000ae4: JUMPI
00000ae5: PUSH1 0x00
00000ae7: DUP1
00000ae8: REVERT
00000ae9: JUMPDEST
00000aea: POP
00000aeb: GAS
00000aec: STATICCALL
00000aed: ISZERO
00000aee: DUP1
00000aef: ISZERO
00000af0: PUSH2 0x0afd
00000af3: JUMPI
00000af4: RETURNDATASIZE
00000af5: PUSH1 0x00
00000af7: DUP1
00000af8: RETURNDATACOPY
00000af9: RETURNDATASIZE
00000afa: PUSH1 0x00
00000afc: REVERT
00000afd: JUMPDEST
00000afe: POP
00000aff: POP
00000b00: POP
00000b01: POP
00000b02: PUSH1 0x40
00000b04: MLOAD
00000b05: RETURNDATASIZE
00000b06: PUSH1 0x1f
00000b08: NOT
00000b09: PUSH1 0x1f
00000b0b: DUP3
00000b0c: ADD
00000b0d: AND
00000b0e: DUP3
00000b0f: ADD
00000b10: DUP1
00000b11: PUSH1 0x40
00000b13: MSTORE
00000b14: POP
00000b15: DUP2
00000b16: ADD
00000b17: SWAP1
00000b18: PUSH2 0x0b21
00000b1b: SWAP2
00000b1c: SWAP1
00000b1d: PUSH2 0x2bd0
00000b20: JUMP
00000b21: JUMPDEST
00000b22: PUSH2 0x0b3d
00000b25: JUMPI
00000b26: PUSH1 0x40
00000b28: MLOAD
00000b29: PUSH3 0x461bcd
00000b2d: PUSH1 0xe5
00000b2f: SHL
00000b30: DUP2
00000b31: MSTORE
00000b32: PUSH1 0x04
00000b34: ADD
00000b35: PUSH2 0x0984
00000b38: SWAP1
00000b39: PUSH2 0x31f8
00000b3c: JUMP
00000b3d: JUMPDEST
00000b3e: PUSH1 0x01
00000b40: PUSH1 0x01
00000b42: PUSH1 0xa0
00000b44: SHL
00000b45: SUB
00000b46: DUP2
00000b47: AND
00000b48: PUSH1 0x00
00000b4a: DUP2
00000b4b: DUP2
00000b4c: MSTORE
00000b4d: PUSH1 0x09
00000b4f: PUSH1 0x20
00000b51: MSTORE
00000b52: PUSH1 0x40
00000b54: DUP1
00000b55: DUP3
00000b56: KECCAK256
00000b57: DUP1
00000b58: SLOAD
00000b59: PUSH1 0xff
00000b5b: NOT
00000b5c: AND
00000b5d: PUSH1 0x01
00000b5f: OR
00000b60: SWAP1
00000b61: SSTORE
00000b62: MLOAD
00000b63: PUSH32 0xead6a006345da1073a106d5f32372d2d2204f46cb0b4bca8f5ebafcbbed12b8a
00000b84: SWAP2
00000b85: SWAP1
00000b86: LOG2
00000b87: POP
00000b88: JUMP
00000b89: JUMPDEST
00000b8a: PUSH1 0x00
00000b8c: PUSH2 0x0b9d
00000b8f: PUSH2 0x0b98
00000b92: DUP5
00000b93: DUP5
00000b94: PUSH2 0x1b5d
00000b97: JUMP
00000b98: JUMPDEST
00000b99: PUSH2 0x1b8c
00000b9c: JUMP
00000b9d: JUMPDEST
00000b9e: SWAP4
00000b9f: SWAP3
00000ba0: POP
00000ba1: POP
00000ba2: POP
00000ba3: JUMP
00000ba4: JUMPDEST
00000ba5: PUSH1 0x00
00000ba7: PUSH2 0x0bb1
00000baa: DUP5
00000bab: DUP5
00000bac: DUP5
00000bad: PUSH2 0x1ba3
00000bb0: JUMP
00000bb1: JUMPDEST
00000bb2: PUSH2 0x0c27
00000bb5: DUP5
00000bb6: PUSH2 0x0bbd
00000bb9: PUSH2 0x1a79
00000bbc: JUMP
00000bbd: JUMPDEST
00000bbe: PUSH2 0x0c22
00000bc1: DUP6
00000bc2: PUSH1 0x40
00000bc4: MLOAD
00000bc5: DUP1
00000bc6: PUSH1 0x60
00000bc8: ADD
00000bc9: PUSH1 0x40
00000bcb: MSTORE
00000bcc: DUP1
00000bcd: PUSH1 0x28
00000bcf: DUP2
00000bd0: MSTORE
00000bd1: PUSH1 0x20
00000bd3: ADD
00000bd4: PUSH2 0x3693
00000bd7: PUSH1 0x28
00000bd9: SWAP2
00000bda: CODECOPY
00000bdb: PUSH1 0x01
00000bdd: PUSH1 0x01
00000bdf: PUSH1 0xa0
00000be1: SHL
00000be2: SUB
00000be3: DUP11
00000be4: AND
00000be5: PUSH1 0x00
00000be7: SWAP1
00000be8: DUP2
00000be9: MSTORE
00000bea: PUSH1 0x01
00000bec: PUSH1 0x20
00000bee: MSTORE
00000bef: PUSH1 0x40
00000bf1: DUP2
00000bf2: KECCAK256
00000bf3: SWAP1
00000bf4: PUSH2 0x0bfb
00000bf7: PUSH2 0x1a79
00000bfa: JUMP
00000bfb: JUMPDEST
00000bfc: PUSH1 0x01
00000bfe: PUSH1 0x01
00000c00: PUSH1 0xa0
00000c02: SHL
00000c03: SUB
00000c04: AND
00000c05: DUP2
00000c06: MSTORE
00000c07: PUSH1 0x20
00000c09: DUP2
00000c0a: ADD
00000c0b: SWAP2
00000c0c: SWAP1
00000c0d: SWAP2
00000c0e: MSTORE
00000c0f: PUSH1 0x40
00000c11: ADD
00000c12: PUSH1 0x00
00000c14: KECCAK256
00000c15: SLOAD
00000c16: SWAP2
00000c17: SWAP1
00000c18: PUSH4 0xffffffff
00000c1d: PUSH2 0x1cc4
00000c20: AND
00000c21: JUMP
00000c22: JUMPDEST
00000c23: PUSH2 0x1a7d
00000c26: JUMP
00000c27: JUMPDEST
00000c28: POP
00000c29: PUSH1 0x01
00000c2b: SWAP4
00000c2c: SWAP3
00000c2d: POP
00000c2e: POP
00000c2f: POP
00000c30: JUMP
00000c31: JUMPDEST
00000c32: PUSH2 0x0c39
00000c35: PUSH2 0x1cf0
00000c38: JUMP
00000c39: JUMPDEST
00000c3a: PUSH2 0x0c41
00000c3d: PUSH2 0x1dcd
00000c40: JUMP
00000c41: JUMPDEST
00000c42: PUSH1 0x01
00000c44: PUSH1 0x01
00000c46: PUSH1 0xa0
00000c48: SHL
00000c49: SUB
00000c4a: DUP1
00000c4b: DUP6
00000c4c: AND
00000c4d: PUSH1 0x00
00000c4f: SWAP1
00000c50: DUP2
00000c51: MSTORE
00000c52: PUSH1 0x0c
00000c54: PUSH1 0x20
00000c56: SWAP1
00000c57: DUP2
00000c58: MSTORE
00000c59: PUSH1 0x40
00000c5b: DUP1
00000c5c: DUP4
00000c5d: KECCAK256
00000c5e: SWAP4
00000c5f: DUP8
00000c60: AND
00000c61: DUP4
00000c62: MSTORE
00000c63: PUSH1 0x02
00000c65: SWAP1
00000c66: SWAP4
00000c67: ADD
00000c68: SWAP1
00000c69: MSTORE
00000c6a: KECCAK256
00000c6b: PUSH2 0x0c78
00000c6e: SWAP1
00000c6f: PUSH1 0x01
00000c71: ADD
00000c72: DUP4
00000c73: DUP4
00000c74: PUSH2 0x28bf
00000c77: JUMP
00000c78: JUMPDEST
00000c79: POP
00000c7a: DUP3
00000c7b: PUSH1 0x01
00000c7d: PUSH1 0x01
00000c7f: PUSH1 0xa0
00000c81: SHL
00000c82: SUB
00000c83: AND
00000c84: DUP5
00000c85: PUSH1 0x01
00000c87: PUSH1 0x01
00000c89: PUSH1 0xa0
00000c8b: SHL
00000c8c: SUB
00000c8d: AND
00000c8e: PUSH32 0xb373eedb8e9038a2dcba31f06b2735887c1a904125e5c9f0021ba41ed972318e
00000caf: DUP5
00000cb0: DUP5
00000cb1: PUSH1 0x40
00000cb3: MLOAD
00000cb4: PUSH2 0x0cbe
00000cb7: SWAP3
00000cb8: SWAP2
00000cb9: SWAP1
00000cba: PUSH2 0x2da4
00000cbd: JUMP
00000cbe: JUMPDEST
00000cbf: PUSH1 0x40
00000cc1: MLOAD
00000cc2: DUP1
00000cc3: SWAP2
00000cc4: SUB
00000cc5: SWAP1
00000cc6: LOG3
00000cc7: POP
00000cc8: POP
00000cc9: POP
00000cca: POP
00000ccb: JUMP
00000ccc: JUMPDEST
00000ccd: PUSH2 0x0cd4
00000cd0: PUSH2 0x1cf0
00000cd3: JUMP
00000cd4: JUMPDEST
00000cd5: PUSH2 0x0cdc
00000cd8: PUSH2 0x1dcd
00000cdb: JUMP
00000cdc: JUMPDEST
00000cdd: PUSH1 0x00
00000cdf: PUSH2 0x0ce7
00000ce2: DUP3
00000ce3: PUSH2 0x1e02
00000ce6: JUMP
00000ce7: JUMPDEST
00000ce8: PUSH1 0x01
00000cea: PUSH1 0x01
00000cec: PUSH1 0xa0
00000cee: SHL
00000cef: SUB
00000cf0: DUP5
00000cf1: AND
00000cf2: PUSH1 0x00
00000cf4: DUP2
00000cf5: DUP2
00000cf6: MSTORE
00000cf7: PUSH1 0x0c
00000cf9: PUSH1 0x20
00000cfb: MSTORE
00000cfc: PUSH1 0x40
00000cfe: SWAP1
00000cff: DUP2
00000d00: SWAP1
00000d01: KECCAK256
00000d02: DUP4
00000d03: SWAP1
00000d04: SSTORE
00000d05: MLOAD
00000d06: SWAP2
00000d07: SWAP3
00000d08: POP
00000d09: SWAP1
00000d0a: PUSH32 0x8133e2bf34edab764b55c59d1d41f9df637e7c22828bb6b0a9d55b429d008a97
00000d2b: SWAP1
00000d2c: PUSH2 0x0d36
00000d2f: SWAP1
00000d30: DUP6
00000d31: SWAP1
00000d32: PUSH2 0x2e0f
00000d35: JUMP
00000d36: JUMPDEST
00000d37: PUSH1 0x40
00000d39: MLOAD
00000d3a: DUP1
00000d3b: SWAP2
00000d3c: SUB
00000d3d: SWAP1
00000d3e: LOG2
00000d3f: POP
00000d40: POP
00000d41: POP
00000d42: JUMP
00000d43: JUMPDEST
00000d44: PUSH1 0x05
00000d46: SLOAD
00000d47: PUSH1 0xff
00000d49: AND
00000d4a: SWAP1
00000d4b: JUMP
00000d4c: JUMPDEST
00000d4d: PUSH1 0x09
00000d4f: PUSH1 0x20
00000d51: MSTORE
00000d52: PUSH1 0x00
00000d54: SWAP1
00000d55: DUP2
00000d56: MSTORE
00000d57: PUSH1 0x40
00000d59: SWAP1
00000d5a: KECCAK256
00000d5b: SLOAD
00000d5c: PUSH1 0xff
00000d5e: AND
00000d5f: DUP2
00000d60: JUMP
00000d61: JUMPDEST
00000d62: PUSH1 0x00
00000d64: PUSH2 0x0957
00000d67: PUSH2 0x0d6e
00000d6a: PUSH2 0x1a79
00000d6d: JUMP
00000d6e: JUMPDEST
00000d6f: DUP5
00000d70: PUSH2 0x0c22
00000d73: DUP6
00000d74: PUSH1 0x01
00000d76: PUSH1 0x00
00000d78: PUSH2 0x0d7f
00000d7b: PUSH2 0x1a79
00000d7e: JUMP
00000d7f: JUMPDEST
00000d80: PUSH1 0x01
00000d82: PUSH1 0x01
00000d84: PUSH1 0xa0
00000d86: SHL
00000d87: SUB
00000d88: SWAP1
00000d89: DUP2
00000d8a: AND
00000d8b: DUP3
00000d8c: MSTORE
00000d8d: PUSH1 0x20
00000d8f: DUP1
00000d90: DUP4
00000d91: ADD
00000d92: SWAP4
00000d93: SWAP1
00000d94: SWAP4
00000d95: MSTORE
00000d96: PUSH1 0x40
00000d98: SWAP2
00000d99: DUP3
00000d9a: ADD
00000d9b: PUSH1 0x00
00000d9d: SWAP1
00000d9e: DUP2
00000d9f: KECCAK256
00000da0: SWAP2
00000da1: DUP13
00000da2: AND
00000da3: DUP2
00000da4: MSTORE
00000da5: SWAP3
00000da6: MSTORE
00000da7: SWAP1
00000da8: KECCAK256
00000da9: SLOAD
00000daa: SWAP1
00000dab: PUSH4 0xffffffff
00000db0: PUSH2 0x1e7a
00000db3: AND
00000db4: JUMP
00000db5: JUMPDEST
00000db6: PUSH2 0x0dbd
00000db9: PUSH2 0x1cf0
00000dbc: JUMP
00000dbd: JUMPDEST
00000dbe: PUSH2 0x0dc5
00000dc1: PUSH2 0x1dcd
00000dc4: JUMP
00000dc5: JUMPDEST
00000dc6: PUSH2 0x0dcf
00000dc9: DUP3
00000dca: DUP3
00000dcb: PUSH2 0x1e9f
00000dce: JUMP
00000dcf: JUMPDEST
00000dd0: POP
00000dd1: POP
00000dd2: JUMP
00000dd3: JUMPDEST
00000dd4: PUSH1 0x06
00000dd6: SLOAD
00000dd7: PUSH1 0x01
00000dd9: PUSH1 0x01
00000ddb: PUSH1 0xa0
00000ddd: SHL
00000dde: SUB
00000ddf: AND
00000de0: DUP2
00000de1: JUMP
00000de2: JUMPDEST
00000de3: PUSH2 0x0dea
00000de6: PUSH2 0x1cf0
00000de9: JUMP
00000dea: JUMPDEST
00000deb: PUSH2 0x0df2
00000dee: PUSH2 0x1dcd
00000df1: JUMP
00000df2: JUMPDEST
00000df3: PUSH2 0x0dfb
00000df6: DUP2
00000df7: PUSH2 0x1893
00000dfa: JUMP
00000dfb: JUMPDEST
00000dfc: ISZERO
00000dfd: PUSH2 0x0e18
00000e00: JUMPI
00000e01: PUSH1 0x40
00000e03: MLOAD
00000e04: PUSH3 0x461bcd
00000e08: PUSH1 0xe5
00000e0a: SHL
00000e0b: DUP2
00000e0c: MSTORE
00000e0d: PUSH1 0x04
00000e0f: ADD
00000e10: PUSH2 0x0984
00000e13: SWAP1
00000e14: PUSH2 0x3182
00000e17: JUMP
00000e18: JUMPDEST
00000e19: PUSH1 0x0b
00000e1b: DUP1
00000e1c: SLOAD
00000e1d: PUSH1 0x01
00000e1f: DUP2
00000e20: ADD
00000e21: DUP3
00000e22: SSTORE
00000e23: PUSH1 0x00
00000e25: SWAP2
00000e26: DUP3
00000e27: MSTORE
00000e28: PUSH32 0x0175b7a638427703f0dbe7bb9bbf987a2551717b34e79f33b5b1008d1fa01db9
00000e49: ADD
00000e4a: DUP1
00000e4b: SLOAD
00000e4c: PUSH1 0x01
00000e4e: PUSH1 0x01
00000e50: PUSH1 0xa0
00000e52: SHL
00000e53: SUB
00000e54: NOT
00000e55: AND
00000e56: PUSH1 0x01
00000e58: PUSH1 0x01
00000e5a: PUSH1 0xa0
00000e5c: SHL
00000e5d: SUB
00000e5e: DUP5
00000e5f: AND
00000e60: SWAP1
00000e61: DUP2
00000e62: OR
00000e63: SWAP1
00000e64: SWAP2
00000e65: SSTORE
00000e66: PUSH1 0x40
00000e68: MLOAD
00000e69: SWAP1
00000e6a: SWAP2
00000e6b: PUSH32 0x76da6cf8b40dd2b2c223a5956831e0ff4e75522538a86782108a0bbe1577e298
00000e8c: SWAP2
00000e8d: LOG2
00000e8e: POP
00000e8f: JUMP
00000e90: JUMPDEST
00000e91: PUSH1 0x0d
00000e93: SLOAD
00000e94: DUP2
00000e95: JUMP
00000e96: JUMPDEST
00000e97: PUSH1 0x00
00000e99: PUSH1 0x01
00000e9b: JUMPDEST
00000e9c: PUSH1 0x01
00000e9e: PUSH1 0x01
00000ea0: PUSH1 0xa0
00000ea2: SHL
00000ea3: SUB
00000ea4: DUP4
00000ea5: AND
00000ea6: PUSH1 0x00
00000ea8: SWAP1
00000ea9: DUP2
00000eaa: MSTORE
00000eab: PUSH1 0x09
00000ead: PUSH1 0x20
00000eaf: MSTORE
00000eb0: PUSH1 0x40
00000eb2: SWAP1
00000eb3: KECCAK256
00000eb4: SLOAD
00000eb5: PUSH1 0xff
00000eb7: AND
00000eb8: PUSH1 0x02
00000eba: DUP2
00000ebb: GT
00000ebc: ISZERO
00000ebd: PUSH2 0x0ec2
00000ec0: JUMPI
00000ec1: INVALID
00000ec2: JUMPDEST
00000ec3: EQ
00000ec4: SWAP3
00000ec5: SWAP2
00000ec6: POP
00000ec7: POP
00000ec8: JUMP
00000ec9: JUMPDEST
00000eca: PUSH2 0x0ed1
00000ecd: PUSH2 0x1cf0
00000ed0: JUMP
00000ed1: JUMPDEST
00000ed2: PUSH2 0x0ed9
00000ed5: PUSH2 0x1dcd
00000ed8: JUMP
00000ed9: JUMPDEST
00000eda: PUSH1 0x00
00000edc: PUSH2 0x0ee4
00000edf: DUP3
00000ee0: PUSH2 0x1e02
00000ee3: JUMP
00000ee4: JUMPDEST
00000ee5: PUSH1 0x01
00000ee7: PUSH1 0x01
00000ee9: PUSH1 0xa0
00000eeb: SHL
00000eec: SUB
00000eed: DUP1
00000eee: DUP7
00000eef: AND
00000ef0: PUSH1 0x00
00000ef2: DUP2
00000ef3: DUP2
00000ef4: MSTORE
00000ef5: PUSH1 0x0c
00000ef7: PUSH1 0x20
00000ef9: SWAP1
00000efa: DUP2
00000efb: MSTORE
00000efc: PUSH1 0x40
00000efe: DUP1
00000eff: DUP4
00000f00: KECCAK256
00000f01: SWAP5
00000f02: DUP10
00000f03: AND
00000f04: DUP1
00000f05: DUP5
00000f06: MSTORE
00000f07: PUSH1 0x02
00000f09: SWAP1
00000f0a: SWAP6
00000f0b: ADD
00000f0c: SWAP1
00000f0d: SWAP2
00000f0e: MSTORE
00000f0f: SWAP1
00000f10: DUP2
00000f11: SWAP1
00000f12: KECCAK256
00000f13: DUP5
00000f14: SWAP1
00000f15: SSTORE
00000f16: MLOAD
00000f17: SWAP3
00000f18: SWAP4
00000f19: POP
00000f1a: SWAP1
00000f1b: SWAP2
00000f1c: PUSH32 0x81a422e27f503e1b92cdb616a6e653aac10a8e0c3fa6832a58dc616c080fd7bd
00000f3d: SWAP1
00000f3e: PUSH2 0x0cbe
00000f41: SWAP1
00000f42: DUP7
00000f43: SWAP1
00000f44: PUSH2 0x2e0f
00000f47: JUMP
00000f48: JUMPDEST
00000f49: PUSH1 0x00
00000f4b: PUSH2 0x095b
00000f4e: PUSH2 0x0b98
00000f51: DUP4
00000f52: PUSH2 0x1f6b
00000f55: JUMP
00000f56: JUMPDEST
00000f57: PUSH2 0x0f5e
00000f5a: PUSH2 0x1cf0
00000f5d: JUMP
00000f5e: JUMPDEST
00000f5f: PUSH2 0x0f66
00000f62: PUSH2 0x1dcd
00000f65: JUMP
00000f66: JUMPDEST
00000f67: PUSH2 0x0f77
00000f6a: PUSH1 0x0b
00000f6c: DUP3
00000f6d: PUSH4 0xffffffff
00000f72: PUSH2 0x1f86
00000f75: AND
00000f76: JUMP
00000f77: JUMPDEST
00000f78: PUSH1 0x40
00000f7a: MLOAD
00000f7b: PUSH1 0x01
00000f7d: PUSH1 0x01
00000f7f: PUSH1 0xa0
00000f81: SHL
00000f82: SUB
00000f83: DUP3
00000f84: AND
00000f85: SWAP1
00000f86: PUSH32 0xc605d0bf97f9b921340106a2e59f9428d5eb9039b16866159e0cdd2bf8e963df
00000fa7: SWAP1
00000fa8: PUSH1 0x00
00000faa: SWAP1
00000fab: LOG2
00000fac: POP
00000fad: JUMP
00000fae: JUMPDEST
00000faf: PUSH1 0x01
00000fb1: PUSH1 0x01
00000fb3: PUSH1 0xa0
00000fb5: SHL
00000fb6: SUB
00000fb7: AND
00000fb8: PUSH1 0x00
00000fba: SWAP1
00000fbb: DUP2
00000fbc: MSTORE
00000fbd: PUSH1 0x20
00000fbf: DUP2
00000fc0: SWAP1
00000fc1: MSTORE
00000fc2: PUSH1 0x40
00000fc4: SWAP1
00000fc5: KECCAK256
00000fc6: SLOAD
00000fc7: SWAP1
00000fc8: JUMP
00000fc9: JUMPDEST
00000fca: PUSH1 0x00
00000fcc: PUSH2 0x0b9d
00000fcf: DUP3
00000fd0: PUSH2 0x0fd8
00000fd3: DUP6
00000fd4: PUSH2 0x20b3
00000fd7: JUMP
00000fd8: JUMPDEST
00000fd9: SWAP1
00000fda: PUSH4 0xffffffff
00000fdf: PUSH2 0x212c
00000fe2: AND
00000fe3: JUMP
00000fe4: JUMPDEST
00000fe5: PUSH1 0x60
00000fe7: DUP1
00000fe8: PUSH2 0x0fef
00000feb: PUSH2 0x2142
00000fee: JUMP
00000fef: JUMPDEST
00000ff0: PUSH8 0xffffffffffffffff
00000ff9: DUP2
00000ffa: GT
00000ffb: DUP1
00000ffc: ISZERO
00000ffd: PUSH2 0x1005
00001000: JUMPI
00001001: PUSH1 0x00
00001003: DUP1
00001004: REVERT
00001005: JUMPDEST
00001006: POP
00001007: PUSH1 0x40
00001009: MLOAD
0000100a: SWAP1
0000100b: DUP1
0000100c: DUP3
0000100d: MSTORE
0000100e: DUP1
0000100f: PUSH1 0x20
00001011: MUL
00001012: PUSH1 0x20
00001014: ADD
00001015: DUP3
00001016: ADD
00001017: PUSH1 0x40
00001019: MSTORE
0000101a: DUP1
0000101b: ISZERO
0000101c: PUSH2 0x103f
0000101f: JUMPI
00001020: DUP2
00001021: PUSH1 0x20
00001023: ADD
00001024: JUMPDEST
00001025: PUSH2 0x102c
00001028: PUSH2 0x2939
0000102b: JUMP
0000102c: JUMPDEST
0000102d: DUP2
0000102e: MSTORE
0000102f: PUSH1 0x20
00001031: ADD
00001032: SWAP1
00001033: PUSH1 0x01
00001035: SWAP1
00001036: SUB
00001037: SWAP1
00001038: DUP2
00001039: PUSH2 0x1024
0000103c: JUMPI
0000103d: SWAP1
0000103e: POP
0000103f: JUMPDEST
00001040: POP
00001041: SWAP1
00001042: POP
00001043: PUSH1 0x00
00001045: DUP1
00001046: JUMPDEST
00001047: PUSH1 0x0b
00001049: SLOAD
0000104a: DUP2
0000104b: LT
0000104c: ISZERO
0000104d: PUSH2 0x1199
00001050: JUMPI
00001051: PUSH1 0x00
00001053: PUSH1 0x0b
00001055: DUP3
00001056: DUP2
00001057: SLOAD
00001058: DUP2
00001059: LT
0000105a: PUSH2 0x105f
0000105d: JUMPI
0000105e: INVALID
0000105f: JUMPDEST
00001060: PUSH1 0x00
00001062: SWAP2
00001063: DUP3
00001064: MSTORE
00001065: PUSH1 0x20
00001067: DUP3
00001068: KECCAK256
00001069: ADD
0000106a: SLOAD
0000106b: PUSH1 0x01
0000106d: PUSH1 0x01
0000106f: PUSH1 0xa0
00001071: SHL
00001072: SUB
00001073: AND
00001074: SWAP2
00001075: POP
00001076: PUSH2 0x107e
00001079: DUP3
0000107a: PUSH2 0x1f6b
0000107d: JUMP
0000107e: JUMPDEST
0000107f: SGT
00001080: ISZERO
00001081: PUSH2 0x10ed
00001084: JUMPI
00001085: PUSH1 0x40
00001087: DUP1
00001088: MLOAD
00001089: PUSH1 0xa0
0000108b: DUP2
0000108c: ADD
0000108d: DUP3
0000108e: MSTORE
0000108f: PUSH1 0x01
00001091: PUSH1 0x01
00001093: PUSH1 0xa0
00001095: SHL
00001096: SUB
00001097: DUP4
00001098: AND
00001099: DUP2
0000109a: MSTORE
0000109b: PUSH1 0x00
0000109d: PUSH1 0x20
0000109f: DUP3
000010a0: ADD
000010a1: MSTORE
000010a2: SWAP1
000010a3: DUP2
000010a4: ADD
000010a5: PUSH2 0x10ad
000010a8: DUP4
000010a9: PUSH2 0x0f48
000010ac: JUMP
000010ad: JUMPDEST
000010ae: DUP2
000010af: MSTORE
000010b0: PUSH1 0x20
000010b2: ADD
000010b3: PUSH1 0x00
000010b5: PUSH1 0xff
000010b7: AND
000010b8: DUP2
000010b9: MSTORE
000010ba: PUSH1 0x20
000010bc: ADD
000010bd: PUSH1 0x40
000010bf: MLOAD
000010c0: DUP1
000010c1: PUSH1 0x20
000010c3: ADD
000010c4: PUSH1 0x40
000010c6: MSTORE
000010c7: DUP1
000010c8: PUSH1 0x00
000010ca: DUP2
000010cb: MSTORE
000010cc: POP
000010cd: DUP2
000010ce: MSTORE
000010cf: POP
000010d0: DUP5
000010d1: DUP5
000010d2: DUP2
000010d3: MLOAD
000010d4: DUP2
000010d5: LT
000010d6: PUSH2 0x10db
000010d9: JUMPI
000010da: INVALID
000010db: JUMPDEST
000010dc: PUSH1 0x20
000010de: SWAP1
000010df: DUP2
000010e0: MUL
000010e1: SWAP2
000010e2: SWAP1
000010e3: SWAP2
000010e4: ADD
000010e5: ADD
000010e6: MSTORE
000010e7: PUSH1 0x01
000010e9: SWAP1
000010ea: SWAP3
000010eb: ADD
000010ec: SWAP2
000010ed: JUMPDEST
000010ee: PUSH1 0x60
000010f0: PUSH2 0x10f8
000010f3: DUP3
000010f4: PUSH2 0x20b3
000010f7: JUMP
000010f8: JUMPDEST
000010f9: SWAP1
000010fa: POP
000010fb: PUSH1 0x00
000010fd: JUMPDEST
000010fe: DUP2
000010ff: MLOAD
00001100: DUP2
00001101: LT
00001102: ISZERO
00001103: PUSH2 0x118e
00001106: JUMPI
00001107: PUSH1 0x00
00001109: DUP3
0000110a: DUP3
0000110b: DUP2
0000110c: MLOAD
0000110d: DUP2
0000110e: LT
0000110f: PUSH2 0x1114
00001112: JUMPI
00001113: INVALID
00001114: JUMPDEST
00001115: PUSH1 0x20
00001117: MUL
00001118: PUSH1 0x20
0000111a: ADD
0000111b: ADD
0000111c: MLOAD
0000111d: SWAP1
0000111e: POP
0000111f: PUSH1 0x40
00001121: MLOAD
00001122: DUP1
00001123: PUSH1 0xa0
00001125: ADD
00001126: PUSH1 0x40
00001128: MSTORE
00001129: DUP1
0000112a: DUP6
0000112b: PUSH1 0x01
0000112d: PUSH1 0x01
0000112f: PUSH1 0xa0
00001131: SHL
00001132: SUB
00001133: AND
00001134: DUP2
00001135: MSTORE
00001136: PUSH1 0x20
00001138: ADD
00001139: DUP3
0000113a: PUSH1 0x01
0000113c: PUSH1 0x01
0000113e: PUSH1 0xa0
00001140: SHL
00001141: SUB
00001142: AND
00001143: DUP2
00001144: MSTORE
00001145: PUSH1 0x20
00001147: ADD
00001148: PUSH2 0x1151
0000114b: DUP7
0000114c: DUP5
0000114d: PUSH2 0x0b89
00001150: JUMP
00001151: JUMPDEST
00001152: DUP2
00001153: MSTORE
00001154: PUSH1 0x01
00001156: PUSH1 0x20
00001158: DUP3
00001159: ADD
0000115a: MSTORE
0000115b: PUSH1 0x40
0000115d: ADD
0000115e: PUSH2 0x1167
00001161: DUP7
00001162: DUP5
00001163: PUSH2 0x21c7
00001166: JUMP
00001167: JUMPDEST
00001168: DUP2
00001169: MSTORE
0000116a: POP
0000116b: DUP8
0000116c: DUP8
0000116d: DUP2
0000116e: MLOAD
0000116f: DUP2
00001170: LT
00001171: PUSH2 0x1176
00001174: JUMPI
00001175: INVALID
00001176: JUMPDEST
00001177: PUSH1 0x20
00001179: SWAP1
0000117a: DUP2
0000117b: MUL
0000117c: SWAP2
0000117d: SWAP1
0000117e: SWAP2
0000117f: ADD
00001180: ADD
00001181: MSTORE
00001182: POP
00001183: PUSH1 0x01
00001185: SWAP5
00001186: DUP6
00001187: ADD
00001188: SWAP5
00001189: ADD
0000118a: PUSH2 0x10fd
0000118d: JUMP
0000118e: JUMPDEST
0000118f: POP
00001190: POP
00001191: POP
00001192: PUSH1 0x01
00001194: ADD
00001195: PUSH2 0x1046
00001198: JUMP
00001199: JUMPDEST
0000119a: POP
0000119b: SWAP1
0000119c: SWAP2
0000119d: POP
0000119e: POP
0000119f: SWAP1
000011a0: JUMP
000011a1: JUMPDEST
000011a2: PUSH1 0x08
000011a4: DUP2
000011a5: DUP2
000011a6: SLOAD
000011a7: DUP2
000011a8: LT
000011a9: PUSH2 0x11ae
000011ac: JUMPI
000011ad: INVALID
000011ae: JUMPDEST
000011af: PUSH1 0x00
000011b1: SWAP2
000011b2: DUP3
000011b3: MSTORE
000011b4: PUSH1 0x20
000011b6: SWAP1
000011b7: SWAP2
000011b8: KECCAK256
000011b9: ADD
000011ba: SLOAD
000011bb: PUSH1 0x01
000011bd: PUSH1 0x01
000011bf: PUSH1 0xa0
000011c1: SHL
000011c2: SUB
000011c3: AND
000011c4: SWAP1
000011c5: POP
000011c6: DUP2
000011c7: JUMP
000011c8: JUMPDEST
000011c9: PUSH1 0x60
000011cb: PUSH2 0x0b9d
000011ce: DUP4
000011cf: DUP4
000011d0: PUSH2 0x21c7
000011d3: JUMP
000011d4: JUMPDEST
000011d5: PUSH1 0x60
000011d7: PUSH2 0x11de
000011da: PUSH2 0x1cf0
000011dd: JUMP
000011de: JUMPDEST
000011df: PUSH2 0x11e6
000011e2: PUSH2 0x1dcd
000011e5: JUMP
000011e6: JUMPDEST
000011e7: PUSH2 0x1231
000011ea: DUP4
000011eb: DUP4
000011ec: DUP1
000011ed: DUP1
000011ee: PUSH1 0x1f
000011f0: ADD
000011f1: PUSH1 0x20
000011f3: DUP1
000011f4: SWAP2
000011f5: DIV
000011f6: MUL
000011f7: PUSH1 0x20
000011f9: ADD
000011fa: PUSH1 0x40
000011fc: MLOAD
000011fd: SWAP1
000011fe: DUP2
000011ff: ADD
00001200: PUSH1 0x40
00001202: MSTORE
00001203: DUP1
00001204: SWAP4
00001205: SWAP3
00001206: SWAP2
00001207: SWAP1
00001208: DUP2
00001209: DUP2
0000120a: MSTORE
0000120b: PUSH1 0x20
0000120d: ADD
0000120e: DUP4
0000120f: DUP4
00001210: DUP1
00001211: DUP3
00001212: DUP5
00001213: CALLDATACOPY
00001214: PUSH1 0x00
00001216: SWAP3
00001217: ADD
00001218: SWAP2
00001219: SWAP1
0000121a: SWAP2
0000121b: MSTORE
0000121c: POP
0000121d: POP
0000121e: POP
0000121f: PUSH1 0x01
00001221: PUSH1 0x01
00001223: PUSH1 0xa0
00001225: SHL
00001226: SUB
00001227: DUP9
00001228: AND
00001229: SWAP2
0000122a: SWAP1
0000122b: POP
0000122c: DUP7
0000122d: PUSH2 0x2285
00001230: JUMP
00001231: JUMPDEST
00001232: SWAP1
00001233: POP
00001234: DUP4
00001235: DUP6
00001236: PUSH1 0x01
00001238: PUSH1 0x01
0000123a: PUSH1 0xa0
0000123c: SHL
0000123d: SUB
0000123e: AND
0000123f: PUSH32 0x2a936dbabeaea30adc1ddad138b1958497988474bef8b09a29411f0105ab8ab2
00001260: DUP6
00001261: DUP6
00001262: DUP6
00001263: PUSH1 0x40
00001265: MLOAD
00001266: PUSH2 0x1271
00001269: SWAP4
0000126a: SWAP3
0000126b: SWAP2
0000126c: SWAP1
0000126d: PUSH2 0x2db8
00001270: JUMP
00001271: JUMPDEST
00001272: PUSH1 0x40
00001274: MLOAD
00001275: DUP1
00001276: SWAP2
00001277: SUB
00001278: SWAP1
00001279: LOG3
0000127a: SWAP5
0000127b: SWAP4
0000127c: POP
0000127d: POP
0000127e: POP
0000127f: POP
00001280: JUMP
00001281: JUMPDEST
00001282: PUSH1 0x04
00001284: DUP1
00001285: SLOAD
00001286: PUSH1 0x40
00001288: DUP1
00001289: MLOAD
0000128a: PUSH1 0x20
0000128c: PUSH1 0x1f
0000128e: PUSH1 0x02
00001290: PUSH1 0x00
00001292: NOT
00001293: PUSH2 0x0100
00001296: PUSH1 0x01
00001298: DUP9
00001299: AND
0000129a: ISZERO
0000129b: MUL
0000129c: ADD
0000129d: SWAP1
0000129e: SWAP6
0000129f: AND
000012a0: SWAP5
000012a1: SWAP1
000012a2: SWAP5
000012a3: DIV
000012a4: SWAP4
000012a5: DUP5
000012a6: ADD
000012a7: DUP2
000012a8: SWAP1
000012a9: DIV
000012aa: DUP2
000012ab: MUL
000012ac: DUP3
000012ad: ADD
000012ae: DUP2
000012af: ADD
000012b0: SWAP1
000012b1: SWAP3
000012b2: MSTORE
000012b3: DUP3
000012b4: DUP2
000012b5: MSTORE
000012b6: PUSH1 0x60
000012b8: SWAP4
000012b9: SWAP1
000012ba: SWAP3
000012bb: SWAP1
000012bc: SWAP2
000012bd: DUP4
000012be: ADD
000012bf: DUP3
000012c0: DUP3
000012c1: DUP1
000012c2: ISZERO
000012c3: PUSH2 0x0938
000012c6: JUMPI
000012c7: DUP1
000012c8: PUSH1 0x1f
000012ca: LT
000012cb: PUSH2 0x090d
000012ce: JUMPI
000012cf: PUSH2 0x0100
000012d2: DUP1
000012d3: DUP4
000012d4: SLOAD
000012d5: DIV
000012d6: MUL
000012d7: DUP4
000012d8: MSTORE
000012d9: SWAP2
000012da: PUSH1 0x20
000012dc: ADD
000012dd: SWAP2
000012de: PUSH2 0x0938
000012e1: JUMP
000012e2: JUMPDEST
000012e3: PUSH1 0x60
000012e5: PUSH1 0x0b
000012e7: DUP1
000012e8: SLOAD
000012e9: DUP1
000012ea: PUSH1 0x20
000012ec: MUL
000012ed: PUSH1 0x20
000012ef: ADD
000012f0: PUSH1 0x40
000012f2: MLOAD
000012f3: SWAP1
000012f4: DUP2
000012f5: ADD
000012f6: PUSH1 0x40
000012f8: MSTORE
000012f9: DUP1
000012fa: SWAP3
000012fb: SWAP2
000012fc: SWAP1
000012fd: DUP2
000012fe: DUP2
000012ff: MSTORE
00001300: PUSH1 0x20
00001302: ADD
00001303: DUP3
00001304: DUP1
00001305: SLOAD
00001306: DUP1
00001307: ISZERO
00001308: PUSH2 0x0938
0000130b: JUMPI
0000130c: PUSH1 0x20
0000130e: MUL
0000130f: DUP3
00001310: ADD
00001311: SWAP2
00001312: SWAP1
00001313: PUSH1 0x00
00001315: MSTORE
00001316: PUSH1 0x20
00001318: PUSH1 0x00
0000131a: KECCAK256
0000131b: SWAP1
0000131c: JUMPDEST
0000131d: DUP2
0000131e: SLOAD
0000131f: PUSH1 0x01
00001321: PUSH1 0x01
00001323: PUSH1 0xa0
00001325: SHL
00001326: SUB
00001327: AND
00001328: DUP2
00001329: MSTORE
0000132a: PUSH1 0x01
0000132c: SWAP1
0000132d: SWAP2
0000132e: ADD
0000132f: SWAP1
00001330: PUSH1 0x20
00001332: ADD
00001333: DUP1
00001334: DUP4
00001335: GT
00001336: PUSH2 0x131c
00001339: JUMPI
0000133a: POP
0000133b: POP
0000133c: POP
0000133d: POP
0000133e: POP
0000133f: SWAP1
00001340: POP
00001341: SWAP1
00001342: JUMP
00001343: JUMPDEST
00001344: PUSH2 0x134b
00001347: PUSH2 0x1cf0
0000134a: JUMP
0000134b: JUMPDEST
0000134c: PUSH2 0x1353
0000134f: PUSH2 0x1dcd
00001352: JUMP
00001353: JUMPDEST
00001354: PUSH2 0x0dcf
00001357: DUP3
00001358: DUP3
00001359: PUSH2 0x22b3
0000135c: JUMP
0000135d: JUMPDEST
0000135e: PUSH2 0x1365
00001361: PUSH2 0x1b31
00001364: JUMP
00001365: JUMPDEST
00001366: PUSH1 0x0a
00001368: SLOAD
00001369: PUSH1 0xff
0000136b: AND
0000136c: ISZERO
0000136d: PUSH2 0x1388
00001370: JUMPI
00001371: PUSH1 0x40
00001373: MLOAD
00001374: PUSH3 0x461bcd
00001378: PUSH1 0xe5
0000137a: SHL
0000137b: DUP2
0000137c: MSTORE
0000137d: PUSH1 0x04
0000137f: ADD
00001380: PUSH2 0x0984
00001383: SWAP1
00001384: PUSH2 0x34b1
00001387: JUMP
00001388: JUMPDEST
00001389: PUSH1 0x02
0000138b: PUSH1 0x01
0000138d: PUSH1 0x01
0000138f: PUSH1 0xa0
00001391: SHL
00001392: SUB
00001393: DUP3
00001394: AND
00001395: PUSH1 0x00
00001397: SWAP1
00001398: DUP2
00001399: MSTORE
0000139a: PUSH1 0x09
0000139c: PUSH1 0x20
0000139e: MSTORE
0000139f: PUSH1 0x40
000013a1: SWAP1
000013a2: KECCAK256
000013a3: SLOAD
000013a4: PUSH1 0xff
000013a6: AND
000013a7: PUSH1 0x02
000013a9: DUP2
000013aa: GT
000013ab: ISZERO
000013ac: PUSH2 0x13b1
000013af: JUMPI
000013b0: INVALID
000013b1: JUMPDEST
000013b2: EQ
000013b3: PUSH2 0x13ce
000013b6: JUMPI
000013b7: PUSH1 0x40
000013b9: MLOAD
000013ba: PUSH3 0x461bcd
000013be: PUSH1 0xe5
000013c0: SHL
000013c1: DUP2
000013c2: MSTORE
000013c3: PUSH1 0x04
000013c5: ADD
000013c6: PUSH2 0x0984
000013c9: SWAP1
000013ca: PUSH2 0x3062
000013cd: JUMP
000013ce: JUMPDEST
000013cf: DUP1
000013d0: PUSH1 0x01
000013d2: PUSH1 0x01
000013d4: PUSH1 0xa0
000013d6: SHL
000013d7: SUB
000013d8: AND
000013d9: PUSH4 0x847ef08d
000013de: PUSH1 0x40
000013e0: MLOAD
000013e1: DUP2
000013e2: PUSH4 0xffffffff
000013e7: AND
000013e8: PUSH1 0xe0
000013ea: SHL
000013eb: DUP2
000013ec: MSTORE
000013ed: PUSH1 0x04
000013ef: ADD
000013f0: PUSH1 0x00
000013f2: PUSH1 0x40
000013f4: MLOAD
000013f5: DUP1
000013f6: DUP4
000013f7: SUB
000013f8: DUP2
000013f9: PUSH1 0x00
000013fb: DUP8
000013fc: DUP1
000013fd: EXTCODESIZE
000013fe: ISZERO
000013ff: DUP1
00001400: ISZERO
00001401: PUSH2 0x1409
00001404: JUMPI
00001405: PUSH1 0x00
00001407: DUP1
00001408: REVERT
00001409: JUMPDEST
0000140a: POP
0000140b: GAS
0000140c: CALL
0000140d: ISZERO
0000140e: DUP1
0000140f: ISZERO
00001410: PUSH2 0x141d
00001413: JUMPI
00001414: RETURNDATASIZE
00001415: PUSH1 0x00
00001417: DUP1
00001418: RETURNDATACOPY
00001419: RETURNDATASIZE
0000141a: PUSH1 0x00
0000141c: REVERT
0000141d: JUMPDEST
0000141e: POP
0000141f: POP
00001420: POP
00001421: POP
00001422: PUSH1 0x01
00001424: PUSH1 0x01
00001426: PUSH1 0xa0
00001428: SHL
00001429: SUB
0000142a: DUP2
0000142b: AND
0000142c: PUSH1 0x00
0000142e: SWAP1
0000142f: DUP2
00001430: MSTORE
00001431: PUSH1 0x09
00001433: PUSH1 0x20
00001435: MSTORE
00001436: PUSH1 0x40
00001438: SWAP1
00001439: KECCAK256
0000143a: DUP1
0000143b: SLOAD
0000143c: PUSH1 0xff
0000143e: NOT
0000143f: AND
00001440: SWAP1
00001441: SSTORE
00001442: PUSH2 0x144c
00001445: PUSH1 0x08
00001447: DUP3
00001448: PUSH2 0x1f86
0000144b: JUMP
0000144c: JUMPDEST
0000144d: PUSH1 0x40
0000144f: MLOAD
00001450: PUSH1 0x01
00001452: PUSH1 0x01
00001454: PUSH1 0xa0
00001456: SHL
00001457: SUB
00001458: DUP3
00001459: AND
0000145a: SWAP1
0000145b: PUSH32 0x0a1ee69f55c33d8467c69ca59ce2007a737a88603d75392972520bf67cb513b8
0000147c: SWAP1
0000147d: PUSH1 0x00
0000147f: SWAP1
00001480: LOG2
00001481: POP
00001482: JUMP
00001483: JUMPDEST
00001484: PUSH1 0x00
00001486: PUSH2 0x0957
00001489: PUSH2 0x1490
0000148c: PUSH2 0x1a79
0000148f: JUMP
00001490: JUMPDEST
00001491: DUP5
00001492: PUSH2 0x0c22
00001495: DUP6
00001496: PUSH1 0x40
00001498: MLOAD
00001499: DUP1
0000149a: PUSH1 0x60
0000149c: ADD
0000149d: PUSH1 0x40
0000149f: MSTORE
000014a0: DUP1
000014a1: PUSH1 0x25
000014a3: DUP2
000014a4: MSTORE
000014a5: PUSH1 0x20
000014a7: ADD
000014a8: PUSH2 0x36bb
000014ab: PUSH1 0x25
000014ad: SWAP2
000014ae: CODECOPY
000014af: PUSH1 0x01
000014b1: PUSH1 0x00
000014b3: PUSH2 0x14ba
000014b6: PUSH2 0x1a79
000014b9: JUMP
000014ba: JUMPDEST
000014bb: PUSH1 0x01
000014bd: PUSH1 0x01
000014bf: PUSH1 0xa0
000014c1: SHL
000014c2: SUB
000014c3: SWAP1
000014c4: DUP2
000014c5: AND
000014c6: DUP3
000014c7: MSTORE
000014c8: PUSH1 0x20
000014ca: DUP1
000014cb: DUP4
000014cc: ADD
000014cd: SWAP4
000014ce: SWAP1
000014cf: SWAP4
000014d0: MSTORE
000014d1: PUSH1 0x40
000014d3: SWAP2
000014d4: DUP3
000014d5: ADD
000014d6: PUSH1 0x00
000014d8: SWAP1
000014d9: DUP2
000014da: KECCAK256
000014db: SWAP2
000014dc: DUP14
000014dd: AND
000014de: DUP2
000014df: MSTORE
000014e0: SWAP3
000014e1: MSTORE
000014e2: SWAP1
000014e3: KECCAK256
000014e4: SLOAD
000014e5: SWAP2
000014e6: SWAP1
000014e7: PUSH4 0xffffffff
000014ec: PUSH2 0x1cc4
000014ef: AND
000014f0: JUMP
000014f1: JUMPDEST
000014f2: PUSH1 0x0a
000014f4: SLOAD
000014f5: PUSH1 0xff
000014f7: AND
000014f8: DUP2
000014f9: JUMP
000014fa: JUMPDEST
000014fb: PUSH2 0x1502
000014fe: PUSH2 0x1cf0
00001501: JUMP
00001502: JUMPDEST
00001503: PUSH1 0x0a
00001505: SLOAD
00001506: PUSH1 0xff
00001508: AND
00001509: PUSH2 0x1524
0000150c: JUMPI
0000150d: PUSH1 0x40
0000150f: MLOAD
00001510: PUSH3 0x461bcd
00001514: PUSH1 0xe5
00001516: SHL
00001517: DUP2
00001518: MSTORE
00001519: PUSH1 0x04
0000151b: ADD
0000151c: PUSH2 0x0984
0000151f: SWAP1
00001520: PUSH2 0x3276
00001523: JUMP
00001524: JUMPDEST
00001525: PUSH1 0x07
00001527: SLOAD
00001528: PUSH1 0x01
0000152a: PUSH1 0x01
0000152c: PUSH1 0xa0
0000152e: SHL
0000152f: SUB
00001530: AND
00001531: CALLER
00001532: EQ
00001533: PUSH2 0x154e
00001536: JUMPI
00001537: PUSH1 0x40
00001539: MLOAD
0000153a: PUSH3 0x461bcd
0000153e: PUSH1 0xe5
00001540: SHL
00001541: DUP2
00001542: MSTORE
00001543: PUSH1 0x04
00001545: ADD
00001546: PUSH2 0x0984
00001549: SWAP1
0000154a: PUSH2 0x3306
0000154d: JUMP
0000154e: JUMPDEST
0000154f: PUSH1 0x07
00001551: DUP1
00001552: SLOAD
00001553: PUSH1 0x01
00001555: PUSH1 0x01
00001557: PUSH1 0xa0
00001559: SHL
0000155a: SUB
0000155b: NOT
0000155c: AND
0000155d: SWAP1
0000155e: SSTORE
0000155f: PUSH1 0x0a
00001561: DUP1
00001562: SLOAD
00001563: PUSH1 0xff
00001565: NOT
00001566: AND
00001567: SWAP1
00001568: SSTORE
00001569: JUMP
0000156a: JUMPDEST
0000156b: PUSH1 0x60
0000156d: PUSH2 0x095b
00001570: DUP3
00001571: PUSH2 0x20b3
00001574: JUMP
00001575: JUMPDEST
00001576: PUSH1 0x00
00001578: PUSH2 0x0957
0000157b: PUSH2 0x1582
0000157e: PUSH2 0x1a79
00001581: JUMP
00001582: JUMPDEST
00001583: DUP5
00001584: DUP5
00001585: PUSH2 0x1ba3
00001588: JUMP
00001589: JUMPDEST
0000158a: PUSH2 0x1591
0000158d: PUSH2 0x1cf0
00001590: JUMP
00001591: JUMPDEST
00001592: PUSH2 0x1599
00001595: PUSH2 0x1dcd
00001598: JUMP
00001599: JUMPDEST
0000159a: PUSH1 0x01
0000159c: PUSH1 0x01
0000159e: PUSH1 0xa0
000015a0: SHL
000015a1: SUB
000015a2: DUP3
000015a3: AND
000015a4: PUSH1 0x00
000015a6: SWAP1
000015a7: DUP2
000015a8: MSTORE
000015a9: PUSH1 0x0c
000015ab: PUSH1 0x20
000015ad: MSTORE
000015ae: PUSH1 0x40
000015b0: SWAP1
000015b1: KECCAK256
000015b2: PUSH2 0x15c4
000015b5: SWAP1
000015b6: PUSH1 0x01
000015b8: ADD
000015b9: DUP3
000015ba: PUSH4 0xffffffff
000015bf: PUSH2 0x1f86
000015c2: AND
000015c3: JUMP
000015c4: JUMPDEST
000015c5: PUSH1 0x01
000015c7: PUSH1 0x01
000015c9: PUSH1 0xa0
000015cb: SHL
000015cc: SUB
000015cd: DUP1
000015ce: DUP4
000015cf: AND
000015d0: PUSH1 0x00
000015d2: SWAP1
000015d3: DUP2
000015d4: MSTORE
000015d5: PUSH1 0x0c
000015d7: PUSH1 0x20
000015d9: SWAP1
000015da: DUP2
000015db: MSTORE
000015dc: PUSH1 0x40
000015de: DUP1
000015df: DUP4
000015e0: KECCAK256
000015e1: SWAP4
000015e2: DUP6
000015e3: AND
000015e4: DUP4
000015e5: MSTORE
000015e6: PUSH1 0x02
000015e8: SWAP1
000015e9: SWAP4
000015ea: ADD
000015eb: SWAP1
000015ec: MSTORE
000015ed: SWAP1
000015ee: DUP2
000015ef: KECCAK256
000015f0: DUP2
000015f1: DUP2
000015f2: SSTORE
000015f3: SWAP1
000015f4: PUSH2 0x1600
000015f7: PUSH1 0x01
000015f9: DUP4
000015fa: ADD
000015fb: DUP3
000015fc: PUSH2 0x297d
000015ff: JUMP
00001600: JUMPDEST
00001601: POP
00001602: POP
00001603: DUP1
00001604: PUSH1 0x01
00001606: PUSH1 0x01
00001608: PUSH1 0xa0
0000160a: SHL
0000160b: SUB
0000160c: AND
0000160d: DUP3
0000160e: PUSH1 0x01
00001610: PUSH1 0x01
00001612: PUSH1 0xa0
00001614: SHL
00001615: SUB
00001616: AND
00001617: PUSH32 0x5d0275f68d583838a7e2be68e3ef8ac2c1f9d4eeaa4b223360f4cd093a160d75
00001638: PUSH1 0x40
0000163a: MLOAD
0000163b: PUSH1 0x40
0000163d: MLOAD
0000163e: DUP1
0000163f: SWAP2
00001640: SUB
00001641: SWAP1
00001642: LOG3
00001643: POP
00001644: POP
00001645: JUMP
00001646: JUMPDEST
00001647: PUSH1 0x60
00001649: PUSH1 0x08
0000164b: DUP1
0000164c: SLOAD
0000164d: DUP1
0000164e: PUSH1 0x20
00001650: MUL
00001651: PUSH1 0x20
00001653: ADD
00001654: PUSH1 0x40
00001656: MLOAD
00001657: SWAP1
00001658: DUP2
00001659: ADD
0000165a: PUSH1 0x40
0000165c: MSTORE
0000165d: DUP1
0000165e: SWAP3
0000165f: SWAP2
00001660: SWAP1
00001661: DUP2
00001662: DUP2
00001663: MSTORE
00001664: PUSH1 0x20
00001666: ADD
00001667: DUP3
00001668: DUP1
00001669: SLOAD
0000166a: DUP1
0000166b: ISZERO
0000166c: PUSH2 0x0938
0000166f: JUMPI
00001670: PUSH1 0x20
00001672: MUL
00001673: DUP3
00001674: ADD
00001675: SWAP2
00001676: SWAP1
00001677: PUSH1 0x00
00001679: MSTORE
0000167a: PUSH1 0x20
0000167c: PUSH1 0x00
0000167e: KECCAK256
0000167f: SWAP1
00001680: DUP2
00001681: SLOAD
00001682: PUSH1 0x01
00001684: PUSH1 0x01
00001686: PUSH1 0xa0
00001688: SHL
00001689: SUB
0000168a: AND
0000168b: DUP2
0000168c: MSTORE
0000168d: PUSH1 0x01
0000168f: SWAP1
00001690: SWAP2
00001691: ADD
00001692: SWAP1
00001693: PUSH1 0x20
00001695: ADD
00001696: DUP1
00001697: DUP4
00001698: GT
00001699: PUSH2 0x131c
0000169c: JUMPI
0000169d: POP
0000169e: POP
0000169f: POP
000016a0: POP
000016a1: POP
000016a2: SWAP1
000016a3: POP
000016a4: SWAP1
000016a5: JUMP
000016a6: JUMPDEST
000016a7: PUSH2 0x16ae
000016aa: PUSH2 0x1cf0
000016ad: JUMP
000016ae: JUMPDEST
000016af: PUSH2 0x16b6
000016b2: PUSH2 0x1dcd
000016b5: JUMP
000016b6: JUMPDEST
000016b7: PUSH2 0x16bf
000016ba: DUP2
000016bb: PUSH2 0x2395
000016be: JUMP
000016bf: JUMPDEST
000016c0: PUSH1 0x0d
000016c2: DUP2
000016c3: SWAP1
000016c4: SSTORE
000016c5: PUSH1 0x40
000016c7: MLOAD
000016c8: PUSH32 0xc4e78b3245dc105eefced18655b978e194ff858545a1080f2888dc3b6ae8df0a
000016e9: SWAP1
000016ea: PUSH2 0x16f4
000016ed: SWAP1
000016ee: DUP4
000016ef: SWAP1
000016f0: PUSH2 0x2e0f
000016f3: JUMP
000016f4: JUMPDEST
000016f5: PUSH1 0x40
000016f7: MLOAD
000016f8: DUP1
000016f9: SWAP2
000016fa: SUB
000016fb: SWAP1
000016fc: LOG1
000016fd: POP
000016fe: JUMP
000016ff: JUMPDEST
00001700: PUSH1 0x0b
00001702: DUP2
00001703: DUP2
00001704: SLOAD
00001705: DUP2
00001706: LT
00001707: PUSH2 0x11ae
0000170a: JUMPI
0000170b: INVALID
0000170c: JUMPDEST
0000170d: PUSH2 0x1714
00001710: PUSH2 0x1b31
00001713: JUMP
00001714: JUMPDEST
00001715: PUSH1 0x0a
00001717: SLOAD
00001718: PUSH1 0xff
0000171a: AND
0000171b: ISZERO
0000171c: PUSH2 0x1737
0000171f: JUMPI
00001720: PUSH1 0x40
00001722: MLOAD
00001723: PUSH3 0x461bcd
00001727: PUSH1 0xe5
00001729: SHL
0000172a: DUP2
0000172b: MSTORE
0000172c: PUSH1 0x04
0000172e: ADD
0000172f: PUSH2 0x0984
00001732: SWAP1
00001733: PUSH2 0x34b1
00001736: JUMP
00001737: JUMPDEST
00001738: PUSH1 0x01
0000173a: PUSH1 0x01
0000173c: PUSH1 0x01
0000173e: PUSH1 0xa0
00001740: SHL
00001741: SUB
00001742: DUP3
00001743: AND
00001744: PUSH1 0x00
00001746: SWAP1
00001747: DUP2
00001748: MSTORE
00001749: PUSH1 0x09
0000174b: PUSH1 0x20
0000174d: MSTORE
0000174e: PUSH1 0x40
00001750: SWAP1
00001751: KECCAK256
00001752: SLOAD
00001753: PUSH1 0xff
00001755: AND
00001756: PUSH1 0x02
00001758: DUP2
00001759: GT
0000175a: ISZERO
0000175b: PUSH2 0x1760
0000175e: JUMPI
0000175f: INVALID
00001760: JUMPDEST
00001761: EQ
00001762: PUSH2 0x177d
00001765: JUMPI
00001766: PUSH1 0x40
00001768: MLOAD
00001769: PUSH3 0x461bcd
0000176d: PUSH1 0xe5
0000176f: SHL
00001770: DUP2
00001771: MSTORE
00001772: PUSH1 0x04
00001774: ADD
00001775: PUSH2 0x0984
00001778: SWAP1
00001779: PUSH2 0x3541
0000177c: JUMP
0000177d: JUMPDEST
0000177e: PUSH1 0x01
00001780: PUSH1 0x01
00001782: PUSH1 0xa0
00001784: SHL
00001785: SUB
00001786: DUP2
00001787: AND
00001788: PUSH1 0x00
0000178a: DUP2
0000178b: DUP2
0000178c: MSTORE
0000178d: PUSH1 0x09
0000178f: PUSH1 0x20
00001791: MSTORE
00001792: PUSH1 0x40
00001794: DUP1
00001795: DUP3
00001796: KECCAK256
00001797: DUP1
00001798: SLOAD
00001799: PUSH1 0xff
0000179b: NOT
0000179c: AND
0000179d: SWAP1
0000179e: SSTORE
0000179f: MLOAD
000017a0: PUSH32 0xd6b18042563148f38d728c1c4d339ffd515b632d0ad2e1833b822412f3f4d877
000017c1: SWAP2
000017c2: SWAP1
000017c3: LOG2
000017c4: POP
000017c5: JUMP
000017c6: JUMPDEST
000017c7: PUSH2 0x17ce
000017ca: PUSH2 0x1b31
000017cd: JUMP
000017ce: JUMPDEST
000017cf: PUSH1 0x0a
000017d1: SLOAD
000017d2: PUSH1 0xff
000017d4: AND
000017d5: ISZERO
000017d6: PUSH2 0x17f1
000017d9: JUMPI
000017da: PUSH1 0x40
000017dc: MLOAD
000017dd: PUSH3 0x461bcd
000017e1: PUSH1 0xe5
000017e3: SHL
000017e4: DUP2
000017e5: MSTORE
000017e6: PUSH1 0x04
000017e8: ADD
000017e9: PUSH2 0x0984
000017ec: SWAP1
000017ed: PUSH2 0x34b1
000017f0: JUMP
000017f1: JUMPDEST
000017f2: PUSH1 0x06
000017f4: DUP1
000017f5: SLOAD
000017f6: PUSH1 0x01
000017f8: PUSH1 0x01
000017fa: PUSH1 0xa0
000017fc: SHL
000017fd: SUB
000017fe: DUP4
000017ff: DUP2
00001800: AND
00001801: PUSH1 0x01
00001803: PUSH1 0x01
00001805: PUSH1 0xa0
00001807: SHL
00001808: SUB
00001809: NOT
0000180a: DUP4
0000180b: AND
0000180c: OR
0000180d: SWAP1
0000180e: SWAP3
0000180f: SSTORE
00001810: PUSH1 0x40
00001812: MLOAD
00001813: SWAP2
00001814: AND
00001815: SWAP1
00001816: PUSH32 0x43fcfef38622d6a5b118be09c27a6ed8cbdbfca21f0ea9245412ce8031c0423c
00001837: SWAP1
00001838: PUSH2 0x1844
0000183b: SWAP1
0000183c: DUP5
0000183d: SWAP1
0000183e: DUP5
0000183f: SWAP1
00001840: PUSH2 0x2c8e
00001843: JUMP
00001844: JUMPDEST
00001845: PUSH1 0x40
00001847: MLOAD
00001848: DUP1
00001849: SWAP2
0000184a: SUB
0000184b: SWAP1
0000184c: LOG1
0000184d: POP
0000184e: POP
0000184f: JUMP
00001850: JUMPDEST
00001851: PUSH1 0x07
00001853: SLOAD
00001854: PUSH1 0x01
00001856: PUSH1 0x01
00001858: PUSH1 0xa0
0000185a: SHL
0000185b: SUB
0000185c: AND
0000185d: DUP2
0000185e: JUMP
0000185f: JUMPDEST
00001860: PUSH1 0x00
00001862: PUSH1 0x02
00001864: PUSH2 0x0e9b
00001867: JUMP
00001868: JUMPDEST
00001869: PUSH1 0x01
0000186b: PUSH1 0x01
0000186d: PUSH1 0xa0
0000186f: SHL
00001870: SUB
00001871: SWAP2
00001872: DUP3
00001873: AND
00001874: PUSH1 0x00
00001876: SWAP1
00001877: DUP2
00001878: MSTORE
00001879: PUSH1 0x01
0000187b: PUSH1 0x20
0000187d: SWAP1
0000187e: DUP2
0000187f: MSTORE
00001880: PUSH1 0x40
00001882: DUP1
00001883: DUP4
00001884: KECCAK256
00001885: SWAP4
00001886: SWAP1
00001887: SWAP5
00001888: AND
00001889: DUP3
0000188a: MSTORE
0000188b: SWAP2
0000188c: SWAP1
0000188d: SWAP2
0000188e: MSTORE
0000188f: KECCAK256
00001890: SLOAD
00001891: SWAP1
00001892: JUMP
00001893: JUMPDEST
00001894: PUSH1 0x00
00001896: PUSH2 0x095b
00001899: DUP3
0000189a: PUSH1 0x0b
0000189c: DUP1
0000189d: SLOAD
0000189e: DUP1
0000189f: PUSH1 0x20
000018a1: MUL
000018a2: PUSH1 0x20
000018a4: ADD
000018a5: PUSH1 0x40
000018a7: MLOAD
000018a8: SWAP1
000018a9: DUP2
000018aa: ADD
000018ab: PUSH1 0x40
000018ad: MSTORE
000018ae: DUP1
000018af: SWAP3
000018b0: SWAP2
000018b1: SWAP1
000018b2: DUP2
000018b3: DUP2
000018b4: MSTORE
000018b5: PUSH1 0x20
000018b7: ADD
000018b8: DUP3
000018b9: DUP1
000018ba: SLOAD
000018bb: DUP1
000018bc: ISZERO
000018bd: PUSH2 0x18ef
000018c0: JUMPI
000018c1: PUSH1 0x20
000018c3: MUL
000018c4: DUP3
000018c5: ADD
000018c6: SWAP2
000018c7: SWAP1
000018c8: PUSH1 0x00
000018ca: MSTORE
000018cb: PUSH1 0x20
000018cd: PUSH1 0x00
000018cf: KECCAK256
000018d0: SWAP1
000018d1: JUMPDEST
000018d2: DUP2
000018d3: SLOAD
000018d4: PUSH1 0x01
000018d6: PUSH1 0x01
000018d8: PUSH1 0xa0
000018da: SHL
000018db: SUB
000018dc: AND
000018dd: DUP2
000018de: MSTORE
000018df: PUSH1 0x01
000018e1: SWAP1
000018e2: SWAP2
000018e3: ADD
000018e4: SWAP1
000018e5: PUSH1 0x20
000018e7: ADD
000018e8: DUP1
000018e9: DUP4
000018ea: GT
000018eb: PUSH2 0x18d1
000018ee: JUMPI
000018ef: JUMPDEST
000018f0: POP
000018f1: POP
000018f2: POP
000018f3: POP
000018f4: POP
000018f5: PUSH2 0x212c
000018f8: SWAP1
000018f9: SWAP2
000018fa: SWAP1
000018fb: PUSH4 0xffffffff
00001900: AND
00001901: JUMP
00001902: JUMPDEST
00001903: PUSH2 0x190a
00001906: PUSH2 0x1cf0
00001909: JUMP
0000190a: JUMPDEST
0000190b: PUSH2 0x1912
0000190e: PUSH2 0x1dcd
00001911: JUMP
00001912: JUMPDEST
00001913: PUSH2 0x191c
00001916: DUP3
00001917: DUP3
00001918: PUSH2 0x0fc9
0000191b: JUMP
0000191c: JUMPDEST
0000191d: ISZERO
0000191e: PUSH2 0x1939
00001921: JUMPI
00001922: PUSH1 0x40
00001924: MLOAD
00001925: PUSH3 0x461bcd
00001929: PUSH1 0xe5
0000192b: SHL
0000192c: DUP2
0000192d: MSTORE
0000192e: PUSH1 0x04
00001930: ADD
00001931: PUSH2 0x0984
00001934: SWAP1
00001935: PUSH2 0x2e87
00001938: JUMP
00001939: JUMPDEST
0000193a: PUSH1 0x01
0000193c: PUSH1 0x01
0000193e: PUSH1 0xa0
00001940: SHL
00001941: SUB
00001942: DUP3
00001943: DUP2
00001944: AND
00001945: PUSH1 0x00
00001947: DUP2
00001948: DUP2
00001949: MSTORE
0000194a: PUSH1 0x0c
0000194c: PUSH1 0x20
0000194e: SWAP1
0000194f: DUP2
00001950: MSTORE
00001951: PUSH1 0x40
00001953: DUP1
00001954: DUP4
00001955: KECCAK256
00001956: PUSH1 0x01
00001958: SWAP1
00001959: DUP2
0000195a: ADD
0000195b: DUP1
0000195c: SLOAD
0000195d: SWAP2
0000195e: DUP3
0000195f: ADD
00001960: DUP2
00001961: SSTORE
00001962: DUP5
00001963: MSTORE
00001964: SWAP2
00001965: DUP4
00001966: KECCAK256
00001967: SWAP1
00001968: SWAP2
00001969: ADD
0000196a: DUP1
0000196b: SLOAD
0000196c: PUSH1 0x01
0000196e: PUSH1 0x01
00001970: PUSH1 0xa0
00001972: SHL
00001973: SUB
00001974: NOT
00001975: AND
00001976: SWAP5
00001977: DUP7
00001978: AND
00001979: SWAP5
0000197a: DUP6
0000197b: OR
0000197c: SWAP1
0000197d: SSTORE
0000197e: MLOAD
0000197f: PUSH32 0xf71324fa78e1894b364a1fc8d0535c4208f28c7b380f752afe00c8ce386023fb
000019a0: SWAP2
000019a1: SWAP1
000019a2: LOG3
000019a3: POP
000019a4: POP
000019a5: JUMP
000019a6: JUMPDEST
000019a7: PUSH1 0x00
000019a9: DUP1
000019aa: PUSH2 0x19b2
000019ad: DUP4
000019ae: PUSH2 0x0f48
000019b1: JUMP
000019b2: JUMPDEST
000019b3: SWAP1
000019b4: POP
000019b5: PUSH1 0x60
000019b7: PUSH2 0x19bf
000019ba: DUP5
000019bb: PUSH2 0x20b3
000019be: JUMP
000019bf: JUMPDEST
000019c0: SWAP1
000019c1: POP
000019c2: PUSH1 0x00
000019c4: JUMPDEST
000019c5: DUP2
000019c6: MLOAD
000019c7: DUP2
000019c8: LT
000019c9: ISZERO
000019ca: PUSH2 0x1a04
000019cd: JUMPI
000019ce: PUSH2 0x19fa
000019d1: PUSH2 0x19ed
000019d4: DUP7
000019d5: DUP5
000019d6: DUP5
000019d7: DUP2
000019d8: MLOAD
000019d9: DUP2
000019da: LT
000019db: PUSH2 0x19e0
000019de: JUMPI
000019df: INVALID
000019e0: JUMPDEST
000019e1: PUSH1 0x20
000019e3: MUL
000019e4: PUSH1 0x20
000019e6: ADD
000019e7: ADD
000019e8: MLOAD
000019e9: PUSH2 0x0b89
000019ec: JUMP
000019ed: JUMPDEST
000019ee: DUP5
000019ef: SWAP1
000019f0: PUSH4 0xffffffff
000019f5: PUSH2 0x23d0
000019f8: AND
000019f9: JUMP
000019fa: JUMPDEST
000019fb: SWAP3
000019fc: POP
000019fd: PUSH1 0x01
000019ff: ADD
00001a00: PUSH2 0x19c4
00001a03: JUMP
00001a04: JUMPDEST
00001a05: POP
00001a06: SWAP1
00001a07: SWAP4
00001a08: SWAP3
00001a09: POP
00001a0a: POP
00001a0b: POP
00001a0c: JUMP
00001a0d: JUMPDEST
00001a0e: PUSH1 0x05
00001a10: SLOAD
00001a11: PUSH2 0x0100
00001a14: SWAP1
00001a15: DIV
00001a16: PUSH1 0x01
00001a18: PUSH1 0x01
00001a1a: PUSH1 0xa0
00001a1c: SHL
00001a1d: SUB
00001a1e: AND
00001a1f: DUP2
00001a20: JUMP
00001a21: JUMPDEST
00001a22: PUSH2 0x1a29
00001a25: PUSH2 0x1cf0
00001a28: JUMP
00001a29: JUMPDEST
00001a2a: PUSH1 0x0a
00001a2c: SLOAD
00001a2d: PUSH1 0xff
00001a2f: AND
00001a30: ISZERO
00001a31: PUSH2 0x1a4c
00001a34: JUMPI
00001a35: PUSH1 0x40
00001a37: MLOAD
00001a38: PUSH3 0x461bcd
00001a3c: PUSH1 0xe5
00001a3e: SHL
00001a3f: DUP2
00001a40: MSTORE
00001a41: PUSH1 0x04
00001a43: ADD
00001a44: PUSH2 0x0984
00001a47: SWAP1
00001a48: PUSH2 0x2e18
00001a4b: JUMP
00001a4c: JUMPDEST
00001a4d: PUSH1 0x07
00001a4f: DUP1
00001a50: SLOAD
00001a51: PUSH1 0x01
00001a53: PUSH1 0x01
00001a55: PUSH1 0xa0
00001a57: SHL
00001a58: SUB
00001a59: NOT
00001a5a: AND
00001a5b: CALLER
00001a5c: OR
00001a5d: SWAP1
00001a5e: SSTORE
00001a5f: PUSH1 0x0a
00001a61: DUP1
00001a62: SLOAD
00001a63: PUSH1 0xff
00001a65: NOT
00001a66: AND
00001a67: PUSH1 0x01
00001a69: OR
00001a6a: SWAP1
00001a6b: SSTORE
00001a6c: JUMP
00001a6d: JUMPDEST
00001a6e: PUSH8 0x0de0b6b3a7640000
00001a77: SWAP1
00001a78: JUMP
00001a79: JUMPDEST
00001a7a: CALLER
00001a7b: SWAP1
00001a7c: JUMP
00001a7d: JUMPDEST
00001a7e: PUSH1 0x01
00001a80: PUSH1 0x01
00001a82: PUSH1 0xa0
00001a84: SHL
00001a85: SUB
00001a86: DUP4
00001a87: AND
00001a88: PUSH2 0x1aa3
00001a8b: JUMPI
00001a8c: PUSH1 0x40
00001a8e: MLOAD
00001a8f: PUSH3 0x461bcd
00001a93: PUSH1 0xe5
00001a95: SHL
00001a96: DUP2
00001a97: MSTORE
00001a98: PUSH1 0x04
00001a9a: ADD
00001a9b: PUSH2 0x0984
00001a9e: SWAP1
00001a9f: PUSH2 0x33aa
00001aa2: JUMP
00001aa3: JUMPDEST
00001aa4: PUSH1 0x01
00001aa6: PUSH1 0x01
00001aa8: PUSH1 0xa0
00001aaa: SHL
00001aab: SUB
00001aac: DUP3
00001aad: AND
00001aae: PUSH2 0x1ac9
00001ab1: JUMPI
00001ab2: PUSH1 0x40
00001ab4: MLOAD
00001ab5: PUSH3 0x461bcd
00001ab9: PUSH1 0xe5
00001abb: SHL
00001abc: DUP2
00001abd: MSTORE
00001abe: PUSH1 0x04
00001ac0: ADD
00001ac1: PUSH2 0x0984
00001ac4: SWAP1
00001ac5: PUSH2 0x2f1b
00001ac8: JUMP
00001ac9: JUMPDEST
00001aca: PUSH1 0x01
00001acc: PUSH1 0x01
00001ace: PUSH1 0xa0
00001ad0: SHL
00001ad1: SUB
00001ad2: DUP1
00001ad3: DUP5
00001ad4: AND
00001ad5: PUSH1 0x00
00001ad7: DUP2
00001ad8: DUP2
00001ad9: MSTORE
00001ada: PUSH1 0x01
00001adc: PUSH1 0x20
00001ade: SWAP1
00001adf: DUP2
00001ae0: MSTORE
00001ae1: PUSH1 0x40
00001ae3: DUP1
00001ae4: DUP4
00001ae5: KECCAK256
00001ae6: SWAP5
00001ae7: DUP8
00001ae8: AND
00001ae9: DUP1
00001aea: DUP5
00001aeb: MSTORE
00001aec: SWAP5
00001aed: SWAP1
00001aee: SWAP2
00001aef: MSTORE
00001af0: SWAP1
00001af1: DUP2
00001af2: SWAP1
00001af3: KECCAK256
00001af4: DUP5
00001af5: SWAP1
00001af6: SSTORE
00001af7: MLOAD
00001af8: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00001b19: SWAP1
00001b1a: PUSH2 0x1b24
00001b1d: SWAP1
00001b1e: DUP6
00001b1f: SWAP1
00001b20: PUSH2 0x2e0f
00001b23: JUMP
00001b24: JUMPDEST
00001b25: PUSH1 0x40
00001b27: MLOAD
00001b28: DUP1
00001b29: SWAP2
00001b2a: SUB
00001b2b: SWAP1
00001b2c: LOG3
00001b2d: POP
00001b2e: POP
00001b2f: POP
00001b30: JUMP
00001b31: JUMPDEST
00001b32: PUSH1 0x06
00001b34: SLOAD
00001b35: PUSH1 0x01
00001b37: PUSH1 0x01
00001b39: PUSH1 0xa0
00001b3b: SHL
00001b3c: SUB
00001b3d: AND
00001b3e: CALLER
00001b3f: EQ
00001b40: PUSH2 0x1b5b
00001b43: JUMPI
00001b44: PUSH1 0x40
00001b46: MLOAD
00001b47: PUSH3 0x461bcd
00001b4b: PUSH1 0xe5
00001b4d: SHL
00001b4e: DUP2
00001b4f: MSTORE
00001b50: PUSH1 0x04
00001b52: ADD
00001b53: PUSH2 0x0984
00001b56: SWAP1
00001b57: PUSH2 0x34dd
00001b5a: JUMP
00001b5b: JUMPDEST
00001b5c: JUMP
00001b5d: JUMPDEST
00001b5e: PUSH1 0x01
00001b60: PUSH1 0x01
00001b62: PUSH1 0xa0
00001b64: SHL
00001b65: SUB
00001b66: SWAP2
00001b67: DUP3
00001b68: AND
00001b69: PUSH1 0x00
00001b6b: SWAP1
00001b6c: DUP2
00001b6d: MSTORE
00001b6e: PUSH1 0x0c
00001b70: PUSH1 0x20
00001b72: SWAP1
00001b73: DUP2
00001b74: MSTORE
00001b75: PUSH1 0x40
00001b77: DUP1
00001b78: DUP4
00001b79: KECCAK256
00001b7a: SWAP4
00001b7b: SWAP1
00001b7c: SWAP5
00001b7d: AND
00001b7e: DUP3
00001b7f: MSTORE
00001b80: PUSH1 0x02
00001b82: SWAP1
00001b83: SWAP3
00001b84: ADD
00001b85: SWAP1
00001b86: SWAP2
00001b87: MSTORE
00001b88: KECCAK256
00001b89: SLOAD
00001b8a: SWAP1
00001b8b: JUMP
00001b8c: JUMPDEST
00001b8d: PUSH1 0x00
00001b8f: PUSH2 0x095b
00001b92: PUSH1 0x0d
00001b94: SLOAD
00001b95: DUP4
00001b96: PUSH2 0x2416
00001b99: SWAP1
00001b9a: SWAP2
00001b9b: SWAP1
00001b9c: PUSH4 0xffffffff
00001ba1: AND
00001ba2: JUMP
00001ba3: JUMPDEST
00001ba4: PUSH1 0x01
00001ba6: PUSH1 0x01
00001ba8: PUSH1 0xa0
00001baa: SHL
00001bab: SUB
00001bac: DUP4
00001bad: AND
00001bae: PUSH2 0x1bc9
00001bb1: JUMPI
00001bb2: PUSH1 0x40
00001bb4: MLOAD
00001bb5: PUSH3 0x461bcd
00001bb9: PUSH1 0xe5
00001bbb: SHL
00001bbc: DUP2
00001bbd: MSTORE
00001bbe: PUSH1 0x04
00001bc0: ADD
00001bc1: PUSH2 0x0984
00001bc4: SWAP1
00001bc5: PUSH2 0x332e
00001bc8: JUMP
00001bc9: JUMPDEST
00001bca: PUSH1 0x01
00001bcc: PUSH1 0x01
00001bce: PUSH1 0xa0
00001bd0: SHL
00001bd1: SUB
00001bd2: DUP3
00001bd3: AND
00001bd4: PUSH2 0x1bef
00001bd7: JUMPI
00001bd8: PUSH1 0x40
00001bda: MLOAD
00001bdb: PUSH3 0x461bcd
00001bdf: PUSH1 0xe5
00001be1: SHL
00001be2: DUP2
00001be3: MSTORE
00001be4: PUSH1 0x04
00001be6: ADD
00001be7: PUSH2 0x0984
00001bea: SWAP1
00001beb: PUSH2 0x2e44
00001bee: JUMP
00001bef: JUMPDEST
00001bf0: PUSH2 0x1bfa
00001bf3: DUP4
00001bf4: DUP4
00001bf5: DUP4
00001bf6: PUSH2 0x2439
00001bf9: JUMP
00001bfa: JUMPDEST
00001bfb: PUSH2 0x1c3d
00001bfe: DUP2
00001bff: PUSH1 0x40
00001c01: MLOAD
00001c02: DUP1
00001c03: PUSH1 0x60
00001c05: ADD
00001c06: PUSH1 0x40
00001c08: MSTORE
00001c09: DUP1
00001c0a: PUSH1 0x26
00001c0c: DUP2
00001c0d: MSTORE
00001c0e: PUSH1 0x20
00001c10: ADD
00001c11: PUSH2 0x3644
00001c14: PUSH1 0x26
00001c16: SWAP2
00001c17: CODECOPY
00001c18: PUSH1 0x01
00001c1a: PUSH1 0x01
00001c1c: PUSH1 0xa0
00001c1e: SHL
00001c1f: SUB
00001c20: DUP7
00001c21: AND
00001c22: PUSH1 0x00
00001c24: SWAP1
00001c25: DUP2
00001c26: MSTORE
00001c27: PUSH1 0x20
00001c29: DUP2
00001c2a: SWAP1
00001c2b: MSTORE
00001c2c: PUSH1 0x40
00001c2e: SWAP1
00001c2f: KECCAK256
00001c30: SLOAD
00001c31: SWAP2
00001c32: SWAP1
00001c33: PUSH4 0xffffffff
00001c38: PUSH2 0x1cc4
00001c3b: AND
00001c3c: JUMP
00001c3d: JUMPDEST
00001c3e: PUSH1 0x01
00001c40: PUSH1 0x01
00001c42: PUSH1 0xa0
00001c44: SHL
00001c45: SUB
00001c46: DUP1
00001c47: DUP6
00001c48: AND
00001c49: PUSH1 0x00
00001c4b: SWAP1
00001c4c: DUP2
00001c4d: MSTORE
00001c4e: PUSH1 0x20
00001c50: DUP2
00001c51: SWAP1
00001c52: MSTORE
00001c53: PUSH1 0x40
00001c55: DUP1
00001c56: DUP3
00001c57: KECCAK256
00001c58: SWAP4
00001c59: SWAP1
00001c5a: SWAP4
00001c5b: SSTORE
00001c5c: SWAP1
00001c5d: DUP5
00001c5e: AND
00001c5f: DUP2
00001c60: MSTORE
00001c61: KECCAK256
00001c62: SLOAD
00001c63: PUSH2 0x1c72
00001c66: SWAP1
00001c67: DUP3
00001c68: PUSH4 0xffffffff
00001c6d: PUSH2 0x1e7a
00001c70: AND
00001c71: JUMP
00001c72: JUMPDEST
00001c73: PUSH1 0x01
00001c75: PUSH1 0x01
00001c77: PUSH1 0xa0
00001c79: SHL
00001c7a: SUB
00001c7b: DUP1
00001c7c: DUP5
00001c7d: AND
00001c7e: PUSH1 0x00
00001c80: DUP2
00001c81: DUP2
00001c82: MSTORE
00001c83: PUSH1 0x20
00001c85: DUP2
00001c86: SWAP1
00001c87: MSTORE
00001c88: PUSH1 0x40
00001c8a: SWAP1
00001c8b: DUP2
00001c8c: SWAP1
00001c8d: KECCAK256
00001c8e: SWAP4
00001c8f: SWAP1
00001c90: SWAP4
00001c91: SSTORE
00001c92: SWAP2
00001c93: MLOAD
00001c94: SWAP1
00001c95: DUP6
00001c96: AND
00001c97: SWAP1
00001c98: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001cb9: SWAP1
00001cba: PUSH2 0x1b24
00001cbd: SWAP1
00001cbe: DUP6
00001cbf: SWAP1
00001cc0: PUSH2 0x2e0f
00001cc3: JUMP
00001cc4: JUMPDEST
00001cc5: PUSH1 0x00
00001cc7: DUP2
00001cc8: DUP5
00001cc9: DUP5
00001cca: GT
00001ccb: ISZERO
00001ccc: PUSH2 0x1ce8
00001ccf: JUMPI
00001cd0: PUSH1 0x40
00001cd2: MLOAD
00001cd3: PUSH3 0x461bcd
00001cd7: PUSH1 0xe5
00001cd9: SHL
00001cda: DUP2
00001cdb: MSTORE
00001cdc: PUSH1 0x04
00001cde: ADD
00001cdf: PUSH2 0x0984
00001ce2: SWAP2
00001ce3: SWAP1
00001ce4: PUSH2 0x2de8
00001ce7: JUMP
00001ce8: JUMPDEST
00001ce9: POP
00001cea: POP
00001ceb: POP
00001cec: SWAP1
00001ced: SUB
00001cee: SWAP1
00001cef: JUMP
00001cf0: JUMPDEST
00001cf1: PUSH1 0x02
00001cf3: CALLER
00001cf4: PUSH1 0x00
00001cf6: SWAP1
00001cf7: DUP2
00001cf8: MSTORE
00001cf9: PUSH1 0x09
00001cfb: PUSH1 0x20
00001cfd: MSTORE
00001cfe: PUSH1 0x40
00001d00: SWAP1
00001d01: KECCAK256
00001d02: SLOAD
00001d03: PUSH1 0xff
00001d05: AND
00001d06: PUSH1 0x02
00001d08: DUP2
00001d09: GT
00001d0a: ISZERO
00001d0b: PUSH2 0x1d10
00001d0e: JUMPI
00001d0f: INVALID
00001d10: JUMPDEST
00001d11: EQ
00001d12: PUSH2 0x1d2d
00001d15: JUMPI
00001d16: PUSH1 0x40
00001d18: MLOAD
00001d19: PUSH3 0x461bcd
00001d1d: PUSH1 0xe5
00001d1f: SHL
00001d20: DUP2
00001d21: MSTORE
00001d22: PUSH1 0x04
00001d24: ADD
00001d25: PUSH2 0x0984
00001d28: SWAP1
00001d29: PUSH2 0x310a
00001d2c: JUMP
00001d2d: JUMPDEST
00001d2e: PUSH1 0x05
00001d30: SLOAD
00001d31: PUSH1 0x40
00001d33: MLOAD
00001d34: PUSH4 0x42f6e389
00001d39: PUSH1 0xe0
00001d3b: SHL
00001d3c: DUP2
00001d3d: MSTORE
00001d3e: PUSH2 0x0100
00001d41: SWAP1
00001d42: SWAP2
00001d43: DIV
00001d44: PUSH1 0x01
00001d46: PUSH1 0x01
00001d48: PUSH1 0xa0
00001d4a: SHL
00001d4b: SUB
00001d4c: AND
00001d4d: SWAP1
00001d4e: PUSH4 0x42f6e389
00001d53: SWAP1
00001d54: PUSH2 0x1d61
00001d57: SWAP1
00001d58: CALLER
00001d59: SWAP1
00001d5a: PUSH1 0x04
00001d5c: ADD
00001d5d: PUSH2 0x2c7a
00001d60: JUMP
00001d61: JUMPDEST
00001d62: PUSH1 0x20
00001d64: PUSH1 0x40
00001d66: MLOAD
00001d67: DUP1
00001d68: DUP4
00001d69: SUB
00001d6a: DUP2
00001d6b: DUP7
00001d6c: DUP1
00001d6d: EXTCODESIZE
00001d6e: ISZERO
00001d6f: DUP1
00001d70: ISZERO
00001d71: PUSH2 0x1d79
00001d74: JUMPI
00001d75: PUSH1 0x00
00001d77: DUP1
00001d78: REVERT
00001d79: JUMPDEST
00001d7a: POP
00001d7b: GAS
00001d7c: STATICCALL
00001d7d: ISZERO
00001d7e: DUP1
00001d7f: ISZERO
00001d80: PUSH2 0x1d8d
00001d83: JUMPI
00001d84: RETURNDATASIZE
00001d85: PUSH1 0x00
00001d87: DUP1
00001d88: RETURNDATACOPY
00001d89: RETURNDATASIZE
00001d8a: PUSH1 0x00
00001d8c: REVERT
00001d8d: JUMPDEST
00001d8e: POP
00001d8f: POP
00001d90: POP
00001d91: POP
00001d92: PUSH1 0x40
00001d94: MLOAD
00001d95: RETURNDATASIZE
00001d96: PUSH1 0x1f
00001d98: NOT
00001d99: PUSH1 0x1f
00001d9b: DUP3
00001d9c: ADD
00001d9d: AND
00001d9e: DUP3
00001d9f: ADD
00001da0: DUP1
00001da1: PUSH1 0x40
00001da3: MSTORE
00001da4: POP
00001da5: DUP2
00001da6: ADD
00001da7: SWAP1
00001da8: PUSH2 0x1db1
00001dab: SWAP2
00001dac: SWAP1
00001dad: PUSH2 0x2bd0
00001db0: JUMP
00001db1: JUMPDEST
00001db2: PUSH2 0x1b5b
00001db5: JUMPI
00001db6: PUSH1 0x40
00001db8: MLOAD
00001db9: PUSH3 0x461bcd
00001dbd: PUSH1 0xe5
00001dbf: SHL
00001dc0: DUP2
00001dc1: MSTORE
00001dc2: PUSH1 0x04
00001dc4: ADD
00001dc5: PUSH2 0x0984
00001dc8: SWAP1
00001dc9: PUSH2 0x346d
00001dcc: JUMP
00001dcd: JUMPDEST
00001dce: PUSH1 0x0a
00001dd0: SLOAD
00001dd1: PUSH1 0xff
00001dd3: AND
00001dd4: ISZERO
00001dd5: PUSH2 0x1b5b
00001dd8: JUMPI
00001dd9: PUSH1 0x07
00001ddb: SLOAD
00001ddc: PUSH1 0x01
00001dde: PUSH1 0x01
00001de0: PUSH1 0xa0
00001de2: SHL
00001de3: SUB
00001de4: AND
00001de5: CALLER
00001de6: EQ
00001de7: PUSH2 0x1b5b
00001dea: JUMPI
00001deb: PUSH1 0x40
00001ded: MLOAD
00001dee: PUSH3 0x461bcd
00001df2: PUSH1 0xe5
00001df4: SHL
00001df5: DUP2
00001df6: MSTORE
00001df7: PUSH1 0x04
00001df9: ADD
00001dfa: PUSH2 0x0984
00001dfd: SWAP1
00001dfe: PUSH2 0x3090
00001e01: JUMP
00001e02: JUMPDEST
00001e03: PUSH1 0x00
00001e05: DUP1
00001e06: PUSH2 0x1e1a
00001e09: PUSH1 0x0d
00001e0b: SLOAD
00001e0c: DUP5
00001e0d: PUSH2 0x243e
00001e10: SWAP1
00001e11: SWAP2
00001e12: SWAP1
00001e13: PUSH4 0xffffffff
00001e18: AND
00001e19: JUMP
00001e1a: JUMPDEST
00001e1b: SWAP1
00001e1c: POP
00001e1d: PUSH1 0x00
00001e1f: DUP4
00001e20: SGT
00001e21: DUP1
00001e22: ISZERO
00001e23: PUSH2 0x1e2a
00001e26: JUMPI
00001e27: POP
00001e28: DUP1
00001e29: ISZERO
00001e2a: JUMPDEST
00001e2b: ISZERO
00001e2c: PUSH2 0x1e47
00001e2f: JUMPI
00001e30: PUSH1 0x40
00001e32: MLOAD
00001e33: PUSH3 0x461bcd
00001e37: PUSH1 0xe5
00001e39: SHL
00001e3a: DUP2
00001e3b: MSTORE
00001e3c: PUSH1 0x04
00001e3e: ADD
00001e3f: PUSH2 0x0984
00001e42: SWAP1
00001e43: PUSH2 0x31b1
00001e46: JUMP
00001e47: JUMPDEST
00001e48: PUSH1 0x00
00001e4a: DUP4
00001e4b: SGT
00001e4c: DUP1
00001e4d: ISZERO
00001e4e: PUSH2 0x1e5d
00001e51: JUMPI
00001e52: POP
00001e53: PUSH2 0x1e5b
00001e56: DUP2
00001e57: PUSH2 0x1b8c
00001e5a: JUMP
00001e5b: JUMPDEST
00001e5c: ISZERO
00001e5d: JUMPDEST
00001e5e: ISZERO
00001e5f: PUSH2 0x095b
00001e62: JUMPI
00001e63: PUSH1 0x40
00001e65: MLOAD
00001e66: PUSH3 0x461bcd
00001e6a: PUSH1 0xe5
00001e6c: SHL
00001e6d: DUP2
00001e6e: MSTORE
00001e6f: PUSH1 0x04
00001e71: ADD
00001e72: PUSH2 0x0984
00001e75: SWAP1
00001e76: PUSH2 0x2f94
00001e79: JUMP
00001e7a: JUMPDEST
00001e7b: PUSH1 0x00
00001e7d: DUP3
00001e7e: DUP3
00001e7f: ADD
00001e80: DUP4
00001e81: DUP2
00001e82: LT
00001e83: ISZERO
00001e84: PUSH2 0x0b9d
00001e87: JUMPI
00001e88: PUSH1 0x40
00001e8a: MLOAD
00001e8b: PUSH3 0x461bcd
00001e8f: PUSH1 0xe5
00001e91: SHL
00001e92: DUP2
00001e93: MSTORE
00001e94: PUSH1 0x04
00001e96: ADD
00001e97: PUSH2 0x0984
00001e9a: SWAP1
00001e9b: PUSH2 0x2f5d
00001e9e: JUMP
00001e9f: JUMPDEST
00001ea0: PUSH1 0x01
00001ea2: PUSH1 0x01
00001ea4: PUSH1 0xa0
00001ea6: SHL
00001ea7: SUB
00001ea8: DUP3
00001ea9: AND
00001eaa: PUSH2 0x1ec5
00001ead: JUMPI
00001eae: PUSH1 0x40
00001eb0: MLOAD
00001eb1: PUSH3 0x461bcd
00001eb5: PUSH1 0xe5
00001eb7: SHL
00001eb8: DUP2
00001eb9: MSTORE
00001eba: PUSH1 0x04
00001ebc: ADD
00001ebd: PUSH2 0x0984
00001ec0: SWAP1
00001ec1: PUSH2 0x3571
00001ec4: JUMP
00001ec5: JUMPDEST
00001ec6: PUSH2 0x1ed1
00001ec9: PUSH1 0x00
00001ecb: DUP4
00001ecc: DUP4
00001ecd: PUSH2 0x2439
00001ed0: JUMP
00001ed1: JUMPDEST
00001ed2: PUSH1 0x02
00001ed4: SLOAD
00001ed5: PUSH2 0x1ee4
00001ed8: SWAP1
00001ed9: DUP3
00001eda: PUSH4 0xffffffff
00001edf: PUSH2 0x1e7a
00001ee2: AND
00001ee3: JUMP
00001ee4: JUMPDEST
00001ee5: PUSH1 0x02
00001ee7: SSTORE
00001ee8: PUSH1 0x01
00001eea: PUSH1 0x01
00001eec: PUSH1 0xa0
00001eee: SHL
00001eef: SUB
00001ef0: DUP3
00001ef1: AND
00001ef2: PUSH1 0x00
00001ef4: SWAP1
00001ef5: DUP2
00001ef6: MSTORE
00001ef7: PUSH1 0x20
00001ef9: DUP2
00001efa: SWAP1
00001efb: MSTORE
00001efc: PUSH1 0x40
00001efe: SWAP1
00001eff: KECCAK256
00001f00: SLOAD
00001f01: PUSH2 0x1f10
00001f04: SWAP1
00001f05: DUP3
00001f06: PUSH4 0xffffffff
00001f0b: PUSH2 0x1e7a
00001f0e: AND
00001f0f: JUMP
00001f10: JUMPDEST
00001f11: PUSH1 0x01
00001f13: PUSH1 0x01
00001f15: PUSH1 0xa0
00001f17: SHL
00001f18: SUB
00001f19: DUP4
00001f1a: AND
00001f1b: PUSH1 0x00
00001f1d: DUP2
00001f1e: DUP2
00001f1f: MSTORE
00001f20: PUSH1 0x20
00001f22: DUP2
00001f23: SWAP1
00001f24: MSTORE
00001f25: PUSH1 0x40
00001f27: DUP1
00001f28: DUP3
00001f29: KECCAK256
00001f2a: SWAP4
00001f2b: SWAP1
00001f2c: SWAP4
00001f2d: SSTORE
00001f2e: SWAP2
00001f2f: MLOAD
00001f30: SWAP1
00001f31: SWAP2
00001f32: SWAP1
00001f33: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001f54: SWAP1
00001f55: PUSH2 0x1f5f
00001f58: SWAP1
00001f59: DUP6
00001f5a: SWAP1
00001f5b: PUSH2 0x2e0f
00001f5e: JUMP
00001f5f: JUMPDEST
00001f60: PUSH1 0x40
00001f62: MLOAD
00001f63: DUP1
00001f64: SWAP2
00001f65: SUB
00001f66: SWAP1
00001f67: LOG3
00001f68: POP
00001f69: POP
00001f6a: JUMP
00001f6b: JUMPDEST
00001f6c: PUSH1 0x01
00001f6e: PUSH1 0x01
00001f70: PUSH1 0xa0
00001f72: SHL
00001f73: SUB
00001f74: AND
00001f75: PUSH1 0x00
00001f77: SWAP1
00001f78: DUP2
00001f79: MSTORE
00001f7a: PUSH1 0x0c
00001f7c: PUSH1 0x20
00001f7e: MSTORE
00001f7f: PUSH1 0x40
00001f81: SWAP1
00001f82: KECCAK256
00001f83: SLOAD
00001f84: SWAP1
00001f85: JUMP
00001f86: JUMPDEST
00001f87: PUSH1 0x00
00001f89: DUP1
00001f8a: PUSH2 0x1fec
00001f8d: DUP5
00001f8e: DUP1
00001f8f: SLOAD
00001f90: DUP1
00001f91: PUSH1 0x20
00001f93: MUL
00001f94: PUSH1 0x20
00001f96: ADD
00001f97: PUSH1 0x40
00001f99: MLOAD
00001f9a: SWAP1
00001f9b: DUP2
00001f9c: ADD
00001f9d: PUSH1 0x40
00001f9f: MSTORE
00001fa0: DUP1
00001fa1: SWAP3
00001fa2: SWAP2
00001fa3: SWAP1
00001fa4: DUP2
00001fa5: DUP2
00001fa6: MSTORE
00001fa7: PUSH1 0x20
00001fa9: ADD
00001faa: DUP3
00001fab: DUP1
00001fac: SLOAD
00001fad: DUP1
00001fae: ISZERO
00001faf: PUSH2 0x1fe1
00001fb2: JUMPI
00001fb3: PUSH1 0x20
00001fb5: MUL
00001fb6: DUP3
00001fb7: ADD
00001fb8: SWAP2
00001fb9: SWAP1
00001fba: PUSH1 0x00
00001fbc: MSTORE
00001fbd: PUSH1 0x20
00001fbf: PUSH1 0x00
00001fc1: KECCAK256
00001fc2: SWAP1
00001fc3: JUMPDEST
00001fc4: DUP2
00001fc5: SLOAD
00001fc6: PUSH1 0x01
00001fc8: PUSH1 0x01
00001fca: PUSH1 0xa0
00001fcc: SHL
00001fcd: SUB
00001fce: AND
00001fcf: DUP2
00001fd0: MSTORE
00001fd1: PUSH1 0x01
00001fd3: SWAP1
00001fd4: SWAP2
00001fd5: ADD
00001fd6: SWAP1
00001fd7: PUSH1 0x20
00001fd9: ADD
00001fda: DUP1
00001fdb: DUP4
00001fdc: GT
00001fdd: PUSH2 0x1fc3
00001fe0: JUMPI
00001fe1: JUMPDEST
00001fe2: POP
00001fe3: POP
00001fe4: POP
00001fe5: POP
00001fe6: POP
00001fe7: DUP5
00001fe8: PUSH2 0x2461
00001feb: JUMP
00001fec: JUMPDEST
00001fed: SWAP2
00001fee: POP
00001fef: SWAP2
00001ff0: POP
00001ff1: DUP1
00001ff2: PUSH2 0x200d
00001ff5: JUMPI
00001ff6: PUSH1 0x40
00001ff8: MLOAD
00001ff9: PUSH3 0x461bcd
00001ffd: PUSH1 0xe5
00001fff: SHL
00002000: DUP2
00002001: MSTORE
00002002: PUSH1 0x04
00002004: ADD
00002005: PUSH2 0x0984
00002008: SWAP1
00002009: PUSH2 0x2eb5
0000200c: JUMP
0000200d: JUMPDEST
0000200e: DUP4
0000200f: SLOAD
00002010: PUSH1 0x00
00002012: NOT
00002013: ADD
00002014: DUP3
00002015: DUP2
00002016: EQ
00002017: PUSH2 0x207f
0000201a: JUMPI
0000201b: DUP5
0000201c: DUP2
0000201d: DUP2
0000201e: SLOAD
0000201f: DUP2
00002020: LT
00002021: PUSH2 0x2026
00002024: JUMPI
00002025: INVALID
00002026: JUMPDEST
00002027: SWAP1
00002028: PUSH1 0x00
0000202a: MSTORE
0000202b: PUSH1 0x20
0000202d: PUSH1 0x00
0000202f: KECCAK256
00002030: ADD
00002031: PUSH1 0x00
00002033: SWAP1
00002034: SLOAD
00002035: SWAP1
00002036: PUSH2 0x0100
00002039: EXP
0000203a: SWAP1
0000203b: DIV
0000203c: PUSH1 0x01
0000203e: PUSH1 0x01
00002040: PUSH1 0xa0
00002042: SHL
00002043: SUB
00002044: AND
00002045: DUP6
00002046: DUP5
00002047: DUP2
00002048: SLOAD
00002049: DUP2
0000204a: LT
0000204b: PUSH2 0x2050
0000204e: JUMPI
0000204f: INVALID
00002050: JUMPDEST
00002051: SWAP1
00002052: PUSH1 0x00
00002054: MSTORE
00002055: PUSH1 0x20
00002057: PUSH1 0x00
00002059: KECCAK256
0000205a: ADD
0000205b: PUSH1 0x00
0000205d: PUSH2 0x0100
00002060: EXP
00002061: DUP2
00002062: SLOAD
00002063: DUP2
00002064: PUSH1 0x01
00002066: PUSH1 0x01
00002068: PUSH1 0xa0
0000206a: SHL
0000206b: SUB
0000206c: MUL
0000206d: NOT
0000206e: AND
0000206f: SWAP1
00002070: DUP4
00002071: PUSH1 0x01
00002073: PUSH1 0x01
00002075: PUSH1 0xa0
00002077: SHL
00002078: SUB
00002079: AND
0000207a: MUL
0000207b: OR
0000207c: SWAP1
0000207d: SSTORE
0000207e: POP
0000207f: JUMPDEST
00002080: DUP5
00002081: DUP1
00002082: SLOAD
00002083: DUP1
00002084: PUSH2 0x2089
00002087: JUMPI
00002088: INVALID
00002089: JUMPDEST
0000208a: PUSH1 0x00
0000208c: DUP3
0000208d: DUP2
0000208e: MSTORE
0000208f: PUSH1 0x20
00002091: SWAP1
00002092: KECCAK256
00002093: DUP2
00002094: ADD
00002095: PUSH1 0x00
00002097: NOT
00002098: SWAP1
00002099: DUP2
0000209a: ADD
0000209b: DUP1
0000209c: SLOAD
0000209d: PUSH1 0x01
0000209f: PUSH1 0x01
000020a1: PUSH1 0xa0
000020a3: SHL
000020a4: SUB
000020a5: NOT
000020a6: AND
000020a7: SWAP1
000020a8: SSTORE
000020a9: ADD
000020aa: SWAP1
000020ab: SSTORE
000020ac: POP
000020ad: JUMPDEST
000020ae: POP
000020af: POP
000020b0: POP
000020b1: POP
000020b2: JUMP
000020b3: JUMPDEST
000020b4: PUSH1 0x01
000020b6: PUSH1 0x01
000020b8: PUSH1 0xa0
000020ba: SHL
000020bb: SUB
000020bc: DUP2
000020bd: AND
000020be: PUSH1 0x00
000020c0: SWAP1
000020c1: DUP2
000020c2: MSTORE
000020c3: PUSH1 0x0c
000020c5: PUSH1 0x20
000020c7: SWAP1
000020c8: DUP2
000020c9: MSTORE
000020ca: PUSH1 0x40
000020cc: SWAP2
000020cd: DUP3
000020ce: SWAP1
000020cf: KECCAK256
000020d0: PUSH1 0x01
000020d2: ADD
000020d3: DUP1
000020d4: SLOAD
000020d5: DUP4
000020d6: MLOAD
000020d7: DUP2
000020d8: DUP5
000020d9: MUL
000020da: DUP2
000020db: ADD
000020dc: DUP5
000020dd: ADD
000020de: SWAP1
000020df: SWAP5
000020e0: MSTORE
000020e1: DUP1
000020e2: DUP5
000020e3: MSTORE
000020e4: PUSH1 0x60
000020e6: SWAP4
000020e7: SWAP3
000020e8: DUP4
000020e9: ADD
000020ea: DUP3
000020eb: DUP3
000020ec: DUP1
000020ed: ISZERO
000020ee: PUSH2 0x2120
000020f1: JUMPI
000020f2: PUSH1 0x20
000020f4: MUL
000020f5: DUP3
000020f6: ADD
000020f7: SWAP2
000020f8: SWAP1
000020f9: PUSH1 0x00
000020fb: MSTORE
000020fc: PUSH1 0x20
000020fe: PUSH1 0x00
00002100: KECCAK256
00002101: SWAP1
00002102: JUMPDEST
00002103: DUP2
00002104: SLOAD
00002105: PUSH1 0x01
00002107: PUSH1 0x01
00002109: PUSH1 0xa0
0000210b: SHL
0000210c: SUB
0000210d: AND
0000210e: DUP2
0000210f: MSTORE
00002110: PUSH1 0x01
00002112: SWAP1
00002113: SWAP2
00002114: ADD
00002115: SWAP1
00002116: PUSH1 0x20
00002118: ADD
00002119: DUP1
0000211a: DUP4
0000211b: GT
0000211c: PUSH2 0x2102
0000211f: JUMPI
00002120: JUMPDEST
00002121: POP
00002122: POP
00002123: POP
00002124: POP
00002125: POP
00002126: SWAP1
00002127: POP
00002128: SWAP2
00002129: SWAP1
0000212a: POP
0000212b: JUMP
0000212c: JUMPDEST
0000212d: PUSH1 0x00
0000212f: DUP1
00002130: PUSH2 0x2139
00002133: DUP5
00002134: DUP5
00002135: PUSH2 0x2461
00002138: JUMP
00002139: JUMPDEST
0000213a: SWAP6
0000213b: SWAP5
0000213c: POP
0000213d: POP
0000213e: POP
0000213f: POP
00002140: POP
00002141: JUMP
00002142: JUMPDEST
00002143: PUSH1 0x00
00002145: DUP1
00002146: DUP1
00002147: JUMPDEST
00002148: PUSH1 0x0b
0000214a: SLOAD
0000214b: DUP2
0000214c: LT
0000214d: ISZERO
0000214e: PUSH2 0x21c1
00002151: JUMPI
00002152: PUSH1 0x00
00002154: PUSH1 0x0b
00002156: DUP3
00002157: DUP2
00002158: SLOAD
00002159: DUP2
0000215a: LT
0000215b: PUSH2 0x2160
0000215e: JUMPI
0000215f: INVALID
00002160: JUMPDEST
00002161: PUSH1 0x00
00002163: SWAP2
00002164: DUP3
00002165: MSTORE
00002166: PUSH1 0x20
00002168: DUP3
00002169: KECCAK256
0000216a: ADD
0000216b: SLOAD
0000216c: PUSH1 0x01
0000216e: PUSH1 0x01
00002170: PUSH1 0xa0
00002172: SHL
00002173: SUB
00002174: AND
00002175: SWAP2
00002176: POP
00002177: PUSH2 0x217f
0000217a: DUP3
0000217b: PUSH2 0x1f6b
0000217e: JUMP
0000217f: JUMPDEST
00002180: SGT
00002181: ISZERO
00002182: PUSH2 0x218c
00002185: JUMPI
00002186: PUSH1 0x01
00002188: SWAP1
00002189: SWAP3
0000218a: ADD
0000218b: SWAP2
0000218c: JUMPDEST
0000218d: PUSH1 0x60
0000218f: PUSH2 0x2197
00002192: DUP3
00002193: PUSH2 0x20b3
00002196: JUMP
00002197: JUMPDEST
00002198: DUP1
00002199: MLOAD
0000219a: SWAP1
0000219b: SWAP2
0000219c: POP
0000219d: ISZERO
0000219e: PUSH2 0x21b7
000021a1: JUMPI
000021a2: DUP1
000021a3: MLOAD
000021a4: PUSH2 0x21b4
000021a7: SWAP1
000021a8: DUP6
000021a9: SWAP1
000021aa: PUSH4 0xffffffff
000021af: PUSH2 0x1e7a
000021b2: AND
000021b3: JUMP
000021b4: JUMPDEST
000021b5: SWAP4
000021b6: POP
000021b7: JUMPDEST
000021b8: POP
000021b9: POP
000021ba: PUSH1 0x01
000021bc: ADD
000021bd: PUSH2 0x2147
000021c0: JUMP
000021c1: JUMPDEST
000021c2: POP
000021c3: SWAP1
000021c4: POP
000021c5: SWAP1
000021c6: JUMP
000021c7: JUMPDEST
000021c8: PUSH1 0x01
000021ca: PUSH1 0x01
000021cc: PUSH1 0xa0
000021ce: SHL
000021cf: SUB
000021d0: DUP3
000021d1: DUP2
000021d2: AND
000021d3: PUSH1 0x00
000021d5: SWAP1
000021d6: DUP2
000021d7: MSTORE
000021d8: PUSH1 0x0c
000021da: PUSH1 0x20
000021dc: SWAP1
000021dd: DUP2
000021de: MSTORE
000021df: PUSH1 0x40
000021e1: DUP1
000021e2: DUP4
000021e3: KECCAK256
000021e4: SWAP4
000021e5: DUP6
000021e6: AND
000021e7: DUP4
000021e8: MSTORE
000021e9: PUSH1 0x02
000021eb: SWAP4
000021ec: DUP5
000021ed: ADD
000021ee: DUP3
000021ef: MSTORE
000021f0: SWAP2
000021f1: DUP3
000021f2: SWAP1
000021f3: KECCAK256
000021f4: PUSH1 0x01
000021f6: SWAP1
000021f7: DUP2
000021f8: ADD
000021f9: DUP1
000021fa: SLOAD
000021fb: DUP5
000021fc: MLOAD
000021fd: SWAP3
000021fe: DUP2
000021ff: AND
00002200: ISZERO
00002201: PUSH2 0x0100
00002204: MUL
00002205: PUSH1 0x00
00002207: NOT
00002208: ADD
00002209: AND
0000220a: SWAP5
0000220b: SWAP1
0000220c: SWAP5
0000220d: DIV
0000220e: PUSH1 0x1f
00002210: DUP2
00002211: ADD
00002212: DUP4
00002213: SWAP1
00002214: DIV
00002215: DUP4
00002216: MUL
00002217: DUP3
00002218: ADD
00002219: DUP4
0000221a: ADD
0000221b: SWAP1
0000221c: SWAP4
0000221d: MSTORE
0000221e: DUP3
0000221f: DUP2
00002220: MSTORE
00002221: PUSH1 0x60
00002223: SWAP4
00002224: SWAP1
00002225: SWAP3
00002226: SWAP1
00002227: SWAP2
00002228: DUP4
00002229: ADD
0000222a: DUP3
0000222b: DUP3
0000222c: DUP1
0000222d: ISZERO
0000222e: PUSH2 0x2278
00002231: JUMPI
00002232: DUP1
00002233: PUSH1 0x1f
00002235: LT
00002236: PUSH2 0x224d
00002239: JUMPI
0000223a: PUSH2 0x0100
0000223d: DUP1
0000223e: DUP4
0000223f: SLOAD
00002240: DIV
00002241: MUL
00002242: DUP4
00002243: MSTORE
00002244: SWAP2
00002245: PUSH1 0x20
00002247: ADD
00002248: SWAP2
00002249: PUSH2 0x2278
0000224c: JUMP
0000224d: JUMPDEST
0000224e: DUP3
0000224f: ADD
00002250: SWAP2
00002251: SWAP1
00002252: PUSH1 0x00
00002254: MSTORE
00002255: PUSH1 0x20
00002257: PUSH1 0x00
00002259: KECCAK256
0000225a: SWAP1
0000225b: JUMPDEST
0000225c: DUP2
0000225d: SLOAD
0000225e: DUP2
0000225f: MSTORE
00002260: SWAP1
00002261: PUSH1 0x01
00002263: ADD
00002264: SWAP1
00002265: PUSH1 0x20
00002267: ADD
00002268: DUP1
00002269: DUP4
0000226a: GT
0000226b: PUSH2 0x225b
0000226e: JUMPI
0000226f: DUP3
00002270: SWAP1
00002271: SUB
00002272: PUSH1 0x1f
00002274: AND
00002275: DUP3
00002276: ADD
00002277: SWAP2
00002278: JUMPDEST
00002279: POP
0000227a: POP
0000227b: POP
0000227c: POP
0000227d: POP
0000227e: SWAP1
0000227f: POP
00002280: SWAP3
00002281: SWAP2
00002282: POP
00002283: POP
00002284: JUMP
00002285: JUMPDEST
00002286: PUSH1 0x60
00002288: PUSH2 0x22ab
0000228b: DUP5
0000228c: DUP5
0000228d: DUP5
0000228e: PUSH1 0x40
00002290: MLOAD
00002291: DUP1
00002292: PUSH1 0x60
00002294: ADD
00002295: PUSH1 0x40
00002297: MSTORE
00002298: DUP1
00002299: PUSH1 0x29
0000229b: DUP2
0000229c: MSTORE
0000229d: PUSH1 0x20
0000229f: ADD
000022a0: PUSH2 0x366a
000022a3: PUSH1 0x29
000022a5: SWAP2
000022a6: CODECOPY
000022a7: PUSH2 0x24c7
000022aa: JUMP
000022ab: JUMPDEST
000022ac: SWAP5
000022ad: SWAP4
000022ae: POP
000022af: POP
000022b0: POP
000022b1: POP
000022b2: JUMP
000022b3: JUMPDEST
000022b4: PUSH1 0x01
000022b6: PUSH1 0x01
000022b8: PUSH1 0xa0
000022ba: SHL
000022bb: SUB
000022bc: DUP3
000022bd: AND
000022be: PUSH2 0x22d9
000022c1: JUMPI
000022c2: PUSH1 0x40
000022c4: MLOAD
000022c5: PUSH3 0x461bcd
000022c9: PUSH1 0xe5
000022cb: SHL
000022cc: DUP2
000022cd: MSTORE
000022ce: PUSH1 0x04
000022d0: ADD
000022d1: PUSH2 0x0984
000022d4: SWAP1
000022d5: PUSH2 0x32c5
000022d8: JUMP
000022d9: JUMPDEST
000022da: PUSH2 0x22e5
000022dd: DUP3
000022de: PUSH1 0x00
000022e0: DUP4
000022e1: PUSH2 0x2439
000022e4: JUMP
000022e5: JUMPDEST
000022e6: PUSH2 0x2328
000022e9: DUP2
000022ea: PUSH1 0x40
000022ec: MLOAD
000022ed: DUP1
000022ee: PUSH1 0x60
000022f0: ADD
000022f1: PUSH1 0x40
000022f3: MSTORE
000022f4: DUP1
000022f5: PUSH1 0x22
000022f7: DUP2
000022f8: MSTORE
000022f9: PUSH1 0x20
000022fb: ADD
000022fc: PUSH2 0x3622
000022ff: PUSH1 0x22
00002301: SWAP2
00002302: CODECOPY
00002303: PUSH1 0x01
00002305: PUSH1 0x01
00002307: PUSH1 0xa0
00002309: SHL
0000230a: SUB
0000230b: DUP6
0000230c: AND
0000230d: PUSH1 0x00
0000230f: SWAP1
00002310: DUP2
00002311: MSTORE
00002312: PUSH1 0x20
00002314: DUP2
00002315: SWAP1
00002316: MSTORE
00002317: PUSH1 0x40
00002319: SWAP1
0000231a: KECCAK256
0000231b: SLOAD
0000231c: SWAP2
0000231d: SWAP1
0000231e: PUSH4 0xffffffff
00002323: PUSH2 0x1cc4
00002326: AND
00002327: JUMP
00002328: JUMPDEST
00002329: PUSH1 0x01
0000232b: PUSH1 0x01
0000232d: PUSH1 0xa0
0000232f: SHL
00002330: SUB
00002331: DUP4
00002332: AND
00002333: PUSH1 0x00
00002335: SWAP1
00002336: DUP2
00002337: MSTORE
00002338: PUSH1 0x20
0000233a: DUP2
0000233b: SWAP1
0000233c: MSTORE
0000233d: PUSH1 0x40
0000233f: SWAP1
00002340: KECCAK256
00002341: SSTORE
00002342: PUSH1 0x02
00002344: SLOAD
00002345: PUSH2 0x2354
00002348: SWAP1
00002349: DUP3
0000234a: PUSH4 0xffffffff
0000234f: PUSH2 0x2588
00002352: AND
00002353: JUMP
00002354: JUMPDEST
00002355: PUSH1 0x02
00002357: SSTORE
00002358: PUSH1 0x40
0000235a: MLOAD
0000235b: PUSH1 0x00
0000235d: SWAP1
0000235e: PUSH1 0x01
00002360: PUSH1 0x01
00002362: PUSH1 0xa0
00002364: SHL
00002365: SUB
00002366: DUP5
00002367: AND
00002368: SWAP1
00002369: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0000238a: SWAP1
0000238b: PUSH2 0x1f5f
0000238e: SWAP1
0000238f: DUP6
00002390: SWAP1
00002391: PUSH2 0x2e0f
00002394: JUMP
00002395: JUMPDEST
00002396: PUSH1 0x00
00002398: PUSH2 0x239f
0000239b: PUSH2 0x25ca
0000239e: JUMP
0000239f: JUMPDEST
000023a0: SWAP1
000023a1: POP
000023a2: PUSH1 0x00
000023a4: PUSH2 0x23b3
000023a7: DUP3
000023a8: DUP5
000023a9: PUSH4 0xffffffff
000023ae: PUSH2 0x2416
000023b1: AND
000023b2: JUMP
000023b3: JUMPDEST
000023b4: SGT
000023b5: PUSH2 0x0dcf
000023b8: JUMPI
000023b9: PUSH1 0x40
000023bb: MLOAD
000023bc: PUSH3 0x461bcd
000023c0: PUSH1 0xe5
000023c2: SHL
000023c3: DUP2
000023c4: MSTORE
000023c5: PUSH1 0x04
000023c7: ADD
000023c8: PUSH2 0x0984
000023cb: SWAP1
000023cc: PUSH2 0x3373
000023cf: JUMP
000023d0: JUMPDEST
000023d1: PUSH1 0x00
000023d3: DUP3
000023d4: DUP3
000023d5: ADD
000023d6: DUP2
000023d7: DUP4
000023d8: SLT
000023d9: DUP1
000023da: ISZERO
000023db: SWAP1
000023dc: PUSH2 0x23e5
000023df: JUMPI
000023e0: POP
000023e1: DUP4
000023e2: DUP2
000023e3: SLT
000023e4: ISZERO
000023e5: JUMPDEST
000023e6: DUP1
000023e7: PUSH2 0x23fa
000023ea: JUMPI
000023eb: POP
000023ec: PUSH1 0x00
000023ee: DUP4
000023ef: SLT
000023f0: DUP1
000023f1: ISZERO
000023f2: PUSH2 0x23fa
000023f5: JUMPI
000023f6: POP
000023f7: DUP4
000023f8: DUP2
000023f9: SLT
000023fa: JUMPDEST
000023fb: PUSH2 0x0b9d
000023fe: JUMPI
000023ff: PUSH1 0x40
00002401: MLOAD
00002402: PUSH3 0x461bcd
00002406: PUSH1 0xe5
00002408: SHL
00002409: DUP2
0000240a: MSTORE
0000240b: PUSH1 0x04
0000240d: ADD
0000240e: PUSH2 0x0984
00002411: SWAP1
00002412: PUSH2 0x2fdb
00002415: JUMP
00002416: JUMPDEST
00002417: PUSH1 0x00
00002419: PUSH2 0x0b9d
0000241c: PUSH2 0x242b
0000241f: DUP5
00002420: DUP5
00002421: PUSH4 0xffffffff
00002426: PUSH2 0x26b4
00002429: AND
0000242a: JUMP
0000242b: JUMPDEST
0000242c: PUSH8 0x0de0b6b3a7640000
00002435: PUSH2 0x271f
00002438: JUMP
00002439: JUMPDEST
0000243a: POP
0000243b: POP
0000243c: POP
0000243d: JUMP
0000243e: JUMPDEST
0000243f: PUSH1 0x00
00002441: PUSH2 0x0b9d
00002444: PUSH2 0x245b
00002447: DUP5
00002448: PUSH8 0x0de0b6b3a7640000
00002451: PUSH4 0xffffffff
00002456: PUSH2 0x26b4
00002459: AND
0000245a: JUMP
0000245b: JUMPDEST
0000245c: DUP4
0000245d: PUSH2 0x271f
00002460: JUMP
00002461: JUMPDEST
00002462: DUP2
00002463: MLOAD
00002464: PUSH1 0x00
00002466: SWAP1
00002467: DUP2
00002468: SWAP1
00002469: DUP2
0000246a: JUMPDEST
0000246b: DUP2
0000246c: DUP2
0000246d: LT
0000246e: ISZERO
0000246f: PUSH2 0x24b4
00002472: JUMPI
00002473: DUP5
00002474: PUSH1 0x01
00002476: PUSH1 0x01
00002478: PUSH1 0xa0
0000247a: SHL
0000247b: SUB
0000247c: AND
0000247d: DUP7
0000247e: DUP3
0000247f: DUP2
00002480: MLOAD
00002481: DUP2
00002482: LT
00002483: PUSH2 0x2488
00002486: JUMPI
00002487: INVALID
00002488: JUMPDEST
00002489: PUSH1 0x20
0000248b: MUL
0000248c: PUSH1 0x20
0000248e: ADD
0000248f: ADD
00002490: MLOAD
00002491: PUSH1 0x01
00002493: PUSH1 0x01
00002495: PUSH1 0xa0
00002497: SHL
00002498: SUB
00002499: AND
0000249a: EQ
0000249b: ISZERO
0000249c: PUSH2 0x24ac
0000249f: JUMPI
000024a0: SWAP3
000024a1: POP
000024a2: PUSH1 0x01
000024a4: SWAP2
000024a5: POP
000024a6: PUSH2 0x24c0
000024a9: SWAP1
000024aa: POP
000024ab: JUMP
000024ac: JUMPDEST
000024ad: PUSH1 0x01
000024af: ADD
000024b0: PUSH2 0x246a
000024b3: JUMP
000024b4: JUMPDEST
000024b5: POP
000024b6: PUSH1 0x00
000024b8: NOT
000024b9: PUSH1 0x00
000024bb: SWAP3
000024bc: POP
000024bd: SWAP3
000024be: POP
000024bf: POP
000024c0: JUMPDEST
000024c1: SWAP3
000024c2: POP
000024c3: SWAP3
000024c4: SWAP1
000024c5: POP
000024c6: JUMP
000024c7: JUMPDEST
000024c8: PUSH1 0x60
000024ca: DUP3
000024cb: SELFBALANCE
000024cc: LT
000024cd: ISZERO
000024ce: PUSH2 0x24e9
000024d1: JUMPI
000024d2: PUSH1 0x40
000024d4: MLOAD
000024d5: PUSH3 0x461bcd
000024d9: PUSH1 0xe5
000024db: SHL
000024dc: DUP2
000024dd: MSTORE
000024de: PUSH1 0x04
000024e0: ADD
000024e1: PUSH2 0x0984
000024e4: SWAP1
000024e5: PUSH2 0x301c
000024e8: JUMP
000024e9: JUMPDEST
000024ea: PUSH2 0x24f2
000024ed: DUP6
000024ee: PUSH2 0x27ad
000024f1: JUMP
000024f2: JUMPDEST
000024f3: PUSH2 0x250e
000024f6: JUMPI
000024f7: PUSH1 0x40
000024f9: MLOAD
000024fa: PUSH3 0x461bcd
000024fe: PUSH1 0xe5
00002500: SHL
00002501: DUP2
00002502: MSTORE
00002503: PUSH1 0x04
00002505: ADD
00002506: PUSH2 0x0984
00002509: SWAP1
0000250a: PUSH2 0x33ee
0000250d: JUMP
0000250e: JUMPDEST
0000250f: PUSH1 0x00
00002511: PUSH1 0x60
00002513: DUP7
00002514: PUSH1 0x01
00002516: PUSH1 0x01
00002518: PUSH1 0xa0
0000251a: SHL
0000251b: SUB
0000251c: AND
0000251d: DUP6
0000251e: DUP8
0000251f: PUSH1 0x40
00002521: MLOAD
00002522: PUSH2 0x252b
00002525: SWAP2
00002526: SWAP1
00002527: PUSH2 0x2c5e
0000252a: JUMP
0000252b: JUMPDEST
0000252c: PUSH1 0x00
0000252e: PUSH1 0x40
00002530: MLOAD
00002531: DUP1
00002532: DUP4
00002533: SUB
00002534: DUP2
00002535: DUP6
00002536: DUP8
00002537: GAS
00002538: CALL
00002539: SWAP3
0000253a: POP
0000253b: POP
0000253c: POP
0000253d: RETURNDATASIZE
0000253e: DUP1
0000253f: PUSH1 0x00
00002541: DUP2
00002542: EQ
00002543: PUSH2 0x2568
00002546: JUMPI
00002547: PUSH1 0x40
00002549: MLOAD
0000254a: SWAP2
0000254b: POP
0000254c: PUSH1 0x1f
0000254e: NOT
0000254f: PUSH1 0x3f
00002551: RETURNDATASIZE
00002552: ADD
00002553: AND
00002554: DUP3
00002555: ADD
00002556: PUSH1 0x40
00002558: MSTORE
00002559: RETURNDATASIZE
0000255a: DUP3
0000255b: MSTORE
0000255c: RETURNDATASIZE
0000255d: PUSH1 0x00
0000255f: PUSH1 0x20
00002561: DUP5
00002562: ADD
00002563: RETURNDATACOPY
00002564: PUSH2 0x256d
00002567: JUMP
00002568: JUMPDEST
00002569: PUSH1 0x60
0000256b: SWAP2
0000256c: POP
0000256d: JUMPDEST
0000256e: POP
0000256f: SWAP2
00002570: POP
00002571: SWAP2
00002572: POP
00002573: PUSH2 0x257d
00002576: DUP3
00002577: DUP3
00002578: DUP7
00002579: PUSH2 0x27b3
0000257c: JUMP
0000257d: JUMPDEST
0000257e: SWAP8
0000257f: SWAP7
00002580: POP
00002581: POP
00002582: POP
00002583: POP
00002584: POP
00002585: POP
00002586: POP
00002587: JUMP
00002588: JUMPDEST
00002589: PUSH1 0x00
0000258b: PUSH2 0x0b9d
0000258e: DUP4
0000258f: DUP4
00002590: PUSH1 0x40
00002592: MLOAD
00002593: DUP1
00002594: PUSH1 0x40
00002596: ADD
00002597: PUSH1 0x40
00002599: MSTORE
0000259a: DUP1
0000259b: PUSH1 0x1e
0000259d: DUP2
0000259e: MSTORE
0000259f: PUSH1 0x20
000025a1: ADD
000025a2: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
000025c3: DUP2
000025c4: MSTORE
000025c5: POP
000025c6: PUSH2 0x1cc4
000025c9: JUMP
000025ca: JUMPDEST
000025cb: PUSH1 0x00
000025cd: PUSH1 0x00
000025cf: NOT
000025d0: DUP2
000025d1: JUMPDEST
000025d2: PUSH1 0x0b
000025d4: SLOAD
000025d5: DUP2
000025d6: LT
000025d7: ISZERO
000025d8: PUSH2 0x26a4
000025db: JUMPI
000025dc: PUSH1 0x00
000025de: PUSH1 0x0b
000025e0: DUP3
000025e1: DUP2
000025e2: SLOAD
000025e3: DUP2
000025e4: LT
000025e5: PUSH2 0x25ea
000025e8: JUMPI
000025e9: INVALID
000025ea: JUMPDEST
000025eb: PUSH1 0x00
000025ed: SWAP2
000025ee: DUP3
000025ef: MSTORE
000025f0: PUSH1 0x20
000025f2: DUP3
000025f3: KECCAK256
000025f4: ADD
000025f5: SLOAD
000025f6: PUSH1 0x01
000025f8: PUSH1 0x01
000025fa: PUSH1 0xa0
000025fc: SHL
000025fd: SUB
000025fe: AND
000025ff: SWAP2
00002600: POP
00002601: PUSH2 0x2611
00002604: PUSH2 0x260c
00002607: DUP4
00002608: PUSH2 0x1f6b
0000260b: JUMP
0000260c: JUMPDEST
0000260d: PUSH2 0x27ec
00002610: JUMP
00002611: JUMPDEST
00002612: SWAP1
00002613: POP
00002614: PUSH1 0x00
00002616: DUP2
00002617: GT
00002618: DUP1
00002619: ISZERO
0000261a: PUSH2 0x2622
0000261d: JUMPI
0000261e: POP
0000261f: DUP4
00002620: DUP2
00002621: LT
00002622: JUMPDEST
00002623: ISZERO
00002624: PUSH2 0x262b
00002627: JUMPI
00002628: DUP1
00002629: SWAP4
0000262a: POP
0000262b: JUMPDEST
0000262c: PUSH1 0x60
0000262e: PUSH2 0x2636
00002631: DUP4
00002632: PUSH2 0x20b3
00002635: JUMP
00002636: JUMPDEST
00002637: SWAP1
00002638: POP
00002639: PUSH1 0x00
0000263b: JUMPDEST
0000263c: DUP2
0000263d: MLOAD
0000263e: DUP2
0000263f: LT
00002640: ISZERO
00002641: PUSH2 0x2694
00002644: JUMPI
00002645: PUSH1 0x00
00002647: DUP3
00002648: DUP3
00002649: DUP2
0000264a: MLOAD
0000264b: DUP2
0000264c: LT
0000264d: PUSH2 0x2652
00002650: JUMPI
00002651: INVALID
00002652: JUMPDEST
00002653: PUSH1 0x20
00002655: MUL
00002656: PUSH1 0x20
00002658: ADD
00002659: ADD
0000265a: MLOAD
0000265b: SWAP1
0000265c: POP
0000265d: PUSH1 0x00
0000265f: PUSH2 0x2670
00002662: PUSH2 0x266b
00002665: DUP8
00002666: DUP5
00002667: PUSH2 0x1b5d
0000266a: JUMP
0000266b: JUMPDEST
0000266c: PUSH2 0x2812
0000266f: JUMP
00002670: JUMPDEST
00002671: SWAP1
00002672: POP
00002673: PUSH1 0x00
00002675: DUP2
00002676: GT
00002677: DUP1
00002678: ISZERO
00002679: PUSH2 0x2681
0000267c: JUMPI
0000267d: POP
0000267e: DUP8
0000267f: DUP2
00002680: LT
00002681: JUMPDEST
00002682: ISZERO
00002683: PUSH2 0x268a
00002686: JUMPI
00002687: DUP1
00002688: SWAP8
00002689: POP
0000268a: JUMPDEST
0000268b: POP
0000268c: POP
0000268d: PUSH1 0x01
0000268f: ADD
00002690: PUSH2 0x263b
00002693: JUMP
00002694: JUMPDEST
00002695: POP
00002696: POP
00002697: PUSH1 0x01
00002699: SWAP1
0000269a: SWAP3
0000269b: ADD
0000269c: SWAP2
0000269d: POP
0000269e: PUSH2 0x25d1
000026a1: SWAP1
000026a2: POP
000026a3: JUMP
000026a4: JUMPDEST
000026a5: POP
000026a6: PUSH2 0x26ae
000026a9: DUP2
000026aa: PUSH2 0x2836
000026ad: JUMP
000026ae: JUMPDEST
000026af: SWAP2
000026b0: POP
000026b1: POP
000026b2: SWAP1
000026b3: JUMP
000026b4: JUMPDEST
000026b5: PUSH1 0x00
000026b7: DUP3
000026b8: PUSH2 0x26c3
000026bb: JUMPI
000026bc: POP
000026bd: PUSH1 0x00
000026bf: PUSH2 0x095b
000026c2: JUMP
000026c3: JUMPDEST
000026c4: DUP3
000026c5: PUSH1 0x00
000026c7: NOT
000026c8: EQ
000026c9: DUP1
000026ca: ISZERO
000026cb: PUSH2 0x26d7
000026ce: JUMPI
000026cf: POP
000026d0: PUSH1 0x01
000026d2: PUSH1 0xff
000026d4: SHL
000026d5: DUP3
000026d6: EQ
000026d7: JUMPDEST
000026d8: ISZERO
000026d9: PUSH2 0x26f4
000026dc: JUMPI
000026dd: PUSH1 0x40
000026df: MLOAD
000026e0: PUSH3 0x461bcd
000026e4: PUSH1 0xe5
000026e6: SHL
000026e7: DUP2
000026e8: MSTORE
000026e9: PUSH1 0x04
000026eb: ADD
000026ec: PUSH2 0x0984
000026ef: SWAP1
000026f0: PUSH2 0x322f
000026f3: JUMP
000026f4: JUMPDEST
000026f5: DUP3
000026f6: DUP3
000026f7: MUL
000026f8: DUP3
000026f9: DUP5
000026fa: DUP3
000026fb: DUP2
000026fc: PUSH2 0x2701
000026ff: JUMPI
00002700: INVALID
00002701: JUMPDEST
00002702: SDIV
00002703: EQ
00002704: PUSH2 0x0b9d
00002707: JUMPI
00002708: PUSH1 0x40
0000270a: MLOAD
0000270b: PUSH3 0x461bcd
0000270f: PUSH1 0xe5
00002711: SHL
00002712: DUP2
00002713: MSTORE
00002714: PUSH1 0x04
00002716: ADD
00002717: PUSH2 0x0984
0000271a: SWAP1
0000271b: PUSH2 0x322f
0000271e: JUMP
0000271f: JUMPDEST
00002720: PUSH1 0x00
00002722: DUP2
00002723: PUSH2 0x273e
00002726: JUMPI
00002727: PUSH1 0x40
00002729: MLOAD
0000272a: PUSH3 0x461bcd
0000272e: PUSH1 0xe5
00002730: SHL
00002731: DUP2
00002732: MSTORE
00002733: PUSH1 0x04
00002735: ADD
00002736: PUSH2 0x0984
00002739: SWAP1
0000273a: PUSH2 0x35a8
0000273d: JUMP
0000273e: JUMPDEST
0000273f: PUSH1 0x01
00002741: PUSH1 0xff
00002743: SHL
00002744: DUP4
00002745: EQ
00002746: ISZERO
00002747: DUP1
00002748: PUSH2 0x2753
0000274b: JUMPI
0000274c: POP
0000274d: DUP2
0000274e: PUSH1 0x00
00002750: NOT
00002751: EQ
00002752: ISZERO
00002753: JUMPDEST
00002754: PUSH2 0x276f
00002757: JUMPI
00002758: PUSH1 0x40
0000275a: MLOAD
0000275b: PUSH3 0x461bcd
0000275f: PUSH1 0xe5
00002761: SHL
00002762: DUP2
00002763: MSTORE
00002764: PUSH1 0x04
00002766: ADD
00002767: PUSH2 0x0984
0000276a: SWAP1
0000276b: PUSH2 0x329e
0000276e: JUMP
0000276f: JUMPDEST
00002770: PUSH1 0x00
00002772: PUSH2 0x2781
00002775: DUP5
00002776: DUP5
00002777: PUSH4 0xffffffff
0000277c: PUSH2 0x285b
0000277f: AND
00002780: JUMP
00002781: JUMPDEST
00002782: SWAP1
00002783: POP
00002784: PUSH1 0x00
00002786: DUP4
00002787: DUP6
00002788: XOR
00002789: SLT
0000278a: DUP1
0000278b: ISZERO
0000278c: PUSH2 0x279d
0000278f: JUMPI
00002790: POP
00002791: DUP3
00002792: DUP5
00002793: DUP2
00002794: PUSH2 0x2799
00002797: JUMPI
00002798: INVALID
00002799: JUMPDEST
0000279a: SMOD
0000279b: ISZERO
0000279c: ISZERO
0000279d: JUMPDEST
0000279e: ISZERO
0000279f: PUSH2 0x0b9d
000027a2: JUMPI
000027a3: PUSH1 0x00
000027a5: NOT
000027a6: ADD
000027a7: SWAP4
000027a8: SWAP3
000027a9: POP
000027aa: POP
000027ab: POP
000027ac: JUMP
000027ad: JUMPDEST
000027ae: EXTCODESIZE
000027af: ISZERO
000027b0: ISZERO
000027b1: SWAP1
000027b2: JUMP
000027b3: JUMPDEST
000027b4: PUSH1 0x60
000027b6: DUP4
000027b7: ISZERO
000027b8: PUSH2 0x27c2
000027bb: JUMPI
000027bc: POP
000027bd: DUP2
000027be: PUSH2 0x0b9d
000027c1: JUMP
000027c2: JUMPDEST
000027c3: DUP3
000027c4: MLOAD
000027c5: ISZERO
000027c6: PUSH2 0x27d2
000027c9: JUMPI
000027ca: DUP3
000027cb: MLOAD
000027cc: DUP1
000027cd: DUP5
000027ce: PUSH1 0x20
000027d0: ADD
000027d1: REVERT
000027d2: JUMPDEST
000027d3: DUP2
000027d4: PUSH1 0x40
000027d6: MLOAD
000027d7: PUSH3 0x461bcd
000027db: PUSH1 0xe5
000027dd: SHL
000027de: DUP2
000027df: MSTORE
000027e0: PUSH1 0x04
000027e2: ADD
000027e3: PUSH2 0x0984
000027e6: SWAP2
000027e7: SWAP1
000027e8: PUSH2 0x2de8
000027eb: JUMP
000027ec: JUMPDEST
000027ed: PUSH1 0x00
000027ef: DUP1
000027f0: DUP3
000027f1: SLT
000027f2: ISZERO
000027f3: PUSH2 0x280e
000027f6: JUMPI
000027f7: PUSH1 0x40
000027f9: MLOAD
000027fa: PUSH3 0x461bcd
000027fe: PUSH1 0xe5
00002800: SHL
00002801: DUP2
00002802: MSTORE
00002803: PUSH1 0x04
00002805: ADD
00002806: PUSH2 0x0984
00002809: SWAP1
0000280a: PUSH2 0x30d5
0000280d: JUMP
0000280e: JUMPDEST
0000280f: POP
00002810: SWAP1
00002811: JUMP
00002812: JUMPDEST
00002813: PUSH1 0x00
00002815: DUP1
00002816: DUP3
00002817: SLT
00002818: ISZERO
00002819: PUSH2 0x282d
0000281c: JUMPI
0000281d: PUSH2 0x2828
00002820: DUP3
00002821: PUSH1 0x00
00002823: SUB
00002824: PUSH2 0x27ec
00002827: JUMP
00002828: JUMPDEST
00002829: PUSH2 0x095b
0000282c: JUMP
0000282d: JUMPDEST
0000282e: PUSH2 0x095b
00002831: DUP3
00002832: PUSH2 0x27ec
00002835: JUMP
00002836: JUMPDEST
00002837: PUSH1 0x00
00002839: PUSH1 0x01
0000283b: PUSH1 0xff
0000283d: SHL
0000283e: DUP3
0000283f: LT
00002840: PUSH2 0x280e
00002843: JUMPI
00002844: PUSH1 0x40
00002846: MLOAD
00002847: PUSH3 0x461bcd
0000284b: PUSH1 0xe5
0000284d: SHL
0000284e: DUP2
0000284f: MSTORE
00002850: PUSH1 0x04
00002852: ADD
00002853: PUSH2 0x0984
00002856: SWAP1
00002857: PUSH2 0x3425
0000285a: JUMP
0000285b: JUMPDEST
0000285c: PUSH1 0x00
0000285e: DUP2
0000285f: PUSH2 0x287a
00002862: JUMPI
00002863: PUSH1 0x40
00002865: MLOAD
00002866: PUSH3 0x461bcd
0000286a: PUSH1 0xe5
0000286c: SHL
0000286d: DUP2
0000286e: MSTORE
0000286f: PUSH1 0x04
00002871: ADD
00002872: PUSH2 0x0984
00002875: SWAP1
00002876: PUSH2 0x350c
00002879: JUMP
0000287a: JUMPDEST
0000287b: DUP2
0000287c: PUSH1 0x00
0000287e: NOT
0000287f: EQ
00002880: DUP1
00002881: ISZERO
00002882: PUSH2 0x288e
00002885: JUMPI
00002886: POP
00002887: PUSH1 0x01
00002889: PUSH1 0xff
0000288b: SHL
0000288c: DUP4
0000288d: EQ
0000288e: JUMPDEST
0000288f: ISZERO
00002890: PUSH2 0x28ab
00002893: JUMPI
00002894: PUSH1 0x40
00002896: MLOAD
00002897: PUSH3 0x461bcd
0000289b: PUSH1 0xe5
0000289d: SHL
0000289e: DUP2
0000289f: MSTORE
000028a0: PUSH1 0x04
000028a2: ADD
000028a3: PUSH2 0x0984
000028a6: SWAP1
000028a7: PUSH2 0x3141
000028aa: JUMP
000028ab: JUMPDEST
000028ac: PUSH1 0x00
000028ae: DUP3
000028af: DUP5
000028b0: DUP2
000028b1: PUSH2 0x28b6
000028b4: JUMPI
000028b5: INVALID
000028b6: JUMPDEST
000028b7: SDIV
000028b8: SWAP5
000028b9: SWAP4
000028ba: POP
000028bb: POP
000028bc: POP
000028bd: POP
000028be: JUMP
000028bf: JUMPDEST
000028c0: DUP3
000028c1: DUP1
000028c2: SLOAD
000028c3: PUSH1 0x01
000028c5: DUP2
000028c6: PUSH1 0x01
000028c8: AND
000028c9: ISZERO
000028ca: PUSH2 0x0100
000028cd: MUL
000028ce: SUB
000028cf: AND
000028d0: PUSH1 0x02
000028d2: SWAP1
000028d3: DIV
000028d4: SWAP1
000028d5: PUSH1 0x00
000028d7: MSTORE
000028d8: PUSH1 0x20
000028da: PUSH1 0x00
000028dc: KECCAK256
000028dd: SWAP1
000028de: PUSH1 0x1f
000028e0: ADD
000028e1: PUSH1 0x20
000028e3: SWAP1
000028e4: DIV
000028e5: DUP2
000028e6: ADD
000028e7: SWAP3
000028e8: DUP3
000028e9: PUSH1 0x1f
000028eb: LT
000028ec: PUSH2 0x2900
000028ef: JUMPI
000028f0: DUP3
000028f1: DUP1
000028f2: ADD
000028f3: PUSH1 0xff
000028f5: NOT
000028f6: DUP3
000028f7: CALLDATALOAD
000028f8: AND
000028f9: OR
000028fa: DUP6
000028fb: SSTORE
000028fc: PUSH2 0x292d
000028ff: JUMP
00002900: JUMPDEST
00002901: DUP3
00002902: DUP1
00002903: ADD
00002904: PUSH1 0x01
00002906: ADD
00002907: DUP6
00002908: SSTORE
00002909: DUP3
0000290a: ISZERO
0000290b: PUSH2 0x292d
0000290e: JUMPI
0000290f: SWAP2
00002910: DUP3
00002911: ADD
00002912: JUMPDEST
00002913: DUP3
00002914: DUP2
00002915: GT
00002916: ISZERO
00002917: PUSH2 0x292d
0000291a: JUMPI
0000291b: DUP3
0000291c: CALLDATALOAD
0000291d: DUP3
0000291e: SSTORE
0000291f: SWAP2
00002920: PUSH1 0x20
00002922: ADD
00002923: SWAP2
00002924: SWAP1
00002925: PUSH1 0x01
00002927: ADD
00002928: SWAP1
00002929: PUSH2 0x2912
0000292c: JUMP
0000292d: JUMPDEST
0000292e: POP
0000292f: PUSH2 0x280e
00002932: SWAP3
00002933: SWAP2
00002934: POP
00002935: PUSH2 0x29c4
00002938: JUMP
00002939: JUMPDEST
0000293a: PUSH1 0x40
0000293c: MLOAD
0000293d: DUP1
0000293e: PUSH1 0xa0
00002940: ADD
00002941: PUSH1 0x40
00002943: MSTORE
00002944: DUP1
00002945: PUSH1 0x00
00002947: PUSH1 0x01
00002949: PUSH1 0x01
0000294b: PUSH1 0xa0
0000294d: SHL
0000294e: SUB
0000294f: AND
00002950: DUP2
00002951: MSTORE
00002952: PUSH1 0x20
00002954: ADD
00002955: PUSH1 0x00
00002957: PUSH1 0x01
00002959: PUSH1 0x01
0000295b: PUSH1 0xa0
0000295d: SHL
0000295e: SUB
0000295f: AND
00002960: DUP2
00002961: MSTORE
00002962: PUSH1 0x20
00002964: ADD
00002965: PUSH1 0x00
00002967: DUP2
00002968: MSTORE
00002969: PUSH1 0x20
0000296b: ADD
0000296c: PUSH1 0x00
0000296e: PUSH1 0xff
00002970: AND
00002971: DUP2
00002972: MSTORE
00002973: PUSH1 0x20
00002975: ADD
00002976: PUSH1 0x60
00002978: DUP2
00002979: MSTORE
0000297a: POP
0000297b: SWAP1
0000297c: JUMP
0000297d: JUMPDEST
0000297e: POP
0000297f: DUP1
00002980: SLOAD
00002981: PUSH1 0x01
00002983: DUP2
00002984: PUSH1 0x01
00002986: AND
00002987: ISZERO
00002988: PUSH2 0x0100
0000298b: MUL
0000298c: SUB
0000298d: AND
0000298e: PUSH1 0x02
00002990: SWAP1
00002991: DIV
00002992: PUSH1 0x00
00002994: DUP3
00002995: SSTORE
00002996: DUP1
00002997: PUSH1 0x1f
00002999: LT
0000299a: PUSH2 0x29a3
0000299d: JUMPI
0000299e: POP
0000299f: PUSH2 0x29c1
000029a2: JUMP
000029a3: JUMPDEST
000029a4: PUSH1 0x1f
000029a6: ADD
000029a7: PUSH1 0x20
000029a9: SWAP1
000029aa: DIV
000029ab: SWAP1
000029ac: PUSH1 0x00
000029ae: MSTORE
000029af: PUSH1 0x20
000029b1: PUSH1 0x00
000029b3: KECCAK256
000029b4: SWAP1
000029b5: DUP2
000029b6: ADD
000029b7: SWAP1
000029b8: PUSH2 0x29c1
000029bb: SWAP2
000029bc: SWAP1
000029bd: PUSH2 0x29c4
000029c0: JUMP
000029c1: JUMPDEST
000029c2: POP
000029c3: JUMP
000029c4: JUMPDEST
000029c5: PUSH2 0x0940
000029c8: SWAP2
000029c9: SWAP1
000029ca: JUMPDEST
000029cb: DUP1
000029cc: DUP3
000029cd: GT
000029ce: ISZERO
000029cf: PUSH2 0x280e
000029d2: JUMPI
000029d3: PUSH1 0x00
000029d5: DUP2
000029d6: SSTORE
000029d7: PUSH1 0x01
000029d9: ADD
000029da: PUSH2 0x29ca
000029dd: JUMP
000029de: JUMPDEST
000029df: DUP1
000029e0: CALLDATALOAD
000029e1: PUSH1 0x01
000029e3: PUSH1 0x01
000029e5: PUSH1 0xa0
000029e7: SHL
000029e8: SUB
000029e9: DUP2
000029ea: AND
000029eb: DUP2
000029ec: EQ
000029ed: PUSH2 0x095b
000029f0: JUMPI
000029f1: PUSH1 0x00
000029f3: DUP1
000029f4: REVERT
000029f5: JUMPDEST
000029f6: PUSH1 0x00
000029f8: DUP1
000029f9: DUP4
000029fa: PUSH1 0x1f
000029fc: DUP5
000029fd: ADD
000029fe: SLT
000029ff: PUSH2 0x2a06
00002a02: JUMPI
00002a03: DUP2
00002a04: DUP3
00002a05: REVERT
00002a06: JUMPDEST
00002a07: POP
00002a08: DUP2
00002a09: CALLDATALOAD
00002a0a: PUSH8 0xffffffffffffffff
00002a13: DUP2
00002a14: GT
00002a15: ISZERO
00002a16: PUSH2 0x2a1d
00002a19: JUMPI
00002a1a: DUP2
00002a1b: DUP3
00002a1c: REVERT
00002a1d: JUMPDEST
00002a1e: PUSH1 0x20
00002a20: DUP4
00002a21: ADD
00002a22: SWAP2
00002a23: POP
00002a24: DUP4
00002a25: PUSH1 0x20
00002a27: DUP3
00002a28: DUP6
00002a29: ADD
00002a2a: ADD
00002a2b: GT
00002a2c: ISZERO
00002a2d: PUSH2 0x24c0
00002a30: JUMPI
00002a31: PUSH1 0x00
00002a33: DUP1
00002a34: REVERT
00002a35: JUMPDEST
00002a36: PUSH1 0x00
00002a38: PUSH1 0x20
00002a3a: DUP3
00002a3b: DUP5
00002a3c: SUB
00002a3d: SLT
00002a3e: ISZERO
00002a3f: PUSH2 0x2a46
00002a42: JUMPI
00002a43: DUP1
00002a44: DUP2
00002a45: REVERT
00002a46: JUMPDEST
00002a47: PUSH2 0x0b9d
00002a4a: DUP4
00002a4b: DUP4
00002a4c: PUSH2 0x29de
00002a4f: JUMP
00002a50: JUMPDEST
00002a51: PUSH1 0x00
00002a53: DUP1
00002a54: PUSH1 0x40
00002a56: DUP4
00002a57: DUP6
00002a58: SUB
00002a59: SLT
00002a5a: ISZERO
00002a5b: PUSH2 0x2a62
00002a5e: JUMPI
00002a5f: DUP1
00002a60: DUP2
00002a61: REVERT
00002a62: JUMPDEST
00002a63: PUSH2 0x2a6c
00002a66: DUP5
00002a67: DUP5
00002a68: PUSH2 0x29de
00002a6b: JUMP
00002a6c: JUMPDEST
00002a6d: SWAP2
00002a6e: POP
00002a6f: PUSH2 0x2a7b
00002a72: DUP5
00002a73: PUSH1 0x20
00002a75: DUP6
00002a76: ADD
00002a77: PUSH2 0x29de
00002a7a: JUMP
00002a7b: JUMPDEST
00002a7c: SWAP1
00002a7d: POP
00002a7e: SWAP3
00002a7f: POP
00002a80: SWAP3
00002a81: SWAP1
00002a82: POP
00002a83: JUMP
00002a84: JUMPDEST
00002a85: PUSH1 0x00
00002a87: DUP1
00002a88: PUSH1 0x00
00002a8a: DUP1
00002a8b: PUSH1 0x60
00002a8d: DUP6
00002a8e: DUP8
00002a8f: SUB
00002a90: SLT
00002a91: ISZERO
00002a92: PUSH2 0x2a99
00002a95: JUMPI
00002a96: DUP2
00002a97: DUP3
00002a98: REVERT
00002a99: JUMPDEST
00002a9a: DUP5
00002a9b: CALLDATALOAD
00002a9c: PUSH2 0x2aa4
00002a9f: DUP2
00002aa0: PUSH2 0x360c
00002aa3: JUMP
00002aa4: JUMPDEST
00002aa5: SWAP4
00002aa6: POP
00002aa7: PUSH1 0x20
00002aa9: DUP6
00002aaa: ADD
00002aab: CALLDATALOAD
00002aac: PUSH2 0x2ab4
00002aaf: DUP2
00002ab0: PUSH2 0x360c
00002ab3: JUMP
00002ab4: JUMPDEST
00002ab5: SWAP3
00002ab6: POP
00002ab7: PUSH1 0x40
00002ab9: DUP6
00002aba: ADD
00002abb: CALLDATALOAD
00002abc: PUSH8 0xffffffffffffffff
00002ac5: DUP2
00002ac6: GT
00002ac7: ISZERO
00002ac8: PUSH2 0x2acf
00002acb: JUMPI
00002acc: DUP3
00002acd: DUP4
00002ace: REVERT
00002acf: JUMPDEST
00002ad0: PUSH2 0x2adb
00002ad3: DUP8
00002ad4: DUP3
00002ad5: DUP9
00002ad6: ADD
00002ad7: PUSH2 0x29f5
00002ada: JUMP
00002adb: JUMPDEST
00002adc: SWAP6
00002add: SWAP9
00002ade: SWAP5
00002adf: SWAP8
00002ae0: POP
00002ae1: SWAP6
00002ae2: POP
00002ae3: POP
00002ae4: POP
00002ae5: POP
00002ae6: JUMP
00002ae7: JUMPDEST
00002ae8: PUSH1 0x00
00002aea: DUP1
00002aeb: PUSH1 0x00
00002aed: PUSH1 0x60
00002aef: DUP5
00002af0: DUP7
00002af1: SUB
00002af2: SLT
00002af3: ISZERO
00002af4: PUSH2 0x2afb
00002af7: JUMPI
00002af8: DUP3
00002af9: DUP4
00002afa: REVERT
00002afb: JUMPDEST
00002afc: PUSH2 0x2b05
00002aff: DUP6
00002b00: DUP6
00002b01: PUSH2 0x29de
00002b04: JUMP
00002b05: JUMPDEST
00002b06: SWAP3
00002b07: POP
00002b08: PUSH2 0x2b14
00002b0b: DUP6
00002b0c: PUSH1 0x20
00002b0e: DUP7
00002b0f: ADD
00002b10: PUSH2 0x29de
00002b13: JUMP
00002b14: JUMPDEST
00002b15: SWAP2
00002b16: POP
00002b17: PUSH1 0x40
00002b19: DUP5
00002b1a: ADD
00002b1b: CALLDATALOAD
00002b1c: SWAP1
00002b1d: POP
00002b1e: SWAP3
00002b1f: POP
00002b20: SWAP3
00002b21: POP
00002b22: SWAP3
00002b23: JUMP
00002b24: JUMPDEST
00002b25: PUSH1 0x00
00002b27: DUP1
00002b28: PUSH1 0x00
00002b2a: PUSH1 0x60
00002b2c: DUP5
00002b2d: DUP7
00002b2e: SUB
00002b2f: SLT
00002b30: ISZERO
00002b31: PUSH2 0x2b38
00002b34: JUMPI
00002b35: DUP3
00002b36: DUP4
00002b37: REVERT
00002b38: JUMPDEST
00002b39: DUP4
00002b3a: CALLDATALOAD
00002b3b: PUSH2 0x2b43
00002b3e: DUP2
00002b3f: PUSH2 0x360c
00002b42: JUMP
00002b43: JUMPDEST
00002b44: SWAP3
00002b45: POP
00002b46: PUSH1 0x20
00002b48: DUP5
00002b49: ADD
00002b4a: CALLDATALOAD
00002b4b: PUSH2 0x2b53
00002b4e: DUP2
00002b4f: PUSH2 0x360c
00002b52: JUMP
00002b53: JUMPDEST
00002b54: SWAP3
00002b55: SWAP6
00002b56: SWAP3
00002b57: SWAP5
00002b58: POP
00002b59: POP
00002b5a: POP
00002b5b: PUSH1 0x40
00002b5d: SWAP2
00002b5e: SWAP1
00002b5f: SWAP2
00002b60: ADD
00002b61: CALLDATALOAD
00002b62: SWAP1
00002b63: JUMP
00002b64: JUMPDEST
00002b65: PUSH1 0x00
00002b67: DUP1
00002b68: PUSH1 0x40
00002b6a: DUP4
00002b6b: DUP6
00002b6c: SUB
00002b6d: SLT
00002b6e: ISZERO
00002b6f: PUSH2 0x2b76
00002b72: JUMPI
00002b73: DUP2
00002b74: DUP3
00002b75: REVERT
00002b76: JUMPDEST
00002b77: PUSH2 0x2b80
00002b7a: DUP5
00002b7b: DUP5
00002b7c: PUSH2 0x29de
00002b7f: JUMP
00002b80: JUMPDEST
00002b81: SWAP5
00002b82: PUSH1 0x20
00002b84: SWAP4
00002b85: SWAP1
00002b86: SWAP4
00002b87: ADD
00002b88: CALLDATALOAD
00002b89: SWAP4
00002b8a: POP
00002b8b: POP
00002b8c: POP
00002b8d: JUMP
00002b8e: JUMPDEST
00002b8f: PUSH1 0x00
00002b91: DUP1
00002b92: PUSH1 0x00
00002b94: DUP1
00002b95: PUSH1 0x60
00002b97: DUP6
00002b98: DUP8
00002b99: SUB
00002b9a: SLT
00002b9b: ISZERO
00002b9c: PUSH2 0x2ba3
00002b9f: JUMPI
00002ba0: DUP4
00002ba1: DUP5
00002ba2: REVERT
00002ba3: JUMPDEST
00002ba4: DUP5
00002ba5: CALLDATALOAD
00002ba6: PUSH2 0x2bae
00002ba9: DUP2
00002baa: PUSH2 0x360c
00002bad: JUMP
00002bae: JUMPDEST
00002baf: SWAP4
00002bb0: POP
00002bb1: PUSH1 0x20
00002bb3: DUP6
00002bb4: ADD
00002bb5: CALLDATALOAD
00002bb6: SWAP3
00002bb7: POP
00002bb8: PUSH1 0x40
00002bba: DUP6
00002bbb: ADD
00002bbc: CALLDATALOAD
00002bbd: PUSH8 0xffffffffffffffff
00002bc6: DUP2
00002bc7: GT
00002bc8: ISZERO
00002bc9: PUSH2 0x2acf
00002bcc: JUMPI
00002bcd: DUP3
00002bce: DUP4
00002bcf: REVERT
00002bd0: JUMPDEST
00002bd1: PUSH1 0x00
00002bd3: PUSH1 0x20
00002bd5: DUP3
00002bd6: DUP5
00002bd7: SUB
00002bd8: SLT
00002bd9: ISZERO
00002bda: PUSH2 0x2be1
00002bdd: JUMPI
00002bde: DUP1
00002bdf: DUP2
00002be0: REVERT
00002be1: JUMPDEST
00002be2: DUP2
00002be3: MLOAD
00002be4: DUP1
00002be5: ISZERO
00002be6: ISZERO
00002be7: DUP2
00002be8: EQ
00002be9: PUSH2 0x0b9d
00002bec: JUMPI
00002bed: DUP2
00002bee: DUP3
00002bef: REVERT
00002bf0: JUMPDEST
00002bf1: PUSH1 0x00
00002bf3: PUSH1 0x20
00002bf5: DUP3
00002bf6: DUP5
00002bf7: SUB
00002bf8: SLT
00002bf9: ISZERO
00002bfa: PUSH2 0x2c01
00002bfd: JUMPI
00002bfe: DUP1
00002bff: DUP2
00002c00: REVERT
00002c01: JUMPDEST
00002c02: POP
00002c03: CALLDATALOAD
00002c04: SWAP2
00002c05: SWAP1
00002c06: POP
00002c07: JUMP
00002c08: JUMPDEST
00002c09: PUSH1 0x00
00002c0b: DUP3
00002c0c: DUP5
00002c0d: MSTORE
00002c0e: DUP3
00002c0f: DUP3
00002c10: PUSH1 0x20
00002c12: DUP7
00002c13: ADD
00002c14: CALLDATACOPY
00002c15: DUP1
00002c16: PUSH1 0x20
00002c18: DUP5
00002c19: DUP7
00002c1a: ADD
00002c1b: ADD
00002c1c: MSTORE
00002c1d: PUSH1 0x20
00002c1f: PUSH1 0x1f
00002c21: NOT
00002c22: PUSH1 0x1f
00002c24: DUP6
00002c25: ADD
00002c26: AND
00002c27: DUP6
00002c28: ADD
00002c29: ADD
00002c2a: SWAP1
00002c2b: POP
00002c2c: SWAP4
00002c2d: SWAP3
00002c2e: POP
00002c2f: POP
00002c30: POP
00002c31: JUMP
00002c32: JUMPDEST
00002c33: PUSH1 0x00
00002c35: DUP2
00002c36: MLOAD
00002c37: DUP1
00002c38: DUP5
00002c39: MSTORE
00002c3a: PUSH2 0x2c4a
00002c3d: DUP2
00002c3e: PUSH1 0x20
00002c40: DUP7
00002c41: ADD
00002c42: PUSH1 0x20
00002c44: DUP7
00002c45: ADD
00002c46: PUSH2 0x35e0
00002c49: JUMP
00002c4a: JUMPDEST
00002c4b: PUSH1 0x1f
00002c4d: ADD
00002c4e: PUSH1 0x1f
00002c50: NOT
00002c51: AND
00002c52: SWAP3
00002c53: SWAP1
00002c54: SWAP3
00002c55: ADD
00002c56: PUSH1 0x20
00002c58: ADD
00002c59: SWAP3
00002c5a: SWAP2
00002c5b: POP
00002c5c: POP
00002c5d: JUMP
00002c5e: JUMPDEST
00002c5f: PUSH1 0x00
00002c61: DUP3
00002c62: MLOAD
00002c63: PUSH2 0x2c70
00002c66: DUP2
00002c67: DUP5
00002c68: PUSH1 0x20
00002c6a: DUP8
00002c6b: ADD
00002c6c: PUSH2 0x35e0
00002c6f: JUMP
00002c70: JUMPDEST
00002c71: SWAP2
00002c72: SWAP1
00002c73: SWAP2
00002c74: ADD
00002c75: SWAP3
00002c76: SWAP2
00002c77: POP
00002c78: POP
00002c79: JUMP
00002c7a: JUMPDEST
00002c7b: PUSH1 0x01
00002c7d: PUSH1 0x01
00002c7f: PUSH1 0xa0
00002c81: SHL
00002c82: SUB
00002c83: SWAP2
00002c84: SWAP1
00002c85: SWAP2
00002c86: AND
00002c87: DUP2
00002c88: MSTORE
00002c89: PUSH1 0x20
00002c8b: ADD
00002c8c: SWAP1
00002c8d: JUMP
00002c8e: JUMPDEST
00002c8f: PUSH1 0x01
00002c91: PUSH1 0x01
00002c93: PUSH1 0xa0
00002c95: SHL
00002c96: SUB
00002c97: SWAP3
00002c98: DUP4
00002c99: AND
00002c9a: DUP2
00002c9b: MSTORE
00002c9c: SWAP2
00002c9d: AND
00002c9e: PUSH1 0x20
00002ca0: DUP3
00002ca1: ADD
00002ca2: MSTORE
00002ca3: PUSH1 0x40
00002ca5: ADD
00002ca6: SWAP1
00002ca7: JUMP
00002ca8: JUMPDEST
00002ca9: PUSH1 0x20
00002cab: DUP1
00002cac: DUP3
00002cad: MSTORE
00002cae: DUP3
00002caf: MLOAD
00002cb0: DUP3
00002cb1: DUP3
00002cb2: ADD
00002cb3: DUP2
00002cb4: SWAP1
00002cb5: MSTORE
00002cb6: PUSH1 0x00
00002cb8: SWAP2
00002cb9: SWAP1
00002cba: DUP5
00002cbb: DUP3
00002cbc: ADD
00002cbd: SWAP1
00002cbe: PUSH1 0x40
00002cc0: DUP6
00002cc1: ADD
00002cc2: SWAP1
00002cc3: DUP5
00002cc4: JUMPDEST
00002cc5: DUP2
00002cc6: DUP2
00002cc7: LT
00002cc8: ISZERO
00002cc9: PUSH2 0x2ce9
00002ccc: JUMPI
00002ccd: DUP4
00002cce: MLOAD
00002ccf: PUSH1 0x01
00002cd1: PUSH1 0x01
00002cd3: PUSH1 0xa0
00002cd5: SHL
00002cd6: SUB
00002cd7: AND
00002cd8: DUP4
00002cd9: MSTORE
00002cda: SWAP3
00002cdb: DUP5
00002cdc: ADD
00002cdd: SWAP3
00002cde: SWAP2
00002cdf: DUP5
00002ce0: ADD
00002ce1: SWAP2
00002ce2: PUSH1 0x01
00002ce4: ADD
00002ce5: PUSH2 0x2cc4
00002ce8: JUMP
00002ce9: JUMPDEST
00002cea: POP
00002ceb: SWAP1
00002cec: SWAP7
00002ced: SWAP6
00002cee: POP
00002cef: POP
00002cf0: POP
00002cf1: POP
00002cf2: POP
00002cf3: POP
00002cf4: JUMP
00002cf5: JUMPDEST
00002cf6: PUSH1 0x20
00002cf8: DUP1
00002cf9: DUP3
00002cfa: MSTORE
00002cfb: DUP3
00002cfc: MLOAD
00002cfd: DUP3
00002cfe: DUP3
00002cff: ADD
00002d00: DUP2
00002d01: SWAP1
00002d02: MSTORE
00002d03: PUSH1 0x00
00002d05: SWAP2
00002d06: SWAP1
00002d07: PUSH1 0x40
00002d09: SWAP1
00002d0a: DUP2
00002d0b: DUP6
00002d0c: ADD
00002d0d: SWAP1
00002d0e: DUP1
00002d0f: DUP5
00002d10: MUL
00002d11: DUP7
00002d12: ADD
00002d13: DUP4
00002d14: ADD
00002d15: DUP8
00002d16: DUP6
00002d17: ADD
00002d18: DUP7
00002d19: JUMPDEST
00002d1a: DUP4
00002d1b: DUP2
00002d1c: LT
00002d1d: ISZERO
00002d1e: PUSH2 0x2d8b
00002d21: JUMPI
00002d22: DUP9
00002d23: DUP4
00002d24: SUB
00002d25: PUSH1 0x3f
00002d27: NOT
00002d28: ADD
00002d29: DUP6
00002d2a: MSTORE
00002d2b: DUP2
00002d2c: MLOAD
00002d2d: DUP1
00002d2e: MLOAD
00002d2f: PUSH1 0x01
00002d31: PUSH1 0x01
00002d33: PUSH1 0xa0
00002d35: SHL
00002d36: SUB
00002d37: SWAP1
00002d38: DUP2
00002d39: AND
00002d3a: DUP6
00002d3b: MSTORE
00002d3c: DUP9
00002d3d: DUP3
00002d3e: ADD
00002d3f: MLOAD
00002d40: AND
00002d41: DUP9
00002d42: DUP6
00002d43: ADD
00002d44: MSTORE
00002d45: DUP7
00002d46: DUP2
00002d47: ADD
00002d48: MLOAD
00002d49: DUP8
00002d4a: DUP6
00002d4b: ADD
00002d4c: MSTORE
00002d4d: PUSH1 0x60
00002d4f: DUP1
00002d50: DUP3
00002d51: ADD
00002d52: MLOAD
00002d53: PUSH1 0xff
00002d55: AND
00002d56: SWAP1
00002d57: DUP6
00002d58: ADD
00002d59: MSTORE
00002d5a: PUSH1 0x80
00002d5c: DUP1
00002d5d: DUP3
00002d5e: ADD
00002d5f: MLOAD
00002d60: PUSH1 0xa0
00002d62: DUP3
00002d63: DUP8
00002d64: ADD
00002d65: DUP2
00002d66: SWAP1
00002d67: MSTORE
00002d68: SWAP2
00002d69: SWAP1
00002d6a: PUSH2 0x2d75
00002d6d: DUP4
00002d6e: DUP9
00002d6f: ADD
00002d70: DUP3
00002d71: PUSH2 0x2c32
00002d74: JUMP
00002d75: JUMPDEST
00002d76: SWAP9
00002d77: DUP12
00002d78: ADD
00002d79: SWAP9
00002d7a: SWAP7
00002d7b: POP
00002d7c: POP
00002d7d: POP
00002d7e: SWAP3
00002d7f: DUP9
00002d80: ADD
00002d81: SWAP3
00002d82: POP
00002d83: POP
00002d84: PUSH1 0x01
00002d86: ADD
00002d87: PUSH2 0x2d19
00002d8a: JUMP
00002d8b: JUMPDEST
00002d8c: POP
00002d8d: SWAP1
00002d8e: SWAP9
00002d8f: SWAP8
00002d90: POP
00002d91: POP
00002d92: POP
00002d93: POP
00002d94: POP
00002d95: POP
00002d96: POP
00002d97: POP
00002d98: JUMP
00002d99: JUMPDEST
00002d9a: SWAP1
00002d9b: ISZERO
00002d9c: ISZERO
00002d9d: DUP2
00002d9e: MSTORE
00002d9f: PUSH1 0x20
00002da1: ADD
00002da2: SWAP1
00002da3: JUMP
00002da4: JUMPDEST
00002da5: PUSH1 0x00
00002da7: PUSH1 0x20
00002da9: DUP3
00002daa: MSTORE
00002dab: PUSH2 0x22ab
00002dae: PUSH1 0x20
00002db0: DUP4
00002db1: ADD
00002db2: DUP5
00002db3: DUP7
00002db4: PUSH2 0x2c08
00002db7: JUMP
00002db8: JUMPDEST
00002db9: PUSH1 0x00
00002dbb: PUSH1 0x40
00002dbd: DUP3
00002dbe: MSTORE
00002dbf: PUSH2 0x2dcc
00002dc2: PUSH1 0x40
00002dc4: DUP4
00002dc5: ADD
00002dc6: DUP6
00002dc7: DUP8
00002dc8: PUSH2 0x2c08
00002dcb: JUMP
00002dcc: JUMPDEST
00002dcd: DUP3
00002dce: DUP2
00002dcf: SUB
00002dd0: PUSH1 0x20
00002dd2: DUP5
00002dd3: ADD
00002dd4: MSTORE
00002dd5: PUSH2 0x2dde
00002dd8: DUP2
00002dd9: DUP6
00002dda: PUSH2 0x2c32
00002ddd: JUMP
00002dde: JUMPDEST
00002ddf: SWAP7
00002de0: SWAP6
00002de1: POP
00002de2: POP
00002de3: POP
00002de4: POP
00002de5: POP
00002de6: POP
00002de7: JUMP
00002de8: JUMPDEST
00002de9: PUSH1 0x00
00002deb: PUSH1 0x20
00002ded: DUP3
00002dee: MSTORE
00002def: PUSH2 0x0b9d
00002df2: PUSH1 0x20
00002df4: DUP4
00002df5: ADD
00002df6: DUP5
00002df7: PUSH2 0x2c32
00002dfa: JUMP
00002dfb: JUMPDEST
00002dfc: PUSH1 0x20
00002dfe: DUP2
00002dff: ADD
00002e00: PUSH1 0x03
00002e02: DUP4
00002e03: LT
00002e04: PUSH2 0x2e09
00002e07: JUMPI
00002e08: INVALID
00002e09: JUMPDEST
00002e0a: SWAP2
00002e0b: SWAP1
00002e0c: MSTORE
00002e0d: SWAP1
00002e0e: JUMP
00002e0f: JUMPDEST
00002e10: SWAP1
00002e11: DUP2
00002e12: MSTORE
00002e13: PUSH1 0x20
00002e15: ADD
00002e16: SWAP1
00002e17: JUMP
00002e18: JUMPDEST
00002e19: PUSH1 0x20
00002e1b: DUP1
00002e1c: DUP3
00002e1d: MSTORE
00002e1e: PUSH1 0x12
00002e20: SWAP1
00002e21: DUP3
00002e22: ADD
00002e23: MSTORE
00002e24: PUSH18 0x135d5cdd081b9bdd081899481b1bd8dad959
00002e37: PUSH1 0x72
00002e39: SHL
00002e3a: PUSH1 0x40
00002e3c: DUP3
00002e3d: ADD
00002e3e: MSTORE
00002e3f: PUSH1 0x60
00002e41: ADD
00002e42: SWAP1
00002e43: JUMP
00002e44: JUMPDEST
00002e45: PUSH1 0x20
00002e47: DUP1
00002e48: DUP3
00002e49: MSTORE
00002e4a: PUSH1 0x23
00002e4c: SWAP1
00002e4d: DUP3
00002e4e: ADD
00002e4f: MSTORE
00002e50: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472
00002e71: PUSH1 0x40
00002e73: DUP3
00002e74: ADD
00002e75: MSTORE
00002e76: PUSH3 0x657373
00002e7a: PUSH1 0xe8
00002e7c: SHL
00002e7d: PUSH1 0x60
00002e7f: DUP3
00002e80: ADD
00002e81: MSTORE
00002e82: PUSH1 0x80
00002e84: ADD
00002e85: SWAP1
00002e86: JUMP
00002e87: JUMPDEST
00002e88: PUSH1 0x20
00002e8a: DUP1
00002e8b: DUP3
00002e8c: MSTORE
00002e8d: PUSH1 0x14
00002e8f: SWAP1
00002e90: DUP3
00002e91: ADD
00002e92: MSTORE
00002e93: PUSH20 0x135bd91d5b1948185b1c9958591e481859191959
00002ea8: PUSH1 0x62
00002eaa: SHL
00002eab: PUSH1 0x40
00002ead: DUP3
00002eae: ADD
00002eaf: MSTORE
00002eb0: PUSH1 0x60
00002eb2: ADD
00002eb3: SWAP1
00002eb4: JUMP
00002eb5: JUMPDEST
00002eb6: PUSH1 0x20
00002eb8: DUP1
00002eb9: DUP3
00002eba: MSTORE
00002ebb: PUSH1 0x15
00002ebd: SWAP1
00002ebe: DUP3
00002ebf: ADD
00002ec0: MSTORE
00002ec1: PUSH21 0x20b2323932b9b9903737ba1034b71030b93930bc97
00002ed7: PUSH1 0x59
00002ed9: SHL
00002eda: PUSH1 0x40
00002edc: DUP3
00002edd: ADD
00002ede: MSTORE
00002edf: PUSH1 0x60
00002ee1: ADD
00002ee2: SWAP1
00002ee3: JUMP
00002ee4: JUMPDEST
00002ee5: PUSH1 0x20
00002ee7: DUP1
00002ee8: DUP3
00002ee9: MSTORE
00002eea: PUSH1 0x18
00002eec: SWAP1
00002eed: DUP3
00002eee: ADD
00002eef: MSTORE
00002ef0: PUSH32 0x4d6f64756c65206d757374206e6f742062652061646465640000000000000000
00002f11: PUSH1 0x40
00002f13: DUP3
00002f14: ADD
00002f15: MSTORE
00002f16: PUSH1 0x60
00002f18: ADD
00002f19: SWAP1
00002f1a: JUMP
00002f1b: JUMPDEST
00002f1c: PUSH1 0x20
00002f1e: DUP1
00002f1f: DUP3
00002f20: MSTORE
00002f21: PUSH1 0x22
00002f23: SWAP1
00002f24: DUP3
00002f25: ADD
00002f26: MSTORE
00002f27: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265
00002f48: PUSH1 0x40
00002f4a: DUP3
00002f4b: ADD
00002f4c: MSTORE
00002f4d: PUSH2 0x7373
00002f50: PUSH1 0xf0
00002f52: SHL
00002f53: PUSH1 0x60
00002f55: DUP3
00002f56: ADD
00002f57: MSTORE
00002f58: PUSH1 0x80
00002f5a: ADD
00002f5b: SWAP1
00002f5c: JUMP
00002f5d: JUMPDEST
00002f5e: PUSH1 0x20
00002f60: DUP1
00002f61: DUP3
00002f62: MSTORE
00002f63: PUSH1 0x1b
00002f65: SWAP1
00002f66: DUP3
00002f67: ADD
00002f68: MSTORE
00002f69: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00002f8a: PUSH1 0x40
00002f8c: DUP3
00002f8d: ADD
00002f8e: MSTORE
00002f8f: PUSH1 0x60
00002f91: ADD
00002f92: SWAP1
00002f93: JUMP
00002f94: JUMPDEST
00002f95: PUSH1 0x20
00002f97: DUP1
00002f98: DUP3
00002f99: MSTORE
00002f9a: PUSH1 0x27
00002f9c: SWAP1
00002f9d: DUP3
00002f9e: ADD
00002f9f: MSTORE
00002fa0: PUSH32 0x5669727475616c20746f205265616c20756e697420636f6e76657273696f6e20
00002fc1: PUSH1 0x40
00002fc3: DUP3
00002fc4: ADD
00002fc5: MSTORE
00002fc6: PUSH7 0x1a5b9d985b1a59
00002fce: PUSH1 0xca
00002fd0: SHL
00002fd1: PUSH1 0x60
00002fd3: DUP3
00002fd4: ADD
00002fd5: MSTORE
00002fd6: PUSH1 0x80
00002fd8: ADD
00002fd9: SWAP1
00002fda: JUMP
00002fdb: JUMPDEST
00002fdc: PUSH1 0x20
00002fde: DUP1
00002fdf: DUP3
00002fe0: MSTORE
00002fe1: PUSH1 0x21
00002fe3: SWAP1
00002fe4: DUP3
00002fe5: ADD
00002fe6: MSTORE
00002fe7: PUSH32 0x5369676e6564536166654d6174683a206164646974696f6e206f766572666c6f
00003008: PUSH1 0x40
0000300a: DUP3
0000300b: ADD
0000300c: MSTORE
0000300d: PUSH1 0x77
0000300f: PUSH1 0xf8
00003011: SHL
00003012: PUSH1 0x60
00003014: DUP3
00003015: ADD
00003016: MSTORE
00003017: PUSH1 0x80
00003019: ADD
0000301a: SWAP1
0000301b: JUMP
0000301c: JUMPDEST
0000301d: PUSH1 0x20
0000301f: DUP1
00003020: DUP3
00003021: MSTORE
00003022: PUSH1 0x26
00003024: SWAP1
00003025: DUP3
00003026: ADD
00003027: MSTORE
00003028: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f
00003049: PUSH1 0x40
0000304b: DUP3
0000304c: ADD
0000304d: MSTORE
0000304e: PUSH6 0x1c8818d85b1b
00003055: PUSH1 0xd2
00003057: SHL
00003058: PUSH1 0x60
0000305a: DUP3
0000305b: ADD
0000305c: MSTORE
0000305d: PUSH1 0x80
0000305f: ADD
00003060: SWAP1
00003061: JUMP
00003062: JUMPDEST
00003063: PUSH1 0x20
00003065: DUP1
00003066: DUP3
00003067: MSTORE
00003068: PUSH1 0x14
0000306a: SWAP1
0000306b: DUP3
0000306c: ADD
0000306d: MSTORE
0000306e: PUSH20 0x135bd91d5b19481b5d5cdd081899481859191959
00003083: PUSH1 0x62
00003085: SHL
00003086: PUSH1 0x40
00003088: DUP3
00003089: ADD
0000308a: MSTORE
0000308b: PUSH1 0x60
0000308d: ADD
0000308e: SWAP1
0000308f: JUMP
00003090: JUMPDEST
00003091: PUSH1 0x20
00003093: DUP1
00003094: DUP3
00003095: MSTORE
00003096: PUSH1 0x25
00003098: SWAP1
00003099: DUP3
0000309a: ADD
0000309b: MSTORE
0000309c: PUSH32 0x5768656e206c6f636b65642c206f6e6c7920746865206c6f636b65722063616e
000030bd: PUSH1 0x40
000030bf: DUP3
000030c0: ADD
000030c1: MSTORE
000030c2: PUSH5 0x0818d85b1b
000030c8: PUSH1 0xda
000030ca: SHL
000030cb: PUSH1 0x60
000030cd: DUP3
000030ce: ADD
000030cf: MSTORE
000030d0: PUSH1 0x80
000030d2: ADD
000030d3: SWAP1
000030d4: JUMP
000030d5: JUMPDEST
000030d6: PUSH1 0x20
000030d8: DUP1
000030d9: DUP3
000030da: MSTORE
000030db: DUP2
000030dc: DUP2
000030dd: ADD
000030de: MSTORE
000030df: PUSH32 0x53616665436173743a2076616c7565206d75737420626520706f736974697665
00003100: PUSH1 0x40
00003102: DUP3
00003103: ADD
00003104: MSTORE
00003105: PUSH1 0x60
00003107: ADD
00003108: SWAP1
00003109: JUMP
0000310a: JUMPDEST
0000310b: PUSH1 0x20
0000310d: DUP1
0000310e: DUP3
0000310f: MSTORE
00003110: PUSH1 0x18
00003112: SWAP1
00003113: DUP3
00003114: ADD
00003115: MSTORE
00003116: PUSH32 0x4f6e6c7920746865206d6f64756c652063616e2063616c6c0000000000000000
00003137: PUSH1 0x40
00003139: DUP3
0000313a: ADD
0000313b: MSTORE
0000313c: PUSH1 0x60
0000313e: ADD
0000313f: SWAP1
00003140: JUMP
00003141: JUMPDEST
00003142: PUSH1 0x20
00003144: DUP1
00003145: DUP3
00003146: MSTORE
00003147: PUSH1 0x21
00003149: SWAP1
0000314a: DUP3
0000314b: ADD
0000314c: MSTORE
0000314d: PUSH32 0x5369676e6564536166654d6174683a206469766973696f6e206f766572666c6f
0000316e: PUSH1 0x40
00003170: DUP3
00003171: ADD
00003172: MSTORE
00003173: PUSH1 0x77
00003175: PUSH1 0xf8
00003177: SHL
00003178: PUSH1 0x60
0000317a: DUP3
0000317b: ADD
0000317c: MSTORE
0000317d: PUSH1 0x80
0000317f: ADD
00003180: SWAP1
00003181: JUMP
00003182: JUMPDEST
00003183: PUSH1 0x20
00003185: DUP1
00003186: DUP3
00003187: MSTORE
00003188: PUSH1 0x15
0000318a: SWAP1
0000318b: DUP3
0000318c: ADD
0000318d: MSTORE
0000318e: PUSH21 0x135d5cdd081b9bdd0818994818dbdb5c1bdb995b9d
000031a4: PUSH1 0x5a
000031a6: SHL
000031a7: PUSH1 0x40
000031a9: DUP3
000031aa: ADD
000031ab: MSTORE
000031ac: PUSH1 0x60
000031ae: ADD
000031af: SWAP1
000031b0: JUMP
000031b1: JUMPDEST
000031b2: PUSH1 0x20
000031b4: DUP1
000031b5: DUP3
000031b6: MSTORE
000031b7: PUSH1 0x27
000031b9: SWAP1
000031ba: DUP3
000031bb: ADD
000031bc: MSTORE
000031bd: PUSH32 0x5265616c20746f205669727475616c20756e697420636f6e76657273696f6e20
000031de: PUSH1 0x40
000031e0: DUP3
000031e1: ADD
000031e2: MSTORE
000031e3: PUSH7 0x1a5b9d985b1a59
000031eb: PUSH1 0xca
000031ed: SHL
000031ee: PUSH1 0x60
000031f0: DUP3
000031f1: ADD
000031f2: MSTORE
000031f3: PUSH1 0x80
000031f5: ADD
000031f6: SWAP1
000031f7: JUMP
000031f8: JUMPDEST
000031f9: PUSH1 0x20
000031fb: DUP1
000031fc: DUP3
000031fd: MSTORE
000031fe: PUSH1 0x1d
00003200: SWAP1
00003201: DUP3
00003202: ADD
00003203: MSTORE
00003204: PUSH32 0x4d75737420626520656e61626c6564206f6e20436f6e74726f6c6c6572000000
00003225: PUSH1 0x40
00003227: DUP3
00003228: ADD
00003229: MSTORE
0000322a: PUSH1 0x60
0000322c: ADD
0000322d: SWAP1
0000322e: JUMP
0000322f: JUMPDEST
00003230: PUSH1 0x20
00003232: DUP1
00003233: DUP3
00003234: MSTORE
00003235: PUSH1 0x27
00003237: SWAP1
00003238: DUP3
00003239: ADD
0000323a: MSTORE
0000323b: PUSH32 0x5369676e6564536166654d6174683a206d756c7469706c69636174696f6e206f
0000325c: PUSH1 0x40
0000325e: DUP3
0000325f: ADD
00003260: MSTORE
00003261: PUSH7 0x766572666c6f77
00003269: PUSH1 0xc8
0000326b: SHL
0000326c: PUSH1 0x60
0000326e: DUP3
0000326f: ADD
00003270: MSTORE
00003271: PUSH1 0x80
00003273: ADD
00003274: SWAP1
00003275: JUMP
00003276: JUMPDEST
00003277: PUSH1 0x20
00003279: DUP1
0000327a: DUP3
0000327b: MSTORE
0000327c: PUSH1 0x0e
0000327e: SWAP1
0000327f: DUP3
00003280: ADD
00003281: MSTORE
00003282: PUSH14 0x135d5cdd081899481b1bd8dad959
00003291: PUSH1 0x92
00003293: SHL
00003294: PUSH1 0x40
00003296: DUP3
00003297: ADD
00003298: MSTORE
00003299: PUSH1 0x60
0000329b: ADD
0000329c: SWAP1
0000329d: JUMP
0000329e: JUMPDEST
0000329f: PUSH1 0x20
000032a1: DUP1
000032a2: DUP3
000032a3: MSTORE
000032a4: PUSH1 0x0d
000032a6: SWAP1
000032a7: DUP3
000032a8: ADD
000032a9: MSTORE
000032aa: PUSH13 0x125b9d985b1a59081a5b9c1d5d
000032b8: PUSH1 0x9a
000032ba: SHL
000032bb: PUSH1 0x40
000032bd: DUP3
000032be: ADD
000032bf: MSTORE
000032c0: PUSH1 0x60
000032c2: ADD
000032c3: SWAP1
000032c4: JUMP
000032c5: JUMPDEST
000032c6: PUSH1 0x20
000032c8: DUP1
000032c9: DUP3
000032ca: MSTORE
000032cb: PUSH1 0x21
000032cd: SWAP1
000032ce: DUP3
000032cf: ADD
000032d0: MSTORE
000032d1: PUSH32 0x45524332303a206275726e2066726f6d20746865207a65726f20616464726573
000032f2: PUSH1 0x40
000032f4: DUP3
000032f5: ADD
000032f6: MSTORE
000032f7: PUSH1 0x73
000032f9: PUSH1 0xf8
000032fb: SHL
000032fc: PUSH1 0x60
000032fe: DUP3
000032ff: ADD
00003300: MSTORE
00003301: PUSH1 0x80
00003303: ADD
00003304: SWAP1
00003305: JUMP
00003306: JUMPDEST
00003307: PUSH1 0x20
00003309: DUP1
0000330a: DUP3
0000330b: MSTORE
0000330c: PUSH1 0x0e
0000330e: SWAP1
0000330f: DUP3
00003310: ADD
00003311: MSTORE
00003312: PUSH14 0x26bab9ba103132903637b1b5b2b9
00003321: PUSH1 0x91
00003323: SHL
00003324: PUSH1 0x40
00003326: DUP3
00003327: ADD
00003328: MSTORE
00003329: PUSH1 0x60
0000332b: ADD
0000332c: SWAP1
0000332d: JUMP
0000332e: JUMPDEST
0000332f: PUSH1 0x20
00003331: DUP1
00003332: DUP3
00003333: MSTORE
00003334: PUSH1 0x25
00003336: SWAP1
00003337: DUP3
00003338: ADD
00003339: MSTORE
0000333a: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164
0000335b: PUSH1 0x40
0000335d: DUP3
0000335e: ADD
0000335f: MSTORE
00003360: PUSH5 0x6472657373
00003366: PUSH1 0xd8
00003368: SHL
00003369: PUSH1 0x60
0000336b: DUP3
0000336c: ADD
0000336d: MSTORE
0000336e: PUSH1 0x80
00003370: ADD
00003371: SWAP1
00003372: JUMP
00003373: JUMPDEST
00003374: PUSH1 0x20
00003376: DUP1
00003377: DUP3
00003378: MSTORE
00003379: PUSH1 0x18
0000337b: SWAP1
0000337c: DUP3
0000337d: ADD
0000337e: MSTORE
0000337f: PUSH32 0x4e6577206d756c7469706c69657220746f6f20736d616c6c0000000000000000
000033a0: PUSH1 0x40
000033a2: DUP3
000033a3: ADD
000033a4: MSTORE
000033a5: PUSH1 0x60
000033a7: ADD
000033a8: SWAP1
000033a9: JUMP
000033aa: JUMPDEST
000033ab: PUSH1 0x20
000033ad: DUP1
000033ae: DUP3
000033af: MSTORE
000033b0: PUSH1 0x24
000033b2: SWAP1
000033b3: DUP3
000033b4: ADD
000033b5: MSTORE
000033b6: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464
000033d7: PUSH1 0x40
000033d9: DUP3
000033da: ADD
000033db: MSTORE
000033dc: PUSH4 0x72657373
000033e1: PUSH1 0xe0
000033e3: SHL
000033e4: PUSH1 0x60
000033e6: DUP3
000033e7: ADD
000033e8: MSTORE
000033e9: PUSH1 0x80
000033eb: ADD
000033ec: SWAP1
000033ed: JUMP
000033ee: JUMPDEST
000033ef: PUSH1 0x20
000033f1: DUP1
000033f2: DUP3
000033f3: MSTORE
000033f4: PUSH1 0x1d
000033f6: SWAP1
000033f7: DUP3
000033f8: ADD
000033f9: MSTORE
000033fa: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
0000341b: PUSH1 0x40
0000341d: DUP3
0000341e: ADD
0000341f: MSTORE
00003420: PUSH1 0x60
00003422: ADD
00003423: SWAP1
00003424: JUMP
00003425: JUMPDEST
00003426: PUSH1 0x20
00003428: DUP1
00003429: DUP3
0000342a: MSTORE
0000342b: PUSH1 0x28
0000342d: SWAP1
0000342e: DUP3
0000342f: ADD
00003430: MSTORE
00003431: PUSH32 0x53616665436173743a2076616c756520646f65736e27742066697420696e2061
00003452: PUSH1 0x40
00003454: DUP3
00003455: ADD
00003456: MSTORE
00003457: PUSH8 0x371034b73a191a9b
00003460: PUSH1 0xc1
00003462: SHL
00003463: PUSH1 0x60
00003465: DUP3
00003466: ADD
00003467: MSTORE
00003468: PUSH1 0x80
0000346a: ADD
0000346b: SWAP1
0000346c: JUMP
0000346d: JUMPDEST
0000346e: PUSH1 0x20
00003470: DUP1
00003471: DUP3
00003472: MSTORE
00003473: PUSH1 0x24
00003475: SWAP1
00003476: DUP3
00003477: ADD
00003478: MSTORE
00003479: PUSH32 0x4d6f64756c65206d75737420626520656e61626c6564206f6e20636f6e74726f
0000349a: PUSH1 0x40
0000349c: DUP3
0000349d: ADD
0000349e: MSTORE
0000349f: PUSH4 0x363632b9
000034a4: PUSH1 0xe1
000034a6: SHL
000034a7: PUSH1 0x60
000034a9: DUP3
000034aa: ADD
000034ab: MSTORE
000034ac: PUSH1 0x80
000034ae: ADD
000034af: SWAP1
000034b0: JUMP
000034b1: JUMPDEST
000034b2: PUSH1 0x20
000034b4: DUP1
000034b5: DUP3
000034b6: MSTORE
000034b7: PUSH1 0x12
000034b9: SWAP1
000034ba: DUP3
000034bb: ADD
000034bc: MSTORE
000034bd: PUSH18 0x13db9b1e481dda195b881d5b9b1bd8dad959
000034d0: PUSH1 0x72
000034d2: SHL
000034d3: PUSH1 0x40
000034d5: DUP3
000034d6: ADD
000034d7: MSTORE
000034d8: PUSH1 0x60
000034da: ADD
000034db: SWAP1
000034dc: JUMP
000034dd: JUMPDEST
000034de: PUSH1 0x20
000034e0: DUP1
000034e1: DUP3
000034e2: MSTORE
000034e3: PUSH1 0x15
000034e5: SWAP1
000034e6: DUP3
000034e7: ADD
000034e8: MSTORE
000034e9: PUSH21 0x13db9b1e481b585b9859d95c8818d85b8818d85b1b
000034ff: PUSH1 0x5a
00003501: SHL
00003502: PUSH1 0x40
00003504: DUP3
00003505: ADD
00003506: MSTORE
00003507: PUSH1 0x60
00003509: ADD
0000350a: SWAP1
0000350b: JUMP
0000350c: JUMPDEST
0000350d: PUSH1 0x20
0000350f: DUP1
00003510: DUP3
00003511: MSTORE
00003512: DUP2
00003513: DUP2
00003514: ADD
00003515: MSTORE
00003516: PUSH32 0x5369676e6564536166654d6174683a206469766973696f6e206279207a65726f
00003537: PUSH1 0x40
00003539: DUP3
0000353a: ADD
0000353b: MSTORE
0000353c: PUSH1 0x60
0000353e: ADD
0000353f: SWAP1
00003540: JUMP
00003541: JUMPDEST
00003542: PUSH1 0x20
00003544: DUP1
00003545: DUP3
00003546: MSTORE
00003547: PUSH1 0x16
00003549: SWAP1
0000354a: DUP3
0000354b: ADD
0000354c: MSTORE
0000354d: PUSH22 0x4d6f64756c65206d7573742062652070656e64696e67
00003564: PUSH1 0x50
00003566: SHL
00003567: PUSH1 0x40
00003569: DUP3
0000356a: ADD
0000356b: MSTORE
0000356c: PUSH1 0x60
0000356e: ADD
0000356f: SWAP1
00003570: JUMP
00003571: JUMPDEST
00003572: PUSH1 0x20
00003574: DUP1
00003575: DUP3
00003576: MSTORE
00003577: PUSH1 0x1f
00003579: SWAP1
0000357a: DUP3
0000357b: ADD
0000357c: MSTORE
0000357d: PUSH32 0x45524332303a206d696e7420746f20746865207a65726f206164647265737300
0000359e: PUSH1 0x40
000035a0: DUP3
000035a1: ADD
000035a2: MSTORE
000035a3: PUSH1 0x60
000035a5: ADD
000035a6: SWAP1
000035a7: JUMP
000035a8: JUMPDEST
000035a9: PUSH1 0x20
000035ab: DUP1
000035ac: DUP3
000035ad: MSTORE
000035ae: PUSH1 0x10
000035b0: SWAP1
000035b1: DUP3
000035b2: ADD
000035b3: MSTORE
000035b4: PUSH16 0x043616e7420646976696465206279203
000035c5: PUSH1 0x84
000035c7: SHL
000035c8: PUSH1 0x40
000035ca: DUP3
000035cb: ADD
000035cc: MSTORE
000035cd: PUSH1 0x60
000035cf: ADD
000035d0: SWAP1
000035d1: JUMP
000035d2: JUMPDEST
000035d3: PUSH1 0xff
000035d5: SWAP2
000035d6: SWAP1
000035d7: SWAP2
000035d8: AND
000035d9: DUP2
000035da: MSTORE
000035db: PUSH1 0x20
000035dd: ADD
000035de: SWAP1
000035df: JUMP
000035e0: JUMPDEST
000035e1: PUSH1 0x00
000035e3: JUMPDEST
000035e4: DUP4
000035e5: DUP2
000035e6: LT
000035e7: ISZERO
000035e8: PUSH2 0x35fb
000035eb: JUMPI
000035ec: DUP2
000035ed: DUP2
000035ee: ADD
000035ef: MLOAD
000035f0: DUP4
000035f1: DUP3
000035f2: ADD
000035f3: MSTORE
000035f4: PUSH1 0x20
000035f6: ADD
000035f7: PUSH2 0x35e3
000035fa: JUMP
000035fb: JUMPDEST
000035fc: DUP4
000035fd: DUP2
000035fe: GT
000035ff: ISZERO
00003600: PUSH2 0x20ad
00003603: JUMPI
00003604: POP
00003605: POP
00003606: PUSH1 0x00
00003608: SWAP2
00003609: ADD
0000360a: MSTORE
0000360b: JUMP
0000360c: JUMPDEST
0000360d: PUSH1 0x01
0000360f: PUSH1 0x01
00003611: PUSH1 0xa0
00003613: SHL
00003614: SUB
00003615: DUP2
00003616: AND
00003617: DUP2
00003618: EQ
00003619: PUSH2 0x29c1
0000361c: JUMPI
0000361d: PUSH1 0x00
0000361f: DUP1
00003620: REVERT
00003621: INVALID
00003622: GASLIMIT
00003623: MSTORE
00003624: NUMBER
00003625: ORIGIN
00003626: ADDRESS
00003627: GASPRICE
00003628: KECCAK256
00003629: PUSH3 0x75726e
0000362d: KECCAK256
0000362e: PUSH2 0x6d6f
00003631: PUSH22 0x6e7420657863656564732062616c616e636545524332
00003648: ADDRESS
00003649: GASPRICE
0000364a: KECCAK256
0000364b: PUSH21 0x72616e7366657220616d6f756e7420657863656564
00003661: PUSH20 0x2062616c616e6365416464726573733a206c6f77
00003676: UNKNOWN(0x2D)
00003677: PUSH13 0x6576656c2063616c6c20776974
00003685: PUSH9 0x2076616c7565206661
0000368f: PUSH10 0x6c656445524332303a20
0000369a: PUSH21 0x72616e7366657220616d6f756e7420657863656564
000036b0: PUSH20 0x20616c6c6f77616e636545524332303a20646563
000036c5: PUSH19 0x656173656420616c6c6f77616e63652062656c
000036d9: PUSH16 0x77207a65726fa2646970667358221220
000036ea: UNKNOWN(0xAE)
000036eb: UNKNOWN(0x2B)
000036ec: REVERT
000036ed: GASLIMIT
000036ee: UNKNOWN(0x2D)
000036ef: PUSH12 0x0474ed7ed15b4a45962324c2
000036fc: UNKNOWN(0xE5)
000036fd: DUP5
000036fe: CALLVALUE
000036ff: UNKNOWN(0xC0)
00003700: UNKNOWN(0xC7)
00003701: RETURNDATASIZE
00003702: UNKNOWN(0xC7)
00003703: UNKNOWN(0x2A)
00003704: SWAP14
00003705: TLOAD
00003706: UNKNOWN(0xD6)
00003707: PUSH24