019ba928-f758-713d-a8fd-a9be0ee122c9
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 |
|---|---|---|---|---|
| 35179 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 35180 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 35181 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 35182 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 35183 | capability.graph | complete | 1 / 3 | 3 months ago |
| 35184 | detector.run | complete | 1 / 3 | 3 months ago |
| 35185 | 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 0x0138 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x70a08231 00000019: GT 0000001a: PUSH2 0x00ab 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xc8f33c91 00000024: GT 00000025: PUSH2 0x006f 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xc8f33c91 0000002f: EQ 00000030: PUSH2 0x0465 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xcd3daf9d 0000003a: EQ 0000003b: PUSH2 0x047a 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xdcd2af17 00000045: EQ 00000046: PUSH2 0x048f 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xdf136d65 00000050: EQ 00000051: PUSH2 0x04c0 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xebe2b12b 0000005b: EQ 0000005c: PUSH2 0x04d5 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0xf7c618c1 00000066: EQ 00000067: PUSH2 0x04ea 0000006a: JUMPI 0000006b: PUSH2 0x013f 0000006e: JUMP 0000006f: JUMPDEST 00000070: DUP1 00000071: PUSH4 0x70a08231 00000076: EQ 00000077: PUSH2 0x03a2 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x7b0a47ee 00000081: EQ 00000082: PUSH2 0x03d5 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x80faa57d 0000008c: EQ 0000008d: PUSH2 0x03ea 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0x8b876347 00000097: EQ 00000098: PUSH2 0x03ff 0000009b: JUMPI 0000009c: DUP1 0000009d: PUSH4 0xc00007b0 000000a2: EQ 000000a3: PUSH2 0x0432 000000a6: JUMPI 000000a7: PUSH2 0x013f 000000aa: JUMP 000000ab: JUMPDEST 000000ac: DUP1 000000ad: PUSH4 0x26476204 000000b2: GT 000000b3: PUSH2 0x00fd 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x26476204 000000bd: EQ 000000be: PUSH2 0x021b 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x2f54bf6e 000000c8: EQ 000000c9: PUSH2 0x024e 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0x3c6b16ab 000000d3: EQ 000000d4: PUSH2 0x0295 000000d7: JUMPI 000000d8: DUP1 000000d9: PUSH4 0x51cff8d9 000000de: EQ 000000df: PUSH2 0x02bf 000000e2: JUMPI 000000e3: DUP1 000000e4: PUSH4 0x6c46a2c5 000000e9: EQ 000000ea: PUSH2 0x02f2 000000ed: JUMPI 000000ee: DUP1 000000ef: PUSH4 0x7065cb48 000000f4: EQ 000000f5: PUSH2 0x036f 000000f8: JUMPI 000000f9: PUSH2 0x013f 000000fc: JUMP 000000fd: JUMPDEST 000000fe: DUP1 000000ff: PUSH3 0x8cc262 00000103: EQ 00000104: PUSH2 0x0144 00000107: JUMPI 00000108: DUP1 00000109: PUSH4 0x0700037d 0000010e: EQ 0000010f: PUSH2 0x0189 00000112: JUMPI 00000113: DUP1 00000114: PUSH4 0x0fb5a6b4 00000119: EQ 0000011a: PUSH2 0x01bc 0000011d: JUMPI 0000011e: DUP1 0000011f: PUSH4 0x173825d9 00000124: EQ 00000125: PUSH2 0x01d1 00000128: JUMPI 00000129: DUP1 0000012a: PUSH4 0x18160ddd 0000012f: EQ 00000130: PUSH2 0x0206 00000133: JUMPI 00000134: PUSH2 0x013f 00000137: JUMP 00000138: JUMPDEST 00000139: CALLDATASIZE 0000013a: PUSH2 0x013f 0000013d: JUMPI 0000013e: STOP 0000013f: JUMPDEST 00000140: PUSH1 0x00 00000142: DUP1 00000143: REVERT 00000144: JUMPDEST 00000145: CALLVALUE 00000146: DUP1 00000147: ISZERO 00000148: PUSH2 0x0150 0000014b: JUMPI 0000014c: PUSH1 0x00 0000014e: DUP1 0000014f: REVERT 00000150: JUMPDEST 00000151: POP 00000152: PUSH2 0x0177 00000155: PUSH1 0x04 00000157: DUP1 00000158: CALLDATASIZE 00000159: SUB 0000015a: PUSH1 0x20 0000015c: DUP2 0000015d: LT 0000015e: ISZERO 0000015f: PUSH2 0x0167 00000162: JUMPI 00000163: PUSH1 0x00 00000165: DUP1 00000166: REVERT 00000167: JUMPDEST 00000168: POP 00000169: CALLDATALOAD 0000016a: PUSH1 0x01 0000016c: PUSH1 0x01 0000016e: PUSH1 0xa0 00000170: SHL 00000171: SUB 00000172: AND 00000173: PUSH2 0x04ff 00000176: JUMP 00000177: JUMPDEST 00000178: PUSH1 0x40 0000017a: DUP1 0000017b: MLOAD 0000017c: SWAP2 0000017d: DUP3 0000017e: MSTORE 0000017f: MLOAD 00000180: SWAP1 00000181: DUP2 00000182: SWAP1 00000183: SUB 00000184: PUSH1 0x20 00000186: ADD 00000187: SWAP1 00000188: RETURN 00000189: JUMPDEST 0000018a: CALLVALUE 0000018b: DUP1 0000018c: ISZERO 0000018d: PUSH2 0x0195 00000190: JUMPI 00000191: PUSH1 0x00 00000193: DUP1 00000194: REVERT 00000195: JUMPDEST 00000196: POP 00000197: PUSH2 0x0177 0000019a: PUSH1 0x04 0000019c: DUP1 0000019d: CALLDATASIZE 0000019e: SUB 0000019f: PUSH1 0x20 000001a1: DUP2 000001a2: LT 000001a3: ISZERO 000001a4: PUSH2 0x01ac 000001a7: JUMPI 000001a8: PUSH1 0x00 000001aa: DUP1 000001ab: REVERT 000001ac: JUMPDEST 000001ad: POP 000001ae: CALLDATALOAD 000001af: PUSH1 0x01 000001b1: PUSH1 0x01 000001b3: PUSH1 0xa0 000001b5: SHL 000001b6: SUB 000001b7: AND 000001b8: PUSH2 0x056d 000001bb: JUMP 000001bc: JUMPDEST 000001bd: CALLVALUE 000001be: DUP1 000001bf: ISZERO 000001c0: PUSH2 0x01c8 000001c3: JUMPI 000001c4: PUSH1 0x00 000001c6: DUP1 000001c7: REVERT 000001c8: JUMPDEST 000001c9: POP 000001ca: PUSH2 0x0177 000001cd: PUSH2 0x057f 000001d0: JUMP 000001d1: JUMPDEST 000001d2: CALLVALUE 000001d3: DUP1 000001d4: ISZERO 000001d5: PUSH2 0x01dd 000001d8: JUMPI 000001d9: PUSH1 0x00 000001db: DUP1 000001dc: REVERT 000001dd: JUMPDEST 000001de: POP 000001df: PUSH2 0x0204 000001e2: PUSH1 0x04 000001e4: DUP1 000001e5: CALLDATASIZE 000001e6: SUB 000001e7: PUSH1 0x20 000001e9: DUP2 000001ea: LT 000001eb: ISZERO 000001ec: PUSH2 0x01f4 000001ef: JUMPI 000001f0: PUSH1 0x00 000001f2: DUP1 000001f3: REVERT 000001f4: JUMPDEST 000001f5: POP 000001f6: CALLDATALOAD 000001f7: PUSH1 0x01 000001f9: PUSH1 0x01 000001fb: PUSH1 0xa0 000001fd: SHL 000001fe: SUB 000001ff: AND 00000200: PUSH2 0x0586 00000203: JUMP 00000204: JUMPDEST 00000205: STOP 00000206: JUMPDEST 00000207: CALLVALUE 00000208: DUP1 00000209: ISZERO 0000020a: PUSH2 0x0212 0000020d: JUMPI 0000020e: PUSH1 0x00 00000210: DUP1 00000211: REVERT 00000212: JUMPDEST 00000213: POP 00000214: PUSH2 0x0177 00000217: PUSH2 0x067d 0000021a: JUMP 0000021b: JUMPDEST 0000021c: CALLVALUE 0000021d: DUP1 0000021e: ISZERO 0000021f: PUSH2 0x0227 00000222: JUMPI 00000223: PUSH1 0x00 00000225: DUP1 00000226: REVERT 00000227: JUMPDEST 00000228: POP 00000229: PUSH2 0x0204 0000022c: PUSH1 0x04 0000022e: DUP1 0000022f: CALLDATASIZE 00000230: SUB 00000231: PUSH1 0x20 00000233: DUP2 00000234: LT 00000235: ISZERO 00000236: PUSH2 0x023e 00000239: JUMPI 0000023a: PUSH1 0x00 0000023c: DUP1 0000023d: REVERT 0000023e: JUMPDEST 0000023f: POP 00000240: CALLDATALOAD 00000241: PUSH1 0x01 00000243: PUSH1 0x01 00000245: PUSH1 0xa0 00000247: SHL 00000248: SUB 00000249: AND 0000024a: PUSH2 0x06f4 0000024d: JUMP 0000024e: JUMPDEST 0000024f: CALLVALUE 00000250: DUP1 00000251: ISZERO 00000252: PUSH2 0x025a 00000255: JUMPI 00000256: PUSH1 0x00 00000258: DUP1 00000259: REVERT 0000025a: JUMPDEST 0000025b: POP 0000025c: PUSH2 0x0281 0000025f: PUSH1 0x04 00000261: DUP1 00000262: CALLDATASIZE 00000263: SUB 00000264: PUSH1 0x20 00000266: DUP2 00000267: LT 00000268: ISZERO 00000269: PUSH2 0x0271 0000026c: JUMPI 0000026d: PUSH1 0x00 0000026f: DUP1 00000270: REVERT 00000271: JUMPDEST 00000272: POP 00000273: CALLDATALOAD 00000274: PUSH1 0x01 00000276: PUSH1 0x01 00000278: PUSH1 0xa0 0000027a: SHL 0000027b: SUB 0000027c: AND 0000027d: PUSH2 0x07cb 00000280: JUMP 00000281: JUMPDEST 00000282: PUSH1 0x40 00000284: DUP1 00000285: MLOAD 00000286: SWAP2 00000287: ISZERO 00000288: ISZERO 00000289: DUP3 0000028a: MSTORE 0000028b: MLOAD 0000028c: SWAP1 0000028d: DUP2 0000028e: SWAP1 0000028f: SUB 00000290: PUSH1 0x20 00000292: ADD 00000293: SWAP1 00000294: RETURN 00000295: JUMPDEST 00000296: CALLVALUE 00000297: DUP1 00000298: ISZERO 00000299: PUSH2 0x02a1 0000029c: JUMPI 0000029d: PUSH1 0x00 0000029f: DUP1 000002a0: REVERT 000002a1: JUMPDEST 000002a2: POP 000002a3: PUSH2 0x0204 000002a6: PUSH1 0x04 000002a8: DUP1 000002a9: CALLDATASIZE 000002aa: SUB 000002ab: PUSH1 0x20 000002ad: DUP2 000002ae: LT 000002af: ISZERO 000002b0: PUSH2 0x02b8 000002b3: JUMPI 000002b4: PUSH1 0x00 000002b6: DUP1 000002b7: REVERT 000002b8: JUMPDEST 000002b9: POP 000002ba: CALLDATALOAD 000002bb: PUSH2 0x07e9 000002be: JUMP 000002bf: JUMPDEST 000002c0: CALLVALUE 000002c1: DUP1 000002c2: ISZERO 000002c3: PUSH2 0x02cb 000002c6: JUMPI 000002c7: PUSH1 0x00 000002c9: DUP1 000002ca: REVERT 000002cb: JUMPDEST 000002cc: POP 000002cd: PUSH2 0x0204 000002d0: PUSH1 0x04 000002d2: DUP1 000002d3: CALLDATASIZE 000002d4: SUB 000002d5: PUSH1 0x20 000002d7: DUP2 000002d8: LT 000002d9: ISZERO 000002da: PUSH2 0x02e2 000002dd: JUMPI 000002de: PUSH1 0x00 000002e0: DUP1 000002e1: REVERT 000002e2: JUMPDEST 000002e3: POP 000002e4: CALLDATALOAD 000002e5: PUSH1 0x01 000002e7: PUSH1 0x01 000002e9: PUSH1 0xa0 000002eb: SHL 000002ec: SUB 000002ed: AND 000002ee: PUSH2 0x098d 000002f1: JUMP 000002f2: JUMPDEST 000002f3: CALLVALUE 000002f4: DUP1 000002f5: ISZERO 000002f6: PUSH2 0x02fe 000002f9: JUMPI 000002fa: PUSH1 0x00 000002fc: DUP1 000002fd: REVERT 000002fe: JUMPDEST 000002ff: POP 00000300: PUSH2 0x0204 00000303: PUSH1 0x04 00000305: DUP1 00000306: CALLDATASIZE 00000307: SUB 00000308: PUSH1 0x20 0000030a: DUP2 0000030b: LT 0000030c: ISZERO 0000030d: PUSH2 0x0315 00000310: JUMPI 00000311: PUSH1 0x00 00000313: DUP1 00000314: REVERT 00000315: JUMPDEST 00000316: DUP2 00000317: ADD 00000318: SWAP1 00000319: PUSH1 0x20 0000031b: DUP2 0000031c: ADD 0000031d: DUP2 0000031e: CALLDATALOAD 0000031f: PUSH5 0x0100000000 00000325: DUP2 00000326: GT 00000327: ISZERO 00000328: PUSH2 0x0330 0000032b: JUMPI 0000032c: PUSH1 0x00 0000032e: DUP1 0000032f: REVERT 00000330: JUMPDEST 00000331: DUP3 00000332: ADD 00000333: DUP4 00000334: PUSH1 0x20 00000336: DUP3 00000337: ADD 00000338: GT 00000339: ISZERO 0000033a: PUSH2 0x0342 0000033d: JUMPI 0000033e: PUSH1 0x00 00000340: DUP1 00000341: REVERT 00000342: JUMPDEST 00000343: DUP1 00000344: CALLDATALOAD 00000345: SWAP1 00000346: PUSH1 0x20 00000348: ADD 00000349: SWAP2 0000034a: DUP5 0000034b: PUSH1 0x20 0000034d: DUP4 0000034e: MUL 0000034f: DUP5 00000350: ADD 00000351: GT 00000352: PUSH5 0x0100000000 00000358: DUP4 00000359: GT 0000035a: OR 0000035b: ISZERO 0000035c: PUSH2 0x0364 0000035f: JUMPI 00000360: PUSH1 0x00 00000362: DUP1 00000363: REVERT 00000364: JUMPDEST 00000365: POP 00000366: SWAP1 00000367: SWAP3 00000368: POP 00000369: SWAP1 0000036a: POP 0000036b: PUSH2 0x0a64 0000036e: JUMP 0000036f: JUMPDEST 00000370: CALLVALUE 00000371: DUP1 00000372: ISZERO 00000373: PUSH2 0x037b 00000376: JUMPI 00000377: PUSH1 0x00 00000379: DUP1 0000037a: REVERT 0000037b: JUMPDEST 0000037c: POP 0000037d: PUSH2 0x0204 00000380: PUSH1 0x04 00000382: DUP1 00000383: CALLDATASIZE 00000384: SUB 00000385: PUSH1 0x20 00000387: DUP2 00000388: LT 00000389: ISZERO 0000038a: PUSH2 0x0392 0000038d: JUMPI 0000038e: PUSH1 0x00 00000390: DUP1 00000391: REVERT 00000392: JUMPDEST 00000393: POP 00000394: CALLDATALOAD 00000395: PUSH1 0x01 00000397: PUSH1 0x01 00000399: PUSH1 0xa0 0000039b: SHL 0000039c: SUB 0000039d: AND 0000039e: PUSH2 0x0ae4 000003a1: JUMP 000003a2: JUMPDEST 000003a3: CALLVALUE 000003a4: DUP1 000003a5: ISZERO 000003a6: PUSH2 0x03ae 000003a9: JUMPI 000003aa: PUSH1 0x00 000003ac: DUP1 000003ad: REVERT 000003ae: JUMPDEST 000003af: POP 000003b0: PUSH2 0x0177 000003b3: PUSH1 0x04 000003b5: DUP1 000003b6: CALLDATASIZE 000003b7: SUB 000003b8: PUSH1 0x20 000003ba: DUP2 000003bb: LT 000003bc: ISZERO 000003bd: PUSH2 0x03c5 000003c0: JUMPI 000003c1: PUSH1 0x00 000003c3: DUP1 000003c4: REVERT 000003c5: JUMPDEST 000003c6: POP 000003c7: CALLDATALOAD 000003c8: PUSH1 0x01 000003ca: PUSH1 0x01 000003cc: PUSH1 0xa0 000003ce: SHL 000003cf: SUB 000003d0: AND 000003d1: PUSH2 0x0bc9 000003d4: JUMP 000003d5: JUMPDEST 000003d6: CALLVALUE 000003d7: DUP1 000003d8: ISZERO 000003d9: PUSH2 0x03e1 000003dc: JUMPI 000003dd: PUSH1 0x00 000003df: DUP1 000003e0: REVERT 000003e1: JUMPDEST 000003e2: POP 000003e3: PUSH2 0x0177 000003e6: PUSH2 0x0c4c 000003e9: JUMP 000003ea: JUMPDEST 000003eb: CALLVALUE 000003ec: DUP1 000003ed: ISZERO 000003ee: PUSH2 0x03f6 000003f1: JUMPI 000003f2: PUSH1 0x00 000003f4: DUP1 000003f5: REVERT 000003f6: JUMPDEST 000003f7: POP 000003f8: PUSH2 0x0177 000003fb: PUSH2 0x0c52 000003fe: JUMP 000003ff: JUMPDEST 00000400: CALLVALUE 00000401: DUP1 00000402: ISZERO 00000403: PUSH2 0x040b 00000406: JUMPI 00000407: PUSH1 0x00 00000409: DUP1 0000040a: REVERT 0000040b: JUMPDEST 0000040c: POP 0000040d: PUSH2 0x0177 00000410: PUSH1 0x04 00000412: DUP1 00000413: CALLDATASIZE 00000414: SUB 00000415: PUSH1 0x20 00000417: DUP2 00000418: LT 00000419: ISZERO 0000041a: PUSH2 0x0422 0000041d: JUMPI 0000041e: PUSH1 0x00 00000420: DUP1 00000421: REVERT 00000422: JUMPDEST 00000423: POP 00000424: CALLDATALOAD 00000425: PUSH1 0x01 00000427: PUSH1 0x01 00000429: PUSH1 0xa0 0000042b: SHL 0000042c: SUB 0000042d: AND 0000042e: PUSH2 0x0c65 00000431: JUMP 00000432: JUMPDEST 00000433: CALLVALUE 00000434: DUP1 00000435: ISZERO 00000436: PUSH2 0x043e 00000439: JUMPI 0000043a: PUSH1 0x00 0000043c: DUP1 0000043d: REVERT 0000043e: JUMPDEST 0000043f: POP 00000440: PUSH2 0x0204 00000443: PUSH1 0x04 00000445: DUP1 00000446: CALLDATASIZE 00000447: SUB 00000448: PUSH1 0x20 0000044a: DUP2 0000044b: LT 0000044c: ISZERO 0000044d: PUSH2 0x0455 00000450: JUMPI 00000451: PUSH1 0x00 00000453: DUP1 00000454: REVERT 00000455: JUMPDEST 00000456: POP 00000457: CALLDATALOAD 00000458: PUSH1 0x01 0000045a: PUSH1 0x01 0000045c: PUSH1 0xa0 0000045e: SHL 0000045f: SUB 00000460: AND 00000461: PUSH2 0x0c77 00000464: JUMP 00000465: JUMPDEST 00000466: CALLVALUE 00000467: DUP1 00000468: ISZERO 00000469: PUSH2 0x0471 0000046c: JUMPI 0000046d: PUSH1 0x00 0000046f: DUP1 00000470: REVERT 00000471: JUMPDEST 00000472: POP 00000473: PUSH2 0x0177 00000476: PUSH2 0x0e1d 00000479: JUMP 0000047a: JUMPDEST 0000047b: CALLVALUE 0000047c: DUP1 0000047d: ISZERO 0000047e: PUSH2 0x0486 00000481: JUMPI 00000482: PUSH1 0x00 00000484: DUP1 00000485: REVERT 00000486: JUMPDEST 00000487: POP 00000488: PUSH2 0x0177 0000048b: PUSH2 0x0e23 0000048e: JUMP 0000048f: JUMPDEST 00000490: CALLVALUE 00000491: DUP1 00000492: ISZERO 00000493: PUSH2 0x049b 00000496: JUMPI 00000497: PUSH1 0x00 00000499: DUP1 0000049a: REVERT 0000049b: JUMPDEST 0000049c: POP 0000049d: PUSH2 0x04a4 000004a0: PUSH2 0x0e71 000004a3: JUMP 000004a4: JUMPDEST 000004a5: PUSH1 0x40 000004a7: DUP1 000004a8: MLOAD 000004a9: PUSH1 0x01 000004ab: PUSH1 0x01 000004ad: PUSH1 0xa0 000004af: SHL 000004b0: SUB 000004b1: SWAP1 000004b2: SWAP3 000004b3: AND 000004b4: DUP3 000004b5: MSTORE 000004b6: MLOAD 000004b7: SWAP1 000004b8: DUP2 000004b9: SWAP1 000004ba: SUB 000004bb: PUSH1 0x20 000004bd: ADD 000004be: SWAP1 000004bf: RETURN 000004c0: JUMPDEST 000004c1: CALLVALUE 000004c2: DUP1 000004c3: ISZERO 000004c4: PUSH2 0x04cc 000004c7: JUMPI 000004c8: PUSH1 0x00 000004ca: DUP1 000004cb: REVERT 000004cc: JUMPDEST 000004cd: POP 000004ce: PUSH2 0x0177 000004d1: PUSH2 0x0e80 000004d4: JUMP 000004d5: JUMPDEST 000004d6: CALLVALUE 000004d7: DUP1 000004d8: ISZERO 000004d9: PUSH2 0x04e1 000004dc: JUMPI 000004dd: PUSH1 0x00 000004df: DUP1 000004e0: REVERT 000004e1: JUMPDEST 000004e2: POP 000004e3: PUSH2 0x0177 000004e6: PUSH2 0x0e86 000004e9: JUMP 000004ea: JUMPDEST 000004eb: CALLVALUE 000004ec: DUP1 000004ed: ISZERO 000004ee: PUSH2 0x04f6 000004f1: JUMPI 000004f2: PUSH1 0x00 000004f4: DUP1 000004f5: REVERT 000004f6: JUMPDEST 000004f7: POP 000004f8: PUSH2 0x04a4 000004fb: PUSH2 0x0e8c 000004fe: JUMP 000004ff: JUMPDEST 00000500: PUSH1 0x01 00000502: PUSH1 0x01 00000504: PUSH1 0xa0 00000506: SHL 00000507: SUB 00000508: DUP2 00000509: AND 0000050a: PUSH1 0x00 0000050c: SWAP1 0000050d: DUP2 0000050e: MSTORE 0000050f: PUSH1 0x09 00000511: PUSH1 0x20 00000513: SWAP1 00000514: DUP2 00000515: MSTORE 00000516: PUSH1 0x40 00000518: DUP1 00000519: DUP4 0000051a: KECCAK256 0000051b: SLOAD 0000051c: PUSH1 0x08 0000051e: SWAP1 0000051f: SWAP3 00000520: MSTORE 00000521: DUP3 00000522: KECCAK256 00000523: SLOAD 00000524: PUSH2 0x0567 00000527: SWAP2 00000528: SWAP1 00000529: PUSH2 0x0561 0000052c: SWAP1 0000052d: PUSH8 0x0de0b6b3a7640000 00000536: SWAP1 00000537: PUSH2 0x055b 0000053a: SWAP1 0000053b: PUSH2 0x054c 0000053e: SWAP1 0000053f: PUSH2 0x0546 00000542: PUSH2 0x0e23 00000545: JUMP 00000546: JUMPDEST 00000547: SWAP1 00000548: PUSH2 0x0e9b 0000054b: JUMP 0000054c: JUMPDEST 0000054d: PUSH2 0x0555 00000550: DUP9 00000551: PUSH2 0x0bc9 00000554: JUMP 00000555: JUMPDEST 00000556: SWAP1 00000557: PUSH2 0x0ef8 0000055a: JUMP 0000055b: JUMPDEST 0000055c: SWAP1 0000055d: PUSH2 0x0f58 00000560: JUMP 00000561: JUMPDEST 00000562: SWAP1 00000563: PUSH2 0x0fbf 00000566: JUMP 00000567: JUMPDEST 00000568: SWAP3 00000569: SWAP2 0000056a: POP 0000056b: POP 0000056c: JUMP 0000056d: JUMPDEST 0000056e: PUSH1 0x09 00000570: PUSH1 0x20 00000572: MSTORE 00000573: PUSH1 0x00 00000575: SWAP1 00000576: DUP2 00000577: MSTORE 00000578: PUSH1 0x40 0000057a: SWAP1 0000057b: KECCAK256 0000057c: SLOAD 0000057d: DUP2 0000057e: JUMP 0000057f: JUMPDEST 00000580: PUSH3 0x093a80 00000584: DUP2 00000585: JUMP 00000586: JUMPDEST 00000587: PUSH2 0x058f 0000058a: CALLER 0000058b: PUSH2 0x07cb 0000058e: JUMP 0000058f: JUMPDEST 00000590: PUSH2 0x05ca 00000593: JUMPI 00000594: PUSH1 0x40 00000596: MLOAD 00000597: PUSH3 0x461bcd 0000059b: PUSH1 0xe5 0000059d: SHL 0000059e: DUP2 0000059f: MSTORE 000005a0: PUSH1 0x04 000005a2: ADD 000005a3: DUP1 000005a4: DUP1 000005a5: PUSH1 0x20 000005a7: ADD 000005a8: DUP3 000005a9: DUP2 000005aa: SUB 000005ab: DUP3 000005ac: MSTORE 000005ad: PUSH1 0x22 000005af: DUP2 000005b0: MSTORE 000005b1: PUSH1 0x20 000005b3: ADD 000005b4: DUP1 000005b5: PUSH2 0x1435 000005b8: PUSH1 0x22 000005ba: SWAP2 000005bb: CODECOPY 000005bc: PUSH1 0x40 000005be: ADD 000005bf: SWAP2 000005c0: POP 000005c1: POP 000005c2: PUSH1 0x40 000005c4: MLOAD 000005c5: DUP1 000005c6: SWAP2 000005c7: SUB 000005c8: SWAP1 000005c9: REVERT 000005ca: JUMPDEST 000005cb: PUSH2 0x05d3 000005ce: DUP2 000005cf: PUSH2 0x07cb 000005d2: JUMP 000005d3: JUMPDEST 000005d4: PUSH2 0x0624 000005d7: JUMPI 000005d8: PUSH1 0x40 000005da: DUP1 000005db: MLOAD 000005dc: PUSH3 0x461bcd 000005e0: PUSH1 0xe5 000005e2: SHL 000005e3: DUP2 000005e4: MSTORE 000005e5: PUSH1 0x20 000005e7: PUSH1 0x04 000005e9: DUP3 000005ea: ADD 000005eb: DUP2 000005ec: SWAP1 000005ed: MSTORE 000005ee: PUSH1 0x24 000005f0: DUP3 000005f1: ADD 000005f2: MSTORE 000005f3: PUSH32 0x426173655265776172643a2061646472657373206973206e6f74206f776e6572 00000614: PUSH1 0x44 00000616: DUP3 00000617: ADD 00000618: MSTORE 00000619: SWAP1 0000061a: MLOAD 0000061b: SWAP1 0000061c: DUP2 0000061d: SWAP1 0000061e: SUB 0000061f: PUSH1 0x64 00000621: ADD 00000622: SWAP1 00000623: REVERT 00000624: JUMPDEST 00000625: PUSH1 0x01 00000627: PUSH1 0x01 00000629: PUSH1 0xa0 0000062b: SHL 0000062c: SUB 0000062d: DUP2 0000062e: AND 0000062f: PUSH1 0x00 00000631: DUP2 00000632: DUP2 00000633: MSTORE 00000634: PUSH1 0x02 00000636: PUSH1 0x20 00000638: SWAP1 00000639: DUP2 0000063a: MSTORE 0000063b: PUSH1 0x40 0000063d: SWAP2 0000063e: DUP3 0000063f: SWAP1 00000640: KECCAK256 00000641: DUP1 00000642: SLOAD 00000643: PUSH1 0xff 00000645: NOT 00000646: AND 00000647: SWAP1 00000648: SSTORE 00000649: DUP2 0000064a: MLOAD 0000064b: SWAP3 0000064c: DUP4 0000064d: MSTORE 0000064e: SWAP1 0000064f: MLOAD 00000650: CALLER 00000651: SWAP3 00000652: PUSH32 0xca273b61904dd225d0c1e905343c24040cecad0b4491337492c990845edb5257 00000673: SWAP3 00000674: SWAP1 00000675: DUP3 00000676: SWAP1 00000677: SUB 00000678: ADD 00000679: SWAP1 0000067a: LOG2 0000067b: POP 0000067c: JUMP 0000067d: JUMPDEST 0000067e: PUSH1 0x03 00000680: SLOAD 00000681: PUSH1 0x40 00000683: DUP1 00000684: MLOAD 00000685: PUSH4 0x18160ddd 0000068a: PUSH1 0xe0 0000068c: SHL 0000068d: DUP2 0000068e: MSTORE 0000068f: SWAP1 00000690: MLOAD 00000691: PUSH1 0x00 00000693: SWAP3 00000694: PUSH1 0x01 00000696: PUSH1 0x01 00000698: PUSH1 0xa0 0000069a: SHL 0000069b: SUB 0000069c: AND 0000069d: SWAP2 0000069e: PUSH4 0x18160ddd 000006a3: SWAP2 000006a4: PUSH1 0x04 000006a6: DUP1 000006a7: DUP4 000006a8: ADD 000006a9: SWAP3 000006aa: PUSH1 0x20 000006ac: SWAP3 000006ad: SWAP2 000006ae: SWAP1 000006af: DUP3 000006b0: SWAP1 000006b1: SUB 000006b2: ADD 000006b3: DUP2 000006b4: DUP7 000006b5: DUP1 000006b6: EXTCODESIZE 000006b7: ISZERO 000006b8: DUP1 000006b9: ISZERO 000006ba: PUSH2 0x06c2 000006bd: JUMPI 000006be: PUSH1 0x00 000006c0: DUP1 000006c1: REVERT 000006c2: JUMPDEST 000006c3: POP 000006c4: GAS 000006c5: STATICCALL 000006c6: ISZERO 000006c7: DUP1 000006c8: ISZERO 000006c9: PUSH2 0x06d6 000006cc: JUMPI 000006cd: RETURNDATASIZE 000006ce: PUSH1 0x00 000006d0: DUP1 000006d1: RETURNDATACOPY 000006d2: RETURNDATASIZE 000006d3: PUSH1 0x00 000006d5: REVERT 000006d6: JUMPDEST 000006d7: POP 000006d8: POP 000006d9: POP 000006da: POP 000006db: PUSH1 0x40 000006dd: MLOAD 000006de: RETURNDATASIZE 000006df: PUSH1 0x20 000006e1: DUP2 000006e2: LT 000006e3: ISZERO 000006e4: PUSH2 0x06ec 000006e7: JUMPI 000006e8: PUSH1 0x00 000006ea: DUP1 000006eb: REVERT 000006ec: JUMPDEST 000006ed: POP 000006ee: MLOAD 000006ef: SWAP1 000006f0: POP 000006f1: JUMPDEST 000006f2: SWAP1 000006f3: JUMP 000006f4: JUMPDEST 000006f5: DUP1 000006f6: PUSH2 0x06fd 000006f9: PUSH2 0x0e23 000006fc: JUMP 000006fd: JUMPDEST 000006fe: PUSH1 0x07 00000700: SSTORE 00000701: PUSH2 0x0708 00000704: PUSH2 0x0c52 00000707: JUMP 00000708: JUMPDEST 00000709: PUSH1 0x06 0000070b: SSTORE 0000070c: PUSH1 0x01 0000070e: PUSH1 0x01 00000710: PUSH1 0xa0 00000712: SHL 00000713: SUB 00000714: DUP2 00000715: AND 00000716: ISZERO 00000717: PUSH2 0x074f 0000071a: JUMPI 0000071b: PUSH2 0x0723 0000071e: DUP2 0000071f: PUSH2 0x04ff 00000722: JUMP 00000723: JUMPDEST 00000724: PUSH1 0x01 00000726: PUSH1 0x01 00000728: PUSH1 0xa0 0000072a: SHL 0000072b: SUB 0000072c: DUP3 0000072d: AND 0000072e: PUSH1 0x00 00000730: SWAP1 00000731: DUP2 00000732: MSTORE 00000733: PUSH1 0x09 00000735: PUSH1 0x20 00000737: SWAP1 00000738: DUP2 00000739: MSTORE 0000073a: PUSH1 0x40 0000073c: DUP1 0000073d: DUP4 0000073e: KECCAK256 0000073f: SWAP4 00000740: SWAP1 00000741: SWAP4 00000742: SSTORE 00000743: PUSH1 0x07 00000745: SLOAD 00000746: PUSH1 0x08 00000748: SWAP1 00000749: SWAP2 0000074a: MSTORE 0000074b: SWAP2 0000074c: SWAP1 0000074d: KECCAK256 0000074e: SSTORE 0000074f: JUMPDEST 00000750: PUSH2 0x0758 00000753: CALLER 00000754: PUSH2 0x07cb 00000757: JUMP 00000758: JUMPDEST 00000759: PUSH2 0x0793 0000075c: JUMPI 0000075d: PUSH1 0x40 0000075f: MLOAD 00000760: PUSH3 0x461bcd 00000764: PUSH1 0xe5 00000766: SHL 00000767: DUP2 00000768: MSTORE 00000769: PUSH1 0x04 0000076b: ADD 0000076c: DUP1 0000076d: DUP1 0000076e: PUSH1 0x20 00000770: ADD 00000771: DUP3 00000772: DUP2 00000773: SUB 00000774: DUP3 00000775: MSTORE 00000776: PUSH1 0x22 00000778: DUP2 00000779: MSTORE 0000077a: PUSH1 0x20 0000077c: ADD 0000077d: DUP1 0000077e: PUSH2 0x1435 00000781: PUSH1 0x22 00000783: SWAP2 00000784: CODECOPY 00000785: PUSH1 0x40 00000787: ADD 00000788: SWAP2 00000789: POP 0000078a: POP 0000078b: PUSH1 0x40 0000078d: MLOAD 0000078e: DUP1 0000078f: SWAP2 00000790: SUB 00000791: SWAP1 00000792: REVERT 00000793: JUMPDEST 00000794: PUSH1 0x40 00000796: MLOAD 00000797: PUSH1 0x01 00000799: PUSH1 0x01 0000079b: PUSH1 0xa0 0000079d: SHL 0000079e: SUB 0000079f: DUP4 000007a0: AND 000007a1: SWAP1 000007a2: PUSH32 0x77338642d9284a44296d29a273e04b8ab6b15c7d2439094cd460b7e4f0b33074 000007c3: SWAP1 000007c4: PUSH1 0x00 000007c6: SWAP1 000007c7: LOG2 000007c8: POP 000007c9: POP 000007ca: JUMP 000007cb: JUMPDEST 000007cc: PUSH1 0x01 000007ce: PUSH1 0x01 000007d0: PUSH1 0xa0 000007d2: SHL 000007d3: SUB 000007d4: AND 000007d5: PUSH1 0x00 000007d7: SWAP1 000007d8: DUP2 000007d9: MSTORE 000007da: PUSH1 0x02 000007dc: PUSH1 0x20 000007de: MSTORE 000007df: PUSH1 0x40 000007e1: SWAP1 000007e2: KECCAK256 000007e3: SLOAD 000007e4: PUSH1 0xff 000007e6: AND 000007e7: SWAP1 000007e8: JUMP 000007e9: JUMPDEST 000007ea: PUSH1 0x00 000007ec: PUSH2 0x07f3 000007ef: PUSH2 0x0e23 000007f2: JUMP 000007f3: JUMPDEST 000007f4: PUSH1 0x07 000007f6: SSTORE 000007f7: PUSH2 0x07fe 000007fa: PUSH2 0x0c52 000007fd: JUMP 000007fe: JUMPDEST 000007ff: PUSH1 0x06 00000801: SSTORE 00000802: PUSH1 0x01 00000804: PUSH1 0x01 00000806: PUSH1 0xa0 00000808: SHL 00000809: SUB 0000080a: DUP2 0000080b: AND 0000080c: ISZERO 0000080d: PUSH2 0x0845 00000810: JUMPI 00000811: PUSH2 0x0819 00000814: DUP2 00000815: PUSH2 0x04ff 00000818: JUMP 00000819: JUMPDEST 0000081a: PUSH1 0x01 0000081c: PUSH1 0x01 0000081e: PUSH1 0xa0 00000820: SHL 00000821: SUB 00000822: DUP3 00000823: AND 00000824: PUSH1 0x00 00000826: SWAP1 00000827: DUP2 00000828: MSTORE 00000829: PUSH1 0x09 0000082b: PUSH1 0x20 0000082d: SWAP1 0000082e: DUP2 0000082f: MSTORE 00000830: PUSH1 0x40 00000832: DUP1 00000833: DUP4 00000834: KECCAK256 00000835: SWAP4 00000836: SWAP1 00000837: SWAP4 00000838: SSTORE 00000839: PUSH1 0x07 0000083b: SLOAD 0000083c: PUSH1 0x08 0000083e: SWAP1 0000083f: SWAP2 00000840: MSTORE 00000841: SWAP2 00000842: SWAP1 00000843: KECCAK256 00000844: SSTORE 00000845: JUMPDEST 00000846: PUSH2 0x084e 00000849: CALLER 0000084a: PUSH2 0x07cb 0000084d: JUMP 0000084e: JUMPDEST 0000084f: PUSH2 0x0889 00000852: JUMPI 00000853: PUSH1 0x40 00000855: MLOAD 00000856: PUSH3 0x461bcd 0000085a: PUSH1 0xe5 0000085c: SHL 0000085d: DUP2 0000085e: MSTORE 0000085f: PUSH1 0x04 00000861: ADD 00000862: DUP1 00000863: DUP1 00000864: PUSH1 0x20 00000866: ADD 00000867: DUP3 00000868: DUP2 00000869: SUB 0000086a: DUP3 0000086b: MSTORE 0000086c: PUSH1 0x22 0000086e: DUP2 0000086f: MSTORE 00000870: PUSH1 0x20 00000872: ADD 00000873: DUP1 00000874: PUSH2 0x1435 00000877: PUSH1 0x22 00000879: SWAP2 0000087a: CODECOPY 0000087b: PUSH1 0x40 0000087d: ADD 0000087e: SWAP2 0000087f: POP 00000880: POP 00000881: PUSH1 0x40 00000883: MLOAD 00000884: DUP1 00000885: SWAP2 00000886: SUB 00000887: SWAP1 00000888: REVERT 00000889: JUMPDEST 0000088a: PUSH25 0x12725dd1d243aba0e75fe645cc4873f9e65afe688c928e1f21 000008a4: DUP3 000008a5: LT 000008a6: PUSH2 0x08e0 000008a9: JUMPI 000008aa: PUSH1 0x40 000008ac: MLOAD 000008ad: PUSH3 0x461bcd 000008b1: PUSH1 0xe5 000008b3: SHL 000008b4: DUP2 000008b5: MSTORE 000008b6: PUSH1 0x04 000008b8: ADD 000008b9: DUP1 000008ba: DUP1 000008bb: PUSH1 0x20 000008bd: ADD 000008be: DUP3 000008bf: DUP2 000008c0: SUB 000008c1: DUP3 000008c2: MSTORE 000008c3: PUSH1 0x39 000008c5: DUP2 000008c6: MSTORE 000008c7: PUSH1 0x20 000008c9: ADD 000008ca: DUP1 000008cb: PUSH2 0x14b7 000008ce: PUSH1 0x39 000008d0: SWAP2 000008d1: CODECOPY 000008d2: PUSH1 0x40 000008d4: ADD 000008d5: SWAP2 000008d6: POP 000008d7: POP 000008d8: PUSH1 0x40 000008da: MLOAD 000008db: DUP1 000008dc: SWAP2 000008dd: SUB 000008de: SWAP1 000008df: REVERT 000008e0: JUMPDEST 000008e1: PUSH1 0x04 000008e3: SLOAD 000008e4: TIMESTAMP 000008e5: LT 000008e6: PUSH2 0x08fe 000008e9: JUMPI 000008ea: PUSH2 0x08f6 000008ed: DUP3 000008ee: PUSH3 0x093a80 000008f2: PUSH2 0x0f58 000008f5: JUMP 000008f6: JUMPDEST 000008f7: PUSH1 0x05 000008f9: SSTORE 000008fa: PUSH2 0x0940 000008fd: JUMP 000008fe: JUMPDEST 000008ff: PUSH1 0x04 00000901: SLOAD 00000902: PUSH1 0x00 00000904: SWAP1 00000905: PUSH2 0x090e 00000908: SWAP1 00000909: TIMESTAMP 0000090a: PUSH2 0x0e9b 0000090d: JUMP 0000090e: JUMPDEST 0000090f: SWAP1 00000910: POP 00000911: PUSH1 0x00 00000913: PUSH2 0x0927 00000916: PUSH1 0x05 00000918: SLOAD 00000919: DUP4 0000091a: PUSH2 0x0ef8 0000091d: SWAP1 0000091e: SWAP2 0000091f: SWAP1 00000920: PUSH4 0xffffffff 00000925: AND 00000926: JUMP 00000927: JUMPDEST 00000928: SWAP1 00000929: POP 0000092a: PUSH2 0x093a 0000092d: PUSH3 0x093a80 00000931: PUSH2 0x055b 00000934: DUP7 00000935: DUP5 00000936: PUSH2 0x0fbf 00000939: JUMP 0000093a: JUMPDEST 0000093b: PUSH1 0x05 0000093d: SSTORE 0000093e: POP 0000093f: POP 00000940: JUMPDEST 00000941: TIMESTAMP 00000942: PUSH1 0x06 00000944: DUP2 00000945: SWAP1 00000946: SSTORE 00000947: PUSH2 0x0953 0000094a: SWAP1 0000094b: PUSH3 0x093a80 0000094f: PUSH2 0x0fbf 00000952: JUMP 00000953: JUMPDEST 00000954: PUSH1 0x04 00000956: SSTORE 00000957: PUSH1 0x40 00000959: DUP1 0000095a: MLOAD 0000095b: DUP4 0000095c: DUP2 0000095d: MSTORE 0000095e: SWAP1 0000095f: MLOAD 00000960: PUSH32 0xde88a922e0d3b88b24e9623efeb464919c6bf9f66857a65e2bfcf2ce87a9433d 00000981: SWAP2 00000982: DUP2 00000983: SWAP1 00000984: SUB 00000985: PUSH1 0x20 00000987: ADD 00000988: SWAP1 00000989: LOG1 0000098a: POP 0000098b: POP 0000098c: JUMP 0000098d: JUMPDEST 0000098e: DUP1 0000098f: PUSH2 0x0996 00000992: PUSH2 0x0e23 00000995: JUMP 00000996: JUMPDEST 00000997: PUSH1 0x07 00000999: SSTORE 0000099a: PUSH2 0x09a1 0000099d: PUSH2 0x0c52 000009a0: JUMP 000009a1: JUMPDEST 000009a2: PUSH1 0x06 000009a4: SSTORE 000009a5: PUSH1 0x01 000009a7: PUSH1 0x01 000009a9: PUSH1 0xa0 000009ab: SHL 000009ac: SUB 000009ad: DUP2 000009ae: AND 000009af: ISZERO 000009b0: PUSH2 0x09e8 000009b3: JUMPI 000009b4: PUSH2 0x09bc 000009b7: DUP2 000009b8: PUSH2 0x04ff 000009bb: JUMP 000009bc: JUMPDEST 000009bd: PUSH1 0x01 000009bf: PUSH1 0x01 000009c1: PUSH1 0xa0 000009c3: SHL 000009c4: SUB 000009c5: DUP3 000009c6: AND 000009c7: PUSH1 0x00 000009c9: SWAP1 000009ca: DUP2 000009cb: MSTORE 000009cc: PUSH1 0x09 000009ce: PUSH1 0x20 000009d0: SWAP1 000009d1: DUP2 000009d2: MSTORE 000009d3: PUSH1 0x40 000009d5: DUP1 000009d6: DUP4 000009d7: KECCAK256 000009d8: SWAP4 000009d9: SWAP1 000009da: SWAP4 000009db: SSTORE 000009dc: PUSH1 0x07 000009de: SLOAD 000009df: PUSH1 0x08 000009e1: SWAP1 000009e2: SWAP2 000009e3: MSTORE 000009e4: SWAP2 000009e5: SWAP1 000009e6: KECCAK256 000009e7: SSTORE 000009e8: JUMPDEST 000009e9: PUSH2 0x09f1 000009ec: CALLER 000009ed: PUSH2 0x07cb 000009f0: JUMP 000009f1: JUMPDEST 000009f2: PUSH2 0x0a2c 000009f5: JUMPI 000009f6: PUSH1 0x40 000009f8: MLOAD 000009f9: PUSH3 0x461bcd 000009fd: PUSH1 0xe5 000009ff: SHL 00000a00: DUP2 00000a01: MSTORE 00000a02: PUSH1 0x04 00000a04: ADD 00000a05: DUP1 00000a06: DUP1 00000a07: PUSH1 0x20 00000a09: ADD 00000a0a: DUP3 00000a0b: DUP2 00000a0c: SUB 00000a0d: DUP3 00000a0e: MSTORE 00000a0f: PUSH1 0x22 00000a11: DUP2 00000a12: MSTORE 00000a13: PUSH1 0x20 00000a15: ADD 00000a16: DUP1 00000a17: PUSH2 0x1435 00000a1a: PUSH1 0x22 00000a1c: SWAP2 00000a1d: CODECOPY 00000a1e: PUSH1 0x40 00000a20: ADD 00000a21: SWAP2 00000a22: POP 00000a23: POP 00000a24: PUSH1 0x40 00000a26: MLOAD 00000a27: DUP1 00000a28: SWAP2 00000a29: SUB 00000a2a: SWAP1 00000a2b: REVERT 00000a2c: JUMPDEST 00000a2d: PUSH1 0x40 00000a2f: MLOAD 00000a30: PUSH1 0x01 00000a32: PUSH1 0x01 00000a34: PUSH1 0xa0 00000a36: SHL 00000a37: SUB 00000a38: DUP4 00000a39: AND 00000a3a: SWAP1 00000a3b: PUSH32 0xf45a04d08a70caa7eb4b747571305559ad9fdf4a093afd41506b35c8a306fa94 00000a5c: SWAP1 00000a5d: PUSH1 0x00 00000a5f: SWAP1 00000a60: LOG2 00000a61: POP 00000a62: POP 00000a63: JUMP 00000a64: JUMPDEST 00000a65: PUSH2 0x0a6d 00000a68: CALLER 00000a69: PUSH2 0x07cb 00000a6c: JUMP 00000a6d: JUMPDEST 00000a6e: PUSH2 0x0aa8 00000a71: JUMPI 00000a72: PUSH1 0x40 00000a74: MLOAD 00000a75: PUSH3 0x461bcd 00000a79: PUSH1 0xe5 00000a7b: SHL 00000a7c: DUP2 00000a7d: MSTORE 00000a7e: PUSH1 0x04 00000a80: ADD 00000a81: DUP1 00000a82: DUP1 00000a83: PUSH1 0x20 00000a85: ADD 00000a86: DUP3 00000a87: DUP2 00000a88: SUB 00000a89: DUP3 00000a8a: MSTORE 00000a8b: PUSH1 0x22 00000a8d: DUP2 00000a8e: MSTORE 00000a8f: PUSH1 0x20 00000a91: ADD 00000a92: DUP1 00000a93: PUSH2 0x1435 00000a96: PUSH1 0x22 00000a98: SWAP2 00000a99: CODECOPY 00000a9a: PUSH1 0x40 00000a9c: ADD 00000a9d: SWAP2 00000a9e: POP 00000a9f: POP 00000aa0: PUSH1 0x40 00000aa2: MLOAD 00000aa3: DUP1 00000aa4: SWAP2 00000aa5: SUB 00000aa6: SWAP1 00000aa7: REVERT 00000aa8: JUMPDEST 00000aa9: PUSH1 0x00 00000aab: JUMPDEST 00000aac: DUP2 00000aad: DUP2 00000aae: LT 00000aaf: ISZERO 00000ab0: PUSH2 0x0adf 00000ab3: JUMPI 00000ab4: PUSH2 0x0ad7 00000ab7: DUP4 00000ab8: DUP4 00000ab9: DUP4 00000aba: DUP2 00000abb: DUP2 00000abc: LT 00000abd: PUSH2 0x0ac2 00000ac0: JUMPI 00000ac1: INVALID 00000ac2: JUMPDEST 00000ac3: SWAP1 00000ac4: POP 00000ac5: PUSH1 0x20 00000ac7: MUL 00000ac8: ADD 00000ac9: CALLDATALOAD 00000aca: PUSH1 0x01 00000acc: PUSH1 0x01 00000ace: PUSH1 0xa0 00000ad0: SHL 00000ad1: SUB 00000ad2: AND 00000ad3: PUSH2 0x0ae4 00000ad6: JUMP 00000ad7: JUMPDEST 00000ad8: PUSH1 0x01 00000ada: ADD 00000adb: PUSH2 0x0aab 00000ade: JUMP 00000adf: JUMPDEST 00000ae0: POP 00000ae1: POP 00000ae2: POP 00000ae3: JUMP 00000ae4: JUMPDEST 00000ae5: PUSH2 0x0aed 00000ae8: CALLER 00000ae9: PUSH2 0x07cb 00000aec: JUMP 00000aed: JUMPDEST 00000aee: PUSH2 0x0b28 00000af1: JUMPI 00000af2: PUSH1 0x40 00000af4: MLOAD 00000af5: PUSH3 0x461bcd 00000af9: PUSH1 0xe5 00000afb: SHL 00000afc: DUP2 00000afd: MSTORE 00000afe: PUSH1 0x04 00000b00: ADD 00000b01: DUP1 00000b02: DUP1 00000b03: PUSH1 0x20 00000b05: ADD 00000b06: DUP3 00000b07: DUP2 00000b08: SUB 00000b09: DUP3 00000b0a: MSTORE 00000b0b: PUSH1 0x22 00000b0d: DUP2 00000b0e: MSTORE 00000b0f: PUSH1 0x20 00000b11: ADD 00000b12: DUP1 00000b13: PUSH2 0x1435 00000b16: PUSH1 0x22 00000b18: SWAP2 00000b19: CODECOPY 00000b1a: PUSH1 0x40 00000b1c: ADD 00000b1d: SWAP2 00000b1e: POP 00000b1f: POP 00000b20: PUSH1 0x40 00000b22: MLOAD 00000b23: DUP1 00000b24: SWAP2 00000b25: SUB 00000b26: SWAP1 00000b27: REVERT 00000b28: JUMPDEST 00000b29: PUSH2 0x0b31 00000b2c: DUP2 00000b2d: PUSH2 0x07cb 00000b30: JUMP 00000b31: JUMPDEST 00000b32: ISZERO 00000b33: PUSH2 0x0b6d 00000b36: JUMPI 00000b37: PUSH1 0x40 00000b39: MLOAD 00000b3a: PUSH3 0x461bcd 00000b3e: PUSH1 0xe5 00000b40: SHL 00000b41: DUP2 00000b42: MSTORE 00000b43: PUSH1 0x04 00000b45: ADD 00000b46: DUP1 00000b47: DUP1 00000b48: PUSH1 0x20 00000b4a: ADD 00000b4b: DUP3 00000b4c: DUP2 00000b4d: SUB 00000b4e: DUP3 00000b4f: MSTORE 00000b50: PUSH1 0x24 00000b52: DUP2 00000b53: MSTORE 00000b54: PUSH1 0x20 00000b56: ADD 00000b57: DUP1 00000b58: PUSH2 0x155d 00000b5b: PUSH1 0x24 00000b5d: SWAP2 00000b5e: CODECOPY 00000b5f: PUSH1 0x40 00000b61: ADD 00000b62: SWAP2 00000b63: POP 00000b64: POP 00000b65: PUSH1 0x40 00000b67: MLOAD 00000b68: DUP1 00000b69: SWAP2 00000b6a: SUB 00000b6b: SWAP1 00000b6c: REVERT 00000b6d: JUMPDEST 00000b6e: PUSH1 0x01 00000b70: PUSH1 0x01 00000b72: PUSH1 0xa0 00000b74: SHL 00000b75: SUB 00000b76: DUP2 00000b77: AND 00000b78: PUSH1 0x00 00000b7a: DUP2 00000b7b: DUP2 00000b7c: MSTORE 00000b7d: PUSH1 0x02 00000b7f: PUSH1 0x20 00000b81: SWAP1 00000b82: DUP2 00000b83: MSTORE 00000b84: PUSH1 0x40 00000b86: SWAP2 00000b87: DUP3 00000b88: SWAP1 00000b89: KECCAK256 00000b8a: DUP1 00000b8b: SLOAD 00000b8c: PUSH1 0xff 00000b8e: NOT 00000b8f: AND 00000b90: PUSH1 0x01 00000b92: OR 00000b93: SWAP1 00000b94: SSTORE 00000b95: DUP2 00000b96: MLOAD 00000b97: SWAP3 00000b98: DUP4 00000b99: MSTORE 00000b9a: SWAP1 00000b9b: MLOAD 00000b9c: CALLER 00000b9d: SWAP3 00000b9e: PUSH32 0x70aea8d848e8a90fb7661b227dc522eb6395c3dac71b63cb59edd5c9899b2364 00000bbf: SWAP3 00000bc0: SWAP1 00000bc1: DUP3 00000bc2: SWAP1 00000bc3: SUB 00000bc4: ADD 00000bc5: SWAP1 00000bc6: LOG2 00000bc7: POP 00000bc8: JUMP 00000bc9: JUMPDEST 00000bca: PUSH1 0x03 00000bcc: SLOAD 00000bcd: PUSH1 0x40 00000bcf: DUP1 00000bd0: MLOAD 00000bd1: PUSH4 0x70a08231 00000bd6: PUSH1 0xe0 00000bd8: SHL 00000bd9: DUP2 00000bda: MSTORE 00000bdb: PUSH1 0x01 00000bdd: PUSH1 0x01 00000bdf: PUSH1 0xa0 00000be1: SHL 00000be2: SUB 00000be3: DUP5 00000be4: DUP2 00000be5: AND 00000be6: PUSH1 0x04 00000be8: DUP4 00000be9: ADD 00000bea: MSTORE 00000beb: SWAP2 00000bec: MLOAD 00000bed: PUSH1 0x00 00000bef: SWAP4 00000bf0: SWAP3 00000bf1: SWAP1 00000bf2: SWAP3 00000bf3: AND 00000bf4: SWAP2 00000bf5: PUSH4 0x70a08231 00000bfa: SWAP2 00000bfb: PUSH1 0x24 00000bfd: DUP1 00000bfe: DUP3 00000bff: ADD 00000c00: SWAP3 00000c01: PUSH1 0x20 00000c03: SWAP3 00000c04: SWAP1 00000c05: SWAP2 00000c06: SWAP1 00000c07: DUP3 00000c08: SWAP1 00000c09: SUB 00000c0a: ADD 00000c0b: DUP2 00000c0c: DUP7 00000c0d: DUP1 00000c0e: EXTCODESIZE 00000c0f: ISZERO 00000c10: DUP1 00000c11: ISZERO 00000c12: PUSH2 0x0c1a 00000c15: JUMPI 00000c16: PUSH1 0x00 00000c18: DUP1 00000c19: REVERT 00000c1a: JUMPDEST 00000c1b: POP 00000c1c: GAS 00000c1d: STATICCALL 00000c1e: ISZERO 00000c1f: DUP1 00000c20: ISZERO 00000c21: PUSH2 0x0c2e 00000c24: JUMPI 00000c25: RETURNDATASIZE 00000c26: PUSH1 0x00 00000c28: DUP1 00000c29: RETURNDATACOPY 00000c2a: RETURNDATASIZE 00000c2b: PUSH1 0x00 00000c2d: REVERT 00000c2e: JUMPDEST 00000c2f: POP 00000c30: POP 00000c31: POP 00000c32: POP 00000c33: PUSH1 0x40 00000c35: MLOAD 00000c36: RETURNDATASIZE 00000c37: PUSH1 0x20 00000c39: DUP2 00000c3a: LT 00000c3b: ISZERO 00000c3c: PUSH2 0x0c44 00000c3f: JUMPI 00000c40: PUSH1 0x00 00000c42: DUP1 00000c43: REVERT 00000c44: JUMPDEST 00000c45: POP 00000c46: MLOAD 00000c47: SWAP3 00000c48: SWAP2 00000c49: POP 00000c4a: POP 00000c4b: JUMP 00000c4c: JUMPDEST 00000c4d: PUSH1 0x05 00000c4f: SLOAD 00000c50: DUP2 00000c51: JUMP 00000c52: JUMPDEST 00000c53: PUSH1 0x00 00000c55: PUSH2 0x0c60 00000c58: TIMESTAMP 00000c59: PUSH1 0x04 00000c5b: SLOAD 00000c5c: PUSH2 0x1019 00000c5f: JUMP 00000c60: JUMPDEST 00000c61: SWAP1 00000c62: POP 00000c63: SWAP1 00000c64: JUMP 00000c65: JUMPDEST 00000c66: PUSH1 0x08 00000c68: PUSH1 0x20 00000c6a: MSTORE 00000c6b: PUSH1 0x00 00000c6d: SWAP1 00000c6e: DUP2 00000c6f: MSTORE 00000c70: PUSH1 0x40 00000c72: SWAP1 00000c73: KECCAK256 00000c74: SLOAD 00000c75: DUP2 00000c76: JUMP 00000c77: JUMPDEST 00000c78: PUSH1 0x02 00000c7a: PUSH1 0x00 00000c7c: SLOAD 00000c7d: EQ 00000c7e: ISZERO 00000c7f: PUSH2 0x0ccf 00000c82: JUMPI 00000c83: PUSH1 0x40 00000c85: DUP1 00000c86: MLOAD 00000c87: PUSH3 0x461bcd 00000c8b: PUSH1 0xe5 00000c8d: SHL 00000c8e: DUP2 00000c8f: MSTORE 00000c90: PUSH1 0x20 00000c92: PUSH1 0x04 00000c94: DUP3 00000c95: ADD 00000c96: MSTORE 00000c97: PUSH1 0x1f 00000c99: PUSH1 0x24 00000c9b: DUP3 00000c9c: ADD 00000c9d: MSTORE 00000c9e: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 00000cbf: PUSH1 0x44 00000cc1: DUP3 00000cc2: ADD 00000cc3: MSTORE 00000cc4: SWAP1 00000cc5: MLOAD 00000cc6: SWAP1 00000cc7: DUP2 00000cc8: SWAP1 00000cc9: SUB 00000cca: PUSH1 0x64 00000ccc: ADD 00000ccd: SWAP1 00000cce: REVERT 00000ccf: JUMPDEST 00000cd0: PUSH1 0x02 00000cd2: PUSH1 0x00 00000cd4: SSTORE 00000cd5: DUP1 00000cd6: PUSH2 0x0cdd 00000cd9: PUSH2 0x0e23 00000cdc: JUMP 00000cdd: JUMPDEST 00000cde: PUSH1 0x07 00000ce0: SSTORE 00000ce1: PUSH2 0x0ce8 00000ce4: PUSH2 0x0c52 00000ce7: JUMP 00000ce8: JUMPDEST 00000ce9: PUSH1 0x06 00000ceb: SSTORE 00000cec: PUSH1 0x01 00000cee: PUSH1 0x01 00000cf0: PUSH1 0xa0 00000cf2: SHL 00000cf3: SUB 00000cf4: DUP2 00000cf5: AND 00000cf6: ISZERO 00000cf7: PUSH2 0x0d2f 00000cfa: JUMPI 00000cfb: PUSH2 0x0d03 00000cfe: DUP2 00000cff: PUSH2 0x04ff 00000d02: JUMP 00000d03: JUMPDEST 00000d04: PUSH1 0x01 00000d06: PUSH1 0x01 00000d08: PUSH1 0xa0 00000d0a: SHL 00000d0b: SUB 00000d0c: DUP3 00000d0d: AND 00000d0e: PUSH1 0x00 00000d10: SWAP1 00000d11: DUP2 00000d12: MSTORE 00000d13: PUSH1 0x09 00000d15: PUSH1 0x20 00000d17: SWAP1 00000d18: DUP2 00000d19: MSTORE 00000d1a: PUSH1 0x40 00000d1c: DUP1 00000d1d: DUP4 00000d1e: KECCAK256 00000d1f: SWAP4 00000d20: SWAP1 00000d21: SWAP4 00000d22: SSTORE 00000d23: PUSH1 0x07 00000d25: SLOAD 00000d26: PUSH1 0x08 00000d28: SWAP1 00000d29: SWAP2 00000d2a: MSTORE 00000d2b: SWAP2 00000d2c: SWAP1 00000d2d: KECCAK256 00000d2e: SSTORE 00000d2f: JUMPDEST 00000d30: PUSH1 0x00 00000d32: PUSH2 0x0d3a 00000d35: DUP4 00000d36: PUSH2 0x04ff 00000d39: JUMP 00000d3a: JUMPDEST 00000d3b: SWAP1 00000d3c: POP 00000d3d: DUP1 00000d3e: ISZERO 00000d3f: PUSH2 0x0e13 00000d42: JUMPI 00000d43: PUSH1 0x01 00000d45: PUSH1 0x01 00000d47: PUSH1 0xa0 00000d49: SHL 00000d4a: SUB 00000d4b: DUP1 00000d4c: DUP5 00000d4d: AND 00000d4e: PUSH1 0x00 00000d50: SWAP1 00000d51: DUP2 00000d52: MSTORE 00000d53: PUSH1 0x09 00000d55: PUSH1 0x20 00000d57: MSTORE 00000d58: PUSH1 0x40 00000d5a: DUP2 00000d5b: KECCAK256 00000d5c: SSTORE 00000d5d: PUSH1 0x01 00000d5f: SLOAD 00000d60: AND 00000d61: ISZERO 00000d62: PUSH2 0x0d81 00000d65: JUMPI 00000d66: PUSH1 0x01 00000d68: SLOAD 00000d69: PUSH2 0x0d7c 00000d6c: SWAP1 00000d6d: PUSH1 0x01 00000d6f: PUSH1 0x01 00000d71: PUSH1 0xa0 00000d73: SHL 00000d74: SUB 00000d75: AND 00000d76: DUP5 00000d77: DUP4 00000d78: PUSH2 0x102f 00000d7b: JUMP 00000d7c: JUMPDEST 00000d7d: PUSH2 0x0dd3 00000d80: JUMP 00000d81: JUMPDEST 00000d82: DUP1 00000d83: SELFBALANCE 00000d84: LT 00000d85: ISZERO 00000d86: PUSH2 0x0dc0 00000d89: JUMPI 00000d8a: PUSH1 0x40 00000d8c: MLOAD 00000d8d: PUSH3 0x461bcd 00000d91: PUSH1 0xe5 00000d93: SHL 00000d94: DUP2 00000d95: MSTORE 00000d96: PUSH1 0x04 00000d98: ADD 00000d99: DUP1 00000d9a: DUP1 00000d9b: PUSH1 0x20 00000d9d: ADD 00000d9e: DUP3 00000d9f: DUP2 00000da0: SUB 00000da1: DUP3 00000da2: MSTORE 00000da3: PUSH1 0x22 00000da5: DUP2 00000da6: MSTORE 00000da7: PUSH1 0x20 00000da9: ADD 00000daa: DUP1 00000dab: PUSH2 0x1511 00000dae: PUSH1 0x22 00000db0: SWAP2 00000db1: CODECOPY 00000db2: PUSH1 0x40 00000db4: ADD 00000db5: SWAP2 00000db6: POP 00000db7: POP 00000db8: PUSH1 0x40 00000dba: MLOAD 00000dbb: DUP1 00000dbc: SWAP2 00000dbd: SUB 00000dbe: SWAP1 00000dbf: REVERT 00000dc0: JUMPDEST 00000dc1: PUSH2 0x0dd3 00000dc4: PUSH1 0x01 00000dc6: PUSH1 0x01 00000dc8: PUSH1 0xa0 00000dca: SHL 00000dcb: SUB 00000dcc: DUP5 00000dcd: AND 00000dce: DUP3 00000dcf: PUSH2 0x1081 00000dd2: JUMP 00000dd3: JUMPDEST 00000dd4: PUSH1 0x40 00000dd6: DUP1 00000dd7: MLOAD 00000dd8: DUP3 00000dd9: DUP2 00000dda: MSTORE 00000ddb: SWAP1 00000ddc: MLOAD 00000ddd: PUSH1 0x01 00000ddf: PUSH1 0x01 00000de1: PUSH1 0xa0 00000de3: SHL 00000de4: SUB 00000de5: DUP6 00000de6: AND 00000de7: SWAP2 00000de8: PUSH32 0xe2403640ba68fed3a2f88b7557551d1993f84b99bb10ff833f0cf8db0c5e0486 00000e09: SWAP2 00000e0a: SWAP1 00000e0b: DUP2 00000e0c: SWAP1 00000e0d: SUB 00000e0e: PUSH1 0x20 00000e10: ADD 00000e11: SWAP1 00000e12: LOG2 00000e13: JUMPDEST 00000e14: POP 00000e15: POP 00000e16: PUSH1 0x01 00000e18: PUSH1 0x00 00000e1a: SSTORE 00000e1b: POP 00000e1c: JUMP 00000e1d: JUMPDEST 00000e1e: PUSH1 0x06 00000e20: SLOAD 00000e21: DUP2 00000e22: JUMP 00000e23: JUMPDEST 00000e24: PUSH1 0x00 00000e26: PUSH2 0x0e2d 00000e29: PUSH2 0x067d 00000e2c: JUMP 00000e2d: JUMPDEST 00000e2e: PUSH2 0x0e3a 00000e31: JUMPI 00000e32: POP 00000e33: PUSH1 0x07 00000e35: SLOAD 00000e36: PUSH2 0x06f1 00000e39: JUMP 00000e3a: JUMPDEST 00000e3b: PUSH2 0x0c60 00000e3e: PUSH2 0x0e68 00000e41: PUSH2 0x0e48 00000e44: PUSH2 0x067d 00000e47: JUMP 00000e48: JUMPDEST 00000e49: PUSH2 0x055b 00000e4c: PUSH8 0x0de0b6b3a7640000 00000e55: PUSH2 0x0555 00000e58: PUSH1 0x05 00000e5a: SLOAD 00000e5b: PUSH2 0x0555 00000e5e: PUSH1 0x06 00000e60: SLOAD 00000e61: PUSH2 0x0546 00000e64: PUSH2 0x0c52 00000e67: JUMP 00000e68: JUMPDEST 00000e69: PUSH1 0x07 00000e6b: SLOAD 00000e6c: SWAP1 00000e6d: PUSH2 0x0fbf 00000e70: JUMP 00000e71: JUMPDEST 00000e72: PUSH1 0x03 00000e74: SLOAD 00000e75: PUSH1 0x01 00000e77: PUSH1 0x01 00000e79: PUSH1 0xa0 00000e7b: SHL 00000e7c: SUB 00000e7d: AND 00000e7e: DUP2 00000e7f: JUMP 00000e80: JUMPDEST 00000e81: PUSH1 0x07 00000e83: SLOAD 00000e84: DUP2 00000e85: JUMP 00000e86: JUMPDEST 00000e87: PUSH1 0x04 00000e89: SLOAD 00000e8a: DUP2 00000e8b: JUMP 00000e8c: JUMPDEST 00000e8d: PUSH1 0x01 00000e8f: SLOAD 00000e90: PUSH1 0x01 00000e92: PUSH1 0x01 00000e94: PUSH1 0xa0 00000e96: SHL 00000e97: SUB 00000e98: AND 00000e99: DUP2 00000e9a: JUMP 00000e9b: JUMPDEST 00000e9c: PUSH1 0x00 00000e9e: DUP3 00000e9f: DUP3 00000ea0: GT 00000ea1: ISZERO 00000ea2: PUSH2 0x0ef2 00000ea5: JUMPI 00000ea6: PUSH1 0x40 00000ea8: DUP1 00000ea9: MLOAD 00000eaa: PUSH3 0x461bcd 00000eae: PUSH1 0xe5 00000eb0: SHL 00000eb1: DUP2 00000eb2: MSTORE 00000eb3: PUSH1 0x20 00000eb5: PUSH1 0x04 00000eb7: DUP3 00000eb8: ADD 00000eb9: MSTORE 00000eba: PUSH1 0x1e 00000ebc: PUSH1 0x24 00000ebe: DUP3 00000ebf: ADD 00000ec0: MSTORE 00000ec1: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 00000ee2: PUSH1 0x44 00000ee4: DUP3 00000ee5: ADD 00000ee6: MSTORE 00000ee7: SWAP1 00000ee8: MLOAD 00000ee9: SWAP1 00000eea: DUP2 00000eeb: SWAP1 00000eec: SUB 00000eed: PUSH1 0x64 00000eef: ADD 00000ef0: SWAP1 00000ef1: REVERT 00000ef2: JUMPDEST 00000ef3: POP 00000ef4: SWAP1 00000ef5: SUB 00000ef6: SWAP1 00000ef7: JUMP 00000ef8: JUMPDEST 00000ef9: PUSH1 0x00 00000efb: DUP3 00000efc: PUSH2 0x0f07 00000eff: JUMPI 00000f00: POP 00000f01: PUSH1 0x00 00000f03: PUSH2 0x0567 00000f06: JUMP 00000f07: JUMPDEST 00000f08: DUP3 00000f09: DUP3 00000f0a: MUL 00000f0b: DUP3 00000f0c: DUP5 00000f0d: DUP3 00000f0e: DUP2 00000f0f: PUSH2 0x0f14 00000f12: JUMPI 00000f13: INVALID 00000f14: JUMPDEST 00000f15: DIV 00000f16: EQ 00000f17: PUSH2 0x0f51 00000f1a: JUMPI 00000f1b: PUSH1 0x40 00000f1d: MLOAD 00000f1e: PUSH3 0x461bcd 00000f22: PUSH1 0xe5 00000f24: SHL 00000f25: DUP2 00000f26: MSTORE 00000f27: PUSH1 0x04 00000f29: ADD 00000f2a: DUP1 00000f2b: DUP1 00000f2c: PUSH1 0x20 00000f2e: ADD 00000f2f: DUP3 00000f30: DUP2 00000f31: SUB 00000f32: DUP3 00000f33: MSTORE 00000f34: PUSH1 0x21 00000f36: DUP2 00000f37: MSTORE 00000f38: PUSH1 0x20 00000f3a: ADD 00000f3b: DUP1 00000f3c: PUSH2 0x14f0 00000f3f: PUSH1 0x21 00000f41: SWAP2 00000f42: CODECOPY 00000f43: PUSH1 0x40 00000f45: ADD 00000f46: SWAP2 00000f47: POP 00000f48: POP 00000f49: PUSH1 0x40 00000f4b: MLOAD 00000f4c: DUP1 00000f4d: SWAP2 00000f4e: SUB 00000f4f: SWAP1 00000f50: REVERT 00000f51: JUMPDEST 00000f52: SWAP4 00000f53: SWAP3 00000f54: POP 00000f55: POP 00000f56: POP 00000f57: JUMP 00000f58: JUMPDEST 00000f59: PUSH1 0x00 00000f5b: DUP1 00000f5c: DUP3 00000f5d: GT 00000f5e: PUSH2 0x0fae 00000f61: JUMPI 00000f62: PUSH1 0x40 00000f64: DUP1 00000f65: MLOAD 00000f66: PUSH3 0x461bcd 00000f6a: PUSH1 0xe5 00000f6c: SHL 00000f6d: DUP2 00000f6e: MSTORE 00000f6f: PUSH1 0x20 00000f71: PUSH1 0x04 00000f73: DUP3 00000f74: ADD 00000f75: MSTORE 00000f76: PUSH1 0x1a 00000f78: PUSH1 0x24 00000f7a: DUP3 00000f7b: ADD 00000f7c: MSTORE 00000f7d: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000 00000f9e: PUSH1 0x44 00000fa0: DUP3 00000fa1: ADD 00000fa2: MSTORE 00000fa3: SWAP1 00000fa4: MLOAD 00000fa5: SWAP1 00000fa6: DUP2 00000fa7: SWAP1 00000fa8: SUB 00000fa9: PUSH1 0x64 00000fab: ADD 00000fac: SWAP1 00000fad: REVERT 00000fae: JUMPDEST 00000faf: DUP2 00000fb0: DUP4 00000fb1: DUP2 00000fb2: PUSH2 0x0fb7 00000fb5: JUMPI 00000fb6: INVALID 00000fb7: JUMPDEST 00000fb8: DIV 00000fb9: SWAP4 00000fba: SWAP3 00000fbb: POP 00000fbc: POP 00000fbd: POP 00000fbe: JUMP 00000fbf: JUMPDEST 00000fc0: PUSH1 0x00 00000fc2: DUP3 00000fc3: DUP3 00000fc4: ADD 00000fc5: DUP4 00000fc6: DUP2 00000fc7: LT 00000fc8: ISZERO 00000fc9: PUSH2 0x0f51 00000fcc: JUMPI 00000fcd: PUSH1 0x40 00000fcf: DUP1 00000fd0: MLOAD 00000fd1: PUSH3 0x461bcd 00000fd5: PUSH1 0xe5 00000fd7: SHL 00000fd8: DUP2 00000fd9: MSTORE 00000fda: PUSH1 0x20 00000fdc: PUSH1 0x04 00000fde: DUP3 00000fdf: ADD 00000fe0: MSTORE 00000fe1: PUSH1 0x1b 00000fe3: PUSH1 0x24 00000fe5: DUP3 00000fe6: ADD 00000fe7: MSTORE 00000fe8: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 00001009: PUSH1 0x44 0000100b: DUP3 0000100c: ADD 0000100d: MSTORE 0000100e: SWAP1 0000100f: MLOAD 00001010: SWAP1 00001011: DUP2 00001012: SWAP1 00001013: SUB 00001014: PUSH1 0x64 00001016: ADD 00001017: SWAP1 00001018: REVERT 00001019: JUMPDEST 0000101a: PUSH1 0x00 0000101c: DUP2 0000101d: DUP4 0000101e: LT 0000101f: PUSH2 0x1028 00001022: JUMPI 00001023: DUP2 00001024: PUSH2 0x0f51 00001027: JUMP 00001028: JUMPDEST 00001029: POP 0000102a: SWAP1 0000102b: SWAP2 0000102c: SWAP1 0000102d: POP 0000102e: JUMP 0000102f: JUMPDEST 00001030: PUSH1 0x40 00001032: DUP1 00001033: MLOAD 00001034: PUSH1 0x01 00001036: PUSH1 0x01 00001038: PUSH1 0xa0 0000103a: SHL 0000103b: SUB 0000103c: DUP5 0000103d: AND 0000103e: PUSH1 0x24 00001040: DUP3 00001041: ADD 00001042: MSTORE 00001043: PUSH1 0x44 00001045: DUP1 00001046: DUP3 00001047: ADD 00001048: DUP5 00001049: SWAP1 0000104a: MSTORE 0000104b: DUP3 0000104c: MLOAD 0000104d: DUP1 0000104e: DUP4 0000104f: SUB 00001050: SWAP1 00001051: SWAP2 00001052: ADD 00001053: DUP2 00001054: MSTORE 00001055: PUSH1 0x64 00001057: SWAP1 00001058: SWAP2 00001059: ADD 0000105a: SWAP1 0000105b: SWAP2 0000105c: MSTORE 0000105d: PUSH1 0x20 0000105f: DUP2 00001060: ADD 00001061: DUP1 00001062: MLOAD 00001063: PUSH1 0x01 00001065: PUSH1 0x01 00001067: PUSH1 0xe0 00001069: SHL 0000106a: SUB 0000106b: AND 0000106c: PUSH4 0xa9059cbb 00001071: PUSH1 0xe0 00001073: SHL 00001074: OR 00001075: SWAP1 00001076: MSTORE 00001077: PUSH2 0x0adf 0000107a: SWAP1 0000107b: DUP5 0000107c: SWAP1 0000107d: PUSH2 0x1166 00001080: JUMP 00001081: JUMPDEST 00001082: DUP1 00001083: SELFBALANCE 00001084: LT 00001085: ISZERO 00001086: PUSH2 0x10d6 00001089: JUMPI 0000108a: PUSH1 0x40 0000108c: DUP1 0000108d: MLOAD 0000108e: PUSH3 0x461bcd 00001092: PUSH1 0xe5 00001094: SHL 00001095: DUP2 00001096: MSTORE 00001097: PUSH1 0x20 00001099: PUSH1 0x04 0000109b: DUP3 0000109c: ADD 0000109d: MSTORE 0000109e: PUSH1 0x1d 000010a0: PUSH1 0x24 000010a2: DUP3 000010a3: ADD 000010a4: MSTORE 000010a5: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000 000010c6: PUSH1 0x44 000010c8: DUP3 000010c9: ADD 000010ca: MSTORE 000010cb: SWAP1 000010cc: MLOAD 000010cd: SWAP1 000010ce: DUP2 000010cf: SWAP1 000010d0: SUB 000010d1: PUSH1 0x64 000010d3: ADD 000010d4: SWAP1 000010d5: REVERT 000010d6: JUMPDEST 000010d7: PUSH1 0x40 000010d9: MLOAD 000010da: PUSH1 0x00 000010dc: SWAP1 000010dd: PUSH1 0x01 000010df: PUSH1 0x01 000010e1: PUSH1 0xa0 000010e3: SHL 000010e4: SUB 000010e5: DUP5 000010e6: AND 000010e7: SWAP1 000010e8: DUP4 000010e9: SWAP1 000010ea: DUP4 000010eb: DUP2 000010ec: DUP2 000010ed: DUP2 000010ee: DUP6 000010ef: DUP8 000010f0: GAS 000010f1: CALL 000010f2: SWAP3 000010f3: POP 000010f4: POP 000010f5: POP 000010f6: RETURNDATASIZE 000010f7: DUP1 000010f8: PUSH1 0x00 000010fa: DUP2 000010fb: EQ 000010fc: PUSH2 0x1121 000010ff: JUMPI 00001100: PUSH1 0x40 00001102: MLOAD 00001103: SWAP2 00001104: POP 00001105: PUSH1 0x1f 00001107: NOT 00001108: PUSH1 0x3f 0000110a: RETURNDATASIZE 0000110b: ADD 0000110c: AND 0000110d: DUP3 0000110e: ADD 0000110f: PUSH1 0x40 00001111: MSTORE 00001112: RETURNDATASIZE 00001113: DUP3 00001114: MSTORE 00001115: RETURNDATASIZE 00001116: PUSH1 0x00 00001118: PUSH1 0x20 0000111a: DUP5 0000111b: ADD 0000111c: RETURNDATACOPY 0000111d: PUSH2 0x1126 00001120: JUMP 00001121: JUMPDEST 00001122: PUSH1 0x60 00001124: SWAP2 00001125: POP 00001126: JUMPDEST 00001127: POP 00001128: POP 00001129: SWAP1 0000112a: POP 0000112b: DUP1 0000112c: PUSH2 0x0adf 0000112f: JUMPI 00001130: PUSH1 0x40 00001132: MLOAD 00001133: PUSH3 0x461bcd 00001137: PUSH1 0xe5 00001139: SHL 0000113a: DUP2 0000113b: MSTORE 0000113c: PUSH1 0x04 0000113e: ADD 0000113f: DUP1 00001140: DUP1 00001141: PUSH1 0x20 00001143: ADD 00001144: DUP3 00001145: DUP2 00001146: SUB 00001147: DUP3 00001148: MSTORE 00001149: PUSH1 0x3a 0000114b: DUP2 0000114c: MSTORE 0000114d: PUSH1 0x20 0000114f: ADD 00001150: DUP1 00001151: PUSH2 0x1457 00001154: PUSH1 0x3a 00001156: SWAP2 00001157: CODECOPY 00001158: PUSH1 0x40 0000115a: ADD 0000115b: SWAP2 0000115c: POP 0000115d: POP 0000115e: PUSH1 0x40 00001160: MLOAD 00001161: DUP1 00001162: SWAP2 00001163: SUB 00001164: SWAP1 00001165: REVERT 00001166: JUMPDEST 00001167: PUSH1 0x60 00001169: PUSH2 0x11bb 0000116c: DUP3 0000116d: PUSH1 0x40 0000116f: MLOAD 00001170: DUP1 00001171: PUSH1 0x40 00001173: ADD 00001174: PUSH1 0x40 00001176: MSTORE 00001177: DUP1 00001178: PUSH1 0x20 0000117a: DUP2 0000117b: MSTORE 0000117c: PUSH1 0x20 0000117e: ADD 0000117f: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 000011a0: DUP2 000011a1: MSTORE 000011a2: POP 000011a3: DUP6 000011a4: PUSH1 0x01 000011a6: PUSH1 0x01 000011a8: PUSH1 0xa0 000011aa: SHL 000011ab: SUB 000011ac: AND 000011ad: PUSH2 0x1217 000011b0: SWAP1 000011b1: SWAP3 000011b2: SWAP2 000011b3: SWAP1 000011b4: PUSH4 0xffffffff 000011b9: AND 000011ba: JUMP 000011bb: JUMPDEST 000011bc: DUP1 000011bd: MLOAD 000011be: SWAP1 000011bf: SWAP2 000011c0: POP 000011c1: ISZERO 000011c2: PUSH2 0x0adf 000011c5: JUMPI 000011c6: DUP1 000011c7: DUP1 000011c8: PUSH1 0x20 000011ca: ADD 000011cb: SWAP1 000011cc: MLOAD 000011cd: PUSH1 0x20 000011cf: DUP2 000011d0: LT 000011d1: ISZERO 000011d2: PUSH2 0x11da 000011d5: JUMPI 000011d6: PUSH1 0x00 000011d8: DUP1 000011d9: REVERT 000011da: JUMPDEST 000011db: POP 000011dc: MLOAD 000011dd: PUSH2 0x0adf 000011e0: JUMPI 000011e1: PUSH1 0x40 000011e3: MLOAD 000011e4: PUSH3 0x461bcd 000011e8: PUSH1 0xe5 000011ea: SHL 000011eb: DUP2 000011ec: MSTORE 000011ed: PUSH1 0x04 000011ef: ADD 000011f0: DUP1 000011f1: DUP1 000011f2: PUSH1 0x20 000011f4: ADD 000011f5: DUP3 000011f6: DUP2 000011f7: SUB 000011f8: DUP3 000011f9: MSTORE 000011fa: PUSH1 0x2a 000011fc: DUP2 000011fd: MSTORE 000011fe: PUSH1 0x20 00001200: ADD 00001201: DUP1 00001202: PUSH2 0x1533 00001205: PUSH1 0x2a 00001207: SWAP2 00001208: CODECOPY 00001209: PUSH1 0x40 0000120b: ADD 0000120c: SWAP2 0000120d: POP 0000120e: POP 0000120f: PUSH1 0x40 00001211: MLOAD 00001212: DUP1 00001213: SWAP2 00001214: SUB 00001215: SWAP1 00001216: REVERT 00001217: JUMPDEST 00001218: PUSH1 0x60 0000121a: PUSH2 0x1226 0000121d: DUP5 0000121e: DUP5 0000121f: PUSH1 0x00 00001221: DUP6 00001222: PUSH2 0x122e 00001225: JUMP 00001226: JUMPDEST 00001227: SWAP5 00001228: SWAP4 00001229: POP 0000122a: POP 0000122b: POP 0000122c: POP 0000122d: JUMP 0000122e: JUMPDEST 0000122f: PUSH1 0x60 00001231: DUP3 00001232: SELFBALANCE 00001233: LT 00001234: ISZERO 00001235: PUSH2 0x126f 00001238: JUMPI 00001239: PUSH1 0x40 0000123b: MLOAD 0000123c: PUSH3 0x461bcd 00001240: PUSH1 0xe5 00001242: SHL 00001243: DUP2 00001244: MSTORE 00001245: PUSH1 0x04 00001247: ADD 00001248: DUP1 00001249: DUP1 0000124a: PUSH1 0x20 0000124c: ADD 0000124d: DUP3 0000124e: DUP2 0000124f: SUB 00001250: DUP3 00001251: MSTORE 00001252: PUSH1 0x26 00001254: DUP2 00001255: MSTORE 00001256: PUSH1 0x20 00001258: ADD 00001259: DUP1 0000125a: PUSH2 0x1491 0000125d: PUSH1 0x26 0000125f: SWAP2 00001260: CODECOPY 00001261: PUSH1 0x40 00001263: ADD 00001264: SWAP2 00001265: POP 00001266: POP 00001267: PUSH1 0x40 00001269: MLOAD 0000126a: DUP1 0000126b: SWAP2 0000126c: SUB 0000126d: SWAP1 0000126e: REVERT 0000126f: JUMPDEST 00001270: PUSH2 0x1278 00001273: DUP6 00001274: PUSH2 0x138a 00001277: JUMP 00001278: JUMPDEST 00001279: PUSH2 0x12c9 0000127c: JUMPI 0000127d: PUSH1 0x40 0000127f: DUP1 00001280: MLOAD 00001281: PUSH3 0x461bcd 00001285: PUSH1 0xe5 00001287: SHL 00001288: DUP2 00001289: MSTORE 0000128a: PUSH1 0x20 0000128c: PUSH1 0x04 0000128e: DUP3 0000128f: ADD 00001290: MSTORE 00001291: PUSH1 0x1d 00001293: PUSH1 0x24 00001295: DUP3 00001296: ADD 00001297: MSTORE 00001298: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 000012b9: PUSH1 0x44 000012bb: DUP3 000012bc: ADD 000012bd: MSTORE 000012be: SWAP1 000012bf: MLOAD 000012c0: SWAP1 000012c1: DUP2 000012c2: SWAP1 000012c3: SUB 000012c4: PUSH1 0x64 000012c6: ADD 000012c7: SWAP1 000012c8: REVERT 000012c9: JUMPDEST 000012ca: PUSH1 0x00 000012cc: PUSH1 0x60 000012ce: DUP7 000012cf: PUSH1 0x01 000012d1: PUSH1 0x01 000012d3: PUSH1 0xa0 000012d5: SHL 000012d6: SUB 000012d7: AND 000012d8: DUP6 000012d9: DUP8 000012da: PUSH1 0x40 000012dc: MLOAD 000012dd: DUP1 000012de: DUP3 000012df: DUP1 000012e0: MLOAD 000012e1: SWAP1 000012e2: PUSH1 0x20 000012e4: ADD 000012e5: SWAP1 000012e6: DUP1 000012e7: DUP4 000012e8: DUP4 000012e9: JUMPDEST 000012ea: PUSH1 0x20 000012ec: DUP4 000012ed: LT 000012ee: PUSH2 0x1308 000012f1: JUMPI 000012f2: DUP1 000012f3: MLOAD 000012f4: DUP3 000012f5: MSTORE 000012f6: PUSH1 0x1f 000012f8: NOT 000012f9: SWAP1 000012fa: SWAP3 000012fb: ADD 000012fc: SWAP2 000012fd: PUSH1 0x20 000012ff: SWAP2 00001300: DUP3 00001301: ADD 00001302: SWAP2 00001303: ADD 00001304: PUSH2 0x12e9 00001307: JUMP 00001308: JUMPDEST 00001309: PUSH1 0x01 0000130b: DUP4 0000130c: PUSH1 0x20 0000130e: SUB 0000130f: PUSH2 0x0100 00001312: EXP 00001313: SUB 00001314: DUP1 00001315: NOT 00001316: DUP3 00001317: MLOAD 00001318: AND 00001319: DUP2 0000131a: DUP5 0000131b: MLOAD 0000131c: AND 0000131d: DUP1 0000131e: DUP3 0000131f: OR 00001320: DUP6 00001321: MSTORE 00001322: POP 00001323: POP 00001324: POP 00001325: POP 00001326: POP 00001327: POP 00001328: SWAP1 00001329: POP 0000132a: ADD 0000132b: SWAP2 0000132c: POP 0000132d: POP 0000132e: PUSH1 0x00 00001330: PUSH1 0x40 00001332: MLOAD 00001333: DUP1 00001334: DUP4 00001335: SUB 00001336: DUP2 00001337: DUP6 00001338: DUP8 00001339: GAS 0000133a: CALL 0000133b: SWAP3 0000133c: POP 0000133d: POP 0000133e: POP 0000133f: RETURNDATASIZE 00001340: DUP1 00001341: PUSH1 0x00 00001343: DUP2 00001344: EQ 00001345: PUSH2 0x136a 00001348: JUMPI 00001349: PUSH1 0x40 0000134b: MLOAD 0000134c: SWAP2 0000134d: POP 0000134e: PUSH1 0x1f 00001350: NOT 00001351: PUSH1 0x3f 00001353: RETURNDATASIZE 00001354: ADD 00001355: AND 00001356: DUP3 00001357: ADD 00001358: PUSH1 0x40 0000135a: MSTORE 0000135b: RETURNDATASIZE 0000135c: DUP3 0000135d: MSTORE 0000135e: RETURNDATASIZE 0000135f: PUSH1 0x00 00001361: PUSH1 0x20 00001363: DUP5 00001364: ADD 00001365: RETURNDATACOPY 00001366: PUSH2 0x136f 00001369: JUMP 0000136a: JUMPDEST 0000136b: PUSH1 0x60 0000136d: SWAP2 0000136e: POP 0000136f: JUMPDEST 00001370: POP 00001371: SWAP2 00001372: POP 00001373: SWAP2 00001374: POP 00001375: PUSH2 0x137f 00001378: DUP3 00001379: DUP3 0000137a: DUP7 0000137b: PUSH2 0x1390 0000137e: JUMP 0000137f: JUMPDEST 00001380: SWAP8 00001381: SWAP7 00001382: POP 00001383: POP 00001384: POP 00001385: POP 00001386: POP 00001387: POP 00001388: POP 00001389: JUMP 0000138a: JUMPDEST 0000138b: EXTCODESIZE 0000138c: ISZERO 0000138d: ISZERO 0000138e: SWAP1 0000138f: JUMP 00001390: JUMPDEST 00001391: PUSH1 0x60 00001393: DUP4 00001394: ISZERO 00001395: PUSH2 0x139f 00001398: JUMPI 00001399: POP 0000139a: DUP2 0000139b: PUSH2 0x0f51 0000139e: JUMP 0000139f: JUMPDEST 000013a0: DUP3 000013a1: MLOAD 000013a2: ISZERO 000013a3: PUSH2 0x13af 000013a6: JUMPI 000013a7: DUP3 000013a8: MLOAD 000013a9: DUP1 000013aa: DUP5 000013ab: PUSH1 0x20 000013ad: ADD 000013ae: REVERT 000013af: JUMPDEST 000013b0: DUP2 000013b1: PUSH1 0x40 000013b3: MLOAD 000013b4: PUSH3 0x461bcd 000013b8: PUSH1 0xe5 000013ba: SHL 000013bb: DUP2 000013bc: MSTORE 000013bd: PUSH1 0x04 000013bf: ADD 000013c0: DUP1 000013c1: DUP1 000013c2: PUSH1 0x20 000013c4: ADD 000013c5: DUP3 000013c6: DUP2 000013c7: SUB 000013c8: DUP3 000013c9: MSTORE 000013ca: DUP4 000013cb: DUP2 000013cc: DUP2 000013cd: MLOAD 000013ce: DUP2 000013cf: MSTORE 000013d0: PUSH1 0x20 000013d2: ADD 000013d3: SWAP2 000013d4: POP 000013d5: DUP1 000013d6: MLOAD 000013d7: SWAP1 000013d8: PUSH1 0x20 000013da: ADD 000013db: SWAP1 000013dc: DUP1 000013dd: DUP4 000013de: DUP4 000013df: PUSH1 0x00 000013e1: JUMPDEST 000013e2: DUP4 000013e3: DUP2 000013e4: LT 000013e5: ISZERO 000013e6: PUSH2 0x13f9 000013e9: JUMPI 000013ea: DUP2 000013eb: DUP2 000013ec: ADD 000013ed: MLOAD 000013ee: DUP4 000013ef: DUP3 000013f0: ADD 000013f1: MSTORE 000013f2: PUSH1 0x20 000013f4: ADD 000013f5: PUSH2 0x13e1 000013f8: JUMP 000013f9: JUMPDEST 000013fa: POP 000013fb: POP 000013fc: POP 000013fd: POP 000013fe: SWAP1 000013ff: POP 00001400: SWAP1 00001401: DUP2 00001402: ADD 00001403: SWAP1 00001404: PUSH1 0x1f 00001406: AND 00001407: DUP1 00001408: ISZERO 00001409: PUSH2 0x1426 0000140c: JUMPI 0000140d: DUP1 0000140e: DUP3 0000140f: SUB 00001410: DUP1 00001411: MLOAD 00001412: PUSH1 0x01 00001414: DUP4 00001415: PUSH1 0x20 00001417: SUB 00001418: PUSH2 0x0100 0000141b: EXP 0000141c: SUB 0000141d: NOT 0000141e: AND 0000141f: DUP2 00001420: MSTORE 00001421: PUSH1 0x20 00001423: ADD 00001424: SWAP2 00001425: POP 00001426: JUMPDEST 00001427: POP 00001428: SWAP3 00001429: POP 0000142a: POP 0000142b: POP 0000142c: PUSH1 0x40 0000142e: MLOAD 0000142f: DUP1 00001430: SWAP2 00001431: SUB 00001432: SWAP1 00001433: REVERT 00001434: INVALID 00001435: TIMESTAMP 00001436: PUSH2 0x7365 00001439: MSTORE 0000143a: PUSH6 0x776172643a20 00001441: PUSH4 0x616c6c65 00001446: PUSH19 0x206973206e6f7420616e206f776e6572416464 0000145a: PUSH19 0x6573733a20756e61626c6520746f2073656e64 0000146e: KECCAK256 0000146f: PUSH23 0x616c75652c20726563697069656e74206d617920686176 00001487: PUSH6 0x207265766572 0000148e: PUSH21 0x6564416464726573733a20696e7375666669636965 000014a4: PUSH15 0x742062616c616e636520666f722063 000014b4: PUSH2 0x6c6c 000014b7: PUSH21 0x6865206e6f74696669656420726577617264206361 000014cd: PUSH15 0x6e6f7420696e766f6b65206d756c74 000014dd: PUSH10 0x706c69636174696f6e20 000014e8: PUSH16 0x766572666c6f77536166654d6174683a 000014f9: KECCAK256 000014fa: PUSH14 0x756c7469706c69636174696f6e20 00001509: PUSH16 0x766572666c6f77426173655265776172 0000151a: PUSH5 0x3a20216164 00001520: PUSH5 0x7265737328 00001526: PUSH21 0x686973292e62616c616e6365536166654552433230 0000153c: GASPRICE 0000153d: KECCAK256 0000153e: GASLIMIT 0000153f: MSTORE 00001540: NUMBER 00001541: ORIGIN 00001542: ADDRESS 00001543: KECCAK256 00001544: PUSH16 0x7065726174696f6e20646964206e6f74 00001555: KECCAK256 00001556: PUSH20 0x756363656564426173655265776172643a206164 0000156b: PUSH5 0x7265737320 00001571: PUSH10 0x7320616c726561647920 0000157c: PUSH16 0x776e6572a2646970667358221220e185 0000158d: UNKNOWN(0xBD) 0000158e: UNKNOWN(0xCD) 0000158f: UNKNOWN(0x4E) 00001590: KECCAK256 00001591: DUP8 00001592: PUSH6 0x4251ebb48225 00001599: STATICCALL 0000159a: UNKNOWN(0x0C) 0000159b: UNKNOWN(0x2F) 0000159c: UNKNOWN(0xEB) 0000159d: PUSH13 0xe68113827913fee047bf8b33b8 000015ab: PUSH5 0x736f6c6343 000015b1: STOP 000015b2: MOD 000015b3: UNKNOWN(0x0C) 000015b4: STOP 000015b5: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| 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": "0xc8f33c91",
"selector": "0xc8f33c91",
"calldata_variants": [
"0xc8f33c91",
"0xc8f33c910000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcd3daf9d",
"selector": "0xcd3daf9d",
"calldata_variants": [
"0xcd3daf9d",
"0xcd3daf9d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdcd2af17",
"selector": "0xdcd2af17",
"calldata_variants": [
"0xdcd2af17",
"0xdcd2af170000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdf136d65",
"selector": "0xdf136d65",
"calldata_variants": [
"0xdf136d65",
"0xdf136d650000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xebe2b12b",
"selector": "0xebe2b12b",
"calldata_variants": [
"0xebe2b12b",
"0xebe2b12b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf7c618c1",
"selector": "0xf7c618c1",
"calldata_variants": [
"0xf7c618c1",
"0xf7c618c10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70a08231",
"selector": "0x70a08231",
"calldata_variants": [
"0x70a08231",
"0x70a082310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7b0a47ee",
"selector": "0x7b0a47ee",
"calldata_variants": [
"0x7b0a47ee",
"0x7b0a47ee0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 5441,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x81ce0cf56ced8517e8219ac5d19c2485f395c5f882ff590c681c08692006401a
call_targets:
0x37dd2f9b2fef9cc123c5a97cddc76ea332b6e382
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x81ce0cf56ced8517e8219ac5d19c2485f395c5f882ff590c681c08692006401a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x37dd2f9b2fef9cc123c5a97cddc76ea332b6e382"
],
"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": "0xc8f33c91",
"selector": "0xc8f33c91",
"calldata_variants": [
"0xc8f33c91",
"0xc8f33c910000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcd3daf9d",
"selector": "0xcd3daf9d",
"calldata_variants": [
"0xcd3daf9d",
"0xcd3daf9d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdcd2af17",
"selector": "0xdcd2af17",
"calldata_variants": [
"0xdcd2af17",
"0xdcd2af170000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdf136d65",
"selector": "0xdf136d65",
"calldata_variants": [
"0xdf136d65",
"0xdf136d650000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xebe2b12b",
"selector": "0xebe2b12b",
"calldata_variants": [
"0xebe2b12b",
"0xebe2b12b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf7c618c1",
"selector": "0xf7c618c1",
"calldata_variants": [
"0xf7c618c1",
"0xf7c618c10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70a08231",
"selector": "0x70a08231",
"calldata_variants": [
"0x70a08231",
"0x70a082310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7b0a47ee",
"selector": "0x7b0a47ee",
"calldata_variants": [
"0x7b0a47ee",
"0x7b0a47ee0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4337,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4922,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 5441,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x81ce0cf56ced8517e8219ac5d19c2485f395c5f882ff590c681c08692006401a
call_targets:
0x37dd2f9b2fef9cc123c5a97cddc76ea332b6e382
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x81ce0cf56ced8517e8219ac5d19c2485f395c5f882ff590c681c08692006401a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x37dd2f9b2fef9cc123c5a97cddc76ea332b6e382"
],
"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": "0xc8f33c91",
"selector": "0xc8f33c91",
"calldata_variants": [
"0xc8f33c91",
"0xc8f33c910000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcd3daf9d",
"selector": "0xcd3daf9d",
"calldata_variants": [
"0xcd3daf9d",
"0xcd3daf9d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdcd2af17",
"selector": "0xdcd2af17",
"calldata_variants": [
"0xdcd2af17",
"0xdcd2af170000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdf136d65",
"selector": "0xdf136d65",
"calldata_variants": [
"0xdf136d65",
"0xdf136d650000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xebe2b12b",
"selector": "0xebe2b12b",
"calldata_variants": [
"0xebe2b12b",
"0xebe2b12b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf7c618c1",
"selector": "0xf7c618c1",
"calldata_variants": [
"0xf7c618c1",
"0xf7c618c10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70a08231",
"selector": "0x70a08231",
"calldata_variants": [
"0x70a08231",
"0x70a082310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7b0a47ee",
"selector": "0x7b0a47ee",
"calldata_variants": [
"0x7b0a47ee",
"0x7b0a47ee0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4337,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4922,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 5441,
"type": "tx_origin_used"
}
]
}
|