019b477e-b887-703c-9200-18b881f2d375
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 |
|---|---|---|---|---|
| 23455 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 23456 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 107833 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 107834 | capability.graph | complete | 1 / 3 | 1 week ago |
| 107835 | detector.run | complete | 1 / 3 | 1 week ago |
| 107836 | validation.fork | complete | 1 / 3 | 1 week ago |
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 0x0108 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x443bb293 00000019: GT 0000001a: PUSH2 0x0095 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x95d89b41 00000024: GT 00000025: PUSH2 0x0064 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x95d89b41 0000002f: EQ 00000030: PUSH2 0x03fe 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xa457c2d7 0000003a: EQ 0000003b: PUSH2 0x0413 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xa9059cbb 00000045: EQ 00000046: PUSH2 0x044c 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xa9691f3f 00000050: EQ 00000051: PUSH2 0x0485 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xdd62ed3e 0000005b: EQ 0000005c: PUSH2 0x049a 0000005f: JUMPI 00000060: PUSH2 0x0108 00000063: JUMP 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x443bb293 0000006b: EQ 0000006c: PUSH2 0x0350 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x46c162de 00000076: EQ 00000077: PUSH2 0x0383 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x4e97415f 00000081: EQ 00000082: PUSH2 0x0398 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x70a08231 0000008c: EQ 0000008d: PUSH2 0x03cb 00000090: JUMPI 00000091: PUSH2 0x0108 00000094: JUMP 00000095: JUMPDEST 00000096: DUP1 00000097: PUSH4 0x23b872dd 0000009c: GT 0000009d: PUSH2 0x00dc 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x23b872dd 000000a7: EQ 000000a8: PUSH2 0x023b 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x24600fc3 000000b2: EQ 000000b3: PUSH2 0x027e 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x313ce567 000000bd: EQ 000000be: PUSH2 0x0293 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x39509351 000000c8: EQ 000000c9: PUSH2 0x02be 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0x41b4ffc9 000000d3: EQ 000000d4: PUSH2 0x02f7 000000d7: JUMPI 000000d8: PUSH2 0x0108 000000db: JUMP 000000dc: JUMPDEST 000000dd: DUP1 000000de: PUSH3 0x41c52c 000000e2: EQ 000000e3: PUSH2 0x010a 000000e6: JUMPI 000000e7: DUP1 000000e8: PUSH4 0x06fdde03 000000ed: EQ 000000ee: PUSH2 0x014f 000000f1: JUMPI 000000f2: DUP1 000000f3: PUSH4 0x095ea7b3 000000f8: EQ 000000f9: PUSH2 0x01d9 000000fc: JUMPI 000000fd: DUP1 000000fe: PUSH4 0x18160ddd 00000103: EQ 00000104: PUSH2 0x0226 00000107: JUMPI 00000108: JUMPDEST 00000109: STOP 0000010a: JUMPDEST 0000010b: CALLVALUE 0000010c: DUP1 0000010d: ISZERO 0000010e: PUSH2 0x0116 00000111: JUMPI 00000112: PUSH1 0x00 00000114: DUP1 00000115: REVERT 00000116: JUMPDEST 00000117: POP 00000118: PUSH2 0x013d 0000011b: PUSH1 0x04 0000011d: DUP1 0000011e: CALLDATASIZE 0000011f: SUB 00000120: PUSH1 0x20 00000122: DUP2 00000123: LT 00000124: ISZERO 00000125: PUSH2 0x012d 00000128: JUMPI 00000129: PUSH1 0x00 0000012b: DUP1 0000012c: REVERT 0000012d: JUMPDEST 0000012e: POP 0000012f: CALLDATALOAD 00000130: PUSH1 0x01 00000132: PUSH1 0x01 00000134: PUSH1 0xa0 00000136: SHL 00000137: SUB 00000138: AND 00000139: PUSH2 0x04d5 0000013c: JUMP 0000013d: JUMPDEST 0000013e: PUSH1 0x40 00000140: DUP1 00000141: MLOAD 00000142: SWAP2 00000143: DUP3 00000144: MSTORE 00000145: MLOAD 00000146: SWAP1 00000147: DUP2 00000148: SWAP1 00000149: SUB 0000014a: PUSH1 0x20 0000014c: ADD 0000014d: SWAP1 0000014e: RETURN 0000014f: JUMPDEST 00000150: CALLVALUE 00000151: DUP1 00000152: ISZERO 00000153: PUSH2 0x015b 00000156: JUMPI 00000157: PUSH1 0x00 00000159: DUP1 0000015a: REVERT 0000015b: JUMPDEST 0000015c: POP 0000015d: PUSH2 0x0164 00000160: PUSH2 0x04f0 00000163: JUMP 00000164: JUMPDEST 00000165: PUSH1 0x40 00000167: DUP1 00000168: MLOAD 00000169: PUSH1 0x20 0000016b: DUP1 0000016c: DUP3 0000016d: MSTORE 0000016e: DUP4 0000016f: MLOAD 00000170: DUP2 00000171: DUP4 00000172: ADD 00000173: MSTORE 00000174: DUP4 00000175: MLOAD 00000176: SWAP2 00000177: SWAP3 00000178: DUP4 00000179: SWAP3 0000017a: SWAP1 0000017b: DUP4 0000017c: ADD 0000017d: SWAP2 0000017e: DUP6 0000017f: ADD 00000180: SWAP1 00000181: DUP1 00000182: DUP4 00000183: DUP4 00000184: PUSH1 0x00 00000186: JUMPDEST 00000187: DUP4 00000188: DUP2 00000189: LT 0000018a: ISZERO 0000018b: PUSH2 0x019e 0000018e: JUMPI 0000018f: DUP2 00000190: DUP2 00000191: ADD 00000192: MLOAD 00000193: DUP4 00000194: DUP3 00000195: ADD 00000196: MSTORE 00000197: PUSH1 0x20 00000199: ADD 0000019a: PUSH2 0x0186 0000019d: JUMP 0000019e: JUMPDEST 0000019f: POP 000001a0: POP 000001a1: POP 000001a2: POP 000001a3: SWAP1 000001a4: POP 000001a5: SWAP1 000001a6: DUP2 000001a7: ADD 000001a8: SWAP1 000001a9: PUSH1 0x1f 000001ab: AND 000001ac: DUP1 000001ad: ISZERO 000001ae: PUSH2 0x01cb 000001b1: JUMPI 000001b2: DUP1 000001b3: DUP3 000001b4: SUB 000001b5: DUP1 000001b6: MLOAD 000001b7: PUSH1 0x01 000001b9: DUP4 000001ba: PUSH1 0x20 000001bc: SUB 000001bd: PUSH2 0x0100 000001c0: EXP 000001c1: SUB 000001c2: NOT 000001c3: AND 000001c4: DUP2 000001c5: MSTORE 000001c6: PUSH1 0x20 000001c8: ADD 000001c9: SWAP2 000001ca: POP 000001cb: JUMPDEST 000001cc: POP 000001cd: SWAP3 000001ce: POP 000001cf: POP 000001d0: POP 000001d1: PUSH1 0x40 000001d3: MLOAD 000001d4: DUP1 000001d5: SWAP2 000001d6: SUB 000001d7: SWAP1 000001d8: RETURN 000001d9: JUMPDEST 000001da: CALLVALUE 000001db: DUP1 000001dc: ISZERO 000001dd: PUSH2 0x01e5 000001e0: JUMPI 000001e1: PUSH1 0x00 000001e3: DUP1 000001e4: REVERT 000001e5: JUMPDEST 000001e6: POP 000001e7: PUSH2 0x0212 000001ea: PUSH1 0x04 000001ec: DUP1 000001ed: CALLDATASIZE 000001ee: SUB 000001ef: PUSH1 0x40 000001f1: DUP2 000001f2: LT 000001f3: ISZERO 000001f4: PUSH2 0x01fc 000001f7: JUMPI 000001f8: PUSH1 0x00 000001fa: DUP1 000001fb: REVERT 000001fc: JUMPDEST 000001fd: POP 000001fe: PUSH1 0x01 00000200: PUSH1 0x01 00000202: PUSH1 0xa0 00000204: SHL 00000205: SUB 00000206: DUP2 00000207: CALLDATALOAD 00000208: AND 00000209: SWAP1 0000020a: PUSH1 0x20 0000020c: ADD 0000020d: CALLDATALOAD 0000020e: PUSH2 0x0586 00000211: JUMP 00000212: JUMPDEST 00000213: PUSH1 0x40 00000215: DUP1 00000216: MLOAD 00000217: SWAP2 00000218: ISZERO 00000219: ISZERO 0000021a: DUP3 0000021b: MSTORE 0000021c: MLOAD 0000021d: SWAP1 0000021e: DUP2 0000021f: SWAP1 00000220: SUB 00000221: PUSH1 0x20 00000223: ADD 00000224: SWAP1 00000225: RETURN 00000226: JUMPDEST 00000227: CALLVALUE 00000228: DUP1 00000229: ISZERO 0000022a: PUSH2 0x0232 0000022d: JUMPI 0000022e: PUSH1 0x00 00000230: DUP1 00000231: REVERT 00000232: JUMPDEST 00000233: POP 00000234: PUSH2 0x013d 00000237: PUSH2 0x05a4 0000023a: JUMP 0000023b: JUMPDEST 0000023c: CALLVALUE 0000023d: DUP1 0000023e: ISZERO 0000023f: PUSH2 0x0247 00000242: JUMPI 00000243: PUSH1 0x00 00000245: DUP1 00000246: REVERT 00000247: JUMPDEST 00000248: POP 00000249: PUSH2 0x0212 0000024c: PUSH1 0x04 0000024e: DUP1 0000024f: CALLDATASIZE 00000250: SUB 00000251: PUSH1 0x60 00000253: DUP2 00000254: LT 00000255: ISZERO 00000256: PUSH2 0x025e 00000259: JUMPI 0000025a: PUSH1 0x00 0000025c: DUP1 0000025d: REVERT 0000025e: JUMPDEST 0000025f: POP 00000260: PUSH1 0x01 00000262: PUSH1 0x01 00000264: PUSH1 0xa0 00000266: SHL 00000267: SUB 00000268: DUP2 00000269: CALLDATALOAD 0000026a: DUP2 0000026b: AND 0000026c: SWAP2 0000026d: PUSH1 0x20 0000026f: DUP2 00000270: ADD 00000271: CALLDATALOAD 00000272: SWAP1 00000273: SWAP2 00000274: AND 00000275: SWAP1 00000276: PUSH1 0x40 00000278: ADD 00000279: CALLDATALOAD 0000027a: PUSH2 0x05aa 0000027d: JUMP 0000027e: JUMPDEST 0000027f: CALLVALUE 00000280: DUP1 00000281: ISZERO 00000282: PUSH2 0x028a 00000285: JUMPI 00000286: PUSH1 0x00 00000288: DUP1 00000289: REVERT 0000028a: JUMPDEST 0000028b: POP 0000028c: PUSH2 0x0108 0000028f: PUSH2 0x0637 00000292: JUMP 00000293: JUMPDEST 00000294: CALLVALUE 00000295: DUP1 00000296: ISZERO 00000297: PUSH2 0x029f 0000029a: JUMPI 0000029b: PUSH1 0x00 0000029d: DUP1 0000029e: REVERT 0000029f: JUMPDEST 000002a0: POP 000002a1: PUSH2 0x02a8 000002a4: PUSH2 0x0681 000002a7: JUMP 000002a8: JUMPDEST 000002a9: PUSH1 0x40 000002ab: DUP1 000002ac: MLOAD 000002ad: PUSH1 0xff 000002af: SWAP1 000002b0: SWAP3 000002b1: AND 000002b2: DUP3 000002b3: MSTORE 000002b4: MLOAD 000002b5: SWAP1 000002b6: DUP2 000002b7: SWAP1 000002b8: SUB 000002b9: PUSH1 0x20 000002bb: ADD 000002bc: SWAP1 000002bd: RETURN 000002be: JUMPDEST 000002bf: CALLVALUE 000002c0: DUP1 000002c1: ISZERO 000002c2: PUSH2 0x02ca 000002c5: JUMPI 000002c6: PUSH1 0x00 000002c8: DUP1 000002c9: REVERT 000002ca: JUMPDEST 000002cb: POP 000002cc: PUSH2 0x0212 000002cf: PUSH1 0x04 000002d1: DUP1 000002d2: CALLDATASIZE 000002d3: SUB 000002d4: PUSH1 0x40 000002d6: DUP2 000002d7: LT 000002d8: ISZERO 000002d9: PUSH2 0x02e1 000002dc: JUMPI 000002dd: PUSH1 0x00 000002df: DUP1 000002e0: REVERT 000002e1: JUMPDEST 000002e2: POP 000002e3: PUSH1 0x01 000002e5: PUSH1 0x01 000002e7: PUSH1 0xa0 000002e9: SHL 000002ea: SUB 000002eb: DUP2 000002ec: CALLDATALOAD 000002ed: AND 000002ee: SWAP1 000002ef: PUSH1 0x20 000002f1: ADD 000002f2: CALLDATALOAD 000002f3: PUSH2 0x068a 000002f6: JUMP 000002f7: JUMPDEST 000002f8: CALLVALUE 000002f9: DUP1 000002fa: ISZERO 000002fb: PUSH2 0x0303 000002fe: JUMPI 000002ff: PUSH1 0x00 00000301: DUP1 00000302: REVERT 00000303: JUMPDEST 00000304: POP 00000305: PUSH2 0x032a 00000308: PUSH1 0x04 0000030a: DUP1 0000030b: CALLDATASIZE 0000030c: SUB 0000030d: PUSH1 0x20 0000030f: DUP2 00000310: LT 00000311: ISZERO 00000312: PUSH2 0x031a 00000315: JUMPI 00000316: PUSH1 0x00 00000318: DUP1 00000319: REVERT 0000031a: JUMPDEST 0000031b: POP 0000031c: CALLDATALOAD 0000031d: PUSH1 0x01 0000031f: PUSH1 0x01 00000321: PUSH1 0xa0 00000323: SHL 00000324: SUB 00000325: AND 00000326: PUSH2 0x06de 00000329: JUMP 0000032a: JUMPDEST 0000032b: PUSH1 0x40 0000032d: DUP1 0000032e: MLOAD 0000032f: SWAP5 00000330: DUP6 00000331: MSTORE 00000332: PUSH1 0x20 00000334: DUP6 00000335: ADD 00000336: SWAP4 00000337: SWAP1 00000338: SWAP4 00000339: MSTORE 0000033a: DUP4 0000033b: DUP4 0000033c: ADD 0000033d: SWAP2 0000033e: SWAP1 0000033f: SWAP2 00000340: MSTORE 00000341: PUSH1 0x60 00000343: DUP4 00000344: ADD 00000345: MSTORE 00000346: MLOAD 00000347: SWAP1 00000348: DUP2 00000349: SWAP1 0000034a: SUB 0000034b: PUSH1 0x80 0000034d: ADD 0000034e: SWAP1 0000034f: RETURN 00000350: JUMPDEST 00000351: CALLVALUE 00000352: DUP1 00000353: ISZERO 00000354: PUSH2 0x035c 00000357: JUMPI 00000358: PUSH1 0x00 0000035a: DUP1 0000035b: REVERT 0000035c: JUMPDEST 0000035d: POP 0000035e: PUSH2 0x013d 00000361: PUSH1 0x04 00000363: DUP1 00000364: CALLDATASIZE 00000365: SUB 00000366: PUSH1 0x20 00000368: DUP2 00000369: LT 0000036a: ISZERO 0000036b: PUSH2 0x0373 0000036e: JUMPI 0000036f: PUSH1 0x00 00000371: DUP1 00000372: REVERT 00000373: JUMPDEST 00000374: POP 00000375: CALLDATALOAD 00000376: PUSH1 0x01 00000378: PUSH1 0x01 0000037a: PUSH1 0xa0 0000037c: SHL 0000037d: SUB 0000037e: AND 0000037f: PUSH2 0x072b 00000382: JUMP 00000383: JUMPDEST 00000384: CALLVALUE 00000385: DUP1 00000386: ISZERO 00000387: PUSH2 0x038f 0000038a: JUMPI 0000038b: PUSH1 0x00 0000038d: DUP1 0000038e: REVERT 0000038f: JUMPDEST 00000390: POP 00000391: PUSH2 0x0108 00000394: PUSH2 0x075d 00000397: JUMP 00000398: JUMPDEST 00000399: CALLVALUE 0000039a: DUP1 0000039b: ISZERO 0000039c: PUSH2 0x03a4 0000039f: JUMPI 000003a0: PUSH1 0x00 000003a2: DUP1 000003a3: REVERT 000003a4: JUMPDEST 000003a5: POP 000003a6: PUSH2 0x013d 000003a9: PUSH1 0x04 000003ab: DUP1 000003ac: CALLDATASIZE 000003ad: SUB 000003ae: PUSH1 0x20 000003b0: DUP2 000003b1: LT 000003b2: ISZERO 000003b3: PUSH2 0x03bb 000003b6: JUMPI 000003b7: PUSH1 0x00 000003b9: DUP1 000003ba: REVERT 000003bb: JUMPDEST 000003bc: POP 000003bd: CALLDATALOAD 000003be: PUSH1 0x01 000003c0: PUSH1 0x01 000003c2: PUSH1 0xa0 000003c4: SHL 000003c5: SUB 000003c6: AND 000003c7: PUSH2 0x0786 000003ca: JUMP 000003cb: JUMPDEST 000003cc: CALLVALUE 000003cd: DUP1 000003ce: ISZERO 000003cf: PUSH2 0x03d7 000003d2: JUMPI 000003d3: PUSH1 0x00 000003d5: DUP1 000003d6: REVERT 000003d7: JUMPDEST 000003d8: POP 000003d9: PUSH2 0x013d 000003dc: PUSH1 0x04 000003de: DUP1 000003df: CALLDATASIZE 000003e0: SUB 000003e1: PUSH1 0x20 000003e3: DUP2 000003e4: LT 000003e5: ISZERO 000003e6: PUSH2 0x03ee 000003e9: JUMPI 000003ea: PUSH1 0x00 000003ec: DUP1 000003ed: REVERT 000003ee: JUMPDEST 000003ef: POP 000003f0: CALLDATALOAD 000003f1: PUSH1 0x01 000003f3: PUSH1 0x01 000003f5: PUSH1 0xa0 000003f7: SHL 000003f8: SUB 000003f9: AND 000003fa: PUSH2 0x07ef 000003fd: JUMP 000003fe: JUMPDEST 000003ff: CALLVALUE 00000400: DUP1 00000401: ISZERO 00000402: PUSH2 0x040a 00000405: JUMPI 00000406: PUSH1 0x00 00000408: DUP1 00000409: REVERT 0000040a: JUMPDEST 0000040b: POP 0000040c: PUSH2 0x0164 0000040f: PUSH2 0x080a 00000412: JUMP 00000413: JUMPDEST 00000414: CALLVALUE 00000415: DUP1 00000416: ISZERO 00000417: PUSH2 0x041f 0000041a: JUMPI 0000041b: PUSH1 0x00 0000041d: DUP1 0000041e: REVERT 0000041f: JUMPDEST 00000420: POP 00000421: PUSH2 0x0212 00000424: PUSH1 0x04 00000426: DUP1 00000427: CALLDATASIZE 00000428: SUB 00000429: PUSH1 0x40 0000042b: DUP2 0000042c: LT 0000042d: ISZERO 0000042e: PUSH2 0x0436 00000431: JUMPI 00000432: PUSH1 0x00 00000434: DUP1 00000435: REVERT 00000436: JUMPDEST 00000437: POP 00000438: PUSH1 0x01 0000043a: PUSH1 0x01 0000043c: PUSH1 0xa0 0000043e: SHL 0000043f: SUB 00000440: DUP2 00000441: CALLDATALOAD 00000442: AND 00000443: SWAP1 00000444: PUSH1 0x20 00000446: ADD 00000447: CALLDATALOAD 00000448: PUSH2 0x086a 0000044b: JUMP 0000044c: JUMPDEST 0000044d: CALLVALUE 0000044e: DUP1 0000044f: ISZERO 00000450: PUSH2 0x0458 00000453: JUMPI 00000454: PUSH1 0x00 00000456: DUP1 00000457: REVERT 00000458: JUMPDEST 00000459: POP 0000045a: PUSH2 0x0212 0000045d: PUSH1 0x04 0000045f: DUP1 00000460: CALLDATASIZE 00000461: SUB 00000462: PUSH1 0x40 00000464: DUP2 00000465: LT 00000466: ISZERO 00000467: PUSH2 0x046f 0000046a: JUMPI 0000046b: PUSH1 0x00 0000046d: DUP1 0000046e: REVERT 0000046f: JUMPDEST 00000470: POP 00000471: PUSH1 0x01 00000473: PUSH1 0x01 00000475: PUSH1 0xa0 00000477: SHL 00000478: SUB 00000479: DUP2 0000047a: CALLDATALOAD 0000047b: AND 0000047c: SWAP1 0000047d: PUSH1 0x20 0000047f: ADD 00000480: CALLDATALOAD 00000481: PUSH2 0x08d8 00000484: JUMP 00000485: JUMPDEST 00000486: CALLVALUE 00000487: DUP1 00000488: ISZERO 00000489: PUSH2 0x0491 0000048c: JUMPI 0000048d: PUSH1 0x00 0000048f: DUP1 00000490: REVERT 00000491: JUMPDEST 00000492: POP 00000493: PUSH2 0x013d 00000496: PUSH2 0x08ec 00000499: JUMP 0000049a: JUMPDEST 0000049b: CALLVALUE 0000049c: DUP1 0000049d: ISZERO 0000049e: PUSH2 0x04a6 000004a1: JUMPI 000004a2: PUSH1 0x00 000004a4: DUP1 000004a5: REVERT 000004a6: JUMPDEST 000004a7: POP 000004a8: PUSH2 0x013d 000004ab: PUSH1 0x04 000004ad: DUP1 000004ae: CALLDATASIZE 000004af: SUB 000004b0: PUSH1 0x40 000004b2: DUP2 000004b3: LT 000004b4: ISZERO 000004b5: PUSH2 0x04bd 000004b8: JUMPI 000004b9: PUSH1 0x00 000004bb: DUP1 000004bc: REVERT 000004bd: JUMPDEST 000004be: POP 000004bf: PUSH1 0x01 000004c1: PUSH1 0x01 000004c3: PUSH1 0xa0 000004c5: SHL 000004c6: SUB 000004c7: DUP2 000004c8: CALLDATALOAD 000004c9: DUP2 000004ca: AND 000004cb: SWAP2 000004cc: PUSH1 0x20 000004ce: ADD 000004cf: CALLDATALOAD 000004d0: AND 000004d1: PUSH2 0x08f2 000004d4: JUMP 000004d5: JUMPDEST 000004d6: PUSH1 0x01 000004d8: PUSH1 0x01 000004da: PUSH1 0xa0 000004dc: SHL 000004dd: SUB 000004de: AND 000004df: PUSH1 0x00 000004e1: SWAP1 000004e2: DUP2 000004e3: MSTORE 000004e4: PUSH1 0x08 000004e6: PUSH1 0x20 000004e8: MSTORE 000004e9: PUSH1 0x40 000004eb: SWAP1 000004ec: KECCAK256 000004ed: SLOAD 000004ee: SWAP1 000004ef: JUMP 000004f0: JUMPDEST 000004f1: PUSH1 0x00 000004f3: DUP1 000004f4: SLOAD 000004f5: PUSH1 0x40 000004f7: DUP1 000004f8: MLOAD 000004f9: PUSH1 0x20 000004fb: PUSH1 0x1f 000004fd: PUSH1 0x02 000004ff: PUSH1 0x00 00000501: NOT 00000502: PUSH2 0x0100 00000505: PUSH1 0x01 00000507: DUP9 00000508: AND 00000509: ISZERO 0000050a: MUL 0000050b: ADD 0000050c: SWAP1 0000050d: SWAP6 0000050e: AND 0000050f: SWAP5 00000510: SWAP1 00000511: SWAP5 00000512: DIV 00000513: SWAP4 00000514: DUP5 00000515: ADD 00000516: DUP2 00000517: SWAP1 00000518: DIV 00000519: DUP2 0000051a: MUL 0000051b: DUP3 0000051c: ADD 0000051d: DUP2 0000051e: ADD 0000051f: SWAP1 00000520: SWAP3 00000521: MSTORE 00000522: DUP3 00000523: DUP2 00000524: MSTORE 00000525: PUSH1 0x60 00000527: SWAP4 00000528: SWAP1 00000529: SWAP3 0000052a: SWAP1 0000052b: SWAP2 0000052c: DUP4 0000052d: ADD 0000052e: DUP3 0000052f: DUP3 00000530: DUP1 00000531: ISZERO 00000532: PUSH2 0x057c 00000535: JUMPI 00000536: DUP1 00000537: PUSH1 0x1f 00000539: LT 0000053a: PUSH2 0x0551 0000053d: JUMPI 0000053e: PUSH2 0x0100 00000541: DUP1 00000542: DUP4 00000543: SLOAD 00000544: DIV 00000545: MUL 00000546: DUP4 00000547: MSTORE 00000548: SWAP2 00000549: PUSH1 0x20 0000054b: ADD 0000054c: SWAP2 0000054d: PUSH2 0x057c 00000550: JUMP 00000551: JUMPDEST 00000552: DUP3 00000553: ADD 00000554: SWAP2 00000555: SWAP1 00000556: PUSH1 0x00 00000558: MSTORE 00000559: PUSH1 0x20 0000055b: PUSH1 0x00 0000055d: KECCAK256 0000055e: SWAP1 0000055f: JUMPDEST 00000560: DUP2 00000561: SLOAD 00000562: DUP2 00000563: MSTORE 00000564: SWAP1 00000565: PUSH1 0x01 00000567: ADD 00000568: SWAP1 00000569: PUSH1 0x20 0000056b: ADD 0000056c: DUP1 0000056d: DUP4 0000056e: GT 0000056f: PUSH2 0x055f 00000572: JUMPI 00000573: DUP3 00000574: SWAP1 00000575: SUB 00000576: PUSH1 0x1f 00000578: AND 00000579: DUP3 0000057a: ADD 0000057b: SWAP2 0000057c: JUMPDEST 0000057d: POP 0000057e: POP 0000057f: POP 00000580: POP 00000581: POP 00000582: SWAP1 00000583: POP 00000584: SWAP1 00000585: JUMP 00000586: JUMPDEST 00000587: PUSH1 0x00 00000589: PUSH2 0x059a 0000058c: PUSH2 0x0593 0000058f: PUSH2 0x091d 00000592: JUMP 00000593: JUMPDEST 00000594: DUP5 00000595: DUP5 00000596: PUSH2 0x0921 00000599: JUMP 0000059a: JUMPDEST 0000059b: POP 0000059c: PUSH1 0x01 0000059e: JUMPDEST 0000059f: SWAP3 000005a0: SWAP2 000005a1: POP 000005a2: POP 000005a3: JUMP 000005a4: JUMPDEST 000005a5: PUSH1 0x05 000005a7: SLOAD 000005a8: SWAP1 000005a9: JUMP 000005aa: JUMPDEST 000005ab: PUSH1 0x00 000005ad: PUSH2 0x05b7 000005b0: DUP5 000005b1: DUP5 000005b2: DUP5 000005b3: PUSH2 0x0a0d 000005b6: JUMP 000005b7: JUMPDEST 000005b8: PUSH2 0x062d 000005bb: DUP5 000005bc: PUSH2 0x05c3 000005bf: PUSH2 0x091d 000005c2: JUMP 000005c3: JUMPDEST 000005c4: PUSH2 0x0628 000005c7: DUP6 000005c8: PUSH1 0x40 000005ca: MLOAD 000005cb: DUP1 000005cc: PUSH1 0x60 000005ce: ADD 000005cf: PUSH1 0x40 000005d1: MSTORE 000005d2: DUP1 000005d3: PUSH1 0x28 000005d5: DUP2 000005d6: MSTORE 000005d7: PUSH1 0x20 000005d9: ADD 000005da: PUSH2 0x114a 000005dd: PUSH1 0x28 000005df: SWAP2 000005e0: CODECOPY 000005e1: PUSH1 0x01 000005e3: PUSH1 0x01 000005e5: PUSH1 0xa0 000005e7: SHL 000005e8: SUB 000005e9: DUP11 000005ea: AND 000005eb: PUSH1 0x00 000005ed: SWAP1 000005ee: DUP2 000005ef: MSTORE 000005f0: PUSH1 0x04 000005f2: PUSH1 0x20 000005f4: MSTORE 000005f5: PUSH1 0x40 000005f7: DUP2 000005f8: KECCAK256 000005f9: SWAP1 000005fa: PUSH2 0x0601 000005fd: PUSH2 0x091d 00000600: JUMP 00000601: JUMPDEST 00000602: PUSH1 0x01 00000604: PUSH1 0x01 00000606: PUSH1 0xa0 00000608: SHL 00000609: SUB 0000060a: AND 0000060b: DUP2 0000060c: MSTORE 0000060d: PUSH1 0x20 0000060f: DUP2 00000610: ADD 00000611: SWAP2 00000612: SWAP1 00000613: SWAP2 00000614: MSTORE 00000615: PUSH1 0x40 00000617: ADD 00000618: PUSH1 0x00 0000061a: KECCAK256 0000061b: SLOAD 0000061c: SWAP2 0000061d: SWAP1 0000061e: PUSH4 0xffffffff 00000623: PUSH2 0x0ab5 00000626: AND 00000627: JUMP 00000628: JUMPDEST 00000629: PUSH2 0x0921 0000062c: JUMP 0000062d: JUMPDEST 0000062e: POP 0000062f: PUSH1 0x01 00000631: SWAP4 00000632: SWAP3 00000633: POP 00000634: POP 00000635: POP 00000636: JUMP 00000637: JUMPDEST 00000638: PUSH1 0x00 0000063a: PUSH2 0x0641 0000063d: PUSH2 0x0b4c 00000640: JUMP 00000641: JUMPDEST 00000642: PUSH1 0x40 00000644: MLOAD 00000645: SWAP1 00000646: SWAP2 00000647: POP 00000648: CALLER 00000649: SWAP1 0000064a: DUP2 0000064b: SWAP1 0000064c: DUP4 0000064d: ISZERO 0000064e: PUSH2 0x08fc 00000651: MUL 00000652: SWAP1 00000653: DUP5 00000654: SWAP1 00000655: PUSH1 0x00 00000657: DUP2 00000658: DUP2 00000659: DUP2 0000065a: DUP6 0000065b: DUP9 0000065c: DUP9 0000065d: CALL 0000065e: SWAP4 0000065f: POP 00000660: POP 00000661: POP 00000662: POP 00000663: ISZERO 00000664: DUP1 00000665: ISZERO 00000666: PUSH2 0x0673 00000669: JUMPI 0000066a: RETURNDATASIZE 0000066b: PUSH1 0x00 0000066d: DUP1 0000066e: RETURNDATACOPY 0000066f: RETURNDATASIZE 00000670: PUSH1 0x00 00000672: REVERT 00000673: JUMPDEST 00000674: POP 00000675: PUSH2 0x067c 00000678: PUSH2 0x0bc9 0000067b: JUMP 0000067c: JUMPDEST 0000067d: POP 0000067e: POP 0000067f: POP 00000680: JUMP 00000681: JUMPDEST 00000682: PUSH1 0x02 00000684: SLOAD 00000685: PUSH1 0xff 00000687: AND 00000688: SWAP1 00000689: JUMP 0000068a: JUMPDEST 0000068b: PUSH1 0x00 0000068d: PUSH2 0x059a 00000690: PUSH2 0x0697 00000693: PUSH2 0x091d 00000696: JUMP 00000697: JUMPDEST 00000698: DUP5 00000699: PUSH2 0x0628 0000069c: DUP6 0000069d: PUSH1 0x04 0000069f: PUSH1 0x00 000006a1: PUSH2 0x06a8 000006a4: PUSH2 0x091d 000006a7: JUMP 000006a8: JUMPDEST 000006a9: PUSH1 0x01 000006ab: PUSH1 0x01 000006ad: PUSH1 0xa0 000006af: SHL 000006b0: SUB 000006b1: SWAP1 000006b2: DUP2 000006b3: AND 000006b4: DUP3 000006b5: MSTORE 000006b6: PUSH1 0x20 000006b8: DUP1 000006b9: DUP4 000006ba: ADD 000006bb: SWAP4 000006bc: SWAP1 000006bd: SWAP4 000006be: MSTORE 000006bf: PUSH1 0x40 000006c1: SWAP2 000006c2: DUP3 000006c3: ADD 000006c4: PUSH1 0x00 000006c6: SWAP1 000006c7: DUP2 000006c8: KECCAK256 000006c9: SWAP2 000006ca: DUP13 000006cb: AND 000006cc: DUP2 000006cd: MSTORE 000006ce: SWAP3 000006cf: MSTORE 000006d0: SWAP1 000006d1: KECCAK256 000006d2: SLOAD 000006d3: SWAP1 000006d4: PUSH4 0xffffffff 000006d9: PUSH2 0x0beb 000006dc: AND 000006dd: JUMP 000006de: JUMPDEST 000006df: PUSH1 0x00 000006e1: DUP1 000006e2: PUSH1 0x00 000006e4: DUP1 000006e5: PUSH2 0x06ed 000006e8: DUP6 000006e9: PUSH2 0x07ef 000006ec: JUMP 000006ed: JUMPDEST 000006ee: PUSH1 0x01 000006f0: PUSH1 0x01 000006f2: PUSH1 0xa0 000006f4: SHL 000006f5: SUB 000006f6: DUP7 000006f7: AND 000006f8: PUSH1 0x00 000006fa: SWAP1 000006fb: DUP2 000006fc: MSTORE 000006fd: PUSH1 0x07 000006ff: PUSH1 0x20 00000701: SWAP1 00000702: DUP2 00000703: MSTORE 00000704: PUSH1 0x40 00000706: DUP1 00000707: DUP4 00000708: KECCAK256 00000709: SLOAD 0000070a: PUSH1 0x08 0000070c: SWAP1 0000070d: SWAP3 0000070e: MSTORE 0000070f: SWAP1 00000710: SWAP2 00000711: KECCAK256 00000712: SLOAD 00000713: SWAP2 00000714: SWAP6 00000715: POP 00000716: SWAP4 00000717: POP 00000718: SWAP2 00000719: POP 0000071a: PUSH2 0x0722 0000071d: DUP6 0000071e: PUSH2 0x072b 00000721: JUMP 00000722: JUMPDEST 00000723: SWAP1 00000724: POP 00000725: SWAP2 00000726: SWAP4 00000727: POP 00000728: SWAP2 00000729: SWAP4 0000072a: JUMP 0000072b: JUMPDEST 0000072c: PUSH1 0x01 0000072e: PUSH1 0x01 00000730: PUSH1 0xa0 00000732: SHL 00000733: SUB 00000734: DUP2 00000735: AND 00000736: PUSH1 0x00 00000738: SWAP1 00000739: DUP2 0000073a: MSTORE 0000073b: PUSH1 0x08 0000073d: PUSH1 0x20 0000073f: MSTORE 00000740: PUSH1 0x40 00000742: DUP2 00000743: KECCAK256 00000744: SLOAD 00000745: PUSH2 0x059e 00000748: SWAP1 00000749: PUSH2 0x0751 0000074c: DUP5 0000074d: PUSH2 0x0786 00000750: JUMP 00000751: JUMPDEST 00000752: SWAP1 00000753: PUSH4 0xffffffff 00000758: PUSH2 0x0c4c 0000075b: AND 0000075c: JUMP 0000075d: JUMPDEST 0000075e: PUSH1 0x00 00000760: PUSH2 0x0767 00000763: PUSH2 0x0bc9 00000766: JUMP 00000767: JUMPDEST 00000768: SWAP1 00000769: POP 0000076a: PUSH1 0x00 0000076c: DUP2 0000076d: SGT 0000076e: ISZERO 0000076f: PUSH2 0x0783 00000772: JUMPI 00000773: PUSH2 0x0783 00000776: PUSH2 0x077e 00000779: DUP3 0000077a: PUSH2 0x0c8e 0000077d: JUMP 0000077e: JUMPDEST 0000077f: PUSH2 0x0ca1 00000782: JUMP 00000783: JUMPDEST 00000784: POP 00000785: JUMP 00000786: JUMPDEST 00000787: PUSH1 0x01 00000789: PUSH1 0x01 0000078b: PUSH1 0xa0 0000078d: SHL 0000078e: SUB 0000078f: DUP2 00000790: AND 00000791: PUSH1 0x00 00000793: SWAP1 00000794: DUP2 00000795: MSTORE 00000796: PUSH1 0x07 00000798: PUSH1 0x20 0000079a: MSTORE 0000079b: PUSH1 0x40 0000079d: DUP2 0000079e: KECCAK256 0000079f: SLOAD 000007a0: PUSH1 0x01 000007a2: PUSH1 0x80 000007a4: SHL 000007a5: SWAP1 000007a6: PUSH2 0x07e1 000007a9: SWAP1 000007aa: PUSH2 0x07dc 000007ad: SWAP1 000007ae: PUSH2 0x07d0 000007b1: PUSH2 0x07cb 000007b4: PUSH2 0x07bc 000007b7: DUP9 000007b8: PUSH2 0x07ef 000007bb: JUMP 000007bc: JUMPDEST 000007bd: PUSH1 0x06 000007bf: SLOAD 000007c0: SWAP1 000007c1: PUSH4 0xffffffff 000007c6: PUSH2 0x0d60 000007c9: AND 000007ca: JUMP 000007cb: JUMPDEST 000007cc: PUSH2 0x0db9 000007cf: JUMP 000007d0: JUMPDEST 000007d1: SWAP1 000007d2: PUSH4 0xffffffff 000007d7: PUSH2 0x0dc9 000007da: AND 000007db: JUMP 000007dc: JUMPDEST 000007dd: PUSH2 0x0c8e 000007e0: JUMP 000007e1: JUMPDEST 000007e2: DUP2 000007e3: PUSH2 0x07e8 000007e6: JUMPI 000007e7: INVALID 000007e8: JUMPDEST 000007e9: DIV 000007ea: SWAP3 000007eb: SWAP2 000007ec: POP 000007ed: POP 000007ee: JUMP 000007ef: JUMPDEST 000007f0: PUSH1 0x01 000007f2: PUSH1 0x01 000007f4: PUSH1 0xa0 000007f6: SHL 000007f7: SUB 000007f8: AND 000007f9: PUSH1 0x00 000007fb: SWAP1 000007fc: DUP2 000007fd: MSTORE 000007fe: PUSH1 0x03 00000800: PUSH1 0x20 00000802: MSTORE 00000803: PUSH1 0x40 00000805: SWAP1 00000806: KECCAK256 00000807: SLOAD 00000808: SWAP1 00000809: JUMP 0000080a: JUMPDEST 0000080b: PUSH1 0x01 0000080d: DUP1 0000080e: SLOAD 0000080f: PUSH1 0x40 00000811: DUP1 00000812: MLOAD 00000813: PUSH1 0x20 00000815: PUSH1 0x1f 00000817: PUSH1 0x02 00000819: PUSH1 0x00 0000081b: NOT 0000081c: PUSH2 0x0100 0000081f: DUP8 00000820: DUP10 00000821: AND 00000822: ISZERO 00000823: MUL 00000824: ADD 00000825: SWAP1 00000826: SWAP6 00000827: AND 00000828: SWAP5 00000829: SWAP1 0000082a: SWAP5 0000082b: DIV 0000082c: SWAP4 0000082d: DUP5 0000082e: ADD 0000082f: DUP2 00000830: SWAP1 00000831: DIV 00000832: DUP2 00000833: MUL 00000834: DUP3 00000835: ADD 00000836: DUP2 00000837: ADD 00000838: SWAP1 00000839: SWAP3 0000083a: MSTORE 0000083b: DUP3 0000083c: DUP2 0000083d: MSTORE 0000083e: PUSH1 0x60 00000840: SWAP4 00000841: SWAP1 00000842: SWAP3 00000843: SWAP1 00000844: SWAP2 00000845: DUP4 00000846: ADD 00000847: DUP3 00000848: DUP3 00000849: DUP1 0000084a: ISZERO 0000084b: PUSH2 0x057c 0000084e: JUMPI 0000084f: DUP1 00000850: PUSH1 0x1f 00000852: LT 00000853: PUSH2 0x0551 00000856: JUMPI 00000857: PUSH2 0x0100 0000085a: DUP1 0000085b: DUP4 0000085c: SLOAD 0000085d: DIV 0000085e: MUL 0000085f: DUP4 00000860: MSTORE 00000861: SWAP2 00000862: PUSH1 0x20 00000864: ADD 00000865: SWAP2 00000866: PUSH2 0x057c 00000869: JUMP 0000086a: JUMPDEST 0000086b: PUSH1 0x00 0000086d: PUSH2 0x059a 00000870: PUSH2 0x0877 00000873: PUSH2 0x091d 00000876: JUMP 00000877: JUMPDEST 00000878: DUP5 00000879: PUSH2 0x0628 0000087c: DUP6 0000087d: PUSH1 0x40 0000087f: MLOAD 00000880: DUP1 00000881: PUSH1 0x60 00000883: ADD 00000884: PUSH1 0x40 00000886: MSTORE 00000887: DUP1 00000888: PUSH1 0x25 0000088a: DUP2 0000088b: MSTORE 0000088c: PUSH1 0x20 0000088e: ADD 0000088f: PUSH2 0x11bb 00000892: PUSH1 0x25 00000894: SWAP2 00000895: CODECOPY 00000896: PUSH1 0x04 00000898: PUSH1 0x00 0000089a: PUSH2 0x08a1 0000089d: PUSH2 0x091d 000008a0: JUMP 000008a1: JUMPDEST 000008a2: PUSH1 0x01 000008a4: PUSH1 0x01 000008a6: PUSH1 0xa0 000008a8: SHL 000008a9: SUB 000008aa: SWAP1 000008ab: DUP2 000008ac: AND 000008ad: DUP3 000008ae: MSTORE 000008af: PUSH1 0x20 000008b1: DUP1 000008b2: DUP4 000008b3: ADD 000008b4: SWAP4 000008b5: SWAP1 000008b6: SWAP4 000008b7: MSTORE 000008b8: PUSH1 0x40 000008ba: SWAP2 000008bb: DUP3 000008bc: ADD 000008bd: PUSH1 0x00 000008bf: SWAP1 000008c0: DUP2 000008c1: KECCAK256 000008c2: SWAP2 000008c3: DUP14 000008c4: AND 000008c5: DUP2 000008c6: MSTORE 000008c7: SWAP3 000008c8: MSTORE 000008c9: SWAP1 000008ca: KECCAK256 000008cb: SLOAD 000008cc: SWAP2 000008cd: SWAP1 000008ce: PUSH4 0xffffffff 000008d3: PUSH2 0x0ab5 000008d6: AND 000008d7: JUMP 000008d8: JUMPDEST 000008d9: PUSH1 0x00 000008db: PUSH2 0x059a 000008de: PUSH2 0x08e5 000008e1: PUSH2 0x091d 000008e4: JUMP 000008e5: JUMPDEST 000008e6: DUP5 000008e7: DUP5 000008e8: PUSH2 0x0a0d 000008eb: JUMP 000008ec: JUMPDEST 000008ed: PUSH1 0x09 000008ef: SLOAD 000008f0: DUP2 000008f1: JUMP 000008f2: JUMPDEST 000008f3: PUSH1 0x01 000008f5: PUSH1 0x01 000008f7: PUSH1 0xa0 000008f9: SHL 000008fa: SUB 000008fb: SWAP2 000008fc: DUP3 000008fd: AND 000008fe: PUSH1 0x00 00000900: SWAP1 00000901: DUP2 00000902: MSTORE 00000903: PUSH1 0x04 00000905: PUSH1 0x20 00000907: SWAP1 00000908: DUP2 00000909: MSTORE 0000090a: PUSH1 0x40 0000090c: DUP1 0000090d: DUP4 0000090e: KECCAK256 0000090f: SWAP4 00000910: SWAP1 00000911: SWAP5 00000912: AND 00000913: DUP3 00000914: MSTORE 00000915: SWAP2 00000916: SWAP1 00000917: SWAP2 00000918: MSTORE 00000919: KECCAK256 0000091a: SLOAD 0000091b: SWAP1 0000091c: JUMP 0000091d: JUMPDEST 0000091e: CALLER 0000091f: SWAP1 00000920: JUMP 00000921: JUMPDEST 00000922: PUSH1 0x01 00000924: PUSH1 0x01 00000926: PUSH1 0xa0 00000928: SHL 00000929: SUB 0000092a: DUP4 0000092b: AND 0000092c: PUSH2 0x0966 0000092f: JUMPI 00000930: PUSH1 0x40 00000932: MLOAD 00000933: PUSH3 0x461bcd 00000937: PUSH1 0xe5 00000939: SHL 0000093a: DUP2 0000093b: MSTORE 0000093c: PUSH1 0x04 0000093e: ADD 0000093f: DUP1 00000940: DUP1 00000941: PUSH1 0x20 00000943: ADD 00000944: DUP3 00000945: DUP2 00000946: SUB 00000947: DUP3 00000948: MSTORE 00000949: PUSH1 0x24 0000094b: DUP2 0000094c: MSTORE 0000094d: PUSH1 0x20 0000094f: ADD 00000950: DUP1 00000951: PUSH2 0x1197 00000954: PUSH1 0x24 00000956: SWAP2 00000957: CODECOPY 00000958: PUSH1 0x40 0000095a: ADD 0000095b: SWAP2 0000095c: POP 0000095d: POP 0000095e: PUSH1 0x40 00000960: MLOAD 00000961: DUP1 00000962: SWAP2 00000963: SUB 00000964: SWAP1 00000965: REVERT 00000966: JUMPDEST 00000967: PUSH1 0x01 00000969: PUSH1 0x01 0000096b: PUSH1 0xa0 0000096d: SHL 0000096e: SUB 0000096f: DUP3 00000970: AND 00000971: PUSH2 0x09ab 00000974: JUMPI 00000975: PUSH1 0x40 00000977: MLOAD 00000978: PUSH3 0x461bcd 0000097c: PUSH1 0xe5 0000097e: SHL 0000097f: DUP2 00000980: MSTORE 00000981: PUSH1 0x04 00000983: ADD 00000984: DUP1 00000985: DUP1 00000986: PUSH1 0x20 00000988: ADD 00000989: DUP3 0000098a: DUP2 0000098b: SUB 0000098c: DUP3 0000098d: MSTORE 0000098e: PUSH1 0x22 00000990: DUP2 00000991: MSTORE 00000992: PUSH1 0x20 00000994: ADD 00000995: DUP1 00000996: PUSH2 0x10aa 00000999: PUSH1 0x22 0000099b: SWAP2 0000099c: CODECOPY 0000099d: PUSH1 0x40 0000099f: ADD 000009a0: SWAP2 000009a1: POP 000009a2: POP 000009a3: PUSH1 0x40 000009a5: MLOAD 000009a6: DUP1 000009a7: SWAP2 000009a8: SUB 000009a9: SWAP1 000009aa: REVERT 000009ab: JUMPDEST 000009ac: PUSH1 0x01 000009ae: PUSH1 0x01 000009b0: PUSH1 0xa0 000009b2: SHL 000009b3: SUB 000009b4: DUP1 000009b5: DUP5 000009b6: AND 000009b7: PUSH1 0x00 000009b9: DUP2 000009ba: DUP2 000009bb: MSTORE 000009bc: PUSH1 0x04 000009be: PUSH1 0x20 000009c0: SWAP1 000009c1: DUP2 000009c2: MSTORE 000009c3: PUSH1 0x40 000009c5: DUP1 000009c6: DUP4 000009c7: KECCAK256 000009c8: SWAP5 000009c9: DUP8 000009ca: AND 000009cb: DUP1 000009cc: DUP5 000009cd: MSTORE 000009ce: SWAP5 000009cf: DUP3 000009d0: MSTORE 000009d1: SWAP2 000009d2: DUP3 000009d3: SWAP1 000009d4: KECCAK256 000009d5: DUP6 000009d6: SWAP1 000009d7: SSTORE 000009d8: DUP2 000009d9: MLOAD 000009da: DUP6 000009db: DUP2 000009dc: MSTORE 000009dd: SWAP2 000009de: MLOAD 000009df: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000a00: SWAP3 00000a01: DUP2 00000a02: SWAP1 00000a03: SUB 00000a04: SWAP1 00000a05: SWAP2 00000a06: ADD 00000a07: SWAP1 00000a08: LOG3 00000a09: POP 00000a0a: POP 00000a0b: POP 00000a0c: JUMP 00000a0d: JUMPDEST 00000a0e: PUSH2 0x0a18 00000a11: DUP4 00000a12: DUP4 00000a13: DUP4 00000a14: PUSH2 0x0dfc 00000a17: JUMP 00000a18: JUMPDEST 00000a19: PUSH1 0x00 00000a1b: PUSH2 0x0a32 00000a1e: PUSH2 0x07cb 00000a21: DUP4 00000a22: PUSH1 0x06 00000a24: SLOAD 00000a25: PUSH2 0x0d60 00000a28: SWAP1 00000a29: SWAP2 00000a2a: SWAP1 00000a2b: PUSH4 0xffffffff 00000a30: AND 00000a31: JUMP 00000a32: JUMPDEST 00000a33: PUSH1 0x01 00000a35: PUSH1 0x01 00000a37: PUSH1 0xa0 00000a39: SHL 00000a3a: SUB 00000a3b: DUP6 00000a3c: AND 00000a3d: PUSH1 0x00 00000a3f: SWAP1 00000a40: DUP2 00000a41: MSTORE 00000a42: PUSH1 0x07 00000a44: PUSH1 0x20 00000a46: MSTORE 00000a47: PUSH1 0x40 00000a49: SWAP1 00000a4a: KECCAK256 00000a4b: SLOAD 00000a4c: SWAP1 00000a4d: SWAP2 00000a4e: POP 00000a4f: PUSH2 0x0a5e 00000a52: SWAP1 00000a53: DUP3 00000a54: PUSH4 0xffffffff 00000a59: PUSH2 0x0dc9 00000a5c: AND 00000a5d: JUMP 00000a5e: JUMPDEST 00000a5f: PUSH1 0x01 00000a61: PUSH1 0x01 00000a63: PUSH1 0xa0 00000a65: SHL 00000a66: SUB 00000a67: DUP1 00000a68: DUP7 00000a69: AND 00000a6a: PUSH1 0x00 00000a6c: SWAP1 00000a6d: DUP2 00000a6e: MSTORE 00000a6f: PUSH1 0x07 00000a71: PUSH1 0x20 00000a73: MSTORE 00000a74: PUSH1 0x40 00000a76: DUP1 00000a77: DUP3 00000a78: KECCAK256 00000a79: SWAP4 00000a7a: SWAP1 00000a7b: SWAP4 00000a7c: SSTORE 00000a7d: SWAP1 00000a7e: DUP6 00000a7f: AND 00000a80: DUP2 00000a81: MSTORE 00000a82: KECCAK256 00000a83: SLOAD 00000a84: PUSH2 0x0a93 00000a87: SWAP1 00000a88: DUP3 00000a89: PUSH4 0xffffffff 00000a8e: PUSH2 0x0f5a 00000a91: AND 00000a92: JUMP 00000a93: JUMPDEST 00000a94: PUSH1 0x01 00000a96: PUSH1 0x01 00000a98: PUSH1 0xa0 00000a9a: SHL 00000a9b: SUB 00000a9c: SWAP1 00000a9d: SWAP4 00000a9e: AND 00000a9f: PUSH1 0x00 00000aa1: SWAP1 00000aa2: DUP2 00000aa3: MSTORE 00000aa4: PUSH1 0x07 00000aa6: PUSH1 0x20 00000aa8: MSTORE 00000aa9: PUSH1 0x40 00000aab: SWAP1 00000aac: KECCAK256 00000aad: SWAP3 00000aae: SWAP1 00000aaf: SWAP3 00000ab0: SSTORE 00000ab1: POP 00000ab2: POP 00000ab3: POP 00000ab4: JUMP 00000ab5: JUMPDEST 00000ab6: PUSH1 0x00 00000ab8: DUP2 00000ab9: DUP5 00000aba: DUP5 00000abb: GT 00000abc: ISZERO 00000abd: PUSH2 0x0b44 00000ac0: JUMPI 00000ac1: PUSH1 0x40 00000ac3: MLOAD 00000ac4: PUSH3 0x461bcd 00000ac8: PUSH1 0xe5 00000aca: SHL 00000acb: DUP2 00000acc: MSTORE 00000acd: PUSH1 0x04 00000acf: ADD 00000ad0: DUP1 00000ad1: DUP1 00000ad2: PUSH1 0x20 00000ad4: ADD 00000ad5: DUP3 00000ad6: DUP2 00000ad7: SUB 00000ad8: DUP3 00000ad9: MSTORE 00000ada: DUP4 00000adb: DUP2 00000adc: DUP2 00000add: MLOAD 00000ade: DUP2 00000adf: MSTORE 00000ae0: PUSH1 0x20 00000ae2: ADD 00000ae3: SWAP2 00000ae4: POP 00000ae5: DUP1 00000ae6: MLOAD 00000ae7: SWAP1 00000ae8: PUSH1 0x20 00000aea: ADD 00000aeb: SWAP1 00000aec: DUP1 00000aed: DUP4 00000aee: DUP4 00000aef: PUSH1 0x00 00000af1: JUMPDEST 00000af2: DUP4 00000af3: DUP2 00000af4: LT 00000af5: ISZERO 00000af6: PUSH2 0x0b09 00000af9: JUMPI 00000afa: DUP2 00000afb: DUP2 00000afc: ADD 00000afd: MLOAD 00000afe: DUP4 00000aff: DUP3 00000b00: ADD 00000b01: MSTORE 00000b02: PUSH1 0x20 00000b04: ADD 00000b05: PUSH2 0x0af1 00000b08: JUMP 00000b09: JUMPDEST 00000b0a: POP 00000b0b: POP 00000b0c: POP 00000b0d: POP 00000b0e: SWAP1 00000b0f: POP 00000b10: SWAP1 00000b11: DUP2 00000b12: ADD 00000b13: SWAP1 00000b14: PUSH1 0x1f 00000b16: AND 00000b17: DUP1 00000b18: ISZERO 00000b19: PUSH2 0x0b36 00000b1c: JUMPI 00000b1d: DUP1 00000b1e: DUP3 00000b1f: SUB 00000b20: DUP1 00000b21: MLOAD 00000b22: PUSH1 0x01 00000b24: DUP4 00000b25: PUSH1 0x20 00000b27: SUB 00000b28: PUSH2 0x0100 00000b2b: EXP 00000b2c: SUB 00000b2d: NOT 00000b2e: AND 00000b2f: DUP2 00000b30: MSTORE 00000b31: PUSH1 0x20 00000b33: ADD 00000b34: SWAP2 00000b35: POP 00000b36: JUMPDEST 00000b37: POP 00000b38: SWAP3 00000b39: POP 00000b3a: POP 00000b3b: POP 00000b3c: PUSH1 0x40 00000b3e: MLOAD 00000b3f: DUP1 00000b40: SWAP2 00000b41: SUB 00000b42: SWAP1 00000b43: REVERT 00000b44: JUMPDEST 00000b45: POP 00000b46: POP 00000b47: POP 00000b48: SWAP1 00000b49: SUB 00000b4a: SWAP1 00000b4b: JUMP 00000b4c: JUMPDEST 00000b4d: PUSH1 0x00 00000b4f: DUP1 00000b50: PUSH2 0x0b58 00000b53: CALLER 00000b54: PUSH2 0x072b 00000b57: JUMP 00000b58: JUMPDEST 00000b59: CALLER 00000b5a: PUSH1 0x00 00000b5c: SWAP1 00000b5d: DUP2 00000b5e: MSTORE 00000b5f: PUSH1 0x08 00000b61: PUSH1 0x20 00000b63: MSTORE 00000b64: PUSH1 0x40 00000b66: SWAP1 00000b67: KECCAK256 00000b68: SLOAD 00000b69: SWAP1 00000b6a: SWAP2 00000b6b: POP 00000b6c: PUSH2 0x0b7b 00000b6f: SWAP1 00000b70: DUP3 00000b71: PUSH4 0xffffffff 00000b76: PUSH2 0x0beb 00000b79: AND 00000b7a: JUMP 00000b7b: JUMPDEST 00000b7c: CALLER 00000b7d: PUSH1 0x00 00000b7f: DUP2 00000b80: DUP2 00000b81: MSTORE 00000b82: PUSH1 0x08 00000b84: PUSH1 0x20 00000b86: SWAP1 00000b87: DUP2 00000b88: MSTORE 00000b89: PUSH1 0x40 00000b8b: SWAP2 00000b8c: DUP3 00000b8d: SWAP1 00000b8e: KECCAK256 00000b8f: SWAP4 00000b90: SWAP1 00000b91: SWAP4 00000b92: SSTORE 00000b93: DUP1 00000b94: MLOAD 00000b95: DUP5 00000b96: DUP2 00000b97: MSTORE 00000b98: SWAP1 00000b99: MLOAD 00000b9a: SWAP2 00000b9b: SWAP3 00000b9c: PUSH32 0xeaff4b37086828766ad3268786972c0cd24259d4c87a80f9d3963a3c3d999b0d 00000bbd: SWAP3 00000bbe: SWAP2 00000bbf: DUP3 00000bc0: SWAP1 00000bc1: SUB 00000bc2: ADD 00000bc3: SWAP1 00000bc4: LOG2 00000bc5: SWAP1 00000bc6: POP 00000bc7: SWAP1 00000bc8: JUMP 00000bc9: JUMPDEST 00000bca: PUSH1 0x09 00000bcc: DUP1 00000bcd: SLOAD 00000bce: SELFBALANCE 00000bcf: SWAP2 00000bd0: DUP3 00000bd1: SWAP1 00000bd2: SSTORE 00000bd3: PUSH1 0x00 00000bd5: SWAP2 00000bd6: PUSH2 0x0be5 00000bd9: SWAP1 00000bda: DUP3 00000bdb: PUSH4 0xffffffff 00000be0: PUSH2 0x0f5a 00000be3: AND 00000be4: JUMP 00000be5: JUMPDEST 00000be6: SWAP2 00000be7: POP 00000be8: POP 00000be9: SWAP1 00000bea: JUMP 00000beb: JUMPDEST 00000bec: PUSH1 0x00 00000bee: DUP3 00000bef: DUP3 00000bf0: ADD 00000bf1: DUP4 00000bf2: DUP2 00000bf3: LT 00000bf4: ISZERO 00000bf5: PUSH2 0x0c45 00000bf8: JUMPI 00000bf9: PUSH1 0x40 00000bfb: DUP1 00000bfc: MLOAD 00000bfd: PUSH3 0x461bcd 00000c01: PUSH1 0xe5 00000c03: SHL 00000c04: DUP2 00000c05: MSTORE 00000c06: PUSH1 0x20 00000c08: PUSH1 0x04 00000c0a: DUP3 00000c0b: ADD 00000c0c: MSTORE 00000c0d: PUSH1 0x1b 00000c0f: PUSH1 0x24 00000c11: DUP3 00000c12: ADD 00000c13: MSTORE 00000c14: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 00000c35: PUSH1 0x44 00000c37: DUP3 00000c38: ADD 00000c39: MSTORE 00000c3a: SWAP1 00000c3b: MLOAD 00000c3c: SWAP1 00000c3d: DUP2 00000c3e: SWAP1 00000c3f: SUB 00000c40: PUSH1 0x64 00000c42: ADD 00000c43: SWAP1 00000c44: REVERT 00000c45: JUMPDEST 00000c46: SWAP4 00000c47: SWAP3 00000c48: POP 00000c49: POP 00000c4a: POP 00000c4b: JUMP 00000c4c: JUMPDEST 00000c4d: PUSH1 0x00 00000c4f: PUSH2 0x0c45 00000c52: DUP4 00000c53: DUP4 00000c54: PUSH1 0x40 00000c56: MLOAD 00000c57: DUP1 00000c58: PUSH1 0x40 00000c5a: ADD 00000c5b: PUSH1 0x40 00000c5d: MSTORE 00000c5e: DUP1 00000c5f: PUSH1 0x1e 00000c61: DUP2 00000c62: MSTORE 00000c63: PUSH1 0x20 00000c65: ADD 00000c66: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 00000c87: DUP2 00000c88: MSTORE 00000c89: POP 00000c8a: PUSH2 0x0ab5 00000c8d: JUMP 00000c8e: JUMPDEST 00000c8f: PUSH1 0x00 00000c91: DUP1 00000c92: DUP3 00000c93: SLT 00000c94: ISZERO 00000c95: PUSH2 0x0c9d 00000c98: JUMPI 00000c99: PUSH1 0x00 00000c9b: DUP1 00000c9c: REVERT 00000c9d: JUMPDEST 00000c9e: POP 00000c9f: SWAP1 00000ca0: JUMP 00000ca1: JUMPDEST 00000ca2: PUSH1 0x00 00000ca4: PUSH2 0x0cab 00000ca7: PUSH2 0x05a4 00000caa: JUMP 00000cab: JUMPDEST 00000cac: GT 00000cad: PUSH2 0x0ce7 00000cb0: JUMPI 00000cb1: PUSH1 0x40 00000cb3: MLOAD 00000cb4: PUSH3 0x461bcd 00000cb8: PUSH1 0xe5 00000cba: SHL 00000cbb: DUP2 00000cbc: MSTORE 00000cbd: PUSH1 0x04 00000cbf: ADD 00000cc0: DUP1 00000cc1: DUP1 00000cc2: PUSH1 0x20 00000cc4: ADD 00000cc5: DUP3 00000cc6: DUP2 00000cc7: SUB 00000cc8: DUP3 00000cc9: MSTORE 00000cca: PUSH1 0x37 00000ccc: DUP2 00000ccd: MSTORE 00000cce: PUSH1 0x20 00000cd0: ADD 00000cd1: DUP1 00000cd2: PUSH2 0x10f2 00000cd5: PUSH1 0x37 00000cd7: SWAP2 00000cd8: CODECOPY 00000cd9: PUSH1 0x40 00000cdb: ADD 00000cdc: SWAP2 00000cdd: POP 00000cde: POP 00000cdf: PUSH1 0x40 00000ce1: MLOAD 00000ce2: DUP1 00000ce3: SWAP2 00000ce4: SUB 00000ce5: SWAP1 00000ce6: REVERT 00000ce7: JUMPDEST 00000ce8: DUP1 00000ce9: ISZERO 00000cea: PUSH2 0x0783 00000ced: JUMPI 00000cee: PUSH2 0x0d24 00000cf1: PUSH2 0x0cf8 00000cf4: PUSH2 0x05a4 00000cf7: JUMP 00000cf8: JUMPDEST 00000cf9: PUSH2 0x0d0c 00000cfc: DUP4 00000cfd: PUSH1 0x01 00000cff: PUSH1 0x80 00000d01: SHL 00000d02: PUSH4 0xffffffff 00000d07: PUSH2 0x0d60 00000d0a: AND 00000d0b: JUMP 00000d0c: JUMPDEST 00000d0d: DUP2 00000d0e: PUSH2 0x0d13 00000d11: JUMPI 00000d12: INVALID 00000d13: JUMPDEST 00000d14: PUSH1 0x06 00000d16: SLOAD 00000d17: SWAP2 00000d18: SWAP1 00000d19: DIV 00000d1a: PUSH4 0xffffffff 00000d1f: PUSH2 0x0beb 00000d22: AND 00000d23: JUMP 00000d24: JUMPDEST 00000d25: PUSH1 0x06 00000d27: SSTORE 00000d28: PUSH1 0x40 00000d2a: DUP1 00000d2b: MLOAD 00000d2c: DUP3 00000d2d: DUP2 00000d2e: MSTORE 00000d2f: SWAP1 00000d30: MLOAD 00000d31: CALLER 00000d32: SWAP2 00000d33: PUSH32 0x26536799ace2c3dbe12e638ec3ade6b4173dcf1289be0a58d51a5003015649bd 00000d54: SWAP2 00000d55: SWAP1 00000d56: DUP2 00000d57: SWAP1 00000d58: SUB 00000d59: PUSH1 0x20 00000d5b: ADD 00000d5c: SWAP1 00000d5d: LOG2 00000d5e: POP 00000d5f: JUMP 00000d60: JUMPDEST 00000d61: PUSH1 0x00 00000d63: DUP3 00000d64: PUSH2 0x0d6f 00000d67: JUMPI 00000d68: POP 00000d69: PUSH1 0x00 00000d6b: PUSH2 0x059e 00000d6e: JUMP 00000d6f: JUMPDEST 00000d70: DUP3 00000d71: DUP3 00000d72: MUL 00000d73: DUP3 00000d74: DUP5 00000d75: DUP3 00000d76: DUP2 00000d77: PUSH2 0x0d7c 00000d7a: JUMPI 00000d7b: INVALID 00000d7c: JUMPDEST 00000d7d: DIV 00000d7e: EQ 00000d7f: PUSH2 0x0c45 00000d82: JUMPI 00000d83: PUSH1 0x40 00000d85: MLOAD 00000d86: PUSH3 0x461bcd 00000d8a: PUSH1 0xe5 00000d8c: SHL 00000d8d: DUP2 00000d8e: MSTORE 00000d8f: PUSH1 0x04 00000d91: ADD 00000d92: DUP1 00000d93: DUP1 00000d94: PUSH1 0x20 00000d96: ADD 00000d97: DUP3 00000d98: DUP2 00000d99: SUB 00000d9a: DUP3 00000d9b: MSTORE 00000d9c: PUSH1 0x21 00000d9e: DUP2 00000d9f: MSTORE 00000da0: PUSH1 0x20 00000da2: ADD 00000da3: DUP1 00000da4: PUSH2 0x1129 00000da7: PUSH1 0x21 00000da9: SWAP2 00000daa: CODECOPY 00000dab: PUSH1 0x40 00000dad: ADD 00000dae: SWAP2 00000daf: POP 00000db0: POP 00000db1: PUSH1 0x40 00000db3: MLOAD 00000db4: DUP1 00000db5: SWAP2 00000db6: SUB 00000db7: SWAP1 00000db8: REVERT 00000db9: JUMPDEST 00000dba: PUSH1 0x00 00000dbc: DUP2 00000dbd: DUP2 00000dbe: DUP2 00000dbf: SLT 00000dc0: ISZERO 00000dc1: PUSH2 0x059e 00000dc4: JUMPI 00000dc5: PUSH1 0x00 00000dc7: DUP1 00000dc8: REVERT 00000dc9: JUMPDEST 00000dca: PUSH1 0x00 00000dcc: DUP3 00000dcd: DUP3 00000dce: ADD 00000dcf: DUP2 00000dd0: DUP4 00000dd1: SLT 00000dd2: DUP1 00000dd3: ISZERO 00000dd4: SWAP1 00000dd5: PUSH2 0x0dde 00000dd8: JUMPI 00000dd9: POP 00000dda: DUP4 00000ddb: DUP2 00000ddc: SLT 00000ddd: ISZERO 00000dde: JUMPDEST 00000ddf: DUP1 00000de0: PUSH2 0x0df3 00000de3: JUMPI 00000de4: POP 00000de5: PUSH1 0x00 00000de7: DUP4 00000de8: SLT 00000de9: DUP1 00000dea: ISZERO 00000deb: PUSH2 0x0df3 00000dee: JUMPI 00000def: POP 00000df0: DUP4 00000df1: DUP2 00000df2: SLT 00000df3: JUMPDEST 00000df4: PUSH2 0x0c45 00000df7: JUMPI 00000df8: PUSH1 0x00 00000dfa: DUP1 00000dfb: REVERT 00000dfc: JUMPDEST 00000dfd: PUSH1 0x01 00000dff: PUSH1 0x01 00000e01: PUSH1 0xa0 00000e03: SHL 00000e04: SUB 00000e05: DUP4 00000e06: AND 00000e07: PUSH2 0x0e41 00000e0a: JUMPI 00000e0b: PUSH1 0x40 00000e0d: MLOAD 00000e0e: PUSH3 0x461bcd 00000e12: PUSH1 0xe5 00000e14: SHL 00000e15: DUP2 00000e16: MSTORE 00000e17: PUSH1 0x04 00000e19: ADD 00000e1a: DUP1 00000e1b: DUP1 00000e1c: PUSH1 0x20 00000e1e: ADD 00000e1f: DUP3 00000e20: DUP2 00000e21: SUB 00000e22: DUP3 00000e23: MSTORE 00000e24: PUSH1 0x25 00000e26: DUP2 00000e27: MSTORE 00000e28: PUSH1 0x20 00000e2a: ADD 00000e2b: DUP1 00000e2c: PUSH2 0x1172 00000e2f: PUSH1 0x25 00000e31: SWAP2 00000e32: CODECOPY 00000e33: PUSH1 0x40 00000e35: ADD 00000e36: SWAP2 00000e37: POP 00000e38: POP 00000e39: PUSH1 0x40 00000e3b: MLOAD 00000e3c: DUP1 00000e3d: SWAP2 00000e3e: SUB 00000e3f: SWAP1 00000e40: REVERT 00000e41: JUMPDEST 00000e42: PUSH1 0x01 00000e44: PUSH1 0x01 00000e46: PUSH1 0xa0 00000e48: SHL 00000e49: SUB 00000e4a: DUP3 00000e4b: AND 00000e4c: PUSH2 0x0e86 00000e4f: JUMPI 00000e50: PUSH1 0x40 00000e52: MLOAD 00000e53: PUSH3 0x461bcd 00000e57: PUSH1 0xe5 00000e59: SHL 00000e5a: DUP2 00000e5b: MSTORE 00000e5c: PUSH1 0x04 00000e5e: ADD 00000e5f: DUP1 00000e60: DUP1 00000e61: PUSH1 0x20 00000e63: ADD 00000e64: DUP3 00000e65: DUP2 00000e66: SUB 00000e67: DUP3 00000e68: MSTORE 00000e69: PUSH1 0x23 00000e6b: DUP2 00000e6c: MSTORE 00000e6d: PUSH1 0x20 00000e6f: ADD 00000e70: DUP1 00000e71: PUSH2 0x1087 00000e74: PUSH1 0x23 00000e76: SWAP2 00000e77: CODECOPY 00000e78: PUSH1 0x40 00000e7a: ADD 00000e7b: SWAP2 00000e7c: POP 00000e7d: POP 00000e7e: PUSH1 0x40 00000e80: MLOAD 00000e81: DUP1 00000e82: SWAP2 00000e83: SUB 00000e84: SWAP1 00000e85: REVERT 00000e86: JUMPDEST 00000e87: PUSH2 0x0ec9 00000e8a: DUP2 00000e8b: PUSH1 0x40 00000e8d: MLOAD 00000e8e: DUP1 00000e8f: PUSH1 0x60 00000e91: ADD 00000e92: PUSH1 0x40 00000e94: MSTORE 00000e95: DUP1 00000e96: PUSH1 0x26 00000e98: DUP2 00000e99: MSTORE 00000e9a: PUSH1 0x20 00000e9c: ADD 00000e9d: PUSH2 0x10cc 00000ea0: PUSH1 0x26 00000ea2: SWAP2 00000ea3: CODECOPY 00000ea4: PUSH1 0x01 00000ea6: PUSH1 0x01 00000ea8: PUSH1 0xa0 00000eaa: SHL 00000eab: SUB 00000eac: DUP7 00000ead: AND 00000eae: PUSH1 0x00 00000eb0: SWAP1 00000eb1: DUP2 00000eb2: MSTORE 00000eb3: PUSH1 0x03 00000eb5: PUSH1 0x20 00000eb7: MSTORE 00000eb8: PUSH1 0x40 00000eba: SWAP1 00000ebb: KECCAK256 00000ebc: SLOAD 00000ebd: SWAP2 00000ebe: SWAP1 00000ebf: PUSH4 0xffffffff 00000ec4: PUSH2 0x0ab5 00000ec7: AND 00000ec8: JUMP 00000ec9: JUMPDEST 00000eca: PUSH1 0x01 00000ecc: PUSH1 0x01 00000ece: PUSH1 0xa0 00000ed0: SHL 00000ed1: SUB 00000ed2: DUP1 00000ed3: DUP6 00000ed4: AND 00000ed5: PUSH1 0x00 00000ed7: SWAP1 00000ed8: DUP2 00000ed9: MSTORE 00000eda: PUSH1 0x03 00000edc: PUSH1 0x20 00000ede: MSTORE 00000edf: PUSH1 0x40 00000ee1: DUP1 00000ee2: DUP3 00000ee3: KECCAK256 00000ee4: SWAP4 00000ee5: SWAP1 00000ee6: SWAP4 00000ee7: SSTORE 00000ee8: SWAP1 00000ee9: DUP5 00000eea: AND 00000eeb: DUP2 00000eec: MSTORE 00000eed: KECCAK256 00000eee: SLOAD 00000eef: PUSH2 0x0efe 00000ef2: SWAP1 00000ef3: DUP3 00000ef4: PUSH4 0xffffffff 00000ef9: PUSH2 0x0beb 00000efc: AND 00000efd: JUMP 00000efe: JUMPDEST 00000eff: PUSH1 0x01 00000f01: PUSH1 0x01 00000f03: PUSH1 0xa0 00000f05: SHL 00000f06: SUB 00000f07: DUP1 00000f08: DUP5 00000f09: AND 00000f0a: PUSH1 0x00 00000f0c: DUP2 00000f0d: DUP2 00000f0e: MSTORE 00000f0f: PUSH1 0x03 00000f11: PUSH1 0x20 00000f13: SWAP1 00000f14: DUP2 00000f15: MSTORE 00000f16: PUSH1 0x40 00000f18: SWAP2 00000f19: DUP3 00000f1a: SWAP1 00000f1b: KECCAK256 00000f1c: SWAP5 00000f1d: SWAP1 00000f1e: SWAP5 00000f1f: SSTORE 00000f20: DUP1 00000f21: MLOAD 00000f22: DUP6 00000f23: DUP2 00000f24: MSTORE 00000f25: SWAP1 00000f26: MLOAD 00000f27: SWAP2 00000f28: SWAP4 00000f29: SWAP3 00000f2a: DUP8 00000f2b: AND 00000f2c: SWAP3 00000f2d: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000f4e: SWAP3 00000f4f: SWAP2 00000f50: DUP3 00000f51: SWAP1 00000f52: SUB 00000f53: ADD 00000f54: SWAP1 00000f55: LOG3 00000f56: POP 00000f57: POP 00000f58: POP 00000f59: JUMP 00000f5a: JUMPDEST 00000f5b: PUSH1 0x00 00000f5d: DUP1 00000f5e: DUP3 00000f5f: SLT 00000f60: ISZERO 00000f61: DUP1 00000f62: ISZERO 00000f63: PUSH2 0x0f6e 00000f66: JUMPI 00000f67: POP 00000f68: DUP3 00000f69: DUP3 00000f6a: DUP5 00000f6b: SUB 00000f6c: SGT 00000f6d: ISZERO 00000f6e: JUMPDEST 00000f6f: DUP1 00000f70: PUSH2 0x0f85 00000f73: JUMPI 00000f74: POP 00000f75: PUSH1 0x00 00000f77: DUP3 00000f78: SLT 00000f79: DUP1 00000f7a: ISZERO 00000f7b: PUSH2 0x0f85 00000f7e: JUMPI 00000f7f: POP 00000f80: DUP3 00000f81: DUP3 00000f82: DUP5 00000f83: SUB 00000f84: SGT 00000f85: JUMPDEST 00000f86: PUSH2 0x0f8e 00000f89: JUMPI 00000f8a: PUSH1 0x00 00000f8c: DUP1 00000f8d: REVERT 00000f8e: JUMPDEST 00000f8f: POP 00000f90: SWAP1 00000f91: SUB 00000f92: SWAP1 00000f93: JUMP 00000f94: JUMPDEST 00000f95: PUSH1 0x01 00000f97: PUSH1 0x01 00000f99: PUSH1 0xa0 00000f9b: SHL 00000f9c: SUB 00000f9d: DUP3 00000f9e: AND 00000f9f: PUSH2 0x0fef 00000fa2: JUMPI 00000fa3: PUSH1 0x40 00000fa5: DUP1 00000fa6: MLOAD 00000fa7: PUSH3 0x461bcd 00000fab: PUSH1 0xe5 00000fad: SHL 00000fae: DUP2 00000faf: MSTORE 00000fb0: PUSH1 0x20 00000fb2: PUSH1 0x04 00000fb4: DUP3 00000fb5: ADD 00000fb6: MSTORE 00000fb7: PUSH1 0x1f 00000fb9: PUSH1 0x24 00000fbb: DUP3 00000fbc: ADD 00000fbd: MSTORE 00000fbe: PUSH32 0x45524332303a206d696e7420746f20746865207a65726f206164647265737300 00000fdf: PUSH1 0x44 00000fe1: DUP3 00000fe2: ADD 00000fe3: MSTORE 00000fe4: SWAP1 00000fe5: MLOAD 00000fe6: SWAP1 00000fe7: DUP2 00000fe8: SWAP1 00000fe9: SUB 00000fea: PUSH1 0x64 00000fec: ADD 00000fed: SWAP1 00000fee: REVERT 00000fef: JUMPDEST 00000ff0: PUSH1 0x05 00000ff2: SLOAD 00000ff3: PUSH2 0x1002 00000ff6: SWAP1 00000ff7: DUP3 00000ff8: PUSH4 0xffffffff 00000ffd: PUSH2 0x0beb 00001000: AND 00001001: JUMP 00001002: JUMPDEST 00001003: PUSH1 0x05 00001005: SSTORE 00001006: PUSH1 0x01 00001008: PUSH1 0x01 0000100a: PUSH1 0xa0 0000100c: SHL 0000100d: SUB 0000100e: DUP3 0000100f: AND 00001010: PUSH1 0x00 00001012: SWAP1 00001013: DUP2 00001014: MSTORE 00001015: PUSH1 0x03 00001017: PUSH1 0x20 00001019: MSTORE 0000101a: PUSH1 0x40 0000101c: SWAP1 0000101d: KECCAK256 0000101e: SLOAD 0000101f: PUSH2 0x102e 00001022: SWAP1 00001023: DUP3 00001024: PUSH4 0xffffffff 00001029: PUSH2 0x0beb 0000102c: AND 0000102d: JUMP 0000102e: JUMPDEST 0000102f: PUSH1 0x01 00001031: PUSH1 0x01 00001033: PUSH1 0xa0 00001035: SHL 00001036: SUB 00001037: DUP4 00001038: AND 00001039: PUSH1 0x00 0000103b: DUP2 0000103c: DUP2 0000103d: MSTORE 0000103e: PUSH1 0x03 00001040: PUSH1 0x20 00001042: SWAP1 00001043: DUP2 00001044: MSTORE 00001045: PUSH1 0x40 00001047: DUP1 00001048: DUP4 00001049: KECCAK256 0000104a: SWAP5 0000104b: SWAP1 0000104c: SWAP5 0000104d: SSTORE 0000104e: DUP4 0000104f: MLOAD 00001050: DUP6 00001051: DUP2 00001052: MSTORE 00001053: SWAP4 00001054: MLOAD 00001055: SWAP3 00001056: SWAP4 00001057: SWAP2 00001058: SWAP3 00001059: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 0000107a: SWAP3 0000107b: DUP2 0000107c: SWAP1 0000107d: SUB 0000107e: SWAP1 0000107f: SWAP2 00001080: ADD 00001081: SWAP1 00001082: LOG3 00001083: POP 00001084: POP 00001085: JUMP 00001086: INVALID 00001087: GASLIMIT 00001088: MSTORE 00001089: NUMBER 0000108a: ORIGIN 0000108b: ADDRESS 0000108c: GASPRICE 0000108d: KECCAK256 0000108e: PUSH21 0x72616e7366657220746f20746865207a65726f2061 000010a4: PUSH5 0x6472657373 000010aa: GASLIMIT 000010ab: MSTORE 000010ac: NUMBER 000010ad: ORIGIN 000010ae: ADDRESS 000010af: GASPRICE 000010b0: KECCAK256 000010b1: PUSH2 0x7070 000010b4: PUSH19 0x6f766520746f20746865207a65726f20616464 000010c8: PUSH19 0x65737345524332303a207472616e7366657220 000010dc: PUSH2 0x6d6f 000010df: PUSH22 0x6e7420657863656564732062616c616e636546756e64 000010f6: PUSH20 0x446973747269627574696f6e546f6b656e2e5f64 0000110b: PUSH10 0x73747269627574654675 00001116: PUSH15 0x64733a20535550504c595f49535f5a 00001126: GASLIMIT 00001127: MSTORE 00001128: UNKNOWN(0x4F) 00001129: MSTORE8 0000112a: PUSH2 0x6665 0000112d: UNKNOWN(0x4D) 0000112e: PUSH2 0x7468 00001131: GASPRICE 00001132: KECCAK256 00001133: PUSH14 0x756c7469706c69636174696f6e20 00001142: PUSH16 0x766572666c6f7745524332303a207472 00001153: PUSH2 0x6e73 00001156: PUSH7 0x657220616d6f75 0000115e: PUSH15 0x74206578636565647320616c6c6f77 0000116e: PUSH2 0x6e63 00001171: PUSH6 0x45524332303a 00001178: KECCAK256 00001179: PUSH21 0x72616e736665722066726f6d20746865207a65726f 0000118f: KECCAK256 00001190: PUSH2 0x6464 00001193: PUSH19 0x65737345524332303a20617070726f76652066 000011a7: PUSH19 0x6f6d20746865207a65726f2061646472657373 000011bb: GASLIMIT 000011bc: MSTORE 000011bd: NUMBER 000011be: ORIGIN 000011bf: ADDRESS 000011c0: GASPRICE 000011c1: KECCAK256 000011c2: PUSH5 0x6563726561 000011c8: PUSH20 0x656420616c6c6f77616e63652062656c6f77207a 000011dd: PUSH6 0x726fa265627a 000011e4: PUSH27 0x723158206590fc7503fd06846214c07fb96155bb4bcfd337bd99e2 00001200: UNKNOWN(0x0D) 00001201: UNKNOWN(0xA7) 00001202: PUSH3 0x0c96d1 00001206: UNKNOWN(0x4E) 00001207: UNKNOWN(0xD2) 00001208: UNKNOWN(0xD2) 00001209: PUSH5 0x736f6c6343 0000120f: STOP 00001210: SDIV 00001211: LT 00001212: STOP 00001213: 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": "0x95d89b41",
"selector": "0x95d89b41",
"calldata_variants": [
"0x95d89b41",
"0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa457c2d7",
"selector": "0xa457c2d7",
"calldata_variants": [
"0xa457c2d7",
"0xa457c2d70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9691f3f",
"selector": "0xa9691f3f",
"calldata_variants": [
"0xa9691f3f",
"0xa9691f3f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x443bb293",
"selector": "0x443bb293",
"calldata_variants": [
"0x443bb293",
"0x443bb2930000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x46c162de",
"selector": "0x46c162de",
"calldata_variants": [
"0x46c162de",
"0x46c162de0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4e97415f",
"selector": "0x4e97415f",
"calldata_variants": [
"0x4e97415f",
"0x4e97415f0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 4234,
"type": "tx_origin_used"
},
{
"pc": 4269,
"type": "tx_origin_used"
},
{
"pc": 4542,
"type": "tx_origin_used"
},
{
"pc": 4627,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x19f5c72b0e3a695dfeeb120d6a25aa30057dbddf7fdf5b3b6d0b5786a9c8bdc1
call_targets:
0x5b67930050adb057cff0f3290e9496920085ba4b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x19f5c72b0e3a695dfeeb120d6a25aa30057dbddf7fdf5b3b6d0b5786a9c8bdc1",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x5b67930050adb057cff0f3290e9496920085ba4b"
],
"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": "0x95d89b41",
"selector": "0x95d89b41",
"calldata_variants": [
"0x95d89b41",
"0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa457c2d7",
"selector": "0xa457c2d7",
"calldata_variants": [
"0xa457c2d7",
"0xa457c2d70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9691f3f",
"selector": "0xa9691f3f",
"calldata_variants": [
"0xa9691f3f",
"0xa9691f3f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x443bb293",
"selector": "0x443bb293",
"calldata_variants": [
"0x443bb293",
"0x443bb2930000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x46c162de",
"selector": "0x46c162de",
"calldata_variants": [
"0x46c162de",
"0x46c162de0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4e97415f",
"selector": "0x4e97415f",
"calldata_variants": [
"0x4e97415f",
"0x4e97415f0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1629,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [
{
"pc": 4234,
"type": "tx_origin_used"
},
{
"pc": 4269,
"type": "tx_origin_used"
},
{
"pc": 4542,
"type": "tx_origin_used"
},
{
"pc": 4627,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 1
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x19f5c72b0e3a695dfeeb120d6a25aa30057dbddf7fdf5b3b6d0b5786a9c8bdc1
call_targets:
0x5b67930050adb057cff0f3290e9496920085ba4b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x19f5c72b0e3a695dfeeb120d6a25aa30057dbddf7fdf5b3b6d0b5786a9c8bdc1",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x5b67930050adb057cff0f3290e9496920085ba4b"
],
"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": "0x95d89b41",
"selector": "0x95d89b41",
"calldata_variants": [
"0x95d89b41",
"0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa457c2d7",
"selector": "0xa457c2d7",
"calldata_variants": [
"0xa457c2d7",
"0xa457c2d70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9691f3f",
"selector": "0xa9691f3f",
"calldata_variants": [
"0xa9691f3f",
"0xa9691f3f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x443bb293",
"selector": "0x443bb293",
"calldata_variants": [
"0x443bb293",
"0x443bb2930000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x46c162de",
"selector": "0x46c162de",
"calldata_variants": [
"0x46c162de",
"0x46c162de0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4e97415f",
"selector": "0x4e97415f",
"calldata_variants": [
"0x4e97415f",
"0x4e97415f0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1629,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": [
{
"pc": 4234,
"type": "tx_origin_used"
},
{
"pc": 4269,
"type": "tx_origin_used"
},
{
"pc": 4542,
"type": "tx_origin_used"
},
{
"pc": 4627,
"type": "tx_origin_used"
}
]
}
|