Analysis Run

OpenAI Codex v0.118.0 (research preview)
--------
workdir: /tmp/codex-r5a5427z
model: gpt-5.4
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: none
session id: 019d5c8f-e002-7d01-b269-39e0d4173fca
--------
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:33:47.803934+00:00",
        "returncode": 1
    },
    "project": {
        "mode": "bytecode",
        "bytecode_length": 9848,
        "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 0x0288
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0xc2205ee1
0000006b: EQ
0000006c: PUSH2 0x02b4
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xc7d6faf1
00000076: EQ
00000077: PUSH2 0x02ed
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xca6d56dc
00000081: EQ
00000082: PUSH2 0x0322
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xd551f601
0000008c: EQ
0000008d: PUSH2 0x033a
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xed684cc6
00000097: EQ
00000098: PUSH2 0x035d
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0xf6d5959b
000000a2: EQ
000000a3: PUSH2 0x0375
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 0x06dd
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 0x053a
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 0x105c
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 0x04f2
00000271: JUMP
00000272: JUMPDEST
00000273: PUSH1 0x40
00000275: MLOAD
00000276: DUP1
00000277: DUP3
00000278: DUP2
00000279: MSTORE
0000027a: PUSH1 0x20
0000027c: ADD
0000027d: SWAP2
0000027e: POP
0000027f: POP
00000280: PUSH1 0x40
00000282: MLOAD
00000283: DUP1
00000284: SWAP2
00000285: SUB
00000286: SWAP1
00000287: RETURN
00000288: JUMPDEST
00000289: PUSH2 0x029e
0000028c: PUSH1 0x04
0000028e: DUP1
0000028f: DUP1
00000290: CALLDATALOAD
00000291: SWAP1
00000292: PUSH1 0x20
00000294: ADD
00000295: SWAP1
00000296: SWAP2
00000297: SWAP1
00000298: POP
00000299: POP
0000029a: PUSH2 0x0984
0000029d: JUMP
0000029e: JUMPDEST
0000029f: PUSH1 0x40
000002a1: MLOAD
000002a2: DUP1
000002a3: DUP3
000002a4: DUP2
000002a5: MSTORE
000002a6: PUSH1 0x20
000002a8: ADD
000002a9: SWAP2
000002aa: POP
000002ab: POP
000002ac: PUSH1 0x40
000002ae: MLOAD
000002af: DUP1
000002b0: SWAP2
000002b1: SUB
000002b2: SWAP1
000002b3: RETURN
000002b4: JUMPDEST
000002b5: PUSH2 0x02c1
000002b8: PUSH1 0x04
000002ba: DUP1
000002bb: POP
000002bc: POP
000002bd: PUSH2 0x1036
000002c0: JUMP
000002c1: JUMPDEST
000002c2: PUSH1 0x40
000002c4: MLOAD
000002c5: DUP1
000002c6: DUP3
000002c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002dc: AND
000002dd: DUP2
000002de: MSTORE
000002df: PUSH1 0x20
000002e1: ADD
000002e2: SWAP2
000002e3: POP
000002e4: POP
000002e5: PUSH1 0x40
000002e7: MLOAD
000002e8: DUP1
000002e9: SWAP2
000002ea: SUB
000002eb: SWAP1
000002ec: RETURN
000002ed: JUMPDEST
000002ee: PUSH2 0x030c
000002f1: PUSH1 0x04
000002f3: DUP1
000002f4: DUP1
000002f5: CALLDATALOAD
000002f6: SWAP1
000002f7: PUSH1 0x20
000002f9: ADD
000002fa: SWAP1
000002fb: SWAP2
000002fc: SWAP1
000002fd: DUP1
000002fe: CALLDATALOAD
000002ff: SWAP1
00000300: PUSH1 0x20
00000302: ADD
00000303: SWAP1
00000304: SWAP2
00000305: SWAP1
00000306: POP
00000307: POP
00000308: PUSH2 0x05fc
0000030b: JUMP
0000030c: JUMPDEST
0000030d: PUSH1 0x40
0000030f: MLOAD
00000310: DUP1
00000311: DUP3
00000312: DUP2
00000313: MSTORE
00000314: PUSH1 0x20
00000316: ADD
00000317: SWAP2
00000318: POP
00000319: POP
0000031a: PUSH1 0x40
0000031c: MLOAD
0000031d: DUP1
0000031e: SWAP2
0000031f: SUB
00000320: SWAP1
00000321: RETURN
00000322: JUMPDEST
00000323: PUSH2 0x0338
00000326: PUSH1 0x04
00000328: DUP1
00000329: DUP1
0000032a: CALLDATALOAD
0000032b: SWAP1
0000032c: PUSH1 0x20
0000032e: ADD
0000032f: SWAP1
00000330: SWAP2
00000331: SWAP1
00000332: POP
00000333: POP
00000334: PUSH2 0x03d3
00000337: JUMP
00000338: JUMPDEST
00000339: STOP
0000033a: JUMPDEST
0000033b: PUSH2 0x0347
0000033e: PUSH1 0x04
00000340: DUP1
00000341: POP
00000342: POP
00000343: PUSH2 0x1023
00000346: JUMP
00000347: JUMPDEST
00000348: PUSH1 0x40
0000034a: MLOAD
0000034b: DUP1
0000034c: DUP3
0000034d: DUP2
0000034e: MSTORE
0000034f: PUSH1 0x20
00000351: ADD
00000352: SWAP2
00000353: POP
00000354: POP
00000355: PUSH1 0x40
00000357: MLOAD
00000358: DUP1
00000359: SWAP2
0000035a: SUB
0000035b: SWAP1
0000035c: RETURN
0000035d: JUMPDEST
0000035e: PUSH2 0x0373
00000361: PUSH1 0x04
00000363: DUP1
00000364: DUP1
00000365: CALLDATALOAD
00000366: SWAP1
00000367: PUSH1 0x20
00000369: ADD
0000036a: SWAP1
0000036b: SWAP2
0000036c: SWAP1
0000036d: POP
0000036e: POP
0000036f: PUSH2 0x0cdf
00000372: JUMP
00000373: JUMPDEST
00000374: STOP
00000375: JUMPDEST
00000376: PUSH2 0x038b
00000379: PUSH1 0x04
0000037b: DUP1
0000037c: DUP1
0000037d: CALLDATALOAD
0000037e: SWAP1
0000037f: PUSH1 0x20
00000381: ADD
00000382: SWAP1
00000383: SWAP2
00000384: SWAP1
00000385: POP
00000386: POP
00000387: PUSH2 0x056d
0000038a: JUMP
0000038b: JUMPDEST
0000038c: PUSH1 0x40
0000038e: MLOAD
0000038f: DUP1
00000390: DUP7
00000391: DUP2
00000392: MSTORE
00000393: PUSH1 0x20
00000395: ADD
00000396: DUP6
00000397: DUP2
00000398: MSTORE
00000399: PUSH1 0x20
0000039b: ADD
0000039c: DUP5
0000039d: DUP2
0000039e: MSTORE
0000039f: PUSH1 0x20
000003a1: ADD
000003a2: DUP4
000003a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003b8: AND
000003b9: DUP2
000003ba: MSTORE
000003bb: PUSH1 0x20
000003bd: ADD
000003be: DUP3
000003bf: DUP2
000003c0: MSTORE
000003c1: PUSH1 0x20
000003c3: ADD
000003c4: SWAP6
000003c5: POP
000003c6: POP
000003c7: POP
000003c8: POP
000003c9: POP
000003ca: POP
000003cb: PUSH1 0x40
000003cd: MLOAD
000003ce: DUP1
000003cf: SWAP2
000003d0: SUB
000003d1: SWAP1
000003d2: RETURN
000003d3: JUMPDEST
000003d4: PUSH2 0x03db
000003d7: PUSH2 0x111e
000003da: JUMP
000003db: JUMPDEST
000003dc: ISZERO
000003dd: PUSH2 0x04e9
000003e0: JUMPI
000003e1: PUSH1 0x09
000003e3: PUSH1 0x00
000003e5: POP
000003e6: PUSH1 0x00
000003e8: DUP3
000003e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003fe: AND
000003ff: DUP2
00000400: MSTORE
00000401: PUSH1 0x20
00000403: ADD
00000404: SWAP1
00000405: DUP2
00000406: MSTORE
00000407: PUSH1 0x20
00000409: ADD
0000040a: PUSH1 0x00
0000040c: KECCAK256
0000040d: PUSH1 0x00
0000040f: SWAP1
00000410: SLOAD
00000411: SWAP1
00000412: PUSH2 0x0100
00000415: EXP
00000416: SWAP1
00000417: DIV
00000418: PUSH1 0xff
0000041a: AND
0000041b: ISZERO
0000041c: PUSH2 0x0424
0000041f: JUMPI
00000420: PUSH2 0x0002
00000423: JUMP
00000424: JUMPDEST
00000425: PUSH1 0x01
00000427: PUSH1 0x09
00000429: PUSH1 0x00
0000042b: POP
0000042c: PUSH1 0x00
0000042e: DUP4
0000042f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000444: AND
00000445: DUP2
00000446: MSTORE
00000447: PUSH1 0x20
00000449: ADD
0000044a: SWAP1
0000044b: DUP2
0000044c: MSTORE
0000044d: PUSH1 0x20
0000044f: ADD
00000450: PUSH1 0x00
00000452: KECCAK256
00000453: PUSH1 0x00
00000455: PUSH2 0x0100
00000458: EXP
00000459: DUP2
0000045a: SLOAD
0000045b: DUP2
0000045c: PUSH1 0xff
0000045e: MUL
0000045f: NOT
00000460: AND
00000461: SWAP1
00000462: DUP4
00000463: MUL
00000464: OR
00000465: SWAP1
00000466: SSTORE
00000467: POP
00000468: PUSH32 0xb251eb052afc73ffd02ffe85ad79990a8b3fed60d76dbc2fa2fdd7123dffd914
00000489: DUP2
0000048a: PUSH1 0x40
0000048c: MLOAD
0000048d: DUP1
0000048e: DUP3
0000048f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004a4: AND
000004a5: DUP2
000004a6: MSTORE
000004a7: PUSH1 0x20
000004a9: ADD
000004aa: SWAP2
000004ab: POP
000004ac: POP
000004ad: PUSH1 0x40
000004af: MLOAD
000004b0: DUP1
000004b1: SWAP2
000004b2: SUB
000004b3: SWAP1
000004b4: LOG1
000004b5: PUSH1 0x03
000004b7: PUSH1 0x00
000004b9: DUP2
000004ba: DUP2
000004bb: POP
000004bc: SLOAD
000004bd: DUP1
000004be: SWAP3
000004bf: SWAP2
000004c0: SWAP1
000004c1: PUSH1 0x01
000004c3: SWAP1
000004c4: SUB
000004c5: SWAP2
000004c6: SWAP1
000004c7: POP
000004c8: SSTORE
000004c9: POP
000004ca: PUSH1 0x00
000004cc: PUSH1 0x03
000004ce: PUSH1 0x00
000004d0: POP
000004d1: SLOAD
000004d2: EQ
000004d3: ISZERO
000004d4: PUSH2 0x04e4
000004d7: JUMPI
000004d8: PUSH2 0x04e3
000004db: PUSH1 0x00
000004dd: PUSH1 0x00
000004df: PUSH2 0x105c
000004e2: JUMP
000004e3: JUMPDEST
000004e4: JUMPDEST
000004e5: PUSH2 0x04ee
000004e8: JUMP
000004e9: JUMPDEST
000004ea: PUSH2 0x0002
000004ed: JUMP
000004ee: JUMPDEST
000004ef: JUMPDEST
000004f0: POP
000004f1: JUMP
000004f2: JUMPDEST
000004f3: PUSH1 0x00
000004f5: PUSH1 0x09
000004f7: PUSH1 0x00
000004f9: POP
000004fa: PUSH1 0x00
000004fc: DUP4
000004fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000512: AND
00000513: DUP2
00000514: MSTORE
00000515: PUSH1 0x20
00000517: ADD
00000518: SWAP1
00000519: DUP2
0000051a: MSTORE
0000051b: PUSH1 0x20
0000051d: ADD
0000051e: PUSH1 0x00
00000520: KECCAK256
00000521: PUSH1 0x00
00000523: SWAP1
00000524: SLOAD
00000525: SWAP1
00000526: PUSH2 0x0100
00000529: EXP
0000052a: SWAP1
0000052b: DIV
0000052c: PUSH1 0xff
0000052e: AND
0000052f: SWAP1
00000530: POP
00000531: PUSH2 0x0535
00000534: JUMP
00000535: JUMPDEST
00000536: SWAP2
00000537: SWAP1
00000538: POP
00000539: JUMP
0000053a: JUMPDEST
0000053b: PUSH1 0x00
0000053d: PUSH1 0x00
0000053f: PUSH1 0x00
00000541: PUSH1 0x00
00000543: PUSH1 0x01
00000545: PUSH1 0x00
00000547: POP
00000548: SLOAD
00000549: PUSH1 0x02
0000054b: PUSH1 0x00
0000054d: POP
0000054e: SLOAD
0000054f: PUSH1 0x04
00000551: PUSH1 0x00
00000553: POP
00000554: SLOAD
00000555: PUSH1 0x05
00000557: PUSH1 0x00
00000559: POP
0000055a: SLOAD
0000055b: SWAP4
0000055c: POP
0000055d: SWAP4
0000055e: POP
0000055f: SWAP4
00000560: POP
00000561: SWAP4
00000562: POP
00000563: PUSH2 0x0567
00000566: JUMP
00000567: JUMPDEST
00000568: SWAP1
00000569: SWAP2
0000056a: SWAP3
0000056b: SWAP4
0000056c: JUMP
0000056d: JUMPDEST
0000056e: PUSH1 0x00
00000570: PUSH1 0x00
00000572: PUSH1 0x00
00000574: PUSH1 0x00
00000576: PUSH1 0x00
00000578: PUSH1 0x00
0000057a: PUSH1 0x06
0000057c: PUSH1 0x00
0000057e: POP
0000057f: PUSH1 0x00
00000581: DUP9
00000582: DUP2
00000583: MSTORE
00000584: PUSH1 0x20
00000586: ADD
00000587: SWAP1
00000588: DUP2
00000589: MSTORE
0000058a: PUSH1 0x20
0000058c: ADD
0000058d: PUSH1 0x00
0000058f: KECCAK256
00000590: PUSH1 0x00
00000592: POP
00000593: SWAP1
00000594: POP
00000595: DUP1
00000596: PUSH1 0x03
00000598: ADD
00000599: PUSH1 0x00
0000059b: POP
0000059c: SLOAD
0000059d: DUP2
0000059e: PUSH1 0x04
000005a0: ADD
000005a1: PUSH1 0x00
000005a3: POP
000005a4: SLOAD
000005a5: DUP3
000005a6: PUSH1 0x05
000005a8: ADD
000005a9: PUSH1 0x00
000005ab: SWAP1
000005ac: SLOAD
000005ad: SWAP1
000005ae: PUSH2 0x0100
000005b1: EXP
000005b2: SWAP1
000005b3: DIV
000005b4: PUSH1 0xff
000005b6: AND
000005b7: DUP4
000005b8: PUSH1 0x00
000005ba: ADD
000005bb: PUSH1 0x00
000005bd: SWAP1
000005be: SLOAD
000005bf: SWAP1
000005c0: PUSH2 0x0100
000005c3: EXP
000005c4: SWAP1
000005c5: DIV
000005c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005db: AND
000005dc: DUP5
000005dd: PUSH1 0x02
000005df: ADD
000005e0: PUSH1 0x00
000005e2: POP
000005e3: SLOAD
000005e4: SWAP6
000005e5: POP
000005e6: SWAP6
000005e7: POP
000005e8: SWAP6
000005e9: POP
000005ea: SWAP6
000005eb: POP
000005ec: SWAP6
000005ed: POP
000005ee: PUSH2 0x05f2
000005f1: JUMP
000005f2: JUMPDEST
000005f3: POP
000005f4: SWAP2
000005f5: SWAP4
000005f6: SWAP6
000005f7: SWAP1
000005f8: SWAP3
000005f9: SWAP5
000005fa: POP
000005fb: JUMP
000005fc: JUMPDEST
000005fd: PUSH1 0x00
000005ff: PUSH2 0x06d0
00000602: DUP4
00000603: PUSH1 0x08
00000605: PUSH1 0x00
00000607: POP
00000608: PUSH1 0x00
0000060a: CALLER
0000060b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000620: AND
00000621: DUP2
00000622: MSTORE
00000623: PUSH1 0x20
00000625: ADD
00000626: SWAP1
00000627: DUP2
00000628: MSTORE
00000629: PUSH1 0x20
0000062b: ADD
0000062c: PUSH1 0x00
0000062e: KECCAK256
0000062f: PUSH1 0x00
00000631: POP
00000632: DUP1
00000633: SLOAD
00000634: PUSH1 0x01
00000636: DUP2
00000637: PUSH1 0x01
00000639: AND
0000063a: ISZERO
0000063b: PUSH2 0x0100
0000063e: MUL
0000063f: SUB
00000640: AND
00000641: PUSH1 0x02
00000643: SWAP1
00000644: DIV
00000645: DUP1
00000646: PUSH1 0x1f
00000648: ADD
00000649: PUSH1 0x20
0000064b: DUP1
0000064c: SWAP2
0000064d: DIV
0000064e: MUL
0000064f: PUSH1 0x20
00000651: ADD
00000652: PUSH1 0x40
00000654: MLOAD
00000655: SWAP1
00000656: DUP2
00000657: ADD
00000658: PUSH1 0x40
0000065a: MSTORE
0000065b: DUP1
0000065c: SWAP3
0000065d: SWAP2
0000065e: SWAP1
0000065f: DUP2
00000660: DUP2
00000661: MSTORE
00000662: PUSH1 0x20
00000664: ADD
00000665: DUP3
00000666: DUP1
00000667: SLOAD
00000668: PUSH1 0x01
0000066a: DUP2
0000066b: PUSH1 0x01
0000066d: AND
0000066e: ISZERO
0000066f: PUSH2 0x0100
00000672: MUL
00000673: SUB
00000674: AND
00000675: PUSH1 0x02
00000677: SWAP1
00000678: DIV
00000679: DUP1
0000067a: ISZERO
0000067b: PUSH2 0x06c5
0000067e: JUMPI
0000067f: DUP1
00000680: PUSH1 0x1f
00000682: LT
00000683: PUSH2 0x069a
00000686: JUMPI
00000687: PUSH2 0x0100
0000068a: DUP1
0000068b: DUP4
0000068c: SLOAD
0000068d: DIV
0000068e: MUL
0000068f: DUP4
00000690: MSTORE
00000691: SWAP2
00000692: PUSH1 0x20
00000694: ADD
00000695: SWAP2
00000696: PUSH2 0x06c5
00000699: JUMP
0000069a: JUMPDEST
0000069b: DUP3
0000069c: ADD
0000069d: SWAP2
0000069e: SWAP1
0000069f: PUSH1 0x00
000006a1: MSTORE
000006a2: PUSH1 0x20
000006a4: PUSH1 0x00
000006a6: KECCAK256
000006a7: SWAP1
000006a8: JUMPDEST
000006a9: DUP2
000006aa: SLOAD
000006ab: DUP2
000006ac: MSTORE
000006ad: SWAP1
000006ae: PUSH1 0x01
000006b0: ADD
000006b1: SWAP1
000006b2: PUSH1 0x20
000006b4: ADD
000006b5: DUP1
000006b6: DUP4
000006b7: GT
000006b8: PUSH2 0x06a8
000006bb: JUMPI
000006bc: DUP3
000006bd: SWAP1
000006be: SUB
000006bf: PUSH1 0x1f
000006c1: AND
000006c2: DUP3
000006c3: ADD
000006c4: SWAP2
000006c5: JUMPDEST
000006c6: POP
000006c7: POP
000006c8: POP
000006c9: POP
000006ca: POP
000006cb: DUP5
000006cc: PUSH2 0x06dd
000006cf: JUMP
000006d0: JUMPDEST
000006d1: SWAP1
000006d2: POP
000006d3: PUSH2 0x06d7
000006d6: JUMP
000006d7: JUMPDEST
000006d8: SWAP3
000006d9: SWAP2
000006da: POP
000006db: POP
000006dc: JUMP
000006dd: JUMPDEST
000006de: PUSH1 0x00
000006e0: PUSH1 0xc0
000006e2: PUSH1 0x40
000006e4: MLOAD
000006e5: SWAP1
000006e6: DUP2
000006e7: ADD
000006e8: PUSH1 0x40
000006ea: MSTORE
000006eb: DUP1
000006ec: PUSH1 0x00
000006ee: DUP2
000006ef: MSTORE
000006f0: PUSH1 0x20
000006f2: ADD
000006f3: PUSH1 0x20
000006f5: PUSH1 0x40
000006f7: MLOAD
000006f8: SWAP1
000006f9: DUP2
000006fa: ADD
000006fb: PUSH1 0x40
000006fd: MSTORE
000006fe: DUP1
000006ff: PUSH1 0x00
00000701: DUP2
00000702: MSTORE
00000703: PUSH1 0x20
00000705: ADD
00000706: POP
00000707: DUP2
00000708: MSTORE
00000709: PUSH1 0x20
0000070b: ADD
0000070c: PUSH1 0x00
0000070e: DUP2
0000070f: MSTORE
00000710: PUSH1 0x20
00000712: ADD
00000713: PUSH1 0x00
00000715: DUP2
00000716: MSTORE
00000717: PUSH1 0x20
00000719: ADD
0000071a: PUSH1 0x00
0000071c: DUP2
0000071d: MSTORE
0000071e: PUSH1 0x20
00000720: ADD
00000721: PUSH1 0x00
00000723: DUP2
00000724: MSTORE
00000725: PUSH1 0x20
00000727: ADD
00000728: POP
00000729: DUP5
0000072a: DUP2
0000072b: PUSH1 0x00
0000072d: ADD
0000072e: SWAP1
0000072f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000744: AND
00000745: SWAP1
00000746: DUP2
00000747: DUP2
00000748: MSTORE
00000749: PUSH1 0x20
0000074b: ADD
0000074c: POP
0000074d: POP
0000074e: DUP4
0000074f: DUP2
00000750: PUSH1 0x20
00000752: ADD
00000753: DUP2
00000754: SWAP1
00000755: MSTORE
00000756: POP
00000757: DUP3
00000758: DUP2
00000759: PUSH1 0x40
0000075b: ADD
0000075c: SWAP1
0000075d: SWAP1
0000075e: DUP2
0000075f: DUP2
00000760: MSTORE
00000761: PUSH1 0x20
00000763: ADD
00000764: POP
00000765: POP
00000766: PUSH1 0x04
00000768: PUSH1 0x00
0000076a: POP
0000076b: SLOAD
0000076c: TIMESTAMP
0000076d: ADD
0000076e: DUP2
0000076f: PUSH1 0x80
00000771: ADD
00000772: SWAP1
00000773: SWAP1
00000774: DUP2
00000775: DUP2
00000776: MSTORE
00000777: PUSH1 0x20
00000779: ADD
0000077a: POP
0000077b: POP
0000077c: PUSH1 0x05
0000077e: PUSH1 0x00
00000780: DUP2
00000781: DUP2
00000782: POP
00000783: SLOAD
00000784: DUP1
00000785: SWAP3
00000786: SWAP2
00000787: SWAP1
00000788: PUSH1 0x01
0000078a: ADD
0000078b: SWAP2
0000078c: SWAP1
0000078d: POP
0000078e: SSTORE
0000078f: POP
00000790: DUP1
00000791: PUSH1 0x06
00000793: PUSH1 0x00
00000795: POP
00000796: PUSH1 0x00
00000798: PUSH1 0x05
0000079a: PUSH1 0x00
0000079c: POP
0000079d: SLOAD
0000079e: DUP2
0000079f: MSTORE
000007a0: PUSH1 0x20
000007a2: ADD
000007a3: SWAP1
000007a4: DUP2
000007a5: MSTORE
000007a6: PUSH1 0x20
000007a8: ADD
000007a9: PUSH1 0x00
000007ab: KECCAK256
000007ac: PUSH1 0x00
000007ae: POP
000007af: PUSH1 0x00
000007b1: DUP3
000007b2: ADD
000007b3: MLOAD
000007b4: DUP2
000007b5: PUSH1 0x00
000007b7: ADD
000007b8: PUSH1 0x00
000007ba: PUSH2 0x0100
000007bd: EXP
000007be: DUP2
000007bf: SLOAD
000007c0: DUP2
000007c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007d6: MUL
000007d7: NOT
000007d8: AND
000007d9: SWAP1
000007da: DUP4
000007db: MUL
000007dc: OR
000007dd: SWAP1
000007de: SSTORE
000007df: POP
000007e0: PUSH1 0x20
000007e2: DUP3
000007e3: ADD
000007e4: MLOAD
000007e5: DUP2
000007e6: PUSH1 0x01
000007e8: ADD
000007e9: PUSH1 0x00
000007eb: POP
000007ec: SWAP1
000007ed: DUP1
000007ee: MLOAD
000007ef: SWAP1
000007f0: PUSH1 0x20
000007f2: ADD
000007f3: SWAP1
000007f4: DUP3
000007f5: DUP1
000007f6: SLOAD
000007f7: PUSH1 0x01
000007f9: DUP2
000007fa: PUSH1 0x01
000007fc: AND
000007fd: ISZERO
000007fe: PUSH2 0x0100
00000801: MUL
00000802: SUB
00000803: AND
00000804: PUSH1 0x02
00000806: SWAP1
00000807: DIV
00000808: SWAP1
00000809: PUSH1 0x00
0000080b: MSTORE
0000080c: PUSH1 0x20
0000080e: PUSH1 0x00
00000810: KECCAK256
00000811: SWAP1
00000812: PUSH1 0x1f
00000814: ADD
00000815: PUSH1 0x20
00000817: SWAP1
00000818: DIV
00000819: DUP2
0000081a: ADD
0000081b: SWAP3
0000081c: DUP3
0000081d: PUSH1 0x1f
0000081f: LT
00000820: PUSH2 0x0834
00000823: JUMPI
00000824: DUP1
00000825: MLOAD
00000826: PUSH1 0xff
00000828: NOT
00000829: AND
0000082a: DUP4
0000082b: DUP1
0000082c: ADD
0000082d: OR
0000082e: DUP6
0000082f: SSTORE
00000830: PUSH2 0x0865
00000833: JUMP
00000834: JUMPDEST
00000835: DUP3
00000836: DUP1
00000837: ADD
00000838: PUSH1 0x01
0000083a: ADD
0000083b: DUP6
0000083c: SSTORE
0000083d: DUP3
0000083e: ISZERO
0000083f: PUSH2 0x0865
00000842: JUMPI
00000843: SWAP2
00000844: DUP3
00000845: ADD
00000846: JUMPDEST
00000847: DUP3
00000848: DUP2
00000849: GT
0000084a: ISZERO
0000084b: PUSH2 0x0864
0000084e: JUMPI
0000084f: DUP3
00000850: MLOAD
00000851: DUP3
00000852: PUSH1 0x00
00000854: POP
00000855: SSTORE
00000856: SWAP2
00000857: PUSH1 0x20
00000859: ADD
0000085a: SWAP2
0000085b: SWAP1
0000085c: PUSH1 0x01
0000085e: ADD
0000085f: SWAP1
00000860: PUSH2 0x0846
00000863: JUMP
00000864: JUMPDEST
00000865: JUMPDEST
00000866: POP
00000867: SWAP1
00000868: POP
00000869: PUSH2 0x0890
0000086c: SWAP2
0000086d: SWAP1
0000086e: PUSH2 0x0872
00000871: JUMP
00000872: JUMPDEST
00000873: DUP1
00000874: DUP3
00000875: GT
00000876: ISZERO
00000877: PUSH2 0x088c
0000087a: JUMPI
0000087b: PUSH1 0x00
0000087d: DUP2
0000087e: DUP2
0000087f: POP
00000880: PUSH1 0x00
00000882: SWAP1
00000883: SSTORE
00000884: POP
00000885: PUSH1 0x01
00000887: ADD
00000888: PUSH2 0x0872
0000088b: JUMP
0000088c: JUMPDEST
0000088d: POP
0000088e: SWAP1
0000088f: JUMP
00000890: JUMPDEST
00000891: POP
00000892: POP
00000893: PUSH1 0x40
00000895: DUP3
00000896: ADD
00000897: MLOAD
00000898: DUP2
00000899: PUSH1 0x02
0000089b: ADD
0000089c: PUSH1 0x00
0000089e: POP
0000089f: SSTORE
000008a0: PUSH1 0x60
000008a2: DUP3
000008a3: ADD
000008a4: MLOAD
000008a5: DUP2
000008a6: PUSH1 0x03
000008a8: ADD
000008a9: PUSH1 0x00
000008ab: POP
000008ac: SSTORE
000008ad: PUSH1 0x80
000008af: DUP3
000008b0: ADD
000008b1: MLOAD
000008b2: DUP2
000008b3: PUSH1 0x04
000008b5: ADD
000008b6: PUSH1 0x00
000008b8: POP
000008b9: SSTORE
000008ba: PUSH1 0xa0
000008bc: DUP3
000008bd: ADD
000008be: MLOAD
000008bf: DUP2
000008c0: PUSH1 0x05
000008c2: ADD
000008c3: PUSH1 0x00
000008c5: PUSH2 0x0100
000008c8: EXP
000008c9: DUP2
000008ca: SLOAD
000008cb: DUP2
000008cc: PUSH1 0xff
000008ce: MUL
000008cf: NOT
000008d0: AND
000008d1: SWAP1
000008d2: DUP4
000008d3: MUL
000008d4: OR
000008d5: SWAP1
000008d6: SSTORE
000008d7: POP
000008d8: SWAP1
000008d9: POP
000008da: POP
000008db: PUSH1 0x05
000008dd: PUSH1 0x00
000008df: POP
000008e0: SLOAD
000008e1: PUSH32 0x2c9c30f6e09e4fa68cd8d1f88a745cdfcd8d05a9c5729eb5e7f4bf0078db0044
00000902: DUP6
00000903: PUSH1 0x40
00000905: MLOAD
00000906: DUP1
00000907: DUP1
00000908: PUSH1 0x20
0000090a: ADD
0000090b: DUP3
0000090c: DUP2
0000090d: SUB
0000090e: DUP3
0000090f: MSTORE
00000910: DUP4
00000911: DUP2
00000912: DUP2
00000913: MLOAD
00000914: DUP2
00000915: MSTORE
00000916: PUSH1 0x20
00000918: ADD
00000919: SWAP2
0000091a: POP
0000091b: DUP1
0000091c: MLOAD
0000091d: SWAP1
0000091e: PUSH1 0x20
00000920: ADD
00000921: SWAP1
00000922: DUP1
00000923: DUP4
00000924: DUP4
00000925: DUP3
00000926: SWAP1
00000927: PUSH1 0x00
00000929: PUSH1 0x04
0000092b: PUSH1 0x20
0000092d: DUP5
0000092e: PUSH1 0x1f
00000930: ADD
00000931: DIV
00000932: PUSH1 0x0f
00000934: MUL
00000935: PUSH1 0x03
00000937: ADD
00000938: CALL
00000939: POP
0000093a: SWAP1
0000093b: POP
0000093c: SWAP1
0000093d: DUP2
0000093e: ADD
0000093f: SWAP1
00000940: PUSH1 0x1f
00000942: AND
00000943: DUP1
00000944: ISZERO
00000945: PUSH2 0x0962
00000948: JUMPI
00000949: DUP1
0000094a: DUP3
0000094b: SUB
0000094c: DUP1
0000094d: MLOAD
0000094e: PUSH1 0x01
00000950: DUP4
00000951: PUSH1 0x20
00000953: SUB
00000954: PUSH2 0x0100
00000957: EXP
00000958: SUB
00000959: NOT
0000095a: AND
0000095b: DUP2
0000095c: MSTORE
0000095d: PUSH1 0x20
0000095f: ADD
00000960: SWAP2
00000961: POP
00000962: JUMPDEST
00000963: POP
00000964: SWAP3
00000965: POP
00000966: POP
00000967: POP
00000968: PUSH1 0x40
0000096a: MLOAD
0000096b: DUP1
0000096c: SWAP2
0000096d: SUB
0000096e: SWAP1
0000096f: LOG2
00000970: PUSH1 0x05
00000972: PUSH1 0x00
00000974: POP
00000975: SLOAD
00000976: SWAP2
00000977: POP
00000978: PUSH2 0x097c
0000097b: JUMP
0000097c: JUMPDEST
0000097d: POP
0000097e: SWAP4
0000097f: SWAP3
00000980: POP
00000981: POP
00000982: POP
00000983: JUMP
00000984: JUMPDEST
00000985: PUSH1 0x00
00000987: PUSH1 0x00
00000989: PUSH1 0x00
0000098b: PUSH1 0x09
0000098d: PUSH1 0x00
0000098f: POP
00000990: PUSH1 0x00
00000992: CALLER
00000993: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009a8: AND
000009a9: DUP2
000009aa: MSTORE
000009ab: PUSH1 0x20
000009ad: ADD
000009ae: SWAP1
000009af: DUP2
000009b0: MSTORE
000009b1: PUSH1 0x20
000009b3: ADD
000009b4: PUSH1 0x00
000009b6: KECCAK256
000009b7: PUSH1 0x00
000009b9: SWAP1
000009ba: SLOAD
000009bb: SWAP1
000009bc: PUSH2 0x0100
000009bf: EXP
000009c0: SWAP1
000009c1: DIV
000009c2: PUSH1 0xff
000009c4: AND
000009c5: ISZERO
000009c6: ISZERO
000009c7: PUSH2 0x09cf
000009ca: JUMPI
000009cb: PUSH2 0x0002
000009ce: JUMP
000009cf: JUMPDEST
000009d0: PUSH1 0x07
000009d2: PUSH1 0x00
000009d4: POP
000009d5: PUSH1 0x00
000009d7: DUP6
000009d8: DUP2
000009d9: MSTORE
000009da: PUSH1 0x20
000009dc: ADD
000009dd: SWAP1
000009de: DUP2
000009df: MSTORE
000009e0: PUSH1 0x20
000009e2: ADD
000009e3: PUSH1 0x00
000009e5: KECCAK256
000009e6: PUSH1 0x00
000009e8: POP
000009e9: PUSH1 0x00
000009eb: CALLER
000009ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a01: AND
00000a02: DUP2
00000a03: MSTORE
00000a04: PUSH1 0x20
00000a06: ADD
00000a07: SWAP1
00000a08: DUP2
00000a09: MSTORE
00000a0a: PUSH1 0x20
00000a0c: ADD
00000a0d: PUSH1 0x00
00000a0f: KECCAK256
00000a10: PUSH1 0x00
00000a12: SWAP1
00000a13: SLOAD
00000a14: SWAP1
00000a15: PUSH2 0x0100
00000a18: EXP
00000a19: SWAP1
00000a1a: DIV
00000a1b: PUSH1 0xff
00000a1d: AND
00000a1e: ISZERO
00000a1f: PUSH2 0x0a27
00000a22: JUMPI
00000a23: PUSH2 0x0002
00000a26: JUMP
00000a27: JUMPDEST
00000a28: PUSH1 0x05
00000a2a: PUSH1 0x00
00000a2c: POP
00000a2d: SLOAD
00000a2e: DUP5
00000a2f: GT
00000a30: ISZERO
00000a31: PUSH2 0x0a39
00000a34: JUMPI
00000a35: PUSH2 0x0002
00000a38: JUMP
00000a39: JUMPDEST
00000a3a: PUSH1 0x06
00000a3c: PUSH1 0x00
00000a3e: POP
00000a3f: PUSH1 0x00
00000a41: DUP6
00000a42: DUP2
00000a43: MSTORE
00000a44: PUSH1 0x20
00000a46: ADD
00000a47: SWAP1
00000a48: DUP2
00000a49: MSTORE
00000a4a: PUSH1 0x20
00000a4c: ADD
00000a4d: PUSH1 0x00
00000a4f: KECCAK256
00000a50: PUSH1 0x00
00000a52: POP
00000a53: SWAP2
00000a54: POP
00000a55: DUP2
00000a56: PUSH1 0x04
00000a58: ADD
00000a59: PUSH1 0x00
00000a5b: POP
00000a5c: SLOAD
00000a5d: TIMESTAMP
00000a5e: GT
00000a5f: ISZERO
00000a60: PUSH2 0x0a68
00000a63: JUMPI
00000a64: PUSH2 0x0002
00000a67: JUMP
00000a68: JUMPDEST
00000a69: DUP2
00000a6a: PUSH1 0x05
00000a6c: ADD
00000a6d: PUSH1 0x00
00000a6f: SWAP1
00000a70: SLOAD
00000a71: SWAP1
00000a72: PUSH2 0x0100
00000a75: EXP
00000a76: SWAP1
00000a77: DIV
00000a78: PUSH1 0xff
00000a7a: AND
00000a7b: ISZERO
00000a7c: PUSH2 0x0a84
00000a7f: JUMPI
00000a80: PUSH2 0x0002
00000a83: JUMP
00000a84: JUMPDEST
00000a85: PUSH1 0x01
00000a87: PUSH1 0x07
00000a89: PUSH1 0x00
00000a8b: POP
00000a8c: PUSH1 0x00
00000a8e: DUP7
00000a8f: DUP2
00000a90: MSTORE
00000a91: PUSH1 0x20
00000a93: ADD
00000a94: SWAP1
00000a95: DUP2
00000a96: MSTORE
00000a97: PUSH1 0x20
00000a99: ADD
00000a9a: PUSH1 0x00
00000a9c: KECCAK256
00000a9d: PUSH1 0x00
00000a9f: POP
00000aa0: PUSH1 0x00
00000aa2: CALLER
00000aa3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ab8: AND
00000ab9: DUP2
00000aba: MSTORE
00000abb: PUSH1 0x20
00000abd: ADD
00000abe: SWAP1
00000abf: DUP2
00000ac0: MSTORE
00000ac1: PUSH1 0x20
00000ac3: ADD
00000ac4: PUSH1 0x00
00000ac6: KECCAK256
00000ac7: PUSH1 0x00
00000ac9: PUSH2 0x0100
00000acc: EXP
00000acd: DUP2
00000ace: SLOAD
00000acf: DUP2
00000ad0: PUSH1 0xff
00000ad2: MUL
00000ad3: NOT
00000ad4: AND
00000ad5: SWAP1
00000ad6: DUP4
00000ad7: MUL
00000ad8: OR
00000ad9: SWAP1
00000ada: SSTORE
00000adb: POP
00000adc: DUP2
00000add: PUSH1 0x03
00000adf: ADD
00000ae0: PUSH1 0x00
00000ae2: POP
00000ae3: SLOAD
00000ae4: SWAP1
00000ae5: POP
00000ae6: PUSH1 0x01
00000ae8: DUP3
00000ae9: PUSH1 0x03
00000aeb: ADD
00000aec: PUSH1 0x00
00000aee: POP
00000aef: SLOAD
00000af0: ADD
00000af1: DUP3
00000af2: PUSH1 0x03
00000af4: ADD
00000af5: PUSH1 0x00
00000af7: POP
00000af8: DUP2
00000af9: SWAP1
00000afa: SSTORE
00000afb: POP
00000afc: DUP2
00000afd: PUSH1 0x06
00000aff: PUSH1 0x00
00000b01: POP
00000b02: PUSH1 0x00
00000b04: DUP7
00000b05: DUP2
00000b06: MSTORE
00000b07: PUSH1 0x20
00000b09: ADD
00000b0a: SWAP1
00000b0b: DUP2
00000b0c: MSTORE
00000b0d: PUSH1 0x20
00000b0f: ADD
00000b10: PUSH1 0x00
00000b12: KECCAK256
00000b13: PUSH1 0x00
00000b15: POP
00000b16: PUSH1 0x00
00000b18: DUP3
00000b19: ADD
00000b1a: PUSH1 0x00
00000b1c: SWAP1
00000b1d: SLOAD
00000b1e: SWAP1
00000b1f: PUSH2 0x0100
00000b22: EXP
00000b23: SWAP1
00000b24: DIV
00000b25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b3a: AND
00000b3b: DUP2
00000b3c: PUSH1 0x00
00000b3e: ADD
00000b3f: PUSH1 0x00
00000b41: PUSH2 0x0100
00000b44: EXP
00000b45: DUP2
00000b46: SLOAD
00000b47: DUP2
00000b48: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b5d: MUL
00000b5e: NOT
00000b5f: AND
00000b60: SWAP1
00000b61: DUP4
00000b62: MUL
00000b63: OR
00000b64: SWAP1
00000b65: SSTORE
00000b66: POP
00000b67: PUSH1 0x01
00000b69: DUP3
00000b6a: ADD
00000b6b: PUSH1 0x00
00000b6d: POP
00000b6e: DUP2
00000b6f: PUSH1 0x01
00000b71: ADD
00000b72: PUSH1 0x00
00000b74: POP
00000b75: SWAP1
00000b76: DUP1
00000b77: SLOAD
00000b78: PUSH1 0x01
00000b7a: DUP2
00000b7b: PUSH1 0x01
00000b7d: AND
00000b7e: ISZERO
00000b7f: PUSH2 0x0100
00000b82: MUL
00000b83: SUB
00000b84: AND
00000b85: PUSH1 0x02
00000b87: SWAP1
00000b88: DIV
00000b89: DUP3
00000b8a: DUP1
00000b8b: SLOAD
00000b8c: PUSH1 0x01
00000b8e: DUP2
00000b8f: PUSH1 0x01
00000b91: AND
00000b92: ISZERO
00000b93: PUSH2 0x0100
00000b96: MUL
00000b97: SUB
00000b98: AND
00000b99: PUSH1 0x02
00000b9b: SWAP1
00000b9c: DIV
00000b9d: SWAP1
00000b9e: PUSH1 0x00
00000ba0: MSTORE
00000ba1: PUSH1 0x20
00000ba3: PUSH1 0x00
00000ba5: KECCAK256
00000ba6: SWAP1
00000ba7: PUSH1 0x1f
00000ba9: ADD
00000baa: PUSH1 0x20
00000bac: SWAP1
00000bad: DIV
00000bae: DUP2
00000baf: ADD
00000bb0: SWAP3
00000bb1: DUP3
00000bb2: PUSH1 0x1f
00000bb4: LT
00000bb5: PUSH2 0x0bc1
00000bb8: JUMPI
00000bb9: DUP1
00000bba: SLOAD
00000bbb: DUP6
00000bbc: SSTORE
00000bbd: PUSH2 0x0bfe
00000bc0: JUMP
00000bc1: JUMPDEST
00000bc2: DUP3
00000bc3: DUP1
00000bc4: ADD
00000bc5: PUSH1 0x01
00000bc7: ADD
00000bc8: DUP6
00000bc9: SSTORE
00000bca: DUP3
00000bcb: ISZERO
00000bcc: PUSH2 0x0bfe
00000bcf: JUMPI
00000bd0: PUSH1 0x00
00000bd2: MSTORE
00000bd3: PUSH1 0x20
00000bd5: PUSH1 0x00
00000bd7: KECCAK256
00000bd8: SWAP2
00000bd9: PUSH1 0x1f
00000bdb: ADD
00000bdc: PUSH1 0x20
00000bde: SWAP1
00000bdf: DIV
00000be0: DUP3
00000be1: ADD
00000be2: JUMPDEST
00000be3: DUP3
00000be4: DUP2
00000be5: GT
00000be6: ISZERO
00000be7: PUSH2 0x0bfd
00000bea: JUMPI
00000beb: DUP3
00000bec: SLOAD
00000bed: DUP3
00000bee: SSTORE
00000bef: SWAP2
00000bf0: PUSH1 0x01
00000bf2: ADD
00000bf3: SWAP2
00000bf4: SWAP1
00000bf5: PUSH1 0x01
00000bf7: ADD
00000bf8: SWAP1
00000bf9: PUSH2 0x0be2
00000bfc: JUMP
00000bfd: JUMPDEST
00000bfe: JUMPDEST
00000bff: POP
00000c00: SWAP1
00000c01: POP
00000c02: PUSH2 0x0c29
00000c05: SWAP2
00000c06: SWAP1
00000c07: PUSH2 0x0c0b
00000c0a: JUMP
00000c0b: JUMPDEST
00000c0c: DUP1
00000c0d: DUP3
00000c0e: GT
00000c0f: ISZERO
00000c10: PUSH2 0x0c25
00000c13: JUMPI
00000c14: PUSH1 0x00
00000c16: DUP2
00000c17: DUP2
00000c18: POP
00000c19: PUSH1 0x00
00000c1b: SWAP1
00000c1c: SSTORE
00000c1d: POP
00000c1e: PUSH1 0x01
00000c20: ADD
00000c21: PUSH2 0x0c0b
00000c24: JUMP
00000c25: JUMPDEST
00000c26: POP
00000c27: SWAP1
00000c28: JUMP
00000c29: JUMPDEST
00000c2a: POP
00000c2b: POP
00000c2c: PUSH1 0x02
00000c2e: DUP3
00000c2f: ADD
00000c30: PUSH1 0x00
00000c32: POP
00000c33: SLOAD
00000c34: DUP2
00000c35: PUSH1 0x02
00000c37: ADD
00000c38: PUSH1 0x00
00000c3a: POP
00000c3b: SSTORE
00000c3c: PUSH1 0x03
00000c3e: DUP3
00000c3f: ADD
00000c40: PUSH1 0x00
00000c42: POP
00000c43: SLOAD
00000c44: DUP2
00000c45: PUSH1 0x03
00000c47: ADD
00000c48: PUSH1 0x00
00000c4a: POP
00000c4b: SSTORE
00000c4c: PUSH1 0x04
00000c4e: DUP3
00000c4f: ADD
00000c50: PUSH1 0x00
00000c52: POP
00000c53: SLOAD
00000c54: DUP2
00000c55: PUSH1 0x04
00000c57: ADD
00000c58: PUSH1 0x00
00000c5a: POP
00000c5b: SSTORE
00000c5c: PUSH1 0x05
00000c5e: DUP3
00000c5f: ADD
00000c60: PUSH1 0x00
00000c62: SWAP1
00000c63: SLOAD
00000c64: SWAP1
00000c65: PUSH2 0x0100
00000c68: EXP
00000c69: SWAP1
00000c6a: DIV
00000c6b: PUSH1 0xff
00000c6d: AND
00000c6e: DUP2
00000c6f: PUSH1 0x05
00000c71: ADD
00000c72: PUSH1 0x00
00000c74: PUSH2 0x0100
00000c77: EXP
00000c78: DUP2
00000c79: SLOAD
00000c7a: DUP2
00000c7b: PUSH1 0xff
00000c7d: MUL
00000c7e: NOT
00000c7f: AND
00000c80: SWAP1
00000c81: DUP4
00000c82: MUL
00000c83: OR
00000c84: SWAP1
00000c85: SSTORE
00000c86: POP
00000c87: SWAP1
00000c88: POP
00000c89: POP
00000c8a: DUP4
00000c8b: PUSH32 0x6f220d98c15dbd07fdc24781b682ea34f92411fc61b83c761dd927afbe02d3fd
00000cac: CALLER
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: LOG2
00000cd8: JUMPDEST
00000cd9: POP
00000cda: POP
00000cdb: SWAP2
00000cdc: SWAP1
00000cdd: POP
00000cde: JUMP
00000cdf: JUMPDEST
00000ce0: PUSH1 0x00
00000ce2: PUSH1 0x06
00000ce4: PUSH1 0x00
00000ce6: POP
00000ce7: PUSH1 0x00
00000ce9: DUP4
00000cea: DUP2
00000ceb: MSTORE
00000cec: PUSH1 0x20
00000cee: ADD
00000cef: SWAP1
00000cf0: DUP2
00000cf1: MSTORE
00000cf2: PUSH1 0x20
00000cf4: ADD
00000cf5: PUSH1 0x00
00000cf7: KECCAK256
00000cf8: PUSH1 0x00
00000cfa: POP
00000cfb: SWAP1
00000cfc: POP
00000cfd: PUSH1 0x01
00000cff: PUSH1 0x00
00000d01: POP
00000d02: SLOAD
00000d03: DUP2
00000d04: PUSH1 0x03
00000d06: ADD
00000d07: PUSH1 0x00
00000d09: POP
00000d0a: SLOAD
00000d0b: LT
00000d0c: ISZERO
00000d0d: PUSH2 0x0d15
00000d10: JUMPI
00000d11: PUSH2 0x0002
00000d14: JUMP
00000d15: JUMPDEST
00000d16: DUP1
00000d17: PUSH1 0x04
00000d19: ADD
00000d1a: PUSH1 0x00
00000d1c: POP
00000d1d: SLOAD
00000d1e: TIMESTAMP
00000d1f: GT
00000d20: ISZERO
00000d21: PUSH2 0x0d29
00000d24: JUMPI
00000d25: PUSH2 0x0002
00000d28: JUMP
00000d29: JUMPDEST
00000d2a: DUP1
00000d2b: PUSH1 0x05
00000d2d: ADD
00000d2e: PUSH1 0x00
00000d30: SWAP1
00000d31: SLOAD
00000d32: SWAP1
00000d33: PUSH2 0x0100
00000d36: EXP
00000d37: SWAP1
00000d38: DIV
00000d39: PUSH1 0xff
00000d3b: AND
00000d3c: ISZERO
00000d3d: PUSH2 0x0d45
00000d40: JUMPI
00000d41: PUSH2 0x0002
00000d44: JUMP
00000d45: JUMPDEST
00000d46: DUP1
00000d47: PUSH1 0x02
00000d49: ADD
00000d4a: PUSH1 0x00
00000d4c: POP
00000d4d: SLOAD
00000d4e: ADDRESS
00000d4f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d64: AND
00000d65: BALANCE
00000d66: LT
00000d67: ISZERO
00000d68: PUSH2 0x0d70
00000d6b: JUMPI
00000d6c: PUSH2 0x0002
00000d6f: JUMP
00000d70: JUMPDEST
00000d71: PUSH1 0x01
00000d73: DUP2
00000d74: PUSH1 0x05
00000d76: ADD
00000d77: PUSH1 0x00
00000d79: PUSH2 0x0100
00000d7c: EXP
00000d7d: DUP2
00000d7e: SLOAD
00000d7f: DUP2
00000d80: PUSH1 0xff
00000d82: MUL
00000d83: NOT
00000d84: AND
00000d85: SWAP1
00000d86: DUP4
00000d87: MUL
00000d88: OR
00000d89: SWAP1
00000d8a: SSTORE
00000d8b: POP
00000d8c: PUSH2 0x0e60
00000d8f: DUP2
00000d90: PUSH1 0x00
00000d92: ADD
00000d93: PUSH1 0x00
00000d95: SWAP1
00000d96: SLOAD
00000d97: SWAP1
00000d98: PUSH2 0x0100
00000d9b: EXP
00000d9c: SWAP1
00000d9d: DIV
00000d9e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000db3: AND
00000db4: DUP3
00000db5: PUSH1 0x01
00000db7: ADD
00000db8: PUSH1 0x00
00000dba: POP
00000dbb: DUP1
00000dbc: SLOAD
00000dbd: PUSH1 0x01
00000dbf: DUP2
00000dc0: PUSH1 0x01
00000dc2: AND
00000dc3: ISZERO
00000dc4: PUSH2 0x0100
00000dc7: MUL
00000dc8: SUB
00000dc9: AND
00000dca: PUSH1 0x02
00000dcc: SWAP1
00000dcd: DIV
00000dce: DUP1
00000dcf: PUSH1 0x1f
00000dd1: ADD
00000dd2: PUSH1 0x20
00000dd4: DUP1
00000dd5: SWAP2
00000dd6: DIV
00000dd7: MUL
00000dd8: PUSH1 0x20
00000dda: ADD
00000ddb: PUSH1 0x40
00000ddd: MLOAD
00000dde: SWAP1
00000ddf: DUP2
00000de0: ADD
00000de1: PUSH1 0x40
00000de3: MSTORE
00000de4: DUP1
00000de5: SWAP3
00000de6: SWAP2
00000de7: SWAP1
00000de8: DUP2
00000de9: DUP2
00000dea: MSTORE
00000deb: PUSH1 0x20
00000ded: ADD
00000dee: DUP3
00000def: DUP1
00000df0: SLOAD
00000df1: PUSH1 0x01
00000df3: DUP2
00000df4: PUSH1 0x01
00000df6: AND
00000df7: ISZERO
00000df8: PUSH2 0x0100
00000dfb: MUL
00000dfc: SUB
00000dfd: AND
00000dfe: PUSH1 0x02
00000e00: SWAP1
00000e01: DIV
00000e02: DUP1
00000e03: ISZERO
00000e04: PUSH2 0x0e4e
00000e07: JUMPI
00000e08: DUP1
00000e09: PUSH1 0x1f
00000e0b: LT
00000e0c: PUSH2 0x0e23
00000e0f: JUMPI
00000e10: PUSH2 0x0100
00000e13: DUP1
00000e14: DUP4
00000e15: SLOAD
00000e16: DIV
00000e17: MUL
00000e18: DUP4
00000e19: MSTORE
00000e1a: SWAP2
00000e1b: PUSH1 0x20
00000e1d: ADD
00000e1e: SWAP2
00000e1f: PUSH2 0x0e4e
00000e22: JUMP
00000e23: JUMPDEST
00000e24: DUP3
00000e25: ADD
00000e26: SWAP2
00000e27: SWAP1
00000e28: PUSH1 0x00
00000e2a: MSTORE
00000e2b: PUSH1 0x20
00000e2d: PUSH1 0x00
00000e2f: KECCAK256
00000e30: SWAP1
00000e31: JUMPDEST
00000e32: DUP2
00000e33: SLOAD
00000e34: DUP2
00000e35: MSTORE
00000e36: SWAP1
00000e37: PUSH1 0x01
00000e39: ADD
00000e3a: SWAP1
00000e3b: PUSH1 0x20
00000e3d: ADD
00000e3e: DUP1
00000e3f: DUP4
00000e40: GT
00000e41: PUSH2 0x0e31
00000e44: JUMPI
00000e45: DUP3
00000e46: SWAP1
00000e47: SUB
00000e48: PUSH1 0x1f
00000e4a: AND
00000e4b: DUP3
00000e4c: ADD
00000e4d: SWAP2
00000e4e: JUMPDEST
00000e4f: POP
00000e50: POP
00000e51: POP
00000e52: POP
00000e53: POP
00000e54: DUP4
00000e55: PUSH1 0x02
00000e57: ADD
00000e58: PUSH1 0x00
00000e5a: POP
00000e5b: SLOAD
00000e5c: PUSH2 0x1102
00000e5f: JUMP
00000e60: JUMPDEST
00000e61: DUP1
00000e62: PUSH1 0x06
00000e64: PUSH1 0x00
00000e66: POP
00000e67: PUSH1 0x00
00000e69: DUP5
00000e6a: DUP2
00000e6b: MSTORE
00000e6c: PUSH1 0x20
00000e6e: ADD
00000e6f: SWAP1
00000e70: DUP2
00000e71: MSTORE
00000e72: PUSH1 0x20
00000e74: ADD
00000e75: PUSH1 0x00
00000e77: KECCAK256
00000e78: PUSH1 0x00
00000e7a: POP
00000e7b: PUSH1 0x00
00000e7d: DUP3
00000e7e: ADD
00000e7f: PUSH1 0x00
00000e81: SWAP1
00000e82: SLOAD
00000e83: SWAP1
00000e84: PUSH2 0x0100
00000e87: EXP
00000e88: SWAP1
00000e89: DIV
00000e8a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e9f: AND
00000ea0: DUP2
00000ea1: PUSH1 0x00
00000ea3: ADD
00000ea4: PUSH1 0x00
00000ea6: PUSH2 0x0100
00000ea9: EXP
00000eaa: DUP2
00000eab: SLOAD
00000eac: DUP2
00000ead: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ec2: MUL
00000ec3: NOT
00000ec4: AND
00000ec5: SWAP1
00000ec6: DUP4
00000ec7: MUL
00000ec8: OR
00000ec9: SWAP1
00000eca: SSTORE
00000ecb: POP
00000ecc: PUSH1 0x01
00000ece: DUP3
00000ecf: ADD
00000ed0: PUSH1 0x00
00000ed2: POP
00000ed3: DUP2
00000ed4: PUSH1 0x01
00000ed6: ADD
00000ed7: PUSH1 0x00
00000ed9: POP
00000eda: SWAP1
00000edb: DUP1
00000edc: SLOAD
00000edd: PUSH1 0x01
00000edf: DUP2
00000ee0: PUSH1 0x01
00000ee2: AND
00000ee3: ISZERO
00000ee4: PUSH2 0x0100
00000ee7: MUL
00000ee8: SUB
00000ee9: AND
00000eea: PUSH1 0x02
00000eec: SWAP1
00000eed: DIV
00000eee: DUP3
00000eef: DUP1
00000ef0: SLOAD
00000ef1: PUSH1 0x01
00000ef3: DUP2
00000ef4: PUSH1 0x01
00000ef6: AND
00000ef7: ISZERO
00000ef8: PUSH2 0x0100
00000efb: MUL
00000efc: SUB
00000efd: AND
00000efe: PUSH1 0x02
00000f00: SWAP1
00000f01: DIV
00000f02: SWAP1
00000f03: PUSH1 0x00
00000f05: MSTORE
00000f06: PUSH1 0x20
00000f08: PUSH1 0x00
00000f0a: KECCAK256
00000f0b: SWAP1
00000f0c: PUSH1 0x1f
00000f0e: ADD
00000f0f: PUSH1 0x20
00000f11: SWAP1
00000f12: DIV
00000f13: DUP2
00000f14: ADD
00000f15: SWAP3
00000f16: DUP3
00000f17: PUSH1 0x1f
00000f19: LT
00000f1a: PUSH2 0x0f26
00000f1d: JUMPI
00000f1e: DUP1
00000f1f: SLOAD
00000f20: DUP6
00000f21: SSTORE
00000f22: PUSH2 0x0f63
00000f25: JUMP
00000f26: JUMPDEST
00000f27: DUP3
00000f28: DUP1
00000f29: ADD
00000f2a: PUSH1 0x01
00000f2c: ADD
00000f2d: DUP6
00000f2e: SSTORE
00000f2f: DUP3
00000f30: ISZERO
00000f31: PUSH2 0x0f63
00000f34: JUMPI
00000f35: PUSH1 0x00
00000f37: MSTORE
00000f38: PUSH1 0x20
00000f3a: PUSH1 0x00
00000f3c: KECCAK256
00000f3d: SWAP2
00000f3e: PUSH1 0x1f
00000f40: ADD
00000f41: PUSH1 0x20
00000f43: SWAP1
00000f44: DIV
00000f45: DUP3
00000f46: ADD
00000f47: JUMPDEST
00000f48: DUP3
00000f49: DUP2
00000f4a: GT
00000f4b: ISZERO
00000f4c: PUSH2 0x0f62
00000f4f: JUMPI
00000f50: DUP3
00000f51: SLOAD
00000f52: DUP3
00000f53: SSTORE
00000f54: SWAP2
00000f55: PUSH1 0x01
00000f57: ADD
00000f58: SWAP2
00000f59: SWAP1
00000f5a: PUSH1 0x01
00000f5c: ADD
00000f5d: SWAP1
00000f5e: PUSH2 0x0f47
00000f61: JUMP
00000f62: JUMPDEST
00000f63: JUMPDEST
00000f64: POP
00000f65: SWAP1
00000f66: POP
00000f67: PUSH2 0x0f8e
00000f6a: SWAP2
00000f6b: SWAP1
00000f6c: PUSH2 0x0f70
00000f6f: JUMP
00000f70: JUMPDEST
00000f71: DUP1
00000f72: DUP3
00000f73: GT
00000f74: ISZERO
00000f75: PUSH2 0x0f8a
00000f78: JUMPI
00000f79: PUSH1 0x00
00000f7b: DUP2
00000f7c: DUP2
00000f7d: POP
00000f7e: PUSH1 0x00
00000f80: SWAP1
00000f81: SSTORE
00000f82: POP
00000f83: PUSH1 0x01
00000f85: ADD
00000f86: PUSH2 0x0f70
00000f89: JUMP
00000f8a: JUMPDEST
00000f8b: POP
00000f8c: SWAP1
00000f8d: JUMP
00000f8e: JUMPDEST
00000f8f: POP
00000f90: POP
00000f91: PUSH1 0x02
00000f93: DUP3
00000f94: ADD
00000f95: PUSH1 0x00
00000f97: POP
00000f98: SLOAD
00000f99: DUP2
00000f9a: PUSH1 0x02
00000f9c: ADD
00000f9d: PUSH1 0x00
00000f9f: POP
00000fa0: SSTORE
00000fa1: PUSH1 0x03
00000fa3: DUP3
00000fa4: ADD
00000fa5: PUSH1 0x00
00000fa7: POP
00000fa8: SLOAD
00000fa9: DUP2
00000faa: PUSH1 0x03
00000fac: ADD
00000fad: PUSH1 0x00
00000faf: POP
00000fb0: SSTORE
00000fb1: PUSH1 0x04
00000fb3: DUP3
00000fb4: ADD
00000fb5: PUSH1 0x00
00000fb7: POP
00000fb8: SLOAD
00000fb9: DUP2
00000fba: PUSH1 0x04
00000fbc: ADD
00000fbd: PUSH1 0x00
00000fbf: POP
00000fc0: SSTORE
00000fc1: PUSH1 0x05
00000fc3: DUP3
00000fc4: ADD
00000fc5: PUSH1 0x00
00000fc7: SWAP1
00000fc8: SLOAD
00000fc9: SWAP1
00000fca: PUSH2 0x0100
00000fcd: EXP
00000fce: SWAP1
00000fcf: DIV
00000fd0: PUSH1 0xff
00000fd2: AND
00000fd3: DUP2
00000fd4: PUSH1 0x05
00000fd6: ADD
00000fd7: PUSH1 0x00
00000fd9: PUSH2 0x0100
00000fdc: EXP
00000fdd: DUP2
00000fde: SLOAD
00000fdf: DUP2
00000fe0: PUSH1 0xff
00000fe2: MUL
00000fe3: NOT
00000fe4: AND
00000fe5: SWAP1
00000fe6: DUP4
00000fe7: MUL
00000fe8: OR
00000fe9: SWAP1
00000fea: SSTORE
00000feb: POP
00000fec: SWAP1
00000fed: POP
00000fee: POP
00000fef: DUP2
00000ff0: PUSH32 0xcdeba0448cafa891383055f46f2fec420e049fab5171b5b30b5458c0320f68fb
00001011: PUSH1 0x40
00001013: MLOAD
00001014: DUP1
00001015: SWAP1
00001016: POP
00001017: PUSH1 0x40
00001019: MLOAD
0000101a: DUP1
0000101b: SWAP2
0000101c: SUB
0000101d: SWAP1
0000101e: LOG2
0000101f: JUMPDEST
00001020: POP
00001021: POP
00001022: JUMP
00001023: JUMPDEST
00001024: PUSH1 0x00
00001026: PUSH1 0x00
00001028: SWAP1
00001029: SLOAD
0000102a: SWAP1
0000102b: PUSH2 0x0100
0000102e: EXP
0000102f: SWAP1
00001030: DIV
00001031: PUSH1 0xff
00001033: AND
00001034: DUP2
00001035: JUMP
00001036: JUMPDEST
00001037: PUSH1 0x00
00001039: PUSH1 0x01
0000103b: SWAP1
0000103c: SLOAD
0000103d: SWAP1
0000103e: PUSH2 0x0100
00001041: EXP
00001042: SWAP1
00001043: DIV
00001044: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001059: AND
0000105a: DUP2
0000105b: JUMP
0000105c: JUMPDEST
0000105d: PUSH2 0x1064
00001060: PUSH2 0x111e
00001063: JUMP
00001064: JUMPDEST
00001065: ISZERO
00001066: PUSH2 0x10f8
00001069: JUMPI
0000106a: DUP2
0000106b: PUSH1 0x00
0000106d: PUSH1 0x01
0000106f: PUSH2 0x0100
00001072: EXP
00001073: DUP2
00001074: SLOAD
00001075: DUP2
00001076: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000108b: MUL
0000108c: NOT
0000108d: AND
0000108e: SWAP1
0000108f: DUP4
00001090: MUL
00001091: OR
00001092: SWAP1
00001093: SSTORE
00001094: POP
00001095: DUP1
00001096: PUSH1 0x00
00001098: PUSH1 0x00
0000109a: PUSH2 0x0100
0000109d: EXP
0000109e: DUP2
0000109f: SLOAD
000010a0: DUP2
000010a1: PUSH1 0xff
000010a3: MUL
000010a4: NOT
000010a5: AND
000010a6: SWAP1
000010a7: DUP4
000010a8: MUL
000010a9: OR
000010aa: SWAP1
000010ab: SSTORE
000010ac: POP
000010ad: DUP1
000010ae: DUP3
000010af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010c4: AND
000010c5: PUSH32 0xb96a5204da93e5d7ddd5b0c2616fd5f76322b9c383c5010b94fdc3df11b7be52
000010e6: PUSH1 0x40
000010e8: MLOAD
000010e9: DUP1
000010ea: SWAP1
000010eb: POP
000010ec: PUSH1 0x40
000010ee: MLOAD
000010ef: DUP1
000010f0: SWAP2
000010f1: SUB
000010f2: SWAP1
000010f3: LOG3
000010f4: PUSH2 0x10fd
000010f7: JUMP
000010f8: JUMPDEST
000010f9: PUSH2 0x0002
000010fc: JUMP
000010fd: JUMPDEST
000010fe: JUMPDEST
000010ff: POP
00001100: POP
00001101: JUMP
00001102: JUMPDEST
00001103: PUSH2 0x110d
00001106: DUP4
00001107: DUP4
00001108: DUP4
00001109: PUSH2 0x12ac
0000110c: JUMP
0000110d: JUMPDEST
0000110e: ISZERO
0000110f: ISZERO
00001110: PUSH2 0x1118
00001113: JUMPI
00001114: PUSH2 0x0002
00001117: JUMP
00001118: JUMPDEST
00001119: JUMPDEST
0000111a: POP
0000111b: POP
0000111c: POP
0000111d: JUMP
0000111e: JUMPDEST
0000111f: PUSH1 0x00
00001121: PUSH1 0x00
00001123: PUSH1 0x00
00001125: PUSH1 0x00
00001127: SWAP1
00001128: SLOAD
00001129: SWAP1
0000112a: PUSH2 0x0100
0000112d: EXP
0000112e: SWAP1
0000112f: DIV
00001130: PUSH1 0xff
00001132: AND
00001133: EQ
00001134: ISZERO
00001135: PUSH2 0x1190
00001138: JUMPI
00001139: PUSH1 0x00
0000113b: PUSH1 0x01
0000113d: SWAP1
0000113e: SLOAD
0000113f: SWAP1
00001140: PUSH2 0x0100
00001143: EXP
00001144: SWAP1
00001145: DIV
00001146: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000115b: AND
0000115c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001171: AND
00001172: CALLER
00001173: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001188: AND
00001189: EQ
0000118a: SWAP1
0000118b: POP
0000118c: PUSH2 0x12a9
0000118f: JUMP
00001190: JUMPDEST
00001191: PUSH1 0x01
00001193: PUSH1 0x00
00001195: PUSH1 0x00
00001197: SWAP1
00001198: SLOAD
00001199: SWAP1
0000119a: PUSH2 0x0100
0000119d: EXP
0000119e: SWAP1
0000119f: DIV
000011a0: PUSH1 0xff
000011a2: AND
000011a3: EQ
000011a4: ISZERO
000011a5: PUSH2 0x12a4
000011a8: JUMPI
000011a9: PUSH1 0x00
000011ab: PUSH1 0x01
000011ad: SWAP1
000011ae: SLOAD
000011af: SWAP1
000011b0: PUSH2 0x0100
000011b3: EXP
000011b4: SWAP1
000011b5: DIV
000011b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011cb: AND
000011cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011e1: AND
000011e2: PUSH4 0xb7009613
000011e7: CALLER
000011e8: ADDRESS
000011e9: PUSH1 0x00
000011eb: CALLDATALOAD
000011ec: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
0000120d: AND
0000120e: PUSH1 0x40
00001210: MLOAD
00001211: DUP5
00001212: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00001230: MUL
00001231: DUP2
00001232: MSTORE
00001233: PUSH1 0x04
00001235: ADD
00001236: DUP1
00001237: DUP5
00001238: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000124d: AND
0000124e: DUP2
0000124f: MSTORE
00001250: PUSH1 0x20
00001252: ADD
00001253: DUP4
00001254: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001269: AND
0000126a: DUP2
0000126b: MSTORE
0000126c: PUSH1 0x20
0000126e: ADD
0000126f: DUP3
00001270: DUP2
00001271: MSTORE
00001272: PUSH1 0x20
00001274: ADD
00001275: SWAP4
00001276: POP
00001277: POP
00001278: POP
00001279: POP
0000127a: PUSH1 0x20
0000127c: PUSH1 0x40
0000127e: MLOAD
0000127f: DUP1
00001280: DUP4
00001281: SUB
00001282: DUP2
00001283: PUSH1 0x00
00001285: DUP8
00001286: PUSH2 0x61da
00001289: GAS
0000128a: SUB
0000128b: CALL
0000128c: ISZERO
0000128d: PUSH2 0x0002
00001290: JUMPI
00001291: POP
00001292: POP
00001293: POP
00001294: PUSH1 0x40
00001296: MLOAD
00001297: DUP1
00001298: MLOAD
00001299: SWAP1
0000129a: PUSH1 0x20
0000129c: ADD
0000129d: POP
0000129e: SWAP1
0000129f: POP
000012a0: PUSH2 0x12a9
000012a3: JUMP
000012a4: JUMPDEST
000012a5: PUSH2 0x0002
000012a8: JUMP
000012a9: JUMPDEST
000012aa: SWAP1
000012ab: JUMP
000012ac: JUMPDEST
000012ad: PUSH1 0x00
000012af: DUP4
000012b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012c5: AND
000012c6: DUP3
000012c7: DUP5
000012c8: PUSH1 0x40
000012ca: MLOAD
000012cb: DUP1
000012cc: DUP3
000012cd: DUP1
000012ce: MLOAD
000012cf: SWAP1
000012d0: PUSH1 0x20
000012d2: ADD
000012d3: SWAP1
000012d4: DUP1
000012d5: DUP4
000012d6: DUP4
000012d7: DUP3
000012d8: SWAP1
000012d9: PUSH1 0x00
000012db: PUSH1 0x04
000012dd: PUSH1 0x20
000012df: DUP5
000012e0: PUSH1 0x1f
000012e2: ADD
000012e3: DIV
000012e4: PUSH1 0x0f
000012e6: MUL
000012e7: PUSH1 0x03
000012e9: ADD
000012ea: CALL
000012eb: POP
000012ec: SWAP1
000012ed: POP
000012ee: SWAP1
000012ef: DUP2
000012f0: ADD
000012f1: SWAP1
000012f2: PUSH1 0x1f
000012f4: AND
000012f5: DUP1
000012f6: ISZERO
000012f7: PUSH2 0x1314
000012fa: JUMPI
000012fb: DUP1
000012fc: DUP3
000012fd: SUB
000012fe: DUP1
000012ff: MLOAD
00001300: PUSH1 0x01
00001302: DUP4
00001303: PUSH1 0x20
00001305: SUB
00001306: PUSH2 0x0100
00001309: EXP
0000130a: SUB
0000130b: NOT
0000130c: AND
0000130d: DUP2
0000130e: MSTORE
0000130f: PUSH1 0x20
00001311: ADD
00001312: SWAP2
00001313: POP
00001314: JUMPDEST
00001315: POP
00001316: SWAP2
00001317: POP
00001318: POP
00001319: PUSH1 0x00
0000131b: PUSH1 0x40
0000131d: MLOAD
0000131e: DUP1
0000131f: DUP4
00001320: SUB
00001321: DUP2
00001322: DUP6
00001323: DUP8
00001324: PUSH2 0x8502
00001327: GAS
00001328: SUB
00001329: CALL
0000132a: SWAP3
0000132b: POP
0000132c: POP
0000132d: POP
0000132e: SWAP1
0000132f: POP
00001330: PUSH2 0x1334
00001333: JUMP
00001334: JUMPDEST
00001335: SWAP4
00001336: SWAP3
00001337: POP
00001338: POP
00001339: POP
0000133a: 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.