019b477e-bb70-715c-b450-e4a0cbb0286a
Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
| ID | Type | Status | Attempts | Heartbeat |
|---|---|---|---|---|
| 23909 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 23910 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 67018 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 67019 | capability.graph | complete | 1 / 3 | 1 week ago |
| 67020 | detector.run | complete | 1 / 3 | 1 week ago |
| 67021 | validation.fork | complete | 1 / 3 | 1 week ago |
| 113524 | report.consolidate | complete | 1 / 6 | 1 week ago |
No slither job recorded yet.
OpenAI Codex v0.118.0 (research preview) -------- workdir: /tmp/codex-pil5s3_x model: gpt-5.4 provider: openai approval: never sandbox: read-only reasoning effort: high reasoning summaries: none session id: 019d5c96-98d2-7853-8b2f-1947ed296918 -------- user You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities. Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation, accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall. Scope rules: - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party Solidity sources in this workspace. - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code. - If there are only dependency files and no first-party sources, set no_findings=true and explain in summary. 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 and file/line locations when possible. Output constraints (IMPORTANT): - severity MUST be exactly one of: info, low, medium, high, critical (lowercase). - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other. Keep summary short and concrete. 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:41:08.360831+00:00",
"returncode": 1
},
"project": {
"mode": "source",
"file_count": 1,
"import_count": 0,
"first_party_contracts_count": 1
},
"summary": null,
"no_findings": null,
"schema_version": 1
}
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0208 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8542925a 00000019: GT 0000001a: PUSH2 0x0118 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xdb3543f5 00000024: GT 00000025: PUSH2 0x00a0 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xe9fad8ee 0000002f: GT 00000030: PUSH2 0x006f 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xe9fad8ee 0000003a: EQ 0000003b: PUSH2 0x078b 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf0057e09 00000045: EQ 00000046: PUSH2 0x07a2 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf5a76d33 00000050: EQ 00000051: PUSH2 0x07cb 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xfd5e823b 0000005b: EQ 0000005c: PUSH2 0x07f6 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0xff70fa49 00000066: EQ 00000067: PUSH2 0x0833 0000006a: JUMPI 0000006b: PUSH2 0x0212 0000006e: JUMP 0000006f: JUMPDEST 00000070: DUP1 00000071: PUSH4 0xdb3543f5 00000076: EQ 00000077: PUSH2 0x06e5 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xdcf6e819 00000081: EQ 00000082: PUSH2 0x070e 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xe1254fba 0000008c: EQ 0000008d: PUSH2 0x0737 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0xe1c7392a 00000097: EQ 00000098: PUSH2 0x0774 0000009b: JUMPI 0000009c: PUSH2 0x0212 0000009f: JUMP 000000a0: JUMPDEST 000000a1: DUP1 000000a2: PUSH4 0xc0c9e551 000000a7: GT 000000a8: PUSH2 0x00e7 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0xc0c9e551 000000b2: EQ 000000b3: PUSH2 0x05fc 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0xc6712ee2 000000bd: EQ 000000be: PUSH2 0x0627 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0xd355e1db 000000c8: EQ 000000c9: PUSH2 0x0664 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0xd5b34445 000000d3: EQ 000000d4: PUSH2 0x068f 000000d7: JUMPI 000000d8: DUP1 000000d9: PUSH4 0xd83a8225 000000de: EQ 000000df: PUSH2 0x06ba 000000e2: JUMPI 000000e3: PUSH2 0x0212 000000e6: JUMP 000000e7: JUMPDEST 000000e8: DUP1 000000e9: PUSH4 0x8542925a 000000ee: EQ 000000ef: PUSH2 0x053f 000000f2: JUMPI 000000f3: DUP1 000000f4: PUSH4 0x8bdff161 000000f9: EQ 000000fa: PUSH2 0x056a 000000fd: JUMPI 000000fe: DUP1 000000ff: PUSH4 0xa385714c 00000104: EQ 00000105: PUSH2 0x0581 00000108: JUMPI 00000109: DUP1 0000010a: PUSH4 0xbc566431 0000010f: EQ 00000110: PUSH2 0x05be 00000113: JUMPI 00000114: PUSH2 0x0212 00000117: JUMP 00000118: JUMPDEST 00000119: DUP1 0000011a: PUSH4 0x3ccfd60b 0000011f: GT 00000120: PUSH2 0x019b 00000123: JUMPI 00000124: DUP1 00000125: PUSH4 0x4f697c37 0000012a: GT 0000012b: PUSH2 0x016a 0000012e: JUMPI 0000012f: DUP1 00000130: PUSH4 0x4f697c37 00000135: EQ 00000136: PUSH2 0x0407 00000139: JUMPI 0000013a: DUP1 0000013b: PUSH4 0x600d20ce 00000140: EQ 00000141: PUSH2 0x0446 00000144: JUMPI 00000145: DUP1 00000146: PUSH4 0x602512e1 0000014b: EQ 0000014c: PUSH2 0x0483 0000014f: JUMPI 00000150: DUP1 00000151: PUSH4 0x6f49c34e 00000156: EQ 00000157: PUSH2 0x04c0 0000015a: JUMPI 0000015b: DUP1 0000015c: PUSH4 0x70a08231 00000161: EQ 00000162: PUSH2 0x0502 00000165: JUMPI 00000166: PUSH2 0x0212 00000169: JUMP 0000016a: JUMPDEST 0000016b: DUP1 0000016c: PUSH4 0x3ccfd60b 00000171: EQ 00000172: PUSH2 0x0373 00000175: JUMPI 00000176: DUP1 00000177: PUSH4 0x3d18b912 0000017c: EQ 0000017d: PUSH2 0x038a 00000180: JUMPI 00000181: DUP1 00000182: PUSH4 0x449472f6 00000187: EQ 00000188: PUSH2 0x03a1 0000018b: JUMPI 0000018c: DUP1 0000018d: PUSH4 0x4989c1a9 00000192: EQ 00000193: PUSH2 0x03ca 00000196: JUMPI 00000197: PUSH2 0x0212 0000019a: JUMP 0000019b: JUMPDEST 0000019c: DUP1 0000019d: PUSH4 0x2a527af9 000001a2: GT 000001a3: PUSH2 0x01d7 000001a6: JUMPI 000001a7: DUP1 000001a8: PUSH4 0x2a527af9 000001ad: EQ 000001ae: PUSH2 0x02c7 000001b1: JUMPI 000001b2: DUP1 000001b3: PUSH4 0x2a8e0326 000001b8: EQ 000001b9: PUSH2 0x02f2 000001bc: JUMPI 000001bd: DUP1 000001be: PUSH4 0x3072f253 000001c3: EQ 000001c4: PUSH2 0x031d 000001c7: JUMPI 000001c8: DUP1 000001c9: PUSH4 0x3bb54b93 000001ce: EQ 000001cf: PUSH2 0x0348 000001d2: JUMPI 000001d3: PUSH2 0x0212 000001d6: JUMP 000001d7: JUMPDEST 000001d8: DUP1 000001d9: PUSH4 0x03966c91 000001de: EQ 000001df: PUSH2 0x0217 000001e2: JUMPI 000001e3: DUP1 000001e4: PUSH4 0x05e826cd 000001e9: EQ 000001ea: PUSH2 0x0255 000001ed: JUMPI 000001ee: DUP1 000001ef: PUSH4 0x18160ddd 000001f4: EQ 000001f5: PUSH2 0x0280 000001f8: JUMPI 000001f9: DUP1 000001fa: PUSH4 0x26476204 000001ff: EQ 00000200: PUSH2 0x02ab 00000203: JUMPI 00000204: PUSH2 0x0212 00000207: JUMP 00000208: JUMPDEST 00000209: CALLDATASIZE 0000020a: PUSH2 0x0212 0000020d: JUMPI 0000020e: PUSH1 0x00 00000210: DUP1 00000211: REVERT 00000212: JUMPDEST 00000213: PUSH1 0x00 00000215: DUP1 00000216: REVERT 00000217: JUMPDEST 00000218: CALLVALUE 00000219: DUP1 0000021a: ISZERO 0000021b: PUSH2 0x0223 0000021e: JUMPI 0000021f: PUSH1 0x00 00000221: DUP1 00000222: REVERT 00000223: JUMPDEST 00000224: POP 00000225: PUSH2 0x023e 00000228: PUSH1 0x04 0000022a: DUP1 0000022b: CALLDATASIZE 0000022c: SUB 0000022d: DUP2 0000022e: ADD 0000022f: SWAP1 00000230: PUSH2 0x0239 00000233: SWAP2 00000234: SWAP1 00000235: PUSH2 0x3b26 00000238: JUMP 00000239: JUMPDEST 0000023a: PUSH2 0x085c 0000023d: JUMP 0000023e: JUMPDEST 0000023f: PUSH1 0x40 00000241: MLOAD 00000242: PUSH2 0x024c 00000245: SWAP3 00000246: SWAP2 00000247: SWAP1 00000248: PUSH2 0x444f 0000024b: JUMP 0000024c: JUMPDEST 0000024d: PUSH1 0x40 0000024f: MLOAD 00000250: DUP1 00000251: SWAP2 00000252: SUB 00000253: SWAP1 00000254: RETURN 00000255: JUMPDEST 00000256: CALLVALUE 00000257: DUP1 00000258: ISZERO 00000259: PUSH2 0x0261 0000025c: JUMPI 0000025d: PUSH1 0x00 0000025f: DUP1 00000260: REVERT 00000261: JUMPDEST 00000262: POP 00000263: PUSH2 0x026a 00000266: PUSH2 0x0b02 00000269: JUMP 0000026a: JUMPDEST 0000026b: PUSH1 0x40 0000026d: MLOAD 0000026e: PUSH2 0x0277 00000271: SWAP2 00000272: SWAP1 00000273: PUSH2 0x41de 00000276: JUMP 00000277: JUMPDEST 00000278: PUSH1 0x40 0000027a: MLOAD 0000027b: DUP1 0000027c: SWAP2 0000027d: SUB 0000027e: SWAP1 0000027f: RETURN 00000280: JUMPDEST 00000281: CALLVALUE 00000282: DUP1 00000283: ISZERO 00000284: PUSH2 0x028c 00000287: JUMPI 00000288: PUSH1 0x00 0000028a: DUP1 0000028b: REVERT 0000028c: JUMPDEST 0000028d: POP 0000028e: PUSH2 0x0295 00000291: PUSH2 0x0b15 00000294: JUMP 00000295: JUMPDEST 00000296: PUSH1 0x40 00000298: MLOAD 00000299: PUSH2 0x02a2 0000029c: SWAP2 0000029d: SWAP1 0000029e: PUSH2 0x440b 000002a1: JUMP 000002a2: JUMPDEST 000002a3: PUSH1 0x40 000002a5: MLOAD 000002a6: DUP1 000002a7: SWAP2 000002a8: SUB 000002a9: SWAP1 000002aa: RETURN 000002ab: JUMPDEST 000002ac: PUSH2 0x02c5 000002af: PUSH1 0x04 000002b1: DUP1 000002b2: CALLDATASIZE 000002b3: SUB 000002b4: DUP2 000002b5: ADD 000002b6: SWAP1 000002b7: PUSH2 0x02c0 000002ba: SWAP2 000002bb: SWAP1 000002bc: PUSH2 0x3b26 000002bf: JUMP 000002c0: JUMPDEST 000002c1: PUSH2 0x0b1f 000002c4: JUMP 000002c5: JUMPDEST 000002c6: STOP 000002c7: JUMPDEST 000002c8: CALLVALUE 000002c9: DUP1 000002ca: ISZERO 000002cb: PUSH2 0x02d3 000002ce: JUMPI 000002cf: PUSH1 0x00 000002d1: DUP1 000002d2: REVERT 000002d3: JUMPDEST 000002d4: POP 000002d5: PUSH2 0x02dc 000002d8: PUSH2 0x0ccc 000002db: JUMP 000002dc: JUMPDEST 000002dd: PUSH1 0x40 000002df: MLOAD 000002e0: PUSH2 0x02e9 000002e3: SWAP2 000002e4: SWAP1 000002e5: PUSH2 0x440b 000002e8: JUMP 000002e9: JUMPDEST 000002ea: PUSH1 0x40 000002ec: MLOAD 000002ed: DUP1 000002ee: SWAP2 000002ef: SUB 000002f0: SWAP1 000002f1: RETURN 000002f2: JUMPDEST 000002f3: CALLVALUE 000002f4: DUP1 000002f5: ISZERO 000002f6: PUSH2 0x02fe 000002f9: JUMPI 000002fa: PUSH1 0x00 000002fc: DUP1 000002fd: REVERT 000002fe: JUMPDEST 000002ff: POP 00000300: PUSH2 0x0307 00000303: PUSH2 0x0cd2 00000306: JUMP 00000307: JUMPDEST 00000308: PUSH1 0x40 0000030a: MLOAD 0000030b: PUSH2 0x0314 0000030e: SWAP2 0000030f: SWAP1 00000310: PUSH2 0x440b 00000313: JUMP 00000314: JUMPDEST 00000315: PUSH1 0x40 00000317: MLOAD 00000318: DUP1 00000319: SWAP2 0000031a: SUB 0000031b: SWAP1 0000031c: RETURN 0000031d: JUMPDEST 0000031e: CALLVALUE 0000031f: DUP1 00000320: ISZERO 00000321: PUSH2 0x0329 00000324: JUMPI 00000325: PUSH1 0x00 00000327: DUP1 00000328: REVERT 00000329: JUMPDEST 0000032a: POP 0000032b: PUSH2 0x0332 0000032e: PUSH2 0x0cd8 00000331: JUMP 00000332: JUMPDEST 00000333: PUSH1 0x40 00000335: MLOAD 00000336: PUSH2 0x033f 00000339: SWAP2 0000033a: SWAP1 0000033b: PUSH2 0x440b 0000033e: JUMP 0000033f: JUMPDEST 00000340: PUSH1 0x40 00000342: MLOAD 00000343: DUP1 00000344: SWAP2 00000345: SUB 00000346: SWAP1 00000347: RETURN 00000348: JUMPDEST 00000349: CALLVALUE 0000034a: DUP1 0000034b: ISZERO 0000034c: PUSH2 0x0354 0000034f: JUMPI 00000350: PUSH1 0x00 00000352: DUP1 00000353: REVERT 00000354: JUMPDEST 00000355: POP 00000356: PUSH2 0x035d 00000359: PUSH2 0x0cde 0000035c: JUMP 0000035d: JUMPDEST 0000035e: PUSH1 0x40 00000360: MLOAD 00000361: PUSH2 0x036a 00000364: SWAP2 00000365: SWAP1 00000366: PUSH2 0x4134 00000369: JUMP 0000036a: JUMPDEST 0000036b: PUSH1 0x40 0000036d: MLOAD 0000036e: DUP1 0000036f: SWAP2 00000370: SUB 00000371: SWAP1 00000372: RETURN 00000373: JUMPDEST 00000374: CALLVALUE 00000375: DUP1 00000376: ISZERO 00000377: PUSH2 0x037f 0000037a: JUMPI 0000037b: PUSH1 0x00 0000037d: DUP1 0000037e: REVERT 0000037f: JUMPDEST 00000380: POP 00000381: PUSH2 0x0388 00000384: PUSH2 0x0d04 00000387: JUMP 00000388: JUMPDEST 00000389: STOP 0000038a: JUMPDEST 0000038b: CALLVALUE 0000038c: DUP1 0000038d: ISZERO 0000038e: PUSH2 0x0396 00000391: JUMPI 00000392: PUSH1 0x00 00000394: DUP1 00000395: REVERT 00000396: JUMPDEST 00000397: POP 00000398: PUSH2 0x039f 0000039b: PUSH2 0x10c6 0000039e: JUMP 0000039f: JUMPDEST 000003a0: STOP 000003a1: JUMPDEST 000003a2: CALLVALUE 000003a3: DUP1 000003a4: ISZERO 000003a5: PUSH2 0x03ad 000003a8: JUMPI 000003a9: PUSH1 0x00 000003ab: DUP1 000003ac: REVERT 000003ad: JUMPDEST 000003ae: POP 000003af: PUSH2 0x03c8 000003b2: PUSH1 0x04 000003b4: DUP1 000003b5: CALLDATASIZE 000003b6: SUB 000003b7: DUP2 000003b8: ADD 000003b9: SWAP1 000003ba: PUSH2 0x03c3 000003bd: SWAP2 000003be: SWAP1 000003bf: PUSH2 0x3ba1 000003c2: JUMP 000003c3: JUMPDEST 000003c4: PUSH2 0x149a 000003c7: JUMP 000003c8: JUMPDEST 000003c9: STOP 000003ca: JUMPDEST 000003cb: CALLVALUE 000003cc: DUP1 000003cd: ISZERO 000003ce: PUSH2 0x03d6 000003d1: JUMPI 000003d2: PUSH1 0x00 000003d4: DUP1 000003d5: REVERT 000003d6: JUMPDEST 000003d7: POP 000003d8: PUSH2 0x03f1 000003db: PUSH1 0x04 000003dd: DUP1 000003de: CALLDATASIZE 000003df: SUB 000003e0: DUP2 000003e1: ADD 000003e2: SWAP1 000003e3: PUSH2 0x03ec 000003e6: SWAP2 000003e7: SWAP1 000003e8: PUSH2 0x3ba1 000003eb: JUMP 000003ec: JUMPDEST 000003ed: PUSH2 0x1522 000003f0: JUMP 000003f1: JUMPDEST 000003f2: PUSH1 0x40 000003f4: MLOAD 000003f5: PUSH2 0x03fe 000003f8: SWAP2 000003f9: SWAP1 000003fa: PUSH2 0x440b 000003fd: JUMP 000003fe: JUMPDEST 000003ff: PUSH1 0x40 00000401: MLOAD 00000402: DUP1 00000403: SWAP2 00000404: SUB 00000405: SWAP1 00000406: RETURN 00000407: JUMPDEST 00000408: CALLVALUE 00000409: DUP1 0000040a: ISZERO 0000040b: PUSH2 0x0413 0000040e: JUMPI 0000040f: PUSH1 0x00 00000411: DUP1 00000412: REVERT 00000413: JUMPDEST 00000414: POP 00000415: PUSH2 0x042e 00000418: PUSH1 0x04 0000041a: DUP1 0000041b: CALLDATASIZE 0000041c: SUB 0000041d: DUP2 0000041e: ADD 0000041f: SWAP1 00000420: PUSH2 0x0429 00000423: SWAP2 00000424: SWAP1 00000425: PUSH2 0x3b26 00000428: JUMP 00000429: JUMPDEST 0000042a: PUSH2 0x1543 0000042d: JUMP 0000042e: JUMPDEST 0000042f: PUSH1 0x40 00000431: MLOAD 00000432: PUSH2 0x043d 00000435: SWAP4 00000436: SWAP3 00000437: SWAP2 00000438: SWAP1 00000439: PUSH2 0x41f9 0000043c: JUMP 0000043d: JUMPDEST 0000043e: PUSH1 0x40 00000440: MLOAD 00000441: DUP1 00000442: SWAP2 00000443: SUB 00000444: SWAP1 00000445: RETURN 00000446: JUMPDEST 00000447: CALLVALUE 00000448: DUP1 00000449: ISZERO 0000044a: PUSH2 0x0452 0000044d: JUMPI 0000044e: PUSH1 0x00 00000450: DUP1 00000451: REVERT 00000452: JUMPDEST 00000453: POP 00000454: PUSH2 0x046d 00000457: PUSH1 0x04 00000459: DUP1 0000045a: CALLDATASIZE 0000045b: SUB 0000045c: DUP2 0000045d: ADD 0000045e: SWAP1 0000045f: PUSH2 0x0468 00000462: SWAP2 00000463: SWAP1 00000464: PUSH2 0x3ba1 00000467: JUMP 00000468: JUMPDEST 00000469: PUSH2 0x159a 0000046c: JUMP 0000046d: JUMPDEST 0000046e: PUSH1 0x40 00000470: MLOAD 00000471: PUSH2 0x047a 00000474: SWAP2 00000475: SWAP1 00000476: PUSH2 0x440b 00000479: JUMP 0000047a: JUMPDEST 0000047b: PUSH1 0x40 0000047d: MLOAD 0000047e: DUP1 0000047f: SWAP2 00000480: SUB 00000481: SWAP1 00000482: RETURN 00000483: JUMPDEST 00000484: CALLVALUE 00000485: DUP1 00000486: ISZERO 00000487: PUSH2 0x048f 0000048a: JUMPI 0000048b: PUSH1 0x00 0000048d: DUP1 0000048e: REVERT 0000048f: JUMPDEST 00000490: POP 00000491: PUSH2 0x04aa 00000494: PUSH1 0x04 00000496: DUP1 00000497: CALLDATASIZE 00000498: SUB 00000499: DUP2 0000049a: ADD 0000049b: SWAP1 0000049c: PUSH2 0x04a5 0000049f: SWAP2 000004a0: SWAP1 000004a1: PUSH2 0x3ba1 000004a4: JUMP 000004a5: JUMPDEST 000004a6: PUSH2 0x15bb 000004a9: JUMP 000004aa: JUMPDEST 000004ab: PUSH1 0x40 000004ad: MLOAD 000004ae: PUSH2 0x04b7 000004b1: SWAP2 000004b2: SWAP1 000004b3: PUSH2 0x440b 000004b6: JUMP 000004b7: JUMPDEST 000004b8: PUSH1 0x40 000004ba: MLOAD 000004bb: DUP1 000004bc: SWAP2 000004bd: SUB 000004be: SWAP1 000004bf: RETURN 000004c0: JUMPDEST 000004c1: CALLVALUE 000004c2: DUP1 000004c3: ISZERO 000004c4: PUSH2 0x04cc 000004c7: JUMPI 000004c8: PUSH1 0x00 000004ca: DUP1 000004cb: REVERT 000004cc: JUMPDEST 000004cd: POP 000004ce: PUSH2 0x04e7 000004d1: PUSH1 0x04 000004d3: DUP1 000004d4: CALLDATASIZE 000004d5: SUB 000004d6: DUP2 000004d7: ADD 000004d8: SWAP1 000004d9: PUSH2 0x04e2 000004dc: SWAP2 000004dd: SWAP1 000004de: PUSH2 0x3b26 000004e1: JUMP 000004e2: JUMPDEST 000004e3: PUSH2 0x1718 000004e6: JUMP 000004e7: JUMPDEST 000004e8: PUSH1 0x40 000004ea: MLOAD 000004eb: PUSH2 0x04f9 000004ee: SWAP7 000004ef: SWAP6 000004f0: SWAP5 000004f1: SWAP4 000004f2: SWAP3 000004f3: SWAP2 000004f4: SWAP1 000004f5: PUSH2 0x4478 000004f8: JUMP 000004f9: JUMPDEST 000004fa: PUSH1 0x40 000004fc: MLOAD 000004fd: DUP1 000004fe: SWAP2 000004ff: SUB 00000500: SWAP1 00000501: RETURN 00000502: JUMPDEST 00000503: CALLVALUE 00000504: DUP1 00000505: ISZERO 00000506: PUSH2 0x050e 00000509: JUMPI 0000050a: PUSH1 0x00 0000050c: DUP1 0000050d: REVERT 0000050e: JUMPDEST 0000050f: POP 00000510: PUSH2 0x0529 00000513: PUSH1 0x04 00000515: DUP1 00000516: CALLDATASIZE 00000517: SUB 00000518: DUP2 00000519: ADD 0000051a: SWAP1 0000051b: PUSH2 0x0524 0000051e: SWAP2 0000051f: SWAP1 00000520: PUSH2 0x3b26 00000523: JUMP 00000524: JUMPDEST 00000525: PUSH2 0x1761 00000528: JUMP 00000529: JUMPDEST 0000052a: PUSH1 0x40 0000052c: MLOAD 0000052d: PUSH2 0x0536 00000530: SWAP2 00000531: SWAP1 00000532: PUSH2 0x440b 00000535: JUMP 00000536: JUMPDEST 00000537: PUSH1 0x40 00000539: MLOAD 0000053a: DUP1 0000053b: SWAP2 0000053c: SUB 0000053d: SWAP1 0000053e: RETURN 0000053f: JUMPDEST 00000540: CALLVALUE 00000541: DUP1 00000542: ISZERO 00000543: PUSH2 0x054b 00000546: JUMPI 00000547: PUSH1 0x00 00000549: DUP1 0000054a: REVERT 0000054b: JUMPDEST 0000054c: POP 0000054d: PUSH2 0x0554 00000550: PUSH2 0x1861 00000553: JUMP 00000554: JUMPDEST 00000555: PUSH1 0x40 00000557: MLOAD 00000558: PUSH2 0x0561 0000055b: SWAP2 0000055c: SWAP1 0000055d: PUSH2 0x4230 00000560: JUMP 00000561: JUMPDEST 00000562: PUSH1 0x40 00000564: MLOAD 00000565: DUP1 00000566: SWAP2 00000567: SUB 00000568: SWAP1 00000569: RETURN 0000056a: JUMPDEST 0000056b: CALLVALUE 0000056c: DUP1 0000056d: ISZERO 0000056e: PUSH2 0x0576 00000571: JUMPI 00000572: PUSH1 0x00 00000574: DUP1 00000575: REVERT 00000576: JUMPDEST 00000577: POP 00000578: PUSH2 0x057f 0000057b: PUSH2 0x1885 0000057e: JUMP 0000057f: JUMPDEST 00000580: STOP 00000581: JUMPDEST 00000582: CALLVALUE 00000583: DUP1 00000584: ISZERO 00000585: PUSH2 0x058d 00000588: JUMPI 00000589: PUSH1 0x00 0000058b: DUP1 0000058c: REVERT 0000058d: JUMPDEST 0000058e: POP 0000058f: PUSH2 0x05a8 00000592: PUSH1 0x04 00000594: DUP1 00000595: CALLDATASIZE 00000596: SUB 00000597: DUP2 00000598: ADD 00000599: SWAP1 0000059a: PUSH2 0x05a3 0000059d: SWAP2 0000059e: SWAP1 0000059f: PUSH2 0x3b26 000005a2: JUMP 000005a3: JUMPDEST 000005a4: PUSH2 0x1a2c 000005a7: JUMP 000005a8: JUMPDEST 000005a9: PUSH1 0x40 000005ab: MLOAD 000005ac: PUSH2 0x05b5 000005af: SWAP2 000005b0: SWAP1 000005b1: PUSH2 0x440b 000005b4: JUMP 000005b5: JUMPDEST 000005b6: PUSH1 0x40 000005b8: MLOAD 000005b9: DUP1 000005ba: SWAP2 000005bb: SUB 000005bc: SWAP1 000005bd: RETURN 000005be: JUMPDEST 000005bf: CALLVALUE 000005c0: DUP1 000005c1: ISZERO 000005c2: PUSH2 0x05ca 000005c5: JUMPI 000005c6: PUSH1 0x00 000005c8: DUP1 000005c9: REVERT 000005ca: JUMPDEST 000005cb: POP 000005cc: PUSH2 0x05e5 000005cf: PUSH1 0x04 000005d1: DUP1 000005d2: CALLDATASIZE 000005d3: SUB 000005d4: DUP2 000005d5: ADD 000005d6: SWAP1 000005d7: PUSH2 0x05e0 000005da: SWAP2 000005db: SWAP1 000005dc: PUSH2 0x3ba1 000005df: JUMP 000005e0: JUMPDEST 000005e1: PUSH2 0x1fea 000005e4: JUMP 000005e5: JUMPDEST 000005e6: PUSH1 0x40 000005e8: MLOAD 000005e9: PUSH2 0x05f3 000005ec: SWAP3 000005ed: SWAP2 000005ee: SWAP1 000005ef: PUSH2 0x4426 000005f2: JUMP 000005f3: JUMPDEST 000005f4: PUSH1 0x40 000005f6: MLOAD 000005f7: DUP1 000005f8: SWAP2 000005f9: SUB 000005fa: SWAP1 000005fb: RETURN 000005fc: JUMPDEST 000005fd: CALLVALUE 000005fe: DUP1 000005ff: ISZERO 00000600: PUSH2 0x0608 00000603: JUMPI 00000604: PUSH1 0x00 00000606: DUP1 00000607: REVERT 00000608: JUMPDEST 00000609: POP 0000060a: PUSH2 0x0611 0000060d: PUSH2 0x201b 00000610: JUMP 00000611: JUMPDEST 00000612: PUSH1 0x40 00000614: MLOAD 00000615: PUSH2 0x061e 00000618: SWAP2 00000619: SWAP1 0000061a: PUSH2 0x440b 0000061d: JUMP 0000061e: JUMPDEST 0000061f: PUSH1 0x40 00000621: MLOAD 00000622: DUP1 00000623: SWAP2 00000624: SUB 00000625: SWAP1 00000626: RETURN 00000627: JUMPDEST 00000628: CALLVALUE 00000629: DUP1 0000062a: ISZERO 0000062b: PUSH2 0x0633 0000062e: JUMPI 0000062f: PUSH1 0x00 00000631: DUP1 00000632: REVERT 00000633: JUMPDEST 00000634: POP 00000635: PUSH2 0x064e 00000638: PUSH1 0x04 0000063a: DUP1 0000063b: CALLDATASIZE 0000063c: SUB 0000063d: DUP2 0000063e: ADD 0000063f: SWAP1 00000640: PUSH2 0x0649 00000643: SWAP2 00000644: SWAP1 00000645: PUSH2 0x3b26 00000648: JUMP 00000649: JUMPDEST 0000064a: PUSH2 0x2021 0000064d: JUMP 0000064e: JUMPDEST 0000064f: PUSH1 0x40 00000651: MLOAD 00000652: PUSH2 0x065b 00000655: SWAP2 00000656: SWAP1 00000657: PUSH2 0x440b 0000065a: JUMP 0000065b: JUMPDEST 0000065c: PUSH1 0x40 0000065e: MLOAD 0000065f: DUP1 00000660: SWAP2 00000661: SUB 00000662: SWAP1 00000663: RETURN 00000664: JUMPDEST 00000665: CALLVALUE 00000666: DUP1 00000667: ISZERO 00000668: PUSH2 0x0670 0000066b: JUMPI 0000066c: PUSH1 0x00 0000066e: DUP1 0000066f: REVERT 00000670: JUMPDEST 00000671: POP 00000672: PUSH2 0x0679 00000675: PUSH2 0x2039 00000678: JUMP 00000679: JUMPDEST 0000067a: PUSH1 0x40 0000067c: MLOAD 0000067d: PUSH2 0x0686 00000680: SWAP2 00000681: SWAP1 00000682: PUSH2 0x440b 00000685: JUMP 00000686: JUMPDEST 00000687: PUSH1 0x40 00000689: MLOAD 0000068a: DUP1 0000068b: SWAP2 0000068c: SUB 0000068d: SWAP1 0000068e: RETURN 0000068f: JUMPDEST 00000690: CALLVALUE 00000691: DUP1 00000692: ISZERO 00000693: PUSH2 0x069b 00000696: JUMPI 00000697: PUSH1 0x00 00000699: DUP1 0000069a: REVERT 0000069b: JUMPDEST 0000069c: POP 0000069d: PUSH2 0x06a4 000006a0: PUSH2 0x203f 000006a3: JUMP 000006a4: JUMPDEST 000006a5: PUSH1 0x40 000006a7: MLOAD 000006a8: PUSH2 0x06b1 000006ab: SWAP2 000006ac: SWAP1 000006ad: PUSH2 0x414f 000006b0: JUMP 000006b1: JUMPDEST 000006b2: PUSH1 0x40 000006b4: MLOAD 000006b5: DUP1 000006b6: SWAP2 000006b7: SUB 000006b8: SWAP1 000006b9: RETURN 000006ba: JUMPDEST 000006bb: CALLVALUE 000006bc: DUP1 000006bd: ISZERO 000006be: PUSH2 0x06c6 000006c1: JUMPI 000006c2: PUSH1 0x00 000006c4: DUP1 000006c5: REVERT 000006c6: JUMPDEST 000006c7: POP 000006c8: PUSH2 0x06cf 000006cb: PUSH2 0x2065 000006ce: JUMP 000006cf: JUMPDEST 000006d0: PUSH1 0x40 000006d2: MLOAD 000006d3: PUSH2 0x06dc 000006d6: SWAP2 000006d7: SWAP1 000006d8: PUSH2 0x440b 000006db: JUMP 000006dc: JUMPDEST 000006dd: PUSH1 0x40 000006df: MLOAD 000006e0: DUP1 000006e1: SWAP2 000006e2: SUB 000006e3: SWAP1 000006e4: RETURN 000006e5: JUMPDEST 000006e6: CALLVALUE 000006e7: DUP1 000006e8: ISZERO 000006e9: PUSH2 0x06f1 000006ec: JUMPI 000006ed: PUSH1 0x00 000006ef: DUP1 000006f0: REVERT 000006f1: JUMPDEST 000006f2: POP 000006f3: PUSH2 0x070c 000006f6: PUSH1 0x04 000006f8: DUP1 000006f9: CALLDATASIZE 000006fa: SUB 000006fb: DUP2 000006fc: ADD 000006fd: SWAP1 000006fe: PUSH2 0x0707 00000701: SWAP2 00000702: SWAP1 00000703: PUSH2 0x3b4f 00000706: JUMP 00000707: JUMPDEST 00000708: PUSH2 0x206b 0000070b: JUMP 0000070c: JUMPDEST 0000070d: STOP 0000070e: JUMPDEST 0000070f: CALLVALUE 00000710: DUP1 00000711: ISZERO 00000712: PUSH2 0x071a 00000715: JUMPI 00000716: PUSH1 0x00 00000718: DUP1 00000719: REVERT 0000071a: JUMPDEST 0000071b: POP 0000071c: PUSH2 0x0735 0000071f: PUSH1 0x04 00000721: DUP1 00000722: CALLDATASIZE 00000723: SUB 00000724: DUP2 00000725: ADD 00000726: SWAP1 00000727: PUSH2 0x0730 0000072a: SWAP2 0000072b: SWAP1 0000072c: PUSH2 0x3b26 0000072f: JUMP 00000730: JUMPDEST 00000731: PUSH2 0x2179 00000734: JUMP 00000735: JUMPDEST 00000736: STOP 00000737: JUMPDEST 00000738: CALLVALUE 00000739: DUP1 0000073a: ISZERO 0000073b: PUSH2 0x0743 0000073e: JUMPI 0000073f: PUSH1 0x00 00000741: DUP1 00000742: REVERT 00000743: JUMPDEST 00000744: POP 00000745: PUSH2 0x075e 00000748: PUSH1 0x04 0000074a: DUP1 0000074b: CALLDATASIZE 0000074c: SUB 0000074d: DUP2 0000074e: ADD 0000074f: SWAP1 00000750: PUSH2 0x0759 00000753: SWAP2 00000754: SWAP1 00000755: PUSH2 0x3b26 00000758: JUMP 00000759: JUMPDEST 0000075a: PUSH2 0x2287 0000075d: JUMP 0000075e: JUMPDEST 0000075f: PUSH1 0x40 00000761: MLOAD 00000762: PUSH2 0x076b 00000765: SWAP2 00000766: SWAP1 00000767: PUSH2 0x41bc 0000076a: JUMP 0000076b: JUMPDEST 0000076c: PUSH1 0x40 0000076e: MLOAD 0000076f: DUP1 00000770: SWAP2 00000771: SUB 00000772: SWAP1 00000773: RETURN 00000774: JUMPDEST 00000775: CALLVALUE 00000776: DUP1 00000777: ISZERO 00000778: PUSH2 0x0780 0000077b: JUMPI 0000077c: PUSH1 0x00 0000077e: DUP1 0000077f: REVERT 00000780: JUMPDEST 00000781: POP 00000782: PUSH2 0x0789 00000785: PUSH2 0x25d7 00000788: JUMP 00000789: JUMPDEST 0000078a: STOP 0000078b: JUMPDEST 0000078c: CALLVALUE 0000078d: DUP1 0000078e: ISZERO 0000078f: PUSH2 0x0797 00000792: JUMPI 00000793: PUSH1 0x00 00000795: DUP1 00000796: REVERT 00000797: JUMPDEST 00000798: POP 00000799: PUSH2 0x07a0 0000079c: PUSH2 0x2733 0000079f: JUMP 000007a0: JUMPDEST 000007a1: STOP 000007a2: JUMPDEST 000007a3: CALLVALUE 000007a4: DUP1 000007a5: ISZERO 000007a6: PUSH2 0x07ae 000007a9: JUMPI 000007aa: PUSH1 0x00 000007ac: DUP1 000007ad: REVERT 000007ae: JUMPDEST 000007af: POP 000007b0: PUSH2 0x07c9 000007b3: PUSH1 0x04 000007b5: DUP1 000007b6: CALLDATASIZE 000007b7: SUB 000007b8: DUP2 000007b9: ADD 000007ba: SWAP1 000007bb: PUSH2 0x07c4 000007be: SWAP2 000007bf: SWAP1 000007c0: PUSH2 0x3ba1 000007c3: JUMP 000007c4: JUMPDEST 000007c5: PUSH2 0x2791 000007c8: JUMP 000007c9: JUMPDEST 000007ca: STOP 000007cb: JUMPDEST 000007cc: CALLVALUE 000007cd: DUP1 000007ce: ISZERO 000007cf: PUSH2 0x07d7 000007d2: JUMPI 000007d3: PUSH1 0x00 000007d5: DUP1 000007d6: REVERT 000007d7: JUMPDEST 000007d8: POP 000007d9: PUSH2 0x07e0 000007dc: PUSH2 0x2819 000007df: JUMP 000007e0: JUMPDEST 000007e1: PUSH1 0x40 000007e3: MLOAD 000007e4: PUSH2 0x07ed 000007e7: SWAP2 000007e8: SWAP1 000007e9: PUSH2 0x414f 000007ec: JUMP 000007ed: JUMPDEST 000007ee: PUSH1 0x40 000007f0: MLOAD 000007f1: DUP1 000007f2: SWAP2 000007f3: SUB 000007f4: SWAP1 000007f5: RETURN 000007f6: JUMPDEST 000007f7: CALLVALUE 000007f8: DUP1 000007f9: ISZERO 000007fa: PUSH2 0x0802 000007fd: JUMPI 000007fe: PUSH1 0x00 00000800: DUP1 00000801: REVERT 00000802: JUMPDEST 00000803: POP 00000804: PUSH2 0x081d 00000807: PUSH1 0x04 00000809: DUP1 0000080a: CALLDATASIZE 0000080b: SUB 0000080c: DUP2 0000080d: ADD 0000080e: SWAP1 0000080f: PUSH2 0x0818 00000812: SWAP2 00000813: SWAP1 00000814: PUSH2 0x3b26 00000817: JUMP 00000818: JUMPDEST 00000819: PUSH2 0x283f 0000081c: JUMP 0000081d: JUMPDEST 0000081e: PUSH1 0x40 00000820: MLOAD 00000821: PUSH2 0x082a 00000824: SWAP2 00000825: SWAP1 00000826: PUSH2 0x440b 00000829: JUMP 0000082a: JUMPDEST 0000082b: PUSH1 0x40 0000082d: MLOAD 0000082e: DUP1 0000082f: SWAP2 00000830: SUB 00000831: SWAP1 00000832: RETURN 00000833: JUMPDEST 00000834: CALLVALUE 00000835: DUP1 00000836: ISZERO 00000837: PUSH2 0x083f 0000083a: JUMPI 0000083b: PUSH1 0x00 0000083d: DUP1 0000083e: REVERT 0000083f: JUMPDEST 00000840: POP 00000841: PUSH2 0x085a 00000844: PUSH1 0x04 00000846: DUP1 00000847: CALLDATASIZE 00000848: SUB 00000849: DUP2 0000084a: ADD 0000084b: SWAP1 0000084c: PUSH2 0x0855 0000084f: SWAP2 00000850: SWAP1 00000851: PUSH2 0x3b4f 00000854: JUMP 00000855: JUMPDEST 00000856: PUSH2 0x2895 00000859: JUMP 0000085a: JUMPDEST 0000085b: STOP 0000085c: JUMPDEST 0000085d: PUSH1 0x00 0000085f: DUP1 00000860: PUSH2 0x0867 00000863: PUSH2 0x3a53 00000866: JUMP 00000867: JUMPDEST 00000868: PUSH1 0x09 0000086a: PUSH1 0x00 0000086c: DUP6 0000086d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000882: AND 00000883: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000898: AND 00000899: DUP2 0000089a: MSTORE 0000089b: PUSH1 0x20 0000089d: ADD 0000089e: SWAP1 0000089f: DUP2 000008a0: MSTORE 000008a1: PUSH1 0x20 000008a3: ADD 000008a4: PUSH1 0x00 000008a6: KECCAK256 000008a7: PUSH1 0x40 000008a9: MLOAD 000008aa: DUP1 000008ab: PUSH1 0xc0 000008ad: ADD 000008ae: PUSH1 0x40 000008b0: MSTORE 000008b1: SWAP1 000008b2: DUP2 000008b3: PUSH1 0x00 000008b5: DUP3 000008b6: ADD 000008b7: PUSH1 0x00 000008b9: SWAP1 000008ba: SLOAD 000008bb: SWAP1 000008bc: PUSH2 0x0100 000008bf: EXP 000008c0: SWAP1 000008c1: DIV 000008c2: PUSH1 0xff 000008c4: AND 000008c5: ISZERO 000008c6: ISZERO 000008c7: ISZERO 000008c8: ISZERO 000008c9: DUP2 000008ca: MSTORE 000008cb: PUSH1 0x20 000008cd: ADD 000008ce: PUSH1 0x01 000008d0: DUP3 000008d1: ADD 000008d2: SLOAD 000008d3: DUP2 000008d4: MSTORE 000008d5: PUSH1 0x20 000008d7: ADD 000008d8: PUSH1 0x02 000008da: DUP3 000008db: ADD 000008dc: DUP1 000008dd: SLOAD 000008de: DUP1 000008df: PUSH1 0x20 000008e1: MUL 000008e2: PUSH1 0x20 000008e4: ADD 000008e5: PUSH1 0x40 000008e7: MLOAD 000008e8: SWAP1 000008e9: DUP2 000008ea: ADD 000008eb: PUSH1 0x40 000008ed: MSTORE 000008ee: DUP1 000008ef: SWAP3 000008f0: SWAP2 000008f1: SWAP1 000008f2: DUP2 000008f3: DUP2 000008f4: MSTORE 000008f5: PUSH1 0x20 000008f7: ADD 000008f8: PUSH1 0x00 000008fa: SWAP1 000008fb: JUMPDEST 000008fc: DUP3 000008fd: DUP3 000008fe: LT 000008ff: ISZERO 00000900: PUSH2 0x0970 00000903: JUMPI 00000904: DUP4 00000905: DUP3 00000906: SWAP1 00000907: PUSH1 0x00 00000909: MSTORE 0000090a: PUSH1 0x20 0000090c: PUSH1 0x00 0000090e: KECCAK256 0000090f: SWAP1 00000910: PUSH1 0x05 00000912: MUL 00000913: ADD 00000914: PUSH1 0x40 00000916: MLOAD 00000917: DUP1 00000918: PUSH1 0xa0 0000091a: ADD 0000091b: PUSH1 0x40 0000091d: MSTORE 0000091e: SWAP1 0000091f: DUP2 00000920: PUSH1 0x00 00000922: DUP3 00000923: ADD 00000924: SLOAD 00000925: DUP2 00000926: MSTORE 00000927: PUSH1 0x20 00000929: ADD 0000092a: PUSH1 0x01 0000092c: DUP3 0000092d: ADD 0000092e: SLOAD 0000092f: DUP2 00000930: MSTORE 00000931: PUSH1 0x20 00000933: ADD 00000934: PUSH1 0x02 00000936: DUP3 00000937: ADD 00000938: SLOAD 00000939: DUP2 0000093a: MSTORE 0000093b: PUSH1 0x20 0000093d: ADD 0000093e: PUSH1 0x03 00000940: DUP3 00000941: ADD 00000942: PUSH1 0x00 00000944: SWAP1 00000945: SLOAD 00000946: SWAP1 00000947: PUSH2 0x0100 0000094a: EXP 0000094b: SWAP1 0000094c: DIV 0000094d: PUSH1 0xff 0000094f: AND 00000950: ISZERO 00000951: ISZERO 00000952: ISZERO 00000953: ISZERO 00000954: DUP2 00000955: MSTORE 00000956: PUSH1 0x20 00000958: ADD 00000959: PUSH1 0x04 0000095b: DUP3 0000095c: ADD 0000095d: SLOAD 0000095e: DUP2 0000095f: MSTORE 00000960: POP 00000961: POP 00000962: DUP2 00000963: MSTORE 00000964: PUSH1 0x20 00000966: ADD 00000967: SWAP1 00000968: PUSH1 0x01 0000096a: ADD 0000096b: SWAP1 0000096c: PUSH2 0x08fb 0000096f: JUMP 00000970: JUMPDEST 00000971: POP 00000972: POP 00000973: POP 00000974: POP 00000975: DUP2 00000976: MSTORE 00000977: PUSH1 0x20 00000979: ADD 0000097a: PUSH1 0x03 0000097c: DUP3 0000097d: ADD 0000097e: PUSH1 0x00 00000980: SWAP1 00000981: SLOAD 00000982: SWAP1 00000983: PUSH2 0x0100 00000986: EXP 00000987: SWAP1 00000988: DIV 00000989: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000099e: AND 0000099f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009b4: AND 000009b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009ca: AND 000009cb: DUP2 000009cc: MSTORE 000009cd: PUSH1 0x20 000009cf: ADD 000009d0: PUSH1 0x04 000009d2: DUP3 000009d3: ADD 000009d4: DUP1 000009d5: SLOAD 000009d6: DUP1 000009d7: PUSH1 0x20 000009d9: MUL 000009da: PUSH1 0x20 000009dc: ADD 000009dd: PUSH1 0x40 000009df: MLOAD 000009e0: SWAP1 000009e1: DUP2 000009e2: ADD 000009e3: PUSH1 0x40 000009e5: MSTORE 000009e6: DUP1 000009e7: SWAP3 000009e8: SWAP2 000009e9: SWAP1 000009ea: DUP2 000009eb: DUP2 000009ec: MSTORE 000009ed: PUSH1 0x20 000009ef: ADD 000009f0: DUP3 000009f1: DUP1 000009f2: SLOAD 000009f3: DUP1 000009f4: ISZERO 000009f5: PUSH2 0x0a53 000009f8: JUMPI 000009f9: PUSH1 0x20 000009fb: MUL 000009fc: DUP3 000009fd: ADD 000009fe: SWAP2 000009ff: SWAP1 00000a00: PUSH1 0x00 00000a02: MSTORE 00000a03: PUSH1 0x20 00000a05: PUSH1 0x00 00000a07: KECCAK256 00000a08: SWAP1 00000a09: JUMPDEST 00000a0a: DUP2 00000a0b: PUSH1 0x00 00000a0d: SWAP1 00000a0e: SLOAD 00000a0f: SWAP1 00000a10: PUSH2 0x0100 00000a13: EXP 00000a14: SWAP1 00000a15: DIV 00000a16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a2b: AND 00000a2c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a41: AND 00000a42: DUP2 00000a43: MSTORE 00000a44: PUSH1 0x20 00000a46: ADD 00000a47: SWAP1 00000a48: PUSH1 0x01 00000a4a: ADD 00000a4b: SWAP1 00000a4c: DUP1 00000a4d: DUP4 00000a4e: GT 00000a4f: PUSH2 0x0a09 00000a52: JUMPI 00000a53: JUMPDEST 00000a54: POP 00000a55: POP 00000a56: POP 00000a57: POP 00000a58: POP 00000a59: DUP2 00000a5a: MSTORE 00000a5b: PUSH1 0x20 00000a5d: ADD 00000a5e: PUSH1 0x05 00000a60: DUP3 00000a61: ADD 00000a62: DUP1 00000a63: SLOAD 00000a64: DUP1 00000a65: PUSH1 0x20 00000a67: MUL 00000a68: PUSH1 0x20 00000a6a: ADD 00000a6b: PUSH1 0x40 00000a6d: MLOAD 00000a6e: SWAP1 00000a6f: DUP2 00000a70: ADD 00000a71: PUSH1 0x40 00000a73: MSTORE 00000a74: DUP1 00000a75: SWAP3 00000a76: SWAP2 00000a77: SWAP1 00000a78: DUP2 00000a79: DUP2 00000a7a: MSTORE 00000a7b: PUSH1 0x20 00000a7d: ADD 00000a7e: DUP3 00000a7f: DUP1 00000a80: SLOAD 00000a81: DUP1 00000a82: ISZERO 00000a83: PUSH2 0x0ae1 00000a86: JUMPI 00000a87: PUSH1 0x20 00000a89: MUL 00000a8a: DUP3 00000a8b: ADD 00000a8c: SWAP2 00000a8d: SWAP1 00000a8e: PUSH1 0x00 00000a90: MSTORE 00000a91: PUSH1 0x20 00000a93: PUSH1 0x00 00000a95: KECCAK256 00000a96: SWAP1 00000a97: JUMPDEST 00000a98: DUP2 00000a99: PUSH1 0x00 00000a9b: SWAP1 00000a9c: SLOAD 00000a9d: SWAP1 00000a9e: PUSH2 0x0100 00000aa1: EXP 00000aa2: SWAP1 00000aa3: DIV 00000aa4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ab9: AND 00000aba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000acf: AND 00000ad0: DUP2 00000ad1: MSTORE 00000ad2: PUSH1 0x20 00000ad4: ADD 00000ad5: SWAP1 00000ad6: PUSH1 0x01 00000ad8: ADD 00000ad9: SWAP1 00000ada: DUP1 00000adb: DUP4 00000adc: GT 00000add: PUSH2 0x0a97 00000ae0: JUMPI 00000ae1: JUMPDEST 00000ae2: POP 00000ae3: POP 00000ae4: POP 00000ae5: POP 00000ae6: POP 00000ae7: DUP2 00000ae8: MSTORE 00000ae9: POP 00000aea: POP 00000aeb: SWAP1 00000aec: POP 00000aed: DUP1 00000aee: PUSH1 0x80 00000af0: ADD 00000af1: MLOAD 00000af2: MLOAD 00000af3: DUP2 00000af4: PUSH1 0xa0 00000af6: ADD 00000af7: MLOAD 00000af8: MLOAD 00000af9: SWAP3 00000afa: POP 00000afb: SWAP3 00000afc: POP 00000afd: POP 00000afe: SWAP2 00000aff: POP 00000b00: SWAP2 00000b01: JUMP 00000b02: JUMPDEST 00000b03: PUSH1 0x0e 00000b05: PUSH1 0x14 00000b07: SWAP1 00000b08: SLOAD 00000b09: SWAP1 00000b0a: PUSH2 0x0100 00000b0d: EXP 00000b0e: SWAP1 00000b0f: DIV 00000b10: PUSH1 0xff 00000b12: AND 00000b13: DUP2 00000b14: JUMP 00000b15: JUMPDEST 00000b16: PUSH1 0x00 00000b18: PUSH1 0x06 00000b1a: SLOAD 00000b1b: SWAP1 00000b1c: POP 00000b1d: SWAP1 00000b1e: JUMP 00000b1f: JUMPDEST 00000b20: PUSH1 0x01 00000b22: SLOAD 00000b23: TIMESTAMP 00000b24: GT 00000b25: PUSH2 0x0b63 00000b28: JUMPI 00000b29: PUSH1 0x40 00000b2b: MLOAD 00000b2c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000b4d: DUP2 00000b4e: MSTORE 00000b4f: PUSH1 0x04 00000b51: ADD 00000b52: PUSH2 0x0b5a 00000b55: SWAP1 00000b56: PUSH2 0x424b 00000b59: JUMP 00000b5a: JUMPDEST 00000b5b: PUSH1 0x40 00000b5d: MLOAD 00000b5e: DUP1 00000b5f: SWAP2 00000b60: SUB 00000b61: SWAP1 00000b62: REVERT 00000b63: JUMPDEST 00000b64: PUSH1 0x00 00000b66: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b7b: AND 00000b7c: DUP2 00000b7d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b92: AND 00000b93: EQ 00000b94: ISZERO 00000b95: PUSH2 0x0bd3 00000b98: JUMPI 00000b99: PUSH1 0x40 00000b9b: MLOAD 00000b9c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000bbd: DUP2 00000bbe: MSTORE 00000bbf: PUSH1 0x04 00000bc1: ADD 00000bc2: PUSH2 0x0bca 00000bc5: SWAP1 00000bc6: PUSH2 0x42eb 00000bc9: JUMP 00000bca: JUMPDEST 00000bcb: PUSH1 0x40 00000bcd: MLOAD 00000bce: DUP1 00000bcf: SWAP2 00000bd0: SUB 00000bd1: SWAP1 00000bd2: REVERT 00000bd3: JUMPDEST 00000bd4: PUSH1 0x00 00000bd6: CALLVALUE 00000bd7: GT 00000bd8: PUSH2 0x0c16 00000bdb: JUMPI 00000bdc: PUSH1 0x40 00000bde: MLOAD 00000bdf: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000c00: DUP2 00000c01: MSTORE 00000c02: PUSH1 0x04 00000c04: ADD 00000c05: PUSH2 0x0c0d 00000c08: SWAP1 00000c09: PUSH2 0x430b 00000c0c: JUMP 00000c0d: JUMPDEST 00000c0e: PUSH1 0x40 00000c10: MLOAD 00000c11: DUP1 00000c12: SWAP2 00000c13: SUB 00000c14: SWAP1 00000c15: REVERT 00000c16: JUMPDEST 00000c17: PUSH1 0x00 00000c19: PUSH2 0x0c40 00000c1c: PUSH1 0x64 00000c1e: PUSH2 0x0c32 00000c21: PUSH1 0x02 00000c23: SLOAD 00000c24: CALLVALUE 00000c25: PUSH2 0x29a3 00000c28: SWAP1 00000c29: SWAP2 00000c2a: SWAP1 00000c2b: PUSH4 0xffffffff 00000c30: AND 00000c31: JUMP 00000c32: JUMPDEST 00000c33: PUSH2 0x2a13 00000c36: SWAP1 00000c37: SWAP2 00000c38: SWAP1 00000c39: PUSH4 0xffffffff 00000c3e: AND 00000c3f: JUMP 00000c40: JUMPDEST 00000c41: SWAP1 00000c42: POP 00000c43: PUSH1 0x0d 00000c45: PUSH1 0x00 00000c47: SWAP1 00000c48: SLOAD 00000c49: SWAP1 00000c4a: PUSH2 0x0100 00000c4d: EXP 00000c4e: SWAP1 00000c4f: DIV 00000c50: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c65: AND 00000c66: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c7b: AND 00000c7c: PUSH2 0x08fc 00000c7f: DUP3 00000c80: SWAP1 00000c81: DUP2 00000c82: ISZERO 00000c83: MUL 00000c84: SWAP1 00000c85: PUSH1 0x40 00000c87: MLOAD 00000c88: PUSH1 0x00 00000c8a: PUSH1 0x40 00000c8c: MLOAD 00000c8d: DUP1 00000c8e: DUP4 00000c8f: SUB 00000c90: DUP2 00000c91: DUP6 00000c92: DUP9 00000c93: DUP9 00000c94: CALL 00000c95: SWAP4 00000c96: POP 00000c97: POP 00000c98: POP 00000c99: POP 00000c9a: ISZERO 00000c9b: DUP1 00000c9c: ISZERO 00000c9d: PUSH2 0x0caa 00000ca0: JUMPI 00000ca1: RETURNDATASIZE 00000ca2: PUSH1 0x00 00000ca4: DUP1 00000ca5: RETURNDATACOPY 00000ca6: RETURNDATASIZE 00000ca7: PUSH1 0x00 00000ca9: REVERT 00000caa: JUMPDEST 00000cab: POP 00000cac: PUSH2 0x0cc8 00000caf: CALLER 00000cb0: PUSH2 0x0cc2 00000cb3: DUP4 00000cb4: CALLVALUE 00000cb5: PUSH2 0x2a6f 00000cb8: SWAP1 00000cb9: SWAP2 00000cba: SWAP1 00000cbb: PUSH4 0xffffffff 00000cc0: AND 00000cc1: JUMP 00000cc2: JUMPDEST 00000cc3: DUP5 00000cc4: PUSH2 0x2ac5 00000cc7: JUMP 00000cc8: JUMPDEST 00000cc9: POP 00000cca: POP 00000ccb: JUMP 00000ccc: JUMPDEST 00000ccd: PUSH1 0x02 00000ccf: SLOAD 00000cd0: DUP2 00000cd1: JUMP 00000cd2: JUMPDEST 00000cd3: PUSH1 0x01 00000cd5: SLOAD 00000cd6: DUP2 00000cd7: JUMP 00000cd8: JUMPDEST 00000cd9: PUSH1 0x03 00000cdb: SLOAD 00000cdc: DUP2 00000cdd: JUMP 00000cde: JUMPDEST 00000cdf: PUSH1 0x0e 00000ce1: PUSH1 0x00 00000ce3: SWAP1 00000ce4: SLOAD 00000ce5: SWAP1 00000ce6: PUSH2 0x0100 00000ce9: EXP 00000cea: SWAP1 00000ceb: DIV 00000cec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d01: AND 00000d02: DUP2 00000d03: JUMP 00000d04: JUMPDEST 00000d05: PUSH1 0x01 00000d07: SLOAD 00000d08: TIMESTAMP 00000d09: GT 00000d0a: PUSH2 0x0d48 00000d0d: JUMPI 00000d0e: PUSH1 0x40 00000d10: MLOAD 00000d11: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000d32: DUP2 00000d33: MSTORE 00000d34: PUSH1 0x04 00000d36: ADD 00000d37: PUSH2 0x0d3f 00000d3a: SWAP1 00000d3b: PUSH2 0x424b 00000d3e: JUMP 00000d3f: JUMPDEST 00000d40: PUSH1 0x40 00000d42: MLOAD 00000d43: DUP1 00000d44: SWAP2 00000d45: SUB 00000d46: SWAP1 00000d47: REVERT 00000d48: JUMPDEST 00000d49: PUSH1 0x00 00000d4b: PUSH1 0x09 00000d4d: PUSH1 0x00 00000d4f: CALLER 00000d50: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d65: AND 00000d66: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d7b: AND 00000d7c: DUP2 00000d7d: MSTORE 00000d7e: PUSH1 0x20 00000d80: ADD 00000d81: SWAP1 00000d82: DUP2 00000d83: MSTORE 00000d84: PUSH1 0x20 00000d86: ADD 00000d87: PUSH1 0x00 00000d89: KECCAK256 00000d8a: SWAP1 00000d8b: POP 00000d8c: PUSH2 0x0da4 00000d8f: DUP2 00000d90: PUSH1 0x01 00000d92: ADD 00000d93: SLOAD 00000d94: PUSH1 0x06 00000d96: SLOAD 00000d97: PUSH2 0x2a6f 00000d9a: SWAP1 00000d9b: SWAP2 00000d9c: SWAP1 00000d9d: PUSH4 0xffffffff 00000da2: AND 00000da3: JUMP 00000da4: JUMPDEST 00000da5: PUSH1 0x06 00000da7: DUP2 00000da8: SWAP1 00000da9: SSTORE 00000daa: POP 00000dab: PUSH2 0x0e07 00000dae: PUSH2 0x0db6 00000db1: CALLER 00000db2: PUSH2 0x304b 00000db5: JUMP 00000db6: JUMPDEST 00000db7: PUSH1 0x0a 00000db9: PUSH1 0x00 00000dbb: CALLER 00000dbc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dd1: AND 00000dd2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000de7: AND 00000de8: DUP2 00000de9: MSTORE 00000dea: PUSH1 0x20 00000dec: ADD 00000ded: SWAP1 00000dee: DUP2 00000def: MSTORE 00000df0: PUSH1 0x20 00000df2: ADD 00000df3: PUSH1 0x00 00000df5: KECCAK256 00000df6: PUSH1 0x00 00000df8: ADD 00000df9: SLOAD 00000dfa: PUSH2 0x3583 00000dfd: SWAP1 00000dfe: SWAP2 00000dff: SWAP1 00000e00: PUSH4 0xffffffff 00000e05: AND 00000e06: JUMP 00000e07: JUMPDEST 00000e08: PUSH1 0x0a 00000e0a: PUSH1 0x00 00000e0c: CALLER 00000e0d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e22: AND 00000e23: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e38: AND 00000e39: DUP2 00000e3a: MSTORE 00000e3b: PUSH1 0x20 00000e3d: ADD 00000e3e: SWAP1 00000e3f: DUP2 00000e40: MSTORE 00000e41: PUSH1 0x20 00000e43: ADD 00000e44: PUSH1 0x00 00000e46: KECCAK256 00000e47: PUSH1 0x00 00000e49: ADD 00000e4a: DUP2 00000e4b: SWAP1 00000e4c: SSTORE 00000e4d: POP 00000e4e: PUSH1 0x00 00000e50: PUSH1 0x0a 00000e52: PUSH1 0x00 00000e54: CALLER 00000e55: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e6a: AND 00000e6b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e80: AND 00000e81: DUP2 00000e82: MSTORE 00000e83: PUSH1 0x20 00000e85: ADD 00000e86: SWAP1 00000e87: DUP2 00000e88: MSTORE 00000e89: PUSH1 0x20 00000e8b: ADD 00000e8c: PUSH1 0x00 00000e8e: KECCAK256 00000e8f: PUSH1 0x03 00000e91: ADD 00000e92: DUP2 00000e93: SWAP1 00000e94: SSTORE 00000e95: POP 00000e96: PUSH1 0x01 00000e98: PUSH1 0x0a 00000e9a: PUSH1 0x00 00000e9c: CALLER 00000e9d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000eb2: AND 00000eb3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ec8: AND 00000ec9: DUP2 00000eca: MSTORE 00000ecb: PUSH1 0x20 00000ecd: ADD 00000ece: SWAP1 00000ecf: DUP2 00000ed0: MSTORE 00000ed1: PUSH1 0x20 00000ed3: ADD 00000ed4: PUSH1 0x00 00000ed6: KECCAK256 00000ed7: PUSH1 0x02 00000ed9: ADD 00000eda: PUSH1 0x00 00000edc: PUSH2 0x0100 00000edf: EXP 00000ee0: DUP2 00000ee1: SLOAD 00000ee2: DUP2 00000ee3: PUSH1 0xff 00000ee5: MUL 00000ee6: NOT 00000ee7: AND 00000ee8: SWAP1 00000ee9: DUP4 00000eea: ISZERO 00000eeb: ISZERO 00000eec: MUL 00000eed: OR 00000eee: SWAP1 00000eef: SSTORE 00000ef0: POP 00000ef1: PUSH1 0x00 00000ef3: JUMPDEST 00000ef4: DUP2 00000ef5: PUSH1 0x02 00000ef7: ADD 00000ef8: DUP1 00000ef9: SLOAD 00000efa: SWAP1 00000efb: POP 00000efc: DUP2 00000efd: LT 00000efe: ISZERO 00000eff: PUSH2 0x0f6d 00000f02: JUMPI 00000f03: PUSH1 0x01 00000f05: DUP3 00000f06: PUSH1 0x02 00000f08: ADD 00000f09: DUP3 00000f0a: DUP2 00000f0b: SLOAD 00000f0c: DUP2 00000f0d: LT 00000f0e: PUSH2 0x0f13 00000f11: JUMPI 00000f12: INVALID 00000f13: JUMPDEST 00000f14: SWAP1 00000f15: PUSH1 0x00 00000f17: MSTORE 00000f18: PUSH1 0x20 00000f1a: PUSH1 0x00 00000f1c: KECCAK256 00000f1d: SWAP1 00000f1e: PUSH1 0x05 00000f20: MUL 00000f21: ADD 00000f22: PUSH1 0x03 00000f24: ADD 00000f25: PUSH1 0x00 00000f27: PUSH2 0x0100 00000f2a: EXP 00000f2b: DUP2 00000f2c: SLOAD 00000f2d: DUP2 00000f2e: PUSH1 0xff 00000f30: MUL 00000f31: NOT 00000f32: AND 00000f33: SWAP1 00000f34: DUP4 00000f35: ISZERO 00000f36: ISZERO 00000f37: MUL 00000f38: OR 00000f39: SWAP1 00000f3a: SSTORE 00000f3b: POP 00000f3c: TIMESTAMP 00000f3d: DUP3 00000f3e: PUSH1 0x02 00000f40: ADD 00000f41: DUP3 00000f42: DUP2 00000f43: SLOAD 00000f44: DUP2 00000f45: LT 00000f46: PUSH2 0x0f4b 00000f49: JUMPI 00000f4a: INVALID 00000f4b: JUMPDEST 00000f4c: SWAP1 00000f4d: PUSH1 0x00 00000f4f: MSTORE 00000f50: PUSH1 0x20 00000f52: PUSH1 0x00 00000f54: KECCAK256 00000f55: SWAP1 00000f56: PUSH1 0x05 00000f58: MUL 00000f59: ADD 00000f5a: PUSH1 0x04 00000f5c: ADD 00000f5d: DUP2 00000f5e: SWAP1 00000f5f: SSTORE 00000f60: POP 00000f61: DUP1 00000f62: DUP1 00000f63: PUSH1 0x01 00000f65: ADD 00000f66: SWAP2 00000f67: POP 00000f68: POP 00000f69: PUSH2 0x0ef3 00000f6c: JUMP 00000f6d: JUMPDEST 00000f6e: POP 00000f6f: PUSH1 0x00 00000f71: PUSH2 0x0f9c 00000f74: PUSH1 0x64 00000f76: PUSH2 0x0f8e 00000f79: PUSH1 0x03 00000f7b: SLOAD 00000f7c: DUP6 00000f7d: PUSH1 0x01 00000f7f: ADD 00000f80: SLOAD 00000f81: PUSH2 0x29a3 00000f84: SWAP1 00000f85: SWAP2 00000f86: SWAP1 00000f87: PUSH4 0xffffffff 00000f8c: AND 00000f8d: JUMP 00000f8e: JUMPDEST 00000f8f: PUSH2 0x2a13 00000f92: SWAP1 00000f93: SWAP2 00000f94: SWAP1 00000f95: PUSH4 0xffffffff 00000f9a: AND 00000f9b: JUMP 00000f9c: JUMPDEST 00000f9d: SWAP1 00000f9e: POP 00000f9f: PUSH1 0x00 00000fa1: PUSH2 0x0fb7 00000fa4: DUP3 00000fa5: DUP5 00000fa6: PUSH1 0x01 00000fa8: ADD 00000fa9: SLOAD 00000faa: PUSH2 0x2a6f 00000fad: SWAP1 00000fae: SWAP2 00000faf: SWAP1 00000fb0: PUSH4 0xffffffff 00000fb5: AND 00000fb6: JUMP 00000fb7: JUMPDEST 00000fb8: SWAP1 00000fb9: POP 00000fba: CALLER 00000fbb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fd0: AND 00000fd1: PUSH2 0x08fc 00000fd4: DUP3 00000fd5: SWAP1 00000fd6: DUP2 00000fd7: ISZERO 00000fd8: MUL 00000fd9: SWAP1 00000fda: PUSH1 0x40 00000fdc: MLOAD 00000fdd: PUSH1 0x00 00000fdf: PUSH1 0x40 00000fe1: MLOAD 00000fe2: DUP1 00000fe3: DUP4 00000fe4: SUB 00000fe5: DUP2 00000fe6: DUP6 00000fe7: DUP9 00000fe8: DUP9 00000fe9: CALL 00000fea: SWAP4 00000feb: POP 00000fec: POP 00000fed: POP 00000fee: POP 00000fef: ISZERO 00000ff0: DUP1 00000ff1: ISZERO 00000ff2: PUSH2 0x0fff 00000ff5: JUMPI 00000ff6: RETURNDATASIZE 00000ff7: PUSH1 0x00 00000ff9: DUP1 00000ffa: RETURNDATACOPY 00000ffb: RETURNDATASIZE 00000ffc: PUSH1 0x00 00000ffe: REVERT 00000fff: JUMPDEST 00001000: POP 00001001: PUSH1 0x0d 00001003: PUSH1 0x00 00001005: SWAP1 00001006: SLOAD 00001007: SWAP1 00001008: PUSH2 0x0100 0000100b: EXP 0000100c: SWAP1 0000100d: DIV 0000100e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001023: AND 00001024: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001039: AND 0000103a: PUSH2 0x08fc 0000103d: DUP4 0000103e: SWAP1 0000103f: DUP2 00001040: ISZERO 00001041: MUL 00001042: SWAP1 00001043: PUSH1 0x40 00001045: MLOAD 00001046: PUSH1 0x00 00001048: PUSH1 0x40 0000104a: MLOAD 0000104b: DUP1 0000104c: DUP4 0000104d: SUB 0000104e: DUP2 0000104f: DUP6 00001050: DUP9 00001051: DUP9 00001052: CALL 00001053: SWAP4 00001054: POP 00001055: POP 00001056: POP 00001057: POP 00001058: ISZERO 00001059: DUP1 0000105a: ISZERO 0000105b: PUSH2 0x1068 0000105e: JUMPI 0000105f: RETURNDATASIZE 00001060: PUSH1 0x00 00001062: DUP1 00001063: RETURNDATACOPY 00001064: RETURNDATASIZE 00001065: PUSH1 0x00 00001067: REVERT 00001068: JUMPDEST 00001069: POP 0000106a: CALLER 0000106b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001080: AND 00001081: PUSH32 0xccad973dcd043c7d680389db4378bd6b9775db7124092e9e0422c9e46d7985dc 000010a2: DUP3 000010a3: PUSH1 0x40 000010a5: MLOAD 000010a6: PUSH2 0x10af 000010a9: SWAP2 000010aa: SWAP1 000010ab: PUSH2 0x440b 000010ae: JUMP 000010af: JUMPDEST 000010b0: PUSH1 0x40 000010b2: MLOAD 000010b3: DUP1 000010b4: SWAP2 000010b5: SUB 000010b6: SWAP1 000010b7: LOG2 000010b8: PUSH1 0x00 000010ba: DUP4 000010bb: PUSH1 0x01 000010bd: ADD 000010be: DUP2 000010bf: SWAP1 000010c0: SSTORE 000010c1: POP 000010c2: POP 000010c3: POP 000010c4: POP 000010c5: JUMP 000010c6: JUMPDEST 000010c7: PUSH1 0x01 000010c9: SLOAD 000010ca: TIMESTAMP 000010cb: GT 000010cc: PUSH2 0x110a 000010cf: JUMPI 000010d0: PUSH1 0x40 000010d2: MLOAD 000010d3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000010f4: DUP2 000010f5: MSTORE 000010f6: PUSH1 0x04 000010f8: ADD 000010f9: PUSH2 0x1101 000010fc: SWAP1 000010fd: PUSH2 0x424b 00001100: JUMP 00001101: JUMPDEST 00001102: PUSH1 0x40 00001104: MLOAD 00001105: DUP1 00001106: SWAP2 00001107: SUB 00001108: SWAP1 00001109: REVERT 0000110a: JUMPDEST 0000110b: PUSH1 0x00 0000110d: DUP1 0000110e: PUSH2 0x1116 00001111: CALLER 00001112: PUSH2 0x304b 00001115: JUMP 00001116: JUMPDEST 00001117: SWAP2 00001118: POP 00001119: PUSH1 0x0a 0000111b: PUSH1 0x00 0000111d: CALLER 0000111e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001133: AND 00001134: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001149: AND 0000114a: DUP2 0000114b: MSTORE 0000114c: PUSH1 0x20 0000114e: ADD 0000114f: SWAP1 00001150: DUP2 00001151: MSTORE 00001152: PUSH1 0x20 00001154: ADD 00001155: PUSH1 0x00 00001157: KECCAK256 00001158: PUSH1 0x02 0000115a: ADD 0000115b: PUSH1 0x00 0000115d: SWAP1 0000115e: SLOAD 0000115f: SWAP1 00001160: PUSH2 0x0100 00001163: EXP 00001164: SWAP1 00001165: DIV 00001166: PUSH1 0xff 00001168: AND 00001169: ISZERO 0000116a: PUSH2 0x1215 0000116d: JUMPI 0000116e: PUSH1 0x00 00001170: PUSH1 0x0a 00001172: PUSH1 0x00 00001174: CALLER 00001175: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000118a: AND 0000118b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011a0: AND 000011a1: DUP2 000011a2: MSTORE 000011a3: PUSH1 0x20 000011a5: ADD 000011a6: SWAP1 000011a7: DUP2 000011a8: MSTORE 000011a9: PUSH1 0x20 000011ab: ADD 000011ac: PUSH1 0x00 000011ae: KECCAK256 000011af: PUSH1 0x02 000011b1: ADD 000011b2: PUSH1 0x00 000011b4: PUSH2 0x0100 000011b7: EXP 000011b8: DUP2 000011b9: SLOAD 000011ba: DUP2 000011bb: PUSH1 0xff 000011bd: MUL 000011be: NOT 000011bf: AND 000011c0: SWAP1 000011c1: DUP4 000011c2: ISZERO 000011c3: ISZERO 000011c4: MUL 000011c5: OR 000011c6: SWAP1 000011c7: SSTORE 000011c8: POP 000011c9: PUSH1 0x00 000011cb: PUSH1 0x0a 000011cd: PUSH1 0x00 000011cf: CALLER 000011d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011e5: AND 000011e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011fb: AND 000011fc: DUP2 000011fd: MSTORE 000011fe: PUSH1 0x20 00001200: ADD 00001201: SWAP1 00001202: DUP2 00001203: MSTORE 00001204: PUSH1 0x20 00001206: ADD 00001207: PUSH1 0x00 00001209: KECCAK256 0000120a: PUSH1 0x03 0000120c: ADD 0000120d: DUP2 0000120e: SWAP1 0000120f: SSTORE 00001210: POP 00001211: PUSH2 0x12b1 00001214: JUMP 00001215: JUMPDEST 00001216: PUSH2 0x126a 00001219: DUP3 0000121a: PUSH1 0x0a 0000121c: PUSH1 0x00 0000121e: CALLER 0000121f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001234: AND 00001235: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000124a: AND 0000124b: DUP2 0000124c: MSTORE 0000124d: PUSH1 0x20 0000124f: ADD 00001250: SWAP1 00001251: DUP2 00001252: MSTORE 00001253: PUSH1 0x20 00001255: ADD 00001256: PUSH1 0x00 00001258: KECCAK256 00001259: PUSH1 0x03 0000125b: ADD 0000125c: SLOAD 0000125d: PUSH2 0x3583 00001260: SWAP1 00001261: SWAP2 00001262: SWAP1 00001263: PUSH4 0xffffffff 00001268: AND 00001269: JUMP 0000126a: JUMPDEST 0000126b: PUSH1 0x0a 0000126d: PUSH1 0x00 0000126f: CALLER 00001270: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001285: AND 00001286: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000129b: AND 0000129c: DUP2 0000129d: MSTORE 0000129e: PUSH1 0x20 000012a0: ADD 000012a1: SWAP1 000012a2: DUP2 000012a3: MSTORE 000012a4: PUSH1 0x20 000012a6: ADD 000012a7: PUSH1 0x00 000012a9: KECCAK256 000012aa: PUSH1 0x03 000012ac: ADD 000012ad: DUP2 000012ae: SWAP1 000012af: SSTORE 000012b0: POP 000012b1: JUMPDEST 000012b2: DUP2 000012b3: SWAP1 000012b4: POP 000012b5: PUSH1 0x00 000012b7: DUP2 000012b8: GT 000012b9: ISZERO 000012ba: PUSH2 0x1496 000012bd: JUMPI 000012be: PUSH1 0x0a 000012c0: PUSH1 0x00 000012c2: CALLER 000012c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012d8: AND 000012d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012ee: AND 000012ef: DUP2 000012f0: MSTORE 000012f1: PUSH1 0x20 000012f3: ADD 000012f4: SWAP1 000012f5: DUP2 000012f6: MSTORE 000012f7: PUSH1 0x20 000012f9: ADD 000012fa: PUSH1 0x00 000012fc: KECCAK256 000012fd: PUSH1 0x00 000012ff: ADD 00001300: SLOAD 00001301: PUSH1 0x0a 00001303: PUSH1 0x00 00001305: CALLER 00001306: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000131b: AND 0000131c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001331: AND 00001332: DUP2 00001333: MSTORE 00001334: PUSH1 0x20 00001336: ADD 00001337: SWAP1 00001338: DUP2 00001339: MSTORE 0000133a: PUSH1 0x20 0000133c: ADD 0000133d: PUSH1 0x00 0000133f: KECCAK256 00001340: PUSH1 0x01 00001342: ADD 00001343: DUP2 00001344: SWAP1 00001345: SSTORE 00001346: POP 00001347: PUSH2 0x135b 0000134a: DUP2 0000134b: PUSH1 0x05 0000134d: SLOAD 0000134e: PUSH2 0x3583 00001351: SWAP1 00001352: SWAP2 00001353: SWAP1 00001354: PUSH4 0xffffffff 00001359: AND 0000135a: JUMP 0000135b: JUMPDEST 0000135c: PUSH1 0x05 0000135e: DUP2 0000135f: SWAP1 00001360: SSTORE 00001361: POP 00001362: PUSH2 0x13b6 00001365: DUP2 00001366: PUSH1 0x0a 00001368: PUSH1 0x00 0000136a: CALLER 0000136b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001380: AND 00001381: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001396: AND 00001397: DUP2 00001398: MSTORE 00001399: PUSH1 0x20 0000139b: ADD 0000139c: SWAP1 0000139d: DUP2 0000139e: MSTORE 0000139f: PUSH1 0x20 000013a1: ADD 000013a2: PUSH1 0x00 000013a4: KECCAK256 000013a5: PUSH1 0x04 000013a7: ADD 000013a8: SLOAD 000013a9: PUSH2 0x3583 000013ac: SWAP1 000013ad: SWAP2 000013ae: SWAP1 000013af: PUSH4 0xffffffff 000013b4: AND 000013b5: JUMP 000013b6: JUMPDEST 000013b7: PUSH1 0x0a 000013b9: PUSH1 0x00 000013bb: CALLER 000013bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013d1: AND 000013d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013e7: AND 000013e8: DUP2 000013e9: MSTORE 000013ea: PUSH1 0x20 000013ec: ADD 000013ed: SWAP1 000013ee: DUP2 000013ef: MSTORE 000013f0: PUSH1 0x20 000013f2: ADD 000013f3: PUSH1 0x00 000013f5: KECCAK256 000013f6: PUSH1 0x04 000013f8: ADD 000013f9: DUP2 000013fa: SWAP1 000013fb: SSTORE 000013fc: POP 000013fd: PUSH2 0x1447 00001400: CALLER 00001401: DUP3 00001402: PUSH1 0x00 00001404: DUP1 00001405: SLOAD 00001406: SWAP1 00001407: PUSH2 0x0100 0000140a: EXP 0000140b: SWAP1 0000140c: DIV 0000140d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001422: AND 00001423: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001438: AND 00001439: PUSH2 0x35d8 0000143c: SWAP1 0000143d: SWAP3 0000143e: SWAP2 0000143f: SWAP1 00001440: PUSH4 0xffffffff 00001445: AND 00001446: JUMP 00001447: JUMPDEST 00001448: CALLER 00001449: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000145e: AND 0000145f: PUSH32 0xc3723288a1442c21017ef3f3627162e3d8da44517955f5aee6a75ef2f4ced5c6 00001480: DUP3 00001481: PUSH1 0x40 00001483: MLOAD 00001484: PUSH2 0x148d 00001487: SWAP2 00001488: SWAP1 00001489: PUSH2 0x440b 0000148c: JUMP 0000148d: JUMPDEST 0000148e: PUSH1 0x40 00001490: MLOAD 00001491: DUP1 00001492: SWAP2 00001493: SUB 00001494: SWAP1 00001495: LOG2 00001496: JUMPDEST 00001497: POP 00001498: POP 00001499: JUMP 0000149a: JUMPDEST 0000149b: PUSH1 0x0c 0000149d: PUSH1 0x00 0000149f: SWAP1 000014a0: SLOAD 000014a1: SWAP1 000014a2: PUSH2 0x0100 000014a5: EXP 000014a6: SWAP1 000014a7: DIV 000014a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014bd: AND 000014be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014d3: AND 000014d4: CALLER 000014d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014ea: AND 000014eb: EQ 000014ec: PUSH2 0x14f4 000014ef: JUMPI 000014f0: PUSH1 0x00 000014f2: DUP1 000014f3: REVERT 000014f4: JUMPDEST 000014f5: DUP1 000014f6: PUSH1 0x02 000014f8: DUP2 000014f9: SWAP1 000014fa: SSTORE 000014fb: POP 000014fc: PUSH1 0x64 000014fe: PUSH2 0x1514 00001501: PUSH1 0x03 00001503: SLOAD 00001504: PUSH1 0x02 00001506: SLOAD 00001507: PUSH2 0x3583 0000150a: SWAP1 0000150b: SWAP2 0000150c: SWAP1 0000150d: PUSH4 0xffffffff 00001512: AND 00001513: JUMP 00001514: JUMPDEST 00001515: GT 00001516: ISZERO 00001517: PUSH2 0x151f 0000151a: JUMPI 0000151b: PUSH1 0x00 0000151d: DUP1 0000151e: REVERT 0000151f: JUMPDEST 00001520: POP 00001521: JUMP 00001522: JUMPDEST 00001523: PUSH1 0x10 00001525: DUP2 00001526: DUP2 00001527: SLOAD 00001528: DUP2 00001529: LT 0000152a: PUSH2 0x152f 0000152d: JUMPI 0000152e: INVALID 0000152f: JUMPDEST 00001530: SWAP1 00001531: PUSH1 0x00 00001533: MSTORE 00001534: PUSH1 0x20 00001536: PUSH1 0x00 00001538: KECCAK256 00001539: ADD 0000153a: PUSH1 0x00 0000153c: SWAP2 0000153d: POP 0000153e: SWAP1 0000153f: POP 00001540: SLOAD 00001541: DUP2 00001542: JUMP 00001543: JUMPDEST 00001544: PUSH1 0x09 00001546: PUSH1 0x20 00001548: MSTORE 00001549: DUP1 0000154a: PUSH1 0x00 0000154c: MSTORE 0000154d: PUSH1 0x40 0000154f: PUSH1 0x00 00001551: KECCAK256 00001552: PUSH1 0x00 00001554: SWAP2 00001555: POP 00001556: SWAP1 00001557: POP 00001558: DUP1 00001559: PUSH1 0x00 0000155b: ADD 0000155c: PUSH1 0x00 0000155e: SWAP1 0000155f: SLOAD 00001560: SWAP1 00001561: PUSH2 0x0100 00001564: EXP 00001565: SWAP1 00001566: DIV 00001567: PUSH1 0xff 00001569: AND 0000156a: SWAP1 0000156b: DUP1 0000156c: PUSH1 0x01 0000156e: ADD 0000156f: SLOAD 00001570: SWAP1 00001571: DUP1 00001572: PUSH1 0x03 00001574: ADD 00001575: PUSH1 0x00 00001577: SWAP1 00001578: SLOAD 00001579: SWAP1 0000157a: PUSH2 0x0100 0000157d: EXP 0000157e: SWAP1 0000157f: DIV 00001580: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001595: AND 00001596: SWAP1 00001597: POP 00001598: DUP4 00001599: JUMP 0000159a: JUMPDEST 0000159b: PUSH1 0x0f 0000159d: DUP2 0000159e: DUP2 0000159f: SLOAD 000015a0: DUP2 000015a1: LT 000015a2: PUSH2 0x15a7 000015a5: JUMPI 000015a6: INVALID 000015a7: JUMPDEST 000015a8: SWAP1 000015a9: PUSH1 0x00 000015ab: MSTORE 000015ac: PUSH1 0x20 000015ae: PUSH1 0x00 000015b0: KECCAK256 000015b1: ADD 000015b2: PUSH1 0x00 000015b4: SWAP2 000015b5: POP 000015b6: SWAP1 000015b7: POP 000015b8: SLOAD 000015b9: DUP2 000015ba: JUMP 000015bb: JUMPDEST 000015bc: PUSH1 0x00 000015be: PUSH1 0x0c 000015c0: PUSH1 0x00 000015c2: SWAP1 000015c3: SLOAD 000015c4: SWAP1 000015c5: PUSH2 0x0100 000015c8: EXP 000015c9: SWAP1 000015ca: DIV 000015cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015e0: AND 000015e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015f6: AND 000015f7: CALLER 000015f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000160d: AND 0000160e: EQ 0000160f: PUSH2 0x1617 00001612: JUMPI 00001613: PUSH1 0x00 00001615: DUP1 00001616: REVERT 00001617: JUMPDEST 00001618: PUSH1 0x00 0000161a: ISZERO 0000161b: ISZERO 0000161c: PUSH1 0x08 0000161e: PUSH1 0x00 00001620: DUP5 00001621: DUP2 00001622: MSTORE 00001623: PUSH1 0x20 00001625: ADD 00001626: SWAP1 00001627: DUP2 00001628: MSTORE 00001629: PUSH1 0x20 0000162b: ADD 0000162c: PUSH1 0x00 0000162e: KECCAK256 0000162f: PUSH1 0x01 00001631: ADD 00001632: PUSH1 0x00 00001634: SWAP1 00001635: SLOAD 00001636: SWAP1 00001637: PUSH2 0x0100 0000163a: EXP 0000163b: SWAP1 0000163c: DIV 0000163d: PUSH1 0xff 0000163f: AND 00001640: ISZERO 00001641: ISZERO 00001642: EQ 00001643: PUSH2 0x1681 00001646: JUMPI 00001647: PUSH1 0x40 00001649: MLOAD 0000164a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000166b: DUP2 0000166c: MSTORE 0000166d: PUSH1 0x04 0000166f: ADD 00001670: PUSH2 0x1678 00001673: SWAP1 00001674: PUSH2 0x426b 00001677: JUMP 00001678: JUMPDEST 00001679: PUSH1 0x40 0000167b: MLOAD 0000167c: DUP1 0000167d: SWAP2 0000167e: SUB 0000167f: SWAP1 00001680: REVERT 00001681: JUMPDEST 00001682: PUSH1 0x10 00001684: DUP3 00001685: SWAP1 00001686: DUP1 00001687: PUSH1 0x01 00001689: DUP2 0000168a: SLOAD 0000168b: ADD 0000168c: DUP1 0000168d: DUP3 0000168e: SSTORE 0000168f: DUP1 00001690: SWAP2 00001691: POP 00001692: POP 00001693: PUSH1 0x01 00001695: SWAP1 00001696: SUB 00001697: SWAP1 00001698: PUSH1 0x00 0000169a: MSTORE 0000169b: PUSH1 0x20 0000169d: PUSH1 0x00 0000169f: KECCAK256 000016a0: ADD 000016a1: PUSH1 0x00 000016a3: SWAP1 000016a4: SWAP2 000016a5: SWAP1 000016a6: SWAP2 000016a7: SWAP1 000016a8: SWAP2 000016a9: POP 000016aa: SSTORE 000016ab: PUSH1 0x40 000016ad: MLOAD 000016ae: DUP1 000016af: PUSH1 0x40 000016b1: ADD 000016b2: PUSH1 0x40 000016b4: MSTORE 000016b5: DUP1 000016b6: TIMESTAMP 000016b7: DUP2 000016b8: MSTORE 000016b9: PUSH1 0x20 000016bb: ADD 000016bc: PUSH1 0x01 000016be: ISZERO 000016bf: ISZERO 000016c0: DUP2 000016c1: MSTORE 000016c2: POP 000016c3: PUSH1 0x08 000016c5: PUSH1 0x00 000016c7: PUSH1 0x07 000016c9: SLOAD 000016ca: DUP2 000016cb: MSTORE 000016cc: PUSH1 0x20 000016ce: ADD 000016cf: SWAP1 000016d0: DUP2 000016d1: MSTORE 000016d2: PUSH1 0x20 000016d4: ADD 000016d5: PUSH1 0x00 000016d7: KECCAK256 000016d8: PUSH1 0x00 000016da: DUP3 000016db: ADD 000016dc: MLOAD 000016dd: DUP2 000016de: PUSH1 0x00 000016e0: ADD 000016e1: SSTORE 000016e2: PUSH1 0x20 000016e4: DUP3 000016e5: ADD 000016e6: MLOAD 000016e7: DUP2 000016e8: PUSH1 0x01 000016ea: ADD 000016eb: PUSH1 0x00 000016ed: PUSH2 0x0100 000016f0: EXP 000016f1: DUP2 000016f2: SLOAD 000016f3: DUP2 000016f4: PUSH1 0xff 000016f6: MUL 000016f7: NOT 000016f8: AND 000016f9: SWAP1 000016fa: DUP4 000016fb: ISZERO 000016fc: ISZERO 000016fd: MUL 000016fe: OR 000016ff: SWAP1 00001700: SSTORE 00001701: POP 00001702: SWAP1 00001703: POP 00001704: POP 00001705: DUP2 00001706: PUSH1 0x07 00001708: DUP2 00001709: SWAP1 0000170a: SSTORE 0000170b: POP 0000170c: PUSH1 0x10 0000170e: DUP1 0000170f: SLOAD 00001710: SWAP1 00001711: POP 00001712: SWAP1 00001713: POP 00001714: SWAP2 00001715: SWAP1 00001716: POP 00001717: JUMP 00001718: JUMPDEST 00001719: PUSH1 0x0a 0000171b: PUSH1 0x20 0000171d: MSTORE 0000171e: DUP1 0000171f: PUSH1 0x00 00001721: MSTORE 00001722: PUSH1 0x40 00001724: PUSH1 0x00 00001726: KECCAK256 00001727: PUSH1 0x00 00001729: SWAP2 0000172a: POP 0000172b: SWAP1 0000172c: POP 0000172d: DUP1 0000172e: PUSH1 0x00 00001730: ADD 00001731: SLOAD 00001732: SWAP1 00001733: DUP1 00001734: PUSH1 0x01 00001736: ADD 00001737: SLOAD 00001738: SWAP1 00001739: DUP1 0000173a: PUSH1 0x02 0000173c: ADD 0000173d: PUSH1 0x00 0000173f: SWAP1 00001740: SLOAD 00001741: SWAP1 00001742: PUSH2 0x0100 00001745: EXP 00001746: SWAP1 00001747: DIV 00001748: PUSH1 0xff 0000174a: AND 0000174b: SWAP1 0000174c: DUP1 0000174d: PUSH1 0x03 0000174f: ADD 00001750: SLOAD 00001751: SWAP1 00001752: DUP1 00001753: PUSH1 0x04 00001755: ADD 00001756: SLOAD 00001757: SWAP1 00001758: DUP1 00001759: PUSH1 0x05 0000175b: ADD 0000175c: SLOAD 0000175d: SWAP1 0000175e: POP 0000175f: DUP7 00001760: JUMP 00001761: JUMPDEST 00001762: PUSH1 0x00 00001764: PUSH1 0x01 00001766: SLOAD 00001767: TIMESTAMP 00001768: GT 00001769: PUSH2 0x17a7 0000176c: JUMPI 0000176d: PUSH1 0x40 0000176f: MLOAD 00001770: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001791: DUP2 00001792: MSTORE 00001793: PUSH1 0x04 00001795: ADD 00001796: PUSH2 0x179e 00001799: SWAP1 0000179a: PUSH2 0x424b 0000179d: JUMP 0000179e: JUMPDEST 0000179f: PUSH1 0x40 000017a1: MLOAD 000017a2: DUP1 000017a3: SWAP2 000017a4: SUB 000017a5: SWAP1 000017a6: REVERT 000017a7: JUMPDEST 000017a8: PUSH1 0x00 000017aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017bf: AND 000017c0: DUP3 000017c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017d6: AND 000017d7: EQ 000017d8: ISZERO 000017d9: PUSH2 0x1817 000017dc: JUMPI 000017dd: PUSH1 0x40 000017df: MLOAD 000017e0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001801: DUP2 00001802: MSTORE 00001803: PUSH1 0x04 00001805: ADD 00001806: PUSH2 0x180e 00001809: SWAP1 0000180a: PUSH2 0x432b 0000180d: JUMP 0000180e: JUMPDEST 0000180f: PUSH1 0x40 00001811: MLOAD 00001812: DUP1 00001813: SWAP2 00001814: SUB 00001815: SWAP1 00001816: REVERT 00001817: JUMPDEST 00001818: PUSH1 0x09 0000181a: PUSH1 0x00 0000181c: DUP4 0000181d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001832: AND 00001833: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001848: AND 00001849: DUP2 0000184a: MSTORE 0000184b: PUSH1 0x20 0000184d: ADD 0000184e: SWAP1 0000184f: DUP2 00001850: MSTORE 00001851: PUSH1 0x20 00001853: ADD 00001854: PUSH1 0x00 00001856: KECCAK256 00001857: PUSH1 0x01 00001859: ADD 0000185a: SLOAD 0000185b: SWAP1 0000185c: POP 0000185d: SWAP2 0000185e: SWAP1 0000185f: POP 00001860: JUMP 00001861: JUMPDEST 00001862: PUSH1 0x00 00001864: DUP1 00001865: SLOAD 00001866: SWAP1 00001867: PUSH2 0x0100 0000186a: EXP 0000186b: SWAP1 0000186c: DIV 0000186d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001882: AND 00001883: DUP2 00001884: JUMP 00001885: JUMPDEST 00001886: PUSH1 0x01 00001888: SLOAD 00001889: TIMESTAMP 0000188a: GT 0000188b: PUSH2 0x18c9 0000188e: JUMPI 0000188f: PUSH1 0x40 00001891: MLOAD 00001892: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000018b3: DUP2 000018b4: MSTORE 000018b5: PUSH1 0x04 000018b7: ADD 000018b8: PUSH2 0x18c0 000018bb: SWAP1 000018bc: PUSH2 0x424b 000018bf: JUMP 000018c0: JUMPDEST 000018c1: PUSH1 0x40 000018c3: MLOAD 000018c4: DUP1 000018c5: SWAP2 000018c6: SUB 000018c7: SWAP1 000018c8: REVERT 000018c9: JUMPDEST 000018ca: PUSH1 0x00 000018cc: PUSH2 0x18d4 000018cf: CALLER 000018d0: PUSH2 0x1a2c 000018d3: JUMP 000018d4: JUMPDEST 000018d5: SWAP1 000018d6: POP 000018d7: PUSH1 0x00 000018d9: DUP2 000018da: GT 000018db: ISZERO 000018dc: PUSH2 0x1a29 000018df: JUMPI 000018e0: PUSH2 0x1931 000018e3: DUP2 000018e4: PUSH1 0x0b 000018e6: PUSH1 0x00 000018e8: CALLER 000018e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018fe: AND 000018ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001914: AND 00001915: DUP2 00001916: MSTORE 00001917: PUSH1 0x20 00001919: ADD 0000191a: SWAP1 0000191b: DUP2 0000191c: MSTORE 0000191d: PUSH1 0x20 0000191f: ADD 00001920: PUSH1 0x00 00001922: KECCAK256 00001923: SLOAD 00001924: PUSH2 0x3583 00001927: SWAP1 00001928: SWAP2 00001929: SWAP1 0000192a: PUSH4 0xffffffff 0000192f: AND 00001930: JUMP 00001931: JUMPDEST 00001932: PUSH1 0x0b 00001934: PUSH1 0x00 00001936: CALLER 00001937: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000194c: AND 0000194d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001962: AND 00001963: DUP2 00001964: MSTORE 00001965: PUSH1 0x20 00001967: ADD 00001968: SWAP1 00001969: DUP2 0000196a: MSTORE 0000196b: PUSH1 0x20 0000196d: ADD 0000196e: PUSH1 0x00 00001970: KECCAK256 00001971: DUP2 00001972: SWAP1 00001973: SSTORE 00001974: POP 00001975: PUSH2 0x1989 00001978: DUP2 00001979: PUSH1 0x05 0000197b: SLOAD 0000197c: PUSH2 0x3583 0000197f: SWAP1 00001980: SWAP2 00001981: SWAP1 00001982: PUSH4 0xffffffff 00001987: AND 00001988: JUMP 00001989: JUMPDEST 0000198a: PUSH1 0x05 0000198c: DUP2 0000198d: SWAP1 0000198e: SSTORE 0000198f: POP 00001990: PUSH2 0x19da 00001993: CALLER 00001994: DUP3 00001995: PUSH1 0x00 00001997: DUP1 00001998: SLOAD 00001999: SWAP1 0000199a: PUSH2 0x0100 0000199d: EXP 0000199e: SWAP1 0000199f: DIV 000019a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019b5: AND 000019b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019cb: AND 000019cc: PUSH2 0x35d8 000019cf: SWAP1 000019d0: SWAP3 000019d1: SWAP2 000019d2: SWAP1 000019d3: PUSH4 0xffffffff 000019d8: AND 000019d9: JUMP 000019da: JUMPDEST 000019db: CALLER 000019dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019f1: AND 000019f2: PUSH32 0x4ac90d1f78f20dba88859653e6f21532dc8fccefb0f3992a2f6e9d1d80290bc8 00001a13: DUP3 00001a14: PUSH1 0x40 00001a16: MLOAD 00001a17: PUSH2 0x1a20 00001a1a: SWAP2 00001a1b: SWAP1 00001a1c: PUSH2 0x440b 00001a1f: JUMP 00001a20: JUMPDEST 00001a21: PUSH1 0x40 00001a23: MLOAD 00001a24: DUP1 00001a25: SWAP2 00001a26: SUB 00001a27: SWAP1 00001a28: LOG2 00001a29: JUMPDEST 00001a2a: POP 00001a2b: JUMP 00001a2c: JUMPDEST 00001a2d: PUSH1 0x00 00001a2f: PUSH1 0x01 00001a31: SLOAD 00001a32: TIMESTAMP 00001a33: GT 00001a34: PUSH2 0x1a72 00001a37: JUMPI 00001a38: PUSH1 0x40 00001a3a: MLOAD 00001a3b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001a5c: DUP2 00001a5d: MSTORE 00001a5e: PUSH1 0x04 00001a60: ADD 00001a61: PUSH2 0x1a69 00001a64: SWAP1 00001a65: PUSH2 0x424b 00001a68: JUMP 00001a69: JUMPDEST 00001a6a: PUSH1 0x40 00001a6c: MLOAD 00001a6d: DUP1 00001a6e: SWAP2 00001a6f: SUB 00001a70: SWAP1 00001a71: REVERT 00001a72: JUMPDEST 00001a73: PUSH1 0x00 00001a75: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a8a: AND 00001a8b: DUP3 00001a8c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001aa1: AND 00001aa2: EQ 00001aa3: ISZERO 00001aa4: PUSH2 0x1ae2 00001aa7: JUMPI 00001aa8: PUSH1 0x40 00001aaa: MLOAD 00001aab: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001acc: DUP2 00001acd: MSTORE 00001ace: PUSH1 0x04 00001ad0: ADD 00001ad1: PUSH2 0x1ad9 00001ad4: SWAP1 00001ad5: PUSH2 0x432b 00001ad8: JUMP 00001ad9: JUMPDEST 00001ada: PUSH1 0x40 00001adc: MLOAD 00001add: DUP1 00001ade: SWAP2 00001adf: SUB 00001ae0: SWAP1 00001ae1: REVERT 00001ae2: JUMPDEST 00001ae3: PUSH1 0x00 00001ae5: DUP1 00001ae6: PUSH2 0x1aed 00001ae9: PUSH2 0x3a53 00001aec: JUMP 00001aed: JUMPDEST 00001aee: PUSH1 0x09 00001af0: PUSH1 0x00 00001af2: DUP7 00001af3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b08: AND 00001b09: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b1e: AND 00001b1f: DUP2 00001b20: MSTORE 00001b21: PUSH1 0x20 00001b23: ADD 00001b24: SWAP1 00001b25: DUP2 00001b26: MSTORE 00001b27: PUSH1 0x20 00001b29: ADD 00001b2a: PUSH1 0x00 00001b2c: KECCAK256 00001b2d: PUSH1 0x40 00001b2f: MLOAD 00001b30: DUP1 00001b31: PUSH1 0xc0 00001b33: ADD 00001b34: PUSH1 0x40 00001b36: MSTORE 00001b37: SWAP1 00001b38: DUP2 00001b39: PUSH1 0x00 00001b3b: DUP3 00001b3c: ADD 00001b3d: PUSH1 0x00 00001b3f: SWAP1 00001b40: SLOAD 00001b41: SWAP1 00001b42: PUSH2 0x0100 00001b45: EXP 00001b46: SWAP1 00001b47: DIV 00001b48: PUSH1 0xff 00001b4a: AND 00001b4b: ISZERO 00001b4c: ISZERO 00001b4d: ISZERO 00001b4e: ISZERO 00001b4f: DUP2 00001b50: MSTORE 00001b51: PUSH1 0x20 00001b53: ADD 00001b54: PUSH1 0x01 00001b56: DUP3 00001b57: ADD 00001b58: SLOAD 00001b59: DUP2 00001b5a: MSTORE 00001b5b: PUSH1 0x20 00001b5d: ADD 00001b5e: PUSH1 0x02 00001b60: DUP3 00001b61: ADD 00001b62: DUP1 00001b63: SLOAD 00001b64: DUP1 00001b65: PUSH1 0x20 00001b67: MUL 00001b68: PUSH1 0x20 00001b6a: ADD 00001b6b: PUSH1 0x40 00001b6d: MLOAD 00001b6e: SWAP1 00001b6f: DUP2 00001b70: ADD 00001b71: PUSH1 0x40 00001b73: MSTORE 00001b74: DUP1 00001b75: SWAP3 00001b76: SWAP2 00001b77: SWAP1 00001b78: DUP2 00001b79: DUP2 00001b7a: MSTORE 00001b7b: PUSH1 0x20 00001b7d: ADD 00001b7e: PUSH1 0x00 00001b80: SWAP1 00001b81: JUMPDEST 00001b82: DUP3 00001b83: DUP3 00001b84: LT 00001b85: ISZERO 00001b86: PUSH2 0x1bf6 00001b89: JUMPI 00001b8a: DUP4 00001b8b: DUP3 00001b8c: SWAP1 00001b8d: PUSH1 0x00 00001b8f: MSTORE 00001b90: PUSH1 0x20 00001b92: PUSH1 0x00 00001b94: KECCAK256 00001b95: SWAP1 00001b96: PUSH1 0x05 00001b98: MUL 00001b99: ADD 00001b9a: PUSH1 0x40 00001b9c: MLOAD 00001b9d: DUP1 00001b9e: PUSH1 0xa0 00001ba0: ADD 00001ba1: PUSH1 0x40 00001ba3: MSTORE 00001ba4: SWAP1 00001ba5: DUP2 00001ba6: PUSH1 0x00 00001ba8: DUP3 00001ba9: ADD 00001baa: SLOAD 00001bab: DUP2 00001bac: MSTORE 00001bad: PUSH1 0x20 00001baf: ADD 00001bb0: PUSH1 0x01 00001bb2: DUP3 00001bb3: ADD 00001bb4: SLOAD 00001bb5: DUP2 00001bb6: MSTORE 00001bb7: PUSH1 0x20 00001bb9: ADD 00001bba: PUSH1 0x02 00001bbc: DUP3 00001bbd: ADD 00001bbe: SLOAD 00001bbf: DUP2 00001bc0: MSTORE 00001bc1: PUSH1 0x20 00001bc3: ADD 00001bc4: PUSH1 0x03 00001bc6: DUP3 00001bc7: ADD 00001bc8: PUSH1 0x00 00001bca: SWAP1 00001bcb: SLOAD 00001bcc: SWAP1 00001bcd: PUSH2 0x0100 00001bd0: EXP 00001bd1: SWAP1 00001bd2: DIV 00001bd3: PUSH1 0xff 00001bd5: AND 00001bd6: ISZERO 00001bd7: ISZERO 00001bd8: ISZERO 00001bd9: ISZERO 00001bda: DUP2 00001bdb: MSTORE 00001bdc: PUSH1 0x20 00001bde: ADD 00001bdf: PUSH1 0x04 00001be1: DUP3 00001be2: ADD 00001be3: SLOAD 00001be4: DUP2 00001be5: MSTORE 00001be6: POP 00001be7: POP 00001be8: DUP2 00001be9: MSTORE 00001bea: PUSH1 0x20 00001bec: ADD 00001bed: SWAP1 00001bee: PUSH1 0x01 00001bf0: ADD 00001bf1: SWAP1 00001bf2: PUSH2 0x1b81 00001bf5: JUMP 00001bf6: JUMPDEST 00001bf7: POP 00001bf8: POP 00001bf9: POP 00001bfa: POP 00001bfb: DUP2 00001bfc: MSTORE 00001bfd: PUSH1 0x20 00001bff: ADD 00001c00: PUSH1 0x03 00001c02: DUP3 00001c03: ADD 00001c04: PUSH1 0x00 00001c06: SWAP1 00001c07: SLOAD 00001c08: SWAP1 00001c09: PUSH2 0x0100 00001c0c: EXP 00001c0d: SWAP1 00001c0e: DIV 00001c0f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c24: AND 00001c25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c3a: AND 00001c3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c50: AND 00001c51: DUP2 00001c52: MSTORE 00001c53: PUSH1 0x20 00001c55: ADD 00001c56: PUSH1 0x04 00001c58: DUP3 00001c59: ADD 00001c5a: DUP1 00001c5b: SLOAD 00001c5c: DUP1 00001c5d: PUSH1 0x20 00001c5f: MUL 00001c60: PUSH1 0x20 00001c62: ADD 00001c63: PUSH1 0x40 00001c65: MLOAD 00001c66: SWAP1 00001c67: DUP2 00001c68: ADD 00001c69: PUSH1 0x40 00001c6b: MSTORE 00001c6c: DUP1 00001c6d: SWAP3 00001c6e: SWAP2 00001c6f: SWAP1 00001c70: DUP2 00001c71: DUP2 00001c72: MSTORE 00001c73: PUSH1 0x20 00001c75: ADD 00001c76: DUP3 00001c77: DUP1 00001c78: SLOAD 00001c79: DUP1 00001c7a: ISZERO 00001c7b: PUSH2 0x1cd9 00001c7e: JUMPI 00001c7f: PUSH1 0x20 00001c81: MUL 00001c82: DUP3 00001c83: ADD 00001c84: SWAP2 00001c85: SWAP1 00001c86: PUSH1 0x00 00001c88: MSTORE 00001c89: PUSH1 0x20 00001c8b: PUSH1 0x00 00001c8d: KECCAK256 00001c8e: SWAP1 00001c8f: JUMPDEST 00001c90: DUP2 00001c91: PUSH1 0x00 00001c93: SWAP1 00001c94: SLOAD 00001c95: SWAP1 00001c96: PUSH2 0x0100 00001c99: EXP 00001c9a: SWAP1 00001c9b: DIV 00001c9c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001cb1: AND 00001cb2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001cc7: AND 00001cc8: DUP2 00001cc9: MSTORE 00001cca: PUSH1 0x20 00001ccc: ADD 00001ccd: SWAP1 00001cce: PUSH1 0x01 00001cd0: ADD 00001cd1: SWAP1 00001cd2: DUP1 00001cd3: DUP4 00001cd4: GT 00001cd5: PUSH2 0x1c8f 00001cd8: JUMPI 00001cd9: JUMPDEST 00001cda: POP 00001cdb: POP 00001cdc: POP 00001cdd: POP 00001cde: POP 00001cdf: DUP2 00001ce0: MSTORE 00001ce1: PUSH1 0x20 00001ce3: ADD 00001ce4: PUSH1 0x05 00001ce6: DUP3 00001ce7: ADD 00001ce8: DUP1 00001ce9: SLOAD 00001cea: DUP1 00001ceb: PUSH1 0x20 00001ced: MUL 00001cee: PUSH1 0x20 00001cf0: ADD 00001cf1: PUSH1 0x40 00001cf3: MLOAD 00001cf4: SWAP1 00001cf5: DUP2 00001cf6: ADD 00001cf7: PUSH1 0x40 00001cf9: MSTORE 00001cfa: DUP1 00001cfb: SWAP3 00001cfc: SWAP2 00001cfd: SWAP1 00001cfe: DUP2 00001cff: DUP2 00001d00: MSTORE 00001d01: PUSH1 0x20 00001d03: ADD 00001d04: DUP3 00001d05: DUP1 00001d06: SLOAD 00001d07: DUP1 00001d08: ISZERO 00001d09: PUSH2 0x1d67 00001d0c: JUMPI 00001d0d: PUSH1 0x20 00001d0f: MUL 00001d10: DUP3 00001d11: ADD 00001d12: SWAP2 00001d13: SWAP1 00001d14: PUSH1 0x00 00001d16: MSTORE 00001d17: PUSH1 0x20 00001d19: PUSH1 0x00 00001d1b: KECCAK256 00001d1c: SWAP1 00001d1d: JUMPDEST 00001d1e: DUP2 00001d1f: PUSH1 0x00 00001d21: SWAP1 00001d22: SLOAD 00001d23: SWAP1 00001d24: PUSH2 0x0100 00001d27: EXP 00001d28: SWAP1 00001d29: DIV 00001d2a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d3f: AND 00001d40: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d55: AND 00001d56: DUP2 00001d57: MSTORE 00001d58: PUSH1 0x20 00001d5a: ADD 00001d5b: SWAP1 00001d5c: PUSH1 0x01 00001d5e: ADD 00001d5f: SWAP1 00001d60: DUP1 00001d61: DUP4 00001d62: GT 00001d63: PUSH2 0x1d1d 00001d66: JUMPI 00001d67: JUMPDEST 00001d68: POP 00001d69: POP 00001d6a: POP 00001d6b: POP 00001d6c: POP 00001d6d: DUP2 00001d6e: MSTORE 00001d6f: POP 00001d70: POP 00001d71: SWAP1 00001d72: POP 00001d73: PUSH1 0x00 00001d75: JUMPDEST 00001d76: DUP2 00001d77: PUSH1 0x80 00001d79: ADD 00001d7a: MLOAD 00001d7b: MLOAD 00001d7c: DUP2 00001d7d: LT 00001d7e: ISZERO 00001d7f: PUSH2 0x1e76 00001d82: JUMPI 00001d83: PUSH1 0x00 00001d85: DUP1 00001d86: PUSH1 0x0a 00001d88: PUSH1 0x00 00001d8a: DUP6 00001d8b: PUSH1 0x80 00001d8d: ADD 00001d8e: MLOAD 00001d8f: DUP6 00001d90: DUP2 00001d91: MLOAD 00001d92: DUP2 00001d93: LT 00001d94: PUSH2 0x1d99 00001d97: JUMPI 00001d98: INVALID 00001d99: JUMPDEST 00001d9a: PUSH1 0x20 00001d9c: MUL 00001d9d: PUSH1 0x20 00001d9f: ADD 00001da0: ADD 00001da1: MLOAD 00001da2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001db7: AND 00001db8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001dcd: AND 00001dce: DUP2 00001dcf: MSTORE 00001dd0: PUSH1 0x20 00001dd2: ADD 00001dd3: SWAP1 00001dd4: DUP2 00001dd5: MSTORE 00001dd6: PUSH1 0x20 00001dd8: ADD 00001dd9: PUSH1 0x00 00001ddb: KECCAK256 00001ddc: PUSH1 0x04 00001dde: ADD 00001ddf: SLOAD 00001de0: SWAP1 00001de1: POP 00001de2: PUSH2 0x1e13 00001de5: DUP2 00001de6: PUSH2 0x1e05 00001de9: DUP7 00001dea: PUSH1 0x80 00001dec: ADD 00001ded: MLOAD 00001dee: DUP7 00001def: DUP2 00001df0: MLOAD 00001df1: DUP2 00001df2: LT 00001df3: PUSH2 0x1df8 00001df6: JUMPI 00001df7: INVALID 00001df8: JUMPDEST 00001df9: PUSH1 0x20 00001dfb: MUL 00001dfc: PUSH1 0x20 00001dfe: ADD 00001dff: ADD 00001e00: MLOAD 00001e01: PUSH2 0x304b 00001e04: JUMP 00001e05: JUMPDEST 00001e06: PUSH2 0x3583 00001e09: SWAP1 00001e0a: SWAP2 00001e0b: SWAP1 00001e0c: PUSH4 0xffffffff 00001e11: AND 00001e12: JUMP 00001e13: JUMPDEST 00001e14: SWAP2 00001e15: POP 00001e16: PUSH2 0x1e65 00001e19: PUSH2 0x1e56 00001e1c: PUSH1 0x64 00001e1e: PUSH2 0x1e48 00001e21: PUSH1 0x0f 00001e23: PUSH1 0x00 00001e25: DUP2 00001e26: SLOAD 00001e27: DUP2 00001e28: LT 00001e29: PUSH2 0x1e2e 00001e2c: JUMPI 00001e2d: INVALID 00001e2e: JUMPDEST 00001e2f: SWAP1 00001e30: PUSH1 0x00 00001e32: MSTORE 00001e33: PUSH1 0x20 00001e35: PUSH1 0x00 00001e37: KECCAK256 00001e38: ADD 00001e39: SLOAD 00001e3a: DUP7 00001e3b: PUSH2 0x29a3 00001e3e: SWAP1 00001e3f: SWAP2 00001e40: SWAP1 00001e41: PUSH4 0xffffffff 00001e46: AND 00001e47: JUMP 00001e48: JUMPDEST 00001e49: PUSH2 0x2a13 00001e4c: SWAP1 00001e4d: SWAP2 00001e4e: SWAP1 00001e4f: PUSH4 0xffffffff 00001e54: AND 00001e55: JUMP 00001e56: JUMPDEST 00001e57: DUP8 00001e58: PUSH2 0x3583 00001e5b: SWAP1 00001e5c: SWAP2 00001e5d: SWAP1 00001e5e: PUSH4 0xffffffff 00001e63: AND 00001e64: JUMP 00001e65: JUMPDEST 00001e66: SWAP6 00001e67: POP 00001e68: POP 00001e69: POP 00001e6a: DUP1 00001e6b: DUP1 00001e6c: PUSH1 0x01 00001e6e: ADD 00001e6f: SWAP2 00001e70: POP 00001e71: POP 00001e72: PUSH2 0x1d75 00001e75: JUMP 00001e76: JUMPDEST 00001e77: POP 00001e78: PUSH1 0x00 00001e7a: JUMPDEST 00001e7b: DUP2 00001e7c: PUSH1 0xa0 00001e7e: ADD 00001e7f: MLOAD 00001e80: MLOAD 00001e81: DUP2 00001e82: LT 00001e83: ISZERO 00001e84: PUSH2 0x1f7b 00001e87: JUMPI 00001e88: PUSH1 0x00 00001e8a: DUP1 00001e8b: PUSH1 0x0a 00001e8d: PUSH1 0x00 00001e8f: DUP6 00001e90: PUSH1 0xa0 00001e92: ADD 00001e93: MLOAD 00001e94: DUP6 00001e95: DUP2 00001e96: MLOAD 00001e97: DUP2 00001e98: LT 00001e99: PUSH2 0x1e9e 00001e9c: JUMPI 00001e9d: INVALID 00001e9e: JUMPDEST 00001e9f: PUSH1 0x20 00001ea1: MUL 00001ea2: PUSH1 0x20 00001ea4: ADD 00001ea5: ADD 00001ea6: MLOAD 00001ea7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ebc: AND 00001ebd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ed2: AND 00001ed3: DUP2 00001ed4: MSTORE 00001ed5: PUSH1 0x20 00001ed7: ADD 00001ed8: SWAP1 00001ed9: DUP2 00001eda: MSTORE 00001edb: PUSH1 0x20 00001edd: ADD 00001ede: PUSH1 0x00 00001ee0: KECCAK256 00001ee1: PUSH1 0x04 00001ee3: ADD 00001ee4: SLOAD 00001ee5: SWAP1 00001ee6: POP 00001ee7: PUSH2 0x1f18 00001eea: DUP2 00001eeb: PUSH2 0x1f0a 00001eee: DUP7 00001eef: PUSH1 0xa0 00001ef1: ADD 00001ef2: MLOAD 00001ef3: DUP7 00001ef4: DUP2 00001ef5: MLOAD 00001ef6: DUP2 00001ef7: LT 00001ef8: PUSH2 0x1efd 00001efb: JUMPI 00001efc: INVALID 00001efd: JUMPDEST 00001efe: PUSH1 0x20 00001f00: MUL 00001f01: PUSH1 0x20 00001f03: ADD 00001f04: ADD 00001f05: MLOAD 00001f06: PUSH2 0x304b 00001f09: JUMP 00001f0a: JUMPDEST 00001f0b: PUSH2 0x3583 00001f0e: SWAP1 00001f0f: SWAP2 00001f10: SWAP1 00001f11: PUSH4 0xffffffff 00001f16: AND 00001f17: JUMP 00001f18: JUMPDEST 00001f19: SWAP2 00001f1a: POP 00001f1b: PUSH2 0x1f6a 00001f1e: PUSH2 0x1f5b 00001f21: PUSH1 0x64 00001f23: PUSH2 0x1f4d 00001f26: PUSH1 0x0f 00001f28: PUSH1 0x01 00001f2a: DUP2 00001f2b: SLOAD 00001f2c: DUP2 00001f2d: LT 00001f2e: PUSH2 0x1f33 00001f31: JUMPI 00001f32: INVALID 00001f33: JUMPDEST 00001f34: SWAP1 00001f35: PUSH1 0x00 00001f37: MSTORE 00001f38: PUSH1 0x20 00001f3a: PUSH1 0x00 00001f3c: KECCAK256 00001f3d: ADD 00001f3e: SLOAD 00001f3f: DUP7 00001f40: PUSH2 0x29a3 00001f43: SWAP1 00001f44: SWAP2 00001f45: SWAP1 00001f46: PUSH4 0xffffffff 00001f4b: AND 00001f4c: JUMP 00001f4d: JUMPDEST 00001f4e: PUSH2 0x2a13 00001f51: SWAP1 00001f52: SWAP2 00001f53: SWAP1 00001f54: PUSH4 0xffffffff 00001f59: AND 00001f5a: JUMP 00001f5b: JUMPDEST 00001f5c: DUP7 00001f5d: PUSH2 0x3583 00001f60: SWAP1 00001f61: SWAP2 00001f62: SWAP1 00001f63: PUSH4 0xffffffff 00001f68: AND 00001f69: JUMP 00001f6a: JUMPDEST 00001f6b: SWAP5 00001f6c: POP 00001f6d: POP 00001f6e: POP 00001f6f: DUP1 00001f70: DUP1 00001f71: PUSH1 0x01 00001f73: ADD 00001f74: SWAP2 00001f75: POP 00001f76: POP 00001f77: PUSH2 0x1e7a 00001f7a: JUMP 00001f7b: JUMPDEST 00001f7c: POP 00001f7d: PUSH2 0x1fe0 00001f80: PUSH1 0x0b 00001f82: PUSH1 0x00 00001f84: DUP8 00001f85: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f9a: AND 00001f9b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fb0: AND 00001fb1: DUP2 00001fb2: MSTORE 00001fb3: PUSH1 0x20 00001fb5: ADD 00001fb6: SWAP1 00001fb7: DUP2 00001fb8: MSTORE 00001fb9: PUSH1 0x20 00001fbb: ADD 00001fbc: PUSH1 0x00 00001fbe: KECCAK256 00001fbf: SLOAD 00001fc0: PUSH2 0x1fd2 00001fc3: DUP5 00001fc4: DUP7 00001fc5: PUSH2 0x3583 00001fc8: SWAP1 00001fc9: SWAP2 00001fca: SWAP1 00001fcb: PUSH4 0xffffffff 00001fd0: AND 00001fd1: JUMP 00001fd2: JUMPDEST 00001fd3: PUSH2 0x2a6f 00001fd6: SWAP1 00001fd7: SWAP2 00001fd8: SWAP1 00001fd9: PUSH4 0xffffffff 00001fde: AND 00001fdf: JUMP 00001fe0: JUMPDEST 00001fe1: SWAP4 00001fe2: POP 00001fe3: POP 00001fe4: POP 00001fe5: POP 00001fe6: SWAP2 00001fe7: SWAP1 00001fe8: POP 00001fe9: JUMP 00001fea: JUMPDEST 00001feb: PUSH1 0x08 00001fed: PUSH1 0x20 00001fef: MSTORE 00001ff0: DUP1 00001ff1: PUSH1 0x00 00001ff3: MSTORE 00001ff4: PUSH1 0x40 00001ff6: PUSH1 0x00 00001ff8: KECCAK256 00001ff9: PUSH1 0x00 00001ffb: SWAP2 00001ffc: POP 00001ffd: SWAP1 00001ffe: POP 00001fff: DUP1 00002000: PUSH1 0x00 00002002: ADD 00002003: SLOAD 00002004: SWAP1 00002005: DUP1 00002006: PUSH1 0x01 00002008: ADD 00002009: PUSH1 0x00 0000200b: SWAP1 0000200c: SLOAD 0000200d: SWAP1 0000200e: PUSH2 0x0100 00002011: EXP 00002012: SWAP1 00002013: DIV 00002014: PUSH1 0xff 00002016: AND 00002017: SWAP1 00002018: POP 00002019: DUP3 0000201a: JUMP 0000201b: JUMPDEST 0000201c: PUSH1 0x05 0000201e: SLOAD 0000201f: DUP2 00002020: JUMP 00002021: JUMPDEST 00002022: PUSH1 0x0b 00002024: PUSH1 0x20 00002026: MSTORE 00002027: DUP1 00002028: PUSH1 0x00 0000202a: MSTORE 0000202b: PUSH1 0x40 0000202d: PUSH1 0x00 0000202f: KECCAK256 00002030: PUSH1 0x00 00002032: SWAP2 00002033: POP 00002034: SWAP1 00002035: POP 00002036: SLOAD 00002037: DUP2 00002038: JUMP 00002039: JUMPDEST 0000203a: PUSH1 0x04 0000203c: SLOAD 0000203d: DUP2 0000203e: JUMP 0000203f: JUMPDEST 00002040: PUSH1 0x0c 00002042: PUSH1 0x00 00002044: SWAP1 00002045: SLOAD 00002046: SWAP1 00002047: PUSH2 0x0100 0000204a: EXP 0000204b: SWAP1 0000204c: DIV 0000204d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002062: AND 00002063: DUP2 00002064: JUMP 00002065: JUMPDEST 00002066: PUSH1 0x07 00002068: SLOAD 00002069: DUP2 0000206a: JUMP 0000206b: JUMPDEST 0000206c: PUSH1 0x0c 0000206e: PUSH1 0x00 00002070: SWAP1 00002071: SLOAD 00002072: SWAP1 00002073: PUSH2 0x0100 00002076: EXP 00002077: SWAP1 00002078: DIV 00002079: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000208e: AND 0000208f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000020a4: AND 000020a5: CALLER 000020a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000020bb: AND 000020bc: EQ 000020bd: PUSH2 0x20c5 000020c0: JUMPI 000020c1: PUSH1 0x00 000020c3: DUP1 000020c4: REVERT 000020c5: JUMPDEST 000020c6: PUSH1 0x00 000020c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000020dd: AND 000020de: DUP2 000020df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000020f4: AND 000020f5: EQ 000020f6: ISZERO 000020f7: PUSH2 0x2135 000020fa: JUMPI 000020fb: PUSH1 0x40 000020fd: MLOAD 000020fe: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000211f: DUP2 00002120: MSTORE 00002121: PUSH1 0x04 00002123: ADD 00002124: PUSH2 0x212c 00002127: SWAP1 00002128: PUSH2 0x432b 0000212b: JUMP 0000212c: JUMPDEST 0000212d: PUSH1 0x40 0000212f: MLOAD 00002130: DUP1 00002131: SWAP2 00002132: SUB 00002133: SWAP1 00002134: REVERT 00002135: JUMPDEST 00002136: DUP1 00002137: PUSH1 0x0d 00002139: PUSH1 0x00 0000213b: PUSH2 0x0100 0000213e: EXP 0000213f: DUP2 00002140: SLOAD 00002141: DUP2 00002142: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002157: MUL 00002158: NOT 00002159: AND 0000215a: SWAP1 0000215b: DUP4 0000215c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002171: AND 00002172: MUL 00002173: OR 00002174: SWAP1 00002175: SSTORE 00002176: POP 00002177: POP 00002178: JUMP 00002179: JUMPDEST 0000217a: PUSH1 0x0c 0000217c: PUSH1 0x00 0000217e: SWAP1 0000217f: SLOAD 00002180: SWAP1 00002181: PUSH2 0x0100 00002184: EXP 00002185: SWAP1 00002186: DIV 00002187: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000219c: AND 0000219d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000021b2: AND 000021b3: CALLER 000021b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000021c9: AND 000021ca: EQ 000021cb: PUSH2 0x21d3 000021ce: JUMPI 000021cf: PUSH1 0x00 000021d1: DUP1 000021d2: REVERT 000021d3: JUMPDEST 000021d4: PUSH1 0x00 000021d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000021eb: AND 000021ec: DUP2 000021ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002202: AND 00002203: EQ 00002204: ISZERO 00002205: PUSH2 0x2243 00002208: JUMPI 00002209: PUSH1 0x40 0000220b: MLOAD 0000220c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000222d: DUP2 0000222e: MSTORE 0000222f: PUSH1 0x04 00002231: ADD 00002232: PUSH2 0x223a 00002235: SWAP1 00002236: PUSH2 0x432b 00002239: JUMP 0000223a: JUMPDEST 0000223b: PUSH1 0x40 0000223d: MLOAD 0000223e: DUP1 0000223f: SWAP2 00002240: SUB 00002241: SWAP1 00002242: REVERT 00002243: JUMPDEST 00002244: DUP1 00002245: PUSH1 0x0e 00002247: PUSH1 0x00 00002249: PUSH2 0x0100 0000224c: EXP 0000224d: DUP2 0000224e: SLOAD 0000224f: DUP2 00002250: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002265: MUL 00002266: NOT 00002267: AND 00002268: SWAP1 00002269: DUP4 0000226a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000227f: AND 00002280: MUL 00002281: OR 00002282: SWAP1 00002283: SSTORE 00002284: POP 00002285: POP 00002286: JUMP 00002287: JUMPDEST 00002288: PUSH1 0x60 0000228a: PUSH1 0x01 0000228c: SLOAD 0000228d: TIMESTAMP 0000228e: GT 0000228f: PUSH2 0x22cd 00002292: JUMPI 00002293: PUSH1 0x40 00002295: MLOAD 00002296: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000022b7: DUP2 000022b8: MSTORE 000022b9: PUSH1 0x04 000022bb: ADD 000022bc: PUSH2 0x22c4 000022bf: SWAP1 000022c0: PUSH2 0x424b 000022c3: JUMP 000022c4: JUMPDEST 000022c5: PUSH1 0x40 000022c7: MLOAD 000022c8: DUP1 000022c9: SWAP2 000022ca: SUB 000022cb: SWAP1 000022cc: REVERT 000022cd: JUMPDEST 000022ce: PUSH1 0x00 000022d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000022e5: AND 000022e6: DUP3 000022e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000022fc: AND 000022fd: EQ 000022fe: ISZERO 000022ff: PUSH2 0x233d 00002302: JUMPI 00002303: PUSH1 0x40 00002305: MLOAD 00002306: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002327: DUP2 00002328: MSTORE 00002329: PUSH1 0x04 0000232b: ADD 0000232c: PUSH2 0x2334 0000232f: SWAP1 00002330: PUSH2 0x432b 00002333: JUMP 00002334: JUMPDEST 00002335: PUSH1 0x40 00002337: MLOAD 00002338: DUP1 00002339: SWAP2 0000233a: SUB 0000233b: SWAP1 0000233c: REVERT 0000233d: JUMPDEST 0000233e: PUSH2 0x2345 00002341: PUSH2 0x3a53 00002344: JUMP 00002345: JUMPDEST 00002346: PUSH1 0x09 00002348: PUSH1 0x00 0000234a: DUP5 0000234b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002360: AND 00002361: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002376: AND 00002377: DUP2 00002378: MSTORE 00002379: PUSH1 0x20 0000237b: ADD 0000237c: SWAP1 0000237d: DUP2 0000237e: MSTORE 0000237f: PUSH1 0x20 00002381: ADD 00002382: PUSH1 0x00 00002384: KECCAK256 00002385: PUSH1 0x40 00002387: MLOAD 00002388: DUP1 00002389: PUSH1 0xc0 0000238b: ADD 0000238c: PUSH1 0x40 0000238e: MSTORE 0000238f: SWAP1 00002390: DUP2 00002391: PUSH1 0x00 00002393: DUP3 00002394: ADD 00002395: PUSH1 0x00 00002397: SWAP1 00002398: SLOAD 00002399: SWAP1 0000239a: PUSH2 0x0100 0000239d: EXP 0000239e: SWAP1 0000239f: DIV 000023a0: PUSH1 0xff 000023a2: AND 000023a3: ISZERO 000023a4: ISZERO 000023a5: ISZERO 000023a6: ISZERO 000023a7: DUP2 000023a8: MSTORE 000023a9: PUSH1 0x20 000023ab: ADD 000023ac: PUSH1 0x01 000023ae: DUP3 000023af: ADD 000023b0: SLOAD 000023b1: DUP2 000023b2: MSTORE 000023b3: PUSH1 0x20 000023b5: ADD 000023b6: PUSH1 0x02 000023b8: DUP3 000023b9: ADD 000023ba: DUP1 000023bb: SLOAD 000023bc: DUP1 000023bd: PUSH1 0x20 000023bf: MUL 000023c0: PUSH1 0x20 000023c2: ADD 000023c3: PUSH1 0x40 000023c5: MLOAD 000023c6: SWAP1 000023c7: DUP2 000023c8: ADD 000023c9: PUSH1 0x40 000023cb: MSTORE 000023cc: DUP1 000023cd: SWAP3 000023ce: SWAP2 000023cf: SWAP1 000023d0: DUP2 000023d1: DUP2 000023d2: MSTORE 000023d3: PUSH1 0x20 000023d5: ADD 000023d6: PUSH1 0x00 000023d8: SWAP1 000023d9: JUMPDEST 000023da: DUP3 000023db: DUP3 000023dc: LT 000023dd: ISZERO 000023de: PUSH2 0x244e 000023e1: JUMPI 000023e2: DUP4 000023e3: DUP3 000023e4: SWAP1 000023e5: PUSH1 0x00 000023e7: MSTORE 000023e8: PUSH1 0x20 000023ea: PUSH1 0x00 000023ec: KECCAK256 000023ed: SWAP1 000023ee: PUSH1 0x05 000023f0: MUL 000023f1: ADD 000023f2: PUSH1 0x40 000023f4: MLOAD 000023f5: DUP1 000023f6: PUSH1 0xa0 000023f8: ADD 000023f9: PUSH1 0x40 000023fb: MSTORE 000023fc: SWAP1 000023fd: DUP2 000023fe: PUSH1 0x00 00002400: DUP3 00002401: ADD 00002402: SLOAD 00002403: DUP2 00002404: MSTORE 00002405: PUSH1 0x20 00002407: ADD 00002408: PUSH1 0x01 0000240a: DUP3 0000240b: ADD 0000240c: SLOAD 0000240d: DUP2 0000240e: MSTORE 0000240f: PUSH1 0x20 00002411: ADD 00002412: PUSH1 0x02 00002414: DUP3 00002415: ADD 00002416: SLOAD 00002417: DUP2 00002418: MSTORE 00002419: PUSH1 0x20 0000241b: ADD 0000241c: PUSH1 0x03 0000241e: DUP3 0000241f: ADD 00002420: PUSH1 0x00 00002422: SWAP1 00002423: SLOAD 00002424: SWAP1 00002425: PUSH2 0x0100 00002428: EXP 00002429: SWAP1 0000242a: DIV 0000242b: PUSH1 0xff 0000242d: AND 0000242e: ISZERO 0000242f: ISZERO 00002430: ISZERO 00002431: ISZERO 00002432: DUP2 00002433: MSTORE 00002434: PUSH1 0x20 00002436: ADD 00002437: PUSH1 0x04 00002439: DUP3 0000243a: ADD 0000243b: SLOAD 0000243c: DUP2 0000243d: MSTORE 0000243e: POP 0000243f: POP 00002440: DUP2 00002441: MSTORE 00002442: PUSH1 0x20 00002444: ADD 00002445: SWAP1 00002446: PUSH1 0x01 00002448: ADD 00002449: SWAP1 0000244a: PUSH2 0x23d9 0000244d: JUMP 0000244e: JUMPDEST 0000244f: POP 00002450: POP 00002451: POP 00002452: POP 00002453: DUP2 00002454: MSTORE 00002455: PUSH1 0x20 00002457: ADD 00002458: PUSH1 0x03 0000245a: DUP3 0000245b: ADD 0000245c: PUSH1 0x00 0000245e: SWAP1 0000245f: SLOAD 00002460: SWAP1 00002461: PUSH2 0x0100 00002464: EXP 00002465: SWAP1 00002466: DIV 00002467: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000247c: AND 0000247d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002492: AND 00002493: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000024a8: AND 000024a9: DUP2 000024aa: MSTORE 000024ab: PUSH1 0x20 000024ad: ADD 000024ae: PUSH1 0x04 000024b0: DUP3 000024b1: ADD 000024b2: DUP1 000024b3: SLOAD 000024b4: DUP1 000024b5: PUSH1 0x20 000024b7: MUL 000024b8: PUSH1 0x20 000024ba: ADD 000024bb: PUSH1 0x40 000024bd: MLOAD 000024be: SWAP1 000024bf: DUP2 000024c0: ADD 000024c1: PUSH1 0x40 000024c3: MSTORE 000024c4: DUP1 000024c5: SWAP3 000024c6: SWAP2 000024c7: SWAP1 000024c8: DUP2 000024c9: DUP2 000024ca: MSTORE 000024cb: PUSH1 0x20 000024cd: ADD 000024ce: DUP3 000024cf: DUP1 000024d0: SLOAD 000024d1: DUP1 000024d2: ISZERO 000024d3: PUSH2 0x2531 000024d6: JUMPI 000024d7: PUSH1 0x20 000024d9: MUL 000024da: DUP3 000024db: ADD 000024dc: SWAP2 000024dd: SWAP1 000024de: PUSH1 0x00 000024e0: MSTORE 000024e1: PUSH1 0x20 000024e3: PUSH1 0x00 000024e5: KECCAK256 000024e6: SWAP1 000024e7: JUMPDEST 000024e8: DUP2 000024e9: PUSH1 0x00 000024eb: SWAP1 000024ec: SLOAD 000024ed: SWAP1 000024ee: PUSH2 0x0100 000024f1: EXP 000024f2: SWAP1 000024f3: DIV 000024f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002509: AND 0000250a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000251f: AND 00002520: DUP2 00002521: MSTORE 00002522: PUSH1 0x20 00002524: ADD 00002525: SWAP1 00002526: PUSH1 0x01 00002528: ADD 00002529: SWAP1 0000252a: DUP1 0000252b: DUP4 0000252c: GT 0000252d: PUSH2 0x24e7 00002530: JUMPI 00002531: JUMPDEST 00002532: POP 00002533: POP 00002534: POP 00002535: POP 00002536: POP 00002537: DUP2 00002538: MSTORE 00002539: PUSH1 0x20 0000253b: ADD 0000253c: PUSH1 0x05 0000253e: DUP3 0000253f: ADD 00002540: DUP1 00002541: SLOAD 00002542: DUP1 00002543: PUSH1 0x20 00002545: MUL 00002546: PUSH1 0x20 00002548: ADD 00002549: PUSH1 0x40 0000254b: MLOAD 0000254c: SWAP1 0000254d: DUP2 0000254e: ADD 0000254f: PUSH1 0x40 00002551: MSTORE 00002552: DUP1 00002553: SWAP3 00002554: SWAP2 00002555: SWAP1 00002556: DUP2 00002557: DUP2 00002558: MSTORE 00002559: PUSH1 0x20 0000255b: ADD 0000255c: DUP3 0000255d: DUP1 0000255e: SLOAD 0000255f: DUP1 00002560: ISZERO 00002561: PUSH2 0x25bf 00002564: JUMPI 00002565: PUSH1 0x20 00002567: MUL 00002568: DUP3 00002569: ADD 0000256a: SWAP2 0000256b: SWAP1 0000256c: PUSH1 0x00 0000256e: MSTORE 0000256f: PUSH1 0x20 00002571: PUSH1 0x00 00002573: KECCAK256 00002574: SWAP1 00002575: JUMPDEST 00002576: DUP2 00002577: PUSH1 0x00 00002579: SWAP1 0000257a: SLOAD 0000257b: SWAP1 0000257c: PUSH2 0x0100 0000257f: EXP 00002580: SWAP1 00002581: DIV 00002582: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002597: AND 00002598: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000025ad: AND 000025ae: DUP2 000025af: MSTORE 000025b0: PUSH1 0x20 000025b2: ADD 000025b3: SWAP1 000025b4: PUSH1 0x01 000025b6: ADD 000025b7: SWAP1 000025b8: DUP1 000025b9: DUP4 000025ba: GT 000025bb: PUSH2 0x2575 000025be: JUMPI 000025bf: JUMPDEST 000025c0: POP 000025c1: POP 000025c2: POP 000025c3: POP 000025c4: POP 000025c5: DUP2 000025c6: MSTORE 000025c7: POP 000025c8: POP 000025c9: SWAP1 000025ca: POP 000025cb: DUP1 000025cc: PUSH1 0x40 000025ce: ADD 000025cf: MLOAD 000025d0: SWAP2 000025d1: POP 000025d2: POP 000025d3: SWAP2 000025d4: SWAP1 000025d5: POP 000025d6: JUMP 000025d7: JUMPDEST 000025d8: PUSH1 0x0c 000025da: PUSH1 0x00 000025dc: SWAP1 000025dd: SLOAD 000025de: SWAP1 000025df: PUSH2 0x0100 000025e2: EXP 000025e3: SWAP1 000025e4: DIV 000025e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000025fa: AND 000025fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002610: AND 00002611: CALLER 00002612: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002627: AND 00002628: EQ 00002629: PUSH2 0x2631 0000262c: JUMPI 0000262d: PUSH1 0x00 0000262f: DUP1 00002630: REVERT 00002631: JUMPDEST 00002632: PUSH1 0x00 00002634: ISZERO 00002635: ISZERO 00002636: PUSH1 0x0e 00002638: PUSH1 0x14 0000263a: SWAP1 0000263b: SLOAD 0000263c: SWAP1 0000263d: PUSH2 0x0100 00002640: EXP 00002641: SWAP1 00002642: DIV 00002643: PUSH1 0xff 00002645: AND 00002646: ISZERO 00002647: ISZERO 00002648: EQ 00002649: PUSH2 0x2687 0000264c: JUMPI 0000264d: PUSH1 0x40 0000264f: MLOAD 00002650: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002671: DUP2 00002672: MSTORE 00002673: PUSH1 0x04 00002675: ADD 00002676: PUSH2 0x267e 00002679: SWAP1 0000267a: PUSH2 0x42cb 0000267d: JUMP 0000267e: JUMPDEST 0000267f: PUSH1 0x40 00002681: MLOAD 00002682: DUP1 00002683: SWAP2 00002684: SUB 00002685: SWAP1 00002686: REVERT 00002687: JUMPDEST 00002688: PUSH1 0x00 0000268a: DUP1 0000268b: SLOAD 0000268c: SWAP1 0000268d: PUSH2 0x0100 00002690: EXP 00002691: SWAP1 00002692: DIV 00002693: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000026a8: AND 000026a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000026be: AND 000026bf: PUSH4 0x40c10f19 000026c4: ADDRESS 000026c5: PUSH1 0x04 000026c7: SLOAD 000026c8: PUSH1 0x40 000026ca: MLOAD 000026cb: DUP4 000026cc: PUSH4 0xffffffff 000026d1: AND 000026d2: PUSH1 0xe0 000026d4: SHL 000026d5: DUP2 000026d6: MSTORE 000026d7: PUSH1 0x04 000026d9: ADD 000026da: PUSH2 0x26e4 000026dd: SWAP3 000026de: SWAP2 000026df: SWAP1 000026e0: PUSH2 0x416a 000026e3: JUMP 000026e4: JUMPDEST 000026e5: PUSH1 0x00 000026e7: PUSH1 0x40 000026e9: MLOAD 000026ea: DUP1 000026eb: DUP4 000026ec: SUB 000026ed: DUP2 000026ee: PUSH1 0x00 000026f0: DUP8 000026f1: DUP1 000026f2: EXTCODESIZE 000026f3: ISZERO 000026f4: DUP1 000026f5: ISZERO 000026f6: PUSH2 0x26fe 000026f9: JUMPI 000026fa: PUSH1 0x00 000026fc: DUP1 000026fd: REVERT 000026fe: JUMPDEST 000026ff: POP 00002700: GAS 00002701: CALL 00002702: ISZERO 00002703: DUP1 00002704: ISZERO 00002705: PUSH2 0x2712 00002708: JUMPI 00002709: RETURNDATASIZE 0000270a: PUSH1 0x00 0000270c: DUP1 0000270d: RETURNDATACOPY 0000270e: RETURNDATASIZE 0000270f: PUSH1 0x00 00002711: REVERT 00002712: JUMPDEST 00002713: POP 00002714: POP 00002715: POP 00002716: POP 00002717: PUSH1 0x01 00002719: PUSH1 0x0e 0000271b: PUSH1 0x14 0000271d: PUSH2 0x0100 00002720: EXP 00002721: DUP2 00002722: SLOAD 00002723: DUP2 00002724: PUSH1 0xff 00002726: MUL 00002727: NOT 00002728: AND 00002729: SWAP1 0000272a: DUP4 0000272b: ISZERO 0000272c: ISZERO 0000272d: MUL 0000272e: OR 0000272f: SWAP1 00002730: SSTORE 00002731: POP 00002732: JUMP 00002733: JUMPDEST 00002734: PUSH1 0x01 00002736: SLOAD 00002737: TIMESTAMP 00002738: GT 00002739: PUSH2 0x2777 0000273c: JUMPI 0000273d: PUSH1 0x40 0000273f: MLOAD 00002740: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002761: DUP2 00002762: MSTORE 00002763: PUSH1 0x04 00002765: ADD 00002766: PUSH2 0x276e 00002769: SWAP1 0000276a: PUSH2 0x424b 0000276d: JUMP 0000276e: JUMPDEST 0000276f: PUSH1 0x40 00002771: MLOAD 00002772: DUP1 00002773: SWAP2 00002774: SUB 00002775: SWAP1 00002776: REVERT 00002777: JUMPDEST 00002778: PUSH2 0x277f 0000277b: PUSH2 0x0d04 0000277e: JUMP 0000277f: JUMPDEST 00002780: PUSH2 0x2787 00002783: PUSH2 0x1885 00002786: JUMP 00002787: JUMPDEST 00002788: PUSH2 0x278f 0000278b: PUSH2 0x10c6 0000278e: JUMP 0000278f: JUMPDEST 00002790: JUMP 00002791: JUMPDEST 00002792: PUSH1 0x0c 00002794: PUSH1 0x00 00002796: SWAP1 00002797: SLOAD 00002798: SWAP1 00002799: PUSH2 0x0100 0000279c: EXP 0000279d: SWAP1 0000279e: DIV 0000279f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000027b4: AND 000027b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000027ca: AND 000027cb: CALLER 000027cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000027e1: AND 000027e2: EQ 000027e3: PUSH2 0x27eb 000027e6: JUMPI 000027e7: PUSH1 0x00 000027e9: DUP1 000027ea: REVERT 000027eb: JUMPDEST 000027ec: DUP1 000027ed: PUSH1 0x03 000027ef: DUP2 000027f0: SWAP1 000027f1: SSTORE 000027f2: POP 000027f3: PUSH1 0x64 000027f5: PUSH2 0x280b 000027f8: PUSH1 0x03 000027fa: SLOAD 000027fb: PUSH1 0x02 000027fd: SLOAD 000027fe: PUSH2 0x3583 00002801: SWAP1 00002802: SWAP2 00002803: SWAP1 00002804: PUSH4 0xffffffff 00002809: AND 0000280a: JUMP 0000280b: JUMPDEST 0000280c: GT 0000280d: ISZERO 0000280e: PUSH2 0x2816 00002811: JUMPI 00002812: PUSH1 0x00 00002814: DUP1 00002815: REVERT 00002816: JUMPDEST 00002817: POP 00002818: JUMP 00002819: JUMPDEST 0000281a: PUSH1 0x0d 0000281c: PUSH1 0x00 0000281e: SWAP1 0000281f: SLOAD 00002820: SWAP1 00002821: PUSH2 0x0100 00002824: EXP 00002825: SWAP1 00002826: DIV 00002827: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000283c: AND 0000283d: DUP2 0000283e: JUMP 0000283f: JUMPDEST 00002840: PUSH1 0x00 00002842: PUSH1 0x01 00002844: SLOAD 00002845: TIMESTAMP 00002846: GT 00002847: PUSH2 0x2885 0000284a: JUMPI 0000284b: PUSH1 0x40 0000284d: MLOAD 0000284e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000286f: DUP2 00002870: MSTORE 00002871: PUSH1 0x04 00002873: ADD 00002874: PUSH2 0x287c 00002877: SWAP1 00002878: PUSH2 0x424b 0000287b: JUMP 0000287c: JUMPDEST 0000287d: PUSH1 0x40 0000287f: MLOAD 00002880: DUP1 00002881: SWAP2 00002882: SUB 00002883: SWAP1 00002884: REVERT 00002885: JUMPDEST 00002886: PUSH2 0x288e 00002889: DUP3 0000288a: PUSH2 0x304b 0000288d: JUMP 0000288e: JUMPDEST 0000288f: SWAP1 00002890: POP 00002891: SWAP2 00002892: SWAP1 00002893: POP 00002894: JUMP 00002895: JUMPDEST 00002896: PUSH1 0x0c 00002898: PUSH1 0x00 0000289a: SWAP1 0000289b: SLOAD 0000289c: SWAP1 0000289d: PUSH2 0x0100 000028a0: EXP 000028a1: SWAP1 000028a2: DIV 000028a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000028b8: AND 000028b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000028ce: AND 000028cf: CALLER 000028d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000028e5: AND 000028e6: EQ 000028e7: PUSH2 0x28ef 000028ea: JUMPI 000028eb: PUSH1 0x00 000028ed: DUP1 000028ee: REVERT 000028ef: JUMPDEST 000028f0: PUSH1 0x00 000028f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002907: AND 00002908: DUP2 00002909: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000291e: AND 0000291f: EQ 00002920: ISZERO 00002921: PUSH2 0x295f 00002924: JUMPI 00002925: PUSH1 0x40 00002927: MLOAD 00002928: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002949: DUP2 0000294a: MSTORE 0000294b: PUSH1 0x04 0000294d: ADD 0000294e: PUSH2 0x2956 00002951: SWAP1 00002952: PUSH2 0x432b 00002955: JUMP 00002956: JUMPDEST 00002957: PUSH1 0x40 00002959: MLOAD 0000295a: DUP1 0000295b: SWAP2 0000295c: SUB 0000295d: SWAP1 0000295e: REVERT 0000295f: JUMPDEST 00002960: DUP1 00002961: PUSH1 0x0c 00002963: PUSH1 0x00 00002965: PUSH2 0x0100 00002968: EXP 00002969: DUP2 0000296a: SLOAD 0000296b: DUP2 0000296c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002981: MUL 00002982: NOT 00002983: AND 00002984: SWAP1 00002985: DUP4 00002986: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000299b: AND 0000299c: MUL 0000299d: OR 0000299e: SWAP1 0000299f: SSTORE 000029a0: POP 000029a1: POP 000029a2: JUMP 000029a3: JUMPDEST 000029a4: PUSH1 0x00 000029a6: DUP1 000029a7: DUP4 000029a8: EQ 000029a9: ISZERO 000029aa: PUSH2 0x29b6 000029ad: JUMPI 000029ae: PUSH1 0x00 000029b0: SWAP1 000029b1: POP 000029b2: PUSH2 0x2a0d 000029b5: JUMP 000029b6: JUMPDEST 000029b7: PUSH1 0x00 000029b9: DUP3 000029ba: DUP5 000029bb: MUL 000029bc: SWAP1 000029bd: POP 000029be: DUP3 000029bf: DUP5 000029c0: DUP3 000029c1: DUP2 000029c2: PUSH2 0x29c7 000029c5: JUMPI 000029c6: INVALID 000029c7: JUMPDEST 000029c8: DIV 000029c9: EQ 000029ca: PUSH2 0x2a08 000029cd: JUMPI 000029ce: PUSH1 0x40 000029d0: MLOAD 000029d1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000029f2: DUP2 000029f3: MSTORE 000029f4: PUSH1 0x04 000029f6: ADD 000029f7: PUSH2 0x29ff 000029fa: SWAP1 000029fb: PUSH2 0x428b 000029fe: JUMP 000029ff: JUMPDEST 00002a00: PUSH1 0x40 00002a02: MLOAD 00002a03: DUP1 00002a04: SWAP2 00002a05: SUB 00002a06: SWAP1 00002a07: REVERT 00002a08: JUMPDEST 00002a09: DUP1 00002a0a: SWAP2 00002a0b: POP 00002a0c: POP 00002a0d: JUMPDEST 00002a0e: SWAP3 00002a0f: SWAP2 00002a10: POP 00002a11: POP 00002a12: JUMP 00002a13: JUMPDEST 00002a14: PUSH1 0x00 00002a16: DUP1 00002a17: DUP3 00002a18: GT 00002a19: PUSH2 0x2a57 00002a1c: JUMPI 00002a1d: PUSH1 0x40 00002a1f: MLOAD 00002a20: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002a41: DUP2 00002a42: MSTORE 00002a43: PUSH1 0x04 00002a45: ADD 00002a46: PUSH2 0x2a4e 00002a49: SWAP1 00002a4a: PUSH2 0x438b 00002a4d: JUMP 00002a4e: JUMPDEST 00002a4f: PUSH1 0x40 00002a51: MLOAD 00002a52: DUP1 00002a53: SWAP2 00002a54: SUB 00002a55: SWAP1 00002a56: REVERT 00002a57: JUMPDEST 00002a58: PUSH1 0x00 00002a5a: DUP3 00002a5b: DUP5 00002a5c: DUP2 00002a5d: PUSH2 0x2a62 00002a60: JUMPI 00002a61: INVALID 00002a62: JUMPDEST 00002a63: DIV 00002a64: SWAP1 00002a65: POP 00002a66: DUP1 00002a67: SWAP2 00002a68: POP 00002a69: POP 00002a6a: SWAP3 00002a6b: SWAP2 00002a6c: POP 00002a6d: POP 00002a6e: JUMP 00002a6f: JUMPDEST 00002a70: PUSH1 0x00 00002a72: DUP3 00002a73: DUP3 00002a74: GT 00002a75: ISZERO 00002a76: PUSH2 0x2ab4 00002a79: JUMPI 00002a7a: PUSH1 0x40 00002a7c: MLOAD 00002a7d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002a9e: DUP2 00002a9f: MSTORE 00002aa0: PUSH1 0x04 00002aa2: ADD 00002aa3: PUSH2 0x2aab 00002aa6: SWAP1 00002aa7: PUSH2 0x43cb 00002aaa: JUMP 00002aab: JUMPDEST 00002aac: PUSH1 0x40 00002aae: MLOAD 00002aaf: DUP1 00002ab0: SWAP2 00002ab1: SUB 00002ab2: SWAP1 00002ab3: REVERT 00002ab4: JUMPDEST 00002ab5: PUSH1 0x00 00002ab7: DUP3 00002ab8: DUP5 00002ab9: SUB 00002aba: SWAP1 00002abb: POP 00002abc: DUP1 00002abd: SWAP2 00002abe: POP 00002abf: POP 00002ac0: SWAP3 00002ac1: SWAP2 00002ac2: POP 00002ac3: POP 00002ac4: JUMP 00002ac5: JUMPDEST 00002ac6: DUP3 00002ac7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002adc: AND 00002add: DUP2 00002ade: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002af3: AND 00002af4: EQ 00002af5: ISZERO 00002af6: PUSH2 0x2b1f 00002af9: JUMPI 00002afa: PUSH1 0x0e 00002afc: PUSH1 0x00 00002afe: SWAP1 00002aff: SLOAD 00002b00: SWAP1 00002b01: PUSH2 0x0100 00002b04: EXP 00002b05: SWAP1 00002b06: DIV 00002b07: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002b1c: AND 00002b1d: SWAP1 00002b1e: POP 00002b1f: JUMPDEST 00002b20: PUSH1 0x00 00002b22: ISZERO 00002b23: ISZERO 00002b24: PUSH1 0x09 00002b26: PUSH1 0x00 00002b28: DUP6 00002b29: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002b3e: AND 00002b3f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002b54: AND 00002b55: DUP2 00002b56: MSTORE 00002b57: PUSH1 0x20 00002b59: ADD 00002b5a: SWAP1 00002b5b: DUP2 00002b5c: MSTORE 00002b5d: PUSH1 0x20 00002b5f: ADD 00002b60: PUSH1 0x00 00002b62: KECCAK256 00002b63: PUSH1 0x00 00002b65: ADD 00002b66: PUSH1 0x00 00002b68: SWAP1 00002b69: SLOAD 00002b6a: SWAP1 00002b6b: PUSH2 0x0100 00002b6e: EXP 00002b6f: SWAP1 00002b70: DIV 00002b71: PUSH1 0xff 00002b73: AND 00002b74: ISZERO 00002b75: ISZERO 00002b76: EQ 00002b77: ISZERO 00002b78: PUSH2 0x2da5 00002b7b: JUMPI 00002b7c: DUP1 00002b7d: PUSH1 0x09 00002b7f: PUSH1 0x00 00002b81: DUP6 00002b82: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002b97: AND 00002b98: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002bad: AND 00002bae: DUP2 00002baf: MSTORE 00002bb0: PUSH1 0x20 00002bb2: ADD 00002bb3: SWAP1 00002bb4: DUP2 00002bb5: MSTORE 00002bb6: PUSH1 0x20 00002bb8: ADD 00002bb9: PUSH1 0x00 00002bbb: KECCAK256 00002bbc: PUSH1 0x03 00002bbe: ADD 00002bbf: PUSH1 0x00 00002bc1: PUSH2 0x0100 00002bc4: EXP 00002bc5: DUP2 00002bc6: SLOAD 00002bc7: DUP2 00002bc8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002bdd: MUL 00002bde: NOT 00002bdf: AND 00002be0: SWAP1 00002be1: DUP4 00002be2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002bf7: AND 00002bf8: MUL 00002bf9: OR 00002bfa: SWAP1 00002bfb: SSTORE 00002bfc: POP 00002bfd: PUSH1 0x09 00002bff: PUSH1 0x00 00002c01: DUP3 00002c02: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002c17: AND 00002c18: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002c2d: AND 00002c2e: DUP2 00002c2f: MSTORE 00002c30: PUSH1 0x20 00002c32: ADD 00002c33: SWAP1 00002c34: DUP2 00002c35: MSTORE 00002c36: PUSH1 0x20 00002c38: ADD 00002c39: PUSH1 0x00 00002c3b: KECCAK256 00002c3c: PUSH1 0x04 00002c3e: ADD 00002c3f: DUP4 00002c40: SWAP1 00002c41: DUP1 00002c42: PUSH1 0x01 00002c44: DUP2 00002c45: SLOAD 00002c46: ADD 00002c47: DUP1 00002c48: DUP3 00002c49: SSTORE 00002c4a: DUP1 00002c4b: SWAP2 00002c4c: POP 00002c4d: POP 00002c4e: PUSH1 0x01 00002c50: SWAP1 00002c51: SUB 00002c52: SWAP1 00002c53: PUSH1 0x00 00002c55: MSTORE 00002c56: PUSH1 0x20 00002c58: PUSH1 0x00 00002c5a: KECCAK256 00002c5b: ADD 00002c5c: PUSH1 0x00 00002c5e: SWAP1 00002c5f: SWAP2 00002c60: SWAP1 00002c61: SWAP2 00002c62: SWAP1 00002c63: SWAP2 00002c64: PUSH2 0x0100 00002c67: EXP 00002c68: DUP2 00002c69: SLOAD 00002c6a: DUP2 00002c6b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002c80: MUL 00002c81: NOT 00002c82: AND 00002c83: SWAP1 00002c84: DUP4 00002c85: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002c9a: AND 00002c9b: MUL 00002c9c: OR 00002c9d: SWAP1 00002c9e: SSTORE 00002c9f: POP 00002ca0: PUSH1 0x09 00002ca2: PUSH1 0x00 00002ca4: PUSH1 0x09 00002ca6: PUSH1 0x00 00002ca8: DUP5 00002ca9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002cbe: AND 00002cbf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002cd4: AND 00002cd5: DUP2 00002cd6: MSTORE 00002cd7: PUSH1 0x20 00002cd9: ADD 00002cda: SWAP1 00002cdb: DUP2 00002cdc: MSTORE 00002cdd: PUSH1 0x20 00002cdf: ADD 00002ce0: PUSH1 0x00 00002ce2: KECCAK256 00002ce3: PUSH1 0x03 00002ce5: ADD 00002ce6: PUSH1 0x00 00002ce8: SWAP1 00002ce9: SLOAD 00002cea: SWAP1 00002ceb: PUSH2 0x0100 00002cee: EXP 00002cef: SWAP1 00002cf0: DIV 00002cf1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002d06: AND 00002d07: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002d1c: AND 00002d1d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002d32: AND 00002d33: DUP2 00002d34: MSTORE 00002d35: PUSH1 0x20 00002d37: ADD 00002d38: SWAP1 00002d39: DUP2 00002d3a: MSTORE 00002d3b: PUSH1 0x20 00002d3d: ADD 00002d3e: PUSH1 0x00 00002d40: KECCAK256 00002d41: PUSH1 0x05 00002d43: ADD 00002d44: DUP4 00002d45: SWAP1 00002d46: DUP1 00002d47: PUSH1 0x01 00002d49: DUP2 00002d4a: SLOAD 00002d4b: ADD 00002d4c: DUP1 00002d4d: DUP3 00002d4e: SSTORE 00002d4f: DUP1 00002d50: SWAP2 00002d51: POP 00002d52: POP 00002d53: PUSH1 0x01 00002d55: SWAP1 00002d56: SUB 00002d57: SWAP1 00002d58: PUSH1 0x00 00002d5a: MSTORE 00002d5b: PUSH1 0x20 00002d5d: PUSH1 0x00 00002d5f: KECCAK256 00002d60: ADD 00002d61: PUSH1 0x00 00002d63: SWAP1 00002d64: SWAP2 00002d65: SWAP1 00002d66: SWAP2 00002d67: SWAP1 00002d68: SWAP2 00002d69: PUSH2 0x0100 00002d6c: EXP 00002d6d: DUP2 00002d6e: SLOAD 00002d6f: DUP2 00002d70: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002d85: MUL 00002d86: NOT 00002d87: AND 00002d88: SWAP1 00002d89: DUP4 00002d8a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002d9f: AND 00002da0: MUL 00002da1: OR 00002da2: SWAP1 00002da3: SSTORE 00002da4: POP 00002da5: JUMPDEST 00002da6: PUSH1 0x09 00002da8: PUSH1 0x00 00002daa: DUP5 00002dab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002dc0: AND 00002dc1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002dd6: AND 00002dd7: DUP2 00002dd8: MSTORE 00002dd9: PUSH1 0x20 00002ddb: ADD 00002ddc: SWAP1 00002ddd: DUP2 00002dde: MSTORE 00002ddf: PUSH1 0x20 00002de1: ADD 00002de2: PUSH1 0x00 00002de4: KECCAK256 00002de5: PUSH1 0x02 00002de7: ADD 00002de8: PUSH1 0x40 00002dea: MLOAD 00002deb: DUP1 00002dec: PUSH1 0xa0 00002dee: ADD 00002def: PUSH1 0x40 00002df1: MSTORE 00002df2: DUP1 00002df3: PUSH1 0x07 00002df5: SLOAD 00002df6: DUP2 00002df7: MSTORE 00002df8: PUSH1 0x20 00002dfa: ADD 00002dfb: DUP5 00002dfc: DUP2 00002dfd: MSTORE 00002dfe: PUSH1 0x20 00002e00: ADD 00002e01: TIMESTAMP 00002e02: DUP2 00002e03: MSTORE 00002e04: PUSH1 0x20 00002e06: ADD 00002e07: PUSH1 0x00 00002e09: ISZERO 00002e0a: ISZERO 00002e0b: DUP2 00002e0c: MSTORE 00002e0d: PUSH1 0x20 00002e0f: ADD 00002e10: PUSH1 0x00 00002e12: DUP2 00002e13: MSTORE 00002e14: POP 00002e15: SWAP1 00002e16: DUP1 00002e17: PUSH1 0x01 00002e19: DUP2 00002e1a: SLOAD 00002e1b: ADD 00002e1c: DUP1 00002e1d: DUP3 00002e1e: SSTORE 00002e1f: DUP1 00002e20: SWAP2 00002e21: POP 00002e22: POP 00002e23: PUSH1 0x01 00002e25: SWAP1 00002e26: SUB 00002e27: SWAP1 00002e28: PUSH1 0x00 00002e2a: MSTORE 00002e2b: PUSH1 0x20 00002e2d: PUSH1 0x00 00002e2f: KECCAK256 00002e30: SWAP1 00002e31: PUSH1 0x05 00002e33: MUL 00002e34: ADD 00002e35: PUSH1 0x00 00002e37: SWAP1 00002e38: SWAP2 00002e39: SWAP1 00002e3a: SWAP2 00002e3b: SWAP1 00002e3c: SWAP2 00002e3d: POP 00002e3e: PUSH1 0x00 00002e40: DUP3 00002e41: ADD 00002e42: MLOAD 00002e43: DUP2 00002e44: PUSH1 0x00 00002e46: ADD 00002e47: SSTORE 00002e48: PUSH1 0x20 00002e4a: DUP3 00002e4b: ADD 00002e4c: MLOAD 00002e4d: DUP2 00002e4e: PUSH1 0x01 00002e50: ADD 00002e51: SSTORE 00002e52: PUSH1 0x40 00002e54: DUP3 00002e55: ADD 00002e56: MLOAD 00002e57: DUP2 00002e58: PUSH1 0x02 00002e5a: ADD 00002e5b: SSTORE 00002e5c: PUSH1 0x60 00002e5e: DUP3 00002e5f: ADD 00002e60: MLOAD 00002e61: DUP2 00002e62: PUSH1 0x03 00002e64: ADD 00002e65: PUSH1 0x00 00002e67: PUSH2 0x0100 00002e6a: EXP 00002e6b: DUP2 00002e6c: SLOAD 00002e6d: DUP2 00002e6e: PUSH1 0xff 00002e70: MUL 00002e71: NOT 00002e72: AND 00002e73: SWAP1 00002e74: DUP4 00002e75: ISZERO 00002e76: ISZERO 00002e77: MUL 00002e78: OR 00002e79: SWAP1 00002e7a: SSTORE 00002e7b: POP 00002e7c: PUSH1 0x80 00002e7e: DUP3 00002e7f: ADD 00002e80: MLOAD 00002e81: DUP2 00002e82: PUSH1 0x04 00002e84: ADD 00002e85: SSTORE 00002e86: POP 00002e87: POP 00002e88: PUSH2 0x2edc 00002e8b: DUP3 00002e8c: PUSH1 0x09 00002e8e: PUSH1 0x00 00002e90: DUP7 00002e91: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002ea6: AND 00002ea7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002ebc: AND 00002ebd: DUP2 00002ebe: MSTORE 00002ebf: PUSH1 0x20 00002ec1: ADD 00002ec2: SWAP1 00002ec3: DUP2 00002ec4: MSTORE 00002ec5: PUSH1 0x20 00002ec7: ADD 00002ec8: PUSH1 0x00 00002eca: KECCAK256 00002ecb: PUSH1 0x01 00002ecd: ADD 00002ece: SLOAD 00002ecf: PUSH2 0x3583 00002ed2: SWAP1 00002ed3: SWAP2 00002ed4: SWAP1 00002ed5: PUSH4 0xffffffff 00002eda: AND 00002edb: JUMP 00002edc: JUMPDEST 00002edd: PUSH1 0x09 00002edf: PUSH1 0x00 00002ee1: DUP6 00002ee2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002ef7: AND 00002ef8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002f0d: AND 00002f0e: DUP2 00002f0f: MSTORE 00002f10: PUSH1 0x20 00002f12: ADD 00002f13: SWAP1 00002f14: DUP2 00002f15: MSTORE 00002f16: PUSH1 0x20 00002f18: ADD 00002f19: PUSH1 0x00 00002f1b: KECCAK256 00002f1c: PUSH1 0x01 00002f1e: ADD 00002f1f: DUP2 00002f20: SWAP1 00002f21: SSTORE 00002f22: POP 00002f23: PUSH2 0x2f37 00002f26: DUP3 00002f27: PUSH1 0x06 00002f29: SLOAD 00002f2a: PUSH2 0x3583 00002f2d: SWAP1 00002f2e: SWAP2 00002f2f: SWAP1 00002f30: PUSH4 0xffffffff 00002f35: AND 00002f36: JUMP 00002f37: JUMPDEST 00002f38: PUSH1 0x06 00002f3a: DUP2 00002f3b: SWAP1 00002f3c: SSTORE 00002f3d: POP 00002f3e: PUSH1 0x01 00002f40: PUSH1 0x09 00002f42: PUSH1 0x00 00002f44: DUP6 00002f45: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002f5a: AND 00002f5b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002f70: AND 00002f71: DUP2 00002f72: MSTORE 00002f73: PUSH1 0x20 00002f75: ADD 00002f76: SWAP1 00002f77: DUP2 00002f78: MSTORE 00002f79: PUSH1 0x20 00002f7b: ADD 00002f7c: PUSH1 0x00 00002f7e: KECCAK256 00002f7f: PUSH1 0x00 00002f81: ADD 00002f82: PUSH1 0x00 00002f84: PUSH2 0x0100 00002f87: EXP 00002f88: DUP2 00002f89: SLOAD 00002f8a: DUP2 00002f8b: PUSH1 0xff 00002f8d: MUL 00002f8e: NOT 00002f8f: AND 00002f90: SWAP1 00002f91: DUP4 00002f92: ISZERO 00002f93: ISZERO 00002f94: MUL 00002f95: OR 00002f96: SWAP1 00002f97: SSTORE 00002f98: POP 00002f99: PUSH1 0x0a 00002f9b: PUSH1 0x00 00002f9d: CALLER 00002f9e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002fb3: AND 00002fb4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002fc9: AND 00002fca: DUP2 00002fcb: MSTORE 00002fcc: PUSH1 0x20 00002fce: ADD 00002fcf: SWAP1 00002fd0: DUP2 00002fd1: MSTORE 00002fd2: PUSH1 0x20 00002fd4: ADD 00002fd5: PUSH1 0x00 00002fd7: KECCAK256 00002fd8: PUSH1 0x02 00002fda: ADD 00002fdb: PUSH1 0x00 00002fdd: SWAP1 00002fde: SLOAD 00002fdf: SWAP1 00002fe0: PUSH2 0x0100 00002fe3: EXP 00002fe4: SWAP1 00002fe5: DIV 00002fe6: PUSH1 0xff 00002fe8: AND 00002fe9: ISZERO 00002fea: PUSH2 0x2ff6 00002fed: JUMPI 00002fee: PUSH2 0x2ff5 00002ff1: PUSH2 0x10c6 00002ff4: JUMP 00002ff5: JUMPDEST 00002ff6: JUMPDEST 00002ff7: DUP3 00002ff8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000300d: AND 0000300e: PUSH32 0x8de0474e83702ebc5e8a750d5ac74be5da93a41665a828acb915ff89ebd91b1f 0000302f: DUP3 00003030: DUP5 00003031: PUSH1 0x40 00003033: MLOAD 00003034: PUSH2 0x303e 00003037: SWAP3 00003038: SWAP2 00003039: SWAP1 0000303a: PUSH2 0x4193 0000303d: JUMP 0000303e: JUMPDEST 0000303f: PUSH1 0x40 00003041: MLOAD 00003042: DUP1 00003043: SWAP2 00003044: SUB 00003045: SWAP1 00003046: LOG2 00003047: POP 00003048: POP 00003049: POP 0000304a: JUMP 0000304b: JUMPDEST 0000304c: PUSH1 0x00 0000304e: DUP1 0000304f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003064: AND 00003065: DUP3 00003066: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000307b: AND 0000307c: EQ 0000307d: ISZERO 0000307e: PUSH2 0x30bc 00003081: JUMPI 00003082: PUSH1 0x40 00003084: MLOAD 00003085: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000030a6: DUP2 000030a7: MSTORE 000030a8: PUSH1 0x04 000030aa: ADD 000030ab: PUSH2 0x30b3 000030ae: SWAP1 000030af: PUSH2 0x432b 000030b2: JUMP 000030b3: JUMPDEST 000030b4: PUSH1 0x40 000030b6: MLOAD 000030b7: DUP1 000030b8: SWAP2 000030b9: SUB 000030ba: SWAP1 000030bb: REVERT 000030bc: JUMPDEST 000030bd: PUSH1 0x04 000030bf: SLOAD 000030c0: PUSH1 0x05 000030c2: SLOAD 000030c3: LT 000030c4: PUSH2 0x3102 000030c7: JUMPI 000030c8: PUSH1 0x40 000030ca: MLOAD 000030cb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000030ec: DUP2 000030ed: MSTORE 000030ee: PUSH1 0x04 000030f0: ADD 000030f1: PUSH2 0x30f9 000030f4: SWAP1 000030f5: PUSH2 0x436b 000030f8: JUMP 000030f9: JUMPDEST 000030fa: PUSH1 0x40 000030fc: MLOAD 000030fd: DUP1 000030fe: SWAP2 000030ff: SUB 00003100: SWAP1 00003101: REVERT 00003102: JUMPDEST 00003103: PUSH2 0x310a 00003106: PUSH2 0x3a53 00003109: JUMP 0000310a: JUMPDEST 0000310b: PUSH1 0x09 0000310d: PUSH1 0x00 0000310f: DUP5 00003110: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003125: AND 00003126: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000313b: AND 0000313c: DUP2 0000313d: MSTORE 0000313e: PUSH1 0x20 00003140: ADD 00003141: SWAP1 00003142: DUP2 00003143: MSTORE 00003144: PUSH1 0x20 00003146: ADD 00003147: PUSH1 0x00 00003149: KECCAK256 0000314a: PUSH1 0x40 0000314c: MLOAD 0000314d: DUP1 0000314e: PUSH1 0xc0 00003150: ADD 00003151: PUSH1 0x40 00003153: MSTORE 00003154: SWAP1 00003155: DUP2 00003156: PUSH1 0x00 00003158: DUP3 00003159: ADD 0000315a: PUSH1 0x00 0000315c: SWAP1 0000315d: SLOAD 0000315e: SWAP1 0000315f: PUSH2 0x0100 00003162: EXP 00003163: SWAP1 00003164: DIV 00003165: PUSH1 0xff 00003167: AND 00003168: ISZERO 00003169: ISZERO 0000316a: ISZERO 0000316b: ISZERO 0000316c: DUP2 0000316d: MSTORE 0000316e: PUSH1 0x20 00003170: ADD 00003171: PUSH1 0x01 00003173: DUP3 00003174: ADD 00003175: SLOAD 00003176: DUP2 00003177: MSTORE 00003178: PUSH1 0x20 0000317a: ADD 0000317b: PUSH1 0x02 0000317d: DUP3 0000317e: ADD 0000317f: DUP1 00003180: SLOAD 00003181: DUP1 00003182: PUSH1 0x20 00003184: MUL 00003185: PUSH1 0x20 00003187: ADD 00003188: PUSH1 0x40 0000318a: MLOAD 0000318b: SWAP1 0000318c: DUP2 0000318d: ADD 0000318e: PUSH1 0x40 00003190: MSTORE 00003191: DUP1 00003192: SWAP3 00003193: SWAP2 00003194: SWAP1 00003195: DUP2 00003196: DUP2 00003197: MSTORE 00003198: PUSH1 0x20 0000319a: ADD 0000319b: PUSH1 0x00 0000319d: SWAP1 0000319e: JUMPDEST 0000319f: DUP3 000031a0: DUP3 000031a1: LT 000031a2: ISZERO 000031a3: PUSH2 0x3213 000031a6: JUMPI 000031a7: DUP4 000031a8: DUP3 000031a9: SWAP1 000031aa: PUSH1 0x00 000031ac: MSTORE 000031ad: PUSH1 0x20 000031af: PUSH1 0x00 000031b1: KECCAK256 000031b2: SWAP1 000031b3: PUSH1 0x05 000031b5: MUL 000031b6: ADD 000031b7: PUSH1 0x40 000031b9: MLOAD 000031ba: DUP1 000031bb: PUSH1 0xa0 000031bd: ADD 000031be: PUSH1 0x40 000031c0: MSTORE 000031c1: SWAP1 000031c2: DUP2 000031c3: PUSH1 0x00 000031c5: DUP3 000031c6: ADD 000031c7: SLOAD 000031c8: DUP2 000031c9: MSTORE 000031ca: PUSH1 0x20 000031cc: ADD 000031cd: PUSH1 0x01 000031cf: DUP3 000031d0: ADD 000031d1: SLOAD 000031d2: DUP2 000031d3: MSTORE 000031d4: PUSH1 0x20 000031d6: ADD 000031d7: PUSH1 0x02 000031d9: DUP3 000031da: ADD 000031db: SLOAD 000031dc: DUP2 000031dd: MSTORE 000031de: PUSH1 0x20 000031e0: ADD 000031e1: PUSH1 0x03 000031e3: DUP3 000031e4: ADD 000031e5: PUSH1 0x00 000031e7: SWAP1 000031e8: SLOAD 000031e9: SWAP1 000031ea: PUSH2 0x0100 000031ed: EXP 000031ee: SWAP1 000031ef: DIV 000031f0: PUSH1 0xff 000031f2: AND 000031f3: ISZERO 000031f4: ISZERO 000031f5: ISZERO 000031f6: ISZERO 000031f7: DUP2 000031f8: MSTORE 000031f9: PUSH1 0x20 000031fb: ADD 000031fc: PUSH1 0x04 000031fe: DUP3 000031ff: ADD 00003200: SLOAD 00003201: DUP2 00003202: MSTORE 00003203: POP 00003204: POP 00003205: DUP2 00003206: MSTORE 00003207: PUSH1 0x20 00003209: ADD 0000320a: SWAP1 0000320b: PUSH1 0x01 0000320d: ADD 0000320e: SWAP1 0000320f: PUSH2 0x319e 00003212: JUMP 00003213: JUMPDEST 00003214: POP 00003215: POP 00003216: POP 00003217: POP 00003218: DUP2 00003219: MSTORE 0000321a: PUSH1 0x20 0000321c: ADD 0000321d: PUSH1 0x03 0000321f: DUP3 00003220: ADD 00003221: PUSH1 0x00 00003223: SWAP1 00003224: SLOAD 00003225: SWAP1 00003226: PUSH2 0x0100 00003229: EXP 0000322a: SWAP1 0000322b: DIV 0000322c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003241: AND 00003242: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003257: AND 00003258: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000326d: AND 0000326e: DUP2 0000326f: MSTORE 00003270: PUSH1 0x20 00003272: ADD 00003273: PUSH1 0x04 00003275: DUP3 00003276: ADD 00003277: DUP1 00003278: SLOAD 00003279: DUP1 0000327a: PUSH1 0x20 0000327c: MUL 0000327d: PUSH1 0x20 0000327f: ADD 00003280: PUSH1 0x40 00003282: MLOAD 00003283: SWAP1 00003284: DUP2 00003285: ADD 00003286: PUSH1 0x40 00003288: MSTORE 00003289: DUP1 0000328a: SWAP3 0000328b: SWAP2 0000328c: SWAP1 0000328d: DUP2 0000328e: DUP2 0000328f: MSTORE 00003290: PUSH1 0x20 00003292: ADD 00003293: DUP3 00003294: DUP1 00003295: SLOAD 00003296: DUP1 00003297: ISZERO 00003298: PUSH2 0x32f6 0000329b: JUMPI 0000329c: PUSH1 0x20 0000329e: MUL 0000329f: DUP3 000032a0: ADD 000032a1: SWAP2 000032a2: SWAP1 000032a3: PUSH1 0x00 000032a5: MSTORE 000032a6: PUSH1 0x20 000032a8: PUSH1 0x00 000032aa: KECCAK256 000032ab: SWAP1 000032ac: JUMPDEST 000032ad: DUP2 000032ae: PUSH1 0x00 000032b0: SWAP1 000032b1: SLOAD 000032b2: SWAP1 000032b3: PUSH2 0x0100 000032b6: EXP 000032b7: SWAP1 000032b8: DIV 000032b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000032ce: AND 000032cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000032e4: AND 000032e5: DUP2 000032e6: MSTORE 000032e7: PUSH1 0x20 000032e9: ADD 000032ea: SWAP1 000032eb: PUSH1 0x01 000032ed: ADD 000032ee: SWAP1 000032ef: DUP1 000032f0: DUP4 000032f1: GT 000032f2: PUSH2 0x32ac 000032f5: JUMPI 000032f6: JUMPDEST 000032f7: POP 000032f8: POP 000032f9: POP 000032fa: POP 000032fb: POP 000032fc: DUP2 000032fd: MSTORE 000032fe: PUSH1 0x20 00003300: ADD 00003301: PUSH1 0x05 00003303: DUP3 00003304: ADD 00003305: DUP1 00003306: SLOAD 00003307: DUP1 00003308: PUSH1 0x20 0000330a: MUL 0000330b: PUSH1 0x20 0000330d: ADD 0000330e: PUSH1 0x40 00003310: MLOAD 00003311: SWAP1 00003312: DUP2 00003313: ADD 00003314: PUSH1 0x40 00003316: MSTORE 00003317: DUP1 00003318: SWAP3 00003319: SWAP2 0000331a: SWAP1 0000331b: DUP2 0000331c: DUP2 0000331d: MSTORE 0000331e: PUSH1 0x20 00003320: ADD 00003321: DUP3 00003322: DUP1 00003323: SLOAD 00003324: DUP1 00003325: ISZERO 00003326: PUSH2 0x3384 00003329: JUMPI 0000332a: PUSH1 0x20 0000332c: MUL 0000332d: DUP3 0000332e: ADD 0000332f: SWAP2 00003330: SWAP1 00003331: PUSH1 0x00 00003333: MSTORE 00003334: PUSH1 0x20 00003336: PUSH1 0x00 00003338: KECCAK256 00003339: SWAP1 0000333a: JUMPDEST 0000333b: DUP2 0000333c: PUSH1 0x00 0000333e: SWAP1 0000333f: SLOAD 00003340: SWAP1 00003341: PUSH2 0x0100 00003344: EXP 00003345: SWAP1 00003346: DIV 00003347: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000335c: AND 0000335d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003372: AND 00003373: DUP2 00003374: MSTORE 00003375: PUSH1 0x20 00003377: ADD 00003378: SWAP1 00003379: PUSH1 0x01 0000337b: ADD 0000337c: SWAP1 0000337d: DUP1 0000337e: DUP4 0000337f: GT 00003380: PUSH2 0x333a 00003383: JUMPI 00003384: JUMPDEST 00003385: POP 00003386: POP 00003387: POP 00003388: POP 00003389: POP 0000338a: DUP2 0000338b: MSTORE 0000338c: POP 0000338d: POP 0000338e: SWAP1 0000338f: POP 00003390: PUSH1 0x00 00003392: DUP1 00003393: PUSH1 0x00 00003395: SWAP1 00003396: POP 00003397: JUMPDEST 00003398: DUP3 00003399: PUSH1 0x40 0000339b: ADD 0000339c: MLOAD 0000339d: MLOAD 0000339e: DUP2 0000339f: LT 000033a0: ISZERO 000033a1: PUSH2 0x3402 000033a4: JUMPI 000033a5: PUSH2 0x33ac 000033a8: PUSH2 0x3aa1 000033ab: JUMP 000033ac: JUMPDEST 000033ad: DUP4 000033ae: PUSH1 0x40 000033b0: ADD 000033b1: MLOAD 000033b2: DUP3 000033b3: DUP2 000033b4: MLOAD 000033b5: DUP2 000033b6: LT 000033b7: PUSH2 0x33bc 000033ba: JUMPI 000033bb: INVALID 000033bc: JUMPDEST 000033bd: PUSH1 0x20 000033bf: MUL 000033c0: PUSH1 0x20 000033c2: ADD 000033c3: ADD 000033c4: MLOAD 000033c5: SWAP1 000033c6: POP 000033c7: DUP1 000033c8: PUSH1 0x60 000033ca: ADD 000033cb: MLOAD 000033cc: ISZERO 000033cd: PUSH2 0x33d6 000033d0: JUMPI 000033d1: POP 000033d2: PUSH2 0x33f5 000033d5: JUMP 000033d6: JUMPDEST 000033d7: PUSH2 0x33f1 000033da: PUSH2 0x33e2 000033dd: DUP3 000033de: PUSH2 0x365e 000033e1: JUMP 000033e2: JUMPDEST 000033e3: DUP5 000033e4: PUSH2 0x3583 000033e7: SWAP1 000033e8: SWAP2 000033e9: SWAP1 000033ea: PUSH4 0xffffffff 000033ef: AND 000033f0: JUMP 000033f1: JUMPDEST 000033f2: SWAP3 000033f3: POP 000033f4: POP 000033f5: JUMPDEST 000033f6: DUP1 000033f7: DUP1 000033f8: PUSH1 0x01 000033fa: ADD 000033fb: SWAP2 000033fc: POP 000033fd: POP 000033fe: PUSH2 0x3397 00003401: JUMP 00003402: JUMPDEST 00003403: POP 00003404: PUSH2 0x3419 00003407: PUSH3 0x015180 0000340b: DUP3 0000340c: PUSH2 0x2a13 0000340f: SWAP1 00003410: SWAP2 00003411: SWAP1 00003412: PUSH4 0xffffffff 00003417: AND 00003418: JUMP 00003419: JUMPDEST 0000341a: SWAP1 0000341b: POP 0000341c: PUSH2 0x34c4 0000341f: PUSH2 0x34b5 00003422: PUSH1 0x0a 00003424: PUSH1 0x00 00003426: DUP8 00003427: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000343c: AND 0000343d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003452: AND 00003453: DUP2 00003454: MSTORE 00003455: PUSH1 0x20 00003457: ADD 00003458: SWAP1 00003459: DUP2 0000345a: MSTORE 0000345b: PUSH1 0x20 0000345d: ADD 0000345e: PUSH1 0x00 00003460: KECCAK256 00003461: PUSH1 0x01 00003463: ADD 00003464: SLOAD 00003465: PUSH1 0x0a 00003467: PUSH1 0x00 00003469: DUP9 0000346a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000347f: AND 00003480: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003495: AND 00003496: DUP2 00003497: MSTORE 00003498: PUSH1 0x20 0000349a: ADD 0000349b: SWAP1 0000349c: DUP2 0000349d: MSTORE 0000349e: PUSH1 0x20 000034a0: ADD 000034a1: PUSH1 0x00 000034a3: KECCAK256 000034a4: PUSH1 0x00 000034a6: ADD 000034a7: SLOAD 000034a8: PUSH2 0x2a6f 000034ab: SWAP1 000034ac: SWAP2 000034ad: SWAP1 000034ae: PUSH4 0xffffffff 000034b3: AND 000034b4: JUMP 000034b5: JUMPDEST 000034b6: DUP3 000034b7: PUSH2 0x3583 000034ba: SWAP1 000034bb: SWAP2 000034bc: SWAP1 000034bd: PUSH4 0xffffffff 000034c2: AND 000034c3: JUMP 000034c4: JUMPDEST 000034c5: SWAP1 000034c6: POP 000034c7: PUSH2 0x351b 000034ca: PUSH1 0x0a 000034cc: PUSH1 0x00 000034ce: DUP7 000034cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000034e4: AND 000034e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000034fa: AND 000034fb: DUP2 000034fc: MSTORE 000034fd: PUSH1 0x20 000034ff: ADD 00003500: SWAP1 00003501: DUP2 00003502: MSTORE 00003503: PUSH1 0x20 00003505: ADD 00003506: PUSH1 0x00 00003508: KECCAK256 00003509: PUSH1 0x03 0000350b: ADD 0000350c: SLOAD 0000350d: DUP3 0000350e: PUSH2 0x2a6f 00003511: SWAP1 00003512: SWAP2 00003513: SWAP1 00003514: PUSH4 0xffffffff 00003519: AND 0000351a: JUMP 0000351b: JUMPDEST 0000351c: SWAP1 0000351d: POP 0000351e: PUSH1 0x04 00003520: SLOAD 00003521: PUSH2 0x3535 00003524: DUP3 00003525: PUSH1 0x05 00003527: SLOAD 00003528: PUSH2 0x3583 0000352b: SWAP1 0000352c: SWAP2 0000352d: SWAP1 0000352e: PUSH4 0xffffffff 00003533: AND 00003534: JUMP 00003535: JUMPDEST 00003536: GT 00003537: ISZERO 00003538: PUSH2 0x3579 0000353b: JUMPI 0000353c: PUSH2 0x3576 0000353f: PUSH2 0x3567 00003542: PUSH1 0x04 00003544: SLOAD 00003545: PUSH2 0x3559 00003548: DUP5 00003549: PUSH1 0x05 0000354b: SLOAD 0000354c: PUSH2 0x3583 0000354f: SWAP1 00003550: SWAP2 00003551: SWAP1 00003552: PUSH4 0xffffffff 00003557: AND 00003558: JUMP 00003559: JUMPDEST 0000355a: PUSH2 0x2a6f 0000355d: SWAP1 0000355e: SWAP2 0000355f: SWAP1 00003560: PUSH4 0xffffffff 00003565: AND 00003566: JUMP 00003567: JUMPDEST 00003568: DUP3 00003569: PUSH2 0x2a6f 0000356c: SWAP1 0000356d: SWAP2 0000356e: SWAP1 0000356f: PUSH4 0xffffffff 00003574: AND 00003575: JUMP 00003576: JUMPDEST 00003577: SWAP1 00003578: POP 00003579: JUMPDEST 0000357a: DUP1 0000357b: SWAP3 0000357c: POP 0000357d: POP 0000357e: POP 0000357f: SWAP2 00003580: SWAP1 00003581: POP 00003582: JUMP 00003583: JUMPDEST 00003584: PUSH1 0x00 00003586: DUP1 00003587: DUP3 00003588: DUP5 00003589: ADD 0000358a: SWAP1 0000358b: POP 0000358c: DUP4 0000358d: DUP2 0000358e: LT 0000358f: ISZERO 00003590: PUSH2 0x35ce 00003593: JUMPI 00003594: PUSH1 0x40 00003596: MLOAD 00003597: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000035b8: DUP2 000035b9: MSTORE 000035ba: PUSH1 0x04 000035bc: ADD 000035bd: PUSH2 0x35c5 000035c0: SWAP1 000035c1: PUSH2 0x434b 000035c4: JUMP 000035c5: JUMPDEST 000035c6: PUSH1 0x40 000035c8: MLOAD 000035c9: DUP1 000035ca: SWAP2 000035cb: SUB 000035cc: SWAP1 000035cd: REVERT 000035ce: JUMPDEST 000035cf: DUP1 000035d0: SWAP2 000035d1: POP 000035d2: POP 000035d3: SWAP3 000035d4: SWAP2 000035d5: POP 000035d6: POP 000035d7: JUMP 000035d8: JUMPDEST 000035d9: PUSH2 0x3659 000035dc: DUP4 000035dd: PUSH4 0xa9059cbb 000035e2: PUSH1 0xe0 000035e4: SHL 000035e5: DUP5 000035e6: DUP5 000035e7: PUSH1 0x40 000035e9: MLOAD 000035ea: PUSH1 0x24 000035ec: ADD 000035ed: PUSH2 0x35f7 000035f0: SWAP3 000035f1: SWAP2 000035f2: SWAP1 000035f3: PUSH2 0x4193 000035f6: JUMP 000035f7: JUMPDEST 000035f8: PUSH1 0x40 000035fa: MLOAD 000035fb: PUSH1 0x20 000035fd: DUP2 000035fe: DUP4 000035ff: SUB 00003600: SUB 00003601: DUP2 00003602: MSTORE 00003603: SWAP1 00003604: PUSH1 0x40 00003606: MSTORE 00003607: SWAP1 00003608: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00003625: NOT 00003626: AND 00003627: PUSH1 0x20 00003629: DUP3 0000362a: ADD 0000362b: DUP1 0000362c: MLOAD 0000362d: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000364a: DUP4 0000364b: DUP2 0000364c: DUP4 0000364d: AND 0000364e: OR 0000364f: DUP4 00003650: MSTORE 00003651: POP 00003652: POP 00003653: POP 00003654: POP 00003655: PUSH2 0x3896 00003658: JUMP 00003659: JUMPDEST 0000365a: POP 0000365b: POP 0000365c: POP 0000365d: JUMP 0000365e: JUMPDEST 0000365f: PUSH1 0x00 00003661: DUP1 00003662: PUSH1 0x00 00003664: DUP4 00003665: PUSH1 0x40 00003667: ADD 00003668: MLOAD 00003669: SWAP1 0000366a: POP 0000366b: PUSH1 0x01 0000366d: PUSH1 0x10 0000366f: DUP1 00003670: SLOAD 00003671: SWAP1 00003672: POP 00003673: GT 00003674: ISZERO 00003675: PUSH2 0x3812 00003678: JUMPI 00003679: PUSH1 0x00 0000367b: DUP1 0000367c: JUMPDEST 0000367d: PUSH1 0x10 0000367f: DUP1 00003680: SLOAD 00003681: SWAP1 00003682: POP 00003683: DUP2 00003684: LT 00003685: ISZERO 00003686: PUSH2 0x36c1 00003689: JUMPI 0000368a: DUP6 0000368b: PUSH1 0x00 0000368d: ADD 0000368e: MLOAD 0000368f: PUSH1 0x10 00003691: DUP3 00003692: DUP2 00003693: SLOAD 00003694: DUP2 00003695: LT 00003696: PUSH2 0x369b 00003699: JUMPI 0000369a: INVALID 0000369b: JUMPDEST 0000369c: SWAP1 0000369d: PUSH1 0x00 0000369f: MSTORE 000036a0: PUSH1 0x20 000036a2: PUSH1 0x00 000036a4: KECCAK256 000036a5: ADD 000036a6: SLOAD 000036a7: EQ 000036a8: ISZERO 000036a9: PUSH2 0x36b4 000036ac: JUMPI 000036ad: DUP1 000036ae: SWAP2 000036af: POP 000036b0: PUSH2 0x36c1 000036b3: JUMP 000036b4: JUMPDEST 000036b5: DUP1 000036b6: DUP1 000036b7: PUSH1 0x01 000036b9: ADD 000036ba: SWAP2 000036bb: POP 000036bc: POP 000036bd: PUSH2 0x367c 000036c0: JUMP 000036c1: JUMPDEST 000036c2: POP 000036c3: PUSH1 0x00 000036c5: DUP2 000036c6: SWAP1 000036c7: POP 000036c8: JUMPDEST 000036c9: PUSH1 0x10 000036cb: DUP1 000036cc: SLOAD 000036cd: SWAP1 000036ce: POP 000036cf: DUP2 000036d0: LT 000036d1: ISZERO 000036d2: PUSH2 0x380f 000036d5: JUMPI 000036d6: PUSH1 0x08 000036d8: PUSH1 0x00 000036da: PUSH1 0x10 000036dc: DUP4 000036dd: DUP2 000036de: SLOAD 000036df: DUP2 000036e0: LT 000036e1: PUSH2 0x36e6 000036e4: JUMPI 000036e5: INVALID 000036e6: JUMPDEST 000036e7: SWAP1 000036e8: PUSH1 0x00 000036ea: MSTORE 000036eb: PUSH1 0x20 000036ed: PUSH1 0x00 000036ef: KECCAK256 000036f0: ADD 000036f1: SLOAD 000036f2: DUP2 000036f3: MSTORE 000036f4: PUSH1 0x20 000036f6: ADD 000036f7: SWAP1 000036f8: DUP2 000036f9: MSTORE 000036fa: PUSH1 0x20 000036fc: ADD 000036fd: PUSH1 0x00 000036ff: KECCAK256 00003700: PUSH1 0x01 00003702: ADD 00003703: PUSH1 0x00 00003705: SWAP1 00003706: SLOAD 00003707: SWAP1 00003708: PUSH2 0x0100 0000370b: EXP 0000370c: SWAP1 0000370d: DIV 0000370e: PUSH1 0xff 00003710: AND 00003711: ISZERO 00003712: PUSH2 0x3802 00003715: JUMPI 00003716: PUSH2 0x37cf 00003719: PUSH2 0x37c0 0000371c: PUSH2 0x37ad 0000371f: PUSH4 0x05f5e100 00003724: PUSH2 0x379f 00003727: PUSH1 0x10 00003729: DUP7 0000372a: DUP2 0000372b: SLOAD 0000372c: DUP2 0000372d: LT 0000372e: PUSH2 0x3733 00003731: JUMPI 00003732: INVALID 00003733: JUMPDEST 00003734: SWAP1 00003735: PUSH1 0x00 00003737: MSTORE 00003738: PUSH1 0x20 0000373a: PUSH1 0x00 0000373c: KECCAK256 0000373d: ADD 0000373e: SLOAD 0000373f: PUSH2 0x3791 00003742: PUSH1 0x01 00003744: PUSH2 0x3783 00003747: DUP12 00003748: PUSH1 0x08 0000374a: PUSH1 0x00 0000374c: PUSH1 0x10 0000374e: DUP14 0000374f: DUP2 00003750: SLOAD 00003751: DUP2 00003752: LT 00003753: PUSH2 0x3758 00003756: JUMPI 00003757: INVALID 00003758: JUMPDEST 00003759: SWAP1 0000375a: PUSH1 0x00 0000375c: MSTORE 0000375d: PUSH1 0x20 0000375f: PUSH1 0x00 00003761: KECCAK256 00003762: ADD 00003763: SLOAD 00003764: DUP2 00003765: MSTORE 00003766: PUSH1 0x20 00003768: ADD 00003769: SWAP1 0000376a: DUP2 0000376b: MSTORE 0000376c: PUSH1 0x20 0000376e: ADD 0000376f: PUSH1 0x00 00003771: KECCAK256 00003772: PUSH1 0x00 00003774: ADD 00003775: SLOAD 00003776: PUSH2 0x2a6f 00003779: SWAP1 0000377a: SWAP2 0000377b: SWAP1 0000377c: PUSH4 0xffffffff 00003781: AND 00003782: JUMP 00003783: JUMPDEST 00003784: PUSH2 0x2a13 00003787: SWAP1 00003788: SWAP2 00003789: SWAP1 0000378a: PUSH4 0xffffffff 0000378f: AND 00003790: JUMP 00003791: JUMPDEST 00003792: PUSH2 0x29a3 00003795: SWAP1 00003796: SWAP2 00003797: SWAP1 00003798: PUSH4 0xffffffff 0000379d: AND 0000379e: JUMP 0000379f: JUMPDEST 000037a0: PUSH2 0x2a13 000037a3: SWAP1 000037a4: SWAP2 000037a5: SWAP1 000037a6: PUSH4 0xffffffff 000037ab: AND 000037ac: JUMP 000037ad: JUMPDEST 000037ae: DUP9 000037af: PUSH1 0x20 000037b1: ADD 000037b2: MLOAD 000037b3: PUSH2 0x29a3 000037b6: SWAP1 000037b7: SWAP2 000037b8: SWAP1 000037b9: PUSH4 0xffffffff 000037be: AND 000037bf: JUMP 000037c0: JUMPDEST 000037c1: DUP6 000037c2: PUSH2 0x3583 000037c5: SWAP1 000037c6: SWAP2 000037c7: SWAP1 000037c8: PUSH4 0xffffffff 000037cd: AND 000037ce: JUMP 000037cf: JUMPDEST 000037d0: SWAP4 000037d1: POP 000037d2: PUSH1 0x08 000037d4: PUSH1 0x00 000037d6: PUSH1 0x10 000037d8: DUP4 000037d9: DUP2 000037da: SLOAD 000037db: DUP2 000037dc: LT 000037dd: PUSH2 0x37e2 000037e0: JUMPI 000037e1: INVALID 000037e2: JUMPDEST 000037e3: SWAP1 000037e4: PUSH1 0x00 000037e6: MSTORE 000037e7: PUSH1 0x20 000037e9: PUSH1 0x00 000037eb: KECCAK256 000037ec: ADD 000037ed: SLOAD 000037ee: DUP2 000037ef: MSTORE 000037f0: PUSH1 0x20 000037f2: ADD 000037f3: SWAP1 000037f4: DUP2 000037f5: MSTORE 000037f6: PUSH1 0x20 000037f8: ADD 000037f9: PUSH1 0x00 000037fb: KECCAK256 000037fc: PUSH1 0x00 000037fe: ADD 000037ff: SLOAD 00003800: SWAP3 00003801: POP 00003802: JUMPDEST 00003803: DUP1 00003804: DUP1 00003805: PUSH1 0x01 00003807: ADD 00003808: SWAP2 00003809: POP 0000380a: POP 0000380b: PUSH2 0x36c8 0000380e: JUMP 0000380f: JUMPDEST 00003810: POP 00003811: POP 00003812: JUMPDEST 00003813: PUSH2 0x388a 00003816: PUSH2 0x387b 00003819: PUSH4 0x05f5e100 0000381e: PUSH2 0x386d 00003821: PUSH1 0x07 00003823: SLOAD 00003824: PUSH2 0x385f 00003827: PUSH2 0x384c 0000382a: PUSH1 0x01 0000382c: PUSH2 0x383e 0000382f: DUP10 00003830: TIMESTAMP 00003831: PUSH2 0x2a6f 00003834: SWAP1 00003835: SWAP2 00003836: SWAP1 00003837: PUSH4 0xffffffff 0000383c: AND 0000383d: JUMP 0000383e: JUMPDEST 0000383f: PUSH2 0x2a13 00003842: SWAP1 00003843: SWAP2 00003844: SWAP1 00003845: PUSH4 0xffffffff 0000384a: AND 0000384b: JUMP 0000384c: JUMPDEST 0000384d: DUP11 0000384e: PUSH1 0x20 00003850: ADD 00003851: MLOAD 00003852: PUSH2 0x29a3 00003855: SWAP1 00003856: SWAP2 00003857: SWAP1 00003858: PUSH4 0xffffffff 0000385d: AND 0000385e: JUMP 0000385f: JUMPDEST 00003860: PUSH2 0x29a3 00003863: SWAP1 00003864: SWAP2 00003865: SWAP1 00003866: PUSH4 0xffffffff 0000386b: AND 0000386c: JUMP 0000386d: JUMPDEST 0000386e: PUSH2 0x2a13 00003871: SWAP1 00003872: SWAP2 00003873: SWAP1 00003874: PUSH4 0xffffffff 00003879: AND 0000387a: JUMP 0000387b: JUMPDEST 0000387c: DUP4 0000387d: PUSH2 0x3583 00003880: SWAP1 00003881: SWAP2 00003882: SWAP1 00003883: PUSH4 0xffffffff 00003888: AND 00003889: JUMP 0000388a: JUMPDEST 0000388b: SWAP2 0000388c: POP 0000388d: DUP2 0000388e: SWAP3 0000388f: POP 00003890: POP 00003891: POP 00003892: SWAP2 00003893: SWAP1 00003894: POP 00003895: JUMP 00003896: JUMPDEST 00003897: PUSH2 0x38b5 0000389a: DUP3 0000389b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000038b0: AND 000038b1: PUSH2 0x3a08 000038b4: JUMP 000038b5: JUMPDEST 000038b6: PUSH2 0x38f4 000038b9: JUMPI 000038ba: PUSH1 0x40 000038bc: MLOAD 000038bd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000038de: DUP2 000038df: MSTORE 000038e0: PUSH1 0x04 000038e2: ADD 000038e3: PUSH2 0x38eb 000038e6: SWAP1 000038e7: PUSH2 0x43eb 000038ea: JUMP 000038eb: JUMPDEST 000038ec: PUSH1 0x40 000038ee: MLOAD 000038ef: DUP1 000038f0: SWAP2 000038f1: SUB 000038f2: SWAP1 000038f3: REVERT 000038f4: JUMPDEST 000038f5: PUSH1 0x00 000038f7: PUSH1 0x60 000038f9: DUP4 000038fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000390f: AND 00003910: DUP4 00003911: PUSH1 0x40 00003913: MLOAD 00003914: PUSH2 0x391d 00003917: SWAP2 00003918: SWAP1 00003919: PUSH2 0x411d 0000391c: JUMP 0000391d: JUMPDEST 0000391e: PUSH1 0x00 00003920: PUSH1 0x40 00003922: MLOAD 00003923: DUP1 00003924: DUP4 00003925: SUB 00003926: DUP2 00003927: PUSH1 0x00 00003929: DUP7 0000392a: GAS 0000392b: CALL 0000392c: SWAP2 0000392d: POP 0000392e: POP 0000392f: RETURNDATASIZE 00003930: DUP1 00003931: PUSH1 0x00 00003933: DUP2 00003934: EQ 00003935: PUSH2 0x395a 00003938: JUMPI 00003939: PUSH1 0x40 0000393b: MLOAD 0000393c: SWAP2 0000393d: POP 0000393e: PUSH1 0x1f 00003940: NOT 00003941: PUSH1 0x3f 00003943: RETURNDATASIZE 00003944: ADD 00003945: AND 00003946: DUP3 00003947: ADD 00003948: PUSH1 0x40 0000394a: MSTORE 0000394b: RETURNDATASIZE 0000394c: DUP3 0000394d: MSTORE 0000394e: RETURNDATASIZE 0000394f: PUSH1 0x00 00003951: PUSH1 0x20 00003953: DUP5 00003954: ADD 00003955: RETURNDATACOPY 00003956: PUSH2 0x395f 00003959: JUMP 0000395a: JUMPDEST 0000395b: PUSH1 0x60 0000395d: SWAP2 0000395e: POP 0000395f: JUMPDEST 00003960: POP 00003961: SWAP2 00003962: POP 00003963: SWAP2 00003964: POP 00003965: DUP2 00003966: PUSH2 0x39a4 00003969: JUMPI 0000396a: PUSH1 0x40 0000396c: MLOAD 0000396d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000398e: DUP2 0000398f: MSTORE 00003990: PUSH1 0x04 00003992: ADD 00003993: PUSH2 0x399b 00003996: SWAP1 00003997: PUSH2 0x42ab 0000399a: JUMP 0000399b: JUMPDEST 0000399c: PUSH1 0x40 0000399e: MLOAD 0000399f: DUP1 000039a0: SWAP2 000039a1: SUB 000039a2: SWAP1 000039a3: REVERT 000039a4: JUMPDEST 000039a5: PUSH1 0x00 000039a7: DUP2 000039a8: MLOAD 000039a9: GT 000039aa: ISZERO 000039ab: PUSH2 0x3a02 000039ae: JUMPI 000039af: DUP1 000039b0: DUP1 000039b1: PUSH1 0x20 000039b3: ADD 000039b4: SWAP1 000039b5: MLOAD 000039b6: DUP2 000039b7: ADD 000039b8: SWAP1 000039b9: PUSH2 0x39c2 000039bc: SWAP2 000039bd: SWAP1 000039be: PUSH2 0x3b78 000039c1: JUMP 000039c2: JUMPDEST 000039c3: PUSH2 0x3a01 000039c6: JUMPI 000039c7: PUSH1 0x40 000039c9: MLOAD 000039ca: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000039eb: DUP2 000039ec: MSTORE 000039ed: PUSH1 0x04 000039ef: ADD 000039f0: PUSH2 0x39f8 000039f3: SWAP1 000039f4: PUSH2 0x43ab 000039f7: JUMP 000039f8: JUMPDEST 000039f9: PUSH1 0x40 000039fb: MLOAD 000039fc: DUP1 000039fd: SWAP2 000039fe: SUB 000039ff: SWAP1 00003a00: REVERT 00003a01: JUMPDEST 00003a02: JUMPDEST 00003a03: POP 00003a04: POP 00003a05: POP 00003a06: POP 00003a07: JUMP 00003a08: JUMPDEST 00003a09: PUSH1 0x00 00003a0b: DUP1 00003a0c: PUSH1 0x00 00003a0e: PUSH32 0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470 00003a2f: PUSH1 0x00 00003a31: SHL 00003a32: SWAP1 00003a33: POP 00003a34: DUP4 00003a35: EXTCODEHASH 00003a36: SWAP2 00003a37: POP 00003a38: PUSH1 0x00 00003a3a: DUP1 00003a3b: SHL 00003a3c: DUP3 00003a3d: EQ 00003a3e: ISZERO 00003a3f: DUP1 00003a40: ISZERO 00003a41: PUSH2 0x3a4a 00003a44: JUMPI 00003a45: POP 00003a46: DUP1 00003a47: DUP3 00003a48: EQ 00003a49: ISZERO 00003a4a: JUMPDEST 00003a4b: SWAP3 00003a4c: POP 00003a4d: POP 00003a4e: POP 00003a4f: SWAP2 00003a50: SWAP1 00003a51: POP 00003a52: JUMP 00003a53: JUMPDEST 00003a54: PUSH1 0x40 00003a56: MLOAD 00003a57: DUP1 00003a58: PUSH1 0xc0 00003a5a: ADD 00003a5b: PUSH1 0x40 00003a5d: MSTORE 00003a5e: DUP1 00003a5f: PUSH1 0x00 00003a61: ISZERO 00003a62: ISZERO 00003a63: DUP2 00003a64: MSTORE 00003a65: PUSH1 0x20 00003a67: ADD 00003a68: PUSH1 0x00 00003a6a: DUP2 00003a6b: MSTORE 00003a6c: PUSH1 0x20 00003a6e: ADD 00003a6f: PUSH1 0x60 00003a71: DUP2 00003a72: MSTORE 00003a73: PUSH1 0x20 00003a75: ADD 00003a76: PUSH1 0x00 00003a78: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003a8d: AND 00003a8e: DUP2 00003a8f: MSTORE 00003a90: PUSH1 0x20 00003a92: ADD 00003a93: PUSH1 0x60 00003a95: DUP2 00003a96: MSTORE 00003a97: PUSH1 0x20 00003a99: ADD 00003a9a: PUSH1 0x60 00003a9c: DUP2 00003a9d: MSTORE 00003a9e: POP 00003a9f: SWAP1 00003aa0: JUMP 00003aa1: JUMPDEST 00003aa2: PUSH1 0x40 00003aa4: MLOAD 00003aa5: DUP1 00003aa6: PUSH1 0xa0 00003aa8: ADD 00003aa9: PUSH1 0x40 00003aab: MSTORE 00003aac: DUP1 00003aad: PUSH1 0x00 00003aaf: DUP2 00003ab0: MSTORE 00003ab1: PUSH1 0x20 00003ab3: ADD 00003ab4: PUSH1 0x00 00003ab6: DUP2 00003ab7: MSTORE 00003ab8: PUSH1 0x20 00003aba: ADD 00003abb: PUSH1 0x00 00003abd: DUP2 00003abe: MSTORE 00003abf: PUSH1 0x20 00003ac1: ADD 00003ac2: PUSH1 0x00 00003ac4: ISZERO 00003ac5: ISZERO 00003ac6: DUP2 00003ac7: MSTORE 00003ac8: PUSH1 0x20 00003aca: ADD 00003acb: PUSH1 0x00 00003acd: DUP2 00003ace: MSTORE 00003acf: POP 00003ad0: SWAP1 00003ad1: JUMP 00003ad2: JUMPDEST 00003ad3: PUSH1 0x00 00003ad5: DUP2 00003ad6: CALLDATALOAD 00003ad7: SWAP1 00003ad8: POP 00003ad9: PUSH2 0x3ae1 00003adc: DUP2 00003add: PUSH2 0x4620 00003ae0: JUMP 00003ae1: JUMPDEST 00003ae2: SWAP3 00003ae3: SWAP2 00003ae4: POP 00003ae5: POP 00003ae6: JUMP 00003ae7: JUMPDEST 00003ae8: PUSH1 0x00 00003aea: DUP2 00003aeb: CALLDATALOAD 00003aec: SWAP1 00003aed: POP 00003aee: PUSH2 0x3af6 00003af1: DUP2 00003af2: PUSH2 0x4637 00003af5: JUMP 00003af6: JUMPDEST 00003af7: SWAP3 00003af8: SWAP2 00003af9: POP 00003afa: POP 00003afb: JUMP 00003afc: JUMPDEST 00003afd: PUSH1 0x00 00003aff: DUP2 00003b00: MLOAD 00003b01: SWAP1 00003b02: POP 00003b03: PUSH2 0x3b0b 00003b06: DUP2 00003b07: PUSH2 0x464e 00003b0a: JUMP 00003b0b: JUMPDEST 00003b0c: SWAP3 00003b0d: SWAP2 00003b0e: POP 00003b0f: POP 00003b10: JUMP 00003b11: JUMPDEST 00003b12: PUSH1 0x00 00003b14: DUP2 00003b15: CALLDATALOAD 00003b16: SWAP1 00003b17: POP 00003b18: PUSH2 0x3b20 00003b1b: DUP2 00003b1c: PUSH2 0x4665 00003b1f: JUMP 00003b20: JUMPDEST 00003b21: SWAP3 00003b22: SWAP2 00003b23: POP 00003b24: POP 00003b25: JUMP 00003b26: JUMPDEST 00003b27: PUSH1 0x00 00003b29: PUSH1 0x20 00003b2b: DUP3 00003b2c: DUP5 00003b2d: SUB 00003b2e: SLT 00003b2f: ISZERO 00003b30: PUSH2 0x3b38 00003b33: JUMPI 00003b34: PUSH1 0x00 00003b36: DUP1 00003b37: REVERT 00003b38: JUMPDEST 00003b39: PUSH1 0x00 00003b3b: PUSH2 0x3b46 00003b3e: DUP5 00003b3f: DUP3 00003b40: DUP6 00003b41: ADD 00003b42: PUSH2 0x3ad2 00003b45: JUMP 00003b46: JUMPDEST 00003b47: SWAP2 00003b48: POP 00003b49: POP 00003b4a: SWAP3 00003b4b: SWAP2 00003b4c: POP 00003b4d: POP 00003b4e: JUMP 00003b4f: JUMPDEST 00003b50: PUSH1 0x00 00003b52: PUSH1 0x20 00003b54: DUP3 00003b55: DUP5 00003b56: SUB 00003b57: SLT 00003b58: ISZERO 00003b59: PUSH2 0x3b61 00003b5c: JUMPI 00003b5d: PUSH1 0x00 00003b5f: DUP1 00003b60: REVERT 00003b61: JUMPDEST 00003b62: PUSH1 0x00 00003b64: PUSH2 0x3b6f 00003b67: DUP5 00003b68: DUP3 00003b69: DUP6 00003b6a: ADD 00003b6b: PUSH2 0x3ae7 00003b6e: JUMP 00003b6f: JUMPDEST 00003b70: SWAP2 00003b71: POP 00003b72: POP 00003b73: SWAP3 00003b74: SWAP2 00003b75: POP 00003b76: POP 00003b77: JUMP 00003b78: JUMPDEST 00003b79: PUSH1 0x00 00003b7b: PUSH1 0x20 00003b7d: DUP3 00003b7e: DUP5 00003b7f: SUB 00003b80: SLT 00003b81: ISZERO 00003b82: PUSH2 0x3b8a 00003b85: JUMPI 00003b86: PUSH1 0x00 00003b88: DUP1 00003b89: REVERT 00003b8a: JUMPDEST 00003b8b: PUSH1 0x00 00003b8d: PUSH2 0x3b98 00003b90: DUP5 00003b91: DUP3 00003b92: DUP6 00003b93: ADD 00003b94: PUSH2 0x3afc 00003b97: JUMP 00003b98: JUMPDEST 00003b99: SWAP2 00003b9a: POP 00003b9b: POP 00003b9c: SWAP3 00003b9d: SWAP2 00003b9e: POP 00003b9f: POP 00003ba0: JUMP 00003ba1: JUMPDEST 00003ba2: PUSH1 0x00 00003ba4: PUSH1 0x20 00003ba6: DUP3 00003ba7: DUP5 00003ba8: SUB 00003ba9: SLT 00003baa: ISZERO 00003bab: PUSH2 0x3bb3 00003bae: JUMPI 00003baf: PUSH1 0x00 00003bb1: DUP1 00003bb2: REVERT 00003bb3: JUMPDEST 00003bb4: PUSH1 0x00 00003bb6: PUSH2 0x3bc1 00003bb9: DUP5 00003bba: DUP3 00003bbb: DUP6 00003bbc: ADD 00003bbd: PUSH2 0x3b11 00003bc0: JUMP 00003bc1: JUMPDEST 00003bc2: SWAP2 00003bc3: POP 00003bc4: POP 00003bc5: SWAP3 00003bc6: SWAP2 00003bc7: POP 00003bc8: POP 00003bc9: JUMP 00003bca: JUMPDEST 00003bcb: PUSH1 0x00 00003bcd: PUSH2 0x3bd6 00003bd0: DUP4 00003bd1: DUP4 00003bd2: PUSH2 0x4097 00003bd5: JUMP 00003bd6: JUMPDEST 00003bd7: PUSH1 0xa0 00003bd9: DUP4 00003bda: ADD 00003bdb: SWAP1 00003bdc: POP 00003bdd: SWAP3 00003bde: SWAP2 00003bdf: POP 00003be0: POP 00003be1: JUMP 00003be2: JUMPDEST 00003be3: PUSH2 0x3beb 00003be6: DUP2 00003be7: PUSH2 0x4593 00003bea: JUMP 00003beb: JUMPDEST 00003bec: DUP3 00003bed: MSTORE 00003bee: POP 00003bef: POP 00003bf0: JUMP 00003bf1: JUMPDEST 00003bf2: PUSH2 0x3bfa 00003bf5: DUP2 00003bf6: PUSH2 0x454b 00003bf9: JUMP 00003bfa: JUMPDEST 00003bfb: DUP3 00003bfc: MSTORE 00003bfd: POP 00003bfe: POP 00003bff: JUMP 00003c00: JUMPDEST 00003c01: PUSH2 0x3c09 00003c04: DUP2 00003c05: PUSH2 0x4539 00003c08: JUMP 00003c09: JUMPDEST 00003c0a: DUP3 00003c0b: MSTORE 00003c0c: POP 00003c0d: POP 00003c0e: JUMP 00003c0f: JUMPDEST 00003c10: PUSH1 0x00 00003c12: PUSH2 0x3c1a 00003c15: DUP3 00003c16: PUSH2 0x44e9 00003c19: JUMP 00003c1a: JUMPDEST 00003c1b: PUSH2 0x3c24 00003c1e: DUP2 00003c1f: DUP6 00003c20: PUSH2 0x450c 00003c23: JUMP 00003c24: JUMPDEST 00003c25: SWAP4 00003c26: POP 00003c27: PUSH2 0x3c2f 00003c2a: DUP4 00003c2b: PUSH2 0x44d9 00003c2e: JUMP 00003c2f: JUMPDEST 00003c30: DUP1 00003c31: PUSH1 0x00 00003c33: JUMPDEST 00003c34: DUP4 00003c35: DUP2 00003c36: LT 00003c37: ISZERO 00003c38: PUSH2 0x3c60 00003c3b: JUMPI 00003c3c: DUP2 00003c3d: MLOAD 00003c3e: PUSH2 0x3c47 00003c41: DUP9 00003c42: DUP3 00003c43: PUSH2 0x3bca 00003c46: JUMP 00003c47: JUMPDEST 00003c48: SWAP8 00003c49: POP 00003c4a: PUSH2 0x3c52 00003c4d: DUP4 00003c4e: PUSH2 0x44ff 00003c51: JUMP 00003c52: JUMPDEST 00003c53: SWAP3 00003c54: POP 00003c55: POP 00003c56: PUSH1 0x01 00003c58: DUP2 00003c59: ADD 00003c5a: SWAP1 00003c5b: POP 00003c5c: PUSH2 0x3c33 00003c5f: JUMP 00003c60: JUMPDEST 00003c61: POP 00003c62: DUP6 00003c63: SWAP4 00003c64: POP 00003c65: POP 00003c66: POP 00003c67: POP 00003c68: SWAP3 00003c69: SWAP2 00003c6a: POP 00003c6b: POP 00003c6c: JUMP 00003c6d: JUMPDEST 00003c6e: PUSH2 0x3c76 00003c71: DUP2 00003c72: PUSH2 0x455d 00003c75: JUMP 00003c76: JUMPDEST 00003c77: DUP3 00003c78: MSTORE 00003c79: POP 00003c7a: POP 00003c7b: JUMP 00003c7c: JUMPDEST 00003c7d: PUSH2 0x3c85 00003c80: DUP2 00003c81: PUSH2 0x455d 00003c84: JUMP 00003c85: JUMPDEST 00003c86: DUP3 00003c87: MSTORE 00003c88: POP 00003c89: POP 00003c8a: JUMP 00003c8b: JUMPDEST 00003c8c: PUSH1 0x00 00003c8e: PUSH2 0x3c96 00003c91: DUP3 00003c92: PUSH2 0x44f4 00003c95: JUMP 00003c96: JUMPDEST 00003c97: PUSH2 0x3ca0 00003c9a: DUP2 00003c9b: DUP6 00003c9c: PUSH2 0x451d 00003c9f: JUMP 00003ca0: JUMPDEST 00003ca1: SWAP4 00003ca2: POP 00003ca3: PUSH2 0x3cb0 00003ca6: DUP2 00003ca7: DUP6 00003ca8: PUSH1 0x20 00003caa: DUP7 00003cab: ADD 00003cac: PUSH2 0x45ed 00003caf: JUMP 00003cb0: JUMPDEST 00003cb1: DUP1 00003cb2: DUP5 00003cb3: ADD 00003cb4: SWAP2 00003cb5: POP 00003cb6: POP 00003cb7: SWAP3 00003cb8: SWAP2 00003cb9: POP 00003cba: POP 00003cbb: JUMP 00003cbc: JUMPDEST 00003cbd: PUSH2 0x3cc5 00003cc0: DUP2 00003cc1: PUSH2 0x45a5 00003cc4: JUMP 00003cc5: JUMPDEST 00003cc6: DUP3 00003cc7: MSTORE 00003cc8: POP 00003cc9: POP 00003cca: JUMP 00003ccb: JUMPDEST 00003ccc: PUSH1 0x00 00003cce: PUSH2 0x3cd8 00003cd1: PUSH1 0x09 00003cd3: DUP4 00003cd4: PUSH2 0x4528 00003cd7: JUMP 00003cd8: JUMPDEST 00003cd9: SWAP2 00003cda: POP 00003cdb: PUSH32 0x6e6f742073746172740000000000000000000000000000000000000000000000 00003cfc: PUSH1 0x00 00003cfe: DUP4 00003cff: ADD 00003d00: MSTORE 00003d01: PUSH1 0x20 00003d03: DUP3 00003d04: ADD 00003d05: SWAP1 00003d06: POP 00003d07: SWAP2 00003d08: SWAP1 00003d09: POP 00003d0a: JUMP 00003d0b: JUMPDEST 00003d0c: PUSH1 0x00 00003d0e: PUSH2 0x3d18 00003d11: PUSH1 0x11 00003d13: DUP4 00003d14: PUSH2 0x4528 00003d17: JUMP 00003d18: JUMPDEST 00003d19: SWAP2 00003d1a: POP 00003d1b: PUSH32 0x646966666963756c7479203d2074727565000000000000000000000000000000 00003d3c: PUSH1 0x00 00003d3e: DUP4 00003d3f: ADD 00003d40: MSTORE 00003d41: PUSH1 0x20 00003d43: DUP3 00003d44: ADD 00003d45: SWAP1 00003d46: POP 00003d47: SWAP2 00003d48: SWAP1 00003d49: POP 00003d4a: JUMP 00003d4b: JUMPDEST 00003d4c: PUSH1 0x00 00003d4e: PUSH2 0x3d58 00003d51: PUSH1 0x17 00003d53: DUP4 00003d54: PUSH2 0x4528 00003d57: JUMP 00003d58: JUMPDEST 00003d59: SWAP2 00003d5a: POP 00003d5b: PUSH32 0x6d756c7469706c69636174696f6e206f766572666c6f77000000000000000000 00003d7c: PUSH1 0x00 00003d7e: DUP4 00003d7f: ADD 00003d80: MSTORE 00003d81: PUSH1 0x20 00003d83: DUP3 00003d84: ADD 00003d85: SWAP1 00003d86: POP 00003d87: SWAP2 00003d88: SWAP1 00003d89: POP 00003d8a: JUMP 00003d8b: JUMPDEST 00003d8c: PUSH1 0x00 00003d8e: PUSH2 0x3d98 00003d91: PUSH1 0x20 00003d93: DUP4 00003d94: PUSH2 0x4528 00003d97: JUMP 00003d98: JUMPDEST 00003d99: SWAP2 00003d9a: POP 00003d9b: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 00003dbc: PUSH1 0x00 00003dbe: DUP4 00003dbf: ADD 00003dc0: MSTORE 00003dc1: PUSH1 0x20 00003dc3: DUP3 00003dc4: ADD 00003dc5: SWAP1 00003dc6: POP 00003dc7: SWAP2 00003dc8: SWAP1 00003dc9: POP 00003dca: JUMP 00003dcb: JUMPDEST 00003dcc: PUSH1 0x00 00003dce: PUSH2 0x3dd8 00003dd1: PUSH1 0x16 00003dd3: DUP4 00003dd4: PUSH2 0x4528 00003dd7: JUMP 00003dd8: JUMPDEST 00003dd9: SWAP2 00003dda: POP 00003ddb: PUSH32 0x434f4e54524143545f494e49544544203d207472756500000000000000000000 00003dfc: PUSH1 0x00 00003dfe: DUP4 00003dff: ADD 00003e00: MSTORE 00003e01: PUSH1 0x20 00003e03: DUP3 00003e04: ADD 00003e05: SWAP1 00003e06: POP 00003e07: SWAP2 00003e08: SWAP1 00003e09: POP 00003e0a: JUMP 00003e0b: JUMPDEST 00003e0c: PUSH1 0x00 00003e0e: PUSH2 0x3e18 00003e11: PUSH1 0x15 00003e13: DUP4 00003e14: PUSH2 0x4528 00003e17: JUMP 00003e18: JUMPDEST 00003e19: SWAP2 00003e1a: POP 00003e1b: PUSH32 0x7265666572726572203d20616464726573732830290000000000000000000000 00003e3c: PUSH1 0x00 00003e3e: DUP4 00003e3f: ADD 00003e40: MSTORE 00003e41: PUSH1 0x20 00003e43: DUP3 00003e44: ADD 00003e45: SWAP1 00003e46: POP 00003e47: SWAP2 00003e48: SWAP1 00003e49: POP 00003e4a: JUMP 00003e4b: JUMPDEST 00003e4c: PUSH1 0x00 00003e4e: PUSH2 0x3e58 00003e51: PUSH1 0x0d 00003e53: DUP4 00003e54: PUSH2 0x4528 00003e57: JUMP 00003e58: JUMPDEST 00003e59: SWAP2 00003e5a: POP 00003e5b: PUSH32 0x6d73672e76616c7565203d203000000000000000000000000000000000000000 00003e7c: PUSH1 0x00 00003e7e: DUP4 00003e7f: ADD 00003e80: MSTORE 00003e81: PUSH1 0x20 00003e83: DUP3 00003e84: ADD 00003e85: SWAP1 00003e86: POP 00003e87: SWAP2 00003e88: SWAP1 00003e89: POP 00003e8a: JUMP 00003e8b: JUMPDEST 00003e8c: PUSH1 0x00 00003e8e: PUSH2 0x3e98 00003e91: PUSH1 0x14 00003e93: DUP4 00003e94: PUSH2 0x4528 00003e97: JUMP 00003e98: JUMPDEST 00003e99: SWAP2 00003e9a: POP 00003e9b: PUSH32 0x6163636f756e74203d2061646472657373283029000000000000000000000000 00003ebc: PUSH1 0x00 00003ebe: DUP4 00003ebf: ADD 00003ec0: MSTORE 00003ec1: PUSH1 0x20 00003ec3: DUP3 00003ec4: ADD 00003ec5: SWAP1 00003ec6: POP 00003ec7: SWAP2 00003ec8: SWAP1 00003ec9: POP 00003eca: JUMP 00003ecb: JUMPDEST 00003ecc: PUSH1 0x00 00003ece: PUSH2 0x3ed8 00003ed1: PUSH1 0x11 00003ed3: DUP4 00003ed4: PUSH2 0x4528 00003ed7: JUMP 00003ed8: JUMPDEST 00003ed9: SWAP2 00003eda: POP 00003edb: PUSH32 0x6164646974696f6e206f766572666c6f77000000000000000000000000000000 00003efc: PUSH1 0x00 00003efe: DUP4 00003eff: ADD 00003f00: MSTORE 00003f01: PUSH1 0x20 00003f03: DUP3 00003f04: ADD 00003f05: SWAP1 00003f06: POP 00003f07: SWAP2 00003f08: SWAP1 00003f09: POP 00003f0a: JUMP 00003f0b: JUMPDEST 00003f0c: PUSH1 0x00 00003f0e: PUSH2 0x3f18 00003f11: PUSH1 0x23 00003f13: DUP4 00003f14: PUSH2 0x4528 00003f17: JUMP 00003f18: JUMPDEST 00003f19: SWAP2 00003f1a: POP 00003f1b: PUSH32 0x544f4b454e5f4d494e545f55534544203e3d20544f4b454e5f4d494e545f544f 00003f3c: PUSH1 0x00 00003f3e: DUP4 00003f3f: ADD 00003f40: MSTORE 00003f41: PUSH32 0x54414c0000000000000000000000000000000000000000000000000000000000 00003f62: PUSH1 0x20 00003f64: DUP4 00003f65: ADD 00003f66: MSTORE 00003f67: PUSH1 0x40 00003f69: DUP3 00003f6a: ADD 00003f6b: SWAP1 00003f6c: POP 00003f6d: SWAP2 00003f6e: SWAP1 00003f6f: POP 00003f70: JUMP 00003f71: JUMPDEST 00003f72: PUSH1 0x00 00003f74: PUSH2 0x3f7e 00003f77: PUSH1 0x10 00003f79: DUP4 00003f7a: PUSH2 0x4528 00003f7d: JUMP 00003f7e: JUMPDEST 00003f7f: SWAP2 00003f80: POP 00003f81: PUSH32 0x6469766973696f6e206279207a65726f00000000000000000000000000000000 00003fa2: PUSH1 0x00 00003fa4: DUP4 00003fa5: ADD 00003fa6: MSTORE 00003fa7: PUSH1 0x20 00003fa9: DUP3 00003faa: ADD 00003fab: SWAP1 00003fac: POP 00003fad: SWAP2 00003fae: SWAP1 00003faf: POP 00003fb0: JUMP 00003fb1: JUMPDEST 00003fb2: PUSH1 0x00 00003fb4: PUSH2 0x3fbe 00003fb7: PUSH1 0x2a 00003fb9: DUP4 00003fba: PUSH2 0x4528 00003fbd: JUMP 00003fbe: JUMPDEST 00003fbf: SWAP2 00003fc0: POP 00003fc1: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e 00003fe2: PUSH1 0x00 00003fe4: DUP4 00003fe5: ADD 00003fe6: MSTORE 00003fe7: PUSH32 0x6f74207375636365656400000000000000000000000000000000000000000000 00004008: PUSH1 0x20 0000400a: DUP4 0000400b: ADD 0000400c: MSTORE 0000400d: PUSH1 0x40 0000400f: DUP3 00004010: ADD 00004011: SWAP1 00004012: POP 00004013: SWAP2 00004014: SWAP1 00004015: POP 00004016: JUMP 00004017: JUMPDEST 00004018: PUSH1 0x00 0000401a: PUSH2 0x4024 0000401d: PUSH1 0x14 0000401f: DUP4 00004020: PUSH2 0x4528 00004023: JUMP 00004024: JUMPDEST 00004025: SWAP2 00004026: POP 00004027: PUSH32 0x7375627472616374696f6e206f766572666c6f77000000000000000000000000 00004048: PUSH1 0x00 0000404a: DUP4 0000404b: ADD 0000404c: MSTORE 0000404d: PUSH1 0x20 0000404f: DUP3 00004050: ADD 00004051: SWAP1 00004052: POP 00004053: SWAP2 00004054: SWAP1 00004055: POP 00004056: JUMP 00004057: JUMPDEST 00004058: PUSH1 0x00 0000405a: PUSH2 0x4064 0000405d: PUSH1 0x1f 0000405f: DUP4 00004060: PUSH2 0x4528 00004063: JUMP 00004064: JUMPDEST 00004065: SWAP2 00004066: POP 00004067: PUSH32 0x5361666545524332303a2063616c6c20746f206e6f6e2d636f6e747261637400 00004088: PUSH1 0x00 0000408a: DUP4 0000408b: ADD 0000408c: MSTORE 0000408d: PUSH1 0x20 0000408f: DUP3 00004090: ADD 00004091: SWAP1 00004092: POP 00004093: SWAP2 00004094: SWAP1 00004095: POP 00004096: JUMP 00004097: JUMPDEST 00004098: PUSH1 0xa0 0000409a: DUP3 0000409b: ADD 0000409c: PUSH1 0x00 0000409e: DUP3 0000409f: ADD 000040a0: MLOAD 000040a1: PUSH2 0x40ad 000040a4: PUSH1 0x00 000040a6: DUP6 000040a7: ADD 000040a8: DUP3 000040a9: PUSH2 0x40ff 000040ac: JUMP 000040ad: JUMPDEST 000040ae: POP 000040af: PUSH1 0x20 000040b1: DUP3 000040b2: ADD 000040b3: MLOAD 000040b4: PUSH2 0x40c0 000040b7: PUSH1 0x20 000040b9: DUP6 000040ba: ADD 000040bb: DUP3 000040bc: PUSH2 0x40ff 000040bf: JUMP 000040c0: JUMPDEST 000040c1: POP 000040c2: PUSH1 0x40 000040c4: DUP3 000040c5: ADD 000040c6: MLOAD 000040c7: PUSH2 0x40d3 000040ca: PUSH1 0x40 000040cc: DUP6 000040cd: ADD 000040ce: DUP3 000040cf: PUSH2 0x40ff 000040d2: JUMP 000040d3: JUMPDEST 000040d4: POP 000040d5: PUSH1 0x60 000040d7: DUP3 000040d8: ADD 000040d9: MLOAD 000040da: PUSH2 0x40e6 000040dd: PUSH1 0x60 000040df: DUP6 000040e0: ADD 000040e1: DUP3 000040e2: PUSH2 0x3c6d 000040e5: JUMP 000040e6: JUMPDEST 000040e7: POP 000040e8: PUSH1 0x80 000040ea: DUP3 000040eb: ADD 000040ec: MLOAD 000040ed: PUSH2 0x40f9 000040f0: PUSH1 0x80 000040f2: DUP6 000040f3: ADD 000040f4: DUP3 000040f5: PUSH2 0x40ff 000040f8: JUMP 000040f9: JUMPDEST 000040fa: POP 000040fb: POP 000040fc: POP 000040fd: POP 000040fe: JUMP 000040ff: JUMPDEST 00004100: PUSH2 0x4108 00004103: DUP2 00004104: PUSH2 0x4589 00004107: JUMP 00004108: JUMPDEST 00004109: DUP3 0000410a: MSTORE 0000410b: POP 0000410c: POP 0000410d: JUMP 0000410e: JUMPDEST 0000410f: PUSH2 0x4117 00004112: DUP2 00004113: PUSH2 0x4589 00004116: JUMP 00004117: JUMPDEST 00004118: DUP3 00004119: MSTORE 0000411a: POP 0000411b: POP 0000411c: JUMP 0000411d: JUMPDEST 0000411e: PUSH1 0x00 00004120: PUSH2 0x4129 00004123: DUP3 00004124: DUP5 00004125: PUSH2 0x3c8b 00004128: JUMP 00004129: JUMPDEST 0000412a: SWAP2 0000412b: POP 0000412c: DUP2 0000412d: SWAP1 0000412e: POP 0000412f: SWAP3 00004130: SWAP2 00004131: POP 00004132: POP 00004133: JUMP 00004134: JUMPDEST 00004135: PUSH1 0x00 00004137: PUSH1 0x20 00004139: DUP3 0000413a: ADD 0000413b: SWAP1 0000413c: POP 0000413d: PUSH2 0x4149 00004140: PUSH1 0x00 00004142: DUP4 00004143: ADD 00004144: DUP5 00004145: PUSH2 0x3c00 00004148: JUMP 00004149: JUMPDEST 0000414a: SWAP3 0000414b: SWAP2 0000414c: POP 0000414d: POP 0000414e: JUMP 0000414f: JUMPDEST 00004150: PUSH1 0x00 00004152: PUSH1 0x20 00004154: DUP3 00004155: ADD 00004156: SWAP1 00004157: POP 00004158: PUSH2 0x4164 0000415b: PUSH1 0x00 0000415d: DUP4 0000415e: ADD 0000415f: DUP5 00004160: PUSH2 0x3bf1 00004163: JUMP 00004164: JUMPDEST 00004165: SWAP3 00004166: SWAP2 00004167: POP 00004168: POP 00004169: JUMP 0000416a: JUMPDEST 0000416b: PUSH1 0x00 0000416d: PUSH1 0x40 0000416f: DUP3 00004170: ADD 00004171: SWAP1 00004172: POP 00004173: PUSH2 0x417f 00004176: PUSH1 0x00 00004178: DUP4 00004179: ADD 0000417a: DUP6 0000417b: PUSH2 0x3be2 0000417e: JUMP 0000417f: JUMPDEST 00004180: PUSH2 0x418c 00004183: PUSH1 0x20 00004185: DUP4 00004186: ADD 00004187: DUP5 00004188: PUSH2 0x410e 0000418b: JUMP 0000418c: JUMPDEST 0000418d: SWAP4 0000418e: SWAP3 0000418f: POP 00004190: POP 00004191: POP 00004192: JUMP 00004193: JUMPDEST 00004194: PUSH1 0x00 00004196: PUSH1 0x40 00004198: DUP3 00004199: ADD 0000419a: SWAP1 0000419b: POP 0000419c: PUSH2 0x41a8 0000419f: PUSH1 0x00 000041a1: DUP4 000041a2: ADD 000041a3: DUP6 000041a4: PUSH2 0x3c00 000041a7: JUMP 000041a8: JUMPDEST 000041a9: PUSH2 0x41b5 000041ac: PUSH1 0x20 000041ae: DUP4 000041af: ADD 000041b0: DUP5 000041b1: PUSH2 0x410e 000041b4: JUMP 000041b5: JUMPDEST 000041b6: SWAP4 000041b7: SWAP3 000041b8: POP 000041b9: POP 000041ba: POP 000041bb: JUMP 000041bc: JUMPDEST 000041bd: PUSH1 0x00 000041bf: PUSH1 0x20 000041c1: DUP3 000041c2: ADD 000041c3: SWAP1 000041c4: POP 000041c5: DUP2 000041c6: DUP2 000041c7: SUB 000041c8: PUSH1 0x00 000041ca: DUP4 000041cb: ADD 000041cc: MSTORE 000041cd: PUSH2 0x41d6 000041d0: DUP2 000041d1: DUP5 000041d2: PUSH2 0x3c0f 000041d5: JUMP 000041d6: JUMPDEST 000041d7: SWAP1 000041d8: POP 000041d9: SWAP3 000041da: SWAP2 000041db: POP 000041dc: POP 000041dd: JUMP 000041de: JUMPDEST 000041df: PUSH1 0x00 000041e1: PUSH1 0x20 000041e3: DUP3 000041e4: ADD 000041e5: SWAP1 000041e6: POP 000041e7: PUSH2 0x41f3 000041ea: PUSH1 0x00 000041ec: DUP4 000041ed: ADD 000041ee: DUP5 000041ef: PUSH2 0x3c7c 000041f2: JUMP 000041f3: JUMPDEST 000041f4: SWAP3 000041f5: SWAP2 000041f6: POP 000041f7: POP 000041f8: JUMP 000041f9: JUMPDEST 000041fa: PUSH1 0x00 000041fc: PUSH1 0x60 000041fe: DUP3 000041ff: ADD 00004200: SWAP1 00004201: POP 00004202: PUSH2 0x420e 00004205: PUSH1 0x00 00004207: DUP4 00004208: ADD 00004209: DUP7 0000420a: PUSH2 0x3c7c 0000420d: JUMP 0000420e: JUMPDEST 0000420f: PUSH2 0x421b 00004212: PUSH1 0x20 00004214: DUP4 00004215: ADD 00004216: DUP6 00004217: PUSH2 0x410e 0000421a: JUMP 0000421b: JUMPDEST 0000421c: PUSH2 0x4228 0000421f: PUSH1 0x40 00004221: DUP4 00004222: ADD 00004223: DUP5 00004224: PUSH2 0x3c00 00004227: JUMP 00004228: JUMPDEST 00004229: SWAP5 0000422a: SWAP4 0000422b: POP 0000422c: POP 0000422d: POP 0000422e: POP 0000422f: JUMP 00004230: JUMPDEST 00004231: PUSH1 0x00 00004233: PUSH1 0x20 00004235: DUP3 00004236: ADD 00004237: SWAP1 00004238: POP 00004239: PUSH2 0x4245 0000423c: PUSH1 0x00 0000423e: DUP4 0000423f: ADD 00004240: DUP5 00004241: PUSH2 0x3cbc 00004244: JUMP 00004245: JUMPDEST 00004246: SWAP3 00004247: SWAP2 00004248: POP 00004249: POP 0000424a: JUMP 0000424b: JUMPDEST 0000424c: PUSH1 0x00 0000424e: PUSH1 0x20 00004250: DUP3 00004251: ADD 00004252: SWAP1 00004253: POP 00004254: DUP2 00004255: DUP2 00004256: SUB 00004257: PUSH1 0x00 00004259: DUP4 0000425a: ADD 0000425b: MSTORE 0000425c: PUSH2 0x4264 0000425f: DUP2 00004260: PUSH2 0x3ccb 00004263: JUMP 00004264: JUMPDEST 00004265: SWAP1 00004266: POP 00004267: SWAP2 00004268: SWAP1 00004269: POP 0000426a: JUMP 0000426b: JUMPDEST 0000426c: PUSH1 0x00 0000426e: PUSH1 0x20 00004270: DUP3 00004271: ADD 00004272: SWAP1 00004273: POP 00004274: DUP2 00004275: DUP2 00004276: SUB 00004277: PUSH1 0x00 00004279: DUP4 0000427a: ADD 0000427b: MSTORE 0000427c: PUSH2 0x4284 0000427f: DUP2 00004280: PUSH2 0x3d0b 00004283: JUMP 00004284: JUMPDEST 00004285: SWAP1 00004286: POP 00004287: SWAP2 00004288: SWAP1 00004289: POP 0000428a: JUMP 0000428b: JUMPDEST 0000428c: PUSH1 0x00 0000428e: PUSH1 0x20 00004290: DUP3 00004291: ADD 00004292: SWAP1 00004293: POP 00004294: DUP2 00004295: DUP2 00004296: SUB 00004297: PUSH1 0x00 00004299: DUP4 0000429a: ADD 0000429b: MSTORE 0000429c: PUSH2 0x42a4 0000429f: DUP2 000042a0: PUSH2 0x3d4b 000042a3: JUMP 000042a4: JUMPDEST 000042a5: SWAP1 000042a6: POP 000042a7: SWAP2 000042a8: SWAP1 000042a9: POP 000042aa: JUMP 000042ab: JUMPDEST 000042ac: PUSH1 0x00 000042ae: PUSH1 0x20 000042b0: DUP3 000042b1: ADD 000042b2: SWAP1 000042b3: POP 000042b4: DUP2 000042b5: DUP2 000042b6: SUB 000042b7: PUSH1 0x00 000042b9: DUP4 000042ba: ADD 000042bb: MSTORE 000042bc: PUSH2 0x42c4 000042bf: DUP2 000042c0: PUSH2 0x3d8b 000042c3: JUMP 000042c4: JUMPDEST 000042c5: SWAP1 000042c6: POP 000042c7: SWAP2 000042c8: SWAP1 000042c9: POP 000042ca: JUMP 000042cb: JUMPDEST 000042cc: PUSH1 0x00 000042ce: PUSH1 0x20 000042d0: DUP3 000042d1: ADD 000042d2: SWAP1 000042d3: POP 000042d4: DUP2 000042d5: DUP2 000042d6: SUB 000042d7: PUSH1 0x00 000042d9: DUP4 000042da: ADD 000042db: MSTORE 000042dc: PUSH2 0x42e4 000042df: DUP2 000042e0: PUSH2 0x3dcb 000042e3: JUMP 000042e4: JUMPDEST 000042e5: SWAP1 000042e6: POP 000042e7: SWAP2 000042e8: SWAP1 000042e9: POP 000042ea: JUMP 000042eb: JUMPDEST 000042ec: PUSH1 0x00 000042ee: PUSH1 0x20 000042f0: DUP3 000042f1: ADD 000042f2: SWAP1 000042f3: POP 000042f4: DUP2 000042f5: DUP2 000042f6: SUB 000042f7: PUSH1 0x00 000042f9: DUP4 000042fa: ADD 000042fb: MSTORE 000042fc: PUSH2 0x4304 000042ff: DUP2 00004300: PUSH2 0x3e0b 00004303: JUMP 00004304: JUMPDEST 00004305: SWAP1 00004306: POP 00004307: SWAP2 00004308: SWAP1 00004309: POP 0000430a: JUMP 0000430b: JUMPDEST 0000430c: PUSH1 0x00 0000430e: PUSH1 0x20 00004310: DUP3 00004311: ADD 00004312: SWAP1 00004313: POP 00004314: DUP2 00004315: DUP2 00004316: SUB 00004317: PUSH1 0x00 00004319: DUP4 0000431a: ADD 0000431b: MSTORE 0000431c: PUSH2 0x4324 0000431f: DUP2 00004320: PUSH2 0x3e4b 00004323: JUMP 00004324: JUMPDEST 00004325: SWAP1 00004326: POP 00004327: SWAP2 00004328: SWAP1 00004329: POP 0000432a: JUMP 0000432b: JUMPDEST 0000432c: PUSH1 0x00 0000432e: PUSH1 0x20 00004330: DUP3 00004331: ADD 00004332: SWAP1 00004333: POP 00004334: DUP2 00004335: DUP2 00004336: SUB 00004337: PUSH1 0x00 00004339: DUP4 0000433a: ADD 0000433b: MSTORE 0000433c: PUSH2 0x4344 0000433f: DUP2 00004340: PUSH2 0x3e8b 00004343: JUMP 00004344: JUMPDEST 00004345: SWAP1 00004346: POP 00004347: SWAP2 00004348: SWAP1 00004349: POP 0000434a: JUMP 0000434b: JUMPDEST 0000434c: PUSH1 0x00 0000434e: PUSH1 0x20 00004350: DUP3 00004351: ADD 00004352: SWAP1 00004353: POP 00004354: DUP2 00004355: DUP2 00004356: SUB 00004357: PUSH1 0x00 00004359: DUP4 0000435a: ADD 0000435b: MSTORE 0000435c: PUSH2 0x4364 0000435f: DUP2 00004360: PUSH2 0x3ecb 00004363: JUMP 00004364: JUMPDEST 00004365: SWAP1 00004366: POP 00004367: SWAP2 00004368: SWAP1 00004369: POP 0000436a: JUMP 0000436b: JUMPDEST 0000436c: PUSH1 0x00 0000436e: PUSH1 0x20 00004370: DUP3 00004371: ADD 00004372: SWAP1 00004373: POP 00004374: DUP2 00004375: DUP2 00004376: SUB 00004377: PUSH1 0x00 00004379: DUP4 0000437a: ADD 0000437b: MSTORE 0000437c: PUSH2 0x4384 0000437f: DUP2 00004380: PUSH2 0x3f0b 00004383: JUMP 00004384: JUMPDEST 00004385: SWAP1 00004386: POP 00004387: SWAP2 00004388: SWAP1 00004389: POP 0000438a: JUMP 0000438b: JUMPDEST 0000438c: PUSH1 0x00 0000438e: PUSH1 0x20 00004390: DUP3 00004391: ADD 00004392: SWAP1 00004393: POP 00004394: DUP2 00004395: DUP2 00004396: SUB 00004397: PUSH1 0x00 00004399: DUP4 0000439a: ADD 0000439b: MSTORE 0000439c: PUSH2 0x43a4 0000439f: DUP2 000043a0: PUSH2 0x3f71 000043a3: JUMP 000043a4: JUMPDEST 000043a5: SWAP1 000043a6: POP 000043a7: SWAP2 000043a8: SWAP1 000043a9: POP 000043aa: JUMP 000043ab: JUMPDEST 000043ac: PUSH1 0x00 000043ae: PUSH1 0x20 000043b0: DUP3 000043b1: ADD 000043b2: SWAP1 000043b3: POP 000043b4: DUP2 000043b5: DUP2 000043b6: SUB 000043b7: PUSH1 0x00 000043b9: DUP4 000043ba: ADD 000043bb: MSTORE 000043bc: PUSH2 0x43c4 000043bf: DUP2 000043c0: PUSH2 0x3fb1 000043c3: JUMP 000043c4: JUMPDEST 000043c5: SWAP1 000043c6: POP 000043c7: SWAP2 000043c8: SWAP1 000043c9: POP 000043ca: JUMP 000043cb: JUMPDEST 000043cc: PUSH1 0x00 000043ce: PUSH1 0x20 000043d0: DUP3 000043d1: ADD 000043d2: SWAP1 000043d3: POP 000043d4: DUP2 000043d5: DUP2 000043d6: SUB 000043d7: PUSH1 0x00 000043d9: DUP4 000043da: ADD 000043db: MSTORE 000043dc: PUSH2 0x43e4 000043df: DUP2 000043e0: PUSH2 0x4017 000043e3: JUMP 000043e4: JUMPDEST 000043e5: SWAP1 000043e6: POP 000043e7: SWAP2 000043e8: SWAP1 000043e9: POP 000043ea: JUMP 000043eb: JUMPDEST 000043ec: PUSH1 0x00 000043ee: PUSH1 0x20 000043f0: DUP3 000043f1: ADD 000043f2: SWAP1 000043f3: POP 000043f4: DUP2 000043f5: DUP2 000043f6: SUB 000043f7: PUSH1 0x00 000043f9: DUP4 000043fa: ADD 000043fb: MSTORE 000043fc: PUSH2 0x4404 000043ff: DUP2 00004400: PUSH2 0x4057 00004403: JUMP 00004404: JUMPDEST 00004405: SWAP1 00004406: POP 00004407: SWAP2 00004408: SWAP1 00004409: POP 0000440a: JUMP 0000440b: JUMPDEST 0000440c: PUSH1 0x00 0000440e: PUSH1 0x20 00004410: DUP3 00004411: ADD 00004412: SWAP1 00004413: POP 00004414: PUSH2 0x4420 00004417: PUSH1 0x00 00004419: DUP4 0000441a: ADD 0000441b: DUP5 0000441c: PUSH2 0x410e 0000441f: JUMP 00004420: JUMPDEST 00004421: SWAP3 00004422: SWAP2 00004423: POP 00004424: POP 00004425: JUMP 00004426: JUMPDEST 00004427: PUSH1 0x00 00004429: PUSH1 0x40 0000442b: DUP3 0000442c: ADD 0000442d: SWAP1 0000442e: POP 0000442f: PUSH2 0x443b 00004432: PUSH1 0x00 00004434: DUP4 00004435: ADD 00004436: DUP6 00004437: PUSH2 0x410e 0000443a: JUMP 0000443b: JUMPDEST 0000443c: PUSH2 0x4448 0000443f: PUSH1 0x20 00004441: DUP4 00004442: ADD 00004443: DUP5 00004444: PUSH2 0x3c7c 00004447: JUMP 00004448: JUMPDEST 00004449: SWAP4 0000444a: SWAP3 0000444b: POP 0000444c: POP 0000444d: POP 0000444e: JUMP 0000444f: JUMPDEST 00004450: PUSH1 0x00 00004452: PUSH1 0x40 00004454: DUP3 00004455: ADD 00004456: SWAP1 00004457: POP 00004458: PUSH2 0x4464 0000445b: PUSH1 0x00 0000445d: DUP4 0000445e: ADD 0000445f: DUP6 00004460: PUSH2 0x410e 00004463: JUMP 00004464: JUMPDEST 00004465: PUSH2 0x4471 00004468: PUSH1 0x20 0000446a: DUP4 0000446b: ADD 0000446c: DUP5 0000446d: PUSH2 0x410e 00004470: JUMP 00004471: JUMPDEST 00004472: SWAP4 00004473: SWAP3 00004474: POP 00004475: POP 00004476: POP 00004477: JUMP 00004478: JUMPDEST 00004479: PUSH1 0x00 0000447b: PUSH1 0xc0 0000447d: DUP3 0000447e: ADD 0000447f: SWAP1 00004480: POP 00004481: PUSH2 0x448d 00004484: PUSH1 0x00 00004486: DUP4 00004487: ADD 00004488: DUP10 00004489: PUSH2 0x410e 0000448c: JUMP 0000448d: JUMPDEST 0000448e: PUSH2 0x449a 00004491: PUSH1 0x20 00004493: DUP4 00004494: ADD 00004495: DUP9 00004496: PUSH2 0x410e 00004499: JUMP 0000449a: JUMPDEST 0000449b: PUSH2 0x44a7 0000449e: PUSH1 0x40 000044a0: DUP4 000044a1: ADD 000044a2: DUP8 000044a3: PUSH2 0x3c7c 000044a6: JUMP 000044a7: JUMPDEST 000044a8: PUSH2 0x44b4 000044ab: PUSH1 0x60 000044ad: DUP4 000044ae: ADD 000044af: DUP7 000044b0: PUSH2 0x410e 000044b3: JUMP 000044b4: JUMPDEST 000044b5: PUSH2 0x44c1 000044b8: PUSH1 0x80 000044ba: DUP4 000044bb: ADD 000044bc: DUP6 000044bd: PUSH2 0x410e 000044c0: JUMP 000044c1: JUMPDEST 000044c2: PUSH2 0x44ce 000044c5: PUSH1 0xa0 000044c7: DUP4 000044c8: ADD 000044c9: DUP5 000044ca: PUSH2 0x410e 000044cd: JUMP 000044ce: JUMPDEST 000044cf: SWAP8 000044d0: SWAP7 000044d1: POP 000044d2: POP 000044d3: POP 000044d4: POP 000044d5: POP 000044d6: POP 000044d7: POP 000044d8: JUMP 000044d9: JUMPDEST 000044da: PUSH1 0x00 000044dc: DUP2 000044dd: SWAP1 000044de: POP 000044df: PUSH1 0x20 000044e1: DUP3 000044e2: ADD 000044e3: SWAP1 000044e4: POP 000044e5: SWAP2 000044e6: SWAP1 000044e7: POP 000044e8: JUMP 000044e9: JUMPDEST 000044ea: PUSH1 0x00 000044ec: DUP2 000044ed: MLOAD 000044ee: SWAP1 000044ef: POP 000044f0: SWAP2 000044f1: SWAP1 000044f2: POP 000044f3: JUMP 000044f4: JUMPDEST 000044f5: PUSH1 0x00 000044f7: DUP2 000044f8: MLOAD 000044f9: SWAP1 000044fa: POP 000044fb: SWAP2 000044fc: SWAP1 000044fd: POP 000044fe: JUMP 000044ff: JUMPDEST 00004500: PUSH1 0x00 00004502: PUSH1 0x20 00004504: DUP3 00004505: ADD 00004506: SWAP1 00004507: POP 00004508: SWAP2 00004509: SWAP1 0000450a: POP 0000450b: JUMP 0000450c: JUMPDEST 0000450d: PUSH1 0x00 0000450f: DUP3 00004510: DUP3 00004511: MSTORE 00004512: PUSH1 0x20 00004514: DUP3 00004515: ADD 00004516: SWAP1 00004517: POP 00004518: SWAP3 00004519: SWAP2 0000451a: POP 0000451b: POP 0000451c: JUMP 0000451d: JUMPDEST 0000451e: PUSH1 0x00 00004520: DUP2 00004521: SWAP1 00004522: POP 00004523: SWAP3 00004524: SWAP2 00004525: POP 00004526: POP 00004527: JUMP 00004528: JUMPDEST 00004529: PUSH1 0x00 0000452b: DUP3 0000452c: DUP3 0000452d: MSTORE 0000452e: PUSH1 0x20 00004530: DUP3 00004531: ADD 00004532: SWAP1 00004533: POP 00004534: SWAP3 00004535: SWAP2 00004536: POP 00004537: POP 00004538: JUMP 00004539: JUMPDEST 0000453a: PUSH1 0x00 0000453c: PUSH2 0x4544 0000453f: DUP3 00004540: PUSH2 0x4569 00004543: JUMP 00004544: JUMPDEST 00004545: SWAP1 00004546: POP 00004547: SWAP2 00004548: SWAP1 00004549: POP 0000454a: JUMP 0000454b: JUMPDEST 0000454c: PUSH1 0x00 0000454e: PUSH2 0x4556 00004551: DUP3 00004552: PUSH2 0x4569 00004555: JUMP 00004556: JUMPDEST 00004557: SWAP1 00004558: POP 00004559: SWAP2 0000455a: SWAP1 0000455b: POP 0000455c: JUMP 0000455d: JUMPDEST 0000455e: PUSH1 0x00 00004560: DUP2 00004561: ISZERO 00004562: ISZERO 00004563: SWAP1 00004564: POP 00004565: SWAP2 00004566: SWAP1 00004567: POP 00004568: JUMP 00004569: JUMPDEST 0000456a: PUSH1 0x00 0000456c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00004581: DUP3 00004582: AND 00004583: SWAP1 00004584: POP 00004585: SWAP2 00004586: SWAP1 00004587: POP 00004588: JUMP 00004589: JUMPDEST 0000458a: PUSH1 0x00 0000458c: DUP2 0000458d: SWAP1 0000458e: POP 0000458f: SWAP2 00004590: SWAP1 00004591: POP 00004592: JUMP 00004593: JUMPDEST 00004594: PUSH1 0x00 00004596: PUSH2 0x459e 00004599: DUP3 0000459a: PUSH2 0x45c9 0000459d: JUMP 0000459e: JUMPDEST 0000459f: SWAP1 000045a0: POP 000045a1: SWAP2 000045a2: SWAP1 000045a3: POP 000045a4: JUMP 000045a5: JUMPDEST 000045a6: PUSH1 0x00 000045a8: PUSH2 0x45b0 000045ab: DUP3 000045ac: PUSH2 0x45b7 000045af: JUMP 000045b0: JUMPDEST 000045b1: SWAP1 000045b2: POP 000045b3: SWAP2 000045b4: SWAP1 000045b5: POP 000045b6: JUMP 000045b7: JUMPDEST 000045b8: PUSH1 0x00 000045ba: PUSH2 0x45c2 000045bd: DUP3 000045be: PUSH2 0x4569 000045c1: JUMP 000045c2: JUMPDEST 000045c3: SWAP1 000045c4: POP 000045c5: SWAP2 000045c6: SWAP1 000045c7: POP 000045c8: JUMP 000045c9: JUMPDEST 000045ca: PUSH1 0x00 000045cc: PUSH2 0x45d4 000045cf: DUP3 000045d0: PUSH2 0x45db 000045d3: JUMP 000045d4: JUMPDEST 000045d5: SWAP1 000045d6: POP 000045d7: SWAP2 000045d8: SWAP1 000045d9: POP 000045da: JUMP 000045db: JUMPDEST 000045dc: PUSH1 0x00 000045de: PUSH2 0x45e6 000045e1: DUP3 000045e2: PUSH2 0x4569 000045e5: JUMP 000045e6: JUMPDEST 000045e7: SWAP1 000045e8: POP 000045e9: SWAP2 000045ea: SWAP1 000045eb: POP 000045ec: JUMP 000045ed: JUMPDEST 000045ee: PUSH1 0x00 000045f0: JUMPDEST 000045f1: DUP4 000045f2: DUP2 000045f3: LT 000045f4: ISZERO 000045f5: PUSH2 0x460b 000045f8: JUMPI 000045f9: DUP1 000045fa: DUP3 000045fb: ADD 000045fc: MLOAD 000045fd: DUP2 000045fe: DUP5 000045ff: ADD 00004600: MSTORE 00004601: PUSH1 0x20 00004603: DUP2 00004604: ADD 00004605: SWAP1 00004606: POP 00004607: PUSH2 0x45f0 0000460a: JUMP 0000460b: JUMPDEST 0000460c: DUP4 0000460d: DUP2 0000460e: GT 0000460f: ISZERO 00004610: PUSH2 0x461a 00004613: JUMPI 00004614: PUSH1 0x00 00004616: DUP5 00004617: DUP5 00004618: ADD 00004619: MSTORE 0000461a: JUMPDEST 0000461b: POP 0000461c: POP 0000461d: POP 0000461e: POP 0000461f: JUMP 00004620: JUMPDEST 00004621: PUSH2 0x4629 00004624: DUP2 00004625: PUSH2 0x4539 00004628: JUMP 00004629: JUMPDEST 0000462a: DUP2 0000462b: EQ 0000462c: PUSH2 0x4634 0000462f: JUMPI 00004630: PUSH1 0x00 00004632: DUP1 00004633: REVERT 00004634: JUMPDEST 00004635: POP 00004636: JUMP 00004637: JUMPDEST 00004638: PUSH2 0x4640 0000463b: DUP2 0000463c: PUSH2 0x454b 0000463f: JUMP 00004640: JUMPDEST 00004641: DUP2 00004642: EQ 00004643: PUSH2 0x464b 00004646: JUMPI 00004647: PUSH1 0x00 00004649: DUP1 0000464a: REVERT 0000464b: JUMPDEST 0000464c: POP 0000464d: JUMP 0000464e: JUMPDEST 0000464f: PUSH2 0x4657 00004652: DUP2 00004653: PUSH2 0x455d 00004656: JUMP 00004657: JUMPDEST 00004658: DUP2 00004659: EQ 0000465a: PUSH2 0x4662 0000465d: JUMPI 0000465e: PUSH1 0x00 00004660: DUP1 00004661: REVERT 00004662: JUMPDEST 00004663: POP 00004664: JUMP 00004665: JUMPDEST 00004666: PUSH2 0x466e 00004669: DUP2 0000466a: PUSH2 0x4589 0000466d: JUMP 0000466e: JUMPDEST 0000466f: DUP2 00004670: EQ 00004671: PUSH2 0x4679 00004674: JUMPI 00004675: PUSH1 0x00 00004677: DUP1 00004678: REVERT 00004679: JUMPDEST 0000467a: POP 0000467b: JUMP 0000467c: INVALID 0000467d: LOG2 0000467e: PUSH5 0x6970667358 00004684: UNKNOWN(0x22) 00004685: SLT 00004686: KECCAK256 00004687: DUP3 00004688: DUP5 00004689: PUSH31 0xda1cd35282c3316ecded70b5e2a0b71e62c26a96659809978d84172db36473 000046a9: PUSH16
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | yes | yes |
viewtrace_id: 0x0b6999d37c2a76f1bc5f1c36093a6d3d7d3ba0002d3194db6e605322c88d5371
call_targets:
0x0000000000000000000000000000000000000001, 0x4bc167ac436a1349a8806092d408f63f1b4c0f11
target_varies:
yes
classification:
target_varies
validation_json{
"sink": "CALL",
"errors": 0,
"status": "confirmed",
"attempts": 1,
"trace_id": "0x0b6999d37c2a76f1bc5f1c36093a6d3d7d3ba0002d3194db6e605322c88d5371",
"confirmed": true,
"trace_mode": "callTracer",
"call_targets": [
"0x0000000000000000000000000000000000000001",
"0x4bc167ac436a1349a8806092d408f63f1b4c0f11"
],
"matched_probe": null,
"target_varies": true,
"classification": "target_varies"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xe9fad8ee",
"selector": "0xe9fad8ee",
"calldata_variants": [
"0xe9fad8ee",
"0xe9fad8ee0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf0057e09",
"selector": "0xf0057e09",
"calldata_variants": [
"0xf0057e09",
"0xf0057e090000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf5a76d33",
"selector": "0xf5a76d33",
"calldata_variants": [
"0xf5a76d33",
"0xf5a76d330000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfd5e823b",
"selector": "0xfd5e823b",
"calldata_variants": [
"0xfd5e823b",
"0xfd5e823b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xff70fa49",
"selector": "0xff70fa49",
"calldata_variants": [
"0xff70fa49",
"0xff70fa490000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdb3543f5",
"selector": "0xdb3543f5",
"calldata_variants": [
"0xdb3543f5",
"0xdb3543f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdcf6e819",
"selector": "0xdcf6e819",
"calldata_variants": [
"0xdcf6e819",
"0xdcf6e8190000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe1254fba",
"selector": "0xe1254fba",
"calldata_variants": [
"0xe1254fba",
"0xe1254fba0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3220,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4073,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4178,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [
{
"pc": 5332,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5623,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 8357,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 8627,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 9745,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 10187,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 10447,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 5
}
|
| medium | other | detector | ETH value transfer possible | 40 | yes | yes |
viewtrace_id: 0x0b6999d37c2a76f1bc5f1c36093a6d3d7d3ba0002d3194db6e605322c88d5371
call_targets:
0x0000000000000000000000000000000000000001, 0x4bc167ac436a1349a8806092d408f63f1b4c0f11
target_varies:
yes
classification:
target_varies
validation_json{
"sink": "CALL",
"errors": 0,
"status": "confirmed",
"attempts": 1,
"trace_id": "0x0b6999d37c2a76f1bc5f1c36093a6d3d7d3ba0002d3194db6e605322c88d5371",
"confirmed": true,
"trace_mode": "callTracer",
"call_targets": [
"0x0000000000000000000000000000000000000001",
"0x4bc167ac436a1349a8806092d408f63f1b4c0f11"
],
"matched_probe": null,
"target_varies": true,
"classification": "target_varies"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xe9fad8ee",
"selector": "0xe9fad8ee",
"calldata_variants": [
"0xe9fad8ee",
"0xe9fad8ee0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf0057e09",
"selector": "0xf0057e09",
"calldata_variants": [
"0xf0057e09",
"0xf0057e090000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf5a76d33",
"selector": "0xf5a76d33",
"calldata_variants": [
"0xf5a76d33",
"0xf5a76d330000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfd5e823b",
"selector": "0xfd5e823b",
"calldata_variants": [
"0xfd5e823b",
"0xfd5e823b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xff70fa49",
"selector": "0xff70fa49",
"calldata_variants": [
"0xff70fa49",
"0xff70fa490000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdb3543f5",
"selector": "0xdb3543f5",
"calldata_variants": [
"0xdb3543f5",
"0xdb3543f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdcf6e819",
"selector": "0xdcf6e819",
"calldata_variants": [
"0xdcf6e819",
"0xdcf6e8190000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe1254fba",
"selector": "0xe1254fba",
"calldata_variants": [
"0xe1254fba",
"0xe1254fba0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3220,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4073,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4178,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": [
{
"pc": 5332,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5623,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 8357,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 8627,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 9745,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 10187,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 10447,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|