019b477e-ca07-72b1-871a-3fe857896423
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 |
|---|---|---|---|---|
| 26431 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 26432 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 69614 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 69615 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 69616 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 69617 | 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 0x017f 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x715018a6 00000019: GT 0000001a: PUSH2 0x00d6 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xd5abeb01 00000024: GT 00000025: PUSH2 0x007f 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xe985e9c5 0000002f: GT 00000030: PUSH2 0x0059 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xe985e9c5 0000003a: EQ 0000003b: PUSH2 0x03f1 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf242432a 00000045: EQ 00000046: PUSH2 0x0447 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf2fde38b 00000050: EQ 00000051: PUSH2 0x0467 00000054: JUMPI 00000055: PUSH1 0x00 00000057: DUP1 00000058: REVERT 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0xd5abeb01 00000060: EQ 00000061: PUSH2 0x039b 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0xd821f81a 0000006b: EQ 0000006c: PUSH2 0x03b1 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xe268e4d3 00000076: EQ 00000077: PUSH2 0x03d1 0000007a: JUMPI 0000007b: PUSH1 0x00 0000007d: DUP1 0000007e: REVERT 0000007f: JUMPDEST 00000080: DUP1 00000081: PUSH4 0xa035b1fe 00000086: GT 00000087: PUSH2 0x00b0 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0xa035b1fe 00000091: EQ 00000092: PUSH2 0x0350 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0xa22cb465 0000009c: EQ 0000009d: PUSH2 0x0366 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0xd2593329 000000a7: EQ 000000a8: PUSH2 0x0386 000000ab: JUMPI 000000ac: PUSH1 0x00 000000ae: DUP1 000000af: REVERT 000000b0: JUMPDEST 000000b1: DUP1 000000b2: PUSH4 0x715018a6 000000b7: EQ 000000b8: PUSH2 0x02e6 000000bb: JUMPI 000000bc: DUP1 000000bd: PUSH4 0x8da5cb5b 000000c2: EQ 000000c3: PUSH2 0x02fb 000000c6: JUMPI 000000c7: DUP1 000000c8: PUSH4 0x91b7f5ed 000000cd: EQ 000000ce: PUSH2 0x0330 000000d1: JUMPI 000000d2: PUSH1 0x00 000000d4: DUP1 000000d5: REVERT 000000d6: JUMPDEST 000000d7: DUP1 000000d8: PUSH4 0x1e84c413 000000dd: GT 000000de: PUSH2 0x0138 000000e1: JUMPI 000000e2: DUP1 000000e3: PUSH4 0x453c2310 000000e8: GT 000000e9: PUSH2 0x0112 000000ec: JUMPI 000000ed: DUP1 000000ee: PUSH4 0x453c2310 000000f3: EQ 000000f4: PUSH2 0x0283 000000f7: JUMPI 000000f8: DUP1 000000f9: PUSH4 0x484b973c 000000fe: EQ 000000ff: PUSH2 0x0299 00000102: JUMPI 00000103: DUP1 00000104: PUSH4 0x4e1273f4 00000109: EQ 0000010a: PUSH2 0x02b9 0000010d: JUMPI 0000010e: PUSH1 0x00 00000110: DUP1 00000111: REVERT 00000112: JUMPDEST 00000113: DUP1 00000114: PUSH4 0x1e84c413 00000119: EQ 0000011a: PUSH2 0x0234 0000011d: JUMPI 0000011e: DUP1 0000011f: PUSH4 0x2eb2c2d6 00000124: EQ 00000125: PUSH2 0x024e 00000128: JUMPI 00000129: DUP1 0000012a: PUSH4 0x3ccfd60b 0000012f: EQ 00000130: PUSH2 0x026e 00000133: JUMPI 00000134: PUSH1 0x00 00000136: DUP1 00000137: REVERT 00000138: JUMPDEST 00000139: DUP1 0000013a: PUSH4 0x0e89341c 0000013f: GT 00000140: PUSH2 0x0169 00000143: JUMPI 00000144: DUP1 00000145: PUSH4 0x0e89341c 0000014a: EQ 0000014b: PUSH2 0x01e7 0000014e: JUMPI 0000014f: DUP1 00000150: PUSH4 0x1249c58b 00000155: EQ 00000156: PUSH2 0x0214 00000159: JUMPI 0000015a: DUP1 0000015b: PUSH4 0x18160ddd 00000160: EQ 00000161: PUSH2 0x021e 00000164: JUMPI 00000165: PUSH1 0x00 00000167: DUP1 00000168: REVERT 00000169: JUMPDEST 0000016a: DUP1 0000016b: PUSH3 0xfdd58e 0000016f: EQ 00000170: PUSH2 0x0184 00000173: JUMPI 00000174: DUP1 00000175: PUSH4 0x01ffc9a7 0000017a: EQ 0000017b: PUSH2 0x01b7 0000017e: JUMPI 0000017f: JUMPDEST 00000180: PUSH1 0x00 00000182: DUP1 00000183: REVERT 00000184: JUMPDEST 00000185: CALLVALUE 00000186: DUP1 00000187: ISZERO 00000188: PUSH2 0x0190 0000018b: JUMPI 0000018c: PUSH1 0x00 0000018e: DUP1 0000018f: REVERT 00000190: JUMPDEST 00000191: POP 00000192: PUSH2 0x01a4 00000195: PUSH2 0x019f 00000198: CALLDATASIZE 00000199: PUSH1 0x04 0000019b: PUSH2 0x203f 0000019e: JUMP 0000019f: JUMPDEST 000001a0: PUSH2 0x0487 000001a3: JUMP 000001a4: JUMPDEST 000001a5: PUSH1 0x40 000001a7: MLOAD 000001a8: SWAP1 000001a9: DUP2 000001aa: MSTORE 000001ab: PUSH1 0x20 000001ad: ADD 000001ae: JUMPDEST 000001af: PUSH1 0x40 000001b1: MLOAD 000001b2: DUP1 000001b3: SWAP2 000001b4: SUB 000001b5: SWAP1 000001b6: RETURN 000001b7: JUMPDEST 000001b8: CALLVALUE 000001b9: DUP1 000001ba: ISZERO 000001bb: PUSH2 0x01c3 000001be: JUMPI 000001bf: PUSH1 0x00 000001c1: DUP1 000001c2: REVERT 000001c3: JUMPDEST 000001c4: POP 000001c5: PUSH2 0x01d7 000001c8: PUSH2 0x01d2 000001cb: CALLDATASIZE 000001cc: PUSH1 0x04 000001ce: PUSH2 0x2133 000001d1: JUMP 000001d2: JUMPDEST 000001d3: PUSH2 0x054a 000001d6: JUMP 000001d7: JUMPDEST 000001d8: PUSH1 0x40 000001da: MLOAD 000001db: SWAP1 000001dc: ISZERO 000001dd: ISZERO 000001de: DUP2 000001df: MSTORE 000001e0: PUSH1 0x20 000001e2: ADD 000001e3: PUSH2 0x01ae 000001e6: JUMP 000001e7: JUMPDEST 000001e8: CALLVALUE 000001e9: DUP1 000001ea: ISZERO 000001eb: PUSH2 0x01f3 000001ee: JUMPI 000001ef: PUSH1 0x00 000001f1: DUP1 000001f2: REVERT 000001f3: JUMPDEST 000001f4: POP 000001f5: PUSH2 0x0207 000001f8: PUSH2 0x0202 000001fb: CALLDATASIZE 000001fc: PUSH1 0x04 000001fe: PUSH2 0x21d8 00000201: JUMP 00000202: JUMPDEST 00000203: PUSH2 0x062f 00000206: JUMP 00000207: JUMPDEST 00000208: PUSH1 0x40 0000020a: MLOAD 0000020b: PUSH2 0x01ae 0000020e: SWAP2 0000020f: SWAP1 00000210: PUSH2 0x238f 00000213: JUMP 00000214: JUMPDEST 00000215: PUSH2 0x021c 00000218: PUSH2 0x06c3 0000021b: JUMP 0000021c: JUMPDEST 0000021d: STOP 0000021e: JUMPDEST 0000021f: CALLVALUE 00000220: DUP1 00000221: ISZERO 00000222: PUSH2 0x022a 00000225: JUMPI 00000226: PUSH1 0x00 00000228: DUP1 00000229: REVERT 0000022a: JUMPDEST 0000022b: POP 0000022c: PUSH2 0x01a4 0000022f: PUSH1 0x06 00000231: SLOAD 00000232: DUP2 00000233: JUMP 00000234: JUMPDEST 00000235: CALLVALUE 00000236: DUP1 00000237: ISZERO 00000238: PUSH2 0x0240 0000023b: JUMPI 0000023c: PUSH1 0x00 0000023e: DUP1 0000023f: REVERT 00000240: JUMPDEST 00000241: POP 00000242: PUSH1 0x08 00000244: SLOAD 00000245: PUSH2 0x01d7 00000248: SWAP1 00000249: PUSH1 0xff 0000024b: AND 0000024c: DUP2 0000024d: JUMP 0000024e: JUMPDEST 0000024f: CALLVALUE 00000250: DUP1 00000251: ISZERO 00000252: PUSH2 0x025a 00000255: JUMPI 00000256: PUSH1 0x00 00000258: DUP1 00000259: REVERT 0000025a: JUMPDEST 0000025b: POP 0000025c: PUSH2 0x021c 0000025f: PUSH2 0x0269 00000262: CALLDATASIZE 00000263: PUSH1 0x04 00000265: PUSH2 0x1efc 00000268: JUMP 00000269: JUMPDEST 0000026a: PUSH2 0x0808 0000026d: JUMP 0000026e: JUMPDEST 0000026f: CALLVALUE 00000270: DUP1 00000271: ISZERO 00000272: PUSH2 0x027a 00000275: JUMPI 00000276: PUSH1 0x00 00000278: DUP1 00000279: REVERT 0000027a: JUMPDEST 0000027b: POP 0000027c: PUSH2 0x021c 0000027f: PUSH2 0x08b7 00000282: JUMP 00000283: JUMPDEST 00000284: CALLVALUE 00000285: DUP1 00000286: ISZERO 00000287: PUSH2 0x028f 0000028a: JUMPI 0000028b: PUSH1 0x00 0000028d: DUP1 0000028e: REVERT 0000028f: JUMPDEST 00000290: POP 00000291: PUSH2 0x01a4 00000294: PUSH1 0x05 00000296: SLOAD 00000297: DUP2 00000298: JUMP 00000299: JUMPDEST 0000029a: CALLVALUE 0000029b: DUP1 0000029c: ISZERO 0000029d: PUSH2 0x02a5 000002a0: JUMPI 000002a1: PUSH1 0x00 000002a3: DUP1 000002a4: REVERT 000002a5: JUMPDEST 000002a6: POP 000002a7: PUSH2 0x021c 000002aa: PUSH2 0x02b4 000002ad: CALLDATASIZE 000002ae: PUSH1 0x04 000002b0: PUSH2 0x203f 000002b3: JUMP 000002b4: JUMPDEST 000002b5: PUSH2 0x0951 000002b8: JUMP 000002b9: JUMPDEST 000002ba: CALLVALUE 000002bb: DUP1 000002bc: ISZERO 000002bd: PUSH2 0x02c5 000002c0: JUMPI 000002c1: PUSH1 0x00 000002c3: DUP1 000002c4: REVERT 000002c5: JUMPDEST 000002c6: POP 000002c7: PUSH2 0x02d9 000002ca: PUSH2 0x02d4 000002cd: CALLDATASIZE 000002ce: PUSH1 0x04 000002d0: PUSH2 0x2068 000002d3: JUMP 000002d4: JUMPDEST 000002d5: PUSH2 0x0a4e 000002d8: JUMP 000002d9: JUMPDEST 000002da: PUSH1 0x40 000002dc: MLOAD 000002dd: PUSH2 0x01ae 000002e0: SWAP2 000002e1: SWAP1 000002e2: PUSH2 0x234e 000002e5: JUMP 000002e6: JUMPDEST 000002e7: CALLVALUE 000002e8: DUP1 000002e9: ISZERO 000002ea: PUSH2 0x02f2 000002ed: JUMPI 000002ee: PUSH1 0x00 000002f0: DUP1 000002f1: REVERT 000002f2: JUMPDEST 000002f3: POP 000002f4: PUSH2 0x021c 000002f7: PUSH2 0x0c28 000002fa: JUMP 000002fb: JUMPDEST 000002fc: CALLVALUE 000002fd: DUP1 000002fe: ISZERO 000002ff: PUSH2 0x0307 00000302: JUMPI 00000303: PUSH1 0x00 00000305: DUP1 00000306: REVERT 00000307: JUMPDEST 00000308: POP 00000309: PUSH1 0x03 0000030b: SLOAD 0000030c: PUSH1 0x40 0000030e: MLOAD 0000030f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000324: SWAP1 00000325: SWAP2 00000326: AND 00000327: DUP2 00000328: MSTORE 00000329: PUSH1 0x20 0000032b: ADD 0000032c: PUSH2 0x01ae 0000032f: JUMP 00000330: JUMPDEST 00000331: CALLVALUE 00000332: DUP1 00000333: ISZERO 00000334: PUSH2 0x033c 00000337: JUMPI 00000338: PUSH1 0x00 0000033a: DUP1 0000033b: REVERT 0000033c: JUMPDEST 0000033d: POP 0000033e: PUSH2 0x021c 00000341: PUSH2 0x034b 00000344: CALLDATASIZE 00000345: PUSH1 0x04 00000347: PUSH2 0x21d8 0000034a: JUMP 0000034b: JUMPDEST 0000034c: PUSH2 0x0c9b 0000034f: JUMP 00000350: JUMPDEST 00000351: CALLVALUE 00000352: DUP1 00000353: ISZERO 00000354: PUSH2 0x035c 00000357: JUMPI 00000358: PUSH1 0x00 0000035a: DUP1 0000035b: REVERT 0000035c: JUMPDEST 0000035d: POP 0000035e: PUSH2 0x01a4 00000361: PUSH1 0x07 00000363: SLOAD 00000364: DUP2 00000365: JUMP 00000366: JUMPDEST 00000367: CALLVALUE 00000368: DUP1 00000369: ISZERO 0000036a: PUSH2 0x0372 0000036d: JUMPI 0000036e: PUSH1 0x00 00000370: DUP1 00000371: REVERT 00000372: JUMPDEST 00000373: POP 00000374: PUSH2 0x021c 00000377: PUSH2 0x0381 0000037a: CALLDATASIZE 0000037b: PUSH1 0x04 0000037d: PUSH2 0x2005 00000380: JUMP 00000381: JUMPDEST 00000382: PUSH2 0x0d07 00000385: JUMP 00000386: JUMPDEST 00000387: CALLVALUE 00000388: DUP1 00000389: ISZERO 0000038a: PUSH2 0x0392 0000038d: JUMPI 0000038e: PUSH1 0x00 00000390: DUP1 00000391: REVERT 00000392: JUMPDEST 00000393: POP 00000394: PUSH2 0x021c 00000397: PUSH2 0x0d12 0000039a: JUMP 0000039b: JUMPDEST 0000039c: CALLVALUE 0000039d: DUP1 0000039e: ISZERO 0000039f: PUSH2 0x03a7 000003a2: JUMPI 000003a3: PUSH1 0x00 000003a5: DUP1 000003a6: REVERT 000003a7: JUMPDEST 000003a8: POP 000003a9: PUSH2 0x01a4 000003ac: PUSH1 0x04 000003ae: SLOAD 000003af: DUP2 000003b0: JUMP 000003b1: JUMPDEST 000003b2: CALLVALUE 000003b3: DUP1 000003b4: ISZERO 000003b5: PUSH2 0x03bd 000003b8: JUMPI 000003b9: PUSH1 0x00 000003bb: DUP1 000003bc: REVERT 000003bd: JUMPDEST 000003be: POP 000003bf: PUSH2 0x021c 000003c2: PUSH2 0x03cc 000003c5: CALLDATASIZE 000003c6: PUSH1 0x04 000003c8: PUSH2 0x216b 000003cb: JUMP 000003cc: JUMPDEST 000003cd: PUSH2 0x0dab 000003d0: JUMP 000003d1: JUMPDEST 000003d2: CALLVALUE 000003d3: DUP1 000003d4: ISZERO 000003d5: PUSH2 0x03dd 000003d8: JUMPI 000003d9: PUSH1 0x00 000003db: DUP1 000003dc: REVERT 000003dd: JUMPDEST 000003de: POP 000003df: PUSH2 0x021c 000003e2: PUSH2 0x03ec 000003e5: CALLDATASIZE 000003e6: PUSH1 0x04 000003e8: PUSH2 0x21d8 000003eb: JUMP 000003ec: JUMPDEST 000003ed: PUSH2 0x0e23 000003f0: JUMP 000003f1: JUMPDEST 000003f2: CALLVALUE 000003f3: DUP1 000003f4: ISZERO 000003f5: PUSH2 0x03fd 000003f8: JUMPI 000003f9: PUSH1 0x00 000003fb: DUP1 000003fc: REVERT 000003fd: JUMPDEST 000003fe: POP 000003ff: PUSH2 0x01d7 00000402: PUSH2 0x040c 00000405: CALLDATASIZE 00000406: PUSH1 0x04 00000408: PUSH2 0x1eca 0000040b: JUMP 0000040c: JUMPDEST 0000040d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000422: SWAP2 00000423: DUP3 00000424: AND 00000425: PUSH1 0x00 00000427: SWAP1 00000428: DUP2 00000429: MSTORE 0000042a: PUSH1 0x01 0000042c: PUSH1 0x20 0000042e: SWAP1 0000042f: DUP2 00000430: MSTORE 00000431: PUSH1 0x40 00000433: DUP1 00000434: DUP4 00000435: KECCAK256 00000436: SWAP4 00000437: SWAP1 00000438: SWAP5 00000439: AND 0000043a: DUP3 0000043b: MSTORE 0000043c: SWAP2 0000043d: SWAP1 0000043e: SWAP2 0000043f: MSTORE 00000440: KECCAK256 00000441: SLOAD 00000442: PUSH1 0xff 00000444: AND 00000445: SWAP1 00000446: JUMP 00000447: JUMPDEST 00000448: CALLVALUE 00000449: DUP1 0000044a: ISZERO 0000044b: PUSH2 0x0453 0000044e: JUMPI 0000044f: PUSH1 0x00 00000451: DUP1 00000452: REVERT 00000453: JUMPDEST 00000454: POP 00000455: PUSH2 0x021c 00000458: PUSH2 0x0462 0000045b: CALLDATASIZE 0000045c: PUSH1 0x04 0000045e: PUSH2 0x1fa2 00000461: JUMP 00000462: JUMPDEST 00000463: PUSH2 0x0e8f 00000466: JUMP 00000467: JUMPDEST 00000468: CALLVALUE 00000469: DUP1 0000046a: ISZERO 0000046b: PUSH2 0x0473 0000046e: JUMPI 0000046f: PUSH1 0x00 00000471: DUP1 00000472: REVERT 00000473: JUMPDEST 00000474: POP 00000475: PUSH2 0x021c 00000478: PUSH2 0x0482 0000047b: CALLDATASIZE 0000047c: PUSH1 0x04 0000047e: PUSH2 0x1ea9 00000481: JUMP 00000482: JUMPDEST 00000483: PUSH2 0x0f37 00000486: JUMP 00000487: JUMPDEST 00000488: PUSH1 0x00 0000048a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000049f: DUP4 000004a0: AND 000004a1: PUSH2 0x0517 000004a4: JUMPI 000004a5: PUSH1 0x40 000004a7: MLOAD 000004a8: PUSH3 0x461bcd 000004ac: PUSH1 0xe5 000004ae: SHL 000004af: DUP2 000004b0: MSTORE 000004b1: PUSH1 0x20 000004b3: PUSH1 0x04 000004b5: DUP3 000004b6: ADD 000004b7: MSTORE 000004b8: PUSH1 0x2b 000004ba: PUSH1 0x24 000004bc: DUP3 000004bd: ADD 000004be: MSTORE 000004bf: PUSH32 0x455243313135353a2062616c616e636520717565727920666f7220746865207a 000004e0: PUSH1 0x44 000004e2: DUP3 000004e3: ADD 000004e4: MSTORE 000004e5: PUSH32 0x65726f2061646472657373000000000000000000000000000000000000000000 00000506: PUSH1 0x64 00000508: DUP3 00000509: ADD 0000050a: MSTORE 0000050b: PUSH1 0x84 0000050d: ADD 0000050e: JUMPDEST 0000050f: PUSH1 0x40 00000511: MLOAD 00000512: DUP1 00000513: SWAP2 00000514: SUB 00000515: SWAP1 00000516: REVERT 00000517: JUMPDEST 00000518: POP 00000519: PUSH1 0x00 0000051b: SWAP1 0000051c: DUP2 0000051d: MSTORE 0000051e: PUSH1 0x20 00000520: DUP2 00000521: DUP2 00000522: MSTORE 00000523: PUSH1 0x40 00000525: DUP1 00000526: DUP4 00000527: KECCAK256 00000528: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000053d: SWAP5 0000053e: SWAP1 0000053f: SWAP5 00000540: AND 00000541: DUP4 00000542: MSTORE 00000543: SWAP3 00000544: SWAP1 00000545: MSTORE 00000546: KECCAK256 00000547: SLOAD 00000548: SWAP1 00000549: JUMP 0000054a: JUMPDEST 0000054b: PUSH1 0x00 0000054d: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 0000056e: DUP3 0000056f: AND 00000570: PUSH32 0xd9b67a2600000000000000000000000000000000000000000000000000000000 00000591: EQ 00000592: DUP1 00000593: PUSH2 0x05dd 00000596: JUMPI 00000597: POP 00000598: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 000005b9: DUP3 000005ba: AND 000005bb: PUSH32 0x0e89341c00000000000000000000000000000000000000000000000000000000 000005dc: EQ 000005dd: JUMPDEST 000005de: DUP1 000005df: PUSH2 0x0629 000005e2: JUMPI 000005e3: POP 000005e4: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000 00000605: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00000626: DUP4 00000627: AND 00000628: EQ 00000629: JUMPDEST 0000062a: SWAP3 0000062b: SWAP2 0000062c: POP 0000062d: POP 0000062e: JUMP 0000062f: JUMPDEST 00000630: PUSH1 0x60 00000632: PUSH1 0x09 00000634: DUP1 00000635: SLOAD 00000636: PUSH2 0x063e 00000639: SWAP1 0000063a: PUSH2 0x23de 0000063d: JUMP 0000063e: JUMPDEST 0000063f: DUP1 00000640: PUSH1 0x1f 00000642: ADD 00000643: PUSH1 0x20 00000645: DUP1 00000646: SWAP2 00000647: DIV 00000648: MUL 00000649: PUSH1 0x20 0000064b: ADD 0000064c: PUSH1 0x40 0000064e: MLOAD 0000064f: SWAP1 00000650: DUP2 00000651: ADD 00000652: PUSH1 0x40 00000654: MSTORE 00000655: DUP1 00000656: SWAP3 00000657: SWAP2 00000658: SWAP1 00000659: DUP2 0000065a: DUP2 0000065b: MSTORE 0000065c: PUSH1 0x20 0000065e: ADD 0000065f: DUP3 00000660: DUP1 00000661: SLOAD 00000662: PUSH2 0x066a 00000665: SWAP1 00000666: PUSH2 0x23de 00000669: JUMP 0000066a: JUMPDEST 0000066b: DUP1 0000066c: ISZERO 0000066d: PUSH2 0x06b7 00000670: JUMPI 00000671: DUP1 00000672: PUSH1 0x1f 00000674: LT 00000675: PUSH2 0x068c 00000678: JUMPI 00000679: PUSH2 0x0100 0000067c: DUP1 0000067d: DUP4 0000067e: SLOAD 0000067f: DIV 00000680: MUL 00000681: DUP4 00000682: MSTORE 00000683: SWAP2 00000684: PUSH1 0x20 00000686: ADD 00000687: SWAP2 00000688: PUSH2 0x06b7 0000068b: JUMP 0000068c: JUMPDEST 0000068d: DUP3 0000068e: ADD 0000068f: SWAP2 00000690: SWAP1 00000691: PUSH1 0x00 00000693: MSTORE 00000694: PUSH1 0x20 00000696: PUSH1 0x00 00000698: KECCAK256 00000699: SWAP1 0000069a: JUMPDEST 0000069b: DUP2 0000069c: SLOAD 0000069d: DUP2 0000069e: MSTORE 0000069f: SWAP1 000006a0: PUSH1 0x01 000006a2: ADD 000006a3: SWAP1 000006a4: PUSH1 0x20 000006a6: ADD 000006a7: DUP1 000006a8: DUP4 000006a9: GT 000006aa: PUSH2 0x069a 000006ad: JUMPI 000006ae: DUP3 000006af: SWAP1 000006b0: SUB 000006b1: PUSH1 0x1f 000006b3: AND 000006b4: DUP3 000006b5: ADD 000006b6: SWAP2 000006b7: JUMPDEST 000006b8: POP 000006b9: POP 000006ba: POP 000006bb: POP 000006bc: POP 000006bd: SWAP1 000006be: POP 000006bf: SWAP2 000006c0: SWAP1 000006c1: POP 000006c2: JUMP 000006c3: JUMPDEST 000006c4: PUSH1 0x08 000006c6: SLOAD 000006c7: PUSH1 0xff 000006c9: AND 000006ca: PUSH2 0x0715 000006cd: JUMPI 000006ce: PUSH1 0x40 000006d0: MLOAD 000006d1: PUSH3 0x461bcd 000006d5: PUSH1 0xe5 000006d7: SHL 000006d8: DUP2 000006d9: MSTORE 000006da: PUSH1 0x20 000006dc: PUSH1 0x04 000006de: DUP3 000006df: ADD 000006e0: MSTORE 000006e1: PUSH1 0x17 000006e3: PUSH1 0x24 000006e5: DUP3 000006e6: ADD 000006e7: MSTORE 000006e8: PUSH32 0x4d696e74206973206f6e20686f6c6420666f72206e6f77000000000000000000 00000709: PUSH1 0x44 0000070b: DUP3 0000070c: ADD 0000070d: MSTORE 0000070e: PUSH1 0x64 00000710: ADD 00000711: PUSH2 0x050e 00000714: JUMP 00000715: JUMPDEST 00000716: PUSH1 0x04 00000718: SLOAD 00000719: PUSH1 0x06 0000071b: SLOAD 0000071c: LT 0000071d: PUSH2 0x0768 00000720: JUMPI 00000721: PUSH1 0x40 00000723: MLOAD 00000724: PUSH3 0x461bcd 00000728: PUSH1 0xe5 0000072a: SHL 0000072b: DUP2 0000072c: MSTORE 0000072d: PUSH1 0x20 0000072f: PUSH1 0x04 00000731: DUP3 00000732: ADD 00000733: MSTORE 00000734: PUSH1 0x12 00000736: PUSH1 0x24 00000738: DUP3 00000739: ADD 0000073a: MSTORE 0000073b: PUSH32 0x4d617820737570706c7920726561636865640000000000000000000000000000 0000075c: PUSH1 0x44 0000075e: DUP3 0000075f: ADD 00000760: MSTORE 00000761: PUSH1 0x64 00000763: ADD 00000764: PUSH2 0x050e 00000767: JUMP 00000768: JUMPDEST 00000769: PUSH1 0x05 0000076b: SLOAD 0000076c: PUSH2 0x0776 0000076f: CALLER 00000770: PUSH1 0x00 00000772: PUSH2 0x0487 00000775: JUMP 00000776: JUMPDEST 00000777: LT 00000778: PUSH2 0x07c3 0000077b: JUMPI 0000077c: PUSH1 0x40 0000077e: MLOAD 0000077f: PUSH3 0x461bcd 00000783: PUSH1 0xe5 00000785: SHL 00000786: DUP2 00000787: MSTORE 00000788: PUSH1 0x20 0000078a: PUSH1 0x04 0000078c: DUP3 0000078d: ADD 0000078e: MSTORE 0000078f: PUSH1 0x1d 00000791: PUSH1 0x24 00000793: DUP3 00000794: ADD 00000795: MSTORE 00000796: PUSH32 0x4d617820616d6f756e74207065722077616c6c65742072656163686564000000 000007b7: PUSH1 0x44 000007b9: DUP3 000007ba: ADD 000007bb: MSTORE 000007bc: PUSH1 0x64 000007be: ADD 000007bf: PUSH2 0x050e 000007c2: JUMP 000007c3: JUMPDEST 000007c4: PUSH1 0x07 000007c6: SLOAD 000007c7: CALLVALUE 000007c8: EQ 000007c9: PUSH2 0x07d1 000007cc: JUMPI 000007cd: PUSH1 0x00 000007cf: DUP1 000007d0: REVERT 000007d1: JUMPDEST 000007d2: PUSH2 0x07ee 000007d5: CALLER 000007d6: PUSH1 0x00 000007d8: PUSH1 0x01 000007da: PUSH1 0x40 000007dc: MLOAD 000007dd: DUP1 000007de: PUSH1 0x20 000007e0: ADD 000007e1: PUSH1 0x40 000007e3: MSTORE 000007e4: DUP1 000007e5: PUSH1 0x00 000007e7: DUP2 000007e8: MSTORE 000007e9: POP 000007ea: PUSH2 0x1033 000007ed: JUMP 000007ee: JUMPDEST 000007ef: PUSH1 0x01 000007f1: PUSH1 0x06 000007f3: PUSH1 0x00 000007f5: DUP3 000007f6: DUP3 000007f7: SLOAD 000007f8: PUSH2 0x0801 000007fb: SWAP2 000007fc: SWAP1 000007fd: PUSH2 0x23c6 00000800: JUMP 00000801: JUMPDEST 00000802: SWAP1 00000803: SWAP2 00000804: SSTORE 00000805: POP 00000806: POP 00000807: JUMP 00000808: JUMPDEST 00000809: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000081e: DUP6 0000081f: AND 00000820: CALLER 00000821: EQ 00000822: DUP1 00000823: PUSH2 0x0831 00000826: JUMPI 00000827: POP 00000828: PUSH2 0x0831 0000082b: DUP6 0000082c: CALLER 0000082d: PUSH2 0x040c 00000830: JUMP 00000831: JUMPDEST 00000832: PUSH2 0x08a3 00000835: JUMPI 00000836: PUSH1 0x40 00000838: MLOAD 00000839: PUSH3 0x461bcd 0000083d: PUSH1 0xe5 0000083f: SHL 00000840: DUP2 00000841: MSTORE 00000842: PUSH1 0x20 00000844: PUSH1 0x04 00000846: DUP3 00000847: ADD 00000848: MSTORE 00000849: PUSH1 0x32 0000084b: PUSH1 0x24 0000084d: DUP3 0000084e: ADD 0000084f: MSTORE 00000850: PUSH32 0x455243313135353a207472616e736665722063616c6c6572206973206e6f7420 00000871: PUSH1 0x44 00000873: DUP3 00000874: ADD 00000875: MSTORE 00000876: PUSH32 0x6f776e6572206e6f7220617070726f7665640000000000000000000000000000 00000897: PUSH1 0x64 00000899: DUP3 0000089a: ADD 0000089b: MSTORE 0000089c: PUSH1 0x84 0000089e: ADD 0000089f: PUSH2 0x050e 000008a2: JUMP 000008a3: JUMPDEST 000008a4: PUSH2 0x08b0 000008a7: DUP6 000008a8: DUP6 000008a9: DUP6 000008aa: DUP6 000008ab: DUP6 000008ac: PUSH2 0x1180 000008af: JUMP 000008b0: JUMPDEST 000008b1: POP 000008b2: POP 000008b3: POP 000008b4: POP 000008b5: POP 000008b6: JUMP 000008b7: JUMPDEST 000008b8: PUSH1 0x03 000008ba: SLOAD 000008bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008d0: AND 000008d1: CALLER 000008d2: EQ 000008d3: PUSH2 0x091e 000008d6: JUMPI 000008d7: PUSH1 0x40 000008d9: MLOAD 000008da: PUSH3 0x461bcd 000008de: PUSH1 0xe5 000008e0: SHL 000008e1: DUP2 000008e2: MSTORE 000008e3: PUSH1 0x20 000008e5: PUSH1 0x04 000008e7: DUP3 000008e8: ADD 000008e9: DUP2 000008ea: SWAP1 000008eb: MSTORE 000008ec: PUSH1 0x24 000008ee: DUP3 000008ef: ADD 000008f0: MSTORE 000008f1: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000912: PUSH1 0x44 00000914: DUP3 00000915: ADD 00000916: MSTORE 00000917: PUSH1 0x64 00000919: ADD 0000091a: PUSH2 0x050e 0000091d: JUMP 0000091e: JUMPDEST 0000091f: PUSH1 0x40 00000921: MLOAD 00000922: SELFBALANCE 00000923: SWAP1 00000924: CALLER 00000925: SWAP1 00000926: DUP3 00000927: ISZERO 00000928: PUSH2 0x08fc 0000092b: MUL 0000092c: SWAP1 0000092d: DUP4 0000092e: SWAP1 0000092f: PUSH1 0x00 00000931: DUP2 00000932: DUP2 00000933: DUP2 00000934: DUP6 00000935: DUP9 00000936: DUP9 00000937: CALL 00000938: SWAP4 00000939: POP 0000093a: POP 0000093b: POP 0000093c: POP 0000093d: ISZERO 0000093e: DUP1 0000093f: ISZERO 00000940: PUSH2 0x094d 00000943: JUMPI 00000944: RETURNDATASIZE 00000945: PUSH1 0x00 00000947: DUP1 00000948: RETURNDATACOPY 00000949: RETURNDATASIZE 0000094a: PUSH1 0x00 0000094c: REVERT 0000094d: JUMPDEST 0000094e: POP 0000094f: POP 00000950: JUMP 00000951: JUMPDEST 00000952: PUSH1 0x03 00000954: SLOAD 00000955: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000096a: AND 0000096b: CALLER 0000096c: EQ 0000096d: PUSH2 0x09b8 00000970: JUMPI 00000971: PUSH1 0x40 00000973: MLOAD 00000974: PUSH3 0x461bcd 00000978: PUSH1 0xe5 0000097a: SHL 0000097b: DUP2 0000097c: MSTORE 0000097d: PUSH1 0x20 0000097f: PUSH1 0x04 00000981: DUP3 00000982: ADD 00000983: DUP2 00000984: SWAP1 00000985: MSTORE 00000986: PUSH1 0x24 00000988: DUP3 00000989: ADD 0000098a: MSTORE 0000098b: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000009ac: PUSH1 0x44 000009ae: DUP3 000009af: ADD 000009b0: MSTORE 000009b1: PUSH1 0x64 000009b3: ADD 000009b4: PUSH2 0x050e 000009b7: JUMP 000009b8: JUMPDEST 000009b9: PUSH1 0x04 000009bb: SLOAD 000009bc: DUP2 000009bd: PUSH1 0x06 000009bf: SLOAD 000009c0: PUSH2 0x09c9 000009c3: SWAP2 000009c4: SWAP1 000009c5: PUSH2 0x23c6 000009c8: JUMP 000009c9: JUMPDEST 000009ca: GT 000009cb: ISZERO 000009cc: PUSH2 0x0a17 000009cf: JUMPI 000009d0: PUSH1 0x40 000009d2: MLOAD 000009d3: PUSH3 0x461bcd 000009d7: PUSH1 0xe5 000009d9: SHL 000009da: DUP2 000009db: MSTORE 000009dc: PUSH1 0x20 000009de: PUSH1 0x04 000009e0: DUP3 000009e1: ADD 000009e2: MSTORE 000009e3: PUSH1 0x12 000009e5: PUSH1 0x24 000009e7: DUP3 000009e8: ADD 000009e9: MSTORE 000009ea: PUSH32 0x4d617820737570706c7920726561636865640000000000000000000000000000 00000a0b: PUSH1 0x44 00000a0d: DUP3 00000a0e: ADD 00000a0f: MSTORE 00000a10: PUSH1 0x64 00000a12: ADD 00000a13: PUSH2 0x050e 00000a16: JUMP 00000a17: JUMPDEST 00000a18: PUSH2 0x0a33 00000a1b: DUP3 00000a1c: PUSH1 0x00 00000a1e: DUP4 00000a1f: PUSH1 0x40 00000a21: MLOAD 00000a22: DUP1 00000a23: PUSH1 0x20 00000a25: ADD 00000a26: PUSH1 0x40 00000a28: MSTORE 00000a29: DUP1 00000a2a: PUSH1 0x00 00000a2c: DUP2 00000a2d: MSTORE 00000a2e: POP 00000a2f: PUSH2 0x1033 00000a32: JUMP 00000a33: JUMPDEST 00000a34: DUP1 00000a35: PUSH1 0x06 00000a37: PUSH1 0x00 00000a39: DUP3 00000a3a: DUP3 00000a3b: SLOAD 00000a3c: PUSH2 0x0a45 00000a3f: SWAP2 00000a40: SWAP1 00000a41: PUSH2 0x23c6 00000a44: JUMP 00000a45: JUMPDEST 00000a46: SWAP1 00000a47: SWAP2 00000a48: SSTORE 00000a49: POP 00000a4a: POP 00000a4b: POP 00000a4c: POP 00000a4d: JUMP 00000a4e: JUMPDEST 00000a4f: PUSH1 0x60 00000a51: DUP2 00000a52: MLOAD 00000a53: DUP4 00000a54: MLOAD 00000a55: EQ 00000a56: PUSH2 0x0ac7 00000a59: JUMPI 00000a5a: PUSH1 0x40 00000a5c: MLOAD 00000a5d: PUSH3 0x461bcd 00000a61: PUSH1 0xe5 00000a63: SHL 00000a64: DUP2 00000a65: MSTORE 00000a66: PUSH1 0x20 00000a68: PUSH1 0x04 00000a6a: DUP3 00000a6b: ADD 00000a6c: MSTORE 00000a6d: PUSH1 0x29 00000a6f: PUSH1 0x24 00000a71: DUP3 00000a72: ADD 00000a73: MSTORE 00000a74: PUSH32 0x455243313135353a206163636f756e747320616e6420696473206c656e677468 00000a95: PUSH1 0x44 00000a97: DUP3 00000a98: ADD 00000a99: MSTORE 00000a9a: PUSH32 0x206d69736d617463680000000000000000000000000000000000000000000000 00000abb: PUSH1 0x64 00000abd: DUP3 00000abe: ADD 00000abf: MSTORE 00000ac0: PUSH1 0x84 00000ac2: ADD 00000ac3: PUSH2 0x050e 00000ac6: JUMP 00000ac7: JUMPDEST 00000ac8: PUSH1 0x00 00000aca: DUP4 00000acb: MLOAD 00000acc: PUSH8 0xffffffffffffffff 00000ad5: DUP2 00000ad6: GT 00000ad7: ISZERO 00000ad8: PUSH2 0x0b0a 00000adb: JUMPI 00000adc: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000afd: PUSH1 0x00 00000aff: MSTORE 00000b00: PUSH1 0x41 00000b02: PUSH1 0x04 00000b04: MSTORE 00000b05: PUSH1 0x24 00000b07: PUSH1 0x00 00000b09: REVERT 00000b0a: JUMPDEST 00000b0b: PUSH1 0x40 00000b0d: MLOAD 00000b0e: SWAP1 00000b0f: DUP1 00000b10: DUP3 00000b11: MSTORE 00000b12: DUP1 00000b13: PUSH1 0x20 00000b15: MUL 00000b16: PUSH1 0x20 00000b18: ADD 00000b19: DUP3 00000b1a: ADD 00000b1b: PUSH1 0x40 00000b1d: MSTORE 00000b1e: DUP1 00000b1f: ISZERO 00000b20: PUSH2 0x0b33 00000b23: JUMPI 00000b24: DUP2 00000b25: PUSH1 0x20 00000b27: ADD 00000b28: PUSH1 0x20 00000b2a: DUP3 00000b2b: MUL 00000b2c: DUP1 00000b2d: CALLDATASIZE 00000b2e: DUP4 00000b2f: CALLDATACOPY 00000b30: ADD 00000b31: SWAP1 00000b32: POP 00000b33: JUMPDEST 00000b34: POP 00000b35: SWAP1 00000b36: POP 00000b37: PUSH1 0x00 00000b39: JUMPDEST 00000b3a: DUP5 00000b3b: MLOAD 00000b3c: DUP2 00000b3d: LT 00000b3e: ISZERO 00000b3f: PUSH2 0x0c20 00000b42: JUMPI 00000b43: PUSH2 0x0bcc 00000b46: DUP6 00000b47: DUP3 00000b48: DUP2 00000b49: MLOAD 00000b4a: DUP2 00000b4b: LT 00000b4c: PUSH2 0x0b7e 00000b4f: JUMPI 00000b50: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000b71: PUSH1 0x00 00000b73: MSTORE 00000b74: PUSH1 0x32 00000b76: PUSH1 0x04 00000b78: MSTORE 00000b79: PUSH1 0x24 00000b7b: PUSH1 0x00 00000b7d: REVERT 00000b7e: JUMPDEST 00000b7f: PUSH1 0x20 00000b81: MUL 00000b82: PUSH1 0x20 00000b84: ADD 00000b85: ADD 00000b86: MLOAD 00000b87: DUP6 00000b88: DUP4 00000b89: DUP2 00000b8a: MLOAD 00000b8b: DUP2 00000b8c: LT 00000b8d: PUSH2 0x0bbf 00000b90: JUMPI 00000b91: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000bb2: PUSH1 0x00 00000bb4: MSTORE 00000bb5: PUSH1 0x32 00000bb7: PUSH1 0x04 00000bb9: MSTORE 00000bba: PUSH1 0x24 00000bbc: PUSH1 0x00 00000bbe: REVERT 00000bbf: JUMPDEST 00000bc0: PUSH1 0x20 00000bc2: MUL 00000bc3: PUSH1 0x20 00000bc5: ADD 00000bc6: ADD 00000bc7: MLOAD 00000bc8: PUSH2 0x0487 00000bcb: JUMP 00000bcc: JUMPDEST 00000bcd: DUP3 00000bce: DUP3 00000bcf: DUP2 00000bd0: MLOAD 00000bd1: DUP2 00000bd2: LT 00000bd3: PUSH2 0x0c05 00000bd6: JUMPI 00000bd7: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000bf8: PUSH1 0x00 00000bfa: MSTORE 00000bfb: PUSH1 0x32 00000bfd: PUSH1 0x04 00000bff: MSTORE 00000c00: PUSH1 0x24 00000c02: PUSH1 0x00 00000c04: REVERT 00000c05: JUMPDEST 00000c06: PUSH1 0x20 00000c08: SWAP1 00000c09: DUP2 00000c0a: MUL 00000c0b: SWAP2 00000c0c: SWAP1 00000c0d: SWAP2 00000c0e: ADD 00000c0f: ADD 00000c10: MSTORE 00000c11: PUSH2 0x0c19 00000c14: DUP2 00000c15: PUSH2 0x247d 00000c18: JUMP 00000c19: JUMPDEST 00000c1a: SWAP1 00000c1b: POP 00000c1c: PUSH2 0x0b39 00000c1f: JUMP 00000c20: JUMPDEST 00000c21: POP 00000c22: SWAP4 00000c23: SWAP3 00000c24: POP 00000c25: POP 00000c26: POP 00000c27: JUMP 00000c28: JUMPDEST 00000c29: PUSH1 0x03 00000c2b: SLOAD 00000c2c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c41: AND 00000c42: CALLER 00000c43: EQ 00000c44: PUSH2 0x0c8f 00000c47: JUMPI 00000c48: PUSH1 0x40 00000c4a: MLOAD 00000c4b: PUSH3 0x461bcd 00000c4f: PUSH1 0xe5 00000c51: SHL 00000c52: DUP2 00000c53: MSTORE 00000c54: PUSH1 0x20 00000c56: PUSH1 0x04 00000c58: DUP3 00000c59: ADD 00000c5a: DUP2 00000c5b: SWAP1 00000c5c: MSTORE 00000c5d: PUSH1 0x24 00000c5f: DUP3 00000c60: ADD 00000c61: MSTORE 00000c62: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000c83: PUSH1 0x44 00000c85: DUP3 00000c86: ADD 00000c87: MSTORE 00000c88: PUSH1 0x64 00000c8a: ADD 00000c8b: PUSH2 0x050e 00000c8e: JUMP 00000c8f: JUMPDEST 00000c90: PUSH2 0x0c99 00000c93: PUSH1 0x00 00000c95: PUSH2 0x14ba 00000c98: JUMP 00000c99: JUMPDEST 00000c9a: JUMP 00000c9b: JUMPDEST 00000c9c: PUSH1 0x03 00000c9e: SLOAD 00000c9f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cb4: AND 00000cb5: CALLER 00000cb6: EQ 00000cb7: PUSH2 0x0d02 00000cba: JUMPI 00000cbb: PUSH1 0x40 00000cbd: MLOAD 00000cbe: PUSH3 0x461bcd 00000cc2: PUSH1 0xe5 00000cc4: SHL 00000cc5: DUP2 00000cc6: MSTORE 00000cc7: PUSH1 0x20 00000cc9: PUSH1 0x04 00000ccb: DUP3 00000ccc: ADD 00000ccd: DUP2 00000cce: SWAP1 00000ccf: MSTORE 00000cd0: PUSH1 0x24 00000cd2: DUP3 00000cd3: ADD 00000cd4: MSTORE 00000cd5: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000cf6: PUSH1 0x44 00000cf8: DUP3 00000cf9: ADD 00000cfa: MSTORE 00000cfb: PUSH1 0x64 00000cfd: ADD 00000cfe: PUSH2 0x050e 00000d01: JUMP 00000d02: JUMPDEST 00000d03: PUSH1 0x07 00000d05: SSTORE 00000d06: JUMP 00000d07: JUMPDEST 00000d08: PUSH2 0x094d 00000d0b: CALLER 00000d0c: DUP4 00000d0d: DUP4 00000d0e: PUSH2 0x1531 00000d11: JUMP 00000d12: JUMPDEST 00000d13: PUSH1 0x03 00000d15: SLOAD 00000d16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d2b: AND 00000d2c: CALLER 00000d2d: EQ 00000d2e: PUSH2 0x0d79 00000d31: JUMPI 00000d32: PUSH1 0x40 00000d34: MLOAD 00000d35: PUSH3 0x461bcd 00000d39: PUSH1 0xe5 00000d3b: SHL 00000d3c: DUP2 00000d3d: MSTORE 00000d3e: PUSH1 0x20 00000d40: PUSH1 0x04 00000d42: DUP3 00000d43: ADD 00000d44: DUP2 00000d45: SWAP1 00000d46: MSTORE 00000d47: PUSH1 0x24 00000d49: DUP3 00000d4a: ADD 00000d4b: MSTORE 00000d4c: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000d6d: PUSH1 0x44 00000d6f: DUP3 00000d70: ADD 00000d71: MSTORE 00000d72: PUSH1 0x64 00000d74: ADD 00000d75: PUSH2 0x050e 00000d78: JUMP 00000d79: JUMPDEST 00000d7a: PUSH1 0x08 00000d7c: DUP1 00000d7d: SLOAD 00000d7e: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 00000d9f: DUP2 00000da0: AND 00000da1: PUSH1 0xff 00000da3: SWAP1 00000da4: SWAP2 00000da5: AND 00000da6: ISZERO 00000da7: OR 00000da8: SWAP1 00000da9: SSTORE 00000daa: JUMP 00000dab: JUMPDEST 00000dac: PUSH1 0x03 00000dae: SLOAD 00000daf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dc4: AND 00000dc5: CALLER 00000dc6: EQ 00000dc7: PUSH2 0x0e12 00000dca: JUMPI 00000dcb: PUSH1 0x40 00000dcd: MLOAD 00000dce: PUSH3 0x461bcd 00000dd2: PUSH1 0xe5 00000dd4: SHL 00000dd5: DUP2 00000dd6: MSTORE 00000dd7: PUSH1 0x20 00000dd9: PUSH1 0x04 00000ddb: DUP3 00000ddc: ADD 00000ddd: DUP2 00000dde: SWAP1 00000ddf: MSTORE 00000de0: PUSH1 0x24 00000de2: DUP3 00000de3: ADD 00000de4: MSTORE 00000de5: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000e06: PUSH1 0x44 00000e08: DUP3 00000e09: ADD 00000e0a: MSTORE 00000e0b: PUSH1 0x64 00000e0d: ADD 00000e0e: PUSH2 0x050e 00000e11: JUMP 00000e12: JUMPDEST 00000e13: PUSH2 0x0e1e 00000e16: PUSH1 0x09 00000e18: DUP4 00000e19: DUP4 00000e1a: PUSH2 0x1cc8 00000e1d: JUMP 00000e1e: JUMPDEST 00000e1f: POP 00000e20: POP 00000e21: POP 00000e22: JUMP 00000e23: JUMPDEST 00000e24: PUSH1 0x03 00000e26: SLOAD 00000e27: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e3c: AND 00000e3d: CALLER 00000e3e: EQ 00000e3f: PUSH2 0x0e8a 00000e42: JUMPI 00000e43: PUSH1 0x40 00000e45: MLOAD 00000e46: PUSH3 0x461bcd 00000e4a: PUSH1 0xe5 00000e4c: SHL 00000e4d: DUP2 00000e4e: MSTORE 00000e4f: PUSH1 0x20 00000e51: PUSH1 0x04 00000e53: DUP3 00000e54: ADD 00000e55: DUP2 00000e56: SWAP1 00000e57: MSTORE 00000e58: PUSH1 0x24 00000e5a: DUP3 00000e5b: ADD 00000e5c: MSTORE 00000e5d: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000e7e: PUSH1 0x44 00000e80: DUP3 00000e81: ADD 00000e82: MSTORE 00000e83: PUSH1 0x64 00000e85: ADD 00000e86: PUSH2 0x050e 00000e89: JUMP 00000e8a: JUMPDEST 00000e8b: PUSH1 0x05 00000e8d: SSTORE 00000e8e: JUMP 00000e8f: JUMPDEST 00000e90: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ea5: DUP6 00000ea6: AND 00000ea7: CALLER 00000ea8: EQ 00000ea9: DUP1 00000eaa: PUSH2 0x0eb8 00000ead: JUMPI 00000eae: POP 00000eaf: PUSH2 0x0eb8 00000eb2: DUP6 00000eb3: CALLER 00000eb4: PUSH2 0x040c 00000eb7: JUMP 00000eb8: JUMPDEST 00000eb9: PUSH2 0x0f2a 00000ebc: JUMPI 00000ebd: PUSH1 0x40 00000ebf: MLOAD 00000ec0: PUSH3 0x461bcd 00000ec4: PUSH1 0xe5 00000ec6: SHL 00000ec7: DUP2 00000ec8: MSTORE 00000ec9: PUSH1 0x20 00000ecb: PUSH1 0x04 00000ecd: DUP3 00000ece: ADD 00000ecf: MSTORE 00000ed0: PUSH1 0x29 00000ed2: PUSH1 0x24 00000ed4: DUP3 00000ed5: ADD 00000ed6: MSTORE 00000ed7: PUSH32 0x455243313135353a2063616c6c6572206973206e6f74206f776e6572206e6f72 00000ef8: PUSH1 0x44 00000efa: DUP3 00000efb: ADD 00000efc: MSTORE 00000efd: PUSH32 0x20617070726f7665640000000000000000000000000000000000000000000000 00000f1e: PUSH1 0x64 00000f20: DUP3 00000f21: ADD 00000f22: MSTORE 00000f23: PUSH1 0x84 00000f25: ADD 00000f26: PUSH2 0x050e 00000f29: JUMP 00000f2a: JUMPDEST 00000f2b: PUSH2 0x08b0 00000f2e: DUP6 00000f2f: DUP6 00000f30: DUP6 00000f31: DUP6 00000f32: DUP6 00000f33: PUSH2 0x166b 00000f36: JUMP 00000f37: JUMPDEST 00000f38: PUSH1 0x03 00000f3a: SLOAD 00000f3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f50: AND 00000f51: CALLER 00000f52: EQ 00000f53: PUSH2 0x0f9e 00000f56: JUMPI 00000f57: PUSH1 0x40 00000f59: MLOAD 00000f5a: PUSH3 0x461bcd 00000f5e: PUSH1 0xe5 00000f60: SHL 00000f61: DUP2 00000f62: MSTORE 00000f63: PUSH1 0x20 00000f65: PUSH1 0x04 00000f67: DUP3 00000f68: ADD 00000f69: DUP2 00000f6a: SWAP1 00000f6b: MSTORE 00000f6c: PUSH1 0x24 00000f6e: DUP3 00000f6f: ADD 00000f70: MSTORE 00000f71: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000f92: PUSH1 0x44 00000f94: DUP3 00000f95: ADD 00000f96: MSTORE 00000f97: PUSH1 0x64 00000f99: ADD 00000f9a: PUSH2 0x050e 00000f9d: JUMP 00000f9e: JUMPDEST 00000f9f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fb4: DUP2 00000fb5: AND 00000fb6: PUSH2 0x1027 00000fb9: JUMPI 00000fba: PUSH1 0x40 00000fbc: MLOAD 00000fbd: PUSH3 0x461bcd 00000fc1: PUSH1 0xe5 00000fc3: SHL 00000fc4: DUP2 00000fc5: MSTORE 00000fc6: PUSH1 0x20 00000fc8: PUSH1 0x04 00000fca: DUP3 00000fcb: ADD 00000fcc: MSTORE 00000fcd: PUSH1 0x26 00000fcf: PUSH1 0x24 00000fd1: DUP3 00000fd2: ADD 00000fd3: MSTORE 00000fd4: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00000ff5: PUSH1 0x44 00000ff7: DUP3 00000ff8: ADD 00000ff9: MSTORE 00000ffa: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000 0000101b: PUSH1 0x64 0000101d: DUP3 0000101e: ADD 0000101f: MSTORE 00001020: PUSH1 0x84 00001022: ADD 00001023: PUSH2 0x050e 00001026: JUMP 00001027: JUMPDEST 00001028: PUSH2 0x1030 0000102b: DUP2 0000102c: PUSH2 0x14ba 0000102f: JUMP 00001030: JUMPDEST 00001031: POP 00001032: JUMP 00001033: JUMPDEST 00001034: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001049: DUP5 0000104a: AND 0000104b: PUSH2 0x10bc 0000104e: JUMPI 0000104f: PUSH1 0x40 00001051: MLOAD 00001052: PUSH3 0x461bcd 00001056: PUSH1 0xe5 00001058: SHL 00001059: DUP2 0000105a: MSTORE 0000105b: PUSH1 0x20 0000105d: PUSH1 0x04 0000105f: DUP3 00001060: ADD 00001061: MSTORE 00001062: PUSH1 0x21 00001064: PUSH1 0x24 00001066: DUP3 00001067: ADD 00001068: MSTORE 00001069: PUSH32 0x455243313135353a206d696e7420746f20746865207a65726f20616464726573 0000108a: PUSH1 0x44 0000108c: DUP3 0000108d: ADD 0000108e: MSTORE 0000108f: PUSH32 0x7300000000000000000000000000000000000000000000000000000000000000 000010b0: PUSH1 0x64 000010b2: DUP3 000010b3: ADD 000010b4: MSTORE 000010b5: PUSH1 0x84 000010b7: ADD 000010b8: PUSH2 0x050e 000010bb: JUMP 000010bc: JUMPDEST 000010bd: CALLER 000010be: PUSH2 0x10d6 000010c1: DUP2 000010c2: PUSH1 0x00 000010c4: DUP8 000010c5: PUSH2 0x10cd 000010c8: DUP9 000010c9: PUSH2 0x1868 000010cc: JUMP 000010cd: JUMPDEST 000010ce: PUSH2 0x08b0 000010d1: DUP9 000010d2: PUSH2 0x1868 000010d5: JUMP 000010d6: JUMPDEST 000010d7: PUSH1 0x00 000010d9: DUP5 000010da: DUP2 000010db: MSTORE 000010dc: PUSH1 0x20 000010de: DUP2 000010df: DUP2 000010e0: MSTORE 000010e1: PUSH1 0x40 000010e3: DUP1 000010e4: DUP4 000010e5: KECCAK256 000010e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010fb: DUP10 000010fc: AND 000010fd: DUP5 000010fe: MSTORE 000010ff: SWAP1 00001100: SWAP2 00001101: MSTORE 00001102: DUP2 00001103: KECCAK256 00001104: DUP1 00001105: SLOAD 00001106: DUP6 00001107: SWAP3 00001108: SWAP1 00001109: PUSH2 0x1113 0000110c: SWAP1 0000110d: DUP5 0000110e: SWAP1 0000110f: PUSH2 0x23c6 00001112: JUMP 00001113: JUMPDEST 00001114: SWAP1 00001115: SWAP2 00001116: SSTORE 00001117: POP 00001118: POP 00001119: PUSH1 0x40 0000111b: DUP1 0000111c: MLOAD 0000111d: DUP6 0000111e: DUP2 0000111f: MSTORE 00001120: PUSH1 0x20 00001122: DUP2 00001123: ADD 00001124: DUP6 00001125: SWAP1 00001126: MSTORE 00001127: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000113c: DUP1 0000113d: DUP9 0000113e: AND 0000113f: SWAP3 00001140: PUSH1 0x00 00001142: SWAP3 00001143: SWAP2 00001144: DUP6 00001145: AND 00001146: SWAP2 00001147: PUSH32 0xc3d58168c5ae7397731d063d5bbf3d657854427343f4c083240f7aacaa2d0f62 00001168: SWAP2 00001169: ADD 0000116a: PUSH1 0x40 0000116c: MLOAD 0000116d: DUP1 0000116e: SWAP2 0000116f: SUB 00001170: SWAP1 00001171: LOG4 00001172: PUSH2 0x08b0 00001175: DUP2 00001176: PUSH1 0x00 00001178: DUP8 00001179: DUP8 0000117a: DUP8 0000117b: DUP8 0000117c: PUSH2 0x18da 0000117f: JUMP 00001180: JUMPDEST 00001181: DUP2 00001182: MLOAD 00001183: DUP4 00001184: MLOAD 00001185: EQ 00001186: PUSH2 0x11f7 00001189: JUMPI 0000118a: PUSH1 0x40 0000118c: MLOAD 0000118d: PUSH3 0x461bcd 00001191: PUSH1 0xe5 00001193: SHL 00001194: DUP2 00001195: MSTORE 00001196: PUSH1 0x20 00001198: PUSH1 0x04 0000119a: DUP3 0000119b: ADD 0000119c: MSTORE 0000119d: PUSH1 0x28 0000119f: PUSH1 0x24 000011a1: DUP3 000011a2: ADD 000011a3: MSTORE 000011a4: PUSH32 0x455243313135353a2069647320616e6420616d6f756e7473206c656e67746820 000011c5: PUSH1 0x44 000011c7: DUP3 000011c8: ADD 000011c9: MSTORE 000011ca: PUSH32 0x6d69736d61746368000000000000000000000000000000000000000000000000 000011eb: PUSH1 0x64 000011ed: DUP3 000011ee: ADD 000011ef: MSTORE 000011f0: PUSH1 0x84 000011f2: ADD 000011f3: PUSH2 0x050e 000011f6: JUMP 000011f7: JUMPDEST 000011f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000120d: DUP5 0000120e: AND 0000120f: PUSH2 0x1280 00001212: JUMPI 00001213: PUSH1 0x40 00001215: MLOAD 00001216: PUSH3 0x461bcd 0000121a: PUSH1 0xe5 0000121c: SHL 0000121d: DUP2 0000121e: MSTORE 0000121f: PUSH1 0x20 00001221: PUSH1 0x04 00001223: DUP3 00001224: ADD 00001225: MSTORE 00001226: PUSH1 0x25 00001228: PUSH1 0x24 0000122a: DUP3 0000122b: ADD 0000122c: MSTORE 0000122d: PUSH32 0x455243313135353a207472616e7366657220746f20746865207a65726f206164 0000124e: PUSH1 0x44 00001250: DUP3 00001251: ADD 00001252: MSTORE 00001253: PUSH32 0x6472657373000000000000000000000000000000000000000000000000000000 00001274: PUSH1 0x64 00001276: DUP3 00001277: ADD 00001278: MSTORE 00001279: PUSH1 0x84 0000127b: ADD 0000127c: PUSH2 0x050e 0000127f: JUMP 00001280: JUMPDEST 00001281: CALLER 00001282: PUSH1 0x00 00001284: JUMPDEST 00001285: DUP5 00001286: MLOAD 00001287: DUP2 00001288: LT 00001289: ISZERO 0000128a: PUSH2 0x1425 0000128d: JUMPI 0000128e: PUSH1 0x00 00001290: DUP6 00001291: DUP3 00001292: DUP2 00001293: MLOAD 00001294: DUP2 00001295: LT 00001296: PUSH2 0x12c8 00001299: JUMPI 0000129a: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000012bb: PUSH1 0x00 000012bd: MSTORE 000012be: PUSH1 0x32 000012c0: PUSH1 0x04 000012c2: MSTORE 000012c3: PUSH1 0x24 000012c5: PUSH1 0x00 000012c7: REVERT 000012c8: JUMPDEST 000012c9: PUSH1 0x20 000012cb: MUL 000012cc: PUSH1 0x20 000012ce: ADD 000012cf: ADD 000012d0: MLOAD 000012d1: SWAP1 000012d2: POP 000012d3: PUSH1 0x00 000012d5: DUP6 000012d6: DUP4 000012d7: DUP2 000012d8: MLOAD 000012d9: DUP2 000012da: LT 000012db: PUSH2 0x130d 000012de: JUMPI 000012df: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00001300: PUSH1 0x00 00001302: MSTORE 00001303: PUSH1 0x32 00001305: PUSH1 0x04 00001307: MSTORE 00001308: PUSH1 0x24 0000130a: PUSH1 0x00 0000130c: REVERT 0000130d: JUMPDEST 0000130e: PUSH1 0x20 00001310: SWAP1 00001311: DUP2 00001312: MUL 00001313: SWAP2 00001314: SWAP1 00001315: SWAP2 00001316: ADD 00001317: DUP2 00001318: ADD 00001319: MLOAD 0000131a: PUSH1 0x00 0000131c: DUP5 0000131d: DUP2 0000131e: MSTORE 0000131f: DUP1 00001320: DUP4 00001321: MSTORE 00001322: PUSH1 0x40 00001324: DUP1 00001325: DUP3 00001326: KECCAK256 00001327: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000133c: DUP15 0000133d: AND 0000133e: DUP4 0000133f: MSTORE 00001340: SWAP1 00001341: SWAP4 00001342: MSTORE 00001343: SWAP2 00001344: SWAP1 00001345: SWAP2 00001346: KECCAK256 00001347: SLOAD 00001348: SWAP1 00001349: SWAP2 0000134a: POP 0000134b: DUP2 0000134c: DUP2 0000134d: LT 0000134e: ISZERO 0000134f: PUSH2 0x13c0 00001352: JUMPI 00001353: PUSH1 0x40 00001355: MLOAD 00001356: PUSH3 0x461bcd 0000135a: PUSH1 0xe5 0000135c: SHL 0000135d: DUP2 0000135e: MSTORE 0000135f: PUSH1 0x20 00001361: PUSH1 0x04 00001363: DUP3 00001364: ADD 00001365: MSTORE 00001366: PUSH1 0x2a 00001368: PUSH1 0x24 0000136a: DUP3 0000136b: ADD 0000136c: MSTORE 0000136d: PUSH32 0x455243313135353a20696e73756666696369656e742062616c616e636520666f 0000138e: PUSH1 0x44 00001390: DUP3 00001391: ADD 00001392: MSTORE 00001393: PUSH32 0x72207472616e7366657200000000000000000000000000000000000000000000 000013b4: PUSH1 0x64 000013b6: DUP3 000013b7: ADD 000013b8: MSTORE 000013b9: PUSH1 0x84 000013bb: ADD 000013bc: PUSH2 0x050e 000013bf: JUMP 000013c0: JUMPDEST 000013c1: PUSH1 0x00 000013c3: DUP4 000013c4: DUP2 000013c5: MSTORE 000013c6: PUSH1 0x20 000013c8: DUP2 000013c9: DUP2 000013ca: MSTORE 000013cb: PUSH1 0x40 000013cd: DUP1 000013ce: DUP4 000013cf: KECCAK256 000013d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013e5: DUP15 000013e6: DUP2 000013e7: AND 000013e8: DUP6 000013e9: MSTORE 000013ea: SWAP3 000013eb: MSTORE 000013ec: DUP1 000013ed: DUP4 000013ee: KECCAK256 000013ef: DUP6 000013f0: DUP6 000013f1: SUB 000013f2: SWAP1 000013f3: SSTORE 000013f4: SWAP1 000013f5: DUP12 000013f6: AND 000013f7: DUP3 000013f8: MSTORE 000013f9: DUP2 000013fa: KECCAK256 000013fb: DUP1 000013fc: SLOAD 000013fd: DUP5 000013fe: SWAP3 000013ff: SWAP1 00001400: PUSH2 0x140a 00001403: SWAP1 00001404: DUP5 00001405: SWAP1 00001406: PUSH2 0x23c6 00001409: JUMP 0000140a: JUMPDEST 0000140b: SWAP3 0000140c: POP 0000140d: POP 0000140e: DUP2 0000140f: SWAP1 00001410: SSTORE 00001411: POP 00001412: POP 00001413: POP 00001414: POP 00001415: DUP1 00001416: PUSH2 0x141e 00001419: SWAP1 0000141a: PUSH2 0x247d 0000141d: JUMP 0000141e: JUMPDEST 0000141f: SWAP1 00001420: POP 00001421: PUSH2 0x1284 00001424: JUMP 00001425: JUMPDEST 00001426: POP 00001427: DUP5 00001428: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000143d: AND 0000143e: DUP7 0000143f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001454: AND 00001455: DUP3 00001456: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000146b: AND 0000146c: PUSH32 0x4a39dc06d4c0dbc64b70af90fd698a233a518aa5d07e595d983b8c0526c8f7fb 0000148d: DUP8 0000148e: DUP8 0000148f: PUSH1 0x40 00001491: MLOAD 00001492: PUSH2 0x149c 00001495: SWAP3 00001496: SWAP2 00001497: SWAP1 00001498: PUSH2 0x2361 0000149b: JUMP 0000149c: JUMPDEST 0000149d: PUSH1 0x40 0000149f: MLOAD 000014a0: DUP1 000014a1: SWAP2 000014a2: SUB 000014a3: SWAP1 000014a4: LOG4 000014a5: PUSH2 0x14b2 000014a8: DUP2 000014a9: DUP8 000014aa: DUP8 000014ab: DUP8 000014ac: DUP8 000014ad: DUP8 000014ae: PUSH2 0x1b26 000014b1: JUMP 000014b2: JUMPDEST 000014b3: POP 000014b4: POP 000014b5: POP 000014b6: POP 000014b7: POP 000014b8: POP 000014b9: JUMP 000014ba: JUMPDEST 000014bb: PUSH1 0x03 000014bd: DUP1 000014be: SLOAD 000014bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014d4: DUP4 000014d5: DUP2 000014d6: AND 000014d7: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 000014f8: DUP4 000014f9: AND 000014fa: DUP2 000014fb: OR 000014fc: SWAP1 000014fd: SWAP4 000014fe: SSTORE 000014ff: PUSH1 0x40 00001501: MLOAD 00001502: SWAP2 00001503: AND 00001504: SWAP2 00001505: SWAP1 00001506: DUP3 00001507: SWAP1 00001508: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00001529: SWAP1 0000152a: PUSH1 0x00 0000152c: SWAP1 0000152d: LOG3 0000152e: POP 0000152f: POP 00001530: JUMP 00001531: JUMPDEST 00001532: DUP2 00001533: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001548: AND 00001549: DUP4 0000154a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000155f: AND 00001560: EQ 00001561: ISZERO 00001562: PUSH2 0x15d3 00001565: JUMPI 00001566: PUSH1 0x40 00001568: MLOAD 00001569: PUSH3 0x461bcd 0000156d: PUSH1 0xe5 0000156f: SHL 00001570: DUP2 00001571: MSTORE 00001572: PUSH1 0x20 00001574: PUSH1 0x04 00001576: DUP3 00001577: ADD 00001578: MSTORE 00001579: PUSH1 0x29 0000157b: PUSH1 0x24 0000157d: DUP3 0000157e: ADD 0000157f: MSTORE 00001580: PUSH32 0x455243313135353a2073657474696e6720617070726f76616c20737461747573 000015a1: PUSH1 0x44 000015a3: DUP3 000015a4: ADD 000015a5: MSTORE 000015a6: PUSH32 0x20666f722073656c660000000000000000000000000000000000000000000000 000015c7: PUSH1 0x64 000015c9: DUP3 000015ca: ADD 000015cb: MSTORE 000015cc: PUSH1 0x84 000015ce: ADD 000015cf: PUSH2 0x050e 000015d2: JUMP 000015d3: JUMPDEST 000015d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015e9: DUP4 000015ea: DUP2 000015eb: AND 000015ec: PUSH1 0x00 000015ee: DUP2 000015ef: DUP2 000015f0: MSTORE 000015f1: PUSH1 0x01 000015f3: PUSH1 0x20 000015f5: SWAP1 000015f6: DUP2 000015f7: MSTORE 000015f8: PUSH1 0x40 000015fa: DUP1 000015fb: DUP4 000015fc: KECCAK256 000015fd: SWAP5 000015fe: DUP8 000015ff: AND 00001600: DUP1 00001601: DUP5 00001602: MSTORE 00001603: SWAP5 00001604: DUP3 00001605: MSTORE 00001606: SWAP2 00001607: DUP3 00001608: SWAP1 00001609: KECCAK256 0000160a: DUP1 0000160b: SLOAD 0000160c: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 0000162d: AND 0000162e: DUP7 0000162f: ISZERO 00001630: ISZERO 00001631: SWAP1 00001632: DUP2 00001633: OR 00001634: SWAP1 00001635: SWAP2 00001636: SSTORE 00001637: SWAP2 00001638: MLOAD 00001639: SWAP2 0000163a: DUP3 0000163b: MSTORE 0000163c: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31 0000165d: SWAP2 0000165e: ADD 0000165f: PUSH1 0x40 00001661: MLOAD 00001662: DUP1 00001663: SWAP2 00001664: SUB 00001665: SWAP1 00001666: LOG3 00001667: POP 00001668: POP 00001669: POP 0000166a: JUMP 0000166b: JUMPDEST 0000166c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001681: DUP5 00001682: AND 00001683: PUSH2 0x16f4 00001686: JUMPI 00001687: PUSH1 0x40 00001689: MLOAD 0000168a: PUSH3 0x461bcd 0000168e: PUSH1 0xe5 00001690: SHL 00001691: DUP2 00001692: MSTORE 00001693: PUSH1 0x20 00001695: PUSH1 0x04 00001697: DUP3 00001698: ADD 00001699: MSTORE 0000169a: PUSH1 0x25 0000169c: PUSH1 0x24 0000169e: DUP3 0000169f: ADD 000016a0: MSTORE 000016a1: PUSH32 0x455243313135353a207472616e7366657220746f20746865207a65726f206164 000016c2: PUSH1 0x44 000016c4: DUP3 000016c5: ADD 000016c6: MSTORE 000016c7: PUSH32 0x6472657373000000000000000000000000000000000000000000000000000000 000016e8: PUSH1 0x64 000016ea: DUP3 000016eb: ADD 000016ec: MSTORE 000016ed: PUSH1 0x84 000016ef: ADD 000016f0: PUSH2 0x050e 000016f3: JUMP 000016f4: JUMPDEST 000016f5: CALLER 000016f6: PUSH2 0x1704 000016f9: DUP2 000016fa: DUP8 000016fb: DUP8 000016fc: PUSH2 0x10cd 000016ff: DUP9 00001700: PUSH2 0x1868 00001703: JUMP 00001704: JUMPDEST 00001705: PUSH1 0x00 00001707: DUP5 00001708: DUP2 00001709: MSTORE 0000170a: PUSH1 0x20 0000170c: DUP2 0000170d: DUP2 0000170e: MSTORE 0000170f: PUSH1 0x40 00001711: DUP1 00001712: DUP4 00001713: KECCAK256 00001714: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001729: DUP11 0000172a: AND 0000172b: DUP5 0000172c: MSTORE 0000172d: SWAP1 0000172e: SWAP2 0000172f: MSTORE 00001730: SWAP1 00001731: KECCAK256 00001732: SLOAD 00001733: DUP4 00001734: DUP2 00001735: LT 00001736: ISZERO 00001737: PUSH2 0x17a8 0000173a: JUMPI 0000173b: PUSH1 0x40 0000173d: MLOAD 0000173e: PUSH3 0x461bcd 00001742: PUSH1 0xe5 00001744: SHL 00001745: DUP2 00001746: MSTORE 00001747: PUSH1 0x20 00001749: PUSH1 0x04 0000174b: DUP3 0000174c: ADD 0000174d: MSTORE 0000174e: PUSH1 0x2a 00001750: PUSH1 0x24 00001752: DUP3 00001753: ADD 00001754: MSTORE 00001755: PUSH32 0x455243313135353a20696e73756666696369656e742062616c616e636520666f 00001776: PUSH1 0x44 00001778: DUP3 00001779: ADD 0000177a: MSTORE 0000177b: PUSH32 0x72207472616e7366657200000000000000000000000000000000000000000000 0000179c: PUSH1 0x64 0000179e: DUP3 0000179f: ADD 000017a0: MSTORE 000017a1: PUSH1 0x84 000017a3: ADD 000017a4: PUSH2 0x050e 000017a7: JUMP 000017a8: JUMPDEST 000017a9: PUSH1 0x00 000017ab: DUP6 000017ac: DUP2 000017ad: MSTORE 000017ae: PUSH1 0x20 000017b0: DUP2 000017b1: DUP2 000017b2: MSTORE 000017b3: PUSH1 0x40 000017b5: DUP1 000017b6: DUP4 000017b7: KECCAK256 000017b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017cd: DUP12 000017ce: DUP2 000017cf: AND 000017d0: DUP6 000017d1: MSTORE 000017d2: SWAP3 000017d3: MSTORE 000017d4: DUP1 000017d5: DUP4 000017d6: KECCAK256 000017d7: DUP8 000017d8: DUP6 000017d9: SUB 000017da: SWAP1 000017db: SSTORE 000017dc: SWAP1 000017dd: DUP9 000017de: AND 000017df: DUP3 000017e0: MSTORE 000017e1: DUP2 000017e2: KECCAK256 000017e3: DUP1 000017e4: SLOAD 000017e5: DUP7 000017e6: SWAP3 000017e7: SWAP1 000017e8: PUSH2 0x17f2 000017eb: SWAP1 000017ec: DUP5 000017ed: SWAP1 000017ee: PUSH2 0x23c6 000017f1: JUMP 000017f2: JUMPDEST 000017f3: SWAP1 000017f4: SWAP2 000017f5: SSTORE 000017f6: POP 000017f7: POP 000017f8: PUSH1 0x40 000017fa: DUP1 000017fb: MLOAD 000017fc: DUP7 000017fd: DUP2 000017fe: MSTORE 000017ff: PUSH1 0x20 00001801: DUP2 00001802: ADD 00001803: DUP7 00001804: SWAP1 00001805: MSTORE 00001806: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000181b: DUP1 0000181c: DUP10 0000181d: AND 0000181e: SWAP3 0000181f: DUP11 00001820: DUP3 00001821: AND 00001822: SWAP3 00001823: SWAP2 00001824: DUP7 00001825: AND 00001826: SWAP2 00001827: PUSH32 0xc3d58168c5ae7397731d063d5bbf3d657854427343f4c083240f7aacaa2d0f62 00001848: SWAP2 00001849: ADD 0000184a: PUSH1 0x40 0000184c: MLOAD 0000184d: DUP1 0000184e: SWAP2 0000184f: SUB 00001850: SWAP1 00001851: LOG4 00001852: PUSH2 0x185f 00001855: DUP3 00001856: DUP9 00001857: DUP9 00001858: DUP9 00001859: DUP9 0000185a: DUP9 0000185b: PUSH2 0x18da 0000185e: JUMP 0000185f: JUMPDEST 00001860: POP 00001861: POP 00001862: POP 00001863: POP 00001864: POP 00001865: POP 00001866: POP 00001867: JUMP 00001868: JUMPDEST 00001869: PUSH1 0x40 0000186b: DUP1 0000186c: MLOAD 0000186d: PUSH1 0x01 0000186f: DUP1 00001870: DUP3 00001871: MSTORE 00001872: DUP2 00001873: DUP4 00001874: ADD 00001875: SWAP1 00001876: SWAP3 00001877: MSTORE 00001878: PUSH1 0x60 0000187a: SWAP2 0000187b: PUSH1 0x00 0000187d: SWAP2 0000187e: SWAP1 0000187f: PUSH1 0x20 00001881: DUP1 00001882: DUP4 00001883: ADD 00001884: SWAP1 00001885: DUP1 00001886: CALLDATASIZE 00001887: DUP4 00001888: CALLDATACOPY 00001889: ADD 0000188a: SWAP1 0000188b: POP 0000188c: POP 0000188d: SWAP1 0000188e: POP 0000188f: DUP3 00001890: DUP2 00001891: PUSH1 0x00 00001893: DUP2 00001894: MLOAD 00001895: DUP2 00001896: LT 00001897: PUSH2 0x18c9 0000189a: JUMPI 0000189b: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000018bc: PUSH1 0x00 000018be: MSTORE 000018bf: PUSH1 0x32 000018c1: PUSH1 0x04 000018c3: MSTORE 000018c4: PUSH1 0x24 000018c6: PUSH1 0x00 000018c8: REVERT 000018c9: JUMPDEST 000018ca: PUSH1 0x20 000018cc: SWAP1 000018cd: DUP2 000018ce: MUL 000018cf: SWAP2 000018d0: SWAP1 000018d1: SWAP2 000018d2: ADD 000018d3: ADD 000018d4: MSTORE 000018d5: SWAP3 000018d6: SWAP2 000018d7: POP 000018d8: POP 000018d9: JUMP 000018da: JUMPDEST 000018db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018f0: DUP5 000018f1: AND 000018f2: EXTCODESIZE 000018f3: ISZERO 000018f4: PUSH2 0x14b2 000018f7: JUMPI 000018f8: PUSH1 0x40 000018fa: MLOAD 000018fb: PUSH32 0xf23a6e6100000000000000000000000000000000000000000000000000000000 0000191c: DUP2 0000191d: MSTORE 0000191e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001933: DUP6 00001934: AND 00001935: SWAP1 00001936: PUSH4 0xf23a6e61 0000193b: SWAP1 0000193c: PUSH2 0x1951 0000193f: SWAP1 00001940: DUP10 00001941: SWAP1 00001942: DUP10 00001943: SWAP1 00001944: DUP9 00001945: SWAP1 00001946: DUP9 00001947: SWAP1 00001948: DUP9 00001949: SWAP1 0000194a: PUSH1 0x04 0000194c: ADD 0000194d: PUSH2 0x22fe 00001950: JUMP 00001951: JUMPDEST 00001952: PUSH1 0x20 00001954: PUSH1 0x40 00001956: MLOAD 00001957: DUP1 00001958: DUP4 00001959: SUB 0000195a: DUP2 0000195b: PUSH1 0x00 0000195d: DUP8 0000195e: DUP1 0000195f: EXTCODESIZE 00001960: ISZERO 00001961: DUP1 00001962: ISZERO 00001963: PUSH2 0x196b 00001966: JUMPI 00001967: PUSH1 0x00 00001969: DUP1 0000196a: REVERT 0000196b: JUMPDEST 0000196c: POP 0000196d: GAS 0000196e: CALL 0000196f: SWAP3 00001970: POP 00001971: POP 00001972: POP 00001973: DUP1 00001974: ISZERO 00001975: PUSH2 0x19b9 00001978: JUMPI 00001979: POP 0000197a: PUSH1 0x40 0000197c: DUP1 0000197d: MLOAD 0000197e: PUSH1 0x1f 00001980: RETURNDATASIZE 00001981: SWAP1 00001982: DUP2 00001983: ADD 00001984: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 000019a5: AND 000019a6: DUP3 000019a7: ADD 000019a8: SWAP1 000019a9: SWAP3 000019aa: MSTORE 000019ab: PUSH2 0x19b6 000019ae: SWAP2 000019af: DUP2 000019b0: ADD 000019b1: SWAP1 000019b2: PUSH2 0x214f 000019b5: JUMP 000019b6: JUMPDEST 000019b7: PUSH1 0x01 000019b9: JUMPDEST 000019ba: PUSH2 0x1a6f 000019bd: JUMPI 000019be: PUSH2 0x19c5 000019c1: PUSH2 0x2514 000019c4: JUMP 000019c5: JUMPDEST 000019c6: DUP1 000019c7: PUSH4 0x08c379a0 000019cc: EQ 000019cd: ISZERO 000019ce: PUSH2 0x19ff 000019d1: JUMPI 000019d2: POP 000019d3: PUSH2 0x19da 000019d6: PUSH2 0x252c 000019d9: JUMP 000019da: JUMPDEST 000019db: DUP1 000019dc: PUSH2 0x19e5 000019df: JUMPI 000019e0: POP 000019e1: PUSH2 0x1a01 000019e4: JUMP 000019e5: JUMPDEST 000019e6: DUP1 000019e7: PUSH1 0x40 000019e9: MLOAD 000019ea: PUSH3 0x461bcd 000019ee: PUSH1 0xe5 000019f0: SHL 000019f1: DUP2 000019f2: MSTORE 000019f3: PUSH1 0x04 000019f5: ADD 000019f6: PUSH2 0x050e 000019f9: SWAP2 000019fa: SWAP1 000019fb: PUSH2 0x238f 000019fe: JUMP 000019ff: JUMPDEST 00001a00: POP 00001a01: JUMPDEST 00001a02: PUSH1 0x40 00001a04: MLOAD 00001a05: PUSH3 0x461bcd 00001a09: PUSH1 0xe5 00001a0b: SHL 00001a0c: DUP2 00001a0d: MSTORE 00001a0e: PUSH1 0x20 00001a10: PUSH1 0x04 00001a12: DUP3 00001a13: ADD 00001a14: MSTORE 00001a15: PUSH1 0x34 00001a17: PUSH1 0x24 00001a19: DUP3 00001a1a: ADD 00001a1b: MSTORE 00001a1c: PUSH32 0x455243313135353a207472616e7366657220746f206e6f6e2045524331313535 00001a3d: PUSH1 0x44 00001a3f: DUP3 00001a40: ADD 00001a41: MSTORE 00001a42: PUSH32 0x526563656976657220696d706c656d656e746572000000000000000000000000 00001a63: PUSH1 0x64 00001a65: DUP3 00001a66: ADD 00001a67: MSTORE 00001a68: PUSH1 0x84 00001a6a: ADD 00001a6b: PUSH2 0x050e 00001a6e: JUMP 00001a6f: JUMPDEST 00001a70: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00001a91: DUP2 00001a92: AND 00001a93: PUSH32 0xf23a6e6100000000000000000000000000000000000000000000000000000000 00001ab4: EQ 00001ab5: PUSH2 0x185f 00001ab8: JUMPI 00001ab9: PUSH1 0x40 00001abb: MLOAD 00001abc: PUSH3 0x461bcd 00001ac0: PUSH1 0xe5 00001ac2: SHL 00001ac3: DUP2 00001ac4: MSTORE 00001ac5: PUSH1 0x20 00001ac7: PUSH1 0x04 00001ac9: DUP3 00001aca: ADD 00001acb: MSTORE 00001acc: PUSH1 0x28 00001ace: PUSH1 0x24 00001ad0: DUP3 00001ad1: ADD 00001ad2: MSTORE 00001ad3: PUSH32 0x455243313135353a204552433131353552656365697665722072656a65637465 00001af4: PUSH1 0x44 00001af6: DUP3 00001af7: ADD 00001af8: MSTORE 00001af9: PUSH32 0x6420746f6b656e73000000000000000000000000000000000000000000000000 00001b1a: PUSH1 0x64 00001b1c: DUP3 00001b1d: ADD 00001b1e: MSTORE 00001b1f: PUSH1 0x84 00001b21: ADD 00001b22: PUSH2 0x050e 00001b25: JUMP 00001b26: JUMPDEST 00001b27: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b3c: DUP5 00001b3d: AND 00001b3e: EXTCODESIZE 00001b3f: ISZERO 00001b40: PUSH2 0x14b2 00001b43: JUMPI 00001b44: PUSH1 0x40 00001b46: MLOAD 00001b47: PUSH32 0xbc197c8100000000000000000000000000000000000000000000000000000000 00001b68: DUP2 00001b69: MSTORE 00001b6a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b7f: DUP6 00001b80: AND 00001b81: SWAP1 00001b82: PUSH4 0xbc197c81 00001b87: SWAP1 00001b88: PUSH2 0x1b9d 00001b8b: SWAP1 00001b8c: DUP10 00001b8d: SWAP1 00001b8e: DUP10 00001b8f: SWAP1 00001b90: DUP9 00001b91: SWAP1 00001b92: DUP9 00001b93: SWAP1 00001b94: DUP9 00001b95: SWAP1 00001b96: PUSH1 0x04 00001b98: ADD 00001b99: PUSH2 0x2293 00001b9c: JUMP 00001b9d: JUMPDEST 00001b9e: PUSH1 0x20 00001ba0: PUSH1 0x40 00001ba2: MLOAD 00001ba3: DUP1 00001ba4: DUP4 00001ba5: SUB 00001ba6: DUP2 00001ba7: PUSH1 0x00 00001ba9: DUP8 00001baa: DUP1 00001bab: EXTCODESIZE 00001bac: ISZERO 00001bad: DUP1 00001bae: ISZERO 00001baf: PUSH2 0x1bb7 00001bb2: JUMPI 00001bb3: PUSH1 0x00 00001bb5: DUP1 00001bb6: REVERT 00001bb7: JUMPDEST 00001bb8: POP 00001bb9: GAS 00001bba: CALL 00001bbb: SWAP3 00001bbc: POP 00001bbd: POP 00001bbe: POP 00001bbf: DUP1 00001bc0: ISZERO 00001bc1: PUSH2 0x1c05 00001bc4: JUMPI 00001bc5: POP 00001bc6: PUSH1 0x40 00001bc8: DUP1 00001bc9: MLOAD 00001bca: PUSH1 0x1f 00001bcc: RETURNDATASIZE 00001bcd: SWAP1 00001bce: DUP2 00001bcf: ADD 00001bd0: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00001bf1: AND 00001bf2: DUP3 00001bf3: ADD 00001bf4: SWAP1 00001bf5: SWAP3 00001bf6: MSTORE 00001bf7: PUSH2 0x1c02 00001bfa: SWAP2 00001bfb: DUP2 00001bfc: ADD 00001bfd: SWAP1 00001bfe: PUSH2 0x214f 00001c01: JUMP 00001c02: JUMPDEST 00001c03: PUSH1 0x01 00001c05: JUMPDEST 00001c06: PUSH2 0x1c11 00001c09: JUMPI 00001c0a: PUSH2 0x19c5 00001c0d: PUSH2 0x2514 00001c10: JUMP 00001c11: JUMPDEST 00001c12: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00001c33: DUP2 00001c34: AND 00001c35: PUSH32 0xbc197c8100000000000000000000000000000000000000000000000000000000 00001c56: EQ 00001c57: PUSH2 0x185f 00001c5a: JUMPI 00001c5b: PUSH1 0x40 00001c5d: MLOAD 00001c5e: PUSH3 0x461bcd 00001c62: PUSH1 0xe5 00001c64: SHL 00001c65: DUP2 00001c66: MSTORE 00001c67: PUSH1 0x20 00001c69: PUSH1 0x04 00001c6b: DUP3 00001c6c: ADD 00001c6d: MSTORE 00001c6e: PUSH1 0x28 00001c70: PUSH1 0x24 00001c72: DUP3 00001c73: ADD 00001c74: MSTORE 00001c75: PUSH32 0x455243313135353a204552433131353552656365697665722072656a65637465 00001c96: PUSH1 0x44 00001c98: DUP3 00001c99: ADD 00001c9a: MSTORE 00001c9b: PUSH32 0x6420746f6b656e73000000000000000000000000000000000000000000000000 00001cbc: PUSH1 0x64 00001cbe: DUP3 00001cbf: ADD 00001cc0: MSTORE 00001cc1: PUSH1 0x84 00001cc3: ADD 00001cc4: PUSH2 0x050e 00001cc7: JUMP 00001cc8: JUMPDEST 00001cc9: DUP3 00001cca: DUP1 00001ccb: SLOAD 00001ccc: PUSH2 0x1cd4 00001ccf: SWAP1 00001cd0: PUSH2 0x23de 00001cd3: JUMP 00001cd4: JUMPDEST 00001cd5: SWAP1 00001cd6: PUSH1 0x00 00001cd8: MSTORE 00001cd9: PUSH1 0x20 00001cdb: PUSH1 0x00 00001cdd: KECCAK256 00001cde: SWAP1 00001cdf: PUSH1 0x1f 00001ce1: ADD 00001ce2: PUSH1 0x20 00001ce4: SWAP1 00001ce5: DIV 00001ce6: DUP2 00001ce7: ADD 00001ce8: SWAP3 00001ce9: DUP3 00001cea: PUSH2 0x1cf6 00001ced: JUMPI 00001cee: PUSH1 0x00 00001cf0: DUP6 00001cf1: SSTORE 00001cf2: PUSH2 0x1d5a 00001cf5: JUMP 00001cf6: JUMPDEST 00001cf7: DUP3 00001cf8: PUSH1 0x1f 00001cfa: LT 00001cfb: PUSH2 0x1d2d 00001cfe: JUMPI 00001cff: DUP3 00001d00: DUP1 00001d01: ADD 00001d02: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 00001d23: DUP3 00001d24: CALLDATALOAD 00001d25: AND 00001d26: OR 00001d27: DUP6 00001d28: SSTORE 00001d29: PUSH2 0x1d5a 00001d2c: JUMP 00001d2d: JUMPDEST 00001d2e: DUP3 00001d2f: DUP1 00001d30: ADD 00001d31: PUSH1 0x01 00001d33: ADD 00001d34: DUP6 00001d35: SSTORE 00001d36: DUP3 00001d37: ISZERO 00001d38: PUSH2 0x1d5a 00001d3b: JUMPI 00001d3c: SWAP2 00001d3d: DUP3 00001d3e: ADD 00001d3f: JUMPDEST 00001d40: DUP3 00001d41: DUP2 00001d42: GT 00001d43: ISZERO 00001d44: PUSH2 0x1d5a 00001d47: JUMPI 00001d48: DUP3 00001d49: CALLDATALOAD 00001d4a: DUP3 00001d4b: SSTORE 00001d4c: SWAP2 00001d4d: PUSH1 0x20 00001d4f: ADD 00001d50: SWAP2 00001d51: SWAP1 00001d52: PUSH1 0x01 00001d54: ADD 00001d55: SWAP1 00001d56: PUSH2 0x1d3f 00001d59: JUMP 00001d5a: JUMPDEST 00001d5b: POP 00001d5c: PUSH2 0x1d66 00001d5f: SWAP3 00001d60: SWAP2 00001d61: POP 00001d62: PUSH2 0x1d6a 00001d65: JUMP 00001d66: JUMPDEST 00001d67: POP 00001d68: SWAP1 00001d69: JUMP 00001d6a: JUMPDEST 00001d6b: JUMPDEST 00001d6c: DUP1 00001d6d: DUP3 00001d6e: GT 00001d6f: ISZERO 00001d70: PUSH2 0x1d66 00001d73: JUMPI 00001d74: PUSH1 0x00 00001d76: DUP2 00001d77: SSTORE 00001d78: PUSH1 0x01 00001d7a: ADD 00001d7b: PUSH2 0x1d6b 00001d7e: JUMP 00001d7f: JUMPDEST 00001d80: DUP1 00001d81: CALLDATALOAD 00001d82: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d97: DUP2 00001d98: AND 00001d99: DUP2 00001d9a: EQ 00001d9b: PUSH2 0x1da3 00001d9e: JUMPI 00001d9f: PUSH1 0x00 00001da1: DUP1 00001da2: REVERT 00001da3: JUMPDEST 00001da4: SWAP2 00001da5: SWAP1 00001da6: POP 00001da7: JUMP 00001da8: JUMPDEST 00001da9: PUSH1 0x00 00001dab: DUP3 00001dac: PUSH1 0x1f 00001dae: DUP4 00001daf: ADD 00001db0: SLT 00001db1: PUSH2 0x1db8 00001db4: JUMPI 00001db5: DUP1 00001db6: DUP2 00001db7: REVERT 00001db8: JUMPDEST 00001db9: DUP2 00001dba: CALLDATALOAD 00001dbb: PUSH1 0x20 00001dbd: PUSH2 0x1dc5 00001dc0: DUP3 00001dc1: PUSH2 0x23a2 00001dc4: JUMP 00001dc5: JUMPDEST 00001dc6: PUSH1 0x40 00001dc8: MLOAD 00001dc9: PUSH2 0x1dd2 00001dcc: DUP3 00001dcd: DUP3 00001dce: PUSH2 0x2432 00001dd1: JUMP 00001dd2: JUMPDEST 00001dd3: DUP4 00001dd4: DUP2 00001dd5: MSTORE 00001dd6: DUP3 00001dd7: DUP2 00001dd8: ADD 00001dd9: SWAP2 00001dda: POP 00001ddb: DUP6 00001ddc: DUP4 00001ddd: ADD 00001dde: PUSH1 0x05 00001de0: DUP6 00001de1: SWAP1 00001de2: SHL 00001de3: DUP8 00001de4: ADD 00001de5: DUP5 00001de6: ADD 00001de7: DUP9 00001de8: LT 00001de9: ISZERO 00001dea: PUSH2 0x1df1 00001ded: JUMPI 00001dee: DUP6 00001def: DUP7 00001df0: REVERT 00001df1: JUMPDEST 00001df2: DUP6 00001df3: JUMPDEST 00001df4: DUP6 00001df5: DUP2 00001df6: LT 00001df7: ISZERO 00001df8: PUSH2 0x1e0f 00001dfb: JUMPI 00001dfc: DUP2 00001dfd: CALLDATALOAD 00001dfe: DUP5 00001dff: MSTORE 00001e00: SWAP3 00001e01: DUP5 00001e02: ADD 00001e03: SWAP3 00001e04: SWAP1 00001e05: DUP5 00001e06: ADD 00001e07: SWAP1 00001e08: PUSH1 0x01 00001e0a: ADD 00001e0b: PUSH2 0x1df3 00001e0e: JUMP 00001e0f: JUMPDEST 00001e10: POP 00001e11: SWAP1 00001e12: SWAP8 00001e13: SWAP7 00001e14: POP 00001e15: POP 00001e16: POP 00001e17: POP 00001e18: POP 00001e19: POP 00001e1a: POP 00001e1b: JUMP 00001e1c: JUMPDEST 00001e1d: PUSH1 0x00 00001e1f: DUP3 00001e20: PUSH1 0x1f 00001e22: DUP4 00001e23: ADD 00001e24: SLT 00001e25: PUSH2 0x1e2c 00001e28: JUMPI 00001e29: DUP1 00001e2a: DUP2 00001e2b: REVERT 00001e2c: JUMPDEST 00001e2d: DUP2 00001e2e: CALLDATALOAD 00001e2f: PUSH8 0xffffffffffffffff 00001e38: DUP2 00001e39: GT 00001e3a: ISZERO 00001e3b: PUSH2 0x1e46 00001e3e: JUMPI 00001e3f: PUSH2 0x1e46 00001e42: PUSH2 0x24e5 00001e45: JUMP 00001e46: JUMPDEST 00001e47: PUSH1 0x40 00001e49: MLOAD 00001e4a: PUSH2 0x1e7b 00001e4d: PUSH1 0x20 00001e4f: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00001e70: PUSH1 0x1f 00001e72: DUP6 00001e73: ADD 00001e74: AND 00001e75: ADD 00001e76: DUP3 00001e77: PUSH2 0x2432 00001e7a: JUMP 00001e7b: JUMPDEST 00001e7c: DUP2 00001e7d: DUP2 00001e7e: MSTORE 00001e7f: DUP5 00001e80: PUSH1 0x20 00001e82: DUP4 00001e83: DUP7 00001e84: ADD 00001e85: ADD 00001e86: GT 00001e87: ISZERO 00001e88: PUSH2 0x1e8f 00001e8b: JUMPI 00001e8c: DUP3 00001e8d: DUP4 00001e8e: REVERT 00001e8f: JUMPDEST 00001e90: DUP2 00001e91: PUSH1 0x20 00001e93: DUP6 00001e94: ADD 00001e95: PUSH1 0x20 00001e97: DUP4 00001e98: ADD 00001e99: CALLDATACOPY 00001e9a: SWAP1 00001e9b: DUP2 00001e9c: ADD 00001e9d: PUSH1 0x20 00001e9f: ADD 00001ea0: SWAP2 00001ea1: SWAP1 00001ea2: SWAP2 00001ea3: MSTORE 00001ea4: SWAP3 00001ea5: SWAP2 00001ea6: POP 00001ea7: POP 00001ea8: JUMP 00001ea9: JUMPDEST 00001eaa: PUSH1 0x00 00001eac: PUSH1 0x20 00001eae: DUP3 00001eaf: DUP5 00001eb0: SUB 00001eb1: SLT 00001eb2: ISZERO 00001eb3: PUSH2 0x1eba 00001eb6: JUMPI 00001eb7: DUP1 00001eb8: DUP2 00001eb9: REVERT 00001eba: JUMPDEST 00001ebb: PUSH2 0x1ec3 00001ebe: DUP3 00001ebf: PUSH2 0x1d7f 00001ec2: JUMP 00001ec3: JUMPDEST 00001ec4: SWAP4 00001ec5: SWAP3 00001ec6: POP 00001ec7: POP 00001ec8: POP 00001ec9: JUMP 00001eca: JUMPDEST 00001ecb: PUSH1 0x00 00001ecd: DUP1 00001ece: PUSH1 0x40 00001ed0: DUP4 00001ed1: DUP6 00001ed2: SUB 00001ed3: SLT 00001ed4: ISZERO 00001ed5: PUSH2 0x1edc 00001ed8: JUMPI 00001ed9: DUP1 00001eda: DUP2 00001edb: REVERT 00001edc: JUMPDEST 00001edd: PUSH2 0x1ee5 00001ee0: DUP4 00001ee1: PUSH2 0x1d7f 00001ee4: JUMP 00001ee5: JUMPDEST 00001ee6: SWAP2 00001ee7: POP 00001ee8: PUSH2 0x1ef3 00001eeb: PUSH1 0x20 00001eed: DUP5 00001eee: ADD 00001eef: PUSH2 0x1d7f 00001ef2: JUMP 00001ef3: JUMPDEST 00001ef4: SWAP1 00001ef5: POP 00001ef6: SWAP3 00001ef7: POP 00001ef8: SWAP3 00001ef9: SWAP1 00001efa: POP 00001efb: JUMP 00001efc: JUMPDEST 00001efd: PUSH1 0x00 00001eff: DUP1 00001f00: PUSH1 0x00 00001f02: DUP1 00001f03: PUSH1 0x00 00001f05: PUSH1 0xa0 00001f07: DUP7 00001f08: DUP9 00001f09: SUB 00001f0a: SLT 00001f0b: ISZERO 00001f0c: PUSH2 0x1f13 00001f0f: JUMPI 00001f10: DUP1 00001f11: DUP2 00001f12: REVERT 00001f13: JUMPDEST 00001f14: PUSH2 0x1f1c 00001f17: DUP7 00001f18: PUSH2 0x1d7f 00001f1b: JUMP 00001f1c: JUMPDEST 00001f1d: SWAP5 00001f1e: POP 00001f1f: PUSH2 0x1f2a 00001f22: PUSH1 0x20 00001f24: DUP8 00001f25: ADD 00001f26: PUSH2 0x1d7f 00001f29: JUMP 00001f2a: JUMPDEST 00001f2b: SWAP4 00001f2c: POP 00001f2d: PUSH1 0x40 00001f2f: DUP7 00001f30: ADD 00001f31: CALLDATALOAD 00001f32: PUSH8 0xffffffffffffffff 00001f3b: DUP1 00001f3c: DUP3 00001f3d: GT 00001f3e: ISZERO 00001f3f: PUSH2 0x1f46 00001f42: JUMPI 00001f43: DUP3 00001f44: DUP4 00001f45: REVERT 00001f46: JUMPDEST 00001f47: PUSH2 0x1f52 00001f4a: DUP10 00001f4b: DUP4 00001f4c: DUP11 00001f4d: ADD 00001f4e: PUSH2 0x1da8 00001f51: JUMP 00001f52: JUMPDEST 00001f53: SWAP5 00001f54: POP 00001f55: PUSH1 0x60 00001f57: DUP9 00001f58: ADD 00001f59: CALLDATALOAD 00001f5a: SWAP2 00001f5b: POP 00001f5c: DUP1 00001f5d: DUP3 00001f5e: GT 00001f5f: ISZERO 00001f60: PUSH2 0x1f67 00001f63: JUMPI 00001f64: DUP3 00001f65: DUP4 00001f66: REVERT 00001f67: JUMPDEST 00001f68: PUSH2 0x1f73 00001f6b: DUP10 00001f6c: DUP4 00001f6d: DUP11 00001f6e: ADD 00001f6f: PUSH2 0x1da8 00001f72: JUMP 00001f73: JUMPDEST 00001f74: SWAP4 00001f75: POP 00001f76: PUSH1 0x80 00001f78: DUP9 00001f79: ADD 00001f7a: CALLDATALOAD 00001f7b: SWAP2 00001f7c: POP 00001f7d: DUP1 00001f7e: DUP3 00001f7f: GT 00001f80: ISZERO 00001f81: PUSH2 0x1f88 00001f84: JUMPI 00001f85: DUP3 00001f86: DUP4 00001f87: REVERT 00001f88: JUMPDEST 00001f89: POP 00001f8a: PUSH2 0x1f95 00001f8d: DUP9 00001f8e: DUP3 00001f8f: DUP10 00001f90: ADD 00001f91: PUSH2 0x1e1c 00001f94: JUMP 00001f95: JUMPDEST 00001f96: SWAP2 00001f97: POP 00001f98: POP 00001f99: SWAP3 00001f9a: SWAP6 00001f9b: POP 00001f9c: SWAP3 00001f9d: SWAP6 00001f9e: SWAP1 00001f9f: SWAP4 00001fa0: POP 00001fa1: JUMP 00001fa2: JUMPDEST 00001fa3: PUSH1 0x00 00001fa5: DUP1 00001fa6: PUSH1 0x00 00001fa8: DUP1 00001fa9: PUSH1 0x00 00001fab: PUSH1 0xa0 00001fad: DUP7 00001fae: DUP9 00001faf: SUB 00001fb0: SLT 00001fb1: ISZERO 00001fb2: PUSH2 0x1fb9 00001fb5: JUMPI 00001fb6: DUP1 00001fb7: DUP2 00001fb8: REVERT 00001fb9: JUMPDEST 00001fba: PUSH2 0x1fc2 00001fbd: DUP7 00001fbe: PUSH2 0x1d7f 00001fc1: JUMP 00001fc2: JUMPDEST 00001fc3: SWAP5 00001fc4: POP 00001fc5: PUSH2 0x1fd0 00001fc8: PUSH1 0x20 00001fca: DUP8 00001fcb: ADD 00001fcc: PUSH2 0x1d7f 00001fcf: JUMP 00001fd0: JUMPDEST 00001fd1: SWAP4 00001fd2: POP 00001fd3: PUSH1 0x40 00001fd5: DUP7 00001fd6: ADD 00001fd7: CALLDATALOAD 00001fd8: SWAP3 00001fd9: POP 00001fda: PUSH1 0x60 00001fdc: DUP7 00001fdd: ADD 00001fde: CALLDATALOAD 00001fdf: SWAP2 00001fe0: POP 00001fe1: PUSH1 0x80 00001fe3: DUP7 00001fe4: ADD 00001fe5: CALLDATALOAD 00001fe6: PUSH8 0xffffffffffffffff 00001fef: DUP2 00001ff0: GT 00001ff1: ISZERO 00001ff2: PUSH2 0x1ff9 00001ff5: JUMPI 00001ff6: DUP2 00001ff7: DUP3 00001ff8: REVERT 00001ff9: JUMPDEST 00001ffa: PUSH2 0x1f95 00001ffd: DUP9 00001ffe: DUP3 00001fff: DUP10 00002000: ADD 00002001: PUSH2 0x1e1c 00002004: JUMP 00002005: JUMPDEST 00002006: PUSH1 0x00 00002008: DUP1 00002009: PUSH1 0x40 0000200b: DUP4 0000200c: DUP6 0000200d: SUB 0000200e: SLT 0000200f: ISZERO 00002010: PUSH2 0x2017 00002013: JUMPI 00002014: DUP2 00002015: DUP3 00002016: REVERT 00002017: JUMPDEST 00002018: PUSH2 0x2020 0000201b: DUP4 0000201c: PUSH2 0x1d7f 0000201f: JUMP 00002020: JUMPDEST 00002021: SWAP2 00002022: POP 00002023: PUSH1 0x20 00002025: DUP4 00002026: ADD 00002027: CALLDATALOAD 00002028: DUP1 00002029: ISZERO 0000202a: ISZERO 0000202b: DUP2 0000202c: EQ 0000202d: PUSH2 0x2034 00002030: JUMPI 00002031: DUP2 00002032: DUP3 00002033: REVERT 00002034: JUMPDEST 00002035: DUP1 00002036: SWAP2 00002037: POP 00002038: POP 00002039: SWAP3 0000203a: POP 0000203b: SWAP3 0000203c: SWAP1 0000203d: POP 0000203e: JUMP 0000203f: JUMPDEST 00002040: PUSH1 0x00 00002042: DUP1 00002043: PUSH1 0x40 00002045: DUP4 00002046: DUP6 00002047: SUB 00002048: SLT 00002049: ISZERO 0000204a: PUSH2 0x2051 0000204d: JUMPI 0000204e: DUP2 0000204f: DUP3 00002050: REVERT 00002051: JUMPDEST 00002052: PUSH2 0x205a 00002055: DUP4 00002056: PUSH2 0x1d7f 00002059: JUMP 0000205a: JUMPDEST 0000205b: SWAP5 0000205c: PUSH1 0x20 0000205e: SWAP4 0000205f: SWAP1 00002060: SWAP4 00002061: ADD 00002062: CALLDATALOAD 00002063: SWAP4 00002064: POP 00002065: POP 00002066: POP 00002067: JUMP 00002068: JUMPDEST 00002069: PUSH1 0x00 0000206b: DUP1 0000206c: PUSH1 0x40 0000206e: DUP4 0000206f: DUP6 00002070: SUB 00002071: SLT 00002072: ISZERO 00002073: PUSH2 0x207a 00002076: JUMPI 00002077: DUP2 00002078: DUP3 00002079: REVERT 0000207a: JUMPDEST 0000207b: DUP3 0000207c: CALLDATALOAD 0000207d: PUSH8 0xffffffffffffffff 00002086: DUP1 00002087: DUP3 00002088: GT 00002089: ISZERO 0000208a: PUSH2 0x2091 0000208d: JUMPI 0000208e: DUP4 0000208f: DUP5 00002090: REVERT 00002091: JUMPDEST 00002092: DUP2 00002093: DUP6 00002094: ADD 00002095: SWAP2 00002096: POP 00002097: DUP6 00002098: PUSH1 0x1f 0000209a: DUP4 0000209b: ADD 0000209c: SLT 0000209d: PUSH2 0x20a4 000020a0: JUMPI 000020a1: DUP4 000020a2: DUP5 000020a3: REVERT 000020a4: JUMPDEST 000020a5: DUP2 000020a6: CALLDATALOAD 000020a7: PUSH1 0x20 000020a9: PUSH2 0x20b1 000020ac: DUP3 000020ad: PUSH2 0x23a2 000020b0: JUMP 000020b1: JUMPDEST 000020b2: PUSH1 0x40 000020b4: MLOAD 000020b5: PUSH2 0x20be 000020b8: DUP3 000020b9: DUP3 000020ba: PUSH2 0x2432 000020bd: JUMP 000020be: JUMPDEST 000020bf: DUP4 000020c0: DUP2 000020c1: MSTORE 000020c2: DUP3 000020c3: DUP2 000020c4: ADD 000020c5: SWAP2 000020c6: POP 000020c7: DUP6 000020c8: DUP4 000020c9: ADD 000020ca: PUSH1 0x05 000020cc: DUP6 000020cd: SWAP1 000020ce: SHL 000020cf: DUP8 000020d0: ADD 000020d1: DUP5 000020d2: ADD 000020d3: DUP12 000020d4: LT 000020d5: ISZERO 000020d6: PUSH2 0x20dd 000020d9: JUMPI 000020da: DUP9 000020db: DUP10 000020dc: REVERT 000020dd: JUMPDEST 000020de: DUP9 000020df: SWAP7 000020e0: POP 000020e1: JUMPDEST 000020e2: DUP5 000020e3: DUP8 000020e4: LT 000020e5: ISZERO 000020e6: PUSH2 0x2106 000020e9: JUMPI 000020ea: PUSH2 0x20f2 000020ed: DUP2 000020ee: PUSH2 0x1d7f 000020f1: JUMP 000020f2: JUMPDEST 000020f3: DUP4 000020f4: MSTORE 000020f5: PUSH1 0x01 000020f7: SWAP7 000020f8: SWAP1 000020f9: SWAP7 000020fa: ADD 000020fb: SWAP6 000020fc: SWAP2 000020fd: DUP4 000020fe: ADD 000020ff: SWAP2 00002100: DUP4 00002101: ADD 00002102: PUSH2 0x20e1 00002105: JUMP 00002106: JUMPDEST 00002107: POP 00002108: SWAP7 00002109: POP 0000210a: POP 0000210b: DUP7 0000210c: ADD 0000210d: CALLDATALOAD 0000210e: SWAP3 0000210f: POP 00002110: POP 00002111: DUP1 00002112: DUP3 00002113: GT 00002114: ISZERO 00002115: PUSH2 0x211c 00002118: JUMPI 00002119: DUP3 0000211a: DUP4 0000211b: REVERT 0000211c: JUMPDEST 0000211d: POP 0000211e: PUSH2 0x2129 00002121: DUP6 00002122: DUP3 00002123: DUP7 00002124: ADD 00002125: PUSH2 0x1da8 00002128: JUMP 00002129: JUMPDEST 0000212a: SWAP2 0000212b: POP 0000212c: POP 0000212d: SWAP3 0000212e: POP 0000212f: SWAP3 00002130: SWAP1 00002131: POP 00002132: JUMP 00002133: JUMPDEST 00002134: PUSH1 0x00 00002136: PUSH1 0x20 00002138: DUP3 00002139: DUP5 0000213a: SUB 0000213b: SLT 0000213c: ISZERO 0000213d: PUSH2 0x2144 00002140: JUMPI 00002141: DUP1 00002142: DUP2 00002143: REVERT 00002144: JUMPDEST 00002145: DUP2 00002146: CALLDATALOAD 00002147: PUSH2 0x1ec3 0000214a: DUP2 0000214b: PUSH2 0x25d4 0000214e: JUMP 0000214f: JUMPDEST 00002150: PUSH1 0x00 00002152: PUSH1 0x20 00002154: DUP3 00002155: DUP5 00002156: SUB 00002157: SLT 00002158: ISZERO 00002159: PUSH2 0x2160 0000215c: JUMPI 0000215d: DUP1 0000215e: DUP2 0000215f: REVERT 00002160: JUMPDEST 00002161: DUP2 00002162: MLOAD 00002163: PUSH2 0x1ec3 00002166: DUP2 00002167: PUSH2 0x25d4 0000216a: JUMP 0000216b: JUMPDEST 0000216c: PUSH1 0x00 0000216e: DUP1 0000216f: PUSH1 0x20 00002171: DUP4 00002172: DUP6 00002173: SUB 00002174: SLT 00002175: ISZERO 00002176: PUSH2 0x217d 00002179: JUMPI 0000217a: DUP2 0000217b: DUP3 0000217c: REVERT 0000217d: JUMPDEST 0000217e: DUP3 0000217f: CALLDATALOAD 00002180: PUSH8 0xffffffffffffffff 00002189: DUP1 0000218a: DUP3 0000218b: GT 0000218c: ISZERO 0000218d: PUSH2 0x2194 00002190: JUMPI 00002191: DUP4 00002192: DUP5 00002193: REVERT 00002194: JUMPDEST 00002195: DUP2 00002196: DUP6 00002197: ADD 00002198: SWAP2 00002199: POP 0000219a: DUP6 0000219b: PUSH1 0x1f 0000219d: DUP4 0000219e: ADD 0000219f: SLT 000021a0: PUSH2 0x21a7 000021a3: JUMPI 000021a4: DUP4 000021a5: DUP5 000021a6: REVERT 000021a7: JUMPDEST 000021a8: DUP2 000021a9: CALLDATALOAD 000021aa: DUP2 000021ab: DUP2 000021ac: GT 000021ad: ISZERO 000021ae: PUSH2 0x21b5 000021b1: JUMPI 000021b2: DUP5 000021b3: DUP6 000021b4: REVERT 000021b5: JUMPDEST 000021b6: DUP7 000021b7: PUSH1 0x20 000021b9: DUP3 000021ba: DUP6 000021bb: ADD 000021bc: ADD 000021bd: GT 000021be: ISZERO 000021bf: PUSH2 0x21c6 000021c2: JUMPI 000021c3: DUP5 000021c4: DUP6 000021c5: REVERT 000021c6: JUMPDEST 000021c7: PUSH1 0x20 000021c9: SWAP3 000021ca: SWAP1 000021cb: SWAP3 000021cc: ADD 000021cd: SWAP7 000021ce: SWAP2 000021cf: SWAP6 000021d0: POP 000021d1: SWAP1 000021d2: SWAP4 000021d3: POP 000021d4: POP 000021d5: POP 000021d6: POP 000021d7: JUMP 000021d8: JUMPDEST 000021d9: PUSH1 0x00 000021db: PUSH1 0x20 000021dd: DUP3 000021de: DUP5 000021df: SUB 000021e0: SLT 000021e1: ISZERO 000021e2: PUSH2 0x21e9 000021e5: JUMPI 000021e6: DUP1 000021e7: DUP2 000021e8: REVERT 000021e9: JUMPDEST 000021ea: POP 000021eb: CALLDATALOAD 000021ec: SWAP2 000021ed: SWAP1 000021ee: POP 000021ef: JUMP 000021f0: JUMPDEST 000021f1: PUSH1 0x00 000021f3: DUP2 000021f4: MLOAD 000021f5: DUP1 000021f6: DUP5 000021f7: MSTORE 000021f8: PUSH1 0x20 000021fa: DUP1 000021fb: DUP6 000021fc: ADD 000021fd: SWAP5 000021fe: POP 000021ff: DUP1 00002200: DUP5 00002201: ADD 00002202: DUP4 00002203: JUMPDEST 00002204: DUP4 00002205: DUP2 00002206: LT 00002207: ISZERO 00002208: PUSH2 0x221f 0000220b: JUMPI 0000220c: DUP2 0000220d: MLOAD 0000220e: DUP8 0000220f: MSTORE 00002210: SWAP6 00002211: DUP3 00002212: ADD 00002213: SWAP6 00002214: SWAP1 00002215: DUP3 00002216: ADD 00002217: SWAP1 00002218: PUSH1 0x01 0000221a: ADD 0000221b: PUSH2 0x2203 0000221e: JUMP 0000221f: JUMPDEST 00002220: POP 00002221: SWAP5 00002222: SWAP6 00002223: SWAP5 00002224: POP 00002225: POP 00002226: POP 00002227: POP 00002228: POP 00002229: JUMP 0000222a: JUMPDEST 0000222b: PUSH1 0x00 0000222d: DUP2 0000222e: MLOAD 0000222f: DUP1 00002230: DUP5 00002231: MSTORE 00002232: DUP2 00002233: JUMPDEST 00002234: DUP2 00002235: DUP2 00002236: LT 00002237: ISZERO 00002238: PUSH2 0x224f 0000223b: JUMPI 0000223c: PUSH1 0x20 0000223e: DUP2 0000223f: DUP6 00002240: ADD 00002241: DUP2 00002242: ADD 00002243: MLOAD 00002244: DUP7 00002245: DUP4 00002246: ADD 00002247: DUP3 00002248: ADD 00002249: MSTORE 0000224a: ADD 0000224b: PUSH2 0x2233 0000224e: JUMP 0000224f: JUMPDEST 00002250: DUP2 00002251: DUP2 00002252: GT 00002253: ISZERO 00002254: PUSH2 0x2260 00002257: JUMPI 00002258: DUP3 00002259: PUSH1 0x20 0000225b: DUP4 0000225c: DUP8 0000225d: ADD 0000225e: ADD 0000225f: MSTORE 00002260: JUMPDEST 00002261: POP 00002262: PUSH1 0x1f 00002264: ADD 00002265: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00002286: AND 00002287: SWAP3 00002288: SWAP1 00002289: SWAP3 0000228a: ADD 0000228b: PUSH1 0x20 0000228d: ADD 0000228e: SWAP3 0000228f: SWAP2 00002290: POP 00002291: POP 00002292: JUMP 00002293: JUMPDEST 00002294: PUSH1 0x00 00002296: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000022ab: DUP1 000022ac: DUP9 000022ad: AND 000022ae: DUP4 000022af: MSTORE 000022b0: DUP1 000022b1: DUP8 000022b2: AND 000022b3: PUSH1 0x20 000022b5: DUP5 000022b6: ADD 000022b7: MSTORE 000022b8: POP 000022b9: PUSH1 0xa0 000022bb: PUSH1 0x40 000022bd: DUP4 000022be: ADD 000022bf: MSTORE 000022c0: PUSH2 0x22cc 000022c3: PUSH1 0xa0 000022c5: DUP4 000022c6: ADD 000022c7: DUP7 000022c8: PUSH2 0x21f0 000022cb: JUMP 000022cc: JUMPDEST 000022cd: DUP3 000022ce: DUP2 000022cf: SUB 000022d0: PUSH1 0x60 000022d2: DUP5 000022d3: ADD 000022d4: MSTORE 000022d5: PUSH2 0x22de 000022d8: DUP2 000022d9: DUP7 000022da: PUSH2 0x21f0 000022dd: JUMP 000022de: JUMPDEST 000022df: SWAP1 000022e0: POP 000022e1: DUP3 000022e2: DUP2 000022e3: SUB 000022e4: PUSH1 0x80 000022e6: DUP5 000022e7: ADD 000022e8: MSTORE 000022e9: PUSH2 0x22f2 000022ec: DUP2 000022ed: DUP6 000022ee: PUSH2 0x222a 000022f1: JUMP 000022f2: JUMPDEST 000022f3: SWAP9 000022f4: SWAP8 000022f5: POP 000022f6: POP 000022f7: POP 000022f8: POP 000022f9: POP 000022fa: POP 000022fb: POP 000022fc: POP 000022fd: JUMP 000022fe: JUMPDEST 000022ff: PUSH1 0x00 00002301: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002316: DUP1 00002317: DUP9 00002318: AND 00002319: DUP4 0000231a: MSTORE 0000231b: DUP1 0000231c: DUP8 0000231d: AND 0000231e: PUSH1 0x20 00002320: DUP5 00002321: ADD 00002322: MSTORE 00002323: POP 00002324: DUP5 00002325: PUSH1 0x40 00002327: DUP4 00002328: ADD 00002329: MSTORE 0000232a: DUP4 0000232b: PUSH1 0x60 0000232d: DUP4 0000232e: ADD 0000232f: MSTORE 00002330: PUSH1 0xa0 00002332: PUSH1 0x80 00002334: DUP4 00002335: ADD 00002336: MSTORE 00002337: PUSH2 0x2343 0000233a: PUSH1 0xa0 0000233c: DUP4 0000233d: ADD 0000233e: DUP5 0000233f: PUSH2 0x222a 00002342: JUMP 00002343: JUMPDEST 00002344: SWAP8 00002345: SWAP7 00002346: POP 00002347: POP 00002348: POP 00002349: POP 0000234a: POP 0000234b: POP 0000234c: POP 0000234d: JUMP 0000234e: JUMPDEST 0000234f: PUSH1 0x20 00002351: DUP2 00002352: MSTORE 00002353: PUSH1 0x00 00002355: PUSH2 0x1ec3 00002358: PUSH1 0x20 0000235a: DUP4 0000235b: ADD 0000235c: DUP5 0000235d: PUSH2 0x21f0 00002360: JUMP 00002361: JUMPDEST 00002362: PUSH1 0x40 00002364: DUP2 00002365: MSTORE 00002366: PUSH1 0x00 00002368: PUSH2 0x2374 0000236b: PUSH1 0x40 0000236d: DUP4 0000236e: ADD 0000236f: DUP6 00002370: PUSH2 0x21f0 00002373: JUMP 00002374: JUMPDEST 00002375: DUP3 00002376: DUP2 00002377: SUB 00002378: PUSH1 0x20 0000237a: DUP5 0000237b: ADD 0000237c: MSTORE 0000237d: PUSH2 0x2386 00002380: DUP2 00002381: DUP6 00002382: PUSH2 0x21f0 00002385: JUMP 00002386: JUMPDEST 00002387: SWAP6 00002388: SWAP5 00002389: POP 0000238a: POP 0000238b: POP 0000238c: POP 0000238d: POP 0000238e: JUMP 0000238f: JUMPDEST 00002390: PUSH1 0x20 00002392: DUP2 00002393: MSTORE 00002394: PUSH1 0x00 00002396: PUSH2 0x1ec3 00002399: PUSH1 0x20 0000239b: DUP4 0000239c: ADD 0000239d: DUP5 0000239e: PUSH2 0x222a 000023a1: JUMP 000023a2: JUMPDEST 000023a3: PUSH1 0x00 000023a5: PUSH8 0xffffffffffffffff 000023ae: DUP3 000023af: GT 000023b0: ISZERO 000023b1: PUSH2 0x23bc 000023b4: JUMPI 000023b5: PUSH2 0x23bc 000023b8: PUSH2 0x24e5 000023bb: JUMP 000023bc: JUMPDEST 000023bd: POP 000023be: PUSH1 0x05 000023c0: SHL 000023c1: PUSH1 0x20 000023c3: ADD 000023c4: SWAP1 000023c5: JUMP 000023c6: JUMPDEST 000023c7: PUSH1 0x00 000023c9: DUP3 000023ca: NOT 000023cb: DUP3 000023cc: GT 000023cd: ISZERO 000023ce: PUSH2 0x23d9 000023d1: JUMPI 000023d2: PUSH2 0x23d9 000023d5: PUSH2 0x24b6 000023d8: JUMP 000023d9: JUMPDEST 000023da: POP 000023db: ADD 000023dc: SWAP1 000023dd: JUMP 000023de: JUMPDEST 000023df: PUSH1 0x01 000023e1: DUP2 000023e2: DUP2 000023e3: SHR 000023e4: SWAP1 000023e5: DUP3 000023e6: AND 000023e7: DUP1 000023e8: PUSH2 0x23f2 000023eb: JUMPI 000023ec: PUSH1 0x7f 000023ee: DUP3 000023ef: AND 000023f0: SWAP2 000023f1: POP 000023f2: JUMPDEST 000023f3: PUSH1 0x20 000023f5: DUP3 000023f6: LT 000023f7: DUP2 000023f8: EQ 000023f9: ISZERO 000023fa: PUSH2 0x242c 000023fd: JUMPI 000023fe: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000241f: PUSH1 0x00 00002421: MSTORE 00002422: PUSH1 0x22 00002424: PUSH1 0x04 00002426: MSTORE 00002427: PUSH1 0x24 00002429: PUSH1 0x00 0000242b: REVERT 0000242c: JUMPDEST 0000242d: POP 0000242e: SWAP2 0000242f: SWAP1 00002430: POP 00002431: JUMP 00002432: JUMPDEST 00002433: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00002454: PUSH1 0x1f 00002456: DUP4 00002457: ADD 00002458: AND 00002459: DUP2 0000245a: ADD 0000245b: DUP2 0000245c: DUP2 0000245d: LT 0000245e: PUSH8 0xffffffffffffffff 00002467: DUP3 00002468: GT 00002469: OR 0000246a: ISZERO 0000246b: PUSH2 0x2476 0000246e: JUMPI 0000246f: PUSH2 0x2476 00002472: PUSH2 0x24e5 00002475: JUMP 00002476: JUMPDEST 00002477: PUSH1 0x40 00002479: MSTORE 0000247a: POP 0000247b: POP 0000247c: JUMP 0000247d: JUMPDEST 0000247e: PUSH1 0x00 00002480: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000024a1: DUP3 000024a2: EQ 000024a3: ISZERO 000024a4: PUSH2 0x24af 000024a7: JUMPI 000024a8: PUSH2 0x24af 000024ab: PUSH2 0x24b6 000024ae: JUMP 000024af: JUMPDEST 000024b0: POP 000024b1: PUSH1 0x01 000024b3: ADD 000024b4: SWAP1 000024b5: JUMP 000024b6: JUMPDEST 000024b7: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000024d8: PUSH1 0x00 000024da: MSTORE 000024db: PUSH1 0x11 000024dd: PUSH1 0x04 000024df: MSTORE 000024e0: PUSH1 0x24 000024e2: PUSH1 0x00 000024e4: REVERT 000024e5: JUMPDEST 000024e6: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00002507: PUSH1 0x00 00002509: MSTORE 0000250a: PUSH1 0x41 0000250c: PUSH1 0x04 0000250e: MSTORE 0000250f: PUSH1 0x24 00002511: PUSH1 0x00 00002513: REVERT 00002514: JUMPDEST 00002515: PUSH1 0x00 00002517: PUSH1 0x03 00002519: RETURNDATASIZE 0000251a: GT 0000251b: ISZERO 0000251c: PUSH2 0x2529 0000251f: JUMPI 00002520: PUSH1 0x04 00002522: DUP2 00002523: DUP3 00002524: RETURNDATACOPY 00002525: MLOAD 00002526: PUSH1 0xe0 00002528: SHR 00002529: JUMPDEST 0000252a: SWAP1 0000252b: JUMP 0000252c: JUMPDEST 0000252d: PUSH1 0x00 0000252f: PUSH1 0x44 00002531: RETURNDATASIZE 00002532: LT 00002533: ISZERO 00002534: PUSH2 0x253a 00002537: JUMPI 00002538: SWAP1 00002539: JUMP 0000253a: JUMPDEST 0000253b: PUSH1 0x40 0000253d: MLOAD 0000253e: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 0000255f: DUP1 00002560: RETURNDATASIZE 00002561: ADD 00002562: PUSH1 0x04 00002564: DUP4 00002565: RETURNDATACOPY 00002566: DUP2 00002567: MLOAD 00002568: RETURNDATASIZE 00002569: PUSH8 0xffffffffffffffff 00002572: DUP2 00002573: PUSH1 0x24 00002575: DUP5 00002576: ADD 00002577: GT 00002578: DUP2 00002579: DUP5 0000257a: GT 0000257b: OR 0000257c: ISZERO 0000257d: PUSH2 0x2588 00002580: JUMPI 00002581: POP 00002582: POP 00002583: POP 00002584: POP 00002585: POP 00002586: SWAP1 00002587: JUMP 00002588: JUMPDEST 00002589: DUP3 0000258a: DUP6 0000258b: ADD 0000258c: SWAP2 0000258d: POP 0000258e: DUP2 0000258f: MLOAD 00002590: DUP2 00002591: DUP2 00002592: GT 00002593: ISZERO 00002594: PUSH2 0x25a0 00002597: JUMPI 00002598: POP 00002599: POP 0000259a: POP 0000259b: POP 0000259c: POP 0000259d: POP 0000259e: SWAP1 0000259f: JUMP 000025a0: JUMPDEST 000025a1: DUP5 000025a2: RETURNDATASIZE 000025a3: DUP8 000025a4: ADD 000025a5: ADD 000025a6: PUSH1 0x20 000025a8: DUP3 000025a9: DUP6 000025aa: ADD 000025ab: ADD 000025ac: GT 000025ad: ISZERO 000025ae: PUSH2 0x25ba 000025b1: JUMPI 000025b2: POP 000025b3: POP 000025b4: POP 000025b5: POP 000025b6: POP 000025b7: POP 000025b8: SWAP1 000025b9: JUMP 000025ba: JUMPDEST 000025bb: PUSH2 0x25c9 000025be: PUSH1 0x20 000025c0: DUP3 000025c1: DUP7 000025c2: ADD 000025c3: ADD 000025c4: DUP8 000025c5: PUSH2 0x2432 000025c8: JUMP 000025c9: JUMPDEST 000025ca: POP 000025cb: SWAP1 000025cc: SWAP6 000025cd: SWAP5 000025ce: POP 000025cf: POP 000025d0: POP 000025d1: POP 000025d2: POP 000025d3: JUMP 000025d4: JUMPDEST 000025d5: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 000025f6: DUP2 000025f7: AND 000025f8: DUP2 000025f9: EQ 000025fa: PUSH2 0x1030 000025fd: JUMPI 000025fe: PUSH1 0x00 00002600: DUP1 00002601: REVERT 00002602: INVALID 00002603: LOG2 00002604: PUSH5 0x6970667358 0000260a: UNKNOWN(0x22) 0000260b: SLT 0000260c: KECCAK256 0000260d: UNKNOWN(0xB3) 0000260e: UNKNOWN(0xE6) 0000260f: UNKNOWN(0xB4) 00002610: UNKNOWN(0xDC) 00002611: PUSH23 0xda4586a2258beb9d9836d95c5c72364458939988246e88 00002629: DIV 0000262a: DUP2 0000262b: SWAP9 0000262c: CODESIZE 0000262d: PUSH5 0x736f6c6343 00002633: STOP 00002634: ADDMOD 00002635: DIV 00002636: STOP 00002637: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x1e72d1d715f9e0b51a90364f3382a6c0dcb4dddf227362471e40c278a412af96
call_targets:
0x21ff02e03bef7da9b69543db7bafa734d5b19ebf
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x1e72d1d715f9e0b51a90364f3382a6c0dcb4dddf227362471e40c278a412af96",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x21ff02e03bef7da9b69543db7bafa734d5b19ebf"
],
"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": "0xe985e9c5",
"selector": "0xe985e9c5",
"calldata_variants": [
"0xe985e9c5",
"0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf242432a",
"selector": "0xf242432a",
"calldata_variants": [
"0xf242432a",
"0xf242432a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd5abeb01",
"selector": "0xd5abeb01",
"calldata_variants": [
"0xd5abeb01",
"0xd5abeb010000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd821f81a",
"selector": "0xd821f81a",
"calldata_variants": [
"0xd821f81a",
"0xd821f81a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe268e4d3",
"selector": "0xe268e4d3",
"calldata_variants": [
"0xe268e4d3",
"0xe268e4d30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa035b1fe",
"selector": "0xa035b1fe",
"calldata_variants": [
"0xa035b1fe",
"0xa035b1fe0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa22cb465",
"selector": "0xa22cb465",
"calldata_variants": [
"0xa22cb465",
"0xa22cb4650000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2359,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6510,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 7098,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [],
"untrusted_call_count": 3
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x1e72d1d715f9e0b51a90364f3382a6c0dcb4dddf227362471e40c278a412af96
call_targets:
0x21ff02e03bef7da9b69543db7bafa734d5b19ebf
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x1e72d1d715f9e0b51a90364f3382a6c0dcb4dddf227362471e40c278a412af96",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x21ff02e03bef7da9b69543db7bafa734d5b19ebf"
],
"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": "0xe985e9c5",
"selector": "0xe985e9c5",
"calldata_variants": [
"0xe985e9c5",
"0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf242432a",
"selector": "0xf242432a",
"calldata_variants": [
"0xf242432a",
"0xf242432a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd5abeb01",
"selector": "0xd5abeb01",
"calldata_variants": [
"0xd5abeb01",
"0xd5abeb010000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd821f81a",
"selector": "0xd821f81a",
"calldata_variants": [
"0xd821f81a",
"0xd821f81a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe268e4d3",
"selector": "0xe268e4d3",
"calldata_variants": [
"0xe268e4d3",
"0xe268e4d30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa035b1fe",
"selector": "0xa035b1fe",
"calldata_variants": [
"0xa035b1fe",
"0xa035b1fe0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa22cb465",
"selector": "0xa22cb465",
"calldata_variants": [
"0xa22cb465",
"0xa22cb4650000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2359,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6510,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 7098,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|