019b477e-d3b3-704b-af46-37380fb33309
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 |
|---|---|---|---|---|
| 28199 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 28200 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 71099 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 71100 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 71101 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 71102 | 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 0x0113 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 0x02bf 00000032: JUMPI 00000033: DUP1 00000034: PUSH4 0xbf474bed 00000039: EQ 0000003a: PUSH2 0x02de 0000003d: JUMPI 0000003e: DUP1 0000003f: PUSH4 0xc876d0b9 00000044: EQ 00000045: PUSH2 0x02f3 00000048: JUMPI 00000049: DUP1 0000004a: PUSH4 0xc9567bf9 0000004f: EQ 00000050: PUSH2 0x030c 00000053: JUMPI 00000054: DUP1 00000055: PUSH4 0xdd62ed3e 0000005a: EQ 0000005b: PUSH2 0x0320 0000005e: JUMPI 0000005f: PUSH0 00000060: DUP1 00000061: REVERT 00000062: JUMPDEST 00000063: DUP1 00000064: PUSH4 0x751039fc 00000069: EQ 0000006a: PUSH2 0x025b 0000006d: JUMPI 0000006e: DUP1 0000006f: PUSH4 0x7d1db4a5 00000074: EQ 00000075: PUSH2 0x026f 00000078: JUMPI 00000079: DUP1 0000007a: PUSH4 0x8da5cb5b 0000007f: EQ 00000080: PUSH2 0x0284 00000083: JUMPI 00000084: DUP1 00000085: PUSH4 0x8f9a55c0 0000008a: EQ 0000008b: PUSH2 0x02aa 0000008e: JUMPI 0000008f: DUP1 00000090: PUSH4 0x95d89b41 00000095: EQ 00000096: PUSH2 0x011e 00000099: JUMPI 0000009a: PUSH0 0000009b: DUP1 0000009c: REVERT 0000009d: JUMPDEST 0000009e: DUP1 0000009f: PUSH4 0x23b872dd 000000a4: GT 000000a5: PUSH2 0x00e3 000000a8: JUMPI 000000a9: DUP1 000000aa: PUSH4 0x23b872dd 000000af: EQ 000000b0: PUSH2 0x01c3 000000b3: JUMPI 000000b4: DUP1 000000b5: PUSH4 0x313ce567 000000ba: EQ 000000bb: PUSH2 0x01e2 000000be: JUMPI 000000bf: DUP1 000000c0: PUSH4 0x51bc3c85 000000c5: EQ 000000c6: PUSH2 0x01fd 000000c9: JUMPI 000000ca: DUP1 000000cb: PUSH4 0x70a08231 000000d0: EQ 000000d1: PUSH2 0x0213 000000d4: JUMPI 000000d5: DUP1 000000d6: PUSH4 0x715018a6 000000db: EQ 000000dc: PUSH2 0x0247 000000df: JUMPI 000000e0: PUSH0 000000e1: DUP1 000000e2: REVERT 000000e3: JUMPDEST 000000e4: DUP1 000000e5: PUSH4 0x06fdde03 000000ea: EQ 000000eb: PUSH2 0x011e 000000ee: JUMPI 000000ef: DUP1 000000f0: PUSH4 0x095ea7b3 000000f5: EQ 000000f6: PUSH2 0x015d 000000f9: JUMPI 000000fa: DUP1 000000fb: PUSH4 0x0faee56f 00000100: EQ 00000101: PUSH2 0x018c 00000104: JUMPI 00000105: DUP1 00000106: PUSH4 0x18160ddd 0000010b: EQ 0000010c: PUSH2 0x01af 0000010f: JUMPI 00000110: PUSH0 00000111: DUP1 00000112: REVERT 00000113: JUMPDEST 00000114: CALLDATASIZE 00000115: PUSH2 0x011a 00000118: JUMPI 00000119: STOP 0000011a: JUMPDEST 0000011b: PUSH0 0000011c: DUP1 0000011d: REVERT 0000011e: JUMPDEST 0000011f: CALLVALUE 00000120: DUP1 00000121: ISZERO 00000122: PUSH2 0x0129 00000125: JUMPI 00000126: PUSH0 00000127: DUP1 00000128: REVERT 00000129: JUMPDEST 0000012a: POP 0000012b: PUSH1 0x40 0000012d: DUP1 0000012e: MLOAD 0000012f: DUP1 00000130: DUP3 00000131: ADD 00000132: DUP3 00000133: MSTORE 00000134: PUSH1 0x08 00000136: DUP2 00000137: MSTORE 00000138: PUSH8 0x23b937b5a1b7b4b7 00000141: PUSH1 0xc1 00000143: SHL 00000144: PUSH1 0x20 00000146: DUP3 00000147: ADD 00000148: MSTORE 00000149: SWAP1 0000014a: MLOAD 0000014b: PUSH2 0x0154 0000014e: SWAP2 0000014f: SWAP1 00000150: PUSH2 0x13c0 00000153: JUMP 00000154: JUMPDEST 00000155: PUSH1 0x40 00000157: MLOAD 00000158: DUP1 00000159: SWAP2 0000015a: SUB 0000015b: SWAP1 0000015c: RETURN 0000015d: JUMPDEST 0000015e: CALLVALUE 0000015f: DUP1 00000160: ISZERO 00000161: PUSH2 0x0168 00000164: JUMPI 00000165: PUSH0 00000166: DUP1 00000167: REVERT 00000168: JUMPDEST 00000169: POP 0000016a: PUSH2 0x017c 0000016d: PUSH2 0x0177 00000170: CALLDATASIZE 00000171: PUSH1 0x04 00000173: PUSH2 0x1422 00000176: JUMP 00000177: JUMPDEST 00000178: PUSH2 0x0364 0000017b: JUMP 0000017c: JUMPDEST 0000017d: PUSH1 0x40 0000017f: MLOAD 00000180: SWAP1 00000181: ISZERO 00000182: ISZERO 00000183: DUP2 00000184: MSTORE 00000185: PUSH1 0x20 00000187: ADD 00000188: PUSH2 0x0154 0000018b: JUMP 0000018c: JUMPDEST 0000018d: CALLVALUE 0000018e: DUP1 0000018f: ISZERO 00000190: PUSH2 0x0197 00000193: JUMPI 00000194: PUSH0 00000195: DUP1 00000196: REVERT 00000197: JUMPDEST 00000198: POP 00000199: PUSH2 0x01a1 0000019c: PUSH1 0x12 0000019e: SLOAD 0000019f: DUP2 000001a0: JUMP 000001a1: JUMPDEST 000001a2: PUSH1 0x40 000001a4: MLOAD 000001a5: SWAP1 000001a6: DUP2 000001a7: MSTORE 000001a8: PUSH1 0x20 000001aa: ADD 000001ab: PUSH2 0x0154 000001ae: JUMP 000001af: JUMPDEST 000001b0: CALLVALUE 000001b1: DUP1 000001b2: ISZERO 000001b3: PUSH2 0x01ba 000001b6: JUMPI 000001b7: PUSH0 000001b8: DUP1 000001b9: REVERT 000001ba: JUMPDEST 000001bb: POP 000001bc: PUSH2 0x01a1 000001bf: PUSH2 0x037a 000001c2: JUMP 000001c3: JUMPDEST 000001c4: CALLVALUE 000001c5: DUP1 000001c6: ISZERO 000001c7: PUSH2 0x01ce 000001ca: JUMPI 000001cb: PUSH0 000001cc: DUP1 000001cd: REVERT 000001ce: JUMPDEST 000001cf: POP 000001d0: PUSH2 0x017c 000001d3: PUSH2 0x01dd 000001d6: CALLDATASIZE 000001d7: PUSH1 0x04 000001d9: PUSH2 0x144c 000001dc: JUMP 000001dd: JUMPDEST 000001de: PUSH2 0x039a 000001e1: JUMP 000001e2: JUMPDEST 000001e3: CALLVALUE 000001e4: DUP1 000001e5: ISZERO 000001e6: PUSH2 0x01ed 000001e9: JUMPI 000001ea: PUSH0 000001eb: DUP1 000001ec: REVERT 000001ed: JUMPDEST 000001ee: POP 000001ef: PUSH1 0x40 000001f1: MLOAD 000001f2: PUSH1 0x09 000001f4: DUP2 000001f5: MSTORE 000001f6: PUSH1 0x20 000001f8: ADD 000001f9: PUSH2 0x0154 000001fc: JUMP 000001fd: JUMPDEST 000001fe: CALLVALUE 000001ff: DUP1 00000200: ISZERO 00000201: PUSH2 0x0208 00000204: JUMPI 00000205: PUSH0 00000206: DUP1 00000207: REVERT 00000208: JUMPDEST 00000209: POP 0000020a: PUSH2 0x0211 0000020d: PUSH2 0x0401 00000210: JUMP 00000211: JUMPDEST 00000212: STOP 00000213: JUMPDEST 00000214: CALLVALUE 00000215: DUP1 00000216: ISZERO 00000217: PUSH2 0x021e 0000021a: JUMPI 0000021b: PUSH0 0000021c: DUP1 0000021d: REVERT 0000021e: JUMPDEST 0000021f: POP 00000220: PUSH2 0x01a1 00000223: PUSH2 0x022d 00000226: CALLDATASIZE 00000227: PUSH1 0x04 00000229: PUSH2 0x148a 0000022c: JUMP 0000022d: JUMPDEST 0000022e: PUSH1 0x01 00000230: PUSH1 0x01 00000232: PUSH1 0xa0 00000234: SHL 00000235: SUB 00000236: AND 00000237: PUSH0 00000238: SWAP1 00000239: DUP2 0000023a: MSTORE 0000023b: PUSH1 0x01 0000023d: PUSH1 0x20 0000023f: MSTORE 00000240: PUSH1 0x40 00000242: SWAP1 00000243: KECCAK256 00000244: SLOAD 00000245: SWAP1 00000246: JUMP 00000247: JUMPDEST 00000248: CALLVALUE 00000249: DUP1 0000024a: ISZERO 0000024b: PUSH2 0x0252 0000024e: JUMPI 0000024f: PUSH0 00000250: DUP1 00000251: REVERT 00000252: JUMPDEST 00000253: POP 00000254: PUSH2 0x0211 00000257: PUSH2 0x0457 0000025a: JUMP 0000025b: JUMPDEST 0000025c: CALLVALUE 0000025d: DUP1 0000025e: ISZERO 0000025f: PUSH2 0x0266 00000262: JUMPI 00000263: PUSH0 00000264: DUP1 00000265: REVERT 00000266: JUMPDEST 00000267: POP 00000268: PUSH2 0x0211 0000026b: PUSH2 0x04d1 0000026e: JUMP 0000026f: JUMPDEST 00000270: CALLVALUE 00000271: DUP1 00000272: ISZERO 00000273: PUSH2 0x027a 00000276: JUMPI 00000277: PUSH0 00000278: DUP1 00000279: REVERT 0000027a: JUMPDEST 0000027b: POP 0000027c: PUSH2 0x01a1 0000027f: PUSH1 0x0f 00000281: SLOAD 00000282: DUP2 00000283: JUMP 00000284: JUMPDEST 00000285: CALLVALUE 00000286: DUP1 00000287: ISZERO 00000288: PUSH2 0x028f 0000028b: JUMPI 0000028c: PUSH0 0000028d: DUP1 0000028e: REVERT 0000028f: JUMPDEST 00000290: POP 00000291: PUSH0 00000292: SLOAD 00000293: PUSH1 0x40 00000295: MLOAD 00000296: PUSH1 0x01 00000298: PUSH1 0x01 0000029a: PUSH1 0xa0 0000029c: SHL 0000029d: SUB 0000029e: SWAP1 0000029f: SWAP2 000002a0: AND 000002a1: DUP2 000002a2: MSTORE 000002a3: PUSH1 0x20 000002a5: ADD 000002a6: PUSH2 0x0154 000002a9: JUMP 000002aa: JUMPDEST 000002ab: CALLVALUE 000002ac: DUP1 000002ad: ISZERO 000002ae: PUSH2 0x02b5 000002b1: JUMPI 000002b2: PUSH0 000002b3: DUP1 000002b4: REVERT 000002b5: JUMPDEST 000002b6: POP 000002b7: PUSH2 0x01a1 000002ba: PUSH1 0x10 000002bc: SLOAD 000002bd: DUP2 000002be: JUMP 000002bf: JUMPDEST 000002c0: CALLVALUE 000002c1: DUP1 000002c2: ISZERO 000002c3: PUSH2 0x02ca 000002c6: JUMPI 000002c7: PUSH0 000002c8: DUP1 000002c9: REVERT 000002ca: JUMPDEST 000002cb: POP 000002cc: PUSH2 0x017c 000002cf: PUSH2 0x02d9 000002d2: CALLDATASIZE 000002d3: PUSH1 0x04 000002d5: PUSH2 0x1422 000002d8: JUMP 000002d9: JUMPDEST 000002da: PUSH2 0x058c 000002dd: JUMP 000002de: JUMPDEST 000002df: CALLVALUE 000002e0: DUP1 000002e1: ISZERO 000002e2: PUSH2 0x02e9 000002e5: JUMPI 000002e6: PUSH0 000002e7: DUP1 000002e8: REVERT 000002e9: JUMPDEST 000002ea: POP 000002eb: PUSH2 0x01a1 000002ee: PUSH1 0x11 000002f0: SLOAD 000002f1: DUP2 000002f2: JUMP 000002f3: JUMPDEST 000002f4: CALLVALUE 000002f5: DUP1 000002f6: ISZERO 000002f7: PUSH2 0x02fe 000002fa: JUMPI 000002fb: PUSH0 000002fc: DUP1 000002fd: REVERT 000002fe: JUMPDEST 000002ff: POP 00000300: PUSH1 0x06 00000302: SLOAD 00000303: PUSH2 0x017c 00000306: SWAP1 00000307: PUSH1 0xff 00000309: AND 0000030a: DUP2 0000030b: JUMP 0000030c: JUMPDEST 0000030d: CALLVALUE 0000030e: DUP1 0000030f: ISZERO 00000310: PUSH2 0x0317 00000313: JUMPI 00000314: PUSH0 00000315: DUP1 00000316: REVERT 00000317: JUMPDEST 00000318: POP 00000319: PUSH2 0x0211 0000031c: PUSH2 0x0598 0000031f: JUMP 00000320: JUMPDEST 00000321: CALLVALUE 00000322: DUP1 00000323: ISZERO 00000324: PUSH2 0x032b 00000327: JUMPI 00000328: PUSH0 00000329: DUP1 0000032a: REVERT 0000032b: JUMPDEST 0000032c: POP 0000032d: PUSH2 0x01a1 00000330: PUSH2 0x033a 00000333: CALLDATASIZE 00000334: PUSH1 0x04 00000336: PUSH2 0x14a5 00000339: JUMP 0000033a: JUMPDEST 0000033b: PUSH1 0x01 0000033d: PUSH1 0x01 0000033f: PUSH1 0xa0 00000341: SHL 00000342: SUB 00000343: SWAP2 00000344: DUP3 00000345: AND 00000346: PUSH0 00000347: SWAP1 00000348: DUP2 00000349: MSTORE 0000034a: PUSH1 0x02 0000034c: PUSH1 0x20 0000034e: SWAP1 0000034f: DUP2 00000350: MSTORE 00000351: PUSH1 0x40 00000353: DUP1 00000354: DUP4 00000355: KECCAK256 00000356: SWAP4 00000357: SWAP1 00000358: SWAP5 00000359: AND 0000035a: DUP3 0000035b: MSTORE 0000035c: SWAP2 0000035d: SWAP1 0000035e: SWAP2 0000035f: MSTORE 00000360: KECCAK256 00000361: SLOAD 00000362: SWAP1 00000363: JUMP 00000364: JUMPDEST 00000365: PUSH0 00000366: PUSH2 0x0370 00000369: CALLER 0000036a: DUP5 0000036b: DUP5 0000036c: PUSH2 0x0941 0000036f: JUMP 00000370: JUMPDEST 00000371: POP 00000372: PUSH1 0x01 00000374: JUMPDEST 00000375: SWAP3 00000376: SWAP2 00000377: POP 00000378: POP 00000379: JUMP 0000037a: JUMPDEST 0000037b: PUSH0 0000037c: PUSH2 0x0387 0000037f: PUSH1 0x09 00000381: PUSH1 0x0a 00000383: PUSH2 0x15d0 00000386: JUMP 00000387: JUMPDEST 00000388: PUSH2 0x0395 0000038b: SWAP1 0000038c: PUSH4 0x05f5e100 00000391: PUSH2 0x15de 00000394: JUMP 00000395: JUMPDEST 00000396: SWAP1 00000397: POP 00000398: SWAP1 00000399: JUMP 0000039a: JUMPDEST 0000039b: PUSH0 0000039c: PUSH2 0x03a6 0000039f: DUP5 000003a0: DUP5 000003a1: DUP5 000003a2: PUSH2 0x0a64 000003a5: JUMP 000003a6: JUMPDEST 000003a7: PUSH2 0x03f7 000003aa: DUP5 000003ab: CALLER 000003ac: PUSH2 0x03f2 000003af: DUP6 000003b0: PUSH1 0x40 000003b2: MLOAD 000003b3: DUP1 000003b4: PUSH1 0x60 000003b6: ADD 000003b7: PUSH1 0x40 000003b9: MSTORE 000003ba: DUP1 000003bb: PUSH1 0x28 000003bd: DUP2 000003be: MSTORE 000003bf: PUSH1 0x20 000003c1: ADD 000003c2: PUSH2 0x1770 000003c5: PUSH1 0x28 000003c7: SWAP2 000003c8: CODECOPY 000003c9: PUSH1 0x01 000003cb: PUSH1 0x01 000003cd: PUSH1 0xa0 000003cf: SHL 000003d0: SUB 000003d1: DUP11 000003d2: AND 000003d3: PUSH0 000003d4: SWAP1 000003d5: DUP2 000003d6: MSTORE 000003d7: PUSH1 0x02 000003d9: PUSH1 0x20 000003db: SWAP1 000003dc: DUP2 000003dd: MSTORE 000003de: PUSH1 0x40 000003e0: DUP1 000003e1: DUP4 000003e2: KECCAK256 000003e3: CALLER 000003e4: DUP5 000003e5: MSTORE 000003e6: SWAP1 000003e7: SWAP2 000003e8: MSTORE 000003e9: SWAP1 000003ea: KECCAK256 000003eb: SLOAD 000003ec: SWAP2 000003ed: SWAP1 000003ee: PUSH2 0x1038 000003f1: JUMP 000003f2: JUMPDEST 000003f3: PUSH2 0x0941 000003f6: JUMP 000003f7: JUMPDEST 000003f8: POP 000003f9: PUSH1 0x01 000003fb: SWAP4 000003fc: SWAP3 000003fd: POP 000003fe: POP 000003ff: POP 00000400: JUMP 00000401: JUMPDEST 00000402: PUSH1 0x06 00000404: SLOAD 00000405: PUSH2 0x0100 00000408: SWAP1 00000409: DIV 0000040a: PUSH1 0x01 0000040c: PUSH1 0x01 0000040e: PUSH1 0xa0 00000410: SHL 00000411: SUB 00000412: AND 00000413: CALLER 00000414: PUSH1 0x01 00000416: PUSH1 0x01 00000418: PUSH1 0xa0 0000041a: SHL 0000041b: SUB 0000041c: AND 0000041d: EQ 0000041e: PUSH2 0x0425 00000421: JUMPI 00000422: PUSH0 00000423: DUP1 00000424: REVERT 00000425: JUMPDEST 00000426: ADDRESS 00000427: PUSH0 00000428: SWAP1 00000429: DUP2 0000042a: MSTORE 0000042b: PUSH1 0x01 0000042d: PUSH1 0x20 0000042f: MSTORE 00000430: PUSH1 0x40 00000432: SWAP1 00000433: KECCAK256 00000434: SLOAD 00000435: DUP1 00000436: ISZERO 00000437: PUSH2 0x0443 0000043a: JUMPI 0000043b: PUSH2 0x0443 0000043e: DUP2 0000043f: PUSH2 0x1070 00000442: JUMP 00000443: JUMPDEST 00000444: SELFBALANCE 00000445: DUP1 00000446: ISZERO 00000447: PUSH2 0x0453 0000044a: JUMPI 0000044b: PUSH2 0x0453 0000044e: DUP2 0000044f: PUSH2 0x11e0 00000452: JUMP 00000453: JUMPDEST 00000454: POP 00000455: POP 00000456: JUMP 00000457: JUMPDEST 00000458: PUSH0 00000459: SLOAD 0000045a: PUSH1 0x01 0000045c: PUSH1 0x01 0000045e: PUSH1 0xa0 00000460: SHL 00000461: SUB 00000462: AND 00000463: CALLER 00000464: EQ 00000465: PUSH2 0x0489 00000468: JUMPI 00000469: PUSH1 0x40 0000046b: MLOAD 0000046c: PUSH3 0x461bcd 00000470: PUSH1 0xe5 00000472: SHL 00000473: DUP2 00000474: MSTORE 00000475: PUSH1 0x04 00000477: ADD 00000478: PUSH2 0x0480 0000047b: SWAP1 0000047c: PUSH2 0x15f5 0000047f: JUMP 00000480: JUMPDEST 00000481: PUSH1 0x40 00000483: MLOAD 00000484: DUP1 00000485: SWAP2 00000486: SUB 00000487: SWAP1 00000488: REVERT 00000489: JUMPDEST 0000048a: PUSH0 0000048b: DUP1 0000048c: SLOAD 0000048d: PUSH1 0x40 0000048f: MLOAD 00000490: PUSH1 0x01 00000492: PUSH1 0x01 00000494: PUSH1 0xa0 00000496: SHL 00000497: SUB 00000498: SWAP1 00000499: SWAP2 0000049a: AND 0000049b: SWAP1 0000049c: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000004bd: SWAP1 000004be: DUP4 000004bf: SWAP1 000004c0: LOG3 000004c1: PUSH0 000004c2: DUP1 000004c3: SLOAD 000004c4: PUSH1 0x01 000004c6: PUSH1 0x01 000004c8: PUSH1 0xa0 000004ca: SHL 000004cb: SUB 000004cc: NOT 000004cd: AND 000004ce: SWAP1 000004cf: SSTORE 000004d0: JUMP 000004d1: JUMPDEST 000004d2: PUSH0 000004d3: SLOAD 000004d4: PUSH1 0x01 000004d6: PUSH1 0x01 000004d8: PUSH1 0xa0 000004da: SHL 000004db: SUB 000004dc: AND 000004dd: CALLER 000004de: EQ 000004df: PUSH2 0x04fa 000004e2: JUMPI 000004e3: PUSH1 0x40 000004e5: MLOAD 000004e6: PUSH3 0x461bcd 000004ea: PUSH1 0xe5 000004ec: SHL 000004ed: DUP2 000004ee: MSTORE 000004ef: PUSH1 0x04 000004f1: ADD 000004f2: PUSH2 0x0480 000004f5: SWAP1 000004f6: PUSH2 0x15f5 000004f9: JUMP 000004fa: JUMPDEST 000004fb: PUSH2 0x0506 000004fe: PUSH1 0x09 00000500: PUSH1 0x0a 00000502: PUSH2 0x15d0 00000505: JUMP 00000506: JUMPDEST 00000507: PUSH2 0x0514 0000050a: SWAP1 0000050b: PUSH4 0x05f5e100 00000510: PUSH2 0x15de 00000513: JUMP 00000514: JUMPDEST 00000515: PUSH1 0x0f 00000517: SSTORE 00000518: PUSH2 0x0523 0000051b: PUSH1 0x09 0000051d: PUSH1 0x0a 0000051f: PUSH2 0x15d0 00000522: JUMP 00000523: JUMPDEST 00000524: PUSH2 0x0531 00000527: SWAP1 00000528: PUSH4 0x05f5e100 0000052d: PUSH2 0x15de 00000530: JUMP 00000531: JUMPDEST 00000532: PUSH1 0x10 00000534: SSTORE 00000535: PUSH1 0x06 00000537: DUP1 00000538: SLOAD 00000539: PUSH1 0xff 0000053b: NOT 0000053c: AND 0000053d: SWAP1 0000053e: SSTORE 0000053f: PUSH32 0x947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf 00000560: PUSH2 0x056b 00000563: PUSH1 0x09 00000565: PUSH1 0x0a 00000567: PUSH2 0x15d0 0000056a: JUMP 0000056b: JUMPDEST 0000056c: PUSH2 0x0579 0000056f: SWAP1 00000570: PUSH4 0x05f5e100 00000575: PUSH2 0x15de 00000578: JUMP 00000579: JUMPDEST 0000057a: PUSH1 0x40 0000057c: MLOAD 0000057d: SWAP1 0000057e: DUP2 0000057f: MSTORE 00000580: PUSH1 0x20 00000582: ADD 00000583: PUSH1 0x40 00000585: MLOAD 00000586: DUP1 00000587: SWAP2 00000588: SUB 00000589: SWAP1 0000058a: LOG1 0000058b: JUMP 0000058c: JUMPDEST 0000058d: PUSH0 0000058e: PUSH2 0x0370 00000591: CALLER 00000592: DUP5 00000593: DUP5 00000594: PUSH2 0x0a64 00000597: JUMP 00000598: JUMPDEST 00000599: PUSH0 0000059a: SLOAD 0000059b: PUSH1 0x01 0000059d: PUSH1 0x01 0000059f: PUSH1 0xa0 000005a1: SHL 000005a2: SUB 000005a3: AND 000005a4: CALLER 000005a5: EQ 000005a6: PUSH2 0x05c1 000005a9: JUMPI 000005aa: PUSH1 0x40 000005ac: MLOAD 000005ad: PUSH3 0x461bcd 000005b1: PUSH1 0xe5 000005b3: SHL 000005b4: DUP2 000005b5: MSTORE 000005b6: PUSH1 0x04 000005b8: ADD 000005b9: PUSH2 0x0480 000005bc: SWAP1 000005bd: PUSH2 0x15f5 000005c0: JUMP 000005c1: JUMPDEST 000005c2: PUSH1 0x14 000005c4: SLOAD 000005c5: PUSH1 0x01 000005c7: PUSH1 0xa0 000005c9: SHL 000005ca: SWAP1 000005cb: DIV 000005cc: PUSH1 0xff 000005ce: AND 000005cf: ISZERO 000005d0: PUSH2 0x061b 000005d3: JUMPI 000005d4: PUSH1 0x40 000005d6: MLOAD 000005d7: PUSH3 0x461bcd 000005db: PUSH1 0xe5 000005dd: SHL 000005de: DUP2 000005df: MSTORE 000005e0: PUSH1 0x20 000005e2: PUSH1 0x04 000005e4: DUP3 000005e5: ADD 000005e6: MSTORE 000005e7: PUSH1 0x17 000005e9: PUSH1 0x24 000005eb: DUP3 000005ec: ADD 000005ed: MSTORE 000005ee: PUSH32 0x74726164696e6720697320616c7265616479206f70656e000000000000000000 0000060f: PUSH1 0x44 00000611: DUP3 00000612: ADD 00000613: MSTORE 00000614: PUSH1 0x64 00000616: ADD 00000617: PUSH2 0x0480 0000061a: JUMP 0000061b: JUMPDEST 0000061c: PUSH1 0x13 0000061e: DUP1 0000061f: SLOAD 00000620: PUSH1 0x01 00000622: PUSH1 0x01 00000624: PUSH1 0xa0 00000626: SHL 00000627: SUB 00000628: NOT 00000629: AND 0000062a: PUSH20 0x7a250d5630b4cf539739df2c5dacb4c659f2488d 0000063f: SWAP1 00000640: DUP2 00000641: OR 00000642: SWAP1 00000643: SWAP2 00000644: SSTORE 00000645: PUSH2 0x0664 00000648: SWAP1 00000649: ADDRESS 0000064a: SWAP1 0000064b: PUSH2 0x0656 0000064e: PUSH1 0x09 00000650: PUSH1 0x0a 00000652: PUSH2 0x15d0 00000655: JUMP 00000656: JUMPDEST 00000657: PUSH2 0x03f2 0000065a: SWAP1 0000065b: PUSH4 0x05f5e100 00000660: PUSH2 0x15de 00000663: JUMP 00000664: JUMPDEST 00000665: PUSH1 0x13 00000667: PUSH0 00000668: SWAP1 00000669: SLOAD 0000066a: SWAP1 0000066b: PUSH2 0x0100 0000066e: EXP 0000066f: SWAP1 00000670: DIV 00000671: PUSH1 0x01 00000673: PUSH1 0x01 00000675: PUSH1 0xa0 00000677: SHL 00000678: SUB 00000679: AND 0000067a: PUSH1 0x01 0000067c: PUSH1 0x01 0000067e: PUSH1 0xa0 00000680: SHL 00000681: SUB 00000682: AND 00000683: PUSH4 0xc45a0155 00000688: PUSH1 0x40 0000068a: MLOAD 0000068b: DUP2 0000068c: PUSH4 0xffffffff 00000691: AND 00000692: PUSH1 0xe0 00000694: SHL 00000695: DUP2 00000696: MSTORE 00000697: PUSH1 0x04 00000699: ADD 0000069a: PUSH1 0x20 0000069c: PUSH1 0x40 0000069e: MLOAD 0000069f: DUP1 000006a0: DUP4 000006a1: SUB 000006a2: DUP2 000006a3: DUP7 000006a4: GAS 000006a5: STATICCALL 000006a6: ISZERO 000006a7: DUP1 000006a8: ISZERO 000006a9: PUSH2 0x06b4 000006ac: JUMPI 000006ad: RETURNDATASIZE 000006ae: PUSH0 000006af: DUP1 000006b0: RETURNDATACOPY 000006b1: RETURNDATASIZE 000006b2: PUSH0 000006b3: REVERT 000006b4: JUMPDEST 000006b5: POP 000006b6: POP 000006b7: POP 000006b8: POP 000006b9: PUSH1 0x40 000006bb: MLOAD 000006bc: RETURNDATASIZE 000006bd: PUSH1 0x1f 000006bf: NOT 000006c0: PUSH1 0x1f 000006c2: DUP3 000006c3: ADD 000006c4: AND 000006c5: DUP3 000006c6: ADD 000006c7: DUP1 000006c8: PUSH1 0x40 000006ca: MSTORE 000006cb: POP 000006cc: DUP2 000006cd: ADD 000006ce: SWAP1 000006cf: PUSH2 0x06d8 000006d2: SWAP2 000006d3: SWAP1 000006d4: PUSH2 0x162a 000006d7: JUMP 000006d8: JUMPDEST 000006d9: PUSH1 0x01 000006db: PUSH1 0x01 000006dd: PUSH1 0xa0 000006df: SHL 000006e0: SUB 000006e1: AND 000006e2: PUSH4 0xc9c65396 000006e7: ADDRESS 000006e8: PUSH1 0x13 000006ea: PUSH0 000006eb: SWAP1 000006ec: SLOAD 000006ed: SWAP1 000006ee: PUSH2 0x0100 000006f1: EXP 000006f2: SWAP1 000006f3: DIV 000006f4: PUSH1 0x01 000006f6: PUSH1 0x01 000006f8: PUSH1 0xa0 000006fa: SHL 000006fb: SUB 000006fc: AND 000006fd: PUSH1 0x01 000006ff: PUSH1 0x01 00000701: PUSH1 0xa0 00000703: SHL 00000704: SUB 00000705: AND 00000706: PUSH4 0xad5c4648 0000070b: PUSH1 0x40 0000070d: MLOAD 0000070e: DUP2 0000070f: PUSH4 0xffffffff 00000714: AND 00000715: PUSH1 0xe0 00000717: SHL 00000718: DUP2 00000719: MSTORE 0000071a: PUSH1 0x04 0000071c: ADD 0000071d: PUSH1 0x20 0000071f: PUSH1 0x40 00000721: MLOAD 00000722: DUP1 00000723: DUP4 00000724: SUB 00000725: DUP2 00000726: DUP7 00000727: GAS 00000728: STATICCALL 00000729: ISZERO 0000072a: DUP1 0000072b: ISZERO 0000072c: PUSH2 0x0737 0000072f: JUMPI 00000730: RETURNDATASIZE 00000731: PUSH0 00000732: DUP1 00000733: RETURNDATACOPY 00000734: RETURNDATASIZE 00000735: PUSH0 00000736: REVERT 00000737: JUMPDEST 00000738: POP 00000739: POP 0000073a: POP 0000073b: POP 0000073c: PUSH1 0x40 0000073e: MLOAD 0000073f: RETURNDATASIZE 00000740: PUSH1 0x1f 00000742: NOT 00000743: PUSH1 0x1f 00000745: DUP3 00000746: ADD 00000747: AND 00000748: DUP3 00000749: ADD 0000074a: DUP1 0000074b: PUSH1 0x40 0000074d: MSTORE 0000074e: POP 0000074f: DUP2 00000750: ADD 00000751: SWAP1 00000752: PUSH2 0x075b 00000755: SWAP2 00000756: SWAP1 00000757: PUSH2 0x162a 0000075a: JUMP 0000075b: JUMPDEST 0000075c: PUSH1 0x40 0000075e: MLOAD 0000075f: PUSH1 0x01 00000761: PUSH1 0x01 00000763: PUSH1 0xe0 00000765: SHL 00000766: SUB 00000767: NOT 00000768: PUSH1 0xe0 0000076a: DUP6 0000076b: SWAP1 0000076c: SHL 0000076d: AND 0000076e: DUP2 0000076f: MSTORE 00000770: PUSH1 0x01 00000772: PUSH1 0x01 00000774: PUSH1 0xa0 00000776: SHL 00000777: SUB 00000778: SWAP3 00000779: DUP4 0000077a: AND 0000077b: PUSH1 0x04 0000077d: DUP3 0000077e: ADD 0000077f: MSTORE 00000780: SWAP2 00000781: AND 00000782: PUSH1 0x24 00000784: DUP3 00000785: ADD 00000786: MSTORE 00000787: PUSH1 0x44 00000789: ADD 0000078a: PUSH1 0x20 0000078c: PUSH1 0x40 0000078e: MLOAD 0000078f: DUP1 00000790: DUP4 00000791: SUB 00000792: DUP2 00000793: PUSH0 00000794: DUP8 00000795: GAS 00000796: CALL 00000797: ISZERO 00000798: DUP1 00000799: ISZERO 0000079a: PUSH2 0x07a5 0000079d: JUMPI 0000079e: RETURNDATASIZE 0000079f: PUSH0 000007a0: DUP1 000007a1: RETURNDATACOPY 000007a2: RETURNDATASIZE 000007a3: PUSH0 000007a4: REVERT 000007a5: JUMPDEST 000007a6: POP 000007a7: POP 000007a8: POP 000007a9: POP 000007aa: PUSH1 0x40 000007ac: MLOAD 000007ad: RETURNDATASIZE 000007ae: PUSH1 0x1f 000007b0: NOT 000007b1: PUSH1 0x1f 000007b3: DUP3 000007b4: ADD 000007b5: AND 000007b6: DUP3 000007b7: ADD 000007b8: DUP1 000007b9: PUSH1 0x40 000007bb: MSTORE 000007bc: POP 000007bd: DUP2 000007be: ADD 000007bf: SWAP1 000007c0: PUSH2 0x07c9 000007c3: SWAP2 000007c4: SWAP1 000007c5: PUSH2 0x162a 000007c8: JUMP 000007c9: JUMPDEST 000007ca: PUSH1 0x14 000007cc: DUP1 000007cd: SLOAD 000007ce: PUSH1 0x01 000007d0: PUSH1 0x01 000007d2: PUSH1 0xa0 000007d4: SHL 000007d5: SUB 000007d6: SWAP3 000007d7: DUP4 000007d8: AND 000007d9: PUSH1 0x01 000007db: PUSH1 0x01 000007dd: PUSH1 0xa0 000007df: SHL 000007e0: SUB 000007e1: NOT 000007e2: SWAP1 000007e3: SWAP2 000007e4: AND 000007e5: OR 000007e6: SWAP1 000007e7: SSTORE 000007e8: PUSH1 0x13 000007ea: SLOAD 000007eb: AND 000007ec: PUSH4 0xf305d719 000007f1: SELFBALANCE 000007f2: ADDRESS 000007f3: PUSH2 0x0810 000007f6: DUP2 000007f7: PUSH1 0x01 000007f9: PUSH1 0x01 000007fb: PUSH1 0xa0 000007fd: SHL 000007fe: SUB 000007ff: AND 00000800: PUSH0 00000801: SWAP1 00000802: DUP2 00000803: MSTORE 00000804: PUSH1 0x01 00000806: PUSH1 0x20 00000808: MSTORE 00000809: PUSH1 0x40 0000080b: SWAP1 0000080c: KECCAK256 0000080d: SLOAD 0000080e: SWAP1 0000080f: JUMP 00000810: JUMPDEST 00000811: PUSH0 00000812: DUP1 00000813: PUSH2 0x0823 00000816: PUSH0 00000817: SLOAD 00000818: PUSH1 0x01 0000081a: PUSH1 0x01 0000081c: PUSH1 0xa0 0000081e: SHL 0000081f: SUB 00000820: AND 00000821: SWAP1 00000822: JUMP 00000823: JUMPDEST 00000824: PUSH1 0x40 00000826: MLOAD 00000827: PUSH1 0xe0 00000829: DUP9 0000082a: SWAP1 0000082b: SHL 0000082c: PUSH1 0x01 0000082e: PUSH1 0x01 00000830: PUSH1 0xe0 00000832: SHL 00000833: SUB 00000834: NOT 00000835: AND 00000836: DUP2 00000837: MSTORE 00000838: PUSH1 0x01 0000083a: PUSH1 0x01 0000083c: PUSH1 0xa0 0000083e: SHL 0000083f: SUB 00000840: SWAP6 00000841: DUP7 00000842: AND 00000843: PUSH1 0x04 00000845: DUP3 00000846: ADD 00000847: MSTORE 00000848: PUSH1 0x24 0000084a: DUP2 0000084b: ADD 0000084c: SWAP5 0000084d: SWAP1 0000084e: SWAP5 0000084f: MSTORE 00000850: PUSH1 0x44 00000852: DUP5 00000853: ADD 00000854: SWAP3 00000855: SWAP1 00000856: SWAP3 00000857: MSTORE 00000858: PUSH1 0x64 0000085a: DUP4 0000085b: ADD 0000085c: MSTORE 0000085d: SWAP1 0000085e: SWAP2 0000085f: AND 00000860: PUSH1 0x84 00000862: DUP3 00000863: ADD 00000864: MSTORE 00000865: TIMESTAMP 00000866: PUSH1 0xa4 00000868: DUP3 00000869: ADD 0000086a: MSTORE 0000086b: PUSH1 0xc4 0000086d: ADD 0000086e: PUSH1 0x60 00000870: PUSH1 0x40 00000872: MLOAD 00000873: DUP1 00000874: DUP4 00000875: SUB 00000876: DUP2 00000877: DUP6 00000878: DUP9 00000879: GAS 0000087a: CALL 0000087b: ISZERO 0000087c: DUP1 0000087d: ISZERO 0000087e: PUSH2 0x0889 00000881: JUMPI 00000882: RETURNDATASIZE 00000883: PUSH0 00000884: DUP1 00000885: RETURNDATACOPY 00000886: RETURNDATASIZE 00000887: PUSH0 00000888: REVERT 00000889: JUMPDEST 0000088a: POP 0000088b: POP 0000088c: POP 0000088d: POP 0000088e: POP 0000088f: PUSH1 0x40 00000891: MLOAD 00000892: RETURNDATASIZE 00000893: PUSH1 0x1f 00000895: NOT 00000896: PUSH1 0x1f 00000898: DUP3 00000899: ADD 0000089a: AND 0000089b: DUP3 0000089c: ADD 0000089d: DUP1 0000089e: PUSH1 0x40 000008a0: MSTORE 000008a1: POP 000008a2: DUP2 000008a3: ADD 000008a4: SWAP1 000008a5: PUSH2 0x08ae 000008a8: SWAP2 000008a9: SWAP1 000008aa: PUSH2 0x1645 000008ad: JUMP 000008ae: JUMPDEST 000008af: POP 000008b0: POP 000008b1: PUSH1 0x14 000008b3: SLOAD 000008b4: PUSH1 0x13 000008b6: SLOAD 000008b7: PUSH1 0x40 000008b9: MLOAD 000008ba: PUSH4 0x095ea7b3 000008bf: PUSH1 0xe0 000008c1: SHL 000008c2: DUP2 000008c3: MSTORE 000008c4: PUSH1 0x01 000008c6: PUSH1 0x01 000008c8: PUSH1 0xa0 000008ca: SHL 000008cb: SUB 000008cc: SWAP2 000008cd: DUP3 000008ce: AND 000008cf: PUSH1 0x04 000008d1: DUP3 000008d2: ADD 000008d3: MSTORE 000008d4: PUSH0 000008d5: NOT 000008d6: PUSH1 0x24 000008d8: DUP3 000008d9: ADD 000008da: MSTORE 000008db: SWAP2 000008dc: AND 000008dd: SWAP2 000008de: POP 000008df: PUSH4 0x095ea7b3 000008e4: SWAP1 000008e5: PUSH1 0x44 000008e7: ADD 000008e8: PUSH1 0x20 000008ea: PUSH1 0x40 000008ec: MLOAD 000008ed: DUP1 000008ee: DUP4 000008ef: SUB 000008f0: DUP2 000008f1: PUSH0 000008f2: DUP8 000008f3: GAS 000008f4: CALL 000008f5: ISZERO 000008f6: DUP1 000008f7: ISZERO 000008f8: PUSH2 0x0903 000008fb: JUMPI 000008fc: RETURNDATASIZE 000008fd: PUSH0 000008fe: DUP1 000008ff: RETURNDATACOPY 00000900: RETURNDATASIZE 00000901: PUSH0 00000902: REVERT 00000903: JUMPDEST 00000904: POP 00000905: POP 00000906: POP 00000907: POP 00000908: PUSH1 0x40 0000090a: MLOAD 0000090b: RETURNDATASIZE 0000090c: PUSH1 0x1f 0000090e: NOT 0000090f: PUSH1 0x1f 00000911: DUP3 00000912: ADD 00000913: AND 00000914: DUP3 00000915: ADD 00000916: DUP1 00000917: PUSH1 0x40 00000919: MSTORE 0000091a: POP 0000091b: DUP2 0000091c: ADD 0000091d: SWAP1 0000091e: PUSH2 0x0927 00000921: SWAP2 00000922: SWAP1 00000923: PUSH2 0x1670 00000926: JUMP 00000927: JUMPDEST 00000928: POP 00000929: PUSH1 0x14 0000092b: DUP1 0000092c: SLOAD 0000092d: PUSH3 0xff00ff 00000931: PUSH1 0xa0 00000933: SHL 00000934: NOT 00000935: AND 00000936: PUSH3 0x010001 0000093a: PUSH1 0xa0 0000093c: SHL 0000093d: OR 0000093e: SWAP1 0000093f: SSTORE 00000940: JUMP 00000941: JUMPDEST 00000942: PUSH1 0x01 00000944: PUSH1 0x01 00000946: PUSH1 0xa0 00000948: SHL 00000949: SUB 0000094a: DUP4 0000094b: AND 0000094c: PUSH2 0x09a3 0000094f: JUMPI 00000950: PUSH1 0x40 00000952: MLOAD 00000953: PUSH3 0x461bcd 00000957: PUSH1 0xe5 00000959: SHL 0000095a: DUP2 0000095b: MSTORE 0000095c: PUSH1 0x20 0000095e: PUSH1 0x04 00000960: DUP3 00000961: ADD 00000962: MSTORE 00000963: PUSH1 0x24 00000965: DUP1 00000966: DUP3 00000967: ADD 00000968: MSTORE 00000969: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464 0000098a: PUSH1 0x44 0000098c: DUP3 0000098d: ADD 0000098e: MSTORE 0000098f: PUSH4 0x72657373 00000994: PUSH1 0xe0 00000996: SHL 00000997: PUSH1 0x64 00000999: DUP3 0000099a: ADD 0000099b: MSTORE 0000099c: PUSH1 0x84 0000099e: ADD 0000099f: PUSH2 0x0480 000009a2: JUMP 000009a3: JUMPDEST 000009a4: PUSH1 0x01 000009a6: PUSH1 0x01 000009a8: PUSH1 0xa0 000009aa: SHL 000009ab: SUB 000009ac: DUP3 000009ad: AND 000009ae: PUSH2 0x0a04 000009b1: JUMPI 000009b2: PUSH1 0x40 000009b4: MLOAD 000009b5: PUSH3 0x461bcd 000009b9: PUSH1 0xe5 000009bb: SHL 000009bc: DUP2 000009bd: MSTORE 000009be: PUSH1 0x20 000009c0: PUSH1 0x04 000009c2: DUP3 000009c3: ADD 000009c4: MSTORE 000009c5: PUSH1 0x22 000009c7: PUSH1 0x24 000009c9: DUP3 000009ca: ADD 000009cb: MSTORE 000009cc: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265 000009ed: PUSH1 0x44 000009ef: DUP3 000009f0: ADD 000009f1: MSTORE 000009f2: PUSH2 0x7373 000009f5: PUSH1 0xf0 000009f7: SHL 000009f8: PUSH1 0x64 000009fa: DUP3 000009fb: ADD 000009fc: MSTORE 000009fd: PUSH1 0x84 000009ff: ADD 00000a00: PUSH2 0x0480 00000a03: JUMP 00000a04: JUMPDEST 00000a05: PUSH1 0x01 00000a07: PUSH1 0x01 00000a09: PUSH1 0xa0 00000a0b: SHL 00000a0c: SUB 00000a0d: DUP4 00000a0e: DUP2 00000a0f: AND 00000a10: PUSH0 00000a11: DUP2 00000a12: DUP2 00000a13: MSTORE 00000a14: PUSH1 0x02 00000a16: PUSH1 0x20 00000a18: SWAP1 00000a19: DUP2 00000a1a: MSTORE 00000a1b: PUSH1 0x40 00000a1d: DUP1 00000a1e: DUP4 00000a1f: KECCAK256 00000a20: SWAP5 00000a21: DUP8 00000a22: AND 00000a23: DUP1 00000a24: DUP5 00000a25: MSTORE 00000a26: SWAP5 00000a27: DUP3 00000a28: MSTORE 00000a29: SWAP2 00000a2a: DUP3 00000a2b: SWAP1 00000a2c: KECCAK256 00000a2d: DUP6 00000a2e: SWAP1 00000a2f: SSTORE 00000a30: SWAP1 00000a31: MLOAD 00000a32: DUP5 00000a33: DUP2 00000a34: MSTORE 00000a35: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000a56: SWAP2 00000a57: ADD 00000a58: PUSH1 0x40 00000a5a: MLOAD 00000a5b: DUP1 00000a5c: SWAP2 00000a5d: SUB 00000a5e: SWAP1 00000a5f: LOG3 00000a60: POP 00000a61: POP 00000a62: POP 00000a63: JUMP 00000a64: JUMPDEST 00000a65: PUSH1 0x01 00000a67: PUSH1 0x01 00000a69: PUSH1 0xa0 00000a6b: SHL 00000a6c: SUB 00000a6d: DUP4 00000a6e: AND 00000a6f: PUSH2 0x0ac8 00000a72: JUMPI 00000a73: PUSH1 0x40 00000a75: MLOAD 00000a76: PUSH3 0x461bcd 00000a7a: PUSH1 0xe5 00000a7c: SHL 00000a7d: DUP2 00000a7e: MSTORE 00000a7f: PUSH1 0x20 00000a81: PUSH1 0x04 00000a83: DUP3 00000a84: ADD 00000a85: MSTORE 00000a86: PUSH1 0x25 00000a88: PUSH1 0x24 00000a8a: DUP3 00000a8b: ADD 00000a8c: MSTORE 00000a8d: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164 00000aae: PUSH1 0x44 00000ab0: DUP3 00000ab1: ADD 00000ab2: MSTORE 00000ab3: PUSH5 0x6472657373 00000ab9: PUSH1 0xd8 00000abb: SHL 00000abc: PUSH1 0x64 00000abe: DUP3 00000abf: ADD 00000ac0: MSTORE 00000ac1: PUSH1 0x84 00000ac3: ADD 00000ac4: PUSH2 0x0480 00000ac7: JUMP 00000ac8: JUMPDEST 00000ac9: PUSH1 0x01 00000acb: PUSH1 0x01 00000acd: PUSH1 0xa0 00000acf: SHL 00000ad0: SUB 00000ad1: DUP3 00000ad2: AND 00000ad3: PUSH2 0x0b2a 00000ad6: JUMPI 00000ad7: PUSH1 0x40 00000ad9: MLOAD 00000ada: PUSH3 0x461bcd 00000ade: PUSH1 0xe5 00000ae0: SHL 00000ae1: DUP2 00000ae2: MSTORE 00000ae3: PUSH1 0x20 00000ae5: PUSH1 0x04 00000ae7: DUP3 00000ae8: ADD 00000ae9: MSTORE 00000aea: PUSH1 0x23 00000aec: PUSH1 0x24 00000aee: DUP3 00000aef: ADD 00000af0: MSTORE 00000af1: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472 00000b12: PUSH1 0x44 00000b14: DUP3 00000b15: ADD 00000b16: MSTORE 00000b17: PUSH3 0x657373 00000b1b: PUSH1 0xe8 00000b1d: SHL 00000b1e: PUSH1 0x64 00000b20: DUP3 00000b21: ADD 00000b22: MSTORE 00000b23: PUSH1 0x84 00000b25: ADD 00000b26: PUSH2 0x0480 00000b29: JUMP 00000b2a: JUMPDEST 00000b2b: PUSH0 00000b2c: DUP2 00000b2d: GT 00000b2e: PUSH2 0x0b8b 00000b31: JUMPI 00000b32: PUSH1 0x40 00000b34: MLOAD 00000b35: PUSH3 0x461bcd 00000b39: PUSH1 0xe5 00000b3b: SHL 00000b3c: DUP2 00000b3d: MSTORE 00000b3e: PUSH1 0x20 00000b40: PUSH1 0x04 00000b42: DUP3 00000b43: ADD 00000b44: MSTORE 00000b45: PUSH1 0x29 00000b47: PUSH1 0x24 00000b49: DUP3 00000b4a: ADD 00000b4b: MSTORE 00000b4c: PUSH32 0x5472616e7366657220616d6f756e74206d757374206265206772656174657220 00000b6d: PUSH1 0x44 00000b6f: DUP3 00000b70: ADD 00000b71: MSTORE 00000b72: PUSH9 0x7468616e207a65726f 00000b7c: PUSH1 0xb8 00000b7e: SHL 00000b7f: PUSH1 0x64 00000b81: DUP3 00000b82: ADD 00000b83: MSTORE 00000b84: PUSH1 0x84 00000b86: ADD 00000b87: PUSH2 0x0480 00000b8a: JUMP 00000b8b: JUMPDEST 00000b8c: PUSH0 00000b8d: DUP1 00000b8e: SLOAD 00000b8f: PUSH1 0x01 00000b91: PUSH1 0x01 00000b93: PUSH1 0xa0 00000b95: SHL 00000b96: SUB 00000b97: DUP6 00000b98: DUP2 00000b99: AND 00000b9a: SWAP2 00000b9b: AND 00000b9c: EQ 00000b9d: DUP1 00000b9e: ISZERO 00000b9f: SWAP1 00000ba0: PUSH2 0x0bb6 00000ba3: JUMPI 00000ba4: POP 00000ba5: PUSH0 00000ba6: SLOAD 00000ba7: PUSH1 0x01 00000ba9: PUSH1 0x01 00000bab: PUSH1 0xa0 00000bad: SHL 00000bae: SUB 00000baf: DUP5 00000bb0: DUP2 00000bb1: AND 00000bb2: SWAP2 00000bb3: AND 00000bb4: EQ 00000bb5: ISZERO 00000bb6: JUMPDEST 00000bb7: ISZERO 00000bb8: PUSH2 0x0efb 00000bbb: JUMPI 00000bbc: PUSH2 0x0be7 00000bbf: PUSH1 0x64 00000bc1: PUSH2 0x0be1 00000bc4: PUSH1 0x0b 00000bc6: SLOAD 00000bc7: PUSH1 0x0e 00000bc9: SLOAD 00000bca: GT 00000bcb: PUSH2 0x0bd6 00000bce: JUMPI 00000bcf: PUSH1 0x07 00000bd1: SLOAD 00000bd2: PUSH2 0x0bda 00000bd5: JUMP 00000bd6: JUMPDEST 00000bd7: PUSH1 0x09 00000bd9: SLOAD 00000bda: JUMPDEST 00000bdb: DUP6 00000bdc: SWAP1 00000bdd: PUSH2 0x121b 00000be0: JUMP 00000be1: JUMPDEST 00000be2: SWAP1 00000be3: PUSH2 0x12a0 00000be6: JUMP 00000be7: JUMPDEST 00000be8: PUSH1 0x06 00000bea: SLOAD 00000beb: SWAP1 00000bec: SWAP2 00000bed: POP 00000bee: PUSH1 0xff 00000bf0: AND 00000bf1: ISZERO 00000bf2: PUSH2 0x0ccd 00000bf5: JUMPI 00000bf6: PUSH1 0x13 00000bf8: SLOAD 00000bf9: PUSH1 0x01 00000bfb: PUSH1 0x01 00000bfd: PUSH1 0xa0 00000bff: SHL 00000c00: SUB 00000c01: DUP5 00000c02: DUP2 00000c03: AND 00000c04: SWAP2 00000c05: AND 00000c06: EQ 00000c07: DUP1 00000c08: ISZERO 00000c09: SWAP1 00000c0a: PUSH2 0x0c21 00000c0d: JUMPI 00000c0e: POP 00000c0f: PUSH1 0x14 00000c11: SLOAD 00000c12: PUSH1 0x01 00000c14: PUSH1 0x01 00000c16: PUSH1 0xa0 00000c18: SHL 00000c19: SUB 00000c1a: DUP5 00000c1b: DUP2 00000c1c: AND 00000c1d: SWAP2 00000c1e: AND 00000c1f: EQ 00000c20: ISZERO 00000c21: JUMPDEST 00000c22: ISZERO 00000c23: PUSH2 0x0ccd 00000c26: JUMPI 00000c27: ORIGIN 00000c28: PUSH0 00000c29: SWAP1 00000c2a: DUP2 00000c2b: MSTORE 00000c2c: PUSH1 0x05 00000c2e: PUSH1 0x20 00000c30: MSTORE 00000c31: PUSH1 0x40 00000c33: SWAP1 00000c34: KECCAK256 00000c35: SLOAD 00000c36: NUMBER 00000c37: GT 00000c38: PUSH2 0x0cbb 00000c3b: JUMPI 00000c3c: PUSH1 0x40 00000c3e: MLOAD 00000c3f: PUSH3 0x461bcd 00000c43: PUSH1 0xe5 00000c45: SHL 00000c46: DUP2 00000c47: MSTORE 00000c48: PUSH1 0x20 00000c4a: PUSH1 0x04 00000c4c: DUP3 00000c4d: ADD 00000c4e: MSTORE 00000c4f: PUSH1 0x49 00000c51: PUSH1 0x24 00000c53: DUP3 00000c54: ADD 00000c55: MSTORE 00000c56: PUSH32 0x5f7472616e736665723a3a205472616e736665722044656c617920656e61626c 00000c77: PUSH1 0x44 00000c79: DUP3 00000c7a: ADD 00000c7b: MSTORE 00000c7c: PUSH32 0x65642e20204f6e6c79206f6e652070757263686173652070657220626c6f636b 00000c9d: PUSH1 0x64 00000c9f: DUP3 00000ca0: ADD 00000ca1: MSTORE 00000ca2: PUSH9 0x1030b63637bbb2b217 00000cac: PUSH1 0xb9 00000cae: SHL 00000caf: PUSH1 0x84 00000cb1: DUP3 00000cb2: ADD 00000cb3: MSTORE 00000cb4: PUSH1 0xa4 00000cb6: ADD 00000cb7: PUSH2 0x0480 00000cba: JUMP 00000cbb: JUMPDEST 00000cbc: ORIGIN 00000cbd: PUSH0 00000cbe: SWAP1 00000cbf: DUP2 00000cc0: MSTORE 00000cc1: PUSH1 0x05 00000cc3: PUSH1 0x20 00000cc5: MSTORE 00000cc6: PUSH1 0x40 00000cc8: SWAP1 00000cc9: KECCAK256 00000cca: NUMBER 00000ccb: SWAP1 00000ccc: SSTORE 00000ccd: JUMPDEST 00000cce: PUSH1 0x14 00000cd0: SLOAD 00000cd1: PUSH1 0x01 00000cd3: PUSH1 0x01 00000cd5: PUSH1 0xa0 00000cd7: SHL 00000cd8: SUB 00000cd9: DUP6 00000cda: DUP2 00000cdb: AND 00000cdc: SWAP2 00000cdd: AND 00000cde: EQ 00000cdf: DUP1 00000ce0: ISZERO 00000ce1: PUSH2 0x0cf8 00000ce4: JUMPI 00000ce5: POP 00000ce6: PUSH1 0x13 00000ce8: SLOAD 00000ce9: PUSH1 0x01 00000ceb: PUSH1 0x01 00000ced: PUSH1 0xa0 00000cef: SHL 00000cf0: SUB 00000cf1: DUP5 00000cf2: DUP2 00000cf3: AND 00000cf4: SWAP2 00000cf5: AND 00000cf6: EQ 00000cf7: ISZERO 00000cf8: JUMPDEST 00000cf9: DUP1 00000cfa: ISZERO 00000cfb: PUSH2 0x0d1c 00000cfe: JUMPI 00000cff: POP 00000d00: PUSH1 0x01 00000d02: PUSH1 0x01 00000d04: PUSH1 0xa0 00000d06: SHL 00000d07: SUB 00000d08: DUP4 00000d09: AND 00000d0a: PUSH0 00000d0b: SWAP1 00000d0c: DUP2 00000d0d: MSTORE 00000d0e: PUSH1 0x03 00000d10: PUSH1 0x20 00000d12: MSTORE 00000d13: PUSH1 0x40 00000d15: SWAP1 00000d16: KECCAK256 00000d17: SLOAD 00000d18: PUSH1 0xff 00000d1a: AND 00000d1b: ISZERO 00000d1c: JUMPDEST 00000d1d: ISZERO 00000d1e: PUSH2 0x0e02 00000d21: JUMPI 00000d22: PUSH1 0x0f 00000d24: SLOAD 00000d25: DUP3 00000d26: GT 00000d27: ISZERO 00000d28: PUSH2 0x0d73 00000d2b: JUMPI 00000d2c: PUSH1 0x40 00000d2e: MLOAD 00000d2f: PUSH3 0x461bcd 00000d33: PUSH1 0xe5 00000d35: SHL 00000d36: DUP2 00000d37: MSTORE 00000d38: PUSH1 0x20 00000d3a: PUSH1 0x04 00000d3c: DUP3 00000d3d: ADD 00000d3e: MSTORE 00000d3f: PUSH1 0x19 00000d41: PUSH1 0x24 00000d43: DUP3 00000d44: ADD 00000d45: MSTORE 00000d46: PUSH32 0x4578636565647320746865205f6d61785478416d6f756e742e00000000000000 00000d67: PUSH1 0x44 00000d69: DUP3 00000d6a: ADD 00000d6b: MSTORE 00000d6c: PUSH1 0x64 00000d6e: ADD 00000d6f: PUSH2 0x0480 00000d72: JUMP 00000d73: JUMPDEST 00000d74: PUSH1 0x10 00000d76: SLOAD 00000d77: DUP3 00000d78: PUSH2 0x0d95 00000d7b: DUP6 00000d7c: PUSH1 0x01 00000d7e: PUSH1 0x01 00000d80: PUSH1 0xa0 00000d82: SHL 00000d83: SUB 00000d84: AND 00000d85: PUSH0 00000d86: SWAP1 00000d87: DUP2 00000d88: MSTORE 00000d89: PUSH1 0x01 00000d8b: PUSH1 0x20 00000d8d: MSTORE 00000d8e: PUSH1 0x40 00000d90: SWAP1 00000d91: KECCAK256 00000d92: SLOAD 00000d93: SWAP1 00000d94: JUMP 00000d95: JUMPDEST 00000d96: PUSH2 0x0d9f 00000d99: SWAP2 00000d9a: SWAP1 00000d9b: PUSH2 0x168f 00000d9e: JUMP 00000d9f: JUMPDEST 00000da0: GT 00000da1: ISZERO 00000da2: PUSH2 0x0ded 00000da5: JUMPI 00000da6: PUSH1 0x40 00000da8: MLOAD 00000da9: PUSH3 0x461bcd 00000dad: PUSH1 0xe5 00000daf: SHL 00000db0: DUP2 00000db1: MSTORE 00000db2: PUSH1 0x20 00000db4: PUSH1 0x04 00000db6: DUP3 00000db7: ADD 00000db8: MSTORE 00000db9: PUSH1 0x1a 00000dbb: PUSH1 0x24 00000dbd: DUP3 00000dbe: ADD 00000dbf: MSTORE 00000dc0: PUSH32 0x4578636565647320746865206d617857616c6c657453697a652e000000000000 00000de1: PUSH1 0x44 00000de3: DUP3 00000de4: ADD 00000de5: MSTORE 00000de6: PUSH1 0x64 00000de8: ADD 00000de9: PUSH2 0x0480 00000dec: JUMP 00000ded: JUMPDEST 00000dee: PUSH1 0x0e 00000df0: DUP1 00000df1: SLOAD 00000df2: SWAP1 00000df3: PUSH0 00000df4: PUSH2 0x0dfc 00000df7: DUP4 00000df8: PUSH2 0x16a2 00000dfb: JUMP 00000dfc: JUMPDEST 00000dfd: SWAP2 00000dfe: SWAP1 00000dff: POP 00000e00: SSTORE 00000e01: POP 00000e02: JUMPDEST 00000e03: PUSH1 0x14 00000e05: SLOAD 00000e06: PUSH1 0x01 00000e08: PUSH1 0x01 00000e0a: PUSH1 0xa0 00000e0c: SHL 00000e0d: SUB 00000e0e: DUP5 00000e0f: DUP2 00000e10: AND 00000e11: SWAP2 00000e12: AND 00000e13: EQ 00000e14: DUP1 00000e15: ISZERO 00000e16: PUSH2 0x0e28 00000e19: JUMPI 00000e1a: POP 00000e1b: PUSH1 0x01 00000e1d: PUSH1 0x01 00000e1f: PUSH1 0xa0 00000e21: SHL 00000e22: SUB 00000e23: DUP5 00000e24: AND 00000e25: ADDRESS 00000e26: EQ 00000e27: ISZERO 00000e28: JUMPDEST 00000e29: ISZERO 00000e2a: PUSH2 0x0e55 00000e2d: JUMPI 00000e2e: PUSH2 0x0e52 00000e31: PUSH1 0x64 00000e33: PUSH2 0x0be1 00000e36: PUSH1 0x0c 00000e38: SLOAD 00000e39: PUSH1 0x0e 00000e3b: SLOAD 00000e3c: GT 00000e3d: PUSH2 0x0e48 00000e40: JUMPI 00000e41: PUSH1 0x08 00000e43: SLOAD 00000e44: PUSH2 0x0bda 00000e47: JUMP 00000e48: JUMPDEST 00000e49: PUSH1 0x0a 00000e4b: SLOAD 00000e4c: DUP6 00000e4d: SWAP1 00000e4e: PUSH2 0x121b 00000e51: JUMP 00000e52: JUMPDEST 00000e53: SWAP1 00000e54: POP 00000e55: JUMPDEST 00000e56: ADDRESS 00000e57: PUSH0 00000e58: SWAP1 00000e59: DUP2 00000e5a: MSTORE 00000e5b: PUSH1 0x01 00000e5d: PUSH1 0x20 00000e5f: MSTORE 00000e60: PUSH1 0x40 00000e62: SWAP1 00000e63: KECCAK256 00000e64: SLOAD 00000e65: PUSH1 0x14 00000e67: SLOAD 00000e68: PUSH1 0x01 00000e6a: PUSH1 0xa8 00000e6c: SHL 00000e6d: SWAP1 00000e6e: DIV 00000e6f: PUSH1 0xff 00000e71: AND 00000e72: ISZERO 00000e73: DUP1 00000e74: ISZERO 00000e75: PUSH2 0x0e8b 00000e78: JUMPI 00000e79: POP 00000e7a: PUSH1 0x14 00000e7c: SLOAD 00000e7d: PUSH1 0x01 00000e7f: PUSH1 0x01 00000e81: PUSH1 0xa0 00000e83: SHL 00000e84: SUB 00000e85: DUP6 00000e86: DUP2 00000e87: AND 00000e88: SWAP2 00000e89: AND 00000e8a: EQ 00000e8b: JUMPDEST 00000e8c: DUP1 00000e8d: ISZERO 00000e8e: PUSH2 0x0ea0 00000e91: JUMPI 00000e92: POP 00000e93: PUSH1 0x14 00000e95: SLOAD 00000e96: PUSH1 0x01 00000e98: PUSH1 0xb0 00000e9a: SHL 00000e9b: SWAP1 00000e9c: DIV 00000e9d: PUSH1 0xff 00000e9f: AND 00000ea0: JUMPDEST 00000ea1: DUP1 00000ea2: ISZERO 00000ea3: PUSH2 0x0ead 00000ea6: JUMPI 00000ea7: POP 00000ea8: PUSH1 0x11 00000eaa: SLOAD 00000eab: DUP2 00000eac: GT 00000ead: JUMPDEST 00000eae: DUP1 00000eaf: ISZERO 00000eb0: PUSH2 0x0ebc 00000eb3: JUMPI 00000eb4: POP 00000eb5: PUSH1 0x0d 00000eb7: SLOAD 00000eb8: PUSH1 0x0e 00000eba: SLOAD 00000ebb: GT 00000ebc: JUMPDEST 00000ebd: ISZERO 00000ebe: PUSH2 0x0ef9 00000ec1: JUMPI 00000ec2: PUSH2 0x0ede 00000ec5: PUSH2 0x0ed9 00000ec8: DUP5 00000ec9: PUSH2 0x0ed4 00000ecc: DUP5 00000ecd: PUSH1 0x12 00000ecf: SLOAD 00000ed0: PUSH2 0x12e1 00000ed3: JUMP 00000ed4: JUMPDEST 00000ed5: PUSH2 0x12e1 00000ed8: JUMP 00000ed9: JUMPDEST 00000eda: PUSH2 0x1070 00000edd: JUMP 00000ede: JUMPDEST 00000edf: SELFBALANCE 00000ee0: PUSH7 0xb1a2bc2ec50000 00000ee8: DUP2 00000ee9: GT 00000eea: ISZERO 00000eeb: PUSH2 0x0ef7 00000eee: JUMPI 00000eef: PUSH2 0x0ef7 00000ef2: SELFBALANCE 00000ef3: PUSH2 0x11e0 00000ef6: JUMP 00000ef7: JUMPDEST 00000ef8: POP 00000ef9: JUMPDEST 00000efa: POP 00000efb: JUMPDEST 00000efc: DUP1 00000efd: ISZERO 00000efe: PUSH2 0x0f73 00000f01: JUMPI 00000f02: ADDRESS 00000f03: PUSH0 00000f04: SWAP1 00000f05: DUP2 00000f06: MSTORE 00000f07: PUSH1 0x01 00000f09: PUSH1 0x20 00000f0b: MSTORE 00000f0c: PUSH1 0x40 00000f0e: SWAP1 00000f0f: KECCAK256 00000f10: SLOAD 00000f11: PUSH2 0x0f1a 00000f14: SWAP1 00000f15: DUP3 00000f16: PUSH2 0x12f5 00000f19: JUMP 00000f1a: JUMPDEST 00000f1b: ADDRESS 00000f1c: PUSH0 00000f1d: DUP2 00000f1e: DUP2 00000f1f: MSTORE 00000f20: PUSH1 0x01 00000f22: PUSH1 0x20 00000f24: MSTORE 00000f25: PUSH1 0x40 00000f27: SWAP1 00000f28: DUP2 00000f29: SWAP1 00000f2a: KECCAK256 00000f2b: SWAP3 00000f2c: SWAP1 00000f2d: SWAP3 00000f2e: SSTORE 00000f2f: SWAP1 00000f30: MLOAD 00000f31: PUSH1 0x01 00000f33: PUSH1 0x01 00000f35: PUSH1 0xa0 00000f37: SHL 00000f38: SUB 00000f39: DUP7 00000f3a: AND 00000f3b: SWAP1 00000f3c: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000f5d: SWAP1 00000f5e: PUSH2 0x0f6a 00000f61: SWAP1 00000f62: DUP6 00000f63: DUP2 00000f64: MSTORE 00000f65: PUSH1 0x20 00000f67: ADD 00000f68: SWAP1 00000f69: JUMP 00000f6a: JUMPDEST 00000f6b: PUSH1 0x40 00000f6d: MLOAD 00000f6e: DUP1 00000f6f: SWAP2 00000f70: SUB 00000f71: SWAP1 00000f72: LOG3 00000f73: JUMPDEST 00000f74: PUSH1 0x01 00000f76: PUSH1 0x01 00000f78: PUSH1 0xa0 00000f7a: SHL 00000f7b: SUB 00000f7c: DUP5 00000f7d: AND 00000f7e: PUSH0 00000f7f: SWAP1 00000f80: DUP2 00000f81: MSTORE 00000f82: PUSH1 0x01 00000f84: PUSH1 0x20 00000f86: MSTORE 00000f87: PUSH1 0x40 00000f89: SWAP1 00000f8a: KECCAK256 00000f8b: SLOAD 00000f8c: PUSH2 0x0f95 00000f8f: SWAP1 00000f90: DUP4 00000f91: PUSH2 0x1353 00000f94: JUMP 00000f95: JUMPDEST 00000f96: PUSH1 0x01 00000f98: PUSH1 0x01 00000f9a: PUSH1 0xa0 00000f9c: SHL 00000f9d: SUB 00000f9e: DUP6 00000f9f: AND 00000fa0: PUSH0 00000fa1: SWAP1 00000fa2: DUP2 00000fa3: MSTORE 00000fa4: PUSH1 0x01 00000fa6: PUSH1 0x20 00000fa8: MSTORE 00000fa9: PUSH1 0x40 00000fab: SWAP1 00000fac: KECCAK256 00000fad: SSTORE 00000fae: PUSH2 0x0fd8 00000fb1: PUSH2 0x0fba 00000fb4: DUP4 00000fb5: DUP4 00000fb6: PUSH2 0x1353 00000fb9: JUMP 00000fba: JUMPDEST 00000fbb: PUSH1 0x01 00000fbd: PUSH1 0x01 00000fbf: PUSH1 0xa0 00000fc1: SHL 00000fc2: SUB 00000fc3: DUP6 00000fc4: AND 00000fc5: PUSH0 00000fc6: SWAP1 00000fc7: DUP2 00000fc8: MSTORE 00000fc9: PUSH1 0x01 00000fcb: PUSH1 0x20 00000fcd: MSTORE 00000fce: PUSH1 0x40 00000fd0: SWAP1 00000fd1: KECCAK256 00000fd2: SLOAD 00000fd3: SWAP1 00000fd4: PUSH2 0x12f5 00000fd7: JUMP 00000fd8: JUMPDEST 00000fd9: PUSH1 0x01 00000fdb: PUSH1 0x01 00000fdd: PUSH1 0xa0 00000fdf: SHL 00000fe0: SUB 00000fe1: DUP1 00000fe2: DUP6 00000fe3: AND 00000fe4: PUSH0 00000fe5: DUP2 00000fe6: DUP2 00000fe7: MSTORE 00000fe8: PUSH1 0x01 00000fea: PUSH1 0x20 00000fec: MSTORE 00000fed: PUSH1 0x40 00000fef: SWAP1 00000ff0: KECCAK256 00000ff1: SWAP3 00000ff2: SWAP1 00000ff3: SWAP3 00000ff4: SSTORE 00000ff5: DUP6 00000ff6: AND 00000ff7: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001018: PUSH2 0x1021 0000101b: DUP6 0000101c: DUP6 0000101d: PUSH2 0x1353 00001020: JUMP 00001021: JUMPDEST 00001022: PUSH1 0x40 00001024: MLOAD 00001025: SWAP1 00001026: DUP2 00001027: MSTORE 00001028: PUSH1 0x20 0000102a: ADD 0000102b: PUSH1 0x40 0000102d: MLOAD 0000102e: DUP1 0000102f: SWAP2 00001030: SUB 00001031: SWAP1 00001032: LOG3 00001033: POP 00001034: POP 00001035: POP 00001036: POP 00001037: JUMP 00001038: JUMPDEST 00001039: PUSH0 0000103a: DUP2 0000103b: DUP5 0000103c: DUP5 0000103d: GT 0000103e: ISZERO 0000103f: PUSH2 0x105b 00001042: JUMPI 00001043: PUSH1 0x40 00001045: MLOAD 00001046: PUSH3 0x461bcd 0000104a: PUSH1 0xe5 0000104c: SHL 0000104d: DUP2 0000104e: MSTORE 0000104f: PUSH1 0x04 00001051: ADD 00001052: PUSH2 0x0480 00001055: SWAP2 00001056: SWAP1 00001057: PUSH2 0x13c0 0000105a: JUMP 0000105b: JUMPDEST 0000105c: POP 0000105d: PUSH0 0000105e: PUSH2 0x1067 00001061: DUP5 00001062: DUP7 00001063: PUSH2 0x16ba 00001066: JUMP 00001067: JUMPDEST 00001068: SWAP6 00001069: SWAP5 0000106a: POP 0000106b: POP 0000106c: POP 0000106d: POP 0000106e: POP 0000106f: JUMP 00001070: JUMPDEST 00001071: PUSH1 0x14 00001073: DUP1 00001074: SLOAD 00001075: PUSH1 0xff 00001077: PUSH1 0xa8 00001079: SHL 0000107a: NOT 0000107b: AND 0000107c: PUSH1 0x01 0000107e: PUSH1 0xa8 00001080: SHL 00001081: OR 00001082: SWAP1 00001083: SSTORE 00001084: PUSH1 0x40 00001086: DUP1 00001087: MLOAD 00001088: PUSH1 0x02 0000108a: DUP1 0000108b: DUP3 0000108c: MSTORE 0000108d: PUSH1 0x60 0000108f: DUP3 00001090: ADD 00001091: DUP4 00001092: MSTORE 00001093: PUSH0 00001094: SWAP3 00001095: PUSH1 0x20 00001097: DUP4 00001098: ADD 00001099: SWAP1 0000109a: DUP1 0000109b: CALLDATASIZE 0000109c: DUP4 0000109d: CALLDATACOPY 0000109e: ADD 0000109f: SWAP1 000010a0: POP 000010a1: POP 000010a2: SWAP1 000010a3: POP 000010a4: ADDRESS 000010a5: DUP2 000010a6: PUSH0 000010a7: DUP2 000010a8: MLOAD 000010a9: DUP2 000010aa: LT 000010ab: PUSH2 0x10b6 000010ae: JUMPI 000010af: PUSH2 0x10b6 000010b2: PUSH2 0x16cd 000010b5: JUMP 000010b6: JUMPDEST 000010b7: PUSH1 0x01 000010b9: PUSH1 0x01 000010bb: PUSH1 0xa0 000010bd: SHL 000010be: SUB 000010bf: SWAP3 000010c0: DUP4 000010c1: AND 000010c2: PUSH1 0x20 000010c4: SWAP2 000010c5: DUP3 000010c6: MUL 000010c7: SWAP3 000010c8: SWAP1 000010c9: SWAP3 000010ca: ADD 000010cb: DUP2 000010cc: ADD 000010cd: SWAP2 000010ce: SWAP1 000010cf: SWAP2 000010d0: MSTORE 000010d1: PUSH1 0x13 000010d3: SLOAD 000010d4: PUSH1 0x40 000010d6: DUP1 000010d7: MLOAD 000010d8: PUSH4 0x15ab88c9 000010dd: PUSH1 0xe3 000010df: SHL 000010e0: DUP2 000010e1: MSTORE 000010e2: SWAP1 000010e3: MLOAD 000010e4: SWAP2 000010e5: SWAP1 000010e6: SWAP4 000010e7: AND 000010e8: SWAP3 000010e9: PUSH4 0xad5c4648 000010ee: SWAP3 000010ef: PUSH1 0x04 000010f1: DUP1 000010f2: DUP4 000010f3: ADD 000010f4: SWAP4 000010f5: SWAP2 000010f6: SWAP3 000010f7: DUP3 000010f8: SWAP1 000010f9: SUB 000010fa: ADD 000010fb: DUP2 000010fc: DUP7 000010fd: GAS 000010fe: STATICCALL 000010ff: ISZERO 00001100: DUP1 00001101: ISZERO 00001102: PUSH2 0x110d 00001105: JUMPI 00001106: RETURNDATASIZE 00001107: PUSH0 00001108: DUP1 00001109: RETURNDATACOPY 0000110a: RETURNDATASIZE 0000110b: PUSH0 0000110c: REVERT 0000110d: JUMPDEST 0000110e: POP 0000110f: POP 00001110: POP 00001111: POP 00001112: PUSH1 0x40 00001114: MLOAD 00001115: RETURNDATASIZE 00001116: PUSH1 0x1f 00001118: NOT 00001119: PUSH1 0x1f 0000111b: DUP3 0000111c: ADD 0000111d: AND 0000111e: DUP3 0000111f: ADD 00001120: DUP1 00001121: PUSH1 0x40 00001123: MSTORE 00001124: POP 00001125: DUP2 00001126: ADD 00001127: SWAP1 00001128: PUSH2 0x1131 0000112b: SWAP2 0000112c: SWAP1 0000112d: PUSH2 0x162a 00001130: JUMP 00001131: JUMPDEST 00001132: DUP2 00001133: PUSH1 0x01 00001135: DUP2 00001136: MLOAD 00001137: DUP2 00001138: LT 00001139: PUSH2 0x1144 0000113c: JUMPI 0000113d: PUSH2 0x1144 00001140: PUSH2 0x16cd 00001143: JUMP 00001144: JUMPDEST 00001145: PUSH1 0x01 00001147: PUSH1 0x01 00001149: PUSH1 0xa0 0000114b: SHL 0000114c: SUB 0000114d: SWAP3 0000114e: DUP4 0000114f: AND 00001150: PUSH1 0x20 00001152: SWAP2 00001153: DUP3 00001154: MUL 00001155: SWAP3 00001156: SWAP1 00001157: SWAP3 00001158: ADD 00001159: ADD 0000115a: MSTORE 0000115b: PUSH1 0x13 0000115d: SLOAD 0000115e: PUSH2 0x116a 00001161: SWAP2 00001162: ADDRESS 00001163: SWAP2 00001164: AND 00001165: DUP5 00001166: PUSH2 0x0941 00001169: JUMP 0000116a: JUMPDEST 0000116b: PUSH1 0x13 0000116d: SLOAD 0000116e: PUSH1 0x40 00001170: MLOAD 00001171: PUSH4 0x791ac947 00001176: PUSH1 0xe0 00001178: SHL 00001179: DUP2 0000117a: MSTORE 0000117b: PUSH1 0x01 0000117d: PUSH1 0x01 0000117f: PUSH1 0xa0 00001181: SHL 00001182: SUB 00001183: SWAP1 00001184: SWAP2 00001185: AND 00001186: SWAP1 00001187: PUSH4 0x791ac947 0000118c: SWAP1 0000118d: PUSH2 0x11a2 00001190: SWAP1 00001191: DUP6 00001192: SWAP1 00001193: PUSH0 00001194: SWAP1 00001195: DUP7 00001196: SWAP1 00001197: ADDRESS 00001198: SWAP1 00001199: TIMESTAMP 0000119a: SWAP1 0000119b: PUSH1 0x04 0000119d: ADD 0000119e: PUSH2 0x16e1 000011a1: JUMP 000011a2: JUMPDEST 000011a3: PUSH0 000011a4: PUSH1 0x40 000011a6: MLOAD 000011a7: DUP1 000011a8: DUP4 000011a9: SUB 000011aa: DUP2 000011ab: PUSH0 000011ac: DUP8 000011ad: DUP1 000011ae: EXTCODESIZE 000011af: ISZERO 000011b0: DUP1 000011b1: ISZERO 000011b2: PUSH2 0x11b9 000011b5: JUMPI 000011b6: PUSH0 000011b7: DUP1 000011b8: REVERT 000011b9: JUMPDEST 000011ba: POP 000011bb: GAS 000011bc: CALL 000011bd: ISZERO 000011be: DUP1 000011bf: ISZERO 000011c0: PUSH2 0x11cb 000011c3: JUMPI 000011c4: RETURNDATASIZE 000011c5: PUSH0 000011c6: DUP1 000011c7: RETURNDATACOPY 000011c8: RETURNDATASIZE 000011c9: PUSH0 000011ca: REVERT 000011cb: JUMPDEST 000011cc: POP 000011cd: POP 000011ce: PUSH1 0x14 000011d0: DUP1 000011d1: SLOAD 000011d2: PUSH1 0xff 000011d4: PUSH1 0xa8 000011d6: SHL 000011d7: NOT 000011d8: AND 000011d9: SWAP1 000011da: SSTORE 000011db: POP 000011dc: POP 000011dd: POP 000011de: POP 000011df: JUMP 000011e0: JUMPDEST 000011e1: PUSH1 0x06 000011e3: SLOAD 000011e4: PUSH1 0x40 000011e6: MLOAD 000011e7: PUSH2 0x0100 000011ea: SWAP1 000011eb: SWAP2 000011ec: DIV 000011ed: PUSH1 0x01 000011ef: PUSH1 0x01 000011f1: PUSH1 0xa0 000011f3: SHL 000011f4: SUB 000011f5: AND 000011f6: SWAP1 000011f7: PUSH2 0x08fc 000011fa: DUP4 000011fb: ISZERO 000011fc: MUL 000011fd: SWAP1 000011fe: DUP4 000011ff: SWAP1 00001200: PUSH0 00001201: DUP2 00001202: DUP2 00001203: DUP2 00001204: DUP6 00001205: DUP9 00001206: DUP9 00001207: CALL 00001208: SWAP4 00001209: POP 0000120a: POP 0000120b: POP 0000120c: POP 0000120d: ISZERO 0000120e: DUP1 0000120f: ISZERO 00001210: PUSH2 0x0453 00001213: JUMPI 00001214: RETURNDATASIZE 00001215: PUSH0 00001216: DUP1 00001217: RETURNDATACOPY 00001218: RETURNDATASIZE 00001219: PUSH0 0000121a: REVERT 0000121b: JUMPDEST 0000121c: PUSH0 0000121d: DUP3 0000121e: PUSH0 0000121f: SUB 00001220: PUSH2 0x122a 00001223: JUMPI 00001224: POP 00001225: PUSH0 00001226: PUSH2 0x0374 00001229: JUMP 0000122a: JUMPDEST 0000122b: PUSH0 0000122c: PUSH2 0x1235 0000122f: DUP4 00001230: DUP6 00001231: PUSH2 0x15de 00001234: JUMP 00001235: JUMPDEST 00001236: SWAP1 00001237: POP 00001238: DUP3 00001239: PUSH2 0x1242 0000123c: DUP6 0000123d: DUP4 0000123e: PUSH2 0x1750 00001241: JUMP 00001242: JUMPDEST 00001243: EQ 00001244: PUSH2 0x1299 00001247: JUMPI 00001248: PUSH1 0x40 0000124a: MLOAD 0000124b: PUSH3 0x461bcd 0000124f: PUSH1 0xe5 00001251: SHL 00001252: DUP2 00001253: MSTORE 00001254: PUSH1 0x20 00001256: PUSH1 0x04 00001258: DUP3 00001259: ADD 0000125a: MSTORE 0000125b: PUSH1 0x21 0000125d: PUSH1 0x24 0000125f: DUP3 00001260: ADD 00001261: MSTORE 00001262: PUSH32 0x536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f 00001283: PUSH1 0x44 00001285: DUP3 00001286: ADD 00001287: MSTORE 00001288: PUSH1 0x77 0000128a: PUSH1 0xf8 0000128c: SHL 0000128d: PUSH1 0x64 0000128f: DUP3 00001290: ADD 00001291: MSTORE 00001292: PUSH1 0x84 00001294: ADD 00001295: PUSH2 0x0480 00001298: JUMP 00001299: JUMPDEST 0000129a: SWAP4 0000129b: SWAP3 0000129c: POP 0000129d: POP 0000129e: POP 0000129f: JUMP 000012a0: JUMPDEST 000012a1: PUSH0 000012a2: PUSH2 0x1299 000012a5: DUP4 000012a6: DUP4 000012a7: PUSH1 0x40 000012a9: MLOAD 000012aa: DUP1 000012ab: PUSH1 0x40 000012ad: ADD 000012ae: PUSH1 0x40 000012b0: MSTORE 000012b1: DUP1 000012b2: PUSH1 0x1a 000012b4: DUP2 000012b5: MSTORE 000012b6: PUSH1 0x20 000012b8: ADD 000012b9: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000 000012da: DUP2 000012db: MSTORE 000012dc: POP 000012dd: PUSH2 0x1394 000012e0: JUMP 000012e1: JUMPDEST 000012e2: PUSH0 000012e3: DUP2 000012e4: DUP4 000012e5: GT 000012e6: PUSH2 0x12ef 000012e9: JUMPI 000012ea: DUP3 000012eb: PUSH2 0x1299 000012ee: JUMP 000012ef: JUMPDEST 000012f0: POP 000012f1: SWAP2 000012f2: SWAP1 000012f3: POP 000012f4: JUMP 000012f5: JUMPDEST 000012f6: PUSH0 000012f7: DUP1 000012f8: PUSH2 0x1301 000012fb: DUP4 000012fc: DUP6 000012fd: PUSH2 0x168f 00001300: JUMP 00001301: JUMPDEST 00001302: SWAP1 00001303: POP 00001304: DUP4 00001305: DUP2 00001306: LT 00001307: ISZERO 00001308: PUSH2 0x1299 0000130b: JUMPI 0000130c: PUSH1 0x40 0000130e: MLOAD 0000130f: PUSH3 0x461bcd 00001313: PUSH1 0xe5 00001315: SHL 00001316: DUP2 00001317: MSTORE 00001318: PUSH1 0x20 0000131a: PUSH1 0x04 0000131c: DUP3 0000131d: ADD 0000131e: MSTORE 0000131f: PUSH1 0x1b 00001321: PUSH1 0x24 00001323: DUP3 00001324: ADD 00001325: MSTORE 00001326: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 00001347: PUSH1 0x44 00001349: DUP3 0000134a: ADD 0000134b: MSTORE 0000134c: PUSH1 0x64 0000134e: ADD 0000134f: PUSH2 0x0480 00001352: JUMP 00001353: JUMPDEST 00001354: PUSH0 00001355: PUSH2 0x1299 00001358: DUP4 00001359: DUP4 0000135a: PUSH1 0x40 0000135c: MLOAD 0000135d: DUP1 0000135e: PUSH1 0x40 00001360: ADD 00001361: PUSH1 0x40 00001363: MSTORE 00001364: DUP1 00001365: PUSH1 0x1e 00001367: DUP2 00001368: MSTORE 00001369: PUSH1 0x20 0000136b: ADD 0000136c: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 0000138d: DUP2 0000138e: MSTORE 0000138f: POP 00001390: PUSH2 0x1038 00001393: JUMP 00001394: JUMPDEST 00001395: PUSH0 00001396: DUP2 00001397: DUP4 00001398: PUSH2 0x13b4 0000139b: JUMPI 0000139c: PUSH1 0x40 0000139e: MLOAD 0000139f: PUSH3 0x461bcd 000013a3: PUSH1 0xe5 000013a5: SHL 000013a6: DUP2 000013a7: MSTORE 000013a8: PUSH1 0x04 000013aa: ADD 000013ab: PUSH2 0x0480 000013ae: SWAP2 000013af: SWAP1 000013b0: PUSH2 0x13c0 000013b3: JUMP 000013b4: JUMPDEST 000013b5: POP 000013b6: PUSH0 000013b7: PUSH2 0x1067 000013ba: DUP5 000013bb: DUP7 000013bc: PUSH2 0x1750 000013bf: JUMP 000013c0: JUMPDEST 000013c1: PUSH0 000013c2: PUSH1 0x20 000013c4: DUP1 000013c5: DUP4 000013c6: MSTORE 000013c7: DUP4 000013c8: MLOAD 000013c9: DUP1 000013ca: DUP3 000013cb: DUP6 000013cc: ADD 000013cd: MSTORE 000013ce: PUSH0 000013cf: JUMPDEST 000013d0: DUP2 000013d1: DUP2 000013d2: LT 000013d3: ISZERO 000013d4: PUSH2 0x13eb 000013d7: JUMPI 000013d8: DUP6 000013d9: DUP2 000013da: ADD 000013db: DUP4 000013dc: ADD 000013dd: MLOAD 000013de: DUP6 000013df: DUP3 000013e0: ADD 000013e1: PUSH1 0x40 000013e3: ADD 000013e4: MSTORE 000013e5: DUP3 000013e6: ADD 000013e7: PUSH2 0x13cf 000013ea: JUMP 000013eb: JUMPDEST 000013ec: POP 000013ed: PUSH0 000013ee: PUSH1 0x40 000013f0: DUP3 000013f1: DUP7 000013f2: ADD 000013f3: ADD 000013f4: MSTORE 000013f5: PUSH1 0x40 000013f7: PUSH1 0x1f 000013f9: NOT 000013fa: PUSH1 0x1f 000013fc: DUP4 000013fd: ADD 000013fe: AND 000013ff: DUP6 00001400: ADD 00001401: ADD 00001402: SWAP3 00001403: POP 00001404: POP 00001405: POP 00001406: SWAP3 00001407: SWAP2 00001408: POP 00001409: POP 0000140a: JUMP 0000140b: JUMPDEST 0000140c: PUSH1 0x01 0000140e: PUSH1 0x01 00001410: PUSH1 0xa0 00001412: SHL 00001413: SUB 00001414: DUP2 00001415: AND 00001416: DUP2 00001417: EQ 00001418: PUSH2 0x141f 0000141b: JUMPI 0000141c: PUSH0 0000141d: DUP1 0000141e: REVERT 0000141f: JUMPDEST 00001420: POP 00001421: JUMP 00001422: JUMPDEST 00001423: PUSH0 00001424: DUP1 00001425: PUSH1 0x40 00001427: DUP4 00001428: DUP6 00001429: SUB 0000142a: SLT 0000142b: ISZERO 0000142c: PUSH2 0x1433 0000142f: JUMPI 00001430: PUSH0 00001431: DUP1 00001432: REVERT 00001433: JUMPDEST 00001434: DUP3 00001435: CALLDATALOAD 00001436: PUSH2 0x143e 00001439: DUP2 0000143a: PUSH2 0x140b 0000143d: JUMP 0000143e: JUMPDEST 0000143f: SWAP5 00001440: PUSH1 0x20 00001442: SWAP4 00001443: SWAP1 00001444: SWAP4 00001445: ADD 00001446: CALLDATALOAD 00001447: SWAP4 00001448: POP 00001449: POP 0000144a: POP 0000144b: JUMP 0000144c: JUMPDEST 0000144d: PUSH0 0000144e: DUP1 0000144f: PUSH0 00001450: PUSH1 0x60 00001452: DUP5 00001453: DUP7 00001454: SUB 00001455: SLT 00001456: ISZERO 00001457: PUSH2 0x145e 0000145a: JUMPI 0000145b: PUSH0 0000145c: DUP1 0000145d: REVERT 0000145e: JUMPDEST 0000145f: DUP4 00001460: CALLDATALOAD 00001461: PUSH2 0x1469 00001464: DUP2 00001465: PUSH2 0x140b 00001468: JUMP 00001469: JUMPDEST 0000146a: SWAP3 0000146b: POP 0000146c: PUSH1 0x20 0000146e: DUP5 0000146f: ADD 00001470: CALLDATALOAD 00001471: PUSH2 0x1479 00001474: DUP2 00001475: PUSH2 0x140b 00001478: JUMP 00001479: JUMPDEST 0000147a: SWAP3 0000147b: SWAP6 0000147c: SWAP3 0000147d: SWAP5 0000147e: POP 0000147f: POP 00001480: POP 00001481: PUSH1 0x40 00001483: SWAP2 00001484: SWAP1 00001485: SWAP2 00001486: ADD 00001487: CALLDATALOAD 00001488: SWAP1 00001489: JUMP 0000148a: JUMPDEST 0000148b: PUSH0 0000148c: PUSH1 0x20 0000148e: DUP3 0000148f: DUP5 00001490: SUB 00001491: SLT 00001492: ISZERO 00001493: PUSH2 0x149a 00001496: JUMPI 00001497: PUSH0 00001498: DUP1 00001499: REVERT 0000149a: JUMPDEST 0000149b: DUP2 0000149c: CALLDATALOAD 0000149d: PUSH2 0x1299 000014a0: DUP2 000014a1: PUSH2 0x140b 000014a4: JUMP 000014a5: JUMPDEST 000014a6: PUSH0 000014a7: DUP1 000014a8: PUSH1 0x40 000014aa: DUP4 000014ab: DUP6 000014ac: SUB 000014ad: SLT 000014ae: ISZERO 000014af: PUSH2 0x14b6 000014b2: JUMPI 000014b3: PUSH0 000014b4: DUP1 000014b5: REVERT 000014b6: JUMPDEST 000014b7: DUP3 000014b8: CALLDATALOAD 000014b9: PUSH2 0x14c1 000014bc: DUP2 000014bd: PUSH2 0x140b 000014c0: JUMP 000014c1: JUMPDEST 000014c2: SWAP2 000014c3: POP 000014c4: PUSH1 0x20 000014c6: DUP4 000014c7: ADD 000014c8: CALLDATALOAD 000014c9: PUSH2 0x14d1 000014cc: DUP2 000014cd: PUSH2 0x140b 000014d0: JUMP 000014d1: JUMPDEST 000014d2: DUP1 000014d3: SWAP2 000014d4: POP 000014d5: POP 000014d6: SWAP3 000014d7: POP 000014d8: SWAP3 000014d9: SWAP1 000014da: POP 000014db: JUMP 000014dc: JUMPDEST 000014dd: PUSH4 0x4e487b71 000014e2: PUSH1 0xe0 000014e4: SHL 000014e5: PUSH0 000014e6: MSTORE 000014e7: PUSH1 0x11 000014e9: PUSH1 0x04 000014eb: MSTORE 000014ec: PUSH1 0x24 000014ee: PUSH0 000014ef: REVERT 000014f0: JUMPDEST 000014f1: PUSH1 0x01 000014f3: DUP2 000014f4: DUP2 000014f5: JUMPDEST 000014f6: DUP1 000014f7: DUP6 000014f8: GT 000014f9: ISZERO 000014fa: PUSH2 0x152a 000014fd: JUMPI 000014fe: DUP2 000014ff: PUSH0 00001500: NOT 00001501: DIV 00001502: DUP3 00001503: GT 00001504: ISZERO 00001505: PUSH2 0x1510 00001508: JUMPI 00001509: PUSH2 0x1510 0000150c: PUSH2 0x14dc 0000150f: JUMP 00001510: JUMPDEST 00001511: DUP1 00001512: DUP6 00001513: AND 00001514: ISZERO 00001515: PUSH2 0x151d 00001518: JUMPI 00001519: SWAP2 0000151a: DUP2 0000151b: MUL 0000151c: SWAP2 0000151d: JUMPDEST 0000151e: SWAP4 0000151f: DUP5 00001520: SHR 00001521: SWAP4 00001522: SWAP1 00001523: DUP1 00001524: MUL 00001525: SWAP1 00001526: PUSH2 0x14f5 00001529: JUMP 0000152a: JUMPDEST 0000152b: POP 0000152c: SWAP3 0000152d: POP 0000152e: SWAP3 0000152f: SWAP1 00001530: POP 00001531: JUMP 00001532: JUMPDEST 00001533: PUSH0 00001534: DUP3 00001535: PUSH2 0x1540 00001538: JUMPI 00001539: POP 0000153a: PUSH1 0x01 0000153c: PUSH2 0x0374 0000153f: JUMP 00001540: JUMPDEST 00001541: DUP2 00001542: PUSH2 0x154c 00001545: JUMPI 00001546: POP 00001547: PUSH0 00001548: PUSH2 0x0374 0000154b: JUMP 0000154c: JUMPDEST 0000154d: DUP2 0000154e: PUSH1 0x01 00001550: DUP2 00001551: EQ 00001552: PUSH2 0x1562 00001555: JUMPI 00001556: PUSH1 0x02 00001558: DUP2 00001559: EQ 0000155a: PUSH2 0x156c 0000155d: JUMPI 0000155e: PUSH2 0x1588 00001561: JUMP 00001562: JUMPDEST 00001563: PUSH1 0x01 00001565: SWAP2 00001566: POP 00001567: POP 00001568: PUSH2 0x0374 0000156b: JUMP 0000156c: JUMPDEST 0000156d: PUSH1 0xff 0000156f: DUP5 00001570: GT 00001571: ISZERO 00001572: PUSH2 0x157d 00001575: JUMPI 00001576: PUSH2 0x157d 00001579: PUSH2 0x14dc 0000157c: JUMP 0000157d: JUMPDEST 0000157e: POP 0000157f: POP 00001580: PUSH1 0x01 00001582: DUP3 00001583: SHL 00001584: PUSH2 0x0374 00001587: JUMP 00001588: JUMPDEST 00001589: POP 0000158a: PUSH1 0x20 0000158c: DUP4 0000158d: LT 0000158e: PUSH2 0x0133 00001591: DUP4 00001592: LT 00001593: AND 00001594: PUSH1 0x4e 00001596: DUP5 00001597: LT 00001598: PUSH1 0x0b 0000159a: DUP5 0000159b: LT 0000159c: AND 0000159d: OR 0000159e: ISZERO 0000159f: PUSH2 0x15ab 000015a2: JUMPI 000015a3: POP 000015a4: DUP2 000015a5: DUP2 000015a6: EXP 000015a7: PUSH2 0x0374 000015aa: JUMP 000015ab: JUMPDEST 000015ac: PUSH2 0x15b5 000015af: DUP4 000015b0: DUP4 000015b1: PUSH2 0x14f0 000015b4: JUMP 000015b5: JUMPDEST 000015b6: DUP1 000015b7: PUSH0 000015b8: NOT 000015b9: DIV 000015ba: DUP3 000015bb: GT 000015bc: ISZERO 000015bd: PUSH2 0x15c8 000015c0: JUMPI 000015c1: PUSH2 0x15c8 000015c4: PUSH2 0x14dc 000015c7: JUMP 000015c8: JUMPDEST 000015c9: MUL 000015ca: SWAP4 000015cb: SWAP3 000015cc: POP 000015cd: POP 000015ce: POP 000015cf: JUMP 000015d0: JUMPDEST 000015d1: PUSH0 000015d2: PUSH2 0x1299 000015d5: PUSH1 0xff 000015d7: DUP5 000015d8: AND 000015d9: DUP4 000015da: PUSH2 0x1532 000015dd: JUMP 000015de: JUMPDEST 000015df: DUP1 000015e0: DUP3 000015e1: MUL 000015e2: DUP2 000015e3: ISZERO 000015e4: DUP3 000015e5: DUP3 000015e6: DIV 000015e7: DUP5 000015e8: EQ 000015e9: OR 000015ea: PUSH2 0x0374 000015ed: JUMPI 000015ee: PUSH2 0x0374 000015f1: PUSH2 0x14dc 000015f4: JUMP 000015f5: JUMPDEST 000015f6: PUSH1 0x20 000015f8: DUP1 000015f9: DUP3 000015fa: MSTORE 000015fb: DUP2 000015fc: DUP2 000015fd: ADD 000015fe: MSTORE 000015ff: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00001620: PUSH1 0x40 00001622: DUP3 00001623: ADD 00001624: MSTORE 00001625: PUSH1 0x60 00001627: ADD 00001628: SWAP1 00001629: JUMP 0000162a: JUMPDEST 0000162b: PUSH0 0000162c: PUSH1 0x20 0000162e: DUP3 0000162f: DUP5 00001630: SUB 00001631: SLT 00001632: ISZERO 00001633: PUSH2 0x163a 00001636: JUMPI 00001637: PUSH0 00001638: DUP1 00001639: REVERT 0000163a: JUMPDEST 0000163b: DUP2 0000163c: MLOAD 0000163d: PUSH2 0x1299 00001640: DUP2 00001641: PUSH2 0x140b 00001644: JUMP 00001645: JUMPDEST 00001646: PUSH0 00001647: DUP1 00001648: PUSH0 00001649: PUSH1 0x60 0000164b: DUP5 0000164c: DUP7 0000164d: SUB 0000164e: SLT 0000164f: ISZERO 00001650: PUSH2 0x1657 00001653: JUMPI 00001654: PUSH0 00001655: DUP1 00001656: REVERT 00001657: JUMPDEST 00001658: DUP4 00001659: MLOAD 0000165a: SWAP3 0000165b: POP 0000165c: PUSH1 0x20 0000165e: DUP5 0000165f: ADD 00001660: MLOAD 00001661: SWAP2 00001662: POP 00001663: PUSH1 0x40 00001665: DUP5 00001666: ADD 00001667: MLOAD 00001668: SWAP1 00001669: POP 0000166a: SWAP3 0000166b: POP 0000166c: SWAP3 0000166d: POP 0000166e: SWAP3 0000166f: JUMP 00001670: JUMPDEST 00001671: PUSH0 00001672: PUSH1 0x20 00001674: DUP3 00001675: DUP5 00001676: SUB 00001677: SLT 00001678: ISZERO 00001679: PUSH2 0x1680 0000167c: JUMPI 0000167d: PUSH0 0000167e: DUP1 0000167f: REVERT 00001680: JUMPDEST 00001681: DUP2 00001682: MLOAD 00001683: DUP1 00001684: ISZERO 00001685: ISZERO 00001686: DUP2 00001687: EQ 00001688: PUSH2 0x1299 0000168b: JUMPI 0000168c: PUSH0 0000168d: DUP1 0000168e: REVERT 0000168f: JUMPDEST 00001690: DUP1 00001691: DUP3 00001692: ADD 00001693: DUP1 00001694: DUP3 00001695: GT 00001696: ISZERO 00001697: PUSH2 0x0374 0000169a: JUMPI 0000169b: PUSH2 0x0374 0000169e: PUSH2 0x14dc 000016a1: JUMP 000016a2: JUMPDEST 000016a3: PUSH0 000016a4: PUSH1 0x01 000016a6: DUP3 000016a7: ADD 000016a8: PUSH2 0x16b3 000016ab: JUMPI 000016ac: PUSH2 0x16b3 000016af: PUSH2 0x14dc 000016b2: JUMP 000016b3: JUMPDEST 000016b4: POP 000016b5: PUSH1 0x01 000016b7: ADD 000016b8: SWAP1 000016b9: JUMP 000016ba: JUMPDEST 000016bb: DUP2 000016bc: DUP2 000016bd: SUB 000016be: DUP2 000016bf: DUP2 000016c0: GT 000016c1: ISZERO 000016c2: PUSH2 0x0374 000016c5: JUMPI 000016c6: PUSH2 0x0374 000016c9: PUSH2 0x14dc 000016cc: JUMP 000016cd: JUMPDEST 000016ce: PUSH4 0x4e487b71 000016d3: PUSH1 0xe0 000016d5: SHL 000016d6: PUSH0 000016d7: MSTORE 000016d8: PUSH1 0x32 000016da: PUSH1 0x04 000016dc: MSTORE 000016dd: PUSH1 0x24 000016df: PUSH0 000016e0: REVERT 000016e1: JUMPDEST 000016e2: PUSH0 000016e3: PUSH1 0xa0 000016e5: DUP3 000016e6: ADD 000016e7: DUP8 000016e8: DUP4 000016e9: MSTORE 000016ea: PUSH1 0x20 000016ec: DUP8 000016ed: DUP2 000016ee: DUP6 000016ef: ADD 000016f0: MSTORE 000016f1: PUSH1 0xa0 000016f3: PUSH1 0x40 000016f5: DUP6 000016f6: ADD 000016f7: MSTORE 000016f8: DUP2 000016f9: DUP8 000016fa: MLOAD 000016fb: DUP1 000016fc: DUP5 000016fd: MSTORE 000016fe: PUSH1 0xc0 00001700: DUP7 00001701: ADD 00001702: SWAP2 00001703: POP 00001704: DUP3 00001705: DUP10 00001706: ADD 00001707: SWAP4 00001708: POP 00001709: PUSH0 0000170a: JUMPDEST 0000170b: DUP2 0000170c: DUP2 0000170d: LT 0000170e: ISZERO 0000170f: PUSH2 0x172f 00001712: JUMPI 00001713: DUP5 00001714: MLOAD 00001715: PUSH1 0x01 00001717: PUSH1 0x01 00001719: PUSH1 0xa0 0000171b: SHL 0000171c: SUB 0000171d: AND 0000171e: DUP4 0000171f: MSTORE 00001720: SWAP4 00001721: DUP4 00001722: ADD 00001723: SWAP4 00001724: SWAP2 00001725: DUP4 00001726: ADD 00001727: SWAP2 00001728: PUSH1 0x01 0000172a: ADD 0000172b: PUSH2 0x170a 0000172e: JUMP 0000172f: JUMPDEST 00001730: POP 00001731: POP 00001732: PUSH1 0x01 00001734: PUSH1 0x01 00001736: PUSH1 0xa0 00001738: SHL 00001739: SUB 0000173a: SWAP7 0000173b: SWAP1 0000173c: SWAP7 0000173d: AND 0000173e: PUSH1 0x60 00001740: DUP6 00001741: ADD 00001742: MSTORE 00001743: POP 00001744: POP 00001745: POP 00001746: PUSH1 0x80 00001748: ADD 00001749: MSTORE 0000174a: SWAP4 0000174b: SWAP3 0000174c: POP 0000174d: POP 0000174e: POP 0000174f: JUMP 00001750: JUMPDEST 00001751: PUSH0 00001752: DUP3 00001753: PUSH2 0x176a 00001756: JUMPI 00001757: PUSH4 0x4e487b71 0000175c: PUSH1 0xe0 0000175e: SHL 0000175f: PUSH0 00001760: MSTORE 00001761: PUSH1 0x12 00001763: PUSH1 0x04 00001765: MSTORE 00001766: PUSH1 0x24 00001768: PUSH0 00001769: REVERT 0000176a: JUMPDEST 0000176b: POP 0000176c: DIV 0000176d: SWAP1 0000176e: JUMP 0000176f: INVALID 00001770: GASLIMIT 00001771: MSTORE 00001772: NUMBER 00001773: ORIGIN 00001774: ADDRESS 00001775: GASPRICE 00001776: KECCAK256 00001777: PUSH21 0x72616e7366657220616d6f756e7420657863656564 0000178d: PUSH20 0x20616c6c6f77616e6365a2646970667358221220 000017a2: UNKNOWN(0x24) 000017a3: UNKNOWN(0x27) 000017a4: GAS 000017a5: UNKNOWN(0x23) 000017a6: ORIGIN 000017a7: UNKNOWN(0xBA) 000017a8: INVALID 000017a9: PUSH29 0x963f048a45a9aa20d045cbaa07647b0a785c6a50d2a83f6764736f6c63 000017c7: NUMBER 000017c8: STOP 000017c9: ADDMOD 000017ca: EQ 000017cb: STOP 000017cc: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbf474bed",
"selector": "0xbf474bed",
"calldata_variants": [
"0xbf474bed",
"0xbf474bed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"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": "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": 3111,
"type": "tx_origin_used"
},
{
"pc": 3260,
"type": "tx_origin_used"
},
{
"pc": 6003,
"type": "tx_origin_used"
},
{
"pc": 6054,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xa57cda39eb7573c247cedadb6f22e546a5b6f2032e68b6de51fd9f1e5df9b7ee
call_targets:
0x90b07b2ad96eb39653d776fba703602c8b15730a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa57cda39eb7573c247cedadb6f22e546a5b6f2032e68b6de51fd9f1e5df9b7ee",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x90b07b2ad96eb39653d776fba703602c8b15730a"
],
"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": "0xc876d0b9",
"selector": "0xc876d0b9",
"calldata_variants": [
"0xc876d0b9",
"0xc876d0b90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc9567bf9",
"selector": "0xc9567bf9",
"calldata_variants": [
"0xc9567bf9",
"0xc9567bf90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"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": 1942,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2170,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2292,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [
{
"pc": 3111,
"type": "tx_origin_used"
},
{
"pc": 3260,
"type": "tx_origin_used"
},
{
"pc": 6003,
"type": "tx_origin_used"
},
{
"pc": 6054,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 5
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xa57cda39eb7573c247cedadb6f22e546a5b6f2032e68b6de51fd9f1e5df9b7ee
call_targets:
0x90b07b2ad96eb39653d776fba703602c8b15730a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa57cda39eb7573c247cedadb6f22e546a5b6f2032e68b6de51fd9f1e5df9b7ee",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x90b07b2ad96eb39653d776fba703602c8b15730a"
],
"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": "0xc876d0b9",
"selector": "0xc876d0b9",
"calldata_variants": [
"0xc876d0b9",
"0xc876d0b90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc9567bf9",
"selector": "0xc9567bf9",
"calldata_variants": [
"0xc9567bf9",
"0xc9567bf90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"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": 1942,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2170,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2292,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": [
{
"pc": 3111,
"type": "tx_origin_used"
},
{
"pc": 3260,
"type": "tx_origin_used"
},
{
"pc": 6003,
"type": "tx_origin_used"
},
{
"pc": 6054,
"type": "tx_origin_used"
}
]
}
|