019b477e-ca29-735b-804b-8f901f0b7c58
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 |
|---|---|---|---|---|
| 26461 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 26462 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 69674 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 69675 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 69676 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 69677 | 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 0x014b 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x70a08231 00000019: GT 0000001a: PUSH2 0x00b6 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xa0712d68 00000024: GT 00000025: PUSH2 0x006f 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xa0712d68 0000002f: EQ 00000030: PUSH2 0x039f 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xa22cb465 0000003a: EQ 0000003b: PUSH2 0x03b2 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xb88d4fde 00000045: EQ 00000046: PUSH2 0x03d2 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xc87b56dd 00000050: EQ 00000051: PUSH2 0x03f2 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xe985e9c5 0000005b: EQ 0000005c: PUSH2 0x0412 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0xf2fde38b 00000066: EQ 00000067: PUSH2 0x045b 0000006a: JUMPI 0000006b: PUSH1 0x00 0000006d: DUP1 0000006e: REVERT 0000006f: JUMPDEST 00000070: DUP1 00000071: PUSH4 0x70a08231 00000076: EQ 00000077: PUSH2 0x02ec 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x715018a6 00000081: EQ 00000082: PUSH2 0x030c 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x7ba5e621 0000008c: EQ 0000008d: PUSH2 0x0321 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0x8da5cb5b 00000097: EQ 00000098: PUSH2 0x0336 0000009b: JUMPI 0000009c: DUP1 0000009d: PUSH4 0x95d89b41 000000a2: EQ 000000a3: PUSH2 0x0354 000000a6: JUMPI 000000a7: DUP1 000000a8: PUSH4 0x98133235 000000ad: EQ 000000ae: PUSH2 0x0369 000000b1: JUMPI 000000b2: PUSH1 0x00 000000b4: DUP1 000000b5: REVERT 000000b6: JUMPDEST 000000b7: DUP1 000000b8: PUSH4 0x23b872dd 000000bd: GT 000000be: PUSH2 0x0108 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x23b872dd 000000c8: EQ 000000c9: PUSH2 0x023d 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0x3ccfd60b 000000d3: EQ 000000d4: PUSH2 0x025d 000000d7: JUMPI 000000d8: DUP1 000000d9: PUSH4 0x42842e0e 000000de: EQ 000000df: PUSH2 0x0272 000000e2: JUMPI 000000e3: DUP1 000000e4: PUSH4 0x55f804b3 000000e9: EQ 000000ea: PUSH2 0x0292 000000ed: JUMPI 000000ee: DUP1 000000ef: PUSH4 0x5c975abb 000000f4: EQ 000000f5: PUSH2 0x02b2 000000f8: JUMPI 000000f9: DUP1 000000fa: PUSH4 0x6352211e 000000ff: EQ 00000100: PUSH2 0x02cc 00000103: JUMPI 00000104: PUSH1 0x00 00000106: DUP1 00000107: REVERT 00000108: JUMPDEST 00000109: DUP1 0000010a: PUSH4 0x01ffc9a7 0000010f: EQ 00000110: PUSH2 0x0150 00000113: JUMPI 00000114: DUP1 00000115: PUSH4 0x029877b6 0000011a: EQ 0000011b: PUSH2 0x0185 0000011e: JUMPI 0000011f: DUP1 00000120: PUSH4 0x06fdde03 00000125: EQ 00000126: PUSH2 0x019c 00000129: JUMPI 0000012a: DUP1 0000012b: PUSH4 0x081812fc 00000130: EQ 00000131: PUSH2 0x01be 00000134: JUMPI 00000135: DUP1 00000136: PUSH4 0x095ea7b3 0000013b: EQ 0000013c: PUSH2 0x01f6 0000013f: JUMPI 00000140: DUP1 00000141: PUSH4 0x18160ddd 00000146: EQ 00000147: PUSH2 0x0216 0000014a: JUMPI 0000014b: JUMPDEST 0000014c: PUSH1 0x00 0000014e: DUP1 0000014f: REVERT 00000150: JUMPDEST 00000151: CALLVALUE 00000152: DUP1 00000153: ISZERO 00000154: PUSH2 0x015c 00000157: JUMPI 00000158: PUSH1 0x00 0000015a: DUP1 0000015b: REVERT 0000015c: JUMPDEST 0000015d: POP 0000015e: PUSH2 0x0170 00000161: PUSH2 0x016b 00000164: CALLDATASIZE 00000165: PUSH1 0x04 00000167: PUSH2 0x1150 0000016a: JUMP 0000016b: JUMPDEST 0000016c: PUSH2 0x047b 0000016f: JUMP 00000170: JUMPDEST 00000171: PUSH1 0x40 00000173: MLOAD 00000174: SWAP1 00000175: ISZERO 00000176: ISZERO 00000177: DUP2 00000178: MSTORE 00000179: PUSH1 0x20 0000017b: ADD 0000017c: JUMPDEST 0000017d: PUSH1 0x40 0000017f: MLOAD 00000180: DUP1 00000181: SWAP2 00000182: SUB 00000183: SWAP1 00000184: RETURN 00000185: JUMPDEST 00000186: CALLVALUE 00000187: DUP1 00000188: ISZERO 00000189: PUSH2 0x0191 0000018c: JUMPI 0000018d: PUSH1 0x00 0000018f: DUP1 00000190: REVERT 00000191: JUMPDEST 00000192: POP 00000193: PUSH2 0x019a 00000196: PUSH2 0x04cd 00000199: JUMP 0000019a: JUMPDEST 0000019b: STOP 0000019c: JUMPDEST 0000019d: CALLVALUE 0000019e: DUP1 0000019f: ISZERO 000001a0: PUSH2 0x01a8 000001a3: JUMPI 000001a4: PUSH1 0x00 000001a6: DUP1 000001a7: REVERT 000001a8: JUMPDEST 000001a9: POP 000001aa: PUSH2 0x01b1 000001ad: PUSH2 0x055e 000001b0: JUMP 000001b1: JUMPDEST 000001b2: PUSH1 0x40 000001b4: MLOAD 000001b5: PUSH2 0x017c 000001b8: SWAP2 000001b9: SWAP1 000001ba: PUSH2 0x11c5 000001bd: JUMP 000001be: JUMPDEST 000001bf: CALLVALUE 000001c0: DUP1 000001c1: ISZERO 000001c2: PUSH2 0x01ca 000001c5: JUMPI 000001c6: PUSH1 0x00 000001c8: DUP1 000001c9: REVERT 000001ca: JUMPDEST 000001cb: POP 000001cc: PUSH2 0x01de 000001cf: PUSH2 0x01d9 000001d2: CALLDATASIZE 000001d3: PUSH1 0x04 000001d5: PUSH2 0x11d8 000001d8: JUMP 000001d9: JUMPDEST 000001da: PUSH2 0x05f0 000001dd: JUMP 000001de: JUMPDEST 000001df: PUSH1 0x40 000001e1: MLOAD 000001e2: PUSH1 0x01 000001e4: PUSH1 0x01 000001e6: PUSH1 0xa0 000001e8: SHL 000001e9: SUB 000001ea: SWAP1 000001eb: SWAP2 000001ec: AND 000001ed: DUP2 000001ee: MSTORE 000001ef: PUSH1 0x20 000001f1: ADD 000001f2: PUSH2 0x017c 000001f5: JUMP 000001f6: JUMPDEST 000001f7: CALLVALUE 000001f8: DUP1 000001f9: ISZERO 000001fa: PUSH2 0x0202 000001fd: JUMPI 000001fe: PUSH1 0x00 00000200: DUP1 00000201: REVERT 00000202: JUMPDEST 00000203: POP 00000204: PUSH2 0x019a 00000207: PUSH2 0x0211 0000020a: CALLDATASIZE 0000020b: PUSH1 0x04 0000020d: PUSH2 0x120d 00000210: JUMP 00000211: JUMPDEST 00000212: PUSH2 0x0634 00000215: JUMP 00000216: JUMPDEST 00000217: CALLVALUE 00000218: DUP1 00000219: ISZERO 0000021a: PUSH2 0x0222 0000021d: JUMPI 0000021e: PUSH1 0x00 00000220: DUP1 00000221: REVERT 00000222: JUMPDEST 00000223: POP 00000224: PUSH1 0x01 00000226: SLOAD 00000227: PUSH1 0x00 00000229: SLOAD 0000022a: SUB 0000022b: PUSH1 0x00 0000022d: NOT 0000022e: ADD 0000022f: JUMPDEST 00000230: PUSH1 0x40 00000232: MLOAD 00000233: SWAP1 00000234: DUP2 00000235: MSTORE 00000236: PUSH1 0x20 00000238: ADD 00000239: PUSH2 0x017c 0000023c: JUMP 0000023d: JUMPDEST 0000023e: CALLVALUE 0000023f: DUP1 00000240: ISZERO 00000241: PUSH2 0x0249 00000244: JUMPI 00000245: PUSH1 0x00 00000247: DUP1 00000248: REVERT 00000249: JUMPDEST 0000024a: POP 0000024b: PUSH2 0x019a 0000024e: PUSH2 0x0258 00000251: CALLDATASIZE 00000252: PUSH1 0x04 00000254: PUSH2 0x1237 00000257: JUMP 00000258: JUMPDEST 00000259: PUSH2 0x0706 0000025c: JUMP 0000025d: JUMPDEST 0000025e: CALLVALUE 0000025f: DUP1 00000260: ISZERO 00000261: PUSH2 0x0269 00000264: JUMPI 00000265: PUSH1 0x00 00000267: DUP1 00000268: REVERT 00000269: JUMPDEST 0000026a: POP 0000026b: PUSH2 0x019a 0000026e: PUSH2 0x0716 00000271: JUMP 00000272: JUMPDEST 00000273: CALLVALUE 00000274: DUP1 00000275: ISZERO 00000276: PUSH2 0x027e 00000279: JUMPI 0000027a: PUSH1 0x00 0000027c: DUP1 0000027d: REVERT 0000027e: JUMPDEST 0000027f: POP 00000280: PUSH2 0x019a 00000283: PUSH2 0x028d 00000286: CALLDATASIZE 00000287: PUSH1 0x04 00000289: PUSH2 0x1237 0000028c: JUMP 0000028d: JUMPDEST 0000028e: PUSH2 0x07ac 00000291: JUMP 00000292: JUMPDEST 00000293: CALLVALUE 00000294: DUP1 00000295: ISZERO 00000296: PUSH2 0x029e 00000299: JUMPI 0000029a: PUSH1 0x00 0000029c: DUP1 0000029d: REVERT 0000029e: JUMPDEST 0000029f: POP 000002a0: PUSH2 0x019a 000002a3: PUSH2 0x02ad 000002a6: CALLDATASIZE 000002a7: PUSH1 0x04 000002a9: PUSH2 0x1273 000002ac: JUMP 000002ad: JUMPDEST 000002ae: PUSH2 0x07c7 000002b1: JUMP 000002b2: JUMPDEST 000002b3: CALLVALUE 000002b4: DUP1 000002b5: ISZERO 000002b6: PUSH2 0x02be 000002b9: JUMPI 000002ba: PUSH1 0x00 000002bc: DUP1 000002bd: REVERT 000002be: JUMPDEST 000002bf: POP 000002c0: PUSH1 0x0a 000002c2: SLOAD 000002c3: PUSH2 0x0170 000002c6: SWAP1 000002c7: PUSH1 0xff 000002c9: AND 000002ca: DUP2 000002cb: JUMP 000002cc: JUMPDEST 000002cd: CALLVALUE 000002ce: DUP1 000002cf: ISZERO 000002d0: PUSH2 0x02d8 000002d3: JUMPI 000002d4: PUSH1 0x00 000002d6: DUP1 000002d7: REVERT 000002d8: JUMPDEST 000002d9: POP 000002da: PUSH2 0x01de 000002dd: PUSH2 0x02e7 000002e0: CALLDATASIZE 000002e1: PUSH1 0x04 000002e3: PUSH2 0x11d8 000002e6: JUMP 000002e7: JUMPDEST 000002e8: PUSH2 0x07fe 000002eb: JUMP 000002ec: JUMPDEST 000002ed: CALLVALUE 000002ee: DUP1 000002ef: ISZERO 000002f0: PUSH2 0x02f8 000002f3: JUMPI 000002f4: PUSH1 0x00 000002f6: DUP1 000002f7: REVERT 000002f8: JUMPDEST 000002f9: POP 000002fa: PUSH2 0x022f 000002fd: PUSH2 0x0307 00000300: CALLDATASIZE 00000301: PUSH1 0x04 00000303: PUSH2 0x12e5 00000306: JUMP 00000307: JUMPDEST 00000308: PUSH2 0x0809 0000030b: JUMP 0000030c: JUMPDEST 0000030d: CALLVALUE 0000030e: DUP1 0000030f: ISZERO 00000310: PUSH2 0x0318 00000313: JUMPI 00000314: PUSH1 0x00 00000316: DUP1 00000317: REVERT 00000318: JUMPDEST 00000319: POP 0000031a: PUSH2 0x019a 0000031d: PUSH2 0x0858 00000320: JUMP 00000321: JUMPDEST 00000322: CALLVALUE 00000323: DUP1 00000324: ISZERO 00000325: PUSH2 0x032d 00000328: JUMPI 00000329: PUSH1 0x00 0000032b: DUP1 0000032c: REVERT 0000032d: JUMPDEST 0000032e: POP 0000032f: PUSH2 0x019a 00000332: PUSH2 0x088c 00000335: JUMP 00000336: JUMPDEST 00000337: CALLVALUE 00000338: DUP1 00000339: ISZERO 0000033a: PUSH2 0x0342 0000033d: JUMPI 0000033e: PUSH1 0x00 00000340: DUP1 00000341: REVERT 00000342: JUMPDEST 00000343: POP 00000344: PUSH1 0x08 00000346: SLOAD 00000347: PUSH1 0x01 00000349: PUSH1 0x01 0000034b: PUSH1 0xa0 0000034d: SHL 0000034e: SUB 0000034f: AND 00000350: PUSH2 0x01de 00000353: JUMP 00000354: JUMPDEST 00000355: CALLVALUE 00000356: DUP1 00000357: ISZERO 00000358: PUSH2 0x0360 0000035b: JUMPI 0000035c: PUSH1 0x00 0000035e: DUP1 0000035f: REVERT 00000360: JUMPDEST 00000361: POP 00000362: PUSH2 0x01b1 00000365: PUSH2 0x08ca 00000368: JUMP 00000369: JUMPDEST 0000036a: CALLVALUE 0000036b: DUP1 0000036c: ISZERO 0000036d: PUSH2 0x0375 00000370: JUMPI 00000371: PUSH1 0x00 00000373: DUP1 00000374: REVERT 00000375: JUMPDEST 00000376: POP 00000377: PUSH2 0x022f 0000037a: PUSH2 0x0384 0000037d: CALLDATASIZE 0000037e: PUSH1 0x04 00000380: PUSH2 0x12e5 00000383: JUMP 00000384: JUMPDEST 00000385: PUSH1 0x01 00000387: PUSH1 0x01 00000389: PUSH1 0xa0 0000038b: SHL 0000038c: SUB 0000038d: AND 0000038e: PUSH1 0x00 00000390: SWAP1 00000391: DUP2 00000392: MSTORE 00000393: PUSH1 0x0b 00000395: PUSH1 0x20 00000397: MSTORE 00000398: PUSH1 0x40 0000039a: SWAP1 0000039b: KECCAK256 0000039c: SLOAD 0000039d: SWAP1 0000039e: JUMP 0000039f: JUMPDEST 000003a0: PUSH2 0x019a 000003a3: PUSH2 0x03ad 000003a6: CALLDATASIZE 000003a7: PUSH1 0x04 000003a9: PUSH2 0x11d8 000003ac: JUMP 000003ad: JUMPDEST 000003ae: PUSH2 0x08d9 000003b1: JUMP 000003b2: JUMPDEST 000003b3: CALLVALUE 000003b4: DUP1 000003b5: ISZERO 000003b6: PUSH2 0x03be 000003b9: JUMPI 000003ba: PUSH1 0x00 000003bc: DUP1 000003bd: REVERT 000003be: JUMPDEST 000003bf: POP 000003c0: PUSH2 0x019a 000003c3: PUSH2 0x03cd 000003c6: CALLDATASIZE 000003c7: PUSH1 0x04 000003c9: PUSH2 0x1300 000003cc: JUMP 000003cd: JUMPDEST 000003ce: PUSH2 0x0a7a 000003d1: JUMP 000003d2: JUMPDEST 000003d3: CALLVALUE 000003d4: DUP1 000003d5: ISZERO 000003d6: PUSH2 0x03de 000003d9: JUMPI 000003da: PUSH1 0x00 000003dc: DUP1 000003dd: REVERT 000003de: JUMPDEST 000003df: POP 000003e0: PUSH2 0x019a 000003e3: PUSH2 0x03ed 000003e6: CALLDATASIZE 000003e7: PUSH1 0x04 000003e9: PUSH2 0x1352 000003ec: JUMP 000003ed: JUMPDEST 000003ee: PUSH2 0x0b0f 000003f1: JUMP 000003f2: JUMPDEST 000003f3: CALLVALUE 000003f4: DUP1 000003f5: ISZERO 000003f6: PUSH2 0x03fe 000003f9: JUMPI 000003fa: PUSH1 0x00 000003fc: DUP1 000003fd: REVERT 000003fe: JUMPDEST 000003ff: POP 00000400: PUSH2 0x01b1 00000403: PUSH2 0x040d 00000406: CALLDATASIZE 00000407: PUSH1 0x04 00000409: PUSH2 0x11d8 0000040c: JUMP 0000040d: JUMPDEST 0000040e: PUSH2 0x0b53 00000411: JUMP 00000412: JUMPDEST 00000413: CALLVALUE 00000414: DUP1 00000415: ISZERO 00000416: PUSH2 0x041e 00000419: JUMPI 0000041a: PUSH1 0x00 0000041c: DUP1 0000041d: REVERT 0000041e: JUMPDEST 0000041f: POP 00000420: PUSH2 0x0170 00000423: PUSH2 0x042d 00000426: CALLDATASIZE 00000427: PUSH1 0x04 00000429: PUSH2 0x142e 0000042c: JUMP 0000042d: JUMPDEST 0000042e: PUSH1 0x01 00000430: PUSH1 0x01 00000432: PUSH1 0xa0 00000434: SHL 00000435: SUB 00000436: SWAP2 00000437: DUP3 00000438: AND 00000439: PUSH1 0x00 0000043b: SWAP1 0000043c: DUP2 0000043d: MSTORE 0000043e: PUSH1 0x07 00000440: PUSH1 0x20 00000442: SWAP1 00000443: DUP2 00000444: MSTORE 00000445: PUSH1 0x40 00000447: DUP1 00000448: DUP4 00000449: KECCAK256 0000044a: SWAP4 0000044b: SWAP1 0000044c: SWAP5 0000044d: AND 0000044e: DUP3 0000044f: MSTORE 00000450: SWAP2 00000451: SWAP1 00000452: SWAP2 00000453: MSTORE 00000454: KECCAK256 00000455: SLOAD 00000456: PUSH1 0xff 00000458: AND 00000459: SWAP1 0000045a: JUMP 0000045b: JUMPDEST 0000045c: CALLVALUE 0000045d: DUP1 0000045e: ISZERO 0000045f: PUSH2 0x0467 00000462: JUMPI 00000463: PUSH1 0x00 00000465: DUP1 00000466: REVERT 00000467: JUMPDEST 00000468: POP 00000469: PUSH2 0x019a 0000046c: PUSH2 0x0476 0000046f: CALLDATASIZE 00000470: PUSH1 0x04 00000472: PUSH2 0x12e5 00000475: JUMP 00000476: JUMPDEST 00000477: PUSH2 0x0bd7 0000047a: JUMP 0000047b: JUMPDEST 0000047c: PUSH1 0x00 0000047e: PUSH4 0x01ffc9a7 00000483: PUSH1 0xe0 00000485: SHL 00000486: PUSH1 0x01 00000488: PUSH1 0x01 0000048a: PUSH1 0xe0 0000048c: SHL 0000048d: SUB 0000048e: NOT 0000048f: DUP4 00000490: AND 00000491: EQ 00000492: DUP1 00000493: PUSH2 0x04ac 00000496: JUMPI 00000497: POP 00000498: PUSH4 0x80ac58cd 0000049d: PUSH1 0xe0 0000049f: SHL 000004a0: PUSH1 0x01 000004a2: PUSH1 0x01 000004a4: PUSH1 0xe0 000004a6: SHL 000004a7: SUB 000004a8: NOT 000004a9: DUP4 000004aa: AND 000004ab: EQ 000004ac: JUMPDEST 000004ad: DUP1 000004ae: PUSH2 0x04c7 000004b1: JUMPI 000004b2: POP 000004b3: PUSH4 0x5b5e139f 000004b8: PUSH1 0xe0 000004ba: SHL 000004bb: PUSH1 0x01 000004bd: PUSH1 0x01 000004bf: PUSH1 0xe0 000004c1: SHL 000004c2: SUB 000004c3: NOT 000004c4: DUP4 000004c5: AND 000004c6: EQ 000004c7: JUMPDEST 000004c8: SWAP3 000004c9: SWAP2 000004ca: POP 000004cb: POP 000004cc: JUMP 000004cd: JUMPDEST 000004ce: PUSH1 0x08 000004d0: SLOAD 000004d1: PUSH1 0x01 000004d3: PUSH1 0x01 000004d5: PUSH1 0xa0 000004d7: SHL 000004d8: SUB 000004d9: AND 000004da: CALLER 000004db: EQ 000004dc: PUSH2 0x0500 000004df: JUMPI 000004e0: PUSH1 0x40 000004e2: MLOAD 000004e3: PUSH3 0x461bcd 000004e7: PUSH1 0xe5 000004e9: SHL 000004ea: DUP2 000004eb: MSTORE 000004ec: PUSH1 0x04 000004ee: ADD 000004ef: PUSH2 0x04f7 000004f2: SWAP1 000004f3: PUSH2 0x1461 000004f6: JUMP 000004f7: JUMPDEST 000004f8: PUSH1 0x40 000004fa: MLOAD 000004fb: DUP1 000004fc: SWAP2 000004fd: SUB 000004fe: SWAP1 000004ff: REVERT 00000500: JUMPDEST 00000501: PUSH1 0x01 00000503: SLOAD 00000504: PUSH1 0x00 00000506: SLOAD 00000507: SUB 00000508: PUSH1 0x00 0000050a: NOT 0000050b: ADD 0000050c: ISZERO 0000050d: PUSH2 0x0551 00000510: JUMPI 00000511: PUSH1 0x40 00000513: MLOAD 00000514: PUSH3 0x461bcd 00000518: PUSH1 0xe5 0000051a: SHL 0000051b: DUP2 0000051c: MSTORE 0000051d: PUSH1 0x20 0000051f: PUSH1 0x04 00000521: DUP3 00000522: ADD 00000523: MSTORE 00000524: PUSH1 0x16 00000526: PUSH1 0x24 00000528: DUP3 00000529: ADD 0000052a: MSTORE 0000052b: PUSH22 0x2932b9b2b93b32b99030b63932b0b23c903a30b5b2b7 00000542: PUSH1 0x51 00000544: SHL 00000545: PUSH1 0x44 00000547: DUP3 00000548: ADD 00000549: MSTORE 0000054a: PUSH1 0x64 0000054c: ADD 0000054d: PUSH2 0x04f7 00000550: JUMP 00000551: JUMPDEST 00000552: PUSH2 0x055c 00000555: CALLER 00000556: PUSH1 0x64 00000558: PUSH2 0x0c72 0000055b: JUMP 0000055c: JUMPDEST 0000055d: JUMP 0000055e: JUMPDEST 0000055f: PUSH1 0x60 00000561: PUSH1 0x02 00000563: DUP1 00000564: SLOAD 00000565: PUSH2 0x056d 00000568: SWAP1 00000569: PUSH2 0x1496 0000056c: JUMP 0000056d: JUMPDEST 0000056e: DUP1 0000056f: PUSH1 0x1f 00000571: ADD 00000572: PUSH1 0x20 00000574: DUP1 00000575: SWAP2 00000576: DIV 00000577: MUL 00000578: PUSH1 0x20 0000057a: ADD 0000057b: PUSH1 0x40 0000057d: MLOAD 0000057e: SWAP1 0000057f: DUP2 00000580: ADD 00000581: PUSH1 0x40 00000583: MSTORE 00000584: DUP1 00000585: SWAP3 00000586: SWAP2 00000587: SWAP1 00000588: DUP2 00000589: DUP2 0000058a: MSTORE 0000058b: PUSH1 0x20 0000058d: ADD 0000058e: DUP3 0000058f: DUP1 00000590: SLOAD 00000591: PUSH2 0x0599 00000594: SWAP1 00000595: PUSH2 0x1496 00000598: JUMP 00000599: JUMPDEST 0000059a: DUP1 0000059b: ISZERO 0000059c: PUSH2 0x05e6 0000059f: JUMPI 000005a0: DUP1 000005a1: PUSH1 0x1f 000005a3: LT 000005a4: PUSH2 0x05bb 000005a7: JUMPI 000005a8: PUSH2 0x0100 000005ab: DUP1 000005ac: DUP4 000005ad: SLOAD 000005ae: DIV 000005af: MUL 000005b0: DUP4 000005b1: MSTORE 000005b2: SWAP2 000005b3: PUSH1 0x20 000005b5: ADD 000005b6: SWAP2 000005b7: PUSH2 0x05e6 000005ba: JUMP 000005bb: JUMPDEST 000005bc: DUP3 000005bd: ADD 000005be: SWAP2 000005bf: SWAP1 000005c0: PUSH1 0x00 000005c2: MSTORE 000005c3: PUSH1 0x20 000005c5: PUSH1 0x00 000005c7: KECCAK256 000005c8: SWAP1 000005c9: JUMPDEST 000005ca: DUP2 000005cb: SLOAD 000005cc: DUP2 000005cd: MSTORE 000005ce: SWAP1 000005cf: PUSH1 0x01 000005d1: ADD 000005d2: SWAP1 000005d3: PUSH1 0x20 000005d5: ADD 000005d6: DUP1 000005d7: DUP4 000005d8: GT 000005d9: PUSH2 0x05c9 000005dc: JUMPI 000005dd: DUP3 000005de: SWAP1 000005df: SUB 000005e0: PUSH1 0x1f 000005e2: AND 000005e3: DUP3 000005e4: ADD 000005e5: SWAP2 000005e6: JUMPDEST 000005e7: POP 000005e8: POP 000005e9: POP 000005ea: POP 000005eb: POP 000005ec: SWAP1 000005ed: POP 000005ee: SWAP1 000005ef: JUMP 000005f0: JUMPDEST 000005f1: PUSH1 0x00 000005f3: PUSH2 0x05fb 000005f6: DUP3 000005f7: PUSH2 0x0d53 000005fa: JUMP 000005fb: JUMPDEST 000005fc: PUSH2 0x0618 000005ff: JUMPI 00000600: PUSH1 0x40 00000602: MLOAD 00000603: PUSH4 0x33d1c039 00000608: PUSH1 0xe2 0000060a: SHL 0000060b: DUP2 0000060c: MSTORE 0000060d: PUSH1 0x04 0000060f: ADD 00000610: PUSH1 0x40 00000612: MLOAD 00000613: DUP1 00000614: SWAP2 00000615: SUB 00000616: SWAP1 00000617: REVERT 00000618: JUMPDEST 00000619: POP 0000061a: PUSH1 0x00 0000061c: SWAP1 0000061d: DUP2 0000061e: MSTORE 0000061f: PUSH1 0x06 00000621: PUSH1 0x20 00000623: MSTORE 00000624: PUSH1 0x40 00000626: SWAP1 00000627: KECCAK256 00000628: SLOAD 00000629: PUSH1 0x01 0000062b: PUSH1 0x01 0000062d: PUSH1 0xa0 0000062f: SHL 00000630: SUB 00000631: AND 00000632: SWAP1 00000633: JUMP 00000634: JUMPDEST 00000635: PUSH1 0x00 00000637: PUSH2 0x063f 0000063a: DUP3 0000063b: PUSH2 0x0d88 0000063e: JUMP 0000063f: JUMPDEST 00000640: SWAP1 00000641: POP 00000642: DUP1 00000643: PUSH1 0x01 00000645: PUSH1 0x01 00000647: PUSH1 0xa0 00000649: SHL 0000064a: SUB 0000064b: AND 0000064c: DUP4 0000064d: PUSH1 0x01 0000064f: PUSH1 0x01 00000651: PUSH1 0xa0 00000653: SHL 00000654: SUB 00000655: AND 00000656: SUB 00000657: PUSH2 0x0673 0000065a: JUMPI 0000065b: PUSH1 0x40 0000065d: MLOAD 0000065e: PUSH4 0x250fdee3 00000663: PUSH1 0xe2 00000665: SHL 00000666: DUP2 00000667: MSTORE 00000668: PUSH1 0x04 0000066a: ADD 0000066b: PUSH1 0x40 0000066d: MLOAD 0000066e: DUP1 0000066f: SWAP2 00000670: SUB 00000671: SWAP1 00000672: REVERT 00000673: JUMPDEST 00000674: CALLER 00000675: PUSH1 0x01 00000677: PUSH1 0x01 00000679: PUSH1 0xa0 0000067b: SHL 0000067c: SUB 0000067d: DUP3 0000067e: AND 0000067f: EQ 00000680: PUSH2 0x06aa 00000683: JUMPI 00000684: PUSH2 0x068d 00000687: DUP2 00000688: CALLER 00000689: PUSH2 0x042d 0000068c: JUMP 0000068d: JUMPDEST 0000068e: PUSH2 0x06aa 00000691: JUMPI 00000692: PUSH1 0x40 00000694: MLOAD 00000695: PUSH4 0x67d9dca1 0000069a: PUSH1 0xe1 0000069c: SHL 0000069d: DUP2 0000069e: MSTORE 0000069f: PUSH1 0x04 000006a1: ADD 000006a2: PUSH1 0x40 000006a4: MLOAD 000006a5: DUP1 000006a6: SWAP2 000006a7: SUB 000006a8: SWAP1 000006a9: REVERT 000006aa: JUMPDEST 000006ab: PUSH1 0x00 000006ad: DUP3 000006ae: DUP2 000006af: MSTORE 000006b0: PUSH1 0x06 000006b2: PUSH1 0x20 000006b4: MSTORE 000006b5: PUSH1 0x40 000006b7: DUP1 000006b8: DUP3 000006b9: KECCAK256 000006ba: DUP1 000006bb: SLOAD 000006bc: PUSH1 0x01 000006be: PUSH1 0x01 000006c0: PUSH1 0xa0 000006c2: SHL 000006c3: SUB 000006c4: NOT 000006c5: AND 000006c6: PUSH1 0x01 000006c8: PUSH1 0x01 000006ca: PUSH1 0xa0 000006cc: SHL 000006cd: SUB 000006ce: DUP8 000006cf: DUP2 000006d0: AND 000006d1: SWAP2 000006d2: DUP3 000006d3: OR 000006d4: SWAP1 000006d5: SWAP3 000006d6: SSTORE 000006d7: SWAP2 000006d8: MLOAD 000006d9: DUP6 000006da: SWAP4 000006db: SWAP2 000006dc: DUP6 000006dd: AND 000006de: SWAP2 000006df: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000700: SWAP2 00000701: LOG4 00000702: POP 00000703: POP 00000704: POP 00000705: JUMP 00000706: JUMPDEST 00000707: PUSH2 0x0711 0000070a: DUP4 0000070b: DUP4 0000070c: DUP4 0000070d: PUSH2 0x0df7 00000710: JUMP 00000711: JUMPDEST 00000712: POP 00000713: POP 00000714: POP 00000715: JUMP 00000716: JUMPDEST 00000717: PUSH1 0x08 00000719: SLOAD 0000071a: PUSH1 0x01 0000071c: PUSH1 0x01 0000071e: PUSH1 0xa0 00000720: SHL 00000721: SUB 00000722: AND 00000723: CALLER 00000724: EQ 00000725: PUSH2 0x0740 00000728: JUMPI 00000729: PUSH1 0x40 0000072b: MLOAD 0000072c: PUSH3 0x461bcd 00000730: PUSH1 0xe5 00000732: SHL 00000733: DUP2 00000734: MSTORE 00000735: PUSH1 0x04 00000737: ADD 00000738: PUSH2 0x04f7 0000073b: SWAP1 0000073c: PUSH2 0x1461 0000073f: JUMP 00000740: JUMPDEST 00000741: PUSH1 0x08 00000743: SLOAD 00000744: PUSH1 0x40 00000746: MLOAD 00000747: PUSH1 0x01 00000749: PUSH1 0x01 0000074b: PUSH1 0xa0 0000074d: SHL 0000074e: SUB 0000074f: SWAP1 00000750: SWAP2 00000751: AND 00000752: SWAP1 00000753: SELFBALANCE 00000754: DUP1 00000755: ISZERO 00000756: PUSH2 0x08fc 00000759: MUL 0000075a: SWAP2 0000075b: PUSH1 0x00 0000075d: DUP2 0000075e: DUP2 0000075f: DUP2 00000760: DUP6 00000761: DUP9 00000762: DUP9 00000763: CALL 00000764: SWAP4 00000765: POP 00000766: POP 00000767: POP 00000768: POP 00000769: PUSH2 0x055c 0000076c: JUMPI 0000076d: PUSH1 0x40 0000076f: MLOAD 00000770: PUSH3 0x461bcd 00000774: PUSH1 0xe5 00000776: SHL 00000777: DUP2 00000778: MSTORE 00000779: PUSH1 0x20 0000077b: PUSH1 0x04 0000077d: DUP3 0000077e: ADD 0000077f: MSTORE 00000780: PUSH1 0x15 00000782: PUSH1 0x24 00000784: DUP3 00000785: ADD 00000786: MSTORE 00000787: PUSH21 0x15da5d1a191c985dc81d5b9cdd58d8d95cdcd99d5b 0000079d: PUSH1 0x5a 0000079f: SHL 000007a0: PUSH1 0x44 000007a2: DUP3 000007a3: ADD 000007a4: MSTORE 000007a5: PUSH1 0x64 000007a7: ADD 000007a8: PUSH2 0x04f7 000007ab: JUMP 000007ac: JUMPDEST 000007ad: PUSH2 0x0711 000007b0: DUP4 000007b1: DUP4 000007b2: DUP4 000007b3: PUSH1 0x40 000007b5: MLOAD 000007b6: DUP1 000007b7: PUSH1 0x20 000007b9: ADD 000007ba: PUSH1 0x40 000007bc: MSTORE 000007bd: DUP1 000007be: PUSH1 0x00 000007c0: DUP2 000007c1: MSTORE 000007c2: POP 000007c3: PUSH2 0x0b0f 000007c6: JUMP 000007c7: JUMPDEST 000007c8: PUSH1 0x08 000007ca: SLOAD 000007cb: PUSH1 0x01 000007cd: PUSH1 0x01 000007cf: PUSH1 0xa0 000007d1: SHL 000007d2: SUB 000007d3: AND 000007d4: CALLER 000007d5: EQ 000007d6: PUSH2 0x07f1 000007d9: JUMPI 000007da: PUSH1 0x40 000007dc: MLOAD 000007dd: PUSH3 0x461bcd 000007e1: PUSH1 0xe5 000007e3: SHL 000007e4: DUP2 000007e5: MSTORE 000007e6: PUSH1 0x04 000007e8: ADD 000007e9: PUSH2 0x04f7 000007ec: SWAP1 000007ed: PUSH2 0x1461 000007f0: JUMP 000007f1: JUMPDEST 000007f2: PUSH1 0x09 000007f4: PUSH2 0x0711 000007f7: DUP3 000007f8: DUP5 000007f9: DUP4 000007fa: PUSH2 0x151e 000007fd: JUMP 000007fe: JUMPDEST 000007ff: PUSH1 0x00 00000801: PUSH2 0x04c7 00000804: DUP3 00000805: PUSH2 0x0d88 00000808: JUMP 00000809: JUMPDEST 0000080a: PUSH1 0x00 0000080c: PUSH1 0x01 0000080e: PUSH1 0x01 00000810: PUSH1 0xa0 00000812: SHL 00000813: SUB 00000814: DUP3 00000815: AND 00000816: PUSH2 0x0832 00000819: JUMPI 0000081a: PUSH1 0x40 0000081c: MLOAD 0000081d: PUSH4 0x23d3ad81 00000822: PUSH1 0xe2 00000824: SHL 00000825: DUP2 00000826: MSTORE 00000827: PUSH1 0x04 00000829: ADD 0000082a: PUSH1 0x40 0000082c: MLOAD 0000082d: DUP1 0000082e: SWAP2 0000082f: SUB 00000830: SWAP1 00000831: REVERT 00000832: JUMPDEST 00000833: POP 00000834: PUSH1 0x01 00000836: PUSH1 0x01 00000838: PUSH1 0xa0 0000083a: SHL 0000083b: SUB 0000083c: AND 0000083d: PUSH1 0x00 0000083f: SWAP1 00000840: DUP2 00000841: MSTORE 00000842: PUSH1 0x05 00000844: PUSH1 0x20 00000846: MSTORE 00000847: PUSH1 0x40 00000849: SWAP1 0000084a: KECCAK256 0000084b: SLOAD 0000084c: PUSH8 0xffffffffffffffff 00000855: AND 00000856: SWAP1 00000857: JUMP 00000858: JUMPDEST 00000859: PUSH1 0x08 0000085b: SLOAD 0000085c: PUSH1 0x01 0000085e: PUSH1 0x01 00000860: PUSH1 0xa0 00000862: SHL 00000863: SUB 00000864: AND 00000865: CALLER 00000866: EQ 00000867: PUSH2 0x0882 0000086a: JUMPI 0000086b: PUSH1 0x40 0000086d: MLOAD 0000086e: PUSH3 0x461bcd 00000872: PUSH1 0xe5 00000874: SHL 00000875: DUP2 00000876: MSTORE 00000877: PUSH1 0x04 00000879: ADD 0000087a: PUSH2 0x04f7 0000087d: SWAP1 0000087e: PUSH2 0x1461 00000881: JUMP 00000882: JUMPDEST 00000883: PUSH2 0x055c 00000886: PUSH1 0x00 00000888: PUSH2 0x0f9f 0000088b: JUMP 0000088c: JUMPDEST 0000088d: PUSH1 0x08 0000088f: SLOAD 00000890: PUSH1 0x01 00000892: PUSH1 0x01 00000894: PUSH1 0xa0 00000896: SHL 00000897: SUB 00000898: AND 00000899: CALLER 0000089a: EQ 0000089b: PUSH2 0x08b6 0000089e: JUMPI 0000089f: PUSH1 0x40 000008a1: MLOAD 000008a2: PUSH3 0x461bcd 000008a6: PUSH1 0xe5 000008a8: SHL 000008a9: DUP2 000008aa: MSTORE 000008ab: PUSH1 0x04 000008ad: ADD 000008ae: PUSH2 0x04f7 000008b1: SWAP1 000008b2: PUSH2 0x1461 000008b5: JUMP 000008b6: JUMPDEST 000008b7: PUSH1 0x0a 000008b9: DUP1 000008ba: SLOAD 000008bb: PUSH1 0xff 000008bd: NOT 000008be: DUP2 000008bf: AND 000008c0: PUSH1 0xff 000008c2: SWAP1 000008c3: SWAP2 000008c4: AND 000008c5: ISZERO 000008c6: OR 000008c7: SWAP1 000008c8: SSTORE 000008c9: JUMP 000008ca: JUMPDEST 000008cb: PUSH1 0x60 000008cd: PUSH1 0x03 000008cf: DUP1 000008d0: SLOAD 000008d1: PUSH2 0x056d 000008d4: SWAP1 000008d5: PUSH2 0x1496 000008d8: JUMP 000008d9: JUMPDEST 000008da: PUSH1 0x0a 000008dc: SLOAD 000008dd: PUSH1 0xff 000008df: AND 000008e0: ISZERO 000008e1: PUSH2 0x091d 000008e4: JUMPI 000008e5: PUSH1 0x40 000008e7: MLOAD 000008e8: PUSH3 0x461bcd 000008ec: PUSH1 0xe5 000008ee: SHL 000008ef: DUP2 000008f0: MSTORE 000008f1: PUSH1 0x20 000008f3: PUSH1 0x04 000008f5: DUP3 000008f6: ADD 000008f7: MSTORE 000008f8: PUSH1 0x0e 000008fa: PUSH1 0x24 000008fc: DUP3 000008fd: ADD 000008fe: MSTORE 000008ff: PUSH14 0x135a5b9d1a5b99c81c185d5cd959 0000090e: PUSH1 0x92 00000910: SHL 00000911: PUSH1 0x44 00000913: DUP3 00000914: ADD 00000915: MSTORE 00000916: PUSH1 0x64 00000918: ADD 00000919: PUSH2 0x04f7 0000091c: JUMP 0000091d: JUMPDEST 0000091e: PUSH1 0x00 00000920: PUSH2 0x0932 00000923: PUSH1 0x01 00000925: SLOAD 00000926: PUSH1 0x00 00000928: SLOAD 00000929: PUSH1 0x00 0000092b: NOT 0000092c: SWAP2 0000092d: SWAP1 0000092e: SUB 0000092f: ADD 00000930: SWAP1 00000931: JUMP 00000932: JUMPDEST 00000933: SWAP1 00000934: POP 00000935: PUSH2 0x1a0b 00000938: PUSH2 0x0941 0000093b: DUP4 0000093c: DUP4 0000093d: PUSH2 0x15f4 00000940: JUMP 00000941: JUMPDEST 00000942: LT 00000943: PUSH2 0x097f 00000946: JUMPI 00000947: PUSH1 0x40 00000949: MLOAD 0000094a: PUSH3 0x461bcd 0000094e: PUSH1 0xe5 00000950: SHL 00000951: DUP2 00000952: MSTORE 00000953: PUSH1 0x20 00000955: PUSH1 0x04 00000957: DUP3 00000958: ADD 00000959: MSTORE 0000095a: PUSH1 0x0e 0000095c: PUSH1 0x24 0000095e: DUP3 0000095f: ADD 00000960: MSTORE 00000961: PUSH14 0x4578636565647320737570706c79 00000970: PUSH1 0x90 00000972: SHL 00000973: PUSH1 0x44 00000975: DUP3 00000976: ADD 00000977: MSTORE 00000978: PUSH1 0x64 0000097a: ADD 0000097b: PUSH2 0x04f7 0000097e: JUMP 0000097f: JUMPDEST 00000980: PUSH1 0x07 00000982: DUP3 00000983: LT 00000984: PUSH2 0x09c4 00000987: JUMPI 00000988: PUSH1 0x40 0000098a: MLOAD 0000098b: PUSH3 0x461bcd 0000098f: PUSH1 0xe5 00000991: SHL 00000992: DUP2 00000993: MSTORE 00000994: PUSH1 0x20 00000996: PUSH1 0x04 00000998: DUP3 00000999: ADD 0000099a: MSTORE 0000099b: PUSH1 0x12 0000099d: PUSH1 0x24 0000099f: DUP3 000009a0: ADD 000009a1: MSTORE 000009a2: PUSH18 0x08af0c6cacac8e640dac2f040e0cae440e8f 000009b5: PUSH1 0x73 000009b7: SHL 000009b8: PUSH1 0x44 000009ba: DUP3 000009bb: ADD 000009bc: MSTORE 000009bd: PUSH1 0x64 000009bf: ADD 000009c0: PUSH2 0x04f7 000009c3: JUMP 000009c4: JUMPDEST 000009c5: CALLER 000009c6: PUSH1 0x00 000009c8: SWAP1 000009c9: DUP2 000009ca: MSTORE 000009cb: PUSH1 0x0b 000009cd: PUSH1 0x20 000009cf: MSTORE 000009d0: PUSH1 0x40 000009d2: SWAP1 000009d3: KECCAK256 000009d4: SLOAD 000009d5: DUP3 000009d6: SWAP1 000009d7: PUSH1 0x01 000009d9: DUP2 000009da: LT 000009db: ISZERO 000009dc: PUSH2 0x0a13 000009df: JUMPI 000009e0: PUSH1 0x01 000009e2: DUP5 000009e3: GT 000009e4: ISZERO 000009e5: PUSH2 0x09fa 000009e8: JUMPI 000009e9: PUSH2 0x09f3 000009ec: PUSH1 0x01 000009ee: DUP6 000009ef: PUSH2 0x160c 000009f2: JUMP 000009f3: JUMPDEST 000009f4: SWAP2 000009f5: POP 000009f6: PUSH2 0x09ff 000009f9: JUMP 000009fa: JUMPDEST 000009fb: PUSH1 0x00 000009fd: SWAP2 000009fe: POP 000009ff: JUMPDEST 00000a00: CALLER 00000a01: PUSH1 0x00 00000a03: SWAP1 00000a04: DUP2 00000a05: MSTORE 00000a06: PUSH1 0x0b 00000a08: PUSH1 0x20 00000a0a: MSTORE 00000a0b: PUSH1 0x40 00000a0d: SWAP1 00000a0e: KECCAK256 00000a0f: PUSH1 0x01 00000a11: SWAP1 00000a12: SSTORE 00000a13: JUMPDEST 00000a14: PUSH2 0x0a24 00000a17: PUSH7 0x1772aa3f848000 00000a1f: DUP4 00000a20: PUSH2 0x1623 00000a23: JUMP 00000a24: JUMPDEST 00000a25: CALLVALUE 00000a26: LT 00000a27: ISZERO 00000a28: PUSH2 0x0a6a 00000a2b: JUMPI 00000a2c: PUSH1 0x40 00000a2e: MLOAD 00000a2f: PUSH3 0x461bcd 00000a33: PUSH1 0xe5 00000a35: SHL 00000a36: DUP2 00000a37: MSTORE 00000a38: PUSH1 0x20 00000a3a: PUSH1 0x04 00000a3c: DUP3 00000a3d: ADD 00000a3e: MSTORE 00000a3f: PUSH1 0x14 00000a41: PUSH1 0x24 00000a43: DUP3 00000a44: ADD 00000a45: MSTORE 00000a46: PUSH20 0x115512081cd95b9d081b9bdd0818dbdc9c9958dd 00000a5b: PUSH1 0x62 00000a5d: SHL 00000a5e: PUSH1 0x44 00000a60: DUP3 00000a61: ADD 00000a62: MSTORE 00000a63: PUSH1 0x64 00000a65: ADD 00000a66: PUSH2 0x04f7 00000a69: JUMP 00000a6a: JUMPDEST 00000a6b: PUSH2 0x0a74 00000a6e: CALLER 00000a6f: DUP6 00000a70: PUSH2 0x0c72 00000a73: JUMP 00000a74: JUMPDEST 00000a75: POP 00000a76: POP 00000a77: POP 00000a78: POP 00000a79: JUMP 00000a7a: JUMPDEST 00000a7b: CALLER 00000a7c: PUSH1 0x01 00000a7e: PUSH1 0x01 00000a80: PUSH1 0xa0 00000a82: SHL 00000a83: SUB 00000a84: DUP4 00000a85: AND 00000a86: SUB 00000a87: PUSH2 0x0aa3 00000a8a: JUMPI 00000a8b: PUSH1 0x40 00000a8d: MLOAD 00000a8e: PUSH4 0xb06307db 00000a93: PUSH1 0xe0 00000a95: SHL 00000a96: DUP2 00000a97: MSTORE 00000a98: PUSH1 0x04 00000a9a: ADD 00000a9b: PUSH1 0x40 00000a9d: MLOAD 00000a9e: DUP1 00000a9f: SWAP2 00000aa0: SUB 00000aa1: SWAP1 00000aa2: REVERT 00000aa3: JUMPDEST 00000aa4: CALLER 00000aa5: PUSH1 0x00 00000aa7: DUP2 00000aa8: DUP2 00000aa9: MSTORE 00000aaa: PUSH1 0x07 00000aac: PUSH1 0x20 00000aae: SWAP1 00000aaf: DUP2 00000ab0: MSTORE 00000ab1: PUSH1 0x40 00000ab3: DUP1 00000ab4: DUP4 00000ab5: KECCAK256 00000ab6: PUSH1 0x01 00000ab8: PUSH1 0x01 00000aba: PUSH1 0xa0 00000abc: SHL 00000abd: SUB 00000abe: DUP8 00000abf: AND 00000ac0: DUP1 00000ac1: DUP6 00000ac2: MSTORE 00000ac3: SWAP1 00000ac4: DUP4 00000ac5: MSTORE 00000ac6: SWAP3 00000ac7: DUP2 00000ac8: SWAP1 00000ac9: KECCAK256 00000aca: DUP1 00000acb: SLOAD 00000acc: PUSH1 0xff 00000ace: NOT 00000acf: AND 00000ad0: DUP7 00000ad1: ISZERO 00000ad2: ISZERO 00000ad3: SWAP1 00000ad4: DUP2 00000ad5: OR 00000ad6: SWAP1 00000ad7: SWAP2 00000ad8: SSTORE 00000ad9: SWAP1 00000ada: MLOAD 00000adb: SWAP1 00000adc: DUP2 00000add: MSTORE 00000ade: SWAP2 00000adf: SWAP3 00000ae0: SWAP2 00000ae1: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31 00000b02: SWAP2 00000b03: ADD 00000b04: PUSH1 0x40 00000b06: MLOAD 00000b07: DUP1 00000b08: SWAP2 00000b09: SUB 00000b0a: SWAP1 00000b0b: LOG3 00000b0c: POP 00000b0d: POP 00000b0e: JUMP 00000b0f: JUMPDEST 00000b10: PUSH2 0x0b1a 00000b13: DUP5 00000b14: DUP5 00000b15: DUP5 00000b16: PUSH2 0x0df7 00000b19: JUMP 00000b1a: JUMPDEST 00000b1b: PUSH1 0x01 00000b1d: PUSH1 0x01 00000b1f: PUSH1 0xa0 00000b21: SHL 00000b22: SUB 00000b23: DUP4 00000b24: AND 00000b25: EXTCODESIZE 00000b26: ISZERO 00000b27: PUSH2 0x0a74 00000b2a: JUMPI 00000b2b: PUSH2 0x0b36 00000b2e: DUP5 00000b2f: DUP5 00000b30: DUP5 00000b31: DUP5 00000b32: PUSH2 0x0ff1 00000b35: JUMP 00000b36: JUMPDEST 00000b37: PUSH2 0x0a74 00000b3a: JUMPI 00000b3b: PUSH1 0x40 00000b3d: MLOAD 00000b3e: PUSH4 0x68d2bf6b 00000b43: PUSH1 0xe1 00000b45: SHL 00000b46: DUP2 00000b47: MSTORE 00000b48: PUSH1 0x04 00000b4a: ADD 00000b4b: PUSH1 0x40 00000b4d: MLOAD 00000b4e: DUP1 00000b4f: SWAP2 00000b50: SUB 00000b51: SWAP1 00000b52: REVERT 00000b53: JUMPDEST 00000b54: PUSH1 0x60 00000b56: PUSH2 0x0b5e 00000b59: DUP3 00000b5a: PUSH2 0x0d53 00000b5d: JUMP 00000b5e: JUMPDEST 00000b5f: PUSH2 0x0b7b 00000b62: JUMPI 00000b63: PUSH1 0x40 00000b65: MLOAD 00000b66: PUSH4 0x0a14c4b5 00000b6b: PUSH1 0xe4 00000b6d: SHL 00000b6e: DUP2 00000b6f: MSTORE 00000b70: PUSH1 0x04 00000b72: ADD 00000b73: PUSH1 0x40 00000b75: MLOAD 00000b76: DUP1 00000b77: SWAP2 00000b78: SUB 00000b79: SWAP1 00000b7a: REVERT 00000b7b: JUMPDEST 00000b7c: PUSH1 0x00 00000b7e: PUSH2 0x0b85 00000b81: PUSH2 0x10dc 00000b84: JUMP 00000b85: JUMPDEST 00000b86: SWAP1 00000b87: POP 00000b88: DUP1 00000b89: MLOAD 00000b8a: PUSH1 0x00 00000b8c: SUB 00000b8d: PUSH2 0x0ba5 00000b90: JUMPI 00000b91: PUSH1 0x40 00000b93: MLOAD 00000b94: DUP1 00000b95: PUSH1 0x20 00000b97: ADD 00000b98: PUSH1 0x40 00000b9a: MSTORE 00000b9b: DUP1 00000b9c: PUSH1 0x00 00000b9e: DUP2 00000b9f: MSTORE 00000ba0: POP 00000ba1: PUSH2 0x0bd0 00000ba4: JUMP 00000ba5: JUMPDEST 00000ba6: DUP1 00000ba7: PUSH2 0x0baf 00000baa: DUP5 00000bab: PUSH2 0x10eb 00000bae: JUMP 00000baf: JUMPDEST 00000bb0: PUSH1 0x40 00000bb2: MLOAD 00000bb3: PUSH1 0x20 00000bb5: ADD 00000bb6: PUSH2 0x0bc0 00000bb9: SWAP3 00000bba: SWAP2 00000bbb: SWAP1 00000bbc: PUSH2 0x1642 00000bbf: JUMP 00000bc0: JUMPDEST 00000bc1: PUSH1 0x40 00000bc3: MLOAD 00000bc4: PUSH1 0x20 00000bc6: DUP2 00000bc7: DUP4 00000bc8: SUB 00000bc9: SUB 00000bca: DUP2 00000bcb: MSTORE 00000bcc: SWAP1 00000bcd: PUSH1 0x40 00000bcf: MSTORE 00000bd0: JUMPDEST 00000bd1: SWAP4 00000bd2: SWAP3 00000bd3: POP 00000bd4: POP 00000bd5: POP 00000bd6: JUMP 00000bd7: JUMPDEST 00000bd8: PUSH1 0x08 00000bda: SLOAD 00000bdb: PUSH1 0x01 00000bdd: PUSH1 0x01 00000bdf: PUSH1 0xa0 00000be1: SHL 00000be2: SUB 00000be3: AND 00000be4: CALLER 00000be5: EQ 00000be6: PUSH2 0x0c01 00000be9: JUMPI 00000bea: PUSH1 0x40 00000bec: MLOAD 00000bed: PUSH3 0x461bcd 00000bf1: PUSH1 0xe5 00000bf3: SHL 00000bf4: DUP2 00000bf5: MSTORE 00000bf6: PUSH1 0x04 00000bf8: ADD 00000bf9: PUSH2 0x04f7 00000bfc: SWAP1 00000bfd: PUSH2 0x1461 00000c00: JUMP 00000c01: JUMPDEST 00000c02: PUSH1 0x01 00000c04: PUSH1 0x01 00000c06: PUSH1 0xa0 00000c08: SHL 00000c09: SUB 00000c0a: DUP2 00000c0b: AND 00000c0c: PUSH2 0x0c66 00000c0f: JUMPI 00000c10: PUSH1 0x40 00000c12: MLOAD 00000c13: PUSH3 0x461bcd 00000c17: PUSH1 0xe5 00000c19: SHL 00000c1a: DUP2 00000c1b: MSTORE 00000c1c: PUSH1 0x20 00000c1e: PUSH1 0x04 00000c20: DUP3 00000c21: ADD 00000c22: MSTORE 00000c23: PUSH1 0x26 00000c25: PUSH1 0x24 00000c27: DUP3 00000c28: ADD 00000c29: MSTORE 00000c2a: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00000c4b: PUSH1 0x44 00000c4d: DUP3 00000c4e: ADD 00000c4f: MSTORE 00000c50: PUSH6 0x646472657373 00000c57: PUSH1 0xd0 00000c59: SHL 00000c5a: PUSH1 0x64 00000c5c: DUP3 00000c5d: ADD 00000c5e: MSTORE 00000c5f: PUSH1 0x84 00000c61: ADD 00000c62: PUSH2 0x04f7 00000c65: JUMP 00000c66: JUMPDEST 00000c67: PUSH2 0x0c6f 00000c6a: DUP2 00000c6b: PUSH2 0x0f9f 00000c6e: JUMP 00000c6f: JUMPDEST 00000c70: POP 00000c71: JUMP 00000c72: JUMPDEST 00000c73: PUSH1 0x00 00000c75: SLOAD 00000c76: PUSH1 0x01 00000c78: PUSH1 0x01 00000c7a: PUSH1 0xa0 00000c7c: SHL 00000c7d: SUB 00000c7e: DUP4 00000c7f: AND 00000c80: PUSH2 0x0c9b 00000c83: JUMPI 00000c84: PUSH1 0x40 00000c86: MLOAD 00000c87: PUSH3 0x2e0763 00000c8b: PUSH1 0xe8 00000c8d: SHL 00000c8e: DUP2 00000c8f: MSTORE 00000c90: PUSH1 0x04 00000c92: ADD 00000c93: PUSH1 0x40 00000c95: MLOAD 00000c96: DUP1 00000c97: SWAP2 00000c98: SUB 00000c99: SWAP1 00000c9a: REVERT 00000c9b: JUMPDEST 00000c9c: DUP2 00000c9d: PUSH1 0x00 00000c9f: SUB 00000ca0: PUSH2 0x0cbc 00000ca3: JUMPI 00000ca4: PUSH1 0x40 00000ca6: MLOAD 00000ca7: PUSH4 0xb562e8dd 00000cac: PUSH1 0xe0 00000cae: SHL 00000caf: DUP2 00000cb0: MSTORE 00000cb1: PUSH1 0x04 00000cb3: ADD 00000cb4: PUSH1 0x40 00000cb6: MLOAD 00000cb7: DUP1 00000cb8: SWAP2 00000cb9: SUB 00000cba: SWAP1 00000cbb: REVERT 00000cbc: JUMPDEST 00000cbd: PUSH1 0x01 00000cbf: PUSH1 0x01 00000cc1: PUSH1 0xa0 00000cc3: SHL 00000cc4: SUB 00000cc5: DUP4 00000cc6: AND 00000cc7: PUSH1 0x00 00000cc9: SWAP1 00000cca: DUP2 00000ccb: MSTORE 00000ccc: PUSH1 0x05 00000cce: PUSH1 0x20 00000cd0: SWAP1 00000cd1: DUP2 00000cd2: MSTORE 00000cd3: PUSH1 0x40 00000cd5: DUP1 00000cd6: DUP4 00000cd7: KECCAK256 00000cd8: DUP1 00000cd9: SLOAD 00000cda: PUSH9 0x010000000000000001 00000ce4: DUP8 00000ce5: MUL 00000ce6: ADD 00000ce7: SWAP1 00000ce8: SSTORE 00000ce9: DUP4 00000cea: DUP4 00000ceb: MSTORE 00000cec: PUSH1 0x04 00000cee: SWAP1 00000cef: SWAP2 00000cf0: MSTORE 00000cf1: SWAP1 00000cf2: KECCAK256 00000cf3: TIMESTAMP 00000cf4: PUSH1 0xa0 00000cf6: SHL 00000cf7: DUP5 00000cf8: OR 00000cf9: PUSH1 0x01 00000cfb: DUP5 00000cfc: EQ 00000cfd: PUSH1 0xe1 00000cff: SHL 00000d00: OR 00000d01: SWAP1 00000d02: SSTORE 00000d03: DUP1 00000d04: DUP1 00000d05: DUP4 00000d06: ADD 00000d07: JUMPDEST 00000d08: PUSH1 0x40 00000d0a: MLOAD 00000d0b: PUSH1 0x01 00000d0d: DUP4 00000d0e: ADD 00000d0f: SWAP3 00000d10: SWAP1 00000d11: PUSH1 0x01 00000d13: PUSH1 0x01 00000d15: PUSH1 0xa0 00000d17: SHL 00000d18: SUB 00000d19: DUP8 00000d1a: AND 00000d1b: SWAP1 00000d1c: PUSH1 0x00 00000d1e: SWAP1 00000d1f: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000d40: SWAP1 00000d41: DUP3 00000d42: SWAP1 00000d43: LOG4 00000d44: DUP1 00000d45: DUP3 00000d46: LT 00000d47: PUSH2 0x0d07 00000d4a: JUMPI 00000d4b: POP 00000d4c: PUSH1 0x00 00000d4e: SSTORE 00000d4f: POP 00000d50: POP 00000d51: POP 00000d52: JUMP 00000d53: JUMPDEST 00000d54: PUSH1 0x00 00000d56: DUP2 00000d57: PUSH1 0x01 00000d59: GT 00000d5a: ISZERO 00000d5b: DUP1 00000d5c: ISZERO 00000d5d: PUSH2 0x0d67 00000d60: JUMPI 00000d61: POP 00000d62: PUSH1 0x00 00000d64: SLOAD 00000d65: DUP3 00000d66: LT 00000d67: JUMPDEST 00000d68: DUP1 00000d69: ISZERO 00000d6a: PUSH2 0x04c7 00000d6d: JUMPI 00000d6e: POP 00000d6f: POP 00000d70: PUSH1 0x00 00000d72: SWAP1 00000d73: DUP2 00000d74: MSTORE 00000d75: PUSH1 0x04 00000d77: PUSH1 0x20 00000d79: MSTORE 00000d7a: PUSH1 0x40 00000d7c: SWAP1 00000d7d: KECCAK256 00000d7e: SLOAD 00000d7f: PUSH1 0x01 00000d81: PUSH1 0xe0 00000d83: SHL 00000d84: AND 00000d85: ISZERO 00000d86: SWAP1 00000d87: JUMP 00000d88: JUMPDEST 00000d89: PUSH1 0x00 00000d8b: DUP2 00000d8c: DUP1 00000d8d: PUSH1 0x01 00000d8f: GT 00000d90: PUSH2 0x0dde 00000d93: JUMPI 00000d94: PUSH1 0x00 00000d96: SLOAD 00000d97: DUP2 00000d98: LT 00000d99: ISZERO 00000d9a: PUSH2 0x0dde 00000d9d: JUMPI 00000d9e: PUSH1 0x00 00000da0: DUP2 00000da1: DUP2 00000da2: MSTORE 00000da3: PUSH1 0x04 00000da5: PUSH1 0x20 00000da7: MSTORE 00000da8: PUSH1 0x40 00000daa: DUP2 00000dab: KECCAK256 00000dac: SLOAD 00000dad: SWAP1 00000dae: PUSH1 0x01 00000db0: PUSH1 0xe0 00000db2: SHL 00000db3: DUP3 00000db4: AND 00000db5: SWAP1 00000db6: SUB 00000db7: PUSH2 0x0ddc 00000dba: JUMPI 00000dbb: JUMPDEST 00000dbc: DUP1 00000dbd: PUSH1 0x00 00000dbf: SUB 00000dc0: PUSH2 0x0bd0 00000dc3: JUMPI 00000dc4: POP 00000dc5: PUSH1 0x00 00000dc7: NOT 00000dc8: ADD 00000dc9: PUSH1 0x00 00000dcb: DUP2 00000dcc: DUP2 00000dcd: MSTORE 00000dce: PUSH1 0x04 00000dd0: PUSH1 0x20 00000dd2: MSTORE 00000dd3: PUSH1 0x40 00000dd5: SWAP1 00000dd6: KECCAK256 00000dd7: SLOAD 00000dd8: PUSH2 0x0dbb 00000ddb: JUMP 00000ddc: JUMPDEST 00000ddd: POP 00000dde: JUMPDEST 00000ddf: PUSH1 0x40 00000de1: MLOAD 00000de2: PUSH4 0x6f96cda1 00000de7: PUSH1 0xe1 00000de9: SHL 00000dea: DUP2 00000deb: MSTORE 00000dec: PUSH1 0x04 00000dee: ADD 00000def: PUSH1 0x40 00000df1: MLOAD 00000df2: DUP1 00000df3: SWAP2 00000df4: SUB 00000df5: SWAP1 00000df6: REVERT 00000df7: JUMPDEST 00000df8: PUSH1 0x00 00000dfa: PUSH2 0x0e02 00000dfd: DUP3 00000dfe: PUSH2 0x0d88 00000e01: JUMP 00000e02: JUMPDEST 00000e03: SWAP1 00000e04: POP 00000e05: DUP4 00000e06: PUSH1 0x01 00000e08: PUSH1 0x01 00000e0a: PUSH1 0xa0 00000e0c: SHL 00000e0d: SUB 00000e0e: AND 00000e0f: DUP2 00000e10: PUSH1 0x01 00000e12: PUSH1 0x01 00000e14: PUSH1 0xa0 00000e16: SHL 00000e17: SUB 00000e18: AND 00000e19: EQ 00000e1a: PUSH2 0x0e35 00000e1d: JUMPI 00000e1e: PUSH1 0x40 00000e20: MLOAD 00000e21: PUSH3 0xa11481 00000e25: PUSH1 0xe8 00000e27: SHL 00000e28: DUP2 00000e29: MSTORE 00000e2a: PUSH1 0x04 00000e2c: ADD 00000e2d: PUSH1 0x40 00000e2f: MLOAD 00000e30: DUP1 00000e31: SWAP2 00000e32: SUB 00000e33: SWAP1 00000e34: REVERT 00000e35: JUMPDEST 00000e36: PUSH1 0x00 00000e38: CALLER 00000e39: PUSH1 0x01 00000e3b: PUSH1 0x01 00000e3d: PUSH1 0xa0 00000e3f: SHL 00000e40: SUB 00000e41: DUP7 00000e42: AND 00000e43: EQ 00000e44: DUP1 00000e45: PUSH2 0x0e53 00000e48: JUMPI 00000e49: POP 00000e4a: PUSH2 0x0e53 00000e4d: DUP6 00000e4e: CALLER 00000e4f: PUSH2 0x042d 00000e52: JUMP 00000e53: JUMPDEST 00000e54: DUP1 00000e55: PUSH2 0x0e6e 00000e58: JUMPI 00000e59: POP 00000e5a: CALLER 00000e5b: PUSH2 0x0e63 00000e5e: DUP5 00000e5f: PUSH2 0x05f0 00000e62: JUMP 00000e63: JUMPDEST 00000e64: PUSH1 0x01 00000e66: PUSH1 0x01 00000e68: PUSH1 0xa0 00000e6a: SHL 00000e6b: SUB 00000e6c: AND 00000e6d: EQ 00000e6e: JUMPDEST 00000e6f: SWAP1 00000e70: POP 00000e71: DUP1 00000e72: PUSH2 0x0e8e 00000e75: JUMPI 00000e76: PUSH1 0x40 00000e78: MLOAD 00000e79: PUSH4 0x2ce44b5f 00000e7e: PUSH1 0xe1 00000e80: SHL 00000e81: DUP2 00000e82: MSTORE 00000e83: PUSH1 0x04 00000e85: ADD 00000e86: PUSH1 0x40 00000e88: MLOAD 00000e89: DUP1 00000e8a: SWAP2 00000e8b: SUB 00000e8c: SWAP1 00000e8d: REVERT 00000e8e: JUMPDEST 00000e8f: PUSH1 0x01 00000e91: PUSH1 0x01 00000e93: PUSH1 0xa0 00000e95: SHL 00000e96: SUB 00000e97: DUP5 00000e98: AND 00000e99: PUSH2 0x0eb5 00000e9c: JUMPI 00000e9d: PUSH1 0x40 00000e9f: MLOAD 00000ea0: PUSH4 0x3a954ecd 00000ea5: PUSH1 0xe2 00000ea7: SHL 00000ea8: DUP2 00000ea9: MSTORE 00000eaa: PUSH1 0x04 00000eac: ADD 00000ead: PUSH1 0x40 00000eaf: MLOAD 00000eb0: DUP1 00000eb1: SWAP2 00000eb2: SUB 00000eb3: SWAP1 00000eb4: REVERT 00000eb5: JUMPDEST 00000eb6: PUSH1 0x00 00000eb8: DUP4 00000eb9: DUP2 00000eba: MSTORE 00000ebb: PUSH1 0x06 00000ebd: PUSH1 0x20 00000ebf: SWAP1 00000ec0: DUP2 00000ec1: MSTORE 00000ec2: PUSH1 0x40 00000ec4: DUP1 00000ec5: DUP4 00000ec6: KECCAK256 00000ec7: DUP1 00000ec8: SLOAD 00000ec9: PUSH1 0x01 00000ecb: PUSH1 0x01 00000ecd: PUSH1 0xa0 00000ecf: SHL 00000ed0: SUB 00000ed1: NOT 00000ed2: AND 00000ed3: SWAP1 00000ed4: SSTORE 00000ed5: PUSH1 0x01 00000ed7: PUSH1 0x01 00000ed9: PUSH1 0xa0 00000edb: SHL 00000edc: SUB 00000edd: DUP9 00000ede: DUP2 00000edf: AND 00000ee0: DUP5 00000ee1: MSTORE 00000ee2: PUSH1 0x05 00000ee4: DUP4 00000ee5: MSTORE 00000ee6: DUP2 00000ee7: DUP5 00000ee8: KECCAK256 00000ee9: DUP1 00000eea: SLOAD 00000eeb: PUSH1 0x00 00000eed: NOT 00000eee: ADD 00000eef: SWAP1 00000ef0: SSTORE 00000ef1: DUP8 00000ef2: AND 00000ef3: DUP4 00000ef4: MSTORE 00000ef5: DUP1 00000ef6: DUP4 00000ef7: KECCAK256 00000ef8: DUP1 00000ef9: SLOAD 00000efa: PUSH1 0x01 00000efc: ADD 00000efd: SWAP1 00000efe: SSTORE 00000eff: DUP6 00000f00: DUP4 00000f01: MSTORE 00000f02: PUSH1 0x04 00000f04: SWAP1 00000f05: SWAP2 00000f06: MSTORE 00000f07: DUP2 00000f08: KECCAK256 00000f09: PUSH1 0x01 00000f0b: PUSH1 0xe1 00000f0d: SHL 00000f0e: TIMESTAMP 00000f0f: PUSH1 0xa0 00000f11: SHL 00000f12: DUP8 00000f13: OR 00000f14: DUP2 00000f15: OR 00000f16: SWAP1 00000f17: SWAP2 00000f18: SSTORE 00000f19: DUP4 00000f1a: AND 00000f1b: SWAP1 00000f1c: SUB 00000f1d: PUSH2 0x0f56 00000f20: JUMPI 00000f21: PUSH1 0x01 00000f23: DUP4 00000f24: ADD 00000f25: PUSH1 0x00 00000f27: DUP2 00000f28: DUP2 00000f29: MSTORE 00000f2a: PUSH1 0x04 00000f2c: PUSH1 0x20 00000f2e: MSTORE 00000f2f: PUSH1 0x40 00000f31: DUP2 00000f32: KECCAK256 00000f33: SLOAD 00000f34: SWAP1 00000f35: SUB 00000f36: PUSH2 0x0f54 00000f39: JUMPI 00000f3a: PUSH1 0x00 00000f3c: SLOAD 00000f3d: DUP2 00000f3e: EQ 00000f3f: PUSH2 0x0f54 00000f42: JUMPI 00000f43: PUSH1 0x00 00000f45: DUP2 00000f46: DUP2 00000f47: MSTORE 00000f48: PUSH1 0x04 00000f4a: PUSH1 0x20 00000f4c: MSTORE 00000f4d: PUSH1 0x40 00000f4f: SWAP1 00000f50: KECCAK256 00000f51: DUP4 00000f52: SWAP1 00000f53: SSTORE 00000f54: JUMPDEST 00000f55: POP 00000f56: JUMPDEST 00000f57: DUP3 00000f58: DUP5 00000f59: PUSH1 0x01 00000f5b: PUSH1 0x01 00000f5d: PUSH1 0xa0 00000f5f: SHL 00000f60: SUB 00000f61: AND 00000f62: DUP7 00000f63: PUSH1 0x01 00000f65: PUSH1 0x01 00000f67: PUSH1 0xa0 00000f69: SHL 00000f6a: SUB 00000f6b: AND 00000f6c: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000f8d: PUSH1 0x40 00000f8f: MLOAD 00000f90: PUSH1 0x40 00000f92: MLOAD 00000f93: DUP1 00000f94: SWAP2 00000f95: SUB 00000f96: SWAP1 00000f97: LOG4 00000f98: JUMPDEST 00000f99: POP 00000f9a: POP 00000f9b: POP 00000f9c: POP 00000f9d: POP 00000f9e: JUMP 00000f9f: JUMPDEST 00000fa0: PUSH1 0x08 00000fa2: DUP1 00000fa3: SLOAD 00000fa4: PUSH1 0x01 00000fa6: PUSH1 0x01 00000fa8: PUSH1 0xa0 00000faa: SHL 00000fab: SUB 00000fac: DUP4 00000fad: DUP2 00000fae: AND 00000faf: PUSH1 0x01 00000fb1: PUSH1 0x01 00000fb3: PUSH1 0xa0 00000fb5: SHL 00000fb6: SUB 00000fb7: NOT 00000fb8: DUP4 00000fb9: AND 00000fba: DUP2 00000fbb: OR 00000fbc: SWAP1 00000fbd: SWAP4 00000fbe: SSTORE 00000fbf: PUSH1 0x40 00000fc1: MLOAD 00000fc2: SWAP2 00000fc3: AND 00000fc4: SWAP2 00000fc5: SWAP1 00000fc6: DUP3 00000fc7: SWAP1 00000fc8: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000fe9: SWAP1 00000fea: PUSH1 0x00 00000fec: SWAP1 00000fed: LOG3 00000fee: POP 00000fef: POP 00000ff0: JUMP 00000ff1: JUMPDEST 00000ff2: PUSH1 0x40 00000ff4: MLOAD 00000ff5: PUSH4 0x0a85bd01 00000ffa: PUSH1 0xe1 00000ffc: SHL 00000ffd: DUP2 00000ffe: MSTORE 00000fff: PUSH1 0x00 00001001: SWAP1 00001002: PUSH1 0x01 00001004: PUSH1 0x01 00001006: PUSH1 0xa0 00001008: SHL 00001009: SUB 0000100a: DUP6 0000100b: AND 0000100c: SWAP1 0000100d: PUSH4 0x150b7a02 00001012: SWAP1 00001013: PUSH2 0x1026 00001016: SWAP1 00001017: CALLER 00001018: SWAP1 00001019: DUP10 0000101a: SWAP1 0000101b: DUP9 0000101c: SWAP1 0000101d: DUP9 0000101e: SWAP1 0000101f: PUSH1 0x04 00001021: ADD 00001022: PUSH2 0x1671 00001025: JUMP 00001026: JUMPDEST 00001027: PUSH1 0x20 00001029: PUSH1 0x40 0000102b: MLOAD 0000102c: DUP1 0000102d: DUP4 0000102e: SUB 0000102f: DUP2 00001030: PUSH1 0x00 00001032: DUP8 00001033: GAS 00001034: CALL 00001035: SWAP3 00001036: POP 00001037: POP 00001038: POP 00001039: DUP1 0000103a: ISZERO 0000103b: PUSH2 0x1061 0000103e: JUMPI 0000103f: POP 00001040: PUSH1 0x40 00001042: DUP1 00001043: MLOAD 00001044: PUSH1 0x1f 00001046: RETURNDATASIZE 00001047: SWAP1 00001048: DUP2 00001049: ADD 0000104a: PUSH1 0x1f 0000104c: NOT 0000104d: AND 0000104e: DUP3 0000104f: ADD 00001050: SWAP1 00001051: SWAP3 00001052: MSTORE 00001053: PUSH2 0x105e 00001056: SWAP2 00001057: DUP2 00001058: ADD 00001059: SWAP1 0000105a: PUSH2 0x16ae 0000105d: JUMP 0000105e: JUMPDEST 0000105f: PUSH1 0x01 00001061: JUMPDEST 00001062: PUSH2 0x10bf 00001065: JUMPI 00001066: RETURNDATASIZE 00001067: DUP1 00001068: DUP1 00001069: ISZERO 0000106a: PUSH2 0x108f 0000106d: JUMPI 0000106e: PUSH1 0x40 00001070: MLOAD 00001071: SWAP2 00001072: POP 00001073: PUSH1 0x1f 00001075: NOT 00001076: PUSH1 0x3f 00001078: RETURNDATASIZE 00001079: ADD 0000107a: AND 0000107b: DUP3 0000107c: ADD 0000107d: PUSH1 0x40 0000107f: MSTORE 00001080: RETURNDATASIZE 00001081: DUP3 00001082: MSTORE 00001083: RETURNDATASIZE 00001084: PUSH1 0x00 00001086: PUSH1 0x20 00001088: DUP5 00001089: ADD 0000108a: RETURNDATACOPY 0000108b: PUSH2 0x1094 0000108e: JUMP 0000108f: JUMPDEST 00001090: PUSH1 0x60 00001092: SWAP2 00001093: POP 00001094: JUMPDEST 00001095: POP 00001096: DUP1 00001097: MLOAD 00001098: PUSH1 0x00 0000109a: SUB 0000109b: PUSH2 0x10b7 0000109e: JUMPI 0000109f: PUSH1 0x40 000010a1: MLOAD 000010a2: PUSH4 0x68d2bf6b 000010a7: PUSH1 0xe1 000010a9: SHL 000010aa: DUP2 000010ab: MSTORE 000010ac: PUSH1 0x04 000010ae: ADD 000010af: PUSH1 0x40 000010b1: MLOAD 000010b2: DUP1 000010b3: SWAP2 000010b4: SUB 000010b5: SWAP1 000010b6: REVERT 000010b7: JUMPDEST 000010b8: DUP1 000010b9: MLOAD 000010ba: DUP2 000010bb: PUSH1 0x20 000010bd: ADD 000010be: REVERT 000010bf: JUMPDEST 000010c0: PUSH1 0x01 000010c2: PUSH1 0x01 000010c4: PUSH1 0xe0 000010c6: SHL 000010c7: SUB 000010c8: NOT 000010c9: AND 000010ca: PUSH4 0x0a85bd01 000010cf: PUSH1 0xe1 000010d1: SHL 000010d2: EQ 000010d3: SWAP1 000010d4: POP 000010d5: SWAP5 000010d6: SWAP4 000010d7: POP 000010d8: POP 000010d9: POP 000010da: POP 000010db: JUMP 000010dc: JUMPDEST 000010dd: PUSH1 0x60 000010df: PUSH1 0x09 000010e1: DUP1 000010e2: SLOAD 000010e3: PUSH2 0x056d 000010e6: SWAP1 000010e7: PUSH2 0x1496 000010ea: JUMP 000010eb: JUMPDEST 000010ec: PUSH1 0x40 000010ee: DUP1 000010ef: MLOAD 000010f0: PUSH1 0x80 000010f2: DUP2 000010f3: ADD 000010f4: SWAP2 000010f5: DUP3 000010f6: SWAP1 000010f7: MSTORE 000010f8: PUSH1 0x7f 000010fa: ADD 000010fb: SWAP1 000010fc: DUP3 000010fd: PUSH1 0x30 000010ff: PUSH1 0x0a 00001101: DUP3 00001102: MOD 00001103: ADD 00001104: DUP4 00001105: MSTORE8 00001106: PUSH1 0x0a 00001108: SWAP1 00001109: DIV 0000110a: JUMPDEST 0000110b: DUP1 0000110c: ISZERO 0000110d: PUSH2 0x1128 00001110: JUMPI 00001111: PUSH1 0x01 00001113: DUP4 00001114: SUB 00001115: SWAP3 00001116: POP 00001117: PUSH1 0x0a 00001119: DUP2 0000111a: MOD 0000111b: PUSH1 0x30 0000111d: ADD 0000111e: DUP4 0000111f: MSTORE8 00001120: PUSH1 0x0a 00001122: SWAP1 00001123: DIV 00001124: PUSH2 0x110a 00001127: JUMP 00001128: JUMPDEST 00001129: POP 0000112a: DUP2 0000112b: SWAP1 0000112c: SUB 0000112d: PUSH1 0x1f 0000112f: NOT 00001130: SWAP1 00001131: SWAP2 00001132: ADD 00001133: SWAP1 00001134: DUP2 00001135: MSTORE 00001136: SWAP2 00001137: SWAP1 00001138: POP 00001139: JUMP 0000113a: JUMPDEST 0000113b: PUSH1 0x01 0000113d: PUSH1 0x01 0000113f: PUSH1 0xe0 00001141: SHL 00001142: SUB 00001143: NOT 00001144: DUP2 00001145: AND 00001146: DUP2 00001147: EQ 00001148: PUSH2 0x0c6f 0000114b: JUMPI 0000114c: PUSH1 0x00 0000114e: DUP1 0000114f: REVERT 00001150: JUMPDEST 00001151: PUSH1 0x00 00001153: PUSH1 0x20 00001155: DUP3 00001156: DUP5 00001157: SUB 00001158: SLT 00001159: ISZERO 0000115a: PUSH2 0x1162 0000115d: JUMPI 0000115e: PUSH1 0x00 00001160: DUP1 00001161: REVERT 00001162: JUMPDEST 00001163: DUP2 00001164: CALLDATALOAD 00001165: PUSH2 0x0bd0 00001168: DUP2 00001169: PUSH2 0x113a 0000116c: JUMP 0000116d: JUMPDEST 0000116e: PUSH1 0x00 00001170: JUMPDEST 00001171: DUP4 00001172: DUP2 00001173: LT 00001174: ISZERO 00001175: PUSH2 0x1188 00001178: JUMPI 00001179: DUP2 0000117a: DUP2 0000117b: ADD 0000117c: MLOAD 0000117d: DUP4 0000117e: DUP3 0000117f: ADD 00001180: MSTORE 00001181: PUSH1 0x20 00001183: ADD 00001184: PUSH2 0x1170 00001187: JUMP 00001188: JUMPDEST 00001189: DUP4 0000118a: DUP2 0000118b: GT 0000118c: ISZERO 0000118d: PUSH2 0x0a74 00001190: JUMPI 00001191: POP 00001192: POP 00001193: PUSH1 0x00 00001195: SWAP2 00001196: ADD 00001197: MSTORE 00001198: JUMP 00001199: JUMPDEST 0000119a: PUSH1 0x00 0000119c: DUP2 0000119d: MLOAD 0000119e: DUP1 0000119f: DUP5 000011a0: MSTORE 000011a1: PUSH2 0x11b1 000011a4: DUP2 000011a5: PUSH1 0x20 000011a7: DUP7 000011a8: ADD 000011a9: PUSH1 0x20 000011ab: DUP7 000011ac: ADD 000011ad: PUSH2 0x116d 000011b0: JUMP 000011b1: JUMPDEST 000011b2: PUSH1 0x1f 000011b4: ADD 000011b5: PUSH1 0x1f 000011b7: NOT 000011b8: AND 000011b9: SWAP3 000011ba: SWAP1 000011bb: SWAP3 000011bc: ADD 000011bd: PUSH1 0x20 000011bf: ADD 000011c0: SWAP3 000011c1: SWAP2 000011c2: POP 000011c3: POP 000011c4: JUMP 000011c5: JUMPDEST 000011c6: PUSH1 0x20 000011c8: DUP2 000011c9: MSTORE 000011ca: PUSH1 0x00 000011cc: PUSH2 0x0bd0 000011cf: PUSH1 0x20 000011d1: DUP4 000011d2: ADD 000011d3: DUP5 000011d4: PUSH2 0x1199 000011d7: JUMP 000011d8: JUMPDEST 000011d9: PUSH1 0x00 000011db: PUSH1 0x20 000011dd: DUP3 000011de: DUP5 000011df: SUB 000011e0: SLT 000011e1: ISZERO 000011e2: PUSH2 0x11ea 000011e5: JUMPI 000011e6: PUSH1 0x00 000011e8: DUP1 000011e9: REVERT 000011ea: JUMPDEST 000011eb: POP 000011ec: CALLDATALOAD 000011ed: SWAP2 000011ee: SWAP1 000011ef: POP 000011f0: JUMP 000011f1: JUMPDEST 000011f2: DUP1 000011f3: CALLDATALOAD 000011f4: PUSH1 0x01 000011f6: PUSH1 0x01 000011f8: PUSH1 0xa0 000011fa: SHL 000011fb: SUB 000011fc: DUP2 000011fd: AND 000011fe: DUP2 000011ff: EQ 00001200: PUSH2 0x1208 00001203: JUMPI 00001204: PUSH1 0x00 00001206: DUP1 00001207: REVERT 00001208: JUMPDEST 00001209: SWAP2 0000120a: SWAP1 0000120b: POP 0000120c: JUMP 0000120d: JUMPDEST 0000120e: PUSH1 0x00 00001210: DUP1 00001211: PUSH1 0x40 00001213: DUP4 00001214: DUP6 00001215: SUB 00001216: SLT 00001217: ISZERO 00001218: PUSH2 0x1220 0000121b: JUMPI 0000121c: PUSH1 0x00 0000121e: DUP1 0000121f: REVERT 00001220: JUMPDEST 00001221: PUSH2 0x1229 00001224: DUP4 00001225: PUSH2 0x11f1 00001228: JUMP 00001229: JUMPDEST 0000122a: SWAP5 0000122b: PUSH1 0x20 0000122d: SWAP4 0000122e: SWAP1 0000122f: SWAP4 00001230: ADD 00001231: CALLDATALOAD 00001232: SWAP4 00001233: POP 00001234: POP 00001235: POP 00001236: JUMP 00001237: JUMPDEST 00001238: PUSH1 0x00 0000123a: DUP1 0000123b: PUSH1 0x00 0000123d: PUSH1 0x60 0000123f: DUP5 00001240: DUP7 00001241: SUB 00001242: SLT 00001243: ISZERO 00001244: PUSH2 0x124c 00001247: JUMPI 00001248: PUSH1 0x00 0000124a: DUP1 0000124b: REVERT 0000124c: JUMPDEST 0000124d: PUSH2 0x1255 00001250: DUP5 00001251: PUSH2 0x11f1 00001254: JUMP 00001255: JUMPDEST 00001256: SWAP3 00001257: POP 00001258: PUSH2 0x1263 0000125b: PUSH1 0x20 0000125d: DUP6 0000125e: ADD 0000125f: PUSH2 0x11f1 00001262: JUMP 00001263: JUMPDEST 00001264: SWAP2 00001265: POP 00001266: PUSH1 0x40 00001268: DUP5 00001269: ADD 0000126a: CALLDATALOAD 0000126b: SWAP1 0000126c: POP 0000126d: SWAP3 0000126e: POP 0000126f: SWAP3 00001270: POP 00001271: SWAP3 00001272: JUMP 00001273: JUMPDEST 00001274: PUSH1 0x00 00001276: DUP1 00001277: PUSH1 0x20 00001279: DUP4 0000127a: DUP6 0000127b: SUB 0000127c: SLT 0000127d: ISZERO 0000127e: PUSH2 0x1286 00001281: JUMPI 00001282: PUSH1 0x00 00001284: DUP1 00001285: REVERT 00001286: JUMPDEST 00001287: DUP3 00001288: CALLDATALOAD 00001289: PUSH8 0xffffffffffffffff 00001292: DUP1 00001293: DUP3 00001294: GT 00001295: ISZERO 00001296: PUSH2 0x129e 00001299: JUMPI 0000129a: PUSH1 0x00 0000129c: DUP1 0000129d: REVERT 0000129e: JUMPDEST 0000129f: DUP2 000012a0: DUP6 000012a1: ADD 000012a2: SWAP2 000012a3: POP 000012a4: DUP6 000012a5: PUSH1 0x1f 000012a7: DUP4 000012a8: ADD 000012a9: SLT 000012aa: PUSH2 0x12b2 000012ad: JUMPI 000012ae: PUSH1 0x00 000012b0: DUP1 000012b1: REVERT 000012b2: JUMPDEST 000012b3: DUP2 000012b4: CALLDATALOAD 000012b5: DUP2 000012b6: DUP2 000012b7: GT 000012b8: ISZERO 000012b9: PUSH2 0x12c1 000012bc: JUMPI 000012bd: PUSH1 0x00 000012bf: DUP1 000012c0: REVERT 000012c1: JUMPDEST 000012c2: DUP7 000012c3: PUSH1 0x20 000012c5: DUP3 000012c6: DUP6 000012c7: ADD 000012c8: ADD 000012c9: GT 000012ca: ISZERO 000012cb: PUSH2 0x12d3 000012ce: JUMPI 000012cf: PUSH1 0x00 000012d1: DUP1 000012d2: REVERT 000012d3: JUMPDEST 000012d4: PUSH1 0x20 000012d6: SWAP3 000012d7: SWAP1 000012d8: SWAP3 000012d9: ADD 000012da: SWAP7 000012db: SWAP2 000012dc: SWAP6 000012dd: POP 000012de: SWAP1 000012df: SWAP4 000012e0: POP 000012e1: POP 000012e2: POP 000012e3: POP 000012e4: JUMP 000012e5: JUMPDEST 000012e6: PUSH1 0x00 000012e8: PUSH1 0x20 000012ea: DUP3 000012eb: DUP5 000012ec: SUB 000012ed: SLT 000012ee: ISZERO 000012ef: PUSH2 0x12f7 000012f2: JUMPI 000012f3: PUSH1 0x00 000012f5: DUP1 000012f6: REVERT 000012f7: JUMPDEST 000012f8: PUSH2 0x0bd0 000012fb: DUP3 000012fc: PUSH2 0x11f1 000012ff: JUMP 00001300: JUMPDEST 00001301: PUSH1 0x00 00001303: DUP1 00001304: PUSH1 0x40 00001306: DUP4 00001307: DUP6 00001308: SUB 00001309: SLT 0000130a: ISZERO 0000130b: PUSH2 0x1313 0000130e: JUMPI 0000130f: PUSH1 0x00 00001311: DUP1 00001312: REVERT 00001313: JUMPDEST 00001314: PUSH2 0x131c 00001317: DUP4 00001318: PUSH2 0x11f1 0000131b: JUMP 0000131c: JUMPDEST 0000131d: SWAP2 0000131e: POP 0000131f: PUSH1 0x20 00001321: DUP4 00001322: ADD 00001323: CALLDATALOAD 00001324: DUP1 00001325: ISZERO 00001326: ISZERO 00001327: DUP2 00001328: EQ 00001329: PUSH2 0x1331 0000132c: JUMPI 0000132d: PUSH1 0x00 0000132f: DUP1 00001330: REVERT 00001331: JUMPDEST 00001332: DUP1 00001333: SWAP2 00001334: POP 00001335: POP 00001336: SWAP3 00001337: POP 00001338: SWAP3 00001339: SWAP1 0000133a: POP 0000133b: JUMP 0000133c: JUMPDEST 0000133d: PUSH4 0x4e487b71 00001342: PUSH1 0xe0 00001344: SHL 00001345: PUSH1 0x00 00001347: MSTORE 00001348: PUSH1 0x41 0000134a: PUSH1 0x04 0000134c: MSTORE 0000134d: PUSH1 0x24 0000134f: PUSH1 0x00 00001351: REVERT 00001352: JUMPDEST 00001353: PUSH1 0x00 00001355: DUP1 00001356: PUSH1 0x00 00001358: DUP1 00001359: PUSH1 0x80 0000135b: DUP6 0000135c: DUP8 0000135d: SUB 0000135e: SLT 0000135f: ISZERO 00001360: PUSH2 0x1368 00001363: JUMPI 00001364: PUSH1 0x00 00001366: DUP1 00001367: REVERT 00001368: JUMPDEST 00001369: PUSH2 0x1371 0000136c: DUP6 0000136d: PUSH2 0x11f1 00001370: JUMP 00001371: JUMPDEST 00001372: SWAP4 00001373: POP 00001374: PUSH2 0x137f 00001377: PUSH1 0x20 00001379: DUP7 0000137a: ADD 0000137b: PUSH2 0x11f1 0000137e: JUMP 0000137f: JUMPDEST 00001380: SWAP3 00001381: POP 00001382: PUSH1 0x40 00001384: DUP6 00001385: ADD 00001386: CALLDATALOAD 00001387: SWAP2 00001388: POP 00001389: PUSH1 0x60 0000138b: DUP6 0000138c: ADD 0000138d: CALLDATALOAD 0000138e: PUSH8 0xffffffffffffffff 00001397: DUP1 00001398: DUP3 00001399: GT 0000139a: ISZERO 0000139b: PUSH2 0x13a3 0000139e: JUMPI 0000139f: PUSH1 0x00 000013a1: DUP1 000013a2: REVERT 000013a3: JUMPDEST 000013a4: DUP2 000013a5: DUP8 000013a6: ADD 000013a7: SWAP2 000013a8: POP 000013a9: DUP8 000013aa: PUSH1 0x1f 000013ac: DUP4 000013ad: ADD 000013ae: SLT 000013af: PUSH2 0x13b7 000013b2: JUMPI 000013b3: PUSH1 0x00 000013b5: DUP1 000013b6: REVERT 000013b7: JUMPDEST 000013b8: DUP2 000013b9: CALLDATALOAD 000013ba: DUP2 000013bb: DUP2 000013bc: GT 000013bd: ISZERO 000013be: PUSH2 0x13c9 000013c1: JUMPI 000013c2: PUSH2 0x13c9 000013c5: PUSH2 0x133c 000013c8: JUMP 000013c9: JUMPDEST 000013ca: PUSH1 0x40 000013cc: MLOAD 000013cd: PUSH1 0x1f 000013cf: DUP3 000013d0: ADD 000013d1: PUSH1 0x1f 000013d3: NOT 000013d4: SWAP1 000013d5: DUP2 000013d6: AND 000013d7: PUSH1 0x3f 000013d9: ADD 000013da: AND 000013db: DUP2 000013dc: ADD 000013dd: SWAP1 000013de: DUP4 000013df: DUP3 000013e0: GT 000013e1: DUP2 000013e2: DUP4 000013e3: LT 000013e4: OR 000013e5: ISZERO 000013e6: PUSH2 0x13f1 000013e9: JUMPI 000013ea: PUSH2 0x13f1 000013ed: PUSH2 0x133c 000013f0: JUMP 000013f1: JUMPDEST 000013f2: DUP2 000013f3: PUSH1 0x40 000013f5: MSTORE 000013f6: DUP3 000013f7: DUP2 000013f8: MSTORE 000013f9: DUP11 000013fa: PUSH1 0x20 000013fc: DUP5 000013fd: DUP8 000013fe: ADD 000013ff: ADD 00001400: GT 00001401: ISZERO 00001402: PUSH2 0x140a 00001405: JUMPI 00001406: PUSH1 0x00 00001408: DUP1 00001409: REVERT 0000140a: JUMPDEST 0000140b: DUP3 0000140c: PUSH1 0x20 0000140e: DUP7 0000140f: ADD 00001410: PUSH1 0x20 00001412: DUP4 00001413: ADD 00001414: CALLDATACOPY 00001415: PUSH1 0x00 00001417: PUSH1 0x20 00001419: DUP5 0000141a: DUP4 0000141b: ADD 0000141c: ADD 0000141d: MSTORE 0000141e: DUP1 0000141f: SWAP6 00001420: POP 00001421: POP 00001422: POP 00001423: POP 00001424: POP 00001425: POP 00001426: SWAP3 00001427: SWAP6 00001428: SWAP2 00001429: SWAP5 0000142a: POP 0000142b: SWAP3 0000142c: POP 0000142d: JUMP 0000142e: JUMPDEST 0000142f: PUSH1 0x00 00001431: DUP1 00001432: PUSH1 0x40 00001434: DUP4 00001435: DUP6 00001436: SUB 00001437: SLT 00001438: ISZERO 00001439: PUSH2 0x1441 0000143c: JUMPI 0000143d: PUSH1 0x00 0000143f: DUP1 00001440: REVERT 00001441: JUMPDEST 00001442: PUSH2 0x144a 00001445: DUP4 00001446: PUSH2 0x11f1 00001449: JUMP 0000144a: JUMPDEST 0000144b: SWAP2 0000144c: POP 0000144d: PUSH2 0x1458 00001450: PUSH1 0x20 00001452: DUP5 00001453: ADD 00001454: PUSH2 0x11f1 00001457: JUMP 00001458: JUMPDEST 00001459: SWAP1 0000145a: POP 0000145b: SWAP3 0000145c: POP 0000145d: SWAP3 0000145e: SWAP1 0000145f: POP 00001460: JUMP 00001461: JUMPDEST 00001462: PUSH1 0x20 00001464: DUP1 00001465: DUP3 00001466: MSTORE 00001467: DUP2 00001468: DUP2 00001469: ADD 0000146a: MSTORE 0000146b: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 0000148c: PUSH1 0x40 0000148e: DUP3 0000148f: ADD 00001490: MSTORE 00001491: PUSH1 0x60 00001493: ADD 00001494: SWAP1 00001495: JUMP 00001496: JUMPDEST 00001497: PUSH1 0x01 00001499: DUP2 0000149a: DUP2 0000149b: SHR 0000149c: SWAP1 0000149d: DUP3 0000149e: AND 0000149f: DUP1 000014a0: PUSH2 0x14aa 000014a3: JUMPI 000014a4: PUSH1 0x7f 000014a6: DUP3 000014a7: AND 000014a8: SWAP2 000014a9: POP 000014aa: JUMPDEST 000014ab: PUSH1 0x20 000014ad: DUP3 000014ae: LT 000014af: DUP2 000014b0: SUB 000014b1: PUSH2 0x14ca 000014b4: JUMPI 000014b5: PUSH4 0x4e487b71 000014ba: PUSH1 0xe0 000014bc: SHL 000014bd: PUSH1 0x00 000014bf: MSTORE 000014c0: PUSH1 0x22 000014c2: PUSH1 0x04 000014c4: MSTORE 000014c5: PUSH1 0x24 000014c7: PUSH1 0x00 000014c9: REVERT 000014ca: JUMPDEST 000014cb: POP 000014cc: SWAP2 000014cd: SWAP1 000014ce: POP 000014cf: JUMP 000014d0: JUMPDEST 000014d1: PUSH1 0x1f 000014d3: DUP3 000014d4: GT 000014d5: ISZERO 000014d6: PUSH2 0x0711 000014d9: JUMPI 000014da: PUSH1 0x00 000014dc: DUP2 000014dd: DUP2 000014de: MSTORE 000014df: PUSH1 0x20 000014e1: DUP2 000014e2: KECCAK256 000014e3: PUSH1 0x1f 000014e5: DUP6 000014e6: ADD 000014e7: PUSH1 0x05 000014e9: SHR 000014ea: DUP2 000014eb: ADD 000014ec: PUSH1 0x20 000014ee: DUP7 000014ef: LT 000014f0: ISZERO 000014f1: PUSH2 0x14f7 000014f4: JUMPI 000014f5: POP 000014f6: DUP1 000014f7: JUMPDEST 000014f8: PUSH1 0x1f 000014fa: DUP6 000014fb: ADD 000014fc: PUSH1 0x05 000014fe: SHR 000014ff: DUP3 00001500: ADD 00001501: SWAP2 00001502: POP 00001503: JUMPDEST 00001504: DUP2 00001505: DUP2 00001506: LT 00001507: ISZERO 00001508: PUSH2 0x1516 0000150b: JUMPI 0000150c: DUP3 0000150d: DUP2 0000150e: SSTORE 0000150f: PUSH1 0x01 00001511: ADD 00001512: PUSH2 0x1503 00001515: JUMP 00001516: JUMPDEST 00001517: POP 00001518: POP 00001519: POP 0000151a: POP 0000151b: POP 0000151c: POP 0000151d: JUMP 0000151e: JUMPDEST 0000151f: PUSH8 0xffffffffffffffff 00001528: DUP4 00001529: GT 0000152a: ISZERO 0000152b: PUSH2 0x1536 0000152e: JUMPI 0000152f: PUSH2 0x1536 00001532: PUSH2 0x133c 00001535: JUMP 00001536: JUMPDEST 00001537: PUSH2 0x154a 0000153a: DUP4 0000153b: PUSH2 0x1544 0000153e: DUP4 0000153f: SLOAD 00001540: PUSH2 0x1496 00001543: JUMP 00001544: JUMPDEST 00001545: DUP4 00001546: PUSH2 0x14d0 00001549: JUMP 0000154a: JUMPDEST 0000154b: PUSH1 0x00 0000154d: PUSH1 0x1f 0000154f: DUP5 00001550: GT 00001551: PUSH1 0x01 00001553: DUP2 00001554: EQ 00001555: PUSH2 0x157e 00001558: JUMPI 00001559: PUSH1 0x00 0000155b: DUP6 0000155c: ISZERO 0000155d: PUSH2 0x1566 00001560: JUMPI 00001561: POP 00001562: DUP4 00001563: DUP3 00001564: ADD 00001565: CALLDATALOAD 00001566: JUMPDEST 00001567: PUSH1 0x00 00001569: NOT 0000156a: PUSH1 0x03 0000156c: DUP8 0000156d: SWAP1 0000156e: SHL 0000156f: SHR 00001570: NOT 00001571: AND 00001572: PUSH1 0x01 00001574: DUP7 00001575: SWAP1 00001576: SHL 00001577: OR 00001578: DUP4 00001579: SSTORE 0000157a: PUSH2 0x0f98 0000157d: JUMP 0000157e: JUMPDEST 0000157f: PUSH1 0x00 00001581: DUP4 00001582: DUP2 00001583: MSTORE 00001584: PUSH1 0x20 00001586: SWAP1 00001587: KECCAK256 00001588: PUSH1 0x1f 0000158a: NOT 0000158b: DUP7 0000158c: AND 0000158d: SWAP1 0000158e: DUP4 0000158f: JUMPDEST 00001590: DUP3 00001591: DUP2 00001592: LT 00001593: ISZERO 00001594: PUSH2 0x15af 00001597: JUMPI 00001598: DUP7 00001599: DUP6 0000159a: ADD 0000159b: CALLDATALOAD 0000159c: DUP3 0000159d: SSTORE 0000159e: PUSH1 0x20 000015a0: SWAP5 000015a1: DUP6 000015a2: ADD 000015a3: SWAP5 000015a4: PUSH1 0x01 000015a6: SWAP1 000015a7: SWAP3 000015a8: ADD 000015a9: SWAP2 000015aa: ADD 000015ab: PUSH2 0x158f 000015ae: JUMP 000015af: JUMPDEST 000015b0: POP 000015b1: DUP7 000015b2: DUP3 000015b3: LT 000015b4: ISZERO 000015b5: PUSH2 0x15cc 000015b8: JUMPI 000015b9: PUSH1 0x00 000015bb: NOT 000015bc: PUSH1 0xf8 000015be: DUP9 000015bf: PUSH1 0x03 000015c1: SHL 000015c2: AND 000015c3: SHR 000015c4: NOT 000015c5: DUP5 000015c6: DUP8 000015c7: ADD 000015c8: CALLDATALOAD 000015c9: AND 000015ca: DUP2 000015cb: SSTORE 000015cc: JUMPDEST 000015cd: POP 000015ce: POP 000015cf: PUSH1 0x01 000015d1: DUP6 000015d2: PUSH1 0x01 000015d4: SHL 000015d5: ADD 000015d6: DUP4 000015d7: SSTORE 000015d8: POP 000015d9: POP 000015da: POP 000015db: POP 000015dc: POP 000015dd: JUMP 000015de: JUMPDEST 000015df: PUSH4 0x4e487b71 000015e4: PUSH1 0xe0 000015e6: SHL 000015e7: PUSH1 0x00 000015e9: MSTORE 000015ea: PUSH1 0x11 000015ec: PUSH1 0x04 000015ee: MSTORE 000015ef: PUSH1 0x24 000015f1: PUSH1 0x00 000015f3: REVERT 000015f4: JUMPDEST 000015f5: PUSH1 0x00 000015f7: DUP3 000015f8: NOT 000015f9: DUP3 000015fa: GT 000015fb: ISZERO 000015fc: PUSH2 0x1607 000015ff: JUMPI 00001600: PUSH2 0x1607 00001603: PUSH2 0x15de 00001606: JUMP 00001607: JUMPDEST 00001608: POP 00001609: ADD 0000160a: SWAP1 0000160b: JUMP 0000160c: JUMPDEST 0000160d: PUSH1 0x00 0000160f: DUP3 00001610: DUP3 00001611: LT 00001612: ISZERO 00001613: PUSH2 0x161e 00001616: JUMPI 00001617: PUSH2 0x161e 0000161a: PUSH2 0x15de 0000161d: JUMP 0000161e: JUMPDEST 0000161f: POP 00001620: SUB 00001621: SWAP1 00001622: JUMP 00001623: JUMPDEST 00001624: PUSH1 0x00 00001626: DUP2 00001627: PUSH1 0x00 00001629: NOT 0000162a: DIV 0000162b: DUP4 0000162c: GT 0000162d: DUP3 0000162e: ISZERO 0000162f: ISZERO 00001630: AND 00001631: ISZERO 00001632: PUSH2 0x163d 00001635: JUMPI 00001636: PUSH2 0x163d 00001639: PUSH2 0x15de 0000163c: JUMP 0000163d: JUMPDEST 0000163e: POP 0000163f: MUL 00001640: SWAP1 00001641: JUMP 00001642: JUMPDEST 00001643: PUSH1 0x00 00001645: DUP4 00001646: MLOAD 00001647: PUSH2 0x1654 0000164a: DUP2 0000164b: DUP5 0000164c: PUSH1 0x20 0000164e: DUP9 0000164f: ADD 00001650: PUSH2 0x116d 00001653: JUMP 00001654: JUMPDEST 00001655: DUP4 00001656: MLOAD 00001657: SWAP1 00001658: DUP4 00001659: ADD 0000165a: SWAP1 0000165b: PUSH2 0x1668 0000165e: DUP2 0000165f: DUP4 00001660: PUSH1 0x20 00001662: DUP9 00001663: ADD 00001664: PUSH2 0x116d 00001667: JUMP 00001668: JUMPDEST 00001669: ADD 0000166a: SWAP5 0000166b: SWAP4 0000166c: POP 0000166d: POP 0000166e: POP 0000166f: POP 00001670: JUMP 00001671: JUMPDEST 00001672: PUSH1 0x01 00001674: PUSH1 0x01 00001676: PUSH1 0xa0 00001678: SHL 00001679: SUB 0000167a: DUP6 0000167b: DUP2 0000167c: AND 0000167d: DUP3 0000167e: MSTORE 0000167f: DUP5 00001680: AND 00001681: PUSH1 0x20 00001683: DUP3 00001684: ADD 00001685: MSTORE 00001686: PUSH1 0x40 00001688: DUP2 00001689: ADD 0000168a: DUP4 0000168b: SWAP1 0000168c: MSTORE 0000168d: PUSH1 0x80 0000168f: PUSH1 0x60 00001691: DUP3 00001692: ADD 00001693: DUP2 00001694: SWAP1 00001695: MSTORE 00001696: PUSH1 0x00 00001698: SWAP1 00001699: PUSH2 0x16a4 0000169c: SWAP1 0000169d: DUP4 0000169e: ADD 0000169f: DUP5 000016a0: PUSH2 0x1199 000016a3: JUMP 000016a4: JUMPDEST 000016a5: SWAP7 000016a6: SWAP6 000016a7: POP 000016a8: POP 000016a9: POP 000016aa: POP 000016ab: POP 000016ac: POP 000016ad: JUMP 000016ae: JUMPDEST 000016af: PUSH1 0x00 000016b1: PUSH1 0x20 000016b3: DUP3 000016b4: DUP5 000016b5: SUB 000016b6: SLT 000016b7: ISZERO 000016b8: PUSH2 0x16c0 000016bb: JUMPI 000016bc: PUSH1 0x00 000016be: DUP1 000016bf: REVERT 000016c0: JUMPDEST 000016c1: DUP2 000016c2: MLOAD 000016c3: PUSH2 0x0bd0 000016c6: DUP2 000016c7: PUSH2 0x113a 000016ca: JUMP 000016cb: INVALID 000016cc: LOG2 000016cd: PUSH5 0x6970667358 000016d3: UNKNOWN(0x22) 000016d4: SLT 000016d5: KECCAK256 000016d6: UNKNOWN(0xAD) 000016d7: PUSH3 0x00917f 000016db: MCOPY 000016dc: UNKNOWN(0xE9) 000016dd: SWAP7 000016de: DIFFICULTY 000016df: ISZERO 000016e0: UNKNOWN(0xC1) 000016e1: MCOPY 000016e2: ADD 000016e3: BLOBHASH 000016e4: SWAP9 000016e5: SWAP12 000016e6: PUSH7 0xed083b0901f0ea 000016ee: RETURNDATACOPY 000016ef: MUL 000016f0: GASLIMIT 000016f1: UNKNOWN(0xE9) 000016f2: PUSH24
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xc1bade0cf671c073a0f7563c4e00c0f0cdf12fcc8d50d9e20f42179295cc7d11
call_targets:
0x7d572ca644cc9bb4ef079ae59527fa6634b8f9be
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc1bade0cf671c073a0f7563c4e00c0f0cdf12fcc8d50d9e20f42179295cc7d11",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x7d572ca644cc9bb4ef079ae59527fa6634b8f9be"
],
"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": "0xa0712d68",
"selector": "0xa0712d68",
"calldata_variants": [
"0xa0712d68",
"0xa0712d680000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa22cb465",
"selector": "0xa22cb465",
"calldata_variants": [
"0xa22cb465",
"0xa22cb4650000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb88d4fde",
"selector": "0xb88d4fde",
"calldata_variants": [
"0xb88d4fde",
"0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc87b56dd",
"selector": "0xc87b56dd",
"calldata_variants": [
"0xc87b56dd",
"0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe985e9c5",
"selector": "0xe985e9c5",
"calldata_variants": [
"0xe985e9c5",
"0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70a08231",
"selector": "0x70a08231",
"calldata_variants": [
"0x70a08231",
"0x70a082310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1891,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4148,
"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: 0xc1bade0cf671c073a0f7563c4e00c0f0cdf12fcc8d50d9e20f42179295cc7d11
call_targets:
0x7d572ca644cc9bb4ef079ae59527fa6634b8f9be
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc1bade0cf671c073a0f7563c4e00c0f0cdf12fcc8d50d9e20f42179295cc7d11",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x7d572ca644cc9bb4ef079ae59527fa6634b8f9be"
],
"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": "0xa0712d68",
"selector": "0xa0712d68",
"calldata_variants": [
"0xa0712d68",
"0xa0712d680000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa22cb465",
"selector": "0xa22cb465",
"calldata_variants": [
"0xa22cb465",
"0xa22cb4650000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb88d4fde",
"selector": "0xb88d4fde",
"calldata_variants": [
"0xb88d4fde",
"0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc87b56dd",
"selector": "0xc87b56dd",
"calldata_variants": [
"0xc87b56dd",
"0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe985e9c5",
"selector": "0xe985e9c5",
"calldata_variants": [
"0xe985e9c5",
"0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70a08231",
"selector": "0x70a08231",
"calldata_variants": [
"0x70a08231",
"0x70a082310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1891,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4148,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|