019b477e-d9f7-7396-bf93-7f5b745000ed
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 |
|---|---|---|---|---|
| 29387 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 29388 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 108229 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 108230 | capability.graph | complete | 1 / 3 | 1 week ago |
| 108231 | detector.run | complete | 1 / 3 | 1 week ago |
| 108232 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x40 00000002: PUSH1 0x80 00000004: DUP2 00000005: MSTORE 00000006: PUSH1 0x04 00000008: DUP1 00000009: CALLDATASIZE 0000000a: LT 0000000b: ISZERO 0000000c: PUSH2 0x0013 0000000f: JUMPI 00000010: PUSH0 00000011: DUP1 00000012: REVERT 00000013: JUMPDEST 00000014: PUSH0 00000015: CALLDATALOAD 00000016: PUSH1 0xe0 00000018: SHR 00000019: DUP1 0000001a: PUSH4 0x01bf6648 0000001f: EQ 00000020: PUSH2 0x0f2a 00000023: JUMPI 00000024: DUP1 00000025: PUSH4 0x06fdde03 0000002a: EQ 0000002b: PUSH2 0x0e35 0000002e: JUMPI 0000002f: DUP1 00000030: PUSH4 0x07d4eb04 00000035: EQ 00000036: PUSH2 0x0dfe 00000039: JUMPI 0000003a: DUP1 0000003b: PUSH4 0x0816ca42 00000040: EQ 00000041: PUSH2 0x0dfe 00000044: JUMPI 00000045: DUP1 00000046: PUSH4 0x095ea7b3 0000004b: EQ 0000004c: PUSH2 0x0d55 0000004f: JUMPI 00000050: DUP1 00000051: PUSH4 0x0e4355d4 00000056: EQ 00000057: PUSH2 0x0234 0000005a: JUMPI 0000005b: DUP1 0000005c: PUSH4 0x127d1d1a 00000061: EQ 00000062: PUSH2 0x0d32 00000065: JUMPI 00000066: DUP1 00000067: PUSH4 0x18160ddd 0000006c: EQ 0000006d: PUSH2 0x0d14 00000070: JUMPI 00000071: DUP1 00000072: PUSH4 0x23b872dd 00000077: EQ 00000078: PUSH2 0x0c23 0000007b: JUMPI 0000007c: DUP1 0000007d: PUSH4 0x2495a599 00000082: EQ 00000083: PUSH2 0x0be0 00000086: JUMPI 00000087: DUP1 00000088: PUSH4 0x313ce567 0000008d: EQ 0000008e: PUSH2 0x0bc5 00000091: JUMPI 00000092: DUP1 00000093: PUSH4 0x372c12b1 00000098: EQ 00000099: PUSH2 0x0b89 0000009c: JUMPI 0000009d: DUP1 0000009e: PUSH4 0x47ee0394 000000a3: EQ 000000a4: PUSH2 0x0b1c 000000a7: JUMPI 000000a8: DUP1 000000a9: PUSH4 0x5c7b79f5 000000ae: EQ 000000af: PUSH2 0x0921 000000b2: JUMPI 000000b3: DUP1 000000b4: PUSH4 0x70a08231 000000b9: EQ 000000ba: PUSH2 0x08eb 000000bd: JUMPI 000000be: DUP1 000000bf: PUSH4 0x715018a6 000000c4: EQ 000000c5: PUSH2 0x0890 000000c8: JUMPI 000000c9: DUP1 000000ca: PUSH4 0x7284168a 000000cf: EQ 000000d0: PUSH2 0x0853 000000d3: JUMPI 000000d4: DUP1 000000d5: PUSH4 0x7ce1bca8 000000da: EQ 000000db: PUSH2 0x0835 000000de: JUMPI 000000df: DUP1 000000e0: PUSH4 0x89e6bc38 000000e5: EQ 000000e6: PUSH2 0x07b6 000000e9: JUMPI 000000ea: DUP1 000000eb: PUSH4 0x8da5cb5b 000000f0: EQ 000000f1: PUSH2 0x078e 000000f4: JUMPI 000000f5: DUP1 000000f6: PUSH4 0x93a595f5 000000fb: EQ 000000fc: PUSH2 0x0672 000000ff: JUMPI 00000100: DUP1 00000101: PUSH4 0x95d89b41 00000106: EQ 00000107: PUSH2 0x056f 0000010a: JUMPI 0000010b: DUP1 0000010c: PUSH4 0x9e358be1 00000111: EQ 00000112: PUSH2 0x044c 00000115: JUMPI 00000116: DUP1 00000117: PUSH4 0xa9059cbb 0000011c: EQ 0000011d: PUSH2 0x041c 00000120: JUMPI 00000121: DUP1 00000122: PUSH4 0xc3296673 00000127: EQ 00000128: PUSH2 0x028e 0000012b: JUMPI 0000012c: DUP1 0000012d: PUSH4 0xcee011ea 00000132: EQ 00000133: PUSH2 0x0270 00000136: JUMPI 00000137: DUP1 00000138: PUSH4 0xd47310e6 0000013d: EQ 0000013e: PUSH2 0x0234 00000141: JUMPI 00000142: DUP1 00000143: PUSH4 0xdd62ed3e 00000148: EQ 00000149: PUSH2 0x01eb 0000014c: JUMPI 0000014d: PUSH4 0xf2fde38b 00000152: EQ 00000153: PUSH2 0x015a 00000156: JUMPI 00000157: PUSH0 00000158: DUP1 00000159: REVERT 0000015a: JUMPDEST 0000015b: CALLVALUE 0000015c: PUSH2 0x01e7 0000015f: JUMPI 00000160: PUSH1 0x20 00000162: CALLDATASIZE 00000163: PUSH1 0x03 00000165: NOT 00000166: ADD 00000167: SLT 00000168: PUSH2 0x01e7 0000016b: JUMPI 0000016c: PUSH2 0x0173 0000016f: PUSH2 0x0f94 00000172: JUMP 00000173: JUMPDEST 00000174: SWAP1 00000175: PUSH2 0x017c 00000178: PUSH2 0x10f9 0000017b: JUMP 0000017c: JUMPDEST 0000017d: PUSH1 0x01 0000017f: PUSH1 0x01 00000181: PUSH1 0xa0 00000183: SHL 00000184: SUB 00000185: SWAP2 00000186: DUP3 00000187: AND 00000188: SWAP3 00000189: DUP4 0000018a: ISZERO 0000018b: PUSH2 0x01d1 0000018e: JUMPI 0000018f: POP 00000190: POP 00000191: PUSH1 0x05 00000193: SLOAD 00000194: DUP3 00000195: PUSH12 0xffffffffffffffffffffffff 000001a2: PUSH1 0xa0 000001a4: SHL 000001a5: DUP3 000001a6: AND 000001a7: OR 000001a8: PUSH1 0x05 000001aa: SSTORE 000001ab: AND 000001ac: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000001cd: PUSH0 000001ce: DUP1 000001cf: LOG3 000001d0: STOP 000001d1: JUMPDEST 000001d2: SWAP1 000001d3: PUSH0 000001d4: PUSH1 0x24 000001d6: SWAP3 000001d7: MLOAD 000001d8: SWAP2 000001d9: PUSH4 0x1e4fbdf7 000001de: PUSH1 0xe0 000001e0: SHL 000001e1: DUP4 000001e2: MSTORE 000001e3: DUP3 000001e4: ADD 000001e5: MSTORE 000001e6: REVERT 000001e7: JUMPDEST 000001e8: PUSH0 000001e9: DUP1 000001ea: REVERT 000001eb: JUMPDEST 000001ec: DUP3 000001ed: CALLVALUE 000001ee: PUSH2 0x01e7 000001f1: JUMPI 000001f2: DUP1 000001f3: PUSH1 0x03 000001f5: NOT 000001f6: CALLDATASIZE 000001f7: ADD 000001f8: SLT 000001f9: PUSH2 0x01e7 000001fc: JUMPI 000001fd: PUSH1 0x20 000001ff: SWAP1 00000200: PUSH2 0x0207 00000203: PUSH2 0x0f94 00000206: JUMP 00000207: JUMPDEST 00000208: PUSH2 0x020f 0000020b: PUSH2 0x0faa 0000020e: JUMP 0000020f: JUMPDEST 00000210: SWAP1 00000211: PUSH1 0x01 00000213: DUP1 00000214: PUSH1 0xa0 00000216: SHL 00000217: SUB 00000218: DUP1 00000219: SWAP2 0000021a: AND 0000021b: PUSH0 0000021c: MSTORE 0000021d: PUSH1 0x01 0000021f: DUP5 00000220: MSTORE 00000221: DUP3 00000222: PUSH0 00000223: KECCAK256 00000224: SWAP2 00000225: AND 00000226: PUSH0 00000227: MSTORE 00000228: DUP3 00000229: MSTORE 0000022a: DUP1 0000022b: PUSH0 0000022c: KECCAK256 0000022d: SLOAD 0000022e: SWAP1 0000022f: MLOAD 00000230: SWAP1 00000231: DUP2 00000232: MSTORE 00000233: RETURN 00000234: JUMPDEST 00000235: DUP3 00000236: CALLVALUE 00000237: PUSH2 0x01e7 0000023a: JUMPI 0000023b: PUSH1 0x20 0000023d: CALLDATASIZE 0000023e: PUSH1 0x03 00000240: NOT 00000241: ADD 00000242: SLT 00000243: PUSH2 0x01e7 00000246: JUMPI 00000247: PUSH1 0x20 00000249: SWAP1 0000024a: PUSH1 0x01 0000024c: PUSH1 0x01 0000024e: PUSH1 0xa0 00000250: SHL 00000251: SUB 00000252: PUSH2 0x0259 00000255: PUSH2 0x0f94 00000258: JUMP 00000259: JUMPDEST 0000025a: AND 0000025b: PUSH0 0000025c: MSTORE 0000025d: PUSH1 0x0a 0000025f: DUP3 00000260: MSTORE 00000261: PUSH1 0xff 00000263: DUP2 00000264: PUSH0 00000265: KECCAK256 00000266: SLOAD 00000267: AND 00000268: SWAP1 00000269: MLOAD 0000026a: SWAP1 0000026b: ISZERO 0000026c: ISZERO 0000026d: DUP2 0000026e: MSTORE 0000026f: RETURN 00000270: JUMPDEST 00000271: DUP3 00000272: CALLVALUE 00000273: PUSH2 0x01e7 00000276: JUMPI 00000277: PUSH0 00000278: CALLDATASIZE 00000279: PUSH1 0x03 0000027b: NOT 0000027c: ADD 0000027d: SLT 0000027e: PUSH2 0x01e7 00000281: JUMPI 00000282: PUSH1 0x20 00000284: SWAP1 00000285: PUSH1 0x06 00000287: SLOAD 00000288: SWAP1 00000289: MLOAD 0000028a: SWAP1 0000028b: DUP2 0000028c: MSTORE 0000028d: RETURN 0000028e: JUMPDEST 0000028f: POP 00000290: PUSH1 0x20 00000292: CALLDATASIZE 00000293: PUSH1 0x03 00000295: NOT 00000296: ADD 00000297: SLT 00000298: PUSH2 0x01e7 0000029b: JUMPI 0000029c: DUP1 0000029d: CALLDATALOAD 0000029e: SWAP1 0000029f: CALLER 000002a0: PUSH0 000002a1: MSTORE 000002a2: PUSH1 0x09 000002a4: PUSH1 0x20 000002a6: MSTORE 000002a7: PUSH2 0x02b5 000002aa: PUSH1 0xff 000002ac: DUP5 000002ad: PUSH0 000002ae: KECCAK256 000002af: SLOAD 000002b0: AND 000002b1: PUSH2 0x103d 000002b4: JUMP 000002b5: JUMPDEST 000002b6: PUSH2 0x02be 000002b9: DUP3 000002ba: PUSH2 0x13af 000002bd: JUMP 000002be: JUMPDEST 000002bf: PUSH32 0x000000000000000000000000eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 000002e0: PUSH1 0x01 000002e2: PUSH1 0x01 000002e4: PUSH1 0xa0 000002e6: SHL 000002e7: SUB 000002e8: AND 000002e9: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 000002fe: DUP2 000002ff: SUB 00000300: PUSH2 0x038f 00000303: JUMPI 00000304: POP 00000305: CALLVALUE 00000306: LT 00000307: PUSH2 0x0357 0000030a: JUMPI 0000030b: POP 0000030c: PUSH2 0x0352 0000030f: SWAP1 00000310: PUSH32 0xd5df9b37b38c0b1a9dbea0a7b8383cc78f9bd743db408c795083eb83e122a36d 00000331: SWAP3 00000332: JUMPDEST 00000333: PUSH2 0x033c 00000336: DUP3 00000337: CALLER 00000338: PUSH2 0x1352 0000033b: JUMP 0000033c: JUMPDEST 0000033d: MLOAD 0000033e: CALLER 0000033f: DUP2 00000340: MSTORE 00000341: PUSH1 0x20 00000343: DUP2 00000344: ADD 00000345: SWAP2 00000346: SWAP1 00000347: SWAP2 00000348: MSTORE 00000349: SWAP1 0000034a: DUP2 0000034b: SWAP1 0000034c: PUSH1 0x40 0000034e: DUP3 0000034f: ADD 00000350: SWAP1 00000351: JUMP 00000352: JUMPDEST 00000353: SUB 00000354: SWAP1 00000355: LOG1 00000356: STOP 00000357: JUMPDEST 00000358: PUSH1 0x64 0000035a: SWAP1 0000035b: PUSH1 0x20 0000035d: DUP5 0000035e: MLOAD 0000035f: SWAP2 00000360: PUSH3 0x461bcd 00000364: PUSH1 0xe5 00000366: SHL 00000367: DUP4 00000368: MSTORE 00000369: DUP3 0000036a: ADD 0000036b: MSTORE 0000036c: PUSH1 0x12 0000036e: PUSH1 0x24 00000370: DUP3 00000371: ADD 00000372: MSTORE 00000373: PUSH18 0x125b9d985b1a590811551208185b5bdd5b9d 00000386: PUSH1 0x72 00000388: SHL 00000389: PUSH1 0x44 0000038b: DUP3 0000038c: ADD 0000038d: MSTORE 0000038e: REVERT 0000038f: JUMPDEST 00000390: SWAP1 00000391: SWAP2 00000392: DUP5 00000393: SWAP4 00000394: SWAP5 00000395: MLOAD 00000396: SWAP3 00000397: PUSH4 0x23b872dd 0000039c: PUSH1 0xe0 0000039e: SHL 0000039f: PUSH1 0x20 000003a1: DUP6 000003a2: ADD 000003a3: MSTORE 000003a4: CALLER 000003a5: PUSH1 0x24 000003a7: DUP6 000003a8: ADD 000003a9: MSTORE 000003aa: ADDRESS 000003ab: PUSH1 0x44 000003ad: DUP6 000003ae: ADD 000003af: MSTORE 000003b0: PUSH1 0x64 000003b2: DUP5 000003b3: ADD 000003b4: MSTORE 000003b5: PUSH1 0x64 000003b7: DUP4 000003b8: MSTORE 000003b9: PUSH1 0xa0 000003bb: DUP4 000003bc: ADD 000003bd: SWAP1 000003be: DUP4 000003bf: DUP3 000003c0: LT 000003c1: PUSH8 0xffffffffffffffff 000003ca: DUP4 000003cb: GT 000003cc: OR 000003cd: PUSH2 0x0409 000003d0: JUMPI 000003d1: POP 000003d2: PUSH32 0xd5df9b37b38c0b1a9dbea0a7b8383cc78f9bd743db408c795083eb83e122a36d 000003f3: SWAP5 000003f4: SWAP3 000003f5: DUP5 000003f6: SWAP3 000003f7: PUSH2 0x0404 000003fa: SWAP3 000003fb: PUSH2 0x0352 000003fe: SWAP7 000003ff: MSTORE 00000400: PUSH2 0x13fd 00000403: JUMP 00000404: JUMPDEST 00000405: PUSH2 0x0332 00000408: JUMP 00000409: JUMPDEST 0000040a: PUSH1 0x41 0000040c: SWAP1 0000040d: PUSH4 0x4e487b71 00000412: PUSH1 0xe0 00000414: SHL 00000415: PUSH0 00000416: MSTORE 00000417: MSTORE 00000418: PUSH1 0x24 0000041a: PUSH0 0000041b: REVERT 0000041c: JUMPDEST 0000041d: DUP3 0000041e: CALLVALUE 0000041f: PUSH2 0x01e7 00000422: JUMPI 00000423: DUP1 00000424: PUSH1 0x03 00000426: NOT 00000427: CALLDATASIZE 00000428: ADD 00000429: SLT 0000042a: PUSH2 0x01e7 0000042d: JUMPI 0000042e: PUSH1 0x20 00000430: SWAP1 00000431: PUSH2 0x0445 00000434: PUSH2 0x043b 00000437: PUSH2 0x0f94 0000043a: JUMP 0000043b: JUMPDEST 0000043c: PUSH1 0x24 0000043e: CALLDATALOAD 0000043f: SWAP1 00000440: CALLER 00000441: PUSH2 0x1125 00000444: JUMP 00000445: JUMPDEST 00000446: MLOAD 00000447: PUSH1 0x01 00000449: DUP2 0000044a: MSTORE 0000044b: RETURN 0000044c: JUMPDEST 0000044d: POP 0000044e: DUP2 0000044f: PUSH1 0x03 00000451: NOT 00000452: CALLDATASIZE 00000453: ADD 00000454: SLT 00000455: PUSH2 0x01e7 00000458: JUMPI 00000459: PUSH2 0x0460 0000045c: PUSH2 0x0f94 0000045f: JUMP 00000460: JUMPDEST 00000461: PUSH1 0x24 00000463: CALLDATALOAD 00000464: SWAP2 00000465: CALLER 00000466: PUSH0 00000467: MSTORE 00000468: PUSH1 0x0a 0000046a: PUSH1 0x20 0000046c: MSTORE 0000046d: PUSH2 0x047b 00000470: PUSH1 0xff 00000472: DUP6 00000473: PUSH0 00000474: KECCAK256 00000475: SLOAD 00000476: AND 00000477: PUSH2 0x107a 0000047a: JUMP 0000047b: JUMPDEST 0000047c: PUSH1 0x06 0000047e: SLOAD 0000047f: NUMBER 00000480: GT 00000481: PUSH2 0x0562 00000484: JUMPI 00000485: JUMPDEST 00000486: PUSH1 0x07 00000488: SLOAD 00000489: SWAP1 0000048a: PUSH9 0x1043561a8829300000 00000494: PUSH2 0x049d 00000497: DUP6 00000498: DUP5 00000499: PUSH2 0x10d8 0000049c: JUMP 0000049d: JUMPDEST 0000049e: GT 0000049f: PUSH2 0x051f 000004a2: JUMPI 000004a3: POP 000004a4: PUSH32 0xd5c776eab9418d89c040ffee59f2310d225f5ff682191bcee59b0413a7fd4835 000004c5: SWAP4 000004c6: PUSH2 0x04d2 000004c9: DUP5 000004ca: PUSH2 0x0352 000004cd: SWAP4 000004ce: PUSH2 0x10d8 000004d1: JUMP 000004d2: JUMPDEST 000004d3: PUSH1 0x07 000004d5: SSTORE 000004d6: PUSH2 0x04df 000004d9: DUP5 000004da: DUP5 000004db: PUSH2 0x1352 000004de: JUMP 000004df: JUMPDEST 000004e0: PUSH1 0x01 000004e2: DUP1 000004e3: PUSH1 0xa0 000004e5: SHL 000004e6: SUB 000004e7: DUP4 000004e8: AND 000004e9: PUSH0 000004ea: MSTORE 000004eb: PUSH1 0x08 000004ed: PUSH1 0x20 000004ef: MSTORE 000004f0: DUP1 000004f1: PUSH0 000004f2: KECCAK256 000004f3: PUSH2 0x04fd 000004f6: DUP6 000004f7: DUP3 000004f8: SLOAD 000004f9: PUSH2 0x10d8 000004fc: JUMP 000004fd: JUMPDEST 000004fe: SWAP1 000004ff: SSTORE 00000500: MLOAD 00000501: PUSH1 0x01 00000503: PUSH1 0x01 00000505: PUSH1 0xa0 00000507: SHL 00000508: SUB 00000509: SWAP1 0000050a: SWAP3 0000050b: AND 0000050c: DUP3 0000050d: MSTORE 0000050e: PUSH1 0x20 00000510: DUP3 00000511: ADD 00000512: SWAP3 00000513: SWAP1 00000514: SWAP3 00000515: MSTORE 00000516: SWAP1 00000517: DUP2 00000518: SWAP1 00000519: PUSH1 0x40 0000051b: DUP3 0000051c: ADD 0000051d: SWAP1 0000051e: JUMP 0000051f: JUMPDEST 00000520: PUSH1 0x64 00000522: SWAP1 00000523: PUSH1 0x20 00000525: DUP7 00000526: MLOAD 00000527: SWAP2 00000528: PUSH3 0x461bcd 0000052c: PUSH1 0xe5 0000052e: SHL 0000052f: DUP4 00000530: MSTORE 00000531: DUP3 00000532: ADD 00000533: MSTORE 00000534: PUSH1 0x1d 00000536: PUSH1 0x24 00000538: DUP3 00000539: ADD 0000053a: MSTORE 0000053b: PUSH32 0x4c6f616e206c696d69742070657220626c6f636b206578636565646564000000 0000055c: PUSH1 0x44 0000055e: DUP3 0000055f: ADD 00000560: MSTORE 00000561: REVERT 00000562: JUMPDEST 00000563: NUMBER 00000564: PUSH1 0x06 00000566: SSTORE 00000567: PUSH0 00000568: PUSH1 0x07 0000056a: SSTORE 0000056b: PUSH2 0x0485 0000056e: JUMP 0000056f: JUMPDEST 00000570: POP 00000571: SWAP1 00000572: CALLVALUE 00000573: PUSH2 0x01e7 00000576: JUMPI 00000577: PUSH0 00000578: CALLDATASIZE 00000579: PUSH1 0x03 0000057b: NOT 0000057c: ADD 0000057d: SLT 0000057e: PUSH2 0x01e7 00000581: JUMPI 00000582: DUP1 00000583: MLOAD 00000584: SWAP1 00000585: PUSH0 00000586: SWAP3 00000587: DUP1 00000588: SLOAD 00000589: SWAP1 0000058a: PUSH1 0x01 0000058c: DUP3 0000058d: PUSH1 0x01 0000058f: SHR 00000590: SWAP2 00000591: PUSH1 0x01 00000593: DUP5 00000594: AND 00000595: SWAP4 00000596: DUP5 00000597: ISZERO 00000598: PUSH2 0x0668 0000059b: JUMPI 0000059c: JUMPDEST 0000059d: PUSH1 0x20 0000059f: SWAP5 000005a0: DUP6 000005a1: DUP6 000005a2: LT 000005a3: DUP2 000005a4: EQ 000005a5: PUSH2 0x0655 000005a8: JUMPI 000005a9: DUP5 000005aa: DUP9 000005ab: MSTORE 000005ac: SWAP1 000005ad: DUP2 000005ae: ISZERO 000005af: PUSH2 0x0633 000005b2: JUMPI 000005b3: POP 000005b4: PUSH1 0x01 000005b6: EQ 000005b7: PUSH2 0x05da 000005ba: JUMPI 000005bb: JUMPDEST 000005bc: PUSH2 0x05d6 000005bf: DUP7 000005c0: DUP7 000005c1: PUSH2 0x05cc 000005c4: DUP3 000005c5: DUP12 000005c6: SUB 000005c7: DUP4 000005c8: PUSH2 0x1007 000005cb: JUMP 000005cc: JUMPDEST 000005cd: MLOAD 000005ce: SWAP2 000005cf: DUP3 000005d0: SWAP2 000005d1: DUP3 000005d2: PUSH2 0x0fc0 000005d5: JUMP 000005d6: JUMPDEST 000005d7: SUB 000005d8: SWAP1 000005d9: RETURN 000005da: JUMPDEST 000005db: PUSH0 000005dc: SWAP1 000005dd: DUP2 000005de: MSTORE 000005df: SWAP3 000005e0: SWAP6 000005e1: POP 000005e2: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19b 00000603: JUMPDEST 00000604: DUP3 00000605: DUP5 00000606: LT 00000607: PUSH2 0x0620 0000060a: JUMPI 0000060b: POP 0000060c: POP 0000060d: POP 0000060e: DUP3 0000060f: PUSH2 0x05d6 00000612: SWAP5 00000613: PUSH2 0x05cc 00000616: SWAP3 00000617: DUP3 00000618: ADD 00000619: ADD 0000061a: SWAP5 0000061b: PUSH0 0000061c: PUSH2 0x05bb 0000061f: JUMP 00000620: JUMPDEST 00000621: DUP1 00000622: SLOAD 00000623: DUP7 00000624: DUP6 00000625: ADD 00000626: DUP9 00000627: ADD 00000628: MSTORE 00000629: SWAP3 0000062a: DUP7 0000062b: ADD 0000062c: SWAP3 0000062d: DUP2 0000062e: ADD 0000062f: PUSH2 0x0603 00000632: JUMP 00000633: JUMPDEST 00000634: PUSH1 0xff 00000636: NOT 00000637: AND 00000638: DUP8 00000639: DUP7 0000063a: ADD 0000063b: MSTORE 0000063c: POP 0000063d: POP 0000063e: POP 0000063f: ISZERO 00000640: ISZERO 00000641: PUSH1 0x05 00000643: SHL 00000644: DUP4 00000645: ADD 00000646: ADD 00000647: SWAP3 00000648: POP 00000649: PUSH2 0x05cc 0000064c: DUP3 0000064d: PUSH2 0x05d6 00000650: PUSH0 00000651: PUSH2 0x05bb 00000654: JUMP 00000655: JUMPDEST 00000656: PUSH1 0x22 00000658: DUP4 00000659: PUSH4 0x4e487b71 0000065e: PUSH1 0xe0 00000660: SHL 00000661: PUSH0 00000662: MSTORE 00000663: MSTORE 00000664: PUSH1 0x24 00000666: PUSH0 00000667: REVERT 00000668: JUMPDEST 00000669: SWAP3 0000066a: PUSH1 0x7f 0000066c: AND 0000066d: SWAP3 0000066e: PUSH2 0x059c 00000671: JUMP 00000672: JUMPDEST 00000673: POP 00000674: CALLVALUE 00000675: PUSH2 0x01e7 00000678: JUMPI 00000679: DUP2 0000067a: PUSH1 0x03 0000067c: NOT 0000067d: CALLDATASIZE 0000067e: ADD 0000067f: SLT 00000680: PUSH2 0x01e7 00000683: JUMPI 00000684: PUSH2 0x068b 00000687: PUSH2 0x0f94 0000068a: JUMP 0000068b: JUMPDEST 0000068c: PUSH1 0x24 0000068e: CALLDATALOAD 0000068f: SWAP2 00000690: CALLER 00000691: PUSH0 00000692: MSTORE 00000693: PUSH1 0x0a 00000695: PUSH1 0x20 00000697: MSTORE 00000698: PUSH2 0x06a6 0000069b: PUSH1 0xff 0000069d: DUP6 0000069e: PUSH0 0000069f: KECCAK256 000006a0: SLOAD 000006a1: AND 000006a2: PUSH2 0x107a 000006a5: JUMP 000006a6: JUMPDEST 000006a7: PUSH1 0x01 000006a9: PUSH1 0x01 000006ab: PUSH1 0xa0 000006ad: SHL 000006ae: SUB 000006af: DUP3 000006b0: AND 000006b1: PUSH0 000006b2: DUP2 000006b3: DUP2 000006b4: MSTORE 000006b5: PUSH1 0x08 000006b7: PUSH1 0x20 000006b9: MSTORE 000006ba: DUP6 000006bb: SWAP1 000006bc: KECCAK256 000006bd: SLOAD 000006be: DUP5 000006bf: GT 000006c0: PUSH2 0x073f 000006c3: JUMPI 000006c4: PUSH0 000006c5: MSTORE 000006c6: PUSH1 0x08 000006c8: PUSH1 0x20 000006ca: MSTORE 000006cb: DUP4 000006cc: PUSH0 000006cd: KECCAK256 000006ce: DUP1 000006cf: SLOAD 000006d0: SWAP2 000006d1: DUP5 000006d2: DUP4 000006d3: SUB 000006d4: SWAP3 000006d5: DUP4 000006d6: GT 000006d7: PUSH2 0x072c 000006da: JUMPI 000006db: POP 000006dc: SSTORE 000006dd: PUSH32 0xc200a1f31dd659e356e0f112c82558e25f49f7b0f84438691cd96f5cb3558823 000006fe: SWAP3 000006ff: PUSH2 0x0352 00000702: SWAP1 00000703: PUSH2 0x070c 00000706: DUP5 00000707: DUP5 00000708: PUSH2 0x1258 0000070b: JUMP 0000070c: JUMPDEST 0000070d: MLOAD 0000070e: PUSH1 0x01 00000710: PUSH1 0x01 00000712: PUSH1 0xa0 00000714: SHL 00000715: SUB 00000716: SWAP1 00000717: SWAP3 00000718: AND 00000719: DUP3 0000071a: MSTORE 0000071b: PUSH1 0x20 0000071d: DUP3 0000071e: ADD 0000071f: SWAP3 00000720: SWAP1 00000721: SWAP3 00000722: MSTORE 00000723: SWAP1 00000724: DUP2 00000725: SWAP1 00000726: PUSH1 0x40 00000728: DUP3 00000729: ADD 0000072a: SWAP1 0000072b: JUMP 0000072c: JUMPDEST 0000072d: PUSH1 0x11 0000072f: SWAP1 00000730: PUSH4 0x4e487b71 00000735: PUSH1 0xe0 00000737: SHL 00000738: PUSH0 00000739: MSTORE 0000073a: MSTORE 0000073b: PUSH1 0x24 0000073d: PUSH0 0000073e: REVERT 0000073f: JUMPDEST 00000740: DUP5 00000741: MLOAD 00000742: PUSH3 0x461bcd 00000746: PUSH1 0xe5 00000748: SHL 00000749: DUP2 0000074a: MSTORE 0000074b: PUSH1 0x20 0000074d: DUP2 0000074e: DUP5 0000074f: ADD 00000750: MSTORE 00000751: PUSH1 0x24 00000753: DUP1 00000754: DUP3 00000755: ADD 00000756: MSTORE 00000757: PUSH32 0x446563726561736520616d6f756e7420657863656564732063757272656e7420 00000778: PUSH1 0x44 0000077a: DUP3 0000077b: ADD 0000077c: MSTORE 0000077d: PUSH4 0x1919589d 00000782: PUSH1 0xe2 00000784: SHL 00000785: PUSH1 0x64 00000787: DUP3 00000788: ADD 00000789: MSTORE 0000078a: PUSH1 0x84 0000078c: SWAP1 0000078d: REVERT 0000078e: JUMPDEST 0000078f: DUP3 00000790: CALLVALUE 00000791: PUSH2 0x01e7 00000794: JUMPI 00000795: PUSH0 00000796: CALLDATASIZE 00000797: PUSH1 0x03 00000799: NOT 0000079a: ADD 0000079b: SLT 0000079c: PUSH2 0x01e7 0000079f: JUMPI 000007a0: PUSH1 0x05 000007a2: SLOAD 000007a3: SWAP1 000007a4: MLOAD 000007a5: PUSH1 0x01 000007a7: PUSH1 0x01 000007a9: PUSH1 0xa0 000007ab: SHL 000007ac: SUB 000007ad: SWAP1 000007ae: SWAP2 000007af: AND 000007b0: DUP2 000007b1: MSTORE 000007b2: PUSH1 0x20 000007b4: SWAP1 000007b5: RETURN 000007b6: JUMPDEST 000007b7: DUP3 000007b8: CALLVALUE 000007b9: PUSH2 0x01e7 000007bc: JUMPI 000007bd: DUP1 000007be: PUSH1 0x03 000007c0: NOT 000007c1: CALLDATASIZE 000007c2: ADD 000007c3: SLT 000007c4: PUSH2 0x01e7 000007c7: JUMPI 000007c8: PUSH2 0x07cf 000007cb: PUSH2 0x0f94 000007ce: JUMP 000007cf: JUMPDEST 000007d0: SWAP1 000007d1: PUSH1 0x24 000007d3: CALLDATALOAD 000007d4: DUP1 000007d5: ISZERO 000007d6: ISZERO 000007d7: DUP1 000007d8: SWAP2 000007d9: SUB 000007da: PUSH2 0x01e7 000007dd: JUMPI 000007de: PUSH32 0x309e49506b5bfa680b6edfbee91c1314f386b28cfb0cb8d2980bab7af0ef4927 000007ff: SWAP3 00000800: PUSH2 0x0807 00000803: PUSH2 0x10f9 00000806: JUMP 00000807: JUMPDEST 00000808: PUSH1 0x01 0000080a: DUP1 0000080b: PUSH1 0xa0 0000080d: SHL 0000080e: SUB 0000080f: AND 00000810: SWAP1 00000811: DUP2 00000812: PUSH0 00000813: MSTORE 00000814: PUSH1 0x0a 00000816: PUSH1 0x20 00000818: MSTORE 00000819: DUP3 0000081a: PUSH0 0000081b: KECCAK256 0000081c: PUSH1 0xff 0000081e: NOT 0000081f: DUP2 00000820: SLOAD 00000821: AND 00000822: PUSH1 0xff 00000824: DUP4 00000825: AND 00000826: OR 00000827: SWAP1 00000828: SSTORE 00000829: DUP3 0000082a: MLOAD 0000082b: SWAP2 0000082c: DUP3 0000082d: MSTORE 0000082e: PUSH1 0x20 00000830: DUP3 00000831: ADD 00000832: MSTORE 00000833: LOG1 00000834: STOP 00000835: JUMPDEST 00000836: DUP3 00000837: CALLVALUE 00000838: PUSH2 0x01e7 0000083b: JUMPI 0000083c: PUSH0 0000083d: CALLDATASIZE 0000083e: PUSH1 0x03 00000840: NOT 00000841: ADD 00000842: SLT 00000843: PUSH2 0x01e7 00000846: JUMPI 00000847: PUSH1 0x20 00000849: SWAP1 0000084a: PUSH1 0x07 0000084c: SLOAD 0000084d: SWAP1 0000084e: MLOAD 0000084f: SWAP1 00000850: DUP2 00000851: MSTORE 00000852: RETURN 00000853: JUMPDEST 00000854: DUP3 00000855: CALLVALUE 00000856: PUSH2 0x01e7 00000859: JUMPI 0000085a: PUSH0 0000085b: CALLDATASIZE 0000085c: PUSH1 0x03 0000085e: NOT 0000085f: ADD 00000860: SLT 00000861: PUSH2 0x01e7 00000864: JUMPI 00000865: PUSH1 0x20 00000867: SWAP1 00000868: MLOAD 00000869: PUSH1 0xff 0000086b: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000012 0000088c: AND 0000088d: DUP2 0000088e: MSTORE 0000088f: RETURN 00000890: JUMPDEST 00000891: CALLVALUE 00000892: PUSH2 0x01e7 00000895: JUMPI 00000896: PUSH0 00000897: CALLDATASIZE 00000898: PUSH1 0x03 0000089a: NOT 0000089b: ADD 0000089c: SLT 0000089d: PUSH2 0x01e7 000008a0: JUMPI 000008a1: PUSH2 0x08a8 000008a4: PUSH2 0x10f9 000008a7: JUMP 000008a8: JUMPDEST 000008a9: PUSH1 0x05 000008ab: DUP1 000008ac: SLOAD 000008ad: PUSH1 0x01 000008af: PUSH1 0x01 000008b1: PUSH1 0xa0 000008b3: SHL 000008b4: SUB 000008b5: NOT 000008b6: DUP2 000008b7: AND 000008b8: SWAP1 000008b9: SWAP2 000008ba: SSTORE 000008bb: PUSH0 000008bc: SWAP1 000008bd: PUSH1 0x01 000008bf: PUSH1 0x01 000008c1: PUSH1 0xa0 000008c3: SHL 000008c4: SUB 000008c5: AND 000008c6: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000008e7: DUP3 000008e8: DUP1 000008e9: LOG3 000008ea: STOP 000008eb: JUMPDEST 000008ec: DUP3 000008ed: CALLVALUE 000008ee: PUSH2 0x01e7 000008f1: JUMPI 000008f2: PUSH1 0x20 000008f4: CALLDATASIZE 000008f5: PUSH1 0x03 000008f7: NOT 000008f8: ADD 000008f9: SLT 000008fa: PUSH2 0x01e7 000008fd: JUMPI 000008fe: PUSH1 0x20 00000900: SWAP1 00000901: PUSH1 0x01 00000903: PUSH1 0x01 00000905: PUSH1 0xa0 00000907: SHL 00000908: SUB 00000909: PUSH2 0x0910 0000090c: PUSH2 0x0f94 0000090f: JUMP 00000910: JUMPDEST 00000911: AND 00000912: PUSH0 00000913: MSTORE 00000914: PUSH0 00000915: DUP3 00000916: MSTORE 00000917: DUP1 00000918: PUSH0 00000919: KECCAK256 0000091a: SLOAD 0000091b: SWAP1 0000091c: MLOAD 0000091d: SWAP1 0000091e: DUP2 0000091f: MSTORE 00000920: RETURN 00000921: JUMPDEST 00000922: POP 00000923: SWAP1 00000924: CALLVALUE 00000925: PUSH2 0x01e7 00000928: JUMPI 00000929: PUSH1 0x20 0000092b: SWAP2 0000092c: DUP3 0000092d: PUSH1 0x03 0000092f: NOT 00000930: CALLDATASIZE 00000931: ADD 00000932: SLT 00000933: PUSH2 0x01e7 00000936: JUMPI 00000937: DUP1 00000938: CALLDATALOAD 00000939: SWAP3 0000093a: CALLER 0000093b: PUSH0 0000093c: MSTORE 0000093d: PUSH1 0x09 0000093f: DUP2 00000940: MSTORE 00000941: PUSH2 0x094f 00000944: PUSH1 0xff 00000946: DUP5 00000947: PUSH0 00000948: KECCAK256 00000949: SLOAD 0000094a: AND 0000094b: PUSH2 0x103d 0000094e: JUMP 0000094f: JUMPDEST 00000950: PUSH2 0x0959 00000953: DUP5 00000954: CALLER 00000955: PUSH2 0x1258 00000958: JUMP 00000959: JUMPDEST 0000095a: PUSH2 0x0962 0000095d: DUP5 0000095e: PUSH2 0x13af 00000961: JUMP 00000962: JUMPDEST 00000963: PUSH32 0x000000000000000000000000eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 00000984: PUSH1 0x01 00000986: PUSH1 0x01 00000988: PUSH1 0xa0 0000098a: SHL 0000098b: SUB 0000098c: AND 0000098d: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 000009a2: DUP2 000009a3: SUB 000009a4: PUSH2 0x0ab6 000009a7: JUMPI 000009a8: POP 000009a9: DUP1 000009aa: SELFBALANCE 000009ab: LT 000009ac: PUSH2 0x0a75 000009af: JUMPI 000009b0: PUSH0 000009b1: DUP1 000009b2: DUP1 000009b3: DUP1 000009b4: SWAP4 000009b5: CALLER 000009b6: GAS 000009b7: CALL 000009b8: RETURNDATASIZE 000009b9: ISZERO 000009ba: PUSH2 0x0a70 000009bd: JUMPI 000009be: RETURNDATASIZE 000009bf: PUSH8 0xffffffffffffffff 000009c8: DUP2 000009c9: GT 000009ca: PUSH2 0x0a5d 000009cd: JUMPI 000009ce: DUP5 000009cf: MLOAD 000009d0: SWAP1 000009d1: PUSH2 0x09e3 000009d4: PUSH1 0x1f 000009d6: DUP3 000009d7: ADD 000009d8: PUSH1 0x1f 000009da: NOT 000009db: AND 000009dc: DUP6 000009dd: ADD 000009de: DUP4 000009df: PUSH2 0x1007 000009e2: JUMP 000009e3: JUMPDEST 000009e4: DUP2 000009e5: MSTORE 000009e6: PUSH0 000009e7: DUP4 000009e8: RETURNDATASIZE 000009e9: SWAP3 000009ea: ADD 000009eb: RETURNDATACOPY 000009ec: JUMPDEST 000009ed: ISZERO 000009ee: PUSH2 0x0a2b 000009f1: JUMPI 000009f2: POP 000009f3: POP 000009f4: MLOAD 000009f5: CALLER 000009f6: DUP2 000009f7: MSTORE 000009f8: PUSH1 0x20 000009fa: DUP2 000009fb: ADD 000009fc: SWAP2 000009fd: SWAP1 000009fe: SWAP2 000009ff: MSTORE 00000a00: PUSH32 0xab933177d8753a66dd869151cf9aa88649e067b7a4e2dad9d5d192d61cf593b0 00000a21: SWAP1 00000a22: DUP1 00000a23: PUSH1 0x40 00000a25: DUP2 00000a26: ADD 00000a27: PUSH2 0x0352 00000a2a: JUMP 00000a2b: JUMPDEST 00000a2c: PUSH1 0x64 00000a2e: SWAP3 00000a2f: MLOAD 00000a30: SWAP2 00000a31: PUSH3 0x461bcd 00000a35: PUSH1 0xe5 00000a37: SHL 00000a38: DUP4 00000a39: MSTORE 00000a3a: DUP3 00000a3b: ADD 00000a3c: MSTORE 00000a3d: PUSH1 0x0f 00000a3f: PUSH1 0x24 00000a41: DUP3 00000a42: ADD 00000a43: MSTORE 00000a44: PUSH15 0x151c985b9cd9995c8819985a5b1959 00000a54: PUSH1 0x8a 00000a56: SHL 00000a57: PUSH1 0x44 00000a59: DUP3 00000a5a: ADD 00000a5b: MSTORE 00000a5c: REVERT 00000a5d: JUMPDEST 00000a5e: PUSH1 0x41 00000a60: DUP5 00000a61: PUSH4 0x4e487b71 00000a66: PUSH1 0xe0 00000a68: SHL 00000a69: PUSH0 00000a6a: MSTORE 00000a6b: MSTORE 00000a6c: PUSH1 0x24 00000a6e: PUSH0 00000a6f: REVERT 00000a70: JUMPDEST 00000a71: PUSH2 0x09ec 00000a74: JUMP 00000a75: JUMPDEST 00000a76: POP 00000a77: PUSH1 0x64 00000a79: SWAP3 00000a7a: MLOAD 00000a7b: SWAP2 00000a7c: PUSH3 0x461bcd 00000a80: PUSH1 0xe5 00000a82: SHL 00000a83: DUP4 00000a84: MSTORE 00000a85: DUP3 00000a86: ADD 00000a87: MSTORE 00000a88: PUSH1 0x18 00000a8a: PUSH1 0x24 00000a8c: DUP3 00000a8d: ADD 00000a8e: MSTORE 00000a8f: PUSH32 0x496e73756666696369656e74204554482062616c616e63650000000000000000 00000ab0: PUSH1 0x44 00000ab2: DUP3 00000ab3: ADD 00000ab4: MSTORE 00000ab5: REVERT 00000ab6: JUMPDEST 00000ab7: DUP5 00000ab8: MLOAD 00000ab9: PUSH4 0xa9059cbb 00000abe: PUSH1 0xe0 00000ac0: SHL 00000ac1: SWAP4 00000ac2: DUP2 00000ac3: ADD 00000ac4: SWAP4 00000ac5: SWAP1 00000ac6: SWAP4 00000ac7: MSTORE 00000ac8: CALLER 00000ac9: PUSH1 0x24 00000acb: DUP5 00000acc: ADD 00000acd: MSTORE 00000ace: PUSH1 0x44 00000ad0: DUP1 00000ad1: DUP5 00000ad2: ADD 00000ad3: SWAP3 00000ad4: SWAP1 00000ad5: SWAP3 00000ad6: MSTORE 00000ad7: SWAP1 00000ad8: DUP3 00000ad9: MSTORE 00000ada: PUSH32 0xab933177d8753a66dd869151cf9aa88649e067b7a4e2dad9d5d192d61cf593b0 00000afb: SWAP5 00000afc: PUSH2 0x0352 00000aff: SWAP5 00000b00: SWAP1 00000b01: SWAP4 00000b02: POP 00000b03: SWAP2 00000b04: PUSH2 0x0b17 00000b07: SWAP2 00000b08: PUSH2 0x0b12 00000b0b: PUSH1 0x64 00000b0d: DUP4 00000b0e: PUSH2 0x1007 00000b11: JUMP 00000b12: JUMPDEST 00000b13: PUSH2 0x13fd 00000b16: JUMP 00000b17: JUMPDEST 00000b18: PUSH2 0x033c 00000b1b: JUMP 00000b1c: JUMPDEST 00000b1d: DUP3 00000b1e: CALLVALUE 00000b1f: PUSH2 0x01e7 00000b22: JUMPI 00000b23: PUSH1 0x20 00000b25: CALLDATASIZE 00000b26: PUSH1 0x03 00000b28: NOT 00000b29: ADD 00000b2a: SLT 00000b2b: PUSH2 0x01e7 00000b2e: JUMPI 00000b2f: PUSH1 0x20 00000b31: PUSH32 0xbf309892cce19064e6d63ba3339f893b199c8cb5041fc6731702cb18e805d291 00000b52: SWAP2 00000b53: PUSH2 0x0b5a 00000b56: PUSH2 0x0f94 00000b59: JUMP 00000b5a: JUMPDEST 00000b5b: PUSH2 0x0b62 00000b5e: PUSH2 0x10f9 00000b61: JUMP 00000b62: JUMPDEST 00000b63: PUSH1 0x01 00000b65: PUSH1 0x01 00000b67: PUSH1 0xa0 00000b69: SHL 00000b6a: SUB 00000b6b: AND 00000b6c: PUSH0 00000b6d: DUP2 00000b6e: DUP2 00000b6f: MSTORE 00000b70: PUSH1 0x09 00000b72: DUP5 00000b73: MSTORE 00000b74: DUP3 00000b75: SWAP1 00000b76: KECCAK256 00000b77: DUP1 00000b78: SLOAD 00000b79: PUSH1 0xff 00000b7b: NOT 00000b7c: AND 00000b7d: PUSH1 0x01 00000b7f: OR 00000b80: SWAP1 00000b81: SSTORE 00000b82: SWAP1 00000b83: MLOAD 00000b84: SWAP1 00000b85: DUP2 00000b86: MSTORE 00000b87: LOG1 00000b88: STOP 00000b89: JUMPDEST 00000b8a: DUP3 00000b8b: CALLVALUE 00000b8c: PUSH2 0x01e7 00000b8f: JUMPI 00000b90: PUSH1 0x20 00000b92: CALLDATASIZE 00000b93: PUSH1 0x03 00000b95: NOT 00000b96: ADD 00000b97: SLT 00000b98: PUSH2 0x01e7 00000b9b: JUMPI 00000b9c: PUSH1 0x20 00000b9e: SWAP1 00000b9f: PUSH1 0x01 00000ba1: PUSH1 0x01 00000ba3: PUSH1 0xa0 00000ba5: SHL 00000ba6: SUB 00000ba7: PUSH2 0x0bae 00000baa: PUSH2 0x0f94 00000bad: JUMP 00000bae: JUMPDEST 00000baf: AND 00000bb0: PUSH0 00000bb1: MSTORE 00000bb2: PUSH1 0x09 00000bb4: DUP3 00000bb5: MSTORE 00000bb6: PUSH1 0xff 00000bb8: DUP2 00000bb9: PUSH0 00000bba: KECCAK256 00000bbb: SLOAD 00000bbc: AND 00000bbd: SWAP1 00000bbe: MLOAD 00000bbf: SWAP1 00000bc0: ISZERO 00000bc1: ISZERO 00000bc2: DUP2 00000bc3: MSTORE 00000bc4: RETURN 00000bc5: JUMPDEST 00000bc6: DUP3 00000bc7: CALLVALUE 00000bc8: PUSH2 0x01e7 00000bcb: JUMPI 00000bcc: PUSH0 00000bcd: CALLDATASIZE 00000bce: PUSH1 0x03 00000bd0: NOT 00000bd1: ADD 00000bd2: SLT 00000bd3: PUSH2 0x01e7 00000bd6: JUMPI 00000bd7: PUSH1 0x20 00000bd9: SWAP1 00000bda: MLOAD 00000bdb: PUSH1 0x12 00000bdd: DUP2 00000bde: MSTORE 00000bdf: RETURN 00000be0: JUMPDEST 00000be1: DUP3 00000be2: CALLVALUE 00000be3: PUSH2 0x01e7 00000be6: JUMPI 00000be7: PUSH0 00000be8: CALLDATASIZE 00000be9: PUSH1 0x03 00000beb: NOT 00000bec: ADD 00000bed: SLT 00000bee: PUSH2 0x01e7 00000bf1: JUMPI 00000bf2: MLOAD 00000bf3: PUSH32 0x000000000000000000000000eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 00000c14: PUSH1 0x01 00000c16: PUSH1 0x01 00000c18: PUSH1 0xa0 00000c1a: SHL 00000c1b: SUB 00000c1c: AND 00000c1d: DUP2 00000c1e: MSTORE 00000c1f: PUSH1 0x20 00000c21: SWAP1 00000c22: RETURN 00000c23: JUMPDEST 00000c24: POP 00000c25: CALLVALUE 00000c26: PUSH2 0x01e7 00000c29: JUMPI 00000c2a: PUSH1 0x60 00000c2c: CALLDATASIZE 00000c2d: PUSH1 0x03 00000c2f: NOT 00000c30: ADD 00000c31: SLT 00000c32: PUSH2 0x01e7 00000c35: JUMPI 00000c36: PUSH2 0x0c3d 00000c39: PUSH2 0x0f94 00000c3c: JUMP 00000c3d: JUMPDEST 00000c3e: PUSH2 0x0c45 00000c41: PUSH2 0x0faa 00000c44: JUMP 00000c45: JUMPDEST 00000c46: SWAP1 00000c47: PUSH1 0x44 00000c49: CALLDATALOAD 00000c4a: SWAP3 00000c4b: PUSH1 0x01 00000c4d: DUP1 00000c4e: PUSH1 0xa0 00000c50: SHL 00000c51: SUB 00000c52: DUP3 00000c53: AND 00000c54: DUP1 00000c55: PUSH0 00000c56: MSTORE 00000c57: PUSH1 0x01 00000c59: PUSH1 0x20 00000c5b: MSTORE 00000c5c: DUP6 00000c5d: PUSH0 00000c5e: KECCAK256 00000c5f: CALLER 00000c60: PUSH0 00000c61: MSTORE 00000c62: PUSH1 0x20 00000c64: MSTORE 00000c65: DUP6 00000c66: PUSH0 00000c67: KECCAK256 00000c68: SLOAD 00000c69: SWAP2 00000c6a: PUSH0 00000c6b: NOT 00000c6c: DUP4 00000c6d: LT 00000c6e: PUSH2 0x0c80 00000c71: JUMPI 00000c72: JUMPDEST 00000c73: PUSH1 0x20 00000c75: DUP8 00000c76: PUSH2 0x0445 00000c79: DUP9 00000c7a: DUP9 00000c7b: DUP9 00000c7c: PUSH2 0x1125 00000c7f: JUMP 00000c80: JUMPDEST 00000c81: DUP6 00000c82: DUP4 00000c83: LT 00000c84: PUSH2 0x0ce8 00000c87: JUMPI 00000c88: DUP2 00000c89: ISZERO 00000c8a: PUSH2 0x0cd2 00000c8d: JUMPI 00000c8e: CALLER 00000c8f: ISZERO 00000c90: PUSH2 0x0cbc 00000c93: JUMPI 00000c94: POP 00000c95: PUSH0 00000c96: SWAP1 00000c97: DUP2 00000c98: MSTORE 00000c99: PUSH1 0x01 00000c9b: PUSH1 0x20 00000c9d: SWAP1 00000c9e: DUP2 00000c9f: MSTORE 00000ca0: DUP7 00000ca1: DUP3 00000ca2: KECCAK256 00000ca3: CALLER 00000ca4: DUP4 00000ca5: MSTORE 00000ca6: DUP2 00000ca7: MSTORE 00000ca8: SWAP1 00000ca9: DUP7 00000caa: SWAP1 00000cab: KECCAK256 00000cac: SWAP2 00000cad: DUP6 00000cae: SWAP1 00000caf: SUB 00000cb0: SWAP1 00000cb1: SWAP2 00000cb2: SSTORE 00000cb3: DUP3 00000cb4: SWAP1 00000cb5: PUSH2 0x0445 00000cb8: PUSH2 0x0c72 00000cbb: JUMP 00000cbc: JUMPDEST 00000cbd: PUSH1 0x24 00000cbf: SWAP1 00000cc0: PUSH0 00000cc1: DUP9 00000cc2: MLOAD 00000cc3: SWAP2 00000cc4: PUSH4 0x4a1406b1 00000cc9: PUSH1 0xe1 00000ccb: SHL 00000ccc: DUP4 00000ccd: MSTORE 00000cce: DUP3 00000ccf: ADD 00000cd0: MSTORE 00000cd1: REVERT 00000cd2: JUMPDEST 00000cd3: PUSH1 0x24 00000cd5: SWAP1 00000cd6: PUSH0 00000cd7: DUP9 00000cd8: MLOAD 00000cd9: SWAP2 00000cda: PUSH4 0xe602df05 00000cdf: PUSH1 0xe0 00000ce1: SHL 00000ce2: DUP4 00000ce3: MSTORE 00000ce4: DUP3 00000ce5: ADD 00000ce6: MSTORE 00000ce7: REVERT 00000ce8: JUMPDEST 00000ce9: DUP7 00000cea: MLOAD 00000ceb: PUSH4 0x7dc7a0d9 00000cf0: PUSH1 0xe1 00000cf2: SHL 00000cf3: DUP2 00000cf4: MSTORE 00000cf5: CALLER 00000cf6: SWAP2 00000cf7: DUP2 00000cf8: ADD 00000cf9: SWAP2 00000cfa: DUP3 00000cfb: MSTORE 00000cfc: PUSH1 0x20 00000cfe: DUP3 00000cff: ADD 00000d00: SWAP4 00000d01: SWAP1 00000d02: SWAP4 00000d03: MSTORE 00000d04: PUSH1 0x40 00000d06: DUP2 00000d07: ADD 00000d08: DUP7 00000d09: SWAP1 00000d0a: MSTORE 00000d0b: DUP3 00000d0c: SWAP2 00000d0d: POP 00000d0e: PUSH1 0x60 00000d10: ADD 00000d11: SUB 00000d12: SWAP1 00000d13: REVERT 00000d14: JUMPDEST 00000d15: DUP3 00000d16: CALLVALUE 00000d17: PUSH2 0x01e7 00000d1a: JUMPI 00000d1b: PUSH0 00000d1c: CALLDATASIZE 00000d1d: PUSH1 0x03 00000d1f: NOT 00000d20: ADD 00000d21: SLT 00000d22: PUSH2 0x01e7 00000d25: JUMPI 00000d26: PUSH1 0x20 00000d28: SWAP1 00000d29: PUSH1 0x02 00000d2b: SLOAD 00000d2c: SWAP1 00000d2d: MLOAD 00000d2e: SWAP1 00000d2f: DUP2 00000d30: MSTORE 00000d31: RETURN 00000d32: JUMPDEST 00000d33: DUP3 00000d34: CALLVALUE 00000d35: PUSH2 0x01e7 00000d38: JUMPI 00000d39: PUSH0 00000d3a: CALLDATASIZE 00000d3b: PUSH1 0x03 00000d3d: NOT 00000d3e: ADD 00000d3f: SLT 00000d40: PUSH2 0x01e7 00000d43: JUMPI 00000d44: PUSH1 0x20 00000d46: SWAP1 00000d47: MLOAD 00000d48: PUSH9 0x1043561a8829300000 00000d52: DUP2 00000d53: MSTORE 00000d54: RETURN 00000d55: JUMPDEST 00000d56: POP 00000d57: SWAP1 00000d58: CALLVALUE 00000d59: PUSH2 0x01e7 00000d5c: JUMPI 00000d5d: DUP1 00000d5e: PUSH1 0x03 00000d60: NOT 00000d61: CALLDATASIZE 00000d62: ADD 00000d63: SLT 00000d64: PUSH2 0x01e7 00000d67: JUMPI 00000d68: PUSH2 0x0d6f 00000d6b: PUSH2 0x0f94 00000d6e: JUMP 00000d6f: JUMPDEST 00000d70: PUSH1 0x24 00000d72: CALLDATALOAD 00000d73: SWAP1 00000d74: CALLER 00000d75: ISZERO 00000d76: PUSH2 0x0de8 00000d79: JUMPI 00000d7a: PUSH1 0x01 00000d7c: PUSH1 0x01 00000d7e: PUSH1 0xa0 00000d80: SHL 00000d81: SUB 00000d82: AND 00000d83: SWAP1 00000d84: DUP2 00000d85: ISZERO 00000d86: PUSH2 0x0dd2 00000d89: JUMPI 00000d8a: PUSH1 0x20 00000d8c: SWAP4 00000d8d: POP 00000d8e: CALLER 00000d8f: PUSH0 00000d90: MSTORE 00000d91: PUSH1 0x01 00000d93: DUP5 00000d94: MSTORE 00000d95: DUP3 00000d96: PUSH0 00000d97: KECCAK256 00000d98: DUP3 00000d99: PUSH0 00000d9a: MSTORE 00000d9b: DUP5 00000d9c: MSTORE 00000d9d: DUP1 00000d9e: DUP4 00000d9f: PUSH0 00000da0: KECCAK256 00000da1: SSTORE 00000da2: DUP3 00000da3: MLOAD 00000da4: SWAP1 00000da5: DUP2 00000da6: MSTORE 00000da7: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000dc8: DUP5 00000dc9: CALLER 00000dca: SWAP3 00000dcb: LOG3 00000dcc: MLOAD 00000dcd: PUSH1 0x01 00000dcf: DUP2 00000dd0: MSTORE 00000dd1: RETURN 00000dd2: JUMPDEST 00000dd3: DUP3 00000dd4: MLOAD 00000dd5: PUSH4 0x4a1406b1 00000dda: PUSH1 0xe1 00000ddc: SHL 00000ddd: DUP2 00000dde: MSTORE 00000ddf: PUSH0 00000de0: DUP2 00000de1: DUP7 00000de2: ADD 00000de3: MSTORE 00000de4: PUSH1 0x24 00000de6: SWAP1 00000de7: REVERT 00000de8: JUMPDEST 00000de9: DUP3 00000dea: MLOAD 00000deb: PUSH4 0xe602df05 00000df0: PUSH1 0xe0 00000df2: SHL 00000df3: DUP2 00000df4: MSTORE 00000df5: PUSH0 00000df6: DUP2 00000df7: DUP7 00000df8: ADD 00000df9: MSTORE 00000dfa: PUSH1 0x24 00000dfc: SWAP1 00000dfd: REVERT 00000dfe: JUMPDEST 00000dff: DUP3 00000e00: CALLVALUE 00000e01: PUSH2 0x01e7 00000e04: JUMPI 00000e05: PUSH1 0x20 00000e07: CALLDATASIZE 00000e08: PUSH1 0x03 00000e0a: NOT 00000e0b: ADD 00000e0c: SLT 00000e0d: PUSH2 0x01e7 00000e10: JUMPI 00000e11: PUSH1 0x20 00000e13: SWAP1 00000e14: PUSH1 0x01 00000e16: PUSH1 0x01 00000e18: PUSH1 0xa0 00000e1a: SHL 00000e1b: SUB 00000e1c: PUSH2 0x0e23 00000e1f: PUSH2 0x0f94 00000e22: JUMP 00000e23: JUMPDEST 00000e24: AND 00000e25: PUSH0 00000e26: MSTORE 00000e27: PUSH1 0x08 00000e29: DUP3 00000e2a: MSTORE 00000e2b: DUP1 00000e2c: PUSH0 00000e2d: KECCAK256 00000e2e: SLOAD 00000e2f: SWAP1 00000e30: MLOAD 00000e31: SWAP1 00000e32: DUP2 00000e33: MSTORE 00000e34: RETURN 00000e35: JUMPDEST 00000e36: POP 00000e37: SWAP1 00000e38: CALLVALUE 00000e39: PUSH2 0x01e7 00000e3c: JUMPI 00000e3d: PUSH0 00000e3e: CALLDATASIZE 00000e3f: PUSH1 0x03 00000e41: NOT 00000e42: ADD 00000e43: SLT 00000e44: PUSH2 0x01e7 00000e47: JUMPI 00000e48: DUP1 00000e49: MLOAD 00000e4a: SWAP1 00000e4b: PUSH0 00000e4c: SWAP3 00000e4d: PUSH1 0x03 00000e4f: SLOAD 00000e50: PUSH1 0x01 00000e52: DUP2 00000e53: PUSH1 0x01 00000e55: SHR 00000e56: SWAP2 00000e57: PUSH1 0x01 00000e59: DUP2 00000e5a: AND 00000e5b: DUP1 00000e5c: ISZERO 00000e5d: PUSH2 0x0f20 00000e60: JUMPI 00000e61: JUMPDEST 00000e62: PUSH1 0x20 00000e64: SWAP5 00000e65: DUP6 00000e66: DUP6 00000e67: LT 00000e68: DUP3 00000e69: EQ 00000e6a: PUSH2 0x0f0d 00000e6d: JUMPI 00000e6e: POP 00000e6f: DUP4 00000e70: DUP8 00000e71: MSTORE 00000e72: SWAP1 00000e73: DUP2 00000e74: ISZERO 00000e75: PUSH2 0x0eed 00000e78: JUMPI 00000e79: POP 00000e7a: PUSH1 0x01 00000e7c: EQ 00000e7d: PUSH2 0x0e93 00000e80: JUMPI 00000e81: JUMPDEST 00000e82: POP 00000e83: POP 00000e84: POP 00000e85: PUSH2 0x05cc 00000e88: DUP3 00000e89: PUSH2 0x05d6 00000e8c: SWAP5 00000e8d: SUB 00000e8e: DUP4 00000e8f: PUSH2 0x1007 00000e92: JUMP 00000e93: JUMPDEST 00000e94: PUSH1 0x03 00000e96: PUSH0 00000e97: SWAP1 00000e98: DUP2 00000e99: MSTORE 00000e9a: SWAP3 00000e9b: SWAP6 00000e9c: POP 00000e9d: PUSH32 0xc2575a0e9e593c00f959f8c92f12db2869c3395a3b0502d05e2516446f71f85b 00000ebe: JUMPDEST 00000ebf: DUP3 00000ec0: DUP5 00000ec1: LT 00000ec2: PUSH2 0x0eda 00000ec5: JUMPI 00000ec6: POP 00000ec7: POP 00000ec8: POP 00000ec9: DUP3 00000eca: PUSH2 0x05d6 00000ecd: SWAP5 00000ece: PUSH2 0x05cc 00000ed1: SWAP3 00000ed2: DUP3 00000ed3: ADD 00000ed4: ADD 00000ed5: SWAP5 00000ed6: PUSH2 0x0e81 00000ed9: JUMP 00000eda: JUMPDEST 00000edb: DUP1 00000edc: SLOAD 00000edd: DUP7 00000ede: DUP6 00000edf: ADD 00000ee0: DUP9 00000ee1: ADD 00000ee2: MSTORE 00000ee3: SWAP3 00000ee4: DUP7 00000ee5: ADD 00000ee6: SWAP3 00000ee7: DUP2 00000ee8: ADD 00000ee9: PUSH2 0x0ebe 00000eec: JUMP 00000eed: JUMPDEST 00000eee: PUSH1 0xff 00000ef0: NOT 00000ef1: AND 00000ef2: DUP7 00000ef3: DUP6 00000ef4: ADD 00000ef5: MSTORE 00000ef6: POP 00000ef7: POP 00000ef8: ISZERO 00000ef9: ISZERO 00000efa: PUSH1 0x05 00000efc: SHL 00000efd: DUP4 00000efe: ADD 00000eff: ADD 00000f00: SWAP3 00000f01: POP 00000f02: PUSH2 0x05cc 00000f05: DUP3 00000f06: PUSH2 0x05d6 00000f09: PUSH2 0x0e81 00000f0c: JUMP 00000f0d: JUMPDEST 00000f0e: PUSH1 0x22 00000f10: SWAP1 00000f11: PUSH4 0x4e487b71 00000f16: PUSH1 0xe0 00000f18: SHL 00000f19: PUSH0 00000f1a: MSTORE 00000f1b: MSTORE 00000f1c: PUSH1 0x24 00000f1e: PUSH0 00000f1f: REVERT 00000f20: JUMPDEST 00000f21: SWAP3 00000f22: PUSH1 0x7f 00000f24: AND 00000f25: SWAP3 00000f26: PUSH2 0x0e61 00000f29: JUMP 00000f2a: JUMPDEST 00000f2b: DUP3 00000f2c: CALLVALUE 00000f2d: PUSH2 0x01e7 00000f30: JUMPI 00000f31: PUSH1 0x20 00000f33: CALLDATASIZE 00000f34: PUSH1 0x03 00000f36: NOT 00000f37: ADD 00000f38: SLT 00000f39: PUSH2 0x01e7 00000f3c: JUMPI 00000f3d: PUSH1 0x20 00000f3f: PUSH32 0xdb0d54f6e7ff4a52bdc49b4c8d9ff245f409fee25c2c0a0a72ece14e2ddf4cfc 00000f60: SWAP2 00000f61: PUSH2 0x0f68 00000f64: PUSH2 0x0f94 00000f67: JUMP 00000f68: JUMPDEST 00000f69: PUSH2 0x0f70 00000f6c: PUSH2 0x10f9 00000f6f: JUMP 00000f70: JUMPDEST 00000f71: PUSH1 0x01 00000f73: PUSH1 0x01 00000f75: PUSH1 0xa0 00000f77: SHL 00000f78: SUB 00000f79: AND 00000f7a: PUSH0 00000f7b: DUP2 00000f7c: DUP2 00000f7d: MSTORE 00000f7e: PUSH1 0x09 00000f80: DUP5 00000f81: MSTORE 00000f82: DUP3 00000f83: SWAP1 00000f84: KECCAK256 00000f85: DUP1 00000f86: SLOAD 00000f87: PUSH1 0xff 00000f89: NOT 00000f8a: AND 00000f8b: SWAP1 00000f8c: SSTORE 00000f8d: SWAP1 00000f8e: MLOAD 00000f8f: SWAP1 00000f90: DUP2 00000f91: MSTORE 00000f92: LOG1 00000f93: STOP 00000f94: JUMPDEST 00000f95: PUSH1 0x04 00000f97: CALLDATALOAD 00000f98: SWAP1 00000f99: PUSH1 0x01 00000f9b: PUSH1 0x01 00000f9d: PUSH1 0xa0 00000f9f: SHL 00000fa0: SUB 00000fa1: DUP3 00000fa2: AND 00000fa3: DUP3 00000fa4: SUB 00000fa5: PUSH2 0x01e7 00000fa8: JUMPI 00000fa9: JUMP 00000faa: JUMPDEST 00000fab: PUSH1 0x24 00000fad: CALLDATALOAD 00000fae: SWAP1 00000faf: PUSH1 0x01 00000fb1: PUSH1 0x01 00000fb3: PUSH1 0xa0 00000fb5: SHL 00000fb6: SUB 00000fb7: DUP3 00000fb8: AND 00000fb9: DUP3 00000fba: SUB 00000fbb: PUSH2 0x01e7 00000fbe: JUMPI 00000fbf: JUMP 00000fc0: JUMPDEST 00000fc1: PUSH1 0x20 00000fc3: DUP1 00000fc4: DUP3 00000fc5: MSTORE 00000fc6: DUP3 00000fc7: MLOAD 00000fc8: DUP2 00000fc9: DUP4 00000fca: ADD 00000fcb: DUP2 00000fcc: SWAP1 00000fcd: MSTORE 00000fce: SWAP1 00000fcf: SWAP4 00000fd0: SWAP3 00000fd1: PUSH0 00000fd2: JUMPDEST 00000fd3: DUP3 00000fd4: DUP2 00000fd5: LT 00000fd6: PUSH2 0x0ff3 00000fd9: JUMPI 00000fda: POP 00000fdb: POP 00000fdc: PUSH1 0x40 00000fde: SWAP3 00000fdf: SWAP4 00000fe0: POP 00000fe1: PUSH0 00000fe2: DUP4 00000fe3: DUP3 00000fe4: DUP5 00000fe5: ADD 00000fe6: ADD 00000fe7: MSTORE 00000fe8: PUSH1 0x1f 00000fea: DUP1 00000feb: NOT 00000fec: SWAP2 00000fed: ADD 00000fee: AND 00000fef: ADD 00000ff0: ADD 00000ff1: SWAP1 00000ff2: JUMP 00000ff3: JUMPDEST 00000ff4: DUP2 00000ff5: DUP2 00000ff6: ADD 00000ff7: DUP7 00000ff8: ADD 00000ff9: MLOAD 00000ffa: DUP5 00000ffb: DUP3 00000ffc: ADD 00000ffd: PUSH1 0x40 00000fff: ADD 00001000: MSTORE 00001001: DUP6 00001002: ADD 00001003: PUSH2 0x0fd2 00001006: JUMP 00001007: JUMPDEST 00001008: SWAP1 00001009: PUSH1 0x1f 0000100b: DUP1 0000100c: NOT 0000100d: SWAP2 0000100e: ADD 0000100f: AND 00001010: DUP2 00001011: ADD 00001012: SWAP1 00001013: DUP2 00001014: LT 00001015: PUSH8 0xffffffffffffffff 0000101e: DUP3 0000101f: GT 00001020: OR 00001021: PUSH2 0x1029 00001024: JUMPI 00001025: PUSH1 0x40 00001027: MSTORE 00001028: JUMP 00001029: JUMPDEST 0000102a: PUSH4 0x4e487b71 0000102f: PUSH1 0xe0 00001031: SHL 00001032: PUSH0 00001033: MSTORE 00001034: PUSH1 0x41 00001036: PUSH1 0x04 00001038: MSTORE 00001039: PUSH1 0x24 0000103b: PUSH0 0000103c: REVERT 0000103d: JUMPDEST 0000103e: ISZERO 0000103f: PUSH2 0x1044 00001042: JUMPI 00001043: JUMP 00001044: JUMPDEST 00001045: PUSH1 0x40 00001047: MLOAD 00001048: PUSH3 0x461bcd 0000104c: PUSH1 0xe5 0000104e: SHL 0000104f: DUP2 00001050: MSTORE 00001051: PUSH1 0x20 00001053: PUSH1 0x04 00001055: DUP3 00001056: ADD 00001057: MSTORE 00001058: PUSH1 0x0e 0000105a: PUSH1 0x24 0000105c: DUP3 0000105d: ADD 0000105e: MSTORE 0000105f: PUSH14 0x13db9b1e4815da1a5d19531a5cdd 0000106e: PUSH1 0x92 00001070: SHL 00001071: PUSH1 0x44 00001073: DUP3 00001074: ADD 00001075: MSTORE 00001076: PUSH1 0x64 00001078: SWAP1 00001079: REVERT 0000107a: JUMPDEST 0000107b: ISZERO 0000107c: PUSH2 0x1081 0000107f: JUMPI 00001080: JUMP 00001081: JUMPDEST 00001082: PUSH1 0x40 00001084: MLOAD 00001085: PUSH3 0x461bcd 00001089: PUSH1 0xe5 0000108b: SHL 0000108c: DUP2 0000108d: MSTORE 0000108e: PUSH1 0x20 00001090: PUSH1 0x04 00001092: DUP3 00001093: ADD 00001094: MSTORE 00001095: PUSH1 0x29 00001097: PUSH1 0x24 00001099: DUP3 0000109a: ADD 0000109b: MSTORE 0000109c: PUSH32 0x4f6e6c792076616c696420666163746f72792063616e2063616c6c2074686973 000010bd: PUSH1 0x44 000010bf: DUP3 000010c0: ADD 000010c1: MSTORE 000010c2: PUSH9 0x10333ab731ba34b7b7 000010cc: PUSH1 0xb9 000010ce: SHL 000010cf: PUSH1 0x64 000010d1: DUP3 000010d2: ADD 000010d3: MSTORE 000010d4: PUSH1 0x84 000010d6: SWAP1 000010d7: REVERT 000010d8: JUMPDEST 000010d9: SWAP2 000010da: SWAP1 000010db: DUP3 000010dc: ADD 000010dd: DUP1 000010de: SWAP3 000010df: GT 000010e0: PUSH2 0x10e5 000010e3: JUMPI 000010e4: JUMP 000010e5: JUMPDEST 000010e6: PUSH4 0x4e487b71 000010eb: PUSH1 0xe0 000010ed: SHL 000010ee: PUSH0 000010ef: MSTORE 000010f0: PUSH1 0x11 000010f2: PUSH1 0x04 000010f4: MSTORE 000010f5: PUSH1 0x24 000010f7: PUSH0 000010f8: REVERT 000010f9: JUMPDEST 000010fa: PUSH1 0x05 000010fc: SLOAD 000010fd: PUSH1 0x01 000010ff: PUSH1 0x01 00001101: PUSH1 0xa0 00001103: SHL 00001104: SUB 00001105: AND 00001106: CALLER 00001107: SUB 00001108: PUSH2 0x110d 0000110b: JUMPI 0000110c: JUMP 0000110d: JUMPDEST 0000110e: PUSH1 0x40 00001110: MLOAD 00001111: PUSH4 0x118cdaa7 00001116: PUSH1 0xe0 00001118: SHL 00001119: DUP2 0000111a: MSTORE 0000111b: CALLER 0000111c: PUSH1 0x04 0000111e: DUP3 0000111f: ADD 00001120: MSTORE 00001121: PUSH1 0x24 00001123: SWAP1 00001124: REVERT 00001125: JUMPDEST 00001126: SWAP3 00001127: SWAP2 00001128: SWAP1 00001129: PUSH1 0x01 0000112b: PUSH1 0x01 0000112d: PUSH1 0xa0 0000112f: SHL 00001130: SUB 00001131: DUP1 00001132: DUP6 00001133: AND 00001134: SWAP2 00001135: DUP3 00001136: ISZERO 00001137: PUSH2 0x1240 0000113a: JUMPI 0000113b: AND 0000113c: SWAP2 0000113d: DUP3 0000113e: ISZERO 0000113f: PUSH2 0x1228 00001142: JUMPI 00001143: DUP2 00001144: PUSH0 00001145: MSTORE 00001146: PUSH1 0x20 00001148: SWAP1 00001149: PUSH0 0000114a: DUP3 0000114b: MSTORE 0000114c: PUSH1 0x40 0000114e: DUP1 0000114f: PUSH0 00001150: KECCAK256 00001151: SLOAD 00001152: PUSH1 0x08 00001154: DUP5 00001155: MSTORE 00001156: PUSH2 0x1162 00001159: DUP3 0000115a: PUSH0 0000115b: KECCAK256 0000115c: SLOAD 0000115d: DUP5 0000115e: PUSH2 0x10d8 00001161: JUMP 00001162: JUMPDEST 00001163: GT 00001164: PUSH2 0x11ed 00001167: JUMPI 00001168: DUP4 00001169: PUSH0 0000116a: MSTORE 0000116b: PUSH0 0000116c: DUP4 0000116d: MSTORE 0000116e: DUP1 0000116f: PUSH0 00001170: KECCAK256 00001171: SLOAD 00001172: SWAP7 00001173: DUP3 00001174: DUP9 00001175: LT 00001176: PUSH2 0x11be 00001179: JUMPI 0000117a: POP 0000117b: DUP2 0000117c: DUP5 0000117d: SWAP6 0000117e: SWAP7 0000117f: SWAP8 00001180: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000011a1: SWAP6 000011a2: PUSH0 000011a3: MSTORE 000011a4: PUSH0 000011a5: DUP6 000011a6: MSTORE 000011a7: SUB 000011a8: DUP2 000011a9: PUSH0 000011aa: KECCAK256 000011ab: SSTORE 000011ac: DUP6 000011ad: PUSH0 000011ae: MSTORE 000011af: DUP1 000011b0: PUSH0 000011b1: KECCAK256 000011b2: DUP3 000011b3: DUP2 000011b4: SLOAD 000011b5: ADD 000011b6: SWAP1 000011b7: SSTORE 000011b8: MLOAD 000011b9: SWAP1 000011ba: DUP2 000011bb: MSTORE 000011bc: LOG3 000011bd: JUMP 000011be: JUMPDEST 000011bf: SWAP1 000011c0: MLOAD 000011c1: PUSH4 0x391434e3 000011c6: PUSH1 0xe2 000011c8: SHL 000011c9: DUP2 000011ca: MSTORE 000011cb: PUSH1 0x01 000011cd: PUSH1 0x01 000011cf: PUSH1 0xa0 000011d1: SHL 000011d2: SUB 000011d3: SWAP1 000011d4: SWAP2 000011d5: AND 000011d6: PUSH1 0x04 000011d8: DUP3 000011d9: ADD 000011da: MSTORE 000011db: PUSH1 0x24 000011dd: DUP2 000011de: ADD 000011df: DUP8 000011e0: SWAP1 000011e1: MSTORE 000011e2: PUSH1 0x44 000011e4: DUP2 000011e5: ADD 000011e6: DUP3 000011e7: SWAP1 000011e8: MSTORE 000011e9: PUSH1 0x64 000011eb: SWAP1 000011ec: REVERT 000011ed: JUMPDEST 000011ee: PUSH0 000011ef: DUP5 000011f0: DUP2 000011f1: MSTORE 000011f2: PUSH1 0x08 000011f4: DUP5 000011f5: MSTORE 000011f6: DUP2 000011f7: SWAP1 000011f8: KECCAK256 000011f9: SLOAD 000011fa: SWAP1 000011fb: MLOAD 000011fc: PUSH4 0x1b113061 00001201: PUSH1 0xe0 00001203: SHL 00001204: DUP2 00001205: MSTORE 00001206: PUSH1 0x01 00001208: PUSH1 0x01 0000120a: PUSH1 0xa0 0000120c: SHL 0000120d: SUB 0000120e: DUP9 0000120f: AND 00001210: PUSH1 0x04 00001212: DUP3 00001213: ADD 00001214: MSTORE 00001215: PUSH1 0x24 00001217: DUP2 00001218: ADD 00001219: SWAP2 0000121a: SWAP1 0000121b: SWAP2 0000121c: MSTORE 0000121d: PUSH1 0x44 0000121f: DUP2 00001220: ADD 00001221: DUP3 00001222: SWAP1 00001223: MSTORE 00001224: PUSH1 0x64 00001226: SWAP1 00001227: REVERT 00001228: JUMPDEST 00001229: PUSH1 0x40 0000122b: MLOAD 0000122c: PUSH4 0xec442f05 00001231: PUSH1 0xe0 00001233: SHL 00001234: DUP2 00001235: MSTORE 00001236: PUSH0 00001237: PUSH1 0x04 00001239: DUP3 0000123a: ADD 0000123b: MSTORE 0000123c: PUSH1 0x24 0000123e: SWAP1 0000123f: REVERT 00001240: JUMPDEST 00001241: PUSH1 0x40 00001243: MLOAD 00001244: PUSH4 0x4b637e8f 00001249: PUSH1 0xe1 0000124b: SHL 0000124c: DUP2 0000124d: MSTORE 0000124e: PUSH0 0000124f: PUSH1 0x04 00001251: DUP3 00001252: ADD 00001253: MSTORE 00001254: PUSH1 0x24 00001256: SWAP1 00001257: REVERT 00001258: JUMPDEST 00001259: PUSH1 0x01 0000125b: PUSH1 0x01 0000125d: PUSH1 0xa0 0000125f: SHL 00001260: SUB 00001261: DUP2 00001262: AND 00001263: SWAP2 00001264: DUP3 00001265: ISZERO 00001266: PUSH2 0x1240 00001269: JUMPI 0000126a: DUP3 0000126b: PUSH0 0000126c: MSTORE 0000126d: PUSH1 0x20 0000126f: SWAP2 00001270: PUSH0 00001271: DUP4 00001272: MSTORE 00001273: PUSH1 0x40 00001275: SWAP1 00001276: DUP2 00001277: PUSH0 00001278: KECCAK256 00001279: SLOAD 0000127a: PUSH1 0x08 0000127c: DUP6 0000127d: MSTORE 0000127e: PUSH2 0x128a 00001281: DUP4 00001282: PUSH0 00001283: KECCAK256 00001284: SLOAD 00001285: DUP6 00001286: PUSH2 0x10d8 00001289: JUMP 0000128a: JUMPDEST 0000128b: GT 0000128c: PUSH2 0x1315 0000128f: JUMPI 00001290: DUP5 00001291: PUSH0 00001292: MSTORE 00001293: PUSH0 00001294: DUP5 00001295: MSTORE 00001296: DUP2 00001297: PUSH0 00001298: KECCAK256 00001299: SLOAD 0000129a: SWAP1 0000129b: DUP4 0000129c: DUP3 0000129d: LT 0000129e: PUSH2 0x12e4 000012a1: JUMPI 000012a2: POP 000012a3: SWAP2 000012a4: DUP5 000012a5: SWAP4 000012a6: SWAP2 000012a7: DUP2 000012a8: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000012c9: SWAP5 000012ca: PUSH0 000012cb: SWAP8 000012cc: DUP9 000012cd: MSTORE 000012ce: DUP8 000012cf: DUP6 000012d0: MSTORE 000012d1: SUB 000012d2: DUP2 000012d3: DUP8 000012d4: KECCAK256 000012d5: SSTORE 000012d6: DUP2 000012d7: PUSH1 0x02 000012d9: SLOAD 000012da: SUB 000012db: PUSH1 0x02 000012dd: SSTORE 000012de: MLOAD 000012df: SWAP1 000012e0: DUP2 000012e1: MSTORE 000012e2: LOG3 000012e3: JUMP 000012e4: JUMPDEST 000012e5: DUP3 000012e6: MLOAD 000012e7: PUSH4 0x391434e3 000012ec: PUSH1 0xe2 000012ee: SHL 000012ef: DUP2 000012f0: MSTORE 000012f1: PUSH1 0x01 000012f3: PUSH1 0x01 000012f5: PUSH1 0xa0 000012f7: SHL 000012f8: SUB 000012f9: SWAP2 000012fa: SWAP1 000012fb: SWAP2 000012fc: AND 000012fd: PUSH1 0x04 000012ff: DUP3 00001300: ADD 00001301: MSTORE 00001302: PUSH1 0x24 00001304: DUP2 00001305: ADD 00001306: SWAP2 00001307: SWAP1 00001308: SWAP2 00001309: MSTORE 0000130a: PUSH1 0x44 0000130c: DUP2 0000130d: ADD 0000130e: DUP4 0000130f: SWAP1 00001310: MSTORE 00001311: PUSH1 0x64 00001313: SWAP1 00001314: REVERT 00001315: JUMPDEST 00001316: PUSH0 00001317: DUP6 00001318: DUP2 00001319: MSTORE 0000131a: PUSH1 0x08 0000131c: DUP6 0000131d: MSTORE 0000131e: DUP3 0000131f: SWAP1 00001320: KECCAK256 00001321: SLOAD 00001322: SWAP2 00001323: MLOAD 00001324: PUSH4 0x1b113061 00001329: PUSH1 0xe0 0000132b: SHL 0000132c: DUP2 0000132d: MSTORE 0000132e: PUSH1 0x01 00001330: PUSH1 0x01 00001332: PUSH1 0xa0 00001334: SHL 00001335: SUB 00001336: SWAP2 00001337: SWAP1 00001338: SWAP2 00001339: AND 0000133a: PUSH1 0x04 0000133c: DUP3 0000133d: ADD 0000133e: MSTORE 0000133f: PUSH1 0x24 00001341: DUP2 00001342: ADD 00001343: SWAP2 00001344: SWAP1 00001345: SWAP2 00001346: MSTORE 00001347: PUSH1 0x44 00001349: DUP2 0000134a: ADD 0000134b: DUP3 0000134c: SWAP1 0000134d: MSTORE 0000134e: PUSH1 0x64 00001350: SWAP1 00001351: REVERT 00001352: JUMPDEST 00001353: PUSH1 0x01 00001355: PUSH1 0x01 00001357: PUSH1 0xa0 00001359: SHL 0000135a: SUB 0000135b: AND 0000135c: SWAP1 0000135d: DUP2 0000135e: ISZERO 0000135f: PUSH2 0x1228 00001362: JUMPI 00001363: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001384: PUSH1 0x20 00001386: DUP3 00001387: PUSH2 0x1393 0000138a: PUSH0 0000138b: SWAP5 0000138c: PUSH1 0x02 0000138e: SLOAD 0000138f: PUSH2 0x10d8 00001392: JUMP 00001393: JUMPDEST 00001394: PUSH1 0x02 00001396: SSTORE 00001397: DUP5 00001398: DUP5 00001399: MSTORE 0000139a: DUP4 0000139b: DUP3 0000139c: MSTORE 0000139d: PUSH1 0x40 0000139f: DUP5 000013a0: KECCAK256 000013a1: DUP2 000013a2: DUP2 000013a3: SLOAD 000013a4: ADD 000013a5: SWAP1 000013a6: SSTORE 000013a7: PUSH1 0x40 000013a9: MLOAD 000013aa: SWAP1 000013ab: DUP2 000013ac: MSTORE 000013ad: LOG3 000013ae: JUMP 000013af: JUMPDEST 000013b0: PUSH1 0xff 000013b2: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000012 000013d3: AND 000013d4: PUSH1 0x4d 000013d6: DUP2 000013d7: GT 000013d8: PUSH2 0x10e5 000013db: JUMPI 000013dc: PUSH1 0x0a 000013de: EXP 000013df: SWAP1 000013e0: DUP2 000013e1: DUP2 000013e2: MUL 000013e3: SWAP2 000013e4: DUP2 000013e5: DUP4 000013e6: DIV 000013e7: EQ 000013e8: SWAP1 000013e9: ISZERO 000013ea: OR 000013eb: ISZERO 000013ec: PUSH2 0x10e5 000013ef: JUMPI 000013f0: PUSH8 0x0de0b6b3a7640000 000013f9: SWAP1 000013fa: DIV 000013fb: SWAP1 000013fc: JUMP 000013fd: JUMPDEST 000013fe: SWAP1 000013ff: PUSH0 00001400: PUSH1 0x20 00001402: SWAP2 00001403: DUP3 00001404: DUP2 00001405: MLOAD 00001406: SWAP2 00001407: ADD 00001408: DUP3 00001409: DUP6 0000140a: GAS 0000140b: CALL 0000140c: ISZERO 0000140d: PUSH2 0x1457 00001410: JUMPI 00001411: PUSH0 00001412: MLOAD 00001413: RETURNDATASIZE 00001414: PUSH2 0x144e 00001417: JUMPI 00001418: POP 00001419: PUSH1 0x01 0000141b: PUSH1 0x01 0000141d: PUSH1 0xa0 0000141f: SHL 00001420: SUB 00001421: DUP2 00001422: AND 00001423: EXTCODESIZE 00001424: ISZERO 00001425: JUMPDEST 00001426: PUSH2 0x142c 00001429: JUMPI 0000142a: POP 0000142b: JUMP 0000142c: JUMPDEST 0000142d: PUSH1 0x40 0000142f: MLOAD 00001430: PUSH4 0x5274afe7 00001435: PUSH1 0xe0 00001437: SHL 00001438: DUP2 00001439: MSTORE 0000143a: PUSH1 0x01 0000143c: PUSH1 0x01 0000143e: PUSH1 0xa0 00001440: SHL 00001441: SUB 00001442: SWAP1 00001443: SWAP2 00001444: AND 00001445: PUSH1 0x04 00001447: DUP3 00001448: ADD 00001449: MSTORE 0000144a: PUSH1 0x24 0000144c: SWAP1 0000144d: REVERT 0000144e: JUMPDEST 0000144f: PUSH1 0x01 00001451: EQ 00001452: ISZERO 00001453: PUSH2 0x1425 00001456: JUMP 00001457: JUMPDEST 00001458: PUSH1 0x40 0000145a: MLOAD 0000145b: RETURNDATASIZE 0000145c: PUSH0 0000145d: DUP3 0000145e: RETURNDATACOPY 0000145f: RETURNDATASIZE 00001460: SWAP1 00001461: REVERT 00001462: INVALID 00001463: LOG2 00001464: PUSH5 0x6970667358 0000146a: UNKNOWN(0x22) 0000146b: SLT 0000146c: KECCAK256 0000146d: GT 0000146e: DUP8 0000146f: UNKNOWN(0xED) 00001470: UNKNOWN(0x2E) 00001471: STOP 00001472: SWAP14 00001473: PUSH10 0x63c09c77c0cb4e3f1552 0000147e: BYTE 0000147f: BASEFEE 00001480: UNKNOWN(0xD2) 00001481: UNKNOWN(0xB5) 00001482: UNKNOWN(0x23) 00001483: PUSH5 0x5fb16371b7 00001489: DUP1 0000148a: PUSH24
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x13e5c170248781b5ef0441361d2cccf276a4cb32d0a9cd720785c57676cb8f61
call_targets:
0xfffffcb8f4b0755f1574f3a6a5b5eac8fca4b516
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x13e5c170248781b5ef0441361d2cccf276a4cb32d0a9cd720785c57676cb8f61",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xfffffcb8f4b0755f1574f3a6a5b5eac8fca4b516"
],
"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": "0x01bf6648",
"selector": "0x01bf6648",
"calldata_variants": [
"0x01bf6648",
"0x01bf66480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x07d4eb04",
"selector": "0x07d4eb04",
"calldata_variants": [
"0x07d4eb04",
"0x07d4eb040000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0816ca42",
"selector": "0x0816ca42",
"calldata_variants": [
"0x0816ca42",
"0x0816ca420000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0e4355d4",
"selector": "0x0e4355d4",
"calldata_variants": [
"0x0e4355d4",
"0x0e4355d40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x127d1d1a",
"selector": "0x127d1d1a",
"calldata_variants": [
"0x127d1d1a",
"0x127d1d1a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2487,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5131,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 2
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x13e5c170248781b5ef0441361d2cccf276a4cb32d0a9cd720785c57676cb8f61
call_targets:
0xfffffcb8f4b0755f1574f3a6a5b5eac8fca4b516
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x13e5c170248781b5ef0441361d2cccf276a4cb32d0a9cd720785c57676cb8f61",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xfffffcb8f4b0755f1574f3a6a5b5eac8fca4b516"
],
"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": "0x01bf6648",
"selector": "0x01bf6648",
"calldata_variants": [
"0x01bf6648",
"0x01bf66480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x07d4eb04",
"selector": "0x07d4eb04",
"calldata_variants": [
"0x07d4eb04",
"0x07d4eb040000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0816ca42",
"selector": "0x0816ca42",
"calldata_variants": [
"0x0816ca42",
"0x0816ca420000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0e4355d4",
"selector": "0x0e4355d4",
"calldata_variants": [
"0x0e4355d4",
"0x0e4355d40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x127d1d1a",
"selector": "0x127d1d1a",
"calldata_variants": [
"0x127d1d1a",
"0x127d1d1a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2487,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5131,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|