019b477e-b434-7145-9d69-0b3bd4e4fe80
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 |
|---|---|---|---|---|
| 22683 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 22684 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 89689 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 89690 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 89691 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 89692 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x00fb 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH4 0x06fdde03 0000003a: DUP2 0000003b: EQ 0000003c: PUSH2 0x013f 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x15a8ac0b 00000046: EQ 00000047: PUSH2 0x01c9 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x18160ddd 00000051: EQ 00000052: PUSH2 0x01f0 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x2bc0fe34 0000005c: EQ 0000005d: PUSH2 0x0205 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x2e1a7d4d 00000067: EQ 00000068: PUSH2 0x024d 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x313ce567 00000072: EQ 00000073: PUSH2 0x0279 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x66f82cb9 0000007d: EQ 0000007e: PUSH2 0x02a4 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x6841fd27 00000088: EQ 00000089: PUSH2 0x02b9 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x6ad5aff0 00000093: EQ 00000094: PUSH2 0x02d1 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x70a08231 0000009e: EQ 0000009f: PUSH2 0x02e6 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x764fe7d1 000000a9: EQ 000000aa: PUSH2 0x0307 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x95d89b41 000000b4: EQ 000000b5: PUSH2 0x031c 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0xa4f35b65 000000bf: EQ 000000c0: PUSH2 0x0331 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0xa9059cbb 000000ca: EQ 000000cb: PUSH2 0x0346 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0xb94c3451 000000d5: EQ 000000d6: PUSH2 0x036a 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0xcc3d2721 000000e0: EQ 000000e1: PUSH2 0x037f 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0xd2cd9673 000000eb: EQ 000000ec: PUSH2 0x0394 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0xea105ac7 000000f6: EQ 000000f7: PUSH2 0x03a9 000000fa: JUMPI 000000fb: JUMPDEST 000000fc: PUSH2 0x013d 000000ff: PUSH2 0x0138 00000102: PUSH1 0x00 00000104: CALLDATASIZE 00000105: DUP1 00000106: DUP1 00000107: PUSH1 0x1f 00000109: ADD 0000010a: PUSH1 0x20 0000010c: DUP1 0000010d: SWAP2 0000010e: DIV 0000010f: MUL 00000110: PUSH1 0x20 00000112: ADD 00000113: PUSH1 0x40 00000115: MLOAD 00000116: SWAP1 00000117: DUP2 00000118: ADD 00000119: PUSH1 0x40 0000011b: MSTORE 0000011c: DUP1 0000011d: SWAP4 0000011e: SWAP3 0000011f: SWAP2 00000120: SWAP1 00000121: DUP2 00000122: DUP2 00000123: MSTORE 00000124: PUSH1 0x20 00000126: ADD 00000127: DUP4 00000128: DUP4 00000129: DUP1 0000012a: DUP3 0000012b: DUP5 0000012c: CALLDATACOPY 0000012d: POP 0000012e: PUSH2 0x03da 00000131: SWAP5 00000132: POP 00000133: POP 00000134: POP 00000135: POP 00000136: POP 00000137: JUMP 00000138: JUMPDEST 00000139: PUSH2 0x03e1 0000013c: JUMP 0000013d: JUMPDEST 0000013e: STOP 0000013f: JUMPDEST 00000140: CALLVALUE 00000141: DUP1 00000142: ISZERO 00000143: PUSH2 0x014b 00000146: JUMPI 00000147: PUSH1 0x00 00000149: DUP1 0000014a: REVERT 0000014b: JUMPDEST 0000014c: POP 0000014d: PUSH2 0x0154 00000150: PUSH2 0x042f 00000153: JUMP 00000154: JUMPDEST 00000155: PUSH1 0x40 00000157: DUP1 00000158: MLOAD 00000159: PUSH1 0x20 0000015b: DUP1 0000015c: DUP3 0000015d: MSTORE 0000015e: DUP4 0000015f: MLOAD 00000160: DUP2 00000161: DUP4 00000162: ADD 00000163: MSTORE 00000164: DUP4 00000165: MLOAD 00000166: SWAP2 00000167: SWAP3 00000168: DUP4 00000169: SWAP3 0000016a: SWAP1 0000016b: DUP4 0000016c: ADD 0000016d: SWAP2 0000016e: DUP6 0000016f: ADD 00000170: SWAP1 00000171: DUP1 00000172: DUP4 00000173: DUP4 00000174: PUSH1 0x00 00000176: JUMPDEST 00000177: DUP4 00000178: DUP2 00000179: LT 0000017a: ISZERO 0000017b: PUSH2 0x018e 0000017e: JUMPI 0000017f: DUP2 00000180: DUP2 00000181: ADD 00000182: MLOAD 00000183: DUP4 00000184: DUP3 00000185: ADD 00000186: MSTORE 00000187: PUSH1 0x20 00000189: ADD 0000018a: PUSH2 0x0176 0000018d: JUMP 0000018e: JUMPDEST 0000018f: POP 00000190: POP 00000191: POP 00000192: POP 00000193: SWAP1 00000194: POP 00000195: SWAP1 00000196: DUP2 00000197: ADD 00000198: SWAP1 00000199: PUSH1 0x1f 0000019b: AND 0000019c: DUP1 0000019d: ISZERO 0000019e: PUSH2 0x01bb 000001a1: JUMPI 000001a2: DUP1 000001a3: DUP3 000001a4: SUB 000001a5: DUP1 000001a6: MLOAD 000001a7: PUSH1 0x01 000001a9: DUP4 000001aa: PUSH1 0x20 000001ac: SUB 000001ad: PUSH2 0x0100 000001b0: EXP 000001b1: SUB 000001b2: NOT 000001b3: AND 000001b4: DUP2 000001b5: MSTORE 000001b6: PUSH1 0x20 000001b8: ADD 000001b9: SWAP2 000001ba: POP 000001bb: JUMPDEST 000001bc: POP 000001bd: SWAP3 000001be: POP 000001bf: POP 000001c0: POP 000001c1: PUSH1 0x40 000001c3: MLOAD 000001c4: DUP1 000001c5: SWAP2 000001c6: SUB 000001c7: SWAP1 000001c8: RETURN 000001c9: JUMPDEST 000001ca: CALLVALUE 000001cb: DUP1 000001cc: ISZERO 000001cd: PUSH2 0x01d5 000001d0: JUMPI 000001d1: PUSH1 0x00 000001d3: DUP1 000001d4: REVERT 000001d5: JUMPDEST 000001d6: POP 000001d7: PUSH2 0x01de 000001da: PUSH2 0x0466 000001dd: JUMP 000001de: JUMPDEST 000001df: PUSH1 0x40 000001e1: DUP1 000001e2: MLOAD 000001e3: SWAP2 000001e4: DUP3 000001e5: MSTORE 000001e6: MLOAD 000001e7: SWAP1 000001e8: DUP2 000001e9: SWAP1 000001ea: SUB 000001eb: PUSH1 0x20 000001ed: ADD 000001ee: SWAP1 000001ef: RETURN 000001f0: JUMPDEST 000001f1: CALLVALUE 000001f2: DUP1 000001f3: ISZERO 000001f4: PUSH2 0x01fc 000001f7: JUMPI 000001f8: PUSH1 0x00 000001fa: DUP1 000001fb: REVERT 000001fc: JUMPDEST 000001fd: POP 000001fe: PUSH2 0x01de 00000201: PUSH2 0x046c 00000204: JUMP 00000205: JUMPDEST 00000206: CALLVALUE 00000207: DUP1 00000208: ISZERO 00000209: PUSH2 0x0211 0000020c: JUMPI 0000020d: PUSH1 0x00 0000020f: DUP1 00000210: REVERT 00000211: JUMPDEST 00000212: POP 00000213: PUSH2 0x0226 00000216: PUSH1 0x01 00000218: PUSH1 0xa0 0000021a: PUSH1 0x02 0000021c: EXP 0000021d: SUB 0000021e: PUSH1 0x04 00000220: CALLDATALOAD 00000221: AND 00000222: PUSH2 0x0472 00000225: JUMP 00000226: JUMPDEST 00000227: PUSH1 0x40 00000229: DUP1 0000022a: MLOAD 0000022b: SWAP4 0000022c: DUP5 0000022d: MSTORE 0000022e: PUSH1 0x20 00000230: DUP5 00000231: ADD 00000232: SWAP3 00000233: SWAP1 00000234: SWAP3 00000235: MSTORE 00000236: PUSH1 0x01 00000238: PUSH1 0xa0 0000023a: PUSH1 0x02 0000023c: EXP 0000023d: SUB 0000023e: AND 0000023f: DUP3 00000240: DUP3 00000241: ADD 00000242: MSTORE 00000243: MLOAD 00000244: SWAP1 00000245: DUP2 00000246: SWAP1 00000247: SUB 00000248: PUSH1 0x60 0000024a: ADD 0000024b: SWAP1 0000024c: RETURN 0000024d: JUMPDEST 0000024e: CALLVALUE 0000024f: DUP1 00000250: ISZERO 00000251: PUSH2 0x0259 00000254: JUMPI 00000255: PUSH1 0x00 00000257: DUP1 00000258: REVERT 00000259: JUMPDEST 0000025a: POP 0000025b: PUSH2 0x0265 0000025e: PUSH1 0x04 00000260: CALLDATALOAD 00000261: PUSH2 0x04a3 00000264: JUMP 00000265: JUMPDEST 00000266: PUSH1 0x40 00000268: DUP1 00000269: MLOAD 0000026a: SWAP2 0000026b: ISZERO 0000026c: ISZERO 0000026d: DUP3 0000026e: MSTORE 0000026f: MLOAD 00000270: SWAP1 00000271: DUP2 00000272: SWAP1 00000273: SUB 00000274: PUSH1 0x20 00000276: ADD 00000277: SWAP1 00000278: RETURN 00000279: JUMPDEST 0000027a: CALLVALUE 0000027b: DUP1 0000027c: ISZERO 0000027d: PUSH2 0x0285 00000280: JUMPI 00000281: PUSH1 0x00 00000283: DUP1 00000284: REVERT 00000285: JUMPDEST 00000286: POP 00000287: PUSH2 0x028e 0000028a: PUSH2 0x0595 0000028d: JUMP 0000028e: JUMPDEST 0000028f: PUSH1 0x40 00000291: DUP1 00000292: MLOAD 00000293: PUSH1 0xff 00000295: SWAP1 00000296: SWAP3 00000297: AND 00000298: DUP3 00000299: MSTORE 0000029a: MLOAD 0000029b: SWAP1 0000029c: DUP2 0000029d: SWAP1 0000029e: SUB 0000029f: PUSH1 0x20 000002a1: ADD 000002a2: SWAP1 000002a3: RETURN 000002a4: JUMPDEST 000002a5: CALLVALUE 000002a6: DUP1 000002a7: ISZERO 000002a8: PUSH2 0x02b0 000002ab: JUMPI 000002ac: PUSH1 0x00 000002ae: DUP1 000002af: REVERT 000002b0: JUMPDEST 000002b1: POP 000002b2: PUSH2 0x01de 000002b5: PUSH2 0x059a 000002b8: JUMP 000002b9: JUMPDEST 000002ba: CALLVALUE 000002bb: DUP1 000002bc: ISZERO 000002bd: PUSH2 0x02c5 000002c0: JUMPI 000002c1: PUSH1 0x00 000002c3: DUP1 000002c4: REVERT 000002c5: JUMPDEST 000002c6: POP 000002c7: PUSH2 0x0265 000002ca: PUSH1 0x04 000002cc: CALLDATALOAD 000002cd: PUSH2 0x05a0 000002d0: JUMP 000002d1: JUMPDEST 000002d2: CALLVALUE 000002d3: DUP1 000002d4: ISZERO 000002d5: PUSH2 0x02dd 000002d8: JUMPI 000002d9: PUSH1 0x00 000002db: DUP1 000002dc: REVERT 000002dd: JUMPDEST 000002de: POP 000002df: PUSH2 0x01de 000002e2: PUSH2 0x0644 000002e5: JUMP 000002e6: JUMPDEST 000002e7: CALLVALUE 000002e8: DUP1 000002e9: ISZERO 000002ea: PUSH2 0x02f2 000002ed: JUMPI 000002ee: PUSH1 0x00 000002f0: DUP1 000002f1: REVERT 000002f2: JUMPDEST 000002f3: POP 000002f4: PUSH2 0x01de 000002f7: PUSH1 0x01 000002f9: PUSH1 0xa0 000002fb: PUSH1 0x02 000002fd: EXP 000002fe: SUB 000002ff: PUSH1 0x04 00000301: CALLDATALOAD 00000302: AND 00000303: PUSH2 0x064a 00000306: JUMP 00000307: JUMPDEST 00000308: CALLVALUE 00000309: DUP1 0000030a: ISZERO 0000030b: PUSH2 0x0313 0000030e: JUMPI 0000030f: PUSH1 0x00 00000311: DUP1 00000312: REVERT 00000313: JUMPDEST 00000314: POP 00000315: PUSH2 0x01de 00000318: PUSH2 0x0665 0000031b: JUMP 0000031c: JUMPDEST 0000031d: CALLVALUE 0000031e: DUP1 0000031f: ISZERO 00000320: PUSH2 0x0328 00000323: JUMPI 00000324: PUSH1 0x00 00000326: DUP1 00000327: REVERT 00000328: JUMPDEST 00000329: POP 0000032a: PUSH2 0x0154 0000032d: PUSH2 0x066b 00000330: JUMP 00000331: JUMPDEST 00000332: CALLVALUE 00000333: DUP1 00000334: ISZERO 00000335: PUSH2 0x033d 00000338: JUMPI 00000339: PUSH1 0x00 0000033b: DUP1 0000033c: REVERT 0000033d: JUMPDEST 0000033e: POP 0000033f: PUSH2 0x01de 00000342: PUSH2 0x06a2 00000345: JUMP 00000346: JUMPDEST 00000347: CALLVALUE 00000348: DUP1 00000349: ISZERO 0000034a: PUSH2 0x0352 0000034d: JUMPI 0000034e: PUSH1 0x00 00000350: DUP1 00000351: REVERT 00000352: JUMPDEST 00000353: POP 00000354: PUSH2 0x0265 00000357: PUSH1 0x01 00000359: PUSH1 0xa0 0000035b: PUSH1 0x02 0000035d: EXP 0000035e: SUB 0000035f: PUSH1 0x04 00000361: CALLDATALOAD 00000362: AND 00000363: PUSH1 0x24 00000365: CALLDATALOAD 00000366: PUSH2 0x06a8 00000369: JUMP 0000036a: JUMPDEST 0000036b: CALLVALUE 0000036c: DUP1 0000036d: ISZERO 0000036e: PUSH2 0x0376 00000371: JUMPI 00000372: PUSH1 0x00 00000374: DUP1 00000375: REVERT 00000376: JUMPDEST 00000377: POP 00000378: PUSH2 0x01de 0000037b: PUSH2 0x0774 0000037e: JUMP 0000037f: JUMPDEST 00000380: CALLVALUE 00000381: DUP1 00000382: ISZERO 00000383: PUSH2 0x038b 00000386: JUMPI 00000387: PUSH1 0x00 00000389: DUP1 0000038a: REVERT 0000038b: JUMPDEST 0000038c: POP 0000038d: PUSH2 0x01de 00000390: PUSH2 0x077a 00000393: JUMP 00000394: JUMPDEST 00000395: CALLVALUE 00000396: DUP1 00000397: ISZERO 00000398: PUSH2 0x03a0 0000039b: JUMPI 0000039c: PUSH1 0x00 0000039e: DUP1 0000039f: REVERT 000003a0: JUMPDEST 000003a1: POP 000003a2: PUSH2 0x01de 000003a5: PUSH2 0x0780 000003a8: JUMP 000003a9: JUMPDEST 000003aa: CALLVALUE 000003ab: DUP1 000003ac: ISZERO 000003ad: PUSH2 0x03b5 000003b0: JUMPI 000003b1: PUSH1 0x00 000003b3: DUP1 000003b4: REVERT 000003b5: JUMPDEST 000003b6: POP 000003b7: PUSH2 0x03be 000003ba: PUSH2 0x079e 000003bd: JUMP 000003be: JUMPDEST 000003bf: PUSH1 0x40 000003c1: DUP1 000003c2: MLOAD 000003c3: PUSH1 0x01 000003c5: PUSH1 0xa0 000003c7: PUSH1 0x02 000003c9: EXP 000003ca: SUB 000003cb: SWAP1 000003cc: SWAP3 000003cd: AND 000003ce: DUP3 000003cf: MSTORE 000003d0: MLOAD 000003d1: SWAP1 000003d2: DUP2 000003d3: SWAP1 000003d4: SUB 000003d5: PUSH1 0x20 000003d7: ADD 000003d8: SWAP1 000003d9: RETURN 000003da: JUMPDEST 000003db: PUSH1 0x14 000003dd: ADD 000003de: MLOAD 000003df: SWAP1 000003e0: JUMP 000003e1: JUMPDEST 000003e2: PUSH1 0x04 000003e4: SLOAD 000003e5: PUSH1 0x00 000003e7: SWAP1 000003e8: CALLVALUE 000003e9: LT 000003ea: ISZERO 000003eb: PUSH2 0x03f3 000003ee: JUMPI 000003ef: PUSH1 0x00 000003f1: DUP1 000003f2: REVERT 000003f3: JUMPDEST 000003f4: PUSH1 0x03 000003f6: SLOAD 000003f7: PUSH2 0x0407 000003fa: SWAP1 000003fb: CALLVALUE 000003fc: SWAP1 000003fd: PUSH4 0xffffffff 00000402: PUSH2 0x07ad 00000405: AND 00000406: JUMP 00000407: JUMPDEST 00000408: PUSH1 0x08 0000040a: SLOAD 0000040b: SWAP1 0000040c: SWAP2 0000040d: POP 0000040e: PUSH2 0x041d 00000411: SWAP1 00000412: DUP3 00000413: PUSH4 0xffffffff 00000418: PUSH2 0x0831 0000041b: AND 0000041c: JUMP 0000041d: JUMPDEST 0000041e: PUSH1 0x08 00000420: SSTORE 00000421: PUSH2 0x042b 00000424: DUP2 00000425: CALLER 00000426: DUP5 00000427: PUSH2 0x088e 0000042a: JUMP 0000042b: JUMPDEST 0000042c: POP 0000042d: POP 0000042e: JUMP 0000042f: JUMPDEST 00000430: PUSH1 0x40 00000432: DUP1 00000433: MLOAD 00000434: DUP1 00000435: DUP3 00000436: ADD 00000437: SWAP1 00000438: SWAP2 00000439: MSTORE 0000043a: PUSH1 0x07 0000043c: DUP2 0000043d: MSTORE 0000043e: PUSH32 0x435269704c6f7300000000000000000000000000000000000000000000000000 0000045f: PUSH1 0x20 00000461: DUP3 00000462: ADD 00000463: MSTORE 00000464: DUP2 00000465: JUMP 00000466: JUMPDEST 00000467: PUSH1 0x05 00000469: SLOAD 0000046a: DUP2 0000046b: JUMP 0000046c: JUMPDEST 0000046d: PUSH1 0x08 0000046f: SLOAD 00000470: SWAP1 00000471: JUMP 00000472: JUMPDEST 00000473: PUSH1 0x01 00000475: PUSH1 0xa0 00000477: PUSH1 0x02 00000479: EXP 0000047a: SUB 0000047b: SWAP1 0000047c: DUP2 0000047d: AND 0000047e: PUSH1 0x00 00000480: SWAP1 00000481: DUP2 00000482: MSTORE 00000483: PUSH1 0x0c 00000485: PUSH1 0x20 00000487: MSTORE 00000488: PUSH1 0x40 0000048a: SWAP1 0000048b: KECCAK256 0000048c: PUSH1 0x01 0000048e: DUP2 0000048f: ADD 00000490: SLOAD 00000491: PUSH1 0x02 00000493: DUP3 00000494: ADD 00000495: SLOAD 00000496: PUSH1 0x03 00000498: SWAP1 00000499: SWAP3 0000049a: ADD 0000049b: SLOAD 0000049c: SWAP1 0000049d: SWAP4 0000049e: SWAP2 0000049f: SWAP3 000004a0: AND 000004a1: SWAP1 000004a2: JUMP 000004a3: JUMPDEST 000004a4: PUSH1 0x00 000004a6: PUSH1 0x06 000004a8: SLOAD 000004a9: DUP3 000004aa: LT 000004ab: ISZERO 000004ac: DUP1 000004ad: ISZERO 000004ae: PUSH2 0x04c6 000004b1: JUMPI 000004b2: POP 000004b3: CALLER 000004b4: PUSH1 0x00 000004b6: SWAP1 000004b7: DUP2 000004b8: MSTORE 000004b9: PUSH1 0x0c 000004bb: PUSH1 0x20 000004bd: MSTORE 000004be: PUSH1 0x40 000004c0: SWAP1 000004c1: KECCAK256 000004c2: SLOAD 000004c3: DUP3 000004c4: GT 000004c5: ISZERO 000004c6: JUMPDEST 000004c7: ISZERO 000004c8: ISZERO 000004c9: PUSH2 0x04d1 000004cc: JUMPI 000004cd: PUSH1 0x00 000004cf: DUP1 000004d0: REVERT 000004d1: JUMPDEST 000004d2: CALLER 000004d3: PUSH1 0x00 000004d5: SWAP1 000004d6: DUP2 000004d7: MSTORE 000004d8: PUSH1 0x0c 000004da: PUSH1 0x20 000004dc: MSTORE 000004dd: PUSH1 0x40 000004df: SWAP1 000004e0: KECCAK256 000004e1: SLOAD 000004e2: PUSH2 0x04f1 000004e5: SWAP1 000004e6: DUP4 000004e7: PUSH4 0xffffffff 000004ec: PUSH2 0x105a 000004ef: AND 000004f0: JUMP 000004f1: JUMPDEST 000004f2: CALLER 000004f3: PUSH1 0x00 000004f5: SWAP1 000004f6: DUP2 000004f7: MSTORE 000004f8: PUSH1 0x0c 000004fa: PUSH1 0x20 000004fc: MSTORE 000004fd: PUSH1 0x40 000004ff: SWAP1 00000500: KECCAK256 00000501: SSTORE 00000502: PUSH1 0x08 00000504: SLOAD 00000505: PUSH2 0x0514 00000508: SWAP1 00000509: DUP4 0000050a: PUSH4 0xffffffff 0000050f: PUSH2 0x105a 00000512: AND 00000513: JUMP 00000514: JUMPDEST 00000515: PUSH1 0x08 00000517: SSTORE 00000518: PUSH1 0x00 0000051a: SLOAD 0000051b: PUSH1 0x40 0000051d: DUP1 0000051e: MLOAD 0000051f: DUP5 00000520: DUP2 00000521: MSTORE 00000522: SWAP1 00000523: MLOAD 00000524: PUSH1 0x01 00000526: PUSH1 0xa0 00000528: PUSH1 0x02 0000052a: EXP 0000052b: SUB 0000052c: SWAP1 0000052d: SWAP3 0000052e: AND 0000052f: SWAP2 00000530: CALLER 00000531: SWAP2 00000532: PUSH1 0x00 00000534: DUP1 00000535: MLOAD 00000536: PUSH1 0x20 00000538: PUSH2 0x1124 0000053b: DUP4 0000053c: CODECOPY 0000053d: DUP2 0000053e: MLOAD 0000053f: SWAP2 00000540: MSTORE 00000541: SWAP2 00000542: SWAP1 00000543: DUP2 00000544: SWAP1 00000545: SUB 00000546: PUSH1 0x20 00000548: ADD 00000549: SWAP1 0000054a: LOG3 0000054b: PUSH1 0x03 0000054d: SLOAD 0000054e: CALLER 0000054f: SWAP1 00000550: PUSH2 0x08fc 00000553: SWAP1 00000554: PUSH2 0x0564 00000557: SWAP1 00000558: DUP6 00000559: SWAP1 0000055a: PUSH4 0xffffffff 0000055f: PUSH2 0x10ba 00000562: AND 00000563: JUMP 00000564: JUMPDEST 00000565: PUSH1 0x40 00000567: MLOAD 00000568: DUP2 00000569: ISZERO 0000056a: SWAP1 0000056b: SWAP3 0000056c: MUL 0000056d: SWAP2 0000056e: PUSH1 0x00 00000570: DUP2 00000571: DUP2 00000572: DUP2 00000573: DUP6 00000574: DUP9 00000575: DUP9 00000576: CALL 00000577: SWAP4 00000578: POP 00000579: POP 0000057a: POP 0000057b: POP 0000057c: ISZERO 0000057d: DUP1 0000057e: ISZERO 0000057f: PUSH2 0x058c 00000582: JUMPI 00000583: RETURNDATASIZE 00000584: PUSH1 0x00 00000586: DUP1 00000587: RETURNDATACOPY 00000588: RETURNDATASIZE 00000589: PUSH1 0x00 0000058b: REVERT 0000058c: JUMPDEST 0000058d: POP 0000058e: PUSH1 0x01 00000590: SWAP3 00000591: SWAP2 00000592: POP 00000593: POP 00000594: JUMP 00000595: JUMPDEST 00000596: PUSH1 0x12 00000598: DUP2 00000599: JUMP 0000059a: JUMPDEST 0000059b: PUSH1 0x03 0000059d: SLOAD 0000059e: DUP2 0000059f: JUMP 000005a0: JUMPDEST 000005a1: PUSH1 0x00 000005a3: PUSH1 0x05 000005a5: SLOAD 000005a6: DUP3 000005a7: LT 000005a8: ISZERO 000005a9: DUP1 000005aa: ISZERO 000005ab: PUSH2 0x05c3 000005ae: JUMPI 000005af: POP 000005b0: CALLER 000005b1: PUSH1 0x00 000005b3: SWAP1 000005b4: DUP2 000005b5: MSTORE 000005b6: PUSH1 0x0c 000005b8: PUSH1 0x20 000005ba: MSTORE 000005bb: PUSH1 0x40 000005bd: SWAP1 000005be: KECCAK256 000005bf: SLOAD 000005c0: DUP3 000005c1: GT 000005c2: ISZERO 000005c3: JUMPDEST 000005c4: ISZERO 000005c5: ISZERO 000005c6: PUSH2 0x05ce 000005c9: JUMPI 000005ca: PUSH1 0x00 000005cc: DUP1 000005cd: REVERT 000005ce: JUMPDEST 000005cf: CALLER 000005d0: PUSH1 0x00 000005d2: SWAP1 000005d3: DUP2 000005d4: MSTORE 000005d5: PUSH1 0x0c 000005d7: PUSH1 0x20 000005d9: MSTORE 000005da: PUSH1 0x40 000005dc: SWAP1 000005dd: KECCAK256 000005de: SLOAD 000005df: PUSH2 0x05ee 000005e2: SWAP1 000005e3: DUP4 000005e4: PUSH4 0xffffffff 000005e9: PUSH2 0x105a 000005ec: AND 000005ed: JUMP 000005ee: JUMPDEST 000005ef: CALLER 000005f0: PUSH1 0x00 000005f2: DUP2 000005f3: DUP2 000005f4: MSTORE 000005f5: PUSH1 0x0c 000005f7: PUSH1 0x20 000005f9: SWAP1 000005fa: DUP2 000005fb: MSTORE 000005fc: PUSH1 0x40 000005fe: DUP1 000005ff: DUP4 00000600: KECCAK256 00000601: SWAP5 00000602: SWAP1 00000603: SWAP5 00000604: SSTORE 00000605: SWAP1 00000606: SLOAD 00000607: DUP4 00000608: MLOAD 00000609: DUP7 0000060a: DUP2 0000060b: MSTORE 0000060c: SWAP4 0000060d: MLOAD 0000060e: PUSH1 0x01 00000610: PUSH1 0xa0 00000612: PUSH1 0x02 00000614: EXP 00000615: SUB 00000616: SWAP1 00000617: SWAP2 00000618: AND 00000619: SWAP4 0000061a: PUSH1 0x00 0000061c: DUP1 0000061d: MLOAD 0000061e: PUSH1 0x20 00000620: PUSH2 0x1124 00000623: DUP4 00000624: CODECOPY 00000625: DUP2 00000626: MLOAD 00000627: SWAP2 00000628: MSTORE 00000629: SWAP3 0000062a: SWAP1 0000062b: DUP3 0000062c: SWAP1 0000062d: SUB 0000062e: ADD 0000062f: SWAP1 00000630: LOG3 00000631: PUSH2 0x063c 00000634: DUP3 00000635: CALLER 00000636: PUSH1 0x00 00000638: PUSH2 0x088e 0000063b: JUMP 0000063c: JUMPDEST 0000063d: POP 0000063e: PUSH1 0x01 00000640: SWAP2 00000641: SWAP1 00000642: POP 00000643: JUMP 00000644: JUMPDEST 00000645: PUSH1 0x04 00000647: SLOAD 00000648: DUP2 00000649: JUMP 0000064a: JUMPDEST 0000064b: PUSH1 0x01 0000064d: PUSH1 0xa0 0000064f: PUSH1 0x02 00000651: EXP 00000652: SUB 00000653: AND 00000654: PUSH1 0x00 00000656: SWAP1 00000657: DUP2 00000658: MSTORE 00000659: PUSH1 0x0c 0000065b: PUSH1 0x20 0000065d: MSTORE 0000065e: PUSH1 0x40 00000660: SWAP1 00000661: KECCAK256 00000662: SLOAD 00000663: SWAP1 00000664: JUMP 00000665: JUMPDEST 00000666: PUSH1 0x0a 00000668: SLOAD 00000669: SWAP1 0000066a: JUMP 0000066b: JUMPDEST 0000066c: PUSH1 0x40 0000066e: DUP1 0000066f: MLOAD 00000670: DUP1 00000671: DUP3 00000672: ADD 00000673: SWAP1 00000674: SWAP2 00000675: MSTORE 00000676: PUSH1 0x03 00000678: DUP2 00000679: MSTORE 0000067a: PUSH32 0x43524c0000000000000000000000000000000000000000000000000000000000 0000069b: PUSH1 0x20 0000069d: DUP3 0000069e: ADD 0000069f: MSTORE 000006a0: DUP2 000006a1: JUMP 000006a2: JUMPDEST 000006a3: PUSH1 0x07 000006a5: SLOAD 000006a6: DUP2 000006a7: JUMP 000006a8: JUMPDEST 000006a9: PUSH1 0x00 000006ab: PUSH1 0x07 000006ad: SLOAD 000006ae: DUP3 000006af: LT 000006b0: ISZERO 000006b1: DUP1 000006b2: ISZERO 000006b3: PUSH2 0x06cb 000006b6: JUMPI 000006b7: POP 000006b8: CALLER 000006b9: PUSH1 0x00 000006bb: SWAP1 000006bc: DUP2 000006bd: MSTORE 000006be: PUSH1 0x0c 000006c0: PUSH1 0x20 000006c2: MSTORE 000006c3: PUSH1 0x40 000006c5: SWAP1 000006c6: KECCAK256 000006c7: SLOAD 000006c8: DUP3 000006c9: GT 000006ca: ISZERO 000006cb: JUMPDEST 000006cc: ISZERO 000006cd: ISZERO 000006ce: PUSH2 0x06d6 000006d1: JUMPI 000006d2: PUSH1 0x00 000006d4: DUP1 000006d5: REVERT 000006d6: JUMPDEST 000006d7: CALLER 000006d8: PUSH1 0x00 000006da: SWAP1 000006db: DUP2 000006dc: MSTORE 000006dd: PUSH1 0x0c 000006df: PUSH1 0x20 000006e1: MSTORE 000006e2: PUSH1 0x40 000006e4: SWAP1 000006e5: KECCAK256 000006e6: SLOAD 000006e7: PUSH2 0x06f6 000006ea: SWAP1 000006eb: DUP4 000006ec: PUSH4 0xffffffff 000006f1: PUSH2 0x105a 000006f4: AND 000006f5: JUMP 000006f6: JUMPDEST 000006f7: CALLER 000006f8: PUSH1 0x00 000006fa: SWAP1 000006fb: DUP2 000006fc: MSTORE 000006fd: PUSH1 0x0c 000006ff: PUSH1 0x20 00000701: MSTORE 00000702: PUSH1 0x40 00000704: DUP1 00000705: DUP3 00000706: KECCAK256 00000707: SWAP3 00000708: SWAP1 00000709: SWAP3 0000070a: SSTORE 0000070b: PUSH1 0x01 0000070d: PUSH1 0xa0 0000070f: PUSH1 0x02 00000711: EXP 00000712: SUB 00000713: DUP6 00000714: AND 00000715: DUP2 00000716: MSTORE 00000717: KECCAK256 00000718: SLOAD 00000719: PUSH2 0x0728 0000071c: SWAP1 0000071d: DUP4 0000071e: PUSH4 0xffffffff 00000723: PUSH2 0x0831 00000726: AND 00000727: JUMP 00000728: JUMPDEST 00000729: PUSH1 0x01 0000072b: PUSH1 0xa0 0000072d: PUSH1 0x02 0000072f: EXP 00000730: SUB 00000731: DUP5 00000732: AND 00000733: PUSH1 0x00 00000735: DUP2 00000736: DUP2 00000737: MSTORE 00000738: PUSH1 0x0c 0000073a: PUSH1 0x20 0000073c: SWAP1 0000073d: DUP2 0000073e: MSTORE 0000073f: PUSH1 0x40 00000741: SWAP2 00000742: DUP3 00000743: SWAP1 00000744: KECCAK256 00000745: SWAP4 00000746: SWAP1 00000747: SWAP4 00000748: SSTORE 00000749: DUP1 0000074a: MLOAD 0000074b: DUP6 0000074c: DUP2 0000074d: MSTORE 0000074e: SWAP1 0000074f: MLOAD 00000750: SWAP2 00000751: SWAP3 00000752: CALLER 00000753: SWAP3 00000754: PUSH1 0x00 00000756: DUP1 00000757: MLOAD 00000758: PUSH1 0x20 0000075a: PUSH2 0x1124 0000075d: DUP4 0000075e: CODECOPY 0000075f: DUP2 00000760: MLOAD 00000761: SWAP2 00000762: MSTORE 00000763: SWAP3 00000764: DUP2 00000765: SWAP1 00000766: SUB 00000767: SWAP1 00000768: SWAP2 00000769: ADD 0000076a: SWAP1 0000076b: LOG3 0000076c: POP 0000076d: PUSH1 0x01 0000076f: SWAP3 00000770: SWAP2 00000771: POP 00000772: POP 00000773: JUMP 00000774: JUMPDEST 00000775: PUSH1 0x0b 00000777: SLOAD 00000778: SWAP1 00000779: JUMP 0000077a: JUMPDEST 0000077b: PUSH1 0x06 0000077d: SLOAD 0000077e: DUP2 0000077f: JUMP 00000780: JUMPDEST 00000781: PUSH1 0x00 00000783: PUSH2 0x0799 00000786: PUSH1 0x0b 00000788: SLOAD 00000789: PUSH1 0x09 0000078b: SLOAD 0000078c: PUSH2 0x0831 0000078f: SWAP1 00000790: SWAP2 00000791: SWAP1 00000792: PUSH4 0xffffffff 00000797: AND 00000798: JUMP 00000799: JUMPDEST 0000079a: SWAP1 0000079b: POP 0000079c: SWAP1 0000079d: JUMP 0000079e: JUMPDEST 0000079f: PUSH1 0x01 000007a1: SLOAD 000007a2: PUSH1 0x01 000007a4: PUSH1 0xa0 000007a6: PUSH1 0x02 000007a8: EXP 000007a9: SUB 000007aa: AND 000007ab: DUP2 000007ac: JUMP 000007ad: JUMPDEST 000007ae: PUSH1 0x00 000007b0: DUP1 000007b1: DUP4 000007b2: ISZERO 000007b3: ISZERO 000007b4: PUSH2 0x07c0 000007b7: JUMPI 000007b8: PUSH1 0x00 000007ba: SWAP2 000007bb: POP 000007bc: PUSH2 0x082a 000007bf: JUMP 000007c0: JUMPDEST 000007c1: POP 000007c2: DUP3 000007c3: DUP3 000007c4: MUL 000007c5: DUP3 000007c6: DUP5 000007c7: DUP3 000007c8: DUP2 000007c9: ISZERO 000007ca: ISZERO 000007cb: PUSH2 0x07d0 000007ce: JUMPI 000007cf: INVALID 000007d0: JUMPDEST 000007d1: DIV 000007d2: EQ 000007d3: PUSH2 0x0826 000007d6: JUMPI 000007d7: PUSH1 0x40 000007d9: DUP1 000007da: MLOAD 000007db: PUSH1 0xe5 000007dd: PUSH1 0x02 000007df: EXP 000007e0: PUSH3 0x461bcd 000007e4: MUL 000007e5: DUP2 000007e6: MSTORE 000007e7: PUSH1 0x20 000007e9: PUSH1 0x04 000007eb: DUP3 000007ec: ADD 000007ed: MSTORE 000007ee: PUSH1 0x0a 000007f0: PUSH1 0x24 000007f2: DUP3 000007f3: ADD 000007f4: MSTORE 000007f5: PUSH32 0x6d756c206661696c656400000000000000000000000000000000000000000000 00000816: PUSH1 0x44 00000818: DUP3 00000819: ADD 0000081a: MSTORE 0000081b: SWAP1 0000081c: MLOAD 0000081d: SWAP1 0000081e: DUP2 0000081f: SWAP1 00000820: SUB 00000821: PUSH1 0x64 00000823: ADD 00000824: SWAP1 00000825: REVERT 00000826: JUMPDEST 00000827: DUP1 00000828: SWAP2 00000829: POP 0000082a: JUMPDEST 0000082b: POP 0000082c: SWAP3 0000082d: SWAP2 0000082e: POP 0000082f: POP 00000830: JUMP 00000831: JUMPDEST 00000832: PUSH1 0x00 00000834: DUP3 00000835: DUP3 00000836: ADD 00000837: DUP4 00000838: DUP2 00000839: LT 0000083a: ISZERO 0000083b: PUSH2 0x0826 0000083e: JUMPI 0000083f: PUSH1 0x40 00000841: DUP1 00000842: MLOAD 00000843: PUSH1 0xe5 00000845: PUSH1 0x02 00000847: EXP 00000848: PUSH3 0x461bcd 0000084c: MUL 0000084d: DUP2 0000084e: MSTORE 0000084f: PUSH1 0x20 00000851: PUSH1 0x04 00000853: DUP3 00000854: ADD 00000855: MSTORE 00000856: PUSH1 0x0a 00000858: PUSH1 0x24 0000085a: DUP3 0000085b: ADD 0000085c: MSTORE 0000085d: PUSH32 0x616464206661696c656400000000000000000000000000000000000000000000 0000087e: PUSH1 0x44 00000880: DUP3 00000881: ADD 00000882: MSTORE 00000883: SWAP1 00000884: MLOAD 00000885: SWAP1 00000886: DUP2 00000887: SWAP1 00000888: SUB 00000889: PUSH1 0x64 0000088b: ADD 0000088c: SWAP1 0000088d: REVERT 0000088e: JUMPDEST 0000088f: PUSH1 0x00 00000891: DUP1 00000892: DUP1 00000893: DUP1 00000894: DUP1 00000895: DUP1 00000896: PUSH2 0x08b7 00000899: PUSH1 0x05 0000089b: PUSH2 0x08ab 0000089e: DUP12 0000089f: PUSH1 0x06 000008a1: PUSH4 0xffffffff 000008a6: PUSH2 0x07ad 000008a9: AND 000008aa: JUMP 000008ab: JUMPDEST 000008ac: SWAP1 000008ad: PUSH4 0xffffffff 000008b2: PUSH2 0x10ba 000008b5: AND 000008b6: JUMP 000008b7: JUMPDEST 000008b8: PUSH1 0x09 000008ba: SLOAD 000008bb: SWAP1 000008bc: SWAP7 000008bd: POP 000008be: PUSH2 0x08cd 000008c1: SWAP1 000008c2: DUP8 000008c3: PUSH4 0xffffffff 000008c8: PUSH2 0x0831 000008cb: AND 000008cc: JUMP 000008cd: JUMPDEST 000008ce: PUSH1 0x09 000008d0: SSTORE 000008d1: PUSH1 0x0b 000008d3: SLOAD 000008d4: PUSH1 0x00 000008d6: LT 000008d7: ISZERO 000008d8: PUSH2 0x08f7 000008db: JUMPI 000008dc: PUSH1 0x0b 000008de: SLOAD 000008df: PUSH2 0x08ef 000008e2: SWAP1 000008e3: DUP11 000008e4: SWAP1 000008e5: PUSH4 0xffffffff 000008ea: PUSH2 0x0831 000008ed: AND 000008ee: JUMP 000008ef: JUMPDEST 000008f0: PUSH1 0x00 000008f2: PUSH1 0x0b 000008f4: SSTORE 000008f5: SWAP9 000008f6: POP 000008f7: JUMPDEST 000008f8: CALLER 000008f9: PUSH1 0x00 000008fb: SWAP1 000008fc: DUP2 000008fd: MSTORE 000008fe: PUSH1 0x0c 00000900: PUSH1 0x20 00000902: MSTORE 00000903: PUSH1 0x40 00000905: SWAP1 00000906: KECCAK256 00000907: PUSH1 0x02 00000909: ADD 0000090a: SLOAD 0000090b: ISZERO 0000090c: ISZERO 0000090d: PUSH2 0x0a05 00000910: JUMPI 00000911: PUSH1 0x0a 00000913: DUP1 00000914: SLOAD 00000915: PUSH1 0x01 00000917: SWAP1 00000918: DUP2 00000919: ADD 0000091a: SWAP1 0000091b: SWAP2 0000091c: SSTORE 0000091d: PUSH1 0x02 0000091f: DUP1 00000920: SLOAD 00000921: SWAP2 00000922: DUP3 00000923: ADD 00000924: DUP2 00000925: SSTORE 00000926: PUSH32 0x405787fa12a823e0f2b7631cc41b3ba8828b3321ca811111fa75cd3aa3bb5ace 00000947: SWAP1 00000948: SWAP2 00000949: ADD 0000094a: DUP1 0000094b: SLOAD 0000094c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000961: NOT 00000962: AND 00000963: CALLER 00000964: OR 00000965: SWAP1 00000966: SSTORE 00000967: PUSH1 0x01 00000969: PUSH1 0xa0 0000096b: PUSH1 0x02 0000096d: EXP 0000096e: SUB 0000096f: DUP9 00000970: AND 00000971: PUSH1 0x00 00000973: SWAP1 00000974: DUP2 00000975: MSTORE 00000976: PUSH1 0x0c 00000978: PUSH1 0x20 0000097a: MSTORE 0000097b: PUSH1 0x40 0000097d: DUP2 0000097e: KECCAK256 0000097f: SWAP1 00000980: SWAP2 00000981: ADD 00000982: SLOAD 00000983: GT 00000984: ISZERO 00000985: PUSH2 0x09c5 00000988: JUMPI 00000989: CALLER 0000098a: PUSH1 0x00 0000098c: SWAP1 0000098d: DUP2 0000098e: MSTORE 0000098f: PUSH1 0x0c 00000991: PUSH1 0x20 00000993: MSTORE 00000994: PUSH1 0x40 00000996: SWAP1 00000997: KECCAK256 00000998: PUSH1 0x03 0000099a: ADD 0000099b: DUP1 0000099c: SLOAD 0000099d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009b2: NOT 000009b3: AND 000009b4: PUSH1 0x01 000009b6: PUSH1 0xa0 000009b8: PUSH1 0x02 000009ba: EXP 000009bb: SUB 000009bc: DUP10 000009bd: AND 000009be: OR 000009bf: SWAP1 000009c0: SSTORE 000009c1: PUSH2 0x0a05 000009c4: JUMP 000009c5: JUMPDEST 000009c6: PUSH1 0x01 000009c8: SLOAD 000009c9: CALLER 000009ca: PUSH1 0x00 000009cc: SWAP1 000009cd: DUP2 000009ce: MSTORE 000009cf: PUSH1 0x0c 000009d1: PUSH1 0x20 000009d3: MSTORE 000009d4: PUSH1 0x40 000009d6: SWAP1 000009d7: KECCAK256 000009d8: PUSH1 0x03 000009da: ADD 000009db: DUP1 000009dc: SLOAD 000009dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009f2: NOT 000009f3: AND 000009f4: PUSH1 0x01 000009f6: PUSH1 0xa0 000009f8: PUSH1 0x02 000009fa: EXP 000009fb: SUB 000009fc: SWAP1 000009fd: SWAP3 000009fe: AND 000009ff: SWAP2 00000a00: SWAP1 00000a01: SWAP2 00000a02: OR 00000a03: SWAP1 00000a04: SSTORE 00000a05: JUMPDEST 00000a06: PUSH1 0x01 00000a08: PUSH1 0xa0 00000a0a: PUSH1 0x02 00000a0c: EXP 00000a0d: SUB 00000a0e: DUP9 00000a0f: AND 00000a10: PUSH1 0x00 00000a12: SWAP1 00000a13: DUP2 00000a14: MSTORE 00000a15: PUSH1 0x0c 00000a17: PUSH1 0x20 00000a19: MSTORE 00000a1a: PUSH1 0x40 00000a1c: SWAP1 00000a1d: KECCAK256 00000a1e: PUSH1 0x02 00000a20: ADD 00000a21: SLOAD 00000a22: PUSH1 0x01 00000a24: EQ 00000a25: ISZERO 00000a26: PUSH2 0x0a46 00000a29: JUMPI 00000a2a: PUSH1 0x01 00000a2c: PUSH1 0xa0 00000a2e: PUSH1 0x02 00000a30: EXP 00000a31: SUB 00000a32: DUP9 00000a33: AND 00000a34: PUSH1 0x00 00000a36: SWAP1 00000a37: DUP2 00000a38: MSTORE 00000a39: PUSH1 0x0c 00000a3b: PUSH1 0x20 00000a3d: MSTORE 00000a3e: PUSH1 0x40 00000a40: DUP2 00000a41: KECCAK256 00000a42: PUSH1 0x02 00000a44: ADD 00000a45: SSTORE 00000a46: JUMPDEST 00000a47: PUSH1 0x01 00000a49: PUSH1 0xa0 00000a4b: PUSH1 0x02 00000a4d: EXP 00000a4e: SUB 00000a4f: DUP9 00000a50: AND 00000a51: PUSH1 0x00 00000a53: SWAP1 00000a54: DUP2 00000a55: MSTORE 00000a56: PUSH1 0x0c 00000a58: PUSH1 0x20 00000a5a: MSTORE 00000a5b: PUSH1 0x40 00000a5d: SWAP1 00000a5e: KECCAK256 00000a5f: PUSH1 0x01 00000a61: ADD 00000a62: SLOAD 00000a63: PUSH2 0x0a72 00000a66: SWAP1 00000a67: DUP8 00000a68: PUSH4 0xffffffff 00000a6d: PUSH2 0x0831 00000a70: AND 00000a71: JUMP 00000a72: JUMPDEST 00000a73: PUSH1 0x01 00000a75: PUSH1 0xa0 00000a77: PUSH1 0x02 00000a79: EXP 00000a7a: SUB 00000a7b: DUP10 00000a7c: AND 00000a7d: PUSH1 0x00 00000a7f: SWAP1 00000a80: DUP2 00000a81: MSTORE 00000a82: PUSH1 0x0c 00000a84: PUSH1 0x20 00000a86: MSTORE 00000a87: PUSH1 0x40 00000a89: SWAP1 00000a8a: KECCAK256 00000a8b: PUSH1 0x01 00000a8d: DUP2 00000a8e: ADD 00000a8f: SWAP2 00000a90: SWAP1 00000a91: SWAP2 00000a92: SSTORE 00000a93: PUSH1 0x02 00000a95: ADD 00000a96: SLOAD 00000a97: PUSH2 0x0aa6 00000a9a: SWAP1 00000a9b: DUP8 00000a9c: PUSH4 0xffffffff 00000aa1: PUSH2 0x0831 00000aa4: AND 00000aa5: JUMP 00000aa6: JUMPDEST 00000aa7: PUSH1 0x01 00000aa9: PUSH1 0xa0 00000aab: PUSH1 0x02 00000aad: EXP 00000aae: SUB 00000aaf: DUP10 00000ab0: AND 00000ab1: PUSH1 0x00 00000ab3: SWAP1 00000ab4: DUP2 00000ab5: MSTORE 00000ab6: PUSH1 0x0c 00000ab8: PUSH1 0x20 00000aba: MSTORE 00000abb: PUSH1 0x40 00000abd: SWAP1 00000abe: KECCAK256 00000abf: PUSH1 0x02 00000ac1: ADD 00000ac2: SSTORE 00000ac3: PUSH2 0x0ad8 00000ac6: PUSH1 0x19 00000ac8: PUSH2 0x08ab 00000acb: DUP12 00000acc: PUSH1 0x15 00000ace: PUSH4 0xffffffff 00000ad3: PUSH2 0x07ad 00000ad6: AND 00000ad7: JUMP 00000ad8: JUMPDEST 00000ad9: SWAP5 00000ada: POP 00000adb: PUSH2 0x0af0 00000ade: PUSH1 0x64 00000ae0: PUSH2 0x08ab 00000ae3: DUP12 00000ae4: PUSH1 0x09 00000ae6: PUSH4 0xffffffff 00000aeb: PUSH2 0x07ad 00000aee: AND 00000aef: JUMP 00000af0: JUMPDEST 00000af1: SWAP4 00000af2: POP 00000af3: PUSH2 0x0b08 00000af6: PUSH1 0x64 00000af8: PUSH2 0x08ab 00000afb: DUP12 00000afc: PUSH1 0x07 00000afe: PUSH4 0xffffffff 00000b03: PUSH2 0x07ad 00000b06: AND 00000b07: JUMP 00000b08: JUMPDEST 00000b09: SWAP3 00000b0a: POP 00000b0b: PUSH1 0x00 00000b0d: SWAP1 00000b0e: POP 00000b0f: JUMPDEST 00000b10: PUSH1 0x0a 00000b12: SLOAD 00000b13: DUP2 00000b14: LT 00000b15: ISZERO 00000b16: PUSH2 0x0f4c 00000b19: JUMPI 00000b1a: PUSH1 0x01 00000b1c: PUSH1 0x0c 00000b1e: PUSH1 0x00 00000b20: PUSH1 0x02 00000b22: DUP5 00000b23: DUP2 00000b24: SLOAD 00000b25: DUP2 00000b26: LT 00000b27: ISZERO 00000b28: ISZERO 00000b29: PUSH2 0x0b2e 00000b2c: JUMPI 00000b2d: INVALID 00000b2e: JUMPDEST 00000b2f: PUSH1 0x00 00000b31: SWAP2 00000b32: DUP3 00000b33: MSTORE 00000b34: PUSH1 0x20 00000b36: DUP1 00000b37: DUP4 00000b38: KECCAK256 00000b39: SWAP1 00000b3a: SWAP2 00000b3b: ADD 00000b3c: SLOAD 00000b3d: PUSH1 0x01 00000b3f: PUSH1 0xa0 00000b41: PUSH1 0x02 00000b43: EXP 00000b44: SUB 00000b45: AND 00000b46: DUP4 00000b47: MSTORE 00000b48: DUP3 00000b49: ADD 00000b4a: SWAP3 00000b4b: SWAP1 00000b4c: SWAP3 00000b4d: MSTORE 00000b4e: PUSH1 0x40 00000b50: ADD 00000b51: SWAP1 00000b52: KECCAK256 00000b53: PUSH1 0x02 00000b55: ADD 00000b56: SLOAD 00000b57: GT 00000b58: ISZERO 00000b59: PUSH2 0x0f44 00000b5c: JUMPI 00000b5d: PUSH2 0x0bad 00000b60: PUSH1 0x09 00000b62: SLOAD 00000b63: PUSH2 0x08ab 00000b66: PUSH1 0x0c 00000b68: PUSH1 0x00 00000b6a: PUSH1 0x02 00000b6c: DUP7 00000b6d: DUP2 00000b6e: SLOAD 00000b6f: DUP2 00000b70: LT 00000b71: ISZERO 00000b72: ISZERO 00000b73: PUSH2 0x0b78 00000b76: JUMPI 00000b77: INVALID 00000b78: JUMPDEST 00000b79: PUSH1 0x00 00000b7b: SWAP2 00000b7c: DUP3 00000b7d: MSTORE 00000b7e: PUSH1 0x20 00000b80: DUP1 00000b81: DUP4 00000b82: KECCAK256 00000b83: SWAP1 00000b84: SWAP2 00000b85: ADD 00000b86: SLOAD 00000b87: PUSH1 0x01 00000b89: PUSH1 0xa0 00000b8b: PUSH1 0x02 00000b8d: EXP 00000b8e: SUB 00000b8f: AND 00000b90: DUP4 00000b91: MSTORE 00000b92: DUP3 00000b93: ADD 00000b94: SWAP3 00000b95: SWAP1 00000b96: SWAP3 00000b97: MSTORE 00000b98: PUSH1 0x40 00000b9a: ADD 00000b9b: SWAP1 00000b9c: KECCAK256 00000b9d: PUSH1 0x02 00000b9f: ADD 00000ba0: SLOAD 00000ba1: DUP9 00000ba2: SWAP1 00000ba3: PUSH4 0xffffffff 00000ba8: PUSH2 0x07ad 00000bab: AND 00000bac: JUMP 00000bad: JUMPDEST 00000bae: SWAP2 00000baf: POP 00000bb0: PUSH1 0x0c 00000bb2: PUSH1 0x00 00000bb4: PUSH1 0x02 00000bb6: DUP4 00000bb7: DUP2 00000bb8: SLOAD 00000bb9: DUP2 00000bba: LT 00000bbb: ISZERO 00000bbc: ISZERO 00000bbd: PUSH2 0x0bc2 00000bc0: JUMPI 00000bc1: INVALID 00000bc2: JUMPDEST 00000bc3: PUSH1 0x00 00000bc5: SWAP2 00000bc6: DUP3 00000bc7: MSTORE 00000bc8: PUSH1 0x20 00000bca: DUP1 00000bcb: DUP4 00000bcc: KECCAK256 00000bcd: SWAP1 00000bce: SWAP2 00000bcf: ADD 00000bd0: SLOAD 00000bd1: PUSH1 0x01 00000bd3: PUSH1 0xa0 00000bd5: PUSH1 0x02 00000bd7: EXP 00000bd8: SUB 00000bd9: AND 00000bda: DUP4 00000bdb: MSTORE 00000bdc: DUP3 00000bdd: ADD 00000bde: SWAP3 00000bdf: SWAP1 00000be0: SWAP3 00000be1: MSTORE 00000be2: PUSH1 0x40 00000be4: ADD 00000be5: SWAP1 00000be6: KECCAK256 00000be7: PUSH1 0x01 00000be9: ADD 00000bea: SLOAD 00000beb: DUP3 00000bec: LT 00000bed: ISZERO 00000bee: PUSH2 0x0d4e 00000bf1: JUMPI 00000bf2: PUSH2 0x0c3c 00000bf5: DUP3 00000bf6: PUSH1 0x0c 00000bf8: PUSH1 0x00 00000bfa: PUSH1 0x02 00000bfc: DUP6 00000bfd: DUP2 00000bfe: SLOAD 00000bff: DUP2 00000c00: LT 00000c01: ISZERO 00000c02: ISZERO 00000c03: PUSH2 0x0c08 00000c06: JUMPI 00000c07: INVALID 00000c08: JUMPDEST 00000c09: PUSH1 0x00 00000c0b: SWAP2 00000c0c: DUP3 00000c0d: MSTORE 00000c0e: PUSH1 0x20 00000c10: DUP1 00000c11: DUP4 00000c12: KECCAK256 00000c13: SWAP1 00000c14: SWAP2 00000c15: ADD 00000c16: SLOAD 00000c17: PUSH1 0x01 00000c19: PUSH1 0xa0 00000c1b: PUSH1 0x02 00000c1d: EXP 00000c1e: SUB 00000c1f: AND 00000c20: DUP4 00000c21: MSTORE 00000c22: DUP3 00000c23: ADD 00000c24: SWAP3 00000c25: SWAP1 00000c26: SWAP3 00000c27: MSTORE 00000c28: PUSH1 0x40 00000c2a: ADD 00000c2b: SWAP1 00000c2c: KECCAK256 00000c2d: PUSH1 0x01 00000c2f: ADD 00000c30: SLOAD 00000c31: SWAP1 00000c32: PUSH4 0xffffffff 00000c37: PUSH2 0x105a 00000c3a: AND 00000c3b: JUMP 00000c3c: JUMPDEST 00000c3d: PUSH1 0x0c 00000c3f: PUSH1 0x00 00000c41: PUSH1 0x02 00000c43: DUP5 00000c44: DUP2 00000c45: SLOAD 00000c46: DUP2 00000c47: LT 00000c48: ISZERO 00000c49: ISZERO 00000c4a: PUSH2 0x0c4f 00000c4d: JUMPI 00000c4e: INVALID 00000c4f: JUMPDEST 00000c50: PUSH1 0x00 00000c52: SWAP2 00000c53: DUP3 00000c54: MSTORE 00000c55: PUSH1 0x20 00000c57: DUP1 00000c58: DUP4 00000c59: KECCAK256 00000c5a: SWAP1 00000c5b: SWAP2 00000c5c: ADD 00000c5d: SLOAD 00000c5e: PUSH1 0x01 00000c60: PUSH1 0xa0 00000c62: PUSH1 0x02 00000c64: EXP 00000c65: SUB 00000c66: AND 00000c67: DUP4 00000c68: MSTORE 00000c69: DUP3 00000c6a: ADD 00000c6b: SWAP3 00000c6c: SWAP1 00000c6d: SWAP3 00000c6e: MSTORE 00000c6f: PUSH1 0x40 00000c71: ADD 00000c72: DUP2 00000c73: KECCAK256 00000c74: PUSH1 0x01 00000c76: ADD 00000c77: SWAP2 00000c78: SWAP1 00000c79: SWAP2 00000c7a: SSTORE 00000c7b: PUSH1 0x02 00000c7d: DUP1 00000c7e: SLOAD 00000c7f: PUSH2 0x0cc2 00000c82: SWAP3 00000c83: DUP6 00000c84: SWAP3 00000c85: PUSH1 0x0c 00000c87: SWAP3 00000c88: DUP7 00000c89: SWAP1 00000c8a: DUP2 00000c8b: LT 00000c8c: PUSH2 0x0c91 00000c8f: JUMPI 00000c90: INVALID 00000c91: JUMPDEST 00000c92: PUSH1 0x00 00000c94: SWAP2 00000c95: DUP3 00000c96: MSTORE 00000c97: PUSH1 0x20 00000c99: DUP1 00000c9a: DUP4 00000c9b: KECCAK256 00000c9c: SWAP1 00000c9d: SWAP2 00000c9e: ADD 00000c9f: SLOAD 00000ca0: PUSH1 0x01 00000ca2: PUSH1 0xa0 00000ca4: PUSH1 0x02 00000ca6: EXP 00000ca7: SUB 00000ca8: AND 00000ca9: DUP4 00000caa: MSTORE 00000cab: DUP3 00000cac: ADD 00000cad: SWAP3 00000cae: SWAP1 00000caf: SWAP3 00000cb0: MSTORE 00000cb1: PUSH1 0x40 00000cb3: ADD 00000cb4: SWAP1 00000cb5: KECCAK256 00000cb6: SLOAD 00000cb7: SWAP1 00000cb8: PUSH4 0xffffffff 00000cbd: PUSH2 0x0831 00000cc0: AND 00000cc1: JUMP 00000cc2: JUMPDEST 00000cc3: PUSH1 0x0c 00000cc5: PUSH1 0x00 00000cc7: PUSH1 0x02 00000cc9: DUP5 00000cca: DUP2 00000ccb: SLOAD 00000ccc: DUP2 00000ccd: LT 00000cce: ISZERO 00000ccf: ISZERO 00000cd0: PUSH2 0x0cd5 00000cd3: JUMPI 00000cd4: INVALID 00000cd5: JUMPDEST 00000cd6: PUSH1 0x00 00000cd8: SWAP2 00000cd9: DUP3 00000cda: MSTORE 00000cdb: PUSH1 0x20 00000cdd: DUP1 00000cde: DUP4 00000cdf: KECCAK256 00000ce0: SWAP1 00000ce1: SWAP2 00000ce2: ADD 00000ce3: SLOAD 00000ce4: PUSH1 0x01 00000ce6: PUSH1 0xa0 00000ce8: PUSH1 0x02 00000cea: EXP 00000ceb: SUB 00000cec: AND 00000ced: DUP4 00000cee: MSTORE 00000cef: DUP3 00000cf0: ADD 00000cf1: SWAP3 00000cf2: SWAP1 00000cf3: SWAP3 00000cf4: MSTORE 00000cf5: PUSH1 0x40 00000cf7: ADD 00000cf8: SWAP1 00000cf9: KECCAK256 00000cfa: SSTORE 00000cfb: PUSH1 0x02 00000cfd: DUP1 00000cfe: SLOAD 00000cff: DUP3 00000d00: SWAP1 00000d01: DUP2 00000d02: LT 00000d03: PUSH2 0x0d08 00000d06: JUMPI 00000d07: INVALID 00000d08: JUMPDEST 00000d09: PUSH1 0x00 00000d0b: SWAP2 00000d0c: DUP3 00000d0d: MSTORE 00000d0e: PUSH1 0x20 00000d10: DUP1 00000d11: DUP4 00000d12: KECCAK256 00000d13: SWAP1 00000d14: SWAP2 00000d15: ADD 00000d16: SLOAD 00000d17: SWAP2 00000d18: SLOAD 00000d19: PUSH1 0x40 00000d1b: DUP1 00000d1c: MLOAD 00000d1d: DUP7 00000d1e: DUP2 00000d1f: MSTORE 00000d20: SWAP1 00000d21: MLOAD 00000d22: PUSH1 0x01 00000d24: PUSH1 0xa0 00000d26: PUSH1 0x02 00000d28: EXP 00000d29: SUB 00000d2a: SWAP5 00000d2b: DUP6 00000d2c: AND 00000d2d: SWAP5 00000d2e: SWAP3 00000d2f: SWAP1 00000d30: SWAP3 00000d31: AND 00000d32: SWAP3 00000d33: PUSH1 0x00 00000d35: DUP1 00000d36: MLOAD 00000d37: PUSH1 0x20 00000d39: PUSH2 0x1124 00000d3c: DUP4 00000d3d: CODECOPY 00000d3e: DUP2 00000d3f: MLOAD 00000d40: SWAP2 00000d41: MSTORE 00000d42: SWAP3 00000d43: SWAP2 00000d44: DUP3 00000d45: SWAP1 00000d46: SUB 00000d47: ADD 00000d48: SWAP1 00000d49: LOG3 00000d4a: PUSH2 0x0f44 00000d4d: JUMP 00000d4e: JUMPDEST 00000d4f: PUSH2 0x0da2 00000d52: PUSH1 0x0c 00000d54: PUSH1 0x00 00000d56: PUSH1 0x02 00000d58: DUP5 00000d59: DUP2 00000d5a: SLOAD 00000d5b: DUP2 00000d5c: LT 00000d5d: ISZERO 00000d5e: ISZERO 00000d5f: PUSH2 0x0d64 00000d62: JUMPI 00000d63: INVALID 00000d64: JUMPDEST 00000d65: PUSH1 0x00 00000d67: SWAP2 00000d68: DUP3 00000d69: MSTORE 00000d6a: PUSH1 0x20 00000d6c: DUP1 00000d6d: DUP4 00000d6e: KECCAK256 00000d6f: SWAP1 00000d70: SWAP2 00000d71: ADD 00000d72: SLOAD 00000d73: PUSH1 0x01 00000d75: PUSH1 0xa0 00000d77: PUSH1 0x02 00000d79: EXP 00000d7a: SUB 00000d7b: AND 00000d7c: DUP4 00000d7d: MSTORE 00000d7e: DUP3 00000d7f: ADD 00000d80: SWAP3 00000d81: SWAP1 00000d82: SWAP3 00000d83: MSTORE 00000d84: PUSH1 0x40 00000d86: ADD 00000d87: DUP2 00000d88: KECCAK256 00000d89: PUSH1 0x01 00000d8b: ADD 00000d8c: SLOAD 00000d8d: PUSH1 0x02 00000d8f: DUP1 00000d90: SLOAD 00000d91: SWAP2 00000d92: SWAP3 00000d93: PUSH1 0x0c 00000d95: SWAP3 00000d96: SWAP1 00000d97: SWAP2 00000d98: SWAP1 00000d99: DUP7 00000d9a: SWAP1 00000d9b: DUP2 00000d9c: LT 00000d9d: PUSH2 0x0c91 00000da0: JUMPI 00000da1: INVALID 00000da2: JUMPDEST 00000da3: PUSH1 0x0c 00000da5: PUSH1 0x00 00000da7: PUSH1 0x02 00000da9: DUP5 00000daa: DUP2 00000dab: SLOAD 00000dac: DUP2 00000dad: LT 00000dae: ISZERO 00000daf: ISZERO 00000db0: PUSH2 0x0db5 00000db3: JUMPI 00000db4: INVALID 00000db5: JUMPDEST 00000db6: PUSH1 0x00 00000db8: SWAP2 00000db9: DUP3 00000dba: MSTORE 00000dbb: PUSH1 0x20 00000dbd: DUP1 00000dbe: DUP4 00000dbf: KECCAK256 00000dc0: SWAP1 00000dc1: SWAP2 00000dc2: ADD 00000dc3: SLOAD 00000dc4: PUSH1 0x01 00000dc6: PUSH1 0xa0 00000dc8: PUSH1 0x02 00000dca: EXP 00000dcb: SUB 00000dcc: AND 00000dcd: DUP4 00000dce: MSTORE 00000dcf: DUP3 00000dd0: ADD 00000dd1: SWAP3 00000dd2: SWAP1 00000dd3: SWAP3 00000dd4: MSTORE 00000dd5: PUSH1 0x40 00000dd7: ADD 00000dd8: SWAP1 00000dd9: KECCAK256 00000dda: SSTORE 00000ddb: PUSH1 0x02 00000ddd: DUP1 00000dde: SLOAD 00000ddf: DUP3 00000de0: SWAP1 00000de1: DUP2 00000de2: LT 00000de3: PUSH2 0x0de8 00000de6: JUMPI 00000de7: INVALID 00000de8: JUMPDEST 00000de9: PUSH1 0x00 00000deb: SWAP2 00000dec: DUP3 00000ded: MSTORE 00000dee: PUSH1 0x20 00000df0: DUP3 00000df1: KECCAK256 00000df2: ADD 00000df3: SLOAD 00000df4: DUP2 00000df5: SLOAD 00000df6: PUSH1 0x02 00000df8: DUP1 00000df9: SLOAD 00000dfa: PUSH1 0x01 00000dfc: PUSH1 0xa0 00000dfe: PUSH1 0x02 00000e00: EXP 00000e01: SUB 00000e02: SWAP4 00000e03: DUP5 00000e04: AND 00000e05: SWAP5 00000e06: SWAP4 00000e07: SWAP1 00000e08: SWAP3 00000e09: AND 00000e0a: SWAP3 00000e0b: PUSH1 0x00 00000e0d: DUP1 00000e0e: MLOAD 00000e0f: PUSH1 0x20 00000e11: PUSH2 0x1124 00000e14: DUP4 00000e15: CODECOPY 00000e16: DUP2 00000e17: MLOAD 00000e18: SWAP2 00000e19: MSTORE 00000e1a: SWAP3 00000e1b: PUSH1 0x0c 00000e1d: SWAP3 00000e1e: SWAP1 00000e1f: DUP8 00000e20: SWAP1 00000e21: DUP2 00000e22: LT 00000e23: PUSH2 0x0e28 00000e26: JUMPI 00000e27: INVALID 00000e28: JUMPDEST 00000e29: PUSH1 0x00 00000e2b: SWAP2 00000e2c: DUP3 00000e2d: MSTORE 00000e2e: PUSH1 0x20 00000e30: DUP1 00000e31: DUP4 00000e32: KECCAK256 00000e33: SWAP1 00000e34: SWAP2 00000e35: ADD 00000e36: SLOAD 00000e37: PUSH1 0x01 00000e39: PUSH1 0xa0 00000e3b: PUSH1 0x02 00000e3d: EXP 00000e3e: SUB 00000e3f: AND 00000e40: DUP4 00000e41: MSTORE 00000e42: DUP3 00000e43: DUP2 00000e44: ADD 00000e45: SWAP4 00000e46: SWAP1 00000e47: SWAP4 00000e48: MSTORE 00000e49: PUSH1 0x40 00000e4b: SWAP2 00000e4c: DUP3 00000e4d: ADD 00000e4e: SWAP1 00000e4f: KECCAK256 00000e50: PUSH1 0x01 00000e52: ADD 00000e53: SLOAD 00000e54: DUP2 00000e55: MLOAD 00000e56: SWAP1 00000e57: DUP2 00000e58: MSTORE 00000e59: SWAP1 00000e5a: MLOAD 00000e5b: SWAP1 00000e5c: DUP2 00000e5d: SWAP1 00000e5e: SUB 00000e5f: SWAP1 00000e60: SWAP2 00000e61: ADD 00000e62: SWAP1 00000e63: LOG3 00000e64: PUSH2 0x0ec0 00000e67: PUSH2 0x0eb1 00000e6a: PUSH1 0x0c 00000e6c: PUSH1 0x00 00000e6e: PUSH1 0x02 00000e70: DUP6 00000e71: DUP2 00000e72: SLOAD 00000e73: DUP2 00000e74: LT 00000e75: ISZERO 00000e76: ISZERO 00000e77: PUSH2 0x0e7c 00000e7a: JUMPI 00000e7b: INVALID 00000e7c: JUMPDEST 00000e7d: PUSH1 0x00 00000e7f: SWAP2 00000e80: DUP3 00000e81: MSTORE 00000e82: PUSH1 0x20 00000e84: DUP1 00000e85: DUP4 00000e86: KECCAK256 00000e87: SWAP1 00000e88: SWAP2 00000e89: ADD 00000e8a: SLOAD 00000e8b: PUSH1 0x01 00000e8d: PUSH1 0xa0 00000e8f: PUSH1 0x02 00000e91: EXP 00000e92: SUB 00000e93: AND 00000e94: DUP4 00000e95: MSTORE 00000e96: DUP3 00000e97: ADD 00000e98: SWAP3 00000e99: SWAP1 00000e9a: SWAP3 00000e9b: MSTORE 00000e9c: PUSH1 0x40 00000e9e: ADD 00000e9f: SWAP1 00000ea0: KECCAK256 00000ea1: PUSH1 0x01 00000ea3: ADD 00000ea4: SLOAD 00000ea5: DUP5 00000ea6: SWAP1 00000ea7: PUSH4 0xffffffff 00000eac: PUSH2 0x105a 00000eaf: AND 00000eb0: JUMP 00000eb1: JUMPDEST 00000eb2: PUSH1 0x0b 00000eb4: SLOAD 00000eb5: SWAP1 00000eb6: PUSH4 0xffffffff 00000ebb: PUSH2 0x0831 00000ebe: AND 00000ebf: JUMP 00000ec0: JUMPDEST 00000ec1: PUSH1 0x0b 00000ec3: DUP2 00000ec4: SWAP1 00000ec5: SSTORE 00000ec6: POP 00000ec7: PUSH1 0x00 00000ec9: PUSH1 0x0c 00000ecb: PUSH1 0x00 00000ecd: PUSH1 0x02 00000ecf: DUP5 00000ed0: DUP2 00000ed1: SLOAD 00000ed2: DUP2 00000ed3: LT 00000ed4: ISZERO 00000ed5: ISZERO 00000ed6: PUSH2 0x0edb 00000ed9: JUMPI 00000eda: INVALID 00000edb: JUMPDEST 00000edc: PUSH1 0x00 00000ede: SWAP2 00000edf: DUP3 00000ee0: MSTORE 00000ee1: PUSH1 0x20 00000ee3: DUP1 00000ee4: DUP4 00000ee5: KECCAK256 00000ee6: SWAP1 00000ee7: SWAP2 00000ee8: ADD 00000ee9: SLOAD 00000eea: PUSH1 0x01 00000eec: PUSH1 0xa0 00000eee: PUSH1 0x02 00000ef0: EXP 00000ef1: SUB 00000ef2: AND 00000ef3: DUP4 00000ef4: MSTORE 00000ef5: DUP3 00000ef6: ADD 00000ef7: SWAP3 00000ef8: SWAP1 00000ef9: SWAP3 00000efa: MSTORE 00000efb: PUSH1 0x40 00000efd: ADD 00000efe: DUP2 00000eff: KECCAK256 00000f00: PUSH1 0x01 00000f02: SWAP1 00000f03: DUP2 00000f04: ADD 00000f05: SWAP3 00000f06: SWAP1 00000f07: SWAP3 00000f08: SSTORE 00000f09: PUSH1 0x02 00000f0b: DUP1 00000f0c: SLOAD 00000f0d: PUSH1 0x0c 00000f0f: SWAP3 00000f10: SWAP2 00000f11: SWAP1 00000f12: DUP6 00000f13: SWAP1 00000f14: DUP2 00000f15: LT 00000f16: PUSH2 0x0f1b 00000f19: JUMPI 00000f1a: INVALID 00000f1b: JUMPDEST 00000f1c: PUSH1 0x00 00000f1e: SWAP2 00000f1f: DUP3 00000f20: MSTORE 00000f21: PUSH1 0x20 00000f23: DUP1 00000f24: DUP4 00000f25: KECCAK256 00000f26: SWAP1 00000f27: SWAP2 00000f28: ADD 00000f29: SLOAD 00000f2a: PUSH1 0x01 00000f2c: PUSH1 0xa0 00000f2e: PUSH1 0x02 00000f30: EXP 00000f31: SUB 00000f32: AND 00000f33: DUP4 00000f34: MSTORE 00000f35: DUP3 00000f36: ADD 00000f37: SWAP3 00000f38: SWAP1 00000f39: SWAP3 00000f3a: MSTORE 00000f3b: PUSH1 0x40 00000f3d: ADD 00000f3e: SWAP1 00000f3f: KECCAK256 00000f40: PUSH1 0x02 00000f42: ADD 00000f43: SSTORE 00000f44: JUMPDEST 00000f45: PUSH1 0x01 00000f47: ADD 00000f48: PUSH2 0x0b0f 00000f4b: JUMP 00000f4c: JUMPDEST 00000f4d: PUSH1 0x01 00000f4f: SLOAD 00000f50: PUSH1 0x01 00000f52: PUSH1 0xa0 00000f54: PUSH1 0x02 00000f56: EXP 00000f57: SUB 00000f58: AND 00000f59: PUSH1 0x00 00000f5b: SWAP1 00000f5c: DUP2 00000f5d: MSTORE 00000f5e: PUSH1 0x0c 00000f60: PUSH1 0x20 00000f62: MSTORE 00000f63: PUSH1 0x40 00000f65: SWAP1 00000f66: KECCAK256 00000f67: SLOAD 00000f68: PUSH2 0x0f77 00000f6b: SWAP1 00000f6c: DUP6 00000f6d: PUSH4 0xffffffff 00000f72: PUSH2 0x0831 00000f75: AND 00000f76: JUMP 00000f77: JUMPDEST 00000f78: PUSH1 0x01 00000f7a: DUP1 00000f7b: SLOAD 00000f7c: PUSH1 0x01 00000f7e: PUSH1 0xa0 00000f80: PUSH1 0x02 00000f82: EXP 00000f83: SUB 00000f84: SWAP1 00000f85: DUP2 00000f86: AND 00000f87: PUSH1 0x00 00000f89: SWAP1 00000f8a: DUP2 00000f8b: MSTORE 00000f8c: PUSH1 0x0c 00000f8e: PUSH1 0x20 00000f90: SWAP1 00000f91: DUP2 00000f92: MSTORE 00000f93: PUSH1 0x40 00000f95: DUP1 00000f96: DUP4 00000f97: KECCAK256 00000f98: SWAP6 00000f99: SWAP1 00000f9a: SWAP6 00000f9b: SSTORE 00000f9c: SWAP3 00000f9d: SLOAD 00000f9e: SWAP1 00000f9f: SLOAD 00000fa0: DUP5 00000fa1: MLOAD 00000fa2: DUP10 00000fa3: DUP2 00000fa4: MSTORE 00000fa5: SWAP5 00000fa6: MLOAD 00000fa7: SWAP2 00000fa8: DUP4 00000fa9: AND 00000faa: SWAP5 00000fab: SWAP3 00000fac: AND 00000fad: SWAP3 00000fae: PUSH1 0x00 00000fb0: DUP1 00000fb1: MLOAD 00000fb2: PUSH1 0x20 00000fb4: PUSH2 0x1124 00000fb7: DUP4 00000fb8: CODECOPY 00000fb9: DUP2 00000fba: MLOAD 00000fbb: SWAP2 00000fbc: MSTORE 00000fbd: SWAP3 00000fbe: DUP3 00000fbf: SWAP1 00000fc0: SUB 00000fc1: ADD 00000fc2: SWAP1 00000fc3: LOG3 00000fc4: PUSH1 0x01 00000fc6: PUSH1 0xa0 00000fc8: PUSH1 0x02 00000fca: EXP 00000fcb: SUB 00000fcc: DUP1 00000fcd: DUP10 00000fce: AND 00000fcf: PUSH1 0x00 00000fd1: SWAP1 00000fd2: DUP2 00000fd3: MSTORE 00000fd4: PUSH1 0x0c 00000fd6: PUSH1 0x20 00000fd8: MSTORE 00000fd9: PUSH1 0x40 00000fdb: DUP1 00000fdc: DUP3 00000fdd: KECCAK256 00000fde: PUSH1 0x03 00000fe0: ADD 00000fe1: SLOAD 00000fe2: SWAP1 00000fe3: SWAP3 00000fe4: AND 00000fe5: DUP2 00000fe6: MSTORE 00000fe7: KECCAK256 00000fe8: SLOAD 00000fe9: PUSH2 0x0ff8 00000fec: SWAP1 00000fed: DUP5 00000fee: PUSH4 0xffffffff 00000ff3: PUSH2 0x0831 00000ff6: AND 00000ff7: JUMP 00000ff8: JUMPDEST 00000ff9: PUSH1 0x01 00000ffb: PUSH1 0xa0 00000ffd: PUSH1 0x02 00000fff: EXP 00001000: SUB 00001001: DUP1 00001002: DUP11 00001003: AND 00001004: PUSH1 0x00 00001006: DUP2 00001007: DUP2 00001008: MSTORE 00001009: PUSH1 0x0c 0000100b: PUSH1 0x20 0000100d: SWAP1 0000100e: DUP2 0000100f: MSTORE 00001010: PUSH1 0x40 00001012: DUP1 00001013: DUP4 00001014: KECCAK256 00001015: PUSH1 0x03 00001017: ADD 00001018: DUP1 00001019: SLOAD 0000101a: DUP7 0000101b: AND 0000101c: DUP5 0000101d: MSTORE 0000101e: DUP2 0000101f: DUP5 00001020: KECCAK256 00001021: SWAP7 00001022: SWAP1 00001023: SWAP7 00001024: SSTORE 00001025: SWAP3 00001026: DUP3 00001027: MSTORE 00001028: SWAP4 00001029: SLOAD 0000102a: SWAP1 0000102b: SLOAD 0000102c: DUP3 0000102d: MLOAD 0000102e: DUP9 0000102f: DUP2 00001030: MSTORE 00001031: SWAP3 00001032: MLOAD 00001033: SWAP2 00001034: DUP5 00001035: AND 00001036: SWAP5 00001037: SWAP4 00001038: AND 00001039: SWAP3 0000103a: PUSH1 0x00 0000103c: DUP1 0000103d: MLOAD 0000103e: PUSH1 0x20 00001040: PUSH2 0x1124 00001043: DUP4 00001044: CODECOPY 00001045: DUP2 00001046: MLOAD 00001047: SWAP2 00001048: MSTORE 00001049: SWAP3 0000104a: DUP3 0000104b: SWAP1 0000104c: SUB 0000104d: ADD 0000104e: SWAP1 0000104f: LOG3 00001050: POP 00001051: POP 00001052: POP 00001053: POP 00001054: POP 00001055: POP 00001056: POP 00001057: POP 00001058: POP 00001059: JUMP 0000105a: JUMPDEST 0000105b: PUSH1 0x00 0000105d: DUP3 0000105e: DUP3 0000105f: GT 00001060: ISZERO 00001061: PUSH2 0x10b4 00001064: JUMPI 00001065: PUSH1 0x40 00001067: DUP1 00001068: MLOAD 00001069: PUSH1 0xe5 0000106b: PUSH1 0x02 0000106d: EXP 0000106e: PUSH3 0x461bcd 00001072: MUL 00001073: DUP2 00001074: MSTORE 00001075: PUSH1 0x20 00001077: PUSH1 0x04 00001079: DUP3 0000107a: ADD 0000107b: MSTORE 0000107c: PUSH1 0x0a 0000107e: PUSH1 0x24 00001080: DUP3 00001081: ADD 00001082: MSTORE 00001083: PUSH32 0x737562206661696c656400000000000000000000000000000000000000000000 000010a4: PUSH1 0x44 000010a6: DUP3 000010a7: ADD 000010a8: MSTORE 000010a9: SWAP1 000010aa: MLOAD 000010ab: SWAP1 000010ac: DUP2 000010ad: SWAP1 000010ae: SUB 000010af: PUSH1 0x64 000010b1: ADD 000010b2: SWAP1 000010b3: REVERT 000010b4: JUMPDEST 000010b5: POP 000010b6: SWAP1 000010b7: SUB 000010b8: SWAP1 000010b9: JUMP 000010ba: JUMPDEST 000010bb: PUSH1 0x00 000010bd: DUP1 000010be: DUP3 000010bf: DUP5 000010c0: DUP2 000010c1: ISZERO 000010c2: ISZERO 000010c3: PUSH2 0x10c8 000010c6: JUMPI 000010c7: INVALID 000010c8: JUMPDEST 000010c9: DIV 000010ca: SWAP1 000010cb: POP 000010cc: PUSH1 0x00 000010ce: DUP4 000010cf: GT 000010d0: PUSH2 0x0826 000010d3: JUMPI 000010d4: PUSH1 0x40 000010d6: DUP1 000010d7: MLOAD 000010d8: PUSH1 0xe5 000010da: PUSH1 0x02 000010dc: EXP 000010dd: PUSH3 0x461bcd 000010e1: MUL 000010e2: DUP2 000010e3: MSTORE 000010e4: PUSH1 0x20 000010e6: PUSH1 0x04 000010e8: DUP3 000010e9: ADD 000010ea: MSTORE 000010eb: PUSH1 0x0a 000010ed: PUSH1 0x24 000010ef: DUP3 000010f0: ADD 000010f1: MSTORE 000010f2: PUSH32 0x646976206661696c656400000000000000000000000000000000000000000000 00001113: PUSH1 0x44 00001115: DUP3 00001116: ADD 00001117: MSTORE 00001118: SWAP1 00001119: MLOAD 0000111a: SWAP1 0000111b: DUP2 0000111c: SWAP1 0000111d: SUB 0000111e: PUSH1 0x64 00001120: ADD 00001121: SWAP1 00001122: REVERT 00001123: STOP 00001124: UNKNOWN(0xDD) 00001125: CALLCODE 00001126: MSTORE 00001127: UNKNOWN(0xAD) 00001128: SHL 00001129: UNKNOWN(0xE2) 0000112a: UNKNOWN(0xC8) 0000112b: SWAP12 0000112c: PUSH10 0xc2b068fc378daa952ba7 00001137: CALL 00001138: PUSH4 0xc4a11628 0000113d: CREATE2 0000113e: GAS 0000113f: UNKNOWN(0x4D) 00001140: CREATE2 00001141: UNKNOWN(0x23) 00001142: UNKNOWN(0xB3) 00001143: UNKNOWN(0xEF) 00001144: LOG1 00001145: PUSH6 0x627a7a723058 0000114c: KECCAK256 0000114d: PUSH3 0x2b6a0d 00001151: UNKNOWN(0xEE) 00001152: MULMOD 00001153: UNKNOWN(0x2A) 00001154: INVALID 00001155: UNKNOWN(0xC1) 00001156: BASEFEE 00001157: MOD 00001158: INVALID 00001159: PUSH29
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x4d25f3bbadacaf53406b9f350a9867ba101e695c6271cd716fc6781217177b3f
call_targets:
0x405d44c9ed3d2d80e375b2360ed0713b71c6b811
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x4d25f3bbadacaf53406b9f350a9867ba101e695c6271cd716fc6781217177b3f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x405d44c9ed3d2d80e375b2360ed0713b71c6b811"
],
"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": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x15a8ac0b",
"selector": "0x15a8ac0b",
"calldata_variants": [
"0x15a8ac0b",
"0x15a8ac0b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2bc0fe34",
"selector": "0x2bc0fe34",
"calldata_variants": [
"0x2bc0fe34",
"0x2bc0fe340000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e1a7d4d",
"selector": "0x2e1a7d4d",
"calldata_variants": [
"0x2e1a7d4d",
"0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x66f82cb9",
"selector": "0x66f82cb9",
"calldata_variants": [
"0x66f82cb9",
"0x66f82cb90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6841fd27",
"selector": "0x6841fd27",
"calldata_variants": [
"0x6841fd27",
"0x6841fd270000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1398,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4389,
"opcode": "CALLCODE",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4407,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [],
"untrusted_call_count": 3
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x4d25f3bbadacaf53406b9f350a9867ba101e695c6271cd716fc6781217177b3f
call_targets:
0x405d44c9ed3d2d80e375b2360ed0713b71c6b811
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x4d25f3bbadacaf53406b9f350a9867ba101e695c6271cd716fc6781217177b3f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x405d44c9ed3d2d80e375b2360ed0713b71c6b811"
],
"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": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x15a8ac0b",
"selector": "0x15a8ac0b",
"calldata_variants": [
"0x15a8ac0b",
"0x15a8ac0b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2bc0fe34",
"selector": "0x2bc0fe34",
"calldata_variants": [
"0x2bc0fe34",
"0x2bc0fe340000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e1a7d4d",
"selector": "0x2e1a7d4d",
"calldata_variants": [
"0x2e1a7d4d",
"0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x66f82cb9",
"selector": "0x66f82cb9",
"calldata_variants": [
"0x66f82cb9",
"0x66f82cb90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6841fd27",
"selector": "0x6841fd27",
"calldata_variants": [
"0x6841fd27",
"0x6841fd270000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1398,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4389,
"opcode": "CALLCODE",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4407,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0x8a4fa4a0124c6ac6ea2b2d31212f9077a73448897d740297b72476d0502e4c41
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0x8a4fa4a0124c6ac6ea2b2d31212f9077a73448897d740297b72476d0502e4c41",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x15a8ac0b",
"selector": "0x15a8ac0b",
"calldata_variants": [
"0x15a8ac0b",
"0x15a8ac0b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2bc0fe34",
"selector": "0x2bc0fe34",
"calldata_variants": [
"0x2bc0fe34",
"0x2bc0fe340000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e1a7d4d",
"selector": "0x2e1a7d4d",
"calldata_variants": [
"0x2e1a7d4d",
"0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x66f82cb9",
"selector": "0x66f82cb9",
"calldata_variants": [
"0x66f82cb9",
"0x66f82cb90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6841fd27",
"selector": "0x6841fd27",
"calldata_variants": [
"0x6841fd27",
"0x6841fd270000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 0,
"create2_count": 2
}
|