019b477e-ac03-72ed-9876-869cb3d67fe5
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 |
|---|---|---|---|---|
| 21129 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 21130 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 88977 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 88978 | capability.graph | complete | 1 / 3 | 1 week ago |
| 88979 | detector.run | complete | 1 / 3 | 1 week ago |
| 88980 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x00d7 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH1 0xe0 00000014: PUSH1 0x02 00000016: EXP 00000017: PUSH1 0x00 00000019: CALLDATALOAD 0000001a: DIV 0000001b: AND 0000001c: PUSH4 0x0d15fd77 00000021: DUP2 00000022: EQ 00000023: PUSH2 0x00e8 00000026: JUMPI 00000027: DUP1 00000028: PUSH4 0x2e6dbdf9 0000002d: EQ 0000002e: PUSH2 0x010d 00000031: JUMPI 00000032: DUP1 00000033: PUSH4 0x2e854433 00000038: EQ 00000039: PUSH2 0x0122 0000003c: JUMPI 0000003d: DUP1 0000003e: PUSH4 0x3b97e856 00000043: EQ 00000044: PUSH2 0x0135 00000047: JUMPI 00000048: DUP1 00000049: PUSH4 0x47799092 0000004e: EQ 0000004f: PUSH2 0x0148 00000052: JUMPI 00000053: DUP1 00000054: PUSH4 0x4783c35b 00000059: EQ 0000005a: PUSH2 0x015e 0000005d: JUMPI 0000005e: DUP1 0000005f: PUSH4 0x4b60ce77 00000064: EQ 00000065: PUSH2 0x018d 00000068: JUMPI 00000069: DUP1 0000006a: PUSH4 0x4fb2e45d 0000006f: EQ 00000070: PUSH2 0x01a0 00000073: JUMPI 00000074: DUP1 00000075: PUSH4 0x5afb6ba5 0000007a: EQ 0000007b: PUSH2 0x01bf 0000007e: JUMPI 0000007f: DUP1 00000080: PUSH4 0x750142e6 00000085: EQ 00000086: PUSH2 0x0209 00000089: JUMPI 0000008a: DUP1 0000008b: PUSH4 0x81f4be5e 00000090: EQ 00000091: PUSH2 0x021c 00000094: JUMPI 00000095: DUP1 00000096: PUSH4 0x84bcefd4 0000009b: EQ 0000009c: PUSH2 0x022f 0000009f: JUMPI 000000a0: DUP1 000000a1: PUSH4 0x8da5cb5b 000000a6: EQ 000000a7: PUSH2 0x0242 000000aa: JUMPI 000000ab: DUP1 000000ac: PUSH4 0x96c82e57 000000b1: EQ 000000b2: PUSH2 0x0255 000000b5: JUMPI 000000b6: DUP1 000000b7: PUSH4 0xa0684251 000000bc: EQ 000000bd: PUSH2 0x0268 000000c0: JUMPI 000000c1: DUP1 000000c2: PUSH4 0xb8837957 000000c7: EQ 000000c8: PUSH2 0x027b 000000cb: JUMPI 000000cc: DUP1 000000cd: PUSH4 0xe3bce10e 000000d2: EQ 000000d3: PUSH2 0x028e 000000d6: JUMPI 000000d7: JUMPDEST 000000d8: PUSH2 0x00e3 000000db: PUSH1 0x19 000000dd: SLOAD 000000de: CALLVALUE 000000df: PUSH2 0x02a1 000000e2: JUMP 000000e3: JUMPDEST 000000e4: PUSH1 0x19 000000e6: SSTORE 000000e7: STOP 000000e8: JUMPDEST 000000e9: CALLVALUE 000000ea: ISZERO 000000eb: PUSH2 0x00f3 000000ee: JUMPI 000000ef: PUSH1 0x00 000000f1: DUP1 000000f2: REVERT 000000f3: JUMPDEST 000000f4: PUSH2 0x00fb 000000f7: PUSH2 0x02c5 000000fa: JUMP 000000fb: JUMPDEST 000000fc: PUSH1 0x40 000000fe: MLOAD 000000ff: SWAP1 00000100: DUP2 00000101: MSTORE 00000102: PUSH1 0x20 00000104: ADD 00000105: PUSH1 0x40 00000107: MLOAD 00000108: DUP1 00000109: SWAP2 0000010a: SUB 0000010b: SWAP1 0000010c: RETURN 0000010d: JUMPDEST 0000010e: CALLVALUE 0000010f: ISZERO 00000110: PUSH2 0x0118 00000113: JUMPI 00000114: PUSH1 0x00 00000116: DUP1 00000117: REVERT 00000118: JUMPDEST 00000119: PUSH2 0x0120 0000011c: PUSH2 0x02cb 0000011f: JUMP 00000120: JUMPDEST 00000121: STOP 00000122: JUMPDEST 00000123: CALLVALUE 00000124: ISZERO 00000125: PUSH2 0x012d 00000128: JUMPI 00000129: PUSH1 0x00 0000012b: DUP1 0000012c: REVERT 0000012d: JUMPDEST 0000012e: PUSH2 0x0120 00000131: PUSH2 0x04b3 00000134: JUMP 00000135: JUMPDEST 00000136: CALLVALUE 00000137: ISZERO 00000138: PUSH2 0x0140 0000013b: JUMPI 0000013c: PUSH1 0x00 0000013e: DUP1 0000013f: REVERT 00000140: JUMPDEST 00000141: PUSH2 0x00fb 00000144: PUSH2 0x06f5 00000147: JUMP 00000148: JUMPDEST 00000149: CALLVALUE 0000014a: ISZERO 0000014b: PUSH2 0x0153 0000014e: JUMPI 0000014f: PUSH1 0x00 00000151: DUP1 00000152: REVERT 00000153: JUMPDEST 00000154: PUSH2 0x0120 00000157: PUSH1 0x04 00000159: CALLDATALOAD 0000015a: PUSH2 0x06fb 0000015d: JUMP 0000015e: JUMPDEST 0000015f: CALLVALUE 00000160: ISZERO 00000161: PUSH2 0x0169 00000164: JUMPI 00000165: PUSH1 0x00 00000167: DUP1 00000168: REVERT 00000169: JUMPDEST 0000016a: PUSH2 0x0171 0000016d: PUSH2 0x09ab 00000170: JUMP 00000171: JUMPDEST 00000172: PUSH1 0x40 00000174: MLOAD 00000175: PUSH1 0x01 00000177: PUSH1 0xa0 00000179: PUSH1 0x02 0000017b: EXP 0000017c: SUB 0000017d: SWAP1 0000017e: SWAP2 0000017f: AND 00000180: DUP2 00000181: MSTORE 00000182: PUSH1 0x20 00000184: ADD 00000185: PUSH1 0x40 00000187: MLOAD 00000188: DUP1 00000189: SWAP2 0000018a: SUB 0000018b: SWAP1 0000018c: RETURN 0000018d: JUMPDEST 0000018e: CALLVALUE 0000018f: ISZERO 00000190: PUSH2 0x0198 00000193: JUMPI 00000194: PUSH1 0x00 00000196: DUP1 00000197: REVERT 00000198: JUMPDEST 00000199: PUSH2 0x0171 0000019c: PUSH2 0x09ba 0000019f: JUMP 000001a0: JUMPDEST 000001a1: CALLVALUE 000001a2: ISZERO 000001a3: PUSH2 0x01ab 000001a6: JUMPI 000001a7: PUSH1 0x00 000001a9: DUP1 000001aa: REVERT 000001ab: JUMPDEST 000001ac: PUSH2 0x0120 000001af: PUSH1 0x01 000001b1: PUSH1 0xa0 000001b3: PUSH1 0x02 000001b5: EXP 000001b6: SUB 000001b7: PUSH1 0x04 000001b9: CALLDATALOAD 000001ba: AND 000001bb: PUSH2 0x09c9 000001be: JUMP 000001bf: JUMPDEST 000001c0: CALLVALUE 000001c1: ISZERO 000001c2: PUSH2 0x01ca 000001c5: JUMPI 000001c6: PUSH1 0x00 000001c8: DUP1 000001c9: REVERT 000001ca: JUMPDEST 000001cb: PUSH2 0x01de 000001ce: PUSH1 0x01 000001d0: PUSH1 0xa0 000001d2: PUSH1 0x02 000001d4: EXP 000001d5: SUB 000001d6: PUSH1 0x04 000001d8: CALLDATALOAD 000001d9: AND 000001da: PUSH2 0x0a0e 000001dd: JUMP 000001de: JUMPDEST 000001df: PUSH1 0x40 000001e1: MLOAD 000001e2: DUP1 000001e3: DUP4 000001e4: DUP2 000001e5: MSTORE 000001e6: PUSH1 0x20 000001e8: ADD 000001e9: DUP3 000001ea: PUSH1 0x02 000001ec: DUP2 000001ed: GT 000001ee: ISZERO 000001ef: PUSH2 0x01f4 000001f2: JUMPI 000001f3: INVALID 000001f4: JUMPDEST 000001f5: PUSH1 0xff 000001f7: AND 000001f8: DUP2 000001f9: MSTORE 000001fa: PUSH1 0x20 000001fc: ADD 000001fd: SWAP3 000001fe: POP 000001ff: POP 00000200: POP 00000201: PUSH1 0x40 00000203: MLOAD 00000204: DUP1 00000205: SWAP2 00000206: SUB 00000207: SWAP1 00000208: RETURN 00000209: JUMPDEST 0000020a: CALLVALUE 0000020b: ISZERO 0000020c: PUSH2 0x0214 0000020f: JUMPI 00000210: PUSH1 0x00 00000212: DUP1 00000213: REVERT 00000214: JUMPDEST 00000215: PUSH2 0x00fb 00000218: PUSH2 0x0a8c 0000021b: JUMP 0000021c: JUMPDEST 0000021d: CALLVALUE 0000021e: ISZERO 0000021f: PUSH2 0x0227 00000222: JUMPI 00000223: PUSH1 0x00 00000225: DUP1 00000226: REVERT 00000227: JUMPDEST 00000228: PUSH2 0x0171 0000022b: PUSH2 0x0a92 0000022e: JUMP 0000022f: JUMPDEST 00000230: CALLVALUE 00000231: ISZERO 00000232: PUSH2 0x023a 00000235: JUMPI 00000236: PUSH1 0x00 00000238: DUP1 00000239: REVERT 0000023a: JUMPDEST 0000023b: PUSH2 0x00fb 0000023e: PUSH2 0x0aa1 00000241: JUMP 00000242: JUMPDEST 00000243: CALLVALUE 00000244: ISZERO 00000245: PUSH2 0x024d 00000248: JUMPI 00000249: PUSH1 0x00 0000024b: DUP1 0000024c: REVERT 0000024d: JUMPDEST 0000024e: PUSH2 0x0171 00000251: PUSH2 0x0aa7 00000254: JUMP 00000255: JUMPDEST 00000256: CALLVALUE 00000257: ISZERO 00000258: PUSH2 0x0260 0000025b: JUMPI 0000025c: PUSH1 0x00 0000025e: DUP1 0000025f: REVERT 00000260: JUMPDEST 00000261: PUSH2 0x00fb 00000264: PUSH2 0x0ab6 00000267: JUMP 00000268: JUMPDEST 00000269: CALLVALUE 0000026a: ISZERO 0000026b: PUSH2 0x0273 0000026e: JUMPI 0000026f: PUSH1 0x00 00000271: DUP1 00000272: REVERT 00000273: JUMPDEST 00000274: PUSH2 0x00fb 00000277: PUSH2 0x0abc 0000027a: JUMP 0000027b: JUMPDEST 0000027c: CALLVALUE 0000027d: ISZERO 0000027e: PUSH2 0x0286 00000281: JUMPI 00000282: PUSH1 0x00 00000284: DUP1 00000285: REVERT 00000286: JUMPDEST 00000287: PUSH2 0x00fb 0000028a: PUSH2 0x0ac2 0000028d: JUMP 0000028e: JUMPDEST 0000028f: CALLVALUE 00000290: ISZERO 00000291: PUSH2 0x0299 00000294: JUMPI 00000295: PUSH1 0x00 00000297: DUP1 00000298: REVERT 00000299: JUMPDEST 0000029a: PUSH2 0x0120 0000029d: PUSH2 0x0ac8 000002a0: JUMP 000002a1: JUMPDEST 000002a2: PUSH1 0x00 000002a4: DUP3 000002a5: DUP3 000002a6: ADD 000002a7: PUSH2 0x02be 000002aa: DUP5 000002ab: DUP3 000002ac: LT 000002ad: DUP1 000002ae: ISZERO 000002af: SWAP1 000002b0: PUSH2 0x02b9 000002b3: JUMPI 000002b4: POP 000002b5: DUP4 000002b6: DUP3 000002b7: LT 000002b8: ISZERO 000002b9: JUMPDEST 000002ba: PUSH2 0x0c30 000002bd: JUMP 000002be: JUMPDEST 000002bf: SWAP4 000002c0: SWAP3 000002c1: POP 000002c2: POP 000002c3: POP 000002c4: JUMP 000002c5: JUMPDEST 000002c6: PUSH1 0x0a 000002c8: SLOAD 000002c9: DUP2 000002ca: JUMP 000002cb: JUMPDEST 000002cc: PUSH2 0x02d3 000002cf: PUSH2 0x1414 000002d2: JUMP 000002d3: JUMPDEST 000002d4: PUSH1 0x17 000002d6: SLOAD 000002d7: PUSH1 0x00 000002d9: SWAP1 000002da: DUP2 000002db: SWAP1 000002dc: DUP2 000002dd: SWAP1 000002de: DUP2 000002df: SWAP1 000002e0: PUSH1 0xff 000002e2: AND 000002e3: ISZERO 000002e4: PUSH2 0x02ec 000002e7: JUMPI 000002e8: PUSH1 0x00 000002ea: DUP1 000002eb: REVERT 000002ec: JUMPDEST 000002ed: PUSH1 0x14 000002ef: SLOAD 000002f0: PUSH1 0x01 000002f2: PUSH1 0xa0 000002f4: PUSH1 0x02 000002f6: EXP 000002f7: SUB 000002f8: AND 000002f9: PUSH4 0xa620fcc7 000002fe: PUSH1 0x00 00000300: PUSH1 0x40 00000302: MLOAD 00000303: PUSH1 0x20 00000305: ADD 00000306: MSTORE 00000307: PUSH1 0x40 00000309: MLOAD 0000030a: DUP2 0000030b: PUSH4 0xffffffff 00000310: AND 00000311: PUSH1 0xe0 00000313: PUSH1 0x02 00000315: EXP 00000316: MUL 00000317: DUP2 00000318: MSTORE 00000319: PUSH1 0x04 0000031b: ADD 0000031c: PUSH1 0x20 0000031e: PUSH1 0x40 00000320: MLOAD 00000321: DUP1 00000322: DUP4 00000323: SUB 00000324: DUP2 00000325: PUSH1 0x00 00000327: DUP8 00000328: DUP1 00000329: EXTCODESIZE 0000032a: ISZERO 0000032b: ISZERO 0000032c: PUSH2 0x0334 0000032f: JUMPI 00000330: PUSH1 0x00 00000332: DUP1 00000333: REVERT 00000334: JUMPDEST 00000335: PUSH2 0x02c6 00000338: GAS 00000339: SUB 0000033a: CALL 0000033b: ISZERO 0000033c: ISZERO 0000033d: PUSH2 0x0345 00000340: JUMPI 00000341: PUSH1 0x00 00000343: DUP1 00000344: REVERT 00000345: JUMPDEST 00000346: POP 00000347: POP 00000348: POP 00000349: PUSH1 0x40 0000034b: MLOAD 0000034c: DUP1 0000034d: MLOAD 0000034e: PUSH1 0x0a 00000350: SLOAD 00000351: EQ 00000352: SWAP1 00000353: POP 00000354: PUSH2 0x035c 00000357: JUMPI 00000358: PUSH1 0x00 0000035a: DUP1 0000035b: REVERT 0000035c: JUMPDEST 0000035d: PUSH1 0x0c 0000035f: SLOAD 00000360: PUSH1 0x19 00000362: SLOAD 00000363: LT 00000364: ISZERO 00000365: PUSH2 0x036d 00000368: JUMPI 00000369: PUSH1 0x00 0000036b: DUP1 0000036c: REVERT 0000036d: JUMPDEST 0000036e: PUSH2 0x037b 00000371: PUSH1 0x0c 00000373: SLOAD 00000374: PUSH1 0x18 00000376: SLOAD 00000377: PUSH2 0x0c3c 0000037a: JUMP 0000037b: JUMPDEST 0000037c: PUSH1 0x15 0000037e: SLOAD 0000037f: PUSH1 0x01 00000381: PUSH1 0xa0 00000383: PUSH1 0x02 00000385: EXP 00000386: SUB 00000387: AND 00000388: PUSH4 0x70a08231 0000038d: ADDRESS 0000038e: PUSH1 0x00 00000390: PUSH1 0x40 00000392: MLOAD 00000393: PUSH1 0x20 00000395: ADD 00000396: MSTORE 00000397: PUSH1 0x40 00000399: MLOAD 0000039a: PUSH1 0xe0 0000039c: PUSH1 0x02 0000039e: EXP 0000039f: PUSH4 0xffffffff 000003a4: DUP5 000003a5: AND 000003a6: MUL 000003a7: DUP2 000003a8: MSTORE 000003a9: PUSH1 0x01 000003ab: PUSH1 0xa0 000003ad: PUSH1 0x02 000003af: EXP 000003b0: SUB 000003b1: SWAP1 000003b2: SWAP2 000003b3: AND 000003b4: PUSH1 0x04 000003b6: DUP3 000003b7: ADD 000003b8: MSTORE 000003b9: PUSH1 0x24 000003bb: ADD 000003bc: PUSH1 0x20 000003be: PUSH1 0x40 000003c0: MLOAD 000003c1: DUP1 000003c2: DUP4 000003c3: SUB 000003c4: DUP2 000003c5: PUSH1 0x00 000003c7: DUP8 000003c8: DUP1 000003c9: EXTCODESIZE 000003ca: ISZERO 000003cb: ISZERO 000003cc: PUSH2 0x03d4 000003cf: JUMPI 000003d0: PUSH1 0x00 000003d2: DUP1 000003d3: REVERT 000003d4: JUMPDEST 000003d5: PUSH2 0x02c6 000003d8: GAS 000003d9: SUB 000003da: CALL 000003db: ISZERO 000003dc: ISZERO 000003dd: PUSH2 0x03e5 000003e0: JUMPI 000003e1: PUSH1 0x00 000003e3: DUP1 000003e4: REVERT 000003e5: JUMPDEST 000003e6: POP 000003e7: POP 000003e8: POP 000003e9: PUSH1 0x40 000003eb: MLOAD 000003ec: DUP1 000003ed: MLOAD 000003ee: SWAP1 000003ef: POP 000003f0: LT 000003f1: ISZERO 000003f2: ISZERO 000003f3: ISZERO 000003f4: PUSH2 0x03fc 000003f7: JUMPI 000003f8: PUSH1 0x00 000003fa: DUP1 000003fb: REVERT 000003fc: JUMPDEST 000003fd: PUSH2 0x0404 00000400: PUSH2 0x0c5f 00000403: JUMP 00000404: JUMPDEST 00000405: SWAP5 00000406: POP 00000407: PUSH1 0x07 00000409: SLOAD 0000040a: SWAP4 0000040b: POP 0000040c: JUMPDEST 0000040d: PUSH1 0x08 0000040f: SLOAD 00000410: DUP5 00000411: GT 00000412: PUSH2 0x0439 00000415: JUMPI 00000416: PUSH2 0x0421 00000419: DUP4 0000041a: PUSH1 0x09 0000041c: SLOAD 0000041d: PUSH2 0x02a1 00000420: JUMP 00000421: JUMPDEST 00000422: SWAP3 00000423: POP 00000424: PUSH2 0x042f 00000427: DUP6 00000428: DUP6 00000429: DUP6 0000042a: DUP6 0000042b: PUSH2 0x0ddf 0000042e: JUMP 0000042f: JUMPDEST 00000430: SWAP2 00000431: POP 00000432: DUP3 00000433: SWAP4 00000434: POP 00000435: PUSH2 0x040c 00000438: JUMP 00000439: JUMPDEST 0000043a: PUSH2 0x0441 0000043d: PUSH2 0x0fc7 00000440: JUMP 00000441: JUMPDEST 00000442: PUSH1 0x0d 00000444: SSTORE 00000445: PUSH1 0x17 00000447: DUP1 00000448: SLOAD 00000449: PUSH1 0xff 0000044b: NOT 0000044c: AND 0000044d: PUSH1 0x01 0000044f: OR 00000450: SWAP1 00000451: SSTORE 00000452: PUSH1 0x0e 00000454: SLOAD 00000455: PUSH1 0x0f 00000457: SLOAD 00000458: PUSH1 0x10 0000045a: SLOAD 0000045b: PUSH1 0x11 0000045d: SLOAD 0000045e: PUSH32 0x23ab3fd308ef0e085d61939ed6d3e141f21837614a02ed448da4dce240245344 0000047f: SWAP4 00000480: SWAP3 00000481: SWAP2 00000482: SWAP1 00000483: PUSH1 0x40 00000485: MLOAD 00000486: DUP1 00000487: DUP6 00000488: DUP2 00000489: MSTORE 0000048a: PUSH1 0x20 0000048c: ADD 0000048d: DUP5 0000048e: DUP2 0000048f: MSTORE 00000490: PUSH1 0x20 00000492: ADD 00000493: DUP4 00000494: DUP2 00000495: MSTORE 00000496: PUSH1 0x20 00000498: ADD 00000499: DUP3 0000049a: DUP2 0000049b: MSTORE 0000049c: PUSH1 0x20 0000049e: ADD 0000049f: SWAP5 000004a0: POP 000004a1: POP 000004a2: POP 000004a3: POP 000004a4: POP 000004a5: PUSH1 0x40 000004a7: MLOAD 000004a8: DUP1 000004a9: SWAP2 000004aa: SUB 000004ab: SWAP1 000004ac: LOG1 000004ad: POP 000004ae: POP 000004af: POP 000004b0: POP 000004b1: POP 000004b2: JUMP 000004b3: JUMPDEST 000004b4: PUSH1 0x17 000004b6: SLOAD 000004b7: PUSH1 0x00 000004b9: SWAP1 000004ba: DUP2 000004bb: SWAP1 000004bc: DUP2 000004bd: SWAP1 000004be: PUSH1 0x01 000004c0: SWAP1 000004c1: PUSH1 0xff 000004c3: AND 000004c4: ISZERO 000004c5: ISZERO 000004c6: DUP2 000004c7: EQ 000004c8: PUSH2 0x04d0 000004cb: JUMPI 000004cc: PUSH1 0x00 000004ce: DUP1 000004cf: REVERT 000004d0: JUMPDEST 000004d1: CALLER 000004d2: PUSH1 0x01 000004d4: PUSH1 0x01 000004d6: PUSH1 0xa0 000004d8: PUSH1 0x02 000004da: EXP 000004db: SUB 000004dc: DUP3 000004dd: AND 000004de: PUSH1 0x00 000004e0: SWAP1 000004e1: DUP2 000004e2: MSTORE 000004e3: PUSH1 0x12 000004e5: PUSH1 0x20 000004e7: MSTORE 000004e8: PUSH1 0x40 000004ea: SWAP1 000004eb: KECCAK256 000004ec: PUSH1 0x02 000004ee: SWAP1 000004ef: DUP2 000004f0: ADD 000004f1: SLOAD 000004f2: PUSH1 0xff 000004f4: AND 000004f5: SWAP1 000004f6: DUP2 000004f7: GT 000004f8: ISZERO 000004f9: PUSH2 0x04fe 000004fc: JUMPI 000004fd: INVALID 000004fe: JUMPDEST 000004ff: EQ 00000500: PUSH2 0x0508 00000503: JUMPI 00000504: PUSH1 0x00 00000506: DUP1 00000507: REVERT 00000508: JUMPDEST 00000509: PUSH1 0x17 0000050b: SLOAD 0000050c: PUSH2 0x0100 0000050f: SWAP1 00000510: DIV 00000511: PUSH1 0xff 00000513: AND 00000514: ISZERO 00000515: PUSH2 0x051d 00000518: JUMPI 00000519: PUSH1 0x00 0000051b: DUP1 0000051c: REVERT 0000051d: JUMPDEST 0000051e: PUSH1 0x17 00000520: DUP1 00000521: SLOAD 00000522: PUSH2 0xff00 00000525: NOT 00000526: AND 00000527: PUSH2 0x0100 0000052a: SWAP1 0000052b: DUP2 0000052c: OR 0000052d: SWAP1 0000052e: SWAP2 0000052f: SSTORE 00000530: PUSH1 0x01 00000532: PUSH1 0xa0 00000534: PUSH1 0x02 00000536: EXP 00000537: SUB 00000538: CALLER 00000539: AND 0000053a: PUSH1 0x00 0000053c: SWAP1 0000053d: DUP2 0000053e: MSTORE 0000053f: PUSH1 0x12 00000541: PUSH1 0x20 00000543: SWAP1 00000544: DUP2 00000545: MSTORE 00000546: PUSH1 0x40 00000548: DUP1 00000549: DUP4 0000054a: KECCAK256 0000054b: DUP1 0000054c: SLOAD 0000054d: DUP5 0000054e: MSTORE 0000054f: PUSH1 0x06 00000551: SWAP1 00000552: SWAP3 00000553: MSTORE 00000554: SWAP1 00000555: SWAP2 00000556: KECCAK256 00000557: PUSH1 0x01 00000559: SWAP1 0000055a: DUP2 0000055b: ADD 0000055c: SLOAD 0000055d: SWAP1 0000055e: DUP3 0000055f: ADD 00000560: SLOAD 00000561: SWAP2 00000562: SWAP8 00000563: POP 00000564: PUSH2 0x0572 00000567: SWAP3 00000568: SWAP1 00000569: DIV 0000056a: PUSH1 0xff 0000056c: AND 0000056d: SWAP1 0000056e: PUSH2 0x116e 00000571: JUMP 00000572: JUMPDEST 00000573: SWAP4 00000574: POP 00000575: PUSH1 0x00 00000577: SWAP3 00000578: POP 00000579: PUSH1 0x00 0000057b: PUSH1 0x0d 0000057d: SLOAD 0000057e: GT 0000057f: ISZERO 00000580: PUSH2 0x0597 00000583: JUMPI 00000584: PUSH2 0x058f 00000587: DUP5 00000588: PUSH1 0x0d 0000058a: SLOAD 0000058b: PUSH2 0x02a1 0000058e: JUMP 0000058f: JUMPDEST 00000590: PUSH1 0x00 00000592: PUSH1 0x0d 00000594: SSTORE 00000595: SWAP4 00000596: POP 00000597: JUMPDEST 00000598: PUSH2 0x05a3 0000059b: PUSH1 0x19 0000059d: SLOAD 0000059e: DUP6 0000059f: PUSH2 0x11f2 000005a2: JUMP 000005a3: JUMPDEST 000005a4: PUSH1 0x19 000005a6: SSTORE 000005a7: PUSH1 0x01 000005a9: PUSH1 0xa0 000005ab: PUSH1 0x02 000005ad: EXP 000005ae: SUB 000005af: CALLER 000005b0: AND 000005b1: PUSH1 0x00 000005b3: SWAP1 000005b4: DUP2 000005b5: MSTORE 000005b6: PUSH1 0x12 000005b8: PUSH1 0x20 000005ba: MSTORE 000005bb: PUSH1 0x40 000005bd: SWAP1 000005be: KECCAK256 000005bf: PUSH1 0x02 000005c1: SWAP1 000005c2: DUP2 000005c3: ADD 000005c4: DUP1 000005c5: SLOAD 000005c6: PUSH1 0xff 000005c8: NOT 000005c9: AND 000005ca: PUSH1 0x01 000005cc: DUP4 000005cd: MUL 000005ce: OR 000005cf: SWAP1 000005d0: SSTORE 000005d1: POP 000005d2: PUSH2 0x05e6 000005d5: DUP4 000005d6: PUSH2 0x05e1 000005d9: DUP7 000005da: PUSH1 0x18 000005dc: SLOAD 000005dd: PUSH2 0x0c3c 000005e0: JUMP 000005e1: JUMPDEST 000005e2: PUSH2 0x02a1 000005e5: JUMP 000005e6: JUMPDEST 000005e7: PUSH1 0x15 000005e9: SLOAD 000005ea: SWAP1 000005eb: SWAP4 000005ec: POP 000005ed: PUSH1 0x01 000005ef: PUSH1 0xa0 000005f1: PUSH1 0x02 000005f3: EXP 000005f4: SUB 000005f5: AND 000005f6: PUSH4 0xa9059cbb 000005fb: CALLER 000005fc: DUP6 000005fd: PUSH1 0x00 000005ff: PUSH1 0x40 00000601: MLOAD 00000602: PUSH1 0x20 00000604: ADD 00000605: MSTORE 00000606: PUSH1 0x40 00000608: MLOAD 00000609: PUSH1 0xe0 0000060b: PUSH1 0x02 0000060d: EXP 0000060e: PUSH4 0xffffffff 00000613: DUP6 00000614: AND 00000615: MUL 00000616: DUP2 00000617: MSTORE 00000618: PUSH1 0x01 0000061a: PUSH1 0xa0 0000061c: PUSH1 0x02 0000061e: EXP 0000061f: SUB 00000620: SWAP1 00000621: SWAP3 00000622: AND 00000623: PUSH1 0x04 00000625: DUP4 00000626: ADD 00000627: MSTORE 00000628: PUSH1 0x24 0000062a: DUP3 0000062b: ADD 0000062c: MSTORE 0000062d: PUSH1 0x44 0000062f: ADD 00000630: PUSH1 0x20 00000632: PUSH1 0x40 00000634: MLOAD 00000635: DUP1 00000636: DUP4 00000637: SUB 00000638: DUP2 00000639: PUSH1 0x00 0000063b: DUP8 0000063c: DUP1 0000063d: EXTCODESIZE 0000063e: ISZERO 0000063f: ISZERO 00000640: PUSH2 0x0648 00000643: JUMPI 00000644: PUSH1 0x00 00000646: DUP1 00000647: REVERT 00000648: JUMPDEST 00000649: PUSH2 0x02c6 0000064c: GAS 0000064d: SUB 0000064e: CALL 0000064f: ISZERO 00000650: ISZERO 00000651: PUSH2 0x0659 00000654: JUMPI 00000655: PUSH1 0x00 00000657: DUP1 00000658: REVERT 00000659: JUMPDEST 0000065a: POP 0000065b: POP 0000065c: POP 0000065d: PUSH1 0x40 0000065f: MLOAD 00000660: DUP1 00000661: MLOAD 00000662: SWAP1 00000663: POP 00000664: ISZERO 00000665: ISZERO 00000666: PUSH2 0x066e 00000669: JUMPI 0000066a: PUSH1 0x00 0000066c: DUP1 0000066d: REVERT 0000066e: JUMPDEST 0000066f: PUSH1 0x01 00000671: PUSH1 0xa0 00000673: PUSH1 0x02 00000675: EXP 00000676: SUB 00000677: CALLER 00000678: AND 00000679: DUP5 0000067a: ISZERO 0000067b: PUSH2 0x08fc 0000067e: MUL 0000067f: DUP6 00000680: PUSH1 0x40 00000682: MLOAD 00000683: PUSH1 0x00 00000685: PUSH1 0x40 00000687: MLOAD 00000688: DUP1 00000689: DUP4 0000068a: SUB 0000068b: DUP2 0000068c: DUP6 0000068d: DUP9 0000068e: DUP9 0000068f: CALL 00000690: SWAP4 00000691: POP 00000692: POP 00000693: POP 00000694: POP 00000695: ISZERO 00000696: ISZERO 00000697: PUSH2 0x069f 0000069a: JUMPI 0000069b: PUSH1 0x00 0000069d: DUP1 0000069e: REVERT 0000069f: JUMPDEST 000006a0: PUSH1 0x17 000006a2: DUP1 000006a3: SLOAD 000006a4: PUSH2 0xff00 000006a7: NOT 000006a8: AND 000006a9: SWAP1 000006aa: SSTORE 000006ab: PUSH32 0x5bf2177ec82333d646ddac9ef13ddd7f57260091072d459309fe1a9ee531e2ca 000006cc: CALLER 000006cd: DUP6 000006ce: PUSH1 0x40 000006d0: MLOAD 000006d1: PUSH1 0x01 000006d3: PUSH1 0xa0 000006d5: PUSH1 0x02 000006d7: EXP 000006d8: SUB 000006d9: SWAP1 000006da: SWAP3 000006db: AND 000006dc: DUP3 000006dd: MSTORE 000006de: PUSH1 0x20 000006e0: DUP3 000006e1: ADD 000006e2: MSTORE 000006e3: PUSH1 0x40 000006e5: SWAP1 000006e6: DUP2 000006e7: ADD 000006e8: SWAP1 000006e9: MLOAD 000006ea: DUP1 000006eb: SWAP2 000006ec: SUB 000006ed: SWAP1 000006ee: LOG1 000006ef: POP 000006f0: POP 000006f1: POP 000006f2: POP 000006f3: POP 000006f4: JUMP 000006f5: JUMPDEST 000006f6: PUSH1 0x16 000006f8: SLOAD 000006f9: DUP2 000006fa: JUMP 000006fb: JUMPDEST 000006fc: PUSH1 0x00 000006fe: DUP1 000006ff: PUSH1 0x00 00000701: DUP1 00000702: PUSH1 0x00 00000704: DUP1 00000705: PUSH1 0x00 00000707: DUP1 00000708: PUSH1 0x00 0000070a: DUP1 0000070b: PUSH1 0x00 0000070d: DUP1 0000070e: SWAP1 0000070f: SLOAD 00000710: SWAP1 00000711: PUSH2 0x0100 00000714: EXP 00000715: SWAP1 00000716: DIV 00000717: PUSH1 0x01 00000719: PUSH1 0xa0 0000071b: PUSH1 0x02 0000071d: EXP 0000071e: SUB 0000071f: AND 00000720: PUSH1 0x01 00000722: PUSH1 0xa0 00000724: PUSH1 0x02 00000726: EXP 00000727: SUB 00000728: AND 00000729: CALLER 0000072a: PUSH1 0x01 0000072c: PUSH1 0xa0 0000072e: PUSH1 0x02 00000730: EXP 00000731: SUB 00000732: AND 00000733: EQ 00000734: ISZERO 00000735: PUSH2 0x099e 00000738: JUMPI 00000739: PUSH1 0x17 0000073b: SLOAD 0000073c: PUSH1 0x00 0000073e: SWAP1 0000073f: PUSH1 0xff 00000741: AND 00000742: ISZERO 00000743: PUSH2 0x074b 00000746: JUMPI 00000747: PUSH1 0x00 00000749: DUP1 0000074a: REVERT 0000074b: JUMPDEST 0000074c: PUSH1 0x14 0000074e: SLOAD 0000074f: PUSH1 0x01 00000751: PUSH1 0xa0 00000753: PUSH1 0x02 00000755: EXP 00000756: SUB 00000757: AND 00000758: PUSH4 0xa620fcc7 0000075d: PUSH1 0x00 0000075f: PUSH1 0x40 00000761: MLOAD 00000762: PUSH1 0x20 00000764: ADD 00000765: MSTORE 00000766: PUSH1 0x40 00000768: MLOAD 00000769: DUP2 0000076a: PUSH4 0xffffffff 0000076f: AND 00000770: PUSH1 0xe0 00000772: PUSH1 0x02 00000774: EXP 00000775: MUL 00000776: DUP2 00000777: MSTORE 00000778: PUSH1 0x04 0000077a: ADD 0000077b: PUSH1 0x20 0000077d: PUSH1 0x40 0000077f: MLOAD 00000780: DUP1 00000781: DUP4 00000782: SUB 00000783: DUP2 00000784: PUSH1 0x00 00000786: DUP8 00000787: DUP1 00000788: EXTCODESIZE 00000789: ISZERO 0000078a: ISZERO 0000078b: PUSH2 0x0793 0000078e: JUMPI 0000078f: PUSH1 0x00 00000791: DUP1 00000792: REVERT 00000793: JUMPDEST 00000794: PUSH2 0x02c6 00000797: GAS 00000798: SUB 00000799: CALL 0000079a: ISZERO 0000079b: ISZERO 0000079c: PUSH2 0x07a4 0000079f: JUMPI 000007a0: PUSH1 0x00 000007a2: DUP1 000007a3: REVERT 000007a4: JUMPDEST 000007a5: POP 000007a6: POP 000007a7: POP 000007a8: PUSH1 0x40 000007aa: MLOAD 000007ab: DUP1 000007ac: MLOAD 000007ad: SWAP7 000007ae: POP 000007af: POP 000007b0: DUP6 000007b1: DUP13 000007b2: LT 000007b3: PUSH2 0x07bb 000007b6: JUMPI 000007b7: PUSH1 0x00 000007b9: DUP1 000007ba: REVERT 000007bb: JUMPDEST 000007bc: PUSH1 0x0a 000007be: SLOAD 000007bf: DUP7 000007c0: SWAP1 000007c1: LT 000007c2: PUSH2 0x07ca 000007c5: JUMPI 000007c6: PUSH1 0x00 000007c8: DUP1 000007c9: REVERT 000007ca: JUMPDEST 000007cb: PUSH2 0x07d3 000007ce: DUP13 000007cf: PUSH2 0x1206 000007d2: JUMP 000007d3: JUMPDEST 000007d4: SWAP4 000007d5: SWAP15 000007d6: POP 000007d7: SWAP2 000007d8: SWAP13 000007d9: POP 000007da: SWAP11 000007db: POP 000007dc: SWAP9 000007dd: POP 000007de: SWAP7 000007df: POP 000007e0: PUSH1 0x01 000007e2: PUSH1 0xa0 000007e4: PUSH1 0x02 000007e6: EXP 000007e7: SUB 000007e8: DUP12 000007e9: AND 000007ea: ISZERO 000007eb: ISZERO 000007ec: PUSH2 0x07f4 000007ef: JUMPI 000007f0: PUSH1 0x00 000007f2: DUP1 000007f3: REVERT 000007f4: JUMPDEST 000007f5: PUSH1 0x01 000007f7: PUSH1 0xa0 000007f9: PUSH1 0x02 000007fb: EXP 000007fc: SUB 000007fd: DUP12 000007fe: AND 000007ff: PUSH1 0x00 00000801: SWAP1 00000802: DUP2 00000803: MSTORE 00000804: PUSH1 0x12 00000806: PUSH1 0x20 00000808: MSTORE 00000809: PUSH1 0x40 0000080b: DUP2 0000080c: KECCAK256 0000080d: PUSH1 0x02 0000080f: SWAP1 00000810: DUP2 00000811: ADD 00000812: SLOAD 00000813: PUSH1 0xff 00000815: AND 00000816: SWAP1 00000817: DUP2 00000818: GT 00000819: ISZERO 0000081a: PUSH2 0x081f 0000081d: JUMPI 0000081e: INVALID 0000081f: JUMPDEST 00000820: EQ 00000821: PUSH2 0x0829 00000824: JUMPI 00000825: PUSH1 0x00 00000827: DUP1 00000828: REVERT 00000829: JUMPDEST 0000082a: PUSH1 0x09 0000082c: SLOAD 0000082d: DUP11 0000082e: DUP2 0000082f: ISZERO 00000830: ISZERO 00000831: PUSH2 0x0836 00000834: JUMPI 00000835: INVALID 00000836: JUMPDEST 00000837: MOD 00000838: SWAP5 00000839: POP 0000083a: PUSH1 0x07 0000083c: SLOAD 0000083d: DUP11 0000083e: LT 0000083f: ISZERO 00000840: PUSH2 0x084d 00000843: JUMPI 00000844: PUSH1 0x07 00000846: SLOAD 00000847: SWAP4 00000848: POP 00000849: PUSH2 0x088f 0000084c: JUMP 0000084d: JUMPDEST 0000084e: PUSH1 0x08 00000850: SLOAD 00000851: DUP11 00000852: GT 00000853: ISZERO 00000854: PUSH2 0x0861 00000857: JUMPI 00000858: PUSH1 0x08 0000085a: SLOAD 0000085b: SWAP4 0000085c: POP 0000085d: PUSH2 0x088f 00000860: JUMP 00000861: JUMPDEST 00000862: DUP10 00000863: SWAP4 00000864: POP 00000865: DUP5 00000866: ISZERO 00000867: PUSH2 0x088f 0000086a: JUMPI 0000086b: PUSH2 0x0874 0000086e: DUP11 0000086f: DUP7 00000870: PUSH2 0x11f2 00000873: JUMP 00000874: JUMPDEST 00000875: SWAP4 00000876: POP 00000877: PUSH1 0x01 00000879: SLOAD 0000087a: DUP5 0000087b: LT 0000087c: ISZERO 0000087d: PUSH2 0x088f 00000880: JUMPI 00000881: PUSH2 0x088c 00000884: DUP5 00000885: PUSH1 0x09 00000887: SLOAD 00000888: PUSH2 0x02a1 0000088b: JUMP 0000088c: JUMPDEST 0000088d: SWAP4 0000088e: POP 0000088f: JUMPDEST 00000890: PUSH1 0x00 00000892: DUP5 00000893: DUP2 00000894: MSTORE 00000895: PUSH1 0x06 00000897: PUSH1 0x20 00000899: MSTORE 0000089a: PUSH1 0x40 0000089c: SWAP1 0000089d: KECCAK256 0000089e: PUSH1 0x01 000008a0: DUP2 000008a1: ADD 000008a2: SLOAD 000008a3: SWAP1 000008a4: SWAP4 000008a5: POP 000008a6: PUSH3 0x010000 000008aa: SWAP1 000008ab: DIV 000008ac: PUSH1 0xff 000008ae: AND 000008af: ISZERO 000008b0: ISZERO 000008b1: PUSH2 0x08b9 000008b4: JUMPI 000008b5: PUSH1 0x00 000008b7: DUP1 000008b8: REVERT 000008b9: JUMPDEST 000008ba: PUSH2 0x08c3 000008bd: DUP10 000008be: DUP9 000008bf: PUSH2 0x12ba 000008c2: JUMP 000008c3: JUMPDEST 000008c4: PUSH1 0x00 000008c6: DUP6 000008c7: DUP2 000008c8: MSTORE 000008c9: PUSH1 0x06 000008cb: PUSH1 0x20 000008cd: MSTORE 000008ce: PUSH1 0x40 000008d0: SWAP1 000008d1: KECCAK256 000008d2: SLOAD 000008d3: SWAP1 000008d4: SWAP3 000008d5: POP 000008d6: PUSH2 0x08df 000008d9: SWAP1 000008da: DUP4 000008db: PUSH2 0x02a1 000008de: JUMP 000008df: JUMPDEST 000008e0: PUSH1 0x00 000008e2: DUP6 000008e3: DUP2 000008e4: MSTORE 000008e5: PUSH1 0x06 000008e7: PUSH1 0x20 000008e9: MSTORE 000008ea: PUSH1 0x40 000008ec: SWAP1 000008ed: KECCAK256 000008ee: SSTORE 000008ef: PUSH1 0x0b 000008f1: SLOAD 000008f2: PUSH2 0x08fb 000008f5: SWAP1 000008f6: DUP4 000008f7: PUSH2 0x02a1 000008fa: JUMP 000008fb: JUMPDEST 000008fc: PUSH1 0x0b 000008fe: SSTORE 000008ff: PUSH1 0x0a 00000901: DUP1 00000902: SLOAD 00000903: PUSH1 0x01 00000905: SWAP1 00000906: DUP2 00000907: ADD 00000908: SWAP1 00000909: SWAP2 0000090a: SSTORE 0000090b: PUSH1 0x01 0000090d: PUSH1 0xa0 0000090f: PUSH1 0x02 00000911: EXP 00000912: SUB 00000913: DUP13 00000914: AND 00000915: PUSH1 0x00 00000917: SWAP1 00000918: DUP2 00000919: MSTORE 0000091a: PUSH1 0x12 0000091c: PUSH1 0x20 0000091e: MSTORE 0000091f: PUSH1 0x40 00000921: SWAP1 00000922: KECCAK256 00000923: DUP6 00000924: DUP2 00000925: SSTORE 00000926: DUP1 00000927: DUP3 00000928: ADD 00000929: DUP5 0000092a: SWAP1 0000092b: SSTORE 0000092c: PUSH1 0x02 0000092e: ADD 0000092f: DUP1 00000930: SLOAD 00000931: PUSH1 0xff 00000933: NOT 00000934: AND 00000935: DUP3 00000936: DUP1 00000937: MUL 00000938: OR 00000939: SWAP1 0000093a: SSTORE 0000093b: POP 0000093c: PUSH32 0x9ec97c382d56b4d35b4d7057460ea7f57ff800af60a182833c33dc3e9b65726e 0000095d: DUP12 0000095e: DUP12 0000095f: DUP7 00000960: DUP6 00000961: PUSH1 0x40 00000963: MLOAD 00000964: DUP1 00000965: DUP6 00000966: PUSH1 0x01 00000968: PUSH1 0xa0 0000096a: PUSH1 0x02 0000096c: EXP 0000096d: SUB 0000096e: AND 0000096f: PUSH1 0x01 00000971: PUSH1 0xa0 00000973: PUSH1 0x02 00000975: EXP 00000976: SUB 00000977: AND 00000978: DUP2 00000979: MSTORE 0000097a: PUSH1 0x20 0000097c: ADD 0000097d: DUP5 0000097e: DUP2 0000097f: MSTORE 00000980: PUSH1 0x20 00000982: ADD 00000983: DUP4 00000984: DUP2 00000985: MSTORE 00000986: PUSH1 0x20 00000988: ADD 00000989: DUP3 0000098a: DUP2 0000098b: MSTORE 0000098c: PUSH1 0x20 0000098e: ADD 0000098f: SWAP5 00000990: POP 00000991: POP 00000992: POP 00000993: POP 00000994: POP 00000995: PUSH1 0x40 00000997: MLOAD 00000998: DUP1 00000999: SWAP2 0000099a: SUB 0000099b: SWAP1 0000099c: LOG1 0000099d: POP 0000099e: JUMPDEST 0000099f: POP 000009a0: POP 000009a1: POP 000009a2: POP 000009a3: POP 000009a4: POP 000009a5: POP 000009a6: POP 000009a7: POP 000009a8: POP 000009a9: POP 000009aa: JUMP 000009ab: JUMPDEST 000009ac: PUSH1 0x13 000009ae: SLOAD 000009af: PUSH1 0x01 000009b1: PUSH1 0xa0 000009b3: PUSH1 0x02 000009b5: EXP 000009b6: SUB 000009b7: AND 000009b8: DUP2 000009b9: JUMP 000009ba: JUMPDEST 000009bb: PUSH1 0x15 000009bd: SLOAD 000009be: PUSH1 0x01 000009c0: PUSH1 0xa0 000009c2: PUSH1 0x02 000009c4: EXP 000009c5: SUB 000009c6: AND 000009c7: DUP2 000009c8: JUMP 000009c9: JUMPDEST 000009ca: PUSH1 0x00 000009cc: SLOAD 000009cd: CALLER 000009ce: PUSH1 0x01 000009d0: PUSH1 0xa0 000009d2: PUSH1 0x02 000009d4: EXP 000009d5: SUB 000009d6: SWAP1 000009d7: DUP2 000009d8: AND 000009d9: SWAP2 000009da: AND 000009db: EQ 000009dc: ISZERO 000009dd: PUSH2 0x0a0b 000009e0: JUMPI 000009e1: PUSH1 0x01 000009e3: PUSH1 0xa0 000009e5: PUSH1 0x02 000009e7: EXP 000009e8: SUB 000009e9: DUP2 000009ea: AND 000009eb: ISZERO 000009ec: PUSH2 0x0a0b 000009ef: JUMPI 000009f0: PUSH1 0x00 000009f2: DUP1 000009f3: SLOAD 000009f4: PUSH1 0x01 000009f6: PUSH1 0xa0 000009f8: PUSH1 0x02 000009fa: EXP 000009fb: SUB 000009fc: NOT 000009fd: AND 000009fe: PUSH1 0x01 00000a00: PUSH1 0xa0 00000a02: PUSH1 0x02 00000a04: EXP 00000a05: SUB 00000a06: DUP4 00000a07: AND 00000a08: OR 00000a09: SWAP1 00000a0a: SSTORE 00000a0b: JUMPDEST 00000a0c: POP 00000a0d: JUMP 00000a0e: JUMPDEST 00000a0f: PUSH1 0x17 00000a11: SLOAD 00000a12: PUSH1 0x00 00000a14: SWAP1 00000a15: DUP2 00000a16: SWAP1 00000a17: DUP2 00000a18: SWAP1 00000a19: DUP2 00000a1a: SWAP1 00000a1b: PUSH1 0x01 00000a1d: SWAP1 00000a1e: PUSH1 0xff 00000a20: AND 00000a21: ISZERO 00000a22: ISZERO 00000a23: DUP2 00000a24: EQ 00000a25: PUSH2 0x0a2d 00000a28: JUMPI 00000a29: PUSH1 0x00 00000a2b: DUP1 00000a2c: REVERT 00000a2d: JUMPDEST 00000a2e: PUSH1 0x01 00000a30: PUSH1 0xa0 00000a32: PUSH1 0x02 00000a34: EXP 00000a35: SUB 00000a36: DUP7 00000a37: AND 00000a38: PUSH1 0x00 00000a3a: SWAP1 00000a3b: DUP2 00000a3c: MSTORE 00000a3d: PUSH1 0x12 00000a3f: PUSH1 0x20 00000a41: SWAP1 00000a42: DUP2 00000a43: MSTORE 00000a44: PUSH1 0x40 00000a46: DUP1 00000a47: DUP4 00000a48: KECCAK256 00000a49: DUP1 00000a4a: SLOAD 00000a4b: DUP5 00000a4c: MSTORE 00000a4d: PUSH1 0x06 00000a4f: SWAP1 00000a50: SWAP3 00000a51: MSTORE 00000a52: SWAP1 00000a53: SWAP2 00000a54: KECCAK256 00000a55: PUSH1 0x01 00000a57: SWAP1 00000a58: DUP2 00000a59: ADD 00000a5a: SLOAD 00000a5b: SWAP1 00000a5c: DUP3 00000a5d: ADD 00000a5e: SLOAD 00000a5f: SWAP2 00000a60: SWAP5 00000a61: POP 00000a62: PUSH2 0x0a74 00000a65: SWAP2 00000a66: PUSH2 0x0100 00000a69: SWAP1 00000a6a: SWAP2 00000a6b: DIV 00000a6c: PUSH1 0xff 00000a6e: AND 00000a6f: SWAP1 00000a70: PUSH2 0x116e 00000a73: JUMP 00000a74: JUMPDEST 00000a75: PUSH1 0x02 00000a77: DUP5 00000a78: ADD 00000a79: SLOAD 00000a7a: SWAP1 00000a7b: SWAP6 00000a7c: POP 00000a7d: PUSH1 0xff 00000a7f: AND 00000a80: SWAP4 00000a81: POP 00000a82: DUP5 00000a83: SWAP2 00000a84: POP 00000a85: POP 00000a86: POP 00000a87: POP 00000a88: SWAP2 00000a89: POP 00000a8a: SWAP2 00000a8b: JUMP 00000a8c: JUMPDEST 00000a8d: PUSH1 0x0c 00000a8f: SLOAD 00000a90: DUP2 00000a91: JUMP 00000a92: JUMPDEST 00000a93: PUSH1 0x14 00000a95: SLOAD 00000a96: PUSH1 0x01 00000a98: PUSH1 0xa0 00000a9a: PUSH1 0x02 00000a9c: EXP 00000a9d: SUB 00000a9e: AND 00000a9f: DUP2 00000aa0: JUMP 00000aa1: JUMPDEST 00000aa2: PUSH1 0x01 00000aa4: SLOAD 00000aa5: DUP2 00000aa6: JUMP 00000aa7: JUMPDEST 00000aa8: PUSH1 0x00 00000aaa: SLOAD 00000aab: PUSH1 0x01 00000aad: PUSH1 0xa0 00000aaf: PUSH1 0x02 00000ab1: EXP 00000ab2: SUB 00000ab3: AND 00000ab4: DUP2 00000ab5: JUMP 00000ab6: JUMPDEST 00000ab7: PUSH1 0x0b 00000ab9: SLOAD 00000aba: DUP2 00000abb: JUMP 00000abc: JUMPDEST 00000abd: PUSH1 0x0d 00000abf: SLOAD 00000ac0: DUP2 00000ac1: JUMP 00000ac2: JUMPDEST 00000ac3: PUSH1 0x18 00000ac5: SLOAD 00000ac6: DUP2 00000ac7: JUMP 00000ac8: JUMPDEST 00000ac9: PUSH1 0x13 00000acb: SLOAD 00000acc: PUSH1 0x00 00000ace: SWAP1 00000acf: PUSH1 0x01 00000ad1: PUSH1 0xa0 00000ad3: PUSH1 0x02 00000ad5: EXP 00000ad6: SUB 00000ad7: AND 00000ad8: ISZERO 00000ad9: ISZERO 00000ada: PUSH2 0x0ae2 00000add: JUMPI 00000ade: PUSH1 0x00 00000ae0: DUP1 00000ae1: REVERT 00000ae2: JUMPDEST 00000ae3: PUSH1 0x13 00000ae5: SLOAD 00000ae6: CALLER 00000ae7: PUSH1 0x01 00000ae9: PUSH1 0xa0 00000aeb: PUSH1 0x02 00000aed: EXP 00000aee: SUB 00000aef: SWAP1 00000af0: DUP2 00000af1: AND 00000af2: SWAP2 00000af3: AND 00000af4: EQ 00000af5: PUSH2 0x0afd 00000af8: JUMPI 00000af9: PUSH1 0x00 00000afb: DUP1 00000afc: REVERT 00000afd: JUMPDEST 00000afe: PUSH1 0x15 00000b00: SLOAD 00000b01: PUSH1 0x01 00000b03: PUSH1 0xa0 00000b05: PUSH1 0x02 00000b07: EXP 00000b08: SUB 00000b09: AND 00000b0a: PUSH4 0x70a08231 00000b0f: ADDRESS 00000b10: PUSH1 0x00 00000b12: PUSH1 0x40 00000b14: MLOAD 00000b15: PUSH1 0x20 00000b17: ADD 00000b18: MSTORE 00000b19: PUSH1 0x40 00000b1b: MLOAD 00000b1c: PUSH1 0xe0 00000b1e: PUSH1 0x02 00000b20: EXP 00000b21: PUSH4 0xffffffff 00000b26: DUP5 00000b27: AND 00000b28: MUL 00000b29: DUP2 00000b2a: MSTORE 00000b2b: PUSH1 0x01 00000b2d: PUSH1 0xa0 00000b2f: PUSH1 0x02 00000b31: EXP 00000b32: SUB 00000b33: SWAP1 00000b34: SWAP2 00000b35: AND 00000b36: PUSH1 0x04 00000b38: DUP3 00000b39: ADD 00000b3a: MSTORE 00000b3b: PUSH1 0x24 00000b3d: ADD 00000b3e: PUSH1 0x20 00000b40: PUSH1 0x40 00000b42: MLOAD 00000b43: DUP1 00000b44: DUP4 00000b45: SUB 00000b46: DUP2 00000b47: PUSH1 0x00 00000b49: DUP8 00000b4a: DUP1 00000b4b: EXTCODESIZE 00000b4c: ISZERO 00000b4d: ISZERO 00000b4e: PUSH2 0x0b56 00000b51: JUMPI 00000b52: PUSH1 0x00 00000b54: DUP1 00000b55: REVERT 00000b56: JUMPDEST 00000b57: PUSH2 0x02c6 00000b5a: GAS 00000b5b: SUB 00000b5c: CALL 00000b5d: ISZERO 00000b5e: ISZERO 00000b5f: PUSH2 0x0b67 00000b62: JUMPI 00000b63: PUSH1 0x00 00000b65: DUP1 00000b66: REVERT 00000b67: JUMPDEST 00000b68: POP 00000b69: POP 00000b6a: POP 00000b6b: PUSH1 0x40 00000b6d: MLOAD 00000b6e: DUP1 00000b6f: MLOAD 00000b70: PUSH1 0x13 00000b72: SLOAD 00000b73: SWAP1 00000b74: SWAP3 00000b75: POP 00000b76: PUSH1 0x01 00000b78: PUSH1 0xa0 00000b7a: PUSH1 0x02 00000b7c: EXP 00000b7d: SUB 00000b7e: SWAP1 00000b7f: DUP2 00000b80: AND 00000b81: SWAP2 00000b82: POP 00000b83: ADDRESS 00000b84: AND 00000b85: BALANCE 00000b86: DUP1 00000b87: ISZERO 00000b88: PUSH2 0x08fc 00000b8b: MUL 00000b8c: SWAP1 00000b8d: PUSH1 0x40 00000b8f: MLOAD 00000b90: PUSH1 0x00 00000b92: PUSH1 0x40 00000b94: MLOAD 00000b95: DUP1 00000b96: DUP4 00000b97: SUB 00000b98: DUP2 00000b99: DUP6 00000b9a: DUP9 00000b9b: DUP9 00000b9c: CALL 00000b9d: SWAP4 00000b9e: POP 00000b9f: POP 00000ba0: POP 00000ba1: POP 00000ba2: ISZERO 00000ba3: ISZERO 00000ba4: PUSH2 0x0bac 00000ba7: JUMPI 00000ba8: PUSH1 0x00 00000baa: DUP1 00000bab: REVERT 00000bac: JUMPDEST 00000bad: PUSH1 0x15 00000baf: SLOAD 00000bb0: PUSH1 0x13 00000bb2: SLOAD 00000bb3: PUSH1 0x01 00000bb5: PUSH1 0xa0 00000bb7: PUSH1 0x02 00000bb9: EXP 00000bba: SUB 00000bbb: SWAP2 00000bbc: DUP3 00000bbd: AND 00000bbe: SWAP2 00000bbf: PUSH4 0xa9059cbb 00000bc4: SWAP2 00000bc5: AND 00000bc6: DUP4 00000bc7: PUSH1 0x00 00000bc9: PUSH1 0x40 00000bcb: MLOAD 00000bcc: PUSH1 0x20 00000bce: ADD 00000bcf: MSTORE 00000bd0: PUSH1 0x40 00000bd2: MLOAD 00000bd3: PUSH1 0xe0 00000bd5: PUSH1 0x02 00000bd7: EXP 00000bd8: PUSH4 0xffffffff 00000bdd: DUP6 00000bde: AND 00000bdf: MUL 00000be0: DUP2 00000be1: MSTORE 00000be2: PUSH1 0x01 00000be4: PUSH1 0xa0 00000be6: PUSH1 0x02 00000be8: EXP 00000be9: SUB 00000bea: SWAP1 00000beb: SWAP3 00000bec: AND 00000bed: PUSH1 0x04 00000bef: DUP4 00000bf0: ADD 00000bf1: MSTORE 00000bf2: PUSH1 0x24 00000bf4: DUP3 00000bf5: ADD 00000bf6: MSTORE 00000bf7: PUSH1 0x44 00000bf9: ADD 00000bfa: PUSH1 0x20 00000bfc: PUSH1 0x40 00000bfe: MLOAD 00000bff: DUP1 00000c00: DUP4 00000c01: SUB 00000c02: DUP2 00000c03: PUSH1 0x00 00000c05: DUP8 00000c06: DUP1 00000c07: EXTCODESIZE 00000c08: ISZERO 00000c09: ISZERO 00000c0a: PUSH2 0x0c12 00000c0d: JUMPI 00000c0e: PUSH1 0x00 00000c10: DUP1 00000c11: REVERT 00000c12: JUMPDEST 00000c13: PUSH2 0x02c6 00000c16: GAS 00000c17: SUB 00000c18: CALL 00000c19: ISZERO 00000c1a: ISZERO 00000c1b: PUSH2 0x0c23 00000c1e: JUMPI 00000c1f: PUSH1 0x00 00000c21: DUP1 00000c22: REVERT 00000c23: JUMPDEST 00000c24: POP 00000c25: POP 00000c26: POP 00000c27: PUSH1 0x40 00000c29: MLOAD 00000c2a: DUP1 00000c2b: MLOAD 00000c2c: POP 00000c2d: POP 00000c2e: POP 00000c2f: JUMP 00000c30: JUMPDEST 00000c31: DUP1 00000c32: ISZERO 00000c33: ISZERO 00000c34: PUSH2 0x0a0b 00000c37: JUMPI 00000c38: PUSH1 0x00 00000c3a: DUP1 00000c3b: REVERT 00000c3c: JUMPDEST 00000c3d: PUSH1 0x00 00000c3f: DUP3 00000c40: DUP3 00000c41: MUL 00000c42: PUSH2 0x02be 00000c45: DUP5 00000c46: ISZERO 00000c47: DUP1 00000c48: PUSH2 0x02b9 00000c4b: JUMPI 00000c4c: POP 00000c4d: DUP4 00000c4e: DUP6 00000c4f: DUP4 00000c50: DUP2 00000c51: ISZERO 00000c52: ISZERO 00000c53: PUSH2 0x0c58 00000c56: JUMPI 00000c57: INVALID 00000c58: JUMPDEST 00000c59: DIV 00000c5a: EQ 00000c5b: PUSH2 0x0c30 00000c5e: JUMP 00000c5f: JUMPDEST 00000c60: PUSH2 0x0c67 00000c63: PUSH2 0x1414 00000c66: JUMP 00000c67: JUMPDEST 00000c68: PUSH1 0x00 00000c6a: DUP1 00000c6b: PUSH2 0x0c75 00000c6e: PUSH1 0x02 00000c70: SLOAD 00000c71: PUSH2 0x13a4 00000c74: JUMP 00000c75: JUMPDEST 00000c76: PUSH1 0xc0 00000c78: DUP6 00000c79: ADD 00000c7a: MSTORE 00000c7b: PUSH1 0xa0 00000c7d: DUP5 00000c7e: ADD 00000c7f: MSTORE 00000c80: PUSH1 0x03 00000c82: SLOAD 00000c83: PUSH2 0x0c8b 00000c86: SWAP1 00000c87: PUSH2 0x13a4 00000c8a: JUMP 00000c8b: JUMPDEST 00000c8c: PUSH1 0xe0 00000c8e: DUP6 00000c8f: ADD 00000c90: SWAP1 00000c91: DUP2 00000c92: MSTORE 00000c93: PUSH1 0x80 00000c95: DUP6 00000c96: ADD 00000c97: SWAP2 00000c98: SWAP1 00000c99: SWAP2 00000c9a: MSTORE 00000c9b: PUSH2 0x0ca7 00000c9e: SWAP1 00000c9f: MLOAD 00000ca0: PUSH1 0x01 00000ca2: SLOAD 00000ca3: PUSH2 0x11f2 00000ca6: JUMP 00000ca7: JUMPDEST 00000ca8: SWAP2 00000ca9: POP 00000caa: PUSH2 0x0ccb 00000cad: PUSH1 0x01 00000caf: SLOAD 00000cb0: PUSH1 0x04 00000cb2: PUSH2 0x0cbc 00000cb5: DUP6 00000cb6: PUSH1 0x05 00000cb8: PUSH2 0x0c3c 00000cbb: JUMP 00000cbc: JUMPDEST 00000cbd: DUP2 00000cbe: ISZERO 00000cbf: ISZERO 00000cc0: PUSH2 0x0cc5 00000cc3: JUMPI 00000cc4: INVALID 00000cc5: JUMPDEST 00000cc6: DIV 00000cc7: PUSH2 0x02a1 00000cca: JUMP 00000ccb: JUMPDEST 00000ccc: PUSH2 0x0100 00000ccf: DUP5 00000cd0: ADD 00000cd1: MSTORE 00000cd2: PUSH1 0x01 00000cd4: SLOAD 00000cd5: PUSH2 0x0ce5 00000cd8: SWAP1 00000cd9: PUSH1 0x03 00000cdb: PUSH2 0x0cbc 00000cde: DUP6 00000cdf: PUSH1 0x04 00000ce1: PUSH2 0x0c3c 00000ce4: JUMP 00000ce5: JUMPDEST 00000ce6: PUSH2 0x0120 00000ce9: DUP5 00000cea: ADD 00000ceb: MSTORE 00000cec: PUSH1 0x01 00000cee: SLOAD 00000cef: PUSH2 0x0cff 00000cf2: SWAP1 00000cf3: PUSH1 0x02 00000cf5: PUSH2 0x0cbc 00000cf8: DUP6 00000cf9: PUSH1 0x03 00000cfb: PUSH2 0x0c3c 00000cfe: JUMP 00000cff: JUMPDEST 00000d00: PUSH2 0x0140 00000d03: DUP5 00000d04: ADD 00000d05: MSTORE 00000d06: PUSH1 0x01 00000d08: SLOAD 00000d09: PUSH2 0x0d17 00000d0c: SWAP1 00000d0d: PUSH2 0x05e1 00000d10: DUP5 00000d11: PUSH1 0x02 00000d13: PUSH2 0x0c3c 00000d16: JUMP 00000d17: JUMPDEST 00000d18: PUSH2 0x0160 00000d1b: DUP5 00000d1c: ADD 00000d1d: MSTORE 00000d1e: PUSH1 0x01 00000d20: SLOAD 00000d21: PUSH2 0x0d2e 00000d24: SWAP1 00000d25: PUSH1 0x80 00000d27: DUP6 00000d28: ADD 00000d29: MLOAD 00000d2a: PUSH2 0x11f2 00000d2d: JUMP 00000d2e: JUMPDEST 00000d2f: SWAP2 00000d30: POP 00000d31: PUSH1 0x04 00000d33: PUSH2 0x0d3d 00000d36: DUP4 00000d37: PUSH1 0x05 00000d39: PUSH2 0x0c3c 00000d3c: JUMP 00000d3d: JUMPDEST 00000d3e: DUP2 00000d3f: ISZERO 00000d40: ISZERO 00000d41: PUSH2 0x0d46 00000d44: JUMPI 00000d45: INVALID 00000d46: JUMPDEST 00000d47: DIV 00000d48: SWAP1 00000d49: POP 00000d4a: PUSH1 0x01 00000d4c: SLOAD 00000d4d: DUP2 00000d4e: LT 00000d4f: ISZERO 00000d50: PUSH2 0x0dda 00000d53: JUMPI 00000d54: PUSH1 0x01 00000d56: SLOAD 00000d57: DUP2 00000d58: SWAP1 00000d59: SUB 00000d5a: PUSH1 0x60 00000d5c: DUP5 00000d5d: ADD 00000d5e: MSTORE 00000d5f: PUSH1 0x03 00000d61: PUSH2 0x0d6b 00000d64: DUP4 00000d65: PUSH1 0x04 00000d67: PUSH2 0x0c3c 00000d6a: JUMP 00000d6b: JUMPDEST 00000d6c: DUP2 00000d6d: ISZERO 00000d6e: ISZERO 00000d6f: PUSH2 0x0d74 00000d72: JUMPI 00000d73: INVALID 00000d74: JUMPDEST 00000d75: DIV 00000d76: SWAP1 00000d77: POP 00000d78: PUSH1 0x01 00000d7a: SLOAD 00000d7b: DUP2 00000d7c: LT 00000d7d: ISZERO 00000d7e: PUSH2 0x0dda 00000d81: JUMPI 00000d82: PUSH1 0x01 00000d84: SLOAD 00000d85: DUP2 00000d86: SWAP1 00000d87: SUB 00000d88: PUSH1 0x40 00000d8a: DUP5 00000d8b: ADD 00000d8c: MSTORE 00000d8d: PUSH1 0x02 00000d8f: PUSH2 0x0d99 00000d92: DUP4 00000d93: PUSH1 0x03 00000d95: PUSH2 0x0c3c 00000d98: JUMP 00000d99: JUMPDEST 00000d9a: DUP2 00000d9b: ISZERO 00000d9c: ISZERO 00000d9d: PUSH2 0x0da2 00000da0: JUMPI 00000da1: INVALID 00000da2: JUMPDEST 00000da3: DIV 00000da4: SWAP1 00000da5: POP 00000da6: PUSH1 0x01 00000da8: SLOAD 00000da9: DUP2 00000daa: LT 00000dab: ISZERO 00000dac: PUSH2 0x0dda 00000daf: JUMPI 00000db0: PUSH1 0x01 00000db2: SLOAD 00000db3: DUP2 00000db4: SWAP1 00000db5: SUB 00000db6: PUSH1 0x20 00000db8: DUP5 00000db9: ADD 00000dba: MSTORE 00000dbb: PUSH2 0x0dc5 00000dbe: DUP3 00000dbf: PUSH1 0x02 00000dc1: PUSH2 0x0c3c 00000dc4: JUMP 00000dc5: JUMPDEST 00000dc6: SWAP1 00000dc7: POP 00000dc8: PUSH1 0x01 00000dca: SLOAD 00000dcb: DUP2 00000dcc: LT 00000dcd: ISZERO 00000dce: PUSH2 0x0dda 00000dd1: JUMPI 00000dd2: PUSH1 0x01 00000dd4: SLOAD 00000dd5: DUP2 00000dd6: SWAP1 00000dd7: SUB 00000dd8: DUP4 00000dd9: MSTORE 00000dda: JUMPDEST 00000ddb: POP 00000ddc: POP 00000ddd: SWAP1 00000dde: JUMP 00000ddf: JUMPDEST 00000de0: PUSH1 0x00 00000de2: DUP1 00000de3: PUSH1 0x00 00000de5: PUSH1 0x01 00000de7: SLOAD 00000de8: DUP7 00000de9: GT 00000dea: ISZERO 00000deb: DUP1 00000dec: ISZERO 00000ded: PUSH2 0x0e00 00000df0: JUMPI 00000df1: POP 00000df2: PUSH1 0x01 00000df4: SLOAD 00000df5: DUP6 00000df6: LT 00000df7: ISZERO 00000df8: DUP1 00000df9: PUSH2 0x0e00 00000dfc: JUMPI 00000dfd: POP 00000dfe: DUP5 00000dff: ISZERO 00000e00: JUMPDEST 00000e01: ISZERO 00000e02: PUSH2 0x0e2d 00000e05: JUMPI 00000e06: POP 00000e07: POP 00000e08: POP 00000e09: PUSH1 0x00 00000e0b: DUP4 00000e0c: DUP2 00000e0d: MSTORE 00000e0e: PUSH1 0x06 00000e10: PUSH1 0x20 00000e12: DUP2 00000e13: SWAP1 00000e14: MSTORE 00000e15: PUSH1 0x40 00000e17: SWAP1 00000e18: SWAP2 00000e19: KECCAK256 00000e1a: SLOAD 00000e1b: PUSH1 0x11 00000e1d: DUP1 00000e1e: SLOAD 00000e1f: SWAP1 00000e20: SWAP2 00000e21: ADD 00000e22: SWAP1 00000e23: SSTORE 00000e24: PUSH1 0x01 00000e26: SWAP1 00000e27: PUSH1 0x04 00000e29: PUSH2 0x0f8b 00000e2c: JUMP 00000e2d: JUMPDEST 00000e2e: DUP4 00000e2f: ISZERO 00000e30: PUSH2 0x0e57 00000e33: JUMPI 00000e34: POP 00000e35: POP 00000e36: POP 00000e37: PUSH1 0x00 00000e39: DUP4 00000e3a: DUP2 00000e3b: MSTORE 00000e3c: PUSH1 0x06 00000e3e: PUSH1 0x20 00000e40: DUP2 00000e41: SWAP1 00000e42: MSTORE 00000e43: PUSH1 0x40 00000e45: DUP3 00000e46: KECCAK256 00000e47: SLOAD 00000e48: PUSH1 0x11 00000e4a: DUP1 00000e4b: SLOAD 00000e4c: SWAP1 00000e4d: SWAP2 00000e4e: ADD 00000e4f: SWAP1 00000e50: SSTORE 00000e51: PUSH1 0x04 00000e53: PUSH2 0x0f8b 00000e56: JUMP 00000e57: JUMPDEST 00000e58: DUP7 00000e59: MLOAD 00000e5a: DUP7 00000e5b: LT 00000e5c: ISZERO 00000e5d: DUP1 00000e5e: ISZERO 00000e5f: PUSH2 0x0e6d 00000e62: JUMPI 00000e63: POP 00000e64: DUP7 00000e65: PUSH2 0x0160 00000e68: ADD 00000e69: MLOAD 00000e6a: DUP7 00000e6b: GT 00000e6c: ISZERO 00000e6d: JUMPDEST 00000e6e: ISZERO 00000e6f: PUSH2 0x0f8b 00000e72: JUMPI 00000e73: DUP7 00000e74: PUSH1 0x20 00000e76: ADD 00000e77: MLOAD 00000e78: DUP7 00000e79: LT 00000e7a: ISZERO 00000e7b: DUP1 00000e7c: ISZERO 00000e7d: PUSH2 0x0e8b 00000e80: JUMPI 00000e81: POP 00000e82: DUP7 00000e83: PUSH2 0x0140 00000e86: ADD 00000e87: MLOAD 00000e88: DUP7 00000e89: GT 00000e8a: ISZERO 00000e8b: JUMPDEST 00000e8c: ISZERO 00000e8d: PUSH2 0x0f86 00000e90: JUMPI 00000e91: DUP7 00000e92: PUSH1 0x40 00000e94: ADD 00000e95: MLOAD 00000e96: DUP7 00000e97: LT 00000e98: ISZERO 00000e99: DUP1 00000e9a: ISZERO 00000e9b: PUSH2 0x0ea9 00000e9e: JUMPI 00000e9f: POP 00000ea0: DUP7 00000ea1: PUSH2 0x0120 00000ea4: ADD 00000ea5: MLOAD 00000ea6: DUP7 00000ea7: GT 00000ea8: ISZERO 00000ea9: JUMPDEST 00000eaa: ISZERO 00000eab: PUSH2 0x0f7c 00000eae: JUMPI 00000eaf: DUP7 00000eb0: PUSH1 0x60 00000eb2: ADD 00000eb3: MLOAD 00000eb4: DUP7 00000eb5: LT 00000eb6: ISZERO 00000eb7: DUP1 00000eb8: ISZERO 00000eb9: PUSH2 0x0ec7 00000ebc: JUMPI 00000ebd: POP 00000ebe: DUP7 00000ebf: PUSH2 0x0100 00000ec2: ADD 00000ec3: MLOAD 00000ec4: DUP7 00000ec5: GT 00000ec6: ISZERO 00000ec7: JUMPDEST 00000ec8: ISZERO 00000ec9: PUSH2 0x0f72 00000ecc: JUMPI 00000ecd: DUP7 00000ece: PUSH1 0x80 00000ed0: ADD 00000ed1: MLOAD 00000ed2: DUP7 00000ed3: LT 00000ed4: ISZERO 00000ed5: DUP1 00000ed6: ISZERO 00000ed7: PUSH2 0x0ee4 00000eda: JUMPI 00000edb: POP 00000edc: DUP7 00000edd: PUSH1 0xe0 00000edf: ADD 00000ee0: MLOAD 00000ee1: DUP7 00000ee2: GT 00000ee3: ISZERO 00000ee4: JUMPDEST 00000ee5: ISZERO 00000ee6: PUSH2 0x0f4e 00000ee9: JUMPI 00000eea: DUP7 00000eeb: PUSH1 0xa0 00000eed: ADD 00000eee: MLOAD 00000eef: DUP7 00000ef0: LT 00000ef1: ISZERO 00000ef2: DUP1 00000ef3: ISZERO 00000ef4: PUSH2 0x0f01 00000ef7: JUMPI 00000ef8: POP 00000ef9: DUP7 00000efa: PUSH1 0xc0 00000efc: ADD 00000efd: MLOAD 00000efe: DUP7 00000eff: GT 00000f00: ISZERO 00000f01: JUMPDEST 00000f02: ISZERO 00000f03: PUSH2 0x0f2a 00000f06: JUMPI 00000f07: POP 00000f08: POP 00000f09: PUSH1 0x00 00000f0b: DUP5 00000f0c: DUP2 00000f0d: MSTORE 00000f0e: PUSH1 0x06 00000f10: PUSH1 0x20 00000f12: DUP2 00000f13: SWAP1 00000f14: MSTORE 00000f15: PUSH1 0x40 00000f17: SWAP1 00000f18: SWAP2 00000f19: KECCAK256 00000f1a: SLOAD 00000f1b: PUSH1 0x10 00000f1d: DUP1 00000f1e: SLOAD 00000f1f: SWAP1 00000f20: SWAP2 00000f21: ADD 00000f22: SWAP1 00000f23: SSTORE 00000f24: PUSH1 0x03 00000f26: PUSH2 0x0f49 00000f29: JUMP 00000f2a: JUMPDEST 00000f2b: POP 00000f2c: POP 00000f2d: PUSH1 0x00 00000f2f: DUP5 00000f30: DUP2 00000f31: MSTORE 00000f32: PUSH1 0x06 00000f34: PUSH1 0x20 00000f36: MSTORE 00000f37: PUSH1 0x40 00000f39: SWAP1 00000f3a: KECCAK256 00000f3b: SLOAD 00000f3c: PUSH1 0x0f 00000f3e: DUP1 00000f3f: SLOAD 00000f40: SWAP1 00000f41: SWAP2 00000f42: ADD 00000f43: SWAP1 00000f44: SSTORE 00000f45: PUSH1 0x05 00000f47: PUSH1 0x02 00000f49: JUMPDEST 00000f4a: PUSH2 0x0f6d 00000f4d: JUMP 00000f4e: JUMPDEST 00000f4f: POP 00000f50: POP 00000f51: PUSH1 0x00 00000f53: DUP5 00000f54: DUP2 00000f55: MSTORE 00000f56: PUSH1 0x06 00000f58: PUSH1 0x20 00000f5a: MSTORE 00000f5b: PUSH1 0x40 00000f5d: SWAP1 00000f5e: KECCAK256 00000f5f: SLOAD 00000f60: PUSH1 0x0e 00000f62: DUP1 00000f63: SLOAD 00000f64: SWAP1 00000f65: SWAP2 00000f66: ADD 00000f67: SWAP1 00000f68: SSTORE 00000f69: PUSH1 0x04 00000f6b: PUSH1 0x01 00000f6d: JUMPDEST 00000f6e: PUSH2 0x0f77 00000f71: JUMP 00000f72: JUMPDEST 00000f73: PUSH1 0x03 00000f75: SWAP2 00000f76: POP 00000f77: JUMPDEST 00000f78: PUSH2 0x0f81 00000f7b: JUMP 00000f7c: JUMPDEST 00000f7d: PUSH1 0x02 00000f7f: SWAP2 00000f80: POP 00000f81: JUMPDEST 00000f82: PUSH2 0x0f8b 00000f85: JUMP 00000f86: JUMPDEST 00000f87: PUSH1 0x01 00000f89: SWAP2 00000f8a: POP 00000f8b: JUMPDEST 00000f8c: PUSH1 0x00 00000f8e: SWAP6 00000f8f: DUP7 00000f90: MSTORE 00000f91: PUSH1 0x06 00000f93: PUSH1 0x20 00000f95: MSTORE 00000f96: PUSH1 0x40 00000f98: SWAP1 00000f99: SWAP6 00000f9a: KECCAK256 00000f9b: PUSH1 0x01 00000f9d: ADD 00000f9e: DUP1 00000f9f: SLOAD 00000fa0: PUSH1 0xff 00000fa2: SWAP7 00000fa3: DUP8 00000fa4: AND 00000fa5: PUSH2 0x0100 00000fa8: MUL 00000fa9: PUSH2 0xff00 00000fac: NOT 00000fad: SWAP8 00000fae: SWAP1 00000faf: SWAP4 00000fb0: AND 00000fb1: PUSH1 0xff 00000fb3: NOT 00000fb4: SWAP1 00000fb5: SWAP2 00000fb6: AND 00000fb7: OR 00000fb8: SWAP6 00000fb9: SWAP1 00000fba: SWAP6 00000fbb: AND 00000fbc: OR 00000fbd: SWAP1 00000fbe: SWAP4 00000fbf: SSTORE 00000fc0: POP 00000fc1: SWAP1 00000fc2: SWAP3 00000fc3: SWAP2 00000fc4: POP 00000fc5: POP 00000fc6: JUMP 00000fc7: JUMPDEST 00000fc8: PUSH1 0x00 00000fca: DUP1 00000fcb: PUSH1 0x00 00000fcd: DUP1 00000fce: PUSH1 0x00 00000fd0: DUP1 00000fd1: PUSH2 0x0fde 00000fd4: PUSH1 0x10 00000fd6: SLOAD 00000fd7: PUSH1 0x11 00000fd9: SLOAD 00000fda: PUSH2 0x02a1 00000fdd: JUMP 00000fde: JUMPDEST 00000fdf: PUSH1 0x10 00000fe1: DUP2 00000fe2: SWAP1 00000fe3: SSTORE 00000fe4: PUSH1 0x0f 00000fe6: SLOAD 00000fe7: PUSH2 0x0fef 00000fea: SWAP2 00000feb: PUSH2 0x02a1 00000fee: JUMP 00000fef: JUMPDEST 00000ff0: PUSH1 0x0f 00000ff2: DUP2 00000ff3: SWAP1 00000ff4: SSTORE 00000ff5: PUSH1 0x0e 00000ff7: SLOAD 00000ff8: PUSH2 0x1000 00000ffb: SWAP2 00000ffc: PUSH2 0x02a1 00000fff: JUMP 00001000: JUMPDEST 00001001: PUSH1 0x0e 00001003: DUP2 00001004: SWAP1 00001005: SSTORE 00001006: ISZERO 00001007: ISZERO 00001008: PUSH2 0x1018 0000100b: JUMPI 0000100c: PUSH1 0x0c 0000100e: SLOAD 0000100f: SWAP5 00001010: POP 00001011: DUP5 00001012: SWAP6 00001013: POP 00001014: PUSH2 0x1166 00001017: JUMP 00001018: JUMPDEST 00001019: PUSH1 0x0c 0000101b: SLOAD 0000101c: PUSH1 0x0a 0000101e: SWAP1 0000101f: DIV 00001020: SWAP4 00001021: POP 00001022: PUSH2 0x102c 00001025: DUP5 00001026: PUSH1 0x04 00001028: PUSH2 0x0c3c 0000102b: JUMP 0000102c: JUMPDEST 0000102d: SWAP3 0000102e: POP 0000102f: PUSH2 0x103a 00001032: DUP4 00001033: PUSH1 0x02 00001035: DUP7 00001036: PUSH2 0x0cc5 00001039: JUMP 0000103a: JUMPDEST 0000103b: SWAP2 0000103c: POP 0000103d: PUSH2 0x1048 00001040: PUSH1 0x0c 00001042: SLOAD 00001043: DUP4 00001044: PUSH2 0x11f2 00001047: JUMP 00001048: JUMPDEST 00001049: SWAP1 0000104a: POP 0000104b: PUSH2 0x1054 0000104e: DUP2 0000104f: DUP5 00001050: PUSH2 0x11f2 00001053: JUMP 00001054: JUMPDEST 00001055: SWAP1 00001056: POP 00001057: PUSH2 0x1060 0000105a: DUP2 0000105b: DUP6 0000105c: PUSH2 0x11f2 0000105f: JUMP 00001060: JUMPDEST 00001061: SWAP1 00001062: POP 00001063: PUSH1 0x0e 00001065: SLOAD 00001066: DUP2 00001067: DUP2 00001068: ISZERO 00001069: ISZERO 0000106a: PUSH2 0x106f 0000106d: JUMPI 0000106e: INVALID 0000106f: JUMPDEST 00001070: MOD 00001071: SWAP5 00001072: POP 00001073: PUSH1 0x0e 00001075: SLOAD 00001076: DUP2 00001077: DUP2 00001078: ISZERO 00001079: ISZERO 0000107a: PUSH2 0x107f 0000107d: JUMPI 0000107e: INVALID 0000107f: JUMPDEST 00001080: DIV 00001081: PUSH1 0x0e 00001083: SSTORE 00001084: PUSH1 0x0f 00001086: SLOAD 00001087: PUSH1 0x00 00001089: SWAP1 0000108a: GT 0000108b: ISZERO 0000108c: PUSH2 0x10c1 0000108f: JUMPI 00001090: PUSH2 0x1099 00001093: DUP3 00001094: DUP7 00001095: PUSH2 0x02a1 00001098: JUMP 00001099: JUMPDEST 0000109a: SWAP2 0000109b: POP 0000109c: PUSH1 0x0f 0000109e: SLOAD 0000109f: DUP3 000010a0: DUP2 000010a1: ISZERO 000010a2: ISZERO 000010a3: PUSH2 0x10a8 000010a6: JUMPI 000010a7: INVALID 000010a8: JUMPDEST 000010a9: MOD 000010aa: SWAP5 000010ab: POP 000010ac: PUSH1 0x0f 000010ae: SLOAD 000010af: DUP3 000010b0: DUP2 000010b1: ISZERO 000010b2: ISZERO 000010b3: PUSH2 0x10b8 000010b6: JUMPI 000010b7: INVALID 000010b8: JUMPDEST 000010b9: DIV 000010ba: PUSH1 0x0f 000010bc: SSTORE 000010bd: PUSH2 0x10ce 000010c0: JUMP 000010c1: JUMPDEST 000010c2: PUSH2 0x10cb 000010c5: DUP6 000010c6: DUP4 000010c7: PUSH2 0x02a1 000010ca: JUMP 000010cb: JUMPDEST 000010cc: SWAP5 000010cd: POP 000010ce: JUMPDEST 000010cf: PUSH1 0x00 000010d1: PUSH1 0x10 000010d3: SLOAD 000010d4: GT 000010d5: ISZERO 000010d6: PUSH2 0x110b 000010d9: JUMPI 000010da: PUSH2 0x10e3 000010dd: DUP4 000010de: DUP7 000010df: PUSH2 0x02a1 000010e2: JUMP 000010e3: JUMPDEST 000010e4: SWAP3 000010e5: POP 000010e6: PUSH1 0x10 000010e8: SLOAD 000010e9: DUP4 000010ea: DUP2 000010eb: ISZERO 000010ec: ISZERO 000010ed: PUSH2 0x10f2 000010f0: JUMPI 000010f1: INVALID 000010f2: JUMPDEST 000010f3: MOD 000010f4: SWAP5 000010f5: POP 000010f6: PUSH1 0x10 000010f8: SLOAD 000010f9: DUP4 000010fa: DUP2 000010fb: ISZERO 000010fc: ISZERO 000010fd: PUSH2 0x1102 00001100: JUMPI 00001101: INVALID 00001102: JUMPDEST 00001103: DIV 00001104: PUSH1 0x10 00001106: SSTORE 00001107: PUSH2 0x1118 0000110a: JUMP 0000110b: JUMPDEST 0000110c: PUSH2 0x1115 0000110f: DUP6 00001110: DUP5 00001111: PUSH2 0x02a1 00001114: JUMP 00001115: JUMPDEST 00001116: SWAP5 00001117: POP 00001118: JUMPDEST 00001119: PUSH1 0x00 0000111b: PUSH1 0x11 0000111d: SLOAD 0000111e: GT 0000111f: ISZERO 00001120: PUSH2 0x1155 00001123: JUMPI 00001124: PUSH2 0x112d 00001127: DUP5 00001128: DUP7 00001129: PUSH2 0x02a1 0000112c: JUMP 0000112d: JUMPDEST 0000112e: SWAP4 0000112f: POP 00001130: PUSH1 0x11 00001132: SLOAD 00001133: DUP5 00001134: DUP2 00001135: ISZERO 00001136: ISZERO 00001137: PUSH2 0x113c 0000113a: JUMPI 0000113b: INVALID 0000113c: JUMPDEST 0000113d: MOD 0000113e: SWAP5 0000113f: POP 00001140: PUSH1 0x11 00001142: SLOAD 00001143: DUP5 00001144: DUP2 00001145: ISZERO 00001146: ISZERO 00001147: PUSH2 0x114c 0000114a: JUMPI 0000114b: INVALID 0000114c: JUMPDEST 0000114d: DIV 0000114e: PUSH1 0x11 00001150: SSTORE 00001151: PUSH2 0x1162 00001154: JUMP 00001155: JUMPDEST 00001156: PUSH2 0x115f 00001159: DUP6 0000115a: DUP6 0000115b: PUSH2 0x02a1 0000115e: JUMP 0000115f: JUMPDEST 00001160: SWAP5 00001161: POP 00001162: JUMPDEST 00001163: DUP5 00001164: SWAP6 00001165: POP 00001166: JUMPDEST 00001167: POP 00001168: POP 00001169: POP 0000116a: POP 0000116b: POP 0000116c: SWAP1 0000116d: JUMP 0000116e: JUMPDEST 0000116f: PUSH1 0x00 00001171: DUP1 00001172: PUSH1 0xff 00001174: DUP5 00001175: AND 00001176: DUP2 00001177: SWAP1 00001178: GT 00001179: ISZERO 0000117a: PUSH2 0x1190 0000117d: JUMPI 0000117e: PUSH2 0x118d 00001181: DUP2 00001182: PUSH2 0x05e1 00001185: DUP6 00001186: PUSH1 0x0e 00001188: SLOAD 00001189: PUSH2 0x0c3c 0000118c: JUMP 0000118d: JUMPDEST 0000118e: SWAP1 0000118f: POP 00001190: JUMPDEST 00001191: PUSH1 0x01 00001193: DUP5 00001194: PUSH1 0xff 00001196: AND 00001197: GT 00001198: ISZERO 00001199: PUSH2 0x11af 0000119c: JUMPI 0000119d: PUSH2 0x11ac 000011a0: DUP2 000011a1: PUSH2 0x05e1 000011a4: DUP6 000011a5: PUSH1 0x0f 000011a7: SLOAD 000011a8: PUSH2 0x0c3c 000011ab: JUMP 000011ac: JUMPDEST 000011ad: SWAP1 000011ae: POP 000011af: JUMPDEST 000011b0: PUSH1 0x02 000011b2: DUP5 000011b3: PUSH1 0xff 000011b5: AND 000011b6: GT 000011b7: ISZERO 000011b8: PUSH2 0x11ce 000011bb: JUMPI 000011bc: PUSH2 0x11cb 000011bf: DUP2 000011c0: PUSH2 0x05e1 000011c3: DUP6 000011c4: PUSH1 0x10 000011c6: SLOAD 000011c7: PUSH2 0x0c3c 000011ca: JUMP 000011cb: JUMPDEST 000011cc: SWAP1 000011cd: POP 000011ce: JUMPDEST 000011cf: PUSH1 0x03 000011d1: DUP5 000011d2: PUSH1 0xff 000011d4: AND 000011d5: GT 000011d6: ISZERO 000011d7: PUSH2 0x02be 000011da: JUMPI 000011db: PUSH2 0x11ea 000011de: DUP2 000011df: PUSH2 0x05e1 000011e2: DUP6 000011e3: PUSH1 0x11 000011e5: SLOAD 000011e6: PUSH2 0x0c3c 000011e9: JUMP 000011ea: JUMPDEST 000011eb: SWAP5 000011ec: SWAP4 000011ed: POP 000011ee: POP 000011ef: POP 000011f0: POP 000011f1: JUMP 000011f2: JUMPDEST 000011f3: PUSH1 0x00 000011f5: PUSH2 0x1200 000011f8: DUP4 000011f9: DUP4 000011fa: GT 000011fb: ISZERO 000011fc: PUSH2 0x0c30 000011ff: JUMP 00001200: JUMPDEST 00001201: POP 00001202: SWAP1 00001203: SUB 00001204: SWAP1 00001205: JUMP 00001206: JUMPDEST 00001207: PUSH1 0x14 00001209: SLOAD 0000120a: PUSH1 0x00 0000120c: SWAP1 0000120d: DUP2 0000120e: SWAP1 0000120f: DUP2 00001210: SWAP1 00001211: DUP2 00001212: SWAP1 00001213: DUP2 00001214: SWAP1 00001215: DUP2 00001216: SWAP1 00001217: DUP2 00001218: SWAP1 00001219: PUSH1 0x01 0000121b: PUSH1 0xa0 0000121d: PUSH1 0x02 0000121f: EXP 00001220: SUB 00001221: AND 00001222: PUSH4 0x9507d39a 00001227: DUP10 00001228: DUP4 00001229: PUSH1 0x40 0000122b: MLOAD 0000122c: PUSH1 0xe0 0000122e: ADD 0000122f: MSTORE 00001230: PUSH1 0x40 00001232: MLOAD 00001233: PUSH1 0xe0 00001235: PUSH1 0x02 00001237: EXP 00001238: PUSH4 0xffffffff 0000123d: DUP5 0000123e: AND 0000123f: MUL 00001240: DUP2 00001241: MSTORE 00001242: PUSH1 0x04 00001244: DUP2 00001245: ADD 00001246: SWAP2 00001247: SWAP1 00001248: SWAP2 00001249: MSTORE 0000124a: PUSH1 0x24 0000124c: ADD 0000124d: PUSH1 0xe0 0000124f: PUSH1 0x40 00001251: MLOAD 00001252: DUP1 00001253: DUP4 00001254: SUB 00001255: DUP2 00001256: PUSH1 0x00 00001258: DUP8 00001259: DUP1 0000125a: EXTCODESIZE 0000125b: ISZERO 0000125c: ISZERO 0000125d: PUSH2 0x1265 00001260: JUMPI 00001261: PUSH1 0x00 00001263: DUP1 00001264: REVERT 00001265: JUMPDEST 00001266: PUSH2 0x02c6 00001269: GAS 0000126a: SUB 0000126b: CALL 0000126c: ISZERO 0000126d: ISZERO 0000126e: PUSH2 0x1276 00001271: JUMPI 00001272: PUSH1 0x00 00001274: DUP1 00001275: REVERT 00001276: JUMPDEST 00001277: POP 00001278: POP 00001279: POP 0000127a: PUSH1 0x40 0000127c: MLOAD 0000127d: DUP1 0000127e: MLOAD 0000127f: SWAP1 00001280: PUSH1 0x20 00001282: ADD 00001283: DUP1 00001284: MLOAD 00001285: SWAP1 00001286: PUSH1 0x20 00001288: ADD 00001289: DUP1 0000128a: MLOAD 0000128b: SWAP1 0000128c: PUSH1 0x20 0000128e: ADD 0000128f: DUP1 00001290: MLOAD 00001291: SWAP1 00001292: PUSH1 0x20 00001294: ADD 00001295: DUP1 00001296: MLOAD 00001297: SWAP1 00001298: PUSH1 0x20 0000129a: ADD 0000129b: DUP1 0000129c: MLOAD 0000129d: SWAP1 0000129e: PUSH1 0x20 000012a0: ADD 000012a1: DUP1 000012a2: MLOAD 000012a3: SWAP16 000012a4: SWAP7 000012a5: SWAP15 000012a6: POP 000012a7: SWAP3 000012a8: SWAP13 000012a9: POP 000012aa: SWAP4 000012ab: SWAP11 000012ac: POP 000012ad: SWAP2 000012ae: SWAP9 000012af: POP 000012b0: SWAP3 000012b1: SWAP7 000012b2: POP 000012b3: POP 000012b4: POP 000012b5: POP 000012b6: POP 000012b7: POP 000012b8: POP 000012b9: JUMP 000012ba: JUMPDEST 000012bb: PUSH1 0x00 000012bd: DUP1 000012be: PUSH1 0x00 000012c0: PUSH1 0x04 000012c2: SLOAD 000012c3: DUP5 000012c4: LT 000012c5: ISZERO 000012c6: ISZERO 000012c7: ISZERO 000012c8: PUSH2 0x12d0 000012cb: JUMPI 000012cc: PUSH1 0x00 000012ce: DUP1 000012cf: REVERT 000012d0: JUMPDEST 000012d1: PUSH1 0x05 000012d3: SLOAD 000012d4: PUSH1 0x04 000012d6: SLOAD 000012d7: ADD 000012d8: DUP5 000012d9: GT 000012da: ISZERO 000012db: PUSH2 0x12e3 000012de: JUMPI 000012df: PUSH1 0x00 000012e1: DUP1 000012e2: REVERT 000012e3: JUMPDEST 000012e4: PUSH1 0x64 000012e6: PUSH2 0x12fa 000012e9: PUSH8 0x0de0b6b3a7640000 000012f2: DUP8 000012f3: DIV 000012f4: PUSH1 0x64 000012f6: PUSH2 0x02a1 000012f9: JUMP 000012fa: JUMPDEST 000012fb: DUP2 000012fc: ISZERO 000012fd: ISZERO 000012fe: PUSH2 0x1303 00001301: JUMPI 00001302: INVALID 00001303: JUMPDEST 00001304: DIV 00001305: SWAP2 00001306: POP 00001307: PUSH1 0x05 00001309: SLOAD 0000130a: PUSH2 0x132a 0000130d: PUSH1 0x96 0000130f: PUSH2 0x1325 00001312: PUSH1 0x05 00001314: SLOAD 00001315: PUSH2 0x1320 00001318: DUP10 00001319: PUSH1 0x04 0000131b: SLOAD 0000131c: PUSH2 0x11f2 0000131f: JUMP 00001320: JUMPDEST 00001321: PUSH2 0x11f2 00001324: JUMP 00001325: JUMPDEST 00001326: PUSH2 0x0c3c 00001329: JUMP 0000132a: JUMPDEST 0000132b: DUP2 0000132c: ISZERO 0000132d: ISZERO 0000132e: PUSH2 0x1333 00001331: JUMPI 00001332: INVALID 00001333: JUMPDEST 00001334: DIV 00001335: SWAP1 00001336: POP 00001337: PUSH2 0x1342 0000133a: DUP2 0000133b: PUSH2 0x03e8 0000133e: PUSH2 0x02a1 00001341: JUMP 00001342: JUMPDEST 00001343: SWAP1 00001344: POP 00001345: PUSH2 0x134e 00001348: DUP3 00001349: DUP3 0000134a: PUSH2 0x0c3c 0000134d: JUMP 0000134e: JUMPDEST 0000134f: PUSH2 0x03e8 00001352: SWAP1 00001353: DIV 00001354: SWAP2 00001355: POP 00001356: PUSH32 0xfd3605c3334acd84c29f8601e62dfa6e1c6b3a489b07b4838025f3cf91560450 00001377: DUP6 00001378: DUP4 00001379: DUP4 0000137a: PUSH1 0x40 0000137c: MLOAD 0000137d: DUP1 0000137e: DUP5 0000137f: DUP2 00001380: MSTORE 00001381: PUSH1 0x20 00001383: ADD 00001384: DUP4 00001385: DUP2 00001386: MSTORE 00001387: PUSH1 0x20 00001389: ADD 0000138a: DUP3 0000138b: DUP2 0000138c: MSTORE 0000138d: PUSH1 0x20 0000138f: ADD 00001390: SWAP4 00001391: POP 00001392: POP 00001393: POP 00001394: POP 00001395: PUSH1 0x40 00001397: MLOAD 00001398: DUP1 00001399: SWAP2 0000139a: SUB 0000139b: SWAP1 0000139c: LOG1 0000139d: POP 0000139e: SWAP4 0000139f: SWAP3 000013a0: POP 000013a1: POP 000013a2: POP 000013a3: JUMP 000013a4: JUMPDEST 000013a5: PUSH1 0x00 000013a7: DUP1 000013a8: PUSH1 0x00 000013aa: DUP1 000013ab: PUSH2 0x13b6 000013ae: PUSH2 0x03e8 000013b1: DUP7 000013b2: PUSH2 0x11f2 000013b5: JUMP 000013b6: JUMPDEST 000013b7: SWAP2 000013b8: POP 000013b9: PUSH2 0x03e8 000013bc: PUSH2 0x13c7 000013bf: PUSH1 0x01 000013c1: SLOAD 000013c2: DUP5 000013c3: PUSH2 0x0c3c 000013c6: JUMP 000013c7: JUMPDEST 000013c8: DUP2 000013c9: ISZERO 000013ca: ISZERO 000013cb: PUSH2 0x13d0 000013ce: JUMPI 000013cf: INVALID 000013d0: JUMPDEST 000013d1: DIV 000013d2: SWAP4 000013d3: POP 000013d4: DUP2 000013d5: PUSH2 0x13e0 000013d8: PUSH2 0x03e8 000013db: DUP8 000013dc: PUSH2 0x0c3c 000013df: JUMP 000013e0: JUMPDEST 000013e1: DUP2 000013e2: ISZERO 000013e3: ISZERO 000013e4: PUSH2 0x13e9 000013e7: JUMPI 000013e8: INVALID 000013e9: JUMPDEST 000013ea: DIV 000013eb: SWAP1 000013ec: POP 000013ed: PUSH2 0x03e8 000013f0: PUSH2 0x1401 000013f3: PUSH1 0x01 000013f5: SLOAD 000013f6: PUSH2 0x1325 000013f9: PUSH2 0x03e8 000013fc: DUP6 000013fd: PUSH2 0x02a1 00001400: JUMP 00001401: JUMPDEST 00001402: DUP2 00001403: ISZERO 00001404: ISZERO 00001405: PUSH2 0x140a 00001408: JUMPI 00001409: INVALID 0000140a: JUMPDEST 0000140b: DIV 0000140c: SWAP3 0000140d: POP 0000140e: POP 0000140f: POP 00001410: SWAP2 00001411: POP 00001412: SWAP2 00001413: JUMP 00001414: JUMPDEST 00001415: PUSH2 0x0180 00001418: PUSH1 0x40 0000141a: MLOAD 0000141b: SWAP1 0000141c: DUP2 0000141d: ADD 0000141e: PUSH1 0x40 00001420: MSTORE 00001421: DUP1 00001422: PUSH1 0x00 00001424: DUP2 00001425: MSTORE 00001426: PUSH1 0x20 00001428: ADD 00001429: PUSH1 0x00 0000142b: DUP2 0000142c: MSTORE 0000142d: PUSH1 0x20 0000142f: ADD 00001430: PUSH1 0x00 00001432: DUP2 00001433: MSTORE 00001434: PUSH1 0x20 00001436: ADD 00001437: PUSH1 0x00 00001439: DUP2 0000143a: MSTORE 0000143b: PUSH1 0x20 0000143d: ADD 0000143e: PUSH1 0x00 00001440: DUP2 00001441: MSTORE 00001442: PUSH1 0x20 00001444: ADD 00001445: PUSH1 0x00 00001447: DUP2 00001448: MSTORE 00001449: PUSH1 0x20 0000144b: ADD 0000144c: PUSH1 0x00 0000144e: DUP2 0000144f: MSTORE 00001450: PUSH1 0x20 00001452: ADD 00001453: PUSH1 0x00 00001455: DUP2 00001456: MSTORE 00001457: PUSH1 0x20 00001459: ADD 0000145a: PUSH1 0x00 0000145c: DUP2 0000145d: MSTORE 0000145e: PUSH1 0x20 00001460: ADD 00001461: PUSH1 0x00 00001463: DUP2 00001464: MSTORE 00001465: PUSH1 0x20 00001467: ADD 00001468: PUSH1 0x00 0000146a: DUP2 0000146b: MSTORE 0000146c: PUSH1 0x20 0000146e: ADD 0000146f: PUSH1 0x00 00001471: DUP2 00001472: MSTORE 00001473: POP 00001474: SWAP1 00001475: JUMP 00001476: JUMPDEST 00001477: PUSH1 0x00 00001479: DUP4 0000147a: ISZERO 0000147b: ISZERO 0000147c: PUSH2 0x1484 0000147f: JUMPI 00001480: PUSH1 0x00 00001482: DUP1 00001483: REVERT 00001484: JUMPDEST 00001485: DUP4 00001486: DUP4 00001487: GT 00001488: PUSH2 0x1490 0000148b: JUMPI 0000148c: PUSH1 0x00 0000148e: DUP1 0000148f: REVERT 00001490: JUMPDEST 00001491: DUP2 00001492: ISZERO 00001493: ISZERO 00001494: PUSH2 0x149c 00001497: JUMPI 00001498: PUSH1 0x00 0000149a: DUP1 0000149b: REVERT 0000149c: JUMPDEST 0000149d: DUP2 0000149e: DUP5 0000149f: DUP2 000014a0: ISZERO 000014a1: ISZERO 000014a2: PUSH2 0x14a7 000014a5: JUMPI 000014a6: INVALID 000014a7: JUMPDEST 000014a8: MOD 000014a9: ISZERO 000014aa: PUSH2 0x14b2 000014ad: JUMPI 000014ae: PUSH1 0x00 000014b0: DUP1 000014b1: REVERT 000014b2: JUMPDEST 000014b3: DUP2 000014b4: DUP4 000014b5: DUP2 000014b6: ISZERO 000014b7: ISZERO 000014b8: PUSH2 0x14bd 000014bb: JUMPI 000014bc: INVALID 000014bd: JUMPDEST 000014be: MOD 000014bf: ISZERO 000014c0: PUSH2 0x14c8 000014c3: JUMPI 000014c4: PUSH1 0x00 000014c6: DUP1 000014c7: REVERT 000014c8: JUMPDEST 000014c9: POP 000014ca: PUSH1 0x07 000014cc: DUP4 000014cd: SWAP1 000014ce: SSTORE 000014cf: PUSH1 0x08 000014d1: DUP3 000014d2: SWAP1 000014d3: SSTORE 000014d4: PUSH1 0x09 000014d6: DUP2 000014d7: SWAP1 000014d8: SSTORE 000014d9: DUP3 000014da: JUMPDEST 000014db: DUP3 000014dc: DUP2 000014dd: GT 000014de: PUSH2 0x1508 000014e1: JUMPI 000014e2: PUSH1 0x00 000014e4: DUP2 000014e5: DUP2 000014e6: MSTORE 000014e7: PUSH1 0x06 000014e9: PUSH1 0x20 000014eb: MSTORE 000014ec: PUSH1 0x40 000014ee: SWAP1 000014ef: KECCAK256 000014f0: PUSH1 0x01 000014f2: ADD 000014f3: DUP1 000014f4: SLOAD 000014f5: PUSH3 0xff0000 000014f9: NOT 000014fa: AND 000014fb: PUSH3 0x010000 000014ff: OR 00001500: SWAP1 00001501: SSTORE 00001502: DUP2 00001503: ADD 00001504: PUSH2 0x14da 00001507: JUMP 00001508: JUMPDEST 00001509: POP 0000150a: POP 0000150b: POP 0000150c: POP 0000150d: JUMP 0000150e: JUMPDEST 0000150f: PUSH1 0x00 00001511: DUP6 00001512: GT 00001513: PUSH2 0x151b 00001516: JUMPI 00001517: PUSH1 0x00 00001519: DUP1 0000151a: REVERT 0000151b: JUMPDEST 0000151c: PUSH1 0x00 0000151e: DUP5 0000151f: GT 00001520: DUP1 00001521: ISZERO 00001522: PUSH2 0x152c 00001525: JUMPI 00001526: POP 00001527: PUSH2 0x03e8 0000152a: DUP5 0000152b: LT 0000152c: JUMPDEST 0000152d: DUP1 0000152e: ISZERO 0000152f: PUSH2 0x1538 00001532: JUMPI 00001533: POP 00001534: DUP4 00001535: DUP4 00001536: LT 00001537: ISZERO 00001538: JUMPDEST 00001539: DUP1 0000153a: ISZERO 0000153b: PUSH2 0x1545 0000153e: JUMPI 0000153f: POP 00001540: PUSH2 0x03e8 00001543: DUP4 00001544: LT 00001545: JUMPDEST 00001546: ISZERO 00001547: ISZERO 00001548: PUSH2 0x1550 0000154b: JUMPI 0000154c: PUSH1 0x00 0000154e: DUP1 0000154f: REVERT 00001550: JUMPDEST 00001551: DUP1 00001552: DUP3 00001553: LT 00001554: PUSH2 0x155c 00001557: JUMPI 00001558: PUSH1 0x00 0000155a: DUP1 0000155b: REVERT 0000155c: JUMPDEST 0000155d: PUSH1 0x01 0000155f: DUP6 00001560: SWAP1 00001561: SSTORE 00001562: PUSH1 0x02 00001564: DUP5 00001565: SWAP1 00001566: SSTORE 00001567: PUSH1 0x03 00001569: DUP4 0000156a: SWAP1 0000156b: SSTORE 0000156c: PUSH1 0x04 0000156e: DUP3 0000156f: SWAP1 00001570: SSTORE 00001571: PUSH2 0x157a 00001574: DUP2 00001575: DUP4 00001576: PUSH2 0x11f2 00001579: JUMP 0000157a: JUMPDEST 0000157b: PUSH1 0x05 0000157d: SSTORE 0000157e: POP 0000157f: POP 00001580: POP 00001581: POP 00001582: POP 00001583: JUMP 00001584: STOP 00001585: LOG1 00001586: PUSH6 0x627a7a723058 0000158d: KECCAK256 0000158e: TIMESTAMP 0000158f: DIV 00001590: UNKNOWN(0xBB) 00001591: UNKNOWN(0xD8) 00001592: PUSH8 0x687d6c580dccbbd9 0000159b: DELEGATECALL 0000159c: MSIZE 0000159d: UNKNOWN(0x23) 0000159e: UNKNOWN(0xC5) 0000159f: CODECOPY 000015a0: UNKNOWN(0xAB) 000015a1: UNKNOWN(0xBE) 000015a2: UNKNOWN(0xDF) 000015a3: PUSH16
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| critical | upgradeability | detector | Untrusted DELEGATECALL target reachable | 70 | no | no |
viewtrace_id: 0x535742aba50dd4e12de4456d3d098c3cfe14ae371c0d720f3818bec782e05d60
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 192,
"trace_id": "0x535742aba50dd4e12de4456d3d098c3cfe14ae371c0d720f3818bec782e05d60",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x0d15fd77",
"selector": "0x0d15fd77",
"calldata_variants": [
"0x0d15fd77",
"0x0d15fd770000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e6dbdf9",
"selector": "0x2e6dbdf9",
"calldata_variants": [
"0x2e6dbdf9",
"0x2e6dbdf90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e854433",
"selector": "0x2e854433",
"calldata_variants": [
"0x2e854433",
"0x2e8544330000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3b97e856",
"selector": "0x3b97e856",
"calldata_variants": [
"0x3b97e856",
"0x3b97e8560000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x47799092",
"selector": "0x47799092",
"calldata_variants": [
"0x47799092",
"0x477990920000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4783c35b",
"selector": "0x4783c35b",
"calldata_variants": [
"0x4783c35b",
"0x4783c35b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4b60ce77",
"selector": "0x4b60ce77",
"calldata_variants": [
"0x4b60ce77",
"0x4b60ce770000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4fb2e45d",
"selector": "0x4fb2e45d",
"calldata_variants": [
"0x4fb2e45d",
"0x4fb2e45d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 5531,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [],
"delegatecall_count": 1,
"untrusted_delegatecall_count": 1
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xf109cce4aabaf13a66ae541d5428ec50be9a42399f4ee76e1b12904e6227398b
call_targets:
0x96b0f30ea93856474d0758c5de53f887f67857b9
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xf109cce4aabaf13a66ae541d5428ec50be9a42399f4ee76e1b12904e6227398b",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x96b0f30ea93856474d0758c5de53f887f67857b9"
],
"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": "0x0d15fd77",
"selector": "0x0d15fd77",
"calldata_variants": [
"0x0d15fd77",
"0x0d15fd770000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e6dbdf9",
"selector": "0x2e6dbdf9",
"calldata_variants": [
"0x2e6dbdf9",
"0x2e6dbdf90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e854433",
"selector": "0x2e854433",
"calldata_variants": [
"0x2e854433",
"0x2e8544330000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3b97e856",
"selector": "0x3b97e856",
"calldata_variants": [
"0x3b97e856",
"0x3b97e8560000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x47799092",
"selector": "0x47799092",
"calldata_variants": [
"0x47799092",
"0x477990920000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4783c35b",
"selector": "0x4783c35b",
"calldata_variants": [
"0x4783c35b",
"0x4783c35b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4b60ce77",
"selector": "0x4b60ce77",
"calldata_variants": [
"0x4b60ce77",
"0x4b60ce770000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4fb2e45d",
"selector": "0x4fb2e45d",
"calldata_variants": [
"0x4fb2e45d",
"0x4fb2e45d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 826,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 986,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1614,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 9,
"guards_detected": [],
"untrusted_call_count": 9
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xf109cce4aabaf13a66ae541d5428ec50be9a42399f4ee76e1b12904e6227398b
call_targets:
0x96b0f30ea93856474d0758c5de53f887f67857b9
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xf109cce4aabaf13a66ae541d5428ec50be9a42399f4ee76e1b12904e6227398b",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x96b0f30ea93856474d0758c5de53f887f67857b9"
],
"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": "0x0d15fd77",
"selector": "0x0d15fd77",
"calldata_variants": [
"0x0d15fd77",
"0x0d15fd770000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e6dbdf9",
"selector": "0x2e6dbdf9",
"calldata_variants": [
"0x2e6dbdf9",
"0x2e6dbdf90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e854433",
"selector": "0x2e854433",
"calldata_variants": [
"0x2e854433",
"0x2e8544330000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3b97e856",
"selector": "0x3b97e856",
"calldata_variants": [
"0x3b97e856",
"0x3b97e8560000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x47799092",
"selector": "0x47799092",
"calldata_variants": [
"0x47799092",
"0x477990920000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4783c35b",
"selector": "0x4783c35b",
"calldata_variants": [
"0x4783c35b",
"0x4783c35b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4b60ce77",
"selector": "0x4b60ce77",
"calldata_variants": [
"0x4b60ce77",
"0x4b60ce770000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4fb2e45d",
"selector": "0x4fb2e45d",
"calldata_variants": [
"0x4fb2e45d",
"0x4fb2e45d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 826,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 986,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1614,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 9,
"guards_detected": []
}
|