Analysis Run

OpenAI Codex v0.118.0 (research preview)
--------
workdir: /tmp/codex-s58l7cn1
model: gpt-5.4
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: none
session id: 019d5c9b-947f-7eb0-a05a-d10a0f422cc3
--------
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:46:35.038333+00:00",
        "returncode": 1
    },
    "project": {
        "mode": "bytecode",
        "bytecode_length": 9896,
        "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 0x00ab
0000000a: JUMPI
0000000b: PUSH1 0x00
0000000d: CALLDATALOAD
0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002c: SWAP1
0000002d: DIV
0000002e: DUP1
0000002f: PUSH4 0x31c2bd0b
00000034: EQ
00000035: PUSH2 0x0187
00000038: JUMPI
00000039: DUP1
0000003a: PUSH4 0x5a9b0b89
0000003f: EQ
00000040: PUSH2 0x0203
00000043: JUMPI
00000044: DUP1
00000045: PUSH4 0x7e1db2a1
0000004a: EQ
0000004b: PUSH2 0x023b
0000004e: JUMPI
0000004f: DUP1
00000050: PUSH4 0xa230c524
00000055: EQ
00000056: PUSH2 0x025c
00000059: JUMPI
0000005a: DUP1
0000005b: PUSH4 0xba0179b5
00000060: EQ
00000061: PUSH2 0x028a
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0xc2205ee1
0000006b: EQ
0000006c: PUSH2 0x02b8
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xc7d6faf1
00000076: EQ
00000077: PUSH2 0x02f1
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xca6d56dc
00000081: EQ
00000082: PUSH2 0x0326
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xd551f601
0000008c: EQ
0000008d: PUSH2 0x033e
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xed684cc6
00000097: EQ
00000098: PUSH2 0x0361
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0xf6d5959b
000000a2: EQ
000000a3: PUSH2 0x0379
000000a6: JUMPI
000000a7: PUSH2 0x00ab
000000aa: JUMP
000000ab: JUMPDEST
000000ac: PUSH2 0x0185
000000af: JUMPDEST
000000b0: PUSH1 0x00
000000b2: CALLDATASIZE
000000b3: PUSH1 0x08
000000b5: PUSH1 0x00
000000b7: POP
000000b8: PUSH1 0x00
000000ba: CALLER
000000bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000000d0: AND
000000d1: DUP2
000000d2: MSTORE
000000d3: PUSH1 0x20
000000d5: ADD
000000d6: SWAP1
000000d7: DUP2
000000d8: MSTORE
000000d9: PUSH1 0x20
000000db: ADD
000000dc: PUSH1 0x00
000000de: KECCAK256
000000df: PUSH1 0x00
000000e1: POP
000000e2: SWAP2
000000e3: SWAP1
000000e4: DUP3
000000e5: DUP1
000000e6: SLOAD
000000e7: PUSH1 0x01
000000e9: DUP2
000000ea: PUSH1 0x01
000000ec: AND
000000ed: ISZERO
000000ee: PUSH2 0x0100
000000f1: MUL
000000f2: SUB
000000f3: AND
000000f4: PUSH1 0x02
000000f6: SWAP1
000000f7: DIV
000000f8: SWAP1
000000f9: PUSH1 0x00
000000fb: MSTORE
000000fc: PUSH1 0x20
000000fe: PUSH1 0x00
00000100: KECCAK256
00000101: SWAP1
00000102: PUSH1 0x1f
00000104: ADD
00000105: PUSH1 0x20
00000107: SWAP1
00000108: DIV
00000109: DUP2
0000010a: ADD
0000010b: SWAP3
0000010c: DUP3
0000010d: PUSH1 0x1f
0000010f: LT
00000110: PUSH2 0x0124
00000113: JUMPI
00000114: DUP1
00000115: CALLDATALOAD
00000116: PUSH1 0xff
00000118: NOT
00000119: AND
0000011a: DUP4
0000011b: DUP1
0000011c: ADD
0000011d: OR
0000011e: DUP6
0000011f: SSTORE
00000120: PUSH2 0x0155
00000123: JUMP
00000124: JUMPDEST
00000125: DUP3
00000126: DUP1
00000127: ADD
00000128: PUSH1 0x01
0000012a: ADD
0000012b: DUP6
0000012c: SSTORE
0000012d: DUP3
0000012e: ISZERO
0000012f: PUSH2 0x0155
00000132: JUMPI
00000133: SWAP2
00000134: DUP3
00000135: ADD
00000136: JUMPDEST
00000137: DUP3
00000138: DUP2
00000139: GT
0000013a: ISZERO
0000013b: PUSH2 0x0154
0000013e: JUMPI
0000013f: DUP3
00000140: CALLDATALOAD
00000141: DUP3
00000142: PUSH1 0x00
00000144: POP
00000145: SSTORE
00000146: SWAP2
00000147: PUSH1 0x20
00000149: ADD
0000014a: SWAP2
0000014b: SWAP1
0000014c: PUSH1 0x01
0000014e: ADD
0000014f: SWAP1
00000150: PUSH2 0x0136
00000153: JUMP
00000154: JUMPDEST
00000155: JUMPDEST
00000156: POP
00000157: SWAP1
00000158: POP
00000159: PUSH2 0x0180
0000015c: SWAP2
0000015d: SWAP1
0000015e: PUSH2 0x0162
00000161: JUMP
00000162: JUMPDEST
00000163: DUP1
00000164: DUP3
00000165: GT
00000166: ISZERO
00000167: PUSH2 0x017c
0000016a: JUMPI
0000016b: PUSH1 0x00
0000016d: DUP2
0000016e: DUP2
0000016f: POP
00000170: PUSH1 0x00
00000172: SWAP1
00000173: SSTORE
00000174: POP
00000175: PUSH1 0x01
00000177: ADD
00000178: PUSH2 0x0162
0000017b: JUMP
0000017c: JUMPDEST
0000017d: POP
0000017e: SWAP1
0000017f: JUMP
00000180: JUMPDEST
00000181: POP
00000182: POP
00000183: JUMPDEST
00000184: JUMP
00000185: JUMPDEST
00000186: STOP
00000187: JUMPDEST
00000188: PUSH2 0x01ed
0000018b: PUSH1 0x04
0000018d: DUP1
0000018e: DUP1
0000018f: CALLDATALOAD
00000190: SWAP1
00000191: PUSH1 0x20
00000193: ADD
00000194: SWAP1
00000195: SWAP2
00000196: SWAP1
00000197: DUP1
00000198: CALLDATALOAD
00000199: SWAP1
0000019a: PUSH1 0x20
0000019c: ADD
0000019d: SWAP1
0000019e: DUP3
0000019f: ADD
000001a0: DUP1
000001a1: CALLDATALOAD
000001a2: SWAP1
000001a3: PUSH1 0x20
000001a5: ADD
000001a6: SWAP2
000001a7: SWAP2
000001a8: SWAP1
000001a9: DUP1
000001aa: DUP1
000001ab: PUSH1 0x1f
000001ad: ADD
000001ae: PUSH1 0x20
000001b0: DUP1
000001b1: SWAP2
000001b2: DIV
000001b3: MUL
000001b4: PUSH1 0x20
000001b6: ADD
000001b7: PUSH1 0x40
000001b9: MLOAD
000001ba: SWAP1
000001bb: DUP2
000001bc: ADD
000001bd: PUSH1 0x40
000001bf: MSTORE
000001c0: DUP1
000001c1: SWAP4
000001c2: SWAP3
000001c3: SWAP2
000001c4: SWAP1
000001c5: DUP2
000001c6: DUP2
000001c7: MSTORE
000001c8: PUSH1 0x20
000001ca: ADD
000001cb: DUP4
000001cc: DUP4
000001cd: DUP1
000001ce: DUP3
000001cf: DUP5
000001d0: CALLDATACOPY
000001d1: DUP3
000001d2: ADD
000001d3: SWAP2
000001d4: POP
000001d5: POP
000001d6: POP
000001d7: POP
000001d8: POP
000001d9: POP
000001da: SWAP1
000001db: SWAP1
000001dc: SWAP2
000001dd: SWAP1
000001de: DUP1
000001df: CALLDATALOAD
000001e0: SWAP1
000001e1: PUSH1 0x20
000001e3: ADD
000001e4: SWAP1
000001e5: SWAP2
000001e6: SWAP1
000001e7: POP
000001e8: POP
000001e9: PUSH2 0x03d9
000001ec: JUMP
000001ed: JUMPDEST
000001ee: PUSH1 0x40
000001f0: MLOAD
000001f1: DUP1
000001f2: DUP3
000001f3: DUP2
000001f4: MSTORE
000001f5: PUSH1 0x20
000001f7: ADD
000001f8: SWAP2
000001f9: POP
000001fa: POP
000001fb: PUSH1 0x40
000001fd: MLOAD
000001fe: DUP1
000001ff: SWAP2
00000200: SUB
00000201: SWAP1
00000202: RETURN
00000203: JUMPDEST
00000204: PUSH2 0x0210
00000207: PUSH1 0x04
00000209: DUP1
0000020a: POP
0000020b: POP
0000020c: PUSH2 0x0680
0000020f: JUMP
00000210: JUMPDEST
00000211: PUSH1 0x40
00000213: MLOAD
00000214: DUP1
00000215: DUP6
00000216: DUP2
00000217: MSTORE
00000218: PUSH1 0x20
0000021a: ADD
0000021b: DUP5
0000021c: DUP2
0000021d: MSTORE
0000021e: PUSH1 0x20
00000220: ADD
00000221: DUP4
00000222: DUP2
00000223: MSTORE
00000224: PUSH1 0x20
00000226: ADD
00000227: DUP3
00000228: DUP2
00000229: MSTORE
0000022a: PUSH1 0x20
0000022c: ADD
0000022d: SWAP5
0000022e: POP
0000022f: POP
00000230: POP
00000231: POP
00000232: POP
00000233: PUSH1 0x40
00000235: MLOAD
00000236: DUP1
00000237: SWAP2
00000238: SUB
00000239: SWAP1
0000023a: RETURN
0000023b: JUMPDEST
0000023c: PUSH2 0x025a
0000023f: PUSH1 0x04
00000241: DUP1
00000242: DUP1
00000243: CALLDATALOAD
00000244: SWAP1
00000245: PUSH1 0x20
00000247: ADD
00000248: SWAP1
00000249: SWAP2
0000024a: SWAP1
0000024b: DUP1
0000024c: CALLDATALOAD
0000024d: SWAP1
0000024e: PUSH1 0x20
00000250: ADD
00000251: SWAP1
00000252: SWAP2
00000253: SWAP1
00000254: POP
00000255: POP
00000256: PUSH2 0x06b3
00000259: JUMP
0000025a: JUMPDEST
0000025b: STOP
0000025c: JUMPDEST
0000025d: PUSH2 0x0272
00000260: PUSH1 0x04
00000262: DUP1
00000263: DUP1
00000264: CALLDATALOAD
00000265: SWAP1
00000266: PUSH1 0x20
00000268: ADD
00000269: SWAP1
0000026a: SWAP2
0000026b: SWAP1
0000026c: POP
0000026d: POP
0000026e: PUSH2 0x0759
00000271: JUMP
00000272: JUMPDEST
00000273: PUSH1 0x40
00000275: MLOAD
00000276: DUP1
00000277: DUP3
00000278: ISZERO
00000279: ISZERO
0000027a: DUP2
0000027b: MSTORE
0000027c: PUSH1 0x20
0000027e: ADD
0000027f: SWAP2
00000280: POP
00000281: POP
00000282: PUSH1 0x40
00000284: MLOAD
00000285: DUP1
00000286: SWAP2
00000287: SUB
00000288: SWAP1
00000289: RETURN
0000028a: JUMPDEST
0000028b: PUSH2 0x02a0
0000028e: PUSH1 0x04
00000290: DUP1
00000291: DUP1
00000292: CALLDATALOAD
00000293: SWAP1
00000294: PUSH1 0x20
00000296: ADD
00000297: SWAP1
00000298: SWAP2
00000299: SWAP1
0000029a: POP
0000029b: POP
0000029c: PUSH2 0x07a1
0000029f: JUMP
000002a0: JUMPDEST
000002a1: PUSH1 0x40
000002a3: MLOAD
000002a4: DUP1
000002a5: DUP3
000002a6: ISZERO
000002a7: ISZERO
000002a8: DUP2
000002a9: MSTORE
000002aa: PUSH1 0x20
000002ac: ADD
000002ad: SWAP2
000002ae: POP
000002af: POP
000002b0: PUSH1 0x40
000002b2: MLOAD
000002b3: DUP1
000002b4: SWAP2
000002b5: SUB
000002b6: SWAP1
000002b7: RETURN
000002b8: JUMPDEST
000002b9: PUSH2 0x02c5
000002bc: PUSH1 0x04
000002be: DUP1
000002bf: POP
000002c0: POP
000002c1: PUSH2 0x0aef
000002c4: JUMP
000002c5: JUMPDEST
000002c6: PUSH1 0x40
000002c8: MLOAD
000002c9: DUP1
000002ca: DUP3
000002cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002e0: AND
000002e1: DUP2
000002e2: MSTORE
000002e3: PUSH1 0x20
000002e5: ADD
000002e6: SWAP2
000002e7: POP
000002e8: POP
000002e9: PUSH1 0x40
000002eb: MLOAD
000002ec: DUP1
000002ed: SWAP2
000002ee: SUB
000002ef: SWAP1
000002f0: RETURN
000002f1: JUMPDEST
000002f2: PUSH2 0x0310
000002f5: PUSH1 0x04
000002f7: DUP1
000002f8: DUP1
000002f9: CALLDATALOAD
000002fa: SWAP1
000002fb: PUSH1 0x20
000002fd: ADD
000002fe: SWAP1
000002ff: SWAP2
00000300: SWAP1
00000301: DUP1
00000302: CALLDATALOAD
00000303: SWAP1
00000304: PUSH1 0x20
00000306: ADD
00000307: SWAP1
00000308: SWAP2
00000309: SWAP1
0000030a: POP
0000030b: POP
0000030c: PUSH2 0x0b15
0000030f: JUMP
00000310: JUMPDEST
00000311: PUSH1 0x40
00000313: MLOAD
00000314: DUP1
00000315: DUP3
00000316: DUP2
00000317: MSTORE
00000318: PUSH1 0x20
0000031a: ADD
0000031b: SWAP2
0000031c: POP
0000031d: POP
0000031e: PUSH1 0x40
00000320: MLOAD
00000321: DUP1
00000322: SWAP2
00000323: SUB
00000324: SWAP1
00000325: RETURN
00000326: JUMPDEST
00000327: PUSH2 0x033c
0000032a: PUSH1 0x04
0000032c: DUP1
0000032d: DUP1
0000032e: CALLDATALOAD
0000032f: SWAP1
00000330: PUSH1 0x20
00000332: ADD
00000333: SWAP1
00000334: SWAP2
00000335: SWAP1
00000336: POP
00000337: POP
00000338: PUSH2 0x0bf6
0000033b: JUMP
0000033c: JUMPDEST
0000033d: STOP
0000033e: JUMPDEST
0000033f: PUSH2 0x034b
00000342: PUSH1 0x04
00000344: DUP1
00000345: POP
00000346: POP
00000347: PUSH2 0x0d15
0000034a: JUMP
0000034b: JUMPDEST
0000034c: PUSH1 0x40
0000034e: MLOAD
0000034f: DUP1
00000350: DUP3
00000351: DUP2
00000352: MSTORE
00000353: PUSH1 0x20
00000355: ADD
00000356: SWAP2
00000357: POP
00000358: POP
00000359: PUSH1 0x40
0000035b: MLOAD
0000035c: DUP1
0000035d: SWAP2
0000035e: SUB
0000035f: SWAP1
00000360: RETURN
00000361: JUMPDEST
00000362: PUSH2 0x0377
00000365: PUSH1 0x04
00000367: DUP1
00000368: DUP1
00000369: CALLDATALOAD
0000036a: SWAP1
0000036b: PUSH1 0x20
0000036d: ADD
0000036e: SWAP1
0000036f: SWAP2
00000370: SWAP1
00000371: POP
00000372: POP
00000373: PUSH2 0x0d28
00000376: JUMP
00000377: JUMPDEST
00000378: STOP
00000379: JUMPDEST
0000037a: PUSH2 0x038f
0000037d: PUSH1 0x04
0000037f: DUP1
00000380: DUP1
00000381: CALLDATALOAD
00000382: SWAP1
00000383: PUSH1 0x20
00000385: ADD
00000386: SWAP1
00000387: SWAP2
00000388: SWAP1
00000389: POP
0000038a: POP
0000038b: PUSH2 0x106c
0000038e: JUMP
0000038f: JUMPDEST
00000390: PUSH1 0x40
00000392: MLOAD
00000393: DUP1
00000394: DUP7
00000395: DUP2
00000396: MSTORE
00000397: PUSH1 0x20
00000399: ADD
0000039a: DUP6
0000039b: DUP2
0000039c: MSTORE
0000039d: PUSH1 0x20
0000039f: ADD
000003a0: DUP5
000003a1: ISZERO
000003a2: ISZERO
000003a3: DUP2
000003a4: MSTORE
000003a5: PUSH1 0x20
000003a7: ADD
000003a8: DUP4
000003a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003be: AND
000003bf: DUP2
000003c0: MSTORE
000003c1: PUSH1 0x20
000003c3: ADD
000003c4: DUP3
000003c5: DUP2
000003c6: MSTORE
000003c7: PUSH1 0x20
000003c9: ADD
000003ca: SWAP6
000003cb: POP
000003cc: POP
000003cd: POP
000003ce: POP
000003cf: POP
000003d0: POP
000003d1: PUSH1 0x40
000003d3: MLOAD
000003d4: DUP1
000003d5: SWAP2
000003d6: SUB
000003d7: SWAP1
000003d8: RETURN
000003d9: JUMPDEST
000003da: PUSH1 0x00
000003dc: PUSH1 0xc0
000003de: PUSH1 0x40
000003e0: MLOAD
000003e1: SWAP1
000003e2: DUP2
000003e3: ADD
000003e4: PUSH1 0x40
000003e6: MSTORE
000003e7: DUP1
000003e8: PUSH1 0x00
000003ea: DUP2
000003eb: MSTORE
000003ec: PUSH1 0x20
000003ee: ADD
000003ef: PUSH1 0x20
000003f1: PUSH1 0x40
000003f3: MLOAD
000003f4: SWAP1
000003f5: DUP2
000003f6: ADD
000003f7: PUSH1 0x40
000003f9: MSTORE
000003fa: DUP1
000003fb: PUSH1 0x00
000003fd: DUP2
000003fe: MSTORE
000003ff: PUSH1 0x20
00000401: ADD
00000402: POP
00000403: DUP2
00000404: MSTORE
00000405: PUSH1 0x20
00000407: ADD
00000408: PUSH1 0x00
0000040a: DUP2
0000040b: MSTORE
0000040c: PUSH1 0x20
0000040e: ADD
0000040f: PUSH1 0x00
00000411: DUP2
00000412: MSTORE
00000413: PUSH1 0x20
00000415: ADD
00000416: PUSH1 0x00
00000418: DUP2
00000419: MSTORE
0000041a: PUSH1 0x20
0000041c: ADD
0000041d: PUSH1 0x00
0000041f: DUP2
00000420: MSTORE
00000421: PUSH1 0x20
00000423: ADD
00000424: POP
00000425: DUP5
00000426: DUP2
00000427: PUSH1 0x00
00000429: ADD
0000042a: SWAP1
0000042b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000440: AND
00000441: SWAP1
00000442: DUP2
00000443: DUP2
00000444: MSTORE
00000445: PUSH1 0x20
00000447: ADD
00000448: POP
00000449: POP
0000044a: DUP4
0000044b: DUP2
0000044c: PUSH1 0x20
0000044e: ADD
0000044f: DUP2
00000450: SWAP1
00000451: MSTORE
00000452: POP
00000453: DUP3
00000454: DUP2
00000455: PUSH1 0x40
00000457: ADD
00000458: SWAP1
00000459: SWAP1
0000045a: DUP2
0000045b: DUP2
0000045c: MSTORE
0000045d: PUSH1 0x20
0000045f: ADD
00000460: POP
00000461: POP
00000462: PUSH1 0x04
00000464: PUSH1 0x00
00000466: POP
00000467: SLOAD
00000468: TIMESTAMP
00000469: ADD
0000046a: DUP2
0000046b: PUSH1 0x80
0000046d: ADD
0000046e: SWAP1
0000046f: SWAP1
00000470: DUP2
00000471: DUP2
00000472: MSTORE
00000473: PUSH1 0x20
00000475: ADD
00000476: POP
00000477: POP
00000478: PUSH1 0x05
0000047a: PUSH1 0x00
0000047c: DUP2
0000047d: DUP2
0000047e: POP
0000047f: SLOAD
00000480: DUP1
00000481: SWAP3
00000482: SWAP2
00000483: SWAP1
00000484: PUSH1 0x01
00000486: ADD
00000487: SWAP2
00000488: SWAP1
00000489: POP
0000048a: SSTORE
0000048b: POP
0000048c: DUP1
0000048d: PUSH1 0x06
0000048f: PUSH1 0x00
00000491: POP
00000492: PUSH1 0x00
00000494: PUSH1 0x05
00000496: PUSH1 0x00
00000498: POP
00000499: SLOAD
0000049a: DUP2
0000049b: MSTORE
0000049c: PUSH1 0x20
0000049e: ADD
0000049f: SWAP1
000004a0: DUP2
000004a1: MSTORE
000004a2: PUSH1 0x20
000004a4: ADD
000004a5: PUSH1 0x00
000004a7: KECCAK256
000004a8: PUSH1 0x00
000004aa: POP
000004ab: PUSH1 0x00
000004ad: DUP3
000004ae: ADD
000004af: MLOAD
000004b0: DUP2
000004b1: PUSH1 0x00
000004b3: ADD
000004b4: PUSH1 0x00
000004b6: PUSH2 0x0100
000004b9: EXP
000004ba: DUP2
000004bb: SLOAD
000004bc: DUP2
000004bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004d2: MUL
000004d3: NOT
000004d4: AND
000004d5: SWAP1
000004d6: DUP4
000004d7: MUL
000004d8: OR
000004d9: SWAP1
000004da: SSTORE
000004db: POP
000004dc: PUSH1 0x20
000004de: DUP3
000004df: ADD
000004e0: MLOAD
000004e1: DUP2
000004e2: PUSH1 0x01
000004e4: ADD
000004e5: PUSH1 0x00
000004e7: POP
000004e8: SWAP1
000004e9: DUP1
000004ea: MLOAD
000004eb: SWAP1
000004ec: PUSH1 0x20
000004ee: ADD
000004ef: SWAP1
000004f0: DUP3
000004f1: DUP1
000004f2: SLOAD
000004f3: PUSH1 0x01
000004f5: DUP2
000004f6: PUSH1 0x01
000004f8: AND
000004f9: ISZERO
000004fa: PUSH2 0x0100
000004fd: MUL
000004fe: SUB
000004ff: AND
00000500: PUSH1 0x02
00000502: SWAP1
00000503: DIV
00000504: SWAP1
00000505: PUSH1 0x00
00000507: MSTORE
00000508: PUSH1 0x20
0000050a: PUSH1 0x00
0000050c: KECCAK256
0000050d: SWAP1
0000050e: PUSH1 0x1f
00000510: ADD
00000511: PUSH1 0x20
00000513: SWAP1
00000514: DIV
00000515: DUP2
00000516: ADD
00000517: SWAP3
00000518: DUP3
00000519: PUSH1 0x1f
0000051b: LT
0000051c: PUSH2 0x0530
0000051f: JUMPI
00000520: DUP1
00000521: MLOAD
00000522: PUSH1 0xff
00000524: NOT
00000525: AND
00000526: DUP4
00000527: DUP1
00000528: ADD
00000529: OR
0000052a: DUP6
0000052b: SSTORE
0000052c: PUSH2 0x0561
0000052f: JUMP
00000530: JUMPDEST
00000531: DUP3
00000532: DUP1
00000533: ADD
00000534: PUSH1 0x01
00000536: ADD
00000537: DUP6
00000538: SSTORE
00000539: DUP3
0000053a: ISZERO
0000053b: PUSH2 0x0561
0000053e: JUMPI
0000053f: SWAP2
00000540: DUP3
00000541: ADD
00000542: JUMPDEST
00000543: DUP3
00000544: DUP2
00000545: GT
00000546: ISZERO
00000547: PUSH2 0x0560
0000054a: JUMPI
0000054b: DUP3
0000054c: MLOAD
0000054d: DUP3
0000054e: PUSH1 0x00
00000550: POP
00000551: SSTORE
00000552: SWAP2
00000553: PUSH1 0x20
00000555: ADD
00000556: SWAP2
00000557: SWAP1
00000558: PUSH1 0x01
0000055a: ADD
0000055b: SWAP1
0000055c: PUSH2 0x0542
0000055f: JUMP
00000560: JUMPDEST
00000561: JUMPDEST
00000562: POP
00000563: SWAP1
00000564: POP
00000565: PUSH2 0x058c
00000568: SWAP2
00000569: SWAP1
0000056a: PUSH2 0x056e
0000056d: JUMP
0000056e: JUMPDEST
0000056f: DUP1
00000570: DUP3
00000571: GT
00000572: ISZERO
00000573: PUSH2 0x0588
00000576: JUMPI
00000577: PUSH1 0x00
00000579: DUP2
0000057a: DUP2
0000057b: POP
0000057c: PUSH1 0x00
0000057e: SWAP1
0000057f: SSTORE
00000580: POP
00000581: PUSH1 0x01
00000583: ADD
00000584: PUSH2 0x056e
00000587: JUMP
00000588: JUMPDEST
00000589: POP
0000058a: SWAP1
0000058b: JUMP
0000058c: JUMPDEST
0000058d: POP
0000058e: POP
0000058f: PUSH1 0x40
00000591: DUP3
00000592: ADD
00000593: MLOAD
00000594: DUP2
00000595: PUSH1 0x02
00000597: ADD
00000598: PUSH1 0x00
0000059a: POP
0000059b: SSTORE
0000059c: PUSH1 0x60
0000059e: DUP3
0000059f: ADD
000005a0: MLOAD
000005a1: DUP2
000005a2: PUSH1 0x03
000005a4: ADD
000005a5: PUSH1 0x00
000005a7: POP
000005a8: SSTORE
000005a9: PUSH1 0x80
000005ab: DUP3
000005ac: ADD
000005ad: MLOAD
000005ae: DUP2
000005af: PUSH1 0x04
000005b1: ADD
000005b2: PUSH1 0x00
000005b4: POP
000005b5: SSTORE
000005b6: PUSH1 0xa0
000005b8: DUP3
000005b9: ADD
000005ba: MLOAD
000005bb: DUP2
000005bc: PUSH1 0x05
000005be: ADD
000005bf: PUSH1 0x00
000005c1: PUSH2 0x0100
000005c4: EXP
000005c5: DUP2
000005c6: SLOAD
000005c7: DUP2
000005c8: PUSH1 0xff
000005ca: MUL
000005cb: NOT
000005cc: AND
000005cd: SWAP1
000005ce: DUP4
000005cf: MUL
000005d0: OR
000005d1: SWAP1
000005d2: SSTORE
000005d3: POP
000005d4: SWAP1
000005d5: POP
000005d6: POP
000005d7: PUSH1 0x05
000005d9: PUSH1 0x00
000005db: POP
000005dc: SLOAD
000005dd: PUSH32 0x2c9c30f6e09e4fa68cd8d1f88a745cdfcd8d05a9c5729eb5e7f4bf0078db0044
000005fe: DUP6
000005ff: PUSH1 0x40
00000601: MLOAD
00000602: DUP1
00000603: DUP1
00000604: PUSH1 0x20
00000606: ADD
00000607: DUP3
00000608: DUP2
00000609: SUB
0000060a: DUP3
0000060b: MSTORE
0000060c: DUP4
0000060d: DUP2
0000060e: DUP2
0000060f: MLOAD
00000610: DUP2
00000611: MSTORE
00000612: PUSH1 0x20
00000614: ADD
00000615: SWAP2
00000616: POP
00000617: DUP1
00000618: MLOAD
00000619: SWAP1
0000061a: PUSH1 0x20
0000061c: ADD
0000061d: SWAP1
0000061e: DUP1
0000061f: DUP4
00000620: DUP4
00000621: DUP3
00000622: SWAP1
00000623: PUSH1 0x00
00000625: PUSH1 0x04
00000627: PUSH1 0x20
00000629: DUP5
0000062a: PUSH1 0x1f
0000062c: ADD
0000062d: DIV
0000062e: PUSH1 0x03
00000630: MUL
00000631: PUSH1 0x0f
00000633: ADD
00000634: CALL
00000635: POP
00000636: SWAP1
00000637: POP
00000638: SWAP1
00000639: DUP2
0000063a: ADD
0000063b: SWAP1
0000063c: PUSH1 0x1f
0000063e: AND
0000063f: DUP1
00000640: ISZERO
00000641: PUSH2 0x065e
00000644: JUMPI
00000645: DUP1
00000646: DUP3
00000647: SUB
00000648: DUP1
00000649: MLOAD
0000064a: PUSH1 0x01
0000064c: DUP4
0000064d: PUSH1 0x20
0000064f: SUB
00000650: PUSH2 0x0100
00000653: EXP
00000654: SUB
00000655: NOT
00000656: AND
00000657: DUP2
00000658: MSTORE
00000659: PUSH1 0x20
0000065b: ADD
0000065c: SWAP2
0000065d: POP
0000065e: JUMPDEST
0000065f: POP
00000660: SWAP3
00000661: POP
00000662: POP
00000663: POP
00000664: PUSH1 0x40
00000666: MLOAD
00000667: DUP1
00000668: SWAP2
00000669: SUB
0000066a: SWAP1
0000066b: LOG2
0000066c: PUSH1 0x05
0000066e: PUSH1 0x00
00000670: POP
00000671: SLOAD
00000672: SWAP2
00000673: POP
00000674: PUSH2 0x0678
00000677: JUMP
00000678: JUMPDEST
00000679: POP
0000067a: SWAP4
0000067b: SWAP3
0000067c: POP
0000067d: POP
0000067e: POP
0000067f: JUMP
00000680: JUMPDEST
00000681: PUSH1 0x00
00000683: PUSH1 0x00
00000685: PUSH1 0x00
00000687: PUSH1 0x00
00000689: PUSH1 0x01
0000068b: PUSH1 0x00
0000068d: POP
0000068e: SLOAD
0000068f: PUSH1 0x02
00000691: PUSH1 0x00
00000693: POP
00000694: SLOAD
00000695: PUSH1 0x04
00000697: PUSH1 0x00
00000699: POP
0000069a: SLOAD
0000069b: PUSH1 0x05
0000069d: PUSH1 0x00
0000069f: POP
000006a0: SLOAD
000006a1: SWAP4
000006a2: POP
000006a3: SWAP4
000006a4: POP
000006a5: SWAP4
000006a6: POP
000006a7: SWAP4
000006a8: POP
000006a9: PUSH2 0x06ad
000006ac: JUMP
000006ad: JUMPDEST
000006ae: SWAP1
000006af: SWAP2
000006b0: SWAP3
000006b1: SWAP4
000006b2: JUMP
000006b3: JUMPDEST
000006b4: PUSH2 0x06bb
000006b7: PUSH2 0x10fb
000006ba: JUMP
000006bb: JUMPDEST
000006bc: ISZERO
000006bd: PUSH2 0x074f
000006c0: JUMPI
000006c1: DUP2
000006c2: PUSH1 0x00
000006c4: PUSH1 0x01
000006c6: PUSH2 0x0100
000006c9: EXP
000006ca: DUP2
000006cb: SLOAD
000006cc: DUP2
000006cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006e2: MUL
000006e3: NOT
000006e4: AND
000006e5: SWAP1
000006e6: DUP4
000006e7: MUL
000006e8: OR
000006e9: SWAP1
000006ea: SSTORE
000006eb: POP
000006ec: DUP1
000006ed: PUSH1 0x00
000006ef: PUSH1 0x00
000006f1: PUSH2 0x0100
000006f4: EXP
000006f5: DUP2
000006f6: SLOAD
000006f7: DUP2
000006f8: PUSH1 0xff
000006fa: MUL
000006fb: NOT
000006fc: AND
000006fd: SWAP1
000006fe: DUP4
000006ff: MUL
00000700: OR
00000701: SWAP1
00000702: SSTORE
00000703: POP
00000704: DUP1
00000705: DUP3
00000706: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000071b: AND
0000071c: PUSH32 0xb96a5204da93e5d7ddd5b0c2616fd5f76322b9c383c5010b94fdc3df11b7be52
0000073d: PUSH1 0x40
0000073f: MLOAD
00000740: DUP1
00000741: SWAP1
00000742: POP
00000743: PUSH1 0x40
00000745: MLOAD
00000746: DUP1
00000747: SWAP2
00000748: SUB
00000749: SWAP1
0000074a: LOG3
0000074b: PUSH2 0x0754
0000074e: JUMP
0000074f: JUMPDEST
00000750: PUSH2 0x0002
00000753: JUMP
00000754: JUMPDEST
00000755: JUMPDEST
00000756: POP
00000757: POP
00000758: JUMP
00000759: JUMPDEST
0000075a: PUSH1 0x00
0000075c: PUSH1 0x09
0000075e: PUSH1 0x00
00000760: POP
00000761: PUSH1 0x00
00000763: DUP4
00000764: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000779: AND
0000077a: DUP2
0000077b: MSTORE
0000077c: PUSH1 0x20
0000077e: ADD
0000077f: SWAP1
00000780: DUP2
00000781: MSTORE
00000782: PUSH1 0x20
00000784: ADD
00000785: PUSH1 0x00
00000787: KECCAK256
00000788: PUSH1 0x00
0000078a: SWAP1
0000078b: SLOAD
0000078c: SWAP1
0000078d: PUSH2 0x0100
00000790: EXP
00000791: SWAP1
00000792: DIV
00000793: PUSH1 0xff
00000795: AND
00000796: SWAP1
00000797: POP
00000798: PUSH2 0x079c
0000079b: JUMP
0000079c: JUMPDEST
0000079d: SWAP2
0000079e: SWAP1
0000079f: POP
000007a0: JUMP
000007a1: JUMPDEST
000007a2: PUSH1 0x00
000007a4: PUSH1 0x00
000007a6: PUSH1 0x09
000007a8: PUSH1 0x00
000007aa: POP
000007ab: PUSH1 0x00
000007ad: CALLER
000007ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007c3: AND
000007c4: DUP2
000007c5: MSTORE
000007c6: PUSH1 0x20
000007c8: ADD
000007c9: SWAP1
000007ca: DUP2
000007cb: MSTORE
000007cc: PUSH1 0x20
000007ce: ADD
000007cf: PUSH1 0x00
000007d1: KECCAK256
000007d2: PUSH1 0x00
000007d4: SWAP1
000007d5: SLOAD
000007d6: SWAP1
000007d7: PUSH2 0x0100
000007da: EXP
000007db: SWAP1
000007dc: DIV
000007dd: PUSH1 0xff
000007df: AND
000007e0: ISZERO
000007e1: ISZERO
000007e2: PUSH2 0x07ea
000007e5: JUMPI
000007e6: PUSH2 0x0002
000007e9: JUMP
000007ea: JUMPDEST
000007eb: PUSH1 0x07
000007ed: PUSH1 0x00
000007ef: POP
000007f0: PUSH1 0x00
000007f2: DUP5
000007f3: DUP2
000007f4: MSTORE
000007f5: PUSH1 0x20
000007f7: ADD
000007f8: SWAP1
000007f9: DUP2
000007fa: MSTORE
000007fb: PUSH1 0x20
000007fd: ADD
000007fe: PUSH1 0x00
00000800: KECCAK256
00000801: PUSH1 0x00
00000803: POP
00000804: PUSH1 0x00
00000806: CALLER
00000807: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000081c: AND
0000081d: DUP2
0000081e: MSTORE
0000081f: PUSH1 0x20
00000821: ADD
00000822: SWAP1
00000823: DUP2
00000824: MSTORE
00000825: PUSH1 0x20
00000827: ADD
00000828: PUSH1 0x00
0000082a: KECCAK256
0000082b: PUSH1 0x00
0000082d: SWAP1
0000082e: SLOAD
0000082f: SWAP1
00000830: PUSH2 0x0100
00000833: EXP
00000834: SWAP1
00000835: DIV
00000836: PUSH1 0xff
00000838: AND
00000839: ISZERO
0000083a: PUSH2 0x0842
0000083d: JUMPI
0000083e: PUSH2 0x0002
00000841: JUMP
00000842: JUMPDEST
00000843: PUSH1 0x05
00000845: PUSH1 0x00
00000847: POP
00000848: SLOAD
00000849: DUP4
0000084a: GT
0000084b: ISZERO
0000084c: PUSH2 0x0854
0000084f: JUMPI
00000850: PUSH2 0x0002
00000853: JUMP
00000854: JUMPDEST
00000855: PUSH1 0x06
00000857: PUSH1 0x00
00000859: POP
0000085a: PUSH1 0x00
0000085c: DUP5
0000085d: DUP2
0000085e: MSTORE
0000085f: PUSH1 0x20
00000861: ADD
00000862: SWAP1
00000863: DUP2
00000864: MSTORE
00000865: PUSH1 0x20
00000867: ADD
00000868: PUSH1 0x00
0000086a: KECCAK256
0000086b: PUSH1 0x00
0000086d: POP
0000086e: SWAP1
0000086f: POP
00000870: DUP1
00000871: PUSH1 0x04
00000873: ADD
00000874: PUSH1 0x00
00000876: POP
00000877: SLOAD
00000878: TIMESTAMP
00000879: GT
0000087a: ISZERO
0000087b: PUSH2 0x0883
0000087e: JUMPI
0000087f: PUSH2 0x0002
00000882: JUMP
00000883: JUMPDEST
00000884: DUP1
00000885: PUSH1 0x05
00000887: ADD
00000888: PUSH1 0x00
0000088a: SWAP1
0000088b: SLOAD
0000088c: SWAP1
0000088d: PUSH2 0x0100
00000890: EXP
00000891: SWAP1
00000892: DIV
00000893: PUSH1 0xff
00000895: AND
00000896: ISZERO
00000897: PUSH2 0x089f
0000089a: JUMPI
0000089b: PUSH2 0x0002
0000089e: JUMP
0000089f: JUMPDEST
000008a0: PUSH1 0x01
000008a2: PUSH1 0x07
000008a4: PUSH1 0x00
000008a6: POP
000008a7: PUSH1 0x00
000008a9: DUP6
000008aa: DUP2
000008ab: MSTORE
000008ac: PUSH1 0x20
000008ae: ADD
000008af: SWAP1
000008b0: DUP2
000008b1: MSTORE
000008b2: PUSH1 0x20
000008b4: ADD
000008b5: PUSH1 0x00
000008b7: KECCAK256
000008b8: PUSH1 0x00
000008ba: POP
000008bb: PUSH1 0x00
000008bd: CALLER
000008be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008d3: AND
000008d4: DUP2
000008d5: MSTORE
000008d6: PUSH1 0x20
000008d8: ADD
000008d9: SWAP1
000008da: DUP2
000008db: MSTORE
000008dc: PUSH1 0x20
000008de: ADD
000008df: PUSH1 0x00
000008e1: KECCAK256
000008e2: PUSH1 0x00
000008e4: PUSH2 0x0100
000008e7: EXP
000008e8: DUP2
000008e9: SLOAD
000008ea: DUP2
000008eb: PUSH1 0xff
000008ed: MUL
000008ee: NOT
000008ef: AND
000008f0: SWAP1
000008f1: DUP4
000008f2: MUL
000008f3: OR
000008f4: SWAP1
000008f5: SSTORE
000008f6: POP
000008f7: PUSH1 0x01
000008f9: DUP2
000008fa: PUSH1 0x03
000008fc: ADD
000008fd: PUSH1 0x00
000008ff: POP
00000900: SLOAD
00000901: ADD
00000902: DUP2
00000903: PUSH1 0x03
00000905: ADD
00000906: PUSH1 0x00
00000908: POP
00000909: DUP2
0000090a: SWAP1
0000090b: SSTORE
0000090c: POP
0000090d: DUP1
0000090e: PUSH1 0x06
00000910: PUSH1 0x00
00000912: POP
00000913: PUSH1 0x00
00000915: DUP6
00000916: DUP2
00000917: MSTORE
00000918: PUSH1 0x20
0000091a: ADD
0000091b: SWAP1
0000091c: DUP2
0000091d: MSTORE
0000091e: PUSH1 0x20
00000920: ADD
00000921: PUSH1 0x00
00000923: KECCAK256
00000924: PUSH1 0x00
00000926: POP
00000927: PUSH1 0x00
00000929: DUP3
0000092a: ADD
0000092b: PUSH1 0x00
0000092d: SWAP1
0000092e: SLOAD
0000092f: SWAP1
00000930: PUSH2 0x0100
00000933: EXP
00000934: SWAP1
00000935: DIV
00000936: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000094b: AND
0000094c: DUP2
0000094d: PUSH1 0x00
0000094f: ADD
00000950: PUSH1 0x00
00000952: PUSH2 0x0100
00000955: EXP
00000956: DUP2
00000957: SLOAD
00000958: DUP2
00000959: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000096e: MUL
0000096f: NOT
00000970: AND
00000971: SWAP1
00000972: DUP4
00000973: MUL
00000974: OR
00000975: SWAP1
00000976: SSTORE
00000977: POP
00000978: PUSH1 0x01
0000097a: DUP3
0000097b: ADD
0000097c: PUSH1 0x00
0000097e: POP
0000097f: DUP2
00000980: PUSH1 0x01
00000982: ADD
00000983: PUSH1 0x00
00000985: POP
00000986: SWAP1
00000987: DUP1
00000988: SLOAD
00000989: PUSH1 0x01
0000098b: DUP2
0000098c: PUSH1 0x01
0000098e: AND
0000098f: ISZERO
00000990: PUSH2 0x0100
00000993: MUL
00000994: SUB
00000995: AND
00000996: PUSH1 0x02
00000998: SWAP1
00000999: DIV
0000099a: DUP3
0000099b: DUP1
0000099c: SLOAD
0000099d: PUSH1 0x01
0000099f: DUP2
000009a0: PUSH1 0x01
000009a2: AND
000009a3: ISZERO
000009a4: PUSH2 0x0100
000009a7: MUL
000009a8: SUB
000009a9: AND
000009aa: PUSH1 0x02
000009ac: SWAP1
000009ad: DIV
000009ae: SWAP1
000009af: PUSH1 0x00
000009b1: MSTORE
000009b2: PUSH1 0x20
000009b4: PUSH1 0x00
000009b6: KECCAK256
000009b7: SWAP1
000009b8: PUSH1 0x1f
000009ba: ADD
000009bb: PUSH1 0x20
000009bd: SWAP1
000009be: DIV
000009bf: DUP2
000009c0: ADD
000009c1: SWAP3
000009c2: DUP3
000009c3: PUSH1 0x1f
000009c5: LT
000009c6: PUSH2 0x09d2
000009c9: JUMPI
000009ca: DUP1
000009cb: SLOAD
000009cc: DUP6
000009cd: SSTORE
000009ce: PUSH2 0x0a0f
000009d1: JUMP
000009d2: JUMPDEST
000009d3: DUP3
000009d4: DUP1
000009d5: ADD
000009d6: PUSH1 0x01
000009d8: ADD
000009d9: DUP6
000009da: SSTORE
000009db: DUP3
000009dc: ISZERO
000009dd: PUSH2 0x0a0f
000009e0: JUMPI
000009e1: PUSH1 0x00
000009e3: MSTORE
000009e4: PUSH1 0x20
000009e6: PUSH1 0x00
000009e8: KECCAK256
000009e9: SWAP2
000009ea: PUSH1 0x1f
000009ec: ADD
000009ed: PUSH1 0x20
000009ef: SWAP1
000009f0: DIV
000009f1: DUP3
000009f2: ADD
000009f3: JUMPDEST
000009f4: DUP3
000009f5: DUP2
000009f6: GT
000009f7: ISZERO
000009f8: PUSH2 0x0a0e
000009fb: JUMPI
000009fc: DUP3
000009fd: SLOAD
000009fe: DUP3
000009ff: SSTORE
00000a00: SWAP2
00000a01: PUSH1 0x01
00000a03: ADD
00000a04: SWAP2
00000a05: SWAP1
00000a06: PUSH1 0x01
00000a08: ADD
00000a09: SWAP1
00000a0a: PUSH2 0x09f3
00000a0d: JUMP
00000a0e: JUMPDEST
00000a0f: JUMPDEST
00000a10: POP
00000a11: SWAP1
00000a12: POP
00000a13: PUSH2 0x0a3a
00000a16: SWAP2
00000a17: SWAP1
00000a18: PUSH2 0x0a1c
00000a1b: JUMP
00000a1c: JUMPDEST
00000a1d: DUP1
00000a1e: DUP3
00000a1f: GT
00000a20: ISZERO
00000a21: PUSH2 0x0a36
00000a24: JUMPI
00000a25: PUSH1 0x00
00000a27: DUP2
00000a28: DUP2
00000a29: POP
00000a2a: PUSH1 0x00
00000a2c: SWAP1
00000a2d: SSTORE
00000a2e: POP
00000a2f: PUSH1 0x01
00000a31: ADD
00000a32: PUSH2 0x0a1c
00000a35: JUMP
00000a36: JUMPDEST
00000a37: POP
00000a38: SWAP1
00000a39: JUMP
00000a3a: JUMPDEST
00000a3b: POP
00000a3c: POP
00000a3d: PUSH1 0x02
00000a3f: DUP3
00000a40: ADD
00000a41: PUSH1 0x00
00000a43: POP
00000a44: SLOAD
00000a45: DUP2
00000a46: PUSH1 0x02
00000a48: ADD
00000a49: PUSH1 0x00
00000a4b: POP
00000a4c: SSTORE
00000a4d: PUSH1 0x03
00000a4f: DUP3
00000a50: ADD
00000a51: PUSH1 0x00
00000a53: POP
00000a54: SLOAD
00000a55: DUP2
00000a56: PUSH1 0x03
00000a58: ADD
00000a59: PUSH1 0x00
00000a5b: POP
00000a5c: SSTORE
00000a5d: PUSH1 0x04
00000a5f: DUP3
00000a60: ADD
00000a61: PUSH1 0x00
00000a63: POP
00000a64: SLOAD
00000a65: DUP2
00000a66: PUSH1 0x04
00000a68: ADD
00000a69: PUSH1 0x00
00000a6b: POP
00000a6c: SSTORE
00000a6d: PUSH1 0x05
00000a6f: DUP3
00000a70: ADD
00000a71: PUSH1 0x00
00000a73: SWAP1
00000a74: SLOAD
00000a75: SWAP1
00000a76: PUSH2 0x0100
00000a79: EXP
00000a7a: SWAP1
00000a7b: DIV
00000a7c: PUSH1 0xff
00000a7e: AND
00000a7f: DUP2
00000a80: PUSH1 0x05
00000a82: ADD
00000a83: PUSH1 0x00
00000a85: PUSH2 0x0100
00000a88: EXP
00000a89: DUP2
00000a8a: SLOAD
00000a8b: DUP2
00000a8c: PUSH1 0xff
00000a8e: MUL
00000a8f: NOT
00000a90: AND
00000a91: SWAP1
00000a92: DUP4
00000a93: MUL
00000a94: OR
00000a95: SWAP1
00000a96: SSTORE
00000a97: POP
00000a98: SWAP1
00000a99: POP
00000a9a: POP
00000a9b: DUP3
00000a9c: PUSH32 0x6f220d98c15dbd07fdc24781b682ea34f92411fc61b83c761dd927afbe02d3fd
00000abd: CALLER
00000abe: PUSH1 0x40
00000ac0: MLOAD
00000ac1: DUP1
00000ac2: DUP3
00000ac3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ad8: AND
00000ad9: DUP2
00000ada: MSTORE
00000adb: PUSH1 0x20
00000add: ADD
00000ade: SWAP2
00000adf: POP
00000ae0: POP
00000ae1: PUSH1 0x40
00000ae3: MLOAD
00000ae4: DUP1
00000ae5: SWAP2
00000ae6: SUB
00000ae7: SWAP1
00000ae8: LOG2
00000ae9: JUMPDEST
00000aea: POP
00000aeb: SWAP2
00000aec: SWAP1
00000aed: POP
00000aee: JUMP
00000aef: JUMPDEST
00000af0: PUSH1 0x00
00000af2: PUSH1 0x01
00000af4: SWAP1
00000af5: SLOAD
00000af6: SWAP1
00000af7: PUSH2 0x0100
00000afa: EXP
00000afb: SWAP1
00000afc: DIV
00000afd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b12: AND
00000b13: DUP2
00000b14: JUMP
00000b15: JUMPDEST
00000b16: PUSH1 0x00
00000b18: PUSH2 0x0be9
00000b1b: DUP4
00000b1c: PUSH1 0x08
00000b1e: PUSH1 0x00
00000b20: POP
00000b21: PUSH1 0x00
00000b23: CALLER
00000b24: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b39: AND
00000b3a: DUP2
00000b3b: MSTORE
00000b3c: PUSH1 0x20
00000b3e: ADD
00000b3f: SWAP1
00000b40: DUP2
00000b41: MSTORE
00000b42: PUSH1 0x20
00000b44: ADD
00000b45: PUSH1 0x00
00000b47: KECCAK256
00000b48: PUSH1 0x00
00000b4a: POP
00000b4b: DUP1
00000b4c: SLOAD
00000b4d: PUSH1 0x01
00000b4f: DUP2
00000b50: PUSH1 0x01
00000b52: AND
00000b53: ISZERO
00000b54: PUSH2 0x0100
00000b57: MUL
00000b58: SUB
00000b59: AND
00000b5a: PUSH1 0x02
00000b5c: SWAP1
00000b5d: DIV
00000b5e: DUP1
00000b5f: PUSH1 0x1f
00000b61: ADD
00000b62: PUSH1 0x20
00000b64: DUP1
00000b65: SWAP2
00000b66: DIV
00000b67: MUL
00000b68: PUSH1 0x20
00000b6a: ADD
00000b6b: PUSH1 0x40
00000b6d: MLOAD
00000b6e: SWAP1
00000b6f: DUP2
00000b70: ADD
00000b71: PUSH1 0x40
00000b73: MSTORE
00000b74: DUP1
00000b75: SWAP3
00000b76: SWAP2
00000b77: SWAP1
00000b78: DUP2
00000b79: DUP2
00000b7a: MSTORE
00000b7b: PUSH1 0x20
00000b7d: ADD
00000b7e: DUP3
00000b7f: DUP1
00000b80: SLOAD
00000b81: PUSH1 0x01
00000b83: DUP2
00000b84: PUSH1 0x01
00000b86: AND
00000b87: ISZERO
00000b88: PUSH2 0x0100
00000b8b: MUL
00000b8c: SUB
00000b8d: AND
00000b8e: PUSH1 0x02
00000b90: SWAP1
00000b91: DIV
00000b92: DUP1
00000b93: ISZERO
00000b94: PUSH2 0x0bde
00000b97: JUMPI
00000b98: DUP1
00000b99: PUSH1 0x1f
00000b9b: LT
00000b9c: PUSH2 0x0bb3
00000b9f: JUMPI
00000ba0: PUSH2 0x0100
00000ba3: DUP1
00000ba4: DUP4
00000ba5: SLOAD
00000ba6: DIV
00000ba7: MUL
00000ba8: DUP4
00000ba9: MSTORE
00000baa: SWAP2
00000bab: PUSH1 0x20
00000bad: ADD
00000bae: SWAP2
00000baf: PUSH2 0x0bde
00000bb2: JUMP
00000bb3: JUMPDEST
00000bb4: DUP3
00000bb5: ADD
00000bb6: SWAP2
00000bb7: SWAP1
00000bb8: PUSH1 0x00
00000bba: MSTORE
00000bbb: PUSH1 0x20
00000bbd: PUSH1 0x00
00000bbf: KECCAK256
00000bc0: SWAP1
00000bc1: JUMPDEST
00000bc2: DUP2
00000bc3: SLOAD
00000bc4: DUP2
00000bc5: MSTORE
00000bc6: SWAP1
00000bc7: PUSH1 0x01
00000bc9: ADD
00000bca: SWAP1
00000bcb: PUSH1 0x20
00000bcd: ADD
00000bce: DUP1
00000bcf: DUP4
00000bd0: GT
00000bd1: PUSH2 0x0bc1
00000bd4: JUMPI
00000bd5: DUP3
00000bd6: SWAP1
00000bd7: SUB
00000bd8: PUSH1 0x1f
00000bda: AND
00000bdb: DUP3
00000bdc: ADD
00000bdd: SWAP2
00000bde: JUMPDEST
00000bdf: POP
00000be0: POP
00000be1: POP
00000be2: POP
00000be3: POP
00000be4: DUP5
00000be5: PUSH2 0x03d9
00000be8: JUMP
00000be9: JUMPDEST
00000bea: SWAP1
00000beb: POP
00000bec: PUSH2 0x0bf0
00000bef: JUMP
00000bf0: JUMPDEST
00000bf1: SWAP3
00000bf2: SWAP2
00000bf3: POP
00000bf4: POP
00000bf5: JUMP
00000bf6: JUMPDEST
00000bf7: PUSH2 0x0bfe
00000bfa: PUSH2 0x10fb
00000bfd: JUMP
00000bfe: JUMPDEST
00000bff: ISZERO
00000c00: PUSH2 0x0d0c
00000c03: JUMPI
00000c04: PUSH1 0x09
00000c06: PUSH1 0x00
00000c08: POP
00000c09: PUSH1 0x00
00000c0b: DUP3
00000c0c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c21: AND
00000c22: DUP2
00000c23: MSTORE
00000c24: PUSH1 0x20
00000c26: ADD
00000c27: SWAP1
00000c28: DUP2
00000c29: MSTORE
00000c2a: PUSH1 0x20
00000c2c: ADD
00000c2d: PUSH1 0x00
00000c2f: KECCAK256
00000c30: PUSH1 0x00
00000c32: SWAP1
00000c33: SLOAD
00000c34: SWAP1
00000c35: PUSH2 0x0100
00000c38: EXP
00000c39: SWAP1
00000c3a: DIV
00000c3b: PUSH1 0xff
00000c3d: AND
00000c3e: ISZERO
00000c3f: PUSH2 0x0c47
00000c42: JUMPI
00000c43: PUSH2 0x0002
00000c46: JUMP
00000c47: JUMPDEST
00000c48: PUSH1 0x01
00000c4a: PUSH1 0x09
00000c4c: PUSH1 0x00
00000c4e: POP
00000c4f: PUSH1 0x00
00000c51: DUP4
00000c52: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c67: AND
00000c68: DUP2
00000c69: MSTORE
00000c6a: PUSH1 0x20
00000c6c: ADD
00000c6d: SWAP1
00000c6e: DUP2
00000c6f: MSTORE
00000c70: PUSH1 0x20
00000c72: ADD
00000c73: PUSH1 0x00
00000c75: KECCAK256
00000c76: PUSH1 0x00
00000c78: PUSH2 0x0100
00000c7b: EXP
00000c7c: DUP2
00000c7d: SLOAD
00000c7e: DUP2
00000c7f: PUSH1 0xff
00000c81: MUL
00000c82: NOT
00000c83: AND
00000c84: SWAP1
00000c85: DUP4
00000c86: MUL
00000c87: OR
00000c88: SWAP1
00000c89: SSTORE
00000c8a: POP
00000c8b: PUSH32 0xb251eb052afc73ffd02ffe85ad79990a8b3fed60d76dbc2fa2fdd7123dffd914
00000cac: DUP2
00000cad: PUSH1 0x40
00000caf: MLOAD
00000cb0: DUP1
00000cb1: DUP3
00000cb2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cc7: AND
00000cc8: DUP2
00000cc9: MSTORE
00000cca: PUSH1 0x20
00000ccc: ADD
00000ccd: SWAP2
00000cce: POP
00000ccf: POP
00000cd0: PUSH1 0x40
00000cd2: MLOAD
00000cd3: DUP1
00000cd4: SWAP2
00000cd5: SUB
00000cd6: SWAP1
00000cd7: LOG1
00000cd8: PUSH1 0x03
00000cda: PUSH1 0x00
00000cdc: DUP2
00000cdd: DUP2
00000cde: POP
00000cdf: SLOAD
00000ce0: DUP1
00000ce1: SWAP3
00000ce2: SWAP2
00000ce3: SWAP1
00000ce4: PUSH1 0x01
00000ce6: SWAP1
00000ce7: SUB
00000ce8: SWAP2
00000ce9: SWAP1
00000cea: POP
00000ceb: SSTORE
00000cec: POP
00000ced: PUSH1 0x00
00000cef: PUSH1 0x03
00000cf1: PUSH1 0x00
00000cf3: POP
00000cf4: SLOAD
00000cf5: EQ
00000cf6: ISZERO
00000cf7: PUSH2 0x0d07
00000cfa: JUMPI
00000cfb: PUSH2 0x0d06
00000cfe: PUSH1 0x00
00000d00: PUSH1 0x00
00000d02: PUSH2 0x06b3
00000d05: JUMP
00000d06: JUMPDEST
00000d07: JUMPDEST
00000d08: PUSH2 0x0d11
00000d0b: JUMP
00000d0c: JUMPDEST
00000d0d: PUSH2 0x0002
00000d10: JUMP
00000d11: JUMPDEST
00000d12: JUMPDEST
00000d13: POP
00000d14: JUMP
00000d15: JUMPDEST
00000d16: PUSH1 0x00
00000d18: PUSH1 0x00
00000d1a: SWAP1
00000d1b: SLOAD
00000d1c: SWAP1
00000d1d: PUSH2 0x0100
00000d20: EXP
00000d21: SWAP1
00000d22: DIV
00000d23: PUSH1 0xff
00000d25: AND
00000d26: DUP2
00000d27: JUMP
00000d28: JUMPDEST
00000d29: PUSH1 0x00
00000d2b: PUSH1 0x06
00000d2d: PUSH1 0x00
00000d2f: POP
00000d30: PUSH1 0x00
00000d32: DUP4
00000d33: DUP2
00000d34: MSTORE
00000d35: PUSH1 0x20
00000d37: ADD
00000d38: SWAP1
00000d39: DUP2
00000d3a: MSTORE
00000d3b: PUSH1 0x20
00000d3d: ADD
00000d3e: PUSH1 0x00
00000d40: KECCAK256
00000d41: PUSH1 0x00
00000d43: POP
00000d44: SWAP1
00000d45: POP
00000d46: PUSH1 0x01
00000d48: PUSH1 0x00
00000d4a: POP
00000d4b: SLOAD
00000d4c: DUP2
00000d4d: PUSH1 0x03
00000d4f: ADD
00000d50: PUSH1 0x00
00000d52: POP
00000d53: SLOAD
00000d54: LT
00000d55: ISZERO
00000d56: PUSH2 0x0d5e
00000d59: JUMPI
00000d5a: PUSH2 0x0002
00000d5d: JUMP
00000d5e: JUMPDEST
00000d5f: DUP1
00000d60: PUSH1 0x04
00000d62: ADD
00000d63: PUSH1 0x00
00000d65: POP
00000d66: SLOAD
00000d67: TIMESTAMP
00000d68: GT
00000d69: ISZERO
00000d6a: PUSH2 0x0d72
00000d6d: JUMPI
00000d6e: PUSH2 0x0002
00000d71: JUMP
00000d72: JUMPDEST
00000d73: DUP1
00000d74: PUSH1 0x05
00000d76: ADD
00000d77: PUSH1 0x00
00000d79: SWAP1
00000d7a: SLOAD
00000d7b: SWAP1
00000d7c: PUSH2 0x0100
00000d7f: EXP
00000d80: SWAP1
00000d81: DIV
00000d82: PUSH1 0xff
00000d84: AND
00000d85: ISZERO
00000d86: PUSH2 0x0d8e
00000d89: JUMPI
00000d8a: PUSH2 0x0002
00000d8d: JUMP
00000d8e: JUMPDEST
00000d8f: DUP1
00000d90: PUSH1 0x02
00000d92: ADD
00000d93: PUSH1 0x00
00000d95: POP
00000d96: SLOAD
00000d97: ADDRESS
00000d98: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dad: AND
00000dae: BALANCE
00000daf: LT
00000db0: ISZERO
00000db1: PUSH2 0x0db9
00000db4: JUMPI
00000db5: PUSH2 0x0002
00000db8: JUMP
00000db9: JUMPDEST
00000dba: PUSH1 0x01
00000dbc: DUP2
00000dbd: PUSH1 0x05
00000dbf: ADD
00000dc0: PUSH1 0x00
00000dc2: PUSH2 0x0100
00000dc5: EXP
00000dc6: DUP2
00000dc7: SLOAD
00000dc8: DUP2
00000dc9: PUSH1 0xff
00000dcb: MUL
00000dcc: NOT
00000dcd: AND
00000dce: SWAP1
00000dcf: DUP4
00000dd0: MUL
00000dd1: OR
00000dd2: SWAP1
00000dd3: SSTORE
00000dd4: POP
00000dd5: PUSH2 0x0ea9
00000dd8: DUP2
00000dd9: PUSH1 0x00
00000ddb: ADD
00000ddc: PUSH1 0x00
00000dde: SWAP1
00000ddf: SLOAD
00000de0: SWAP1
00000de1: PUSH2 0x0100
00000de4: EXP
00000de5: SWAP1
00000de6: DIV
00000de7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dfc: AND
00000dfd: DUP3
00000dfe: PUSH1 0x01
00000e00: ADD
00000e01: PUSH1 0x00
00000e03: POP
00000e04: DUP1
00000e05: SLOAD
00000e06: PUSH1 0x01
00000e08: DUP2
00000e09: PUSH1 0x01
00000e0b: AND
00000e0c: ISZERO
00000e0d: PUSH2 0x0100
00000e10: MUL
00000e11: SUB
00000e12: AND
00000e13: PUSH1 0x02
00000e15: SWAP1
00000e16: DIV
00000e17: DUP1
00000e18: PUSH1 0x1f
00000e1a: ADD
00000e1b: PUSH1 0x20
00000e1d: DUP1
00000e1e: SWAP2
00000e1f: DIV
00000e20: MUL
00000e21: PUSH1 0x20
00000e23: ADD
00000e24: PUSH1 0x40
00000e26: MLOAD
00000e27: SWAP1
00000e28: DUP2
00000e29: ADD
00000e2a: PUSH1 0x40
00000e2c: MSTORE
00000e2d: DUP1
00000e2e: SWAP3
00000e2f: SWAP2
00000e30: SWAP1
00000e31: DUP2
00000e32: DUP2
00000e33: MSTORE
00000e34: PUSH1 0x20
00000e36: ADD
00000e37: DUP3
00000e38: DUP1
00000e39: SLOAD
00000e3a: PUSH1 0x01
00000e3c: DUP2
00000e3d: PUSH1 0x01
00000e3f: AND
00000e40: ISZERO
00000e41: PUSH2 0x0100
00000e44: MUL
00000e45: SUB
00000e46: AND
00000e47: PUSH1 0x02
00000e49: SWAP1
00000e4a: DIV
00000e4b: DUP1
00000e4c: ISZERO
00000e4d: PUSH2 0x0e97
00000e50: JUMPI
00000e51: DUP1
00000e52: PUSH1 0x1f
00000e54: LT
00000e55: PUSH2 0x0e6c
00000e58: JUMPI
00000e59: PUSH2 0x0100
00000e5c: DUP1
00000e5d: DUP4
00000e5e: SLOAD
00000e5f: DIV
00000e60: MUL
00000e61: DUP4
00000e62: MSTORE
00000e63: SWAP2
00000e64: PUSH1 0x20
00000e66: ADD
00000e67: SWAP2
00000e68: PUSH2 0x0e97
00000e6b: JUMP
00000e6c: JUMPDEST
00000e6d: DUP3
00000e6e: ADD
00000e6f: SWAP2
00000e70: SWAP1
00000e71: PUSH1 0x00
00000e73: MSTORE
00000e74: PUSH1 0x20
00000e76: PUSH1 0x00
00000e78: KECCAK256
00000e79: SWAP1
00000e7a: JUMPDEST
00000e7b: DUP2
00000e7c: SLOAD
00000e7d: DUP2
00000e7e: MSTORE
00000e7f: SWAP1
00000e80: PUSH1 0x01
00000e82: ADD
00000e83: SWAP1
00000e84: PUSH1 0x20
00000e86: ADD
00000e87: DUP1
00000e88: DUP4
00000e89: GT
00000e8a: PUSH2 0x0e7a
00000e8d: JUMPI
00000e8e: DUP3
00000e8f: SWAP1
00000e90: SUB
00000e91: PUSH1 0x1f
00000e93: AND
00000e94: DUP3
00000e95: ADD
00000e96: SWAP2
00000e97: JUMPDEST
00000e98: POP
00000e99: POP
00000e9a: POP
00000e9b: POP
00000e9c: POP
00000e9d: DUP4
00000e9e: PUSH1 0x02
00000ea0: ADD
00000ea1: PUSH1 0x00
00000ea3: POP
00000ea4: SLOAD
00000ea5: PUSH2 0x12a8
00000ea8: JUMP
00000ea9: JUMPDEST
00000eaa: DUP1
00000eab: PUSH1 0x06
00000ead: PUSH1 0x00
00000eaf: POP
00000eb0: PUSH1 0x00
00000eb2: DUP5
00000eb3: DUP2
00000eb4: MSTORE
00000eb5: PUSH1 0x20
00000eb7: ADD
00000eb8: SWAP1
00000eb9: DUP2
00000eba: MSTORE
00000ebb: PUSH1 0x20
00000ebd: ADD
00000ebe: PUSH1 0x00
00000ec0: KECCAK256
00000ec1: PUSH1 0x00
00000ec3: POP
00000ec4: PUSH1 0x00
00000ec6: DUP3
00000ec7: ADD
00000ec8: PUSH1 0x00
00000eca: SWAP1
00000ecb: SLOAD
00000ecc: SWAP1
00000ecd: PUSH2 0x0100
00000ed0: EXP
00000ed1: SWAP1
00000ed2: DIV
00000ed3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ee8: AND
00000ee9: DUP2
00000eea: PUSH1 0x00
00000eec: ADD
00000eed: PUSH1 0x00
00000eef: PUSH2 0x0100
00000ef2: EXP
00000ef3: DUP2
00000ef4: SLOAD
00000ef5: DUP2
00000ef6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f0b: MUL
00000f0c: NOT
00000f0d: AND
00000f0e: SWAP1
00000f0f: DUP4
00000f10: MUL
00000f11: OR
00000f12: SWAP1
00000f13: SSTORE
00000f14: POP
00000f15: PUSH1 0x01
00000f17: DUP3
00000f18: ADD
00000f19: PUSH1 0x00
00000f1b: POP
00000f1c: DUP2
00000f1d: PUSH1 0x01
00000f1f: ADD
00000f20: PUSH1 0x00
00000f22: POP
00000f23: SWAP1
00000f24: DUP1
00000f25: SLOAD
00000f26: PUSH1 0x01
00000f28: DUP2
00000f29: PUSH1 0x01
00000f2b: AND
00000f2c: ISZERO
00000f2d: PUSH2 0x0100
00000f30: MUL
00000f31: SUB
00000f32: AND
00000f33: PUSH1 0x02
00000f35: SWAP1
00000f36: DIV
00000f37: DUP3
00000f38: DUP1
00000f39: SLOAD
00000f3a: PUSH1 0x01
00000f3c: DUP2
00000f3d: PUSH1 0x01
00000f3f: AND
00000f40: ISZERO
00000f41: PUSH2 0x0100
00000f44: MUL
00000f45: SUB
00000f46: AND
00000f47: PUSH1 0x02
00000f49: SWAP1
00000f4a: DIV
00000f4b: SWAP1
00000f4c: PUSH1 0x00
00000f4e: MSTORE
00000f4f: PUSH1 0x20
00000f51: PUSH1 0x00
00000f53: KECCAK256
00000f54: SWAP1
00000f55: PUSH1 0x1f
00000f57: ADD
00000f58: PUSH1 0x20
00000f5a: SWAP1
00000f5b: DIV
00000f5c: DUP2
00000f5d: ADD
00000f5e: SWAP3
00000f5f: DUP3
00000f60: PUSH1 0x1f
00000f62: LT
00000f63: PUSH2 0x0f6f
00000f66: JUMPI
00000f67: DUP1
00000f68: SLOAD
00000f69: DUP6
00000f6a: SSTORE
00000f6b: PUSH2 0x0fac
00000f6e: JUMP
00000f6f: JUMPDEST
00000f70: DUP3
00000f71: DUP1
00000f72: ADD
00000f73: PUSH1 0x01
00000f75: ADD
00000f76: DUP6
00000f77: SSTORE
00000f78: DUP3
00000f79: ISZERO
00000f7a: PUSH2 0x0fac
00000f7d: JUMPI
00000f7e: PUSH1 0x00
00000f80: MSTORE
00000f81: PUSH1 0x20
00000f83: PUSH1 0x00
00000f85: KECCAK256
00000f86: SWAP2
00000f87: PUSH1 0x1f
00000f89: ADD
00000f8a: PUSH1 0x20
00000f8c: SWAP1
00000f8d: DIV
00000f8e: DUP3
00000f8f: ADD
00000f90: JUMPDEST
00000f91: DUP3
00000f92: DUP2
00000f93: GT
00000f94: ISZERO
00000f95: PUSH2 0x0fab
00000f98: JUMPI
00000f99: DUP3
00000f9a: SLOAD
00000f9b: DUP3
00000f9c: SSTORE
00000f9d: SWAP2
00000f9e: PUSH1 0x01
00000fa0: ADD
00000fa1: SWAP2
00000fa2: SWAP1
00000fa3: PUSH1 0x01
00000fa5: ADD
00000fa6: SWAP1
00000fa7: PUSH2 0x0f90
00000faa: JUMP
00000fab: JUMPDEST
00000fac: JUMPDEST
00000fad: POP
00000fae: SWAP1
00000faf: POP
00000fb0: PUSH2 0x0fd7
00000fb3: SWAP2
00000fb4: SWAP1
00000fb5: PUSH2 0x0fb9
00000fb8: JUMP
00000fb9: JUMPDEST
00000fba: DUP1
00000fbb: DUP3
00000fbc: GT
00000fbd: ISZERO
00000fbe: PUSH2 0x0fd3
00000fc1: JUMPI
00000fc2: PUSH1 0x00
00000fc4: DUP2
00000fc5: DUP2
00000fc6: POP
00000fc7: PUSH1 0x00
00000fc9: SWAP1
00000fca: SSTORE
00000fcb: POP
00000fcc: PUSH1 0x01
00000fce: ADD
00000fcf: PUSH2 0x0fb9
00000fd2: JUMP
00000fd3: JUMPDEST
00000fd4: POP
00000fd5: SWAP1
00000fd6: JUMP
00000fd7: JUMPDEST
00000fd8: POP
00000fd9: POP
00000fda: PUSH1 0x02
00000fdc: DUP3
00000fdd: ADD
00000fde: PUSH1 0x00
00000fe0: POP
00000fe1: SLOAD
00000fe2: DUP2
00000fe3: PUSH1 0x02
00000fe5: ADD
00000fe6: PUSH1 0x00
00000fe8: POP
00000fe9: SSTORE
00000fea: PUSH1 0x03
00000fec: DUP3
00000fed: ADD
00000fee: PUSH1 0x00
00000ff0: POP
00000ff1: SLOAD
00000ff2: DUP2
00000ff3: PUSH1 0x03
00000ff5: ADD
00000ff6: PUSH1 0x00
00000ff8: POP
00000ff9: SSTORE
00000ffa: PUSH1 0x04
00000ffc: DUP3
00000ffd: ADD
00000ffe: PUSH1 0x00
00001000: POP
00001001: SLOAD
00001002: DUP2
00001003: PUSH1 0x04
00001005: ADD
00001006: PUSH1 0x00
00001008: POP
00001009: SSTORE
0000100a: PUSH1 0x05
0000100c: DUP3
0000100d: ADD
0000100e: PUSH1 0x00
00001010: SWAP1
00001011: SLOAD
00001012: SWAP1
00001013: PUSH2 0x0100
00001016: EXP
00001017: SWAP1
00001018: DIV
00001019: PUSH1 0xff
0000101b: AND
0000101c: DUP2
0000101d: PUSH1 0x05
0000101f: ADD
00001020: PUSH1 0x00
00001022: PUSH2 0x0100
00001025: EXP
00001026: DUP2
00001027: SLOAD
00001028: DUP2
00001029: PUSH1 0xff
0000102b: MUL
0000102c: NOT
0000102d: AND
0000102e: SWAP1
0000102f: DUP4
00001030: MUL
00001031: OR
00001032: SWAP1
00001033: SSTORE
00001034: POP
00001035: SWAP1
00001036: POP
00001037: POP
00001038: DUP2
00001039: PUSH32 0xcdeba0448cafa891383055f46f2fec420e049fab5171b5b30b5458c0320f68fb
0000105a: PUSH1 0x40
0000105c: MLOAD
0000105d: DUP1
0000105e: SWAP1
0000105f: POP
00001060: PUSH1 0x40
00001062: MLOAD
00001063: DUP1
00001064: SWAP2
00001065: SUB
00001066: SWAP1
00001067: LOG2
00001068: JUMPDEST
00001069: POP
0000106a: POP
0000106b: JUMP
0000106c: JUMPDEST
0000106d: PUSH1 0x00
0000106f: PUSH1 0x00
00001071: PUSH1 0x00
00001073: PUSH1 0x00
00001075: PUSH1 0x00
00001077: PUSH1 0x00
00001079: PUSH1 0x06
0000107b: PUSH1 0x00
0000107d: POP
0000107e: PUSH1 0x00
00001080: DUP9
00001081: DUP2
00001082: MSTORE
00001083: PUSH1 0x20
00001085: ADD
00001086: SWAP1
00001087: DUP2
00001088: MSTORE
00001089: PUSH1 0x20
0000108b: ADD
0000108c: PUSH1 0x00
0000108e: KECCAK256
0000108f: PUSH1 0x00
00001091: POP
00001092: SWAP1
00001093: POP
00001094: DUP1
00001095: PUSH1 0x03
00001097: ADD
00001098: PUSH1 0x00
0000109a: POP
0000109b: SLOAD
0000109c: DUP2
0000109d: PUSH1 0x04
0000109f: ADD
000010a0: PUSH1 0x00
000010a2: POP
000010a3: SLOAD
000010a4: DUP3
000010a5: PUSH1 0x05
000010a7: ADD
000010a8: PUSH1 0x00
000010aa: SWAP1
000010ab: SLOAD
000010ac: SWAP1
000010ad: PUSH2 0x0100
000010b0: EXP
000010b1: SWAP1
000010b2: DIV
000010b3: PUSH1 0xff
000010b5: AND
000010b6: DUP4
000010b7: PUSH1 0x00
000010b9: ADD
000010ba: PUSH1 0x00
000010bc: SWAP1
000010bd: SLOAD
000010be: SWAP1
000010bf: PUSH2 0x0100
000010c2: EXP
000010c3: SWAP1
000010c4: DIV
000010c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010da: AND
000010db: DUP5
000010dc: PUSH1 0x02
000010de: ADD
000010df: PUSH1 0x00
000010e1: POP
000010e2: SLOAD
000010e3: SWAP6
000010e4: POP
000010e5: SWAP6
000010e6: POP
000010e7: SWAP6
000010e8: POP
000010e9: SWAP6
000010ea: POP
000010eb: SWAP6
000010ec: POP
000010ed: PUSH2 0x10f1
000010f0: JUMP
000010f1: JUMPDEST
000010f2: POP
000010f3: SWAP2
000010f4: SWAP4
000010f5: SWAP6
000010f6: SWAP1
000010f7: SWAP3
000010f8: SWAP5
000010f9: POP
000010fa: JUMP
000010fb: JUMPDEST
000010fc: PUSH1 0x00
000010fe: PUSH1 0x00
00001100: PUSH1 0x00
00001102: PUSH1 0x00
00001104: SWAP1
00001105: SLOAD
00001106: SWAP1
00001107: PUSH2 0x0100
0000110a: EXP
0000110b: SWAP1
0000110c: DIV
0000110d: PUSH1 0xff
0000110f: AND
00001110: EQ
00001111: ISZERO
00001112: PUSH2 0x116d
00001115: JUMPI
00001116: PUSH1 0x00
00001118: PUSH1 0x01
0000111a: SWAP1
0000111b: SLOAD
0000111c: SWAP1
0000111d: PUSH2 0x0100
00001120: EXP
00001121: SWAP1
00001122: DIV
00001123: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001138: AND
00001139: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000114e: AND
0000114f: CALLER
00001150: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001165: AND
00001166: EQ
00001167: SWAP1
00001168: POP
00001169: PUSH2 0x12a5
0000116c: JUMP
0000116d: JUMPDEST
0000116e: PUSH1 0x01
00001170: PUSH1 0x00
00001172: PUSH1 0x00
00001174: SWAP1
00001175: SLOAD
00001176: SWAP1
00001177: PUSH2 0x0100
0000117a: EXP
0000117b: SWAP1
0000117c: DIV
0000117d: PUSH1 0xff
0000117f: AND
00001180: EQ
00001181: ISZERO
00001182: PUSH2 0x12a0
00001185: JUMPI
00001186: PUSH1 0x00
00001188: PUSH1 0x01
0000118a: SWAP1
0000118b: SLOAD
0000118c: SWAP1
0000118d: PUSH2 0x0100
00001190: EXP
00001191: SWAP1
00001192: DIV
00001193: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011a8: AND
000011a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011be: AND
000011bf: PUSH4 0xb7009613
000011c4: CALLER
000011c5: ADDRESS
000011c6: PUSH1 0x00
000011c8: CALLDATALOAD
000011c9: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
000011ea: AND
000011eb: PUSH1 0x40
000011ed: MLOAD
000011ee: DUP5
000011ef: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000120d: MUL
0000120e: DUP2
0000120f: MSTORE
00001210: PUSH1 0x04
00001212: ADD
00001213: DUP1
00001214: DUP5
00001215: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000122a: AND
0000122b: DUP2
0000122c: MSTORE
0000122d: PUSH1 0x20
0000122f: ADD
00001230: DUP4
00001231: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001246: AND
00001247: DUP2
00001248: MSTORE
00001249: PUSH1 0x20
0000124b: ADD
0000124c: DUP3
0000124d: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000126a: NOT
0000126b: AND
0000126c: DUP2
0000126d: MSTORE
0000126e: PUSH1 0x20
00001270: ADD
00001271: SWAP4
00001272: POP
00001273: POP
00001274: POP
00001275: POP
00001276: PUSH1 0x20
00001278: PUSH1 0x40
0000127a: MLOAD
0000127b: DUP1
0000127c: DUP4
0000127d: SUB
0000127e: DUP2
0000127f: PUSH1 0x00
00001281: DUP8
00001282: PUSH2 0x61da
00001285: GAS
00001286: SUB
00001287: CALL
00001288: ISZERO
00001289: PUSH2 0x0002
0000128c: JUMPI
0000128d: POP
0000128e: POP
0000128f: POP
00001290: PUSH1 0x40
00001292: MLOAD
00001293: DUP1
00001294: MLOAD
00001295: SWAP1
00001296: PUSH1 0x20
00001298: ADD
00001299: POP
0000129a: SWAP1
0000129b: POP
0000129c: PUSH2 0x12a5
0000129f: JUMP
000012a0: JUMPDEST
000012a1: PUSH2 0x0002
000012a4: JUMP
000012a5: JUMPDEST
000012a6: SWAP1
000012a7: JUMP
000012a8: JUMPDEST
000012a9: PUSH2 0x12b3
000012ac: DUP4
000012ad: DUP4
000012ae: DUP4
000012af: PUSH2 0x12c4
000012b2: JUMP
000012b3: JUMPDEST
000012b4: ISZERO
000012b5: ISZERO
000012b6: PUSH2 0x12be
000012b9: JUMPI
000012ba: PUSH2 0x0002
000012bd: JUMP
000012be: JUMPDEST
000012bf: JUMPDEST
000012c0: POP
000012c1: POP
000012c2: POP
000012c3: JUMP
000012c4: JUMPDEST
000012c5: PUSH1 0x00
000012c7: DUP4
000012c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012dd: AND
000012de: DUP3
000012df: DUP5
000012e0: PUSH1 0x40
000012e2: MLOAD
000012e3: DUP1
000012e4: DUP3
000012e5: DUP1
000012e6: MLOAD
000012e7: SWAP1
000012e8: PUSH1 0x20
000012ea: ADD
000012eb: SWAP1
000012ec: DUP1
000012ed: DUP4
000012ee: DUP4
000012ef: DUP3
000012f0: SWAP1
000012f1: PUSH1 0x00
000012f3: PUSH1 0x04
000012f5: PUSH1 0x20
000012f7: DUP5
000012f8: PUSH1 0x1f
000012fa: ADD
000012fb: DIV
000012fc: PUSH1 0x03
000012fe: MUL
000012ff: PUSH1 0x0f
00001301: ADD
00001302: CALL
00001303: POP
00001304: SWAP1
00001305: POP
00001306: SWAP1
00001307: DUP2
00001308: ADD
00001309: SWAP1
0000130a: PUSH1 0x1f
0000130c: AND
0000130d: DUP1
0000130e: ISZERO
0000130f: PUSH2 0x132c
00001312: JUMPI
00001313: DUP1
00001314: DUP3
00001315: SUB
00001316: DUP1
00001317: MLOAD
00001318: PUSH1 0x01
0000131a: DUP4
0000131b: PUSH1 0x20
0000131d: SUB
0000131e: PUSH2 0x0100
00001321: EXP
00001322: SUB
00001323: NOT
00001324: AND
00001325: DUP2
00001326: MSTORE
00001327: PUSH1 0x20
00001329: ADD
0000132a: SWAP2
0000132b: POP
0000132c: JUMPDEST
0000132d: POP
0000132e: SWAP2
0000132f: POP
00001330: POP
00001331: PUSH1 0x00
00001333: PUSH1 0x40
00001335: MLOAD
00001336: DUP1
00001337: DUP4
00001338: SUB
00001339: DUP2
0000133a: DUP6
0000133b: DUP8
0000133c: PUSH2 0x8502
0000133f: GAS
00001340: SUB
00001341: CALL
00001342: SWAP3
00001343: POP
00001344: POP
00001345: POP
00001346: SWAP1
00001347: POP
00001348: PUSH2 0x134c
0000134b: JUMP
0000134c: JUMPDEST
0000134d: SWAP4
0000134e: SWAP3
0000134f: POP
00001350: POP
00001351: POP
00001352: 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.