019b477e-d7b0-70bf-a835-988d81ec838f
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 |
|---|---|---|---|---|
| 28939 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 28940 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 72276 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 72277 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 72278 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 72279 | 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 0x0241 0000000c: JUMPI 0000000d: PUSH0 0000000e: CALLDATALOAD 0000000f: PUSH1 0xe0 00000011: SHR 00000012: DUP1 00000013: PUSH4 0x751039fc 00000018: GT 00000019: PUSH2 0x0134 0000001c: JUMPI 0000001d: DUP1 0000001e: PUSH4 0xaacebbe3 00000023: GT 00000024: PUSH2 0x00b3 00000027: JUMPI 00000028: DUP1 00000029: PUSH4 0xd85ba063 0000002e: GT 0000002f: PUSH2 0x0078 00000032: JUMPI 00000033: DUP1 00000034: PUSH4 0xd85ba063 00000039: EQ 0000003a: PUSH2 0x06c8 0000003d: JUMPI 0000003e: DUP1 0000003f: PUSH4 0xdd62ed3e 00000044: EQ 00000045: PUSH2 0x06dd 00000048: JUMPI 00000049: DUP1 0000004a: PUSH4 0xee40166e 0000004f: EQ 00000050: PUSH2 0x0721 00000053: JUMPI 00000054: DUP1 00000055: PUSH4 0xf2fde38b 0000005a: EQ 0000005b: PUSH2 0x0736 0000005e: JUMPI 0000005f: DUP1 00000060: PUSH4 0xf4293890 00000065: EQ 00000066: PUSH2 0x0755 00000069: JUMPI 0000006a: DUP1 0000006b: PUSH4 0xf8b45b05 00000070: EQ 00000071: PUSH2 0x0769 00000074: JUMPI 00000075: PUSH0 00000076: DUP1 00000077: REVERT 00000078: JUMPDEST 00000079: DUP1 0000007a: PUSH4 0xaacebbe3 0000007f: EQ 00000080: PUSH2 0x0628 00000083: JUMPI 00000084: DUP1 00000085: PUSH4 0xb62496f5 0000008a: EQ 0000008b: PUSH2 0x0647 0000008e: JUMPI 0000008f: DUP1 00000090: PUSH4 0xbbc0c742 00000095: EQ 00000096: PUSH2 0x0675 00000099: JUMPI 0000009a: DUP1 0000009b: PUSH4 0xc0246668 000000a0: EQ 000000a1: PUSH2 0x0694 000000a4: JUMPI 000000a5: DUP1 000000a6: PUSH4 0xc8c8ebe4 000000ab: EQ 000000ac: PUSH2 0x06b3 000000af: JUMPI 000000b0: PUSH0 000000b1: DUP1 000000b2: REVERT 000000b3: JUMPDEST 000000b4: DUP1 000000b5: PUSH4 0x955b225b 000000ba: GT 000000bb: PUSH2 0x00f9 000000be: JUMPI 000000bf: DUP1 000000c0: PUSH4 0x955b225b 000000c5: EQ 000000c6: PUSH2 0x0598 000000c9: JUMPI 000000ca: DUP1 000000cb: PUSH4 0x95d89b41 000000d0: EQ 000000d1: PUSH2 0x05b7 000000d4: JUMPI 000000d5: DUP1 000000d6: PUSH4 0x9a7a23d6 000000db: EQ 000000dc: PUSH2 0x05cb 000000df: JUMPI 000000e0: DUP1 000000e1: PUSH4 0xa457c2d7 000000e6: EQ 000000e7: PUSH2 0x05ea 000000ea: JUMPI 000000eb: DUP1 000000ec: PUSH4 0xa9059cbb 000000f1: EQ 000000f2: PUSH2 0x0609 000000f5: JUMPI 000000f6: PUSH0 000000f7: DUP1 000000f8: REVERT 000000f9: JUMPDEST 000000fa: DUP1 000000fb: PUSH4 0x751039fc 00000100: EQ 00000101: PUSH2 0x0515 00000104: JUMPI 00000105: DUP1 00000106: PUSH4 0x7571336a 0000010b: EQ 0000010c: PUSH2 0x0529 0000010f: JUMPI 00000110: DUP1 00000111: PUSH4 0x8a8c523c 00000116: EQ 00000117: PUSH2 0x0548 0000011a: JUMPI 0000011b: DUP1 0000011c: PUSH4 0x8da5cb5b 00000121: EQ 00000122: PUSH2 0x055c 00000125: JUMPI 00000126: DUP1 00000127: PUSH4 0x924de9b7 0000012c: EQ 0000012d: PUSH2 0x0579 00000130: JUMPI 00000131: PUSH0 00000132: DUP1 00000133: REVERT 00000134: JUMPDEST 00000135: DUP1 00000136: PUSH4 0x49bd5a5e 0000013b: GT 0000013c: PUSH2 0x01c0 0000013f: JUMPI 00000140: DUP1 00000141: PUSH4 0x503dfc4d 00000146: GT 00000147: PUSH2 0x0185 0000014a: JUMPI 0000014b: DUP1 0000014c: PUSH4 0x503dfc4d 00000151: EQ 00000152: PUSH2 0x0484 00000155: JUMPI 00000156: DUP1 00000157: PUSH4 0x6a486a8e 0000015c: EQ 0000015d: PUSH2 0x0498 00000160: JUMPI 00000161: DUP1 00000162: PUSH4 0x6ddd1713 00000167: EQ 00000168: PUSH2 0x04ad 0000016b: JUMPI 0000016c: DUP1 0000016d: PUSH4 0x70a08231 00000172: EQ 00000173: PUSH2 0x04cd 00000176: JUMPI 00000177: DUP1 00000178: PUSH4 0x715018a6 0000017d: EQ 0000017e: PUSH2 0x0501 00000181: JUMPI 00000182: PUSH0 00000183: DUP1 00000184: REVERT 00000185: JUMPDEST 00000186: DUP1 00000187: PUSH4 0x49bd5a5e 0000018c: EQ 0000018d: PUSH2 0x03c6 00000190: JUMPI 00000191: DUP1 00000192: PUSH4 0x4a62bb65 00000197: EQ 00000198: PUSH2 0x03f9 0000019b: JUMPI 0000019c: DUP1 0000019d: PUSH4 0x4c24c51d 000001a2: EQ 000001a3: PUSH2 0x0417 000001a6: JUMPI 000001a7: DUP1 000001a8: PUSH4 0x4cdc8da4 000001ad: EQ 000001ae: PUSH2 0x0438 000001b1: JUMPI 000001b2: DUP1 000001b3: PUSH4 0x4fbee193 000001b8: EQ 000001b9: PUSH2 0x044d 000001bc: JUMPI 000001bd: PUSH0 000001be: DUP1 000001bf: REVERT 000001c0: JUMPDEST 000001c1: DUP1 000001c2: PUSH4 0x23b872dd 000001c7: GT 000001c8: PUSH2 0x0206 000001cb: JUMPI 000001cc: DUP1 000001cd: PUSH4 0x23b872dd 000001d2: EQ 000001d3: PUSH2 0x033c 000001d6: JUMPI 000001d7: DUP1 000001d8: PUSH4 0x27c8f835 000001dd: EQ 000001de: PUSH2 0x035b 000001e1: JUMPI 000001e2: DUP1 000001e3: PUSH4 0x2f5f2572 000001e8: EQ 000001e9: PUSH2 0x0370 000001ec: JUMPI 000001ed: DUP1 000001ee: PUSH4 0x313ce567 000001f3: EQ 000001f4: PUSH2 0x0386 000001f7: JUMPI 000001f8: DUP1 000001f9: PUSH4 0x39509351 000001fe: EQ 000001ff: PUSH2 0x03a7 00000202: JUMPI 00000203: PUSH0 00000204: DUP1 00000205: REVERT 00000206: JUMPDEST 00000207: DUP1 00000208: PUSH4 0x06fdde03 0000020d: EQ 0000020e: PUSH2 0x024c 00000211: JUMPI 00000212: DUP1 00000213: PUSH4 0x095ea7b3 00000218: EQ 00000219: PUSH2 0x0276 0000021c: JUMPI 0000021d: DUP1 0000021e: PUSH4 0x10d5de53 00000223: EQ 00000224: PUSH2 0x02a5 00000227: JUMPI 00000228: DUP1 00000229: PUSH4 0x1694505e 0000022e: EQ 0000022f: PUSH2 0x02d3 00000232: JUMPI 00000233: DUP1 00000234: PUSH4 0x18160ddd 00000239: EQ 0000023a: PUSH2 0x031e 0000023d: JUMPI 0000023e: PUSH0 0000023f: DUP1 00000240: REVERT 00000241: JUMPDEST 00000242: CALLDATASIZE 00000243: PUSH2 0x0248 00000246: JUMPI 00000247: STOP 00000248: JUMPDEST 00000249: PUSH0 0000024a: DUP1 0000024b: REVERT 0000024c: JUMPDEST 0000024d: CALLVALUE 0000024e: DUP1 0000024f: ISZERO 00000250: PUSH2 0x0257 00000253: JUMPI 00000254: PUSH0 00000255: DUP1 00000256: REVERT 00000257: JUMPDEST 00000258: POP 00000259: PUSH2 0x0260 0000025c: PUSH2 0x077e 0000025f: JUMP 00000260: JUMPDEST 00000261: PUSH1 0x40 00000263: MLOAD 00000264: PUSH2 0x026d 00000267: SWAP2 00000268: SWAP1 00000269: PUSH2 0x1b40 0000026c: JUMP 0000026d: JUMPDEST 0000026e: PUSH1 0x40 00000270: MLOAD 00000271: DUP1 00000272: SWAP2 00000273: SUB 00000274: SWAP1 00000275: RETURN 00000276: JUMPDEST 00000277: CALLVALUE 00000278: DUP1 00000279: ISZERO 0000027a: PUSH2 0x0281 0000027d: JUMPI 0000027e: PUSH0 0000027f: DUP1 00000280: REVERT 00000281: JUMPDEST 00000282: POP 00000283: PUSH2 0x0295 00000286: PUSH2 0x0290 00000289: CALLDATASIZE 0000028a: PUSH1 0x04 0000028c: PUSH2 0x1b89 0000028f: JUMP 00000290: JUMPDEST 00000291: PUSH2 0x080e 00000294: JUMP 00000295: JUMPDEST 00000296: PUSH1 0x40 00000298: MLOAD 00000299: SWAP1 0000029a: ISZERO 0000029b: ISZERO 0000029c: DUP2 0000029d: MSTORE 0000029e: PUSH1 0x20 000002a0: ADD 000002a1: PUSH2 0x026d 000002a4: JUMP 000002a5: JUMPDEST 000002a6: CALLVALUE 000002a7: DUP1 000002a8: ISZERO 000002a9: PUSH2 0x02b0 000002ac: JUMPI 000002ad: PUSH0 000002ae: DUP1 000002af: REVERT 000002b0: JUMPDEST 000002b1: POP 000002b2: PUSH2 0x0295 000002b5: PUSH2 0x02bf 000002b8: CALLDATASIZE 000002b9: PUSH1 0x04 000002bb: PUSH2 0x1bb3 000002be: JUMP 000002bf: JUMPDEST 000002c0: PUSH1 0x0f 000002c2: PUSH1 0x20 000002c4: MSTORE 000002c5: PUSH0 000002c6: SWAP1 000002c7: DUP2 000002c8: MSTORE 000002c9: PUSH1 0x40 000002cb: SWAP1 000002cc: KECCAK256 000002cd: SLOAD 000002ce: PUSH1 0xff 000002d0: AND 000002d1: DUP2 000002d2: JUMP 000002d3: JUMPDEST 000002d4: CALLVALUE 000002d5: DUP1 000002d6: ISZERO 000002d7: PUSH2 0x02de 000002da: JUMPI 000002db: PUSH0 000002dc: DUP1 000002dd: REVERT 000002de: JUMPDEST 000002df: POP 000002e0: PUSH2 0x0306 000002e3: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d 00000304: DUP2 00000305: JUMP 00000306: JUMPDEST 00000307: PUSH1 0x40 00000309: MLOAD 0000030a: PUSH1 0x01 0000030c: PUSH1 0x01 0000030e: PUSH1 0xa0 00000310: SHL 00000311: SUB 00000312: SWAP1 00000313: SWAP2 00000314: AND 00000315: DUP2 00000316: MSTORE 00000317: PUSH1 0x20 00000319: ADD 0000031a: PUSH2 0x026d 0000031d: JUMP 0000031e: JUMPDEST 0000031f: CALLVALUE 00000320: DUP1 00000321: ISZERO 00000322: PUSH2 0x0329 00000325: JUMPI 00000326: PUSH0 00000327: DUP1 00000328: REVERT 00000329: JUMPDEST 0000032a: POP 0000032b: PUSH1 0x02 0000032d: SLOAD 0000032e: JUMPDEST 0000032f: PUSH1 0x40 00000331: MLOAD 00000332: SWAP1 00000333: DUP2 00000334: MSTORE 00000335: PUSH1 0x20 00000337: ADD 00000338: PUSH2 0x026d 0000033b: JUMP 0000033c: JUMPDEST 0000033d: CALLVALUE 0000033e: DUP1 0000033f: ISZERO 00000340: PUSH2 0x0347 00000343: JUMPI 00000344: PUSH0 00000345: DUP1 00000346: REVERT 00000347: JUMPDEST 00000348: POP 00000349: PUSH2 0x0295 0000034c: PUSH2 0x0356 0000034f: CALLDATASIZE 00000350: PUSH1 0x04 00000352: PUSH2 0x1bce 00000355: JUMP 00000356: JUMPDEST 00000357: PUSH2 0x0824 0000035a: JUMP 0000035b: JUMPDEST 0000035c: CALLVALUE 0000035d: DUP1 0000035e: ISZERO 0000035f: PUSH2 0x0366 00000362: JUMPI 00000363: PUSH0 00000364: DUP1 00000365: REVERT 00000366: JUMPDEST 00000367: POP 00000368: PUSH2 0x0306 0000036b: PUSH2 0xdead 0000036e: DUP2 0000036f: JUMP 00000370: JUMPDEST 00000371: CALLVALUE 00000372: DUP1 00000373: ISZERO 00000374: PUSH2 0x037b 00000377: JUMPI 00000378: PUSH0 00000379: DUP1 0000037a: REVERT 0000037b: JUMPDEST 0000037c: POP 0000037d: PUSH2 0x0384 00000380: PUSH2 0x088b 00000383: JUMP 00000384: JUMPDEST 00000385: STOP 00000386: JUMPDEST 00000387: CALLVALUE 00000388: DUP1 00000389: ISZERO 0000038a: PUSH2 0x0391 0000038d: JUMPI 0000038e: PUSH0 0000038f: DUP1 00000390: REVERT 00000391: JUMPDEST 00000392: POP 00000393: PUSH1 0x0a 00000395: SLOAD 00000396: PUSH1 0x40 00000398: MLOAD 00000399: PUSH1 0xff 0000039b: SWAP1 0000039c: SWAP2 0000039d: AND 0000039e: DUP2 0000039f: MSTORE 000003a0: PUSH1 0x20 000003a2: ADD 000003a3: PUSH2 0x026d 000003a6: JUMP 000003a7: JUMPDEST 000003a8: CALLVALUE 000003a9: DUP1 000003aa: ISZERO 000003ab: PUSH2 0x03b2 000003ae: JUMPI 000003af: PUSH0 000003b0: DUP1 000003b1: REVERT 000003b2: JUMPDEST 000003b3: POP 000003b4: PUSH2 0x0295 000003b7: PUSH2 0x03c1 000003ba: CALLDATASIZE 000003bb: PUSH1 0x04 000003bd: PUSH2 0x1b89 000003c0: JUMP 000003c1: JUMPDEST 000003c2: PUSH2 0x08c9 000003c5: JUMP 000003c6: JUMPDEST 000003c7: CALLVALUE 000003c8: DUP1 000003c9: ISZERO 000003ca: PUSH2 0x03d1 000003cd: JUMPI 000003ce: PUSH0 000003cf: DUP1 000003d0: REVERT 000003d1: JUMPDEST 000003d2: POP 000003d3: PUSH2 0x0306 000003d6: PUSH32 0x0000000000000000000000000f388ecdbc128083bfe317b00de2c25fbe9f24d5 000003f7: DUP2 000003f8: JUMP 000003f9: JUMPDEST 000003fa: CALLVALUE 000003fb: DUP1 000003fc: ISZERO 000003fd: PUSH2 0x0404 00000400: JUMPI 00000401: PUSH0 00000402: DUP1 00000403: REVERT 00000404: JUMPDEST 00000405: POP 00000406: PUSH1 0x0a 00000408: SLOAD 00000409: PUSH2 0x0295 0000040c: SWAP1 0000040d: PUSH2 0x0100 00000410: SWAP1 00000411: DIV 00000412: PUSH1 0xff 00000414: AND 00000415: DUP2 00000416: JUMP 00000417: JUMPDEST 00000418: CALLVALUE 00000419: DUP1 0000041a: ISZERO 0000041b: PUSH2 0x0422 0000041e: JUMPI 0000041f: PUSH0 00000420: DUP1 00000421: REVERT 00000422: JUMPDEST 00000423: POP 00000424: PUSH1 0x0a 00000426: SLOAD 00000427: PUSH2 0x0295 0000042a: SWAP1 0000042b: PUSH5 0x0100000000 00000431: SWAP1 00000432: DIV 00000433: PUSH1 0xff 00000435: AND 00000436: DUP2 00000437: JUMP 00000438: JUMPDEST 00000439: CALLVALUE 0000043a: DUP1 0000043b: ISZERO 0000043c: PUSH2 0x0443 0000043f: JUMPI 00000440: PUSH0 00000441: DUP1 00000442: REVERT 00000443: JUMPDEST 00000444: POP 00000445: PUSH2 0x032e 00000448: PUSH1 0x09 0000044a: SLOAD 0000044b: DUP2 0000044c: JUMP 0000044d: JUMPDEST 0000044e: CALLVALUE 0000044f: DUP1 00000450: ISZERO 00000451: PUSH2 0x0458 00000454: JUMPI 00000455: PUSH0 00000456: DUP1 00000457: REVERT 00000458: JUMPDEST 00000459: POP 0000045a: PUSH2 0x0295 0000045d: PUSH2 0x0467 00000460: CALLDATASIZE 00000461: PUSH1 0x04 00000463: PUSH2 0x1bb3 00000466: JUMP 00000467: JUMPDEST 00000468: PUSH1 0x01 0000046a: PUSH1 0x01 0000046c: PUSH1 0xa0 0000046e: SHL 0000046f: SUB 00000470: AND 00000471: PUSH0 00000472: SWAP1 00000473: DUP2 00000474: MSTORE 00000475: PUSH1 0x0e 00000477: PUSH1 0x20 00000479: MSTORE 0000047a: PUSH1 0x40 0000047c: SWAP1 0000047d: KECCAK256 0000047e: SLOAD 0000047f: PUSH1 0xff 00000481: AND 00000482: SWAP1 00000483: JUMP 00000484: JUMPDEST 00000485: CALLVALUE 00000486: DUP1 00000487: ISZERO 00000488: PUSH2 0x048f 0000048b: JUMPI 0000048c: PUSH0 0000048d: DUP1 0000048e: REVERT 0000048f: JUMPDEST 00000490: POP 00000491: PUSH2 0x0384 00000494: PUSH2 0x08fe 00000497: JUMP 00000498: JUMPDEST 00000499: CALLVALUE 0000049a: DUP1 0000049b: ISZERO 0000049c: PUSH2 0x04a3 0000049f: JUMPI 000004a0: PUSH0 000004a1: DUP1 000004a2: REVERT 000004a3: JUMPDEST 000004a4: POP 000004a5: PUSH2 0x032e 000004a8: PUSH1 0x0d 000004aa: SLOAD 000004ab: DUP2 000004ac: JUMP 000004ad: JUMPDEST 000004ae: CALLVALUE 000004af: DUP1 000004b0: ISZERO 000004b1: PUSH2 0x04b8 000004b4: JUMPI 000004b5: PUSH0 000004b6: DUP1 000004b7: REVERT 000004b8: JUMPDEST 000004b9: POP 000004ba: PUSH1 0x0a 000004bc: SLOAD 000004bd: PUSH2 0x0295 000004c0: SWAP1 000004c1: PUSH4 0x01000000 000004c6: SWAP1 000004c7: DIV 000004c8: PUSH1 0xff 000004ca: AND 000004cb: DUP2 000004cc: JUMP 000004cd: JUMPDEST 000004ce: CALLVALUE 000004cf: DUP1 000004d0: ISZERO 000004d1: PUSH2 0x04d8 000004d4: JUMPI 000004d5: PUSH0 000004d6: DUP1 000004d7: REVERT 000004d8: JUMPDEST 000004d9: POP 000004da: PUSH2 0x032e 000004dd: PUSH2 0x04e7 000004e0: CALLDATASIZE 000004e1: PUSH1 0x04 000004e3: PUSH2 0x1bb3 000004e6: JUMP 000004e7: JUMPDEST 000004e8: PUSH1 0x01 000004ea: PUSH1 0x01 000004ec: PUSH1 0xa0 000004ee: SHL 000004ef: SUB 000004f0: AND 000004f1: PUSH0 000004f2: SWAP1 000004f3: DUP2 000004f4: MSTORE 000004f5: PUSH1 0x20 000004f7: DUP2 000004f8: SWAP1 000004f9: MSTORE 000004fa: PUSH1 0x40 000004fc: SWAP1 000004fd: KECCAK256 000004fe: SLOAD 000004ff: SWAP1 00000500: JUMP 00000501: JUMPDEST 00000502: CALLVALUE 00000503: DUP1 00000504: ISZERO 00000505: PUSH2 0x050c 00000508: JUMPI 00000509: PUSH0 0000050a: DUP1 0000050b: REVERT 0000050c: JUMPDEST 0000050d: POP 0000050e: PUSH2 0x0384 00000511: PUSH2 0x0996 00000514: JUMP 00000515: JUMPDEST 00000516: CALLVALUE 00000517: DUP1 00000518: ISZERO 00000519: PUSH2 0x0520 0000051c: JUMPI 0000051d: PUSH0 0000051e: DUP1 0000051f: REVERT 00000520: JUMPDEST 00000521: POP 00000522: PUSH2 0x0295 00000525: PUSH2 0x0a09 00000528: JUMP 00000529: JUMPDEST 0000052a: CALLVALUE 0000052b: DUP1 0000052c: ISZERO 0000052d: PUSH2 0x0534 00000530: JUMPI 00000531: PUSH0 00000532: DUP1 00000533: REVERT 00000534: JUMPDEST 00000535: POP 00000536: PUSH2 0x0384 00000539: PUSH2 0x0543 0000053c: CALLDATASIZE 0000053d: PUSH1 0x04 0000053f: PUSH2 0x1c19 00000542: JUMP 00000543: JUMPDEST 00000544: PUSH2 0x0a4f 00000547: JUMP 00000548: JUMPDEST 00000549: CALLVALUE 0000054a: DUP1 0000054b: ISZERO 0000054c: PUSH2 0x0553 0000054f: JUMPI 00000550: PUSH0 00000551: DUP1 00000552: REVERT 00000553: JUMPDEST 00000554: POP 00000555: PUSH2 0x0384 00000558: PUSH2 0x0aa3 0000055b: JUMP 0000055c: JUMPDEST 0000055d: CALLVALUE 0000055e: DUP1 0000055f: ISZERO 00000560: PUSH2 0x0567 00000563: JUMPI 00000564: PUSH0 00000565: DUP1 00000566: REVERT 00000567: JUMPDEST 00000568: POP 00000569: PUSH1 0x05 0000056b: SLOAD 0000056c: PUSH1 0x01 0000056e: PUSH1 0x01 00000570: PUSH1 0xa0 00000572: SHL 00000573: SUB 00000574: AND 00000575: PUSH2 0x0306 00000578: JUMP 00000579: JUMPDEST 0000057a: CALLVALUE 0000057b: DUP1 0000057c: ISZERO 0000057d: PUSH2 0x0584 00000580: JUMPI 00000581: PUSH0 00000582: DUP1 00000583: REVERT 00000584: JUMPDEST 00000585: POP 00000586: PUSH2 0x0384 00000589: PUSH2 0x0593 0000058c: CALLDATASIZE 0000058d: PUSH1 0x04 0000058f: PUSH2 0x1c50 00000592: JUMP 00000593: JUMPDEST 00000594: PUSH2 0x0ae6 00000597: JUMP 00000598: JUMPDEST 00000599: CALLVALUE 0000059a: DUP1 0000059b: ISZERO 0000059c: PUSH2 0x05a3 0000059f: JUMPI 000005a0: PUSH0 000005a1: DUP1 000005a2: REVERT 000005a3: JUMPDEST 000005a4: POP 000005a5: PUSH2 0x0384 000005a8: PUSH2 0x05b2 000005ab: CALLDATASIZE 000005ac: PUSH1 0x04 000005ae: PUSH2 0x1c50 000005b1: JUMP 000005b2: JUMPDEST 000005b3: PUSH2 0x0b2e 000005b6: JUMP 000005b7: JUMPDEST 000005b8: CALLVALUE 000005b9: DUP1 000005ba: ISZERO 000005bb: PUSH2 0x05c2 000005be: JUMPI 000005bf: PUSH0 000005c0: DUP1 000005c1: REVERT 000005c2: JUMPDEST 000005c3: POP 000005c4: PUSH2 0x0260 000005c7: PUSH2 0x0b78 000005ca: JUMP 000005cb: JUMPDEST 000005cc: CALLVALUE 000005cd: DUP1 000005ce: ISZERO 000005cf: PUSH2 0x05d6 000005d2: JUMPI 000005d3: PUSH0 000005d4: DUP1 000005d5: REVERT 000005d6: JUMPDEST 000005d7: POP 000005d8: PUSH2 0x0384 000005db: PUSH2 0x05e5 000005de: CALLDATASIZE 000005df: PUSH1 0x04 000005e1: PUSH2 0x1c19 000005e4: JUMP 000005e5: JUMPDEST 000005e6: PUSH2 0x0b87 000005e9: JUMP 000005ea: JUMPDEST 000005eb: CALLVALUE 000005ec: DUP1 000005ed: ISZERO 000005ee: PUSH2 0x05f5 000005f1: JUMPI 000005f2: PUSH0 000005f3: DUP1 000005f4: REVERT 000005f5: JUMPDEST 000005f6: POP 000005f7: PUSH2 0x0295 000005fa: PUSH2 0x0604 000005fd: CALLDATASIZE 000005fe: PUSH1 0x04 00000600: PUSH2 0x1b89 00000603: JUMP 00000604: JUMPDEST 00000605: PUSH2 0x0c66 00000608: JUMP 00000609: JUMPDEST 0000060a: CALLVALUE 0000060b: DUP1 0000060c: ISZERO 0000060d: PUSH2 0x0614 00000610: JUMPI 00000611: PUSH0 00000612: DUP1 00000613: REVERT 00000614: JUMPDEST 00000615: POP 00000616: PUSH2 0x0295 00000619: PUSH2 0x0623 0000061c: CALLDATASIZE 0000061d: PUSH1 0x04 0000061f: PUSH2 0x1b89 00000622: JUMP 00000623: JUMPDEST 00000624: PUSH2 0x0cb3 00000627: JUMP 00000628: JUMPDEST 00000629: CALLVALUE 0000062a: DUP1 0000062b: ISZERO 0000062c: PUSH2 0x0633 0000062f: JUMPI 00000630: PUSH0 00000631: DUP1 00000632: REVERT 00000633: JUMPDEST 00000634: POP 00000635: PUSH2 0x0384 00000638: PUSH2 0x0642 0000063b: CALLDATASIZE 0000063c: PUSH1 0x04 0000063e: PUSH2 0x1bb3 00000641: JUMP 00000642: JUMPDEST 00000643: PUSH2 0x0cbf 00000646: JUMP 00000647: JUMPDEST 00000648: CALLVALUE 00000649: DUP1 0000064a: ISZERO 0000064b: PUSH2 0x0652 0000064e: JUMPI 0000064f: PUSH0 00000650: DUP1 00000651: REVERT 00000652: JUMPDEST 00000653: POP 00000654: PUSH2 0x0295 00000657: PUSH2 0x0661 0000065a: CALLDATASIZE 0000065b: PUSH1 0x04 0000065d: PUSH2 0x1bb3 00000660: JUMP 00000661: JUMPDEST 00000662: PUSH1 0x10 00000664: PUSH1 0x20 00000666: MSTORE 00000667: PUSH0 00000668: SWAP1 00000669: DUP2 0000066a: MSTORE 0000066b: PUSH1 0x40 0000066d: SWAP1 0000066e: KECCAK256 0000066f: SLOAD 00000670: PUSH1 0xff 00000672: AND 00000673: DUP2 00000674: JUMP 00000675: JUMPDEST 00000676: CALLVALUE 00000677: DUP1 00000678: ISZERO 00000679: PUSH2 0x0680 0000067c: JUMPI 0000067d: PUSH0 0000067e: DUP1 0000067f: REVERT 00000680: JUMPDEST 00000681: POP 00000682: PUSH1 0x0a 00000684: SLOAD 00000685: PUSH2 0x0295 00000688: SWAP1 00000689: PUSH3 0x010000 0000068d: SWAP1 0000068e: DIV 0000068f: PUSH1 0xff 00000691: AND 00000692: DUP2 00000693: JUMP 00000694: JUMPDEST 00000695: CALLVALUE 00000696: DUP1 00000697: ISZERO 00000698: PUSH2 0x069f 0000069b: JUMPI 0000069c: PUSH0 0000069d: DUP1 0000069e: REVERT 0000069f: JUMPDEST 000006a0: POP 000006a1: PUSH2 0x0384 000006a4: PUSH2 0x06ae 000006a7: CALLDATASIZE 000006a8: PUSH1 0x04 000006aa: PUSH2 0x1c19 000006ad: JUMP 000006ae: JUMPDEST 000006af: PUSH2 0x0d45 000006b2: JUMP 000006b3: JUMPDEST 000006b4: CALLVALUE 000006b5: DUP1 000006b6: ISZERO 000006b7: PUSH2 0x06be 000006ba: JUMPI 000006bb: PUSH0 000006bc: DUP1 000006bd: REVERT 000006be: JUMPDEST 000006bf: POP 000006c0: PUSH2 0x032e 000006c3: PUSH1 0x07 000006c5: SLOAD 000006c6: DUP2 000006c7: JUMP 000006c8: JUMPDEST 000006c9: CALLVALUE 000006ca: DUP1 000006cb: ISZERO 000006cc: PUSH2 0x06d3 000006cf: JUMPI 000006d0: PUSH0 000006d1: DUP1 000006d2: REVERT 000006d3: JUMPDEST 000006d4: POP 000006d5: PUSH2 0x032e 000006d8: PUSH1 0x0c 000006da: SLOAD 000006db: DUP2 000006dc: JUMP 000006dd: JUMPDEST 000006de: CALLVALUE 000006df: DUP1 000006e0: ISZERO 000006e1: PUSH2 0x06e8 000006e4: JUMPI 000006e5: PUSH0 000006e6: DUP1 000006e7: REVERT 000006e8: JUMPDEST 000006e9: POP 000006ea: PUSH2 0x032e 000006ed: PUSH2 0x06f7 000006f0: CALLDATASIZE 000006f1: PUSH1 0x04 000006f3: PUSH2 0x1c6b 000006f6: JUMP 000006f7: JUMPDEST 000006f8: PUSH1 0x01 000006fa: PUSH1 0x01 000006fc: PUSH1 0xa0 000006fe: SHL 000006ff: SUB 00000700: SWAP2 00000701: DUP3 00000702: AND 00000703: PUSH0 00000704: SWAP1 00000705: DUP2 00000706: MSTORE 00000707: PUSH1 0x01 00000709: PUSH1 0x20 0000070b: SWAP1 0000070c: DUP2 0000070d: MSTORE 0000070e: PUSH1 0x40 00000710: DUP1 00000711: DUP4 00000712: KECCAK256 00000713: SWAP4 00000714: SWAP1 00000715: SWAP5 00000716: AND 00000717: DUP3 00000718: MSTORE 00000719: SWAP2 0000071a: SWAP1 0000071b: SWAP2 0000071c: MSTORE 0000071d: KECCAK256 0000071e: SLOAD 0000071f: SWAP1 00000720: JUMP 00000721: JUMPDEST 00000722: CALLVALUE 00000723: DUP1 00000724: ISZERO 00000725: PUSH2 0x072c 00000728: JUMPI 00000729: PUSH0 0000072a: DUP1 0000072b: REVERT 0000072c: JUMPDEST 0000072d: POP 0000072e: PUSH2 0x032e 00000731: PUSH1 0x0b 00000733: SLOAD 00000734: DUP2 00000735: JUMP 00000736: JUMPDEST 00000737: CALLVALUE 00000738: DUP1 00000739: ISZERO 0000073a: PUSH2 0x0741 0000073d: JUMPI 0000073e: PUSH0 0000073f: DUP1 00000740: REVERT 00000741: JUMPDEST 00000742: POP 00000743: PUSH2 0x0384 00000746: PUSH2 0x0750 00000749: CALLDATASIZE 0000074a: PUSH1 0x04 0000074c: PUSH2 0x1bb3 0000074f: JUMP 00000750: JUMPDEST 00000751: PUSH2 0x0dcd 00000754: JUMP 00000755: JUMPDEST 00000756: CALLVALUE 00000757: DUP1 00000758: ISZERO 00000759: PUSH2 0x0760 0000075c: JUMPI 0000075d: PUSH0 0000075e: DUP1 0000075f: REVERT 00000760: JUMPDEST 00000761: POP 00000762: PUSH2 0x0384 00000765: PUSH2 0x0eb7 00000768: JUMP 00000769: JUMPDEST 0000076a: CALLVALUE 0000076b: DUP1 0000076c: ISZERO 0000076d: PUSH2 0x0774 00000770: JUMPI 00000771: PUSH0 00000772: DUP1 00000773: REVERT 00000774: JUMPDEST 00000775: POP 00000776: PUSH2 0x032e 00000779: PUSH1 0x08 0000077b: SLOAD 0000077c: DUP2 0000077d: JUMP 0000077e: JUMPDEST 0000077f: PUSH1 0x60 00000781: PUSH1 0x03 00000783: DUP1 00000784: SLOAD 00000785: PUSH2 0x078d 00000788: SWAP1 00000789: PUSH2 0x1c97 0000078c: JUMP 0000078d: JUMPDEST 0000078e: DUP1 0000078f: PUSH1 0x1f 00000791: ADD 00000792: PUSH1 0x20 00000794: DUP1 00000795: SWAP2 00000796: DIV 00000797: MUL 00000798: PUSH1 0x20 0000079a: ADD 0000079b: PUSH1 0x40 0000079d: MLOAD 0000079e: SWAP1 0000079f: DUP2 000007a0: ADD 000007a1: PUSH1 0x40 000007a3: MSTORE 000007a4: DUP1 000007a5: SWAP3 000007a6: SWAP2 000007a7: SWAP1 000007a8: DUP2 000007a9: DUP2 000007aa: MSTORE 000007ab: PUSH1 0x20 000007ad: ADD 000007ae: DUP3 000007af: DUP1 000007b0: SLOAD 000007b1: PUSH2 0x07b9 000007b4: SWAP1 000007b5: PUSH2 0x1c97 000007b8: JUMP 000007b9: JUMPDEST 000007ba: DUP1 000007bb: ISZERO 000007bc: PUSH2 0x0804 000007bf: JUMPI 000007c0: DUP1 000007c1: PUSH1 0x1f 000007c3: LT 000007c4: PUSH2 0x07db 000007c7: JUMPI 000007c8: PUSH2 0x0100 000007cb: DUP1 000007cc: DUP4 000007cd: SLOAD 000007ce: DIV 000007cf: MUL 000007d0: DUP4 000007d1: MSTORE 000007d2: SWAP2 000007d3: PUSH1 0x20 000007d5: ADD 000007d6: SWAP2 000007d7: PUSH2 0x0804 000007da: JUMP 000007db: JUMPDEST 000007dc: DUP3 000007dd: ADD 000007de: SWAP2 000007df: SWAP1 000007e0: PUSH0 000007e1: MSTORE 000007e2: PUSH1 0x20 000007e4: PUSH0 000007e5: KECCAK256 000007e6: SWAP1 000007e7: JUMPDEST 000007e8: DUP2 000007e9: SLOAD 000007ea: DUP2 000007eb: MSTORE 000007ec: SWAP1 000007ed: PUSH1 0x01 000007ef: ADD 000007f0: SWAP1 000007f1: PUSH1 0x20 000007f3: ADD 000007f4: DUP1 000007f5: DUP4 000007f6: GT 000007f7: PUSH2 0x07e7 000007fa: JUMPI 000007fb: DUP3 000007fc: SWAP1 000007fd: SUB 000007fe: PUSH1 0x1f 00000800: AND 00000801: DUP3 00000802: ADD 00000803: SWAP2 00000804: JUMPDEST 00000805: POP 00000806: POP 00000807: POP 00000808: POP 00000809: POP 0000080a: SWAP1 0000080b: POP 0000080c: SWAP1 0000080d: JUMP 0000080e: JUMPDEST 0000080f: PUSH0 00000810: PUSH2 0x081a 00000813: CALLER 00000814: DUP5 00000815: DUP5 00000816: PUSH2 0x0ee1 00000819: JUMP 0000081a: JUMPDEST 0000081b: POP 0000081c: PUSH1 0x01 0000081e: JUMPDEST 0000081f: SWAP3 00000820: SWAP2 00000821: POP 00000822: POP 00000823: JUMP 00000824: JUMPDEST 00000825: PUSH0 00000826: PUSH2 0x0830 00000829: DUP5 0000082a: DUP5 0000082b: DUP5 0000082c: PUSH2 0x1005 0000082f: JUMP 00000830: JUMPDEST 00000831: PUSH2 0x0881 00000834: DUP5 00000835: CALLER 00000836: PUSH2 0x087c 00000839: DUP6 0000083a: PUSH1 0x40 0000083c: MLOAD 0000083d: DUP1 0000083e: PUSH1 0x60 00000840: ADD 00000841: PUSH1 0x40 00000843: MSTORE 00000844: DUP1 00000845: PUSH1 0x28 00000847: DUP2 00000848: MSTORE 00000849: PUSH1 0x20 0000084b: ADD 0000084c: PUSH2 0x1edd 0000084f: PUSH1 0x28 00000851: SWAP2 00000852: CODECOPY 00000853: PUSH1 0x01 00000855: PUSH1 0x01 00000857: PUSH1 0xa0 00000859: SHL 0000085a: SUB 0000085b: DUP11 0000085c: AND 0000085d: PUSH0 0000085e: SWAP1 0000085f: DUP2 00000860: MSTORE 00000861: PUSH1 0x01 00000863: PUSH1 0x20 00000865: SWAP1 00000866: DUP2 00000867: MSTORE 00000868: PUSH1 0x40 0000086a: DUP1 0000086b: DUP4 0000086c: KECCAK256 0000086d: CALLER 0000086e: DUP5 0000086f: MSTORE 00000870: SWAP1 00000871: SWAP2 00000872: MSTORE 00000873: SWAP1 00000874: KECCAK256 00000875: SLOAD 00000876: SWAP2 00000877: SWAP1 00000878: PUSH2 0x15ff 0000087b: JUMP 0000087c: JUMPDEST 0000087d: PUSH2 0x0ee1 00000880: JUMP 00000881: JUMPDEST 00000882: POP 00000883: PUSH1 0x01 00000885: SWAP4 00000886: SWAP3 00000887: POP 00000888: POP 00000889: POP 0000088a: JUMP 0000088b: JUMPDEST 0000088c: PUSH1 0x05 0000088e: SLOAD 0000088f: PUSH1 0x01 00000891: PUSH1 0x01 00000893: PUSH1 0xa0 00000895: SHL 00000896: SUB 00000897: AND 00000898: CALLER 00000899: EQ 0000089a: PUSH2 0x08be 0000089d: JUMPI 0000089e: PUSH1 0x40 000008a0: MLOAD 000008a1: PUSH3 0x461bcd 000008a5: PUSH1 0xe5 000008a7: SHL 000008a8: DUP2 000008a9: MSTORE 000008aa: PUSH1 0x04 000008ac: ADD 000008ad: PUSH2 0x08b5 000008b0: SWAP1 000008b1: PUSH2 0x1ccf 000008b4: JUMP 000008b5: JUMPDEST 000008b6: PUSH1 0x40 000008b8: MLOAD 000008b9: DUP1 000008ba: SWAP2 000008bb: SUB 000008bc: SWAP1 000008bd: REVERT 000008be: JUMPDEST 000008bf: PUSH0 000008c0: PUSH1 0x0c 000008c2: DUP2 000008c3: SWAP1 000008c4: SSTORE 000008c5: PUSH1 0x0d 000008c7: SSTORE 000008c8: JUMP 000008c9: JUMPDEST 000008ca: CALLER 000008cb: PUSH0 000008cc: DUP2 000008cd: DUP2 000008ce: MSTORE 000008cf: PUSH1 0x01 000008d1: PUSH1 0x20 000008d3: SWAP1 000008d4: DUP2 000008d5: MSTORE 000008d6: PUSH1 0x40 000008d8: DUP1 000008d9: DUP4 000008da: KECCAK256 000008db: PUSH1 0x01 000008dd: PUSH1 0x01 000008df: PUSH1 0xa0 000008e1: SHL 000008e2: SUB 000008e3: DUP8 000008e4: AND 000008e5: DUP5 000008e6: MSTORE 000008e7: SWAP1 000008e8: SWAP2 000008e9: MSTORE 000008ea: DUP2 000008eb: KECCAK256 000008ec: SLOAD 000008ed: SWAP1 000008ee: SWAP2 000008ef: PUSH2 0x081a 000008f2: SWAP2 000008f3: DUP6 000008f4: SWAP1 000008f5: PUSH2 0x087c 000008f8: SWAP1 000008f9: DUP7 000008fa: PUSH2 0x1637 000008fd: JUMP 000008fe: JUMPDEST 000008ff: PUSH1 0x06 00000901: SLOAD 00000902: PUSH1 0x01 00000904: PUSH1 0x01 00000906: PUSH1 0xa0 00000908: SHL 00000909: SUB 0000090a: AND 0000090b: CALLER 0000090c: PUSH1 0x01 0000090e: PUSH1 0x01 00000910: PUSH1 0xa0 00000912: SHL 00000913: SUB 00000914: AND 00000915: EQ 00000916: PUSH2 0x091d 00000919: JUMPI 0000091a: PUSH0 0000091b: DUP1 0000091c: REVERT 0000091d: JUMPDEST 0000091e: ADDRESS 0000091f: PUSH0 00000920: DUP2 00000921: DUP2 00000922: MSTORE 00000923: PUSH1 0x20 00000925: DUP2 00000926: DUP2 00000927: MSTORE 00000928: PUSH1 0x40 0000092a: DUP1 0000092b: DUP4 0000092c: KECCAK256 0000092d: SLOAD 0000092e: DUP2 0000092f: MLOAD 00000930: PUSH4 0xa9059cbb 00000935: PUSH1 0xe0 00000937: SHL 00000938: DUP2 00000939: MSTORE 0000093a: CALLER 0000093b: PUSH1 0x04 0000093d: DUP3 0000093e: ADD 0000093f: MSTORE 00000940: PUSH1 0x24 00000942: DUP2 00000943: ADD 00000944: SWAP2 00000945: SWAP1 00000946: SWAP2 00000947: MSTORE 00000948: SWAP1 00000949: MLOAD 0000094a: PUSH4 0xa9059cbb 0000094f: SWAP4 00000950: PUSH1 0x44 00000952: DUP1 00000953: DUP5 00000954: ADD 00000955: SWAP5 00000956: SWAP4 00000957: DUP4 00000958: SWAP1 00000959: SUB 0000095a: ADD 0000095b: SWAP1 0000095c: DUP3 0000095d: SWAP1 0000095e: DUP8 0000095f: GAS 00000960: CALL 00000961: ISZERO 00000962: DUP1 00000963: ISZERO 00000964: PUSH2 0x096f 00000967: JUMPI 00000968: RETURNDATASIZE 00000969: PUSH0 0000096a: DUP1 0000096b: RETURNDATACOPY 0000096c: RETURNDATASIZE 0000096d: PUSH0 0000096e: REVERT 0000096f: JUMPDEST 00000970: POP 00000971: POP 00000972: POP 00000973: POP 00000974: PUSH1 0x40 00000976: MLOAD 00000977: RETURNDATASIZE 00000978: PUSH1 0x1f 0000097a: NOT 0000097b: PUSH1 0x1f 0000097d: DUP3 0000097e: ADD 0000097f: AND 00000980: DUP3 00000981: ADD 00000982: DUP1 00000983: PUSH1 0x40 00000985: MSTORE 00000986: POP 00000987: DUP2 00000988: ADD 00000989: SWAP1 0000098a: PUSH2 0x0993 0000098d: SWAP2 0000098e: SWAP1 0000098f: PUSH2 0x1d04 00000992: JUMP 00000993: JUMPDEST 00000994: POP 00000995: JUMP 00000996: JUMPDEST 00000997: PUSH1 0x05 00000999: SLOAD 0000099a: PUSH1 0x01 0000099c: PUSH1 0x01 0000099e: PUSH1 0xa0 000009a0: SHL 000009a1: SUB 000009a2: AND 000009a3: CALLER 000009a4: EQ 000009a5: PUSH2 0x09c0 000009a8: JUMPI 000009a9: PUSH1 0x40 000009ab: MLOAD 000009ac: PUSH3 0x461bcd 000009b0: PUSH1 0xe5 000009b2: SHL 000009b3: DUP2 000009b4: MSTORE 000009b5: PUSH1 0x04 000009b7: ADD 000009b8: PUSH2 0x08b5 000009bb: SWAP1 000009bc: PUSH2 0x1ccf 000009bf: JUMP 000009c0: JUMPDEST 000009c1: PUSH1 0x05 000009c3: SLOAD 000009c4: PUSH1 0x40 000009c6: MLOAD 000009c7: PUSH0 000009c8: SWAP2 000009c9: PUSH1 0x01 000009cb: PUSH1 0x01 000009cd: PUSH1 0xa0 000009cf: SHL 000009d0: SUB 000009d1: AND 000009d2: SWAP1 000009d3: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000009f4: SWAP1 000009f5: DUP4 000009f6: SWAP1 000009f7: LOG3 000009f8: PUSH1 0x05 000009fa: DUP1 000009fb: SLOAD 000009fc: PUSH1 0x01 000009fe: PUSH1 0x01 00000a00: PUSH1 0xa0 00000a02: SHL 00000a03: SUB 00000a04: NOT 00000a05: AND 00000a06: SWAP1 00000a07: SSTORE 00000a08: JUMP 00000a09: JUMPDEST 00000a0a: PUSH1 0x05 00000a0c: SLOAD 00000a0d: PUSH0 00000a0e: SWAP1 00000a0f: PUSH1 0x01 00000a11: PUSH1 0x01 00000a13: PUSH1 0xa0 00000a15: SHL 00000a16: SUB 00000a17: AND 00000a18: CALLER 00000a19: EQ 00000a1a: PUSH2 0x0a35 00000a1d: JUMPI 00000a1e: PUSH1 0x40 00000a20: MLOAD 00000a21: PUSH3 0x461bcd 00000a25: PUSH1 0xe5 00000a27: SHL 00000a28: DUP2 00000a29: MSTORE 00000a2a: PUSH1 0x04 00000a2c: ADD 00000a2d: PUSH2 0x08b5 00000a30: SWAP1 00000a31: PUSH2 0x1ccf 00000a34: JUMP 00000a35: JUMPDEST 00000a36: POP 00000a37: PUSH0 00000a38: PUSH1 0x0c 00000a3a: DUP2 00000a3b: SWAP1 00000a3c: SSTORE 00000a3d: PUSH1 0x0d 00000a3f: SSTORE 00000a40: PUSH1 0x0a 00000a42: DUP1 00000a43: SLOAD 00000a44: PUSH2 0xff00 00000a47: NOT 00000a48: AND 00000a49: SWAP1 00000a4a: SSTORE 00000a4b: PUSH1 0x01 00000a4d: SWAP1 00000a4e: JUMP 00000a4f: JUMPDEST 00000a50: PUSH1 0x05 00000a52: SLOAD 00000a53: PUSH1 0x01 00000a55: PUSH1 0x01 00000a57: PUSH1 0xa0 00000a59: SHL 00000a5a: SUB 00000a5b: AND 00000a5c: CALLER 00000a5d: EQ 00000a5e: PUSH2 0x0a79 00000a61: JUMPI 00000a62: PUSH1 0x40 00000a64: MLOAD 00000a65: PUSH3 0x461bcd 00000a69: PUSH1 0xe5 00000a6b: SHL 00000a6c: DUP2 00000a6d: MSTORE 00000a6e: PUSH1 0x04 00000a70: ADD 00000a71: PUSH2 0x08b5 00000a74: SWAP1 00000a75: PUSH2 0x1ccf 00000a78: JUMP 00000a79: JUMPDEST 00000a7a: PUSH1 0x01 00000a7c: PUSH1 0x01 00000a7e: PUSH1 0xa0 00000a80: SHL 00000a81: SUB 00000a82: SWAP2 00000a83: SWAP1 00000a84: SWAP2 00000a85: AND 00000a86: PUSH0 00000a87: SWAP1 00000a88: DUP2 00000a89: MSTORE 00000a8a: PUSH1 0x0f 00000a8c: PUSH1 0x20 00000a8e: MSTORE 00000a8f: PUSH1 0x40 00000a91: SWAP1 00000a92: KECCAK256 00000a93: DUP1 00000a94: SLOAD 00000a95: PUSH1 0xff 00000a97: NOT 00000a98: AND 00000a99: SWAP2 00000a9a: ISZERO 00000a9b: ISZERO 00000a9c: SWAP2 00000a9d: SWAP1 00000a9e: SWAP2 00000a9f: OR 00000aa0: SWAP1 00000aa1: SSTORE 00000aa2: JUMP 00000aa3: JUMPDEST 00000aa4: PUSH1 0x05 00000aa6: SLOAD 00000aa7: PUSH1 0x01 00000aa9: PUSH1 0x01 00000aab: PUSH1 0xa0 00000aad: SHL 00000aae: SUB 00000aaf: AND 00000ab0: CALLER 00000ab1: EQ 00000ab2: PUSH2 0x0acd 00000ab5: JUMPI 00000ab6: PUSH1 0x40 00000ab8: MLOAD 00000ab9: PUSH3 0x461bcd 00000abd: PUSH1 0xe5 00000abf: SHL 00000ac0: DUP2 00000ac1: MSTORE 00000ac2: PUSH1 0x04 00000ac4: ADD 00000ac5: PUSH2 0x08b5 00000ac8: SWAP1 00000ac9: PUSH2 0x1ccf 00000acc: JUMP 00000acd: JUMPDEST 00000ace: PUSH1 0x0a 00000ad0: DUP1 00000ad1: SLOAD 00000ad2: PUSH4 0xffff0000 00000ad7: NOT 00000ad8: AND 00000ad9: PUSH4 0x01010000 00000ade: OR 00000adf: SWAP1 00000ae0: SSTORE 00000ae1: NUMBER 00000ae2: PUSH1 0x0b 00000ae4: SSTORE 00000ae5: JUMP 00000ae6: JUMPDEST 00000ae7: PUSH1 0x05 00000ae9: SLOAD 00000aea: PUSH1 0x01 00000aec: PUSH1 0x01 00000aee: PUSH1 0xa0 00000af0: SHL 00000af1: SUB 00000af2: AND 00000af3: CALLER 00000af4: EQ 00000af5: PUSH2 0x0b10 00000af8: JUMPI 00000af9: PUSH1 0x40 00000afb: MLOAD 00000afc: PUSH3 0x461bcd 00000b00: PUSH1 0xe5 00000b02: SHL 00000b03: DUP2 00000b04: MSTORE 00000b05: PUSH1 0x04 00000b07: ADD 00000b08: PUSH2 0x08b5 00000b0b: SWAP1 00000b0c: PUSH2 0x1ccf 00000b0f: JUMP 00000b10: JUMPDEST 00000b11: PUSH1 0x0a 00000b13: DUP1 00000b14: SLOAD 00000b15: SWAP2 00000b16: ISZERO 00000b17: ISZERO 00000b18: PUSH4 0x01000000 00000b1d: MUL 00000b1e: PUSH4 0xff000000 00000b23: NOT 00000b24: SWAP1 00000b25: SWAP3 00000b26: AND 00000b27: SWAP2 00000b28: SWAP1 00000b29: SWAP2 00000b2a: OR 00000b2b: SWAP1 00000b2c: SSTORE 00000b2d: JUMP 00000b2e: JUMPDEST 00000b2f: PUSH1 0x05 00000b31: SLOAD 00000b32: PUSH1 0x01 00000b34: PUSH1 0x01 00000b36: PUSH1 0xa0 00000b38: SHL 00000b39: SUB 00000b3a: AND 00000b3b: CALLER 00000b3c: EQ 00000b3d: PUSH2 0x0b58 00000b40: JUMPI 00000b41: PUSH1 0x40 00000b43: MLOAD 00000b44: PUSH3 0x461bcd 00000b48: PUSH1 0xe5 00000b4a: SHL 00000b4b: DUP2 00000b4c: MSTORE 00000b4d: PUSH1 0x04 00000b4f: ADD 00000b50: PUSH2 0x08b5 00000b53: SWAP1 00000b54: PUSH2 0x1ccf 00000b57: JUMP 00000b58: JUMPDEST 00000b59: PUSH1 0x0a 00000b5b: DUP1 00000b5c: SLOAD 00000b5d: SWAP2 00000b5e: ISZERO 00000b5f: ISZERO 00000b60: PUSH5 0x0100000000 00000b66: MUL 00000b67: PUSH5 0xff00000000 00000b6d: NOT 00000b6e: SWAP1 00000b6f: SWAP3 00000b70: AND 00000b71: SWAP2 00000b72: SWAP1 00000b73: SWAP2 00000b74: OR 00000b75: SWAP1 00000b76: SSTORE 00000b77: JUMP 00000b78: JUMPDEST 00000b79: PUSH1 0x60 00000b7b: PUSH1 0x04 00000b7d: DUP1 00000b7e: SLOAD 00000b7f: PUSH2 0x078d 00000b82: SWAP1 00000b83: PUSH2 0x1c97 00000b86: JUMP 00000b87: JUMPDEST 00000b88: PUSH1 0x05 00000b8a: SLOAD 00000b8b: PUSH1 0x01 00000b8d: PUSH1 0x01 00000b8f: PUSH1 0xa0 00000b91: SHL 00000b92: SUB 00000b93: AND 00000b94: CALLER 00000b95: EQ 00000b96: PUSH2 0x0bb1 00000b99: JUMPI 00000b9a: PUSH1 0x40 00000b9c: MLOAD 00000b9d: PUSH3 0x461bcd 00000ba1: PUSH1 0xe5 00000ba3: SHL 00000ba4: DUP2 00000ba5: MSTORE 00000ba6: PUSH1 0x04 00000ba8: ADD 00000ba9: PUSH2 0x08b5 00000bac: SWAP1 00000bad: PUSH2 0x1ccf 00000bb0: JUMP 00000bb1: JUMPDEST 00000bb2: PUSH32 0x0000000000000000000000000f388ecdbc128083bfe317b00de2c25fbe9f24d5 00000bd3: PUSH1 0x01 00000bd5: PUSH1 0x01 00000bd7: PUSH1 0xa0 00000bd9: SHL 00000bda: SUB 00000bdb: AND 00000bdc: DUP3 00000bdd: PUSH1 0x01 00000bdf: PUSH1 0x01 00000be1: PUSH1 0xa0 00000be3: SHL 00000be4: SUB 00000be5: AND 00000be6: SUB 00000be7: PUSH2 0x0c58 00000bea: JUMPI 00000beb: PUSH1 0x40 00000bed: MLOAD 00000bee: PUSH3 0x461bcd 00000bf2: PUSH1 0xe5 00000bf4: SHL 00000bf5: DUP2 00000bf6: MSTORE 00000bf7: PUSH1 0x20 00000bf9: PUSH1 0x04 00000bfb: DUP3 00000bfc: ADD 00000bfd: MSTORE 00000bfe: PUSH1 0x39 00000c00: PUSH1 0x24 00000c02: DUP3 00000c03: ADD 00000c04: MSTORE 00000c05: PUSH32 0x54686520706169722063616e6e6f742062652072656d6f7665642066726f6d20 00000c26: PUSH1 0x44 00000c28: DUP3 00000c29: ADD 00000c2a: MSTORE 00000c2b: PUSH32 0x6175746f6d617465644d61726b65744d616b6572506169727300000000000000 00000c4c: PUSH1 0x64 00000c4e: DUP3 00000c4f: ADD 00000c50: MSTORE 00000c51: PUSH1 0x84 00000c53: ADD 00000c54: PUSH2 0x08b5 00000c57: JUMP 00000c58: JUMPDEST 00000c59: PUSH2 0x0c62 00000c5c: DUP3 00000c5d: DUP3 00000c5e: PUSH2 0x169c 00000c61: JUMP 00000c62: JUMPDEST 00000c63: POP 00000c64: POP 00000c65: JUMP 00000c66: JUMPDEST 00000c67: PUSH0 00000c68: PUSH2 0x081a 00000c6b: CALLER 00000c6c: DUP5 00000c6d: PUSH2 0x087c 00000c70: DUP6 00000c71: PUSH1 0x40 00000c73: MLOAD 00000c74: DUP1 00000c75: PUSH1 0x60 00000c77: ADD 00000c78: PUSH1 0x40 00000c7a: MSTORE 00000c7b: DUP1 00000c7c: PUSH1 0x25 00000c7e: DUP2 00000c7f: MSTORE 00000c80: PUSH1 0x20 00000c82: ADD 00000c83: PUSH2 0x1f05 00000c86: PUSH1 0x25 00000c88: SWAP2 00000c89: CODECOPY 00000c8a: CALLER 00000c8b: PUSH0 00000c8c: SWAP1 00000c8d: DUP2 00000c8e: MSTORE 00000c8f: PUSH1 0x01 00000c91: PUSH1 0x20 00000c93: SWAP1 00000c94: DUP2 00000c95: MSTORE 00000c96: PUSH1 0x40 00000c98: DUP1 00000c99: DUP4 00000c9a: KECCAK256 00000c9b: PUSH1 0x01 00000c9d: PUSH1 0x01 00000c9f: PUSH1 0xa0 00000ca1: SHL 00000ca2: SUB 00000ca3: DUP14 00000ca4: AND 00000ca5: DUP5 00000ca6: MSTORE 00000ca7: SWAP1 00000ca8: SWAP2 00000ca9: MSTORE 00000caa: SWAP1 00000cab: KECCAK256 00000cac: SLOAD 00000cad: SWAP2 00000cae: SWAP1 00000caf: PUSH2 0x15ff 00000cb2: JUMP 00000cb3: JUMPDEST 00000cb4: PUSH0 00000cb5: PUSH2 0x081a 00000cb8: CALLER 00000cb9: DUP5 00000cba: DUP5 00000cbb: PUSH2 0x1005 00000cbe: JUMP 00000cbf: JUMPDEST 00000cc0: PUSH1 0x05 00000cc2: SLOAD 00000cc3: PUSH1 0x01 00000cc5: PUSH1 0x01 00000cc7: PUSH1 0xa0 00000cc9: SHL 00000cca: SUB 00000ccb: AND 00000ccc: CALLER 00000ccd: EQ 00000cce: PUSH2 0x0ce9 00000cd1: JUMPI 00000cd2: PUSH1 0x40 00000cd4: MLOAD 00000cd5: PUSH3 0x461bcd 00000cd9: PUSH1 0xe5 00000cdb: SHL 00000cdc: DUP2 00000cdd: MSTORE 00000cde: PUSH1 0x04 00000ce0: ADD 00000ce1: PUSH2 0x08b5 00000ce4: SWAP1 00000ce5: PUSH2 0x1ccf 00000ce8: JUMP 00000ce9: JUMPDEST 00000cea: PUSH1 0x06 00000cec: SLOAD 00000ced: PUSH1 0x40 00000cef: MLOAD 00000cf0: PUSH1 0x01 00000cf2: PUSH1 0x01 00000cf4: PUSH1 0xa0 00000cf6: SHL 00000cf7: SUB 00000cf8: SWAP2 00000cf9: DUP3 00000cfa: AND 00000cfb: SWAP2 00000cfc: DUP4 00000cfd: AND 00000cfe: SWAP1 00000cff: PUSH32 0xa751787977eeb3902e30e1d19ca00c6ad274a1f622c31a206e32366700b05674 00000d20: SWAP1 00000d21: PUSH0 00000d22: SWAP1 00000d23: LOG3 00000d24: PUSH1 0x06 00000d26: DUP1 00000d27: SLOAD 00000d28: PUSH1 0x01 00000d2a: PUSH1 0x01 00000d2c: PUSH1 0xa0 00000d2e: SHL 00000d2f: SUB 00000d30: NOT 00000d31: AND 00000d32: PUSH1 0x01 00000d34: PUSH1 0x01 00000d36: PUSH1 0xa0 00000d38: SHL 00000d39: SUB 00000d3a: SWAP3 00000d3b: SWAP1 00000d3c: SWAP3 00000d3d: AND 00000d3e: SWAP2 00000d3f: SWAP1 00000d40: SWAP2 00000d41: OR 00000d42: SWAP1 00000d43: SSTORE 00000d44: JUMP 00000d45: JUMPDEST 00000d46: PUSH1 0x05 00000d48: SLOAD 00000d49: PUSH1 0x01 00000d4b: PUSH1 0x01 00000d4d: PUSH1 0xa0 00000d4f: SHL 00000d50: SUB 00000d51: AND 00000d52: CALLER 00000d53: EQ 00000d54: PUSH2 0x0d6f 00000d57: JUMPI 00000d58: PUSH1 0x40 00000d5a: MLOAD 00000d5b: PUSH3 0x461bcd 00000d5f: PUSH1 0xe5 00000d61: SHL 00000d62: DUP2 00000d63: MSTORE 00000d64: PUSH1 0x04 00000d66: ADD 00000d67: PUSH2 0x08b5 00000d6a: SWAP1 00000d6b: PUSH2 0x1ccf 00000d6e: JUMP 00000d6f: JUMPDEST 00000d70: PUSH1 0x01 00000d72: PUSH1 0x01 00000d74: PUSH1 0xa0 00000d76: SHL 00000d77: SUB 00000d78: DUP3 00000d79: AND 00000d7a: PUSH0 00000d7b: DUP2 00000d7c: DUP2 00000d7d: MSTORE 00000d7e: PUSH1 0x0e 00000d80: PUSH1 0x20 00000d82: SWAP1 00000d83: DUP2 00000d84: MSTORE 00000d85: PUSH1 0x40 00000d87: SWAP2 00000d88: DUP3 00000d89: SWAP1 00000d8a: KECCAK256 00000d8b: DUP1 00000d8c: SLOAD 00000d8d: PUSH1 0xff 00000d8f: NOT 00000d90: AND 00000d91: DUP6 00000d92: ISZERO 00000d93: ISZERO 00000d94: SWAP1 00000d95: DUP2 00000d96: OR 00000d97: SWAP1 00000d98: SWAP2 00000d99: SSTORE 00000d9a: SWAP2 00000d9b: MLOAD 00000d9c: SWAP2 00000d9d: DUP3 00000d9e: MSTORE 00000d9f: PUSH32 0x9d8f7706ea1113d1a167b526eca956215946dd36cc7df39eb16180222d8b5df7 00000dc0: SWAP2 00000dc1: ADD 00000dc2: PUSH1 0x40 00000dc4: MLOAD 00000dc5: DUP1 00000dc6: SWAP2 00000dc7: SUB 00000dc8: SWAP1 00000dc9: LOG2 00000dca: POP 00000dcb: POP 00000dcc: JUMP 00000dcd: JUMPDEST 00000dce: PUSH1 0x05 00000dd0: SLOAD 00000dd1: PUSH1 0x01 00000dd3: PUSH1 0x01 00000dd5: PUSH1 0xa0 00000dd7: SHL 00000dd8: SUB 00000dd9: AND 00000dda: CALLER 00000ddb: EQ 00000ddc: PUSH2 0x0df7 00000ddf: JUMPI 00000de0: PUSH1 0x40 00000de2: MLOAD 00000de3: PUSH3 0x461bcd 00000de7: PUSH1 0xe5 00000de9: SHL 00000dea: DUP2 00000deb: MSTORE 00000dec: PUSH1 0x04 00000dee: ADD 00000def: PUSH2 0x08b5 00000df2: SWAP1 00000df3: PUSH2 0x1ccf 00000df6: JUMP 00000df7: JUMPDEST 00000df8: PUSH1 0x01 00000dfa: PUSH1 0x01 00000dfc: PUSH1 0xa0 00000dfe: SHL 00000dff: SUB 00000e00: DUP2 00000e01: AND 00000e02: PUSH2 0x0e5c 00000e05: JUMPI 00000e06: PUSH1 0x40 00000e08: MLOAD 00000e09: PUSH3 0x461bcd 00000e0d: PUSH1 0xe5 00000e0f: SHL 00000e10: DUP2 00000e11: MSTORE 00000e12: PUSH1 0x20 00000e14: PUSH1 0x04 00000e16: DUP3 00000e17: ADD 00000e18: MSTORE 00000e19: PUSH1 0x26 00000e1b: PUSH1 0x24 00000e1d: DUP3 00000e1e: ADD 00000e1f: MSTORE 00000e20: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00000e41: PUSH1 0x44 00000e43: DUP3 00000e44: ADD 00000e45: MSTORE 00000e46: PUSH6 0x646472657373 00000e4d: PUSH1 0xd0 00000e4f: SHL 00000e50: PUSH1 0x64 00000e52: DUP3 00000e53: ADD 00000e54: MSTORE 00000e55: PUSH1 0x84 00000e57: ADD 00000e58: PUSH2 0x08b5 00000e5b: JUMP 00000e5c: JUMPDEST 00000e5d: PUSH1 0x05 00000e5f: SLOAD 00000e60: PUSH1 0x40 00000e62: MLOAD 00000e63: PUSH1 0x01 00000e65: PUSH1 0x01 00000e67: PUSH1 0xa0 00000e69: SHL 00000e6a: SUB 00000e6b: DUP1 00000e6c: DUP5 00000e6d: AND 00000e6e: SWAP3 00000e6f: AND 00000e70: SWAP1 00000e71: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000e92: SWAP1 00000e93: PUSH0 00000e94: SWAP1 00000e95: LOG3 00000e96: PUSH1 0x05 00000e98: DUP1 00000e99: SLOAD 00000e9a: PUSH1 0x01 00000e9c: PUSH1 0x01 00000e9e: PUSH1 0xa0 00000ea0: SHL 00000ea1: SUB 00000ea2: NOT 00000ea3: AND 00000ea4: PUSH1 0x01 00000ea6: PUSH1 0x01 00000ea8: PUSH1 0xa0 00000eaa: SHL 00000eab: SUB 00000eac: SWAP3 00000ead: SWAP1 00000eae: SWAP3 00000eaf: AND 00000eb0: SWAP2 00000eb1: SWAP1 00000eb2: SWAP2 00000eb3: OR 00000eb4: SWAP1 00000eb5: SSTORE 00000eb6: JUMP 00000eb7: JUMPDEST 00000eb8: PUSH1 0x06 00000eba: SLOAD 00000ebb: PUSH1 0x01 00000ebd: PUSH1 0x01 00000ebf: PUSH1 0xa0 00000ec1: SHL 00000ec2: SUB 00000ec3: AND 00000ec4: CALLER 00000ec5: PUSH1 0x01 00000ec7: PUSH1 0x01 00000ec9: PUSH1 0xa0 00000ecb: SHL 00000ecc: SUB 00000ecd: AND 00000ece: EQ 00000ecf: PUSH2 0x0ed6 00000ed2: JUMPI 00000ed3: PUSH0 00000ed4: DUP1 00000ed5: REVERT 00000ed6: JUMPDEST 00000ed7: PUSH2 0x0edf 00000eda: SELFBALANCE 00000edb: PUSH2 0x16ef 00000ede: JUMP 00000edf: JUMPDEST 00000ee0: JUMP 00000ee1: JUMPDEST 00000ee2: PUSH1 0x01 00000ee4: PUSH1 0x01 00000ee6: PUSH1 0xa0 00000ee8: SHL 00000ee9: SUB 00000eea: DUP4 00000eeb: AND 00000eec: PUSH2 0x0f43 00000eef: JUMPI 00000ef0: PUSH1 0x40 00000ef2: MLOAD 00000ef3: PUSH3 0x461bcd 00000ef7: PUSH1 0xe5 00000ef9: SHL 00000efa: DUP2 00000efb: MSTORE 00000efc: PUSH1 0x20 00000efe: PUSH1 0x04 00000f00: DUP3 00000f01: ADD 00000f02: MSTORE 00000f03: PUSH1 0x24 00000f05: DUP1 00000f06: DUP3 00000f07: ADD 00000f08: MSTORE 00000f09: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464 00000f2a: PUSH1 0x44 00000f2c: DUP3 00000f2d: ADD 00000f2e: MSTORE 00000f2f: PUSH4 0x72657373 00000f34: PUSH1 0xe0 00000f36: SHL 00000f37: PUSH1 0x64 00000f39: DUP3 00000f3a: ADD 00000f3b: MSTORE 00000f3c: PUSH1 0x84 00000f3e: ADD 00000f3f: PUSH2 0x08b5 00000f42: JUMP 00000f43: JUMPDEST 00000f44: PUSH1 0x01 00000f46: PUSH1 0x01 00000f48: PUSH1 0xa0 00000f4a: SHL 00000f4b: SUB 00000f4c: DUP3 00000f4d: AND 00000f4e: PUSH2 0x0fa4 00000f51: JUMPI 00000f52: PUSH1 0x40 00000f54: MLOAD 00000f55: PUSH3 0x461bcd 00000f59: PUSH1 0xe5 00000f5b: SHL 00000f5c: DUP2 00000f5d: MSTORE 00000f5e: PUSH1 0x20 00000f60: PUSH1 0x04 00000f62: DUP3 00000f63: ADD 00000f64: MSTORE 00000f65: PUSH1 0x22 00000f67: PUSH1 0x24 00000f69: DUP3 00000f6a: ADD 00000f6b: MSTORE 00000f6c: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265 00000f8d: PUSH1 0x44 00000f8f: DUP3 00000f90: ADD 00000f91: MSTORE 00000f92: PUSH2 0x7373 00000f95: PUSH1 0xf0 00000f97: SHL 00000f98: PUSH1 0x64 00000f9a: DUP3 00000f9b: ADD 00000f9c: MSTORE 00000f9d: PUSH1 0x84 00000f9f: ADD 00000fa0: PUSH2 0x08b5 00000fa3: JUMP 00000fa4: JUMPDEST 00000fa5: PUSH1 0x01 00000fa7: PUSH1 0x01 00000fa9: PUSH1 0xa0 00000fab: SHL 00000fac: SUB 00000fad: DUP4 00000fae: DUP2 00000faf: AND 00000fb0: PUSH0 00000fb1: DUP2 00000fb2: DUP2 00000fb3: MSTORE 00000fb4: PUSH1 0x01 00000fb6: PUSH1 0x20 00000fb8: SWAP1 00000fb9: DUP2 00000fba: MSTORE 00000fbb: PUSH1 0x40 00000fbd: DUP1 00000fbe: DUP4 00000fbf: KECCAK256 00000fc0: SWAP5 00000fc1: DUP8 00000fc2: AND 00000fc3: DUP1 00000fc4: DUP5 00000fc5: MSTORE 00000fc6: SWAP5 00000fc7: DUP3 00000fc8: MSTORE 00000fc9: SWAP2 00000fca: DUP3 00000fcb: SWAP1 00000fcc: KECCAK256 00000fcd: DUP6 00000fce: SWAP1 00000fcf: SSTORE 00000fd0: SWAP1 00000fd1: MLOAD 00000fd2: DUP5 00000fd3: DUP2 00000fd4: MSTORE 00000fd5: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000ff6: SWAP2 00000ff7: ADD 00000ff8: JUMPDEST 00000ff9: PUSH1 0x40 00000ffb: MLOAD 00000ffc: DUP1 00000ffd: SWAP2 00000ffe: SUB 00000fff: SWAP1 00001000: LOG3 00001001: POP 00001002: POP 00001003: POP 00001004: JUMP 00001005: JUMPDEST 00001006: PUSH1 0x01 00001008: PUSH1 0x01 0000100a: PUSH1 0xa0 0000100c: SHL 0000100d: SUB 0000100e: DUP4 0000100f: AND 00001010: PUSH2 0x102b 00001013: JUMPI 00001014: PUSH1 0x40 00001016: MLOAD 00001017: PUSH3 0x461bcd 0000101b: PUSH1 0xe5 0000101d: SHL 0000101e: DUP2 0000101f: MSTORE 00001020: PUSH1 0x04 00001022: ADD 00001023: PUSH2 0x08b5 00001026: SWAP1 00001027: PUSH2 0x1d1f 0000102a: JUMP 0000102b: JUMPDEST 0000102c: PUSH1 0x01 0000102e: PUSH1 0x01 00001030: PUSH1 0xa0 00001032: SHL 00001033: SUB 00001034: DUP3 00001035: AND 00001036: PUSH2 0x1051 00001039: JUMPI 0000103a: PUSH1 0x40 0000103c: MLOAD 0000103d: PUSH3 0x461bcd 00001041: PUSH1 0xe5 00001043: SHL 00001044: DUP2 00001045: MSTORE 00001046: PUSH1 0x04 00001048: ADD 00001049: PUSH2 0x08b5 0000104c: SWAP1 0000104d: PUSH2 0x1d64 00001050: JUMP 00001051: JUMPDEST 00001052: PUSH1 0x0a 00001054: SLOAD 00001055: PUSH3 0x010000 00001059: SWAP1 0000105a: DIV 0000105b: PUSH1 0xff 0000105d: AND 0000105e: PUSH2 0x10e3 00001061: JUMPI 00001062: PUSH1 0x01 00001064: PUSH1 0x01 00001066: PUSH1 0xa0 00001068: SHL 00001069: SUB 0000106a: DUP4 0000106b: AND 0000106c: PUSH0 0000106d: SWAP1 0000106e: DUP2 0000106f: MSTORE 00001070: PUSH1 0x0e 00001072: PUSH1 0x20 00001074: MSTORE 00001075: PUSH1 0x40 00001077: SWAP1 00001078: KECCAK256 00001079: SLOAD 0000107a: PUSH1 0xff 0000107c: AND 0000107d: DUP1 0000107e: PUSH2 0x109e 00001081: JUMPI 00001082: POP 00001083: PUSH1 0x01 00001085: PUSH1 0x01 00001087: PUSH1 0xa0 00001089: SHL 0000108a: SUB 0000108b: DUP3 0000108c: AND 0000108d: PUSH0 0000108e: SWAP1 0000108f: DUP2 00001090: MSTORE 00001091: PUSH1 0x0e 00001093: PUSH1 0x20 00001095: MSTORE 00001096: PUSH1 0x40 00001098: SWAP1 00001099: KECCAK256 0000109a: SLOAD 0000109b: PUSH1 0xff 0000109d: AND 0000109e: JUMPDEST 0000109f: PUSH2 0x10e3 000010a2: JUMPI 000010a3: PUSH1 0x40 000010a5: MLOAD 000010a6: PUSH3 0x461bcd 000010aa: PUSH1 0xe5 000010ac: SHL 000010ad: DUP2 000010ae: MSTORE 000010af: PUSH1 0x20 000010b1: PUSH1 0x04 000010b3: DUP3 000010b4: ADD 000010b5: MSTORE 000010b6: PUSH1 0x16 000010b8: PUSH1 0x24 000010ba: DUP3 000010bb: ADD 000010bc: MSTORE 000010bd: PUSH22 0x2a3930b234b7339034b9903737ba1030b1ba34bb3297 000010d4: PUSH1 0x51 000010d6: SHL 000010d7: PUSH1 0x44 000010d9: DUP3 000010da: ADD 000010db: MSTORE 000010dc: PUSH1 0x64 000010de: ADD 000010df: PUSH2 0x08b5 000010e2: JUMP 000010e3: JUMPDEST 000010e4: DUP1 000010e5: PUSH0 000010e6: SUB 000010e7: PUSH2 0x10fa 000010ea: JUMPI 000010eb: PUSH2 0x10f5 000010ee: DUP4 000010ef: DUP4 000010f0: PUSH0 000010f1: PUSH2 0x1726 000010f4: JUMP 000010f5: JUMPDEST 000010f6: POP 000010f7: POP 000010f8: POP 000010f9: JUMP 000010fa: JUMPDEST 000010fb: PUSH1 0x0a 000010fd: SLOAD 000010fe: PUSH2 0x0100 00001101: SWAP1 00001102: DIV 00001103: PUSH1 0xff 00001105: AND 00001106: ISZERO 00001107: PUSH2 0x1402 0000110a: JUMPI 0000110b: PUSH1 0x05 0000110d: SLOAD 0000110e: PUSH1 0x01 00001110: PUSH1 0x01 00001112: PUSH1 0xa0 00001114: SHL 00001115: SUB 00001116: DUP5 00001117: DUP2 00001118: AND 00001119: SWAP2 0000111a: AND 0000111b: EQ 0000111c: DUP1 0000111d: ISZERO 0000111e: SWAP1 0000111f: PUSH2 0x1136 00001122: JUMPI 00001123: POP 00001124: PUSH1 0x05 00001126: SLOAD 00001127: PUSH1 0x01 00001129: PUSH1 0x01 0000112b: PUSH1 0xa0 0000112d: SHL 0000112e: SUB 0000112f: DUP4 00001130: DUP2 00001131: AND 00001132: SWAP2 00001133: AND 00001134: EQ 00001135: ISZERO 00001136: JUMPDEST 00001137: DUP1 00001138: ISZERO 00001139: PUSH2 0x114a 0000113c: JUMPI 0000113d: POP 0000113e: PUSH1 0x01 00001140: PUSH1 0x01 00001142: PUSH1 0xa0 00001144: SHL 00001145: SUB 00001146: DUP3 00001147: AND 00001148: ISZERO 00001149: ISZERO 0000114a: JUMPDEST 0000114b: DUP1 0000114c: ISZERO 0000114d: PUSH2 0x1161 00001150: JUMPI 00001151: POP 00001152: PUSH1 0x01 00001154: PUSH1 0x01 00001156: PUSH1 0xa0 00001158: SHL 00001159: SUB 0000115a: DUP3 0000115b: AND 0000115c: PUSH2 0xdead 0000115f: EQ 00001160: ISZERO 00001161: JUMPDEST 00001162: DUP1 00001163: ISZERO 00001164: PUSH2 0x11a7 00001167: JUMPI 00001168: POP 00001169: PUSH1 0x01 0000116b: PUSH1 0x01 0000116d: PUSH1 0xa0 0000116f: SHL 00001170: SUB 00001171: DUP4 00001172: AND 00001173: PUSH0 00001174: SWAP1 00001175: DUP2 00001176: MSTORE 00001177: PUSH1 0x0e 00001179: PUSH1 0x20 0000117b: MSTORE 0000117c: PUSH1 0x40 0000117e: SWAP1 0000117f: KECCAK256 00001180: SLOAD 00001181: PUSH1 0xff 00001183: AND 00001184: DUP1 00001185: PUSH2 0x11a5 00001188: JUMPI 00001189: POP 0000118a: PUSH1 0x01 0000118c: PUSH1 0x01 0000118e: PUSH1 0xa0 00001190: SHL 00001191: SUB 00001192: DUP3 00001193: AND 00001194: PUSH0 00001195: SWAP1 00001196: DUP2 00001197: MSTORE 00001198: PUSH1 0x0e 0000119a: PUSH1 0x20 0000119c: MSTORE 0000119d: PUSH1 0x40 0000119f: SWAP1 000011a0: KECCAK256 000011a1: SLOAD 000011a2: PUSH1 0xff 000011a4: AND 000011a5: JUMPDEST 000011a6: ISZERO 000011a7: JUMPDEST 000011a8: DUP1 000011a9: ISZERO 000011aa: PUSH2 0x11bd 000011ad: JUMPI 000011ae: POP 000011af: PUSH1 0x05 000011b1: SLOAD 000011b2: PUSH1 0x01 000011b4: PUSH1 0xa0 000011b6: SHL 000011b7: SWAP1 000011b8: DIV 000011b9: PUSH1 0xff 000011bb: AND 000011bc: ISZERO 000011bd: JUMPDEST 000011be: ISZERO 000011bf: PUSH2 0x1402 000011c2: JUMPI 000011c3: PUSH1 0x01 000011c5: PUSH1 0x01 000011c7: PUSH1 0xa0 000011c9: SHL 000011ca: SUB 000011cb: DUP4 000011cc: AND 000011cd: PUSH0 000011ce: SWAP1 000011cf: DUP2 000011d0: MSTORE 000011d1: PUSH1 0x10 000011d3: PUSH1 0x20 000011d5: MSTORE 000011d6: PUSH1 0x40 000011d8: SWAP1 000011d9: KECCAK256 000011da: SLOAD 000011db: PUSH1 0xff 000011dd: AND 000011de: DUP1 000011df: ISZERO 000011e0: PUSH2 0x1201 000011e3: JUMPI 000011e4: POP 000011e5: PUSH1 0x01 000011e7: PUSH1 0x01 000011e9: PUSH1 0xa0 000011eb: SHL 000011ec: SUB 000011ed: DUP3 000011ee: AND 000011ef: PUSH0 000011f0: SWAP1 000011f1: DUP2 000011f2: MSTORE 000011f3: PUSH1 0x0f 000011f5: PUSH1 0x20 000011f7: MSTORE 000011f8: PUSH1 0x40 000011fa: SWAP1 000011fb: KECCAK256 000011fc: SLOAD 000011fd: PUSH1 0xff 000011ff: AND 00001200: ISZERO 00001201: JUMPDEST 00001202: ISZERO 00001203: PUSH2 0x12e4 00001206: JUMPI 00001207: PUSH1 0x07 00001209: SLOAD 0000120a: DUP2 0000120b: GT 0000120c: ISZERO 0000120d: PUSH2 0x1276 00001210: JUMPI 00001211: PUSH1 0x40 00001213: MLOAD 00001214: PUSH3 0x461bcd 00001218: PUSH1 0xe5 0000121a: SHL 0000121b: DUP2 0000121c: MSTORE 0000121d: PUSH1 0x20 0000121f: PUSH1 0x04 00001221: DUP3 00001222: ADD 00001223: MSTORE 00001224: PUSH1 0x35 00001226: PUSH1 0x24 00001228: DUP3 00001229: ADD 0000122a: MSTORE 0000122b: PUSH32 0x427579207472616e7366657220616d6f756e7420657863656564732074686520 0000124c: PUSH1 0x44 0000124e: DUP3 0000124f: ADD 00001250: MSTORE 00001251: PUSH21 0x36b0bc2a3930b739b0b1ba34b7b720b6b7bab73a17 00001267: PUSH1 0x59 00001269: SHL 0000126a: PUSH1 0x64 0000126c: DUP3 0000126d: ADD 0000126e: MSTORE 0000126f: PUSH1 0x84 00001271: ADD 00001272: PUSH2 0x08b5 00001275: JUMP 00001276: JUMPDEST 00001277: PUSH1 0x08 00001279: SLOAD 0000127a: PUSH1 0x01 0000127c: PUSH1 0x01 0000127e: PUSH1 0xa0 00001280: SHL 00001281: SUB 00001282: DUP4 00001283: AND 00001284: PUSH0 00001285: SWAP1 00001286: DUP2 00001287: MSTORE 00001288: PUSH1 0x20 0000128a: DUP2 0000128b: SWAP1 0000128c: MSTORE 0000128d: PUSH1 0x40 0000128f: SWAP1 00001290: KECCAK256 00001291: SLOAD 00001292: PUSH2 0x129b 00001295: SWAP1 00001296: DUP4 00001297: PUSH2 0x1dbb 0000129a: JUMP 0000129b: JUMPDEST 0000129c: GT 0000129d: ISZERO 0000129e: PUSH2 0x12df 000012a1: JUMPI 000012a2: PUSH1 0x40 000012a4: MLOAD 000012a5: PUSH3 0x461bcd 000012a9: PUSH1 0xe5 000012ab: SHL 000012ac: DUP2 000012ad: MSTORE 000012ae: PUSH1 0x20 000012b0: PUSH1 0x04 000012b2: DUP3 000012b3: ADD 000012b4: MSTORE 000012b5: PUSH1 0x13 000012b7: PUSH1 0x24 000012b9: DUP3 000012ba: ADD 000012bb: MSTORE 000012bc: PUSH19 0x13585e081dd85b1b195d08195e18d959591959 000012d0: PUSH1 0x6a 000012d2: SHL 000012d3: PUSH1 0x44 000012d5: DUP3 000012d6: ADD 000012d7: MSTORE 000012d8: PUSH1 0x64 000012da: ADD 000012db: PUSH2 0x08b5 000012de: JUMP 000012df: JUMPDEST 000012e0: PUSH2 0x1402 000012e3: JUMP 000012e4: JUMPDEST 000012e5: PUSH1 0x01 000012e7: PUSH1 0x01 000012e9: PUSH1 0xa0 000012eb: SHL 000012ec: SUB 000012ed: DUP3 000012ee: AND 000012ef: PUSH0 000012f0: SWAP1 000012f1: DUP2 000012f2: MSTORE 000012f3: PUSH1 0x10 000012f5: PUSH1 0x20 000012f7: MSTORE 000012f8: PUSH1 0x40 000012fa: SWAP1 000012fb: KECCAK256 000012fc: SLOAD 000012fd: PUSH1 0xff 000012ff: AND 00001300: DUP1 00001301: ISZERO 00001302: PUSH2 0x1323 00001305: JUMPI 00001306: POP 00001307: PUSH1 0x01 00001309: PUSH1 0x01 0000130b: PUSH1 0xa0 0000130d: SHL 0000130e: SUB 0000130f: DUP4 00001310: AND 00001311: PUSH0 00001312: SWAP1 00001313: DUP2 00001314: MSTORE 00001315: PUSH1 0x0f 00001317: PUSH1 0x20 00001319: MSTORE 0000131a: PUSH1 0x40 0000131c: SWAP1 0000131d: KECCAK256 0000131e: SLOAD 0000131f: PUSH1 0xff 00001321: AND 00001322: ISZERO 00001323: JUMPDEST 00001324: ISZERO 00001325: PUSH2 0x1399 00001328: JUMPI 00001329: PUSH1 0x07 0000132b: SLOAD 0000132c: DUP2 0000132d: GT 0000132e: ISZERO 0000132f: PUSH2 0x12df 00001332: JUMPI 00001333: PUSH1 0x40 00001335: MLOAD 00001336: PUSH3 0x461bcd 0000133a: PUSH1 0xe5 0000133c: SHL 0000133d: DUP2 0000133e: MSTORE 0000133f: PUSH1 0x20 00001341: PUSH1 0x04 00001343: DUP3 00001344: ADD 00001345: MSTORE 00001346: PUSH1 0x36 00001348: PUSH1 0x24 0000134a: DUP3 0000134b: ADD 0000134c: MSTORE 0000134d: PUSH32 0x53656c6c207472616e7366657220616d6f756e74206578636565647320746865 0000136e: PUSH1 0x44 00001370: DUP3 00001371: ADD 00001372: MSTORE 00001373: PUSH22 0x1036b0bc2a3930b739b0b1ba34b7b720b6b7bab73a17 0000138a: PUSH1 0x51 0000138c: SHL 0000138d: PUSH1 0x64 0000138f: DUP3 00001390: ADD 00001391: MSTORE 00001392: PUSH1 0x84 00001394: ADD 00001395: PUSH2 0x08b5 00001398: JUMP 00001399: JUMPDEST 0000139a: PUSH1 0x08 0000139c: SLOAD 0000139d: PUSH1 0x01 0000139f: PUSH1 0x01 000013a1: PUSH1 0xa0 000013a3: SHL 000013a4: SUB 000013a5: DUP4 000013a6: AND 000013a7: PUSH0 000013a8: SWAP1 000013a9: DUP2 000013aa: MSTORE 000013ab: PUSH1 0x20 000013ad: DUP2 000013ae: SWAP1 000013af: MSTORE 000013b0: PUSH1 0x40 000013b2: SWAP1 000013b3: KECCAK256 000013b4: SLOAD 000013b5: PUSH2 0x13be 000013b8: SWAP1 000013b9: DUP4 000013ba: PUSH2 0x1dbb 000013bd: JUMP 000013be: JUMPDEST 000013bf: GT 000013c0: ISZERO 000013c1: PUSH2 0x1402 000013c4: JUMPI 000013c5: PUSH1 0x40 000013c7: MLOAD 000013c8: PUSH3 0x461bcd 000013cc: PUSH1 0xe5 000013ce: SHL 000013cf: DUP2 000013d0: MSTORE 000013d1: PUSH1 0x20 000013d3: PUSH1 0x04 000013d5: DUP3 000013d6: ADD 000013d7: MSTORE 000013d8: PUSH1 0x13 000013da: PUSH1 0x24 000013dc: DUP3 000013dd: ADD 000013de: MSTORE 000013df: PUSH19 0x13585e081dd85b1b195d08195e18d959591959 000013f3: PUSH1 0x6a 000013f5: SHL 000013f6: PUSH1 0x44 000013f8: DUP3 000013f9: ADD 000013fa: MSTORE 000013fb: PUSH1 0x64 000013fd: ADD 000013fe: PUSH2 0x08b5 00001401: JUMP 00001402: JUMPDEST 00001403: ADDRESS 00001404: PUSH0 00001405: SWAP1 00001406: DUP2 00001407: MSTORE 00001408: PUSH1 0x20 0000140a: DUP2 0000140b: SWAP1 0000140c: MSTORE 0000140d: PUSH1 0x40 0000140f: SWAP1 00001410: KECCAK256 00001411: SLOAD 00001412: PUSH1 0x09 00001414: SLOAD 00001415: DUP2 00001416: GT 00001417: DUP1 00001418: DUP1 00001419: ISZERO 0000141a: PUSH2 0x142c 0000141d: JUMPI 0000141e: POP 0000141f: PUSH1 0x0a 00001421: SLOAD 00001422: PUSH4 0x01000000 00001427: SWAP1 00001428: DIV 00001429: PUSH1 0xff 0000142b: AND 0000142c: JUMPDEST 0000142d: DUP1 0000142e: ISZERO 0000142f: PUSH2 0x1442 00001432: JUMPI 00001433: POP 00001434: PUSH1 0x05 00001436: SLOAD 00001437: PUSH1 0x01 00001439: PUSH1 0xa0 0000143b: SHL 0000143c: SWAP1 0000143d: DIV 0000143e: PUSH1 0xff 00001440: AND 00001441: ISZERO 00001442: JUMPDEST 00001443: DUP1 00001444: ISZERO 00001445: PUSH2 0x1466 00001448: JUMPI 00001449: POP 0000144a: PUSH1 0x01 0000144c: PUSH1 0x01 0000144e: PUSH1 0xa0 00001450: SHL 00001451: SUB 00001452: DUP6 00001453: AND 00001454: PUSH0 00001455: SWAP1 00001456: DUP2 00001457: MSTORE 00001458: PUSH1 0x10 0000145a: PUSH1 0x20 0000145c: MSTORE 0000145d: PUSH1 0x40 0000145f: SWAP1 00001460: KECCAK256 00001461: SLOAD 00001462: PUSH1 0xff 00001464: AND 00001465: ISZERO 00001466: JUMPDEST 00001467: DUP1 00001468: ISZERO 00001469: PUSH2 0x148a 0000146c: JUMPI 0000146d: POP 0000146e: PUSH1 0x01 00001470: PUSH1 0x01 00001472: PUSH1 0xa0 00001474: SHL 00001475: SUB 00001476: DUP6 00001477: AND 00001478: PUSH0 00001479: SWAP1 0000147a: DUP2 0000147b: MSTORE 0000147c: PUSH1 0x0e 0000147e: PUSH1 0x20 00001480: MSTORE 00001481: PUSH1 0x40 00001483: SWAP1 00001484: KECCAK256 00001485: SLOAD 00001486: PUSH1 0xff 00001488: AND 00001489: ISZERO 0000148a: JUMPDEST 0000148b: DUP1 0000148c: ISZERO 0000148d: PUSH2 0x14ae 00001490: JUMPI 00001491: POP 00001492: PUSH1 0x01 00001494: PUSH1 0x01 00001496: PUSH1 0xa0 00001498: SHL 00001499: SUB 0000149a: DUP5 0000149b: AND 0000149c: PUSH0 0000149d: SWAP1 0000149e: DUP2 0000149f: MSTORE 000014a0: PUSH1 0x0e 000014a2: PUSH1 0x20 000014a4: MSTORE 000014a5: PUSH1 0x40 000014a7: SWAP1 000014a8: KECCAK256 000014a9: SLOAD 000014aa: PUSH1 0xff 000014ac: AND 000014ad: ISZERO 000014ae: JUMPDEST 000014af: ISZERO 000014b0: PUSH2 0x14dd 000014b3: JUMPI 000014b4: PUSH1 0x05 000014b6: DUP1 000014b7: SLOAD 000014b8: PUSH1 0xff 000014ba: PUSH1 0xa0 000014bc: SHL 000014bd: NOT 000014be: AND 000014bf: PUSH1 0x01 000014c1: PUSH1 0xa0 000014c3: SHL 000014c4: OR 000014c5: SWAP1 000014c6: SSTORE 000014c7: PUSH2 0x14cf 000014ca: DUP4 000014cb: PUSH2 0x182c 000014ce: JUMP 000014cf: JUMPDEST 000014d0: PUSH1 0x05 000014d2: DUP1 000014d3: SLOAD 000014d4: PUSH1 0xff 000014d6: PUSH1 0xa0 000014d8: SHL 000014d9: NOT 000014da: AND 000014db: SWAP1 000014dc: SSTORE 000014dd: JUMPDEST 000014de: PUSH1 0x05 000014e0: SLOAD 000014e1: PUSH1 0x01 000014e3: PUSH1 0x01 000014e5: PUSH1 0xa0 000014e7: SHL 000014e8: SUB 000014e9: DUP7 000014ea: AND 000014eb: PUSH0 000014ec: SWAP1 000014ed: DUP2 000014ee: MSTORE 000014ef: PUSH1 0x0e 000014f1: PUSH1 0x20 000014f3: MSTORE 000014f4: PUSH1 0x40 000014f6: SWAP1 000014f7: KECCAK256 000014f8: SLOAD 000014f9: PUSH1 0xff 000014fb: PUSH1 0x01 000014fd: PUSH1 0xa0 000014ff: SHL 00001500: SWAP1 00001501: SWAP3 00001502: DIV 00001503: DUP3 00001504: AND 00001505: ISZERO 00001506: SWAP2 00001507: AND 00001508: DUP1 00001509: PUSH2 0x1529 0000150c: JUMPI 0000150d: POP 0000150e: PUSH1 0x01 00001510: PUSH1 0x01 00001512: PUSH1 0xa0 00001514: SHL 00001515: SUB 00001516: DUP6 00001517: AND 00001518: PUSH0 00001519: SWAP1 0000151a: DUP2 0000151b: MSTORE 0000151c: PUSH1 0x0e 0000151e: PUSH1 0x20 00001520: MSTORE 00001521: PUSH1 0x40 00001523: SWAP1 00001524: KECCAK256 00001525: SLOAD 00001526: PUSH1 0xff 00001528: AND 00001529: JUMPDEST 0000152a: ISZERO 0000152b: PUSH2 0x1531 0000152e: JUMPI 0000152f: POP 00001530: PUSH0 00001531: JUMPDEST 00001532: PUSH0 00001533: DUP2 00001534: ISZERO 00001535: PUSH2 0x15eb 00001538: JUMPI 00001539: PUSH1 0x01 0000153b: PUSH1 0x01 0000153d: PUSH1 0xa0 0000153f: SHL 00001540: SUB 00001541: DUP7 00001542: AND 00001543: PUSH0 00001544: SWAP1 00001545: DUP2 00001546: MSTORE 00001547: PUSH1 0x10 00001549: PUSH1 0x20 0000154b: MSTORE 0000154c: PUSH1 0x40 0000154e: SWAP1 0000154f: KECCAK256 00001550: SLOAD 00001551: PUSH1 0xff 00001553: AND 00001554: ISZERO 00001555: PUSH2 0x1588 00001558: JUMPI 00001559: PUSH1 0x0d 0000155b: SLOAD 0000155c: ISZERO 0000155d: PUSH2 0x1583 00001560: JUMPI 00001561: PUSH2 0x1580 00001564: PUSH1 0x64 00001566: PUSH2 0x157a 00001569: PUSH1 0x0d 0000156b: SLOAD 0000156c: DUP9 0000156d: PUSH2 0x189f 00001570: SWAP1 00001571: SWAP2 00001572: SWAP1 00001573: PUSH4 0xffffffff 00001578: AND 00001579: JUMP 0000157a: JUMPDEST 0000157b: SWAP1 0000157c: PUSH2 0x191d 0000157f: JUMP 00001580: JUMPDEST 00001581: SWAP1 00001582: POP 00001583: JUMPDEST 00001584: PUSH2 0x15cd 00001587: JUMP 00001588: JUMPDEST 00001589: PUSH1 0x01 0000158b: PUSH1 0x01 0000158d: PUSH1 0xa0 0000158f: SHL 00001590: SUB 00001591: DUP8 00001592: AND 00001593: PUSH0 00001594: SWAP1 00001595: DUP2 00001596: MSTORE 00001597: PUSH1 0x10 00001599: PUSH1 0x20 0000159b: MSTORE 0000159c: PUSH1 0x40 0000159e: SWAP1 0000159f: KECCAK256 000015a0: SLOAD 000015a1: PUSH1 0xff 000015a3: AND 000015a4: ISZERO 000015a5: PUSH2 0x15cd 000015a8: JUMPI 000015a9: PUSH1 0x0c 000015ab: SLOAD 000015ac: ISZERO 000015ad: PUSH2 0x15cd 000015b0: JUMPI 000015b1: PUSH2 0x15ca 000015b4: PUSH1 0x64 000015b6: PUSH2 0x157a 000015b9: PUSH1 0x0c 000015bb: SLOAD 000015bc: DUP9 000015bd: PUSH2 0x189f 000015c0: SWAP1 000015c1: SWAP2 000015c2: SWAP1 000015c3: PUSH4 0xffffffff 000015c8: AND 000015c9: JUMP 000015ca: JUMPDEST 000015cb: SWAP1 000015cc: POP 000015cd: JUMPDEST 000015ce: DUP1 000015cf: ISZERO 000015d0: PUSH2 0x15de 000015d3: JUMPI 000015d4: PUSH2 0x15de 000015d7: DUP8 000015d8: ADDRESS 000015d9: DUP4 000015da: PUSH2 0x1726 000015dd: JUMP 000015de: JUMPDEST 000015df: PUSH2 0x15e8 000015e2: DUP2 000015e3: DUP7 000015e4: PUSH2 0x1dce 000015e7: JUMP 000015e8: JUMPDEST 000015e9: SWAP5 000015ea: POP 000015eb: JUMPDEST 000015ec: PUSH2 0x15f6 000015ef: DUP8 000015f0: DUP8 000015f1: DUP8 000015f2: PUSH2 0x1726 000015f5: JUMP 000015f6: JUMPDEST 000015f7: POP 000015f8: POP 000015f9: POP 000015fa: POP 000015fb: POP 000015fc: POP 000015fd: POP 000015fe: JUMP 000015ff: JUMPDEST 00001600: PUSH0 00001601: DUP2 00001602: DUP5 00001603: DUP5 00001604: GT 00001605: ISZERO 00001606: PUSH2 0x1622 00001609: JUMPI 0000160a: PUSH1 0x40 0000160c: MLOAD 0000160d: PUSH3 0x461bcd 00001611: PUSH1 0xe5 00001613: SHL 00001614: DUP2 00001615: MSTORE 00001616: PUSH1 0x04 00001618: ADD 00001619: PUSH2 0x08b5 0000161c: SWAP2 0000161d: SWAP1 0000161e: PUSH2 0x1b40 00001621: JUMP 00001622: JUMPDEST 00001623: POP 00001624: PUSH0 00001625: PUSH2 0x162e 00001628: DUP5 00001629: DUP7 0000162a: PUSH2 0x1dce 0000162d: JUMP 0000162e: JUMPDEST 0000162f: SWAP6 00001630: SWAP5 00001631: POP 00001632: POP 00001633: POP 00001634: POP 00001635: POP 00001636: JUMP 00001637: JUMPDEST 00001638: PUSH0 00001639: DUP1 0000163a: PUSH2 0x1643 0000163d: DUP4 0000163e: DUP6 0000163f: PUSH2 0x1dbb 00001642: JUMP 00001643: JUMPDEST 00001644: SWAP1 00001645: POP 00001646: DUP4 00001647: DUP2 00001648: LT 00001649: ISZERO 0000164a: PUSH2 0x1695 0000164d: JUMPI 0000164e: PUSH1 0x40 00001650: MLOAD 00001651: PUSH3 0x461bcd 00001655: PUSH1 0xe5 00001657: SHL 00001658: DUP2 00001659: MSTORE 0000165a: PUSH1 0x20 0000165c: PUSH1 0x04 0000165e: DUP3 0000165f: ADD 00001660: MSTORE 00001661: PUSH1 0x1b 00001663: PUSH1 0x24 00001665: DUP3 00001666: ADD 00001667: MSTORE 00001668: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 00001689: PUSH1 0x44 0000168b: DUP3 0000168c: ADD 0000168d: MSTORE 0000168e: PUSH1 0x64 00001690: ADD 00001691: PUSH2 0x08b5 00001694: JUMP 00001695: JUMPDEST 00001696: SWAP4 00001697: SWAP3 00001698: POP 00001699: POP 0000169a: POP 0000169b: JUMP 0000169c: JUMPDEST 0000169d: PUSH1 0x01 0000169f: PUSH1 0x01 000016a1: PUSH1 0xa0 000016a3: SHL 000016a4: SUB 000016a5: DUP3 000016a6: AND 000016a7: PUSH0 000016a8: DUP2 000016a9: DUP2 000016aa: MSTORE 000016ab: PUSH1 0x10 000016ad: PUSH1 0x20 000016af: MSTORE 000016b0: PUSH1 0x40 000016b2: DUP1 000016b3: DUP3 000016b4: KECCAK256 000016b5: DUP1 000016b6: SLOAD 000016b7: PUSH1 0xff 000016b9: NOT 000016ba: AND 000016bb: DUP6 000016bc: ISZERO 000016bd: ISZERO 000016be: SWAP1 000016bf: DUP2 000016c0: OR 000016c1: SWAP1 000016c2: SWAP2 000016c3: SSTORE 000016c4: SWAP1 000016c5: MLOAD 000016c6: SWAP1 000016c7: SWAP3 000016c8: SWAP2 000016c9: PUSH32 0xffa9187bf1f18bf477bd0ea1bcbb64e93b6a98132473929edfce215cd9b16fab 000016ea: SWAP2 000016eb: LOG3 000016ec: POP 000016ed: POP 000016ee: JUMP 000016ef: JUMPDEST 000016f0: PUSH1 0x06 000016f2: SLOAD 000016f3: PUSH1 0x40 000016f5: MLOAD 000016f6: PUSH1 0x01 000016f8: PUSH1 0x01 000016fa: PUSH1 0xa0 000016fc: SHL 000016fd: SUB 000016fe: SWAP1 000016ff: SWAP2 00001700: AND 00001701: SWAP1 00001702: DUP3 00001703: ISZERO 00001704: PUSH2 0x08fc 00001707: MUL 00001708: SWAP1 00001709: DUP4 0000170a: SWAP1 0000170b: PUSH0 0000170c: DUP2 0000170d: DUP2 0000170e: DUP2 0000170f: DUP6 00001710: DUP9 00001711: DUP9 00001712: CALL 00001713: SWAP4 00001714: POP 00001715: POP 00001716: POP 00001717: POP 00001718: ISZERO 00001719: DUP1 0000171a: ISZERO 0000171b: PUSH2 0x0c62 0000171e: JUMPI 0000171f: RETURNDATASIZE 00001720: PUSH0 00001721: DUP1 00001722: RETURNDATACOPY 00001723: RETURNDATASIZE 00001724: PUSH0 00001725: REVERT 00001726: JUMPDEST 00001727: PUSH1 0x01 00001729: PUSH1 0x01 0000172b: PUSH1 0xa0 0000172d: SHL 0000172e: SUB 0000172f: DUP4 00001730: AND 00001731: PUSH2 0x174c 00001734: JUMPI 00001735: PUSH1 0x40 00001737: MLOAD 00001738: PUSH3 0x461bcd 0000173c: PUSH1 0xe5 0000173e: SHL 0000173f: DUP2 00001740: MSTORE 00001741: PUSH1 0x04 00001743: ADD 00001744: PUSH2 0x08b5 00001747: SWAP1 00001748: PUSH2 0x1d1f 0000174b: JUMP 0000174c: JUMPDEST 0000174d: PUSH1 0x01 0000174f: PUSH1 0x01 00001751: PUSH1 0xa0 00001753: SHL 00001754: SUB 00001755: DUP3 00001756: AND 00001757: PUSH2 0x1772 0000175a: JUMPI 0000175b: PUSH1 0x40 0000175d: MLOAD 0000175e: PUSH3 0x461bcd 00001762: PUSH1 0xe5 00001764: SHL 00001765: DUP2 00001766: MSTORE 00001767: PUSH1 0x04 00001769: ADD 0000176a: PUSH2 0x08b5 0000176d: SWAP1 0000176e: PUSH2 0x1d64 00001771: JUMP 00001772: JUMPDEST 00001773: PUSH2 0x17ae 00001776: DUP2 00001777: PUSH1 0x40 00001779: MLOAD 0000177a: DUP1 0000177b: PUSH1 0x60 0000177d: ADD 0000177e: PUSH1 0x40 00001780: MSTORE 00001781: DUP1 00001782: PUSH1 0x26 00001784: DUP2 00001785: MSTORE 00001786: PUSH1 0x20 00001788: ADD 00001789: PUSH2 0x1eb7 0000178c: PUSH1 0x26 0000178e: SWAP2 0000178f: CODECOPY 00001790: PUSH1 0x01 00001792: PUSH1 0x01 00001794: PUSH1 0xa0 00001796: SHL 00001797: SUB 00001798: DUP7 00001799: AND 0000179a: PUSH0 0000179b: SWAP1 0000179c: DUP2 0000179d: MSTORE 0000179e: PUSH1 0x20 000017a0: DUP2 000017a1: SWAP1 000017a2: MSTORE 000017a3: PUSH1 0x40 000017a5: SWAP1 000017a6: KECCAK256 000017a7: SLOAD 000017a8: SWAP2 000017a9: SWAP1 000017aa: PUSH2 0x15ff 000017ad: JUMP 000017ae: JUMPDEST 000017af: PUSH1 0x01 000017b1: PUSH1 0x01 000017b3: PUSH1 0xa0 000017b5: SHL 000017b6: SUB 000017b7: DUP1 000017b8: DUP6 000017b9: AND 000017ba: PUSH0 000017bb: SWAP1 000017bc: DUP2 000017bd: MSTORE 000017be: PUSH1 0x20 000017c0: DUP2 000017c1: SWAP1 000017c2: MSTORE 000017c3: PUSH1 0x40 000017c5: DUP1 000017c6: DUP3 000017c7: KECCAK256 000017c8: SWAP4 000017c9: SWAP1 000017ca: SWAP4 000017cb: SSTORE 000017cc: SWAP1 000017cd: DUP5 000017ce: AND 000017cf: DUP2 000017d0: MSTORE 000017d1: KECCAK256 000017d2: SLOAD 000017d3: PUSH2 0x17dc 000017d6: SWAP1 000017d7: DUP3 000017d8: PUSH2 0x1637 000017db: JUMP 000017dc: JUMPDEST 000017dd: PUSH1 0x01 000017df: PUSH1 0x01 000017e1: PUSH1 0xa0 000017e3: SHL 000017e4: SUB 000017e5: DUP4 000017e6: DUP2 000017e7: AND 000017e8: PUSH0 000017e9: DUP2 000017ea: DUP2 000017eb: MSTORE 000017ec: PUSH1 0x20 000017ee: DUP2 000017ef: DUP2 000017f0: MSTORE 000017f1: PUSH1 0x40 000017f3: SWAP2 000017f4: DUP3 000017f5: SWAP1 000017f6: KECCAK256 000017f7: SWAP5 000017f8: SWAP1 000017f9: SWAP5 000017fa: SSTORE 000017fb: MLOAD 000017fc: DUP5 000017fd: DUP2 000017fe: MSTORE 000017ff: SWAP1 00001800: SWAP3 00001801: SWAP2 00001802: DUP7 00001803: AND 00001804: SWAP2 00001805: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001826: SWAP2 00001827: ADD 00001828: PUSH2 0x0ff8 0000182b: JUMP 0000182c: JUMPDEST 0000182d: ADDRESS 0000182e: PUSH0 0000182f: SWAP1 00001830: DUP2 00001831: MSTORE 00001832: PUSH1 0x20 00001834: DUP2 00001835: SWAP1 00001836: MSTORE 00001837: PUSH1 0x40 00001839: SWAP1 0000183a: KECCAK256 0000183b: SLOAD 0000183c: PUSH1 0x0a 0000183e: SLOAD 0000183f: PUSH5 0x0100000000 00001845: SWAP1 00001846: DIV 00001847: PUSH1 0xff 00001849: AND 0000184a: ISZERO 0000184b: PUSH2 0x186c 0000184e: JUMPI 0000184f: DUP1 00001850: ISZERO 00001851: PUSH2 0x0c62 00001854: JUMPI 00001855: PUSH1 0x06 00001857: SLOAD 00001858: PUSH2 0x0c62 0000185b: SWAP1 0000185c: ADDRESS 0000185d: SWAP1 0000185e: PUSH1 0x01 00001860: PUSH1 0x01 00001862: PUSH1 0xa0 00001864: SHL 00001865: SUB 00001866: AND 00001867: DUP4 00001868: PUSH2 0x1726 0000186b: JUMP 0000186c: JUMPDEST 0000186d: DUP1 0000186e: PUSH0 0000186f: SUB 00001870: PUSH2 0x1877 00001873: JUMPI 00001874: POP 00001875: POP 00001876: JUMP 00001877: JUMPDEST 00001878: PUSH0 00001879: DUP3 0000187a: PUSH1 0x09 0000187c: SLOAD 0000187d: GT 0000187e: PUSH2 0x1889 00001881: JUMPI 00001882: PUSH1 0x09 00001884: SLOAD 00001885: PUSH2 0x188b 00001888: JUMP 00001889: JUMPDEST 0000188a: DUP3 0000188b: JUMPDEST 0000188c: SWAP1 0000188d: POP 0000188e: PUSH2 0x1896 00001891: DUP2 00001892: PUSH2 0x195e 00001895: JUMP 00001896: JUMPDEST 00001897: PUSH2 0x10f5 0000189a: SELFBALANCE 0000189b: PUSH2 0x16ef 0000189e: JUMP 0000189f: JUMPDEST 000018a0: PUSH0 000018a1: DUP3 000018a2: PUSH0 000018a3: SUB 000018a4: PUSH2 0x18ae 000018a7: JUMPI 000018a8: POP 000018a9: PUSH0 000018aa: PUSH2 0x081e 000018ad: JUMP 000018ae: JUMPDEST 000018af: PUSH0 000018b0: PUSH2 0x18b9 000018b3: DUP4 000018b4: DUP6 000018b5: PUSH2 0x1de1 000018b8: JUMP 000018b9: JUMPDEST 000018ba: SWAP1 000018bb: POP 000018bc: DUP3 000018bd: PUSH2 0x18c6 000018c0: DUP6 000018c1: DUP4 000018c2: PUSH2 0x1df8 000018c5: JUMP 000018c6: JUMPDEST 000018c7: EQ 000018c8: PUSH2 0x1695 000018cb: JUMPI 000018cc: PUSH1 0x40 000018ce: MLOAD 000018cf: PUSH3 0x461bcd 000018d3: PUSH1 0xe5 000018d5: SHL 000018d6: DUP2 000018d7: MSTORE 000018d8: PUSH1 0x20 000018da: PUSH1 0x04 000018dc: DUP3 000018dd: ADD 000018de: MSTORE 000018df: PUSH1 0x21 000018e1: PUSH1 0x24 000018e3: DUP3 000018e4: ADD 000018e5: MSTORE 000018e6: PUSH32 0x536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f 00001907: PUSH1 0x44 00001909: DUP3 0000190a: ADD 0000190b: MSTORE 0000190c: PUSH1 0x77 0000190e: PUSH1 0xf8 00001910: SHL 00001911: PUSH1 0x64 00001913: DUP3 00001914: ADD 00001915: MSTORE 00001916: PUSH1 0x84 00001918: ADD 00001919: PUSH2 0x08b5 0000191c: JUMP 0000191d: JUMPDEST 0000191e: PUSH0 0000191f: PUSH2 0x1695 00001922: DUP4 00001923: DUP4 00001924: PUSH1 0x40 00001926: MLOAD 00001927: DUP1 00001928: PUSH1 0x40 0000192a: ADD 0000192b: PUSH1 0x40 0000192d: MSTORE 0000192e: DUP1 0000192f: PUSH1 0x1a 00001931: DUP2 00001932: MSTORE 00001933: PUSH1 0x20 00001935: ADD 00001936: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000 00001957: DUP2 00001958: MSTORE 00001959: POP 0000195a: PUSH2 0x1b14 0000195d: JUMP 0000195e: JUMPDEST 0000195f: PUSH1 0x40 00001961: DUP1 00001962: MLOAD 00001963: PUSH1 0x02 00001965: DUP1 00001966: DUP3 00001967: MSTORE 00001968: PUSH1 0x60 0000196a: DUP3 0000196b: ADD 0000196c: DUP4 0000196d: MSTORE 0000196e: PUSH0 0000196f: SWAP3 00001970: PUSH1 0x20 00001972: DUP4 00001973: ADD 00001974: SWAP1 00001975: DUP1 00001976: CALLDATASIZE 00001977: DUP4 00001978: CALLDATACOPY 00001979: ADD 0000197a: SWAP1 0000197b: POP 0000197c: POP 0000197d: SWAP1 0000197e: POP 0000197f: ADDRESS 00001980: DUP2 00001981: PUSH0 00001982: DUP2 00001983: MLOAD 00001984: DUP2 00001985: LT 00001986: PUSH2 0x1991 00001989: JUMPI 0000198a: PUSH2 0x1991 0000198d: PUSH2 0x1e17 00001990: JUMP 00001991: JUMPDEST 00001992: PUSH1 0x20 00001994: MUL 00001995: PUSH1 0x20 00001997: ADD 00001998: ADD 00001999: SWAP1 0000199a: PUSH1 0x01 0000199c: PUSH1 0x01 0000199e: PUSH1 0xa0 000019a0: SHL 000019a1: SUB 000019a2: AND 000019a3: SWAP1 000019a4: DUP2 000019a5: PUSH1 0x01 000019a7: PUSH1 0x01 000019a9: PUSH1 0xa0 000019ab: SHL 000019ac: SUB 000019ad: AND 000019ae: DUP2 000019af: MSTORE 000019b0: POP 000019b1: POP 000019b2: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d 000019d3: PUSH1 0x01 000019d5: PUSH1 0x01 000019d7: PUSH1 0xa0 000019d9: SHL 000019da: SUB 000019db: AND 000019dc: PUSH4 0xad5c4648 000019e1: PUSH1 0x40 000019e3: MLOAD 000019e4: DUP2 000019e5: PUSH4 0xffffffff 000019ea: AND 000019eb: PUSH1 0xe0 000019ed: SHL 000019ee: DUP2 000019ef: MSTORE 000019f0: PUSH1 0x04 000019f2: ADD 000019f3: PUSH1 0x20 000019f5: PUSH1 0x40 000019f7: MLOAD 000019f8: DUP1 000019f9: DUP4 000019fa: SUB 000019fb: DUP2 000019fc: DUP7 000019fd: GAS 000019fe: STATICCALL 000019ff: ISZERO 00001a00: DUP1 00001a01: ISZERO 00001a02: PUSH2 0x1a0d 00001a05: JUMPI 00001a06: RETURNDATASIZE 00001a07: PUSH0 00001a08: DUP1 00001a09: RETURNDATACOPY 00001a0a: RETURNDATASIZE 00001a0b: PUSH0 00001a0c: REVERT 00001a0d: JUMPDEST 00001a0e: POP 00001a0f: POP 00001a10: POP 00001a11: POP 00001a12: PUSH1 0x40 00001a14: MLOAD 00001a15: RETURNDATASIZE 00001a16: PUSH1 0x1f 00001a18: NOT 00001a19: PUSH1 0x1f 00001a1b: DUP3 00001a1c: ADD 00001a1d: AND 00001a1e: DUP3 00001a1f: ADD 00001a20: DUP1 00001a21: PUSH1 0x40 00001a23: MSTORE 00001a24: POP 00001a25: DUP2 00001a26: ADD 00001a27: SWAP1 00001a28: PUSH2 0x1a31 00001a2b: SWAP2 00001a2c: SWAP1 00001a2d: PUSH2 0x1e2b 00001a30: JUMP 00001a31: JUMPDEST 00001a32: DUP2 00001a33: PUSH1 0x01 00001a35: DUP2 00001a36: MLOAD 00001a37: DUP2 00001a38: LT 00001a39: PUSH2 0x1a44 00001a3c: JUMPI 00001a3d: PUSH2 0x1a44 00001a40: PUSH2 0x1e17 00001a43: JUMP 00001a44: JUMPDEST 00001a45: PUSH1 0x20 00001a47: MUL 00001a48: PUSH1 0x20 00001a4a: ADD 00001a4b: ADD 00001a4c: SWAP1 00001a4d: PUSH1 0x01 00001a4f: PUSH1 0x01 00001a51: PUSH1 0xa0 00001a53: SHL 00001a54: SUB 00001a55: AND 00001a56: SWAP1 00001a57: DUP2 00001a58: PUSH1 0x01 00001a5a: PUSH1 0x01 00001a5c: PUSH1 0xa0 00001a5e: SHL 00001a5f: SUB 00001a60: AND 00001a61: DUP2 00001a62: MSTORE 00001a63: POP 00001a64: POP 00001a65: PUSH2 0x1a8f 00001a68: ADDRESS 00001a69: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d 00001a8a: DUP5 00001a8b: PUSH2 0x0ee1 00001a8e: JUMP 00001a8f: JUMPDEST 00001a90: PUSH1 0x40 00001a92: MLOAD 00001a93: PUSH4 0x791ac947 00001a98: PUSH1 0xe0 00001a9a: SHL 00001a9b: DUP2 00001a9c: MSTORE 00001a9d: PUSH1 0x01 00001a9f: PUSH1 0x01 00001aa1: PUSH1 0xa0 00001aa3: SHL 00001aa4: SUB 00001aa5: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d 00001ac6: AND 00001ac7: SWAP1 00001ac8: PUSH4 0x791ac947 00001acd: SWAP1 00001ace: PUSH2 0x1ae3 00001ad1: SWAP1 00001ad2: DUP6 00001ad3: SWAP1 00001ad4: PUSH0 00001ad5: SWAP1 00001ad6: DUP7 00001ad7: SWAP1 00001ad8: ADDRESS 00001ad9: SWAP1 00001ada: TIMESTAMP 00001adb: SWAP1 00001adc: PUSH1 0x04 00001ade: ADD 00001adf: PUSH2 0x1e46 00001ae2: JUMP 00001ae3: JUMPDEST 00001ae4: PUSH0 00001ae5: PUSH1 0x40 00001ae7: MLOAD 00001ae8: DUP1 00001ae9: DUP4 00001aea: SUB 00001aeb: DUP2 00001aec: PUSH0 00001aed: DUP8 00001aee: DUP1 00001aef: EXTCODESIZE 00001af0: ISZERO 00001af1: DUP1 00001af2: ISZERO 00001af3: PUSH2 0x1afa 00001af6: JUMPI 00001af7: PUSH0 00001af8: DUP1 00001af9: REVERT 00001afa: JUMPDEST 00001afb: POP 00001afc: GAS 00001afd: CALL 00001afe: SWAP3 00001aff: POP 00001b00: POP 00001b01: POP 00001b02: DUP1 00001b03: ISZERO 00001b04: PUSH2 0x1b0b 00001b07: JUMPI 00001b08: POP 00001b09: PUSH1 0x01 00001b0b: JUMPDEST 00001b0c: ISZERO 00001b0d: PUSH2 0x0c62 00001b10: JUMPI 00001b11: POP 00001b12: POP 00001b13: JUMP 00001b14: JUMPDEST 00001b15: PUSH0 00001b16: DUP2 00001b17: DUP4 00001b18: PUSH2 0x1b34 00001b1b: JUMPI 00001b1c: PUSH1 0x40 00001b1e: MLOAD 00001b1f: PUSH3 0x461bcd 00001b23: PUSH1 0xe5 00001b25: SHL 00001b26: DUP2 00001b27: MSTORE 00001b28: PUSH1 0x04 00001b2a: ADD 00001b2b: PUSH2 0x08b5 00001b2e: SWAP2 00001b2f: SWAP1 00001b30: PUSH2 0x1b40 00001b33: JUMP 00001b34: JUMPDEST 00001b35: POP 00001b36: PUSH0 00001b37: PUSH2 0x162e 00001b3a: DUP5 00001b3b: DUP7 00001b3c: PUSH2 0x1df8 00001b3f: JUMP 00001b40: JUMPDEST 00001b41: PUSH1 0x20 00001b43: DUP2 00001b44: MSTORE 00001b45: PUSH0 00001b46: DUP3 00001b47: MLOAD 00001b48: DUP1 00001b49: PUSH1 0x20 00001b4b: DUP5 00001b4c: ADD 00001b4d: MSTORE 00001b4e: DUP1 00001b4f: PUSH1 0x20 00001b51: DUP6 00001b52: ADD 00001b53: PUSH1 0x40 00001b55: DUP6 00001b56: ADD 00001b57: MCOPY 00001b58: PUSH0 00001b59: PUSH1 0x40 00001b5b: DUP3 00001b5c: DUP6 00001b5d: ADD 00001b5e: ADD 00001b5f: MSTORE 00001b60: PUSH1 0x40 00001b62: PUSH1 0x1f 00001b64: NOT 00001b65: PUSH1 0x1f 00001b67: DUP4 00001b68: ADD 00001b69: AND 00001b6a: DUP5 00001b6b: ADD 00001b6c: ADD 00001b6d: SWAP2 00001b6e: POP 00001b6f: POP 00001b70: SWAP3 00001b71: SWAP2 00001b72: POP 00001b73: POP 00001b74: JUMP 00001b75: JUMPDEST 00001b76: PUSH1 0x01 00001b78: PUSH1 0x01 00001b7a: PUSH1 0xa0 00001b7c: SHL 00001b7d: SUB 00001b7e: DUP2 00001b7f: AND 00001b80: DUP2 00001b81: EQ 00001b82: PUSH2 0x0993 00001b85: JUMPI 00001b86: PUSH0 00001b87: DUP1 00001b88: REVERT 00001b89: JUMPDEST 00001b8a: PUSH0 00001b8b: DUP1 00001b8c: PUSH1 0x40 00001b8e: DUP4 00001b8f: DUP6 00001b90: SUB 00001b91: SLT 00001b92: ISZERO 00001b93: PUSH2 0x1b9a 00001b96: JUMPI 00001b97: PUSH0 00001b98: DUP1 00001b99: REVERT 00001b9a: JUMPDEST 00001b9b: DUP3 00001b9c: CALLDATALOAD 00001b9d: PUSH2 0x1ba5 00001ba0: DUP2 00001ba1: PUSH2 0x1b75 00001ba4: JUMP 00001ba5: JUMPDEST 00001ba6: SWAP5 00001ba7: PUSH1 0x20 00001ba9: SWAP4 00001baa: SWAP1 00001bab: SWAP4 00001bac: ADD 00001bad: CALLDATALOAD 00001bae: SWAP4 00001baf: POP 00001bb0: POP 00001bb1: POP 00001bb2: JUMP 00001bb3: JUMPDEST 00001bb4: PUSH0 00001bb5: PUSH1 0x20 00001bb7: DUP3 00001bb8: DUP5 00001bb9: SUB 00001bba: SLT 00001bbb: ISZERO 00001bbc: PUSH2 0x1bc3 00001bbf: JUMPI 00001bc0: PUSH0 00001bc1: DUP1 00001bc2: REVERT 00001bc3: JUMPDEST 00001bc4: DUP2 00001bc5: CALLDATALOAD 00001bc6: PUSH2 0x1695 00001bc9: DUP2 00001bca: PUSH2 0x1b75 00001bcd: JUMP 00001bce: JUMPDEST 00001bcf: PUSH0 00001bd0: DUP1 00001bd1: PUSH0 00001bd2: PUSH1 0x60 00001bd4: DUP5 00001bd5: DUP7 00001bd6: SUB 00001bd7: SLT 00001bd8: ISZERO 00001bd9: PUSH2 0x1be0 00001bdc: JUMPI 00001bdd: PUSH0 00001bde: DUP1 00001bdf: REVERT 00001be0: JUMPDEST 00001be1: DUP4 00001be2: CALLDATALOAD 00001be3: PUSH2 0x1beb 00001be6: DUP2 00001be7: PUSH2 0x1b75 00001bea: JUMP 00001beb: JUMPDEST 00001bec: SWAP3 00001bed: POP 00001bee: PUSH1 0x20 00001bf0: DUP5 00001bf1: ADD 00001bf2: CALLDATALOAD 00001bf3: PUSH2 0x1bfb 00001bf6: DUP2 00001bf7: PUSH2 0x1b75 00001bfa: JUMP 00001bfb: JUMPDEST 00001bfc: SWAP3 00001bfd: SWAP6 00001bfe: SWAP3 00001bff: SWAP5 00001c00: POP 00001c01: POP 00001c02: POP 00001c03: PUSH1 0x40 00001c05: SWAP2 00001c06: SWAP1 00001c07: SWAP2 00001c08: ADD 00001c09: CALLDATALOAD 00001c0a: SWAP1 00001c0b: JUMP 00001c0c: JUMPDEST 00001c0d: DUP1 00001c0e: ISZERO 00001c0f: ISZERO 00001c10: DUP2 00001c11: EQ 00001c12: PUSH2 0x0993 00001c15: JUMPI 00001c16: PUSH0 00001c17: DUP1 00001c18: REVERT 00001c19: JUMPDEST 00001c1a: PUSH0 00001c1b: DUP1 00001c1c: PUSH1 0x40 00001c1e: DUP4 00001c1f: DUP6 00001c20: SUB 00001c21: SLT 00001c22: ISZERO 00001c23: PUSH2 0x1c2a 00001c26: JUMPI 00001c27: PUSH0 00001c28: DUP1 00001c29: REVERT 00001c2a: JUMPDEST 00001c2b: DUP3 00001c2c: CALLDATALOAD 00001c2d: PUSH2 0x1c35 00001c30: DUP2 00001c31: PUSH2 0x1b75 00001c34: JUMP 00001c35: JUMPDEST 00001c36: SWAP2 00001c37: POP 00001c38: PUSH1 0x20 00001c3a: DUP4 00001c3b: ADD 00001c3c: CALLDATALOAD 00001c3d: PUSH2 0x1c45 00001c40: DUP2 00001c41: PUSH2 0x1c0c 00001c44: JUMP 00001c45: JUMPDEST 00001c46: DUP1 00001c47: SWAP2 00001c48: POP 00001c49: POP 00001c4a: SWAP3 00001c4b: POP 00001c4c: SWAP3 00001c4d: SWAP1 00001c4e: POP 00001c4f: JUMP 00001c50: JUMPDEST 00001c51: PUSH0 00001c52: PUSH1 0x20 00001c54: DUP3 00001c55: DUP5 00001c56: SUB 00001c57: SLT 00001c58: ISZERO 00001c59: PUSH2 0x1c60 00001c5c: JUMPI 00001c5d: PUSH0 00001c5e: DUP1 00001c5f: REVERT 00001c60: JUMPDEST 00001c61: DUP2 00001c62: CALLDATALOAD 00001c63: PUSH2 0x1695 00001c66: DUP2 00001c67: PUSH2 0x1c0c 00001c6a: JUMP 00001c6b: JUMPDEST 00001c6c: PUSH0 00001c6d: DUP1 00001c6e: PUSH1 0x40 00001c70: DUP4 00001c71: DUP6 00001c72: SUB 00001c73: SLT 00001c74: ISZERO 00001c75: PUSH2 0x1c7c 00001c78: JUMPI 00001c79: PUSH0 00001c7a: DUP1 00001c7b: REVERT 00001c7c: JUMPDEST 00001c7d: DUP3 00001c7e: CALLDATALOAD 00001c7f: PUSH2 0x1c87 00001c82: DUP2 00001c83: PUSH2 0x1b75 00001c86: JUMP 00001c87: JUMPDEST 00001c88: SWAP2 00001c89: POP 00001c8a: PUSH1 0x20 00001c8c: DUP4 00001c8d: ADD 00001c8e: CALLDATALOAD 00001c8f: PUSH2 0x1c45 00001c92: DUP2 00001c93: PUSH2 0x1b75 00001c96: JUMP 00001c97: JUMPDEST 00001c98: PUSH1 0x01 00001c9a: DUP2 00001c9b: DUP2 00001c9c: SHR 00001c9d: SWAP1 00001c9e: DUP3 00001c9f: AND 00001ca0: DUP1 00001ca1: PUSH2 0x1cab 00001ca4: JUMPI 00001ca5: PUSH1 0x7f 00001ca7: DUP3 00001ca8: AND 00001ca9: SWAP2 00001caa: POP 00001cab: JUMPDEST 00001cac: PUSH1 0x20 00001cae: DUP3 00001caf: LT 00001cb0: DUP2 00001cb1: SUB 00001cb2: PUSH2 0x1cc9 00001cb5: JUMPI 00001cb6: PUSH4 0x4e487b71 00001cbb: PUSH1 0xe0 00001cbd: SHL 00001cbe: PUSH0 00001cbf: MSTORE 00001cc0: PUSH1 0x22 00001cc2: PUSH1 0x04 00001cc4: MSTORE 00001cc5: PUSH1 0x24 00001cc7: PUSH0 00001cc8: REVERT 00001cc9: JUMPDEST 00001cca: POP 00001ccb: SWAP2 00001ccc: SWAP1 00001ccd: POP 00001cce: JUMP 00001ccf: JUMPDEST 00001cd0: PUSH1 0x20 00001cd2: DUP1 00001cd3: DUP3 00001cd4: MSTORE 00001cd5: DUP2 00001cd6: DUP2 00001cd7: ADD 00001cd8: MSTORE 00001cd9: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00001cfa: PUSH1 0x40 00001cfc: DUP3 00001cfd: ADD 00001cfe: MSTORE 00001cff: PUSH1 0x60 00001d01: ADD 00001d02: SWAP1 00001d03: JUMP 00001d04: JUMPDEST 00001d05: PUSH0 00001d06: PUSH1 0x20 00001d08: DUP3 00001d09: DUP5 00001d0a: SUB 00001d0b: SLT 00001d0c: ISZERO 00001d0d: PUSH2 0x1d14 00001d10: JUMPI 00001d11: PUSH0 00001d12: DUP1 00001d13: REVERT 00001d14: JUMPDEST 00001d15: DUP2 00001d16: MLOAD 00001d17: PUSH2 0x1695 00001d1a: DUP2 00001d1b: PUSH2 0x1c0c 00001d1e: JUMP 00001d1f: JUMPDEST 00001d20: PUSH1 0x20 00001d22: DUP1 00001d23: DUP3 00001d24: MSTORE 00001d25: PUSH1 0x25 00001d27: SWAP1 00001d28: DUP3 00001d29: ADD 00001d2a: MSTORE 00001d2b: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164 00001d4c: PUSH1 0x40 00001d4e: DUP3 00001d4f: ADD 00001d50: MSTORE 00001d51: PUSH5 0x6472657373 00001d57: PUSH1 0xd8 00001d59: SHL 00001d5a: PUSH1 0x60 00001d5c: DUP3 00001d5d: ADD 00001d5e: MSTORE 00001d5f: PUSH1 0x80 00001d61: ADD 00001d62: SWAP1 00001d63: JUMP 00001d64: JUMPDEST 00001d65: PUSH1 0x20 00001d67: DUP1 00001d68: DUP3 00001d69: MSTORE 00001d6a: PUSH1 0x23 00001d6c: SWAP1 00001d6d: DUP3 00001d6e: ADD 00001d6f: MSTORE 00001d70: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472 00001d91: PUSH1 0x40 00001d93: DUP3 00001d94: ADD 00001d95: MSTORE 00001d96: PUSH3 0x657373 00001d9a: PUSH1 0xe8 00001d9c: SHL 00001d9d: PUSH1 0x60 00001d9f: DUP3 00001da0: ADD 00001da1: MSTORE 00001da2: PUSH1 0x80 00001da4: ADD 00001da5: SWAP1 00001da6: JUMP 00001da7: JUMPDEST 00001da8: PUSH4 0x4e487b71 00001dad: PUSH1 0xe0 00001daf: SHL 00001db0: PUSH0 00001db1: MSTORE 00001db2: PUSH1 0x11 00001db4: PUSH1 0x04 00001db6: MSTORE 00001db7: PUSH1 0x24 00001db9: PUSH0 00001dba: REVERT 00001dbb: JUMPDEST 00001dbc: DUP1 00001dbd: DUP3 00001dbe: ADD 00001dbf: DUP1 00001dc0: DUP3 00001dc1: GT 00001dc2: ISZERO 00001dc3: PUSH2 0x081e 00001dc6: JUMPI 00001dc7: PUSH2 0x081e 00001dca: PUSH2 0x1da7 00001dcd: JUMP 00001dce: JUMPDEST 00001dcf: DUP2 00001dd0: DUP2 00001dd1: SUB 00001dd2: DUP2 00001dd3: DUP2 00001dd4: GT 00001dd5: ISZERO 00001dd6: PUSH2 0x081e 00001dd9: JUMPI 00001dda: PUSH2 0x081e 00001ddd: PUSH2 0x1da7 00001de0: JUMP 00001de1: JUMPDEST 00001de2: DUP1 00001de3: DUP3 00001de4: MUL 00001de5: DUP2 00001de6: ISZERO 00001de7: DUP3 00001de8: DUP3 00001de9: DIV 00001dea: DUP5 00001deb: EQ 00001dec: OR 00001ded: PUSH2 0x081e 00001df0: JUMPI 00001df1: PUSH2 0x081e 00001df4: PUSH2 0x1da7 00001df7: JUMP 00001df8: JUMPDEST 00001df9: PUSH0 00001dfa: DUP3 00001dfb: PUSH2 0x1e12 00001dfe: JUMPI 00001dff: PUSH4 0x4e487b71 00001e04: PUSH1 0xe0 00001e06: SHL 00001e07: PUSH0 00001e08: MSTORE 00001e09: PUSH1 0x12 00001e0b: PUSH1 0x04 00001e0d: MSTORE 00001e0e: PUSH1 0x24 00001e10: PUSH0 00001e11: REVERT 00001e12: JUMPDEST 00001e13: POP 00001e14: DIV 00001e15: SWAP1 00001e16: JUMP 00001e17: JUMPDEST 00001e18: PUSH4 0x4e487b71 00001e1d: PUSH1 0xe0 00001e1f: SHL 00001e20: PUSH0 00001e21: MSTORE 00001e22: PUSH1 0x32 00001e24: PUSH1 0x04 00001e26: MSTORE 00001e27: PUSH1 0x24 00001e29: PUSH0 00001e2a: REVERT 00001e2b: JUMPDEST 00001e2c: PUSH0 00001e2d: PUSH1 0x20 00001e2f: DUP3 00001e30: DUP5 00001e31: SUB 00001e32: SLT 00001e33: ISZERO 00001e34: PUSH2 0x1e3b 00001e37: JUMPI 00001e38: PUSH0 00001e39: DUP1 00001e3a: REVERT 00001e3b: JUMPDEST 00001e3c: DUP2 00001e3d: MLOAD 00001e3e: PUSH2 0x1695 00001e41: DUP2 00001e42: PUSH2 0x1b75 00001e45: JUMP 00001e46: JUMPDEST 00001e47: PUSH0 00001e48: PUSH1 0xa0 00001e4a: DUP3 00001e4b: ADD 00001e4c: DUP8 00001e4d: DUP4 00001e4e: MSTORE 00001e4f: DUP7 00001e50: PUSH1 0x20 00001e52: DUP5 00001e53: ADD 00001e54: MSTORE 00001e55: PUSH1 0xa0 00001e57: PUSH1 0x40 00001e59: DUP5 00001e5a: ADD 00001e5b: MSTORE 00001e5c: DUP1 00001e5d: DUP7 00001e5e: MLOAD 00001e5f: DUP1 00001e60: DUP4 00001e61: MSTORE 00001e62: PUSH1 0xc0 00001e64: DUP6 00001e65: ADD 00001e66: SWAP2 00001e67: POP 00001e68: PUSH1 0x20 00001e6a: DUP9 00001e6b: ADD 00001e6c: SWAP3 00001e6d: POP 00001e6e: PUSH0 00001e6f: JUMPDEST 00001e70: DUP2 00001e71: DUP2 00001e72: LT 00001e73: ISZERO 00001e74: PUSH2 0x1e96 00001e77: JUMPI 00001e78: DUP4 00001e79: MLOAD 00001e7a: PUSH1 0x01 00001e7c: PUSH1 0x01 00001e7e: PUSH1 0xa0 00001e80: SHL 00001e81: SUB 00001e82: AND 00001e83: DUP4 00001e84: MSTORE 00001e85: PUSH1 0x20 00001e87: SWAP4 00001e88: DUP5 00001e89: ADD 00001e8a: SWAP4 00001e8b: SWAP1 00001e8c: SWAP3 00001e8d: ADD 00001e8e: SWAP2 00001e8f: PUSH1 0x01 00001e91: ADD 00001e92: PUSH2 0x1e6f 00001e95: JUMP 00001e96: JUMPDEST 00001e97: POP 00001e98: POP 00001e99: PUSH1 0x01 00001e9b: PUSH1 0x01 00001e9d: PUSH1 0xa0 00001e9f: SHL 00001ea0: SUB 00001ea1: SWAP6 00001ea2: SWAP1 00001ea3: SWAP6 00001ea4: AND 00001ea5: PUSH1 0x60 00001ea7: DUP5 00001ea8: ADD 00001ea9: MSTORE 00001eaa: POP 00001eab: POP 00001eac: PUSH1 0x80 00001eae: ADD 00001eaf: MSTORE 00001eb0: SWAP4 00001eb1: SWAP3 00001eb2: POP 00001eb3: POP 00001eb4: POP 00001eb5: JUMP 00001eb6: INVALID 00001eb7: GASLIMIT 00001eb8: MSTORE 00001eb9: NUMBER 00001eba: ORIGIN 00001ebb: ADDRESS 00001ebc: GASPRICE 00001ebd: KECCAK256 00001ebe: PUSH21 0x72616e7366657220616d6f756e7420657863656564 00001ed4: PUSH20 0x2062616c616e636545524332303a207472616e73 00001ee9: PUSH7 0x657220616d6f75 00001ef1: PUSH15 0x74206578636565647320616c6c6f77 00001f01: PUSH2 0x6e63 00001f04: PUSH6 0x45524332303a 00001f0b: KECCAK256 00001f0c: PUSH5 0x6563726561 00001f12: PUSH20 0x656420616c6c6f77616e63652062656c6f77207a 00001f27: PUSH6 0x726fa2646970 00001f2e: PUSH7 0x7358221220190d 00001f36: JUMPI 00001f37: UNKNOWN(0x1F) 00001f38: UNKNOWN(0x4B) 00001f39: UNKNOWN(0xA8) 00001f3a: PUSH14 0x37f685727bfbb42a25302bda2837 00001f49: GASPRICE 00001f4a: CALLER 00001f4b: UNKNOWN(0xCB) 00001f4c: GT 00001f4d: UNKNOWN(0xB9) 00001f4e: SWAP4 00001f4f: UNKNOWN(0x21) 00001f50: PUSH31
| 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": "0xd85ba063",
"selector": "0xd85ba063",
"calldata_variants": [
"0xd85ba063",
"0xd85ba0630000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xee40166e",
"selector": "0xee40166e",
"calldata_variants": [
"0xee40166e",
"0xee40166e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf4293890",
"selector": "0xf4293890",
"calldata_variants": [
"0xf4293890",
"0xf42938900000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf8b45b05",
"selector": "0xf8b45b05",
"calldata_variants": [
"0xf8b45b05",
"0xf8b45b050000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xaacebbe3",
"selector": "0xaacebbe3",
"calldata_variants": [
"0xaacebbe3",
"0xaacebbe30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb62496f5",
"selector": "0xb62496f5",
"calldata_variants": [
"0xb62496f5",
"0xb62496f50000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 7866,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xba1f6564fb053c37ff22eb8eb30d9f5c4d419e06927f9c3ec6918bfc06f66d16
call_targets:
0x36c7188d64c44301272db3293899507eabb8ed43
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xba1f6564fb053c37ff22eb8eb30d9f5c4d419e06927f9c3ec6918bfc06f66d16",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x36c7188d64c44301272db3293899507eabb8ed43"
],
"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": "0xd85ba063",
"selector": "0xd85ba063",
"calldata_variants": [
"0xd85ba063",
"0xd85ba0630000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xee40166e",
"selector": "0xee40166e",
"calldata_variants": [
"0xee40166e",
"0xee40166e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf4293890",
"selector": "0xf4293890",
"calldata_variants": [
"0xf4293890",
"0xf42938900000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf8b45b05",
"selector": "0xf8b45b05",
"calldata_variants": [
"0xf8b45b05",
"0xf8b45b050000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xaacebbe3",
"selector": "0xaacebbe3",
"calldata_variants": [
"0xaacebbe3",
"0xaacebbe30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb62496f5",
"selector": "0xb62496f5",
"calldata_variants": [
"0xb62496f5",
"0xb62496f50000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2400,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5906,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6909,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [
{
"pc": 7866,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 3
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xba1f6564fb053c37ff22eb8eb30d9f5c4d419e06927f9c3ec6918bfc06f66d16
call_targets:
0x36c7188d64c44301272db3293899507eabb8ed43
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xba1f6564fb053c37ff22eb8eb30d9f5c4d419e06927f9c3ec6918bfc06f66d16",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x36c7188d64c44301272db3293899507eabb8ed43"
],
"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": "0xd85ba063",
"selector": "0xd85ba063",
"calldata_variants": [
"0xd85ba063",
"0xd85ba0630000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xee40166e",
"selector": "0xee40166e",
"calldata_variants": [
"0xee40166e",
"0xee40166e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf4293890",
"selector": "0xf4293890",
"calldata_variants": [
"0xf4293890",
"0xf42938900000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf8b45b05",
"selector": "0xf8b45b05",
"calldata_variants": [
"0xf8b45b05",
"0xf8b45b050000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xaacebbe3",
"selector": "0xaacebbe3",
"calldata_variants": [
"0xaacebbe3",
"0xaacebbe30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb62496f5",
"selector": "0xb62496f5",
"calldata_variants": [
"0xb62496f5",
"0xb62496f50000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2400,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5906,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6909,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": [
{
"pc": 7866,
"type": "tx_origin_used"
}
]
}
|