019ba9a5-c7f4-71f2-959f-6b5e8436dbfb
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 |
|---|---|---|---|---|
| 37521 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 37522 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 37523 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 37524 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 37525 | capability.graph | complete | 1 / 3 | 3 months ago |
| 37526 | detector.run | complete | 1 / 3 | 3 months ago |
| 37527 | validation.fork | complete | 1 / 3 | 3 months ago |
{
"status": "not_proxy"
}
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x028c 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0xa4041cfd 00000019: GT 0000001a: PUSH2 0x015a 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xce98d80a 00000024: GT 00000025: PUSH2 0x00c1 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xefb64d51 0000002f: GT 00000030: PUSH2 0x007a 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xefb64d51 0000003a: EQ 0000003b: PUSH2 0x0744 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf1377164 00000045: EQ 00000046: PUSH2 0x07d6 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf2fde38b 00000050: EQ 00000051: PUSH2 0x07ec 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf40f0f52 0000005b: EQ 0000005c: PUSH2 0x080c 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0xf7c618c1 00000066: EQ 00000067: PUSH2 0x0841 0000006a: JUMPI 0000006b: DUP1 0000006c: PUSH4 0xfd33d040 00000071: EQ 00000072: PUSH2 0x0866 00000075: JUMPI 00000076: PUSH1 0x00 00000078: DUP1 00000079: REVERT 0000007a: JUMPDEST 0000007b: DUP1 0000007c: PUSH4 0xce98d80a 00000081: EQ 00000082: PUSH2 0x0692 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xd2a14151 0000008c: EQ 0000008d: PUSH2 0x06c2 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0xd5999a5c 00000097: EQ 00000098: PUSH2 0x06d8 0000009b: JUMPI 0000009c: DUP1 0000009d: PUSH4 0xe4a09fe4 000000a2: EQ 000000a3: PUSH2 0x06ee 000000a6: JUMPI 000000a7: DUP1 000000a8: PUSH4 0xea5a3acb 000000ad: EQ 000000ae: PUSH2 0x070e 000000b1: JUMPI 000000b2: DUP1 000000b3: PUSH4 0xee6ff5ec 000000b8: EQ 000000b9: PUSH2 0x072e 000000bc: JUMPI 000000bd: PUSH1 0x00 000000bf: DUP1 000000c0: REVERT 000000c1: JUMPDEST 000000c2: DUP1 000000c3: PUSH4 0xb8e94b63 000000c8: GT 000000c9: PUSH2 0x0113 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0xb8e94b63 000000d3: EQ 000000d4: PUSH2 0x05e6 000000d7: JUMPI 000000d8: DUP1 000000d9: PUSH4 0xb8fe0bb0 000000de: EQ 000000df: PUSH2 0x0606 000000e2: JUMPI 000000e3: DUP1 000000e4: PUSH4 0xbaa9da15 000000e9: EQ 000000ea: PUSH2 0x0626 000000ed: JUMPI 000000ee: DUP1 000000ef: PUSH4 0xbfd021ce 000000f4: EQ 000000f5: PUSH2 0x063c 000000f8: JUMPI 000000f9: DUP1 000000fa: PUSH4 0xcae45ed0 000000ff: EQ 00000100: PUSH2 0x065c 00000103: JUMPI 00000104: DUP1 00000105: PUSH4 0xccd34cd5 0000010a: EQ 0000010b: PUSH2 0x067c 0000010e: JUMPI 0000010f: PUSH1 0x00 00000111: DUP1 00000112: REVERT 00000113: JUMPDEST 00000114: DUP1 00000115: PUSH4 0xa4041cfd 0000011a: EQ 0000011b: PUSH2 0x054f 0000011e: JUMPI 0000011f: DUP1 00000120: PUSH4 0xa64b1d5f 00000125: EQ 00000126: PUSH2 0x0565 00000129: JUMPI 0000012a: DUP1 0000012b: PUSH4 0xb41c9eda 00000130: EQ 00000131: PUSH2 0x057b 00000134: JUMPI 00000135: DUP1 00000136: PUSH4 0xb633b364 0000013b: EQ 0000013c: PUSH2 0x059b 0000013f: JUMPI 00000140: DUP1 00000141: PUSH4 0xb80161b2 00000146: EQ 00000147: PUSH2 0x05b0 0000014a: JUMPI 0000014b: DUP1 0000014c: PUSH4 0xb85a2901 00000151: EQ 00000152: PUSH2 0x05d0 00000155: JUMPI 00000156: PUSH1 0x00 00000158: DUP1 00000159: REVERT 0000015a: JUMPDEST 0000015b: DUP1 0000015c: PUSH4 0x7883a422 00000161: GT 00000162: PUSH2 0x01fe 00000165: JUMPI 00000166: DUP1 00000167: PUSH4 0x8da5cb5b 0000016c: GT 0000016d: PUSH2 0x01b7 00000170: JUMPI 00000171: DUP1 00000172: PUSH4 0x8da5cb5b 00000177: EQ 00000178: PUSH2 0x04a9 0000017b: JUMPI 0000017c: DUP1 0000017d: PUSH4 0x8f662915 00000182: EQ 00000183: PUSH2 0x04db 00000186: JUMPI 00000187: DUP1 00000188: PUSH4 0x9231cf74 0000018d: EQ 0000018e: PUSH2 0x04f1 00000191: JUMPI 00000192: DUP1 00000193: PUSH4 0x9f9fed9b 00000198: EQ 00000199: PUSH2 0x0507 0000019c: JUMPI 0000019d: DUP1 0000019e: PUSH4 0x9fa12f07 000001a3: EQ 000001a4: PUSH2 0x050f 000001a7: JUMPI 000001a8: DUP1 000001a9: PUSH4 0x9faf205f 000001ae: EQ 000001af: PUSH2 0x052f 000001b2: JUMPI 000001b3: PUSH1 0x00 000001b5: DUP1 000001b6: REVERT 000001b7: JUMPDEST 000001b8: DUP1 000001b9: PUSH4 0x7883a422 000001be: EQ 000001bf: PUSH2 0x03c6 000001c2: JUMPI 000001c3: DUP1 000001c4: PUSH4 0x7b199de1 000001c9: EQ 000001ca: PUSH2 0x03db 000001cd: JUMPI 000001ce: DUP1 000001cf: PUSH4 0x7df62b6f 000001d4: EQ 000001d5: PUSH2 0x03f1 000001d8: JUMPI 000001d9: DUP1 000001da: PUSH4 0x836d4830 000001df: EQ 000001e0: PUSH2 0x045d 000001e3: JUMPI 000001e4: DUP1 000001e5: PUSH4 0x84f10492 000001ea: EQ 000001eb: PUSH2 0x0473 000001ee: JUMPI 000001ef: DUP1 000001f0: PUSH4 0x888ba168 000001f5: EQ 000001f6: PUSH2 0x0493 000001f9: JUMPI 000001fa: PUSH1 0x00 000001fc: DUP1 000001fd: REVERT 000001fe: JUMPDEST 000001ff: DUP1 00000200: PUSH4 0x4641257d 00000205: GT 00000206: PUSH2 0x0250 00000209: JUMPI 0000020a: DUP1 0000020b: PUSH4 0x4641257d 00000210: EQ 00000211: PUSH2 0x0325 00000214: JUMPI 00000215: DUP1 00000216: PUSH4 0x466e3581 0000021b: EQ 0000021c: PUSH2 0x033a 0000021f: JUMPI 00000220: DUP1 00000221: PUSH4 0x685c020b 00000226: EQ 00000227: PUSH2 0x0364 0000022a: JUMPI 0000022b: DUP1 0000022c: PUSH4 0x6ddd1713 00000231: EQ 00000232: PUSH2 0x0377 00000235: JUMPI 00000236: DUP1 00000237: PUSH4 0x715018a6 0000023c: EQ 0000023d: PUSH2 0x0391 00000240: JUMPI 00000241: DUP1 00000242: PUSH4 0x75113939 00000247: EQ 00000248: PUSH2 0x03a6 0000024b: JUMPI 0000024c: PUSH1 0x00 0000024e: DUP1 0000024f: REVERT 00000250: JUMPDEST 00000251: DUP1 00000252: PUSH4 0x07867b7d 00000257: EQ 00000258: PUSH2 0x0298 0000025b: JUMPI 0000025c: DUP1 0000025d: PUSH4 0x0bd3896e 00000262: EQ 00000263: PUSH2 0x02c1 00000266: JUMPI 00000267: DUP1 00000268: PUSH4 0x0ec8a311 0000026d: EQ 0000026e: PUSH2 0x02d7 00000271: JUMPI 00000272: DUP1 00000273: PUSH4 0x17d0fe76 00000278: EQ 00000279: PUSH2 0x02f9 0000027c: JUMPI 0000027d: DUP1 0000027e: PUSH4 0x416ff12c 00000283: EQ 00000284: PUSH2 0x030f 00000287: JUMPI 00000288: PUSH1 0x00 0000028a: DUP1 0000028b: REVERT 0000028c: JUMPDEST 0000028d: CALLDATASIZE 0000028e: PUSH2 0x0293 00000291: JUMPI 00000292: STOP 00000293: JUMPDEST 00000294: PUSH1 0x00 00000296: DUP1 00000297: REVERT 00000298: JUMPDEST 00000299: CALLVALUE 0000029a: DUP1 0000029b: ISZERO 0000029c: PUSH2 0x02a4 0000029f: JUMPI 000002a0: PUSH1 0x00 000002a2: DUP1 000002a3: REVERT 000002a4: JUMPDEST 000002a5: POP 000002a6: PUSH2 0x02ae 000002a9: PUSH1 0x18 000002ab: SLOAD 000002ac: DUP2 000002ad: JUMP 000002ae: JUMPDEST 000002af: PUSH1 0x40 000002b1: MLOAD 000002b2: SWAP1 000002b3: DUP2 000002b4: MSTORE 000002b5: PUSH1 0x20 000002b7: ADD 000002b8: JUMPDEST 000002b9: PUSH1 0x40 000002bb: MLOAD 000002bc: DUP1 000002bd: SWAP2 000002be: SUB 000002bf: SWAP1 000002c0: RETURN 000002c1: JUMPDEST 000002c2: CALLVALUE 000002c3: DUP1 000002c4: ISZERO 000002c5: PUSH2 0x02cd 000002c8: JUMPI 000002c9: PUSH1 0x00 000002cb: DUP1 000002cc: REVERT 000002cd: JUMPDEST 000002ce: POP 000002cf: PUSH2 0x02ae 000002d2: PUSH1 0x11 000002d4: SLOAD 000002d5: DUP2 000002d6: JUMP 000002d7: JUMPDEST 000002d8: CALLVALUE 000002d9: DUP1 000002da: ISZERO 000002db: PUSH2 0x02e3 000002de: JUMPI 000002df: PUSH1 0x00 000002e1: DUP1 000002e2: REVERT 000002e3: JUMPDEST 000002e4: POP 000002e5: PUSH2 0x02f7 000002e8: PUSH2 0x02f2 000002eb: CALLDATASIZE 000002ec: PUSH1 0x04 000002ee: PUSH2 0x1dc3 000002f1: JUMP 000002f2: JUMPDEST 000002f3: PUSH2 0x087c 000002f6: JUMP 000002f7: JUMPDEST 000002f8: STOP 000002f9: JUMPDEST 000002fa: CALLVALUE 000002fb: DUP1 000002fc: ISZERO 000002fd: PUSH2 0x0305 00000300: JUMPI 00000301: PUSH1 0x00 00000303: DUP1 00000304: REVERT 00000305: JUMPDEST 00000306: POP 00000307: PUSH2 0x02ae 0000030a: PUSH1 0x0d 0000030c: SLOAD 0000030d: DUP2 0000030e: JUMP 0000030f: JUMPDEST 00000310: CALLVALUE 00000311: DUP1 00000312: ISZERO 00000313: PUSH2 0x031b 00000316: JUMPI 00000317: PUSH1 0x00 00000319: DUP1 0000031a: REVERT 0000031b: JUMPDEST 0000031c: POP 0000031d: PUSH2 0x02ae 00000320: PUSH1 0x07 00000322: SLOAD 00000323: DUP2 00000324: JUMP 00000325: JUMPDEST 00000326: CALLVALUE 00000327: DUP1 00000328: ISZERO 00000329: PUSH2 0x0331 0000032c: JUMPI 0000032d: PUSH1 0x00 0000032f: DUP1 00000330: REVERT 00000331: JUMPDEST 00000332: POP 00000333: PUSH2 0x02f7 00000336: PUSH2 0x091e 00000339: JUMP 0000033a: JUMPDEST 0000033b: CALLVALUE 0000033c: DUP1 0000033d: ISZERO 0000033e: PUSH2 0x0346 00000341: JUMPI 00000342: PUSH1 0x00 00000344: DUP1 00000345: REVERT 00000346: JUMPDEST 00000347: POP 00000348: PUSH1 0x1b 0000034a: SLOAD 0000034b: PUSH2 0x0354 0000034e: SWAP1 0000034f: PUSH1 0xff 00000351: AND 00000352: DUP2 00000353: JUMP 00000354: JUMPDEST 00000355: PUSH1 0x40 00000357: MLOAD 00000358: SWAP1 00000359: ISZERO 0000035a: ISZERO 0000035b: DUP2 0000035c: MSTORE 0000035d: PUSH1 0x20 0000035f: ADD 00000360: PUSH2 0x02b8 00000363: JUMP 00000364: JUMPDEST 00000365: PUSH2 0x02f7 00000368: PUSH2 0x0372 0000036b: CALLDATASIZE 0000036c: PUSH1 0x04 0000036e: PUSH2 0x1e15 00000371: JUMP 00000372: JUMPDEST 00000373: PUSH2 0x0aa1 00000376: JUMP 00000377: JUMPDEST 00000378: CALLVALUE 00000379: DUP1 0000037a: ISZERO 0000037b: PUSH2 0x0383 0000037e: JUMPI 0000037f: PUSH1 0x00 00000381: DUP1 00000382: REVERT 00000383: JUMPDEST 00000384: POP 00000385: PUSH1 0x10 00000387: SLOAD 00000388: PUSH2 0x0354 0000038b: SWAP1 0000038c: PUSH1 0xff 0000038e: AND 0000038f: DUP2 00000390: JUMP 00000391: JUMPDEST 00000392: CALLVALUE 00000393: DUP1 00000394: ISZERO 00000395: PUSH2 0x039d 00000398: JUMPI 00000399: PUSH1 0x00 0000039b: DUP1 0000039c: REVERT 0000039d: JUMPDEST 0000039e: POP 0000039f: PUSH2 0x02f7 000003a2: PUSH2 0x0e0a 000003a5: JUMP 000003a6: JUMPDEST 000003a7: CALLVALUE 000003a8: DUP1 000003a9: ISZERO 000003aa: PUSH2 0x03b2 000003ad: JUMPI 000003ae: PUSH1 0x00 000003b0: DUP1 000003b1: REVERT 000003b2: JUMPDEST 000003b3: POP 000003b4: PUSH2 0x02f7 000003b7: PUSH2 0x03c1 000003ba: CALLDATASIZE 000003bb: PUSH1 0x04 000003bd: PUSH2 0x1dc3 000003c0: JUMP 000003c1: JUMPDEST 000003c2: PUSH2 0x0e7e 000003c5: JUMP 000003c6: JUMPDEST 000003c7: CALLVALUE 000003c8: DUP1 000003c9: ISZERO 000003ca: PUSH2 0x03d2 000003cd: JUMPI 000003ce: PUSH1 0x00 000003d0: DUP1 000003d1: REVERT 000003d2: JUMPDEST 000003d3: POP 000003d4: PUSH2 0x02f7 000003d7: PUSH2 0x0ead 000003da: JUMP 000003db: JUMPDEST 000003dc: CALLVALUE 000003dd: DUP1 000003de: ISZERO 000003df: PUSH2 0x03e7 000003e2: JUMPI 000003e3: PUSH1 0x00 000003e5: DUP1 000003e6: REVERT 000003e7: JUMPDEST 000003e8: POP 000003e9: PUSH2 0x02ae 000003ec: PUSH1 0x09 000003ee: SLOAD 000003ef: DUP2 000003f0: JUMP 000003f1: JUMPDEST 000003f2: CALLVALUE 000003f3: DUP1 000003f4: ISZERO 000003f5: PUSH2 0x03fd 000003f8: JUMPI 000003f9: PUSH1 0x00 000003fb: DUP1 000003fc: REVERT 000003fd: JUMPDEST 000003fe: POP 000003ff: PUSH2 0x0438 00000402: PUSH2 0x040c 00000405: CALLDATASIZE 00000406: PUSH1 0x04 00000408: PUSH2 0x1dc3 0000040b: JUMP 0000040c: JUMPDEST 0000040d: PUSH1 0x02 0000040f: PUSH1 0x20 00000411: DUP2 00000412: SWAP1 00000413: MSTORE 00000414: PUSH1 0x00 00000416: SWAP2 00000417: DUP3 00000418: MSTORE 00000419: PUSH1 0x40 0000041b: SWAP1 0000041c: SWAP2 0000041d: KECCAK256 0000041e: DUP1 0000041f: SLOAD 00000420: PUSH1 0x01 00000422: DUP3 00000423: ADD 00000424: SLOAD 00000425: SWAP2 00000426: SWAP1 00000427: SWAP3 00000428: ADD 00000429: SLOAD 0000042a: PUSH1 0x01 0000042c: PUSH1 0x01 0000042e: PUSH1 0xa0 00000430: SHL 00000431: SUB 00000432: SWAP1 00000433: SWAP3 00000434: AND 00000435: SWAP2 00000436: DUP4 00000437: JUMP 00000438: JUMPDEST 00000439: PUSH1 0x40 0000043b: DUP1 0000043c: MLOAD 0000043d: PUSH1 0x01 0000043f: PUSH1 0x01 00000441: PUSH1 0xa0 00000443: SHL 00000444: SUB 00000445: SWAP1 00000446: SWAP5 00000447: AND 00000448: DUP5 00000449: MSTORE 0000044a: PUSH1 0x20 0000044c: DUP5 0000044d: ADD 0000044e: SWAP3 0000044f: SWAP1 00000450: SWAP3 00000451: MSTORE 00000452: SWAP1 00000453: DUP3 00000454: ADD 00000455: MSTORE 00000456: PUSH1 0x60 00000458: ADD 00000459: PUSH2 0x02b8 0000045c: JUMP 0000045d: JUMPDEST 0000045e: CALLVALUE 0000045f: DUP1 00000460: ISZERO 00000461: PUSH2 0x0469 00000464: JUMPI 00000465: PUSH1 0x00 00000467: DUP1 00000468: REVERT 00000469: JUMPDEST 0000046a: POP 0000046b: PUSH2 0x02ae 0000046e: PUSH1 0x0a 00000470: SLOAD 00000471: DUP2 00000472: JUMP 00000473: JUMPDEST 00000474: CALLVALUE 00000475: DUP1 00000476: ISZERO 00000477: PUSH2 0x047f 0000047a: JUMPI 0000047b: PUSH1 0x00 0000047d: DUP1 0000047e: REVERT 0000047f: JUMPDEST 00000480: POP 00000481: PUSH2 0x02f7 00000484: PUSH2 0x048e 00000487: CALLDATASIZE 00000488: PUSH1 0x04 0000048a: PUSH2 0x1d7e 0000048d: JUMP 0000048e: JUMPDEST 0000048f: PUSH2 0x102d 00000492: JUMP 00000493: JUMPDEST 00000494: CALLVALUE 00000495: DUP1 00000496: ISZERO 00000497: PUSH2 0x049f 0000049a: JUMPI 0000049b: PUSH1 0x00 0000049d: DUP1 0000049e: REVERT 0000049f: JUMPDEST 000004a0: POP 000004a1: PUSH2 0x02ae 000004a4: PUSH1 0x12 000004a6: SLOAD 000004a7: DUP2 000004a8: JUMP 000004a9: JUMPDEST 000004aa: CALLVALUE 000004ab: DUP1 000004ac: ISZERO 000004ad: PUSH2 0x04b5 000004b0: JUMPI 000004b1: PUSH1 0x00 000004b3: DUP1 000004b4: REVERT 000004b5: JUMPDEST 000004b6: POP 000004b7: PUSH1 0x00 000004b9: SLOAD 000004ba: PUSH1 0x01 000004bc: PUSH1 0x01 000004be: PUSH1 0xa0 000004c0: SHL 000004c1: SUB 000004c2: AND 000004c3: JUMPDEST 000004c4: PUSH1 0x40 000004c6: MLOAD 000004c7: PUSH1 0x01 000004c9: PUSH1 0x01 000004cb: PUSH1 0xa0 000004cd: SHL 000004ce: SUB 000004cf: SWAP1 000004d0: SWAP2 000004d1: AND 000004d2: DUP2 000004d3: MSTORE 000004d4: PUSH1 0x20 000004d6: ADD 000004d7: PUSH2 0x02b8 000004da: JUMP 000004db: JUMPDEST 000004dc: CALLVALUE 000004dd: DUP1 000004de: ISZERO 000004df: PUSH2 0x04e7 000004e2: JUMPI 000004e3: PUSH1 0x00 000004e5: DUP1 000004e6: REVERT 000004e7: JUMPDEST 000004e8: POP 000004e9: PUSH2 0x02ae 000004ec: PUSH1 0x17 000004ee: SLOAD 000004ef: DUP2 000004f0: JUMP 000004f1: JUMPDEST 000004f2: CALLVALUE 000004f3: DUP1 000004f4: ISZERO 000004f5: PUSH2 0x04fd 000004f8: JUMPI 000004f9: PUSH1 0x00 000004fb: DUP1 000004fc: REVERT 000004fd: JUMPDEST 000004fe: POP 000004ff: PUSH2 0x02ae 00000502: PUSH1 0x19 00000504: SLOAD 00000505: DUP2 00000506: JUMP 00000507: JUMPDEST 00000508: PUSH2 0x02f7 0000050b: PUSH2 0x1186 0000050e: JUMP 0000050f: JUMPDEST 00000510: CALLVALUE 00000511: DUP1 00000512: ISZERO 00000513: PUSH2 0x051b 00000516: JUMPI 00000517: PUSH1 0x00 00000519: DUP1 0000051a: REVERT 0000051b: JUMPDEST 0000051c: POP 0000051d: PUSH2 0x02f7 00000520: PUSH2 0x052a 00000523: CALLDATASIZE 00000524: PUSH1 0x04 00000526: PUSH2 0x1dc3 00000529: JUMP 0000052a: JUMPDEST 0000052b: PUSH2 0x1198 0000052e: JUMP 0000052f: JUMPDEST 00000530: CALLVALUE 00000531: DUP1 00000532: ISZERO 00000533: PUSH2 0x053b 00000536: JUMPI 00000537: PUSH1 0x00 00000539: DUP1 0000053a: REVERT 0000053b: JUMPDEST 0000053c: POP 0000053d: PUSH2 0x02ae 00000540: PUSH2 0x054a 00000543: CALLDATASIZE 00000544: PUSH1 0x04 00000546: PUSH2 0x1d2e 00000549: JUMP 0000054a: JUMPDEST 0000054b: PUSH2 0x11c7 0000054e: JUMP 0000054f: JUMPDEST 00000550: CALLVALUE 00000551: DUP1 00000552: ISZERO 00000553: PUSH2 0x055b 00000556: JUMPI 00000557: PUSH1 0x00 00000559: DUP1 0000055a: REVERT 0000055b: JUMPDEST 0000055c: POP 0000055d: PUSH2 0x02ae 00000560: PUSH1 0x16 00000562: SLOAD 00000563: DUP2 00000564: JUMP 00000565: JUMPDEST 00000566: CALLVALUE 00000567: DUP1 00000568: ISZERO 00000569: PUSH2 0x0571 0000056c: JUMPI 0000056d: PUSH1 0x00 0000056f: DUP1 00000570: REVERT 00000571: JUMPDEST 00000572: POP 00000573: PUSH2 0x02ae 00000576: PUSH1 0x15 00000578: SLOAD 00000579: DUP2 0000057a: JUMP 0000057b: JUMPDEST 0000057c: CALLVALUE 0000057d: DUP1 0000057e: ISZERO 0000057f: PUSH2 0x0587 00000582: JUMPI 00000583: PUSH1 0x00 00000585: DUP1 00000586: REVERT 00000587: JUMPDEST 00000588: POP 00000589: PUSH2 0x02f7 0000058c: PUSH2 0x0596 0000058f: CALLDATASIZE 00000590: PUSH1 0x04 00000592: PUSH2 0x1d48 00000595: JUMP 00000596: JUMPDEST 00000597: PUSH2 0x1342 0000059a: JUMP 0000059b: JUMPDEST 0000059c: CALLVALUE 0000059d: DUP1 0000059e: ISZERO 0000059f: PUSH2 0x05a7 000005a2: JUMPI 000005a3: PUSH1 0x00 000005a5: DUP1 000005a6: REVERT 000005a7: JUMPDEST 000005a8: POP 000005a9: PUSH2 0x02f7 000005ac: PUSH2 0x1397 000005af: JUMP 000005b0: JUMPDEST 000005b1: CALLVALUE 000005b2: DUP1 000005b3: ISZERO 000005b4: PUSH2 0x05bc 000005b7: JUMPI 000005b8: PUSH1 0x00 000005ba: DUP1 000005bb: REVERT 000005bc: JUMPDEST 000005bd: POP 000005be: PUSH2 0x02f7 000005c1: PUSH2 0x05cb 000005c4: CALLDATASIZE 000005c5: PUSH1 0x04 000005c7: PUSH2 0x1d2e 000005ca: JUMP 000005cb: JUMPDEST 000005cc: PUSH2 0x13cd 000005cf: JUMP 000005d0: JUMPDEST 000005d1: CALLVALUE 000005d2: DUP1 000005d3: ISZERO 000005d4: PUSH2 0x05dc 000005d7: JUMPI 000005d8: PUSH1 0x00 000005da: DUP1 000005db: REVERT 000005dc: JUMPDEST 000005dd: POP 000005de: PUSH2 0x02ae 000005e1: PUSH1 0x0e 000005e3: SLOAD 000005e4: DUP2 000005e5: JUMP 000005e6: JUMPDEST 000005e7: CALLVALUE 000005e8: DUP1 000005e9: ISZERO 000005ea: PUSH2 0x05f2 000005ed: JUMPI 000005ee: PUSH1 0x00 000005f0: DUP1 000005f1: REVERT 000005f2: JUMPDEST 000005f3: POP 000005f4: PUSH2 0x02f7 000005f7: PUSH2 0x0601 000005fa: CALLDATASIZE 000005fb: PUSH1 0x04 000005fd: PUSH2 0x1d2e 00000600: JUMP 00000601: JUMPDEST 00000602: PUSH2 0x1470 00000605: JUMP 00000606: JUMPDEST 00000607: CALLVALUE 00000608: DUP1 00000609: ISZERO 0000060a: PUSH2 0x0612 0000060d: JUMPI 0000060e: PUSH1 0x00 00000610: DUP1 00000611: REVERT 00000612: JUMPDEST 00000613: POP 00000614: PUSH2 0x02f7 00000617: PUSH2 0x0621 0000061a: CALLDATASIZE 0000061b: PUSH1 0x04 0000061d: PUSH2 0x1dc3 00000620: JUMP 00000621: JUMPDEST 00000622: PUSH2 0x14c2 00000625: JUMP 00000626: JUMPDEST 00000627: CALLVALUE 00000628: DUP1 00000629: ISZERO 0000062a: PUSH2 0x0632 0000062d: JUMPI 0000062e: PUSH1 0x00 00000630: DUP1 00000631: REVERT 00000632: JUMPDEST 00000633: POP 00000634: PUSH2 0x02ae 00000637: PUSH1 0x0c 00000639: SLOAD 0000063a: DUP2 0000063b: JUMP 0000063c: JUMPDEST 0000063d: CALLVALUE 0000063e: DUP1 0000063f: ISZERO 00000640: PUSH2 0x0648 00000643: JUMPI 00000644: PUSH1 0x00 00000646: DUP1 00000647: REVERT 00000648: JUMPDEST 00000649: POP 0000064a: PUSH2 0x02f7 0000064d: PUSH2 0x0657 00000650: CALLDATASIZE 00000651: PUSH1 0x04 00000653: PUSH2 0x1ddb 00000656: JUMP 00000657: JUMPDEST 00000658: PUSH2 0x1560 0000065b: JUMP 0000065c: JUMPDEST 0000065d: CALLVALUE 0000065e: DUP1 0000065f: ISZERO 00000660: PUSH2 0x0668 00000663: JUMPI 00000664: PUSH1 0x00 00000666: DUP1 00000667: REVERT 00000668: JUMPDEST 00000669: POP 0000066a: PUSH2 0x02f7 0000066d: PUSH2 0x0677 00000670: CALLDATASIZE 00000671: PUSH1 0x04 00000673: PUSH2 0x1d2e 00000676: JUMP 00000677: JUMPDEST 00000678: PUSH2 0x15d3 0000067b: JUMP 0000067c: JUMPDEST 0000067d: CALLVALUE 0000067e: DUP1 0000067f: ISZERO 00000680: PUSH2 0x0688 00000683: JUMPI 00000684: PUSH1 0x00 00000686: DUP1 00000687: REVERT 00000688: JUMPDEST 00000689: POP 0000068a: PUSH2 0x02ae 0000068d: PUSH1 0x1a 0000068f: SLOAD 00000690: DUP2 00000691: JUMP 00000692: JUMPDEST 00000693: CALLVALUE 00000694: DUP1 00000695: ISZERO 00000696: PUSH2 0x069e 00000699: JUMPI 0000069a: PUSH1 0x00 0000069c: DUP1 0000069d: REVERT 0000069e: JUMPDEST 0000069f: POP 000006a0: PUSH2 0x0354 000006a3: PUSH2 0x06ad 000006a6: CALLDATASIZE 000006a7: PUSH1 0x04 000006a9: PUSH2 0x1d2e 000006ac: JUMP 000006ad: JUMPDEST 000006ae: PUSH1 0x06 000006b0: PUSH1 0x20 000006b2: MSTORE 000006b3: PUSH1 0x00 000006b5: SWAP1 000006b6: DUP2 000006b7: MSTORE 000006b8: PUSH1 0x40 000006ba: SWAP1 000006bb: KECCAK256 000006bc: SLOAD 000006bd: PUSH1 0xff 000006bf: AND 000006c0: DUP2 000006c1: JUMP 000006c2: JUMPDEST 000006c3: CALLVALUE 000006c4: DUP1 000006c5: ISZERO 000006c6: PUSH2 0x06ce 000006c9: JUMPI 000006ca: PUSH1 0x00 000006cc: DUP1 000006cd: REVERT 000006ce: JUMPDEST 000006cf: POP 000006d0: PUSH2 0x02ae 000006d3: PUSH1 0x0b 000006d5: SLOAD 000006d6: DUP2 000006d7: JUMP 000006d8: JUMPDEST 000006d9: CALLVALUE 000006da: DUP1 000006db: ISZERO 000006dc: PUSH2 0x06e4 000006df: JUMPI 000006e0: PUSH1 0x00 000006e2: DUP1 000006e3: REVERT 000006e4: JUMPDEST 000006e5: POP 000006e6: PUSH2 0x02ae 000006e9: PUSH1 0x0f 000006eb: SLOAD 000006ec: DUP2 000006ed: JUMP 000006ee: JUMPDEST 000006ef: CALLVALUE 000006f0: DUP1 000006f1: ISZERO 000006f2: PUSH2 0x06fa 000006f5: JUMPI 000006f6: PUSH1 0x00 000006f8: DUP1 000006f9: REVERT 000006fa: JUMPDEST 000006fb: POP 000006fc: PUSH1 0x01 000006fe: SLOAD 000006ff: PUSH2 0x04c3 00000702: SWAP1 00000703: PUSH1 0x01 00000705: PUSH1 0x01 00000707: PUSH1 0xa0 00000709: SHL 0000070a: SUB 0000070b: AND 0000070c: DUP2 0000070d: JUMP 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 0x02ae 0000071f: PUSH2 0x0729 00000722: CALLDATASIZE 00000723: PUSH1 0x04 00000725: PUSH2 0x1d2e 00000728: JUMP 00000729: JUMPDEST 0000072a: PUSH2 0x164b 0000072d: JUMP 0000072e: JUMPDEST 0000072f: CALLVALUE 00000730: DUP1 00000731: ISZERO 00000732: PUSH2 0x073a 00000735: JUMPI 00000736: PUSH1 0x00 00000738: DUP1 00000739: REVERT 0000073a: JUMPDEST 0000073b: POP 0000073c: PUSH2 0x02ae 0000073f: PUSH1 0x08 00000741: SLOAD 00000742: DUP2 00000743: JUMP 00000744: JUMPDEST 00000745: CALLVALUE 00000746: DUP1 00000747: ISZERO 00000748: PUSH2 0x0750 0000074b: JUMPI 0000074c: PUSH1 0x00 0000074e: DUP1 0000074f: REVERT 00000750: JUMPDEST 00000751: POP 00000752: PUSH2 0x07a1 00000755: PUSH2 0x075f 00000758: CALLDATASIZE 00000759: PUSH1 0x04 0000075b: PUSH2 0x1d2e 0000075e: JUMP 0000075f: JUMPDEST 00000760: PUSH1 0x05 00000762: PUSH1 0x20 00000764: MSTORE 00000765: DUP1 00000766: PUSH1 0x00 00000768: MSTORE 00000769: PUSH1 0x40 0000076b: PUSH1 0x00 0000076d: KECCAK256 0000076e: PUSH1 0x00 00000770: SWAP2 00000771: POP 00000772: SWAP1 00000773: POP 00000774: DUP1 00000775: PUSH1 0x00 00000777: ADD 00000778: SLOAD 00000779: SWAP1 0000077a: DUP1 0000077b: PUSH1 0x01 0000077d: ADD 0000077e: SLOAD 0000077f: SWAP1 00000780: DUP1 00000781: PUSH1 0x02 00000783: ADD 00000784: SLOAD 00000785: SWAP1 00000786: DUP1 00000787: PUSH1 0x03 00000789: ADD 0000078a: SLOAD 0000078b: SWAP1 0000078c: DUP1 0000078d: PUSH1 0x04 0000078f: ADD 00000790: SLOAD 00000791: SWAP1 00000792: DUP1 00000793: PUSH1 0x05 00000795: ADD 00000796: SLOAD 00000797: SWAP1 00000798: DUP1 00000799: PUSH1 0x06 0000079b: ADD 0000079c: SLOAD 0000079d: SWAP1 0000079e: POP 0000079f: DUP8 000007a0: JUMP 000007a1: JUMPDEST 000007a2: PUSH1 0x40 000007a4: DUP1 000007a5: MLOAD 000007a6: SWAP8 000007a7: DUP9 000007a8: MSTORE 000007a9: PUSH1 0x20 000007ab: DUP9 000007ac: ADD 000007ad: SWAP7 000007ae: SWAP1 000007af: SWAP7 000007b0: MSTORE 000007b1: SWAP5 000007b2: DUP7 000007b3: ADD 000007b4: SWAP4 000007b5: SWAP1 000007b6: SWAP4 000007b7: MSTORE 000007b8: PUSH1 0x60 000007ba: DUP6 000007bb: ADD 000007bc: SWAP2 000007bd: SWAP1 000007be: SWAP2 000007bf: MSTORE 000007c0: PUSH1 0x80 000007c2: DUP5 000007c3: ADD 000007c4: MSTORE 000007c5: PUSH1 0xa0 000007c7: DUP4 000007c8: ADD 000007c9: MSTORE 000007ca: PUSH1 0xc0 000007cc: DUP3 000007cd: ADD 000007ce: MSTORE 000007cf: PUSH1 0xe0 000007d1: ADD 000007d2: PUSH2 0x02b8 000007d5: JUMP 000007d6: JUMPDEST 000007d7: CALLVALUE 000007d8: DUP1 000007d9: ISZERO 000007da: PUSH2 0x07e2 000007dd: JUMPI 000007de: PUSH1 0x00 000007e0: DUP1 000007e1: REVERT 000007e2: JUMPDEST 000007e3: POP 000007e4: PUSH2 0x02ae 000007e7: PUSH1 0x13 000007e9: SLOAD 000007ea: DUP2 000007eb: JUMP 000007ec: JUMPDEST 000007ed: CALLVALUE 000007ee: DUP1 000007ef: ISZERO 000007f0: PUSH2 0x07f8 000007f3: JUMPI 000007f4: PUSH1 0x00 000007f6: DUP1 000007f7: REVERT 000007f8: JUMPDEST 000007f9: POP 000007fa: PUSH2 0x02f7 000007fd: PUSH2 0x0807 00000800: CALLDATASIZE 00000801: PUSH1 0x04 00000803: PUSH2 0x1d2e 00000806: JUMP 00000807: JUMPDEST 00000808: PUSH2 0x16c1 0000080b: JUMP 0000080c: JUMPDEST 0000080d: CALLVALUE 0000080e: DUP1 0000080f: ISZERO 00000810: PUSH2 0x0818 00000813: JUMPI 00000814: PUSH1 0x00 00000816: DUP1 00000817: REVERT 00000818: JUMPDEST 00000819: POP 0000081a: PUSH2 0x082c 0000081d: PUSH2 0x0827 00000820: CALLDATASIZE 00000821: PUSH1 0x04 00000823: PUSH2 0x1d2e 00000826: JUMP 00000827: JUMPDEST 00000828: PUSH2 0x17ab 0000082b: JUMP 0000082c: JUMPDEST 0000082d: PUSH1 0x40 0000082f: DUP1 00000830: MLOAD 00000831: SWAP3 00000832: DUP4 00000833: MSTORE 00000834: PUSH1 0x20 00000836: DUP4 00000837: ADD 00000838: SWAP2 00000839: SWAP1 0000083a: SWAP2 0000083b: MSTORE 0000083c: ADD 0000083d: PUSH2 0x02b8 00000840: JUMP 00000841: JUMPDEST 00000842: CALLVALUE 00000843: DUP1 00000844: ISZERO 00000845: PUSH2 0x084d 00000848: JUMPI 00000849: PUSH1 0x00 0000084b: DUP1 0000084c: REVERT 0000084d: JUMPDEST 0000084e: POP 0000084f: PUSH1 0x10 00000851: SLOAD 00000852: PUSH2 0x04c3 00000855: SWAP1 00000856: PUSH2 0x0100 00000859: SWAP1 0000085a: DIV 0000085b: PUSH1 0x01 0000085d: PUSH1 0x01 0000085f: PUSH1 0xa0 00000861: SHL 00000862: SUB 00000863: AND 00000864: DUP2 00000865: JUMP 00000866: JUMPDEST 00000867: CALLVALUE 00000868: DUP1 00000869: ISZERO 0000086a: PUSH2 0x0872 0000086d: JUMPI 0000086e: PUSH1 0x00 00000870: DUP1 00000871: REVERT 00000872: JUMPDEST 00000873: POP 00000874: PUSH2 0x02ae 00000877: PUSH1 0x14 00000879: SLOAD 0000087a: DUP2 0000087b: JUMP 0000087c: JUMPDEST 0000087d: PUSH1 0x10 0000087f: SLOAD 00000880: PUSH1 0x40 00000882: MLOAD 00000883: PUSH4 0x23b872dd 00000888: PUSH1 0xe0 0000088a: SHL 0000088b: DUP2 0000088c: MSTORE 0000088d: CALLER 0000088e: PUSH1 0x04 00000890: DUP3 00000891: ADD 00000892: MSTORE 00000893: ADDRESS 00000894: PUSH1 0x24 00000896: DUP3 00000897: ADD 00000898: MSTORE 00000899: PUSH1 0x44 0000089b: DUP2 0000089c: ADD 0000089d: DUP4 0000089e: SWAP1 0000089f: MSTORE 000008a0: PUSH2 0x0100 000008a3: SWAP1 000008a4: SWAP2 000008a5: DIV 000008a6: PUSH1 0x01 000008a8: PUSH1 0x01 000008aa: PUSH1 0xa0 000008ac: SHL 000008ad: SUB 000008ae: AND 000008af: SWAP1 000008b0: PUSH4 0x23b872dd 000008b5: SWAP1 000008b6: PUSH1 0x64 000008b8: ADD 000008b9: PUSH1 0x20 000008bb: PUSH1 0x40 000008bd: MLOAD 000008be: DUP1 000008bf: DUP4 000008c0: SUB 000008c1: DUP2 000008c2: PUSH1 0x00 000008c4: DUP8 000008c5: DUP1 000008c6: EXTCODESIZE 000008c7: ISZERO 000008c8: DUP1 000008c9: ISZERO 000008ca: PUSH2 0x08d2 000008cd: JUMPI 000008ce: PUSH1 0x00 000008d0: DUP1 000008d1: REVERT 000008d2: JUMPDEST 000008d3: POP 000008d4: GAS 000008d5: CALL 000008d6: ISZERO 000008d7: DUP1 000008d8: ISZERO 000008d9: PUSH2 0x08e6 000008dc: JUMPI 000008dd: RETURNDATASIZE 000008de: PUSH1 0x00 000008e0: DUP1 000008e1: RETURNDATACOPY 000008e2: RETURNDATASIZE 000008e3: PUSH1 0x00 000008e5: REVERT 000008e6: JUMPDEST 000008e7: POP 000008e8: POP 000008e9: POP 000008ea: POP 000008eb: PUSH1 0x40 000008ed: MLOAD 000008ee: RETURNDATASIZE 000008ef: PUSH1 0x1f 000008f1: NOT 000008f2: PUSH1 0x1f 000008f4: DUP3 000008f5: ADD 000008f6: AND 000008f7: DUP3 000008f8: ADD 000008f9: DUP1 000008fa: PUSH1 0x40 000008fc: MSTORE 000008fd: POP 000008fe: DUP2 000008ff: ADD 00000900: SWAP1 00000901: PUSH2 0x090a 00000904: SWAP2 00000905: SWAP1 00000906: PUSH2 0x1da7 00000909: JUMP 0000090a: JUMPDEST 0000090b: POP 0000090c: PUSH1 0x11 0000090e: SLOAD 0000090f: PUSH2 0x0918 00000912: SWAP1 00000913: DUP3 00000914: PUSH2 0x1965 00000917: JUMP 00000918: JUMPDEST 00000919: PUSH1 0x11 0000091b: SSTORE 0000091c: POP 0000091d: JUMP 0000091e: JUMPDEST 0000091f: PUSH2 0x0926 00000922: PUSH2 0x19cd 00000925: JUMP 00000926: JUMPDEST 00000927: CALLER 00000928: PUSH1 0x00 0000092a: SWAP1 0000092b: DUP2 0000092c: MSTORE 0000092d: PUSH1 0x05 0000092f: PUSH1 0x20 00000931: MSTORE 00000932: PUSH1 0x40 00000934: SWAP1 00000935: KECCAK256 00000936: DUP1 00000937: SLOAD 00000938: ISZERO 00000939: PUSH2 0x0a66 0000093c: JUMPI 0000093d: PUSH1 0x00 0000093f: PUSH2 0x0971 00000942: DUP3 00000943: PUSH1 0x05 00000945: ADD 00000946: SLOAD 00000947: PUSH2 0x096b 0000094a: PUSH1 0x1a 0000094c: SLOAD 0000094d: PUSH2 0x0965 00000950: PUSH1 0x17 00000952: SLOAD 00000953: DUP8 00000954: PUSH1 0x00 00000956: ADD 00000957: SLOAD 00000958: PUSH2 0x1ada 0000095b: SWAP1 0000095c: SWAP2 0000095d: SWAP1 0000095e: PUSH4 0xffffffff 00000963: AND 00000964: JUMP 00000965: JUMPDEST 00000966: SWAP1 00000967: PUSH2 0x1b59 0000096a: JUMP 0000096b: JUMPDEST 0000096c: SWAP1 0000096d: PUSH2 0x1bb4 00000970: JUMP 00000971: JUMPDEST 00000972: SWAP1 00000973: POP 00000974: PUSH1 0x00 00000976: PUSH2 0x099c 00000979: DUP4 0000097a: PUSH1 0x06 0000097c: ADD 0000097d: SLOAD 0000097e: PUSH2 0x096b 00000981: PUSH1 0x1a 00000983: SLOAD 00000984: PUSH2 0x0965 00000987: PUSH1 0x18 00000989: SLOAD 0000098a: DUP9 0000098b: PUSH1 0x00 0000098d: ADD 0000098e: SLOAD 0000098f: PUSH2 0x1ada 00000992: SWAP1 00000993: SWAP2 00000994: SWAP1 00000995: PUSH4 0xffffffff 0000099a: AND 0000099b: JUMP 0000099c: JUMPDEST 0000099d: SWAP1 0000099e: POP 0000099f: DUP2 000009a0: ISZERO 000009a1: PUSH2 0x0a2e 000009a4: JUMPI 000009a5: PUSH1 0x10 000009a7: SLOAD 000009a8: PUSH1 0x40 000009aa: MLOAD 000009ab: PUSH4 0xa9059cbb 000009b0: PUSH1 0xe0 000009b2: SHL 000009b3: DUP2 000009b4: MSTORE 000009b5: CALLER 000009b6: PUSH1 0x04 000009b8: DUP3 000009b9: ADD 000009ba: MSTORE 000009bb: PUSH1 0x24 000009bd: DUP2 000009be: ADD 000009bf: DUP5 000009c0: SWAP1 000009c1: MSTORE 000009c2: PUSH2 0x0100 000009c5: SWAP1 000009c6: SWAP2 000009c7: DIV 000009c8: PUSH1 0x01 000009ca: PUSH1 0x01 000009cc: PUSH1 0xa0 000009ce: SHL 000009cf: SUB 000009d0: AND 000009d1: SWAP1 000009d2: PUSH4 0xa9059cbb 000009d7: SWAP1 000009d8: PUSH1 0x44 000009da: ADD 000009db: PUSH1 0x20 000009dd: PUSH1 0x40 000009df: MLOAD 000009e0: DUP1 000009e1: DUP4 000009e2: SUB 000009e3: DUP2 000009e4: PUSH1 0x00 000009e6: DUP8 000009e7: DUP1 000009e8: EXTCODESIZE 000009e9: ISZERO 000009ea: DUP1 000009eb: ISZERO 000009ec: PUSH2 0x09f4 000009ef: JUMPI 000009f0: PUSH1 0x00 000009f2: DUP1 000009f3: REVERT 000009f4: JUMPDEST 000009f5: POP 000009f6: GAS 000009f7: CALL 000009f8: ISZERO 000009f9: DUP1 000009fa: ISZERO 000009fb: PUSH2 0x0a08 000009fe: JUMPI 000009ff: RETURNDATASIZE 00000a00: PUSH1 0x00 00000a02: DUP1 00000a03: RETURNDATACOPY 00000a04: RETURNDATASIZE 00000a05: PUSH1 0x00 00000a07: REVERT 00000a08: JUMPDEST 00000a09: POP 00000a0a: POP 00000a0b: POP 00000a0c: POP 00000a0d: PUSH1 0x40 00000a0f: MLOAD 00000a10: RETURNDATASIZE 00000a11: PUSH1 0x1f 00000a13: NOT 00000a14: PUSH1 0x1f 00000a16: DUP3 00000a17: ADD 00000a18: AND 00000a19: DUP3 00000a1a: ADD 00000a1b: DUP1 00000a1c: PUSH1 0x40 00000a1e: MSTORE 00000a1f: POP 00000a20: DUP2 00000a21: ADD 00000a22: SWAP1 00000a23: PUSH2 0x0a2c 00000a26: SWAP2 00000a27: SWAP1 00000a28: PUSH2 0x1da7 00000a2b: JUMP 00000a2c: JUMPDEST 00000a2d: POP 00000a2e: JUMPDEST 00000a2f: DUP1 00000a30: ISZERO 00000a31: PUSH2 0x0a63 00000a34: JUMPI 00000a35: PUSH1 0x40 00000a37: MLOAD 00000a38: CALLER 00000a39: SWAP1 00000a3a: DUP3 00000a3b: ISZERO 00000a3c: PUSH2 0x08fc 00000a3f: MUL 00000a40: SWAP1 00000a41: DUP4 00000a42: SWAP1 00000a43: PUSH1 0x00 00000a45: DUP2 00000a46: DUP2 00000a47: DUP2 00000a48: DUP6 00000a49: DUP9 00000a4a: DUP9 00000a4b: CALL 00000a4c: SWAP4 00000a4d: POP 00000a4e: POP 00000a4f: POP 00000a50: POP 00000a51: ISZERO 00000a52: DUP1 00000a53: ISZERO 00000a54: PUSH2 0x0a61 00000a57: JUMPI 00000a58: RETURNDATASIZE 00000a59: PUSH1 0x00 00000a5b: DUP1 00000a5c: RETURNDATACOPY 00000a5d: RETURNDATASIZE 00000a5e: PUSH1 0x00 00000a60: REVERT 00000a61: JUMPDEST 00000a62: POP 00000a63: JUMPDEST 00000a64: POP 00000a65: POP 00000a66: JUMPDEST 00000a67: PUSH1 0x1a 00000a69: SLOAD 00000a6a: PUSH1 0x17 00000a6c: SLOAD 00000a6d: DUP3 00000a6e: SLOAD 00000a6f: PUSH2 0x0a7d 00000a72: SWAP3 00000a73: SWAP2 00000a74: PUSH2 0x0965 00000a77: SWAP2 00000a78: SWAP1 00000a79: PUSH2 0x1ada 00000a7c: JUMP 00000a7d: JUMPDEST 00000a7e: PUSH1 0x05 00000a80: DUP3 00000a81: ADD 00000a82: SSTORE 00000a83: PUSH1 0x1a 00000a85: SLOAD 00000a86: PUSH1 0x18 00000a88: SLOAD 00000a89: DUP3 00000a8a: SLOAD 00000a8b: PUSH2 0x0a99 00000a8e: SWAP3 00000a8f: SWAP2 00000a90: PUSH2 0x0965 00000a93: SWAP2 00000a94: SWAP1 00000a95: PUSH2 0x1ada 00000a98: JUMP 00000a99: JUMPDEST 00000a9a: PUSH1 0x06 00000a9c: SWAP1 00000a9d: SWAP2 00000a9e: ADD 00000a9f: SSTORE 00000aa0: JUMP 00000aa1: JUMPDEST 00000aa2: PUSH1 0x03 00000aa4: DUP4 00000aa5: LT 00000aa6: PUSH2 0x0aef 00000aa9: JUMPI 00000aaa: PUSH1 0x40 00000aac: MLOAD 00000aad: PUSH3 0x461bcd 00000ab1: PUSH1 0xe5 00000ab3: SHL 00000ab4: DUP2 00000ab5: MSTORE 00000ab6: PUSH1 0x20 00000ab8: PUSH1 0x04 00000aba: DUP3 00000abb: ADD 00000abc: MSTORE 00000abd: PUSH1 0x16 00000abf: PUSH1 0x24 00000ac1: DUP3 00000ac2: ADD 00000ac3: MSTORE 00000ac4: PUSH22 0x125b9d985b1a59081a5b9c1d5d081d1bdad95b881251 00000adb: PUSH1 0x52 00000add: SHL 00000ade: PUSH1 0x44 00000ae0: DUP3 00000ae1: ADD 00000ae2: MSTORE 00000ae3: PUSH1 0x64 00000ae5: ADD 00000ae6: JUMPDEST 00000ae7: PUSH1 0x40 00000ae9: MLOAD 00000aea: DUP1 00000aeb: SWAP2 00000aec: SUB 00000aed: SWAP1 00000aee: REVERT 00000aef: JUMPDEST 00000af0: CALLER 00000af1: PUSH1 0x00 00000af3: SWAP1 00000af4: DUP2 00000af5: MSTORE 00000af6: PUSH1 0x06 00000af8: PUSH1 0x20 00000afa: MSTORE 00000afb: PUSH1 0x40 00000afd: SWAP1 00000afe: KECCAK256 00000aff: SLOAD 00000b00: PUSH1 0xff 00000b02: AND 00000b03: ISZERO 00000b04: PUSH2 0x0b45 00000b07: JUMPI 00000b08: PUSH1 0x40 00000b0a: MLOAD 00000b0b: PUSH3 0x461bcd 00000b0f: PUSH1 0xe5 00000b11: SHL 00000b12: DUP2 00000b13: MSTORE 00000b14: PUSH1 0x20 00000b16: PUSH1 0x04 00000b18: DUP3 00000b19: ADD 00000b1a: MSTORE 00000b1b: PUSH1 0x13 00000b1d: PUSH1 0x24 00000b1f: DUP3 00000b20: ADD 00000b21: MSTORE 00000b22: PUSH19 0x165bdd49dc99481a5b88189b1858dadb1a5cdd 00000b36: PUSH1 0x6a 00000b38: SHL 00000b39: PUSH1 0x44 00000b3b: DUP3 00000b3c: ADD 00000b3d: MSTORE 00000b3e: PUSH1 0x64 00000b40: ADD 00000b41: PUSH2 0x0ae6 00000b44: JUMP 00000b45: JUMPDEST 00000b46: PUSH1 0x10 00000b48: SLOAD 00000b49: PUSH1 0xff 00000b4b: AND 00000b4c: PUSH2 0x0b8f 00000b4f: JUMPI 00000b50: PUSH1 0x40 00000b52: MLOAD 00000b53: PUSH3 0x461bcd 00000b57: PUSH1 0xe5 00000b59: SHL 00000b5a: DUP2 00000b5b: MSTORE 00000b5c: PUSH1 0x20 00000b5e: PUSH1 0x04 00000b60: DUP3 00000b61: ADD 00000b62: MSTORE 00000b63: PUSH1 0x15 00000b65: PUSH1 0x24 00000b67: DUP3 00000b68: ADD 00000b69: MSTORE 00000b6a: PUSH21 0x53776170206973206e6f7420617661696c61626c65 00000b80: PUSH1 0x58 00000b82: SHL 00000b83: PUSH1 0x44 00000b85: DUP3 00000b86: ADD 00000b87: MSTORE 00000b88: PUSH1 0x64 00000b8a: ADD 00000b8b: PUSH2 0x0ae6 00000b8e: JUMP 00000b8f: JUMPDEST 00000b90: PUSH1 0x00 00000b92: DUP4 00000b93: DUP2 00000b94: MSTORE 00000b95: PUSH1 0x02 00000b97: PUSH1 0x20 00000b99: SWAP1 00000b9a: DUP2 00000b9b: MSTORE 00000b9c: PUSH1 0x40 00000b9e: DUP1 00000b9f: DUP4 00000ba0: KECCAK256 00000ba1: DUP1 00000ba2: SLOAD 00000ba3: PUSH1 0x01 00000ba5: SWAP2 00000ba6: DUP3 00000ba7: ADD 00000ba8: SLOAD 00000ba9: SWAP2 00000baa: SLOAD 00000bab: DUP4 00000bac: MLOAD 00000bad: PUSH4 0x313ce567 00000bb2: PUSH1 0xe0 00000bb4: SHL 00000bb5: DUP2 00000bb6: MSTORE 00000bb7: SWAP4 00000bb8: MLOAD 00000bb9: PUSH1 0x01 00000bbb: PUSH1 0x01 00000bbd: PUSH1 0xa0 00000bbf: SHL 00000bc0: SUB 00000bc1: SWAP3 00000bc2: DUP4 00000bc3: AND 00000bc4: SWAP7 00000bc5: SWAP6 00000bc6: PUSH2 0x0c59 00000bc9: SWAP6 00000bca: PUSH2 0x0965 00000bcd: SWAP5 00000bce: SWAP1 00000bcf: SWAP4 00000bd0: AND 00000bd1: SWAP3 00000bd2: PUSH4 0x313ce567 00000bd7: SWAP3 00000bd8: PUSH1 0x04 00000bda: DUP1 00000bdb: DUP4 00000bdc: ADD 00000bdd: SWAP4 00000bde: SWAP3 00000bdf: DUP3 00000be0: SWAP1 00000be1: SUB 00000be2: ADD 00000be3: DUP2 00000be4: DUP7 00000be5: DUP1 00000be6: EXTCODESIZE 00000be7: ISZERO 00000be8: DUP1 00000be9: ISZERO 00000bea: PUSH2 0x0bf2 00000bed: JUMPI 00000bee: PUSH1 0x00 00000bf0: DUP1 00000bf1: REVERT 00000bf2: JUMPDEST 00000bf3: POP 00000bf4: GAS 00000bf5: STATICCALL 00000bf6: ISZERO 00000bf7: DUP1 00000bf8: ISZERO 00000bf9: PUSH2 0x0c06 00000bfc: JUMPI 00000bfd: RETURNDATASIZE 00000bfe: PUSH1 0x00 00000c00: DUP1 00000c01: RETURNDATACOPY 00000c02: RETURNDATASIZE 00000c03: PUSH1 0x00 00000c05: REVERT 00000c06: JUMPDEST 00000c07: POP 00000c08: POP 00000c09: POP 00000c0a: POP 00000c0b: PUSH1 0x40 00000c0d: MLOAD 00000c0e: RETURNDATASIZE 00000c0f: PUSH1 0x1f 00000c11: NOT 00000c12: PUSH1 0x1f 00000c14: DUP3 00000c15: ADD 00000c16: AND 00000c17: DUP3 00000c18: ADD 00000c19: DUP1 00000c1a: PUSH1 0x40 00000c1c: MSTORE 00000c1d: POP 00000c1e: DUP2 00000c1f: ADD 00000c20: SWAP1 00000c21: PUSH2 0x0c2a 00000c24: SWAP2 00000c25: SWAP1 00000c26: PUSH2 0x1e40 00000c29: JUMP 00000c2a: JUMPDEST 00000c2b: PUSH2 0x0c35 00000c2e: SWAP1 00000c2f: PUSH1 0x0a 00000c31: PUSH2 0x1f11 00000c34: JUMP 00000c35: JUMPDEST 00000c36: PUSH1 0x00 00000c38: DUP10 00000c39: DUP2 00000c3a: MSTORE 00000c3b: PUSH1 0x02 00000c3d: PUSH1 0x20 00000c3f: DUP2 00000c40: SWAP1 00000c41: MSTORE 00000c42: PUSH1 0x40 00000c44: SWAP1 00000c45: SWAP2 00000c46: KECCAK256 00000c47: ADD 00000c48: SLOAD 00000c49: PUSH2 0x0c53 00000c4c: SWAP1 00000c4d: DUP10 00000c4e: SWAP1 00000c4f: PUSH2 0x1ada 00000c52: JUMP 00000c53: JUMPDEST 00000c54: SWAP1 00000c55: PUSH2 0x1ada 00000c58: JUMP 00000c59: JUMPDEST 00000c5a: SWAP1 00000c5b: POP 00000c5c: PUSH1 0x0d 00000c5e: SLOAD 00000c5f: DUP4 00000c60: EQ 00000c61: ISZERO 00000c62: PUSH2 0x0c73 00000c65: JUMPI 00000c66: PUSH2 0x0c70 00000c69: DUP2 00000c6a: PUSH1 0x03 00000c6c: PUSH2 0x1ada 00000c6f: JUMP 00000c70: JUMPDEST 00000c71: SWAP1 00000c72: POP 00000c73: JUMPDEST 00000c74: PUSH1 0x0c 00000c76: SLOAD 00000c77: PUSH1 0x07 00000c79: SLOAD 00000c7a: PUSH2 0x0c82 00000c7d: SWAP2 00000c7e: PUSH2 0x1bb4 00000c81: JUMP 00000c82: JUMPDEST 00000c83: DUP2 00000c84: LT 00000c85: PUSH2 0x0cc9 00000c88: JUMPI 00000c89: PUSH1 0x40 00000c8b: MLOAD 00000c8c: PUSH3 0x461bcd 00000c90: PUSH1 0xe5 00000c92: SHL 00000c93: DUP2 00000c94: MSTORE 00000c95: PUSH1 0x20 00000c97: PUSH1 0x04 00000c99: DUP3 00000c9a: ADD 00000c9b: MSTORE 00000c9c: PUSH1 0x16 00000c9e: PUSH1 0x24 00000ca0: DUP3 00000ca1: ADD 00000ca2: MSTORE 00000ca3: PUSH22 0x22bc31b2b2b21030bb30b4b0b6313632903a37b5b2b7 00000cba: PUSH1 0x51 00000cbc: SHL 00000cbd: PUSH1 0x44 00000cbf: DUP3 00000cc0: ADD 00000cc1: MSTORE 00000cc2: PUSH1 0x64 00000cc4: ADD 00000cc5: PUSH2 0x0ae6 00000cc8: JUMP 00000cc9: JUMPDEST 00000cca: DUP2 00000ccb: PUSH1 0x01 00000ccd: PUSH1 0x01 00000ccf: PUSH1 0xa0 00000cd1: SHL 00000cd2: SUB 00000cd3: AND 00000cd4: PUSH4 0x23b872dd 00000cd9: CALLER 00000cda: ADDRESS 00000cdb: PUSH2 0x0d60 00000cde: DUP7 00000cdf: PUSH1 0x01 00000ce1: PUSH1 0x01 00000ce3: PUSH1 0xa0 00000ce5: SHL 00000ce6: SUB 00000ce7: AND 00000ce8: PUSH4 0x313ce567 00000ced: PUSH1 0x40 00000cef: MLOAD 00000cf0: DUP2 00000cf1: PUSH4 0xffffffff 00000cf6: AND 00000cf7: PUSH1 0xe0 00000cf9: SHL 00000cfa: DUP2 00000cfb: MSTORE 00000cfc: PUSH1 0x04 00000cfe: ADD 00000cff: PUSH1 0x20 00000d01: PUSH1 0x40 00000d03: MLOAD 00000d04: DUP1 00000d05: DUP4 00000d06: SUB 00000d07: DUP2 00000d08: DUP7 00000d09: DUP1 00000d0a: EXTCODESIZE 00000d0b: ISZERO 00000d0c: DUP1 00000d0d: ISZERO 00000d0e: PUSH2 0x0d16 00000d11: JUMPI 00000d12: PUSH1 0x00 00000d14: DUP1 00000d15: REVERT 00000d16: JUMPDEST 00000d17: POP 00000d18: GAS 00000d19: STATICCALL 00000d1a: ISZERO 00000d1b: DUP1 00000d1c: ISZERO 00000d1d: PUSH2 0x0d2a 00000d20: JUMPI 00000d21: RETURNDATASIZE 00000d22: PUSH1 0x00 00000d24: DUP1 00000d25: RETURNDATACOPY 00000d26: RETURNDATASIZE 00000d27: PUSH1 0x00 00000d29: REVERT 00000d2a: JUMPDEST 00000d2b: POP 00000d2c: POP 00000d2d: POP 00000d2e: POP 00000d2f: PUSH1 0x40 00000d31: MLOAD 00000d32: RETURNDATASIZE 00000d33: PUSH1 0x1f 00000d35: NOT 00000d36: PUSH1 0x1f 00000d38: DUP3 00000d39: ADD 00000d3a: AND 00000d3b: DUP3 00000d3c: ADD 00000d3d: DUP1 00000d3e: PUSH1 0x40 00000d40: MSTORE 00000d41: POP 00000d42: DUP2 00000d43: ADD 00000d44: SWAP1 00000d45: PUSH2 0x0d4e 00000d48: SWAP2 00000d49: SWAP1 00000d4a: PUSH2 0x1e40 00000d4d: JUMP 00000d4e: JUMPDEST 00000d4f: PUSH2 0x0d59 00000d52: SWAP1 00000d53: PUSH1 0x0a 00000d55: PUSH2 0x1f11 00000d58: JUMP 00000d59: JUMPDEST 00000d5a: DUP10 00000d5b: SWAP1 00000d5c: PUSH2 0x1ada 00000d5f: JUMP 00000d60: JUMPDEST 00000d61: PUSH1 0x40 00000d63: MLOAD 00000d64: PUSH1 0x01 00000d66: PUSH1 0x01 00000d68: PUSH1 0xe0 00000d6a: SHL 00000d6b: SUB 00000d6c: NOT 00000d6d: PUSH1 0xe0 00000d6f: DUP7 00000d70: SWAP1 00000d71: SHL 00000d72: AND 00000d73: DUP2 00000d74: MSTORE 00000d75: PUSH1 0x01 00000d77: PUSH1 0x01 00000d79: PUSH1 0xa0 00000d7b: SHL 00000d7c: SUB 00000d7d: SWAP4 00000d7e: DUP5 00000d7f: AND 00000d80: PUSH1 0x04 00000d82: DUP3 00000d83: ADD 00000d84: MSTORE 00000d85: SWAP3 00000d86: SWAP1 00000d87: SWAP2 00000d88: AND 00000d89: PUSH1 0x24 00000d8b: DUP4 00000d8c: ADD 00000d8d: MSTORE 00000d8e: PUSH1 0x44 00000d90: DUP3 00000d91: ADD 00000d92: MSTORE 00000d93: PUSH1 0x64 00000d95: ADD 00000d96: PUSH1 0x20 00000d98: PUSH1 0x40 00000d9a: MLOAD 00000d9b: DUP1 00000d9c: DUP4 00000d9d: SUB 00000d9e: DUP2 00000d9f: PUSH1 0x00 00000da1: DUP8 00000da2: DUP1 00000da3: EXTCODESIZE 00000da4: ISZERO 00000da5: DUP1 00000da6: ISZERO 00000da7: PUSH2 0x0daf 00000daa: JUMPI 00000dab: PUSH1 0x00 00000dad: DUP1 00000dae: REVERT 00000daf: JUMPDEST 00000db0: POP 00000db1: GAS 00000db2: CALL 00000db3: ISZERO 00000db4: DUP1 00000db5: ISZERO 00000db6: PUSH2 0x0dc3 00000db9: JUMPI 00000dba: RETURNDATASIZE 00000dbb: PUSH1 0x00 00000dbd: DUP1 00000dbe: RETURNDATACOPY 00000dbf: RETURNDATASIZE 00000dc0: PUSH1 0x00 00000dc2: REVERT 00000dc3: JUMPDEST 00000dc4: POP 00000dc5: POP 00000dc6: POP 00000dc7: POP 00000dc8: PUSH1 0x40 00000dca: MLOAD 00000dcb: RETURNDATASIZE 00000dcc: PUSH1 0x1f 00000dce: NOT 00000dcf: PUSH1 0x1f 00000dd1: DUP3 00000dd2: ADD 00000dd3: AND 00000dd4: DUP3 00000dd5: ADD 00000dd6: DUP1 00000dd7: PUSH1 0x40 00000dd9: MSTORE 00000dda: POP 00000ddb: DUP2 00000ddc: ADD 00000ddd: SWAP1 00000dde: PUSH2 0x0de7 00000de1: SWAP2 00000de2: SWAP1 00000de3: PUSH2 0x1da7 00000de6: JUMP 00000de7: JUMPDEST 00000de8: POP 00000de9: PUSH1 0x0c 00000deb: SLOAD 00000dec: PUSH2 0x0df5 00000def: SWAP1 00000df0: DUP3 00000df1: PUSH2 0x1965 00000df4: JUMP 00000df5: JUMPDEST 00000df6: PUSH1 0x0c 00000df8: SSTORE 00000df9: PUSH2 0x0e03 00000dfc: CALLER 00000dfd: DUP3 00000dfe: DUP6 00000dff: PUSH2 0x1c10 00000e02: JUMP 00000e03: JUMPDEST 00000e04: POP 00000e05: POP 00000e06: POP 00000e07: POP 00000e08: POP 00000e09: JUMP 00000e0a: JUMPDEST 00000e0b: PUSH1 0x00 00000e0d: SLOAD 00000e0e: PUSH1 0x01 00000e10: PUSH1 0x01 00000e12: PUSH1 0xa0 00000e14: SHL 00000e15: SUB 00000e16: AND 00000e17: CALLER 00000e18: EQ 00000e19: PUSH2 0x0e34 00000e1c: JUMPI 00000e1d: PUSH1 0x40 00000e1f: MLOAD 00000e20: PUSH3 0x461bcd 00000e24: PUSH1 0xe5 00000e26: SHL 00000e27: DUP2 00000e28: MSTORE 00000e29: PUSH1 0x04 00000e2b: ADD 00000e2c: PUSH2 0x0ae6 00000e2f: SWAP1 00000e30: PUSH2 0x1e61 00000e33: JUMP 00000e34: JUMPDEST 00000e35: PUSH1 0x00 00000e37: DUP1 00000e38: SLOAD 00000e39: PUSH1 0x40 00000e3b: MLOAD 00000e3c: PUSH1 0x01 00000e3e: PUSH1 0x01 00000e40: PUSH1 0xa0 00000e42: SHL 00000e43: SUB 00000e44: SWAP1 00000e45: SWAP2 00000e46: AND 00000e47: SWAP1 00000e48: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000e69: SWAP1 00000e6a: DUP4 00000e6b: SWAP1 00000e6c: LOG3 00000e6d: PUSH1 0x00 00000e6f: DUP1 00000e70: SLOAD 00000e71: PUSH1 0x01 00000e73: PUSH1 0x01 00000e75: PUSH1 0xa0 00000e77: SHL 00000e78: SUB 00000e79: NOT 00000e7a: AND 00000e7b: SWAP1 00000e7c: SSTORE 00000e7d: JUMP 00000e7e: JUMPDEST 00000e7f: PUSH1 0x00 00000e81: SLOAD 00000e82: PUSH1 0x01 00000e84: PUSH1 0x01 00000e86: PUSH1 0xa0 00000e88: SHL 00000e89: SUB 00000e8a: AND 00000e8b: CALLER 00000e8c: EQ 00000e8d: PUSH2 0x0ea8 00000e90: JUMPI 00000e91: PUSH1 0x40 00000e93: MLOAD 00000e94: PUSH3 0x461bcd 00000e98: PUSH1 0xe5 00000e9a: SHL 00000e9b: DUP2 00000e9c: MSTORE 00000e9d: PUSH1 0x04 00000e9f: ADD 00000ea0: PUSH2 0x0ae6 00000ea3: SWAP1 00000ea4: PUSH2 0x1e61 00000ea7: JUMP 00000ea8: JUMPDEST 00000ea9: PUSH1 0x15 00000eab: SSTORE 00000eac: JUMP 00000ead: JUMPDEST 00000eae: CALLER 00000eaf: PUSH1 0x00 00000eb1: DUP2 00000eb2: DUP2 00000eb3: MSTORE 00000eb4: PUSH1 0x05 00000eb6: PUSH1 0x20 00000eb8: MSTORE 00000eb9: PUSH1 0x40 00000ebb: DUP2 00000ebc: KECCAK256 00000ebd: SWAP2 00000ebe: PUSH2 0x0ec6 00000ec1: SWAP1 00000ec2: PUSH2 0x11c7 00000ec5: JUMP 00000ec6: JUMPDEST 00000ec7: SWAP1 00000ec8: POP 00000ec9: PUSH1 0x00 00000ecb: DUP2 00000ecc: GT 00000ecd: PUSH2 0x0f3e 00000ed0: JUMPI 00000ed1: PUSH1 0x40 00000ed3: MLOAD 00000ed4: PUSH3 0x461bcd 00000ed8: PUSH1 0xe5 00000eda: SHL 00000edb: DUP2 00000edc: MSTORE 00000edd: PUSH1 0x20 00000edf: PUSH1 0x04 00000ee1: DUP3 00000ee2: ADD 00000ee3: MSTORE 00000ee4: PUSH1 0x3b 00000ee6: PUSH1 0x24 00000ee8: DUP3 00000ee9: ADD 00000eea: MSTORE 00000eeb: PUSH32 0x54686572652069736e277420746f6b656e20696e2076657374696e6720746861 00000f0c: PUSH1 0x44 00000f0e: DUP3 00000f0f: ADD 00000f10: MSTORE 00000f11: PUSH32 0x74277320636c61696d61626c6520617420746865206d6f6d656e740000000000 00000f32: PUSH1 0x64 00000f34: DUP3 00000f35: ADD 00000f36: MSTORE 00000f37: PUSH1 0x84 00000f39: ADD 00000f3a: PUSH2 0x0ae6 00000f3d: JUMP 00000f3e: JUMPDEST 00000f3f: PUSH1 0x03 00000f41: DUP3 00000f42: ADD 00000f43: SLOAD 00000f44: TIMESTAMP 00000f45: SWAP1 00000f46: DUP2 00000f47: GT 00000f48: ISZERO 00000f49: PUSH2 0x0f53 00000f4c: JUMPI 00000f4d: POP 00000f4e: PUSH1 0x03 00000f50: DUP3 00000f51: ADD 00000f52: SLOAD 00000f53: JUMPDEST 00000f54: PUSH1 0x0f 00000f56: SLOAD 00000f57: PUSH1 0x03 00000f59: SLOAD 00000f5a: PUSH1 0x02 00000f5c: DUP6 00000f5d: ADD 00000f5e: SLOAD 00000f5f: PUSH2 0x0f68 00000f62: SWAP1 00000f63: DUP5 00000f64: PUSH2 0x1fdb 00000f67: JUMP 00000f68: JUMPDEST 00000f69: PUSH2 0x0f72 00000f6c: SWAP2 00000f6d: SWAP1 00000f6e: PUSH2 0x1fdb 00000f71: JUMP 00000f72: JUMPDEST 00000f73: PUSH2 0x0f7c 00000f76: SWAP2 00000f77: SWAP1 00000f78: PUSH2 0x1eae 00000f7b: JUMP 00000f7c: JUMPDEST 00000f7d: PUSH2 0x0f87 00000f80: SWAP1 00000f81: PUSH1 0x01 00000f83: PUSH2 0x1e96 00000f86: JUMP 00000f87: JUMPDEST 00000f88: PUSH1 0x04 00000f8a: DUP5 00000f8b: ADD 00000f8c: SSTORE 00000f8d: PUSH1 0x01 00000f8f: DUP4 00000f90: ADD 00000f91: SLOAD 00000f92: PUSH2 0x0f9b 00000f95: SWAP1 00000f96: DUP4 00000f97: PUSH2 0x1965 00000f9a: JUMP 00000f9b: JUMPDEST 00000f9c: PUSH1 0x01 00000f9e: DUP5 00000f9f: DUP2 00000fa0: ADD 00000fa1: SWAP2 00000fa2: SWAP1 00000fa3: SWAP2 00000fa4: SSTORE 00000fa5: SLOAD 00000fa6: PUSH1 0x40 00000fa8: MLOAD 00000fa9: PUSH4 0xa9059cbb 00000fae: PUSH1 0xe0 00000fb0: SHL 00000fb1: DUP2 00000fb2: MSTORE 00000fb3: CALLER 00000fb4: PUSH1 0x04 00000fb6: DUP3 00000fb7: ADD 00000fb8: MSTORE 00000fb9: PUSH1 0x24 00000fbb: DUP2 00000fbc: ADD 00000fbd: DUP5 00000fbe: SWAP1 00000fbf: MSTORE 00000fc0: PUSH1 0x01 00000fc2: PUSH1 0x01 00000fc4: PUSH1 0xa0 00000fc6: SHL 00000fc7: SUB 00000fc8: SWAP1 00000fc9: SWAP2 00000fca: AND 00000fcb: SWAP1 00000fcc: PUSH4 0xa9059cbb 00000fd1: SWAP1 00000fd2: PUSH1 0x44 00000fd4: ADD 00000fd5: JUMPDEST 00000fd6: PUSH1 0x20 00000fd8: PUSH1 0x40 00000fda: MLOAD 00000fdb: DUP1 00000fdc: DUP4 00000fdd: SUB 00000fde: DUP2 00000fdf: PUSH1 0x00 00000fe1: DUP8 00000fe2: DUP1 00000fe3: EXTCODESIZE 00000fe4: ISZERO 00000fe5: DUP1 00000fe6: ISZERO 00000fe7: PUSH2 0x0fef 00000fea: JUMPI 00000feb: PUSH1 0x00 00000fed: DUP1 00000fee: REVERT 00000fef: JUMPDEST 00000ff0: POP 00000ff1: GAS 00000ff2: CALL 00000ff3: ISZERO 00000ff4: DUP1 00000ff5: ISZERO 00000ff6: PUSH2 0x1003 00000ff9: JUMPI 00000ffa: RETURNDATASIZE 00000ffb: PUSH1 0x00 00000ffd: DUP1 00000ffe: RETURNDATACOPY 00000fff: RETURNDATASIZE 00001000: PUSH1 0x00 00001002: REVERT 00001003: JUMPDEST 00001004: POP 00001005: POP 00001006: POP 00001007: POP 00001008: PUSH1 0x40 0000100a: MLOAD 0000100b: RETURNDATASIZE 0000100c: PUSH1 0x1f 0000100e: NOT 0000100f: PUSH1 0x1f 00001011: DUP3 00001012: ADD 00001013: AND 00001014: DUP3 00001015: ADD 00001016: DUP1 00001017: PUSH1 0x40 00001019: MSTORE 0000101a: POP 0000101b: DUP2 0000101c: ADD 0000101d: SWAP1 0000101e: PUSH2 0x1027 00001021: SWAP2 00001022: SWAP1 00001023: PUSH2 0x1da7 00001026: JUMP 00001027: JUMPDEST 00001028: POP 00001029: POP 0000102a: POP 0000102b: POP 0000102c: JUMP 0000102d: JUMPDEST 0000102e: PUSH1 0x00 00001030: SLOAD 00001031: PUSH1 0x01 00001033: PUSH1 0x01 00001035: PUSH1 0xa0 00001037: SHL 00001038: SUB 00001039: AND 0000103a: CALLER 0000103b: EQ 0000103c: PUSH2 0x1057 0000103f: JUMPI 00001040: PUSH1 0x40 00001042: MLOAD 00001043: PUSH3 0x461bcd 00001047: PUSH1 0xe5 00001049: SHL 0000104a: DUP2 0000104b: MSTORE 0000104c: PUSH1 0x04 0000104e: ADD 0000104f: PUSH2 0x0ae6 00001052: SWAP1 00001053: PUSH2 0x1e61 00001056: JUMP 00001057: JUMPDEST 00001058: PUSH1 0x01 0000105a: SLOAD 0000105b: PUSH1 0x01 0000105d: PUSH1 0x01 0000105f: PUSH1 0xa0 00001061: SHL 00001062: SUB 00001063: DUP4 00001064: DUP2 00001065: AND 00001066: SWAP2 00001067: AND 00001068: EQ 00001069: ISZERO 0000106a: PUSH2 0x1101 0000106d: JUMPI 0000106e: PUSH1 0x0c 00001070: SLOAD 00001071: PUSH1 0x07 00001073: SLOAD 00001074: PUSH2 0x107c 00001077: SWAP2 00001078: PUSH2 0x1bb4 0000107b: JUMP 0000107c: JUMPDEST 0000107d: DUP2 0000107e: LT 0000107f: PUSH2 0x10f0 00001082: JUMPI 00001083: PUSH1 0x40 00001085: MLOAD 00001086: PUSH3 0x461bcd 0000108a: PUSH1 0xe5 0000108c: SHL 0000108d: DUP2 0000108e: MSTORE 0000108f: PUSH1 0x20 00001091: PUSH1 0x04 00001093: DUP3 00001094: ADD 00001095: MSTORE 00001096: PUSH1 0x3d 00001098: PUSH1 0x24 0000109a: DUP3 0000109b: ADD 0000109c: MSTORE 0000109d: PUSH32 0x596f7527726520747279696e6720776974686472617720616e20616d6f756e74 000010be: PUSH1 0x44 000010c0: DUP3 000010c1: ADD 000010c2: MSTORE 000010c3: PUSH32 0x20746861742065786365656420617661696c6162652062616c616e6365000000 000010e4: PUSH1 0x64 000010e6: DUP3 000010e7: ADD 000010e8: MSTORE 000010e9: PUSH1 0x84 000010eb: ADD 000010ec: PUSH2 0x0ae6 000010ef: JUMP 000010f0: JUMPDEST 000010f1: PUSH1 0x07 000010f3: SLOAD 000010f4: PUSH2 0x10fd 000010f7: SWAP1 000010f8: DUP3 000010f9: PUSH2 0x1bb4 000010fc: JUMP 000010fd: JUMPDEST 000010fe: PUSH1 0x07 00001100: SSTORE 00001101: JUMPDEST 00001102: PUSH1 0x40 00001104: MLOAD 00001105: PUSH4 0xa9059cbb 0000110a: PUSH1 0xe0 0000110c: SHL 0000110d: DUP2 0000110e: MSTORE 0000110f: CALLER 00001110: PUSH1 0x04 00001112: DUP3 00001113: ADD 00001114: MSTORE 00001115: PUSH1 0x24 00001117: DUP2 00001118: ADD 00001119: DUP3 0000111a: SWAP1 0000111b: MSTORE 0000111c: PUSH1 0x01 0000111e: PUSH1 0x01 00001120: PUSH1 0xa0 00001122: SHL 00001123: SUB 00001124: DUP4 00001125: AND 00001126: SWAP1 00001127: PUSH4 0xa9059cbb 0000112c: SWAP1 0000112d: PUSH1 0x44 0000112f: ADD 00001130: PUSH1 0x20 00001132: PUSH1 0x40 00001134: MLOAD 00001135: DUP1 00001136: DUP4 00001137: SUB 00001138: DUP2 00001139: PUSH1 0x00 0000113b: DUP8 0000113c: DUP1 0000113d: EXTCODESIZE 0000113e: ISZERO 0000113f: DUP1 00001140: ISZERO 00001141: PUSH2 0x1149 00001144: JUMPI 00001145: PUSH1 0x00 00001147: DUP1 00001148: REVERT 00001149: JUMPDEST 0000114a: POP 0000114b: GAS 0000114c: CALL 0000114d: ISZERO 0000114e: DUP1 0000114f: ISZERO 00001150: PUSH2 0x115d 00001153: JUMPI 00001154: RETURNDATASIZE 00001155: PUSH1 0x00 00001157: DUP1 00001158: RETURNDATACOPY 00001159: RETURNDATASIZE 0000115a: PUSH1 0x00 0000115c: REVERT 0000115d: JUMPDEST 0000115e: POP 0000115f: POP 00001160: POP 00001161: POP 00001162: PUSH1 0x40 00001164: MLOAD 00001165: RETURNDATASIZE 00001166: PUSH1 0x1f 00001168: NOT 00001169: PUSH1 0x1f 0000116b: DUP3 0000116c: ADD 0000116d: AND 0000116e: DUP3 0000116f: ADD 00001170: DUP1 00001171: PUSH1 0x40 00001173: MSTORE 00001174: POP 00001175: DUP2 00001176: ADD 00001177: SWAP1 00001178: PUSH2 0x1181 0000117b: SWAP2 0000117c: SWAP1 0000117d: PUSH2 0x1da7 00001180: JUMP 00001181: JUMPDEST 00001182: POP 00001183: POP 00001184: POP 00001185: JUMP 00001186: JUMPDEST 00001187: PUSH1 0x12 00001189: SLOAD 0000118a: PUSH2 0x1193 0000118d: SWAP1 0000118e: CALLVALUE 0000118f: PUSH2 0x1965 00001192: JUMP 00001193: JUMPDEST 00001194: PUSH1 0x12 00001196: SSTORE 00001197: JUMP 00001198: JUMPDEST 00001199: PUSH1 0x00 0000119b: SLOAD 0000119c: PUSH1 0x01 0000119e: PUSH1 0x01 000011a0: PUSH1 0xa0 000011a2: SHL 000011a3: SUB 000011a4: AND 000011a5: CALLER 000011a6: EQ 000011a7: PUSH2 0x11c2 000011aa: JUMPI 000011ab: PUSH1 0x40 000011ad: MLOAD 000011ae: PUSH3 0x461bcd 000011b2: PUSH1 0xe5 000011b4: SHL 000011b5: DUP2 000011b6: MSTORE 000011b7: PUSH1 0x04 000011b9: ADD 000011ba: PUSH2 0x0ae6 000011bd: SWAP1 000011be: PUSH2 0x1e61 000011c1: JUMP 000011c2: JUMPDEST 000011c3: PUSH1 0x16 000011c5: SSTORE 000011c6: JUMP 000011c7: JUMPDEST 000011c8: PUSH1 0x01 000011ca: PUSH1 0x01 000011cc: PUSH1 0xa0 000011ce: SHL 000011cf: SUB 000011d0: DUP2 000011d1: AND 000011d2: PUSH1 0x00 000011d4: SWAP1 000011d5: DUP2 000011d6: MSTORE 000011d7: PUSH1 0x05 000011d9: PUSH1 0x20 000011db: DUP2 000011dc: DUP2 000011dd: MSTORE 000011de: PUSH1 0x40 000011e0: DUP1 000011e1: DUP5 000011e2: KECCAK256 000011e3: DUP2 000011e4: MLOAD 000011e5: PUSH1 0xe0 000011e7: DUP2 000011e8: ADD 000011e9: DUP4 000011ea: MSTORE 000011eb: DUP2 000011ec: SLOAD 000011ed: DUP1 000011ee: DUP3 000011ef: MSTORE 000011f0: PUSH1 0x01 000011f2: DUP4 000011f3: ADD 000011f4: SLOAD 000011f5: SWAP5 000011f6: DUP3 000011f7: ADD 000011f8: DUP6 000011f9: SWAP1 000011fa: MSTORE 000011fb: PUSH1 0x02 000011fd: DUP4 000011fe: ADD 000011ff: SLOAD 00001200: SWAP4 00001201: DUP3 00001202: ADD 00001203: SWAP4 00001204: SWAP1 00001205: SWAP4 00001206: MSTORE 00001207: PUSH1 0x03 00001209: DUP3 0000120a: ADD 0000120b: SLOAD 0000120c: PUSH1 0x60 0000120e: DUP3 0000120f: ADD 00001210: MSTORE 00001211: PUSH1 0x04 00001213: DUP3 00001214: ADD 00001215: SLOAD 00001216: PUSH1 0x80 00001218: DUP3 00001219: ADD 0000121a: MSTORE 0000121b: SWAP4 0000121c: DUP2 0000121d: ADD 0000121e: SLOAD 0000121f: PUSH1 0xa0 00001221: DUP6 00001222: ADD 00001223: MSTORE 00001224: PUSH1 0x06 00001226: ADD 00001227: SLOAD 00001228: PUSH1 0xc0 0000122a: DUP5 0000122b: ADD 0000122c: MSTORE 0000122d: GT 0000122e: PUSH2 0x123a 00001231: JUMPI 00001232: POP 00001233: PUSH1 0x00 00001235: SWAP3 00001236: SWAP2 00001237: POP 00001238: POP 00001239: JUMP 0000123a: JUMPDEST 0000123b: PUSH1 0x40 0000123d: DUP2 0000123e: ADD 0000123f: MLOAD 00001240: ISZERO 00001241: DUP1 00001242: PUSH2 0x124d 00001245: JUMPI 00001246: POP 00001247: PUSH1 0x60 00001249: DUP2 0000124a: ADD 0000124b: MLOAD 0000124c: ISZERO 0000124d: JUMPDEST 0000124e: DUP1 0000124f: PUSH2 0x1257 00001252: JUMPI 00001253: POP 00001254: DUP1 00001255: MLOAD 00001256: ISZERO 00001257: JUMPDEST 00001258: ISZERO 00001259: PUSH2 0x1265 0000125c: JUMPI 0000125d: POP 0000125e: PUSH1 0x00 00001260: SWAP3 00001261: SWAP2 00001262: POP 00001263: POP 00001264: JUMP 00001265: JUMPDEST 00001266: PUSH1 0x60 00001268: DUP2 00001269: ADD 0000126a: MLOAD 0000126b: TIMESTAMP 0000126c: SWAP1 0000126d: DUP2 0000126e: LT 0000126f: PUSH2 0x128a 00001272: JUMPI 00001273: PUSH1 0x20 00001275: DUP3 00001276: ADD 00001277: MLOAD 00001278: DUP3 00001279: MLOAD 0000127a: PUSH2 0x1282 0000127d: SWAP2 0000127e: PUSH2 0x1bb4 00001281: JUMP 00001282: JUMPDEST 00001283: SWAP5 00001284: SWAP4 00001285: POP 00001286: POP 00001287: POP 00001288: POP 00001289: JUMP 0000128a: JUMPDEST 0000128b: PUSH1 0x03 0000128d: SLOAD 0000128e: DUP3 0000128f: PUSH1 0x40 00001291: ADD 00001292: MLOAD 00001293: PUSH2 0x129c 00001296: SWAP2 00001297: SWAP1 00001298: PUSH2 0x1e96 0000129b: JUMP 0000129c: JUMPDEST 0000129d: DUP2 0000129e: LT 0000129f: ISZERO 000012a0: PUSH2 0x12ad 000012a3: JUMPI 000012a4: POP 000012a5: PUSH1 0x00 000012a7: SWAP4 000012a8: SWAP3 000012a9: POP 000012aa: POP 000012ab: POP 000012ac: JUMP 000012ad: JUMPDEST 000012ae: PUSH1 0x00 000012b0: PUSH1 0x0f 000012b2: SLOAD 000012b3: PUSH1 0x03 000012b5: SLOAD 000012b6: DUP5 000012b7: PUSH1 0x40 000012b9: ADD 000012ba: MLOAD 000012bb: DUP5 000012bc: PUSH2 0x12c5 000012bf: SWAP2 000012c0: SWAP1 000012c1: PUSH2 0x1fdb 000012c4: JUMP 000012c5: JUMPDEST 000012c6: PUSH2 0x12cf 000012c9: SWAP2 000012ca: SWAP1 000012cb: PUSH2 0x1fdb 000012ce: JUMP 000012cf: JUMPDEST 000012d0: PUSH2 0x12d9 000012d3: SWAP2 000012d4: SWAP1 000012d5: PUSH2 0x1eae 000012d8: JUMP 000012d9: JUMPDEST 000012da: PUSH2 0x12e4 000012dd: SWAP1 000012de: PUSH1 0x01 000012e0: PUSH2 0x1e96 000012e3: JUMP 000012e4: JUMPDEST 000012e5: SWAP1 000012e6: POP 000012e7: DUP3 000012e8: PUSH1 0x80 000012ea: ADD 000012eb: MLOAD 000012ec: DUP2 000012ed: GT 000012ee: ISZERO 000012ef: PUSH2 0x1337 000012f2: JUMPI 000012f3: PUSH1 0x00 000012f5: PUSH2 0x2710 000012f8: DUP5 000012f9: PUSH1 0x00 000012fb: ADD 000012fc: MLOAD 000012fd: PUSH1 0x04 000012ff: SLOAD 00001300: DUP7 00001301: PUSH1 0x80 00001303: ADD 00001304: MLOAD 00001305: DUP6 00001306: PUSH2 0x130f 00001309: SWAP2 0000130a: SWAP1 0000130b: PUSH2 0x1fdb 0000130e: JUMP 0000130f: JUMPDEST 00001310: PUSH2 0x1319 00001313: SWAP2 00001314: SWAP1 00001315: PUSH2 0x1fbc 00001318: JUMP 00001319: JUMPDEST 0000131a: PUSH2 0x1323 0000131d: SWAP2 0000131e: SWAP1 0000131f: PUSH2 0x1fbc 00001322: JUMP 00001323: JUMPDEST 00001324: PUSH2 0x132d 00001327: SWAP2 00001328: SWAP1 00001329: PUSH2 0x1eae 0000132c: JUMP 0000132d: JUMPDEST 0000132e: SWAP7 0000132f: SWAP6 00001330: POP 00001331: POP 00001332: POP 00001333: POP 00001334: POP 00001335: POP 00001336: JUMP 00001337: JUMPDEST 00001338: POP 00001339: PUSH1 0x00 0000133b: SWAP5 0000133c: SWAP4 0000133d: POP 0000133e: POP 0000133f: POP 00001340: POP 00001341: JUMP 00001342: JUMPDEST 00001343: PUSH1 0x00 00001345: SLOAD 00001346: PUSH1 0x01 00001348: PUSH1 0x01 0000134a: PUSH1 0xa0 0000134c: SHL 0000134d: SUB 0000134e: AND 0000134f: CALLER 00001350: EQ 00001351: PUSH2 0x136c 00001354: JUMPI 00001355: PUSH1 0x40 00001357: MLOAD 00001358: PUSH3 0x461bcd 0000135c: PUSH1 0xe5 0000135e: SHL 0000135f: DUP2 00001360: MSTORE 00001361: PUSH1 0x04 00001363: ADD 00001364: PUSH2 0x0ae6 00001367: SWAP1 00001368: PUSH2 0x1e61 0000136b: JUMP 0000136c: JUMPDEST 0000136d: PUSH1 0x01 0000136f: PUSH1 0x01 00001371: PUSH1 0xa0 00001373: SHL 00001374: SUB 00001375: SWAP2 00001376: SWAP1 00001377: SWAP2 00001378: AND 00001379: PUSH1 0x00 0000137b: SWAP1 0000137c: DUP2 0000137d: MSTORE 0000137e: PUSH1 0x06 00001380: PUSH1 0x20 00001382: MSTORE 00001383: PUSH1 0x40 00001385: SWAP1 00001386: KECCAK256 00001387: DUP1 00001388: SLOAD 00001389: PUSH1 0xff 0000138b: NOT 0000138c: AND 0000138d: SWAP2 0000138e: ISZERO 0000138f: ISZERO 00001390: SWAP2 00001391: SWAP1 00001392: SWAP2 00001393: OR 00001394: SWAP1 00001395: SSTORE 00001396: JUMP 00001397: JUMPDEST 00001398: PUSH1 0x00 0000139a: SLOAD 0000139b: PUSH1 0x01 0000139d: PUSH1 0x01 0000139f: PUSH1 0xa0 000013a1: SHL 000013a2: SUB 000013a3: AND 000013a4: CALLER 000013a5: EQ 000013a6: PUSH2 0x13c1 000013a9: JUMPI 000013aa: PUSH1 0x40 000013ac: MLOAD 000013ad: PUSH3 0x461bcd 000013b1: PUSH1 0xe5 000013b3: SHL 000013b4: DUP2 000013b5: MSTORE 000013b6: PUSH1 0x04 000013b8: ADD 000013b9: PUSH2 0x0ae6 000013bc: SWAP1 000013bd: PUSH2 0x1e61 000013c0: JUMP 000013c1: JUMPDEST 000013c2: PUSH1 0x10 000013c4: DUP1 000013c5: SLOAD 000013c6: PUSH1 0xff 000013c8: NOT 000013c9: AND 000013ca: SWAP1 000013cb: SSTORE 000013cc: JUMP 000013cd: JUMPDEST 000013ce: PUSH1 0x00 000013d0: SLOAD 000013d1: PUSH1 0x01 000013d3: PUSH1 0x01 000013d5: PUSH1 0xa0 000013d7: SHL 000013d8: SUB 000013d9: AND 000013da: CALLER 000013db: EQ 000013dc: PUSH2 0x13f7 000013df: JUMPI 000013e0: PUSH1 0x40 000013e2: MLOAD 000013e3: PUSH3 0x461bcd 000013e7: PUSH1 0xe5 000013e9: SHL 000013ea: DUP2 000013eb: MSTORE 000013ec: PUSH1 0x04 000013ee: ADD 000013ef: PUSH2 0x0ae6 000013f2: SWAP1 000013f3: PUSH2 0x1e61 000013f6: JUMP 000013f7: JUMPDEST 000013f8: PUSH1 0x10 000013fa: SLOAD 000013fb: PUSH1 0xff 000013fd: AND 000013fe: ISZERO 000013ff: PUSH2 0x1441 00001402: JUMPI 00001403: PUSH1 0x40 00001405: MLOAD 00001406: PUSH3 0x461bcd 0000140a: PUSH1 0xe5 0000140c: SHL 0000140d: DUP2 0000140e: MSTORE 0000140f: PUSH1 0x20 00001411: PUSH1 0x04 00001413: DUP3 00001414: ADD 00001415: MSTORE 00001416: PUSH1 0x14 00001418: PUSH1 0x24 0000141a: DUP3 0000141b: ADD 0000141c: MSTORE 0000141d: PUSH20 0x14ddd85c08185b1c9958591e481cdd185c9d1959 00001432: PUSH1 0x62 00001434: SHL 00001435: PUSH1 0x44 00001437: DUP3 00001438: ADD 00001439: MSTORE 0000143a: PUSH1 0x64 0000143c: ADD 0000143d: PUSH2 0x0ae6 00001440: JUMP 00001441: JUMPDEST 00001442: PUSH1 0x01 00001444: DUP1 00001445: SLOAD 00001446: PUSH1 0x01 00001448: PUSH1 0x01 0000144a: PUSH1 0xa0 0000144c: SHL 0000144d: SUB 0000144e: NOT 0000144f: AND 00001450: PUSH1 0x01 00001452: PUSH1 0x01 00001454: PUSH1 0xa0 00001456: SHL 00001457: SUB 00001458: SWAP3 00001459: SWAP1 0000145a: SWAP3 0000145b: AND 0000145c: SWAP2 0000145d: SWAP1 0000145e: SWAP2 0000145f: OR 00001460: DUP2 00001461: SSTORE 00001462: PUSH1 0x10 00001464: DUP1 00001465: SLOAD 00001466: PUSH1 0xff 00001468: NOT 00001469: AND 0000146a: SWAP1 0000146b: SWAP2 0000146c: OR 0000146d: SWAP1 0000146e: SSTORE 0000146f: JUMP 00001470: JUMPDEST 00001471: PUSH1 0x00 00001473: SLOAD 00001474: PUSH1 0x01 00001476: PUSH1 0x01 00001478: PUSH1 0xa0 0000147a: SHL 0000147b: SUB 0000147c: AND 0000147d: CALLER 0000147e: EQ 0000147f: PUSH2 0x149a 00001482: JUMPI 00001483: PUSH1 0x40 00001485: MLOAD 00001486: PUSH3 0x461bcd 0000148a: PUSH1 0xe5 0000148c: SHL 0000148d: DUP2 0000148e: MSTORE 0000148f: PUSH1 0x04 00001491: ADD 00001492: PUSH2 0x0ae6 00001495: SWAP1 00001496: PUSH2 0x1e61 00001499: JUMP 0000149a: JUMPDEST 0000149b: PUSH1 0x10 0000149d: DUP1 0000149e: SLOAD 0000149f: PUSH1 0x01 000014a1: PUSH1 0x01 000014a3: PUSH1 0xa0 000014a5: SHL 000014a6: SUB 000014a7: SWAP1 000014a8: SWAP3 000014a9: AND 000014aa: PUSH2 0x0100 000014ad: MUL 000014ae: PUSH2 0x0100 000014b1: PUSH1 0x01 000014b3: PUSH1 0xa8 000014b5: SHL 000014b6: SUB 000014b7: NOT 000014b8: SWAP1 000014b9: SWAP3 000014ba: AND 000014bb: SWAP2 000014bc: SWAP1 000014bd: SWAP2 000014be: OR 000014bf: SWAP1 000014c0: SSTORE 000014c1: JUMP 000014c2: JUMPDEST 000014c3: PUSH1 0x01 000014c5: SLOAD 000014c6: PUSH1 0x40 000014c8: MLOAD 000014c9: PUSH4 0x23b872dd 000014ce: PUSH1 0xe0 000014d0: SHL 000014d1: DUP2 000014d2: MSTORE 000014d3: CALLER 000014d4: PUSH1 0x04 000014d6: DUP3 000014d7: ADD 000014d8: MSTORE 000014d9: ADDRESS 000014da: PUSH1 0x24 000014dc: DUP3 000014dd: ADD 000014de: MSTORE 000014df: PUSH1 0x44 000014e1: DUP2 000014e2: ADD 000014e3: DUP4 000014e4: SWAP1 000014e5: MSTORE 000014e6: PUSH1 0x01 000014e8: PUSH1 0x01 000014ea: PUSH1 0xa0 000014ec: SHL 000014ed: SUB 000014ee: SWAP1 000014ef: SWAP2 000014f0: AND 000014f1: SWAP1 000014f2: PUSH4 0x23b872dd 000014f7: SWAP1 000014f8: PUSH1 0x64 000014fa: ADD 000014fb: PUSH1 0x20 000014fd: PUSH1 0x40 000014ff: MLOAD 00001500: DUP1 00001501: DUP4 00001502: SUB 00001503: DUP2 00001504: PUSH1 0x00 00001506: DUP8 00001507: DUP1 00001508: EXTCODESIZE 00001509: ISZERO 0000150a: DUP1 0000150b: ISZERO 0000150c: PUSH2 0x1514 0000150f: JUMPI 00001510: PUSH1 0x00 00001512: DUP1 00001513: REVERT 00001514: JUMPDEST 00001515: POP 00001516: GAS 00001517: CALL 00001518: ISZERO 00001519: DUP1 0000151a: ISZERO 0000151b: PUSH2 0x1528 0000151e: JUMPI 0000151f: RETURNDATASIZE 00001520: PUSH1 0x00 00001522: DUP1 00001523: RETURNDATACOPY 00001524: RETURNDATASIZE 00001525: PUSH1 0x00 00001527: REVERT 00001528: JUMPDEST 00001529: POP 0000152a: POP 0000152b: POP 0000152c: POP 0000152d: PUSH1 0x40 0000152f: MLOAD 00001530: RETURNDATASIZE 00001531: PUSH1 0x1f 00001533: NOT 00001534: PUSH1 0x1f 00001536: DUP3 00001537: ADD 00001538: AND 00001539: DUP3 0000153a: ADD 0000153b: DUP1 0000153c: PUSH1 0x40 0000153e: MSTORE 0000153f: POP 00001540: DUP2 00001541: ADD 00001542: SWAP1 00001543: PUSH2 0x154c 00001546: SWAP2 00001547: SWAP1 00001548: PUSH2 0x1da7 0000154b: JUMP 0000154c: JUMPDEST 0000154d: POP 0000154e: PUSH1 0x07 00001550: SLOAD 00001551: PUSH2 0x155a 00001554: SWAP1 00001555: DUP3 00001556: PUSH2 0x1965 00001559: JUMP 0000155a: JUMPDEST 0000155b: PUSH1 0x07 0000155d: SSTORE 0000155e: POP 0000155f: JUMP 00001560: JUMPDEST 00001561: PUSH1 0x00 00001563: SLOAD 00001564: PUSH1 0x01 00001566: PUSH1 0x01 00001568: PUSH1 0xa0 0000156a: SHL 0000156b: SUB 0000156c: AND 0000156d: CALLER 0000156e: EQ 0000156f: PUSH2 0x158a 00001572: JUMPI 00001573: PUSH1 0x40 00001575: MLOAD 00001576: PUSH3 0x461bcd 0000157a: PUSH1 0xe5 0000157c: SHL 0000157d: DUP2 0000157e: MSTORE 0000157f: PUSH1 0x04 00001581: ADD 00001582: PUSH2 0x0ae6 00001585: SWAP1 00001586: PUSH2 0x1e61 00001589: JUMP 0000158a: JUMPDEST 0000158b: PUSH1 0x03 0000158d: DUP5 0000158e: LT 0000158f: PUSH2 0x1597 00001592: JUMPI 00001593: PUSH1 0x00 00001595: DUP1 00001596: REVERT 00001597: JUMPDEST 00001598: PUSH1 0x00 0000159a: SWAP4 0000159b: DUP5 0000159c: MSTORE 0000159d: PUSH1 0x02 0000159f: PUSH1 0x20 000015a1: DUP2 000015a2: SWAP1 000015a3: MSTORE 000015a4: PUSH1 0x40 000015a6: SWAP1 000015a7: SWAP5 000015a8: KECCAK256 000015a9: DUP1 000015aa: SLOAD 000015ab: PUSH1 0x01 000015ad: PUSH1 0x01 000015af: PUSH1 0xa0 000015b1: SHL 000015b2: SUB 000015b3: NOT 000015b4: AND 000015b5: PUSH1 0x01 000015b7: PUSH1 0x01 000015b9: PUSH1 0xa0 000015bb: SHL 000015bc: SUB 000015bd: SWAP5 000015be: SWAP1 000015bf: SWAP5 000015c0: AND 000015c1: SWAP4 000015c2: SWAP1 000015c3: SWAP4 000015c4: OR 000015c5: DUP4 000015c6: SSTORE 000015c7: PUSH1 0x01 000015c9: DUP4 000015ca: ADD 000015cb: SWAP2 000015cc: SWAP1 000015cd: SWAP2 000015ce: SSTORE 000015cf: SWAP2 000015d0: ADD 000015d1: SSTORE 000015d2: JUMP 000015d3: JUMPDEST 000015d4: PUSH1 0x00 000015d6: SLOAD 000015d7: PUSH1 0x01 000015d9: PUSH1 0x01 000015db: PUSH1 0xa0 000015dd: SHL 000015de: SUB 000015df: AND 000015e0: CALLER 000015e1: EQ 000015e2: PUSH2 0x15fd 000015e5: JUMPI 000015e6: PUSH1 0x40 000015e8: MLOAD 000015e9: PUSH3 0x461bcd 000015ed: PUSH1 0xe5 000015ef: SHL 000015f0: DUP2 000015f1: MSTORE 000015f2: PUSH1 0x04 000015f4: ADD 000015f5: PUSH2 0x0ae6 000015f8: SWAP1 000015f9: PUSH2 0x1e61 000015fc: JUMP 000015fd: JUMPDEST 000015fe: PUSH1 0x1b 00001600: DUP1 00001601: SLOAD 00001602: PUSH1 0xff 00001604: NOT 00001605: AND 00001606: PUSH1 0x01 00001608: OR 00001609: SWAP1 0000160a: SSTORE 0000160b: PUSH1 0x10 0000160d: DUP1 0000160e: SLOAD 0000160f: PUSH1 0x01 00001611: PUSH1 0x01 00001613: PUSH1 0xa0 00001615: SHL 00001616: SUB 00001617: SWAP1 00001618: SWAP3 00001619: AND 0000161a: PUSH2 0x0100 0000161d: MUL 0000161e: PUSH2 0x0100 00001621: PUSH1 0x01 00001623: PUSH1 0xa8 00001625: SHL 00001626: SUB 00001627: NOT 00001628: SWAP1 00001629: SWAP3 0000162a: AND 0000162b: SWAP2 0000162c: SWAP1 0000162d: SWAP2 0000162e: OR 0000162f: SWAP1 00001630: SSTORE 00001631: PUSH7 0xb1a2bc2ec50000 00001639: PUSH1 0x15 0000163b: SSTORE 0000163c: PUSH6 0x03a352944000 00001643: PUSH1 0x16 00001645: SSTORE 00001646: TIMESTAMP 00001647: PUSH1 0x19 00001649: SSTORE 0000164a: JUMP 0000164b: JUMPDEST 0000164c: PUSH1 0x01 0000164e: PUSH1 0x01 00001650: PUSH1 0xa0 00001652: SHL 00001653: SUB 00001654: DUP2 00001655: AND 00001656: PUSH1 0x00 00001658: SWAP1 00001659: DUP2 0000165a: MSTORE 0000165b: PUSH1 0x05 0000165d: PUSH1 0x20 0000165f: DUP2 00001660: DUP2 00001661: MSTORE 00001662: PUSH1 0x40 00001664: DUP1 00001665: DUP5 00001666: KECCAK256 00001667: DUP2 00001668: MLOAD 00001669: PUSH1 0xe0 0000166b: DUP2 0000166c: ADD 0000166d: DUP4 0000166e: MSTORE 0000166f: DUP2 00001670: SLOAD 00001671: DUP1 00001672: DUP3 00001673: MSTORE 00001674: PUSH1 0x01 00001676: DUP4 00001677: ADD 00001678: SLOAD 00001679: SWAP5 0000167a: DUP3 0000167b: ADD 0000167c: DUP6 0000167d: SWAP1 0000167e: MSTORE 0000167f: PUSH1 0x02 00001681: DUP4 00001682: ADD 00001683: SLOAD 00001684: SWAP4 00001685: DUP3 00001686: ADD 00001687: SWAP4 00001688: SWAP1 00001689: SWAP4 0000168a: MSTORE 0000168b: PUSH1 0x03 0000168d: DUP3 0000168e: ADD 0000168f: SLOAD 00001690: PUSH1 0x60 00001692: DUP3 00001693: ADD 00001694: MSTORE 00001695: PUSH1 0x04 00001697: DUP3 00001698: ADD 00001699: SLOAD 0000169a: PUSH1 0x80 0000169c: DUP3 0000169d: ADD 0000169e: MSTORE 0000169f: SWAP4 000016a0: DUP2 000016a1: ADD 000016a2: SLOAD 000016a3: PUSH1 0xa0 000016a5: DUP6 000016a6: ADD 000016a7: MSTORE 000016a8: PUSH1 0x06 000016aa: ADD 000016ab: SLOAD 000016ac: PUSH1 0xc0 000016ae: DUP5 000016af: ADD 000016b0: MSTORE 000016b1: PUSH2 0x16ba 000016b4: SWAP2 000016b5: SWAP1 000016b6: PUSH2 0x1fdb 000016b9: JUMP 000016ba: JUMPDEST 000016bb: SWAP4 000016bc: SWAP3 000016bd: POP 000016be: POP 000016bf: POP 000016c0: JUMP 000016c1: JUMPDEST 000016c2: PUSH1 0x00 000016c4: SLOAD 000016c5: PUSH1 0x01 000016c7: PUSH1 0x01 000016c9: PUSH1 0xa0 000016cb: SHL 000016cc: SUB 000016cd: AND 000016ce: CALLER 000016cf: EQ 000016d0: PUSH2 0x16eb 000016d3: JUMPI 000016d4: PUSH1 0x40 000016d6: MLOAD 000016d7: PUSH3 0x461bcd 000016db: PUSH1 0xe5 000016dd: SHL 000016de: DUP2 000016df: MSTORE 000016e0: PUSH1 0x04 000016e2: ADD 000016e3: PUSH2 0x0ae6 000016e6: SWAP1 000016e7: PUSH2 0x1e61 000016ea: JUMP 000016eb: JUMPDEST 000016ec: PUSH1 0x01 000016ee: PUSH1 0x01 000016f0: PUSH1 0xa0 000016f2: SHL 000016f3: SUB 000016f4: DUP2 000016f5: AND 000016f6: PUSH2 0x1750 000016f9: JUMPI 000016fa: PUSH1 0x40 000016fc: MLOAD 000016fd: PUSH3 0x461bcd 00001701: PUSH1 0xe5 00001703: SHL 00001704: DUP2 00001705: MSTORE 00001706: PUSH1 0x20 00001708: PUSH1 0x04 0000170a: DUP3 0000170b: ADD 0000170c: MSTORE 0000170d: PUSH1 0x26 0000170f: PUSH1 0x24 00001711: DUP3 00001712: ADD 00001713: MSTORE 00001714: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00001735: PUSH1 0x44 00001737: DUP3 00001738: ADD 00001739: MSTORE 0000173a: PUSH6 0x646472657373 00001741: PUSH1 0xd0 00001743: SHL 00001744: PUSH1 0x64 00001746: DUP3 00001747: ADD 00001748: MSTORE 00001749: PUSH1 0x84 0000174b: ADD 0000174c: PUSH2 0x0ae6 0000174f: JUMP 00001750: JUMPDEST 00001751: PUSH1 0x00 00001753: DUP1 00001754: SLOAD 00001755: PUSH1 0x40 00001757: MLOAD 00001758: PUSH1 0x01 0000175a: PUSH1 0x01 0000175c: PUSH1 0xa0 0000175e: SHL 0000175f: SUB 00001760: DUP1 00001761: DUP6 00001762: AND 00001763: SWAP4 00001764: SWAP3 00001765: AND 00001766: SWAP2 00001767: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00001788: SWAP2 00001789: LOG3 0000178a: PUSH1 0x00 0000178c: DUP1 0000178d: SLOAD 0000178e: PUSH1 0x01 00001790: PUSH1 0x01 00001792: PUSH1 0xa0 00001794: SHL 00001795: SUB 00001796: NOT 00001797: AND 00001798: PUSH1 0x01 0000179a: PUSH1 0x01 0000179c: PUSH1 0xa0 0000179e: SHL 0000179f: SUB 000017a0: SWAP3 000017a1: SWAP1 000017a2: SWAP3 000017a3: AND 000017a4: SWAP2 000017a5: SWAP1 000017a6: SWAP2 000017a7: OR 000017a8: SWAP1 000017a9: SSTORE 000017aa: JUMP 000017ab: JUMPDEST 000017ac: PUSH1 0x01 000017ae: PUSH1 0x01 000017b0: PUSH1 0xa0 000017b2: SHL 000017b3: SUB 000017b4: DUP2 000017b5: AND 000017b6: PUSH1 0x00 000017b8: SWAP1 000017b9: DUP2 000017ba: MSTORE 000017bb: PUSH1 0x05 000017bd: PUSH1 0x20 000017bf: MSTORE 000017c0: PUSH1 0x40 000017c2: DUP2 000017c3: KECCAK256 000017c4: PUSH1 0x1b 000017c6: SLOAD 000017c7: DUP3 000017c8: SWAP2 000017c9: SWAP1 000017ca: DUP3 000017cb: SWAP1 000017cc: DUP2 000017cd: SWAP1 000017ce: PUSH1 0xff 000017d0: AND 000017d1: PUSH2 0x17e2 000017d4: JUMPI 000017d5: POP 000017d6: PUSH1 0x00 000017d8: SWAP6 000017d9: DUP7 000017da: SWAP6 000017db: POP 000017dc: SWAP4 000017dd: POP 000017de: POP 000017df: POP 000017e0: POP 000017e1: JUMP 000017e2: JUMPDEST 000017e3: PUSH1 0x19 000017e5: SLOAD 000017e6: TIMESTAMP 000017e7: GT 000017e8: DUP1 000017e9: ISZERO 000017ea: PUSH2 0x17f4 000017ed: JUMPI 000017ee: POP 000017ef: PUSH1 0x0a 000017f1: SLOAD 000017f2: ISZERO 000017f3: ISZERO 000017f4: JUMPDEST 000017f5: ISZERO 000017f6: PUSH2 0x1907 000017f9: JUMPI 000017fa: PUSH1 0x00 000017fc: PUSH2 0x1807 000017ff: PUSH1 0x19 00001801: SLOAD 00001802: TIMESTAMP 00001803: PUSH2 0x1d06 00001806: JUMP 00001807: JUMPDEST 00001808: SWAP1 00001809: POP 0000180a: PUSH1 0x00 0000180c: PUSH2 0x1820 0000180f: PUSH1 0x15 00001811: SLOAD 00001812: DUP4 00001813: PUSH2 0x1ada 00001816: SWAP1 00001817: SWAP2 00001818: SWAP1 00001819: PUSH4 0xffffffff 0000181e: AND 0000181f: JUMP 00001820: JUMPDEST 00001821: SWAP1 00001822: POP 00001823: PUSH1 0x11 00001825: SLOAD 00001826: DUP2 00001827: GT 00001828: ISZERO 00001829: PUSH2 0x1831 0000182c: JUMPI 0000182d: POP 0000182e: PUSH1 0x11 00001830: SLOAD 00001831: JUMPDEST 00001832: PUSH1 0x00 00001834: PUSH2 0x185a 00001837: PUSH2 0x1851 0000183a: PUSH1 0x0a 0000183c: SLOAD 0000183d: PUSH2 0x0965 00001840: PUSH1 0x1a 00001842: SLOAD 00001843: DUP7 00001844: PUSH2 0x1ada 00001847: SWAP1 00001848: SWAP2 00001849: SWAP1 0000184a: PUSH4 0xffffffff 0000184f: AND 00001850: JUMP 00001851: JUMPDEST 00001852: PUSH1 0x17 00001854: SLOAD 00001855: SWAP1 00001856: PUSH2 0x1965 00001859: JUMP 0000185a: JUMPDEST 0000185b: SWAP1 0000185c: POP 0000185d: PUSH1 0x00 0000185f: PUSH2 0x1873 00001862: PUSH1 0x16 00001864: SLOAD 00001865: DUP6 00001866: PUSH2 0x1ada 00001869: SWAP1 0000186a: SWAP2 0000186b: SWAP1 0000186c: PUSH4 0xffffffff 00001871: AND 00001872: JUMP 00001873: JUMPDEST 00001874: SWAP1 00001875: POP 00001876: PUSH1 0x12 00001878: SLOAD 00001879: DUP2 0000187a: GT 0000187b: ISZERO 0000187c: PUSH2 0x1884 0000187f: JUMPI 00001880: POP 00001881: PUSH1 0x12 00001883: SLOAD 00001884: JUMPDEST 00001885: PUSH1 0x00 00001887: PUSH2 0x18ad 0000188a: PUSH2 0x18a4 0000188d: PUSH1 0x0a 0000188f: SLOAD 00001890: PUSH2 0x0965 00001893: PUSH1 0x1a 00001895: SLOAD 00001896: DUP7 00001897: PUSH2 0x1ada 0000189a: SWAP1 0000189b: SWAP2 0000189c: SWAP1 0000189d: PUSH4 0xffffffff 000018a2: AND 000018a3: JUMP 000018a4: JUMPDEST 000018a5: PUSH1 0x18 000018a7: SLOAD 000018a8: SWAP1 000018a9: PUSH2 0x1965 000018ac: JUMP 000018ad: JUMPDEST 000018ae: SWAP1 000018af: POP 000018b0: PUSH2 0x18d4 000018b3: DUP9 000018b4: PUSH1 0x05 000018b6: ADD 000018b7: SLOAD 000018b8: PUSH2 0x096b 000018bb: PUSH1 0x1a 000018bd: SLOAD 000018be: PUSH2 0x0965 000018c1: DUP8 000018c2: DUP14 000018c3: PUSH1 0x00 000018c5: ADD 000018c6: SLOAD 000018c7: PUSH2 0x1ada 000018ca: SWAP1 000018cb: SWAP2 000018cc: SWAP1 000018cd: PUSH4 0xffffffff 000018d2: AND 000018d3: JUMP 000018d4: JUMPDEST 000018d5: SWAP7 000018d6: POP 000018d7: PUSH2 0x18fb 000018da: DUP9 000018db: PUSH1 0x06 000018dd: ADD 000018de: SLOAD 000018df: PUSH2 0x096b 000018e2: PUSH1 0x1a 000018e4: SLOAD 000018e5: PUSH2 0x0965 000018e8: DUP6 000018e9: DUP14 000018ea: PUSH1 0x00 000018ec: ADD 000018ed: SLOAD 000018ee: PUSH2 0x1ada 000018f1: SWAP1 000018f2: SWAP2 000018f3: SWAP1 000018f4: PUSH4 0xffffffff 000018f9: AND 000018fa: JUMP 000018fb: JUMPDEST 000018fc: SWAP6 000018fd: POP 000018fe: POP 000018ff: POP 00001900: POP 00001901: POP 00001902: POP 00001903: PUSH2 0x195a 00001906: JUMP 00001907: JUMPDEST 00001908: PUSH2 0x192e 0000190b: DUP4 0000190c: PUSH1 0x05 0000190e: ADD 0000190f: SLOAD 00001910: PUSH2 0x096b 00001913: PUSH1 0x1a 00001915: SLOAD 00001916: PUSH2 0x0965 00001919: PUSH1 0x17 0000191b: SLOAD 0000191c: DUP9 0000191d: PUSH1 0x00 0000191f: ADD 00001920: SLOAD 00001921: PUSH2 0x1ada 00001924: SWAP1 00001925: SWAP2 00001926: SWAP1 00001927: PUSH4 0xffffffff 0000192c: AND 0000192d: JUMP 0000192e: JUMPDEST 0000192f: SWAP2 00001930: POP 00001931: PUSH2 0x1957 00001934: DUP4 00001935: PUSH1 0x06 00001937: ADD 00001938: SLOAD 00001939: PUSH2 0x096b 0000193c: PUSH1 0x1a 0000193e: SLOAD 0000193f: PUSH2 0x0965 00001942: PUSH1 0x18 00001944: SLOAD 00001945: DUP9 00001946: PUSH1 0x00 00001948: ADD 00001949: SLOAD 0000194a: PUSH2 0x1ada 0000194d: SWAP1 0000194e: SWAP2 0000194f: SWAP1 00001950: PUSH4 0xffffffff 00001955: AND 00001956: JUMP 00001957: JUMPDEST 00001958: SWAP1 00001959: POP 0000195a: JUMPDEST 0000195b: SWAP1 0000195c: SWAP6 0000195d: SWAP1 0000195e: SWAP5 0000195f: POP 00001960: SWAP3 00001961: POP 00001962: POP 00001963: POP 00001964: JUMP 00001965: JUMPDEST 00001966: PUSH1 0x00 00001968: DUP1 00001969: PUSH2 0x1972 0000196c: DUP4 0000196d: DUP6 0000196e: PUSH2 0x1e96 00001971: JUMP 00001972: JUMPDEST 00001973: SWAP1 00001974: POP 00001975: DUP4 00001976: DUP2 00001977: LT 00001978: ISZERO 00001979: PUSH2 0x19c4 0000197c: JUMPI 0000197d: PUSH1 0x40 0000197f: MLOAD 00001980: PUSH3 0x461bcd 00001984: PUSH1 0xe5 00001986: SHL 00001987: DUP2 00001988: MSTORE 00001989: PUSH1 0x20 0000198b: PUSH1 0x04 0000198d: DUP3 0000198e: ADD 0000198f: MSTORE 00001990: PUSH1 0x1b 00001992: PUSH1 0x24 00001994: DUP3 00001995: ADD 00001996: MSTORE 00001997: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 000019b8: PUSH1 0x44 000019ba: DUP3 000019bb: ADD 000019bc: MSTORE 000019bd: PUSH1 0x64 000019bf: ADD 000019c0: PUSH2 0x0ae6 000019c3: JUMP 000019c4: JUMPDEST 000019c5: SWAP1 000019c6: POP 000019c7: JUMPDEST 000019c8: SWAP3 000019c9: SWAP2 000019ca: POP 000019cb: POP 000019cc: JUMP 000019cd: JUMPDEST 000019ce: PUSH1 0x19 000019d0: SLOAD 000019d1: TIMESTAMP 000019d2: GT 000019d3: PUSH2 0x19d8 000019d6: JUMPI 000019d7: JUMP 000019d8: JUMPDEST 000019d9: PUSH1 0x1b 000019db: SLOAD 000019dc: PUSH1 0xff 000019de: AND 000019df: ISZERO 000019e0: DUP1 000019e1: PUSH2 0x19ea 000019e4: JUMPI 000019e5: POP 000019e6: PUSH1 0x0a 000019e8: SLOAD 000019e9: ISZERO 000019ea: JUMPDEST 000019eb: ISZERO 000019ec: PUSH2 0x19f5 000019ef: JUMPI 000019f0: TIMESTAMP 000019f1: PUSH1 0x19 000019f3: SSTORE 000019f4: JUMP 000019f5: JUMPDEST 000019f6: PUSH1 0x00 000019f8: PUSH2 0x1a03 000019fb: PUSH1 0x19 000019fd: SLOAD 000019fe: TIMESTAMP 000019ff: PUSH2 0x1d06 00001a02: JUMP 00001a03: JUMPDEST 00001a04: SWAP1 00001a05: POP 00001a06: PUSH1 0x00 00001a08: PUSH2 0x1a1c 00001a0b: PUSH1 0x15 00001a0d: SLOAD 00001a0e: DUP4 00001a0f: PUSH2 0x1ada 00001a12: SWAP1 00001a13: SWAP2 00001a14: SWAP1 00001a15: PUSH4 0xffffffff 00001a1a: AND 00001a1b: JUMP 00001a1c: JUMPDEST 00001a1d: SWAP1 00001a1e: POP 00001a1f: PUSH1 0x11 00001a21: SLOAD 00001a22: DUP2 00001a23: GT 00001a24: ISZERO 00001a25: PUSH2 0x1a2d 00001a28: JUMPI 00001a29: POP 00001a2a: PUSH1 0x11 00001a2c: SLOAD 00001a2d: JUMPDEST 00001a2e: PUSH2 0x1a4b 00001a31: PUSH2 0x1851 00001a34: PUSH1 0x0a 00001a36: SLOAD 00001a37: PUSH2 0x0965 00001a3a: PUSH1 0x1a 00001a3c: SLOAD 00001a3d: DUP6 00001a3e: PUSH2 0x1ada 00001a41: SWAP1 00001a42: SWAP2 00001a43: SWAP1 00001a44: PUSH4 0xffffffff 00001a49: AND 00001a4a: JUMP 00001a4b: JUMPDEST 00001a4c: PUSH1 0x17 00001a4e: SSTORE 00001a4f: PUSH1 0x11 00001a51: SLOAD 00001a52: PUSH2 0x1a5b 00001a55: SWAP1 00001a56: DUP3 00001a57: PUSH2 0x1bb4 00001a5a: JUMP 00001a5b: JUMPDEST 00001a5c: PUSH1 0x11 00001a5e: SSTORE 00001a5f: PUSH1 0x14 00001a61: SLOAD 00001a62: PUSH2 0x1a6b 00001a65: SWAP1 00001a66: DUP3 00001a67: PUSH2 0x1965 00001a6a: JUMP 00001a6b: JUMPDEST 00001a6c: PUSH1 0x14 00001a6e: SSTORE 00001a6f: PUSH1 0x16 00001a71: SLOAD 00001a72: PUSH1 0x00 00001a74: SWAP1 00001a75: PUSH2 0x1a7f 00001a78: SWAP1 00001a79: DUP5 00001a7a: SWAP1 00001a7b: PUSH2 0x1ada 00001a7e: JUMP 00001a7f: JUMPDEST 00001a80: SWAP1 00001a81: POP 00001a82: PUSH1 0x12 00001a84: SLOAD 00001a85: DUP2 00001a86: GT 00001a87: ISZERO 00001a88: PUSH2 0x1a90 00001a8b: JUMPI 00001a8c: POP 00001a8d: PUSH1 0x12 00001a8f: SLOAD 00001a90: JUMPDEST 00001a91: PUSH2 0x1aae 00001a94: PUSH2 0x18a4 00001a97: PUSH1 0x0a 00001a99: SLOAD 00001a9a: PUSH2 0x0965 00001a9d: PUSH1 0x1a 00001a9f: SLOAD 00001aa0: DUP6 00001aa1: PUSH2 0x1ada 00001aa4: SWAP1 00001aa5: SWAP2 00001aa6: SWAP1 00001aa7: PUSH4 0xffffffff 00001aac: AND 00001aad: JUMP 00001aae: JUMPDEST 00001aaf: PUSH1 0x18 00001ab1: SSTORE 00001ab2: PUSH1 0x12 00001ab4: SLOAD 00001ab5: PUSH2 0x1abe 00001ab8: SWAP1 00001ab9: DUP3 00001aba: PUSH2 0x1bb4 00001abd: JUMP 00001abe: JUMPDEST 00001abf: PUSH1 0x12 00001ac1: SSTORE 00001ac2: PUSH1 0x13 00001ac4: SLOAD 00001ac5: PUSH2 0x1ace 00001ac8: SWAP1 00001ac9: DUP3 00001aca: PUSH2 0x1965 00001acd: JUMP 00001ace: JUMPDEST 00001acf: PUSH1 0x13 00001ad1: SSTORE 00001ad2: POP 00001ad3: POP 00001ad4: TIMESTAMP 00001ad5: PUSH1 0x19 00001ad7: SSTORE 00001ad8: POP 00001ad9: JUMP 00001ada: JUMPDEST 00001adb: PUSH1 0x00 00001add: DUP3 00001ade: PUSH2 0x1ae9 00001ae1: JUMPI 00001ae2: POP 00001ae3: PUSH1 0x00 00001ae5: PUSH2 0x19c7 00001ae8: JUMP 00001ae9: JUMPDEST 00001aea: PUSH1 0x00 00001aec: PUSH2 0x1af5 00001aef: DUP4 00001af0: DUP6 00001af1: PUSH2 0x1fbc 00001af4: JUMP 00001af5: JUMPDEST 00001af6: SWAP1 00001af7: POP 00001af8: DUP3 00001af9: PUSH2 0x1b02 00001afc: DUP6 00001afd: DUP4 00001afe: PUSH2 0x1eae 00001b01: JUMP 00001b02: JUMPDEST 00001b03: EQ 00001b04: PUSH2 0x19c4 00001b07: JUMPI 00001b08: PUSH1 0x40 00001b0a: MLOAD 00001b0b: PUSH3 0x461bcd 00001b0f: PUSH1 0xe5 00001b11: SHL 00001b12: DUP2 00001b13: MSTORE 00001b14: PUSH1 0x20 00001b16: PUSH1 0x04 00001b18: DUP3 00001b19: ADD 00001b1a: MSTORE 00001b1b: PUSH1 0x21 00001b1d: PUSH1 0x24 00001b1f: DUP3 00001b20: ADD 00001b21: MSTORE 00001b22: PUSH32 0x536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f 00001b43: PUSH1 0x44 00001b45: DUP3 00001b46: ADD 00001b47: MSTORE 00001b48: PUSH1 0x77 00001b4a: PUSH1 0xf8 00001b4c: SHL 00001b4d: PUSH1 0x64 00001b4f: DUP3 00001b50: ADD 00001b51: MSTORE 00001b52: PUSH1 0x84 00001b54: ADD 00001b55: PUSH2 0x0ae6 00001b58: JUMP 00001b59: JUMPDEST 00001b5a: PUSH1 0x00 00001b5c: DUP1 00001b5d: DUP3 00001b5e: GT 00001b5f: PUSH2 0x1baa 00001b62: JUMPI 00001b63: PUSH1 0x40 00001b65: MLOAD 00001b66: PUSH3 0x461bcd 00001b6a: PUSH1 0xe5 00001b6c: SHL 00001b6d: DUP2 00001b6e: MSTORE 00001b6f: PUSH1 0x20 00001b71: PUSH1 0x04 00001b73: DUP3 00001b74: ADD 00001b75: MSTORE 00001b76: PUSH1 0x1a 00001b78: PUSH1 0x24 00001b7a: DUP3 00001b7b: ADD 00001b7c: MSTORE 00001b7d: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000 00001b9e: PUSH1 0x44 00001ba0: DUP3 00001ba1: ADD 00001ba2: MSTORE 00001ba3: PUSH1 0x64 00001ba5: ADD 00001ba6: PUSH2 0x0ae6 00001ba9: JUMP 00001baa: JUMPDEST 00001bab: PUSH2 0x19c4 00001bae: DUP3 00001baf: DUP5 00001bb0: PUSH2 0x1eae 00001bb3: JUMP 00001bb4: JUMPDEST 00001bb5: PUSH1 0x00 00001bb7: DUP3 00001bb8: DUP3 00001bb9: GT 00001bba: ISZERO 00001bbb: PUSH2 0x1c06 00001bbe: JUMPI 00001bbf: PUSH1 0x40 00001bc1: MLOAD 00001bc2: PUSH3 0x461bcd 00001bc6: PUSH1 0xe5 00001bc8: SHL 00001bc9: DUP2 00001bca: MSTORE 00001bcb: PUSH1 0x20 00001bcd: PUSH1 0x04 00001bcf: DUP3 00001bd0: ADD 00001bd1: MSTORE 00001bd2: PUSH1 0x1e 00001bd4: PUSH1 0x24 00001bd6: DUP3 00001bd7: ADD 00001bd8: MSTORE 00001bd9: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 00001bfa: PUSH1 0x44 00001bfc: DUP3 00001bfd: ADD 00001bfe: MSTORE 00001bff: PUSH1 0x64 00001c01: ADD 00001c02: PUSH2 0x0ae6 00001c05: JUMP 00001c06: JUMPDEST 00001c07: PUSH2 0x19c4 00001c0a: DUP3 00001c0b: DUP5 00001c0c: PUSH2 0x1fdb 00001c0f: JUMP 00001c10: JUMPDEST 00001c11: PUSH1 0x0d 00001c13: SLOAD 00001c14: DUP2 00001c15: EQ 00001c16: ISZERO 00001c17: PUSH2 0x1cbd 00001c1a: JUMPI 00001c1b: PUSH1 0x01 00001c1d: PUSH1 0x01 00001c1f: PUSH1 0xa0 00001c21: SHL 00001c22: SUB 00001c23: DUP4 00001c24: AND 00001c25: PUSH1 0x00 00001c27: SWAP1 00001c28: DUP2 00001c29: MSTORE 00001c2a: PUSH1 0x05 00001c2c: PUSH1 0x20 00001c2e: MSTORE 00001c2f: PUSH1 0x40 00001c31: SWAP1 00001c32: KECCAK256 00001c33: PUSH1 0x0a 00001c35: SLOAD 00001c36: PUSH2 0x1c3f 00001c39: SWAP1 00001c3a: DUP5 00001c3b: PUSH2 0x1965 00001c3e: JUMP 00001c3f: JUMPDEST 00001c40: PUSH1 0x0a 00001c42: SSTORE 00001c43: DUP1 00001c44: SLOAD 00001c45: PUSH2 0x1c4e 00001c48: SWAP1 00001c49: DUP5 00001c4a: PUSH2 0x1965 00001c4d: JUMP 00001c4e: JUMPDEST 00001c4f: DUP2 00001c50: SSTORE 00001c51: PUSH1 0x02 00001c53: DUP2 00001c54: ADD 00001c55: SLOAD 00001c56: ISZERO 00001c57: PUSH2 0x1c64 00001c5a: JUMPI 00001c5b: DUP1 00001c5c: PUSH1 0x02 00001c5e: ADD 00001c5f: SLOAD 00001c60: PUSH2 0x1c66 00001c63: JUMP 00001c64: JUMPDEST 00001c65: TIMESTAMP 00001c66: JUMPDEST 00001c67: PUSH1 0x02 00001c69: DUP3 00001c6a: ADD 00001c6b: SSTORE 00001c6c: PUSH1 0x03 00001c6e: DUP2 00001c6f: ADD 00001c70: SLOAD 00001c71: ISZERO 00001c72: PUSH2 0x1c7f 00001c75: JUMPI 00001c76: DUP1 00001c77: PUSH1 0x03 00001c79: ADD 00001c7a: SLOAD 00001c7b: PUSH2 0x1cb2 00001c7e: JUMP 00001c7f: JUMPDEST 00001c80: PUSH1 0x0f 00001c82: SLOAD 00001c83: PUSH1 0x04 00001c85: SLOAD 00001c86: PUSH2 0x1c91 00001c89: SWAP1 00001c8a: PUSH2 0x2710 00001c8d: PUSH2 0x1eae 00001c90: JUMP 00001c91: JUMPDEST 00001c92: PUSH2 0x1c9b 00001c95: SWAP2 00001c96: SWAP1 00001c97: PUSH2 0x1fbc 00001c9a: JUMP 00001c9b: JUMPDEST 00001c9c: PUSH1 0x03 00001c9e: SLOAD 00001c9f: PUSH2 0x1ca8 00001ca2: SWAP1 00001ca3: TIMESTAMP 00001ca4: PUSH2 0x1e96 00001ca7: JUMP 00001ca8: JUMPDEST 00001ca9: PUSH2 0x1cb2 00001cac: SWAP2 00001cad: SWAP1 00001cae: PUSH2 0x1e96 00001cb1: JUMP 00001cb2: JUMPDEST 00001cb3: PUSH1 0x03 00001cb5: SWAP1 00001cb6: SWAP2 00001cb7: ADD 00001cb8: SSTORE 00001cb9: POP 00001cba: POP 00001cbb: POP 00001cbc: JUMP 00001cbd: JUMPDEST 00001cbe: PUSH1 0x0b 00001cc0: SLOAD 00001cc1: PUSH2 0x1cca 00001cc4: SWAP1 00001cc5: DUP4 00001cc6: PUSH2 0x1965 00001cc9: JUMP 00001cca: JUMPDEST 00001ccb: PUSH1 0x0b 00001ccd: SSTORE 00001cce: PUSH1 0x01 00001cd0: SLOAD 00001cd1: PUSH1 0x40 00001cd3: MLOAD 00001cd4: PUSH4 0xa9059cbb 00001cd9: PUSH1 0xe0 00001cdb: SHL 00001cdc: DUP2 00001cdd: MSTORE 00001cde: PUSH1 0x01 00001ce0: PUSH1 0x01 00001ce2: PUSH1 0xa0 00001ce4: SHL 00001ce5: SUB 00001ce6: DUP6 00001ce7: DUP2 00001ce8: AND 00001ce9: PUSH1 0x04 00001ceb: DUP4 00001cec: ADD 00001ced: MSTORE 00001cee: PUSH1 0x24 00001cf0: DUP3 00001cf1: ADD 00001cf2: DUP6 00001cf3: SWAP1 00001cf4: MSTORE 00001cf5: SWAP1 00001cf6: SWAP2 00001cf7: AND 00001cf8: SWAP1 00001cf9: PUSH4 0xa9059cbb 00001cfe: SWAP1 00001cff: PUSH1 0x44 00001d01: ADD 00001d02: PUSH2 0x0fd5 00001d05: JUMP 00001d06: JUMPDEST 00001d07: PUSH1 0x00 00001d09: PUSH2 0x19c4 00001d0c: DUP3 00001d0d: DUP5 00001d0e: PUSH2 0x1bb4 00001d11: JUMP 00001d12: JUMPDEST 00001d13: DUP1 00001d14: CALLDATALOAD 00001d15: PUSH1 0x01 00001d17: PUSH1 0x01 00001d19: PUSH1 0xa0 00001d1b: SHL 00001d1c: SUB 00001d1d: DUP2 00001d1e: AND 00001d1f: DUP2 00001d20: EQ 00001d21: PUSH2 0x1d29 00001d24: JUMPI 00001d25: PUSH1 0x00 00001d27: DUP1 00001d28: REVERT 00001d29: JUMPDEST 00001d2a: SWAP2 00001d2b: SWAP1 00001d2c: POP 00001d2d: JUMP 00001d2e: JUMPDEST 00001d2f: PUSH1 0x00 00001d31: PUSH1 0x20 00001d33: DUP3 00001d34: DUP5 00001d35: SUB 00001d36: SLT 00001d37: ISZERO 00001d38: PUSH2 0x1d3f 00001d3b: JUMPI 00001d3c: DUP1 00001d3d: DUP2 00001d3e: REVERT 00001d3f: JUMPDEST 00001d40: PUSH2 0x19c4 00001d43: DUP3 00001d44: PUSH2 0x1d12 00001d47: JUMP 00001d48: JUMPDEST 00001d49: PUSH1 0x00 00001d4b: DUP1 00001d4c: PUSH1 0x40 00001d4e: DUP4 00001d4f: DUP6 00001d50: SUB 00001d51: SLT 00001d52: ISZERO 00001d53: PUSH2 0x1d5a 00001d56: JUMPI 00001d57: DUP1 00001d58: DUP2 00001d59: REVERT 00001d5a: JUMPDEST 00001d5b: PUSH2 0x1d63 00001d5e: DUP4 00001d5f: PUSH2 0x1d12 00001d62: JUMP 00001d63: JUMPDEST 00001d64: SWAP2 00001d65: POP 00001d66: PUSH1 0x20 00001d68: DUP4 00001d69: ADD 00001d6a: CALLDATALOAD 00001d6b: PUSH2 0x1d73 00001d6e: DUP2 00001d6f: PUSH2 0x2008 00001d72: JUMP 00001d73: JUMPDEST 00001d74: DUP1 00001d75: SWAP2 00001d76: POP 00001d77: POP 00001d78: SWAP3 00001d79: POP 00001d7a: SWAP3 00001d7b: SWAP1 00001d7c: POP 00001d7d: JUMP 00001d7e: JUMPDEST 00001d7f: PUSH1 0x00 00001d81: DUP1 00001d82: PUSH1 0x40 00001d84: DUP4 00001d85: DUP6 00001d86: SUB 00001d87: SLT 00001d88: ISZERO 00001d89: PUSH2 0x1d90 00001d8c: JUMPI 00001d8d: DUP2 00001d8e: DUP3 00001d8f: REVERT 00001d90: JUMPDEST 00001d91: PUSH2 0x1d99 00001d94: DUP4 00001d95: PUSH2 0x1d12 00001d98: JUMP 00001d99: JUMPDEST 00001d9a: SWAP5 00001d9b: PUSH1 0x20 00001d9d: SWAP4 00001d9e: SWAP1 00001d9f: SWAP4 00001da0: ADD 00001da1: CALLDATALOAD 00001da2: SWAP4 00001da3: POP 00001da4: POP 00001da5: POP 00001da6: JUMP 00001da7: JUMPDEST 00001da8: PUSH1 0x00 00001daa: PUSH1 0x20 00001dac: DUP3 00001dad: DUP5 00001dae: SUB 00001daf: SLT 00001db0: ISZERO 00001db1: PUSH2 0x1db8 00001db4: JUMPI 00001db5: DUP1 00001db6: DUP2 00001db7: REVERT 00001db8: JUMPDEST 00001db9: DUP2 00001dba: MLOAD 00001dbb: PUSH2 0x19c4 00001dbe: DUP2 00001dbf: PUSH2 0x2008 00001dc2: JUMP 00001dc3: JUMPDEST 00001dc4: PUSH1 0x00 00001dc6: PUSH1 0x20 00001dc8: DUP3 00001dc9: DUP5 00001dca: SUB 00001dcb: SLT 00001dcc: ISZERO 00001dcd: PUSH2 0x1dd4 00001dd0: JUMPI 00001dd1: DUP1 00001dd2: DUP2 00001dd3: REVERT 00001dd4: JUMPDEST 00001dd5: POP 00001dd6: CALLDATALOAD 00001dd7: SWAP2 00001dd8: SWAP1 00001dd9: POP 00001dda: JUMP 00001ddb: JUMPDEST 00001ddc: PUSH1 0x00 00001dde: DUP1 00001ddf: PUSH1 0x00 00001de1: DUP1 00001de2: PUSH1 0x80 00001de4: DUP6 00001de5: DUP8 00001de6: SUB 00001de7: SLT 00001de8: ISZERO 00001de9: PUSH2 0x1df0 00001dec: JUMPI 00001ded: DUP2 00001dee: DUP3 00001def: REVERT 00001df0: JUMPDEST 00001df1: DUP5 00001df2: CALLDATALOAD 00001df3: SWAP4 00001df4: POP 00001df5: PUSH2 0x1e00 00001df8: PUSH1 0x20 00001dfa: DUP7 00001dfb: ADD 00001dfc: PUSH2 0x1d12 00001dff: JUMP 00001e00: JUMPDEST 00001e01: SWAP4 00001e02: SWAP7 00001e03: SWAP4 00001e04: SWAP6 00001e05: POP 00001e06: POP 00001e07: POP 00001e08: POP 00001e09: PUSH1 0x40 00001e0b: DUP3 00001e0c: ADD 00001e0d: CALLDATALOAD 00001e0e: SWAP2 00001e0f: PUSH1 0x60 00001e11: ADD 00001e12: CALLDATALOAD 00001e13: SWAP1 00001e14: JUMP 00001e15: JUMPDEST 00001e16: PUSH1 0x00 00001e18: DUP1 00001e19: PUSH1 0x00 00001e1b: PUSH1 0x60 00001e1d: DUP5 00001e1e: DUP7 00001e1f: SUB 00001e20: SLT 00001e21: ISZERO 00001e22: PUSH2 0x1e29 00001e25: JUMPI 00001e26: DUP3 00001e27: DUP4 00001e28: REVERT 00001e29: JUMPDEST 00001e2a: POP 00001e2b: POP 00001e2c: DUP2 00001e2d: CALLDATALOAD 00001e2e: SWAP4 00001e2f: PUSH1 0x20 00001e31: DUP4 00001e32: ADD 00001e33: CALLDATALOAD 00001e34: SWAP4 00001e35: POP 00001e36: PUSH1 0x40 00001e38: SWAP1 00001e39: SWAP3 00001e3a: ADD 00001e3b: CALLDATALOAD 00001e3c: SWAP2 00001e3d: SWAP1 00001e3e: POP 00001e3f: JUMP 00001e40: JUMPDEST 00001e41: PUSH1 0x00 00001e43: PUSH1 0x20 00001e45: DUP3 00001e46: DUP5 00001e47: SUB 00001e48: SLT 00001e49: ISZERO 00001e4a: PUSH2 0x1e51 00001e4d: JUMPI 00001e4e: DUP1 00001e4f: DUP2 00001e50: REVERT 00001e51: JUMPDEST 00001e52: DUP2 00001e53: MLOAD 00001e54: PUSH1 0xff 00001e56: DUP2 00001e57: AND 00001e58: DUP2 00001e59: EQ 00001e5a: PUSH2 0x19c4 00001e5d: JUMPI 00001e5e: DUP2 00001e5f: DUP3 00001e60: REVERT 00001e61: JUMPDEST 00001e62: PUSH1 0x20 00001e64: DUP1 00001e65: DUP3 00001e66: MSTORE 00001e67: DUP2 00001e68: DUP2 00001e69: ADD 00001e6a: MSTORE 00001e6b: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00001e8c: PUSH1 0x40 00001e8e: DUP3 00001e8f: ADD 00001e90: MSTORE 00001e91: PUSH1 0x60 00001e93: ADD 00001e94: SWAP1 00001e95: JUMP 00001e96: JUMPDEST 00001e97: PUSH1 0x00 00001e99: DUP3 00001e9a: NOT 00001e9b: DUP3 00001e9c: GT 00001e9d: ISZERO 00001e9e: PUSH2 0x1ea9 00001ea1: JUMPI 00001ea2: PUSH2 0x1ea9 00001ea5: PUSH2 0x1ff2 00001ea8: JUMP 00001ea9: JUMPDEST 00001eaa: POP 00001eab: ADD 00001eac: SWAP1 00001ead: JUMP 00001eae: JUMPDEST 00001eaf: PUSH1 0x00 00001eb1: DUP3 00001eb2: PUSH2 0x1ec9 00001eb5: JUMPI 00001eb6: PUSH4 0x4e487b71 00001ebb: PUSH1 0xe0 00001ebd: SHL 00001ebe: DUP2 00001ebf: MSTORE 00001ec0: PUSH1 0x12 00001ec2: PUSH1 0x04 00001ec4: MSTORE 00001ec5: PUSH1 0x24 00001ec7: DUP2 00001ec8: REVERT 00001ec9: JUMPDEST 00001eca: POP 00001ecb: DIV 00001ecc: SWAP1 00001ecd: JUMP 00001ece: JUMPDEST 00001ecf: PUSH1 0x01 00001ed1: DUP2 00001ed2: DUP2 00001ed3: JUMPDEST 00001ed4: DUP1 00001ed5: DUP6 00001ed6: GT 00001ed7: ISZERO 00001ed8: PUSH2 0x1f09 00001edb: JUMPI 00001edc: DUP2 00001edd: PUSH1 0x00 00001edf: NOT 00001ee0: DIV 00001ee1: DUP3 00001ee2: GT 00001ee3: ISZERO 00001ee4: PUSH2 0x1eef 00001ee7: JUMPI 00001ee8: PUSH2 0x1eef 00001eeb: PUSH2 0x1ff2 00001eee: JUMP 00001eef: JUMPDEST 00001ef0: DUP1 00001ef1: DUP6 00001ef2: AND 00001ef3: ISZERO 00001ef4: PUSH2 0x1efc 00001ef7: JUMPI 00001ef8: SWAP2 00001ef9: DUP2 00001efa: MUL 00001efb: SWAP2 00001efc: JUMPDEST 00001efd: SWAP4 00001efe: DUP5 00001eff: SHR 00001f00: SWAP4 00001f01: SWAP1 00001f02: DUP1 00001f03: MUL 00001f04: SWAP1 00001f05: PUSH2 0x1ed3 00001f08: JUMP 00001f09: JUMPDEST 00001f0a: POP 00001f0b: SWAP3 00001f0c: POP 00001f0d: SWAP3 00001f0e: SWAP1 00001f0f: POP 00001f10: JUMP 00001f11: JUMPDEST 00001f12: PUSH1 0x00 00001f14: PUSH2 0x19c4 00001f17: PUSH1 0xff 00001f19: DUP5 00001f1a: AND 00001f1b: DUP4 00001f1c: PUSH1 0x00 00001f1e: DUP3 00001f1f: PUSH2 0x1f2a 00001f22: JUMPI 00001f23: POP 00001f24: PUSH1 0x01 00001f26: PUSH2 0x19c7 00001f29: JUMP 00001f2a: JUMPDEST 00001f2b: DUP2 00001f2c: PUSH2 0x1f37 00001f2f: JUMPI 00001f30: POP 00001f31: PUSH1 0x00 00001f33: PUSH2 0x19c7 00001f36: JUMP 00001f37: JUMPDEST 00001f38: DUP2 00001f39: PUSH1 0x01 00001f3b: DUP2 00001f3c: EQ 00001f3d: PUSH2 0x1f4d 00001f40: JUMPI 00001f41: PUSH1 0x02 00001f43: DUP2 00001f44: EQ 00001f45: PUSH2 0x1f57 00001f48: JUMPI 00001f49: PUSH2 0x1f73 00001f4c: JUMP 00001f4d: JUMPDEST 00001f4e: PUSH1 0x01 00001f50: SWAP2 00001f51: POP 00001f52: POP 00001f53: PUSH2 0x19c7 00001f56: JUMP 00001f57: JUMPDEST 00001f58: PUSH1 0xff 00001f5a: DUP5 00001f5b: GT 00001f5c: ISZERO 00001f5d: PUSH2 0x1f68 00001f60: JUMPI 00001f61: PUSH2 0x1f68 00001f64: PUSH2 0x1ff2 00001f67: JUMP 00001f68: JUMPDEST 00001f69: POP 00001f6a: POP 00001f6b: PUSH1 0x01 00001f6d: DUP3 00001f6e: SHL 00001f6f: PUSH2 0x19c7 00001f72: JUMP 00001f73: JUMPDEST 00001f74: POP 00001f75: PUSH1 0x20 00001f77: DUP4 00001f78: LT 00001f79: PUSH2 0x0133 00001f7c: DUP4 00001f7d: LT 00001f7e: AND 00001f7f: PUSH1 0x4e 00001f81: DUP5 00001f82: LT 00001f83: PUSH1 0x0b 00001f85: DUP5 00001f86: LT 00001f87: AND 00001f88: OR 00001f89: ISZERO 00001f8a: PUSH2 0x1f96 00001f8d: JUMPI 00001f8e: POP 00001f8f: DUP2 00001f90: DUP2 00001f91: EXP 00001f92: PUSH2 0x19c7 00001f95: JUMP 00001f96: JUMPDEST 00001f97: PUSH2 0x1fa0 00001f9a: DUP4 00001f9b: DUP4 00001f9c: PUSH2 0x1ece 00001f9f: JUMP 00001fa0: JUMPDEST 00001fa1: DUP1 00001fa2: PUSH1 0x00 00001fa4: NOT 00001fa5: DIV 00001fa6: DUP3 00001fa7: GT 00001fa8: ISZERO 00001fa9: PUSH2 0x1fb4 00001fac: JUMPI 00001fad: PUSH2 0x1fb4 00001fb0: PUSH2 0x1ff2 00001fb3: JUMP 00001fb4: JUMPDEST 00001fb5: MUL 00001fb6: SWAP4 00001fb7: SWAP3 00001fb8: POP 00001fb9: POP 00001fba: POP 00001fbb: JUMP 00001fbc: JUMPDEST 00001fbd: PUSH1 0x00 00001fbf: DUP2 00001fc0: PUSH1 0x00 00001fc2: NOT 00001fc3: DIV 00001fc4: DUP4 00001fc5: GT 00001fc6: DUP3 00001fc7: ISZERO 00001fc8: ISZERO 00001fc9: AND 00001fca: ISZERO 00001fcb: PUSH2 0x1fd6 00001fce: JUMPI 00001fcf: PUSH2 0x1fd6 00001fd2: PUSH2 0x1ff2 00001fd5: JUMP 00001fd6: JUMPDEST 00001fd7: POP 00001fd8: MUL 00001fd9: SWAP1 00001fda: JUMP 00001fdb: JUMPDEST 00001fdc: PUSH1 0x00 00001fde: DUP3 00001fdf: DUP3 00001fe0: LT 00001fe1: ISZERO 00001fe2: PUSH2 0x1fed 00001fe5: JUMPI 00001fe6: PUSH2 0x1fed 00001fe9: PUSH2 0x1ff2 00001fec: JUMP 00001fed: JUMPDEST 00001fee: POP 00001fef: SUB 00001ff0: SWAP1 00001ff1: JUMP 00001ff2: JUMPDEST 00001ff3: PUSH4 0x4e487b71 00001ff8: PUSH1 0xe0 00001ffa: SHL 00001ffb: PUSH1 0x00 00001ffd: MSTORE 00001ffe: PUSH1 0x11 00002000: PUSH1 0x04 00002002: MSTORE 00002003: PUSH1 0x24 00002005: PUSH1 0x00 00002007: REVERT 00002008: JUMPDEST 00002009: DUP1 0000200a: ISZERO 0000200b: ISZERO 0000200c: DUP2 0000200d: EQ 0000200e: PUSH2 0x2016 00002011: JUMPI 00002012: PUSH1 0x00 00002014: DUP1 00002015: REVERT 00002016: JUMPDEST 00002017: POP 00002018: JUMP 00002019: INVALID 0000201a: LOG2 0000201b: PUSH5 0x6970667358 00002021: UNKNOWN(0x22) 00002022: SLT 00002023: KECCAK256 00002024: UNKNOWN(0xB9) 00002025: UNKNOWN(0xDD) 00002026: MOD 00002027: UNKNOWN(0xEC) 00002028: DUP4 00002029: SWAP2 0000202a: UNKNOWN(0x4D) 0000202b: PUSH5 0x5c45940c7d 00002031: PUSH12 0xcedb1a0b56f6dc9d55505758 0000203e: KECCAK256 0000203f: UNKNOWN(0xBE) 00002040: POP 00002041: PUSH22
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x98c60e92f92f5f4f70b802e10ee3a4384c18220432d8d45e6a20c14c29820f24
call_targets:
0xcd9c7c57a2d1468686c2d141530f7b70e771c05a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x98c60e92f92f5f4f70b802e10ee3a4384c18220432d8d45e6a20c14c29820f24",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xcd9c7c57a2d1468686c2d141530f7b70e771c05a"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xefb64d51",
"selector": "0xefb64d51",
"calldata_variants": [
"0xefb64d51",
"0xefb64d510000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf1377164",
"selector": "0xf1377164",
"calldata_variants": [
"0xf1377164",
"0xf13771640000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf40f0f52",
"selector": "0xf40f0f52",
"calldata_variants": [
"0xf40f0f52",
"0xf40f0f520000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf7c618c1",
"selector": "0xf7c618c1",
"calldata_variants": [
"0xf7c618c1",
"0xf7c618c10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfd33d040",
"selector": "0xfd33d040",
"calldata_variants": [
"0xfd33d040",
"0xfd33d0400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce98d80a",
"selector": "0xce98d80a",
"calldata_variants": [
"0xce98d80a",
"0xce98d80a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd2a14151",
"selector": "0xd2a14151",
"calldata_variants": [
"0xd2a14151",
"0xd2a141510000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2261,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2551,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2635,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 7,
"guards_detected": [],
"untrusted_call_count": 7
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x98c60e92f92f5f4f70b802e10ee3a4384c18220432d8d45e6a20c14c29820f24
call_targets:
0xcd9c7c57a2d1468686c2d141530f7b70e771c05a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x98c60e92f92f5f4f70b802e10ee3a4384c18220432d8d45e6a20c14c29820f24",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xcd9c7c57a2d1468686c2d141530f7b70e771c05a"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xefb64d51",
"selector": "0xefb64d51",
"calldata_variants": [
"0xefb64d51",
"0xefb64d510000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf1377164",
"selector": "0xf1377164",
"calldata_variants": [
"0xf1377164",
"0xf13771640000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf40f0f52",
"selector": "0xf40f0f52",
"calldata_variants": [
"0xf40f0f52",
"0xf40f0f520000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf7c618c1",
"selector": "0xf7c618c1",
"calldata_variants": [
"0xf7c618c1",
"0xf7c618c10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfd33d040",
"selector": "0xfd33d040",
"calldata_variants": [
"0xfd33d040",
"0xfd33d0400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce98d80a",
"selector": "0xce98d80a",
"calldata_variants": [
"0xce98d80a",
"0xce98d80a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd2a14151",
"selector": "0xd2a14151",
"calldata_variants": [
"0xd2a14151",
"0xd2a141510000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2261,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2551,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2635,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 7,
"guards_detected": []
}
|
| info | other | cast | Heavy EXTCODE*/BALANCE usage | 55 | no | — |
viewevidence_json{
"notes": "frequent external code or balance checks; may indicate introspection or validation logic",
"ext_balance_count": 8
}
|