019b477e-b237-705d-b340-8d8010d7dfe0
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 |
|---|---|---|---|---|
| 22295 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 22296 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 65938 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 65939 | capability.graph | complete | 1 / 3 | 1 week ago |
| 65940 | detector.run | complete | 1 / 3 | 1 week ago |
| 65941 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0174 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH4 0x04dd2dea 0000003a: DUP2 0000003b: EQ 0000003c: PUSH2 0x0179 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x06fdde03 00000046: EQ 00000047: PUSH2 0x01a3 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x1ae4dfb7 00000051: EQ 00000052: PUSH2 0x022d 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x1b7e0902 0000005c: EQ 0000005d: PUSH2 0x0245 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x287ad8fa 00000067: EQ 00000068: PUSH2 0x0279 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x313ce567 00000072: EQ 00000073: PUSH2 0x0291 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x3ccfd60b 0000007d: EQ 0000007e: PUSH2 0x02bc 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x4b419b5f 00000088: EQ 00000089: PUSH2 0x02d3 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x4c738909 00000093: EQ 00000094: PUSH2 0x02ee 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x4e3c2f47 0000009e: EQ 0000009f: PUSH2 0x0303 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x53ba3d43 000000a9: EQ 000000aa: PUSH2 0x031e 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x5bdff855 000000b4: EQ 000000b5: PUSH2 0x0333 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x6b2f4632 000000bf: EQ 000000c0: PUSH2 0x034b 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0x763f337e 000000ca: EQ 000000cb: PUSH2 0x0360 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0x7deb6025 000000d5: EQ 000000d6: PUSH2 0x037a 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0x7fcf440a 000000e0: EQ 000000e1: PUSH2 0x0391 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0x95d89b41 000000eb: EQ 000000ec: PUSH2 0x03b2 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0x9ba65fff 000000f6: EQ 000000f7: PUSH2 0x03c7 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0x9d902fc0 00000101: EQ 00000102: PUSH2 0x03df 00000105: JUMPI 00000106: DUP1 00000107: PUSH4 0xa053ce1f 0000010c: EQ 0000010d: PUSH2 0x03f4 00000110: JUMPI 00000111: DUP1 00000112: PUSH4 0xae882412 00000117: EQ 00000118: PUSH2 0x0409 0000011b: JUMPI 0000011c: DUP1 0000011d: PUSH4 0xaf392206 00000122: EQ 00000123: PUSH2 0x041e 00000126: JUMPI 00000127: DUP1 00000128: PUSH4 0xb84c8246 0000012d: EQ 0000012e: PUSH2 0x0433 00000131: JUMPI 00000132: DUP1 00000133: PUSH4 0xb987f688 00000138: EQ 00000139: PUSH2 0x048c 0000013c: JUMPI 0000013d: DUP1 0000013e: PUSH4 0xbaf3a4d4 00000143: EQ 00000144: PUSH2 0x04a1 00000147: JUMPI 00000148: DUP1 00000149: PUSH4 0xc47f0027 0000014e: EQ 0000014f: PUSH2 0x04b6 00000152: JUMPI 00000153: DUP1 00000154: PUSH4 0xd5c96b36 00000159: EQ 0000015a: PUSH2 0x050f 0000015d: JUMPI 0000015e: DUP1 0000015f: PUSH4 0xe994c15d 00000164: EQ 00000165: PUSH2 0x0524 00000168: JUMPI 00000169: DUP1 0000016a: PUSH4 0xfd01d4a1 0000016f: EQ 00000170: PUSH2 0x0539 00000173: JUMPI 00000174: JUMPDEST 00000175: PUSH1 0x00 00000177: DUP1 00000178: REVERT 00000179: JUMPDEST 0000017a: CALLVALUE 0000017b: DUP1 0000017c: ISZERO 0000017d: PUSH2 0x0185 00000180: JUMPI 00000181: PUSH1 0x00 00000183: DUP1 00000184: REVERT 00000185: JUMPDEST 00000186: POP 00000187: PUSH2 0x0191 0000018a: PUSH1 0x04 0000018c: CALLDATALOAD 0000018d: PUSH2 0x054e 00000190: JUMP 00000191: JUMPDEST 00000192: PUSH1 0x40 00000194: DUP1 00000195: MLOAD 00000196: SWAP2 00000197: DUP3 00000198: MSTORE 00000199: MLOAD 0000019a: SWAP1 0000019b: DUP2 0000019c: SWAP1 0000019d: SUB 0000019e: PUSH1 0x20 000001a0: ADD 000001a1: SWAP1 000001a2: RETURN 000001a3: JUMPDEST 000001a4: CALLVALUE 000001a5: DUP1 000001a6: ISZERO 000001a7: PUSH2 0x01af 000001aa: JUMPI 000001ab: PUSH1 0x00 000001ad: DUP1 000001ae: REVERT 000001af: JUMPDEST 000001b0: POP 000001b1: PUSH2 0x01b8 000001b4: PUSH2 0x05a2 000001b7: JUMP 000001b8: JUMPDEST 000001b9: PUSH1 0x40 000001bb: DUP1 000001bc: MLOAD 000001bd: PUSH1 0x20 000001bf: DUP1 000001c0: DUP3 000001c1: MSTORE 000001c2: DUP4 000001c3: MLOAD 000001c4: DUP2 000001c5: DUP4 000001c6: ADD 000001c7: MSTORE 000001c8: DUP4 000001c9: MLOAD 000001ca: SWAP2 000001cb: SWAP3 000001cc: DUP4 000001cd: SWAP3 000001ce: SWAP1 000001cf: DUP4 000001d0: ADD 000001d1: SWAP2 000001d2: DUP6 000001d3: ADD 000001d4: SWAP1 000001d5: DUP1 000001d6: DUP4 000001d7: DUP4 000001d8: PUSH1 0x00 000001da: JUMPDEST 000001db: DUP4 000001dc: DUP2 000001dd: LT 000001de: ISZERO 000001df: PUSH2 0x01f2 000001e2: JUMPI 000001e3: DUP2 000001e4: DUP2 000001e5: ADD 000001e6: MLOAD 000001e7: DUP4 000001e8: DUP3 000001e9: ADD 000001ea: MSTORE 000001eb: PUSH1 0x20 000001ed: ADD 000001ee: PUSH2 0x01da 000001f1: JUMP 000001f2: JUMPDEST 000001f3: POP 000001f4: POP 000001f5: POP 000001f6: POP 000001f7: SWAP1 000001f8: POP 000001f9: SWAP1 000001fa: DUP2 000001fb: ADD 000001fc: SWAP1 000001fd: PUSH1 0x1f 000001ff: AND 00000200: DUP1 00000201: ISZERO 00000202: PUSH2 0x021f 00000205: JUMPI 00000206: DUP1 00000207: DUP3 00000208: SUB 00000209: DUP1 0000020a: MLOAD 0000020b: PUSH1 0x01 0000020d: DUP4 0000020e: PUSH1 0x20 00000210: SUB 00000211: PUSH2 0x0100 00000214: EXP 00000215: SUB 00000216: NOT 00000217: AND 00000218: DUP2 00000219: MSTORE 0000021a: PUSH1 0x20 0000021c: ADD 0000021d: SWAP2 0000021e: POP 0000021f: JUMPDEST 00000220: POP 00000221: SWAP3 00000222: POP 00000223: POP 00000224: POP 00000225: PUSH1 0x40 00000227: MLOAD 00000228: DUP1 00000229: SWAP2 0000022a: SUB 0000022b: SWAP1 0000022c: RETURN 0000022d: JUMPDEST 0000022e: CALLVALUE 0000022f: DUP1 00000230: ISZERO 00000231: PUSH2 0x0239 00000234: JUMPI 00000235: PUSH1 0x00 00000237: DUP1 00000238: REVERT 00000239: JUMPDEST 0000023a: POP 0000023b: PUSH2 0x0191 0000023e: PUSH1 0x04 00000240: CALLDATALOAD 00000241: PUSH2 0x0630 00000244: JUMP 00000245: JUMPDEST 00000246: CALLVALUE 00000247: DUP1 00000248: ISZERO 00000249: PUSH2 0x0251 0000024c: JUMPI 0000024d: PUSH1 0x00 0000024f: DUP1 00000250: REVERT 00000251: JUMPDEST 00000252: POP 00000253: PUSH2 0x025d 00000256: PUSH1 0x04 00000258: CALLDATALOAD 00000259: PUSH2 0x0654 0000025c: JUMP 0000025d: JUMPDEST 0000025e: PUSH1 0x40 00000260: DUP1 00000261: MLOAD 00000262: PUSH1 0x01 00000264: PUSH1 0xa0 00000266: PUSH1 0x02 00000268: EXP 00000269: SUB 0000026a: SWAP1 0000026b: SWAP3 0000026c: AND 0000026d: DUP3 0000026e: MSTORE 0000026f: MLOAD 00000270: SWAP1 00000271: DUP2 00000272: SWAP1 00000273: SUB 00000274: PUSH1 0x20 00000276: ADD 00000277: SWAP1 00000278: RETURN 00000279: JUMPDEST 0000027a: CALLVALUE 0000027b: DUP1 0000027c: ISZERO 0000027d: PUSH2 0x0285 00000280: JUMPI 00000281: PUSH1 0x00 00000283: DUP1 00000284: REVERT 00000285: JUMPDEST 00000286: POP 00000287: PUSH2 0x0191 0000028a: PUSH1 0x04 0000028c: CALLDATALOAD 0000028d: PUSH2 0x0681 00000290: JUMP 00000291: JUMPDEST 00000292: CALLVALUE 00000293: DUP1 00000294: ISZERO 00000295: PUSH2 0x029d 00000298: JUMPI 00000299: PUSH1 0x00 0000029b: DUP1 0000029c: REVERT 0000029d: JUMPDEST 0000029e: POP 0000029f: PUSH2 0x02a6 000002a2: PUSH2 0x0693 000002a5: JUMP 000002a6: JUMPDEST 000002a7: PUSH1 0x40 000002a9: DUP1 000002aa: MLOAD 000002ab: PUSH1 0xff 000002ad: SWAP1 000002ae: SWAP3 000002af: AND 000002b0: DUP3 000002b1: MSTORE 000002b2: MLOAD 000002b3: SWAP1 000002b4: DUP2 000002b5: SWAP1 000002b6: SUB 000002b7: PUSH1 0x20 000002b9: ADD 000002ba: SWAP1 000002bb: RETURN 000002bc: JUMPDEST 000002bd: CALLVALUE 000002be: DUP1 000002bf: ISZERO 000002c0: PUSH2 0x02c8 000002c3: JUMPI 000002c4: PUSH1 0x00 000002c6: DUP1 000002c7: REVERT 000002c8: JUMPDEST 000002c9: POP 000002ca: PUSH2 0x02d1 000002cd: PUSH2 0x0698 000002d0: JUMP 000002d1: JUMPDEST 000002d2: STOP 000002d3: JUMPDEST 000002d4: CALLVALUE 000002d5: DUP1 000002d6: ISZERO 000002d7: PUSH2 0x02df 000002da: JUMPI 000002db: PUSH1 0x00 000002dd: DUP1 000002de: REVERT 000002df: JUMPDEST 000002e0: POP 000002e1: PUSH2 0x02d1 000002e4: PUSH1 0x04 000002e6: CALLDATALOAD 000002e7: PUSH1 0x24 000002e9: CALLDATALOAD 000002ea: PUSH2 0x074f 000002ed: JUMP 000002ee: JUMPDEST 000002ef: CALLVALUE 000002f0: DUP1 000002f1: ISZERO 000002f2: PUSH2 0x02fa 000002f5: JUMPI 000002f6: PUSH1 0x00 000002f8: DUP1 000002f9: REVERT 000002fa: JUMPDEST 000002fb: POP 000002fc: PUSH2 0x0191 000002ff: PUSH2 0x07ab 00000302: JUMP 00000303: JUMPDEST 00000304: CALLVALUE 00000305: DUP1 00000306: ISZERO 00000307: PUSH2 0x030f 0000030a: JUMPI 0000030b: PUSH1 0x00 0000030d: DUP1 0000030e: REVERT 0000030f: JUMPDEST 00000310: POP 00000311: PUSH2 0x0191 00000314: PUSH1 0x04 00000316: CALLDATALOAD 00000317: PUSH1 0x24 00000319: CALLDATALOAD 0000031a: PUSH2 0x07bf 0000031d: JUMP 0000031e: JUMPDEST 0000031f: CALLVALUE 00000320: DUP1 00000321: ISZERO 00000322: PUSH2 0x032a 00000325: JUMPI 00000326: PUSH1 0x00 00000328: DUP1 00000329: REVERT 0000032a: JUMPDEST 0000032b: POP 0000032c: PUSH2 0x02a6 0000032f: PUSH2 0x07ef 00000332: JUMP 00000333: JUMPDEST 00000334: CALLVALUE 00000335: DUP1 00000336: ISZERO 00000337: PUSH2 0x033f 0000033a: JUMPI 0000033b: PUSH1 0x00 0000033d: DUP1 0000033e: REVERT 0000033f: JUMPDEST 00000340: POP 00000341: PUSH2 0x0191 00000344: PUSH1 0x04 00000346: CALLDATALOAD 00000347: PUSH2 0x07f4 0000034a: JUMP 0000034b: JUMPDEST 0000034c: CALLVALUE 0000034d: DUP1 0000034e: ISZERO 0000034f: PUSH2 0x0357 00000352: JUMPI 00000353: PUSH1 0x00 00000355: DUP1 00000356: REVERT 00000357: JUMPDEST 00000358: POP 00000359: PUSH2 0x0191 0000035c: PUSH2 0x0818 0000035f: JUMP 00000360: JUMPDEST 00000361: CALLVALUE 00000362: DUP1 00000363: ISZERO 00000364: PUSH2 0x036c 00000367: JUMPI 00000368: PUSH1 0x00 0000036a: DUP1 0000036b: REVERT 0000036c: JUMPDEST 0000036d: POP 0000036e: PUSH2 0x02d1 00000371: PUSH1 0x04 00000373: CALLDATALOAD 00000374: ISZERO 00000375: ISZERO 00000376: PUSH2 0x081d 00000379: JUMP 0000037a: JUMPDEST 0000037b: PUSH2 0x02d1 0000037e: PUSH1 0x04 00000380: CALLDATALOAD 00000381: PUSH1 0x01 00000383: PUSH1 0xa0 00000385: PUSH1 0x02 00000387: EXP 00000388: SUB 00000389: PUSH1 0x24 0000038b: CALLDATALOAD 0000038c: AND 0000038d: PUSH2 0x084c 00000390: JUMP 00000391: JUMPDEST 00000392: CALLVALUE 00000393: DUP1 00000394: ISZERO 00000395: PUSH2 0x039d 00000398: JUMPI 00000399: PUSH1 0x00 0000039b: DUP1 0000039c: REVERT 0000039d: JUMPDEST 0000039e: POP 0000039f: PUSH2 0x0191 000003a2: PUSH1 0x01 000003a4: PUSH1 0xa0 000003a6: PUSH1 0x02 000003a8: EXP 000003a9: SUB 000003aa: PUSH1 0x04 000003ac: CALLDATALOAD 000003ad: AND 000003ae: PUSH2 0x0b57 000003b1: JUMP 000003b2: JUMPDEST 000003b3: CALLVALUE 000003b4: DUP1 000003b5: ISZERO 000003b6: PUSH2 0x03be 000003b9: JUMPI 000003ba: PUSH1 0x00 000003bc: DUP1 000003bd: REVERT 000003be: JUMPDEST 000003bf: POP 000003c0: PUSH2 0x01b8 000003c3: PUSH2 0x0b72 000003c6: JUMP 000003c7: JUMPDEST 000003c8: CALLVALUE 000003c9: DUP1 000003ca: ISZERO 000003cb: PUSH2 0x03d3 000003ce: JUMPI 000003cf: PUSH1 0x00 000003d1: DUP1 000003d2: REVERT 000003d3: JUMPDEST 000003d4: POP 000003d5: PUSH2 0x02d1 000003d8: PUSH1 0x04 000003da: CALLDATALOAD 000003db: PUSH2 0x0bcc 000003de: JUMP 000003df: JUMPDEST 000003e0: CALLVALUE 000003e1: DUP1 000003e2: ISZERO 000003e3: PUSH2 0x03eb 000003e6: JUMPI 000003e7: PUSH1 0x00 000003e9: DUP1 000003ea: REVERT 000003eb: JUMPDEST 000003ec: POP 000003ed: PUSH2 0x0191 000003f0: PUSH2 0x0c63 000003f3: JUMP 000003f4: JUMPDEST 000003f5: CALLVALUE 000003f6: DUP1 000003f7: ISZERO 000003f8: PUSH2 0x0400 000003fb: JUMPI 000003fc: PUSH1 0x00 000003fe: DUP1 000003ff: REVERT 00000400: JUMPDEST 00000401: POP 00000402: PUSH2 0x02a6 00000405: PUSH2 0x0c69 00000408: JUMP 00000409: JUMPDEST 0000040a: CALLVALUE 0000040b: DUP1 0000040c: ISZERO 0000040d: PUSH2 0x0415 00000410: JUMPI 00000411: PUSH1 0x00 00000413: DUP1 00000414: REVERT 00000415: JUMPDEST 00000416: POP 00000417: PUSH2 0x0191 0000041a: PUSH2 0x0c6e 0000041d: JUMP 0000041e: JUMPDEST 0000041f: CALLVALUE 00000420: DUP1 00000421: ISZERO 00000422: PUSH2 0x042a 00000425: JUMPI 00000426: PUSH1 0x00 00000428: DUP1 00000429: REVERT 0000042a: JUMPDEST 0000042b: POP 0000042c: PUSH2 0x0191 0000042f: PUSH2 0x0c74 00000432: JUMP 00000433: JUMPDEST 00000434: CALLVALUE 00000435: DUP1 00000436: ISZERO 00000437: PUSH2 0x043f 0000043a: JUMPI 0000043b: PUSH1 0x00 0000043d: DUP1 0000043e: REVERT 0000043f: JUMPDEST 00000440: POP 00000441: PUSH1 0x40 00000443: DUP1 00000444: MLOAD 00000445: PUSH1 0x20 00000447: PUSH1 0x04 00000449: DUP1 0000044a: CALLDATALOAD 0000044b: DUP1 0000044c: DUP3 0000044d: ADD 0000044e: CALLDATALOAD 0000044f: PUSH1 0x1f 00000451: DUP2 00000452: ADD 00000453: DUP5 00000454: SWAP1 00000455: DIV 00000456: DUP5 00000457: MUL 00000458: DUP6 00000459: ADD 0000045a: DUP5 0000045b: ADD 0000045c: SWAP1 0000045d: SWAP6 0000045e: MSTORE 0000045f: DUP5 00000460: DUP5 00000461: MSTORE 00000462: PUSH2 0x02d1 00000465: SWAP5 00000466: CALLDATASIZE 00000467: SWAP5 00000468: SWAP3 00000469: SWAP4 0000046a: PUSH1 0x24 0000046c: SWAP4 0000046d: SWAP3 0000046e: DUP5 0000046f: ADD 00000470: SWAP2 00000471: SWAP1 00000472: DUP2 00000473: SWAP1 00000474: DUP5 00000475: ADD 00000476: DUP4 00000477: DUP3 00000478: DUP1 00000479: DUP3 0000047a: DUP5 0000047b: CALLDATACOPY 0000047c: POP 0000047d: SWAP5 0000047e: SWAP8 0000047f: POP 00000480: PUSH2 0x0c7a 00000483: SWAP7 00000484: POP 00000485: POP 00000486: POP 00000487: POP 00000488: POP 00000489: POP 0000048a: POP 0000048b: JUMP 0000048c: JUMPDEST 0000048d: CALLVALUE 0000048e: DUP1 0000048f: ISZERO 00000490: PUSH2 0x0498 00000493: JUMPI 00000494: PUSH1 0x00 00000496: DUP1 00000497: REVERT 00000498: JUMPDEST 00000499: POP 0000049a: PUSH2 0x0191 0000049d: PUSH2 0x0cad 000004a0: JUMP 000004a1: JUMPDEST 000004a2: CALLVALUE 000004a3: DUP1 000004a4: ISZERO 000004a5: PUSH2 0x04ad 000004a8: JUMPI 000004a9: PUSH1 0x00 000004ab: DUP1 000004ac: REVERT 000004ad: JUMPDEST 000004ae: POP 000004af: PUSH2 0x02a6 000004b2: PUSH2 0x0cb3 000004b5: JUMP 000004b6: JUMPDEST 000004b7: CALLVALUE 000004b8: DUP1 000004b9: ISZERO 000004ba: PUSH2 0x04c2 000004bd: JUMPI 000004be: PUSH1 0x00 000004c0: DUP1 000004c1: REVERT 000004c2: JUMPDEST 000004c3: POP 000004c4: PUSH1 0x40 000004c6: DUP1 000004c7: MLOAD 000004c8: PUSH1 0x20 000004ca: PUSH1 0x04 000004cc: DUP1 000004cd: CALLDATALOAD 000004ce: DUP1 000004cf: DUP3 000004d0: ADD 000004d1: CALLDATALOAD 000004d2: PUSH1 0x1f 000004d4: DUP2 000004d5: ADD 000004d6: DUP5 000004d7: SWAP1 000004d8: DIV 000004d9: DUP5 000004da: MUL 000004db: DUP6 000004dc: ADD 000004dd: DUP5 000004de: ADD 000004df: SWAP1 000004e0: SWAP6 000004e1: MSTORE 000004e2: DUP5 000004e3: DUP5 000004e4: MSTORE 000004e5: PUSH2 0x02d1 000004e8: SWAP5 000004e9: CALLDATASIZE 000004ea: SWAP5 000004eb: SWAP3 000004ec: SWAP4 000004ed: PUSH1 0x24 000004ef: SWAP4 000004f0: SWAP3 000004f1: DUP5 000004f2: ADD 000004f3: SWAP2 000004f4: SWAP1 000004f5: DUP2 000004f6: SWAP1 000004f7: DUP5 000004f8: ADD 000004f9: DUP4 000004fa: DUP3 000004fb: DUP1 000004fc: DUP3 000004fd: DUP5 000004fe: CALLDATACOPY 000004ff: POP 00000500: SWAP5 00000501: SWAP8 00000502: POP 00000503: PUSH2 0x0cb8 00000506: SWAP7 00000507: POP 00000508: POP 00000509: POP 0000050a: POP 0000050b: POP 0000050c: POP 0000050d: POP 0000050e: JUMP 0000050f: JUMPDEST 00000510: CALLVALUE 00000511: DUP1 00000512: ISZERO 00000513: PUSH2 0x051b 00000516: JUMPI 00000517: PUSH1 0x00 00000519: DUP1 0000051a: REVERT 0000051b: JUMPDEST 0000051c: POP 0000051d: PUSH2 0x0191 00000520: PUSH2 0x0ce7 00000523: JUMP 00000524: JUMPDEST 00000525: CALLVALUE 00000526: DUP1 00000527: ISZERO 00000528: PUSH2 0x0530 0000052b: JUMPI 0000052c: PUSH1 0x00 0000052e: DUP1 0000052f: REVERT 00000530: JUMPDEST 00000531: POP 00000532: PUSH2 0x0191 00000535: PUSH2 0x0ced 00000538: JUMP 00000539: JUMPDEST 0000053a: CALLVALUE 0000053b: DUP1 0000053c: ISZERO 0000053d: PUSH2 0x0545 00000540: JUMPI 00000541: PUSH1 0x00 00000543: DUP1 00000544: REVERT 00000545: JUMPDEST 00000546: POP 00000547: PUSH2 0x02a6 0000054a: PUSH2 0x0cf3 0000054d: JUMP 0000054e: JUMPDEST 0000054f: PUSH1 0x0b 00000551: SLOAD 00000552: PUSH1 0x00 00000554: SWAP1 00000555: DUP3 00000556: LT 00000557: PUSH2 0x055f 0000055a: JUMPI 0000055b: PUSH1 0x00 0000055d: DUP1 0000055e: REVERT 0000055f: JUMPDEST 00000560: PUSH2 0x059c 00000563: PUSH2 0x0592 00000566: PUSH2 0x058a 00000569: PUSH1 0x06 0000056b: PUSH1 0x00 0000056d: DUP7 0000056e: DUP2 0000056f: MSTORE 00000570: PUSH1 0x20 00000572: ADD 00000573: SWAP1 00000574: DUP2 00000575: MSTORE 00000576: PUSH1 0x20 00000578: ADD 00000579: PUSH1 0x00 0000057b: KECCAK256 0000057c: SLOAD 0000057d: PUSH1 0x03 0000057f: SLOAD 00000580: PUSH1 0x01 00000582: ADD 00000583: PUSH1 0x0a 00000585: EXP 00000586: PUSH2 0x0cf8 00000589: JUMP 0000058a: JUMPDEST 0000058b: PUSH1 0x02 0000058d: SLOAD 0000058e: PUSH2 0x0d2a 00000591: JUMP 00000592: JUMPDEST 00000593: PUSH1 0x05 00000595: ADD 00000596: PUSH1 0x0a 00000598: PUSH2 0x0d2a 0000059b: JUMP 0000059c: JUMPDEST 0000059d: SWAP3 0000059e: SWAP2 0000059f: POP 000005a0: POP 000005a1: JUMP 000005a2: JUMPDEST 000005a3: PUSH1 0x00 000005a5: DUP1 000005a6: SLOAD 000005a7: PUSH1 0x40 000005a9: DUP1 000005aa: MLOAD 000005ab: PUSH1 0x20 000005ad: PUSH1 0x02 000005af: PUSH1 0x01 000005b1: DUP6 000005b2: AND 000005b3: ISZERO 000005b4: PUSH2 0x0100 000005b7: MUL 000005b8: PUSH1 0x00 000005ba: NOT 000005bb: ADD 000005bc: SWAP1 000005bd: SWAP5 000005be: AND 000005bf: SWAP4 000005c0: SWAP1 000005c1: SWAP4 000005c2: DIV 000005c3: PUSH1 0x1f 000005c5: DUP2 000005c6: ADD 000005c7: DUP5 000005c8: SWAP1 000005c9: DIV 000005ca: DUP5 000005cb: MUL 000005cc: DUP3 000005cd: ADD 000005ce: DUP5 000005cf: ADD 000005d0: SWAP1 000005d1: SWAP3 000005d2: MSTORE 000005d3: DUP2 000005d4: DUP2 000005d5: MSTORE 000005d6: SWAP3 000005d7: SWAP2 000005d8: DUP4 000005d9: ADD 000005da: DUP3 000005db: DUP3 000005dc: DUP1 000005dd: ISZERO 000005de: PUSH2 0x0628 000005e1: JUMPI 000005e2: DUP1 000005e3: PUSH1 0x1f 000005e5: LT 000005e6: PUSH2 0x05fd 000005e9: JUMPI 000005ea: PUSH2 0x0100 000005ed: DUP1 000005ee: DUP4 000005ef: SLOAD 000005f0: DIV 000005f1: MUL 000005f2: DUP4 000005f3: MSTORE 000005f4: SWAP2 000005f5: PUSH1 0x20 000005f7: ADD 000005f8: SWAP2 000005f9: PUSH2 0x0628 000005fc: JUMP 000005fd: JUMPDEST 000005fe: DUP3 000005ff: ADD 00000600: SWAP2 00000601: SWAP1 00000602: PUSH1 0x00 00000604: MSTORE 00000605: PUSH1 0x20 00000607: PUSH1 0x00 00000609: KECCAK256 0000060a: SWAP1 0000060b: JUMPDEST 0000060c: DUP2 0000060d: SLOAD 0000060e: DUP2 0000060f: MSTORE 00000610: SWAP1 00000611: PUSH1 0x01 00000613: ADD 00000614: SWAP1 00000615: PUSH1 0x20 00000617: ADD 00000618: DUP1 00000619: DUP4 0000061a: GT 0000061b: PUSH2 0x060b 0000061e: JUMPI 0000061f: DUP3 00000620: SWAP1 00000621: SUB 00000622: PUSH1 0x1f 00000624: AND 00000625: DUP3 00000626: ADD 00000627: SWAP2 00000628: JUMPDEST 00000629: POP 0000062a: POP 0000062b: POP 0000062c: POP 0000062d: POP 0000062e: DUP2 0000062f: JUMP 00000630: JUMPDEST 00000631: PUSH1 0x0b 00000633: SLOAD 00000634: PUSH1 0x00 00000636: SWAP1 00000637: DUP3 00000638: LT 00000639: PUSH2 0x0641 0000063c: JUMPI 0000063d: PUSH1 0x00 0000063f: DUP1 00000640: REVERT 00000641: JUMPDEST 00000642: POP 00000643: PUSH1 0x00 00000645: SWAP1 00000646: DUP2 00000647: MSTORE 00000648: PUSH1 0x05 0000064a: PUSH1 0x20 0000064c: MSTORE 0000064d: PUSH1 0x40 0000064f: SWAP1 00000650: KECCAK256 00000651: SLOAD 00000652: SWAP1 00000653: JUMP 00000654: JUMPDEST 00000655: PUSH1 0x0b 00000657: SLOAD 00000658: PUSH1 0x00 0000065a: SWAP1 0000065b: DUP3 0000065c: LT 0000065d: PUSH2 0x0665 00000660: JUMPI 00000661: PUSH1 0x00 00000663: DUP1 00000664: REVERT 00000665: JUMPDEST 00000666: POP 00000667: PUSH1 0x00 00000669: SWAP1 0000066a: DUP2 0000066b: MSTORE 0000066c: PUSH1 0x04 0000066e: PUSH1 0x20 00000670: MSTORE 00000671: PUSH1 0x40 00000673: SWAP1 00000674: KECCAK256 00000675: SLOAD 00000676: PUSH1 0x01 00000678: PUSH1 0xa0 0000067a: PUSH1 0x02 0000067c: EXP 0000067d: SUB 0000067e: AND 0000067f: SWAP1 00000680: JUMP 00000681: JUMPDEST 00000682: PUSH1 0x05 00000684: PUSH1 0x20 00000686: MSTORE 00000687: PUSH1 0x00 00000689: SWAP1 0000068a: DUP2 0000068b: MSTORE 0000068c: PUSH1 0x40 0000068e: SWAP1 0000068f: KECCAK256 00000690: SLOAD 00000691: DUP2 00000692: JUMP 00000693: JUMPDEST 00000694: PUSH1 0x12 00000696: DUP2 00000697: JUMP 00000698: JUMPDEST 00000699: CALLER 0000069a: PUSH1 0x00 0000069c: DUP2 0000069d: DUP2 0000069e: MSTORE 0000069f: PUSH1 0x07 000006a1: PUSH1 0x20 000006a3: MSTORE 000006a4: PUSH1 0x40 000006a6: DUP2 000006a7: KECCAK256 000006a8: SLOAD 000006a9: PUSH7 0x038d7ea4c68000 000006b1: GT 000006b2: ISZERO 000006b3: PUSH2 0x06bb 000006b6: JUMPI 000006b7: PUSH1 0x00 000006b9: DUP1 000006ba: REVERT 000006bb: JUMPDEST 000006bc: POP 000006bd: PUSH1 0x01 000006bf: PUSH1 0xa0 000006c1: PUSH1 0x02 000006c3: EXP 000006c4: SUB 000006c5: DUP2 000006c6: AND 000006c7: PUSH1 0x00 000006c9: DUP2 000006ca: DUP2 000006cb: MSTORE 000006cc: PUSH1 0x07 000006ce: PUSH1 0x20 000006d0: MSTORE 000006d1: PUSH1 0x40 000006d3: DUP1 000006d4: DUP3 000006d5: KECCAK256 000006d6: DUP1 000006d7: SLOAD 000006d8: SWAP1 000006d9: DUP4 000006da: SWAP1 000006db: SSTORE 000006dc: SWAP1 000006dd: MLOAD 000006de: SWAP1 000006df: SWAP3 000006e0: SWAP2 000006e1: DUP4 000006e2: ISZERO 000006e3: PUSH2 0x08fc 000006e6: MUL 000006e7: SWAP2 000006e8: DUP5 000006e9: SWAP2 000006ea: DUP2 000006eb: DUP2 000006ec: DUP2 000006ed: DUP6 000006ee: DUP9 000006ef: DUP9 000006f0: CALL 000006f1: SWAP4 000006f2: POP 000006f3: POP 000006f4: POP 000006f5: POP 000006f6: ISZERO 000006f7: DUP1 000006f8: ISZERO 000006f9: PUSH2 0x0706 000006fc: JUMPI 000006fd: RETURNDATASIZE 000006fe: PUSH1 0x00 00000700: DUP1 00000701: RETURNDATACOPY 00000702: RETURNDATASIZE 00000703: PUSH1 0x00 00000705: REVERT 00000706: JUMPDEST 00000707: POP 00000708: PUSH1 0x40 0000070a: DUP1 0000070b: MLOAD 0000070c: PUSH1 0x01 0000070e: PUSH1 0xa0 00000710: PUSH1 0x02 00000712: EXP 00000713: SUB 00000714: DUP5 00000715: AND 00000716: DUP2 00000717: MSTORE 00000718: PUSH1 0x20 0000071a: DUP2 0000071b: ADD 0000071c: DUP4 0000071d: SWAP1 0000071e: MSTORE 0000071f: DUP2 00000720: MLOAD 00000721: PUSH32 0xccad973dcd043c7d680389db4378bd6b9775db7124092e9e0422c9e46d7985dc 00000742: SWAP3 00000743: SWAP2 00000744: DUP2 00000745: SWAP1 00000746: SUB 00000747: SWAP1 00000748: SWAP2 00000749: ADD 0000074a: SWAP1 0000074b: LOG1 0000074c: POP 0000074d: POP 0000074e: JUMP 0000074f: JUMPDEST 00000750: PUSH1 0x0c 00000752: SLOAD 00000753: PUSH2 0x0100 00000756: SWAP1 00000757: DIV 00000758: PUSH1 0x01 0000075a: PUSH1 0xa0 0000075c: PUSH1 0x02 0000075e: EXP 0000075f: SUB 00000760: AND 00000761: CALLER 00000762: EQ 00000763: PUSH2 0x076b 00000766: JUMPI 00000767: PUSH1 0x00 00000769: DUP1 0000076a: REVERT 0000076b: JUMPDEST 0000076c: PUSH1 0x0c 0000076e: SLOAD 0000076f: PUSH1 0x00 00000771: DUP4 00000772: DUP2 00000773: MSTORE 00000774: PUSH1 0x04 00000776: PUSH1 0x20 00000778: MSTORE 00000779: PUSH1 0x40 0000077b: SWAP1 0000077c: KECCAK256 0000077d: SLOAD 0000077e: PUSH1 0x01 00000780: PUSH1 0xa0 00000782: PUSH1 0x02 00000784: EXP 00000785: SUB 00000786: SWAP1 00000787: DUP2 00000788: AND 00000789: PUSH2 0x0100 0000078c: SWAP1 0000078d: SWAP3 0000078e: DIV 0000078f: AND 00000790: EQ 00000791: PUSH2 0x0799 00000794: JUMPI 00000795: PUSH1 0x00 00000797: DUP1 00000798: REVERT 00000799: JUMPDEST 0000079a: PUSH1 0x00 0000079c: SWAP2 0000079d: DUP3 0000079e: MSTORE 0000079f: PUSH1 0x05 000007a1: PUSH1 0x20 000007a3: MSTORE 000007a4: PUSH1 0x40 000007a6: SWAP1 000007a7: SWAP2 000007a8: KECCAK256 000007a9: SSTORE 000007aa: JUMP 000007ab: JUMPDEST 000007ac: CALLER 000007ad: PUSH1 0x00 000007af: SWAP1 000007b0: DUP2 000007b1: MSTORE 000007b2: PUSH1 0x07 000007b4: PUSH1 0x20 000007b6: MSTORE 000007b7: PUSH1 0x40 000007b9: SWAP1 000007ba: KECCAK256 000007bb: SLOAD 000007bc: JUMPDEST 000007bd: SWAP1 000007be: JUMP 000007bf: JUMPDEST 000007c0: PUSH1 0x00 000007c2: DUP1 000007c3: PUSH2 0x07cb 000007c6: DUP5 000007c7: PUSH2 0x054e 000007ca: JUMP 000007cb: JUMPDEST 000007cc: SWAP1 000007cd: POP 000007ce: PUSH2 0x07e5 000007d1: PUSH2 0x07da 000007d4: DUP3 000007d5: DUP6 000007d6: PUSH2 0x0cf8 000007d9: JUMP 000007da: JUMPDEST 000007db: PUSH1 0x03 000007dd: SLOAD 000007de: PUSH1 0x0a 000007e0: EXP 000007e1: PUSH2 0x0d2a 000007e4: JUMP 000007e5: JUMPDEST 000007e6: SWAP2 000007e7: POP 000007e8: JUMPDEST 000007e9: POP 000007ea: SWAP3 000007eb: SWAP2 000007ec: POP 000007ed: POP 000007ee: JUMP 000007ef: JUMPDEST 000007f0: PUSH1 0x0a 000007f2: DUP2 000007f3: JUMP 000007f4: JUMPDEST 000007f5: PUSH1 0x0b 000007f7: SLOAD 000007f8: PUSH1 0x00 000007fa: SWAP1 000007fb: DUP3 000007fc: LT 000007fd: PUSH2 0x0805 00000800: JUMPI 00000801: PUSH1 0x00 00000803: DUP1 00000804: REVERT 00000805: JUMPDEST 00000806: POP 00000807: PUSH1 0x00 00000809: SWAP1 0000080a: DUP2 0000080b: MSTORE 0000080c: PUSH1 0x08 0000080e: PUSH1 0x20 00000810: MSTORE 00000811: PUSH1 0x40 00000813: SWAP1 00000814: KECCAK256 00000815: SLOAD 00000816: SWAP1 00000817: JUMP 00000818: JUMPDEST 00000819: ADDRESS 0000081a: BALANCE 0000081b: SWAP1 0000081c: JUMP 0000081d: JUMPDEST 0000081e: PUSH1 0x0c 00000820: SLOAD 00000821: PUSH2 0x0100 00000824: SWAP1 00000825: DIV 00000826: PUSH1 0x01 00000828: PUSH1 0xa0 0000082a: PUSH1 0x02 0000082c: EXP 0000082d: SUB 0000082e: AND 0000082f: CALLER 00000830: EQ 00000831: PUSH2 0x0839 00000834: JUMPI 00000835: PUSH1 0x00 00000837: DUP1 00000838: REVERT 00000839: JUMPDEST 0000083a: PUSH1 0x0c 0000083c: DUP1 0000083d: SLOAD 0000083e: PUSH1 0xff 00000840: NOT 00000841: AND 00000842: SWAP2 00000843: ISZERO 00000844: ISZERO 00000845: SWAP2 00000846: SWAP1 00000847: SWAP2 00000848: OR 00000849: SWAP1 0000084a: SSTORE 0000084b: JUMP 0000084c: JUMPDEST 0000084d: PUSH1 0x00 0000084f: DUP1 00000850: PUSH1 0x00 00000852: DUP1 00000853: PUSH1 0x00 00000855: DUP1 00000856: PUSH1 0x00 00000858: DUP1 00000859: PUSH1 0x0b 0000085b: SLOAD 0000085c: DUP11 0000085d: LT 0000085e: ISZERO 0000085f: ISZERO 00000860: PUSH2 0x0868 00000863: JUMPI 00000864: PUSH1 0x00 00000866: DUP1 00000867: REVERT 00000868: JUMPDEST 00000869: PUSH1 0x00 0000086b: DUP11 0000086c: DUP2 0000086d: MSTORE 0000086e: PUSH1 0x05 00000870: PUSH1 0x20 00000872: MSTORE 00000873: PUSH1 0x40 00000875: SWAP1 00000876: KECCAK256 00000877: SLOAD 00000878: CALLVALUE 00000879: EQ 0000087a: PUSH2 0x0882 0000087d: JUMPI 0000087e: PUSH1 0x00 00000880: DUP1 00000881: REVERT 00000882: JUMPDEST 00000883: PUSH1 0x00 00000885: DUP11 00000886: DUP2 00000887: MSTORE 00000888: PUSH1 0x04 0000088a: PUSH1 0x20 0000088c: MSTORE 0000088d: PUSH1 0x40 0000088f: SWAP1 00000890: KECCAK256 00000891: SLOAD 00000892: PUSH1 0x01 00000894: PUSH1 0xa0 00000896: PUSH1 0x02 00000898: EXP 00000899: SUB 0000089a: AND 0000089b: CALLER 0000089c: EQ 0000089d: ISZERO 0000089e: PUSH2 0x08a6 000008a1: JUMPI 000008a2: PUSH1 0x00 000008a4: DUP1 000008a5: REVERT 000008a6: JUMPDEST 000008a7: PUSH1 0x00 000008a9: DUP11 000008aa: DUP2 000008ab: MSTORE 000008ac: PUSH1 0x06 000008ae: PUSH1 0x20 000008b0: MSTORE 000008b1: PUSH1 0x40 000008b3: SWAP1 000008b4: KECCAK256 000008b5: SLOAD 000008b6: PUSH2 0x08c0 000008b9: SWAP1 000008ba: CALLVALUE 000008bb: SWAP1 000008bc: PUSH2 0x0d41 000008bf: JUMP 000008c0: JUMPDEST 000008c1: PUSH2 0x08d6 000008c4: PUSH2 0x08cf 000008c7: CALLVALUE 000008c8: PUSH1 0x09 000008ca: SLOAD 000008cb: PUSH2 0x0cf8 000008ce: JUMP 000008cf: JUMPDEST 000008d0: PUSH1 0x64 000008d2: PUSH2 0x0d2a 000008d5: JUMP 000008d6: JUMPDEST 000008d7: PUSH1 0x00 000008d9: DUP12 000008da: DUP2 000008db: MSTORE 000008dc: PUSH1 0x06 000008de: PUSH1 0x20 000008e0: MSTORE 000008e1: PUSH1 0x40 000008e3: SWAP1 000008e4: KECCAK256 000008e5: SLOAD 000008e6: SWAP1 000008e7: SWAP9 000008e8: POP 000008e9: PUSH2 0x08f3 000008ec: SWAP1 000008ed: CALLVALUE 000008ee: SWAP1 000008ef: PUSH2 0x0d71 000008f2: JUMP 000008f3: JUMPDEST 000008f4: SWAP7 000008f5: POP 000008f6: PUSH2 0x0901 000008f9: PUSH1 0x0a 000008fb: SLOAD 000008fc: DUP9 000008fd: PUSH2 0x0d83 00000900: JUMP 00000901: JUMPDEST 00000902: PUSH1 0x0a 00000904: SWAP1 00000905: DUP2 00000906: SSTORE 00000907: PUSH2 0x0915 0000090a: SWAP1 0000090b: PUSH2 0x08cf 0000090e: SWAP1 0000090f: DUP10 00000910: SWAP1 00000911: PUSH2 0x0cf8 00000914: JUMP 00000915: JUMPDEST 00000916: SWAP6 00000917: POP 00000918: PUSH2 0x0925 0000091b: PUSH2 0x08cf 0000091e: DUP9 0000091f: PUSH1 0x32 00000921: PUSH2 0x0cf8 00000924: JUMP 00000925: JUMPDEST 00000926: PUSH1 0x00 00000928: DUP12 00000929: DUP2 0000092a: MSTORE 0000092b: PUSH1 0x08 0000092d: PUSH1 0x20 0000092f: MSTORE 00000930: PUSH1 0x40 00000932: SWAP1 00000933: KECCAK256 00000934: SLOAD 00000935: SWAP1 00000936: SWAP6 00000937: POP 00000938: PUSH2 0x0941 0000093b: SWAP1 0000093c: DUP7 0000093d: PUSH2 0x0d83 00000940: JUMP 00000941: JUMPDEST 00000942: PUSH1 0x00 00000944: DUP12 00000945: DUP2 00000946: MSTORE 00000947: PUSH1 0x08 00000949: PUSH1 0x20 0000094b: SWAP1 0000094c: DUP2 0000094d: MSTORE 0000094e: PUSH1 0x40 00000950: DUP1 00000951: DUP4 00000952: KECCAK256 00000953: SWAP4 00000954: SWAP1 00000955: SWAP4 00000956: SSTORE 00000957: PUSH1 0x06 00000959: SWAP1 0000095a: MSTORE 0000095b: KECCAK256 0000095c: SLOAD 0000095d: PUSH2 0x0967 00000960: SWAP1 00000961: DUP7 00000962: SWAP1 00000963: PUSH2 0x0d83 00000966: JUMP 00000967: JUMPDEST 00000968: SWAP5 00000969: POP 0000096a: PUSH2 0x0977 0000096d: PUSH2 0x08cf 00000970: DUP9 00000971: PUSH1 0x28 00000973: PUSH2 0x0cf8 00000976: JUMP 00000977: JUMPDEST 00000978: PUSH1 0x0c 0000097a: SLOAD 0000097b: SWAP1 0000097c: SWAP5 0000097d: POP 0000097e: PUSH1 0xff 00000980: AND 00000981: DUP1 00000982: ISZERO 00000983: PUSH2 0x0995 00000986: JUMPI 00000987: POP 00000988: PUSH1 0x01 0000098a: PUSH1 0xa0 0000098c: PUSH1 0x02 0000098e: EXP 0000098f: SUB 00000990: DUP10 00000991: AND 00000992: CALLER 00000993: EQ 00000994: ISZERO 00000995: JUMPDEST 00000996: DUP1 00000997: ISZERO 00000998: PUSH2 0x09a9 0000099b: JUMPI 0000099c: POP 0000099d: PUSH1 0x01 0000099f: PUSH1 0xa0 000009a1: PUSH1 0x02 000009a3: EXP 000009a4: SUB 000009a5: DUP10 000009a6: AND 000009a7: ISZERO 000009a8: ISZERO 000009a9: JUMPDEST 000009aa: ISZERO 000009ab: PUSH2 0x0a08 000009ae: JUMPI 000009af: PUSH2 0x09bc 000009b2: PUSH2 0x08cf 000009b5: DUP9 000009b6: PUSH1 0x05 000009b8: PUSH2 0x0cf8 000009bb: JUMP 000009bc: JUMPDEST 000009bd: SWAP3 000009be: POP 000009bf: PUSH2 0x09c8 000009c2: DUP5 000009c3: DUP5 000009c4: PUSH2 0x0d71 000009c7: JUMP 000009c8: JUMPDEST 000009c9: PUSH1 0x01 000009cb: PUSH1 0xa0 000009cd: PUSH1 0x02 000009cf: EXP 000009d0: SUB 000009d1: DUP11 000009d2: AND 000009d3: PUSH1 0x00 000009d5: SWAP1 000009d6: DUP2 000009d7: MSTORE 000009d8: PUSH1 0x07 000009da: PUSH1 0x20 000009dc: MSTORE 000009dd: PUSH1 0x40 000009df: SWAP1 000009e0: KECCAK256 000009e1: SLOAD 000009e2: SWAP1 000009e3: SWAP5 000009e4: POP 000009e5: PUSH2 0x09ee 000009e8: SWAP1 000009e9: DUP5 000009ea: PUSH2 0x0d83 000009ed: JUMP 000009ee: JUMPDEST 000009ef: PUSH1 0x01 000009f1: PUSH1 0xa0 000009f3: PUSH1 0x02 000009f5: EXP 000009f6: SUB 000009f7: DUP11 000009f8: AND 000009f9: PUSH1 0x00 000009fb: SWAP1 000009fc: DUP2 000009fd: MSTORE 000009fe: PUSH1 0x07 00000a00: PUSH1 0x20 00000a02: MSTORE 00000a03: PUSH1 0x40 00000a05: SWAP1 00000a06: KECCAK256 00000a07: SSTORE 00000a08: JUMPDEST 00000a09: POP 00000a0a: POP 00000a0b: PUSH1 0x00 00000a0d: DUP9 00000a0e: DUP2 00000a0f: MSTORE 00000a10: PUSH1 0x04 00000a12: PUSH1 0x20 00000a14: SWAP1 00000a15: DUP2 00000a16: MSTORE 00000a17: PUSH1 0x40 00000a19: DUP1 00000a1a: DUP4 00000a1b: KECCAK256 00000a1c: SLOAD 00000a1d: PUSH1 0x01 00000a1f: PUSH1 0xa0 00000a21: PUSH1 0x02 00000a23: EXP 00000a24: SUB 00000a25: AND 00000a26: DUP1 00000a27: DUP5 00000a28: MSTORE 00000a29: PUSH1 0x07 00000a2b: SWAP1 00000a2c: SWAP3 00000a2d: MSTORE 00000a2e: SWAP1 00000a2f: SWAP2 00000a30: KECCAK256 00000a31: SLOAD 00000a32: CALLER 00000a33: SWAP1 00000a34: PUSH2 0x0a3d 00000a37: SWAP1 00000a38: DUP7 00000a39: PUSH2 0x0d83 00000a3c: JUMP 00000a3d: JUMPDEST 00000a3e: PUSH1 0x01 00000a40: PUSH1 0xa0 00000a42: PUSH1 0x02 00000a44: EXP 00000a45: SUB 00000a46: DUP1 00000a47: DUP5 00000a48: AND 00000a49: PUSH1 0x00 00000a4b: SWAP1 00000a4c: DUP2 00000a4d: MSTORE 00000a4e: PUSH1 0x07 00000a50: PUSH1 0x20 00000a52: MSTORE 00000a53: PUSH1 0x40 00000a55: DUP1 00000a56: DUP3 00000a57: KECCAK256 00000a58: SWAP4 00000a59: SWAP1 00000a5a: SWAP4 00000a5b: SSTORE 00000a5c: PUSH1 0x11 00000a5e: SLOAD 00000a5f: SWAP3 00000a60: MLOAD 00000a61: SWAP3 00000a62: SWAP1 00000a63: SWAP2 00000a64: AND 00000a65: SWAP2 00000a66: DUP9 00000a67: ISZERO 00000a68: PUSH2 0x08fc 00000a6b: MUL 00000a6c: SWAP2 00000a6d: DUP10 00000a6e: SWAP2 00000a6f: SWAP1 00000a70: DUP2 00000a71: DUP2 00000a72: DUP2 00000a73: DUP6 00000a74: DUP9 00000a75: DUP9 00000a76: CALL 00000a77: SWAP4 00000a78: POP 00000a79: POP 00000a7a: POP 00000a7b: POP 00000a7c: ISZERO 00000a7d: DUP1 00000a7e: ISZERO 00000a7f: PUSH2 0x0a8c 00000a82: JUMPI 00000a83: RETURNDATASIZE 00000a84: PUSH1 0x00 00000a86: DUP1 00000a87: RETURNDATACOPY 00000a88: RETURNDATASIZE 00000a89: PUSH1 0x00 00000a8b: REVERT 00000a8c: JUMPDEST 00000a8d: POP 00000a8e: PUSH2 0x0a96 00000a91: DUP5 00000a92: PUSH2 0x0d92 00000a95: JUMP 00000a96: JUMPDEST 00000a97: PUSH1 0x00 00000a99: DUP11 00000a9a: DUP2 00000a9b: MSTORE 00000a9c: PUSH1 0x06 00000a9e: PUSH1 0x20 00000aa0: SWAP1 00000aa1: DUP2 00000aa2: MSTORE 00000aa3: PUSH1 0x40 00000aa5: DUP1 00000aa6: DUP4 00000aa7: KECCAK256 00000aa8: CALLVALUE 00000aa9: SWAP1 00000aaa: DUP2 00000aab: SWAP1 00000aac: SSTORE 00000aad: PUSH1 0x05 00000aaf: DUP4 00000ab0: MSTORE 00000ab1: DUP2 00000ab2: DUP5 00000ab3: KECCAK256 00000ab4: DUP13 00000ab5: SWAP1 00000ab6: SSTORE 00000ab7: PUSH1 0x04 00000ab9: SWAP1 00000aba: SWAP3 00000abb: MSTORE 00000abc: SWAP1 00000abd: SWAP2 00000abe: KECCAK256 00000abf: DUP1 00000ac0: SLOAD 00000ac1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ad6: NOT 00000ad7: AND 00000ad8: PUSH1 0x01 00000ada: PUSH1 0xa0 00000adc: PUSH1 0x02 00000ade: EXP 00000adf: SUB 00000ae0: DUP5 00000ae1: AND 00000ae2: OR 00000ae3: SWAP1 00000ae4: SSTORE 00000ae5: PUSH1 0x09 00000ae7: SLOAD 00000ae8: PUSH32 0xb6058ac11d669cce504a48b05012e6920f1058599371108c7eacf6dfa9b976bb 00000b09: SWAP2 00000b0a: CALLER 00000b0b: SWAP2 00000b0c: DUP14 00000b0d: SWAP1 00000b0e: PUSH2 0x0b1c 00000b11: SWAP1 00000b12: PUSH2 0x08cf 00000b15: SWAP1 00000b16: DUP5 00000b17: SWAP1 00000b18: PUSH2 0x0cf8 00000b1b: JUMP 00000b1c: JUMPDEST 00000b1d: PUSH1 0x40 00000b1f: DUP1 00000b20: MLOAD 00000b21: PUSH1 0x01 00000b23: PUSH1 0xa0 00000b25: PUSH1 0x02 00000b27: EXP 00000b28: SUB 00000b29: SWAP1 00000b2a: SWAP6 00000b2b: AND 00000b2c: DUP6 00000b2d: MSTORE 00000b2e: PUSH1 0x20 00000b30: DUP6 00000b31: ADD 00000b32: SWAP4 00000b33: SWAP1 00000b34: SWAP4 00000b35: MSTORE 00000b36: DUP4 00000b37: DUP4 00000b38: ADD 00000b39: SWAP2 00000b3a: SWAP1 00000b3b: SWAP2 00000b3c: MSTORE 00000b3d: PUSH1 0x60 00000b3f: DUP4 00000b40: ADD 00000b41: MSTORE 00000b42: MLOAD 00000b43: SWAP1 00000b44: DUP2 00000b45: SWAP1 00000b46: SUB 00000b47: PUSH1 0x80 00000b49: ADD 00000b4a: SWAP1 00000b4b: LOG1 00000b4c: POP 00000b4d: POP 00000b4e: POP 00000b4f: POP 00000b50: POP 00000b51: POP 00000b52: POP 00000b53: POP 00000b54: POP 00000b55: POP 00000b56: JUMP 00000b57: JUMPDEST 00000b58: PUSH1 0x01 00000b5a: PUSH1 0xa0 00000b5c: PUSH1 0x02 00000b5e: EXP 00000b5f: SUB 00000b60: AND 00000b61: PUSH1 0x00 00000b63: SWAP1 00000b64: DUP2 00000b65: MSTORE 00000b66: PUSH1 0x07 00000b68: PUSH1 0x20 00000b6a: MSTORE 00000b6b: PUSH1 0x40 00000b6d: SWAP1 00000b6e: KECCAK256 00000b6f: SLOAD 00000b70: SWAP1 00000b71: JUMP 00000b72: JUMPDEST 00000b73: PUSH1 0x01 00000b75: DUP1 00000b76: SLOAD 00000b77: PUSH1 0x40 00000b79: DUP1 00000b7a: MLOAD 00000b7b: PUSH1 0x20 00000b7d: PUSH1 0x02 00000b7f: DUP5 00000b80: DUP7 00000b81: AND 00000b82: ISZERO 00000b83: PUSH2 0x0100 00000b86: MUL 00000b87: PUSH1 0x00 00000b89: NOT 00000b8a: ADD 00000b8b: SWAP1 00000b8c: SWAP5 00000b8d: AND 00000b8e: SWAP4 00000b8f: SWAP1 00000b90: SWAP4 00000b91: DIV 00000b92: PUSH1 0x1f 00000b94: DUP2 00000b95: ADD 00000b96: DUP5 00000b97: SWAP1 00000b98: DIV 00000b99: DUP5 00000b9a: MUL 00000b9b: DUP3 00000b9c: ADD 00000b9d: DUP5 00000b9e: ADD 00000b9f: SWAP1 00000ba0: SWAP3 00000ba1: MSTORE 00000ba2: DUP2 00000ba3: DUP2 00000ba4: MSTORE 00000ba5: SWAP3 00000ba6: SWAP2 00000ba7: DUP4 00000ba8: ADD 00000ba9: DUP3 00000baa: DUP3 00000bab: DUP1 00000bac: ISZERO 00000bad: PUSH2 0x0628 00000bb0: JUMPI 00000bb1: DUP1 00000bb2: PUSH1 0x1f 00000bb4: LT 00000bb5: PUSH2 0x05fd 00000bb8: JUMPI 00000bb9: PUSH2 0x0100 00000bbc: DUP1 00000bbd: DUP4 00000bbe: SLOAD 00000bbf: DIV 00000bc0: MUL 00000bc1: DUP4 00000bc2: MSTORE 00000bc3: SWAP2 00000bc4: PUSH1 0x20 00000bc6: ADD 00000bc7: SWAP2 00000bc8: PUSH2 0x0628 00000bcb: JUMP 00000bcc: JUMPDEST 00000bcd: PUSH1 0x0c 00000bcf: SLOAD 00000bd0: PUSH2 0x0100 00000bd3: SWAP1 00000bd4: DIV 00000bd5: PUSH1 0x01 00000bd7: PUSH1 0xa0 00000bd9: PUSH1 0x02 00000bdb: EXP 00000bdc: SUB 00000bdd: AND 00000bde: CALLER 00000bdf: EQ 00000be0: PUSH2 0x0be8 00000be3: JUMPI 00000be4: PUSH1 0x00 00000be6: DUP1 00000be7: REVERT 00000be8: JUMPDEST 00000be9: PUSH1 0x0b 00000beb: DUP1 00000bec: SLOAD 00000bed: PUSH1 0x00 00000bef: NOT 00000bf0: SWAP1 00000bf1: DUP2 00000bf2: ADD 00000bf3: PUSH1 0x00 00000bf5: SWAP1 00000bf6: DUP2 00000bf7: MSTORE 00000bf8: PUSH1 0x05 00000bfa: PUSH1 0x20 00000bfc: SWAP1 00000bfd: DUP2 00000bfe: MSTORE 00000bff: PUSH1 0x40 00000c01: DUP1 00000c02: DUP4 00000c03: KECCAK256 00000c04: SWAP6 00000c05: SWAP1 00000c06: SWAP6 00000c07: SSTORE 00000c08: PUSH1 0x0c 00000c0a: SLOAD 00000c0b: DUP5 00000c0c: SLOAD 00000c0d: DUP5 00000c0e: ADD 00000c0f: DUP4 00000c10: MSTORE 00000c11: PUSH1 0x04 00000c13: DUP3 00000c14: MSTORE 00000c15: DUP6 00000c16: DUP4 00000c17: KECCAK256 00000c18: DUP1 00000c19: SLOAD 00000c1a: PUSH2 0x0100 00000c1d: SWAP1 00000c1e: SWAP3 00000c1f: DIV 00000c20: PUSH1 0x01 00000c22: PUSH1 0xa0 00000c24: PUSH1 0x02 00000c26: EXP 00000c27: SUB 00000c28: AND 00000c29: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c3e: NOT 00000c3f: SWAP1 00000c40: SWAP3 00000c41: AND 00000c42: SWAP2 00000c43: SWAP1 00000c44: SWAP2 00000c45: OR 00000c46: SWAP1 00000c47: SSTORE 00000c48: DUP4 00000c49: SLOAD 00000c4a: SWAP1 00000c4b: SWAP3 00000c4c: ADD 00000c4d: DUP2 00000c4e: MSTORE 00000c4f: PUSH1 0x08 00000c51: SWAP1 00000c52: SWAP2 00000c53: MSTORE 00000c54: SWAP2 00000c55: DUP3 00000c56: KECCAK256 00000c57: SWAP2 00000c58: SWAP1 00000c59: SWAP2 00000c5a: SSTORE 00000c5b: DUP1 00000c5c: SLOAD 00000c5d: PUSH1 0x01 00000c5f: ADD 00000c60: SWAP1 00000c61: SSTORE 00000c62: JUMP 00000c63: JUMPDEST 00000c64: PUSH1 0x03 00000c66: SLOAD 00000c67: DUP2 00000c68: JUMP 00000c69: JUMPDEST 00000c6a: PUSH1 0x05 00000c6c: DUP2 00000c6d: JUMP 00000c6e: JUMPDEST 00000c6f: PUSH1 0x0a 00000c71: SLOAD 00000c72: SWAP1 00000c73: JUMP 00000c74: JUMPDEST 00000c75: PUSH1 0x02 00000c77: SLOAD 00000c78: DUP2 00000c79: JUMP 00000c7a: JUMPDEST 00000c7b: PUSH1 0x0c 00000c7d: SLOAD 00000c7e: PUSH2 0x0100 00000c81: SWAP1 00000c82: DIV 00000c83: PUSH1 0x01 00000c85: PUSH1 0xa0 00000c87: PUSH1 0x02 00000c89: EXP 00000c8a: SUB 00000c8b: AND 00000c8c: CALLER 00000c8d: EQ 00000c8e: PUSH2 0x0c96 00000c91: JUMPI 00000c92: PUSH1 0x00 00000c94: DUP1 00000c95: REVERT 00000c96: JUMPDEST 00000c97: DUP1 00000c98: MLOAD 00000c99: PUSH2 0x0ca9 00000c9c: SWAP1 00000c9d: PUSH1 0x01 00000c9f: SWAP1 00000ca0: PUSH1 0x20 00000ca2: DUP5 00000ca3: ADD 00000ca4: SWAP1 00000ca5: PUSH2 0x0e3d 00000ca8: JUMP 00000ca9: JUMPDEST 00000caa: POP 00000cab: POP 00000cac: JUMP 00000cad: JUMPDEST 00000cae: PUSH1 0x0b 00000cb0: SLOAD 00000cb1: SWAP1 00000cb2: JUMP 00000cb3: JUMPDEST 00000cb4: PUSH1 0x28 00000cb6: DUP2 00000cb7: JUMP 00000cb8: JUMPDEST 00000cb9: PUSH1 0x0c 00000cbb: SLOAD 00000cbc: PUSH2 0x0100 00000cbf: SWAP1 00000cc0: DIV 00000cc1: PUSH1 0x01 00000cc3: PUSH1 0xa0 00000cc5: PUSH1 0x02 00000cc7: EXP 00000cc8: SUB 00000cc9: AND 00000cca: CALLER 00000ccb: EQ 00000ccc: PUSH2 0x0cd4 00000ccf: JUMPI 00000cd0: PUSH1 0x00 00000cd2: DUP1 00000cd3: REVERT 00000cd4: JUMPDEST 00000cd5: DUP1 00000cd6: MLOAD 00000cd7: PUSH2 0x0ca9 00000cda: SWAP1 00000cdb: PUSH1 0x00 00000cdd: SWAP1 00000cde: PUSH1 0x20 00000ce0: DUP5 00000ce1: ADD 00000ce2: SWAP1 00000ce3: PUSH2 0x0e3d 00000ce6: JUMP 00000ce7: JUMPDEST 00000ce8: PUSH1 0x02 00000cea: SLOAD 00000ceb: SWAP1 00000cec: JUMP 00000ced: JUMPDEST 00000cee: PUSH1 0x0b 00000cf0: SLOAD 00000cf1: DUP2 00000cf2: JUMP 00000cf3: JUMPDEST 00000cf4: PUSH1 0x32 00000cf6: DUP2 00000cf7: JUMP 00000cf8: JUMPDEST 00000cf9: PUSH1 0x00 00000cfb: DUP1 00000cfc: DUP4 00000cfd: ISZERO 00000cfe: ISZERO 00000cff: PUSH2 0x0d0b 00000d02: JUMPI 00000d03: PUSH1 0x00 00000d05: SWAP2 00000d06: POP 00000d07: PUSH2 0x07e8 00000d0a: JUMP 00000d0b: JUMPDEST 00000d0c: POP 00000d0d: DUP3 00000d0e: DUP3 00000d0f: MUL 00000d10: DUP3 00000d11: DUP5 00000d12: DUP3 00000d13: DUP2 00000d14: ISZERO 00000d15: ISZERO 00000d16: PUSH2 0x0d1b 00000d19: JUMPI 00000d1a: INVALID 00000d1b: JUMPDEST 00000d1c: DIV 00000d1d: EQ 00000d1e: PUSH2 0x0d23 00000d21: JUMPI 00000d22: INVALID 00000d23: JUMPDEST 00000d24: SWAP4 00000d25: SWAP3 00000d26: POP 00000d27: POP 00000d28: POP 00000d29: JUMP 00000d2a: JUMPDEST 00000d2b: PUSH1 0x00 00000d2d: DUP1 00000d2e: DUP3 00000d2f: DUP5 00000d30: DUP2 00000d31: ISZERO 00000d32: ISZERO 00000d33: PUSH2 0x0d38 00000d36: JUMPI 00000d37: INVALID 00000d38: JUMPDEST 00000d39: DIV 00000d3a: SWAP5 00000d3b: SWAP4 00000d3c: POP 00000d3d: POP 00000d3e: POP 00000d3f: POP 00000d40: JUMP 00000d41: JUMPDEST 00000d42: PUSH1 0x00 00000d44: PUSH2 0x0d52 00000d47: PUSH2 0x08cf 00000d4a: DUP5 00000d4b: PUSH1 0x09 00000d4d: SLOAD 00000d4e: PUSH2 0x0cf8 00000d51: JUMP 00000d52: JUMPDEST 00000d53: SWAP1 00000d54: POP 00000d55: PUSH2 0x0d69 00000d58: PUSH1 0x02 00000d5a: SLOAD 00000d5b: PUSH2 0x0d64 00000d5e: DUP4 00000d5f: DUP6 00000d60: PUSH2 0x0d71 00000d63: JUMP 00000d64: JUMPDEST 00000d65: PUSH2 0x0d83 00000d68: JUMP 00000d69: JUMPDEST 00000d6a: PUSH1 0x02 00000d6c: SSTORE 00000d6d: POP 00000d6e: POP 00000d6f: POP 00000d70: JUMP 00000d71: JUMPDEST 00000d72: PUSH1 0x00 00000d74: DUP3 00000d75: DUP3 00000d76: GT 00000d77: ISZERO 00000d78: PUSH2 0x0d7d 00000d7b: JUMPI 00000d7c: INVALID 00000d7d: JUMPDEST 00000d7e: POP 00000d7f: SWAP1 00000d80: SUB 00000d81: SWAP1 00000d82: JUMP 00000d83: JUMPDEST 00000d84: PUSH1 0x00 00000d86: DUP3 00000d87: DUP3 00000d88: ADD 00000d89: DUP4 00000d8a: DUP2 00000d8b: LT 00000d8c: ISZERO 00000d8d: PUSH2 0x0d23 00000d90: JUMPI 00000d91: INVALID 00000d92: JUMPDEST 00000d93: PUSH1 0x00 00000d95: DUP1 00000d96: DUP1 00000d97: JUMPDEST 00000d98: PUSH1 0x0b 00000d9a: SLOAD 00000d9b: DUP4 00000d9c: LT 00000d9d: ISZERO 00000d9e: PUSH2 0x0e37 00000da1: JUMPI 00000da2: PUSH2 0x0dcc 00000da5: PUSH2 0x0592 00000da8: PUSH2 0x058a 00000dab: PUSH1 0x06 00000dad: PUSH1 0x00 00000daf: DUP8 00000db0: DUP2 00000db1: MSTORE 00000db2: PUSH1 0x20 00000db4: ADD 00000db5: SWAP1 00000db6: DUP2 00000db7: MSTORE 00000db8: PUSH1 0x20 00000dba: ADD 00000dbb: PUSH1 0x00 00000dbd: KECCAK256 00000dbe: SLOAD 00000dbf: PUSH1 0x03 00000dc1: SLOAD 00000dc2: PUSH1 0x01 00000dc4: ADD 00000dc5: PUSH1 0x0a 00000dc7: EXP 00000dc8: PUSH2 0x0cf8 00000dcb: JUMP 00000dcc: JUMPDEST 00000dcd: SWAP2 00000dce: POP 00000dcf: PUSH2 0x0ddb 00000dd2: PUSH2 0x07da 00000dd5: DUP6 00000dd6: DUP5 00000dd7: PUSH2 0x0cf8 00000dda: JUMP 00000ddb: JUMPDEST 00000ddc: PUSH1 0x00 00000dde: DUP5 00000ddf: DUP2 00000de0: MSTORE 00000de1: PUSH1 0x04 00000de3: PUSH1 0x20 00000de5: SWAP1 00000de6: DUP2 00000de7: MSTORE 00000de8: PUSH1 0x40 00000dea: DUP1 00000deb: DUP4 00000dec: KECCAK256 00000ded: SLOAD 00000dee: PUSH1 0x01 00000df0: PUSH1 0xa0 00000df2: PUSH1 0x02 00000df4: EXP 00000df5: SUB 00000df6: AND 00000df7: DUP4 00000df8: MSTORE 00000df9: PUSH1 0x07 00000dfb: DUP3 00000dfc: MSTORE 00000dfd: DUP1 00000dfe: DUP4 00000dff: KECCAK256 00000e00: DUP1 00000e01: SLOAD 00000e02: DUP6 00000e03: ADD 00000e04: SWAP1 00000e05: SSTORE 00000e06: DUP7 00000e07: DUP4 00000e08: MSTORE 00000e09: PUSH1 0x08 00000e0b: SWAP1 00000e0c: SWAP2 00000e0d: MSTORE 00000e0e: SWAP1 00000e0f: KECCAK256 00000e10: SLOAD 00000e11: SWAP1 00000e12: SWAP2 00000e13: POP 00000e14: PUSH2 0x0e1d 00000e17: SWAP1 00000e18: DUP3 00000e19: PUSH2 0x0d83 00000e1c: JUMP 00000e1d: JUMPDEST 00000e1e: PUSH1 0x00 00000e20: DUP5 00000e21: DUP2 00000e22: MSTORE 00000e23: PUSH1 0x08 00000e25: PUSH1 0x20 00000e27: MSTORE 00000e28: PUSH1 0x40 00000e2a: SWAP1 00000e2b: KECCAK256 00000e2c: SSTORE 00000e2d: PUSH1 0x01 00000e2f: SWAP1 00000e30: SWAP3 00000e31: ADD 00000e32: SWAP2 00000e33: PUSH2 0x0d97 00000e36: JUMP 00000e37: JUMPDEST 00000e38: POP 00000e39: POP 00000e3a: POP 00000e3b: POP 00000e3c: JUMP 00000e3d: JUMPDEST 00000e3e: DUP3 00000e3f: DUP1 00000e40: SLOAD 00000e41: PUSH1 0x01 00000e43: DUP2 00000e44: PUSH1 0x01 00000e46: AND 00000e47: ISZERO 00000e48: PUSH2 0x0100 00000e4b: MUL 00000e4c: SUB 00000e4d: AND 00000e4e: PUSH1 0x02 00000e50: SWAP1 00000e51: DIV 00000e52: SWAP1 00000e53: PUSH1 0x00 00000e55: MSTORE 00000e56: PUSH1 0x20 00000e58: PUSH1 0x00 00000e5a: KECCAK256 00000e5b: SWAP1 00000e5c: PUSH1 0x1f 00000e5e: ADD 00000e5f: PUSH1 0x20 00000e61: SWAP1 00000e62: DIV 00000e63: DUP2 00000e64: ADD 00000e65: SWAP3 00000e66: DUP3 00000e67: PUSH1 0x1f 00000e69: LT 00000e6a: PUSH2 0x0e7e 00000e6d: JUMPI 00000e6e: DUP1 00000e6f: MLOAD 00000e70: PUSH1 0xff 00000e72: NOT 00000e73: AND 00000e74: DUP4 00000e75: DUP1 00000e76: ADD 00000e77: OR 00000e78: DUP6 00000e79: SSTORE 00000e7a: PUSH2 0x0eab 00000e7d: JUMP 00000e7e: JUMPDEST 00000e7f: DUP3 00000e80: DUP1 00000e81: ADD 00000e82: PUSH1 0x01 00000e84: ADD 00000e85: DUP6 00000e86: SSTORE 00000e87: DUP3 00000e88: ISZERO 00000e89: PUSH2 0x0eab 00000e8c: JUMPI 00000e8d: SWAP2 00000e8e: DUP3 00000e8f: ADD 00000e90: JUMPDEST 00000e91: DUP3 00000e92: DUP2 00000e93: GT 00000e94: ISZERO 00000e95: PUSH2 0x0eab 00000e98: JUMPI 00000e99: DUP3 00000e9a: MLOAD 00000e9b: DUP3 00000e9c: SSTORE 00000e9d: SWAP2 00000e9e: PUSH1 0x20 00000ea0: ADD 00000ea1: SWAP2 00000ea2: SWAP1 00000ea3: PUSH1 0x01 00000ea5: ADD 00000ea6: SWAP1 00000ea7: PUSH2 0x0e90 00000eaa: JUMP 00000eab: JUMPDEST 00000eac: POP 00000ead: PUSH2 0x0eb7 00000eb0: SWAP3 00000eb1: SWAP2 00000eb2: POP 00000eb3: PUSH2 0x0ebb 00000eb6: JUMP 00000eb7: JUMPDEST 00000eb8: POP 00000eb9: SWAP1 00000eba: JUMP 00000ebb: JUMPDEST 00000ebc: PUSH2 0x07bc 00000ebf: SWAP2 00000ec0: SWAP1 00000ec1: JUMPDEST 00000ec2: DUP1 00000ec3: DUP3 00000ec4: GT 00000ec5: ISZERO 00000ec6: PUSH2 0x0eb7 00000ec9: JUMPI 00000eca: PUSH1 0x00 00000ecc: DUP2 00000ecd: SSTORE 00000ece: PUSH1 0x01 00000ed0: ADD 00000ed1: PUSH2 0x0ec1 00000ed4: JUMP 00000ed5: STOP 00000ed6: LOG1 00000ed7: PUSH6 0x627a7a723058 00000ede: KECCAK256 00000edf: CALLER 00000ee0: DIFFICULTY 00000ee1: SIGNEXTEND 00000ee2: ORIGIN 00000ee3: UNKNOWN(0x1F) 00000ee4: AND 00000ee5: UNKNOWN(0x22) 00000ee6: AND 00000ee7: UNKNOWN(0x4E) 00000ee8: SWAP8 00000ee9: BYTE 00000eea: EQ 00000eeb: UNKNOWN(0xED) 00000eec: PUSH12 0x9dc7dde76f74134175651bc4 00000ef9: UNKNOWN(0xBD) 00000efa: UNKNOWN(0xB9) 00000efb: LOG3 00000efc: UNKNOWN(0xE0) 00000efd: UNKNOWN(0x4B) 00000efe: UNKNOWN(0xEA) 00000eff: STOP 00000f00: UNKNOWN(0x29)
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x04dd2dea",
"selector": "0x04dd2dea",
"calldata_variants": [
"0x04dd2dea",
"0x04dd2dea0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1ae4dfb7",
"selector": "0x1ae4dfb7",
"calldata_variants": [
"0x1ae4dfb7",
"0x1ae4dfb70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1b7e0902",
"selector": "0x1b7e0902",
"calldata_variants": [
"0x1b7e0902",
"0x1b7e09020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x287ad8fa",
"selector": "0x287ad8fa",
"calldata_variants": [
"0x287ad8fa",
"0x287ad8fa0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4b419b5f",
"selector": "0x4b419b5f",
"calldata_variants": [
"0x4b419b5f",
"0x4b419b5f0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 3810,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x39680600654a7d12d9665fd81e54080739f9ab14e01cf89c21145e3cdb908e5f
call_targets:
0x22dccfa39dbe59cd3f27e6531b33b5101bb2a70d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x39680600654a7d12d9665fd81e54080739f9ab14e01cf89c21145e3cdb908e5f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x22dccfa39dbe59cd3f27e6531b33b5101bb2a70d"
],
"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": "0x04dd2dea",
"selector": "0x04dd2dea",
"calldata_variants": [
"0x04dd2dea",
"0x04dd2dea0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1ae4dfb7",
"selector": "0x1ae4dfb7",
"calldata_variants": [
"0x1ae4dfb7",
"0x1ae4dfb70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1b7e0902",
"selector": "0x1b7e0902",
"calldata_variants": [
"0x1b7e0902",
"0x1b7e09020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x287ad8fa",
"selector": "0x287ad8fa",
"calldata_variants": [
"0x287ad8fa",
"0x287ad8fa0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4b419b5f",
"selector": "0x4b419b5f",
"calldata_variants": [
"0x4b419b5f",
"0x4b419b5f0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1776,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2678,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 3810,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x39680600654a7d12d9665fd81e54080739f9ab14e01cf89c21145e3cdb908e5f
call_targets:
0x22dccfa39dbe59cd3f27e6531b33b5101bb2a70d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x39680600654a7d12d9665fd81e54080739f9ab14e01cf89c21145e3cdb908e5f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x22dccfa39dbe59cd3f27e6531b33b5101bb2a70d"
],
"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": "0x04dd2dea",
"selector": "0x04dd2dea",
"calldata_variants": [
"0x04dd2dea",
"0x04dd2dea0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1ae4dfb7",
"selector": "0x1ae4dfb7",
"calldata_variants": [
"0x1ae4dfb7",
"0x1ae4dfb70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1b7e0902",
"selector": "0x1b7e0902",
"calldata_variants": [
"0x1b7e0902",
"0x1b7e09020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x287ad8fa",
"selector": "0x287ad8fa",
"calldata_variants": [
"0x287ad8fa",
"0x287ad8fa0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4b419b5f",
"selector": "0x4b419b5f",
"calldata_variants": [
"0x4b419b5f",
"0x4b419b5f0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1776,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2678,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 3810,
"type": "tx_origin_used"
}
]
}
|