019b477e-aa37-70f5-b121-a0b961773b8d
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 |
|---|---|---|---|---|
| 20787 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 20788 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 64378 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 64379 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 64380 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 64381 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x017a 0000000a: JUMPI 0000000b: PUSH4 0xffffffff 00000010: PUSH1 0xe0 00000012: PUSH1 0x02 00000014: EXP 00000015: PUSH1 0x00 00000017: CALLDATALOAD 00000018: DIV 00000019: AND 0000001a: PUSH4 0x014c3dbc 0000001f: DUP2 00000020: EQ 00000021: PUSH2 0x025b 00000024: JUMPI 00000025: DUP1 00000026: PUSH4 0x0ee33c70 0000002b: EQ 0000002c: PUSH2 0x0280 0000002f: JUMPI 00000030: DUP1 00000031: PUSH4 0x25a079d9 00000036: EQ 00000037: PUSH2 0x02a5 0000003a: JUMPI 0000003b: DUP1 0000003c: PUSH4 0x2c035157 00000041: EQ 00000042: PUSH2 0x02ca 00000045: JUMPI 00000046: DUP1 00000047: PUSH4 0x2d59680d 0000004c: EQ 0000004d: PUSH2 0x02ef 00000050: JUMPI 00000051: DUP1 00000052: PUSH4 0x3cf7dca3 00000057: EQ 00000058: PUSH2 0x037a 0000005b: JUMPI 0000005c: DUP1 0000005d: PUSH4 0x42b343a3 00000062: EQ 00000063: PUSH2 0x0394 00000066: JUMPI 00000067: DUP1 00000068: PUSH4 0x4ecd78d1 0000006d: EQ 0000006e: PUSH2 0x03bc 00000071: JUMPI 00000072: DUP1 00000073: PUSH4 0x54ba34b5 00000078: EQ 00000079: PUSH2 0x03e7 0000007c: JUMPI 0000007d: DUP1 0000007e: PUSH4 0x5f623e15 00000083: EQ 00000084: PUSH2 0x040c 00000087: JUMPI 00000088: DUP1 00000089: PUSH4 0x6ee548fc 0000008e: EQ 0000008f: PUSH2 0x0431 00000092: JUMPI 00000093: DUP1 00000094: PUSH4 0x70a08231 00000099: EQ 0000009a: PUSH2 0x0456 0000009d: JUMPI 0000009e: DUP1 0000009f: PUSH4 0x88537daf 000000a4: EQ 000000a5: PUSH2 0x0487 000000a8: JUMPI 000000a9: DUP1 000000aa: PUSH4 0x8da5cb5b 000000af: EQ 000000b0: PUSH2 0x04bd 000000b3: JUMPI 000000b4: DUP1 000000b5: PUSH4 0x99f4b251 000000ba: EQ 000000bb: PUSH2 0x04ec 000000be: JUMPI 000000bf: DUP1 000000c0: PUSH4 0xa263601c 000000c5: EQ 000000c6: PUSH2 0x0501 000000c9: JUMPI 000000ca: DUP1 000000cb: PUSH4 0xa87430ba 000000d0: EQ 000000d1: PUSH2 0x054b 000000d4: JUMPI 000000d5: DUP1 000000d6: PUSH4 0xaee1d4d3 000000db: EQ 000000dc: PUSH2 0x0582 000000df: JUMPI 000000e0: DUP1 000000e1: PUSH4 0xaf5070f7 000000e6: EQ 000000e7: PUSH2 0x05a7 000000ea: JUMPI 000000eb: DUP1 000000ec: PUSH4 0xaf76c4d2 000000f1: EQ 000000f2: PUSH2 0x05c2 000000f5: JUMPI 000000f6: DUP1 000000f7: PUSH4 0xb03645b5 000000fc: EQ 000000fd: PUSH2 0x05e7 00000100: JUMPI 00000101: DUP1 00000102: PUSH4 0xb187bd26 00000107: EQ 00000108: PUSH2 0x060c 0000010b: JUMPI 0000010c: DUP1 0000010d: PUSH4 0xb8b0f533 00000112: EQ 00000113: PUSH2 0x0633 00000116: JUMPI 00000117: DUP1 00000118: PUSH4 0xbe040fb0 0000011d: EQ 0000011e: PUSH2 0x0662 00000121: JUMPI 00000122: DUP1 00000123: PUSH4 0xc961df66 00000128: EQ 00000129: PUSH2 0x0677 0000012c: JUMPI 0000012d: DUP1 0000012e: PUSH4 0xdda6c3ce 00000133: EQ 00000134: PUSH2 0x069c 00000137: JUMPI 00000138: DUP1 00000139: PUSH4 0xddd5e1b2 0000013e: EQ 0000013f: PUSH2 0x06c6 00000142: JUMPI 00000143: DUP1 00000144: PUSH4 0xe530db1c 00000149: EQ 0000014a: PUSH2 0x06fc 0000014d: JUMPI 0000014e: DUP1 0000014f: PUSH4 0xe7cc62bd 00000154: EQ 00000155: PUSH2 0x0721 00000158: JUMPI 00000159: DUP1 0000015a: PUSH4 0xec083e37 0000015f: EQ 00000160: PUSH2 0x0746 00000163: JUMPI 00000164: DUP1 00000165: PUSH4 0xf2fde38b 0000016a: EQ 0000016b: PUSH2 0x0778 0000016e: JUMPI 0000016f: DUP1 00000170: PUSH4 0xfab425e7 00000175: EQ 00000176: PUSH2 0x0799 00000179: JUMPI 0000017a: JUMPDEST 0000017b: PUSH2 0x0259 0000017e: JUMPDEST 0000017f: PUSH1 0x02 00000181: SLOAD 00000182: PUSH1 0x00 00000184: SWAP1 00000185: DUP2 00000186: SWAP1 00000187: DUP2 00000188: SWAP1 00000189: PUSH1 0xff 0000018b: AND 0000018c: ISZERO 0000018d: PUSH2 0x0195 00000190: JUMPI 00000191: PUSH1 0x00 00000193: DUP1 00000194: REVERT 00000195: JUMPDEST 00000196: PUSH2 0x019d 00000199: PUSH2 0x07c1 0000019c: JUMP 0000019d: JUMPDEST 0000019e: CALLVALUE 0000019f: LT 000001a0: ISZERO 000001a1: PUSH2 0x01a9 000001a4: JUMPI 000001a5: PUSH1 0x00 000001a7: DUP1 000001a8: REVERT 000001a9: JUMPDEST 000001aa: PUSH1 0x01 000001ac: PUSH1 0xa0 000001ae: PUSH1 0x02 000001b0: EXP 000001b1: SUB 000001b2: CALLER 000001b3: AND 000001b4: PUSH1 0x00 000001b6: SWAP1 000001b7: DUP2 000001b8: MSTORE 000001b9: PUSH1 0x0b 000001bb: PUSH1 0x20 000001bd: MSTORE 000001be: PUSH1 0x40 000001c0: DUP2 000001c1: KECCAK256 000001c2: DUP1 000001c3: SLOAD 000001c4: SWAP1 000001c5: SWAP5 000001c6: POP 000001c7: GT 000001c8: ISZERO 000001c9: PUSH2 0x022d 000001cc: JUMPI 000001cd: PUSH1 0x07 000001cf: SLOAD 000001d0: DUP4 000001d1: SLOAD 000001d2: GT 000001d3: ISZERO 000001d4: PUSH2 0x020c 000001d7: JUMPI 000001d8: PUSH1 0x07 000001da: SLOAD 000001db: DUP4 000001dc: PUSH1 0x00 000001de: ADD 000001df: SLOAD 000001e0: SUB 000001e1: SWAP2 000001e2: POP 000001e3: DUP2 000001e4: DUP4 000001e5: PUSH1 0x01 000001e7: ADD 000001e8: SLOAD 000001e9: MUL 000001ea: SWAP1 000001eb: POP 000001ec: CALLVALUE 000001ed: DUP2 000001ee: ADD 000001ef: SWAP1 000001f0: POP 000001f1: PUSH1 0x06 000001f3: SLOAD 000001f4: DUP2 000001f5: DUP2 000001f6: ISZERO 000001f7: ISZERO 000001f8: PUSH2 0x01fd 000001fb: JUMPI 000001fc: INVALID 000001fd: JUMPDEST 000001fe: DIV 000001ff: PUSH1 0x01 00000201: DUP5 00000202: ADD 00000203: DUP2 00000204: SWAP1 00000205: SSTORE 00000206: SWAP1 00000207: POP 00000208: PUSH2 0x0220 0000020b: JUMP 0000020c: JUMPDEST 0000020d: PUSH1 0x06 0000020f: SLOAD 00000210: CALLVALUE 00000211: DUP2 00000212: ISZERO 00000213: ISZERO 00000214: PUSH2 0x0219 00000217: JUMPI 00000218: INVALID 00000219: JUMPDEST 0000021a: DIV 0000021b: PUSH1 0x01 0000021d: DUP5 0000021e: ADD 0000021f: SSTORE 00000220: JUMPDEST 00000221: PUSH2 0x0228 00000224: PUSH2 0x0840 00000227: JUMP 00000228: JUMPDEST 00000229: PUSH2 0x0249 0000022c: JUMP 0000022d: JUMPDEST 0000022e: PUSH1 0x06 00000230: SLOAD 00000231: CALLVALUE 00000232: DUP2 00000233: ISZERO 00000234: ISZERO 00000235: PUSH2 0x023a 00000238: JUMPI 00000239: INVALID 0000023a: JUMPDEST 0000023b: DIV 0000023c: PUSH1 0x01 0000023e: DUP5 0000023f: ADD 00000240: SSTORE 00000241: PUSH2 0x0249 00000244: CALLER 00000245: PUSH2 0x0999 00000248: JUMP 00000249: JUMPDEST 0000024a: JUMPDEST 0000024b: PUSH1 0x06 0000024d: SLOAD 0000024e: PUSH1 0x07 00000250: SLOAD 00000251: ADD 00000252: DUP4 00000253: SSTORE 00000254: JUMPDEST 00000255: POP 00000256: POP 00000257: POP 00000258: JUMP 00000259: JUMPDEST 0000025a: STOP 0000025b: JUMPDEST 0000025c: CALLVALUE 0000025d: ISZERO 0000025e: PUSH2 0x0266 00000261: JUMPI 00000262: PUSH1 0x00 00000264: DUP1 00000265: REVERT 00000266: JUMPDEST 00000267: PUSH2 0x026e 0000026a: PUSH2 0x0a9e 0000026d: JUMP 0000026e: JUMPDEST 0000026f: PUSH1 0x40 00000271: MLOAD 00000272: SWAP1 00000273: DUP2 00000274: MSTORE 00000275: PUSH1 0x20 00000277: ADD 00000278: PUSH1 0x40 0000027a: MLOAD 0000027b: DUP1 0000027c: SWAP2 0000027d: SUB 0000027e: SWAP1 0000027f: RETURN 00000280: JUMPDEST 00000281: CALLVALUE 00000282: ISZERO 00000283: PUSH2 0x028b 00000286: JUMPI 00000287: PUSH1 0x00 00000289: DUP1 0000028a: REVERT 0000028b: JUMPDEST 0000028c: PUSH2 0x026e 0000028f: PUSH2 0x0aa3 00000292: JUMP 00000293: JUMPDEST 00000294: PUSH1 0x40 00000296: MLOAD 00000297: SWAP1 00000298: DUP2 00000299: MSTORE 0000029a: PUSH1 0x20 0000029c: ADD 0000029d: PUSH1 0x40 0000029f: MLOAD 000002a0: DUP1 000002a1: SWAP2 000002a2: SUB 000002a3: SWAP1 000002a4: RETURN 000002a5: JUMPDEST 000002a6: CALLVALUE 000002a7: ISZERO 000002a8: PUSH2 0x02b0 000002ab: JUMPI 000002ac: PUSH1 0x00 000002ae: DUP1 000002af: REVERT 000002b0: JUMPDEST 000002b1: PUSH2 0x026e 000002b4: PUSH2 0x0aa9 000002b7: JUMP 000002b8: JUMPDEST 000002b9: PUSH1 0x40 000002bb: MLOAD 000002bc: SWAP1 000002bd: DUP2 000002be: MSTORE 000002bf: PUSH1 0x20 000002c1: ADD 000002c2: PUSH1 0x40 000002c4: MLOAD 000002c5: DUP1 000002c6: SWAP2 000002c7: SUB 000002c8: SWAP1 000002c9: RETURN 000002ca: JUMPDEST 000002cb: CALLVALUE 000002cc: ISZERO 000002cd: PUSH2 0x02d5 000002d0: JUMPI 000002d1: PUSH1 0x00 000002d3: DUP1 000002d4: REVERT 000002d5: JUMPDEST 000002d6: PUSH2 0x026e 000002d9: PUSH2 0x07c1 000002dc: JUMP 000002dd: JUMPDEST 000002de: PUSH1 0x40 000002e0: MLOAD 000002e1: SWAP1 000002e2: DUP2 000002e3: MSTORE 000002e4: PUSH1 0x20 000002e6: ADD 000002e7: PUSH1 0x40 000002e9: MLOAD 000002ea: DUP1 000002eb: SWAP2 000002ec: SUB 000002ed: SWAP1 000002ee: RETURN 000002ef: JUMPDEST 000002f0: CALLVALUE 000002f1: ISZERO 000002f2: PUSH2 0x02fa 000002f5: JUMPI 000002f6: PUSH1 0x00 000002f8: DUP1 000002f9: REVERT 000002fa: JUMPDEST 000002fb: PUSH2 0x0302 000002fe: PUSH2 0x0ad1 00000301: JUMP 00000302: JUMPDEST 00000303: PUSH1 0x40 00000305: MLOAD 00000306: PUSH1 0x20 00000308: DUP1 00000309: DUP3 0000030a: MSTORE 0000030b: DUP2 0000030c: SWAP1 0000030d: DUP2 0000030e: ADD 0000030f: DUP4 00000310: DUP2 00000311: DUP2 00000312: MLOAD 00000313: DUP2 00000314: MSTORE 00000315: PUSH1 0x20 00000317: ADD 00000318: SWAP2 00000319: POP 0000031a: DUP1 0000031b: MLOAD 0000031c: SWAP1 0000031d: PUSH1 0x20 0000031f: ADD 00000320: SWAP1 00000321: DUP1 00000322: DUP4 00000323: DUP4 00000324: PUSH1 0x00 00000326: JUMPDEST 00000327: DUP4 00000328: DUP2 00000329: LT 0000032a: ISZERO 0000032b: PUSH2 0x033f 0000032e: JUMPI 0000032f: DUP1 00000330: DUP3 00000331: ADD 00000332: MLOAD 00000333: DUP2 00000334: DUP5 00000335: ADD 00000336: MSTORE 00000337: JUMPDEST 00000338: PUSH1 0x20 0000033a: ADD 0000033b: PUSH2 0x0326 0000033e: JUMP 0000033f: JUMPDEST 00000340: POP 00000341: POP 00000342: POP 00000343: POP 00000344: SWAP1 00000345: POP 00000346: SWAP1 00000347: DUP2 00000348: ADD 00000349: SWAP1 0000034a: PUSH1 0x1f 0000034c: AND 0000034d: DUP1 0000034e: ISZERO 0000034f: PUSH2 0x036c 00000352: JUMPI 00000353: DUP1 00000354: DUP3 00000355: SUB 00000356: DUP1 00000357: MLOAD 00000358: PUSH1 0x01 0000035a: DUP4 0000035b: PUSH1 0x20 0000035d: SUB 0000035e: PUSH2 0x0100 00000361: EXP 00000362: SUB 00000363: NOT 00000364: AND 00000365: DUP2 00000366: MSTORE 00000367: PUSH1 0x20 00000369: ADD 0000036a: SWAP2 0000036b: POP 0000036c: JUMPDEST 0000036d: POP 0000036e: SWAP3 0000036f: POP 00000370: POP 00000371: POP 00000372: PUSH1 0x40 00000374: MLOAD 00000375: DUP1 00000376: SWAP2 00000377: SUB 00000378: SWAP1 00000379: RETURN 0000037a: JUMPDEST 0000037b: CALLVALUE 0000037c: ISZERO 0000037d: PUSH2 0x0385 00000380: JUMPI 00000381: PUSH1 0x00 00000383: DUP1 00000384: REVERT 00000385: JUMPDEST 00000386: PUSH2 0x0259 00000389: PUSH1 0x04 0000038b: CALLDATALOAD 0000038c: ISZERO 0000038d: ISZERO 0000038e: PUSH2 0x0afb 00000391: JUMP 00000392: JUMPDEST 00000393: STOP 00000394: JUMPDEST 00000395: CALLVALUE 00000396: ISZERO 00000397: PUSH2 0x039f 0000039a: JUMPI 0000039b: PUSH1 0x00 0000039d: DUP1 0000039e: REVERT 0000039f: JUMPDEST 000003a0: PUSH2 0x026e 000003a3: PUSH1 0x04 000003a5: CALLDATALOAD 000003a6: PUSH2 0x0b66 000003a9: JUMP 000003aa: JUMPDEST 000003ab: PUSH1 0x40 000003ad: MLOAD 000003ae: SWAP1 000003af: DUP2 000003b0: MSTORE 000003b1: PUSH1 0x20 000003b3: ADD 000003b4: PUSH1 0x40 000003b6: MLOAD 000003b7: DUP1 000003b8: SWAP2 000003b9: SUB 000003ba: SWAP1 000003bb: RETURN 000003bc: JUMPDEST 000003bd: CALLVALUE 000003be: ISZERO 000003bf: PUSH2 0x03c7 000003c2: JUMPI 000003c3: PUSH1 0x00 000003c5: DUP1 000003c6: REVERT 000003c7: JUMPDEST 000003c8: PUSH2 0x03cf 000003cb: PUSH2 0x0b78 000003ce: JUMP 000003cf: JUMPDEST 000003d0: PUSH1 0x40 000003d2: MLOAD 000003d3: SWAP2 000003d4: DUP3 000003d5: MSTORE 000003d6: PUSH1 0x20 000003d8: DUP3 000003d9: ADD 000003da: MSTORE 000003db: PUSH1 0x40 000003dd: SWAP1 000003de: DUP2 000003df: ADD 000003e0: SWAP1 000003e1: MLOAD 000003e2: DUP1 000003e3: SWAP2 000003e4: SUB 000003e5: SWAP1 000003e6: RETURN 000003e7: JUMPDEST 000003e8: CALLVALUE 000003e9: ISZERO 000003ea: PUSH2 0x03f2 000003ed: JUMPI 000003ee: PUSH1 0x00 000003f0: DUP1 000003f1: REVERT 000003f2: JUMPDEST 000003f3: PUSH2 0x026e 000003f6: PUSH2 0x0cdf 000003f9: JUMP 000003fa: JUMPDEST 000003fb: PUSH1 0x40 000003fd: MLOAD 000003fe: SWAP1 000003ff: DUP2 00000400: MSTORE 00000401: PUSH1 0x20 00000403: ADD 00000404: PUSH1 0x40 00000406: MLOAD 00000407: DUP1 00000408: SWAP2 00000409: SUB 0000040a: SWAP1 0000040b: RETURN 0000040c: JUMPDEST 0000040d: CALLVALUE 0000040e: ISZERO 0000040f: PUSH2 0x0417 00000412: JUMPI 00000413: PUSH1 0x00 00000415: DUP1 00000416: REVERT 00000417: JUMPDEST 00000418: PUSH2 0x026e 0000041b: PUSH2 0x0d07 0000041e: JUMP 0000041f: JUMPDEST 00000420: PUSH1 0x40 00000422: MLOAD 00000423: SWAP1 00000424: DUP2 00000425: MSTORE 00000426: PUSH1 0x20 00000428: ADD 00000429: PUSH1 0x40 0000042b: MLOAD 0000042c: DUP1 0000042d: SWAP2 0000042e: SUB 0000042f: SWAP1 00000430: RETURN 00000431: JUMPDEST 00000432: CALLVALUE 00000433: ISZERO 00000434: PUSH2 0x043c 00000437: JUMPI 00000438: PUSH1 0x00 0000043a: DUP1 0000043b: REVERT 0000043c: JUMPDEST 0000043d: PUSH2 0x026e 00000440: PUSH2 0x0d0e 00000443: JUMP 00000444: JUMPDEST 00000445: PUSH1 0x40 00000447: MLOAD 00000448: SWAP1 00000449: DUP2 0000044a: MSTORE 0000044b: PUSH1 0x20 0000044d: ADD 0000044e: PUSH1 0x40 00000450: MLOAD 00000451: DUP1 00000452: SWAP2 00000453: SUB 00000454: SWAP1 00000455: RETURN 00000456: JUMPDEST 00000457: CALLVALUE 00000458: ISZERO 00000459: PUSH2 0x0461 0000045c: JUMPI 0000045d: PUSH1 0x00 0000045f: DUP1 00000460: REVERT 00000461: JUMPDEST 00000462: PUSH2 0x026e 00000465: PUSH1 0x01 00000467: PUSH1 0xa0 00000469: PUSH1 0x02 0000046b: EXP 0000046c: SUB 0000046d: PUSH1 0x04 0000046f: CALLDATALOAD 00000470: AND 00000471: PUSH2 0x0d14 00000474: JUMP 00000475: JUMPDEST 00000476: PUSH1 0x40 00000478: MLOAD 00000479: SWAP1 0000047a: DUP2 0000047b: MSTORE 0000047c: PUSH1 0x20 0000047e: ADD 0000047f: PUSH1 0x40 00000481: MLOAD 00000482: DUP1 00000483: SWAP2 00000484: SUB 00000485: SWAP1 00000486: RETURN 00000487: JUMPDEST 00000488: CALLVALUE 00000489: ISZERO 0000048a: PUSH2 0x0492 0000048d: JUMPI 0000048e: PUSH1 0x00 00000490: DUP1 00000491: REVERT 00000492: JUMPDEST 00000493: PUSH2 0x04a9 00000496: PUSH1 0x04 00000498: CALLDATALOAD 00000499: PUSH1 0x01 0000049b: PUSH1 0xa0 0000049d: PUSH1 0x02 0000049f: EXP 000004a0: SUB 000004a1: PUSH1 0x24 000004a3: CALLDATALOAD 000004a4: AND 000004a5: PUSH2 0x0d33 000004a8: JUMP 000004a9: JUMPDEST 000004aa: PUSH1 0x40 000004ac: MLOAD 000004ad: SWAP1 000004ae: ISZERO 000004af: ISZERO 000004b0: DUP2 000004b1: MSTORE 000004b2: PUSH1 0x20 000004b4: ADD 000004b5: PUSH1 0x40 000004b7: MLOAD 000004b8: DUP1 000004b9: SWAP2 000004ba: SUB 000004bb: SWAP1 000004bc: RETURN 000004bd: JUMPDEST 000004be: CALLVALUE 000004bf: ISZERO 000004c0: PUSH2 0x04c8 000004c3: JUMPI 000004c4: PUSH1 0x00 000004c6: DUP1 000004c7: REVERT 000004c8: JUMPDEST 000004c9: PUSH2 0x04d0 000004cc: PUSH2 0x0db8 000004cf: JUMP 000004d0: JUMPDEST 000004d1: PUSH1 0x40 000004d3: MLOAD 000004d4: PUSH1 0x01 000004d6: PUSH1 0xa0 000004d8: PUSH1 0x02 000004da: EXP 000004db: SUB 000004dc: SWAP1 000004dd: SWAP2 000004de: AND 000004df: DUP2 000004e0: MSTORE 000004e1: PUSH1 0x20 000004e3: ADD 000004e4: PUSH1 0x40 000004e6: MLOAD 000004e7: DUP1 000004e8: SWAP2 000004e9: SUB 000004ea: SWAP1 000004eb: RETURN 000004ec: JUMPDEST 000004ed: CALLVALUE 000004ee: ISZERO 000004ef: PUSH2 0x04f7 000004f2: JUMPI 000004f3: PUSH1 0x00 000004f5: DUP1 000004f6: REVERT 000004f7: JUMPDEST 000004f8: PUSH2 0x0259 000004fb: PUSH2 0x0dc7 000004fe: JUMP 000004ff: JUMPDEST 00000500: STOP 00000501: JUMPDEST 00000502: CALLVALUE 00000503: ISZERO 00000504: PUSH2 0x050c 00000507: JUMPI 00000508: PUSH1 0x00 0000050a: DUP1 0000050b: REVERT 0000050c: JUMPDEST 0000050d: PUSH2 0x0520 00000510: PUSH1 0x01 00000512: PUSH1 0xa0 00000514: PUSH1 0x02 00000516: EXP 00000517: SUB 00000518: PUSH1 0x04 0000051a: CALLDATALOAD 0000051b: AND 0000051c: PUSH2 0x10a2 0000051f: JUMP 00000520: JUMPDEST 00000521: PUSH1 0x40 00000523: MLOAD 00000524: DUP1 00000525: DUP6 00000526: DUP2 00000527: MSTORE 00000528: PUSH1 0x20 0000052a: ADD 0000052b: DUP5 0000052c: DUP2 0000052d: MSTORE 0000052e: PUSH1 0x20 00000530: ADD 00000531: DUP4 00000532: DUP2 00000533: MSTORE 00000534: PUSH1 0x20 00000536: ADD 00000537: DUP3 00000538: DUP2 00000539: MSTORE 0000053a: PUSH1 0x20 0000053c: ADD 0000053d: SWAP5 0000053e: POP 0000053f: POP 00000540: POP 00000541: POP 00000542: POP 00000543: PUSH1 0x40 00000545: MLOAD 00000546: DUP1 00000547: SWAP2 00000548: SUB 00000549: SWAP1 0000054a: RETURN 0000054b: JUMPDEST 0000054c: CALLVALUE 0000054d: ISZERO 0000054e: PUSH2 0x0556 00000551: JUMPI 00000552: PUSH1 0x00 00000554: DUP1 00000555: REVERT 00000556: JUMPDEST 00000557: PUSH2 0x03cf 0000055a: PUSH1 0x01 0000055c: PUSH1 0xa0 0000055e: PUSH1 0x02 00000560: EXP 00000561: SUB 00000562: PUSH1 0x04 00000564: CALLDATALOAD 00000565: AND 00000566: PUSH2 0x1161 00000569: JUMP 0000056a: JUMPDEST 0000056b: PUSH1 0x40 0000056d: MLOAD 0000056e: SWAP2 0000056f: DUP3 00000570: MSTORE 00000571: PUSH1 0x20 00000573: DUP3 00000574: ADD 00000575: MSTORE 00000576: PUSH1 0x40 00000578: SWAP1 00000579: DUP2 0000057a: ADD 0000057b: SWAP1 0000057c: MLOAD 0000057d: DUP1 0000057e: SWAP2 0000057f: SUB 00000580: SWAP1 00000581: RETURN 00000582: JUMPDEST 00000583: CALLVALUE 00000584: ISZERO 00000585: PUSH2 0x058d 00000588: JUMPI 00000589: PUSH1 0x00 0000058b: DUP1 0000058c: REVERT 0000058d: JUMPDEST 0000058e: PUSH2 0x026e 00000591: PUSH2 0x117a 00000594: JUMP 00000595: JUMPDEST 00000596: PUSH1 0x40 00000598: MLOAD 00000599: SWAP1 0000059a: DUP2 0000059b: MSTORE 0000059c: PUSH1 0x20 0000059e: ADD 0000059f: PUSH1 0x40 000005a1: MLOAD 000005a2: DUP1 000005a3: SWAP2 000005a4: SUB 000005a5: SWAP1 000005a6: RETURN 000005a7: JUMPDEST 000005a8: CALLVALUE 000005a9: ISZERO 000005aa: PUSH2 0x05b2 000005ad: JUMPI 000005ae: PUSH1 0x00 000005b0: DUP1 000005b1: REVERT 000005b2: JUMPDEST 000005b3: PUSH2 0x0259 000005b6: PUSH1 0xff 000005b8: PUSH1 0x04 000005ba: CALLDATALOAD 000005bb: AND 000005bc: PUSH2 0x1180 000005bf: JUMP 000005c0: JUMPDEST 000005c1: STOP 000005c2: JUMPDEST 000005c3: CALLVALUE 000005c4: ISZERO 000005c5: PUSH2 0x05cd 000005c8: JUMPI 000005c9: PUSH1 0x00 000005cb: DUP1 000005cc: REVERT 000005cd: JUMPDEST 000005ce: PUSH2 0x026e 000005d1: PUSH2 0x11f4 000005d4: JUMP 000005d5: JUMPDEST 000005d6: PUSH1 0x40 000005d8: MLOAD 000005d9: SWAP1 000005da: DUP2 000005db: MSTORE 000005dc: PUSH1 0x20 000005de: ADD 000005df: PUSH1 0x40 000005e1: MLOAD 000005e2: DUP1 000005e3: SWAP2 000005e4: SUB 000005e5: SWAP1 000005e6: RETURN 000005e7: JUMPDEST 000005e8: CALLVALUE 000005e9: ISZERO 000005ea: PUSH2 0x05f2 000005ed: JUMPI 000005ee: PUSH1 0x00 000005f0: DUP1 000005f1: REVERT 000005f2: JUMPDEST 000005f3: PUSH2 0x026e 000005f6: PUSH2 0x11fa 000005f9: JUMP 000005fa: JUMPDEST 000005fb: PUSH1 0x40 000005fd: MLOAD 000005fe: SWAP1 000005ff: DUP2 00000600: MSTORE 00000601: PUSH1 0x20 00000603: ADD 00000604: PUSH1 0x40 00000606: MLOAD 00000607: DUP1 00000608: SWAP2 00000609: SUB 0000060a: SWAP1 0000060b: RETURN 0000060c: JUMPDEST 0000060d: CALLVALUE 0000060e: ISZERO 0000060f: PUSH2 0x0617 00000612: JUMPI 00000613: PUSH1 0x00 00000615: DUP1 00000616: REVERT 00000617: JUMPDEST 00000618: PUSH2 0x04a9 0000061b: PUSH2 0x1200 0000061e: JUMP 0000061f: JUMPDEST 00000620: PUSH1 0x40 00000622: MLOAD 00000623: SWAP1 00000624: ISZERO 00000625: ISZERO 00000626: DUP2 00000627: MSTORE 00000628: PUSH1 0x20 0000062a: ADD 0000062b: PUSH1 0x40 0000062d: MLOAD 0000062e: DUP1 0000062f: SWAP2 00000630: SUB 00000631: SWAP1 00000632: RETURN 00000633: JUMPDEST 00000634: CALLVALUE 00000635: ISZERO 00000636: PUSH2 0x063e 00000639: JUMPI 0000063a: PUSH1 0x00 0000063c: DUP1 0000063d: REVERT 0000063e: JUMPDEST 0000063f: PUSH2 0x04d0 00000642: PUSH2 0x1209 00000645: JUMP 00000646: JUMPDEST 00000647: PUSH1 0x40 00000649: MLOAD 0000064a: PUSH1 0x01 0000064c: PUSH1 0xa0 0000064e: PUSH1 0x02 00000650: EXP 00000651: SUB 00000652: SWAP1 00000653: SWAP2 00000654: AND 00000655: DUP2 00000656: MSTORE 00000657: PUSH1 0x20 00000659: ADD 0000065a: PUSH1 0x40 0000065c: MLOAD 0000065d: DUP1 0000065e: SWAP2 0000065f: SUB 00000660: SWAP1 00000661: RETURN 00000662: JUMPDEST 00000663: CALLVALUE 00000664: ISZERO 00000665: PUSH2 0x066d 00000668: JUMPI 00000669: PUSH1 0x00 0000066b: DUP1 0000066c: REVERT 0000066d: JUMPDEST 0000066e: PUSH2 0x0259 00000671: PUSH2 0x1222 00000674: JUMP 00000675: JUMPDEST 00000676: STOP 00000677: JUMPDEST 00000678: CALLVALUE 00000679: ISZERO 0000067a: PUSH2 0x0682 0000067d: JUMPI 0000067e: PUSH1 0x00 00000680: DUP1 00000681: REVERT 00000682: JUMPDEST 00000683: PUSH2 0x026e 00000686: PUSH2 0x126b 00000689: JUMP 0000068a: JUMPDEST 0000068b: PUSH1 0x40 0000068d: MLOAD 0000068e: SWAP1 0000068f: DUP2 00000690: MSTORE 00000691: PUSH1 0x20 00000693: ADD 00000694: PUSH1 0x40 00000696: MLOAD 00000697: DUP1 00000698: SWAP2 00000699: SUB 0000069a: SWAP1 0000069b: RETURN 0000069c: JUMPDEST 0000069d: CALLVALUE 0000069e: ISZERO 0000069f: PUSH2 0x06a7 000006a2: JUMPI 000006a3: PUSH1 0x00 000006a5: DUP1 000006a6: REVERT 000006a7: JUMPDEST 000006a8: PUSH2 0x04a9 000006ab: PUSH1 0x04 000006ad: CALLDATALOAD 000006ae: PUSH2 0x1271 000006b1: JUMP 000006b2: JUMPDEST 000006b3: PUSH1 0x40 000006b5: MLOAD 000006b6: SWAP1 000006b7: ISZERO 000006b8: ISZERO 000006b9: DUP2 000006ba: MSTORE 000006bb: PUSH1 0x20 000006bd: ADD 000006be: PUSH1 0x40 000006c0: MLOAD 000006c1: DUP1 000006c2: SWAP2 000006c3: SUB 000006c4: SWAP1 000006c5: RETURN 000006c6: JUMPDEST 000006c7: CALLVALUE 000006c8: ISZERO 000006c9: PUSH2 0x06d1 000006cc: JUMPI 000006cd: PUSH1 0x00 000006cf: DUP1 000006d0: REVERT 000006d1: JUMPDEST 000006d2: PUSH2 0x04a9 000006d5: PUSH1 0x04 000006d7: CALLDATALOAD 000006d8: PUSH1 0x01 000006da: PUSH1 0xa0 000006dc: PUSH1 0x02 000006de: EXP 000006df: SUB 000006e0: PUSH1 0x24 000006e2: CALLDATALOAD 000006e3: AND 000006e4: PUSH2 0x12e6 000006e7: JUMP 000006e8: JUMPDEST 000006e9: PUSH1 0x40 000006eb: MLOAD 000006ec: SWAP1 000006ed: ISZERO 000006ee: ISZERO 000006ef: DUP2 000006f0: MSTORE 000006f1: PUSH1 0x20 000006f3: ADD 000006f4: PUSH1 0x40 000006f6: MLOAD 000006f7: DUP1 000006f8: SWAP2 000006f9: SUB 000006fa: SWAP1 000006fb: RETURN 000006fc: JUMPDEST 000006fd: CALLVALUE 000006fe: ISZERO 000006ff: PUSH2 0x0707 00000702: JUMPI 00000703: PUSH1 0x00 00000705: DUP1 00000706: REVERT 00000707: JUMPDEST 00000708: PUSH2 0x026e 0000070b: PUSH2 0x152d 0000070e: JUMP 0000070f: JUMPDEST 00000710: PUSH1 0x40 00000712: MLOAD 00000713: SWAP1 00000714: DUP2 00000715: MSTORE 00000716: PUSH1 0x20 00000718: ADD 00000719: PUSH1 0x40 0000071b: MLOAD 0000071c: DUP1 0000071d: SWAP2 0000071e: SUB 0000071f: SWAP1 00000720: RETURN 00000721: JUMPDEST 00000722: CALLVALUE 00000723: ISZERO 00000724: PUSH2 0x072c 00000727: JUMPI 00000728: PUSH1 0x00 0000072a: DUP1 0000072b: REVERT 0000072c: JUMPDEST 0000072d: PUSH2 0x026e 00000730: PUSH2 0x1533 00000733: JUMP 00000734: JUMPDEST 00000735: PUSH1 0x40 00000737: MLOAD 00000738: SWAP1 00000739: DUP2 0000073a: MSTORE 0000073b: PUSH1 0x20 0000073d: ADD 0000073e: PUSH1 0x40 00000740: MLOAD 00000741: DUP1 00000742: SWAP2 00000743: SUB 00000744: SWAP1 00000745: RETURN 00000746: JUMPDEST 00000747: CALLVALUE 00000748: ISZERO 00000749: PUSH2 0x0751 0000074c: JUMPI 0000074d: PUSH1 0x00 0000074f: DUP1 00000750: REVERT 00000751: JUMPDEST 00000752: PUSH2 0x04d0 00000755: PUSH1 0x04 00000757: CALLDATALOAD 00000758: PUSH2 0x1539 0000075b: JUMP 0000075c: JUMPDEST 0000075d: PUSH1 0x40 0000075f: MLOAD 00000760: PUSH1 0x01 00000762: PUSH1 0xa0 00000764: PUSH1 0x02 00000766: EXP 00000767: SUB 00000768: SWAP1 00000769: SWAP2 0000076a: AND 0000076b: DUP2 0000076c: MSTORE 0000076d: PUSH1 0x20 0000076f: ADD 00000770: PUSH1 0x40 00000772: MLOAD 00000773: DUP1 00000774: SWAP2 00000775: SUB 00000776: SWAP1 00000777: RETURN 00000778: JUMPDEST 00000779: CALLVALUE 0000077a: ISZERO 0000077b: PUSH2 0x0783 0000077e: JUMPI 0000077f: PUSH1 0x00 00000781: DUP1 00000782: REVERT 00000783: JUMPDEST 00000784: PUSH2 0x0259 00000787: PUSH1 0x01 00000789: PUSH1 0xa0 0000078b: PUSH1 0x02 0000078d: EXP 0000078e: SUB 0000078f: PUSH1 0x04 00000791: CALLDATALOAD 00000792: AND 00000793: PUSH2 0x1560 00000796: JUMP 00000797: JUMPDEST 00000798: STOP 00000799: JUMPDEST 0000079a: CALLVALUE 0000079b: ISZERO 0000079c: PUSH2 0x07a4 0000079f: JUMPI 000007a0: PUSH1 0x00 000007a2: DUP1 000007a3: REVERT 000007a4: JUMPDEST 000007a5: PUSH2 0x026e 000007a8: PUSH1 0x04 000007aa: CALLDATALOAD 000007ab: PUSH2 0x15ab 000007ae: JUMP 000007af: JUMPDEST 000007b0: PUSH1 0x40 000007b2: MLOAD 000007b3: SWAP1 000007b4: DUP2 000007b5: MSTORE 000007b6: PUSH1 0x20 000007b8: ADD 000007b9: PUSH1 0x40 000007bb: MLOAD 000007bc: DUP1 000007bd: SWAP2 000007be: SUB 000007bf: SWAP1 000007c0: RETURN 000007c1: JUMPDEST 000007c2: PUSH1 0x06 000007c4: SLOAD 000007c5: PUSH1 0x0a 000007c7: SLOAD 000007c8: PUSH1 0x00 000007ca: SWAP2 000007cb: SWAP1 000007cc: PUSH3 0x989680 000007d0: SWAP1 000007d1: PUSH1 0x01 000007d3: PUSH1 0xa0 000007d5: PUSH1 0x02 000007d7: EXP 000007d8: SUB 000007d9: AND 000007da: PUSH4 0xb0c2a163 000007df: DUP5 000007e0: PUSH1 0x40 000007e2: MLOAD 000007e3: PUSH1 0x20 000007e5: ADD 000007e6: MSTORE 000007e7: PUSH1 0x40 000007e9: MLOAD 000007ea: DUP2 000007eb: PUSH4 0xffffffff 000007f0: AND 000007f1: PUSH1 0xe0 000007f3: PUSH1 0x02 000007f5: EXP 000007f6: MUL 000007f7: DUP2 000007f8: MSTORE 000007f9: PUSH1 0x04 000007fb: ADD 000007fc: PUSH1 0x20 000007fe: PUSH1 0x40 00000800: MLOAD 00000801: DUP1 00000802: DUP4 00000803: SUB 00000804: DUP2 00000805: PUSH1 0x00 00000807: DUP8 00000808: DUP1 00000809: EXTCODESIZE 0000080a: ISZERO 0000080b: ISZERO 0000080c: PUSH2 0x0814 0000080f: JUMPI 00000810: PUSH1 0x00 00000812: DUP1 00000813: REVERT 00000814: JUMPDEST 00000815: PUSH2 0x02c6 00000818: GAS 00000819: SUB 0000081a: CALL 0000081b: ISZERO 0000081c: ISZERO 0000081d: PUSH2 0x0825 00000820: JUMPI 00000821: PUSH1 0x00 00000823: DUP1 00000824: REVERT 00000825: JUMPDEST 00000826: POP 00000827: POP 00000828: POP 00000829: PUSH1 0x40 0000082b: MLOAD 0000082c: DUP1 0000082d: MLOAD 0000082e: SWAP1 0000082f: POP 00000830: DUP2 00000831: ISZERO 00000832: ISZERO 00000833: PUSH2 0x0838 00000836: JUMPI 00000837: INVALID 00000838: JUMPDEST 00000839: DIV 0000083a: MUL 0000083b: SWAP1 0000083c: POP 0000083d: JUMPDEST 0000083e: SWAP1 0000083f: JUMP 00000840: JUMPDEST 00000841: PUSH1 0x01 00000843: PUSH1 0xa0 00000845: PUSH1 0x02 00000847: EXP 00000848: SUB 00000849: CALLER 0000084a: AND 0000084b: PUSH1 0x00 0000084d: SWAP1 0000084e: DUP2 0000084f: MSTORE 00000850: PUSH1 0x0d 00000852: PUSH1 0x20 00000854: MSTORE 00000855: PUSH1 0x40 00000857: DUP2 00000858: KECCAK256 00000859: SLOAD 0000085a: SWAP1 0000085b: DUP1 0000085c: DUP1 0000085d: DUP4 0000085e: GT 0000085f: ISZERO 00000860: PUSH2 0x0254 00000863: JUMPI 00000864: PUSH1 0x01 00000866: SLOAD 00000867: PUSH1 0x64 00000869: DUP5 0000086a: JUMPDEST 0000086b: DIV 0000086c: MUL 0000086d: SWAP2 0000086e: POP 0000086f: POP 00000870: DUP1 00000871: DUP3 00000872: SUB 00000873: PUSH1 0x00 00000875: DUP3 00000876: GT 00000877: ISZERO 00000878: PUSH2 0x08ff 0000087b: JUMPI 0000087c: PUSH1 0x0a 0000087e: SLOAD 0000087f: PUSH1 0x00 00000881: DUP1 00000882: SLOAD 00000883: PUSH1 0x01 00000885: PUSH1 0xa0 00000887: PUSH1 0x02 00000889: EXP 0000088a: SUB 0000088b: SWAP3 0000088c: DUP4 0000088d: AND 0000088e: SWAP3 0000088f: PUSH4 0xa9059cbb 00000894: SWAP3 00000895: SWAP2 00000896: AND 00000897: SWAP1 00000898: DUP6 00000899: SWAP1 0000089a: PUSH1 0x40 0000089c: MLOAD 0000089d: PUSH1 0x20 0000089f: ADD 000008a0: MSTORE 000008a1: PUSH1 0x40 000008a3: MLOAD 000008a4: PUSH1 0xe0 000008a6: PUSH1 0x02 000008a8: EXP 000008a9: PUSH4 0xffffffff 000008ae: DUP6 000008af: AND 000008b0: MUL 000008b1: DUP2 000008b2: MSTORE 000008b3: PUSH1 0x01 000008b5: PUSH1 0xa0 000008b7: PUSH1 0x02 000008b9: EXP 000008ba: SUB 000008bb: SWAP1 000008bc: SWAP3 000008bd: AND 000008be: PUSH1 0x04 000008c0: DUP4 000008c1: ADD 000008c2: MSTORE 000008c3: PUSH1 0x24 000008c5: DUP3 000008c6: ADD 000008c7: MSTORE 000008c8: PUSH1 0x44 000008ca: ADD 000008cb: PUSH1 0x20 000008cd: PUSH1 0x40 000008cf: MLOAD 000008d0: DUP1 000008d1: DUP4 000008d2: SUB 000008d3: DUP2 000008d4: PUSH1 0x00 000008d6: DUP8 000008d7: DUP1 000008d8: EXTCODESIZE 000008d9: ISZERO 000008da: ISZERO 000008db: PUSH2 0x08e3 000008de: JUMPI 000008df: PUSH1 0x00 000008e1: DUP1 000008e2: REVERT 000008e3: JUMPDEST 000008e4: PUSH2 0x02c6 000008e7: GAS 000008e8: SUB 000008e9: CALL 000008ea: ISZERO 000008eb: ISZERO 000008ec: PUSH2 0x08f4 000008ef: JUMPI 000008f0: PUSH1 0x00 000008f2: DUP1 000008f3: REVERT 000008f4: JUMPDEST 000008f5: POP 000008f6: POP 000008f7: POP 000008f8: PUSH1 0x40 000008fa: MLOAD 000008fb: DUP1 000008fc: MLOAD 000008fd: POP 000008fe: POP 000008ff: JUMPDEST 00000900: PUSH1 0x0a 00000902: SLOAD 00000903: PUSH1 0x01 00000905: PUSH1 0xa0 00000907: PUSH1 0x02 00000909: EXP 0000090a: SUB 0000090b: AND 0000090c: PUSH4 0xa9059cbb 00000911: CALLER 00000912: DUP4 00000913: PUSH1 0x00 00000915: PUSH1 0x40 00000917: MLOAD 00000918: PUSH1 0x20 0000091a: ADD 0000091b: MSTORE 0000091c: PUSH1 0x40 0000091e: MLOAD 0000091f: PUSH1 0xe0 00000921: PUSH1 0x02 00000923: EXP 00000924: PUSH4 0xffffffff 00000929: DUP6 0000092a: AND 0000092b: MUL 0000092c: DUP2 0000092d: MSTORE 0000092e: PUSH1 0x01 00000930: PUSH1 0xa0 00000932: PUSH1 0x02 00000934: EXP 00000935: SUB 00000936: SWAP1 00000937: SWAP3 00000938: AND 00000939: PUSH1 0x04 0000093b: DUP4 0000093c: ADD 0000093d: MSTORE 0000093e: PUSH1 0x24 00000940: DUP3 00000941: ADD 00000942: MSTORE 00000943: PUSH1 0x44 00000945: ADD 00000946: PUSH1 0x20 00000948: PUSH1 0x40 0000094a: MLOAD 0000094b: DUP1 0000094c: DUP4 0000094d: SUB 0000094e: DUP2 0000094f: PUSH1 0x00 00000951: DUP8 00000952: DUP1 00000953: EXTCODESIZE 00000954: ISZERO 00000955: ISZERO 00000956: PUSH2 0x095e 00000959: JUMPI 0000095a: PUSH1 0x00 0000095c: DUP1 0000095d: REVERT 0000095e: JUMPDEST 0000095f: PUSH2 0x02c6 00000962: GAS 00000963: SUB 00000964: CALL 00000965: ISZERO 00000966: ISZERO 00000967: PUSH2 0x096f 0000096a: JUMPI 0000096b: PUSH1 0x00 0000096d: DUP1 0000096e: REVERT 0000096f: JUMPDEST 00000970: POP 00000971: POP 00000972: POP 00000973: PUSH1 0x40 00000975: MLOAD 00000976: DUP1 00000977: MLOAD 00000978: POP 00000979: POP 0000097a: PUSH1 0x01 0000097c: PUSH1 0xa0 0000097e: PUSH1 0x02 00000980: EXP 00000981: SUB 00000982: CALLER 00000983: AND 00000984: PUSH1 0x00 00000986: SWAP1 00000987: DUP2 00000988: MSTORE 00000989: PUSH1 0x0d 0000098b: PUSH1 0x20 0000098d: MSTORE 0000098e: PUSH1 0x40 00000990: DUP2 00000991: KECCAK256 00000992: SSTORE 00000993: JUMPDEST 00000994: JUMPDEST 00000995: POP 00000996: POP 00000997: POP 00000998: JUMP 00000999: JUMPDEST 0000099a: PUSH1 0x00 0000099c: PUSH1 0x03 0000099e: SLOAD 0000099f: PUSH1 0x04 000009a1: SLOAD 000009a2: LT 000009a3: ISZERO 000009a4: PUSH2 0x09f5 000009a7: JUMPI 000009a8: DUP2 000009a9: PUSH1 0x12 000009ab: PUSH1 0x04 000009ad: SLOAD 000009ae: PUSH1 0x64 000009b0: DUP2 000009b1: LT 000009b2: ISZERO 000009b3: ISZERO 000009b4: PUSH2 0x09b9 000009b7: JUMPI 000009b8: INVALID 000009b9: JUMPDEST 000009ba: ADD 000009bb: PUSH1 0x00 000009bd: JUMPDEST 000009be: PUSH2 0x0100 000009c1: EXP 000009c2: DUP2 000009c3: SLOAD 000009c4: DUP2 000009c5: PUSH1 0x01 000009c7: PUSH1 0xa0 000009c9: PUSH1 0x02 000009cb: EXP 000009cc: SUB 000009cd: MUL 000009ce: NOT 000009cf: AND 000009d0: SWAP1 000009d1: DUP4 000009d2: PUSH1 0x01 000009d4: PUSH1 0xa0 000009d6: PUSH1 0x02 000009d8: EXP 000009d9: SUB 000009da: AND 000009db: MUL 000009dc: OR 000009dd: SWAP1 000009de: SSTORE 000009df: POP 000009e0: PUSH1 0x01 000009e2: PUSH1 0x04 000009e4: PUSH1 0x00 000009e6: DUP3 000009e7: DUP3 000009e8: SLOAD 000009e9: ADD 000009ea: SWAP3 000009eb: POP 000009ec: POP 000009ed: DUP2 000009ee: SWAP1 000009ef: SSTORE 000009f0: POP 000009f1: PUSH2 0x0a98 000009f4: JUMP 000009f5: JUMPDEST 000009f6: PUSH1 0x01 000009f8: PUSH1 0x05 000009fa: SLOAD 000009fb: LT 000009fc: ISZERO 000009fd: PUSH2 0x0a05 00000a00: JUMPI 00000a01: PUSH1 0x00 00000a03: DUP1 00000a04: REVERT 00000a05: JUMPDEST 00000a06: PUSH1 0x05 00000a08: DUP1 00000a09: SLOAD 00000a0a: PUSH1 0x00 00000a0c: NOT 00000a0d: ADD 00000a0e: SWAP1 00000a0f: DUP2 00000a10: SWAP1 00000a11: SSTORE 00000a12: PUSH1 0x0e 00000a14: SWAP1 00000a15: PUSH1 0x64 00000a17: DUP2 00000a18: LT 00000a19: PUSH2 0x0a1e 00000a1c: JUMPI 00000a1d: INVALID 00000a1e: JUMPDEST 00000a1f: PUSH1 0x20 00000a21: SWAP2 00000a22: DUP3 00000a23: DUP3 00000a24: DIV 00000a25: ADD 00000a26: SWAP2 00000a27: SWAP1 00000a28: MOD 00000a29: JUMPDEST 00000a2a: SWAP1 00000a2b: SLOAD 00000a2c: PUSH1 0xff 00000a2e: PUSH2 0x0100 00000a31: SWAP3 00000a32: SWAP1 00000a33: SWAP3 00000a34: EXP 00000a35: SWAP1 00000a36: DIV 00000a37: AND 00000a38: SWAP1 00000a39: POP 00000a3a: DUP2 00000a3b: PUSH1 0x12 00000a3d: DUP3 00000a3e: PUSH1 0x64 00000a40: DUP2 00000a41: LT 00000a42: PUSH2 0x0a47 00000a45: JUMPI 00000a46: INVALID 00000a47: JUMPDEST 00000a48: ADD 00000a49: PUSH1 0x00 00000a4b: JUMPDEST 00000a4c: PUSH2 0x0100 00000a4f: EXP 00000a50: DUP2 00000a51: SLOAD 00000a52: DUP2 00000a53: PUSH1 0x01 00000a55: PUSH1 0xa0 00000a57: PUSH1 0x02 00000a59: EXP 00000a5a: SUB 00000a5b: MUL 00000a5c: NOT 00000a5d: AND 00000a5e: SWAP1 00000a5f: DUP4 00000a60: PUSH1 0x01 00000a62: PUSH1 0xa0 00000a64: PUSH1 0x02 00000a66: EXP 00000a67: SUB 00000a68: AND 00000a69: MUL 00000a6a: OR 00000a6b: SWAP1 00000a6c: SSTORE 00000a6d: POP 00000a6e: PUSH1 0x0e 00000a70: PUSH1 0x05 00000a72: SLOAD 00000a73: PUSH1 0x64 00000a75: DUP2 00000a76: LT 00000a77: ISZERO 00000a78: ISZERO 00000a79: PUSH2 0x0a7e 00000a7c: JUMPI 00000a7d: INVALID 00000a7e: JUMPDEST 00000a7f: PUSH1 0x20 00000a81: SWAP2 00000a82: DUP3 00000a83: DUP3 00000a84: DIV 00000a85: ADD 00000a86: SWAP2 00000a87: SWAP1 00000a88: MOD 00000a89: JUMPDEST 00000a8a: PUSH2 0x0100 00000a8d: EXP 00000a8e: DUP2 00000a8f: SLOAD 00000a90: SWAP1 00000a91: PUSH1 0xff 00000a93: MUL 00000a94: NOT 00000a95: AND 00000a96: SWAP1 00000a97: SSTORE 00000a98: JUMPDEST 00000a99: JUMPDEST 00000a9a: JUMPDEST 00000a9b: POP 00000a9c: POP 00000a9d: JUMP 00000a9e: JUMPDEST 00000a9f: NUMBER 00000aa0: JUMPDEST 00000aa1: SWAP1 00000aa2: JUMP 00000aa3: JUMPDEST 00000aa4: PUSH1 0x08 00000aa6: SLOAD 00000aa7: DUP2 00000aa8: JUMP 00000aa9: JUMPDEST 00000aaa: PUSH1 0x00 00000aac: PUSH1 0x03 00000aae: SLOAD 00000aaf: PUSH1 0x04 00000ab1: SLOAD 00000ab2: LT 00000ab3: ISZERO 00000ab4: PUSH2 0x0ac0 00000ab7: JUMPI 00000ab8: POP 00000ab9: PUSH1 0x04 00000abb: SLOAD 00000abc: PUSH2 0x083d 00000abf: JUMP 00000ac0: JUMPDEST 00000ac1: POP 00000ac2: PUSH1 0x05 00000ac4: SLOAD 00000ac5: PUSH1 0x03 00000ac7: SLOAD 00000ac8: SUB 00000ac9: PUSH2 0x083d 00000acc: JUMP 00000acd: JUMPDEST 00000ace: JUMPDEST 00000acf: SWAP1 00000ad0: JUMP 00000ad1: JUMPDEST 00000ad2: PUSH1 0x40 00000ad4: DUP1 00000ad5: MLOAD 00000ad6: SWAP1 00000ad7: DUP2 00000ad8: ADD 00000ad9: PUSH1 0x40 00000adb: MSTORE 00000adc: PUSH1 0x0d 00000ade: DUP2 00000adf: MSTORE 00000ae0: PUSH1 0x9c 00000ae2: PUSH1 0x02 00000ae4: EXP 00000ae5: PUSH13 0x0536861726b506f6f6c2031303 00000af3: MUL 00000af4: PUSH1 0x20 00000af6: DUP3 00000af7: ADD 00000af8: MSTORE 00000af9: DUP2 00000afa: JUMP 00000afb: JUMPDEST 00000afc: PUSH1 0x00 00000afe: SLOAD 00000aff: PUSH1 0xa0 00000b01: PUSH1 0x02 00000b03: EXP 00000b04: SWAP1 00000b05: DIV 00000b06: PUSH1 0xff 00000b08: AND 00000b09: ISZERO 00000b0a: PUSH2 0x0b12 00000b0d: JUMPI 00000b0e: PUSH1 0x00 00000b10: DUP1 00000b11: REVERT 00000b12: JUMPDEST 00000b13: PUSH1 0x00 00000b15: DUP1 00000b16: SLOAD 00000b17: PUSH1 0xa0 00000b19: PUSH1 0x02 00000b1b: EXP 00000b1c: PUSH1 0xff 00000b1e: MUL 00000b1f: NOT 00000b20: AND 00000b21: PUSH1 0xa0 00000b23: PUSH1 0x02 00000b25: EXP 00000b26: OR 00000b27: SWAP1 00000b28: DUP2 00000b29: SWAP1 00000b2a: SSTORE 00000b2b: CALLER 00000b2c: PUSH1 0x01 00000b2e: PUSH1 0xa0 00000b30: PUSH1 0x02 00000b32: EXP 00000b33: SUB 00000b34: SWAP1 00000b35: DUP2 00000b36: AND 00000b37: SWAP2 00000b38: AND 00000b39: EQ 00000b3a: PUSH2 0x0b42 00000b3d: JUMPI 00000b3e: PUSH1 0x00 00000b40: DUP1 00000b41: REVERT 00000b42: JUMPDEST 00000b43: PUSH1 0x02 00000b45: DUP1 00000b46: SLOAD 00000b47: PUSH1 0xff 00000b49: NOT 00000b4a: AND 00000b4b: DUP3 00000b4c: ISZERO 00000b4d: ISZERO 00000b4e: OR 00000b4f: SWAP1 00000b50: SSTORE 00000b51: JUMPDEST 00000b52: JUMPDEST 00000b53: PUSH1 0x00 00000b55: DUP1 00000b56: SLOAD 00000b57: PUSH1 0xa0 00000b59: PUSH1 0x02 00000b5b: EXP 00000b5c: PUSH1 0xff 00000b5e: MUL 00000b5f: NOT 00000b60: AND 00000b61: SWAP1 00000b62: SSTORE 00000b63: JUMPDEST 00000b64: POP 00000b65: JUMP 00000b66: JUMPDEST 00000b67: PUSH1 0x0c 00000b69: PUSH1 0x20 00000b6b: MSTORE 00000b6c: PUSH1 0x00 00000b6e: SWAP1 00000b6f: DUP2 00000b70: MSTORE 00000b71: PUSH1 0x40 00000b73: SWAP1 00000b74: KECCAK256 00000b75: SLOAD 00000b76: DUP2 00000b77: JUMP 00000b78: JUMPDEST 00000b79: PUSH1 0x00 00000b7b: DUP1 00000b7c: PUSH1 0x00 00000b7e: DUP1 00000b7f: PUSH1 0x00 00000b81: DUP1 00000b82: PUSH1 0x00 00000b84: PUSH2 0x0b8b 00000b87: PUSH2 0x1697 00000b8a: JUMP 00000b8b: JUMPDEST 00000b8c: PUSH2 0x0b9b 00000b8f: PUSH2 0x0b96 00000b92: PUSH2 0x0a9e 00000b95: JUMP 00000b96: JUMPDEST 00000b97: PUSH2 0x15ab 00000b9a: JUMP 00000b9b: JUMPDEST 00000b9c: PUSH1 0x0a 00000b9e: SLOAD 00000b9f: SWAP1 00000ba0: SWAP7 00000ba1: POP 00000ba2: PUSH1 0x01 00000ba4: PUSH1 0xa0 00000ba6: PUSH1 0x02 00000ba8: EXP 00000ba9: SUB 00000baa: AND 00000bab: PUSH4 0x88537daf 00000bb0: DUP8 00000bb1: ADDRESS 00000bb2: PUSH1 0x00 00000bb4: PUSH1 0x40 00000bb6: MLOAD 00000bb7: PUSH1 0x20 00000bb9: ADD 00000bba: MSTORE 00000bbb: PUSH1 0x40 00000bbd: MLOAD 00000bbe: PUSH1 0xe0 00000bc0: PUSH1 0x02 00000bc2: EXP 00000bc3: PUSH4 0xffffffff 00000bc8: DUP6 00000bc9: AND 00000bca: MUL 00000bcb: DUP2 00000bcc: MSTORE 00000bcd: PUSH1 0x04 00000bcf: DUP2 00000bd0: ADD 00000bd1: SWAP3 00000bd2: SWAP1 00000bd3: SWAP3 00000bd4: MSTORE 00000bd5: PUSH1 0x01 00000bd7: PUSH1 0xa0 00000bd9: PUSH1 0x02 00000bdb: EXP 00000bdc: SUB 00000bdd: AND 00000bde: PUSH1 0x24 00000be0: DUP3 00000be1: ADD 00000be2: MSTORE 00000be3: PUSH1 0x44 00000be5: ADD 00000be6: PUSH1 0x20 00000be8: PUSH1 0x40 00000bea: MLOAD 00000beb: DUP1 00000bec: DUP4 00000bed: SUB 00000bee: DUP2 00000bef: PUSH1 0x00 00000bf1: DUP8 00000bf2: DUP1 00000bf3: EXTCODESIZE 00000bf4: ISZERO 00000bf5: ISZERO 00000bf6: PUSH2 0x0bfe 00000bf9: JUMPI 00000bfa: PUSH1 0x00 00000bfc: DUP1 00000bfd: REVERT 00000bfe: JUMPDEST 00000bff: PUSH2 0x02c6 00000c02: GAS 00000c03: SUB 00000c04: CALL 00000c05: ISZERO 00000c06: ISZERO 00000c07: PUSH2 0x0c0f 00000c0a: JUMPI 00000c0b: PUSH1 0x00 00000c0d: DUP1 00000c0e: REVERT 00000c0f: JUMPDEST 00000c10: POP 00000c11: POP 00000c12: POP 00000c13: PUSH1 0x40 00000c15: MLOAD 00000c16: DUP1 00000c17: MLOAD 00000c18: ISZERO 00000c19: SWAP1 00000c1a: POP 00000c1b: PUSH2 0x0c23 00000c1e: JUMPI 00000c1f: PUSH1 0x00 00000c21: DUP1 00000c22: REVERT 00000c23: JUMPDEST 00000c24: PUSH1 0x00 00000c26: SWAP5 00000c27: POP 00000c28: PUSH1 0x00 00000c2a: SWAP4 00000c2b: POP 00000c2c: PUSH1 0x00 00000c2e: SWAP3 00000c2f: POP 00000c30: JUMPDEST 00000c31: PUSH1 0x04 00000c33: SLOAD 00000c34: DUP4 00000c35: PUSH1 0xff 00000c37: AND 00000c38: LT 00000c39: ISZERO 00000c3a: PUSH2 0x0cce 00000c3d: JUMPI 00000c3e: PUSH1 0x12 00000c40: PUSH1 0xff 00000c42: DUP5 00000c43: AND 00000c44: PUSH1 0x64 00000c46: DUP2 00000c47: LT 00000c48: PUSH2 0x0c4d 00000c4b: JUMPI 00000c4c: INVALID 00000c4d: JUMPDEST 00000c4e: ADD 00000c4f: PUSH1 0x00 00000c51: JUMPDEST 00000c52: SWAP1 00000c53: SLOAD 00000c54: PUSH1 0x01 00000c56: PUSH1 0xa0 00000c58: PUSH1 0x02 00000c5a: EXP 00000c5b: SUB 00000c5c: PUSH2 0x0100 00000c5f: SWAP3 00000c60: SWAP1 00000c61: SWAP3 00000c62: EXP 00000c63: SWAP1 00000c64: DIV 00000c65: AND 00000c66: SWAP2 00000c67: POP 00000c68: DUP2 00000c69: ISZERO 00000c6a: PUSH2 0x0cc1 00000c6d: JUMPI 00000c6e: PUSH1 0x01 00000c70: PUSH1 0xa0 00000c72: PUSH1 0x02 00000c74: EXP 00000c75: SUB 00000c76: DUP3 00000c77: AND 00000c78: PUSH1 0x00 00000c7a: SWAP1 00000c7b: DUP2 00000c7c: MSTORE 00000c7d: PUSH1 0x0b 00000c7f: PUSH1 0x20 00000c81: MSTORE 00000c82: PUSH1 0x40 00000c84: SWAP1 00000c85: DUP2 00000c86: SWAP1 00000c87: KECCAK256 00000c88: SWAP1 00000c89: DUP1 00000c8a: MLOAD 00000c8b: SWAP1 00000c8c: DUP2 00000c8d: ADD 00000c8e: PUSH1 0x40 00000c90: MSTORE 00000c91: DUP2 00000c92: SLOAD 00000c93: DUP2 00000c94: MSTORE 00000c95: PUSH1 0x01 00000c97: SWAP1 00000c98: SWAP2 00000c99: ADD 00000c9a: SLOAD 00000c9b: PUSH1 0x20 00000c9d: DUP3 00000c9e: ADD 00000c9f: MSTORE 00000ca0: PUSH1 0x07 00000ca2: SLOAD 00000ca3: SWAP1 00000ca4: SWAP2 00000ca5: POP 00000ca6: DUP2 00000ca7: MLOAD 00000ca8: GT 00000ca9: PUSH2 0x0cb1 00000cac: JUMPI 00000cad: PUSH2 0x0cc1 00000cb0: JUMP 00000cb1: JUMPDEST 00000cb2: DUP1 00000cb3: PUSH1 0x20 00000cb5: ADD 00000cb6: MLOAD 00000cb7: DUP6 00000cb8: ADD 00000cb9: SWAP5 00000cba: POP 00000cbb: PUSH1 0x01 00000cbd: DUP5 00000cbe: ADD 00000cbf: SWAP4 00000cc0: POP 00000cc1: JUMPDEST 00000cc2: JUMPDEST 00000cc3: JUMPDEST 00000cc4: PUSH1 0x01 00000cc6: SWAP1 00000cc7: SWAP3 00000cc8: ADD 00000cc9: SWAP2 00000cca: PUSH2 0x0c30 00000ccd: JUMP 00000cce: JUMPDEST 00000ccf: DUP5 00000cd0: DUP5 00000cd1: SWAP8 00000cd2: POP 00000cd3: SWAP8 00000cd4: POP 00000cd5: JUMPDEST 00000cd6: POP 00000cd7: POP 00000cd8: POP 00000cd9: POP 00000cda: POP 00000cdb: POP 00000cdc: SWAP1 00000cdd: SWAP2 00000cde: JUMP 00000cdf: JUMPDEST 00000ce0: PUSH1 0x00 00000ce2: PUSH1 0x03 00000ce4: SLOAD 00000ce5: PUSH1 0x04 00000ce7: SLOAD 00000ce8: LT 00000ce9: ISZERO 00000cea: PUSH2 0x0cfa 00000ced: JUMPI 00000cee: POP 00000cef: PUSH1 0x04 00000cf1: SLOAD 00000cf2: PUSH1 0x03 00000cf4: SLOAD 00000cf5: SUB 00000cf6: PUSH2 0x083d 00000cf9: JUMP 00000cfa: JUMPDEST 00000cfb: POP 00000cfc: PUSH1 0x05 00000cfe: SLOAD 00000cff: PUSH2 0x083d 00000d02: JUMP 00000d03: JUMPDEST 00000d04: JUMPDEST 00000d05: SWAP1 00000d06: JUMP 00000d07: JUMPDEST 00000d08: PUSH3 0x989680 00000d0c: DUP2 00000d0d: JUMP 00000d0e: JUMPDEST 00000d0f: PUSH1 0x05 00000d11: SLOAD 00000d12: DUP2 00000d13: JUMP 00000d14: JUMPDEST 00000d15: PUSH1 0x01 00000d17: PUSH1 0xa0 00000d19: PUSH1 0x02 00000d1b: EXP 00000d1c: SUB 00000d1d: DUP2 00000d1e: AND 00000d1f: PUSH1 0x00 00000d21: SWAP1 00000d22: DUP2 00000d23: MSTORE 00000d24: PUSH1 0x0d 00000d26: PUSH1 0x20 00000d28: MSTORE 00000d29: PUSH1 0x40 00000d2b: SWAP1 00000d2c: KECCAK256 00000d2d: SLOAD 00000d2e: JUMPDEST 00000d2f: SWAP2 00000d30: SWAP1 00000d31: POP 00000d32: JUMP 00000d33: JUMPDEST 00000d34: PUSH1 0x0a 00000d36: SLOAD 00000d37: PUSH1 0x00 00000d39: SWAP1 00000d3a: PUSH1 0x01 00000d3c: PUSH1 0xa0 00000d3e: PUSH1 0x02 00000d40: EXP 00000d41: SUB 00000d42: AND 00000d43: PUSH4 0x88537daf 00000d48: DUP5 00000d49: DUP5 00000d4a: DUP5 00000d4b: PUSH1 0x40 00000d4d: MLOAD 00000d4e: PUSH1 0x20 00000d50: ADD 00000d51: MSTORE 00000d52: PUSH1 0x40 00000d54: MLOAD 00000d55: PUSH1 0xe0 00000d57: PUSH1 0x02 00000d59: EXP 00000d5a: PUSH4 0xffffffff 00000d5f: DUP6 00000d60: AND 00000d61: MUL 00000d62: DUP2 00000d63: MSTORE 00000d64: PUSH1 0x04 00000d66: DUP2 00000d67: ADD 00000d68: SWAP3 00000d69: SWAP1 00000d6a: SWAP3 00000d6b: MSTORE 00000d6c: PUSH1 0x01 00000d6e: PUSH1 0xa0 00000d70: PUSH1 0x02 00000d72: EXP 00000d73: SUB 00000d74: AND 00000d75: PUSH1 0x24 00000d77: DUP3 00000d78: ADD 00000d79: MSTORE 00000d7a: PUSH1 0x44 00000d7c: ADD 00000d7d: PUSH1 0x20 00000d7f: PUSH1 0x40 00000d81: MLOAD 00000d82: DUP1 00000d83: DUP4 00000d84: SUB 00000d85: DUP2 00000d86: PUSH1 0x00 00000d88: DUP8 00000d89: DUP1 00000d8a: EXTCODESIZE 00000d8b: ISZERO 00000d8c: ISZERO 00000d8d: PUSH2 0x0d95 00000d90: JUMPI 00000d91: PUSH1 0x00 00000d93: DUP1 00000d94: REVERT 00000d95: JUMPDEST 00000d96: PUSH2 0x02c6 00000d99: GAS 00000d9a: SUB 00000d9b: CALL 00000d9c: ISZERO 00000d9d: ISZERO 00000d9e: PUSH2 0x0da6 00000da1: JUMPI 00000da2: PUSH1 0x00 00000da4: DUP1 00000da5: REVERT 00000da6: JUMPDEST 00000da7: POP 00000da8: POP 00000da9: POP 00000daa: PUSH1 0x40 00000dac: MLOAD 00000dad: DUP1 00000dae: MLOAD 00000daf: SWAP2 00000db0: POP 00000db1: POP 00000db2: JUMPDEST 00000db3: SWAP3 00000db4: SWAP2 00000db5: POP 00000db6: POP 00000db7: JUMP 00000db8: JUMPDEST 00000db9: PUSH1 0x00 00000dbb: SLOAD 00000dbc: PUSH1 0x01 00000dbe: PUSH1 0xa0 00000dc0: PUSH1 0x02 00000dc2: EXP 00000dc3: SUB 00000dc4: AND 00000dc5: DUP2 00000dc6: JUMP 00000dc7: JUMPDEST 00000dc8: PUSH1 0x00 00000dca: DUP1 00000dcb: PUSH1 0x00 00000dcd: DUP1 00000dce: PUSH1 0x00 00000dd0: PUSH2 0x0dd7 00000dd3: PUSH2 0x1697 00000dd6: JUMP 00000dd7: JUMPDEST 00000dd8: PUSH1 0x00 00000dda: SLOAD 00000ddb: PUSH1 0xa0 00000ddd: PUSH1 0x02 00000ddf: EXP 00000de0: SWAP1 00000de1: DIV 00000de2: PUSH1 0xff 00000de4: AND 00000de5: ISZERO 00000de6: PUSH2 0x0dee 00000de9: JUMPI 00000dea: PUSH1 0x00 00000dec: DUP1 00000ded: REVERT 00000dee: JUMPDEST 00000def: PUSH1 0x00 00000df1: DUP1 00000df2: SLOAD 00000df3: PUSH1 0xa0 00000df5: PUSH1 0x02 00000df7: EXP 00000df8: PUSH1 0xff 00000dfa: MUL 00000dfb: NOT 00000dfc: AND 00000dfd: PUSH1 0xa0 00000dff: PUSH1 0x02 00000e01: EXP 00000e02: OR 00000e03: SWAP1 00000e04: SSTORE 00000e05: PUSH2 0x0e14 00000e08: PUSH2 0x0b96 00000e0b: PUSH2 0x0a9e 00000e0e: JUMP 00000e0f: JUMPDEST 00000e10: PUSH2 0x15ab 00000e13: JUMP 00000e14: JUMPDEST 00000e15: PUSH1 0x0a 00000e17: SLOAD 00000e18: SWAP1 00000e19: SWAP7 00000e1a: POP 00000e1b: PUSH1 0x01 00000e1d: PUSH1 0xa0 00000e1f: PUSH1 0x02 00000e21: EXP 00000e22: SUB 00000e23: AND 00000e24: PUSH4 0x88537daf 00000e29: DUP8 00000e2a: ADDRESS 00000e2b: PUSH1 0x00 00000e2d: PUSH1 0x40 00000e2f: MLOAD 00000e30: PUSH1 0x20 00000e32: ADD 00000e33: MSTORE 00000e34: PUSH1 0x40 00000e36: MLOAD 00000e37: PUSH1 0xe0 00000e39: PUSH1 0x02 00000e3b: EXP 00000e3c: PUSH4 0xffffffff 00000e41: DUP6 00000e42: AND 00000e43: MUL 00000e44: DUP2 00000e45: MSTORE 00000e46: PUSH1 0x04 00000e48: DUP2 00000e49: ADD 00000e4a: SWAP3 00000e4b: SWAP1 00000e4c: SWAP3 00000e4d: MSTORE 00000e4e: PUSH1 0x01 00000e50: PUSH1 0xa0 00000e52: PUSH1 0x02 00000e54: EXP 00000e55: SUB 00000e56: AND 00000e57: PUSH1 0x24 00000e59: DUP3 00000e5a: ADD 00000e5b: MSTORE 00000e5c: PUSH1 0x44 00000e5e: ADD 00000e5f: PUSH1 0x20 00000e61: PUSH1 0x40 00000e63: MLOAD 00000e64: DUP1 00000e65: DUP4 00000e66: SUB 00000e67: DUP2 00000e68: PUSH1 0x00 00000e6a: DUP8 00000e6b: DUP1 00000e6c: EXTCODESIZE 00000e6d: ISZERO 00000e6e: ISZERO 00000e6f: PUSH2 0x0e77 00000e72: JUMPI 00000e73: PUSH1 0x00 00000e75: DUP1 00000e76: REVERT 00000e77: JUMPDEST 00000e78: PUSH2 0x02c6 00000e7b: GAS 00000e7c: SUB 00000e7d: CALL 00000e7e: ISZERO 00000e7f: ISZERO 00000e80: PUSH2 0x0e88 00000e83: JUMPI 00000e84: PUSH1 0x00 00000e86: DUP1 00000e87: REVERT 00000e88: JUMPDEST 00000e89: POP 00000e8a: POP 00000e8b: POP 00000e8c: PUSH1 0x40 00000e8e: MLOAD 00000e8f: DUP1 00000e90: MLOAD 00000e91: ISZERO 00000e92: SWAP1 00000e93: POP 00000e94: PUSH2 0x0e9c 00000e97: JUMPI 00000e98: PUSH1 0x00 00000e9a: DUP1 00000e9b: REVERT 00000e9c: JUMPDEST 00000e9d: PUSH1 0x00 00000e9f: SWAP5 00000ea0: POP 00000ea1: PUSH1 0x00 00000ea3: SWAP4 00000ea4: POP 00000ea5: PUSH1 0x00 00000ea7: SWAP3 00000ea8: POP 00000ea9: JUMPDEST 00000eaa: PUSH1 0x04 00000eac: SLOAD 00000ead: DUP4 00000eae: PUSH1 0xff 00000eb0: AND 00000eb1: LT 00000eb2: ISZERO 00000eb3: PUSH2 0x1007 00000eb6: JUMPI 00000eb7: PUSH1 0x12 00000eb9: PUSH1 0xff 00000ebb: DUP5 00000ebc: AND 00000ebd: PUSH1 0x64 00000ebf: DUP2 00000ec0: LT 00000ec1: PUSH2 0x0ec6 00000ec4: JUMPI 00000ec5: INVALID 00000ec6: JUMPDEST 00000ec7: ADD 00000ec8: PUSH1 0x00 00000eca: JUMPDEST 00000ecb: SWAP1 00000ecc: SLOAD 00000ecd: PUSH1 0x01 00000ecf: PUSH1 0xa0 00000ed1: PUSH1 0x02 00000ed3: EXP 00000ed4: SUB 00000ed5: PUSH2 0x0100 00000ed8: SWAP3 00000ed9: SWAP1 00000eda: SWAP3 00000edb: EXP 00000edc: SWAP1 00000edd: DIV 00000ede: AND 00000edf: SWAP2 00000ee0: POP 00000ee1: DUP2 00000ee2: ISZERO 00000ee3: PUSH2 0x0ffa 00000ee6: JUMPI 00000ee7: PUSH1 0x01 00000ee9: PUSH1 0xa0 00000eeb: PUSH1 0x02 00000eed: EXP 00000eee: SUB 00000eef: DUP3 00000ef0: AND 00000ef1: PUSH1 0x00 00000ef3: SWAP1 00000ef4: DUP2 00000ef5: MSTORE 00000ef6: PUSH1 0x0b 00000ef8: PUSH1 0x20 00000efa: MSTORE 00000efb: PUSH1 0x40 00000efd: SWAP1 00000efe: DUP2 00000eff: SWAP1 00000f00: KECCAK256 00000f01: SWAP1 00000f02: DUP1 00000f03: MLOAD 00000f04: SWAP1 00000f05: DUP2 00000f06: ADD 00000f07: PUSH1 0x40 00000f09: MSTORE 00000f0a: DUP2 00000f0b: SLOAD 00000f0c: DUP2 00000f0d: MSTORE 00000f0e: PUSH1 0x01 00000f10: SWAP1 00000f11: SWAP2 00000f12: ADD 00000f13: SLOAD 00000f14: PUSH1 0x20 00000f16: DUP3 00000f17: ADD 00000f18: MSTORE 00000f19: PUSH1 0x07 00000f1b: SLOAD 00000f1c: SWAP1 00000f1d: SWAP2 00000f1e: POP 00000f1f: DUP2 00000f20: MLOAD 00000f21: GT 00000f22: PUSH2 0x0ff0 00000f25: JUMPI 00000f26: PUSH1 0x0a 00000f28: DUP5 00000f29: PUSH1 0xff 00000f2b: AND 00000f2c: LT 00000f2d: ISZERO 00000f2e: PUSH2 0x0feb 00000f31: JUMPI 00000f32: DUP3 00000f33: PUSH1 0x0e 00000f35: PUSH1 0x05 00000f37: SLOAD 00000f38: PUSH1 0x64 00000f3a: DUP2 00000f3b: LT 00000f3c: ISZERO 00000f3d: ISZERO 00000f3e: PUSH2 0x0f43 00000f41: JUMPI 00000f42: INVALID 00000f43: JUMPDEST 00000f44: PUSH1 0x20 00000f46: SWAP2 00000f47: DUP3 00000f48: DUP3 00000f49: DIV 00000f4a: ADD 00000f4b: SWAP2 00000f4c: SWAP1 00000f4d: MOD 00000f4e: JUMPDEST 00000f4f: PUSH2 0x0100 00000f52: EXP 00000f53: DUP2 00000f54: SLOAD 00000f55: DUP2 00000f56: PUSH1 0xff 00000f58: MUL 00000f59: NOT 00000f5a: AND 00000f5b: SWAP1 00000f5c: DUP4 00000f5d: PUSH1 0xff 00000f5f: AND 00000f60: MUL 00000f61: OR 00000f62: SWAP1 00000f63: SSTORE 00000f64: POP 00000f65: PUSH1 0x0b 00000f67: PUSH1 0x00 00000f69: PUSH1 0x12 00000f6b: DUP6 00000f6c: PUSH1 0xff 00000f6e: AND 00000f6f: PUSH1 0x64 00000f71: DUP2 00000f72: LT 00000f73: ISZERO 00000f74: ISZERO 00000f75: PUSH2 0x0f7a 00000f78: JUMPI 00000f79: INVALID 00000f7a: JUMPDEST 00000f7b: ADD 00000f7c: PUSH1 0x00 00000f7e: JUMPDEST 00000f7f: SWAP1 00000f80: SLOAD 00000f81: PUSH1 0x01 00000f83: PUSH1 0xa0 00000f85: PUSH1 0x02 00000f87: EXP 00000f88: SUB 00000f89: PUSH2 0x0100 00000f8c: SWAP3 00000f8d: SWAP1 00000f8e: SWAP3 00000f8f: EXP 00000f90: SWAP1 00000f91: DIV 00000f92: AND 00000f93: DUP2 00000f94: MSTORE 00000f95: PUSH1 0x20 00000f97: DUP2 00000f98: ADD 00000f99: SWAP2 00000f9a: SWAP1 00000f9b: SWAP2 00000f9c: MSTORE 00000f9d: PUSH1 0x40 00000f9f: ADD 00000fa0: PUSH1 0x00 00000fa2: SWAP1 00000fa3: DUP2 00000fa4: KECCAK256 00000fa5: DUP2 00000fa6: DUP2 00000fa7: SSTORE 00000fa8: PUSH1 0x01 00000faa: ADD 00000fab: SSTORE 00000fac: PUSH1 0x12 00000fae: PUSH1 0xff 00000fb0: DUP5 00000fb1: AND 00000fb2: PUSH1 0x64 00000fb4: DUP2 00000fb5: LT 00000fb6: PUSH2 0x0fbb 00000fb9: JUMPI 00000fba: INVALID 00000fbb: JUMPDEST 00000fbc: ADD 00000fbd: PUSH1 0x00 00000fbf: JUMPDEST 00000fc0: PUSH2 0x0100 00000fc3: EXP 00000fc4: DUP2 00000fc5: SLOAD 00000fc6: SWAP1 00000fc7: PUSH1 0x01 00000fc9: PUSH1 0xa0 00000fcb: PUSH1 0x02 00000fcd: EXP 00000fce: SUB 00000fcf: MUL 00000fd0: NOT 00000fd1: AND 00000fd2: SWAP1 00000fd3: SSTORE 00000fd4: DUP4 00000fd5: PUSH1 0x01 00000fd7: ADD 00000fd8: SWAP4 00000fd9: POP 00000fda: PUSH1 0x01 00000fdc: PUSH1 0x05 00000fde: PUSH1 0x00 00000fe0: DUP3 00000fe1: DUP3 00000fe2: SLOAD 00000fe3: ADD 00000fe4: SWAP3 00000fe5: POP 00000fe6: POP 00000fe7: DUP2 00000fe8: SWAP1 00000fe9: SSTORE 00000fea: POP 00000feb: JUMPDEST 00000fec: PUSH2 0x0ffa 00000fef: JUMP 00000ff0: JUMPDEST 00000ff1: DUP1 00000ff2: PUSH1 0x20 00000ff4: ADD 00000ff5: MLOAD 00000ff6: DUP6 00000ff7: ADD 00000ff8: SWAP5 00000ff9: POP 00000ffa: JUMPDEST 00000ffb: JUMPDEST 00000ffc: JUMPDEST 00000ffd: PUSH1 0x01 00000fff: SWAP1 00001000: SWAP3 00001001: ADD 00001002: SWAP2 00001003: PUSH2 0x0ea9 00001006: JUMP 00001007: JUMPDEST 00001008: PUSH2 0x100f 0000100b: PUSH2 0x07c1 0000100e: JUMP 0000100f: JUMPDEST 00001010: DUP6 00001011: GT 00001012: ISZERO 00001013: PUSH2 0x1088 00001016: JUMPI 00001017: PUSH1 0x00 00001019: DUP7 0000101a: DUP2 0000101b: MSTORE 0000101c: PUSH1 0x0c 0000101e: PUSH1 0x20 00001020: MSTORE 00001021: PUSH1 0x40 00001023: SWAP1 00001024: DUP2 00001025: SWAP1 00001026: KECCAK256 00001027: DUP7 00001028: SWAP1 00001029: SSTORE 0000102a: PUSH1 0x0a 0000102c: SLOAD 0000102d: PUSH1 0x01 0000102f: PUSH1 0xa0 00001031: PUSH1 0x02 00001033: EXP 00001034: SUB 00001035: AND 00001036: SWAP1 00001037: PUSH4 0x99f4b251 0000103c: SWAP1 0000103d: DUP8 0000103e: SWAP1 0000103f: MLOAD 00001040: DUP3 00001041: PUSH4 0xffffffff 00001046: AND 00001047: PUSH1 0xe0 00001049: PUSH1 0x02 0000104b: EXP 0000104c: MUL 0000104d: DUP2 0000104e: MSTORE 0000104f: PUSH1 0x04 00001051: ADD 00001052: PUSH1 0x00 00001054: PUSH1 0x40 00001056: MLOAD 00001057: DUP1 00001058: DUP4 00001059: SUB 0000105a: DUP2 0000105b: DUP6 0000105c: DUP9 0000105d: DUP1 0000105e: EXTCODESIZE 0000105f: ISZERO 00001060: ISZERO 00001061: PUSH2 0x1069 00001064: JUMPI 00001065: PUSH1 0x00 00001067: DUP1 00001068: REVERT 00001069: JUMPDEST 0000106a: PUSH2 0x25ee 0000106d: GAS 0000106e: SUB 0000106f: CALL 00001070: ISZERO 00001071: ISZERO 00001072: PUSH2 0x107a 00001075: JUMPI 00001076: PUSH1 0x00 00001078: DUP1 00001079: REVERT 0000107a: JUMPDEST 0000107b: POP 0000107c: POP 0000107d: PUSH1 0x07 0000107f: DUP1 00001080: SLOAD 00001081: PUSH1 0x01 00001083: ADD 00001084: SWAP1 00001085: SSTORE 00001086: POP 00001087: POP 00001088: JUMPDEST 00001089: JUMPDEST 0000108a: PUSH1 0x00 0000108c: DUP1 0000108d: SLOAD 0000108e: PUSH1 0xa0 00001090: PUSH1 0x02 00001092: EXP 00001093: PUSH1 0xff 00001095: MUL 00001096: NOT 00001097: AND 00001098: SWAP1 00001099: SSTORE 0000109a: JUMPDEST 0000109b: POP 0000109c: POP 0000109d: POP 0000109e: POP 0000109f: POP 000010a0: POP 000010a1: JUMP 000010a2: JUMPDEST 000010a3: PUSH1 0x00 000010a5: DUP1 000010a6: PUSH1 0x00 000010a8: DUP1 000010a9: PUSH2 0x10b0 000010ac: PUSH2 0x1697 000010af: JUMP 000010b0: JUMPDEST 000010b1: PUSH1 0x01 000010b3: PUSH1 0xa0 000010b5: PUSH1 0x02 000010b7: EXP 000010b8: SUB 000010b9: DUP7 000010ba: AND 000010bb: PUSH1 0x00 000010bd: SWAP1 000010be: DUP2 000010bf: MSTORE 000010c0: PUSH1 0x0b 000010c2: PUSH1 0x20 000010c4: MSTORE 000010c5: PUSH1 0x40 000010c7: DUP2 000010c8: KECCAK256 000010c9: SLOAD 000010ca: DUP2 000010cb: SWAP1 000010cc: GT 000010cd: ISZERO 000010ce: PUSH2 0x114a 000010d1: JUMPI 000010d2: PUSH1 0x01 000010d4: PUSH1 0xa0 000010d6: PUSH1 0x02 000010d8: EXP 000010d9: SUB 000010da: DUP8 000010db: AND 000010dc: PUSH1 0x00 000010de: SWAP1 000010df: DUP2 000010e0: MSTORE 000010e1: PUSH1 0x0b 000010e3: PUSH1 0x20 000010e5: MSTORE 000010e6: PUSH1 0x40 000010e8: SWAP1 000010e9: DUP2 000010ea: SWAP1 000010eb: KECCAK256 000010ec: SWAP1 000010ed: DUP1 000010ee: MLOAD 000010ef: SWAP1 000010f0: DUP2 000010f1: ADD 000010f2: PUSH1 0x40 000010f4: MSTORE 000010f5: DUP2 000010f6: SLOAD 000010f7: DUP2 000010f8: MSTORE 000010f9: PUSH1 0x01 000010fb: SWAP1 000010fc: SWAP2 000010fd: ADD 000010fe: SLOAD 000010ff: PUSH1 0x20 00001101: DUP3 00001102: ADD 00001103: MSTORE 00001104: PUSH1 0x07 00001106: SLOAD 00001107: SWAP1 00001108: SWAP3 00001109: POP 0000110a: PUSH1 0x00 0000110c: SWAP2 0000110d: POP 0000110e: DUP3 0000110f: MLOAD 00001110: GT 00001111: ISZERO 00001112: PUSH2 0x1122 00001115: JUMPI 00001116: PUSH1 0x07 00001118: SLOAD 00001119: DUP3 0000111a: MLOAD 0000111b: SUB 0000111c: SWAP1 0000111d: POP 0000111e: PUSH2 0x1126 00001121: JUMP 00001122: JUMPDEST 00001123: POP 00001124: PUSH1 0x00 00001126: JUMPDEST 00001127: DUP2 00001128: MLOAD 00001129: DUP3 0000112a: PUSH1 0x20 0000112c: ADD 0000112d: MLOAD 0000112e: PUSH1 0x06 00001130: SLOAD 00001131: DUP5 00001132: PUSH1 0x20 00001134: ADD 00001135: MLOAD 00001136: MUL 00001137: DUP4 00001138: DUP6 00001139: PUSH1 0x20 0000113b: ADD 0000113c: MLOAD 0000113d: MUL 0000113e: SWAP6 0000113f: POP 00001140: SWAP6 00001141: POP 00001142: SWAP6 00001143: POP 00001144: SWAP6 00001145: POP 00001146: PUSH2 0x1158 00001149: JUMP 0000114a: JUMPDEST 0000114b: PUSH1 0x00 0000114d: SWAP6 0000114e: POP 0000114f: DUP6 00001150: SWAP5 00001151: POP 00001152: DUP5 00001153: SWAP4 00001154: POP 00001155: DUP4 00001156: SWAP3 00001157: POP 00001158: JUMPDEST 00001159: POP 0000115a: POP 0000115b: SWAP2 0000115c: SWAP4 0000115d: POP 0000115e: SWAP2 0000115f: SWAP4 00001160: JUMP 00001161: JUMPDEST 00001162: PUSH1 0x0b 00001164: PUSH1 0x20 00001166: MSTORE 00001167: PUSH1 0x00 00001169: SWAP1 0000116a: DUP2 0000116b: MSTORE 0000116c: PUSH1 0x40 0000116e: SWAP1 0000116f: KECCAK256 00001170: DUP1 00001171: SLOAD 00001172: PUSH1 0x01 00001174: SWAP1 00001175: SWAP2 00001176: ADD 00001177: SLOAD 00001178: DUP3 00001179: JUMP 0000117a: JUMPDEST 0000117b: PUSH1 0x09 0000117d: SLOAD 0000117e: DUP2 0000117f: JUMP 00001180: JUMPDEST 00001181: PUSH1 0x00 00001183: SLOAD 00001184: PUSH1 0xa0 00001186: PUSH1 0x02 00001188: EXP 00001189: SWAP1 0000118a: DIV 0000118b: PUSH1 0xff 0000118d: AND 0000118e: ISZERO 0000118f: PUSH2 0x1197 00001192: JUMPI 00001193: PUSH1 0x00 00001195: DUP1 00001196: REVERT 00001197: JUMPDEST 00001198: PUSH1 0x00 0000119a: DUP1 0000119b: SLOAD 0000119c: PUSH1 0xa0 0000119e: PUSH1 0x02 000011a0: EXP 000011a1: PUSH1 0xff 000011a3: MUL 000011a4: NOT 000011a5: AND 000011a6: PUSH1 0xa0 000011a8: PUSH1 0x02 000011aa: EXP 000011ab: OR 000011ac: SWAP1 000011ad: DUP2 000011ae: SWAP1 000011af: SSTORE 000011b0: CALLER 000011b1: PUSH1 0x01 000011b3: PUSH1 0xa0 000011b5: PUSH1 0x02 000011b7: EXP 000011b8: SUB 000011b9: SWAP1 000011ba: DUP2 000011bb: AND 000011bc: SWAP2 000011bd: AND 000011be: EQ 000011bf: PUSH2 0x11c7 000011c2: JUMPI 000011c3: PUSH1 0x00 000011c5: DUP1 000011c6: REVERT 000011c7: JUMPDEST 000011c8: PUSH1 0x0b 000011ca: PUSH1 0xff 000011cc: DUP3 000011cd: AND 000011ce: LT 000011cf: PUSH2 0x11d7 000011d2: JUMPI 000011d3: PUSH1 0x00 000011d5: DUP1 000011d6: REVERT 000011d7: JUMPDEST 000011d8: PUSH1 0xff 000011da: DUP2 000011db: AND 000011dc: PUSH1 0x01 000011de: SSTORE 000011df: JUMPDEST 000011e0: JUMPDEST 000011e1: PUSH1 0x00 000011e3: DUP1 000011e4: SLOAD 000011e5: PUSH1 0xa0 000011e7: PUSH1 0x02 000011e9: EXP 000011ea: PUSH1 0xff 000011ec: MUL 000011ed: NOT 000011ee: AND 000011ef: SWAP1 000011f0: SSTORE 000011f1: JUMPDEST 000011f2: POP 000011f3: JUMP 000011f4: JUMPDEST 000011f5: PUSH1 0x07 000011f7: SLOAD 000011f8: DUP2 000011f9: JUMP 000011fa: JUMPDEST 000011fb: PUSH1 0x03 000011fd: SLOAD 000011fe: DUP2 000011ff: JUMP 00001200: JUMPDEST 00001201: PUSH1 0x02 00001203: SLOAD 00001204: PUSH1 0xff 00001206: AND 00001207: DUP2 00001208: JUMP 00001209: JUMPDEST 0000120a: PUSH20 0x73dd069c299a5d691e9836243bcaec9c8c1d8734 0000121f: JUMPDEST 00001220: SWAP1 00001221: JUMP 00001222: JUMPDEST 00001223: PUSH1 0x00 00001225: SLOAD 00001226: PUSH1 0xa0 00001228: PUSH1 0x02 0000122a: EXP 0000122b: SWAP1 0000122c: DIV 0000122d: PUSH1 0xff 0000122f: AND 00001230: ISZERO 00001231: PUSH2 0x1239 00001234: JUMPI 00001235: PUSH1 0x00 00001237: DUP1 00001238: REVERT 00001239: JUMPDEST 0000123a: PUSH1 0x00 0000123c: DUP1 0000123d: SLOAD 0000123e: PUSH1 0xa0 00001240: PUSH1 0x02 00001242: EXP 00001243: PUSH1 0xff 00001245: MUL 00001246: NOT 00001247: AND 00001248: PUSH1 0xa0 0000124a: PUSH1 0x02 0000124c: EXP 0000124d: OR 0000124e: SWAP1 0000124f: SSTORE 00001250: PUSH2 0x1257 00001253: PUSH2 0x0840 00001256: JUMP 00001257: JUMPDEST 00001258: JUMPDEST 00001259: PUSH1 0x00 0000125b: DUP1 0000125c: SLOAD 0000125d: PUSH1 0xa0 0000125f: PUSH1 0x02 00001261: EXP 00001262: PUSH1 0xff 00001264: MUL 00001265: NOT 00001266: AND 00001267: SWAP1 00001268: SSTORE 00001269: JUMPDEST 0000126a: JUMP 0000126b: JUMPDEST 0000126c: PUSH1 0x06 0000126e: SLOAD 0000126f: DUP2 00001270: JUMP 00001271: JUMPDEST 00001272: PUSH1 0x0a 00001274: SLOAD 00001275: PUSH1 0x00 00001277: SWAP1 00001278: PUSH1 0x01 0000127a: PUSH1 0xa0 0000127c: PUSH1 0x02 0000127e: EXP 0000127f: SUB 00001280: AND 00001281: PUSH4 0xdda6c3ce 00001286: DUP4 00001287: DUP4 00001288: PUSH1 0x40 0000128a: MLOAD 0000128b: PUSH1 0x20 0000128d: ADD 0000128e: MSTORE 0000128f: PUSH1 0x40 00001291: MLOAD 00001292: PUSH1 0xe0 00001294: PUSH1 0x02 00001296: EXP 00001297: PUSH4 0xffffffff 0000129c: DUP5 0000129d: AND 0000129e: MUL 0000129f: DUP2 000012a0: MSTORE 000012a1: PUSH1 0x04 000012a3: DUP2 000012a4: ADD 000012a5: SWAP2 000012a6: SWAP1 000012a7: SWAP2 000012a8: MSTORE 000012a9: PUSH1 0x24 000012ab: ADD 000012ac: PUSH1 0x20 000012ae: PUSH1 0x40 000012b0: MLOAD 000012b1: DUP1 000012b2: DUP4 000012b3: SUB 000012b4: DUP2 000012b5: PUSH1 0x00 000012b7: DUP8 000012b8: DUP1 000012b9: EXTCODESIZE 000012ba: ISZERO 000012bb: ISZERO 000012bc: PUSH2 0x12c4 000012bf: JUMPI 000012c0: PUSH1 0x00 000012c2: DUP1 000012c3: REVERT 000012c4: JUMPDEST 000012c5: PUSH2 0x02c6 000012c8: GAS 000012c9: SUB 000012ca: CALL 000012cb: ISZERO 000012cc: ISZERO 000012cd: PUSH2 0x12d5 000012d0: JUMPI 000012d1: PUSH1 0x00 000012d3: DUP1 000012d4: REVERT 000012d5: JUMPDEST 000012d6: POP 000012d7: POP 000012d8: POP 000012d9: PUSH1 0x40 000012db: MLOAD 000012dc: DUP1 000012dd: MLOAD 000012de: SWAP2 000012df: POP 000012e0: POP 000012e1: JUMPDEST 000012e2: SWAP2 000012e3: SWAP1 000012e4: POP 000012e5: JUMP 000012e6: JUMPDEST 000012e7: PUSH1 0x00 000012e9: DUP1 000012ea: SLOAD 000012eb: DUP2 000012ec: SWAP1 000012ed: DUP2 000012ee: SWAP1 000012ef: DUP2 000012f0: SWAP1 000012f1: PUSH1 0xa0 000012f3: PUSH1 0x02 000012f5: EXP 000012f6: SWAP1 000012f7: DIV 000012f8: PUSH1 0xff 000012fa: AND 000012fb: ISZERO 000012fc: PUSH2 0x1304 000012ff: JUMPI 00001300: PUSH1 0x00 00001302: DUP1 00001303: REVERT 00001304: JUMPDEST 00001305: PUSH1 0x00 00001307: DUP1 00001308: SLOAD 00001309: PUSH1 0xa0 0000130b: PUSH1 0x02 0000130d: EXP 0000130e: PUSH1 0xff 00001310: MUL 00001311: NOT 00001312: AND 00001313: PUSH1 0xa0 00001315: PUSH1 0x02 00001317: EXP 00001318: OR 00001319: DUP2 0000131a: SSTORE 0000131b: PUSH1 0x0a 0000131d: SLOAD 0000131e: PUSH1 0x01 00001320: PUSH1 0xa0 00001322: PUSH1 0x02 00001324: EXP 00001325: SUB 00001326: AND 00001327: SWAP1 00001328: PUSH4 0xdda6c3ce 0000132d: SWAP1 0000132e: DUP9 0000132f: SWAP1 00001330: PUSH1 0x40 00001332: MLOAD 00001333: PUSH1 0x20 00001335: ADD 00001336: MSTORE 00001337: PUSH1 0x40 00001339: MLOAD 0000133a: PUSH1 0xe0 0000133c: PUSH1 0x02 0000133e: EXP 0000133f: PUSH4 0xffffffff 00001344: DUP5 00001345: AND 00001346: MUL 00001347: DUP2 00001348: MSTORE 00001349: PUSH1 0x04 0000134b: DUP2 0000134c: ADD 0000134d: SWAP2 0000134e: SWAP1 0000134f: SWAP2 00001350: MSTORE 00001351: PUSH1 0x24 00001353: ADD 00001354: PUSH1 0x20 00001356: PUSH1 0x40 00001358: MLOAD 00001359: DUP1 0000135a: DUP4 0000135b: SUB 0000135c: DUP2 0000135d: PUSH1 0x00 0000135f: DUP8 00001360: DUP1 00001361: EXTCODESIZE 00001362: ISZERO 00001363: ISZERO 00001364: PUSH2 0x136c 00001367: JUMPI 00001368: PUSH1 0x00 0000136a: DUP1 0000136b: REVERT 0000136c: JUMPDEST 0000136d: PUSH2 0x02c6 00001370: GAS 00001371: SUB 00001372: CALL 00001373: ISZERO 00001374: ISZERO 00001375: PUSH2 0x137d 00001378: JUMPI 00001379: PUSH1 0x00 0000137b: DUP1 0000137c: REVERT 0000137d: JUMPDEST 0000137e: POP 0000137f: POP 00001380: POP 00001381: PUSH1 0x40 00001383: MLOAD 00001384: DUP1 00001385: MLOAD 00001386: SWAP1 00001387: POP 00001388: ISZERO 00001389: ISZERO 0000138a: PUSH2 0x1392 0000138d: JUMPI 0000138e: PUSH1 0x00 00001390: DUP1 00001391: REVERT 00001392: JUMPDEST 00001393: PUSH1 0x0a 00001395: SLOAD 00001396: PUSH1 0x01 00001398: PUSH1 0xa0 0000139a: PUSH1 0x02 0000139c: EXP 0000139d: SUB 0000139e: AND 0000139f: PUSH4 0x70a08231 000013a4: ADDRESS 000013a5: PUSH1 0x00 000013a7: PUSH1 0x40 000013a9: MLOAD 000013aa: PUSH1 0x20 000013ac: ADD 000013ad: MSTORE 000013ae: PUSH1 0x40 000013b0: MLOAD 000013b1: PUSH1 0xe0 000013b3: PUSH1 0x02 000013b5: EXP 000013b6: PUSH4 0xffffffff 000013bb: DUP5 000013bc: AND 000013bd: MUL 000013be: DUP2 000013bf: MSTORE 000013c0: PUSH1 0x01 000013c2: PUSH1 0xa0 000013c4: PUSH1 0x02 000013c6: EXP 000013c7: SUB 000013c8: SWAP1 000013c9: SWAP2 000013ca: AND 000013cb: PUSH1 0x04 000013cd: DUP3 000013ce: ADD 000013cf: MSTORE 000013d0: PUSH1 0x24 000013d2: ADD 000013d3: PUSH1 0x20 000013d5: PUSH1 0x40 000013d7: MLOAD 000013d8: DUP1 000013d9: DUP4 000013da: SUB 000013db: DUP2 000013dc: PUSH1 0x00 000013de: DUP8 000013df: DUP1 000013e0: EXTCODESIZE 000013e1: ISZERO 000013e2: ISZERO 000013e3: PUSH2 0x13eb 000013e6: JUMPI 000013e7: PUSH1 0x00 000013e9: DUP1 000013ea: REVERT 000013eb: JUMPDEST 000013ec: PUSH2 0x02c6 000013ef: GAS 000013f0: SUB 000013f1: CALL 000013f2: ISZERO 000013f3: ISZERO 000013f4: PUSH2 0x13fc 000013f7: JUMPI 000013f8: PUSH1 0x00 000013fa: DUP1 000013fb: REVERT 000013fc: JUMPDEST 000013fd: POP 000013fe: POP 000013ff: POP 00001400: PUSH1 0x40 00001402: MLOAD 00001403: DUP1 00001404: MLOAD 00001405: PUSH1 0x0a 00001407: SLOAD 00001408: SWAP1 00001409: SWAP5 0000140a: POP 0000140b: PUSH1 0x01 0000140d: PUSH1 0xa0 0000140f: PUSH1 0x02 00001411: EXP 00001412: SUB 00001413: AND 00001414: SWAP1 00001415: POP 00001416: PUSH4 0xddd5e1b2 0000141b: DUP8 0000141c: ADDRESS 0000141d: PUSH1 0x40 0000141f: MLOAD 00001420: PUSH1 0xe0 00001422: PUSH1 0x02 00001424: EXP 00001425: PUSH4 0xffffffff 0000142a: DUP6 0000142b: AND 0000142c: MUL 0000142d: DUP2 0000142e: MSTORE 0000142f: PUSH1 0x04 00001431: DUP2 00001432: ADD 00001433: SWAP3 00001434: SWAP1 00001435: SWAP3 00001436: MSTORE 00001437: PUSH1 0x01 00001439: PUSH1 0xa0 0000143b: PUSH1 0x02 0000143d: EXP 0000143e: SUB 0000143f: AND 00001440: PUSH1 0x24 00001442: DUP3 00001443: ADD 00001444: MSTORE 00001445: PUSH1 0x44 00001447: ADD 00001448: PUSH1 0x00 0000144a: PUSH1 0x40 0000144c: MLOAD 0000144d: DUP1 0000144e: DUP4 0000144f: SUB 00001450: DUP2 00001451: PUSH1 0x00 00001453: DUP8 00001454: DUP1 00001455: EXTCODESIZE 00001456: ISZERO 00001457: ISZERO 00001458: PUSH2 0x1460 0000145b: JUMPI 0000145c: PUSH1 0x00 0000145e: DUP1 0000145f: REVERT 00001460: JUMPDEST 00001461: PUSH2 0x02c6 00001464: GAS 00001465: SUB 00001466: CALL 00001467: ISZERO 00001468: ISZERO 00001469: PUSH2 0x1471 0000146c: JUMPI 0000146d: PUSH1 0x00 0000146f: DUP1 00001470: REVERT 00001471: JUMPDEST 00001472: POP 00001473: POP 00001474: PUSH1 0x0a 00001476: SLOAD 00001477: PUSH1 0x01 00001479: PUSH1 0xa0 0000147b: PUSH1 0x02 0000147d: EXP 0000147e: SUB 0000147f: AND 00001480: SWAP1 00001481: POP 00001482: PUSH4 0x70a08231 00001487: ADDRESS 00001488: PUSH1 0x00 0000148a: PUSH1 0x40 0000148c: MLOAD 0000148d: PUSH1 0x20 0000148f: ADD 00001490: MSTORE 00001491: PUSH1 0x40 00001493: MLOAD 00001494: PUSH1 0xe0 00001496: PUSH1 0x02 00001498: EXP 00001499: PUSH4 0xffffffff 0000149e: DUP5 0000149f: AND 000014a0: MUL 000014a1: DUP2 000014a2: MSTORE 000014a3: PUSH1 0x01 000014a5: PUSH1 0xa0 000014a7: PUSH1 0x02 000014a9: EXP 000014aa: SUB 000014ab: SWAP1 000014ac: SWAP2 000014ad: AND 000014ae: PUSH1 0x04 000014b0: DUP3 000014b1: ADD 000014b2: MSTORE 000014b3: PUSH1 0x24 000014b5: ADD 000014b6: PUSH1 0x20 000014b8: PUSH1 0x40 000014ba: MLOAD 000014bb: DUP1 000014bc: DUP4 000014bd: SUB 000014be: DUP2 000014bf: PUSH1 0x00 000014c1: DUP8 000014c2: DUP1 000014c3: EXTCODESIZE 000014c4: ISZERO 000014c5: ISZERO 000014c6: PUSH2 0x14ce 000014c9: JUMPI 000014ca: PUSH1 0x00 000014cc: DUP1 000014cd: REVERT 000014ce: JUMPDEST 000014cf: PUSH2 0x02c6 000014d2: GAS 000014d3: SUB 000014d4: CALL 000014d5: ISZERO 000014d6: ISZERO 000014d7: PUSH2 0x14df 000014da: JUMPI 000014db: PUSH1 0x00 000014dd: DUP1 000014de: REVERT 000014df: JUMPDEST 000014e0: POP 000014e1: POP 000014e2: POP 000014e3: PUSH1 0x40 000014e5: MLOAD 000014e6: DUP1 000014e7: MLOAD 000014e8: PUSH1 0x00 000014ea: DUP9 000014eb: DUP2 000014ec: MSTORE 000014ed: PUSH1 0x0c 000014ef: PUSH1 0x20 000014f1: MSTORE 000014f2: PUSH1 0x40 000014f4: SWAP1 000014f5: KECCAK256 000014f6: SLOAD 000014f7: SWAP1 000014f8: SWAP4 000014f9: POP 000014fa: SWAP2 000014fb: POP 000014fc: PUSH2 0x1509 000014ff: SWAP1 00001500: POP 00001501: DUP2 00001502: DUP5 00001503: DUP5 00001504: SUB 00001505: PUSH2 0x15c3 00001508: JUMP 00001509: JUMPDEST 0000150a: PUSH1 0x08 0000150c: DUP1 0000150d: SLOAD 0000150e: PUSH1 0x01 00001510: ADD 00001511: SWAP1 00001512: SSTORE 00001513: JUMPDEST 00001514: PUSH1 0x00 00001516: DUP1 00001517: SLOAD 00001518: PUSH1 0xa0 0000151a: PUSH1 0x02 0000151c: EXP 0000151d: PUSH1 0xff 0000151f: MUL 00001520: NOT 00001521: AND 00001522: SWAP1 00001523: SSTORE 00001524: JUMPDEST 00001525: POP 00001526: POP 00001527: POP 00001528: SWAP3 00001529: SWAP2 0000152a: POP 0000152b: POP 0000152c: JUMP 0000152d: JUMPDEST 0000152e: PUSH1 0x01 00001530: SLOAD 00001531: DUP2 00001532: JUMP 00001533: JUMPDEST 00001534: PUSH1 0x04 00001536: SLOAD 00001537: DUP2 00001538: JUMP 00001539: JUMPDEST 0000153a: PUSH1 0x12 0000153c: DUP2 0000153d: PUSH1 0x64 0000153f: DUP2 00001540: LT 00001541: PUSH2 0x1546 00001544: JUMPI 00001545: INVALID 00001546: JUMPDEST 00001547: ADD 00001548: PUSH1 0x00 0000154a: JUMPDEST 0000154b: SWAP2 0000154c: POP 0000154d: SLOAD 0000154e: SWAP1 0000154f: PUSH2 0x0100 00001552: EXP 00001553: SWAP1 00001554: DIV 00001555: PUSH1 0x01 00001557: PUSH1 0xa0 00001559: PUSH1 0x02 0000155b: EXP 0000155c: SUB 0000155d: AND 0000155e: DUP2 0000155f: JUMP 00001560: JUMPDEST 00001561: PUSH1 0x00 00001563: SLOAD 00001564: CALLER 00001565: PUSH1 0x01 00001567: PUSH1 0xa0 00001569: PUSH1 0x02 0000156b: EXP 0000156c: SUB 0000156d: SWAP1 0000156e: DUP2 0000156f: AND 00001570: SWAP2 00001571: AND 00001572: EQ 00001573: PUSH2 0x157b 00001576: JUMPI 00001577: PUSH1 0x00 00001579: DUP1 0000157a: REVERT 0000157b: JUMPDEST 0000157c: PUSH1 0x01 0000157e: PUSH1 0xa0 00001580: PUSH1 0x02 00001582: EXP 00001583: SUB 00001584: DUP2 00001585: AND 00001586: ISZERO 00001587: PUSH2 0x0b63 0000158a: JUMPI 0000158b: PUSH1 0x00 0000158d: DUP1 0000158e: SLOAD 0000158f: PUSH1 0x01 00001591: PUSH1 0xa0 00001593: PUSH1 0x02 00001595: EXP 00001596: SUB 00001597: NOT 00001598: AND 00001599: PUSH1 0x01 0000159b: PUSH1 0xa0 0000159d: PUSH1 0x02 0000159f: EXP 000015a0: SUB 000015a1: DUP4 000015a2: AND 000015a3: OR 000015a4: SWAP1 000015a5: SSTORE 000015a6: JUMPDEST 000015a7: JUMPDEST 000015a8: JUMPDEST 000015a9: POP 000015aa: JUMP 000015ab: JUMPDEST 000015ac: PUSH1 0x00 000015ae: PUSH1 0x09 000015b0: SLOAD 000015b1: DUP3 000015b2: DUP2 000015b3: ISZERO 000015b4: ISZERO 000015b5: PUSH2 0x15ba 000015b8: JUMPI 000015b9: INVALID 000015ba: JUMPDEST 000015bb: DIV 000015bc: SWAP1 000015bd: POP 000015be: JUMPDEST 000015bf: SWAP2 000015c0: SWAP1 000015c1: POP 000015c2: JUMP 000015c3: JUMPDEST 000015c4: DUP1 000015c5: PUSH1 0x00 000015c7: DUP1 000015c8: DUP1 000015c9: DUP1 000015ca: DUP1 000015cb: JUMPDEST 000015cc: PUSH1 0x04 000015ce: SLOAD 000015cf: DUP6 000015d0: PUSH1 0xff 000015d2: AND 000015d3: LT 000015d4: ISZERO 000015d5: PUSH2 0x168c 000015d8: JUMPI 000015d9: PUSH1 0x12 000015db: PUSH1 0xff 000015dd: DUP7 000015de: AND 000015df: PUSH1 0x64 000015e1: DUP2 000015e2: LT 000015e3: PUSH2 0x15e8 000015e6: JUMPI 000015e7: INVALID 000015e8: JUMPDEST 000015e9: ADD 000015ea: PUSH1 0x00 000015ec: JUMPDEST 000015ed: SWAP1 000015ee: SLOAD 000015ef: PUSH1 0x01 000015f1: PUSH1 0xa0 000015f3: PUSH1 0x02 000015f5: EXP 000015f6: SUB 000015f7: PUSH2 0x0100 000015fa: SWAP3 000015fb: SWAP1 000015fc: SWAP3 000015fd: EXP 000015fe: SWAP1 000015ff: DIV 00001600: AND 00001601: SWAP4 00001602: POP 00001603: DUP4 00001604: ISZERO 00001605: DUP1 00001606: ISZERO 00001607: SWAP1 00001608: PUSH2 0x1610 0000160b: JUMPI 0000160c: POP 0000160d: DUP6 0000160e: ISZERO 0000160f: ISZERO 00001610: JUMPDEST 00001611: ISZERO 00001612: PUSH2 0x1680 00001615: JUMPI 00001616: PUSH1 0x01 00001618: PUSH1 0xa0 0000161a: PUSH1 0x02 0000161c: EXP 0000161d: SUB 0000161e: DUP5 0000161f: AND 00001620: PUSH1 0x00 00001622: SWAP1 00001623: DUP2 00001624: MSTORE 00001625: PUSH1 0x0b 00001627: PUSH1 0x20 00001629: MSTORE 0000162a: PUSH1 0x40 0000162c: SWAP1 0000162d: KECCAK256 0000162e: PUSH1 0x01 00001630: ADD 00001631: SLOAD 00001632: SWAP3 00001633: POP 00001634: DUP8 00001635: PUSH3 0x989680 00001639: DUP5 0000163a: MUL 0000163b: DUP2 0000163c: ISZERO 0000163d: ISZERO 0000163e: PUSH2 0x1643 00001641: JUMPI 00001642: INVALID 00001643: JUMPDEST 00001644: DIV 00001645: SWAP2 00001646: POP 00001647: PUSH3 0x989680 0000164b: DUP8 0000164c: DUP4 0000164d: MUL 0000164e: JUMPDEST 0000164f: DIV 00001650: SWAP1 00001651: POP 00001652: DUP6 00001653: DUP2 00001654: GT 00001655: ISZERO 00001656: PUSH2 0x165c 00001659: JUMPI 0000165a: POP 0000165b: DUP5 0000165c: JUMPDEST 0000165d: PUSH1 0x01 0000165f: PUSH1 0xa0 00001661: PUSH1 0x02 00001663: EXP 00001664: SUB 00001665: DUP5 00001666: AND 00001667: PUSH1 0x00 00001669: SWAP1 0000166a: DUP2 0000166b: MSTORE 0000166c: PUSH1 0x0d 0000166e: PUSH1 0x20 00001670: MSTORE 00001671: PUSH1 0x40 00001673: SWAP1 00001674: KECCAK256 00001675: DUP1 00001676: SLOAD 00001677: DUP3 00001678: ADD 00001679: SWAP1 0000167a: SSTORE 0000167b: SWAP5 0000167c: DUP6 0000167d: SWAP1 0000167e: SUB 0000167f: SWAP5 00001680: JUMPDEST 00001681: JUMPDEST 00001682: PUSH1 0x01 00001684: SWAP1 00001685: SWAP5 00001686: ADD 00001687: SWAP4 00001688: PUSH2 0x15cb 0000168b: JUMP 0000168c: JUMPDEST 0000168d: JUMPDEST 0000168e: POP 0000168f: POP 00001690: POP 00001691: POP 00001692: POP 00001693: POP 00001694: POP 00001695: POP 00001696: JUMP 00001697: JUMPDEST 00001698: PUSH1 0x40 0000169a: DUP1 0000169b: MLOAD 0000169c: SWAP1 0000169d: DUP2 0000169e: ADD 0000169f: PUSH1 0x40 000016a1: MSTORE 000016a2: PUSH1 0x00 000016a4: DUP1 000016a5: DUP3 000016a6: MSTORE 000016a7: PUSH1 0x20 000016a9: DUP3 000016aa: ADD 000016ab: MSTORE 000016ac: SWAP1 000016ad: JUMP 000016ae: STOP 000016af: LOG1 000016b0: PUSH6 0x627a7a723058 000016b7: KECCAK256 000016b8: SAR 000016b9: UNKNOWN(0x2F) 000016ba: DUP15 000016bb: UNKNOWN(0xBE) 000016bc: DUP8 000016bd: CALLDATACOPY 000016be: UNKNOWN(0xB5) 000016bf: UNKNOWN(0xCF) 000016c0: UNKNOWN(0xD0) 000016c1: UNKNOWN(0xCD) 000016c2: PUSH18 0x7703acd95ce89f7060a7d7b7422511ceb61a 000016d5: SWAP11 000016d6: GAS 000016d7: UNKNOWN(0xD1) 000016d8: STOP 000016d9: UNKNOWN(0x29)
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xf03afa2a304af5f6f699bb47b032b22e7fab64b77c342fac848f84e9f1e258b0
call_targets:
0x6cd239a7717c1639214880e53f38f47c99d6cffc
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xf03afa2a304af5f6f699bb47b032b22e7fab64b77c342fac848f84e9f1e258b0",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x6cd239a7717c1639214880e53f38f47c99d6cffc"
],
"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": "0x014c3dbc",
"selector": "0x014c3dbc",
"calldata_variants": [
"0x014c3dbc",
"0x014c3dbc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0ee33c70",
"selector": "0x0ee33c70",
"calldata_variants": [
"0x0ee33c70",
"0x0ee33c700000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x25a079d9",
"selector": "0x25a079d9",
"calldata_variants": [
"0x25a079d9",
"0x25a079d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2c035157",
"selector": "0x2c035157",
"calldata_variants": [
"0x2c035157",
"0x2c0351570000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2d59680d",
"selector": "0x2d59680d",
"calldata_variants": [
"0x2d59680d",
"0x2d59680d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3cf7dca3",
"selector": "0x3cf7dca3",
"calldata_variants": [
"0x3cf7dca3",
"0x3cf7dca30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x42b343a3",
"selector": "0x42b343a3",
"calldata_variants": [
"0x42b343a3",
"0x42b343a30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4ecd78d1",
"selector": "0x4ecd78d1",
"calldata_variants": [
"0x4ecd78d1",
"0x4ecd78d10000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2074,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2281,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2404,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 12,
"guards_detected": [],
"untrusted_call_count": 12
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xf03afa2a304af5f6f699bb47b032b22e7fab64b77c342fac848f84e9f1e258b0
call_targets:
0x6cd239a7717c1639214880e53f38f47c99d6cffc
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xf03afa2a304af5f6f699bb47b032b22e7fab64b77c342fac848f84e9f1e258b0",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x6cd239a7717c1639214880e53f38f47c99d6cffc"
],
"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": "0x014c3dbc",
"selector": "0x014c3dbc",
"calldata_variants": [
"0x014c3dbc",
"0x014c3dbc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0ee33c70",
"selector": "0x0ee33c70",
"calldata_variants": [
"0x0ee33c70",
"0x0ee33c700000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x25a079d9",
"selector": "0x25a079d9",
"calldata_variants": [
"0x25a079d9",
"0x25a079d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2c035157",
"selector": "0x2c035157",
"calldata_variants": [
"0x2c035157",
"0x2c0351570000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2d59680d",
"selector": "0x2d59680d",
"calldata_variants": [
"0x2d59680d",
"0x2d59680d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3cf7dca3",
"selector": "0x3cf7dca3",
"calldata_variants": [
"0x3cf7dca3",
"0x3cf7dca30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x42b343a3",
"selector": "0x42b343a3",
"calldata_variants": [
"0x42b343a3",
"0x42b343a30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4ecd78d1",
"selector": "0x4ecd78d1",
"calldata_variants": [
"0x4ecd78d1",
"0x4ecd78d10000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2074,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2281,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2404,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 12,
"guards_detected": []
}
|