Analysis Run

OpenAI Codex v0.118.0 (research preview)
--------
workdir: /tmp/codex-pkaoef8a
model: gpt-5.4
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: none
session id: 019d5c99-16f5-7372-bae5-dadd18c210d0
--------
user
You are a security auditor. You ONLY have runtime bytecode + analysis artifacts.
You MUST read `BYTECODE_BUNDLE.json` before concluding; it contains the bytecode summary,
evidence bundle, callsites, storage slots, and detector findings.

Special cases when reasoning from bytecode (be explicit about uncertainty):
- Selector inference is best-effort; missing selectors are common.
- Fallback/receive paths may be the only entrypoints.
- CALL vs DELEGATECALL semantics differ; DELEGATECALL executes in caller storage.
- Proxy patterns (EIP-1967, minimal proxies, beacon) change which storage is authoritative.
- Storage slots are raw; mappings/arrays appear via keccak patterns, names are unknown.
- Guard detection is heuristic; absence of guards does NOT mean unguarded.
- Returndata checking is unknown unless explicitly shown in evidence.
- Precompiles (0x1..0x9) and common ERC20 transfer selectors may appear; do not over-claim.

Output MUST be valid JSON matching the provided schema.
- If you find nothing meaningful: set no_findings=true and findings=[].
- Otherwise: set no_findings=false and include findings with severity/category/title.
- Locations can be pc references like "pc:0x123" or selectors like "selector:0xa9059cbb".

Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation,
accounting/invariant breaks, dangerous delegatecall, and untrusted external calls.
Be conservative: if evidence is weak, mark severity low/medium and explain why.
warning: Codex could not find system bubblewrap on PATH. Please install bubblewrap with your package manager. Codex will use the vendored bubblewrap in the meantime.
ERROR: You've hit your usage limit. Visit https://chatgpt.com/codex/settings/usage to purchase more credits or try again at Apr 8th, 2026 9:11 AM.
ERROR: You've hit your usage limit. Visit https://chatgpt.com/codex/settings/usage to purchase more credits or try again at Apr 8th, 2026 9:11 AM.

{
    "codex": {
        "ran_at": "2026-04-05T07:43:52.271286+00:00",
        "returncode": 1
    },
    "project": {
        "mode": "bytecode",
        "bytecode_length": 13172,
        "bytecode_truncated": false,
        "capability_graph_present": true,
        "analysis_artifact_present": true
    },
    "summary": null,
    "no_findings": null,
    "schema_version": 1
}

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x015e
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x021b03b9
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x0160
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x0cd40fea
00000025: EQ
00000026: PUSH2 0x02d5
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x1d2ae79c
00000030: EQ
00000031: PUSH2 0x02dd
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x21c03a97
0000003b: EQ
0000003c: PUSH2 0x0383
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x2cb0d48a
00000046: EQ
00000047: PUSH2 0x0427
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x32454dbb
00000051: EQ
00000052: PUSH2 0x04a8
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x3c06ae68
0000005c: EQ
0000005d: PUSH2 0x04be
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x41c0e1b5
00000067: EQ
00000068: PUSH2 0x0594
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x4fb764c9
00000072: EQ
00000073: PUSH2 0x060e
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x56a060a2
0000007d: EQ
0000007e: PUSH2 0x0620
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x5d0e6672
00000088: EQ
00000089: PUSH2 0x0633
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x5da05e2e
00000093: EQ
00000094: PUSH2 0x063e
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0x6a751710
0000009e: EQ
0000009f: PUSH2 0x0700
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0x72883492
000000a9: EQ
000000aa: PUSH2 0x0849
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x76ad3abf
000000b4: EQ
000000b5: PUSH2 0x09ba
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0x7a9e5410
000000bf: EQ
000000c0: PUSH2 0x0ad0
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0x7fb106a9
000000ca: EQ
000000cb: PUSH2 0x0ad8
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0x825db5f7
000000d5: EQ
000000d6: PUSH2 0x0b85
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0x87a65513
000000e0: EQ
000000e1: PUSH2 0x0b8d
000000e4: JUMPI
000000e5: DUP1
000000e6: PUSH4 0x9d0f8763
000000eb: EQ
000000ec: PUSH2 0x0ba3
000000ef: JUMPI
000000f0: DUP1
000000f1: PUSH4 0x9d45d077
000000f6: EQ
000000f7: PUSH2 0x0c82
000000fa: JUMPI
000000fb: DUP1
000000fc: PUSH4 0xa51687df
00000101: EQ
00000102: PUSH2 0x0d4b
00000105: JUMPI
00000106: DUP1
00000107: PUSH4 0xa5de3619
0000010c: EQ
0000010d: PUSH2 0x0d62
00000110: JUMPI
00000111: DUP1
00000112: PUSH4 0xb4da4e37
00000117: EQ
00000118: PUSH2 0x0d74
0000011b: JUMPI
0000011c: DUP1
0000011d: PUSH4 0xdb85bd78
00000122: EQ
00000123: PUSH2 0x0d80
00000126: JUMPI
00000127: DUP1
00000128: PUSH4 0xdbff4182
0000012d: EQ
0000012e: PUSH2 0x0f0a
00000131: JUMPI
00000132: DUP1
00000133: PUSH4 0xddbdf242
00000138: EQ
00000139: PUSH2 0x11cc
0000013c: JUMPI
0000013d: DUP1
0000013e: PUSH4 0xe35ca326
00000143: EQ
00000144: PUSH2 0x11de
00000147: JUMPI
00000148: DUP1
00000149: PUSH4 0xf04fd2f3
0000014e: EQ
0000014f: PUSH2 0x1338
00000152: JUMPI
00000153: DUP1
00000154: PUSH4 0xf147ddfa
00000159: EQ
0000015a: PUSH2 0x14a6
0000015d: JUMPI
0000015e: JUMPDEST
0000015f: STOP
00000160: JUMPDEST
00000161: PUSH2 0x015e
00000164: PUSH1 0x04
00000166: CALLDATALOAD
00000167: PUSH1 0x24
00000169: CALLDATALOAD
0000016a: PUSH1 0x00
0000016c: PUSH1 0x01
0000016e: SWAP1
0000016f: SLOAD
00000170: SWAP1
00000171: PUSH2 0x0100
00000174: EXP
00000175: SWAP1
00000176: DIV
00000177: PUSH1 0x01
00000179: PUSH1 0xa0
0000017b: PUSH1 0x02
0000017d: EXP
0000017e: SUB
0000017f: AND
00000180: PUSH1 0x01
00000182: PUSH1 0xa0
00000184: PUSH1 0x02
00000186: EXP
00000187: SUB
00000188: AND
00000189: PUSH4 0x3ca8b002
0000018e: ORIGIN
0000018f: PUSH1 0x40
00000191: MLOAD
00000192: DUP3
00000193: PUSH1 0xe0
00000195: PUSH1 0x02
00000197: EXP
00000198: MUL
00000199: DUP2
0000019a: MSTORE
0000019b: PUSH1 0x04
0000019d: ADD
0000019e: DUP1
0000019f: DUP3
000001a0: PUSH1 0x01
000001a2: PUSH1 0xa0
000001a4: PUSH1 0x02
000001a6: EXP
000001a7: SUB
000001a8: AND
000001a9: DUP2
000001aa: MSTORE
000001ab: PUSH1 0x20
000001ad: ADD
000001ae: SWAP2
000001af: POP
000001b0: POP
000001b1: PUSH1 0x20
000001b3: PUSH1 0x40
000001b5: MLOAD
000001b6: DUP1
000001b7: DUP4
000001b8: SUB
000001b9: DUP2
000001ba: PUSH1 0x00
000001bc: DUP8
000001bd: PUSH2 0x61da
000001c0: GAS
000001c1: SUB
000001c2: CALL
000001c3: ISZERO
000001c4: PUSH2 0x0002
000001c7: JUMPI
000001c8: POP
000001c9: POP
000001ca: PUSH1 0x40
000001cc: MLOAD
000001cd: MLOAD
000001ce: ISZERO
000001cf: SWAP1
000001d0: POP
000001d1: PUSH2 0x02d1
000001d4: JUMPI
000001d5: PUSH1 0x40
000001d7: DUP1
000001d8: MLOAD
000001d9: PUSH1 0x02
000001db: DUP1
000001dc: SLOAD
000001dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001f2: NOT
000001f3: SWAP1
000001f4: DUP2
000001f5: AND
000001f6: DUP7
000001f7: OR
000001f8: SWAP2
000001f9: DUP3
000001fa: SWAP1
000001fb: SSTORE
000001fc: PUSH1 0x03
000001fe: DUP1
000001ff: SLOAD
00000200: SWAP2
00000201: SWAP1
00000202: SWAP2
00000203: AND
00000204: DUP6
00000205: OR
00000206: SWAP1
00000207: DUP2
00000208: SWAP1
00000209: SSTORE
0000020a: PUSH32 0xa283f90700000000000000000000000000000000000000000000000000000000
0000022b: DUP4
0000022c: MSTORE
0000022d: PUSH1 0x01
0000022f: PUSH1 0xa0
00000231: PUSH1 0x02
00000233: EXP
00000234: SUB
00000235: SWAP1
00000236: DUP2
00000237: AND
00000238: PUSH1 0x04
0000023a: DUP5
0000023b: ADD
0000023c: MSTORE
0000023d: SWAP3
0000023e: MLOAD
0000023f: SWAP3
00000240: AND
00000241: SWAP2
00000242: PUSH4 0xa283f907
00000247: SWAP2
00000248: PUSH1 0x24
0000024a: DUP2
0000024b: DUP2
0000024c: ADD
0000024d: SWAP3
0000024e: PUSH1 0x00
00000250: SWAP3
00000251: SWAP1
00000252: SWAP2
00000253: SWAP1
00000254: DUP3
00000255: SWAP1
00000256: SUB
00000257: ADD
00000258: DUP2
00000259: DUP4
0000025a: DUP8
0000025b: PUSH2 0x61da
0000025e: GAS
0000025f: SUB
00000260: CALL
00000261: ISZERO
00000262: PUSH2 0x0002
00000265: JUMPI
00000266: POP
00000267: POP
00000268: PUSH1 0x40
0000026a: DUP1
0000026b: MLOAD
0000026c: PUSH1 0x02
0000026e: SLOAD
0000026f: PUSH1 0x03
00000271: SLOAD
00000272: PUSH32 0x54c3539100000000000000000000000000000000000000000000000000000000
00000293: DUP4
00000294: MSTORE
00000295: PUSH1 0x01
00000297: PUSH1 0xa0
00000299: PUSH1 0x02
0000029b: EXP
0000029c: SUB
0000029d: SWAP2
0000029e: DUP3
0000029f: AND
000002a0: PUSH1 0x04
000002a2: DUP5
000002a3: ADD
000002a4: MSTORE
000002a5: SWAP3
000002a6: MLOAD
000002a7: SWAP3
000002a8: AND
000002a9: SWAP3
000002aa: POP
000002ab: PUSH4 0x54c35391
000002b0: SWAP2
000002b1: PUSH1 0x24
000002b3: DUP3
000002b4: DUP2
000002b5: ADD
000002b6: SWAP3
000002b7: PUSH1 0x00
000002b9: SWAP3
000002ba: SWAP2
000002bb: SWAP1
000002bc: DUP3
000002bd: SWAP1
000002be: SUB
000002bf: ADD
000002c0: DUP2
000002c1: DUP4
000002c2: DUP8
000002c3: PUSH2 0x61da
000002c6: GAS
000002c7: SUB
000002c8: CALL
000002c9: ISZERO
000002ca: PUSH2 0x0002
000002cd: JUMPI
000002ce: POP
000002cf: POP
000002d0: POP
000002d1: JUMPDEST
000002d2: POP
000002d3: POP
000002d4: JUMP
000002d5: JUMPDEST
000002d6: PUSH2 0x1633
000002d9: PUSH1 0x01
000002db: DUP2
000002dc: JUMP
000002dd: JUMPDEST
000002de: PUSH2 0x015e
000002e1: PUSH1 0x04
000002e3: CALLDATALOAD
000002e4: PUSH1 0x24
000002e6: CALLDATALOAD
000002e7: PUSH1 0x44
000002e9: CALLDATALOAD
000002ea: PUSH1 0x64
000002ec: CALLDATALOAD
000002ed: PUSH1 0x84
000002ef: CALLDATALOAD
000002f0: PUSH1 0xa4
000002f2: CALLDATALOAD
000002f3: PUSH1 0xc4
000002f5: CALLDATALOAD
000002f6: PUSH1 0xe4
000002f8: CALLDATALOAD
000002f9: PUSH1 0x03
000002fb: SLOAD
000002fc: PUSH1 0x01
000002fe: PUSH1 0xa0
00000300: PUSH1 0x02
00000302: EXP
00000303: SUB
00000304: SWAP1
00000305: DUP2
00000306: AND
00000307: CALLER
00000308: SWAP1
00000309: SWAP2
0000030a: AND
0000030b: EQ
0000030c: ISZERO
0000030d: PUSH2 0x1778
00000310: JUMPI
00000311: DUP1
00000312: ISZERO
00000313: PUSH2 0x170f
00000316: JUMPI
00000317: PUSH1 0x40
00000319: DUP1
0000031a: MLOAD
0000031b: PUSH1 0x01
0000031d: PUSH1 0xa0
0000031f: PUSH1 0x02
00000321: EXP
00000322: SUB
00000323: DUP11
00000324: AND
00000325: DUP2
00000326: MSTORE
00000327: PUSH1 0x20
00000329: DUP2
0000032a: ADD
0000032b: DUP10
0000032c: SWAP1
0000032d: MSTORE
0000032e: DUP1
0000032f: DUP3
00000330: ADD
00000331: DUP9
00000332: SWAP1
00000333: MSTORE
00000334: PUSH1 0x60
00000336: DUP2
00000337: ADD
00000338: DUP8
00000339: SWAP1
0000033a: MSTORE
0000033b: PUSH1 0x80
0000033d: DUP2
0000033e: ADD
0000033f: DUP7
00000340: SWAP1
00000341: MSTORE
00000342: PUSH1 0xa0
00000344: DUP2
00000345: ADD
00000346: DUP6
00000347: SWAP1
00000348: MSTORE
00000349: PUSH1 0x13
0000034b: DUP5
0000034c: SWAP1
0000034d: SIGNEXTEND
0000034e: PUSH1 0xc0
00000350: DUP3
00000351: ADD
00000352: MSTORE
00000353: SWAP1
00000354: MLOAD
00000355: PUSH32 0x76c456d0bcda16cea720809b0d48e30fd6194034d72b81ecec74eac8933b2028
00000376: SWAP2
00000377: DUP2
00000378: SWAP1
00000379: SUB
0000037a: PUSH1 0xe0
0000037c: ADD
0000037d: SWAP1
0000037e: LOG1
0000037f: PUSH2 0x1778
00000382: JUMP
00000383: JUMPDEST
00000384: PUSH2 0x015e
00000387: PUSH1 0x04
00000389: CALLDATALOAD
0000038a: PUSH1 0x00
0000038c: SLOAD
0000038d: PUSH1 0xff
0000038f: AND
00000390: PUSH1 0x01
00000392: EQ
00000393: ISZERO
00000394: PUSH2 0x04a5
00000397: JUMPI
00000398: PUSH1 0x40
0000039a: DUP1
0000039b: MLOAD
0000039c: PUSH1 0x01
0000039e: SLOAD
0000039f: PUSH1 0xe2
000003a1: PUSH1 0x02
000003a3: EXP
000003a4: PUSH4 0x0935e01b
000003a9: MUL
000003aa: DUP3
000003ab: MSTORE
000003ac: PUSH1 0x01
000003ae: PUSH1 0xa0
000003b0: PUSH1 0x02
000003b2: EXP
000003b3: SUB
000003b4: ORIGIN
000003b5: DUP2
000003b6: AND
000003b7: PUSH1 0x04
000003b9: DUP5
000003ba: ADD
000003bb: MSTORE
000003bc: SWAP3
000003bd: MLOAD
000003be: SWAP3
000003bf: AND
000003c0: SWAP2
000003c1: PUSH4 0x24d7806c
000003c6: SWAP2
000003c7: PUSH1 0x24
000003c9: DUP2
000003ca: DUP2
000003cb: ADD
000003cc: SWAP3
000003cd: PUSH1 0x20
000003cf: SWAP3
000003d0: SWAP1
000003d1: SWAP2
000003d2: SWAP1
000003d3: DUP3
000003d4: SWAP1
000003d5: SUB
000003d6: ADD
000003d7: DUP2
000003d8: PUSH1 0x00
000003da: DUP8
000003db: PUSH2 0x61da
000003de: GAS
000003df: SUB
000003e0: CALL
000003e1: ISZERO
000003e2: PUSH2 0x0002
000003e5: JUMPI
000003e6: POP
000003e7: POP
000003e8: PUSH1 0x40
000003ea: MLOAD
000003eb: MLOAD
000003ec: ISZERO
000003ed: SWAP1
000003ee: POP
000003ef: PUSH2 0x04a5
000003f2: JUMPI
000003f3: PUSH1 0x03
000003f5: DUP1
000003f6: SLOAD
000003f7: PUSH1 0xe0
000003f9: PUSH1 0x02
000003fb: EXP
000003fc: DUP4
000003fd: MUL
000003fe: PUSH32 0xffffff00ffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000041f: SWAP1
00000420: SWAP2
00000421: AND
00000422: OR
00000423: SWAP1
00000424: SSTORE
00000425: POP
00000426: JUMP
00000427: JUMPDEST
00000428: PUSH2 0x015e
0000042b: PUSH1 0x04
0000042d: CALLDATALOAD
0000042e: PUSH1 0x00
00000430: PUSH1 0x01
00000432: SWAP1
00000433: SLOAD
00000434: SWAP1
00000435: PUSH2 0x0100
00000438: EXP
00000439: SWAP1
0000043a: DIV
0000043b: PUSH1 0x01
0000043d: PUSH1 0xa0
0000043f: PUSH1 0x02
00000441: EXP
00000442: SUB
00000443: AND
00000444: PUSH1 0x01
00000446: PUSH1 0xa0
00000448: PUSH1 0x02
0000044a: EXP
0000044b: SUB
0000044c: AND
0000044d: PUSH4 0x3ca8b002
00000452: ORIGIN
00000453: PUSH1 0x40
00000455: MLOAD
00000456: DUP3
00000457: PUSH1 0xe0
00000459: PUSH1 0x02
0000045b: EXP
0000045c: MUL
0000045d: DUP2
0000045e: MSTORE
0000045f: PUSH1 0x04
00000461: ADD
00000462: DUP1
00000463: DUP3
00000464: PUSH1 0x01
00000466: PUSH1 0xa0
00000468: PUSH1 0x02
0000046a: EXP
0000046b: SUB
0000046c: AND
0000046d: DUP2
0000046e: MSTORE
0000046f: PUSH1 0x20
00000471: ADD
00000472: SWAP2
00000473: POP
00000474: POP
00000475: PUSH1 0x20
00000477: PUSH1 0x40
00000479: MLOAD
0000047a: DUP1
0000047b: DUP4
0000047c: SUB
0000047d: DUP2
0000047e: PUSH1 0x00
00000480: DUP8
00000481: PUSH2 0x61da
00000484: GAS
00000485: SUB
00000486: CALL
00000487: ISZERO
00000488: PUSH2 0x0002
0000048b: JUMPI
0000048c: POP
0000048d: POP
0000048e: PUSH1 0x40
00000490: MLOAD
00000491: MLOAD
00000492: ISZERO
00000493: SWAP1
00000494: POP
00000495: PUSH2 0x04a5
00000498: JUMPI
00000499: PUSH1 0x00
0000049b: DUP1
0000049c: SLOAD
0000049d: PUSH1 0xff
0000049f: NOT
000004a0: AND
000004a1: DUP3
000004a2: OR
000004a3: SWAP1
000004a4: SSTORE
000004a5: JUMPDEST
000004a6: POP
000004a7: JUMP
000004a8: JUMPDEST
000004a9: PUSH2 0x164a
000004ac: PUSH1 0x03
000004ae: SLOAD
000004af: PUSH1 0xc0
000004b1: PUSH1 0x02
000004b3: EXP
000004b4: SWAP1
000004b5: DIV
000004b6: PUSH4 0xffffffff
000004bb: AND
000004bc: DUP2
000004bd: JUMP
000004be: JUMPDEST
000004bf: PUSH2 0x015e
000004c2: PUSH1 0x04
000004c4: CALLDATALOAD
000004c5: PUSH1 0x24
000004c7: CALLDATALOAD
000004c8: PUSH1 0x44
000004ca: CALLDATALOAD
000004cb: PUSH1 0x64
000004cd: CALLDATALOAD
000004ce: PUSH1 0x84
000004d0: CALLDATALOAD
000004d1: PUSH1 0xa4
000004d3: CALLDATALOAD
000004d4: PUSH1 0xc4
000004d6: CALLDATALOAD
000004d7: PUSH1 0xe4
000004d9: CALLDATALOAD
000004da: PUSH2 0x0104
000004dd: CALLDATALOAD
000004de: PUSH2 0x0124
000004e1: CALLDATALOAD
000004e2: PUSH2 0x0144
000004e5: CALLDATALOAD
000004e6: PUSH1 0x03
000004e8: SLOAD
000004e9: PUSH1 0x01
000004eb: PUSH1 0xa0
000004ed: PUSH1 0x02
000004ef: EXP
000004f0: SUB
000004f1: SWAP1
000004f2: DUP2
000004f3: AND
000004f4: CALLER
000004f5: SWAP1
000004f6: SWAP2
000004f7: AND
000004f8: EQ
000004f9: ISZERO
000004fa: PUSH2 0x0587
000004fd: JUMPI
000004fe: PUSH1 0x40
00000500: DUP1
00000501: MLOAD
00000502: PUSH1 0x01
00000504: PUSH1 0xa0
00000506: PUSH1 0x02
00000508: EXP
00000509: SUB
0000050a: DUP13
0000050b: DUP2
0000050c: AND
0000050d: DUP3
0000050e: MSTORE
0000050f: DUP14
00000510: AND
00000511: PUSH1 0x20
00000513: DUP3
00000514: ADD
00000515: MSTORE
00000516: DUP1
00000517: DUP3
00000518: ADD
00000519: DUP12
0000051a: SWAP1
0000051b: MSTORE
0000051c: PUSH1 0x60
0000051e: DUP2
0000051f: ADD
00000520: DUP11
00000521: SWAP1
00000522: MSTORE
00000523: PUSH1 0x80
00000525: DUP2
00000526: ADD
00000527: DUP10
00000528: SWAP1
00000529: MSTORE
0000052a: PUSH1 0xa0
0000052c: DUP2
0000052d: ADD
0000052e: DUP9
0000052f: SWAP1
00000530: MSTORE
00000531: PUSH1 0xc0
00000533: DUP2
00000534: ADD
00000535: DUP8
00000536: SWAP1
00000537: MSTORE
00000538: PUSH1 0xe0
0000053a: DUP2
0000053b: ADD
0000053c: DUP7
0000053d: SWAP1
0000053e: MSTORE
0000053f: PUSH2 0x0100
00000542: DUP2
00000543: ADD
00000544: DUP6
00000545: SWAP1
00000546: MSTORE
00000547: PUSH2 0x0120
0000054a: DUP2
0000054b: ADD
0000054c: DUP5
0000054d: SWAP1
0000054e: MSTORE
0000054f: PUSH1 0x13
00000551: DUP4
00000552: SWAP1
00000553: SIGNEXTEND
00000554: PUSH2 0x0140
00000557: DUP3
00000558: ADD
00000559: MSTORE
0000055a: SWAP1
0000055b: MLOAD
0000055c: PUSH32 0x61a43b8785d66f3a53c7b8ab814b4c2e4ff15a1a6f8d24d08818e1f426e13906
0000057d: SWAP2
0000057e: DUP2
0000057f: SWAP1
00000580: SUB
00000581: PUSH2 0x0160
00000584: ADD
00000585: SWAP1
00000586: LOG1
00000587: JUMPDEST
00000588: POP
00000589: POP
0000058a: POP
0000058b: POP
0000058c: POP
0000058d: POP
0000058e: POP
0000058f: POP
00000590: POP
00000591: POP
00000592: POP
00000593: JUMP
00000594: JUMPDEST
00000595: PUSH2 0x015e
00000598: PUSH1 0x00
0000059a: PUSH1 0x01
0000059c: SWAP1
0000059d: SLOAD
0000059e: SWAP1
0000059f: PUSH2 0x0100
000005a2: EXP
000005a3: SWAP1
000005a4: DIV
000005a5: PUSH1 0x01
000005a7: PUSH1 0xa0
000005a9: PUSH1 0x02
000005ab: EXP
000005ac: SUB
000005ad: AND
000005ae: PUSH1 0x01
000005b0: PUSH1 0xa0
000005b2: PUSH1 0x02
000005b4: EXP
000005b5: SUB
000005b6: AND
000005b7: PUSH4 0x3ca8b002
000005bc: ORIGIN
000005bd: PUSH1 0x40
000005bf: MLOAD
000005c0: DUP3
000005c1: PUSH1 0xe0
000005c3: PUSH1 0x02
000005c5: EXP
000005c6: MUL
000005c7: DUP2
000005c8: MSTORE
000005c9: PUSH1 0x04
000005cb: ADD
000005cc: DUP1
000005cd: DUP3
000005ce: PUSH1 0x01
000005d0: PUSH1 0xa0
000005d2: PUSH1 0x02
000005d4: EXP
000005d5: SUB
000005d6: AND
000005d7: DUP2
000005d8: MSTORE
000005d9: PUSH1 0x20
000005db: ADD
000005dc: SWAP2
000005dd: POP
000005de: POP
000005df: PUSH1 0x20
000005e1: PUSH1 0x40
000005e3: MLOAD
000005e4: DUP1
000005e5: DUP4
000005e6: SUB
000005e7: DUP2
000005e8: PUSH1 0x00
000005ea: DUP8
000005eb: PUSH2 0x61da
000005ee: GAS
000005ef: SUB
000005f0: CALL
000005f1: ISZERO
000005f2: PUSH2 0x0002
000005f5: JUMPI
000005f6: POP
000005f7: POP
000005f8: PUSH1 0x40
000005fa: MLOAD
000005fb: MLOAD
000005fc: ISZERO
000005fd: SWAP1
000005fe: POP
000005ff: PUSH2 0x1782
00000602: JUMPI
00000603: ORIGIN
00000604: PUSH1 0x01
00000606: PUSH1 0xa0
00000608: PUSH1 0x02
0000060a: EXP
0000060b: SUB
0000060c: AND
0000060d: SELFDESTRUCT
0000060e: JUMPDEST
0000060f: PUSH2 0x1664
00000612: PUSH1 0x03
00000614: SLOAD
00000615: PUSH1 0x01
00000617: PUSH1 0xa0
00000619: PUSH1 0x02
0000061b: EXP
0000061c: SUB
0000061d: AND
0000061e: DUP2
0000061f: JUMP
00000620: JUMPDEST
00000621: PUSH2 0x1681
00000624: PUSH1 0x03
00000626: SLOAD
00000627: PUSH1 0xe0
00000629: PUSH1 0x02
0000062b: EXP
0000062c: SWAP1
0000062d: DIV
0000062e: PUSH1 0xff
00000630: AND
00000631: DUP2
00000632: JUMP
00000633: JUMPDEST
00000634: PUSH2 0x164a
00000637: PUSH4 0x047868c0
0000063c: DUP2
0000063d: JUMP
0000063e: JUMPDEST
0000063f: PUSH2 0x015e
00000642: PUSH1 0x04
00000644: CALLDATALOAD
00000645: PUSH1 0x00
00000647: SLOAD
00000648: PUSH1 0xff
0000064a: AND
0000064b: PUSH1 0x01
0000064d: EQ
0000064e: ISZERO
0000064f: PUSH2 0x04a5
00000652: JUMPI
00000653: PUSH1 0x40
00000655: DUP1
00000656: MLOAD
00000657: PUSH1 0x01
00000659: SLOAD
0000065a: PUSH1 0xe2
0000065c: PUSH1 0x02
0000065e: EXP
0000065f: PUSH4 0x0935e01b
00000664: MUL
00000665: DUP3
00000666: MSTORE
00000667: PUSH1 0x01
00000669: PUSH1 0xa0
0000066b: PUSH1 0x02
0000066d: EXP
0000066e: SUB
0000066f: ORIGIN
00000670: DUP2
00000671: AND
00000672: PUSH1 0x04
00000674: DUP5
00000675: ADD
00000676: MSTORE
00000677: SWAP3
00000678: MLOAD
00000679: SWAP3
0000067a: AND
0000067b: SWAP2
0000067c: PUSH4 0x24d7806c
00000681: SWAP2
00000682: PUSH1 0x24
00000684: DUP2
00000685: DUP2
00000686: ADD
00000687: SWAP3
00000688: PUSH1 0x20
0000068a: SWAP3
0000068b: SWAP1
0000068c: SWAP2
0000068d: SWAP1
0000068e: DUP3
0000068f: SWAP1
00000690: SUB
00000691: ADD
00000692: DUP2
00000693: PUSH1 0x00
00000695: DUP8
00000696: PUSH2 0x61da
00000699: GAS
0000069a: SUB
0000069b: CALL
0000069c: ISZERO
0000069d: PUSH2 0x0002
000006a0: JUMPI
000006a1: POP
000006a2: POP
000006a3: PUSH1 0x40
000006a5: MLOAD
000006a6: MLOAD
000006a7: ISZERO
000006a8: SWAP1
000006a9: POP
000006aa: PUSH2 0x04a5
000006ad: JUMPI
000006ae: PUSH1 0x00
000006b0: DUP2
000006b1: PUSH4 0xffffffff
000006b6: AND
000006b7: GT
000006b8: DUP1
000006b9: ISZERO
000006ba: PUSH2 0x06cd
000006bd: JUMPI
000006be: POP
000006bf: PUSH4 0x047868c0
000006c4: PUSH4 0xffffffff
000006c9: DUP3
000006ca: AND
000006cb: GT
000006cc: ISZERO
000006cd: JUMPDEST
000006ce: ISZERO
000006cf: PUSH2 0x04a5
000006d2: JUMPI
000006d3: PUSH1 0x03
000006d5: DUP1
000006d6: SLOAD
000006d7: PUSH1 0xa0
000006d9: PUSH1 0x02
000006db: EXP
000006dc: DUP4
000006dd: MUL
000006de: PUSH24 0xffffffff0000000000000000000000000000000000000000
000006f7: NOT
000006f8: SWAP1
000006f9: SWAP2
000006fa: AND
000006fb: OR
000006fc: SWAP1
000006fd: SSTORE
000006fe: POP
000006ff: JUMP
00000700: JUMPDEST
00000701: PUSH2 0x015e
00000704: PUSH1 0x04
00000706: CALLDATALOAD
00000707: PUSH1 0x24
00000709: CALLDATALOAD
0000070a: PUSH1 0x01
0000070c: SLOAD
0000070d: PUSH1 0x40
0000070f: DUP1
00000710: MLOAD
00000711: PUSH1 0xe2
00000713: PUSH1 0x02
00000715: EXP
00000716: PUSH4 0x0935e01b
0000071b: MUL
0000071c: DUP2
0000071d: MSTORE
0000071e: ORIGIN
0000071f: PUSH1 0x01
00000721: PUSH1 0xa0
00000723: PUSH1 0x02
00000725: EXP
00000726: SUB
00000727: SWAP1
00000728: DUP2
00000729: AND
0000072a: PUSH1 0x04
0000072c: DUP4
0000072d: ADD
0000072e: MSTORE
0000072f: SWAP2
00000730: MLOAD
00000731: PUSH1 0x00
00000733: SWAP4
00000734: DUP5
00000735: SWAP4
00000736: AND
00000737: SWAP2
00000738: PUSH4 0x24d7806c
0000073d: SWAP2
0000073e: PUSH1 0x24
00000740: DUP3
00000741: DUP2
00000742: ADD
00000743: SWAP3
00000744: PUSH1 0x20
00000746: SWAP3
00000747: SWAP2
00000748: SWAP1
00000749: DUP3
0000074a: SWAP1
0000074b: SUB
0000074c: ADD
0000074d: DUP2
0000074e: DUP8
0000074f: DUP8
00000750: PUSH2 0x61da
00000753: GAS
00000754: SUB
00000755: CALL
00000756: ISZERO
00000757: PUSH2 0x0002
0000075a: JUMPI
0000075b: POP
0000075c: POP
0000075d: PUSH1 0x40
0000075f: MLOAD
00000760: MLOAD
00000761: ISZERO
00000762: SWAP1
00000763: POP
00000764: PUSH2 0x11c6
00000767: JUMPI
00000768: DUP1
00000769: SLOAD
0000076a: PUSH1 0xff
0000076c: AND
0000076d: PUSH1 0x01
0000076f: EQ
00000770: ISZERO
00000771: PUSH2 0x11c6
00000774: JUMPI
00000775: PUSH1 0x40
00000777: DUP1
00000778: MLOAD
00000779: PUSH1 0x02
0000077b: SLOAD
0000077c: PUSH1 0xe3
0000077e: PUSH1 0x02
00000780: EXP
00000781: PUSH4 0x0bb7c8fd
00000786: MUL
00000787: DUP3
00000788: MSTORE
00000789: PUSH1 0x01
0000078b: PUSH1 0xa0
0000078d: PUSH1 0x02
0000078f: EXP
00000790: SUB
00000791: DUP8
00000792: DUP2
00000793: AND
00000794: PUSH1 0x04
00000796: DUP5
00000797: ADD
00000798: MSTORE
00000799: SWAP3
0000079a: MLOAD
0000079b: SWAP3
0000079c: AND
0000079d: SWAP2
0000079e: PUSH4 0x5dbe47e8
000007a3: SWAP2
000007a4: PUSH1 0x24
000007a6: DUP2
000007a7: DUP2
000007a8: ADD
000007a9: SWAP3
000007aa: PUSH1 0x20
000007ac: SWAP3
000007ad: SWAP1
000007ae: SWAP2
000007af: SWAP1
000007b0: DUP3
000007b1: SWAP1
000007b2: SUB
000007b3: ADD
000007b4: DUP2
000007b5: DUP8
000007b6: DUP8
000007b7: PUSH2 0x61da
000007ba: GAS
000007bb: SUB
000007bc: CALL
000007bd: ISZERO
000007be: PUSH2 0x0002
000007c1: JUMPI
000007c2: POP
000007c3: POP
000007c4: PUSH1 0x40
000007c6: MLOAD
000007c7: MLOAD
000007c8: SWAP1
000007c9: POP
000007ca: DUP1
000007cb: ISZERO
000007cc: PUSH2 0x07df
000007cf: JUMPI
000007d0: POP
000007d1: DUP3
000007d2: PUSH1 0x01
000007d4: PUSH1 0xa0
000007d6: PUSH1 0x02
000007d8: EXP
000007d9: SUB
000007da: AND
000007db: PUSH1 0x00
000007dd: EQ
000007de: ISZERO
000007df: JUMPDEST
000007e0: ISZERO
000007e1: PUSH2 0x11c6
000007e4: JUMPI
000007e5: PUSH1 0x40
000007e7: DUP1
000007e8: MLOAD
000007e9: PUSH1 0x02
000007eb: SLOAD
000007ec: PUSH1 0xe3
000007ee: PUSH1 0x02
000007f0: EXP
000007f1: PUSH4 0x0bb7c8fd
000007f6: MUL
000007f7: DUP3
000007f8: MSTORE
000007f9: PUSH1 0x01
000007fb: PUSH1 0xa0
000007fd: PUSH1 0x02
000007ff: EXP
00000800: SUB
00000801: DUP7
00000802: DUP2
00000803: AND
00000804: PUSH1 0x04
00000806: DUP5
00000807: ADD
00000808: MSTORE
00000809: SWAP3
0000080a: MLOAD
0000080b: SWAP3
0000080c: AND
0000080d: SWAP2
0000080e: PUSH4 0x5dbe47e8
00000813: SWAP2
00000814: PUSH1 0x24
00000816: DUP2
00000817: DUP2
00000818: ADD
00000819: SWAP3
0000081a: PUSH1 0x20
0000081c: SWAP3
0000081d: SWAP1
0000081e: SWAP2
0000081f: SWAP1
00000820: DUP3
00000821: SWAP1
00000822: SUB
00000823: ADD
00000824: DUP2
00000825: PUSH1 0x00
00000827: DUP8
00000828: PUSH2 0x61da
0000082b: GAS
0000082c: SUB
0000082d: CALL
0000082e: ISZERO
0000082f: PUSH2 0x0002
00000832: JUMPI
00000833: POP
00000834: POP
00000835: PUSH1 0x40
00000837: MLOAD
00000838: MLOAD
00000839: ISZERO
0000083a: ISZERO
0000083b: SWAP1
0000083c: POP
0000083d: PUSH2 0x1784
00000840: JUMPI
00000841: PUSH2 0x1784
00000844: DUP4
00000845: PUSH2 0x0d87
00000848: JUMP
00000849: JUMPDEST
0000084a: PUSH2 0x015e
0000084d: PUSH1 0x04
0000084f: CALLDATALOAD
00000850: PUSH1 0x24
00000852: CALLDATALOAD
00000853: PUSH1 0x44
00000855: CALLDATALOAD
00000856: PUSH1 0x00
00000858: PUSH1 0x00
0000085a: GAS
0000085b: PUSH1 0x02
0000085d: SLOAD
0000085e: PUSH1 0x40
00000860: DUP1
00000861: MLOAD
00000862: PUSH1 0xe3
00000864: PUSH1 0x02
00000866: EXP
00000867: PUSH4 0x0bb7c8fd
0000086c: MUL
0000086d: DUP2
0000086e: MSTORE
0000086f: CALLER
00000870: PUSH1 0x01
00000872: PUSH1 0xa0
00000874: PUSH1 0x02
00000876: EXP
00000877: SUB
00000878: SWAP1
00000879: DUP2
0000087a: AND
0000087b: PUSH1 0x04
0000087d: DUP4
0000087e: ADD
0000087f: MSTORE
00000880: SWAP2
00000881: MLOAD
00000882: SWAP4
00000883: SWAP6
00000884: POP
00000885: SWAP2
00000886: AND
00000887: SWAP2
00000888: PUSH4 0x5dbe47e8
0000088d: SWAP2
0000088e: PUSH1 0x24
00000890: DUP2
00000891: DUP2
00000892: ADD
00000893: SWAP3
00000894: PUSH1 0x20
00000896: SWAP3
00000897: SWAP1
00000898: SWAP2
00000899: SWAP1
0000089a: DUP3
0000089b: SWAP1
0000089c: SUB
0000089d: ADD
0000089e: DUP2
0000089f: DUP8
000008a0: DUP8
000008a1: PUSH2 0x61da
000008a4: GAS
000008a5: SUB
000008a6: CALL
000008a7: ISZERO
000008a8: PUSH2 0x0002
000008ab: JUMPI
000008ac: POP
000008ad: POP
000008ae: PUSH1 0x40
000008b0: MLOAD
000008b1: MLOAD
000008b2: ISZERO
000008b3: SWAP1
000008b4: POP
000008b5: PUSH2 0x09b3
000008b8: JUMPI
000008b9: PUSH1 0x03
000008bb: SLOAD
000008bc: PUSH1 0xe0
000008be: PUSH1 0x02
000008c0: EXP
000008c1: SWAP1
000008c2: DIV
000008c3: PUSH1 0xff
000008c5: AND
000008c6: ISZERO
000008c7: PUSH2 0x0952
000008ca: JUMPI
000008cb: DUP1
000008cc: SLOAD
000008cd: PUSH1 0xff
000008cf: AND
000008d0: PUSH1 0x01
000008d2: EQ
000008d3: ISZERO
000008d4: PUSH2 0x0952
000008d7: JUMPI
000008d8: PUSH1 0x40
000008da: DUP1
000008db: MLOAD
000008dc: PUSH1 0x03
000008de: SLOAD
000008df: PUSH32 0x7288349200000000000000000000000000000000000000000000000000000000
00000900: DUP3
00000901: MSTORE
00000902: PUSH4 0xffffffff
00000907: DUP9
00000908: DUP2
00000909: AND
0000090a: PUSH1 0x04
0000090c: DUP5
0000090d: ADD
0000090e: MSTORE
0000090f: DUP8
00000910: AND
00000911: PUSH1 0x24
00000913: DUP4
00000914: ADD
00000915: MSTORE
00000916: PUSH1 0x44
00000918: DUP3
00000919: ADD
0000091a: DUP7
0000091b: SWAP1
0000091c: MSTORE
0000091d: SWAP2
0000091e: MLOAD
0000091f: PUSH1 0x01
00000921: PUSH1 0xa0
00000923: PUSH1 0x02
00000925: EXP
00000926: SUB
00000927: SWAP3
00000928: SWAP1
00000929: SWAP3
0000092a: AND
0000092b: SWAP2
0000092c: PUSH4 0x72883492
00000931: SWAP2
00000932: PUSH1 0x64
00000934: DUP2
00000935: DUP2
00000936: ADD
00000937: SWAP3
00000938: DUP7
00000939: SWAP3
0000093a: SWAP1
0000093b: SWAP2
0000093c: SWAP1
0000093d: DUP3
0000093e: SWAP1
0000093f: SUB
00000940: ADD
00000941: DUP2
00000942: DUP4
00000943: DUP8
00000944: PUSH2 0x61da
00000947: GAS
00000948: SUB
00000949: CALL
0000094a: ISZERO
0000094b: PUSH2 0x0002
0000094e: JUMPI
0000094f: POP
00000950: POP
00000951: POP
00000952: JUMPDEST
00000953: GAS
00000954: PUSH1 0x40
00000956: DUP1
00000957: MLOAD
00000958: SWAP2
00000959: DUP5
0000095a: SUB
0000095b: PUSH2 0x7364
0000095e: ADD
0000095f: GASPRICE
00000960: MUL
00000961: DUP1
00000962: DUP4
00000963: MSTORE
00000964: SWAP1
00000965: MLOAD
00000966: SWAP1
00000967: SWAP3
00000968: POP
00000969: PUSH32 0x8f22ef5ca888de3e246c690a13b066ad49cbf2768b0449441dd6f5bae826a1b1
0000098a: SWAP2
0000098b: DUP2
0000098c: SWAP1
0000098d: SUB
0000098e: PUSH1 0x20
00000990: ADD
00000991: SWAP1
00000992: LOG1
00000993: PUSH1 0x40
00000995: MLOAD
00000996: CALLER
00000997: PUSH1 0x01
00000999: PUSH1 0xa0
0000099b: PUSH1 0x02
0000099d: EXP
0000099e: SUB
0000099f: AND
000009a0: SWAP1
000009a1: PUSH1 0x00
000009a3: SWAP1
000009a4: DUP4
000009a5: SWAP1
000009a6: DUP3
000009a7: DUP2
000009a8: DUP2
000009a9: DUP2
000009aa: DUP6
000009ab: DUP9
000009ac: DUP4
000009ad: CALL
000009ae: POP
000009af: POP
000009b0: POP
000009b1: POP
000009b2: POP
000009b3: JUMPDEST
000009b4: POP
000009b5: POP
000009b6: POP
000009b7: POP
000009b8: POP
000009b9: JUMP
000009ba: JUMPDEST
000009bb: PUSH2 0x015e
000009be: PUSH1 0x04
000009c0: CALLDATALOAD
000009c1: JUMPDEST
000009c2: PUSH1 0x00
000009c4: SLOAD
000009c5: PUSH1 0xff
000009c7: AND
000009c8: PUSH1 0x01
000009ca: EQ
000009cb: ISZERO
000009cc: PUSH2 0x04a5
000009cf: JUMPI
000009d0: PUSH1 0x40
000009d2: DUP1
000009d3: MLOAD
000009d4: PUSH1 0x01
000009d6: SLOAD
000009d7: PUSH1 0xe2
000009d9: PUSH1 0x02
000009db: EXP
000009dc: PUSH4 0x0935e01b
000009e1: MUL
000009e2: DUP3
000009e3: MSTORE
000009e4: PUSH1 0x01
000009e6: PUSH1 0xa0
000009e8: PUSH1 0x02
000009ea: EXP
000009eb: SUB
000009ec: ORIGIN
000009ed: DUP2
000009ee: AND
000009ef: PUSH1 0x04
000009f1: DUP5
000009f2: ADD
000009f3: MSTORE
000009f4: SWAP3
000009f5: MLOAD
000009f6: SWAP3
000009f7: AND
000009f8: SWAP2
000009f9: PUSH4 0x24d7806c
000009fe: SWAP2
000009ff: PUSH1 0x24
00000a01: DUP2
00000a02: DUP2
00000a03: ADD
00000a04: SWAP3
00000a05: PUSH1 0x20
00000a07: SWAP3
00000a08: SWAP1
00000a09: SWAP2
00000a0a: SWAP1
00000a0b: DUP3
00000a0c: SWAP1
00000a0d: SUB
00000a0e: ADD
00000a0f: DUP2
00000a10: PUSH1 0x00
00000a12: DUP8
00000a13: PUSH2 0x61da
00000a16: GAS
00000a17: SUB
00000a18: CALL
00000a19: ISZERO
00000a1a: PUSH2 0x0002
00000a1d: JUMPI
00000a1e: POP
00000a1f: POP
00000a20: PUSH1 0x40
00000a22: MLOAD
00000a23: MLOAD
00000a24: ISZERO
00000a25: SWAP1
00000a26: POP
00000a27: PUSH2 0x04a5
00000a2a: JUMPI
00000a2b: PUSH1 0x40
00000a2d: DUP1
00000a2e: MLOAD
00000a2f: PUSH1 0x02
00000a31: SLOAD
00000a32: PUSH32 0x29092d0e00000000000000000000000000000000000000000000000000000000
00000a53: DUP3
00000a54: MSTORE
00000a55: PUSH1 0x01
00000a57: PUSH1 0xa0
00000a59: PUSH1 0x02
00000a5b: EXP
00000a5c: SUB
00000a5d: DUP5
00000a5e: DUP2
00000a5f: AND
00000a60: PUSH1 0x04
00000a62: DUP5
00000a63: ADD
00000a64: MSTORE
00000a65: SWAP3
00000a66: MLOAD
00000a67: SWAP3
00000a68: AND
00000a69: SWAP2
00000a6a: PUSH4 0x29092d0e
00000a6f: SWAP2
00000a70: PUSH1 0x24
00000a72: DUP2
00000a73: DUP2
00000a74: ADD
00000a75: SWAP3
00000a76: PUSH1 0x00
00000a78: SWAP3
00000a79: SWAP1
00000a7a: SWAP2
00000a7b: SWAP1
00000a7c: DUP3
00000a7d: SWAP1
00000a7e: SUB
00000a7f: ADD
00000a80: DUP2
00000a81: DUP4
00000a82: DUP8
00000a83: PUSH2 0x61da
00000a86: GAS
00000a87: SUB
00000a88: CALL
00000a89: ISZERO
00000a8a: PUSH2 0x0002
00000a8d: JUMPI
00000a8e: POP
00000a8f: POP
00000a90: PUSH1 0x40
00000a92: DUP1
00000a93: MLOAD
00000a94: PUSH1 0x01
00000a96: PUSH1 0xa0
00000a98: PUSH1 0x02
00000a9a: EXP
00000a9b: SUB
00000a9c: DUP5
00000a9d: AND
00000a9e: DUP2
00000a9f: MSTORE
00000aa0: SWAP1
00000aa1: MLOAD
00000aa2: PUSH32 0x984b558696eec355172c301d97f89185bfc9bb2d7933193fad1beb7825ed4c2e
00000ac3: SWAP3
00000ac4: POP
00000ac5: SWAP1
00000ac6: DUP2
00000ac7: SWAP1
00000ac8: SUB
00000ac9: PUSH1 0x20
00000acb: ADD
00000acc: SWAP1
00000acd: LOG1
00000ace: POP
00000acf: JUMP
00000ad0: JUMPDEST
00000ad1: PUSH2 0x1633
00000ad4: PUSH1 0x02
00000ad6: DUP2
00000ad7: JUMP
00000ad8: JUMPDEST
00000ad9: PUSH2 0x015e
00000adc: PUSH1 0x04
00000ade: CALLDATALOAD
00000adf: PUSH1 0x24
00000ae1: CALLDATALOAD
00000ae2: PUSH1 0x44
00000ae4: CALLDATALOAD
00000ae5: PUSH1 0x64
00000ae7: CALLDATALOAD
00000ae8: PUSH1 0x84
00000aea: CALLDATALOAD
00000aeb: PUSH1 0xa4
00000aed: CALLDATALOAD
00000aee: PUSH1 0xc4
00000af0: CALLDATALOAD
00000af1: PUSH1 0x03
00000af3: SLOAD
00000af4: PUSH1 0x01
00000af6: PUSH1 0xa0
00000af8: PUSH1 0x02
00000afa: EXP
00000afb: SUB
00000afc: SWAP1
00000afd: DUP2
00000afe: AND
00000aff: CALLER
00000b00: SWAP1
00000b01: SWAP2
00000b02: AND
00000b03: EQ
00000b04: ISZERO
00000b05: PUSH2 0x1706
00000b08: JUMPI
00000b09: DUP1
00000b0a: ISZERO
00000b0b: PUSH2 0x1693
00000b0e: JUMPI
00000b0f: PUSH1 0x40
00000b11: DUP1
00000b12: MLOAD
00000b13: PUSH1 0x01
00000b15: PUSH1 0xa0
00000b17: PUSH1 0x02
00000b19: EXP
00000b1a: SUB
00000b1b: DUP10
00000b1c: AND
00000b1d: DUP2
00000b1e: MSTORE
00000b1f: PUSH4 0xffffffff
00000b24: DUP9
00000b25: DUP2
00000b26: AND
00000b27: PUSH1 0x20
00000b29: DUP4
00000b2a: ADD
00000b2b: MSTORE
00000b2c: DUP8
00000b2d: AND
00000b2e: DUP2
00000b2f: DUP4
00000b30: ADD
00000b31: MSTORE
00000b32: PUSH10 0xffffffffffffffffffff
00000b3d: DUP7
00000b3e: AND
00000b3f: PUSH1 0x60
00000b41: DUP3
00000b42: ADD
00000b43: MSTORE
00000b44: PUSH1 0x80
00000b46: DUP2
00000b47: ADD
00000b48: DUP6
00000b49: SWAP1
00000b4a: MSTORE
00000b4b: PUSH1 0x13
00000b4d: DUP5
00000b4e: SWAP1
00000b4f: SIGNEXTEND
00000b50: PUSH1 0xa0
00000b52: DUP3
00000b53: ADD
00000b54: MSTORE
00000b55: SWAP1
00000b56: MLOAD
00000b57: PUSH32 0xa8061486280834731cc1ef340255cc5d9880ad748d20cb766f43cb7562ec2c16
00000b78: SWAP2
00000b79: DUP2
00000b7a: SWAP1
00000b7b: SUB
00000b7c: PUSH1 0xc0
00000b7e: ADD
00000b7f: SWAP1
00000b80: LOG1
00000b81: PUSH2 0x1706
00000b84: JUMP
00000b85: JUMPDEST
00000b86: PUSH2 0x1633
00000b89: PUSH1 0x04
00000b8b: DUP2
00000b8c: JUMP
00000b8d: JUMPDEST
00000b8e: PUSH2 0x164a
00000b91: PUSH1 0x03
00000b93: SLOAD
00000b94: PUSH1 0xa0
00000b96: PUSH1 0x02
00000b98: EXP
00000b99: SWAP1
00000b9a: DIV
00000b9b: PUSH4 0xffffffff
00000ba0: AND
00000ba1: DUP2
00000ba2: JUMP
00000ba3: JUMPDEST
00000ba4: PUSH2 0x015e
00000ba7: PUSH1 0x04
00000ba9: CALLDATALOAD
00000baa: PUSH1 0x24
00000bac: CALLDATALOAD
00000bad: PUSH1 0x01
00000baf: SLOAD
00000bb0: PUSH1 0x40
00000bb2: DUP1
00000bb3: MLOAD
00000bb4: PUSH1 0xe2
00000bb6: PUSH1 0x02
00000bb8: EXP
00000bb9: PUSH4 0x0935e01b
00000bbe: MUL
00000bbf: DUP2
00000bc0: MSTORE
00000bc1: ORIGIN
00000bc2: PUSH1 0x01
00000bc4: PUSH1 0xa0
00000bc6: PUSH1 0x02
00000bc8: EXP
00000bc9: SUB
00000bca: SWAP1
00000bcb: DUP2
00000bcc: AND
00000bcd: PUSH1 0x04
00000bcf: DUP4
00000bd0: ADD
00000bd1: MSTORE
00000bd2: SWAP2
00000bd3: MLOAD
00000bd4: SWAP2
00000bd5: SWAP1
00000bd6: SWAP3
00000bd7: AND
00000bd8: SWAP2
00000bd9: PUSH4 0x24d7806c
00000bde: SWAP2
00000bdf: PUSH1 0x24
00000be1: DUP3
00000be2: DUP2
00000be3: ADD
00000be4: SWAP3
00000be5: PUSH1 0x20
00000be7: SWAP3
00000be8: SWAP2
00000be9: SWAP1
00000bea: DUP3
00000beb: SWAP1
00000bec: SUB
00000bed: ADD
00000bee: DUP2
00000bef: PUSH1 0x00
00000bf1: DUP8
00000bf2: PUSH2 0x61da
00000bf5: GAS
00000bf6: SUB
00000bf7: CALL
00000bf8: ISZERO
00000bf9: PUSH2 0x0002
00000bfc: JUMPI
00000bfd: POP
00000bfe: POP
00000bff: PUSH1 0x40
00000c01: MLOAD
00000c02: MLOAD
00000c03: ISZERO
00000c04: SWAP1
00000c05: POP
00000c06: PUSH2 0x02d1
00000c09: JUMPI
00000c0a: PUSH1 0x00
00000c0c: SLOAD
00000c0d: PUSH1 0xff
00000c0f: AND
00000c10: PUSH1 0x01
00000c12: EQ
00000c13: ISZERO
00000c14: PUSH2 0x02d1
00000c17: JUMPI
00000c18: PUSH1 0x40
00000c1a: DUP1
00000c1b: MLOAD
00000c1c: PUSH1 0x03
00000c1e: SLOAD
00000c1f: PUSH1 0xe0
00000c21: PUSH1 0x02
00000c23: EXP
00000c24: PUSH4 0x033173b7
00000c29: MUL
00000c2a: DUP3
00000c2b: MSTORE
00000c2c: PUSH10 0xffffffffffffffffffff
00000c37: DUP6
00000c38: AND
00000c39: PUSH1 0x04
00000c3b: DUP4
00000c3c: ADD
00000c3d: MSTORE
00000c3e: PUSH1 0x24
00000c40: DUP3
00000c41: ADD
00000c42: DUP5
00000c43: SWAP1
00000c44: MSTORE
00000c45: PUSH1 0x00
00000c47: PUSH1 0x44
00000c49: DUP4
00000c4a: ADD
00000c4b: DUP2
00000c4c: SWAP1
00000c4d: MSTORE
00000c4e: SWAP3
00000c4f: MLOAD
00000c50: PUSH1 0x01
00000c52: PUSH1 0xa0
00000c54: PUSH1 0x02
00000c56: EXP
00000c57: SUB
00000c58: SWAP2
00000c59: SWAP1
00000c5a: SWAP2
00000c5b: AND
00000c5c: SWAP3
00000c5d: PUSH4 0x033173b7
00000c62: SWAP3
00000c63: PUSH1 0x64
00000c65: DUP2
00000c66: DUP2
00000c67: ADD
00000c68: SWAP4
00000c69: SWAP2
00000c6a: DUP3
00000c6b: SWAP1
00000c6c: SUB
00000c6d: ADD
00000c6e: DUP2
00000c6f: DUP4
00000c70: DUP8
00000c71: PUSH2 0x61da
00000c74: GAS
00000c75: SUB
00000c76: CALL
00000c77: ISZERO
00000c78: PUSH2 0x0002
00000c7b: JUMPI
00000c7c: POP
00000c7d: POP
00000c7e: POP
00000c7f: POP
00000c80: POP
00000c81: JUMP
00000c82: JUMPDEST
00000c83: PUSH2 0x015e
00000c86: PUSH1 0x04
00000c88: CALLDATALOAD
00000c89: PUSH1 0x24
00000c8b: CALLDATALOAD
00000c8c: PUSH1 0x44
00000c8e: CALLDATALOAD
00000c8f: PUSH1 0x64
00000c91: CALLDATALOAD
00000c92: PUSH1 0x84
00000c94: CALLDATALOAD
00000c95: PUSH1 0xa4
00000c97: CALLDATALOAD
00000c98: PUSH1 0xc4
00000c9a: CALLDATALOAD
00000c9b: PUSH1 0xe4
00000c9d: CALLDATALOAD
00000c9e: PUSH2 0x0104
00000ca1: CALLDATALOAD
00000ca2: PUSH2 0x0124
00000ca5: CALLDATALOAD
00000ca6: PUSH1 0x03
00000ca8: SLOAD
00000ca9: PUSH1 0x01
00000cab: PUSH1 0xa0
00000cad: PUSH1 0x02
00000caf: EXP
00000cb0: SUB
00000cb1: SWAP1
00000cb2: DUP2
00000cb3: AND
00000cb4: CALLER
00000cb5: SWAP1
00000cb6: SWAP2
00000cb7: AND
00000cb8: EQ
00000cb9: ISZERO
00000cba: PUSH2 0x0d3f
00000cbd: JUMPI
00000cbe: PUSH1 0x40
00000cc0: DUP1
00000cc1: MLOAD
00000cc2: PUSH1 0x01
00000cc4: PUSH1 0xa0
00000cc6: PUSH1 0x02
00000cc8: EXP
00000cc9: SUB
00000cca: DUP13
00000ccb: DUP2
00000ccc: AND
00000ccd: DUP3
00000cce: MSTORE
00000ccf: DUP12
00000cd0: AND
00000cd1: PUSH1 0x20
00000cd3: DUP3
00000cd4: ADD
00000cd5: MSTORE
00000cd6: DUP1
00000cd7: DUP3
00000cd8: ADD
00000cd9: DUP11
00000cda: SWAP1
00000cdb: MSTORE
00000cdc: PUSH1 0x60
00000cde: DUP2
00000cdf: ADD
00000ce0: DUP10
00000ce1: SWAP1
00000ce2: MSTORE
00000ce3: PUSH1 0x80
00000ce5: DUP2
00000ce6: ADD
00000ce7: DUP9
00000ce8: SWAP1
00000ce9: MSTORE
00000cea: PUSH1 0xa0
00000cec: DUP2
00000ced: ADD
00000cee: DUP8
00000cef: SWAP1
00000cf0: MSTORE
00000cf1: PUSH1 0xc0
00000cf3: DUP2
00000cf4: ADD
00000cf5: DUP7
00000cf6: SWAP1
00000cf7: MSTORE
00000cf8: PUSH1 0xe0
00000cfa: DUP2
00000cfb: ADD
00000cfc: DUP6
00000cfd: SWAP1
00000cfe: MSTORE
00000cff: PUSH2 0x0100
00000d02: DUP2
00000d03: ADD
00000d04: DUP5
00000d05: SWAP1
00000d06: MSTORE
00000d07: PUSH1 0x13
00000d09: DUP4
00000d0a: SWAP1
00000d0b: SIGNEXTEND
00000d0c: PUSH2 0x0120
00000d0f: DUP3
00000d10: ADD
00000d11: MSTORE
00000d12: SWAP1
00000d13: MLOAD
00000d14: PUSH32 0x68a83b20dde5c87dee07cc8d46d46e2fda6f176227f8b1f20dcb93752557df0e
00000d35: SWAP2
00000d36: DUP2
00000d37: SWAP1
00000d38: SUB
00000d39: PUSH2 0x0140
00000d3c: ADD
00000d3d: SWAP1
00000d3e: LOG1
00000d3f: JUMPDEST
00000d40: POP
00000d41: POP
00000d42: POP
00000d43: POP
00000d44: POP
00000d45: POP
00000d46: POP
00000d47: POP
00000d48: POP
00000d49: POP
00000d4a: JUMP
00000d4b: JUMPDEST
00000d4c: PUSH2 0x1664
00000d4f: PUSH1 0x00
00000d51: SLOAD
00000d52: PUSH2 0x0100
00000d55: SWAP1
00000d56: DIV
00000d57: PUSH1 0x01
00000d59: PUSH1 0xa0
00000d5b: PUSH1 0x02
00000d5d: EXP
00000d5e: SUB
00000d5f: AND
00000d60: DUP2
00000d61: JUMP
00000d62: JUMPDEST
00000d63: PUSH2 0x1664
00000d66: PUSH1 0x01
00000d68: SLOAD
00000d69: PUSH1 0x01
00000d6b: PUSH1 0xa0
00000d6d: PUSH1 0x02
00000d6f: EXP
00000d70: SUB
00000d71: AND
00000d72: DUP2
00000d73: JUMP
00000d74: JUMPDEST
00000d75: PUSH2 0x1681
00000d78: PUSH1 0x00
00000d7a: SLOAD
00000d7b: PUSH1 0xff
00000d7d: AND
00000d7e: DUP2
00000d7f: JUMP
00000d80: JUMPDEST
00000d81: PUSH2 0x015e
00000d84: PUSH1 0x04
00000d86: CALLDATALOAD
00000d87: JUMPDEST
00000d88: PUSH1 0x00
00000d8a: SLOAD
00000d8b: PUSH1 0xff
00000d8d: AND
00000d8e: PUSH1 0x01
00000d90: EQ
00000d91: ISZERO
00000d92: PUSH2 0x04a5
00000d95: JUMPI
00000d96: PUSH1 0x40
00000d98: DUP1
00000d99: MLOAD
00000d9a: PUSH1 0x01
00000d9c: SLOAD
00000d9d: PUSH1 0xe2
00000d9f: PUSH1 0x02
00000da1: EXP
00000da2: PUSH4 0x0935e01b
00000da7: MUL
00000da8: DUP3
00000da9: MSTORE
00000daa: PUSH1 0x01
00000dac: PUSH1 0xa0
00000dae: PUSH1 0x02
00000db0: EXP
00000db1: SUB
00000db2: ORIGIN
00000db3: DUP2
00000db4: AND
00000db5: PUSH1 0x04
00000db7: DUP5
00000db8: ADD
00000db9: MSTORE
00000dba: SWAP3
00000dbb: MLOAD
00000dbc: SWAP3
00000dbd: AND
00000dbe: SWAP2
00000dbf: PUSH4 0x24d7806c
00000dc4: SWAP2
00000dc5: PUSH1 0x24
00000dc7: DUP2
00000dc8: DUP2
00000dc9: ADD
00000dca: SWAP3
00000dcb: PUSH1 0x20
00000dcd: SWAP3
00000dce: SWAP1
00000dcf: SWAP2
00000dd0: SWAP1
00000dd1: DUP3
00000dd2: SWAP1
00000dd3: SUB
00000dd4: ADD
00000dd5: DUP2
00000dd6: PUSH1 0x00
00000dd8: DUP8
00000dd9: PUSH2 0x61da
00000ddc: GAS
00000ddd: SUB
00000dde: CALL
00000ddf: ISZERO
00000de0: PUSH2 0x0002
00000de3: JUMPI
00000de4: POP
00000de5: POP
00000de6: PUSH1 0x40
00000de8: MLOAD
00000de9: MLOAD
00000dea: ISZERO
00000deb: SWAP1
00000dec: POP
00000ded: PUSH2 0x04a5
00000df0: JUMPI
00000df1: PUSH1 0x40
00000df3: DUP1
00000df4: MLOAD
00000df5: PUSH1 0x02
00000df7: SLOAD
00000df8: PUSH1 0xe3
00000dfa: PUSH1 0x02
00000dfc: EXP
00000dfd: PUSH4 0x0bb7c8fd
00000e02: MUL
00000e03: DUP3
00000e04: MSTORE
00000e05: PUSH1 0x01
00000e07: PUSH1 0xa0
00000e09: PUSH1 0x02
00000e0b: EXP
00000e0c: SUB
00000e0d: DUP5
00000e0e: DUP2
00000e0f: AND
00000e10: PUSH1 0x04
00000e12: DUP5
00000e13: ADD
00000e14: MSTORE
00000e15: SWAP3
00000e16: MLOAD
00000e17: SWAP3
00000e18: AND
00000e19: SWAP2
00000e1a: PUSH4 0x5dbe47e8
00000e1f: SWAP2
00000e20: PUSH1 0x24
00000e22: DUP2
00000e23: DUP2
00000e24: ADD
00000e25: SWAP3
00000e26: PUSH1 0x20
00000e28: SWAP3
00000e29: SWAP1
00000e2a: SWAP2
00000e2b: SWAP1
00000e2c: DUP3
00000e2d: SWAP1
00000e2e: SUB
00000e2f: ADD
00000e30: DUP2
00000e31: PUSH1 0x00
00000e33: DUP8
00000e34: PUSH2 0x61da
00000e37: GAS
00000e38: SUB
00000e39: CALL
00000e3a: ISZERO
00000e3b: PUSH2 0x0002
00000e3e: JUMPI
00000e3f: POP
00000e40: POP
00000e41: PUSH1 0x40
00000e43: MLOAD
00000e44: MLOAD
00000e45: ISZERO
00000e46: ISZERO
00000e47: SWAP1
00000e48: POP
00000e49: PUSH2 0x04a5
00000e4c: JUMPI
00000e4d: PUSH1 0x40
00000e4f: DUP1
00000e50: MLOAD
00000e51: PUSH1 0x02
00000e53: SLOAD
00000e54: PUSH32 0x0a3b0a4f00000000000000000000000000000000000000000000000000000000
00000e75: DUP3
00000e76: MSTORE
00000e77: PUSH1 0x01
00000e79: PUSH1 0xa0
00000e7b: PUSH1 0x02
00000e7d: EXP
00000e7e: SUB
00000e7f: DUP5
00000e80: DUP2
00000e81: AND
00000e82: PUSH1 0x04
00000e84: DUP5
00000e85: ADD
00000e86: MSTORE
00000e87: SWAP3
00000e88: MLOAD
00000e89: SWAP3
00000e8a: AND
00000e8b: SWAP2
00000e8c: PUSH4 0x0a3b0a4f
00000e91: SWAP2
00000e92: PUSH1 0x24
00000e94: DUP2
00000e95: DUP2
00000e96: ADD
00000e97: SWAP3
00000e98: PUSH1 0x00
00000e9a: SWAP3
00000e9b: SWAP1
00000e9c: SWAP2
00000e9d: SWAP1
00000e9e: DUP3
00000e9f: SWAP1
00000ea0: SUB
00000ea1: ADD
00000ea2: DUP2
00000ea3: DUP4
00000ea4: DUP8
00000ea5: PUSH2 0x61da
00000ea8: GAS
00000ea9: SUB
00000eaa: CALL
00000eab: ISZERO
00000eac: PUSH2 0x0002
00000eaf: JUMPI
00000eb0: POP
00000eb1: POP
00000eb2: PUSH1 0x40
00000eb4: MLOAD
00000eb5: PUSH1 0x01
00000eb7: PUSH1 0xa0
00000eb9: PUSH1 0x02
00000ebb: EXP
00000ebc: SUB
00000ebd: DUP4
00000ebe: AND
00000ebf: SWAP2
00000ec0: POP
00000ec1: PUSH1 0x00
00000ec3: SWAP1
00000ec4: PUSH7 0xb1a2bc2ec50000
00000ecc: SWAP1
00000ecd: DUP3
00000ece: DUP2
00000ecf: DUP2
00000ed0: DUP2
00000ed1: DUP6
00000ed2: DUP9
00000ed3: DUP4
00000ed4: CALL
00000ed5: POP
00000ed6: SWAP3
00000ed7: DUP4
00000ed8: MSTORE
00000ed9: POP
00000eda: POP
00000edb: PUSH1 0x40
00000edd: MLOAD
00000ede: PUSH32 0x09c9f097217c9a4a99ade5a6396765182e60e3f9d99856d934cc324eb79d11c2
00000eff: SWAP2
00000f00: DUP2
00000f01: SWAP1
00000f02: SUB
00000f03: PUSH1 0x20
00000f05: ADD
00000f06: SWAP1
00000f07: LOG1
00000f08: POP
00000f09: JUMP
00000f0a: JUMPDEST
00000f0b: PUSH1 0x40
00000f0d: DUP1
00000f0e: MLOAD
00000f0f: PUSH1 0x20
00000f11: PUSH1 0x44
00000f13: CALLDATALOAD
00000f14: PUSH1 0x04
00000f16: DUP2
00000f17: DUP2
00000f18: ADD
00000f19: CALLDATALOAD
00000f1a: PUSH1 0x1f
00000f1c: DUP2
00000f1d: ADD
00000f1e: DUP5
00000f1f: SWAP1
00000f20: DIV
00000f21: DUP5
00000f22: MUL
00000f23: DUP6
00000f24: ADD
00000f25: DUP5
00000f26: ADD
00000f27: SWAP1
00000f28: SWAP6
00000f29: MSTORE
00000f2a: DUP5
00000f2b: DUP5
00000f2c: MSTORE
00000f2d: PUSH2 0x015e
00000f30: SWAP5
00000f31: DUP2
00000f32: CALLDATALOAD
00000f33: SWAP5
00000f34: PUSH1 0x24
00000f36: DUP1
00000f37: CALLDATALOAD
00000f38: SWAP6
00000f39: SWAP4
00000f3a: SWAP5
00000f3b: PUSH1 0x64
00000f3d: SWAP5
00000f3e: SWAP3
00000f3f: SWAP4
00000f40: SWAP2
00000f41: ADD
00000f42: SWAP2
00000f43: DUP2
00000f44: SWAP1
00000f45: DUP5
00000f46: ADD
00000f47: DUP4
00000f48: DUP3
00000f49: DUP1
00000f4a: DUP3
00000f4b: DUP5
00000f4c: CALLDATACOPY
00000f4d: POP
00000f4e: SWAP5
00000f4f: SWAP7
00000f50: POP
00000f51: POP
00000f52: SWAP4
00000f53: CALLDATALOAD
00000f54: SWAP4
00000f55: POP
00000f56: POP
00000f57: POP
00000f58: POP
00000f59: JUMPDEST
00000f5a: PUSH1 0x00
00000f5c: SLOAD
00000f5d: PUSH1 0xff
00000f5f: AND
00000f60: PUSH1 0x01
00000f62: EQ
00000f63: ISZERO
00000f64: PUSH2 0x11c6
00000f67: JUMPI
00000f68: PUSH1 0x01
00000f6a: SLOAD
00000f6b: PUSH1 0x40
00000f6d: DUP1
00000f6e: MLOAD
00000f6f: PUSH1 0xe2
00000f71: PUSH1 0x02
00000f73: EXP
00000f74: PUSH4 0x0935e01b
00000f79: MUL
00000f7a: DUP2
00000f7b: MSTORE
00000f7c: PUSH1 0x01
00000f7e: PUSH1 0xa0
00000f80: PUSH1 0x02
00000f82: EXP
00000f83: SUB
00000f84: ORIGIN
00000f85: DUP2
00000f86: AND
00000f87: PUSH1 0x04
00000f89: DUP4
00000f8a: ADD
00000f8b: MSTORE
00000f8c: SWAP2
00000f8d: MLOAD
00000f8e: SWAP3
00000f8f: SWAP1
00000f90: SWAP2
00000f91: AND
00000f92: SWAP2
00000f93: PUSH4 0x24d7806c
00000f98: SWAP2
00000f99: PUSH1 0x24
00000f9b: DUP2
00000f9c: DUP2
00000f9d: ADD
00000f9e: SWAP3
00000f9f: PUSH1 0x20
00000fa1: SWAP3
00000fa2: SWAP1
00000fa3: SWAP2
00000fa4: SWAP1
00000fa5: DUP3
00000fa6: SWAP1
00000fa7: SUB
00000fa8: ADD
00000fa9: DUP2
00000faa: PUSH1 0x00
00000fac: DUP8
00000fad: PUSH2 0x61da
00000fb0: GAS
00000fb1: SUB
00000fb2: CALL
00000fb3: ISZERO
00000fb4: PUSH2 0x0002
00000fb7: JUMPI
00000fb8: POP
00000fb9: POP
00000fba: PUSH1 0x40
00000fbc: MLOAD
00000fbd: MLOAD
00000fbe: ISZERO
00000fbf: SWAP1
00000fc0: POP
00000fc1: PUSH2 0x11c6
00000fc4: JUMPI
00000fc5: PUSH1 0x03
00000fc7: SLOAD
00000fc8: PUSH1 0x00
00000fca: PUSH1 0xa0
00000fcc: PUSH1 0x02
00000fce: EXP
00000fcf: SWAP1
00000fd0: SWAP2
00000fd1: DIV
00000fd2: PUSH4 0xffffffff
00000fd7: AND
00000fd8: GT
00000fd9: DUP1
00000fda: ISZERO
00000fdb: PUSH2 0x1001
00000fde: JUMPI
00000fdf: POP
00000fe0: PUSH1 0x03
00000fe2: SLOAD
00000fe3: PUSH1 0xa0
00000fe5: PUSH1 0x02
00000fe7: EXP
00000fe8: DUP2
00000fe9: DIV
00000fea: PUSH4 0xffffffff
00000fef: SWAP1
00000ff0: DUP2
00000ff1: AND
00000ff2: PUSH1 0xc0
00000ff4: PUSH1 0x02
00000ff6: EXP
00000ff7: SWAP1
00000ff8: SWAP3
00000ff9: DIV
00000ffa: DUP2
00000ffb: AND
00000ffc: DUP6
00000ffd: ADD
00000ffe: AND
00000fff: GT
00001000: ISZERO
00001001: JUMPDEST
00001002: DUP1
00001003: ISZERO
00001004: PUSH2 0x1017
00001007: JUMPI
00001008: POP
00001009: DUP4
0000100a: PUSH1 0x01
0000100c: PUSH1 0xa0
0000100e: PUSH1 0x02
00001010: EXP
00001011: SUB
00001012: AND
00001013: PUSH1 0x00
00001015: EQ
00001016: ISZERO
00001017: JUMPDEST
00001018: DUP1
00001019: ISZERO
0000101a: PUSH2 0x1075
0000101d: JUMPI
0000101e: POP
0000101f: PUSH1 0x40
00001021: DUP1
00001022: MLOAD
00001023: PUSH1 0x02
00001025: SLOAD
00001026: PUSH1 0xe3
00001028: PUSH1 0x02
0000102a: EXP
0000102b: PUSH4 0x0bb7c8fd
00001030: MUL
00001031: DUP3
00001032: MSTORE
00001033: PUSH1 0x01
00001035: PUSH1 0xa0
00001037: PUSH1 0x02
00001039: EXP
0000103a: SUB
0000103b: DUP8
0000103c: DUP2
0000103d: AND
0000103e: PUSH1 0x04
00001040: DUP5
00001041: ADD
00001042: MSTORE
00001043: SWAP3
00001044: MLOAD
00001045: SWAP3
00001046: AND
00001047: SWAP2
00001048: PUSH4 0x5dbe47e8
0000104d: SWAP2
0000104e: PUSH1 0x24
00001050: DUP2
00001051: DUP2
00001052: ADD
00001053: SWAP3
00001054: PUSH1 0x20
00001056: SWAP3
00001057: SWAP1
00001058: SWAP2
00001059: SWAP1
0000105a: DUP3
0000105b: SWAP1
0000105c: SUB
0000105d: ADD
0000105e: DUP2
0000105f: PUSH1 0x00
00001061: DUP8
00001062: PUSH2 0x61da
00001065: GAS
00001066: SUB
00001067: CALL
00001068: ISZERO
00001069: PUSH2 0x0002
0000106c: JUMPI
0000106d: POP
0000106e: POP
0000106f: PUSH1 0x40
00001071: MLOAD
00001072: MLOAD
00001073: SWAP1
00001074: POP
00001075: JUMPDEST
00001076: ISZERO
00001077: PUSH2 0x11c6
0000107a: JUMPI
0000107b: PUSH1 0x40
0000107d: DUP1
0000107e: MLOAD
0000107f: PUSH1 0x02
00001081: SLOAD
00001082: PUSH32 0x665f09fa00000000000000000000000000000000000000000000000000000000
000010a3: DUP3
000010a4: MSTORE
000010a5: PUSH1 0x01
000010a7: PUSH1 0xa0
000010a9: PUSH1 0x02
000010ab: EXP
000010ac: SUB
000010ad: DUP8
000010ae: DUP2
000010af: AND
000010b0: PUSH1 0x04
000010b2: DUP5
000010b3: ADD
000010b4: MSTORE
000010b5: PUSH4 0xffffffff
000010ba: DUP8
000010bb: AND
000010bc: PUSH1 0x24
000010be: DUP5
000010bf: ADD
000010c0: MSTORE
000010c1: SWAP3
000010c2: MLOAD
000010c3: SWAP3
000010c4: AND
000010c5: SWAP2
000010c6: PUSH4 0x665f09fa
000010cb: SWAP2
000010cc: PUSH1 0x44
000010ce: DUP2
000010cf: DUP2
000010d0: ADD
000010d1: SWAP3
000010d2: PUSH1 0x00
000010d4: SWAP3
000010d5: SWAP1
000010d6: SWAP2
000010d7: SWAP1
000010d8: DUP3
000010d9: SWAP1
000010da: SUB
000010db: ADD
000010dc: DUP2
000010dd: DUP4
000010de: DUP8
000010df: PUSH2 0x61da
000010e2: GAS
000010e3: SUB
000010e4: CALL
000010e5: ISZERO
000010e6: PUSH2 0x0002
000010e9: JUMPI
000010ea: POP
000010eb: POP
000010ec: PUSH1 0x03
000010ee: DUP1
000010ef: SLOAD
000010f0: PUSH1 0xc0
000010f2: PUSH1 0x02
000010f4: EXP
000010f5: DUP1
000010f6: DUP3
000010f7: DIV
000010f8: PUSH4 0xffffffff
000010fd: AND
000010fe: DUP8
000010ff: ADD
00001100: MUL
00001101: PUSH1 0xc0
00001103: PUSH1 0x02
00001105: EXP
00001106: PUSH4 0xffffffff
0000110b: MUL
0000110c: NOT
0000110d: SWAP2
0000110e: SWAP1
0000110f: SWAP2
00001110: AND
00001111: OR
00001112: SWAP1
00001113: SSTORE
00001114: POP
00001115: PUSH1 0x02
00001117: SLOAD
00001118: PUSH1 0x40
0000111a: DUP1
0000111b: MLOAD
0000111c: PUSH1 0xe2
0000111e: PUSH1 0x02
00001120: EXP
00001121: PUSH4 0x3eaf7a03
00001126: MUL
00001127: DUP2
00001128: MSTORE
00001129: PUSH1 0x01
0000112b: PUSH1 0xa0
0000112d: PUSH1 0x02
0000112f: EXP
00001130: SUB
00001131: DUP8
00001132: DUP2
00001133: AND
00001134: PUSH1 0x04
00001136: DUP4
00001137: ADD
00001138: MSTORE
00001139: SWAP2
0000113a: MLOAD
0000113b: PUSH32 0x12c18955dac644495b5585b0366b5f13ad0dd73a3becd947d9cd5ca7e0e6f3eb
0000115c: SWAP4
0000115d: DUP9
0000115e: SWAP4
0000115f: DUP9
00001160: SWAP4
00001161: SWAP2
00001162: AND
00001163: SWAP2
00001164: PUSH4 0xfabde80c
00001169: SWAP2
0000116a: PUSH1 0x24
0000116c: DUP2
0000116d: DUP2
0000116e: ADD
0000116f: SWAP3
00001170: PUSH1 0x20
00001172: SWAP3
00001173: SWAP1
00001174: SWAP2
00001175: SWAP1
00001176: DUP3
00001177: SWAP1
00001178: SUB
00001179: ADD
0000117a: DUP2
0000117b: PUSH1 0x00
0000117d: DUP8
0000117e: PUSH2 0x61da
00001181: GAS
00001182: SUB
00001183: CALL
00001184: ISZERO
00001185: PUSH2 0x0002
00001188: JUMPI
00001189: POP
0000118a: POP
0000118b: PUSH1 0x40
0000118d: DUP1
0000118e: MLOAD
0000118f: DUP1
00001190: MLOAD
00001191: PUSH1 0x01
00001193: PUSH1 0xa0
00001195: PUSH1 0x02
00001197: EXP
00001198: SUB
00001199: SWAP6
0000119a: SWAP1
0000119b: SWAP6
0000119c: AND
0000119d: DUP2
0000119e: MSTORE
0000119f: PUSH4 0xffffffff
000011a4: SWAP4
000011a5: DUP5
000011a6: AND
000011a7: PUSH1 0x20
000011a9: DUP3
000011aa: ADD
000011ab: MSTORE
000011ac: SWAP4
000011ad: SWAP1
000011ae: SWAP3
000011af: AND
000011b0: DUP4
000011b1: DUP4
000011b2: ADD
000011b3: MSTORE
000011b4: POP
000011b5: PUSH1 0x60
000011b7: DUP3
000011b8: ADD
000011b9: DUP5
000011ba: SWAP1
000011bb: MSTORE
000011bc: MLOAD
000011bd: SWAP1
000011be: DUP2
000011bf: SWAP1
000011c0: SUB
000011c1: PUSH1 0x80
000011c3: ADD
000011c4: SWAP1
000011c5: LOG1
000011c6: JUMPDEST
000011c7: POP
000011c8: POP
000011c9: POP
000011ca: POP
000011cb: JUMP
000011cc: JUMPDEST
000011cd: PUSH2 0x1664
000011d0: PUSH1 0x02
000011d2: SLOAD
000011d3: PUSH1 0x01
000011d5: PUSH1 0xa0
000011d7: PUSH1 0x02
000011d9: EXP
000011da: SUB
000011db: AND
000011dc: DUP2
000011dd: JUMP
000011de: JUMPDEST
000011df: PUSH2 0x015e
000011e2: PUSH1 0x04
000011e4: CALLDATALOAD
000011e5: PUSH1 0x24
000011e7: CALLDATALOAD
000011e8: PUSH1 0x00
000011ea: PUSH1 0x00
000011ec: GAS
000011ed: PUSH1 0x02
000011ef: SLOAD
000011f0: PUSH1 0x40
000011f2: DUP1
000011f3: MLOAD
000011f4: PUSH1 0xe3
000011f6: PUSH1 0x02
000011f8: EXP
000011f9: PUSH4 0x0bb7c8fd
000011fe: MUL
000011ff: DUP2
00001200: MSTORE
00001201: CALLER
00001202: PUSH1 0x01
00001204: PUSH1 0xa0
00001206: PUSH1 0x02
00001208: EXP
00001209: SUB
0000120a: SWAP1
0000120b: DUP2
0000120c: AND
0000120d: PUSH1 0x04
0000120f: DUP4
00001210: ADD
00001211: MSTORE
00001212: SWAP2
00001213: MLOAD
00001214: SWAP4
00001215: SWAP6
00001216: POP
00001217: SWAP2
00001218: AND
00001219: SWAP2
0000121a: PUSH4 0x5dbe47e8
0000121f: SWAP2
00001220: PUSH1 0x24
00001222: DUP2
00001223: DUP2
00001224: ADD
00001225: SWAP3
00001226: PUSH1 0x20
00001228: SWAP3
00001229: SWAP1
0000122a: SWAP2
0000122b: SWAP1
0000122c: DUP3
0000122d: SWAP1
0000122e: SUB
0000122f: ADD
00001230: DUP2
00001231: DUP8
00001232: DUP8
00001233: PUSH2 0x61da
00001236: GAS
00001237: SUB
00001238: CALL
00001239: ISZERO
0000123a: PUSH2 0x0002
0000123d: JUMPI
0000123e: POP
0000123f: POP
00001240: PUSH1 0x40
00001242: MLOAD
00001243: MLOAD
00001244: ISZERO
00001245: SWAP1
00001246: POP
00001247: PUSH2 0x11c6
0000124a: JUMPI
0000124b: PUSH1 0x03
0000124d: SLOAD
0000124e: PUSH1 0xe0
00001250: PUSH1 0x02
00001252: EXP
00001253: SWAP1
00001254: DIV
00001255: PUSH1 0xff
00001257: AND
00001258: ISZERO
00001259: PUSH2 0x12d2
0000125c: JUMPI
0000125d: DUP1
0000125e: SLOAD
0000125f: PUSH1 0xff
00001261: AND
00001262: PUSH1 0x01
00001264: EQ
00001265: ISZERO
00001266: PUSH2 0x12d2
00001269: JUMPI
0000126a: PUSH1 0x40
0000126c: DUP1
0000126d: MLOAD
0000126e: PUSH1 0x03
00001270: SLOAD
00001271: PUSH1 0xe0
00001273: PUSH1 0x02
00001275: EXP
00001276: PUSH4 0x033173b7
0000127b: MUL
0000127c: DUP3
0000127d: MSTORE
0000127e: PUSH10 0xffffffffffffffffffff
00001289: DUP8
0000128a: AND
0000128b: PUSH1 0x04
0000128d: DUP4
0000128e: ADD
0000128f: MSTORE
00001290: PUSH1 0x24
00001292: DUP3
00001293: ADD
00001294: DUP7
00001295: SWAP1
00001296: MSTORE
00001297: PUSH1 0x01
00001299: PUSH1 0xa0
0000129b: PUSH1 0x02
0000129d: EXP
0000129e: SUB
0000129f: ORIGIN
000012a0: DUP2
000012a1: AND
000012a2: PUSH1 0x44
000012a4: DUP5
000012a5: ADD
000012a6: MSTORE
000012a7: SWAP3
000012a8: MLOAD
000012a9: SWAP3
000012aa: AND
000012ab: SWAP2
000012ac: PUSH4 0x033173b7
000012b1: SWAP2
000012b2: PUSH1 0x64
000012b4: DUP2
000012b5: DUP2
000012b6: ADD
000012b7: SWAP3
000012b8: DUP7
000012b9: SWAP3
000012ba: SWAP1
000012bb: SWAP2
000012bc: SWAP1
000012bd: DUP3
000012be: SWAP1
000012bf: SUB
000012c0: ADD
000012c1: DUP2
000012c2: DUP4
000012c3: DUP8
000012c4: PUSH2 0x61da
000012c7: GAS
000012c8: SUB
000012c9: CALL
000012ca: ISZERO
000012cb: PUSH2 0x0002
000012ce: JUMPI
000012cf: POP
000012d0: POP
000012d1: POP
000012d2: JUMPDEST
000012d3: GAS
000012d4: PUSH1 0x40
000012d6: DUP1
000012d7: MLOAD
000012d8: SWAP2
000012d9: DUP5
000012da: SUB
000012db: PUSH2 0x7364
000012de: ADD
000012df: GASPRICE
000012e0: MUL
000012e1: DUP1
000012e2: DUP4
000012e3: MSTORE
000012e4: SWAP1
000012e5: MLOAD
000012e6: SWAP1
000012e7: SWAP3
000012e8: POP
000012e9: PUSH32 0x8f22ef5ca888de3e246c690a13b066ad49cbf2768b0449441dd6f5bae826a1b1
0000130a: SWAP2
0000130b: DUP2
0000130c: SWAP1
0000130d: SUB
0000130e: PUSH1 0x20
00001310: ADD
00001311: SWAP1
00001312: LOG1
00001313: PUSH1 0x40
00001315: MLOAD
00001316: CALLER
00001317: PUSH1 0x01
00001319: PUSH1 0xa0
0000131b: PUSH1 0x02
0000131d: EXP
0000131e: SUB
0000131f: AND
00001320: SWAP1
00001321: PUSH1 0x00
00001323: SWAP1
00001324: DUP4
00001325: SWAP1
00001326: DUP3
00001327: DUP2
00001328: DUP2
00001329: DUP2
0000132a: DUP6
0000132b: DUP9
0000132c: DUP4
0000132d: CALL
0000132e: SWAP4
0000132f: POP
00001330: POP
00001331: POP
00001332: POP
00001333: POP
00001334: PUSH2 0x11c6
00001337: JUMP
00001338: JUMPDEST
00001339: PUSH2 0x015e
0000133c: PUSH1 0x04
0000133e: CALLDATALOAD
0000133f: PUSH1 0x24
00001341: CALLDATALOAD
00001342: PUSH1 0x44
00001344: CALLDATALOAD
00001345: PUSH1 0x00
00001347: PUSH1 0x00
00001349: GAS
0000134a: PUSH1 0x02
0000134c: SLOAD
0000134d: PUSH1 0x40
0000134f: DUP1
00001350: MLOAD
00001351: PUSH1 0xe3
00001353: PUSH1 0x02
00001355: EXP
00001356: PUSH4 0x0bb7c8fd
0000135b: MUL
0000135c: DUP2
0000135d: MSTORE
0000135e: CALLER
0000135f: PUSH1 0x01
00001361: PUSH1 0xa0
00001363: PUSH1 0x02
00001365: EXP
00001366: SUB
00001367: SWAP1
00001368: DUP2
00001369: AND
0000136a: PUSH1 0x04
0000136c: DUP4
0000136d: ADD
0000136e: MSTORE
0000136f: SWAP2
00001370: MLOAD
00001371: SWAP4
00001372: SWAP6
00001373: POP
00001374: SWAP2
00001375: AND
00001376: SWAP2
00001377: PUSH4 0x5dbe47e8
0000137c: SWAP2
0000137d: PUSH1 0x24
0000137f: DUP2
00001380: DUP2
00001381: ADD
00001382: SWAP3
00001383: PUSH1 0x20
00001385: SWAP3
00001386: SWAP1
00001387: SWAP2
00001388: SWAP1
00001389: DUP3
0000138a: SWAP1
0000138b: SUB
0000138c: ADD
0000138d: DUP2
0000138e: DUP8
0000138f: DUP8
00001390: PUSH2 0x61da
00001393: GAS
00001394: SUB
00001395: CALL
00001396: ISZERO
00001397: PUSH2 0x0002
0000139a: JUMPI
0000139b: POP
0000139c: POP
0000139d: PUSH1 0x40
0000139f: MLOAD
000013a0: MLOAD
000013a1: ISZERO
000013a2: SWAP1
000013a3: POP
000013a4: PUSH2 0x09b3
000013a7: JUMPI
000013a8: PUSH1 0x03
000013aa: SLOAD
000013ab: PUSH1 0xe0
000013ad: PUSH1 0x02
000013af: EXP
000013b0: SWAP1
000013b1: DIV
000013b2: PUSH1 0xff
000013b4: AND
000013b5: ISZERO
000013b6: PUSH2 0x0952
000013b9: JUMPI
000013ba: DUP1
000013bb: SLOAD
000013bc: PUSH1 0xff
000013be: AND
000013bf: PUSH1 0x01
000013c1: EQ
000013c2: ISZERO
000013c3: PUSH2 0x0952
000013c6: JUMPI
000013c7: PUSH1 0x40
000013c9: DUP1
000013ca: MLOAD
000013cb: PUSH1 0x03
000013cd: SLOAD
000013ce: PUSH32 0xf04fd2f300000000000000000000000000000000000000000000000000000000
000013ef: DUP3
000013f0: MSTORE
000013f1: PUSH4 0xffffffff
000013f6: DUP9
000013f7: DUP2
000013f8: AND
000013f9: PUSH1 0x04
000013fb: DUP5
000013fc: ADD
000013fd: MSTORE
000013fe: DUP8
000013ff: AND
00001400: PUSH1 0x24
00001402: DUP4
00001403: ADD
00001404: MSTORE
00001405: PUSH1 0x44
00001407: DUP3
00001408: ADD
00001409: DUP7
0000140a: SWAP1
0000140b: MSTORE
0000140c: SWAP2
0000140d: MLOAD
0000140e: PUSH1 0x01
00001410: PUSH1 0xa0
00001412: PUSH1 0x02
00001414: EXP
00001415: SUB
00001416: SWAP3
00001417: SWAP1
00001418: SWAP3
00001419: AND
0000141a: SWAP2
0000141b: PUSH4 0xf04fd2f3
00001420: SWAP2
00001421: PUSH1 0x64
00001423: DUP2
00001424: DUP2
00001425: ADD
00001426: SWAP3
00001427: DUP7
00001428: SWAP3
00001429: SWAP1
0000142a: SWAP2
0000142b: SWAP1
0000142c: DUP3
0000142d: SWAP1
0000142e: SUB
0000142f: ADD
00001430: DUP2
00001431: DUP4
00001432: DUP8
00001433: PUSH2 0x61da
00001436: GAS
00001437: SUB
00001438: CALL
00001439: ISZERO
0000143a: PUSH2 0x0002
0000143d: JUMPI
0000143e: POP
0000143f: POP
00001440: POP
00001441: GAS
00001442: PUSH1 0x40
00001444: DUP1
00001445: MLOAD
00001446: SWAP2
00001447: DUP5
00001448: SUB
00001449: PUSH2 0x7364
0000144c: ADD
0000144d: GASPRICE
0000144e: MUL
0000144f: DUP1
00001450: DUP4
00001451: MSTORE
00001452: SWAP1
00001453: MLOAD
00001454: SWAP1
00001455: SWAP3
00001456: POP
00001457: PUSH32 0x8f22ef5ca888de3e246c690a13b066ad49cbf2768b0449441dd6f5bae826a1b1
00001478: SWAP2
00001479: DUP2
0000147a: SWAP1
0000147b: SUB
0000147c: PUSH1 0x20
0000147e: ADD
0000147f: SWAP1
00001480: LOG1
00001481: PUSH1 0x40
00001483: MLOAD
00001484: CALLER
00001485: PUSH1 0x01
00001487: PUSH1 0xa0
00001489: PUSH1 0x02
0000148b: EXP
0000148c: SUB
0000148d: AND
0000148e: SWAP1
0000148f: PUSH1 0x00
00001491: SWAP1
00001492: DUP4
00001493: SWAP1
00001494: DUP3
00001495: DUP2
00001496: DUP2
00001497: DUP2
00001498: DUP6
00001499: DUP9
0000149a: DUP4
0000149b: CALL
0000149c: SWAP4
0000149d: POP
0000149e: POP
0000149f: POP
000014a0: POP
000014a1: POP
000014a2: PUSH2 0x09b3
000014a5: JUMP
000014a6: JUMPDEST
000014a7: PUSH2 0x015e
000014aa: PUSH1 0x04
000014ac: CALLDATALOAD
000014ad: PUSH1 0x24
000014af: CALLDATALOAD
000014b0: JUMPDEST
000014b1: PUSH1 0x00
000014b3: SLOAD
000014b4: PUSH1 0xff
000014b6: AND
000014b7: PUSH1 0x01
000014b9: EQ
000014ba: ISZERO
000014bb: PUSH2 0x02d1
000014be: JUMPI
000014bf: PUSH1 0x40
000014c1: DUP1
000014c2: MLOAD
000014c3: PUSH1 0x01
000014c5: SLOAD
000014c6: PUSH1 0xe2
000014c8: PUSH1 0x02
000014ca: EXP
000014cb: PUSH4 0x0935e01b
000014d0: MUL
000014d1: DUP3
000014d2: MSTORE
000014d3: PUSH1 0x01
000014d5: PUSH1 0xa0
000014d7: PUSH1 0x02
000014d9: EXP
000014da: SUB
000014db: ORIGIN
000014dc: DUP2
000014dd: AND
000014de: PUSH1 0x04
000014e0: DUP5
000014e1: ADD
000014e2: MSTORE
000014e3: SWAP3
000014e4: MLOAD
000014e5: SWAP3
000014e6: AND
000014e7: SWAP2
000014e8: PUSH4 0x24d7806c
000014ed: SWAP2
000014ee: PUSH1 0x24
000014f0: DUP2
000014f1: DUP2
000014f2: ADD
000014f3: SWAP3
000014f4: PUSH1 0x20
000014f6: SWAP3
000014f7: SWAP1
000014f8: SWAP2
000014f9: SWAP1
000014fa: DUP3
000014fb: SWAP1
000014fc: SUB
000014fd: ADD
000014fe: DUP2
000014ff: PUSH1 0x00
00001501: DUP8
00001502: PUSH2 0x61da
00001505: GAS
00001506: SUB
00001507: CALL
00001508: ISZERO
00001509: PUSH2 0x0002
0000150c: JUMPI
0000150d: POP
0000150e: POP
0000150f: PUSH1 0x40
00001511: MLOAD
00001512: MLOAD
00001513: ISZERO
00001514: SWAP1
00001515: POP
00001516: PUSH2 0x02d1
00001519: JUMPI
0000151a: PUSH1 0x40
0000151c: DUP1
0000151d: MLOAD
0000151e: PUSH1 0x02
00001520: SLOAD
00001521: PUSH32 0x2198e78000000000000000000000000000000000000000000000000000000000
00001542: DUP3
00001543: MSTORE
00001544: PUSH1 0x01
00001546: PUSH1 0xa0
00001548: PUSH1 0x02
0000154a: EXP
0000154b: SUB
0000154c: DUP6
0000154d: DUP2
0000154e: AND
0000154f: PUSH1 0x04
00001551: DUP5
00001552: ADD
00001553: MSTORE
00001554: PUSH1 0x13
00001556: DUP6
00001557: SWAP1
00001558: SIGNEXTEND
00001559: PUSH1 0x24
0000155b: DUP5
0000155c: ADD
0000155d: MSTORE
0000155e: SWAP3
0000155f: MLOAD
00001560: SWAP3
00001561: AND
00001562: SWAP2
00001563: PUSH4 0x2198e780
00001568: SWAP2
00001569: PUSH1 0x44
0000156b: DUP2
0000156c: DUP2
0000156d: ADD
0000156e: SWAP3
0000156f: PUSH1 0x00
00001571: SWAP3
00001572: SWAP1
00001573: SWAP2
00001574: SWAP1
00001575: DUP3
00001576: SWAP1
00001577: SUB
00001578: ADD
00001579: DUP2
0000157a: DUP4
0000157b: DUP8
0000157c: PUSH2 0x61da
0000157f: GAS
00001580: SUB
00001581: CALL
00001582: ISZERO
00001583: PUSH2 0x0002
00001586: JUMPI
00001587: POP
00001588: POP
00001589: PUSH1 0x40
0000158b: DUP1
0000158c: MLOAD
0000158d: PUSH1 0x02
0000158f: SLOAD
00001590: PUSH1 0xe1
00001592: PUSH1 0x02
00001594: EXP
00001595: PUSH4 0x2010ac0d
0000159a: MUL
0000159b: DUP3
0000159c: MSTORE
0000159d: PUSH1 0x01
0000159f: PUSH1 0xa0
000015a1: PUSH1 0x02
000015a3: EXP
000015a4: SUB
000015a5: DUP7
000015a6: DUP2
000015a7: AND
000015a8: PUSH1 0x04
000015aa: DUP5
000015ab: ADD
000015ac: MSTORE
000015ad: SWAP3
000015ae: MLOAD
000015af: PUSH32 0xe94fd0d37480bbf316cfa85ccb130d11f35f4b8e280296196bff10e17855e7f3
000015d0: SWAP5
000015d1: POP
000015d2: DUP7
000015d3: SWAP4
000015d4: DUP7
000015d5: SWAP4
000015d6: SWAP3
000015d7: AND
000015d8: SWAP2
000015d9: PUSH4 0x4021581a
000015de: SWAP2
000015df: PUSH1 0x24
000015e1: DUP3
000015e2: DUP2
000015e3: ADD
000015e4: SWAP3
000015e5: PUSH1 0x20
000015e7: SWAP3
000015e8: SWAP2
000015e9: SWAP1
000015ea: DUP3
000015eb: SWAP1
000015ec: SUB
000015ed: ADD
000015ee: DUP2
000015ef: PUSH1 0x00
000015f1: DUP8
000015f2: PUSH2 0x61da
000015f5: GAS
000015f6: SUB
000015f7: CALL
000015f8: ISZERO
000015f9: PUSH2 0x0002
000015fc: JUMPI
000015fd: POP
000015fe: POP
000015ff: PUSH1 0x40
00001601: DUP1
00001602: MLOAD
00001603: DUP1
00001604: MLOAD
00001605: PUSH1 0x01
00001607: PUSH1 0xa0
00001609: PUSH1 0x02
0000160b: EXP
0000160c: SUB
0000160d: SWAP6
0000160e: SWAP1
0000160f: SWAP6
00001610: AND
00001611: DUP2
00001612: MSTORE
00001613: PUSH1 0x13
00001615: SWAP4
00001616: DUP5
00001617: SIGNEXTEND
00001618: PUSH1 0x20
0000161a: DUP3
0000161b: ADD
0000161c: MSTORE
0000161d: SWAP4
0000161e: SWAP1
0000161f: SWAP3
00001620: SIGNEXTEND
00001621: DUP4
00001622: DUP4
00001623: ADD
00001624: MSTORE
00001625: POP
00001626: MLOAD
00001627: SWAP1
00001628: DUP2
00001629: SWAP1
0000162a: SUB
0000162b: PUSH1 0x60
0000162d: ADD
0000162e: SWAP1
0000162f: LOG1
00001630: POP
00001631: POP
00001632: JUMP
00001633: JUMPDEST
00001634: PUSH1 0x40
00001636: DUP1
00001637: MLOAD
00001638: PUSH1 0xff
0000163a: SWAP3
0000163b: SWAP1
0000163c: SWAP3
0000163d: AND
0000163e: DUP3
0000163f: MSTORE
00001640: MLOAD
00001641: SWAP1
00001642: DUP2
00001643: SWAP1
00001644: SUB
00001645: PUSH1 0x20
00001647: ADD
00001648: SWAP1
00001649: RETURN
0000164a: JUMPDEST
0000164b: PUSH1 0x40
0000164d: DUP1
0000164e: MLOAD
0000164f: PUSH4 0xffffffff
00001654: SWAP3
00001655: SWAP1
00001656: SWAP3
00001657: AND
00001658: DUP3
00001659: MSTORE
0000165a: MLOAD
0000165b: SWAP1
0000165c: DUP2
0000165d: SWAP1
0000165e: SUB
0000165f: PUSH1 0x20
00001661: ADD
00001662: SWAP1
00001663: RETURN
00001664: JUMPDEST
00001665: PUSH1 0x40
00001667: DUP1
00001668: MLOAD
00001669: PUSH1 0x01
0000166b: PUSH1 0xa0
0000166d: PUSH1 0x02
0000166f: EXP
00001670: SUB
00001671: SWAP3
00001672: SWAP1
00001673: SWAP3
00001674: AND
00001675: DUP3
00001676: MSTORE
00001677: MLOAD
00001678: SWAP1
00001679: DUP2
0000167a: SWAP1
0000167b: SUB
0000167c: PUSH1 0x20
0000167e: ADD
0000167f: SWAP1
00001680: RETURN
00001681: JUMPDEST
00001682: PUSH1 0x40
00001684: DUP1
00001685: MLOAD
00001686: SWAP2
00001687: DUP3
00001688: MSTORE
00001689: MLOAD
0000168a: SWAP1
0000168b: DUP2
0000168c: SWAP1
0000168d: SUB
0000168e: PUSH1 0x20
00001690: ADD
00001691: SWAP1
00001692: RETURN
00001693: JUMPDEST
00001694: PUSH1 0x40
00001696: DUP1
00001697: MLOAD
00001698: PUSH1 0x01
0000169a: PUSH1 0xa0
0000169c: PUSH1 0x02
0000169e: EXP
0000169f: SUB
000016a0: DUP10
000016a1: AND
000016a2: DUP2
000016a3: MSTORE
000016a4: PUSH4 0xffffffff
000016a9: DUP9
000016aa: DUP2
000016ab: AND
000016ac: PUSH1 0x20
000016ae: DUP4
000016af: ADD
000016b0: MSTORE
000016b1: DUP8
000016b2: AND
000016b3: DUP2
000016b4: DUP4
000016b5: ADD
000016b6: MSTORE
000016b7: PUSH10 0xffffffffffffffffffff
000016c2: DUP7
000016c3: AND
000016c4: PUSH1 0x60
000016c6: DUP3
000016c7: ADD
000016c8: MSTORE
000016c9: PUSH1 0x80
000016cb: DUP2
000016cc: ADD
000016cd: DUP6
000016ce: SWAP1
000016cf: MSTORE
000016d0: PUSH1 0x13
000016d2: DUP5
000016d3: SWAP1
000016d4: SIGNEXTEND
000016d5: PUSH1 0xa0
000016d7: DUP3
000016d8: ADD
000016d9: MSTORE
000016da: SWAP1
000016db: MLOAD
000016dc: PUSH32 0xc471ac038c94409267ac6cbfd1f7e96b4e97a909be26595ad9dea2a47436e4f1
000016fd: SWAP2
000016fe: DUP2
000016ff: SWAP1
00001700: SUB
00001701: PUSH1 0xc0
00001703: ADD
00001704: SWAP1
00001705: LOG1
00001706: JUMPDEST
00001707: POP
00001708: POP
00001709: POP
0000170a: POP
0000170b: POP
0000170c: POP
0000170d: POP
0000170e: JUMP
0000170f: JUMPDEST
00001710: PUSH1 0x40
00001712: DUP1
00001713: MLOAD
00001714: PUSH1 0x01
00001716: PUSH1 0xa0
00001718: PUSH1 0x02
0000171a: EXP
0000171b: SUB
0000171c: DUP11
0000171d: AND
0000171e: DUP2
0000171f: MSTORE
00001720: PUSH1 0x20
00001722: DUP2
00001723: ADD
00001724: DUP10
00001725: SWAP1
00001726: MSTORE
00001727: DUP1
00001728: DUP3
00001729: ADD
0000172a: DUP9
0000172b: SWAP1
0000172c: MSTORE
0000172d: PUSH1 0x60
0000172f: DUP2
00001730: ADD
00001731: DUP8
00001732: SWAP1
00001733: MSTORE
00001734: PUSH1 0x80
00001736: DUP2
00001737: ADD
00001738: DUP7
00001739: SWAP1
0000173a: MSTORE
0000173b: PUSH1 0xa0
0000173d: DUP2
0000173e: ADD
0000173f: DUP6
00001740: SWAP1
00001741: MSTORE
00001742: PUSH1 0x13
00001744: DUP5
00001745: SWAP1
00001746: SIGNEXTEND
00001747: PUSH1 0xc0
00001749: DUP3
0000174a: ADD
0000174b: MSTORE
0000174c: SWAP1
0000174d: MLOAD
0000174e: PUSH32 0xd88cf2fd5f56b8a4aff9f4bded90f026b3000bcef95516eb50d53891ab7fb09a
0000176f: SWAP2
00001770: DUP2
00001771: SWAP1
00001772: SUB
00001773: PUSH1 0xe0
00001775: ADD
00001776: SWAP1
00001777: LOG1
00001778: JUMPDEST
00001779: POP
0000177a: POP
0000177b: POP
0000177c: POP
0000177d: POP
0000177e: POP
0000177f: POP
00001780: POP
00001781: JUMP
00001782: JUMPDEST
00001783: JUMP
00001784: JUMPDEST
00001785: PUSH1 0x40
00001787: DUP1
00001788: MLOAD
00001789: PUSH1 0x02
0000178b: SLOAD
0000178c: PUSH1 0xe2
0000178e: PUSH1 0x02
00001790: EXP
00001791: PUSH4 0x3eaf7a03
00001796: MUL
00001797: DUP3
00001798: MSTORE
00001799: PUSH1 0x01
0000179b: PUSH1 0xa0
0000179d: PUSH1 0x02
0000179f: EXP
000017a0: SUB
000017a1: DUP8
000017a2: DUP2
000017a3: AND
000017a4: PUSH1 0x04
000017a6: DUP5
000017a7: ADD
000017a8: MSTORE
000017a9: SWAP3
000017aa: MLOAD
000017ab: SWAP3
000017ac: AND
000017ad: SWAP2
000017ae: PUSH4 0xfabde80c
000017b3: SWAP2
000017b4: PUSH1 0x24
000017b6: DUP2
000017b7: DUP2
000017b8: ADD
000017b9: SWAP3
000017ba: PUSH1 0x20
000017bc: SWAP3
000017bd: SWAP1
000017be: SWAP2
000017bf: SWAP1
000017c0: DUP3
000017c1: SWAP1
000017c2: SUB
000017c3: ADD
000017c4: DUP2
000017c5: PUSH1 0x00
000017c7: DUP8
000017c8: PUSH2 0x61da
000017cb: GAS
000017cc: SUB
000017cd: CALL
000017ce: ISZERO
000017cf: PUSH2 0x0002
000017d2: JUMPI
000017d3: POP
000017d4: POP
000017d5: PUSH1 0x40
000017d7: DUP1
000017d8: MLOAD
000017d9: DUP1
000017da: MLOAD
000017db: PUSH1 0x03
000017dd: DUP1
000017de: SLOAD
000017df: PUSH1 0xc0
000017e1: PUSH1 0x02
000017e3: EXP
000017e4: DUP1
000017e5: DUP3
000017e6: DIV
000017e7: PUSH4 0xffffffff
000017ec: AND
000017ed: DUP5
000017ee: SWAP1
000017ef: SUB
000017f0: MUL
000017f1: PUSH1 0xc0
000017f3: PUSH1 0x02
000017f5: EXP
000017f6: PUSH4 0xffffffff
000017fb: MUL
000017fc: NOT
000017fd: SWAP2
000017fe: SWAP1
000017ff: SWAP2
00001800: AND
00001801: OR
00001802: SWAP1
00001803: SSTORE
00001804: PUSH1 0x02
00001806: SLOAD
00001807: PUSH32 0x82ee27cc00000000000000000000000000000000000000000000000000000000
00001828: DUP4
00001829: MSTORE
0000182a: PUSH1 0x01
0000182c: PUSH1 0xa0
0000182e: PUSH1 0x02
00001830: EXP
00001831: SUB
00001832: DUP10
00001833: DUP2
00001834: AND
00001835: PUSH1 0x04
00001837: DUP6
00001838: ADD
00001839: MSTORE
0000183a: PUSH1 0x00
0000183c: PUSH1 0x24
0000183e: DUP6
0000183f: ADD
00001840: DUP2
00001841: SWAP1
00001842: MSTORE
00001843: SWAP5
00001844: MLOAD
00001845: SWAP3
00001846: SWAP8
00001847: POP
00001848: AND
00001849: SWAP4
0000184a: POP
0000184b: PUSH4 0x82ee27cc
00001850: SWAP3
00001851: PUSH1 0x44
00001853: DUP4
00001854: DUP2
00001855: ADD
00001856: SWAP4
00001857: SWAP2
00001858: SWAP3
00001859: SWAP2
0000185a: DUP3
0000185b: SWAP1
0000185c: SUB
0000185d: ADD
0000185e: DUP2
0000185f: DUP4
00001860: DUP8
00001861: PUSH2 0x61da
00001864: GAS
00001865: SUB
00001866: CALL
00001867: ISZERO
00001868: PUSH2 0x0002
0000186b: JUMPI
0000186c: POP
0000186d: POP
0000186e: POP
0000186f: PUSH32 0x12c18955dac644495b5585b0366b5f13ad0dd73a3becd947d9cd5ca7e0e6f3eb
00001890: DUP5
00001891: DUP4
00001892: PUSH4 0xffffffff
00001897: AND
00001898: PUSH1 0x00
0000189a: SUB
0000189b: PUSH1 0x00
0000189d: PUSH1 0x00
0000189f: PUSH1 0x40
000018a1: MLOAD
000018a2: DUP1
000018a3: DUP6
000018a4: PUSH1 0x01
000018a6: PUSH1 0xa0
000018a8: PUSH1 0x02
000018aa: EXP
000018ab: SUB
000018ac: AND
000018ad: DUP2
000018ae: MSTORE
000018af: PUSH1 0x20
000018b1: ADD
000018b2: DUP5
000018b3: PUSH1 0x04
000018b5: SIGNEXTEND
000018b6: DUP2
000018b7: MSTORE
000018b8: PUSH1 0x20
000018ba: ADD
000018bb: DUP4
000018bc: DUP2
000018bd: MSTORE
000018be: PUSH1 0x20
000018c0: ADD
000018c1: DUP3
000018c2: DUP2
000018c3: MSTORE
000018c4: PUSH1 0x20
000018c6: ADD
000018c7: SWAP5
000018c8: POP
000018c9: POP
000018ca: POP
000018cb: POP
000018cc: POP
000018cd: PUSH1 0x40
000018cf: MLOAD
000018d0: DUP1
000018d1: SWAP2
000018d2: SUB
000018d3: SWAP1
000018d4: LOG1
000018d5: PUSH2 0x1940
000018d8: DUP4
000018d9: DUP4
000018da: PUSH1 0x60
000018dc: PUSH1 0x40
000018de: MLOAD
000018df: SWAP1
000018e0: DUP2
000018e1: ADD
000018e2: PUSH1 0x40
000018e4: MSTORE
000018e5: DUP1
000018e6: PUSH1 0x2c
000018e8: DUP2
000018e9: MSTORE
000018ea: PUSH1 0x20
000018ec: ADD
000018ed: PUSH32 0x5472616e736665722062616c616e63652066726f6d206f6e65206163636f756e
0000190e: DUP2
0000190f: MSTORE
00001910: PUSH1 0x20
00001912: ADD
00001913: PUSH32 0x7420746f20616e6f746865720000000000000000000000000000000000000000
00001934: DUP2
00001935: MSTORE
00001936: PUSH1 0x20
00001938: ADD
00001939: POP
0000193a: PUSH1 0x00
0000193c: PUSH2 0x0f59
0000193f: JUMP
00001940: JUMPDEST
00001941: PUSH1 0x40
00001943: DUP1
00001944: MLOAD
00001945: PUSH1 0x02
00001947: SLOAD
00001948: PUSH1 0xe1
0000194a: PUSH1 0x02
0000194c: EXP
0000194d: PUSH4 0x2010ac0d
00001952: MUL
00001953: DUP3
00001954: MSTORE
00001955: PUSH1 0x01
00001957: PUSH1 0xa0
00001959: PUSH1 0x02
0000195b: EXP
0000195c: SUB
0000195d: DUP8
0000195e: DUP2
0000195f: AND
00001960: PUSH1 0x04
00001962: DUP5
00001963: ADD
00001964: MSTORE
00001965: SWAP3
00001966: MLOAD
00001967: SWAP3
00001968: AND
00001969: SWAP2
0000196a: PUSH4 0x4021581a
0000196f: SWAP2
00001970: PUSH1 0x24
00001972: DUP2
00001973: DUP2
00001974: ADD
00001975: SWAP3
00001976: PUSH1 0x20
00001978: SWAP3
00001979: SWAP1
0000197a: SWAP2
0000197b: SWAP1
0000197c: DUP3
0000197d: SWAP1
0000197e: SUB
0000197f: ADD
00001980: DUP2
00001981: PUSH1 0x00
00001983: DUP8
00001984: PUSH2 0x61da
00001987: GAS
00001988: SUB
00001989: CALL
0000198a: ISZERO
0000198b: PUSH2 0x0002
0000198e: JUMPI
0000198f: POP
00001990: POP
00001991: PUSH1 0x40
00001993: MLOAD
00001994: MLOAD
00001995: SWAP2
00001996: POP
00001997: PUSH2 0x19a6
0000199a: SWAP1
0000199b: POP
0000199c: DUP5
0000199d: PUSH1 0x00
0000199f: DUP4
000019a0: SWAP1
000019a1: SUB
000019a2: PUSH2 0x14b0
000019a5: JUMP
000019a6: JUMPDEST
000019a7: PUSH2 0x19b0
000019aa: DUP4
000019ab: DUP3
000019ac: PUSH2 0x14b0
000019af: JUMP
000019b0: JUMPDEST
000019b1: PUSH2 0x11c6
000019b4: DUP5
000019b5: PUSH2 0x09c1
000019b8: JUMP

Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.