019ba927-db9b-70ab-8b09-1643012c2e45
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 |
|---|---|---|---|---|
| 34948 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 34949 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 34950 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 34951 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 34952 | capability.graph | complete | 1 / 3 | 3 months ago |
| 34953 | detector.run | complete | 1 / 3 | 3 months ago |
| 34954 | validation.fork | complete | 1 / 3 | 3 months ago |
{
"status": "not_proxy"
}
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x01d1 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x807ab4f7 00000019: GT 0000001a: PUSH2 0x00f7 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xad76d686 00000024: GT 00000025: PUSH2 0x0095 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xeb53e214 0000002f: GT 00000030: PUSH2 0x0064 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xeb53e214 0000003a: EQ 0000003b: PUSH2 0x05aa 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xee172546 00000045: EQ 00000046: PUSH2 0x05c0 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf2fde38b 00000050: EQ 00000051: PUSH2 0x05d6 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf82f235f 0000005b: EQ 0000005c: PUSH2 0x05f6 0000005f: JUMPI 00000060: PUSH1 0x00 00000062: DUP1 00000063: REVERT 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0xad76d686 0000006b: EQ 0000006c: PUSH2 0x0505 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xc2590709 00000076: EQ 00000077: PUSH2 0x053b 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xdd62ed3e 00000081: EQ 00000082: PUSH2 0x056f 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xe30443bc 0000008c: EQ 0000008d: PUSH2 0x058a 00000090: JUMPI 00000091: PUSH1 0x00 00000093: DUP1 00000094: REVERT 00000095: JUMPDEST 00000096: DUP1 00000097: PUSH4 0x95d89b41 0000009c: GT 0000009d: PUSH2 0x00d1 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x95d89b41 000000a7: EQ 000000a8: PUSH2 0x0218 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x9d76ea58 000000b2: EQ 000000b3: PUSH2 0x049b 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0xa680e0bc 000000bd: EQ 000000be: PUSH2 0x04cf 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0xa9059cbb 000000c8: EQ 000000c9: PUSH2 0x0259 000000cc: JUMPI 000000cd: PUSH1 0x00 000000cf: DUP1 000000d0: REVERT 000000d1: JUMPDEST 000000d2: DUP1 000000d3: PUSH4 0x807ab4f7 000000d8: EQ 000000d9: PUSH2 0x0429 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0x8357d0bb 000000e3: EQ 000000e4: PUSH2 0x0449 000000e7: JUMPI 000000e8: DUP1 000000e9: PUSH4 0x8da5cb5b 000000ee: EQ 000000ef: PUSH2 0x0469 000000f2: JUMPI 000000f3: PUSH1 0x00 000000f5: DUP1 000000f6: REVERT 000000f7: JUMPDEST 000000f8: DUP1 000000f9: PUSH4 0x2ad4cab7 000000fe: GT 000000ff: PUSH2 0x016f 00000102: JUMPI 00000103: DUP1 00000104: PUSH4 0x6f4a2cd0 00000109: GT 0000010a: PUSH2 0x013e 0000010d: JUMPI 0000010e: DUP1 0000010f: PUSH4 0x6f4a2cd0 00000114: EQ 00000115: PUSH2 0x0384 00000118: JUMPI 00000119: DUP1 0000011a: PUSH4 0x70a08231 0000011f: EQ 00000120: PUSH2 0x038c 00000123: JUMPI 00000124: DUP1 00000125: PUSH4 0x715018a6 0000012a: EQ 0000012b: PUSH2 0x03c2 0000012e: JUMPI 0000012f: DUP1 00000130: PUSH4 0x7b510fe8 00000135: EQ 00000136: PUSH2 0x03d7 00000139: JUMPI 0000013a: PUSH1 0x00 0000013c: DUP1 0000013d: REVERT 0000013e: JUMPDEST 0000013f: DUP1 00000140: PUSH4 0x2ad4cab7 00000145: EQ 00000146: PUSH2 0x0312 00000149: JUMPI 0000014a: DUP1 0000014b: PUSH4 0x3009a609 00000150: EQ 00000151: PUSH2 0x0332 00000154: JUMPI 00000155: DUP1 00000156: PUSH4 0x313ce567 0000015b: EQ 0000015c: PUSH2 0x0348 0000015f: JUMPI 00000160: DUP1 00000161: PUSH4 0x6de1a5a9 00000166: EQ 00000167: PUSH2 0x0364 0000016a: JUMPI 0000016b: PUSH1 0x00 0000016d: DUP1 0000016e: REVERT 0000016f: JUMPDEST 00000170: DUP1 00000171: PUSH4 0x0c70754e 00000176: GT 00000177: PUSH2 0x01ab 0000017a: JUMPI 0000017b: DUP1 0000017c: PUSH4 0x0c70754e 00000181: EQ 00000182: PUSH2 0x0289 00000185: JUMPI 00000186: DUP1 00000187: PUSH4 0x0e832273 0000018c: EQ 0000018d: PUSH2 0x02a9 00000190: JUMPI 00000191: DUP1 00000192: PUSH4 0x18160ddd 00000197: EQ 00000198: PUSH2 0x02e2 0000019b: JUMPI 0000019c: DUP1 0000019d: PUSH4 0x23b872dd 000001a2: EQ 000001a3: PUSH2 0x02f7 000001a6: JUMPI 000001a7: PUSH1 0x00 000001a9: DUP1 000001aa: REVERT 000001ab: JUMPDEST 000001ac: DUP1 000001ad: PUSH4 0x05b3ccb4 000001b2: EQ 000001b3: PUSH2 0x01e5 000001b6: JUMPI 000001b7: DUP1 000001b8: PUSH4 0x06fdde03 000001bd: EQ 000001be: PUSH2 0x0218 000001c1: JUMPI 000001c2: DUP1 000001c3: PUSH4 0x095ea7b3 000001c8: EQ 000001c9: PUSH2 0x0259 000001cc: JUMPI 000001cd: PUSH1 0x00 000001cf: DUP1 000001d0: REVERT 000001d1: JUMPDEST 000001d2: CALLDATASIZE 000001d3: PUSH2 0x01e0 000001d6: JUMPI 000001d7: PUSH2 0x01de 000001da: PUSH2 0x0626 000001dd: JUMP 000001de: JUMPDEST 000001df: STOP 000001e0: JUMPDEST 000001e1: PUSH1 0x00 000001e3: DUP1 000001e4: REVERT 000001e5: JUMPDEST 000001e6: CALLVALUE 000001e7: DUP1 000001e8: ISZERO 000001e9: PUSH2 0x01f1 000001ec: JUMPI 000001ed: PUSH1 0x00 000001ef: DUP1 000001f0: REVERT 000001f1: JUMPDEST 000001f2: POP 000001f3: PUSH2 0x0205 000001f6: PUSH2 0x0200 000001f9: CALLDATASIZE 000001fa: PUSH1 0x04 000001fc: PUSH2 0x17f1 000001ff: JUMP 00000200: JUMPDEST 00000201: PUSH2 0x06f4 00000204: JUMP 00000205: JUMPDEST 00000206: PUSH1 0x40 00000208: MLOAD 00000209: SWAP1 0000020a: DUP2 0000020b: MSTORE 0000020c: PUSH1 0x20 0000020e: ADD 0000020f: JUMPDEST 00000210: PUSH1 0x40 00000212: MLOAD 00000213: DUP1 00000214: SWAP2 00000215: SUB 00000216: SWAP1 00000217: RETURN 00000218: JUMPDEST 00000219: CALLVALUE 0000021a: DUP1 0000021b: ISZERO 0000021c: PUSH2 0x0224 0000021f: JUMPI 00000220: PUSH1 0x00 00000222: DUP1 00000223: REVERT 00000224: JUMPDEST 00000225: POP 00000226: PUSH1 0x40 00000228: DUP1 00000229: MLOAD 0000022a: DUP1 0000022b: DUP3 0000022c: ADD 0000022d: DUP3 0000022e: MSTORE 0000022f: PUSH1 0x12 00000231: DUP2 00000232: MSTORE 00000233: PUSH18 0x20a9a0a82fa932bbb0b9322a3930b1b5b2b9 00000246: PUSH1 0x71 00000248: SHL 00000249: PUSH1 0x20 0000024b: DUP3 0000024c: ADD 0000024d: MSTORE 0000024e: SWAP1 0000024f: MLOAD 00000250: PUSH2 0x020f 00000253: SWAP2 00000254: SWAP1 00000255: PUSH2 0x1815 00000258: JUMP 00000259: JUMPDEST 0000025a: CALLVALUE 0000025b: DUP1 0000025c: ISZERO 0000025d: PUSH2 0x0265 00000260: JUMPI 00000261: PUSH1 0x00 00000263: DUP1 00000264: REVERT 00000265: JUMPDEST 00000266: POP 00000267: PUSH2 0x0279 0000026a: PUSH2 0x0274 0000026d: CALLDATASIZE 0000026e: PUSH1 0x04 00000270: PUSH2 0x186a 00000273: JUMP 00000274: JUMPDEST 00000275: PUSH2 0x0758 00000278: JUMP 00000279: JUMPDEST 0000027a: PUSH1 0x40 0000027c: MLOAD 0000027d: SWAP1 0000027e: ISZERO 0000027f: ISZERO 00000280: DUP2 00000281: MSTORE 00000282: PUSH1 0x20 00000284: ADD 00000285: PUSH2 0x020f 00000288: JUMP 00000289: JUMPDEST 0000028a: CALLVALUE 0000028b: DUP1 0000028c: ISZERO 0000028d: PUSH2 0x0295 00000290: JUMPI 00000291: PUSH1 0x00 00000293: DUP1 00000294: REVERT 00000295: JUMPDEST 00000296: POP 00000297: PUSH2 0x0205 0000029a: PUSH2 0x02a4 0000029d: CALLDATASIZE 0000029e: PUSH1 0x04 000002a0: PUSH2 0x17f1 000002a3: JUMP 000002a4: JUMPDEST 000002a5: PUSH2 0x07b6 000002a8: JUMP 000002a9: JUMPDEST 000002aa: CALLVALUE 000002ab: DUP1 000002ac: ISZERO 000002ad: PUSH2 0x02b5 000002b0: JUMPI 000002b1: PUSH1 0x00 000002b3: DUP1 000002b4: REVERT 000002b5: JUMPDEST 000002b6: POP 000002b7: PUSH2 0x0279 000002ba: PUSH2 0x02c4 000002bd: CALLDATASIZE 000002be: PUSH1 0x04 000002c0: PUSH2 0x17f1 000002c3: JUMP 000002c4: JUMPDEST 000002c5: PUSH1 0x01 000002c7: PUSH1 0x01 000002c9: PUSH1 0xa0 000002cb: SHL 000002cc: SUB 000002cd: AND 000002ce: PUSH1 0x00 000002d0: SWAP1 000002d1: DUP2 000002d2: MSTORE 000002d3: PUSH1 0x07 000002d5: PUSH1 0x20 000002d7: MSTORE 000002d8: PUSH1 0x40 000002da: SWAP1 000002db: KECCAK256 000002dc: SLOAD 000002dd: PUSH1 0xff 000002df: AND 000002e0: SWAP1 000002e1: JUMP 000002e2: JUMPDEST 000002e3: CALLVALUE 000002e4: DUP1 000002e5: ISZERO 000002e6: PUSH2 0x02ee 000002e9: JUMPI 000002ea: PUSH1 0x00 000002ec: DUP1 000002ed: REVERT 000002ee: JUMPDEST 000002ef: POP 000002f0: PUSH1 0x02 000002f2: SLOAD 000002f3: PUSH2 0x0205 000002f6: JUMP 000002f7: JUMPDEST 000002f8: CALLVALUE 000002f9: DUP1 000002fa: ISZERO 000002fb: PUSH2 0x0303 000002fe: JUMPI 000002ff: PUSH1 0x00 00000301: DUP1 00000302: REVERT 00000303: JUMPDEST 00000304: POP 00000305: PUSH2 0x0279 00000308: PUSH2 0x0274 0000030b: CALLDATASIZE 0000030c: PUSH1 0x04 0000030e: PUSH2 0x1896 00000311: JUMP 00000312: JUMPDEST 00000313: CALLVALUE 00000314: DUP1 00000315: ISZERO 00000316: PUSH2 0x031e 00000319: JUMPI 0000031a: PUSH1 0x00 0000031c: DUP1 0000031d: REVERT 0000031e: JUMPDEST 0000031f: POP 00000320: PUSH2 0x01de 00000323: PUSH2 0x032d 00000326: CALLDATASIZE 00000327: PUSH1 0x04 00000329: PUSH2 0x18d7 0000032c: JUMP 0000032d: JUMPDEST 0000032e: PUSH2 0x07e8 00000331: JUMP 00000332: JUMPDEST 00000333: CALLVALUE 00000334: DUP1 00000335: ISZERO 00000336: PUSH2 0x033e 00000339: JUMPI 0000033a: PUSH1 0x00 0000033c: DUP1 0000033d: REVERT 0000033e: JUMPDEST 0000033f: POP 00000340: PUSH2 0x0205 00000343: PUSH1 0x01 00000345: SLOAD 00000346: DUP2 00000347: JUMP 00000348: JUMPDEST 00000349: CALLVALUE 0000034a: DUP1 0000034b: ISZERO 0000034c: PUSH2 0x0354 0000034f: JUMPI 00000350: PUSH1 0x00 00000352: DUP1 00000353: REVERT 00000354: JUMPDEST 00000355: POP 00000356: PUSH1 0x40 00000358: MLOAD 00000359: PUSH1 0x12 0000035b: DUP2 0000035c: MSTORE 0000035d: PUSH1 0x20 0000035f: ADD 00000360: PUSH2 0x020f 00000363: JUMP 00000364: JUMPDEST 00000365: CALLVALUE 00000366: DUP1 00000367: ISZERO 00000368: PUSH2 0x0370 0000036b: JUMPI 0000036c: PUSH1 0x00 0000036e: DUP1 0000036f: REVERT 00000370: JUMPDEST 00000371: POP 00000372: PUSH2 0x0279 00000375: PUSH2 0x037f 00000378: CALLDATASIZE 00000379: PUSH1 0x04 0000037b: PUSH2 0x17f1 0000037e: JUMP 0000037f: JUMPDEST 00000380: PUSH2 0x0a01 00000383: JUMP 00000384: JUMPDEST 00000385: PUSH2 0x01de 00000388: PUSH2 0x0626 0000038b: JUMP 0000038c: JUMPDEST 0000038d: CALLVALUE 0000038e: DUP1 0000038f: ISZERO 00000390: PUSH2 0x0398 00000393: JUMPI 00000394: PUSH1 0x00 00000396: DUP1 00000397: REVERT 00000398: JUMPDEST 00000399: POP 0000039a: PUSH2 0x0205 0000039d: PUSH2 0x03a7 000003a0: CALLDATASIZE 000003a1: PUSH1 0x04 000003a3: PUSH2 0x17f1 000003a6: JUMP 000003a7: JUMPDEST 000003a8: PUSH1 0x01 000003aa: PUSH1 0x01 000003ac: PUSH1 0xa0 000003ae: SHL 000003af: SUB 000003b0: AND 000003b1: PUSH1 0x00 000003b3: SWAP1 000003b4: DUP2 000003b5: MSTORE 000003b6: PUSH1 0x03 000003b8: PUSH1 0x20 000003ba: MSTORE 000003bb: PUSH1 0x40 000003bd: SWAP1 000003be: KECCAK256 000003bf: SLOAD 000003c0: SWAP1 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 0x01de 000003d3: PUSH2 0x0aac 000003d6: JUMP 000003d7: JUMPDEST 000003d8: CALLVALUE 000003d9: DUP1 000003da: ISZERO 000003db: PUSH2 0x03e3 000003de: JUMPI 000003df: PUSH1 0x00 000003e1: DUP1 000003e2: REVERT 000003e3: JUMPDEST 000003e4: POP 000003e5: PUSH2 0x03f7 000003e8: PUSH2 0x03f2 000003eb: CALLDATASIZE 000003ec: PUSH1 0x04 000003ee: PUSH2 0x17f1 000003f1: JUMP 000003f2: JUMPDEST 000003f3: PUSH2 0x0ae0 000003f6: JUMP 000003f7: JUMPDEST 000003f8: PUSH1 0x40 000003fa: DUP1 000003fb: MLOAD 000003fc: PUSH1 0x01 000003fe: PUSH1 0x01 00000400: PUSH1 0xa0 00000402: SHL 00000403: SUB 00000404: SWAP1 00000405: SWAP7 00000406: AND 00000407: DUP7 00000408: MSTORE 00000409: PUSH1 0x20 0000040b: DUP7 0000040c: ADD 0000040d: SWAP5 0000040e: SWAP1 0000040f: SWAP5 00000410: MSTORE 00000411: SWAP3 00000412: DUP5 00000413: ADD 00000414: SWAP2 00000415: SWAP1 00000416: SWAP2 00000417: MSTORE 00000418: PUSH1 0x60 0000041a: DUP4 0000041b: ADD 0000041c: MSTORE 0000041d: PUSH1 0x80 0000041f: DUP3 00000420: ADD 00000421: MSTORE 00000422: PUSH1 0xa0 00000424: ADD 00000425: PUSH2 0x020f 00000428: JUMP 00000429: JUMPDEST 0000042a: CALLVALUE 0000042b: DUP1 0000042c: ISZERO 0000042d: PUSH2 0x0435 00000430: JUMPI 00000431: PUSH1 0x00 00000433: DUP1 00000434: REVERT 00000435: JUMPDEST 00000436: POP 00000437: PUSH2 0x0279 0000043a: PUSH2 0x0444 0000043d: CALLDATASIZE 0000043e: PUSH1 0x04 00000440: PUSH2 0x17f1 00000443: JUMP 00000444: JUMPDEST 00000445: PUSH2 0x0b88 00000448: JUMP 00000449: JUMPDEST 0000044a: CALLVALUE 0000044b: DUP1 0000044c: ISZERO 0000044d: PUSH2 0x0455 00000450: JUMPI 00000451: PUSH1 0x00 00000453: DUP1 00000454: REVERT 00000455: JUMPDEST 00000456: POP 00000457: PUSH2 0x01de 0000045a: PUSH2 0x0464 0000045d: CALLDATASIZE 0000045e: PUSH1 0x04 00000460: PUSH2 0x1915 00000463: JUMP 00000464: JUMPDEST 00000465: PUSH2 0x0c2d 00000468: JUMP 00000469: JUMPDEST 0000046a: CALLVALUE 0000046b: DUP1 0000046c: ISZERO 0000046d: PUSH2 0x0475 00000470: JUMPI 00000471: PUSH1 0x00 00000473: DUP1 00000474: REVERT 00000475: JUMPDEST 00000476: POP 00000477: PUSH1 0x00 00000479: SLOAD 0000047a: PUSH1 0x01 0000047c: PUSH1 0x01 0000047e: PUSH1 0xa0 00000480: SHL 00000481: SUB 00000482: AND 00000483: JUMPDEST 00000484: PUSH1 0x40 00000486: MLOAD 00000487: PUSH1 0x01 00000489: PUSH1 0x01 0000048b: PUSH1 0xa0 0000048d: SHL 0000048e: SUB 0000048f: SWAP1 00000490: SWAP2 00000491: AND 00000492: DUP2 00000493: MSTORE 00000494: PUSH1 0x20 00000496: ADD 00000497: PUSH2 0x020f 0000049a: JUMP 0000049b: JUMPDEST 0000049c: CALLVALUE 0000049d: DUP1 0000049e: ISZERO 0000049f: PUSH2 0x04a7 000004a2: JUMPI 000004a3: PUSH1 0x00 000004a5: DUP1 000004a6: REVERT 000004a7: JUMPDEST 000004a8: POP 000004a9: PUSH2 0x0483 000004ac: PUSH32 0x000000000000000000000000c36ad98e62598ae24d4487d8012209f687c30d45 000004cd: DUP2 000004ce: JUMP 000004cf: JUMPDEST 000004d0: CALLVALUE 000004d1: DUP1 000004d2: ISZERO 000004d3: PUSH2 0x04db 000004d6: JUMPI 000004d7: PUSH1 0x00 000004d9: DUP1 000004da: REVERT 000004db: JUMPDEST 000004dc: POP 000004dd: PUSH2 0x0205 000004e0: PUSH2 0x04ea 000004e3: CALLDATASIZE 000004e4: PUSH1 0x04 000004e6: PUSH2 0x17f1 000004e9: JUMP 000004ea: JUMPDEST 000004eb: PUSH1 0x01 000004ed: PUSH1 0x01 000004ef: PUSH1 0xa0 000004f1: SHL 000004f2: SUB 000004f3: AND 000004f4: PUSH1 0x00 000004f6: SWAP1 000004f7: DUP2 000004f8: MSTORE 000004f9: PUSH1 0x0a 000004fb: PUSH1 0x20 000004fd: MSTORE 000004fe: PUSH1 0x40 00000500: SWAP1 00000501: KECCAK256 00000502: SLOAD 00000503: SWAP1 00000504: JUMP 00000505: JUMPDEST 00000506: CALLVALUE 00000507: DUP1 00000508: ISZERO 00000509: PUSH2 0x0511 0000050c: JUMPI 0000050d: PUSH1 0x00 0000050f: DUP1 00000510: REVERT 00000511: JUMPDEST 00000512: POP 00000513: PUSH2 0x0205 00000516: PUSH2 0x0520 00000519: CALLDATASIZE 0000051a: PUSH1 0x04 0000051c: PUSH2 0x17f1 0000051f: JUMP 00000520: JUMPDEST 00000521: PUSH1 0x01 00000523: PUSH1 0x01 00000525: PUSH1 0xa0 00000527: SHL 00000528: SUB 00000529: AND 0000052a: PUSH1 0x00 0000052c: SWAP1 0000052d: DUP2 0000052e: MSTORE 0000052f: PUSH1 0x09 00000531: PUSH1 0x20 00000533: MSTORE 00000534: PUSH1 0x40 00000536: SWAP1 00000537: KECCAK256 00000538: SLOAD 00000539: SWAP1 0000053a: JUMP 0000053b: JUMPDEST 0000053c: CALLVALUE 0000053d: DUP1 0000053e: ISZERO 0000053f: PUSH2 0x0547 00000542: JUMPI 00000543: PUSH1 0x00 00000545: DUP1 00000546: REVERT 00000547: JUMPDEST 00000548: POP 00000549: PUSH2 0x0205 0000054c: PUSH32 0x0000000000000000000000000000000000000000000000000de0b6b3a7640000 0000056d: DUP2 0000056e: JUMP 0000056f: JUMPDEST 00000570: CALLVALUE 00000571: DUP1 00000572: ISZERO 00000573: PUSH2 0x057b 00000576: JUMPI 00000577: PUSH1 0x00 00000579: DUP1 0000057a: REVERT 0000057b: JUMPDEST 0000057c: POP 0000057d: PUSH2 0x0205 00000580: PUSH2 0x0274 00000583: CALLDATASIZE 00000584: PUSH1 0x04 00000586: PUSH2 0x193a 00000589: JUMP 0000058a: JUMPDEST 0000058b: CALLVALUE 0000058c: DUP1 0000058d: ISZERO 0000058e: PUSH2 0x0596 00000591: JUMPI 00000592: PUSH1 0x00 00000594: DUP1 00000595: REVERT 00000596: JUMPDEST 00000597: POP 00000598: PUSH2 0x01de 0000059b: PUSH2 0x05a5 0000059e: CALLDATASIZE 0000059f: PUSH1 0x04 000005a1: PUSH2 0x186a 000005a4: JUMP 000005a5: JUMPDEST 000005a6: PUSH2 0x0cff 000005a9: JUMP 000005aa: JUMPDEST 000005ab: CALLVALUE 000005ac: DUP1 000005ad: ISZERO 000005ae: PUSH2 0x05b6 000005b1: JUMPI 000005b2: PUSH1 0x00 000005b4: DUP1 000005b5: REVERT 000005b6: JUMPDEST 000005b7: POP 000005b8: PUSH2 0x0205 000005bb: PUSH1 0x06 000005bd: SLOAD 000005be: DUP2 000005bf: JUMP 000005c0: JUMPDEST 000005c1: CALLVALUE 000005c2: DUP1 000005c3: ISZERO 000005c4: PUSH2 0x05cc 000005c7: JUMPI 000005c8: PUSH1 0x00 000005ca: DUP1 000005cb: REVERT 000005cc: JUMPDEST 000005cd: POP 000005ce: PUSH2 0x0205 000005d1: PUSH1 0x05 000005d3: SLOAD 000005d4: DUP2 000005d5: JUMP 000005d6: JUMPDEST 000005d7: CALLVALUE 000005d8: DUP1 000005d9: ISZERO 000005da: PUSH2 0x05e2 000005dd: JUMPI 000005de: PUSH1 0x00 000005e0: DUP1 000005e1: REVERT 000005e2: JUMPDEST 000005e3: POP 000005e4: PUSH2 0x01de 000005e7: PUSH2 0x05f1 000005ea: CALLDATASIZE 000005eb: PUSH1 0x04 000005ed: PUSH2 0x17f1 000005f0: JUMP 000005f1: JUMPDEST 000005f2: PUSH2 0x0d8e 000005f5: JUMP 000005f6: JUMPDEST 000005f7: CALLVALUE 000005f8: DUP1 000005f9: ISZERO 000005fa: PUSH2 0x0602 000005fd: JUMPI 000005fe: PUSH1 0x00 00000600: DUP1 00000601: REVERT 00000602: JUMPDEST 00000603: POP 00000604: PUSH2 0x0279 00000607: PUSH2 0x0611 0000060a: CALLDATASIZE 0000060b: PUSH1 0x04 0000060d: PUSH2 0x17f1 00000610: JUMP 00000611: JUMPDEST 00000612: PUSH1 0x07 00000614: PUSH1 0x20 00000616: MSTORE 00000617: PUSH1 0x00 00000619: SWAP1 0000061a: DUP2 0000061b: MSTORE 0000061c: PUSH1 0x40 0000061e: SWAP1 0000061f: KECCAK256 00000620: SLOAD 00000621: PUSH1 0xff 00000623: AND 00000624: DUP2 00000625: JUMP 00000626: JUMPDEST 00000627: PUSH1 0x00 00000629: PUSH1 0x02 0000062b: SLOAD 0000062c: GT 0000062d: PUSH2 0x0674 00000630: JUMPI 00000631: PUSH1 0x40 00000633: MLOAD 00000634: PUSH3 0x461bcd 00000638: PUSH1 0xe5 0000063a: SHL 0000063b: DUP2 0000063c: MSTORE 0000063d: PUSH1 0x20 0000063f: PUSH1 0x04 00000641: DUP3 00000642: ADD 00000643: MSTORE 00000644: PUSH1 0x14 00000646: PUSH1 0x24 00000648: DUP3 00000649: ADD 0000064a: MSTORE 0000064b: PUSH20 0x151bdd185b081cdd5c1c1b1e481a5b9d985b1a59 00000660: PUSH1 0x62 00000662: SHL 00000663: PUSH1 0x44 00000665: DUP3 00000666: ADD 00000667: MSTORE 00000668: PUSH1 0x64 0000066a: ADD 0000066b: JUMPDEST 0000066c: PUSH1 0x40 0000066e: MLOAD 0000066f: DUP1 00000670: SWAP2 00000671: SUB 00000672: SWAP1 00000673: REVERT 00000674: JUMPDEST 00000675: CALLVALUE 00000676: ISZERO 00000677: PUSH2 0x06f2 0000067a: JUMPI 0000067b: PUSH1 0x02 0000067d: SLOAD 0000067e: PUSH2 0x068b 00000681: PUSH1 0x01 00000683: PUSH1 0x80 00000685: SHL 00000686: CALLVALUE 00000687: PUSH2 0x197e 0000068a: JUMP 0000068b: JUMPDEST 0000068c: PUSH2 0x0695 0000068f: SWAP2 00000690: SWAP1 00000691: PUSH2 0x199d 00000694: JUMP 00000695: JUMPDEST 00000696: PUSH1 0x04 00000698: SLOAD 00000699: PUSH2 0x06a2 0000069c: SWAP2 0000069d: SWAP1 0000069e: PUSH2 0x19bf 000006a1: JUMP 000006a2: JUMPDEST 000006a3: PUSH1 0x04 000006a5: SSTORE 000006a6: PUSH1 0x40 000006a8: MLOAD 000006a9: CALLVALUE 000006aa: DUP2 000006ab: MSTORE 000006ac: CALLER 000006ad: SWAP1 000006ae: PUSH32 0xdf29796aad820e4bb192f3a8d631b76519bcd2cbe77cc85af20e9df53cece086 000006cf: SWAP1 000006d0: PUSH1 0x20 000006d2: ADD 000006d3: PUSH1 0x40 000006d5: MLOAD 000006d6: DUP1 000006d7: SWAP2 000006d8: SUB 000006d9: SWAP1 000006da: LOG2 000006db: CALLVALUE 000006dc: PUSH1 0x05 000006de: PUSH1 0x00 000006e0: DUP3 000006e1: DUP3 000006e2: SLOAD 000006e3: PUSH2 0x06ec 000006e6: SWAP2 000006e7: SWAP1 000006e8: PUSH2 0x19bf 000006eb: JUMP 000006ec: JUMPDEST 000006ed: SWAP1 000006ee: SWAP2 000006ef: SSTORE 000006f0: POP 000006f1: POP 000006f2: JUMPDEST 000006f3: JUMP 000006f4: JUMPDEST 000006f5: PUSH1 0x01 000006f7: PUSH1 0x01 000006f9: PUSH1 0xa0 000006fb: SHL 000006fc: SUB 000006fd: DUP2 000006fe: AND 000006ff: PUSH1 0x00 00000701: SWAP1 00000702: DUP2 00000703: MSTORE 00000704: PUSH1 0x03 00000706: PUSH1 0x20 00000708: MSTORE 00000709: PUSH1 0x40 0000070b: DUP2 0000070c: KECCAK256 0000070d: SLOAD 0000070e: PUSH1 0x04 00000710: SLOAD 00000711: DUP3 00000712: SWAP2 00000713: PUSH2 0x071b 00000716: SWAP2 00000717: PUSH2 0x197e 0000071a: JUMP 0000071b: JUMPDEST 0000071c: PUSH1 0x01 0000071e: PUSH1 0x01 00000720: PUSH1 0xa0 00000722: SHL 00000723: SUB 00000724: DUP5 00000725: AND 00000726: PUSH1 0x00 00000728: SWAP1 00000729: DUP2 0000072a: MSTORE 0000072b: PUSH1 0x08 0000072d: PUSH1 0x20 0000072f: MSTORE 00000730: PUSH1 0x40 00000732: SWAP1 00000733: KECCAK256 00000734: SLOAD 00000735: SWAP1 00000736: SWAP2 00000737: POP 00000738: PUSH1 0x01 0000073a: PUSH1 0x80 0000073c: SHL 0000073d: PUSH2 0x0746 00000740: DUP3 00000741: DUP5 00000742: PUSH2 0x19d7 00000745: JUMP 00000746: JUMPDEST 00000747: PUSH2 0x0750 0000074a: SWAP2 0000074b: SWAP1 0000074c: PUSH2 0x199d 0000074f: JUMP 00000750: JUMPDEST 00000751: SWAP5 00000752: SWAP4 00000753: POP 00000754: POP 00000755: POP 00000756: POP 00000757: JUMP 00000758: JUMPDEST 00000759: PUSH1 0x40 0000075b: MLOAD 0000075c: PUSH3 0x461bcd 00000760: PUSH1 0xe5 00000762: SHL 00000763: DUP2 00000764: MSTORE 00000765: PUSH1 0x20 00000767: PUSH1 0x04 00000769: DUP3 0000076a: ADD 0000076b: MSTORE 0000076c: PUSH1 0x2a 0000076e: PUSH1 0x24 00000770: DUP3 00000771: ADD 00000772: MSTORE 00000773: PUSH32 0x415341505f526577617264547261636b65723a206d6574686f64206e6f742069 00000794: PUSH1 0x44 00000796: DUP3 00000797: ADD 00000798: MSTORE 00000799: PUSH10 0x1b5c1b195b595b9d1959 000007a4: PUSH1 0xb2 000007a6: SHL 000007a7: PUSH1 0x64 000007a9: DUP3 000007aa: ADD 000007ab: MSTORE 000007ac: PUSH1 0x00 000007ae: SWAP1 000007af: PUSH1 0x84 000007b1: ADD 000007b2: PUSH2 0x066b 000007b5: JUMP 000007b6: JUMPDEST 000007b7: PUSH1 0x01 000007b9: PUSH1 0x01 000007bb: PUSH1 0xa0 000007bd: SHL 000007be: SUB 000007bf: DUP2 000007c0: AND 000007c1: PUSH1 0x00 000007c3: SWAP1 000007c4: DUP2 000007c5: MSTORE 000007c6: PUSH1 0x09 000007c8: PUSH1 0x20 000007ca: MSTORE 000007cb: PUSH1 0x40 000007cd: DUP2 000007ce: KECCAK256 000007cf: SLOAD 000007d0: PUSH2 0x07d8 000007d3: DUP4 000007d4: PUSH2 0x06f4 000007d7: JUMP 000007d8: JUMPDEST 000007d9: PUSH2 0x07e2 000007dc: SWAP2 000007dd: SWAP1 000007de: PUSH2 0x1a18 000007e1: JUMP 000007e2: JUMPDEST 000007e3: SWAP3 000007e4: SWAP2 000007e5: POP 000007e6: POP 000007e7: JUMP 000007e8: JUMPDEST 000007e9: PUSH1 0x00 000007eb: SLOAD 000007ec: PUSH1 0x01 000007ee: PUSH1 0x01 000007f0: PUSH1 0xa0 000007f2: SHL 000007f3: SUB 000007f4: AND 000007f5: CALLER 000007f6: EQ 000007f7: PUSH2 0x0812 000007fa: JUMPI 000007fb: PUSH1 0x40 000007fd: MLOAD 000007fe: PUSH3 0x461bcd 00000802: PUSH1 0xe5 00000804: SHL 00000805: DUP2 00000806: MSTORE 00000807: PUSH1 0x04 00000809: ADD 0000080a: PUSH2 0x066b 0000080d: SWAP1 0000080e: PUSH2 0x1a2f 00000811: JUMP 00000812: JUMPDEST 00000813: PUSH1 0x01 00000815: PUSH1 0x01 00000817: PUSH1 0xa0 00000819: SHL 0000081a: SUB 0000081b: DUP3 0000081c: AND 0000081d: PUSH1 0x00 0000081f: SWAP1 00000820: DUP2 00000821: MSTORE 00000822: PUSH1 0x07 00000824: PUSH1 0x20 00000826: MSTORE 00000827: PUSH1 0x40 00000829: SWAP1 0000082a: KECCAK256 0000082b: SLOAD 0000082c: PUSH1 0xff 0000082e: AND 0000082f: ISZERO 00000830: ISZERO 00000831: DUP2 00000832: ISZERO 00000833: ISZERO 00000834: EQ 00000835: ISZERO 00000836: PUSH2 0x08a7 00000839: JUMPI 0000083a: PUSH1 0x40 0000083c: MLOAD 0000083d: PUSH3 0x461bcd 00000841: PUSH1 0xe5 00000843: SHL 00000844: DUP2 00000845: MSTORE 00000846: PUSH1 0x20 00000848: PUSH1 0x04 0000084a: DUP3 0000084b: ADD 0000084c: MSTORE 0000084d: PUSH1 0x3a 0000084f: PUSH1 0x24 00000851: DUP3 00000852: ADD 00000853: MSTORE 00000854: PUSH32 0x415341505f526577617264547261636b65723a206163636f756e7420616c7265 00000875: PUSH1 0x44 00000877: DUP3 00000878: ADD 00000879: MSTORE 0000087a: PUSH32 0x6164792073657420746f20726571756573746564207374617465000000000000 0000089b: PUSH1 0x64 0000089d: DUP3 0000089e: ADD 0000089f: MSTORE 000008a0: PUSH1 0x84 000008a2: ADD 000008a3: PUSH2 0x066b 000008a6: JUMP 000008a7: JUMPDEST 000008a8: PUSH1 0x01 000008aa: PUSH1 0x01 000008ac: PUSH1 0xa0 000008ae: SHL 000008af: SUB 000008b0: DUP3 000008b1: AND 000008b2: PUSH1 0x00 000008b4: SWAP1 000008b5: DUP2 000008b6: MSTORE 000008b7: PUSH1 0x07 000008b9: PUSH1 0x20 000008bb: MSTORE 000008bc: PUSH1 0x40 000008be: SWAP1 000008bf: KECCAK256 000008c0: DUP1 000008c1: SLOAD 000008c2: PUSH1 0xff 000008c4: NOT 000008c5: AND 000008c6: DUP3 000008c7: ISZERO 000008c8: DUP1 000008c9: ISZERO 000008ca: SWAP2 000008cb: SWAP1 000008cc: SWAP2 000008cd: OR 000008ce: SWAP1 000008cf: SWAP2 000008d0: SSTORE 000008d1: PUSH2 0x08e4 000008d4: JUMPI 000008d5: PUSH2 0x08df 000008d8: DUP3 000008d9: PUSH1 0x00 000008db: PUSH2 0x0e29 000008de: JUMP 000008df: JUMPDEST 000008e0: PUSH2 0x09b8 000008e3: JUMP 000008e4: JUMPDEST 000008e5: PUSH1 0x40 000008e7: MLOAD 000008e8: PUSH4 0x70a08231 000008ed: PUSH1 0xe0 000008ef: SHL 000008f0: DUP2 000008f1: MSTORE 000008f2: PUSH1 0x01 000008f4: PUSH1 0x01 000008f6: PUSH1 0xa0 000008f8: SHL 000008f9: SUB 000008fa: DUP4 000008fb: DUP2 000008fc: AND 000008fd: PUSH1 0x04 000008ff: DUP4 00000900: ADD 00000901: MSTORE 00000902: PUSH1 0x00 00000904: SWAP2 00000905: PUSH32 0x000000000000000000000000c36ad98e62598ae24d4487d8012209f687c30d45 00000926: SWAP1 00000927: SWAP2 00000928: AND 00000929: SWAP1 0000092a: PUSH4 0x70a08231 0000092f: SWAP1 00000930: PUSH1 0x24 00000932: ADD 00000933: PUSH1 0x20 00000935: PUSH1 0x40 00000937: MLOAD 00000938: DUP1 00000939: DUP4 0000093a: SUB 0000093b: DUP2 0000093c: DUP7 0000093d: GAS 0000093e: STATICCALL 0000093f: ISZERO 00000940: DUP1 00000941: ISZERO 00000942: PUSH2 0x094f 00000945: JUMPI 00000946: RETURNDATASIZE 00000947: PUSH1 0x00 00000949: DUP1 0000094a: RETURNDATACOPY 0000094b: RETURNDATASIZE 0000094c: PUSH1 0x00 0000094e: REVERT 0000094f: JUMPDEST 00000950: POP 00000951: POP 00000952: POP 00000953: POP 00000954: PUSH1 0x40 00000956: MLOAD 00000957: RETURNDATASIZE 00000958: PUSH1 0x1f 0000095a: NOT 0000095b: PUSH1 0x1f 0000095d: DUP3 0000095e: ADD 0000095f: AND 00000960: DUP3 00000961: ADD 00000962: DUP1 00000963: PUSH1 0x40 00000965: MSTORE 00000966: POP 00000967: DUP2 00000968: ADD 00000969: SWAP1 0000096a: PUSH2 0x0973 0000096d: SWAP2 0000096e: SWAP1 0000096f: PUSH2 0x1a64 00000972: JUMP 00000973: JUMPDEST 00000974: SWAP1 00000975: POP 00000976: PUSH32 0x0000000000000000000000000000000000000000000000000de0b6b3a7640000 00000997: DUP2 00000998: LT 00000999: PUSH2 0x09ab 0000099c: JUMPI 0000099d: PUSH2 0x09a6 000009a0: DUP4 000009a1: DUP3 000009a2: PUSH2 0x0e29 000009a5: JUMP 000009a6: JUMPDEST 000009a7: PUSH2 0x09b6 000009aa: JUMP 000009ab: JUMPDEST 000009ac: PUSH2 0x09b6 000009af: DUP4 000009b0: PUSH1 0x00 000009b2: PUSH2 0x0e29 000009b5: JUMP 000009b6: JUMPDEST 000009b7: POP 000009b8: JUMPDEST 000009b9: DUP2 000009ba: PUSH1 0x01 000009bc: PUSH1 0x01 000009be: PUSH1 0xa0 000009c0: SHL 000009c1: SUB 000009c2: AND 000009c3: PUSH32 0xacf40045c9516ed93201cbb27e9656cc33f8636b026b0e20b4f6ddcfccf404aa 000009e4: DUP3 000009e5: PUSH1 0x40 000009e7: MLOAD 000009e8: PUSH2 0x09f5 000009eb: SWAP2 000009ec: ISZERO 000009ed: ISZERO 000009ee: DUP2 000009ef: MSTORE 000009f0: PUSH1 0x20 000009f2: ADD 000009f3: SWAP1 000009f4: JUMP 000009f5: JUMPDEST 000009f6: PUSH1 0x40 000009f8: MLOAD 000009f9: DUP1 000009fa: SWAP2 000009fb: SUB 000009fc: SWAP1 000009fd: LOG2 000009fe: POP 000009ff: POP 00000a00: JUMP 00000a01: JUMPDEST 00000a02: PUSH1 0x00 00000a04: DUP1 00000a05: SLOAD 00000a06: PUSH1 0x01 00000a08: PUSH1 0x01 00000a0a: PUSH1 0xa0 00000a0c: SHL 00000a0d: SUB 00000a0e: AND 00000a0f: CALLER 00000a10: EQ 00000a11: PUSH2 0x0a2c 00000a14: JUMPI 00000a15: PUSH1 0x40 00000a17: MLOAD 00000a18: PUSH3 0x461bcd 00000a1c: PUSH1 0xe5 00000a1e: SHL 00000a1f: DUP2 00000a20: MSTORE 00000a21: PUSH1 0x04 00000a23: ADD 00000a24: PUSH2 0x066b 00000a27: SWAP1 00000a28: PUSH2 0x1a2f 00000a2b: JUMP 00000a2c: JUMPDEST 00000a2d: PUSH1 0x00 00000a2f: DUP1 00000a30: PUSH2 0x0a38 00000a33: DUP5 00000a34: PUSH2 0x0e87 00000a37: JUMP 00000a38: JUMPDEST 00000a39: SWAP1 00000a3a: SWAP3 00000a3b: POP 00000a3c: SWAP1 00000a3d: POP 00000a3e: DUP2 00000a3f: ISZERO 00000a40: PUSH2 0x0aa2 00000a43: JUMPI 00000a44: PUSH1 0x01 00000a46: PUSH1 0x01 00000a48: PUSH1 0xa0 00000a4a: SHL 00000a4b: SUB 00000a4c: DUP5 00000a4d: AND 00000a4e: PUSH1 0x00 00000a50: DUP2 00000a51: DUP2 00000a52: MSTORE 00000a53: PUSH1 0x0a 00000a55: PUSH1 0x20 00000a57: SWAP1 00000a58: DUP2 00000a59: MSTORE 00000a5a: PUSH1 0x40 00000a5c: SWAP2 00000a5d: DUP3 00000a5e: SWAP1 00000a5f: KECCAK256 00000a60: TIMESTAMP 00000a61: SWAP1 00000a62: SSTORE 00000a63: DUP2 00000a64: MLOAD 00000a65: DUP6 00000a66: DUP2 00000a67: MSTORE 00000a68: SWAP1 00000a69: DUP2 00000a6a: ADD 00000a6b: DUP5 00000a6c: SWAP1 00000a6d: MSTORE 00000a6e: PUSH32 0x0e311a2c6dbfb0153ec3a8a5bdca09070b3e5f60768fdc10a20453f38d186873 00000a8f: SWAP2 00000a90: ADD 00000a91: PUSH1 0x40 00000a93: MLOAD 00000a94: DUP1 00000a95: SWAP2 00000a96: SUB 00000a97: SWAP1 00000a98: LOG2 00000a99: POP 00000a9a: PUSH1 0x01 00000a9c: SWAP4 00000a9d: SWAP3 00000a9e: POP 00000a9f: POP 00000aa0: POP 00000aa1: JUMP 00000aa2: JUMPDEST 00000aa3: POP 00000aa4: PUSH1 0x00 00000aa6: SWAP4 00000aa7: SWAP3 00000aa8: POP 00000aa9: POP 00000aaa: POP 00000aab: JUMP 00000aac: JUMPDEST 00000aad: PUSH1 0x00 00000aaf: SLOAD 00000ab0: PUSH1 0x01 00000ab2: PUSH1 0x01 00000ab4: PUSH1 0xa0 00000ab6: SHL 00000ab7: SUB 00000ab8: AND 00000ab9: CALLER 00000aba: EQ 00000abb: PUSH2 0x0ad6 00000abe: JUMPI 00000abf: PUSH1 0x40 00000ac1: MLOAD 00000ac2: PUSH3 0x461bcd 00000ac6: PUSH1 0xe5 00000ac8: SHL 00000ac9: DUP2 00000aca: MSTORE 00000acb: PUSH1 0x04 00000acd: ADD 00000ace: PUSH2 0x066b 00000ad1: SWAP1 00000ad2: PUSH2 0x1a2f 00000ad5: JUMP 00000ad6: JUMPDEST 00000ad7: PUSH2 0x06f2 00000ada: PUSH1 0x00 00000adc: PUSH2 0x12e6 00000adf: JUMP 00000ae0: JUMPDEST 00000ae1: PUSH1 0x00 00000ae3: DUP1 00000ae4: PUSH1 0x00 00000ae6: DUP1 00000ae7: PUSH1 0x00 00000ae9: PUSH2 0x0b1c 00000aec: PUSH1 0x40 00000aee: MLOAD 00000aef: DUP1 00000af0: PUSH1 0x80 00000af2: ADD 00000af3: PUSH1 0x40 00000af5: MSTORE 00000af6: DUP1 00000af7: PUSH1 0x00 00000af9: PUSH1 0x01 00000afb: PUSH1 0x01 00000afd: PUSH1 0xa0 00000aff: SHL 00000b00: SUB 00000b01: AND 00000b02: DUP2 00000b03: MSTORE 00000b04: PUSH1 0x20 00000b06: ADD 00000b07: PUSH1 0x00 00000b09: DUP2 00000b0a: MSTORE 00000b0b: PUSH1 0x20 00000b0d: ADD 00000b0e: PUSH1 0x00 00000b10: DUP2 00000b11: MSTORE 00000b12: PUSH1 0x20 00000b14: ADD 00000b15: PUSH1 0x00 00000b17: DUP2 00000b18: MSTORE 00000b19: POP 00000b1a: SWAP1 00000b1b: JUMP 00000b1c: JUMPDEST 00000b1d: PUSH1 0x01 00000b1f: PUSH1 0x01 00000b21: PUSH1 0xa0 00000b23: SHL 00000b24: SUB 00000b25: DUP8 00000b26: AND 00000b27: DUP2 00000b28: MSTORE 00000b29: PUSH2 0x0b31 00000b2c: DUP8 00000b2d: PUSH2 0x07b6 00000b30: JUMP 00000b31: JUMPDEST 00000b32: PUSH1 0x20 00000b34: DUP3 00000b35: ADD 00000b36: MSTORE 00000b37: PUSH2 0x0b3f 00000b3a: DUP8 00000b3b: PUSH2 0x06f4 00000b3e: JUMP 00000b3f: JUMPDEST 00000b40: PUSH1 0x40 00000b42: DUP3 00000b43: DUP2 00000b44: ADD 00000b45: SWAP2 00000b46: DUP3 00000b47: MSTORE 00000b48: PUSH1 0x01 00000b4a: PUSH1 0x01 00000b4c: PUSH1 0xa0 00000b4e: SHL 00000b4f: SUB 00000b50: SWAP9 00000b51: SWAP1 00000b52: SWAP9 00000b53: AND 00000b54: PUSH1 0x00 00000b56: SWAP1 00000b57: DUP2 00000b58: MSTORE 00000b59: PUSH1 0x0a 00000b5b: PUSH1 0x20 00000b5d: SWAP1 00000b5e: DUP2 00000b5f: MSTORE 00000b60: SWAP9 00000b61: SWAP1 00000b62: KECCAK256 00000b63: SLOAD 00000b64: PUSH1 0x60 00000b66: DUP4 00000b67: ADD 00000b68: DUP2 00000b69: SWAP1 00000b6a: MSTORE 00000b6b: DUP3 00000b6c: MLOAD 00000b6d: SWAP9 00000b6e: SWAP1 00000b6f: SWAP3 00000b70: ADD 00000b71: MLOAD 00000b72: SWAP1 00000b73: MLOAD 00000b74: PUSH1 0x06 00000b76: SLOAD 00000b77: SWAP9 00000b78: SWAP10 00000b79: SWAP2 00000b7a: SWAP9 00000b7b: SWAP1 00000b7c: SWAP8 00000b7d: POP 00000b7e: SWAP2 00000b7f: SWAP6 00000b80: POP 00000b81: SWAP1 00000b82: SWAP4 00000b83: POP 00000b84: SWAP2 00000b85: POP 00000b86: POP 00000b87: JUMP 00000b88: JUMPDEST 00000b89: PUSH1 0x00 00000b8b: DUP1 00000b8c: SLOAD 00000b8d: PUSH1 0x01 00000b8f: PUSH1 0x01 00000b91: PUSH1 0xa0 00000b93: SHL 00000b94: SUB 00000b95: AND 00000b96: CALLER 00000b97: EQ 00000b98: PUSH2 0x0bb3 00000b9b: JUMPI 00000b9c: PUSH1 0x40 00000b9e: MLOAD 00000b9f: PUSH3 0x461bcd 00000ba3: PUSH1 0xe5 00000ba5: SHL 00000ba6: DUP2 00000ba7: MSTORE 00000ba8: PUSH1 0x04 00000baa: ADD 00000bab: PUSH2 0x066b 00000bae: SWAP1 00000baf: PUSH2 0x1a2f 00000bb2: JUMP 00000bb3: JUMPDEST 00000bb4: PUSH1 0x00 00000bb6: PUSH2 0x0bbe 00000bb9: DUP4 00000bba: PUSH2 0x1336 00000bbd: JUMP 00000bbe: JUMPDEST 00000bbf: SWAP1 00000bc0: POP 00000bc1: DUP1 00000bc2: ISZERO 00000bc3: PUSH2 0x0c24 00000bc6: JUMPI 00000bc7: PUSH1 0x01 00000bc9: PUSH1 0x01 00000bcb: PUSH1 0xa0 00000bcd: SHL 00000bce: SUB 00000bcf: DUP4 00000bd0: AND 00000bd1: PUSH1 0x00 00000bd3: DUP2 00000bd4: DUP2 00000bd5: MSTORE 00000bd6: PUSH1 0x0a 00000bd8: PUSH1 0x20 00000bda: MSTORE 00000bdb: PUSH1 0x40 00000bdd: SWAP1 00000bde: DUP2 00000bdf: SWAP1 00000be0: KECCAK256 00000be1: TIMESTAMP 00000be2: SWAP1 00000be3: SSTORE 00000be4: MLOAD 00000be5: PUSH32 0x47cee97cb7acd717b3c0aa1435d004cd5b3c8c57d70dbceb4e4458bbd60e39d4 00000c06: SWAP1 00000c07: PUSH2 0x0c13 00000c0a: SWAP1 00000c0b: DUP5 00000c0c: DUP2 00000c0d: MSTORE 00000c0e: PUSH1 0x20 00000c10: ADD 00000c11: SWAP1 00000c12: JUMP 00000c13: JUMPDEST 00000c14: PUSH1 0x40 00000c16: MLOAD 00000c17: DUP1 00000c18: SWAP2 00000c19: SUB 00000c1a: SWAP1 00000c1b: LOG2 00000c1c: POP 00000c1d: PUSH1 0x01 00000c1f: SWAP3 00000c20: SWAP2 00000c21: POP 00000c22: POP 00000c23: JUMP 00000c24: JUMPDEST 00000c25: POP 00000c26: PUSH1 0x00 00000c28: SWAP3 00000c29: SWAP2 00000c2a: POP 00000c2b: POP 00000c2c: JUMP 00000c2d: JUMPDEST 00000c2e: PUSH1 0x00 00000c30: SLOAD 00000c31: PUSH1 0x01 00000c33: PUSH1 0x01 00000c35: PUSH1 0xa0 00000c37: SHL 00000c38: SUB 00000c39: AND 00000c3a: CALLER 00000c3b: EQ 00000c3c: PUSH2 0x0c57 00000c3f: JUMPI 00000c40: PUSH1 0x40 00000c42: MLOAD 00000c43: PUSH3 0x461bcd 00000c47: PUSH1 0xe5 00000c49: SHL 00000c4a: DUP2 00000c4b: MSTORE 00000c4c: PUSH1 0x04 00000c4e: ADD 00000c4f: PUSH2 0x066b 00000c52: SWAP1 00000c53: PUSH2 0x1a2f 00000c56: JUMP 00000c57: JUMPDEST 00000c58: SELFBALANCE 00000c59: PUSH1 0x00 00000c5b: PUSH1 0x01 00000c5d: PUSH1 0x01 00000c5f: PUSH1 0xa0 00000c61: SHL 00000c62: SUB 00000c63: DUP4 00000c64: AND 00000c65: DUP5 00000c66: PUSH2 0x0c6f 00000c69: JUMPI 00000c6a: DUP3 00000c6b: PUSH2 0x0c71 00000c6e: JUMP 00000c6f: JUMPDEST 00000c70: DUP5 00000c71: JUMPDEST 00000c72: PUSH1 0x40 00000c74: MLOAD 00000c75: PUSH1 0x00 00000c77: DUP2 00000c78: DUP2 00000c79: DUP2 00000c7a: DUP6 00000c7b: DUP8 00000c7c: GAS 00000c7d: CALL 00000c7e: SWAP3 00000c7f: POP 00000c80: POP 00000c81: POP 00000c82: RETURNDATASIZE 00000c83: DUP1 00000c84: PUSH1 0x00 00000c86: DUP2 00000c87: EQ 00000c88: PUSH2 0x0cad 00000c8b: JUMPI 00000c8c: PUSH1 0x40 00000c8e: MLOAD 00000c8f: SWAP2 00000c90: POP 00000c91: PUSH1 0x1f 00000c93: NOT 00000c94: PUSH1 0x3f 00000c96: RETURNDATASIZE 00000c97: ADD 00000c98: AND 00000c99: DUP3 00000c9a: ADD 00000c9b: PUSH1 0x40 00000c9d: MSTORE 00000c9e: RETURNDATASIZE 00000c9f: DUP3 00000ca0: MSTORE 00000ca1: RETURNDATASIZE 00000ca2: PUSH1 0x00 00000ca4: PUSH1 0x20 00000ca6: DUP5 00000ca7: ADD 00000ca8: RETURNDATACOPY 00000ca9: PUSH2 0x0cb2 00000cac: JUMP 00000cad: JUMPDEST 00000cae: PUSH1 0x60 00000cb0: SWAP2 00000cb1: POP 00000cb2: JUMPDEST 00000cb3: POP 00000cb4: POP 00000cb5: SWAP1 00000cb6: POP 00000cb7: DUP1 00000cb8: PUSH2 0x0cf9 00000cbb: JUMPI 00000cbc: PUSH1 0x40 00000cbe: MLOAD 00000cbf: PUSH3 0x461bcd 00000cc3: PUSH1 0xe5 00000cc5: SHL 00000cc6: DUP2 00000cc7: MSTORE 00000cc8: PUSH1 0x20 00000cca: PUSH1 0x04 00000ccc: DUP3 00000ccd: ADD 00000cce: MSTORE 00000ccf: PUSH1 0x13 00000cd1: PUSH1 0x24 00000cd3: DUP3 00000cd4: ADD 00000cd5: MSTORE 00000cd6: PUSH19 0x26b0b73ab0b61039b2b732103330b4b632b217 00000cea: PUSH1 0x69 00000cec: SHL 00000ced: PUSH1 0x44 00000cef: DUP3 00000cf0: ADD 00000cf1: MSTORE 00000cf2: PUSH1 0x64 00000cf4: ADD 00000cf5: PUSH2 0x066b 00000cf8: JUMP 00000cf9: JUMPDEST 00000cfa: POP 00000cfb: POP 00000cfc: POP 00000cfd: POP 00000cfe: JUMP 00000cff: JUMPDEST 00000d00: PUSH1 0x00 00000d02: SLOAD 00000d03: PUSH1 0x01 00000d05: PUSH1 0x01 00000d07: PUSH1 0xa0 00000d09: SHL 00000d0a: SUB 00000d0b: AND 00000d0c: CALLER 00000d0d: EQ 00000d0e: PUSH2 0x0d29 00000d11: JUMPI 00000d12: PUSH1 0x40 00000d14: MLOAD 00000d15: PUSH3 0x461bcd 00000d19: PUSH1 0xe5 00000d1b: SHL 00000d1c: DUP2 00000d1d: MSTORE 00000d1e: PUSH1 0x04 00000d20: ADD 00000d21: PUSH2 0x066b 00000d24: SWAP1 00000d25: PUSH2 0x1a2f 00000d28: JUMP 00000d29: JUMPDEST 00000d2a: PUSH1 0x01 00000d2c: PUSH1 0x01 00000d2e: PUSH1 0xa0 00000d30: SHL 00000d31: SUB 00000d32: DUP3 00000d33: AND 00000d34: PUSH1 0x00 00000d36: SWAP1 00000d37: DUP2 00000d38: MSTORE 00000d39: PUSH1 0x07 00000d3b: PUSH1 0x20 00000d3d: MSTORE 00000d3e: PUSH1 0x40 00000d40: SWAP1 00000d41: KECCAK256 00000d42: SLOAD 00000d43: PUSH1 0xff 00000d45: AND 00000d46: ISZERO 00000d47: PUSH2 0x0d4e 00000d4a: JUMPI 00000d4b: POP 00000d4c: POP 00000d4d: JUMP 00000d4e: JUMPDEST 00000d4f: PUSH32 0x0000000000000000000000000000000000000000000000000de0b6b3a7640000 00000d70: DUP2 00000d71: LT 00000d72: PUSH2 0x0d83 00000d75: JUMPI 00000d76: PUSH2 0x0d7f 00000d79: DUP3 00000d7a: DUP3 00000d7b: PUSH2 0x0e29 00000d7e: JUMP 00000d7f: JUMPDEST 00000d80: POP 00000d81: POP 00000d82: JUMP 00000d83: JUMPDEST 00000d84: PUSH2 0x0d7f 00000d87: DUP3 00000d88: PUSH1 0x00 00000d8a: PUSH2 0x0e29 00000d8d: JUMP 00000d8e: JUMPDEST 00000d8f: PUSH1 0x00 00000d91: SLOAD 00000d92: PUSH1 0x01 00000d94: PUSH1 0x01 00000d96: PUSH1 0xa0 00000d98: SHL 00000d99: SUB 00000d9a: AND 00000d9b: CALLER 00000d9c: EQ 00000d9d: PUSH2 0x0db8 00000da0: JUMPI 00000da1: PUSH1 0x40 00000da3: MLOAD 00000da4: PUSH3 0x461bcd 00000da8: PUSH1 0xe5 00000daa: SHL 00000dab: DUP2 00000dac: MSTORE 00000dad: PUSH1 0x04 00000daf: ADD 00000db0: PUSH2 0x066b 00000db3: SWAP1 00000db4: PUSH2 0x1a2f 00000db7: JUMP 00000db8: JUMPDEST 00000db9: PUSH1 0x01 00000dbb: PUSH1 0x01 00000dbd: PUSH1 0xa0 00000dbf: SHL 00000dc0: SUB 00000dc1: DUP2 00000dc2: AND 00000dc3: PUSH2 0x0e1d 00000dc6: JUMPI 00000dc7: PUSH1 0x40 00000dc9: MLOAD 00000dca: PUSH3 0x461bcd 00000dce: PUSH1 0xe5 00000dd0: SHL 00000dd1: DUP2 00000dd2: MSTORE 00000dd3: PUSH1 0x20 00000dd5: PUSH1 0x04 00000dd7: DUP3 00000dd8: ADD 00000dd9: MSTORE 00000dda: PUSH1 0x26 00000ddc: PUSH1 0x24 00000dde: DUP3 00000ddf: ADD 00000de0: MSTORE 00000de1: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00000e02: PUSH1 0x44 00000e04: DUP3 00000e05: ADD 00000e06: MSTORE 00000e07: PUSH6 0x646472657373 00000e0e: PUSH1 0xd0 00000e10: SHL 00000e11: PUSH1 0x64 00000e13: DUP3 00000e14: ADD 00000e15: MSTORE 00000e16: PUSH1 0x84 00000e18: ADD 00000e19: PUSH2 0x066b 00000e1c: JUMP 00000e1d: JUMPDEST 00000e1e: PUSH2 0x0e26 00000e21: DUP2 00000e22: PUSH2 0x12e6 00000e25: JUMP 00000e26: JUMPDEST 00000e27: POP 00000e28: JUMP 00000e29: JUMPDEST 00000e2a: PUSH1 0x01 00000e2c: PUSH1 0x01 00000e2e: PUSH1 0xa0 00000e30: SHL 00000e31: SUB 00000e32: DUP3 00000e33: AND 00000e34: PUSH1 0x00 00000e36: SWAP1 00000e37: DUP2 00000e38: MSTORE 00000e39: PUSH1 0x03 00000e3b: PUSH1 0x20 00000e3d: MSTORE 00000e3e: PUSH1 0x40 00000e40: SWAP1 00000e41: KECCAK256 00000e42: SLOAD 00000e43: DUP1 00000e44: DUP3 00000e45: GT 00000e46: ISZERO 00000e47: PUSH2 0x0e62 00000e4a: JUMPI 00000e4b: PUSH1 0x00 00000e4d: PUSH2 0x0e56 00000e50: DUP3 00000e51: DUP5 00000e52: PUSH2 0x1a18 00000e55: JUMP 00000e56: JUMPDEST 00000e57: SWAP1 00000e58: POP 00000e59: PUSH2 0x0cf9 00000e5c: DUP5 00000e5d: DUP3 00000e5e: PUSH2 0x14dd 00000e61: JUMP 00000e62: JUMPDEST 00000e63: DUP1 00000e64: DUP3 00000e65: LT 00000e66: ISZERO 00000e67: PUSH2 0x0e82 00000e6a: JUMPI 00000e6b: PUSH1 0x00 00000e6d: PUSH2 0x0e76 00000e70: DUP4 00000e71: DUP4 00000e72: PUSH2 0x1a18 00000e75: JUMP 00000e76: JUMPDEST 00000e77: SWAP1 00000e78: POP 00000e79: PUSH2 0x0cf9 00000e7c: DUP5 00000e7d: DUP3 00000e7e: PUSH2 0x161e 00000e81: JUMP 00000e82: JUMPDEST 00000e83: POP 00000e84: POP 00000e85: POP 00000e86: JUMP 00000e87: JUMPDEST 00000e88: PUSH1 0x00 00000e8a: DUP1 00000e8b: PUSH1 0x00 00000e8d: PUSH2 0x0e95 00000e90: DUP5 00000e91: PUSH2 0x07b6 00000e94: JUMP 00000e95: JUMPDEST 00000e96: SWAP1 00000e97: POP 00000e98: DUP1 00000e99: ISZERO 00000e9a: PUSH2 0x12da 00000e9d: JUMPI 00000e9e: PUSH1 0x01 00000ea0: PUSH1 0x01 00000ea2: PUSH1 0xa0 00000ea4: SHL 00000ea5: SUB 00000ea6: DUP5 00000ea7: AND 00000ea8: PUSH1 0x00 00000eaa: SWAP1 00000eab: DUP2 00000eac: MSTORE 00000ead: PUSH1 0x09 00000eaf: PUSH1 0x20 00000eb1: MSTORE 00000eb2: PUSH1 0x40 00000eb4: DUP2 00000eb5: KECCAK256 00000eb6: DUP1 00000eb7: SLOAD 00000eb8: DUP4 00000eb9: SWAP3 00000eba: SWAP1 00000ebb: PUSH2 0x0ec5 00000ebe: SWAP1 00000ebf: DUP5 00000ec0: SWAP1 00000ec1: PUSH2 0x19bf 00000ec4: JUMP 00000ec5: JUMPDEST 00000ec6: SWAP3 00000ec7: POP 00000ec8: POP 00000ec9: DUP2 00000eca: SWAP1 00000ecb: SSTORE 00000ecc: POP 00000ecd: DUP1 00000ece: PUSH1 0x06 00000ed0: PUSH1 0x00 00000ed2: DUP3 00000ed3: DUP3 00000ed4: SLOAD 00000ed5: PUSH2 0x0ede 00000ed8: SWAP2 00000ed9: SWAP1 00000eda: PUSH2 0x19bf 00000edd: JUMP 00000ede: JUMPDEST 00000edf: SWAP1 00000ee0: SWAP2 00000ee1: SSTORE 00000ee2: POP 00000ee3: POP 00000ee4: PUSH1 0x40 00000ee6: DUP1 00000ee7: MLOAD 00000ee8: PUSH1 0x02 00000eea: DUP1 00000eeb: DUP3 00000eec: MSTORE 00000eed: PUSH1 0x60 00000eef: DUP3 00000ef0: ADD 00000ef1: DUP4 00000ef2: MSTORE 00000ef3: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d 00000f14: SWAP3 00000f15: PUSH1 0x00 00000f17: SWAP3 00000f18: SWAP2 00000f19: SWAP1 00000f1a: PUSH1 0x20 00000f1c: DUP4 00000f1d: ADD 00000f1e: SWAP1 00000f1f: DUP1 00000f20: CALLDATASIZE 00000f21: DUP4 00000f22: CALLDATACOPY 00000f23: ADD 00000f24: SWAP1 00000f25: POP 00000f26: POP 00000f27: SWAP1 00000f28: POP 00000f29: DUP2 00000f2a: PUSH1 0x01 00000f2c: PUSH1 0x01 00000f2e: PUSH1 0xa0 00000f30: SHL 00000f31: SUB 00000f32: AND 00000f33: PUSH4 0xad5c4648 00000f38: PUSH1 0x40 00000f3a: MLOAD 00000f3b: DUP2 00000f3c: PUSH4 0xffffffff 00000f41: AND 00000f42: PUSH1 0xe0 00000f44: SHL 00000f45: DUP2 00000f46: MSTORE 00000f47: PUSH1 0x04 00000f49: ADD 00000f4a: PUSH1 0x20 00000f4c: PUSH1 0x40 00000f4e: MLOAD 00000f4f: DUP1 00000f50: DUP4 00000f51: SUB 00000f52: DUP2 00000f53: DUP7 00000f54: GAS 00000f55: STATICCALL 00000f56: ISZERO 00000f57: DUP1 00000f58: ISZERO 00000f59: PUSH2 0x0f66 00000f5c: JUMPI 00000f5d: RETURNDATASIZE 00000f5e: PUSH1 0x00 00000f60: DUP1 00000f61: RETURNDATACOPY 00000f62: RETURNDATASIZE 00000f63: PUSH1 0x00 00000f65: REVERT 00000f66: JUMPDEST 00000f67: POP 00000f68: POP 00000f69: POP 00000f6a: POP 00000f6b: PUSH1 0x40 00000f6d: MLOAD 00000f6e: RETURNDATASIZE 00000f6f: PUSH1 0x1f 00000f71: NOT 00000f72: PUSH1 0x1f 00000f74: DUP3 00000f75: ADD 00000f76: AND 00000f77: DUP3 00000f78: ADD 00000f79: DUP1 00000f7a: PUSH1 0x40 00000f7c: MSTORE 00000f7d: POP 00000f7e: DUP2 00000f7f: ADD 00000f80: SWAP1 00000f81: PUSH2 0x0f8a 00000f84: SWAP2 00000f85: SWAP1 00000f86: PUSH2 0x1a7d 00000f89: JUMP 00000f8a: JUMPDEST 00000f8b: DUP2 00000f8c: PUSH1 0x00 00000f8e: DUP2 00000f8f: MLOAD 00000f90: DUP2 00000f91: LT 00000f92: PUSH2 0x0f9d 00000f95: JUMPI 00000f96: PUSH2 0x0f9d 00000f99: PUSH2 0x1a9a 00000f9c: JUMP 00000f9d: JUMPDEST 00000f9e: PUSH1 0x20 00000fa0: MUL 00000fa1: PUSH1 0x20 00000fa3: ADD 00000fa4: ADD 00000fa5: SWAP1 00000fa6: PUSH1 0x01 00000fa8: PUSH1 0x01 00000faa: PUSH1 0xa0 00000fac: SHL 00000fad: SUB 00000fae: AND 00000faf: SWAP1 00000fb0: DUP2 00000fb1: PUSH1 0x01 00000fb3: PUSH1 0x01 00000fb5: PUSH1 0xa0 00000fb7: SHL 00000fb8: SUB 00000fb9: AND 00000fba: DUP2 00000fbb: MSTORE 00000fbc: POP 00000fbd: POP 00000fbe: PUSH32 0x000000000000000000000000c36ad98e62598ae24d4487d8012209f687c30d45 00000fdf: DUP2 00000fe0: PUSH1 0x01 00000fe2: DUP2 00000fe3: MLOAD 00000fe4: DUP2 00000fe5: LT 00000fe6: PUSH2 0x0ff1 00000fe9: JUMPI 00000fea: PUSH2 0x0ff1 00000fed: PUSH2 0x1a9a 00000ff0: JUMP 00000ff1: JUMPDEST 00000ff2: PUSH1 0x01 00000ff4: PUSH1 0x01 00000ff6: PUSH1 0xa0 00000ff8: SHL 00000ff9: SUB 00000ffa: SWAP3 00000ffb: DUP4 00000ffc: AND 00000ffd: PUSH1 0x20 00000fff: SWAP2 00001000: DUP3 00001001: MUL 00001002: SWAP3 00001003: SWAP1 00001004: SWAP3 00001005: ADD 00001006: ADD 00001007: MSTORE 00001008: PUSH1 0x40 0000100a: MLOAD 0000100b: PUSH4 0x70a08231 00001010: PUSH1 0xe0 00001012: SHL 00001013: DUP2 00001014: MSTORE 00001015: DUP8 00001016: DUP3 00001017: AND 00001018: PUSH1 0x04 0000101a: DUP3 0000101b: ADD 0000101c: MSTORE 0000101d: PUSH1 0x00 0000101f: SWAP2 00001020: DUP3 00001021: SWAP2 00001022: DUP3 00001023: SWAP2 00001024: PUSH32 0x000000000000000000000000c36ad98e62598ae24d4487d8012209f687c30d45 00001045: AND 00001046: SWAP1 00001047: PUSH4 0x70a08231 0000104c: SWAP1 0000104d: PUSH1 0x24 0000104f: ADD 00001050: PUSH1 0x20 00001052: PUSH1 0x40 00001054: MLOAD 00001055: DUP1 00001056: DUP4 00001057: SUB 00001058: DUP2 00001059: DUP7 0000105a: GAS 0000105b: STATICCALL 0000105c: ISZERO 0000105d: DUP1 0000105e: ISZERO 0000105f: PUSH2 0x106c 00001062: JUMPI 00001063: RETURNDATASIZE 00001064: PUSH1 0x00 00001066: DUP1 00001067: RETURNDATACOPY 00001068: RETURNDATASIZE 00001069: PUSH1 0x00 0000106b: REVERT 0000106c: JUMPDEST 0000106d: POP 0000106e: POP 0000106f: POP 00001070: POP 00001071: PUSH1 0x40 00001073: MLOAD 00001074: RETURNDATASIZE 00001075: PUSH1 0x1f 00001077: NOT 00001078: PUSH1 0x1f 0000107a: DUP3 0000107b: ADD 0000107c: AND 0000107d: DUP3 0000107e: ADD 0000107f: DUP1 00001080: PUSH1 0x40 00001082: MSTORE 00001083: POP 00001084: DUP2 00001085: ADD 00001086: SWAP1 00001087: PUSH2 0x1090 0000108a: SWAP2 0000108b: SWAP1 0000108c: PUSH2 0x1a64 0000108f: JUMP 00001090: JUMPDEST 00001091: SWAP1 00001092: POP 00001093: DUP5 00001094: PUSH1 0x01 00001096: PUSH1 0x01 00001098: PUSH1 0xa0 0000109a: SHL 0000109b: SUB 0000109c: AND 0000109d: PUSH4 0xb6f9de95 000010a2: DUP8 000010a3: PUSH1 0x00 000010a5: DUP8 000010a6: DUP14 000010a7: TIMESTAMP 000010a8: PUSH1 0x40 000010aa: MLOAD 000010ab: DUP7 000010ac: PUSH4 0xffffffff 000010b1: AND 000010b2: PUSH1 0xe0 000010b4: SHL 000010b5: DUP2 000010b6: MSTORE 000010b7: PUSH1 0x04 000010b9: ADD 000010ba: PUSH2 0x10c6 000010bd: SWAP5 000010be: SWAP4 000010bf: SWAP3 000010c0: SWAP2 000010c1: SWAP1 000010c2: PUSH2 0x1ab0 000010c5: JUMP 000010c6: JUMPDEST 000010c7: PUSH1 0x00 000010c9: PUSH1 0x40 000010cb: MLOAD 000010cc: DUP1 000010cd: DUP4 000010ce: SUB 000010cf: DUP2 000010d0: DUP6 000010d1: DUP9 000010d2: DUP1 000010d3: EXTCODESIZE 000010d4: ISZERO 000010d5: DUP1 000010d6: ISZERO 000010d7: PUSH2 0x10df 000010da: JUMPI 000010db: PUSH1 0x00 000010dd: DUP1 000010de: REVERT 000010df: JUMPDEST 000010e0: POP 000010e1: GAS 000010e2: CALL 000010e3: SWAP4 000010e4: POP 000010e5: POP 000010e6: POP 000010e7: POP 000010e8: DUP1 000010e9: ISZERO 000010ea: PUSH2 0x10f1 000010ed: JUMPI 000010ee: POP 000010ef: PUSH1 0x01 000010f1: JUMPDEST 000010f2: PUSH2 0x1133 000010f5: JUMPI 000010f6: PUSH2 0x10fd 000010f9: PUSH2 0x1b1a 000010fc: JUMP 000010fd: JUMPDEST 000010fe: DUP1 000010ff: PUSH4 0x08c379a0 00001104: EQ 00001105: ISZERO 00001106: PUSH2 0x1127 00001109: JUMPI 0000110a: POP 0000110b: PUSH2 0x1112 0000110e: PUSH2 0x1b71 00001111: JUMP 00001112: JUMPDEST 00001113: DUP1 00001114: PUSH2 0x111d 00001117: JUMPI 00001118: POP 00001119: PUSH2 0x1129 0000111c: JUMP 0000111d: JUMPDEST 0000111e: PUSH1 0x00 00001120: SWAP4 00001121: POP 00001122: POP 00001123: PUSH2 0x11d2 00001126: JUMP 00001127: JUMPDEST 00001128: POP 00001129: JUMPDEST 0000112a: RETURNDATASIZE 0000112b: PUSH1 0x00 0000112d: DUP1 0000112e: RETURNDATACOPY 0000112f: RETURNDATASIZE 00001130: PUSH1 0x00 00001132: REVERT 00001133: JUMPDEST 00001134: PUSH1 0x40 00001136: MLOAD 00001137: PUSH4 0x70a08231 0000113c: PUSH1 0xe0 0000113e: SHL 0000113f: DUP2 00001140: MSTORE 00001141: PUSH1 0x01 00001143: PUSH1 0x01 00001145: PUSH1 0xa0 00001147: SHL 00001148: SUB 00001149: DUP11 0000114a: DUP2 0000114b: AND 0000114c: PUSH1 0x04 0000114e: DUP4 0000114f: ADD 00001150: MSTORE 00001151: PUSH1 0x01 00001153: SWAP5 00001154: POP 00001155: DUP3 00001156: SWAP2 00001157: PUSH32 0x000000000000000000000000c36ad98e62598ae24d4487d8012209f687c30d45 00001178: SWAP1 00001179: SWAP2 0000117a: AND 0000117b: SWAP1 0000117c: PUSH4 0x70a08231 00001181: SWAP1 00001182: PUSH1 0x24 00001184: ADD 00001185: PUSH1 0x20 00001187: PUSH1 0x40 00001189: MLOAD 0000118a: DUP1 0000118b: DUP4 0000118c: SUB 0000118d: DUP2 0000118e: DUP7 0000118f: GAS 00001190: STATICCALL 00001191: ISZERO 00001192: DUP1 00001193: ISZERO 00001194: PUSH2 0x11a1 00001197: JUMPI 00001198: RETURNDATASIZE 00001199: PUSH1 0x00 0000119b: DUP1 0000119c: RETURNDATACOPY 0000119d: RETURNDATASIZE 0000119e: PUSH1 0x00 000011a0: REVERT 000011a1: JUMPDEST 000011a2: POP 000011a3: POP 000011a4: POP 000011a5: POP 000011a6: PUSH1 0x40 000011a8: MLOAD 000011a9: RETURNDATASIZE 000011aa: PUSH1 0x1f 000011ac: NOT 000011ad: PUSH1 0x1f 000011af: DUP3 000011b0: ADD 000011b1: AND 000011b2: DUP3 000011b3: ADD 000011b4: DUP1 000011b5: PUSH1 0x40 000011b7: MSTORE 000011b8: POP 000011b9: DUP2 000011ba: ADD 000011bb: SWAP1 000011bc: PUSH2 0x11c5 000011bf: SWAP2 000011c0: SWAP1 000011c1: PUSH2 0x1a64 000011c4: JUMP 000011c5: JUMPDEST 000011c6: PUSH2 0x11cf 000011c9: SWAP2 000011ca: SWAP1 000011cb: PUSH2 0x1a18 000011ce: JUMP 000011cf: JUMPDEST 000011d0: SWAP2 000011d1: POP 000011d2: JUMPDEST 000011d3: DUP3 000011d4: PUSH2 0x1288 000011d7: JUMPI 000011d8: PUSH1 0x01 000011da: PUSH1 0x01 000011dc: PUSH1 0xa0 000011de: SHL 000011df: SUB 000011e0: DUP10 000011e1: AND 000011e2: PUSH1 0x00 000011e4: SWAP1 000011e5: DUP2 000011e6: MSTORE 000011e7: PUSH1 0x09 000011e9: PUSH1 0x20 000011eb: MSTORE 000011ec: PUSH1 0x40 000011ee: DUP2 000011ef: KECCAK256 000011f0: DUP1 000011f1: SLOAD 000011f2: DUP9 000011f3: SWAP3 000011f4: SWAP1 000011f5: PUSH2 0x11ff 000011f8: SWAP1 000011f9: DUP5 000011fa: SWAP1 000011fb: PUSH2 0x1a18 000011fe: JUMP 000011ff: JUMPDEST 00001200: SWAP3 00001201: POP 00001202: POP 00001203: DUP2 00001204: SWAP1 00001205: SSTORE 00001206: POP 00001207: DUP6 00001208: PUSH1 0x06 0000120a: PUSH1 0x00 0000120c: DUP3 0000120d: DUP3 0000120e: SLOAD 0000120f: PUSH2 0x1218 00001212: SWAP2 00001213: SWAP1 00001214: PUSH2 0x1a18 00001217: JUMP 00001218: JUMPDEST 00001219: SWAP1 0000121a: SWAP2 0000121b: SSTORE 0000121c: POP 0000121d: POP 0000121e: PUSH1 0x40 00001220: MLOAD 00001221: PUSH32 0x551303dd5f39cbfe6daba6b3e27754b8a7d72f519756a2cde2b92c2bbde159a7 00001242: SWAP1 00001243: PUSH2 0x126f 00001246: SWAP1 00001247: PUSH1 0x20 00001249: DUP1 0000124a: DUP3 0000124b: MSTORE 0000124c: PUSH1 0x0f 0000124e: SWAP1 0000124f: DUP3 00001250: ADD 00001251: MSTORE 00001252: PUSH15 0x15da5d1a191c985dc819985a5b1959 00001262: PUSH1 0x8a 00001264: SHL 00001265: PUSH1 0x40 00001267: DUP3 00001268: ADD 00001269: MSTORE 0000126a: PUSH1 0x60 0000126c: ADD 0000126d: SWAP1 0000126e: JUMP 0000126f: JUMPDEST 00001270: PUSH1 0x40 00001272: MLOAD 00001273: DUP1 00001274: SWAP2 00001275: SUB 00001276: SWAP1 00001277: LOG1 00001278: POP 00001279: PUSH1 0x00 0000127b: SWAP9 0000127c: DUP10 0000127d: SWAP9 0000127e: POP 0000127f: SWAP7 00001280: POP 00001281: POP 00001282: POP 00001283: POP 00001284: POP 00001285: POP 00001286: POP 00001287: JUMP 00001288: JUMPDEST 00001289: DUP9 0000128a: PUSH1 0x01 0000128c: PUSH1 0x01 0000128e: PUSH1 0xa0 00001290: SHL 00001291: SUB 00001292: AND 00001293: PUSH32 0x1d3eee4ca001cff39eec6ec7615aacf2f2bd61791273830728ba00ccbd6e1337 000012b4: DUP8 000012b5: PUSH1 0x40 000012b7: MLOAD 000012b8: PUSH2 0x12c3 000012bb: SWAP2 000012bc: DUP2 000012bd: MSTORE 000012be: PUSH1 0x20 000012c0: ADD 000012c1: SWAP1 000012c2: JUMP 000012c3: JUMPDEST 000012c4: PUSH1 0x40 000012c6: MLOAD 000012c7: DUP1 000012c8: SWAP2 000012c9: SUB 000012ca: SWAP1 000012cb: LOG2 000012cc: POP 000012cd: SWAP4 000012ce: SWAP8 000012cf: SWAP4 000012d0: SWAP7 000012d1: POP 000012d2: SWAP3 000012d3: SWAP5 000012d4: POP 000012d5: POP 000012d6: POP 000012d7: POP 000012d8: POP 000012d9: JUMP 000012da: JUMPDEST 000012db: POP 000012dc: PUSH1 0x00 000012de: SWAP4 000012df: DUP5 000012e0: SWAP4 000012e1: POP 000012e2: SWAP2 000012e3: POP 000012e4: POP 000012e5: JUMP 000012e6: JUMPDEST 000012e7: PUSH1 0x00 000012e9: DUP1 000012ea: SLOAD 000012eb: PUSH1 0x01 000012ed: PUSH1 0x01 000012ef: PUSH1 0xa0 000012f1: SHL 000012f2: SUB 000012f3: DUP4 000012f4: DUP2 000012f5: AND 000012f6: PUSH1 0x01 000012f8: PUSH1 0x01 000012fa: PUSH1 0xa0 000012fc: SHL 000012fd: SUB 000012fe: NOT 000012ff: DUP4 00001300: AND 00001301: DUP2 00001302: OR 00001303: DUP5 00001304: SSTORE 00001305: PUSH1 0x40 00001307: MLOAD 00001308: SWAP2 00001309: SWAP1 0000130a: SWAP3 0000130b: AND 0000130c: SWAP3 0000130d: DUP4 0000130e: SWAP2 0000130f: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00001330: SWAP2 00001331: SWAP1 00001332: LOG3 00001333: POP 00001334: POP 00001335: JUMP 00001336: JUMPDEST 00001337: PUSH1 0x00 00001339: DUP1 0000133a: PUSH2 0x1342 0000133d: DUP4 0000133e: PUSH2 0x07b6 00001341: JUMP 00001342: JUMPDEST 00001343: SWAP1 00001344: POP 00001345: DUP1 00001346: ISZERO 00001347: PUSH2 0x0c24 0000134a: JUMPI 0000134b: PUSH1 0x01 0000134d: PUSH1 0x01 0000134f: PUSH1 0xa0 00001351: SHL 00001352: SUB 00001353: DUP4 00001354: AND 00001355: PUSH1 0x00 00001357: SWAP1 00001358: DUP2 00001359: MSTORE 0000135a: PUSH1 0x09 0000135c: PUSH1 0x20 0000135e: MSTORE 0000135f: PUSH1 0x40 00001361: DUP2 00001362: KECCAK256 00001363: DUP1 00001364: SLOAD 00001365: DUP4 00001366: SWAP3 00001367: SWAP1 00001368: PUSH2 0x1372 0000136b: SWAP1 0000136c: DUP5 0000136d: SWAP1 0000136e: PUSH2 0x19bf 00001371: JUMP 00001372: JUMPDEST 00001373: SWAP3 00001374: POP 00001375: POP 00001376: DUP2 00001377: SWAP1 00001378: SSTORE 00001379: POP 0000137a: DUP1 0000137b: PUSH1 0x06 0000137d: PUSH1 0x00 0000137f: DUP3 00001380: DUP3 00001381: SLOAD 00001382: PUSH2 0x138b 00001385: SWAP2 00001386: SWAP1 00001387: PUSH2 0x19bf 0000138a: JUMP 0000138b: JUMPDEST 0000138c: SWAP1 0000138d: SWAP2 0000138e: SSTORE 0000138f: POP 00001390: POP 00001391: PUSH1 0x40 00001393: MLOAD 00001394: PUSH1 0x00 00001396: SWAP1 00001397: PUSH1 0x01 00001399: PUSH1 0x01 0000139b: PUSH1 0xa0 0000139d: SHL 0000139e: SUB 0000139f: DUP6 000013a0: AND 000013a1: SWAP1 000013a2: DUP4 000013a3: SWAP1 000013a4: DUP4 000013a5: DUP2 000013a6: DUP2 000013a7: DUP2 000013a8: DUP6 000013a9: DUP8 000013aa: GAS 000013ab: CALL 000013ac: SWAP3 000013ad: POP 000013ae: POP 000013af: POP 000013b0: RETURNDATASIZE 000013b1: DUP1 000013b2: PUSH1 0x00 000013b4: DUP2 000013b5: EQ 000013b6: PUSH2 0x13db 000013b9: JUMPI 000013ba: PUSH1 0x40 000013bc: MLOAD 000013bd: SWAP2 000013be: POP 000013bf: PUSH1 0x1f 000013c1: NOT 000013c2: PUSH1 0x3f 000013c4: RETURNDATASIZE 000013c5: ADD 000013c6: AND 000013c7: DUP3 000013c8: ADD 000013c9: PUSH1 0x40 000013cb: MSTORE 000013cc: RETURNDATASIZE 000013cd: DUP3 000013ce: MSTORE 000013cf: RETURNDATASIZE 000013d0: PUSH1 0x00 000013d2: PUSH1 0x20 000013d4: DUP5 000013d5: ADD 000013d6: RETURNDATACOPY 000013d7: PUSH2 0x13e0 000013da: JUMP 000013db: JUMPDEST 000013dc: PUSH1 0x60 000013de: SWAP2 000013df: POP 000013e0: JUMPDEST 000013e1: POP 000013e2: POP 000013e3: SWAP1 000013e4: POP 000013e5: DUP1 000013e6: PUSH2 0x1493 000013e9: JUMPI 000013ea: PUSH1 0x01 000013ec: PUSH1 0x01 000013ee: PUSH1 0xa0 000013f0: SHL 000013f1: SUB 000013f2: DUP5 000013f3: AND 000013f4: PUSH1 0x00 000013f6: SWAP1 000013f7: DUP2 000013f8: MSTORE 000013f9: PUSH1 0x09 000013fb: PUSH1 0x20 000013fd: MSTORE 000013fe: PUSH1 0x40 00001400: DUP2 00001401: KECCAK256 00001402: DUP1 00001403: SLOAD 00001404: DUP5 00001405: SWAP3 00001406: SWAP1 00001407: PUSH2 0x1411 0000140a: SWAP1 0000140b: DUP5 0000140c: SWAP1 0000140d: PUSH2 0x1a18 00001410: JUMP 00001411: JUMPDEST 00001412: SWAP3 00001413: POP 00001414: POP 00001415: DUP2 00001416: SWAP1 00001417: SSTORE 00001418: POP 00001419: DUP2 0000141a: PUSH1 0x06 0000141c: PUSH1 0x00 0000141e: DUP3 0000141f: DUP3 00001420: SLOAD 00001421: PUSH2 0x142a 00001424: SWAP2 00001425: SWAP1 00001426: PUSH2 0x1a18 00001429: JUMP 0000142a: JUMPDEST 0000142b: SWAP1 0000142c: SWAP2 0000142d: SSTORE 0000142e: POP 0000142f: POP 00001430: PUSH1 0x40 00001432: MLOAD 00001433: PUSH32 0x551303dd5f39cbfe6daba6b3e27754b8a7d72f519756a2cde2b92c2bbde159a7 00001454: SWAP1 00001455: PUSH2 0x1481 00001458: SWAP1 00001459: PUSH1 0x20 0000145b: DUP1 0000145c: DUP3 0000145d: MSTORE 0000145e: PUSH1 0x0f 00001460: SWAP1 00001461: DUP3 00001462: ADD 00001463: MSTORE 00001464: PUSH15 0x15da5d1a191c985dc819985a5b1959 00001474: PUSH1 0x8a 00001476: SHL 00001477: PUSH1 0x40 00001479: DUP3 0000147a: ADD 0000147b: MSTORE 0000147c: PUSH1 0x60 0000147e: ADD 0000147f: SWAP1 00001480: JUMP 00001481: JUMPDEST 00001482: PUSH1 0x40 00001484: MLOAD 00001485: DUP1 00001486: SWAP2 00001487: SUB 00001488: SWAP1 00001489: LOG1 0000148a: POP 0000148b: PUSH1 0x00 0000148d: SWAP4 0000148e: SWAP3 0000148f: POP 00001490: POP 00001491: POP 00001492: JUMP 00001493: JUMPDEST 00001494: DUP4 00001495: PUSH1 0x01 00001497: PUSH1 0x01 00001499: PUSH1 0xa0 0000149b: SHL 0000149c: SUB 0000149d: AND 0000149e: PUSH32 0x1d3eee4ca001cff39eec6ec7615aacf2f2bd61791273830728ba00ccbd6e1337 000014bf: DUP4 000014c0: PUSH1 0x40 000014c2: MLOAD 000014c3: PUSH2 0x14ce 000014c6: SWAP2 000014c7: DUP2 000014c8: MSTORE 000014c9: PUSH1 0x20 000014cb: ADD 000014cc: SWAP1 000014cd: JUMP 000014ce: JUMPDEST 000014cf: PUSH1 0x40 000014d1: MLOAD 000014d2: DUP1 000014d3: SWAP2 000014d4: SUB 000014d5: SWAP1 000014d6: LOG2 000014d7: POP 000014d8: SWAP3 000014d9: SWAP2 000014da: POP 000014db: POP 000014dc: JUMP 000014dd: JUMPDEST 000014de: PUSH1 0x01 000014e0: PUSH1 0x01 000014e2: PUSH1 0xa0 000014e4: SHL 000014e5: SUB 000014e6: DUP3 000014e7: AND 000014e8: PUSH2 0x1548 000014eb: JUMPI 000014ec: PUSH1 0x40 000014ee: MLOAD 000014ef: PUSH3 0x461bcd 000014f3: PUSH1 0xe5 000014f5: SHL 000014f6: DUP2 000014f7: MSTORE 000014f8: PUSH1 0x20 000014fa: PUSH1 0x04 000014fc: DUP3 000014fd: ADD 000014fe: MSTORE 000014ff: PUSH1 0x2c 00001501: PUSH1 0x24 00001503: DUP3 00001504: ADD 00001505: MSTORE 00001506: PUSH32 0x415341505f526577617264547261636b65723a206d696e7420746f2074686520 00001527: PUSH1 0x44 00001529: DUP3 0000152a: ADD 0000152b: MSTORE 0000152c: PUSH12 0x7a65726f2061646472657373 00001539: PUSH1 0xa0 0000153b: SHL 0000153c: PUSH1 0x64 0000153e: DUP3 0000153f: ADD 00001540: MSTORE 00001541: PUSH1 0x84 00001543: ADD 00001544: PUSH2 0x066b 00001547: JUMP 00001548: JUMPDEST 00001549: DUP1 0000154a: PUSH1 0x02 0000154c: PUSH1 0x00 0000154e: DUP3 0000154f: DUP3 00001550: SLOAD 00001551: PUSH2 0x155a 00001554: SWAP2 00001555: SWAP1 00001556: PUSH2 0x19bf 00001559: JUMP 0000155a: JUMPDEST 0000155b: SWAP1 0000155c: SWAP2 0000155d: SSTORE 0000155e: POP 0000155f: POP 00001560: PUSH1 0x01 00001562: PUSH1 0x01 00001564: PUSH1 0xa0 00001566: SHL 00001567: SUB 00001568: DUP3 00001569: AND 0000156a: PUSH1 0x00 0000156c: SWAP1 0000156d: DUP2 0000156e: MSTORE 0000156f: PUSH1 0x03 00001571: PUSH1 0x20 00001573: MSTORE 00001574: PUSH1 0x40 00001576: DUP2 00001577: KECCAK256 00001578: DUP1 00001579: SLOAD 0000157a: DUP4 0000157b: SWAP3 0000157c: SWAP1 0000157d: PUSH2 0x1587 00001580: SWAP1 00001581: DUP5 00001582: SWAP1 00001583: PUSH2 0x19bf 00001586: JUMP 00001587: JUMPDEST 00001588: SWAP1 00001589: SWAP2 0000158a: SSTORE 0000158b: POP 0000158c: POP 0000158d: PUSH1 0x40 0000158f: MLOAD 00001590: DUP2 00001591: DUP2 00001592: MSTORE 00001593: PUSH1 0x01 00001595: PUSH1 0x01 00001597: PUSH1 0xa0 00001599: SHL 0000159a: SUB 0000159b: DUP4 0000159c: AND 0000159d: SWAP1 0000159e: PUSH1 0x00 000015a0: SWAP1 000015a1: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000015c2: SWAP1 000015c3: PUSH1 0x20 000015c5: ADD 000015c6: PUSH1 0x40 000015c8: MLOAD 000015c9: DUP1 000015ca: SWAP2 000015cb: SUB 000015cc: SWAP1 000015cd: LOG3 000015ce: DUP1 000015cf: PUSH1 0x04 000015d1: SLOAD 000015d2: PUSH2 0x15db 000015d5: SWAP2 000015d6: SWAP1 000015d7: PUSH2 0x197e 000015da: JUMP 000015db: JUMPDEST 000015dc: PUSH1 0x01 000015de: PUSH1 0x01 000015e0: PUSH1 0xa0 000015e2: SHL 000015e3: SUB 000015e4: DUP4 000015e5: AND 000015e6: PUSH1 0x00 000015e8: SWAP1 000015e9: DUP2 000015ea: MSTORE 000015eb: PUSH1 0x08 000015ed: PUSH1 0x20 000015ef: MSTORE 000015f0: PUSH1 0x40 000015f2: SWAP1 000015f3: KECCAK256 000015f4: SLOAD 000015f5: PUSH2 0x15fe 000015f8: SWAP2 000015f9: SWAP1 000015fa: PUSH2 0x1bfb 000015fd: JUMP 000015fe: JUMPDEST 000015ff: PUSH1 0x01 00001601: PUSH1 0x01 00001603: PUSH1 0xa0 00001605: SHL 00001606: SUB 00001607: SWAP1 00001608: SWAP3 00001609: AND 0000160a: PUSH1 0x00 0000160c: SWAP1 0000160d: DUP2 0000160e: MSTORE 0000160f: PUSH1 0x08 00001611: PUSH1 0x20 00001613: MSTORE 00001614: PUSH1 0x40 00001616: SWAP1 00001617: KECCAK256 00001618: SWAP2 00001619: SWAP1 0000161a: SWAP2 0000161b: SSTORE 0000161c: POP 0000161d: JUMP 0000161e: JUMPDEST 0000161f: PUSH1 0x01 00001621: PUSH1 0x01 00001623: PUSH1 0xa0 00001625: SHL 00001626: SUB 00001627: DUP3 00001628: AND 00001629: PUSH2 0x168b 0000162c: JUMPI 0000162d: PUSH1 0x40 0000162f: MLOAD 00001630: PUSH3 0x461bcd 00001634: PUSH1 0xe5 00001636: SHL 00001637: DUP2 00001638: MSTORE 00001639: PUSH1 0x20 0000163b: PUSH1 0x04 0000163d: DUP3 0000163e: ADD 0000163f: MSTORE 00001640: PUSH1 0x2e 00001642: PUSH1 0x24 00001644: DUP3 00001645: ADD 00001646: MSTORE 00001647: PUSH32 0x415341505f526577617264547261636b65723a206275726e2066726f6d207468 00001668: PUSH1 0x44 0000166a: DUP3 0000166b: ADD 0000166c: MSTORE 0000166d: PUSH14 0x65207a65726f2061646472657373 0000167c: PUSH1 0x90 0000167e: SHL 0000167f: PUSH1 0x64 00001681: DUP3 00001682: ADD 00001683: MSTORE 00001684: PUSH1 0x84 00001686: ADD 00001687: PUSH2 0x066b 0000168a: JUMP 0000168b: JUMPDEST 0000168c: PUSH1 0x01 0000168e: PUSH1 0x01 00001690: PUSH1 0xa0 00001692: SHL 00001693: SUB 00001694: DUP3 00001695: AND 00001696: PUSH1 0x00 00001698: SWAP1 00001699: DUP2 0000169a: MSTORE 0000169b: PUSH1 0x03 0000169d: PUSH1 0x20 0000169f: MSTORE 000016a0: PUSH1 0x40 000016a2: SWAP1 000016a3: KECCAK256 000016a4: SLOAD 000016a5: DUP2 000016a6: DUP2 000016a7: LT 000016a8: ISZERO 000016a9: PUSH2 0x170c 000016ac: JUMPI 000016ad: PUSH1 0x40 000016af: MLOAD 000016b0: PUSH3 0x461bcd 000016b4: PUSH1 0xe5 000016b6: SHL 000016b7: DUP2 000016b8: MSTORE 000016b9: PUSH1 0x20 000016bb: PUSH1 0x04 000016bd: DUP3 000016be: ADD 000016bf: MSTORE 000016c0: PUSH1 0x2f 000016c2: PUSH1 0x24 000016c4: DUP3 000016c5: ADD 000016c6: MSTORE 000016c7: PUSH32 0x415341505f526577617264547261636b65723a206275726e20616d6f756e7420 000016e8: PUSH1 0x44 000016ea: DUP3 000016eb: ADD 000016ec: MSTORE 000016ed: PUSH15 0x657863656564732062616c616e6365 000016fd: PUSH1 0x88 000016ff: SHL 00001700: PUSH1 0x64 00001702: DUP3 00001703: ADD 00001704: MSTORE 00001705: PUSH1 0x84 00001707: ADD 00001708: PUSH2 0x066b 0000170b: JUMP 0000170c: JUMPDEST 0000170d: PUSH2 0x1716 00001710: DUP3 00001711: DUP3 00001712: PUSH2 0x1a18 00001715: JUMP 00001716: JUMPDEST 00001717: PUSH1 0x01 00001719: PUSH1 0x01 0000171b: PUSH1 0xa0 0000171d: SHL 0000171e: SUB 0000171f: DUP5 00001720: AND 00001721: PUSH1 0x00 00001723: SWAP1 00001724: DUP2 00001725: MSTORE 00001726: PUSH1 0x03 00001728: PUSH1 0x20 0000172a: MSTORE 0000172b: PUSH1 0x40 0000172d: DUP2 0000172e: KECCAK256 0000172f: SWAP2 00001730: SWAP1 00001731: SWAP2 00001732: SSTORE 00001733: PUSH1 0x02 00001735: DUP1 00001736: SLOAD 00001737: DUP5 00001738: SWAP3 00001739: SWAP1 0000173a: PUSH2 0x1744 0000173d: SWAP1 0000173e: DUP5 0000173f: SWAP1 00001740: PUSH2 0x1a18 00001743: JUMP 00001744: JUMPDEST 00001745: SWAP1 00001746: SWAP2 00001747: SSTORE 00001748: POP 00001749: POP 0000174a: PUSH1 0x40 0000174c: MLOAD 0000174d: DUP3 0000174e: DUP2 0000174f: MSTORE 00001750: PUSH1 0x00 00001752: SWAP1 00001753: PUSH1 0x01 00001755: PUSH1 0x01 00001757: PUSH1 0xa0 00001759: SHL 0000175a: SUB 0000175b: DUP6 0000175c: AND 0000175d: SWAP1 0000175e: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 0000177f: SWAP1 00001780: PUSH1 0x20 00001782: ADD 00001783: PUSH1 0x40 00001785: MLOAD 00001786: DUP1 00001787: SWAP2 00001788: SUB 00001789: SWAP1 0000178a: LOG3 0000178b: DUP2 0000178c: PUSH1 0x04 0000178e: SLOAD 0000178f: PUSH2 0x1798 00001792: SWAP2 00001793: SWAP1 00001794: PUSH2 0x197e 00001797: JUMP 00001798: JUMPDEST 00001799: PUSH1 0x01 0000179b: PUSH1 0x01 0000179d: PUSH1 0xa0 0000179f: SHL 000017a0: SUB 000017a1: DUP5 000017a2: AND 000017a3: PUSH1 0x00 000017a5: SWAP1 000017a6: DUP2 000017a7: MSTORE 000017a8: PUSH1 0x08 000017aa: PUSH1 0x20 000017ac: MSTORE 000017ad: PUSH1 0x40 000017af: SWAP1 000017b0: KECCAK256 000017b1: SLOAD 000017b2: PUSH2 0x17bb 000017b5: SWAP2 000017b6: SWAP1 000017b7: PUSH2 0x19d7 000017ba: JUMP 000017bb: JUMPDEST 000017bc: PUSH1 0x01 000017be: PUSH1 0x01 000017c0: PUSH1 0xa0 000017c2: SHL 000017c3: SUB 000017c4: SWAP1 000017c5: SWAP4 000017c6: AND 000017c7: PUSH1 0x00 000017c9: SWAP1 000017ca: DUP2 000017cb: MSTORE 000017cc: PUSH1 0x08 000017ce: PUSH1 0x20 000017d0: MSTORE 000017d1: PUSH1 0x40 000017d3: SWAP1 000017d4: KECCAK256 000017d5: SWAP3 000017d6: SWAP1 000017d7: SWAP3 000017d8: SSTORE 000017d9: POP 000017da: POP 000017db: JUMP 000017dc: JUMPDEST 000017dd: PUSH1 0x01 000017df: PUSH1 0x01 000017e1: PUSH1 0xa0 000017e3: SHL 000017e4: SUB 000017e5: DUP2 000017e6: AND 000017e7: DUP2 000017e8: EQ 000017e9: PUSH2 0x0e26 000017ec: JUMPI 000017ed: PUSH1 0x00 000017ef: DUP1 000017f0: REVERT 000017f1: JUMPDEST 000017f2: PUSH1 0x00 000017f4: PUSH1 0x20 000017f6: DUP3 000017f7: DUP5 000017f8: SUB 000017f9: SLT 000017fa: ISZERO 000017fb: PUSH2 0x1803 000017fe: JUMPI 000017ff: PUSH1 0x00 00001801: DUP1 00001802: REVERT 00001803: JUMPDEST 00001804: DUP2 00001805: CALLDATALOAD 00001806: PUSH2 0x180e 00001809: DUP2 0000180a: PUSH2 0x17dc 0000180d: JUMP 0000180e: JUMPDEST 0000180f: SWAP4 00001810: SWAP3 00001811: POP 00001812: POP 00001813: POP 00001814: JUMP 00001815: JUMPDEST 00001816: PUSH1 0x00 00001818: PUSH1 0x20 0000181a: DUP1 0000181b: DUP4 0000181c: MSTORE 0000181d: DUP4 0000181e: MLOAD 0000181f: DUP1 00001820: DUP3 00001821: DUP6 00001822: ADD 00001823: MSTORE 00001824: PUSH1 0x00 00001826: JUMPDEST 00001827: DUP2 00001828: DUP2 00001829: LT 0000182a: ISZERO 0000182b: PUSH2 0x1842 0000182e: JUMPI 0000182f: DUP6 00001830: DUP2 00001831: ADD 00001832: DUP4 00001833: ADD 00001834: MLOAD 00001835: DUP6 00001836: DUP3 00001837: ADD 00001838: PUSH1 0x40 0000183a: ADD 0000183b: MSTORE 0000183c: DUP3 0000183d: ADD 0000183e: PUSH2 0x1826 00001841: JUMP 00001842: JUMPDEST 00001843: DUP2 00001844: DUP2 00001845: GT 00001846: ISZERO 00001847: PUSH2 0x1854 0000184a: JUMPI 0000184b: PUSH1 0x00 0000184d: PUSH1 0x40 0000184f: DUP4 00001850: DUP8 00001851: ADD 00001852: ADD 00001853: MSTORE 00001854: JUMPDEST 00001855: POP 00001856: PUSH1 0x1f 00001858: ADD 00001859: PUSH1 0x1f 0000185b: NOT 0000185c: AND 0000185d: SWAP3 0000185e: SWAP1 0000185f: SWAP3 00001860: ADD 00001861: PUSH1 0x40 00001863: ADD 00001864: SWAP4 00001865: SWAP3 00001866: POP 00001867: POP 00001868: POP 00001869: JUMP 0000186a: JUMPDEST 0000186b: PUSH1 0x00 0000186d: DUP1 0000186e: PUSH1 0x40 00001870: DUP4 00001871: DUP6 00001872: SUB 00001873: SLT 00001874: ISZERO 00001875: PUSH2 0x187d 00001878: JUMPI 00001879: PUSH1 0x00 0000187b: DUP1 0000187c: REVERT 0000187d: JUMPDEST 0000187e: DUP3 0000187f: CALLDATALOAD 00001880: PUSH2 0x1888 00001883: DUP2 00001884: PUSH2 0x17dc 00001887: JUMP 00001888: JUMPDEST 00001889: SWAP5 0000188a: PUSH1 0x20 0000188c: SWAP4 0000188d: SWAP1 0000188e: SWAP4 0000188f: ADD 00001890: CALLDATALOAD 00001891: SWAP4 00001892: POP 00001893: POP 00001894: POP 00001895: JUMP 00001896: JUMPDEST 00001897: PUSH1 0x00 00001899: DUP1 0000189a: PUSH1 0x00 0000189c: PUSH1 0x60 0000189e: DUP5 0000189f: DUP7 000018a0: SUB 000018a1: SLT 000018a2: ISZERO 000018a3: PUSH2 0x18ab 000018a6: JUMPI 000018a7: PUSH1 0x00 000018a9: DUP1 000018aa: REVERT 000018ab: JUMPDEST 000018ac: DUP4 000018ad: CALLDATALOAD 000018ae: PUSH2 0x18b6 000018b1: DUP2 000018b2: PUSH2 0x17dc 000018b5: JUMP 000018b6: JUMPDEST 000018b7: SWAP3 000018b8: POP 000018b9: PUSH1 0x20 000018bb: DUP5 000018bc: ADD 000018bd: CALLDATALOAD 000018be: PUSH2 0x18c6 000018c1: DUP2 000018c2: PUSH2 0x17dc 000018c5: JUMP 000018c6: JUMPDEST 000018c7: SWAP3 000018c8: SWAP6 000018c9: SWAP3 000018ca: SWAP5 000018cb: POP 000018cc: POP 000018cd: POP 000018ce: PUSH1 0x40 000018d0: SWAP2 000018d1: SWAP1 000018d2: SWAP2 000018d3: ADD 000018d4: CALLDATALOAD 000018d5: SWAP1 000018d6: JUMP 000018d7: JUMPDEST 000018d8: PUSH1 0x00 000018da: DUP1 000018db: PUSH1 0x40 000018dd: DUP4 000018de: DUP6 000018df: SUB 000018e0: SLT 000018e1: ISZERO 000018e2: PUSH2 0x18ea 000018e5: JUMPI 000018e6: PUSH1 0x00 000018e8: DUP1 000018e9: REVERT 000018ea: JUMPDEST 000018eb: DUP3 000018ec: CALLDATALOAD 000018ed: PUSH2 0x18f5 000018f0: DUP2 000018f1: PUSH2 0x17dc 000018f4: JUMP 000018f5: JUMPDEST 000018f6: SWAP2 000018f7: POP 000018f8: PUSH1 0x20 000018fa: DUP4 000018fb: ADD 000018fc: CALLDATALOAD 000018fd: DUP1 000018fe: ISZERO 000018ff: ISZERO 00001900: DUP2 00001901: EQ 00001902: PUSH2 0x190a 00001905: JUMPI 00001906: PUSH1 0x00 00001908: DUP1 00001909: REVERT 0000190a: JUMPDEST 0000190b: DUP1 0000190c: SWAP2 0000190d: POP 0000190e: POP 0000190f: SWAP3 00001910: POP 00001911: SWAP3 00001912: SWAP1 00001913: POP 00001914: JUMP 00001915: JUMPDEST 00001916: PUSH1 0x00 00001918: DUP1 00001919: PUSH1 0x40 0000191b: DUP4 0000191c: DUP6 0000191d: SUB 0000191e: SLT 0000191f: ISZERO 00001920: PUSH2 0x1928 00001923: JUMPI 00001924: PUSH1 0x00 00001926: DUP1 00001927: REVERT 00001928: JUMPDEST 00001929: DUP3 0000192a: CALLDATALOAD 0000192b: SWAP2 0000192c: POP 0000192d: PUSH1 0x20 0000192f: DUP4 00001930: ADD 00001931: CALLDATALOAD 00001932: PUSH2 0x190a 00001935: DUP2 00001936: PUSH2 0x17dc 00001939: JUMP 0000193a: JUMPDEST 0000193b: PUSH1 0x00 0000193d: DUP1 0000193e: PUSH1 0x40 00001940: DUP4 00001941: DUP6 00001942: SUB 00001943: SLT 00001944: ISZERO 00001945: PUSH2 0x194d 00001948: JUMPI 00001949: PUSH1 0x00 0000194b: DUP1 0000194c: REVERT 0000194d: JUMPDEST 0000194e: DUP3 0000194f: CALLDATALOAD 00001950: PUSH2 0x1958 00001953: DUP2 00001954: PUSH2 0x17dc 00001957: JUMP 00001958: JUMPDEST 00001959: SWAP2 0000195a: POP 0000195b: PUSH1 0x20 0000195d: DUP4 0000195e: ADD 0000195f: CALLDATALOAD 00001960: PUSH2 0x190a 00001963: DUP2 00001964: PUSH2 0x17dc 00001967: JUMP 00001968: JUMPDEST 00001969: PUSH4 0x4e487b71 0000196e: PUSH1 0xe0 00001970: SHL 00001971: PUSH1 0x00 00001973: MSTORE 00001974: PUSH1 0x11 00001976: PUSH1 0x04 00001978: MSTORE 00001979: PUSH1 0x24 0000197b: PUSH1 0x00 0000197d: REVERT 0000197e: JUMPDEST 0000197f: PUSH1 0x00 00001981: DUP2 00001982: PUSH1 0x00 00001984: NOT 00001985: DIV 00001986: DUP4 00001987: GT 00001988: DUP3 00001989: ISZERO 0000198a: ISZERO 0000198b: AND 0000198c: ISZERO 0000198d: PUSH2 0x1998 00001990: JUMPI 00001991: PUSH2 0x1998 00001994: PUSH2 0x1968 00001997: JUMP 00001998: JUMPDEST 00001999: POP 0000199a: MUL 0000199b: SWAP1 0000199c: JUMP 0000199d: JUMPDEST 0000199e: PUSH1 0x00 000019a0: DUP3 000019a1: PUSH2 0x19ba 000019a4: JUMPI 000019a5: PUSH4 0x4e487b71 000019aa: PUSH1 0xe0 000019ac: SHL 000019ad: PUSH1 0x00 000019af: MSTORE 000019b0: PUSH1 0x12 000019b2: PUSH1 0x04 000019b4: MSTORE 000019b5: PUSH1 0x24 000019b7: PUSH1 0x00 000019b9: REVERT 000019ba: JUMPDEST 000019bb: POP 000019bc: DIV 000019bd: SWAP1 000019be: JUMP 000019bf: JUMPDEST 000019c0: PUSH1 0x00 000019c2: DUP3 000019c3: NOT 000019c4: DUP3 000019c5: GT 000019c6: ISZERO 000019c7: PUSH2 0x19d2 000019ca: JUMPI 000019cb: PUSH2 0x19d2 000019ce: PUSH2 0x1968 000019d1: JUMP 000019d2: JUMPDEST 000019d3: POP 000019d4: ADD 000019d5: SWAP1 000019d6: JUMP 000019d7: JUMPDEST 000019d8: PUSH1 0x00 000019da: DUP1 000019db: DUP3 000019dc: SLT 000019dd: DUP1 000019de: ISZERO 000019df: PUSH1 0x01 000019e1: PUSH1 0x01 000019e3: PUSH1 0xff 000019e5: SHL 000019e6: SUB 000019e7: DUP5 000019e8: SWAP1 000019e9: SUB 000019ea: DUP6 000019eb: SGT 000019ec: AND 000019ed: ISZERO 000019ee: PUSH2 0x19f9 000019f1: JUMPI 000019f2: PUSH2 0x19f9 000019f5: PUSH2 0x1968 000019f8: JUMP 000019f9: JUMPDEST 000019fa: PUSH1 0x01 000019fc: PUSH1 0xff 000019fe: SHL 000019ff: DUP4 00001a00: SWAP1 00001a01: SUB 00001a02: DUP5 00001a03: SLT 00001a04: DUP2 00001a05: AND 00001a06: ISZERO 00001a07: PUSH2 0x1a12 00001a0a: JUMPI 00001a0b: PUSH2 0x1a12 00001a0e: PUSH2 0x1968 00001a11: JUMP 00001a12: JUMPDEST 00001a13: POP 00001a14: POP 00001a15: ADD 00001a16: SWAP1 00001a17: JUMP 00001a18: JUMPDEST 00001a19: PUSH1 0x00 00001a1b: DUP3 00001a1c: DUP3 00001a1d: LT 00001a1e: ISZERO 00001a1f: PUSH2 0x1a2a 00001a22: JUMPI 00001a23: PUSH2 0x1a2a 00001a26: PUSH2 0x1968 00001a29: JUMP 00001a2a: JUMPDEST 00001a2b: POP 00001a2c: SUB 00001a2d: SWAP1 00001a2e: JUMP 00001a2f: JUMPDEST 00001a30: PUSH1 0x20 00001a32: DUP1 00001a33: DUP3 00001a34: MSTORE 00001a35: DUP2 00001a36: DUP2 00001a37: ADD 00001a38: MSTORE 00001a39: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00001a5a: PUSH1 0x40 00001a5c: DUP3 00001a5d: ADD 00001a5e: MSTORE 00001a5f: PUSH1 0x60 00001a61: ADD 00001a62: SWAP1 00001a63: JUMP 00001a64: JUMPDEST 00001a65: PUSH1 0x00 00001a67: PUSH1 0x20 00001a69: DUP3 00001a6a: DUP5 00001a6b: SUB 00001a6c: SLT 00001a6d: ISZERO 00001a6e: PUSH2 0x1a76 00001a71: JUMPI 00001a72: PUSH1 0x00 00001a74: DUP1 00001a75: REVERT 00001a76: JUMPDEST 00001a77: POP 00001a78: MLOAD 00001a79: SWAP2 00001a7a: SWAP1 00001a7b: POP 00001a7c: JUMP 00001a7d: JUMPDEST 00001a7e: PUSH1 0x00 00001a80: PUSH1 0x20 00001a82: DUP3 00001a83: DUP5 00001a84: SUB 00001a85: SLT 00001a86: ISZERO 00001a87: PUSH2 0x1a8f 00001a8a: JUMPI 00001a8b: PUSH1 0x00 00001a8d: DUP1 00001a8e: REVERT 00001a8f: JUMPDEST 00001a90: DUP2 00001a91: MLOAD 00001a92: PUSH2 0x180e 00001a95: DUP2 00001a96: PUSH2 0x17dc 00001a99: JUMP 00001a9a: JUMPDEST 00001a9b: PUSH4 0x4e487b71 00001aa0: PUSH1 0xe0 00001aa2: SHL 00001aa3: PUSH1 0x00 00001aa5: MSTORE 00001aa6: PUSH1 0x32 00001aa8: PUSH1 0x04 00001aaa: MSTORE 00001aab: PUSH1 0x24 00001aad: PUSH1 0x00 00001aaf: REVERT 00001ab0: JUMPDEST 00001ab1: PUSH1 0x00 00001ab3: PUSH1 0x80 00001ab5: DUP3 00001ab6: ADD 00001ab7: DUP7 00001ab8: DUP4 00001ab9: MSTORE 00001aba: PUSH1 0x20 00001abc: PUSH1 0x80 00001abe: DUP2 00001abf: DUP6 00001ac0: ADD 00001ac1: MSTORE 00001ac2: DUP2 00001ac3: DUP8 00001ac4: MLOAD 00001ac5: DUP1 00001ac6: DUP5 00001ac7: MSTORE 00001ac8: PUSH1 0xa0 00001aca: DUP7 00001acb: ADD 00001acc: SWAP2 00001acd: POP 00001ace: DUP3 00001acf: DUP10 00001ad0: ADD 00001ad1: SWAP4 00001ad2: POP 00001ad3: PUSH1 0x00 00001ad5: JUMPDEST 00001ad6: DUP2 00001ad7: DUP2 00001ad8: LT 00001ad9: ISZERO 00001ada: PUSH2 0x1afa 00001add: JUMPI 00001ade: DUP5 00001adf: MLOAD 00001ae0: PUSH1 0x01 00001ae2: PUSH1 0x01 00001ae4: PUSH1 0xa0 00001ae6: SHL 00001ae7: SUB 00001ae8: AND 00001ae9: DUP4 00001aea: MSTORE 00001aeb: SWAP4 00001aec: DUP4 00001aed: ADD 00001aee: SWAP4 00001aef: SWAP2 00001af0: DUP4 00001af1: ADD 00001af2: SWAP2 00001af3: PUSH1 0x01 00001af5: ADD 00001af6: PUSH2 0x1ad5 00001af9: JUMP 00001afa: JUMPDEST 00001afb: POP 00001afc: POP 00001afd: PUSH1 0x01 00001aff: PUSH1 0x01 00001b01: PUSH1 0xa0 00001b03: SHL 00001b04: SUB 00001b05: SWAP7 00001b06: SWAP1 00001b07: SWAP7 00001b08: AND 00001b09: PUSH1 0x40 00001b0b: DUP6 00001b0c: ADD 00001b0d: MSTORE 00001b0e: POP 00001b0f: POP 00001b10: POP 00001b11: PUSH1 0x60 00001b13: ADD 00001b14: MSTORE 00001b15: SWAP3 00001b16: SWAP2 00001b17: POP 00001b18: POP 00001b19: JUMP 00001b1a: JUMPDEST 00001b1b: PUSH1 0x00 00001b1d: PUSH1 0x03 00001b1f: RETURNDATASIZE 00001b20: GT 00001b21: ISZERO 00001b22: PUSH2 0x1b33 00001b25: JUMPI 00001b26: PUSH1 0x04 00001b28: PUSH1 0x00 00001b2a: DUP1 00001b2b: RETURNDATACOPY 00001b2c: POP 00001b2d: PUSH1 0x00 00001b2f: MLOAD 00001b30: PUSH1 0xe0 00001b32: SHR 00001b33: JUMPDEST 00001b34: SWAP1 00001b35: JUMP 00001b36: JUMPDEST 00001b37: PUSH1 0x1f 00001b39: DUP3 00001b3a: ADD 00001b3b: PUSH1 0x1f 00001b3d: NOT 00001b3e: AND 00001b3f: DUP2 00001b40: ADD 00001b41: PUSH8 0xffffffffffffffff 00001b4a: DUP2 00001b4b: GT 00001b4c: DUP3 00001b4d: DUP3 00001b4e: LT 00001b4f: OR 00001b50: ISZERO 00001b51: PUSH2 0x1b6a 00001b54: JUMPI 00001b55: PUSH4 0x4e487b71 00001b5a: PUSH1 0xe0 00001b5c: SHL 00001b5d: PUSH1 0x00 00001b5f: MSTORE 00001b60: PUSH1 0x41 00001b62: PUSH1 0x04 00001b64: MSTORE 00001b65: PUSH1 0x24 00001b67: PUSH1 0x00 00001b69: REVERT 00001b6a: JUMPDEST 00001b6b: PUSH1 0x40 00001b6d: MSTORE 00001b6e: POP 00001b6f: POP 00001b70: JUMP 00001b71: JUMPDEST 00001b72: PUSH1 0x00 00001b74: PUSH1 0x44 00001b76: RETURNDATASIZE 00001b77: LT 00001b78: ISZERO 00001b79: PUSH2 0x1b7f 00001b7c: JUMPI 00001b7d: SWAP1 00001b7e: JUMP 00001b7f: JUMPDEST 00001b80: PUSH1 0x40 00001b82: MLOAD 00001b83: PUSH1 0x03 00001b85: NOT 00001b86: RETURNDATASIZE 00001b87: DUP2 00001b88: ADD 00001b89: PUSH1 0x04 00001b8b: DUP4 00001b8c: RETURNDATACOPY 00001b8d: DUP2 00001b8e: MLOAD 00001b8f: RETURNDATASIZE 00001b90: PUSH8 0xffffffffffffffff 00001b99: DUP2 00001b9a: PUSH1 0x24 00001b9c: DUP5 00001b9d: ADD 00001b9e: GT 00001b9f: DUP2 00001ba0: DUP5 00001ba1: GT 00001ba2: OR 00001ba3: ISZERO 00001ba4: PUSH2 0x1baf 00001ba7: JUMPI 00001ba8: POP 00001ba9: POP 00001baa: POP 00001bab: POP 00001bac: POP 00001bad: SWAP1 00001bae: JUMP 00001baf: JUMPDEST 00001bb0: DUP3 00001bb1: DUP6 00001bb2: ADD 00001bb3: SWAP2 00001bb4: POP 00001bb5: DUP2 00001bb6: MLOAD 00001bb7: DUP2 00001bb8: DUP2 00001bb9: GT 00001bba: ISZERO 00001bbb: PUSH2 0x1bc7 00001bbe: JUMPI 00001bbf: POP 00001bc0: POP 00001bc1: POP 00001bc2: POP 00001bc3: POP 00001bc4: POP 00001bc5: SWAP1 00001bc6: JUMP 00001bc7: JUMPDEST 00001bc8: DUP5 00001bc9: RETURNDATASIZE 00001bca: DUP8 00001bcb: ADD 00001bcc: ADD 00001bcd: PUSH1 0x20 00001bcf: DUP3 00001bd0: DUP6 00001bd1: ADD 00001bd2: ADD 00001bd3: GT 00001bd4: ISZERO 00001bd5: PUSH2 0x1be1 00001bd8: JUMPI 00001bd9: POP 00001bda: POP 00001bdb: POP 00001bdc: POP 00001bdd: POP 00001bde: POP 00001bdf: SWAP1 00001be0: JUMP 00001be1: JUMPDEST 00001be2: PUSH2 0x1bf0 00001be5: PUSH1 0x20 00001be7: DUP3 00001be8: DUP7 00001be9: ADD 00001bea: ADD 00001beb: DUP8 00001bec: PUSH2 0x1b36 00001bef: JUMP 00001bf0: JUMPDEST 00001bf1: POP 00001bf2: SWAP1 00001bf3: SWAP6 00001bf4: SWAP5 00001bf5: POP 00001bf6: POP 00001bf7: POP 00001bf8: POP 00001bf9: POP 00001bfa: JUMP 00001bfb: JUMPDEST 00001bfc: PUSH1 0x00 00001bfe: DUP1 00001bff: DUP4 00001c00: SLT 00001c01: DUP1 00001c02: ISZERO 00001c03: PUSH1 0x01 00001c05: PUSH1 0xff 00001c07: SHL 00001c08: DUP6 00001c09: ADD 00001c0a: DUP5 00001c0b: SLT 00001c0c: AND 00001c0d: ISZERO 00001c0e: PUSH2 0x1c19 00001c11: JUMPI 00001c12: PUSH2 0x1c19 00001c15: PUSH2 0x1968 00001c18: JUMP 00001c19: JUMPDEST 00001c1a: PUSH1 0x01 00001c1c: PUSH1 0x01 00001c1e: PUSH1 0xff 00001c20: SHL 00001c21: SUB 00001c22: DUP5 00001c23: ADD 00001c24: DUP4 00001c25: SGT 00001c26: DUP2 00001c27: AND 00001c28: ISZERO 00001c29: PUSH2 0x1c34 00001c2c: JUMPI 00001c2d: PUSH2 0x1c34 00001c30: PUSH2 0x1968 00001c33: JUMP 00001c34: JUMPDEST 00001c35: POP 00001c36: POP 00001c37: SUB 00001c38: SWAP1 00001c39: JUMP 00001c3a: INVALID 00001c3b: LOG2 00001c3c: PUSH5 0x6970667358 00001c42: UNKNOWN(0x22) 00001c43: SLT 00001c44: KECCAK256 00001c45: LOG1 00001c46: DUP12 00001c47: SGT 00001c48: MSTORE 00001c49: PUSH14 0xdf22c13a701dfc008abbc31ee915 00001c58: EXP 00001c59: TLOAD 00001c5a: PUSH32
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x518438a21b9f864dd49c9924955294ac75d733bbbb74a7c408770b057b62a954
call_targets:
0x7c7aa99027892c5647d8733c8e0f0b3fde4147bc
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x518438a21b9f864dd49c9924955294ac75d733bbbb74a7c408770b057b62a954",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x7c7aa99027892c5647d8733c8e0f0b3fde4147bc"
],
"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": "0xeb53e214",
"selector": "0xeb53e214",
"calldata_variants": [
"0xeb53e214",
"0xeb53e2140000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xee172546",
"selector": "0xee172546",
"calldata_variants": [
"0xee172546",
"0xee1725460000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf82f235f",
"selector": "0xf82f235f",
"calldata_variants": [
"0xf82f235f",
"0xf82f235f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xad76d686",
"selector": "0xad76d686",
"calldata_variants": [
"0xad76d686",
"0xad76d6860000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc2590709",
"selector": "0xc2590709",
"calldata_variants": [
"0xc2590709",
"0xc25907090000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe30443bc",
"selector": "0xe30443bc",
"calldata_variants": [
"0xe30443bc",
"0xe30443bc0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3197,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4322,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5035,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [],
"untrusted_call_count": 3
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x518438a21b9f864dd49c9924955294ac75d733bbbb74a7c408770b057b62a954
call_targets:
0x7c7aa99027892c5647d8733c8e0f0b3fde4147bc
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x518438a21b9f864dd49c9924955294ac75d733bbbb74a7c408770b057b62a954",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x7c7aa99027892c5647d8733c8e0f0b3fde4147bc"
],
"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": "0xeb53e214",
"selector": "0xeb53e214",
"calldata_variants": [
"0xeb53e214",
"0xeb53e2140000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xee172546",
"selector": "0xee172546",
"calldata_variants": [
"0xee172546",
"0xee1725460000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf82f235f",
"selector": "0xf82f235f",
"calldata_variants": [
"0xf82f235f",
"0xf82f235f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xad76d686",
"selector": "0xad76d686",
"calldata_variants": [
"0xad76d686",
"0xad76d6860000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc2590709",
"selector": "0xc2590709",
"calldata_variants": [
"0xc2590709",
"0xc25907090000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe30443bc",
"selector": "0xe30443bc",
"calldata_variants": [
"0xe30443bc",
"0xe30443bc0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3197,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4322,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5035,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|