019b477e-d394-715a-87c0-cb334512b283
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 |
|---|---|---|---|---|
| 28175 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 28176 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 71051 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 71052 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 71053 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 71054 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x011e 0000000c: JUMPI 0000000d: PUSH0 0000000e: CALLDATALOAD 0000000f: PUSH1 0xe0 00000011: SHR 00000012: DUP1 00000013: PUSH4 0x751039fc 00000018: GT 00000019: PUSH2 0x009d 0000001c: JUMPI 0000001d: DUP1 0000001e: PUSH4 0xa9059cbb 00000023: GT 00000024: PUSH2 0x0062 00000027: JUMPI 00000028: DUP1 00000029: PUSH4 0xa9059cbb 0000002e: EQ 0000002f: PUSH2 0x0342 00000032: JUMPI 00000033: DUP1 00000034: PUSH4 0xbf474bed 00000039: EQ 0000003a: PUSH2 0x0361 0000003d: JUMPI 0000003e: DUP1 0000003f: PUSH4 0xc9567bf9 00000044: EQ 00000045: PUSH2 0x0376 00000048: JUMPI 00000049: DUP1 0000004a: PUSH4 0xd34628cc 0000004f: EQ 00000050: PUSH2 0x038a 00000053: JUMPI 00000054: DUP1 00000055: PUSH4 0xdd62ed3e 0000005a: EQ 0000005b: PUSH2 0x03a9 0000005e: JUMPI 0000005f: PUSH0 00000060: DUP1 00000061: REVERT 00000062: JUMPDEST 00000063: DUP1 00000064: PUSH4 0x751039fc 00000069: EQ 0000006a: PUSH2 0x02b2 0000006d: JUMPI 0000006e: DUP1 0000006f: PUSH4 0x7d1db4a5 00000074: EQ 00000075: PUSH2 0x02c6 00000078: JUMPI 00000079: DUP1 0000007a: PUSH4 0x8da5cb5b 0000007f: EQ 00000080: PUSH2 0x02db 00000083: JUMPI 00000084: DUP1 00000085: PUSH4 0x8f9a55c0 0000008a: EQ 0000008b: PUSH2 0x0301 0000008e: JUMPI 0000008f: DUP1 00000090: PUSH4 0x95d89b41 00000095: EQ 00000096: PUSH2 0x0316 00000099: JUMPI 0000009a: PUSH0 0000009b: DUP1 0000009c: REVERT 0000009d: JUMPDEST 0000009e: DUP1 0000009f: PUSH4 0x313ce567 000000a4: GT 000000a5: PUSH2 0x00e3 000000a8: JUMPI 000000a9: DUP1 000000aa: PUSH4 0x313ce567 000000af: EQ 000000b0: PUSH2 0x01f7 000000b3: JUMPI 000000b4: DUP1 000000b5: PUSH4 0x31c2d847 000000ba: EQ 000000bb: PUSH2 0x0212 000000be: JUMPI 000000bf: DUP1 000000c0: PUSH4 0x3bbac579 000000c5: EQ 000000c6: PUSH2 0x0233 000000c9: JUMPI 000000ca: DUP1 000000cb: PUSH4 0x70a08231 000000d0: EQ 000000d1: PUSH2 0x026a 000000d4: JUMPI 000000d5: DUP1 000000d6: PUSH4 0x715018a6 000000db: EQ 000000dc: PUSH2 0x029e 000000df: JUMPI 000000e0: PUSH0 000000e1: DUP1 000000e2: REVERT 000000e3: JUMPDEST 000000e4: DUP1 000000e5: PUSH4 0x06fdde03 000000ea: EQ 000000eb: PUSH2 0x0129 000000ee: JUMPI 000000ef: DUP1 000000f0: PUSH4 0x095ea7b3 000000f5: EQ 000000f6: PUSH2 0x0172 000000f9: JUMPI 000000fa: DUP1 000000fb: PUSH4 0x0faee56f 00000100: EQ 00000101: PUSH2 0x01a1 00000104: JUMPI 00000105: DUP1 00000106: PUSH4 0x18160ddd 0000010b: EQ 0000010c: PUSH2 0x01c4 0000010f: JUMPI 00000110: DUP1 00000111: PUSH4 0x23b872dd 00000116: EQ 00000117: PUSH2 0x01d8 0000011a: JUMPI 0000011b: PUSH0 0000011c: DUP1 0000011d: REVERT 0000011e: JUMPDEST 0000011f: CALLDATASIZE 00000120: PUSH2 0x0125 00000123: JUMPI 00000124: STOP 00000125: JUMPDEST 00000126: PUSH0 00000127: DUP1 00000128: REVERT 00000129: JUMPDEST 0000012a: CALLVALUE 0000012b: DUP1 0000012c: ISZERO 0000012d: PUSH2 0x0134 00000130: JUMPI 00000131: PUSH0 00000132: DUP1 00000133: REVERT 00000134: JUMPDEST 00000135: POP 00000136: PUSH1 0x40 00000138: DUP1 00000139: MLOAD 0000013a: DUP1 0000013b: DUP3 0000013c: ADD 0000013d: SWAP1 0000013e: SWAP2 0000013f: MSTORE 00000140: PUSH1 0x0f 00000142: DUP2 00000143: MSTORE 00000144: PUSH15 0x6379626572636f7267692032303737 00000154: PUSH1 0x88 00000156: SHL 00000157: PUSH1 0x20 00000159: DUP3 0000015a: ADD 0000015b: MSTORE 0000015c: JUMPDEST 0000015d: PUSH1 0x40 0000015f: MLOAD 00000160: PUSH2 0x0169 00000163: SWAP2 00000164: SWAP1 00000165: PUSH2 0x153a 00000168: JUMP 00000169: JUMPDEST 0000016a: PUSH1 0x40 0000016c: MLOAD 0000016d: DUP1 0000016e: SWAP2 0000016f: SUB 00000170: SWAP1 00000171: RETURN 00000172: JUMPDEST 00000173: CALLVALUE 00000174: DUP1 00000175: ISZERO 00000176: PUSH2 0x017d 00000179: JUMPI 0000017a: PUSH0 0000017b: DUP1 0000017c: REVERT 0000017d: JUMPDEST 0000017e: POP 0000017f: PUSH2 0x0191 00000182: PUSH2 0x018c 00000185: CALLDATASIZE 00000186: PUSH1 0x04 00000188: PUSH2 0x15ac 0000018b: JUMP 0000018c: JUMPDEST 0000018d: PUSH2 0x03ed 00000190: JUMP 00000191: JUMPDEST 00000192: PUSH1 0x40 00000194: MLOAD 00000195: SWAP1 00000196: ISZERO 00000197: ISZERO 00000198: DUP2 00000199: MSTORE 0000019a: PUSH1 0x20 0000019c: ADD 0000019d: PUSH2 0x0169 000001a0: JUMP 000001a1: JUMPDEST 000001a2: CALLVALUE 000001a3: DUP1 000001a4: ISZERO 000001a5: PUSH2 0x01ac 000001a8: JUMPI 000001a9: PUSH0 000001aa: DUP1 000001ab: REVERT 000001ac: JUMPDEST 000001ad: POP 000001ae: PUSH2 0x01b6 000001b1: PUSH1 0x12 000001b3: SLOAD 000001b4: DUP2 000001b5: JUMP 000001b6: JUMPDEST 000001b7: PUSH1 0x40 000001b9: MLOAD 000001ba: SWAP1 000001bb: DUP2 000001bc: MSTORE 000001bd: PUSH1 0x20 000001bf: ADD 000001c0: PUSH2 0x0169 000001c3: JUMP 000001c4: JUMPDEST 000001c5: CALLVALUE 000001c6: DUP1 000001c7: ISZERO 000001c8: PUSH2 0x01cf 000001cb: JUMPI 000001cc: PUSH0 000001cd: DUP1 000001ce: REVERT 000001cf: JUMPDEST 000001d0: POP 000001d1: PUSH2 0x01b6 000001d4: PUSH2 0x0403 000001d7: JUMP 000001d8: JUMPDEST 000001d9: CALLVALUE 000001da: DUP1 000001db: ISZERO 000001dc: PUSH2 0x01e3 000001df: JUMPI 000001e0: PUSH0 000001e1: DUP1 000001e2: REVERT 000001e3: JUMPDEST 000001e4: POP 000001e5: PUSH2 0x0191 000001e8: PUSH2 0x01f2 000001eb: CALLDATASIZE 000001ec: PUSH1 0x04 000001ee: PUSH2 0x15d6 000001f1: JUMP 000001f2: JUMPDEST 000001f3: PUSH2 0x0423 000001f6: JUMP 000001f7: JUMPDEST 000001f8: CALLVALUE 000001f9: DUP1 000001fa: ISZERO 000001fb: PUSH2 0x0202 000001fe: JUMPI 000001ff: PUSH0 00000200: DUP1 00000201: REVERT 00000202: JUMPDEST 00000203: POP 00000204: PUSH1 0x40 00000206: MLOAD 00000207: PUSH1 0x09 00000209: DUP2 0000020a: MSTORE 0000020b: PUSH1 0x20 0000020d: ADD 0000020e: PUSH2 0x0169 00000211: JUMP 00000212: JUMPDEST 00000213: CALLVALUE 00000214: DUP1 00000215: ISZERO 00000216: PUSH2 0x021d 00000219: JUMPI 0000021a: PUSH0 0000021b: DUP1 0000021c: REVERT 0000021d: JUMPDEST 0000021e: POP 0000021f: PUSH2 0x0231 00000222: PUSH2 0x022c 00000225: CALLDATASIZE 00000226: PUSH1 0x04 00000228: PUSH2 0x1628 0000022b: JUMP 0000022c: JUMPDEST 0000022d: PUSH2 0x048a 00000230: JUMP 00000231: JUMPDEST 00000232: STOP 00000233: JUMPDEST 00000234: CALLVALUE 00000235: DUP1 00000236: ISZERO 00000237: PUSH2 0x023e 0000023a: JUMPI 0000023b: PUSH0 0000023c: DUP1 0000023d: REVERT 0000023e: JUMPDEST 0000023f: POP 00000240: PUSH2 0x0191 00000243: PUSH2 0x024d 00000246: CALLDATASIZE 00000247: PUSH1 0x04 00000249: PUSH2 0x16e8 0000024c: JUMP 0000024d: JUMPDEST 0000024e: PUSH1 0x01 00000250: PUSH1 0x01 00000252: PUSH1 0xa0 00000254: SHL 00000255: SUB 00000256: AND 00000257: PUSH0 00000258: SWAP1 00000259: DUP2 0000025a: MSTORE 0000025b: PUSH1 0x04 0000025d: PUSH1 0x20 0000025f: MSTORE 00000260: PUSH1 0x40 00000262: SWAP1 00000263: KECCAK256 00000264: SLOAD 00000265: PUSH1 0xff 00000267: AND 00000268: SWAP1 00000269: JUMP 0000026a: JUMPDEST 0000026b: CALLVALUE 0000026c: DUP1 0000026d: ISZERO 0000026e: PUSH2 0x0275 00000271: JUMPI 00000272: PUSH0 00000273: DUP1 00000274: REVERT 00000275: JUMPDEST 00000276: POP 00000277: PUSH2 0x01b6 0000027a: PUSH2 0x0284 0000027d: CALLDATASIZE 0000027e: PUSH1 0x04 00000280: PUSH2 0x16e8 00000283: JUMP 00000284: JUMPDEST 00000285: PUSH1 0x01 00000287: PUSH1 0x01 00000289: PUSH1 0xa0 0000028b: SHL 0000028c: SUB 0000028d: AND 0000028e: PUSH0 0000028f: SWAP1 00000290: DUP2 00000291: MSTORE 00000292: PUSH1 0x01 00000294: PUSH1 0x20 00000296: MSTORE 00000297: PUSH1 0x40 00000299: SWAP1 0000029a: KECCAK256 0000029b: SLOAD 0000029c: SWAP1 0000029d: JUMP 0000029e: JUMPDEST 0000029f: CALLVALUE 000002a0: DUP1 000002a1: ISZERO 000002a2: PUSH2 0x02a9 000002a5: JUMPI 000002a6: PUSH0 000002a7: DUP1 000002a8: REVERT 000002a9: JUMPDEST 000002aa: POP 000002ab: PUSH2 0x0231 000002ae: PUSH2 0x0524 000002b1: JUMP 000002b2: JUMPDEST 000002b3: CALLVALUE 000002b4: DUP1 000002b5: ISZERO 000002b6: PUSH2 0x02bd 000002b9: JUMPI 000002ba: PUSH0 000002bb: DUP1 000002bc: REVERT 000002bd: JUMPDEST 000002be: POP 000002bf: PUSH2 0x0231 000002c2: PUSH2 0x0595 000002c5: JUMP 000002c6: JUMPDEST 000002c7: CALLVALUE 000002c8: DUP1 000002c9: ISZERO 000002ca: PUSH2 0x02d1 000002cd: JUMPI 000002ce: PUSH0 000002cf: DUP1 000002d0: REVERT 000002d1: JUMPDEST 000002d2: POP 000002d3: PUSH2 0x01b6 000002d6: PUSH1 0x0f 000002d8: SLOAD 000002d9: DUP2 000002da: JUMP 000002db: JUMPDEST 000002dc: CALLVALUE 000002dd: DUP1 000002de: ISZERO 000002df: PUSH2 0x02e6 000002e2: JUMPI 000002e3: PUSH0 000002e4: DUP1 000002e5: REVERT 000002e6: JUMPDEST 000002e7: POP 000002e8: PUSH0 000002e9: SLOAD 000002ea: PUSH1 0x40 000002ec: MLOAD 000002ed: PUSH1 0x01 000002ef: PUSH1 0x01 000002f1: PUSH1 0xa0 000002f3: SHL 000002f4: SUB 000002f5: SWAP1 000002f6: SWAP2 000002f7: AND 000002f8: DUP2 000002f9: MSTORE 000002fa: PUSH1 0x20 000002fc: ADD 000002fd: PUSH2 0x0169 00000300: JUMP 00000301: JUMPDEST 00000302: CALLVALUE 00000303: DUP1 00000304: ISZERO 00000305: PUSH2 0x030c 00000308: JUMPI 00000309: PUSH0 0000030a: DUP1 0000030b: REVERT 0000030c: JUMPDEST 0000030d: POP 0000030e: PUSH2 0x01b6 00000311: PUSH1 0x10 00000313: SLOAD 00000314: DUP2 00000315: JUMP 00000316: JUMPDEST 00000317: CALLVALUE 00000318: DUP1 00000319: ISZERO 0000031a: PUSH2 0x0321 0000031d: JUMPI 0000031e: PUSH0 0000031f: DUP1 00000320: REVERT 00000321: JUMPDEST 00000322: POP 00000323: PUSH1 0x40 00000325: DUP1 00000326: MLOAD 00000327: DUP1 00000328: DUP3 00000329: ADD 0000032a: SWAP1 0000032b: SWAP2 0000032c: MSTORE 0000032d: PUSH1 0x04 0000032f: DUP2 00000330: MSTORE 00000331: PUSH4 0x4b4f5247 00000336: PUSH1 0xe0 00000338: SHL 00000339: PUSH1 0x20 0000033b: DUP3 0000033c: ADD 0000033d: MSTORE 0000033e: PUSH2 0x015c 00000341: JUMP 00000342: JUMPDEST 00000343: CALLVALUE 00000344: DUP1 00000345: ISZERO 00000346: PUSH2 0x034d 00000349: JUMPI 0000034a: PUSH0 0000034b: DUP1 0000034c: REVERT 0000034d: JUMPDEST 0000034e: POP 0000034f: PUSH2 0x0191 00000352: PUSH2 0x035c 00000355: CALLDATASIZE 00000356: PUSH1 0x04 00000358: PUSH2 0x15ac 0000035b: JUMP 0000035c: JUMPDEST 0000035d: PUSH2 0x0646 00000360: JUMP 00000361: JUMPDEST 00000362: CALLVALUE 00000363: DUP1 00000364: ISZERO 00000365: PUSH2 0x036c 00000368: JUMPI 00000369: PUSH0 0000036a: DUP1 0000036b: REVERT 0000036c: JUMPDEST 0000036d: POP 0000036e: PUSH2 0x01b6 00000371: PUSH1 0x11 00000373: SLOAD 00000374: DUP2 00000375: JUMP 00000376: JUMPDEST 00000377: CALLVALUE 00000378: DUP1 00000379: ISZERO 0000037a: PUSH2 0x0381 0000037d: JUMPI 0000037e: PUSH0 0000037f: DUP1 00000380: REVERT 00000381: JUMPDEST 00000382: POP 00000383: PUSH2 0x0231 00000386: PUSH2 0x0652 00000389: JUMP 0000038a: JUMPDEST 0000038b: CALLVALUE 0000038c: DUP1 0000038d: ISZERO 0000038e: PUSH2 0x0395 00000391: JUMPI 00000392: PUSH0 00000393: DUP1 00000394: REVERT 00000395: JUMPDEST 00000396: POP 00000397: PUSH2 0x0231 0000039a: PUSH2 0x03a4 0000039d: CALLDATASIZE 0000039e: PUSH1 0x04 000003a0: PUSH2 0x1628 000003a3: JUMP 000003a4: JUMPDEST 000003a5: PUSH2 0x09ff 000003a8: JUMP 000003a9: JUMPDEST 000003aa: CALLVALUE 000003ab: DUP1 000003ac: ISZERO 000003ad: PUSH2 0x03b4 000003b0: JUMPI 000003b1: PUSH0 000003b2: DUP1 000003b3: REVERT 000003b4: JUMPDEST 000003b5: POP 000003b6: PUSH2 0x01b6 000003b9: PUSH2 0x03c3 000003bc: CALLDATASIZE 000003bd: PUSH1 0x04 000003bf: PUSH2 0x1703 000003c2: JUMP 000003c3: JUMPDEST 000003c4: PUSH1 0x01 000003c6: PUSH1 0x01 000003c8: PUSH1 0xa0 000003ca: SHL 000003cb: SUB 000003cc: SWAP2 000003cd: DUP3 000003ce: AND 000003cf: PUSH0 000003d0: SWAP1 000003d1: DUP2 000003d2: MSTORE 000003d3: PUSH1 0x02 000003d5: PUSH1 0x20 000003d7: SWAP1 000003d8: DUP2 000003d9: MSTORE 000003da: PUSH1 0x40 000003dc: DUP1 000003dd: DUP4 000003de: KECCAK256 000003df: SWAP4 000003e0: SWAP1 000003e1: SWAP5 000003e2: AND 000003e3: DUP3 000003e4: MSTORE 000003e5: SWAP2 000003e6: SWAP1 000003e7: SWAP2 000003e8: MSTORE 000003e9: KECCAK256 000003ea: SLOAD 000003eb: SWAP1 000003ec: JUMP 000003ed: JUMPDEST 000003ee: PUSH0 000003ef: PUSH2 0x03f9 000003f2: CALLER 000003f3: DUP5 000003f4: DUP5 000003f5: PUSH2 0x0a8d 000003f8: JUMP 000003f9: JUMPDEST 000003fa: POP 000003fb: PUSH1 0x01 000003fd: JUMPDEST 000003fe: SWAP3 000003ff: SWAP2 00000400: POP 00000401: POP 00000402: JUMP 00000403: JUMPDEST 00000404: PUSH0 00000405: PUSH2 0x0410 00000408: PUSH1 0x09 0000040a: PUSH1 0x0a 0000040c: PUSH2 0x182e 0000040f: JUMP 00000410: JUMPDEST 00000411: PUSH2 0x041e 00000414: SWAP1 00000415: PUSH4 0x05f5e100 0000041a: PUSH2 0x183c 0000041d: JUMP 0000041e: JUMPDEST 0000041f: SWAP1 00000420: POP 00000421: SWAP1 00000422: JUMP 00000423: JUMPDEST 00000424: PUSH0 00000425: PUSH2 0x042f 00000428: DUP5 00000429: DUP5 0000042a: DUP5 0000042b: PUSH2 0x0bb0 0000042e: JUMP 0000042f: JUMPDEST 00000430: PUSH2 0x0480 00000433: DUP5 00000434: CALLER 00000435: PUSH2 0x047b 00000438: DUP6 00000439: PUSH1 0x40 0000043b: MLOAD 0000043c: DUP1 0000043d: PUSH1 0x60 0000043f: ADD 00000440: PUSH1 0x40 00000442: MSTORE 00000443: DUP1 00000444: PUSH1 0x28 00000446: DUP2 00000447: MSTORE 00000448: PUSH1 0x20 0000044a: ADD 0000044b: PUSH2 0x19ce 0000044e: PUSH1 0x28 00000450: SWAP2 00000451: CODECOPY 00000452: PUSH1 0x01 00000454: PUSH1 0x01 00000456: PUSH1 0xa0 00000458: SHL 00000459: SUB 0000045a: DUP11 0000045b: AND 0000045c: PUSH0 0000045d: SWAP1 0000045e: DUP2 0000045f: MSTORE 00000460: PUSH1 0x02 00000462: PUSH1 0x20 00000464: SWAP1 00000465: DUP2 00000466: MSTORE 00000467: PUSH1 0x40 00000469: DUP1 0000046a: DUP4 0000046b: KECCAK256 0000046c: CALLER 0000046d: DUP5 0000046e: MSTORE 0000046f: SWAP1 00000470: SWAP2 00000471: MSTORE 00000472: SWAP1 00000473: KECCAK256 00000474: SLOAD 00000475: SWAP2 00000476: SWAP1 00000477: PUSH2 0x11b6 0000047a: JUMP 0000047b: JUMPDEST 0000047c: PUSH2 0x0a8d 0000047f: JUMP 00000480: JUMPDEST 00000481: POP 00000482: PUSH1 0x01 00000484: SWAP4 00000485: SWAP3 00000486: POP 00000487: POP 00000488: POP 00000489: JUMP 0000048a: JUMPDEST 0000048b: PUSH0 0000048c: SLOAD 0000048d: PUSH1 0x01 0000048f: PUSH1 0x01 00000491: PUSH1 0xa0 00000493: SHL 00000494: SUB 00000495: AND 00000496: CALLER 00000497: EQ 00000498: PUSH2 0x04bc 0000049b: JUMPI 0000049c: PUSH1 0x40 0000049e: MLOAD 0000049f: PUSH3 0x461bcd 000004a3: PUSH1 0xe5 000004a5: SHL 000004a6: DUP2 000004a7: MSTORE 000004a8: PUSH1 0x04 000004aa: ADD 000004ab: PUSH2 0x04b3 000004ae: SWAP1 000004af: PUSH2 0x1853 000004b2: JUMP 000004b3: JUMPDEST 000004b4: PUSH1 0x40 000004b6: MLOAD 000004b7: DUP1 000004b8: SWAP2 000004b9: SUB 000004ba: SWAP1 000004bb: REVERT 000004bc: JUMPDEST 000004bd: PUSH0 000004be: JUMPDEST 000004bf: DUP2 000004c0: MLOAD 000004c1: DUP2 000004c2: LT 000004c3: ISZERO 000004c4: PUSH2 0x0520 000004c7: JUMPI 000004c8: PUSH0 000004c9: PUSH1 0x04 000004cb: PUSH0 000004cc: DUP5 000004cd: DUP5 000004ce: DUP2 000004cf: MLOAD 000004d0: DUP2 000004d1: LT 000004d2: PUSH2 0x04dd 000004d5: JUMPI 000004d6: PUSH2 0x04dd 000004d9: PUSH2 0x1888 000004dc: JUMP 000004dd: JUMPDEST 000004de: PUSH1 0x20 000004e0: SWAP1 000004e1: DUP2 000004e2: MUL 000004e3: SWAP2 000004e4: SWAP1 000004e5: SWAP2 000004e6: ADD 000004e7: DUP2 000004e8: ADD 000004e9: MLOAD 000004ea: PUSH1 0x01 000004ec: PUSH1 0x01 000004ee: PUSH1 0xa0 000004f0: SHL 000004f1: SUB 000004f2: AND 000004f3: DUP3 000004f4: MSTORE 000004f5: DUP2 000004f6: ADD 000004f7: SWAP2 000004f8: SWAP1 000004f9: SWAP2 000004fa: MSTORE 000004fb: PUSH1 0x40 000004fd: ADD 000004fe: PUSH0 000004ff: KECCAK256 00000500: DUP1 00000501: SLOAD 00000502: PUSH1 0xff 00000504: NOT 00000505: AND 00000506: SWAP2 00000507: ISZERO 00000508: ISZERO 00000509: SWAP2 0000050a: SWAP1 0000050b: SWAP2 0000050c: OR 0000050d: SWAP1 0000050e: SSTORE 0000050f: DUP1 00000510: PUSH2 0x0518 00000513: DUP2 00000514: PUSH2 0x189c 00000517: JUMP 00000518: JUMPDEST 00000519: SWAP2 0000051a: POP 0000051b: POP 0000051c: PUSH2 0x04be 0000051f: JUMP 00000520: JUMPDEST 00000521: POP 00000522: POP 00000523: JUMP 00000524: JUMPDEST 00000525: PUSH0 00000526: SLOAD 00000527: PUSH1 0x01 00000529: PUSH1 0x01 0000052b: PUSH1 0xa0 0000052d: SHL 0000052e: SUB 0000052f: AND 00000530: CALLER 00000531: EQ 00000532: PUSH2 0x054d 00000535: JUMPI 00000536: PUSH1 0x40 00000538: MLOAD 00000539: PUSH3 0x461bcd 0000053d: PUSH1 0xe5 0000053f: SHL 00000540: DUP2 00000541: MSTORE 00000542: PUSH1 0x04 00000544: ADD 00000545: PUSH2 0x04b3 00000548: SWAP1 00000549: PUSH2 0x1853 0000054c: JUMP 0000054d: JUMPDEST 0000054e: PUSH0 0000054f: DUP1 00000550: SLOAD 00000551: PUSH1 0x40 00000553: MLOAD 00000554: PUSH1 0x01 00000556: PUSH1 0x01 00000558: PUSH1 0xa0 0000055a: SHL 0000055b: SUB 0000055c: SWAP1 0000055d: SWAP2 0000055e: AND 0000055f: SWAP1 00000560: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000581: SWAP1 00000582: DUP4 00000583: SWAP1 00000584: LOG3 00000585: PUSH0 00000586: DUP1 00000587: SLOAD 00000588: PUSH1 0x01 0000058a: PUSH1 0x01 0000058c: PUSH1 0xa0 0000058e: SHL 0000058f: SUB 00000590: NOT 00000591: AND 00000592: SWAP1 00000593: SSTORE 00000594: JUMP 00000595: JUMPDEST 00000596: PUSH0 00000597: SLOAD 00000598: PUSH1 0x01 0000059a: PUSH1 0x01 0000059c: PUSH1 0xa0 0000059e: SHL 0000059f: SUB 000005a0: AND 000005a1: CALLER 000005a2: EQ 000005a3: PUSH2 0x05be 000005a6: JUMPI 000005a7: PUSH1 0x40 000005a9: MLOAD 000005aa: PUSH3 0x461bcd 000005ae: PUSH1 0xe5 000005b0: SHL 000005b1: DUP2 000005b2: MSTORE 000005b3: PUSH1 0x04 000005b5: ADD 000005b6: PUSH2 0x04b3 000005b9: SWAP1 000005ba: PUSH2 0x1853 000005bd: JUMP 000005be: JUMPDEST 000005bf: PUSH2 0x05ca 000005c2: PUSH1 0x09 000005c4: PUSH1 0x0a 000005c6: PUSH2 0x182e 000005c9: JUMP 000005ca: JUMPDEST 000005cb: PUSH2 0x05d8 000005ce: SWAP1 000005cf: PUSH4 0x05f5e100 000005d4: PUSH2 0x183c 000005d7: JUMP 000005d8: JUMPDEST 000005d9: PUSH1 0x0f 000005db: SSTORE 000005dc: PUSH2 0x05e7 000005df: PUSH1 0x09 000005e1: PUSH1 0x0a 000005e3: PUSH2 0x182e 000005e6: JUMP 000005e7: JUMPDEST 000005e8: PUSH2 0x05f5 000005eb: SWAP1 000005ec: PUSH4 0x05f5e100 000005f1: PUSH2 0x183c 000005f4: JUMP 000005f5: JUMPDEST 000005f6: PUSH1 0x10 000005f8: SSTORE 000005f9: PUSH32 0x947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf 0000061a: PUSH2 0x0625 0000061d: PUSH1 0x09 0000061f: PUSH1 0x0a 00000621: PUSH2 0x182e 00000624: JUMP 00000625: JUMPDEST 00000626: PUSH2 0x0633 00000629: SWAP1 0000062a: PUSH4 0x05f5e100 0000062f: PUSH2 0x183c 00000632: JUMP 00000633: JUMPDEST 00000634: PUSH1 0x40 00000636: MLOAD 00000637: SWAP1 00000638: DUP2 00000639: MSTORE 0000063a: PUSH1 0x20 0000063c: ADD 0000063d: PUSH1 0x40 0000063f: MLOAD 00000640: DUP1 00000641: SWAP2 00000642: SUB 00000643: SWAP1 00000644: LOG1 00000645: JUMP 00000646: JUMPDEST 00000647: PUSH0 00000648: PUSH2 0x03f9 0000064b: CALLER 0000064c: DUP5 0000064d: DUP5 0000064e: PUSH2 0x0bb0 00000651: JUMP 00000652: JUMPDEST 00000653: PUSH0 00000654: SLOAD 00000655: PUSH1 0x01 00000657: PUSH1 0x01 00000659: PUSH1 0xa0 0000065b: SHL 0000065c: SUB 0000065d: AND 0000065e: CALLER 0000065f: EQ 00000660: PUSH2 0x067b 00000663: JUMPI 00000664: PUSH1 0x40 00000666: MLOAD 00000667: PUSH3 0x461bcd 0000066b: PUSH1 0xe5 0000066d: SHL 0000066e: DUP2 0000066f: MSTORE 00000670: PUSH1 0x04 00000672: ADD 00000673: PUSH2 0x04b3 00000676: SWAP1 00000677: PUSH2 0x1853 0000067a: JUMP 0000067b: JUMPDEST 0000067c: PUSH1 0x14 0000067e: SLOAD 0000067f: PUSH1 0x01 00000681: PUSH1 0xa0 00000683: SHL 00000684: SWAP1 00000685: DIV 00000686: PUSH1 0xff 00000688: AND 00000689: ISZERO 0000068a: PUSH2 0x06d5 0000068d: JUMPI 0000068e: PUSH1 0x40 00000690: MLOAD 00000691: PUSH3 0x461bcd 00000695: PUSH1 0xe5 00000697: SHL 00000698: DUP2 00000699: MSTORE 0000069a: PUSH1 0x20 0000069c: PUSH1 0x04 0000069e: DUP3 0000069f: ADD 000006a0: MSTORE 000006a1: PUSH1 0x17 000006a3: PUSH1 0x24 000006a5: DUP3 000006a6: ADD 000006a7: MSTORE 000006a8: PUSH32 0x74726164696e6720697320616c7265616479206f70656e000000000000000000 000006c9: PUSH1 0x44 000006cb: DUP3 000006cc: ADD 000006cd: MSTORE 000006ce: PUSH1 0x64 000006d0: ADD 000006d1: PUSH2 0x04b3 000006d4: JUMP 000006d5: JUMPDEST 000006d6: PUSH1 0x13 000006d8: DUP1 000006d9: SLOAD 000006da: PUSH1 0x01 000006dc: PUSH1 0x01 000006de: PUSH1 0xa0 000006e0: SHL 000006e1: SUB 000006e2: NOT 000006e3: AND 000006e4: PUSH20 0x7a250d5630b4cf539739df2c5dacb4c659f2488d 000006f9: SWAP1 000006fa: DUP2 000006fb: OR 000006fc: SWAP1 000006fd: SWAP2 000006fe: SSTORE 000006ff: PUSH2 0x071e 00000702: SWAP1 00000703: ADDRESS 00000704: SWAP1 00000705: PUSH2 0x0710 00000708: PUSH1 0x09 0000070a: PUSH1 0x0a 0000070c: PUSH2 0x182e 0000070f: JUMP 00000710: JUMPDEST 00000711: PUSH2 0x047b 00000714: SWAP1 00000715: PUSH4 0x05f5e100 0000071a: PUSH2 0x183c 0000071d: JUMP 0000071e: JUMPDEST 0000071f: PUSH1 0x13 00000721: PUSH0 00000722: SWAP1 00000723: SLOAD 00000724: SWAP1 00000725: PUSH2 0x0100 00000728: EXP 00000729: SWAP1 0000072a: DIV 0000072b: PUSH1 0x01 0000072d: PUSH1 0x01 0000072f: PUSH1 0xa0 00000731: SHL 00000732: SUB 00000733: AND 00000734: PUSH1 0x01 00000736: PUSH1 0x01 00000738: PUSH1 0xa0 0000073a: SHL 0000073b: SUB 0000073c: AND 0000073d: PUSH4 0xc45a0155 00000742: PUSH1 0x40 00000744: MLOAD 00000745: DUP2 00000746: PUSH4 0xffffffff 0000074b: AND 0000074c: PUSH1 0xe0 0000074e: SHL 0000074f: DUP2 00000750: MSTORE 00000751: PUSH1 0x04 00000753: ADD 00000754: PUSH1 0x20 00000756: PUSH1 0x40 00000758: MLOAD 00000759: DUP1 0000075a: DUP4 0000075b: SUB 0000075c: DUP2 0000075d: DUP7 0000075e: GAS 0000075f: STATICCALL 00000760: ISZERO 00000761: DUP1 00000762: ISZERO 00000763: PUSH2 0x076e 00000766: JUMPI 00000767: RETURNDATASIZE 00000768: PUSH0 00000769: DUP1 0000076a: RETURNDATACOPY 0000076b: RETURNDATASIZE 0000076c: PUSH0 0000076d: REVERT 0000076e: JUMPDEST 0000076f: POP 00000770: POP 00000771: POP 00000772: POP 00000773: PUSH1 0x40 00000775: MLOAD 00000776: RETURNDATASIZE 00000777: PUSH1 0x1f 00000779: NOT 0000077a: PUSH1 0x1f 0000077c: DUP3 0000077d: ADD 0000077e: AND 0000077f: DUP3 00000780: ADD 00000781: DUP1 00000782: PUSH1 0x40 00000784: MSTORE 00000785: POP 00000786: DUP2 00000787: ADD 00000788: SWAP1 00000789: PUSH2 0x0792 0000078c: SWAP2 0000078d: SWAP1 0000078e: PUSH2 0x18b4 00000791: JUMP 00000792: JUMPDEST 00000793: PUSH1 0x01 00000795: PUSH1 0x01 00000797: PUSH1 0xa0 00000799: SHL 0000079a: SUB 0000079b: AND 0000079c: PUSH4 0xc9c65396 000007a1: ADDRESS 000007a2: PUSH1 0x13 000007a4: PUSH0 000007a5: SWAP1 000007a6: SLOAD 000007a7: SWAP1 000007a8: PUSH2 0x0100 000007ab: EXP 000007ac: SWAP1 000007ad: DIV 000007ae: PUSH1 0x01 000007b0: PUSH1 0x01 000007b2: PUSH1 0xa0 000007b4: SHL 000007b5: SUB 000007b6: AND 000007b7: PUSH1 0x01 000007b9: PUSH1 0x01 000007bb: PUSH1 0xa0 000007bd: SHL 000007be: SUB 000007bf: AND 000007c0: PUSH4 0xad5c4648 000007c5: PUSH1 0x40 000007c7: MLOAD 000007c8: DUP2 000007c9: PUSH4 0xffffffff 000007ce: AND 000007cf: PUSH1 0xe0 000007d1: SHL 000007d2: DUP2 000007d3: MSTORE 000007d4: PUSH1 0x04 000007d6: ADD 000007d7: PUSH1 0x20 000007d9: PUSH1 0x40 000007db: MLOAD 000007dc: DUP1 000007dd: DUP4 000007de: SUB 000007df: DUP2 000007e0: DUP7 000007e1: GAS 000007e2: STATICCALL 000007e3: ISZERO 000007e4: DUP1 000007e5: ISZERO 000007e6: PUSH2 0x07f1 000007e9: JUMPI 000007ea: RETURNDATASIZE 000007eb: PUSH0 000007ec: DUP1 000007ed: RETURNDATACOPY 000007ee: RETURNDATASIZE 000007ef: PUSH0 000007f0: REVERT 000007f1: JUMPDEST 000007f2: POP 000007f3: POP 000007f4: POP 000007f5: POP 000007f6: PUSH1 0x40 000007f8: MLOAD 000007f9: RETURNDATASIZE 000007fa: PUSH1 0x1f 000007fc: NOT 000007fd: PUSH1 0x1f 000007ff: DUP3 00000800: ADD 00000801: AND 00000802: DUP3 00000803: ADD 00000804: DUP1 00000805: PUSH1 0x40 00000807: MSTORE 00000808: POP 00000809: DUP2 0000080a: ADD 0000080b: SWAP1 0000080c: PUSH2 0x0815 0000080f: SWAP2 00000810: SWAP1 00000811: PUSH2 0x18b4 00000814: JUMP 00000815: JUMPDEST 00000816: PUSH1 0x40 00000818: MLOAD 00000819: PUSH1 0x01 0000081b: PUSH1 0x01 0000081d: PUSH1 0xe0 0000081f: SHL 00000820: SUB 00000821: NOT 00000822: PUSH1 0xe0 00000824: DUP6 00000825: SWAP1 00000826: SHL 00000827: AND 00000828: DUP2 00000829: MSTORE 0000082a: PUSH1 0x01 0000082c: PUSH1 0x01 0000082e: PUSH1 0xa0 00000830: SHL 00000831: SUB 00000832: SWAP3 00000833: DUP4 00000834: AND 00000835: PUSH1 0x04 00000837: DUP3 00000838: ADD 00000839: MSTORE 0000083a: SWAP2 0000083b: AND 0000083c: PUSH1 0x24 0000083e: DUP3 0000083f: ADD 00000840: MSTORE 00000841: PUSH1 0x44 00000843: ADD 00000844: PUSH1 0x20 00000846: PUSH1 0x40 00000848: MLOAD 00000849: DUP1 0000084a: DUP4 0000084b: SUB 0000084c: DUP2 0000084d: PUSH0 0000084e: DUP8 0000084f: GAS 00000850: CALL 00000851: ISZERO 00000852: DUP1 00000853: ISZERO 00000854: PUSH2 0x085f 00000857: JUMPI 00000858: RETURNDATASIZE 00000859: PUSH0 0000085a: DUP1 0000085b: RETURNDATACOPY 0000085c: RETURNDATASIZE 0000085d: PUSH0 0000085e: REVERT 0000085f: JUMPDEST 00000860: POP 00000861: POP 00000862: POP 00000863: POP 00000864: PUSH1 0x40 00000866: MLOAD 00000867: RETURNDATASIZE 00000868: PUSH1 0x1f 0000086a: NOT 0000086b: PUSH1 0x1f 0000086d: DUP3 0000086e: ADD 0000086f: AND 00000870: DUP3 00000871: ADD 00000872: DUP1 00000873: PUSH1 0x40 00000875: MSTORE 00000876: POP 00000877: DUP2 00000878: ADD 00000879: SWAP1 0000087a: PUSH2 0x0883 0000087d: SWAP2 0000087e: SWAP1 0000087f: PUSH2 0x18b4 00000882: JUMP 00000883: JUMPDEST 00000884: PUSH1 0x14 00000886: DUP1 00000887: SLOAD 00000888: PUSH1 0x01 0000088a: PUSH1 0x01 0000088c: PUSH1 0xa0 0000088e: SHL 0000088f: SUB 00000890: SWAP3 00000891: DUP4 00000892: AND 00000893: PUSH1 0x01 00000895: PUSH1 0x01 00000897: PUSH1 0xa0 00000899: SHL 0000089a: SUB 0000089b: NOT 0000089c: SWAP1 0000089d: SWAP2 0000089e: AND 0000089f: OR 000008a0: SWAP1 000008a1: SSTORE 000008a2: PUSH1 0x13 000008a4: SLOAD 000008a5: AND 000008a6: PUSH4 0xf305d719 000008ab: SELFBALANCE 000008ac: ADDRESS 000008ad: PUSH2 0x08ca 000008b0: DUP2 000008b1: PUSH1 0x01 000008b3: PUSH1 0x01 000008b5: PUSH1 0xa0 000008b7: SHL 000008b8: SUB 000008b9: AND 000008ba: PUSH0 000008bb: SWAP1 000008bc: DUP2 000008bd: MSTORE 000008be: PUSH1 0x01 000008c0: PUSH1 0x20 000008c2: MSTORE 000008c3: PUSH1 0x40 000008c5: SWAP1 000008c6: KECCAK256 000008c7: SLOAD 000008c8: SWAP1 000008c9: JUMP 000008ca: JUMPDEST 000008cb: PUSH0 000008cc: DUP1 000008cd: PUSH2 0x08dd 000008d0: PUSH0 000008d1: SLOAD 000008d2: PUSH1 0x01 000008d4: PUSH1 0x01 000008d6: PUSH1 0xa0 000008d8: SHL 000008d9: SUB 000008da: AND 000008db: SWAP1 000008dc: JUMP 000008dd: JUMPDEST 000008de: PUSH1 0x40 000008e0: MLOAD 000008e1: PUSH1 0xe0 000008e3: DUP9 000008e4: SWAP1 000008e5: SHL 000008e6: PUSH1 0x01 000008e8: PUSH1 0x01 000008ea: PUSH1 0xe0 000008ec: SHL 000008ed: SUB 000008ee: NOT 000008ef: AND 000008f0: DUP2 000008f1: MSTORE 000008f2: PUSH1 0x01 000008f4: PUSH1 0x01 000008f6: PUSH1 0xa0 000008f8: SHL 000008f9: SUB 000008fa: SWAP6 000008fb: DUP7 000008fc: AND 000008fd: PUSH1 0x04 000008ff: DUP3 00000900: ADD 00000901: MSTORE 00000902: PUSH1 0x24 00000904: DUP2 00000905: ADD 00000906: SWAP5 00000907: SWAP1 00000908: SWAP5 00000909: MSTORE 0000090a: PUSH1 0x44 0000090c: DUP5 0000090d: ADD 0000090e: SWAP3 0000090f: SWAP1 00000910: SWAP3 00000911: MSTORE 00000912: PUSH1 0x64 00000914: DUP4 00000915: ADD 00000916: MSTORE 00000917: SWAP1 00000918: SWAP2 00000919: AND 0000091a: PUSH1 0x84 0000091c: DUP3 0000091d: ADD 0000091e: MSTORE 0000091f: TIMESTAMP 00000920: PUSH1 0xa4 00000922: DUP3 00000923: ADD 00000924: MSTORE 00000925: PUSH1 0xc4 00000927: ADD 00000928: PUSH1 0x60 0000092a: PUSH1 0x40 0000092c: MLOAD 0000092d: DUP1 0000092e: DUP4 0000092f: SUB 00000930: DUP2 00000931: DUP6 00000932: DUP9 00000933: GAS 00000934: CALL 00000935: ISZERO 00000936: DUP1 00000937: ISZERO 00000938: PUSH2 0x0943 0000093b: JUMPI 0000093c: RETURNDATASIZE 0000093d: PUSH0 0000093e: DUP1 0000093f: RETURNDATACOPY 00000940: RETURNDATASIZE 00000941: PUSH0 00000942: REVERT 00000943: JUMPDEST 00000944: POP 00000945: POP 00000946: POP 00000947: POP 00000948: POP 00000949: PUSH1 0x40 0000094b: MLOAD 0000094c: RETURNDATASIZE 0000094d: PUSH1 0x1f 0000094f: NOT 00000950: PUSH1 0x1f 00000952: DUP3 00000953: ADD 00000954: AND 00000955: DUP3 00000956: ADD 00000957: DUP1 00000958: PUSH1 0x40 0000095a: MSTORE 0000095b: POP 0000095c: DUP2 0000095d: ADD 0000095e: SWAP1 0000095f: PUSH2 0x0968 00000962: SWAP2 00000963: SWAP1 00000964: PUSH2 0x18cf 00000967: JUMP 00000968: JUMPDEST 00000969: POP 0000096a: POP 0000096b: PUSH1 0x14 0000096d: SLOAD 0000096e: PUSH1 0x13 00000970: SLOAD 00000971: PUSH1 0x40 00000973: MLOAD 00000974: PUSH4 0x095ea7b3 00000979: PUSH1 0xe0 0000097b: SHL 0000097c: DUP2 0000097d: MSTORE 0000097e: PUSH1 0x01 00000980: PUSH1 0x01 00000982: PUSH1 0xa0 00000984: SHL 00000985: SUB 00000986: SWAP2 00000987: DUP3 00000988: AND 00000989: PUSH1 0x04 0000098b: DUP3 0000098c: ADD 0000098d: MSTORE 0000098e: PUSH0 0000098f: NOT 00000990: PUSH1 0x24 00000992: DUP3 00000993: ADD 00000994: MSTORE 00000995: SWAP2 00000996: AND 00000997: SWAP2 00000998: POP 00000999: PUSH4 0x095ea7b3 0000099e: SWAP1 0000099f: PUSH1 0x44 000009a1: ADD 000009a2: PUSH1 0x20 000009a4: PUSH1 0x40 000009a6: MLOAD 000009a7: DUP1 000009a8: DUP4 000009a9: SUB 000009aa: DUP2 000009ab: PUSH0 000009ac: DUP8 000009ad: GAS 000009ae: CALL 000009af: ISZERO 000009b0: DUP1 000009b1: ISZERO 000009b2: PUSH2 0x09bd 000009b5: JUMPI 000009b6: RETURNDATASIZE 000009b7: PUSH0 000009b8: DUP1 000009b9: RETURNDATACOPY 000009ba: RETURNDATASIZE 000009bb: PUSH0 000009bc: REVERT 000009bd: JUMPDEST 000009be: POP 000009bf: POP 000009c0: POP 000009c1: POP 000009c2: PUSH1 0x40 000009c4: MLOAD 000009c5: RETURNDATASIZE 000009c6: PUSH1 0x1f 000009c8: NOT 000009c9: PUSH1 0x1f 000009cb: DUP3 000009cc: ADD 000009cd: AND 000009ce: DUP3 000009cf: ADD 000009d0: DUP1 000009d1: PUSH1 0x40 000009d3: MSTORE 000009d4: POP 000009d5: DUP2 000009d6: ADD 000009d7: SWAP1 000009d8: PUSH2 0x09e1 000009db: SWAP2 000009dc: SWAP1 000009dd: PUSH2 0x18fa 000009e0: JUMP 000009e1: JUMPDEST 000009e2: POP 000009e3: PUSH1 0x14 000009e5: DUP1 000009e6: SLOAD 000009e7: PUSH3 0xff00ff 000009eb: PUSH1 0xa0 000009ed: SHL 000009ee: NOT 000009ef: AND 000009f0: PUSH3 0x010001 000009f4: PUSH1 0xa0 000009f6: SHL 000009f7: OR 000009f8: SWAP1 000009f9: SSTORE 000009fa: NUMBER 000009fb: PUSH1 0x06 000009fd: SSTORE 000009fe: JUMP 000009ff: JUMPDEST 00000a00: PUSH0 00000a01: SLOAD 00000a02: PUSH1 0x01 00000a04: PUSH1 0x01 00000a06: PUSH1 0xa0 00000a08: SHL 00000a09: SUB 00000a0a: AND 00000a0b: CALLER 00000a0c: EQ 00000a0d: PUSH2 0x0a28 00000a10: JUMPI 00000a11: PUSH1 0x40 00000a13: MLOAD 00000a14: PUSH3 0x461bcd 00000a18: PUSH1 0xe5 00000a1a: SHL 00000a1b: DUP2 00000a1c: MSTORE 00000a1d: PUSH1 0x04 00000a1f: ADD 00000a20: PUSH2 0x04b3 00000a23: SWAP1 00000a24: PUSH2 0x1853 00000a27: JUMP 00000a28: JUMPDEST 00000a29: PUSH0 00000a2a: JUMPDEST 00000a2b: DUP2 00000a2c: MLOAD 00000a2d: DUP2 00000a2e: LT 00000a2f: ISZERO 00000a30: PUSH2 0x0520 00000a33: JUMPI 00000a34: PUSH1 0x01 00000a36: PUSH1 0x04 00000a38: PUSH0 00000a39: DUP5 00000a3a: DUP5 00000a3b: DUP2 00000a3c: MLOAD 00000a3d: DUP2 00000a3e: LT 00000a3f: PUSH2 0x0a4a 00000a42: JUMPI 00000a43: PUSH2 0x0a4a 00000a46: PUSH2 0x1888 00000a49: JUMP 00000a4a: JUMPDEST 00000a4b: PUSH1 0x20 00000a4d: SWAP1 00000a4e: DUP2 00000a4f: MUL 00000a50: SWAP2 00000a51: SWAP1 00000a52: SWAP2 00000a53: ADD 00000a54: DUP2 00000a55: ADD 00000a56: MLOAD 00000a57: PUSH1 0x01 00000a59: PUSH1 0x01 00000a5b: PUSH1 0xa0 00000a5d: SHL 00000a5e: SUB 00000a5f: AND 00000a60: DUP3 00000a61: MSTORE 00000a62: DUP2 00000a63: ADD 00000a64: SWAP2 00000a65: SWAP1 00000a66: SWAP2 00000a67: MSTORE 00000a68: PUSH1 0x40 00000a6a: ADD 00000a6b: PUSH0 00000a6c: KECCAK256 00000a6d: DUP1 00000a6e: SLOAD 00000a6f: PUSH1 0xff 00000a71: NOT 00000a72: AND 00000a73: SWAP2 00000a74: ISZERO 00000a75: ISZERO 00000a76: SWAP2 00000a77: SWAP1 00000a78: SWAP2 00000a79: OR 00000a7a: SWAP1 00000a7b: SSTORE 00000a7c: DUP1 00000a7d: PUSH2 0x0a85 00000a80: DUP2 00000a81: PUSH2 0x189c 00000a84: JUMP 00000a85: JUMPDEST 00000a86: SWAP2 00000a87: POP 00000a88: POP 00000a89: PUSH2 0x0a2a 00000a8c: JUMP 00000a8d: JUMPDEST 00000a8e: PUSH1 0x01 00000a90: PUSH1 0x01 00000a92: PUSH1 0xa0 00000a94: SHL 00000a95: SUB 00000a96: DUP4 00000a97: AND 00000a98: PUSH2 0x0aef 00000a9b: JUMPI 00000a9c: PUSH1 0x40 00000a9e: MLOAD 00000a9f: PUSH3 0x461bcd 00000aa3: PUSH1 0xe5 00000aa5: SHL 00000aa6: DUP2 00000aa7: MSTORE 00000aa8: PUSH1 0x20 00000aaa: PUSH1 0x04 00000aac: DUP3 00000aad: ADD 00000aae: MSTORE 00000aaf: PUSH1 0x24 00000ab1: DUP1 00000ab2: DUP3 00000ab3: ADD 00000ab4: MSTORE 00000ab5: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464 00000ad6: PUSH1 0x44 00000ad8: DUP3 00000ad9: ADD 00000ada: MSTORE 00000adb: PUSH4 0x72657373 00000ae0: PUSH1 0xe0 00000ae2: SHL 00000ae3: PUSH1 0x64 00000ae5: DUP3 00000ae6: ADD 00000ae7: MSTORE 00000ae8: PUSH1 0x84 00000aea: ADD 00000aeb: PUSH2 0x04b3 00000aee: JUMP 00000aef: JUMPDEST 00000af0: PUSH1 0x01 00000af2: PUSH1 0x01 00000af4: PUSH1 0xa0 00000af6: SHL 00000af7: SUB 00000af8: DUP3 00000af9: AND 00000afa: PUSH2 0x0b50 00000afd: JUMPI 00000afe: PUSH1 0x40 00000b00: MLOAD 00000b01: PUSH3 0x461bcd 00000b05: PUSH1 0xe5 00000b07: SHL 00000b08: DUP2 00000b09: MSTORE 00000b0a: PUSH1 0x20 00000b0c: PUSH1 0x04 00000b0e: DUP3 00000b0f: ADD 00000b10: MSTORE 00000b11: PUSH1 0x22 00000b13: PUSH1 0x24 00000b15: DUP3 00000b16: ADD 00000b17: MSTORE 00000b18: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265 00000b39: PUSH1 0x44 00000b3b: DUP3 00000b3c: ADD 00000b3d: MSTORE 00000b3e: PUSH2 0x7373 00000b41: PUSH1 0xf0 00000b43: SHL 00000b44: PUSH1 0x64 00000b46: DUP3 00000b47: ADD 00000b48: MSTORE 00000b49: PUSH1 0x84 00000b4b: ADD 00000b4c: PUSH2 0x04b3 00000b4f: JUMP 00000b50: JUMPDEST 00000b51: PUSH1 0x01 00000b53: PUSH1 0x01 00000b55: PUSH1 0xa0 00000b57: SHL 00000b58: SUB 00000b59: DUP4 00000b5a: DUP2 00000b5b: AND 00000b5c: PUSH0 00000b5d: DUP2 00000b5e: DUP2 00000b5f: MSTORE 00000b60: PUSH1 0x02 00000b62: PUSH1 0x20 00000b64: SWAP1 00000b65: DUP2 00000b66: MSTORE 00000b67: PUSH1 0x40 00000b69: DUP1 00000b6a: DUP4 00000b6b: KECCAK256 00000b6c: SWAP5 00000b6d: DUP8 00000b6e: AND 00000b6f: DUP1 00000b70: DUP5 00000b71: MSTORE 00000b72: SWAP5 00000b73: DUP3 00000b74: MSTORE 00000b75: SWAP2 00000b76: DUP3 00000b77: SWAP1 00000b78: KECCAK256 00000b79: DUP6 00000b7a: SWAP1 00000b7b: SSTORE 00000b7c: SWAP1 00000b7d: MLOAD 00000b7e: DUP5 00000b7f: DUP2 00000b80: MSTORE 00000b81: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000ba2: SWAP2 00000ba3: ADD 00000ba4: PUSH1 0x40 00000ba6: MLOAD 00000ba7: DUP1 00000ba8: SWAP2 00000ba9: SUB 00000baa: SWAP1 00000bab: LOG3 00000bac: POP 00000bad: POP 00000bae: POP 00000baf: JUMP 00000bb0: JUMPDEST 00000bb1: PUSH1 0x01 00000bb3: PUSH1 0x01 00000bb5: PUSH1 0xa0 00000bb7: SHL 00000bb8: SUB 00000bb9: DUP4 00000bba: AND 00000bbb: PUSH2 0x0c14 00000bbe: JUMPI 00000bbf: PUSH1 0x40 00000bc1: MLOAD 00000bc2: PUSH3 0x461bcd 00000bc6: PUSH1 0xe5 00000bc8: SHL 00000bc9: DUP2 00000bca: MSTORE 00000bcb: PUSH1 0x20 00000bcd: PUSH1 0x04 00000bcf: DUP3 00000bd0: ADD 00000bd1: MSTORE 00000bd2: PUSH1 0x25 00000bd4: PUSH1 0x24 00000bd6: DUP3 00000bd7: ADD 00000bd8: MSTORE 00000bd9: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164 00000bfa: PUSH1 0x44 00000bfc: DUP3 00000bfd: ADD 00000bfe: MSTORE 00000bff: PUSH5 0x6472657373 00000c05: PUSH1 0xd8 00000c07: SHL 00000c08: PUSH1 0x64 00000c0a: DUP3 00000c0b: ADD 00000c0c: MSTORE 00000c0d: PUSH1 0x84 00000c0f: ADD 00000c10: PUSH2 0x04b3 00000c13: JUMP 00000c14: JUMPDEST 00000c15: PUSH1 0x01 00000c17: PUSH1 0x01 00000c19: PUSH1 0xa0 00000c1b: SHL 00000c1c: SUB 00000c1d: DUP3 00000c1e: AND 00000c1f: PUSH2 0x0c76 00000c22: JUMPI 00000c23: PUSH1 0x40 00000c25: MLOAD 00000c26: PUSH3 0x461bcd 00000c2a: PUSH1 0xe5 00000c2c: SHL 00000c2d: DUP2 00000c2e: MSTORE 00000c2f: PUSH1 0x20 00000c31: PUSH1 0x04 00000c33: DUP3 00000c34: ADD 00000c35: MSTORE 00000c36: PUSH1 0x23 00000c38: PUSH1 0x24 00000c3a: DUP3 00000c3b: ADD 00000c3c: MSTORE 00000c3d: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472 00000c5e: PUSH1 0x44 00000c60: DUP3 00000c61: ADD 00000c62: MSTORE 00000c63: PUSH3 0x657373 00000c67: PUSH1 0xe8 00000c69: SHL 00000c6a: PUSH1 0x64 00000c6c: DUP3 00000c6d: ADD 00000c6e: MSTORE 00000c6f: PUSH1 0x84 00000c71: ADD 00000c72: PUSH2 0x04b3 00000c75: JUMP 00000c76: JUMPDEST 00000c77: PUSH0 00000c78: DUP2 00000c79: GT 00000c7a: PUSH2 0x0cd7 00000c7d: JUMPI 00000c7e: PUSH1 0x40 00000c80: MLOAD 00000c81: PUSH3 0x461bcd 00000c85: PUSH1 0xe5 00000c87: SHL 00000c88: DUP2 00000c89: MSTORE 00000c8a: PUSH1 0x20 00000c8c: PUSH1 0x04 00000c8e: DUP3 00000c8f: ADD 00000c90: MSTORE 00000c91: PUSH1 0x29 00000c93: PUSH1 0x24 00000c95: DUP3 00000c96: ADD 00000c97: MSTORE 00000c98: PUSH32 0x5472616e7366657220616d6f756e74206d757374206265206772656174657220 00000cb9: PUSH1 0x44 00000cbb: DUP3 00000cbc: ADD 00000cbd: MSTORE 00000cbe: PUSH9 0x7468616e207a65726f 00000cc8: PUSH1 0xb8 00000cca: SHL 00000ccb: PUSH1 0x64 00000ccd: DUP3 00000cce: ADD 00000ccf: MSTORE 00000cd0: PUSH1 0x84 00000cd2: ADD 00000cd3: PUSH2 0x04b3 00000cd6: JUMP 00000cd7: JUMPDEST 00000cd8: PUSH0 00000cd9: DUP1 00000cda: SLOAD 00000cdb: PUSH1 0x01 00000cdd: PUSH1 0x01 00000cdf: PUSH1 0xa0 00000ce1: SHL 00000ce2: SUB 00000ce3: DUP6 00000ce4: DUP2 00000ce5: AND 00000ce6: SWAP2 00000ce7: AND 00000ce8: EQ 00000ce9: DUP1 00000cea: ISZERO 00000ceb: SWAP1 00000cec: PUSH2 0x0d02 00000cef: JUMPI 00000cf0: POP 00000cf1: PUSH0 00000cf2: SLOAD 00000cf3: PUSH1 0x01 00000cf5: PUSH1 0x01 00000cf7: PUSH1 0xa0 00000cf9: SHL 00000cfa: SUB 00000cfb: DUP5 00000cfc: DUP2 00000cfd: AND 00000cfe: SWAP2 00000cff: AND 00000d00: EQ 00000d01: ISZERO 00000d02: JUMPDEST 00000d03: ISZERO 00000d04: PUSH2 0x1079 00000d07: JUMPI 00000d08: PUSH1 0x01 00000d0a: PUSH1 0x01 00000d0c: PUSH1 0xa0 00000d0e: SHL 00000d0f: SUB 00000d10: DUP5 00000d11: AND 00000d12: PUSH0 00000d13: SWAP1 00000d14: DUP2 00000d15: MSTORE 00000d16: PUSH1 0x04 00000d18: PUSH1 0x20 00000d1a: MSTORE 00000d1b: PUSH1 0x40 00000d1d: SWAP1 00000d1e: KECCAK256 00000d1f: SLOAD 00000d20: PUSH1 0xff 00000d22: AND 00000d23: ISZERO 00000d24: DUP1 00000d25: ISZERO 00000d26: PUSH2 0x0d47 00000d29: JUMPI 00000d2a: POP 00000d2b: PUSH1 0x01 00000d2d: PUSH1 0x01 00000d2f: PUSH1 0xa0 00000d31: SHL 00000d32: SUB 00000d33: DUP4 00000d34: AND 00000d35: PUSH0 00000d36: SWAP1 00000d37: DUP2 00000d38: MSTORE 00000d39: PUSH1 0x04 00000d3b: PUSH1 0x20 00000d3d: MSTORE 00000d3e: PUSH1 0x40 00000d40: SWAP1 00000d41: KECCAK256 00000d42: SLOAD 00000d43: PUSH1 0xff 00000d45: AND 00000d46: ISZERO 00000d47: JUMPDEST 00000d48: PUSH2 0x0d4f 00000d4b: JUMPI 00000d4c: PUSH0 00000d4d: DUP1 00000d4e: REVERT 00000d4f: JUMPDEST 00000d50: PUSH2 0x0d7b 00000d53: PUSH1 0x64 00000d55: PUSH2 0x0d75 00000d58: PUSH1 0x0b 00000d5a: SLOAD 00000d5b: PUSH1 0x0e 00000d5d: SLOAD 00000d5e: GT 00000d5f: PUSH2 0x0d6a 00000d62: JUMPI 00000d63: PUSH1 0x07 00000d65: SLOAD 00000d66: PUSH2 0x0d6e 00000d69: JUMP 00000d6a: JUMPDEST 00000d6b: PUSH1 0x09 00000d6d: SLOAD 00000d6e: JUMPDEST 00000d6f: DUP6 00000d70: SWAP1 00000d71: PUSH2 0x11ee 00000d74: JUMP 00000d75: JUMPDEST 00000d76: SWAP1 00000d77: PUSH2 0x1273 00000d7a: JUMP 00000d7b: JUMPDEST 00000d7c: PUSH1 0x14 00000d7e: SLOAD 00000d7f: SWAP1 00000d80: SWAP2 00000d81: POP 00000d82: PUSH1 0x01 00000d84: PUSH1 0x01 00000d86: PUSH1 0xa0 00000d88: SHL 00000d89: SUB 00000d8a: DUP6 00000d8b: DUP2 00000d8c: AND 00000d8d: SWAP2 00000d8e: AND 00000d8f: EQ 00000d90: DUP1 00000d91: ISZERO 00000d92: PUSH2 0x0da9 00000d95: JUMPI 00000d96: POP 00000d97: PUSH1 0x13 00000d99: SLOAD 00000d9a: PUSH1 0x01 00000d9c: PUSH1 0x01 00000d9e: PUSH1 0xa0 00000da0: SHL 00000da1: SUB 00000da2: DUP5 00000da3: DUP2 00000da4: AND 00000da5: SWAP2 00000da6: AND 00000da7: EQ 00000da8: ISZERO 00000da9: JUMPDEST 00000daa: DUP1 00000dab: ISZERO 00000dac: PUSH2 0x0dcd 00000daf: JUMPI 00000db0: POP 00000db1: PUSH1 0x01 00000db3: PUSH1 0x01 00000db5: PUSH1 0xa0 00000db7: SHL 00000db8: SUB 00000db9: DUP4 00000dba: AND 00000dbb: PUSH0 00000dbc: SWAP1 00000dbd: DUP2 00000dbe: MSTORE 00000dbf: PUSH1 0x03 00000dc1: PUSH1 0x20 00000dc3: MSTORE 00000dc4: PUSH1 0x40 00000dc6: SWAP1 00000dc7: KECCAK256 00000dc8: SLOAD 00000dc9: PUSH1 0xff 00000dcb: AND 00000dcc: ISZERO 00000dcd: JUMPDEST 00000dce: ISZERO 00000dcf: PUSH2 0x0ed4 00000dd2: JUMPI 00000dd3: PUSH1 0x0f 00000dd5: SLOAD 00000dd6: DUP3 00000dd7: GT 00000dd8: ISZERO 00000dd9: PUSH2 0x0e24 00000ddc: JUMPI 00000ddd: PUSH1 0x40 00000ddf: MLOAD 00000de0: PUSH3 0x461bcd 00000de4: PUSH1 0xe5 00000de6: SHL 00000de7: DUP2 00000de8: MSTORE 00000de9: PUSH1 0x20 00000deb: PUSH1 0x04 00000ded: DUP3 00000dee: ADD 00000def: MSTORE 00000df0: PUSH1 0x19 00000df2: PUSH1 0x24 00000df4: DUP3 00000df5: ADD 00000df6: MSTORE 00000df7: PUSH32 0x4578636565647320746865205f6d61785478416d6f756e742e00000000000000 00000e18: PUSH1 0x44 00000e1a: DUP3 00000e1b: ADD 00000e1c: MSTORE 00000e1d: PUSH1 0x64 00000e1f: ADD 00000e20: PUSH2 0x04b3 00000e23: JUMP 00000e24: JUMPDEST 00000e25: PUSH1 0x10 00000e27: SLOAD 00000e28: DUP3 00000e29: PUSH2 0x0e46 00000e2c: DUP6 00000e2d: PUSH1 0x01 00000e2f: PUSH1 0x01 00000e31: PUSH1 0xa0 00000e33: SHL 00000e34: SUB 00000e35: AND 00000e36: PUSH0 00000e37: SWAP1 00000e38: DUP2 00000e39: MSTORE 00000e3a: PUSH1 0x01 00000e3c: PUSH1 0x20 00000e3e: MSTORE 00000e3f: PUSH1 0x40 00000e41: SWAP1 00000e42: KECCAK256 00000e43: SLOAD 00000e44: SWAP1 00000e45: JUMP 00000e46: JUMPDEST 00000e47: PUSH2 0x0e50 00000e4a: SWAP2 00000e4b: SWAP1 00000e4c: PUSH2 0x1919 00000e4f: JUMP 00000e50: JUMPDEST 00000e51: GT 00000e52: ISZERO 00000e53: PUSH2 0x0e9e 00000e56: JUMPI 00000e57: PUSH1 0x40 00000e59: MLOAD 00000e5a: PUSH3 0x461bcd 00000e5e: PUSH1 0xe5 00000e60: SHL 00000e61: DUP2 00000e62: MSTORE 00000e63: PUSH1 0x20 00000e65: PUSH1 0x04 00000e67: DUP3 00000e68: ADD 00000e69: MSTORE 00000e6a: PUSH1 0x1a 00000e6c: PUSH1 0x24 00000e6e: DUP3 00000e6f: ADD 00000e70: MSTORE 00000e71: PUSH32 0x4578636565647320746865206d617857616c6c657453697a652e000000000000 00000e92: PUSH1 0x44 00000e94: DUP3 00000e95: ADD 00000e96: MSTORE 00000e97: PUSH1 0x64 00000e99: ADD 00000e9a: PUSH2 0x04b3 00000e9d: JUMP 00000e9e: JUMPDEST 00000e9f: NUMBER 00000ea0: PUSH1 0x06 00000ea2: SLOAD 00000ea3: PUSH1 0x03 00000ea5: PUSH2 0x0eae 00000ea8: SWAP2 00000ea9: SWAP1 00000eaa: PUSH2 0x1919 00000ead: JUMP 00000eae: JUMPDEST 00000eaf: GT 00000eb0: ISZERO 00000eb1: PUSH2 0x0ebf 00000eb4: JUMPI 00000eb5: DUP3 00000eb6: EXTCODESIZE 00000eb7: ISZERO 00000eb8: PUSH2 0x0ebf 00000ebb: JUMPI 00000ebc: PUSH0 00000ebd: DUP1 00000ebe: REVERT 00000ebf: JUMPDEST 00000ec0: PUSH1 0x0e 00000ec2: DUP1 00000ec3: SLOAD 00000ec4: SWAP1 00000ec5: PUSH0 00000ec6: PUSH2 0x0ece 00000ec9: DUP4 00000eca: PUSH2 0x189c 00000ecd: JUMP 00000ece: JUMPDEST 00000ecf: SWAP2 00000ed0: SWAP1 00000ed1: POP 00000ed2: SSTORE 00000ed3: POP 00000ed4: JUMPDEST 00000ed5: PUSH1 0x14 00000ed7: SLOAD 00000ed8: PUSH1 0x01 00000eda: PUSH1 0x01 00000edc: PUSH1 0xa0 00000ede: SHL 00000edf: SUB 00000ee0: DUP5 00000ee1: DUP2 00000ee2: AND 00000ee3: SWAP2 00000ee4: AND 00000ee5: EQ 00000ee6: DUP1 00000ee7: ISZERO 00000ee8: SWAP1 00000ee9: PUSH2 0x0f0a 00000eec: JUMPI 00000eed: POP 00000eee: PUSH1 0x01 00000ef0: PUSH1 0x01 00000ef2: PUSH1 0xa0 00000ef4: SHL 00000ef5: SUB 00000ef6: DUP4 00000ef7: AND 00000ef8: PUSH0 00000ef9: SWAP1 00000efa: DUP2 00000efb: MSTORE 00000efc: PUSH1 0x03 00000efe: PUSH1 0x20 00000f00: MSTORE 00000f01: PUSH1 0x40 00000f03: SWAP1 00000f04: KECCAK256 00000f05: SLOAD 00000f06: PUSH1 0xff 00000f08: AND 00000f09: ISZERO 00000f0a: JUMPDEST 00000f0b: ISZERO 00000f0c: PUSH2 0x0f89 00000f0f: JUMPI 00000f10: PUSH1 0x10 00000f12: SLOAD 00000f13: DUP3 00000f14: PUSH2 0x0f31 00000f17: DUP6 00000f18: PUSH1 0x01 00000f1a: PUSH1 0x01 00000f1c: PUSH1 0xa0 00000f1e: SHL 00000f1f: SUB 00000f20: AND 00000f21: PUSH0 00000f22: SWAP1 00000f23: DUP2 00000f24: MSTORE 00000f25: PUSH1 0x01 00000f27: PUSH1 0x20 00000f29: MSTORE 00000f2a: PUSH1 0x40 00000f2c: SWAP1 00000f2d: KECCAK256 00000f2e: SLOAD 00000f2f: SWAP1 00000f30: JUMP 00000f31: JUMPDEST 00000f32: PUSH2 0x0f3b 00000f35: SWAP2 00000f36: SWAP1 00000f37: PUSH2 0x1919 00000f3a: JUMP 00000f3b: JUMPDEST 00000f3c: GT 00000f3d: ISZERO 00000f3e: PUSH2 0x0f89 00000f41: JUMPI 00000f42: PUSH1 0x40 00000f44: MLOAD 00000f45: PUSH3 0x461bcd 00000f49: PUSH1 0xe5 00000f4b: SHL 00000f4c: DUP2 00000f4d: MSTORE 00000f4e: PUSH1 0x20 00000f50: PUSH1 0x04 00000f52: DUP3 00000f53: ADD 00000f54: MSTORE 00000f55: PUSH1 0x1a 00000f57: PUSH1 0x24 00000f59: DUP3 00000f5a: ADD 00000f5b: MSTORE 00000f5c: PUSH32 0x4578636565647320746865206d617857616c6c657453697a652e000000000000 00000f7d: PUSH1 0x44 00000f7f: DUP3 00000f80: ADD 00000f81: MSTORE 00000f82: PUSH1 0x64 00000f84: ADD 00000f85: PUSH2 0x04b3 00000f88: JUMP 00000f89: JUMPDEST 00000f8a: PUSH1 0x14 00000f8c: SLOAD 00000f8d: PUSH1 0x01 00000f8f: PUSH1 0x01 00000f91: PUSH1 0xa0 00000f93: SHL 00000f94: SUB 00000f95: DUP5 00000f96: DUP2 00000f97: AND 00000f98: SWAP2 00000f99: AND 00000f9a: EQ 00000f9b: DUP1 00000f9c: ISZERO 00000f9d: PUSH2 0x0faf 00000fa0: JUMPI 00000fa1: POP 00000fa2: PUSH1 0x01 00000fa4: PUSH1 0x01 00000fa6: PUSH1 0xa0 00000fa8: SHL 00000fa9: SUB 00000faa: DUP5 00000fab: AND 00000fac: ADDRESS 00000fad: EQ 00000fae: ISZERO 00000faf: JUMPDEST 00000fb0: ISZERO 00000fb1: PUSH2 0x0fdc 00000fb4: JUMPI 00000fb5: PUSH2 0x0fd9 00000fb8: PUSH1 0x64 00000fba: PUSH2 0x0d75 00000fbd: PUSH1 0x0c 00000fbf: SLOAD 00000fc0: PUSH1 0x0e 00000fc2: SLOAD 00000fc3: GT 00000fc4: PUSH2 0x0fcf 00000fc7: JUMPI 00000fc8: PUSH1 0x08 00000fca: SLOAD 00000fcb: PUSH2 0x0d6e 00000fce: JUMP 00000fcf: JUMPDEST 00000fd0: PUSH1 0x0a 00000fd2: SLOAD 00000fd3: DUP6 00000fd4: SWAP1 00000fd5: PUSH2 0x11ee 00000fd8: JUMP 00000fd9: JUMPDEST 00000fda: SWAP1 00000fdb: POP 00000fdc: JUMPDEST 00000fdd: ADDRESS 00000fde: PUSH0 00000fdf: SWAP1 00000fe0: DUP2 00000fe1: MSTORE 00000fe2: PUSH1 0x01 00000fe4: PUSH1 0x20 00000fe6: MSTORE 00000fe7: PUSH1 0x40 00000fe9: SWAP1 00000fea: KECCAK256 00000feb: SLOAD 00000fec: PUSH1 0x14 00000fee: SLOAD 00000fef: PUSH1 0x01 00000ff1: PUSH1 0xa8 00000ff3: SHL 00000ff4: SWAP1 00000ff5: DIV 00000ff6: PUSH1 0xff 00000ff8: AND 00000ff9: ISZERO 00000ffa: DUP1 00000ffb: ISZERO 00000ffc: PUSH2 0x1012 00000fff: JUMPI 00001000: POP 00001001: PUSH1 0x14 00001003: SLOAD 00001004: PUSH1 0x01 00001006: PUSH1 0x01 00001008: PUSH1 0xa0 0000100a: SHL 0000100b: SUB 0000100c: DUP6 0000100d: DUP2 0000100e: AND 0000100f: SWAP2 00001010: AND 00001011: EQ 00001012: JUMPDEST 00001013: DUP1 00001014: ISZERO 00001015: PUSH2 0x1027 00001018: JUMPI 00001019: POP 0000101a: PUSH1 0x14 0000101c: SLOAD 0000101d: PUSH1 0x01 0000101f: PUSH1 0xb0 00001021: SHL 00001022: SWAP1 00001023: DIV 00001024: PUSH1 0xff 00001026: AND 00001027: JUMPDEST 00001028: DUP1 00001029: ISZERO 0000102a: PUSH2 0x1034 0000102d: JUMPI 0000102e: POP 0000102f: PUSH1 0x11 00001031: SLOAD 00001032: DUP2 00001033: GT 00001034: JUMPDEST 00001035: DUP1 00001036: ISZERO 00001037: PUSH2 0x1043 0000103a: JUMPI 0000103b: POP 0000103c: PUSH1 0x0d 0000103e: SLOAD 0000103f: PUSH1 0x0e 00001041: SLOAD 00001042: GT 00001043: JUMPDEST 00001044: ISZERO 00001045: PUSH2 0x1077 00001048: JUMPI 00001049: PUSH2 0x1065 0000104c: PUSH2 0x1060 0000104f: DUP5 00001050: PUSH2 0x105b 00001053: DUP5 00001054: PUSH1 0x12 00001056: SLOAD 00001057: PUSH2 0x12b4 0000105a: JUMP 0000105b: JUMPDEST 0000105c: PUSH2 0x12b4 0000105f: JUMP 00001060: JUMPDEST 00001061: PUSH2 0x12c8 00001064: JUMP 00001065: JUMPDEST 00001066: SELFBALANCE 00001067: DUP1 00001068: ISZERO 00001069: PUSH2 0x1075 0000106c: JUMPI 0000106d: PUSH2 0x1075 00001070: SELFBALANCE 00001071: PUSH2 0x1438 00001074: JUMP 00001075: JUMPDEST 00001076: POP 00001077: JUMPDEST 00001078: POP 00001079: JUMPDEST 0000107a: DUP1 0000107b: ISZERO 0000107c: PUSH2 0x10f1 0000107f: JUMPI 00001080: ADDRESS 00001081: PUSH0 00001082: SWAP1 00001083: DUP2 00001084: MSTORE 00001085: PUSH1 0x01 00001087: PUSH1 0x20 00001089: MSTORE 0000108a: PUSH1 0x40 0000108c: SWAP1 0000108d: KECCAK256 0000108e: SLOAD 0000108f: PUSH2 0x1098 00001092: SWAP1 00001093: DUP3 00001094: PUSH2 0x146f 00001097: JUMP 00001098: JUMPDEST 00001099: ADDRESS 0000109a: PUSH0 0000109b: DUP2 0000109c: DUP2 0000109d: MSTORE 0000109e: PUSH1 0x01 000010a0: PUSH1 0x20 000010a2: MSTORE 000010a3: PUSH1 0x40 000010a5: SWAP1 000010a6: DUP2 000010a7: SWAP1 000010a8: KECCAK256 000010a9: SWAP3 000010aa: SWAP1 000010ab: SWAP3 000010ac: SSTORE 000010ad: SWAP1 000010ae: MLOAD 000010af: PUSH1 0x01 000010b1: PUSH1 0x01 000010b3: PUSH1 0xa0 000010b5: SHL 000010b6: SUB 000010b7: DUP7 000010b8: AND 000010b9: SWAP1 000010ba: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000010db: SWAP1 000010dc: PUSH2 0x10e8 000010df: SWAP1 000010e0: DUP6 000010e1: DUP2 000010e2: MSTORE 000010e3: PUSH1 0x20 000010e5: ADD 000010e6: SWAP1 000010e7: JUMP 000010e8: JUMPDEST 000010e9: PUSH1 0x40 000010eb: MLOAD 000010ec: DUP1 000010ed: SWAP2 000010ee: SUB 000010ef: SWAP1 000010f0: LOG3 000010f1: JUMPDEST 000010f2: PUSH1 0x01 000010f4: PUSH1 0x01 000010f6: PUSH1 0xa0 000010f8: SHL 000010f9: SUB 000010fa: DUP5 000010fb: AND 000010fc: PUSH0 000010fd: SWAP1 000010fe: DUP2 000010ff: MSTORE 00001100: PUSH1 0x01 00001102: PUSH1 0x20 00001104: MSTORE 00001105: PUSH1 0x40 00001107: SWAP1 00001108: KECCAK256 00001109: SLOAD 0000110a: PUSH2 0x1113 0000110d: SWAP1 0000110e: DUP4 0000110f: PUSH2 0x14cd 00001112: JUMP 00001113: JUMPDEST 00001114: PUSH1 0x01 00001116: PUSH1 0x01 00001118: PUSH1 0xa0 0000111a: SHL 0000111b: SUB 0000111c: DUP6 0000111d: AND 0000111e: PUSH0 0000111f: SWAP1 00001120: DUP2 00001121: MSTORE 00001122: PUSH1 0x01 00001124: PUSH1 0x20 00001126: MSTORE 00001127: PUSH1 0x40 00001129: SWAP1 0000112a: KECCAK256 0000112b: SSTORE 0000112c: PUSH2 0x1156 0000112f: PUSH2 0x1138 00001132: DUP4 00001133: DUP4 00001134: PUSH2 0x14cd 00001137: JUMP 00001138: JUMPDEST 00001139: PUSH1 0x01 0000113b: PUSH1 0x01 0000113d: PUSH1 0xa0 0000113f: SHL 00001140: SUB 00001141: DUP6 00001142: AND 00001143: PUSH0 00001144: SWAP1 00001145: DUP2 00001146: MSTORE 00001147: PUSH1 0x01 00001149: PUSH1 0x20 0000114b: MSTORE 0000114c: PUSH1 0x40 0000114e: SWAP1 0000114f: KECCAK256 00001150: SLOAD 00001151: SWAP1 00001152: PUSH2 0x146f 00001155: JUMP 00001156: JUMPDEST 00001157: PUSH1 0x01 00001159: PUSH1 0x01 0000115b: PUSH1 0xa0 0000115d: SHL 0000115e: SUB 0000115f: DUP1 00001160: DUP6 00001161: AND 00001162: PUSH0 00001163: DUP2 00001164: DUP2 00001165: MSTORE 00001166: PUSH1 0x01 00001168: PUSH1 0x20 0000116a: MSTORE 0000116b: PUSH1 0x40 0000116d: SWAP1 0000116e: KECCAK256 0000116f: SWAP3 00001170: SWAP1 00001171: SWAP3 00001172: SSTORE 00001173: DUP6 00001174: AND 00001175: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001196: PUSH2 0x119f 00001199: DUP6 0000119a: DUP6 0000119b: PUSH2 0x14cd 0000119e: JUMP 0000119f: JUMPDEST 000011a0: PUSH1 0x40 000011a2: MLOAD 000011a3: SWAP1 000011a4: DUP2 000011a5: MSTORE 000011a6: PUSH1 0x20 000011a8: ADD 000011a9: PUSH1 0x40 000011ab: MLOAD 000011ac: DUP1 000011ad: SWAP2 000011ae: SUB 000011af: SWAP1 000011b0: LOG3 000011b1: POP 000011b2: POP 000011b3: POP 000011b4: POP 000011b5: JUMP 000011b6: JUMPDEST 000011b7: PUSH0 000011b8: DUP2 000011b9: DUP5 000011ba: DUP5 000011bb: GT 000011bc: ISZERO 000011bd: PUSH2 0x11d9 000011c0: JUMPI 000011c1: PUSH1 0x40 000011c3: MLOAD 000011c4: PUSH3 0x461bcd 000011c8: PUSH1 0xe5 000011ca: SHL 000011cb: DUP2 000011cc: MSTORE 000011cd: PUSH1 0x04 000011cf: ADD 000011d0: PUSH2 0x04b3 000011d3: SWAP2 000011d4: SWAP1 000011d5: PUSH2 0x153a 000011d8: JUMP 000011d9: JUMPDEST 000011da: POP 000011db: PUSH0 000011dc: PUSH2 0x11e5 000011df: DUP5 000011e0: DUP7 000011e1: PUSH2 0x192c 000011e4: JUMP 000011e5: JUMPDEST 000011e6: SWAP6 000011e7: SWAP5 000011e8: POP 000011e9: POP 000011ea: POP 000011eb: POP 000011ec: POP 000011ed: JUMP 000011ee: JUMPDEST 000011ef: PUSH0 000011f0: DUP3 000011f1: PUSH0 000011f2: SUB 000011f3: PUSH2 0x11fd 000011f6: JUMPI 000011f7: POP 000011f8: PUSH0 000011f9: PUSH2 0x03fd 000011fc: JUMP 000011fd: JUMPDEST 000011fe: PUSH0 000011ff: PUSH2 0x1208 00001202: DUP4 00001203: DUP6 00001204: PUSH2 0x183c 00001207: JUMP 00001208: JUMPDEST 00001209: SWAP1 0000120a: POP 0000120b: DUP3 0000120c: PUSH2 0x1215 0000120f: DUP6 00001210: DUP4 00001211: PUSH2 0x193f 00001214: JUMP 00001215: JUMPDEST 00001216: EQ 00001217: PUSH2 0x126c 0000121a: JUMPI 0000121b: PUSH1 0x40 0000121d: MLOAD 0000121e: PUSH3 0x461bcd 00001222: PUSH1 0xe5 00001224: SHL 00001225: DUP2 00001226: MSTORE 00001227: PUSH1 0x20 00001229: PUSH1 0x04 0000122b: DUP3 0000122c: ADD 0000122d: MSTORE 0000122e: PUSH1 0x21 00001230: PUSH1 0x24 00001232: DUP3 00001233: ADD 00001234: MSTORE 00001235: PUSH32 0x536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f 00001256: PUSH1 0x44 00001258: DUP3 00001259: ADD 0000125a: MSTORE 0000125b: PUSH1 0x77 0000125d: PUSH1 0xf8 0000125f: SHL 00001260: PUSH1 0x64 00001262: DUP3 00001263: ADD 00001264: MSTORE 00001265: PUSH1 0x84 00001267: ADD 00001268: PUSH2 0x04b3 0000126b: JUMP 0000126c: JUMPDEST 0000126d: SWAP4 0000126e: SWAP3 0000126f: POP 00001270: POP 00001271: POP 00001272: JUMP 00001273: JUMPDEST 00001274: PUSH0 00001275: PUSH2 0x126c 00001278: DUP4 00001279: DUP4 0000127a: PUSH1 0x40 0000127c: MLOAD 0000127d: DUP1 0000127e: PUSH1 0x40 00001280: ADD 00001281: PUSH1 0x40 00001283: MSTORE 00001284: DUP1 00001285: PUSH1 0x1a 00001287: DUP2 00001288: MSTORE 00001289: PUSH1 0x20 0000128b: ADD 0000128c: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000 000012ad: DUP2 000012ae: MSTORE 000012af: POP 000012b0: PUSH2 0x150e 000012b3: JUMP 000012b4: JUMPDEST 000012b5: PUSH0 000012b6: DUP2 000012b7: DUP4 000012b8: GT 000012b9: PUSH2 0x12c2 000012bc: JUMPI 000012bd: DUP3 000012be: PUSH2 0x126c 000012c1: JUMP 000012c2: JUMPDEST 000012c3: POP 000012c4: SWAP2 000012c5: SWAP1 000012c6: POP 000012c7: JUMP 000012c8: JUMPDEST 000012c9: PUSH1 0x14 000012cb: DUP1 000012cc: SLOAD 000012cd: PUSH1 0xff 000012cf: PUSH1 0xa8 000012d1: SHL 000012d2: NOT 000012d3: AND 000012d4: PUSH1 0x01 000012d6: PUSH1 0xa8 000012d8: SHL 000012d9: OR 000012da: SWAP1 000012db: SSTORE 000012dc: PUSH1 0x40 000012de: DUP1 000012df: MLOAD 000012e0: PUSH1 0x02 000012e2: DUP1 000012e3: DUP3 000012e4: MSTORE 000012e5: PUSH1 0x60 000012e7: DUP3 000012e8: ADD 000012e9: DUP4 000012ea: MSTORE 000012eb: PUSH0 000012ec: SWAP3 000012ed: PUSH1 0x20 000012ef: DUP4 000012f0: ADD 000012f1: SWAP1 000012f2: DUP1 000012f3: CALLDATASIZE 000012f4: DUP4 000012f5: CALLDATACOPY 000012f6: ADD 000012f7: SWAP1 000012f8: POP 000012f9: POP 000012fa: SWAP1 000012fb: POP 000012fc: ADDRESS 000012fd: DUP2 000012fe: PUSH0 000012ff: DUP2 00001300: MLOAD 00001301: DUP2 00001302: LT 00001303: PUSH2 0x130e 00001306: JUMPI 00001307: PUSH2 0x130e 0000130a: PUSH2 0x1888 0000130d: JUMP 0000130e: JUMPDEST 0000130f: PUSH1 0x01 00001311: PUSH1 0x01 00001313: PUSH1 0xa0 00001315: SHL 00001316: SUB 00001317: SWAP3 00001318: DUP4 00001319: AND 0000131a: PUSH1 0x20 0000131c: SWAP2 0000131d: DUP3 0000131e: MUL 0000131f: SWAP3 00001320: SWAP1 00001321: SWAP3 00001322: ADD 00001323: DUP2 00001324: ADD 00001325: SWAP2 00001326: SWAP1 00001327: SWAP2 00001328: MSTORE 00001329: PUSH1 0x13 0000132b: SLOAD 0000132c: PUSH1 0x40 0000132e: DUP1 0000132f: MLOAD 00001330: PUSH4 0x15ab88c9 00001335: PUSH1 0xe3 00001337: SHL 00001338: DUP2 00001339: MSTORE 0000133a: SWAP1 0000133b: MLOAD 0000133c: SWAP2 0000133d: SWAP1 0000133e: SWAP4 0000133f: AND 00001340: SWAP3 00001341: PUSH4 0xad5c4648 00001346: SWAP3 00001347: PUSH1 0x04 00001349: DUP1 0000134a: DUP4 0000134b: ADD 0000134c: SWAP4 0000134d: SWAP2 0000134e: SWAP3 0000134f: DUP3 00001350: SWAP1 00001351: SUB 00001352: ADD 00001353: DUP2 00001354: DUP7 00001355: GAS 00001356: STATICCALL 00001357: ISZERO 00001358: DUP1 00001359: ISZERO 0000135a: PUSH2 0x1365 0000135d: JUMPI 0000135e: RETURNDATASIZE 0000135f: PUSH0 00001360: DUP1 00001361: RETURNDATACOPY 00001362: RETURNDATASIZE 00001363: PUSH0 00001364: REVERT 00001365: JUMPDEST 00001366: POP 00001367: POP 00001368: POP 00001369: POP 0000136a: PUSH1 0x40 0000136c: MLOAD 0000136d: RETURNDATASIZE 0000136e: PUSH1 0x1f 00001370: NOT 00001371: PUSH1 0x1f 00001373: DUP3 00001374: ADD 00001375: AND 00001376: DUP3 00001377: ADD 00001378: DUP1 00001379: PUSH1 0x40 0000137b: MSTORE 0000137c: POP 0000137d: DUP2 0000137e: ADD 0000137f: SWAP1 00001380: PUSH2 0x1389 00001383: SWAP2 00001384: SWAP1 00001385: PUSH2 0x18b4 00001388: JUMP 00001389: JUMPDEST 0000138a: DUP2 0000138b: PUSH1 0x01 0000138d: DUP2 0000138e: MLOAD 0000138f: DUP2 00001390: LT 00001391: PUSH2 0x139c 00001394: JUMPI 00001395: PUSH2 0x139c 00001398: PUSH2 0x1888 0000139b: JUMP 0000139c: JUMPDEST 0000139d: PUSH1 0x01 0000139f: PUSH1 0x01 000013a1: PUSH1 0xa0 000013a3: SHL 000013a4: SUB 000013a5: SWAP3 000013a6: DUP4 000013a7: AND 000013a8: PUSH1 0x20 000013aa: SWAP2 000013ab: DUP3 000013ac: MUL 000013ad: SWAP3 000013ae: SWAP1 000013af: SWAP3 000013b0: ADD 000013b1: ADD 000013b2: MSTORE 000013b3: PUSH1 0x13 000013b5: SLOAD 000013b6: PUSH2 0x13c2 000013b9: SWAP2 000013ba: ADDRESS 000013bb: SWAP2 000013bc: AND 000013bd: DUP5 000013be: PUSH2 0x0a8d 000013c1: JUMP 000013c2: JUMPDEST 000013c3: PUSH1 0x13 000013c5: SLOAD 000013c6: PUSH1 0x40 000013c8: MLOAD 000013c9: PUSH4 0x791ac947 000013ce: PUSH1 0xe0 000013d0: SHL 000013d1: DUP2 000013d2: MSTORE 000013d3: PUSH1 0x01 000013d5: PUSH1 0x01 000013d7: PUSH1 0xa0 000013d9: SHL 000013da: SUB 000013db: SWAP1 000013dc: SWAP2 000013dd: AND 000013de: SWAP1 000013df: PUSH4 0x791ac947 000013e4: SWAP1 000013e5: PUSH2 0x13fa 000013e8: SWAP1 000013e9: DUP6 000013ea: SWAP1 000013eb: PUSH0 000013ec: SWAP1 000013ed: DUP7 000013ee: SWAP1 000013ef: ADDRESS 000013f0: SWAP1 000013f1: TIMESTAMP 000013f2: SWAP1 000013f3: PUSH1 0x04 000013f5: ADD 000013f6: PUSH2 0x195e 000013f9: JUMP 000013fa: JUMPDEST 000013fb: PUSH0 000013fc: PUSH1 0x40 000013fe: MLOAD 000013ff: DUP1 00001400: DUP4 00001401: SUB 00001402: DUP2 00001403: PUSH0 00001404: DUP8 00001405: DUP1 00001406: EXTCODESIZE 00001407: ISZERO 00001408: DUP1 00001409: ISZERO 0000140a: PUSH2 0x1411 0000140d: JUMPI 0000140e: PUSH0 0000140f: DUP1 00001410: REVERT 00001411: JUMPDEST 00001412: POP 00001413: GAS 00001414: CALL 00001415: ISZERO 00001416: DUP1 00001417: ISZERO 00001418: PUSH2 0x1423 0000141b: JUMPI 0000141c: RETURNDATASIZE 0000141d: PUSH0 0000141e: DUP1 0000141f: RETURNDATACOPY 00001420: RETURNDATASIZE 00001421: PUSH0 00001422: REVERT 00001423: JUMPDEST 00001424: POP 00001425: POP 00001426: PUSH1 0x14 00001428: DUP1 00001429: SLOAD 0000142a: PUSH1 0xff 0000142c: PUSH1 0xa8 0000142e: SHL 0000142f: NOT 00001430: AND 00001431: SWAP1 00001432: SSTORE 00001433: POP 00001434: POP 00001435: POP 00001436: POP 00001437: JUMP 00001438: JUMPDEST 00001439: PUSH1 0x05 0000143b: SLOAD 0000143c: PUSH1 0x40 0000143e: MLOAD 0000143f: PUSH1 0x01 00001441: PUSH1 0x01 00001443: PUSH1 0xa0 00001445: SHL 00001446: SUB 00001447: SWAP1 00001448: SWAP2 00001449: AND 0000144a: SWAP1 0000144b: DUP3 0000144c: ISZERO 0000144d: PUSH2 0x08fc 00001450: MUL 00001451: SWAP1 00001452: DUP4 00001453: SWAP1 00001454: PUSH0 00001455: DUP2 00001456: DUP2 00001457: DUP2 00001458: DUP6 00001459: DUP9 0000145a: DUP9 0000145b: CALL 0000145c: SWAP4 0000145d: POP 0000145e: POP 0000145f: POP 00001460: POP 00001461: ISZERO 00001462: DUP1 00001463: ISZERO 00001464: PUSH2 0x0520 00001467: JUMPI 00001468: RETURNDATASIZE 00001469: PUSH0 0000146a: DUP1 0000146b: RETURNDATACOPY 0000146c: RETURNDATASIZE 0000146d: PUSH0 0000146e: REVERT 0000146f: JUMPDEST 00001470: PUSH0 00001471: DUP1 00001472: PUSH2 0x147b 00001475: DUP4 00001476: DUP6 00001477: PUSH2 0x1919 0000147a: JUMP 0000147b: JUMPDEST 0000147c: SWAP1 0000147d: POP 0000147e: DUP4 0000147f: DUP2 00001480: LT 00001481: ISZERO 00001482: PUSH2 0x126c 00001485: JUMPI 00001486: PUSH1 0x40 00001488: MLOAD 00001489: PUSH3 0x461bcd 0000148d: PUSH1 0xe5 0000148f: SHL 00001490: DUP2 00001491: MSTORE 00001492: PUSH1 0x20 00001494: PUSH1 0x04 00001496: DUP3 00001497: ADD 00001498: MSTORE 00001499: PUSH1 0x1b 0000149b: PUSH1 0x24 0000149d: DUP3 0000149e: ADD 0000149f: MSTORE 000014a0: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 000014c1: PUSH1 0x44 000014c3: DUP3 000014c4: ADD 000014c5: MSTORE 000014c6: PUSH1 0x64 000014c8: ADD 000014c9: PUSH2 0x04b3 000014cc: JUMP 000014cd: JUMPDEST 000014ce: PUSH0 000014cf: PUSH2 0x126c 000014d2: DUP4 000014d3: DUP4 000014d4: PUSH1 0x40 000014d6: MLOAD 000014d7: DUP1 000014d8: PUSH1 0x40 000014da: ADD 000014db: PUSH1 0x40 000014dd: MSTORE 000014de: DUP1 000014df: PUSH1 0x1e 000014e1: DUP2 000014e2: MSTORE 000014e3: PUSH1 0x20 000014e5: ADD 000014e6: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 00001507: DUP2 00001508: MSTORE 00001509: POP 0000150a: PUSH2 0x11b6 0000150d: JUMP 0000150e: JUMPDEST 0000150f: PUSH0 00001510: DUP2 00001511: DUP4 00001512: PUSH2 0x152e 00001515: JUMPI 00001516: PUSH1 0x40 00001518: MLOAD 00001519: PUSH3 0x461bcd 0000151d: PUSH1 0xe5 0000151f: SHL 00001520: DUP2 00001521: MSTORE 00001522: PUSH1 0x04 00001524: ADD 00001525: PUSH2 0x04b3 00001528: SWAP2 00001529: SWAP1 0000152a: PUSH2 0x153a 0000152d: JUMP 0000152e: JUMPDEST 0000152f: POP 00001530: PUSH0 00001531: PUSH2 0x11e5 00001534: DUP5 00001535: DUP7 00001536: PUSH2 0x193f 00001539: JUMP 0000153a: JUMPDEST 0000153b: PUSH0 0000153c: PUSH1 0x20 0000153e: DUP1 0000153f: DUP4 00001540: MSTORE 00001541: DUP4 00001542: MLOAD 00001543: DUP1 00001544: DUP3 00001545: DUP6 00001546: ADD 00001547: MSTORE 00001548: PUSH0 00001549: JUMPDEST 0000154a: DUP2 0000154b: DUP2 0000154c: LT 0000154d: ISZERO 0000154e: PUSH2 0x1565 00001551: JUMPI 00001552: DUP6 00001553: DUP2 00001554: ADD 00001555: DUP4 00001556: ADD 00001557: MLOAD 00001558: DUP6 00001559: DUP3 0000155a: ADD 0000155b: PUSH1 0x40 0000155d: ADD 0000155e: MSTORE 0000155f: DUP3 00001560: ADD 00001561: PUSH2 0x1549 00001564: JUMP 00001565: JUMPDEST 00001566: POP 00001567: PUSH0 00001568: PUSH1 0x40 0000156a: DUP3 0000156b: DUP7 0000156c: ADD 0000156d: ADD 0000156e: MSTORE 0000156f: PUSH1 0x40 00001571: PUSH1 0x1f 00001573: NOT 00001574: PUSH1 0x1f 00001576: DUP4 00001577: ADD 00001578: AND 00001579: DUP6 0000157a: ADD 0000157b: ADD 0000157c: SWAP3 0000157d: POP 0000157e: POP 0000157f: POP 00001580: SWAP3 00001581: SWAP2 00001582: POP 00001583: POP 00001584: JUMP 00001585: JUMPDEST 00001586: PUSH1 0x01 00001588: PUSH1 0x01 0000158a: PUSH1 0xa0 0000158c: SHL 0000158d: SUB 0000158e: DUP2 0000158f: AND 00001590: DUP2 00001591: EQ 00001592: PUSH2 0x1599 00001595: JUMPI 00001596: PUSH0 00001597: DUP1 00001598: REVERT 00001599: JUMPDEST 0000159a: POP 0000159b: JUMP 0000159c: JUMPDEST 0000159d: DUP1 0000159e: CALLDATALOAD 0000159f: PUSH2 0x15a7 000015a2: DUP2 000015a3: PUSH2 0x1585 000015a6: JUMP 000015a7: JUMPDEST 000015a8: SWAP2 000015a9: SWAP1 000015aa: POP 000015ab: JUMP 000015ac: JUMPDEST 000015ad: PUSH0 000015ae: DUP1 000015af: PUSH1 0x40 000015b1: DUP4 000015b2: DUP6 000015b3: SUB 000015b4: SLT 000015b5: ISZERO 000015b6: PUSH2 0x15bd 000015b9: JUMPI 000015ba: PUSH0 000015bb: DUP1 000015bc: REVERT 000015bd: JUMPDEST 000015be: DUP3 000015bf: CALLDATALOAD 000015c0: PUSH2 0x15c8 000015c3: DUP2 000015c4: PUSH2 0x1585 000015c7: JUMP 000015c8: JUMPDEST 000015c9: SWAP5 000015ca: PUSH1 0x20 000015cc: SWAP4 000015cd: SWAP1 000015ce: SWAP4 000015cf: ADD 000015d0: CALLDATALOAD 000015d1: SWAP4 000015d2: POP 000015d3: POP 000015d4: POP 000015d5: JUMP 000015d6: JUMPDEST 000015d7: PUSH0 000015d8: DUP1 000015d9: PUSH0 000015da: PUSH1 0x60 000015dc: DUP5 000015dd: DUP7 000015de: SUB 000015df: SLT 000015e0: ISZERO 000015e1: PUSH2 0x15e8 000015e4: JUMPI 000015e5: PUSH0 000015e6: DUP1 000015e7: REVERT 000015e8: JUMPDEST 000015e9: DUP4 000015ea: CALLDATALOAD 000015eb: PUSH2 0x15f3 000015ee: DUP2 000015ef: PUSH2 0x1585 000015f2: JUMP 000015f3: JUMPDEST 000015f4: SWAP3 000015f5: POP 000015f6: PUSH1 0x20 000015f8: DUP5 000015f9: ADD 000015fa: CALLDATALOAD 000015fb: PUSH2 0x1603 000015fe: DUP2 000015ff: PUSH2 0x1585 00001602: JUMP 00001603: JUMPDEST 00001604: SWAP3 00001605: SWAP6 00001606: SWAP3 00001607: SWAP5 00001608: POP 00001609: POP 0000160a: POP 0000160b: PUSH1 0x40 0000160d: SWAP2 0000160e: SWAP1 0000160f: SWAP2 00001610: ADD 00001611: CALLDATALOAD 00001612: SWAP1 00001613: JUMP 00001614: JUMPDEST 00001615: PUSH4 0x4e487b71 0000161a: PUSH1 0xe0 0000161c: SHL 0000161d: PUSH0 0000161e: MSTORE 0000161f: PUSH1 0x41 00001621: PUSH1 0x04 00001623: MSTORE 00001624: PUSH1 0x24 00001626: PUSH0 00001627: REVERT 00001628: JUMPDEST 00001629: PUSH0 0000162a: PUSH1 0x20 0000162c: DUP1 0000162d: DUP4 0000162e: DUP6 0000162f: SUB 00001630: SLT 00001631: ISZERO 00001632: PUSH2 0x1639 00001635: JUMPI 00001636: PUSH0 00001637: DUP1 00001638: REVERT 00001639: JUMPDEST 0000163a: DUP3 0000163b: CALLDATALOAD 0000163c: PUSH8 0xffffffffffffffff 00001645: DUP1 00001646: DUP3 00001647: GT 00001648: ISZERO 00001649: PUSH2 0x1650 0000164c: JUMPI 0000164d: PUSH0 0000164e: DUP1 0000164f: REVERT 00001650: JUMPDEST 00001651: DUP2 00001652: DUP6 00001653: ADD 00001654: SWAP2 00001655: POP 00001656: DUP6 00001657: PUSH1 0x1f 00001659: DUP4 0000165a: ADD 0000165b: SLT 0000165c: PUSH2 0x1663 0000165f: JUMPI 00001660: PUSH0 00001661: DUP1 00001662: REVERT 00001663: JUMPDEST 00001664: DUP2 00001665: CALLDATALOAD 00001666: DUP2 00001667: DUP2 00001668: GT 00001669: ISZERO 0000166a: PUSH2 0x1675 0000166d: JUMPI 0000166e: PUSH2 0x1675 00001671: PUSH2 0x1614 00001674: JUMP 00001675: JUMPDEST 00001676: DUP1 00001677: PUSH1 0x05 00001679: SHL 0000167a: PUSH1 0x40 0000167c: MLOAD 0000167d: PUSH1 0x1f 0000167f: NOT 00001680: PUSH1 0x3f 00001682: DUP4 00001683: ADD 00001684: AND 00001685: DUP2 00001686: ADD 00001687: DUP2 00001688: DUP2 00001689: LT 0000168a: DUP6 0000168b: DUP3 0000168c: GT 0000168d: OR 0000168e: ISZERO 0000168f: PUSH2 0x169a 00001692: JUMPI 00001693: PUSH2 0x169a 00001696: PUSH2 0x1614 00001699: JUMP 0000169a: JUMPDEST 0000169b: PUSH1 0x40 0000169d: MSTORE 0000169e: SWAP2 0000169f: DUP3 000016a0: MSTORE 000016a1: DUP5 000016a2: DUP3 000016a3: ADD 000016a4: SWAP3 000016a5: POP 000016a6: DUP4 000016a7: DUP2 000016a8: ADD 000016a9: DUP6 000016aa: ADD 000016ab: SWAP2 000016ac: DUP9 000016ad: DUP4 000016ae: GT 000016af: ISZERO 000016b0: PUSH2 0x16b7 000016b3: JUMPI 000016b4: PUSH0 000016b5: DUP1 000016b6: REVERT 000016b7: JUMPDEST 000016b8: SWAP4 000016b9: DUP6 000016ba: ADD 000016bb: SWAP4 000016bc: JUMPDEST 000016bd: DUP3 000016be: DUP6 000016bf: LT 000016c0: ISZERO 000016c1: PUSH2 0x16dc 000016c4: JUMPI 000016c5: PUSH2 0x16cd 000016c8: DUP6 000016c9: PUSH2 0x159c 000016cc: JUMP 000016cd: JUMPDEST 000016ce: DUP5 000016cf: MSTORE 000016d0: SWAP4 000016d1: DUP6 000016d2: ADD 000016d3: SWAP4 000016d4: SWAP3 000016d5: DUP6 000016d6: ADD 000016d7: SWAP3 000016d8: PUSH2 0x16bc 000016db: JUMP 000016dc: JUMPDEST 000016dd: SWAP9 000016de: SWAP8 000016df: POP 000016e0: POP 000016e1: POP 000016e2: POP 000016e3: POP 000016e4: POP 000016e5: POP 000016e6: POP 000016e7: JUMP 000016e8: JUMPDEST 000016e9: PUSH0 000016ea: PUSH1 0x20 000016ec: DUP3 000016ed: DUP5 000016ee: SUB 000016ef: SLT 000016f0: ISZERO 000016f1: PUSH2 0x16f8 000016f4: JUMPI 000016f5: PUSH0 000016f6: DUP1 000016f7: REVERT 000016f8: JUMPDEST 000016f9: DUP2 000016fa: CALLDATALOAD 000016fb: PUSH2 0x126c 000016fe: DUP2 000016ff: PUSH2 0x1585 00001702: JUMP 00001703: JUMPDEST 00001704: PUSH0 00001705: DUP1 00001706: PUSH1 0x40 00001708: DUP4 00001709: DUP6 0000170a: SUB 0000170b: SLT 0000170c: ISZERO 0000170d: PUSH2 0x1714 00001710: JUMPI 00001711: PUSH0 00001712: DUP1 00001713: REVERT 00001714: JUMPDEST 00001715: DUP3 00001716: CALLDATALOAD 00001717: PUSH2 0x171f 0000171a: DUP2 0000171b: PUSH2 0x1585 0000171e: JUMP 0000171f: JUMPDEST 00001720: SWAP2 00001721: POP 00001722: PUSH1 0x20 00001724: DUP4 00001725: ADD 00001726: CALLDATALOAD 00001727: PUSH2 0x172f 0000172a: DUP2 0000172b: PUSH2 0x1585 0000172e: JUMP 0000172f: JUMPDEST 00001730: DUP1 00001731: SWAP2 00001732: POP 00001733: POP 00001734: SWAP3 00001735: POP 00001736: SWAP3 00001737: SWAP1 00001738: POP 00001739: JUMP 0000173a: JUMPDEST 0000173b: PUSH4 0x4e487b71 00001740: PUSH1 0xe0 00001742: SHL 00001743: PUSH0 00001744: MSTORE 00001745: PUSH1 0x11 00001747: PUSH1 0x04 00001749: MSTORE 0000174a: PUSH1 0x24 0000174c: PUSH0 0000174d: REVERT 0000174e: JUMPDEST 0000174f: PUSH1 0x01 00001751: DUP2 00001752: DUP2 00001753: JUMPDEST 00001754: DUP1 00001755: DUP6 00001756: GT 00001757: ISZERO 00001758: PUSH2 0x1788 0000175b: JUMPI 0000175c: DUP2 0000175d: PUSH0 0000175e: NOT 0000175f: DIV 00001760: DUP3 00001761: GT 00001762: ISZERO 00001763: PUSH2 0x176e 00001766: JUMPI 00001767: PUSH2 0x176e 0000176a: PUSH2 0x173a 0000176d: JUMP 0000176e: JUMPDEST 0000176f: DUP1 00001770: DUP6 00001771: AND 00001772: ISZERO 00001773: PUSH2 0x177b 00001776: JUMPI 00001777: SWAP2 00001778: DUP2 00001779: MUL 0000177a: SWAP2 0000177b: JUMPDEST 0000177c: SWAP4 0000177d: DUP5 0000177e: SHR 0000177f: SWAP4 00001780: SWAP1 00001781: DUP1 00001782: MUL 00001783: SWAP1 00001784: PUSH2 0x1753 00001787: JUMP 00001788: JUMPDEST 00001789: POP 0000178a: SWAP3 0000178b: POP 0000178c: SWAP3 0000178d: SWAP1 0000178e: POP 0000178f: JUMP 00001790: JUMPDEST 00001791: PUSH0 00001792: DUP3 00001793: PUSH2 0x179e 00001796: JUMPI 00001797: POP 00001798: PUSH1 0x01 0000179a: PUSH2 0x03fd 0000179d: JUMP 0000179e: JUMPDEST 0000179f: DUP2 000017a0: PUSH2 0x17aa 000017a3: JUMPI 000017a4: POP 000017a5: PUSH0 000017a6: PUSH2 0x03fd 000017a9: JUMP 000017aa: JUMPDEST 000017ab: DUP2 000017ac: PUSH1 0x01 000017ae: DUP2 000017af: EQ 000017b0: PUSH2 0x17c0 000017b3: JUMPI 000017b4: PUSH1 0x02 000017b6: DUP2 000017b7: EQ 000017b8: PUSH2 0x17ca 000017bb: JUMPI 000017bc: PUSH2 0x17e6 000017bf: JUMP 000017c0: JUMPDEST 000017c1: PUSH1 0x01 000017c3: SWAP2 000017c4: POP 000017c5: POP 000017c6: PUSH2 0x03fd 000017c9: JUMP 000017ca: JUMPDEST 000017cb: PUSH1 0xff 000017cd: DUP5 000017ce: GT 000017cf: ISZERO 000017d0: PUSH2 0x17db 000017d3: JUMPI 000017d4: PUSH2 0x17db 000017d7: PUSH2 0x173a 000017da: JUMP 000017db: JUMPDEST 000017dc: POP 000017dd: POP 000017de: PUSH1 0x01 000017e0: DUP3 000017e1: SHL 000017e2: PUSH2 0x03fd 000017e5: JUMP 000017e6: JUMPDEST 000017e7: POP 000017e8: PUSH1 0x20 000017ea: DUP4 000017eb: LT 000017ec: PUSH2 0x0133 000017ef: DUP4 000017f0: LT 000017f1: AND 000017f2: PUSH1 0x4e 000017f4: DUP5 000017f5: LT 000017f6: PUSH1 0x0b 000017f8: DUP5 000017f9: LT 000017fa: AND 000017fb: OR 000017fc: ISZERO 000017fd: PUSH2 0x1809 00001800: JUMPI 00001801: POP 00001802: DUP2 00001803: DUP2 00001804: EXP 00001805: PUSH2 0x03fd 00001808: JUMP 00001809: JUMPDEST 0000180a: PUSH2 0x1813 0000180d: DUP4 0000180e: DUP4 0000180f: PUSH2 0x174e 00001812: JUMP 00001813: JUMPDEST 00001814: DUP1 00001815: PUSH0 00001816: NOT 00001817: DIV 00001818: DUP3 00001819: GT 0000181a: ISZERO 0000181b: PUSH2 0x1826 0000181e: JUMPI 0000181f: PUSH2 0x1826 00001822: PUSH2 0x173a 00001825: JUMP 00001826: JUMPDEST 00001827: MUL 00001828: SWAP4 00001829: SWAP3 0000182a: POP 0000182b: POP 0000182c: POP 0000182d: JUMP 0000182e: JUMPDEST 0000182f: PUSH0 00001830: PUSH2 0x126c 00001833: PUSH1 0xff 00001835: DUP5 00001836: AND 00001837: DUP4 00001838: PUSH2 0x1790 0000183b: JUMP 0000183c: JUMPDEST 0000183d: DUP1 0000183e: DUP3 0000183f: MUL 00001840: DUP2 00001841: ISZERO 00001842: DUP3 00001843: DUP3 00001844: DIV 00001845: DUP5 00001846: EQ 00001847: OR 00001848: PUSH2 0x03fd 0000184b: JUMPI 0000184c: PUSH2 0x03fd 0000184f: PUSH2 0x173a 00001852: JUMP 00001853: JUMPDEST 00001854: PUSH1 0x20 00001856: DUP1 00001857: DUP3 00001858: MSTORE 00001859: DUP2 0000185a: DUP2 0000185b: ADD 0000185c: MSTORE 0000185d: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 0000187e: PUSH1 0x40 00001880: DUP3 00001881: ADD 00001882: MSTORE 00001883: PUSH1 0x60 00001885: ADD 00001886: SWAP1 00001887: JUMP 00001888: JUMPDEST 00001889: PUSH4 0x4e487b71 0000188e: PUSH1 0xe0 00001890: SHL 00001891: PUSH0 00001892: MSTORE 00001893: PUSH1 0x32 00001895: PUSH1 0x04 00001897: MSTORE 00001898: PUSH1 0x24 0000189a: PUSH0 0000189b: REVERT 0000189c: JUMPDEST 0000189d: PUSH0 0000189e: PUSH1 0x01 000018a0: DUP3 000018a1: ADD 000018a2: PUSH2 0x18ad 000018a5: JUMPI 000018a6: PUSH2 0x18ad 000018a9: PUSH2 0x173a 000018ac: JUMP 000018ad: JUMPDEST 000018ae: POP 000018af: PUSH1 0x01 000018b1: ADD 000018b2: SWAP1 000018b3: JUMP 000018b4: JUMPDEST 000018b5: PUSH0 000018b6: PUSH1 0x20 000018b8: DUP3 000018b9: DUP5 000018ba: SUB 000018bb: SLT 000018bc: ISZERO 000018bd: PUSH2 0x18c4 000018c0: JUMPI 000018c1: PUSH0 000018c2: DUP1 000018c3: REVERT 000018c4: JUMPDEST 000018c5: DUP2 000018c6: MLOAD 000018c7: PUSH2 0x126c 000018ca: DUP2 000018cb: PUSH2 0x1585 000018ce: JUMP 000018cf: JUMPDEST 000018d0: PUSH0 000018d1: DUP1 000018d2: PUSH0 000018d3: PUSH1 0x60 000018d5: DUP5 000018d6: DUP7 000018d7: SUB 000018d8: SLT 000018d9: ISZERO 000018da: PUSH2 0x18e1 000018dd: JUMPI 000018de: PUSH0 000018df: DUP1 000018e0: REVERT 000018e1: JUMPDEST 000018e2: DUP4 000018e3: MLOAD 000018e4: SWAP3 000018e5: POP 000018e6: PUSH1 0x20 000018e8: DUP5 000018e9: ADD 000018ea: MLOAD 000018eb: SWAP2 000018ec: POP 000018ed: PUSH1 0x40 000018ef: DUP5 000018f0: ADD 000018f1: MLOAD 000018f2: SWAP1 000018f3: POP 000018f4: SWAP3 000018f5: POP 000018f6: SWAP3 000018f7: POP 000018f8: SWAP3 000018f9: JUMP 000018fa: JUMPDEST 000018fb: PUSH0 000018fc: PUSH1 0x20 000018fe: DUP3 000018ff: DUP5 00001900: SUB 00001901: SLT 00001902: ISZERO 00001903: PUSH2 0x190a 00001906: JUMPI 00001907: PUSH0 00001908: DUP1 00001909: REVERT 0000190a: JUMPDEST 0000190b: DUP2 0000190c: MLOAD 0000190d: DUP1 0000190e: ISZERO 0000190f: ISZERO 00001910: DUP2 00001911: EQ 00001912: PUSH2 0x126c 00001915: JUMPI 00001916: PUSH0 00001917: DUP1 00001918: REVERT 00001919: JUMPDEST 0000191a: DUP1 0000191b: DUP3 0000191c: ADD 0000191d: DUP1 0000191e: DUP3 0000191f: GT 00001920: ISZERO 00001921: PUSH2 0x03fd 00001924: JUMPI 00001925: PUSH2 0x03fd 00001928: PUSH2 0x173a 0000192b: JUMP 0000192c: JUMPDEST 0000192d: DUP2 0000192e: DUP2 0000192f: SUB 00001930: DUP2 00001931: DUP2 00001932: GT 00001933: ISZERO 00001934: PUSH2 0x03fd 00001937: JUMPI 00001938: PUSH2 0x03fd 0000193b: PUSH2 0x173a 0000193e: JUMP 0000193f: JUMPDEST 00001940: PUSH0 00001941: DUP3 00001942: PUSH2 0x1959 00001945: JUMPI 00001946: PUSH4 0x4e487b71 0000194b: PUSH1 0xe0 0000194d: SHL 0000194e: PUSH0 0000194f: MSTORE 00001950: PUSH1 0x12 00001952: PUSH1 0x04 00001954: MSTORE 00001955: PUSH1 0x24 00001957: PUSH0 00001958: REVERT 00001959: JUMPDEST 0000195a: POP 0000195b: DIV 0000195c: SWAP1 0000195d: JUMP 0000195e: JUMPDEST 0000195f: PUSH0 00001960: PUSH1 0xa0 00001962: DUP3 00001963: ADD 00001964: DUP8 00001965: DUP4 00001966: MSTORE 00001967: PUSH1 0x20 00001969: DUP8 0000196a: DUP2 0000196b: DUP6 0000196c: ADD 0000196d: MSTORE 0000196e: PUSH1 0xa0 00001970: PUSH1 0x40 00001972: DUP6 00001973: ADD 00001974: MSTORE 00001975: DUP2 00001976: DUP8 00001977: MLOAD 00001978: DUP1 00001979: DUP5 0000197a: MSTORE 0000197b: PUSH1 0xc0 0000197d: DUP7 0000197e: ADD 0000197f: SWAP2 00001980: POP 00001981: DUP3 00001982: DUP10 00001983: ADD 00001984: SWAP4 00001985: POP 00001986: PUSH0 00001987: JUMPDEST 00001988: DUP2 00001989: DUP2 0000198a: LT 0000198b: ISZERO 0000198c: PUSH2 0x19ac 0000198f: JUMPI 00001990: DUP5 00001991: MLOAD 00001992: PUSH1 0x01 00001994: PUSH1 0x01 00001996: PUSH1 0xa0 00001998: SHL 00001999: SUB 0000199a: AND 0000199b: DUP4 0000199c: MSTORE 0000199d: SWAP4 0000199e: DUP4 0000199f: ADD 000019a0: SWAP4 000019a1: SWAP2 000019a2: DUP4 000019a3: ADD 000019a4: SWAP2 000019a5: PUSH1 0x01 000019a7: ADD 000019a8: PUSH2 0x1987 000019ab: JUMP 000019ac: JUMPDEST 000019ad: POP 000019ae: POP 000019af: PUSH1 0x01 000019b1: PUSH1 0x01 000019b3: PUSH1 0xa0 000019b5: SHL 000019b6: SUB 000019b7: SWAP7 000019b8: SWAP1 000019b9: SWAP7 000019ba: AND 000019bb: PUSH1 0x60 000019bd: DUP6 000019be: ADD 000019bf: MSTORE 000019c0: POP 000019c1: POP 000019c2: POP 000019c3: PUSH1 0x80 000019c5: ADD 000019c6: MSTORE 000019c7: SWAP4 000019c8: SWAP3 000019c9: POP 000019ca: POP 000019cb: POP 000019cc: JUMP 000019cd: INVALID 000019ce: GASLIMIT 000019cf: MSTORE 000019d0: NUMBER 000019d1: ORIGIN 000019d2: ADDRESS 000019d3: GASPRICE 000019d4: KECCAK256 000019d5: PUSH21 0x72616e7366657220616d6f756e7420657863656564 000019eb: PUSH20 0x20616c6c6f77616e6365a2646970667358221220 00001a00: COINBASE 00001a01: BLOBBASEFEE 00001a02: DUP14 00001a03: DUP12 00001a04: REVERT 00001a05: UNKNOWN(0x4B) 00001a06: UNKNOWN(0x25) 00001a07: DUP13 00001a08: CALLVALUE 00001a09: UNKNOWN(0xDB) 00001a0a: ORIGIN 00001a0b: UNKNOWN(0xAD) 00001a0c: SIGNEXTEND 00001a0d: UNKNOWN(0x4C) 00001a0e: SMOD 00001a0f: MCOPY 00001a10: UNKNOWN(0xD7) 00001a11: UNKNOWN(0xD4) 00001a12: UNKNOWN(0x26) 00001a13: DUP13 00001a14: LOG0 00001a15: PUSH31
| 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": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbf474bed",
"selector": "0xbf474bed",
"calldata_variants": [
"0xbf474bed",
"0xbf474bed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc9567bf9",
"selector": "0xc9567bf9",
"calldata_variants": [
"0xc9567bf9",
"0xc9567bf90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd34628cc",
"selector": "0xd34628cc",
"calldata_variants": [
"0xd34628cc",
"0xd34628cc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x751039fc",
"selector": "0x751039fc",
"calldata_variants": [
"0x751039fc",
"0x751039fc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7d1db4a5",
"selector": "0x7d1db4a5",
"calldata_variants": [
"0x7d1db4a5",
"0x7d1db4a50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 6609,
"type": "tx_origin_used"
},
{
"pc": 6666,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x6e9b2e5f420547aa5ab1fbacb9c9b690297129f7886712767b196574cf5314b1
call_targets:
0x2d6a3d1423d439140aba93bd5fa561b6575a8d5b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6e9b2e5f420547aa5ab1fbacb9c9b690297129f7886712767b196574cf5314b1",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x2d6a3d1423d439140aba93bd5fa561b6575a8d5b"
],
"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": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbf474bed",
"selector": "0xbf474bed",
"calldata_variants": [
"0xbf474bed",
"0xbf474bed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc9567bf9",
"selector": "0xc9567bf9",
"calldata_variants": [
"0xc9567bf9",
"0xc9567bf90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd34628cc",
"selector": "0xd34628cc",
"calldata_variants": [
"0xd34628cc",
"0xd34628cc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x751039fc",
"selector": "0x751039fc",
"calldata_variants": [
"0x751039fc",
"0x751039fc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7d1db4a5",
"selector": "0x7d1db4a5",
"calldata_variants": [
"0x7d1db4a5",
"0x7d1db4a50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2128,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2356,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2478,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [
{
"pc": 6609,
"type": "tx_origin_used"
},
{
"pc": 6666,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 5
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x6e9b2e5f420547aa5ab1fbacb9c9b690297129f7886712767b196574cf5314b1
call_targets:
0x2d6a3d1423d439140aba93bd5fa561b6575a8d5b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6e9b2e5f420547aa5ab1fbacb9c9b690297129f7886712767b196574cf5314b1",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x2d6a3d1423d439140aba93bd5fa561b6575a8d5b"
],
"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": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbf474bed",
"selector": "0xbf474bed",
"calldata_variants": [
"0xbf474bed",
"0xbf474bed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc9567bf9",
"selector": "0xc9567bf9",
"calldata_variants": [
"0xc9567bf9",
"0xc9567bf90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd34628cc",
"selector": "0xd34628cc",
"calldata_variants": [
"0xd34628cc",
"0xd34628cc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x751039fc",
"selector": "0x751039fc",
"calldata_variants": [
"0x751039fc",
"0x751039fc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7d1db4a5",
"selector": "0x7d1db4a5",
"calldata_variants": [
"0x7d1db4a5",
"0x7d1db4a50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2128,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2356,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2478,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": [
{
"pc": 6609,
"type": "tx_origin_used"
},
{
"pc": 6666,
"type": "tx_origin_used"
}
]
}
|