019b477e-c656-71d7-b2dc-b65d5002f929
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 |
|---|---|---|---|---|
| 25757 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 25758 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 69114 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 69115 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 69116 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 69117 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0208 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x715018a6 00000019: GT 0000001a: PUSH2 0x0118 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xbc4c4b37 00000024: GT 00000025: PUSH2 0x00a0 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xe7841ec0 0000002f: GT 00000030: PUSH2 0x006f 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xe7841ec0 0000003a: EQ 0000003b: PUSH2 0x0660 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xe98030c7 00000045: EQ 00000046: PUSH2 0x0675 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf2fde38b 00000050: EQ 00000051: PUSH2 0x0695 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xfbcbc0f1 0000005b: EQ 0000005c: PUSH2 0x06b5 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0xffb2c479 00000066: EQ 00000067: PUSH2 0x06d5 0000006a: JUMPI 0000006b: PUSH1 0x00 0000006d: DUP1 0000006e: REVERT 0000006f: JUMPDEST 00000070: DUP1 00000071: PUSH4 0xbc4c4b37 00000076: EQ 00000077: PUSH2 0x05a6 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xbe10b614 00000081: EQ 00000082: PUSH2 0x05c6 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xdd62ed3e 0000008c: EQ 0000008d: PUSH2 0x05fa 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0xe30443bc 00000097: EQ 00000098: PUSH2 0x0640 0000009b: JUMPI 0000009c: PUSH1 0x00 0000009e: DUP1 0000009f: REVERT 000000a0: JUMPDEST 000000a1: DUP1 000000a2: PUSH4 0x95d89b41 000000a7: GT 000000a8: PUSH2 0x00e7 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x95d89b41 000000b2: EQ 000000b3: PUSH2 0x04fb 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0xa457c2d7 000000bd: EQ 000000be: PUSH2 0x0510 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0xa8b9d240 000000c8: EQ 000000c9: PUSH2 0x0530 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0xa9059cbb 000000d3: EQ 000000d4: PUSH2 0x0550 000000d7: JUMPI 000000d8: DUP1 000000d9: PUSH4 0xaafd847a 000000de: EQ 000000df: PUSH2 0x0570 000000e2: JUMPI 000000e3: PUSH1 0x00 000000e5: DUP1 000000e6: REVERT 000000e7: JUMPDEST 000000e8: DUP1 000000e9: PUSH4 0x715018a6 000000ee: EQ 000000ef: PUSH2 0x0488 000000f2: JUMPI 000000f3: DUP1 000000f4: PUSH4 0x85a6b3ae 000000f9: EQ 000000fa: PUSH2 0x049d 000000fd: JUMPI 000000fe: DUP1 000000ff: PUSH4 0x8da5cb5b 00000104: EQ 00000105: PUSH2 0x04b3 00000108: JUMPI 00000109: DUP1 0000010a: PUSH4 0x91b89fba 0000010f: EQ 00000110: PUSH2 0x04db 00000113: JUMPI 00000114: PUSH1 0x00 00000116: DUP1 00000117: REVERT 00000118: JUMPDEST 00000119: DUP1 0000011a: PUSH4 0x3009a609 0000011f: GT 00000120: PUSH2 0x019b 00000123: JUMPI 00000124: DUP1 00000125: PUSH4 0x4e7b827f 0000012a: GT 0000012b: PUSH2 0x016a 0000012e: JUMPI 0000012f: DUP1 00000130: PUSH4 0x4e7b827f 00000135: EQ 00000136: PUSH2 0x0392 00000139: JUMPI 0000013a: DUP1 0000013b: PUSH4 0x5183d6fd 00000140: EQ 00000141: PUSH2 0x03c2 00000144: JUMPI 00000145: DUP1 00000146: PUSH4 0x6a474002 0000014b: EQ 0000014c: PUSH2 0x0427 0000014f: JUMPI 00000150: DUP1 00000151: PUSH4 0x6f2789ec 00000156: EQ 00000157: PUSH2 0x043c 0000015a: JUMPI 0000015b: DUP1 0000015c: PUSH4 0x70a08231 00000161: EQ 00000162: PUSH2 0x0452 00000165: JUMPI 00000166: PUSH1 0x00 00000168: DUP1 00000169: REVERT 0000016a: JUMPDEST 0000016b: DUP1 0000016c: PUSH4 0x3009a609 00000171: EQ 00000172: PUSH2 0x0320 00000175: JUMPI 00000176: DUP1 00000177: PUSH4 0x313ce567 0000017c: EQ 0000017d: PUSH2 0x0336 00000180: JUMPI 00000181: DUP1 00000182: PUSH4 0x31e79db0 00000187: EQ 00000188: PUSH2 0x0352 0000018b: JUMPI 0000018c: DUP1 0000018d: PUSH4 0x39509351 00000192: EQ 00000193: PUSH2 0x0372 00000196: JUMPI 00000197: PUSH1 0x00 00000199: DUP1 0000019a: REVERT 0000019b: JUMPDEST 0000019c: DUP1 0000019d: PUSH4 0x18160ddd 000001a2: GT 000001a3: PUSH2 0x01d7 000001a6: JUMPI 000001a7: DUP1 000001a8: PUSH4 0x18160ddd 000001ad: EQ 000001ae: PUSH2 0x029e 000001b1: JUMPI 000001b2: DUP1 000001b3: PUSH4 0x226cfa3d 000001b8: EQ 000001b9: PUSH2 0x02b3 000001bc: JUMPI 000001bd: DUP1 000001be: PUSH4 0x23b872dd 000001c3: EQ 000001c4: PUSH2 0x02e0 000001c7: JUMPI 000001c8: DUP1 000001c9: PUSH4 0x27ce0147 000001ce: EQ 000001cf: PUSH2 0x0300 000001d2: JUMPI 000001d3: PUSH1 0x00 000001d5: DUP1 000001d6: REVERT 000001d7: JUMPDEST 000001d8: DUP1 000001d9: PUSH4 0x03c83302 000001de: EQ 000001df: PUSH2 0x021c 000001e2: JUMPI 000001e3: DUP1 000001e4: PUSH4 0x06fdde03 000001e9: EQ 000001ea: PUSH2 0x0224 000001ed: JUMPI 000001ee: DUP1 000001ef: PUSH4 0x095ea7b3 000001f4: EQ 000001f5: PUSH2 0x024f 000001f8: JUMPI 000001f9: DUP1 000001fa: PUSH4 0x09bbedde 000001ff: EQ 00000200: PUSH2 0x027f 00000203: JUMPI 00000204: PUSH1 0x00 00000206: DUP1 00000207: REVERT 00000208: JUMPDEST 00000209: CALLDATASIZE 0000020a: PUSH2 0x0217 0000020d: JUMPI 0000020e: PUSH2 0x0215 00000211: PUSH2 0x0710 00000214: JUMP 00000215: JUMPDEST 00000216: STOP 00000217: JUMPDEST 00000218: PUSH1 0x00 0000021a: DUP1 0000021b: REVERT 0000021c: JUMPDEST 0000021d: PUSH2 0x0215 00000220: PUSH2 0x0710 00000223: JUMP 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 0x07a3 00000238: JUMP 00000239: JUMPDEST 0000023a: PUSH1 0x40 0000023c: MLOAD 0000023d: PUSH2 0x0246 00000240: SWAP2 00000241: SWAP1 00000242: PUSH2 0x1daa 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 0x026f 00000260: PUSH2 0x026a 00000263: CALLDATASIZE 00000264: PUSH1 0x04 00000266: PUSH2 0x1cdd 00000269: JUMP 0000026a: JUMPDEST 0000026b: PUSH2 0x0835 0000026e: JUMP 0000026f: JUMPDEST 00000270: PUSH1 0x40 00000272: MLOAD 00000273: SWAP1 00000274: ISZERO 00000275: ISZERO 00000276: DUP2 00000277: MSTORE 00000278: PUSH1 0x20 0000027a: ADD 0000027b: PUSH2 0x0246 0000027e: JUMP 0000027f: JUMPDEST 00000280: CALLVALUE 00000281: DUP1 00000282: ISZERO 00000283: PUSH2 0x028b 00000286: JUMPI 00000287: PUSH1 0x00 00000289: DUP1 0000028a: REVERT 0000028b: JUMPDEST 0000028c: POP 0000028d: PUSH1 0x0a 0000028f: SLOAD 00000290: JUMPDEST 00000291: PUSH1 0x40 00000293: MLOAD 00000294: SWAP1 00000295: DUP2 00000296: MSTORE 00000297: PUSH1 0x20 00000299: ADD 0000029a: PUSH2 0x0246 0000029d: JUMP 0000029e: JUMPDEST 0000029f: CALLVALUE 000002a0: DUP1 000002a1: ISZERO 000002a2: PUSH2 0x02aa 000002a5: JUMPI 000002a6: PUSH1 0x00 000002a8: DUP1 000002a9: REVERT 000002aa: JUMPDEST 000002ab: POP 000002ac: PUSH1 0x02 000002ae: SLOAD 000002af: PUSH2 0x0290 000002b2: JUMP 000002b3: JUMPDEST 000002b4: CALLVALUE 000002b5: DUP1 000002b6: ISZERO 000002b7: PUSH2 0x02bf 000002ba: JUMPI 000002bb: PUSH1 0x00 000002bd: DUP1 000002be: REVERT 000002bf: JUMPDEST 000002c0: POP 000002c1: PUSH2 0x0290 000002c4: PUSH2 0x02ce 000002c7: CALLDATASIZE 000002c8: PUSH1 0x04 000002ca: PUSH2 0x1c65 000002cd: JUMP 000002ce: JUMPDEST 000002cf: PUSH1 0x10 000002d1: PUSH1 0x20 000002d3: MSTORE 000002d4: PUSH1 0x00 000002d6: SWAP1 000002d7: DUP2 000002d8: MSTORE 000002d9: PUSH1 0x40 000002db: SWAP1 000002dc: KECCAK256 000002dd: SLOAD 000002de: DUP2 000002df: JUMP 000002e0: JUMPDEST 000002e1: CALLVALUE 000002e2: DUP1 000002e3: ISZERO 000002e4: PUSH2 0x02ec 000002e7: JUMPI 000002e8: PUSH1 0x00 000002ea: DUP1 000002eb: REVERT 000002ec: JUMPDEST 000002ed: POP 000002ee: PUSH2 0x026f 000002f1: PUSH2 0x02fb 000002f4: CALLDATASIZE 000002f5: PUSH1 0x04 000002f7: PUSH2 0x1d37 000002fa: JUMP 000002fb: JUMPDEST 000002fc: PUSH2 0x084c 000002ff: JUMP 00000300: JUMPDEST 00000301: CALLVALUE 00000302: DUP1 00000303: ISZERO 00000304: PUSH2 0x030c 00000307: JUMPI 00000308: PUSH1 0x00 0000030a: DUP1 0000030b: REVERT 0000030c: JUMPDEST 0000030d: POP 0000030e: PUSH2 0x0290 00000311: PUSH2 0x031b 00000314: CALLDATASIZE 00000315: PUSH1 0x04 00000317: PUSH2 0x1c65 0000031a: JUMP 0000031b: JUMPDEST 0000031c: PUSH2 0x08fb 0000031f: JUMP 00000320: JUMPDEST 00000321: CALLVALUE 00000322: DUP1 00000323: ISZERO 00000324: PUSH2 0x032c 00000327: JUMPI 00000328: PUSH1 0x00 0000032a: DUP1 0000032b: REVERT 0000032c: JUMPDEST 0000032d: POP 0000032e: PUSH2 0x0290 00000331: PUSH1 0x0e 00000333: SLOAD 00000334: DUP2 00000335: JUMP 00000336: JUMPDEST 00000337: CALLVALUE 00000338: DUP1 00000339: ISZERO 0000033a: PUSH2 0x0342 0000033d: JUMPI 0000033e: PUSH1 0x00 00000340: DUP1 00000341: REVERT 00000342: JUMPDEST 00000343: POP 00000344: PUSH1 0x40 00000346: MLOAD 00000347: PUSH1 0x05 00000349: DUP2 0000034a: MSTORE 0000034b: PUSH1 0x20 0000034d: ADD 0000034e: PUSH2 0x0246 00000351: JUMP 00000352: JUMPDEST 00000353: CALLVALUE 00000354: DUP1 00000355: ISZERO 00000356: PUSH2 0x035e 00000359: JUMPI 0000035a: PUSH1 0x00 0000035c: DUP1 0000035d: REVERT 0000035e: JUMPDEST 0000035f: POP 00000360: PUSH2 0x0215 00000363: PUSH2 0x036d 00000366: CALLDATASIZE 00000367: PUSH1 0x04 00000369: PUSH2 0x1c65 0000036c: JUMP 0000036d: JUMPDEST 0000036e: PUSH2 0x0957 00000371: JUMP 00000372: JUMPDEST 00000373: CALLVALUE 00000374: DUP1 00000375: ISZERO 00000376: PUSH2 0x037e 00000379: JUMPI 0000037a: PUSH1 0x00 0000037c: DUP1 0000037d: REVERT 0000037e: JUMPDEST 0000037f: POP 00000380: PUSH2 0x026f 00000383: PUSH2 0x038d 00000386: CALLDATASIZE 00000387: PUSH1 0x04 00000389: PUSH2 0x1cdd 0000038c: JUMP 0000038d: JUMPDEST 0000038e: PUSH2 0x0a7e 00000391: JUMP 00000392: JUMPDEST 00000393: CALLVALUE 00000394: DUP1 00000395: ISZERO 00000396: PUSH2 0x039e 00000399: JUMPI 0000039a: PUSH1 0x00 0000039c: DUP1 0000039d: REVERT 0000039e: JUMPDEST 0000039f: POP 000003a0: PUSH2 0x026f 000003a3: PUSH2 0x03ad 000003a6: CALLDATASIZE 000003a7: PUSH1 0x04 000003a9: PUSH2 0x1c65 000003ac: JUMP 000003ad: JUMPDEST 000003ae: PUSH1 0x0f 000003b0: PUSH1 0x20 000003b2: MSTORE 000003b3: PUSH1 0x00 000003b5: SWAP1 000003b6: DUP2 000003b7: MSTORE 000003b8: PUSH1 0x40 000003ba: SWAP1 000003bb: KECCAK256 000003bc: SLOAD 000003bd: PUSH1 0xff 000003bf: AND 000003c0: DUP2 000003c1: JUMP 000003c2: JUMPDEST 000003c3: CALLVALUE 000003c4: DUP1 000003c5: ISZERO 000003c6: PUSH2 0x03ce 000003c9: JUMPI 000003ca: PUSH1 0x00 000003cc: DUP1 000003cd: REVERT 000003ce: JUMPDEST 000003cf: POP 000003d0: PUSH2 0x03e2 000003d3: PUSH2 0x03dd 000003d6: CALLDATASIZE 000003d7: PUSH1 0x04 000003d9: PUSH2 0x1d91 000003dc: JUMP 000003dd: JUMPDEST 000003de: PUSH2 0x0aba 000003e1: JUMP 000003e2: JUMPDEST 000003e3: PUSH1 0x40 000003e5: DUP1 000003e6: MLOAD 000003e7: PUSH1 0x01 000003e9: PUSH1 0x01 000003eb: PUSH1 0xa0 000003ed: SHL 000003ee: SUB 000003ef: SWAP1 000003f0: SWAP10 000003f1: AND 000003f2: DUP10 000003f3: MSTORE 000003f4: PUSH1 0x20 000003f6: DUP10 000003f7: ADD 000003f8: SWAP8 000003f9: SWAP1 000003fa: SWAP8 000003fb: MSTORE 000003fc: SWAP6 000003fd: DUP8 000003fe: ADD 000003ff: SWAP5 00000400: SWAP1 00000401: SWAP5 00000402: MSTORE 00000403: PUSH1 0x60 00000405: DUP7 00000406: ADD 00000407: SWAP3 00000408: SWAP1 00000409: SWAP3 0000040a: MSTORE 0000040b: PUSH1 0x80 0000040d: DUP6 0000040e: ADD 0000040f: MSTORE 00000410: PUSH1 0xa0 00000412: DUP5 00000413: ADD 00000414: MSTORE 00000415: PUSH1 0xc0 00000417: DUP4 00000418: ADD 00000419: MSTORE 0000041a: PUSH1 0xe0 0000041c: DUP3 0000041d: ADD 0000041e: MSTORE 0000041f: PUSH2 0x0100 00000422: ADD 00000423: PUSH2 0x0246 00000426: JUMP 00000427: JUMPDEST 00000428: CALLVALUE 00000429: DUP1 0000042a: ISZERO 0000042b: PUSH2 0x0433 0000042e: JUMPI 0000042f: PUSH1 0x00 00000431: DUP1 00000432: REVERT 00000433: JUMPDEST 00000434: POP 00000435: PUSH2 0x0215 00000438: PUSH2 0x0c2c 0000043b: JUMP 0000043c: JUMPDEST 0000043d: CALLVALUE 0000043e: DUP1 0000043f: ISZERO 00000440: PUSH2 0x0448 00000443: JUMPI 00000444: PUSH1 0x00 00000446: DUP1 00000447: REVERT 00000448: JUMPDEST 00000449: POP 0000044a: PUSH2 0x0290 0000044d: PUSH1 0x11 0000044f: SLOAD 00000450: DUP2 00000451: JUMP 00000452: JUMPDEST 00000453: CALLVALUE 00000454: DUP1 00000455: ISZERO 00000456: PUSH2 0x045e 00000459: JUMPI 0000045a: PUSH1 0x00 0000045c: DUP1 0000045d: REVERT 0000045e: JUMPDEST 0000045f: POP 00000460: PUSH2 0x0290 00000463: PUSH2 0x046d 00000466: CALLDATASIZE 00000467: PUSH1 0x04 00000469: PUSH2 0x1c65 0000046c: JUMP 0000046d: JUMPDEST 0000046e: PUSH1 0x01 00000470: PUSH1 0x01 00000472: PUSH1 0xa0 00000474: SHL 00000475: SUB 00000476: AND 00000477: PUSH1 0x00 00000479: SWAP1 0000047a: DUP2 0000047b: MSTORE 0000047c: PUSH1 0x20 0000047e: DUP2 0000047f: SWAP1 00000480: MSTORE 00000481: PUSH1 0x40 00000483: SWAP1 00000484: KECCAK256 00000485: SLOAD 00000486: SWAP1 00000487: JUMP 00000488: JUMPDEST 00000489: CALLVALUE 0000048a: DUP1 0000048b: ISZERO 0000048c: PUSH2 0x0494 0000048f: JUMPI 00000490: PUSH1 0x00 00000492: DUP1 00000493: REVERT 00000494: JUMPDEST 00000495: POP 00000496: PUSH2 0x0215 00000499: PUSH2 0x0ccc 0000049c: JUMP 0000049d: JUMPDEST 0000049e: CALLVALUE 0000049f: DUP1 000004a0: ISZERO 000004a1: PUSH2 0x04a9 000004a4: JUMPI 000004a5: PUSH1 0x00 000004a7: DUP1 000004a8: REVERT 000004a9: JUMPDEST 000004aa: POP 000004ab: PUSH2 0x0290 000004ae: PUSH1 0x08 000004b0: SLOAD 000004b1: DUP2 000004b2: JUMP 000004b3: JUMPDEST 000004b4: CALLVALUE 000004b5: DUP1 000004b6: ISZERO 000004b7: PUSH2 0x04bf 000004ba: JUMPI 000004bb: PUSH1 0x00 000004bd: DUP1 000004be: REVERT 000004bf: JUMPDEST 000004c0: POP 000004c1: PUSH1 0x09 000004c3: SLOAD 000004c4: PUSH1 0x40 000004c6: MLOAD 000004c7: PUSH1 0x01 000004c9: PUSH1 0x01 000004cb: PUSH1 0xa0 000004cd: SHL 000004ce: SUB 000004cf: SWAP1 000004d0: SWAP2 000004d1: AND 000004d2: DUP2 000004d3: MSTORE 000004d4: PUSH1 0x20 000004d6: ADD 000004d7: PUSH2 0x0246 000004da: JUMP 000004db: JUMPDEST 000004dc: CALLVALUE 000004dd: DUP1 000004de: ISZERO 000004df: PUSH2 0x04e7 000004e2: JUMPI 000004e3: PUSH1 0x00 000004e5: DUP1 000004e6: REVERT 000004e7: JUMPDEST 000004e8: POP 000004e9: PUSH2 0x0290 000004ec: PUSH2 0x04f6 000004ef: CALLDATASIZE 000004f0: PUSH1 0x04 000004f2: PUSH2 0x1c65 000004f5: JUMP 000004f6: JUMPDEST 000004f7: PUSH2 0x0d00 000004fa: JUMP 000004fb: JUMPDEST 000004fc: CALLVALUE 000004fd: DUP1 000004fe: ISZERO 000004ff: PUSH2 0x0507 00000502: JUMPI 00000503: PUSH1 0x00 00000505: DUP1 00000506: REVERT 00000507: JUMPDEST 00000508: POP 00000509: PUSH2 0x0239 0000050c: PUSH2 0x0d0b 0000050f: JUMP 00000510: JUMPDEST 00000511: CALLVALUE 00000512: DUP1 00000513: ISZERO 00000514: PUSH2 0x051c 00000517: JUMPI 00000518: PUSH1 0x00 0000051a: DUP1 0000051b: REVERT 0000051c: JUMPDEST 0000051d: POP 0000051e: PUSH2 0x026f 00000521: PUSH2 0x052b 00000524: CALLDATASIZE 00000525: PUSH1 0x04 00000527: PUSH2 0x1cdd 0000052a: JUMP 0000052b: JUMPDEST 0000052c: PUSH2 0x0d1a 0000052f: JUMP 00000530: JUMPDEST 00000531: CALLVALUE 00000532: DUP1 00000533: ISZERO 00000534: PUSH2 0x053c 00000537: JUMPI 00000538: PUSH1 0x00 0000053a: DUP1 0000053b: REVERT 0000053c: JUMPDEST 0000053d: POP 0000053e: PUSH2 0x0290 00000541: PUSH2 0x054b 00000544: CALLDATASIZE 00000545: PUSH1 0x04 00000547: PUSH2 0x1c65 0000054a: JUMP 0000054b: JUMPDEST 0000054c: PUSH2 0x0db3 0000054f: JUMP 00000550: JUMPDEST 00000551: CALLVALUE 00000552: DUP1 00000553: ISZERO 00000554: PUSH2 0x055c 00000557: JUMPI 00000558: PUSH1 0x00 0000055a: DUP1 0000055b: REVERT 0000055c: JUMPDEST 0000055d: POP 0000055e: PUSH2 0x026f 00000561: PUSH2 0x056b 00000564: CALLDATASIZE 00000565: PUSH1 0x04 00000567: PUSH2 0x1cdd 0000056a: JUMP 0000056b: JUMPDEST 0000056c: PUSH2 0x0ddf 0000056f: JUMP 00000570: JUMPDEST 00000571: CALLVALUE 00000572: DUP1 00000573: ISZERO 00000574: PUSH2 0x057c 00000577: JUMPI 00000578: PUSH1 0x00 0000057a: DUP1 0000057b: REVERT 0000057c: JUMPDEST 0000057d: POP 0000057e: PUSH2 0x0290 00000581: PUSH2 0x058b 00000584: CALLDATASIZE 00000585: PUSH1 0x04 00000587: PUSH2 0x1c65 0000058a: JUMP 0000058b: JUMPDEST 0000058c: PUSH1 0x01 0000058e: PUSH1 0x01 00000590: PUSH1 0xa0 00000592: SHL 00000593: SUB 00000594: AND 00000595: PUSH1 0x00 00000597: SWAP1 00000598: DUP2 00000599: MSTORE 0000059a: PUSH1 0x07 0000059c: PUSH1 0x20 0000059e: MSTORE 0000059f: PUSH1 0x40 000005a1: SWAP1 000005a2: KECCAK256 000005a3: SLOAD 000005a4: SWAP1 000005a5: JUMP 000005a6: JUMPDEST 000005a7: CALLVALUE 000005a8: DUP1 000005a9: ISZERO 000005aa: PUSH2 0x05b2 000005ad: JUMPI 000005ae: PUSH1 0x00 000005b0: DUP1 000005b1: REVERT 000005b2: JUMPDEST 000005b3: POP 000005b4: PUSH2 0x026f 000005b7: PUSH2 0x05c1 000005ba: CALLDATASIZE 000005bb: PUSH1 0x04 000005bd: PUSH2 0x1c9f 000005c0: JUMP 000005c1: JUMPDEST 000005c2: PUSH2 0x0dec 000005c5: JUMP 000005c6: JUMPDEST 000005c7: CALLVALUE 000005c8: DUP1 000005c9: ISZERO 000005ca: PUSH2 0x05d2 000005cd: JUMPI 000005ce: PUSH1 0x00 000005d0: DUP1 000005d1: REVERT 000005d2: JUMPDEST 000005d3: POP 000005d4: PUSH2 0x0290 000005d7: PUSH32 0x000000000000000000000000000000000000000000000000000000003b9aca00 000005f8: DUP2 000005f9: JUMP 000005fa: JUMPDEST 000005fb: CALLVALUE 000005fc: DUP1 000005fd: ISZERO 000005fe: PUSH2 0x0606 00000601: JUMPI 00000602: PUSH1 0x00 00000604: DUP1 00000605: REVERT 00000606: JUMPDEST 00000607: POP 00000608: PUSH2 0x0290 0000060b: PUSH2 0x0615 0000060e: CALLDATASIZE 0000060f: PUSH1 0x04 00000611: PUSH2 0x1d09 00000614: JUMP 00000615: JUMPDEST 00000616: PUSH1 0x01 00000618: PUSH1 0x01 0000061a: PUSH1 0xa0 0000061c: SHL 0000061d: SUB 0000061e: SWAP2 0000061f: DUP3 00000620: AND 00000621: PUSH1 0x00 00000623: SWAP1 00000624: DUP2 00000625: MSTORE 00000626: PUSH1 0x01 00000628: PUSH1 0x20 0000062a: SWAP1 0000062b: DUP2 0000062c: MSTORE 0000062d: PUSH1 0x40 0000062f: DUP1 00000630: DUP4 00000631: KECCAK256 00000632: SWAP4 00000633: SWAP1 00000634: SWAP5 00000635: AND 00000636: DUP3 00000637: MSTORE 00000638: SWAP2 00000639: SWAP1 0000063a: SWAP2 0000063b: MSTORE 0000063c: KECCAK256 0000063d: SLOAD 0000063e: SWAP1 0000063f: JUMP 00000640: JUMPDEST 00000641: CALLVALUE 00000642: DUP1 00000643: ISZERO 00000644: PUSH2 0x064c 00000647: JUMPI 00000648: PUSH1 0x00 0000064a: DUP1 0000064b: REVERT 0000064c: JUMPDEST 0000064d: POP 0000064e: PUSH2 0x0215 00000651: PUSH2 0x065b 00000654: CALLDATASIZE 00000655: PUSH1 0x04 00000657: PUSH2 0x1cdd 0000065a: JUMP 0000065b: JUMPDEST 0000065c: PUSH2 0x0e9a 0000065f: JUMP 00000660: JUMPDEST 00000661: CALLVALUE 00000662: DUP1 00000663: ISZERO 00000664: PUSH2 0x066c 00000667: JUMPI 00000668: PUSH1 0x00 0000066a: DUP1 0000066b: REVERT 0000066c: JUMPDEST 0000066d: POP 0000066e: PUSH1 0x0e 00000670: SLOAD 00000671: PUSH2 0x0290 00000674: JUMP 00000675: JUMPDEST 00000676: CALLVALUE 00000677: DUP1 00000678: ISZERO 00000679: PUSH2 0x0681 0000067c: JUMPI 0000067d: PUSH1 0x00 0000067f: DUP1 00000680: REVERT 00000681: JUMPDEST 00000682: POP 00000683: PUSH2 0x0215 00000686: PUSH2 0x0690 00000689: CALLDATASIZE 0000068a: PUSH1 0x04 0000068c: PUSH2 0x1d91 0000068f: JUMP 00000690: JUMPDEST 00000691: PUSH2 0x1027 00000694: JUMP 00000695: JUMPDEST 00000696: CALLVALUE 00000697: DUP1 00000698: ISZERO 00000699: PUSH2 0x06a1 0000069c: JUMPI 0000069d: PUSH1 0x00 0000069f: DUP1 000006a0: REVERT 000006a1: JUMPDEST 000006a2: POP 000006a3: PUSH2 0x0215 000006a6: PUSH2 0x06b0 000006a9: CALLDATASIZE 000006aa: PUSH1 0x04 000006ac: PUSH2 0x1c65 000006af: JUMP 000006b0: JUMPDEST 000006b1: PUSH2 0x1195 000006b4: JUMP 000006b5: JUMPDEST 000006b6: CALLVALUE 000006b7: DUP1 000006b8: ISZERO 000006b9: PUSH2 0x06c1 000006bc: JUMPI 000006bd: PUSH1 0x00 000006bf: DUP1 000006c0: REVERT 000006c1: JUMPDEST 000006c2: POP 000006c3: PUSH2 0x03e2 000006c6: PUSH2 0x06d0 000006c9: CALLDATASIZE 000006ca: PUSH1 0x04 000006cc: PUSH2 0x1c65 000006cf: JUMP 000006d0: JUMPDEST 000006d1: PUSH2 0x1230 000006d4: JUMP 000006d5: JUMPDEST 000006d6: CALLVALUE 000006d7: DUP1 000006d8: ISZERO 000006d9: PUSH2 0x06e1 000006dc: JUMPI 000006dd: PUSH1 0x00 000006df: DUP1 000006e0: REVERT 000006e1: JUMPDEST 000006e2: POP 000006e3: PUSH2 0x06f5 000006e6: PUSH2 0x06f0 000006e9: CALLDATASIZE 000006ea: PUSH1 0x04 000006ec: PUSH2 0x1d91 000006ef: JUMP 000006f0: JUMPDEST 000006f1: PUSH2 0x13a8 000006f4: JUMP 000006f5: JUMPDEST 000006f6: PUSH1 0x40 000006f8: DUP1 000006f9: MLOAD 000006fa: SWAP4 000006fb: DUP5 000006fc: MSTORE 000006fd: PUSH1 0x20 000006ff: DUP5 00000700: ADD 00000701: SWAP3 00000702: SWAP1 00000703: SWAP3 00000704: MSTORE 00000705: SWAP1 00000706: DUP3 00000707: ADD 00000708: MSTORE 00000709: PUSH1 0x60 0000070b: ADD 0000070c: PUSH2 0x0246 0000070f: JUMP 00000710: JUMPDEST 00000711: PUSH1 0x00 00000713: PUSH2 0x071b 00000716: PUSH1 0x02 00000718: SLOAD 00000719: SWAP1 0000071a: JUMP 0000071b: JUMPDEST 0000071c: GT 0000071d: PUSH2 0x0725 00000720: JUMPI 00000721: PUSH1 0x00 00000723: DUP1 00000724: REVERT 00000725: JUMPDEST 00000726: CALLVALUE 00000727: ISZERO 00000728: PUSH2 0x07a1 0000072b: JUMPI 0000072c: PUSH2 0x0758 0000072f: PUSH2 0x0737 00000732: PUSH1 0x02 00000734: SLOAD 00000735: SWAP1 00000736: JUMP 00000737: JUMPDEST 00000738: PUSH2 0x0745 0000073b: CALLVALUE 0000073c: PUSH1 0x01 0000073e: PUSH1 0x80 00000740: SHL 00000741: PUSH2 0x14c3 00000744: JUMP 00000745: JUMPDEST 00000746: PUSH2 0x074f 00000749: SWAP2 0000074a: SWAP1 0000074b: PUSH2 0x1e8d 0000074e: JUMP 0000074f: JUMPDEST 00000750: PUSH1 0x05 00000752: SLOAD 00000753: SWAP1 00000754: PUSH2 0x14d6 00000757: JUMP 00000758: JUMPDEST 00000759: PUSH1 0x05 0000075b: SSTORE 0000075c: PUSH1 0x40 0000075e: MLOAD 0000075f: CALLVALUE 00000760: DUP2 00000761: MSTORE 00000762: CALLER 00000763: SWAP1 00000764: PUSH32 0xa493a9229478c3fcd73f66d2cdeb7f94fd0f341da924d1054236d78454116511 00000785: SWAP1 00000786: PUSH1 0x20 00000788: ADD 00000789: PUSH1 0x40 0000078b: MLOAD 0000078c: DUP1 0000078d: SWAP2 0000078e: SUB 0000078f: SWAP1 00000790: LOG2 00000791: PUSH1 0x08 00000793: SLOAD 00000794: PUSH2 0x079d 00000797: SWAP1 00000798: CALLVALUE 00000799: PUSH2 0x14d6 0000079c: JUMP 0000079d: JUMPDEST 0000079e: PUSH1 0x08 000007a0: SSTORE 000007a1: JUMPDEST 000007a2: JUMP 000007a3: JUMPDEST 000007a4: PUSH1 0x60 000007a6: PUSH1 0x03 000007a8: DUP1 000007a9: SLOAD 000007aa: PUSH2 0x07b2 000007ad: SWAP1 000007ae: PUSH2 0x1f24 000007b1: JUMP 000007b2: JUMPDEST 000007b3: DUP1 000007b4: PUSH1 0x1f 000007b6: ADD 000007b7: PUSH1 0x20 000007b9: DUP1 000007ba: SWAP2 000007bb: DIV 000007bc: MUL 000007bd: PUSH1 0x20 000007bf: ADD 000007c0: PUSH1 0x40 000007c2: MLOAD 000007c3: SWAP1 000007c4: DUP2 000007c5: ADD 000007c6: PUSH1 0x40 000007c8: MSTORE 000007c9: DUP1 000007ca: SWAP3 000007cb: SWAP2 000007cc: SWAP1 000007cd: DUP2 000007ce: DUP2 000007cf: MSTORE 000007d0: PUSH1 0x20 000007d2: ADD 000007d3: DUP3 000007d4: DUP1 000007d5: SLOAD 000007d6: PUSH2 0x07de 000007d9: SWAP1 000007da: PUSH2 0x1f24 000007dd: JUMP 000007de: JUMPDEST 000007df: DUP1 000007e0: ISZERO 000007e1: PUSH2 0x082b 000007e4: JUMPI 000007e5: DUP1 000007e6: PUSH1 0x1f 000007e8: LT 000007e9: PUSH2 0x0800 000007ec: JUMPI 000007ed: PUSH2 0x0100 000007f0: DUP1 000007f1: DUP4 000007f2: SLOAD 000007f3: DIV 000007f4: MUL 000007f5: DUP4 000007f6: MSTORE 000007f7: SWAP2 000007f8: PUSH1 0x20 000007fa: ADD 000007fb: SWAP2 000007fc: PUSH2 0x082b 000007ff: JUMP 00000800: JUMPDEST 00000801: DUP3 00000802: ADD 00000803: SWAP2 00000804: SWAP1 00000805: PUSH1 0x00 00000807: MSTORE 00000808: PUSH1 0x20 0000080a: PUSH1 0x00 0000080c: KECCAK256 0000080d: SWAP1 0000080e: JUMPDEST 0000080f: DUP2 00000810: SLOAD 00000811: DUP2 00000812: MSTORE 00000813: SWAP1 00000814: PUSH1 0x01 00000816: ADD 00000817: SWAP1 00000818: PUSH1 0x20 0000081a: ADD 0000081b: DUP1 0000081c: DUP4 0000081d: GT 0000081e: PUSH2 0x080e 00000821: JUMPI 00000822: DUP3 00000823: SWAP1 00000824: SUB 00000825: PUSH1 0x1f 00000827: AND 00000828: DUP3 00000829: ADD 0000082a: SWAP2 0000082b: JUMPDEST 0000082c: POP 0000082d: POP 0000082e: POP 0000082f: POP 00000830: POP 00000831: SWAP1 00000832: POP 00000833: SWAP1 00000834: JUMP 00000835: JUMPDEST 00000836: PUSH1 0x00 00000838: PUSH2 0x0842 0000083b: CALLER 0000083c: DUP5 0000083d: DUP5 0000083e: PUSH2 0x14e2 00000841: JUMP 00000842: JUMPDEST 00000843: POP 00000844: PUSH1 0x01 00000846: JUMPDEST 00000847: SWAP3 00000848: SWAP2 00000849: POP 0000084a: POP 0000084b: JUMP 0000084c: JUMPDEST 0000084d: PUSH1 0x00 0000084f: PUSH2 0x0859 00000852: DUP5 00000853: DUP5 00000854: DUP5 00000855: PUSH2 0x1606 00000858: JUMP 00000859: JUMPDEST 0000085a: PUSH1 0x01 0000085c: PUSH1 0x01 0000085e: PUSH1 0xa0 00000860: SHL 00000861: SUB 00000862: DUP5 00000863: AND 00000864: PUSH1 0x00 00000866: SWAP1 00000867: DUP2 00000868: MSTORE 00000869: PUSH1 0x01 0000086b: PUSH1 0x20 0000086d: SWAP1 0000086e: DUP2 0000086f: MSTORE 00000870: PUSH1 0x40 00000872: DUP1 00000873: DUP4 00000874: KECCAK256 00000875: CALLER 00000876: DUP5 00000877: MSTORE 00000878: SWAP1 00000879: SWAP2 0000087a: MSTORE 0000087b: SWAP1 0000087c: KECCAK256 0000087d: SLOAD 0000087e: DUP3 0000087f: DUP2 00000880: LT 00000881: ISZERO 00000882: PUSH2 0x08e3 00000885: JUMPI 00000886: PUSH1 0x40 00000888: MLOAD 00000889: PUSH3 0x461bcd 0000088d: PUSH1 0xe5 0000088f: SHL 00000890: DUP2 00000891: MSTORE 00000892: PUSH1 0x20 00000894: PUSH1 0x04 00000896: DUP3 00000897: ADD 00000898: MSTORE 00000899: PUSH1 0x28 0000089b: PUSH1 0x24 0000089d: DUP3 0000089e: ADD 0000089f: MSTORE 000008a0: PUSH32 0x45524332303a207472616e7366657220616d6f756e7420657863656564732061 000008c1: PUSH1 0x44 000008c3: DUP3 000008c4: ADD 000008c5: MSTORE 000008c6: PUSH8 0x6c6c6f77616e6365 000008cf: PUSH1 0xc0 000008d1: SHL 000008d2: PUSH1 0x64 000008d4: DUP3 000008d5: ADD 000008d6: MSTORE 000008d7: PUSH1 0x84 000008d9: ADD 000008da: JUMPDEST 000008db: PUSH1 0x40 000008dd: MLOAD 000008de: DUP1 000008df: SWAP2 000008e0: SUB 000008e1: SWAP1 000008e2: REVERT 000008e3: JUMPDEST 000008e4: PUSH2 0x08f0 000008e7: DUP6 000008e8: CALLER 000008e9: DUP6 000008ea: DUP5 000008eb: SUB 000008ec: PUSH2 0x14e2 000008ef: JUMP 000008f0: JUMPDEST 000008f1: POP 000008f2: PUSH1 0x01 000008f4: SWAP5 000008f5: SWAP4 000008f6: POP 000008f7: POP 000008f8: POP 000008f9: POP 000008fa: JUMP 000008fb: JUMPDEST 000008fc: PUSH1 0x01 000008fe: PUSH1 0x01 00000900: PUSH1 0xa0 00000902: SHL 00000903: SUB 00000904: DUP2 00000905: AND 00000906: PUSH1 0x00 00000908: SWAP1 00000909: DUP2 0000090a: MSTORE 0000090b: PUSH1 0x06 0000090d: PUSH1 0x20 0000090f: SWAP1 00000910: DUP2 00000911: MSTORE 00000912: PUSH1 0x40 00000914: DUP1 00000915: DUP4 00000916: KECCAK256 00000917: SLOAD 00000918: SWAP2 00000919: DUP4 0000091a: SWAP1 0000091b: MSTORE 0000091c: DUP3 0000091d: KECCAK256 0000091e: SLOAD 0000091f: PUSH1 0x05 00000921: SLOAD 00000922: PUSH1 0x01 00000924: PUSH1 0x80 00000926: SHL 00000927: SWAP3 00000928: PUSH2 0x094d 0000092b: SWAP3 0000092c: PUSH2 0x0948 0000092f: SWAP3 00000930: PUSH2 0x0942 00000933: SWAP2 00000934: PUSH2 0x093d 00000937: SWAP2 00000938: SWAP1 00000939: PUSH2 0x14c3 0000093c: JUMP 0000093d: JUMPDEST 0000093e: PUSH2 0x1661 00000941: JUMP 00000942: JUMPDEST 00000943: SWAP1 00000944: PUSH2 0x16cf 00000947: JUMP 00000948: JUMPDEST 00000949: PUSH2 0x16db 0000094c: JUMP 0000094d: JUMPDEST 0000094e: PUSH2 0x0846 00000951: SWAP2 00000952: SWAP1 00000953: PUSH2 0x1e8d 00000956: JUMP 00000957: JUMPDEST 00000958: PUSH1 0x09 0000095a: SLOAD 0000095b: PUSH1 0x01 0000095d: PUSH1 0x01 0000095f: PUSH1 0xa0 00000961: SHL 00000962: SUB 00000963: AND 00000964: CALLER 00000965: EQ 00000966: PUSH2 0x0981 00000969: JUMPI 0000096a: PUSH1 0x40 0000096c: MLOAD 0000096d: PUSH3 0x461bcd 00000971: PUSH1 0xe5 00000973: SHL 00000974: DUP2 00000975: MSTORE 00000976: PUSH1 0x04 00000978: ADD 00000979: PUSH2 0x08da 0000097c: SWAP1 0000097d: PUSH2 0x1dff 00000980: JUMP 00000981: JUMPDEST 00000982: PUSH1 0x01 00000984: PUSH1 0x01 00000986: PUSH1 0xa0 00000988: SHL 00000989: SUB 0000098a: DUP2 0000098b: AND 0000098c: PUSH1 0x00 0000098e: SWAP1 0000098f: DUP2 00000990: MSTORE 00000991: PUSH1 0x0f 00000993: PUSH1 0x20 00000995: MSTORE 00000996: PUSH1 0x40 00000998: SWAP1 00000999: KECCAK256 0000099a: SLOAD 0000099b: PUSH1 0xff 0000099d: AND 0000099e: ISZERO 0000099f: PUSH2 0x09a7 000009a2: JUMPI 000009a3: PUSH1 0x00 000009a5: DUP1 000009a6: REVERT 000009a7: JUMPDEST 000009a8: PUSH1 0x01 000009aa: PUSH1 0x01 000009ac: PUSH1 0xa0 000009ae: SHL 000009af: SUB 000009b0: DUP2 000009b1: AND 000009b2: PUSH1 0x00 000009b4: SWAP1 000009b5: DUP2 000009b6: MSTORE 000009b7: PUSH1 0x0f 000009b9: PUSH1 0x20 000009bb: MSTORE 000009bc: PUSH1 0x40 000009be: DUP2 000009bf: KECCAK256 000009c0: DUP1 000009c1: SLOAD 000009c2: PUSH1 0xff 000009c4: NOT 000009c5: AND 000009c6: PUSH1 0x01 000009c8: OR 000009c9: SWAP1 000009ca: SSTORE 000009cb: PUSH2 0x09d5 000009ce: SWAP1 000009cf: DUP3 000009d0: SWAP1 000009d1: PUSH2 0x172d 000009d4: JUMP 000009d5: JUMPDEST 000009d6: PUSH1 0x40 000009d8: MLOAD 000009d9: PUSH4 0x131836e7 000009de: PUSH1 0xe2 000009e0: SHL 000009e1: DUP2 000009e2: MSTORE 000009e3: PUSH1 0x0a 000009e5: PUSH1 0x04 000009e7: DUP3 000009e8: ADD 000009e9: MSTORE 000009ea: PUSH1 0x01 000009ec: PUSH1 0x01 000009ee: PUSH1 0xa0 000009f0: SHL 000009f1: SUB 000009f2: DUP3 000009f3: AND 000009f4: PUSH1 0x24 000009f6: DUP3 000009f7: ADD 000009f8: MSTORE 000009f9: PUSH20 0xaae8fd33abf46e4aa3d47cd90cb31d9a7669db38 00000a0e: SWAP1 00000a0f: PUSH4 0x4c60db9c 00000a14: SWAP1 00000a15: PUSH1 0x44 00000a17: ADD 00000a18: PUSH1 0x00 00000a1a: PUSH1 0x40 00000a1c: MLOAD 00000a1d: DUP1 00000a1e: DUP4 00000a1f: SUB 00000a20: DUP2 00000a21: DUP7 00000a22: DUP1 00000a23: EXTCODESIZE 00000a24: ISZERO 00000a25: DUP1 00000a26: ISZERO 00000a27: PUSH2 0x0a2f 00000a2a: JUMPI 00000a2b: PUSH1 0x00 00000a2d: DUP1 00000a2e: REVERT 00000a2f: JUMPDEST 00000a30: POP 00000a31: GAS 00000a32: DELEGATECALL 00000a33: ISZERO 00000a34: DUP1 00000a35: ISZERO 00000a36: PUSH2 0x0a43 00000a39: JUMPI 00000a3a: RETURNDATASIZE 00000a3b: PUSH1 0x00 00000a3d: DUP1 00000a3e: RETURNDATACOPY 00000a3f: RETURNDATASIZE 00000a40: PUSH1 0x00 00000a42: REVERT 00000a43: JUMPDEST 00000a44: POP 00000a45: POP 00000a46: PUSH1 0x40 00000a48: MLOAD 00000a49: PUSH1 0x01 00000a4b: PUSH1 0x01 00000a4d: PUSH1 0xa0 00000a4f: SHL 00000a50: SUB 00000a51: DUP5 00000a52: AND 00000a53: SWAP3 00000a54: POP 00000a55: PUSH32 0xa878b31040b2e6d0a9a3d3361209db3908ba62014b0dca52adbaee451d128b25 00000a76: SWAP2 00000a77: POP 00000a78: PUSH1 0x00 00000a7a: SWAP1 00000a7b: LOG2 00000a7c: POP 00000a7d: JUMP 00000a7e: JUMPDEST 00000a7f: CALLER 00000a80: PUSH1 0x00 00000a82: DUP2 00000a83: DUP2 00000a84: MSTORE 00000a85: PUSH1 0x01 00000a87: PUSH1 0x20 00000a89: SWAP1 00000a8a: DUP2 00000a8b: MSTORE 00000a8c: PUSH1 0x40 00000a8e: DUP1 00000a8f: DUP4 00000a90: KECCAK256 00000a91: PUSH1 0x01 00000a93: PUSH1 0x01 00000a95: PUSH1 0xa0 00000a97: SHL 00000a98: SUB 00000a99: DUP8 00000a9a: AND 00000a9b: DUP5 00000a9c: MSTORE 00000a9d: SWAP1 00000a9e: SWAP2 00000a9f: MSTORE 00000aa0: DUP2 00000aa1: KECCAK256 00000aa2: SLOAD 00000aa3: SWAP1 00000aa4: SWAP2 00000aa5: PUSH2 0x0842 00000aa8: SWAP2 00000aa9: DUP6 00000aaa: SWAP1 00000aab: PUSH2 0x0ab5 00000aae: SWAP1 00000aaf: DUP7 00000ab0: SWAP1 00000ab1: PUSH2 0x1e75 00000ab4: JUMP 00000ab5: JUMPDEST 00000ab6: PUSH2 0x14e2 00000ab9: JUMP 00000aba: JUMPDEST 00000abb: PUSH1 0x00 00000abd: DUP1 00000abe: PUSH1 0x00 00000ac0: DUP1 00000ac1: PUSH1 0x00 00000ac3: DUP1 00000ac4: PUSH1 0x00 00000ac6: DUP1 00000ac7: PUSH1 0x0a 00000ac9: PUSH20 0xaae8fd33abf46e4aa3d47cd90cb31d9a7669db38 00000ade: PUSH4 0xdeb3d896 00000ae3: SWAP1 00000ae4: SWAP2 00000ae5: PUSH1 0x40 00000ae7: MLOAD 00000ae8: DUP3 00000ae9: PUSH4 0xffffffff 00000aee: AND 00000aef: PUSH1 0xe0 00000af1: SHL 00000af2: DUP2 00000af3: MSTORE 00000af4: PUSH1 0x04 00000af6: ADD 00000af7: PUSH2 0x0b02 00000afa: SWAP2 00000afb: DUP2 00000afc: MSTORE 00000afd: PUSH1 0x20 00000aff: ADD 00000b00: SWAP1 00000b01: JUMP 00000b02: JUMPDEST 00000b03: PUSH1 0x20 00000b05: PUSH1 0x40 00000b07: MLOAD 00000b08: DUP1 00000b09: DUP4 00000b0a: SUB 00000b0b: DUP2 00000b0c: DUP7 00000b0d: DUP1 00000b0e: EXTCODESIZE 00000b0f: ISZERO 00000b10: DUP1 00000b11: ISZERO 00000b12: PUSH2 0x0b1a 00000b15: JUMPI 00000b16: PUSH1 0x00 00000b18: DUP1 00000b19: REVERT 00000b1a: JUMPDEST 00000b1b: POP 00000b1c: GAS 00000b1d: DELEGATECALL 00000b1e: ISZERO 00000b1f: DUP1 00000b20: ISZERO 00000b21: PUSH2 0x0b2e 00000b24: JUMPI 00000b25: RETURNDATASIZE 00000b26: PUSH1 0x00 00000b28: DUP1 00000b29: RETURNDATACOPY 00000b2a: RETURNDATASIZE 00000b2b: PUSH1 0x00 00000b2d: REVERT 00000b2e: JUMPDEST 00000b2f: POP 00000b30: POP 00000b31: POP 00000b32: POP 00000b33: PUSH1 0x40 00000b35: MLOAD 00000b36: RETURNDATASIZE 00000b37: PUSH1 0x1f 00000b39: NOT 00000b3a: PUSH1 0x1f 00000b3c: DUP3 00000b3d: ADD 00000b3e: AND 00000b3f: DUP3 00000b40: ADD 00000b41: DUP1 00000b42: PUSH1 0x40 00000b44: MSTORE 00000b45: POP 00000b46: DUP2 00000b47: ADD 00000b48: SWAP1 00000b49: PUSH2 0x0b52 00000b4c: SWAP2 00000b4d: SWAP1 00000b4e: PUSH2 0x1d78 00000b51: JUMP 00000b52: JUMPDEST 00000b53: DUP10 00000b54: LT 00000b55: PUSH2 0x0b77 00000b58: JUMPI 00000b59: POP 00000b5a: PUSH1 0x00 00000b5c: SWAP7 00000b5d: POP 00000b5e: PUSH1 0x00 00000b60: NOT 00000b61: SWAP6 00000b62: POP 00000b63: DUP6 00000b64: SWAP5 00000b65: POP 00000b66: DUP7 00000b67: SWAP4 00000b68: POP 00000b69: DUP4 00000b6a: SWAP3 00000b6b: POP 00000b6c: DUP3 00000b6d: SWAP2 00000b6e: POP 00000b6f: DUP2 00000b70: SWAP1 00000b71: POP 00000b72: DUP1 00000b73: PUSH2 0x0c21 00000b76: JUMP 00000b77: JUMPDEST 00000b78: PUSH1 0x40 00000b7a: MLOAD 00000b7b: PUSH4 0x68d54f3f 00000b80: PUSH1 0xe1 00000b82: SHL 00000b83: DUP2 00000b84: MSTORE 00000b85: PUSH1 0x0a 00000b87: PUSH1 0x04 00000b89: DUP3 00000b8a: ADD 00000b8b: MSTORE 00000b8c: PUSH1 0x24 00000b8e: DUP2 00000b8f: ADD 00000b90: DUP11 00000b91: SWAP1 00000b92: MSTORE 00000b93: PUSH1 0x00 00000b95: SWAP1 00000b96: PUSH20 0xaae8fd33abf46e4aa3d47cd90cb31d9a7669db38 00000bab: SWAP1 00000bac: PUSH4 0xd1aa9e7e 00000bb1: SWAP1 00000bb2: PUSH1 0x44 00000bb4: ADD 00000bb5: PUSH1 0x20 00000bb7: PUSH1 0x40 00000bb9: MLOAD 00000bba: DUP1 00000bbb: DUP4 00000bbc: SUB 00000bbd: DUP2 00000bbe: DUP7 00000bbf: DUP1 00000bc0: EXTCODESIZE 00000bc1: ISZERO 00000bc2: DUP1 00000bc3: ISZERO 00000bc4: PUSH2 0x0bcc 00000bc7: JUMPI 00000bc8: PUSH1 0x00 00000bca: DUP1 00000bcb: REVERT 00000bcc: JUMPDEST 00000bcd: POP 00000bce: GAS 00000bcf: DELEGATECALL 00000bd0: ISZERO 00000bd1: DUP1 00000bd2: ISZERO 00000bd3: PUSH2 0x0be0 00000bd6: JUMPI 00000bd7: RETURNDATASIZE 00000bd8: PUSH1 0x00 00000bda: DUP1 00000bdb: RETURNDATACOPY 00000bdc: RETURNDATASIZE 00000bdd: PUSH1 0x00 00000bdf: REVERT 00000be0: JUMPDEST 00000be1: POP 00000be2: POP 00000be3: POP 00000be4: POP 00000be5: PUSH1 0x40 00000be7: MLOAD 00000be8: RETURNDATASIZE 00000be9: PUSH1 0x1f 00000beb: NOT 00000bec: PUSH1 0x1f 00000bee: DUP3 00000bef: ADD 00000bf0: AND 00000bf1: DUP3 00000bf2: ADD 00000bf3: DUP1 00000bf4: PUSH1 0x40 00000bf6: MSTORE 00000bf7: POP 00000bf8: DUP2 00000bf9: ADD 00000bfa: SWAP1 00000bfb: PUSH2 0x0c04 00000bfe: SWAP2 00000bff: SWAP1 00000c00: PUSH2 0x1c82 00000c03: JUMP 00000c04: JUMPDEST 00000c05: SWAP1 00000c06: POP 00000c07: PUSH2 0x0c0f 00000c0a: DUP2 00000c0b: PUSH2 0x1230 00000c0e: JUMP 00000c0f: JUMPDEST 00000c10: SWAP9 00000c11: POP 00000c12: SWAP9 00000c13: POP 00000c14: SWAP9 00000c15: POP 00000c16: SWAP9 00000c17: POP 00000c18: SWAP9 00000c19: POP 00000c1a: SWAP9 00000c1b: POP 00000c1c: SWAP9 00000c1d: POP 00000c1e: SWAP9 00000c1f: POP 00000c20: POP 00000c21: JUMPDEST 00000c22: SWAP2 00000c23: SWAP4 00000c24: SWAP6 00000c25: SWAP8 00000c26: POP 00000c27: SWAP2 00000c28: SWAP4 00000c29: SWAP6 00000c2a: SWAP8 00000c2b: JUMP 00000c2c: JUMPDEST 00000c2d: PUSH1 0x40 00000c2f: MLOAD 00000c30: PUSH3 0x461bcd 00000c34: PUSH1 0xe5 00000c36: SHL 00000c37: DUP2 00000c38: MSTORE 00000c39: PUSH1 0x20 00000c3b: PUSH1 0x04 00000c3d: DUP3 00000c3e: ADD 00000c3f: MSTORE 00000c40: PUSH1 0x63 00000c42: PUSH1 0x24 00000c44: DUP3 00000c45: ADD 00000c46: MSTORE 00000c47: PUSH32 0x53554e5f4469766964656e645f547261636b65723a2077697468647261774469 00000c68: PUSH1 0x44 00000c6a: DUP3 00000c6b: ADD 00000c6c: MSTORE 00000c6d: PUSH32 0x766964656e642064697361626c65642e20557365207468652027636c61696d27 00000c8e: PUSH1 0x64 00000c90: DUP3 00000c91: ADD 00000c92: MSTORE 00000c93: PUSH32 0x2066756e6374696f6e206f6e20746865206d61696e2053554e20636f6e747261 00000cb4: PUSH1 0x84 00000cb6: DUP3 00000cb7: ADD 00000cb8: MSTORE 00000cb9: PUSH3 0x31ba17 00000cbd: PUSH1 0xe9 00000cbf: SHL 00000cc0: PUSH1 0xa4 00000cc2: DUP3 00000cc3: ADD 00000cc4: MSTORE 00000cc5: PUSH1 0xc4 00000cc7: ADD 00000cc8: PUSH2 0x08da 00000ccb: JUMP 00000ccc: JUMPDEST 00000ccd: PUSH1 0x09 00000ccf: SLOAD 00000cd0: PUSH1 0x01 00000cd2: PUSH1 0x01 00000cd4: PUSH1 0xa0 00000cd6: SHL 00000cd7: SUB 00000cd8: AND 00000cd9: CALLER 00000cda: EQ 00000cdb: PUSH2 0x0cf6 00000cde: JUMPI 00000cdf: PUSH1 0x40 00000ce1: MLOAD 00000ce2: PUSH3 0x461bcd 00000ce6: PUSH1 0xe5 00000ce8: SHL 00000ce9: DUP2 00000cea: MSTORE 00000ceb: PUSH1 0x04 00000ced: ADD 00000cee: PUSH2 0x08da 00000cf1: SWAP1 00000cf2: PUSH2 0x1dff 00000cf5: JUMP 00000cf6: JUMPDEST 00000cf7: PUSH2 0x07a1 00000cfa: PUSH1 0x00 00000cfc: PUSH2 0x1792 00000cff: JUMP 00000d00: JUMPDEST 00000d01: PUSH1 0x00 00000d03: PUSH2 0x0846 00000d06: DUP3 00000d07: PUSH2 0x0db3 00000d0a: JUMP 00000d0b: JUMPDEST 00000d0c: PUSH1 0x60 00000d0e: PUSH1 0x04 00000d10: DUP1 00000d11: SLOAD 00000d12: PUSH2 0x07b2 00000d15: SWAP1 00000d16: PUSH2 0x1f24 00000d19: JUMP 00000d1a: JUMPDEST 00000d1b: CALLER 00000d1c: PUSH1 0x00 00000d1e: SWAP1 00000d1f: DUP2 00000d20: MSTORE 00000d21: PUSH1 0x01 00000d23: PUSH1 0x20 00000d25: SWAP1 00000d26: DUP2 00000d27: MSTORE 00000d28: PUSH1 0x40 00000d2a: DUP1 00000d2b: DUP4 00000d2c: KECCAK256 00000d2d: PUSH1 0x01 00000d2f: PUSH1 0x01 00000d31: PUSH1 0xa0 00000d33: SHL 00000d34: SUB 00000d35: DUP7 00000d36: AND 00000d37: DUP5 00000d38: MSTORE 00000d39: SWAP1 00000d3a: SWAP2 00000d3b: MSTORE 00000d3c: DUP2 00000d3d: KECCAK256 00000d3e: SLOAD 00000d3f: DUP3 00000d40: DUP2 00000d41: LT 00000d42: ISZERO 00000d43: PUSH2 0x0d9c 00000d46: JUMPI 00000d47: PUSH1 0x40 00000d49: MLOAD 00000d4a: PUSH3 0x461bcd 00000d4e: PUSH1 0xe5 00000d50: SHL 00000d51: DUP2 00000d52: MSTORE 00000d53: PUSH1 0x20 00000d55: PUSH1 0x04 00000d57: DUP3 00000d58: ADD 00000d59: MSTORE 00000d5a: PUSH1 0x25 00000d5c: PUSH1 0x24 00000d5e: DUP3 00000d5f: ADD 00000d60: MSTORE 00000d61: PUSH32 0x45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77 00000d82: PUSH1 0x44 00000d84: DUP3 00000d85: ADD 00000d86: MSTORE 00000d87: PUSH5 0x207a65726f 00000d8d: PUSH1 0xd8 00000d8f: SHL 00000d90: PUSH1 0x64 00000d92: DUP3 00000d93: ADD 00000d94: MSTORE 00000d95: PUSH1 0x84 00000d97: ADD 00000d98: PUSH2 0x08da 00000d9b: JUMP 00000d9c: JUMPDEST 00000d9d: PUSH2 0x0da9 00000da0: CALLER 00000da1: DUP6 00000da2: DUP6 00000da3: DUP5 00000da4: SUB 00000da5: PUSH2 0x14e2 00000da8: JUMP 00000da9: JUMPDEST 00000daa: POP 00000dab: PUSH1 0x01 00000dad: SWAP4 00000dae: SWAP3 00000daf: POP 00000db0: POP 00000db1: POP 00000db2: JUMP 00000db3: JUMPDEST 00000db4: PUSH1 0x01 00000db6: PUSH1 0x01 00000db8: PUSH1 0xa0 00000dba: SHL 00000dbb: SUB 00000dbc: DUP2 00000dbd: AND 00000dbe: PUSH1 0x00 00000dc0: SWAP1 00000dc1: DUP2 00000dc2: MSTORE 00000dc3: PUSH1 0x07 00000dc5: PUSH1 0x20 00000dc7: MSTORE 00000dc8: PUSH1 0x40 00000dca: DUP2 00000dcb: KECCAK256 00000dcc: SLOAD 00000dcd: PUSH2 0x0846 00000dd0: SWAP1 00000dd1: PUSH2 0x0dd9 00000dd4: DUP5 00000dd5: PUSH2 0x08fb 00000dd8: JUMP 00000dd9: JUMPDEST 00000dda: SWAP1 00000ddb: PUSH2 0x17e4 00000dde: JUMP 00000ddf: JUMPDEST 00000de0: PUSH1 0x00 00000de2: PUSH2 0x0842 00000de5: CALLER 00000de6: DUP5 00000de7: DUP5 00000de8: PUSH2 0x1606 00000deb: JUMP 00000dec: JUMPDEST 00000ded: PUSH1 0x09 00000def: SLOAD 00000df0: PUSH1 0x00 00000df2: SWAP1 00000df3: PUSH1 0x01 00000df5: PUSH1 0x01 00000df7: PUSH1 0xa0 00000df9: SHL 00000dfa: SUB 00000dfb: AND 00000dfc: CALLER 00000dfd: EQ 00000dfe: PUSH2 0x0e19 00000e01: JUMPI 00000e02: PUSH1 0x40 00000e04: MLOAD 00000e05: PUSH3 0x461bcd 00000e09: PUSH1 0xe5 00000e0b: SHL 00000e0c: DUP2 00000e0d: MSTORE 00000e0e: PUSH1 0x04 00000e10: ADD 00000e11: PUSH2 0x08da 00000e14: SWAP1 00000e15: PUSH2 0x1dff 00000e18: JUMP 00000e19: JUMPDEST 00000e1a: PUSH1 0x00 00000e1c: PUSH2 0x0e24 00000e1f: DUP5 00000e20: PUSH2 0x17f0 00000e23: JUMP 00000e24: JUMPDEST 00000e25: SWAP1 00000e26: POP 00000e27: DUP1 00000e28: ISZERO 00000e29: PUSH2 0x0e90 00000e2c: JUMPI 00000e2d: PUSH1 0x01 00000e2f: PUSH1 0x01 00000e31: PUSH1 0xa0 00000e33: SHL 00000e34: SUB 00000e35: DUP5 00000e36: AND 00000e37: PUSH1 0x00 00000e39: DUP2 00000e3a: DUP2 00000e3b: MSTORE 00000e3c: PUSH1 0x10 00000e3e: PUSH1 0x20 00000e40: MSTORE 00000e41: PUSH1 0x40 00000e43: SWAP1 00000e44: DUP2 00000e45: SWAP1 00000e46: KECCAK256 00000e47: TIMESTAMP 00000e48: SWAP1 00000e49: SSTORE 00000e4a: MLOAD 00000e4b: DUP5 00000e4c: ISZERO 00000e4d: ISZERO 00000e4e: SWAP2 00000e4f: SWAP1 00000e50: PUSH32 0xa2c38e2d2fb7e3e1912d937fd1ca11ed6d51864dee4cfa7a7bf02becd7acf092 00000e71: SWAP1 00000e72: PUSH2 0x0e7e 00000e75: SWAP1 00000e76: DUP6 00000e77: DUP2 00000e78: MSTORE 00000e79: PUSH1 0x20 00000e7b: ADD 00000e7c: SWAP1 00000e7d: JUMP 00000e7e: JUMPDEST 00000e7f: PUSH1 0x40 00000e81: MLOAD 00000e82: DUP1 00000e83: SWAP2 00000e84: SUB 00000e85: SWAP1 00000e86: LOG3 00000e87: PUSH1 0x01 00000e89: SWAP2 00000e8a: POP 00000e8b: POP 00000e8c: PUSH2 0x0846 00000e8f: JUMP 00000e90: JUMPDEST 00000e91: POP 00000e92: PUSH1 0x00 00000e94: SWAP4 00000e95: SWAP3 00000e96: POP 00000e97: POP 00000e98: POP 00000e99: JUMP 00000e9a: JUMPDEST 00000e9b: PUSH1 0x09 00000e9d: SLOAD 00000e9e: PUSH1 0x01 00000ea0: PUSH1 0x01 00000ea2: PUSH1 0xa0 00000ea4: SHL 00000ea5: SUB 00000ea6: AND 00000ea7: CALLER 00000ea8: EQ 00000ea9: PUSH2 0x0ec4 00000eac: JUMPI 00000ead: PUSH1 0x40 00000eaf: MLOAD 00000eb0: PUSH3 0x461bcd 00000eb4: PUSH1 0xe5 00000eb6: SHL 00000eb7: DUP2 00000eb8: MSTORE 00000eb9: PUSH1 0x04 00000ebb: ADD 00000ebc: PUSH2 0x08da 00000ebf: SWAP1 00000ec0: PUSH2 0x1dff 00000ec3: JUMP 00000ec4: JUMPDEST 00000ec5: PUSH1 0x01 00000ec7: PUSH1 0x01 00000ec9: PUSH1 0xa0 00000ecb: SHL 00000ecc: SUB 00000ecd: DUP3 00000ece: AND 00000ecf: PUSH1 0x00 00000ed1: SWAP1 00000ed2: DUP2 00000ed3: MSTORE 00000ed4: PUSH1 0x0f 00000ed6: PUSH1 0x20 00000ed8: MSTORE 00000ed9: PUSH1 0x40 00000edb: SWAP1 00000edc: KECCAK256 00000edd: SLOAD 00000ede: PUSH1 0xff 00000ee0: AND 00000ee1: ISZERO 00000ee2: PUSH2 0x0ee9 00000ee5: JUMPI 00000ee6: POP 00000ee7: POP 00000ee8: JUMP 00000ee9: JUMPDEST 00000eea: PUSH32 0x000000000000000000000000000000000000000000000000000000003b9aca00 00000f0b: DUP2 00000f0c: LT 00000f0d: PUSH2 0x0f98 00000f10: JUMPI 00000f11: PUSH2 0x0f1a 00000f14: DUP3 00000f15: DUP3 00000f16: PUSH2 0x172d 00000f19: JUMP 00000f1a: JUMPDEST 00000f1b: PUSH1 0x40 00000f1d: MLOAD 00000f1e: PUSH4 0x2f0ad017 00000f23: PUSH1 0xe2 00000f25: SHL 00000f26: DUP2 00000f27: MSTORE 00000f28: PUSH1 0x0a 00000f2a: PUSH1 0x04 00000f2c: DUP3 00000f2d: ADD 00000f2e: MSTORE 00000f2f: PUSH1 0x01 00000f31: PUSH1 0x01 00000f33: PUSH1 0xa0 00000f35: SHL 00000f36: SUB 00000f37: DUP4 00000f38: AND 00000f39: PUSH1 0x24 00000f3b: DUP3 00000f3c: ADD 00000f3d: MSTORE 00000f3e: PUSH1 0x44 00000f40: DUP2 00000f41: ADD 00000f42: DUP3 00000f43: SWAP1 00000f44: MSTORE 00000f45: PUSH20 0xaae8fd33abf46e4aa3d47cd90cb31d9a7669db38 00000f5a: SWAP1 00000f5b: PUSH4 0xbc2b405c 00000f60: SWAP1 00000f61: PUSH1 0x64 00000f63: ADD 00000f64: PUSH1 0x00 00000f66: PUSH1 0x40 00000f68: MLOAD 00000f69: DUP1 00000f6a: DUP4 00000f6b: SUB 00000f6c: DUP2 00000f6d: DUP7 00000f6e: DUP1 00000f6f: EXTCODESIZE 00000f70: ISZERO 00000f71: DUP1 00000f72: ISZERO 00000f73: PUSH2 0x0f7b 00000f76: JUMPI 00000f77: PUSH1 0x00 00000f79: DUP1 00000f7a: REVERT 00000f7b: JUMPDEST 00000f7c: POP 00000f7d: GAS 00000f7e: DELEGATECALL 00000f7f: ISZERO 00000f80: DUP1 00000f81: ISZERO 00000f82: PUSH2 0x0f8f 00000f85: JUMPI 00000f86: RETURNDATASIZE 00000f87: PUSH1 0x00 00000f89: DUP1 00000f8a: RETURNDATACOPY 00000f8b: RETURNDATASIZE 00000f8c: PUSH1 0x00 00000f8e: REVERT 00000f8f: JUMPDEST 00000f90: POP 00000f91: POP 00000f92: POP 00000f93: POP 00000f94: PUSH2 0x1016 00000f97: JUMP 00000f98: JUMPDEST 00000f99: PUSH2 0x0fa3 00000f9c: DUP3 00000f9d: PUSH1 0x00 00000f9f: PUSH2 0x172d 00000fa2: JUMP 00000fa3: JUMPDEST 00000fa4: PUSH1 0x40 00000fa6: MLOAD 00000fa7: PUSH4 0x131836e7 00000fac: PUSH1 0xe2 00000fae: SHL 00000faf: DUP2 00000fb0: MSTORE 00000fb1: PUSH1 0x0a 00000fb3: PUSH1 0x04 00000fb5: DUP3 00000fb6: ADD 00000fb7: MSTORE 00000fb8: PUSH1 0x01 00000fba: PUSH1 0x01 00000fbc: PUSH1 0xa0 00000fbe: SHL 00000fbf: SUB 00000fc0: DUP4 00000fc1: AND 00000fc2: PUSH1 0x24 00000fc4: DUP3 00000fc5: ADD 00000fc6: MSTORE 00000fc7: PUSH20 0xaae8fd33abf46e4aa3d47cd90cb31d9a7669db38 00000fdc: SWAP1 00000fdd: PUSH4 0x4c60db9c 00000fe2: SWAP1 00000fe3: PUSH1 0x44 00000fe5: ADD 00000fe6: PUSH1 0x00 00000fe8: PUSH1 0x40 00000fea: MLOAD 00000feb: DUP1 00000fec: DUP4 00000fed: SUB 00000fee: DUP2 00000fef: DUP7 00000ff0: DUP1 00000ff1: EXTCODESIZE 00000ff2: ISZERO 00000ff3: DUP1 00000ff4: ISZERO 00000ff5: PUSH2 0x0ffd 00000ff8: JUMPI 00000ff9: PUSH1 0x00 00000ffb: DUP1 00000ffc: REVERT 00000ffd: JUMPDEST 00000ffe: POP 00000fff: GAS 00001000: DELEGATECALL 00001001: ISZERO 00001002: DUP1 00001003: ISZERO 00001004: PUSH2 0x1011 00001007: JUMPI 00001008: RETURNDATASIZE 00001009: PUSH1 0x00 0000100b: DUP1 0000100c: RETURNDATACOPY 0000100d: RETURNDATASIZE 0000100e: PUSH1 0x00 00001010: REVERT 00001011: JUMPDEST 00001012: POP 00001013: POP 00001014: POP 00001015: POP 00001016: JUMPDEST 00001017: PUSH2 0x1021 0000101a: DUP3 0000101b: PUSH1 0x01 0000101d: PUSH2 0x0dec 00001020: JUMP 00001021: JUMPDEST 00001022: POP 00001023: JUMPDEST 00001024: POP 00001025: POP 00001026: JUMP 00001027: JUMPDEST 00001028: PUSH1 0x09 0000102a: SLOAD 0000102b: PUSH1 0x01 0000102d: PUSH1 0x01 0000102f: PUSH1 0xa0 00001031: SHL 00001032: SUB 00001033: AND 00001034: CALLER 00001035: EQ 00001036: PUSH2 0x1051 00001039: JUMPI 0000103a: PUSH1 0x40 0000103c: MLOAD 0000103d: PUSH3 0x461bcd 00001041: PUSH1 0xe5 00001043: SHL 00001044: DUP2 00001045: MSTORE 00001046: PUSH1 0x04 00001048: ADD 00001049: PUSH2 0x08da 0000104c: SWAP1 0000104d: PUSH2 0x1dff 00001050: JUMP 00001051: JUMPDEST 00001052: PUSH2 0x0e10 00001055: DUP2 00001056: LT 00001057: ISZERO 00001058: DUP1 00001059: ISZERO 0000105a: PUSH2 0x1066 0000105d: JUMPI 0000105e: POP 0000105f: PUSH3 0x015180 00001063: DUP2 00001064: GT 00001065: ISZERO 00001066: JUMPDEST 00001067: PUSH2 0x10ea 0000106a: JUMPI 0000106b: PUSH1 0x40 0000106d: MLOAD 0000106e: PUSH3 0x461bcd 00001072: PUSH1 0xe5 00001074: SHL 00001075: DUP2 00001076: MSTORE 00001077: PUSH1 0x20 00001079: PUSH1 0x04 0000107b: DUP3 0000107c: ADD 0000107d: MSTORE 0000107e: PUSH1 0x49 00001080: PUSH1 0x24 00001082: DUP3 00001083: ADD 00001084: MSTORE 00001085: PUSH32 0x53554e5f4469766964656e645f547261636b65723a20636c61696d5761697420 000010a6: PUSH1 0x44 000010a8: DUP3 000010a9: ADD 000010aa: MSTORE 000010ab: PUSH32 0x6d757374206265207570646174656420746f206265747765656e203120616e64 000010cc: PUSH1 0x64 000010ce: DUP3 000010cf: ADD 000010d0: MSTORE 000010d1: PUSH9 0x20323420686f757273 000010db: PUSH1 0xb8 000010dd: SHL 000010de: PUSH1 0x84 000010e0: DUP3 000010e1: ADD 000010e2: MSTORE 000010e3: PUSH1 0xa4 000010e5: ADD 000010e6: PUSH2 0x08da 000010e9: JUMP 000010ea: JUMPDEST 000010eb: PUSH1 0x11 000010ed: SLOAD 000010ee: DUP2 000010ef: EQ 000010f0: ISZERO 000010f1: PUSH2 0x1162 000010f4: JUMPI 000010f5: PUSH1 0x40 000010f7: MLOAD 000010f8: PUSH3 0x461bcd 000010fc: PUSH1 0xe5 000010fe: SHL 000010ff: DUP2 00001100: MSTORE 00001101: PUSH1 0x20 00001103: PUSH1 0x04 00001105: DUP3 00001106: ADD 00001107: MSTORE 00001108: PUSH1 0x3b 0000110a: PUSH1 0x24 0000110c: DUP3 0000110d: ADD 0000110e: MSTORE 0000110f: PUSH32 0x53554e5f4469766964656e645f547261636b65723a2043616e6e6f7420757064 00001130: PUSH1 0x44 00001132: DUP3 00001133: ADD 00001134: MSTORE 00001135: PUSH32 0x61746520636c61696d5761697420746f2073616d652076616c75650000000000 00001156: PUSH1 0x64 00001158: DUP3 00001159: ADD 0000115a: MSTORE 0000115b: PUSH1 0x84 0000115d: ADD 0000115e: PUSH2 0x08da 00001161: JUMP 00001162: JUMPDEST 00001163: PUSH1 0x11 00001165: SLOAD 00001166: PUSH1 0x40 00001168: MLOAD 00001169: DUP3 0000116a: SWAP1 0000116b: PUSH32 0x474ea64804364a1e29a4487ddb63c3342a2dd826ccd8acf48825e680a0e6f20f 0000118c: SWAP1 0000118d: PUSH1 0x00 0000118f: SWAP1 00001190: LOG3 00001191: PUSH1 0x11 00001193: SSTORE 00001194: JUMP 00001195: JUMPDEST 00001196: PUSH1 0x09 00001198: SLOAD 00001199: PUSH1 0x01 0000119b: PUSH1 0x01 0000119d: PUSH1 0xa0 0000119f: SHL 000011a0: SUB 000011a1: AND 000011a2: CALLER 000011a3: EQ 000011a4: PUSH2 0x11bf 000011a7: JUMPI 000011a8: PUSH1 0x40 000011aa: MLOAD 000011ab: PUSH3 0x461bcd 000011af: PUSH1 0xe5 000011b1: SHL 000011b2: DUP2 000011b3: MSTORE 000011b4: PUSH1 0x04 000011b6: ADD 000011b7: PUSH2 0x08da 000011ba: SWAP1 000011bb: PUSH2 0x1dff 000011be: JUMP 000011bf: JUMPDEST 000011c0: PUSH1 0x01 000011c2: PUSH1 0x01 000011c4: PUSH1 0xa0 000011c6: SHL 000011c7: SUB 000011c8: DUP2 000011c9: AND 000011ca: PUSH2 0x1224 000011cd: JUMPI 000011ce: PUSH1 0x40 000011d0: MLOAD 000011d1: PUSH3 0x461bcd 000011d5: PUSH1 0xe5 000011d7: SHL 000011d8: DUP2 000011d9: MSTORE 000011da: PUSH1 0x20 000011dc: PUSH1 0x04 000011de: DUP3 000011df: ADD 000011e0: MSTORE 000011e1: PUSH1 0x26 000011e3: PUSH1 0x24 000011e5: DUP3 000011e6: ADD 000011e7: MSTORE 000011e8: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00001209: PUSH1 0x44 0000120b: DUP3 0000120c: ADD 0000120d: MSTORE 0000120e: PUSH6 0x646472657373 00001215: PUSH1 0xd0 00001217: SHL 00001218: PUSH1 0x64 0000121a: DUP3 0000121b: ADD 0000121c: MSTORE 0000121d: PUSH1 0x84 0000121f: ADD 00001220: PUSH2 0x08da 00001223: JUMP 00001224: JUMPDEST 00001225: PUSH2 0x122d 00001228: DUP2 00001229: PUSH2 0x1792 0000122c: JUMP 0000122d: JUMPDEST 0000122e: POP 0000122f: JUMP 00001230: JUMPDEST 00001231: PUSH1 0x40 00001233: MLOAD 00001234: PUSH4 0x17e142d1 00001239: PUSH1 0xe0 0000123b: SHL 0000123c: DUP2 0000123d: MSTORE 0000123e: PUSH1 0x0a 00001240: PUSH1 0x04 00001242: DUP3 00001243: ADD 00001244: MSTORE 00001245: PUSH1 0x01 00001247: PUSH1 0x01 00001249: PUSH1 0xa0 0000124b: SHL 0000124c: SUB 0000124d: DUP3 0000124e: AND 0000124f: PUSH1 0x24 00001251: DUP3 00001252: ADD 00001253: MSTORE 00001254: DUP2 00001255: SWAP1 00001256: PUSH1 0x00 00001258: SWAP1 00001259: DUP2 0000125a: SWAP1 0000125b: DUP2 0000125c: SWAP1 0000125d: DUP2 0000125e: SWAP1 0000125f: DUP2 00001260: SWAP1 00001261: DUP2 00001262: SWAP1 00001263: DUP2 00001264: SWAP1 00001265: PUSH20 0xaae8fd33abf46e4aa3d47cd90cb31d9a7669db38 0000127a: SWAP1 0000127b: PUSH4 0x17e142d1 00001280: SWAP1 00001281: PUSH1 0x44 00001283: ADD 00001284: PUSH1 0x20 00001286: PUSH1 0x40 00001288: MLOAD 00001289: DUP1 0000128a: DUP4 0000128b: SUB 0000128c: DUP2 0000128d: DUP7 0000128e: DUP1 0000128f: EXTCODESIZE 00001290: ISZERO 00001291: DUP1 00001292: ISZERO 00001293: PUSH2 0x129b 00001296: JUMPI 00001297: PUSH1 0x00 00001299: DUP1 0000129a: REVERT 0000129b: JUMPDEST 0000129c: POP 0000129d: GAS 0000129e: DELEGATECALL 0000129f: ISZERO 000012a0: DUP1 000012a1: ISZERO 000012a2: PUSH2 0x12af 000012a5: JUMPI 000012a6: RETURNDATASIZE 000012a7: PUSH1 0x00 000012a9: DUP1 000012aa: RETURNDATACOPY 000012ab: RETURNDATASIZE 000012ac: PUSH1 0x00 000012ae: REVERT 000012af: JUMPDEST 000012b0: POP 000012b1: POP 000012b2: POP 000012b3: POP 000012b4: PUSH1 0x40 000012b6: MLOAD 000012b7: RETURNDATASIZE 000012b8: PUSH1 0x1f 000012ba: NOT 000012bb: PUSH1 0x1f 000012bd: DUP3 000012be: ADD 000012bf: AND 000012c0: DUP3 000012c1: ADD 000012c2: DUP1 000012c3: PUSH1 0x40 000012c5: MSTORE 000012c6: POP 000012c7: DUP2 000012c8: ADD 000012c9: SWAP1 000012ca: PUSH2 0x12d3 000012cd: SWAP2 000012ce: SWAP1 000012cf: PUSH2 0x1d78 000012d2: JUMP 000012d3: JUMPDEST 000012d4: SWAP7 000012d5: POP 000012d6: PUSH1 0x00 000012d8: NOT 000012d9: SWAP6 000012da: POP 000012db: PUSH1 0x00 000012dd: DUP8 000012de: SLT 000012df: PUSH2 0x1335 000012e2: JUMPI 000012e3: PUSH1 0x0e 000012e5: SLOAD 000012e6: DUP8 000012e7: GT 000012e8: ISZERO 000012e9: PUSH2 0x1301 000012ec: JUMPI 000012ed: PUSH1 0x0e 000012ef: SLOAD 000012f0: PUSH2 0x12fa 000012f3: SWAP1 000012f4: DUP9 000012f5: SWAP1 000012f6: PUSH2 0x1936 000012f9: JUMP 000012fa: JUMPDEST 000012fb: SWAP6 000012fc: POP 000012fd: PUSH2 0x1335 00001300: JUMP 00001301: JUMPDEST 00001302: PUSH1 0x0e 00001304: SLOAD 00001305: PUSH1 0x0a 00001307: SLOAD 00001308: PUSH1 0x00 0000130a: SWAP2 0000130b: LT 0000130c: PUSH2 0x1316 0000130f: JUMPI 00001310: PUSH1 0x00 00001312: PUSH2 0x1325 00001315: JUMP 00001316: JUMPDEST 00001317: PUSH1 0x0e 00001319: SLOAD 0000131a: PUSH1 0x0a 0000131c: SLOAD 0000131d: PUSH2 0x1325 00001320: SWAP2 00001321: PUSH2 0x17e4 00001324: JUMP 00001325: JUMPDEST 00001326: SWAP1 00001327: POP 00001328: PUSH2 0x1331 0000132b: DUP9 0000132c: DUP3 0000132d: PUSH2 0x16cf 00001330: JUMP 00001331: JUMPDEST 00001332: SWAP7 00001333: POP 00001334: POP 00001335: JUMPDEST 00001336: PUSH2 0x133e 00001339: DUP9 0000133a: PUSH2 0x0db3 0000133d: JUMP 0000133e: JUMPDEST 0000133f: SWAP5 00001340: POP 00001341: PUSH2 0x1349 00001344: DUP9 00001345: PUSH2 0x08fb 00001348: JUMP 00001349: JUMPDEST 0000134a: PUSH1 0x01 0000134c: PUSH1 0x01 0000134e: PUSH1 0xa0 00001350: SHL 00001351: SUB 00001352: DUP10 00001353: AND 00001354: PUSH1 0x00 00001356: SWAP1 00001357: DUP2 00001358: MSTORE 00001359: PUSH1 0x10 0000135b: PUSH1 0x20 0000135d: MSTORE 0000135e: PUSH1 0x40 00001360: SWAP1 00001361: KECCAK256 00001362: SLOAD 00001363: SWAP1 00001364: SWAP5 00001365: POP 00001366: SWAP3 00001367: POP 00001368: DUP3 00001369: PUSH2 0x1373 0000136c: JUMPI 0000136d: PUSH1 0x00 0000136f: PUSH2 0x1381 00001372: JUMP 00001373: JUMPDEST 00001374: PUSH1 0x11 00001376: SLOAD 00001377: PUSH2 0x1381 0000137a: SWAP1 0000137b: DUP5 0000137c: SWAP1 0000137d: PUSH2 0x14d6 00001380: JUMP 00001381: JUMPDEST 00001382: SWAP2 00001383: POP 00001384: TIMESTAMP 00001385: DUP3 00001386: GT 00001387: PUSH2 0x1391 0000138a: JUMPI 0000138b: PUSH1 0x00 0000138d: PUSH2 0x139b 00001390: JUMP 00001391: JUMPDEST 00001392: PUSH2 0x139b 00001395: DUP3 00001396: TIMESTAMP 00001397: PUSH2 0x17e4 0000139a: JUMP 0000139b: JUMPDEST 0000139c: SWAP1 0000139d: POP 0000139e: SWAP2 0000139f: SWAP4 000013a0: SWAP6 000013a1: SWAP8 000013a2: POP 000013a3: SWAP2 000013a4: SWAP4 000013a5: SWAP6 000013a6: SWAP8 000013a7: JUMP 000013a8: JUMPDEST 000013a9: PUSH1 0x0a 000013ab: SLOAD 000013ac: PUSH1 0x00 000013ae: SWAP1 000013af: DUP2 000013b0: SWAP1 000013b1: DUP2 000013b2: SWAP1 000013b3: DUP1 000013b4: PUSH2 0x13c8 000013b7: JUMPI 000013b8: POP 000013b9: POP 000013ba: PUSH1 0x0e 000013bc: SLOAD 000013bd: PUSH1 0x00 000013bf: SWAP3 000013c0: POP 000013c1: DUP3 000013c2: SWAP2 000013c3: POP 000013c4: PUSH2 0x14bc 000013c7: JUMP 000013c8: JUMPDEST 000013c9: PUSH1 0x0e 000013cb: SLOAD 000013cc: PUSH1 0x00 000013ce: DUP1 000013cf: GAS 000013d0: SWAP1 000013d1: POP 000013d2: PUSH1 0x00 000013d4: DUP1 000013d5: JUMPDEST 000013d6: DUP10 000013d7: DUP5 000013d8: LT 000013d9: DUP1 000013da: ISZERO 000013db: PUSH2 0x13e3 000013de: JUMPI 000013df: POP 000013e0: DUP6 000013e1: DUP3 000013e2: LT 000013e3: JUMPDEST 000013e4: ISZERO 000013e5: PUSH2 0x14ab 000013e8: JUMPI 000013e9: DUP5 000013ea: PUSH2 0x13f2 000013ed: DUP2 000013ee: PUSH2 0x1f5f 000013f1: JUMP 000013f2: JUMPDEST 000013f3: PUSH1 0x0a 000013f5: SLOAD 000013f6: SWAP1 000013f7: SWAP7 000013f8: POP 000013f9: DUP7 000013fa: LT 000013fb: SWAP1 000013fc: POP 000013fd: PUSH2 0x1405 00001400: JUMPI 00001401: PUSH1 0x00 00001403: SWAP5 00001404: POP 00001405: JUMPDEST 00001406: PUSH1 0x00 00001408: PUSH1 0x0a 0000140a: PUSH1 0x00 0000140c: ADD 0000140d: DUP7 0000140e: DUP2 0000140f: SLOAD 00001410: DUP2 00001411: LT 00001412: PUSH2 0x141d 00001415: JUMPI 00001416: PUSH2 0x141d 00001419: PUSH2 0x1f90 0000141c: JUMP 0000141d: JUMPDEST 0000141e: PUSH1 0x00 00001420: SWAP2 00001421: DUP3 00001422: MSTORE 00001423: PUSH1 0x20 00001425: DUP1 00001426: DUP4 00001427: KECCAK256 00001428: SWAP1 00001429: SWAP2 0000142a: ADD 0000142b: SLOAD 0000142c: PUSH1 0x01 0000142e: PUSH1 0x01 00001430: PUSH1 0xa0 00001432: SHL 00001433: SUB 00001434: AND 00001435: DUP1 00001436: DUP4 00001437: MSTORE 00001438: PUSH1 0x10 0000143a: SWAP1 0000143b: SWAP2 0000143c: MSTORE 0000143d: PUSH1 0x40 0000143f: SWAP1 00001440: SWAP2 00001441: KECCAK256 00001442: SLOAD 00001443: SWAP1 00001444: SWAP2 00001445: POP 00001446: PUSH2 0x144e 00001449: SWAP1 0000144a: PUSH2 0x1942 0000144d: JUMP 0000144e: JUMPDEST 0000144f: ISZERO 00001450: PUSH2 0x1471 00001453: JUMPI 00001454: PUSH2 0x145e 00001457: DUP2 00001458: PUSH1 0x01 0000145a: PUSH2 0x0dec 0000145d: JUMP 0000145e: JUMPDEST 0000145f: ISZERO 00001460: PUSH2 0x1471 00001463: JUMPI 00001464: DUP2 00001465: PUSH2 0x146d 00001468: DUP2 00001469: PUSH2 0x1f5f 0000146c: JUMP 0000146d: JUMPDEST 0000146e: SWAP3 0000146f: POP 00001470: POP 00001471: JUMPDEST 00001472: DUP3 00001473: PUSH2 0x147b 00001476: DUP2 00001477: PUSH2 0x1f5f 0000147a: JUMP 0000147b: JUMPDEST 0000147c: SWAP4 0000147d: POP 0000147e: POP 0000147f: PUSH1 0x00 00001481: GAS 00001482: SWAP1 00001483: POP 00001484: DUP1 00001485: DUP6 00001486: GT 00001487: ISZERO 00001488: PUSH2 0x14a2 0000148b: JUMPI 0000148c: PUSH2 0x149f 0000148f: PUSH2 0x1498 00001492: DUP7 00001493: DUP4 00001494: PUSH2 0x17e4 00001497: JUMP 00001498: JUMPDEST 00001499: DUP8 0000149a: SWAP1 0000149b: PUSH2 0x14d6 0000149e: JUMP 0000149f: JUMPDEST 000014a0: SWAP6 000014a1: POP 000014a2: JUMPDEST 000014a3: SWAP4 000014a4: POP 000014a5: PUSH2 0x13d5 000014a8: SWAP1 000014a9: POP 000014aa: JUMP 000014ab: JUMPDEST 000014ac: PUSH1 0x0e 000014ae: DUP6 000014af: SWAP1 000014b0: SSTORE 000014b1: SWAP1 000014b2: SWAP8 000014b3: POP 000014b4: SWAP6 000014b5: POP 000014b6: SWAP2 000014b7: SWAP4 000014b8: POP 000014b9: POP 000014ba: POP 000014bb: POP 000014bc: JUMPDEST 000014bd: SWAP2 000014be: SWAP4 000014bf: SWAP1 000014c0: SWAP3 000014c1: POP 000014c2: JUMP 000014c3: JUMPDEST 000014c4: PUSH1 0x00 000014c6: PUSH2 0x14cf 000014c9: DUP3 000014ca: DUP5 000014cb: PUSH2 0x1eaf 000014ce: JUMP 000014cf: JUMPDEST 000014d0: SWAP4 000014d1: SWAP3 000014d2: POP 000014d3: POP 000014d4: POP 000014d5: JUMP 000014d6: JUMPDEST 000014d7: PUSH1 0x00 000014d9: PUSH2 0x14cf 000014dc: DUP3 000014dd: DUP5 000014de: PUSH2 0x1e75 000014e1: JUMP 000014e2: JUMPDEST 000014e3: PUSH1 0x01 000014e5: PUSH1 0x01 000014e7: PUSH1 0xa0 000014e9: SHL 000014ea: SUB 000014eb: DUP4 000014ec: AND 000014ed: PUSH2 0x1544 000014f0: JUMPI 000014f1: PUSH1 0x40 000014f3: MLOAD 000014f4: PUSH3 0x461bcd 000014f8: PUSH1 0xe5 000014fa: SHL 000014fb: DUP2 000014fc: MSTORE 000014fd: PUSH1 0x20 000014ff: PUSH1 0x04 00001501: DUP3 00001502: ADD 00001503: MSTORE 00001504: PUSH1 0x24 00001506: DUP1 00001507: DUP3 00001508: ADD 00001509: MSTORE 0000150a: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464 0000152b: PUSH1 0x44 0000152d: DUP3 0000152e: ADD 0000152f: MSTORE 00001530: PUSH4 0x72657373 00001535: PUSH1 0xe0 00001537: SHL 00001538: PUSH1 0x64 0000153a: DUP3 0000153b: ADD 0000153c: MSTORE 0000153d: PUSH1 0x84 0000153f: ADD 00001540: PUSH2 0x08da 00001543: JUMP 00001544: JUMPDEST 00001545: PUSH1 0x01 00001547: PUSH1 0x01 00001549: PUSH1 0xa0 0000154b: SHL 0000154c: SUB 0000154d: DUP3 0000154e: AND 0000154f: PUSH2 0x15a5 00001552: JUMPI 00001553: PUSH1 0x40 00001555: MLOAD 00001556: PUSH3 0x461bcd 0000155a: PUSH1 0xe5 0000155c: SHL 0000155d: DUP2 0000155e: MSTORE 0000155f: PUSH1 0x20 00001561: PUSH1 0x04 00001563: DUP3 00001564: ADD 00001565: MSTORE 00001566: PUSH1 0x22 00001568: PUSH1 0x24 0000156a: DUP3 0000156b: ADD 0000156c: MSTORE 0000156d: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265 0000158e: PUSH1 0x44 00001590: DUP3 00001591: ADD 00001592: MSTORE 00001593: PUSH2 0x7373 00001596: PUSH1 0xf0 00001598: SHL 00001599: PUSH1 0x64 0000159b: DUP3 0000159c: ADD 0000159d: MSTORE 0000159e: PUSH1 0x84 000015a0: ADD 000015a1: PUSH2 0x08da 000015a4: JUMP 000015a5: JUMPDEST 000015a6: PUSH1 0x01 000015a8: PUSH1 0x01 000015aa: PUSH1 0xa0 000015ac: SHL 000015ad: SUB 000015ae: DUP4 000015af: DUP2 000015b0: AND 000015b1: PUSH1 0x00 000015b3: DUP2 000015b4: DUP2 000015b5: MSTORE 000015b6: PUSH1 0x01 000015b8: PUSH1 0x20 000015ba: SWAP1 000015bb: DUP2 000015bc: MSTORE 000015bd: PUSH1 0x40 000015bf: DUP1 000015c0: DUP4 000015c1: KECCAK256 000015c2: SWAP5 000015c3: DUP8 000015c4: AND 000015c5: DUP1 000015c6: DUP5 000015c7: MSTORE 000015c8: SWAP5 000015c9: DUP3 000015ca: MSTORE 000015cb: SWAP2 000015cc: DUP3 000015cd: SWAP1 000015ce: KECCAK256 000015cf: DUP6 000015d0: SWAP1 000015d1: SSTORE 000015d2: SWAP1 000015d3: MLOAD 000015d4: DUP5 000015d5: DUP2 000015d6: MSTORE 000015d7: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 000015f8: SWAP2 000015f9: ADD 000015fa: PUSH1 0x40 000015fc: MLOAD 000015fd: DUP1 000015fe: SWAP2 000015ff: SUB 00001600: SWAP1 00001601: LOG3 00001602: POP 00001603: POP 00001604: POP 00001605: JUMP 00001606: JUMPDEST 00001607: PUSH1 0x40 00001609: MLOAD 0000160a: PUSH3 0x461bcd 0000160e: PUSH1 0xe5 00001610: SHL 00001611: DUP2 00001612: MSTORE 00001613: PUSH1 0x20 00001615: PUSH1 0x04 00001617: DUP3 00001618: ADD 00001619: MSTORE 0000161a: PUSH1 0x2a 0000161c: PUSH1 0x24 0000161e: DUP3 0000161f: ADD 00001620: MSTORE 00001621: PUSH32 0x53554e5f4469766964656e645f547261636b65723a204e6f207472616e736665 00001642: PUSH1 0x44 00001644: DUP3 00001645: ADD 00001646: MSTORE 00001647: PUSH10 0x1c9cc8185b1b1bddd959 00001652: PUSH1 0xb2 00001654: SHL 00001655: PUSH1 0x64 00001657: DUP3 00001658: ADD 00001659: MSTORE 0000165a: PUSH1 0x84 0000165c: ADD 0000165d: PUSH2 0x08da 00001660: JUMP 00001661: JUMPDEST 00001662: PUSH1 0x00 00001664: PUSH1 0x01 00001666: PUSH1 0x01 00001668: PUSH1 0xff 0000166a: SHL 0000166b: SUB 0000166c: DUP3 0000166d: GT 0000166e: ISZERO 0000166f: PUSH2 0x16cb 00001672: JUMPI 00001673: PUSH1 0x40 00001675: MLOAD 00001676: PUSH3 0x461bcd 0000167a: PUSH1 0xe5 0000167c: SHL 0000167d: DUP2 0000167e: MSTORE 0000167f: PUSH1 0x20 00001681: PUSH1 0x04 00001683: DUP3 00001684: ADD 00001685: MSTORE 00001686: PUSH1 0x28 00001688: PUSH1 0x24 0000168a: DUP3 0000168b: ADD 0000168c: MSTORE 0000168d: PUSH32 0x53616665436173743a2076616c756520646f65736e27742066697420696e2061 000016ae: PUSH1 0x44 000016b0: DUP3 000016b1: ADD 000016b2: MSTORE 000016b3: PUSH8 0x371034b73a191a9b 000016bc: PUSH1 0xc1 000016be: SHL 000016bf: PUSH1 0x64 000016c1: DUP3 000016c2: ADD 000016c3: MSTORE 000016c4: PUSH1 0x84 000016c6: ADD 000016c7: PUSH2 0x08da 000016ca: JUMP 000016cb: JUMPDEST 000016cc: POP 000016cd: SWAP1 000016ce: JUMP 000016cf: JUMPDEST 000016d0: PUSH1 0x00 000016d2: PUSH2 0x14cf 000016d5: DUP3 000016d6: DUP5 000016d7: PUSH2 0x1e34 000016da: JUMP 000016db: JUMPDEST 000016dc: PUSH1 0x00 000016de: DUP1 000016df: DUP3 000016e0: SLT 000016e1: ISZERO 000016e2: PUSH2 0x16cb 000016e5: JUMPI 000016e6: PUSH1 0x40 000016e8: MLOAD 000016e9: PUSH3 0x461bcd 000016ed: PUSH1 0xe5 000016ef: SHL 000016f0: DUP2 000016f1: MSTORE 000016f2: PUSH1 0x20 000016f4: PUSH1 0x04 000016f6: DUP3 000016f7: ADD 000016f8: DUP2 000016f9: SWAP1 000016fa: MSTORE 000016fb: PUSH1 0x24 000016fd: DUP3 000016fe: ADD 000016ff: MSTORE 00001700: PUSH32 0x53616665436173743a2076616c7565206d75737420626520706f736974697665 00001721: PUSH1 0x44 00001723: DUP3 00001724: ADD 00001725: MSTORE 00001726: PUSH1 0x64 00001728: ADD 00001729: PUSH2 0x08da 0000172c: JUMP 0000172d: JUMPDEST 0000172e: PUSH1 0x01 00001730: PUSH1 0x01 00001732: PUSH1 0xa0 00001734: SHL 00001735: SUB 00001736: DUP3 00001737: AND 00001738: PUSH1 0x00 0000173a: SWAP1 0000173b: DUP2 0000173c: MSTORE 0000173d: PUSH1 0x20 0000173f: DUP2 00001740: SWAP1 00001741: MSTORE 00001742: PUSH1 0x40 00001744: SWAP1 00001745: KECCAK256 00001746: SLOAD 00001747: DUP1 00001748: DUP3 00001749: GT 0000174a: ISZERO 0000174b: PUSH2 0x176c 0000174e: JUMPI 0000174f: PUSH1 0x00 00001751: PUSH2 0x175a 00001754: DUP4 00001755: DUP4 00001756: PUSH2 0x17e4 00001759: JUMP 0000175a: JUMPDEST 0000175b: SWAP1 0000175c: POP 0000175d: PUSH2 0x1766 00001760: DUP5 00001761: DUP3 00001762: PUSH2 0x1969 00001765: JUMP 00001766: JUMPDEST 00001767: POP 00001768: PUSH2 0x1021 0000176b: JUMP 0000176c: JUMPDEST 0000176d: DUP1 0000176e: DUP3 0000176f: LT 00001770: ISZERO 00001771: PUSH2 0x1021 00001774: JUMPI 00001775: PUSH1 0x00 00001777: PUSH2 0x1780 0000177a: DUP3 0000177b: DUP5 0000177c: PUSH2 0x17e4 0000177f: JUMP 00001780: JUMPDEST 00001781: SWAP1 00001782: POP 00001783: PUSH2 0x178c 00001786: DUP5 00001787: DUP3 00001788: PUSH2 0x19cd 0000178b: JUMP 0000178c: JUMPDEST 0000178d: POP 0000178e: POP 0000178f: POP 00001790: POP 00001791: JUMP 00001792: JUMPDEST 00001793: PUSH1 0x09 00001795: DUP1 00001796: SLOAD 00001797: PUSH1 0x01 00001799: PUSH1 0x01 0000179b: PUSH1 0xa0 0000179d: SHL 0000179e: SUB 0000179f: DUP4 000017a0: DUP2 000017a1: AND 000017a2: PUSH1 0x01 000017a4: PUSH1 0x01 000017a6: PUSH1 0xa0 000017a8: SHL 000017a9: SUB 000017aa: NOT 000017ab: DUP4 000017ac: AND 000017ad: DUP2 000017ae: OR 000017af: SWAP1 000017b0: SWAP4 000017b1: SSTORE 000017b2: PUSH1 0x40 000017b4: MLOAD 000017b5: SWAP2 000017b6: AND 000017b7: SWAP2 000017b8: SWAP1 000017b9: DUP3 000017ba: SWAP1 000017bb: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000017dc: SWAP1 000017dd: PUSH1 0x00 000017df: SWAP1 000017e0: LOG3 000017e1: POP 000017e2: POP 000017e3: JUMP 000017e4: JUMPDEST 000017e5: PUSH1 0x00 000017e7: PUSH2 0x14cf 000017ea: DUP3 000017eb: DUP5 000017ec: PUSH2 0x1f0d 000017ef: JUMP 000017f0: JUMPDEST 000017f1: PUSH1 0x00 000017f3: DUP1 000017f4: PUSH2 0x17fc 000017f7: DUP4 000017f8: PUSH2 0x0db3 000017fb: JUMP 000017fc: JUMPDEST 000017fd: SWAP1 000017fe: POP 000017ff: DUP1 00001800: ISZERO 00001801: PUSH2 0x192d 00001804: JUMPI 00001805: PUSH1 0x01 00001807: PUSH1 0x01 00001809: PUSH1 0xa0 0000180b: SHL 0000180c: SUB 0000180d: DUP4 0000180e: AND 0000180f: PUSH1 0x00 00001811: SWAP1 00001812: DUP2 00001813: MSTORE 00001814: PUSH1 0x07 00001816: PUSH1 0x20 00001818: MSTORE 00001819: PUSH1 0x40 0000181b: SWAP1 0000181c: KECCAK256 0000181d: SLOAD 0000181e: PUSH2 0x1827 00001821: SWAP1 00001822: DUP3 00001823: PUSH2 0x14d6 00001826: JUMP 00001827: JUMPDEST 00001828: PUSH1 0x01 0000182a: PUSH1 0x01 0000182c: PUSH1 0xa0 0000182e: SHL 0000182f: SUB 00001830: DUP5 00001831: AND 00001832: PUSH1 0x00 00001834: DUP2 00001835: DUP2 00001836: MSTORE 00001837: PUSH1 0x07 00001839: PUSH1 0x20 0000183b: MSTORE 0000183c: PUSH1 0x40 0000183e: SWAP1 0000183f: DUP2 00001840: SWAP1 00001841: KECCAK256 00001842: SWAP3 00001843: SWAP1 00001844: SWAP3 00001845: SSTORE 00001846: SWAP1 00001847: MLOAD 00001848: PUSH32 0xee503bee2bb6a87e57bc57db795f98137327401a0e7b7ce42e37926cc1a9ca4d 00001869: SWAP1 0000186a: PUSH2 0x1876 0000186d: SWAP1 0000186e: DUP5 0000186f: DUP2 00001870: MSTORE 00001871: PUSH1 0x20 00001873: ADD 00001874: SWAP1 00001875: JUMP 00001876: JUMPDEST 00001877: PUSH1 0x40 00001879: MLOAD 0000187a: DUP1 0000187b: SWAP2 0000187c: SUB 0000187d: SWAP1 0000187e: LOG2 0000187f: PUSH1 0x00 00001881: DUP4 00001882: PUSH1 0x01 00001884: PUSH1 0x01 00001886: PUSH1 0xa0 00001888: SHL 00001889: SUB 0000188a: AND 0000188b: DUP3 0000188c: PUSH2 0x0bb8 0000188f: SWAP1 00001890: PUSH1 0x40 00001892: MLOAD 00001893: PUSH1 0x00 00001895: PUSH1 0x40 00001897: MLOAD 00001898: DUP1 00001899: DUP4 0000189a: SUB 0000189b: DUP2 0000189c: DUP6 0000189d: DUP9 0000189e: DUP9 0000189f: CALL 000018a0: SWAP4 000018a1: POP 000018a2: POP 000018a3: POP 000018a4: POP 000018a5: RETURNDATASIZE 000018a6: DUP1 000018a7: PUSH1 0x00 000018a9: DUP2 000018aa: EQ 000018ab: PUSH2 0x18d0 000018ae: JUMPI 000018af: PUSH1 0x40 000018b1: MLOAD 000018b2: SWAP2 000018b3: POP 000018b4: PUSH1 0x1f 000018b6: NOT 000018b7: PUSH1 0x3f 000018b9: RETURNDATASIZE 000018ba: ADD 000018bb: AND 000018bc: DUP3 000018bd: ADD 000018be: PUSH1 0x40 000018c0: MSTORE 000018c1: RETURNDATASIZE 000018c2: DUP3 000018c3: MSTORE 000018c4: RETURNDATASIZE 000018c5: PUSH1 0x00 000018c7: PUSH1 0x20 000018c9: DUP5 000018ca: ADD 000018cb: RETURNDATACOPY 000018cc: PUSH2 0x18d5 000018cf: JUMP 000018d0: JUMPDEST 000018d1: PUSH1 0x60 000018d3: SWAP2 000018d4: POP 000018d5: JUMPDEST 000018d6: POP 000018d7: POP 000018d8: SWAP1 000018d9: POP 000018da: DUP1 000018db: PUSH2 0x1926 000018de: JUMPI 000018df: PUSH1 0x01 000018e1: PUSH1 0x01 000018e3: PUSH1 0xa0 000018e5: SHL 000018e6: SUB 000018e7: DUP5 000018e8: AND 000018e9: PUSH1 0x00 000018eb: SWAP1 000018ec: DUP2 000018ed: MSTORE 000018ee: PUSH1 0x07 000018f0: PUSH1 0x20 000018f2: MSTORE 000018f3: PUSH1 0x40 000018f5: SWAP1 000018f6: KECCAK256 000018f7: SLOAD 000018f8: PUSH2 0x1901 000018fb: SWAP1 000018fc: DUP4 000018fd: PUSH2 0x17e4 00001900: JUMP 00001901: JUMPDEST 00001902: PUSH1 0x01 00001904: PUSH1 0x01 00001906: PUSH1 0xa0 00001908: SHL 00001909: SUB 0000190a: SWAP1 0000190b: SWAP5 0000190c: AND 0000190d: PUSH1 0x00 0000190f: SWAP1 00001910: DUP2 00001911: MSTORE 00001912: PUSH1 0x07 00001914: PUSH1 0x20 00001916: MSTORE 00001917: PUSH1 0x40 00001919: DUP2 0000191a: KECCAK256 0000191b: SWAP5 0000191c: SWAP1 0000191d: SWAP5 0000191e: SSTORE 0000191f: POP 00001920: SWAP2 00001921: SWAP3 00001922: SWAP2 00001923: POP 00001924: POP 00001925: JUMP 00001926: JUMPDEST 00001927: POP 00001928: SWAP3 00001929: SWAP2 0000192a: POP 0000192b: POP 0000192c: JUMP 0000192d: JUMPDEST 0000192e: POP 0000192f: PUSH1 0x00 00001931: SWAP3 00001932: SWAP2 00001933: POP 00001934: POP 00001935: JUMP 00001936: JUMPDEST 00001937: PUSH1 0x00 00001939: PUSH2 0x14cf 0000193c: DUP3 0000193d: DUP5 0000193e: PUSH2 0x1ece 00001941: JUMP 00001942: JUMPDEST 00001943: PUSH1 0x00 00001945: TIMESTAMP 00001946: DUP3 00001947: GT 00001948: ISZERO 00001949: PUSH2 0x1954 0000194c: JUMPI 0000194d: POP 0000194e: PUSH1 0x00 00001950: SWAP2 00001951: SWAP1 00001952: POP 00001953: JUMP 00001954: JUMPDEST 00001955: PUSH1 0x11 00001957: SLOAD 00001958: PUSH2 0x1961 0000195b: TIMESTAMP 0000195c: DUP5 0000195d: PUSH2 0x17e4 00001960: JUMP 00001961: JUMPDEST 00001962: LT 00001963: ISZERO 00001964: SWAP3 00001965: SWAP2 00001966: POP 00001967: POP 00001968: JUMP 00001969: JUMPDEST 0000196a: PUSH2 0x1973 0000196d: DUP3 0000196e: DUP3 0000196f: PUSH2 0x1a11 00001972: JUMP 00001973: JUMPDEST 00001974: PUSH2 0x19ad 00001977: PUSH2 0x198e 0000197a: PUSH2 0x093d 0000197d: DUP4 0000197e: PUSH1 0x05 00001980: SLOAD 00001981: PUSH2 0x14c3 00001984: SWAP1 00001985: SWAP2 00001986: SWAP1 00001987: PUSH4 0xffffffff 0000198c: AND 0000198d: JUMP 0000198e: JUMPDEST 0000198f: PUSH1 0x01 00001991: PUSH1 0x01 00001993: PUSH1 0xa0 00001995: SHL 00001996: SUB 00001997: DUP5 00001998: AND 00001999: PUSH1 0x00 0000199b: SWAP1 0000199c: DUP2 0000199d: MSTORE 0000199e: PUSH1 0x06 000019a0: PUSH1 0x20 000019a2: MSTORE 000019a3: PUSH1 0x40 000019a5: SWAP1 000019a6: KECCAK256 000019a7: SLOAD 000019a8: SWAP1 000019a9: PUSH2 0x1936 000019ac: JUMP 000019ad: JUMPDEST 000019ae: PUSH1 0x01 000019b0: PUSH1 0x01 000019b2: PUSH1 0xa0 000019b4: SHL 000019b5: SUB 000019b6: SWAP1 000019b7: SWAP3 000019b8: AND 000019b9: PUSH1 0x00 000019bb: SWAP1 000019bc: DUP2 000019bd: MSTORE 000019be: PUSH1 0x06 000019c0: PUSH1 0x20 000019c2: MSTORE 000019c3: PUSH1 0x40 000019c5: SWAP1 000019c6: KECCAK256 000019c7: SWAP2 000019c8: SWAP1 000019c9: SWAP2 000019ca: SSTORE 000019cb: POP 000019cc: JUMP 000019cd: JUMPDEST 000019ce: PUSH2 0x19d7 000019d1: DUP3 000019d2: DUP3 000019d3: PUSH2 0x1b04 000019d6: JUMP 000019d7: JUMPDEST 000019d8: PUSH2 0x19ad 000019db: PUSH2 0x19f2 000019de: PUSH2 0x093d 000019e1: DUP4 000019e2: PUSH1 0x05 000019e4: SLOAD 000019e5: PUSH2 0x14c3 000019e8: SWAP1 000019e9: SWAP2 000019ea: SWAP1 000019eb: PUSH4 0xffffffff 000019f0: AND 000019f1: JUMP 000019f2: JUMPDEST 000019f3: PUSH1 0x01 000019f5: PUSH1 0x01 000019f7: PUSH1 0xa0 000019f9: SHL 000019fa: SUB 000019fb: DUP5 000019fc: AND 000019fd: PUSH1 0x00 000019ff: SWAP1 00001a00: DUP2 00001a01: MSTORE 00001a02: PUSH1 0x06 00001a04: PUSH1 0x20 00001a06: MSTORE 00001a07: PUSH1 0x40 00001a09: SWAP1 00001a0a: KECCAK256 00001a0b: SLOAD 00001a0c: SWAP1 00001a0d: PUSH2 0x16cf 00001a10: JUMP 00001a11: JUMPDEST 00001a12: PUSH1 0x01 00001a14: PUSH1 0x01 00001a16: PUSH1 0xa0 00001a18: SHL 00001a19: SUB 00001a1a: DUP3 00001a1b: AND 00001a1c: PUSH2 0x1a67 00001a1f: JUMPI 00001a20: PUSH1 0x40 00001a22: MLOAD 00001a23: PUSH3 0x461bcd 00001a27: PUSH1 0xe5 00001a29: SHL 00001a2a: DUP2 00001a2b: MSTORE 00001a2c: PUSH1 0x20 00001a2e: PUSH1 0x04 00001a30: DUP3 00001a31: ADD 00001a32: MSTORE 00001a33: PUSH1 0x1f 00001a35: PUSH1 0x24 00001a37: DUP3 00001a38: ADD 00001a39: MSTORE 00001a3a: PUSH32 0x45524332303a206d696e7420746f20746865207a65726f206164647265737300 00001a5b: PUSH1 0x44 00001a5d: DUP3 00001a5e: ADD 00001a5f: MSTORE 00001a60: PUSH1 0x64 00001a62: ADD 00001a63: PUSH2 0x08da 00001a66: JUMP 00001a67: JUMPDEST 00001a68: PUSH2 0x1a73 00001a6b: PUSH1 0x00 00001a6d: DUP4 00001a6e: DUP4 00001a6f: PUSH2 0x1021 00001a72: JUMP 00001a73: JUMPDEST 00001a74: DUP1 00001a75: PUSH1 0x02 00001a77: PUSH1 0x00 00001a79: DUP3 00001a7a: DUP3 00001a7b: SLOAD 00001a7c: PUSH2 0x1a85 00001a7f: SWAP2 00001a80: SWAP1 00001a81: PUSH2 0x1e75 00001a84: JUMP 00001a85: JUMPDEST 00001a86: SWAP1 00001a87: SWAP2 00001a88: SSTORE 00001a89: POP 00001a8a: POP 00001a8b: PUSH1 0x01 00001a8d: PUSH1 0x01 00001a8f: PUSH1 0xa0 00001a91: SHL 00001a92: SUB 00001a93: DUP3 00001a94: AND 00001a95: PUSH1 0x00 00001a97: SWAP1 00001a98: DUP2 00001a99: MSTORE 00001a9a: PUSH1 0x20 00001a9c: DUP2 00001a9d: SWAP1 00001a9e: MSTORE 00001a9f: PUSH1 0x40 00001aa1: DUP2 00001aa2: KECCAK256 00001aa3: DUP1 00001aa4: SLOAD 00001aa5: DUP4 00001aa6: SWAP3 00001aa7: SWAP1 00001aa8: PUSH2 0x1ab2 00001aab: SWAP1 00001aac: DUP5 00001aad: SWAP1 00001aae: PUSH2 0x1e75 00001ab1: JUMP 00001ab2: JUMPDEST 00001ab3: SWAP1 00001ab4: SWAP2 00001ab5: SSTORE 00001ab6: POP 00001ab7: POP 00001ab8: PUSH1 0x40 00001aba: MLOAD 00001abb: DUP2 00001abc: DUP2 00001abd: MSTORE 00001abe: PUSH1 0x01 00001ac0: PUSH1 0x01 00001ac2: PUSH1 0xa0 00001ac4: SHL 00001ac5: SUB 00001ac6: DUP4 00001ac7: AND 00001ac8: SWAP1 00001ac9: PUSH1 0x00 00001acb: SWAP1 00001acc: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001aed: SWAP1 00001aee: PUSH1 0x20 00001af0: ADD 00001af1: PUSH1 0x40 00001af3: MLOAD 00001af4: DUP1 00001af5: SWAP2 00001af6: SUB 00001af7: SWAP1 00001af8: LOG3 00001af9: PUSH2 0x1023 00001afc: PUSH1 0x00 00001afe: DUP4 00001aff: DUP4 00001b00: PUSH2 0x1021 00001b03: JUMP 00001b04: JUMPDEST 00001b05: PUSH1 0x01 00001b07: PUSH1 0x01 00001b09: PUSH1 0xa0 00001b0b: SHL 00001b0c: SUB 00001b0d: DUP3 00001b0e: AND 00001b0f: PUSH2 0x1b64 00001b12: JUMPI 00001b13: PUSH1 0x40 00001b15: MLOAD 00001b16: PUSH3 0x461bcd 00001b1a: PUSH1 0xe5 00001b1c: SHL 00001b1d: DUP2 00001b1e: MSTORE 00001b1f: PUSH1 0x20 00001b21: PUSH1 0x04 00001b23: DUP3 00001b24: ADD 00001b25: MSTORE 00001b26: PUSH1 0x21 00001b28: PUSH1 0x24 00001b2a: DUP3 00001b2b: ADD 00001b2c: MSTORE 00001b2d: PUSH32 0x45524332303a206275726e2066726f6d20746865207a65726f20616464726573 00001b4e: PUSH1 0x44 00001b50: DUP3 00001b51: ADD 00001b52: MSTORE 00001b53: PUSH1 0x73 00001b55: PUSH1 0xf8 00001b57: SHL 00001b58: PUSH1 0x64 00001b5a: DUP3 00001b5b: ADD 00001b5c: MSTORE 00001b5d: PUSH1 0x84 00001b5f: ADD 00001b60: PUSH2 0x08da 00001b63: JUMP 00001b64: JUMPDEST 00001b65: PUSH2 0x1b70 00001b68: DUP3 00001b69: PUSH1 0x00 00001b6b: DUP4 00001b6c: PUSH2 0x1021 00001b6f: JUMP 00001b70: JUMPDEST 00001b71: PUSH1 0x01 00001b73: PUSH1 0x01 00001b75: PUSH1 0xa0 00001b77: SHL 00001b78: SUB 00001b79: DUP3 00001b7a: AND 00001b7b: PUSH1 0x00 00001b7d: SWAP1 00001b7e: DUP2 00001b7f: MSTORE 00001b80: PUSH1 0x20 00001b82: DUP2 00001b83: SWAP1 00001b84: MSTORE 00001b85: PUSH1 0x40 00001b87: SWAP1 00001b88: KECCAK256 00001b89: SLOAD 00001b8a: DUP2 00001b8b: DUP2 00001b8c: LT 00001b8d: ISZERO 00001b8e: PUSH2 0x1be4 00001b91: JUMPI 00001b92: PUSH1 0x40 00001b94: MLOAD 00001b95: PUSH3 0x461bcd 00001b99: PUSH1 0xe5 00001b9b: SHL 00001b9c: DUP2 00001b9d: MSTORE 00001b9e: PUSH1 0x20 00001ba0: PUSH1 0x04 00001ba2: DUP3 00001ba3: ADD 00001ba4: MSTORE 00001ba5: PUSH1 0x22 00001ba7: PUSH1 0x24 00001ba9: DUP3 00001baa: ADD 00001bab: MSTORE 00001bac: PUSH32 0x45524332303a206275726e20616d6f756e7420657863656564732062616c616e 00001bcd: PUSH1 0x44 00001bcf: DUP3 00001bd0: ADD 00001bd1: MSTORE 00001bd2: PUSH2 0x6365 00001bd5: PUSH1 0xf0 00001bd7: SHL 00001bd8: PUSH1 0x64 00001bda: DUP3 00001bdb: ADD 00001bdc: MSTORE 00001bdd: PUSH1 0x84 00001bdf: ADD 00001be0: PUSH2 0x08da 00001be3: JUMP 00001be4: JUMPDEST 00001be5: PUSH1 0x01 00001be7: PUSH1 0x01 00001be9: PUSH1 0xa0 00001beb: SHL 00001bec: SUB 00001bed: DUP4 00001bee: AND 00001bef: PUSH1 0x00 00001bf1: SWAP1 00001bf2: DUP2 00001bf3: MSTORE 00001bf4: PUSH1 0x20 00001bf6: DUP2 00001bf7: SWAP1 00001bf8: MSTORE 00001bf9: PUSH1 0x40 00001bfb: DUP2 00001bfc: KECCAK256 00001bfd: DUP4 00001bfe: DUP4 00001bff: SUB 00001c00: SWAP1 00001c01: SSTORE 00001c02: PUSH1 0x02 00001c04: DUP1 00001c05: SLOAD 00001c06: DUP5 00001c07: SWAP3 00001c08: SWAP1 00001c09: PUSH2 0x1c13 00001c0c: SWAP1 00001c0d: DUP5 00001c0e: SWAP1 00001c0f: PUSH2 0x1f0d 00001c12: JUMP 00001c13: JUMPDEST 00001c14: SWAP1 00001c15: SWAP2 00001c16: SSTORE 00001c17: POP 00001c18: POP 00001c19: PUSH1 0x40 00001c1b: MLOAD 00001c1c: DUP3 00001c1d: DUP2 00001c1e: MSTORE 00001c1f: PUSH1 0x00 00001c21: SWAP1 00001c22: PUSH1 0x01 00001c24: PUSH1 0x01 00001c26: PUSH1 0xa0 00001c28: SHL 00001c29: SUB 00001c2a: DUP6 00001c2b: AND 00001c2c: SWAP1 00001c2d: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001c4e: SWAP1 00001c4f: PUSH1 0x20 00001c51: ADD 00001c52: PUSH1 0x40 00001c54: MLOAD 00001c55: DUP1 00001c56: SWAP2 00001c57: SUB 00001c58: SWAP1 00001c59: LOG3 00001c5a: PUSH2 0x1021 00001c5d: DUP4 00001c5e: PUSH1 0x00 00001c60: DUP5 00001c61: PUSH2 0x1021 00001c64: JUMP 00001c65: JUMPDEST 00001c66: PUSH1 0x00 00001c68: PUSH1 0x20 00001c6a: DUP3 00001c6b: DUP5 00001c6c: SUB 00001c6d: SLT 00001c6e: ISZERO 00001c6f: PUSH2 0x1c77 00001c72: JUMPI 00001c73: PUSH1 0x00 00001c75: DUP1 00001c76: REVERT 00001c77: JUMPDEST 00001c78: DUP2 00001c79: CALLDATALOAD 00001c7a: PUSH2 0x14cf 00001c7d: DUP2 00001c7e: PUSH2 0x1fa6 00001c81: JUMP 00001c82: JUMPDEST 00001c83: PUSH1 0x00 00001c85: PUSH1 0x20 00001c87: DUP3 00001c88: DUP5 00001c89: SUB 00001c8a: SLT 00001c8b: ISZERO 00001c8c: PUSH2 0x1c94 00001c8f: JUMPI 00001c90: PUSH1 0x00 00001c92: DUP1 00001c93: REVERT 00001c94: JUMPDEST 00001c95: DUP2 00001c96: MLOAD 00001c97: PUSH2 0x14cf 00001c9a: DUP2 00001c9b: PUSH2 0x1fa6 00001c9e: JUMP 00001c9f: JUMPDEST 00001ca0: PUSH1 0x00 00001ca2: DUP1 00001ca3: PUSH1 0x40 00001ca5: DUP4 00001ca6: DUP6 00001ca7: SUB 00001ca8: SLT 00001ca9: ISZERO 00001caa: PUSH2 0x1cb2 00001cad: JUMPI 00001cae: PUSH1 0x00 00001cb0: DUP1 00001cb1: REVERT 00001cb2: JUMPDEST 00001cb3: DUP3 00001cb4: CALLDATALOAD 00001cb5: PUSH2 0x1cbd 00001cb8: DUP2 00001cb9: PUSH2 0x1fa6 00001cbc: JUMP 00001cbd: JUMPDEST 00001cbe: SWAP2 00001cbf: POP 00001cc0: PUSH1 0x20 00001cc2: DUP4 00001cc3: ADD 00001cc4: CALLDATALOAD 00001cc5: DUP1 00001cc6: ISZERO 00001cc7: ISZERO 00001cc8: DUP2 00001cc9: EQ 00001cca: PUSH2 0x1cd2 00001ccd: JUMPI 00001cce: PUSH1 0x00 00001cd0: DUP1 00001cd1: REVERT 00001cd2: JUMPDEST 00001cd3: DUP1 00001cd4: SWAP2 00001cd5: POP 00001cd6: POP 00001cd7: SWAP3 00001cd8: POP 00001cd9: SWAP3 00001cda: SWAP1 00001cdb: POP 00001cdc: JUMP 00001cdd: JUMPDEST 00001cde: PUSH1 0x00 00001ce0: DUP1 00001ce1: PUSH1 0x40 00001ce3: DUP4 00001ce4: DUP6 00001ce5: SUB 00001ce6: SLT 00001ce7: ISZERO 00001ce8: PUSH2 0x1cf0 00001ceb: JUMPI 00001cec: PUSH1 0x00 00001cee: DUP1 00001cef: REVERT 00001cf0: JUMPDEST 00001cf1: DUP3 00001cf2: CALLDATALOAD 00001cf3: PUSH2 0x1cfb 00001cf6: DUP2 00001cf7: PUSH2 0x1fa6 00001cfa: JUMP 00001cfb: JUMPDEST 00001cfc: SWAP5 00001cfd: PUSH1 0x20 00001cff: SWAP4 00001d00: SWAP1 00001d01: SWAP4 00001d02: ADD 00001d03: CALLDATALOAD 00001d04: SWAP4 00001d05: POP 00001d06: POP 00001d07: POP 00001d08: JUMP 00001d09: JUMPDEST 00001d0a: PUSH1 0x00 00001d0c: DUP1 00001d0d: PUSH1 0x40 00001d0f: DUP4 00001d10: DUP6 00001d11: SUB 00001d12: SLT 00001d13: ISZERO 00001d14: PUSH2 0x1d1c 00001d17: JUMPI 00001d18: PUSH1 0x00 00001d1a: DUP1 00001d1b: REVERT 00001d1c: JUMPDEST 00001d1d: DUP3 00001d1e: CALLDATALOAD 00001d1f: PUSH2 0x1d27 00001d22: DUP2 00001d23: PUSH2 0x1fa6 00001d26: JUMP 00001d27: JUMPDEST 00001d28: SWAP2 00001d29: POP 00001d2a: PUSH1 0x20 00001d2c: DUP4 00001d2d: ADD 00001d2e: CALLDATALOAD 00001d2f: PUSH2 0x1cd2 00001d32: DUP2 00001d33: PUSH2 0x1fa6 00001d36: JUMP 00001d37: JUMPDEST 00001d38: PUSH1 0x00 00001d3a: DUP1 00001d3b: PUSH1 0x00 00001d3d: PUSH1 0x60 00001d3f: DUP5 00001d40: DUP7 00001d41: SUB 00001d42: SLT 00001d43: ISZERO 00001d44: PUSH2 0x1d4c 00001d47: JUMPI 00001d48: PUSH1 0x00 00001d4a: DUP1 00001d4b: REVERT 00001d4c: JUMPDEST 00001d4d: DUP4 00001d4e: CALLDATALOAD 00001d4f: PUSH2 0x1d57 00001d52: DUP2 00001d53: PUSH2 0x1fa6 00001d56: JUMP 00001d57: JUMPDEST 00001d58: SWAP3 00001d59: POP 00001d5a: PUSH1 0x20 00001d5c: DUP5 00001d5d: ADD 00001d5e: CALLDATALOAD 00001d5f: PUSH2 0x1d67 00001d62: DUP2 00001d63: PUSH2 0x1fa6 00001d66: JUMP 00001d67: JUMPDEST 00001d68: SWAP3 00001d69: SWAP6 00001d6a: SWAP3 00001d6b: SWAP5 00001d6c: POP 00001d6d: POP 00001d6e: POP 00001d6f: PUSH1 0x40 00001d71: SWAP2 00001d72: SWAP1 00001d73: SWAP2 00001d74: ADD 00001d75: CALLDATALOAD 00001d76: SWAP1 00001d77: JUMP 00001d78: JUMPDEST 00001d79: PUSH1 0x00 00001d7b: PUSH1 0x20 00001d7d: DUP3 00001d7e: DUP5 00001d7f: SUB 00001d80: SLT 00001d81: ISZERO 00001d82: PUSH2 0x1d8a 00001d85: JUMPI 00001d86: PUSH1 0x00 00001d88: DUP1 00001d89: REVERT 00001d8a: JUMPDEST 00001d8b: POP 00001d8c: MLOAD 00001d8d: SWAP2 00001d8e: SWAP1 00001d8f: POP 00001d90: JUMP 00001d91: JUMPDEST 00001d92: PUSH1 0x00 00001d94: PUSH1 0x20 00001d96: DUP3 00001d97: DUP5 00001d98: SUB 00001d99: SLT 00001d9a: ISZERO 00001d9b: PUSH2 0x1da3 00001d9e: JUMPI 00001d9f: PUSH1 0x00 00001da1: DUP1 00001da2: REVERT 00001da3: JUMPDEST 00001da4: POP 00001da5: CALLDATALOAD 00001da6: SWAP2 00001da7: SWAP1 00001da8: POP 00001da9: JUMP 00001daa: JUMPDEST 00001dab: PUSH1 0x00 00001dad: PUSH1 0x20 00001daf: DUP1 00001db0: DUP4 00001db1: MSTORE 00001db2: DUP4 00001db3: MLOAD 00001db4: DUP1 00001db5: DUP3 00001db6: DUP6 00001db7: ADD 00001db8: MSTORE 00001db9: PUSH1 0x00 00001dbb: JUMPDEST 00001dbc: DUP2 00001dbd: DUP2 00001dbe: LT 00001dbf: ISZERO 00001dc0: PUSH2 0x1dd7 00001dc3: JUMPI 00001dc4: DUP6 00001dc5: DUP2 00001dc6: ADD 00001dc7: DUP4 00001dc8: ADD 00001dc9: MLOAD 00001dca: DUP6 00001dcb: DUP3 00001dcc: ADD 00001dcd: PUSH1 0x40 00001dcf: ADD 00001dd0: MSTORE 00001dd1: DUP3 00001dd2: ADD 00001dd3: PUSH2 0x1dbb 00001dd6: JUMP 00001dd7: JUMPDEST 00001dd8: DUP2 00001dd9: DUP2 00001dda: GT 00001ddb: ISZERO 00001ddc: PUSH2 0x1de9 00001ddf: JUMPI 00001de0: PUSH1 0x00 00001de2: PUSH1 0x40 00001de4: DUP4 00001de5: DUP8 00001de6: ADD 00001de7: ADD 00001de8: MSTORE 00001de9: JUMPDEST 00001dea: POP 00001deb: PUSH1 0x1f 00001ded: ADD 00001dee: PUSH1 0x1f 00001df0: NOT 00001df1: AND 00001df2: SWAP3 00001df3: SWAP1 00001df4: SWAP3 00001df5: ADD 00001df6: PUSH1 0x40 00001df8: ADD 00001df9: SWAP4 00001dfa: SWAP3 00001dfb: POP 00001dfc: POP 00001dfd: POP 00001dfe: JUMP 00001dff: JUMPDEST 00001e00: PUSH1 0x20 00001e02: DUP1 00001e03: DUP3 00001e04: MSTORE 00001e05: DUP2 00001e06: DUP2 00001e07: ADD 00001e08: MSTORE 00001e09: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00001e2a: PUSH1 0x40 00001e2c: DUP3 00001e2d: ADD 00001e2e: MSTORE 00001e2f: PUSH1 0x60 00001e31: ADD 00001e32: SWAP1 00001e33: JUMP 00001e34: JUMPDEST 00001e35: PUSH1 0x00 00001e37: DUP1 00001e38: DUP3 00001e39: SLT 00001e3a: DUP1 00001e3b: ISZERO 00001e3c: PUSH1 0x01 00001e3e: PUSH1 0x01 00001e40: PUSH1 0xff 00001e42: SHL 00001e43: SUB 00001e44: DUP5 00001e45: SWAP1 00001e46: SUB 00001e47: DUP6 00001e48: SGT 00001e49: AND 00001e4a: ISZERO 00001e4b: PUSH2 0x1e56 00001e4e: JUMPI 00001e4f: PUSH2 0x1e56 00001e52: PUSH2 0x1f7a 00001e55: JUMP 00001e56: JUMPDEST 00001e57: PUSH1 0x01 00001e59: PUSH1 0xff 00001e5b: SHL 00001e5c: DUP4 00001e5d: SWAP1 00001e5e: SUB 00001e5f: DUP5 00001e60: SLT 00001e61: DUP2 00001e62: AND 00001e63: ISZERO 00001e64: PUSH2 0x1e6f 00001e67: JUMPI 00001e68: PUSH2 0x1e6f 00001e6b: PUSH2 0x1f7a 00001e6e: JUMP 00001e6f: JUMPDEST 00001e70: POP 00001e71: POP 00001e72: ADD 00001e73: SWAP1 00001e74: JUMP 00001e75: JUMPDEST 00001e76: PUSH1 0x00 00001e78: DUP3 00001e79: NOT 00001e7a: DUP3 00001e7b: GT 00001e7c: ISZERO 00001e7d: PUSH2 0x1e88 00001e80: JUMPI 00001e81: PUSH2 0x1e88 00001e84: PUSH2 0x1f7a 00001e87: JUMP 00001e88: JUMPDEST 00001e89: POP 00001e8a: ADD 00001e8b: SWAP1 00001e8c: JUMP 00001e8d: JUMPDEST 00001e8e: PUSH1 0x00 00001e90: DUP3 00001e91: PUSH2 0x1eaa 00001e94: JUMPI 00001e95: PUSH4 0x4e487b71 00001e9a: PUSH1 0xe0 00001e9c: SHL 00001e9d: PUSH1 0x00 00001e9f: MSTORE 00001ea0: PUSH1 0x12 00001ea2: PUSH1 0x04 00001ea4: MSTORE 00001ea5: PUSH1 0x24 00001ea7: PUSH1 0x00 00001ea9: REVERT 00001eaa: JUMPDEST 00001eab: POP 00001eac: DIV 00001ead: SWAP1 00001eae: JUMP 00001eaf: JUMPDEST 00001eb0: PUSH1 0x00 00001eb2: DUP2 00001eb3: PUSH1 0x00 00001eb5: NOT 00001eb6: DIV 00001eb7: DUP4 00001eb8: GT 00001eb9: DUP3 00001eba: ISZERO 00001ebb: ISZERO 00001ebc: AND 00001ebd: ISZERO 00001ebe: PUSH2 0x1ec9 00001ec1: JUMPI 00001ec2: PUSH2 0x1ec9 00001ec5: PUSH2 0x1f7a 00001ec8: JUMP 00001ec9: JUMPDEST 00001eca: POP 00001ecb: MUL 00001ecc: SWAP1 00001ecd: JUMP 00001ece: JUMPDEST 00001ecf: PUSH1 0x00 00001ed1: DUP1 00001ed2: DUP4 00001ed3: SLT 00001ed4: DUP1 00001ed5: ISZERO 00001ed6: PUSH1 0x01 00001ed8: PUSH1 0xff 00001eda: SHL 00001edb: DUP6 00001edc: ADD 00001edd: DUP5 00001ede: SLT 00001edf: AND 00001ee0: ISZERO 00001ee1: PUSH2 0x1eec 00001ee4: JUMPI 00001ee5: PUSH2 0x1eec 00001ee8: PUSH2 0x1f7a 00001eeb: JUMP 00001eec: JUMPDEST 00001eed: PUSH1 0x01 00001eef: PUSH1 0x01 00001ef1: PUSH1 0xff 00001ef3: SHL 00001ef4: SUB 00001ef5: DUP5 00001ef6: ADD 00001ef7: DUP4 00001ef8: SGT 00001ef9: DUP2 00001efa: AND 00001efb: ISZERO 00001efc: PUSH2 0x1f07 00001eff: JUMPI 00001f00: PUSH2 0x1f07 00001f03: PUSH2 0x1f7a 00001f06: JUMP 00001f07: JUMPDEST 00001f08: POP 00001f09: POP 00001f0a: SUB 00001f0b: SWAP1 00001f0c: JUMP 00001f0d: JUMPDEST 00001f0e: PUSH1 0x00 00001f10: DUP3 00001f11: DUP3 00001f12: LT 00001f13: ISZERO 00001f14: PUSH2 0x1f1f 00001f17: JUMPI 00001f18: PUSH2 0x1f1f 00001f1b: PUSH2 0x1f7a 00001f1e: JUMP 00001f1f: JUMPDEST 00001f20: POP 00001f21: SUB 00001f22: SWAP1 00001f23: JUMP 00001f24: JUMPDEST 00001f25: PUSH1 0x01 00001f27: DUP2 00001f28: DUP2 00001f29: SHR 00001f2a: SWAP1 00001f2b: DUP3 00001f2c: AND 00001f2d: DUP1 00001f2e: PUSH2 0x1f38 00001f31: JUMPI 00001f32: PUSH1 0x7f 00001f34: DUP3 00001f35: AND 00001f36: SWAP2 00001f37: POP 00001f38: JUMPDEST 00001f39: PUSH1 0x20 00001f3b: DUP3 00001f3c: LT 00001f3d: DUP2 00001f3e: EQ 00001f3f: ISZERO 00001f40: PUSH2 0x1f59 00001f43: JUMPI 00001f44: PUSH4 0x4e487b71 00001f49: PUSH1 0xe0 00001f4b: SHL 00001f4c: PUSH1 0x00 00001f4e: MSTORE 00001f4f: PUSH1 0x22 00001f51: PUSH1 0x04 00001f53: MSTORE 00001f54: PUSH1 0x24 00001f56: PUSH1 0x00 00001f58: REVERT 00001f59: JUMPDEST 00001f5a: POP 00001f5b: SWAP2 00001f5c: SWAP1 00001f5d: POP 00001f5e: JUMP 00001f5f: JUMPDEST 00001f60: PUSH1 0x00 00001f62: PUSH1 0x00 00001f64: NOT 00001f65: DUP3 00001f66: EQ 00001f67: ISZERO 00001f68: PUSH2 0x1f73 00001f6b: JUMPI 00001f6c: PUSH2 0x1f73 00001f6f: PUSH2 0x1f7a 00001f72: JUMP 00001f73: JUMPDEST 00001f74: POP 00001f75: PUSH1 0x01 00001f77: ADD 00001f78: SWAP1 00001f79: JUMP 00001f7a: JUMPDEST 00001f7b: PUSH4 0x4e487b71 00001f80: PUSH1 0xe0 00001f82: SHL 00001f83: PUSH1 0x00 00001f85: MSTORE 00001f86: PUSH1 0x11 00001f88: PUSH1 0x04 00001f8a: MSTORE 00001f8b: PUSH1 0x24 00001f8d: PUSH1 0x00 00001f8f: REVERT 00001f90: JUMPDEST 00001f91: PUSH4 0x4e487b71 00001f96: PUSH1 0xe0 00001f98: SHL 00001f99: PUSH1 0x00 00001f9b: MSTORE 00001f9c: PUSH1 0x32 00001f9e: PUSH1 0x04 00001fa0: MSTORE 00001fa1: PUSH1 0x24 00001fa3: PUSH1 0x00 00001fa5: REVERT 00001fa6: JUMPDEST 00001fa7: PUSH1 0x01 00001fa9: PUSH1 0x01 00001fab: PUSH1 0xa0 00001fad: SHL 00001fae: SUB 00001faf: DUP2 00001fb0: AND 00001fb1: DUP2 00001fb2: EQ 00001fb3: PUSH2 0x122d 00001fb6: JUMPI 00001fb7: PUSH1 0x00 00001fb9: DUP1 00001fba: REVERT 00001fbb: INVALID 00001fbc: LOG2 00001fbd: PUSH5 0x6970667358 00001fc3: UNKNOWN(0x22) 00001fc4: SLT 00001fc5: KECCAK256 00001fc6: UNKNOWN(0x4B) 00001fc7: LT 00001fc8: UNKNOWN(0xDB) 00001fc9: XOR 00001fca: SDIV 00001fcb: POP 00001fcc: UNKNOWN(0xED) 00001fcd: UNKNOWN(0xD2) 00001fce: UNKNOWN(0xB9) 00001fcf: SELFBALANCE 00001fd0: EXTCODESIZE 00001fd1: ORIGIN 00001fd2: UNKNOWN(0xD1) 00001fd3: UNKNOWN(0x22) 00001fd4: BALANCE 00001fd5: PUSH1 0xc8 00001fd7: SWAP11 00001fd8: DUP16 00001fd9: UNKNOWN(0xD3) 00001fda: UNKNOWN(0x4D) 00001fdb: UNKNOWN(0xD1) 00001fdc: UNKNOWN(0xB6) 00001fdd: UNKNOWN(0x27) 00001fde: MLOAD 00001fdf: MSTORE8 00001fe0: DUP14 00001fe1: MLOAD 00001fe2: PUSH18
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | upgradeability | detector | Untrusted DELEGATECALL target reachable | 55 | no | no |
viewtrace_id: 0x937e9402e9f71176b7672ffdbe2f08f3bee9a26b8857886b3697760afa2272ce
call_targets:
0xaae8fd33abf46e4aa3d47cd90cb31d9a7669db38
target_varies:
no
classification:
constant_target
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "sink_reached",
"attempts": 38,
"trace_id": "0x937e9402e9f71176b7672ffdbe2f08f3bee9a26b8857886b3697760afa2272ce",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xaae8fd33abf46e4aa3d47cd90cb31d9a7669db38"
],
"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": "0xe7841ec0",
"selector": "0xe7841ec0",
"calldata_variants": [
"0xe7841ec0",
"0xe7841ec00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe98030c7",
"selector": "0xe98030c7",
"calldata_variants": [
"0xe98030c7",
"0xe98030c70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfbcbc0f1",
"selector": "0xfbcbc0f1",
"calldata_variants": [
"0xfbcbc0f1",
"0xfbcbc0f10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xffb2c479",
"selector": "0xffb2c479",
"calldata_variants": [
"0xffb2c479",
"0xffb2c4790000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbc4c4b37",
"selector": "0xbc4c4b37",
"calldata_variants": [
"0xbc4c4b37",
"0xbc4c4b370000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbe10b614",
"selector": "0xbe10b614",
"calldata_variants": [
"0xbe10b614",
"0xbe10b6140000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2610,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
},
{
"pc": 2845,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
},
{
"pc": 3023,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [
{
"pc": 8145,
"type": "tx_origin_used"
}
],
"delegatecall_count": 6,
"untrusted_delegatecall_count": 6
}
|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xe7841ec0",
"selector": "0xe7841ec0",
"calldata_variants": [
"0xe7841ec0",
"0xe7841ec00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe98030c7",
"selector": "0xe98030c7",
"calldata_variants": [
"0xe98030c7",
"0xe98030c70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfbcbc0f1",
"selector": "0xfbcbc0f1",
"calldata_variants": [
"0xfbcbc0f1",
"0xfbcbc0f10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xffb2c479",
"selector": "0xffb2c479",
"calldata_variants": [
"0xffb2c479",
"0xffb2c4790000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbc4c4b37",
"selector": "0xbc4c4b37",
"calldata_variants": [
"0xbc4c4b37",
"0xbc4c4b370000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbe10b614",
"selector": "0xbe10b614",
"calldata_variants": [
"0xbe10b614",
"0xbe10b6140000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 8145,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x0bf46ef14c88498b99003dc98d93428d54f7ce06b8ceedea5cee5023f85e73e4
call_targets:
0x93d065993aadaa6515bafea8ccaa99301e78f937
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x0bf46ef14c88498b99003dc98d93428d54f7ce06b8ceedea5cee5023f85e73e4",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x93d065993aadaa6515bafea8ccaa99301e78f937"
],
"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": "0xe7841ec0",
"selector": "0xe7841ec0",
"calldata_variants": [
"0xe7841ec0",
"0xe7841ec00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe98030c7",
"selector": "0xe98030c7",
"calldata_variants": [
"0xe98030c7",
"0xe98030c70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfbcbc0f1",
"selector": "0xfbcbc0f1",
"calldata_variants": [
"0xfbcbc0f1",
"0xfbcbc0f10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xffb2c479",
"selector": "0xffb2c479",
"calldata_variants": [
"0xffb2c479",
"0xffb2c4790000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbc4c4b37",
"selector": "0xbc4c4b37",
"calldata_variants": [
"0xbc4c4b37",
"0xbc4c4b370000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbe10b614",
"selector": "0xbe10b614",
"calldata_variants": [
"0xbe10b614",
"0xbe10b6140000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 6303,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": [
{
"pc": 8145,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x0bf46ef14c88498b99003dc98d93428d54f7ce06b8ceedea5cee5023f85e73e4
call_targets:
0x93d065993aadaa6515bafea8ccaa99301e78f937
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x0bf46ef14c88498b99003dc98d93428d54f7ce06b8ceedea5cee5023f85e73e4",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x93d065993aadaa6515bafea8ccaa99301e78f937"
],
"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": "0xe7841ec0",
"selector": "0xe7841ec0",
"calldata_variants": [
"0xe7841ec0",
"0xe7841ec00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe98030c7",
"selector": "0xe98030c7",
"calldata_variants": [
"0xe98030c7",
"0xe98030c70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfbcbc0f1",
"selector": "0xfbcbc0f1",
"calldata_variants": [
"0xfbcbc0f1",
"0xfbcbc0f10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xffb2c479",
"selector": "0xffb2c479",
"calldata_variants": [
"0xffb2c479",
"0xffb2c4790000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbc4c4b37",
"selector": "0xbc4c4b37",
"calldata_variants": [
"0xbc4c4b37",
"0xbc4c4b370000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbe10b614",
"selector": "0xbe10b614",
"calldata_variants": [
"0xbe10b614",
"0xbe10b6140000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 6303,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [
{
"pc": 8145,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 1
}
|