019b477e-bb4b-7203-811c-f8e0b8f12382
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 |
|---|---|---|---|---|
| 23881 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 23882 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 89965 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 89966 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 89967 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 89968 | validation.fork | complete | 1 / 3 | 2 weeks 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 0x0112 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x39509351 00000019: GT 0000001a: PUSH2 0x00a5 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x95d89b41 00000024: GT 00000025: PUSH2 0x0074 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xa9059cbb 0000002f: GT 00000030: PUSH2 0x0059 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xa9059cbb 0000003a: EQ 0000003b: PUSH2 0x0518 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xb9ecb781 00000045: EQ 00000046: PUSH2 0x0551 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xdd62ed3e 00000050: EQ 00000051: PUSH2 0x0566 00000054: JUMPI 00000055: PUSH2 0x0233 00000058: JUMP 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0x95d89b41 00000060: EQ 00000061: PUSH2 0x04ca 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0xa457c2d7 0000006b: EQ 0000006c: PUSH2 0x04df 0000006f: JUMPI 00000070: PUSH2 0x0233 00000073: JUMP 00000074: JUMPDEST 00000075: DUP1 00000076: PUSH4 0x39509351 0000007b: EQ 0000007c: PUSH2 0x03ff 0000007f: JUMPI 00000080: DUP1 00000081: PUSH4 0x42966c68 00000086: EQ 00000087: PUSH2 0x0438 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0x4a3b68cc 00000091: EQ 00000092: PUSH2 0x0464 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x70a08231 0000009c: EQ 0000009d: PUSH2 0x0497 000000a0: JUMPI 000000a1: PUSH2 0x0233 000000a4: JUMP 000000a5: JUMPDEST 000000a6: DUP1 000000a7: PUSH4 0x27a822df 000000ac: GT 000000ad: PUSH2 0x00e1 000000b0: JUMPI 000000b1: DUP1 000000b2: PUSH4 0x27a822df 000000b7: EQ 000000b8: PUSH2 0x0379 000000bb: JUMPI 000000bc: DUP1 000000bd: PUSH4 0x2c4e722e 000000c2: EQ 000000c3: PUSH2 0x03aa 000000c6: JUMPI 000000c7: DUP1 000000c8: PUSH4 0x313ce567 000000cd: EQ 000000ce: PUSH2 0x03bf 000000d1: JUMPI 000000d2: DUP1 000000d3: PUSH4 0x355274ea 000000d8: EQ 000000d9: PUSH2 0x03ea 000000dc: JUMPI 000000dd: PUSH2 0x0233 000000e0: JUMP 000000e1: JUMPDEST 000000e2: DUP1 000000e3: PUSH4 0x06fdde03 000000e8: EQ 000000e9: PUSH2 0x0238 000000ec: JUMPI 000000ed: DUP1 000000ee: PUSH4 0x095ea7b3 000000f3: EQ 000000f4: PUSH2 0x02c2 000000f7: JUMPI 000000f8: DUP1 000000f9: PUSH4 0x18160ddd 000000fe: EQ 000000ff: PUSH2 0x030f 00000102: JUMPI 00000103: DUP1 00000104: PUSH4 0x23b872dd 00000109: EQ 0000010a: PUSH2 0x0336 0000010d: JUMPI 0000010e: PUSH2 0x0233 00000111: JUMP 00000112: JUMPDEST 00000113: CALLDATASIZE 00000114: PUSH2 0x0233 00000117: JUMPI 00000118: CALLER 00000119: PUSH1 0x00 0000011b: SWAP1 0000011c: DUP2 0000011d: MSTORE 0000011e: PUSH1 0x06 00000120: PUSH1 0x20 00000122: MSTORE 00000123: PUSH1 0x40 00000125: SWAP1 00000126: KECCAK256 00000127: SLOAD 00000128: PUSH1 0x01 0000012a: PUSH1 0x01 0000012c: PUSH1 0xa0 0000012e: SHL 0000012f: SUB 00000130: AND 00000131: PUSH2 0x0181 00000134: JUMPI 00000135: PUSH1 0x40 00000137: DUP1 00000138: MLOAD 00000139: PUSH3 0x461bcd 0000013d: PUSH1 0xe5 0000013f: SHL 00000140: DUP2 00000141: MSTORE 00000142: PUSH1 0x20 00000144: PUSH1 0x04 00000146: DUP3 00000147: ADD 00000148: MSTORE 00000149: PUSH1 0x18 0000014b: PUSH1 0x24 0000014d: DUP3 0000014e: ADD 0000014f: MSTORE 00000150: PUSH32 0x4163636f756e74206973206e6f74206163746976617465640000000000000000 00000171: PUSH1 0x44 00000173: DUP3 00000174: ADD 00000175: MSTORE 00000176: SWAP1 00000177: MLOAD 00000178: SWAP1 00000179: DUP2 0000017a: SWAP1 0000017b: SUB 0000017c: PUSH1 0x64 0000017e: ADD 0000017f: SWAP1 00000180: REVERT 00000181: JUMPDEST 00000182: PUSH1 0x00 00000184: CALLVALUE 00000185: GT 00000186: PUSH2 0x01d6 00000189: JUMPI 0000018a: PUSH1 0x40 0000018c: DUP1 0000018d: MLOAD 0000018e: PUSH3 0x461bcd 00000192: PUSH1 0xe5 00000194: SHL 00000195: DUP2 00000196: MSTORE 00000197: PUSH1 0x20 00000199: PUSH1 0x04 0000019b: DUP3 0000019c: ADD 0000019d: MSTORE 0000019e: PUSH1 0x15 000001a0: PUSH1 0x24 000001a2: DUP3 000001a3: ADD 000001a4: MSTORE 000001a5: PUSH32 0x5a65726f20616d6f756e74206f66204574686572730000000000000000000000 000001c6: PUSH1 0x44 000001c8: DUP3 000001c9: ADD 000001ca: MSTORE 000001cb: SWAP1 000001cc: MLOAD 000001cd: SWAP1 000001ce: DUP2 000001cf: SWAP1 000001d0: SUB 000001d1: PUSH1 0x64 000001d3: ADD 000001d4: SWAP1 000001d5: REVERT 000001d6: JUMPDEST 000001d7: CALLER 000001d8: PUSH1 0x00 000001da: SWAP1 000001db: DUP2 000001dc: MSTORE 000001dd: PUSH1 0x06 000001df: PUSH1 0x20 000001e1: MSTORE 000001e2: PUSH1 0x40 000001e4: DUP2 000001e5: KECCAK256 000001e6: SLOAD 000001e7: PUSH1 0x05 000001e9: SLOAD 000001ea: PUSH1 0x01 000001ec: PUSH1 0x01 000001ee: PUSH1 0xa0 000001f0: SHL 000001f1: SUB 000001f2: SWAP2 000001f3: DUP3 000001f4: AND 000001f5: SWAP3 000001f6: CALLVALUE 000001f7: PUSH2 0x0100 000001fa: SWAP1 000001fb: SWAP3 000001fc: DIV 000001fd: SWAP1 000001fe: SWAP3 000001ff: AND 00000200: BALANCE 00000201: SUB 00000202: SWAP1 00000203: DUP2 00000204: PUSH2 0x020d 00000207: JUMPI 00000208: CALLVALUE 00000209: PUSH2 0x0221 0000020c: JUMP 0000020d: JUMPDEST 0000020e: DUP2 0000020f: PUSH2 0x0216 00000212: PUSH2 0x05a1 00000215: JUMP 00000216: JUMPDEST 00000217: CALLVALUE 00000218: MUL 00000219: DUP2 0000021a: PUSH2 0x021f 0000021d: JUMPI 0000021e: INVALID 0000021f: JUMPDEST 00000220: DIV 00000221: JUMPDEST 00000222: SWAP1 00000223: POP 00000224: PUSH2 0x022e 00000227: CALLER 00000228: DUP5 00000229: DUP4 0000022a: PUSH2 0x05a7 0000022d: JUMP 0000022e: JUMPDEST 0000022f: POP 00000230: POP 00000231: POP 00000232: STOP 00000233: JUMPDEST 00000234: PUSH1 0x00 00000236: DUP1 00000237: REVERT 00000238: JUMPDEST 00000239: CALLVALUE 0000023a: DUP1 0000023b: ISZERO 0000023c: PUSH2 0x0244 0000023f: JUMPI 00000240: PUSH1 0x00 00000242: DUP1 00000243: REVERT 00000244: JUMPDEST 00000245: POP 00000246: PUSH2 0x024d 00000249: PUSH2 0x06df 0000024c: JUMP 0000024d: JUMPDEST 0000024e: PUSH1 0x40 00000250: DUP1 00000251: MLOAD 00000252: PUSH1 0x20 00000254: DUP1 00000255: DUP3 00000256: MSTORE 00000257: DUP4 00000258: MLOAD 00000259: DUP2 0000025a: DUP4 0000025b: ADD 0000025c: MSTORE 0000025d: DUP4 0000025e: MLOAD 0000025f: SWAP2 00000260: SWAP3 00000261: DUP4 00000262: SWAP3 00000263: SWAP1 00000264: DUP4 00000265: ADD 00000266: SWAP2 00000267: DUP6 00000268: ADD 00000269: SWAP1 0000026a: DUP1 0000026b: DUP4 0000026c: DUP4 0000026d: PUSH1 0x00 0000026f: JUMPDEST 00000270: DUP4 00000271: DUP2 00000272: LT 00000273: ISZERO 00000274: PUSH2 0x0287 00000277: JUMPI 00000278: DUP2 00000279: DUP2 0000027a: ADD 0000027b: MLOAD 0000027c: DUP4 0000027d: DUP3 0000027e: ADD 0000027f: MSTORE 00000280: PUSH1 0x20 00000282: ADD 00000283: PUSH2 0x026f 00000286: JUMP 00000287: JUMPDEST 00000288: POP 00000289: POP 0000028a: POP 0000028b: POP 0000028c: SWAP1 0000028d: POP 0000028e: SWAP1 0000028f: DUP2 00000290: ADD 00000291: SWAP1 00000292: PUSH1 0x1f 00000294: AND 00000295: DUP1 00000296: ISZERO 00000297: PUSH2 0x02b4 0000029a: JUMPI 0000029b: DUP1 0000029c: DUP3 0000029d: SUB 0000029e: DUP1 0000029f: MLOAD 000002a0: PUSH1 0x01 000002a2: DUP4 000002a3: PUSH1 0x20 000002a5: SUB 000002a6: PUSH2 0x0100 000002a9: EXP 000002aa: SUB 000002ab: NOT 000002ac: AND 000002ad: DUP2 000002ae: MSTORE 000002af: PUSH1 0x20 000002b1: ADD 000002b2: SWAP2 000002b3: POP 000002b4: JUMPDEST 000002b5: POP 000002b6: SWAP3 000002b7: POP 000002b8: POP 000002b9: POP 000002ba: PUSH1 0x40 000002bc: MLOAD 000002bd: DUP1 000002be: SWAP2 000002bf: SUB 000002c0: SWAP1 000002c1: RETURN 000002c2: JUMPDEST 000002c3: CALLVALUE 000002c4: DUP1 000002c5: ISZERO 000002c6: PUSH2 0x02ce 000002c9: JUMPI 000002ca: PUSH1 0x00 000002cc: DUP1 000002cd: REVERT 000002ce: JUMPDEST 000002cf: POP 000002d0: PUSH2 0x02fb 000002d3: PUSH1 0x04 000002d5: DUP1 000002d6: CALLDATASIZE 000002d7: SUB 000002d8: PUSH1 0x40 000002da: DUP2 000002db: LT 000002dc: ISZERO 000002dd: PUSH2 0x02e5 000002e0: JUMPI 000002e1: PUSH1 0x00 000002e3: DUP1 000002e4: REVERT 000002e5: JUMPDEST 000002e6: POP 000002e7: PUSH1 0x01 000002e9: PUSH1 0x01 000002eb: PUSH1 0xa0 000002ed: SHL 000002ee: SUB 000002ef: DUP2 000002f0: CALLDATALOAD 000002f1: AND 000002f2: SWAP1 000002f3: PUSH1 0x20 000002f5: ADD 000002f6: CALLDATALOAD 000002f7: PUSH2 0x0775 000002fa: JUMP 000002fb: JUMPDEST 000002fc: PUSH1 0x40 000002fe: DUP1 000002ff: MLOAD 00000300: SWAP2 00000301: ISZERO 00000302: ISZERO 00000303: DUP3 00000304: MSTORE 00000305: MLOAD 00000306: SWAP1 00000307: DUP2 00000308: SWAP1 00000309: SUB 0000030a: PUSH1 0x20 0000030c: ADD 0000030d: SWAP1 0000030e: RETURN 0000030f: JUMPDEST 00000310: CALLVALUE 00000311: DUP1 00000312: ISZERO 00000313: PUSH2 0x031b 00000316: JUMPI 00000317: PUSH1 0x00 00000319: DUP1 0000031a: REVERT 0000031b: JUMPDEST 0000031c: POP 0000031d: PUSH2 0x0324 00000320: PUSH2 0x05a1 00000323: JUMP 00000324: JUMPDEST 00000325: PUSH1 0x40 00000327: DUP1 00000328: MLOAD 00000329: SWAP2 0000032a: DUP3 0000032b: MSTORE 0000032c: MLOAD 0000032d: SWAP1 0000032e: DUP2 0000032f: SWAP1 00000330: SUB 00000331: PUSH1 0x20 00000333: ADD 00000334: SWAP1 00000335: RETURN 00000336: JUMPDEST 00000337: CALLVALUE 00000338: DUP1 00000339: ISZERO 0000033a: PUSH2 0x0342 0000033d: JUMPI 0000033e: PUSH1 0x00 00000340: DUP1 00000341: REVERT 00000342: JUMPDEST 00000343: POP 00000344: PUSH2 0x02fb 00000347: PUSH1 0x04 00000349: DUP1 0000034a: CALLDATASIZE 0000034b: SUB 0000034c: PUSH1 0x60 0000034e: DUP2 0000034f: LT 00000350: ISZERO 00000351: PUSH2 0x0359 00000354: JUMPI 00000355: PUSH1 0x00 00000357: DUP1 00000358: REVERT 00000359: JUMPDEST 0000035a: POP 0000035b: PUSH1 0x01 0000035d: PUSH1 0x01 0000035f: PUSH1 0xa0 00000361: SHL 00000362: SUB 00000363: DUP2 00000364: CALLDATALOAD 00000365: DUP2 00000366: AND 00000367: SWAP2 00000368: PUSH1 0x20 0000036a: DUP2 0000036b: ADD 0000036c: CALLDATALOAD 0000036d: SWAP1 0000036e: SWAP2 0000036f: AND 00000370: SWAP1 00000371: PUSH1 0x40 00000373: ADD 00000374: CALLDATALOAD 00000375: PUSH2 0x078b 00000378: JUMP 00000379: JUMPDEST 0000037a: CALLVALUE 0000037b: DUP1 0000037c: ISZERO 0000037d: PUSH2 0x0385 00000380: JUMPI 00000381: PUSH1 0x00 00000383: DUP1 00000384: REVERT 00000385: JUMPDEST 00000386: POP 00000387: PUSH2 0x038e 0000038a: PUSH2 0x0836 0000038d: JUMP 0000038e: JUMPDEST 0000038f: PUSH1 0x40 00000391: DUP1 00000392: MLOAD 00000393: PUSH1 0x01 00000395: PUSH1 0x01 00000397: PUSH1 0xa0 00000399: SHL 0000039a: SUB 0000039b: SWAP1 0000039c: SWAP3 0000039d: AND 0000039e: DUP3 0000039f: MSTORE 000003a0: MLOAD 000003a1: SWAP1 000003a2: DUP2 000003a3: SWAP1 000003a4: SUB 000003a5: PUSH1 0x20 000003a7: ADD 000003a8: SWAP1 000003a9: RETURN 000003aa: JUMPDEST 000003ab: CALLVALUE 000003ac: DUP1 000003ad: ISZERO 000003ae: PUSH2 0x03b6 000003b1: JUMPI 000003b2: PUSH1 0x00 000003b4: DUP1 000003b5: REVERT 000003b6: JUMPDEST 000003b7: POP 000003b8: PUSH2 0x0324 000003bb: PUSH2 0x084a 000003be: JUMP 000003bf: JUMPDEST 000003c0: CALLVALUE 000003c1: DUP1 000003c2: ISZERO 000003c3: PUSH2 0x03cb 000003c6: JUMPI 000003c7: PUSH1 0x00 000003c9: DUP1 000003ca: REVERT 000003cb: JUMPDEST 000003cc: POP 000003cd: PUSH2 0x03d4 000003d0: PUSH2 0x08ac 000003d3: JUMP 000003d4: JUMPDEST 000003d5: PUSH1 0x40 000003d7: DUP1 000003d8: MLOAD 000003d9: PUSH1 0xff 000003db: SWAP1 000003dc: SWAP3 000003dd: AND 000003de: DUP3 000003df: MSTORE 000003e0: MLOAD 000003e1: SWAP1 000003e2: DUP2 000003e3: SWAP1 000003e4: SUB 000003e5: PUSH1 0x20 000003e7: ADD 000003e8: SWAP1 000003e9: RETURN 000003ea: JUMPDEST 000003eb: CALLVALUE 000003ec: DUP1 000003ed: ISZERO 000003ee: PUSH2 0x03f6 000003f1: JUMPI 000003f2: PUSH1 0x00 000003f4: DUP1 000003f5: REVERT 000003f6: JUMPDEST 000003f7: POP 000003f8: PUSH2 0x0324 000003fb: PUSH2 0x08b5 000003fe: JUMP 000003ff: JUMPDEST 00000400: CALLVALUE 00000401: DUP1 00000402: ISZERO 00000403: PUSH2 0x040b 00000406: JUMPI 00000407: PUSH1 0x00 00000409: DUP1 0000040a: REVERT 0000040b: JUMPDEST 0000040c: POP 0000040d: PUSH2 0x02fb 00000410: PUSH1 0x04 00000412: DUP1 00000413: CALLDATASIZE 00000414: SUB 00000415: PUSH1 0x40 00000417: DUP2 00000418: LT 00000419: ISZERO 0000041a: PUSH2 0x0422 0000041d: JUMPI 0000041e: PUSH1 0x00 00000420: DUP1 00000421: REVERT 00000422: JUMPDEST 00000423: POP 00000424: PUSH1 0x01 00000426: PUSH1 0x01 00000428: PUSH1 0xa0 0000042a: SHL 0000042b: SUB 0000042c: DUP2 0000042d: CALLDATALOAD 0000042e: AND 0000042f: SWAP1 00000430: PUSH1 0x20 00000432: ADD 00000433: CALLDATALOAD 00000434: PUSH2 0x08eb 00000437: JUMP 00000438: JUMPDEST 00000439: CALLVALUE 0000043a: DUP1 0000043b: ISZERO 0000043c: PUSH2 0x0444 0000043f: JUMPI 00000440: PUSH1 0x00 00000442: DUP1 00000443: REVERT 00000444: JUMPDEST 00000445: POP 00000446: PUSH2 0x0462 00000449: PUSH1 0x04 0000044b: DUP1 0000044c: CALLDATASIZE 0000044d: SUB 0000044e: PUSH1 0x20 00000450: DUP2 00000451: LT 00000452: ISZERO 00000453: PUSH2 0x045b 00000456: JUMPI 00000457: PUSH1 0x00 00000459: DUP1 0000045a: REVERT 0000045b: JUMPDEST 0000045c: POP 0000045d: CALLDATALOAD 0000045e: PUSH2 0x095d 00000461: JUMP 00000462: JUMPDEST 00000463: STOP 00000464: JUMPDEST 00000465: CALLVALUE 00000466: DUP1 00000467: ISZERO 00000468: PUSH2 0x0470 0000046b: JUMPI 0000046c: PUSH1 0x00 0000046e: DUP1 0000046f: REVERT 00000470: JUMPDEST 00000471: POP 00000472: PUSH2 0x038e 00000475: PUSH1 0x04 00000477: DUP1 00000478: CALLDATASIZE 00000479: SUB 0000047a: PUSH1 0x20 0000047c: DUP2 0000047d: LT 0000047e: ISZERO 0000047f: PUSH2 0x0487 00000482: JUMPI 00000483: PUSH1 0x00 00000485: DUP1 00000486: REVERT 00000487: JUMPDEST 00000488: POP 00000489: CALLDATALOAD 0000048a: PUSH1 0x01 0000048c: PUSH1 0x01 0000048e: PUSH1 0xa0 00000490: SHL 00000491: SUB 00000492: AND 00000493: PUSH2 0x096a 00000496: JUMP 00000497: JUMPDEST 00000498: CALLVALUE 00000499: DUP1 0000049a: ISZERO 0000049b: PUSH2 0x04a3 0000049e: JUMPI 0000049f: PUSH1 0x00 000004a1: DUP1 000004a2: REVERT 000004a3: JUMPDEST 000004a4: POP 000004a5: PUSH2 0x0324 000004a8: PUSH1 0x04 000004aa: DUP1 000004ab: CALLDATASIZE 000004ac: SUB 000004ad: PUSH1 0x20 000004af: DUP2 000004b0: LT 000004b1: ISZERO 000004b2: PUSH2 0x04ba 000004b5: JUMPI 000004b6: PUSH1 0x00 000004b8: DUP1 000004b9: REVERT 000004ba: JUMPDEST 000004bb: POP 000004bc: CALLDATALOAD 000004bd: PUSH1 0x01 000004bf: PUSH1 0x01 000004c1: PUSH1 0xa0 000004c3: SHL 000004c4: SUB 000004c5: AND 000004c6: PUSH2 0x0985 000004c9: JUMP 000004ca: JUMPDEST 000004cb: CALLVALUE 000004cc: DUP1 000004cd: ISZERO 000004ce: PUSH2 0x04d6 000004d1: JUMPI 000004d2: PUSH1 0x00 000004d4: DUP1 000004d5: REVERT 000004d6: JUMPDEST 000004d7: POP 000004d8: PUSH2 0x024d 000004db: PUSH2 0x09a0 000004de: JUMP 000004df: JUMPDEST 000004e0: CALLVALUE 000004e1: DUP1 000004e2: ISZERO 000004e3: PUSH2 0x04eb 000004e6: JUMPI 000004e7: PUSH1 0x00 000004e9: DUP1 000004ea: REVERT 000004eb: JUMPDEST 000004ec: POP 000004ed: PUSH2 0x02fb 000004f0: PUSH1 0x04 000004f2: DUP1 000004f3: CALLDATASIZE 000004f4: SUB 000004f5: PUSH1 0x40 000004f7: DUP2 000004f8: LT 000004f9: ISZERO 000004fa: PUSH2 0x0502 000004fd: JUMPI 000004fe: PUSH1 0x00 00000500: DUP1 00000501: REVERT 00000502: JUMPDEST 00000503: POP 00000504: PUSH1 0x01 00000506: PUSH1 0x01 00000508: PUSH1 0xa0 0000050a: SHL 0000050b: SUB 0000050c: DUP2 0000050d: CALLDATALOAD 0000050e: AND 0000050f: SWAP1 00000510: PUSH1 0x20 00000512: ADD 00000513: CALLDATALOAD 00000514: PUSH2 0x0a01 00000517: JUMP 00000518: JUMPDEST 00000519: CALLVALUE 0000051a: DUP1 0000051b: ISZERO 0000051c: PUSH2 0x0524 0000051f: JUMPI 00000520: PUSH1 0x00 00000522: DUP1 00000523: REVERT 00000524: JUMPDEST 00000525: POP 00000526: PUSH2 0x02fb 00000529: PUSH1 0x04 0000052b: DUP1 0000052c: CALLDATASIZE 0000052d: SUB 0000052e: PUSH1 0x40 00000530: DUP2 00000531: LT 00000532: ISZERO 00000533: PUSH2 0x053b 00000536: JUMPI 00000537: PUSH1 0x00 00000539: DUP1 0000053a: REVERT 0000053b: JUMPDEST 0000053c: POP 0000053d: PUSH1 0x01 0000053f: PUSH1 0x01 00000541: PUSH1 0xa0 00000543: SHL 00000544: SUB 00000545: DUP2 00000546: CALLDATALOAD 00000547: AND 00000548: SWAP1 00000549: PUSH1 0x20 0000054b: ADD 0000054c: CALLDATALOAD 0000054d: PUSH2 0x0aac 00000550: JUMP 00000551: JUMPDEST 00000552: CALLVALUE 00000553: DUP1 00000554: ISZERO 00000555: PUSH2 0x055d 00000558: JUMPI 00000559: PUSH1 0x00 0000055b: DUP1 0000055c: REVERT 0000055d: JUMPDEST 0000055e: POP 0000055f: PUSH2 0x0324 00000562: PUSH2 0x0ab9 00000565: JUMP 00000566: JUMPDEST 00000567: CALLVALUE 00000568: DUP1 00000569: ISZERO 0000056a: PUSH2 0x0572 0000056d: JUMPI 0000056e: PUSH1 0x00 00000570: DUP1 00000571: REVERT 00000572: JUMPDEST 00000573: POP 00000574: PUSH2 0x0324 00000577: PUSH1 0x04 00000579: DUP1 0000057a: CALLDATASIZE 0000057b: SUB 0000057c: PUSH1 0x40 0000057e: DUP2 0000057f: LT 00000580: ISZERO 00000581: PUSH2 0x0589 00000584: JUMPI 00000585: PUSH1 0x00 00000587: DUP1 00000588: REVERT 00000589: JUMPDEST 0000058a: POP 0000058b: PUSH1 0x01 0000058d: PUSH1 0x01 0000058f: PUSH1 0xa0 00000591: SHL 00000592: SUB 00000593: DUP2 00000594: CALLDATALOAD 00000595: DUP2 00000596: AND 00000597: SWAP2 00000598: PUSH1 0x20 0000059a: ADD 0000059b: CALLDATALOAD 0000059c: AND 0000059d: PUSH2 0x0abf 000005a0: JUMP 000005a1: JUMPDEST 000005a2: PUSH1 0x02 000005a4: SLOAD 000005a5: SWAP1 000005a6: JUMP 000005a7: JUMPDEST 000005a8: PUSH1 0x0a 000005aa: PUSH1 0x07 000005ac: DUP3 000005ad: MUL 000005ae: DIV 000005af: DUP1 000005b0: DUP3 000005b1: SUB 000005b2: PUSH1 0x02 000005b4: DUP2 000005b5: DIV 000005b6: PUSH7 0xde0b6b3a764000 000005be: PUSH2 0x05c7 000005c1: DUP8 000005c2: DUP6 000005c3: PUSH2 0x0aea 000005c6: JUMP 000005c7: JUMPDEST 000005c8: PUSH1 0x00 000005ca: JUMPDEST 000005cb: PUSH1 0x0a 000005cd: DUP2 000005ce: LT 000005cf: ISZERO 000005d0: PUSH2 0x0674 000005d3: JUMPI 000005d4: PUSH1 0x05 000005d6: SLOAD 000005d7: PUSH1 0x01 000005d9: PUSH1 0x01 000005db: PUSH1 0xa0 000005dd: SHL 000005de: SUB 000005df: DUP9 000005e0: DUP2 000005e1: AND 000005e2: PUSH2 0x0100 000005e5: SWAP1 000005e6: SWAP3 000005e7: DIV 000005e8: AND 000005e9: EQ 000005ea: PUSH2 0x0640 000005ed: JUMPI 000005ee: DUP2 000005ef: PUSH2 0x05f7 000005f2: DUP9 000005f3: PUSH2 0x0985 000005f6: JUMP 000005f7: JUMPDEST 000005f8: LT 000005f9: PUSH2 0x063b 000005fc: JUMPI 000005fd: PUSH1 0x00 000005ff: DUP7 00000600: PUSH2 0x0608 00000603: DUP10 00000604: PUSH2 0x0985 00000607: JUMP 00000608: JUMPDEST 00000609: GT 0000060a: PUSH2 0x0626 0000060d: JUMPI 0000060e: DUP7 0000060f: PUSH2 0x0617 00000612: DUP10 00000613: PUSH2 0x0985 00000616: JUMP 00000617: JUMPDEST 00000618: DUP6 00000619: MUL 0000061a: DUP2 0000061b: PUSH2 0x0620 0000061e: JUMPI 0000061f: INVALID 00000620: JUMPDEST 00000621: DIV 00000622: PUSH2 0x0628 00000625: JUMP 00000626: JUMPDEST 00000627: DUP4 00000628: JUMPDEST 00000629: SWAP1 0000062a: POP 0000062b: DUP1 0000062c: DUP6 0000062d: SUB 0000062e: SWAP5 0000062f: POP 00000630: PUSH2 0x0639 00000633: DUP9 00000634: DUP3 00000635: PUSH2 0x0aea 00000638: JUMP 00000639: JUMPDEST 0000063a: POP 0000063b: JUMPDEST 0000063c: PUSH2 0x0644 0000063f: JUMP 00000640: JUMPDEST 00000641: POP 00000642: PUSH1 0x0a 00000644: JUMPDEST 00000645: PUSH1 0x02 00000647: SWAP2 00000648: DUP3 00000649: MUL 0000064a: SWAP2 0000064b: DUP4 0000064c: PUSH1 0x01 0000064e: PUSH1 0x01 00000650: PUSH1 0xa0 00000652: SHL 00000653: SUB 00000654: SWAP9 00000655: DUP10 00000656: AND 00000657: PUSH1 0x00 00000659: SWAP1 0000065a: DUP2 0000065b: MSTORE 0000065c: PUSH1 0x06 0000065e: PUSH1 0x20 00000660: MSTORE 00000661: PUSH1 0x40 00000663: SWAP1 00000664: KECCAK256 00000665: SLOAD 00000666: SWAP1 00000667: SWAP9 00000668: AND 00000669: SWAP8 0000066a: DIV 0000066b: SWAP3 0000066c: POP 0000066d: PUSH1 0x01 0000066f: ADD 00000670: PUSH2 0x05ca 00000673: JUMP 00000674: JUMPDEST 00000675: POP 00000676: PUSH1 0x07 00000678: SLOAD 00000679: ISZERO 0000067a: PUSH2 0x06d6 0000067d: JUMPI 0000067e: DUP3 0000067f: ISZERO 00000680: PUSH2 0x069e 00000683: JUMPI 00000684: PUSH1 0x05 00000686: SLOAD 00000687: PUSH2 0x069e 0000068a: SWAP1 0000068b: PUSH2 0x0100 0000068e: SWAP1 0000068f: DIV 00000690: PUSH1 0x01 00000692: PUSH1 0x01 00000694: PUSH1 0xa0 00000696: SHL 00000697: SUB 00000698: AND 00000699: DUP5 0000069a: PUSH2 0x0aea 0000069d: JUMP 0000069e: JUMPDEST 0000069f: PUSH1 0x07 000006a1: SLOAD 000006a2: PUSH2 0x06a9 000006a5: PUSH2 0x05a1 000006a8: JUMP 000006a9: JUMPDEST 000006aa: LT 000006ab: PUSH2 0x06d6 000006ae: JUMPI 000006af: PUSH1 0x00 000006b1: PUSH1 0x07 000006b3: SSTORE 000006b4: PUSH1 0x05 000006b6: SLOAD 000006b7: PUSH2 0x06d6 000006ba: SWAP1 000006bb: PUSH2 0x0100 000006be: SWAP1 000006bf: DIV 000006c0: PUSH1 0x01 000006c2: PUSH1 0x01 000006c4: PUSH1 0xa0 000006c6: SHL 000006c7: SUB 000006c8: AND 000006c9: PUSH2 0x06d1 000006cc: DUP2 000006cd: PUSH2 0x0985 000006d0: JUMP 000006d1: JUMPDEST 000006d2: PUSH2 0x0bc4 000006d5: JUMP 000006d6: JUMPDEST 000006d7: POP 000006d8: POP 000006d9: POP 000006da: POP 000006db: POP 000006dc: POP 000006dd: POP 000006de: JUMP 000006df: JUMPDEST 000006e0: PUSH1 0x03 000006e2: DUP1 000006e3: SLOAD 000006e4: PUSH1 0x40 000006e6: DUP1 000006e7: MLOAD 000006e8: PUSH1 0x20 000006ea: PUSH1 0x1f 000006ec: PUSH1 0x02 000006ee: PUSH1 0x00 000006f0: NOT 000006f1: PUSH2 0x0100 000006f4: PUSH1 0x01 000006f6: DUP9 000006f7: AND 000006f8: ISZERO 000006f9: MUL 000006fa: ADD 000006fb: SWAP1 000006fc: SWAP6 000006fd: AND 000006fe: SWAP5 000006ff: SWAP1 00000700: SWAP5 00000701: DIV 00000702: SWAP4 00000703: DUP5 00000704: ADD 00000705: DUP2 00000706: SWAP1 00000707: DIV 00000708: DUP2 00000709: MUL 0000070a: DUP3 0000070b: ADD 0000070c: DUP2 0000070d: ADD 0000070e: SWAP1 0000070f: SWAP3 00000710: MSTORE 00000711: DUP3 00000712: DUP2 00000713: MSTORE 00000714: PUSH1 0x60 00000716: SWAP4 00000717: SWAP1 00000718: SWAP3 00000719: SWAP1 0000071a: SWAP2 0000071b: DUP4 0000071c: ADD 0000071d: DUP3 0000071e: DUP3 0000071f: DUP1 00000720: ISZERO 00000721: PUSH2 0x076b 00000724: JUMPI 00000725: DUP1 00000726: PUSH1 0x1f 00000728: LT 00000729: PUSH2 0x0740 0000072c: JUMPI 0000072d: PUSH2 0x0100 00000730: DUP1 00000731: DUP4 00000732: SLOAD 00000733: DIV 00000734: MUL 00000735: DUP4 00000736: MSTORE 00000737: SWAP2 00000738: PUSH1 0x20 0000073a: ADD 0000073b: SWAP2 0000073c: PUSH2 0x076b 0000073f: JUMP 00000740: JUMPDEST 00000741: DUP3 00000742: ADD 00000743: SWAP2 00000744: SWAP1 00000745: PUSH1 0x00 00000747: MSTORE 00000748: PUSH1 0x20 0000074a: PUSH1 0x00 0000074c: KECCAK256 0000074d: SWAP1 0000074e: JUMPDEST 0000074f: DUP2 00000750: SLOAD 00000751: DUP2 00000752: MSTORE 00000753: SWAP1 00000754: PUSH1 0x01 00000756: ADD 00000757: SWAP1 00000758: PUSH1 0x20 0000075a: ADD 0000075b: DUP1 0000075c: DUP4 0000075d: GT 0000075e: PUSH2 0x074e 00000761: JUMPI 00000762: DUP3 00000763: SWAP1 00000764: SUB 00000765: PUSH1 0x1f 00000767: AND 00000768: DUP3 00000769: ADD 0000076a: SWAP2 0000076b: JUMPDEST 0000076c: POP 0000076d: POP 0000076e: POP 0000076f: POP 00000770: POP 00000771: SWAP1 00000772: POP 00000773: SWAP1 00000774: JUMP 00000775: JUMPDEST 00000776: PUSH1 0x00 00000778: PUSH2 0x0782 0000077b: CALLER 0000077c: DUP5 0000077d: DUP5 0000077e: PUSH2 0x0d0f 00000781: JUMP 00000782: JUMPDEST 00000783: POP 00000784: PUSH1 0x01 00000786: SWAP3 00000787: SWAP2 00000788: POP 00000789: POP 0000078a: JUMP 0000078b: JUMPDEST 0000078c: PUSH1 0x01 0000078e: PUSH1 0x01 00000790: PUSH1 0xa0 00000792: SHL 00000793: SUB 00000794: DUP4 00000795: AND 00000796: PUSH1 0x00 00000798: SWAP1 00000799: DUP2 0000079a: MSTORE 0000079b: PUSH1 0x01 0000079d: PUSH1 0x20 0000079f: SWAP1 000007a0: DUP2 000007a1: MSTORE 000007a2: PUSH1 0x40 000007a4: DUP1 000007a5: DUP4 000007a6: KECCAK256 000007a7: CALLER 000007a8: DUP5 000007a9: MSTORE 000007aa: SWAP1 000007ab: SWAP2 000007ac: MSTORE 000007ad: DUP2 000007ae: KECCAK256 000007af: SLOAD 000007b0: DUP3 000007b1: GT 000007b2: ISZERO 000007b3: PUSH2 0x07ed 000007b6: JUMPI 000007b7: PUSH1 0x40 000007b9: MLOAD 000007ba: PUSH3 0x461bcd 000007be: PUSH1 0xe5 000007c0: SHL 000007c1: DUP2 000007c2: MSTORE 000007c3: PUSH1 0x04 000007c5: ADD 000007c6: DUP1 000007c7: DUP1 000007c8: PUSH1 0x20 000007ca: ADD 000007cb: DUP3 000007cc: DUP2 000007cd: SUB 000007ce: DUP3 000007cf: MSTORE 000007d0: PUSH1 0x21 000007d2: DUP2 000007d3: MSTORE 000007d4: PUSH1 0x20 000007d6: ADD 000007d7: DUP1 000007d8: PUSH2 0x10b0 000007db: PUSH1 0x21 000007dd: SWAP2 000007de: CODECOPY 000007df: PUSH1 0x40 000007e1: ADD 000007e2: SWAP2 000007e3: POP 000007e4: POP 000007e5: PUSH1 0x40 000007e7: MLOAD 000007e8: DUP1 000007e9: SWAP2 000007ea: SUB 000007eb: SWAP1 000007ec: REVERT 000007ed: JUMPDEST 000007ee: PUSH2 0x07f8 000007f1: DUP5 000007f2: DUP5 000007f3: DUP5 000007f4: PUSH2 0x0df1 000007f7: JUMP 000007f8: JUMPDEST 000007f9: PUSH1 0x01 000007fb: PUSH1 0x01 000007fd: PUSH1 0xa0 000007ff: SHL 00000800: SUB 00000801: DUP5 00000802: AND 00000803: PUSH1 0x00 00000805: SWAP1 00000806: DUP2 00000807: MSTORE 00000808: PUSH1 0x01 0000080a: PUSH1 0x20 0000080c: SWAP1 0000080d: DUP2 0000080e: MSTORE 0000080f: PUSH1 0x40 00000811: DUP1 00000812: DUP4 00000813: KECCAK256 00000814: CALLER 00000815: DUP1 00000816: DUP6 00000817: MSTORE 00000818: SWAP3 00000819: MSTORE 0000081a: SWAP1 0000081b: SWAP2 0000081c: KECCAK256 0000081d: SLOAD 0000081e: PUSH2 0x082b 00000821: SWAP2 00000822: DUP7 00000823: SWAP2 00000824: DUP6 00000825: SWAP1 00000826: SUB 00000827: PUSH2 0x0d0f 0000082a: JUMP 0000082b: JUMPDEST 0000082c: POP 0000082d: PUSH1 0x01 0000082f: JUMPDEST 00000830: SWAP4 00000831: SWAP3 00000832: POP 00000833: POP 00000834: POP 00000835: JUMP 00000836: JUMPDEST 00000837: PUSH1 0x05 00000839: SLOAD 0000083a: PUSH2 0x0100 0000083d: SWAP1 0000083e: DIV 0000083f: PUSH1 0x01 00000841: PUSH1 0x01 00000843: PUSH1 0xa0 00000845: SHL 00000846: SUB 00000847: AND 00000848: DUP2 00000849: JUMP 0000084a: JUMPDEST 0000084b: PUSH1 0x00 0000084d: DUP1 0000084e: PUSH2 0x0855 00000851: PUSH2 0x05a1 00000854: JUMP 00000855: JUMPDEST 00000856: GT 00000857: DUP1 00000858: ISZERO 00000859: PUSH2 0x0872 0000085c: JUMPI 0000085d: POP 0000085e: PUSH1 0x05 00000860: SLOAD 00000861: PUSH2 0x0100 00000864: SWAP1 00000865: DIV 00000866: PUSH1 0x01 00000868: PUSH1 0x01 0000086a: PUSH1 0xa0 0000086c: SHL 0000086d: SUB 0000086e: AND 0000086f: BALANCE 00000870: ISZERO 00000871: ISZERO 00000872: JUMPDEST 00000873: PUSH2 0x087f 00000876: JUMPI 00000877: PUSH3 0x0f4240 0000087b: PUSH2 0x08a7 0000087e: JUMP 0000087f: JUMPDEST 00000880: PUSH2 0x0887 00000883: PUSH2 0x05a1 00000886: JUMP 00000887: JUMPDEST 00000888: PUSH1 0x05 0000088a: SLOAD 0000088b: PUSH2 0x0100 0000088e: SWAP1 0000088f: DIV 00000890: PUSH1 0x01 00000892: PUSH1 0x01 00000894: PUSH1 0xa0 00000896: SHL 00000897: SUB 00000898: AND 00000899: BALANCE 0000089a: PUSH3 0x0f4240 0000089e: MUL 0000089f: DUP2 000008a0: PUSH2 0x08a5 000008a3: JUMPI 000008a4: INVALID 000008a5: JUMPDEST 000008a6: DIV 000008a7: JUMPDEST 000008a8: SWAP1 000008a9: POP 000008aa: SWAP1 000008ab: JUMP 000008ac: JUMPDEST 000008ad: PUSH1 0x05 000008af: SLOAD 000008b0: PUSH1 0xff 000008b2: AND 000008b3: SWAP1 000008b4: JUMP 000008b5: JUMPDEST 000008b6: PUSH1 0x05 000008b8: SLOAD 000008b9: PUSH1 0x00 000008bb: SWAP1 000008bc: PUSH2 0x0100 000008bf: SWAP1 000008c0: DIV 000008c1: PUSH1 0x01 000008c3: PUSH1 0x01 000008c5: PUSH1 0xa0 000008c7: SHL 000008c8: SUB 000008c9: AND 000008ca: BALANCE 000008cb: PUSH2 0x08d5 000008ce: JUMPI 000008cf: PUSH1 0x00 000008d1: PUSH2 0x08a7 000008d4: JUMP 000008d5: JUMPDEST 000008d6: POP 000008d7: PUSH1 0x05 000008d9: SLOAD 000008da: PUSH2 0x0100 000008dd: SWAP1 000008de: DIV 000008df: PUSH1 0x01 000008e1: PUSH1 0x01 000008e3: PUSH1 0xa0 000008e5: SHL 000008e6: SUB 000008e7: AND 000008e8: BALANCE 000008e9: SWAP1 000008ea: JUMP 000008eb: JUMPDEST 000008ec: PUSH1 0x00 000008ee: DUP1 000008ef: DUP3 000008f0: GT 000008f1: PUSH2 0x092b 000008f4: JUMPI 000008f5: PUSH1 0x40 000008f7: MLOAD 000008f8: PUSH3 0x461bcd 000008fc: PUSH1 0xe5 000008fe: SHL 000008ff: DUP2 00000900: MSTORE 00000901: PUSH1 0x04 00000903: ADD 00000904: DUP1 00000905: DUP1 00000906: PUSH1 0x20 00000908: ADD 00000909: DUP3 0000090a: DUP2 0000090b: SUB 0000090c: DUP3 0000090d: MSTORE 0000090e: PUSH1 0x21 00000910: DUP2 00000911: MSTORE 00000912: PUSH1 0x20 00000914: ADD 00000915: DUP1 00000916: PUSH2 0x10b0 00000919: PUSH1 0x21 0000091b: SWAP2 0000091c: CODECOPY 0000091d: PUSH1 0x40 0000091f: ADD 00000920: SWAP2 00000921: POP 00000922: POP 00000923: PUSH1 0x40 00000925: MLOAD 00000926: DUP1 00000927: SWAP2 00000928: SUB 00000929: SWAP1 0000092a: REVERT 0000092b: JUMPDEST 0000092c: CALLER 0000092d: PUSH1 0x00 0000092f: DUP2 00000930: DUP2 00000931: MSTORE 00000932: PUSH1 0x01 00000934: PUSH1 0x20 00000936: SWAP1 00000937: DUP2 00000938: MSTORE 00000939: PUSH1 0x40 0000093b: DUP1 0000093c: DUP4 0000093d: KECCAK256 0000093e: PUSH1 0x01 00000940: PUSH1 0x01 00000942: PUSH1 0xa0 00000944: SHL 00000945: SUB 00000946: DUP9 00000947: AND 00000948: DUP5 00000949: MSTORE 0000094a: SWAP1 0000094b: SWAP2 0000094c: MSTORE 0000094d: SWAP1 0000094e: KECCAK256 0000094f: SLOAD 00000950: PUSH2 0x0782 00000953: SWAP2 00000954: SWAP1 00000955: DUP6 00000956: SWAP1 00000957: DUP6 00000958: ADD 00000959: PUSH2 0x0d0f 0000095c: JUMP 0000095d: JUMPDEST 0000095e: PUSH2 0x0967 00000961: CALLER 00000962: DUP3 00000963: PUSH2 0x0bc4 00000966: JUMP 00000967: JUMPDEST 00000968: POP 00000969: JUMP 0000096a: JUMPDEST 0000096b: PUSH1 0x06 0000096d: PUSH1 0x20 0000096f: MSTORE 00000970: PUSH1 0x00 00000972: SWAP1 00000973: DUP2 00000974: MSTORE 00000975: PUSH1 0x40 00000977: SWAP1 00000978: KECCAK256 00000979: SLOAD 0000097a: PUSH1 0x01 0000097c: PUSH1 0x01 0000097e: PUSH1 0xa0 00000980: SHL 00000981: SUB 00000982: AND 00000983: DUP2 00000984: JUMP 00000985: JUMPDEST 00000986: PUSH1 0x01 00000988: PUSH1 0x01 0000098a: PUSH1 0xa0 0000098c: SHL 0000098d: SUB 0000098e: AND 0000098f: PUSH1 0x00 00000991: SWAP1 00000992: DUP2 00000993: MSTORE 00000994: PUSH1 0x20 00000996: DUP2 00000997: SWAP1 00000998: MSTORE 00000999: PUSH1 0x40 0000099b: SWAP1 0000099c: KECCAK256 0000099d: SLOAD 0000099e: SWAP1 0000099f: JUMP 000009a0: JUMPDEST 000009a1: PUSH1 0x04 000009a3: DUP1 000009a4: SLOAD 000009a5: PUSH1 0x40 000009a7: DUP1 000009a8: MLOAD 000009a9: PUSH1 0x20 000009ab: PUSH1 0x1f 000009ad: PUSH1 0x02 000009af: PUSH1 0x00 000009b1: NOT 000009b2: PUSH2 0x0100 000009b5: PUSH1 0x01 000009b7: DUP9 000009b8: AND 000009b9: ISZERO 000009ba: MUL 000009bb: ADD 000009bc: SWAP1 000009bd: SWAP6 000009be: AND 000009bf: SWAP5 000009c0: SWAP1 000009c1: SWAP5 000009c2: DIV 000009c3: SWAP4 000009c4: DUP5 000009c5: ADD 000009c6: DUP2 000009c7: SWAP1 000009c8: DIV 000009c9: DUP2 000009ca: MUL 000009cb: DUP3 000009cc: ADD 000009cd: DUP2 000009ce: ADD 000009cf: SWAP1 000009d0: SWAP3 000009d1: MSTORE 000009d2: DUP3 000009d3: DUP2 000009d4: MSTORE 000009d5: PUSH1 0x60 000009d7: SWAP4 000009d8: SWAP1 000009d9: SWAP3 000009da: SWAP1 000009db: SWAP2 000009dc: DUP4 000009dd: ADD 000009de: DUP3 000009df: DUP3 000009e0: DUP1 000009e1: ISZERO 000009e2: PUSH2 0x076b 000009e5: JUMPI 000009e6: DUP1 000009e7: PUSH1 0x1f 000009e9: LT 000009ea: PUSH2 0x0740 000009ed: JUMPI 000009ee: PUSH2 0x0100 000009f1: DUP1 000009f2: DUP4 000009f3: SLOAD 000009f4: DIV 000009f5: MUL 000009f6: DUP4 000009f7: MSTORE 000009f8: SWAP2 000009f9: PUSH1 0x20 000009fb: ADD 000009fc: SWAP2 000009fd: PUSH2 0x076b 00000a00: JUMP 00000a01: JUMPDEST 00000a02: CALLER 00000a03: PUSH1 0x00 00000a05: SWAP1 00000a06: DUP2 00000a07: MSTORE 00000a08: PUSH1 0x01 00000a0a: PUSH1 0x20 00000a0c: SWAP1 00000a0d: DUP2 00000a0e: MSTORE 00000a0f: PUSH1 0x40 00000a11: DUP1 00000a12: DUP4 00000a13: KECCAK256 00000a14: PUSH1 0x01 00000a16: PUSH1 0x01 00000a18: PUSH1 0xa0 00000a1a: SHL 00000a1b: SUB 00000a1c: DUP7 00000a1d: AND 00000a1e: DUP5 00000a1f: MSTORE 00000a20: SWAP1 00000a21: SWAP2 00000a22: MSTORE 00000a23: DUP2 00000a24: KECCAK256 00000a25: SLOAD 00000a26: DUP3 00000a27: GT 00000a28: ISZERO 00000a29: PUSH2 0x0a79 00000a2c: JUMPI 00000a2d: PUSH1 0x40 00000a2f: DUP1 00000a30: MLOAD 00000a31: PUSH3 0x461bcd 00000a35: PUSH1 0xe5 00000a37: SHL 00000a38: DUP2 00000a39: MSTORE 00000a3a: PUSH1 0x20 00000a3c: PUSH1 0x04 00000a3e: DUP3 00000a3f: ADD 00000a40: MSTORE 00000a41: PUSH1 0x1e 00000a43: PUSH1 0x24 00000a45: DUP3 00000a46: ADD 00000a47: MSTORE 00000a48: PUSH32 0x44656372656173656420616c6c6f77616e63652062656c6f77207a65726f0000 00000a69: PUSH1 0x44 00000a6b: DUP3 00000a6c: ADD 00000a6d: MSTORE 00000a6e: SWAP1 00000a6f: MLOAD 00000a70: SWAP1 00000a71: DUP2 00000a72: SWAP1 00000a73: SUB 00000a74: PUSH1 0x64 00000a76: ADD 00000a77: SWAP1 00000a78: REVERT 00000a79: JUMPDEST 00000a7a: CALLER 00000a7b: PUSH1 0x00 00000a7d: DUP2 00000a7e: DUP2 00000a7f: MSTORE 00000a80: PUSH1 0x01 00000a82: PUSH1 0x20 00000a84: SWAP1 00000a85: DUP2 00000a86: MSTORE 00000a87: PUSH1 0x40 00000a89: DUP1 00000a8a: DUP4 00000a8b: KECCAK256 00000a8c: PUSH1 0x01 00000a8e: PUSH1 0x01 00000a90: PUSH1 0xa0 00000a92: SHL 00000a93: SUB 00000a94: DUP9 00000a95: AND 00000a96: DUP5 00000a97: MSTORE 00000a98: SWAP1 00000a99: SWAP2 00000a9a: MSTORE 00000a9b: SWAP1 00000a9c: KECCAK256 00000a9d: SLOAD 00000a9e: PUSH2 0x0782 00000aa1: SWAP2 00000aa2: SWAP1 00000aa3: DUP6 00000aa4: SWAP1 00000aa5: DUP6 00000aa6: SWAP1 00000aa7: SUB 00000aa8: PUSH2 0x0d0f 00000aab: JUMP 00000aac: JUMPDEST 00000aad: PUSH1 0x00 00000aaf: PUSH2 0x0782 00000ab2: CALLER 00000ab3: DUP5 00000ab4: DUP5 00000ab5: PUSH2 0x0df1 00000ab8: JUMP 00000ab9: JUMPDEST 00000aba: PUSH1 0x07 00000abc: SLOAD 00000abd: DUP2 00000abe: JUMP 00000abf: JUMPDEST 00000ac0: PUSH1 0x01 00000ac2: PUSH1 0x01 00000ac4: PUSH1 0xa0 00000ac6: SHL 00000ac7: SUB 00000ac8: SWAP2 00000ac9: DUP3 00000aca: AND 00000acb: PUSH1 0x00 00000acd: SWAP1 00000ace: DUP2 00000acf: MSTORE 00000ad0: PUSH1 0x01 00000ad2: PUSH1 0x20 00000ad4: SWAP1 00000ad5: DUP2 00000ad6: MSTORE 00000ad7: PUSH1 0x40 00000ad9: DUP1 00000ada: DUP4 00000adb: KECCAK256 00000adc: SWAP4 00000add: SWAP1 00000ade: SWAP5 00000adf: AND 00000ae0: DUP3 00000ae1: MSTORE 00000ae2: SWAP2 00000ae3: SWAP1 00000ae4: SWAP2 00000ae5: MSTORE 00000ae6: KECCAK256 00000ae7: SLOAD 00000ae8: SWAP1 00000ae9: JUMP 00000aea: JUMPDEST 00000aeb: PUSH1 0x01 00000aed: PUSH1 0x01 00000aef: PUSH1 0xa0 00000af1: SHL 00000af2: SUB 00000af3: DUP3 00000af4: AND 00000af5: PUSH2 0x0b45 00000af8: JUMPI 00000af9: PUSH1 0x40 00000afb: DUP1 00000afc: MLOAD 00000afd: PUSH3 0x461bcd 00000b01: PUSH1 0xe5 00000b03: SHL 00000b04: DUP2 00000b05: MSTORE 00000b06: PUSH1 0x20 00000b08: PUSH1 0x04 00000b0a: DUP3 00000b0b: ADD 00000b0c: MSTORE 00000b0d: PUSH1 0x18 00000b0f: PUSH1 0x24 00000b11: DUP3 00000b12: ADD 00000b13: MSTORE 00000b14: PUSH32 0x4d696e7420746f20746865207a65726f20616464726573730000000000000000 00000b35: PUSH1 0x44 00000b37: DUP3 00000b38: ADD 00000b39: MSTORE 00000b3a: SWAP1 00000b3b: MLOAD 00000b3c: SWAP1 00000b3d: DUP2 00000b3e: SWAP1 00000b3f: SUB 00000b40: PUSH1 0x64 00000b42: ADD 00000b43: SWAP1 00000b44: REVERT 00000b45: JUMPDEST 00000b46: PUSH1 0x00 00000b48: DUP2 00000b49: GT 00000b4a: PUSH2 0x0b9a 00000b4d: JUMPI 00000b4e: PUSH1 0x40 00000b50: DUP1 00000b51: MLOAD 00000b52: PUSH3 0x461bcd 00000b56: PUSH1 0xe5 00000b58: SHL 00000b59: DUP2 00000b5a: MSTORE 00000b5b: PUSH1 0x20 00000b5d: PUSH1 0x04 00000b5f: DUP3 00000b60: ADD 00000b61: MSTORE 00000b62: PUSH1 0x10 00000b64: PUSH1 0x24 00000b66: DUP3 00000b67: ADD 00000b68: MSTORE 00000b69: PUSH32 0x5a65726f20616d6f756e74206d696e7400000000000000000000000000000000 00000b8a: PUSH1 0x44 00000b8c: DUP3 00000b8d: ADD 00000b8e: MSTORE 00000b8f: SWAP1 00000b90: MLOAD 00000b91: SWAP1 00000b92: DUP2 00000b93: SWAP1 00000b94: SUB 00000b95: PUSH1 0x64 00000b97: ADD 00000b98: SWAP1 00000b99: REVERT 00000b9a: JUMPDEST 00000b9b: PUSH1 0x02 00000b9d: DUP1 00000b9e: SLOAD 00000b9f: DUP3 00000ba0: ADD 00000ba1: SWAP1 00000ba2: SSTORE 00000ba3: PUSH1 0x01 00000ba5: PUSH1 0x01 00000ba7: PUSH1 0xa0 00000ba9: SHL 00000baa: SUB 00000bab: SWAP1 00000bac: SWAP2 00000bad: AND 00000bae: PUSH1 0x00 00000bb0: SWAP1 00000bb1: DUP2 00000bb2: MSTORE 00000bb3: PUSH1 0x20 00000bb5: DUP2 00000bb6: SWAP1 00000bb7: MSTORE 00000bb8: PUSH1 0x40 00000bba: SWAP1 00000bbb: KECCAK256 00000bbc: DUP1 00000bbd: SLOAD 00000bbe: SWAP1 00000bbf: SWAP2 00000bc0: ADD 00000bc1: SWAP1 00000bc2: SSTORE 00000bc3: JUMP 00000bc4: JUMPDEST 00000bc5: PUSH1 0x01 00000bc7: PUSH1 0x01 00000bc9: PUSH1 0xa0 00000bcb: SHL 00000bcc: SUB 00000bcd: DUP3 00000bce: AND 00000bcf: PUSH2 0x0c1f 00000bd2: JUMPI 00000bd3: PUSH1 0x40 00000bd5: DUP1 00000bd6: MLOAD 00000bd7: PUSH3 0x461bcd 00000bdb: PUSH1 0xe5 00000bdd: SHL 00000bde: DUP2 00000bdf: MSTORE 00000be0: PUSH1 0x20 00000be2: PUSH1 0x04 00000be4: DUP3 00000be5: ADD 00000be6: MSTORE 00000be7: PUSH1 0x1a 00000be9: PUSH1 0x24 00000beb: DUP3 00000bec: ADD 00000bed: MSTORE 00000bee: PUSH32 0x4275726e2066726f6d20746865207a65726f2061646472657373000000000000 00000c0f: PUSH1 0x44 00000c11: DUP3 00000c12: ADD 00000c13: MSTORE 00000c14: SWAP1 00000c15: MLOAD 00000c16: SWAP1 00000c17: DUP2 00000c18: SWAP1 00000c19: SUB 00000c1a: PUSH1 0x64 00000c1c: ADD 00000c1d: SWAP1 00000c1e: REVERT 00000c1f: JUMPDEST 00000c20: PUSH1 0x01 00000c22: PUSH1 0x01 00000c24: PUSH1 0xa0 00000c26: SHL 00000c27: SUB 00000c28: DUP3 00000c29: AND 00000c2a: PUSH1 0x00 00000c2c: SWAP1 00000c2d: DUP2 00000c2e: MSTORE 00000c2f: PUSH1 0x20 00000c31: DUP2 00000c32: SWAP1 00000c33: MSTORE 00000c34: PUSH1 0x40 00000c36: SWAP1 00000c37: KECCAK256 00000c38: SLOAD 00000c39: DUP2 00000c3a: GT 00000c3b: ISZERO 00000c3c: PUSH2 0x0c8c 00000c3f: JUMPI 00000c40: PUSH1 0x40 00000c42: DUP1 00000c43: MLOAD 00000c44: PUSH3 0x461bcd 00000c48: PUSH1 0xe5 00000c4a: SHL 00000c4b: DUP2 00000c4c: MSTORE 00000c4d: PUSH1 0x20 00000c4f: PUSH1 0x04 00000c51: DUP3 00000c52: ADD 00000c53: MSTORE 00000c54: PUSH1 0x1b 00000c56: PUSH1 0x24 00000c58: DUP3 00000c59: ADD 00000c5a: MSTORE 00000c5b: PUSH32 0x4275726e20616d6f756e7420657863656564732062616c616e63650000000000 00000c7c: PUSH1 0x44 00000c7e: DUP3 00000c7f: ADD 00000c80: MSTORE 00000c81: SWAP1 00000c82: MLOAD 00000c83: SWAP1 00000c84: DUP2 00000c85: SWAP1 00000c86: SUB 00000c87: PUSH1 0x64 00000c89: ADD 00000c8a: SWAP1 00000c8b: REVERT 00000c8c: JUMPDEST 00000c8d: DUP1 00000c8e: PUSH1 0x02 00000c90: SLOAD 00000c91: LT 00000c92: ISZERO 00000c93: PUSH2 0x0ce3 00000c96: JUMPI 00000c97: PUSH1 0x40 00000c99: DUP1 00000c9a: MLOAD 00000c9b: PUSH3 0x461bcd 00000c9f: PUSH1 0xe5 00000ca1: SHL 00000ca2: DUP2 00000ca3: MSTORE 00000ca4: PUSH1 0x20 00000ca6: PUSH1 0x04 00000ca8: DUP3 00000ca9: ADD 00000caa: DUP2 00000cab: SWAP1 00000cac: MSTORE 00000cad: PUSH1 0x24 00000caf: DUP3 00000cb0: ADD 00000cb1: MSTORE 00000cb2: PUSH32 0x4275726e20616d6f756e74206578636565647320746f74616c20737570706c79 00000cd3: PUSH1 0x44 00000cd5: DUP3 00000cd6: ADD 00000cd7: MSTORE 00000cd8: SWAP1 00000cd9: MLOAD 00000cda: SWAP1 00000cdb: DUP2 00000cdc: SWAP1 00000cdd: SUB 00000cde: PUSH1 0x64 00000ce0: ADD 00000ce1: SWAP1 00000ce2: REVERT 00000ce3: JUMPDEST 00000ce4: PUSH1 0x01 00000ce6: PUSH1 0x01 00000ce8: PUSH1 0xa0 00000cea: SHL 00000ceb: SUB 00000cec: SWAP1 00000ced: SWAP2 00000cee: AND 00000cef: PUSH1 0x00 00000cf1: SWAP1 00000cf2: DUP2 00000cf3: MSTORE 00000cf4: PUSH1 0x20 00000cf6: DUP2 00000cf7: SWAP1 00000cf8: MSTORE 00000cf9: PUSH1 0x40 00000cfb: SWAP1 00000cfc: KECCAK256 00000cfd: DUP1 00000cfe: SLOAD 00000cff: DUP3 00000d00: SWAP1 00000d01: SUB 00000d02: SWAP1 00000d03: SSTORE 00000d04: PUSH1 0x02 00000d06: DUP1 00000d07: SLOAD 00000d08: SWAP2 00000d09: SWAP1 00000d0a: SWAP2 00000d0b: SUB 00000d0c: SWAP1 00000d0d: SSTORE 00000d0e: JUMP 00000d0f: JUMPDEST 00000d10: PUSH1 0x01 00000d12: PUSH1 0x01 00000d14: PUSH1 0xa0 00000d16: SHL 00000d17: SUB 00000d18: DUP4 00000d19: AND 00000d1a: PUSH2 0x0d6a 00000d1d: JUMPI 00000d1e: PUSH1 0x40 00000d20: DUP1 00000d21: MLOAD 00000d22: PUSH3 0x461bcd 00000d26: PUSH1 0xe5 00000d28: SHL 00000d29: DUP2 00000d2a: MSTORE 00000d2b: PUSH1 0x20 00000d2d: PUSH1 0x04 00000d2f: DUP3 00000d30: ADD 00000d31: MSTORE 00000d32: PUSH1 0x1d 00000d34: PUSH1 0x24 00000d36: DUP3 00000d37: ADD 00000d38: MSTORE 00000d39: PUSH32 0x417070726f76652066726f6d20746865207a65726f2061646472657373000000 00000d5a: PUSH1 0x44 00000d5c: DUP3 00000d5d: ADD 00000d5e: MSTORE 00000d5f: SWAP1 00000d60: MLOAD 00000d61: SWAP1 00000d62: DUP2 00000d63: SWAP1 00000d64: SUB 00000d65: PUSH1 0x64 00000d67: ADD 00000d68: SWAP1 00000d69: REVERT 00000d6a: JUMPDEST 00000d6b: PUSH1 0x01 00000d6d: PUSH1 0x01 00000d6f: PUSH1 0xa0 00000d71: SHL 00000d72: SUB 00000d73: DUP3 00000d74: AND 00000d75: PUSH2 0x0dc5 00000d78: JUMPI 00000d79: PUSH1 0x40 00000d7b: DUP1 00000d7c: MLOAD 00000d7d: PUSH3 0x461bcd 00000d81: PUSH1 0xe5 00000d83: SHL 00000d84: DUP2 00000d85: MSTORE 00000d86: PUSH1 0x20 00000d88: PUSH1 0x04 00000d8a: DUP3 00000d8b: ADD 00000d8c: MSTORE 00000d8d: PUSH1 0x1b 00000d8f: PUSH1 0x24 00000d91: DUP3 00000d92: ADD 00000d93: MSTORE 00000d94: PUSH32 0x417070726f766520746f20746865207a65726f20616464726573730000000000 00000db5: PUSH1 0x44 00000db7: DUP3 00000db8: ADD 00000db9: MSTORE 00000dba: SWAP1 00000dbb: MLOAD 00000dbc: SWAP1 00000dbd: DUP2 00000dbe: SWAP1 00000dbf: SUB 00000dc0: PUSH1 0x64 00000dc2: ADD 00000dc3: SWAP1 00000dc4: REVERT 00000dc5: JUMPDEST 00000dc6: PUSH1 0x01 00000dc8: PUSH1 0x01 00000dca: PUSH1 0xa0 00000dcc: SHL 00000dcd: SUB 00000dce: SWAP3 00000dcf: DUP4 00000dd0: AND 00000dd1: PUSH1 0x00 00000dd3: SWAP1 00000dd4: DUP2 00000dd5: MSTORE 00000dd6: PUSH1 0x01 00000dd8: PUSH1 0x20 00000dda: SWAP1 00000ddb: DUP2 00000ddc: MSTORE 00000ddd: PUSH1 0x40 00000ddf: DUP1 00000de0: DUP4 00000de1: KECCAK256 00000de2: SWAP5 00000de3: SWAP1 00000de4: SWAP6 00000de5: AND 00000de6: DUP3 00000de7: MSTORE 00000de8: SWAP3 00000de9: SWAP1 00000dea: SWAP3 00000deb: MSTORE 00000dec: SWAP2 00000ded: SWAP1 00000dee: KECCAK256 00000def: SSTORE 00000df0: JUMP 00000df1: JUMPDEST 00000df2: PUSH1 0x01 00000df4: PUSH1 0x01 00000df6: PUSH1 0xa0 00000df8: SHL 00000df9: SUB 00000dfa: DUP4 00000dfb: AND 00000dfc: PUSH2 0x0e4c 00000dff: JUMPI 00000e00: PUSH1 0x40 00000e02: DUP1 00000e03: MLOAD 00000e04: PUSH3 0x461bcd 00000e08: PUSH1 0xe5 00000e0a: SHL 00000e0b: DUP2 00000e0c: MSTORE 00000e0d: PUSH1 0x20 00000e0f: PUSH1 0x04 00000e11: DUP3 00000e12: ADD 00000e13: MSTORE 00000e14: PUSH1 0x1e 00000e16: PUSH1 0x24 00000e18: DUP3 00000e19: ADD 00000e1a: MSTORE 00000e1b: PUSH32 0x5472616e736665722066726f6d20746865207a65726f20616464726573730000 00000e3c: PUSH1 0x44 00000e3e: DUP3 00000e3f: ADD 00000e40: MSTORE 00000e41: SWAP1 00000e42: MLOAD 00000e43: SWAP1 00000e44: DUP2 00000e45: SWAP1 00000e46: SUB 00000e47: PUSH1 0x64 00000e49: ADD 00000e4a: SWAP1 00000e4b: REVERT 00000e4c: JUMPDEST 00000e4d: PUSH1 0x01 00000e4f: PUSH1 0x01 00000e51: PUSH1 0xa0 00000e53: SHL 00000e54: SUB 00000e55: DUP3 00000e56: AND 00000e57: PUSH2 0x0ea7 00000e5a: JUMPI 00000e5b: PUSH1 0x40 00000e5d: DUP1 00000e5e: MLOAD 00000e5f: PUSH3 0x461bcd 00000e63: PUSH1 0xe5 00000e65: SHL 00000e66: DUP2 00000e67: MSTORE 00000e68: PUSH1 0x20 00000e6a: PUSH1 0x04 00000e6c: DUP3 00000e6d: ADD 00000e6e: MSTORE 00000e6f: PUSH1 0x1c 00000e71: PUSH1 0x24 00000e73: DUP3 00000e74: ADD 00000e75: MSTORE 00000e76: PUSH32 0x5472616e7366657220746f20746865207a65726f206164647265737300000000 00000e97: PUSH1 0x44 00000e99: DUP3 00000e9a: ADD 00000e9b: MSTORE 00000e9c: SWAP1 00000e9d: MLOAD 00000e9e: SWAP1 00000e9f: DUP2 00000ea0: SWAP1 00000ea1: SUB 00000ea2: PUSH1 0x64 00000ea4: ADD 00000ea5: SWAP1 00000ea6: REVERT 00000ea7: JUMPDEST 00000ea8: PUSH1 0x00 00000eaa: DUP2 00000eab: GT 00000eac: PUSH2 0x0efc 00000eaf: JUMPI 00000eb0: PUSH1 0x40 00000eb2: DUP1 00000eb3: MLOAD 00000eb4: PUSH3 0x461bcd 00000eb8: PUSH1 0xe5 00000eba: SHL 00000ebb: DUP2 00000ebc: MSTORE 00000ebd: PUSH1 0x20 00000ebf: PUSH1 0x04 00000ec1: DUP3 00000ec2: ADD 00000ec3: MSTORE 00000ec4: PUSH1 0x14 00000ec6: PUSH1 0x24 00000ec8: DUP3 00000ec9: ADD 00000eca: MSTORE 00000ecb: PUSH32 0x5a65726f20616d6f756e74207472616e73666572000000000000000000000000 00000eec: PUSH1 0x44 00000eee: DUP3 00000eef: ADD 00000ef0: MSTORE 00000ef1: SWAP1 00000ef2: MLOAD 00000ef3: SWAP1 00000ef4: DUP2 00000ef5: SWAP1 00000ef6: SUB 00000ef7: PUSH1 0x64 00000ef9: ADD 00000efa: SWAP1 00000efb: REVERT 00000efc: JUMPDEST 00000efd: PUSH1 0x01 00000eff: PUSH1 0x01 00000f01: PUSH1 0xa0 00000f03: SHL 00000f04: SUB 00000f05: DUP4 00000f06: AND 00000f07: PUSH1 0x00 00000f09: SWAP1 00000f0a: DUP2 00000f0b: MSTORE 00000f0c: PUSH1 0x20 00000f0e: DUP2 00000f0f: SWAP1 00000f10: MSTORE 00000f11: PUSH1 0x40 00000f13: SWAP1 00000f14: KECCAK256 00000f15: SLOAD 00000f16: DUP2 00000f17: GT 00000f18: ISZERO 00000f19: PUSH2 0x0f69 00000f1c: JUMPI 00000f1d: PUSH1 0x40 00000f1f: DUP1 00000f20: MLOAD 00000f21: PUSH3 0x461bcd 00000f25: PUSH1 0xe5 00000f27: SHL 00000f28: DUP2 00000f29: MSTORE 00000f2a: PUSH1 0x20 00000f2c: PUSH1 0x04 00000f2e: DUP3 00000f2f: ADD 00000f30: MSTORE 00000f31: PUSH1 0x1f 00000f33: PUSH1 0x24 00000f35: DUP3 00000f36: ADD 00000f37: MSTORE 00000f38: PUSH32 0x5472616e7366657220616d6f756e7420657863656564732062616c616e636500 00000f59: PUSH1 0x44 00000f5b: DUP3 00000f5c: ADD 00000f5d: MSTORE 00000f5e: SWAP1 00000f5f: MLOAD 00000f60: SWAP1 00000f61: DUP2 00000f62: SWAP1 00000f63: SUB 00000f64: PUSH1 0x64 00000f66: ADD 00000f67: SWAP1 00000f68: REVERT 00000f69: JUMPDEST 00000f6a: PUSH1 0x00 00000f6c: PUSH2 0x0f76 00000f6f: DUP5 00000f70: DUP5 00000f71: DUP5 00000f72: PUSH2 0x0ff8 00000f75: JUMP 00000f76: JUMPDEST 00000f77: SWAP1 00000f78: POP 00000f79: DUP1 00000f7a: ISZERO 00000f7b: PUSH2 0x0fc4 00000f7e: JUMPI 00000f7f: PUSH2 0x0f88 00000f82: DUP5 00000f83: DUP4 00000f84: PUSH2 0x0bc4 00000f87: JUMP 00000f88: JUMPDEST 00000f89: PUSH1 0x40 00000f8b: MLOAD 00000f8c: PUSH1 0x01 00000f8e: PUSH1 0x01 00000f90: PUSH1 0xa0 00000f92: SHL 00000f93: SUB 00000f94: DUP6 00000f95: AND 00000f96: SWAP1 00000f97: DUP3 00000f98: ISZERO 00000f99: PUSH2 0x08fc 00000f9c: MUL 00000f9d: SWAP1 00000f9e: DUP4 00000f9f: SWAP1 00000fa0: PUSH1 0x00 00000fa2: DUP2 00000fa3: DUP2 00000fa4: DUP2 00000fa5: DUP6 00000fa6: DUP9 00000fa7: DUP9 00000fa8: CALL 00000fa9: SWAP4 00000faa: POP 00000fab: POP 00000fac: POP 00000fad: POP 00000fae: ISZERO 00000faf: DUP1 00000fb0: ISZERO 00000fb1: PUSH2 0x0fbe 00000fb4: JUMPI 00000fb5: RETURNDATASIZE 00000fb6: PUSH1 0x00 00000fb8: DUP1 00000fb9: RETURNDATACOPY 00000fba: RETURNDATASIZE 00000fbb: PUSH1 0x00 00000fbd: REVERT 00000fbe: JUMPDEST 00000fbf: POP 00000fc0: PUSH2 0x0ff2 00000fc3: JUMP 00000fc4: JUMPDEST 00000fc5: PUSH1 0x01 00000fc7: PUSH1 0x01 00000fc9: PUSH1 0xa0 00000fcb: SHL 00000fcc: SUB 00000fcd: DUP1 00000fce: DUP6 00000fcf: AND 00000fd0: PUSH1 0x00 00000fd2: SWAP1 00000fd3: DUP2 00000fd4: MSTORE 00000fd5: PUSH1 0x20 00000fd7: DUP2 00000fd8: SWAP1 00000fd9: MSTORE 00000fda: PUSH1 0x40 00000fdc: DUP1 00000fdd: DUP3 00000fde: KECCAK256 00000fdf: DUP1 00000fe0: SLOAD 00000fe1: DUP7 00000fe2: SWAP1 00000fe3: SUB 00000fe4: SWAP1 00000fe5: SSTORE 00000fe6: SWAP2 00000fe7: DUP6 00000fe8: AND 00000fe9: DUP2 00000fea: MSTORE 00000feb: KECCAK256 00000fec: DUP1 00000fed: SLOAD 00000fee: DUP4 00000fef: ADD 00000ff0: SWAP1 00000ff1: SSTORE 00000ff2: JUMPDEST 00000ff3: POP 00000ff4: POP 00000ff5: POP 00000ff6: POP 00000ff7: JUMP 00000ff8: JUMPDEST 00000ff9: PUSH1 0x05 00000ffb: SLOAD 00000ffc: PUSH1 0x00 00000ffe: SWAP1 00000fff: PUSH1 0x01 00001001: PUSH1 0x01 00001003: PUSH1 0xa0 00001005: SHL 00001006: SUB 00001007: DUP5 00001008: DUP2 00001009: AND 0000100a: PUSH2 0x0100 0000100d: SWAP1 0000100e: SWAP3 0000100f: DIV 00001010: AND 00001011: EQ 00001012: ISZERO 00001013: PUSH2 0x1041 00001016: JUMPI 00001017: PUSH2 0x101e 0000101a: PUSH2 0x05a1 0000101d: JUMP 0000101e: JUMPDEST 0000101f: PUSH1 0x05 00001021: SLOAD 00001022: PUSH2 0x0100 00001025: SWAP1 00001026: DIV 00001027: PUSH1 0x01 00001029: PUSH1 0x01 0000102b: PUSH1 0xa0 0000102d: SHL 0000102e: SUB 0000102f: AND 00001030: BALANCE 00001031: DUP4 00001032: MUL 00001033: DUP2 00001034: PUSH2 0x1039 00001037: JUMPI 00001038: INVALID 00001039: JUMPDEST 0000103a: DIV 0000103b: SWAP1 0000103c: POP 0000103d: PUSH2 0x082f 00001040: JUMP 00001041: JUMPDEST 00001042: PUSH1 0x01 00001044: PUSH1 0x01 00001046: PUSH1 0xa0 00001048: SHL 00001049: SUB 0000104a: DUP4 0000104b: DUP2 0000104c: AND 0000104d: PUSH1 0x00 0000104f: SWAP1 00001050: DUP2 00001051: MSTORE 00001052: PUSH1 0x06 00001054: PUSH1 0x20 00001056: MSTORE 00001057: PUSH1 0x40 00001059: SWAP1 0000105a: KECCAK256 0000105b: SLOAD 0000105c: AND 0000105d: PUSH2 0x10a7 00001060: JUMPI 00001061: PUSH1 0x01 00001063: PUSH1 0x01 00001065: PUSH1 0xa0 00001067: SHL 00001068: SUB 00001069: DUP4 0000106a: DUP2 0000106b: AND 0000106c: PUSH1 0x00 0000106e: SWAP1 0000106f: DUP2 00001070: MSTORE 00001071: PUSH1 0x06 00001073: PUSH1 0x20 00001075: MSTORE 00001076: PUSH1 0x40 00001078: SWAP1 00001079: KECCAK256 0000107a: DUP1 0000107b: SLOAD 0000107c: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 0000109d: AND 0000109e: SWAP2 0000109f: DUP7 000010a0: AND 000010a1: SWAP2 000010a2: SWAP1 000010a3: SWAP2 000010a4: OR 000010a5: SWAP1 000010a6: SSTORE 000010a7: JUMPDEST 000010a8: POP 000010a9: PUSH1 0x00 000010ab: PUSH2 0x082f 000010ae: JUMP 000010af: INVALID 000010b0: BLOBHASH 000010b1: PUSH15 0x63726561736520616c6c6f77616e63 000010c1: PUSH6 0x20746f207a65 000010c8: PUSH19 0x6f20616d6f756e74a264697066735822122060 000010dc: PUSH22 0x347b78329c45a9e89d46ee577936049835234f7b6b68 000010f3: DUP13 000010f4: DUP9 000010f5: PUSH21
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x5019e8f55f675caba385f42eb00233df50923935cc954598fec8a89f23a851e5
call_targets:
0xa139b36dd129adae5f5b3816382ed23bcd3bc0d9
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x5019e8f55f675caba385f42eb00233df50923935cc954598fec8a89f23a851e5",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xa139b36dd129adae5f5b3816382ed23bcd3bc0d9"
],
"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": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb9ecb781",
"selector": "0xb9ecb781",
"calldata_variants": [
"0xb9ecb781",
"0xb9ecb7810000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x95d89b41",
"selector": "0x95d89b41",
"calldata_variants": [
"0x95d89b41",
"0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa457c2d7",
"selector": "0xa457c2d7",
"calldata_variants": [
"0xa457c2d7",
"0xa457c2d70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x39509351",
"selector": "0x39509351",
"calldata_variants": [
"0x39509351",
"0x395093510000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x42966c68",
"selector": "0x42966c68",
"calldata_variants": [
"0x42966c68",
"0x42966c680000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4a3b68cc",
"selector": "0x4a3b68cc",
"calldata_variants": [
"0x4a3b68cc",
"0x4a3b68cc0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4008,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [],
"untrusted_call_count": 1
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x5019e8f55f675caba385f42eb00233df50923935cc954598fec8a89f23a851e5
call_targets:
0xa139b36dd129adae5f5b3816382ed23bcd3bc0d9
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x5019e8f55f675caba385f42eb00233df50923935cc954598fec8a89f23a851e5",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xa139b36dd129adae5f5b3816382ed23bcd3bc0d9"
],
"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": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb9ecb781",
"selector": "0xb9ecb781",
"calldata_variants": [
"0xb9ecb781",
"0xb9ecb7810000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x95d89b41",
"selector": "0x95d89b41",
"calldata_variants": [
"0x95d89b41",
"0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa457c2d7",
"selector": "0xa457c2d7",
"calldata_variants": [
"0xa457c2d7",
"0xa457c2d70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x39509351",
"selector": "0x39509351",
"calldata_variants": [
"0x39509351",
"0x395093510000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x42966c68",
"selector": "0x42966c68",
"calldata_variants": [
"0x42966c68",
"0x42966c680000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4a3b68cc",
"selector": "0x4a3b68cc",
"calldata_variants": [
"0x4a3b68cc",
"0x4a3b68cc0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4008,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|