019b477e-b2a1-7333-82b8-d34b92888d3b
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 |
|---|---|---|---|---|
| 22389 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 22390 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 65698 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 65699 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 65700 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 65701 | 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 0x0174 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH4 0x03e1001e 0000003a: DUP2 0000003b: EQ 0000003c: PUSH2 0x02ef 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x0aa8bfe7 00000046: EQ 00000047: PUSH2 0x0322 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x0bb4e6f4 00000051: EQ 00000052: PUSH2 0x0337 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x1080b7b1 0000005c: EQ 0000005d: PUSH2 0x034c 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x10d979f6 00000067: EQ 00000068: PUSH2 0x036d 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x1288a8e9 00000072: EQ 00000073: PUSH2 0x038e 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x1703b7fd 0000007d: EQ 0000007e: PUSH2 0x03af 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x24e5dacd 00000088: EQ 00000089: PUSH2 0x03d0 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x2db78d93 00000093: EQ 00000094: PUSH2 0x03f1 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x4b1cdc2d 0000009e: EQ 0000009f: PUSH2 0x0412 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x4e52622b 000000a9: EQ 000000aa: PUSH2 0x0433 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x5c7ae6e3 000000b4: EQ 000000b5: PUSH2 0x0454 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x66168bd7 000000bf: EQ 000000c0: PUSH2 0x0475 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0x740b4b60 000000ca: EQ 000000cb: PUSH2 0x049b 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0x8a561f37 000000d5: EQ 000000d6: PUSH2 0x04d0 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0x8da5cb5b 000000e0: EQ 000000e1: PUSH2 0x04e5 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0x942b765a 000000eb: EQ 000000ec: PUSH2 0x0516 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0x9ddf840d 000000f6: EQ 000000f7: PUSH2 0x05c4 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0xc04ae37f 00000101: EQ 00000102: PUSH2 0x05d9 00000105: JUMPI 00000106: DUP1 00000107: PUSH4 0xc311d049 0000010c: EQ 0000010d: PUSH2 0x05ee 00000110: JUMPI 00000111: DUP1 00000112: PUSH4 0xc69ea42f 00000117: EQ 00000118: PUSH2 0x0606 0000011b: JUMPI 0000011c: DUP1 0000011d: PUSH4 0xd59dd5d2 00000122: EQ 00000123: PUSH2 0x0627 00000126: JUMPI 00000127: DUP1 00000128: PUSH4 0xdd93aa81 0000012d: EQ 0000012e: PUSH2 0x0648 00000131: JUMPI 00000132: DUP1 00000133: PUSH4 0xe8836dcb 00000138: EQ 00000139: PUSH2 0x0669 0000013c: JUMPI 0000013d: DUP1 0000013e: PUSH4 0xedf26d9b 00000143: EQ 00000144: PUSH2 0x067e 00000147: JUMPI 00000148: DUP1 00000149: PUSH4 0xf08b82e6 0000014e: EQ 0000014f: PUSH2 0x0696 00000152: JUMPI 00000153: DUP1 00000154: PUSH4 0xf2fde38b 00000159: EQ 0000015a: PUSH2 0x06ab 0000015d: JUMPI 0000015e: DUP1 0000015f: PUSH4 0xf3f6f0d7 00000164: EQ 00000165: PUSH2 0x06cc 00000168: JUMPI 00000169: DUP1 0000016a: PUSH4 0xfecf9959 0000016f: EQ 00000170: PUSH2 0x06e1 00000173: JUMPI 00000174: JUMPDEST 00000175: CALLER 00000176: DUP1 00000177: EXTCODESIZE 00000178: PUSH1 0x00 0000017a: DUP1 0000017b: DUP1 0000017c: DUP1 0000017d: DUP1 0000017e: DUP6 0000017f: ISZERO 00000180: PUSH2 0x0188 00000183: JUMPI 00000184: PUSH1 0x00 00000186: DUP1 00000187: REVERT 00000188: JUMPDEST 00000189: CALLVALUE 0000018a: SWAP5 0000018b: POP 0000018c: PUSH2 0x0194 0000018f: DUP8 00000190: PUSH2 0x0708 00000193: JUMP 00000194: JUMPDEST 00000195: PUSH1 0x00 00000197: DUP6 00000198: GT 00000199: PUSH2 0x01a1 0000019c: JUMPI 0000019d: PUSH1 0x00 0000019f: DUP1 000001a0: REVERT 000001a1: JUMPDEST 000001a2: PUSH2 0x01c3 000001a5: PUSH1 0x64 000001a7: PUSH2 0x01b7 000001aa: DUP8 000001ab: PUSH1 0x59 000001ad: PUSH4 0xffffffff 000001b2: PUSH2 0x08bd 000001b5: AND 000001b6: JUMP 000001b7: JUMPDEST 000001b8: SWAP1 000001b9: PUSH4 0xffffffff 000001be: PUSH2 0x08f6 000001c1: AND 000001c2: JUMP 000001c3: JUMPDEST 000001c4: SWAP4 000001c5: POP 000001c6: PUSH2 0x01db 000001c9: PUSH1 0x64 000001cb: PUSH2 0x01b7 000001ce: DUP8 000001cf: PUSH1 0x06 000001d1: PUSH4 0xffffffff 000001d6: PUSH2 0x08bd 000001d9: AND 000001da: JUMP 000001db: JUMPDEST 000001dc: SWAP3 000001dd: POP 000001de: PUSH2 0x01f3 000001e1: PUSH1 0x64 000001e3: PUSH2 0x01b7 000001e6: DUP8 000001e7: PUSH1 0x04 000001e9: PUSH4 0xffffffff 000001ee: PUSH2 0x08bd 000001f1: AND 000001f2: JUMP 000001f3: JUMPDEST 000001f4: SWAP2 000001f5: POP 000001f6: PUSH2 0x020b 000001f9: PUSH1 0x64 000001fb: PUSH2 0x01b7 000001fe: DUP8 000001ff: PUSH1 0x01 00000201: PUSH4 0xffffffff 00000206: PUSH2 0x08bd 00000209: AND 0000020a: JUMP 0000020b: JUMPDEST 0000020c: SWAP1 0000020d: POP 0000020e: PUSH2 0x0217 00000211: DUP4 00000212: DUP4 00000213: PUSH2 0x0919 00000216: JUMP 00000217: JUMPDEST 00000218: PUSH1 0x00 0000021a: DUP1 0000021b: SLOAD 0000021c: PUSH1 0x40 0000021e: MLOAD 0000021f: PUSH1 0x01 00000221: PUSH1 0xa0 00000223: PUSH1 0x02 00000225: EXP 00000226: SUB 00000227: SWAP1 00000228: SWAP2 00000229: AND 0000022a: SWAP2 0000022b: DUP4 0000022c: ISZERO 0000022d: PUSH2 0x08fc 00000230: MUL 00000231: SWAP2 00000232: DUP5 00000233: SWAP2 00000234: DUP2 00000235: DUP2 00000236: DUP2 00000237: DUP6 00000238: DUP9 00000239: DUP9 0000023a: CALL 0000023b: SWAP4 0000023c: POP 0000023d: POP 0000023e: POP 0000023f: POP 00000240: ISZERO 00000241: DUP1 00000242: ISZERO 00000243: PUSH2 0x0250 00000246: JUMPI 00000247: RETURNDATASIZE 00000248: PUSH1 0x00 0000024a: DUP1 0000024b: RETURNDATACOPY 0000024c: RETURNDATASIZE 0000024d: PUSH1 0x00 0000024f: REVERT 00000250: JUMPDEST 00000251: POP 00000252: PUSH1 0x01 00000254: PUSH1 0xa0 00000256: PUSH1 0x02 00000258: EXP 00000259: SUB 0000025a: DUP8 0000025b: AND 0000025c: PUSH1 0x00 0000025e: SWAP1 0000025f: DUP2 00000260: MSTORE 00000261: PUSH1 0x02 00000263: PUSH1 0x20 00000265: MSTORE 00000266: PUSH1 0x40 00000268: SWAP1 00000269: KECCAK256 0000026a: SLOAD 0000026b: PUSH2 0x027a 0000026e: SWAP1 0000026f: DUP6 00000270: PUSH4 0xffffffff 00000275: PUSH2 0x09aa 00000278: AND 00000279: JUMP 0000027a: JUMPDEST 0000027b: PUSH1 0x01 0000027d: PUSH1 0xa0 0000027f: PUSH1 0x02 00000281: EXP 00000282: SUB 00000283: DUP9 00000284: AND 00000285: PUSH1 0x00 00000287: SWAP1 00000288: DUP2 00000289: MSTORE 0000028a: PUSH1 0x02 0000028c: PUSH1 0x20 0000028e: SWAP1 0000028f: DUP2 00000290: MSTORE 00000291: PUSH1 0x40 00000293: DUP1 00000294: DUP4 00000295: KECCAK256 00000296: SWAP4 00000297: SWAP1 00000298: SWAP4 00000299: SSTORE 0000029a: PUSH1 0x04 0000029c: SWAP1 0000029d: MSTORE 0000029e: SWAP1 0000029f: DUP2 000002a0: KECCAK256 000002a1: SLOAD 000002a2: GT 000002a3: ISZERO 000002a4: PUSH2 0x02be 000002a7: JUMPI 000002a8: PUSH1 0x09 000002aa: SLOAD 000002ab: PUSH2 0x02ba 000002ae: SWAP1 000002af: DUP6 000002b0: PUSH4 0xffffffff 000002b5: PUSH2 0x09aa 000002b8: AND 000002b9: JUMP 000002ba: JUMPDEST 000002bb: PUSH1 0x09 000002bd: SSTORE 000002be: JUMPDEST 000002bf: PUSH1 0x01 000002c1: PUSH1 0xa0 000002c3: PUSH1 0x02 000002c5: EXP 000002c6: SUB 000002c7: DUP8 000002c8: AND 000002c9: PUSH1 0x00 000002cb: SWAP1 000002cc: DUP2 000002cd: MSTORE 000002ce: PUSH1 0x03 000002d0: PUSH1 0x20 000002d2: MSTORE 000002d3: PUSH1 0x40 000002d5: DUP2 000002d6: KECCAK256 000002d7: SLOAD 000002d8: GT 000002d9: ISZERO 000002da: PUSH2 0x02e6 000002dd: JUMPI 000002de: PUSH2 0x02e6 000002e1: DUP8 000002e2: PUSH2 0x09bc 000002e5: JUMP 000002e6: JUMPDEST 000002e7: POP 000002e8: POP 000002e9: POP 000002ea: POP 000002eb: POP 000002ec: POP 000002ed: POP 000002ee: STOP 000002ef: JUMPDEST 000002f0: CALLVALUE 000002f1: DUP1 000002f2: ISZERO 000002f3: PUSH2 0x02fb 000002f6: JUMPI 000002f7: PUSH1 0x00 000002f9: DUP1 000002fa: REVERT 000002fb: JUMPDEST 000002fc: POP 000002fd: PUSH2 0x0310 00000300: PUSH1 0x01 00000302: PUSH1 0xa0 00000304: PUSH1 0x02 00000306: EXP 00000307: SUB 00000308: PUSH1 0x04 0000030a: CALLDATALOAD 0000030b: AND 0000030c: PUSH2 0x0aa1 0000030f: JUMP 00000310: JUMPDEST 00000311: PUSH1 0x40 00000313: DUP1 00000314: MLOAD 00000315: SWAP2 00000316: DUP3 00000317: MSTORE 00000318: MLOAD 00000319: SWAP1 0000031a: DUP2 0000031b: SWAP1 0000031c: SUB 0000031d: PUSH1 0x20 0000031f: ADD 00000320: SWAP1 00000321: RETURN 00000322: JUMPDEST 00000323: CALLVALUE 00000324: DUP1 00000325: ISZERO 00000326: PUSH2 0x032e 00000329: JUMPI 0000032a: PUSH1 0x00 0000032c: DUP1 0000032d: REVERT 0000032e: JUMPDEST 0000032f: POP 00000330: PUSH2 0x0310 00000333: PUSH2 0x0ab3 00000336: JUMP 00000337: JUMPDEST 00000338: CALLVALUE 00000339: DUP1 0000033a: ISZERO 0000033b: PUSH2 0x0343 0000033e: JUMPI 0000033f: PUSH1 0x00 00000341: DUP1 00000342: REVERT 00000343: JUMPDEST 00000344: POP 00000345: PUSH2 0x0310 00000348: PUSH2 0x0ab9 0000034b: JUMP 0000034c: JUMPDEST 0000034d: CALLVALUE 0000034e: DUP1 0000034f: ISZERO 00000350: PUSH2 0x0358 00000353: JUMPI 00000354: PUSH1 0x00 00000356: DUP1 00000357: REVERT 00000358: JUMPDEST 00000359: POP 0000035a: PUSH2 0x0310 0000035d: PUSH1 0x01 0000035f: PUSH1 0xa0 00000361: PUSH1 0x02 00000363: EXP 00000364: SUB 00000365: PUSH1 0x04 00000367: CALLDATALOAD 00000368: AND 00000369: PUSH2 0x0abf 0000036c: JUMP 0000036d: JUMPDEST 0000036e: CALLVALUE 0000036f: DUP1 00000370: ISZERO 00000371: PUSH2 0x0379 00000374: JUMPI 00000375: PUSH1 0x00 00000377: DUP1 00000378: REVERT 00000379: JUMPDEST 0000037a: POP 0000037b: PUSH2 0x0310 0000037e: PUSH1 0x01 00000380: PUSH1 0xa0 00000382: PUSH1 0x02 00000384: EXP 00000385: SUB 00000386: PUSH1 0x04 00000388: CALLDATALOAD 00000389: AND 0000038a: PUSH2 0x0b53 0000038d: JUMP 0000038e: JUMPDEST 0000038f: CALLVALUE 00000390: DUP1 00000391: ISZERO 00000392: PUSH2 0x039a 00000395: JUMPI 00000396: PUSH1 0x00 00000398: DUP1 00000399: REVERT 0000039a: JUMPDEST 0000039b: POP 0000039c: PUSH2 0x0310 0000039f: PUSH1 0x01 000003a1: PUSH1 0xa0 000003a3: PUSH1 0x02 000003a5: EXP 000003a6: SUB 000003a7: PUSH1 0x04 000003a9: CALLDATALOAD 000003aa: AND 000003ab: PUSH2 0x0b7c 000003ae: JUMP 000003af: JUMPDEST 000003b0: CALLVALUE 000003b1: DUP1 000003b2: ISZERO 000003b3: PUSH2 0x03bb 000003b6: JUMPI 000003b7: PUSH1 0x00 000003b9: DUP1 000003ba: REVERT 000003bb: JUMPDEST 000003bc: POP 000003bd: PUSH2 0x0310 000003c0: PUSH1 0x01 000003c2: PUSH1 0xa0 000003c4: PUSH1 0x02 000003c6: EXP 000003c7: SUB 000003c8: PUSH1 0x04 000003ca: CALLDATALOAD 000003cb: AND 000003cc: PUSH2 0x0b8e 000003cf: JUMP 000003d0: JUMPDEST 000003d1: CALLVALUE 000003d2: DUP1 000003d3: ISZERO 000003d4: PUSH2 0x03dc 000003d7: JUMPI 000003d8: PUSH1 0x00 000003da: DUP1 000003db: REVERT 000003dc: JUMPDEST 000003dd: POP 000003de: PUSH2 0x0310 000003e1: PUSH1 0x01 000003e3: PUSH1 0xa0 000003e5: PUSH1 0x02 000003e7: EXP 000003e8: SUB 000003e9: PUSH1 0x04 000003eb: CALLDATALOAD 000003ec: AND 000003ed: PUSH2 0x0be6 000003f0: JUMP 000003f1: JUMPDEST 000003f2: CALLVALUE 000003f3: DUP1 000003f4: ISZERO 000003f5: PUSH2 0x03fd 000003f8: JUMPI 000003f9: PUSH1 0x00 000003fb: DUP1 000003fc: REVERT 000003fd: JUMPDEST 000003fe: POP 000003ff: PUSH2 0x0310 00000402: PUSH1 0x01 00000404: PUSH1 0xa0 00000406: PUSH1 0x02 00000408: EXP 00000409: SUB 0000040a: PUSH1 0x04 0000040c: CALLDATALOAD 0000040d: AND 0000040e: PUSH2 0x0bf8 00000411: JUMP 00000412: JUMPDEST 00000413: CALLVALUE 00000414: DUP1 00000415: ISZERO 00000416: PUSH2 0x041e 00000419: JUMPI 0000041a: PUSH1 0x00 0000041c: DUP1 0000041d: REVERT 0000041e: JUMPDEST 0000041f: POP 00000420: PUSH2 0x0310 00000423: PUSH1 0x01 00000425: PUSH1 0xa0 00000427: PUSH1 0x02 00000429: EXP 0000042a: SUB 0000042b: PUSH1 0x04 0000042d: CALLDATALOAD 0000042e: AND 0000042f: PUSH2 0x0c0a 00000432: JUMP 00000433: JUMPDEST 00000434: CALLVALUE 00000435: DUP1 00000436: ISZERO 00000437: PUSH2 0x043f 0000043a: JUMPI 0000043b: PUSH1 0x00 0000043d: DUP1 0000043e: REVERT 0000043f: JUMPDEST 00000440: POP 00000441: PUSH2 0x0310 00000444: PUSH1 0x01 00000446: PUSH1 0xa0 00000448: PUSH1 0x02 0000044a: EXP 0000044b: SUB 0000044c: PUSH1 0x04 0000044e: CALLDATALOAD 0000044f: AND 00000450: PUSH2 0x0c95 00000453: JUMP 00000454: JUMPDEST 00000455: CALLVALUE 00000456: DUP1 00000457: ISZERO 00000458: PUSH2 0x0460 0000045b: JUMPI 0000045c: PUSH1 0x00 0000045e: DUP1 0000045f: REVERT 00000460: JUMPDEST 00000461: POP 00000462: PUSH2 0x0310 00000465: PUSH1 0x01 00000467: PUSH1 0xa0 00000469: PUSH1 0x02 0000046b: EXP 0000046c: SUB 0000046d: PUSH1 0x04 0000046f: CALLDATALOAD 00000470: AND 00000471: PUSH2 0x0ced 00000474: JUMP 00000475: JUMPDEST 00000476: CALLVALUE 00000477: DUP1 00000478: ISZERO 00000479: PUSH2 0x0481 0000047c: JUMPI 0000047d: PUSH1 0x00 0000047f: DUP1 00000480: REVERT 00000481: JUMPDEST 00000482: POP 00000483: PUSH2 0x0499 00000486: PUSH1 0x01 00000488: PUSH1 0xa0 0000048a: PUSH1 0x02 0000048c: EXP 0000048d: SUB 0000048e: PUSH1 0x04 00000490: CALLDATALOAD 00000491: AND 00000492: PUSH1 0x24 00000494: CALLDATALOAD 00000495: PUSH2 0x0d04 00000498: JUMP 00000499: JUMPDEST 0000049a: STOP 0000049b: JUMPDEST 0000049c: CALLVALUE 0000049d: DUP1 0000049e: ISZERO 0000049f: PUSH2 0x04a7 000004a2: JUMPI 000004a3: PUSH1 0x00 000004a5: DUP1 000004a6: REVERT 000004a7: JUMPDEST 000004a8: POP 000004a9: PUSH2 0x04bc 000004ac: PUSH1 0x01 000004ae: PUSH1 0xa0 000004b0: PUSH1 0x02 000004b2: EXP 000004b3: SUB 000004b4: PUSH1 0x04 000004b6: CALLDATALOAD 000004b7: AND 000004b8: PUSH2 0x1043 000004bb: JUMP 000004bc: JUMPDEST 000004bd: PUSH1 0x40 000004bf: DUP1 000004c0: MLOAD 000004c1: SWAP2 000004c2: ISZERO 000004c3: ISZERO 000004c4: DUP3 000004c5: MSTORE 000004c6: MLOAD 000004c7: SWAP1 000004c8: DUP2 000004c9: SWAP1 000004ca: SUB 000004cb: PUSH1 0x20 000004cd: ADD 000004ce: SWAP1 000004cf: RETURN 000004d0: JUMPDEST 000004d1: CALLVALUE 000004d2: DUP1 000004d3: ISZERO 000004d4: PUSH2 0x04dc 000004d7: JUMPI 000004d8: PUSH1 0x00 000004da: DUP1 000004db: REVERT 000004dc: JUMPDEST 000004dd: POP 000004de: PUSH2 0x0310 000004e1: PUSH2 0x1058 000004e4: JUMP 000004e5: JUMPDEST 000004e6: CALLVALUE 000004e7: DUP1 000004e8: ISZERO 000004e9: PUSH2 0x04f1 000004ec: JUMPI 000004ed: PUSH1 0x00 000004ef: DUP1 000004f0: REVERT 000004f1: JUMPDEST 000004f2: POP 000004f3: PUSH2 0x04fa 000004f6: PUSH2 0x105e 000004f9: JUMP 000004fa: JUMPDEST 000004fb: PUSH1 0x40 000004fd: DUP1 000004fe: MLOAD 000004ff: PUSH1 0x01 00000501: PUSH1 0xa0 00000503: PUSH1 0x02 00000505: EXP 00000506: SUB 00000507: SWAP1 00000508: SWAP3 00000509: AND 0000050a: DUP3 0000050b: MSTORE 0000050c: MLOAD 0000050d: SWAP1 0000050e: DUP2 0000050f: SWAP1 00000510: SUB 00000511: PUSH1 0x20 00000513: ADD 00000514: SWAP1 00000515: RETURN 00000516: JUMPDEST 00000517: CALLVALUE 00000518: DUP1 00000519: ISZERO 0000051a: PUSH2 0x0522 0000051d: JUMPI 0000051e: PUSH1 0x00 00000520: DUP1 00000521: REVERT 00000522: JUMPDEST 00000523: POP 00000524: PUSH2 0x052b 00000527: PUSH2 0x106d 0000052a: JUMP 0000052b: JUMPDEST 0000052c: PUSH1 0x40 0000052e: MLOAD 0000052f: DUP1 00000530: DUP1 00000531: PUSH1 0x20 00000533: ADD 00000534: DUP1 00000535: PUSH1 0x20 00000537: ADD 00000538: DUP4 00000539: DUP2 0000053a: SUB 0000053b: DUP4 0000053c: MSTORE 0000053d: DUP6 0000053e: DUP2 0000053f: DUP2 00000540: MLOAD 00000541: DUP2 00000542: MSTORE 00000543: PUSH1 0x20 00000545: ADD 00000546: SWAP2 00000547: POP 00000548: DUP1 00000549: MLOAD 0000054a: SWAP1 0000054b: PUSH1 0x20 0000054d: ADD 0000054e: SWAP1 0000054f: PUSH1 0x20 00000551: MUL 00000552: DUP1 00000553: DUP4 00000554: DUP4 00000555: PUSH1 0x00 00000557: JUMPDEST 00000558: DUP4 00000559: DUP2 0000055a: LT 0000055b: ISZERO 0000055c: PUSH2 0x056f 0000055f: JUMPI 00000560: DUP2 00000561: DUP2 00000562: ADD 00000563: MLOAD 00000564: DUP4 00000565: DUP3 00000566: ADD 00000567: MSTORE 00000568: PUSH1 0x20 0000056a: ADD 0000056b: PUSH2 0x0557 0000056e: JUMP 0000056f: JUMPDEST 00000570: POP 00000571: POP 00000572: POP 00000573: POP 00000574: SWAP1 00000575: POP 00000576: ADD 00000577: DUP4 00000578: DUP2 00000579: SUB 0000057a: DUP3 0000057b: MSTORE 0000057c: DUP5 0000057d: DUP2 0000057e: DUP2 0000057f: MLOAD 00000580: DUP2 00000581: MSTORE 00000582: PUSH1 0x20 00000584: ADD 00000585: SWAP2 00000586: POP 00000587: DUP1 00000588: MLOAD 00000589: SWAP1 0000058a: PUSH1 0x20 0000058c: ADD 0000058d: SWAP1 0000058e: PUSH1 0x20 00000590: MUL 00000591: DUP1 00000592: DUP4 00000593: DUP4 00000594: PUSH1 0x00 00000596: JUMPDEST 00000597: DUP4 00000598: DUP2 00000599: LT 0000059a: ISZERO 0000059b: PUSH2 0x05ae 0000059e: JUMPI 0000059f: DUP2 000005a0: DUP2 000005a1: ADD 000005a2: MLOAD 000005a3: DUP4 000005a4: DUP3 000005a5: ADD 000005a6: MSTORE 000005a7: PUSH1 0x20 000005a9: ADD 000005aa: PUSH2 0x0596 000005ad: JUMP 000005ae: JUMPDEST 000005af: POP 000005b0: POP 000005b1: POP 000005b2: POP 000005b3: SWAP1 000005b4: POP 000005b5: ADD 000005b6: SWAP5 000005b7: POP 000005b8: POP 000005b9: POP 000005ba: POP 000005bb: POP 000005bc: PUSH1 0x40 000005be: MLOAD 000005bf: DUP1 000005c0: SWAP2 000005c1: SUB 000005c2: SWAP1 000005c3: RETURN 000005c4: JUMPDEST 000005c5: CALLVALUE 000005c6: DUP1 000005c7: ISZERO 000005c8: PUSH2 0x05d0 000005cb: JUMPI 000005cc: PUSH1 0x00 000005ce: DUP1 000005cf: REVERT 000005d0: JUMPDEST 000005d1: POP 000005d2: PUSH2 0x0499 000005d5: PUSH2 0x1170 000005d8: JUMP 000005d9: JUMPDEST 000005da: CALLVALUE 000005db: DUP1 000005dc: ISZERO 000005dd: PUSH2 0x05e5 000005e0: JUMPI 000005e1: PUSH1 0x00 000005e3: DUP1 000005e4: REVERT 000005e5: JUMPDEST 000005e6: POP 000005e7: PUSH2 0x0310 000005ea: PUSH2 0x117b 000005ed: JUMP 000005ee: JUMPDEST 000005ef: CALLVALUE 000005f0: DUP1 000005f1: ISZERO 000005f2: PUSH2 0x05fa 000005f5: JUMPI 000005f6: PUSH1 0x00 000005f8: DUP1 000005f9: REVERT 000005fa: JUMPDEST 000005fb: POP 000005fc: PUSH2 0x0499 000005ff: PUSH1 0x04 00000601: CALLDATALOAD 00000602: PUSH2 0x1181 00000605: JUMP 00000606: JUMPDEST 00000607: CALLVALUE 00000608: DUP1 00000609: ISZERO 0000060a: PUSH2 0x0612 0000060d: JUMPI 0000060e: PUSH1 0x00 00000610: DUP1 00000611: REVERT 00000612: JUMPDEST 00000613: POP 00000614: PUSH2 0x0310 00000617: PUSH1 0x01 00000619: PUSH1 0xa0 0000061b: PUSH1 0x02 0000061d: EXP 0000061e: SUB 0000061f: PUSH1 0x04 00000621: CALLDATALOAD 00000622: AND 00000623: PUSH2 0x133b 00000626: JUMP 00000627: JUMPDEST 00000628: CALLVALUE 00000629: DUP1 0000062a: ISZERO 0000062b: PUSH2 0x0633 0000062e: JUMPI 0000062f: PUSH1 0x00 00000631: DUP1 00000632: REVERT 00000633: JUMPDEST 00000634: POP 00000635: PUSH2 0x0310 00000638: PUSH1 0x01 0000063a: PUSH1 0xa0 0000063c: PUSH1 0x02 0000063e: EXP 0000063f: SUB 00000640: PUSH1 0x04 00000642: CALLDATALOAD 00000643: AND 00000644: PUSH2 0x134d 00000647: JUMP 00000648: JUMPDEST 00000649: CALLVALUE 0000064a: DUP1 0000064b: ISZERO 0000064c: PUSH2 0x0654 0000064f: JUMPI 00000650: PUSH1 0x00 00000652: DUP1 00000653: REVERT 00000654: JUMPDEST 00000655: POP 00000656: PUSH2 0x0310 00000659: PUSH1 0x01 0000065b: PUSH1 0xa0 0000065d: PUSH1 0x02 0000065f: EXP 00000660: SUB 00000661: PUSH1 0x04 00000663: CALLDATALOAD 00000664: AND 00000665: PUSH2 0x135f 00000668: JUMP 00000669: JUMPDEST 0000066a: CALLVALUE 0000066b: DUP1 0000066c: ISZERO 0000066d: PUSH2 0x0675 00000670: JUMPI 00000671: PUSH1 0x00 00000673: DUP1 00000674: REVERT 00000675: JUMPDEST 00000676: POP 00000677: PUSH2 0x0310 0000067a: PUSH2 0x1371 0000067d: JUMP 0000067e: JUMPDEST 0000067f: CALLVALUE 00000680: DUP1 00000681: ISZERO 00000682: PUSH2 0x068a 00000685: JUMPI 00000686: PUSH1 0x00 00000688: DUP1 00000689: REVERT 0000068a: JUMPDEST 0000068b: POP 0000068c: PUSH2 0x04fa 0000068f: PUSH1 0x04 00000691: CALLDATALOAD 00000692: PUSH2 0x1377 00000695: JUMP 00000696: JUMPDEST 00000697: CALLVALUE 00000698: DUP1 00000699: ISZERO 0000069a: PUSH2 0x06a2 0000069d: JUMPI 0000069e: PUSH1 0x00 000006a0: DUP1 000006a1: REVERT 000006a2: JUMPDEST 000006a3: POP 000006a4: PUSH2 0x0310 000006a7: PUSH2 0x1392 000006aa: JUMP 000006ab: JUMPDEST 000006ac: CALLVALUE 000006ad: DUP1 000006ae: ISZERO 000006af: PUSH2 0x06b7 000006b2: JUMPI 000006b3: PUSH1 0x00 000006b5: DUP1 000006b6: REVERT 000006b7: JUMPDEST 000006b8: POP 000006b9: PUSH2 0x0499 000006bc: PUSH1 0x01 000006be: PUSH1 0xa0 000006c0: PUSH1 0x02 000006c2: EXP 000006c3: SUB 000006c4: PUSH1 0x04 000006c6: CALLDATALOAD 000006c7: AND 000006c8: PUSH2 0x1398 000006cb: JUMP 000006cc: JUMPDEST 000006cd: CALLVALUE 000006ce: DUP1 000006cf: ISZERO 000006d0: PUSH2 0x06d8 000006d3: JUMPI 000006d4: PUSH1 0x00 000006d6: DUP1 000006d7: REVERT 000006d8: JUMPDEST 000006d9: POP 000006da: PUSH2 0x0310 000006dd: PUSH2 0x142c 000006e0: JUMP 000006e1: JUMPDEST 000006e2: CALLVALUE 000006e3: DUP1 000006e4: ISZERO 000006e5: PUSH2 0x06ed 000006e8: JUMPI 000006e9: PUSH1 0x00 000006eb: DUP1 000006ec: REVERT 000006ed: JUMPDEST 000006ee: POP 000006ef: PUSH2 0x0499 000006f2: PUSH1 0x04 000006f4: CALLDATALOAD 000006f5: PUSH1 0x01 000006f7: PUSH1 0xa0 000006f9: PUSH1 0x02 000006fb: EXP 000006fc: SUB 000006fd: PUSH1 0x24 000006ff: CALLDATALOAD 00000700: AND 00000701: PUSH1 0x44 00000703: CALLDATALOAD 00000704: PUSH2 0x1432 00000707: JUMP 00000708: JUMPDEST 00000709: PUSH1 0x00 0000070b: DUP1 0000070c: PUSH1 0x00 0000070e: DUP1 0000070f: PUSH1 0x00 00000711: DUP1 00000712: PUSH2 0x071a 00000715: DUP8 00000716: PUSH2 0x0c95 00000719: JUMP 0000071a: JUMPDEST 0000071b: SWAP6 0000071c: POP 0000071d: PUSH2 0x0725 00000720: DUP8 00000721: PUSH2 0x0b8e 00000724: JUMP 00000725: JUMPDEST 00000726: SWAP5 00000727: POP 00000728: PUSH2 0x0737 0000072b: DUP6 0000072c: DUP8 0000072d: PUSH4 0xffffffff 00000732: PUSH2 0x09aa 00000735: AND 00000736: JUMP 00000737: JUMPDEST 00000738: SWAP4 00000739: POP 0000073a: PUSH2 0x0742 0000073d: DUP8 0000073e: PUSH2 0x0c0a 00000741: JUMP 00000742: JUMPDEST 00000743: SWAP3 00000744: POP 00000745: PUSH2 0x074d 00000748: DUP8 00000749: PUSH2 0x0abf 0000074c: JUMP 0000074d: JUMPDEST 0000074e: SWAP2 0000074f: POP 00000750: PUSH2 0x075f 00000753: DUP3 00000754: DUP5 00000755: PUSH4 0xffffffff 0000075a: PUSH2 0x09aa 0000075d: AND 0000075e: JUMP 0000075f: JUMPDEST 00000760: SWAP1 00000761: POP 00000762: PUSH1 0x00 00000764: DUP5 00000765: GT 00000766: ISZERO 00000767: PUSH2 0x07a2 0000076a: JUMPI 0000076b: PUSH1 0x40 0000076d: MLOAD 0000076e: PUSH1 0x01 00000770: PUSH1 0xa0 00000772: PUSH1 0x02 00000774: EXP 00000775: SUB 00000776: DUP9 00000777: AND 00000778: SWAP1 00000779: DUP6 0000077a: ISZERO 0000077b: PUSH2 0x08fc 0000077e: MUL 0000077f: SWAP1 00000780: DUP7 00000781: SWAP1 00000782: PUSH1 0x00 00000784: DUP2 00000785: DUP2 00000786: DUP2 00000787: DUP6 00000788: DUP9 00000789: DUP9 0000078a: CALL 0000078b: SWAP4 0000078c: POP 0000078d: POP 0000078e: POP 0000078f: POP 00000790: ISZERO 00000791: DUP1 00000792: ISZERO 00000793: PUSH2 0x07a0 00000796: JUMPI 00000797: RETURNDATASIZE 00000798: PUSH1 0x00 0000079a: DUP1 0000079b: RETURNDATACOPY 0000079c: RETURNDATASIZE 0000079d: PUSH1 0x00 0000079f: REVERT 000007a0: JUMPDEST 000007a1: POP 000007a2: JUMPDEST 000007a3: PUSH1 0x00 000007a5: DUP2 000007a6: GT 000007a7: ISZERO 000007a8: PUSH2 0x0831 000007ab: JUMPI 000007ac: PUSH1 0x01 000007ae: SLOAD 000007af: PUSH1 0x40 000007b1: DUP1 000007b2: MLOAD 000007b3: PUSH1 0xe0 000007b5: PUSH1 0x02 000007b7: EXP 000007b8: PUSH4 0xa9059cbb 000007bd: MUL 000007be: DUP2 000007bf: MSTORE 000007c0: PUSH1 0x01 000007c2: PUSH1 0xa0 000007c4: PUSH1 0x02 000007c6: EXP 000007c7: SUB 000007c8: DUP11 000007c9: DUP2 000007ca: AND 000007cb: PUSH1 0x04 000007cd: DUP4 000007ce: ADD 000007cf: MSTORE 000007d0: PUSH1 0x24 000007d2: DUP3 000007d3: ADD 000007d4: DUP6 000007d5: SWAP1 000007d6: MSTORE 000007d7: SWAP2 000007d8: MLOAD 000007d9: SWAP2 000007da: SWAP1 000007db: SWAP3 000007dc: AND 000007dd: SWAP2 000007de: PUSH4 0xa9059cbb 000007e3: SWAP2 000007e4: PUSH1 0x44 000007e6: DUP1 000007e7: DUP4 000007e8: ADD 000007e9: SWAP3 000007ea: PUSH1 0x20 000007ec: SWAP3 000007ed: SWAP2 000007ee: SWAP1 000007ef: DUP3 000007f0: SWAP1 000007f1: SUB 000007f2: ADD 000007f3: DUP2 000007f4: PUSH1 0x00 000007f6: DUP8 000007f7: DUP1 000007f8: EXTCODESIZE 000007f9: ISZERO 000007fa: DUP1 000007fb: ISZERO 000007fc: PUSH2 0x0804 000007ff: JUMPI 00000800: PUSH1 0x00 00000802: DUP1 00000803: REVERT 00000804: JUMPDEST 00000805: POP 00000806: GAS 00000807: CALL 00000808: ISZERO 00000809: DUP1 0000080a: ISZERO 0000080b: PUSH2 0x0818 0000080e: JUMPI 0000080f: RETURNDATASIZE 00000810: PUSH1 0x00 00000812: DUP1 00000813: RETURNDATACOPY 00000814: RETURNDATASIZE 00000815: PUSH1 0x00 00000817: REVERT 00000818: JUMPDEST 00000819: POP 0000081a: POP 0000081b: POP 0000081c: POP 0000081d: PUSH1 0x40 0000081f: MLOAD 00000820: RETURNDATASIZE 00000821: PUSH1 0x20 00000823: DUP2 00000824: LT 00000825: ISZERO 00000826: PUSH2 0x082e 00000829: JUMPI 0000082a: PUSH1 0x00 0000082c: DUP1 0000082d: REVERT 0000082e: JUMPDEST 0000082f: POP 00000830: POP 00000831: JUMPDEST 00000832: PUSH1 0x0c 00000834: SLOAD 00000835: PUSH1 0x01 00000837: PUSH1 0xa0 00000839: PUSH1 0x02 0000083b: EXP 0000083c: SUB 0000083d: DUP9 0000083e: AND 0000083f: PUSH1 0x00 00000841: DUP2 00000842: DUP2 00000843: MSTORE 00000844: PUSH1 0x0b 00000846: PUSH1 0x20 00000848: SWAP1 00000849: DUP2 0000084a: MSTORE 0000084b: PUSH1 0x40 0000084d: DUP1 0000084e: DUP4 0000084f: KECCAK256 00000850: SWAP5 00000851: SWAP1 00000852: SWAP5 00000853: SSTORE 00000854: PUSH1 0x0e 00000856: SLOAD 00000857: PUSH1 0x0d 00000859: DUP3 0000085a: MSTORE 0000085b: DUP5 0000085c: DUP4 0000085d: KECCAK256 0000085e: SSTORE 0000085f: PUSH1 0x10 00000861: SLOAD 00000862: PUSH1 0x0f 00000864: DUP3 00000865: MSTORE 00000866: DUP5 00000867: DUP4 00000868: KECCAK256 00000869: SSTORE 0000086a: PUSH1 0x12 0000086c: SLOAD 0000086d: PUSH1 0x11 0000086f: DUP3 00000870: MSTORE 00000871: SWAP2 00000872: DUP5 00000873: SWAP1 00000874: KECCAK256 00000875: SWAP2 00000876: SWAP1 00000877: SWAP2 00000878: SSTORE 00000879: DUP3 0000087a: MLOAD 0000087b: SWAP2 0000087c: DUP3 0000087d: MSTORE 0000087e: DUP2 0000087f: ADD 00000880: DUP7 00000881: SWAP1 00000882: MSTORE 00000883: DUP1 00000884: DUP3 00000885: ADD 00000886: DUP4 00000887: SWAP1 00000888: MSTORE 00000889: SWAP1 0000088a: MLOAD 0000088b: PUSH32 0xdd6e13fa60b7ff497716fc07cf86f41f54c3f689473ea4517e9489eb1e50e9ed 000008ac: SWAP2 000008ad: DUP2 000008ae: SWAP1 000008af: SUB 000008b0: PUSH1 0x60 000008b2: ADD 000008b3: SWAP1 000008b4: LOG1 000008b5: POP 000008b6: POP 000008b7: POP 000008b8: POP 000008b9: POP 000008ba: POP 000008bb: POP 000008bc: JUMP 000008bd: JUMPDEST 000008be: PUSH1 0x00 000008c0: DUP1 000008c1: DUP4 000008c2: ISZERO 000008c3: ISZERO 000008c4: PUSH2 0x08d0 000008c7: JUMPI 000008c8: PUSH1 0x00 000008ca: SWAP2 000008cb: POP 000008cc: PUSH2 0x08ef 000008cf: JUMP 000008d0: JUMPDEST 000008d1: POP 000008d2: DUP3 000008d3: DUP3 000008d4: MUL 000008d5: DUP3 000008d6: DUP5 000008d7: DUP3 000008d8: DUP2 000008d9: ISZERO 000008da: ISZERO 000008db: PUSH2 0x08e0 000008de: JUMPI 000008df: INVALID 000008e0: JUMPDEST 000008e1: DIV 000008e2: EQ 000008e3: PUSH2 0x08eb 000008e6: JUMPI 000008e7: PUSH1 0x00 000008e9: DUP1 000008ea: REVERT 000008eb: JUMPDEST 000008ec: DUP1 000008ed: SWAP2 000008ee: POP 000008ef: JUMPDEST 000008f0: POP 000008f1: SWAP3 000008f2: SWAP2 000008f3: POP 000008f4: POP 000008f5: JUMP 000008f6: JUMPDEST 000008f7: PUSH1 0x00 000008f9: DUP1 000008fa: DUP1 000008fb: DUP4 000008fc: GT 000008fd: PUSH2 0x0905 00000900: JUMPI 00000901: PUSH1 0x00 00000903: DUP1 00000904: REVERT 00000905: JUMPDEST 00000906: DUP3 00000907: DUP5 00000908: DUP2 00000909: ISZERO 0000090a: ISZERO 0000090b: PUSH2 0x0910 0000090e: JUMPI 0000090f: INVALID 00000910: JUMPDEST 00000911: DIV 00000912: SWAP5 00000913: SWAP4 00000914: POP 00000915: POP 00000916: POP 00000917: POP 00000918: JUMP 00000919: JUMPDEST 0000091a: PUSH1 0x00 0000091c: DUP1 0000091d: PUSH2 0x0924 00000920: PUSH2 0x1392 00000923: JUMP 00000924: JUMPDEST 00000925: SWAP2 00000926: POP 00000927: PUSH2 0x092e 0000092a: PUSH2 0x0ab9 0000092d: JUMP 0000092e: JUMPDEST 0000092f: SWAP1 00000930: POP 00000931: DUP1 00000932: ISZERO 00000933: DUP1 00000934: PUSH2 0x093b 00000937: JUMPI 00000938: POP 00000939: DUP2 0000093a: ISZERO 0000093b: JUMPDEST 0000093c: ISZERO 0000093d: PUSH2 0x0945 00000940: JUMPI 00000941: PUSH2 0x09a4 00000944: JUMP 00000945: JUMPDEST 00000946: PUSH2 0x0970 00000949: PUSH2 0x0961 0000094c: DUP3 0000094d: PUSH2 0x01b7 00000950: PUSH1 0x0a 00000952: SLOAD 00000953: DUP8 00000954: PUSH2 0x08bd 00000957: SWAP1 00000958: SWAP2 00000959: SWAP1 0000095a: PUSH4 0xffffffff 0000095f: AND 00000960: JUMP 00000961: JUMPDEST 00000962: PUSH1 0x0e 00000964: SLOAD 00000965: SWAP1 00000966: PUSH4 0xffffffff 0000096b: PUSH2 0x09aa 0000096e: AND 0000096f: JUMP 00000970: JUMPDEST 00000971: PUSH1 0x0e 00000973: SSTORE 00000974: PUSH1 0x0a 00000976: SLOAD 00000977: PUSH2 0x09a0 0000097a: SWAP1 0000097b: PUSH2 0x0991 0000097e: SWAP1 0000097f: DUP5 00000980: SWAP1 00000981: PUSH2 0x01b7 00000984: SWAP1 00000985: DUP9 00000986: SWAP1 00000987: PUSH4 0xffffffff 0000098c: PUSH2 0x08bd 0000098f: AND 00000990: JUMP 00000991: JUMPDEST 00000992: PUSH1 0x0c 00000994: SLOAD 00000995: SWAP1 00000996: PUSH4 0xffffffff 0000099b: PUSH2 0x09aa 0000099e: AND 0000099f: JUMP 000009a0: JUMPDEST 000009a1: PUSH1 0x0c 000009a3: SSTORE 000009a4: JUMPDEST 000009a5: POP 000009a6: POP 000009a7: POP 000009a8: POP 000009a9: JUMP 000009aa: JUMPDEST 000009ab: PUSH1 0x00 000009ad: DUP3 000009ae: DUP3 000009af: ADD 000009b0: DUP4 000009b1: DUP2 000009b2: LT 000009b3: ISZERO 000009b4: PUSH2 0x08eb 000009b7: JUMPI 000009b8: PUSH1 0x00 000009ba: DUP1 000009bb: REVERT 000009bc: JUMPDEST 000009bd: PUSH1 0x01 000009bf: PUSH1 0xa0 000009c1: PUSH1 0x02 000009c3: EXP 000009c4: SUB 000009c5: DUP2 000009c6: AND 000009c7: PUSH1 0x00 000009c9: SWAP1 000009ca: DUP2 000009cb: MSTORE 000009cc: PUSH1 0x07 000009ce: PUSH1 0x20 000009d0: SWAP1 000009d1: DUP2 000009d2: MSTORE 000009d3: PUSH1 0x40 000009d5: DUP1 000009d6: DUP4 000009d7: KECCAK256 000009d8: DUP1 000009d9: SLOAD 000009da: PUSH1 0xff 000009dc: NOT 000009dd: AND 000009de: PUSH1 0x01 000009e0: OR 000009e1: SWAP1 000009e2: SSTORE 000009e3: PUSH1 0x04 000009e5: SWAP1 000009e6: SWAP2 000009e7: MSTORE 000009e8: SWAP1 000009e9: KECCAK256 000009ea: SLOAD 000009eb: ISZERO 000009ec: ISZERO 000009ed: PUSH2 0x0a9e 000009f0: JUMPI 000009f1: PUSH1 0x01 000009f3: PUSH1 0xa0 000009f5: PUSH1 0x02 000009f7: EXP 000009f8: SUB 000009f9: DUP2 000009fa: AND 000009fb: PUSH1 0x00 000009fd: SWAP1 000009fe: DUP2 000009ff: MSTORE 00000a00: PUSH1 0x03 00000a02: PUSH1 0x20 00000a04: MSTORE 00000a05: PUSH1 0x40 00000a07: SWAP1 00000a08: KECCAK256 00000a09: SLOAD 00000a0a: PUSH1 0x08 00000a0c: SLOAD 00000a0d: PUSH2 0x0a1b 00000a10: SWAP2 00000a11: PUSH4 0xffffffff 00000a16: PUSH2 0x09aa 00000a19: AND 00000a1a: JUMP 00000a1b: JUMPDEST 00000a1c: PUSH1 0x08 00000a1e: SSTORE 00000a1f: PUSH1 0x01 00000a21: PUSH1 0xa0 00000a23: PUSH1 0x02 00000a25: EXP 00000a26: SUB 00000a27: DUP2 00000a28: AND 00000a29: PUSH1 0x00 00000a2b: SWAP1 00000a2c: DUP2 00000a2d: MSTORE 00000a2e: PUSH1 0x02 00000a30: PUSH1 0x20 00000a32: MSTORE 00000a33: PUSH1 0x40 00000a35: SWAP1 00000a36: KECCAK256 00000a37: SLOAD 00000a38: PUSH1 0x09 00000a3a: SLOAD 00000a3b: PUSH2 0x0a49 00000a3e: SWAP2 00000a3f: PUSH4 0xffffffff 00000a44: PUSH2 0x09aa 00000a47: AND 00000a48: JUMP 00000a49: JUMPDEST 00000a4a: PUSH1 0x09 00000a4c: SSTORE 00000a4d: PUSH1 0x06 00000a4f: DUP1 00000a50: SLOAD 00000a51: PUSH1 0x01 00000a53: ADD 00000a54: DUP1 00000a55: DUP3 00000a56: SSTORE 00000a57: PUSH1 0x00 00000a59: SWAP1 00000a5a: DUP2 00000a5b: MSTORE 00000a5c: PUSH1 0x05 00000a5e: PUSH1 0x20 00000a60: SWAP1 00000a61: DUP2 00000a62: MSTORE 00000a63: PUSH1 0x40 00000a65: DUP1 00000a66: DUP4 00000a67: KECCAK256 00000a68: DUP1 00000a69: SLOAD 00000a6a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a7f: NOT 00000a80: AND 00000a81: PUSH1 0x01 00000a83: PUSH1 0xa0 00000a85: PUSH1 0x02 00000a87: EXP 00000a88: SUB 00000a89: DUP8 00000a8a: AND 00000a8b: SWAP1 00000a8c: DUP2 00000a8d: OR 00000a8e: SWAP1 00000a8f: SWAP2 00000a90: SSTORE 00000a91: SWAP4 00000a92: SLOAD 00000a93: SWAP4 00000a94: DUP4 00000a95: MSTORE 00000a96: PUSH1 0x04 00000a98: SWAP1 00000a99: SWAP2 00000a9a: MSTORE 00000a9b: SWAP1 00000a9c: KECCAK256 00000a9d: SSTORE 00000a9e: JUMPDEST 00000a9f: POP 00000aa0: JUMP 00000aa1: JUMPDEST 00000aa2: PUSH1 0x0b 00000aa4: PUSH1 0x20 00000aa6: MSTORE 00000aa7: PUSH1 0x00 00000aa9: SWAP1 00000aaa: DUP2 00000aab: MSTORE 00000aac: PUSH1 0x40 00000aae: SWAP1 00000aaf: KECCAK256 00000ab0: SLOAD 00000ab1: DUP2 00000ab2: JUMP 00000ab3: JUMPDEST 00000ab4: PUSH1 0x0c 00000ab6: SLOAD 00000ab7: DUP2 00000ab8: JUMP 00000ab9: JUMPDEST 00000aba: PUSH1 0x09 00000abc: SLOAD 00000abd: SWAP1 00000abe: JUMP 00000abf: JUMPDEST 00000ac0: PUSH1 0x01 00000ac2: PUSH1 0xa0 00000ac4: PUSH1 0x02 00000ac6: EXP 00000ac7: SUB 00000ac8: DUP2 00000ac9: AND 00000aca: PUSH1 0x00 00000acc: SWAP1 00000acd: DUP2 00000ace: MSTORE 00000acf: PUSH1 0x07 00000ad1: PUSH1 0x20 00000ad3: MSTORE 00000ad4: PUSH1 0x40 00000ad6: DUP2 00000ad7: KECCAK256 00000ad8: SLOAD 00000ad9: DUP2 00000ada: SWAP1 00000adb: PUSH1 0xff 00000add: AND 00000ade: ISZERO 00000adf: ISZERO 00000ae0: PUSH2 0x0aec 00000ae3: JUMPI 00000ae4: PUSH1 0x00 00000ae6: SWAP2 00000ae7: POP 00000ae8: PUSH2 0x0b4d 00000aeb: JUMP 00000aec: JUMPDEST 00000aed: PUSH1 0x01 00000aef: PUSH1 0xa0 00000af1: PUSH1 0x02 00000af3: EXP 00000af4: SUB 00000af5: DUP4 00000af6: AND 00000af7: PUSH1 0x00 00000af9: SWAP1 00000afa: DUP2 00000afb: MSTORE 00000afc: PUSH1 0x11 00000afe: PUSH1 0x20 00000b00: MSTORE 00000b01: PUSH1 0x40 00000b03: SWAP1 00000b04: KECCAK256 00000b05: SLOAD 00000b06: PUSH1 0x12 00000b08: SLOAD 00000b09: PUSH2 0x0b17 00000b0c: SWAP2 00000b0d: PUSH4 0xffffffff 00000b12: PUSH2 0x16d2 00000b15: AND 00000b16: JUMP 00000b17: JUMPDEST 00000b18: PUSH1 0x0a 00000b1a: SLOAD 00000b1b: PUSH1 0x01 00000b1d: PUSH1 0xa0 00000b1f: PUSH1 0x02 00000b21: EXP 00000b22: SUB 00000b23: DUP6 00000b24: AND 00000b25: PUSH1 0x00 00000b27: SWAP1 00000b28: DUP2 00000b29: MSTORE 00000b2a: PUSH1 0x02 00000b2c: PUSH1 0x20 00000b2e: MSTORE 00000b2f: PUSH1 0x40 00000b31: SWAP1 00000b32: KECCAK256 00000b33: SLOAD 00000b34: SWAP2 00000b35: SWAP3 00000b36: POP 00000b37: PUSH2 0x0b4a 00000b3a: SWAP2 00000b3b: PUSH2 0x01b7 00000b3e: SWAP1 00000b3f: DUP5 00000b40: PUSH4 0xffffffff 00000b45: PUSH2 0x08bd 00000b48: AND 00000b49: JUMP 00000b4a: JUMPDEST 00000b4b: SWAP2 00000b4c: POP 00000b4d: JUMPDEST 00000b4e: POP 00000b4f: SWAP2 00000b50: SWAP1 00000b51: POP 00000b52: JUMP 00000b53: JUMPDEST 00000b54: PUSH1 0x00 00000b56: PUSH2 0x0b76 00000b59: PUSH2 0x0b61 00000b5c: DUP4 00000b5d: PUSH2 0x0c0a 00000b60: JUMP 00000b61: JUMPDEST 00000b62: PUSH2 0x0b6a 00000b65: DUP5 00000b66: PUSH2 0x0abf 00000b69: JUMP 00000b6a: JUMPDEST 00000b6b: SWAP1 00000b6c: PUSH4 0xffffffff 00000b71: PUSH2 0x09aa 00000b74: AND 00000b75: JUMP 00000b76: JUMPDEST 00000b77: SWAP3 00000b78: SWAP2 00000b79: POP 00000b7a: POP 00000b7b: JUMP 00000b7c: JUMPDEST 00000b7d: PUSH1 0x03 00000b7f: PUSH1 0x20 00000b81: MSTORE 00000b82: PUSH1 0x00 00000b84: SWAP1 00000b85: DUP2 00000b86: MSTORE 00000b87: PUSH1 0x40 00000b89: SWAP1 00000b8a: KECCAK256 00000b8b: SLOAD 00000b8c: DUP2 00000b8d: JUMP 00000b8e: JUMPDEST 00000b8f: PUSH1 0x01 00000b91: PUSH1 0xa0 00000b93: PUSH1 0x02 00000b95: EXP 00000b96: SUB 00000b97: DUP2 00000b98: AND 00000b99: PUSH1 0x00 00000b9b: SWAP1 00000b9c: DUP2 00000b9d: MSTORE 00000b9e: PUSH1 0x07 00000ba0: PUSH1 0x20 00000ba2: MSTORE 00000ba3: PUSH1 0x40 00000ba5: DUP2 00000ba6: KECCAK256 00000ba7: SLOAD 00000ba8: DUP2 00000ba9: SWAP1 00000baa: PUSH1 0xff 00000bac: AND 00000bad: ISZERO 00000bae: ISZERO 00000baf: PUSH2 0x0bbb 00000bb2: JUMPI 00000bb3: PUSH1 0x00 00000bb5: SWAP2 00000bb6: POP 00000bb7: PUSH2 0x0b4d 00000bba: JUMP 00000bbb: JUMPDEST 00000bbc: PUSH1 0x01 00000bbe: PUSH1 0xa0 00000bc0: PUSH1 0x02 00000bc2: EXP 00000bc3: SUB 00000bc4: DUP4 00000bc5: AND 00000bc6: PUSH1 0x00 00000bc8: SWAP1 00000bc9: DUP2 00000bca: MSTORE 00000bcb: PUSH1 0x0d 00000bcd: PUSH1 0x20 00000bcf: MSTORE 00000bd0: PUSH1 0x40 00000bd2: SWAP1 00000bd3: KECCAK256 00000bd4: SLOAD 00000bd5: PUSH1 0x0e 00000bd7: SLOAD 00000bd8: PUSH2 0x0b17 00000bdb: SWAP2 00000bdc: PUSH4 0xffffffff 00000be1: PUSH2 0x16d2 00000be4: AND 00000be5: JUMP 00000be6: JUMPDEST 00000be7: PUSH1 0x0f 00000be9: PUSH1 0x20 00000beb: MSTORE 00000bec: PUSH1 0x00 00000bee: SWAP1 00000bef: DUP2 00000bf0: MSTORE 00000bf1: PUSH1 0x40 00000bf3: SWAP1 00000bf4: KECCAK256 00000bf5: SLOAD 00000bf6: DUP2 00000bf7: JUMP 00000bf8: JUMPDEST 00000bf9: PUSH1 0x04 00000bfb: PUSH1 0x20 00000bfd: MSTORE 00000bfe: PUSH1 0x00 00000c00: SWAP1 00000c01: DUP2 00000c02: MSTORE 00000c03: PUSH1 0x40 00000c05: SWAP1 00000c06: KECCAK256 00000c07: SLOAD 00000c08: DUP2 00000c09: JUMP 00000c0a: JUMPDEST 00000c0b: PUSH1 0x01 00000c0d: PUSH1 0xa0 00000c0f: PUSH1 0x02 00000c11: EXP 00000c12: SUB 00000c13: DUP2 00000c14: AND 00000c15: PUSH1 0x00 00000c17: SWAP1 00000c18: DUP2 00000c19: MSTORE 00000c1a: PUSH1 0x07 00000c1c: PUSH1 0x20 00000c1e: MSTORE 00000c1f: PUSH1 0x40 00000c21: DUP2 00000c22: KECCAK256 00000c23: SLOAD 00000c24: DUP2 00000c25: SWAP1 00000c26: PUSH1 0xff 00000c28: AND 00000c29: ISZERO 00000c2a: ISZERO 00000c2b: PUSH2 0x0c37 00000c2e: JUMPI 00000c2f: PUSH1 0x00 00000c31: SWAP2 00000c32: POP 00000c33: PUSH2 0x0b4d 00000c36: JUMP 00000c37: JUMPDEST 00000c38: PUSH1 0x01 00000c3a: PUSH1 0xa0 00000c3c: PUSH1 0x02 00000c3e: EXP 00000c3f: SUB 00000c40: DUP4 00000c41: AND 00000c42: PUSH1 0x00 00000c44: SWAP1 00000c45: DUP2 00000c46: MSTORE 00000c47: PUSH1 0x0f 00000c49: PUSH1 0x20 00000c4b: MSTORE 00000c4c: PUSH1 0x40 00000c4e: SWAP1 00000c4f: KECCAK256 00000c50: SLOAD 00000c51: PUSH1 0x10 00000c53: SLOAD 00000c54: PUSH2 0x0c62 00000c57: SWAP2 00000c58: PUSH4 0xffffffff 00000c5d: PUSH2 0x16d2 00000c60: AND 00000c61: JUMP 00000c62: JUMPDEST 00000c63: PUSH1 0x0a 00000c65: SLOAD 00000c66: PUSH1 0x01 00000c68: PUSH1 0xa0 00000c6a: PUSH1 0x02 00000c6c: EXP 00000c6d: SUB 00000c6e: DUP6 00000c6f: AND 00000c70: PUSH1 0x00 00000c72: SWAP1 00000c73: DUP2 00000c74: MSTORE 00000c75: PUSH1 0x03 00000c77: PUSH1 0x20 00000c79: MSTORE 00000c7a: PUSH1 0x40 00000c7c: SWAP1 00000c7d: KECCAK256 00000c7e: SLOAD 00000c7f: SWAP2 00000c80: SWAP3 00000c81: POP 00000c82: PUSH2 0x0b4a 00000c85: SWAP2 00000c86: PUSH2 0x01b7 00000c89: SWAP1 00000c8a: DUP5 00000c8b: PUSH4 0xffffffff 00000c90: PUSH2 0x08bd 00000c93: AND 00000c94: JUMP 00000c95: JUMPDEST 00000c96: PUSH1 0x01 00000c98: PUSH1 0xa0 00000c9a: PUSH1 0x02 00000c9c: EXP 00000c9d: SUB 00000c9e: DUP2 00000c9f: AND 00000ca0: PUSH1 0x00 00000ca2: SWAP1 00000ca3: DUP2 00000ca4: MSTORE 00000ca5: PUSH1 0x07 00000ca7: PUSH1 0x20 00000ca9: MSTORE 00000caa: PUSH1 0x40 00000cac: DUP2 00000cad: KECCAK256 00000cae: SLOAD 00000caf: DUP2 00000cb0: SWAP1 00000cb1: PUSH1 0xff 00000cb3: AND 00000cb4: ISZERO 00000cb5: ISZERO 00000cb6: PUSH2 0x0cc2 00000cb9: JUMPI 00000cba: PUSH1 0x00 00000cbc: SWAP2 00000cbd: POP 00000cbe: PUSH2 0x0b4d 00000cc1: JUMP 00000cc2: JUMPDEST 00000cc3: PUSH1 0x01 00000cc5: PUSH1 0xa0 00000cc7: PUSH1 0x02 00000cc9: EXP 00000cca: SUB 00000ccb: DUP4 00000ccc: AND 00000ccd: PUSH1 0x00 00000ccf: SWAP1 00000cd0: DUP2 00000cd1: MSTORE 00000cd2: PUSH1 0x0b 00000cd4: PUSH1 0x20 00000cd6: MSTORE 00000cd7: PUSH1 0x40 00000cd9: SWAP1 00000cda: KECCAK256 00000cdb: SLOAD 00000cdc: PUSH1 0x0c 00000cde: SLOAD 00000cdf: PUSH2 0x0c62 00000ce2: SWAP2 00000ce3: PUSH4 0xffffffff 00000ce8: PUSH2 0x16d2 00000ceb: AND 00000cec: JUMP 00000ced: JUMPDEST 00000cee: PUSH1 0x00 00000cf0: PUSH2 0x0b76 00000cf3: PUSH2 0x0cfb 00000cf6: DUP4 00000cf7: PUSH2 0x0c95 00000cfa: JUMP 00000cfb: JUMPDEST 00000cfc: PUSH2 0x0b6a 00000cff: DUP5 00000d00: PUSH2 0x0b8e 00000d03: JUMP 00000d04: JUMPDEST 00000d05: PUSH1 0x00 00000d07: DUP1 00000d08: PUSH1 0x00 00000d0a: DUP1 00000d0b: PUSH1 0x00 00000d0d: DUP1 00000d0e: PUSH2 0x0d16 00000d11: CALLER 00000d12: PUSH2 0x0708 00000d15: JUMP 00000d16: JUMPDEST 00000d17: PUSH1 0x01 00000d19: SLOAD 00000d1a: PUSH1 0x40 00000d1c: DUP1 00000d1d: MLOAD 00000d1e: PUSH32 0xdd62ed3e00000000000000000000000000000000000000000000000000000000 00000d3f: DUP2 00000d40: MSTORE 00000d41: CALLER 00000d42: PUSH1 0x04 00000d44: DUP3 00000d45: ADD 00000d46: DUP2 00000d47: SWAP1 00000d48: MSTORE 00000d49: ADDRESS 00000d4a: PUSH1 0x24 00000d4c: DUP4 00000d4d: ADD 00000d4e: MSTORE 00000d4f: SWAP2 00000d50: MLOAD 00000d51: SWAP2 00000d52: SWAP9 00000d53: POP 00000d54: PUSH1 0x01 00000d56: PUSH1 0xa0 00000d58: PUSH1 0x02 00000d5a: EXP 00000d5b: SUB 00000d5c: SWAP1 00000d5d: SWAP3 00000d5e: AND 00000d5f: SWAP2 00000d60: PUSH4 0xdd62ed3e 00000d65: SWAP2 00000d66: PUSH1 0x44 00000d68: DUP1 00000d69: DUP4 00000d6a: ADD 00000d6b: SWAP3 00000d6c: PUSH1 0x20 00000d6e: SWAP3 00000d6f: SWAP2 00000d70: SWAP1 00000d71: DUP3 00000d72: SWAP1 00000d73: SUB 00000d74: ADD 00000d75: DUP2 00000d76: PUSH1 0x00 00000d78: DUP8 00000d79: DUP1 00000d7a: EXTCODESIZE 00000d7b: ISZERO 00000d7c: DUP1 00000d7d: ISZERO 00000d7e: PUSH2 0x0d86 00000d81: JUMPI 00000d82: PUSH1 0x00 00000d84: DUP1 00000d85: REVERT 00000d86: JUMPDEST 00000d87: POP 00000d88: GAS 00000d89: CALL 00000d8a: ISZERO 00000d8b: DUP1 00000d8c: ISZERO 00000d8d: PUSH2 0x0d9a 00000d90: JUMPI 00000d91: RETURNDATASIZE 00000d92: PUSH1 0x00 00000d94: DUP1 00000d95: RETURNDATACOPY 00000d96: RETURNDATASIZE 00000d97: PUSH1 0x00 00000d99: REVERT 00000d9a: JUMPDEST 00000d9b: POP 00000d9c: POP 00000d9d: POP 00000d9e: POP 00000d9f: PUSH1 0x40 00000da1: MLOAD 00000da2: RETURNDATASIZE 00000da3: PUSH1 0x20 00000da5: DUP2 00000da6: LT 00000da7: ISZERO 00000da8: PUSH2 0x0db0 00000dab: JUMPI 00000dac: PUSH1 0x00 00000dae: DUP1 00000daf: REVERT 00000db0: JUMPDEST 00000db1: POP 00000db2: MLOAD 00000db3: SWAP5 00000db4: POP 00000db5: PUSH1 0x00 00000db7: DUP6 00000db8: GT 00000db9: DUP1 00000dba: ISZERO 00000dbb: PUSH2 0x0e61 00000dbe: JUMPI 00000dbf: POP 00000dc0: PUSH1 0x01 00000dc2: SLOAD 00000dc3: PUSH1 0x40 00000dc5: DUP1 00000dc6: MLOAD 00000dc7: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000 00000de8: DUP2 00000de9: MSTORE 00000dea: PUSH1 0x01 00000dec: PUSH1 0xa0 00000dee: PUSH1 0x02 00000df0: EXP 00000df1: SUB 00000df2: DUP10 00000df3: DUP2 00000df4: AND 00000df5: PUSH1 0x04 00000df7: DUP4 00000df8: ADD 00000df9: MSTORE 00000dfa: ADDRESS 00000dfb: PUSH1 0x24 00000dfd: DUP4 00000dfe: ADD 00000dff: MSTORE 00000e00: PUSH1 0x44 00000e02: DUP3 00000e03: ADD 00000e04: DUP10 00000e05: SWAP1 00000e06: MSTORE 00000e07: SWAP2 00000e08: MLOAD 00000e09: SWAP2 00000e0a: SWAP1 00000e0b: SWAP3 00000e0c: AND 00000e0d: SWAP2 00000e0e: PUSH4 0x23b872dd 00000e13: SWAP2 00000e14: PUSH1 0x64 00000e16: DUP1 00000e17: DUP4 00000e18: ADD 00000e19: SWAP3 00000e1a: PUSH1 0x20 00000e1c: SWAP3 00000e1d: SWAP2 00000e1e: SWAP1 00000e1f: DUP3 00000e20: SWAP1 00000e21: SUB 00000e22: ADD 00000e23: DUP2 00000e24: PUSH1 0x00 00000e26: DUP8 00000e27: DUP1 00000e28: EXTCODESIZE 00000e29: ISZERO 00000e2a: DUP1 00000e2b: ISZERO 00000e2c: PUSH2 0x0e34 00000e2f: JUMPI 00000e30: PUSH1 0x00 00000e32: DUP1 00000e33: REVERT 00000e34: JUMPDEST 00000e35: POP 00000e36: GAS 00000e37: CALL 00000e38: ISZERO 00000e39: DUP1 00000e3a: ISZERO 00000e3b: PUSH2 0x0e48 00000e3e: JUMPI 00000e3f: RETURNDATASIZE 00000e40: PUSH1 0x00 00000e42: DUP1 00000e43: RETURNDATACOPY 00000e44: RETURNDATASIZE 00000e45: PUSH1 0x00 00000e47: REVERT 00000e48: JUMPDEST 00000e49: POP 00000e4a: POP 00000e4b: POP 00000e4c: POP 00000e4d: PUSH1 0x40 00000e4f: MLOAD 00000e50: RETURNDATASIZE 00000e51: PUSH1 0x20 00000e53: DUP2 00000e54: LT 00000e55: ISZERO 00000e56: PUSH2 0x0e5e 00000e59: JUMPI 00000e5a: PUSH1 0x00 00000e5c: DUP1 00000e5d: REVERT 00000e5e: JUMPDEST 00000e5f: POP 00000e60: MLOAD 00000e61: JUMPDEST 00000e62: ISZERO 00000e63: ISZERO 00000e64: PUSH2 0x0e6c 00000e67: JUMPI 00000e68: PUSH1 0x00 00000e6a: DUP1 00000e6b: REVERT 00000e6c: JUMPDEST 00000e6d: PUSH2 0x0e82 00000e70: PUSH1 0x64 00000e72: PUSH2 0x01b7 00000e75: DUP8 00000e76: PUSH1 0x59 00000e78: PUSH4 0xffffffff 00000e7d: PUSH2 0x08bd 00000e80: AND 00000e81: JUMP 00000e82: JUMPDEST 00000e83: SWAP4 00000e84: POP 00000e85: PUSH2 0x0e9a 00000e88: PUSH1 0x64 00000e8a: PUSH2 0x01b7 00000e8d: DUP8 00000e8e: PUSH1 0x06 00000e90: PUSH4 0xffffffff 00000e95: PUSH2 0x08bd 00000e98: AND 00000e99: JUMP 00000e9a: JUMPDEST 00000e9b: SWAP3 00000e9c: POP 00000e9d: PUSH2 0x0eb2 00000ea0: PUSH1 0x64 00000ea2: PUSH2 0x01b7 00000ea5: DUP8 00000ea6: PUSH1 0x04 00000ea8: PUSH4 0xffffffff 00000ead: PUSH2 0x08bd 00000eb0: AND 00000eb1: JUMP 00000eb2: JUMPDEST 00000eb3: SWAP2 00000eb4: POP 00000eb5: PUSH2 0x0eca 00000eb8: PUSH1 0x64 00000eba: PUSH2 0x01b7 00000ebd: DUP8 00000ebe: PUSH1 0x01 00000ec0: PUSH4 0xffffffff 00000ec5: PUSH2 0x08bd 00000ec8: AND 00000ec9: JUMP 00000eca: JUMPDEST 00000ecb: SWAP1 00000ecc: POP 00000ecd: PUSH2 0x0ed6 00000ed0: DUP4 00000ed1: DUP4 00000ed2: PUSH2 0x16e9 00000ed5: JUMP 00000ed6: JUMPDEST 00000ed7: PUSH1 0x01 00000ed9: SLOAD 00000eda: PUSH1 0x40 00000edc: DUP1 00000edd: MLOAD 00000ede: PUSH1 0xe0 00000ee0: PUSH1 0x02 00000ee2: EXP 00000ee3: PUSH4 0xa9059cbb 00000ee8: MUL 00000ee9: DUP2 00000eea: MSTORE 00000eeb: PUSH1 0x01 00000eed: PUSH1 0xa0 00000eef: PUSH1 0x02 00000ef1: EXP 00000ef2: SUB 00000ef3: DUP12 00000ef4: DUP2 00000ef5: AND 00000ef6: PUSH1 0x04 00000ef8: DUP4 00000ef9: ADD 00000efa: MSTORE 00000efb: PUSH1 0x24 00000efd: DUP3 00000efe: ADD 00000eff: DUP6 00000f00: SWAP1 00000f01: MSTORE 00000f02: SWAP2 00000f03: MLOAD 00000f04: SWAP2 00000f05: SWAP1 00000f06: SWAP3 00000f07: AND 00000f08: SWAP2 00000f09: PUSH4 0xa9059cbb 00000f0e: SWAP2 00000f0f: PUSH1 0x44 00000f11: DUP1 00000f12: DUP4 00000f13: ADD 00000f14: SWAP3 00000f15: PUSH1 0x20 00000f17: SWAP3 00000f18: SWAP2 00000f19: SWAP1 00000f1a: DUP3 00000f1b: SWAP1 00000f1c: SUB 00000f1d: ADD 00000f1e: DUP2 00000f1f: PUSH1 0x00 00000f21: DUP8 00000f22: DUP1 00000f23: EXTCODESIZE 00000f24: ISZERO 00000f25: DUP1 00000f26: ISZERO 00000f27: PUSH2 0x0f2f 00000f2a: JUMPI 00000f2b: PUSH1 0x00 00000f2d: DUP1 00000f2e: REVERT 00000f2f: JUMPDEST 00000f30: POP 00000f31: GAS 00000f32: CALL 00000f33: ISZERO 00000f34: DUP1 00000f35: ISZERO 00000f36: PUSH2 0x0f43 00000f39: JUMPI 00000f3a: RETURNDATASIZE 00000f3b: PUSH1 0x00 00000f3d: DUP1 00000f3e: RETURNDATACOPY 00000f3f: RETURNDATASIZE 00000f40: PUSH1 0x00 00000f42: REVERT 00000f43: JUMPDEST 00000f44: POP 00000f45: POP 00000f46: POP 00000f47: POP 00000f48: PUSH1 0x40 00000f4a: MLOAD 00000f4b: RETURNDATASIZE 00000f4c: PUSH1 0x20 00000f4e: DUP2 00000f4f: LT 00000f50: ISZERO 00000f51: PUSH2 0x0f59 00000f54: JUMPI 00000f55: PUSH1 0x00 00000f57: DUP1 00000f58: REVERT 00000f59: JUMPDEST 00000f5a: POP 00000f5b: POP 00000f5c: PUSH1 0x40 00000f5e: DUP1 00000f5f: MLOAD 00000f60: PUSH1 0x01 00000f62: PUSH1 0xa0 00000f64: PUSH1 0x02 00000f66: EXP 00000f67: SUB 00000f68: DUP11 00000f69: AND 00000f6a: DUP2 00000f6b: MSTORE 00000f6c: PUSH1 0x20 00000f6e: DUP2 00000f6f: ADD 00000f70: DUP4 00000f71: SWAP1 00000f72: MSTORE 00000f73: DUP1 00000f74: DUP3 00000f75: ADD 00000f76: DUP10 00000f77: SWAP1 00000f78: MSTORE 00000f79: SWAP1 00000f7a: MLOAD 00000f7b: PUSH32 0xc804beabd6deef69632486188d3b1a0fc6837d20bf348393884d368fa5bf10cd 00000f9c: SWAP2 00000f9d: DUP2 00000f9e: SWAP1 00000f9f: SUB 00000fa0: PUSH1 0x60 00000fa2: ADD 00000fa3: SWAP1 00000fa4: LOG1 00000fa5: PUSH1 0x01 00000fa7: PUSH1 0xa0 00000fa9: PUSH1 0x02 00000fab: EXP 00000fac: SUB 00000fad: DUP7 00000fae: AND 00000faf: PUSH1 0x00 00000fb1: SWAP1 00000fb2: DUP2 00000fb3: MSTORE 00000fb4: PUSH1 0x03 00000fb6: PUSH1 0x20 00000fb8: MSTORE 00000fb9: PUSH1 0x40 00000fbb: SWAP1 00000fbc: KECCAK256 00000fbd: SLOAD 00000fbe: PUSH2 0x0fcd 00000fc1: SWAP1 00000fc2: DUP6 00000fc3: PUSH4 0xffffffff 00000fc8: PUSH2 0x09aa 00000fcb: AND 00000fcc: JUMP 00000fcd: JUMPDEST 00000fce: PUSH1 0x01 00000fd0: PUSH1 0xa0 00000fd2: PUSH1 0x02 00000fd4: EXP 00000fd5: SUB 00000fd6: DUP8 00000fd7: AND 00000fd8: PUSH1 0x00 00000fda: SWAP1 00000fdb: DUP2 00000fdc: MSTORE 00000fdd: PUSH1 0x03 00000fdf: PUSH1 0x20 00000fe1: SWAP1 00000fe2: DUP2 00000fe3: MSTORE 00000fe4: PUSH1 0x40 00000fe6: DUP1 00000fe7: DUP4 00000fe8: KECCAK256 00000fe9: SWAP4 00000fea: SWAP1 00000feb: SWAP4 00000fec: SSTORE 00000fed: PUSH1 0x04 00000fef: SWAP1 00000ff0: MSTORE 00000ff1: SWAP1 00000ff2: DUP2 00000ff3: KECCAK256 00000ff4: SLOAD 00000ff5: GT 00000ff6: ISZERO 00000ff7: PUSH2 0x1011 00000ffa: JUMPI 00000ffb: PUSH1 0x08 00000ffd: SLOAD 00000ffe: PUSH2 0x100d 00001001: SWAP1 00001002: DUP6 00001003: PUSH4 0xffffffff 00001008: PUSH2 0x09aa 0000100b: AND 0000100c: JUMP 0000100d: JUMPDEST 0000100e: PUSH1 0x08 00001010: SSTORE 00001011: JUMPDEST 00001012: PUSH1 0x01 00001014: PUSH1 0xa0 00001016: PUSH1 0x02 00001018: EXP 00001019: SUB 0000101a: DUP7 0000101b: AND 0000101c: PUSH1 0x00 0000101e: SWAP1 0000101f: DUP2 00001020: MSTORE 00001021: PUSH1 0x02 00001023: PUSH1 0x20 00001025: MSTORE 00001026: PUSH1 0x40 00001028: DUP2 00001029: KECCAK256 0000102a: SLOAD 0000102b: GT 0000102c: ISZERO 0000102d: PUSH2 0x1039 00001030: JUMPI 00001031: PUSH2 0x1039 00001034: DUP7 00001035: PUSH2 0x09bc 00001038: JUMP 00001039: JUMPDEST 0000103a: POP 0000103b: POP 0000103c: POP 0000103d: POP 0000103e: POP 0000103f: POP 00001040: POP 00001041: POP 00001042: JUMP 00001043: JUMPDEST 00001044: PUSH1 0x07 00001046: PUSH1 0x20 00001048: MSTORE 00001049: PUSH1 0x00 0000104b: SWAP1 0000104c: DUP2 0000104d: MSTORE 0000104e: PUSH1 0x40 00001050: SWAP1 00001051: KECCAK256 00001052: SLOAD 00001053: PUSH1 0xff 00001055: AND 00001056: DUP2 00001057: JUMP 00001058: JUMPDEST 00001059: PUSH1 0x0e 0000105b: SLOAD 0000105c: DUP2 0000105d: JUMP 0000105e: JUMPDEST 0000105f: PUSH1 0x00 00001061: SLOAD 00001062: PUSH1 0x01 00001064: PUSH1 0xa0 00001066: PUSH1 0x02 00001068: EXP 00001069: SUB 0000106a: AND 0000106b: DUP2 0000106c: JUMP 0000106d: JUMPDEST 0000106e: PUSH1 0x60 00001070: DUP1 00001071: PUSH1 0x60 00001073: DUP1 00001074: PUSH1 0x00 00001076: PUSH1 0x06 00001078: SLOAD 00001079: PUSH1 0x40 0000107b: MLOAD 0000107c: SWAP1 0000107d: DUP1 0000107e: DUP3 0000107f: MSTORE 00001080: DUP1 00001081: PUSH1 0x20 00001083: MUL 00001084: PUSH1 0x20 00001086: ADD 00001087: DUP3 00001088: ADD 00001089: PUSH1 0x40 0000108b: MSTORE 0000108c: DUP1 0000108d: ISZERO 0000108e: PUSH2 0x10a1 00001091: JUMPI 00001092: DUP2 00001093: PUSH1 0x20 00001095: ADD 00001096: PUSH1 0x20 00001098: DUP3 00001099: MUL 0000109a: DUP1 0000109b: CODESIZE 0000109c: DUP4 0000109d: CODECOPY 0000109e: ADD 0000109f: SWAP1 000010a0: POP 000010a1: JUMPDEST 000010a2: POP 000010a3: SWAP3 000010a4: POP 000010a5: PUSH1 0x06 000010a7: SLOAD 000010a8: PUSH1 0x40 000010aa: MLOAD 000010ab: SWAP1 000010ac: DUP1 000010ad: DUP3 000010ae: MSTORE 000010af: DUP1 000010b0: PUSH1 0x20 000010b2: MUL 000010b3: PUSH1 0x20 000010b5: ADD 000010b6: DUP3 000010b7: ADD 000010b8: PUSH1 0x40 000010ba: MSTORE 000010bb: DUP1 000010bc: ISZERO 000010bd: PUSH2 0x10d0 000010c0: JUMPI 000010c1: DUP2 000010c2: PUSH1 0x20 000010c4: ADD 000010c5: PUSH1 0x20 000010c7: DUP3 000010c8: MUL 000010c9: DUP1 000010ca: CODESIZE 000010cb: DUP4 000010cc: CODECOPY 000010cd: ADD 000010ce: SWAP1 000010cf: POP 000010d0: JUMPDEST 000010d1: POP 000010d2: SWAP2 000010d3: POP 000010d4: PUSH1 0x01 000010d6: SWAP1 000010d7: POP 000010d8: JUMPDEST 000010d9: PUSH1 0x06 000010db: SLOAD 000010dc: DUP2 000010dd: GT 000010de: PUSH2 0x1166 000010e1: JUMPI 000010e2: PUSH1 0x00 000010e4: DUP2 000010e5: DUP2 000010e6: MSTORE 000010e7: PUSH1 0x05 000010e9: PUSH1 0x20 000010eb: MSTORE 000010ec: PUSH1 0x40 000010ee: SWAP1 000010ef: KECCAK256 000010f0: SLOAD 000010f1: DUP4 000010f2: MLOAD 000010f3: PUSH1 0x01 000010f5: PUSH1 0xa0 000010f7: PUSH1 0x02 000010f9: EXP 000010fa: SUB 000010fb: SWAP1 000010fc: SWAP2 000010fd: AND 000010fe: SWAP1 000010ff: DUP5 00001100: SWAP1 00001101: PUSH1 0x00 00001103: NOT 00001104: DUP5 00001105: ADD 00001106: SWAP1 00001107: DUP2 00001108: LT 00001109: PUSH2 0x110e 0000110c: JUMPI 0000110d: INVALID 0000110e: JUMPDEST 0000110f: PUSH1 0x01 00001111: PUSH1 0xa0 00001113: PUSH1 0x02 00001115: EXP 00001116: SUB 00001117: SWAP3 00001118: DUP4 00001119: AND 0000111a: PUSH1 0x20 0000111c: SWAP2 0000111d: DUP3 0000111e: MUL 0000111f: SWAP1 00001120: SWAP3 00001121: ADD 00001122: DUP2 00001123: ADD 00001124: SWAP2 00001125: SWAP1 00001126: SWAP2 00001127: MSTORE 00001128: PUSH1 0x00 0000112a: DUP4 0000112b: DUP2 0000112c: MSTORE 0000112d: PUSH1 0x05 0000112f: DUP3 00001130: MSTORE 00001131: PUSH1 0x40 00001133: DUP1 00001134: DUP3 00001135: KECCAK256 00001136: SLOAD 00001137: SWAP1 00001138: SWAP4 00001139: AND 0000113a: DUP2 0000113b: MSTORE 0000113c: PUSH1 0x03 0000113e: SWAP1 0000113f: SWAP2 00001140: MSTORE 00001141: KECCAK256 00001142: SLOAD 00001143: DUP3 00001144: MLOAD 00001145: DUP4 00001146: SWAP1 00001147: PUSH1 0x00 00001149: NOT 0000114a: DUP5 0000114b: ADD 0000114c: SWAP1 0000114d: DUP2 0000114e: LT 0000114f: PUSH2 0x1154 00001152: JUMPI 00001153: INVALID 00001154: JUMPDEST 00001155: PUSH1 0x20 00001157: SWAP1 00001158: DUP2 00001159: MUL 0000115a: SWAP1 0000115b: SWAP2 0000115c: ADD 0000115d: ADD 0000115e: MSTORE 0000115f: PUSH1 0x01 00001161: ADD 00001162: PUSH2 0x10d8 00001165: JUMP 00001166: JUMPDEST 00001167: POP 00001168: SWAP1 00001169: SWAP4 0000116a: SWAP1 0000116b: SWAP3 0000116c: POP 0000116d: SWAP1 0000116e: POP 0000116f: JUMP 00001170: JUMPDEST 00001171: PUSH2 0x1179 00001174: CALLER 00001175: PUSH2 0x0708 00001178: JUMP 00001179: JUMPDEST 0000117a: JUMP 0000117b: JUMPDEST 0000117c: PUSH1 0x12 0000117e: SLOAD 0000117f: DUP2 00001180: JUMP 00001181: JUMPDEST 00001182: CALLER 00001183: PUSH1 0x00 00001185: DUP1 00001186: DUP1 00001187: DUP1 00001188: DUP1 00001189: DUP7 0000118a: GT 0000118b: DUP1 0000118c: ISZERO 0000118d: PUSH2 0x11ae 00001190: JUMPI 00001191: POP 00001192: PUSH1 0x01 00001194: PUSH1 0xa0 00001196: PUSH1 0x02 00001198: EXP 00001199: SUB 0000119a: DUP6 0000119b: AND 0000119c: PUSH1 0x00 0000119e: SWAP1 0000119f: DUP2 000011a0: MSTORE 000011a1: PUSH1 0x02 000011a3: PUSH1 0x20 000011a5: MSTORE 000011a6: PUSH1 0x40 000011a8: SWAP1 000011a9: KECCAK256 000011aa: SLOAD 000011ab: DUP7 000011ac: GT 000011ad: ISZERO 000011ae: JUMPDEST 000011af: ISZERO 000011b0: ISZERO 000011b1: PUSH2 0x11b9 000011b4: JUMPI 000011b5: PUSH1 0x00 000011b7: DUP1 000011b8: REVERT 000011b9: JUMPDEST 000011ba: PUSH2 0x11c2 000011bd: DUP6 000011be: PUSH2 0x0708 000011c1: JUMP 000011c2: JUMPDEST 000011c3: PUSH2 0x11d8 000011c6: PUSH1 0x64 000011c8: PUSH2 0x01b7 000011cb: DUP9 000011cc: PUSH1 0x59 000011ce: PUSH4 0xffffffff 000011d3: PUSH2 0x08bd 000011d6: AND 000011d7: JUMP 000011d8: JUMPDEST 000011d9: SWAP4 000011da: POP 000011db: PUSH2 0x11f0 000011de: PUSH1 0x64 000011e0: PUSH2 0x01b7 000011e3: DUP9 000011e4: PUSH1 0x06 000011e6: PUSH4 0xffffffff 000011eb: PUSH2 0x08bd 000011ee: AND 000011ef: JUMP 000011f0: JUMPDEST 000011f1: SWAP3 000011f2: POP 000011f3: PUSH2 0x1208 000011f6: PUSH1 0x64 000011f8: PUSH2 0x01b7 000011fb: DUP9 000011fc: PUSH1 0x04 000011fe: PUSH4 0xffffffff 00001203: PUSH2 0x08bd 00001206: AND 00001207: JUMP 00001208: JUMPDEST 00001209: SWAP2 0000120a: POP 0000120b: PUSH2 0x1220 0000120e: PUSH1 0x64 00001210: PUSH2 0x01b7 00001213: DUP9 00001214: PUSH1 0x01 00001216: PUSH4 0xffffffff 0000121b: PUSH2 0x08bd 0000121e: AND 0000121f: JUMP 00001220: JUMPDEST 00001221: PUSH1 0x01 00001223: PUSH1 0xa0 00001225: PUSH1 0x02 00001227: EXP 00001228: SUB 00001229: DUP7 0000122a: AND 0000122b: PUSH1 0x00 0000122d: SWAP1 0000122e: DUP2 0000122f: MSTORE 00001230: PUSH1 0x02 00001232: PUSH1 0x20 00001234: MSTORE 00001235: PUSH1 0x40 00001237: SWAP1 00001238: KECCAK256 00001239: SLOAD 0000123a: SWAP1 0000123b: SWAP2 0000123c: POP 0000123d: PUSH2 0x124c 00001240: SWAP1 00001241: DUP8 00001242: PUSH4 0xffffffff 00001247: PUSH2 0x16d2 0000124a: AND 0000124b: JUMP 0000124c: JUMPDEST 0000124d: PUSH1 0x01 0000124f: PUSH1 0xa0 00001251: PUSH1 0x02 00001253: EXP 00001254: SUB 00001255: DUP7 00001256: AND 00001257: PUSH1 0x00 00001259: SWAP1 0000125a: DUP2 0000125b: MSTORE 0000125c: PUSH1 0x02 0000125e: PUSH1 0x20 00001260: SWAP1 00001261: DUP2 00001262: MSTORE 00001263: PUSH1 0x40 00001265: DUP1 00001266: DUP4 00001267: KECCAK256 00001268: SWAP4 00001269: SWAP1 0000126a: SWAP4 0000126b: SSTORE 0000126c: PUSH1 0x04 0000126e: SWAP1 0000126f: MSTORE 00001270: SWAP1 00001271: DUP2 00001272: KECCAK256 00001273: SLOAD 00001274: GT 00001275: ISZERO 00001276: PUSH2 0x1290 00001279: JUMPI 0000127a: PUSH1 0x09 0000127c: SLOAD 0000127d: PUSH2 0x128c 00001280: SWAP1 00001281: DUP8 00001282: PUSH4 0xffffffff 00001287: PUSH2 0x16d2 0000128a: AND 0000128b: JUMP 0000128c: JUMPDEST 0000128d: PUSH1 0x09 0000128f: SSTORE 00001290: JUMPDEST 00001291: PUSH1 0x01 00001293: PUSH1 0xa0 00001295: PUSH1 0x02 00001297: EXP 00001298: SUB 00001299: DUP6 0000129a: AND 0000129b: PUSH1 0x00 0000129d: SWAP1 0000129e: DUP2 0000129f: MSTORE 000012a0: PUSH1 0x02 000012a2: PUSH1 0x20 000012a4: MSTORE 000012a5: PUSH1 0x40 000012a7: SWAP1 000012a8: KECCAK256 000012a9: SLOAD 000012aa: ISZERO 000012ab: ISZERO 000012ac: PUSH2 0x12b8 000012af: JUMPI 000012b0: PUSH2 0x12b8 000012b3: DUP6 000012b4: PUSH2 0x1779 000012b7: JUMP 000012b8: JUMPDEST 000012b9: PUSH1 0x40 000012bb: MLOAD 000012bc: PUSH1 0x01 000012be: PUSH1 0xa0 000012c0: PUSH1 0x02 000012c2: EXP 000012c3: SUB 000012c4: DUP7 000012c5: AND 000012c6: SWAP1 000012c7: DUP6 000012c8: ISZERO 000012c9: PUSH2 0x08fc 000012cc: MUL 000012cd: SWAP1 000012ce: DUP7 000012cf: SWAP1 000012d0: PUSH1 0x00 000012d2: DUP2 000012d3: DUP2 000012d4: DUP2 000012d5: DUP6 000012d6: DUP9 000012d7: DUP9 000012d8: CALL 000012d9: SWAP4 000012da: POP 000012db: POP 000012dc: POP 000012dd: POP 000012de: ISZERO 000012df: DUP1 000012e0: ISZERO 000012e1: PUSH2 0x12ee 000012e4: JUMPI 000012e5: RETURNDATASIZE 000012e6: PUSH1 0x00 000012e8: DUP1 000012e9: RETURNDATACOPY 000012ea: RETURNDATASIZE 000012eb: PUSH1 0x00 000012ed: REVERT 000012ee: JUMPDEST 000012ef: POP 000012f0: PUSH2 0x12f9 000012f3: DUP4 000012f4: DUP4 000012f5: PUSH2 0x0919 000012f8: JUMP 000012f9: JUMPDEST 000012fa: PUSH1 0x00 000012fc: DUP1 000012fd: SLOAD 000012fe: PUSH1 0x40 00001300: MLOAD 00001301: PUSH1 0x01 00001303: PUSH1 0xa0 00001305: PUSH1 0x02 00001307: EXP 00001308: SUB 00001309: SWAP1 0000130a: SWAP2 0000130b: AND 0000130c: SWAP2 0000130d: DUP4 0000130e: ISZERO 0000130f: PUSH2 0x08fc 00001312: MUL 00001313: SWAP2 00001314: DUP5 00001315: SWAP2 00001316: DUP2 00001317: DUP2 00001318: DUP2 00001319: DUP6 0000131a: DUP9 0000131b: DUP9 0000131c: CALL 0000131d: SWAP4 0000131e: POP 0000131f: POP 00001320: POP 00001321: POP 00001322: ISZERO 00001323: DUP1 00001324: ISZERO 00001325: PUSH2 0x1332 00001328: JUMPI 00001329: RETURNDATASIZE 0000132a: PUSH1 0x00 0000132c: DUP1 0000132d: RETURNDATACOPY 0000132e: RETURNDATASIZE 0000132f: PUSH1 0x00 00001331: REVERT 00001332: JUMPDEST 00001333: POP 00001334: POP 00001335: POP 00001336: POP 00001337: POP 00001338: POP 00001339: POP 0000133a: JUMP 0000133b: JUMPDEST 0000133c: PUSH1 0x02 0000133e: PUSH1 0x20 00001340: MSTORE 00001341: PUSH1 0x00 00001343: SWAP1 00001344: DUP2 00001345: MSTORE 00001346: PUSH1 0x40 00001348: SWAP1 00001349: KECCAK256 0000134a: SLOAD 0000134b: DUP2 0000134c: JUMP 0000134d: JUMPDEST 0000134e: PUSH1 0x0d 00001350: PUSH1 0x20 00001352: MSTORE 00001353: PUSH1 0x00 00001355: SWAP1 00001356: DUP2 00001357: MSTORE 00001358: PUSH1 0x40 0000135a: SWAP1 0000135b: KECCAK256 0000135c: SLOAD 0000135d: DUP2 0000135e: JUMP 0000135f: JUMPDEST 00001360: PUSH1 0x11 00001362: PUSH1 0x20 00001364: MSTORE 00001365: PUSH1 0x00 00001367: SWAP1 00001368: DUP2 00001369: MSTORE 0000136a: PUSH1 0x40 0000136c: SWAP1 0000136d: KECCAK256 0000136e: SLOAD 0000136f: DUP2 00001370: JUMP 00001371: JUMPDEST 00001372: PUSH1 0x10 00001374: SLOAD 00001375: DUP2 00001376: JUMP 00001377: JUMPDEST 00001378: PUSH1 0x05 0000137a: PUSH1 0x20 0000137c: MSTORE 0000137d: PUSH1 0x00 0000137f: SWAP1 00001380: DUP2 00001381: MSTORE 00001382: PUSH1 0x40 00001384: SWAP1 00001385: KECCAK256 00001386: SLOAD 00001387: PUSH1 0x01 00001389: PUSH1 0xa0 0000138b: PUSH1 0x02 0000138d: EXP 0000138e: SUB 0000138f: AND 00001390: DUP2 00001391: JUMP 00001392: JUMPDEST 00001393: PUSH1 0x08 00001395: SLOAD 00001396: SWAP1 00001397: JUMP 00001398: JUMPDEST 00001399: PUSH1 0x00 0000139b: SLOAD 0000139c: PUSH1 0x01 0000139e: PUSH1 0xa0 000013a0: PUSH1 0x02 000013a2: EXP 000013a3: SUB 000013a4: AND 000013a5: CALLER 000013a6: EQ 000013a7: PUSH2 0x13af 000013aa: JUMPI 000013ab: PUSH1 0x00 000013ad: DUP1 000013ae: REVERT 000013af: JUMPDEST 000013b0: PUSH1 0x01 000013b2: PUSH1 0xa0 000013b4: PUSH1 0x02 000013b6: EXP 000013b7: SUB 000013b8: DUP2 000013b9: AND 000013ba: ISZERO 000013bb: ISZERO 000013bc: PUSH2 0x13c4 000013bf: JUMPI 000013c0: PUSH1 0x00 000013c2: DUP1 000013c3: REVERT 000013c4: JUMPDEST 000013c5: PUSH1 0x00 000013c7: DUP1 000013c8: SLOAD 000013c9: PUSH1 0x40 000013cb: MLOAD 000013cc: PUSH1 0x01 000013ce: PUSH1 0xa0 000013d0: PUSH1 0x02 000013d2: EXP 000013d3: SUB 000013d4: DUP1 000013d5: DUP6 000013d6: AND 000013d7: SWAP4 000013d8: SWAP3 000013d9: AND 000013da: SWAP2 000013db: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000013fc: SWAP2 000013fd: LOG3 000013fe: PUSH1 0x00 00001400: DUP1 00001401: SLOAD 00001402: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001417: NOT 00001418: AND 00001419: PUSH1 0x01 0000141b: PUSH1 0xa0 0000141d: PUSH1 0x02 0000141f: EXP 00001420: SUB 00001421: SWAP3 00001422: SWAP1 00001423: SWAP3 00001424: AND 00001425: SWAP2 00001426: SWAP1 00001427: SWAP2 00001428: OR 00001429: SWAP1 0000142a: SSTORE 0000142b: JUMP 0000142c: JUMPDEST 0000142d: PUSH1 0x06 0000142f: SLOAD 00001430: DUP2 00001431: JUMP 00001432: JUMPDEST 00001433: CALLER 00001434: PUSH1 0x00 00001436: DUP1 00001437: DUP1 00001438: DUP1 00001439: PUSH2 0x1441 0000143c: DUP6 0000143d: PUSH2 0x0708 00001440: JUMP 00001441: JUMPDEST 00001442: PUSH1 0x00 00001444: DUP9 00001445: GT 00001446: DUP1 00001447: ISZERO 00001448: PUSH2 0x1469 0000144b: JUMPI 0000144c: POP 0000144d: PUSH1 0x01 0000144f: PUSH1 0xa0 00001451: PUSH1 0x02 00001453: EXP 00001454: SUB 00001455: DUP6 00001456: AND 00001457: PUSH1 0x00 00001459: SWAP1 0000145a: DUP2 0000145b: MSTORE 0000145c: PUSH1 0x03 0000145e: PUSH1 0x20 00001460: MSTORE 00001461: PUSH1 0x40 00001463: SWAP1 00001464: KECCAK256 00001465: SLOAD 00001466: DUP9 00001467: GT 00001468: ISZERO 00001469: JUMPDEST 0000146a: ISZERO 0000146b: ISZERO 0000146c: PUSH2 0x1474 0000146f: JUMPI 00001470: PUSH1 0x00 00001472: DUP1 00001473: REVERT 00001474: JUMPDEST 00001475: PUSH2 0x148a 00001478: PUSH1 0x64 0000147a: PUSH2 0x01b7 0000147d: DUP11 0000147e: PUSH1 0x59 00001480: PUSH4 0xffffffff 00001485: PUSH2 0x08bd 00001488: AND 00001489: JUMP 0000148a: JUMPDEST 0000148b: SWAP4 0000148c: POP 0000148d: PUSH2 0x14a2 00001490: PUSH1 0x64 00001492: PUSH2 0x01b7 00001495: DUP11 00001496: PUSH1 0x06 00001498: PUSH4 0xffffffff 0000149d: PUSH2 0x08bd 000014a0: AND 000014a1: JUMP 000014a2: JUMPDEST 000014a3: SWAP3 000014a4: POP 000014a5: PUSH2 0x14ba 000014a8: PUSH1 0x64 000014aa: PUSH2 0x01b7 000014ad: DUP11 000014ae: PUSH1 0x04 000014b0: PUSH4 0xffffffff 000014b5: PUSH2 0x08bd 000014b8: AND 000014b9: JUMP 000014ba: JUMPDEST 000014bb: SWAP2 000014bc: POP 000014bd: PUSH2 0x14d2 000014c0: PUSH1 0x64 000014c2: PUSH2 0x01b7 000014c5: DUP11 000014c6: PUSH1 0x01 000014c8: PUSH4 0xffffffff 000014cd: PUSH2 0x08bd 000014d0: AND 000014d1: JUMP 000014d2: JUMPDEST 000014d3: PUSH1 0x01 000014d5: PUSH1 0xa0 000014d7: PUSH1 0x02 000014d9: EXP 000014da: SUB 000014db: DUP7 000014dc: AND 000014dd: PUSH1 0x00 000014df: SWAP1 000014e0: DUP2 000014e1: MSTORE 000014e2: PUSH1 0x03 000014e4: PUSH1 0x20 000014e6: MSTORE 000014e7: PUSH1 0x40 000014e9: SWAP1 000014ea: KECCAK256 000014eb: SLOAD 000014ec: SWAP1 000014ed: SWAP2 000014ee: POP 000014ef: PUSH2 0x14fe 000014f2: SWAP1 000014f3: DUP10 000014f4: PUSH4 0xffffffff 000014f9: PUSH2 0x16d2 000014fc: AND 000014fd: JUMP 000014fe: JUMPDEST 000014ff: PUSH1 0x01 00001501: PUSH1 0xa0 00001503: PUSH1 0x02 00001505: EXP 00001506: SUB 00001507: DUP7 00001508: AND 00001509: PUSH1 0x00 0000150b: SWAP1 0000150c: DUP2 0000150d: MSTORE 0000150e: PUSH1 0x03 00001510: PUSH1 0x20 00001512: SWAP1 00001513: DUP2 00001514: MSTORE 00001515: PUSH1 0x40 00001517: DUP1 00001518: DUP4 00001519: KECCAK256 0000151a: SWAP4 0000151b: SWAP1 0000151c: SWAP4 0000151d: SSTORE 0000151e: PUSH1 0x04 00001520: SWAP1 00001521: MSTORE 00001522: SWAP1 00001523: DUP2 00001524: KECCAK256 00001525: SLOAD 00001526: GT 00001527: ISZERO 00001528: PUSH2 0x1542 0000152b: JUMPI 0000152c: PUSH1 0x08 0000152e: SLOAD 0000152f: PUSH2 0x153e 00001532: SWAP1 00001533: DUP10 00001534: PUSH4 0xffffffff 00001539: PUSH2 0x16d2 0000153c: AND 0000153d: JUMP 0000153e: JUMPDEST 0000153f: PUSH1 0x08 00001541: SSTORE 00001542: JUMPDEST 00001543: PUSH1 0x01 00001545: PUSH1 0xa0 00001547: PUSH1 0x02 00001549: EXP 0000154a: SUB 0000154b: DUP6 0000154c: AND 0000154d: PUSH1 0x00 0000154f: SWAP1 00001550: DUP2 00001551: MSTORE 00001552: PUSH1 0x03 00001554: PUSH1 0x20 00001556: MSTORE 00001557: PUSH1 0x40 00001559: SWAP1 0000155a: KECCAK256 0000155b: SLOAD 0000155c: ISZERO 0000155d: ISZERO 0000155e: PUSH2 0x156a 00001561: JUMPI 00001562: PUSH2 0x156a 00001565: DUP6 00001566: PUSH2 0x1779 00001569: JUMP 0000156a: JUMPDEST 0000156b: PUSH1 0x01 0000156d: SLOAD 0000156e: PUSH1 0x40 00001570: DUP1 00001571: MLOAD 00001572: PUSH1 0xe0 00001574: PUSH1 0x02 00001576: EXP 00001577: PUSH4 0xa9059cbb 0000157c: MUL 0000157d: DUP2 0000157e: MSTORE 0000157f: PUSH1 0x01 00001581: PUSH1 0xa0 00001583: PUSH1 0x02 00001585: EXP 00001586: SUB 00001587: DUP9 00001588: DUP2 00001589: AND 0000158a: PUSH1 0x04 0000158c: DUP4 0000158d: ADD 0000158e: MSTORE 0000158f: PUSH1 0x24 00001591: DUP3 00001592: ADD 00001593: DUP9 00001594: SWAP1 00001595: MSTORE 00001596: SWAP2 00001597: MLOAD 00001598: SWAP2 00001599: SWAP1 0000159a: SWAP3 0000159b: AND 0000159c: SWAP2 0000159d: PUSH4 0xa9059cbb 000015a2: SWAP2 000015a3: PUSH1 0x44 000015a5: DUP1 000015a6: DUP4 000015a7: ADD 000015a8: SWAP3 000015a9: PUSH1 0x20 000015ab: SWAP3 000015ac: SWAP2 000015ad: SWAP1 000015ae: DUP3 000015af: SWAP1 000015b0: SUB 000015b1: ADD 000015b2: DUP2 000015b3: PUSH1 0x00 000015b5: DUP8 000015b6: DUP1 000015b7: EXTCODESIZE 000015b8: ISZERO 000015b9: DUP1 000015ba: ISZERO 000015bb: PUSH2 0x15c3 000015be: JUMPI 000015bf: PUSH1 0x00 000015c1: DUP1 000015c2: REVERT 000015c3: JUMPDEST 000015c4: POP 000015c5: GAS 000015c6: CALL 000015c7: ISZERO 000015c8: DUP1 000015c9: ISZERO 000015ca: PUSH2 0x15d7 000015cd: JUMPI 000015ce: RETURNDATASIZE 000015cf: PUSH1 0x00 000015d1: DUP1 000015d2: RETURNDATACOPY 000015d3: RETURNDATASIZE 000015d4: PUSH1 0x00 000015d6: REVERT 000015d7: JUMPDEST 000015d8: POP 000015d9: POP 000015da: POP 000015db: POP 000015dc: PUSH1 0x40 000015de: MLOAD 000015df: RETURNDATASIZE 000015e0: PUSH1 0x20 000015e2: DUP2 000015e3: LT 000015e4: ISZERO 000015e5: PUSH2 0x15ed 000015e8: JUMPI 000015e9: PUSH1 0x00 000015eb: DUP1 000015ec: REVERT 000015ed: JUMPDEST 000015ee: POP 000015ef: PUSH2 0x15fa 000015f2: SWAP1 000015f3: POP 000015f4: DUP4 000015f5: DUP4 000015f6: PUSH2 0x16e9 000015f9: JUMP 000015fa: JUMPDEST 000015fb: PUSH1 0x01 000015fd: SLOAD 000015fe: PUSH1 0x40 00001600: DUP1 00001601: MLOAD 00001602: PUSH1 0xe0 00001604: PUSH1 0x02 00001606: EXP 00001607: PUSH4 0xa9059cbb 0000160c: MUL 0000160d: DUP2 0000160e: MSTORE 0000160f: PUSH1 0x01 00001611: PUSH1 0xa0 00001613: PUSH1 0x02 00001615: EXP 00001616: SUB 00001617: DUP11 00001618: DUP2 00001619: AND 0000161a: PUSH1 0x04 0000161c: DUP4 0000161d: ADD 0000161e: MSTORE 0000161f: PUSH1 0x24 00001621: DUP3 00001622: ADD 00001623: DUP6 00001624: SWAP1 00001625: MSTORE 00001626: SWAP2 00001627: MLOAD 00001628: SWAP2 00001629: SWAP1 0000162a: SWAP3 0000162b: AND 0000162c: SWAP2 0000162d: PUSH4 0xa9059cbb 00001632: SWAP2 00001633: PUSH1 0x44 00001635: DUP1 00001636: DUP4 00001637: ADD 00001638: SWAP3 00001639: PUSH1 0x20 0000163b: SWAP3 0000163c: SWAP2 0000163d: SWAP1 0000163e: DUP3 0000163f: SWAP1 00001640: SUB 00001641: ADD 00001642: DUP2 00001643: PUSH1 0x00 00001645: DUP8 00001646: DUP1 00001647: EXTCODESIZE 00001648: ISZERO 00001649: DUP1 0000164a: ISZERO 0000164b: PUSH2 0x1653 0000164e: JUMPI 0000164f: PUSH1 0x00 00001651: DUP1 00001652: REVERT 00001653: JUMPDEST 00001654: POP 00001655: GAS 00001656: CALL 00001657: ISZERO 00001658: DUP1 00001659: ISZERO 0000165a: PUSH2 0x1667 0000165d: JUMPI 0000165e: RETURNDATASIZE 0000165f: PUSH1 0x00 00001661: DUP1 00001662: RETURNDATACOPY 00001663: RETURNDATASIZE 00001664: PUSH1 0x00 00001666: REVERT 00001667: JUMPDEST 00001668: POP 00001669: POP 0000166a: POP 0000166b: POP 0000166c: PUSH1 0x40 0000166e: MLOAD 0000166f: RETURNDATASIZE 00001670: PUSH1 0x20 00001672: DUP2 00001673: LT 00001674: ISZERO 00001675: PUSH2 0x167d 00001678: JUMPI 00001679: PUSH1 0x00 0000167b: DUP1 0000167c: REVERT 0000167d: JUMPDEST 0000167e: POP 0000167f: POP 00001680: PUSH1 0x40 00001682: DUP1 00001683: MLOAD 00001684: PUSH1 0x01 00001686: PUSH1 0xa0 00001688: PUSH1 0x02 0000168a: EXP 0000168b: SUB 0000168c: DUP10 0000168d: AND 0000168e: DUP2 0000168f: MSTORE 00001690: PUSH1 0x20 00001692: DUP2 00001693: ADD 00001694: DUP4 00001695: SWAP1 00001696: MSTORE 00001697: DUP1 00001698: DUP3 00001699: ADD 0000169a: DUP9 0000169b: SWAP1 0000169c: MSTORE 0000169d: SWAP1 0000169e: MLOAD 0000169f: PUSH32 0xc804beabd6deef69632486188d3b1a0fc6837d20bf348393884d368fa5bf10cd 000016c0: SWAP2 000016c1: DUP2 000016c2: SWAP1 000016c3: SUB 000016c4: PUSH1 0x60 000016c6: ADD 000016c7: SWAP1 000016c8: LOG1 000016c9: POP 000016ca: POP 000016cb: POP 000016cc: POP 000016cd: POP 000016ce: POP 000016cf: POP 000016d0: POP 000016d1: JUMP 000016d2: JUMPDEST 000016d3: PUSH1 0x00 000016d5: DUP1 000016d6: DUP4 000016d7: DUP4 000016d8: GT 000016d9: ISZERO 000016da: PUSH2 0x16e2 000016dd: JUMPI 000016de: PUSH1 0x00 000016e0: DUP1 000016e1: REVERT 000016e2: JUMPDEST 000016e3: POP 000016e4: POP 000016e5: SWAP1 000016e6: SUB 000016e7: SWAP1 000016e8: JUMP 000016e9: JUMPDEST 000016ea: PUSH1 0x00 000016ec: DUP1 000016ed: PUSH2 0x16f4 000016f0: PUSH2 0x1392 000016f3: JUMP 000016f4: JUMPDEST 000016f5: SWAP2 000016f6: POP 000016f7: PUSH2 0x16fe 000016fa: PUSH2 0x0ab9 000016fd: JUMP 000016fe: JUMPDEST 000016ff: SWAP1 00001700: POP 00001701: DUP1 00001702: ISZERO 00001703: DUP1 00001704: PUSH2 0x170b 00001707: JUMPI 00001708: POP 00001709: DUP2 0000170a: ISZERO 0000170b: JUMPDEST 0000170c: ISZERO 0000170d: PUSH2 0x1715 00001710: JUMPI 00001711: PUSH2 0x09a4 00001714: JUMP 00001715: JUMPDEST 00001716: PUSH2 0x1740 00001719: PUSH2 0x1731 0000171c: DUP3 0000171d: PUSH2 0x01b7 00001720: PUSH1 0x0a 00001722: SLOAD 00001723: DUP8 00001724: PUSH2 0x08bd 00001727: SWAP1 00001728: SWAP2 00001729: SWAP1 0000172a: PUSH4 0xffffffff 0000172f: AND 00001730: JUMP 00001731: JUMPDEST 00001732: PUSH1 0x12 00001734: SLOAD 00001735: SWAP1 00001736: PUSH4 0xffffffff 0000173b: PUSH2 0x09aa 0000173e: AND 0000173f: JUMP 00001740: JUMPDEST 00001741: PUSH1 0x12 00001743: SSTORE 00001744: PUSH1 0x0a 00001746: SLOAD 00001747: PUSH2 0x1770 0000174a: SWAP1 0000174b: PUSH2 0x1761 0000174e: SWAP1 0000174f: DUP5 00001750: SWAP1 00001751: PUSH2 0x01b7 00001754: SWAP1 00001755: DUP9 00001756: SWAP1 00001757: PUSH4 0xffffffff 0000175c: PUSH2 0x08bd 0000175f: AND 00001760: JUMP 00001761: JUMPDEST 00001762: PUSH1 0x10 00001764: SLOAD 00001765: SWAP1 00001766: PUSH4 0xffffffff 0000176b: PUSH2 0x09aa 0000176e: AND 0000176f: JUMP 00001770: JUMPDEST 00001771: PUSH1 0x10 00001773: SSTORE 00001774: POP 00001775: POP 00001776: POP 00001777: POP 00001778: JUMP 00001779: JUMPDEST 0000177a: PUSH1 0x01 0000177c: PUSH1 0xa0 0000177e: PUSH1 0x02 00001780: EXP 00001781: SUB 00001782: DUP2 00001783: AND 00001784: PUSH1 0x00 00001786: SWAP1 00001787: DUP2 00001788: MSTORE 00001789: PUSH1 0x07 0000178b: PUSH1 0x20 0000178d: SWAP1 0000178e: DUP2 0000178f: MSTORE 00001790: PUSH1 0x40 00001792: DUP1 00001793: DUP4 00001794: KECCAK256 00001795: DUP1 00001796: SLOAD 00001797: PUSH1 0xff 00001799: NOT 0000179a: AND 0000179b: SWAP1 0000179c: SSTORE 0000179d: PUSH1 0x04 0000179f: SWAP1 000017a0: SWAP2 000017a1: MSTORE 000017a2: DUP2 000017a3: KECCAK256 000017a4: SLOAD 000017a5: GT 000017a6: ISZERO 000017a7: PUSH2 0x0a9e 000017aa: JUMPI 000017ab: PUSH1 0x01 000017ad: PUSH1 0xa0 000017af: PUSH1 0x02 000017b1: EXP 000017b2: SUB 000017b3: DUP2 000017b4: AND 000017b5: PUSH1 0x00 000017b7: SWAP1 000017b8: DUP2 000017b9: MSTORE 000017ba: PUSH1 0x03 000017bc: PUSH1 0x20 000017be: MSTORE 000017bf: PUSH1 0x40 000017c1: SWAP1 000017c2: KECCAK256 000017c3: SLOAD 000017c4: PUSH1 0x08 000017c6: SLOAD 000017c7: PUSH2 0x17d5 000017ca: SWAP2 000017cb: PUSH4 0xffffffff 000017d0: PUSH2 0x16d2 000017d3: AND 000017d4: JUMP 000017d5: JUMPDEST 000017d6: PUSH1 0x08 000017d8: SSTORE 000017d9: PUSH1 0x01 000017db: PUSH1 0xa0 000017dd: PUSH1 0x02 000017df: EXP 000017e0: SUB 000017e1: DUP2 000017e2: AND 000017e3: PUSH1 0x00 000017e5: SWAP1 000017e6: DUP2 000017e7: MSTORE 000017e8: PUSH1 0x02 000017ea: PUSH1 0x20 000017ec: MSTORE 000017ed: PUSH1 0x40 000017ef: SWAP1 000017f0: KECCAK256 000017f1: SLOAD 000017f2: PUSH1 0x09 000017f4: SLOAD 000017f5: PUSH2 0x1803 000017f8: SWAP2 000017f9: PUSH4 0xffffffff 000017fe: PUSH2 0x16d2 00001801: AND 00001802: JUMP 00001803: JUMPDEST 00001804: PUSH1 0x09 00001806: SSTORE 00001807: PUSH1 0x06 00001809: DUP1 0000180a: SLOAD 0000180b: PUSH1 0x00 0000180d: SWAP1 0000180e: DUP2 0000180f: MSTORE 00001810: PUSH1 0x05 00001812: PUSH1 0x20 00001814: DUP2 00001815: DUP2 00001816: MSTORE 00001817: PUSH1 0x40 00001819: DUP1 0000181a: DUP5 0000181b: KECCAK256 0000181c: SLOAD 0000181d: PUSH1 0x01 0000181f: PUSH1 0xa0 00001821: PUSH1 0x02 00001823: EXP 00001824: SUB 00001825: SWAP7 00001826: DUP8 00001827: AND 00001828: DUP6 00001829: MSTORE 0000182a: PUSH1 0x04 0000182c: DUP1 0000182d: DUP5 0000182e: MSTORE 0000182f: DUP3 00001830: DUP7 00001831: KECCAK256 00001832: DUP1 00001833: SLOAD 00001834: DUP8 00001835: MSTORE 00001836: DUP6 00001837: DUP6 00001838: MSTORE 00001839: DUP4 0000183a: DUP8 0000183b: KECCAK256 0000183c: DUP1 0000183d: SLOAD 0000183e: SWAP4 0000183f: DUP11 00001840: AND 00001841: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001856: NOT 00001857: SWAP5 00001858: DUP6 00001859: AND 0000185a: OR 0000185b: SWAP1 0000185c: SSTORE 0000185d: DUP1 0000185e: SLOAD 0000185f: DUP9 00001860: SLOAD 00001861: DUP9 00001862: MSTORE 00001863: DUP5 00001864: DUP9 00001865: KECCAK256 00001866: SLOAD 00001867: SWAP1 00001868: SWAP10 00001869: AND 0000186a: DUP8 0000186b: MSTORE 0000186c: SWAP1 0000186d: DUP5 0000186e: MSTORE 0000186f: DUP3 00001870: DUP7 00001871: KECCAK256 00001872: SWAP8 00001873: SWAP1 00001874: SWAP8 00001875: SSTORE 00001876: SWAP6 00001877: DUP5 00001878: SWAP1 00001879: SSTORE 0000187a: DUP5 0000187b: SLOAD 0000187c: DUP5 0000187d: MSTORE 0000187e: SWAP2 0000187f: SWAP1 00001880: MSTORE 00001881: SWAP1 00001882: KECCAK256 00001883: DUP1 00001884: SLOAD 00001885: SWAP1 00001886: SWAP3 00001887: AND 00001888: SWAP1 00001889: SWAP2 0000188a: SSTORE 0000188b: DUP1 0000188c: SLOAD 0000188d: PUSH1 0x00 0000188f: NOT 00001890: ADD 00001891: SWAP1 00001892: SSTORE 00001893: JUMP 00001894: STOP 00001895: LOG1 00001896: PUSH6 0x627a7a723058 0000189d: KECCAK256 0000189e: DUP1 0000189f: GT 000018a0: UNKNOWN(0xC7) 000018a1: UNKNOWN(0xA7) 000018a2: UNKNOWN(0xEE) 000018a3: UNKNOWN(0xC6) 000018a4: UNKNOWN(0xC9) 000018a5: UNKNOWN(0xCF) 000018a6: UNKNOWN(0xAE) 000018a7: LOG3 000018a8: UNKNOWN(0xBB) 000018a9: ISZERO 000018aa: UNKNOWN(0x2F) 000018ab: PUSH31
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x91245b6541267ca61c7a526d7a46dc4a4d3f25e5d89f797b61c0a759339efbf0
call_targets:
0xbc4191167d4b0251cab5201a527daa8a7d3846b0
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x91245b6541267ca61c7a526d7a46dc4a4d3f25e5d89f797b61c0a759339efbf0",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xbc4191167d4b0251cab5201a527daa8a7d3846b0"
],
"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": "0x03e1001e",
"selector": "0x03e1001e",
"calldata_variants": [
"0x03e1001e",
"0x03e1001e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0aa8bfe7",
"selector": "0x0aa8bfe7",
"calldata_variants": [
"0x0aa8bfe7",
"0x0aa8bfe70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0bb4e6f4",
"selector": "0x0bb4e6f4",
"calldata_variants": [
"0x0bb4e6f4",
"0x0bb4e6f40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1080b7b1",
"selector": "0x1080b7b1",
"calldata_variants": [
"0x1080b7b1",
"0x1080b7b10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x10d979f6",
"selector": "0x10d979f6",
"calldata_variants": [
"0x10d979f6",
"0x10d979f60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1288a8e9",
"selector": "0x1288a8e9",
"calldata_variants": [
"0x1288a8e9",
"0x1288a8e90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1703b7fd",
"selector": "0x1703b7fd",
"calldata_variants": [
"0x1703b7fd",
"0x1703b7fd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x24e5dacd",
"selector": "0x24e5dacd",
"calldata_variants": [
"0x24e5dacd",
"0x24e5dacd0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 570,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1930,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2055,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 10,
"guards_detected": [],
"untrusted_call_count": 10
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x91245b6541267ca61c7a526d7a46dc4a4d3f25e5d89f797b61c0a759339efbf0
call_targets:
0xbc4191167d4b0251cab5201a527daa8a7d3846b0
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x91245b6541267ca61c7a526d7a46dc4a4d3f25e5d89f797b61c0a759339efbf0",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xbc4191167d4b0251cab5201a527daa8a7d3846b0"
],
"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": "0x03e1001e",
"selector": "0x03e1001e",
"calldata_variants": [
"0x03e1001e",
"0x03e1001e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0aa8bfe7",
"selector": "0x0aa8bfe7",
"calldata_variants": [
"0x0aa8bfe7",
"0x0aa8bfe70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0bb4e6f4",
"selector": "0x0bb4e6f4",
"calldata_variants": [
"0x0bb4e6f4",
"0x0bb4e6f40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1080b7b1",
"selector": "0x1080b7b1",
"calldata_variants": [
"0x1080b7b1",
"0x1080b7b10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x10d979f6",
"selector": "0x10d979f6",
"calldata_variants": [
"0x10d979f6",
"0x10d979f60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1288a8e9",
"selector": "0x1288a8e9",
"calldata_variants": [
"0x1288a8e9",
"0x1288a8e90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1703b7fd",
"selector": "0x1703b7fd",
"calldata_variants": [
"0x1703b7fd",
"0x1703b7fd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x24e5dacd",
"selector": "0x24e5dacd",
"calldata_variants": [
"0x24e5dacd",
"0x24e5dacd0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 570,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1930,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2055,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 10,
"guards_detected": []
}
|