019ba927-db5d-73d1-9072-08cd2348bd40
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 |
|---|---|---|---|---|
| 34878 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 34879 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 34880 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 34881 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 34882 | capability.graph | complete | 1 / 3 | 3 months ago |
| 34883 | detector.run | complete | 1 / 3 | 3 months ago |
| 34884 | 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: CALLVALUE 00000006: DUP1 00000007: ISZERO 00000008: PUSH2 0x0010 0000000b: JUMPI 0000000c: PUSH1 0x00 0000000e: DUP1 0000000f: REVERT 00000010: JUMPDEST 00000011: POP 00000012: PUSH1 0x04 00000014: CALLDATASIZE 00000015: LT 00000016: PUSH2 0x01ef 00000019: JUMPI 0000001a: PUSH1 0x00 0000001c: CALLDATALOAD 0000001d: PUSH1 0xe0 0000001f: SHR 00000020: DUP1 00000021: PUSH4 0x8b876347 00000026: GT 00000027: PUSH2 0x010f 0000002a: JUMPI 0000002b: DUP1 0000002c: PUSH4 0xbfd9041b 00000031: GT 00000032: PUSH2 0x00a2 00000035: JUMPI 00000036: DUP1 00000037: PUSH4 0xdf136d65 0000003c: GT 0000003d: PUSH2 0x0071 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0xdf136d65 00000047: EQ 00000048: PUSH2 0x0402 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0xe9fad8ee 00000052: EQ 00000053: PUSH2 0x040a 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0xebe2b12b 0000005d: EQ 0000005e: PUSH2 0x0412 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0xf2fde38b 00000068: EQ 00000069: PUSH2 0x041a 0000006c: JUMPI 0000006d: PUSH2 0x01ef 00000070: JUMP 00000071: JUMPDEST 00000072: DUP1 00000073: PUSH4 0xbfd9041b 00000078: EQ 00000079: PUSH2 0x03cd 0000007c: JUMPI 0000007d: DUP1 0000007e: PUSH4 0xc8f33c91 00000083: EQ 00000084: PUSH2 0x03d5 00000087: JUMPI 00000088: DUP1 00000089: PUSH4 0xcd3daf9d 0000008e: EQ 0000008f: PUSH2 0x03dd 00000092: JUMPI 00000093: DUP1 00000094: PUSH4 0xd49a32a8 00000099: EQ 0000009a: PUSH2 0x03e5 0000009d: JUMPI 0000009e: PUSH2 0x01ef 000000a1: JUMP 000000a2: JUMPDEST 000000a3: DUP1 000000a4: PUSH4 0x9c907b58 000000a9: GT 000000aa: PUSH2 0x00de 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x9c907b58 000000b4: EQ 000000b5: PUSH2 0x0398 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0xa694fc3a 000000bf: EQ 000000c0: PUSH2 0x03a0 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0xb05fa2e0 000000ca: EQ 000000cb: PUSH2 0x03bd 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0xb495d47a 000000d5: EQ 000000d6: PUSH2 0x03c5 000000d9: JUMPI 000000da: PUSH2 0x01ef 000000dd: JUMP 000000de: JUMPDEST 000000df: DUP1 000000e0: PUSH4 0x8b876347 000000e5: EQ 000000e6: PUSH2 0x0346 000000e9: JUMPI 000000ea: DUP1 000000eb: PUSH4 0x8da58897 000000f0: EQ 000000f1: PUSH2 0x036c 000000f4: JUMPI 000000f5: DUP1 000000f6: PUSH4 0x8da5cb5b 000000fb: EQ 000000fc: PUSH2 0x0374 000000ff: JUMPI 00000100: DUP1 00000101: PUSH4 0x8f32d59b 00000106: EQ 00000107: PUSH2 0x037c 0000010a: JUMPI 0000010b: PUSH2 0x01ef 0000010e: JUMP 0000010f: JUMPDEST 00000110: DUP1 00000111: PUSH4 0x3d18b912 00000116: GT 00000117: PUSH2 0x0187 0000011a: JUMPI 0000011b: DUP1 0000011c: PUSH4 0x70a08231 00000121: GT 00000122: PUSH2 0x0156 00000125: JUMPI 00000126: DUP1 00000127: PUSH4 0x70a08231 0000012c: EQ 0000012d: PUSH2 0x0308 00000130: JUMPI 00000131: DUP1 00000132: PUSH4 0x715018a6 00000137: EQ 00000138: PUSH2 0x032e 0000013b: JUMPI 0000013c: DUP1 0000013d: PUSH4 0x7b0a47ee 00000142: EQ 00000143: PUSH2 0x0336 00000146: JUMPI 00000147: DUP1 00000148: PUSH4 0x80faa57d 0000014d: EQ 0000014e: PUSH2 0x033e 00000151: JUMPI 00000152: PUSH2 0x01ef 00000155: JUMP 00000156: JUMPDEST 00000157: DUP1 00000158: PUSH4 0x3d18b912 0000015d: EQ 0000015e: PUSH2 0x02ae 00000161: JUMPI 00000162: DUP1 00000163: PUSH4 0x3ef0cc7b 00000168: EQ 00000169: PUSH2 0x02b6 0000016c: JUMPI 0000016d: DUP1 0000016e: PUSH4 0x542c3f58 00000173: EQ 00000174: PUSH2 0x02dc 00000177: JUMPI 00000178: DUP1 00000179: PUSH4 0x6498bfe3 0000017e: EQ 0000017f: PUSH2 0x0300 00000182: JUMPI 00000183: PUSH2 0x01ef 00000186: JUMP 00000187: JUMPDEST 00000188: DUP1 00000189: PUSH4 0x1be05289 0000018e: GT 0000018f: PUSH2 0x01c3 00000192: JUMPI 00000193: DUP1 00000194: PUSH4 0x1be05289 00000199: EQ 0000019a: PUSH2 0x0262 0000019d: JUMPI 0000019e: DUP1 0000019f: PUSH4 0x2e1a7d4d 000001a4: EQ 000001a5: PUSH2 0x026a 000001a8: JUMPI 000001a9: DUP1 000001aa: PUSH4 0x3c6b16ab 000001af: EQ 000001b0: PUSH2 0x0289 000001b3: JUMPI 000001b4: DUP1 000001b5: PUSH4 0x3ca63726 000001ba: EQ 000001bb: PUSH2 0x02a6 000001be: JUMPI 000001bf: PUSH2 0x01ef 000001c2: JUMP 000001c3: JUMPDEST 000001c4: DUP1 000001c5: PUSH3 0x8cc262 000001c9: EQ 000001ca: PUSH2 0x01f4 000001cd: JUMPI 000001ce: DUP1 000001cf: PUSH4 0x0197d972 000001d4: EQ 000001d5: PUSH2 0x022c 000001d8: JUMPI 000001d9: DUP1 000001da: PUSH4 0x0700037d 000001df: EQ 000001e0: PUSH2 0x0234 000001e3: JUMPI 000001e4: DUP1 000001e5: PUSH4 0x18160ddd 000001ea: EQ 000001eb: PUSH2 0x025a 000001ee: JUMPI 000001ef: JUMPDEST 000001f0: PUSH1 0x00 000001f2: DUP1 000001f3: REVERT 000001f4: JUMPDEST 000001f5: PUSH2 0x021a 000001f8: PUSH1 0x04 000001fa: DUP1 000001fb: CALLDATASIZE 000001fc: SUB 000001fd: PUSH1 0x20 000001ff: DUP2 00000200: LT 00000201: ISZERO 00000202: PUSH2 0x020a 00000205: JUMPI 00000206: PUSH1 0x00 00000208: DUP1 00000209: REVERT 0000020a: JUMPDEST 0000020b: POP 0000020c: CALLDATALOAD 0000020d: PUSH1 0x01 0000020f: PUSH1 0x01 00000211: PUSH1 0xa0 00000213: SHL 00000214: SUB 00000215: AND 00000216: PUSH2 0x0440 00000219: JUMP 0000021a: JUMPDEST 0000021b: PUSH1 0x40 0000021d: DUP1 0000021e: MLOAD 0000021f: SWAP2 00000220: DUP3 00000221: MSTORE 00000222: MLOAD 00000223: SWAP1 00000224: DUP2 00000225: SWAP1 00000226: SUB 00000227: PUSH1 0x20 00000229: ADD 0000022a: SWAP1 0000022b: RETURN 0000022c: JUMPDEST 0000022d: PUSH2 0x021a 00000230: PUSH2 0x04c6 00000233: JUMP 00000234: JUMPDEST 00000235: PUSH2 0x021a 00000238: PUSH1 0x04 0000023a: DUP1 0000023b: CALLDATASIZE 0000023c: SUB 0000023d: PUSH1 0x20 0000023f: DUP2 00000240: LT 00000241: ISZERO 00000242: PUSH2 0x024a 00000245: JUMPI 00000246: PUSH1 0x00 00000248: DUP1 00000249: REVERT 0000024a: JUMPDEST 0000024b: POP 0000024c: CALLDATALOAD 0000024d: PUSH1 0x01 0000024f: PUSH1 0x01 00000251: PUSH1 0xa0 00000253: SHL 00000254: SUB 00000255: AND 00000256: PUSH2 0x04ce 00000259: JUMP 0000025a: JUMPDEST 0000025b: PUSH2 0x021a 0000025e: PUSH2 0x04e0 00000261: JUMP 00000262: JUMPDEST 00000263: PUSH2 0x021a 00000266: PUSH2 0x04e7 00000269: JUMP 0000026a: JUMPDEST 0000026b: PUSH2 0x0287 0000026e: PUSH1 0x04 00000270: DUP1 00000271: CALLDATASIZE 00000272: SUB 00000273: PUSH1 0x20 00000275: DUP2 00000276: LT 00000277: ISZERO 00000278: PUSH2 0x0280 0000027b: JUMPI 0000027c: PUSH1 0x00 0000027e: DUP1 0000027f: REVERT 00000280: JUMPDEST 00000281: POP 00000282: CALLDATALOAD 00000283: PUSH2 0x04ee 00000286: JUMP 00000287: JUMPDEST 00000288: STOP 00000289: JUMPDEST 0000028a: PUSH2 0x0287 0000028d: PUSH1 0x04 0000028f: DUP1 00000290: CALLDATASIZE 00000291: SUB 00000292: PUSH1 0x20 00000294: DUP2 00000295: LT 00000296: ISZERO 00000297: PUSH2 0x029f 0000029a: JUMPI 0000029b: PUSH1 0x00 0000029d: DUP1 0000029e: REVERT 0000029f: JUMPDEST 000002a0: POP 000002a1: CALLDATALOAD 000002a2: PUSH2 0x05d5 000002a5: JUMP 000002a6: JUMPDEST 000002a7: PUSH2 0x021a 000002aa: PUSH2 0x0806 000002ad: JUMP 000002ae: JUMPDEST 000002af: PUSH2 0x0287 000002b2: PUSH2 0x080c 000002b5: JUMP 000002b6: JUMPDEST 000002b7: PUSH2 0x0287 000002ba: PUSH1 0x04 000002bc: DUP1 000002bd: CALLDATASIZE 000002be: SUB 000002bf: PUSH1 0x20 000002c1: DUP2 000002c2: LT 000002c3: ISZERO 000002c4: PUSH2 0x02cc 000002c7: JUMPI 000002c8: PUSH1 0x00 000002ca: DUP1 000002cb: REVERT 000002cc: JUMPDEST 000002cd: POP 000002ce: CALLDATALOAD 000002cf: PUSH1 0x01 000002d1: PUSH1 0x01 000002d3: PUSH1 0xa0 000002d5: SHL 000002d6: SUB 000002d7: AND 000002d8: PUSH2 0x09dc 000002db: JUMP 000002dc: JUMPDEST 000002dd: PUSH2 0x02e4 000002e0: PUSH2 0x0a8f 000002e3: JUMP 000002e4: JUMPDEST 000002e5: PUSH1 0x40 000002e7: DUP1 000002e8: MLOAD 000002e9: PUSH1 0x01 000002eb: PUSH1 0x01 000002ed: PUSH1 0xa0 000002ef: SHL 000002f0: SUB 000002f1: SWAP1 000002f2: SWAP3 000002f3: AND 000002f4: DUP3 000002f5: MSTORE 000002f6: MLOAD 000002f7: SWAP1 000002f8: DUP2 000002f9: SWAP1 000002fa: SUB 000002fb: PUSH1 0x20 000002fd: ADD 000002fe: SWAP1 000002ff: RETURN 00000300: JUMPDEST 00000301: PUSH2 0x0287 00000304: PUSH2 0x0a9e 00000307: JUMP 00000308: JUMPDEST 00000309: PUSH2 0x021a 0000030c: PUSH1 0x04 0000030e: DUP1 0000030f: CALLDATASIZE 00000310: SUB 00000311: PUSH1 0x20 00000313: DUP2 00000314: LT 00000315: ISZERO 00000316: PUSH2 0x031e 00000319: JUMPI 0000031a: PUSH1 0x00 0000031c: DUP1 0000031d: REVERT 0000031e: JUMPDEST 0000031f: POP 00000320: CALLDATALOAD 00000321: PUSH1 0x01 00000323: PUSH1 0x01 00000325: PUSH1 0xa0 00000327: SHL 00000328: SUB 00000329: AND 0000032a: PUSH2 0x0afa 0000032d: JUMP 0000032e: JUMPDEST 0000032f: PUSH2 0x0287 00000332: PUSH2 0x0b15 00000335: JUMP 00000336: JUMPDEST 00000337: PUSH2 0x021a 0000033a: PUSH2 0x0bb8 0000033d: JUMP 0000033e: JUMPDEST 0000033f: PUSH2 0x021a 00000342: PUSH2 0x0bbe 00000345: JUMP 00000346: JUMPDEST 00000347: PUSH2 0x021a 0000034a: PUSH1 0x04 0000034c: DUP1 0000034d: CALLDATASIZE 0000034e: SUB 0000034f: PUSH1 0x20 00000351: DUP2 00000352: LT 00000353: ISZERO 00000354: PUSH2 0x035c 00000357: JUMPI 00000358: PUSH1 0x00 0000035a: DUP1 0000035b: REVERT 0000035c: JUMPDEST 0000035d: POP 0000035e: CALLDATALOAD 0000035f: PUSH1 0x01 00000361: PUSH1 0x01 00000363: PUSH1 0xa0 00000365: SHL 00000366: SUB 00000367: AND 00000368: PUSH2 0x0bd1 0000036b: JUMP 0000036c: JUMPDEST 0000036d: PUSH2 0x021a 00000370: PUSH2 0x0be3 00000373: JUMP 00000374: JUMPDEST 00000375: PUSH2 0x02e4 00000378: PUSH2 0x0be9 0000037b: JUMP 0000037c: JUMPDEST 0000037d: PUSH2 0x0384 00000380: PUSH2 0x0bf8 00000383: JUMP 00000384: JUMPDEST 00000385: PUSH1 0x40 00000387: DUP1 00000388: MLOAD 00000389: SWAP2 0000038a: ISZERO 0000038b: ISZERO 0000038c: DUP3 0000038d: MSTORE 0000038e: MLOAD 0000038f: SWAP1 00000390: DUP2 00000391: SWAP1 00000392: SUB 00000393: PUSH1 0x20 00000395: ADD 00000396: SWAP1 00000397: RETURN 00000398: JUMPDEST 00000399: PUSH2 0x021a 0000039c: PUSH2 0x0c1e 0000039f: JUMP 000003a0: JUMPDEST 000003a1: PUSH2 0x0287 000003a4: PUSH1 0x04 000003a6: DUP1 000003a7: CALLDATASIZE 000003a8: SUB 000003a9: PUSH1 0x20 000003ab: DUP2 000003ac: LT 000003ad: ISZERO 000003ae: PUSH2 0x03b6 000003b1: JUMPI 000003b2: PUSH1 0x00 000003b4: DUP1 000003b5: REVERT 000003b6: JUMPDEST 000003b7: POP 000003b8: CALLDATALOAD 000003b9: PUSH2 0x0c24 000003bc: JUMP 000003bd: JUMPDEST 000003be: PUSH2 0x021a 000003c1: PUSH2 0x0e48 000003c4: JUMP 000003c5: JUMPDEST 000003c6: PUSH2 0x02e4 000003c9: PUSH2 0x0e4e 000003cc: JUMP 000003cd: JUMPDEST 000003ce: PUSH2 0x02e4 000003d1: PUSH2 0x0e5d 000003d4: JUMP 000003d5: JUMPDEST 000003d6: PUSH2 0x021a 000003d9: PUSH2 0x0e6c 000003dc: JUMP 000003dd: JUMPDEST 000003de: PUSH2 0x021a 000003e1: PUSH2 0x0e72 000003e4: JUMP 000003e5: JUMPDEST 000003e6: PUSH2 0x0287 000003e9: PUSH1 0x04 000003eb: DUP1 000003ec: CALLDATASIZE 000003ed: SUB 000003ee: PUSH1 0x20 000003f0: DUP2 000003f1: LT 000003f2: ISZERO 000003f3: PUSH2 0x03fb 000003f6: JUMPI 000003f7: PUSH1 0x00 000003f9: DUP1 000003fa: REVERT 000003fb: JUMPDEST 000003fc: POP 000003fd: CALLDATALOAD 000003fe: PUSH2 0x0ec6 00000401: JUMP 00000402: JUMPDEST 00000403: PUSH2 0x021a 00000406: PUSH2 0x0fe0 00000409: JUMP 0000040a: JUMPDEST 0000040b: PUSH2 0x0287 0000040e: PUSH2 0x0fe6 00000411: JUMP 00000412: JUMPDEST 00000413: PUSH2 0x021a 00000416: PUSH2 0x1001 00000419: JUMP 0000041a: JUMPDEST 0000041b: PUSH2 0x0287 0000041e: PUSH1 0x04 00000420: DUP1 00000421: CALLDATASIZE 00000422: SUB 00000423: PUSH1 0x20 00000425: DUP2 00000426: LT 00000427: ISZERO 00000428: PUSH2 0x0430 0000042b: JUMPI 0000042c: PUSH1 0x00 0000042e: DUP1 0000042f: REVERT 00000430: JUMPDEST 00000431: POP 00000432: CALLDATALOAD 00000433: PUSH1 0x01 00000435: PUSH1 0x01 00000437: PUSH1 0xa0 00000439: SHL 0000043a: SUB 0000043b: AND 0000043c: PUSH2 0x1007 0000043f: JUMP 00000440: JUMPDEST 00000441: PUSH1 0x01 00000443: PUSH1 0x01 00000445: PUSH1 0xa0 00000447: SHL 00000448: SUB 00000449: DUP2 0000044a: AND 0000044b: PUSH1 0x00 0000044d: SWAP1 0000044e: DUP2 0000044f: MSTORE 00000450: PUSH1 0x0c 00000452: PUSH1 0x20 00000454: SWAP1 00000455: DUP2 00000456: MSTORE 00000457: PUSH1 0x40 00000459: DUP1 0000045a: DUP4 0000045b: KECCAK256 0000045c: SLOAD 0000045d: PUSH1 0x0b 0000045f: SWAP1 00000460: SWAP3 00000461: MSTORE 00000462: DUP3 00000463: KECCAK256 00000464: SLOAD 00000465: PUSH2 0x04c0 00000468: SWAP2 00000469: SWAP1 0000046a: PUSH2 0x04b4 0000046d: SWAP1 0000046e: PUSH8 0x0de0b6b3a7640000 00000477: SWAP1 00000478: PUSH2 0x04a8 0000047b: SWAP1 0000047c: PUSH2 0x0493 0000047f: SWAP1 00000480: PUSH2 0x0487 00000483: PUSH2 0x0e72 00000486: JUMP 00000487: JUMPDEST 00000488: SWAP1 00000489: PUSH4 0xffffffff 0000048e: PUSH2 0x106c 00000491: AND 00000492: JUMP 00000493: JUMPDEST 00000494: PUSH2 0x049c 00000497: DUP9 00000498: PUSH2 0x0afa 0000049b: JUMP 0000049c: JUMPDEST 0000049d: SWAP1 0000049e: PUSH4 0xffffffff 000004a3: PUSH2 0x10b5 000004a6: AND 000004a7: JUMP 000004a8: JUMPDEST 000004a9: SWAP1 000004aa: PUSH4 0xffffffff 000004af: PUSH2 0x110e 000004b2: AND 000004b3: JUMP 000004b4: JUMPDEST 000004b5: SWAP1 000004b6: PUSH4 0xffffffff 000004bb: PUSH2 0x1150 000004be: AND 000004bf: JUMP 000004c0: JUMPDEST 000004c1: SWAP3 000004c2: SWAP2 000004c3: POP 000004c4: POP 000004c5: JUMP 000004c6: JUMPDEST 000004c7: PUSH4 0x01e13380 000004cc: DUP2 000004cd: JUMP 000004ce: JUMPDEST 000004cf: PUSH1 0x0c 000004d1: PUSH1 0x20 000004d3: MSTORE 000004d4: PUSH1 0x00 000004d6: SWAP1 000004d7: DUP2 000004d8: MSTORE 000004d9: PUSH1 0x40 000004db: SWAP1 000004dc: KECCAK256 000004dd: SLOAD 000004de: DUP2 000004df: JUMP 000004e0: JUMPDEST 000004e1: PUSH1 0x01 000004e3: SLOAD 000004e4: JUMPDEST 000004e5: SWAP1 000004e6: JUMP 000004e7: JUMPDEST 000004e8: PUSH3 0x093a80 000004ec: DUP2 000004ed: JUMP 000004ee: JUMPDEST 000004ef: CALLER 000004f0: PUSH2 0x04f7 000004f3: PUSH2 0x0e72 000004f6: JUMP 000004f7: JUMPDEST 000004f8: PUSH1 0x0a 000004fa: SSTORE 000004fb: PUSH2 0x0502 000004fe: PUSH2 0x0bbe 00000501: JUMP 00000502: JUMPDEST 00000503: PUSH1 0x09 00000505: SSTORE 00000506: PUSH1 0x01 00000508: PUSH1 0x01 0000050a: PUSH1 0xa0 0000050c: SHL 0000050d: SUB 0000050e: DUP2 0000050f: AND 00000510: ISZERO 00000511: PUSH2 0x0549 00000514: JUMPI 00000515: PUSH2 0x051d 00000518: DUP2 00000519: PUSH2 0x0440 0000051c: JUMP 0000051d: JUMPDEST 0000051e: PUSH1 0x01 00000520: PUSH1 0x01 00000522: PUSH1 0xa0 00000524: SHL 00000525: SUB 00000526: DUP3 00000527: AND 00000528: PUSH1 0x00 0000052a: SWAP1 0000052b: DUP2 0000052c: MSTORE 0000052d: PUSH1 0x0c 0000052f: PUSH1 0x20 00000531: SWAP1 00000532: DUP2 00000533: MSTORE 00000534: PUSH1 0x40 00000536: DUP1 00000537: DUP4 00000538: KECCAK256 00000539: SWAP4 0000053a: SWAP1 0000053b: SWAP4 0000053c: SSTORE 0000053d: PUSH1 0x0a 0000053f: SLOAD 00000540: PUSH1 0x0b 00000542: SWAP1 00000543: SWAP2 00000544: MSTORE 00000545: SWAP2 00000546: SWAP1 00000547: KECCAK256 00000548: SSTORE 00000549: JUMPDEST 0000054a: PUSH1 0x00 0000054c: DUP3 0000054d: GT 0000054e: PUSH2 0x0592 00000551: JUMPI 00000552: PUSH1 0x40 00000554: DUP1 00000555: MLOAD 00000556: PUSH3 0x461bcd 0000055a: PUSH1 0xe5 0000055c: SHL 0000055d: DUP2 0000055e: MSTORE 0000055f: PUSH1 0x20 00000561: PUSH1 0x04 00000563: DUP3 00000564: ADD 00000565: MSTORE 00000566: PUSH1 0x11 00000568: PUSH1 0x24 0000056a: DUP3 0000056b: ADD 0000056c: MSTORE 0000056d: PUSH17 0x043616e6e6f74207769746864726177203 0000057f: PUSH1 0x7c 00000581: SHL 00000582: PUSH1 0x44 00000584: DUP3 00000585: ADD 00000586: MSTORE 00000587: SWAP1 00000588: MLOAD 00000589: SWAP1 0000058a: DUP2 0000058b: SWAP1 0000058c: SUB 0000058d: PUSH1 0x64 0000058f: ADD 00000590: SWAP1 00000591: REVERT 00000592: JUMPDEST 00000593: PUSH2 0x059b 00000596: DUP3 00000597: PUSH2 0x11aa 0000059a: JUMP 0000059b: JUMPDEST 0000059c: PUSH1 0x40 0000059e: DUP1 0000059f: MLOAD 000005a0: DUP4 000005a1: DUP2 000005a2: MSTORE 000005a3: SWAP1 000005a4: MLOAD 000005a5: CALLER 000005a6: SWAP2 000005a7: PUSH32 0x7084f5476618d8e60b11ef0d7d3f06914655adb8793e28ff7f018d4c76d505d5 000005c8: SWAP2 000005c9: SWAP1 000005ca: DUP2 000005cb: SWAP1 000005cc: SUB 000005cd: PUSH1 0x20 000005cf: ADD 000005d0: SWAP1 000005d1: LOG2 000005d2: POP 000005d3: POP 000005d4: JUMP 000005d5: JUMPDEST 000005d6: PUSH2 0x05dd 000005d9: PUSH2 0x0bf8 000005dc: JUMP 000005dd: JUMPDEST 000005de: PUSH2 0x062e 000005e1: JUMPI 000005e2: PUSH1 0x40 000005e4: DUP1 000005e5: MLOAD 000005e6: PUSH3 0x461bcd 000005ea: PUSH1 0xe5 000005ec: SHL 000005ed: DUP2 000005ee: MSTORE 000005ef: PUSH1 0x20 000005f1: PUSH1 0x04 000005f3: DUP3 000005f4: ADD 000005f5: DUP2 000005f6: SWAP1 000005f7: MSTORE 000005f8: PUSH1 0x24 000005fa: DUP3 000005fb: ADD 000005fc: MSTORE 000005fd: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 0000061e: PUSH1 0x44 00000620: DUP3 00000621: ADD 00000622: MSTORE 00000623: SWAP1 00000624: MLOAD 00000625: SWAP1 00000626: DUP2 00000627: SWAP1 00000628: SUB 00000629: PUSH1 0x64 0000062b: ADD 0000062c: SWAP1 0000062d: REVERT 0000062e: JUMPDEST 0000062f: PUSH1 0x00 00000631: PUSH2 0x0638 00000634: PUSH2 0x0e72 00000637: JUMP 00000638: JUMPDEST 00000639: PUSH1 0x0a 0000063b: SSTORE 0000063c: PUSH2 0x0643 0000063f: PUSH2 0x0bbe 00000642: JUMP 00000643: JUMPDEST 00000644: PUSH1 0x09 00000646: SSTORE 00000647: PUSH1 0x01 00000649: PUSH1 0x01 0000064b: PUSH1 0xa0 0000064d: SHL 0000064e: SUB 0000064f: DUP2 00000650: AND 00000651: ISZERO 00000652: PUSH2 0x068a 00000655: JUMPI 00000656: PUSH2 0x065e 00000659: DUP2 0000065a: PUSH2 0x0440 0000065d: JUMP 0000065e: JUMPDEST 0000065f: PUSH1 0x01 00000661: PUSH1 0x01 00000663: PUSH1 0xa0 00000665: SHL 00000666: SUB 00000667: DUP3 00000668: AND 00000669: PUSH1 0x00 0000066b: SWAP1 0000066c: DUP2 0000066d: MSTORE 0000066e: PUSH1 0x0c 00000670: PUSH1 0x20 00000672: SWAP1 00000673: DUP2 00000674: MSTORE 00000675: PUSH1 0x40 00000677: DUP1 00000678: DUP4 00000679: KECCAK256 0000067a: SWAP4 0000067b: SWAP1 0000067c: SWAP4 0000067d: SSTORE 0000067e: PUSH1 0x0a 00000680: SLOAD 00000681: PUSH1 0x0b 00000683: SWAP1 00000684: SWAP2 00000685: MSTORE 00000686: SWAP2 00000687: SWAP1 00000688: KECCAK256 00000689: SSTORE 0000068a: JUMPDEST 0000068b: PUSH1 0x07 0000068d: SLOAD 0000068e: TIMESTAMP 0000068f: LT 00000690: PUSH2 0x06ae 00000693: JUMPI 00000694: PUSH2 0x06a6 00000697: DUP3 00000698: PUSH3 0x093a80 0000069c: PUSH4 0xffffffff 000006a1: PUSH2 0x110e 000006a4: AND 000006a5: JUMP 000006a6: JUMPDEST 000006a7: PUSH1 0x08 000006a9: SSTORE 000006aa: PUSH2 0x06fc 000006ad: JUMP 000006ae: JUMPDEST 000006af: PUSH1 0x07 000006b1: SLOAD 000006b2: PUSH1 0x00 000006b4: SWAP1 000006b5: PUSH2 0x06c4 000006b8: SWAP1 000006b9: TIMESTAMP 000006ba: PUSH4 0xffffffff 000006bf: PUSH2 0x106c 000006c2: AND 000006c3: JUMP 000006c4: JUMPDEST 000006c5: SWAP1 000006c6: POP 000006c7: PUSH1 0x00 000006c9: PUSH2 0x06dd 000006cc: PUSH1 0x08 000006ce: SLOAD 000006cf: DUP4 000006d0: PUSH2 0x10b5 000006d3: SWAP1 000006d4: SWAP2 000006d5: SWAP1 000006d6: PUSH4 0xffffffff 000006db: AND 000006dc: JUMP 000006dd: JUMPDEST 000006de: SWAP1 000006df: POP 000006e0: PUSH2 0x06f6 000006e3: PUSH3 0x093a80 000006e7: PUSH2 0x04a8 000006ea: DUP7 000006eb: DUP5 000006ec: PUSH4 0xffffffff 000006f1: PUSH2 0x1150 000006f4: AND 000006f5: JUMP 000006f6: JUMPDEST 000006f7: PUSH1 0x08 000006f9: SSTORE 000006fa: POP 000006fb: POP 000006fc: JUMPDEST 000006fd: PUSH1 0x00 000006ff: PUSH2 0x070f 00000702: DUP4 00000703: PUSH1 0x14 00000705: PUSH4 0xffffffff 0000070a: PUSH2 0x110e 0000070d: AND 0000070e: JUMP 0000070f: JUMPDEST 00000710: PUSH1 0x04 00000712: SLOAD 00000713: SWAP1 00000714: SWAP2 00000715: POP 00000716: PUSH1 0x01 00000718: PUSH1 0x01 0000071a: PUSH1 0xa0 0000071c: SHL 0000071d: SUB 0000071e: AND 0000071f: PUSH4 0x40c10f19 00000724: ADDRESS 00000725: PUSH2 0x0734 00000728: DUP7 00000729: DUP6 0000072a: PUSH4 0xffffffff 0000072f: PUSH2 0x1150 00000732: AND 00000733: JUMP 00000734: JUMPDEST 00000735: PUSH1 0x40 00000737: MLOAD 00000738: DUP4 00000739: PUSH4 0xffffffff 0000073e: AND 0000073f: PUSH1 0xe0 00000741: SHL 00000742: DUP2 00000743: MSTORE 00000744: PUSH1 0x04 00000746: ADD 00000747: DUP1 00000748: DUP4 00000749: PUSH1 0x01 0000074b: PUSH1 0x01 0000074d: PUSH1 0xa0 0000074f: SHL 00000750: SUB 00000751: AND 00000752: PUSH1 0x01 00000754: PUSH1 0x01 00000756: PUSH1 0xa0 00000758: SHL 00000759: SUB 0000075a: AND 0000075b: DUP2 0000075c: MSTORE 0000075d: PUSH1 0x20 0000075f: ADD 00000760: DUP3 00000761: DUP2 00000762: MSTORE 00000763: PUSH1 0x20 00000765: ADD 00000766: SWAP3 00000767: POP 00000768: POP 00000769: POP 0000076a: PUSH1 0x00 0000076c: PUSH1 0x40 0000076e: MLOAD 0000076f: DUP1 00000770: DUP4 00000771: SUB 00000772: DUP2 00000773: PUSH1 0x00 00000775: DUP8 00000776: DUP1 00000777: EXTCODESIZE 00000778: ISZERO 00000779: DUP1 0000077a: ISZERO 0000077b: PUSH2 0x0783 0000077e: JUMPI 0000077f: PUSH1 0x00 00000781: DUP1 00000782: REVERT 00000783: JUMPDEST 00000784: POP 00000785: GAS 00000786: CALL 00000787: ISZERO 00000788: DUP1 00000789: ISZERO 0000078a: PUSH2 0x0797 0000078d: JUMPI 0000078e: RETURNDATASIZE 0000078f: PUSH1 0x00 00000791: DUP1 00000792: RETURNDATACOPY 00000793: RETURNDATASIZE 00000794: PUSH1 0x00 00000796: REVERT 00000797: JUMPDEST 00000798: POP 00000799: POP 0000079a: PUSH1 0x0e 0000079c: SLOAD 0000079d: PUSH2 0x07af 000007a0: SWAP3 000007a1: POP 000007a2: SWAP1 000007a3: POP 000007a4: DUP3 000007a5: PUSH4 0xffffffff 000007aa: PUSH2 0x1150 000007ad: AND 000007ae: JUMP 000007af: JUMPDEST 000007b0: PUSH1 0x0e 000007b2: SSTORE 000007b3: TIMESTAMP 000007b4: PUSH1 0x09 000007b6: DUP2 000007b7: SWAP1 000007b8: SSTORE 000007b9: PUSH2 0x07cb 000007bc: SWAP1 000007bd: PUSH3 0x093a80 000007c1: PUSH4 0xffffffff 000007c6: PUSH2 0x1150 000007c9: AND 000007ca: JUMP 000007cb: JUMPDEST 000007cc: PUSH1 0x07 000007ce: SSTORE 000007cf: PUSH1 0x40 000007d1: DUP1 000007d2: MLOAD 000007d3: DUP5 000007d4: DUP2 000007d5: MSTORE 000007d6: SWAP1 000007d7: MLOAD 000007d8: PUSH32 0xde88a922e0d3b88b24e9623efeb464919c6bf9f66857a65e2bfcf2ce87a9433d 000007f9: SWAP2 000007fa: DUP2 000007fb: SWAP1 000007fc: SUB 000007fd: PUSH1 0x20 000007ff: ADD 00000800: SWAP1 00000801: LOG1 00000802: POP 00000803: POP 00000804: POP 00000805: JUMP 00000806: JUMPDEST 00000807: PUSH1 0x0e 00000809: SLOAD 0000080a: DUP2 0000080b: JUMP 0000080c: JUMPDEST 0000080d: CALLER 0000080e: PUSH2 0x0815 00000811: PUSH2 0x0e72 00000814: JUMP 00000815: JUMPDEST 00000816: PUSH1 0x0a 00000818: SSTORE 00000819: PUSH2 0x0820 0000081c: PUSH2 0x0bbe 0000081f: JUMP 00000820: JUMPDEST 00000821: PUSH1 0x09 00000823: SSTORE 00000824: PUSH1 0x01 00000826: PUSH1 0x01 00000828: PUSH1 0xa0 0000082a: SHL 0000082b: SUB 0000082c: DUP2 0000082d: AND 0000082e: ISZERO 0000082f: PUSH2 0x0867 00000832: JUMPI 00000833: PUSH2 0x083b 00000836: DUP2 00000837: PUSH2 0x0440 0000083a: JUMP 0000083b: JUMPDEST 0000083c: PUSH1 0x01 0000083e: PUSH1 0x01 00000840: PUSH1 0xa0 00000842: SHL 00000843: SUB 00000844: DUP3 00000845: AND 00000846: PUSH1 0x00 00000848: SWAP1 00000849: DUP2 0000084a: MSTORE 0000084b: PUSH1 0x0c 0000084d: PUSH1 0x20 0000084f: SWAP1 00000850: DUP2 00000851: MSTORE 00000852: PUSH1 0x40 00000854: DUP1 00000855: DUP4 00000856: KECCAK256 00000857: SWAP4 00000858: SWAP1 00000859: SWAP4 0000085a: SSTORE 0000085b: PUSH1 0x0a 0000085d: SLOAD 0000085e: PUSH1 0x0b 00000860: SWAP1 00000861: SWAP2 00000862: MSTORE 00000863: SWAP2 00000864: SWAP1 00000865: KECCAK256 00000866: SSTORE 00000867: JUMPDEST 00000868: PUSH1 0x07 0000086a: SLOAD 0000086b: TIMESTAMP 0000086c: LT 0000086d: PUSH2 0x0965 00000870: JUMPI 00000871: PUSH2 0x088b 00000874: PUSH1 0x64 00000876: PUSH2 0x04a8 00000879: PUSH1 0x32 0000087b: PUSH1 0x05 0000087d: SLOAD 0000087e: PUSH2 0x10b5 00000881: SWAP1 00000882: SWAP2 00000883: SWAP1 00000884: PUSH4 0xffffffff 00000889: AND 0000088a: JUMP 0000088b: JUMPDEST 0000088c: PUSH1 0x05 0000088e: DUP2 0000088f: SWAP1 00000890: SSTORE 00000891: PUSH1 0x04 00000893: DUP1 00000894: SLOAD 00000895: PUSH1 0x40 00000897: DUP1 00000898: MLOAD 00000899: PUSH4 0x40c10f19 0000089e: PUSH1 0xe0 000008a0: SHL 000008a1: DUP2 000008a2: MSTORE 000008a3: ADDRESS 000008a4: SWAP4 000008a5: DUP2 000008a6: ADD 000008a7: SWAP4 000008a8: SWAP1 000008a9: SWAP4 000008aa: MSTORE 000008ab: PUSH1 0x24 000008ad: DUP4 000008ae: ADD 000008af: SWAP4 000008b0: SWAP1 000008b1: SWAP4 000008b2: MSTORE 000008b3: SWAP2 000008b4: MLOAD 000008b5: PUSH1 0x01 000008b7: PUSH1 0x01 000008b9: PUSH1 0xa0 000008bb: SHL 000008bc: SUB 000008bd: SWAP1 000008be: SWAP3 000008bf: AND 000008c0: SWAP2 000008c1: PUSH4 0x40c10f19 000008c6: SWAP2 000008c7: PUSH1 0x44 000008c9: DUP1 000008ca: DUP3 000008cb: ADD 000008cc: SWAP3 000008cd: PUSH1 0x00 000008cf: SWAP3 000008d0: SWAP1 000008d1: SWAP2 000008d2: SWAP1 000008d3: DUP3 000008d4: SWAP1 000008d5: SUB 000008d6: ADD 000008d7: DUP2 000008d8: DUP4 000008d9: DUP8 000008da: DUP1 000008db: EXTCODESIZE 000008dc: ISZERO 000008dd: DUP1 000008de: ISZERO 000008df: PUSH2 0x08e7 000008e2: JUMPI 000008e3: PUSH1 0x00 000008e5: DUP1 000008e6: REVERT 000008e7: JUMPDEST 000008e8: POP 000008e9: GAS 000008ea: CALL 000008eb: ISZERO 000008ec: DUP1 000008ed: ISZERO 000008ee: PUSH2 0x08fb 000008f1: JUMPI 000008f2: RETURNDATASIZE 000008f3: PUSH1 0x00 000008f5: DUP1 000008f6: RETURNDATACOPY 000008f7: RETURNDATASIZE 000008f8: PUSH1 0x00 000008fa: REVERT 000008fb: JUMPDEST 000008fc: POP 000008fd: POP 000008fe: PUSH1 0x05 00000900: SLOAD 00000901: PUSH2 0x0916 00000904: SWAP3 00000905: POP 00000906: SWAP1 00000907: POP 00000908: PUSH3 0x093a80 0000090c: PUSH4 0xffffffff 00000911: PUSH2 0x110e 00000914: AND 00000915: JUMP 00000916: JUMPDEST 00000917: PUSH1 0x08 00000919: SSTORE 0000091a: PUSH2 0x092c 0000091d: TIMESTAMP 0000091e: PUSH3 0x093a80 00000922: PUSH4 0xffffffff 00000927: PUSH2 0x1150 0000092a: AND 0000092b: JUMP 0000092c: JUMPDEST 0000092d: PUSH1 0x07 0000092f: SSTORE 00000930: PUSH1 0x05 00000932: SLOAD 00000933: PUSH1 0x40 00000935: DUP1 00000936: MLOAD 00000937: SWAP2 00000938: DUP3 00000939: MSTORE 0000093a: MLOAD 0000093b: PUSH32 0xde88a922e0d3b88b24e9623efeb464919c6bf9f66857a65e2bfcf2ce87a9433d 0000095c: SWAP2 0000095d: DUP2 0000095e: SWAP1 0000095f: SUB 00000960: PUSH1 0x20 00000962: ADD 00000963: SWAP1 00000964: LOG1 00000965: JUMPDEST 00000966: PUSH1 0x00 00000968: PUSH2 0x0970 0000096b: CALLER 0000096c: PUSH2 0x0440 0000096f: JUMP 00000970: JUMPDEST 00000971: SWAP1 00000972: POP 00000973: DUP1 00000974: ISZERO 00000975: PUSH2 0x09d8 00000978: JUMPI 00000979: CALLER 0000097a: PUSH1 0x00 0000097c: DUP2 0000097d: DUP2 0000097e: MSTORE 0000097f: PUSH1 0x0c 00000981: PUSH1 0x20 00000983: MSTORE 00000984: PUSH1 0x40 00000986: DUP2 00000987: KECCAK256 00000988: SSTORE 00000989: PUSH1 0x04 0000098b: SLOAD 0000098c: PUSH2 0x09a1 0000098f: SWAP2 00000990: PUSH1 0x01 00000992: PUSH1 0x01 00000994: PUSH1 0xa0 00000996: SHL 00000997: SUB 00000998: SWAP1 00000999: SWAP2 0000099a: AND 0000099b: SWAP1 0000099c: DUP4 0000099d: PUSH2 0x1207 000009a0: JUMP 000009a1: JUMPDEST 000009a2: PUSH1 0x40 000009a4: DUP1 000009a5: MLOAD 000009a6: DUP3 000009a7: DUP2 000009a8: MSTORE 000009a9: SWAP1 000009aa: MLOAD 000009ab: CALLER 000009ac: SWAP2 000009ad: PUSH32 0xe2403640ba68fed3a2f88b7557551d1993f84b99bb10ff833f0cf8db0c5e0486 000009ce: SWAP2 000009cf: SWAP1 000009d0: DUP2 000009d1: SWAP1 000009d2: SUB 000009d3: PUSH1 0x20 000009d5: ADD 000009d6: SWAP1 000009d7: LOG2 000009d8: JUMPDEST 000009d9: POP 000009da: POP 000009db: JUMP 000009dc: JUMPDEST 000009dd: PUSH1 0x0d 000009df: SLOAD 000009e0: PUSH1 0x01 000009e2: PUSH1 0x01 000009e4: PUSH1 0xa0 000009e6: SHL 000009e7: SUB 000009e8: AND 000009e9: CALLER 000009ea: EQ 000009eb: PUSH2 0x0a26 000009ee: JUMPI 000009ef: PUSH1 0x40 000009f1: DUP1 000009f2: MLOAD 000009f3: PUSH3 0x461bcd 000009f7: PUSH1 0xe5 000009f9: SHL 000009fa: DUP2 000009fb: MSTORE 000009fc: PUSH1 0x20 000009fe: PUSH1 0x04 00000a00: DUP3 00000a01: ADD 00000a02: MSTORE 00000a03: PUSH1 0x08 00000a05: PUSH1 0x24 00000a07: DUP3 00000a08: ADD 00000a09: MSTORE 00000a0a: PUSH8 0x646576206f6e6c79 00000a13: PUSH1 0xc0 00000a15: SHL 00000a16: PUSH1 0x44 00000a18: DUP3 00000a19: ADD 00000a1a: MSTORE 00000a1b: SWAP1 00000a1c: MLOAD 00000a1d: SWAP1 00000a1e: DUP2 00000a1f: SWAP1 00000a20: SUB 00000a21: PUSH1 0x64 00000a23: ADD 00000a24: SWAP1 00000a25: REVERT 00000a26: JUMPDEST 00000a27: PUSH1 0x01 00000a29: PUSH1 0x01 00000a2b: PUSH1 0xa0 00000a2d: SHL 00000a2e: SUB 00000a2f: DUP2 00000a30: AND 00000a31: PUSH2 0x0a6d 00000a34: JUMPI 00000a35: PUSH1 0x40 00000a37: DUP1 00000a38: MLOAD 00000a39: PUSH3 0x461bcd 00000a3d: PUSH1 0xe5 00000a3f: SHL 00000a40: DUP2 00000a41: MSTORE 00000a42: PUSH1 0x20 00000a44: PUSH1 0x04 00000a46: DUP3 00000a47: ADD 00000a48: MSTORE 00000a49: PUSH1 0x09 00000a4b: PUSH1 0x24 00000a4d: DUP3 00000a4e: ADD 00000a4f: MSTORE 00000a50: PUSH9 0x3d32b9379030b23239 00000a5a: PUSH1 0xb9 00000a5c: SHL 00000a5d: PUSH1 0x44 00000a5f: DUP3 00000a60: ADD 00000a61: MSTORE 00000a62: SWAP1 00000a63: MLOAD 00000a64: SWAP1 00000a65: DUP2 00000a66: SWAP1 00000a67: SUB 00000a68: PUSH1 0x64 00000a6a: ADD 00000a6b: SWAP1 00000a6c: REVERT 00000a6d: JUMPDEST 00000a6e: PUSH1 0x0d 00000a70: DUP1 00000a71: SLOAD 00000a72: PUSH1 0x01 00000a74: PUSH1 0x01 00000a76: PUSH1 0xa0 00000a78: SHL 00000a79: SUB 00000a7a: NOT 00000a7b: AND 00000a7c: PUSH1 0x01 00000a7e: PUSH1 0x01 00000a80: PUSH1 0xa0 00000a82: SHL 00000a83: SUB 00000a84: SWAP3 00000a85: SWAP1 00000a86: SWAP3 00000a87: AND 00000a88: SWAP2 00000a89: SWAP1 00000a8a: SWAP2 00000a8b: OR 00000a8c: SWAP1 00000a8d: SSTORE 00000a8e: JUMP 00000a8f: JUMPDEST 00000a90: PUSH1 0x0d 00000a92: SLOAD 00000a93: PUSH1 0x01 00000a95: PUSH1 0x01 00000a97: PUSH1 0xa0 00000a99: SHL 00000a9a: SUB 00000a9b: AND 00000a9c: DUP2 00000a9d: JUMP 00000a9e: JUMPDEST 00000a9f: PUSH1 0x0d 00000aa1: SLOAD 00000aa2: PUSH1 0x01 00000aa4: PUSH1 0x01 00000aa6: PUSH1 0xa0 00000aa8: SHL 00000aa9: SUB 00000aaa: AND 00000aab: CALLER 00000aac: EQ 00000aad: PUSH2 0x0ae8 00000ab0: JUMPI 00000ab1: PUSH1 0x40 00000ab3: DUP1 00000ab4: MLOAD 00000ab5: PUSH3 0x461bcd 00000ab9: PUSH1 0xe5 00000abb: SHL 00000abc: DUP2 00000abd: MSTORE 00000abe: PUSH1 0x20 00000ac0: PUSH1 0x04 00000ac2: DUP3 00000ac3: ADD 00000ac4: MSTORE 00000ac5: PUSH1 0x08 00000ac7: PUSH1 0x24 00000ac9: DUP3 00000aca: ADD 00000acb: MSTORE 00000acc: PUSH8 0x646576206f6e6c79 00000ad5: PUSH1 0xc0 00000ad7: SHL 00000ad8: PUSH1 0x44 00000ada: DUP3 00000adb: ADD 00000adc: MSTORE 00000add: SWAP1 00000ade: MLOAD 00000adf: SWAP1 00000ae0: DUP2 00000ae1: SWAP1 00000ae2: SUB 00000ae3: PUSH1 0x64 00000ae5: ADD 00000ae6: SWAP1 00000ae7: REVERT 00000ae8: JUMPDEST 00000ae9: PUSH1 0x0d 00000aeb: DUP1 00000aec: SLOAD 00000aed: PUSH1 0x01 00000aef: PUSH1 0x01 00000af1: PUSH1 0xa0 00000af3: SHL 00000af4: SUB 00000af5: NOT 00000af6: AND 00000af7: SWAP1 00000af8: SSTORE 00000af9: JUMP 00000afa: JUMPDEST 00000afb: PUSH1 0x01 00000afd: PUSH1 0x01 00000aff: PUSH1 0xa0 00000b01: SHL 00000b02: SUB 00000b03: AND 00000b04: PUSH1 0x00 00000b06: SWAP1 00000b07: DUP2 00000b08: MSTORE 00000b09: PUSH1 0x02 00000b0b: PUSH1 0x20 00000b0d: MSTORE 00000b0e: PUSH1 0x40 00000b10: SWAP1 00000b11: KECCAK256 00000b12: SLOAD 00000b13: SWAP1 00000b14: JUMP 00000b15: JUMPDEST 00000b16: PUSH2 0x0b1d 00000b19: PUSH2 0x0bf8 00000b1c: JUMP 00000b1d: JUMPDEST 00000b1e: PUSH2 0x0b6e 00000b21: JUMPI 00000b22: PUSH1 0x40 00000b24: DUP1 00000b25: MLOAD 00000b26: PUSH3 0x461bcd 00000b2a: PUSH1 0xe5 00000b2c: SHL 00000b2d: DUP2 00000b2e: MSTORE 00000b2f: PUSH1 0x20 00000b31: PUSH1 0x04 00000b33: DUP3 00000b34: ADD 00000b35: DUP2 00000b36: SWAP1 00000b37: MSTORE 00000b38: PUSH1 0x24 00000b3a: DUP3 00000b3b: ADD 00000b3c: MSTORE 00000b3d: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000b5e: PUSH1 0x44 00000b60: DUP3 00000b61: ADD 00000b62: MSTORE 00000b63: SWAP1 00000b64: MLOAD 00000b65: SWAP1 00000b66: DUP2 00000b67: SWAP1 00000b68: SUB 00000b69: PUSH1 0x64 00000b6b: ADD 00000b6c: SWAP1 00000b6d: REVERT 00000b6e: JUMPDEST 00000b6f: PUSH1 0x03 00000b71: SLOAD 00000b72: PUSH1 0x40 00000b74: MLOAD 00000b75: PUSH1 0x00 00000b77: SWAP2 00000b78: PUSH1 0x01 00000b7a: PUSH1 0x01 00000b7c: PUSH1 0xa0 00000b7e: SHL 00000b7f: SUB 00000b80: AND 00000b81: SWAP1 00000b82: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000ba3: SWAP1 00000ba4: DUP4 00000ba5: SWAP1 00000ba6: LOG3 00000ba7: PUSH1 0x03 00000ba9: DUP1 00000baa: SLOAD 00000bab: PUSH1 0x01 00000bad: PUSH1 0x01 00000baf: PUSH1 0xa0 00000bb1: SHL 00000bb2: SUB 00000bb3: NOT 00000bb4: AND 00000bb5: SWAP1 00000bb6: SSTORE 00000bb7: JUMP 00000bb8: JUMPDEST 00000bb9: PUSH1 0x08 00000bbb: SLOAD 00000bbc: DUP2 00000bbd: JUMP 00000bbe: JUMPDEST 00000bbf: PUSH1 0x00 00000bc1: PUSH2 0x0bcc 00000bc4: TIMESTAMP 00000bc5: PUSH1 0x07 00000bc7: SLOAD 00000bc8: PUSH2 0x125e 00000bcb: JUMP 00000bcc: JUMPDEST 00000bcd: SWAP1 00000bce: POP 00000bcf: SWAP1 00000bd0: JUMP 00000bd1: JUMPDEST 00000bd2: PUSH1 0x0b 00000bd4: PUSH1 0x20 00000bd6: MSTORE 00000bd7: PUSH1 0x00 00000bd9: SWAP1 00000bda: DUP2 00000bdb: MSTORE 00000bdc: PUSH1 0x40 00000bde: SWAP1 00000bdf: KECCAK256 00000be0: SLOAD 00000be1: DUP2 00000be2: JUMP 00000be3: JUMPDEST 00000be4: PUSH1 0x06 00000be6: SLOAD 00000be7: DUP2 00000be8: JUMP 00000be9: JUMPDEST 00000bea: PUSH1 0x03 00000bec: SLOAD 00000bed: PUSH1 0x01 00000bef: PUSH1 0x01 00000bf1: PUSH1 0xa0 00000bf3: SHL 00000bf4: SUB 00000bf5: AND 00000bf6: SWAP1 00000bf7: JUMP 00000bf8: JUMPDEST 00000bf9: PUSH1 0x03 00000bfb: SLOAD 00000bfc: PUSH1 0x00 00000bfe: SWAP1 00000bff: PUSH1 0x01 00000c01: PUSH1 0x01 00000c03: PUSH1 0xa0 00000c05: SHL 00000c06: SUB 00000c07: AND 00000c08: PUSH2 0x0c0f 00000c0b: PUSH2 0x1274 00000c0e: JUMP 00000c0f: JUMPDEST 00000c10: PUSH1 0x01 00000c12: PUSH1 0x01 00000c14: PUSH1 0xa0 00000c16: SHL 00000c17: SUB 00000c18: AND 00000c19: EQ 00000c1a: SWAP1 00000c1b: POP 00000c1c: SWAP1 00000c1d: JUMP 00000c1e: JUMPDEST 00000c1f: PUSH1 0x05 00000c21: SLOAD 00000c22: DUP2 00000c23: JUMP 00000c24: JUMPDEST 00000c25: CALLER 00000c26: PUSH2 0x0c2d 00000c29: PUSH2 0x0e72 00000c2c: JUMP 00000c2d: JUMPDEST 00000c2e: PUSH1 0x0a 00000c30: SSTORE 00000c31: PUSH2 0x0c38 00000c34: PUSH2 0x0bbe 00000c37: JUMP 00000c38: JUMPDEST 00000c39: PUSH1 0x09 00000c3b: SSTORE 00000c3c: PUSH1 0x01 00000c3e: PUSH1 0x01 00000c40: PUSH1 0xa0 00000c42: SHL 00000c43: SUB 00000c44: DUP2 00000c45: AND 00000c46: ISZERO 00000c47: PUSH2 0x0c7f 00000c4a: JUMPI 00000c4b: PUSH2 0x0c53 00000c4e: DUP2 00000c4f: PUSH2 0x0440 00000c52: JUMP 00000c53: JUMPDEST 00000c54: PUSH1 0x01 00000c56: PUSH1 0x01 00000c58: PUSH1 0xa0 00000c5a: SHL 00000c5b: SUB 00000c5c: DUP3 00000c5d: AND 00000c5e: PUSH1 0x00 00000c60: SWAP1 00000c61: DUP2 00000c62: MSTORE 00000c63: PUSH1 0x0c 00000c65: PUSH1 0x20 00000c67: SWAP1 00000c68: DUP2 00000c69: MSTORE 00000c6a: PUSH1 0x40 00000c6c: DUP1 00000c6d: DUP4 00000c6e: KECCAK256 00000c6f: SWAP4 00000c70: SWAP1 00000c71: SWAP4 00000c72: SSTORE 00000c73: PUSH1 0x0a 00000c75: SLOAD 00000c76: PUSH1 0x0b 00000c78: SWAP1 00000c79: SWAP2 00000c7a: MSTORE 00000c7b: SWAP2 00000c7c: SWAP1 00000c7d: KECCAK256 00000c7e: SSTORE 00000c7f: JUMPDEST 00000c80: PUSH1 0x07 00000c82: SLOAD 00000c83: TIMESTAMP 00000c84: LT 00000c85: PUSH2 0x0d7d 00000c88: JUMPI 00000c89: PUSH2 0x0ca3 00000c8c: PUSH1 0x64 00000c8e: PUSH2 0x04a8 00000c91: PUSH1 0x32 00000c93: PUSH1 0x05 00000c95: SLOAD 00000c96: PUSH2 0x10b5 00000c99: SWAP1 00000c9a: SWAP2 00000c9b: SWAP1 00000c9c: PUSH4 0xffffffff 00000ca1: AND 00000ca2: JUMP 00000ca3: JUMPDEST 00000ca4: PUSH1 0x05 00000ca6: DUP2 00000ca7: SWAP1 00000ca8: SSTORE 00000ca9: PUSH1 0x04 00000cab: DUP1 00000cac: SLOAD 00000cad: PUSH1 0x40 00000caf: DUP1 00000cb0: MLOAD 00000cb1: PUSH4 0x40c10f19 00000cb6: PUSH1 0xe0 00000cb8: SHL 00000cb9: DUP2 00000cba: MSTORE 00000cbb: ADDRESS 00000cbc: SWAP4 00000cbd: DUP2 00000cbe: ADD 00000cbf: SWAP4 00000cc0: SWAP1 00000cc1: SWAP4 00000cc2: MSTORE 00000cc3: PUSH1 0x24 00000cc5: DUP4 00000cc6: ADD 00000cc7: SWAP4 00000cc8: SWAP1 00000cc9: SWAP4 00000cca: MSTORE 00000ccb: SWAP2 00000ccc: MLOAD 00000ccd: PUSH1 0x01 00000ccf: PUSH1 0x01 00000cd1: PUSH1 0xa0 00000cd3: SHL 00000cd4: SUB 00000cd5: SWAP1 00000cd6: SWAP3 00000cd7: AND 00000cd8: SWAP2 00000cd9: PUSH4 0x40c10f19 00000cde: SWAP2 00000cdf: PUSH1 0x44 00000ce1: DUP1 00000ce2: DUP3 00000ce3: ADD 00000ce4: SWAP3 00000ce5: PUSH1 0x00 00000ce7: SWAP3 00000ce8: SWAP1 00000ce9: SWAP2 00000cea: SWAP1 00000ceb: DUP3 00000cec: SWAP1 00000ced: SUB 00000cee: ADD 00000cef: DUP2 00000cf0: DUP4 00000cf1: DUP8 00000cf2: DUP1 00000cf3: EXTCODESIZE 00000cf4: ISZERO 00000cf5: DUP1 00000cf6: ISZERO 00000cf7: PUSH2 0x0cff 00000cfa: JUMPI 00000cfb: PUSH1 0x00 00000cfd: DUP1 00000cfe: REVERT 00000cff: JUMPDEST 00000d00: POP 00000d01: GAS 00000d02: CALL 00000d03: ISZERO 00000d04: DUP1 00000d05: ISZERO 00000d06: PUSH2 0x0d13 00000d09: JUMPI 00000d0a: RETURNDATASIZE 00000d0b: PUSH1 0x00 00000d0d: DUP1 00000d0e: RETURNDATACOPY 00000d0f: RETURNDATASIZE 00000d10: PUSH1 0x00 00000d12: REVERT 00000d13: JUMPDEST 00000d14: POP 00000d15: POP 00000d16: PUSH1 0x05 00000d18: SLOAD 00000d19: PUSH2 0x0d2e 00000d1c: SWAP3 00000d1d: POP 00000d1e: SWAP1 00000d1f: POP 00000d20: PUSH3 0x093a80 00000d24: PUSH4 0xffffffff 00000d29: PUSH2 0x110e 00000d2c: AND 00000d2d: JUMP 00000d2e: JUMPDEST 00000d2f: PUSH1 0x08 00000d31: SSTORE 00000d32: PUSH2 0x0d44 00000d35: TIMESTAMP 00000d36: PUSH3 0x093a80 00000d3a: PUSH4 0xffffffff 00000d3f: PUSH2 0x1150 00000d42: AND 00000d43: JUMP 00000d44: JUMPDEST 00000d45: PUSH1 0x07 00000d47: SSTORE 00000d48: PUSH1 0x05 00000d4a: SLOAD 00000d4b: PUSH1 0x40 00000d4d: DUP1 00000d4e: MLOAD 00000d4f: SWAP2 00000d50: DUP3 00000d51: MSTORE 00000d52: MLOAD 00000d53: PUSH32 0xde88a922e0d3b88b24e9623efeb464919c6bf9f66857a65e2bfcf2ce87a9433d 00000d74: SWAP2 00000d75: DUP2 00000d76: SWAP1 00000d77: SUB 00000d78: PUSH1 0x20 00000d7a: ADD 00000d7b: SWAP1 00000d7c: LOG1 00000d7d: JUMPDEST 00000d7e: PUSH1 0x06 00000d80: SLOAD 00000d81: TIMESTAMP 00000d82: GT 00000d83: PUSH2 0x0dbf 00000d86: JUMPI 00000d87: PUSH1 0x40 00000d89: DUP1 00000d8a: MLOAD 00000d8b: PUSH3 0x461bcd 00000d8f: PUSH1 0xe5 00000d91: SHL 00000d92: DUP2 00000d93: MSTORE 00000d94: PUSH1 0x20 00000d96: PUSH1 0x04 00000d98: DUP3 00000d99: ADD 00000d9a: MSTORE 00000d9b: PUSH1 0x09 00000d9d: PUSH1 0x24 00000d9f: DUP3 00000da0: ADD 00000da1: MSTORE 00000da2: PUSH9 0x1b9bdd081cdd185c9d 00000dac: PUSH1 0xba 00000dae: SHL 00000daf: PUSH1 0x44 00000db1: DUP3 00000db2: ADD 00000db3: MSTORE 00000db4: SWAP1 00000db5: MLOAD 00000db6: SWAP1 00000db7: DUP2 00000db8: SWAP1 00000db9: SUB 00000dba: PUSH1 0x64 00000dbc: ADD 00000dbd: SWAP1 00000dbe: REVERT 00000dbf: JUMPDEST 00000dc0: PUSH1 0x00 00000dc2: DUP3 00000dc3: GT 00000dc4: PUSH2 0x0e05 00000dc7: JUMPI 00000dc8: PUSH1 0x40 00000dca: DUP1 00000dcb: MLOAD 00000dcc: PUSH3 0x461bcd 00000dd0: PUSH1 0xe5 00000dd2: SHL 00000dd3: DUP2 00000dd4: MSTORE 00000dd5: PUSH1 0x20 00000dd7: PUSH1 0x04 00000dd9: DUP3 00000dda: ADD 00000ddb: MSTORE 00000ddc: PUSH1 0x0e 00000dde: PUSH1 0x24 00000de0: DUP3 00000de1: ADD 00000de2: MSTORE 00000de3: PUSH14 0x043616e6e6f74207374616b65203 00000df2: PUSH1 0x94 00000df4: SHL 00000df5: PUSH1 0x44 00000df7: DUP3 00000df8: ADD 00000df9: MSTORE 00000dfa: SWAP1 00000dfb: MLOAD 00000dfc: SWAP1 00000dfd: DUP2 00000dfe: SWAP1 00000dff: SUB 00000e00: PUSH1 0x64 00000e02: ADD 00000e03: SWAP1 00000e04: REVERT 00000e05: JUMPDEST 00000e06: PUSH2 0x0e0e 00000e09: DUP3 00000e0a: PUSH2 0x1278 00000e0d: JUMP 00000e0e: JUMPDEST 00000e0f: PUSH1 0x40 00000e11: DUP1 00000e12: MLOAD 00000e13: DUP4 00000e14: DUP2 00000e15: MSTORE 00000e16: SWAP1 00000e17: MLOAD 00000e18: CALLER 00000e19: SWAP2 00000e1a: PUSH32 0x9e71bc8eea02a63969f509818f2dafb9254532904319f9dbda79b67bd34a5f3d 00000e3b: SWAP2 00000e3c: SWAP1 00000e3d: DUP2 00000e3e: SWAP1 00000e3f: SUB 00000e40: PUSH1 0x20 00000e42: ADD 00000e43: SWAP1 00000e44: LOG2 00000e45: POP 00000e46: POP 00000e47: JUMP 00000e48: JUMPDEST 00000e49: PUSH1 0x0f 00000e4b: SLOAD 00000e4c: DUP2 00000e4d: JUMP 00000e4e: JUMPDEST 00000e4f: PUSH1 0x04 00000e51: SLOAD 00000e52: PUSH1 0x01 00000e54: PUSH1 0x01 00000e56: PUSH1 0xa0 00000e58: SHL 00000e59: SUB 00000e5a: AND 00000e5b: DUP2 00000e5c: JUMP 00000e5d: JUMPDEST 00000e5e: PUSH1 0x00 00000e60: SLOAD 00000e61: PUSH1 0x01 00000e63: PUSH1 0x01 00000e65: PUSH1 0xa0 00000e67: SHL 00000e68: SUB 00000e69: AND 00000e6a: DUP2 00000e6b: JUMP 00000e6c: JUMPDEST 00000e6d: PUSH1 0x09 00000e6f: SLOAD 00000e70: DUP2 00000e71: JUMP 00000e72: JUMPDEST 00000e73: PUSH1 0x00 00000e75: PUSH2 0x0e7c 00000e78: PUSH2 0x04e0 00000e7b: JUMP 00000e7c: JUMPDEST 00000e7d: PUSH2 0x0e89 00000e80: JUMPI 00000e81: POP 00000e82: PUSH1 0x0a 00000e84: SLOAD 00000e85: PUSH2 0x04e4 00000e88: JUMP 00000e89: JUMPDEST 00000e8a: PUSH2 0x0bcc 00000e8d: PUSH2 0x0eb7 00000e90: PUSH2 0x0e97 00000e93: PUSH2 0x04e0 00000e96: JUMP 00000e97: JUMPDEST 00000e98: PUSH2 0x04a8 00000e9b: PUSH8 0x0de0b6b3a7640000 00000ea4: PUSH2 0x049c 00000ea7: PUSH1 0x08 00000ea9: SLOAD 00000eaa: PUSH2 0x049c 00000ead: PUSH1 0x09 00000eaf: SLOAD 00000eb0: PUSH2 0x0487 00000eb3: PUSH2 0x0bbe 00000eb6: JUMP 00000eb7: JUMPDEST 00000eb8: PUSH1 0x0a 00000eba: SLOAD 00000ebb: SWAP1 00000ebc: PUSH4 0xffffffff 00000ec1: PUSH2 0x1150 00000ec4: AND 00000ec5: JUMP 00000ec6: JUMPDEST 00000ec7: PUSH1 0x0d 00000ec9: SLOAD 00000eca: PUSH1 0x01 00000ecc: PUSH1 0x01 00000ece: PUSH1 0xa0 00000ed0: SHL 00000ed1: SUB 00000ed2: AND 00000ed3: CALLER 00000ed4: EQ 00000ed5: PUSH2 0x0f10 00000ed8: JUMPI 00000ed9: PUSH1 0x40 00000edb: DUP1 00000edc: MLOAD 00000edd: PUSH3 0x461bcd 00000ee1: PUSH1 0xe5 00000ee3: SHL 00000ee4: DUP2 00000ee5: MSTORE 00000ee6: PUSH1 0x20 00000ee8: PUSH1 0x04 00000eea: DUP3 00000eeb: ADD 00000eec: MSTORE 00000eed: PUSH1 0x08 00000eef: PUSH1 0x24 00000ef1: DUP3 00000ef2: ADD 00000ef3: MSTORE 00000ef4: PUSH8 0x646576206f6e6c79 00000efd: PUSH1 0xc0 00000eff: SHL 00000f00: PUSH1 0x44 00000f02: DUP3 00000f03: ADD 00000f04: MSTORE 00000f05: SWAP1 00000f06: MLOAD 00000f07: SWAP1 00000f08: DUP2 00000f09: SWAP1 00000f0a: SUB 00000f0b: PUSH1 0x64 00000f0d: ADD 00000f0e: SWAP1 00000f0f: REVERT 00000f10: JUMPDEST 00000f11: PUSH1 0x00 00000f13: PUSH2 0x0f27 00000f16: PUSH1 0x06 00000f18: SLOAD 00000f19: TIMESTAMP 00000f1a: PUSH2 0x106c 00000f1d: SWAP1 00000f1e: SWAP2 00000f1f: SWAP1 00000f20: PUSH4 0xffffffff 00000f25: AND 00000f26: JUMP 00000f27: JUMPDEST 00000f28: SWAP1 00000f29: POP 00000f2a: PUSH2 0x0f37 00000f2d: DUP2 00000f2e: PUSH4 0x01e13380 00000f33: PUSH2 0x125e 00000f36: JUMP 00000f37: JUMPDEST 00000f38: SWAP1 00000f39: POP 00000f3a: PUSH1 0x00 00000f3c: PUSH2 0x0f58 00000f3f: PUSH4 0x01e13380 00000f44: PUSH2 0x04a8 00000f47: DUP5 00000f48: PUSH1 0x0e 00000f4a: SLOAD 00000f4b: PUSH2 0x10b5 00000f4e: SWAP1 00000f4f: SWAP2 00000f50: SWAP1 00000f51: PUSH4 0xffffffff 00000f56: AND 00000f57: JUMP 00000f58: JUMPDEST 00000f59: SWAP1 00000f5a: POP 00000f5b: PUSH1 0x00 00000f5d: PUSH2 0x0f71 00000f60: DUP5 00000f61: PUSH1 0x0f 00000f63: SLOAD 00000f64: PUSH2 0x1150 00000f67: SWAP1 00000f68: SWAP2 00000f69: SWAP1 00000f6a: PUSH4 0xffffffff 00000f6f: AND 00000f70: JUMP 00000f71: JUMPDEST 00000f72: SWAP1 00000f73: POP 00000f74: DUP2 00000f75: DUP2 00000f76: GT 00000f77: ISZERO 00000f78: PUSH2 0x0fb2 00000f7b: JUMPI 00000f7c: PUSH1 0x40 00000f7e: DUP1 00000f7f: MLOAD 00000f80: PUSH3 0x461bcd 00000f84: PUSH1 0xe5 00000f86: SHL 00000f87: DUP2 00000f88: MSTORE 00000f89: PUSH1 0x20 00000f8b: PUSH1 0x04 00000f8d: DUP3 00000f8e: ADD 00000f8f: MSTORE 00000f90: PUSH1 0x07 00000f92: PUSH1 0x24 00000f94: DUP3 00000f95: ADD 00000f96: MSTORE 00000f97: PUSH7 0x76657374696e67 00000f9f: PUSH1 0xc8 00000fa1: SHL 00000fa2: PUSH1 0x44 00000fa4: DUP3 00000fa5: ADD 00000fa6: MSTORE 00000fa7: SWAP1 00000fa8: MLOAD 00000fa9: SWAP1 00000faa: DUP2 00000fab: SWAP1 00000fac: SUB 00000fad: PUSH1 0x64 00000faf: ADD 00000fb0: SWAP1 00000fb1: REVERT 00000fb2: JUMPDEST 00000fb3: PUSH1 0x0f 00000fb5: DUP2 00000fb6: SWAP1 00000fb7: SSTORE 00000fb8: PUSH1 0x0d 00000fba: SLOAD 00000fbb: PUSH1 0x04 00000fbd: SLOAD 00000fbe: PUSH2 0x0fda 00000fc1: SWAP2 00000fc2: PUSH1 0x01 00000fc4: PUSH1 0x01 00000fc6: PUSH1 0xa0 00000fc8: SHL 00000fc9: SUB 00000fca: SWAP2 00000fcb: DUP3 00000fcc: AND 00000fcd: SWAP2 00000fce: AND 00000fcf: DUP7 00000fd0: PUSH4 0xffffffff 00000fd5: PUSH2 0x1207 00000fd8: AND 00000fd9: JUMP 00000fda: JUMPDEST 00000fdb: POP 00000fdc: POP 00000fdd: POP 00000fde: POP 00000fdf: JUMP 00000fe0: JUMPDEST 00000fe1: PUSH1 0x0a 00000fe3: SLOAD 00000fe4: DUP2 00000fe5: JUMP 00000fe6: JUMPDEST 00000fe7: PUSH2 0x0ff7 00000fea: PUSH2 0x0ff2 00000fed: CALLER 00000fee: PUSH2 0x0afa 00000ff1: JUMP 00000ff2: JUMPDEST 00000ff3: PUSH2 0x04ee 00000ff6: JUMP 00000ff7: JUMPDEST 00000ff8: PUSH2 0x0fff 00000ffb: PUSH2 0x080c 00000ffe: JUMP 00000fff: JUMPDEST 00001000: JUMP 00001001: JUMPDEST 00001002: PUSH1 0x07 00001004: SLOAD 00001005: DUP2 00001006: JUMP 00001007: JUMPDEST 00001008: PUSH2 0x100f 0000100b: PUSH2 0x0bf8 0000100e: JUMP 0000100f: JUMPDEST 00001010: PUSH2 0x1060 00001013: JUMPI 00001014: PUSH1 0x40 00001016: DUP1 00001017: MLOAD 00001018: PUSH3 0x461bcd 0000101c: PUSH1 0xe5 0000101e: SHL 0000101f: DUP2 00001020: MSTORE 00001021: PUSH1 0x20 00001023: PUSH1 0x04 00001025: DUP3 00001026: ADD 00001027: DUP2 00001028: SWAP1 00001029: MSTORE 0000102a: PUSH1 0x24 0000102c: DUP3 0000102d: ADD 0000102e: MSTORE 0000102f: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00001050: PUSH1 0x44 00001052: DUP3 00001053: ADD 00001054: MSTORE 00001055: SWAP1 00001056: MLOAD 00001057: SWAP1 00001058: DUP2 00001059: SWAP1 0000105a: SUB 0000105b: PUSH1 0x64 0000105d: ADD 0000105e: SWAP1 0000105f: REVERT 00001060: JUMPDEST 00001061: PUSH2 0x1069 00001064: DUP2 00001065: PUSH2 0x1388 00001068: JUMP 00001069: JUMPDEST 0000106a: POP 0000106b: JUMP 0000106c: JUMPDEST 0000106d: PUSH1 0x00 0000106f: PUSH2 0x10ae 00001072: DUP4 00001073: DUP4 00001074: PUSH1 0x40 00001076: MLOAD 00001077: DUP1 00001078: PUSH1 0x40 0000107a: ADD 0000107b: PUSH1 0x40 0000107d: MSTORE 0000107e: DUP1 0000107f: PUSH1 0x1e 00001081: DUP2 00001082: MSTORE 00001083: PUSH1 0x20 00001085: ADD 00001086: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 000010a7: DUP2 000010a8: MSTORE 000010a9: POP 000010aa: PUSH2 0x1429 000010ad: JUMP 000010ae: JUMPDEST 000010af: SWAP4 000010b0: SWAP3 000010b1: POP 000010b2: POP 000010b3: POP 000010b4: JUMP 000010b5: JUMPDEST 000010b6: PUSH1 0x00 000010b8: DUP3 000010b9: PUSH2 0x10c4 000010bc: JUMPI 000010bd: POP 000010be: PUSH1 0x00 000010c0: PUSH2 0x04c0 000010c3: JUMP 000010c4: JUMPDEST 000010c5: DUP3 000010c6: DUP3 000010c7: MUL 000010c8: DUP3 000010c9: DUP5 000010ca: DUP3 000010cb: DUP2 000010cc: PUSH2 0x10d1 000010cf: JUMPI 000010d0: INVALID 000010d1: JUMPDEST 000010d2: DIV 000010d3: EQ 000010d4: PUSH2 0x10ae 000010d7: JUMPI 000010d8: PUSH1 0x40 000010da: MLOAD 000010db: PUSH3 0x461bcd 000010df: PUSH1 0xe5 000010e1: SHL 000010e2: DUP2 000010e3: MSTORE 000010e4: PUSH1 0x04 000010e6: ADD 000010e7: DUP1 000010e8: DUP1 000010e9: PUSH1 0x20 000010eb: ADD 000010ec: DUP3 000010ed: DUP2 000010ee: SUB 000010ef: DUP3 000010f0: MSTORE 000010f1: PUSH1 0x21 000010f3: DUP2 000010f4: MSTORE 000010f5: PUSH1 0x20 000010f7: ADD 000010f8: DUP1 000010f9: PUSH2 0x179a 000010fc: PUSH1 0x21 000010fe: SWAP2 000010ff: CODECOPY 00001100: PUSH1 0x40 00001102: ADD 00001103: SWAP2 00001104: POP 00001105: POP 00001106: PUSH1 0x40 00001108: MLOAD 00001109: DUP1 0000110a: SWAP2 0000110b: SUB 0000110c: SWAP1 0000110d: REVERT 0000110e: JUMPDEST 0000110f: PUSH1 0x00 00001111: PUSH2 0x10ae 00001114: DUP4 00001115: DUP4 00001116: PUSH1 0x40 00001118: MLOAD 00001119: DUP1 0000111a: PUSH1 0x40 0000111c: ADD 0000111d: PUSH1 0x40 0000111f: MSTORE 00001120: DUP1 00001121: PUSH1 0x1a 00001123: DUP2 00001124: MSTORE 00001125: PUSH1 0x20 00001127: ADD 00001128: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000 00001149: DUP2 0000114a: MSTORE 0000114b: POP 0000114c: PUSH2 0x14c0 0000114f: JUMP 00001150: JUMPDEST 00001151: PUSH1 0x00 00001153: DUP3 00001154: DUP3 00001155: ADD 00001156: DUP4 00001157: DUP2 00001158: LT 00001159: ISZERO 0000115a: PUSH2 0x10ae 0000115d: JUMPI 0000115e: PUSH1 0x40 00001160: DUP1 00001161: MLOAD 00001162: PUSH3 0x461bcd 00001166: PUSH1 0xe5 00001168: SHL 00001169: DUP2 0000116a: MSTORE 0000116b: PUSH1 0x20 0000116d: PUSH1 0x04 0000116f: DUP3 00001170: ADD 00001171: MSTORE 00001172: PUSH1 0x1b 00001174: PUSH1 0x24 00001176: DUP3 00001177: ADD 00001178: MSTORE 00001179: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 0000119a: PUSH1 0x44 0000119c: DUP3 0000119d: ADD 0000119e: MSTORE 0000119f: SWAP1 000011a0: MLOAD 000011a1: SWAP1 000011a2: DUP2 000011a3: SWAP1 000011a4: SUB 000011a5: PUSH1 0x64 000011a7: ADD 000011a8: SWAP1 000011a9: REVERT 000011aa: JUMPDEST 000011ab: PUSH1 0x01 000011ad: SLOAD 000011ae: PUSH2 0x11bd 000011b1: SWAP1 000011b2: DUP3 000011b3: PUSH4 0xffffffff 000011b8: PUSH2 0x106c 000011bb: AND 000011bc: JUMP 000011bd: JUMPDEST 000011be: PUSH1 0x01 000011c0: SSTORE 000011c1: CALLER 000011c2: PUSH1 0x00 000011c4: SWAP1 000011c5: DUP2 000011c6: MSTORE 000011c7: PUSH1 0x02 000011c9: PUSH1 0x20 000011cb: MSTORE 000011cc: PUSH1 0x40 000011ce: SWAP1 000011cf: KECCAK256 000011d0: SLOAD 000011d1: PUSH2 0x11e0 000011d4: SWAP1 000011d5: DUP3 000011d6: PUSH4 0xffffffff 000011db: PUSH2 0x106c 000011de: AND 000011df: JUMP 000011e0: JUMPDEST 000011e1: CALLER 000011e2: PUSH1 0x00 000011e4: DUP2 000011e5: DUP2 000011e6: MSTORE 000011e7: PUSH1 0x02 000011e9: PUSH1 0x20 000011eb: MSTORE 000011ec: PUSH1 0x40 000011ee: DUP2 000011ef: KECCAK256 000011f0: SWAP3 000011f1: SWAP1 000011f2: SWAP3 000011f3: SSTORE 000011f4: SWAP1 000011f5: SLOAD 000011f6: PUSH2 0x1069 000011f9: SWAP2 000011fa: PUSH1 0x01 000011fc: PUSH1 0x01 000011fe: PUSH1 0xa0 00001200: SHL 00001201: SUB 00001202: SWAP1 00001203: SWAP2 00001204: AND 00001205: SWAP1 00001206: DUP4 00001207: JUMPDEST 00001208: PUSH1 0x40 0000120a: DUP1 0000120b: MLOAD 0000120c: PUSH1 0x01 0000120e: PUSH1 0x01 00001210: PUSH1 0xa0 00001212: SHL 00001213: SUB 00001214: DUP5 00001215: AND 00001216: PUSH1 0x24 00001218: DUP3 00001219: ADD 0000121a: MSTORE 0000121b: PUSH1 0x44 0000121d: DUP1 0000121e: DUP3 0000121f: ADD 00001220: DUP5 00001221: SWAP1 00001222: MSTORE 00001223: DUP3 00001224: MLOAD 00001225: DUP1 00001226: DUP4 00001227: SUB 00001228: SWAP1 00001229: SWAP2 0000122a: ADD 0000122b: DUP2 0000122c: MSTORE 0000122d: PUSH1 0x64 0000122f: SWAP1 00001230: SWAP2 00001231: ADD 00001232: SWAP1 00001233: SWAP2 00001234: MSTORE 00001235: PUSH1 0x20 00001237: DUP2 00001238: ADD 00001239: DUP1 0000123a: MLOAD 0000123b: PUSH1 0x01 0000123d: PUSH1 0x01 0000123f: PUSH1 0xe0 00001241: SHL 00001242: SUB 00001243: AND 00001244: PUSH4 0xa9059cbb 00001249: PUSH1 0xe0 0000124b: SHL 0000124c: OR 0000124d: SWAP1 0000124e: MSTORE 0000124f: PUSH2 0x1259 00001252: SWAP1 00001253: DUP5 00001254: SWAP1 00001255: PUSH2 0x1525 00001258: JUMP 00001259: JUMPDEST 0000125a: POP 0000125b: POP 0000125c: POP 0000125d: JUMP 0000125e: JUMPDEST 0000125f: PUSH1 0x00 00001261: DUP2 00001262: DUP4 00001263: LT 00001264: PUSH2 0x126d 00001267: JUMPI 00001268: DUP2 00001269: PUSH2 0x10ae 0000126c: JUMP 0000126d: JUMPDEST 0000126e: POP 0000126f: SWAP1 00001270: SWAP2 00001271: SWAP1 00001272: POP 00001273: JUMP 00001274: JUMPDEST 00001275: CALLER 00001276: SWAP1 00001277: JUMP 00001278: JUMPDEST 00001279: CALLER 0000127a: PUSH2 0x1282 0000127d: DUP2 0000127e: PUSH2 0x16dd 00001281: JUMP 00001282: JUMPDEST 00001283: ISZERO 00001284: PUSH2 0x12c7 00001287: JUMPI 00001288: PUSH1 0x40 0000128a: DUP1 0000128b: MLOAD 0000128c: PUSH3 0x461bcd 00001290: PUSH1 0xe5 00001292: SHL 00001293: DUP2 00001294: MSTORE 00001295: PUSH1 0x20 00001297: PUSH1 0x04 00001299: DUP3 0000129a: ADD 0000129b: MSTORE 0000129c: PUSH1 0x10 0000129e: PUSH1 0x24 000012a0: DUP3 000012a1: ADD 000012a2: MSTORE 000012a3: PUSH16 0x1c1b1e8819985c9b48189e481a185b99 000012b4: PUSH1 0x82 000012b6: SHL 000012b7: PUSH1 0x44 000012b9: DUP3 000012ba: ADD 000012bb: MSTORE 000012bc: SWAP1 000012bd: MLOAD 000012be: SWAP1 000012bf: DUP2 000012c0: SWAP1 000012c1: SUB 000012c2: PUSH1 0x64 000012c4: ADD 000012c5: SWAP1 000012c6: REVERT 000012c7: JUMPDEST 000012c8: ORIGIN 000012c9: PUSH1 0x01 000012cb: PUSH1 0x01 000012cd: PUSH1 0xa0 000012cf: SHL 000012d0: SUB 000012d1: DUP3 000012d2: AND 000012d3: EQ 000012d4: PUSH2 0x1317 000012d7: JUMPI 000012d8: PUSH1 0x40 000012da: DUP1 000012db: MLOAD 000012dc: PUSH3 0x461bcd 000012e0: PUSH1 0xe5 000012e2: SHL 000012e3: DUP2 000012e4: MSTORE 000012e5: PUSH1 0x20 000012e7: PUSH1 0x04 000012e9: DUP3 000012ea: ADD 000012eb: MSTORE 000012ec: PUSH1 0x10 000012ee: PUSH1 0x24 000012f0: DUP3 000012f1: ADD 000012f2: MSTORE 000012f3: PUSH16 0x1c1b1e8819985c9b48189e481a185b99 00001304: PUSH1 0x82 00001306: SHL 00001307: PUSH1 0x44 00001309: DUP3 0000130a: ADD 0000130b: MSTORE 0000130c: SWAP1 0000130d: MLOAD 0000130e: SWAP1 0000130f: DUP2 00001310: SWAP1 00001311: SUB 00001312: PUSH1 0x64 00001314: ADD 00001315: SWAP1 00001316: REVERT 00001317: JUMPDEST 00001318: PUSH1 0x01 0000131a: SLOAD 0000131b: PUSH2 0x132a 0000131e: SWAP1 0000131f: DUP4 00001320: PUSH4 0xffffffff 00001325: PUSH2 0x1150 00001328: AND 00001329: JUMP 0000132a: JUMPDEST 0000132b: PUSH1 0x01 0000132d: SSTORE 0000132e: PUSH1 0x01 00001330: PUSH1 0x01 00001332: PUSH1 0xa0 00001334: SHL 00001335: SUB 00001336: DUP2 00001337: AND 00001338: PUSH1 0x00 0000133a: SWAP1 0000133b: DUP2 0000133c: MSTORE 0000133d: PUSH1 0x02 0000133f: PUSH1 0x20 00001341: MSTORE 00001342: PUSH1 0x40 00001344: SWAP1 00001345: KECCAK256 00001346: SLOAD 00001347: PUSH2 0x1356 0000134a: SWAP1 0000134b: DUP4 0000134c: PUSH4 0xffffffff 00001351: PUSH2 0x1150 00001354: AND 00001355: JUMP 00001356: JUMPDEST 00001357: PUSH1 0x01 00001359: PUSH1 0x01 0000135b: PUSH1 0xa0 0000135d: SHL 0000135e: SUB 0000135f: DUP1 00001360: DUP4 00001361: AND 00001362: PUSH1 0x00 00001364: SWAP1 00001365: DUP2 00001366: MSTORE 00001367: PUSH1 0x02 00001369: PUSH1 0x20 0000136b: MSTORE 0000136c: PUSH1 0x40 0000136e: DUP2 0000136f: KECCAK256 00001370: SWAP3 00001371: SWAP1 00001372: SWAP3 00001373: SSTORE 00001374: SWAP1 00001375: SLOAD 00001376: PUSH2 0x09d8 00001379: SWAP2 0000137a: AND 0000137b: DUP3 0000137c: ADDRESS 0000137d: DUP6 0000137e: PUSH4 0xffffffff 00001383: PUSH2 0x1719 00001386: AND 00001387: JUMP 00001388: JUMPDEST 00001389: PUSH1 0x01 0000138b: PUSH1 0x01 0000138d: PUSH1 0xa0 0000138f: SHL 00001390: SUB 00001391: DUP2 00001392: AND 00001393: PUSH2 0x13cd 00001396: JUMPI 00001397: PUSH1 0x40 00001399: MLOAD 0000139a: PUSH3 0x461bcd 0000139e: PUSH1 0xe5 000013a0: SHL 000013a1: DUP2 000013a2: MSTORE 000013a3: PUSH1 0x04 000013a5: ADD 000013a6: DUP1 000013a7: DUP1 000013a8: PUSH1 0x20 000013aa: ADD 000013ab: DUP3 000013ac: DUP2 000013ad: SUB 000013ae: DUP3 000013af: MSTORE 000013b0: PUSH1 0x26 000013b2: DUP2 000013b3: MSTORE 000013b4: PUSH1 0x20 000013b6: ADD 000013b7: DUP1 000013b8: PUSH2 0x1774 000013bb: PUSH1 0x26 000013bd: SWAP2 000013be: CODECOPY 000013bf: PUSH1 0x40 000013c1: ADD 000013c2: SWAP2 000013c3: POP 000013c4: POP 000013c5: PUSH1 0x40 000013c7: MLOAD 000013c8: DUP1 000013c9: SWAP2 000013ca: SUB 000013cb: SWAP1 000013cc: REVERT 000013cd: JUMPDEST 000013ce: PUSH1 0x03 000013d0: SLOAD 000013d1: PUSH1 0x40 000013d3: MLOAD 000013d4: PUSH1 0x01 000013d6: PUSH1 0x01 000013d8: PUSH1 0xa0 000013da: SHL 000013db: SUB 000013dc: DUP1 000013dd: DUP5 000013de: AND 000013df: SWAP3 000013e0: AND 000013e1: SWAP1 000013e2: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00001403: SWAP1 00001404: PUSH1 0x00 00001406: SWAP1 00001407: LOG3 00001408: PUSH1 0x03 0000140a: DUP1 0000140b: SLOAD 0000140c: PUSH1 0x01 0000140e: PUSH1 0x01 00001410: PUSH1 0xa0 00001412: SHL 00001413: SUB 00001414: NOT 00001415: AND 00001416: PUSH1 0x01 00001418: PUSH1 0x01 0000141a: PUSH1 0xa0 0000141c: SHL 0000141d: SUB 0000141e: SWAP3 0000141f: SWAP1 00001420: SWAP3 00001421: AND 00001422: SWAP2 00001423: SWAP1 00001424: SWAP2 00001425: OR 00001426: SWAP1 00001427: SSTORE 00001428: JUMP 00001429: JUMPDEST 0000142a: PUSH1 0x00 0000142c: DUP2 0000142d: DUP5 0000142e: DUP5 0000142f: GT 00001430: ISZERO 00001431: PUSH2 0x14b8 00001434: JUMPI 00001435: PUSH1 0x40 00001437: MLOAD 00001438: PUSH3 0x461bcd 0000143c: PUSH1 0xe5 0000143e: SHL 0000143f: DUP2 00001440: MSTORE 00001441: PUSH1 0x04 00001443: ADD 00001444: DUP1 00001445: DUP1 00001446: PUSH1 0x20 00001448: ADD 00001449: DUP3 0000144a: DUP2 0000144b: SUB 0000144c: DUP3 0000144d: MSTORE 0000144e: DUP4 0000144f: DUP2 00001450: DUP2 00001451: MLOAD 00001452: DUP2 00001453: MSTORE 00001454: PUSH1 0x20 00001456: ADD 00001457: SWAP2 00001458: POP 00001459: DUP1 0000145a: MLOAD 0000145b: SWAP1 0000145c: PUSH1 0x20 0000145e: ADD 0000145f: SWAP1 00001460: DUP1 00001461: DUP4 00001462: DUP4 00001463: PUSH1 0x00 00001465: JUMPDEST 00001466: DUP4 00001467: DUP2 00001468: LT 00001469: ISZERO 0000146a: PUSH2 0x147d 0000146d: JUMPI 0000146e: DUP2 0000146f: DUP2 00001470: ADD 00001471: MLOAD 00001472: DUP4 00001473: DUP3 00001474: ADD 00001475: MSTORE 00001476: PUSH1 0x20 00001478: ADD 00001479: PUSH2 0x1465 0000147c: JUMP 0000147d: JUMPDEST 0000147e: POP 0000147f: POP 00001480: POP 00001481: POP 00001482: SWAP1 00001483: POP 00001484: SWAP1 00001485: DUP2 00001486: ADD 00001487: SWAP1 00001488: PUSH1 0x1f 0000148a: AND 0000148b: DUP1 0000148c: ISZERO 0000148d: PUSH2 0x14aa 00001490: JUMPI 00001491: DUP1 00001492: DUP3 00001493: SUB 00001494: DUP1 00001495: MLOAD 00001496: PUSH1 0x01 00001498: DUP4 00001499: PUSH1 0x20 0000149b: SUB 0000149c: PUSH2 0x0100 0000149f: EXP 000014a0: SUB 000014a1: NOT 000014a2: AND 000014a3: DUP2 000014a4: MSTORE 000014a5: PUSH1 0x20 000014a7: ADD 000014a8: SWAP2 000014a9: POP 000014aa: JUMPDEST 000014ab: POP 000014ac: SWAP3 000014ad: POP 000014ae: POP 000014af: POP 000014b0: PUSH1 0x40 000014b2: MLOAD 000014b3: DUP1 000014b4: SWAP2 000014b5: SUB 000014b6: SWAP1 000014b7: REVERT 000014b8: JUMPDEST 000014b9: POP 000014ba: POP 000014bb: POP 000014bc: SWAP1 000014bd: SUB 000014be: SWAP1 000014bf: JUMP 000014c0: JUMPDEST 000014c1: PUSH1 0x00 000014c3: DUP2 000014c4: DUP4 000014c5: PUSH2 0x150f 000014c8: JUMPI 000014c9: PUSH1 0x40 000014cb: MLOAD 000014cc: PUSH3 0x461bcd 000014d0: PUSH1 0xe5 000014d2: SHL 000014d3: DUP2 000014d4: MSTORE 000014d5: PUSH1 0x20 000014d7: PUSH1 0x04 000014d9: DUP3 000014da: ADD 000014db: DUP2 000014dc: DUP2 000014dd: MSTORE 000014de: DUP4 000014df: MLOAD 000014e0: PUSH1 0x24 000014e2: DUP5 000014e3: ADD 000014e4: MSTORE 000014e5: DUP4 000014e6: MLOAD 000014e7: SWAP1 000014e8: SWAP3 000014e9: DUP4 000014ea: SWAP3 000014eb: PUSH1 0x44 000014ed: SWAP1 000014ee: SWAP2 000014ef: ADD 000014f0: SWAP2 000014f1: SWAP1 000014f2: DUP6 000014f3: ADD 000014f4: SWAP1 000014f5: DUP1 000014f6: DUP4 000014f7: DUP4 000014f8: PUSH1 0x00 000014fa: DUP4 000014fb: ISZERO 000014fc: PUSH2 0x147d 000014ff: JUMPI 00001500: DUP2 00001501: DUP2 00001502: ADD 00001503: MLOAD 00001504: DUP4 00001505: DUP3 00001506: ADD 00001507: MSTORE 00001508: PUSH1 0x20 0000150a: ADD 0000150b: PUSH2 0x1465 0000150e: JUMP 0000150f: JUMPDEST 00001510: POP 00001511: PUSH1 0x00 00001513: DUP4 00001514: DUP6 00001515: DUP2 00001516: PUSH2 0x151b 00001519: JUMPI 0000151a: INVALID 0000151b: JUMPDEST 0000151c: DIV 0000151d: SWAP6 0000151e: SWAP5 0000151f: POP 00001520: POP 00001521: POP 00001522: POP 00001523: POP 00001524: JUMP 00001525: JUMPDEST 00001526: PUSH2 0x1537 00001529: DUP3 0000152a: PUSH1 0x01 0000152c: PUSH1 0x01 0000152e: PUSH1 0xa0 00001530: SHL 00001531: SUB 00001532: AND 00001533: PUSH2 0x16dd 00001536: JUMP 00001537: JUMPDEST 00001538: PUSH2 0x1588 0000153b: JUMPI 0000153c: PUSH1 0x40 0000153e: DUP1 0000153f: MLOAD 00001540: PUSH3 0x461bcd 00001544: PUSH1 0xe5 00001546: SHL 00001547: DUP2 00001548: MSTORE 00001549: PUSH1 0x20 0000154b: PUSH1 0x04 0000154d: DUP3 0000154e: ADD 0000154f: MSTORE 00001550: PUSH1 0x1f 00001552: PUSH1 0x24 00001554: DUP3 00001555: ADD 00001556: MSTORE 00001557: PUSH32 0x5361666545524332303a2063616c6c20746f206e6f6e2d636f6e747261637400 00001578: PUSH1 0x44 0000157a: DUP3 0000157b: ADD 0000157c: MSTORE 0000157d: SWAP1 0000157e: MLOAD 0000157f: SWAP1 00001580: DUP2 00001581: SWAP1 00001582: SUB 00001583: PUSH1 0x64 00001585: ADD 00001586: SWAP1 00001587: REVERT 00001588: JUMPDEST 00001589: PUSH1 0x00 0000158b: PUSH1 0x60 0000158d: DUP4 0000158e: PUSH1 0x01 00001590: PUSH1 0x01 00001592: PUSH1 0xa0 00001594: SHL 00001595: SUB 00001596: AND 00001597: DUP4 00001598: PUSH1 0x40 0000159a: MLOAD 0000159b: DUP1 0000159c: DUP3 0000159d: DUP1 0000159e: MLOAD 0000159f: SWAP1 000015a0: PUSH1 0x20 000015a2: ADD 000015a3: SWAP1 000015a4: DUP1 000015a5: DUP4 000015a6: DUP4 000015a7: JUMPDEST 000015a8: PUSH1 0x20 000015aa: DUP4 000015ab: LT 000015ac: PUSH2 0x15c6 000015af: JUMPI 000015b0: DUP1 000015b1: MLOAD 000015b2: DUP3 000015b3: MSTORE 000015b4: PUSH1 0x1f 000015b6: NOT 000015b7: SWAP1 000015b8: SWAP3 000015b9: ADD 000015ba: SWAP2 000015bb: PUSH1 0x20 000015bd: SWAP2 000015be: DUP3 000015bf: ADD 000015c0: SWAP2 000015c1: ADD 000015c2: PUSH2 0x15a7 000015c5: JUMP 000015c6: JUMPDEST 000015c7: PUSH1 0x01 000015c9: DUP4 000015ca: PUSH1 0x20 000015cc: SUB 000015cd: PUSH2 0x0100 000015d0: EXP 000015d1: SUB 000015d2: DUP1 000015d3: NOT 000015d4: DUP3 000015d5: MLOAD 000015d6: AND 000015d7: DUP2 000015d8: DUP5 000015d9: MLOAD 000015da: AND 000015db: DUP1 000015dc: DUP3 000015dd: OR 000015de: DUP6 000015df: MSTORE 000015e0: POP 000015e1: POP 000015e2: POP 000015e3: POP 000015e4: POP 000015e5: POP 000015e6: SWAP1 000015e7: POP 000015e8: ADD 000015e9: SWAP2 000015ea: POP 000015eb: POP 000015ec: PUSH1 0x00 000015ee: PUSH1 0x40 000015f0: MLOAD 000015f1: DUP1 000015f2: DUP4 000015f3: SUB 000015f4: DUP2 000015f5: PUSH1 0x00 000015f7: DUP7 000015f8: GAS 000015f9: CALL 000015fa: SWAP2 000015fb: POP 000015fc: POP 000015fd: RETURNDATASIZE 000015fe: DUP1 000015ff: PUSH1 0x00 00001601: DUP2 00001602: EQ 00001603: PUSH2 0x1628 00001606: JUMPI 00001607: PUSH1 0x40 00001609: MLOAD 0000160a: SWAP2 0000160b: POP 0000160c: PUSH1 0x1f 0000160e: NOT 0000160f: PUSH1 0x3f 00001611: RETURNDATASIZE 00001612: ADD 00001613: AND 00001614: DUP3 00001615: ADD 00001616: PUSH1 0x40 00001618: MSTORE 00001619: RETURNDATASIZE 0000161a: DUP3 0000161b: MSTORE 0000161c: RETURNDATASIZE 0000161d: PUSH1 0x00 0000161f: PUSH1 0x20 00001621: DUP5 00001622: ADD 00001623: RETURNDATACOPY 00001624: PUSH2 0x162d 00001627: JUMP 00001628: JUMPDEST 00001629: PUSH1 0x60 0000162b: SWAP2 0000162c: POP 0000162d: JUMPDEST 0000162e: POP 0000162f: SWAP2 00001630: POP 00001631: SWAP2 00001632: POP 00001633: DUP2 00001634: PUSH2 0x1684 00001637: JUMPI 00001638: PUSH1 0x40 0000163a: DUP1 0000163b: MLOAD 0000163c: PUSH3 0x461bcd 00001640: PUSH1 0xe5 00001642: SHL 00001643: DUP2 00001644: MSTORE 00001645: PUSH1 0x20 00001647: PUSH1 0x04 00001649: DUP3 0000164a: ADD 0000164b: DUP2 0000164c: SWAP1 0000164d: MSTORE 0000164e: PUSH1 0x24 00001650: DUP3 00001651: ADD 00001652: MSTORE 00001653: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 00001674: PUSH1 0x44 00001676: DUP3 00001677: ADD 00001678: MSTORE 00001679: SWAP1 0000167a: MLOAD 0000167b: SWAP1 0000167c: DUP2 0000167d: SWAP1 0000167e: SUB 0000167f: PUSH1 0x64 00001681: ADD 00001682: SWAP1 00001683: REVERT 00001684: JUMPDEST 00001685: DUP1 00001686: MLOAD 00001687: ISZERO 00001688: PUSH2 0x0fda 0000168b: JUMPI 0000168c: DUP1 0000168d: DUP1 0000168e: PUSH1 0x20 00001690: ADD 00001691: SWAP1 00001692: MLOAD 00001693: PUSH1 0x20 00001695: DUP2 00001696: LT 00001697: ISZERO 00001698: PUSH2 0x16a0 0000169b: JUMPI 0000169c: PUSH1 0x00 0000169e: DUP1 0000169f: REVERT 000016a0: JUMPDEST 000016a1: POP 000016a2: MLOAD 000016a3: PUSH2 0x0fda 000016a6: JUMPI 000016a7: PUSH1 0x40 000016a9: MLOAD 000016aa: PUSH3 0x461bcd 000016ae: PUSH1 0xe5 000016b0: SHL 000016b1: DUP2 000016b2: MSTORE 000016b3: PUSH1 0x04 000016b5: ADD 000016b6: DUP1 000016b7: DUP1 000016b8: PUSH1 0x20 000016ba: ADD 000016bb: DUP3 000016bc: DUP2 000016bd: SUB 000016be: DUP3 000016bf: MSTORE 000016c0: PUSH1 0x2a 000016c2: DUP2 000016c3: MSTORE 000016c4: PUSH1 0x20 000016c6: ADD 000016c7: DUP1 000016c8: PUSH2 0x17bb 000016cb: PUSH1 0x2a 000016cd: SWAP2 000016ce: CODECOPY 000016cf: PUSH1 0x40 000016d1: ADD 000016d2: SWAP2 000016d3: POP 000016d4: POP 000016d5: PUSH1 0x40 000016d7: MLOAD 000016d8: DUP1 000016d9: SWAP2 000016da: SUB 000016db: SWAP1 000016dc: REVERT 000016dd: JUMPDEST 000016de: PUSH1 0x00 000016e0: DUP2 000016e1: EXTCODEHASH 000016e2: PUSH32 0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470 00001703: DUP2 00001704: ISZERO 00001705: DUP1 00001706: ISZERO 00001707: SWAP1 00001708: PUSH2 0x1711 0000170b: JUMPI 0000170c: POP 0000170d: DUP1 0000170e: DUP3 0000170f: EQ 00001710: ISZERO 00001711: JUMPDEST 00001712: SWAP5 00001713: SWAP4 00001714: POP 00001715: POP 00001716: POP 00001717: POP 00001718: JUMP 00001719: JUMPDEST 0000171a: PUSH1 0x40 0000171c: DUP1 0000171d: MLOAD 0000171e: PUSH1 0x01 00001720: PUSH1 0x01 00001722: PUSH1 0xa0 00001724: SHL 00001725: SUB 00001726: DUP6 00001727: DUP2 00001728: AND 00001729: PUSH1 0x24 0000172b: DUP4 0000172c: ADD 0000172d: MSTORE 0000172e: DUP5 0000172f: AND 00001730: PUSH1 0x44 00001732: DUP3 00001733: ADD 00001734: MSTORE 00001735: PUSH1 0x64 00001737: DUP1 00001738: DUP3 00001739: ADD 0000173a: DUP5 0000173b: SWAP1 0000173c: MSTORE 0000173d: DUP3 0000173e: MLOAD 0000173f: DUP1 00001740: DUP4 00001741: SUB 00001742: SWAP1 00001743: SWAP2 00001744: ADD 00001745: DUP2 00001746: MSTORE 00001747: PUSH1 0x84 00001749: SWAP1 0000174a: SWAP2 0000174b: ADD 0000174c: SWAP1 0000174d: SWAP2 0000174e: MSTORE 0000174f: PUSH1 0x20 00001751: DUP2 00001752: ADD 00001753: DUP1 00001754: MLOAD 00001755: PUSH1 0x01 00001757: PUSH1 0x01 00001759: PUSH1 0xe0 0000175b: SHL 0000175c: SUB 0000175d: AND 0000175e: PUSH4 0x23b872dd 00001763: PUSH1 0xe0 00001765: SHL 00001766: OR 00001767: SWAP1 00001768: MSTORE 00001769: PUSH2 0x0fda 0000176c: SWAP1 0000176d: DUP6 0000176e: SWAP1 0000176f: PUSH2 0x1525 00001772: JUMP 00001773: INVALID 00001774: UNKNOWN(0x4F) 00001775: PUSH24 0x6e61626c653a206e6577206f776e65722069732074686520 0000178e: PUSH27 0x65726f2061646472657373536166654d6174683a206d756c746970 000017aa: PUSH13 0x69636174696f6e206f76657266 000017b8: PUSH13 0x6f775361666545524332303a20 000017c6: GASLIMIT 000017c7: MSTORE 000017c8: NUMBER 000017c9: ORIGIN 000017ca: ADDRESS 000017cb: KECCAK256 000017cc: PUSH16 0x7065726174696f6e20646964206e6f74 000017dd: KECCAK256 000017de: PUSH20 0x756363656564a265627a7a72315820bb85ade147 000017f3: UNKNOWN(0x0F) 000017f4: BLOBHASH 000017f5: UNKNOWN(0xAD) 000017f6: CALLDATASIZE 000017f7: UNKNOWN(0xC8) 000017f8: PUSH21 0xea3258eb92574787598c555d64856713569d5f45ce 0000180e: PUSH5 0x736f6c6343 00001814: STOP 00001815: SDIV 00001816: LT 00001817: STOP 00001818: ORIGIN
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xdf136d65",
"selector": "0xdf136d65",
"calldata_variants": [
"0xdf136d65",
"0xdf136d650000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe9fad8ee",
"selector": "0xe9fad8ee",
"calldata_variants": [
"0xe9fad8ee",
"0xe9fad8ee0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xebe2b12b",
"selector": "0xebe2b12b",
"calldata_variants": [
"0xebe2b12b",
"0xebe2b12b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbfd9041b",
"selector": "0xbfd9041b",
"calldata_variants": [
"0xbfd9041b",
"0xbfd9041b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc8f33c91",
"selector": "0xc8f33c91",
"calldata_variants": [
"0xc8f33c91",
"0xc8f33c910000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcd3daf9d",
"selector": "0xcd3daf9d",
"calldata_variants": [
"0xcd3daf9d",
"0xcd3daf9d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd49a32a8",
"selector": "0xd49a32a8",
"calldata_variants": [
"0xd49a32a8",
"0xd49a32a80000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 4808,
"type": "tx_origin_used"
},
{
"pc": 6089,
"type": "tx_origin_used"
},
{
"pc": 6168,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x1e2ff862885c6f8d12156eb47eb4526402362c679394b283080d8e2c3ea42f30
call_targets:
0xb1236770ed9015e331c021347e005b00c8b8a01b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x1e2ff862885c6f8d12156eb47eb4526402362c679394b283080d8e2c3ea42f30",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xb1236770ed9015e331c021347e005b00c8b8a01b"
],
"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": "0xdf136d65",
"selector": "0xdf136d65",
"calldata_variants": [
"0xdf136d65",
"0xdf136d650000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe9fad8ee",
"selector": "0xe9fad8ee",
"calldata_variants": [
"0xe9fad8ee",
"0xe9fad8ee0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xebe2b12b",
"selector": "0xebe2b12b",
"calldata_variants": [
"0xebe2b12b",
"0xebe2b12b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbfd9041b",
"selector": "0xbfd9041b",
"calldata_variants": [
"0xbfd9041b",
"0xbfd9041b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc8f33c91",
"selector": "0xc8f33c91",
"calldata_variants": [
"0xc8f33c91",
"0xc8f33c910000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcd3daf9d",
"selector": "0xcd3daf9d",
"calldata_variants": [
"0xcd3daf9d",
"0xcd3daf9d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd49a32a8",
"selector": "0xd49a32a8",
"calldata_variants": [
"0xd49a32a8",
"0xd49a32a80000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1926,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2282,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3330,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [
{
"pc": 4808,
"type": "tx_origin_used"
},
{
"pc": 6089,
"type": "tx_origin_used"
},
{
"pc": 6168,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 4
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x1e2ff862885c6f8d12156eb47eb4526402362c679394b283080d8e2c3ea42f30
call_targets:
0xb1236770ed9015e331c021347e005b00c8b8a01b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x1e2ff862885c6f8d12156eb47eb4526402362c679394b283080d8e2c3ea42f30",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xb1236770ed9015e331c021347e005b00c8b8a01b"
],
"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": "0xdf136d65",
"selector": "0xdf136d65",
"calldata_variants": [
"0xdf136d65",
"0xdf136d650000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe9fad8ee",
"selector": "0xe9fad8ee",
"calldata_variants": [
"0xe9fad8ee",
"0xe9fad8ee0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xebe2b12b",
"selector": "0xebe2b12b",
"calldata_variants": [
"0xebe2b12b",
"0xebe2b12b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbfd9041b",
"selector": "0xbfd9041b",
"calldata_variants": [
"0xbfd9041b",
"0xbfd9041b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc8f33c91",
"selector": "0xc8f33c91",
"calldata_variants": [
"0xc8f33c91",
"0xc8f33c910000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcd3daf9d",
"selector": "0xcd3daf9d",
"calldata_variants": [
"0xcd3daf9d",
"0xcd3daf9d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd49a32a8",
"selector": "0xd49a32a8",
"calldata_variants": [
"0xd49a32a8",
"0xd49a32a80000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1926,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2282,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3330,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": [
{
"pc": 4808,
"type": "tx_origin_used"
},
{
"pc": 6089,
"type": "tx_origin_used"
},
{
"pc": 6168,
"type": "tx_origin_used"
}
]
}
|