019ba9a7-913f-7280-8163-6eb5e28584ee
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 |
|---|---|---|---|---|
| 37661 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 37662 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 37663 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 37664 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 37665 | capability.graph | complete | 1 / 3 | 3 months ago |
| 37666 | detector.run | complete | 1 / 3 | 3 months ago |
| 37667 | 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 0x019a 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x70a08231 00000019: GT 0000001a: PUSH2 0x00e1 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xa9059cbb 00000024: GT 00000025: PUSH2 0x008a 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xd0e30db0 0000002f: GT 00000030: PUSH2 0x0064 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xd0e30db0 0000003a: EQ 0000003b: PUSH2 0x01a9 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xdad544e0 00000045: EQ 00000046: PUSH2 0x0585 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xdd62ed3e 00000050: EQ 00000051: PUSH2 0x059a 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf3fef3a3 0000005b: EQ 0000005c: PUSH2 0x05ed 0000005f: JUMPI 00000060: PUSH2 0x01a9 00000063: JUMP 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0xa9059cbb 0000006b: EQ 0000006c: PUSH2 0x04f1 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xc4d66de8 00000076: EQ 00000077: PUSH2 0x0511 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xcd47bde1 00000081: EQ 00000082: PUSH2 0x0531 00000085: JUMPI 00000086: PUSH2 0x01a9 00000089: JUMP 0000008a: JUMPDEST 0000008b: DUP1 0000008c: PUSH4 0x95d89b41 00000091: GT 00000092: PUSH2 0x00bb 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x95d89b41 0000009c: EQ 0000009d: PUSH2 0x046b 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x977a5ec5 000000a7: EQ 000000a8: PUSH2 0x04b1 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0xa7e21e80 000000b2: EQ 000000b3: PUSH2 0x04d1 000000b6: JUMPI 000000b7: PUSH2 0x01a9 000000ba: JUMP 000000bb: JUMPDEST 000000bc: DUP1 000000bd: PUSH4 0x70a08231 000000c2: EQ 000000c3: PUSH2 0x03f3 000000c6: JUMPI 000000c7: DUP1 000000c8: PUSH4 0x79502c55 000000cd: EQ 000000ce: PUSH2 0x0436 000000d1: JUMPI 000000d2: DUP1 000000d3: PUSH4 0x7eee288d 000000d8: EQ 000000d9: PUSH2 0x044b 000000dc: JUMPI 000000dd: PUSH2 0x01a9 000000e0: JUMP 000000e1: JUMPDEST 000000e2: DUP1 000000e3: PUSH4 0x313ce567 000000e8: GT 000000e9: PUSH2 0x0143 000000ec: JUMPI 000000ed: DUP1 000000ee: PUSH4 0x3e47158c 000000f3: GT 000000f4: PUSH2 0x011d 000000f7: JUMPI 000000f8: DUP1 000000f9: PUSH4 0x3e47158c 000000fe: EQ 000000ff: PUSH2 0x0362 00000102: JUMPI 00000103: DUP1 00000104: PUSH4 0x54fd4d50 00000109: EQ 0000010a: PUSH2 0x0377 0000010d: JUMPI 0000010e: DUP1 0000010f: PUSH4 0x6a42b8f8 00000114: EQ 00000115: PUSH2 0x03c0 00000118: JUMPI 00000119: PUSH2 0x01a9 0000011c: JUMP 0000011d: JUMPDEST 0000011e: DUP1 0000011f: PUSH4 0x313ce567 00000124: EQ 00000125: PUSH2 0x02b6 00000128: JUMPI 00000129: DUP1 0000012a: PUSH4 0x33d7e2bd 0000012f: EQ 00000130: PUSH2 0x02dd 00000133: JUMPI 00000134: DUP1 00000135: PUSH4 0x38d38c97 0000013a: EQ 0000013b: PUSH2 0x032f 0000013e: JUMPI 0000013f: PUSH2 0x01a9 00000142: JUMP 00000143: JUMPDEST 00000144: DUP1 00000145: PUSH4 0x18160ddd 0000014a: GT 0000014b: PUSH2 0x0174 0000014e: JUMPI 0000014f: DUP1 00000150: PUSH4 0x18160ddd 00000155: EQ 00000156: PUSH2 0x0259 00000159: JUMPI 0000015a: DUP1 0000015b: PUSH4 0x23b872dd 00000160: EQ 00000161: PUSH2 0x0276 00000164: JUMPI 00000165: DUP1 00000166: PUSH4 0x2e1a7d4d 0000016b: EQ 0000016c: PUSH2 0x0296 0000016f: JUMPI 00000170: PUSH2 0x01a9 00000173: JUMP 00000174: JUMPDEST 00000175: DUP1 00000176: PUSH4 0x06fdde03 0000017b: EQ 0000017c: PUSH2 0x01b1 0000017f: JUMPI 00000180: DUP1 00000181: PUSH4 0x095ea7b3 00000186: EQ 00000187: PUSH2 0x0209 0000018a: JUMPI 0000018b: DUP1 0000018c: PUSH4 0x0ca35682 00000191: EQ 00000192: PUSH2 0x0239 00000195: JUMPI 00000196: PUSH2 0x01a9 00000199: JUMP 0000019a: JUMPDEST 0000019b: CALLDATASIZE 0000019c: PUSH2 0x01a9 0000019f: JUMPI 000001a0: PUSH2 0x01a7 000001a3: PUSH2 0x060d 000001a6: JUMP 000001a7: JUMPDEST 000001a8: STOP 000001a9: JUMPDEST 000001aa: PUSH2 0x01a7 000001ad: PUSH2 0x060d 000001b0: JUMP 000001b1: JUMPDEST 000001b2: CALLVALUE 000001b3: DUP1 000001b4: ISZERO 000001b5: PUSH2 0x01bd 000001b8: JUMPI 000001b9: PUSH1 0x00 000001bb: DUP1 000001bc: REVERT 000001bd: JUMPDEST 000001be: POP 000001bf: PUSH1 0x40 000001c1: DUP1 000001c2: MLOAD 000001c3: DUP1 000001c4: DUP3 000001c5: ADD 000001c6: SWAP1 000001c7: SWAP2 000001c8: MSTORE 000001c9: PUSH1 0x0d 000001cb: DUP2 000001cc: MSTORE 000001cd: PUSH32 0x5772617070656420457468657200000000000000000000000000000000000000 000001ee: PUSH1 0x20 000001f0: DUP3 000001f1: ADD 000001f2: MSTORE 000001f3: JUMPDEST 000001f4: PUSH1 0x40 000001f6: MLOAD 000001f7: PUSH2 0x0200 000001fa: SWAP2 000001fb: SWAP1 000001fc: PUSH2 0x14c9 000001ff: JUMP 00000200: JUMPDEST 00000201: PUSH1 0x40 00000203: MLOAD 00000204: DUP1 00000205: SWAP2 00000206: SUB 00000207: SWAP1 00000208: RETURN 00000209: JUMPDEST 0000020a: CALLVALUE 0000020b: DUP1 0000020c: ISZERO 0000020d: PUSH2 0x0215 00000210: JUMPI 00000211: PUSH1 0x00 00000213: DUP1 00000214: REVERT 00000215: JUMPDEST 00000216: POP 00000217: PUSH2 0x0229 0000021a: PUSH2 0x0224 0000021d: CALLDATASIZE 0000021e: PUSH1 0x04 00000220: PUSH2 0x155e 00000223: JUMP 00000224: JUMPDEST 00000225: PUSH2 0x0668 00000228: JUMP 00000229: JUMPDEST 0000022a: PUSH1 0x40 0000022c: MLOAD 0000022d: SWAP1 0000022e: ISZERO 0000022f: ISZERO 00000230: DUP2 00000231: MSTORE 00000232: PUSH1 0x20 00000234: ADD 00000235: PUSH2 0x0200 00000238: JUMP 00000239: JUMPDEST 0000023a: CALLVALUE 0000023b: DUP1 0000023c: ISZERO 0000023d: PUSH2 0x0245 00000240: JUMPI 00000241: PUSH1 0x00 00000243: DUP1 00000244: REVERT 00000245: JUMPDEST 00000246: POP 00000247: PUSH2 0x01a7 0000024a: PUSH2 0x0254 0000024d: CALLDATASIZE 0000024e: PUSH1 0x04 00000250: PUSH2 0x158a 00000253: JUMP 00000254: JUMPDEST 00000255: PUSH2 0x06e1 00000258: JUMP 00000259: JUMPDEST 0000025a: CALLVALUE 0000025b: DUP1 0000025c: ISZERO 0000025d: PUSH2 0x0265 00000260: JUMPI 00000261: PUSH1 0x00 00000263: DUP1 00000264: REVERT 00000265: JUMPDEST 00000266: POP 00000267: SELFBALANCE 00000268: JUMPDEST 00000269: PUSH1 0x40 0000026b: MLOAD 0000026c: SWAP1 0000026d: DUP2 0000026e: MSTORE 0000026f: PUSH1 0x20 00000271: ADD 00000272: PUSH2 0x0200 00000275: JUMP 00000276: JUMPDEST 00000277: CALLVALUE 00000278: DUP1 00000279: ISZERO 0000027a: PUSH2 0x0282 0000027d: JUMPI 0000027e: PUSH1 0x00 00000280: DUP1 00000281: REVERT 00000282: JUMPDEST 00000283: POP 00000284: PUSH2 0x0229 00000287: PUSH2 0x0291 0000028a: CALLDATASIZE 0000028b: PUSH1 0x04 0000028d: PUSH2 0x15a3 00000290: JUMP 00000291: JUMPDEST 00000292: PUSH2 0x084d 00000295: JUMP 00000296: JUMPDEST 00000297: CALLVALUE 00000298: DUP1 00000299: ISZERO 0000029a: PUSH2 0x02a2 0000029d: JUMPI 0000029e: PUSH1 0x00 000002a0: DUP1 000002a1: REVERT 000002a2: JUMPDEST 000002a3: POP 000002a4: PUSH2 0x01a7 000002a7: PUSH2 0x02b1 000002aa: CALLDATASIZE 000002ab: PUSH1 0x04 000002ad: PUSH2 0x158a 000002b0: JUMP 000002b1: JUMPDEST 000002b2: PUSH2 0x0a20 000002b5: JUMP 000002b6: JUMPDEST 000002b7: CALLVALUE 000002b8: DUP1 000002b9: ISZERO 000002ba: PUSH2 0x02c2 000002bd: JUMPI 000002be: PUSH1 0x00 000002c0: DUP1 000002c1: REVERT 000002c2: JUMPDEST 000002c3: POP 000002c4: PUSH2 0x02cb 000002c7: PUSH1 0x12 000002c9: DUP2 000002ca: JUMP 000002cb: JUMPDEST 000002cc: PUSH1 0x40 000002ce: MLOAD 000002cf: PUSH1 0xff 000002d1: SWAP1 000002d2: SWAP2 000002d3: AND 000002d4: DUP2 000002d5: MSTORE 000002d6: PUSH1 0x20 000002d8: ADD 000002d9: PUSH2 0x0200 000002dc: JUMP 000002dd: JUMPDEST 000002de: CALLVALUE 000002df: DUP1 000002e0: ISZERO 000002e1: PUSH2 0x02e9 000002e4: JUMPI 000002e5: PUSH1 0x00 000002e7: DUP1 000002e8: REVERT 000002e9: JUMPDEST 000002ea: POP 000002eb: PUSH1 0x04 000002ed: SLOAD 000002ee: PUSH2 0x030a 000002f1: SWAP1 000002f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000307: AND 00000308: DUP2 00000309: JUMP 0000030a: JUMPDEST 0000030b: PUSH1 0x40 0000030d: MLOAD 0000030e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000323: SWAP1 00000324: SWAP2 00000325: AND 00000326: DUP2 00000327: MSTORE 00000328: PUSH1 0x20 0000032a: ADD 0000032b: PUSH2 0x0200 0000032e: JUMP 0000032f: JUMPDEST 00000330: CALLVALUE 00000331: DUP1 00000332: ISZERO 00000333: PUSH2 0x033b 00000336: JUMPI 00000337: PUSH1 0x00 00000339: DUP1 0000033a: REVERT 0000033b: JUMPDEST 0000033c: POP 0000033d: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000001 0000035e: PUSH2 0x02cb 00000361: JUMP 00000362: JUMPDEST 00000363: CALLVALUE 00000364: DUP1 00000365: ISZERO 00000366: PUSH2 0x036e 00000369: JUMPI 0000036a: PUSH1 0x00 0000036c: DUP1 0000036d: REVERT 0000036e: JUMPDEST 0000036f: POP 00000370: PUSH2 0x030a 00000373: PUSH2 0x0a2d 00000376: JUMP 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 0x01f3 00000388: PUSH1 0x40 0000038a: MLOAD 0000038b: DUP1 0000038c: PUSH1 0x40 0000038e: ADD 0000038f: PUSH1 0x40 00000391: MSTORE 00000392: DUP1 00000393: PUSH1 0x05 00000395: DUP2 00000396: MSTORE 00000397: PUSH1 0x20 00000399: ADD 0000039a: PUSH32 0x312e352e30000000000000000000000000000000000000000000000000000000 000003bb: DUP2 000003bc: MSTORE 000003bd: POP 000003be: DUP2 000003bf: JUMP 000003c0: JUMPDEST 000003c1: CALLVALUE 000003c2: DUP1 000003c3: ISZERO 000003c4: PUSH2 0x03cc 000003c7: JUMPI 000003c8: PUSH1 0x00 000003ca: DUP1 000003cb: REVERT 000003cc: JUMPDEST 000003cd: POP 000003ce: PUSH32 0x0000000000000000000000000000000000000000000000000000000000049d40 000003ef: PUSH2 0x0268 000003f2: JUMP 000003f3: JUMPDEST 000003f4: CALLVALUE 000003f5: DUP1 000003f6: ISZERO 000003f7: PUSH2 0x03ff 000003fa: JUMPI 000003fb: PUSH1 0x00 000003fd: DUP1 000003fe: REVERT 000003ff: JUMPDEST 00000400: POP 00000401: PUSH2 0x0268 00000404: PUSH2 0x040e 00000407: CALLDATASIZE 00000408: PUSH1 0x04 0000040a: PUSH2 0x15e4 0000040d: JUMP 0000040e: JUMPDEST 0000040f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000424: AND 00000425: PUSH1 0x00 00000427: SWAP1 00000428: DUP2 00000429: MSTORE 0000042a: PUSH1 0x01 0000042c: PUSH1 0x20 0000042e: MSTORE 0000042f: PUSH1 0x40 00000431: SWAP1 00000432: KECCAK256 00000433: SLOAD 00000434: SWAP1 00000435: JUMP 00000436: JUMPDEST 00000437: CALLVALUE 00000438: DUP1 00000439: ISZERO 0000043a: PUSH2 0x0442 0000043d: JUMPI 0000043e: PUSH1 0x00 00000440: DUP1 00000441: REVERT 00000442: JUMPDEST 00000443: POP 00000444: PUSH2 0x030a 00000447: PUSH2 0x0c38 0000044a: JUMP 0000044b: JUMPDEST 0000044c: CALLVALUE 0000044d: DUP1 0000044e: ISZERO 0000044f: PUSH2 0x0457 00000452: JUMPI 00000453: PUSH1 0x00 00000455: DUP1 00000456: REVERT 00000457: JUMPDEST 00000458: POP 00000459: PUSH2 0x01a7 0000045c: PUSH2 0x0466 0000045f: CALLDATASIZE 00000460: PUSH1 0x04 00000462: PUSH2 0x155e 00000465: JUMP 00000466: JUMPDEST 00000467: PUSH2 0x0cd0 0000046a: JUMP 0000046b: JUMPDEST 0000046c: CALLVALUE 0000046d: DUP1 0000046e: ISZERO 0000046f: PUSH2 0x0477 00000472: JUMPI 00000473: PUSH1 0x00 00000475: DUP1 00000476: REVERT 00000477: JUMPDEST 00000478: POP 00000479: PUSH1 0x40 0000047b: DUP1 0000047c: MLOAD 0000047d: DUP1 0000047e: DUP3 0000047f: ADD 00000480: SWAP1 00000481: SWAP2 00000482: MSTORE 00000483: PUSH1 0x04 00000485: DUP2 00000486: MSTORE 00000487: PUSH32 0x5745544800000000000000000000000000000000000000000000000000000000 000004a8: PUSH1 0x20 000004aa: DUP3 000004ab: ADD 000004ac: MSTORE 000004ad: PUSH2 0x01f3 000004b0: JUMP 000004b1: JUMPDEST 000004b2: CALLVALUE 000004b3: DUP1 000004b4: ISZERO 000004b5: PUSH2 0x04bd 000004b8: JUMPI 000004b9: PUSH1 0x00 000004bb: DUP1 000004bc: REVERT 000004bd: JUMPDEST 000004be: POP 000004bf: PUSH2 0x01a7 000004c2: PUSH2 0x04cc 000004c5: CALLDATASIZE 000004c6: PUSH1 0x04 000004c8: PUSH2 0x155e 000004cb: JUMP 000004cc: JUMPDEST 000004cd: PUSH2 0x0d24 000004d0: JUMP 000004d1: JUMPDEST 000004d2: CALLVALUE 000004d3: DUP1 000004d4: ISZERO 000004d5: PUSH2 0x04dd 000004d8: JUMPI 000004d9: PUSH1 0x00 000004db: DUP1 000004dc: REVERT 000004dd: JUMPDEST 000004de: POP 000004df: PUSH2 0x01a7 000004e2: PUSH2 0x04ec 000004e5: CALLDATASIZE 000004e6: PUSH1 0x04 000004e8: PUSH2 0x15e4 000004eb: JUMP 000004ec: JUMPDEST 000004ed: PUSH2 0x0e33 000004f0: JUMP 000004f1: JUMPDEST 000004f2: CALLVALUE 000004f3: DUP1 000004f4: ISZERO 000004f5: PUSH2 0x04fd 000004f8: JUMPI 000004f9: PUSH1 0x00 000004fb: DUP1 000004fc: REVERT 000004fd: JUMPDEST 000004fe: POP 000004ff: PUSH2 0x0229 00000502: PUSH2 0x050c 00000505: CALLDATASIZE 00000506: PUSH1 0x04 00000508: PUSH2 0x155e 0000050b: JUMP 0000050c: JUMPDEST 0000050d: PUSH2 0x0e63 00000510: JUMP 00000511: JUMPDEST 00000512: CALLVALUE 00000513: DUP1 00000514: ISZERO 00000515: PUSH2 0x051d 00000518: JUMPI 00000519: PUSH1 0x00 0000051b: DUP1 0000051c: REVERT 0000051d: JUMPDEST 0000051e: POP 0000051f: PUSH2 0x01a7 00000522: PUSH2 0x052c 00000525: CALLDATASIZE 00000526: PUSH1 0x04 00000528: PUSH2 0x15e4 0000052b: JUMP 0000052c: JUMPDEST 0000052d: PUSH2 0x0e77 00000530: JUMP 00000531: JUMPDEST 00000532: CALLVALUE 00000533: DUP1 00000534: ISZERO 00000535: PUSH2 0x053d 00000538: JUMPI 00000539: PUSH1 0x00 0000053b: DUP1 0000053c: REVERT 0000053d: JUMPDEST 0000053e: POP 0000053f: PUSH2 0x0570 00000542: PUSH2 0x054c 00000545: CALLDATASIZE 00000546: PUSH1 0x04 00000548: PUSH2 0x1601 0000054b: JUMP 0000054c: JUMPDEST 0000054d: PUSH1 0x03 0000054f: PUSH1 0x20 00000551: SWAP1 00000552: DUP2 00000553: MSTORE 00000554: PUSH1 0x00 00000556: SWAP3 00000557: DUP4 00000558: MSTORE 00000559: PUSH1 0x40 0000055b: DUP1 0000055c: DUP5 0000055d: KECCAK256 0000055e: SWAP1 0000055f: SWAP2 00000560: MSTORE 00000561: SWAP1 00000562: DUP3 00000563: MSTORE 00000564: SWAP1 00000565: KECCAK256 00000566: DUP1 00000567: SLOAD 00000568: PUSH1 0x01 0000056a: SWAP1 0000056b: SWAP2 0000056c: ADD 0000056d: SLOAD 0000056e: DUP3 0000056f: JUMP 00000570: JUMPDEST 00000571: PUSH1 0x40 00000573: DUP1 00000574: MLOAD 00000575: SWAP3 00000576: DUP4 00000577: MSTORE 00000578: PUSH1 0x20 0000057a: DUP4 0000057b: ADD 0000057c: SWAP2 0000057d: SWAP1 0000057e: SWAP2 0000057f: MSTORE 00000580: ADD 00000581: PUSH2 0x0200 00000584: JUMP 00000585: JUMPDEST 00000586: CALLVALUE 00000587: DUP1 00000588: ISZERO 00000589: PUSH2 0x0591 0000058c: JUMPI 0000058d: PUSH1 0x00 0000058f: DUP1 00000590: REVERT 00000591: JUMPDEST 00000592: POP 00000593: PUSH2 0x030a 00000596: PUSH2 0x101e 00000599: JUMP 0000059a: JUMPDEST 0000059b: CALLVALUE 0000059c: DUP1 0000059d: ISZERO 0000059e: PUSH2 0x05a6 000005a1: JUMPI 000005a2: PUSH1 0x00 000005a4: DUP1 000005a5: REVERT 000005a6: JUMPDEST 000005a7: POP 000005a8: PUSH2 0x0268 000005ab: PUSH2 0x05b5 000005ae: CALLDATASIZE 000005af: PUSH1 0x04 000005b1: PUSH2 0x1601 000005b4: JUMP 000005b5: JUMPDEST 000005b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005cb: SWAP2 000005cc: DUP3 000005cd: AND 000005ce: PUSH1 0x00 000005d0: SWAP1 000005d1: DUP2 000005d2: MSTORE 000005d3: PUSH1 0x02 000005d5: PUSH1 0x20 000005d7: SWAP1 000005d8: DUP2 000005d9: MSTORE 000005da: PUSH1 0x40 000005dc: DUP1 000005dd: DUP4 000005de: KECCAK256 000005df: SWAP4 000005e0: SWAP1 000005e1: SWAP5 000005e2: AND 000005e3: DUP3 000005e4: MSTORE 000005e5: SWAP2 000005e6: SWAP1 000005e7: SWAP2 000005e8: MSTORE 000005e9: KECCAK256 000005ea: SLOAD 000005eb: SWAP1 000005ec: JUMP 000005ed: JUMPDEST 000005ee: CALLVALUE 000005ef: DUP1 000005f0: ISZERO 000005f1: PUSH2 0x05f9 000005f4: JUMPI 000005f5: PUSH1 0x00 000005f7: DUP1 000005f8: REVERT 000005f9: JUMPDEST 000005fa: POP 000005fb: PUSH2 0x01a7 000005fe: PUSH2 0x0608 00000601: CALLDATASIZE 00000602: PUSH1 0x04 00000604: PUSH2 0x155e 00000607: JUMP 00000608: JUMPDEST 00000609: PUSH2 0x1072 0000060c: JUMP 0000060d: JUMPDEST 0000060e: CALLER 0000060f: PUSH1 0x00 00000611: SWAP1 00000612: DUP2 00000613: MSTORE 00000614: PUSH1 0x01 00000616: PUSH1 0x20 00000618: MSTORE 00000619: PUSH1 0x40 0000061b: DUP2 0000061c: KECCAK256 0000061d: DUP1 0000061e: SLOAD 0000061f: CALLVALUE 00000620: SWAP3 00000621: SWAP1 00000622: PUSH2 0x062c 00000625: SWAP1 00000626: DUP5 00000627: SWAP1 00000628: PUSH2 0x1669 0000062b: JUMP 0000062c: JUMPDEST 0000062d: SWAP1 0000062e: SWAP2 0000062f: SSTORE 00000630: POP 00000631: POP 00000632: PUSH1 0x40 00000634: MLOAD 00000635: CALLVALUE 00000636: DUP2 00000637: MSTORE 00000638: CALLER 00000639: SWAP1 0000063a: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c 0000065b: SWAP1 0000065c: PUSH1 0x20 0000065e: ADD 0000065f: PUSH1 0x40 00000661: MLOAD 00000662: DUP1 00000663: SWAP2 00000664: SUB 00000665: SWAP1 00000666: LOG2 00000667: JUMP 00000668: JUMPDEST 00000669: CALLER 0000066a: PUSH1 0x00 0000066c: DUP2 0000066d: DUP2 0000066e: MSTORE 0000066f: PUSH1 0x02 00000671: PUSH1 0x20 00000673: SWAP1 00000674: DUP2 00000675: MSTORE 00000676: PUSH1 0x40 00000678: DUP1 00000679: DUP4 0000067a: KECCAK256 0000067b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000690: DUP8 00000691: AND 00000692: DUP1 00000693: DUP6 00000694: MSTORE 00000695: SWAP3 00000696: MSTORE 00000697: DUP1 00000698: DUP4 00000699: KECCAK256 0000069a: DUP6 0000069b: SWAP1 0000069c: SSTORE 0000069d: MLOAD 0000069e: SWAP2 0000069f: SWAP3 000006a0: SWAP1 000006a1: SWAP2 000006a2: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 000006c3: SWAP1 000006c4: PUSH2 0x06d0 000006c7: SWAP1 000006c8: DUP7 000006c9: DUP2 000006ca: MSTORE 000006cb: PUSH1 0x20 000006cd: ADD 000006ce: SWAP1 000006cf: JUMP 000006d0: JUMPDEST 000006d1: PUSH1 0x40 000006d3: MLOAD 000006d4: DUP1 000006d5: SWAP2 000006d6: SUB 000006d7: SWAP1 000006d8: LOG3 000006d9: POP 000006da: PUSH1 0x01 000006dc: SWAP3 000006dd: SWAP2 000006de: POP 000006df: POP 000006e0: JUMP 000006e1: JUMPDEST 000006e2: PUSH2 0x06e9 000006e5: PUSH2 0x101e 000006e8: JUMP 000006e9: JUMPDEST 000006ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006ff: AND 00000700: CALLER 00000701: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000716: AND 00000717: EQ 00000718: PUSH2 0x0782 0000071b: JUMPI 0000071c: PUSH1 0x40 0000071e: MLOAD 0000071f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000740: DUP2 00000741: MSTORE 00000742: PUSH1 0x20 00000744: PUSH1 0x04 00000746: DUP3 00000747: ADD 00000748: MSTORE 00000749: PUSH1 0x16 0000074b: PUSH1 0x24 0000074d: DUP3 0000074e: ADD 0000074f: MSTORE 00000750: PUSH32 0x44656c61796564574554483a206e6f74206f776e657200000000000000000000 00000771: PUSH1 0x44 00000773: DUP3 00000774: ADD 00000775: MSTORE 00000776: PUSH1 0x64 00000778: ADD 00000779: JUMPDEST 0000077a: PUSH1 0x40 0000077c: MLOAD 0000077d: DUP1 0000077e: SWAP2 0000077f: SUB 00000780: SWAP1 00000781: REVERT 00000782: JUMPDEST 00000783: PUSH1 0x00 00000785: SELFBALANCE 00000786: DUP3 00000787: LT 00000788: PUSH2 0x0791 0000078b: JUMPI 0000078c: SELFBALANCE 0000078d: PUSH2 0x0793 00000790: JUMP 00000791: JUMPDEST 00000792: DUP2 00000793: JUMPDEST 00000794: PUSH1 0x40 00000796: MLOAD 00000797: SWAP1 00000798: SWAP2 00000799: POP 0000079a: PUSH1 0x00 0000079c: SWAP1 0000079d: CALLER 0000079e: SWAP1 0000079f: DUP4 000007a0: SWAP1 000007a1: DUP4 000007a2: DUP2 000007a3: DUP2 000007a4: DUP2 000007a5: DUP6 000007a6: DUP8 000007a7: GAS 000007a8: CALL 000007a9: SWAP3 000007aa: POP 000007ab: POP 000007ac: POP 000007ad: RETURNDATASIZE 000007ae: DUP1 000007af: PUSH1 0x00 000007b1: DUP2 000007b2: EQ 000007b3: PUSH2 0x07d8 000007b6: JUMPI 000007b7: PUSH1 0x40 000007b9: MLOAD 000007ba: SWAP2 000007bb: POP 000007bc: PUSH1 0x1f 000007be: NOT 000007bf: PUSH1 0x3f 000007c1: RETURNDATASIZE 000007c2: ADD 000007c3: AND 000007c4: DUP3 000007c5: ADD 000007c6: PUSH1 0x40 000007c8: MSTORE 000007c9: RETURNDATASIZE 000007ca: DUP3 000007cb: MSTORE 000007cc: RETURNDATASIZE 000007cd: PUSH1 0x00 000007cf: PUSH1 0x20 000007d1: DUP5 000007d2: ADD 000007d3: RETURNDATACOPY 000007d4: PUSH2 0x07dd 000007d7: JUMP 000007d8: JUMPDEST 000007d9: PUSH1 0x60 000007db: SWAP2 000007dc: POP 000007dd: JUMPDEST 000007de: POP 000007df: POP 000007e0: SWAP1 000007e1: POP 000007e2: DUP1 000007e3: PUSH2 0x0848 000007e6: JUMPI 000007e7: PUSH1 0x40 000007e9: MLOAD 000007ea: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000080b: DUP2 0000080c: MSTORE 0000080d: PUSH1 0x20 0000080f: PUSH1 0x04 00000811: DUP3 00000812: ADD 00000813: MSTORE 00000814: PUSH1 0x1b 00000816: PUSH1 0x24 00000818: DUP3 00000819: ADD 0000081a: MSTORE 0000081b: PUSH32 0x44656c61796564574554483a207265636f766572206661696c65640000000000 0000083c: PUSH1 0x44 0000083e: DUP3 0000083f: ADD 00000840: MSTORE 00000841: PUSH1 0x64 00000843: ADD 00000844: PUSH2 0x0779 00000847: JUMP 00000848: JUMPDEST 00000849: POP 0000084a: POP 0000084b: POP 0000084c: JUMP 0000084d: JUMPDEST 0000084e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000863: DUP4 00000864: AND 00000865: PUSH1 0x00 00000867: SWAP1 00000868: DUP2 00000869: MSTORE 0000086a: PUSH1 0x01 0000086c: PUSH1 0x20 0000086e: MSTORE 0000086f: PUSH1 0x40 00000871: DUP2 00000872: KECCAK256 00000873: SLOAD 00000874: DUP3 00000875: GT 00000876: ISZERO 00000877: PUSH2 0x087f 0000087a: JUMPI 0000087b: PUSH1 0x00 0000087d: DUP1 0000087e: REVERT 0000087f: JUMPDEST 00000880: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000895: DUP5 00000896: AND 00000897: PUSH1 0x00 00000899: DUP2 0000089a: DUP2 0000089b: MSTORE 0000089c: PUSH1 0x02 0000089e: PUSH1 0x20 000008a0: SWAP1 000008a1: DUP2 000008a2: MSTORE 000008a3: PUSH1 0x40 000008a5: DUP1 000008a6: DUP4 000008a7: KECCAK256 000008a8: CALLER 000008a9: DUP1 000008aa: DUP6 000008ab: MSTORE 000008ac: SWAP3 000008ad: MSTORE 000008ae: SWAP1 000008af: SWAP2 000008b0: KECCAK256 000008b1: SLOAD 000008b2: SWAP2 000008b3: EQ 000008b4: DUP1 000008b5: ISZERO 000008b6: SWAP1 000008b7: PUSH2 0x08e0 000008ba: JUMPI 000008bb: POP 000008bc: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000008dd: DUP2 000008de: EQ 000008df: ISZERO 000008e0: JUMPDEST 000008e1: ISZERO 000008e2: PUSH2 0x0938 000008e5: JUMPI 000008e6: DUP3 000008e7: DUP2 000008e8: LT 000008e9: ISZERO 000008ea: PUSH2 0x08f2 000008ed: JUMPI 000008ee: PUSH1 0x00 000008f0: DUP1 000008f1: REVERT 000008f2: JUMPDEST 000008f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000908: DUP6 00000909: AND 0000090a: PUSH1 0x00 0000090c: SWAP1 0000090d: DUP2 0000090e: MSTORE 0000090f: PUSH1 0x02 00000911: PUSH1 0x20 00000913: SWAP1 00000914: DUP2 00000915: MSTORE 00000916: PUSH1 0x40 00000918: DUP1 00000919: DUP4 0000091a: KECCAK256 0000091b: CALLER 0000091c: DUP5 0000091d: MSTORE 0000091e: SWAP1 0000091f: SWAP2 00000920: MSTORE 00000921: DUP2 00000922: KECCAK256 00000923: DUP1 00000924: SLOAD 00000925: DUP6 00000926: SWAP3 00000927: SWAP1 00000928: PUSH2 0x0932 0000092b: SWAP1 0000092c: DUP5 0000092d: SWAP1 0000092e: PUSH2 0x1681 00000931: JUMP 00000932: JUMPDEST 00000933: SWAP1 00000934: SWAP2 00000935: SSTORE 00000936: POP 00000937: POP 00000938: JUMPDEST 00000939: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000094e: DUP6 0000094f: AND 00000950: PUSH1 0x00 00000952: SWAP1 00000953: DUP2 00000954: MSTORE 00000955: PUSH1 0x01 00000957: PUSH1 0x20 00000959: MSTORE 0000095a: PUSH1 0x40 0000095c: DUP2 0000095d: KECCAK256 0000095e: DUP1 0000095f: SLOAD 00000960: DUP6 00000961: SWAP3 00000962: SWAP1 00000963: PUSH2 0x096d 00000966: SWAP1 00000967: DUP5 00000968: SWAP1 00000969: PUSH2 0x1681 0000096c: JUMP 0000096d: JUMPDEST 0000096e: SWAP1 0000096f: SWAP2 00000970: SSTORE 00000971: POP 00000972: POP 00000973: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000988: DUP5 00000989: AND 0000098a: PUSH1 0x00 0000098c: SWAP1 0000098d: DUP2 0000098e: MSTORE 0000098f: PUSH1 0x01 00000991: PUSH1 0x20 00000993: MSTORE 00000994: PUSH1 0x40 00000996: DUP2 00000997: KECCAK256 00000998: DUP1 00000999: SLOAD 0000099a: DUP6 0000099b: SWAP3 0000099c: SWAP1 0000099d: PUSH2 0x09a7 000009a0: SWAP1 000009a1: DUP5 000009a2: SWAP1 000009a3: PUSH2 0x1669 000009a6: JUMP 000009a7: JUMPDEST 000009a8: SWAP3 000009a9: POP 000009aa: POP 000009ab: DUP2 000009ac: SWAP1 000009ad: SSTORE 000009ae: POP 000009af: DUP4 000009b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009c5: AND 000009c6: DUP6 000009c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009dc: AND 000009dd: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000009fe: DUP6 000009ff: PUSH1 0x40 00000a01: MLOAD 00000a02: PUSH2 0x0a0d 00000a05: SWAP2 00000a06: DUP2 00000a07: MSTORE 00000a08: PUSH1 0x20 00000a0a: ADD 00000a0b: SWAP1 00000a0c: JUMP 00000a0d: JUMPDEST 00000a0e: PUSH1 0x40 00000a10: MLOAD 00000a11: DUP1 00000a12: SWAP2 00000a13: SUB 00000a14: SWAP1 00000a15: LOG3 00000a16: POP 00000a17: PUSH1 0x01 00000a19: SWAP5 00000a1a: SWAP4 00000a1b: POP 00000a1c: POP 00000a1d: POP 00000a1e: POP 00000a1f: JUMP 00000a20: JUMPDEST 00000a21: PUSH2 0x0a2a 00000a24: CALLER 00000a25: DUP3 00000a26: PUSH2 0x1072 00000a29: JUMP 00000a2a: JUMPDEST 00000a2b: POP 00000a2c: JUMP 00000a2d: JUMPDEST 00000a2e: PUSH1 0x00 00000a30: DUP1 00000a31: PUSH2 0x0a58 00000a34: PUSH32 0xb53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103 00000a55: SLOAD 00000a56: SWAP1 00000a57: JUMP 00000a58: JUMPDEST 00000a59: SWAP1 00000a5a: POP 00000a5b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a70: DUP2 00000a71: AND 00000a72: ISZERO 00000a73: PUSH2 0x0a7b 00000a76: JUMPI 00000a77: SWAP2 00000a78: SWAP1 00000a79: POP 00000a7a: JUMP 00000a7b: JUMPDEST 00000a7c: PUSH1 0x40 00000a7e: MLOAD 00000a7f: DUP1 00000a80: PUSH1 0x40 00000a82: ADD 00000a83: PUSH1 0x40 00000a85: MSTORE 00000a86: DUP1 00000a87: PUSH1 0x1a 00000a89: DUP2 00000a8a: MSTORE 00000a8b: PUSH1 0x20 00000a8d: ADD 00000a8e: PUSH32 0x4f564d5f4c3143726f7373446f6d61696e4d657373656e676572000000000000 00000aaf: DUP2 00000ab0: MSTORE 00000ab1: POP 00000ab2: MLOAD 00000ab3: PUSH1 0x02 00000ab5: PUSH2 0x0abe 00000ab8: SWAP2 00000ab9: SWAP1 00000aba: PUSH2 0x1698 00000abd: JUMP 00000abe: JUMPDEST 00000abf: PUSH1 0x40 00000ac1: DUP1 00000ac2: MLOAD 00000ac3: ADDRESS 00000ac4: PUSH1 0x20 00000ac6: DUP3 00000ac7: ADD 00000ac8: MSTORE 00000ac9: PUSH1 0x00 00000acb: SWAP2 00000acc: DUP2 00000acd: ADD 00000ace: SWAP2 00000acf: SWAP1 00000ad0: SWAP2 00000ad1: MSTORE 00000ad2: PUSH32 0x4f564d5f4c3143726f7373446f6d61696e4d657373656e676572000000000000 00000af3: SWAP2 00000af4: SWAP1 00000af5: SWAP2 00000af6: OR 00000af7: SWAP1 00000af8: PUSH2 0x0b19 00000afb: SWAP1 00000afc: PUSH1 0x60 00000afe: ADD 00000aff: JUMPDEST 00000b00: PUSH1 0x40 00000b02: MLOAD 00000b03: PUSH1 0x20 00000b05: DUP2 00000b06: DUP4 00000b07: SUB 00000b08: SUB 00000b09: DUP2 00000b0a: MSTORE 00000b0b: SWAP1 00000b0c: PUSH1 0x40 00000b0e: MSTORE 00000b0f: DUP1 00000b10: MLOAD 00000b11: SWAP1 00000b12: PUSH1 0x20 00000b14: ADD 00000b15: KECCAK256 00000b16: SLOAD 00000b17: SWAP1 00000b18: JUMP 00000b19: JUMPDEST 00000b1a: EQ 00000b1b: PUSH2 0x0b50 00000b1e: JUMPI 00000b1f: PUSH1 0x40 00000b21: MLOAD 00000b22: PUSH32 0x54e433cd00000000000000000000000000000000000000000000000000000000 00000b43: DUP2 00000b44: MSTORE 00000b45: PUSH1 0x04 00000b47: ADD 00000b48: PUSH1 0x40 00000b4a: MLOAD 00000b4b: DUP1 00000b4c: SWAP2 00000b4d: SUB 00000b4e: SWAP1 00000b4f: REVERT 00000b50: JUMPDEST 00000b51: PUSH1 0x40 00000b53: DUP1 00000b54: MLOAD 00000b55: ADDRESS 00000b56: PUSH1 0x20 00000b58: DUP3 00000b59: ADD 00000b5a: MSTORE 00000b5b: PUSH1 0x01 00000b5d: SWAP2 00000b5e: DUP2 00000b5f: ADD 00000b60: SWAP2 00000b61: SWAP1 00000b62: SWAP2 00000b63: MSTORE 00000b64: PUSH1 0x00 00000b66: SWAP1 00000b67: PUSH2 0x0b72 00000b6a: SWAP1 00000b6b: PUSH1 0x60 00000b6d: ADD 00000b6e: PUSH2 0x0aff 00000b71: JUMP 00000b72: JUMPDEST 00000b73: SWAP1 00000b74: POP 00000b75: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b8a: DUP2 00000b8b: AND 00000b8c: ISZERO 00000b8d: PUSH2 0x0c06 00000b90: JUMPI 00000b91: DUP1 00000b92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ba7: AND 00000ba8: PUSH4 0x8da5cb5b 00000bad: PUSH1 0x40 00000baf: MLOAD 00000bb0: DUP2 00000bb1: PUSH4 0xffffffff 00000bb6: AND 00000bb7: PUSH1 0xe0 00000bb9: SHL 00000bba: DUP2 00000bbb: MSTORE 00000bbc: PUSH1 0x04 00000bbe: ADD 00000bbf: PUSH1 0x20 00000bc1: PUSH1 0x40 00000bc3: MLOAD 00000bc4: DUP1 00000bc5: DUP4 00000bc6: SUB 00000bc7: DUP2 00000bc8: DUP7 00000bc9: GAS 00000bca: STATICCALL 00000bcb: ISZERO 00000bcc: DUP1 00000bcd: ISZERO 00000bce: PUSH2 0x0bdb 00000bd1: JUMPI 00000bd2: RETURNDATASIZE 00000bd3: PUSH1 0x00 00000bd5: DUP1 00000bd6: RETURNDATACOPY 00000bd7: RETURNDATASIZE 00000bd8: PUSH1 0x00 00000bda: REVERT 00000bdb: JUMPDEST 00000bdc: POP 00000bdd: POP 00000bde: POP 00000bdf: POP 00000be0: PUSH1 0x40 00000be2: MLOAD 00000be3: RETURNDATASIZE 00000be4: PUSH1 0x1f 00000be6: NOT 00000be7: PUSH1 0x1f 00000be9: DUP3 00000bea: ADD 00000beb: AND 00000bec: DUP3 00000bed: ADD 00000bee: DUP1 00000bef: PUSH1 0x40 00000bf1: MSTORE 00000bf2: POP 00000bf3: DUP2 00000bf4: ADD 00000bf5: SWAP1 00000bf6: PUSH2 0x0bff 00000bf9: SWAP2 00000bfa: SWAP1 00000bfb: PUSH2 0x16d5 00000bfe: JUMP 00000bff: JUMPDEST 00000c00: SWAP3 00000c01: POP 00000c02: POP 00000c03: POP 00000c04: SWAP1 00000c05: JUMP 00000c06: JUMPDEST 00000c07: PUSH1 0x40 00000c09: MLOAD 00000c0a: PUSH32 0x332144db00000000000000000000000000000000000000000000000000000000 00000c2b: DUP2 00000c2c: MSTORE 00000c2d: PUSH1 0x04 00000c2f: ADD 00000c30: PUSH1 0x40 00000c32: MLOAD 00000c33: DUP1 00000c34: SWAP2 00000c35: SUB 00000c36: SWAP1 00000c37: REVERT 00000c38: JUMPDEST 00000c39: PUSH1 0x00 00000c3b: PUSH1 0x04 00000c3d: PUSH1 0x00 00000c3f: SWAP1 00000c40: SLOAD 00000c41: SWAP1 00000c42: PUSH2 0x0100 00000c45: EXP 00000c46: SWAP1 00000c47: DIV 00000c48: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c5d: AND 00000c5e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c73: AND 00000c74: PUSH4 0x35e80ab3 00000c79: PUSH1 0x40 00000c7b: MLOAD 00000c7c: DUP2 00000c7d: PUSH4 0xffffffff 00000c82: AND 00000c83: PUSH1 0xe0 00000c85: SHL 00000c86: DUP2 00000c87: MSTORE 00000c88: PUSH1 0x04 00000c8a: ADD 00000c8b: PUSH1 0x20 00000c8d: PUSH1 0x40 00000c8f: MLOAD 00000c90: DUP1 00000c91: DUP4 00000c92: SUB 00000c93: DUP2 00000c94: DUP7 00000c95: GAS 00000c96: STATICCALL 00000c97: ISZERO 00000c98: DUP1 00000c99: ISZERO 00000c9a: PUSH2 0x0ca7 00000c9d: JUMPI 00000c9e: RETURNDATASIZE 00000c9f: PUSH1 0x00 00000ca1: DUP1 00000ca2: RETURNDATACOPY 00000ca3: RETURNDATASIZE 00000ca4: PUSH1 0x00 00000ca6: REVERT 00000ca7: JUMPDEST 00000ca8: POP 00000ca9: POP 00000caa: POP 00000cab: POP 00000cac: PUSH1 0x40 00000cae: MLOAD 00000caf: RETURNDATASIZE 00000cb0: PUSH1 0x1f 00000cb2: NOT 00000cb3: PUSH1 0x1f 00000cb5: DUP3 00000cb6: ADD 00000cb7: AND 00000cb8: DUP3 00000cb9: ADD 00000cba: DUP1 00000cbb: PUSH1 0x40 00000cbd: MSTORE 00000cbe: POP 00000cbf: DUP2 00000cc0: ADD 00000cc1: SWAP1 00000cc2: PUSH2 0x0ccb 00000cc5: SWAP2 00000cc6: SWAP1 00000cc7: PUSH2 0x16d5 00000cca: JUMP 00000ccb: JUMPDEST 00000ccc: SWAP1 00000ccd: POP 00000cce: SWAP1 00000ccf: JUMP 00000cd0: JUMPDEST 00000cd1: CALLER 00000cd2: PUSH1 0x00 00000cd4: SWAP1 00000cd5: DUP2 00000cd6: MSTORE 00000cd7: PUSH1 0x03 00000cd9: PUSH1 0x20 00000cdb: SWAP1 00000cdc: DUP2 00000cdd: MSTORE 00000cde: PUSH1 0x40 00000ce0: DUP1 00000ce1: DUP4 00000ce2: KECCAK256 00000ce3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cf8: DUP7 00000cf9: AND 00000cfa: DUP5 00000cfb: MSTORE 00000cfc: SWAP1 00000cfd: SWAP2 00000cfe: MSTORE 00000cff: DUP2 00000d00: KECCAK256 00000d01: TIMESTAMP 00000d02: PUSH1 0x01 00000d04: DUP3 00000d05: ADD 00000d06: SSTORE 00000d07: DUP1 00000d08: SLOAD 00000d09: SWAP1 00000d0a: SWAP2 00000d0b: DUP4 00000d0c: SWAP2 00000d0d: DUP4 00000d0e: SWAP2 00000d0f: SWAP1 00000d10: PUSH2 0x0d1a 00000d13: SWAP1 00000d14: DUP5 00000d15: SWAP1 00000d16: PUSH2 0x1669 00000d19: JUMP 00000d1a: JUMPDEST 00000d1b: SWAP1 00000d1c: SWAP2 00000d1d: SSTORE 00000d1e: POP 00000d1f: POP 00000d20: POP 00000d21: POP 00000d22: POP 00000d23: JUMP 00000d24: JUMPDEST 00000d25: PUSH2 0x0d2c 00000d28: PUSH2 0x101e 00000d2b: JUMP 00000d2c: JUMPDEST 00000d2d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d42: AND 00000d43: CALLER 00000d44: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d59: AND 00000d5a: EQ 00000d5b: PUSH2 0x0dc0 00000d5e: JUMPI 00000d5f: PUSH1 0x40 00000d61: MLOAD 00000d62: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000d83: DUP2 00000d84: MSTORE 00000d85: PUSH1 0x20 00000d87: PUSH1 0x04 00000d89: DUP3 00000d8a: ADD 00000d8b: MSTORE 00000d8c: PUSH1 0x16 00000d8e: PUSH1 0x24 00000d90: DUP3 00000d91: ADD 00000d92: MSTORE 00000d93: PUSH32 0x44656c61796564574554483a206e6f74206f776e657200000000000000000000 00000db4: PUSH1 0x44 00000db6: DUP3 00000db7: ADD 00000db8: MSTORE 00000db9: PUSH1 0x64 00000dbb: ADD 00000dbc: PUSH2 0x0779 00000dbf: JUMP 00000dc0: JUMPDEST 00000dc1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dd6: DUP3 00000dd7: AND 00000dd8: PUSH1 0x00 00000dda: DUP2 00000ddb: DUP2 00000ddc: MSTORE 00000ddd: PUSH1 0x02 00000ddf: PUSH1 0x20 00000de1: SWAP1 00000de2: DUP2 00000de3: MSTORE 00000de4: PUSH1 0x40 00000de6: DUP1 00000de7: DUP4 00000de8: KECCAK256 00000de9: CALLER 00000dea: DUP1 00000deb: DUP6 00000dec: MSTORE 00000ded: SWAP1 00000dee: DUP4 00000def: MSTORE 00000df0: SWAP3 00000df1: DUP2 00000df2: SWAP1 00000df3: KECCAK256 00000df4: DUP6 00000df5: SWAP1 00000df6: SSTORE 00000df7: MLOAD 00000df8: DUP5 00000df9: DUP2 00000dfa: MSTORE 00000dfb: SWAP2 00000dfc: SWAP3 00000dfd: SWAP2 00000dfe: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000e1f: SWAP2 00000e20: ADD 00000e21: PUSH1 0x40 00000e23: MLOAD 00000e24: DUP1 00000e25: SWAP2 00000e26: SUB 00000e27: SWAP1 00000e28: LOG3 00000e29: PUSH2 0x0848 00000e2c: DUP3 00000e2d: CALLER 00000e2e: DUP4 00000e2f: PUSH2 0x084d 00000e32: JUMP 00000e33: JUMPDEST 00000e34: PUSH2 0x0a2a 00000e37: DUP2 00000e38: PUSH2 0x04cc 00000e3b: DUP4 00000e3c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e51: AND 00000e52: PUSH1 0x00 00000e54: SWAP1 00000e55: DUP2 00000e56: MSTORE 00000e57: PUSH1 0x01 00000e59: PUSH1 0x20 00000e5b: MSTORE 00000e5c: PUSH1 0x40 00000e5e: SWAP1 00000e5f: KECCAK256 00000e60: SLOAD 00000e61: SWAP1 00000e62: JUMP 00000e63: JUMPDEST 00000e64: PUSH1 0x00 00000e66: PUSH2 0x0e70 00000e69: CALLER 00000e6a: DUP5 00000e6b: DUP5 00000e6c: PUSH2 0x084d 00000e6f: JUMP 00000e70: JUMPDEST 00000e71: SWAP4 00000e72: SWAP3 00000e73: POP 00000e74: POP 00000e75: POP 00000e76: JUMP 00000e77: JUMPDEST 00000e78: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000001 00000e99: PUSH1 0x00 00000e9b: SLOAD 00000e9c: PUSH2 0x0100 00000e9f: SWAP1 00000ea0: DIV 00000ea1: PUSH1 0xff 00000ea3: AND 00000ea4: ISZERO 00000ea5: DUP1 00000ea6: ISZERO 00000ea7: PUSH2 0x0eb7 00000eaa: JUMPI 00000eab: POP 00000eac: PUSH1 0x00 00000eae: SLOAD 00000eaf: PUSH1 0xff 00000eb1: DUP1 00000eb2: DUP4 00000eb3: AND 00000eb4: SWAP2 00000eb5: AND 00000eb6: LT 00000eb7: JUMPDEST 00000eb8: PUSH2 0x0f43 00000ebb: JUMPI 00000ebc: PUSH1 0x40 00000ebe: MLOAD 00000ebf: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000ee0: DUP2 00000ee1: MSTORE 00000ee2: PUSH1 0x20 00000ee4: PUSH1 0x04 00000ee6: DUP3 00000ee7: ADD 00000ee8: MSTORE 00000ee9: PUSH1 0x2e 00000eeb: PUSH1 0x24 00000eed: DUP3 00000eee: ADD 00000eef: MSTORE 00000ef0: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561 00000f11: PUSH1 0x44 00000f13: DUP3 00000f14: ADD 00000f15: MSTORE 00000f16: PUSH32 0x647920696e697469616c697a6564000000000000000000000000000000000000 00000f37: PUSH1 0x64 00000f39: DUP3 00000f3a: ADD 00000f3b: MSTORE 00000f3c: PUSH1 0x84 00000f3e: ADD 00000f3f: PUSH2 0x0779 00000f42: JUMP 00000f43: JUMPDEST 00000f44: PUSH1 0x00 00000f46: DUP1 00000f47: SLOAD 00000f48: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000 00000f69: AND 00000f6a: PUSH1 0xff 00000f6c: DUP4 00000f6d: AND 00000f6e: OR 00000f6f: PUSH2 0x0100 00000f72: OR 00000f73: SWAP1 00000f74: SSTORE 00000f75: PUSH2 0x0f7c 00000f78: PUSH2 0x13a0 00000f7b: JUMP 00000f7c: JUMPDEST 00000f7d: PUSH1 0x04 00000f7f: DUP1 00000f80: SLOAD 00000f81: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00000fa2: AND 00000fa3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fb8: DUP5 00000fb9: AND 00000fba: OR 00000fbb: SWAP1 00000fbc: SSTORE 00000fbd: PUSH1 0x00 00000fbf: DUP1 00000fc0: SLOAD 00000fc1: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff 00000fe2: AND 00000fe3: SWAP1 00000fe4: SSTORE 00000fe5: PUSH1 0x40 00000fe7: MLOAD 00000fe8: PUSH1 0xff 00000fea: DUP3 00000feb: AND 00000fec: DUP2 00000fed: MSTORE 00000fee: PUSH32 0x7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb3847402498 0000100f: SWAP1 00001010: PUSH1 0x20 00001012: ADD 00001013: PUSH1 0x40 00001015: MLOAD 00001016: DUP1 00001017: SWAP2 00001018: SUB 00001019: SWAP1 0000101a: LOG1 0000101b: POP 0000101c: POP 0000101d: JUMP 0000101e: JUMPDEST 0000101f: PUSH1 0x00 00001021: PUSH2 0x1028 00001024: PUSH2 0x0a2d 00001027: JUMP 00001028: JUMPDEST 00001029: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000103e: AND 0000103f: PUSH4 0x8da5cb5b 00001044: PUSH1 0x40 00001046: MLOAD 00001047: DUP2 00001048: PUSH4 0xffffffff 0000104d: AND 0000104e: PUSH1 0xe0 00001050: SHL 00001051: DUP2 00001052: MSTORE 00001053: PUSH1 0x04 00001055: ADD 00001056: PUSH1 0x20 00001058: PUSH1 0x40 0000105a: MLOAD 0000105b: DUP1 0000105c: DUP4 0000105d: SUB 0000105e: DUP2 0000105f: DUP7 00001060: GAS 00001061: STATICCALL 00001062: ISZERO 00001063: DUP1 00001064: ISZERO 00001065: PUSH2 0x0ca7 00001068: JUMPI 00001069: RETURNDATASIZE 0000106a: PUSH1 0x00 0000106c: DUP1 0000106d: RETURNDATACOPY 0000106e: RETURNDATASIZE 0000106f: PUSH1 0x00 00001071: REVERT 00001072: JUMPDEST 00001073: PUSH1 0x04 00001075: DUP1 00001076: SLOAD 00001077: PUSH1 0x40 00001079: DUP1 0000107a: MLOAD 0000107b: PUSH32 0x5c975abb00000000000000000000000000000000000000000000000000000000 0000109c: DUP2 0000109d: MSTORE 0000109e: SWAP1 0000109f: MLOAD 000010a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010b5: SWAP1 000010b6: SWAP3 000010b7: AND 000010b8: SWAP3 000010b9: PUSH4 0x5c975abb 000010be: SWAP3 000010bf: DUP3 000010c0: DUP3 000010c1: ADD 000010c2: SWAP3 000010c3: PUSH1 0x20 000010c5: SWAP3 000010c6: SWAP1 000010c7: DUP3 000010c8: SWAP1 000010c9: SUB 000010ca: ADD 000010cb: DUP2 000010cc: DUP7 000010cd: GAS 000010ce: STATICCALL 000010cf: ISZERO 000010d0: DUP1 000010d1: ISZERO 000010d2: PUSH2 0x10df 000010d5: JUMPI 000010d6: RETURNDATASIZE 000010d7: PUSH1 0x00 000010d9: DUP1 000010da: RETURNDATACOPY 000010db: RETURNDATASIZE 000010dc: PUSH1 0x00 000010de: REVERT 000010df: JUMPDEST 000010e0: POP 000010e1: POP 000010e2: POP 000010e3: POP 000010e4: PUSH1 0x40 000010e6: MLOAD 000010e7: RETURNDATASIZE 000010e8: PUSH1 0x1f 000010ea: NOT 000010eb: PUSH1 0x1f 000010ed: DUP3 000010ee: ADD 000010ef: AND 000010f0: DUP3 000010f1: ADD 000010f2: DUP1 000010f3: PUSH1 0x40 000010f5: MSTORE 000010f6: POP 000010f7: DUP2 000010f8: ADD 000010f9: SWAP1 000010fa: PUSH2 0x1103 000010fd: SWAP2 000010fe: SWAP1 000010ff: PUSH2 0x16f2 00001102: JUMP 00001103: JUMPDEST 00001104: ISZERO 00001105: PUSH2 0x116a 00001108: JUMPI 00001109: PUSH1 0x40 0000110b: MLOAD 0000110c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000112d: DUP2 0000112e: MSTORE 0000112f: PUSH1 0x20 00001131: PUSH1 0x04 00001133: DUP3 00001134: ADD 00001135: MSTORE 00001136: PUSH1 0x1f 00001138: PUSH1 0x24 0000113a: DUP3 0000113b: ADD 0000113c: MSTORE 0000113d: PUSH32 0x44656c61796564574554483a20636f6e74726163742069732070617573656400 0000115e: PUSH1 0x44 00001160: DUP3 00001161: ADD 00001162: MSTORE 00001163: PUSH1 0x64 00001165: ADD 00001166: PUSH2 0x0779 00001169: JUMP 0000116a: JUMPDEST 0000116b: CALLER 0000116c: PUSH1 0x00 0000116e: SWAP1 0000116f: DUP2 00001170: MSTORE 00001171: PUSH1 0x03 00001173: PUSH1 0x20 00001175: SWAP1 00001176: DUP2 00001177: MSTORE 00001178: PUSH1 0x40 0000117a: DUP1 0000117b: DUP4 0000117c: KECCAK256 0000117d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001192: DUP7 00001193: AND 00001194: DUP5 00001195: MSTORE 00001196: SWAP1 00001197: SWAP2 00001198: MSTORE 00001199: SWAP1 0000119a: KECCAK256 0000119b: DUP1 0000119c: SLOAD 0000119d: DUP3 0000119e: GT 0000119f: ISZERO 000011a0: PUSH2 0x122b 000011a3: JUMPI 000011a4: PUSH1 0x40 000011a6: MLOAD 000011a7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000011c8: DUP2 000011c9: MSTORE 000011ca: PUSH1 0x20 000011cc: PUSH1 0x04 000011ce: DUP3 000011cf: ADD 000011d0: MSTORE 000011d1: PUSH1 0x2d 000011d3: PUSH1 0x24 000011d5: DUP3 000011d6: ADD 000011d7: MSTORE 000011d8: PUSH32 0x44656c61796564574554483a20696e73756666696369656e7420756e6c6f636b 000011f9: PUSH1 0x44 000011fb: DUP3 000011fc: ADD 000011fd: MSTORE 000011fe: PUSH32 0x6564207769746864726177616c00000000000000000000000000000000000000 0000121f: PUSH1 0x64 00001221: DUP3 00001222: ADD 00001223: MSTORE 00001224: PUSH1 0x84 00001226: ADD 00001227: PUSH2 0x0779 0000122a: JUMP 0000122b: JUMPDEST 0000122c: PUSH1 0x00 0000122e: DUP2 0000122f: PUSH1 0x01 00001231: ADD 00001232: SLOAD 00001233: GT 00001234: PUSH2 0x12be 00001237: JUMPI 00001238: PUSH1 0x40 0000123a: MLOAD 0000123b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000125c: DUP2 0000125d: MSTORE 0000125e: PUSH1 0x20 00001260: PUSH1 0x04 00001262: DUP3 00001263: ADD 00001264: MSTORE 00001265: PUSH1 0x24 00001267: DUP1 00001268: DUP3 00001269: ADD 0000126a: MSTORE 0000126b: PUSH32 0x44656c61796564574554483a207769746864726177616c206e6f7420756e6c6f 0000128c: PUSH1 0x44 0000128e: DUP3 0000128f: ADD 00001290: MSTORE 00001291: PUSH32 0x636b656400000000000000000000000000000000000000000000000000000000 000012b2: PUSH1 0x64 000012b4: DUP3 000012b5: ADD 000012b6: MSTORE 000012b7: PUSH1 0x84 000012b9: ADD 000012ba: PUSH2 0x0779 000012bd: JUMP 000012be: JUMPDEST 000012bf: TIMESTAMP 000012c0: PUSH32 0x0000000000000000000000000000000000000000000000000000000000049d40 000012e1: DUP3 000012e2: PUSH1 0x01 000012e4: ADD 000012e5: SLOAD 000012e6: PUSH2 0x12ef 000012e9: SWAP2 000012ea: SWAP1 000012eb: PUSH2 0x1669 000012ee: JUMP 000012ef: JUMPDEST 000012f0: GT 000012f1: ISZERO 000012f2: PUSH2 0x137d 000012f5: JUMPI 000012f6: PUSH1 0x40 000012f8: MLOAD 000012f9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000131a: DUP2 0000131b: MSTORE 0000131c: PUSH1 0x20 0000131e: PUSH1 0x04 00001320: DUP3 00001321: ADD 00001322: MSTORE 00001323: PUSH1 0x25 00001325: PUSH1 0x24 00001327: DUP3 00001328: ADD 00001329: MSTORE 0000132a: PUSH32 0x44656c61796564574554483a207769746864726177616c2064656c6179206e6f 0000134b: PUSH1 0x44 0000134d: DUP3 0000134e: ADD 0000134f: MSTORE 00001350: PUSH32 0x74206d6574000000000000000000000000000000000000000000000000000000 00001371: PUSH1 0x64 00001373: DUP3 00001374: ADD 00001375: MSTORE 00001376: PUSH1 0x84 00001378: ADD 00001379: PUSH2 0x0779 0000137c: JUMP 0000137d: JUMPDEST 0000137e: DUP2 0000137f: DUP2 00001380: PUSH1 0x00 00001382: ADD 00001383: PUSH1 0x00 00001385: DUP3 00001386: DUP3 00001387: SLOAD 00001388: PUSH2 0x1391 0000138b: SWAP2 0000138c: SWAP1 0000138d: PUSH2 0x1681 00001390: JUMP 00001391: JUMPDEST 00001392: SWAP1 00001393: SWAP2 00001394: SSTORE 00001395: POP 00001396: PUSH2 0x0848 00001399: SWAP1 0000139a: POP 0000139b: DUP3 0000139c: PUSH2 0x1423 0000139f: JUMP 000013a0: JUMPDEST 000013a1: CALLER 000013a2: PUSH2 0x13a9 000013a5: PUSH2 0x0a2d 000013a8: JUMP 000013a9: JUMPDEST 000013aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013bf: AND 000013c0: EQ 000013c1: ISZERO 000013c2: DUP1 000013c3: ISZERO 000013c4: PUSH2 0x13ea 000013c7: JUMPI 000013c8: POP 000013c9: CALLER 000013ca: PUSH2 0x13d1 000013cd: PUSH2 0x101e 000013d0: JUMP 000013d1: JUMPDEST 000013d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013e7: AND 000013e8: EQ 000013e9: ISZERO 000013ea: JUMPDEST 000013eb: ISZERO 000013ec: PUSH2 0x1421 000013ef: JUMPI 000013f0: PUSH1 0x40 000013f2: MLOAD 000013f3: PUSH32 0xc4050a2600000000000000000000000000000000000000000000000000000000 00001414: DUP2 00001415: MSTORE 00001416: PUSH1 0x04 00001418: ADD 00001419: PUSH1 0x40 0000141b: MLOAD 0000141c: DUP1 0000141d: SWAP2 0000141e: SUB 0000141f: SWAP1 00001420: REVERT 00001421: JUMPDEST 00001422: JUMP 00001423: JUMPDEST 00001424: CALLER 00001425: PUSH1 0x00 00001427: SWAP1 00001428: DUP2 00001429: MSTORE 0000142a: PUSH1 0x01 0000142c: PUSH1 0x20 0000142e: MSTORE 0000142f: PUSH1 0x40 00001431: SWAP1 00001432: KECCAK256 00001433: SLOAD 00001434: DUP2 00001435: GT 00001436: ISZERO 00001437: PUSH2 0x143f 0000143a: JUMPI 0000143b: PUSH1 0x00 0000143d: DUP1 0000143e: REVERT 0000143f: JUMPDEST 00001440: CALLER 00001441: PUSH1 0x00 00001443: SWAP1 00001444: DUP2 00001445: MSTORE 00001446: PUSH1 0x01 00001448: PUSH1 0x20 0000144a: MSTORE 0000144b: PUSH1 0x40 0000144d: DUP2 0000144e: KECCAK256 0000144f: DUP1 00001450: SLOAD 00001451: DUP4 00001452: SWAP3 00001453: SWAP1 00001454: PUSH2 0x145e 00001457: SWAP1 00001458: DUP5 00001459: SWAP1 0000145a: PUSH2 0x1681 0000145d: JUMP 0000145e: JUMPDEST 0000145f: SWAP1 00001460: SWAP2 00001461: SSTORE 00001462: POP 00001463: POP 00001464: PUSH1 0x40 00001466: MLOAD 00001467: CALLER 00001468: SWAP1 00001469: DUP3 0000146a: ISZERO 0000146b: PUSH2 0x08fc 0000146e: MUL 0000146f: SWAP1 00001470: DUP4 00001471: SWAP1 00001472: PUSH1 0x00 00001474: DUP2 00001475: DUP2 00001476: DUP2 00001477: DUP6 00001478: DUP9 00001479: DUP9 0000147a: CALL 0000147b: SWAP4 0000147c: POP 0000147d: POP 0000147e: POP 0000147f: POP 00001480: ISZERO 00001481: DUP1 00001482: ISZERO 00001483: PUSH2 0x1490 00001486: JUMPI 00001487: RETURNDATASIZE 00001488: PUSH1 0x00 0000148a: DUP1 0000148b: RETURNDATACOPY 0000148c: RETURNDATASIZE 0000148d: PUSH1 0x00 0000148f: REVERT 00001490: JUMPDEST 00001491: POP 00001492: PUSH1 0x40 00001494: MLOAD 00001495: DUP2 00001496: DUP2 00001497: MSTORE 00001498: CALLER 00001499: SWAP1 0000149a: PUSH32 0x7fcf532c15f0a6db0bd6d0e038bea71d30d808c7d98cb3bf7268a95bf5081b65 000014bb: SWAP1 000014bc: PUSH1 0x20 000014be: ADD 000014bf: PUSH1 0x40 000014c1: MLOAD 000014c2: DUP1 000014c3: SWAP2 000014c4: SUB 000014c5: SWAP1 000014c6: LOG2 000014c7: POP 000014c8: JUMP 000014c9: JUMPDEST 000014ca: PUSH1 0x00 000014cc: PUSH1 0x20 000014ce: DUP1 000014cf: DUP4 000014d0: MSTORE 000014d1: DUP4 000014d2: MLOAD 000014d3: DUP1 000014d4: DUP3 000014d5: DUP6 000014d6: ADD 000014d7: MSTORE 000014d8: PUSH1 0x00 000014da: JUMPDEST 000014db: DUP2 000014dc: DUP2 000014dd: LT 000014de: ISZERO 000014df: PUSH2 0x14f6 000014e2: JUMPI 000014e3: DUP6 000014e4: DUP2 000014e5: ADD 000014e6: DUP4 000014e7: ADD 000014e8: MLOAD 000014e9: DUP6 000014ea: DUP3 000014eb: ADD 000014ec: PUSH1 0x40 000014ee: ADD 000014ef: MSTORE 000014f0: DUP3 000014f1: ADD 000014f2: PUSH2 0x14da 000014f5: JUMP 000014f6: JUMPDEST 000014f7: DUP2 000014f8: DUP2 000014f9: GT 000014fa: ISZERO 000014fb: PUSH2 0x1508 000014fe: JUMPI 000014ff: PUSH1 0x00 00001501: PUSH1 0x40 00001503: DUP4 00001504: DUP8 00001505: ADD 00001506: ADD 00001507: MSTORE 00001508: JUMPDEST 00001509: POP 0000150a: PUSH1 0x1f 0000150c: ADD 0000150d: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 0000152e: AND 0000152f: SWAP3 00001530: SWAP1 00001531: SWAP3 00001532: ADD 00001533: PUSH1 0x40 00001535: ADD 00001536: SWAP4 00001537: SWAP3 00001538: POP 00001539: POP 0000153a: POP 0000153b: JUMP 0000153c: JUMPDEST 0000153d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001552: DUP2 00001553: AND 00001554: DUP2 00001555: EQ 00001556: PUSH2 0x0a2a 00001559: JUMPI 0000155a: PUSH1 0x00 0000155c: DUP1 0000155d: REVERT 0000155e: JUMPDEST 0000155f: PUSH1 0x00 00001561: DUP1 00001562: PUSH1 0x40 00001564: DUP4 00001565: DUP6 00001566: SUB 00001567: SLT 00001568: ISZERO 00001569: PUSH2 0x1571 0000156c: JUMPI 0000156d: PUSH1 0x00 0000156f: DUP1 00001570: REVERT 00001571: JUMPDEST 00001572: DUP3 00001573: CALLDATALOAD 00001574: PUSH2 0x157c 00001577: DUP2 00001578: PUSH2 0x153c 0000157b: JUMP 0000157c: JUMPDEST 0000157d: SWAP5 0000157e: PUSH1 0x20 00001580: SWAP4 00001581: SWAP1 00001582: SWAP4 00001583: ADD 00001584: CALLDATALOAD 00001585: SWAP4 00001586: POP 00001587: POP 00001588: POP 00001589: JUMP 0000158a: JUMPDEST 0000158b: PUSH1 0x00 0000158d: PUSH1 0x20 0000158f: DUP3 00001590: DUP5 00001591: SUB 00001592: SLT 00001593: ISZERO 00001594: PUSH2 0x159c 00001597: JUMPI 00001598: PUSH1 0x00 0000159a: DUP1 0000159b: REVERT 0000159c: JUMPDEST 0000159d: POP 0000159e: CALLDATALOAD 0000159f: SWAP2 000015a0: SWAP1 000015a1: POP 000015a2: JUMP 000015a3: JUMPDEST 000015a4: PUSH1 0x00 000015a6: DUP1 000015a7: PUSH1 0x00 000015a9: PUSH1 0x60 000015ab: DUP5 000015ac: DUP7 000015ad: SUB 000015ae: SLT 000015af: ISZERO 000015b0: PUSH2 0x15b8 000015b3: JUMPI 000015b4: PUSH1 0x00 000015b6: DUP1 000015b7: REVERT 000015b8: JUMPDEST 000015b9: DUP4 000015ba: CALLDATALOAD 000015bb: PUSH2 0x15c3 000015be: DUP2 000015bf: PUSH2 0x153c 000015c2: JUMP 000015c3: JUMPDEST 000015c4: SWAP3 000015c5: POP 000015c6: PUSH1 0x20 000015c8: DUP5 000015c9: ADD 000015ca: CALLDATALOAD 000015cb: PUSH2 0x15d3 000015ce: DUP2 000015cf: PUSH2 0x153c 000015d2: JUMP 000015d3: JUMPDEST 000015d4: SWAP3 000015d5: SWAP6 000015d6: SWAP3 000015d7: SWAP5 000015d8: POP 000015d9: POP 000015da: POP 000015db: PUSH1 0x40 000015dd: SWAP2 000015de: SWAP1 000015df: SWAP2 000015e0: ADD 000015e1: CALLDATALOAD 000015e2: SWAP1 000015e3: JUMP 000015e4: JUMPDEST 000015e5: PUSH1 0x00 000015e7: PUSH1 0x20 000015e9: DUP3 000015ea: DUP5 000015eb: SUB 000015ec: SLT 000015ed: ISZERO 000015ee: PUSH2 0x15f6 000015f1: JUMPI 000015f2: PUSH1 0x00 000015f4: DUP1 000015f5: REVERT 000015f6: JUMPDEST 000015f7: DUP2 000015f8: CALLDATALOAD 000015f9: PUSH2 0x0e70 000015fc: DUP2 000015fd: PUSH2 0x153c 00001600: JUMP 00001601: JUMPDEST 00001602: PUSH1 0x00 00001604: DUP1 00001605: PUSH1 0x40 00001607: DUP4 00001608: DUP6 00001609: SUB 0000160a: SLT 0000160b: ISZERO 0000160c: PUSH2 0x1614 0000160f: JUMPI 00001610: PUSH1 0x00 00001612: DUP1 00001613: REVERT 00001614: JUMPDEST 00001615: DUP3 00001616: CALLDATALOAD 00001617: PUSH2 0x161f 0000161a: DUP2 0000161b: PUSH2 0x153c 0000161e: JUMP 0000161f: JUMPDEST 00001620: SWAP2 00001621: POP 00001622: PUSH1 0x20 00001624: DUP4 00001625: ADD 00001626: CALLDATALOAD 00001627: PUSH2 0x162f 0000162a: DUP2 0000162b: PUSH2 0x153c 0000162e: JUMP 0000162f: JUMPDEST 00001630: DUP1 00001631: SWAP2 00001632: POP 00001633: POP 00001634: SWAP3 00001635: POP 00001636: SWAP3 00001637: SWAP1 00001638: POP 00001639: JUMP 0000163a: JUMPDEST 0000163b: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000165c: PUSH1 0x00 0000165e: MSTORE 0000165f: PUSH1 0x11 00001661: PUSH1 0x04 00001663: MSTORE 00001664: PUSH1 0x24 00001666: PUSH1 0x00 00001668: REVERT 00001669: JUMPDEST 0000166a: PUSH1 0x00 0000166c: DUP3 0000166d: NOT 0000166e: DUP3 0000166f: GT 00001670: ISZERO 00001671: PUSH2 0x167c 00001674: JUMPI 00001675: PUSH2 0x167c 00001678: PUSH2 0x163a 0000167b: JUMP 0000167c: JUMPDEST 0000167d: POP 0000167e: ADD 0000167f: SWAP1 00001680: JUMP 00001681: JUMPDEST 00001682: PUSH1 0x00 00001684: DUP3 00001685: DUP3 00001686: LT 00001687: ISZERO 00001688: PUSH2 0x1693 0000168b: JUMPI 0000168c: PUSH2 0x1693 0000168f: PUSH2 0x163a 00001692: JUMP 00001693: JUMPDEST 00001694: POP 00001695: SUB 00001696: SWAP1 00001697: JUMP 00001698: JUMPDEST 00001699: PUSH1 0x00 0000169b: DUP2 0000169c: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000016bd: DIV 000016be: DUP4 000016bf: GT 000016c0: DUP3 000016c1: ISZERO 000016c2: ISZERO 000016c3: AND 000016c4: ISZERO 000016c5: PUSH2 0x16d0 000016c8: JUMPI 000016c9: PUSH2 0x16d0 000016cc: PUSH2 0x163a 000016cf: JUMP 000016d0: JUMPDEST 000016d1: POP 000016d2: MUL 000016d3: SWAP1 000016d4: JUMP 000016d5: JUMPDEST 000016d6: PUSH1 0x00 000016d8: PUSH1 0x20 000016da: DUP3 000016db: DUP5 000016dc: SUB 000016dd: SLT 000016de: ISZERO 000016df: PUSH2 0x16e7 000016e2: JUMPI 000016e3: PUSH1 0x00 000016e5: DUP1 000016e6: REVERT 000016e7: JUMPDEST 000016e8: DUP2 000016e9: MLOAD 000016ea: PUSH2 0x0e70 000016ed: DUP2 000016ee: PUSH2 0x153c 000016f1: JUMP 000016f2: JUMPDEST 000016f3: PUSH1 0x00 000016f5: PUSH1 0x20 000016f7: DUP3 000016f8: DUP5 000016f9: SUB 000016fa: SLT 000016fb: ISZERO 000016fc: PUSH2 0x1704 000016ff: JUMPI 00001700: PUSH1 0x00 00001702: DUP1 00001703: REVERT 00001704: JUMPDEST 00001705: DUP2 00001706: MLOAD 00001707: DUP1 00001708: ISZERO 00001709: ISZERO 0000170a: DUP2 0000170b: EQ 0000170c: PUSH2 0x0e70 0000170f: JUMPI 00001710: PUSH1 0x00 00001712: DUP1 00001713: REVERT 00001714: INVALID 00001715: LOG1 00001716: PUSH5 0x736f6c6343 0000171c: STOP 0000171d: ADDMOD 0000171e: UNKNOWN(0x0F) 0000171f: STOP 00001720: EXP
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x94fc4563c24bd3f8b5444ac43e6e75edaf8ff855ee748c51de58dad54d5e674b
call_targets:
0x33dadc2d1aa9bb613a7ae6b28425ea00d44c6998
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x94fc4563c24bd3f8b5444ac43e6e75edaf8ff855ee748c51de58dad54d5e674b",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x33dadc2d1aa9bb613a7ae6b28425ea00d44c6998"
],
"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": "0xd0e30db0",
"selector": "0xd0e30db0",
"calldata_variants": [
"0xd0e30db0",
"0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdad544e0",
"selector": "0xdad544e0",
"calldata_variants": [
"0xdad544e0",
"0xdad544e00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf3fef3a3",
"selector": "0xf3fef3a3",
"calldata_variants": [
"0xf3fef3a3",
"0xf3fef3a30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc4d66de8",
"selector": "0xc4d66de8",
"calldata_variants": [
"0xc4d66de8",
"0xc4d66de80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcd47bde1",
"selector": "0xcd47bde1",
"calldata_variants": [
"0xcd47bde1",
"0xcd47bde10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x95d89b41",
"selector": "0x95d89b41",
"calldata_variants": [
"0x95d89b41",
"0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1960,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5242,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 1792,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3395,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x94fc4563c24bd3f8b5444ac43e6e75edaf8ff855ee748c51de58dad54d5e674b
call_targets:
0x33dadc2d1aa9bb613a7ae6b28425ea00d44c6998
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x94fc4563c24bd3f8b5444ac43e6e75edaf8ff855ee748c51de58dad54d5e674b",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x33dadc2d1aa9bb613a7ae6b28425ea00d44c6998"
],
"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": "0xd0e30db0",
"selector": "0xd0e30db0",
"calldata_variants": [
"0xd0e30db0",
"0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdad544e0",
"selector": "0xdad544e0",
"calldata_variants": [
"0xdad544e0",
"0xdad544e00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf3fef3a3",
"selector": "0xf3fef3a3",
"calldata_variants": [
"0xf3fef3a3",
"0xf3fef3a30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc4d66de8",
"selector": "0xc4d66de8",
"calldata_variants": [
"0xc4d66de8",
"0xc4d66de80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcd47bde1",
"selector": "0xcd47bde1",
"calldata_variants": [
"0xcd47bde1",
"0xcd47bde10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x95d89b41",
"selector": "0x95d89b41",
"calldata_variants": [
"0x95d89b41",
"0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1960,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5242,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 1792,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3395,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|