019b477e-d133-72ff-98c1-b54cc176bd67
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 |
|---|---|---|---|---|
| 27723 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 27724 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 71564 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 71565 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 71566 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 71567 | 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 0x0118 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x751039fc 00000019: GT 0000001a: PUSH2 0x00a0 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xa9059cbb 00000024: GT 00000025: PUSH2 0x0064 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xa9059cbb 0000002f: EQ 00000030: PUSH2 0x02d6 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xbf474bed 0000003a: EQ 0000003b: PUSH2 0x02f6 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xc876d0b9 00000045: EQ 00000046: PUSH2 0x030c 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xc9567bf9 00000050: EQ 00000051: PUSH2 0x0326 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xdd62ed3e 0000005b: EQ 0000005c: PUSH2 0x033b 0000005f: JUMPI 00000060: PUSH1 0x00 00000062: DUP1 00000063: REVERT 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x751039fc 0000006b: EQ 0000006c: PUSH2 0x026d 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x7d1db4a5 00000076: EQ 00000077: PUSH2 0x0282 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x8da5cb5b 00000081: EQ 00000082: PUSH2 0x0298 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x8f9a55c0 0000008c: EQ 0000008d: PUSH2 0x02c0 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0x95d89b41 00000097: EQ 00000098: PUSH2 0x0124 0000009b: JUMPI 0000009c: PUSH1 0x00 0000009e: DUP1 0000009f: REVERT 000000a0: JUMPDEST 000000a1: DUP1 000000a2: PUSH4 0x23b872dd 000000a7: GT 000000a8: PUSH2 0x00e7 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x23b872dd 000000b2: EQ 000000b3: PUSH2 0x01cf 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x313ce567 000000bd: EQ 000000be: PUSH2 0x01ef 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x51bc3c85 000000c8: EQ 000000c9: PUSH2 0x020b 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0x70a08231 000000d3: EQ 000000d4: PUSH2 0x0222 000000d7: JUMPI 000000d8: DUP1 000000d9: PUSH4 0x715018a6 000000de: EQ 000000df: PUSH2 0x0258 000000e2: JUMPI 000000e3: PUSH1 0x00 000000e5: DUP1 000000e6: REVERT 000000e7: JUMPDEST 000000e8: DUP1 000000e9: PUSH4 0x06fdde03 000000ee: EQ 000000ef: PUSH2 0x0124 000000f2: JUMPI 000000f3: DUP1 000000f4: PUSH4 0x095ea7b3 000000f9: EQ 000000fa: PUSH2 0x0166 000000fd: JUMPI 000000fe: DUP1 000000ff: PUSH4 0x0faee56f 00000104: EQ 00000105: PUSH2 0x0196 00000108: JUMPI 00000109: DUP1 0000010a: PUSH4 0x18160ddd 0000010f: EQ 00000110: PUSH2 0x01ba 00000113: JUMPI 00000114: PUSH1 0x00 00000116: DUP1 00000117: REVERT 00000118: JUMPDEST 00000119: CALLDATASIZE 0000011a: PUSH2 0x011f 0000011d: JUMPI 0000011e: STOP 0000011f: JUMPDEST 00000120: PUSH1 0x00 00000122: DUP1 00000123: REVERT 00000124: JUMPDEST 00000125: CALLVALUE 00000126: DUP1 00000127: ISZERO 00000128: PUSH2 0x0130 0000012b: JUMPI 0000012c: PUSH1 0x00 0000012e: DUP1 0000012f: REVERT 00000130: JUMPDEST 00000131: POP 00000132: PUSH1 0x40 00000134: DUP1 00000135: MLOAD 00000136: DUP1 00000137: DUP3 00000138: ADD 00000139: DUP3 0000013a: MSTORE 0000013b: PUSH1 0x0a 0000013d: DUP2 0000013e: MSTORE 0000013f: PUSH10 0x31303030495150455045 0000014a: PUSH1 0xb0 0000014c: SHL 0000014d: PUSH1 0x20 0000014f: DUP3 00000150: ADD 00000151: MSTORE 00000152: SWAP1 00000153: MLOAD 00000154: PUSH2 0x015d 00000157: SWAP2 00000158: SWAP1 00000159: PUSH2 0x1533 0000015c: JUMP 0000015d: JUMPDEST 0000015e: PUSH1 0x40 00000160: MLOAD 00000161: DUP1 00000162: SWAP2 00000163: SUB 00000164: SWAP1 00000165: RETURN 00000166: JUMPDEST 00000167: CALLVALUE 00000168: DUP1 00000169: ISZERO 0000016a: PUSH2 0x0172 0000016d: JUMPI 0000016e: PUSH1 0x00 00000170: DUP1 00000171: REVERT 00000172: JUMPDEST 00000173: POP 00000174: PUSH2 0x0186 00000177: PUSH2 0x0181 0000017a: CALLDATASIZE 0000017b: PUSH1 0x04 0000017d: PUSH2 0x157e 00000180: JUMP 00000181: JUMPDEST 00000182: PUSH2 0x0381 00000185: JUMP 00000186: JUMPDEST 00000187: PUSH1 0x40 00000189: MLOAD 0000018a: SWAP1 0000018b: ISZERO 0000018c: ISZERO 0000018d: DUP2 0000018e: MSTORE 0000018f: PUSH1 0x20 00000191: ADD 00000192: PUSH2 0x015d 00000195: JUMP 00000196: JUMPDEST 00000197: CALLVALUE 00000198: DUP1 00000199: ISZERO 0000019a: PUSH2 0x01a2 0000019d: JUMPI 0000019e: PUSH1 0x00 000001a0: DUP1 000001a1: REVERT 000001a2: JUMPDEST 000001a3: POP 000001a4: PUSH2 0x01ac 000001a7: PUSH1 0x12 000001a9: SLOAD 000001aa: DUP2 000001ab: JUMP 000001ac: JUMPDEST 000001ad: PUSH1 0x40 000001af: MLOAD 000001b0: SWAP1 000001b1: DUP2 000001b2: MSTORE 000001b3: PUSH1 0x20 000001b5: ADD 000001b6: PUSH2 0x015d 000001b9: JUMP 000001ba: JUMPDEST 000001bb: CALLVALUE 000001bc: DUP1 000001bd: ISZERO 000001be: PUSH2 0x01c6 000001c1: JUMPI 000001c2: PUSH1 0x00 000001c4: DUP1 000001c5: REVERT 000001c6: JUMPDEST 000001c7: POP 000001c8: PUSH2 0x01ac 000001cb: PUSH2 0x0398 000001ce: JUMP 000001cf: JUMPDEST 000001d0: CALLVALUE 000001d1: DUP1 000001d2: ISZERO 000001d3: PUSH2 0x01db 000001d6: JUMPI 000001d7: PUSH1 0x00 000001d9: DUP1 000001da: REVERT 000001db: JUMPDEST 000001dc: POP 000001dd: PUSH2 0x0186 000001e0: PUSH2 0x01ea 000001e3: CALLDATASIZE 000001e4: PUSH1 0x04 000001e6: PUSH2 0x15aa 000001e9: JUMP 000001ea: JUMPDEST 000001eb: PUSH2 0x03b9 000001ee: JUMP 000001ef: JUMPDEST 000001f0: CALLVALUE 000001f1: DUP1 000001f2: ISZERO 000001f3: PUSH2 0x01fb 000001f6: JUMPI 000001f7: PUSH1 0x00 000001f9: DUP1 000001fa: REVERT 000001fb: JUMPDEST 000001fc: POP 000001fd: PUSH1 0x40 000001ff: MLOAD 00000200: PUSH1 0x09 00000202: DUP2 00000203: MSTORE 00000204: PUSH1 0x20 00000206: ADD 00000207: PUSH2 0x015d 0000020a: JUMP 0000020b: JUMPDEST 0000020c: CALLVALUE 0000020d: DUP1 0000020e: ISZERO 0000020f: PUSH2 0x0217 00000212: JUMPI 00000213: PUSH1 0x00 00000215: DUP1 00000216: REVERT 00000217: JUMPDEST 00000218: POP 00000219: PUSH2 0x0220 0000021c: PUSH2 0x0422 0000021f: JUMP 00000220: JUMPDEST 00000221: STOP 00000222: JUMPDEST 00000223: CALLVALUE 00000224: DUP1 00000225: ISZERO 00000226: PUSH2 0x022e 00000229: JUMPI 0000022a: PUSH1 0x00 0000022c: DUP1 0000022d: REVERT 0000022e: JUMPDEST 0000022f: POP 00000230: PUSH2 0x01ac 00000233: PUSH2 0x023d 00000236: CALLDATASIZE 00000237: PUSH1 0x04 00000239: PUSH2 0x15eb 0000023c: JUMP 0000023d: JUMPDEST 0000023e: PUSH1 0x01 00000240: PUSH1 0x01 00000242: PUSH1 0xa0 00000244: SHL 00000245: SUB 00000246: AND 00000247: PUSH1 0x00 00000249: SWAP1 0000024a: DUP2 0000024b: MSTORE 0000024c: PUSH1 0x01 0000024e: PUSH1 0x20 00000250: MSTORE 00000251: PUSH1 0x40 00000253: SWAP1 00000254: KECCAK256 00000255: SLOAD 00000256: SWAP1 00000257: JUMP 00000258: JUMPDEST 00000259: CALLVALUE 0000025a: DUP1 0000025b: ISZERO 0000025c: PUSH2 0x0264 0000025f: JUMPI 00000260: PUSH1 0x00 00000262: DUP1 00000263: REVERT 00000264: JUMPDEST 00000265: POP 00000266: PUSH2 0x0220 00000269: PUSH2 0x047a 0000026c: JUMP 0000026d: JUMPDEST 0000026e: CALLVALUE 0000026f: DUP1 00000270: ISZERO 00000271: PUSH2 0x0279 00000274: JUMPI 00000275: PUSH1 0x00 00000277: DUP1 00000278: REVERT 00000279: JUMPDEST 0000027a: POP 0000027b: PUSH2 0x0220 0000027e: PUSH2 0x04f7 00000281: JUMP 00000282: JUMPDEST 00000283: CALLVALUE 00000284: DUP1 00000285: ISZERO 00000286: PUSH2 0x028e 00000289: JUMPI 0000028a: PUSH1 0x00 0000028c: DUP1 0000028d: REVERT 0000028e: JUMPDEST 0000028f: POP 00000290: PUSH2 0x01ac 00000293: PUSH1 0x0f 00000295: SLOAD 00000296: DUP2 00000297: JUMP 00000298: JUMPDEST 00000299: CALLVALUE 0000029a: DUP1 0000029b: ISZERO 0000029c: PUSH2 0x02a4 0000029f: JUMPI 000002a0: PUSH1 0x00 000002a2: DUP1 000002a3: REVERT 000002a4: JUMPDEST 000002a5: POP 000002a6: PUSH1 0x00 000002a8: SLOAD 000002a9: PUSH1 0x40 000002ab: MLOAD 000002ac: PUSH1 0x01 000002ae: PUSH1 0x01 000002b0: PUSH1 0xa0 000002b2: SHL 000002b3: SUB 000002b4: SWAP1 000002b5: SWAP2 000002b6: AND 000002b7: DUP2 000002b8: MSTORE 000002b9: PUSH1 0x20 000002bb: ADD 000002bc: PUSH2 0x015d 000002bf: JUMP 000002c0: JUMPDEST 000002c1: CALLVALUE 000002c2: DUP1 000002c3: ISZERO 000002c4: PUSH2 0x02cc 000002c7: JUMPI 000002c8: PUSH1 0x00 000002ca: DUP1 000002cb: REVERT 000002cc: JUMPDEST 000002cd: POP 000002ce: PUSH2 0x01ac 000002d1: PUSH1 0x10 000002d3: SLOAD 000002d4: DUP2 000002d5: JUMP 000002d6: JUMPDEST 000002d7: CALLVALUE 000002d8: DUP1 000002d9: ISZERO 000002da: PUSH2 0x02e2 000002dd: JUMPI 000002de: PUSH1 0x00 000002e0: DUP1 000002e1: REVERT 000002e2: JUMPDEST 000002e3: POP 000002e4: PUSH2 0x0186 000002e7: PUSH2 0x02f1 000002ea: CALLDATASIZE 000002eb: PUSH1 0x04 000002ed: PUSH2 0x157e 000002f0: JUMP 000002f1: JUMPDEST 000002f2: PUSH2 0x05b3 000002f5: JUMP 000002f6: JUMPDEST 000002f7: CALLVALUE 000002f8: DUP1 000002f9: ISZERO 000002fa: PUSH2 0x0302 000002fd: JUMPI 000002fe: PUSH1 0x00 00000300: DUP1 00000301: REVERT 00000302: JUMPDEST 00000303: POP 00000304: PUSH2 0x01ac 00000307: PUSH1 0x11 00000309: SLOAD 0000030a: DUP2 0000030b: JUMP 0000030c: JUMPDEST 0000030d: CALLVALUE 0000030e: DUP1 0000030f: ISZERO 00000310: PUSH2 0x0318 00000313: JUMPI 00000314: PUSH1 0x00 00000316: DUP1 00000317: REVERT 00000318: JUMPDEST 00000319: POP 0000031a: PUSH1 0x06 0000031c: SLOAD 0000031d: PUSH2 0x0186 00000320: SWAP1 00000321: PUSH1 0xff 00000323: AND 00000324: DUP2 00000325: JUMP 00000326: JUMPDEST 00000327: CALLVALUE 00000328: DUP1 00000329: ISZERO 0000032a: PUSH2 0x0332 0000032d: JUMPI 0000032e: PUSH1 0x00 00000330: DUP1 00000331: REVERT 00000332: JUMPDEST 00000333: POP 00000334: PUSH2 0x0220 00000337: PUSH2 0x05c0 0000033a: JUMP 0000033b: JUMPDEST 0000033c: CALLVALUE 0000033d: DUP1 0000033e: ISZERO 0000033f: PUSH2 0x0347 00000342: JUMPI 00000343: PUSH1 0x00 00000345: DUP1 00000346: REVERT 00000347: JUMPDEST 00000348: POP 00000349: PUSH2 0x01ac 0000034c: PUSH2 0x0356 0000034f: CALLDATASIZE 00000350: PUSH1 0x04 00000352: PUSH2 0x1608 00000355: JUMP 00000356: JUMPDEST 00000357: PUSH1 0x01 00000359: PUSH1 0x01 0000035b: PUSH1 0xa0 0000035d: SHL 0000035e: SUB 0000035f: SWAP2 00000360: DUP3 00000361: AND 00000362: PUSH1 0x00 00000364: SWAP1 00000365: DUP2 00000366: MSTORE 00000367: PUSH1 0x02 00000369: PUSH1 0x20 0000036b: SWAP1 0000036c: DUP2 0000036d: MSTORE 0000036e: PUSH1 0x40 00000370: DUP1 00000371: DUP4 00000372: KECCAK256 00000373: SWAP4 00000374: SWAP1 00000375: SWAP5 00000376: AND 00000377: DUP3 00000378: MSTORE 00000379: SWAP2 0000037a: SWAP1 0000037b: SWAP2 0000037c: MSTORE 0000037d: KECCAK256 0000037e: SLOAD 0000037f: SWAP1 00000380: JUMP 00000381: JUMPDEST 00000382: PUSH1 0x00 00000384: PUSH2 0x038e 00000387: CALLER 00000388: DUP5 00000389: DUP5 0000038a: PUSH2 0x097c 0000038d: JUMP 0000038e: JUMPDEST 0000038f: POP 00000390: PUSH1 0x01 00000392: JUMPDEST 00000393: SWAP3 00000394: SWAP2 00000395: POP 00000396: POP 00000397: JUMP 00000398: JUMPDEST 00000399: PUSH1 0x00 0000039b: PUSH2 0x03a6 0000039e: PUSH1 0x09 000003a0: PUSH1 0x0a 000003a2: PUSH2 0x173b 000003a5: JUMP 000003a6: JUMPDEST 000003a7: PUSH2 0x03b4 000003aa: SWAP1 000003ab: PUSH4 0x3b9aca00 000003b0: PUSH2 0x174a 000003b3: JUMP 000003b4: JUMPDEST 000003b5: SWAP1 000003b6: POP 000003b7: SWAP1 000003b8: JUMP 000003b9: JUMPDEST 000003ba: PUSH1 0x00 000003bc: PUSH2 0x03c6 000003bf: DUP5 000003c0: DUP5 000003c1: DUP5 000003c2: PUSH2 0x0aa0 000003c5: JUMP 000003c6: JUMPDEST 000003c7: PUSH2 0x0418 000003ca: DUP5 000003cb: CALLER 000003cc: PUSH2 0x0413 000003cf: DUP6 000003d0: PUSH1 0x40 000003d2: MLOAD 000003d3: DUP1 000003d4: PUSH1 0x60 000003d6: ADD 000003d7: PUSH1 0x40 000003d9: MSTORE 000003da: DUP1 000003db: PUSH1 0x28 000003dd: DUP2 000003de: MSTORE 000003df: PUSH1 0x20 000003e1: ADD 000003e2: PUSH2 0x1908 000003e5: PUSH1 0x28 000003e7: SWAP2 000003e8: CODECOPY 000003e9: PUSH1 0x01 000003eb: PUSH1 0x01 000003ed: PUSH1 0xa0 000003ef: SHL 000003f0: SUB 000003f1: DUP11 000003f2: AND 000003f3: PUSH1 0x00 000003f5: SWAP1 000003f6: DUP2 000003f7: MSTORE 000003f8: PUSH1 0x02 000003fa: PUSH1 0x20 000003fc: SWAP1 000003fd: DUP2 000003fe: MSTORE 000003ff: PUSH1 0x40 00000401: DUP1 00000402: DUP4 00000403: KECCAK256 00000404: CALLER 00000405: DUP5 00000406: MSTORE 00000407: SWAP1 00000408: SWAP2 00000409: MSTORE 0000040a: SWAP1 0000040b: KECCAK256 0000040c: SLOAD 0000040d: SWAP2 0000040e: SWAP1 0000040f: PUSH2 0x10a0 00000412: JUMP 00000413: JUMPDEST 00000414: PUSH2 0x097c 00000417: JUMP 00000418: JUMPDEST 00000419: POP 0000041a: PUSH1 0x01 0000041c: SWAP4 0000041d: SWAP3 0000041e: POP 0000041f: POP 00000420: POP 00000421: JUMP 00000422: JUMPDEST 00000423: PUSH1 0x06 00000425: SLOAD 00000426: PUSH2 0x0100 00000429: SWAP1 0000042a: DIV 0000042b: PUSH1 0x01 0000042d: PUSH1 0x01 0000042f: PUSH1 0xa0 00000431: SHL 00000432: SUB 00000433: AND 00000434: CALLER 00000435: PUSH1 0x01 00000437: PUSH1 0x01 00000439: PUSH1 0xa0 0000043b: SHL 0000043c: SUB 0000043d: AND 0000043e: EQ 0000043f: PUSH2 0x0447 00000442: JUMPI 00000443: PUSH1 0x00 00000445: DUP1 00000446: REVERT 00000447: JUMPDEST 00000448: ADDRESS 00000449: PUSH1 0x00 0000044b: SWAP1 0000044c: DUP2 0000044d: MSTORE 0000044e: PUSH1 0x01 00000450: PUSH1 0x20 00000452: MSTORE 00000453: PUSH1 0x40 00000455: SWAP1 00000456: KECCAK256 00000457: SLOAD 00000458: DUP1 00000459: ISZERO 0000045a: PUSH2 0x0466 0000045d: JUMPI 0000045e: PUSH2 0x0466 00000461: DUP2 00000462: PUSH2 0x10da 00000465: JUMP 00000466: JUMPDEST 00000467: SELFBALANCE 00000468: DUP1 00000469: ISZERO 0000046a: PUSH2 0x0476 0000046d: JUMPI 0000046e: PUSH2 0x0476 00000471: DUP2 00000472: PUSH2 0x1254 00000475: JUMP 00000476: JUMPDEST 00000477: POP 00000478: POP 00000479: JUMP 0000047a: JUMPDEST 0000047b: PUSH1 0x00 0000047d: SLOAD 0000047e: PUSH1 0x01 00000480: PUSH1 0x01 00000482: PUSH1 0xa0 00000484: SHL 00000485: SUB 00000486: AND 00000487: CALLER 00000488: EQ 00000489: PUSH2 0x04ad 0000048c: JUMPI 0000048d: PUSH1 0x40 0000048f: MLOAD 00000490: PUSH3 0x461bcd 00000494: PUSH1 0xe5 00000496: SHL 00000497: DUP2 00000498: MSTORE 00000499: PUSH1 0x04 0000049b: ADD 0000049c: PUSH2 0x04a4 0000049f: SWAP1 000004a0: PUSH2 0x1761 000004a3: JUMP 000004a4: JUMPDEST 000004a5: PUSH1 0x40 000004a7: MLOAD 000004a8: DUP1 000004a9: SWAP2 000004aa: SUB 000004ab: SWAP1 000004ac: REVERT 000004ad: JUMPDEST 000004ae: PUSH1 0x00 000004b0: DUP1 000004b1: SLOAD 000004b2: PUSH1 0x40 000004b4: MLOAD 000004b5: PUSH1 0x01 000004b7: PUSH1 0x01 000004b9: PUSH1 0xa0 000004bb: SHL 000004bc: SUB 000004bd: SWAP1 000004be: SWAP2 000004bf: AND 000004c0: SWAP1 000004c1: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000004e2: SWAP1 000004e3: DUP4 000004e4: SWAP1 000004e5: LOG3 000004e6: PUSH1 0x00 000004e8: DUP1 000004e9: SLOAD 000004ea: PUSH1 0x01 000004ec: PUSH1 0x01 000004ee: PUSH1 0xa0 000004f0: SHL 000004f1: SUB 000004f2: NOT 000004f3: AND 000004f4: SWAP1 000004f5: SSTORE 000004f6: JUMP 000004f7: JUMPDEST 000004f8: PUSH1 0x00 000004fa: SLOAD 000004fb: PUSH1 0x01 000004fd: PUSH1 0x01 000004ff: PUSH1 0xa0 00000501: SHL 00000502: SUB 00000503: AND 00000504: CALLER 00000505: EQ 00000506: PUSH2 0x0521 00000509: JUMPI 0000050a: PUSH1 0x40 0000050c: MLOAD 0000050d: PUSH3 0x461bcd 00000511: PUSH1 0xe5 00000513: SHL 00000514: DUP2 00000515: MSTORE 00000516: PUSH1 0x04 00000518: ADD 00000519: PUSH2 0x04a4 0000051c: SWAP1 0000051d: PUSH2 0x1761 00000520: JUMP 00000521: JUMPDEST 00000522: PUSH2 0x052d 00000525: PUSH1 0x09 00000527: PUSH1 0x0a 00000529: PUSH2 0x173b 0000052c: JUMP 0000052d: JUMPDEST 0000052e: PUSH2 0x053b 00000531: SWAP1 00000532: PUSH4 0x3b9aca00 00000537: PUSH2 0x174a 0000053a: JUMP 0000053b: JUMPDEST 0000053c: PUSH1 0x0f 0000053e: SSTORE 0000053f: PUSH2 0x054a 00000542: PUSH1 0x09 00000544: PUSH1 0x0a 00000546: PUSH2 0x173b 00000549: JUMP 0000054a: JUMPDEST 0000054b: PUSH2 0x0558 0000054e: SWAP1 0000054f: PUSH4 0x3b9aca00 00000554: PUSH2 0x174a 00000557: JUMP 00000558: JUMPDEST 00000559: PUSH1 0x10 0000055b: SSTORE 0000055c: PUSH1 0x06 0000055e: DUP1 0000055f: SLOAD 00000560: PUSH1 0xff 00000562: NOT 00000563: AND 00000564: SWAP1 00000565: SSTORE 00000566: PUSH32 0x947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf 00000587: PUSH2 0x0592 0000058a: PUSH1 0x09 0000058c: PUSH1 0x0a 0000058e: PUSH2 0x173b 00000591: JUMP 00000592: JUMPDEST 00000593: PUSH2 0x05a0 00000596: SWAP1 00000597: PUSH4 0x3b9aca00 0000059c: PUSH2 0x174a 0000059f: JUMP 000005a0: JUMPDEST 000005a1: PUSH1 0x40 000005a3: MLOAD 000005a4: SWAP1 000005a5: DUP2 000005a6: MSTORE 000005a7: PUSH1 0x20 000005a9: ADD 000005aa: PUSH1 0x40 000005ac: MLOAD 000005ad: DUP1 000005ae: SWAP2 000005af: SUB 000005b0: SWAP1 000005b1: LOG1 000005b2: JUMP 000005b3: JUMPDEST 000005b4: PUSH1 0x00 000005b6: PUSH2 0x038e 000005b9: CALLER 000005ba: DUP5 000005bb: DUP5 000005bc: PUSH2 0x0aa0 000005bf: JUMP 000005c0: JUMPDEST 000005c1: PUSH1 0x00 000005c3: SLOAD 000005c4: PUSH1 0x01 000005c6: PUSH1 0x01 000005c8: PUSH1 0xa0 000005ca: SHL 000005cb: SUB 000005cc: AND 000005cd: CALLER 000005ce: EQ 000005cf: PUSH2 0x05ea 000005d2: JUMPI 000005d3: PUSH1 0x40 000005d5: MLOAD 000005d6: PUSH3 0x461bcd 000005da: PUSH1 0xe5 000005dc: SHL 000005dd: DUP2 000005de: MSTORE 000005df: PUSH1 0x04 000005e1: ADD 000005e2: PUSH2 0x04a4 000005e5: SWAP1 000005e6: PUSH2 0x1761 000005e9: JUMP 000005ea: JUMPDEST 000005eb: PUSH1 0x14 000005ed: SLOAD 000005ee: PUSH1 0x01 000005f0: PUSH1 0xa0 000005f2: SHL 000005f3: SWAP1 000005f4: DIV 000005f5: PUSH1 0xff 000005f7: AND 000005f8: ISZERO 000005f9: PUSH2 0x0644 000005fc: JUMPI 000005fd: PUSH1 0x40 000005ff: MLOAD 00000600: PUSH3 0x461bcd 00000604: PUSH1 0xe5 00000606: SHL 00000607: DUP2 00000608: MSTORE 00000609: PUSH1 0x20 0000060b: PUSH1 0x04 0000060d: DUP3 0000060e: ADD 0000060f: MSTORE 00000610: PUSH1 0x17 00000612: PUSH1 0x24 00000614: DUP3 00000615: ADD 00000616: MSTORE 00000617: PUSH32 0x74726164696e6720697320616c7265616479206f70656e000000000000000000 00000638: PUSH1 0x44 0000063a: DUP3 0000063b: ADD 0000063c: MSTORE 0000063d: PUSH1 0x64 0000063f: ADD 00000640: PUSH2 0x04a4 00000643: JUMP 00000644: JUMPDEST 00000645: PUSH1 0x13 00000647: DUP1 00000648: SLOAD 00000649: PUSH1 0x01 0000064b: PUSH1 0x01 0000064d: PUSH1 0xa0 0000064f: SHL 00000650: SUB 00000651: NOT 00000652: AND 00000653: PUSH20 0x10ed43c718714eb63d5aa57b78b54704e256024e 00000668: SWAP1 00000669: DUP2 0000066a: OR 0000066b: SWAP1 0000066c: SWAP2 0000066d: SSTORE 0000066e: PUSH2 0x068d 00000671: SWAP1 00000672: ADDRESS 00000673: SWAP1 00000674: PUSH2 0x067f 00000677: PUSH1 0x09 00000679: PUSH1 0x0a 0000067b: PUSH2 0x173b 0000067e: JUMP 0000067f: JUMPDEST 00000680: PUSH2 0x0413 00000683: SWAP1 00000684: PUSH4 0x3b9aca00 00000689: PUSH2 0x174a 0000068c: JUMP 0000068d: JUMPDEST 0000068e: PUSH1 0x13 00000690: PUSH1 0x00 00000692: SWAP1 00000693: SLOAD 00000694: SWAP1 00000695: PUSH2 0x0100 00000698: EXP 00000699: SWAP1 0000069a: DIV 0000069b: PUSH1 0x01 0000069d: PUSH1 0x01 0000069f: PUSH1 0xa0 000006a1: SHL 000006a2: SUB 000006a3: AND 000006a4: PUSH1 0x01 000006a6: PUSH1 0x01 000006a8: PUSH1 0xa0 000006aa: SHL 000006ab: SUB 000006ac: AND 000006ad: PUSH4 0xc45a0155 000006b2: PUSH1 0x40 000006b4: MLOAD 000006b5: DUP2 000006b6: PUSH4 0xffffffff 000006bb: AND 000006bc: PUSH1 0xe0 000006be: SHL 000006bf: DUP2 000006c0: MSTORE 000006c1: PUSH1 0x04 000006c3: ADD 000006c4: PUSH1 0x20 000006c6: PUSH1 0x40 000006c8: MLOAD 000006c9: DUP1 000006ca: DUP4 000006cb: SUB 000006cc: DUP2 000006cd: DUP7 000006ce: GAS 000006cf: STATICCALL 000006d0: ISZERO 000006d1: DUP1 000006d2: ISZERO 000006d3: PUSH2 0x06e0 000006d6: JUMPI 000006d7: RETURNDATASIZE 000006d8: PUSH1 0x00 000006da: DUP1 000006db: RETURNDATACOPY 000006dc: RETURNDATASIZE 000006dd: PUSH1 0x00 000006df: REVERT 000006e0: JUMPDEST 000006e1: POP 000006e2: POP 000006e3: POP 000006e4: POP 000006e5: PUSH1 0x40 000006e7: MLOAD 000006e8: RETURNDATASIZE 000006e9: PUSH1 0x1f 000006eb: NOT 000006ec: PUSH1 0x1f 000006ee: DUP3 000006ef: ADD 000006f0: AND 000006f1: DUP3 000006f2: ADD 000006f3: DUP1 000006f4: PUSH1 0x40 000006f6: MSTORE 000006f7: POP 000006f8: DUP2 000006f9: ADD 000006fa: SWAP1 000006fb: PUSH2 0x0704 000006fe: SWAP2 000006ff: SWAP1 00000700: PUSH2 0x1796 00000703: JUMP 00000704: JUMPDEST 00000705: PUSH1 0x01 00000707: PUSH1 0x01 00000709: PUSH1 0xa0 0000070b: SHL 0000070c: SUB 0000070d: AND 0000070e: PUSH4 0xc9c65396 00000713: ADDRESS 00000714: PUSH1 0x13 00000716: PUSH1 0x00 00000718: SWAP1 00000719: SLOAD 0000071a: SWAP1 0000071b: PUSH2 0x0100 0000071e: EXP 0000071f: SWAP1 00000720: DIV 00000721: PUSH1 0x01 00000723: PUSH1 0x01 00000725: PUSH1 0xa0 00000727: SHL 00000728: SUB 00000729: AND 0000072a: PUSH1 0x01 0000072c: PUSH1 0x01 0000072e: PUSH1 0xa0 00000730: SHL 00000731: SUB 00000732: AND 00000733: PUSH4 0xad5c4648 00000738: PUSH1 0x40 0000073a: MLOAD 0000073b: DUP2 0000073c: PUSH4 0xffffffff 00000741: AND 00000742: PUSH1 0xe0 00000744: SHL 00000745: DUP2 00000746: MSTORE 00000747: PUSH1 0x04 00000749: ADD 0000074a: PUSH1 0x20 0000074c: PUSH1 0x40 0000074e: MLOAD 0000074f: DUP1 00000750: DUP4 00000751: SUB 00000752: DUP2 00000753: DUP7 00000754: GAS 00000755: STATICCALL 00000756: ISZERO 00000757: DUP1 00000758: ISZERO 00000759: PUSH2 0x0766 0000075c: JUMPI 0000075d: RETURNDATASIZE 0000075e: PUSH1 0x00 00000760: DUP1 00000761: RETURNDATACOPY 00000762: RETURNDATASIZE 00000763: PUSH1 0x00 00000765: REVERT 00000766: JUMPDEST 00000767: POP 00000768: POP 00000769: POP 0000076a: POP 0000076b: PUSH1 0x40 0000076d: MLOAD 0000076e: RETURNDATASIZE 0000076f: PUSH1 0x1f 00000771: NOT 00000772: PUSH1 0x1f 00000774: DUP3 00000775: ADD 00000776: AND 00000777: DUP3 00000778: ADD 00000779: DUP1 0000077a: PUSH1 0x40 0000077c: MSTORE 0000077d: POP 0000077e: DUP2 0000077f: ADD 00000780: SWAP1 00000781: PUSH2 0x078a 00000784: SWAP2 00000785: SWAP1 00000786: PUSH2 0x1796 00000789: JUMP 0000078a: JUMPDEST 0000078b: PUSH1 0x40 0000078d: MLOAD 0000078e: PUSH1 0x01 00000790: PUSH1 0x01 00000792: PUSH1 0xe0 00000794: SHL 00000795: SUB 00000796: NOT 00000797: PUSH1 0xe0 00000799: DUP6 0000079a: SWAP1 0000079b: SHL 0000079c: AND 0000079d: DUP2 0000079e: MSTORE 0000079f: PUSH1 0x01 000007a1: PUSH1 0x01 000007a3: PUSH1 0xa0 000007a5: SHL 000007a6: SUB 000007a7: SWAP3 000007a8: DUP4 000007a9: AND 000007aa: PUSH1 0x04 000007ac: DUP3 000007ad: ADD 000007ae: MSTORE 000007af: SWAP2 000007b0: AND 000007b1: PUSH1 0x24 000007b3: DUP3 000007b4: ADD 000007b5: MSTORE 000007b6: PUSH1 0x44 000007b8: ADD 000007b9: PUSH1 0x20 000007bb: PUSH1 0x40 000007bd: MLOAD 000007be: DUP1 000007bf: DUP4 000007c0: SUB 000007c1: DUP2 000007c2: PUSH1 0x00 000007c4: DUP8 000007c5: GAS 000007c6: CALL 000007c7: ISZERO 000007c8: DUP1 000007c9: ISZERO 000007ca: PUSH2 0x07d7 000007cd: JUMPI 000007ce: RETURNDATASIZE 000007cf: PUSH1 0x00 000007d1: DUP1 000007d2: RETURNDATACOPY 000007d3: RETURNDATASIZE 000007d4: PUSH1 0x00 000007d6: REVERT 000007d7: JUMPDEST 000007d8: POP 000007d9: POP 000007da: POP 000007db: POP 000007dc: PUSH1 0x40 000007de: MLOAD 000007df: RETURNDATASIZE 000007e0: PUSH1 0x1f 000007e2: NOT 000007e3: PUSH1 0x1f 000007e5: DUP3 000007e6: ADD 000007e7: AND 000007e8: DUP3 000007e9: ADD 000007ea: DUP1 000007eb: PUSH1 0x40 000007ed: MSTORE 000007ee: POP 000007ef: DUP2 000007f0: ADD 000007f1: SWAP1 000007f2: PUSH2 0x07fb 000007f5: SWAP2 000007f6: SWAP1 000007f7: PUSH2 0x1796 000007fa: JUMP 000007fb: JUMPDEST 000007fc: PUSH1 0x14 000007fe: DUP1 000007ff: SLOAD 00000800: PUSH1 0x01 00000802: PUSH1 0x01 00000804: PUSH1 0xa0 00000806: SHL 00000807: SUB 00000808: SWAP3 00000809: DUP4 0000080a: AND 0000080b: PUSH1 0x01 0000080d: PUSH1 0x01 0000080f: PUSH1 0xa0 00000811: SHL 00000812: SUB 00000813: NOT 00000814: SWAP1 00000815: SWAP2 00000816: AND 00000817: OR 00000818: SWAP1 00000819: SSTORE 0000081a: PUSH1 0x13 0000081c: SLOAD 0000081d: AND 0000081e: PUSH4 0xf305d719 00000823: SELFBALANCE 00000824: ADDRESS 00000825: PUSH2 0x0843 00000828: DUP2 00000829: PUSH1 0x01 0000082b: PUSH1 0x01 0000082d: PUSH1 0xa0 0000082f: SHL 00000830: SUB 00000831: AND 00000832: PUSH1 0x00 00000834: SWAP1 00000835: DUP2 00000836: MSTORE 00000837: PUSH1 0x01 00000839: PUSH1 0x20 0000083b: MSTORE 0000083c: PUSH1 0x40 0000083e: SWAP1 0000083f: KECCAK256 00000840: SLOAD 00000841: SWAP1 00000842: JUMP 00000843: JUMPDEST 00000844: PUSH1 0x00 00000846: DUP1 00000847: PUSH2 0x0858 0000084a: PUSH1 0x00 0000084c: SLOAD 0000084d: PUSH1 0x01 0000084f: PUSH1 0x01 00000851: PUSH1 0xa0 00000853: SHL 00000854: SUB 00000855: AND 00000856: SWAP1 00000857: JUMP 00000858: JUMPDEST 00000859: PUSH1 0x40 0000085b: MLOAD 0000085c: PUSH1 0xe0 0000085e: DUP9 0000085f: SWAP1 00000860: SHL 00000861: PUSH1 0x01 00000863: PUSH1 0x01 00000865: PUSH1 0xe0 00000867: SHL 00000868: SUB 00000869: NOT 0000086a: AND 0000086b: DUP2 0000086c: MSTORE 0000086d: PUSH1 0x01 0000086f: PUSH1 0x01 00000871: PUSH1 0xa0 00000873: SHL 00000874: SUB 00000875: SWAP6 00000876: DUP7 00000877: AND 00000878: PUSH1 0x04 0000087a: DUP3 0000087b: ADD 0000087c: MSTORE 0000087d: PUSH1 0x24 0000087f: DUP2 00000880: ADD 00000881: SWAP5 00000882: SWAP1 00000883: SWAP5 00000884: MSTORE 00000885: PUSH1 0x44 00000887: DUP5 00000888: ADD 00000889: SWAP3 0000088a: SWAP1 0000088b: SWAP3 0000088c: MSTORE 0000088d: PUSH1 0x64 0000088f: DUP4 00000890: ADD 00000891: MSTORE 00000892: SWAP1 00000893: SWAP2 00000894: AND 00000895: PUSH1 0x84 00000897: DUP3 00000898: ADD 00000899: MSTORE 0000089a: TIMESTAMP 0000089b: PUSH1 0xa4 0000089d: DUP3 0000089e: ADD 0000089f: MSTORE 000008a0: PUSH1 0xc4 000008a2: ADD 000008a3: PUSH1 0x60 000008a5: PUSH1 0x40 000008a7: MLOAD 000008a8: DUP1 000008a9: DUP4 000008aa: SUB 000008ab: DUP2 000008ac: DUP6 000008ad: DUP9 000008ae: GAS 000008af: CALL 000008b0: ISZERO 000008b1: DUP1 000008b2: ISZERO 000008b3: PUSH2 0x08c0 000008b6: JUMPI 000008b7: RETURNDATASIZE 000008b8: PUSH1 0x00 000008ba: DUP1 000008bb: RETURNDATACOPY 000008bc: RETURNDATASIZE 000008bd: PUSH1 0x00 000008bf: REVERT 000008c0: JUMPDEST 000008c1: POP 000008c2: POP 000008c3: POP 000008c4: POP 000008c5: POP 000008c6: PUSH1 0x40 000008c8: MLOAD 000008c9: RETURNDATASIZE 000008ca: PUSH1 0x1f 000008cc: NOT 000008cd: PUSH1 0x1f 000008cf: DUP3 000008d0: ADD 000008d1: AND 000008d2: DUP3 000008d3: ADD 000008d4: DUP1 000008d5: PUSH1 0x40 000008d7: MSTORE 000008d8: POP 000008d9: DUP2 000008da: ADD 000008db: SWAP1 000008dc: PUSH2 0x08e5 000008df: SWAP2 000008e0: SWAP1 000008e1: PUSH2 0x17b3 000008e4: JUMP 000008e5: JUMPDEST 000008e6: POP 000008e7: POP 000008e8: PUSH1 0x14 000008ea: SLOAD 000008eb: PUSH1 0x13 000008ed: SLOAD 000008ee: PUSH1 0x40 000008f0: MLOAD 000008f1: PUSH4 0x095ea7b3 000008f6: PUSH1 0xe0 000008f8: SHL 000008f9: DUP2 000008fa: MSTORE 000008fb: PUSH1 0x01 000008fd: PUSH1 0x01 000008ff: PUSH1 0xa0 00000901: SHL 00000902: SUB 00000903: SWAP2 00000904: DUP3 00000905: AND 00000906: PUSH1 0x04 00000908: DUP3 00000909: ADD 0000090a: MSTORE 0000090b: PUSH1 0x00 0000090d: NOT 0000090e: PUSH1 0x24 00000910: DUP3 00000911: ADD 00000912: MSTORE 00000913: SWAP2 00000914: AND 00000915: SWAP2 00000916: POP 00000917: PUSH4 0x095ea7b3 0000091c: SWAP1 0000091d: PUSH1 0x44 0000091f: ADD 00000920: PUSH1 0x20 00000922: PUSH1 0x40 00000924: MLOAD 00000925: DUP1 00000926: DUP4 00000927: SUB 00000928: DUP2 00000929: PUSH1 0x00 0000092b: DUP8 0000092c: GAS 0000092d: CALL 0000092e: ISZERO 0000092f: DUP1 00000930: ISZERO 00000931: PUSH2 0x093e 00000934: JUMPI 00000935: RETURNDATASIZE 00000936: PUSH1 0x00 00000938: DUP1 00000939: RETURNDATACOPY 0000093a: RETURNDATASIZE 0000093b: PUSH1 0x00 0000093d: REVERT 0000093e: JUMPDEST 0000093f: POP 00000940: POP 00000941: POP 00000942: POP 00000943: PUSH1 0x40 00000945: MLOAD 00000946: RETURNDATASIZE 00000947: PUSH1 0x1f 00000949: NOT 0000094a: PUSH1 0x1f 0000094c: DUP3 0000094d: ADD 0000094e: AND 0000094f: DUP3 00000950: ADD 00000951: DUP1 00000952: PUSH1 0x40 00000954: MSTORE 00000955: POP 00000956: DUP2 00000957: ADD 00000958: SWAP1 00000959: PUSH2 0x0962 0000095c: SWAP2 0000095d: SWAP1 0000095e: PUSH2 0x17e1 00000961: JUMP 00000962: JUMPDEST 00000963: POP 00000964: PUSH1 0x14 00000966: DUP1 00000967: SLOAD 00000968: PUSH3 0xff00ff 0000096c: PUSH1 0xa0 0000096e: SHL 0000096f: NOT 00000970: AND 00000971: PUSH3 0x010001 00000975: PUSH1 0xa0 00000977: SHL 00000978: OR 00000979: SWAP1 0000097a: SSTORE 0000097b: JUMP 0000097c: JUMPDEST 0000097d: PUSH1 0x01 0000097f: PUSH1 0x01 00000981: PUSH1 0xa0 00000983: SHL 00000984: SUB 00000985: DUP4 00000986: AND 00000987: PUSH2 0x09de 0000098a: JUMPI 0000098b: PUSH1 0x40 0000098d: MLOAD 0000098e: PUSH3 0x461bcd 00000992: PUSH1 0xe5 00000994: SHL 00000995: DUP2 00000996: MSTORE 00000997: PUSH1 0x20 00000999: PUSH1 0x04 0000099b: DUP3 0000099c: ADD 0000099d: MSTORE 0000099e: PUSH1 0x24 000009a0: DUP1 000009a1: DUP3 000009a2: ADD 000009a3: MSTORE 000009a4: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464 000009c5: PUSH1 0x44 000009c7: DUP3 000009c8: ADD 000009c9: MSTORE 000009ca: PUSH4 0x72657373 000009cf: PUSH1 0xe0 000009d1: SHL 000009d2: PUSH1 0x64 000009d4: DUP3 000009d5: ADD 000009d6: MSTORE 000009d7: PUSH1 0x84 000009d9: ADD 000009da: PUSH2 0x04a4 000009dd: JUMP 000009de: JUMPDEST 000009df: PUSH1 0x01 000009e1: PUSH1 0x01 000009e3: PUSH1 0xa0 000009e5: SHL 000009e6: SUB 000009e7: DUP3 000009e8: AND 000009e9: PUSH2 0x0a3f 000009ec: JUMPI 000009ed: PUSH1 0x40 000009ef: MLOAD 000009f0: PUSH3 0x461bcd 000009f4: PUSH1 0xe5 000009f6: SHL 000009f7: DUP2 000009f8: MSTORE 000009f9: PUSH1 0x20 000009fb: PUSH1 0x04 000009fd: DUP3 000009fe: ADD 000009ff: MSTORE 00000a00: PUSH1 0x22 00000a02: PUSH1 0x24 00000a04: DUP3 00000a05: ADD 00000a06: MSTORE 00000a07: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265 00000a28: PUSH1 0x44 00000a2a: DUP3 00000a2b: ADD 00000a2c: MSTORE 00000a2d: PUSH2 0x7373 00000a30: PUSH1 0xf0 00000a32: SHL 00000a33: PUSH1 0x64 00000a35: DUP3 00000a36: ADD 00000a37: MSTORE 00000a38: PUSH1 0x84 00000a3a: ADD 00000a3b: PUSH2 0x04a4 00000a3e: JUMP 00000a3f: JUMPDEST 00000a40: PUSH1 0x01 00000a42: PUSH1 0x01 00000a44: PUSH1 0xa0 00000a46: SHL 00000a47: SUB 00000a48: DUP4 00000a49: DUP2 00000a4a: AND 00000a4b: PUSH1 0x00 00000a4d: DUP2 00000a4e: DUP2 00000a4f: MSTORE 00000a50: PUSH1 0x02 00000a52: PUSH1 0x20 00000a54: SWAP1 00000a55: DUP2 00000a56: MSTORE 00000a57: PUSH1 0x40 00000a59: DUP1 00000a5a: DUP4 00000a5b: KECCAK256 00000a5c: SWAP5 00000a5d: DUP8 00000a5e: AND 00000a5f: DUP1 00000a60: DUP5 00000a61: MSTORE 00000a62: SWAP5 00000a63: DUP3 00000a64: MSTORE 00000a65: SWAP2 00000a66: DUP3 00000a67: SWAP1 00000a68: KECCAK256 00000a69: DUP6 00000a6a: SWAP1 00000a6b: SSTORE 00000a6c: SWAP1 00000a6d: MLOAD 00000a6e: DUP5 00000a6f: DUP2 00000a70: MSTORE 00000a71: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000a92: SWAP2 00000a93: ADD 00000a94: PUSH1 0x40 00000a96: MLOAD 00000a97: DUP1 00000a98: SWAP2 00000a99: SUB 00000a9a: SWAP1 00000a9b: LOG3 00000a9c: POP 00000a9d: POP 00000a9e: POP 00000a9f: JUMP 00000aa0: JUMPDEST 00000aa1: PUSH1 0x01 00000aa3: PUSH1 0x01 00000aa5: PUSH1 0xa0 00000aa7: SHL 00000aa8: SUB 00000aa9: DUP4 00000aaa: AND 00000aab: PUSH2 0x0b04 00000aae: JUMPI 00000aaf: PUSH1 0x40 00000ab1: MLOAD 00000ab2: PUSH3 0x461bcd 00000ab6: PUSH1 0xe5 00000ab8: SHL 00000ab9: DUP2 00000aba: MSTORE 00000abb: PUSH1 0x20 00000abd: PUSH1 0x04 00000abf: DUP3 00000ac0: ADD 00000ac1: MSTORE 00000ac2: PUSH1 0x25 00000ac4: PUSH1 0x24 00000ac6: DUP3 00000ac7: ADD 00000ac8: MSTORE 00000ac9: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164 00000aea: PUSH1 0x44 00000aec: DUP3 00000aed: ADD 00000aee: MSTORE 00000aef: PUSH5 0x6472657373 00000af5: PUSH1 0xd8 00000af7: SHL 00000af8: PUSH1 0x64 00000afa: DUP3 00000afb: ADD 00000afc: MSTORE 00000afd: PUSH1 0x84 00000aff: ADD 00000b00: PUSH2 0x04a4 00000b03: JUMP 00000b04: JUMPDEST 00000b05: PUSH1 0x01 00000b07: PUSH1 0x01 00000b09: PUSH1 0xa0 00000b0b: SHL 00000b0c: SUB 00000b0d: DUP3 00000b0e: AND 00000b0f: PUSH2 0x0b66 00000b12: JUMPI 00000b13: PUSH1 0x40 00000b15: MLOAD 00000b16: PUSH3 0x461bcd 00000b1a: PUSH1 0xe5 00000b1c: SHL 00000b1d: DUP2 00000b1e: MSTORE 00000b1f: PUSH1 0x20 00000b21: PUSH1 0x04 00000b23: DUP3 00000b24: ADD 00000b25: MSTORE 00000b26: PUSH1 0x23 00000b28: PUSH1 0x24 00000b2a: DUP3 00000b2b: ADD 00000b2c: MSTORE 00000b2d: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472 00000b4e: PUSH1 0x44 00000b50: DUP3 00000b51: ADD 00000b52: MSTORE 00000b53: PUSH3 0x657373 00000b57: PUSH1 0xe8 00000b59: SHL 00000b5a: PUSH1 0x64 00000b5c: DUP3 00000b5d: ADD 00000b5e: MSTORE 00000b5f: PUSH1 0x84 00000b61: ADD 00000b62: PUSH2 0x04a4 00000b65: JUMP 00000b66: JUMPDEST 00000b67: PUSH1 0x00 00000b69: DUP2 00000b6a: GT 00000b6b: PUSH2 0x0bc8 00000b6e: JUMPI 00000b6f: PUSH1 0x40 00000b71: MLOAD 00000b72: PUSH3 0x461bcd 00000b76: PUSH1 0xe5 00000b78: SHL 00000b79: DUP2 00000b7a: MSTORE 00000b7b: PUSH1 0x20 00000b7d: PUSH1 0x04 00000b7f: DUP3 00000b80: ADD 00000b81: MSTORE 00000b82: PUSH1 0x29 00000b84: PUSH1 0x24 00000b86: DUP3 00000b87: ADD 00000b88: MSTORE 00000b89: PUSH32 0x5472616e7366657220616d6f756e74206d757374206265206772656174657220 00000baa: PUSH1 0x44 00000bac: DUP3 00000bad: ADD 00000bae: MSTORE 00000baf: PUSH9 0x7468616e207a65726f 00000bb9: PUSH1 0xb8 00000bbb: SHL 00000bbc: PUSH1 0x64 00000bbe: DUP3 00000bbf: ADD 00000bc0: MSTORE 00000bc1: PUSH1 0x84 00000bc3: ADD 00000bc4: PUSH2 0x04a4 00000bc7: JUMP 00000bc8: JUMPDEST 00000bc9: PUSH1 0x00 00000bcb: DUP1 00000bcc: SLOAD 00000bcd: PUSH1 0x01 00000bcf: PUSH1 0x01 00000bd1: PUSH1 0xa0 00000bd3: SHL 00000bd4: SUB 00000bd5: DUP6 00000bd6: DUP2 00000bd7: AND 00000bd8: SWAP2 00000bd9: AND 00000bda: EQ 00000bdb: DUP1 00000bdc: ISZERO 00000bdd: SWAP1 00000bde: PUSH2 0x0bf5 00000be1: JUMPI 00000be2: POP 00000be3: PUSH1 0x00 00000be5: SLOAD 00000be6: PUSH1 0x01 00000be8: PUSH1 0x01 00000bea: PUSH1 0xa0 00000bec: SHL 00000bed: SUB 00000bee: DUP5 00000bef: DUP2 00000bf0: AND 00000bf1: SWAP2 00000bf2: AND 00000bf3: EQ 00000bf4: ISZERO 00000bf5: JUMPDEST 00000bf6: ISZERO 00000bf7: PUSH2 0x0f40 00000bfa: JUMPI 00000bfb: PUSH2 0x0c26 00000bfe: PUSH1 0x64 00000c00: PUSH2 0x0c20 00000c03: PUSH1 0x0b 00000c05: SLOAD 00000c06: PUSH1 0x0e 00000c08: SLOAD 00000c09: GT 00000c0a: PUSH2 0x0c15 00000c0d: JUMPI 00000c0e: PUSH1 0x07 00000c10: SLOAD 00000c11: PUSH2 0x0c19 00000c14: JUMP 00000c15: JUMPDEST 00000c16: PUSH1 0x09 00000c18: SLOAD 00000c19: JUMPDEST 00000c1a: DUP6 00000c1b: SWAP1 00000c1c: PUSH2 0x1292 00000c1f: JUMP 00000c20: JUMPDEST 00000c21: SWAP1 00000c22: PUSH2 0x131b 00000c25: JUMP 00000c26: JUMPDEST 00000c27: PUSH1 0x06 00000c29: SLOAD 00000c2a: SWAP1 00000c2b: SWAP2 00000c2c: POP 00000c2d: PUSH1 0xff 00000c2f: AND 00000c30: ISZERO 00000c31: PUSH2 0x0d0e 00000c34: JUMPI 00000c35: PUSH1 0x13 00000c37: SLOAD 00000c38: PUSH1 0x01 00000c3a: PUSH1 0x01 00000c3c: PUSH1 0xa0 00000c3e: SHL 00000c3f: SUB 00000c40: DUP5 00000c41: DUP2 00000c42: AND 00000c43: SWAP2 00000c44: AND 00000c45: EQ 00000c46: DUP1 00000c47: ISZERO 00000c48: SWAP1 00000c49: PUSH2 0x0c60 00000c4c: JUMPI 00000c4d: POP 00000c4e: PUSH1 0x14 00000c50: SLOAD 00000c51: PUSH1 0x01 00000c53: PUSH1 0x01 00000c55: PUSH1 0xa0 00000c57: SHL 00000c58: SUB 00000c59: DUP5 00000c5a: DUP2 00000c5b: AND 00000c5c: SWAP2 00000c5d: AND 00000c5e: EQ 00000c5f: ISZERO 00000c60: JUMPDEST 00000c61: ISZERO 00000c62: PUSH2 0x0d0e 00000c65: JUMPI 00000c66: ORIGIN 00000c67: PUSH1 0x00 00000c69: SWAP1 00000c6a: DUP2 00000c6b: MSTORE 00000c6c: PUSH1 0x05 00000c6e: PUSH1 0x20 00000c70: MSTORE 00000c71: PUSH1 0x40 00000c73: SWAP1 00000c74: KECCAK256 00000c75: SLOAD 00000c76: NUMBER 00000c77: GT 00000c78: PUSH2 0x0cfb 00000c7b: JUMPI 00000c7c: PUSH1 0x40 00000c7e: MLOAD 00000c7f: PUSH3 0x461bcd 00000c83: PUSH1 0xe5 00000c85: SHL 00000c86: DUP2 00000c87: MSTORE 00000c88: PUSH1 0x20 00000c8a: PUSH1 0x04 00000c8c: DUP3 00000c8d: ADD 00000c8e: MSTORE 00000c8f: PUSH1 0x49 00000c91: PUSH1 0x24 00000c93: DUP3 00000c94: ADD 00000c95: MSTORE 00000c96: PUSH32 0x5f7472616e736665723a3a205472616e736665722044656c617920656e61626c 00000cb7: PUSH1 0x44 00000cb9: DUP3 00000cba: ADD 00000cbb: MSTORE 00000cbc: PUSH32 0x65642e20204f6e6c79206f6e652070757263686173652070657220626c6f636b 00000cdd: PUSH1 0x64 00000cdf: DUP3 00000ce0: ADD 00000ce1: MSTORE 00000ce2: PUSH9 0x1030b63637bbb2b217 00000cec: PUSH1 0xb9 00000cee: SHL 00000cef: PUSH1 0x84 00000cf1: DUP3 00000cf2: ADD 00000cf3: MSTORE 00000cf4: PUSH1 0xa4 00000cf6: ADD 00000cf7: PUSH2 0x04a4 00000cfa: JUMP 00000cfb: JUMPDEST 00000cfc: ORIGIN 00000cfd: PUSH1 0x00 00000cff: SWAP1 00000d00: DUP2 00000d01: MSTORE 00000d02: PUSH1 0x05 00000d04: PUSH1 0x20 00000d06: MSTORE 00000d07: PUSH1 0x40 00000d09: SWAP1 00000d0a: KECCAK256 00000d0b: NUMBER 00000d0c: SWAP1 00000d0d: SSTORE 00000d0e: JUMPDEST 00000d0f: PUSH1 0x14 00000d11: SLOAD 00000d12: PUSH1 0x01 00000d14: PUSH1 0x01 00000d16: PUSH1 0xa0 00000d18: SHL 00000d19: SUB 00000d1a: DUP6 00000d1b: DUP2 00000d1c: AND 00000d1d: SWAP2 00000d1e: AND 00000d1f: EQ 00000d20: DUP1 00000d21: ISZERO 00000d22: PUSH2 0x0d39 00000d25: JUMPI 00000d26: POP 00000d27: PUSH1 0x13 00000d29: SLOAD 00000d2a: PUSH1 0x01 00000d2c: PUSH1 0x01 00000d2e: PUSH1 0xa0 00000d30: SHL 00000d31: SUB 00000d32: DUP5 00000d33: DUP2 00000d34: AND 00000d35: SWAP2 00000d36: AND 00000d37: EQ 00000d38: ISZERO 00000d39: JUMPDEST 00000d3a: DUP1 00000d3b: ISZERO 00000d3c: PUSH2 0x0d5e 00000d3f: JUMPI 00000d40: POP 00000d41: PUSH1 0x01 00000d43: PUSH1 0x01 00000d45: PUSH1 0xa0 00000d47: SHL 00000d48: SUB 00000d49: DUP4 00000d4a: AND 00000d4b: PUSH1 0x00 00000d4d: SWAP1 00000d4e: DUP2 00000d4f: MSTORE 00000d50: PUSH1 0x03 00000d52: PUSH1 0x20 00000d54: MSTORE 00000d55: PUSH1 0x40 00000d57: SWAP1 00000d58: KECCAK256 00000d59: SLOAD 00000d5a: PUSH1 0xff 00000d5c: AND 00000d5d: ISZERO 00000d5e: JUMPDEST 00000d5f: ISZERO 00000d60: PUSH2 0x0e46 00000d63: JUMPI 00000d64: PUSH1 0x0f 00000d66: SLOAD 00000d67: DUP3 00000d68: GT 00000d69: ISZERO 00000d6a: PUSH2 0x0db5 00000d6d: JUMPI 00000d6e: PUSH1 0x40 00000d70: MLOAD 00000d71: PUSH3 0x461bcd 00000d75: PUSH1 0xe5 00000d77: SHL 00000d78: DUP2 00000d79: MSTORE 00000d7a: PUSH1 0x20 00000d7c: PUSH1 0x04 00000d7e: DUP3 00000d7f: ADD 00000d80: MSTORE 00000d81: PUSH1 0x19 00000d83: PUSH1 0x24 00000d85: DUP3 00000d86: ADD 00000d87: MSTORE 00000d88: PUSH32 0x4578636565647320746865205f6d61785478416d6f756e742e00000000000000 00000da9: PUSH1 0x44 00000dab: DUP3 00000dac: ADD 00000dad: MSTORE 00000dae: PUSH1 0x64 00000db0: ADD 00000db1: PUSH2 0x04a4 00000db4: JUMP 00000db5: JUMPDEST 00000db6: PUSH1 0x10 00000db8: SLOAD 00000db9: DUP3 00000dba: PUSH2 0x0dd8 00000dbd: DUP6 00000dbe: PUSH1 0x01 00000dc0: PUSH1 0x01 00000dc2: PUSH1 0xa0 00000dc4: SHL 00000dc5: SUB 00000dc6: AND 00000dc7: PUSH1 0x00 00000dc9: SWAP1 00000dca: DUP2 00000dcb: MSTORE 00000dcc: PUSH1 0x01 00000dce: PUSH1 0x20 00000dd0: MSTORE 00000dd1: PUSH1 0x40 00000dd3: SWAP1 00000dd4: KECCAK256 00000dd5: SLOAD 00000dd6: SWAP1 00000dd7: JUMP 00000dd8: JUMPDEST 00000dd9: PUSH2 0x0de2 00000ddc: SWAP2 00000ddd: SWAP1 00000dde: PUSH2 0x1803 00000de1: JUMP 00000de2: JUMPDEST 00000de3: GT 00000de4: ISZERO 00000de5: PUSH2 0x0e30 00000de8: JUMPI 00000de9: PUSH1 0x40 00000deb: MLOAD 00000dec: PUSH3 0x461bcd 00000df0: PUSH1 0xe5 00000df2: SHL 00000df3: DUP2 00000df4: MSTORE 00000df5: PUSH1 0x20 00000df7: PUSH1 0x04 00000df9: DUP3 00000dfa: ADD 00000dfb: MSTORE 00000dfc: PUSH1 0x1a 00000dfe: PUSH1 0x24 00000e00: DUP3 00000e01: ADD 00000e02: MSTORE 00000e03: PUSH32 0x4578636565647320746865206d617857616c6c657453697a652e000000000000 00000e24: PUSH1 0x44 00000e26: DUP3 00000e27: ADD 00000e28: MSTORE 00000e29: PUSH1 0x64 00000e2b: ADD 00000e2c: PUSH2 0x04a4 00000e2f: JUMP 00000e30: JUMPDEST 00000e31: PUSH1 0x0e 00000e33: DUP1 00000e34: SLOAD 00000e35: SWAP1 00000e36: PUSH1 0x00 00000e38: PUSH2 0x0e40 00000e3b: DUP4 00000e3c: PUSH2 0x1816 00000e3f: JUMP 00000e40: JUMPDEST 00000e41: SWAP2 00000e42: SWAP1 00000e43: POP 00000e44: SSTORE 00000e45: POP 00000e46: JUMPDEST 00000e47: PUSH1 0x14 00000e49: SLOAD 00000e4a: PUSH1 0x01 00000e4c: PUSH1 0x01 00000e4e: PUSH1 0xa0 00000e50: SHL 00000e51: SUB 00000e52: DUP5 00000e53: DUP2 00000e54: AND 00000e55: SWAP2 00000e56: AND 00000e57: EQ 00000e58: DUP1 00000e59: ISZERO 00000e5a: PUSH2 0x0e6c 00000e5d: JUMPI 00000e5e: POP 00000e5f: PUSH1 0x01 00000e61: PUSH1 0x01 00000e63: PUSH1 0xa0 00000e65: SHL 00000e66: SUB 00000e67: DUP5 00000e68: AND 00000e69: ADDRESS 00000e6a: EQ 00000e6b: ISZERO 00000e6c: JUMPDEST 00000e6d: ISZERO 00000e6e: PUSH2 0x0e99 00000e71: JUMPI 00000e72: PUSH2 0x0e96 00000e75: PUSH1 0x64 00000e77: PUSH2 0x0c20 00000e7a: PUSH1 0x0c 00000e7c: SLOAD 00000e7d: PUSH1 0x0e 00000e7f: SLOAD 00000e80: GT 00000e81: PUSH2 0x0e8c 00000e84: JUMPI 00000e85: PUSH1 0x08 00000e87: SLOAD 00000e88: PUSH2 0x0c19 00000e8b: JUMP 00000e8c: JUMPDEST 00000e8d: PUSH1 0x0a 00000e8f: SLOAD 00000e90: DUP6 00000e91: SWAP1 00000e92: PUSH2 0x1292 00000e95: JUMP 00000e96: JUMPDEST 00000e97: SWAP1 00000e98: POP 00000e99: JUMPDEST 00000e9a: ADDRESS 00000e9b: PUSH1 0x00 00000e9d: SWAP1 00000e9e: DUP2 00000e9f: MSTORE 00000ea0: PUSH1 0x01 00000ea2: PUSH1 0x20 00000ea4: MSTORE 00000ea5: PUSH1 0x40 00000ea7: SWAP1 00000ea8: KECCAK256 00000ea9: SLOAD 00000eaa: PUSH1 0x14 00000eac: SLOAD 00000ead: PUSH1 0x01 00000eaf: PUSH1 0xa8 00000eb1: SHL 00000eb2: SWAP1 00000eb3: DIV 00000eb4: PUSH1 0xff 00000eb6: AND 00000eb7: ISZERO 00000eb8: DUP1 00000eb9: ISZERO 00000eba: PUSH2 0x0ed0 00000ebd: JUMPI 00000ebe: POP 00000ebf: PUSH1 0x14 00000ec1: SLOAD 00000ec2: PUSH1 0x01 00000ec4: PUSH1 0x01 00000ec6: PUSH1 0xa0 00000ec8: SHL 00000ec9: SUB 00000eca: DUP6 00000ecb: DUP2 00000ecc: AND 00000ecd: SWAP2 00000ece: AND 00000ecf: EQ 00000ed0: JUMPDEST 00000ed1: DUP1 00000ed2: ISZERO 00000ed3: PUSH2 0x0ee5 00000ed6: JUMPI 00000ed7: POP 00000ed8: PUSH1 0x14 00000eda: SLOAD 00000edb: PUSH1 0x01 00000edd: PUSH1 0xb0 00000edf: SHL 00000ee0: SWAP1 00000ee1: DIV 00000ee2: PUSH1 0xff 00000ee4: AND 00000ee5: JUMPDEST 00000ee6: DUP1 00000ee7: ISZERO 00000ee8: PUSH2 0x0ef2 00000eeb: JUMPI 00000eec: POP 00000eed: PUSH1 0x11 00000eef: SLOAD 00000ef0: DUP2 00000ef1: GT 00000ef2: JUMPDEST 00000ef3: DUP1 00000ef4: ISZERO 00000ef5: PUSH2 0x0f01 00000ef8: JUMPI 00000ef9: POP 00000efa: PUSH1 0x0d 00000efc: SLOAD 00000efd: PUSH1 0x0e 00000eff: SLOAD 00000f00: GT 00000f01: JUMPDEST 00000f02: ISZERO 00000f03: PUSH2 0x0f3e 00000f06: JUMPI 00000f07: PUSH2 0x0f23 00000f0a: PUSH2 0x0f1e 00000f0d: DUP5 00000f0e: PUSH2 0x0f19 00000f11: DUP5 00000f12: PUSH1 0x12 00000f14: SLOAD 00000f15: PUSH2 0x135d 00000f18: JUMP 00000f19: JUMPDEST 00000f1a: PUSH2 0x135d 00000f1d: JUMP 00000f1e: JUMPDEST 00000f1f: PUSH2 0x10da 00000f22: JUMP 00000f23: JUMPDEST 00000f24: SELFBALANCE 00000f25: PUSH7 0xb1a2bc2ec50000 00000f2d: DUP2 00000f2e: GT 00000f2f: ISZERO 00000f30: PUSH2 0x0f3c 00000f33: JUMPI 00000f34: PUSH2 0x0f3c 00000f37: SELFBALANCE 00000f38: PUSH2 0x1254 00000f3b: JUMP 00000f3c: JUMPDEST 00000f3d: POP 00000f3e: JUMPDEST 00000f3f: POP 00000f40: JUMPDEST 00000f41: DUP1 00000f42: ISZERO 00000f43: PUSH2 0x0fba 00000f46: JUMPI 00000f47: ADDRESS 00000f48: PUSH1 0x00 00000f4a: SWAP1 00000f4b: DUP2 00000f4c: MSTORE 00000f4d: PUSH1 0x01 00000f4f: PUSH1 0x20 00000f51: MSTORE 00000f52: PUSH1 0x40 00000f54: SWAP1 00000f55: KECCAK256 00000f56: SLOAD 00000f57: PUSH2 0x0f60 00000f5a: SWAP1 00000f5b: DUP3 00000f5c: PUSH2 0x1372 00000f5f: JUMP 00000f60: JUMPDEST 00000f61: ADDRESS 00000f62: PUSH1 0x00 00000f64: DUP2 00000f65: DUP2 00000f66: MSTORE 00000f67: PUSH1 0x01 00000f69: PUSH1 0x20 00000f6b: MSTORE 00000f6c: PUSH1 0x40 00000f6e: SWAP1 00000f6f: DUP2 00000f70: SWAP1 00000f71: KECCAK256 00000f72: SWAP3 00000f73: SWAP1 00000f74: SWAP3 00000f75: SSTORE 00000f76: SWAP1 00000f77: MLOAD 00000f78: PUSH1 0x01 00000f7a: PUSH1 0x01 00000f7c: PUSH1 0xa0 00000f7e: SHL 00000f7f: SUB 00000f80: DUP7 00000f81: AND 00000f82: SWAP1 00000f83: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000fa4: SWAP1 00000fa5: PUSH2 0x0fb1 00000fa8: SWAP1 00000fa9: DUP6 00000faa: DUP2 00000fab: MSTORE 00000fac: PUSH1 0x20 00000fae: ADD 00000faf: SWAP1 00000fb0: JUMP 00000fb1: JUMPDEST 00000fb2: PUSH1 0x40 00000fb4: MLOAD 00000fb5: DUP1 00000fb6: SWAP2 00000fb7: SUB 00000fb8: SWAP1 00000fb9: LOG3 00000fba: JUMPDEST 00000fbb: PUSH2 0x0fe6 00000fbe: PUSH2 0x0fc7 00000fc1: DUP4 00000fc2: DUP4 00000fc3: PUSH2 0x13d1 00000fc6: JUMP 00000fc7: JUMPDEST 00000fc8: PUSH1 0x01 00000fca: PUSH1 0x01 00000fcc: PUSH1 0xa0 00000fce: SHL 00000fcf: SUB 00000fd0: DUP6 00000fd1: AND 00000fd2: PUSH1 0x00 00000fd4: SWAP1 00000fd5: DUP2 00000fd6: MSTORE 00000fd7: PUSH1 0x01 00000fd9: PUSH1 0x20 00000fdb: MSTORE 00000fdc: PUSH1 0x40 00000fde: SWAP1 00000fdf: KECCAK256 00000fe0: SLOAD 00000fe1: SWAP1 00000fe2: PUSH2 0x1372 00000fe5: JUMP 00000fe6: JUMPDEST 00000fe7: PUSH1 0x01 00000fe9: PUSH1 0x01 00000feb: PUSH1 0xa0 00000fed: SHL 00000fee: SUB 00000fef: DUP1 00000ff0: DUP6 00000ff1: AND 00000ff2: PUSH1 0x00 00000ff4: DUP2 00000ff5: DUP2 00000ff6: MSTORE 00000ff7: PUSH1 0x01 00000ff9: PUSH1 0x20 00000ffb: MSTORE 00000ffc: PUSH1 0x40 00000ffe: SWAP1 00000fff: DUP2 00001000: SWAP1 00001001: KECCAK256 00001002: SWAP4 00001003: SWAP1 00001004: SWAP4 00001005: SSTORE 00001006: SWAP2 00001007: MLOAD 00001008: SWAP1 00001009: DUP7 0000100a: AND 0000100b: SWAP1 0000100c: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 0000102d: SWAP1 0000102e: PUSH2 0x103a 00001031: SWAP1 00001032: DUP7 00001033: DUP2 00001034: MSTORE 00001035: PUSH1 0x20 00001037: ADD 00001038: SWAP1 00001039: JUMP 0000103a: JUMPDEST 0000103b: PUSH1 0x40 0000103d: MLOAD 0000103e: DUP1 0000103f: SWAP2 00001040: SUB 00001041: SWAP1 00001042: LOG3 00001043: PUSH2 0x104b 00001046: DUP5 00001047: PUSH2 0x1413 0000104a: JUMP 0000104b: JUMPDEST 0000104c: PUSH2 0x1056 0000104f: JUMPI 00001050: PUSH1 0x00 00001052: PUSH2 0x1058 00001055: JUMP 00001056: JUMPDEST 00001057: DUP2 00001058: JUMPDEST 00001059: PUSH1 0x01 0000105b: PUSH1 0x01 0000105d: PUSH1 0xa0 0000105f: SHL 00001060: SUB 00001061: DUP6 00001062: AND 00001063: PUSH1 0x00 00001065: SWAP1 00001066: DUP2 00001067: MSTORE 00001068: PUSH1 0x01 0000106a: PUSH1 0x20 0000106c: MSTORE 0000106d: PUSH1 0x40 0000106f: SWAP1 00001070: KECCAK256 00001071: SLOAD 00001072: SWAP1 00001073: SWAP3 00001074: POP 00001075: PUSH2 0x107e 00001078: SWAP1 00001079: DUP4 0000107a: PUSH2 0x13d1 0000107d: JUMP 0000107e: JUMPDEST 0000107f: PUSH1 0x01 00001081: PUSH1 0x01 00001083: PUSH1 0xa0 00001085: SHL 00001086: SUB 00001087: SWAP1 00001088: SWAP5 00001089: AND 0000108a: PUSH1 0x00 0000108c: SWAP1 0000108d: DUP2 0000108e: MSTORE 0000108f: PUSH1 0x01 00001091: PUSH1 0x20 00001093: MSTORE 00001094: PUSH1 0x40 00001096: SWAP1 00001097: KECCAK256 00001098: SWAP4 00001099: SWAP1 0000109a: SWAP4 0000109b: SSTORE 0000109c: POP 0000109d: POP 0000109e: POP 0000109f: JUMP 000010a0: JUMPDEST 000010a1: PUSH1 0x00 000010a3: DUP2 000010a4: DUP5 000010a5: DUP5 000010a6: GT 000010a7: ISZERO 000010a8: PUSH2 0x10c4 000010ab: JUMPI 000010ac: PUSH1 0x40 000010ae: MLOAD 000010af: PUSH3 0x461bcd 000010b3: PUSH1 0xe5 000010b5: SHL 000010b6: DUP2 000010b7: MSTORE 000010b8: PUSH1 0x04 000010ba: ADD 000010bb: PUSH2 0x04a4 000010be: SWAP2 000010bf: SWAP1 000010c0: PUSH2 0x1533 000010c3: JUMP 000010c4: JUMPDEST 000010c5: POP 000010c6: PUSH1 0x00 000010c8: PUSH2 0x10d1 000010cb: DUP5 000010cc: DUP7 000010cd: PUSH2 0x182f 000010d0: JUMP 000010d1: JUMPDEST 000010d2: SWAP6 000010d3: SWAP5 000010d4: POP 000010d5: POP 000010d6: POP 000010d7: POP 000010d8: POP 000010d9: JUMP 000010da: JUMPDEST 000010db: PUSH1 0x14 000010dd: DUP1 000010de: SLOAD 000010df: PUSH1 0xff 000010e1: PUSH1 0xa8 000010e3: SHL 000010e4: NOT 000010e5: AND 000010e6: PUSH1 0x01 000010e8: PUSH1 0xa8 000010ea: SHL 000010eb: OR 000010ec: SWAP1 000010ed: SSTORE 000010ee: PUSH1 0x40 000010f0: DUP1 000010f1: MLOAD 000010f2: PUSH1 0x02 000010f4: DUP1 000010f5: DUP3 000010f6: MSTORE 000010f7: PUSH1 0x60 000010f9: DUP3 000010fa: ADD 000010fb: DUP4 000010fc: MSTORE 000010fd: PUSH1 0x00 000010ff: SWAP3 00001100: PUSH1 0x20 00001102: DUP4 00001103: ADD 00001104: SWAP1 00001105: DUP1 00001106: CALLDATASIZE 00001107: DUP4 00001108: CALLDATACOPY 00001109: ADD 0000110a: SWAP1 0000110b: POP 0000110c: POP 0000110d: SWAP1 0000110e: POP 0000110f: ADDRESS 00001110: DUP2 00001111: PUSH1 0x00 00001113: DUP2 00001114: MLOAD 00001115: DUP2 00001116: LT 00001117: PUSH2 0x1122 0000111a: JUMPI 0000111b: PUSH2 0x1122 0000111e: PUSH2 0x1842 00001121: JUMP 00001122: JUMPDEST 00001123: PUSH1 0x01 00001125: PUSH1 0x01 00001127: PUSH1 0xa0 00001129: SHL 0000112a: SUB 0000112b: SWAP3 0000112c: DUP4 0000112d: AND 0000112e: PUSH1 0x20 00001130: SWAP2 00001131: DUP3 00001132: MUL 00001133: SWAP3 00001134: SWAP1 00001135: SWAP3 00001136: ADD 00001137: DUP2 00001138: ADD 00001139: SWAP2 0000113a: SWAP1 0000113b: SWAP2 0000113c: MSTORE 0000113d: PUSH1 0x13 0000113f: SLOAD 00001140: PUSH1 0x40 00001142: DUP1 00001143: MLOAD 00001144: PUSH4 0x15ab88c9 00001149: PUSH1 0xe3 0000114b: SHL 0000114c: DUP2 0000114d: MSTORE 0000114e: SWAP1 0000114f: MLOAD 00001150: SWAP2 00001151: SWAP1 00001152: SWAP4 00001153: AND 00001154: SWAP3 00001155: PUSH4 0xad5c4648 0000115a: SWAP3 0000115b: PUSH1 0x04 0000115d: DUP1 0000115e: DUP4 0000115f: ADD 00001160: SWAP4 00001161: SWAP2 00001162: SWAP3 00001163: DUP3 00001164: SWAP1 00001165: SUB 00001166: ADD 00001167: DUP2 00001168: DUP7 00001169: GAS 0000116a: STATICCALL 0000116b: ISZERO 0000116c: DUP1 0000116d: ISZERO 0000116e: PUSH2 0x117b 00001171: JUMPI 00001172: RETURNDATASIZE 00001173: PUSH1 0x00 00001175: DUP1 00001176: RETURNDATACOPY 00001177: RETURNDATASIZE 00001178: PUSH1 0x00 0000117a: REVERT 0000117b: JUMPDEST 0000117c: POP 0000117d: POP 0000117e: POP 0000117f: POP 00001180: PUSH1 0x40 00001182: MLOAD 00001183: RETURNDATASIZE 00001184: PUSH1 0x1f 00001186: NOT 00001187: PUSH1 0x1f 00001189: DUP3 0000118a: ADD 0000118b: AND 0000118c: DUP3 0000118d: ADD 0000118e: DUP1 0000118f: PUSH1 0x40 00001191: MSTORE 00001192: POP 00001193: DUP2 00001194: ADD 00001195: SWAP1 00001196: PUSH2 0x119f 00001199: SWAP2 0000119a: SWAP1 0000119b: PUSH2 0x1796 0000119e: JUMP 0000119f: JUMPDEST 000011a0: DUP2 000011a1: PUSH1 0x01 000011a3: DUP2 000011a4: MLOAD 000011a5: DUP2 000011a6: LT 000011a7: PUSH2 0x11b2 000011aa: JUMPI 000011ab: PUSH2 0x11b2 000011ae: PUSH2 0x1842 000011b1: JUMP 000011b2: JUMPDEST 000011b3: PUSH1 0x01 000011b5: PUSH1 0x01 000011b7: PUSH1 0xa0 000011b9: SHL 000011ba: SUB 000011bb: SWAP3 000011bc: DUP4 000011bd: AND 000011be: PUSH1 0x20 000011c0: SWAP2 000011c1: DUP3 000011c2: MUL 000011c3: SWAP3 000011c4: SWAP1 000011c5: SWAP3 000011c6: ADD 000011c7: ADD 000011c8: MSTORE 000011c9: PUSH1 0x13 000011cb: SLOAD 000011cc: PUSH2 0x11d8 000011cf: SWAP2 000011d0: ADDRESS 000011d1: SWAP2 000011d2: AND 000011d3: DUP5 000011d4: PUSH2 0x097c 000011d7: JUMP 000011d8: JUMPDEST 000011d9: PUSH1 0x13 000011db: SLOAD 000011dc: PUSH1 0x40 000011de: MLOAD 000011df: PUSH4 0x791ac947 000011e4: PUSH1 0xe0 000011e6: SHL 000011e7: DUP2 000011e8: MSTORE 000011e9: PUSH1 0x01 000011eb: PUSH1 0x01 000011ed: PUSH1 0xa0 000011ef: SHL 000011f0: SUB 000011f1: SWAP1 000011f2: SWAP2 000011f3: AND 000011f4: SWAP1 000011f5: PUSH4 0x791ac947 000011fa: SWAP1 000011fb: PUSH2 0x1211 000011fe: SWAP1 000011ff: DUP6 00001200: SWAP1 00001201: PUSH1 0x00 00001203: SWAP1 00001204: DUP7 00001205: SWAP1 00001206: ADDRESS 00001207: SWAP1 00001208: TIMESTAMP 00001209: SWAP1 0000120a: PUSH1 0x04 0000120c: ADD 0000120d: PUSH2 0x1858 00001210: JUMP 00001211: JUMPDEST 00001212: PUSH1 0x00 00001214: PUSH1 0x40 00001216: MLOAD 00001217: DUP1 00001218: DUP4 00001219: SUB 0000121a: DUP2 0000121b: PUSH1 0x00 0000121d: DUP8 0000121e: DUP1 0000121f: EXTCODESIZE 00001220: ISZERO 00001221: DUP1 00001222: ISZERO 00001223: PUSH2 0x122b 00001226: JUMPI 00001227: PUSH1 0x00 00001229: DUP1 0000122a: REVERT 0000122b: JUMPDEST 0000122c: POP 0000122d: GAS 0000122e: CALL 0000122f: ISZERO 00001230: DUP1 00001231: ISZERO 00001232: PUSH2 0x123f 00001235: JUMPI 00001236: RETURNDATASIZE 00001237: PUSH1 0x00 00001239: DUP1 0000123a: RETURNDATACOPY 0000123b: RETURNDATASIZE 0000123c: PUSH1 0x00 0000123e: REVERT 0000123f: JUMPDEST 00001240: POP 00001241: POP 00001242: PUSH1 0x14 00001244: DUP1 00001245: SLOAD 00001246: PUSH1 0xff 00001248: PUSH1 0xa8 0000124a: SHL 0000124b: NOT 0000124c: AND 0000124d: SWAP1 0000124e: SSTORE 0000124f: POP 00001250: POP 00001251: POP 00001252: POP 00001253: JUMP 00001254: JUMPDEST 00001255: PUSH1 0x06 00001257: SLOAD 00001258: PUSH1 0x40 0000125a: MLOAD 0000125b: PUSH2 0x0100 0000125e: SWAP1 0000125f: SWAP2 00001260: DIV 00001261: PUSH1 0x01 00001263: PUSH1 0x01 00001265: PUSH1 0xa0 00001267: SHL 00001268: SUB 00001269: AND 0000126a: SWAP1 0000126b: PUSH2 0x08fc 0000126e: DUP4 0000126f: ISZERO 00001270: MUL 00001271: SWAP1 00001272: DUP4 00001273: SWAP1 00001274: PUSH1 0x00 00001276: DUP2 00001277: DUP2 00001278: DUP2 00001279: DUP6 0000127a: DUP9 0000127b: DUP9 0000127c: CALL 0000127d: SWAP4 0000127e: POP 0000127f: POP 00001280: POP 00001281: POP 00001282: ISZERO 00001283: DUP1 00001284: ISZERO 00001285: PUSH2 0x0476 00001288: JUMPI 00001289: RETURNDATASIZE 0000128a: PUSH1 0x00 0000128c: DUP1 0000128d: RETURNDATACOPY 0000128e: RETURNDATASIZE 0000128f: PUSH1 0x00 00001291: REVERT 00001292: JUMPDEST 00001293: PUSH1 0x00 00001295: DUP3 00001296: PUSH1 0x00 00001298: SUB 00001299: PUSH2 0x12a4 0000129c: JUMPI 0000129d: POP 0000129e: PUSH1 0x00 000012a0: PUSH2 0x0392 000012a3: JUMP 000012a4: JUMPDEST 000012a5: PUSH1 0x00 000012a7: PUSH2 0x12b0 000012aa: DUP4 000012ab: DUP6 000012ac: PUSH2 0x174a 000012af: JUMP 000012b0: JUMPDEST 000012b1: SWAP1 000012b2: POP 000012b3: DUP3 000012b4: PUSH2 0x12bd 000012b7: DUP6 000012b8: DUP4 000012b9: PUSH2 0x18c9 000012bc: JUMP 000012bd: JUMPDEST 000012be: EQ 000012bf: PUSH2 0x1314 000012c2: JUMPI 000012c3: PUSH1 0x40 000012c5: MLOAD 000012c6: PUSH3 0x461bcd 000012ca: PUSH1 0xe5 000012cc: SHL 000012cd: DUP2 000012ce: MSTORE 000012cf: PUSH1 0x20 000012d1: PUSH1 0x04 000012d3: DUP3 000012d4: ADD 000012d5: MSTORE 000012d6: PUSH1 0x21 000012d8: PUSH1 0x24 000012da: DUP3 000012db: ADD 000012dc: MSTORE 000012dd: PUSH32 0x536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f 000012fe: PUSH1 0x44 00001300: DUP3 00001301: ADD 00001302: MSTORE 00001303: PUSH1 0x77 00001305: PUSH1 0xf8 00001307: SHL 00001308: PUSH1 0x64 0000130a: DUP3 0000130b: ADD 0000130c: MSTORE 0000130d: PUSH1 0x84 0000130f: ADD 00001310: PUSH2 0x04a4 00001313: JUMP 00001314: JUMPDEST 00001315: SWAP4 00001316: SWAP3 00001317: POP 00001318: POP 00001319: POP 0000131a: JUMP 0000131b: JUMPDEST 0000131c: PUSH1 0x00 0000131e: PUSH2 0x1314 00001321: DUP4 00001322: DUP4 00001323: PUSH1 0x40 00001325: MLOAD 00001326: DUP1 00001327: PUSH1 0x40 00001329: ADD 0000132a: PUSH1 0x40 0000132c: MSTORE 0000132d: DUP1 0000132e: PUSH1 0x1a 00001330: DUP2 00001331: MSTORE 00001332: PUSH1 0x20 00001334: ADD 00001335: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000 00001356: DUP2 00001357: MSTORE 00001358: POP 00001359: PUSH2 0x14e1 0000135c: JUMP 0000135d: JUMPDEST 0000135e: PUSH1 0x00 00001360: DUP2 00001361: DUP4 00001362: GT 00001363: PUSH2 0x136c 00001366: JUMPI 00001367: DUP3 00001368: PUSH2 0x1314 0000136b: JUMP 0000136c: JUMPDEST 0000136d: POP 0000136e: SWAP2 0000136f: SWAP1 00001370: POP 00001371: JUMP 00001372: JUMPDEST 00001373: PUSH1 0x00 00001375: DUP1 00001376: PUSH2 0x137f 00001379: DUP4 0000137a: DUP6 0000137b: PUSH2 0x1803 0000137e: JUMP 0000137f: JUMPDEST 00001380: SWAP1 00001381: POP 00001382: DUP4 00001383: DUP2 00001384: LT 00001385: ISZERO 00001386: PUSH2 0x1314 00001389: JUMPI 0000138a: PUSH1 0x40 0000138c: MLOAD 0000138d: PUSH3 0x461bcd 00001391: PUSH1 0xe5 00001393: SHL 00001394: DUP2 00001395: MSTORE 00001396: PUSH1 0x20 00001398: PUSH1 0x04 0000139a: DUP3 0000139b: ADD 0000139c: MSTORE 0000139d: PUSH1 0x1b 0000139f: PUSH1 0x24 000013a1: DUP3 000013a2: ADD 000013a3: MSTORE 000013a4: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 000013c5: PUSH1 0x44 000013c7: DUP3 000013c8: ADD 000013c9: MSTORE 000013ca: PUSH1 0x64 000013cc: ADD 000013cd: PUSH2 0x04a4 000013d0: JUMP 000013d1: JUMPDEST 000013d2: PUSH1 0x00 000013d4: PUSH2 0x1314 000013d7: DUP4 000013d8: DUP4 000013d9: PUSH1 0x40 000013db: MLOAD 000013dc: DUP1 000013dd: PUSH1 0x40 000013df: ADD 000013e0: PUSH1 0x40 000013e2: MSTORE 000013e3: DUP1 000013e4: PUSH1 0x1e 000013e6: DUP2 000013e7: MSTORE 000013e8: PUSH1 0x20 000013ea: ADD 000013eb: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 0000140c: DUP2 0000140d: MSTORE 0000140e: POP 0000140f: PUSH2 0x10a0 00001412: JUMP 00001413: JUMPDEST 00001414: PUSH1 0x06 00001416: SLOAD 00001417: PUSH1 0x40 00001419: DUP1 0000141a: MLOAD 0000141b: PUSH1 0x01 0000141d: PUSH1 0x01 0000141f: PUSH1 0xa0 00001421: SHL 00001422: SUB 00001423: DUP5 00001424: DUP2 00001425: AND 00001426: PUSH1 0x24 00001428: DUP1 00001429: DUP5 0000142a: ADD 0000142b: SWAP2 0000142c: SWAP1 0000142d: SWAP2 0000142e: MSTORE 0000142f: DUP4 00001430: MLOAD 00001431: DUP1 00001432: DUP5 00001433: SUB 00001434: SWAP1 00001435: SWAP2 00001436: ADD 00001437: DUP2 00001438: MSTORE 00001439: PUSH1 0x44 0000143b: SWAP1 0000143c: SWAP3 0000143d: ADD 0000143e: DUP4 0000143f: MSTORE 00001440: PUSH1 0x20 00001442: DUP3 00001443: ADD 00001444: DUP1 00001445: MLOAD 00001446: PUSH1 0x01 00001448: PUSH1 0x01 0000144a: PUSH1 0xe0 0000144c: SHL 0000144d: SUB 0000144e: AND 0000144f: PUSH4 0x70a08231 00001454: PUSH1 0xe0 00001456: SHL 00001457: OR 00001458: SWAP1 00001459: MSTORE 0000145a: SWAP2 0000145b: MLOAD 0000145c: PUSH1 0x00 0000145e: SWAP4 0000145f: DUP5 00001460: SWAP4 00001461: PUSH2 0x0100 00001464: SWAP1 00001465: SWAP2 00001466: DIV 00001467: AND 00001468: SWAP2 00001469: PUSH2 0x1471 0000146c: SWAP2 0000146d: PUSH2 0x18eb 00001470: JUMP 00001471: JUMPDEST 00001472: PUSH1 0x00 00001474: PUSH1 0x40 00001476: MLOAD 00001477: DUP1 00001478: DUP4 00001479: SUB 0000147a: DUP2 0000147b: PUSH1 0x00 0000147d: DUP7 0000147e: GAS 0000147f: CALL 00001480: SWAP2 00001481: POP 00001482: POP 00001483: RETURNDATASIZE 00001484: DUP1 00001485: PUSH1 0x00 00001487: DUP2 00001488: EQ 00001489: PUSH2 0x14ae 0000148c: JUMPI 0000148d: PUSH1 0x40 0000148f: MLOAD 00001490: SWAP2 00001491: POP 00001492: PUSH1 0x1f 00001494: NOT 00001495: PUSH1 0x3f 00001497: RETURNDATASIZE 00001498: ADD 00001499: AND 0000149a: DUP3 0000149b: ADD 0000149c: PUSH1 0x40 0000149e: MSTORE 0000149f: RETURNDATASIZE 000014a0: DUP3 000014a1: MSTORE 000014a2: RETURNDATASIZE 000014a3: PUSH1 0x00 000014a5: PUSH1 0x20 000014a7: DUP5 000014a8: ADD 000014a9: RETURNDATACOPY 000014aa: PUSH2 0x14b3 000014ad: JUMP 000014ae: JUMPDEST 000014af: PUSH1 0x60 000014b1: SWAP2 000014b2: POP 000014b3: JUMPDEST 000014b4: POP 000014b5: SWAP2 000014b6: POP 000014b7: POP 000014b8: DUP1 000014b9: PUSH1 0x1f 000014bb: DUP2 000014bc: MLOAD 000014bd: DUP2 000014be: LT 000014bf: PUSH2 0x14ca 000014c2: JUMPI 000014c3: PUSH2 0x14ca 000014c6: PUSH2 0x1842 000014c9: JUMP 000014ca: JUMPDEST 000014cb: ADD 000014cc: PUSH1 0x20 000014ce: ADD 000014cf: MLOAD 000014d0: PUSH1 0x01 000014d2: PUSH1 0x01 000014d4: PUSH1 0xf8 000014d6: SHL 000014d7: SUB 000014d8: NOT 000014d9: AND 000014da: ISZERO 000014db: SWAP4 000014dc: SWAP3 000014dd: POP 000014de: POP 000014df: POP 000014e0: JUMP 000014e1: JUMPDEST 000014e2: PUSH1 0x00 000014e4: DUP2 000014e5: DUP4 000014e6: PUSH2 0x1502 000014e9: JUMPI 000014ea: PUSH1 0x40 000014ec: MLOAD 000014ed: PUSH3 0x461bcd 000014f1: PUSH1 0xe5 000014f3: SHL 000014f4: DUP2 000014f5: MSTORE 000014f6: PUSH1 0x04 000014f8: ADD 000014f9: PUSH2 0x04a4 000014fc: SWAP2 000014fd: SWAP1 000014fe: PUSH2 0x1533 00001501: JUMP 00001502: JUMPDEST 00001503: POP 00001504: PUSH1 0x00 00001506: PUSH2 0x10d1 00001509: DUP5 0000150a: DUP7 0000150b: PUSH2 0x18c9 0000150e: JUMP 0000150f: JUMPDEST 00001510: PUSH1 0x00 00001512: JUMPDEST 00001513: DUP4 00001514: DUP2 00001515: LT 00001516: ISZERO 00001517: PUSH2 0x152a 0000151a: JUMPI 0000151b: DUP2 0000151c: DUP2 0000151d: ADD 0000151e: MLOAD 0000151f: DUP4 00001520: DUP3 00001521: ADD 00001522: MSTORE 00001523: PUSH1 0x20 00001525: ADD 00001526: PUSH2 0x1512 00001529: JUMP 0000152a: JUMPDEST 0000152b: POP 0000152c: POP 0000152d: PUSH1 0x00 0000152f: SWAP2 00001530: ADD 00001531: MSTORE 00001532: JUMP 00001533: JUMPDEST 00001534: PUSH1 0x20 00001536: DUP2 00001537: MSTORE 00001538: PUSH1 0x00 0000153a: DUP3 0000153b: MLOAD 0000153c: DUP1 0000153d: PUSH1 0x20 0000153f: DUP5 00001540: ADD 00001541: MSTORE 00001542: PUSH2 0x1552 00001545: DUP2 00001546: PUSH1 0x40 00001548: DUP6 00001549: ADD 0000154a: PUSH1 0x20 0000154c: DUP8 0000154d: ADD 0000154e: PUSH2 0x150f 00001551: JUMP 00001552: JUMPDEST 00001553: PUSH1 0x1f 00001555: ADD 00001556: PUSH1 0x1f 00001558: NOT 00001559: AND 0000155a: SWAP2 0000155b: SWAP1 0000155c: SWAP2 0000155d: ADD 0000155e: PUSH1 0x40 00001560: ADD 00001561: SWAP3 00001562: SWAP2 00001563: POP 00001564: POP 00001565: JUMP 00001566: JUMPDEST 00001567: PUSH1 0x01 00001569: PUSH1 0x01 0000156b: PUSH1 0xa0 0000156d: SHL 0000156e: SUB 0000156f: DUP2 00001570: AND 00001571: DUP2 00001572: EQ 00001573: PUSH2 0x157b 00001576: JUMPI 00001577: PUSH1 0x00 00001579: DUP1 0000157a: REVERT 0000157b: JUMPDEST 0000157c: POP 0000157d: JUMP 0000157e: JUMPDEST 0000157f: PUSH1 0x00 00001581: DUP1 00001582: PUSH1 0x40 00001584: DUP4 00001585: DUP6 00001586: SUB 00001587: SLT 00001588: ISZERO 00001589: PUSH2 0x1591 0000158c: JUMPI 0000158d: PUSH1 0x00 0000158f: DUP1 00001590: REVERT 00001591: JUMPDEST 00001592: DUP3 00001593: CALLDATALOAD 00001594: PUSH2 0x159c 00001597: DUP2 00001598: PUSH2 0x1566 0000159b: JUMP 0000159c: JUMPDEST 0000159d: SWAP5 0000159e: PUSH1 0x20 000015a0: SWAP4 000015a1: SWAP1 000015a2: SWAP4 000015a3: ADD 000015a4: CALLDATALOAD 000015a5: SWAP4 000015a6: POP 000015a7: POP 000015a8: POP 000015a9: JUMP 000015aa: JUMPDEST 000015ab: PUSH1 0x00 000015ad: DUP1 000015ae: PUSH1 0x00 000015b0: PUSH1 0x60 000015b2: DUP5 000015b3: DUP7 000015b4: SUB 000015b5: SLT 000015b6: ISZERO 000015b7: PUSH2 0x15bf 000015ba: JUMPI 000015bb: PUSH1 0x00 000015bd: DUP1 000015be: REVERT 000015bf: JUMPDEST 000015c0: DUP4 000015c1: CALLDATALOAD 000015c2: PUSH2 0x15ca 000015c5: DUP2 000015c6: PUSH2 0x1566 000015c9: JUMP 000015ca: JUMPDEST 000015cb: SWAP3 000015cc: POP 000015cd: PUSH1 0x20 000015cf: DUP5 000015d0: ADD 000015d1: CALLDATALOAD 000015d2: PUSH2 0x15da 000015d5: DUP2 000015d6: PUSH2 0x1566 000015d9: JUMP 000015da: JUMPDEST 000015db: SWAP3 000015dc: SWAP6 000015dd: SWAP3 000015de: SWAP5 000015df: POP 000015e0: POP 000015e1: POP 000015e2: PUSH1 0x40 000015e4: SWAP2 000015e5: SWAP1 000015e6: SWAP2 000015e7: ADD 000015e8: CALLDATALOAD 000015e9: SWAP1 000015ea: JUMP 000015eb: JUMPDEST 000015ec: PUSH1 0x00 000015ee: PUSH1 0x20 000015f0: DUP3 000015f1: DUP5 000015f2: SUB 000015f3: SLT 000015f4: ISZERO 000015f5: PUSH2 0x15fd 000015f8: JUMPI 000015f9: PUSH1 0x00 000015fb: DUP1 000015fc: REVERT 000015fd: JUMPDEST 000015fe: DUP2 000015ff: CALLDATALOAD 00001600: PUSH2 0x1314 00001603: DUP2 00001604: PUSH2 0x1566 00001607: JUMP 00001608: JUMPDEST 00001609: PUSH1 0x00 0000160b: DUP1 0000160c: PUSH1 0x40 0000160e: DUP4 0000160f: DUP6 00001610: SUB 00001611: SLT 00001612: ISZERO 00001613: PUSH2 0x161b 00001616: JUMPI 00001617: PUSH1 0x00 00001619: DUP1 0000161a: REVERT 0000161b: JUMPDEST 0000161c: DUP3 0000161d: CALLDATALOAD 0000161e: PUSH2 0x1626 00001621: DUP2 00001622: PUSH2 0x1566 00001625: JUMP 00001626: JUMPDEST 00001627: SWAP2 00001628: POP 00001629: PUSH1 0x20 0000162b: DUP4 0000162c: ADD 0000162d: CALLDATALOAD 0000162e: PUSH2 0x1636 00001631: DUP2 00001632: PUSH2 0x1566 00001635: JUMP 00001636: JUMPDEST 00001637: DUP1 00001638: SWAP2 00001639: POP 0000163a: POP 0000163b: SWAP3 0000163c: POP 0000163d: SWAP3 0000163e: SWAP1 0000163f: POP 00001640: JUMP 00001641: JUMPDEST 00001642: PUSH4 0x4e487b71 00001647: PUSH1 0xe0 00001649: SHL 0000164a: PUSH1 0x00 0000164c: MSTORE 0000164d: PUSH1 0x11 0000164f: PUSH1 0x04 00001651: MSTORE 00001652: PUSH1 0x24 00001654: PUSH1 0x00 00001656: REVERT 00001657: JUMPDEST 00001658: PUSH1 0x01 0000165a: DUP2 0000165b: DUP2 0000165c: JUMPDEST 0000165d: DUP1 0000165e: DUP6 0000165f: GT 00001660: ISZERO 00001661: PUSH2 0x1692 00001664: JUMPI 00001665: DUP2 00001666: PUSH1 0x00 00001668: NOT 00001669: DIV 0000166a: DUP3 0000166b: GT 0000166c: ISZERO 0000166d: PUSH2 0x1678 00001670: JUMPI 00001671: PUSH2 0x1678 00001674: PUSH2 0x1641 00001677: JUMP 00001678: JUMPDEST 00001679: DUP1 0000167a: DUP6 0000167b: AND 0000167c: ISZERO 0000167d: PUSH2 0x1685 00001680: JUMPI 00001681: SWAP2 00001682: DUP2 00001683: MUL 00001684: SWAP2 00001685: JUMPDEST 00001686: SWAP4 00001687: DUP5 00001688: SHR 00001689: SWAP4 0000168a: SWAP1 0000168b: DUP1 0000168c: MUL 0000168d: SWAP1 0000168e: PUSH2 0x165c 00001691: JUMP 00001692: JUMPDEST 00001693: POP 00001694: SWAP3 00001695: POP 00001696: SWAP3 00001697: SWAP1 00001698: POP 00001699: JUMP 0000169a: JUMPDEST 0000169b: PUSH1 0x00 0000169d: DUP3 0000169e: PUSH2 0x16a9 000016a1: JUMPI 000016a2: POP 000016a3: PUSH1 0x01 000016a5: PUSH2 0x0392 000016a8: JUMP 000016a9: JUMPDEST 000016aa: DUP2 000016ab: PUSH2 0x16b6 000016ae: JUMPI 000016af: POP 000016b0: PUSH1 0x00 000016b2: PUSH2 0x0392 000016b5: JUMP 000016b6: JUMPDEST 000016b7: DUP2 000016b8: PUSH1 0x01 000016ba: DUP2 000016bb: EQ 000016bc: PUSH2 0x16cc 000016bf: JUMPI 000016c0: PUSH1 0x02 000016c2: DUP2 000016c3: EQ 000016c4: PUSH2 0x16d6 000016c7: JUMPI 000016c8: PUSH2 0x16f2 000016cb: JUMP 000016cc: JUMPDEST 000016cd: PUSH1 0x01 000016cf: SWAP2 000016d0: POP 000016d1: POP 000016d2: PUSH2 0x0392 000016d5: JUMP 000016d6: JUMPDEST 000016d7: PUSH1 0xff 000016d9: DUP5 000016da: GT 000016db: ISZERO 000016dc: PUSH2 0x16e7 000016df: JUMPI 000016e0: PUSH2 0x16e7 000016e3: PUSH2 0x1641 000016e6: JUMP 000016e7: JUMPDEST 000016e8: POP 000016e9: POP 000016ea: PUSH1 0x01 000016ec: DUP3 000016ed: SHL 000016ee: PUSH2 0x0392 000016f1: JUMP 000016f2: JUMPDEST 000016f3: POP 000016f4: PUSH1 0x20 000016f6: DUP4 000016f7: LT 000016f8: PUSH2 0x0133 000016fb: DUP4 000016fc: LT 000016fd: AND 000016fe: PUSH1 0x4e 00001700: DUP5 00001701: LT 00001702: PUSH1 0x0b 00001704: DUP5 00001705: LT 00001706: AND 00001707: OR 00001708: ISZERO 00001709: PUSH2 0x1715 0000170c: JUMPI 0000170d: POP 0000170e: DUP2 0000170f: DUP2 00001710: EXP 00001711: PUSH2 0x0392 00001714: JUMP 00001715: JUMPDEST 00001716: PUSH2 0x171f 00001719: DUP4 0000171a: DUP4 0000171b: PUSH2 0x1657 0000171e: JUMP 0000171f: JUMPDEST 00001720: DUP1 00001721: PUSH1 0x00 00001723: NOT 00001724: DIV 00001725: DUP3 00001726: GT 00001727: ISZERO 00001728: PUSH2 0x1733 0000172b: JUMPI 0000172c: PUSH2 0x1733 0000172f: PUSH2 0x1641 00001732: JUMP 00001733: JUMPDEST 00001734: MUL 00001735: SWAP4 00001736: SWAP3 00001737: POP 00001738: POP 00001739: POP 0000173a: JUMP 0000173b: JUMPDEST 0000173c: PUSH1 0x00 0000173e: PUSH2 0x1314 00001741: PUSH1 0xff 00001743: DUP5 00001744: AND 00001745: DUP4 00001746: PUSH2 0x169a 00001749: JUMP 0000174a: JUMPDEST 0000174b: DUP1 0000174c: DUP3 0000174d: MUL 0000174e: DUP2 0000174f: ISZERO 00001750: DUP3 00001751: DUP3 00001752: DIV 00001753: DUP5 00001754: EQ 00001755: OR 00001756: PUSH2 0x0392 00001759: JUMPI 0000175a: PUSH2 0x0392 0000175d: PUSH2 0x1641 00001760: JUMP 00001761: JUMPDEST 00001762: PUSH1 0x20 00001764: DUP1 00001765: DUP3 00001766: MSTORE 00001767: DUP2 00001768: DUP2 00001769: ADD 0000176a: MSTORE 0000176b: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 0000178c: PUSH1 0x40 0000178e: DUP3 0000178f: ADD 00001790: MSTORE 00001791: PUSH1 0x60 00001793: ADD 00001794: SWAP1 00001795: JUMP 00001796: JUMPDEST 00001797: PUSH1 0x00 00001799: PUSH1 0x20 0000179b: DUP3 0000179c: DUP5 0000179d: SUB 0000179e: SLT 0000179f: ISZERO 000017a0: PUSH2 0x17a8 000017a3: JUMPI 000017a4: PUSH1 0x00 000017a6: DUP1 000017a7: REVERT 000017a8: JUMPDEST 000017a9: DUP2 000017aa: MLOAD 000017ab: PUSH2 0x1314 000017ae: DUP2 000017af: PUSH2 0x1566 000017b2: JUMP 000017b3: JUMPDEST 000017b4: PUSH1 0x00 000017b6: DUP1 000017b7: PUSH1 0x00 000017b9: PUSH1 0x60 000017bb: DUP5 000017bc: DUP7 000017bd: SUB 000017be: SLT 000017bf: ISZERO 000017c0: PUSH2 0x17c8 000017c3: JUMPI 000017c4: PUSH1 0x00 000017c6: DUP1 000017c7: REVERT 000017c8: JUMPDEST 000017c9: DUP4 000017ca: MLOAD 000017cb: SWAP3 000017cc: POP 000017cd: PUSH1 0x20 000017cf: DUP5 000017d0: ADD 000017d1: MLOAD 000017d2: SWAP2 000017d3: POP 000017d4: PUSH1 0x40 000017d6: DUP5 000017d7: ADD 000017d8: MLOAD 000017d9: SWAP1 000017da: POP 000017db: SWAP3 000017dc: POP 000017dd: SWAP3 000017de: POP 000017df: SWAP3 000017e0: JUMP 000017e1: JUMPDEST 000017e2: PUSH1 0x00 000017e4: PUSH1 0x20 000017e6: DUP3 000017e7: DUP5 000017e8: SUB 000017e9: SLT 000017ea: ISZERO 000017eb: PUSH2 0x17f3 000017ee: JUMPI 000017ef: PUSH1 0x00 000017f1: DUP1 000017f2: REVERT 000017f3: JUMPDEST 000017f4: DUP2 000017f5: MLOAD 000017f6: DUP1 000017f7: ISZERO 000017f8: ISZERO 000017f9: DUP2 000017fa: EQ 000017fb: PUSH2 0x1314 000017fe: JUMPI 000017ff: PUSH1 0x00 00001801: DUP1 00001802: REVERT 00001803: JUMPDEST 00001804: DUP1 00001805: DUP3 00001806: ADD 00001807: DUP1 00001808: DUP3 00001809: GT 0000180a: ISZERO 0000180b: PUSH2 0x0392 0000180e: JUMPI 0000180f: PUSH2 0x0392 00001812: PUSH2 0x1641 00001815: JUMP 00001816: JUMPDEST 00001817: PUSH1 0x00 00001819: PUSH1 0x01 0000181b: DUP3 0000181c: ADD 0000181d: PUSH2 0x1828 00001820: JUMPI 00001821: PUSH2 0x1828 00001824: PUSH2 0x1641 00001827: JUMP 00001828: JUMPDEST 00001829: POP 0000182a: PUSH1 0x01 0000182c: ADD 0000182d: SWAP1 0000182e: JUMP 0000182f: JUMPDEST 00001830: DUP2 00001831: DUP2 00001832: SUB 00001833: DUP2 00001834: DUP2 00001835: GT 00001836: ISZERO 00001837: PUSH2 0x0392 0000183a: JUMPI 0000183b: PUSH2 0x0392 0000183e: PUSH2 0x1641 00001841: JUMP 00001842: JUMPDEST 00001843: PUSH4 0x4e487b71 00001848: PUSH1 0xe0 0000184a: SHL 0000184b: PUSH1 0x00 0000184d: MSTORE 0000184e: PUSH1 0x32 00001850: PUSH1 0x04 00001852: MSTORE 00001853: PUSH1 0x24 00001855: PUSH1 0x00 00001857: REVERT 00001858: JUMPDEST 00001859: PUSH1 0x00 0000185b: PUSH1 0xa0 0000185d: DUP3 0000185e: ADD 0000185f: DUP8 00001860: DUP4 00001861: MSTORE 00001862: PUSH1 0x20 00001864: DUP8 00001865: DUP2 00001866: DUP6 00001867: ADD 00001868: MSTORE 00001869: PUSH1 0xa0 0000186b: PUSH1 0x40 0000186d: DUP6 0000186e: ADD 0000186f: MSTORE 00001870: DUP2 00001871: DUP8 00001872: MLOAD 00001873: DUP1 00001874: DUP5 00001875: MSTORE 00001876: PUSH1 0xc0 00001878: DUP7 00001879: ADD 0000187a: SWAP2 0000187b: POP 0000187c: DUP3 0000187d: DUP10 0000187e: ADD 0000187f: SWAP4 00001880: POP 00001881: PUSH1 0x00 00001883: JUMPDEST 00001884: DUP2 00001885: DUP2 00001886: LT 00001887: ISZERO 00001888: PUSH2 0x18a8 0000188b: JUMPI 0000188c: DUP5 0000188d: MLOAD 0000188e: PUSH1 0x01 00001890: PUSH1 0x01 00001892: PUSH1 0xa0 00001894: SHL 00001895: SUB 00001896: AND 00001897: DUP4 00001898: MSTORE 00001899: SWAP4 0000189a: DUP4 0000189b: ADD 0000189c: SWAP4 0000189d: SWAP2 0000189e: DUP4 0000189f: ADD 000018a0: SWAP2 000018a1: PUSH1 0x01 000018a3: ADD 000018a4: PUSH2 0x1883 000018a7: JUMP 000018a8: JUMPDEST 000018a9: POP 000018aa: POP 000018ab: PUSH1 0x01 000018ad: PUSH1 0x01 000018af: PUSH1 0xa0 000018b1: SHL 000018b2: SUB 000018b3: SWAP7 000018b4: SWAP1 000018b5: SWAP7 000018b6: AND 000018b7: PUSH1 0x60 000018b9: DUP6 000018ba: ADD 000018bb: MSTORE 000018bc: POP 000018bd: POP 000018be: POP 000018bf: PUSH1 0x80 000018c1: ADD 000018c2: MSTORE 000018c3: SWAP4 000018c4: SWAP3 000018c5: POP 000018c6: POP 000018c7: POP 000018c8: JUMP 000018c9: JUMPDEST 000018ca: PUSH1 0x00 000018cc: DUP3 000018cd: PUSH2 0x18e6 000018d0: JUMPI 000018d1: PUSH4 0x4e487b71 000018d6: PUSH1 0xe0 000018d8: SHL 000018d9: PUSH1 0x00 000018db: MSTORE 000018dc: PUSH1 0x12 000018de: PUSH1 0x04 000018e0: MSTORE 000018e1: PUSH1 0x24 000018e3: PUSH1 0x00 000018e5: REVERT 000018e6: JUMPDEST 000018e7: POP 000018e8: DIV 000018e9: SWAP1 000018ea: JUMP 000018eb: JUMPDEST 000018ec: PUSH1 0x00 000018ee: DUP3 000018ef: MLOAD 000018f0: PUSH2 0x18fd 000018f3: DUP2 000018f4: DUP5 000018f5: PUSH1 0x20 000018f7: DUP8 000018f8: ADD 000018f9: PUSH2 0x150f 000018fc: JUMP 000018fd: JUMPDEST 000018fe: SWAP2 000018ff: SWAP1 00001900: SWAP2 00001901: ADD 00001902: SWAP3 00001903: SWAP2 00001904: POP 00001905: POP 00001906: JUMP 00001907: INVALID 00001908: GASLIMIT 00001909: MSTORE 0000190a: NUMBER 0000190b: ORIGIN 0000190c: ADDRESS 0000190d: GASPRICE 0000190e: KECCAK256 0000190f: PUSH21 0x72616e7366657220616d6f756e7420657863656564 00001925: PUSH20 0x20616c6c6f77616e6365a2646970667358221220 0000193a: SWAP15 0000193b: SWAP16 0000193c: UNKNOWN(0xFC) 0000193d: UNKNOWN(0xE3) 0000193e: UNKNOWN(0xD3) 0000193f: BLOCKHASH 00001940: UNKNOWN(0xE8) 00001941: PUSH3 0x0101f6 00001945: DIV 00001946: GAS 00001947: EXP 00001948: PUSH3 0xb93150 0000194c: UNKNOWN(0xC6) 0000194d: UNKNOWN(0xE8) 0000194e: CALLDATACOPY 0000194f: UNKNOWN(0x4F) 00001950: SGT 00001951: SWAP2 00001952: SLT 00001953: PUSH20
| 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": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbf474bed",
"selector": "0xbf474bed",
"calldata_variants": [
"0xbf474bed",
"0xbf474bed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc876d0b9",
"selector": "0xc876d0b9",
"calldata_variants": [
"0xc876d0b9",
"0xc876d0b90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc9567bf9",
"selector": "0xc9567bf9",
"calldata_variants": [
"0xc9567bf9",
"0xc9567bf90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x751039fc",
"selector": "0x751039fc",
"calldata_variants": [
"0x751039fc",
"0x751039fc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7d1db4a5",
"selector": "0x7d1db4a5",
"calldata_variants": [
"0x7d1db4a5",
"0x7d1db4a50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 3174,
"type": "tx_origin_used"
},
{
"pc": 3324,
"type": "tx_origin_used"
},
{
"pc": 6411,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xee66ab57d117f741eeed632ca6b5831bb4cd8b9bd5eae86da1d3aa615fdb533b
call_targets:
0x5e4e1a61ab4fd535602e406512edebd2b082f6db
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xee66ab57d117f741eeed632ca6b5831bb4cd8b9bd5eae86da1d3aa615fdb533b",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x5e4e1a61ab4fd535602e406512edebd2b082f6db"
],
"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": "0xbf474bed",
"selector": "0xbf474bed",
"calldata_variants": [
"0xbf474bed",
"0xbf474bed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc876d0b9",
"selector": "0xc876d0b9",
"calldata_variants": [
"0xc876d0b9",
"0xc876d0b90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc9567bf9",
"selector": "0xc9567bf9",
"calldata_variants": [
"0xc9567bf9",
"0xc9567bf90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x751039fc",
"selector": "0x751039fc",
"calldata_variants": [
"0x751039fc",
"0x751039fc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7d1db4a5",
"selector": "0x7d1db4a5",
"calldata_variants": [
"0x7d1db4a5",
"0x7d1db4a50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1990,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2223,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2349,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 6,
"guards_detected": [
{
"pc": 3174,
"type": "tx_origin_used"
},
{
"pc": 3324,
"type": "tx_origin_used"
},
{
"pc": 6411,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 6
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xee66ab57d117f741eeed632ca6b5831bb4cd8b9bd5eae86da1d3aa615fdb533b
call_targets:
0x5e4e1a61ab4fd535602e406512edebd2b082f6db
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xee66ab57d117f741eeed632ca6b5831bb4cd8b9bd5eae86da1d3aa615fdb533b",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x5e4e1a61ab4fd535602e406512edebd2b082f6db"
],
"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": "0xbf474bed",
"selector": "0xbf474bed",
"calldata_variants": [
"0xbf474bed",
"0xbf474bed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc876d0b9",
"selector": "0xc876d0b9",
"calldata_variants": [
"0xc876d0b9",
"0xc876d0b90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc9567bf9",
"selector": "0xc9567bf9",
"calldata_variants": [
"0xc9567bf9",
"0xc9567bf90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x751039fc",
"selector": "0x751039fc",
"calldata_variants": [
"0x751039fc",
"0x751039fc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7d1db4a5",
"selector": "0x7d1db4a5",
"calldata_variants": [
"0x7d1db4a5",
"0x7d1db4a50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1990,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2223,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2349,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 6,
"guards_detected": [
{
"pc": 3174,
"type": "tx_origin_used"
},
{
"pc": 3324,
"type": "tx_origin_used"
},
{
"pc": 6411,
"type": "tx_origin_used"
}
]
}
|