019b477e-dbb9-709e-a061-211cca021c1c
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 |
|---|---|---|---|---|
| 29681 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 29682 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 108289 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 108290 | capability.graph | complete | 1 / 3 | 1 week ago |
| 108291 | detector.run | complete | 1 / 3 | 1 week ago |
| 108292 | validation.fork | complete | 1 / 3 | 1 week 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 0x013f 0000000c: JUMPI 0000000d: PUSH0 0000000e: CALLDATALOAD 0000000f: PUSH1 0xe0 00000011: SHR 00000012: DUP1 00000013: PUSH4 0x8a8c523c 00000018: GT 00000019: PUSH2 0x00b3 0000001c: JUMPI 0000001d: DUP1 0000001e: PUSH4 0xc647b20e 00000023: GT 00000024: PUSH2 0x006d 00000027: JUMPI 00000028: DUP1 00000029: PUSH4 0xc647b20e 0000002e: EQ 0000002f: PUSH2 0x035e 00000032: JUMPI 00000033: DUP1 00000034: PUSH4 0xc876d0b9 00000039: EQ 0000003a: PUSH2 0x037d 0000003d: JUMPI 0000003e: DUP1 0000003f: PUSH4 0xc9567bf9 00000044: EQ 00000045: PUSH2 0x0396 00000048: JUMPI 00000049: DUP1 0000004a: PUSH4 0xdd62ed3e 0000004f: EQ 00000050: PUSH2 0x03aa 00000053: JUMPI 00000054: DUP1 00000055: PUSH4 0xe083e922 0000005a: EQ 0000005b: PUSH2 0x03ee 0000005e: JUMPI 0000005f: DUP1 00000060: PUSH4 0xf4293890 00000065: EQ 00000066: PUSH2 0x040d 00000069: JUMPI 0000006a: PUSH0 0000006b: DUP1 0000006c: REVERT 0000006d: JUMPDEST 0000006e: DUP1 0000006f: PUSH4 0x8a8c523c 00000074: EQ 00000075: PUSH2 0x02af 00000078: JUMPI 00000079: DUP1 0000007a: PUSH4 0x8da5cb5b 0000007f: EQ 00000080: PUSH2 0x02c3 00000083: JUMPI 00000084: DUP1 00000085: PUSH4 0x8f9a55c0 0000008a: EQ 0000008b: PUSH2 0x02e9 0000008e: JUMPI 0000008f: DUP1 00000090: PUSH4 0x95d89b41 00000095: EQ 00000096: PUSH2 0x02fe 00000099: JUMPI 0000009a: DUP1 0000009b: PUSH4 0xa9059cbb 000000a0: EQ 000000a1: PUSH2 0x032a 000000a4: JUMPI 000000a5: DUP1 000000a6: PUSH4 0xbf474bed 000000ab: EQ 000000ac: PUSH2 0x0349 000000af: JUMPI 000000b0: PUSH0 000000b1: DUP1 000000b2: REVERT 000000b3: JUMPDEST 000000b4: DUP1 000000b5: PUSH4 0x313ce567 000000ba: GT 000000bb: PUSH2 0x0104 000000be: JUMPI 000000bf: DUP1 000000c0: PUSH4 0x313ce567 000000c5: EQ 000000c6: PUSH2 0x020d 000000c9: JUMPI 000000ca: DUP1 000000cb: PUSH4 0x69b372f1 000000d0: EQ 000000d1: PUSH2 0x0228 000000d4: JUMPI 000000d5: DUP1 000000d6: PUSH4 0x70a08231 000000db: EQ 000000dc: PUSH2 0x023e 000000df: JUMPI 000000e0: DUP1 000000e1: PUSH4 0x715018a6 000000e6: EQ 000000e7: PUSH2 0x0272 000000ea: JUMPI 000000eb: DUP1 000000ec: PUSH4 0x751039fc 000000f1: EQ 000000f2: PUSH2 0x0286 000000f5: JUMPI 000000f6: DUP1 000000f7: PUSH4 0x7d1db4a5 000000fc: EQ 000000fd: PUSH2 0x029a 00000100: JUMPI 00000101: PUSH0 00000102: DUP1 00000103: REVERT 00000104: JUMPDEST 00000105: DUP1 00000106: PUSH4 0x06fdde03 0000010b: EQ 0000010c: PUSH2 0x014a 0000010f: JUMPI 00000110: DUP1 00000111: PUSH4 0x095ea7b3 00000116: EQ 00000117: PUSH2 0x0188 0000011a: JUMPI 0000011b: DUP1 0000011c: PUSH4 0x0faee56f 00000121: EQ 00000122: PUSH2 0x01b7 00000125: JUMPI 00000126: DUP1 00000127: PUSH4 0x18160ddd 0000012c: EQ 0000012d: PUSH2 0x01da 00000130: JUMPI 00000131: DUP1 00000132: PUSH4 0x23b872dd 00000137: EQ 00000138: PUSH2 0x01ee 0000013b: JUMPI 0000013c: PUSH0 0000013d: DUP1 0000013e: REVERT 0000013f: JUMPDEST 00000140: CALLDATASIZE 00000141: PUSH2 0x0146 00000144: JUMPI 00000145: STOP 00000146: JUMPDEST 00000147: PUSH0 00000148: DUP1 00000149: REVERT 0000014a: JUMPDEST 0000014b: CALLVALUE 0000014c: DUP1 0000014d: ISZERO 0000014e: PUSH2 0x0155 00000151: JUMPI 00000152: PUSH0 00000153: DUP1 00000154: REVERT 00000155: JUMPDEST 00000156: POP 00000157: PUSH1 0x40 00000159: DUP1 0000015a: MLOAD 0000015b: DUP1 0000015c: DUP3 0000015d: ADD 0000015e: SWAP1 0000015f: SWAP2 00000160: MSTORE 00000161: PUSH1 0x04 00000163: DUP2 00000164: MSTORE 00000165: PUSH4 0x5a657573 0000016a: PUSH1 0xe0 0000016c: SHL 0000016d: PUSH1 0x20 0000016f: DUP3 00000170: ADD 00000171: MSTORE 00000172: JUMPDEST 00000173: PUSH1 0x40 00000175: MLOAD 00000176: PUSH2 0x017f 00000179: SWAP2 0000017a: SWAP1 0000017b: PUSH2 0x16ba 0000017e: JUMP 0000017f: JUMPDEST 00000180: PUSH1 0x40 00000182: MLOAD 00000183: DUP1 00000184: SWAP2 00000185: SUB 00000186: SWAP1 00000187: RETURN 00000188: JUMPDEST 00000189: CALLVALUE 0000018a: DUP1 0000018b: ISZERO 0000018c: PUSH2 0x0193 0000018f: JUMPI 00000190: PUSH0 00000191: DUP1 00000192: REVERT 00000193: JUMPDEST 00000194: POP 00000195: PUSH2 0x01a7 00000198: PUSH2 0x01a2 0000019b: CALLDATASIZE 0000019c: PUSH1 0x04 0000019e: PUSH2 0x1719 000001a1: JUMP 000001a2: JUMPDEST 000001a3: PUSH2 0x0421 000001a6: JUMP 000001a7: JUMPDEST 000001a8: PUSH1 0x40 000001aa: MLOAD 000001ab: SWAP1 000001ac: ISZERO 000001ad: ISZERO 000001ae: DUP2 000001af: MSTORE 000001b0: PUSH1 0x20 000001b2: ADD 000001b3: PUSH2 0x017f 000001b6: JUMP 000001b7: JUMPDEST 000001b8: CALLVALUE 000001b9: DUP1 000001ba: ISZERO 000001bb: PUSH2 0x01c2 000001be: JUMPI 000001bf: PUSH0 000001c0: DUP1 000001c1: REVERT 000001c2: JUMPDEST 000001c3: POP 000001c4: PUSH2 0x01cc 000001c7: PUSH1 0x0b 000001c9: SLOAD 000001ca: DUP2 000001cb: JUMP 000001cc: JUMPDEST 000001cd: PUSH1 0x40 000001cf: MLOAD 000001d0: SWAP1 000001d1: DUP2 000001d2: MSTORE 000001d3: PUSH1 0x20 000001d5: ADD 000001d6: PUSH2 0x017f 000001d9: JUMP 000001da: JUMPDEST 000001db: CALLVALUE 000001dc: DUP1 000001dd: ISZERO 000001de: PUSH2 0x01e5 000001e1: JUMPI 000001e2: PUSH0 000001e3: DUP1 000001e4: REVERT 000001e5: JUMPDEST 000001e6: POP 000001e7: PUSH2 0x01cc 000001ea: PUSH2 0x0437 000001ed: JUMP 000001ee: JUMPDEST 000001ef: CALLVALUE 000001f0: DUP1 000001f1: ISZERO 000001f2: PUSH2 0x01f9 000001f5: JUMPI 000001f6: PUSH0 000001f7: DUP1 000001f8: REVERT 000001f9: JUMPDEST 000001fa: POP 000001fb: PUSH2 0x01a7 000001fe: PUSH2 0x0208 00000201: CALLDATASIZE 00000202: PUSH1 0x04 00000204: PUSH2 0x1743 00000207: JUMP 00000208: JUMPDEST 00000209: PUSH2 0x045a 0000020c: JUMP 0000020d: JUMPDEST 0000020e: CALLVALUE 0000020f: DUP1 00000210: ISZERO 00000211: PUSH2 0x0218 00000214: JUMPI 00000215: PUSH0 00000216: DUP1 00000217: REVERT 00000218: JUMPDEST 00000219: POP 0000021a: PUSH1 0x40 0000021c: MLOAD 0000021d: PUSH1 0x09 0000021f: DUP2 00000220: MSTORE 00000221: PUSH1 0x20 00000223: ADD 00000224: PUSH2 0x017f 00000227: JUMP 00000228: JUMPDEST 00000229: CALLVALUE 0000022a: DUP1 0000022b: ISZERO 0000022c: PUSH2 0x0233 0000022f: JUMPI 00000230: PUSH0 00000231: DUP1 00000232: REVERT 00000233: JUMPDEST 00000234: POP 00000235: PUSH2 0x023c 00000238: PUSH2 0x04c1 0000023b: JUMP 0000023c: JUMPDEST 0000023d: STOP 0000023e: JUMPDEST 0000023f: CALLVALUE 00000240: DUP1 00000241: ISZERO 00000242: PUSH2 0x0249 00000245: JUMPI 00000246: PUSH0 00000247: DUP1 00000248: REVERT 00000249: JUMPDEST 0000024a: POP 0000024b: PUSH2 0x01cc 0000024e: PUSH2 0x0258 00000251: CALLDATASIZE 00000252: PUSH1 0x04 00000254: PUSH2 0x1781 00000257: JUMP 00000258: JUMPDEST 00000259: PUSH1 0x01 0000025b: PUSH1 0x01 0000025d: PUSH1 0xa0 0000025f: SHL 00000260: SUB 00000261: AND 00000262: PUSH0 00000263: SWAP1 00000264: DUP2 00000265: MSTORE 00000266: PUSH1 0x01 00000268: PUSH1 0x20 0000026a: MSTORE 0000026b: PUSH1 0x40 0000026d: SWAP1 0000026e: KECCAK256 0000026f: SLOAD 00000270: SWAP1 00000271: JUMP 00000272: JUMPDEST 00000273: CALLVALUE 00000274: DUP1 00000275: ISZERO 00000276: PUSH2 0x027d 00000279: JUMPI 0000027a: PUSH0 0000027b: DUP1 0000027c: REVERT 0000027d: JUMPDEST 0000027e: POP 0000027f: PUSH2 0x023c 00000282: PUSH2 0x0514 00000285: JUMP 00000286: JUMPDEST 00000287: CALLVALUE 00000288: DUP1 00000289: ISZERO 0000028a: PUSH2 0x0291 0000028d: JUMPI 0000028e: PUSH0 0000028f: DUP1 00000290: REVERT 00000291: JUMPDEST 00000292: POP 00000293: PUSH2 0x023c 00000296: PUSH2 0x058e 00000299: JUMP 0000029a: JUMPDEST 0000029b: CALLVALUE 0000029c: DUP1 0000029d: ISZERO 0000029e: PUSH2 0x02a5 000002a1: JUMPI 000002a2: PUSH0 000002a3: DUP1 000002a4: REVERT 000002a5: JUMPDEST 000002a6: POP 000002a7: PUSH2 0x01cc 000002aa: PUSH1 0x08 000002ac: SLOAD 000002ad: DUP2 000002ae: JUMP 000002af: JUMPDEST 000002b0: CALLVALUE 000002b1: DUP1 000002b2: ISZERO 000002b3: PUSH2 0x02ba 000002b6: JUMPI 000002b7: PUSH0 000002b8: DUP1 000002b9: REVERT 000002ba: JUMPDEST 000002bb: POP 000002bc: PUSH2 0x023c 000002bf: PUSH2 0x0654 000002c2: JUMP 000002c3: JUMPDEST 000002c4: CALLVALUE 000002c5: DUP1 000002c6: ISZERO 000002c7: PUSH2 0x02ce 000002ca: JUMPI 000002cb: PUSH0 000002cc: DUP1 000002cd: REVERT 000002ce: JUMPDEST 000002cf: POP 000002d0: PUSH0 000002d1: SLOAD 000002d2: PUSH1 0x40 000002d4: MLOAD 000002d5: PUSH1 0x01 000002d7: PUSH1 0x01 000002d9: PUSH1 0xa0 000002db: SHL 000002dc: SUB 000002dd: SWAP1 000002de: SWAP2 000002df: AND 000002e0: DUP2 000002e1: MSTORE 000002e2: PUSH1 0x20 000002e4: ADD 000002e5: PUSH2 0x017f 000002e8: JUMP 000002e9: JUMPDEST 000002ea: CALLVALUE 000002eb: DUP1 000002ec: ISZERO 000002ed: PUSH2 0x02f4 000002f0: JUMPI 000002f1: PUSH0 000002f2: DUP1 000002f3: REVERT 000002f4: JUMPDEST 000002f5: POP 000002f6: PUSH2 0x01cc 000002f9: PUSH1 0x09 000002fb: SLOAD 000002fc: DUP2 000002fd: JUMP 000002fe: JUMPDEST 000002ff: CALLVALUE 00000300: DUP1 00000301: ISZERO 00000302: PUSH2 0x0309 00000305: JUMPI 00000306: PUSH0 00000307: DUP1 00000308: REVERT 00000309: JUMPDEST 0000030a: POP 0000030b: PUSH1 0x40 0000030d: DUP1 0000030e: MLOAD 0000030f: DUP1 00000310: DUP3 00000311: ADD 00000312: SWAP1 00000313: SWAP2 00000314: MSTORE 00000315: PUSH1 0x04 00000317: DUP2 00000318: MSTORE 00000319: PUSH4 0x5a455553 0000031e: PUSH1 0xe0 00000320: SHL 00000321: PUSH1 0x20 00000323: DUP3 00000324: ADD 00000325: MSTORE 00000326: PUSH2 0x0172 00000329: JUMP 0000032a: JUMPDEST 0000032b: CALLVALUE 0000032c: DUP1 0000032d: ISZERO 0000032e: PUSH2 0x0335 00000331: JUMPI 00000332: PUSH0 00000333: DUP1 00000334: REVERT 00000335: JUMPDEST 00000336: POP 00000337: PUSH2 0x01a7 0000033a: PUSH2 0x0344 0000033d: CALLDATASIZE 0000033e: PUSH1 0x04 00000340: PUSH2 0x1719 00000343: JUMP 00000344: JUMPDEST 00000345: PUSH2 0x0692 00000348: JUMP 00000349: JUMPDEST 0000034a: CALLVALUE 0000034b: DUP1 0000034c: ISZERO 0000034d: PUSH2 0x0354 00000350: JUMPI 00000351: PUSH0 00000352: DUP1 00000353: REVERT 00000354: JUMPDEST 00000355: POP 00000356: PUSH2 0x01cc 00000359: PUSH1 0x0a 0000035b: SLOAD 0000035c: DUP2 0000035d: JUMP 0000035e: JUMPDEST 0000035f: CALLVALUE 00000360: DUP1 00000361: ISZERO 00000362: PUSH2 0x0369 00000365: JUMPI 00000366: PUSH0 00000367: DUP1 00000368: REVERT 00000369: JUMPDEST 0000036a: POP 0000036b: PUSH2 0x023c 0000036e: PUSH2 0x0378 00000371: CALLDATASIZE 00000372: PUSH1 0x04 00000374: PUSH2 0x179c 00000377: JUMP 00000378: JUMPDEST 00000379: PUSH2 0x069e 0000037c: JUMP 0000037d: JUMPDEST 0000037e: CALLVALUE 0000037f: DUP1 00000380: ISZERO 00000381: PUSH2 0x0388 00000384: JUMPI 00000385: PUSH0 00000386: DUP1 00000387: REVERT 00000388: JUMPDEST 00000389: POP 0000038a: PUSH1 0x04 0000038c: SLOAD 0000038d: PUSH2 0x01a7 00000390: SWAP1 00000391: PUSH1 0xff 00000393: AND 00000394: DUP2 00000395: JUMP 00000396: JUMPDEST 00000397: CALLVALUE 00000398: DUP1 00000399: ISZERO 0000039a: PUSH2 0x03a1 0000039d: JUMPI 0000039e: PUSH0 0000039f: DUP1 000003a0: REVERT 000003a1: JUMPDEST 000003a2: POP 000003a3: PUSH2 0x023c 000003a6: PUSH2 0x06d2 000003a9: JUMP 000003aa: JUMPDEST 000003ab: CALLVALUE 000003ac: DUP1 000003ad: ISZERO 000003ae: PUSH2 0x03b5 000003b1: JUMPI 000003b2: PUSH0 000003b3: DUP1 000003b4: REVERT 000003b5: JUMPDEST 000003b6: POP 000003b7: PUSH2 0x01cc 000003ba: PUSH2 0x03c4 000003bd: CALLDATASIZE 000003be: PUSH1 0x04 000003c0: PUSH2 0x17bc 000003c3: JUMP 000003c4: JUMPDEST 000003c5: PUSH1 0x01 000003c7: PUSH1 0x01 000003c9: PUSH1 0xa0 000003cb: SHL 000003cc: SUB 000003cd: SWAP2 000003ce: DUP3 000003cf: AND 000003d0: PUSH0 000003d1: SWAP1 000003d2: DUP2 000003d3: MSTORE 000003d4: PUSH1 0x02 000003d6: PUSH1 0x20 000003d8: SWAP1 000003d9: DUP2 000003da: MSTORE 000003db: PUSH1 0x40 000003dd: DUP1 000003de: DUP4 000003df: KECCAK256 000003e0: SWAP4 000003e1: SWAP1 000003e2: SWAP5 000003e3: AND 000003e4: DUP3 000003e5: MSTORE 000003e6: SWAP2 000003e7: SWAP1 000003e8: SWAP2 000003e9: MSTORE 000003ea: KECCAK256 000003eb: SLOAD 000003ec: SWAP1 000003ed: JUMP 000003ee: JUMPDEST 000003ef: CALLVALUE 000003f0: DUP1 000003f1: ISZERO 000003f2: PUSH2 0x03f9 000003f5: JUMPI 000003f6: PUSH0 000003f7: DUP1 000003f8: REVERT 000003f9: JUMPDEST 000003fa: POP 000003fb: PUSH2 0x023c 000003fe: PUSH2 0x0408 00000401: CALLDATASIZE 00000402: PUSH1 0x04 00000404: PUSH2 0x1781 00000407: JUMP 00000408: JUMPDEST 00000409: PUSH2 0x0a7f 0000040c: JUMP 0000040d: JUMPDEST 0000040e: CALLVALUE 0000040f: DUP1 00000410: ISZERO 00000411: PUSH2 0x0418 00000414: JUMPI 00000415: PUSH0 00000416: DUP1 00000417: REVERT 00000418: JUMPDEST 00000419: POP 0000041a: PUSH2 0x023c 0000041d: PUSH2 0x0c2b 00000420: JUMP 00000421: JUMPDEST 00000422: PUSH0 00000423: PUSH2 0x042d 00000426: CALLER 00000427: DUP5 00000428: DUP5 00000429: PUSH2 0x0c5f 0000042c: JUMP 0000042d: JUMPDEST 0000042e: POP 0000042f: PUSH1 0x01 00000431: JUMPDEST 00000432: SWAP3 00000433: SWAP2 00000434: POP 00000435: POP 00000436: JUMP 00000437: JUMPDEST 00000438: PUSH0 00000439: PUSH2 0x0444 0000043c: PUSH1 0x09 0000043e: PUSH1 0x0a 00000440: PUSH2 0x18e7 00000443: JUMP 00000444: JUMPDEST 00000445: PUSH2 0x0455 00000448: SWAP1 00000449: PUSH7 0x017e9d8602b400 00000451: PUSH2 0x18f5 00000454: JUMP 00000455: JUMPDEST 00000456: SWAP1 00000457: POP 00000458: SWAP1 00000459: JUMP 0000045a: JUMPDEST 0000045b: PUSH0 0000045c: PUSH2 0x0466 0000045f: DUP5 00000460: DUP5 00000461: DUP5 00000462: PUSH2 0x0d82 00000465: JUMP 00000466: JUMPDEST 00000467: PUSH2 0x04b7 0000046a: DUP5 0000046b: CALLER 0000046c: PUSH2 0x04b2 0000046f: DUP6 00000470: PUSH1 0x40 00000472: MLOAD 00000473: DUP1 00000474: PUSH1 0x60 00000476: ADD 00000477: PUSH1 0x40 00000479: MSTORE 0000047a: DUP1 0000047b: PUSH1 0x28 0000047d: DUP2 0000047e: MSTORE 0000047f: PUSH1 0x20 00000481: ADD 00000482: PUSH2 0x1a86 00000485: PUSH1 0x28 00000487: SWAP2 00000488: CODECOPY 00000489: PUSH1 0x01 0000048b: PUSH1 0x01 0000048d: PUSH1 0xa0 0000048f: SHL 00000490: SUB 00000491: DUP11 00000492: AND 00000493: PUSH0 00000494: SWAP1 00000495: DUP2 00000496: MSTORE 00000497: PUSH1 0x02 00000499: PUSH1 0x20 0000049b: SWAP1 0000049c: DUP2 0000049d: MSTORE 0000049e: PUSH1 0x40 000004a0: DUP1 000004a1: DUP4 000004a2: KECCAK256 000004a3: CALLER 000004a4: DUP5 000004a5: MSTORE 000004a6: SWAP1 000004a7: SWAP2 000004a8: MSTORE 000004a9: SWAP1 000004aa: KECCAK256 000004ab: SLOAD 000004ac: SWAP2 000004ad: SWAP1 000004ae: PUSH2 0x1336 000004b1: JUMP 000004b2: JUMPDEST 000004b3: PUSH2 0x0c5f 000004b6: JUMP 000004b7: JUMPDEST 000004b8: POP 000004b9: PUSH1 0x01 000004bb: SWAP4 000004bc: SWAP3 000004bd: POP 000004be: POP 000004bf: POP 000004c0: JUMP 000004c1: JUMPDEST 000004c2: PUSH1 0x04 000004c4: SLOAD 000004c5: PUSH2 0x0100 000004c8: SWAP1 000004c9: DIV 000004ca: PUSH1 0x01 000004cc: PUSH1 0x01 000004ce: PUSH1 0xa0 000004d0: SHL 000004d1: SUB 000004d2: AND 000004d3: CALLER 000004d4: PUSH1 0x01 000004d6: PUSH1 0x01 000004d8: PUSH1 0xa0 000004da: SHL 000004db: SUB 000004dc: AND 000004dd: EQ 000004de: PUSH2 0x04e5 000004e1: JUMPI 000004e2: PUSH0 000004e3: DUP1 000004e4: REVERT 000004e5: JUMPDEST 000004e6: ADDRESS 000004e7: PUSH0 000004e8: DUP2 000004e9: DUP2 000004ea: MSTORE 000004eb: PUSH1 0x01 000004ed: PUSH1 0x20 000004ef: MSTORE 000004f0: PUSH1 0x40 000004f2: SWAP1 000004f3: KECCAK256 000004f4: SLOAD 000004f5: PUSH1 0x04 000004f7: SLOAD 000004f8: SWAP1 000004f9: SWAP2 000004fa: PUSH2 0x0511 000004fd: SWAP2 000004fe: PUSH2 0x0100 00000501: SWAP1 00000502: DIV 00000503: PUSH1 0x01 00000505: PUSH1 0x01 00000507: PUSH1 0xa0 00000509: SHL 0000050a: SUB 0000050b: AND 0000050c: DUP4 0000050d: PUSH2 0x0d82 00000510: JUMP 00000511: JUMPDEST 00000512: POP 00000513: JUMP 00000514: JUMPDEST 00000515: PUSH0 00000516: SLOAD 00000517: PUSH1 0x01 00000519: PUSH1 0x01 0000051b: PUSH1 0xa0 0000051d: SHL 0000051e: SUB 0000051f: AND 00000520: CALLER 00000521: EQ 00000522: PUSH2 0x0546 00000525: JUMPI 00000526: PUSH1 0x40 00000528: MLOAD 00000529: PUSH3 0x461bcd 0000052d: PUSH1 0xe5 0000052f: SHL 00000530: DUP2 00000531: MSTORE 00000532: PUSH1 0x04 00000534: ADD 00000535: PUSH2 0x053d 00000538: SWAP1 00000539: PUSH2 0x190c 0000053c: JUMP 0000053d: JUMPDEST 0000053e: PUSH1 0x40 00000540: MLOAD 00000541: DUP1 00000542: SWAP2 00000543: SUB 00000544: SWAP1 00000545: REVERT 00000546: JUMPDEST 00000547: PUSH0 00000548: DUP1 00000549: SLOAD 0000054a: PUSH1 0x40 0000054c: MLOAD 0000054d: PUSH1 0x01 0000054f: PUSH1 0x01 00000551: PUSH1 0xa0 00000553: SHL 00000554: SUB 00000555: SWAP1 00000556: SWAP2 00000557: AND 00000558: SWAP1 00000559: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 0000057a: SWAP1 0000057b: DUP4 0000057c: SWAP1 0000057d: LOG3 0000057e: PUSH0 0000057f: DUP1 00000580: SLOAD 00000581: PUSH1 0x01 00000583: PUSH1 0x01 00000585: PUSH1 0xa0 00000587: SHL 00000588: SUB 00000589: NOT 0000058a: AND 0000058b: SWAP1 0000058c: SSTORE 0000058d: JUMP 0000058e: JUMPDEST 0000058f: PUSH0 00000590: SLOAD 00000591: PUSH1 0x01 00000593: PUSH1 0x01 00000595: PUSH1 0xa0 00000597: SHL 00000598: SUB 00000599: AND 0000059a: CALLER 0000059b: EQ 0000059c: PUSH2 0x05b7 0000059f: JUMPI 000005a0: PUSH1 0x40 000005a2: MLOAD 000005a3: PUSH3 0x461bcd 000005a7: PUSH1 0xe5 000005a9: SHL 000005aa: DUP2 000005ab: MSTORE 000005ac: PUSH1 0x04 000005ae: ADD 000005af: PUSH2 0x053d 000005b2: SWAP1 000005b3: PUSH2 0x190c 000005b6: JUMP 000005b7: JUMPDEST 000005b8: PUSH2 0x05c3 000005bb: PUSH1 0x09 000005bd: PUSH1 0x0a 000005bf: PUSH2 0x18e7 000005c2: JUMP 000005c3: JUMPDEST 000005c4: PUSH2 0x05d4 000005c7: SWAP1 000005c8: PUSH7 0x017e9d8602b400 000005d0: PUSH2 0x18f5 000005d3: JUMP 000005d4: JUMPDEST 000005d5: PUSH1 0x08 000005d7: SSTORE 000005d8: PUSH2 0x05e3 000005db: PUSH1 0x09 000005dd: PUSH1 0x0a 000005df: PUSH2 0x18e7 000005e2: JUMP 000005e3: JUMPDEST 000005e4: PUSH2 0x05f4 000005e7: SWAP1 000005e8: PUSH7 0x017e9d8602b400 000005f0: PUSH2 0x18f5 000005f3: JUMP 000005f4: JUMPDEST 000005f5: PUSH1 0x09 000005f7: SWAP1 000005f8: DUP2 000005f9: SSTORE 000005fa: PUSH1 0x04 000005fc: DUP1 000005fd: SLOAD 000005fe: PUSH1 0xff 00000600: NOT 00000601: AND 00000602: SWAP1 00000603: SSTORE 00000604: PUSH32 0x947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf 00000625: SWAP1 00000626: PUSH2 0x0630 00000629: SWAP1 0000062a: PUSH1 0x0a 0000062c: PUSH2 0x18e7 0000062f: JUMP 00000630: JUMPDEST 00000631: PUSH2 0x0641 00000634: SWAP1 00000635: PUSH7 0x017e9d8602b400 0000063d: PUSH2 0x18f5 00000640: JUMP 00000641: JUMPDEST 00000642: PUSH1 0x40 00000644: MLOAD 00000645: SWAP1 00000646: DUP2 00000647: MSTORE 00000648: PUSH1 0x20 0000064a: ADD 0000064b: PUSH1 0x40 0000064d: MLOAD 0000064e: DUP1 0000064f: SWAP2 00000650: SUB 00000651: SWAP1 00000652: LOG1 00000653: JUMP 00000654: JUMPDEST 00000655: PUSH0 00000656: SLOAD 00000657: PUSH1 0x01 00000659: PUSH1 0x01 0000065b: PUSH1 0xa0 0000065d: SHL 0000065e: SUB 0000065f: AND 00000660: CALLER 00000661: EQ 00000662: PUSH2 0x067d 00000665: JUMPI 00000666: PUSH1 0x40 00000668: MLOAD 00000669: PUSH3 0x461bcd 0000066d: PUSH1 0xe5 0000066f: SHL 00000670: DUP2 00000671: MSTORE 00000672: PUSH1 0x04 00000674: ADD 00000675: PUSH2 0x053d 00000678: SWAP1 00000679: PUSH2 0x190c 0000067c: JUMP 0000067d: JUMPDEST 0000067e: PUSH1 0x0d 00000680: DUP1 00000681: SLOAD 00000682: PUSH1 0xff 00000684: PUSH1 0xb8 00000686: SHL 00000687: NOT 00000688: AND 00000689: PUSH1 0x01 0000068b: PUSH1 0xb8 0000068d: SHL 0000068e: OR 0000068f: SWAP1 00000690: SSTORE 00000691: JUMP 00000692: JUMPDEST 00000693: PUSH0 00000694: PUSH2 0x042d 00000697: CALLER 00000698: DUP5 00000699: DUP5 0000069a: PUSH2 0x0d82 0000069d: JUMP 0000069e: JUMPDEST 0000069f: PUSH0 000006a0: SLOAD 000006a1: PUSH1 0x01 000006a3: PUSH1 0x01 000006a5: PUSH1 0xa0 000006a7: SHL 000006a8: SUB 000006a9: AND 000006aa: CALLER 000006ab: EQ 000006ac: PUSH2 0x06c7 000006af: JUMPI 000006b0: PUSH1 0x40 000006b2: MLOAD 000006b3: PUSH3 0x461bcd 000006b7: PUSH1 0xe5 000006b9: SHL 000006ba: DUP2 000006bb: MSTORE 000006bc: PUSH1 0x04 000006be: ADD 000006bf: PUSH2 0x053d 000006c2: SWAP1 000006c3: PUSH2 0x190c 000006c6: JUMP 000006c7: JUMPDEST 000006c8: PUSH1 0x06 000006ca: SWAP2 000006cb: SWAP1 000006cc: SWAP2 000006cd: SSTORE 000006ce: PUSH1 0x07 000006d0: SSTORE 000006d1: JUMP 000006d2: JUMPDEST 000006d3: PUSH0 000006d4: SLOAD 000006d5: PUSH1 0x01 000006d7: PUSH1 0x01 000006d9: PUSH1 0xa0 000006db: SHL 000006dc: SUB 000006dd: AND 000006de: CALLER 000006df: EQ 000006e0: PUSH2 0x06fb 000006e3: JUMPI 000006e4: PUSH1 0x40 000006e6: MLOAD 000006e7: PUSH3 0x461bcd 000006eb: PUSH1 0xe5 000006ed: SHL 000006ee: DUP2 000006ef: MSTORE 000006f0: PUSH1 0x04 000006f2: ADD 000006f3: PUSH2 0x053d 000006f6: SWAP1 000006f7: PUSH2 0x190c 000006fa: JUMP 000006fb: JUMPDEST 000006fc: PUSH1 0x0d 000006fe: SLOAD 000006ff: PUSH1 0x01 00000701: PUSH1 0xa0 00000703: SHL 00000704: SWAP1 00000705: DIV 00000706: PUSH1 0xff 00000708: AND 00000709: ISZERO 0000070a: PUSH2 0x0755 0000070d: JUMPI 0000070e: PUSH1 0x40 00000710: MLOAD 00000711: PUSH3 0x461bcd 00000715: PUSH1 0xe5 00000717: SHL 00000718: DUP2 00000719: MSTORE 0000071a: PUSH1 0x20 0000071c: PUSH1 0x04 0000071e: DUP3 0000071f: ADD 00000720: MSTORE 00000721: PUSH1 0x17 00000723: PUSH1 0x24 00000725: DUP3 00000726: ADD 00000727: MSTORE 00000728: PUSH32 0x74726164696e6720697320616c7265616479206f70656e000000000000000000 00000749: PUSH1 0x44 0000074b: DUP3 0000074c: ADD 0000074d: MSTORE 0000074e: PUSH1 0x64 00000750: ADD 00000751: PUSH2 0x053d 00000754: JUMP 00000755: JUMPDEST 00000756: PUSH1 0x0c 00000758: DUP1 00000759: SLOAD 0000075a: PUSH1 0x01 0000075c: PUSH1 0x01 0000075e: PUSH1 0xa0 00000760: SHL 00000761: SUB 00000762: NOT 00000763: AND 00000764: PUSH20 0x7a250d5630b4cf539739df2c5dacb4c659f2488d 00000779: SWAP1 0000077a: DUP2 0000077b: OR 0000077c: SWAP1 0000077d: SWAP2 0000077e: SSTORE 0000077f: PUSH2 0x07a1 00000782: SWAP1 00000783: ADDRESS 00000784: SWAP1 00000785: PUSH2 0x0790 00000788: PUSH1 0x09 0000078a: PUSH1 0x0a 0000078c: PUSH2 0x18e7 0000078f: JUMP 00000790: JUMPDEST 00000791: PUSH2 0x04b2 00000794: SWAP1 00000795: PUSH7 0x017e9d8602b400 0000079d: PUSH2 0x18f5 000007a0: JUMP 000007a1: JUMPDEST 000007a2: PUSH1 0x0c 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 0xc45a0155 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 0x1941 00000814: JUMP 00000815: JUMPDEST 00000816: PUSH1 0x01 00000818: PUSH1 0x01 0000081a: PUSH1 0xa0 0000081c: SHL 0000081d: SUB 0000081e: AND 0000081f: PUSH4 0xc9c65396 00000824: ADDRESS 00000825: PUSH1 0x0c 00000827: PUSH0 00000828: SWAP1 00000829: SLOAD 0000082a: SWAP1 0000082b: PUSH2 0x0100 0000082e: EXP 0000082f: SWAP1 00000830: DIV 00000831: PUSH1 0x01 00000833: PUSH1 0x01 00000835: PUSH1 0xa0 00000837: SHL 00000838: SUB 00000839: AND 0000083a: PUSH1 0x01 0000083c: PUSH1 0x01 0000083e: PUSH1 0xa0 00000840: SHL 00000841: SUB 00000842: AND 00000843: PUSH4 0xad5c4648 00000848: PUSH1 0x40 0000084a: MLOAD 0000084b: DUP2 0000084c: PUSH4 0xffffffff 00000851: AND 00000852: PUSH1 0xe0 00000854: SHL 00000855: DUP2 00000856: MSTORE 00000857: PUSH1 0x04 00000859: ADD 0000085a: PUSH1 0x20 0000085c: PUSH1 0x40 0000085e: MLOAD 0000085f: DUP1 00000860: DUP4 00000861: SUB 00000862: DUP2 00000863: DUP7 00000864: GAS 00000865: STATICCALL 00000866: ISZERO 00000867: DUP1 00000868: ISZERO 00000869: PUSH2 0x0874 0000086c: JUMPI 0000086d: RETURNDATASIZE 0000086e: PUSH0 0000086f: DUP1 00000870: RETURNDATACOPY 00000871: RETURNDATASIZE 00000872: PUSH0 00000873: REVERT 00000874: JUMPDEST 00000875: POP 00000876: POP 00000877: POP 00000878: POP 00000879: PUSH1 0x40 0000087b: MLOAD 0000087c: RETURNDATASIZE 0000087d: PUSH1 0x1f 0000087f: NOT 00000880: PUSH1 0x1f 00000882: DUP3 00000883: ADD 00000884: AND 00000885: DUP3 00000886: ADD 00000887: DUP1 00000888: PUSH1 0x40 0000088a: MSTORE 0000088b: POP 0000088c: DUP2 0000088d: ADD 0000088e: SWAP1 0000088f: PUSH2 0x0898 00000892: SWAP2 00000893: SWAP1 00000894: PUSH2 0x1941 00000897: JUMP 00000898: JUMPDEST 00000899: PUSH1 0x40 0000089b: MLOAD 0000089c: PUSH1 0x01 0000089e: PUSH1 0x01 000008a0: PUSH1 0xe0 000008a2: SHL 000008a3: SUB 000008a4: NOT 000008a5: PUSH1 0xe0 000008a7: DUP6 000008a8: SWAP1 000008a9: SHL 000008aa: AND 000008ab: DUP2 000008ac: MSTORE 000008ad: PUSH1 0x01 000008af: PUSH1 0x01 000008b1: PUSH1 0xa0 000008b3: SHL 000008b4: SUB 000008b5: SWAP3 000008b6: DUP4 000008b7: AND 000008b8: PUSH1 0x04 000008ba: DUP3 000008bb: ADD 000008bc: MSTORE 000008bd: SWAP2 000008be: AND 000008bf: PUSH1 0x24 000008c1: DUP3 000008c2: ADD 000008c3: MSTORE 000008c4: PUSH1 0x44 000008c6: ADD 000008c7: PUSH1 0x20 000008c9: PUSH1 0x40 000008cb: MLOAD 000008cc: DUP1 000008cd: DUP4 000008ce: SUB 000008cf: DUP2 000008d0: PUSH0 000008d1: DUP8 000008d2: GAS 000008d3: CALL 000008d4: ISZERO 000008d5: DUP1 000008d6: ISZERO 000008d7: PUSH2 0x08e2 000008da: JUMPI 000008db: RETURNDATASIZE 000008dc: PUSH0 000008dd: DUP1 000008de: RETURNDATACOPY 000008df: RETURNDATASIZE 000008e0: PUSH0 000008e1: REVERT 000008e2: JUMPDEST 000008e3: POP 000008e4: POP 000008e5: POP 000008e6: POP 000008e7: PUSH1 0x40 000008e9: MLOAD 000008ea: RETURNDATASIZE 000008eb: PUSH1 0x1f 000008ed: NOT 000008ee: PUSH1 0x1f 000008f0: DUP3 000008f1: ADD 000008f2: AND 000008f3: DUP3 000008f4: ADD 000008f5: DUP1 000008f6: PUSH1 0x40 000008f8: MSTORE 000008f9: POP 000008fa: DUP2 000008fb: ADD 000008fc: SWAP1 000008fd: PUSH2 0x0906 00000900: SWAP2 00000901: SWAP1 00000902: PUSH2 0x1941 00000905: JUMP 00000906: JUMPDEST 00000907: PUSH1 0x0d 00000909: DUP1 0000090a: SLOAD 0000090b: PUSH1 0x01 0000090d: PUSH1 0x01 0000090f: PUSH1 0xa0 00000911: SHL 00000912: SUB 00000913: SWAP3 00000914: DUP4 00000915: AND 00000916: PUSH1 0x01 00000918: PUSH1 0x01 0000091a: PUSH1 0xa0 0000091c: SHL 0000091d: SUB 0000091e: NOT 0000091f: SWAP1 00000920: SWAP2 00000921: AND 00000922: OR 00000923: SWAP1 00000924: SSTORE 00000925: PUSH1 0x0c 00000927: SLOAD 00000928: AND 00000929: PUSH4 0xf305d719 0000092e: SELFBALANCE 0000092f: ADDRESS 00000930: PUSH2 0x094d 00000933: DUP2 00000934: PUSH1 0x01 00000936: PUSH1 0x01 00000938: PUSH1 0xa0 0000093a: SHL 0000093b: SUB 0000093c: AND 0000093d: PUSH0 0000093e: SWAP1 0000093f: DUP2 00000940: MSTORE 00000941: PUSH1 0x01 00000943: PUSH1 0x20 00000945: MSTORE 00000946: PUSH1 0x40 00000948: SWAP1 00000949: KECCAK256 0000094a: SLOAD 0000094b: SWAP1 0000094c: JUMP 0000094d: JUMPDEST 0000094e: PUSH0 0000094f: DUP1 00000950: PUSH2 0x0960 00000953: PUSH0 00000954: SLOAD 00000955: PUSH1 0x01 00000957: PUSH1 0x01 00000959: PUSH1 0xa0 0000095b: SHL 0000095c: SUB 0000095d: AND 0000095e: SWAP1 0000095f: JUMP 00000960: JUMPDEST 00000961: PUSH1 0x40 00000963: MLOAD 00000964: PUSH1 0xe0 00000966: DUP9 00000967: SWAP1 00000968: SHL 00000969: PUSH1 0x01 0000096b: PUSH1 0x01 0000096d: PUSH1 0xe0 0000096f: SHL 00000970: SUB 00000971: NOT 00000972: AND 00000973: DUP2 00000974: MSTORE 00000975: PUSH1 0x01 00000977: PUSH1 0x01 00000979: PUSH1 0xa0 0000097b: SHL 0000097c: SUB 0000097d: SWAP6 0000097e: DUP7 0000097f: AND 00000980: PUSH1 0x04 00000982: DUP3 00000983: ADD 00000984: MSTORE 00000985: PUSH1 0x24 00000987: DUP2 00000988: ADD 00000989: SWAP5 0000098a: SWAP1 0000098b: SWAP5 0000098c: MSTORE 0000098d: PUSH1 0x44 0000098f: DUP5 00000990: ADD 00000991: SWAP3 00000992: SWAP1 00000993: SWAP3 00000994: MSTORE 00000995: PUSH1 0x64 00000997: DUP4 00000998: ADD 00000999: MSTORE 0000099a: SWAP1 0000099b: SWAP2 0000099c: AND 0000099d: PUSH1 0x84 0000099f: DUP3 000009a0: ADD 000009a1: MSTORE 000009a2: TIMESTAMP 000009a3: PUSH1 0xa4 000009a5: DUP3 000009a6: ADD 000009a7: MSTORE 000009a8: PUSH1 0xc4 000009aa: ADD 000009ab: PUSH1 0x60 000009ad: PUSH1 0x40 000009af: MLOAD 000009b0: DUP1 000009b1: DUP4 000009b2: SUB 000009b3: DUP2 000009b4: DUP6 000009b5: DUP9 000009b6: GAS 000009b7: CALL 000009b8: ISZERO 000009b9: DUP1 000009ba: ISZERO 000009bb: PUSH2 0x09c6 000009be: JUMPI 000009bf: RETURNDATASIZE 000009c0: PUSH0 000009c1: DUP1 000009c2: RETURNDATACOPY 000009c3: RETURNDATASIZE 000009c4: PUSH0 000009c5: REVERT 000009c6: JUMPDEST 000009c7: POP 000009c8: POP 000009c9: POP 000009ca: POP 000009cb: POP 000009cc: PUSH1 0x40 000009ce: MLOAD 000009cf: RETURNDATASIZE 000009d0: PUSH1 0x1f 000009d2: NOT 000009d3: PUSH1 0x1f 000009d5: DUP3 000009d6: ADD 000009d7: AND 000009d8: DUP3 000009d9: ADD 000009da: DUP1 000009db: PUSH1 0x40 000009dd: MSTORE 000009de: POP 000009df: DUP2 000009e0: ADD 000009e1: SWAP1 000009e2: PUSH2 0x09eb 000009e5: SWAP2 000009e6: SWAP1 000009e7: PUSH2 0x195c 000009ea: JUMP 000009eb: JUMPDEST 000009ec: POP 000009ed: POP 000009ee: PUSH1 0x0d 000009f0: SLOAD 000009f1: PUSH1 0x0c 000009f3: SLOAD 000009f4: PUSH1 0x40 000009f6: MLOAD 000009f7: PUSH4 0x095ea7b3 000009fc: PUSH1 0xe0 000009fe: SHL 000009ff: DUP2 00000a00: MSTORE 00000a01: PUSH1 0x01 00000a03: PUSH1 0x01 00000a05: PUSH1 0xa0 00000a07: SHL 00000a08: SUB 00000a09: SWAP2 00000a0a: DUP3 00000a0b: AND 00000a0c: PUSH1 0x04 00000a0e: DUP3 00000a0f: ADD 00000a10: MSTORE 00000a11: PUSH0 00000a12: NOT 00000a13: PUSH1 0x24 00000a15: DUP3 00000a16: ADD 00000a17: MSTORE 00000a18: SWAP2 00000a19: AND 00000a1a: SWAP2 00000a1b: POP 00000a1c: PUSH4 0x095ea7b3 00000a21: SWAP1 00000a22: PUSH1 0x44 00000a24: ADD 00000a25: PUSH1 0x20 00000a27: PUSH1 0x40 00000a29: MLOAD 00000a2a: DUP1 00000a2b: DUP4 00000a2c: SUB 00000a2d: DUP2 00000a2e: PUSH0 00000a2f: DUP8 00000a30: GAS 00000a31: CALL 00000a32: ISZERO 00000a33: DUP1 00000a34: ISZERO 00000a35: PUSH2 0x0a40 00000a38: JUMPI 00000a39: RETURNDATASIZE 00000a3a: PUSH0 00000a3b: DUP1 00000a3c: RETURNDATACOPY 00000a3d: RETURNDATASIZE 00000a3e: PUSH0 00000a3f: REVERT 00000a40: JUMPDEST 00000a41: POP 00000a42: POP 00000a43: POP 00000a44: POP 00000a45: PUSH1 0x40 00000a47: MLOAD 00000a48: RETURNDATASIZE 00000a49: PUSH1 0x1f 00000a4b: NOT 00000a4c: PUSH1 0x1f 00000a4e: DUP3 00000a4f: ADD 00000a50: AND 00000a51: DUP3 00000a52: ADD 00000a53: DUP1 00000a54: PUSH1 0x40 00000a56: MSTORE 00000a57: POP 00000a58: DUP2 00000a59: ADD 00000a5a: SWAP1 00000a5b: PUSH2 0x0a64 00000a5e: SWAP2 00000a5f: SWAP1 00000a60: PUSH2 0x1987 00000a63: JUMP 00000a64: JUMPDEST 00000a65: POP 00000a66: PUSH1 0x0d 00000a68: DUP1 00000a69: SLOAD 00000a6a: PUSH4 0xffff00ff 00000a6f: PUSH1 0xa0 00000a71: SHL 00000a72: NOT 00000a73: AND 00000a74: PUSH3 0x010001 00000a78: PUSH1 0xa0 00000a7a: SHL 00000a7b: OR 00000a7c: SWAP1 00000a7d: SSTORE 00000a7e: JUMP 00000a7f: JUMPDEST 00000a80: PUSH1 0x04 00000a82: SLOAD 00000a83: PUSH2 0x0100 00000a86: SWAP1 00000a87: DIV 00000a88: PUSH1 0x01 00000a8a: PUSH1 0x01 00000a8c: PUSH1 0xa0 00000a8e: SHL 00000a8f: SUB 00000a90: AND 00000a91: CALLER 00000a92: PUSH1 0x01 00000a94: PUSH1 0x01 00000a96: PUSH1 0xa0 00000a98: SHL 00000a99: SUB 00000a9a: AND 00000a9b: EQ 00000a9c: PUSH2 0x0aa3 00000a9f: JUMPI 00000aa0: PUSH0 00000aa1: DUP1 00000aa2: REVERT 00000aa3: JUMPDEST 00000aa4: PUSH1 0x40 00000aa6: MLOAD 00000aa7: PUSH4 0x70a08231 00000aac: PUSH1 0xe0 00000aae: SHL 00000aaf: DUP2 00000ab0: MSTORE 00000ab1: ADDRESS 00000ab2: PUSH1 0x04 00000ab4: DUP3 00000ab5: ADD 00000ab6: MSTORE 00000ab7: PUSH0 00000ab8: SWAP1 00000ab9: PUSH1 0x01 00000abb: PUSH1 0x01 00000abd: PUSH1 0xa0 00000abf: SHL 00000ac0: SUB 00000ac1: DUP4 00000ac2: AND 00000ac3: SWAP1 00000ac4: PUSH4 0x70a08231 00000ac9: SWAP1 00000aca: PUSH1 0x24 00000acc: ADD 00000acd: PUSH1 0x20 00000acf: PUSH1 0x40 00000ad1: MLOAD 00000ad2: DUP1 00000ad3: DUP4 00000ad4: SUB 00000ad5: DUP2 00000ad6: DUP7 00000ad7: GAS 00000ad8: STATICCALL 00000ad9: ISZERO 00000ada: DUP1 00000adb: ISZERO 00000adc: PUSH2 0x0ae7 00000adf: JUMPI 00000ae0: RETURNDATASIZE 00000ae1: PUSH0 00000ae2: DUP1 00000ae3: RETURNDATACOPY 00000ae4: RETURNDATASIZE 00000ae5: PUSH0 00000ae6: REVERT 00000ae7: JUMPDEST 00000ae8: POP 00000ae9: POP 00000aea: POP 00000aeb: POP 00000aec: PUSH1 0x40 00000aee: MLOAD 00000aef: RETURNDATASIZE 00000af0: PUSH1 0x1f 00000af2: NOT 00000af3: PUSH1 0x1f 00000af5: DUP3 00000af6: ADD 00000af7: AND 00000af8: DUP3 00000af9: ADD 00000afa: DUP1 00000afb: PUSH1 0x40 00000afd: MSTORE 00000afe: POP 00000aff: DUP2 00000b00: ADD 00000b01: SWAP1 00000b02: PUSH2 0x0b0b 00000b05: SWAP2 00000b06: SWAP1 00000b07: PUSH2 0x19a6 00000b0a: JUMP 00000b0b: JUMPDEST 00000b0c: GT 00000b0d: PUSH2 0x0b4b 00000b10: JUMPI 00000b11: PUSH1 0x40 00000b13: MLOAD 00000b14: PUSH3 0x461bcd 00000b18: PUSH1 0xe5 00000b1a: SHL 00000b1b: DUP2 00000b1c: MSTORE 00000b1d: PUSH1 0x20 00000b1f: PUSH1 0x04 00000b21: DUP3 00000b22: ADD 00000b23: MSTORE 00000b24: PUSH1 0x10 00000b26: PUSH1 0x24 00000b28: DUP3 00000b29: ADD 00000b2a: MSTORE 00000b2b: PUSH16 0x043616e2774207769746864726177203 00000b3c: PUSH1 0x84 00000b3e: SHL 00000b3f: PUSH1 0x44 00000b41: DUP3 00000b42: ADD 00000b43: MSTORE 00000b44: PUSH1 0x64 00000b46: ADD 00000b47: PUSH2 0x053d 00000b4a: JUMP 00000b4b: JUMPDEST 00000b4c: PUSH1 0x40 00000b4e: MLOAD 00000b4f: PUSH4 0x70a08231 00000b54: PUSH1 0xe0 00000b56: SHL 00000b57: DUP2 00000b58: MSTORE 00000b59: ADDRESS 00000b5a: PUSH1 0x04 00000b5c: DUP3 00000b5d: ADD 00000b5e: MSTORE 00000b5f: PUSH1 0x01 00000b61: PUSH1 0x01 00000b63: PUSH1 0xa0 00000b65: SHL 00000b66: SUB 00000b67: DUP3 00000b68: AND 00000b69: SWAP1 00000b6a: PUSH4 0xa9059cbb 00000b6f: SWAP1 00000b70: CALLER 00000b71: SWAP1 00000b72: DUP4 00000b73: SWAP1 00000b74: PUSH4 0x70a08231 00000b79: SWAP1 00000b7a: PUSH1 0x24 00000b7c: ADD 00000b7d: PUSH1 0x20 00000b7f: PUSH1 0x40 00000b81: MLOAD 00000b82: DUP1 00000b83: DUP4 00000b84: SUB 00000b85: DUP2 00000b86: DUP7 00000b87: GAS 00000b88: STATICCALL 00000b89: ISZERO 00000b8a: DUP1 00000b8b: ISZERO 00000b8c: PUSH2 0x0b97 00000b8f: JUMPI 00000b90: RETURNDATASIZE 00000b91: PUSH0 00000b92: DUP1 00000b93: RETURNDATACOPY 00000b94: RETURNDATASIZE 00000b95: PUSH0 00000b96: REVERT 00000b97: JUMPDEST 00000b98: POP 00000b99: POP 00000b9a: POP 00000b9b: POP 00000b9c: PUSH1 0x40 00000b9e: MLOAD 00000b9f: RETURNDATASIZE 00000ba0: PUSH1 0x1f 00000ba2: NOT 00000ba3: PUSH1 0x1f 00000ba5: DUP3 00000ba6: ADD 00000ba7: AND 00000ba8: DUP3 00000ba9: ADD 00000baa: DUP1 00000bab: PUSH1 0x40 00000bad: MSTORE 00000bae: POP 00000baf: DUP2 00000bb0: ADD 00000bb1: SWAP1 00000bb2: PUSH2 0x0bbb 00000bb5: SWAP2 00000bb6: SWAP1 00000bb7: PUSH2 0x19a6 00000bba: JUMP 00000bbb: JUMPDEST 00000bbc: PUSH1 0x40 00000bbe: MLOAD 00000bbf: PUSH1 0x01 00000bc1: PUSH1 0x01 00000bc3: PUSH1 0xe0 00000bc5: SHL 00000bc6: SUB 00000bc7: NOT 00000bc8: PUSH1 0xe0 00000bca: DUP6 00000bcb: SWAP1 00000bcc: SHL 00000bcd: AND 00000bce: DUP2 00000bcf: MSTORE 00000bd0: PUSH1 0x01 00000bd2: PUSH1 0x01 00000bd4: PUSH1 0xa0 00000bd6: SHL 00000bd7: SUB 00000bd8: SWAP1 00000bd9: SWAP3 00000bda: AND 00000bdb: PUSH1 0x04 00000bdd: DUP4 00000bde: ADD 00000bdf: MSTORE 00000be0: PUSH1 0x24 00000be2: DUP3 00000be3: ADD 00000be4: MSTORE 00000be5: PUSH1 0x44 00000be7: ADD 00000be8: PUSH1 0x20 00000bea: PUSH1 0x40 00000bec: MLOAD 00000bed: DUP1 00000bee: DUP4 00000bef: SUB 00000bf0: DUP2 00000bf1: PUSH0 00000bf2: DUP8 00000bf3: GAS 00000bf4: CALL 00000bf5: ISZERO 00000bf6: DUP1 00000bf7: ISZERO 00000bf8: PUSH2 0x0c03 00000bfb: JUMPI 00000bfc: RETURNDATASIZE 00000bfd: PUSH0 00000bfe: DUP1 00000bff: RETURNDATACOPY 00000c00: RETURNDATASIZE 00000c01: PUSH0 00000c02: REVERT 00000c03: JUMPDEST 00000c04: POP 00000c05: POP 00000c06: POP 00000c07: POP 00000c08: PUSH1 0x40 00000c0a: MLOAD 00000c0b: RETURNDATASIZE 00000c0c: PUSH1 0x1f 00000c0e: NOT 00000c0f: PUSH1 0x1f 00000c11: DUP3 00000c12: ADD 00000c13: AND 00000c14: DUP3 00000c15: ADD 00000c16: DUP1 00000c17: PUSH1 0x40 00000c19: MSTORE 00000c1a: POP 00000c1b: DUP2 00000c1c: ADD 00000c1d: SWAP1 00000c1e: PUSH2 0x0c27 00000c21: SWAP2 00000c22: SWAP1 00000c23: PUSH2 0x1987 00000c26: JUMP 00000c27: JUMPDEST 00000c28: POP 00000c29: POP 00000c2a: JUMP 00000c2b: JUMPDEST 00000c2c: PUSH1 0x04 00000c2e: SLOAD 00000c2f: PUSH2 0x0100 00000c32: SWAP1 00000c33: DIV 00000c34: PUSH1 0x01 00000c36: PUSH1 0x01 00000c38: PUSH1 0xa0 00000c3a: SHL 00000c3b: SUB 00000c3c: AND 00000c3d: CALLER 00000c3e: PUSH1 0x01 00000c40: PUSH1 0x01 00000c42: PUSH1 0xa0 00000c44: SHL 00000c45: SUB 00000c46: AND 00000c47: EQ 00000c48: PUSH2 0x0c4f 00000c4b: JUMPI 00000c4c: PUSH0 00000c4d: DUP1 00000c4e: REVERT 00000c4f: JUMPDEST 00000c50: SELFBALANCE 00000c51: DUP1 00000c52: ISZERO 00000c53: PUSH2 0x0511 00000c56: JUMPI 00000c57: PUSH2 0x0511 00000c5a: DUP2 00000c5b: PUSH2 0x136e 00000c5e: JUMP 00000c5f: JUMPDEST 00000c60: PUSH1 0x01 00000c62: PUSH1 0x01 00000c64: PUSH1 0xa0 00000c66: SHL 00000c67: SUB 00000c68: DUP4 00000c69: AND 00000c6a: PUSH2 0x0cc1 00000c6d: JUMPI 00000c6e: PUSH1 0x40 00000c70: MLOAD 00000c71: PUSH3 0x461bcd 00000c75: PUSH1 0xe5 00000c77: SHL 00000c78: DUP2 00000c79: MSTORE 00000c7a: PUSH1 0x20 00000c7c: PUSH1 0x04 00000c7e: DUP3 00000c7f: ADD 00000c80: MSTORE 00000c81: PUSH1 0x24 00000c83: DUP1 00000c84: DUP3 00000c85: ADD 00000c86: MSTORE 00000c87: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464 00000ca8: PUSH1 0x44 00000caa: DUP3 00000cab: ADD 00000cac: MSTORE 00000cad: PUSH4 0x72657373 00000cb2: PUSH1 0xe0 00000cb4: SHL 00000cb5: PUSH1 0x64 00000cb7: DUP3 00000cb8: ADD 00000cb9: MSTORE 00000cba: PUSH1 0x84 00000cbc: ADD 00000cbd: PUSH2 0x053d 00000cc0: JUMP 00000cc1: JUMPDEST 00000cc2: PUSH1 0x01 00000cc4: PUSH1 0x01 00000cc6: PUSH1 0xa0 00000cc8: SHL 00000cc9: SUB 00000cca: DUP3 00000ccb: AND 00000ccc: PUSH2 0x0d22 00000ccf: JUMPI 00000cd0: PUSH1 0x40 00000cd2: MLOAD 00000cd3: PUSH3 0x461bcd 00000cd7: PUSH1 0xe5 00000cd9: SHL 00000cda: DUP2 00000cdb: MSTORE 00000cdc: PUSH1 0x20 00000cde: PUSH1 0x04 00000ce0: DUP3 00000ce1: ADD 00000ce2: MSTORE 00000ce3: PUSH1 0x22 00000ce5: PUSH1 0x24 00000ce7: DUP3 00000ce8: ADD 00000ce9: MSTORE 00000cea: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265 00000d0b: PUSH1 0x44 00000d0d: DUP3 00000d0e: ADD 00000d0f: MSTORE 00000d10: PUSH2 0x7373 00000d13: PUSH1 0xf0 00000d15: SHL 00000d16: PUSH1 0x64 00000d18: DUP3 00000d19: ADD 00000d1a: MSTORE 00000d1b: PUSH1 0x84 00000d1d: ADD 00000d1e: PUSH2 0x053d 00000d21: JUMP 00000d22: JUMPDEST 00000d23: PUSH1 0x01 00000d25: PUSH1 0x01 00000d27: PUSH1 0xa0 00000d29: SHL 00000d2a: SUB 00000d2b: DUP4 00000d2c: DUP2 00000d2d: AND 00000d2e: PUSH0 00000d2f: DUP2 00000d30: DUP2 00000d31: MSTORE 00000d32: PUSH1 0x02 00000d34: PUSH1 0x20 00000d36: SWAP1 00000d37: DUP2 00000d38: MSTORE 00000d39: PUSH1 0x40 00000d3b: DUP1 00000d3c: DUP4 00000d3d: KECCAK256 00000d3e: SWAP5 00000d3f: DUP8 00000d40: AND 00000d41: DUP1 00000d42: DUP5 00000d43: MSTORE 00000d44: SWAP5 00000d45: DUP3 00000d46: MSTORE 00000d47: SWAP2 00000d48: DUP3 00000d49: SWAP1 00000d4a: KECCAK256 00000d4b: DUP6 00000d4c: SWAP1 00000d4d: SSTORE 00000d4e: SWAP1 00000d4f: MLOAD 00000d50: DUP5 00000d51: DUP2 00000d52: MSTORE 00000d53: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000d74: SWAP2 00000d75: ADD 00000d76: PUSH1 0x40 00000d78: MLOAD 00000d79: DUP1 00000d7a: SWAP2 00000d7b: SUB 00000d7c: SWAP1 00000d7d: LOG3 00000d7e: POP 00000d7f: POP 00000d80: POP 00000d81: JUMP 00000d82: JUMPDEST 00000d83: PUSH1 0x01 00000d85: PUSH1 0x01 00000d87: PUSH1 0xa0 00000d89: SHL 00000d8a: SUB 00000d8b: DUP4 00000d8c: AND 00000d8d: PUSH2 0x0de6 00000d90: JUMPI 00000d91: PUSH1 0x40 00000d93: MLOAD 00000d94: PUSH3 0x461bcd 00000d98: PUSH1 0xe5 00000d9a: SHL 00000d9b: DUP2 00000d9c: MSTORE 00000d9d: PUSH1 0x20 00000d9f: PUSH1 0x04 00000da1: DUP3 00000da2: ADD 00000da3: MSTORE 00000da4: PUSH1 0x25 00000da6: PUSH1 0x24 00000da8: DUP3 00000da9: ADD 00000daa: MSTORE 00000dab: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164 00000dcc: PUSH1 0x44 00000dce: DUP3 00000dcf: ADD 00000dd0: MSTORE 00000dd1: PUSH5 0x6472657373 00000dd7: PUSH1 0xd8 00000dd9: SHL 00000dda: PUSH1 0x64 00000ddc: DUP3 00000ddd: ADD 00000dde: MSTORE 00000ddf: PUSH1 0x84 00000de1: ADD 00000de2: PUSH2 0x053d 00000de5: JUMP 00000de6: JUMPDEST 00000de7: PUSH1 0x01 00000de9: PUSH1 0x01 00000deb: PUSH1 0xa0 00000ded: SHL 00000dee: SUB 00000def: DUP3 00000df0: AND 00000df1: PUSH2 0x0e48 00000df4: JUMPI 00000df5: PUSH1 0x40 00000df7: MLOAD 00000df8: PUSH3 0x461bcd 00000dfc: PUSH1 0xe5 00000dfe: SHL 00000dff: DUP2 00000e00: MSTORE 00000e01: PUSH1 0x20 00000e03: PUSH1 0x04 00000e05: DUP3 00000e06: ADD 00000e07: MSTORE 00000e08: PUSH1 0x23 00000e0a: PUSH1 0x24 00000e0c: DUP3 00000e0d: ADD 00000e0e: MSTORE 00000e0f: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472 00000e30: PUSH1 0x44 00000e32: DUP3 00000e33: ADD 00000e34: MSTORE 00000e35: PUSH3 0x657373 00000e39: PUSH1 0xe8 00000e3b: SHL 00000e3c: PUSH1 0x64 00000e3e: DUP3 00000e3f: ADD 00000e40: MSTORE 00000e41: PUSH1 0x84 00000e43: ADD 00000e44: PUSH2 0x053d 00000e47: JUMP 00000e48: JUMPDEST 00000e49: PUSH0 00000e4a: DUP2 00000e4b: GT 00000e4c: PUSH2 0x0ea9 00000e4f: JUMPI 00000e50: PUSH1 0x40 00000e52: MLOAD 00000e53: PUSH3 0x461bcd 00000e57: PUSH1 0xe5 00000e59: SHL 00000e5a: DUP2 00000e5b: MSTORE 00000e5c: PUSH1 0x20 00000e5e: PUSH1 0x04 00000e60: DUP3 00000e61: ADD 00000e62: MSTORE 00000e63: PUSH1 0x29 00000e65: PUSH1 0x24 00000e67: DUP3 00000e68: ADD 00000e69: MSTORE 00000e6a: PUSH32 0x5472616e7366657220616d6f756e74206d757374206265206772656174657220 00000e8b: PUSH1 0x44 00000e8d: DUP3 00000e8e: ADD 00000e8f: MSTORE 00000e90: PUSH9 0x7468616e207a65726f 00000e9a: PUSH1 0xb8 00000e9c: SHL 00000e9d: PUSH1 0x64 00000e9f: DUP3 00000ea0: ADD 00000ea1: MSTORE 00000ea2: PUSH1 0x84 00000ea4: ADD 00000ea5: PUSH2 0x053d 00000ea8: JUMP 00000ea9: JUMPDEST 00000eaa: PUSH0 00000eab: DUP1 00000eac: SLOAD 00000ead: PUSH1 0x01 00000eaf: PUSH1 0x01 00000eb1: PUSH1 0xa0 00000eb3: SHL 00000eb4: SUB 00000eb5: DUP6 00000eb6: DUP2 00000eb7: AND 00000eb8: SWAP2 00000eb9: AND 00000eba: EQ 00000ebb: DUP1 00000ebc: ISZERO 00000ebd: SWAP1 00000ebe: PUSH2 0x0ed4 00000ec1: JUMPI 00000ec2: POP 00000ec3: PUSH0 00000ec4: SLOAD 00000ec5: PUSH1 0x01 00000ec7: PUSH1 0x01 00000ec9: PUSH1 0xa0 00000ecb: SHL 00000ecc: SUB 00000ecd: DUP5 00000ece: DUP2 00000ecf: AND 00000ed0: SWAP2 00000ed1: AND 00000ed2: EQ 00000ed3: ISZERO 00000ed4: JUMPDEST 00000ed5: DUP1 00000ed6: ISZERO 00000ed7: PUSH2 0x0ef3 00000eda: JUMPI 00000edb: POP 00000edc: PUSH1 0x04 00000ede: SLOAD 00000edf: PUSH1 0x01 00000ee1: PUSH1 0x01 00000ee3: PUSH1 0xa0 00000ee5: SHL 00000ee6: SUB 00000ee7: DUP6 00000ee8: DUP2 00000ee9: AND 00000eea: PUSH2 0x0100 00000eed: SWAP1 00000eee: SWAP3 00000eef: DIV 00000ef0: AND 00000ef1: EQ 00000ef2: ISZERO 00000ef3: JUMPDEST 00000ef4: DUP1 00000ef5: ISZERO 00000ef6: PUSH2 0x0f12 00000ef9: JUMPI 00000efa: POP 00000efb: PUSH1 0x04 00000efd: SLOAD 00000efe: PUSH1 0x01 00000f00: PUSH1 0x01 00000f02: PUSH1 0xa0 00000f04: SHL 00000f05: SUB 00000f06: DUP5 00000f07: DUP2 00000f08: AND 00000f09: PUSH2 0x0100 00000f0c: SWAP1 00000f0d: SWAP3 00000f0e: DIV 00000f0f: AND 00000f10: EQ 00000f11: ISZERO 00000f12: JUMPDEST 00000f13: ISZERO 00000f14: PUSH2 0x1182 00000f17: JUMPI 00000f18: PUSH1 0x0d 00000f1a: SLOAD 00000f1b: PUSH1 0x01 00000f1d: PUSH1 0xb8 00000f1f: SHL 00000f20: SWAP1 00000f21: DIV 00000f22: PUSH1 0xff 00000f24: AND 00000f25: PUSH2 0x0f69 00000f28: JUMPI 00000f29: PUSH1 0x40 00000f2b: MLOAD 00000f2c: PUSH3 0x461bcd 00000f30: PUSH1 0xe5 00000f32: SHL 00000f33: DUP2 00000f34: MSTORE 00000f35: PUSH1 0x20 00000f37: PUSH1 0x04 00000f39: DUP3 00000f3a: ADD 00000f3b: MSTORE 00000f3c: PUSH1 0x16 00000f3e: PUSH1 0x24 00000f40: DUP3 00000f41: ADD 00000f42: MSTORE 00000f43: PUSH22 0x151c985b9cd9995c9cc8185c9948191a5cd8589b1959 00000f5a: PUSH1 0x52 00000f5c: SHL 00000f5d: PUSH1 0x44 00000f5f: DUP3 00000f60: ADD 00000f61: MSTORE 00000f62: PUSH1 0x64 00000f64: ADD 00000f65: PUSH2 0x053d 00000f68: JUMP 00000f69: JUMPDEST 00000f6a: PUSH2 0x0f89 00000f6d: PUSH1 0x64 00000f6f: PUSH2 0x0f83 00000f72: PUSH1 0x06 00000f74: SLOAD 00000f75: DUP6 00000f76: PUSH2 0x13a5 00000f79: SWAP1 00000f7a: SWAP2 00000f7b: SWAP1 00000f7c: PUSH4 0xffffffff 00000f81: AND 00000f82: JUMP 00000f83: JUMPDEST 00000f84: SWAP1 00000f85: PUSH2 0x142a 00000f88: JUMP 00000f89: JUMPDEST 00000f8a: PUSH1 0x0d 00000f8c: SLOAD 00000f8d: SWAP1 00000f8e: SWAP2 00000f8f: POP 00000f90: PUSH1 0x01 00000f92: PUSH1 0x01 00000f94: PUSH1 0xa0 00000f96: SHL 00000f97: SUB 00000f98: DUP6 00000f99: DUP2 00000f9a: AND 00000f9b: SWAP2 00000f9c: AND 00000f9d: EQ 00000f9e: DUP1 00000f9f: ISZERO 00000fa0: PUSH2 0x0fb7 00000fa3: JUMPI 00000fa4: POP 00000fa5: PUSH1 0x0c 00000fa7: SLOAD 00000fa8: PUSH1 0x01 00000faa: PUSH1 0x01 00000fac: PUSH1 0xa0 00000fae: SHL 00000faf: SUB 00000fb0: DUP5 00000fb1: DUP2 00000fb2: AND 00000fb3: SWAP2 00000fb4: AND 00000fb5: EQ 00000fb6: ISZERO 00000fb7: JUMPDEST 00000fb8: DUP1 00000fb9: ISZERO 00000fba: PUSH2 0x0fdb 00000fbd: JUMPI 00000fbe: POP 00000fbf: PUSH1 0x01 00000fc1: PUSH1 0x01 00000fc3: PUSH1 0xa0 00000fc5: SHL 00000fc6: SUB 00000fc7: DUP4 00000fc8: AND 00000fc9: PUSH0 00000fca: SWAP1 00000fcb: DUP2 00000fcc: MSTORE 00000fcd: PUSH1 0x03 00000fcf: PUSH1 0x20 00000fd1: MSTORE 00000fd2: PUSH1 0x40 00000fd4: SWAP1 00000fd5: KECCAK256 00000fd6: SLOAD 00000fd7: PUSH1 0xff 00000fd9: AND 00000fda: ISZERO 00000fdb: JUMPDEST 00000fdc: ISZERO 00000fdd: PUSH2 0x10ac 00000fe0: JUMPI 00000fe1: PUSH1 0x08 00000fe3: SLOAD 00000fe4: DUP3 00000fe5: GT 00000fe6: ISZERO 00000fe7: PUSH2 0x1032 00000fea: JUMPI 00000feb: PUSH1 0x40 00000fed: MLOAD 00000fee: PUSH3 0x461bcd 00000ff2: PUSH1 0xe5 00000ff4: SHL 00000ff5: DUP2 00000ff6: MSTORE 00000ff7: PUSH1 0x20 00000ff9: PUSH1 0x04 00000ffb: DUP3 00000ffc: ADD 00000ffd: MSTORE 00000ffe: PUSH1 0x19 00001000: PUSH1 0x24 00001002: DUP3 00001003: ADD 00001004: MSTORE 00001005: PUSH32 0x4578636565647320746865205f6d61785478416d6f756e742e00000000000000 00001026: PUSH1 0x44 00001028: DUP3 00001029: ADD 0000102a: MSTORE 0000102b: PUSH1 0x64 0000102d: ADD 0000102e: PUSH2 0x053d 00001031: JUMP 00001032: JUMPDEST 00001033: PUSH1 0x09 00001035: SLOAD 00001036: DUP3 00001037: PUSH2 0x1054 0000103a: DUP6 0000103b: PUSH1 0x01 0000103d: PUSH1 0x01 0000103f: PUSH1 0xa0 00001041: SHL 00001042: SUB 00001043: AND 00001044: PUSH0 00001045: SWAP1 00001046: DUP2 00001047: MSTORE 00001048: PUSH1 0x01 0000104a: PUSH1 0x20 0000104c: MSTORE 0000104d: PUSH1 0x40 0000104f: SWAP1 00001050: KECCAK256 00001051: SLOAD 00001052: SWAP1 00001053: JUMP 00001054: JUMPDEST 00001055: PUSH2 0x105e 00001058: SWAP2 00001059: SWAP1 0000105a: PUSH2 0x19bd 0000105d: JUMP 0000105e: JUMPDEST 0000105f: GT 00001060: ISZERO 00001061: PUSH2 0x10ac 00001064: JUMPI 00001065: PUSH1 0x40 00001067: MLOAD 00001068: PUSH3 0x461bcd 0000106c: PUSH1 0xe5 0000106e: SHL 0000106f: DUP2 00001070: MSTORE 00001071: PUSH1 0x20 00001073: PUSH1 0x04 00001075: DUP3 00001076: ADD 00001077: MSTORE 00001078: PUSH1 0x1a 0000107a: PUSH1 0x24 0000107c: DUP3 0000107d: ADD 0000107e: MSTORE 0000107f: PUSH32 0x4578636565647320746865206d617857616c6c657453697a652e000000000000 000010a0: PUSH1 0x44 000010a2: DUP3 000010a3: ADD 000010a4: MSTORE 000010a5: PUSH1 0x64 000010a7: ADD 000010a8: PUSH2 0x053d 000010ab: JUMP 000010ac: JUMPDEST 000010ad: PUSH1 0x0d 000010af: SLOAD 000010b0: PUSH1 0x01 000010b2: PUSH1 0x01 000010b4: PUSH1 0xa0 000010b6: SHL 000010b7: SUB 000010b8: DUP5 000010b9: DUP2 000010ba: AND 000010bb: SWAP2 000010bc: AND 000010bd: EQ 000010be: DUP1 000010bf: ISZERO 000010c0: PUSH2 0x10d2 000010c3: JUMPI 000010c4: POP 000010c5: PUSH1 0x01 000010c7: PUSH1 0x01 000010c9: PUSH1 0xa0 000010cb: SHL 000010cc: SUB 000010cd: DUP5 000010ce: AND 000010cf: ADDRESS 000010d0: EQ 000010d1: ISZERO 000010d2: JUMPDEST 000010d3: ISZERO 000010d4: PUSH2 0x10f4 000010d7: JUMPI 000010d8: PUSH2 0x10f1 000010db: PUSH1 0x64 000010dd: PUSH2 0x0f83 000010e0: PUSH1 0x07 000010e2: SLOAD 000010e3: DUP6 000010e4: PUSH2 0x13a5 000010e7: SWAP1 000010e8: SWAP2 000010e9: SWAP1 000010ea: PUSH4 0xffffffff 000010ef: AND 000010f0: JUMP 000010f1: JUMPDEST 000010f2: SWAP1 000010f3: POP 000010f4: JUMPDEST 000010f5: ADDRESS 000010f6: PUSH0 000010f7: SWAP1 000010f8: DUP2 000010f9: MSTORE 000010fa: PUSH1 0x01 000010fc: PUSH1 0x20 000010fe: MSTORE 000010ff: PUSH1 0x40 00001101: SWAP1 00001102: KECCAK256 00001103: SLOAD 00001104: PUSH1 0x0d 00001106: SLOAD 00001107: PUSH1 0x01 00001109: PUSH1 0xa8 0000110b: SHL 0000110c: SWAP1 0000110d: DIV 0000110e: PUSH1 0xff 00001110: AND 00001111: ISZERO 00001112: DUP1 00001113: ISZERO 00001114: PUSH2 0x112a 00001117: JUMPI 00001118: POP 00001119: PUSH1 0x0d 0000111b: SLOAD 0000111c: PUSH1 0x01 0000111e: PUSH1 0x01 00001120: PUSH1 0xa0 00001122: SHL 00001123: SUB 00001124: DUP6 00001125: DUP2 00001126: AND 00001127: SWAP2 00001128: AND 00001129: EQ 0000112a: JUMPDEST 0000112b: DUP1 0000112c: ISZERO 0000112d: PUSH2 0x113f 00001130: JUMPI 00001131: POP 00001132: PUSH1 0x0d 00001134: SLOAD 00001135: PUSH1 0x01 00001137: PUSH1 0xb0 00001139: SHL 0000113a: SWAP1 0000113b: DIV 0000113c: PUSH1 0xff 0000113e: AND 0000113f: JUMPDEST 00001140: DUP1 00001141: ISZERO 00001142: PUSH2 0x114c 00001145: JUMPI 00001146: POP 00001147: PUSH1 0x0a 00001149: SLOAD 0000114a: DUP2 0000114b: GT 0000114c: JUMPDEST 0000114d: ISZERO 0000114e: PUSH2 0x1180 00001151: JUMPI 00001152: PUSH2 0x116e 00001155: PUSH2 0x1169 00001158: DUP5 00001159: PUSH2 0x1164 0000115c: DUP5 0000115d: PUSH1 0x0b 0000115f: SLOAD 00001160: PUSH2 0x146b 00001163: JUMP 00001164: JUMPDEST 00001165: PUSH2 0x146b 00001168: JUMP 00001169: JUMPDEST 0000116a: PUSH2 0x147f 0000116d: JUMP 0000116e: JUMPDEST 0000116f: SELFBALANCE 00001170: DUP1 00001171: ISZERO 00001172: PUSH2 0x117e 00001175: JUMPI 00001176: PUSH2 0x117e 00001179: SELFBALANCE 0000117a: PUSH2 0x136e 0000117d: JUMP 0000117e: JUMPDEST 0000117f: POP 00001180: JUMPDEST 00001181: POP 00001182: JUMPDEST 00001183: PUSH1 0x01 00001185: PUSH1 0x01 00001187: PUSH1 0xa0 00001189: SHL 0000118a: SUB 0000118b: DUP5 0000118c: AND 0000118d: PUSH0 0000118e: SWAP1 0000118f: DUP2 00001190: MSTORE 00001191: PUSH1 0x03 00001193: PUSH1 0x20 00001195: MSTORE 00001196: PUSH1 0x40 00001198: SWAP1 00001199: KECCAK256 0000119a: SLOAD 0000119b: PUSH1 0xff 0000119d: AND 0000119e: DUP1 0000119f: PUSH2 0x11bf 000011a2: JUMPI 000011a3: POP 000011a4: PUSH1 0x01 000011a6: PUSH1 0x01 000011a8: PUSH1 0xa0 000011aa: SHL 000011ab: SUB 000011ac: DUP4 000011ad: AND 000011ae: PUSH0 000011af: SWAP1 000011b0: DUP2 000011b1: MSTORE 000011b2: PUSH1 0x03 000011b4: PUSH1 0x20 000011b6: MSTORE 000011b7: PUSH1 0x40 000011b9: SWAP1 000011ba: KECCAK256 000011bb: SLOAD 000011bc: PUSH1 0xff 000011be: AND 000011bf: JUMPDEST 000011c0: DUP1 000011c1: PUSH2 0x11f1 000011c4: JUMPI 000011c5: POP 000011c6: PUSH1 0x0d 000011c8: SLOAD 000011c9: PUSH1 0x01 000011cb: PUSH1 0x01 000011cd: PUSH1 0xa0 000011cf: SHL 000011d0: SUB 000011d1: DUP6 000011d2: DUP2 000011d3: AND 000011d4: SWAP2 000011d5: AND 000011d6: EQ 000011d7: DUP1 000011d8: ISZERO 000011d9: SWAP1 000011da: PUSH2 0x11f1 000011dd: JUMPI 000011de: POP 000011df: PUSH1 0x0d 000011e1: SLOAD 000011e2: PUSH1 0x01 000011e4: PUSH1 0x01 000011e6: PUSH1 0xa0 000011e8: SHL 000011e9: SUB 000011ea: DUP5 000011eb: DUP2 000011ec: AND 000011ed: SWAP2 000011ee: AND 000011ef: EQ 000011f0: ISZERO 000011f1: JUMPDEST 000011f2: ISZERO 000011f3: PUSH2 0x11f9 000011f6: JUMPI 000011f7: POP 000011f8: PUSH0 000011f9: JUMPDEST 000011fa: DUP1 000011fb: ISZERO 000011fc: PUSH2 0x1271 000011ff: JUMPI 00001200: ADDRESS 00001201: PUSH0 00001202: SWAP1 00001203: DUP2 00001204: MSTORE 00001205: PUSH1 0x01 00001207: PUSH1 0x20 00001209: MSTORE 0000120a: PUSH1 0x40 0000120c: SWAP1 0000120d: KECCAK256 0000120e: SLOAD 0000120f: PUSH2 0x1218 00001212: SWAP1 00001213: DUP3 00001214: PUSH2 0x15ef 00001217: JUMP 00001218: JUMPDEST 00001219: ADDRESS 0000121a: PUSH0 0000121b: DUP2 0000121c: DUP2 0000121d: MSTORE 0000121e: PUSH1 0x01 00001220: PUSH1 0x20 00001222: MSTORE 00001223: PUSH1 0x40 00001225: SWAP1 00001226: DUP2 00001227: SWAP1 00001228: KECCAK256 00001229: SWAP3 0000122a: SWAP1 0000122b: SWAP3 0000122c: SSTORE 0000122d: SWAP1 0000122e: MLOAD 0000122f: PUSH1 0x01 00001231: PUSH1 0x01 00001233: PUSH1 0xa0 00001235: SHL 00001236: SUB 00001237: DUP7 00001238: AND 00001239: SWAP1 0000123a: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 0000125b: SWAP1 0000125c: PUSH2 0x1268 0000125f: SWAP1 00001260: DUP6 00001261: DUP2 00001262: MSTORE 00001263: PUSH1 0x20 00001265: ADD 00001266: SWAP1 00001267: JUMP 00001268: JUMPDEST 00001269: PUSH1 0x40 0000126b: MLOAD 0000126c: DUP1 0000126d: SWAP2 0000126e: SUB 0000126f: SWAP1 00001270: LOG3 00001271: JUMPDEST 00001272: PUSH1 0x01 00001274: PUSH1 0x01 00001276: PUSH1 0xa0 00001278: SHL 00001279: SUB 0000127a: DUP5 0000127b: AND 0000127c: PUSH0 0000127d: SWAP1 0000127e: DUP2 0000127f: MSTORE 00001280: PUSH1 0x01 00001282: PUSH1 0x20 00001284: MSTORE 00001285: PUSH1 0x40 00001287: SWAP1 00001288: KECCAK256 00001289: SLOAD 0000128a: PUSH2 0x1293 0000128d: SWAP1 0000128e: DUP4 0000128f: PUSH2 0x164d 00001292: JUMP 00001293: JUMPDEST 00001294: PUSH1 0x01 00001296: PUSH1 0x01 00001298: PUSH1 0xa0 0000129a: SHL 0000129b: SUB 0000129c: DUP6 0000129d: AND 0000129e: PUSH0 0000129f: SWAP1 000012a0: DUP2 000012a1: MSTORE 000012a2: PUSH1 0x01 000012a4: PUSH1 0x20 000012a6: MSTORE 000012a7: PUSH1 0x40 000012a9: SWAP1 000012aa: KECCAK256 000012ab: SSTORE 000012ac: PUSH2 0x12d6 000012af: PUSH2 0x12b8 000012b2: DUP4 000012b3: DUP4 000012b4: PUSH2 0x164d 000012b7: JUMP 000012b8: JUMPDEST 000012b9: PUSH1 0x01 000012bb: PUSH1 0x01 000012bd: PUSH1 0xa0 000012bf: SHL 000012c0: SUB 000012c1: DUP6 000012c2: AND 000012c3: PUSH0 000012c4: SWAP1 000012c5: DUP2 000012c6: MSTORE 000012c7: PUSH1 0x01 000012c9: PUSH1 0x20 000012cb: MSTORE 000012cc: PUSH1 0x40 000012ce: SWAP1 000012cf: KECCAK256 000012d0: SLOAD 000012d1: SWAP1 000012d2: PUSH2 0x15ef 000012d5: JUMP 000012d6: JUMPDEST 000012d7: PUSH1 0x01 000012d9: PUSH1 0x01 000012db: PUSH1 0xa0 000012dd: SHL 000012de: SUB 000012df: DUP1 000012e0: DUP6 000012e1: AND 000012e2: PUSH0 000012e3: DUP2 000012e4: DUP2 000012e5: MSTORE 000012e6: PUSH1 0x01 000012e8: PUSH1 0x20 000012ea: MSTORE 000012eb: PUSH1 0x40 000012ed: SWAP1 000012ee: KECCAK256 000012ef: SWAP3 000012f0: SWAP1 000012f1: SWAP3 000012f2: SSTORE 000012f3: DUP6 000012f4: AND 000012f5: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001316: PUSH2 0x131f 00001319: DUP6 0000131a: DUP6 0000131b: PUSH2 0x164d 0000131e: JUMP 0000131f: JUMPDEST 00001320: PUSH1 0x40 00001322: MLOAD 00001323: SWAP1 00001324: DUP2 00001325: MSTORE 00001326: PUSH1 0x20 00001328: ADD 00001329: PUSH1 0x40 0000132b: MLOAD 0000132c: DUP1 0000132d: SWAP2 0000132e: SUB 0000132f: SWAP1 00001330: LOG3 00001331: POP 00001332: POP 00001333: POP 00001334: POP 00001335: JUMP 00001336: JUMPDEST 00001337: PUSH0 00001338: DUP2 00001339: DUP5 0000133a: DUP5 0000133b: GT 0000133c: ISZERO 0000133d: PUSH2 0x1359 00001340: JUMPI 00001341: PUSH1 0x40 00001343: MLOAD 00001344: PUSH3 0x461bcd 00001348: PUSH1 0xe5 0000134a: SHL 0000134b: DUP2 0000134c: MSTORE 0000134d: PUSH1 0x04 0000134f: ADD 00001350: PUSH2 0x053d 00001353: SWAP2 00001354: SWAP1 00001355: PUSH2 0x16ba 00001358: JUMP 00001359: JUMPDEST 0000135a: POP 0000135b: PUSH0 0000135c: PUSH2 0x1365 0000135f: DUP5 00001360: DUP7 00001361: PUSH2 0x19d0 00001364: JUMP 00001365: JUMPDEST 00001366: SWAP6 00001367: SWAP5 00001368: POP 00001369: POP 0000136a: POP 0000136b: POP 0000136c: POP 0000136d: JUMP 0000136e: JUMPDEST 0000136f: PUSH1 0x05 00001371: SLOAD 00001372: PUSH1 0x40 00001374: MLOAD 00001375: PUSH1 0x01 00001377: PUSH1 0x01 00001379: PUSH1 0xa0 0000137b: SHL 0000137c: SUB 0000137d: SWAP1 0000137e: SWAP2 0000137f: AND 00001380: SWAP1 00001381: DUP3 00001382: ISZERO 00001383: PUSH2 0x08fc 00001386: MUL 00001387: SWAP1 00001388: DUP4 00001389: SWAP1 0000138a: PUSH0 0000138b: DUP2 0000138c: DUP2 0000138d: DUP2 0000138e: DUP6 0000138f: DUP9 00001390: DUP9 00001391: CALL 00001392: SWAP4 00001393: POP 00001394: POP 00001395: POP 00001396: POP 00001397: ISZERO 00001398: DUP1 00001399: ISZERO 0000139a: PUSH2 0x0c27 0000139d: JUMPI 0000139e: RETURNDATASIZE 0000139f: PUSH0 000013a0: DUP1 000013a1: RETURNDATACOPY 000013a2: RETURNDATASIZE 000013a3: PUSH0 000013a4: REVERT 000013a5: JUMPDEST 000013a6: PUSH0 000013a7: DUP3 000013a8: PUSH0 000013a9: SUB 000013aa: PUSH2 0x13b4 000013ad: JUMPI 000013ae: POP 000013af: PUSH0 000013b0: PUSH2 0x0431 000013b3: JUMP 000013b4: JUMPDEST 000013b5: PUSH0 000013b6: PUSH2 0x13bf 000013b9: DUP4 000013ba: DUP6 000013bb: PUSH2 0x18f5 000013be: JUMP 000013bf: JUMPDEST 000013c0: SWAP1 000013c1: POP 000013c2: DUP3 000013c3: PUSH2 0x13cc 000013c6: DUP6 000013c7: DUP4 000013c8: PUSH2 0x19e3 000013cb: JUMP 000013cc: JUMPDEST 000013cd: EQ 000013ce: PUSH2 0x1423 000013d1: JUMPI 000013d2: PUSH1 0x40 000013d4: MLOAD 000013d5: PUSH3 0x461bcd 000013d9: PUSH1 0xe5 000013db: SHL 000013dc: DUP2 000013dd: MSTORE 000013de: PUSH1 0x20 000013e0: PUSH1 0x04 000013e2: DUP3 000013e3: ADD 000013e4: MSTORE 000013e5: PUSH1 0x21 000013e7: PUSH1 0x24 000013e9: DUP3 000013ea: ADD 000013eb: MSTORE 000013ec: PUSH32 0x536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f 0000140d: PUSH1 0x44 0000140f: DUP3 00001410: ADD 00001411: MSTORE 00001412: PUSH1 0x77 00001414: PUSH1 0xf8 00001416: SHL 00001417: PUSH1 0x64 00001419: DUP3 0000141a: ADD 0000141b: MSTORE 0000141c: PUSH1 0x84 0000141e: ADD 0000141f: PUSH2 0x053d 00001422: JUMP 00001423: JUMPDEST 00001424: SWAP4 00001425: SWAP3 00001426: POP 00001427: POP 00001428: POP 00001429: JUMP 0000142a: JUMPDEST 0000142b: PUSH0 0000142c: PUSH2 0x1423 0000142f: DUP4 00001430: DUP4 00001431: PUSH1 0x40 00001433: MLOAD 00001434: DUP1 00001435: PUSH1 0x40 00001437: ADD 00001438: PUSH1 0x40 0000143a: MSTORE 0000143b: DUP1 0000143c: PUSH1 0x1a 0000143e: DUP2 0000143f: MSTORE 00001440: PUSH1 0x20 00001442: ADD 00001443: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000 00001464: DUP2 00001465: MSTORE 00001466: POP 00001467: PUSH2 0x168e 0000146a: JUMP 0000146b: JUMPDEST 0000146c: PUSH0 0000146d: DUP2 0000146e: DUP4 0000146f: GT 00001470: PUSH2 0x1479 00001473: JUMPI 00001474: DUP3 00001475: PUSH2 0x1423 00001478: JUMP 00001479: JUMPDEST 0000147a: POP 0000147b: SWAP2 0000147c: SWAP1 0000147d: POP 0000147e: JUMP 0000147f: JUMPDEST 00001480: PUSH1 0x0d 00001482: DUP1 00001483: SLOAD 00001484: PUSH1 0xff 00001486: PUSH1 0xa8 00001488: SHL 00001489: NOT 0000148a: AND 0000148b: PUSH1 0x01 0000148d: PUSH1 0xa8 0000148f: SHL 00001490: OR 00001491: SWAP1 00001492: SSTORE 00001493: PUSH1 0x40 00001495: DUP1 00001496: MLOAD 00001497: PUSH1 0x02 00001499: DUP1 0000149a: DUP3 0000149b: MSTORE 0000149c: PUSH1 0x60 0000149e: DUP3 0000149f: ADD 000014a0: DUP4 000014a1: MSTORE 000014a2: PUSH0 000014a3: SWAP3 000014a4: PUSH1 0x20 000014a6: DUP4 000014a7: ADD 000014a8: SWAP1 000014a9: DUP1 000014aa: CALLDATASIZE 000014ab: DUP4 000014ac: CALLDATACOPY 000014ad: ADD 000014ae: SWAP1 000014af: POP 000014b0: POP 000014b1: SWAP1 000014b2: POP 000014b3: ADDRESS 000014b4: DUP2 000014b5: PUSH0 000014b6: DUP2 000014b7: MLOAD 000014b8: DUP2 000014b9: LT 000014ba: PUSH2 0x14c5 000014bd: JUMPI 000014be: PUSH2 0x14c5 000014c1: PUSH2 0x1a02 000014c4: JUMP 000014c5: JUMPDEST 000014c6: PUSH1 0x01 000014c8: PUSH1 0x01 000014ca: PUSH1 0xa0 000014cc: SHL 000014cd: SUB 000014ce: SWAP3 000014cf: DUP4 000014d0: AND 000014d1: PUSH1 0x20 000014d3: SWAP2 000014d4: DUP3 000014d5: MUL 000014d6: SWAP3 000014d7: SWAP1 000014d8: SWAP3 000014d9: ADD 000014da: DUP2 000014db: ADD 000014dc: SWAP2 000014dd: SWAP1 000014de: SWAP2 000014df: MSTORE 000014e0: PUSH1 0x0c 000014e2: SLOAD 000014e3: PUSH1 0x40 000014e5: DUP1 000014e6: MLOAD 000014e7: PUSH4 0x15ab88c9 000014ec: PUSH1 0xe3 000014ee: SHL 000014ef: DUP2 000014f0: MSTORE 000014f1: SWAP1 000014f2: MLOAD 000014f3: SWAP2 000014f4: SWAP1 000014f5: SWAP4 000014f6: AND 000014f7: SWAP3 000014f8: PUSH4 0xad5c4648 000014fd: SWAP3 000014fe: PUSH1 0x04 00001500: DUP1 00001501: DUP4 00001502: ADD 00001503: SWAP4 00001504: SWAP2 00001505: SWAP3 00001506: DUP3 00001507: SWAP1 00001508: SUB 00001509: ADD 0000150a: DUP2 0000150b: DUP7 0000150c: GAS 0000150d: STATICCALL 0000150e: ISZERO 0000150f: DUP1 00001510: ISZERO 00001511: PUSH2 0x151c 00001514: JUMPI 00001515: RETURNDATASIZE 00001516: PUSH0 00001517: DUP1 00001518: RETURNDATACOPY 00001519: RETURNDATASIZE 0000151a: PUSH0 0000151b: REVERT 0000151c: JUMPDEST 0000151d: POP 0000151e: POP 0000151f: POP 00001520: POP 00001521: PUSH1 0x40 00001523: MLOAD 00001524: RETURNDATASIZE 00001525: PUSH1 0x1f 00001527: NOT 00001528: PUSH1 0x1f 0000152a: DUP3 0000152b: ADD 0000152c: AND 0000152d: DUP3 0000152e: ADD 0000152f: DUP1 00001530: PUSH1 0x40 00001532: MSTORE 00001533: POP 00001534: DUP2 00001535: ADD 00001536: SWAP1 00001537: PUSH2 0x1540 0000153a: SWAP2 0000153b: SWAP1 0000153c: PUSH2 0x1941 0000153f: JUMP 00001540: JUMPDEST 00001541: DUP2 00001542: PUSH1 0x01 00001544: DUP2 00001545: MLOAD 00001546: DUP2 00001547: LT 00001548: PUSH2 0x1553 0000154b: JUMPI 0000154c: PUSH2 0x1553 0000154f: PUSH2 0x1a02 00001552: JUMP 00001553: JUMPDEST 00001554: PUSH1 0x01 00001556: PUSH1 0x01 00001558: PUSH1 0xa0 0000155a: SHL 0000155b: SUB 0000155c: SWAP3 0000155d: DUP4 0000155e: AND 0000155f: PUSH1 0x20 00001561: SWAP2 00001562: DUP3 00001563: MUL 00001564: SWAP3 00001565: SWAP1 00001566: SWAP3 00001567: ADD 00001568: ADD 00001569: MSTORE 0000156a: PUSH1 0x0c 0000156c: SLOAD 0000156d: PUSH2 0x1579 00001570: SWAP2 00001571: ADDRESS 00001572: SWAP2 00001573: AND 00001574: DUP5 00001575: PUSH2 0x0c5f 00001578: JUMP 00001579: JUMPDEST 0000157a: PUSH1 0x0c 0000157c: SLOAD 0000157d: PUSH1 0x40 0000157f: MLOAD 00001580: PUSH4 0x791ac947 00001585: PUSH1 0xe0 00001587: SHL 00001588: DUP2 00001589: MSTORE 0000158a: PUSH1 0x01 0000158c: PUSH1 0x01 0000158e: PUSH1 0xa0 00001590: SHL 00001591: SUB 00001592: SWAP1 00001593: SWAP2 00001594: AND 00001595: SWAP1 00001596: PUSH4 0x791ac947 0000159b: SWAP1 0000159c: PUSH2 0x15b1 0000159f: SWAP1 000015a0: DUP6 000015a1: SWAP1 000015a2: PUSH0 000015a3: SWAP1 000015a4: DUP7 000015a5: SWAP1 000015a6: ADDRESS 000015a7: SWAP1 000015a8: TIMESTAMP 000015a9: SWAP1 000015aa: PUSH1 0x04 000015ac: ADD 000015ad: PUSH2 0x1a16 000015b0: JUMP 000015b1: JUMPDEST 000015b2: PUSH0 000015b3: PUSH1 0x40 000015b5: MLOAD 000015b6: DUP1 000015b7: DUP4 000015b8: SUB 000015b9: DUP2 000015ba: PUSH0 000015bb: DUP8 000015bc: DUP1 000015bd: EXTCODESIZE 000015be: ISZERO 000015bf: DUP1 000015c0: ISZERO 000015c1: PUSH2 0x15c8 000015c4: JUMPI 000015c5: PUSH0 000015c6: DUP1 000015c7: REVERT 000015c8: JUMPDEST 000015c9: POP 000015ca: GAS 000015cb: CALL 000015cc: ISZERO 000015cd: DUP1 000015ce: ISZERO 000015cf: PUSH2 0x15da 000015d2: JUMPI 000015d3: RETURNDATASIZE 000015d4: PUSH0 000015d5: DUP1 000015d6: RETURNDATACOPY 000015d7: RETURNDATASIZE 000015d8: PUSH0 000015d9: REVERT 000015da: JUMPDEST 000015db: POP 000015dc: POP 000015dd: PUSH1 0x0d 000015df: DUP1 000015e0: SLOAD 000015e1: PUSH1 0xff 000015e3: PUSH1 0xa8 000015e5: SHL 000015e6: NOT 000015e7: AND 000015e8: SWAP1 000015e9: SSTORE 000015ea: POP 000015eb: POP 000015ec: POP 000015ed: POP 000015ee: JUMP 000015ef: JUMPDEST 000015f0: PUSH0 000015f1: DUP1 000015f2: PUSH2 0x15fb 000015f5: DUP4 000015f6: DUP6 000015f7: PUSH2 0x19bd 000015fa: JUMP 000015fb: JUMPDEST 000015fc: SWAP1 000015fd: POP 000015fe: DUP4 000015ff: DUP2 00001600: LT 00001601: ISZERO 00001602: PUSH2 0x1423 00001605: JUMPI 00001606: PUSH1 0x40 00001608: MLOAD 00001609: PUSH3 0x461bcd 0000160d: PUSH1 0xe5 0000160f: SHL 00001610: DUP2 00001611: MSTORE 00001612: PUSH1 0x20 00001614: PUSH1 0x04 00001616: DUP3 00001617: ADD 00001618: MSTORE 00001619: PUSH1 0x1b 0000161b: PUSH1 0x24 0000161d: DUP3 0000161e: ADD 0000161f: MSTORE 00001620: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 00001641: PUSH1 0x44 00001643: DUP3 00001644: ADD 00001645: MSTORE 00001646: PUSH1 0x64 00001648: ADD 00001649: PUSH2 0x053d 0000164c: JUMP 0000164d: JUMPDEST 0000164e: PUSH0 0000164f: PUSH2 0x1423 00001652: DUP4 00001653: DUP4 00001654: PUSH1 0x40 00001656: MLOAD 00001657: DUP1 00001658: PUSH1 0x40 0000165a: ADD 0000165b: PUSH1 0x40 0000165d: MSTORE 0000165e: DUP1 0000165f: PUSH1 0x1e 00001661: DUP2 00001662: MSTORE 00001663: PUSH1 0x20 00001665: ADD 00001666: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 00001687: DUP2 00001688: MSTORE 00001689: POP 0000168a: PUSH2 0x1336 0000168d: JUMP 0000168e: JUMPDEST 0000168f: PUSH0 00001690: DUP2 00001691: DUP4 00001692: PUSH2 0x16ae 00001695: JUMPI 00001696: PUSH1 0x40 00001698: MLOAD 00001699: PUSH3 0x461bcd 0000169d: PUSH1 0xe5 0000169f: SHL 000016a0: DUP2 000016a1: MSTORE 000016a2: PUSH1 0x04 000016a4: ADD 000016a5: PUSH2 0x053d 000016a8: SWAP2 000016a9: SWAP1 000016aa: PUSH2 0x16ba 000016ad: JUMP 000016ae: JUMPDEST 000016af: POP 000016b0: PUSH0 000016b1: PUSH2 0x1365 000016b4: DUP5 000016b5: DUP7 000016b6: PUSH2 0x19e3 000016b9: JUMP 000016ba: JUMPDEST 000016bb: PUSH0 000016bc: PUSH1 0x20 000016be: DUP1 000016bf: DUP4 000016c0: MSTORE 000016c1: DUP4 000016c2: MLOAD 000016c3: DUP1 000016c4: DUP3 000016c5: DUP6 000016c6: ADD 000016c7: MSTORE 000016c8: PUSH0 000016c9: JUMPDEST 000016ca: DUP2 000016cb: DUP2 000016cc: LT 000016cd: ISZERO 000016ce: PUSH2 0x16e5 000016d1: JUMPI 000016d2: DUP6 000016d3: DUP2 000016d4: ADD 000016d5: DUP4 000016d6: ADD 000016d7: MLOAD 000016d8: DUP6 000016d9: DUP3 000016da: ADD 000016db: PUSH1 0x40 000016dd: ADD 000016de: MSTORE 000016df: DUP3 000016e0: ADD 000016e1: PUSH2 0x16c9 000016e4: JUMP 000016e5: JUMPDEST 000016e6: POP 000016e7: PUSH0 000016e8: PUSH1 0x40 000016ea: DUP3 000016eb: DUP7 000016ec: ADD 000016ed: ADD 000016ee: MSTORE 000016ef: PUSH1 0x40 000016f1: PUSH1 0x1f 000016f3: NOT 000016f4: PUSH1 0x1f 000016f6: DUP4 000016f7: ADD 000016f8: AND 000016f9: DUP6 000016fa: ADD 000016fb: ADD 000016fc: SWAP3 000016fd: POP 000016fe: POP 000016ff: POP 00001700: SWAP3 00001701: SWAP2 00001702: POP 00001703: POP 00001704: JUMP 00001705: JUMPDEST 00001706: PUSH1 0x01 00001708: PUSH1 0x01 0000170a: PUSH1 0xa0 0000170c: SHL 0000170d: SUB 0000170e: DUP2 0000170f: AND 00001710: DUP2 00001711: EQ 00001712: PUSH2 0x0511 00001715: JUMPI 00001716: PUSH0 00001717: DUP1 00001718: REVERT 00001719: JUMPDEST 0000171a: PUSH0 0000171b: DUP1 0000171c: PUSH1 0x40 0000171e: DUP4 0000171f: DUP6 00001720: SUB 00001721: SLT 00001722: ISZERO 00001723: PUSH2 0x172a 00001726: JUMPI 00001727: PUSH0 00001728: DUP1 00001729: REVERT 0000172a: JUMPDEST 0000172b: DUP3 0000172c: CALLDATALOAD 0000172d: PUSH2 0x1735 00001730: DUP2 00001731: PUSH2 0x1705 00001734: JUMP 00001735: JUMPDEST 00001736: SWAP5 00001737: PUSH1 0x20 00001739: SWAP4 0000173a: SWAP1 0000173b: SWAP4 0000173c: ADD 0000173d: CALLDATALOAD 0000173e: SWAP4 0000173f: POP 00001740: POP 00001741: POP 00001742: JUMP 00001743: JUMPDEST 00001744: PUSH0 00001745: DUP1 00001746: PUSH0 00001747: PUSH1 0x60 00001749: DUP5 0000174a: DUP7 0000174b: SUB 0000174c: SLT 0000174d: ISZERO 0000174e: PUSH2 0x1755 00001751: JUMPI 00001752: PUSH0 00001753: DUP1 00001754: REVERT 00001755: JUMPDEST 00001756: DUP4 00001757: CALLDATALOAD 00001758: PUSH2 0x1760 0000175b: DUP2 0000175c: PUSH2 0x1705 0000175f: JUMP 00001760: JUMPDEST 00001761: SWAP3 00001762: POP 00001763: PUSH1 0x20 00001765: DUP5 00001766: ADD 00001767: CALLDATALOAD 00001768: PUSH2 0x1770 0000176b: DUP2 0000176c: PUSH2 0x1705 0000176f: JUMP 00001770: JUMPDEST 00001771: SWAP3 00001772: SWAP6 00001773: SWAP3 00001774: SWAP5 00001775: POP 00001776: POP 00001777: POP 00001778: PUSH1 0x40 0000177a: SWAP2 0000177b: SWAP1 0000177c: SWAP2 0000177d: ADD 0000177e: CALLDATALOAD 0000177f: SWAP1 00001780: JUMP 00001781: JUMPDEST 00001782: PUSH0 00001783: PUSH1 0x20 00001785: DUP3 00001786: DUP5 00001787: SUB 00001788: SLT 00001789: ISZERO 0000178a: PUSH2 0x1791 0000178d: JUMPI 0000178e: PUSH0 0000178f: DUP1 00001790: REVERT 00001791: JUMPDEST 00001792: DUP2 00001793: CALLDATALOAD 00001794: PUSH2 0x1423 00001797: DUP2 00001798: PUSH2 0x1705 0000179b: JUMP 0000179c: JUMPDEST 0000179d: PUSH0 0000179e: DUP1 0000179f: PUSH1 0x40 000017a1: DUP4 000017a2: DUP6 000017a3: SUB 000017a4: SLT 000017a5: ISZERO 000017a6: PUSH2 0x17ad 000017a9: JUMPI 000017aa: PUSH0 000017ab: DUP1 000017ac: REVERT 000017ad: JUMPDEST 000017ae: POP 000017af: POP 000017b0: DUP1 000017b1: CALLDATALOAD 000017b2: SWAP3 000017b3: PUSH1 0x20 000017b5: SWAP1 000017b6: SWAP2 000017b7: ADD 000017b8: CALLDATALOAD 000017b9: SWAP2 000017ba: POP 000017bb: JUMP 000017bc: JUMPDEST 000017bd: PUSH0 000017be: DUP1 000017bf: PUSH1 0x40 000017c1: DUP4 000017c2: DUP6 000017c3: SUB 000017c4: SLT 000017c5: ISZERO 000017c6: PUSH2 0x17cd 000017c9: JUMPI 000017ca: PUSH0 000017cb: DUP1 000017cc: REVERT 000017cd: JUMPDEST 000017ce: DUP3 000017cf: CALLDATALOAD 000017d0: PUSH2 0x17d8 000017d3: DUP2 000017d4: PUSH2 0x1705 000017d7: JUMP 000017d8: JUMPDEST 000017d9: SWAP2 000017da: POP 000017db: PUSH1 0x20 000017dd: DUP4 000017de: ADD 000017df: CALLDATALOAD 000017e0: PUSH2 0x17e8 000017e3: DUP2 000017e4: PUSH2 0x1705 000017e7: JUMP 000017e8: JUMPDEST 000017e9: DUP1 000017ea: SWAP2 000017eb: POP 000017ec: POP 000017ed: SWAP3 000017ee: POP 000017ef: SWAP3 000017f0: SWAP1 000017f1: POP 000017f2: JUMP 000017f3: JUMPDEST 000017f4: PUSH4 0x4e487b71 000017f9: PUSH1 0xe0 000017fb: SHL 000017fc: PUSH0 000017fd: MSTORE 000017fe: PUSH1 0x11 00001800: PUSH1 0x04 00001802: MSTORE 00001803: PUSH1 0x24 00001805: PUSH0 00001806: REVERT 00001807: JUMPDEST 00001808: PUSH1 0x01 0000180a: DUP2 0000180b: DUP2 0000180c: JUMPDEST 0000180d: DUP1 0000180e: DUP6 0000180f: GT 00001810: ISZERO 00001811: PUSH2 0x1841 00001814: JUMPI 00001815: DUP2 00001816: PUSH0 00001817: NOT 00001818: DIV 00001819: DUP3 0000181a: GT 0000181b: ISZERO 0000181c: PUSH2 0x1827 0000181f: JUMPI 00001820: PUSH2 0x1827 00001823: PUSH2 0x17f3 00001826: JUMP 00001827: JUMPDEST 00001828: DUP1 00001829: DUP6 0000182a: AND 0000182b: ISZERO 0000182c: PUSH2 0x1834 0000182f: JUMPI 00001830: SWAP2 00001831: DUP2 00001832: MUL 00001833: SWAP2 00001834: JUMPDEST 00001835: SWAP4 00001836: DUP5 00001837: SHR 00001838: SWAP4 00001839: SWAP1 0000183a: DUP1 0000183b: MUL 0000183c: SWAP1 0000183d: PUSH2 0x180c 00001840: JUMP 00001841: JUMPDEST 00001842: POP 00001843: SWAP3 00001844: POP 00001845: SWAP3 00001846: SWAP1 00001847: POP 00001848: JUMP 00001849: JUMPDEST 0000184a: PUSH0 0000184b: DUP3 0000184c: PUSH2 0x1857 0000184f: JUMPI 00001850: POP 00001851: PUSH1 0x01 00001853: PUSH2 0x0431 00001856: JUMP 00001857: JUMPDEST 00001858: DUP2 00001859: PUSH2 0x1863 0000185c: JUMPI 0000185d: POP 0000185e: PUSH0 0000185f: PUSH2 0x0431 00001862: JUMP 00001863: JUMPDEST 00001864: DUP2 00001865: PUSH1 0x01 00001867: DUP2 00001868: EQ 00001869: PUSH2 0x1879 0000186c: JUMPI 0000186d: PUSH1 0x02 0000186f: DUP2 00001870: EQ 00001871: PUSH2 0x1883 00001874: JUMPI 00001875: PUSH2 0x189f 00001878: JUMP 00001879: JUMPDEST 0000187a: PUSH1 0x01 0000187c: SWAP2 0000187d: POP 0000187e: POP 0000187f: PUSH2 0x0431 00001882: JUMP 00001883: JUMPDEST 00001884: PUSH1 0xff 00001886: DUP5 00001887: GT 00001888: ISZERO 00001889: PUSH2 0x1894 0000188c: JUMPI 0000188d: PUSH2 0x1894 00001890: PUSH2 0x17f3 00001893: JUMP 00001894: JUMPDEST 00001895: POP 00001896: POP 00001897: PUSH1 0x01 00001899: DUP3 0000189a: SHL 0000189b: PUSH2 0x0431 0000189e: JUMP 0000189f: JUMPDEST 000018a0: POP 000018a1: PUSH1 0x20 000018a3: DUP4 000018a4: LT 000018a5: PUSH2 0x0133 000018a8: DUP4 000018a9: LT 000018aa: AND 000018ab: PUSH1 0x4e 000018ad: DUP5 000018ae: LT 000018af: PUSH1 0x0b 000018b1: DUP5 000018b2: LT 000018b3: AND 000018b4: OR 000018b5: ISZERO 000018b6: PUSH2 0x18c2 000018b9: JUMPI 000018ba: POP 000018bb: DUP2 000018bc: DUP2 000018bd: EXP 000018be: PUSH2 0x0431 000018c1: JUMP 000018c2: JUMPDEST 000018c3: PUSH2 0x18cc 000018c6: DUP4 000018c7: DUP4 000018c8: PUSH2 0x1807 000018cb: JUMP 000018cc: JUMPDEST 000018cd: DUP1 000018ce: PUSH0 000018cf: NOT 000018d0: DIV 000018d1: DUP3 000018d2: GT 000018d3: ISZERO 000018d4: PUSH2 0x18df 000018d7: JUMPI 000018d8: PUSH2 0x18df 000018db: PUSH2 0x17f3 000018de: JUMP 000018df: JUMPDEST 000018e0: MUL 000018e1: SWAP4 000018e2: SWAP3 000018e3: POP 000018e4: POP 000018e5: POP 000018e6: JUMP 000018e7: JUMPDEST 000018e8: PUSH0 000018e9: PUSH2 0x1423 000018ec: PUSH1 0xff 000018ee: DUP5 000018ef: AND 000018f0: DUP4 000018f1: PUSH2 0x1849 000018f4: JUMP 000018f5: JUMPDEST 000018f6: DUP1 000018f7: DUP3 000018f8: MUL 000018f9: DUP2 000018fa: ISZERO 000018fb: DUP3 000018fc: DUP3 000018fd: DIV 000018fe: DUP5 000018ff: EQ 00001900: OR 00001901: PUSH2 0x0431 00001904: JUMPI 00001905: PUSH2 0x0431 00001908: PUSH2 0x17f3 0000190b: JUMP 0000190c: JUMPDEST 0000190d: PUSH1 0x20 0000190f: DUP1 00001910: DUP3 00001911: MSTORE 00001912: DUP2 00001913: DUP2 00001914: ADD 00001915: MSTORE 00001916: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00001937: PUSH1 0x40 00001939: DUP3 0000193a: ADD 0000193b: MSTORE 0000193c: PUSH1 0x60 0000193e: ADD 0000193f: SWAP1 00001940: JUMP 00001941: JUMPDEST 00001942: PUSH0 00001943: PUSH1 0x20 00001945: DUP3 00001946: DUP5 00001947: SUB 00001948: SLT 00001949: ISZERO 0000194a: PUSH2 0x1951 0000194d: JUMPI 0000194e: PUSH0 0000194f: DUP1 00001950: REVERT 00001951: JUMPDEST 00001952: DUP2 00001953: MLOAD 00001954: PUSH2 0x1423 00001957: DUP2 00001958: PUSH2 0x1705 0000195b: JUMP 0000195c: JUMPDEST 0000195d: PUSH0 0000195e: DUP1 0000195f: PUSH0 00001960: PUSH1 0x60 00001962: DUP5 00001963: DUP7 00001964: SUB 00001965: SLT 00001966: ISZERO 00001967: PUSH2 0x196e 0000196a: JUMPI 0000196b: PUSH0 0000196c: DUP1 0000196d: REVERT 0000196e: JUMPDEST 0000196f: DUP4 00001970: MLOAD 00001971: SWAP3 00001972: POP 00001973: PUSH1 0x20 00001975: DUP5 00001976: ADD 00001977: MLOAD 00001978: SWAP2 00001979: POP 0000197a: PUSH1 0x40 0000197c: DUP5 0000197d: ADD 0000197e: MLOAD 0000197f: SWAP1 00001980: POP 00001981: SWAP3 00001982: POP 00001983: SWAP3 00001984: POP 00001985: SWAP3 00001986: JUMP 00001987: JUMPDEST 00001988: PUSH0 00001989: PUSH1 0x20 0000198b: DUP3 0000198c: DUP5 0000198d: SUB 0000198e: SLT 0000198f: ISZERO 00001990: PUSH2 0x1997 00001993: JUMPI 00001994: PUSH0 00001995: DUP1 00001996: REVERT 00001997: JUMPDEST 00001998: DUP2 00001999: MLOAD 0000199a: DUP1 0000199b: ISZERO 0000199c: ISZERO 0000199d: DUP2 0000199e: EQ 0000199f: PUSH2 0x1423 000019a2: JUMPI 000019a3: PUSH0 000019a4: DUP1 000019a5: REVERT 000019a6: JUMPDEST 000019a7: PUSH0 000019a8: PUSH1 0x20 000019aa: DUP3 000019ab: DUP5 000019ac: SUB 000019ad: SLT 000019ae: ISZERO 000019af: PUSH2 0x19b6 000019b2: JUMPI 000019b3: PUSH0 000019b4: DUP1 000019b5: REVERT 000019b6: JUMPDEST 000019b7: POP 000019b8: MLOAD 000019b9: SWAP2 000019ba: SWAP1 000019bb: POP 000019bc: JUMP 000019bd: JUMPDEST 000019be: DUP1 000019bf: DUP3 000019c0: ADD 000019c1: DUP1 000019c2: DUP3 000019c3: GT 000019c4: ISZERO 000019c5: PUSH2 0x0431 000019c8: JUMPI 000019c9: PUSH2 0x0431 000019cc: PUSH2 0x17f3 000019cf: JUMP 000019d0: JUMPDEST 000019d1: DUP2 000019d2: DUP2 000019d3: SUB 000019d4: DUP2 000019d5: DUP2 000019d6: GT 000019d7: ISZERO 000019d8: PUSH2 0x0431 000019db: JUMPI 000019dc: PUSH2 0x0431 000019df: PUSH2 0x17f3 000019e2: JUMP 000019e3: JUMPDEST 000019e4: PUSH0 000019e5: DUP3 000019e6: PUSH2 0x19fd 000019e9: JUMPI 000019ea: PUSH4 0x4e487b71 000019ef: PUSH1 0xe0 000019f1: SHL 000019f2: PUSH0 000019f3: MSTORE 000019f4: PUSH1 0x12 000019f6: PUSH1 0x04 000019f8: MSTORE 000019f9: PUSH1 0x24 000019fb: PUSH0 000019fc: REVERT 000019fd: JUMPDEST 000019fe: POP 000019ff: DIV 00001a00: SWAP1 00001a01: JUMP 00001a02: JUMPDEST 00001a03: PUSH4 0x4e487b71 00001a08: PUSH1 0xe0 00001a0a: SHL 00001a0b: PUSH0 00001a0c: MSTORE 00001a0d: PUSH1 0x32 00001a0f: PUSH1 0x04 00001a11: MSTORE 00001a12: PUSH1 0x24 00001a14: PUSH0 00001a15: REVERT 00001a16: JUMPDEST 00001a17: PUSH0 00001a18: PUSH1 0xa0 00001a1a: DUP3 00001a1b: ADD 00001a1c: DUP8 00001a1d: DUP4 00001a1e: MSTORE 00001a1f: PUSH1 0x20 00001a21: DUP8 00001a22: DUP2 00001a23: DUP6 00001a24: ADD 00001a25: MSTORE 00001a26: PUSH1 0xa0 00001a28: PUSH1 0x40 00001a2a: DUP6 00001a2b: ADD 00001a2c: MSTORE 00001a2d: DUP2 00001a2e: DUP8 00001a2f: MLOAD 00001a30: DUP1 00001a31: DUP5 00001a32: MSTORE 00001a33: PUSH1 0xc0 00001a35: DUP7 00001a36: ADD 00001a37: SWAP2 00001a38: POP 00001a39: DUP3 00001a3a: DUP10 00001a3b: ADD 00001a3c: SWAP4 00001a3d: POP 00001a3e: PUSH0 00001a3f: JUMPDEST 00001a40: DUP2 00001a41: DUP2 00001a42: LT 00001a43: ISZERO 00001a44: PUSH2 0x1a64 00001a47: JUMPI 00001a48: DUP5 00001a49: MLOAD 00001a4a: PUSH1 0x01 00001a4c: PUSH1 0x01 00001a4e: PUSH1 0xa0 00001a50: SHL 00001a51: SUB 00001a52: AND 00001a53: DUP4 00001a54: MSTORE 00001a55: SWAP4 00001a56: DUP4 00001a57: ADD 00001a58: SWAP4 00001a59: SWAP2 00001a5a: DUP4 00001a5b: ADD 00001a5c: SWAP2 00001a5d: PUSH1 0x01 00001a5f: ADD 00001a60: PUSH2 0x1a3f 00001a63: JUMP 00001a64: JUMPDEST 00001a65: POP 00001a66: POP 00001a67: PUSH1 0x01 00001a69: PUSH1 0x01 00001a6b: PUSH1 0xa0 00001a6d: SHL 00001a6e: SUB 00001a6f: SWAP7 00001a70: SWAP1 00001a71: SWAP7 00001a72: AND 00001a73: PUSH1 0x60 00001a75: DUP6 00001a76: ADD 00001a77: MSTORE 00001a78: POP 00001a79: POP 00001a7a: POP 00001a7b: PUSH1 0x80 00001a7d: ADD 00001a7e: MSTORE 00001a7f: SWAP4 00001a80: SWAP3 00001a81: POP 00001a82: POP 00001a83: POP 00001a84: JUMP 00001a85: INVALID 00001a86: GASLIMIT 00001a87: MSTORE 00001a88: NUMBER 00001a89: ORIGIN 00001a8a: ADDRESS 00001a8b: GASPRICE 00001a8c: KECCAK256 00001a8d: PUSH21 0x72616e7366657220616d6f756e7420657863656564 00001aa3: PUSH20 0x20616c6c6f77616e6365a2646970667358221220 00001ab8: DUP15 00001ab9: UNKNOWN(0xD1) 00001aba: SWAP11 00001abb: UNKNOWN(0xC6) 00001abc: PUSH1 0xfd 00001abe: UNKNOWN(0xCC) 00001abf: UNKNOWN(0x27) 00001ac0: UNKNOWN(0x22) 00001ac1: TSTORE 00001ac2: AND 00001ac3: PUSH4 0xbe51a752 00001ac8: COINBASE 00001ac9: UNKNOWN(0xDB) 00001aca: PUSH16 0x5a94d199acd2e7d9f6c6c0226864736f 00001adb: PUSH13
| 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": "0xc647b20e",
"selector": "0xc647b20e",
"calldata_variants": [
"0xc647b20e",
"0xc647b20e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc876d0b9",
"selector": "0xc876d0b9",
"calldata_variants": [
"0xc876d0b9",
"0xc876d0b90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc9567bf9",
"selector": "0xc9567bf9",
"calldata_variants": [
"0xc9567bf9",
"0xc9567bf90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe083e922",
"selector": "0xe083e922",
"calldata_variants": [
"0xe083e922",
"0xe083e9220000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf4293890",
"selector": "0xf4293890",
"calldata_variants": [
"0xf4293890",
"0xf42938900000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8a8c523c",
"selector": "0x8a8c523c",
"calldata_variants": [
"0x8a8c523c",
"0x8a8c523c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 6793,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x7875021e89070a28a64b561ae7ca18ee46d081ce9eda9029fa74e389231a0ca3
call_targets:
0x4d4574f50dd8b9dbe623cf329dcc78d76935e610
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x7875021e89070a28a64b561ae7ca18ee46d081ce9eda9029fa74e389231a0ca3",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x4d4574f50dd8b9dbe623cf329dcc78d76935e610"
],
"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": "0xc647b20e",
"selector": "0xc647b20e",
"calldata_variants": [
"0xc647b20e",
"0xc647b20e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc876d0b9",
"selector": "0xc876d0b9",
"calldata_variants": [
"0xc876d0b9",
"0xc876d0b90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc9567bf9",
"selector": "0xc9567bf9",
"calldata_variants": [
"0xc9567bf9",
"0xc9567bf90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe083e922",
"selector": "0xe083e922",
"calldata_variants": [
"0xe083e922",
"0xe083e9220000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf4293890",
"selector": "0xf4293890",
"calldata_variants": [
"0xf4293890",
"0xf42938900000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8a8c523c",
"selector": "0x8a8c523c",
"calldata_variants": [
"0x8a8c523c",
"0x8a8c523c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2259,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2487,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2609,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 6,
"guards_detected": [
{
"pc": 6793,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 6
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x7875021e89070a28a64b561ae7ca18ee46d081ce9eda9029fa74e389231a0ca3
call_targets:
0x4d4574f50dd8b9dbe623cf329dcc78d76935e610
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x7875021e89070a28a64b561ae7ca18ee46d081ce9eda9029fa74e389231a0ca3",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x4d4574f50dd8b9dbe623cf329dcc78d76935e610"
],
"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": "0xc647b20e",
"selector": "0xc647b20e",
"calldata_variants": [
"0xc647b20e",
"0xc647b20e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc876d0b9",
"selector": "0xc876d0b9",
"calldata_variants": [
"0xc876d0b9",
"0xc876d0b90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc9567bf9",
"selector": "0xc9567bf9",
"calldata_variants": [
"0xc9567bf9",
"0xc9567bf90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe083e922",
"selector": "0xe083e922",
"calldata_variants": [
"0xe083e922",
"0xe083e9220000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf4293890",
"selector": "0xf4293890",
"calldata_variants": [
"0xf4293890",
"0xf42938900000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8a8c523c",
"selector": "0x8a8c523c",
"calldata_variants": [
"0x8a8c523c",
"0x8a8c523c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2259,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2487,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2609,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 6,
"guards_detected": [
{
"pc": 6793,
"type": "tx_origin_used"
}
]
}
|