019ba8f8-3f74-7291-9c8e-028dc66a49fb
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 |
|---|---|---|---|---|
| 33760 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 33761 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 33762 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 33763 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 33764 | capability.graph | complete | 1 / 3 | 3 months ago |
| 33765 | detector.run | complete | 1 / 3 | 3 months ago |
| 33766 | validation.fork | complete | 1 / 3 | 3 months ago |
{
"status": "not_proxy"
}
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 0x0118 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x715018a6 00000019: GT 0000001a: PUSH2 0x00a0 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xad5c4648 00000024: GT 00000025: PUSH2 0x0064 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xad5c4648 0000002f: EQ 00000030: PUSH2 0x034c 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xbfe10928 0000003a: EQ 0000003b: PUSH2 0x0377 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xddbed26f 00000045: EQ 00000046: PUSH2 0x03a2 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xe19b4a17 00000050: EQ 00000051: PUSH2 0x03cd 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf2fde38b 0000005b: EQ 0000005c: PUSH2 0x03f8 0000005f: JUMPI 00000060: PUSH2 0x011f 00000063: JUMP 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x715018a6 0000006b: EQ 0000006c: PUSH2 0x02a1 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x75619ab5 00000076: EQ 00000077: PUSH2 0x02b8 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x8da5cb5b 00000081: EQ 00000082: PUSH2 0x02e1 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x9c8f9f23 0000008c: EQ 0000008d: PUSH2 0x030c 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0xa85ef678 00000097: EQ 00000098: PUSH2 0x0335 0000009b: JUMPI 0000009c: PUSH2 0x011f 0000009f: JUMP 000000a0: JUMPDEST 000000a1: DUP1 000000a2: PUSH4 0x49bd5a5e 000000a7: GT 000000a8: PUSH2 0x00e7 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x49bd5a5e 000000b2: EQ 000000b3: PUSH2 0x01ce 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x59193ad9 000000bd: EQ 000000be: PUSH2 0x01f9 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x6312d0e7 000000c8: EQ 000000c9: PUSH2 0x0224 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0x678620d4 000000d3: EQ 000000d4: PUSH2 0x024f 000000d7: JUMPI 000000d8: DUP1 000000d9: PUSH4 0x686d675a 000000de: EQ 000000df: PUSH2 0x0278 000000e2: JUMPI 000000e3: PUSH2 0x011f 000000e6: JUMP 000000e7: JUMPDEST 000000e8: DUP1 000000e9: PUSH4 0x0c3513a8 000000ee: EQ 000000ef: PUSH2 0x0124 000000f2: JUMPI 000000f3: DUP1 000000f4: PUSH4 0x1694505e 000000f9: EQ 000000fa: PUSH2 0x014f 000000fd: JUMPI 000000fe: DUP1 000000ff: PUSH4 0x2527f478 00000104: EQ 00000105: PUSH2 0x017a 00000108: JUMPI 00000109: DUP1 0000010a: PUSH4 0x29a9736a 0000010f: EQ 00000110: PUSH2 0x01a3 00000113: JUMPI 00000114: PUSH2 0x011f 00000117: JUMP 00000118: JUMPDEST 00000119: CALLDATASIZE 0000011a: PUSH2 0x011f 0000011d: JUMPI 0000011e: STOP 0000011f: JUMPDEST 00000120: PUSH1 0x00 00000122: DUP1 00000123: REVERT 00000124: JUMPDEST 00000125: CALLVALUE 00000126: DUP1 00000127: ISZERO 00000128: PUSH2 0x0130 0000012b: JUMPI 0000012c: PUSH1 0x00 0000012e: DUP1 0000012f: REVERT 00000130: JUMPDEST 00000131: POP 00000132: PUSH2 0x0139 00000135: PUSH2 0x0421 00000138: JUMP 00000139: JUMPDEST 0000013a: PUSH1 0x40 0000013c: MLOAD 0000013d: PUSH2 0x0146 00000140: SWAP2 00000141: SWAP1 00000142: PUSH2 0x12bd 00000145: JUMP 00000146: JUMPDEST 00000147: PUSH1 0x40 00000149: MLOAD 0000014a: DUP1 0000014b: SWAP2 0000014c: SUB 0000014d: SWAP1 0000014e: RETURN 0000014f: JUMPDEST 00000150: CALLVALUE 00000151: DUP1 00000152: ISZERO 00000153: PUSH2 0x015b 00000156: JUMPI 00000157: PUSH1 0x00 00000159: DUP1 0000015a: REVERT 0000015b: JUMPDEST 0000015c: POP 0000015d: PUSH2 0x0164 00000160: PUSH2 0x0628 00000163: JUMP 00000164: JUMPDEST 00000165: PUSH1 0x40 00000167: MLOAD 00000168: PUSH2 0x0171 0000016b: SWAP2 0000016c: SWAP1 0000016d: PUSH2 0x1357 00000170: JUMP 00000171: JUMPDEST 00000172: PUSH1 0x40 00000174: MLOAD 00000175: DUP1 00000176: SWAP2 00000177: SUB 00000178: SWAP1 00000179: RETURN 0000017a: JUMPDEST 0000017b: CALLVALUE 0000017c: DUP1 0000017d: ISZERO 0000017e: PUSH2 0x0186 00000181: JUMPI 00000182: PUSH1 0x00 00000184: DUP1 00000185: REVERT 00000186: JUMPDEST 00000187: POP 00000188: PUSH2 0x01a1 0000018b: PUSH1 0x04 0000018d: DUP1 0000018e: CALLDATASIZE 0000018f: SUB 00000190: DUP2 00000191: ADD 00000192: SWAP1 00000193: PUSH2 0x019c 00000196: SWAP2 00000197: SWAP1 00000198: PUSH2 0x13a3 0000019b: JUMP 0000019c: JUMPDEST 0000019d: PUSH2 0x064c 000001a0: JUMP 000001a1: JUMPDEST 000001a2: STOP 000001a3: JUMPDEST 000001a4: CALLVALUE 000001a5: DUP1 000001a6: ISZERO 000001a7: PUSH2 0x01af 000001aa: JUMPI 000001ab: PUSH1 0x00 000001ad: DUP1 000001ae: REVERT 000001af: JUMPDEST 000001b0: POP 000001b1: PUSH2 0x01b8 000001b4: PUSH2 0x079b 000001b7: JUMP 000001b8: JUMPDEST 000001b9: PUSH1 0x40 000001bb: MLOAD 000001bc: PUSH2 0x01c5 000001bf: SWAP2 000001c0: SWAP1 000001c1: PUSH2 0x12bd 000001c4: JUMP 000001c5: JUMPDEST 000001c6: PUSH1 0x40 000001c8: MLOAD 000001c9: DUP1 000001ca: SWAP2 000001cb: SUB 000001cc: SWAP1 000001cd: RETURN 000001ce: JUMPDEST 000001cf: CALLVALUE 000001d0: DUP1 000001d1: ISZERO 000001d2: PUSH2 0x01da 000001d5: JUMPI 000001d6: PUSH1 0x00 000001d8: DUP1 000001d9: REVERT 000001da: JUMPDEST 000001db: POP 000001dc: PUSH2 0x01e3 000001df: PUSH2 0x07a5 000001e2: JUMP 000001e3: JUMPDEST 000001e4: PUSH1 0x40 000001e6: MLOAD 000001e7: PUSH2 0x01f0 000001ea: SWAP2 000001eb: SWAP1 000001ec: PUSH2 0x13f1 000001ef: JUMP 000001f0: JUMPDEST 000001f1: PUSH1 0x40 000001f3: MLOAD 000001f4: DUP1 000001f5: SWAP2 000001f6: SUB 000001f7: SWAP1 000001f8: RETURN 000001f9: JUMPDEST 000001fa: CALLVALUE 000001fb: DUP1 000001fc: ISZERO 000001fd: PUSH2 0x0205 00000200: JUMPI 00000201: PUSH1 0x00 00000203: DUP1 00000204: REVERT 00000205: JUMPDEST 00000206: POP 00000207: PUSH2 0x020e 0000020a: PUSH2 0x07c9 0000020d: JUMP 0000020e: JUMPDEST 0000020f: PUSH1 0x40 00000211: MLOAD 00000212: PUSH2 0x021b 00000215: SWAP2 00000216: SWAP1 00000217: PUSH2 0x13f1 0000021a: JUMP 0000021b: JUMPDEST 0000021c: PUSH1 0x40 0000021e: MLOAD 0000021f: DUP1 00000220: SWAP2 00000221: SUB 00000222: SWAP1 00000223: RETURN 00000224: JUMPDEST 00000225: CALLVALUE 00000226: DUP1 00000227: ISZERO 00000228: PUSH2 0x0230 0000022b: JUMPI 0000022c: PUSH1 0x00 0000022e: DUP1 0000022f: REVERT 00000230: JUMPDEST 00000231: POP 00000232: PUSH2 0x0239 00000235: PUSH2 0x07ed 00000238: JUMP 00000239: JUMPDEST 0000023a: PUSH1 0x40 0000023c: MLOAD 0000023d: PUSH2 0x0246 00000240: SWAP2 00000241: SWAP1 00000242: PUSH2 0x12bd 00000245: JUMP 00000246: JUMPDEST 00000247: PUSH1 0x40 00000249: MLOAD 0000024a: DUP1 0000024b: SWAP2 0000024c: SUB 0000024d: SWAP1 0000024e: RETURN 0000024f: JUMPDEST 00000250: CALLVALUE 00000251: DUP1 00000252: ISZERO 00000253: PUSH2 0x025b 00000256: JUMPI 00000257: PUSH1 0x00 00000259: DUP1 0000025a: REVERT 0000025b: JUMPDEST 0000025c: POP 0000025d: PUSH2 0x0276 00000260: PUSH1 0x04 00000262: DUP1 00000263: CALLDATASIZE 00000264: SUB 00000265: DUP2 00000266: ADD 00000267: SWAP1 00000268: PUSH2 0x0271 0000026b: SWAP2 0000026c: SWAP1 0000026d: PUSH2 0x1438 00000270: JUMP 00000271: JUMPDEST 00000272: PUSH2 0x07f3 00000275: JUMP 00000276: JUMPDEST 00000277: STOP 00000278: JUMPDEST 00000279: CALLVALUE 0000027a: DUP1 0000027b: ISZERO 0000027c: PUSH2 0x0284 0000027f: JUMPI 00000280: PUSH1 0x00 00000282: DUP1 00000283: REVERT 00000284: JUMPDEST 00000285: POP 00000286: PUSH2 0x029f 00000289: PUSH1 0x04 0000028b: DUP1 0000028c: CALLDATASIZE 0000028d: SUB 0000028e: DUP2 0000028f: ADD 00000290: SWAP1 00000291: PUSH2 0x029a 00000294: SWAP2 00000295: SWAP1 00000296: PUSH2 0x1478 00000299: JUMP 0000029a: JUMPDEST 0000029b: PUSH2 0x0914 0000029e: JUMP 0000029f: JUMPDEST 000002a0: STOP 000002a1: JUMPDEST 000002a2: CALLVALUE 000002a3: DUP1 000002a4: ISZERO 000002a5: PUSH2 0x02ad 000002a8: JUMPI 000002a9: PUSH1 0x00 000002ab: DUP1 000002ac: REVERT 000002ad: JUMPDEST 000002ae: POP 000002af: PUSH2 0x02b6 000002b2: PUSH2 0x0abb 000002b5: JUMP 000002b6: JUMPDEST 000002b7: STOP 000002b8: JUMPDEST 000002b9: CALLVALUE 000002ba: DUP1 000002bb: ISZERO 000002bc: PUSH2 0x02c4 000002bf: JUMPI 000002c0: PUSH1 0x00 000002c2: DUP1 000002c3: REVERT 000002c4: JUMPDEST 000002c5: POP 000002c6: PUSH2 0x02df 000002c9: PUSH1 0x04 000002cb: DUP1 000002cc: CALLDATASIZE 000002cd: SUB 000002ce: DUP2 000002cf: ADD 000002d0: SWAP1 000002d1: PUSH2 0x02da 000002d4: SWAP2 000002d5: SWAP1 000002d6: PUSH2 0x14b8 000002d9: JUMP 000002da: JUMPDEST 000002db: PUSH2 0x0acf 000002de: JUMP 000002df: JUMPDEST 000002e0: STOP 000002e1: JUMPDEST 000002e2: CALLVALUE 000002e3: DUP1 000002e4: ISZERO 000002e5: PUSH2 0x02ed 000002e8: JUMPI 000002e9: PUSH1 0x00 000002eb: DUP1 000002ec: REVERT 000002ed: JUMPDEST 000002ee: POP 000002ef: PUSH2 0x02f6 000002f2: PUSH2 0x0bac 000002f5: JUMP 000002f6: JUMPDEST 000002f7: PUSH1 0x40 000002f9: MLOAD 000002fa: PUSH2 0x0303 000002fd: SWAP2 000002fe: SWAP1 000002ff: PUSH2 0x13f1 00000302: JUMP 00000303: JUMPDEST 00000304: PUSH1 0x40 00000306: MLOAD 00000307: DUP1 00000308: SWAP2 00000309: SUB 0000030a: SWAP1 0000030b: RETURN 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 0x0333 0000031d: PUSH1 0x04 0000031f: DUP1 00000320: CALLDATASIZE 00000321: SUB 00000322: DUP2 00000323: ADD 00000324: SWAP1 00000325: PUSH2 0x032e 00000328: SWAP2 00000329: SWAP1 0000032a: PUSH2 0x13a3 0000032d: JUMP 0000032e: JUMPDEST 0000032f: PUSH2 0x0bd5 00000332: JUMP 00000333: JUMPDEST 00000334: STOP 00000335: JUMPDEST 00000336: CALLVALUE 00000337: DUP1 00000338: ISZERO 00000339: PUSH2 0x0341 0000033c: JUMPI 0000033d: PUSH1 0x00 0000033f: DUP1 00000340: REVERT 00000341: JUMPDEST 00000342: POP 00000343: PUSH2 0x034a 00000346: PUSH2 0x0ec2 00000349: JUMP 0000034a: JUMPDEST 0000034b: STOP 0000034c: JUMPDEST 0000034d: CALLVALUE 0000034e: DUP1 0000034f: ISZERO 00000350: PUSH2 0x0358 00000353: JUMPI 00000354: PUSH1 0x00 00000356: DUP1 00000357: REVERT 00000358: JUMPDEST 00000359: POP 0000035a: PUSH2 0x0361 0000035d: PUSH2 0x0f55 00000360: JUMP 00000361: JUMPDEST 00000362: PUSH1 0x40 00000364: MLOAD 00000365: PUSH2 0x036e 00000368: SWAP2 00000369: SWAP1 0000036a: PUSH2 0x13f1 0000036d: JUMP 0000036e: JUMPDEST 0000036f: PUSH1 0x40 00000371: MLOAD 00000372: DUP1 00000373: SWAP2 00000374: SUB 00000375: SWAP1 00000376: RETURN 00000377: JUMPDEST 00000378: CALLVALUE 00000379: DUP1 0000037a: ISZERO 0000037b: PUSH2 0x0383 0000037e: JUMPI 0000037f: PUSH1 0x00 00000381: DUP1 00000382: REVERT 00000383: JUMPDEST 00000384: POP 00000385: PUSH2 0x038c 00000388: PUSH2 0x0f79 0000038b: JUMP 0000038c: JUMPDEST 0000038d: PUSH1 0x40 0000038f: MLOAD 00000390: PUSH2 0x0399 00000393: SWAP2 00000394: SWAP1 00000395: PUSH2 0x13f1 00000398: JUMP 00000399: JUMPDEST 0000039a: PUSH1 0x40 0000039c: MLOAD 0000039d: DUP1 0000039e: SWAP2 0000039f: SUB 000003a0: SWAP1 000003a1: RETURN 000003a2: JUMPDEST 000003a3: CALLVALUE 000003a4: DUP1 000003a5: ISZERO 000003a6: PUSH2 0x03ae 000003a9: JUMPI 000003aa: PUSH1 0x00 000003ac: DUP1 000003ad: REVERT 000003ae: JUMPDEST 000003af: POP 000003b0: PUSH2 0x03b7 000003b3: PUSH2 0x0f9f 000003b6: JUMP 000003b7: JUMPDEST 000003b8: PUSH1 0x40 000003ba: MLOAD 000003bb: PUSH2 0x03c4 000003be: SWAP2 000003bf: SWAP1 000003c0: PUSH2 0x12bd 000003c3: JUMP 000003c4: JUMPDEST 000003c5: PUSH1 0x40 000003c7: MLOAD 000003c8: DUP1 000003c9: SWAP2 000003ca: SUB 000003cb: SWAP1 000003cc: RETURN 000003cd: JUMPDEST 000003ce: CALLVALUE 000003cf: DUP1 000003d0: ISZERO 000003d1: PUSH2 0x03d9 000003d4: JUMPI 000003d5: PUSH1 0x00 000003d7: DUP1 000003d8: REVERT 000003d9: JUMPDEST 000003da: POP 000003db: PUSH2 0x03e2 000003de: PUSH2 0x0fa4 000003e1: JUMP 000003e2: JUMPDEST 000003e3: PUSH1 0x40 000003e5: MLOAD 000003e6: PUSH2 0x03ef 000003e9: SWAP2 000003ea: SWAP1 000003eb: PUSH2 0x12bd 000003ee: JUMP 000003ef: JUMPDEST 000003f0: PUSH1 0x40 000003f2: MLOAD 000003f3: DUP1 000003f4: SWAP2 000003f5: SUB 000003f6: SWAP1 000003f7: RETURN 000003f8: JUMPDEST 000003f9: CALLVALUE 000003fa: DUP1 000003fb: ISZERO 000003fc: PUSH2 0x0404 000003ff: JUMPI 00000400: PUSH1 0x00 00000402: DUP1 00000403: REVERT 00000404: JUMPDEST 00000405: POP 00000406: PUSH2 0x041f 00000409: PUSH1 0x04 0000040b: DUP1 0000040c: CALLDATASIZE 0000040d: SUB 0000040e: DUP2 0000040f: ADD 00000410: SWAP1 00000411: PUSH2 0x041a 00000414: SWAP2 00000415: SWAP1 00000416: PUSH2 0x14b8 00000419: JUMP 0000041a: JUMPDEST 0000041b: PUSH2 0x0fab 0000041e: JUMP 0000041f: JUMPDEST 00000420: STOP 00000421: JUMPDEST 00000422: PUSH1 0x00 00000424: DUP1 00000425: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 00000446: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000045b: AND 0000045c: PUSH4 0x70a08231 00000461: ADDRESS 00000462: PUSH1 0x40 00000464: MLOAD 00000465: DUP3 00000466: PUSH4 0xffffffff 0000046b: AND 0000046c: PUSH1 0xe0 0000046e: SHL 0000046f: DUP2 00000470: MSTORE 00000471: PUSH1 0x04 00000473: ADD 00000474: PUSH2 0x047d 00000477: SWAP2 00000478: SWAP1 00000479: PUSH2 0x13f1 0000047c: JUMP 0000047d: JUMPDEST 0000047e: PUSH1 0x20 00000480: PUSH1 0x40 00000482: MLOAD 00000483: DUP1 00000484: DUP4 00000485: SUB 00000486: DUP2 00000487: DUP7 00000488: GAS 00000489: STATICCALL 0000048a: ISZERO 0000048b: DUP1 0000048c: ISZERO 0000048d: PUSH2 0x049a 00000490: JUMPI 00000491: RETURNDATASIZE 00000492: PUSH1 0x00 00000494: DUP1 00000495: RETURNDATACOPY 00000496: RETURNDATASIZE 00000497: PUSH1 0x00 00000499: REVERT 0000049a: JUMPDEST 0000049b: POP 0000049c: POP 0000049d: POP 0000049e: POP 0000049f: PUSH1 0x40 000004a1: MLOAD 000004a2: RETURNDATASIZE 000004a3: PUSH1 0x1f 000004a5: NOT 000004a6: PUSH1 0x1f 000004a8: DUP3 000004a9: ADD 000004aa: AND 000004ab: DUP3 000004ac: ADD 000004ad: DUP1 000004ae: PUSH1 0x40 000004b0: MSTORE 000004b1: POP 000004b2: DUP2 000004b3: ADD 000004b4: SWAP1 000004b5: PUSH2 0x04be 000004b8: SWAP2 000004b9: SWAP1 000004ba: PUSH2 0x14fa 000004bd: JUMP 000004be: JUMPDEST 000004bf: SWAP1 000004c0: POP 000004c1: PUSH1 0x00 000004c3: PUSH6 0x5af3107a4000 000004ca: PUSH4 0x3b9aca00 000004cf: DUP4 000004d0: PUSH2 0x04d9 000004d3: SWAP2 000004d4: SWAP1 000004d5: PUSH2 0x1556 000004d8: JUMP 000004d9: JUMPDEST 000004da: PUSH2 0x04e3 000004dd: SWAP2 000004de: SWAP1 000004df: PUSH2 0x15c7 000004e2: JUMP 000004e3: JUMPDEST 000004e4: SWAP1 000004e5: POP 000004e6: DUP1 000004e7: PUSH32 0x000000000000000000000000b354b5da5ea39dadb1cea8140bf242eb24b1821a 00000508: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000051d: AND 0000051e: PUSH4 0x18160ddd 00000523: PUSH1 0x40 00000525: MLOAD 00000526: DUP2 00000527: PUSH4 0xffffffff 0000052c: AND 0000052d: PUSH1 0xe0 0000052f: SHL 00000530: DUP2 00000531: MSTORE 00000532: PUSH1 0x04 00000534: ADD 00000535: PUSH1 0x20 00000537: PUSH1 0x40 00000539: MLOAD 0000053a: DUP1 0000053b: DUP4 0000053c: SUB 0000053d: DUP2 0000053e: DUP7 0000053f: GAS 00000540: STATICCALL 00000541: ISZERO 00000542: DUP1 00000543: ISZERO 00000544: PUSH2 0x0551 00000547: JUMPI 00000548: RETURNDATASIZE 00000549: PUSH1 0x00 0000054b: DUP1 0000054c: RETURNDATACOPY 0000054d: RETURNDATASIZE 0000054e: PUSH1 0x00 00000550: REVERT 00000551: JUMPDEST 00000552: POP 00000553: POP 00000554: POP 00000555: POP 00000556: PUSH1 0x40 00000558: MLOAD 00000559: RETURNDATASIZE 0000055a: PUSH1 0x1f 0000055c: NOT 0000055d: PUSH1 0x1f 0000055f: DUP3 00000560: ADD 00000561: AND 00000562: DUP3 00000563: ADD 00000564: DUP1 00000565: PUSH1 0x40 00000567: MSTORE 00000568: POP 00000569: DUP2 0000056a: ADD 0000056b: SWAP1 0000056c: PUSH2 0x0575 0000056f: SWAP2 00000570: SWAP1 00000571: PUSH2 0x14fa 00000574: JUMP 00000575: JUMPDEST 00000576: GT 00000577: ISZERO 00000578: PUSH2 0x0586 0000057b: JUMPI 0000057c: PUSH1 0x00 0000057e: SWAP3 0000057f: POP 00000580: POP 00000581: POP 00000582: PUSH2 0x0625 00000585: JUMP 00000586: JUMPDEST 00000587: PUSH32 0x000000000000000000000000b354b5da5ea39dadb1cea8140bf242eb24b1821a 000005a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005bd: AND 000005be: PUSH4 0x18160ddd 000005c3: PUSH1 0x40 000005c5: MLOAD 000005c6: DUP2 000005c7: PUSH4 0xffffffff 000005cc: AND 000005cd: PUSH1 0xe0 000005cf: SHL 000005d0: DUP2 000005d1: MSTORE 000005d2: PUSH1 0x04 000005d4: ADD 000005d5: PUSH1 0x20 000005d7: PUSH1 0x40 000005d9: MLOAD 000005da: DUP1 000005db: DUP4 000005dc: SUB 000005dd: DUP2 000005de: DUP7 000005df: GAS 000005e0: STATICCALL 000005e1: ISZERO 000005e2: DUP1 000005e3: ISZERO 000005e4: PUSH2 0x05f1 000005e7: JUMPI 000005e8: RETURNDATASIZE 000005e9: PUSH1 0x00 000005eb: DUP1 000005ec: RETURNDATACOPY 000005ed: RETURNDATASIZE 000005ee: PUSH1 0x00 000005f0: REVERT 000005f1: JUMPDEST 000005f2: POP 000005f3: POP 000005f4: POP 000005f5: POP 000005f6: PUSH1 0x40 000005f8: MLOAD 000005f9: RETURNDATASIZE 000005fa: PUSH1 0x1f 000005fc: NOT 000005fd: PUSH1 0x1f 000005ff: DUP3 00000600: ADD 00000601: AND 00000602: DUP3 00000603: ADD 00000604: DUP1 00000605: PUSH1 0x40 00000607: MSTORE 00000608: POP 00000609: DUP2 0000060a: ADD 0000060b: SWAP1 0000060c: PUSH2 0x0615 0000060f: SWAP2 00000610: SWAP1 00000611: PUSH2 0x14fa 00000614: JUMP 00000615: JUMPDEST 00000616: DUP2 00000617: PUSH2 0x0620 0000061a: SWAP2 0000061b: SWAP1 0000061c: PUSH2 0x15f8 0000061f: JUMP 00000620: JUMPDEST 00000621: SWAP3 00000622: POP 00000623: POP 00000624: POP 00000625: JUMPDEST 00000626: SWAP1 00000627: JUMP 00000628: JUMPDEST 00000629: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d 0000064a: DUP2 0000064b: JUMP 0000064c: JUMPDEST 0000064d: PUSH32 0x000000000000000000000000b354b5da5ea39dadb1cea8140bf242eb24b1821a 0000066e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000683: AND 00000684: PUSH4 0x79cc6790 00000689: CALLER 0000068a: DUP4 0000068b: PUSH1 0x40 0000068d: MLOAD 0000068e: DUP4 0000068f: PUSH4 0xffffffff 00000694: AND 00000695: PUSH1 0xe0 00000697: SHL 00000698: DUP2 00000699: MSTORE 0000069a: PUSH1 0x04 0000069c: ADD 0000069d: PUSH2 0x06a7 000006a0: SWAP3 000006a1: SWAP2 000006a2: SWAP1 000006a3: PUSH2 0x162c 000006a6: JUMP 000006a7: JUMPDEST 000006a8: PUSH1 0x00 000006aa: PUSH1 0x40 000006ac: MLOAD 000006ad: DUP1 000006ae: DUP4 000006af: SUB 000006b0: DUP2 000006b1: PUSH1 0x00 000006b3: DUP8 000006b4: DUP1 000006b5: EXTCODESIZE 000006b6: ISZERO 000006b7: DUP1 000006b8: ISZERO 000006b9: PUSH2 0x06c1 000006bc: JUMPI 000006bd: PUSH1 0x00 000006bf: DUP1 000006c0: REVERT 000006c1: JUMPDEST 000006c2: POP 000006c3: GAS 000006c4: CALL 000006c5: ISZERO 000006c6: DUP1 000006c7: ISZERO 000006c8: PUSH2 0x06d5 000006cb: JUMPI 000006cc: RETURNDATASIZE 000006cd: PUSH1 0x00 000006cf: DUP1 000006d0: RETURNDATACOPY 000006d1: RETURNDATASIZE 000006d2: PUSH1 0x00 000006d4: REVERT 000006d5: JUMPDEST 000006d6: POP 000006d7: POP 000006d8: POP 000006d9: POP 000006da: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 000006fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000710: AND 00000711: PUSH4 0xa9059cbb 00000716: CALLER 00000717: PUSH4 0x3b9aca00 0000071c: PUSH6 0x5af3107a4000 00000723: DUP6 00000724: PUSH2 0x072d 00000727: SWAP2 00000728: SWAP1 00000729: PUSH2 0x1556 0000072c: JUMP 0000072d: JUMPDEST 0000072e: PUSH2 0x0737 00000731: SWAP2 00000732: SWAP1 00000733: PUSH2 0x15c7 00000736: JUMP 00000737: JUMPDEST 00000738: PUSH1 0x40 0000073a: MLOAD 0000073b: DUP4 0000073c: PUSH4 0xffffffff 00000741: AND 00000742: PUSH1 0xe0 00000744: SHL 00000745: DUP2 00000746: MSTORE 00000747: PUSH1 0x04 00000749: ADD 0000074a: PUSH2 0x0754 0000074d: SWAP3 0000074e: SWAP2 0000074f: SWAP1 00000750: PUSH2 0x162c 00000753: JUMP 00000754: JUMPDEST 00000755: PUSH1 0x20 00000757: PUSH1 0x40 00000759: MLOAD 0000075a: DUP1 0000075b: DUP4 0000075c: SUB 0000075d: DUP2 0000075e: PUSH1 0x00 00000760: DUP8 00000761: GAS 00000762: CALL 00000763: ISZERO 00000764: DUP1 00000765: ISZERO 00000766: PUSH2 0x0773 00000769: JUMPI 0000076a: RETURNDATASIZE 0000076b: PUSH1 0x00 0000076d: DUP1 0000076e: RETURNDATACOPY 0000076f: RETURNDATASIZE 00000770: PUSH1 0x00 00000772: REVERT 00000773: JUMPDEST 00000774: POP 00000775: POP 00000776: POP 00000777: POP 00000778: PUSH1 0x40 0000077a: MLOAD 0000077b: RETURNDATASIZE 0000077c: PUSH1 0x1f 0000077e: NOT 0000077f: PUSH1 0x1f 00000781: DUP3 00000782: ADD 00000783: AND 00000784: DUP3 00000785: ADD 00000786: DUP1 00000787: PUSH1 0x40 00000789: MSTORE 0000078a: POP 0000078b: DUP2 0000078c: ADD 0000078d: SWAP1 0000078e: PUSH2 0x0797 00000791: SWAP2 00000792: SWAP1 00000793: PUSH2 0x168d 00000796: JUMP 00000797: JUMPDEST 00000798: POP 00000799: POP 0000079a: JUMP 0000079b: JUMPDEST 0000079c: PUSH6 0x5af3107a4000 000007a3: DUP2 000007a4: JUMP 000007a5: JUMPDEST 000007a6: PUSH32 0x0000000000000000000000004ebdf501199410fc6caa1fa8c77da9aad46594ce 000007c7: DUP2 000007c8: JUMP 000007c9: JUMPDEST 000007ca: PUSH32 0x000000000000000000000000b354b5da5ea39dadb1cea8140bf242eb24b1821a 000007eb: DUP2 000007ec: JUMP 000007ed: JUMPDEST 000007ee: PUSH1 0x02 000007f0: SLOAD 000007f1: DUP2 000007f2: JUMP 000007f3: JUMPDEST 000007f4: PUSH1 0x01 000007f6: PUSH1 0x00 000007f8: SWAP1 000007f9: SLOAD 000007fa: SWAP1 000007fb: PUSH2 0x0100 000007fe: EXP 000007ff: SWAP1 00000800: DIV 00000801: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000816: AND 00000817: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000082c: AND 0000082d: CALLER 0000082e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000843: AND 00000844: EQ 00000845: PUSH2 0x0883 00000848: JUMPI 00000849: PUSH1 0x40 0000084b: MLOAD 0000084c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000086d: DUP2 0000086e: MSTORE 0000086f: PUSH1 0x04 00000871: ADD 00000872: PUSH2 0x087a 00000875: SWAP1 00000876: PUSH2 0x1717 00000879: JUMP 0000087a: JUMPDEST 0000087b: PUSH1 0x40 0000087d: MLOAD 0000087e: DUP1 0000087f: SWAP2 00000880: SUB 00000881: SWAP1 00000882: REVERT 00000883: JUMPDEST 00000884: PUSH32 0x000000000000000000000000b354b5da5ea39dadb1cea8140bf242eb24b1821a 000008a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008ba: AND 000008bb: PUSH4 0x40c10f19 000008c0: DUP4 000008c1: DUP4 000008c2: PUSH1 0x40 000008c4: MLOAD 000008c5: DUP4 000008c6: PUSH4 0xffffffff 000008cb: AND 000008cc: PUSH1 0xe0 000008ce: SHL 000008cf: DUP2 000008d0: MSTORE 000008d1: PUSH1 0x04 000008d3: ADD 000008d4: PUSH2 0x08de 000008d7: SWAP3 000008d8: SWAP2 000008d9: SWAP1 000008da: PUSH2 0x162c 000008dd: JUMP 000008de: JUMPDEST 000008df: PUSH1 0x00 000008e1: PUSH1 0x40 000008e3: MLOAD 000008e4: DUP1 000008e5: DUP4 000008e6: SUB 000008e7: DUP2 000008e8: PUSH1 0x00 000008ea: DUP8 000008eb: DUP1 000008ec: EXTCODESIZE 000008ed: ISZERO 000008ee: DUP1 000008ef: ISZERO 000008f0: PUSH2 0x08f8 000008f3: JUMPI 000008f4: PUSH1 0x00 000008f6: DUP1 000008f7: REVERT 000008f8: JUMPDEST 000008f9: POP 000008fa: GAS 000008fb: CALL 000008fc: ISZERO 000008fd: DUP1 000008fe: ISZERO 000008ff: PUSH2 0x090c 00000902: JUMPI 00000903: RETURNDATASIZE 00000904: PUSH1 0x00 00000906: DUP1 00000907: RETURNDATACOPY 00000908: RETURNDATASIZE 00000909: PUSH1 0x00 0000090b: REVERT 0000090c: JUMPDEST 0000090d: POP 0000090e: POP 0000090f: POP 00000910: POP 00000911: POP 00000912: POP 00000913: JUMP 00000914: JUMPDEST 00000915: PUSH2 0x091c 00000918: PUSH2 0x102e 0000091b: JUMP 0000091c: JUMPDEST 0000091d: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 0000093e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000953: AND 00000954: DUP2 00000955: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000096a: AND 0000096b: SUB 0000096c: PUSH2 0x09aa 0000096f: JUMPI 00000970: PUSH1 0x40 00000972: MLOAD 00000973: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000994: DUP2 00000995: MSTORE 00000996: PUSH1 0x04 00000998: ADD 00000999: PUSH2 0x09a1 0000099c: SWAP1 0000099d: PUSH2 0x1783 000009a0: JUMP 000009a1: JUMPDEST 000009a2: PUSH1 0x40 000009a4: MLOAD 000009a5: DUP1 000009a6: SWAP2 000009a7: SUB 000009a8: SWAP1 000009a9: REVERT 000009aa: JUMPDEST 000009ab: PUSH32 0x0000000000000000000000004ebdf501199410fc6caa1fa8c77da9aad46594ce 000009cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009e1: AND 000009e2: DUP2 000009e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009f8: AND 000009f9: SUB 000009fa: PUSH2 0x0a38 000009fd: JUMPI 000009fe: PUSH1 0x40 00000a00: MLOAD 00000a01: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000a22: DUP2 00000a23: MSTORE 00000a24: PUSH1 0x04 00000a26: ADD 00000a27: PUSH2 0x0a2f 00000a2a: SWAP1 00000a2b: PUSH2 0x17ef 00000a2e: JUMP 00000a2f: JUMPDEST 00000a30: PUSH1 0x40 00000a32: MLOAD 00000a33: DUP1 00000a34: SWAP2 00000a35: SUB 00000a36: SWAP1 00000a37: REVERT 00000a38: JUMPDEST 00000a39: DUP1 00000a3a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a4f: AND 00000a50: PUSH4 0xa9059cbb 00000a55: CALLER 00000a56: DUP5 00000a57: PUSH1 0x40 00000a59: MLOAD 00000a5a: DUP4 00000a5b: PUSH4 0xffffffff 00000a60: AND 00000a61: PUSH1 0xe0 00000a63: SHL 00000a64: DUP2 00000a65: MSTORE 00000a66: PUSH1 0x04 00000a68: ADD 00000a69: PUSH2 0x0a73 00000a6c: SWAP3 00000a6d: SWAP2 00000a6e: SWAP1 00000a6f: PUSH2 0x162c 00000a72: JUMP 00000a73: JUMPDEST 00000a74: PUSH1 0x20 00000a76: PUSH1 0x40 00000a78: MLOAD 00000a79: DUP1 00000a7a: DUP4 00000a7b: SUB 00000a7c: DUP2 00000a7d: PUSH1 0x00 00000a7f: DUP8 00000a80: GAS 00000a81: CALL 00000a82: ISZERO 00000a83: DUP1 00000a84: ISZERO 00000a85: PUSH2 0x0a92 00000a88: JUMPI 00000a89: RETURNDATASIZE 00000a8a: PUSH1 0x00 00000a8c: DUP1 00000a8d: RETURNDATACOPY 00000a8e: RETURNDATASIZE 00000a8f: PUSH1 0x00 00000a91: REVERT 00000a92: JUMPDEST 00000a93: POP 00000a94: POP 00000a95: POP 00000a96: POP 00000a97: PUSH1 0x40 00000a99: MLOAD 00000a9a: RETURNDATASIZE 00000a9b: PUSH1 0x1f 00000a9d: NOT 00000a9e: PUSH1 0x1f 00000aa0: DUP3 00000aa1: ADD 00000aa2: AND 00000aa3: DUP3 00000aa4: ADD 00000aa5: DUP1 00000aa6: PUSH1 0x40 00000aa8: MSTORE 00000aa9: POP 00000aaa: DUP2 00000aab: ADD 00000aac: SWAP1 00000aad: PUSH2 0x0ab6 00000ab0: SWAP2 00000ab1: SWAP1 00000ab2: PUSH2 0x168d 00000ab5: JUMP 00000ab6: JUMPDEST 00000ab7: POP 00000ab8: POP 00000ab9: POP 00000aba: JUMP 00000abb: JUMPDEST 00000abc: PUSH2 0x0ac3 00000abf: PUSH2 0x102e 00000ac2: JUMP 00000ac3: JUMPDEST 00000ac4: PUSH2 0x0acd 00000ac7: PUSH1 0x00 00000ac9: PUSH2 0x10ac 00000acc: JUMP 00000acd: JUMPDEST 00000ace: JUMP 00000acf: JUMPDEST 00000ad0: PUSH2 0x0ad7 00000ad3: PUSH2 0x102e 00000ad6: JUMP 00000ad7: JUMPDEST 00000ad8: PUSH1 0x00 00000ada: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aef: AND 00000af0: PUSH1 0x01 00000af2: PUSH1 0x00 00000af4: SWAP1 00000af5: SLOAD 00000af6: SWAP1 00000af7: PUSH2 0x0100 00000afa: EXP 00000afb: SWAP1 00000afc: DIV 00000afd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b12: AND 00000b13: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b28: AND 00000b29: EQ 00000b2a: PUSH2 0x0b68 00000b2d: JUMPI 00000b2e: PUSH1 0x40 00000b30: MLOAD 00000b31: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000b52: DUP2 00000b53: MSTORE 00000b54: PUSH1 0x04 00000b56: ADD 00000b57: PUSH2 0x0b5f 00000b5a: SWAP1 00000b5b: PUSH2 0x185b 00000b5e: JUMP 00000b5f: JUMPDEST 00000b60: PUSH1 0x40 00000b62: MLOAD 00000b63: DUP1 00000b64: SWAP2 00000b65: SUB 00000b66: SWAP1 00000b67: REVERT 00000b68: JUMPDEST 00000b69: DUP1 00000b6a: PUSH1 0x01 00000b6c: PUSH1 0x00 00000b6e: PUSH2 0x0100 00000b71: EXP 00000b72: DUP2 00000b73: SLOAD 00000b74: DUP2 00000b75: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b8a: MUL 00000b8b: NOT 00000b8c: AND 00000b8d: SWAP1 00000b8e: DUP4 00000b8f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ba4: AND 00000ba5: MUL 00000ba6: OR 00000ba7: SWAP1 00000ba8: SSTORE 00000ba9: POP 00000baa: POP 00000bab: JUMP 00000bac: JUMPDEST 00000bad: PUSH1 0x00 00000baf: DUP1 00000bb0: PUSH1 0x00 00000bb2: SWAP1 00000bb3: SLOAD 00000bb4: SWAP1 00000bb5: PUSH2 0x0100 00000bb8: EXP 00000bb9: SWAP1 00000bba: DIV 00000bbb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bd0: AND 00000bd1: SWAP1 00000bd2: POP 00000bd3: SWAP1 00000bd4: JUMP 00000bd5: JUMPDEST 00000bd6: PUSH2 0x0bdd 00000bd9: PUSH2 0x102e 00000bdc: JUMP 00000bdd: JUMPDEST 00000bde: PUSH1 0x00 00000be0: PUSH32 0x0000000000000000000000004ebdf501199410fc6caa1fa8c77da9aad46594ce 00000c01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c16: AND 00000c17: PUSH4 0x70a08231 00000c1c: ADDRESS 00000c1d: PUSH1 0x40 00000c1f: MLOAD 00000c20: DUP3 00000c21: PUSH4 0xffffffff 00000c26: AND 00000c27: PUSH1 0xe0 00000c29: SHL 00000c2a: DUP2 00000c2b: MSTORE 00000c2c: PUSH1 0x04 00000c2e: ADD 00000c2f: PUSH2 0x0c38 00000c32: SWAP2 00000c33: SWAP1 00000c34: PUSH2 0x13f1 00000c37: JUMP 00000c38: JUMPDEST 00000c39: PUSH1 0x20 00000c3b: PUSH1 0x40 00000c3d: MLOAD 00000c3e: DUP1 00000c3f: DUP4 00000c40: SUB 00000c41: DUP2 00000c42: DUP7 00000c43: GAS 00000c44: STATICCALL 00000c45: ISZERO 00000c46: DUP1 00000c47: ISZERO 00000c48: PUSH2 0x0c55 00000c4b: JUMPI 00000c4c: RETURNDATASIZE 00000c4d: PUSH1 0x00 00000c4f: DUP1 00000c50: RETURNDATACOPY 00000c51: RETURNDATASIZE 00000c52: PUSH1 0x00 00000c54: REVERT 00000c55: JUMPDEST 00000c56: POP 00000c57: POP 00000c58: POP 00000c59: POP 00000c5a: PUSH1 0x40 00000c5c: MLOAD 00000c5d: RETURNDATASIZE 00000c5e: PUSH1 0x1f 00000c60: NOT 00000c61: PUSH1 0x1f 00000c63: DUP3 00000c64: ADD 00000c65: AND 00000c66: DUP3 00000c67: ADD 00000c68: DUP1 00000c69: PUSH1 0x40 00000c6b: MSTORE 00000c6c: POP 00000c6d: DUP2 00000c6e: ADD 00000c6f: SWAP1 00000c70: PUSH2 0x0c79 00000c73: SWAP2 00000c74: SWAP1 00000c75: PUSH2 0x14fa 00000c78: JUMP 00000c79: JUMPDEST 00000c7a: SWAP1 00000c7b: POP 00000c7c: PUSH1 0x64 00000c7e: PUSH1 0x0a 00000c80: DUP3 00000c81: PUSH2 0x0c8a 00000c84: SWAP2 00000c85: SWAP1 00000c86: PUSH2 0x1556 00000c89: JUMP 00000c8a: JUMPDEST 00000c8b: PUSH2 0x0c94 00000c8e: SWAP2 00000c8f: SWAP1 00000c90: PUSH2 0x15c7 00000c93: JUMP 00000c94: JUMPDEST 00000c95: DUP3 00000c96: GT 00000c97: ISZERO 00000c98: PUSH2 0x0cd6 00000c9b: JUMPI 00000c9c: PUSH1 0x40 00000c9e: MLOAD 00000c9f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000cc0: DUP2 00000cc1: MSTORE 00000cc2: PUSH1 0x04 00000cc4: ADD 00000cc5: PUSH2 0x0ccd 00000cc8: SWAP1 00000cc9: PUSH2 0x18ed 00000ccc: JUMP 00000ccd: JUMPDEST 00000cce: PUSH1 0x40 00000cd0: MLOAD 00000cd1: DUP1 00000cd2: SWAP2 00000cd3: SUB 00000cd4: SWAP1 00000cd5: REVERT 00000cd6: JUMPDEST 00000cd7: PUSH3 0x015180 00000cdb: PUSH1 0x02 00000cdd: SLOAD 00000cde: PUSH2 0x0ce7 00000ce1: SWAP2 00000ce2: SWAP1 00000ce3: PUSH2 0x190d 00000ce6: JUMP 00000ce7: JUMPDEST 00000ce8: TIMESTAMP 00000ce9: GT 00000cea: PUSH2 0x0d28 00000ced: JUMPI 00000cee: PUSH1 0x40 00000cf0: MLOAD 00000cf1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000d12: DUP2 00000d13: MSTORE 00000d14: PUSH1 0x04 00000d16: ADD 00000d17: PUSH2 0x0d1f 00000d1a: SWAP1 00000d1b: PUSH2 0x198d 00000d1e: JUMP 00000d1f: JUMPDEST 00000d20: PUSH1 0x40 00000d22: MLOAD 00000d23: DUP1 00000d24: SWAP2 00000d25: SUB 00000d26: SWAP1 00000d27: REVERT 00000d28: JUMPDEST 00000d29: TIMESTAMP 00000d2a: PUSH1 0x02 00000d2c: DUP2 00000d2d: SWAP1 00000d2e: SSTORE 00000d2f: POP 00000d30: PUSH32 0x0000000000000000000000004ebdf501199410fc6caa1fa8c77da9aad46594ce 00000d51: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d66: AND 00000d67: PUSH4 0x095ea7b3 00000d6c: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d 00000d8d: DUP5 00000d8e: PUSH1 0x40 00000d90: MLOAD 00000d91: DUP4 00000d92: PUSH4 0xffffffff 00000d97: AND 00000d98: PUSH1 0xe0 00000d9a: SHL 00000d9b: DUP2 00000d9c: MSTORE 00000d9d: PUSH1 0x04 00000d9f: ADD 00000da0: PUSH2 0x0daa 00000da3: SWAP3 00000da4: SWAP2 00000da5: SWAP1 00000da6: PUSH2 0x162c 00000da9: JUMP 00000daa: JUMPDEST 00000dab: PUSH1 0x20 00000dad: PUSH1 0x40 00000daf: MLOAD 00000db0: DUP1 00000db1: DUP4 00000db2: SUB 00000db3: DUP2 00000db4: PUSH1 0x00 00000db6: DUP8 00000db7: GAS 00000db8: CALL 00000db9: ISZERO 00000dba: DUP1 00000dbb: ISZERO 00000dbc: PUSH2 0x0dc9 00000dbf: JUMPI 00000dc0: RETURNDATASIZE 00000dc1: PUSH1 0x00 00000dc3: DUP1 00000dc4: RETURNDATACOPY 00000dc5: RETURNDATASIZE 00000dc6: PUSH1 0x00 00000dc8: REVERT 00000dc9: JUMPDEST 00000dca: POP 00000dcb: POP 00000dcc: POP 00000dcd: POP 00000dce: PUSH1 0x40 00000dd0: MLOAD 00000dd1: RETURNDATASIZE 00000dd2: PUSH1 0x1f 00000dd4: NOT 00000dd5: PUSH1 0x1f 00000dd7: DUP3 00000dd8: ADD 00000dd9: AND 00000dda: DUP3 00000ddb: ADD 00000ddc: DUP1 00000ddd: PUSH1 0x40 00000ddf: MSTORE 00000de0: POP 00000de1: DUP2 00000de2: ADD 00000de3: SWAP1 00000de4: PUSH2 0x0ded 00000de7: SWAP2 00000de8: SWAP1 00000de9: PUSH2 0x168d 00000dec: JUMP 00000ded: JUMPDEST 00000dee: POP 00000def: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d 00000e10: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e25: AND 00000e26: PUSH4 0xaf2979eb 00000e2b: PUSH32 0x000000000000000000000000b354b5da5ea39dadb1cea8140bf242eb24b1821a 00000e4c: DUP5 00000e4d: PUSH1 0x00 00000e4f: DUP1 00000e50: ADDRESS 00000e51: TIMESTAMP 00000e52: PUSH1 0x40 00000e54: MLOAD 00000e55: DUP8 00000e56: PUSH4 0xffffffff 00000e5b: AND 00000e5c: PUSH1 0xe0 00000e5e: SHL 00000e5f: DUP2 00000e60: MSTORE 00000e61: PUSH1 0x04 00000e63: ADD 00000e64: PUSH2 0x0e72 00000e67: SWAP7 00000e68: SWAP6 00000e69: SWAP5 00000e6a: SWAP4 00000e6b: SWAP3 00000e6c: SWAP2 00000e6d: SWAP1 00000e6e: PUSH2 0x19e8 00000e71: JUMP 00000e72: JUMPDEST 00000e73: PUSH1 0x20 00000e75: PUSH1 0x40 00000e77: MLOAD 00000e78: DUP1 00000e79: DUP4 00000e7a: SUB 00000e7b: DUP2 00000e7c: PUSH1 0x00 00000e7e: DUP8 00000e7f: GAS 00000e80: CALL 00000e81: ISZERO 00000e82: DUP1 00000e83: ISZERO 00000e84: PUSH2 0x0e91 00000e87: JUMPI 00000e88: RETURNDATASIZE 00000e89: PUSH1 0x00 00000e8b: DUP1 00000e8c: RETURNDATACOPY 00000e8d: RETURNDATASIZE 00000e8e: PUSH1 0x00 00000e90: REVERT 00000e91: JUMPDEST 00000e92: POP 00000e93: POP 00000e94: POP 00000e95: POP 00000e96: PUSH1 0x40 00000e98: MLOAD 00000e99: RETURNDATASIZE 00000e9a: PUSH1 0x1f 00000e9c: NOT 00000e9d: PUSH1 0x1f 00000e9f: DUP3 00000ea0: ADD 00000ea1: AND 00000ea2: DUP3 00000ea3: ADD 00000ea4: DUP1 00000ea5: PUSH1 0x40 00000ea7: MSTORE 00000ea8: POP 00000ea9: DUP2 00000eaa: ADD 00000eab: SWAP1 00000eac: PUSH2 0x0eb5 00000eaf: SWAP2 00000eb0: SWAP1 00000eb1: PUSH2 0x14fa 00000eb4: JUMP 00000eb5: JUMPDEST 00000eb6: POP 00000eb7: PUSH2 0x0ebe 00000eba: PUSH2 0x1170 00000ebd: JUMP 00000ebe: JUMPDEST 00000ebf: POP 00000ec0: POP 00000ec1: JUMP 00000ec2: JUMPDEST 00000ec3: PUSH1 0x00 00000ec5: SELFBALANCE 00000ec6: SWAP1 00000ec7: POP 00000ec8: PUSH1 0x00 00000eca: DUP2 00000ecb: GT 00000ecc: ISZERO 00000ecd: PUSH2 0x0f52 00000ed0: JUMPI 00000ed1: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 00000ef2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f07: AND 00000f08: PUSH4 0xd0e30db0 00000f0d: DUP3 00000f0e: PUSH1 0x40 00000f10: MLOAD 00000f11: DUP3 00000f12: PUSH4 0xffffffff 00000f17: AND 00000f18: PUSH1 0xe0 00000f1a: SHL 00000f1b: DUP2 00000f1c: MSTORE 00000f1d: PUSH1 0x04 00000f1f: ADD 00000f20: PUSH1 0x00 00000f22: PUSH1 0x40 00000f24: MLOAD 00000f25: DUP1 00000f26: DUP4 00000f27: SUB 00000f28: DUP2 00000f29: DUP6 00000f2a: DUP9 00000f2b: DUP1 00000f2c: EXTCODESIZE 00000f2d: ISZERO 00000f2e: DUP1 00000f2f: ISZERO 00000f30: PUSH2 0x0f38 00000f33: JUMPI 00000f34: PUSH1 0x00 00000f36: DUP1 00000f37: REVERT 00000f38: JUMPDEST 00000f39: POP 00000f3a: GAS 00000f3b: CALL 00000f3c: ISZERO 00000f3d: DUP1 00000f3e: ISZERO 00000f3f: PUSH2 0x0f4c 00000f42: JUMPI 00000f43: RETURNDATASIZE 00000f44: PUSH1 0x00 00000f46: DUP1 00000f47: RETURNDATACOPY 00000f48: RETURNDATASIZE 00000f49: PUSH1 0x00 00000f4b: REVERT 00000f4c: JUMPDEST 00000f4d: POP 00000f4e: POP 00000f4f: POP 00000f50: POP 00000f51: POP 00000f52: JUMPDEST 00000f53: POP 00000f54: JUMP 00000f55: JUMPDEST 00000f56: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 00000f77: DUP2 00000f78: JUMP 00000f79: JUMPDEST 00000f7a: PUSH1 0x01 00000f7c: PUSH1 0x00 00000f7e: SWAP1 00000f7f: SLOAD 00000f80: SWAP1 00000f81: PUSH2 0x0100 00000f84: EXP 00000f85: SWAP1 00000f86: DIV 00000f87: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f9c: AND 00000f9d: DUP2 00000f9e: JUMP 00000f9f: JUMPDEST 00000fa0: PUSH1 0x0a 00000fa2: DUP2 00000fa3: JUMP 00000fa4: JUMPDEST 00000fa5: PUSH3 0x015180 00000fa9: DUP2 00000faa: JUMP 00000fab: JUMPDEST 00000fac: PUSH2 0x0fb3 00000faf: PUSH2 0x102e 00000fb2: JUMP 00000fb3: JUMPDEST 00000fb4: PUSH1 0x00 00000fb6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fcb: AND 00000fcc: DUP2 00000fcd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fe2: AND 00000fe3: SUB 00000fe4: PUSH2 0x1022 00000fe7: JUMPI 00000fe8: PUSH1 0x40 00000fea: MLOAD 00000feb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000100c: DUP2 0000100d: MSTORE 0000100e: PUSH1 0x04 00001010: ADD 00001011: PUSH2 0x1019 00001014: SWAP1 00001015: PUSH2 0x1abb 00001018: JUMP 00001019: JUMPDEST 0000101a: PUSH1 0x40 0000101c: MLOAD 0000101d: DUP1 0000101e: SWAP2 0000101f: SUB 00001020: SWAP1 00001021: REVERT 00001022: JUMPDEST 00001023: PUSH2 0x102b 00001026: DUP2 00001027: PUSH2 0x10ac 0000102a: JUMP 0000102b: JUMPDEST 0000102c: POP 0000102d: JUMP 0000102e: JUMPDEST 0000102f: PUSH2 0x1036 00001032: PUSH2 0x129c 00001035: JUMP 00001036: JUMPDEST 00001037: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000104c: AND 0000104d: PUSH2 0x1054 00001050: PUSH2 0x0bac 00001053: JUMP 00001054: JUMPDEST 00001055: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000106a: AND 0000106b: EQ 0000106c: PUSH2 0x10aa 0000106f: JUMPI 00001070: PUSH1 0x40 00001072: MLOAD 00001073: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001094: DUP2 00001095: MSTORE 00001096: PUSH1 0x04 00001098: ADD 00001099: PUSH2 0x10a1 0000109c: SWAP1 0000109d: PUSH2 0x1b27 000010a0: JUMP 000010a1: JUMPDEST 000010a2: PUSH1 0x40 000010a4: MLOAD 000010a5: DUP1 000010a6: SWAP2 000010a7: SUB 000010a8: SWAP1 000010a9: REVERT 000010aa: JUMPDEST 000010ab: JUMP 000010ac: JUMPDEST 000010ad: PUSH1 0x00 000010af: DUP1 000010b0: PUSH1 0x00 000010b2: SWAP1 000010b3: SLOAD 000010b4: SWAP1 000010b5: PUSH2 0x0100 000010b8: EXP 000010b9: SWAP1 000010ba: DIV 000010bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010d0: AND 000010d1: SWAP1 000010d2: POP 000010d3: DUP2 000010d4: PUSH1 0x00 000010d6: DUP1 000010d7: PUSH2 0x0100 000010da: EXP 000010db: DUP2 000010dc: SLOAD 000010dd: DUP2 000010de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010f3: MUL 000010f4: NOT 000010f5: AND 000010f6: SWAP1 000010f7: DUP4 000010f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000110d: AND 0000110e: MUL 0000110f: OR 00001110: SWAP1 00001111: SSTORE 00001112: POP 00001113: DUP2 00001114: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001129: AND 0000112a: DUP2 0000112b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001140: AND 00001141: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00001162: PUSH1 0x40 00001164: MLOAD 00001165: PUSH1 0x40 00001167: MLOAD 00001168: DUP1 00001169: SWAP2 0000116a: SUB 0000116b: SWAP1 0000116c: LOG3 0000116d: POP 0000116e: POP 0000116f: JUMP 00001170: JUMPDEST 00001171: PUSH1 0x00 00001173: PUSH32 0x000000000000000000000000b354b5da5ea39dadb1cea8140bf242eb24b1821a 00001194: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011a9: AND 000011aa: PUSH4 0x70a08231 000011af: ADDRESS 000011b0: PUSH1 0x40 000011b2: MLOAD 000011b3: DUP3 000011b4: PUSH4 0xffffffff 000011b9: AND 000011ba: PUSH1 0xe0 000011bc: SHL 000011bd: DUP2 000011be: MSTORE 000011bf: PUSH1 0x04 000011c1: ADD 000011c2: PUSH2 0x11cb 000011c5: SWAP2 000011c6: SWAP1 000011c7: PUSH2 0x13f1 000011ca: JUMP 000011cb: JUMPDEST 000011cc: PUSH1 0x20 000011ce: PUSH1 0x40 000011d0: MLOAD 000011d1: DUP1 000011d2: DUP4 000011d3: SUB 000011d4: DUP2 000011d5: DUP7 000011d6: GAS 000011d7: STATICCALL 000011d8: ISZERO 000011d9: DUP1 000011da: ISZERO 000011db: PUSH2 0x11e8 000011de: JUMPI 000011df: RETURNDATASIZE 000011e0: PUSH1 0x00 000011e2: DUP1 000011e3: RETURNDATACOPY 000011e4: RETURNDATASIZE 000011e5: PUSH1 0x00 000011e7: REVERT 000011e8: JUMPDEST 000011e9: POP 000011ea: POP 000011eb: POP 000011ec: POP 000011ed: PUSH1 0x40 000011ef: MLOAD 000011f0: RETURNDATASIZE 000011f1: PUSH1 0x1f 000011f3: NOT 000011f4: PUSH1 0x1f 000011f6: DUP3 000011f7: ADD 000011f8: AND 000011f9: DUP3 000011fa: ADD 000011fb: DUP1 000011fc: PUSH1 0x40 000011fe: MSTORE 000011ff: POP 00001200: DUP2 00001201: ADD 00001202: SWAP1 00001203: PUSH2 0x120c 00001206: SWAP2 00001207: SWAP1 00001208: PUSH2 0x14fa 0000120b: JUMP 0000120c: JUMPDEST 0000120d: SWAP1 0000120e: POP 0000120f: PUSH32 0x000000000000000000000000b354b5da5ea39dadb1cea8140bf242eb24b1821a 00001230: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001245: AND 00001246: PUSH4 0x42966c68 0000124b: DUP3 0000124c: PUSH1 0x40 0000124e: MLOAD 0000124f: DUP3 00001250: PUSH4 0xffffffff 00001255: AND 00001256: PUSH1 0xe0 00001258: SHL 00001259: DUP2 0000125a: MSTORE 0000125b: PUSH1 0x04 0000125d: ADD 0000125e: PUSH2 0x1267 00001261: SWAP2 00001262: SWAP1 00001263: PUSH2 0x12bd 00001266: JUMP 00001267: JUMPDEST 00001268: PUSH1 0x00 0000126a: PUSH1 0x40 0000126c: MLOAD 0000126d: DUP1 0000126e: DUP4 0000126f: SUB 00001270: DUP2 00001271: PUSH1 0x00 00001273: DUP8 00001274: DUP1 00001275: EXTCODESIZE 00001276: ISZERO 00001277: DUP1 00001278: ISZERO 00001279: PUSH2 0x1281 0000127c: JUMPI 0000127d: PUSH1 0x00 0000127f: DUP1 00001280: REVERT 00001281: JUMPDEST 00001282: POP 00001283: GAS 00001284: CALL 00001285: ISZERO 00001286: DUP1 00001287: ISZERO 00001288: PUSH2 0x1295 0000128b: JUMPI 0000128c: RETURNDATASIZE 0000128d: PUSH1 0x00 0000128f: DUP1 00001290: RETURNDATACOPY 00001291: RETURNDATASIZE 00001292: PUSH1 0x00 00001294: REVERT 00001295: JUMPDEST 00001296: POP 00001297: POP 00001298: POP 00001299: POP 0000129a: POP 0000129b: JUMP 0000129c: JUMPDEST 0000129d: PUSH1 0x00 0000129f: CALLER 000012a0: SWAP1 000012a1: POP 000012a2: SWAP1 000012a3: JUMP 000012a4: JUMPDEST 000012a5: PUSH1 0x00 000012a7: DUP2 000012a8: SWAP1 000012a9: POP 000012aa: SWAP2 000012ab: SWAP1 000012ac: POP 000012ad: JUMP 000012ae: JUMPDEST 000012af: PUSH2 0x12b7 000012b2: DUP2 000012b3: PUSH2 0x12a4 000012b6: JUMP 000012b7: JUMPDEST 000012b8: DUP3 000012b9: MSTORE 000012ba: POP 000012bb: POP 000012bc: JUMP 000012bd: JUMPDEST 000012be: PUSH1 0x00 000012c0: PUSH1 0x20 000012c2: DUP3 000012c3: ADD 000012c4: SWAP1 000012c5: POP 000012c6: PUSH2 0x12d2 000012c9: PUSH1 0x00 000012cb: DUP4 000012cc: ADD 000012cd: DUP5 000012ce: PUSH2 0x12ae 000012d1: JUMP 000012d2: JUMPDEST 000012d3: SWAP3 000012d4: SWAP2 000012d5: POP 000012d6: POP 000012d7: JUMP 000012d8: JUMPDEST 000012d9: PUSH1 0x00 000012db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012f0: DUP3 000012f1: AND 000012f2: SWAP1 000012f3: POP 000012f4: SWAP2 000012f5: SWAP1 000012f6: POP 000012f7: JUMP 000012f8: JUMPDEST 000012f9: PUSH1 0x00 000012fb: DUP2 000012fc: SWAP1 000012fd: POP 000012fe: SWAP2 000012ff: SWAP1 00001300: POP 00001301: JUMP 00001302: JUMPDEST 00001303: PUSH1 0x00 00001305: PUSH2 0x131d 00001308: PUSH2 0x1318 0000130b: PUSH2 0x1313 0000130e: DUP5 0000130f: PUSH2 0x12d8 00001312: JUMP 00001313: JUMPDEST 00001314: PUSH2 0x12f8 00001317: JUMP 00001318: JUMPDEST 00001319: PUSH2 0x12d8 0000131c: JUMP 0000131d: JUMPDEST 0000131e: SWAP1 0000131f: POP 00001320: SWAP2 00001321: SWAP1 00001322: POP 00001323: JUMP 00001324: JUMPDEST 00001325: PUSH1 0x00 00001327: PUSH2 0x132f 0000132a: DUP3 0000132b: PUSH2 0x1302 0000132e: JUMP 0000132f: JUMPDEST 00001330: SWAP1 00001331: POP 00001332: SWAP2 00001333: SWAP1 00001334: POP 00001335: JUMP 00001336: JUMPDEST 00001337: PUSH1 0x00 00001339: PUSH2 0x1341 0000133c: DUP3 0000133d: PUSH2 0x1324 00001340: JUMP 00001341: JUMPDEST 00001342: SWAP1 00001343: POP 00001344: SWAP2 00001345: SWAP1 00001346: POP 00001347: JUMP 00001348: JUMPDEST 00001349: PUSH2 0x1351 0000134c: DUP2 0000134d: PUSH2 0x1336 00001350: JUMP 00001351: JUMPDEST 00001352: DUP3 00001353: MSTORE 00001354: POP 00001355: POP 00001356: JUMP 00001357: JUMPDEST 00001358: PUSH1 0x00 0000135a: PUSH1 0x20 0000135c: DUP3 0000135d: ADD 0000135e: SWAP1 0000135f: POP 00001360: PUSH2 0x136c 00001363: PUSH1 0x00 00001365: DUP4 00001366: ADD 00001367: DUP5 00001368: PUSH2 0x1348 0000136b: JUMP 0000136c: JUMPDEST 0000136d: SWAP3 0000136e: SWAP2 0000136f: POP 00001370: POP 00001371: JUMP 00001372: JUMPDEST 00001373: PUSH1 0x00 00001375: DUP1 00001376: REVERT 00001377: JUMPDEST 00001378: PUSH2 0x1380 0000137b: DUP2 0000137c: PUSH2 0x12a4 0000137f: JUMP 00001380: JUMPDEST 00001381: DUP2 00001382: EQ 00001383: PUSH2 0x138b 00001386: JUMPI 00001387: PUSH1 0x00 00001389: DUP1 0000138a: REVERT 0000138b: JUMPDEST 0000138c: POP 0000138d: JUMP 0000138e: JUMPDEST 0000138f: PUSH1 0x00 00001391: DUP2 00001392: CALLDATALOAD 00001393: SWAP1 00001394: POP 00001395: PUSH2 0x139d 00001398: DUP2 00001399: PUSH2 0x1377 0000139c: JUMP 0000139d: JUMPDEST 0000139e: SWAP3 0000139f: SWAP2 000013a0: POP 000013a1: POP 000013a2: JUMP 000013a3: JUMPDEST 000013a4: PUSH1 0x00 000013a6: PUSH1 0x20 000013a8: DUP3 000013a9: DUP5 000013aa: SUB 000013ab: SLT 000013ac: ISZERO 000013ad: PUSH2 0x13b9 000013b0: JUMPI 000013b1: PUSH2 0x13b8 000013b4: PUSH2 0x1372 000013b7: JUMP 000013b8: JUMPDEST 000013b9: JUMPDEST 000013ba: PUSH1 0x00 000013bc: PUSH2 0x13c7 000013bf: DUP5 000013c0: DUP3 000013c1: DUP6 000013c2: ADD 000013c3: PUSH2 0x138e 000013c6: JUMP 000013c7: JUMPDEST 000013c8: SWAP2 000013c9: POP 000013ca: POP 000013cb: SWAP3 000013cc: SWAP2 000013cd: POP 000013ce: POP 000013cf: JUMP 000013d0: JUMPDEST 000013d1: PUSH1 0x00 000013d3: PUSH2 0x13db 000013d6: DUP3 000013d7: PUSH2 0x12d8 000013da: JUMP 000013db: JUMPDEST 000013dc: SWAP1 000013dd: POP 000013de: SWAP2 000013df: SWAP1 000013e0: POP 000013e1: JUMP 000013e2: JUMPDEST 000013e3: PUSH2 0x13eb 000013e6: DUP2 000013e7: PUSH2 0x13d0 000013ea: JUMP 000013eb: JUMPDEST 000013ec: DUP3 000013ed: MSTORE 000013ee: POP 000013ef: POP 000013f0: JUMP 000013f1: JUMPDEST 000013f2: PUSH1 0x00 000013f4: PUSH1 0x20 000013f6: DUP3 000013f7: ADD 000013f8: SWAP1 000013f9: POP 000013fa: PUSH2 0x1406 000013fd: PUSH1 0x00 000013ff: DUP4 00001400: ADD 00001401: DUP5 00001402: PUSH2 0x13e2 00001405: JUMP 00001406: JUMPDEST 00001407: SWAP3 00001408: SWAP2 00001409: POP 0000140a: POP 0000140b: JUMP 0000140c: JUMPDEST 0000140d: PUSH2 0x1415 00001410: DUP2 00001411: PUSH2 0x13d0 00001414: JUMP 00001415: JUMPDEST 00001416: DUP2 00001417: EQ 00001418: PUSH2 0x1420 0000141b: JUMPI 0000141c: PUSH1 0x00 0000141e: DUP1 0000141f: REVERT 00001420: JUMPDEST 00001421: POP 00001422: JUMP 00001423: JUMPDEST 00001424: PUSH1 0x00 00001426: DUP2 00001427: CALLDATALOAD 00001428: SWAP1 00001429: POP 0000142a: PUSH2 0x1432 0000142d: DUP2 0000142e: PUSH2 0x140c 00001431: JUMP 00001432: JUMPDEST 00001433: SWAP3 00001434: SWAP2 00001435: POP 00001436: POP 00001437: JUMP 00001438: JUMPDEST 00001439: PUSH1 0x00 0000143b: DUP1 0000143c: PUSH1 0x40 0000143e: DUP4 0000143f: DUP6 00001440: SUB 00001441: SLT 00001442: ISZERO 00001443: PUSH2 0x144f 00001446: JUMPI 00001447: PUSH2 0x144e 0000144a: PUSH2 0x1372 0000144d: JUMP 0000144e: JUMPDEST 0000144f: JUMPDEST 00001450: PUSH1 0x00 00001452: PUSH2 0x145d 00001455: DUP6 00001456: DUP3 00001457: DUP7 00001458: ADD 00001459: PUSH2 0x1423 0000145c: JUMP 0000145d: JUMPDEST 0000145e: SWAP3 0000145f: POP 00001460: POP 00001461: PUSH1 0x20 00001463: PUSH2 0x146e 00001466: DUP6 00001467: DUP3 00001468: DUP7 00001469: ADD 0000146a: PUSH2 0x138e 0000146d: JUMP 0000146e: JUMPDEST 0000146f: SWAP2 00001470: POP 00001471: POP 00001472: SWAP3 00001473: POP 00001474: SWAP3 00001475: SWAP1 00001476: POP 00001477: JUMP 00001478: JUMPDEST 00001479: PUSH1 0x00 0000147b: DUP1 0000147c: PUSH1 0x40 0000147e: DUP4 0000147f: DUP6 00001480: SUB 00001481: SLT 00001482: ISZERO 00001483: PUSH2 0x148f 00001486: JUMPI 00001487: PUSH2 0x148e 0000148a: PUSH2 0x1372 0000148d: JUMP 0000148e: JUMPDEST 0000148f: JUMPDEST 00001490: PUSH1 0x00 00001492: PUSH2 0x149d 00001495: DUP6 00001496: DUP3 00001497: DUP7 00001498: ADD 00001499: PUSH2 0x138e 0000149c: JUMP 0000149d: JUMPDEST 0000149e: SWAP3 0000149f: POP 000014a0: POP 000014a1: PUSH1 0x20 000014a3: PUSH2 0x14ae 000014a6: DUP6 000014a7: DUP3 000014a8: DUP7 000014a9: ADD 000014aa: PUSH2 0x1423 000014ad: JUMP 000014ae: JUMPDEST 000014af: SWAP2 000014b0: POP 000014b1: POP 000014b2: SWAP3 000014b3: POP 000014b4: SWAP3 000014b5: SWAP1 000014b6: POP 000014b7: JUMP 000014b8: JUMPDEST 000014b9: PUSH1 0x00 000014bb: PUSH1 0x20 000014bd: DUP3 000014be: DUP5 000014bf: SUB 000014c0: SLT 000014c1: ISZERO 000014c2: PUSH2 0x14ce 000014c5: JUMPI 000014c6: PUSH2 0x14cd 000014c9: PUSH2 0x1372 000014cc: JUMP 000014cd: JUMPDEST 000014ce: JUMPDEST 000014cf: PUSH1 0x00 000014d1: PUSH2 0x14dc 000014d4: DUP5 000014d5: DUP3 000014d6: DUP6 000014d7: ADD 000014d8: PUSH2 0x1423 000014db: JUMP 000014dc: JUMPDEST 000014dd: SWAP2 000014de: POP 000014df: POP 000014e0: SWAP3 000014e1: SWAP2 000014e2: POP 000014e3: POP 000014e4: JUMP 000014e5: JUMPDEST 000014e6: PUSH1 0x00 000014e8: DUP2 000014e9: MLOAD 000014ea: SWAP1 000014eb: POP 000014ec: PUSH2 0x14f4 000014ef: DUP2 000014f0: PUSH2 0x1377 000014f3: JUMP 000014f4: JUMPDEST 000014f5: SWAP3 000014f6: SWAP2 000014f7: POP 000014f8: POP 000014f9: JUMP 000014fa: JUMPDEST 000014fb: PUSH1 0x00 000014fd: PUSH1 0x20 000014ff: DUP3 00001500: DUP5 00001501: SUB 00001502: SLT 00001503: ISZERO 00001504: PUSH2 0x1510 00001507: JUMPI 00001508: PUSH2 0x150f 0000150b: PUSH2 0x1372 0000150e: JUMP 0000150f: JUMPDEST 00001510: JUMPDEST 00001511: PUSH1 0x00 00001513: PUSH2 0x151e 00001516: DUP5 00001517: DUP3 00001518: DUP6 00001519: ADD 0000151a: PUSH2 0x14e5 0000151d: JUMP 0000151e: JUMPDEST 0000151f: SWAP2 00001520: POP 00001521: POP 00001522: SWAP3 00001523: SWAP2 00001524: POP 00001525: POP 00001526: JUMP 00001527: JUMPDEST 00001528: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00001549: PUSH1 0x00 0000154b: MSTORE 0000154c: PUSH1 0x11 0000154e: PUSH1 0x04 00001550: MSTORE 00001551: PUSH1 0x24 00001553: PUSH1 0x00 00001555: REVERT 00001556: JUMPDEST 00001557: PUSH1 0x00 00001559: PUSH2 0x1561 0000155c: DUP3 0000155d: PUSH2 0x12a4 00001560: JUMP 00001561: JUMPDEST 00001562: SWAP2 00001563: POP 00001564: PUSH2 0x156c 00001567: DUP4 00001568: PUSH2 0x12a4 0000156b: JUMP 0000156c: JUMPDEST 0000156d: SWAP3 0000156e: POP 0000156f: DUP3 00001570: DUP3 00001571: MUL 00001572: PUSH2 0x157a 00001575: DUP2 00001576: PUSH2 0x12a4 00001579: JUMP 0000157a: JUMPDEST 0000157b: SWAP2 0000157c: POP 0000157d: DUP3 0000157e: DUP3 0000157f: DIV 00001580: DUP5 00001581: EQ 00001582: DUP4 00001583: ISZERO 00001584: OR 00001585: PUSH2 0x1591 00001588: JUMPI 00001589: PUSH2 0x1590 0000158c: PUSH2 0x1527 0000158f: JUMP 00001590: JUMPDEST 00001591: JUMPDEST 00001592: POP 00001593: SWAP3 00001594: SWAP2 00001595: POP 00001596: POP 00001597: JUMP 00001598: JUMPDEST 00001599: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000015ba: PUSH1 0x00 000015bc: MSTORE 000015bd: PUSH1 0x12 000015bf: PUSH1 0x04 000015c1: MSTORE 000015c2: PUSH1 0x24 000015c4: PUSH1 0x00 000015c6: REVERT 000015c7: JUMPDEST 000015c8: PUSH1 0x00 000015ca: PUSH2 0x15d2 000015cd: DUP3 000015ce: PUSH2 0x12a4 000015d1: JUMP 000015d2: JUMPDEST 000015d3: SWAP2 000015d4: POP 000015d5: PUSH2 0x15dd 000015d8: DUP4 000015d9: PUSH2 0x12a4 000015dc: JUMP 000015dd: JUMPDEST 000015de: SWAP3 000015df: POP 000015e0: DUP3 000015e1: PUSH2 0x15ed 000015e4: JUMPI 000015e5: PUSH2 0x15ec 000015e8: PUSH2 0x1598 000015eb: JUMP 000015ec: JUMPDEST 000015ed: JUMPDEST 000015ee: DUP3 000015ef: DUP3 000015f0: DIV 000015f1: SWAP1 000015f2: POP 000015f3: SWAP3 000015f4: SWAP2 000015f5: POP 000015f6: POP 000015f7: JUMP 000015f8: JUMPDEST 000015f9: PUSH1 0x00 000015fb: PUSH2 0x1603 000015fe: DUP3 000015ff: PUSH2 0x12a4 00001602: JUMP 00001603: JUMPDEST 00001604: SWAP2 00001605: POP 00001606: PUSH2 0x160e 00001609: DUP4 0000160a: PUSH2 0x12a4 0000160d: JUMP 0000160e: JUMPDEST 0000160f: SWAP3 00001610: POP 00001611: DUP3 00001612: DUP3 00001613: SUB 00001614: SWAP1 00001615: POP 00001616: DUP2 00001617: DUP2 00001618: GT 00001619: ISZERO 0000161a: PUSH2 0x1626 0000161d: JUMPI 0000161e: PUSH2 0x1625 00001621: PUSH2 0x1527 00001624: JUMP 00001625: JUMPDEST 00001626: JUMPDEST 00001627: SWAP3 00001628: SWAP2 00001629: POP 0000162a: POP 0000162b: JUMP 0000162c: JUMPDEST 0000162d: PUSH1 0x00 0000162f: PUSH1 0x40 00001631: DUP3 00001632: ADD 00001633: SWAP1 00001634: POP 00001635: PUSH2 0x1641 00001638: PUSH1 0x00 0000163a: DUP4 0000163b: ADD 0000163c: DUP6 0000163d: PUSH2 0x13e2 00001640: JUMP 00001641: JUMPDEST 00001642: PUSH2 0x164e 00001645: PUSH1 0x20 00001647: DUP4 00001648: ADD 00001649: DUP5 0000164a: PUSH2 0x12ae 0000164d: JUMP 0000164e: JUMPDEST 0000164f: SWAP4 00001650: SWAP3 00001651: POP 00001652: POP 00001653: POP 00001654: JUMP 00001655: JUMPDEST 00001656: PUSH1 0x00 00001658: DUP2 00001659: ISZERO 0000165a: ISZERO 0000165b: SWAP1 0000165c: POP 0000165d: SWAP2 0000165e: SWAP1 0000165f: POP 00001660: JUMP 00001661: JUMPDEST 00001662: PUSH2 0x166a 00001665: DUP2 00001666: PUSH2 0x1655 00001669: JUMP 0000166a: JUMPDEST 0000166b: DUP2 0000166c: EQ 0000166d: PUSH2 0x1675 00001670: JUMPI 00001671: PUSH1 0x00 00001673: DUP1 00001674: REVERT 00001675: JUMPDEST 00001676: POP 00001677: JUMP 00001678: JUMPDEST 00001679: PUSH1 0x00 0000167b: DUP2 0000167c: MLOAD 0000167d: SWAP1 0000167e: POP 0000167f: PUSH2 0x1687 00001682: DUP2 00001683: PUSH2 0x1661 00001686: JUMP 00001687: JUMPDEST 00001688: SWAP3 00001689: SWAP2 0000168a: POP 0000168b: POP 0000168c: JUMP 0000168d: JUMPDEST 0000168e: PUSH1 0x00 00001690: PUSH1 0x20 00001692: DUP3 00001693: DUP5 00001694: SUB 00001695: SLT 00001696: ISZERO 00001697: PUSH2 0x16a3 0000169a: JUMPI 0000169b: PUSH2 0x16a2 0000169e: PUSH2 0x1372 000016a1: JUMP 000016a2: JUMPDEST 000016a3: JUMPDEST 000016a4: PUSH1 0x00 000016a6: PUSH2 0x16b1 000016a9: DUP5 000016aa: DUP3 000016ab: DUP6 000016ac: ADD 000016ad: PUSH2 0x1678 000016b0: JUMP 000016b1: JUMPDEST 000016b2: SWAP2 000016b3: POP 000016b4: POP 000016b5: SWAP3 000016b6: SWAP2 000016b7: POP 000016b8: POP 000016b9: JUMP 000016ba: JUMPDEST 000016bb: PUSH1 0x00 000016bd: DUP3 000016be: DUP3 000016bf: MSTORE 000016c0: PUSH1 0x20 000016c2: DUP3 000016c3: ADD 000016c4: SWAP1 000016c5: POP 000016c6: SWAP3 000016c7: SWAP2 000016c8: POP 000016c9: POP 000016ca: JUMP 000016cb: JUMPDEST 000016cc: PUSH32 0x6d73672e73656e646572206973206e6f74206469737472696275746f72000000 000016ed: PUSH1 0x00 000016ef: DUP3 000016f0: ADD 000016f1: MSTORE 000016f2: POP 000016f3: JUMP 000016f4: JUMPDEST 000016f5: PUSH1 0x00 000016f7: PUSH2 0x1701 000016fa: PUSH1 0x1d 000016fc: DUP4 000016fd: PUSH2 0x16ba 00001700: JUMP 00001701: JUMPDEST 00001702: SWAP2 00001703: POP 00001704: PUSH2 0x170c 00001707: DUP3 00001708: PUSH2 0x16cb 0000170b: JUMP 0000170c: JUMPDEST 0000170d: PUSH1 0x20 0000170f: DUP3 00001710: ADD 00001711: SWAP1 00001712: POP 00001713: SWAP2 00001714: SWAP1 00001715: POP 00001716: JUMP 00001717: JUMPDEST 00001718: PUSH1 0x00 0000171a: PUSH1 0x20 0000171c: DUP3 0000171d: ADD 0000171e: SWAP1 0000171f: POP 00001720: DUP2 00001721: DUP2 00001722: SUB 00001723: PUSH1 0x00 00001725: DUP4 00001726: ADD 00001727: MSTORE 00001728: PUSH2 0x1730 0000172b: DUP2 0000172c: PUSH2 0x16f4 0000172f: JUMP 00001730: JUMPDEST 00001731: SWAP1 00001732: POP 00001733: SWAP2 00001734: SWAP1 00001735: POP 00001736: JUMP 00001737: JUMPDEST 00001738: PUSH32 0x43616e206e6f7420776974686472617720574554480000000000000000000000 00001759: PUSH1 0x00 0000175b: DUP3 0000175c: ADD 0000175d: MSTORE 0000175e: POP 0000175f: JUMP 00001760: JUMPDEST 00001761: PUSH1 0x00 00001763: PUSH2 0x176d 00001766: PUSH1 0x15 00001768: DUP4 00001769: PUSH2 0x16ba 0000176c: JUMP 0000176d: JUMPDEST 0000176e: SWAP2 0000176f: POP 00001770: PUSH2 0x1778 00001773: DUP3 00001774: PUSH2 0x1737 00001777: JUMP 00001778: JUMPDEST 00001779: PUSH1 0x20 0000177b: DUP3 0000177c: ADD 0000177d: SWAP1 0000177e: POP 0000177f: SWAP2 00001780: SWAP1 00001781: POP 00001782: JUMP 00001783: JUMPDEST 00001784: PUSH1 0x00 00001786: PUSH1 0x20 00001788: DUP3 00001789: ADD 0000178a: SWAP1 0000178b: POP 0000178c: DUP2 0000178d: DUP2 0000178e: SUB 0000178f: PUSH1 0x00 00001791: DUP4 00001792: ADD 00001793: MSTORE 00001794: PUSH2 0x179c 00001797: DUP2 00001798: PUSH2 0x1760 0000179b: JUMP 0000179c: JUMPDEST 0000179d: SWAP1 0000179e: POP 0000179f: SWAP2 000017a0: SWAP1 000017a1: POP 000017a2: JUMP 000017a3: JUMPDEST 000017a4: PUSH32 0x43616e206e6f74207769746864726177204c5000000000000000000000000000 000017c5: PUSH1 0x00 000017c7: DUP3 000017c8: ADD 000017c9: MSTORE 000017ca: POP 000017cb: JUMP 000017cc: JUMPDEST 000017cd: PUSH1 0x00 000017cf: PUSH2 0x17d9 000017d2: PUSH1 0x13 000017d4: DUP4 000017d5: PUSH2 0x16ba 000017d8: JUMP 000017d9: JUMPDEST 000017da: SWAP2 000017db: POP 000017dc: PUSH2 0x17e4 000017df: DUP3 000017e0: PUSH2 0x17a3 000017e3: JUMP 000017e4: JUMPDEST 000017e5: PUSH1 0x20 000017e7: DUP3 000017e8: ADD 000017e9: SWAP1 000017ea: POP 000017eb: SWAP2 000017ec: SWAP1 000017ed: POP 000017ee: JUMP 000017ef: JUMPDEST 000017f0: PUSH1 0x00 000017f2: PUSH1 0x20 000017f4: DUP3 000017f5: ADD 000017f6: SWAP1 000017f7: POP 000017f8: DUP2 000017f9: DUP2 000017fa: SUB 000017fb: PUSH1 0x00 000017fd: DUP4 000017fe: ADD 000017ff: MSTORE 00001800: PUSH2 0x1808 00001803: DUP2 00001804: PUSH2 0x17cc 00001807: JUMP 00001808: JUMPDEST 00001809: SWAP1 0000180a: POP 0000180b: SWAP2 0000180c: SWAP1 0000180d: POP 0000180e: JUMP 0000180f: JUMPDEST 00001810: PUSH32 0x6469737472696275746f7220616c726561647920736574000000000000000000 00001831: PUSH1 0x00 00001833: DUP3 00001834: ADD 00001835: MSTORE 00001836: POP 00001837: JUMP 00001838: JUMPDEST 00001839: PUSH1 0x00 0000183b: PUSH2 0x1845 0000183e: PUSH1 0x17 00001840: DUP4 00001841: PUSH2 0x16ba 00001844: JUMP 00001845: JUMPDEST 00001846: SWAP2 00001847: POP 00001848: PUSH2 0x1850 0000184b: DUP3 0000184c: PUSH2 0x180f 0000184f: JUMP 00001850: JUMPDEST 00001851: PUSH1 0x20 00001853: DUP3 00001854: ADD 00001855: SWAP1 00001856: POP 00001857: SWAP2 00001858: SWAP1 00001859: POP 0000185a: JUMP 0000185b: JUMPDEST 0000185c: PUSH1 0x00 0000185e: PUSH1 0x20 00001860: DUP3 00001861: ADD 00001862: SWAP1 00001863: POP 00001864: DUP2 00001865: DUP2 00001866: SUB 00001867: PUSH1 0x00 00001869: DUP4 0000186a: ADD 0000186b: MSTORE 0000186c: PUSH2 0x1874 0000186f: DUP2 00001870: PUSH2 0x1838 00001873: JUMP 00001874: JUMPDEST 00001875: SWAP1 00001876: POP 00001877: SWAP2 00001878: SWAP1 00001879: POP 0000187a: JUMP 0000187b: JUMPDEST 0000187c: PUSH32 0x52656d6f76696e67206d6f7265207468616e20313025206f66206c6971756964 0000189d: PUSH1 0x00 0000189f: DUP3 000018a0: ADD 000018a1: MSTORE 000018a2: PUSH32 0x6974790000000000000000000000000000000000000000000000000000000000 000018c3: PUSH1 0x20 000018c5: DUP3 000018c6: ADD 000018c7: MSTORE 000018c8: POP 000018c9: JUMP 000018ca: JUMPDEST 000018cb: PUSH1 0x00 000018cd: PUSH2 0x18d7 000018d0: PUSH1 0x23 000018d2: DUP4 000018d3: PUSH2 0x16ba 000018d6: JUMP 000018d7: JUMPDEST 000018d8: SWAP2 000018d9: POP 000018da: PUSH2 0x18e2 000018dd: DUP3 000018de: PUSH2 0x187b 000018e1: JUMP 000018e2: JUMPDEST 000018e3: PUSH1 0x40 000018e5: DUP3 000018e6: ADD 000018e7: SWAP1 000018e8: POP 000018e9: SWAP2 000018ea: SWAP1 000018eb: POP 000018ec: JUMP 000018ed: JUMPDEST 000018ee: PUSH1 0x00 000018f0: PUSH1 0x20 000018f2: DUP3 000018f3: ADD 000018f4: SWAP1 000018f5: POP 000018f6: DUP2 000018f7: DUP2 000018f8: SUB 000018f9: PUSH1 0x00 000018fb: DUP4 000018fc: ADD 000018fd: MSTORE 000018fe: PUSH2 0x1906 00001901: DUP2 00001902: PUSH2 0x18ca 00001905: JUMP 00001906: JUMPDEST 00001907: SWAP1 00001908: POP 00001909: SWAP2 0000190a: SWAP1 0000190b: POP 0000190c: JUMP 0000190d: JUMPDEST 0000190e: PUSH1 0x00 00001910: PUSH2 0x1918 00001913: DUP3 00001914: PUSH2 0x12a4 00001917: JUMP 00001918: JUMPDEST 00001919: SWAP2 0000191a: POP 0000191b: PUSH2 0x1923 0000191e: DUP4 0000191f: PUSH2 0x12a4 00001922: JUMP 00001923: JUMPDEST 00001924: SWAP3 00001925: POP 00001926: DUP3 00001927: DUP3 00001928: ADD 00001929: SWAP1 0000192a: POP 0000192b: DUP1 0000192c: DUP3 0000192d: GT 0000192e: ISZERO 0000192f: PUSH2 0x193b 00001932: JUMPI 00001933: PUSH2 0x193a 00001936: PUSH2 0x1527 00001939: JUMP 0000193a: JUMPDEST 0000193b: JUMPDEST 0000193c: SWAP3 0000193d: SWAP2 0000193e: POP 0000193f: POP 00001940: JUMP 00001941: JUMPDEST 00001942: PUSH32 0x52656d6f766564206265666f7265203120646179206c6f636b00000000000000 00001963: PUSH1 0x00 00001965: DUP3 00001966: ADD 00001967: MSTORE 00001968: POP 00001969: JUMP 0000196a: JUMPDEST 0000196b: PUSH1 0x00 0000196d: PUSH2 0x1977 00001970: PUSH1 0x19 00001972: DUP4 00001973: PUSH2 0x16ba 00001976: JUMP 00001977: JUMPDEST 00001978: SWAP2 00001979: POP 0000197a: PUSH2 0x1982 0000197d: DUP3 0000197e: PUSH2 0x1941 00001981: JUMP 00001982: JUMPDEST 00001983: PUSH1 0x20 00001985: DUP3 00001986: ADD 00001987: SWAP1 00001988: POP 00001989: SWAP2 0000198a: SWAP1 0000198b: POP 0000198c: JUMP 0000198d: JUMPDEST 0000198e: PUSH1 0x00 00001990: PUSH1 0x20 00001992: DUP3 00001993: ADD 00001994: SWAP1 00001995: POP 00001996: DUP2 00001997: DUP2 00001998: SUB 00001999: PUSH1 0x00 0000199b: DUP4 0000199c: ADD 0000199d: MSTORE 0000199e: PUSH2 0x19a6 000019a1: DUP2 000019a2: PUSH2 0x196a 000019a5: JUMP 000019a6: JUMPDEST 000019a7: SWAP1 000019a8: POP 000019a9: SWAP2 000019aa: SWAP1 000019ab: POP 000019ac: JUMP 000019ad: JUMPDEST 000019ae: PUSH1 0x00 000019b0: DUP2 000019b1: SWAP1 000019b2: POP 000019b3: SWAP2 000019b4: SWAP1 000019b5: POP 000019b6: JUMP 000019b7: JUMPDEST 000019b8: PUSH1 0x00 000019ba: PUSH2 0x19d2 000019bd: PUSH2 0x19cd 000019c0: PUSH2 0x19c8 000019c3: DUP5 000019c4: PUSH2 0x19ad 000019c7: JUMP 000019c8: JUMPDEST 000019c9: PUSH2 0x12f8 000019cc: JUMP 000019cd: JUMPDEST 000019ce: PUSH2 0x12a4 000019d1: JUMP 000019d2: JUMPDEST 000019d3: SWAP1 000019d4: POP 000019d5: SWAP2 000019d6: SWAP1 000019d7: POP 000019d8: JUMP 000019d9: JUMPDEST 000019da: PUSH2 0x19e2 000019dd: DUP2 000019de: PUSH2 0x19b7 000019e1: JUMP 000019e2: JUMPDEST 000019e3: DUP3 000019e4: MSTORE 000019e5: POP 000019e6: POP 000019e7: JUMP 000019e8: JUMPDEST 000019e9: PUSH1 0x00 000019eb: PUSH1 0xc0 000019ed: DUP3 000019ee: ADD 000019ef: SWAP1 000019f0: POP 000019f1: PUSH2 0x19fd 000019f4: PUSH1 0x00 000019f6: DUP4 000019f7: ADD 000019f8: DUP10 000019f9: PUSH2 0x13e2 000019fc: JUMP 000019fd: JUMPDEST 000019fe: PUSH2 0x1a0a 00001a01: PUSH1 0x20 00001a03: DUP4 00001a04: ADD 00001a05: DUP9 00001a06: PUSH2 0x12ae 00001a09: JUMP 00001a0a: JUMPDEST 00001a0b: PUSH2 0x1a17 00001a0e: PUSH1 0x40 00001a10: DUP4 00001a11: ADD 00001a12: DUP8 00001a13: PUSH2 0x19d9 00001a16: JUMP 00001a17: JUMPDEST 00001a18: PUSH2 0x1a24 00001a1b: PUSH1 0x60 00001a1d: DUP4 00001a1e: ADD 00001a1f: DUP7 00001a20: PUSH2 0x19d9 00001a23: JUMP 00001a24: JUMPDEST 00001a25: PUSH2 0x1a31 00001a28: PUSH1 0x80 00001a2a: DUP4 00001a2b: ADD 00001a2c: DUP6 00001a2d: PUSH2 0x13e2 00001a30: JUMP 00001a31: JUMPDEST 00001a32: PUSH2 0x1a3e 00001a35: PUSH1 0xa0 00001a37: DUP4 00001a38: ADD 00001a39: DUP5 00001a3a: PUSH2 0x12ae 00001a3d: JUMP 00001a3e: JUMPDEST 00001a3f: SWAP8 00001a40: SWAP7 00001a41: POP 00001a42: POP 00001a43: POP 00001a44: POP 00001a45: POP 00001a46: POP 00001a47: POP 00001a48: JUMP 00001a49: JUMPDEST 00001a4a: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00001a6b: PUSH1 0x00 00001a6d: DUP3 00001a6e: ADD 00001a6f: MSTORE 00001a70: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000 00001a91: PUSH1 0x20 00001a93: DUP3 00001a94: ADD 00001a95: MSTORE 00001a96: POP 00001a97: JUMP 00001a98: JUMPDEST 00001a99: PUSH1 0x00 00001a9b: PUSH2 0x1aa5 00001a9e: PUSH1 0x26 00001aa0: DUP4 00001aa1: PUSH2 0x16ba 00001aa4: JUMP 00001aa5: JUMPDEST 00001aa6: SWAP2 00001aa7: POP 00001aa8: PUSH2 0x1ab0 00001aab: DUP3 00001aac: PUSH2 0x1a49 00001aaf: JUMP 00001ab0: JUMPDEST 00001ab1: PUSH1 0x40 00001ab3: DUP3 00001ab4: ADD 00001ab5: SWAP1 00001ab6: POP 00001ab7: SWAP2 00001ab8: SWAP1 00001ab9: POP 00001aba: JUMP 00001abb: JUMPDEST 00001abc: PUSH1 0x00 00001abe: PUSH1 0x20 00001ac0: DUP3 00001ac1: ADD 00001ac2: SWAP1 00001ac3: POP 00001ac4: DUP2 00001ac5: DUP2 00001ac6: SUB 00001ac7: PUSH1 0x00 00001ac9: DUP4 00001aca: ADD 00001acb: MSTORE 00001acc: PUSH2 0x1ad4 00001acf: DUP2 00001ad0: PUSH2 0x1a98 00001ad3: JUMP 00001ad4: JUMPDEST 00001ad5: SWAP1 00001ad6: POP 00001ad7: SWAP2 00001ad8: SWAP1 00001ad9: POP 00001ada: JUMP 00001adb: JUMPDEST 00001adc: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00001afd: PUSH1 0x00 00001aff: DUP3 00001b00: ADD 00001b01: MSTORE 00001b02: POP 00001b03: JUMP 00001b04: JUMPDEST 00001b05: PUSH1 0x00 00001b07: PUSH2 0x1b11 00001b0a: PUSH1 0x20 00001b0c: DUP4 00001b0d: PUSH2 0x16ba 00001b10: JUMP 00001b11: JUMPDEST 00001b12: SWAP2 00001b13: POP 00001b14: PUSH2 0x1b1c 00001b17: DUP3 00001b18: PUSH2 0x1adb 00001b1b: JUMP 00001b1c: JUMPDEST 00001b1d: PUSH1 0x20 00001b1f: DUP3 00001b20: ADD 00001b21: SWAP1 00001b22: POP 00001b23: SWAP2 00001b24: SWAP1 00001b25: POP 00001b26: JUMP 00001b27: JUMPDEST 00001b28: PUSH1 0x00 00001b2a: PUSH1 0x20 00001b2c: DUP3 00001b2d: ADD 00001b2e: SWAP1 00001b2f: POP 00001b30: DUP2 00001b31: DUP2 00001b32: SUB 00001b33: PUSH1 0x00 00001b35: DUP4 00001b36: ADD 00001b37: MSTORE 00001b38: PUSH2 0x1b40 00001b3b: DUP2 00001b3c: PUSH2 0x1b04 00001b3f: JUMP 00001b40: JUMPDEST 00001b41: SWAP1 00001b42: POP 00001b43: SWAP2 00001b44: SWAP1 00001b45: POP 00001b46: JUMP 00001b47: INVALID 00001b48: LOG2 00001b49: PUSH5 0x6970667358 00001b4f: UNKNOWN(0x22) 00001b50: SLT 00001b51: KECCAK256 00001b52: UNKNOWN(0xE7) 00001b53: DUP12 00001b54: SWAP12 00001b55: UNKNOWN(0xFC) 00001b56: UNKNOWN(0xEF) 00001b57: SWAP5 00001b58: UNKNOWN(0xCA) 00001b59: MULMOD 00001b5a: UNKNOWN(0x29) 00001b5b: UNKNOWN(0xC3) 00001b5c: JUMP 00001b5d: UNKNOWN(0xAF) 00001b5e: PUSH23 0x6d406e5f6189816e5205c071ba085468d6bd4f64736f6c 00001b76: PUSH4 0x43000813 00001b7b: STOP 00001b7c: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xcb43d93dcf83ec4f9771c221e4c320e8d4f28521824a5bb2803309335cb712fe
call_targets:
0x9021d4f14513ebef91df1db77c363d1a77b0b3b2
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xcb43d93dcf83ec4f9771c221e4c320e8d4f28521824a5bb2803309335cb712fe",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x9021d4f14513ebef91df1db77c363d1a77b0b3b2"
],
"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": "0xad5c4648",
"selector": "0xad5c4648",
"calldata_variants": [
"0xad5c4648",
"0xad5c46480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbfe10928",
"selector": "0xbfe10928",
"calldata_variants": [
"0xbfe10928",
"0xbfe109280000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xddbed26f",
"selector": "0xddbed26f",
"calldata_variants": [
"0xddbed26f",
"0xddbed26f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe19b4a17",
"selector": "0xe19b4a17",
"calldata_variants": [
"0xe19b4a17",
"0xe19b4a170000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x75619ab5",
"selector": "0x75619ab5",
"calldata_variants": [
"0x75619ab5",
"0x75619ab50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1732,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1890,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2299,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 8,
"guards_detected": [
{
"pc": 2093,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 8
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xcb43d93dcf83ec4f9771c221e4c320e8d4f28521824a5bb2803309335cb712fe
call_targets:
0x9021d4f14513ebef91df1db77c363d1a77b0b3b2
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xcb43d93dcf83ec4f9771c221e4c320e8d4f28521824a5bb2803309335cb712fe",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x9021d4f14513ebef91df1db77c363d1a77b0b3b2"
],
"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": "0xad5c4648",
"selector": "0xad5c4648",
"calldata_variants": [
"0xad5c4648",
"0xad5c46480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbfe10928",
"selector": "0xbfe10928",
"calldata_variants": [
"0xbfe10928",
"0xbfe109280000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xddbed26f",
"selector": "0xddbed26f",
"calldata_variants": [
"0xddbed26f",
"0xddbed26f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe19b4a17",
"selector": "0xe19b4a17",
"calldata_variants": [
"0xe19b4a17",
"0xe19b4a170000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x75619ab5",
"selector": "0x75619ab5",
"calldata_variants": [
"0x75619ab5",
"0x75619ab50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1732,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1890,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2299,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 8,
"guards_detected": [
{
"pc": 2093,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|
| info | other | cast | Heavy CALL-family usage | 55 | no | — |
viewevidence_json{
"notes": "large number of CALL/CALLCODE/STATICCALL opcodes; review external call patterns",
"call_family_count": 13
}
|