019b477e-d19b-71c8-9ce4-e1a6421ff198
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 |
|---|---|---|---|---|
| 27789 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 27790 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 71692 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 71693 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 71694 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 71695 | 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 0x0113 0000000c: JUMPI 0000000d: PUSH0 0000000e: CALLDATALOAD 0000000f: PUSH1 0xe0 00000011: SHR 00000012: DUP1 00000013: PUSH4 0x751039fc 00000018: GT 00000019: PUSH2 0x009d 0000001c: JUMPI 0000001d: DUP1 0000001e: PUSH4 0xa9059cbb 00000023: GT 00000024: PUSH2 0x0062 00000027: JUMPI 00000028: DUP1 00000029: PUSH4 0xa9059cbb 0000002e: EQ 0000002f: PUSH2 0x02eb 00000032: JUMPI 00000033: DUP1 00000034: PUSH4 0xbf474bed 00000039: EQ 0000003a: PUSH2 0x030a 0000003d: JUMPI 0000003e: DUP1 0000003f: PUSH4 0xc876d0b9 00000044: EQ 00000045: PUSH2 0x031f 00000048: JUMPI 00000049: DUP1 0000004a: PUSH4 0xc9567bf9 0000004f: EQ 00000050: PUSH2 0x0338 00000053: JUMPI 00000054: DUP1 00000055: PUSH4 0xdd62ed3e 0000005a: EQ 0000005b: PUSH2 0x034c 0000005e: JUMPI 0000005f: PUSH0 00000060: DUP1 00000061: REVERT 00000062: JUMPDEST 00000063: DUP1 00000064: PUSH4 0x751039fc 00000069: EQ 0000006a: PUSH2 0x025c 0000006d: JUMPI 0000006e: DUP1 0000006f: PUSH4 0x7d1db4a5 00000074: EQ 00000075: PUSH2 0x0270 00000078: JUMPI 00000079: DUP1 0000007a: PUSH4 0x8da5cb5b 0000007f: EQ 00000080: PUSH2 0x0285 00000083: JUMPI 00000084: DUP1 00000085: PUSH4 0x8f9a55c0 0000008a: EQ 0000008b: PUSH2 0x02ab 0000008e: JUMPI 0000008f: DUP1 00000090: PUSH4 0x95d89b41 00000095: EQ 00000096: PUSH2 0x02c0 00000099: JUMPI 0000009a: PUSH0 0000009b: DUP1 0000009c: REVERT 0000009d: JUMPDEST 0000009e: DUP1 0000009f: PUSH4 0x23b872dd 000000a4: GT 000000a5: PUSH2 0x00e3 000000a8: JUMPI 000000a9: DUP1 000000aa: PUSH4 0x23b872dd 000000af: EQ 000000b0: PUSH2 0x01c4 000000b3: JUMPI 000000b4: DUP1 000000b5: PUSH4 0x313ce567 000000ba: EQ 000000bb: PUSH2 0x01e3 000000be: JUMPI 000000bf: DUP1 000000c0: PUSH4 0x51bc3c85 000000c5: EQ 000000c6: PUSH2 0x01fe 000000c9: JUMPI 000000ca: DUP1 000000cb: PUSH4 0x70a08231 000000d0: EQ 000000d1: PUSH2 0x0214 000000d4: JUMPI 000000d5: DUP1 000000d6: PUSH4 0x715018a6 000000db: EQ 000000dc: PUSH2 0x0248 000000df: JUMPI 000000e0: PUSH0 000000e1: DUP1 000000e2: REVERT 000000e3: JUMPDEST 000000e4: DUP1 000000e5: PUSH4 0x06fdde03 000000ea: EQ 000000eb: PUSH2 0x011e 000000ee: JUMPI 000000ef: DUP1 000000f0: PUSH4 0x095ea7b3 000000f5: EQ 000000f6: PUSH2 0x015e 000000f9: JUMPI 000000fa: DUP1 000000fb: PUSH4 0x0faee56f 00000100: EQ 00000101: PUSH2 0x018d 00000104: JUMPI 00000105: DUP1 00000106: PUSH4 0x18160ddd 0000010b: EQ 0000010c: PUSH2 0x01b0 0000010f: JUMPI 00000110: PUSH0 00000111: DUP1 00000112: REVERT 00000113: JUMPDEST 00000114: CALLDATASIZE 00000115: PUSH2 0x011a 00000118: JUMPI 00000119: STOP 0000011a: JUMPDEST 0000011b: PUSH0 0000011c: DUP1 0000011d: REVERT 0000011e: JUMPDEST 0000011f: CALLVALUE 00000120: DUP1 00000121: ISZERO 00000122: PUSH2 0x0129 00000125: JUMPI 00000126: PUSH0 00000127: DUP1 00000128: REVERT 00000129: JUMPDEST 0000012a: POP 0000012b: PUSH1 0x40 0000012d: DUP1 0000012e: MLOAD 0000012f: DUP1 00000130: DUP3 00000131: ADD 00000132: SWAP1 00000133: SWAP2 00000134: MSTORE 00000135: PUSH1 0x06 00000137: DUP2 00000138: MSTORE 00000139: PUSH6 0x16151c9bdb1b 00000140: PUSH1 0xd2 00000142: SHL 00000143: PUSH1 0x20 00000145: DUP3 00000146: ADD 00000147: MSTORE 00000148: JUMPDEST 00000149: PUSH1 0x40 0000014b: MLOAD 0000014c: PUSH2 0x0155 0000014f: SWAP2 00000150: SWAP1 00000151: PUSH2 0x14f9 00000154: JUMP 00000155: JUMPDEST 00000156: PUSH1 0x40 00000158: MLOAD 00000159: DUP1 0000015a: SWAP2 0000015b: SUB 0000015c: SWAP1 0000015d: RETURN 0000015e: JUMPDEST 0000015f: CALLVALUE 00000160: DUP1 00000161: ISZERO 00000162: PUSH2 0x0169 00000165: JUMPI 00000166: PUSH0 00000167: DUP1 00000168: REVERT 00000169: JUMPDEST 0000016a: POP 0000016b: PUSH2 0x017d 0000016e: PUSH2 0x0178 00000171: CALLDATASIZE 00000172: PUSH1 0x04 00000174: PUSH2 0x155b 00000177: JUMP 00000178: JUMPDEST 00000179: PUSH2 0x0390 0000017c: JUMP 0000017d: JUMPDEST 0000017e: PUSH1 0x40 00000180: MLOAD 00000181: SWAP1 00000182: ISZERO 00000183: ISZERO 00000184: DUP2 00000185: MSTORE 00000186: PUSH1 0x20 00000188: ADD 00000189: PUSH2 0x0155 0000018c: JUMP 0000018d: JUMPDEST 0000018e: CALLVALUE 0000018f: DUP1 00000190: ISZERO 00000191: PUSH2 0x0198 00000194: JUMPI 00000195: PUSH0 00000196: DUP1 00000197: REVERT 00000198: JUMPDEST 00000199: POP 0000019a: PUSH2 0x01a2 0000019d: PUSH1 0x14 0000019f: SLOAD 000001a0: DUP2 000001a1: JUMP 000001a2: JUMPDEST 000001a3: PUSH1 0x40 000001a5: MLOAD 000001a6: SWAP1 000001a7: DUP2 000001a8: MSTORE 000001a9: PUSH1 0x20 000001ab: ADD 000001ac: PUSH2 0x0155 000001af: JUMP 000001b0: JUMPDEST 000001b1: CALLVALUE 000001b2: DUP1 000001b3: ISZERO 000001b4: PUSH2 0x01bb 000001b7: JUMPI 000001b8: PUSH0 000001b9: DUP1 000001ba: REVERT 000001bb: JUMPDEST 000001bc: POP 000001bd: PUSH2 0x01a2 000001c0: PUSH2 0x03a6 000001c3: JUMP 000001c4: JUMPDEST 000001c5: CALLVALUE 000001c6: DUP1 000001c7: ISZERO 000001c8: PUSH2 0x01cf 000001cb: JUMPI 000001cc: PUSH0 000001cd: DUP1 000001ce: REVERT 000001cf: JUMPDEST 000001d0: POP 000001d1: PUSH2 0x017d 000001d4: PUSH2 0x01de 000001d7: CALLDATASIZE 000001d8: PUSH1 0x04 000001da: PUSH2 0x1585 000001dd: JUMP 000001de: JUMPDEST 000001df: PUSH2 0x03c6 000001e2: JUMP 000001e3: JUMPDEST 000001e4: CALLVALUE 000001e5: DUP1 000001e6: ISZERO 000001e7: PUSH2 0x01ee 000001ea: JUMPI 000001eb: PUSH0 000001ec: DUP1 000001ed: REVERT 000001ee: JUMPDEST 000001ef: POP 000001f0: PUSH1 0x40 000001f2: MLOAD 000001f3: PUSH1 0x09 000001f5: DUP2 000001f6: MSTORE 000001f7: PUSH1 0x20 000001f9: ADD 000001fa: PUSH2 0x0155 000001fd: JUMP 000001fe: JUMPDEST 000001ff: CALLVALUE 00000200: DUP1 00000201: ISZERO 00000202: PUSH2 0x0209 00000205: JUMPI 00000206: PUSH0 00000207: DUP1 00000208: REVERT 00000209: JUMPDEST 0000020a: POP 0000020b: PUSH2 0x0212 0000020e: PUSH2 0x042d 00000211: JUMP 00000212: JUMPDEST 00000213: STOP 00000214: JUMPDEST 00000215: CALLVALUE 00000216: DUP1 00000217: ISZERO 00000218: PUSH2 0x021f 0000021b: JUMPI 0000021c: PUSH0 0000021d: DUP1 0000021e: REVERT 0000021f: JUMPDEST 00000220: POP 00000221: PUSH2 0x01a2 00000224: PUSH2 0x022e 00000227: CALLDATASIZE 00000228: PUSH1 0x04 0000022a: PUSH2 0x15c3 0000022d: JUMP 0000022e: JUMPDEST 0000022f: PUSH1 0x01 00000231: PUSH1 0x01 00000233: PUSH1 0xa0 00000235: SHL 00000236: SUB 00000237: AND 00000238: PUSH0 00000239: SWAP1 0000023a: DUP2 0000023b: MSTORE 0000023c: PUSH1 0x01 0000023e: PUSH1 0x20 00000240: MSTORE 00000241: PUSH1 0x40 00000243: SWAP1 00000244: KECCAK256 00000245: SLOAD 00000246: SWAP1 00000247: JUMP 00000248: JUMPDEST 00000249: CALLVALUE 0000024a: DUP1 0000024b: ISZERO 0000024c: PUSH2 0x0253 0000024f: JUMPI 00000250: PUSH0 00000251: DUP1 00000252: REVERT 00000253: JUMPDEST 00000254: POP 00000255: PUSH2 0x0212 00000258: PUSH2 0x0483 0000025b: JUMP 0000025c: JUMPDEST 0000025d: CALLVALUE 0000025e: DUP1 0000025f: ISZERO 00000260: PUSH2 0x0267 00000263: JUMPI 00000264: PUSH0 00000265: DUP1 00000266: REVERT 00000267: JUMPDEST 00000268: POP 00000269: PUSH2 0x0212 0000026c: PUSH2 0x04fd 0000026f: JUMP 00000270: JUMPDEST 00000271: CALLVALUE 00000272: DUP1 00000273: ISZERO 00000274: PUSH2 0x027b 00000277: JUMPI 00000278: PUSH0 00000279: DUP1 0000027a: REVERT 0000027b: JUMPDEST 0000027c: POP 0000027d: PUSH2 0x01a2 00000280: PUSH1 0x11 00000282: SLOAD 00000283: DUP2 00000284: JUMP 00000285: JUMPDEST 00000286: CALLVALUE 00000287: DUP1 00000288: ISZERO 00000289: PUSH2 0x0290 0000028c: JUMPI 0000028d: PUSH0 0000028e: DUP1 0000028f: REVERT 00000290: JUMPDEST 00000291: POP 00000292: PUSH0 00000293: SLOAD 00000294: PUSH1 0x40 00000296: MLOAD 00000297: PUSH1 0x01 00000299: PUSH1 0x01 0000029b: PUSH1 0xa0 0000029d: SHL 0000029e: SUB 0000029f: SWAP1 000002a0: SWAP2 000002a1: AND 000002a2: DUP2 000002a3: MSTORE 000002a4: PUSH1 0x20 000002a6: ADD 000002a7: PUSH2 0x0155 000002aa: JUMP 000002ab: JUMPDEST 000002ac: CALLVALUE 000002ad: DUP1 000002ae: ISZERO 000002af: PUSH2 0x02b6 000002b2: JUMPI 000002b3: PUSH0 000002b4: DUP1 000002b5: REVERT 000002b6: JUMPDEST 000002b7: POP 000002b8: PUSH2 0x01a2 000002bb: PUSH1 0x12 000002bd: SLOAD 000002be: DUP2 000002bf: JUMP 000002c0: JUMPDEST 000002c1: CALLVALUE 000002c2: DUP1 000002c3: ISZERO 000002c4: PUSH2 0x02cb 000002c7: JUMPI 000002c8: PUSH0 000002c9: DUP1 000002ca: REVERT 000002cb: JUMPDEST 000002cc: POP 000002cd: PUSH1 0x40 000002cf: DUP1 000002d0: MLOAD 000002d1: DUP1 000002d2: DUP3 000002d3: ADD 000002d4: SWAP1 000002d5: SWAP2 000002d6: MSTORE 000002d7: PUSH1 0x03 000002d9: DUP2 000002da: MSTORE 000002db: PUSH3 0x2c2a29 000002df: PUSH1 0xe9 000002e1: SHL 000002e2: PUSH1 0x20 000002e4: DUP3 000002e5: ADD 000002e6: MSTORE 000002e7: PUSH2 0x0148 000002ea: JUMP 000002eb: JUMPDEST 000002ec: CALLVALUE 000002ed: DUP1 000002ee: ISZERO 000002ef: PUSH2 0x02f6 000002f2: JUMPI 000002f3: PUSH0 000002f4: DUP1 000002f5: REVERT 000002f6: JUMPDEST 000002f7: POP 000002f8: PUSH2 0x017d 000002fb: PUSH2 0x0305 000002fe: CALLDATASIZE 000002ff: PUSH1 0x04 00000301: PUSH2 0x155b 00000304: JUMP 00000305: JUMPDEST 00000306: PUSH2 0x05b8 00000309: JUMP 0000030a: JUMPDEST 0000030b: CALLVALUE 0000030c: DUP1 0000030d: ISZERO 0000030e: PUSH2 0x0315 00000311: JUMPI 00000312: PUSH0 00000313: DUP1 00000314: REVERT 00000315: JUMPDEST 00000316: POP 00000317: PUSH2 0x01a2 0000031a: PUSH1 0x13 0000031c: SLOAD 0000031d: DUP2 0000031e: JUMP 0000031f: JUMPDEST 00000320: CALLVALUE 00000321: DUP1 00000322: ISZERO 00000323: PUSH2 0x032a 00000326: JUMPI 00000327: PUSH0 00000328: DUP1 00000329: REVERT 0000032a: JUMPDEST 0000032b: POP 0000032c: PUSH1 0x05 0000032e: SLOAD 0000032f: PUSH2 0x017d 00000332: SWAP1 00000333: PUSH1 0xff 00000335: AND 00000336: DUP2 00000337: JUMP 00000338: JUMPDEST 00000339: CALLVALUE 0000033a: DUP1 0000033b: ISZERO 0000033c: PUSH2 0x0343 0000033f: JUMPI 00000340: PUSH0 00000341: DUP1 00000342: REVERT 00000343: JUMPDEST 00000344: POP 00000345: PUSH2 0x0212 00000348: PUSH2 0x05c4 0000034b: JUMP 0000034c: JUMPDEST 0000034d: CALLVALUE 0000034e: DUP1 0000034f: ISZERO 00000350: PUSH2 0x0357 00000353: JUMPI 00000354: PUSH0 00000355: DUP1 00000356: REVERT 00000357: JUMPDEST 00000358: POP 00000359: PUSH2 0x01a2 0000035c: PUSH2 0x0366 0000035f: CALLDATASIZE 00000360: PUSH1 0x04 00000362: PUSH2 0x15de 00000365: JUMP 00000366: JUMPDEST 00000367: PUSH1 0x01 00000369: PUSH1 0x01 0000036b: PUSH1 0xa0 0000036d: SHL 0000036e: SUB 0000036f: SWAP2 00000370: DUP3 00000371: AND 00000372: PUSH0 00000373: SWAP1 00000374: DUP2 00000375: MSTORE 00000376: PUSH1 0x02 00000378: PUSH1 0x20 0000037a: SWAP1 0000037b: DUP2 0000037c: MSTORE 0000037d: PUSH1 0x40 0000037f: DUP1 00000380: DUP4 00000381: KECCAK256 00000382: SWAP4 00000383: SWAP1 00000384: SWAP5 00000385: AND 00000386: DUP3 00000387: MSTORE 00000388: SWAP2 00000389: SWAP1 0000038a: SWAP2 0000038b: MSTORE 0000038c: KECCAK256 0000038d: SLOAD 0000038e: SWAP1 0000038f: JUMP 00000390: JUMPDEST 00000391: PUSH0 00000392: PUSH2 0x039c 00000395: CALLER 00000396: DUP5 00000397: DUP5 00000398: PUSH2 0x096d 0000039b: JUMP 0000039c: JUMPDEST 0000039d: POP 0000039e: PUSH1 0x01 000003a0: JUMPDEST 000003a1: SWAP3 000003a2: SWAP2 000003a3: POP 000003a4: POP 000003a5: JUMP 000003a6: JUMPDEST 000003a7: PUSH0 000003a8: PUSH2 0x03b3 000003ab: PUSH1 0x09 000003ad: PUSH1 0x0a 000003af: PUSH2 0x1709 000003b2: JUMP 000003b3: JUMPDEST 000003b4: PUSH2 0x03c1 000003b7: SWAP1 000003b8: PUSH4 0x3b9aca00 000003bd: PUSH2 0x1717 000003c0: JUMP 000003c1: JUMPDEST 000003c2: SWAP1 000003c3: POP 000003c4: SWAP1 000003c5: JUMP 000003c6: JUMPDEST 000003c7: PUSH0 000003c8: PUSH2 0x03d2 000003cb: DUP5 000003cc: DUP5 000003cd: DUP5 000003ce: PUSH2 0x0a90 000003d1: JUMP 000003d2: JUMPDEST 000003d3: PUSH2 0x0423 000003d6: DUP5 000003d7: CALLER 000003d8: PUSH2 0x041e 000003db: DUP6 000003dc: PUSH1 0x40 000003de: MLOAD 000003df: DUP1 000003e0: PUSH1 0x60 000003e2: ADD 000003e3: PUSH1 0x40 000003e5: MSTORE 000003e6: DUP1 000003e7: PUSH1 0x28 000003e9: DUP2 000003ea: MSTORE 000003eb: PUSH1 0x20 000003ed: ADD 000003ee: PUSH2 0x18a9 000003f1: PUSH1 0x28 000003f3: SWAP2 000003f4: CODECOPY 000003f5: PUSH1 0x01 000003f7: PUSH1 0x01 000003f9: PUSH1 0xa0 000003fb: SHL 000003fc: SUB 000003fd: DUP11 000003fe: AND 000003ff: PUSH0 00000400: SWAP1 00000401: DUP2 00000402: MSTORE 00000403: PUSH1 0x02 00000405: PUSH1 0x20 00000407: SWAP1 00000408: DUP2 00000409: MSTORE 0000040a: PUSH1 0x40 0000040c: DUP1 0000040d: DUP4 0000040e: KECCAK256 0000040f: CALLER 00000410: DUP5 00000411: MSTORE 00000412: SWAP1 00000413: SWAP2 00000414: MSTORE 00000415: SWAP1 00000416: KECCAK256 00000417: SLOAD 00000418: SWAP2 00000419: SWAP1 0000041a: PUSH2 0x10c9 0000041d: JUMP 0000041e: JUMPDEST 0000041f: PUSH2 0x096d 00000422: JUMP 00000423: JUMPDEST 00000424: POP 00000425: PUSH1 0x01 00000427: SWAP4 00000428: SWAP3 00000429: POP 0000042a: POP 0000042b: POP 0000042c: JUMP 0000042d: JUMPDEST 0000042e: PUSH1 0x05 00000430: SLOAD 00000431: PUSH2 0x0100 00000434: SWAP1 00000435: DIV 00000436: PUSH1 0x01 00000438: PUSH1 0x01 0000043a: PUSH1 0xa0 0000043c: SHL 0000043d: SUB 0000043e: AND 0000043f: CALLER 00000440: PUSH1 0x01 00000442: PUSH1 0x01 00000444: PUSH1 0xa0 00000446: SHL 00000447: SUB 00000448: AND 00000449: EQ 0000044a: PUSH2 0x0451 0000044d: JUMPI 0000044e: PUSH0 0000044f: DUP1 00000450: REVERT 00000451: JUMPDEST 00000452: ADDRESS 00000453: PUSH0 00000454: SWAP1 00000455: DUP2 00000456: MSTORE 00000457: PUSH1 0x01 00000459: PUSH1 0x20 0000045b: MSTORE 0000045c: PUSH1 0x40 0000045e: SWAP1 0000045f: KECCAK256 00000460: SLOAD 00000461: DUP1 00000462: ISZERO 00000463: PUSH2 0x046f 00000466: JUMPI 00000467: PUSH2 0x046f 0000046a: DUP2 0000046b: PUSH2 0x1101 0000046e: JUMP 0000046f: JUMPDEST 00000470: SELFBALANCE 00000471: DUP1 00000472: ISZERO 00000473: PUSH2 0x047f 00000476: JUMPI 00000477: PUSH2 0x047f 0000047a: DUP2 0000047b: PUSH2 0x1271 0000047e: JUMP 0000047f: JUMPDEST 00000480: POP 00000481: POP 00000482: JUMP 00000483: JUMPDEST 00000484: PUSH0 00000485: SLOAD 00000486: PUSH1 0x01 00000488: PUSH1 0x01 0000048a: PUSH1 0xa0 0000048c: SHL 0000048d: SUB 0000048e: AND 0000048f: CALLER 00000490: EQ 00000491: PUSH2 0x04b5 00000494: JUMPI 00000495: PUSH1 0x40 00000497: MLOAD 00000498: PUSH3 0x461bcd 0000049c: PUSH1 0xe5 0000049e: SHL 0000049f: DUP2 000004a0: MSTORE 000004a1: PUSH1 0x04 000004a3: ADD 000004a4: PUSH2 0x04ac 000004a7: SWAP1 000004a8: PUSH2 0x172e 000004ab: JUMP 000004ac: JUMPDEST 000004ad: PUSH1 0x40 000004af: MLOAD 000004b0: DUP1 000004b1: SWAP2 000004b2: SUB 000004b3: SWAP1 000004b4: REVERT 000004b5: JUMPDEST 000004b6: PUSH0 000004b7: DUP1 000004b8: SLOAD 000004b9: PUSH1 0x40 000004bb: MLOAD 000004bc: PUSH1 0x01 000004be: PUSH1 0x01 000004c0: PUSH1 0xa0 000004c2: SHL 000004c3: SUB 000004c4: SWAP1 000004c5: SWAP2 000004c6: AND 000004c7: SWAP1 000004c8: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000004e9: SWAP1 000004ea: DUP4 000004eb: SWAP1 000004ec: LOG3 000004ed: PUSH0 000004ee: DUP1 000004ef: SLOAD 000004f0: PUSH1 0x01 000004f2: PUSH1 0x01 000004f4: PUSH1 0xa0 000004f6: SHL 000004f7: SUB 000004f8: NOT 000004f9: AND 000004fa: SWAP1 000004fb: SSTORE 000004fc: JUMP 000004fd: JUMPDEST 000004fe: PUSH0 000004ff: SLOAD 00000500: PUSH1 0x01 00000502: PUSH1 0x01 00000504: PUSH1 0xa0 00000506: SHL 00000507: SUB 00000508: AND 00000509: CALLER 0000050a: EQ 0000050b: PUSH2 0x0526 0000050e: JUMPI 0000050f: PUSH1 0x40 00000511: MLOAD 00000512: PUSH3 0x461bcd 00000516: PUSH1 0xe5 00000518: SHL 00000519: DUP2 0000051a: MSTORE 0000051b: PUSH1 0x04 0000051d: ADD 0000051e: PUSH2 0x04ac 00000521: SWAP1 00000522: PUSH2 0x172e 00000525: JUMP 00000526: JUMPDEST 00000527: PUSH2 0x0532 0000052a: PUSH1 0x09 0000052c: PUSH1 0x0a 0000052e: PUSH2 0x1709 00000531: JUMP 00000532: JUMPDEST 00000533: PUSH2 0x0540 00000536: SWAP1 00000537: PUSH4 0x3b9aca00 0000053c: PUSH2 0x1717 0000053f: JUMP 00000540: JUMPDEST 00000541: PUSH1 0x11 00000543: SSTORE 00000544: PUSH2 0x054f 00000547: PUSH1 0x09 00000549: PUSH1 0x0a 0000054b: PUSH2 0x1709 0000054e: JUMP 0000054f: JUMPDEST 00000550: PUSH2 0x055d 00000553: SWAP1 00000554: PUSH4 0x3b9aca00 00000559: PUSH2 0x1717 0000055c: JUMP 0000055d: JUMPDEST 0000055e: PUSH1 0x12 00000560: SSTORE 00000561: PUSH1 0x05 00000563: DUP1 00000564: SLOAD 00000565: PUSH1 0xff 00000567: NOT 00000568: AND 00000569: SWAP1 0000056a: SSTORE 0000056b: PUSH32 0x947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf 0000058c: PUSH2 0x0597 0000058f: PUSH1 0x09 00000591: PUSH1 0x0a 00000593: PUSH2 0x1709 00000596: JUMP 00000597: JUMPDEST 00000598: PUSH2 0x05a5 0000059b: SWAP1 0000059c: PUSH4 0x3b9aca00 000005a1: PUSH2 0x1717 000005a4: JUMP 000005a5: JUMPDEST 000005a6: PUSH1 0x40 000005a8: MLOAD 000005a9: SWAP1 000005aa: DUP2 000005ab: MSTORE 000005ac: PUSH1 0x20 000005ae: ADD 000005af: PUSH1 0x40 000005b1: MLOAD 000005b2: DUP1 000005b3: SWAP2 000005b4: SUB 000005b5: SWAP1 000005b6: LOG1 000005b7: JUMP 000005b8: JUMPDEST 000005b9: PUSH0 000005ba: PUSH2 0x039c 000005bd: CALLER 000005be: DUP5 000005bf: DUP5 000005c0: PUSH2 0x0a90 000005c3: JUMP 000005c4: JUMPDEST 000005c5: PUSH0 000005c6: SLOAD 000005c7: PUSH1 0x01 000005c9: PUSH1 0x01 000005cb: PUSH1 0xa0 000005cd: SHL 000005ce: SUB 000005cf: AND 000005d0: CALLER 000005d1: EQ 000005d2: PUSH2 0x05ed 000005d5: JUMPI 000005d6: PUSH1 0x40 000005d8: MLOAD 000005d9: PUSH3 0x461bcd 000005dd: PUSH1 0xe5 000005df: SHL 000005e0: DUP2 000005e1: MSTORE 000005e2: PUSH1 0x04 000005e4: ADD 000005e5: PUSH2 0x04ac 000005e8: SWAP1 000005e9: PUSH2 0x172e 000005ec: JUMP 000005ed: JUMPDEST 000005ee: PUSH1 0x16 000005f0: SLOAD 000005f1: PUSH1 0x01 000005f3: PUSH1 0xa0 000005f5: SHL 000005f6: SWAP1 000005f7: DIV 000005f8: PUSH1 0xff 000005fa: AND 000005fb: ISZERO 000005fc: PUSH2 0x0647 000005ff: JUMPI 00000600: PUSH1 0x40 00000602: MLOAD 00000603: PUSH3 0x461bcd 00000607: PUSH1 0xe5 00000609: SHL 0000060a: DUP2 0000060b: MSTORE 0000060c: PUSH1 0x20 0000060e: PUSH1 0x04 00000610: DUP3 00000611: ADD 00000612: MSTORE 00000613: PUSH1 0x17 00000615: PUSH1 0x24 00000617: DUP3 00000618: ADD 00000619: MSTORE 0000061a: PUSH32 0x74726164696e6720697320616c7265616479206f70656e000000000000000000 0000063b: PUSH1 0x44 0000063d: DUP3 0000063e: ADD 0000063f: MSTORE 00000640: PUSH1 0x64 00000642: ADD 00000643: PUSH2 0x04ac 00000646: JUMP 00000647: JUMPDEST 00000648: PUSH1 0x15 0000064a: DUP1 0000064b: SLOAD 0000064c: PUSH1 0x01 0000064e: PUSH1 0x01 00000650: PUSH1 0xa0 00000652: SHL 00000653: SUB 00000654: NOT 00000655: AND 00000656: PUSH20 0x7481ada0a8c35dc9dc9fcbe71e72ef0f0ba742c0 0000066b: SWAP1 0000066c: DUP2 0000066d: OR 0000066e: SWAP1 0000066f: SWAP2 00000670: SSTORE 00000671: PUSH2 0x0690 00000674: SWAP1 00000675: ADDRESS 00000676: SWAP1 00000677: PUSH2 0x0682 0000067a: PUSH1 0x09 0000067c: PUSH1 0x0a 0000067e: PUSH2 0x1709 00000681: JUMP 00000682: JUMPDEST 00000683: PUSH2 0x041e 00000686: SWAP1 00000687: PUSH4 0x3b9aca00 0000068c: PUSH2 0x1717 0000068f: JUMP 00000690: JUMPDEST 00000691: PUSH1 0x15 00000693: PUSH0 00000694: SWAP1 00000695: SLOAD 00000696: SWAP1 00000697: PUSH2 0x0100 0000069a: EXP 0000069b: SWAP1 0000069c: DIV 0000069d: PUSH1 0x01 0000069f: PUSH1 0x01 000006a1: PUSH1 0xa0 000006a3: SHL 000006a4: SUB 000006a5: AND 000006a6: PUSH1 0x01 000006a8: PUSH1 0x01 000006aa: PUSH1 0xa0 000006ac: SHL 000006ad: SUB 000006ae: AND 000006af: PUSH4 0xc45a0155 000006b4: PUSH1 0x40 000006b6: MLOAD 000006b7: DUP2 000006b8: PUSH4 0xffffffff 000006bd: AND 000006be: PUSH1 0xe0 000006c0: SHL 000006c1: DUP2 000006c2: MSTORE 000006c3: PUSH1 0x04 000006c5: ADD 000006c6: PUSH1 0x20 000006c8: PUSH1 0x40 000006ca: MLOAD 000006cb: DUP1 000006cc: DUP4 000006cd: SUB 000006ce: DUP2 000006cf: DUP7 000006d0: GAS 000006d1: STATICCALL 000006d2: ISZERO 000006d3: DUP1 000006d4: ISZERO 000006d5: PUSH2 0x06e0 000006d8: JUMPI 000006d9: RETURNDATASIZE 000006da: PUSH0 000006db: DUP1 000006dc: RETURNDATACOPY 000006dd: RETURNDATASIZE 000006de: PUSH0 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 0x1763 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 0x15 00000716: PUSH0 00000717: SWAP1 00000718: SLOAD 00000719: SWAP1 0000071a: PUSH2 0x0100 0000071d: EXP 0000071e: SWAP1 0000071f: DIV 00000720: PUSH1 0x01 00000722: PUSH1 0x01 00000724: PUSH1 0xa0 00000726: SHL 00000727: SUB 00000728: AND 00000729: PUSH1 0x01 0000072b: PUSH1 0x01 0000072d: PUSH1 0xa0 0000072f: SHL 00000730: SUB 00000731: AND 00000732: PUSH4 0xad5c4648 00000737: PUSH1 0x40 00000739: MLOAD 0000073a: DUP2 0000073b: PUSH4 0xffffffff 00000740: AND 00000741: PUSH1 0xe0 00000743: SHL 00000744: DUP2 00000745: MSTORE 00000746: PUSH1 0x04 00000748: ADD 00000749: PUSH1 0x20 0000074b: PUSH1 0x40 0000074d: MLOAD 0000074e: DUP1 0000074f: DUP4 00000750: SUB 00000751: DUP2 00000752: DUP7 00000753: GAS 00000754: STATICCALL 00000755: ISZERO 00000756: DUP1 00000757: ISZERO 00000758: PUSH2 0x0763 0000075b: JUMPI 0000075c: RETURNDATASIZE 0000075d: PUSH0 0000075e: DUP1 0000075f: RETURNDATACOPY 00000760: RETURNDATASIZE 00000761: PUSH0 00000762: REVERT 00000763: JUMPDEST 00000764: POP 00000765: POP 00000766: POP 00000767: POP 00000768: PUSH1 0x40 0000076a: MLOAD 0000076b: RETURNDATASIZE 0000076c: PUSH1 0x1f 0000076e: NOT 0000076f: PUSH1 0x1f 00000771: DUP3 00000772: ADD 00000773: AND 00000774: DUP3 00000775: ADD 00000776: DUP1 00000777: PUSH1 0x40 00000779: MSTORE 0000077a: POP 0000077b: DUP2 0000077c: ADD 0000077d: SWAP1 0000077e: PUSH2 0x0787 00000781: SWAP2 00000782: SWAP1 00000783: PUSH2 0x1763 00000786: JUMP 00000787: JUMPDEST 00000788: PUSH1 0x40 0000078a: MLOAD 0000078b: PUSH1 0x01 0000078d: PUSH1 0x01 0000078f: PUSH1 0xe0 00000791: SHL 00000792: SUB 00000793: NOT 00000794: PUSH1 0xe0 00000796: DUP6 00000797: SWAP1 00000798: SHL 00000799: AND 0000079a: DUP2 0000079b: MSTORE 0000079c: PUSH1 0x01 0000079e: PUSH1 0x01 000007a0: PUSH1 0xa0 000007a2: SHL 000007a3: SUB 000007a4: SWAP3 000007a5: DUP4 000007a6: AND 000007a7: PUSH1 0x04 000007a9: DUP3 000007aa: ADD 000007ab: MSTORE 000007ac: SWAP2 000007ad: AND 000007ae: PUSH1 0x24 000007b0: DUP3 000007b1: ADD 000007b2: MSTORE 000007b3: PUSH1 0x44 000007b5: ADD 000007b6: PUSH1 0x20 000007b8: PUSH1 0x40 000007ba: MLOAD 000007bb: DUP1 000007bc: DUP4 000007bd: SUB 000007be: DUP2 000007bf: PUSH0 000007c0: DUP8 000007c1: GAS 000007c2: CALL 000007c3: ISZERO 000007c4: DUP1 000007c5: ISZERO 000007c6: PUSH2 0x07d1 000007c9: JUMPI 000007ca: RETURNDATASIZE 000007cb: PUSH0 000007cc: DUP1 000007cd: RETURNDATACOPY 000007ce: RETURNDATASIZE 000007cf: PUSH0 000007d0: REVERT 000007d1: JUMPDEST 000007d2: POP 000007d3: POP 000007d4: POP 000007d5: POP 000007d6: PUSH1 0x40 000007d8: MLOAD 000007d9: RETURNDATASIZE 000007da: PUSH1 0x1f 000007dc: NOT 000007dd: PUSH1 0x1f 000007df: DUP3 000007e0: ADD 000007e1: AND 000007e2: DUP3 000007e3: ADD 000007e4: DUP1 000007e5: PUSH1 0x40 000007e7: MSTORE 000007e8: POP 000007e9: DUP2 000007ea: ADD 000007eb: SWAP1 000007ec: PUSH2 0x07f5 000007ef: SWAP2 000007f0: SWAP1 000007f1: PUSH2 0x1763 000007f4: JUMP 000007f5: JUMPDEST 000007f6: PUSH1 0x16 000007f8: DUP1 000007f9: SLOAD 000007fa: PUSH1 0x01 000007fc: PUSH1 0x01 000007fe: PUSH1 0xa0 00000800: SHL 00000801: SUB 00000802: SWAP3 00000803: DUP4 00000804: AND 00000805: PUSH1 0x01 00000807: PUSH1 0x01 00000809: PUSH1 0xa0 0000080b: SHL 0000080c: SUB 0000080d: NOT 0000080e: SWAP1 0000080f: SWAP2 00000810: AND 00000811: OR 00000812: SWAP1 00000813: SSTORE 00000814: PUSH1 0x15 00000816: SLOAD 00000817: AND 00000818: PUSH4 0xf305d719 0000081d: SELFBALANCE 0000081e: ADDRESS 0000081f: PUSH2 0x083c 00000822: DUP2 00000823: PUSH1 0x01 00000825: PUSH1 0x01 00000827: PUSH1 0xa0 00000829: SHL 0000082a: SUB 0000082b: AND 0000082c: PUSH0 0000082d: SWAP1 0000082e: DUP2 0000082f: MSTORE 00000830: PUSH1 0x01 00000832: PUSH1 0x20 00000834: MSTORE 00000835: PUSH1 0x40 00000837: SWAP1 00000838: KECCAK256 00000839: SLOAD 0000083a: SWAP1 0000083b: JUMP 0000083c: JUMPDEST 0000083d: PUSH0 0000083e: DUP1 0000083f: PUSH2 0x084f 00000842: PUSH0 00000843: SLOAD 00000844: PUSH1 0x01 00000846: PUSH1 0x01 00000848: PUSH1 0xa0 0000084a: SHL 0000084b: SUB 0000084c: AND 0000084d: SWAP1 0000084e: JUMP 0000084f: JUMPDEST 00000850: PUSH1 0x40 00000852: MLOAD 00000853: PUSH1 0xe0 00000855: DUP9 00000856: SWAP1 00000857: SHL 00000858: PUSH1 0x01 0000085a: PUSH1 0x01 0000085c: PUSH1 0xe0 0000085e: SHL 0000085f: SUB 00000860: NOT 00000861: AND 00000862: DUP2 00000863: MSTORE 00000864: PUSH1 0x01 00000866: PUSH1 0x01 00000868: PUSH1 0xa0 0000086a: SHL 0000086b: SUB 0000086c: SWAP6 0000086d: DUP7 0000086e: AND 0000086f: PUSH1 0x04 00000871: DUP3 00000872: ADD 00000873: MSTORE 00000874: PUSH1 0x24 00000876: DUP2 00000877: ADD 00000878: SWAP5 00000879: SWAP1 0000087a: SWAP5 0000087b: MSTORE 0000087c: PUSH1 0x44 0000087e: DUP5 0000087f: ADD 00000880: SWAP3 00000881: SWAP1 00000882: SWAP3 00000883: MSTORE 00000884: PUSH1 0x64 00000886: DUP4 00000887: ADD 00000888: MSTORE 00000889: SWAP1 0000088a: SWAP2 0000088b: AND 0000088c: PUSH1 0x84 0000088e: DUP3 0000088f: ADD 00000890: MSTORE 00000891: TIMESTAMP 00000892: PUSH1 0xa4 00000894: DUP3 00000895: ADD 00000896: MSTORE 00000897: PUSH1 0xc4 00000899: ADD 0000089a: PUSH1 0x60 0000089c: PUSH1 0x40 0000089e: MLOAD 0000089f: DUP1 000008a0: DUP4 000008a1: SUB 000008a2: DUP2 000008a3: DUP6 000008a4: DUP9 000008a5: GAS 000008a6: CALL 000008a7: ISZERO 000008a8: DUP1 000008a9: ISZERO 000008aa: PUSH2 0x08b5 000008ad: JUMPI 000008ae: RETURNDATASIZE 000008af: PUSH0 000008b0: DUP1 000008b1: RETURNDATACOPY 000008b2: RETURNDATASIZE 000008b3: PUSH0 000008b4: REVERT 000008b5: JUMPDEST 000008b6: POP 000008b7: POP 000008b8: POP 000008b9: POP 000008ba: POP 000008bb: PUSH1 0x40 000008bd: MLOAD 000008be: RETURNDATASIZE 000008bf: PUSH1 0x1f 000008c1: NOT 000008c2: PUSH1 0x1f 000008c4: DUP3 000008c5: ADD 000008c6: AND 000008c7: DUP3 000008c8: ADD 000008c9: DUP1 000008ca: PUSH1 0x40 000008cc: MSTORE 000008cd: POP 000008ce: DUP2 000008cf: ADD 000008d0: SWAP1 000008d1: PUSH2 0x08da 000008d4: SWAP2 000008d5: SWAP1 000008d6: PUSH2 0x177e 000008d9: JUMP 000008da: JUMPDEST 000008db: POP 000008dc: POP 000008dd: PUSH1 0x16 000008df: SLOAD 000008e0: PUSH1 0x15 000008e2: SLOAD 000008e3: PUSH1 0x40 000008e5: MLOAD 000008e6: PUSH4 0x095ea7b3 000008eb: PUSH1 0xe0 000008ed: SHL 000008ee: DUP2 000008ef: MSTORE 000008f0: PUSH1 0x01 000008f2: PUSH1 0x01 000008f4: PUSH1 0xa0 000008f6: SHL 000008f7: SUB 000008f8: SWAP2 000008f9: DUP3 000008fa: AND 000008fb: PUSH1 0x04 000008fd: DUP3 000008fe: ADD 000008ff: MSTORE 00000900: PUSH0 00000901: NOT 00000902: PUSH1 0x24 00000904: DUP3 00000905: ADD 00000906: MSTORE 00000907: SWAP2 00000908: AND 00000909: SWAP2 0000090a: POP 0000090b: PUSH4 0x095ea7b3 00000910: SWAP1 00000911: PUSH1 0x44 00000913: ADD 00000914: PUSH1 0x20 00000916: PUSH1 0x40 00000918: MLOAD 00000919: DUP1 0000091a: DUP4 0000091b: SUB 0000091c: DUP2 0000091d: PUSH0 0000091e: DUP8 0000091f: GAS 00000920: CALL 00000921: ISZERO 00000922: DUP1 00000923: ISZERO 00000924: PUSH2 0x092f 00000927: JUMPI 00000928: RETURNDATASIZE 00000929: PUSH0 0000092a: DUP1 0000092b: RETURNDATACOPY 0000092c: RETURNDATASIZE 0000092d: PUSH0 0000092e: REVERT 0000092f: JUMPDEST 00000930: POP 00000931: POP 00000932: POP 00000933: POP 00000934: PUSH1 0x40 00000936: MLOAD 00000937: RETURNDATASIZE 00000938: PUSH1 0x1f 0000093a: NOT 0000093b: PUSH1 0x1f 0000093d: DUP3 0000093e: ADD 0000093f: AND 00000940: DUP3 00000941: ADD 00000942: DUP1 00000943: PUSH1 0x40 00000945: MSTORE 00000946: POP 00000947: DUP2 00000948: ADD 00000949: SWAP1 0000094a: PUSH2 0x0953 0000094d: SWAP2 0000094e: SWAP1 0000094f: PUSH2 0x17a9 00000952: JUMP 00000953: JUMPDEST 00000954: POP 00000955: PUSH1 0x16 00000957: DUP1 00000958: SLOAD 00000959: PUSH3 0xff00ff 0000095d: PUSH1 0xa0 0000095f: SHL 00000960: NOT 00000961: AND 00000962: PUSH3 0x010001 00000966: PUSH1 0xa0 00000968: SHL 00000969: OR 0000096a: SWAP1 0000096b: SSTORE 0000096c: JUMP 0000096d: JUMPDEST 0000096e: PUSH1 0x01 00000970: PUSH1 0x01 00000972: PUSH1 0xa0 00000974: SHL 00000975: SUB 00000976: DUP4 00000977: AND 00000978: PUSH2 0x09cf 0000097b: JUMPI 0000097c: PUSH1 0x40 0000097e: MLOAD 0000097f: PUSH3 0x461bcd 00000983: PUSH1 0xe5 00000985: SHL 00000986: DUP2 00000987: MSTORE 00000988: PUSH1 0x20 0000098a: PUSH1 0x04 0000098c: DUP3 0000098d: ADD 0000098e: MSTORE 0000098f: PUSH1 0x24 00000991: DUP1 00000992: DUP3 00000993: ADD 00000994: MSTORE 00000995: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464 000009b6: PUSH1 0x44 000009b8: DUP3 000009b9: ADD 000009ba: MSTORE 000009bb: PUSH4 0x72657373 000009c0: PUSH1 0xe0 000009c2: SHL 000009c3: PUSH1 0x64 000009c5: DUP3 000009c6: ADD 000009c7: MSTORE 000009c8: PUSH1 0x84 000009ca: ADD 000009cb: PUSH2 0x04ac 000009ce: JUMP 000009cf: JUMPDEST 000009d0: PUSH1 0x01 000009d2: PUSH1 0x01 000009d4: PUSH1 0xa0 000009d6: SHL 000009d7: SUB 000009d8: DUP3 000009d9: AND 000009da: PUSH2 0x0a30 000009dd: JUMPI 000009de: PUSH1 0x40 000009e0: MLOAD 000009e1: PUSH3 0x461bcd 000009e5: PUSH1 0xe5 000009e7: SHL 000009e8: DUP2 000009e9: MSTORE 000009ea: PUSH1 0x20 000009ec: PUSH1 0x04 000009ee: DUP3 000009ef: ADD 000009f0: MSTORE 000009f1: PUSH1 0x22 000009f3: PUSH1 0x24 000009f5: DUP3 000009f6: ADD 000009f7: MSTORE 000009f8: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265 00000a19: PUSH1 0x44 00000a1b: DUP3 00000a1c: ADD 00000a1d: MSTORE 00000a1e: PUSH2 0x7373 00000a21: PUSH1 0xf0 00000a23: SHL 00000a24: PUSH1 0x64 00000a26: DUP3 00000a27: ADD 00000a28: MSTORE 00000a29: PUSH1 0x84 00000a2b: ADD 00000a2c: PUSH2 0x04ac 00000a2f: JUMP 00000a30: JUMPDEST 00000a31: PUSH1 0x01 00000a33: PUSH1 0x01 00000a35: PUSH1 0xa0 00000a37: SHL 00000a38: SUB 00000a39: DUP4 00000a3a: DUP2 00000a3b: AND 00000a3c: PUSH0 00000a3d: DUP2 00000a3e: DUP2 00000a3f: MSTORE 00000a40: PUSH1 0x02 00000a42: PUSH1 0x20 00000a44: SWAP1 00000a45: DUP2 00000a46: MSTORE 00000a47: PUSH1 0x40 00000a49: DUP1 00000a4a: DUP4 00000a4b: KECCAK256 00000a4c: SWAP5 00000a4d: DUP8 00000a4e: AND 00000a4f: DUP1 00000a50: DUP5 00000a51: MSTORE 00000a52: SWAP5 00000a53: DUP3 00000a54: MSTORE 00000a55: SWAP2 00000a56: DUP3 00000a57: SWAP1 00000a58: KECCAK256 00000a59: DUP6 00000a5a: SWAP1 00000a5b: SSTORE 00000a5c: SWAP1 00000a5d: MLOAD 00000a5e: DUP5 00000a5f: DUP2 00000a60: MSTORE 00000a61: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000a82: SWAP2 00000a83: ADD 00000a84: PUSH1 0x40 00000a86: MLOAD 00000a87: DUP1 00000a88: SWAP2 00000a89: SUB 00000a8a: SWAP1 00000a8b: LOG3 00000a8c: POP 00000a8d: POP 00000a8e: POP 00000a8f: JUMP 00000a90: JUMPDEST 00000a91: PUSH1 0x01 00000a93: PUSH1 0x01 00000a95: PUSH1 0xa0 00000a97: SHL 00000a98: SUB 00000a99: DUP4 00000a9a: AND 00000a9b: PUSH2 0x0af4 00000a9e: JUMPI 00000a9f: PUSH1 0x40 00000aa1: MLOAD 00000aa2: PUSH3 0x461bcd 00000aa6: PUSH1 0xe5 00000aa8: SHL 00000aa9: DUP2 00000aaa: MSTORE 00000aab: PUSH1 0x20 00000aad: PUSH1 0x04 00000aaf: DUP3 00000ab0: ADD 00000ab1: MSTORE 00000ab2: PUSH1 0x25 00000ab4: PUSH1 0x24 00000ab6: DUP3 00000ab7: ADD 00000ab8: MSTORE 00000ab9: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164 00000ada: PUSH1 0x44 00000adc: DUP3 00000add: ADD 00000ade: MSTORE 00000adf: PUSH5 0x6472657373 00000ae5: PUSH1 0xd8 00000ae7: SHL 00000ae8: PUSH1 0x64 00000aea: DUP3 00000aeb: ADD 00000aec: MSTORE 00000aed: PUSH1 0x84 00000aef: ADD 00000af0: PUSH2 0x04ac 00000af3: JUMP 00000af4: JUMPDEST 00000af5: PUSH1 0x01 00000af7: PUSH1 0x01 00000af9: PUSH1 0xa0 00000afb: SHL 00000afc: SUB 00000afd: DUP3 00000afe: AND 00000aff: PUSH2 0x0b56 00000b02: JUMPI 00000b03: PUSH1 0x40 00000b05: MLOAD 00000b06: PUSH3 0x461bcd 00000b0a: PUSH1 0xe5 00000b0c: SHL 00000b0d: DUP2 00000b0e: MSTORE 00000b0f: PUSH1 0x20 00000b11: PUSH1 0x04 00000b13: DUP3 00000b14: ADD 00000b15: MSTORE 00000b16: PUSH1 0x23 00000b18: PUSH1 0x24 00000b1a: DUP3 00000b1b: ADD 00000b1c: MSTORE 00000b1d: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472 00000b3e: PUSH1 0x44 00000b40: DUP3 00000b41: ADD 00000b42: MSTORE 00000b43: PUSH3 0x657373 00000b47: PUSH1 0xe8 00000b49: SHL 00000b4a: PUSH1 0x64 00000b4c: DUP3 00000b4d: ADD 00000b4e: MSTORE 00000b4f: PUSH1 0x84 00000b51: ADD 00000b52: PUSH2 0x04ac 00000b55: JUMP 00000b56: JUMPDEST 00000b57: PUSH0 00000b58: DUP2 00000b59: GT 00000b5a: PUSH2 0x0bb7 00000b5d: JUMPI 00000b5e: PUSH1 0x40 00000b60: MLOAD 00000b61: PUSH3 0x461bcd 00000b65: PUSH1 0xe5 00000b67: SHL 00000b68: DUP2 00000b69: MSTORE 00000b6a: PUSH1 0x20 00000b6c: PUSH1 0x04 00000b6e: DUP3 00000b6f: ADD 00000b70: MSTORE 00000b71: PUSH1 0x29 00000b73: PUSH1 0x24 00000b75: DUP3 00000b76: ADD 00000b77: MSTORE 00000b78: PUSH32 0x5472616e7366657220616d6f756e74206d757374206265206772656174657220 00000b99: PUSH1 0x44 00000b9b: DUP3 00000b9c: ADD 00000b9d: MSTORE 00000b9e: PUSH9 0x7468616e207a65726f 00000ba8: PUSH1 0xb8 00000baa: SHL 00000bab: PUSH1 0x64 00000bad: DUP3 00000bae: ADD 00000baf: MSTORE 00000bb0: PUSH1 0x84 00000bb2: ADD 00000bb3: PUSH2 0x04ac 00000bb6: JUMP 00000bb7: JUMPDEST 00000bb8: PUSH0 00000bb9: DUP1 00000bba: SLOAD 00000bbb: PUSH1 0x01 00000bbd: PUSH1 0x01 00000bbf: PUSH1 0xa0 00000bc1: SHL 00000bc2: SUB 00000bc3: DUP6 00000bc4: DUP2 00000bc5: AND 00000bc6: SWAP2 00000bc7: AND 00000bc8: EQ 00000bc9: DUP1 00000bca: ISZERO 00000bcb: SWAP1 00000bcc: PUSH2 0x0be2 00000bcf: JUMPI 00000bd0: POP 00000bd1: PUSH0 00000bd2: SLOAD 00000bd3: PUSH1 0x01 00000bd5: PUSH1 0x01 00000bd7: PUSH1 0xa0 00000bd9: SHL 00000bda: SUB 00000bdb: DUP5 00000bdc: DUP2 00000bdd: AND 00000bde: SWAP2 00000bdf: AND 00000be0: EQ 00000be1: ISZERO 00000be2: JUMPDEST 00000be3: ISZERO 00000be4: PUSH2 0x0f6a 00000be7: JUMPI 00000be8: PUSH2 0x0c04 00000beb: PUSH1 0x64 00000bed: PUSH2 0x0bfe 00000bf0: PUSH2 0x0bf7 00000bf3: PUSH2 0x12ac 00000bf6: JUMP 00000bf7: JUMPDEST 00000bf8: DUP6 00000bf9: SWAP1 00000bfa: PUSH2 0x12e9 00000bfd: JUMP 00000bfe: JUMPDEST 00000bff: SWAP1 00000c00: PUSH2 0x136e 00000c03: JUMP 00000c04: JUMPDEST 00000c05: PUSH1 0x05 00000c07: SLOAD 00000c08: SWAP1 00000c09: SWAP2 00000c0a: POP 00000c0b: PUSH1 0xff 00000c0d: AND 00000c0e: ISZERO 00000c0f: PUSH2 0x0cea 00000c12: JUMPI 00000c13: PUSH1 0x15 00000c15: SLOAD 00000c16: PUSH1 0x01 00000c18: PUSH1 0x01 00000c1a: PUSH1 0xa0 00000c1c: SHL 00000c1d: SUB 00000c1e: DUP5 00000c1f: DUP2 00000c20: AND 00000c21: SWAP2 00000c22: AND 00000c23: EQ 00000c24: DUP1 00000c25: ISZERO 00000c26: SWAP1 00000c27: PUSH2 0x0c3e 00000c2a: JUMPI 00000c2b: POP 00000c2c: PUSH1 0x16 00000c2e: SLOAD 00000c2f: PUSH1 0x01 00000c31: PUSH1 0x01 00000c33: PUSH1 0xa0 00000c35: SHL 00000c36: SUB 00000c37: DUP5 00000c38: DUP2 00000c39: AND 00000c3a: SWAP2 00000c3b: AND 00000c3c: EQ 00000c3d: ISZERO 00000c3e: JUMPDEST 00000c3f: ISZERO 00000c40: PUSH2 0x0cea 00000c43: JUMPI 00000c44: ORIGIN 00000c45: PUSH0 00000c46: SWAP1 00000c47: DUP2 00000c48: MSTORE 00000c49: PUSH1 0x04 00000c4b: PUSH1 0x20 00000c4d: MSTORE 00000c4e: PUSH1 0x40 00000c50: SWAP1 00000c51: KECCAK256 00000c52: SLOAD 00000c53: NUMBER 00000c54: GT 00000c55: PUSH2 0x0cd8 00000c58: JUMPI 00000c59: PUSH1 0x40 00000c5b: MLOAD 00000c5c: PUSH3 0x461bcd 00000c60: PUSH1 0xe5 00000c62: SHL 00000c63: DUP2 00000c64: MSTORE 00000c65: PUSH1 0x20 00000c67: PUSH1 0x04 00000c69: DUP3 00000c6a: ADD 00000c6b: MSTORE 00000c6c: PUSH1 0x49 00000c6e: PUSH1 0x24 00000c70: DUP3 00000c71: ADD 00000c72: MSTORE 00000c73: PUSH32 0x5f7472616e736665723a3a205472616e736665722044656c617920656e61626c 00000c94: PUSH1 0x44 00000c96: DUP3 00000c97: ADD 00000c98: MSTORE 00000c99: PUSH32 0x65642e20204f6e6c79206f6e652070757263686173652070657220626c6f636b 00000cba: PUSH1 0x64 00000cbc: DUP3 00000cbd: ADD 00000cbe: MSTORE 00000cbf: PUSH9 0x1030b63637bbb2b217 00000cc9: PUSH1 0xb9 00000ccb: SHL 00000ccc: PUSH1 0x84 00000cce: DUP3 00000ccf: ADD 00000cd0: MSTORE 00000cd1: PUSH1 0xa4 00000cd3: ADD 00000cd4: PUSH2 0x04ac 00000cd7: JUMP 00000cd8: JUMPDEST 00000cd9: ORIGIN 00000cda: PUSH0 00000cdb: SWAP1 00000cdc: DUP2 00000cdd: MSTORE 00000cde: PUSH1 0x04 00000ce0: PUSH1 0x20 00000ce2: MSTORE 00000ce3: PUSH1 0x40 00000ce5: SWAP1 00000ce6: KECCAK256 00000ce7: NUMBER 00000ce8: SWAP1 00000ce9: SSTORE 00000cea: JUMPDEST 00000ceb: PUSH1 0x16 00000ced: SLOAD 00000cee: PUSH1 0x01 00000cf0: PUSH1 0x01 00000cf2: PUSH1 0xa0 00000cf4: SHL 00000cf5: SUB 00000cf6: DUP6 00000cf7: DUP2 00000cf8: AND 00000cf9: SWAP2 00000cfa: AND 00000cfb: EQ 00000cfc: DUP1 00000cfd: ISZERO 00000cfe: PUSH2 0x0d15 00000d01: JUMPI 00000d02: POP 00000d03: PUSH1 0x15 00000d05: SLOAD 00000d06: PUSH1 0x01 00000d08: PUSH1 0x01 00000d0a: PUSH1 0xa0 00000d0c: SHL 00000d0d: SUB 00000d0e: DUP5 00000d0f: DUP2 00000d10: AND 00000d11: SWAP2 00000d12: AND 00000d13: EQ 00000d14: ISZERO 00000d15: JUMPDEST 00000d16: DUP1 00000d17: ISZERO 00000d18: PUSH2 0x0d39 00000d1b: JUMPI 00000d1c: POP 00000d1d: PUSH1 0x01 00000d1f: PUSH1 0x01 00000d21: PUSH1 0xa0 00000d23: SHL 00000d24: SUB 00000d25: DUP4 00000d26: AND 00000d27: PUSH0 00000d28: SWAP1 00000d29: DUP2 00000d2a: MSTORE 00000d2b: PUSH1 0x03 00000d2d: PUSH1 0x20 00000d2f: MSTORE 00000d30: PUSH1 0x40 00000d32: SWAP1 00000d33: KECCAK256 00000d34: SLOAD 00000d35: PUSH1 0xff 00000d37: AND 00000d38: ISZERO 00000d39: JUMPDEST 00000d3a: ISZERO 00000d3b: PUSH2 0x0e1f 00000d3e: JUMPI 00000d3f: PUSH1 0x11 00000d41: SLOAD 00000d42: DUP3 00000d43: GT 00000d44: ISZERO 00000d45: PUSH2 0x0d90 00000d48: JUMPI 00000d49: PUSH1 0x40 00000d4b: MLOAD 00000d4c: PUSH3 0x461bcd 00000d50: PUSH1 0xe5 00000d52: SHL 00000d53: DUP2 00000d54: MSTORE 00000d55: PUSH1 0x20 00000d57: PUSH1 0x04 00000d59: DUP3 00000d5a: ADD 00000d5b: MSTORE 00000d5c: PUSH1 0x19 00000d5e: PUSH1 0x24 00000d60: DUP3 00000d61: ADD 00000d62: MSTORE 00000d63: PUSH32 0x4578636565647320746865205f6d61785478416d6f756e742e00000000000000 00000d84: PUSH1 0x44 00000d86: DUP3 00000d87: ADD 00000d88: MSTORE 00000d89: PUSH1 0x64 00000d8b: ADD 00000d8c: PUSH2 0x04ac 00000d8f: JUMP 00000d90: JUMPDEST 00000d91: PUSH1 0x12 00000d93: SLOAD 00000d94: DUP3 00000d95: PUSH2 0x0db2 00000d98: DUP6 00000d99: PUSH1 0x01 00000d9b: PUSH1 0x01 00000d9d: PUSH1 0xa0 00000d9f: SHL 00000da0: SUB 00000da1: AND 00000da2: PUSH0 00000da3: SWAP1 00000da4: DUP2 00000da5: MSTORE 00000da6: PUSH1 0x01 00000da8: PUSH1 0x20 00000daa: MSTORE 00000dab: PUSH1 0x40 00000dad: SWAP1 00000dae: KECCAK256 00000daf: SLOAD 00000db0: SWAP1 00000db1: JUMP 00000db2: JUMPDEST 00000db3: PUSH2 0x0dbc 00000db6: SWAP2 00000db7: SWAP1 00000db8: PUSH2 0x17c8 00000dbb: JUMP 00000dbc: JUMPDEST 00000dbd: GT 00000dbe: ISZERO 00000dbf: PUSH2 0x0e0a 00000dc2: JUMPI 00000dc3: PUSH1 0x40 00000dc5: MLOAD 00000dc6: PUSH3 0x461bcd 00000dca: PUSH1 0xe5 00000dcc: SHL 00000dcd: DUP2 00000dce: MSTORE 00000dcf: PUSH1 0x20 00000dd1: PUSH1 0x04 00000dd3: DUP3 00000dd4: ADD 00000dd5: MSTORE 00000dd6: PUSH1 0x1a 00000dd8: PUSH1 0x24 00000dda: DUP3 00000ddb: ADD 00000ddc: MSTORE 00000ddd: PUSH32 0x4578636565647320746865206d617857616c6c657453697a652e000000000000 00000dfe: PUSH1 0x44 00000e00: DUP3 00000e01: ADD 00000e02: MSTORE 00000e03: PUSH1 0x64 00000e05: ADD 00000e06: PUSH2 0x04ac 00000e09: JUMP 00000e0a: JUMPDEST 00000e0b: PUSH1 0x10 00000e0d: DUP1 00000e0e: SLOAD 00000e0f: SWAP1 00000e10: PUSH0 00000e11: PUSH2 0x0e19 00000e14: DUP4 00000e15: PUSH2 0x17db 00000e18: JUMP 00000e19: JUMPDEST 00000e1a: SWAP2 00000e1b: SWAP1 00000e1c: POP 00000e1d: SSTORE 00000e1e: POP 00000e1f: JUMPDEST 00000e20: PUSH1 0x16 00000e22: SLOAD 00000e23: PUSH1 0x01 00000e25: PUSH1 0x01 00000e27: PUSH1 0xa0 00000e29: SHL 00000e2a: SUB 00000e2b: DUP5 00000e2c: DUP2 00000e2d: AND 00000e2e: SWAP2 00000e2f: AND 00000e30: EQ 00000e31: DUP1 00000e32: ISZERO 00000e33: PUSH2 0x0e45 00000e36: JUMPI 00000e37: POP 00000e38: PUSH1 0x01 00000e3a: PUSH1 0x01 00000e3c: PUSH1 0xa0 00000e3e: SHL 00000e3f: SUB 00000e40: DUP5 00000e41: AND 00000e42: ADDRESS 00000e43: EQ 00000e44: ISZERO 00000e45: JUMPDEST 00000e46: DUP1 00000e47: ISZERO 00000e48: PUSH2 0x0e69 00000e4b: JUMPI 00000e4c: POP 00000e4d: PUSH1 0x01 00000e4f: PUSH1 0x01 00000e51: PUSH1 0xa0 00000e53: SHL 00000e54: SUB 00000e55: DUP5 00000e56: AND 00000e57: PUSH0 00000e58: SWAP1 00000e59: DUP2 00000e5a: MSTORE 00000e5b: PUSH1 0x03 00000e5d: PUSH1 0x20 00000e5f: MSTORE 00000e60: PUSH1 0x40 00000e62: SWAP1 00000e63: KECCAK256 00000e64: SLOAD 00000e65: PUSH1 0xff 00000e67: AND 00000e68: ISZERO 00000e69: JUMPDEST 00000e6a: ISZERO 00000e6b: PUSH2 0x0e81 00000e6e: JUMPI 00000e6f: PUSH2 0x0e7e 00000e72: PUSH1 0x64 00000e74: PUSH2 0x0bfe 00000e77: PUSH2 0x0bf7 00000e7a: PUSH2 0x13af 00000e7d: JUMP 00000e7e: JUMPDEST 00000e7f: SWAP1 00000e80: POP 00000e81: JUMPDEST 00000e82: ADDRESS 00000e83: PUSH0 00000e84: DUP2 00000e85: DUP2 00000e86: MSTORE 00000e87: PUSH1 0x01 00000e89: PUSH1 0x20 00000e8b: MSTORE 00000e8c: PUSH1 0x40 00000e8e: SWAP1 00000e8f: KECCAK256 00000e90: SLOAD 00000e91: SWAP1 00000e92: PUSH1 0x01 00000e94: PUSH1 0x01 00000e96: PUSH1 0xa0 00000e98: SHL 00000e99: SUB 00000e9a: DUP6 00000e9b: AND 00000e9c: EQ 00000e9d: DUP1 00000e9e: ISZERO 00000e9f: PUSH2 0x0ea9 00000ea2: JUMPI 00000ea3: POP 00000ea4: PUSH1 0x0f 00000ea6: SLOAD 00000ea7: DUP4 00000ea8: EQ 00000ea9: JUMPDEST 00000eaa: PUSH2 0x0eb3 00000ead: JUMPI 00000eae: DUP3 00000eaf: PUSH2 0x0edb 00000eb2: JUMP 00000eb3: JUMPDEST 00000eb4: PUSH1 0x0f 00000eb6: SLOAD 00000eb7: ADDRESS 00000eb8: PUSH0 00000eb9: SWAP1 00000eba: DUP2 00000ebb: MSTORE 00000ebc: PUSH1 0x01 00000ebe: PUSH1 0x20 00000ec0: MSTORE 00000ec1: PUSH1 0x40 00000ec3: DUP2 00000ec4: KECCAK256 00000ec5: DUP1 00000ec6: SLOAD 00000ec7: SWAP1 00000ec8: SWAP2 00000ec9: SWAP1 00000eca: PUSH2 0x0ed4 00000ecd: SWAP1 00000ece: DUP5 00000ecf: SWAP1 00000ed0: PUSH2 0x1717 00000ed3: JUMP 00000ed4: JUMPDEST 00000ed5: SWAP3 00000ed6: POP 00000ed7: POP 00000ed8: DUP2 00000ed9: SWAP1 00000eda: SSTORE 00000edb: JUMPDEST 00000edc: POP 00000edd: PUSH1 0x16 00000edf: SLOAD 00000ee0: PUSH1 0x01 00000ee2: PUSH1 0xa8 00000ee4: SHL 00000ee5: SWAP1 00000ee6: DIV 00000ee7: PUSH1 0xff 00000ee9: AND 00000eea: ISZERO 00000eeb: DUP1 00000eec: ISZERO 00000eed: PUSH2 0x0f03 00000ef0: JUMPI 00000ef1: POP 00000ef2: PUSH1 0x16 00000ef4: SLOAD 00000ef5: PUSH1 0x01 00000ef7: PUSH1 0x01 00000ef9: PUSH1 0xa0 00000efb: SHL 00000efc: SUB 00000efd: DUP6 00000efe: DUP2 00000eff: AND 00000f00: SWAP2 00000f01: AND 00000f02: EQ 00000f03: JUMPDEST 00000f04: DUP1 00000f05: ISZERO 00000f06: PUSH2 0x0f18 00000f09: JUMPI 00000f0a: POP 00000f0b: PUSH1 0x16 00000f0d: SLOAD 00000f0e: PUSH1 0x01 00000f10: PUSH1 0xb0 00000f12: SHL 00000f13: SWAP1 00000f14: DIV 00000f15: PUSH1 0xff 00000f17: AND 00000f18: JUMPDEST 00000f19: DUP1 00000f1a: ISZERO 00000f1b: PUSH2 0x0f25 00000f1e: JUMPI 00000f1f: POP 00000f20: PUSH1 0x13 00000f22: SLOAD 00000f23: DUP2 00000f24: GT 00000f25: JUMPDEST 00000f26: DUP1 00000f27: ISZERO 00000f28: PUSH2 0x0f34 00000f2b: JUMPI 00000f2c: POP 00000f2d: PUSH1 0x0f 00000f2f: SLOAD 00000f30: PUSH1 0x10 00000f32: SLOAD 00000f33: GT 00000f34: JUMPDEST 00000f35: ISZERO 00000f36: PUSH2 0x0f68 00000f39: JUMPI 00000f3a: PUSH2 0x0f56 00000f3d: PUSH2 0x0f51 00000f40: DUP5 00000f41: PUSH2 0x0f4c 00000f44: DUP5 00000f45: PUSH1 0x14 00000f47: SLOAD 00000f48: PUSH2 0x141a 00000f4b: JUMP 00000f4c: JUMPDEST 00000f4d: PUSH2 0x141a 00000f50: JUMP 00000f51: JUMPDEST 00000f52: PUSH2 0x1101 00000f55: JUMP 00000f56: JUMPDEST 00000f57: SELFBALANCE 00000f58: DUP1 00000f59: ISZERO 00000f5a: PUSH2 0x0f66 00000f5d: JUMPI 00000f5e: PUSH2 0x0f66 00000f61: DUP2 00000f62: PUSH2 0x1271 00000f65: JUMP 00000f66: JUMPDEST 00000f67: POP 00000f68: JUMPDEST 00000f69: POP 00000f6a: JUMPDEST 00000f6b: DUP1 00000f6c: ISZERO 00000f6d: PUSH2 0x0fe2 00000f70: JUMPI 00000f71: ADDRESS 00000f72: PUSH0 00000f73: SWAP1 00000f74: DUP2 00000f75: MSTORE 00000f76: PUSH1 0x01 00000f78: PUSH1 0x20 00000f7a: MSTORE 00000f7b: PUSH1 0x40 00000f7d: SWAP1 00000f7e: KECCAK256 00000f7f: SLOAD 00000f80: PUSH2 0x0f89 00000f83: SWAP1 00000f84: DUP3 00000f85: PUSH2 0x142e 00000f88: JUMP 00000f89: JUMPDEST 00000f8a: ADDRESS 00000f8b: PUSH0 00000f8c: DUP2 00000f8d: DUP2 00000f8e: MSTORE 00000f8f: PUSH1 0x01 00000f91: PUSH1 0x20 00000f93: MSTORE 00000f94: PUSH1 0x40 00000f96: SWAP1 00000f97: DUP2 00000f98: SWAP1 00000f99: KECCAK256 00000f9a: SWAP3 00000f9b: SWAP1 00000f9c: SWAP3 00000f9d: SSTORE 00000f9e: SWAP1 00000f9f: MLOAD 00000fa0: PUSH1 0x01 00000fa2: PUSH1 0x01 00000fa4: PUSH1 0xa0 00000fa6: SHL 00000fa7: SUB 00000fa8: DUP7 00000fa9: AND 00000faa: SWAP1 00000fab: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000fcc: SWAP1 00000fcd: PUSH2 0x0fd9 00000fd0: SWAP1 00000fd1: DUP6 00000fd2: DUP2 00000fd3: MSTORE 00000fd4: PUSH1 0x20 00000fd6: ADD 00000fd7: SWAP1 00000fd8: JUMP 00000fd9: JUMPDEST 00000fda: PUSH1 0x40 00000fdc: MLOAD 00000fdd: DUP1 00000fde: SWAP2 00000fdf: SUB 00000fe0: SWAP1 00000fe1: LOG3 00000fe2: JUMPDEST 00000fe3: PUSH1 0x05 00000fe5: SLOAD 00000fe6: PUSH2 0x1026 00000fe9: SWAP1 00000fea: PUSH1 0x01 00000fec: PUSH1 0x01 00000fee: PUSH1 0xa0 00000ff0: SHL 00000ff1: SUB 00000ff2: DUP7 00000ff3: DUP2 00000ff4: AND 00000ff5: PUSH2 0x0100 00000ff8: SWAP1 00000ff9: SWAP3 00000ffa: DIV 00000ffb: AND 00000ffc: EQ 00000ffd: PUSH2 0x1006 00001000: JUMPI 00001001: DUP3 00001002: PUSH2 0x1008 00001005: JUMP 00001006: JUMPDEST 00001007: PUSH0 00001008: JUMPDEST 00001009: PUSH1 0x01 0000100b: PUSH1 0x01 0000100d: PUSH1 0xa0 0000100f: SHL 00001010: SUB 00001011: DUP7 00001012: AND 00001013: PUSH0 00001014: SWAP1 00001015: DUP2 00001016: MSTORE 00001017: PUSH1 0x01 00001019: PUSH1 0x20 0000101b: MSTORE 0000101c: PUSH1 0x40 0000101e: SWAP1 0000101f: KECCAK256 00001020: SLOAD 00001021: SWAP1 00001022: PUSH2 0x148c 00001025: JUMP 00001026: JUMPDEST 00001027: PUSH1 0x01 00001029: PUSH1 0x01 0000102b: PUSH1 0xa0 0000102d: SHL 0000102e: SUB 0000102f: DUP6 00001030: AND 00001031: PUSH0 00001032: SWAP1 00001033: DUP2 00001034: MSTORE 00001035: PUSH1 0x01 00001037: PUSH1 0x20 00001039: MSTORE 0000103a: PUSH1 0x40 0000103c: SWAP1 0000103d: KECCAK256 0000103e: SSTORE 0000103f: PUSH2 0x1069 00001042: PUSH2 0x104b 00001045: DUP4 00001046: DUP4 00001047: PUSH2 0x148c 0000104a: JUMP 0000104b: JUMPDEST 0000104c: PUSH1 0x01 0000104e: PUSH1 0x01 00001050: PUSH1 0xa0 00001052: SHL 00001053: SUB 00001054: DUP6 00001055: AND 00001056: PUSH0 00001057: SWAP1 00001058: DUP2 00001059: MSTORE 0000105a: PUSH1 0x01 0000105c: PUSH1 0x20 0000105e: MSTORE 0000105f: PUSH1 0x40 00001061: SWAP1 00001062: KECCAK256 00001063: SLOAD 00001064: SWAP1 00001065: PUSH2 0x142e 00001068: JUMP 00001069: JUMPDEST 0000106a: PUSH1 0x01 0000106c: PUSH1 0x01 0000106e: PUSH1 0xa0 00001070: SHL 00001071: SUB 00001072: DUP1 00001073: DUP6 00001074: AND 00001075: PUSH0 00001076: DUP2 00001077: DUP2 00001078: MSTORE 00001079: PUSH1 0x01 0000107b: PUSH1 0x20 0000107d: MSTORE 0000107e: PUSH1 0x40 00001080: SWAP1 00001081: KECCAK256 00001082: SWAP3 00001083: SWAP1 00001084: SWAP3 00001085: SSTORE 00001086: DUP6 00001087: AND 00001088: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000010a9: PUSH2 0x10b2 000010ac: DUP6 000010ad: DUP6 000010ae: PUSH2 0x148c 000010b1: JUMP 000010b2: JUMPDEST 000010b3: PUSH1 0x40 000010b5: MLOAD 000010b6: SWAP1 000010b7: DUP2 000010b8: MSTORE 000010b9: PUSH1 0x20 000010bb: ADD 000010bc: PUSH1 0x40 000010be: MLOAD 000010bf: DUP1 000010c0: SWAP2 000010c1: SUB 000010c2: SWAP1 000010c3: LOG3 000010c4: POP 000010c5: POP 000010c6: POP 000010c7: POP 000010c8: JUMP 000010c9: JUMPDEST 000010ca: PUSH0 000010cb: DUP2 000010cc: DUP5 000010cd: DUP5 000010ce: GT 000010cf: ISZERO 000010d0: PUSH2 0x10ec 000010d3: JUMPI 000010d4: PUSH1 0x40 000010d6: MLOAD 000010d7: PUSH3 0x461bcd 000010db: PUSH1 0xe5 000010dd: SHL 000010de: DUP2 000010df: MSTORE 000010e0: PUSH1 0x04 000010e2: ADD 000010e3: PUSH2 0x04ac 000010e6: SWAP2 000010e7: SWAP1 000010e8: PUSH2 0x14f9 000010eb: JUMP 000010ec: JUMPDEST 000010ed: POP 000010ee: PUSH0 000010ef: PUSH2 0x10f8 000010f2: DUP5 000010f3: DUP7 000010f4: PUSH2 0x17f3 000010f7: JUMP 000010f8: JUMPDEST 000010f9: SWAP6 000010fa: SWAP5 000010fb: POP 000010fc: POP 000010fd: POP 000010fe: POP 000010ff: POP 00001100: JUMP 00001101: JUMPDEST 00001102: PUSH1 0x16 00001104: DUP1 00001105: SLOAD 00001106: PUSH1 0xff 00001108: PUSH1 0xa8 0000110a: SHL 0000110b: NOT 0000110c: AND 0000110d: PUSH1 0x01 0000110f: PUSH1 0xa8 00001111: SHL 00001112: OR 00001113: SWAP1 00001114: SSTORE 00001115: PUSH1 0x40 00001117: DUP1 00001118: MLOAD 00001119: PUSH1 0x02 0000111b: DUP1 0000111c: DUP3 0000111d: MSTORE 0000111e: PUSH1 0x60 00001120: DUP3 00001121: ADD 00001122: DUP4 00001123: MSTORE 00001124: PUSH0 00001125: SWAP3 00001126: PUSH1 0x20 00001128: DUP4 00001129: ADD 0000112a: SWAP1 0000112b: DUP1 0000112c: CALLDATASIZE 0000112d: DUP4 0000112e: CALLDATACOPY 0000112f: ADD 00001130: SWAP1 00001131: POP 00001132: POP 00001133: SWAP1 00001134: POP 00001135: ADDRESS 00001136: DUP2 00001137: PUSH0 00001138: DUP2 00001139: MLOAD 0000113a: DUP2 0000113b: LT 0000113c: PUSH2 0x1147 0000113f: JUMPI 00001140: PUSH2 0x1147 00001143: PUSH2 0x1806 00001146: JUMP 00001147: JUMPDEST 00001148: PUSH1 0x01 0000114a: PUSH1 0x01 0000114c: PUSH1 0xa0 0000114e: SHL 0000114f: SUB 00001150: SWAP3 00001151: DUP4 00001152: AND 00001153: PUSH1 0x20 00001155: SWAP2 00001156: DUP3 00001157: MUL 00001158: SWAP3 00001159: SWAP1 0000115a: SWAP3 0000115b: ADD 0000115c: DUP2 0000115d: ADD 0000115e: SWAP2 0000115f: SWAP1 00001160: SWAP2 00001161: MSTORE 00001162: PUSH1 0x15 00001164: SLOAD 00001165: PUSH1 0x40 00001167: DUP1 00001168: MLOAD 00001169: PUSH4 0x15ab88c9 0000116e: PUSH1 0xe3 00001170: SHL 00001171: DUP2 00001172: MSTORE 00001173: SWAP1 00001174: MLOAD 00001175: SWAP2 00001176: SWAP1 00001177: SWAP4 00001178: AND 00001179: SWAP3 0000117a: PUSH4 0xad5c4648 0000117f: SWAP3 00001180: PUSH1 0x04 00001182: DUP1 00001183: DUP4 00001184: ADD 00001185: SWAP4 00001186: SWAP2 00001187: SWAP3 00001188: DUP3 00001189: SWAP1 0000118a: SUB 0000118b: ADD 0000118c: DUP2 0000118d: DUP7 0000118e: GAS 0000118f: STATICCALL 00001190: ISZERO 00001191: DUP1 00001192: ISZERO 00001193: PUSH2 0x119e 00001196: JUMPI 00001197: RETURNDATASIZE 00001198: PUSH0 00001199: DUP1 0000119a: RETURNDATACOPY 0000119b: RETURNDATASIZE 0000119c: PUSH0 0000119d: REVERT 0000119e: JUMPDEST 0000119f: POP 000011a0: POP 000011a1: POP 000011a2: POP 000011a3: PUSH1 0x40 000011a5: MLOAD 000011a6: RETURNDATASIZE 000011a7: PUSH1 0x1f 000011a9: NOT 000011aa: PUSH1 0x1f 000011ac: DUP3 000011ad: ADD 000011ae: AND 000011af: DUP3 000011b0: ADD 000011b1: DUP1 000011b2: PUSH1 0x40 000011b4: MSTORE 000011b5: POP 000011b6: DUP2 000011b7: ADD 000011b8: SWAP1 000011b9: PUSH2 0x11c2 000011bc: SWAP2 000011bd: SWAP1 000011be: PUSH2 0x1763 000011c1: JUMP 000011c2: JUMPDEST 000011c3: DUP2 000011c4: PUSH1 0x01 000011c6: DUP2 000011c7: MLOAD 000011c8: DUP2 000011c9: LT 000011ca: PUSH2 0x11d5 000011cd: JUMPI 000011ce: PUSH2 0x11d5 000011d1: PUSH2 0x1806 000011d4: JUMP 000011d5: JUMPDEST 000011d6: PUSH1 0x01 000011d8: PUSH1 0x01 000011da: PUSH1 0xa0 000011dc: SHL 000011dd: SUB 000011de: SWAP3 000011df: DUP4 000011e0: AND 000011e1: PUSH1 0x20 000011e3: SWAP2 000011e4: DUP3 000011e5: MUL 000011e6: SWAP3 000011e7: SWAP1 000011e8: SWAP3 000011e9: ADD 000011ea: ADD 000011eb: MSTORE 000011ec: PUSH1 0x15 000011ee: SLOAD 000011ef: PUSH2 0x11fb 000011f2: SWAP2 000011f3: ADDRESS 000011f4: SWAP2 000011f5: AND 000011f6: DUP5 000011f7: PUSH2 0x096d 000011fa: JUMP 000011fb: JUMPDEST 000011fc: PUSH1 0x15 000011fe: SLOAD 000011ff: PUSH1 0x40 00001201: MLOAD 00001202: PUSH4 0x791ac947 00001207: PUSH1 0xe0 00001209: SHL 0000120a: DUP2 0000120b: MSTORE 0000120c: PUSH1 0x01 0000120e: PUSH1 0x01 00001210: PUSH1 0xa0 00001212: SHL 00001213: SUB 00001214: SWAP1 00001215: SWAP2 00001216: AND 00001217: SWAP1 00001218: PUSH4 0x791ac947 0000121d: SWAP1 0000121e: PUSH2 0x1233 00001221: SWAP1 00001222: DUP6 00001223: SWAP1 00001224: PUSH0 00001225: SWAP1 00001226: DUP7 00001227: SWAP1 00001228: ADDRESS 00001229: SWAP1 0000122a: TIMESTAMP 0000122b: SWAP1 0000122c: PUSH1 0x04 0000122e: ADD 0000122f: PUSH2 0x181a 00001232: JUMP 00001233: JUMPDEST 00001234: PUSH0 00001235: PUSH1 0x40 00001237: MLOAD 00001238: DUP1 00001239: DUP4 0000123a: SUB 0000123b: DUP2 0000123c: PUSH0 0000123d: DUP8 0000123e: DUP1 0000123f: EXTCODESIZE 00001240: ISZERO 00001241: DUP1 00001242: ISZERO 00001243: PUSH2 0x124a 00001246: JUMPI 00001247: PUSH0 00001248: DUP1 00001249: REVERT 0000124a: JUMPDEST 0000124b: POP 0000124c: GAS 0000124d: CALL 0000124e: ISZERO 0000124f: DUP1 00001250: ISZERO 00001251: PUSH2 0x125c 00001254: JUMPI 00001255: RETURNDATASIZE 00001256: PUSH0 00001257: DUP1 00001258: RETURNDATACOPY 00001259: RETURNDATASIZE 0000125a: PUSH0 0000125b: REVERT 0000125c: JUMPDEST 0000125d: POP 0000125e: POP 0000125f: PUSH1 0x16 00001261: DUP1 00001262: SLOAD 00001263: PUSH1 0xff 00001265: PUSH1 0xa8 00001267: SHL 00001268: NOT 00001269: AND 0000126a: SWAP1 0000126b: SSTORE 0000126c: POP 0000126d: POP 0000126e: POP 0000126f: POP 00001270: JUMP 00001271: JUMPDEST 00001272: PUSH1 0x05 00001274: SLOAD 00001275: PUSH1 0x40 00001277: MLOAD 00001278: PUSH2 0x0100 0000127b: SWAP1 0000127c: SWAP2 0000127d: DIV 0000127e: PUSH1 0x01 00001280: PUSH1 0x01 00001282: PUSH1 0xa0 00001284: SHL 00001285: SUB 00001286: AND 00001287: SWAP1 00001288: PUSH2 0x08fc 0000128b: DUP4 0000128c: ISZERO 0000128d: MUL 0000128e: SWAP1 0000128f: DUP4 00001290: SWAP1 00001291: PUSH0 00001292: DUP2 00001293: DUP2 00001294: DUP2 00001295: DUP6 00001296: DUP9 00001297: DUP9 00001298: CALL 00001299: SWAP4 0000129a: POP 0000129b: POP 0000129c: POP 0000129d: POP 0000129e: ISZERO 0000129f: DUP1 000012a0: ISZERO 000012a1: PUSH2 0x047f 000012a4: JUMPI 000012a5: RETURNDATASIZE 000012a6: PUSH0 000012a7: DUP1 000012a8: RETURNDATACOPY 000012a9: RETURNDATASIZE 000012aa: PUSH0 000012ab: REVERT 000012ac: JUMPDEST 000012ad: PUSH0 000012ae: PUSH1 0x08 000012b0: SLOAD 000012b1: PUSH1 0x10 000012b3: SLOAD 000012b4: GT 000012b5: PUSH2 0x12bf 000012b8: JUMPI 000012b9: POP 000012ba: PUSH1 0x06 000012bc: SLOAD 000012bd: SWAP1 000012be: JUMP 000012bf: JUMPDEST 000012c0: PUSH1 0x08 000012c2: SLOAD 000012c3: PUSH1 0x10 000012c5: SLOAD 000012c6: GT 000012c7: DUP1 000012c8: ISZERO 000012c9: PUSH2 0x12d6 000012cc: JUMPI 000012cd: POP 000012ce: PUSH1 0x0c 000012d0: SLOAD 000012d1: PUSH1 0x10 000012d3: SLOAD 000012d4: GT 000012d5: ISZERO 000012d6: JUMPDEST 000012d7: ISZERO 000012d8: PUSH2 0x12e2 000012db: JUMPI 000012dc: POP 000012dd: PUSH1 0x0a 000012df: SLOAD 000012e0: SWAP1 000012e1: JUMP 000012e2: JUMPDEST 000012e3: POP 000012e4: PUSH1 0x0d 000012e6: SLOAD 000012e7: SWAP1 000012e8: JUMP 000012e9: JUMPDEST 000012ea: PUSH0 000012eb: DUP3 000012ec: PUSH0 000012ed: SUB 000012ee: PUSH2 0x12f8 000012f1: JUMPI 000012f2: POP 000012f3: PUSH0 000012f4: PUSH2 0x03a0 000012f7: JUMP 000012f8: JUMPDEST 000012f9: PUSH0 000012fa: PUSH2 0x1303 000012fd: DUP4 000012fe: DUP6 000012ff: PUSH2 0x1717 00001302: JUMP 00001303: JUMPDEST 00001304: SWAP1 00001305: POP 00001306: DUP3 00001307: PUSH2 0x1310 0000130a: DUP6 0000130b: DUP4 0000130c: PUSH2 0x1889 0000130f: JUMP 00001310: JUMPDEST 00001311: EQ 00001312: PUSH2 0x1367 00001315: JUMPI 00001316: PUSH1 0x40 00001318: MLOAD 00001319: PUSH3 0x461bcd 0000131d: PUSH1 0xe5 0000131f: SHL 00001320: DUP2 00001321: MSTORE 00001322: PUSH1 0x20 00001324: PUSH1 0x04 00001326: DUP3 00001327: ADD 00001328: MSTORE 00001329: PUSH1 0x21 0000132b: PUSH1 0x24 0000132d: DUP3 0000132e: ADD 0000132f: MSTORE 00001330: PUSH32 0x536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f 00001351: PUSH1 0x44 00001353: DUP3 00001354: ADD 00001355: MSTORE 00001356: PUSH1 0x77 00001358: PUSH1 0xf8 0000135a: SHL 0000135b: PUSH1 0x64 0000135d: DUP3 0000135e: ADD 0000135f: MSTORE 00001360: PUSH1 0x84 00001362: ADD 00001363: PUSH2 0x04ac 00001366: JUMP 00001367: JUMPDEST 00001368: SWAP4 00001369: SWAP3 0000136a: POP 0000136b: POP 0000136c: POP 0000136d: JUMP 0000136e: JUMPDEST 0000136f: PUSH0 00001370: PUSH2 0x1367 00001373: DUP4 00001374: DUP4 00001375: PUSH1 0x40 00001377: MLOAD 00001378: DUP1 00001379: PUSH1 0x40 0000137b: ADD 0000137c: PUSH1 0x40 0000137e: MSTORE 0000137f: DUP1 00001380: PUSH1 0x1a 00001382: DUP2 00001383: MSTORE 00001384: PUSH1 0x20 00001386: ADD 00001387: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000 000013a8: DUP2 000013a9: MSTORE 000013aa: POP 000013ab: PUSH2 0x14cd 000013ae: JUMP 000013af: JUMPDEST 000013b0: PUSH0 000013b1: PUSH2 0x13bc 000013b4: PUSH1 0x09 000013b6: PUSH1 0x0a 000013b8: PUSH2 0x1709 000013bb: JUMP 000013bc: JUMPDEST 000013bd: PUSH2 0x13ca 000013c0: SWAP1 000013c1: PUSH4 0x3b9aca00 000013c6: PUSH2 0x1717 000013c9: JUMP 000013ca: JUMPDEST 000013cb: PUSH1 0x05 000013cd: SLOAD 000013ce: PUSH2 0x0100 000013d1: SWAP1 000013d2: DIV 000013d3: PUSH1 0x01 000013d5: PUSH1 0x01 000013d7: PUSH1 0xa0 000013d9: SHL 000013da: SUB 000013db: AND 000013dc: BALANCE 000013dd: LT 000013de: PUSH2 0x13e5 000013e1: JUMPI 000013e2: PUSH0 000013e3: DUP1 000013e4: REVERT 000013e5: JUMPDEST 000013e6: PUSH1 0x08 000013e8: SLOAD 000013e9: PUSH1 0x10 000013eb: SLOAD 000013ec: GT 000013ed: PUSH2 0x13f7 000013f0: JUMPI 000013f1: POP 000013f2: PUSH1 0x07 000013f4: SLOAD 000013f5: SWAP1 000013f6: JUMP 000013f7: JUMPDEST 000013f8: PUSH1 0x09 000013fa: SLOAD 000013fb: PUSH1 0x10 000013fd: SLOAD 000013fe: GT 000013ff: DUP1 00001400: ISZERO 00001401: PUSH2 0x140e 00001404: JUMPI 00001405: POP 00001406: PUSH1 0x0c 00001408: SLOAD 00001409: PUSH1 0x10 0000140b: SLOAD 0000140c: GT 0000140d: ISZERO 0000140e: JUMPDEST 0000140f: ISZERO 00001410: PUSH2 0x12e2 00001413: JUMPI 00001414: POP 00001415: PUSH1 0x0b 00001417: SLOAD 00001418: SWAP1 00001419: JUMP 0000141a: JUMPDEST 0000141b: PUSH0 0000141c: DUP2 0000141d: DUP4 0000141e: GT 0000141f: PUSH2 0x1428 00001422: JUMPI 00001423: DUP3 00001424: PUSH2 0x1367 00001427: JUMP 00001428: JUMPDEST 00001429: POP 0000142a: SWAP2 0000142b: SWAP1 0000142c: POP 0000142d: JUMP 0000142e: JUMPDEST 0000142f: PUSH0 00001430: DUP1 00001431: PUSH2 0x143a 00001434: DUP4 00001435: DUP6 00001436: PUSH2 0x17c8 00001439: JUMP 0000143a: JUMPDEST 0000143b: SWAP1 0000143c: POP 0000143d: DUP4 0000143e: DUP2 0000143f: LT 00001440: ISZERO 00001441: PUSH2 0x1367 00001444: JUMPI 00001445: PUSH1 0x40 00001447: MLOAD 00001448: PUSH3 0x461bcd 0000144c: PUSH1 0xe5 0000144e: SHL 0000144f: DUP2 00001450: MSTORE 00001451: PUSH1 0x20 00001453: PUSH1 0x04 00001455: DUP3 00001456: ADD 00001457: MSTORE 00001458: PUSH1 0x1b 0000145a: PUSH1 0x24 0000145c: DUP3 0000145d: ADD 0000145e: MSTORE 0000145f: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 00001480: PUSH1 0x44 00001482: DUP3 00001483: ADD 00001484: MSTORE 00001485: PUSH1 0x64 00001487: ADD 00001488: PUSH2 0x04ac 0000148b: JUMP 0000148c: JUMPDEST 0000148d: PUSH0 0000148e: PUSH2 0x1367 00001491: DUP4 00001492: DUP4 00001493: PUSH1 0x40 00001495: MLOAD 00001496: DUP1 00001497: PUSH1 0x40 00001499: ADD 0000149a: PUSH1 0x40 0000149c: MSTORE 0000149d: DUP1 0000149e: PUSH1 0x1e 000014a0: DUP2 000014a1: MSTORE 000014a2: PUSH1 0x20 000014a4: ADD 000014a5: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 000014c6: DUP2 000014c7: MSTORE 000014c8: POP 000014c9: PUSH2 0x10c9 000014cc: JUMP 000014cd: JUMPDEST 000014ce: PUSH0 000014cf: DUP2 000014d0: DUP4 000014d1: PUSH2 0x14ed 000014d4: JUMPI 000014d5: PUSH1 0x40 000014d7: MLOAD 000014d8: PUSH3 0x461bcd 000014dc: PUSH1 0xe5 000014de: SHL 000014df: DUP2 000014e0: MSTORE 000014e1: PUSH1 0x04 000014e3: ADD 000014e4: PUSH2 0x04ac 000014e7: SWAP2 000014e8: SWAP1 000014e9: PUSH2 0x14f9 000014ec: JUMP 000014ed: JUMPDEST 000014ee: POP 000014ef: PUSH0 000014f0: PUSH2 0x10f8 000014f3: DUP5 000014f4: DUP7 000014f5: PUSH2 0x1889 000014f8: JUMP 000014f9: JUMPDEST 000014fa: PUSH0 000014fb: PUSH1 0x20 000014fd: DUP1 000014fe: DUP4 000014ff: MSTORE 00001500: DUP4 00001501: MLOAD 00001502: DUP1 00001503: DUP3 00001504: DUP6 00001505: ADD 00001506: MSTORE 00001507: PUSH0 00001508: JUMPDEST 00001509: DUP2 0000150a: DUP2 0000150b: LT 0000150c: ISZERO 0000150d: PUSH2 0x1524 00001510: JUMPI 00001511: DUP6 00001512: DUP2 00001513: ADD 00001514: DUP4 00001515: ADD 00001516: MLOAD 00001517: DUP6 00001518: DUP3 00001519: ADD 0000151a: PUSH1 0x40 0000151c: ADD 0000151d: MSTORE 0000151e: DUP3 0000151f: ADD 00001520: PUSH2 0x1508 00001523: JUMP 00001524: JUMPDEST 00001525: POP 00001526: PUSH0 00001527: PUSH1 0x40 00001529: DUP3 0000152a: DUP7 0000152b: ADD 0000152c: ADD 0000152d: MSTORE 0000152e: PUSH1 0x40 00001530: PUSH1 0x1f 00001532: NOT 00001533: PUSH1 0x1f 00001535: DUP4 00001536: ADD 00001537: AND 00001538: DUP6 00001539: ADD 0000153a: ADD 0000153b: SWAP3 0000153c: POP 0000153d: POP 0000153e: POP 0000153f: SWAP3 00001540: SWAP2 00001541: POP 00001542: POP 00001543: JUMP 00001544: JUMPDEST 00001545: PUSH1 0x01 00001547: PUSH1 0x01 00001549: PUSH1 0xa0 0000154b: SHL 0000154c: SUB 0000154d: DUP2 0000154e: AND 0000154f: DUP2 00001550: EQ 00001551: PUSH2 0x1558 00001554: JUMPI 00001555: PUSH0 00001556: DUP1 00001557: REVERT 00001558: JUMPDEST 00001559: POP 0000155a: JUMP 0000155b: JUMPDEST 0000155c: PUSH0 0000155d: DUP1 0000155e: PUSH1 0x40 00001560: DUP4 00001561: DUP6 00001562: SUB 00001563: SLT 00001564: ISZERO 00001565: PUSH2 0x156c 00001568: JUMPI 00001569: PUSH0 0000156a: DUP1 0000156b: REVERT 0000156c: JUMPDEST 0000156d: DUP3 0000156e: CALLDATALOAD 0000156f: PUSH2 0x1577 00001572: DUP2 00001573: PUSH2 0x1544 00001576: JUMP 00001577: JUMPDEST 00001578: SWAP5 00001579: PUSH1 0x20 0000157b: SWAP4 0000157c: SWAP1 0000157d: SWAP4 0000157e: ADD 0000157f: CALLDATALOAD 00001580: SWAP4 00001581: POP 00001582: POP 00001583: POP 00001584: JUMP 00001585: JUMPDEST 00001586: PUSH0 00001587: DUP1 00001588: PUSH0 00001589: PUSH1 0x60 0000158b: DUP5 0000158c: DUP7 0000158d: SUB 0000158e: SLT 0000158f: ISZERO 00001590: PUSH2 0x1597 00001593: JUMPI 00001594: PUSH0 00001595: DUP1 00001596: REVERT 00001597: JUMPDEST 00001598: DUP4 00001599: CALLDATALOAD 0000159a: PUSH2 0x15a2 0000159d: DUP2 0000159e: PUSH2 0x1544 000015a1: JUMP 000015a2: JUMPDEST 000015a3: SWAP3 000015a4: POP 000015a5: PUSH1 0x20 000015a7: DUP5 000015a8: ADD 000015a9: CALLDATALOAD 000015aa: PUSH2 0x15b2 000015ad: DUP2 000015ae: PUSH2 0x1544 000015b1: JUMP 000015b2: JUMPDEST 000015b3: SWAP3 000015b4: SWAP6 000015b5: SWAP3 000015b6: SWAP5 000015b7: POP 000015b8: POP 000015b9: POP 000015ba: PUSH1 0x40 000015bc: SWAP2 000015bd: SWAP1 000015be: SWAP2 000015bf: ADD 000015c0: CALLDATALOAD 000015c1: SWAP1 000015c2: JUMP 000015c3: JUMPDEST 000015c4: PUSH0 000015c5: PUSH1 0x20 000015c7: DUP3 000015c8: DUP5 000015c9: SUB 000015ca: SLT 000015cb: ISZERO 000015cc: PUSH2 0x15d3 000015cf: JUMPI 000015d0: PUSH0 000015d1: DUP1 000015d2: REVERT 000015d3: JUMPDEST 000015d4: DUP2 000015d5: CALLDATALOAD 000015d6: PUSH2 0x1367 000015d9: DUP2 000015da: PUSH2 0x1544 000015dd: JUMP 000015de: JUMPDEST 000015df: PUSH0 000015e0: DUP1 000015e1: PUSH1 0x40 000015e3: DUP4 000015e4: DUP6 000015e5: SUB 000015e6: SLT 000015e7: ISZERO 000015e8: PUSH2 0x15ef 000015eb: JUMPI 000015ec: PUSH0 000015ed: DUP1 000015ee: REVERT 000015ef: JUMPDEST 000015f0: DUP3 000015f1: CALLDATALOAD 000015f2: PUSH2 0x15fa 000015f5: DUP2 000015f6: PUSH2 0x1544 000015f9: JUMP 000015fa: JUMPDEST 000015fb: SWAP2 000015fc: POP 000015fd: PUSH1 0x20 000015ff: DUP4 00001600: ADD 00001601: CALLDATALOAD 00001602: PUSH2 0x160a 00001605: DUP2 00001606: PUSH2 0x1544 00001609: JUMP 0000160a: JUMPDEST 0000160b: DUP1 0000160c: SWAP2 0000160d: POP 0000160e: POP 0000160f: SWAP3 00001610: POP 00001611: SWAP3 00001612: SWAP1 00001613: POP 00001614: JUMP 00001615: JUMPDEST 00001616: PUSH4 0x4e487b71 0000161b: PUSH1 0xe0 0000161d: SHL 0000161e: PUSH0 0000161f: MSTORE 00001620: PUSH1 0x11 00001622: PUSH1 0x04 00001624: MSTORE 00001625: PUSH1 0x24 00001627: PUSH0 00001628: REVERT 00001629: JUMPDEST 0000162a: PUSH1 0x01 0000162c: DUP2 0000162d: DUP2 0000162e: JUMPDEST 0000162f: DUP1 00001630: DUP6 00001631: GT 00001632: ISZERO 00001633: PUSH2 0x1663 00001636: JUMPI 00001637: DUP2 00001638: PUSH0 00001639: NOT 0000163a: DIV 0000163b: DUP3 0000163c: GT 0000163d: ISZERO 0000163e: PUSH2 0x1649 00001641: JUMPI 00001642: PUSH2 0x1649 00001645: PUSH2 0x1615 00001648: JUMP 00001649: JUMPDEST 0000164a: DUP1 0000164b: DUP6 0000164c: AND 0000164d: ISZERO 0000164e: PUSH2 0x1656 00001651: JUMPI 00001652: SWAP2 00001653: DUP2 00001654: MUL 00001655: SWAP2 00001656: JUMPDEST 00001657: SWAP4 00001658: DUP5 00001659: SHR 0000165a: SWAP4 0000165b: SWAP1 0000165c: DUP1 0000165d: MUL 0000165e: SWAP1 0000165f: PUSH2 0x162e 00001662: JUMP 00001663: JUMPDEST 00001664: POP 00001665: SWAP3 00001666: POP 00001667: SWAP3 00001668: SWAP1 00001669: POP 0000166a: JUMP 0000166b: JUMPDEST 0000166c: PUSH0 0000166d: DUP3 0000166e: PUSH2 0x1679 00001671: JUMPI 00001672: POP 00001673: PUSH1 0x01 00001675: PUSH2 0x03a0 00001678: JUMP 00001679: JUMPDEST 0000167a: DUP2 0000167b: PUSH2 0x1685 0000167e: JUMPI 0000167f: POP 00001680: PUSH0 00001681: PUSH2 0x03a0 00001684: JUMP 00001685: JUMPDEST 00001686: DUP2 00001687: PUSH1 0x01 00001689: DUP2 0000168a: EQ 0000168b: PUSH2 0x169b 0000168e: JUMPI 0000168f: PUSH1 0x02 00001691: DUP2 00001692: EQ 00001693: PUSH2 0x16a5 00001696: JUMPI 00001697: PUSH2 0x16c1 0000169a: JUMP 0000169b: JUMPDEST 0000169c: PUSH1 0x01 0000169e: SWAP2 0000169f: POP 000016a0: POP 000016a1: PUSH2 0x03a0 000016a4: JUMP 000016a5: JUMPDEST 000016a6: PUSH1 0xff 000016a8: DUP5 000016a9: GT 000016aa: ISZERO 000016ab: PUSH2 0x16b6 000016ae: JUMPI 000016af: PUSH2 0x16b6 000016b2: PUSH2 0x1615 000016b5: JUMP 000016b6: JUMPDEST 000016b7: POP 000016b8: POP 000016b9: PUSH1 0x01 000016bb: DUP3 000016bc: SHL 000016bd: PUSH2 0x03a0 000016c0: JUMP 000016c1: JUMPDEST 000016c2: POP 000016c3: PUSH1 0x20 000016c5: DUP4 000016c6: LT 000016c7: PUSH2 0x0133 000016ca: DUP4 000016cb: LT 000016cc: AND 000016cd: PUSH1 0x4e 000016cf: DUP5 000016d0: LT 000016d1: PUSH1 0x0b 000016d3: DUP5 000016d4: LT 000016d5: AND 000016d6: OR 000016d7: ISZERO 000016d8: PUSH2 0x16e4 000016db: JUMPI 000016dc: POP 000016dd: DUP2 000016de: DUP2 000016df: EXP 000016e0: PUSH2 0x03a0 000016e3: JUMP 000016e4: JUMPDEST 000016e5: PUSH2 0x16ee 000016e8: DUP4 000016e9: DUP4 000016ea: PUSH2 0x1629 000016ed: JUMP 000016ee: JUMPDEST 000016ef: DUP1 000016f0: PUSH0 000016f1: NOT 000016f2: DIV 000016f3: DUP3 000016f4: GT 000016f5: ISZERO 000016f6: PUSH2 0x1701 000016f9: JUMPI 000016fa: PUSH2 0x1701 000016fd: PUSH2 0x1615 00001700: JUMP 00001701: JUMPDEST 00001702: MUL 00001703: SWAP4 00001704: SWAP3 00001705: POP 00001706: POP 00001707: POP 00001708: JUMP 00001709: JUMPDEST 0000170a: PUSH0 0000170b: PUSH2 0x1367 0000170e: PUSH1 0xff 00001710: DUP5 00001711: AND 00001712: DUP4 00001713: PUSH2 0x166b 00001716: JUMP 00001717: JUMPDEST 00001718: DUP1 00001719: DUP3 0000171a: MUL 0000171b: DUP2 0000171c: ISZERO 0000171d: DUP3 0000171e: DUP3 0000171f: DIV 00001720: DUP5 00001721: EQ 00001722: OR 00001723: PUSH2 0x03a0 00001726: JUMPI 00001727: PUSH2 0x03a0 0000172a: PUSH2 0x1615 0000172d: JUMP 0000172e: JUMPDEST 0000172f: PUSH1 0x20 00001731: DUP1 00001732: DUP3 00001733: MSTORE 00001734: DUP2 00001735: DUP2 00001736: ADD 00001737: MSTORE 00001738: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00001759: PUSH1 0x40 0000175b: DUP3 0000175c: ADD 0000175d: MSTORE 0000175e: PUSH1 0x60 00001760: ADD 00001761: SWAP1 00001762: JUMP 00001763: JUMPDEST 00001764: PUSH0 00001765: PUSH1 0x20 00001767: DUP3 00001768: DUP5 00001769: SUB 0000176a: SLT 0000176b: ISZERO 0000176c: PUSH2 0x1773 0000176f: JUMPI 00001770: PUSH0 00001771: DUP1 00001772: REVERT 00001773: JUMPDEST 00001774: DUP2 00001775: MLOAD 00001776: PUSH2 0x1367 00001779: DUP2 0000177a: PUSH2 0x1544 0000177d: JUMP 0000177e: JUMPDEST 0000177f: PUSH0 00001780: DUP1 00001781: PUSH0 00001782: PUSH1 0x60 00001784: DUP5 00001785: DUP7 00001786: SUB 00001787: SLT 00001788: ISZERO 00001789: PUSH2 0x1790 0000178c: JUMPI 0000178d: PUSH0 0000178e: DUP1 0000178f: REVERT 00001790: JUMPDEST 00001791: DUP4 00001792: MLOAD 00001793: SWAP3 00001794: POP 00001795: PUSH1 0x20 00001797: DUP5 00001798: ADD 00001799: MLOAD 0000179a: SWAP2 0000179b: POP 0000179c: PUSH1 0x40 0000179e: DUP5 0000179f: ADD 000017a0: MLOAD 000017a1: SWAP1 000017a2: POP 000017a3: SWAP3 000017a4: POP 000017a5: SWAP3 000017a6: POP 000017a7: SWAP3 000017a8: JUMP 000017a9: JUMPDEST 000017aa: PUSH0 000017ab: PUSH1 0x20 000017ad: DUP3 000017ae: DUP5 000017af: SUB 000017b0: SLT 000017b1: ISZERO 000017b2: PUSH2 0x17b9 000017b5: JUMPI 000017b6: PUSH0 000017b7: DUP1 000017b8: REVERT 000017b9: JUMPDEST 000017ba: DUP2 000017bb: MLOAD 000017bc: DUP1 000017bd: ISZERO 000017be: ISZERO 000017bf: DUP2 000017c0: EQ 000017c1: PUSH2 0x1367 000017c4: JUMPI 000017c5: PUSH0 000017c6: DUP1 000017c7: REVERT 000017c8: JUMPDEST 000017c9: DUP1 000017ca: DUP3 000017cb: ADD 000017cc: DUP1 000017cd: DUP3 000017ce: GT 000017cf: ISZERO 000017d0: PUSH2 0x03a0 000017d3: JUMPI 000017d4: PUSH2 0x03a0 000017d7: PUSH2 0x1615 000017da: JUMP 000017db: JUMPDEST 000017dc: PUSH0 000017dd: PUSH1 0x01 000017df: DUP3 000017e0: ADD 000017e1: PUSH2 0x17ec 000017e4: JUMPI 000017e5: PUSH2 0x17ec 000017e8: PUSH2 0x1615 000017eb: JUMP 000017ec: JUMPDEST 000017ed: POP 000017ee: PUSH1 0x01 000017f0: ADD 000017f1: SWAP1 000017f2: JUMP 000017f3: JUMPDEST 000017f4: DUP2 000017f5: DUP2 000017f6: SUB 000017f7: DUP2 000017f8: DUP2 000017f9: GT 000017fa: ISZERO 000017fb: PUSH2 0x03a0 000017fe: JUMPI 000017ff: PUSH2 0x03a0 00001802: PUSH2 0x1615 00001805: JUMP 00001806: JUMPDEST 00001807: PUSH4 0x4e487b71 0000180c: PUSH1 0xe0 0000180e: SHL 0000180f: PUSH0 00001810: MSTORE 00001811: PUSH1 0x32 00001813: PUSH1 0x04 00001815: MSTORE 00001816: PUSH1 0x24 00001818: PUSH0 00001819: REVERT 0000181a: JUMPDEST 0000181b: PUSH0 0000181c: PUSH1 0xa0 0000181e: DUP3 0000181f: ADD 00001820: DUP8 00001821: DUP4 00001822: MSTORE 00001823: PUSH1 0x20 00001825: DUP8 00001826: DUP2 00001827: DUP6 00001828: ADD 00001829: MSTORE 0000182a: PUSH1 0xa0 0000182c: PUSH1 0x40 0000182e: DUP6 0000182f: ADD 00001830: MSTORE 00001831: DUP2 00001832: DUP8 00001833: MLOAD 00001834: DUP1 00001835: DUP5 00001836: MSTORE 00001837: PUSH1 0xc0 00001839: DUP7 0000183a: ADD 0000183b: SWAP2 0000183c: POP 0000183d: DUP3 0000183e: DUP10 0000183f: ADD 00001840: SWAP4 00001841: POP 00001842: PUSH0 00001843: JUMPDEST 00001844: DUP2 00001845: DUP2 00001846: LT 00001847: ISZERO 00001848: PUSH2 0x1868 0000184b: JUMPI 0000184c: DUP5 0000184d: MLOAD 0000184e: PUSH1 0x01 00001850: PUSH1 0x01 00001852: PUSH1 0xa0 00001854: SHL 00001855: SUB 00001856: AND 00001857: DUP4 00001858: MSTORE 00001859: SWAP4 0000185a: DUP4 0000185b: ADD 0000185c: SWAP4 0000185d: SWAP2 0000185e: DUP4 0000185f: ADD 00001860: SWAP2 00001861: PUSH1 0x01 00001863: ADD 00001864: PUSH2 0x1843 00001867: JUMP 00001868: JUMPDEST 00001869: POP 0000186a: POP 0000186b: PUSH1 0x01 0000186d: PUSH1 0x01 0000186f: PUSH1 0xa0 00001871: SHL 00001872: SUB 00001873: SWAP7 00001874: SWAP1 00001875: SWAP7 00001876: AND 00001877: PUSH1 0x60 00001879: DUP6 0000187a: ADD 0000187b: MSTORE 0000187c: POP 0000187d: POP 0000187e: POP 0000187f: PUSH1 0x80 00001881: ADD 00001882: MSTORE 00001883: SWAP4 00001884: SWAP3 00001885: POP 00001886: POP 00001887: POP 00001888: JUMP 00001889: JUMPDEST 0000188a: PUSH0 0000188b: DUP3 0000188c: PUSH2 0x18a3 0000188f: JUMPI 00001890: PUSH4 0x4e487b71 00001895: PUSH1 0xe0 00001897: SHL 00001898: PUSH0 00001899: MSTORE 0000189a: PUSH1 0x12 0000189c: PUSH1 0x04 0000189e: MSTORE 0000189f: PUSH1 0x24 000018a1: PUSH0 000018a2: REVERT 000018a3: JUMPDEST 000018a4: POP 000018a5: DIV 000018a6: SWAP1 000018a7: JUMP 000018a8: INVALID 000018a9: GASLIMIT 000018aa: MSTORE 000018ab: NUMBER 000018ac: ORIGIN 000018ad: ADDRESS 000018ae: GASPRICE 000018af: KECCAK256 000018b0: PUSH21 0x72616e7366657220616d6f756e7420657863656564 000018c6: PUSH20 0x20616c6c6f77616e6365a2646970667358221220 000018db: UNKNOWN(0xAC) 000018dc: JUMPI 000018dd: UNKNOWN(0x25) 000018de: DUP8 000018df: SWAP8 000018e0: REVERT 000018e1: UNKNOWN(0xCF) 000018e2: PUSH3 0x8977a9 000018e6: UNKNOWN(0xE5) 000018e7: CODECOPY 000018e8: UNKNOWN(0x27) 000018e9: DUP4 000018ea: NUMBER 000018eb: PUSH24 0x44fda65d353d9bd0c5ba8429646aed64736f6c6343000815 00001904: STOP 00001905: CALLER
| 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": 3140,
"type": "tx_origin_used"
},
{
"pc": 3289,
"type": "tx_origin_used"
},
{
"pc": 6316,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x6e8ae00429a3b9aabc873cbf5c39aa3d4b7e64031583aca77a6b333eb9923b09
call_targets:
0x355c16c3b4a5d036b668c380a0c880a1a14eaa89
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6e8ae00429a3b9aabc873cbf5c39aa3d4b7e64031583aca77a6b333eb9923b09",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x355c16c3b4a5d036b668c380a0c880a1a14eaa89"
],
"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": 1986,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2214,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2336,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [
{
"pc": 3140,
"type": "tx_origin_used"
},
{
"pc": 3289,
"type": "tx_origin_used"
},
{
"pc": 6316,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 5
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x6e8ae00429a3b9aabc873cbf5c39aa3d4b7e64031583aca77a6b333eb9923b09
call_targets:
0x355c16c3b4a5d036b668c380a0c880a1a14eaa89
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6e8ae00429a3b9aabc873cbf5c39aa3d4b7e64031583aca77a6b333eb9923b09",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x355c16c3b4a5d036b668c380a0c880a1a14eaa89"
],
"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": 1986,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2214,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2336,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": [
{
"pc": 3140,
"type": "tx_origin_used"
},
{
"pc": 3289,
"type": "tx_origin_used"
},
{
"pc": 6316,
"type": "tx_origin_used"
}
]
}
|