019b477e-de2a-709e-87dd-dbaa5481d7f4
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 |
|---|---|---|---|---|
| 30087 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 30088 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 73372 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 73373 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 73374 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 73375 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: DUP1 00000003: PUSH1 0x40 00000005: MSTORE 00000006: PUSH1 0x04 00000008: CALLDATASIZE 00000009: LT 0000000a: ISZERO 0000000b: PUSH2 0x001c 0000000e: JUMPI 0000000f: JUMPDEST 00000010: POP 00000011: CALLDATASIZE 00000012: ISZERO 00000013: PUSH2 0x001a 00000016: JUMPI 00000017: PUSH0 00000018: DUP1 00000019: REVERT 0000001a: JUMPDEST 0000001b: STOP 0000001c: JUMPDEST 0000001d: PUSH0 0000001e: CALLDATALOAD 0000001f: PUSH1 0xe0 00000021: SHR 00000022: SWAP1 00000023: DUP2 00000024: PUSH4 0x01ffc9a7 00000029: EQ 0000002a: PUSH2 0x13ce 0000002d: JUMPI 0000002e: POP 0000002f: DUP1 00000030: PUSH4 0x054a68ad 00000035: EQ 00000036: PUSH2 0x133a 00000039: JUMPI 0000003a: DUP1 0000003b: PUSH4 0x2194f3a2 00000040: EQ 00000041: PUSH2 0x12e9 00000044: JUMPI 00000045: DUP1 00000046: PUSH4 0x248a9ca3 0000004b: EQ 0000004c: PUSH2 0x129f 0000004f: JUMPI 00000050: DUP1 00000051: PUSH4 0x2f2ff15d 00000056: EQ 00000057: PUSH2 0x1245 0000005a: JUMPI 0000005b: DUP1 0000005c: PUSH4 0x2fde3826 00000061: EQ 00000062: PUSH2 0x1180 00000065: JUMPI 00000066: DUP1 00000067: PUSH4 0x36568abe 0000006c: EQ 0000006d: PUSH2 0x10f6 00000070: JUMPI 00000071: DUP1 00000072: PUSH4 0x3f3a0311 00000077: EQ 00000078: PUSH2 0x0f86 0000007b: JUMPI 0000007c: DUP1 0000007d: PUSH4 0x461c48cd 00000082: EQ 00000083: PUSH2 0x0e27 00000086: JUMPI 00000087: DUP1 00000088: PUSH4 0x47437b68 0000008d: EQ 0000008e: PUSH2 0x0af8 00000091: JUMPI 00000092: DUP1 00000093: PUSH4 0x5f91d406 00000098: EQ 00000099: PUSH2 0x0aa0 0000009c: JUMPI 0000009d: DUP1 0000009e: PUSH4 0x64f0d35e 000000a3: EQ 000000a4: PUSH2 0x0a4f 000000a7: JUMPI 000000a8: DUP1 000000a9: PUSH4 0x75b238fc 000000ae: EQ 000000af: PUSH2 0x09f7 000000b2: JUMPI 000000b3: DUP1 000000b4: PUSH4 0x7d6f0d5f 000000b9: EQ 000000ba: PUSH2 0x0917 000000bd: JUMPI 000000be: DUP1 000000bf: PUSH4 0x91d14854 000000c4: EQ 000000c5: PUSH2 0x08a3 000000c8: JUMPI 000000c9: DUP1 000000ca: PUSH4 0xa217fddf 000000cf: EQ 000000d0: PUSH2 0x086b 000000d3: JUMPI 000000d4: DUP1 000000d5: PUSH4 0xaad2b723 000000da: EQ 000000db: PUSH2 0x0737 000000de: JUMPI 000000df: DUP1 000000e0: PUSH4 0xb0f09f9b 000000e5: EQ 000000e6: PUSH2 0x04b4 000000e9: JUMPI 000000ea: DUP1 000000eb: PUSH4 0xcabb4549 000000f0: EQ 000000f1: PUSH2 0x045c 000000f4: JUMPI 000000f5: DUP1 000000f6: PUSH4 0xd547741f 000000fb: EQ 000000fc: PUSH2 0x0402 000000ff: JUMPI 00000100: DUP1 00000101: PUSH4 0xfdea8e0b 00000106: EQ 00000107: PUSH2 0x03b1 0000010a: JUMPI 0000010b: PUSH4 0xff93be03 00000110: EQ 00000111: PUSH2 0x011a 00000114: JUMPI 00000115: PUSH0 00000116: PUSH2 0x000f 00000119: JUMP 0000011a: JUMPDEST 0000011b: CALLVALUE 0000011c: PUSH2 0x0346 0000011f: JUMPI 00000120: PUSH1 0x40 00000122: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 00000143: CALLDATASIZE 00000144: ADD 00000145: SLT 00000146: PUSH2 0x0346 00000149: JUMPI 0000014a: PUSH2 0x0151 0000014d: PUSH2 0x14e3 00000150: JUMP 00000151: JUMPDEST 00000152: PUSH1 0x24 00000154: CALLDATALOAD 00000155: PUSH8 0xffffffffffffffff 0000015e: DUP2 0000015f: GT 00000160: PUSH2 0x0346 00000163: JUMPI 00000164: PUSH2 0x0171 00000167: SWAP1 00000168: CALLDATASIZE 00000169: SWAP1 0000016a: PUSH1 0x04 0000016c: ADD 0000016d: PUSH2 0x14f6 00000170: JUMP 00000171: JUMPDEST 00000172: SWAP1 00000173: PUSH32 0x9b779b17422d0df92223018b32b4d1fa46e071723d6817e2486d003becc55f00 00000194: SWAP2 00000195: DUP3 00000196: TLOAD 00000197: PUSH2 0x0387 0000019a: JUMPI 0000019b: PUSH4 0xffffffff 000001a0: PUSH1 0x01 000001a2: SWAP5 000001a3: PUSH1 0x01 000001a5: DUP6 000001a6: TSTORE 000001a7: AND 000001a8: SWAP1 000001a9: DUP2 000001aa: PUSH0 000001ab: MSTORE 000001ac: PUSH1 0x20 000001ae: PUSH1 0x05 000001b0: DUP2 000001b1: MSTORE 000001b2: PUSH1 0xff 000001b4: PUSH1 0x40 000001b6: PUSH0 000001b7: KECCAK256 000001b8: SLOAD 000001b9: AND 000001ba: ISZERO 000001bb: PUSH2 0x035d 000001be: JUMPI 000001bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001d4: SWAP1 000001d5: PUSH1 0x24 000001d7: PUSH1 0x60 000001d9: DUP4 000001da: PUSH1 0x01 000001dc: SLOAD 000001dd: AND 000001de: PUSH1 0x40 000001e0: MLOAD 000001e1: SWAP3 000001e2: DUP4 000001e3: DUP1 000001e4: SWAP3 000001e5: PUSH32 0x79a6d51f00000000000000000000000000000000000000000000000000000000 00000206: DUP3 00000207: MSTORE 00000208: DUP10 00000209: PUSH1 0x04 0000020b: DUP4 0000020c: ADD 0000020d: MSTORE 0000020e: GAS 0000020f: STATICCALL 00000210: SWAP1 00000211: DUP2 00000212: ISZERO 00000213: PUSH2 0x0352 00000216: JUMPI 00000217: PUSH0 00000218: SWAP2 00000219: PUSH2 0x031a 0000021c: JUMPI 0000021d: JUMPDEST 0000021e: POP 0000021f: TIMESTAMP 00000220: LT 00000221: PUSH2 0x02f0 00000224: JUMPI 00000225: CALLER 00000226: PUSH0 00000227: MSTORE 00000228: PUSH1 0x04 0000022a: DUP2 0000022b: MSTORE 0000022c: PUSH1 0x40 0000022e: PUSH0 0000022f: KECCAK256 00000230: DUP5 00000231: PUSH0 00000232: MSTORE 00000233: DUP2 00000234: MSTORE 00000235: PUSH1 0x40 00000237: PUSH0 00000238: KECCAK256 00000239: SWAP3 0000023a: PUSH0 0000023b: JUMPDEST 0000023c: DUP2 0000023d: DUP2 0000023e: LT 0000023f: PUSH2 0x0247 00000242: JUMPI 00000243: PUSH0 00000244: DUP9 00000245: TSTORE 00000246: STOP 00000247: JUMPDEST 00000248: DUP1 00000249: DUP7 0000024a: PUSH2 0x025d 0000024d: PUSH2 0x0258 00000250: DUP13 00000251: SWAP5 00000252: DUP7 00000253: DUP13 00000254: PUSH2 0x15bc 00000257: JUMP 00000258: JUMPDEST 00000259: PUSH2 0x15cc 0000025c: JUMP 0000025d: JUMPDEST 0000025e: DUP7 0000025f: DUP2 00000260: AND 00000261: SWAP1 00000262: DUP2 00000263: PUSH0 00000264: MSTORE 00000265: DUP9 00000266: DUP8 00000267: MSTORE 00000268: PUSH1 0x40 0000026a: PUSH0 0000026b: KECCAK256 0000026c: SWAP1 0000026d: DUP2 0000026e: SLOAD 0000026f: SWAP2 00000270: DUP3 00000271: ISZERO 00000272: PUSH2 0x02e6 00000275: JUMPI 00000276: PUSH0 00000277: SWAP1 00000278: SSTORE 00000279: DUP2 0000027a: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 0000028f: DUP5 00000290: SUB 00000291: PUSH2 0x02d6 00000294: JUMPI 00000295: PUSH2 0x029f 00000298: SWAP2 00000299: POP 0000029a: CALLER 0000029b: PUSH2 0x1930 0000029e: JUMP 0000029f: JUMPDEST 000002a0: PUSH1 0x40 000002a2: MLOAD 000002a3: SWAP2 000002a4: DUP3 000002a5: MSTORE 000002a6: DUP7 000002a7: DUP3 000002a8: ADD 000002a9: MSTORE 000002aa: PUSH32 0x4978506686bd9ae370ab4cd6b1b3093dad6682e7840df229a6534e9dc4ba5223 000002cb: PUSH1 0x40 000002cd: CALLER 000002ce: SWAP3 000002cf: LOG3 000002d0: JUMPDEST 000002d1: ADD 000002d2: PUSH2 0x023b 000002d5: JUMP 000002d6: JUMPDEST 000002d7: PUSH2 0x02e1 000002da: SWAP2 000002db: CALLER 000002dc: SWAP1 000002dd: PUSH2 0x1860 000002e0: JUMP 000002e1: JUMPDEST 000002e2: PUSH2 0x029f 000002e5: JUMP 000002e6: JUMPDEST 000002e7: POP 000002e8: POP 000002e9: POP 000002ea: POP 000002eb: POP 000002ec: PUSH2 0x02d0 000002ef: JUMP 000002f0: JUMPDEST 000002f1: PUSH1 0x04 000002f3: PUSH1 0x40 000002f5: MLOAD 000002f6: PUSH32 0xc43172d200000000000000000000000000000000000000000000000000000000 00000317: DUP2 00000318: MSTORE 00000319: REVERT 0000031a: JUMPDEST 0000031b: SWAP1 0000031c: POP 0000031d: PUSH1 0x60 0000031f: DUP2 00000320: RETURNDATASIZE 00000321: PUSH1 0x60 00000323: GT 00000324: PUSH2 0x034a 00000327: JUMPI 00000328: JUMPDEST 00000329: DUP2 0000032a: PUSH2 0x0335 0000032d: PUSH1 0x60 0000032f: SWAP4 00000330: DUP4 00000331: PUSH2 0x15ed 00000334: JUMP 00000335: JUMPDEST 00000336: DUP2 00000337: ADD 00000338: SUB 00000339: SLT 0000033a: PUSH2 0x0346 0000033d: JUMPI 0000033e: DUP2 0000033f: ADD 00000340: MLOAD 00000341: PUSH0 00000342: PUSH2 0x021d 00000345: JUMP 00000346: JUMPDEST 00000347: PUSH0 00000348: DUP1 00000349: REVERT 0000034a: JUMPDEST 0000034b: RETURNDATASIZE 0000034c: SWAP2 0000034d: POP 0000034e: PUSH2 0x0328 00000351: JUMP 00000352: JUMPDEST 00000353: PUSH1 0x40 00000355: MLOAD 00000356: RETURNDATASIZE 00000357: PUSH0 00000358: DUP3 00000359: RETURNDATACOPY 0000035a: RETURNDATASIZE 0000035b: SWAP1 0000035c: REVERT 0000035d: JUMPDEST 0000035e: PUSH1 0x04 00000360: PUSH1 0x40 00000362: MLOAD 00000363: PUSH32 0xde69955000000000000000000000000000000000000000000000000000000000 00000384: DUP2 00000385: MSTORE 00000386: REVERT 00000387: JUMPDEST 00000388: PUSH1 0x04 0000038a: PUSH1 0x40 0000038c: MLOAD 0000038d: PUSH32 0x3ee5aeb500000000000000000000000000000000000000000000000000000000 000003ae: DUP2 000003af: MSTORE 000003b0: REVERT 000003b1: JUMPDEST 000003b2: CALLVALUE 000003b3: PUSH2 0x0346 000003b6: JUMPI 000003b7: PUSH0 000003b8: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 000003d9: CALLDATASIZE 000003da: ADD 000003db: SLT 000003dc: PUSH2 0x0346 000003df: JUMPI 000003e0: PUSH1 0x20 000003e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003f7: PUSH1 0x01 000003f9: SLOAD 000003fa: AND 000003fb: PUSH1 0x40 000003fd: MLOAD 000003fe: SWAP1 000003ff: DUP2 00000400: MSTORE 00000401: RETURN 00000402: JUMPDEST 00000403: CALLVALUE 00000404: PUSH2 0x0346 00000407: JUMPI 00000408: PUSH1 0x40 0000040a: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 0000042b: CALLDATASIZE 0000042c: ADD 0000042d: SLT 0000042e: PUSH2 0x0346 00000431: JUMPI 00000432: PUSH2 0x001a 00000435: PUSH1 0x04 00000437: CALLDATALOAD 00000438: PUSH2 0x043f 0000043b: PUSH2 0x14ad 0000043e: JUMP 0000043f: JUMPDEST 00000440: SWAP1 00000441: DUP1 00000442: PUSH0 00000443: MSTORE 00000444: PUSH0 00000445: PUSH1 0x20 00000447: MSTORE 00000448: PUSH2 0x0457 0000044b: PUSH1 0x01 0000044d: PUSH1 0x40 0000044f: PUSH0 00000450: KECCAK256 00000451: ADD 00000452: SLOAD 00000453: PUSH2 0x1696 00000456: JUMP 00000457: JUMPDEST 00000458: PUSH2 0x175f 0000045b: JUMP 0000045c: JUMPDEST 0000045d: CALLVALUE 0000045e: PUSH2 0x0346 00000461: JUMPI 00000462: PUSH0 00000463: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 00000484: CALLDATASIZE 00000485: ADD 00000486: SLT 00000487: PUSH2 0x0346 0000048a: JUMPI 0000048b: PUSH1 0x20 0000048d: PUSH1 0x40 0000048f: MLOAD 00000490: PUSH32 0x28d695c7dfc0dc20c36b38cc22e861d8a3c0da73ef3975e85a4bf12193642a5c 000004b1: DUP2 000004b2: MSTORE 000004b3: RETURN 000004b4: JUMPDEST 000004b5: CALLVALUE 000004b6: PUSH2 0x0346 000004b9: JUMPI 000004ba: PUSH2 0x04c2 000004bd: CALLDATASIZE 000004be: PUSH2 0x1527 000004c1: JUMP 000004c2: JUMPDEST 000004c3: SWAP3 000004c4: PUSH2 0x04d2 000004c7: SWAP7 000004c8: SWAP6 000004c9: SWAP2 000004ca: SWAP7 000004cb: SWAP5 000004cc: SWAP3 000004cd: SWAP5 000004ce: PUSH2 0x163b 000004d1: JUMP 000004d2: JUMPDEST 000004d3: DUP2 000004d4: ISZERO 000004d5: PUSH2 0x070d 000004d8: JUMPI 000004d9: DUP7 000004da: DUP2 000004db: EQ 000004dc: DUP1 000004dd: ISZERO 000004de: SWAP1 000004df: PUSH2 0x0703 000004e2: JUMPI 000004e3: JUMPDEST 000004e4: PUSH2 0x06d9 000004e7: JUMPI 000004e8: PUSH0 000004e9: JUMPDEST 000004ea: DUP3 000004eb: DUP2 000004ec: LT 000004ed: PUSH2 0x04f2 000004f0: JUMPI 000004f1: STOP 000004f2: JUMPDEST 000004f3: PUSH2 0x0500 000004f6: PUSH2 0x0258 000004f9: DUP3 000004fa: DUP6 000004fb: DUP11 000004fc: PUSH2 0x15bc 000004ff: JUMP 00000500: JUMPDEST 00000501: PUSH2 0x050b 00000504: DUP3 00000505: DUP5 00000506: DUP8 00000507: PUSH2 0x17fd 0000050a: JUMP 0000050b: JUMPDEST 0000050c: SWAP2 0000050d: PUSH2 0x0517 00000510: DUP5 00000511: DUP13 00000512: DUP12 00000513: PUSH2 0x17fd 00000516: JUMP 00000517: JUMPDEST 00000518: DUP1 00000519: DUP6 0000051a: SWAP4 0000051b: SWAP3 0000051c: SWAP4 0000051d: SUB 0000051e: PUSH2 0x06d9 00000521: JUMPI 00000522: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000537: DUP3 00000538: AND 00000539: PUSH0 0000053a: MSTORE 0000053b: PUSH1 0x04 0000053d: PUSH1 0x20 0000053f: MSTORE 00000540: PUSH1 0x40 00000542: PUSH0 00000543: KECCAK256 00000544: PUSH4 0xffffffff 00000549: DUP12 0000054a: AND 0000054b: PUSH0 0000054c: MSTORE 0000054d: PUSH1 0x20 0000054f: MSTORE 00000550: PUSH1 0x40 00000552: PUSH0 00000553: KECCAK256 00000554: SWAP5 00000555: PUSH0 00000556: JUMPDEST 00000557: DUP2 00000558: DUP2 00000559: LT 0000055a: PUSH2 0x056c 0000055d: JUMPI 0000055e: POP 0000055f: POP 00000560: POP 00000561: POP 00000562: POP 00000563: POP 00000564: POP 00000565: PUSH1 0x01 00000567: ADD 00000568: PUSH2 0x04e9 0000056b: JUMP 0000056c: JUMPDEST 0000056d: PUSH2 0x057a 00000570: PUSH2 0x0258 00000573: DUP3 00000574: DUP5 00000575: DUP10 00000576: PUSH2 0x15bc 00000579: JUMP 0000057a: JUMPDEST 0000057b: SWAP1 0000057c: PUSH2 0x0586 0000057f: DUP2 00000580: DUP6 00000581: DUP9 00000582: PUSH2 0x15bc 00000585: JUMP 00000586: JUMPDEST 00000587: CALLDATALOAD 00000588: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000059d: DUP4 0000059e: AND 0000059f: PUSH0 000005a0: MSTORE 000005a1: DUP9 000005a2: PUSH1 0x20 000005a4: MSTORE 000005a5: PUSH1 0x40 000005a7: PUSH0 000005a8: KECCAK256 000005a9: SWAP1 000005aa: DUP2 000005ab: SLOAD 000005ac: SWAP4 000005ad: DUP5 000005ae: DUP3 000005af: DUP2 000005b0: SUB 000005b1: GT 000005b2: PUSH2 0x06ac 000005b5: JUMPI 000005b6: DUP16 000005b7: PUSH2 0x067b 000005ba: SWAP1 000005bb: PUSH32 0x417f35c26082857703ae6c899579ddffbf6474393d19bdbf0fbde87267048b4e 000005dc: SWAP5 000005dd: DUP5 000005de: PUSH1 0x01 000005e0: SWAP9 000005e1: SUB 000005e2: SWAP1 000005e3: SSTORE 000005e4: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 000005f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000060e: DUP5 0000060f: AND 00000610: EQ 00000611: PUSH0 00000612: EQ 00000613: PUSH2 0x0684 00000616: JUMPI 00000617: PUSH2 0x0638 0000061a: DUP5 0000061b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000630: PUSH1 0x03 00000632: SLOAD 00000633: AND 00000634: PUSH2 0x1930 00000637: JUMP 00000638: JUMPDEST 00000639: PUSH1 0x40 0000063b: DUP1 0000063c: MLOAD 0000063d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000652: DUP1 00000653: DUP14 00000654: AND 00000655: DUP3 00000656: MSTORE 00000657: SWAP1 00000658: SWAP5 00000659: AND 0000065a: PUSH1 0x20 0000065c: DUP6 0000065d: ADD 0000065e: MSTORE 0000065f: DUP4 00000660: ADD 00000661: SWAP4 00000662: SWAP1 00000663: SWAP4 00000664: MSTORE 00000665: PUSH4 0xffffffff 0000066a: SWAP1 0000066b: SWAP3 0000066c: AND 0000066d: PUSH1 0x60 0000066f: DUP3 00000670: ADD 00000671: MSTORE 00000672: SWAP1 00000673: DUP2 00000674: SWAP1 00000675: PUSH1 0x80 00000677: DUP3 00000678: ADD 00000679: SWAP1 0000067a: JUMP 0000067b: JUMPDEST 0000067c: SUB 0000067d: SWAP1 0000067e: LOG1 0000067f: ADD 00000680: PUSH2 0x0556 00000683: JUMP 00000684: JUMPDEST 00000685: PUSH2 0x06a7 00000688: DUP5 00000689: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000069e: PUSH1 0x03 000006a0: SLOAD 000006a1: AND 000006a2: DUP6 000006a3: PUSH2 0x1860 000006a6: JUMP 000006a7: JUMPDEST 000006a8: PUSH2 0x0638 000006ab: JUMP 000006ac: JUMPDEST 000006ad: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000006ce: PUSH0 000006cf: MSTORE 000006d0: PUSH1 0x11 000006d2: PUSH1 0x04 000006d4: MSTORE 000006d5: PUSH1 0x24 000006d7: PUSH0 000006d8: REVERT 000006d9: JUMPDEST 000006da: PUSH1 0x04 000006dc: PUSH1 0x40 000006de: MLOAD 000006df: PUSH32 0xa24a13a600000000000000000000000000000000000000000000000000000000 00000700: DUP2 00000701: MSTORE 00000702: REVERT 00000703: JUMPDEST 00000704: POP 00000705: DUP2 00000706: DUP8 00000707: EQ 00000708: ISZERO 00000709: PUSH2 0x04e3 0000070c: JUMP 0000070d: JUMPDEST 0000070e: PUSH1 0x04 00000710: PUSH1 0x40 00000712: MLOAD 00000713: PUSH32 0x0f59b9ff00000000000000000000000000000000000000000000000000000000 00000734: DUP2 00000735: MSTORE 00000736: REVERT 00000737: JUMPDEST 00000738: CALLVALUE 00000739: PUSH2 0x0346 0000073c: JUMPI 0000073d: PUSH1 0x20 0000073f: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 00000760: CALLDATASIZE 00000761: ADD 00000762: SLT 00000763: PUSH2 0x0346 00000766: JUMPI 00000767: PUSH2 0x076e 0000076a: PUSH2 0x148a 0000076d: JUMP 0000076e: JUMPDEST 0000076f: PUSH2 0x0776 00000772: PUSH2 0x163b 00000775: JUMP 00000776: JUMPDEST 00000777: PUSH1 0x02 00000779: SLOAD 0000077a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000078f: DUP1 00000790: DUP4 00000791: AND 00000792: SWAP3 00000793: SWAP2 00000794: SWAP1 00000795: DUP2 00000796: AND 00000797: DUP4 00000798: ISZERO 00000799: PUSH2 0x0841 0000079c: JUMPI 0000079d: DUP4 0000079e: DUP2 0000079f: EQ 000007a0: PUSH2 0x0817 000007a3: JUMPI 000007a4: PUSH1 0x40 000007a6: DUP1 000007a7: MLOAD 000007a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007bd: SWAP3 000007be: DUP4 000007bf: AND 000007c0: DUP2 000007c1: MSTORE 000007c2: SWAP4 000007c3: SWAP1 000007c4: SWAP2 000007c5: AND 000007c6: PUSH1 0x20 000007c8: DUP5 000007c9: ADD 000007ca: MSTORE 000007cb: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 000007ec: SWAP3 000007ed: PUSH32 0x2d025324f0a785e8c12d0a0d91a9caa49df4ef20ff87e0df7213a1d4f3157beb 0000080e: SWAP2 0000080f: SWAP1 00000810: LOG1 00000811: AND 00000812: OR 00000813: PUSH1 0x02 00000815: SSTORE 00000816: STOP 00000817: JUMPDEST 00000818: PUSH1 0x04 0000081a: PUSH1 0x40 0000081c: MLOAD 0000081d: PUSH32 0x2620eb3a00000000000000000000000000000000000000000000000000000000 0000083e: DUP2 0000083f: MSTORE 00000840: REVERT 00000841: JUMPDEST 00000842: PUSH1 0x04 00000844: PUSH1 0x40 00000846: MLOAD 00000847: PUSH32 0xd92e233d00000000000000000000000000000000000000000000000000000000 00000868: DUP2 00000869: MSTORE 0000086a: REVERT 0000086b: JUMPDEST 0000086c: CALLVALUE 0000086d: PUSH2 0x0346 00000870: JUMPI 00000871: PUSH0 00000872: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 00000893: CALLDATASIZE 00000894: ADD 00000895: SLT 00000896: PUSH2 0x0346 00000899: JUMPI 0000089a: PUSH1 0x20 0000089c: PUSH1 0x40 0000089e: MLOAD 0000089f: PUSH0 000008a0: DUP2 000008a1: MSTORE 000008a2: RETURN 000008a3: JUMPDEST 000008a4: CALLVALUE 000008a5: PUSH2 0x0346 000008a8: JUMPI 000008a9: PUSH1 0x40 000008ab: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 000008cc: CALLDATASIZE 000008cd: ADD 000008ce: SLT 000008cf: PUSH2 0x0346 000008d2: JUMPI 000008d3: PUSH2 0x08da 000008d6: PUSH2 0x14ad 000008d9: JUMP 000008da: JUMPDEST 000008db: PUSH1 0x04 000008dd: CALLDATALOAD 000008de: PUSH0 000008df: MSTORE 000008e0: PUSH0 000008e1: PUSH1 0x20 000008e3: MSTORE 000008e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008f9: PUSH1 0x40 000008fb: PUSH0 000008fc: KECCAK256 000008fd: SWAP2 000008fe: AND 000008ff: PUSH0 00000900: MSTORE 00000901: PUSH1 0x20 00000903: MSTORE 00000904: PUSH1 0x20 00000906: PUSH1 0xff 00000908: PUSH1 0x40 0000090a: PUSH0 0000090b: KECCAK256 0000090c: SLOAD 0000090d: AND 0000090e: PUSH1 0x40 00000910: MLOAD 00000911: SWAP1 00000912: ISZERO 00000913: ISZERO 00000914: DUP2 00000915: MSTORE 00000916: RETURN 00000917: JUMPDEST 00000918: CALLVALUE 00000919: PUSH2 0x0346 0000091c: JUMPI 0000091d: PUSH1 0x20 0000091f: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 00000940: CALLDATASIZE 00000941: ADD 00000942: SLT 00000943: PUSH2 0x0346 00000946: JUMPI 00000947: PUSH2 0x094e 0000094a: PUSH2 0x148a 0000094d: JUMP 0000094e: JUMPDEST 0000094f: PUSH2 0x0956 00000952: PUSH2 0x163b 00000955: JUMP 00000956: JUMPDEST 00000957: PUSH1 0x03 00000959: SLOAD 0000095a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000096f: DUP1 00000970: DUP4 00000971: AND 00000972: SWAP3 00000973: SWAP2 00000974: SWAP1 00000975: DUP2 00000976: AND 00000977: DUP4 00000978: ISZERO 00000979: PUSH2 0x0841 0000097c: JUMPI 0000097d: DUP4 0000097e: DUP2 0000097f: EQ 00000980: PUSH2 0x0817 00000983: JUMPI 00000984: PUSH1 0x40 00000986: DUP1 00000987: MLOAD 00000988: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000099d: SWAP3 0000099e: DUP4 0000099f: AND 000009a0: DUP2 000009a1: MSTORE 000009a2: SWAP4 000009a3: SWAP1 000009a4: SWAP2 000009a5: AND 000009a6: PUSH1 0x20 000009a8: DUP5 000009a9: ADD 000009aa: MSTORE 000009ab: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 000009cc: SWAP3 000009cd: PUSH32 0xe22b566ac7db56412e2e041c88a7fd3151151ad6c6647e954f9bdc054bcb780e 000009ee: SWAP2 000009ef: SWAP1 000009f0: LOG1 000009f1: AND 000009f2: OR 000009f3: PUSH1 0x03 000009f5: SSTORE 000009f6: STOP 000009f7: JUMPDEST 000009f8: CALLVALUE 000009f9: PUSH2 0x0346 000009fc: JUMPI 000009fd: PUSH0 000009fe: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 00000a1f: CALLDATASIZE 00000a20: ADD 00000a21: SLT 00000a22: PUSH2 0x0346 00000a25: JUMPI 00000a26: PUSH1 0x20 00000a28: PUSH1 0x40 00000a2a: MLOAD 00000a2b: PUSH32 0xdf8b4c520ffe197c5343c6f5aec59570151ef9a492f2c624fd45ddde6135ec42 00000a4c: DUP2 00000a4d: MSTORE 00000a4e: RETURN 00000a4f: JUMPDEST 00000a50: CALLVALUE 00000a51: PUSH2 0x0346 00000a54: JUMPI 00000a55: PUSH0 00000a56: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 00000a77: CALLDATASIZE 00000a78: ADD 00000a79: SLT 00000a7a: PUSH2 0x0346 00000a7d: JUMPI 00000a7e: PUSH1 0x20 00000a80: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a95: PUSH1 0x02 00000a97: SLOAD 00000a98: AND 00000a99: PUSH1 0x40 00000a9b: MLOAD 00000a9c: SWAP1 00000a9d: DUP2 00000a9e: MSTORE 00000a9f: RETURN 00000aa0: JUMPDEST 00000aa1: CALLVALUE 00000aa2: PUSH2 0x0346 00000aa5: JUMPI 00000aa6: PUSH1 0x20 00000aa8: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 00000ac9: CALLDATASIZE 00000aca: ADD 00000acb: SLT 00000acc: PUSH2 0x0346 00000acf: JUMPI 00000ad0: PUSH4 0xffffffff 00000ad5: PUSH2 0x0adc 00000ad8: PUSH2 0x14e3 00000adb: JUMP 00000adc: JUMPDEST 00000add: AND 00000ade: PUSH0 00000adf: MSTORE 00000ae0: PUSH1 0x05 00000ae2: PUSH1 0x20 00000ae4: MSTORE 00000ae5: PUSH1 0x20 00000ae7: PUSH1 0xff 00000ae9: PUSH1 0x40 00000aeb: PUSH0 00000aec: KECCAK256 00000aed: SLOAD 00000aee: AND 00000aef: PUSH1 0x40 00000af1: MLOAD 00000af2: SWAP1 00000af3: ISZERO 00000af4: ISZERO 00000af5: DUP2 00000af6: MSTORE 00000af7: RETURN 00000af8: JUMPDEST 00000af9: CALLVALUE 00000afa: PUSH2 0x0346 00000afd: JUMPI 00000afe: PUSH1 0x60 00000b00: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 00000b21: CALLDATASIZE 00000b22: ADD 00000b23: SLT 00000b24: PUSH2 0x0346 00000b27: JUMPI 00000b28: PUSH1 0x04 00000b2a: CALLDATALOAD 00000b2b: PUSH8 0xffffffffffffffff 00000b34: DUP2 00000b35: GT 00000b36: PUSH2 0x0346 00000b39: JUMPI 00000b3a: PUSH2 0x0b47 00000b3d: SWAP1 00000b3e: CALLDATASIZE 00000b3f: SWAP1 00000b40: PUSH1 0x04 00000b42: ADD 00000b43: PUSH2 0x14f6 00000b46: JUMP 00000b47: JUMPDEST 00000b48: SWAP1 00000b49: PUSH2 0x0b50 00000b4c: PUSH2 0x14d0 00000b4f: JUMP 00000b50: JUMPDEST 00000b51: SWAP2 00000b52: PUSH8 0xffffffffffffffff 00000b5b: PUSH1 0x44 00000b5d: CALLDATALOAD 00000b5e: GT 00000b5f: PUSH2 0x0346 00000b62: JUMPI 00000b63: CALLDATASIZE 00000b64: PUSH1 0x23 00000b66: PUSH1 0x44 00000b68: CALLDATALOAD 00000b69: ADD 00000b6a: SLT 00000b6b: ISZERO 00000b6c: PUSH2 0x0346 00000b6f: JUMPI 00000b70: PUSH8 0xffffffffffffffff 00000b79: PUSH1 0x44 00000b7b: CALLDATALOAD 00000b7c: PUSH1 0x04 00000b7e: ADD 00000b7f: CALLDATALOAD 00000b80: GT 00000b81: PUSH2 0x0346 00000b84: JUMPI 00000b85: CALLDATASIZE 00000b86: PUSH1 0x24 00000b88: PUSH1 0x44 00000b8a: CALLDATALOAD 00000b8b: PUSH1 0x04 00000b8d: ADD 00000b8e: CALLDATALOAD 00000b8f: PUSH1 0x06 00000b91: SHL 00000b92: PUSH1 0x44 00000b94: CALLDATALOAD 00000b95: ADD 00000b96: ADD 00000b97: GT 00000b98: PUSH2 0x0346 00000b9b: JUMPI 00000b9c: PUSH4 0xffffffff 00000ba1: DUP4 00000ba2: AND 00000ba3: PUSH0 00000ba4: MSTORE 00000ba5: PUSH1 0x05 00000ba7: PUSH1 0x20 00000ba9: MSTORE 00000baa: PUSH1 0xff 00000bac: PUSH1 0x40 00000bae: PUSH0 00000baf: KECCAK256 00000bb0: SLOAD 00000bb1: AND 00000bb2: PUSH2 0x0dfd 00000bb5: JUMPI 00000bb6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bcb: PUSH1 0x01 00000bcd: SLOAD 00000bce: AND 00000bcf: CALLER 00000bd0: SUB 00000bd1: PUSH2 0x0dd3 00000bd4: JUMPI 00000bd5: DUP1 00000bd6: ISZERO 00000bd7: PUSH2 0x0da9 00000bda: JUMPI 00000bdb: PUSH1 0x44 00000bdd: CALLDATALOAD 00000bde: PUSH1 0x04 00000be0: ADD 00000be1: CALLDATALOAD 00000be2: DUP2 00000be3: SUB 00000be4: PUSH2 0x06d9 00000be7: JUMPI 00000be8: PUSH0 00000be9: JUMPDEST 00000bea: DUP2 00000beb: DUP2 00000bec: LT 00000bed: PUSH2 0x0bf2 00000bf0: JUMPI 00000bf1: STOP 00000bf2: JUMPDEST 00000bf3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c08: PUSH2 0x0c15 00000c0b: PUSH2 0x0258 00000c0e: DUP4 00000c0f: DUP6 00000c10: DUP8 00000c11: PUSH2 0x15bc 00000c14: JUMP 00000c15: JUMPDEST 00000c16: AND 00000c17: SWAP1 00000c18: DUP2 00000c19: ISZERO 00000c1a: PUSH2 0x0841 00000c1d: JUMPI 00000c1e: DUP2 00000c1f: PUSH0 00000c20: MSTORE 00000c21: PUSH1 0x04 00000c23: PUSH1 0x20 00000c25: MSTORE 00000c26: PUSH1 0x40 00000c28: PUSH0 00000c29: KECCAK256 00000c2a: PUSH4 0xffffffff 00000c2f: DUP7 00000c30: AND 00000c31: PUSH0 00000c32: MSTORE 00000c33: PUSH1 0x20 00000c35: MSTORE 00000c36: PUSH1 0x40 00000c38: PUSH0 00000c39: KECCAK256 00000c3a: SWAP2 00000c3b: PUSH1 0x44 00000c3d: CALLDATALOAD 00000c3e: PUSH1 0x04 00000c40: ADD 00000c41: CALLDATALOAD 00000c42: DUP3 00000c43: LT 00000c44: ISZERO 00000c45: PUSH2 0x0d7c 00000c48: JUMPI 00000c49: PUSH1 0x40 00000c4b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffdc 00000c6c: DUP4 00000c6d: PUSH1 0x06 00000c6f: SHL 00000c70: PUSH1 0x44 00000c72: CALLDATALOAD 00000c73: ADD 00000c74: CALLDATASIZE 00000c75: SUB 00000c76: ADD 00000c77: SLT 00000c78: PUSH2 0x0346 00000c7b: JUMPI 00000c7c: PUSH1 0x40 00000c7e: MLOAD 00000c7f: SWAP1 00000c80: DUP2 00000c81: PUSH1 0x40 00000c83: DUP2 00000c84: ADD 00000c85: LT 00000c86: PUSH8 0xffffffffffffffff 00000c8f: PUSH1 0x40 00000c91: DUP5 00000c92: ADD 00000c93: GT 00000c94: OR 00000c95: PUSH2 0x0d4f 00000c98: JUMPI 00000c99: PUSH1 0x40 00000c9b: DUP3 00000c9c: ADD 00000c9d: PUSH1 0x40 00000c9f: MSTORE 00000ca0: PUSH1 0x24 00000ca2: DUP4 00000ca3: PUSH1 0x06 00000ca5: SHL 00000ca6: PUSH1 0x44 00000ca8: CALLDATALOAD 00000ca9: ADD 00000caa: ADD 00000cab: CALLDATALOAD 00000cac: SWAP4 00000cad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cc2: DUP6 00000cc3: AND 00000cc4: SWAP1 00000cc5: DUP2 00000cc6: DUP7 00000cc7: SUB 00000cc8: PUSH2 0x0346 00000ccb: JUMPI 00000ccc: PUSH1 0x01 00000cce: SWAP6 00000ccf: DUP5 00000cd0: MSTORE 00000cd1: PUSH1 0x44 00000cd3: DUP6 00000cd4: PUSH1 0x06 00000cd6: SHL 00000cd7: DUP2 00000cd8: CALLDATALOAD 00000cd9: ADD 00000cda: ADD 00000cdb: CALLDATALOAD 00000cdc: SWAP1 00000cdd: PUSH1 0x20 00000cdf: DUP6 00000ce0: ADD 00000ce1: SWAP3 00000ce2: DUP3 00000ce3: DUP5 00000ce4: MSTORE 00000ce5: PUSH0 00000ce6: MSTORE 00000ce7: PUSH1 0x20 00000ce9: MSTORE 00000cea: PUSH2 0x0cf8 00000ced: PUSH1 0x40 00000cef: PUSH0 00000cf0: KECCAK256 00000cf1: SWAP2 00000cf2: DUP3 00000cf3: SLOAD 00000cf4: PUSH2 0x162e 00000cf7: JUMP 00000cf8: JUMPDEST 00000cf9: SWAP1 00000cfa: SSTORE 00000cfb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d10: PUSH1 0x40 00000d12: MLOAD 00000d13: SWAP4 00000d14: MLOAD 00000d15: AND 00000d16: DUP4 00000d17: MSTORE 00000d18: MLOAD 00000d19: PUSH1 0x20 00000d1b: DUP4 00000d1c: ADD 00000d1d: MSTORE 00000d1e: PUSH32 0xe58012850783f5239c792b9394f0264e9c95cf3882980249ae8efc411a921dee 00000d3f: PUSH1 0x40 00000d41: PUSH4 0xffffffff 00000d46: DUP10 00000d47: AND 00000d48: SWAP4 00000d49: LOG3 00000d4a: ADD 00000d4b: PUSH2 0x0be9 00000d4e: JUMP 00000d4f: JUMPDEST 00000d50: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000d71: PUSH0 00000d72: MSTORE 00000d73: PUSH1 0x41 00000d75: PUSH1 0x04 00000d77: MSTORE 00000d78: PUSH1 0x24 00000d7a: PUSH0 00000d7b: REVERT 00000d7c: JUMPDEST 00000d7d: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000d9e: PUSH0 00000d9f: MSTORE 00000da0: PUSH1 0x32 00000da2: PUSH1 0x04 00000da4: MSTORE 00000da5: PUSH1 0x24 00000da7: PUSH0 00000da8: REVERT 00000da9: JUMPDEST 00000daa: PUSH1 0x04 00000dac: PUSH1 0x40 00000dae: MLOAD 00000daf: PUSH32 0x5cb045db00000000000000000000000000000000000000000000000000000000 00000dd0: DUP2 00000dd1: MSTORE 00000dd2: REVERT 00000dd3: JUMPDEST 00000dd4: PUSH1 0x04 00000dd6: PUSH1 0x40 00000dd8: MLOAD 00000dd9: PUSH32 0x92ed0e8100000000000000000000000000000000000000000000000000000000 00000dfa: DUP2 00000dfb: MSTORE 00000dfc: REVERT 00000dfd: JUMPDEST 00000dfe: PUSH1 0x04 00000e00: PUSH1 0x40 00000e02: MLOAD 00000e03: PUSH32 0x2f51603500000000000000000000000000000000000000000000000000000000 00000e24: DUP2 00000e25: MSTORE 00000e26: REVERT 00000e27: JUMPDEST 00000e28: CALLVALUE 00000e29: PUSH2 0x0346 00000e2c: JUMPI 00000e2d: PUSH1 0x40 00000e2f: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 00000e50: CALLDATASIZE 00000e51: ADD 00000e52: SLT 00000e53: PUSH2 0x0346 00000e56: JUMPI 00000e57: PUSH2 0x0e5e 00000e5a: PUSH2 0x14e3 00000e5d: JUMP 00000e5e: JUMPDEST 00000e5f: PUSH1 0x24 00000e61: CALLDATALOAD 00000e62: SWAP1 00000e63: DUP2 00000e64: ISZERO 00000e65: ISZERO 00000e66: DUP1 00000e67: SWAP3 00000e68: SUB 00000e69: PUSH2 0x0346 00000e6c: JUMPI 00000e6d: CALLER 00000e6e: PUSH0 00000e6f: SWAP1 00000e70: DUP2 00000e71: MSTORE 00000e72: PUSH32 0x344c38c63afa63cc0790d03fd9f5e1b1e0cb81e2f69d7bd71f512be2ba8de6de 00000e93: PUSH1 0x20 00000e95: MSTORE 00000e96: PUSH1 0x40 00000e98: SWAP1 00000e99: KECCAK256 00000e9a: SLOAD 00000e9b: PUSH32 0x28d695c7dfc0dc20c36b38cc22e861d8a3c0da73ef3975e85a4bf12193642a5c 00000ebc: SWAP1 00000ebd: PUSH1 0xff 00000ebf: AND 00000ec0: ISZERO 00000ec1: PUSH2 0x0f4f 00000ec4: JUMPI 00000ec5: POP 00000ec6: PUSH4 0xffffffff 00000ecb: AND 00000ecc: DUP1 00000ecd: PUSH0 00000ece: MSTORE 00000ecf: PUSH1 0x05 00000ed1: PUSH1 0x20 00000ed3: MSTORE 00000ed4: PUSH1 0xff 00000ed6: PUSH1 0x40 00000ed8: PUSH0 00000ed9: KECCAK256 00000eda: SLOAD 00000edb: AND 00000edc: ISZERO 00000edd: ISZERO 00000ede: DUP3 00000edf: DUP2 00000ee0: EQ 00000ee1: PUSH2 0x0817 00000ee4: JUMPI 00000ee5: PUSH1 0x40 00000ee7: PUSH32 0x747f56458041cea2ada41de00c95f1a8dc602dfa334765aafe548611948502d2 00000f08: SWAP2 00000f09: DUP2 00000f0a: MLOAD 00000f0b: SWAP1 00000f0c: DUP2 00000f0d: MSTORE 00000f0e: DUP5 00000f0f: PUSH1 0x20 00000f11: DUP3 00000f12: ADD 00000f13: MSTORE 00000f14: LOG1 00000f15: PUSH0 00000f16: MSTORE 00000f17: PUSH1 0x05 00000f19: PUSH1 0x20 00000f1b: MSTORE 00000f1c: PUSH1 0x40 00000f1e: PUSH0 00000f1f: KECCAK256 00000f20: SWAP1 00000f21: PUSH1 0xff 00000f23: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 00000f44: DUP4 00000f45: SLOAD 00000f46: AND 00000f47: SWAP2 00000f48: AND 00000f49: OR 00000f4a: SWAP1 00000f4b: SSTORE 00000f4c: PUSH0 00000f4d: DUP1 00000f4e: RETURN 00000f4f: JUMPDEST 00000f50: PUSH1 0x44 00000f52: SWAP1 00000f53: PUSH1 0x40 00000f55: MLOAD 00000f56: SWAP1 00000f57: PUSH32 0xe2517d3f00000000000000000000000000000000000000000000000000000000 00000f78: DUP3 00000f79: MSTORE 00000f7a: CALLER 00000f7b: PUSH1 0x04 00000f7d: DUP4 00000f7e: ADD 00000f7f: MSTORE 00000f80: PUSH1 0x24 00000f82: DUP3 00000f83: ADD 00000f84: MSTORE 00000f85: REVERT 00000f86: JUMPDEST 00000f87: CALLVALUE 00000f88: PUSH2 0x0346 00000f8b: JUMPI 00000f8c: PUSH2 0x0f94 00000f8f: CALLDATASIZE 00000f90: PUSH2 0x1527 00000f93: JUMP 00000f94: JUMPDEST 00000f95: SWAP2 00000f96: SWAP3 00000f97: PUSH2 0x0fa3 00000f9a: SWAP7 00000f9b: SWAP5 00000f9c: SWAP6 00000f9d: SWAP2 00000f9e: SWAP7 00000f9f: PUSH2 0x163b 00000fa2: JUMP 00000fa3: JUMPDEST 00000fa4: DUP2 00000fa5: ISZERO 00000fa6: PUSH2 0x070d 00000fa9: JUMPI 00000faa: DUP7 00000fab: DUP2 00000fac: EQ 00000fad: DUP1 00000fae: ISZERO 00000faf: SWAP1 00000fb0: PUSH2 0x10ec 00000fb3: JUMPI 00000fb4: JUMPDEST 00000fb5: PUSH2 0x06d9 00000fb8: JUMPI 00000fb9: PUSH0 00000fba: JUMPDEST 00000fbb: DUP3 00000fbc: DUP2 00000fbd: LT 00000fbe: PUSH2 0x0fc3 00000fc1: JUMPI 00000fc2: STOP 00000fc3: JUMPDEST 00000fc4: PUSH2 0x0fd1 00000fc7: PUSH2 0x0258 00000fca: DUP3 00000fcb: DUP6 00000fcc: DUP10 00000fcd: PUSH2 0x15bc 00000fd0: JUMP 00000fd1: JUMPDEST 00000fd2: PUSH2 0x0fdc 00000fd5: DUP3 00000fd6: DUP5 00000fd7: DUP11 00000fd8: PUSH2 0x17fd 00000fdb: JUMP 00000fdc: JUMPDEST 00000fdd: PUSH2 0x0fe7 00000fe0: DUP5 00000fe1: DUP13 00000fe2: DUP11 00000fe3: PUSH2 0x17fd 00000fe6: JUMP 00000fe7: JUMPDEST 00000fe8: SWAP4 00000fe9: SWAP1 00000fea: SWAP2 00000feb: DUP5 00000fec: DUP2 00000fed: SUB 00000fee: PUSH2 0x06d9 00000ff1: JUMPI 00000ff2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001007: SWAP1 00001008: DUP2 00001009: DUP4 0000100a: AND 0000100b: PUSH0 0000100c: MSTORE 0000100d: PUSH1 0x20 0000100f: PUSH1 0x04 00001011: DUP2 00001012: MSTORE 00001013: PUSH1 0x40 00001015: PUSH0 00001016: KECCAK256 00001017: PUSH4 0xffffffff 0000101c: DUP13 0000101d: AND 0000101e: PUSH0 0000101f: MSTORE 00001020: DUP2 00001021: MSTORE 00001022: PUSH1 0x40 00001024: PUSH0 00001025: KECCAK256 00001026: SWAP2 00001027: PUSH0 00001028: JUMPDEST 00001029: DUP13 0000102a: DUP3 0000102b: DUP3 0000102c: LT 0000102d: PUSH2 0x1042 00001030: JUMPI 00001031: POP 00001032: POP 00001033: POP 00001034: POP 00001035: POP 00001036: POP 00001037: POP 00001038: POP 00001039: POP 0000103a: POP 0000103b: PUSH1 0x01 0000103d: ADD 0000103e: PUSH2 0x0fba 00001041: JUMP 00001042: JUMPDEST 00001043: SWAP1 00001044: PUSH32 0x79d5c6b4e45613646dedf33b8eb7e88cd8cdea3ea09f15cbc89a4bf158c5ba97 00001065: PUSH1 0x01 00001067: SWAP3 00001068: DUP10 00001069: PUSH2 0x10e3 0000106c: PUSH2 0x1085 0000106f: DUP6 00001070: DUP16 00001071: DUP16 00001072: PUSH2 0x0258 00001075: DUP4 00001076: DUP13 00001077: PUSH2 0x107f 0000107a: SWAP4 0000107b: PUSH2 0x15bc 0000107e: JUMP 0000107f: JUMPDEST 00001080: SWAP5 00001081: PUSH2 0x15bc 00001084: JUMP 00001085: JUMPDEST 00001086: CALLDATALOAD 00001087: SWAP3 00001088: DUP11 00001089: DUP4 0000108a: AND 0000108b: PUSH0 0000108c: MSTORE 0000108d: DUP10 0000108e: DUP10 0000108f: MSTORE 00001090: PUSH1 0x40 00001092: PUSH0 00001093: KECCAK256 00001094: PUSH2 0x109e 00001097: DUP6 00001098: DUP3 00001099: SLOAD 0000109a: PUSH2 0x162e 0000109d: JUMP 0000109e: JUMPDEST 0000109f: SWAP1 000010a0: SSTORE 000010a1: PUSH1 0x40 000010a3: DUP1 000010a4: MLOAD 000010a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010ba: DUP1 000010bb: DUP16 000010bc: AND 000010bd: DUP3 000010be: MSTORE 000010bf: SWAP1 000010c0: SWAP5 000010c1: AND 000010c2: PUSH1 0x20 000010c4: DUP6 000010c5: ADD 000010c6: MSTORE 000010c7: DUP4 000010c8: ADD 000010c9: SWAP4 000010ca: SWAP1 000010cb: SWAP4 000010cc: MSTORE 000010cd: PUSH4 0xffffffff 000010d2: SWAP1 000010d3: SWAP3 000010d4: AND 000010d5: PUSH1 0x60 000010d7: DUP3 000010d8: ADD 000010d9: MSTORE 000010da: SWAP1 000010db: DUP2 000010dc: SWAP1 000010dd: PUSH1 0x80 000010df: DUP3 000010e0: ADD 000010e1: SWAP1 000010e2: JUMP 000010e3: JUMPDEST 000010e4: SUB 000010e5: SWAP1 000010e6: LOG1 000010e7: ADD 000010e8: PUSH2 0x1028 000010eb: JUMP 000010ec: JUMPDEST 000010ed: POP 000010ee: DUP2 000010ef: DUP8 000010f0: EQ 000010f1: ISZERO 000010f2: PUSH2 0x0fb4 000010f5: JUMP 000010f6: JUMPDEST 000010f7: CALLVALUE 000010f8: PUSH2 0x0346 000010fb: JUMPI 000010fc: PUSH1 0x40 000010fe: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 0000111f: CALLDATASIZE 00001120: ADD 00001121: SLT 00001122: PUSH2 0x0346 00001125: JUMPI 00001126: PUSH2 0x112d 00001129: PUSH2 0x14ad 0000112c: JUMP 0000112d: JUMPDEST 0000112e: CALLER 0000112f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001144: DUP3 00001145: AND 00001146: SUB 00001147: PUSH2 0x1156 0000114a: JUMPI 0000114b: PUSH2 0x001a 0000114e: SWAP1 0000114f: PUSH1 0x04 00001151: CALLDATALOAD 00001152: PUSH2 0x175f 00001155: JUMP 00001156: JUMPDEST 00001157: PUSH1 0x04 00001159: PUSH1 0x40 0000115b: MLOAD 0000115c: PUSH32 0x6697b23200000000000000000000000000000000000000000000000000000000 0000117d: DUP2 0000117e: MSTORE 0000117f: REVERT 00001180: JUMPDEST 00001181: CALLVALUE 00001182: PUSH2 0x0346 00001185: JUMPI 00001186: PUSH1 0x20 00001188: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 000011a9: CALLDATASIZE 000011aa: ADD 000011ab: SLT 000011ac: PUSH2 0x0346 000011af: JUMPI 000011b0: PUSH1 0x04 000011b2: CALLDATALOAD 000011b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011c8: DUP1 000011c9: DUP3 000011ca: AND 000011cb: DUP1 000011cc: SWAP3 000011cd: SUB 000011ce: PUSH2 0x0346 000011d1: JUMPI 000011d2: PUSH2 0x11d9 000011d5: PUSH2 0x163b 000011d8: JUMP 000011d9: JUMPDEST 000011da: PUSH1 0x01 000011dc: SLOAD 000011dd: SWAP1 000011de: DUP2 000011df: AND 000011e0: SWAP1 000011e1: DUP3 000011e2: ISZERO 000011e3: PUSH2 0x0841 000011e6: JUMPI 000011e7: DUP3 000011e8: DUP3 000011e9: EQ 000011ea: PUSH2 0x0817 000011ed: JUMPI 000011ee: PUSH32 0x42e6b4d0f422db8acba71d0435d0dd4e46fadb4a2d99683b66eded85126fb285 0000120f: PUSH1 0x40 00001211: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00001232: SWAP4 00001233: DUP2 00001234: MLOAD 00001235: SWAP1 00001236: DUP2 00001237: MSTORE 00001238: DUP6 00001239: PUSH1 0x20 0000123b: DUP3 0000123c: ADD 0000123d: MSTORE 0000123e: LOG1 0000123f: AND 00001240: OR 00001241: PUSH1 0x01 00001243: SSTORE 00001244: STOP 00001245: JUMPDEST 00001246: CALLVALUE 00001247: PUSH2 0x0346 0000124a: JUMPI 0000124b: PUSH1 0x40 0000124d: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 0000126e: CALLDATASIZE 0000126f: ADD 00001270: SLT 00001271: PUSH2 0x0346 00001274: JUMPI 00001275: PUSH2 0x001a 00001278: PUSH1 0x04 0000127a: CALLDATALOAD 0000127b: PUSH2 0x1282 0000127e: PUSH2 0x14ad 00001281: JUMP 00001282: JUMPDEST 00001283: SWAP1 00001284: DUP1 00001285: PUSH0 00001286: MSTORE 00001287: PUSH0 00001288: PUSH1 0x20 0000128a: MSTORE 0000128b: PUSH2 0x129a 0000128e: PUSH1 0x01 00001290: PUSH1 0x40 00001292: PUSH0 00001293: KECCAK256 00001294: ADD 00001295: SLOAD 00001296: PUSH2 0x1696 00001299: JUMP 0000129a: JUMPDEST 0000129b: PUSH2 0x16b7 0000129e: JUMP 0000129f: JUMPDEST 000012a0: CALLVALUE 000012a1: PUSH2 0x0346 000012a4: JUMPI 000012a5: PUSH1 0x20 000012a7: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 000012c8: CALLDATASIZE 000012c9: ADD 000012ca: SLT 000012cb: PUSH2 0x0346 000012ce: JUMPI 000012cf: PUSH1 0x04 000012d1: CALLDATALOAD 000012d2: PUSH0 000012d3: MSTORE 000012d4: PUSH0 000012d5: PUSH1 0x20 000012d7: MSTORE 000012d8: PUSH1 0x20 000012da: PUSH1 0x01 000012dc: PUSH1 0x40 000012de: PUSH0 000012df: KECCAK256 000012e0: ADD 000012e1: SLOAD 000012e2: PUSH1 0x40 000012e4: MLOAD 000012e5: SWAP1 000012e6: DUP2 000012e7: MSTORE 000012e8: RETURN 000012e9: JUMPDEST 000012ea: CALLVALUE 000012eb: PUSH2 0x0346 000012ee: JUMPI 000012ef: PUSH0 000012f0: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 00001311: CALLDATASIZE 00001312: ADD 00001313: SLT 00001314: PUSH2 0x0346 00001317: JUMPI 00001318: PUSH1 0x20 0000131a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000132f: PUSH1 0x03 00001331: SLOAD 00001332: AND 00001333: PUSH1 0x40 00001335: MLOAD 00001336: SWAP1 00001337: DUP2 00001338: MSTORE 00001339: RETURN 0000133a: JUMPDEST 0000133b: CALLVALUE 0000133c: PUSH2 0x0346 0000133f: JUMPI 00001340: PUSH1 0x60 00001342: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 00001363: CALLDATASIZE 00001364: ADD 00001365: SLT 00001366: PUSH2 0x0346 00001369: JUMPI 0000136a: PUSH2 0x1371 0000136d: PUSH2 0x148a 00001370: JUMP 00001371: JUMPDEST 00001372: PUSH2 0x1379 00001375: PUSH2 0x14d0 00001378: JUMP 00001379: JUMPDEST 0000137a: PUSH1 0x44 0000137c: CALLDATALOAD 0000137d: SWAP2 0000137e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001393: SWAP1 00001394: DUP2 00001395: DUP5 00001396: AND 00001397: DUP1 00001398: SWAP5 00001399: SUB 0000139a: PUSH2 0x0346 0000139d: JUMPI 0000139e: AND 0000139f: PUSH0 000013a0: MSTORE 000013a1: PUSH1 0x04 000013a3: PUSH1 0x20 000013a5: MSTORE 000013a6: PUSH4 0xffffffff 000013ab: PUSH1 0x40 000013ad: PUSH0 000013ae: KECCAK256 000013af: SWAP2 000013b0: AND 000013b1: PUSH0 000013b2: MSTORE 000013b3: PUSH1 0x20 000013b5: MSTORE 000013b6: PUSH1 0x40 000013b8: PUSH0 000013b9: KECCAK256 000013ba: SWAP1 000013bb: PUSH0 000013bc: MSTORE 000013bd: PUSH1 0x20 000013bf: MSTORE 000013c0: PUSH1 0x20 000013c2: PUSH1 0x40 000013c4: PUSH0 000013c5: KECCAK256 000013c6: SLOAD 000013c7: PUSH1 0x40 000013c9: MLOAD 000013ca: SWAP1 000013cb: DUP2 000013cc: MSTORE 000013cd: RETURN 000013ce: JUMPDEST 000013cf: CALLVALUE 000013d0: PUSH2 0x0346 000013d3: JUMPI 000013d4: PUSH1 0x20 000013d6: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 000013f7: CALLDATASIZE 000013f8: ADD 000013f9: SLT 000013fa: PUSH2 0x0346 000013fd: JUMPI 000013fe: PUSH1 0x04 00001400: CALLDATALOAD 00001401: SWAP1 00001402: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00001423: DUP3 00001424: AND 00001425: DUP1 00001426: SWAP3 00001427: SUB 00001428: PUSH2 0x0346 0000142b: JUMPI 0000142c: DUP2 0000142d: PUSH32 0x7965db0b00000000000000000000000000000000000000000000000000000000 0000144e: PUSH1 0x20 00001450: SWAP4 00001451: EQ 00001452: SWAP1 00001453: DUP2 00001454: ISZERO 00001455: PUSH2 0x1460 00001458: JUMPI 00001459: JUMPDEST 0000145a: POP 0000145b: ISZERO 0000145c: ISZERO 0000145d: DUP2 0000145e: MSTORE 0000145f: RETURN 00001460: JUMPDEST 00001461: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000 00001482: SWAP2 00001483: POP 00001484: EQ 00001485: DUP4 00001486: PUSH2 0x1459 00001489: JUMP 0000148a: JUMPDEST 0000148b: PUSH1 0x04 0000148d: CALLDATALOAD 0000148e: SWAP1 0000148f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014a4: DUP3 000014a5: AND 000014a6: DUP3 000014a7: SUB 000014a8: PUSH2 0x0346 000014ab: JUMPI 000014ac: JUMP 000014ad: JUMPDEST 000014ae: PUSH1 0x24 000014b0: CALLDATALOAD 000014b1: SWAP1 000014b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014c7: DUP3 000014c8: AND 000014c9: DUP3 000014ca: SUB 000014cb: PUSH2 0x0346 000014ce: JUMPI 000014cf: JUMP 000014d0: JUMPDEST 000014d1: PUSH1 0x24 000014d3: CALLDATALOAD 000014d4: SWAP1 000014d5: PUSH4 0xffffffff 000014da: DUP3 000014db: AND 000014dc: DUP3 000014dd: SUB 000014de: PUSH2 0x0346 000014e1: JUMPI 000014e2: JUMP 000014e3: JUMPDEST 000014e4: PUSH1 0x04 000014e6: CALLDATALOAD 000014e7: SWAP1 000014e8: PUSH4 0xffffffff 000014ed: DUP3 000014ee: AND 000014ef: DUP3 000014f0: SUB 000014f1: PUSH2 0x0346 000014f4: JUMPI 000014f5: JUMP 000014f6: JUMPDEST 000014f7: SWAP2 000014f8: DUP2 000014f9: PUSH1 0x1f 000014fb: DUP5 000014fc: ADD 000014fd: SLT 000014fe: ISZERO 000014ff: PUSH2 0x0346 00001502: JUMPI 00001503: DUP3 00001504: CALLDATALOAD 00001505: SWAP2 00001506: PUSH8 0xffffffffffffffff 0000150f: DUP4 00001510: GT 00001511: PUSH2 0x0346 00001514: JUMPI 00001515: PUSH1 0x20 00001517: DUP1 00001518: DUP6 00001519: ADD 0000151a: SWAP5 0000151b: DUP5 0000151c: PUSH1 0x05 0000151e: SHL 0000151f: ADD 00001520: ADD 00001521: GT 00001522: PUSH2 0x0346 00001525: JUMPI 00001526: JUMP 00001527: JUMPDEST 00001528: SWAP1 00001529: PUSH1 0x80 0000152b: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 0000154c: DUP4 0000154d: ADD 0000154e: SLT 0000154f: PUSH2 0x0346 00001552: JUMPI 00001553: PUSH8 0xffffffffffffffff 0000155c: PUSH1 0x04 0000155e: CALLDATALOAD 0000155f: DUP2 00001560: DUP2 00001561: GT 00001562: PUSH2 0x0346 00001565: JUMPI 00001566: DUP4 00001567: PUSH2 0x1572 0000156a: SWAP2 0000156b: PUSH1 0x04 0000156d: ADD 0000156e: PUSH2 0x14f6 00001571: JUMP 00001572: JUMPDEST 00001573: SWAP4 00001574: SWAP1 00001575: SWAP4 00001576: SWAP3 00001577: PUSH1 0x24 00001579: CALLDATALOAD 0000157a: DUP4 0000157b: DUP2 0000157c: GT 0000157d: PUSH2 0x0346 00001580: JUMPI 00001581: DUP3 00001582: PUSH2 0x158d 00001585: SWAP2 00001586: PUSH1 0x04 00001588: ADD 00001589: PUSH2 0x14f6 0000158c: JUMP 0000158d: JUMPDEST 0000158e: SWAP4 0000158f: SWAP1 00001590: SWAP4 00001591: SWAP3 00001592: PUSH1 0x44 00001594: CALLDATALOAD 00001595: SWAP2 00001596: DUP3 00001597: GT 00001598: PUSH2 0x0346 0000159b: JUMPI 0000159c: PUSH2 0x15a7 0000159f: SWAP2 000015a0: PUSH1 0x04 000015a2: ADD 000015a3: PUSH2 0x14f6 000015a6: JUMP 000015a7: JUMPDEST 000015a8: SWAP1 000015a9: SWAP2 000015aa: PUSH1 0x64 000015ac: CALLDATALOAD 000015ad: PUSH4 0xffffffff 000015b2: DUP2 000015b3: AND 000015b4: DUP2 000015b5: SUB 000015b6: PUSH2 0x0346 000015b9: JUMPI 000015ba: SWAP1 000015bb: JUMP 000015bc: JUMPDEST 000015bd: SWAP2 000015be: SWAP1 000015bf: DUP2 000015c0: LT 000015c1: ISZERO 000015c2: PUSH2 0x0d7c 000015c5: JUMPI 000015c6: PUSH1 0x05 000015c8: SHL 000015c9: ADD 000015ca: SWAP1 000015cb: JUMP 000015cc: JUMPDEST 000015cd: CALLDATALOAD 000015ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015e3: DUP2 000015e4: AND 000015e5: DUP2 000015e6: SUB 000015e7: PUSH2 0x0346 000015ea: JUMPI 000015eb: SWAP1 000015ec: JUMP 000015ed: JUMPDEST 000015ee: SWAP1 000015ef: PUSH1 0x1f 000015f1: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00001612: SWAP2 00001613: ADD 00001614: AND 00001615: DUP2 00001616: ADD 00001617: SWAP1 00001618: DUP2 00001619: LT 0000161a: PUSH8 0xffffffffffffffff 00001623: DUP3 00001624: GT 00001625: OR 00001626: PUSH2 0x0d4f 00001629: JUMPI 0000162a: PUSH1 0x40 0000162c: MSTORE 0000162d: JUMP 0000162e: JUMPDEST 0000162f: SWAP2 00001630: SWAP1 00001631: DUP3 00001632: ADD 00001633: DUP1 00001634: SWAP3 00001635: GT 00001636: PUSH2 0x06ac 00001639: JUMPI 0000163a: JUMP 0000163b: JUMPDEST 0000163c: CALLER 0000163d: PUSH0 0000163e: SWAP1 0000163f: DUP2 00001640: MSTORE 00001641: PUSH32 0x5cbfc8ee58ca47855df7bcf648dd304ddb6b932f9b87878bdf6318d7ec7ee5b7 00001662: PUSH1 0x20 00001664: MSTORE 00001665: PUSH1 0x40 00001667: SWAP1 00001668: KECCAK256 00001669: SLOAD 0000166a: PUSH32 0xdf8b4c520ffe197c5343c6f5aec59570151ef9a492f2c624fd45ddde6135ec42 0000168b: SWAP1 0000168c: PUSH1 0xff 0000168e: AND 0000168f: ISZERO 00001690: PUSH2 0x0f4f 00001693: JUMPI 00001694: POP 00001695: JUMP 00001696: JUMPDEST 00001697: DUP1 00001698: PUSH0 00001699: MSTORE 0000169a: PUSH0 0000169b: PUSH1 0x20 0000169d: MSTORE 0000169e: PUSH1 0x40 000016a0: PUSH0 000016a1: KECCAK256 000016a2: CALLER 000016a3: PUSH0 000016a4: MSTORE 000016a5: PUSH1 0x20 000016a7: MSTORE 000016a8: PUSH1 0xff 000016aa: PUSH1 0x40 000016ac: PUSH0 000016ad: KECCAK256 000016ae: SLOAD 000016af: AND 000016b0: ISZERO 000016b1: PUSH2 0x0f4f 000016b4: JUMPI 000016b5: POP 000016b6: JUMP 000016b7: JUMPDEST 000016b8: SWAP1 000016b9: DUP2 000016ba: PUSH0 000016bb: MSTORE 000016bc: PUSH0 000016bd: PUSH1 0x20 000016bf: MSTORE 000016c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016d5: PUSH1 0x40 000016d7: PUSH0 000016d8: KECCAK256 000016d9: SWAP2 000016da: AND 000016db: SWAP1 000016dc: DUP2 000016dd: PUSH0 000016de: MSTORE 000016df: PUSH1 0x20 000016e1: MSTORE 000016e2: PUSH1 0xff 000016e4: PUSH1 0x40 000016e6: PUSH0 000016e7: KECCAK256 000016e8: SLOAD 000016e9: AND 000016ea: ISZERO 000016eb: PUSH0 000016ec: EQ 000016ed: PUSH2 0x1759 000016f0: JUMPI 000016f1: DUP2 000016f2: PUSH0 000016f3: MSTORE 000016f4: PUSH0 000016f5: PUSH1 0x20 000016f7: MSTORE 000016f8: PUSH1 0x40 000016fa: PUSH0 000016fb: KECCAK256 000016fc: DUP2 000016fd: PUSH0 000016fe: MSTORE 000016ff: PUSH1 0x20 00001701: MSTORE 00001702: PUSH1 0x40 00001704: PUSH0 00001705: KECCAK256 00001706: PUSH1 0x01 00001708: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 00001729: DUP3 0000172a: SLOAD 0000172b: AND 0000172c: OR 0000172d: SWAP1 0000172e: SSTORE 0000172f: CALLER 00001730: SWAP2 00001731: PUSH32 0x2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d 00001752: PUSH0 00001753: DUP1 00001754: LOG4 00001755: PUSH1 0x01 00001757: SWAP1 00001758: JUMP 00001759: JUMPDEST 0000175a: POP 0000175b: POP 0000175c: PUSH0 0000175d: SWAP1 0000175e: JUMP 0000175f: JUMPDEST 00001760: SWAP1 00001761: DUP2 00001762: PUSH0 00001763: MSTORE 00001764: PUSH0 00001765: PUSH1 0x20 00001767: MSTORE 00001768: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000177d: PUSH1 0x40 0000177f: PUSH0 00001780: KECCAK256 00001781: SWAP2 00001782: AND 00001783: SWAP1 00001784: DUP2 00001785: PUSH0 00001786: MSTORE 00001787: PUSH1 0x20 00001789: MSTORE 0000178a: PUSH1 0xff 0000178c: PUSH1 0x40 0000178e: PUSH0 0000178f: KECCAK256 00001790: SLOAD 00001791: AND 00001792: PUSH0 00001793: EQ 00001794: PUSH2 0x1759 00001797: JUMPI 00001798: DUP2 00001799: PUSH0 0000179a: MSTORE 0000179b: PUSH0 0000179c: PUSH1 0x20 0000179e: MSTORE 0000179f: PUSH1 0x40 000017a1: PUSH0 000017a2: KECCAK256 000017a3: DUP2 000017a4: PUSH0 000017a5: MSTORE 000017a6: PUSH1 0x20 000017a8: MSTORE 000017a9: PUSH1 0x40 000017ab: PUSH0 000017ac: KECCAK256 000017ad: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 000017ce: DUP2 000017cf: SLOAD 000017d0: AND 000017d1: SWAP1 000017d2: SSTORE 000017d3: CALLER 000017d4: SWAP2 000017d5: PUSH32 0xf6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b 000017f6: PUSH0 000017f7: DUP1 000017f8: LOG4 000017f9: PUSH1 0x01 000017fb: SWAP1 000017fc: JUMP 000017fd: JUMPDEST 000017fe: SWAP2 000017ff: SWAP1 00001800: DUP2 00001801: LT 00001802: ISZERO 00001803: PUSH2 0x0d7c 00001806: JUMPI 00001807: PUSH1 0x05 00001809: SHL 0000180a: DUP2 0000180b: ADD 0000180c: CALLDATALOAD 0000180d: SWAP1 0000180e: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1 0000182f: DUP2 00001830: CALLDATASIZE 00001831: SUB 00001832: ADD 00001833: DUP3 00001834: SLT 00001835: ISZERO 00001836: PUSH2 0x0346 00001839: JUMPI 0000183a: ADD 0000183b: SWAP1 0000183c: DUP2 0000183d: CALLDATALOAD 0000183e: SWAP2 0000183f: PUSH8 0xffffffffffffffff 00001848: DUP4 00001849: GT 0000184a: PUSH2 0x0346 0000184d: JUMPI 0000184e: PUSH1 0x20 00001850: ADD 00001851: DUP3 00001852: PUSH1 0x05 00001854: SHL 00001855: CALLDATASIZE 00001856: SUB 00001857: DUP2 00001858: SGT 00001859: PUSH2 0x0346 0000185c: JUMPI 0000185d: SWAP2 0000185e: SWAP1 0000185f: JUMP 00001860: JUMPDEST 00001861: SWAP2 00001862: PUSH1 0x40 00001864: MLOAD 00001865: SWAP1 00001866: PUSH1 0x20 00001868: DUP3 00001869: ADD 0000186a: SWAP1 0000186b: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 0000188c: DUP3 0000188d: MSTORE 0000188e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018a3: DUP1 000018a4: SWAP5 000018a5: AND 000018a6: PUSH1 0x24 000018a8: DUP5 000018a9: ADD 000018aa: MSTORE 000018ab: PUSH1 0x44 000018ad: DUP4 000018ae: ADD 000018af: MSTORE 000018b0: PUSH1 0x44 000018b2: DUP3 000018b3: MSTORE 000018b4: PUSH1 0x80 000018b6: DUP3 000018b7: ADD 000018b8: SWAP1 000018b9: DUP3 000018ba: DUP3 000018bb: LT 000018bc: PUSH8 0xffffffffffffffff 000018c5: DUP4 000018c6: GT 000018c7: OR 000018c8: PUSH2 0x0d4f 000018cb: JUMPI 000018cc: PUSH1 0x20 000018ce: SWAP3 000018cf: PUSH0 000018d0: SWAP3 000018d1: PUSH1 0x40 000018d3: MSTORE 000018d4: MLOAD 000018d5: SWAP1 000018d6: DUP3 000018d7: DUP7 000018d8: GAS 000018d9: CALL 000018da: ISZERO 000018db: PUSH2 0x0352 000018de: JUMPI 000018df: PUSH0 000018e0: MLOAD 000018e1: RETURNDATASIZE 000018e2: PUSH2 0x1927 000018e5: JUMPI 000018e6: POP 000018e7: DUP1 000018e8: DUP3 000018e9: AND 000018ea: EXTCODESIZE 000018eb: ISZERO 000018ec: JUMPDEST 000018ed: PUSH2 0x18f4 000018f0: JUMPI 000018f1: POP 000018f2: POP 000018f3: JUMP 000018f4: JUMPDEST 000018f5: PUSH1 0x24 000018f7: SWAP3 000018f8: POP 000018f9: PUSH1 0x40 000018fb: MLOAD 000018fc: SWAP2 000018fd: PUSH32 0x5274afe700000000000000000000000000000000000000000000000000000000 0000191e: DUP4 0000191f: MSTORE 00001920: AND 00001921: PUSH1 0x04 00001923: DUP3 00001924: ADD 00001925: MSTORE 00001926: REVERT 00001927: JUMPDEST 00001928: PUSH1 0x01 0000192a: EQ 0000192b: ISZERO 0000192c: PUSH2 0x18ec 0000192f: JUMP 00001930: JUMPDEST 00001931: DUP2 00001932: SELFBALANCE 00001933: LT 00001934: PUSH2 0x19e1 00001937: JUMPI 00001938: PUSH0 00001939: DUP1 0000193a: DUP1 0000193b: SWAP4 0000193c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001951: DUP3 00001952: SWAP5 00001953: AND 00001954: GAS 00001955: CALL 00001956: RETURNDATASIZE 00001957: ISZERO 00001958: PUSH2 0x19dc 0000195b: JUMPI 0000195c: RETURNDATASIZE 0000195d: PUSH8 0xffffffffffffffff 00001966: DUP2 00001967: GT 00001968: PUSH2 0x0d4f 0000196b: JUMPI 0000196c: PUSH1 0x40 0000196e: MLOAD 0000196f: SWAP1 00001970: PUSH2 0x19a1 00001973: PUSH1 0x20 00001975: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00001996: PUSH1 0x1f 00001998: DUP5 00001999: ADD 0000199a: AND 0000199b: ADD 0000199c: DUP4 0000199d: PUSH2 0x15ed 000019a0: JUMP 000019a1: JUMPDEST 000019a2: DUP2 000019a3: MSTORE 000019a4: PUSH0 000019a5: PUSH1 0x20 000019a7: RETURNDATASIZE 000019a8: SWAP3 000019a9: ADD 000019aa: RETURNDATACOPY 000019ab: JUMPDEST 000019ac: ISZERO 000019ad: PUSH2 0x19b2 000019b0: JUMPI 000019b1: JUMP 000019b2: JUMPDEST 000019b3: PUSH1 0x04 000019b5: PUSH1 0x40 000019b7: MLOAD 000019b8: PUSH32 0xd6bda27500000000000000000000000000000000000000000000000000000000 000019d9: DUP2 000019da: MSTORE 000019db: REVERT 000019dc: JUMPDEST 000019dd: PUSH2 0x19ab 000019e0: JUMP 000019e1: JUMPDEST 000019e2: PUSH1 0x44 000019e4: DUP3 000019e5: SELFBALANCE 000019e6: SWAP1 000019e7: PUSH1 0x40 000019e9: MLOAD 000019ea: SWAP2 000019eb: PUSH32 0xcf47918100000000000000000000000000000000000000000000000000000000 00001a0c: DUP4 00001a0d: MSTORE 00001a0e: PUSH1 0x04 00001a10: DUP4 00001a11: ADD 00001a12: MSTORE 00001a13: PUSH1 0x24 00001a15: DUP3 00001a16: ADD 00001a17: MSTORE 00001a18: REVERT 00001a19: INVALID 00001a1a: LOG2 00001a1b: PUSH5 0x6970667358 00001a21: UNKNOWN(0x22) 00001a22: SLT 00001a23: KECCAK256 00001a24: UNKNOWN(0xD4) 00001a25: UNKNOWN(0x2A) 00001a26: PUSH21 0x764ac4b487994fbe07dcaf3b38f9176c80493cbd16 00001a3c: SSTORE 00001a3d: UNKNOWN(0xD8) 00001a3e: AND 00001a3f: UNKNOWN(0x4E) 00001a40: PUSH19
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x9e1ae8a2875755b799f514d63149fca034e3b641d55760f4a43736ba0826c876
call_targets:
0x9c3786d4107f7b0bcbf82ac1e2f7ec11be450a3c
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x9e1ae8a2875755b799f514d63149fca034e3b641d55760f4a43736ba0826c876",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x9c3786d4107f7b0bcbf82ac1e2f7ec11be450a3c"
],
"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": "0x01ffc9a7",
"selector": "0x01ffc9a7",
"calldata_variants": [
"0x01ffc9a7",
"0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x054a68ad",
"selector": "0x054a68ad",
"calldata_variants": [
"0x054a68ad",
"0x054a68ad0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2194f3a2",
"selector": "0x2194f3a2",
"calldata_variants": [
"0x2194f3a2",
"0x2194f3a20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x248a9ca3",
"selector": "0x248a9ca3",
"calldata_variants": [
"0x248a9ca3",
"0x248a9ca30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2f2ff15d",
"selector": "0x2f2ff15d",
"calldata_variants": [
"0x2f2ff15d",
"0x2f2ff15d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2fde3826",
"selector": "0x2fde3826",
"calldata_variants": [
"0x2fde3826",
"0x2fde38260000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x36568abe",
"selector": "0x36568abe",
"calldata_variants": [
"0x36568abe",
"0x36568abe0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3f3a0311",
"selector": "0x3f3a0311",
"calldata_variants": [
"0x3f3a0311",
"0x3f3a03110000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 6361,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6485,
"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: 0x9e1ae8a2875755b799f514d63149fca034e3b641d55760f4a43736ba0826c876
call_targets:
0x9c3786d4107f7b0bcbf82ac1e2f7ec11be450a3c
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x9e1ae8a2875755b799f514d63149fca034e3b641d55760f4a43736ba0826c876",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x9c3786d4107f7b0bcbf82ac1e2f7ec11be450a3c"
],
"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": "0x01ffc9a7",
"selector": "0x01ffc9a7",
"calldata_variants": [
"0x01ffc9a7",
"0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x054a68ad",
"selector": "0x054a68ad",
"calldata_variants": [
"0x054a68ad",
"0x054a68ad0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2194f3a2",
"selector": "0x2194f3a2",
"calldata_variants": [
"0x2194f3a2",
"0x2194f3a20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x248a9ca3",
"selector": "0x248a9ca3",
"calldata_variants": [
"0x248a9ca3",
"0x248a9ca30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2f2ff15d",
"selector": "0x2f2ff15d",
"calldata_variants": [
"0x2f2ff15d",
"0x2f2ff15d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2fde3826",
"selector": "0x2fde3826",
"calldata_variants": [
"0x2fde3826",
"0x2fde38260000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x36568abe",
"selector": "0x36568abe",
"calldata_variants": [
"0x36568abe",
"0x36568abe0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3f3a0311",
"selector": "0x3f3a0311",
"calldata_variants": [
"0x3f3a0311",
"0x3f3a03110000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 6361,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6485,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|