019ba9a5-c6ce-70ce-a96a-e179a4d79f7d
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 |
|---|---|---|---|---|
| 37227 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 37228 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 37229 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 37230 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 37231 | capability.graph | complete | 1 / 3 | 3 months ago |
| 37232 | detector.run | complete | 1 / 3 | 3 months ago |
| 37233 | validation.fork | complete | 1 / 3 | 3 months ago |
{
"status": "not_proxy"
}
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: DUP1 00000003: PUSH1 0x40 00000005: MSTORE 00000006: PUSH1 0x04 00000008: CALLDATASIZE 00000009: LT 0000000a: ISZERO 0000000b: PUSH2 0x001a 0000000e: JUMPI 0000000f: JUMPDEST 00000010: POP 00000011: CALLDATASIZE 00000012: ISZERO 00000013: PUSH2 0x0018 00000016: JUMPI 00000017: STOP 00000018: JUMPDEST 00000019: STOP 0000001a: JUMPDEST 0000001b: PUSH1 0x00 0000001d: SWAP1 0000001e: DUP2 0000001f: CALLDATALOAD 00000020: PUSH1 0xe0 00000022: SHR 00000023: SWAP1 00000024: DUP2 00000025: PUSH4 0x0329dd62 0000002a: EQ 0000002b: PUSH2 0x197f 0000002e: JUMPI 0000002f: POP 00000030: DUP1 00000031: PUSH4 0x1c02708d 00000036: EQ 00000037: PUSH2 0x18e8 0000003a: JUMPI 0000003b: DUP1 0000003c: PUSH4 0x1ce9ae07 00000041: EQ 00000042: PUSH2 0x18a3 00000045: JUMPI 00000046: DUP1 00000047: PUSH4 0x1e6934b6 0000004c: EQ 0000004d: PUSH2 0x185e 00000050: JUMPI 00000051: DUP1 00000052: PUSH4 0x1fd5c189 00000057: EQ 00000058: PUSH2 0x1823 0000005b: JUMPI 0000005c: DUP1 0000005d: PUSH4 0x22f3e2d4 00000062: EQ 00000063: PUSH2 0x1800 00000066: JUMPI 00000067: DUP1 00000068: PUSH4 0x2c88026b 0000006d: EQ 0000006e: PUSH2 0x16ca 00000071: JUMPI 00000072: DUP1 00000073: PUSH4 0x481c42a2 00000078: EQ 00000079: PUSH2 0x0321 0000007c: JUMPI 0000007d: DUP1 0000007e: PUSH4 0x52f23c98 00000083: EQ 00000084: PUSH2 0x168b 00000087: JUMPI 00000088: DUP1 00000089: PUSH4 0x585da628 0000008e: EQ 0000008f: PUSH2 0x0b15 00000092: JUMPI 00000093: DUP1 00000094: PUSH4 0x59733e7f 00000099: EQ 0000009a: PUSH2 0x09bd 0000009d: JUMPI 0000009e: DUP1 0000009f: PUSH4 0x6b410e34 000000a4: EQ 000000a5: PUSH2 0x0968 000000a8: JUMPI 000000a9: DUP1 000000aa: PUSH4 0x855dea59 000000af: EQ 000000b0: PUSH2 0x0929 000000b3: JUMPI 000000b4: DUP1 000000b5: PUSH4 0x8f05e71b 000000ba: EQ 000000bb: PUSH2 0x08b0 000000be: JUMPI 000000bf: DUP1 000000c0: PUSH4 0xaeb5a08f 000000c5: EQ 000000c6: PUSH2 0x0875 000000c9: JUMPI 000000ca: DUP1 000000cb: PUSH4 0xbc4a02e4 000000d0: EQ 000000d1: PUSH2 0x060c 000000d4: JUMPI 000000d5: DUP1 000000d6: PUSH4 0xc3dbeab3 000000db: EQ 000000dc: PUSH2 0x05cd 000000df: JUMPI 000000e0: DUP1 000000e1: PUSH4 0xc8e706e2 000000e6: EQ 000000e7: PUSH2 0x0588 000000ea: JUMPI 000000eb: DUP1 000000ec: PUSH4 0xcf1346bc 000000f1: EQ 000000f2: PUSH2 0x03fe 000000f5: JUMPI 000000f6: DUP1 000000f7: PUSH4 0xd1c6e0fd 000000fc: EQ 000000fd: PUSH2 0x033f 00000100: JUMPI 00000101: DUP1 00000102: PUSH4 0xeef09bad 00000107: EQ 00000108: PUSH2 0x0321 0000010b: JUMPI 0000010c: DUP1 0000010d: PUSH4 0xf5b541a6 00000112: EQ 00000113: PUSH2 0x02e6 00000116: JUMPI 00000117: PUSH4 0xfd4ea2b0 0000011c: SUB 0000011d: PUSH2 0x000f 00000120: JUMPI 00000121: CALLVALUE 00000122: PUSH2 0x02b1 00000125: JUMPI 00000126: PUSH2 0x012e 00000129: CALLDATASIZE 0000012a: PUSH2 0x1b98 0000012d: JUMP 0000012e: JUMPDEST 0000012f: SWAP1 00000130: PUSH2 0x013d 00000133: PUSH1 0xff 00000135: PUSH1 0x02 00000137: SLOAD 00000138: AND 00000139: PUSH2 0x1c9b 0000013c: JUMP 0000013d: JUMPDEST 0000013e: PUSH1 0x01 00000140: PUSH1 0x01 00000142: PUSH1 0xa0 00000144: SHL 00000145: SUB 00000146: SWAP1 00000147: DUP2 00000148: SWAP1 00000149: CALLER 0000014a: PUSH32 0x000000000000000000000000ce466fc694c971b95bb1193e494942e22197f759 0000016b: DUP4 0000016c: AND 0000016d: EQ 0000016e: DUP1 0000016f: ISZERO 00000170: PUSH2 0x02cb 00000173: JUMPI 00000174: JUMPDEST 00000175: PUSH2 0x017d 00000178: SWAP1 00000179: PUSH2 0x2101 0000017c: JUMP 0000017d: JUMPDEST 0000017e: AND 0000017f: SWAP1 00000180: DUP2 00000181: DUP5 00000182: MSTORE 00000183: PUSH1 0x20 00000185: SWAP3 00000186: PUSH1 0x05 00000188: DUP5 00000189: MSTORE 0000018a: PUSH2 0x0199 0000018d: PUSH1 0xff 0000018f: PUSH1 0x40 00000191: DUP8 00000192: KECCAK256 00000193: SLOAD 00000194: AND 00000195: PUSH2 0x1fe0 00000198: JUMP 00000199: JUMPDEST 0000019a: DUP5 0000019b: JUMPDEST 0000019c: DUP2 0000019d: MLOAD 0000019e: DUP2 0000019f: LT 000001a0: ISZERO 000001a1: PUSH2 0x02c7 000001a4: JUMPI 000001a5: DUP3 000001a6: PUSH2 0x01af 000001a9: DUP3 000001aa: DUP5 000001ab: PUSH2 0x1d24 000001ae: JUMP 000001af: JUMPDEST 000001b0: MLOAD 000001b1: AND 000001b2: PUSH1 0x40 000001b4: MLOAD 000001b5: SWAP1 000001b6: PUSH4 0x6eb1769f 000001bb: PUSH1 0xe1 000001bd: SHL 000001be: DUP3 000001bf: MSTORE 000001c0: ADDRESS 000001c1: PUSH1 0x04 000001c3: DUP4 000001c4: ADD 000001c5: MSTORE 000001c6: PUSH1 0x24 000001c8: SWAP2 000001c9: DUP7 000001ca: DUP4 000001cb: DUP3 000001cc: ADD 000001cd: MSTORE 000001ce: PUSH1 0x44 000001d0: SWAP1 000001d1: DUP9 000001d2: DUP2 000001d3: DUP4 000001d4: DUP2 000001d5: DUP7 000001d6: GAS 000001d7: STATICCALL 000001d8: SWAP1 000001d9: DUP2 000001da: ISZERO 000001db: PUSH2 0x02bb 000001de: JUMPI 000001df: PUSH1 0x00 000001e1: SWAP2 000001e2: PUSH2 0x028b 000001e5: JUMPI 000001e6: JUMPDEST 000001e7: POP 000001e8: PUSH2 0x022a 000001eb: JUMPI 000001ec: PUSH1 0x40 000001ee: MLOAD 000001ef: PUSH4 0x095ea7b3 000001f4: PUSH1 0xe0 000001f6: SHL 000001f7: DUP10 000001f8: DUP3 000001f9: ADD 000001fa: MSTORE 000001fb: SWAP3 000001fc: DUP4 000001fd: ADD 000001fe: DUP8 000001ff: SWAP1 00000200: MSTORE 00000201: PUSH1 0x00 00000203: NOT 00000204: DUP4 00000205: DUP3 00000206: ADD 00000207: MSTORE 00000208: DUP3 00000209: MSTORE 0000020a: PUSH2 0x0225 0000020d: SWAP3 0000020e: SWAP2 0000020f: PUSH2 0x0220 00000212: SWAP2 00000213: PUSH2 0x021b 00000216: DUP3 00000217: PUSH2 0x19f3 0000021a: JUMP 0000021b: JUMPDEST 0000021c: PUSH2 0x1d89 0000021f: JUMP 00000220: JUMPDEST 00000221: PUSH2 0x1cff 00000224: JUMP 00000225: JUMPDEST 00000226: PUSH2 0x019b 00000229: JUMP 0000022a: JUMPDEST 0000022b: DUP8 0000022c: PUSH32 0x5361666545524332303a20617070726f76652066726f6d206e6f6e2d7a65726f 0000024d: PUSH1 0x84 0000024f: SWAP3 00000250: PUSH1 0x36 00000252: DUP7 00000253: PUSH1 0x40 00000255: MLOAD 00000256: SWAP5 00000257: PUSH3 0x461bcd 0000025b: PUSH1 0xe5 0000025d: SHL 0000025e: DUP7 0000025f: MSTORE 00000260: PUSH1 0x04 00000262: DUP7 00000263: ADD 00000264: MSTORE 00000265: DUP5 00000266: ADD 00000267: MSTORE 00000268: DUP3 00000269: ADD 0000026a: MSTORE 0000026b: PUSH22 0x20746f206e6f6e2d7a65726f20616c6c6f77616e6365 00000282: PUSH1 0x50 00000284: SHL 00000285: PUSH1 0x64 00000287: DUP3 00000288: ADD 00000289: MSTORE 0000028a: REVERT 0000028b: JUMPDEST 0000028c: SWAP1 0000028d: DUP10 0000028e: DUP3 0000028f: DUP2 00000290: RETURNDATASIZE 00000291: DUP4 00000292: GT 00000293: PUSH2 0x02b4 00000296: JUMPI 00000297: JUMPDEST 00000298: PUSH2 0x02a1 0000029b: DUP2 0000029c: DUP4 0000029d: PUSH2 0x1a0e 000002a0: JUMP 000002a1: JUMPDEST 000002a2: DUP2 000002a3: ADD 000002a4: SUB 000002a5: SLT 000002a6: PUSH2 0x02b1 000002a9: JUMPI 000002aa: POP 000002ab: MLOAD 000002ac: CODESIZE 000002ad: PUSH2 0x01e6 000002b0: JUMP 000002b1: JUMPDEST 000002b2: DUP1 000002b3: REVERT 000002b4: JUMPDEST 000002b5: POP 000002b6: RETURNDATASIZE 000002b7: PUSH2 0x0297 000002ba: JUMP 000002bb: JUMPDEST 000002bc: PUSH1 0x40 000002be: MLOAD 000002bf: RETURNDATASIZE 000002c0: PUSH1 0x00 000002c2: DUP3 000002c3: RETURNDATACOPY 000002c4: RETURNDATASIZE 000002c5: SWAP1 000002c6: REVERT 000002c7: JUMPDEST 000002c8: DUP6 000002c9: DUP1 000002ca: RETURN 000002cb: JUMPDEST 000002cc: POP 000002cd: CALLER 000002ce: DUP6 000002cf: MSTORE 000002d0: PUSH1 0x03 000002d2: PUSH1 0x20 000002d4: MSTORE 000002d5: PUSH1 0x40 000002d7: DUP6 000002d8: KECCAK256 000002d9: SLOAD 000002da: PUSH1 0xff 000002dc: AND 000002dd: ISZERO 000002de: ISZERO 000002df: PUSH1 0x01 000002e1: EQ 000002e2: PUSH2 0x0174 000002e5: JUMP 000002e6: JUMPDEST 000002e7: POP 000002e8: CALLVALUE 000002e9: PUSH2 0x02b1 000002ec: JUMPI 000002ed: DUP1 000002ee: PUSH1 0x03 000002f0: NOT 000002f1: CALLDATASIZE 000002f2: ADD 000002f3: SLT 000002f4: PUSH2 0x02b1 000002f7: JUMPI 000002f8: PUSH1 0x20 000002fa: PUSH1 0x40 000002fc: MLOAD 000002fd: PUSH32 0xed493a811ddead681ec8958efe53f53e55e7afed1d1ffa8f9dd7f4528f47a2b1 0000031e: DUP2 0000031f: MSTORE 00000320: RETURN 00000321: JUMPDEST 00000322: POP 00000323: CALLVALUE 00000324: PUSH2 0x02b1 00000327: JUMPI 00000328: DUP1 00000329: PUSH1 0x03 0000032b: NOT 0000032c: CALLDATASIZE 0000032d: ADD 0000032e: SLT 0000032f: PUSH2 0x02b1 00000332: JUMPI 00000333: PUSH1 0x20 00000335: PUSH1 0x01 00000337: SLOAD 00000338: PUSH1 0x40 0000033a: MLOAD 0000033b: SWAP1 0000033c: DUP2 0000033d: MSTORE 0000033e: RETURN 0000033f: JUMPDEST 00000340: POP 00000341: CALLVALUE 00000342: PUSH2 0x02b1 00000345: JUMPI 00000346: PUSH2 0x034e 00000349: CALLDATASIZE 0000034a: PUSH2 0x1b98 0000034d: JUMP 0000034e: JUMPDEST 0000034f: SWAP1 00000350: SWAP2 00000351: SWAP1 00000352: PUSH1 0x01 00000354: PUSH1 0x01 00000356: PUSH1 0xa0 00000358: SHL 00000359: SUB 0000035a: SWAP1 0000035b: CALLER 0000035c: PUSH32 0x000000000000000000000000ce466fc694c971b95bb1193e494942e22197f759 0000037d: DUP4 0000037e: AND 0000037f: EQ 00000380: DUP1 00000381: ISZERO 00000382: PUSH2 0x03e3 00000385: JUMPI 00000386: JUMPDEST 00000387: PUSH2 0x038f 0000038a: SWAP1 0000038b: PUSH2 0x2101 0000038e: JUMP 0000038f: JUMPDEST 00000390: DUP3 00000391: JUMPDEST 00000392: DUP2 00000393: MLOAD 00000394: DUP2 00000395: LT 00000396: ISZERO 00000397: PUSH2 0x03df 0000039a: JUMPI 0000039b: DUP1 0000039c: PUSH2 0x0220 0000039f: DUP5 000003a0: PUSH2 0x03ac 000003a3: PUSH2 0x03da 000003a6: SWAP5 000003a7: DUP7 000003a8: PUSH2 0x1d24 000003ab: JUMP 000003ac: JUMPDEST 000003ad: MLOAD 000003ae: AND 000003af: PUSH1 0x40 000003b1: MLOAD 000003b2: SWAP1 000003b3: PUSH4 0x095ea7b3 000003b8: PUSH1 0xe0 000003ba: SHL 000003bb: PUSH1 0x20 000003bd: DUP4 000003be: ADD 000003bf: MSTORE 000003c0: DUP7 000003c1: DUP10 000003c2: AND 000003c3: PUSH1 0x24 000003c5: DUP4 000003c6: ADD 000003c7: MSTORE 000003c8: PUSH1 0x44 000003ca: PUSH1 0x00 000003cc: DUP2 000003cd: DUP5 000003ce: ADD 000003cf: MSTORE 000003d0: DUP3 000003d1: MSTORE 000003d2: PUSH2 0x021b 000003d5: DUP3 000003d6: PUSH2 0x19f3 000003d9: JUMP 000003da: JUMPDEST 000003db: PUSH2 0x0391 000003de: JUMP 000003df: JUMPDEST 000003e0: DUP4 000003e1: DUP1 000003e2: RETURN 000003e3: JUMPDEST 000003e4: POP 000003e5: CALLER 000003e6: DUP4 000003e7: MSTORE 000003e8: PUSH1 0x03 000003ea: PUSH1 0x20 000003ec: MSTORE 000003ed: PUSH1 0x40 000003ef: DUP4 000003f0: KECCAK256 000003f1: SLOAD 000003f2: PUSH1 0xff 000003f4: AND 000003f5: ISZERO 000003f6: ISZERO 000003f7: PUSH1 0x01 000003f9: EQ 000003fa: PUSH2 0x0386 000003fd: JUMP 000003fe: JUMPDEST 000003ff: POP 00000400: CALLVALUE 00000401: PUSH2 0x02b1 00000404: JUMPI 00000405: PUSH2 0x040d 00000408: CALLDATASIZE 00000409: PUSH2 0x1b53 0000040c: JUMP 0000040d: JUMPDEST 0000040e: POP 0000040f: PUSH1 0x01 00000411: PUSH1 0x01 00000413: PUSH1 0xa0 00000415: SHL 00000416: SUB 00000417: SWAP2 00000418: PUSH2 0x0444 0000041b: CALLER 0000041c: PUSH32 0x0000000000000000000000007ff4ed8ab94c849b812622eb462682208be06b93 0000043d: DUP6 0000043e: AND 0000043f: EQ 00000440: PUSH2 0x1bd7 00000443: JUMP 00000444: JUMPDEST 00000445: PUSH32 0xed493a811ddead681ec8958efe53f53e55e7afed1d1ffa8f9dd7f4528f47a2b1 00000466: DUP2 00000467: SUB 00000468: PUSH2 0x04a0 0000046b: JUMPI 0000046c: POP 0000046d: AND 0000046e: DUP1 0000046f: DUP3 00000470: MSTORE 00000471: PUSH1 0x03 00000473: PUSH1 0x20 00000475: MSTORE 00000476: PUSH2 0x0486 00000479: PUSH1 0xff 0000047b: PUSH1 0x40 0000047d: DUP5 0000047e: KECCAK256 0000047f: SLOAD 00000480: AND 00000481: ISZERO 00000482: PUSH2 0x1c08 00000485: JUMP 00000486: JUMPDEST 00000487: DUP2 00000488: MSTORE 00000489: PUSH1 0x03 0000048b: PUSH1 0x20 0000048d: MSTORE 0000048e: PUSH1 0x40 00000490: DUP2 00000491: KECCAK256 00000492: DUP1 00000493: SLOAD 00000494: PUSH1 0xff 00000496: NOT 00000497: AND 00000498: PUSH1 0x01 0000049a: OR 0000049b: SWAP1 0000049c: SSTORE 0000049d: JUMPDEST 0000049e: DUP1 0000049f: RETURN 000004a0: JUMPDEST 000004a1: PUSH32 0x7308a4bd9246119e9ff88a5449f5d1e91632f8238fb8370a067c003c8539f64b 000004c2: DUP2 000004c3: SUB 000004c4: PUSH2 0x04fb 000004c7: JUMPI 000004c8: POP 000004c9: AND 000004ca: DUP1 000004cb: DUP3 000004cc: MSTORE 000004cd: PUSH1 0x05 000004cf: PUSH1 0x20 000004d1: MSTORE 000004d2: PUSH2 0x04e2 000004d5: PUSH1 0xff 000004d7: PUSH1 0x40 000004d9: DUP5 000004da: KECCAK256 000004db: SLOAD 000004dc: AND 000004dd: ISZERO 000004de: PUSH2 0x1c08 000004e1: JUMP 000004e2: JUMPDEST 000004e3: DUP2 000004e4: MSTORE 000004e5: PUSH1 0x05 000004e7: PUSH1 0x20 000004e9: MSTORE 000004ea: PUSH1 0x40 000004ec: DUP2 000004ed: KECCAK256 000004ee: DUP1 000004ef: SLOAD 000004f0: PUSH1 0xff 000004f2: NOT 000004f3: AND 000004f4: PUSH1 0x01 000004f6: OR 000004f7: SWAP1 000004f8: SSTORE 000004f9: DUP1 000004fa: RETURN 000004fb: JUMPDEST 000004fc: PUSH32 0x51c09c781fc18fe361a3dc59ed86f33d9fa7c5369dde52a9a16065b56f7d7dd9 0000051d: SUB 0000051e: PUSH2 0x0554 00000521: JUMPI 00000522: AND 00000523: DUP1 00000524: DUP3 00000525: MSTORE 00000526: PUSH1 0x04 00000528: PUSH1 0x20 0000052a: MSTORE 0000052b: PUSH2 0x053b 0000052e: PUSH1 0xff 00000530: PUSH1 0x40 00000532: DUP5 00000533: KECCAK256 00000534: SLOAD 00000535: AND 00000536: ISZERO 00000537: PUSH2 0x1c08 0000053a: JUMP 0000053b: JUMPDEST 0000053c: DUP2 0000053d: MSTORE 0000053e: PUSH1 0x04 00000540: PUSH1 0x20 00000542: MSTORE 00000543: PUSH1 0x40 00000545: DUP2 00000546: KECCAK256 00000547: DUP1 00000548: SLOAD 00000549: PUSH1 0xff 0000054b: NOT 0000054c: AND 0000054d: PUSH1 0x01 0000054f: OR 00000550: SWAP1 00000551: SSTORE 00000552: DUP1 00000553: RETURN 00000554: JUMPDEST 00000555: PUSH1 0x40 00000557: MLOAD 00000558: PUSH3 0x461bcd 0000055c: PUSH1 0xe5 0000055e: SHL 0000055f: DUP2 00000560: MSTORE 00000561: PUSH1 0x20 00000563: PUSH1 0x04 00000565: DUP3 00000566: ADD 00000567: MSTORE 00000568: PUSH1 0x0c 0000056a: PUSH1 0x24 0000056c: DUP3 0000056d: ADD 0000056e: MSTORE 0000056f: PUSH12 0x554e4b4e4f574e20524f4c45 0000057c: PUSH1 0xa0 0000057e: SHL 0000057f: PUSH1 0x44 00000581: DUP3 00000582: ADD 00000583: MSTORE 00000584: PUSH1 0x64 00000586: SWAP1 00000587: REVERT 00000588: JUMPDEST 00000589: POP 0000058a: CALLVALUE 0000058b: PUSH2 0x02b1 0000058e: JUMPI 0000058f: DUP1 00000590: PUSH1 0x03 00000592: NOT 00000593: CALLDATASIZE 00000594: ADD 00000595: SLT 00000596: PUSH2 0x02b1 00000599: JUMPI 0000059a: PUSH1 0x40 0000059c: MLOAD 0000059d: PUSH32 0x00000000000000000000000051c72848c68a965f66fa7a88855f9f7784502a7f 000005be: PUSH1 0x01 000005c0: PUSH1 0x01 000005c2: PUSH1 0xa0 000005c4: SHL 000005c5: SUB 000005c6: AND 000005c7: DUP2 000005c8: MSTORE 000005c9: PUSH1 0x20 000005cb: SWAP1 000005cc: RETURN 000005cd: JUMPDEST 000005ce: POP 000005cf: CALLVALUE 000005d0: PUSH2 0x02b1 000005d3: JUMPI 000005d4: PUSH1 0x20 000005d6: CALLDATASIZE 000005d7: PUSH1 0x03 000005d9: NOT 000005da: ADD 000005db: SLT 000005dc: PUSH2 0x02b1 000005df: JUMPI 000005e0: PUSH1 0x20 000005e2: SWAP1 000005e3: PUSH1 0xff 000005e5: SWAP1 000005e6: PUSH1 0x40 000005e8: SWAP1 000005e9: PUSH1 0x01 000005eb: PUSH1 0x01 000005ed: PUSH1 0xa0 000005ef: SHL 000005f0: SUB 000005f1: PUSH2 0x05f8 000005f4: PUSH2 0x1a46 000005f7: JUMP 000005f8: JUMPDEST 000005f9: AND 000005fa: DUP2 000005fb: MSTORE 000005fc: PUSH1 0x05 000005fe: DUP5 000005ff: MSTORE 00000600: KECCAK256 00000601: SLOAD 00000602: AND 00000603: PUSH1 0x40 00000605: MLOAD 00000606: SWAP1 00000607: ISZERO 00000608: ISZERO 00000609: DUP2 0000060a: MSTORE 0000060b: RETURN 0000060c: JUMPDEST 0000060d: POP 0000060e: CALLVALUE 0000060f: PUSH2 0x02b1 00000612: JUMPI 00000613: PUSH1 0x80 00000615: CALLDATASIZE 00000616: PUSH1 0x03 00000618: NOT 00000619: ADD 0000061a: SLT 0000061b: PUSH2 0x02b1 0000061e: JUMPI 0000061f: PUSH2 0x0626 00000622: PUSH2 0x1a61 00000625: JUMP 00000626: JUMPDEST 00000627: PUSH1 0x01 00000629: PUSH1 0x01 0000062b: PUSH1 0x40 0000062d: SHL 0000062e: SUB 0000062f: PUSH1 0x44 00000631: CALLDATALOAD 00000632: GT 00000633: PUSH2 0x0871 00000636: JUMPI 00000637: CALLDATASIZE 00000638: PUSH1 0x23 0000063a: PUSH1 0x44 0000063c: CALLDATALOAD 0000063d: ADD 0000063e: SLT 0000063f: ISZERO 00000640: PUSH2 0x0871 00000643: JUMPI 00000644: PUSH1 0x01 00000646: PUSH1 0x01 00000648: PUSH1 0x40 0000064a: SHL 0000064b: SUB 0000064c: PUSH1 0x44 0000064e: CALLDATALOAD 0000064f: PUSH1 0x04 00000651: ADD 00000652: CALLDATALOAD 00000653: GT 00000654: PUSH2 0x0871 00000657: JUMPI 00000658: CALLDATASIZE 00000659: PUSH1 0x24 0000065b: PUSH1 0x44 0000065d: CALLDATALOAD 0000065e: PUSH1 0x04 00000660: ADD 00000661: CALLDATALOAD 00000662: PUSH1 0x05 00000664: SHL 00000665: PUSH1 0x44 00000667: CALLDATALOAD 00000668: ADD 00000669: ADD 0000066a: GT 0000066b: PUSH2 0x0871 0000066e: JUMPI 0000066f: PUSH1 0x01 00000671: PUSH1 0x01 00000673: PUSH1 0x40 00000675: SHL 00000676: SUB 00000677: PUSH1 0x64 00000679: CALLDATALOAD 0000067a: GT 0000067b: PUSH2 0x0871 0000067e: JUMPI 0000067f: CALLDATASIZE 00000680: PUSH1 0x23 00000682: PUSH1 0x64 00000684: CALLDATALOAD 00000685: ADD 00000686: SLT 00000687: ISZERO 00000688: PUSH2 0x0871 0000068b: JUMPI 0000068c: PUSH1 0x01 0000068e: PUSH1 0x01 00000690: PUSH1 0x40 00000692: SHL 00000693: SUB 00000694: PUSH1 0x64 00000696: CALLDATALOAD 00000697: PUSH1 0x04 00000699: ADD 0000069a: CALLDATALOAD 0000069b: GT 0000069c: PUSH2 0x0871 0000069f: JUMPI 000006a0: CALLDATASIZE 000006a1: PUSH1 0x24 000006a3: PUSH1 0x64 000006a5: CALLDATALOAD 000006a6: PUSH1 0x04 000006a8: ADD 000006a9: CALLDATALOAD 000006aa: PUSH1 0x64 000006ac: CALLDATALOAD 000006ad: ADD 000006ae: ADD 000006af: GT 000006b0: PUSH2 0x0871 000006b3: JUMPI 000006b4: CALLER 000006b5: DUP3 000006b6: MSTORE 000006b7: PUSH1 0x03 000006b9: PUSH1 0x20 000006bb: MSTORE 000006bc: PUSH2 0x06cb 000006bf: PUSH1 0xff 000006c1: PUSH1 0x40 000006c3: DUP5 000006c4: KECCAK256 000006c5: SLOAD 000006c6: AND 000006c7: PUSH2 0x1faf 000006ca: JUMP 000006cb: JUMPDEST 000006cc: PUSH2 0x06d9 000006cf: PUSH1 0xff 000006d1: PUSH1 0x02 000006d3: SLOAD 000006d4: AND 000006d5: PUSH2 0x1c9b 000006d8: JUMP 000006d9: JUMPDEST 000006da: PUSH2 0x06ed 000006dd: PUSH1 0x01 000006df: PUSH1 0x01 000006e1: PUSH1 0xa0 000006e3: SHL 000006e4: SUB 000006e5: DUP3 000006e6: AND 000006e7: ISZERO 000006e8: ISZERO 000006e9: PUSH2 0x1fe0 000006ec: JUMP 000006ed: JUMPDEST 000006ee: PUSH1 0x01 000006f0: PUSH1 0x01 000006f2: PUSH1 0xa0 000006f4: SHL 000006f5: SUB 000006f6: DUP2 000006f7: AND 000006f8: DUP3 000006f9: MSTORE 000006fa: PUSH1 0x05 000006fc: PUSH1 0x20 000006fe: MSTORE 000006ff: PUSH1 0x40 00000701: DUP3 00000702: KECCAK256 00000703: SLOAD 00000704: PUSH2 0x070f 00000707: SWAP1 00000708: PUSH1 0xff 0000070a: AND 0000070b: PUSH2 0x1fe0 0000070e: JUMP 0000070f: JUMPDEST 00000710: PUSH1 0x01 00000712: PUSH1 0x01 00000714: PUSH1 0xa0 00000716: SHL 00000717: SUB 00000718: DUP2 00000719: AND 0000071a: EXTCODESIZE 0000071b: ISZERO 0000071c: PUSH2 0x0871 0000071f: JUMPI 00000720: DUP2 00000721: PUSH1 0x40 00000723: MLOAD 00000724: DUP1 00000725: SWAP3 00000726: PUSH4 0x13fb72c7 0000072b: PUSH1 0xe0 0000072d: SHL 0000072e: DUP3 0000072f: MSTORE 00000730: PUSH1 0x44 00000732: DUP3 00000733: ADD 00000734: PUSH1 0x40 00000736: PUSH1 0x04 00000738: DUP5 00000739: ADD 0000073a: MSTORE 0000073b: PUSH1 0x44 0000073d: CALLDATALOAD 0000073e: PUSH1 0x04 00000740: ADD 00000741: CALLDATALOAD 00000742: SWAP1 00000743: MSTORE 00000744: PUSH1 0x64 00000746: DUP3 00000747: ADD 00000748: PUSH1 0x64 0000074a: PUSH1 0x44 0000074c: CALLDATALOAD 0000074d: PUSH1 0x04 0000074f: ADD 00000750: CALLDATALOAD 00000751: PUSH1 0x05 00000753: SHL 00000754: DUP5 00000755: ADD 00000756: ADD 00000757: SWAP1 00000758: PUSH1 0x24 0000075a: PUSH1 0x44 0000075c: CALLDATALOAD 0000075d: ADD 0000075e: SWAP1 0000075f: DUP6 00000760: SWAP1 00000761: JUMPDEST 00000762: PUSH1 0x44 00000764: CALLDATALOAD 00000765: PUSH1 0x04 00000767: ADD 00000768: CALLDATALOAD 00000769: DUP3 0000076a: LT 0000076b: PUSH2 0x07f0 0000076e: JUMPI 0000076f: POP 00000770: POP 00000771: POP 00000772: DUP4 00000773: DUP4 00000774: PUSH2 0x0796 00000777: DUP2 00000778: SWAP4 00000779: PUSH1 0x03 0000077b: NOT 0000077c: DUP4 0000077d: DUP3 0000077e: SUB 0000077f: ADD 00000780: PUSH1 0x24 00000782: DUP5 00000783: ADD 00000784: MSTORE 00000785: PUSH1 0x64 00000787: CALLDATALOAD 00000788: PUSH1 0x04 0000078a: ADD 0000078b: CALLDATALOAD 0000078c: PUSH1 0x24 0000078e: PUSH1 0x64 00000790: CALLDATALOAD 00000791: ADD 00000792: PUSH2 0x2042 00000795: JUMP 00000796: JUMPDEST 00000797: SUB 00000798: SWAP3 00000799: PUSH1 0x01 0000079b: PUSH1 0x01 0000079d: PUSH1 0xa0 0000079f: SHL 000007a0: SUB 000007a1: AND 000007a2: GAS 000007a3: CALL 000007a4: DUP1 000007a5: ISZERO 000007a6: PUSH2 0x07e5 000007a9: JUMPI 000007aa: PUSH2 0x07ba 000007ad: JUMPI 000007ae: JUMPDEST 000007af: POP 000007b0: PUSH2 0x049d 000007b3: PUSH1 0x04 000007b5: CALLDATALOAD 000007b6: PUSH2 0x2135 000007b9: JUMP 000007ba: JUMPDEST 000007bb: PUSH1 0x01 000007bd: PUSH1 0x01 000007bf: PUSH1 0x40 000007c1: SHL 000007c2: SUB 000007c3: DUP2 000007c4: GT 000007c5: PUSH2 0x07d1 000007c8: JUMPI 000007c9: PUSH1 0x40 000007cb: MSTORE 000007cc: CODESIZE 000007cd: PUSH2 0x07ae 000007d0: JUMP 000007d1: JUMPDEST 000007d2: PUSH4 0x4e487b71 000007d7: PUSH1 0xe0 000007d9: SHL 000007da: DUP3 000007db: MSTORE 000007dc: PUSH1 0x41 000007de: PUSH1 0x04 000007e0: MSTORE 000007e1: PUSH1 0x24 000007e3: DUP3 000007e4: REVERT 000007e5: JUMPDEST 000007e6: PUSH1 0x40 000007e8: MLOAD 000007e9: RETURNDATASIZE 000007ea: DUP5 000007eb: DUP3 000007ec: RETURNDATACOPY 000007ed: RETURNDATASIZE 000007ee: SWAP1 000007ef: REVERT 000007f0: JUMPDEST 000007f1: DUP8 000007f2: DUP5 000007f3: SUB 000007f4: PUSH1 0x63 000007f6: NOT 000007f7: ADD 000007f8: DUP2 000007f9: MSTORE 000007fa: SWAP4 000007fb: SWAP6 000007fc: POP 000007fd: SWAP1 000007fe: SWAP4 000007ff: POP 00000800: SWAP2 00000801: SWAP1 00000802: PUSH1 0x44 00000804: CALLDATALOAD 00000805: CALLDATASIZE 00000806: SUB 00000807: PUSH1 0x62 00000809: NOT 0000080a: ADD 0000080b: DUP5 0000080c: CALLDATALOAD 0000080d: SLT 0000080e: ISZERO 0000080f: PUSH2 0x086d 00000812: JUMPI 00000813: PUSH1 0x20 00000815: DUP1 00000816: PUSH2 0x085b 00000819: PUSH1 0x01 0000081b: SWAP4 0000081c: PUSH1 0x44 0000081e: CALLDATALOAD 0000081f: DUP9 00000820: CALLDATALOAD 00000821: ADD 00000822: SWAP1 00000823: PUSH2 0x084e 00000826: PUSH1 0x24 00000828: DUP4 00000829: ADD 0000082a: PUSH1 0x44 0000082c: PUSH2 0x0846 0000082f: PUSH2 0x0838 00000832: DUP4 00000833: DUP1 00000834: PUSH2 0x2011 00000837: JUMP 00000838: JUMPDEST 00000839: PUSH1 0x40 0000083b: DUP8 0000083c: MSTORE 0000083d: PUSH1 0x40 0000083f: DUP8 00000840: ADD 00000841: SWAP2 00000842: PUSH2 0x2042 00000845: JUMP 00000846: JUMPDEST 00000847: SWAP5 00000848: ADD 00000849: SWAP1 0000084a: PUSH2 0x2011 0000084d: JUMP 0000084e: JUMPDEST 0000084f: SWAP2 00000850: DUP6 00000851: DUP2 00000852: DUP6 00000853: SUB 00000854: SWAP2 00000855: ADD 00000856: MSTORE 00000857: PUSH2 0x2042 0000085a: JUMP 0000085b: JUMPDEST 0000085c: SWAP6 0000085d: ADD 0000085e: SWAP3 0000085f: ADD 00000860: SWAP3 00000861: ADD 00000862: SWAP1 00000863: DUP6 00000864: SWAP4 00000865: SWAP2 00000866: DUP8 00000867: SWAP6 00000868: SWAP4 00000869: PUSH2 0x0761 0000086c: JUMP 0000086d: JUMPDEST 0000086e: DUP7 0000086f: DUP1 00000870: REVERT 00000871: JUMPDEST 00000872: POP 00000873: DUP1 00000874: REVERT 00000875: JUMPDEST 00000876: POP 00000877: CALLVALUE 00000878: PUSH2 0x02b1 0000087b: JUMPI 0000087c: DUP1 0000087d: PUSH1 0x03 0000087f: NOT 00000880: CALLDATASIZE 00000881: ADD 00000882: SLT 00000883: PUSH2 0x02b1 00000886: JUMPI 00000887: PUSH1 0x20 00000889: PUSH1 0x40 0000088b: MLOAD 0000088c: PUSH32 0x51c09c781fc18fe361a3dc59ed86f33d9fa7c5369dde52a9a16065b56f7d7dd9 000008ad: DUP2 000008ae: MSTORE 000008af: RETURN 000008b0: JUMPDEST 000008b1: POP 000008b2: CALLVALUE 000008b3: PUSH2 0x02b1 000008b6: JUMPI 000008b7: PUSH1 0x40 000008b9: CALLDATASIZE 000008ba: PUSH1 0x03 000008bc: NOT 000008bd: ADD 000008be: SLT 000008bf: PUSH2 0x02b1 000008c2: JUMPI 000008c3: PUSH2 0x049d 000008c6: DUP2 000008c7: DUP1 000008c8: DUP1 000008c9: DUP1 000008ca: PUSH2 0x08d1 000008cd: PUSH2 0x1a61 000008d0: JUMP 000008d1: JUMPDEST 000008d2: PUSH1 0x01 000008d4: PUSH1 0x01 000008d6: PUSH1 0xa0 000008d8: SHL 000008d9: SUB 000008da: PUSH2 0x0906 000008dd: CALLER 000008de: PUSH32 0x000000000000000000000000ce466fc694c971b95bb1193e494942e22197f759 000008ff: DUP4 00000900: AND 00000901: EQ 00000902: PUSH2 0x1c6a 00000905: JUMP 00000906: JUMPDEST 00000907: PUSH2 0x0914 0000090a: PUSH1 0xff 0000090c: PUSH1 0x02 0000090e: SLOAD 0000090f: AND 00000910: PUSH2 0x1c9b 00000913: JUMP 00000914: JUMPDEST 00000915: PUSH1 0x04 00000917: CALLDATALOAD 00000918: SWAP2 00000919: AND 0000091a: GAS 0000091b: CALL 0000091c: PUSH2 0x0923 0000091f: PUSH2 0x1ed3 00000922: JUMP 00000923: JUMPDEST 00000924: POP 00000925: PUSH2 0x1f7e 00000928: JUMP 00000929: JUMPDEST 0000092a: POP 0000092b: CALLVALUE 0000092c: PUSH2 0x02b1 0000092f: JUMPI 00000930: PUSH1 0x20 00000932: CALLDATASIZE 00000933: PUSH1 0x03 00000935: NOT 00000936: ADD 00000937: SLT 00000938: PUSH2 0x02b1 0000093b: JUMPI 0000093c: PUSH1 0x20 0000093e: SWAP1 0000093f: PUSH1 0xff 00000941: SWAP1 00000942: PUSH1 0x40 00000944: SWAP1 00000945: PUSH1 0x01 00000947: PUSH1 0x01 00000949: PUSH1 0xa0 0000094b: SHL 0000094c: SUB 0000094d: PUSH2 0x0954 00000950: PUSH2 0x1a46 00000953: JUMP 00000954: JUMPDEST 00000955: AND 00000956: DUP2 00000957: MSTORE 00000958: PUSH1 0x03 0000095a: DUP5 0000095b: MSTORE 0000095c: KECCAK256 0000095d: SLOAD 0000095e: AND 0000095f: PUSH1 0x40 00000961: MLOAD 00000962: SWAP1 00000963: ISZERO 00000964: ISZERO 00000965: DUP2 00000966: MSTORE 00000967: RETURN 00000968: JUMPDEST 00000969: POP 0000096a: CALLVALUE 0000096b: PUSH2 0x02b1 0000096e: JUMPI 0000096f: DUP1 00000970: PUSH1 0x03 00000972: NOT 00000973: CALLDATASIZE 00000974: ADD 00000975: SLT 00000976: PUSH2 0x02b1 00000979: JUMPI 0000097a: PUSH2 0x09ad 0000097d: CALLER 0000097e: PUSH32 0x000000000000000000000000ce466fc694c971b95bb1193e494942e22197f759 0000099f: PUSH1 0x01 000009a1: PUSH1 0x01 000009a3: PUSH1 0xa0 000009a5: SHL 000009a6: SUB 000009a7: AND 000009a8: EQ 000009a9: PUSH2 0x1c6a 000009ac: JUMP 000009ad: JUMPDEST 000009ae: PUSH1 0x01 000009b0: PUSH1 0xff 000009b2: NOT 000009b3: PUSH1 0x02 000009b5: SLOAD 000009b6: AND 000009b7: OR 000009b8: PUSH1 0x02 000009ba: SSTORE 000009bb: DUP1 000009bc: RETURN 000009bd: JUMPDEST 000009be: POP 000009bf: CALLVALUE 000009c0: PUSH2 0x02b1 000009c3: JUMPI 000009c4: PUSH2 0x09cc 000009c7: CALLDATASIZE 000009c8: PUSH2 0x1b53 000009cb: JUMP 000009cc: JUMPDEST 000009cd: POP 000009ce: PUSH1 0x01 000009d0: PUSH1 0x01 000009d2: PUSH1 0xa0 000009d4: SHL 000009d5: SUB 000009d6: SWAP2 000009d7: PUSH2 0x0a03 000009da: CALLER 000009db: PUSH32 0x0000000000000000000000007ff4ed8ab94c849b812622eb462682208be06b93 000009fc: DUP6 000009fd: AND 000009fe: EQ 000009ff: PUSH2 0x1bd7 00000a02: JUMP 00000a03: JUMPDEST 00000a04: PUSH32 0xed493a811ddead681ec8958efe53f53e55e7afed1d1ffa8f9dd7f4528f47a2b1 00000a25: DUP2 00000a26: SUB 00000a27: PUSH2 0x0a5f 00000a2a: JUMPI 00000a2b: POP 00000a2c: AND 00000a2d: DUP1 00000a2e: DUP3 00000a2f: MSTORE 00000a30: PUSH1 0x03 00000a32: PUSH1 0x20 00000a34: MSTORE 00000a35: PUSH2 0x0a49 00000a38: PUSH1 0x01 00000a3a: PUSH1 0xff 00000a3c: PUSH1 0x40 00000a3e: DUP6 00000a3f: KECCAK256 00000a40: SLOAD 00000a41: AND 00000a42: ISZERO 00000a43: ISZERO 00000a44: EQ 00000a45: PUSH2 0x1c39 00000a48: JUMP 00000a49: JUMPDEST 00000a4a: DUP2 00000a4b: MSTORE 00000a4c: PUSH1 0x03 00000a4e: PUSH1 0x20 00000a50: MSTORE 00000a51: PUSH1 0x40 00000a53: DUP2 00000a54: KECCAK256 00000a55: DUP1 00000a56: SLOAD 00000a57: PUSH1 0xff 00000a59: NOT 00000a5a: AND 00000a5b: SWAP1 00000a5c: SSTORE 00000a5d: DUP1 00000a5e: RETURN 00000a5f: JUMPDEST 00000a60: PUSH32 0x7308a4bd9246119e9ff88a5449f5d1e91632f8238fb8370a067c003c8539f64b 00000a81: DUP2 00000a82: SUB 00000a83: PUSH2 0x0abb 00000a86: JUMPI 00000a87: POP 00000a88: AND 00000a89: DUP1 00000a8a: DUP3 00000a8b: MSTORE 00000a8c: PUSH1 0x05 00000a8e: PUSH1 0x20 00000a90: MSTORE 00000a91: PUSH2 0x0aa5 00000a94: PUSH1 0x01 00000a96: PUSH1 0xff 00000a98: PUSH1 0x40 00000a9a: DUP6 00000a9b: KECCAK256 00000a9c: SLOAD 00000a9d: AND 00000a9e: ISZERO 00000a9f: ISZERO 00000aa0: EQ 00000aa1: PUSH2 0x1c39 00000aa4: JUMP 00000aa5: JUMPDEST 00000aa6: DUP2 00000aa7: MSTORE 00000aa8: PUSH1 0x05 00000aaa: PUSH1 0x20 00000aac: MSTORE 00000aad: PUSH1 0x40 00000aaf: DUP2 00000ab0: KECCAK256 00000ab1: DUP1 00000ab2: SLOAD 00000ab3: PUSH1 0xff 00000ab5: NOT 00000ab6: AND 00000ab7: SWAP1 00000ab8: SSTORE 00000ab9: DUP1 00000aba: RETURN 00000abb: JUMPDEST 00000abc: PUSH32 0x51c09c781fc18fe361a3dc59ed86f33d9fa7c5369dde52a9a16065b56f7d7dd9 00000add: SUB 00000ade: PUSH2 0x0554 00000ae1: JUMPI 00000ae2: AND 00000ae3: DUP1 00000ae4: DUP3 00000ae5: MSTORE 00000ae6: PUSH1 0x04 00000ae8: PUSH1 0x20 00000aea: MSTORE 00000aeb: PUSH2 0x0aff 00000aee: PUSH1 0x01 00000af0: PUSH1 0xff 00000af2: PUSH1 0x40 00000af4: DUP6 00000af5: KECCAK256 00000af6: SLOAD 00000af7: AND 00000af8: ISZERO 00000af9: ISZERO 00000afa: EQ 00000afb: PUSH2 0x1c39 00000afe: JUMP 00000aff: JUMPDEST 00000b00: DUP2 00000b01: MSTORE 00000b02: PUSH1 0x04 00000b04: PUSH1 0x20 00000b06: MSTORE 00000b07: PUSH1 0x40 00000b09: DUP2 00000b0a: KECCAK256 00000b0b: DUP1 00000b0c: SLOAD 00000b0d: PUSH1 0xff 00000b0f: NOT 00000b10: AND 00000b11: SWAP1 00000b12: SSTORE 00000b13: DUP1 00000b14: RETURN 00000b15: JUMPDEST 00000b16: POP 00000b17: CALLVALUE 00000b18: PUSH2 0x02b1 00000b1b: JUMPI 00000b1c: PUSH1 0x40 00000b1e: CALLDATASIZE 00000b1f: PUSH1 0x03 00000b21: NOT 00000b22: ADD 00000b23: SLT 00000b24: PUSH2 0x02b1 00000b27: JUMPI 00000b28: PUSH1 0x01 00000b2a: PUSH1 0x01 00000b2c: PUSH1 0x40 00000b2e: SHL 00000b2f: SUB 00000b30: PUSH1 0x04 00000b32: CALLDATALOAD 00000b33: GT 00000b34: PUSH2 0x02b1 00000b37: JUMPI 00000b38: CALLDATASIZE 00000b39: PUSH1 0x23 00000b3b: PUSH1 0x04 00000b3d: CALLDATALOAD 00000b3e: ADD 00000b3f: SLT 00000b40: ISZERO 00000b41: PUSH2 0x02b1 00000b44: JUMPI 00000b45: PUSH1 0x04 00000b47: CALLDATALOAD 00000b48: PUSH1 0x04 00000b4a: ADD 00000b4b: CALLDATALOAD 00000b4c: PUSH2 0x0b54 00000b4f: DUP2 00000b50: PUSH2 0x1a2f 00000b53: JUMP 00000b54: JUMPDEST 00000b55: SWAP1 00000b56: PUSH2 0x0b62 00000b59: PUSH1 0x40 00000b5b: MLOAD 00000b5c: SWAP3 00000b5d: DUP4 00000b5e: PUSH2 0x1a0e 00000b61: JUMP 00000b62: JUMPDEST 00000b63: DUP1 00000b64: DUP3 00000b65: MSTORE 00000b66: PUSH1 0x20 00000b68: DUP3 00000b69: ADD 00000b6a: SWAP1 00000b6b: CALLDATASIZE 00000b6c: PUSH1 0x24 00000b6e: DUP3 00000b6f: PUSH1 0x05 00000b71: SHL 00000b72: PUSH1 0x04 00000b74: CALLDATALOAD 00000b75: ADD 00000b76: ADD 00000b77: GT 00000b78: PUSH2 0x1687 00000b7b: JUMPI 00000b7c: PUSH1 0x24 00000b7e: PUSH1 0x04 00000b80: CALLDATALOAD 00000b81: ADD 00000b82: SWAP2 00000b83: JUMPDEST 00000b84: PUSH1 0x24 00000b86: DUP3 00000b87: PUSH1 0x05 00000b89: SHL 00000b8a: PUSH1 0x04 00000b8c: CALLDATALOAD 00000b8d: ADD 00000b8e: ADD 00000b8f: DUP4 00000b90: LT 00000b91: PUSH2 0x139f 00000b94: JUMPI 00000b95: POP 00000b96: POP 00000b97: POP 00000b98: PUSH1 0x24 00000b9a: CALLDATALOAD 00000b9b: PUSH1 0x01 00000b9d: PUSH1 0x01 00000b9f: PUSH1 0x40 00000ba1: SHL 00000ba2: SUB 00000ba3: DUP2 00000ba4: GT 00000ba5: PUSH2 0x139b 00000ba8: JUMPI 00000ba9: PUSH2 0x0bb6 00000bac: SWAP1 00000bad: CALLDATASIZE 00000bae: SWAP1 00000baf: PUSH1 0x04 00000bb1: ADD 00000bb2: PUSH2 0x1b0c 00000bb5: JUMP 00000bb6: JUMPDEST 00000bb7: SWAP1 00000bb8: PUSH1 0x02 00000bba: DUP4 00000bbb: SLOAD 00000bbc: EQ 00000bbd: PUSH2 0x1356 00000bc0: JUMPI 00000bc1: PUSH1 0x02 00000bc3: DUP4 00000bc4: SSTORE 00000bc5: CALLER 00000bc6: DUP4 00000bc7: MSTORE 00000bc8: PUSH1 0x05 00000bca: PUSH1 0x20 00000bcc: MSTORE 00000bcd: PUSH1 0xff 00000bcf: PUSH1 0x40 00000bd1: DUP5 00000bd2: KECCAK256 00000bd3: SLOAD 00000bd4: AND 00000bd5: ISZERO 00000bd6: PUSH2 0x132c 00000bd9: JUMPI 00000bda: ORIGIN 00000bdb: DUP4 00000bdc: MSTORE 00000bdd: PUSH1 0x03 00000bdf: SWAP2 00000be0: DUP3 00000be1: PUSH1 0x20 00000be3: MSTORE 00000be4: PUSH2 0x0bf3 00000be7: PUSH1 0xff 00000be9: PUSH1 0x40 00000beb: DUP7 00000bec: KECCAK256 00000bed: SLOAD 00000bee: AND 00000bef: PUSH2 0x1faf 00000bf2: JUMP 00000bf3: JUMPDEST 00000bf4: PUSH2 0x0c01 00000bf7: PUSH1 0xff 00000bf9: PUSH1 0x02 00000bfb: SLOAD 00000bfc: AND 00000bfd: PUSH2 0x1c9b 00000c00: JUMP 00000c01: JUMPDEST 00000c02: DUP1 00000c03: MLOAD 00000c04: DUP2 00000c05: ADD 00000c06: SWAP1 00000c07: PUSH1 0x20 00000c09: DUP2 00000c0a: DUP4 00000c0b: SUB 00000c0c: SLT 00000c0d: PUSH2 0x1328 00000c10: JUMPI 00000c11: PUSH1 0x20 00000c13: DUP2 00000c14: ADD 00000c15: MLOAD 00000c16: PUSH1 0x01 00000c18: PUSH1 0x01 00000c1a: PUSH1 0x40 00000c1c: SHL 00000c1d: SUB 00000c1e: DUP2 00000c1f: GT 00000c20: PUSH2 0x1324 00000c23: JUMPI 00000c24: PUSH1 0x20 00000c26: DUP4 00000c27: ADD 00000c28: PUSH1 0x3f 00000c2a: DUP3 00000c2b: DUP5 00000c2c: ADD 00000c2d: ADD 00000c2e: SLT 00000c2f: ISZERO 00000c30: PUSH2 0x1324 00000c33: JUMPI 00000c34: PUSH1 0x20 00000c36: DUP2 00000c37: DUP4 00000c38: ADD 00000c39: ADD 00000c3a: MLOAD 00000c3b: PUSH2 0x0c43 00000c3e: DUP2 00000c3f: PUSH2 0x1a2f 00000c42: JUMP 00000c43: JUMPDEST 00000c44: SWAP4 00000c45: PUSH2 0x0c51 00000c48: PUSH1 0x40 00000c4a: MLOAD 00000c4b: SWAP6 00000c4c: DUP7 00000c4d: PUSH2 0x1a0e 00000c50: JUMP 00000c51: JUMPDEST 00000c52: DUP2 00000c53: DUP6 00000c54: MSTORE 00000c55: PUSH1 0x20 00000c57: DUP6 00000c58: ADD 00000c59: SWAP1 00000c5a: PUSH1 0x20 00000c5c: DUP2 00000c5d: ADD 00000c5e: PUSH1 0x40 00000c60: DUP5 00000c61: PUSH1 0x05 00000c63: SHL 00000c64: DUP7 00000c65: DUP9 00000c66: ADD 00000c67: ADD 00000c68: ADD 00000c69: GT 00000c6a: PUSH2 0x1320 00000c6d: JUMPI 00000c6e: PUSH1 0x40 00000c70: DUP5 00000c71: DUP7 00000c72: ADD 00000c73: ADD 00000c74: SWAP2 00000c75: JUMPDEST 00000c76: PUSH1 0x40 00000c78: DUP5 00000c79: PUSH1 0x05 00000c7b: SHL 00000c7c: DUP7 00000c7d: DUP9 00000c7e: ADD 00000c7f: ADD 00000c80: ADD 00000c81: DUP4 00000c82: LT 00000c83: PUSH2 0x1120 00000c86: JUMPI 00000c87: POP 00000c88: POP 00000c89: POP 00000c8a: POP 00000c8b: POP 00000c8c: POP 00000c8d: PUSH2 0x0c99 00000c90: DUP2 00000c91: MLOAD 00000c92: DUP4 00000c93: MLOAD 00000c94: EQ 00000c95: PUSH2 0x1ccd 00000c98: JUMP 00000c99: JUMPDEST 00000c9a: DUP4 00000c9b: JUMPDEST 00000c9c: DUP3 00000c9d: MLOAD 00000c9e: DUP2 00000c9f: LT 00000ca0: ISZERO 00000ca1: PUSH2 0x0cf9 00000ca4: JUMPI 00000ca5: CALLER 00000ca6: PUSH1 0x01 00000ca8: PUSH1 0x01 00000caa: PUSH1 0xa0 00000cac: SHL 00000cad: SUB 00000cae: PUSH2 0x0cb7 00000cb1: DUP4 00000cb2: DUP7 00000cb3: PUSH2 0x1d24 00000cb6: JUMP 00000cb7: JUMPDEST 00000cb8: MLOAD 00000cb9: MLOAD 00000cba: MLOAD 00000cbb: AND 00000cbc: SUB 00000cbd: PUSH2 0x0cce 00000cc0: JUMPI 00000cc1: PUSH2 0x0cc9 00000cc4: SWAP1 00000cc5: PUSH2 0x1cff 00000cc8: JUMP 00000cc9: JUMPDEST 00000cca: PUSH2 0x0c9b 00000ccd: JUMP 00000cce: JUMPDEST 00000ccf: PUSH1 0x40 00000cd1: MLOAD 00000cd2: PUSH3 0x461bcd 00000cd6: PUSH1 0xe5 00000cd8: SHL 00000cd9: DUP2 00000cda: MSTORE 00000cdb: PUSH1 0x20 00000cdd: PUSH1 0x04 00000cdf: DUP3 00000ce0: ADD 00000ce1: MSTORE 00000ce2: PUSH1 0x24 00000ce4: DUP2 00000ce5: ADD 00000ce6: DUP6 00000ce7: SWAP1 00000ce8: MSTORE 00000ce9: PUSH3 0x463133 00000ced: PUSH1 0xe8 00000cef: SHL 00000cf0: PUSH1 0x44 00000cf2: DUP3 00000cf3: ADD 00000cf4: MSTORE 00000cf5: PUSH1 0x64 00000cf7: SWAP1 00000cf8: REVERT 00000cf9: JUMPDEST 00000cfa: POP 00000cfb: SWAP3 00000cfc: DUP2 00000cfd: MLOAD 00000cfe: SWAP4 00000cff: PUSH2 0x0d07 00000d02: DUP6 00000d03: PUSH2 0x1a2f 00000d06: JUMP 00000d07: JUMPDEST 00000d08: SWAP5 00000d09: PUSH2 0x0d15 00000d0c: PUSH1 0x40 00000d0e: MLOAD 00000d0f: SWAP7 00000d10: DUP8 00000d11: PUSH2 0x1a0e 00000d14: JUMP 00000d15: JUMPDEST 00000d16: DUP1 00000d17: DUP7 00000d18: MSTORE 00000d19: PUSH2 0x0d24 00000d1c: PUSH1 0x1f 00000d1e: NOT 00000d1f: SWAP2 00000d20: PUSH2 0x1a2f 00000d23: JUMP 00000d24: JUMPDEST 00000d25: ADD 00000d26: CALLDATASIZE 00000d27: PUSH1 0x20 00000d29: DUP8 00000d2a: ADD 00000d2b: CALLDATACOPY 00000d2c: PUSH32 0x00000000000000000000000051c72848c68a965f66fa7a88855f9f7784502a7f 00000d4d: DUP3 00000d4e: JUMPDEST 00000d4f: DUP3 00000d50: MLOAD 00000d51: DUP2 00000d52: LT 00000d53: ISZERO 00000d54: PUSH2 0x0f0a 00000d57: JUMPI 00000d58: PUSH1 0x01 00000d5a: PUSH1 0x01 00000d5c: PUSH1 0xa0 00000d5e: SHL 00000d5f: SUB 00000d60: SWAP1 00000d61: PUSH2 0x0d89 00000d64: DUP3 00000d65: PUSH1 0x20 00000d67: PUSH2 0x0d70 00000d6a: DUP5 00000d6b: DUP11 00000d6c: PUSH2 0x1d24 00000d6f: JUMP 00000d70: JUMPDEST 00000d71: MLOAD 00000d72: ADD 00000d73: MLOAD 00000d74: MLOAD 00000d75: AND 00000d76: DUP4 00000d77: PUSH2 0x0d80 00000d7a: DUP5 00000d7b: DUP9 00000d7c: PUSH2 0x1d24 00000d7f: JUMP 00000d80: JUMPDEST 00000d81: MLOAD 00000d82: MLOAD 00000d83: AND 00000d84: EQ 00000d85: PUSH2 0x2077 00000d88: JUMP 00000d89: JUMPDEST 00000d8a: PUSH2 0x0d93 00000d8d: DUP2 00000d8e: DUP10 00000d8f: PUSH2 0x1d24 00000d92: JUMP 00000d93: JUMPDEST 00000d94: MLOAD 00000d95: PUSH2 0x0efd 00000d98: JUMPI 00000d99: DUP2 00000d9a: PUSH2 0x0da3 00000d9d: DUP3 00000d9e: DUP7 00000d9f: PUSH2 0x1d24 00000da2: JUMP 00000da3: JUMPDEST 00000da4: MLOAD 00000da5: MLOAD 00000da6: AND 00000da7: SWAP3 00000da8: DUP6 00000da9: SWAP7 00000daa: DUP3 00000dab: JUMPDEST 00000dac: DUP7 00000dad: MLOAD 00000dae: DUP2 00000daf: LT 00000db0: ISZERO 00000db1: PUSH2 0x0e23 00000db4: JUMPI 00000db5: DUP6 00000db6: DUP6 00000db7: PUSH2 0x0dc0 00000dba: DUP4 00000dbb: DUP11 00000dbc: PUSH2 0x1d24 00000dbf: JUMP 00000dc0: JUMPDEST 00000dc1: MLOAD 00000dc2: MLOAD 00000dc3: AND 00000dc4: EQ 00000dc5: PUSH2 0x0dd7 00000dc8: JUMPI 00000dc9: JUMPDEST 00000dca: PUSH2 0x0dd2 00000dcd: SWAP1 00000dce: PUSH2 0x1cff 00000dd1: JUMP 00000dd2: JUMPDEST 00000dd3: PUSH2 0x0dab 00000dd6: JUMP 00000dd7: JUMPDEST 00000dd8: SWAP10 00000dd9: SWAP9 00000dda: SWAP8 00000ddb: PUSH1 0x40 00000ddd: PUSH2 0x0de6 00000de0: DUP13 00000de1: DUP10 00000de2: PUSH2 0x1d24 00000de5: JUMP 00000de6: JUMPDEST 00000de7: MLOAD 00000de8: ADD 00000de9: MLOAD 00000dea: DUP2 00000deb: ADD 00000dec: DUP1 00000ded: SWAP2 00000dee: GT 00000def: PUSH2 0x0e0f 00000df2: JUMPI 00000df3: DUP11 00000df4: PUSH1 0x01 00000df6: PUSH2 0x0e07 00000df9: DUP13 00000dfa: SWAP14 00000dfb: PUSH2 0x0dd2 00000dfe: SWAP5 00000dff: SWAP14 00000e00: SWAP13 00000e01: SWAP14 00000e02: SWAP13 00000e03: PUSH2 0x1d24 00000e06: JUMP 00000e07: JUMPDEST 00000e08: MSTORE 00000e09: SWAP1 00000e0a: POP 00000e0b: PUSH2 0x0dc9 00000e0e: JUMP 00000e0f: JUMPDEST 00000e10: PUSH4 0x4e487b71 00000e15: PUSH1 0xe0 00000e17: SHL 00000e18: DUP9 00000e19: MSTORE 00000e1a: PUSH1 0x11 00000e1c: PUSH1 0x04 00000e1e: MSTORE 00000e1f: PUSH1 0x24 00000e21: DUP9 00000e22: REVERT 00000e23: JUMPDEST 00000e24: POP 00000e25: SWAP4 00000e26: SWAP1 00000e27: SWAP7 00000e28: SWAP2 00000e29: SWAP3 00000e2a: POP 00000e2b: PUSH1 0x40 00000e2d: MLOAD 00000e2e: SWAP2 00000e2f: PUSH4 0x70a08231 00000e34: PUSH1 0xe0 00000e36: SHL 00000e37: DUP4 00000e38: MSTORE 00000e39: ADDRESS 00000e3a: PUSH1 0x04 00000e3c: DUP5 00000e3d: ADD 00000e3e: MSTORE 00000e3f: PUSH1 0x20 00000e41: DUP4 00000e42: PUSH1 0x24 00000e44: DUP2 00000e45: DUP6 00000e46: GAS 00000e47: STATICCALL 00000e48: SWAP3 00000e49: DUP4 00000e4a: ISZERO 00000e4b: PUSH2 0x0ef2 00000e4e: JUMPI 00000e4f: DUP8 00000e50: SWAP4 00000e51: PUSH2 0x0ebe 00000e54: JUMPI 00000e55: JUMPDEST 00000e56: POP 00000e57: DUP3 00000e58: LT 00000e59: PUSH2 0x0e93 00000e5c: JUMPI 00000e5d: PUSH1 0x00 00000e5f: NOT 00000e60: DUP3 00000e61: ADD 00000e62: SWAP2 00000e63: DUP3 00000e64: GT 00000e65: PUSH2 0x0e7f 00000e68: JUMPI 00000e69: PUSH2 0x0e77 00000e6c: SWAP3 00000e6d: SWAP2 00000e6e: DUP8 00000e6f: PUSH2 0x0220 00000e72: SWAP3 00000e73: PUSH2 0x1d4e 00000e76: JUMP 00000e77: JUMPDEST 00000e78: SWAP4 00000e79: SWAP1 00000e7a: SWAP4 00000e7b: PUSH2 0x0d4e 00000e7e: JUMP 00000e7f: JUMPDEST 00000e80: PUSH4 0x4e487b71 00000e85: PUSH1 0xe0 00000e87: SHL 00000e88: DUP7 00000e89: MSTORE 00000e8a: PUSH1 0x11 00000e8c: PUSH1 0x04 00000e8e: MSTORE 00000e8f: PUSH1 0x24 00000e91: DUP7 00000e92: REVERT 00000e93: JUMPDEST 00000e94: PUSH1 0x40 00000e96: MLOAD 00000e97: PUSH3 0x461bcd 00000e9b: PUSH1 0xe5 00000e9d: SHL 00000e9e: DUP2 00000e9f: MSTORE 00000ea0: PUSH1 0x20 00000ea2: PUSH1 0x04 00000ea4: DUP3 00000ea5: ADD 00000ea6: MSTORE 00000ea7: PUSH1 0x24 00000ea9: DUP2 00000eaa: ADD 00000eab: DUP10 00000eac: SWAP1 00000ead: MSTORE 00000eae: PUSH3 0x463131 00000eb2: PUSH1 0xe8 00000eb4: SHL 00000eb5: PUSH1 0x44 00000eb7: DUP3 00000eb8: ADD 00000eb9: MSTORE 00000eba: PUSH1 0x64 00000ebc: SWAP1 00000ebd: REVERT 00000ebe: JUMPDEST 00000ebf: SWAP1 00000ec0: SWAP3 00000ec1: POP 00000ec2: PUSH1 0x20 00000ec4: DUP2 00000ec5: RETURNDATASIZE 00000ec6: PUSH1 0x20 00000ec8: GT 00000ec9: PUSH2 0x0eea 00000ecc: JUMPI 00000ecd: JUMPDEST 00000ece: DUP2 00000ecf: PUSH2 0x0eda 00000ed2: PUSH1 0x20 00000ed4: SWAP4 00000ed5: DUP4 00000ed6: PUSH2 0x1a0e 00000ed9: JUMP 00000eda: JUMPDEST 00000edb: DUP2 00000edc: ADD 00000edd: SUB 00000ede: SLT 00000edf: PUSH2 0x086d 00000ee2: JUMPI 00000ee3: MLOAD 00000ee4: SWAP2 00000ee5: CODESIZE 00000ee6: PUSH2 0x0e55 00000ee9: JUMP 00000eea: JUMPDEST 00000eeb: RETURNDATASIZE 00000eec: SWAP2 00000eed: POP 00000eee: PUSH2 0x0ecd 00000ef1: JUMP 00000ef2: JUMPDEST 00000ef3: PUSH1 0x40 00000ef5: MLOAD 00000ef6: RETURNDATASIZE 00000ef7: DUP10 00000ef8: DUP3 00000ef9: RETURNDATACOPY 00000efa: RETURNDATASIZE 00000efb: SWAP1 00000efc: REVERT 00000efd: JUMPDEST 00000efe: PUSH2 0x0e77 00000f01: SWAP2 00000f02: POP 00000f03: SWAP5 00000f04: SWAP2 00000f05: SWAP5 00000f06: PUSH2 0x1cff 00000f09: JUMP 00000f0a: JUMPDEST 00000f0b: POP 00000f0c: SWAP5 00000f0d: POP 00000f0e: DUP2 00000f0f: SWAP5 00000f10: JUMPDEST 00000f11: DUP4 00000f12: MLOAD 00000f13: DUP7 00000f14: LT 00000f15: ISZERO 00000f16: PUSH2 0x1118 00000f19: JUMPI 00000f1a: PUSH2 0x0f25 00000f1d: DUP7 00000f1e: DUP6 00000f1f: SWAP5 00000f20: SWAP6 00000f21: PUSH2 0x1d24 00000f24: JUMP 00000f25: JUMPDEST 00000f26: MLOAD 00000f27: SWAP4 00000f28: PUSH1 0x40 00000f2a: PUSH2 0x0f33 00000f2d: DUP9 00000f2e: DUP6 00000f2f: PUSH2 0x1d24 00000f32: JUMP 00000f33: JUMPDEST 00000f34: MLOAD 00000f35: SWAP6 00000f36: ADD 00000f37: SWAP4 00000f38: DUP5 00000f39: MLOAD 00000f3a: MLOAD 00000f3b: SWAP4 00000f3c: PUSH2 0x0f4c 00000f3f: PUSH1 0x20 00000f41: DUP9 00000f42: ADD 00000f43: SWAP6 00000f44: DUP7 00000f45: MLOAD 00000f46: MLOAD 00000f47: EQ 00000f48: PUSH2 0x1ccd 00000f4b: JUMP 00000f4c: JUMPDEST 00000f4d: PUSH1 0x60 00000f4f: DUP4 00000f50: SWAP8 00000f51: ADD 00000f52: SWAP7 00000f53: JUMPDEST 00000f54: DUP7 00000f55: MLOAD 00000f56: DUP1 00000f57: MLOAD 00000f58: DUP3 00000f59: LT 00000f5a: ISZERO 00000f5b: PUSH2 0x0fe9 00000f5e: JUMPI 00000f5f: PUSH2 0x0f8f 00000f62: SWAP1 00000f63: PUSH1 0x01 00000f65: PUSH1 0x01 00000f67: PUSH1 0xa0 00000f69: SHL 00000f6a: SUB 00000f6b: SWAP1 00000f6c: DUP2 00000f6d: SWAP1 00000f6e: PUSH2 0x0f78 00000f71: SWAP1 00000f72: DUP6 00000f73: SWAP1 00000f74: PUSH2 0x1d24 00000f77: JUMP 00000f78: JUMPDEST 00000f79: MLOAD 00000f7a: MLOAD 00000f7b: AND 00000f7c: SWAP1 00000f7d: PUSH2 0x0f87 00000f80: DUP5 00000f81: DUP11 00000f82: MLOAD 00000f83: PUSH2 0x1d24 00000f86: JUMP 00000f87: JUMPDEST 00000f88: MLOAD 00000f89: AND 00000f8a: EQ 00000f8b: PUSH2 0x2077 00000f8e: JUMP 00000f8f: JUMPDEST 00000f90: PUSH1 0x20 00000f92: PUSH2 0x0f9c 00000f95: DUP3 00000f96: DUP10 00000f97: MLOAD 00000f98: PUSH2 0x1d24 00000f9b: JUMP 00000f9c: JUMPDEST 00000f9d: MLOAD 00000f9e: ADD 00000f9f: MLOAD 00000fa0: PUSH2 0x0faa 00000fa3: DUP3 00000fa4: DUP11 00000fa5: MLOAD 00000fa6: PUSH2 0x1d24 00000fa9: JUMP 00000faa: JUMPDEST 00000fab: MLOAD 00000fac: LT 00000fad: PUSH2 0x0fbe 00000fb0: JUMPI 00000fb1: PUSH2 0x0fb9 00000fb4: SWAP1 00000fb5: PUSH2 0x1cff 00000fb8: JUMP 00000fb9: JUMPDEST 00000fba: PUSH2 0x0f53 00000fbd: JUMP 00000fbe: JUMPDEST 00000fbf: PUSH1 0x40 00000fc1: MLOAD 00000fc2: PUSH3 0x461bcd 00000fc6: PUSH1 0xe5 00000fc8: SHL 00000fc9: DUP2 00000fca: MSTORE 00000fcb: PUSH1 0x20 00000fcd: PUSH1 0x04 00000fcf: DUP3 00000fd0: ADD 00000fd1: MSTORE 00000fd2: PUSH1 0x24 00000fd4: DUP2 00000fd5: ADD 00000fd6: DUP11 00000fd7: SWAP1 00000fd8: MSTORE 00000fd9: PUSH3 0x231899 00000fdd: PUSH1 0xe9 00000fdf: SHL 00000fe0: PUSH1 0x44 00000fe2: DUP3 00000fe3: ADD 00000fe4: MSTORE 00000fe5: PUSH1 0x64 00000fe7: SWAP1 00000fe8: REVERT 00000fe9: JUMPDEST 00000fea: POP 00000feb: POP 00000fec: SWAP1 00000fed: SWAP2 00000fee: SWAP8 00000fef: SWAP7 00000ff0: SWAP5 00000ff1: SWAP6 00000ff2: POP 00000ff3: SWAP3 00000ff4: SWAP2 00000ff5: SWAP3 00000ff6: DUP8 00000ff7: JUMPDEST 00000ff8: DUP7 00000ff9: MLOAD 00000ffa: MLOAD 00000ffb: DUP2 00000ffc: LT 00000ffd: ISZERO 00000ffe: PUSH2 0x10fe 00001001: JUMPI 00001002: PUSH1 0x01 00001004: DUP1 00001005: PUSH1 0xa0 00001007: SHL 00001008: SUB 00001009: DUP10 0000100a: DUP2 0000100b: PUSH2 0x1015 0000100e: DUP5 0000100f: DUP9 00001010: MLOAD 00001011: PUSH2 0x1d24 00001014: JUMP 00001015: JUMPDEST 00001016: MLOAD 00001017: AND 00001018: SWAP2 00001019: PUSH1 0x20 0000101b: PUSH2 0x1025 0000101e: DUP6 0000101f: DUP13 00001020: MLOAD 00001021: PUSH2 0x1d24 00001024: JUMP 00001025: JUMPDEST 00001026: MLOAD 00001027: ADD 00001028: MLOAD 00001029: SWAP3 0000102a: PUSH2 0x10de 0000102d: JUMPI 0000102e: DUP2 0000102f: SWAP1 00001030: PUSH2 0x105f 00001033: DUP5 00001034: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 00001055: SWAP3 00001056: DUP12 00001057: ADDRESS 00001058: SWAP2 00001059: DUP6 0000105a: AND 0000105b: PUSH2 0x20a9 0000105e: JUMP 0000105f: JUMPDEST 00001060: PUSH1 0x40 00001062: MLOAD 00001063: DUP3 00001064: PUSH1 0x20 00001066: DUP3 00001067: ADD 00001068: SWAP2 00001069: PUSH4 0x2e1a7d4d 0000106e: PUSH1 0xe0 00001070: SHL 00001071: DUP4 00001072: MSTORE 00001073: DUP7 00001074: PUSH1 0x24 00001076: DUP3 00001077: ADD 00001078: MSTORE 00001079: PUSH1 0x24 0000107b: DUP2 0000107c: MSTORE 0000107d: PUSH2 0x1085 00001080: DUP2 00001081: PUSH2 0x19c2 00001084: JUMP 00001085: JUMPDEST 00001086: MLOAD 00001087: SWAP3 00001088: GAS 00001089: CALL 0000108a: PUSH2 0x1091 0000108d: PUSH2 0x1ed3 00001090: JUMP 00001091: JUMPDEST 00001092: POP 00001093: ISZERO 00001094: PUSH2 0x10b3 00001097: JUMPI 00001098: SWAP1 00001099: PUSH2 0x0220 0000109c: DUP11 0000109d: DUP1 0000109e: DUP1 0000109f: DUP1 000010a0: PUSH2 0x10ae 000010a3: SWAP7 000010a4: CALLER 000010a5: GAS 000010a6: CALL 000010a7: PUSH2 0x0923 000010aa: PUSH2 0x1ed3 000010ad: JUMP 000010ae: JUMPDEST 000010af: PUSH2 0x0ff7 000010b2: JUMP 000010b3: JUMPDEST 000010b4: PUSH1 0x40 000010b6: MLOAD 000010b7: PUSH3 0x461bcd 000010bb: PUSH1 0xe5 000010bd: SHL 000010be: DUP2 000010bf: MSTORE 000010c0: PUSH1 0x20 000010c2: PUSH1 0x04 000010c4: DUP3 000010c5: ADD 000010c6: MSTORE 000010c7: PUSH1 0x24 000010c9: DUP2 000010ca: ADD 000010cb: DUP9 000010cc: SWAP1 000010cd: MSTORE 000010ce: PUSH3 0x118c4d 000010d2: PUSH1 0xea 000010d4: SHL 000010d5: PUSH1 0x44 000010d7: DUP3 000010d8: ADD 000010d9: MSTORE 000010da: PUSH1 0x64 000010dc: SWAP1 000010dd: REVERT 000010de: JUMPDEST 000010df: PUSH2 0x0220 000010e2: SWAP2 000010e3: POP 000010e4: SWAP2 000010e5: PUSH2 0x10ae 000010e8: SWAP4 000010e9: SWAP3 000010ea: DUP9 000010eb: ADDRESS 000010ec: SWAP2 000010ed: PUSH2 0x10f7 000010f0: DUP7 000010f1: DUP12 000010f2: MLOAD 000010f3: PUSH2 0x1d24 000010f6: JUMP 000010f7: JUMPDEST 000010f8: MLOAD 000010f9: AND 000010fa: PUSH2 0x20a9 000010fd: JUMP 000010fe: JUMPDEST 000010ff: POP 00001100: SWAP7 00001101: SWAP3 00001102: SWAP4 00001103: SWAP6 00001104: SWAP1 00001105: SWAP5 00001106: POP 00001107: PUSH2 0x1110 0000110a: SWAP2 0000110b: POP 0000110c: PUSH2 0x1cff 0000110f: JUMP 00001110: JUMPDEST 00001111: SWAP5 00001112: SWAP1 00001113: SWAP2 00001114: PUSH2 0x0f10 00001117: JUMP 00001118: JUMPDEST 00001119: DUP3 0000111a: PUSH1 0x01 0000111c: DUP2 0000111d: SSTORE 0000111e: DUP1 0000111f: RETURN 00001120: JUMPDEST 00001121: DUP3 00001122: MLOAD 00001123: PUSH1 0x01 00001125: PUSH1 0x01 00001127: PUSH1 0x40 00001129: SHL 0000112a: SUB 0000112b: DUP2 0000112c: GT 0000112d: PUSH2 0x131c 00001130: JUMPI 00001131: PUSH1 0x80 00001133: DUP8 00001134: DUP8 00001135: ADD 00001136: DUP3 00001137: ADD 00001138: DUP5 00001139: SUB 0000113a: PUSH1 0x1f 0000113c: NOT 0000113d: ADD 0000113e: SLT 0000113f: PUSH2 0x131c 00001142: JUMPI 00001143: PUSH1 0x40 00001145: MLOAD 00001146: SWAP1 00001147: PUSH1 0x80 00001149: DUP3 0000114a: ADD 0000114b: DUP3 0000114c: DUP2 0000114d: LT 0000114e: PUSH1 0x01 00001150: PUSH1 0x01 00001152: PUSH1 0x40 00001154: SHL 00001155: SUB 00001156: DUP3 00001157: GT 00001158: OR 00001159: PUSH2 0x1308 0000115c: JUMPI 0000115d: PUSH1 0x40 0000115f: MSTORE 00001160: PUSH2 0x116f 00001163: PUSH1 0x40 00001165: DUP3 00001166: DUP10 00001167: DUP12 00001168: ADD 00001169: ADD 0000116a: ADD 0000116b: PUSH2 0x2063 0000116e: JUMP 0000116f: JUMPDEST 00001170: DUP3 00001171: MSTORE 00001172: PUSH1 0x60 00001174: DUP2 00001175: DUP9 00001176: DUP11 00001177: ADD 00001178: ADD 00001179: ADD 0000117a: MLOAD 0000117b: PUSH1 0x01 0000117d: PUSH1 0x01 0000117f: PUSH1 0x40 00001181: SHL 00001182: SUB 00001183: DUP2 00001184: GT 00001185: PUSH2 0x12e4 00001188: JUMPI 00001189: PUSH1 0x20 0000118b: DUP6 0000118c: ADD 0000118d: PUSH1 0x5f 0000118f: DUP3 00001190: DUP5 00001191: DUP12 00001192: DUP14 00001193: ADD 00001194: ADD 00001195: ADD 00001196: ADD 00001197: SLT 00001198: ISZERO 00001199: PUSH2 0x12e4 0000119c: JUMPI 0000119d: PUSH1 0x40 0000119f: DUP2 000011a0: DUP4 000011a1: DUP11 000011a2: DUP13 000011a3: ADD 000011a4: ADD 000011a5: ADD 000011a6: ADD 000011a7: MLOAD 000011a8: PUSH2 0x11b0 000011ab: DUP2 000011ac: PUSH2 0x1a2f 000011af: JUMP 000011b0: JUMPDEST 000011b1: SWAP2 000011b2: PUSH2 0x11be 000011b5: PUSH1 0x40 000011b7: MLOAD 000011b8: SWAP4 000011b9: DUP5 000011ba: PUSH2 0x1a0e 000011bd: JUMP 000011be: JUMPDEST 000011bf: DUP2 000011c0: DUP4 000011c1: MSTORE 000011c2: PUSH1 0x20 000011c4: DUP4 000011c5: ADD 000011c6: SWAP1 000011c7: DUP11 000011c8: PUSH1 0x60 000011ca: DUP14 000011cb: DUP4 000011cc: DUP9 000011cd: PUSH1 0x20 000011cf: DUP14 000011d0: ADD 000011d1: SWAP5 000011d2: DUP9 000011d3: PUSH1 0x05 000011d5: SHL 000011d6: SWAP4 000011d7: ADD 000011d8: ADD 000011d9: ADD 000011da: ADD 000011db: ADD 000011dc: GT 000011dd: PUSH2 0x12e0 000011e0: JUMPI 000011e1: DUP11 000011e2: SWAP2 000011e3: DUP6 000011e4: DUP14 000011e5: PUSH1 0x60 000011e7: DUP5 000011e8: DUP4 000011e9: DUP8 000011ea: DUP5 000011eb: ADD 000011ec: ADD 000011ed: ADD 000011ee: ADD 000011ef: SWAP3 000011f0: JUMPDEST 000011f1: PUSH1 0x60 000011f3: DUP8 000011f4: PUSH1 0x05 000011f6: SHL 000011f7: DUP7 000011f8: DUP6 000011f9: DUP10 000011fa: DUP7 000011fb: ADD 000011fc: ADD 000011fd: ADD 000011fe: ADD 000011ff: ADD 00001200: DUP5 00001201: LT 00001202: PUSH2 0x12e8 00001205: JUMPI 00001206: POP 00001207: POP 00001208: POP 00001209: POP 0000120a: POP 0000120b: PUSH1 0x20 0000120d: DUP6 0000120e: ADD 0000120f: SWAP3 00001210: SWAP1 00001211: SWAP3 00001212: MSTORE 00001213: POP 00001214: POP 00001215: DUP8 00001216: DUP8 00001217: ADD 00001218: DUP2 00001219: ADD 0000121a: PUSH1 0x80 0000121c: DUP2 0000121d: ADD 0000121e: MLOAD 0000121f: PUSH1 0x40 00001221: DUP5 00001222: ADD 00001223: MSTORE 00001224: PUSH1 0xa0 00001226: ADD 00001227: MLOAD 00001228: SWAP1 00001229: PUSH1 0x01 0000122b: PUSH1 0x01 0000122d: PUSH1 0x40 0000122f: SHL 00001230: SUB 00001231: DUP3 00001232: GT 00001233: PUSH2 0x12e4 00001236: JUMPI 00001237: PUSH1 0x20 00001239: DUP6 0000123a: ADD 0000123b: PUSH1 0x5f 0000123d: DUP4 0000123e: DUP4 0000123f: DUP12 00001240: DUP14 00001241: ADD 00001242: ADD 00001243: ADD 00001244: ADD 00001245: SLT 00001246: ISZERO 00001247: PUSH2 0x12e4 0000124a: JUMPI 0000124b: PUSH1 0x40 0000124d: DUP3 0000124e: DUP3 0000124f: DUP11 00001250: DUP13 00001251: ADD 00001252: ADD 00001253: ADD 00001254: ADD 00001255: MLOAD 00001256: SWAP1 00001257: PUSH2 0x125f 0000125a: DUP3 0000125b: PUSH2 0x1a2f 0000125e: JUMP 0000125f: JUMPDEST 00001260: SWAP3 00001261: PUSH2 0x126d 00001264: PUSH1 0x40 00001266: MLOAD 00001267: SWAP5 00001268: DUP6 00001269: PUSH2 0x1a0e 0000126c: JUMP 0000126d: JUMPDEST 0000126e: DUP3 0000126f: DUP5 00001270: MSTORE 00001271: PUSH1 0x20 00001273: DUP5 00001274: ADD 00001275: SWAP2 00001276: DUP11 00001277: PUSH1 0x60 00001279: DUP14 0000127a: DUP5 0000127b: DUP5 0000127c: PUSH1 0x20 0000127e: DUP14 0000127f: ADD 00001280: SWAP5 00001281: DUP10 00001282: PUSH1 0x05 00001284: SHL 00001285: SWAP4 00001286: ADD 00001287: ADD 00001288: ADD 00001289: ADD 0000128a: ADD 0000128b: GT 0000128c: PUSH2 0x12e0 0000128f: JUMPI 00001290: DUP11 00001291: SWAP3 00001292: DUP13 00001293: PUSH1 0x60 00001295: DUP5 00001296: DUP5 00001297: DUP8 00001298: DUP5 00001299: ADD 0000129a: ADD 0000129b: ADD 0000129c: ADD 0000129d: SWAP2 0000129e: JUMPDEST 0000129f: PUSH1 0x60 000012a1: DUP8 000012a2: PUSH1 0x05 000012a4: SHL 000012a5: DUP7 000012a6: DUP7 000012a7: DUP10 000012a8: DUP7 000012a9: ADD 000012aa: ADD 000012ab: ADD 000012ac: ADD 000012ad: ADD 000012ae: DUP4 000012af: LT 000012b0: PUSH2 0x12d0 000012b3: JUMPI 000012b4: POP 000012b5: POP 000012b6: POP 000012b7: POP 000012b8: PUSH1 0x60 000012ba: DUP6 000012bb: ADD 000012bc: SWAP4 000012bd: SWAP1 000012be: SWAP4 000012bf: MSTORE 000012c0: POP 000012c1: POP 000012c2: POP 000012c3: DUP2 000012c4: MSTORE 000012c5: PUSH1 0x20 000012c7: SWAP3 000012c8: DUP4 000012c9: ADD 000012ca: SWAP3 000012cb: ADD 000012cc: PUSH2 0x0c75 000012cf: JUMP 000012d0: JUMPDEST 000012d1: DUP3 000012d2: MLOAD 000012d3: DUP2 000012d4: MSTORE 000012d5: PUSH1 0x20 000012d7: SWAP3 000012d8: DUP4 000012d9: ADD 000012da: SWAP3 000012db: ADD 000012dc: PUSH2 0x129e 000012df: JUMP 000012e0: JUMPDEST 000012e1: DUP16 000012e2: DUP1 000012e3: REVERT 000012e4: JUMPDEST 000012e5: DUP13 000012e6: DUP1 000012e7: REVERT 000012e8: JUMPDEST 000012e9: PUSH1 0x60 000012eb: SWAP3 000012ec: PUSH1 0x20 000012ee: DUP1 000012ef: DUP8 000012f0: SWAP4 000012f1: PUSH2 0x12f9 000012f4: DUP9 000012f5: PUSH2 0x2063 000012f8: JUMP 000012f9: JUMPDEST 000012fa: DUP2 000012fb: MSTORE 000012fc: ADD 000012fd: SWAP6 000012fe: ADD 000012ff: SWAP5 00001300: SWAP2 00001301: POP 00001302: SWAP3 00001303: POP 00001304: PUSH2 0x11f0 00001307: JUMP 00001308: JUMPDEST 00001309: PUSH4 0x4e487b71 0000130e: PUSH1 0xe0 00001310: SHL 00001311: DUP14 00001312: MSTORE 00001313: PUSH1 0x41 00001315: PUSH1 0x04 00001317: MSTORE 00001318: PUSH1 0x24 0000131a: DUP14 0000131b: REVERT 0000131c: JUMPDEST 0000131d: DUP11 0000131e: DUP1 0000131f: REVERT 00001320: JUMPDEST 00001321: DUP9 00001322: DUP1 00001323: REVERT 00001324: JUMPDEST 00001325: DUP6 00001326: DUP1 00001327: REVERT 00001328: JUMPDEST 00001329: DUP5 0000132a: DUP1 0000132b: REVERT 0000132c: JUMPDEST 0000132d: PUSH1 0x40 0000132f: MLOAD 00001330: PUSH3 0x461bcd 00001334: PUSH1 0xe5 00001336: SHL 00001337: DUP2 00001338: MSTORE 00001339: PUSH1 0x20 0000133b: PUSH1 0x04 0000133d: DUP3 0000133e: ADD 0000133f: MSTORE 00001340: PUSH1 0x02 00001342: PUSH1 0x24 00001344: DUP3 00001345: ADD 00001346: MSTORE 00001347: PUSH2 0x4633 0000134a: PUSH1 0xf0 0000134c: SHL 0000134d: PUSH1 0x44 0000134f: DUP3 00001350: ADD 00001351: MSTORE 00001352: PUSH1 0x64 00001354: SWAP1 00001355: REVERT 00001356: JUMPDEST 00001357: PUSH1 0x40 00001359: MLOAD 0000135a: PUSH3 0x461bcd 0000135e: PUSH1 0xe5 00001360: SHL 00001361: DUP2 00001362: MSTORE 00001363: PUSH1 0x20 00001365: PUSH1 0x04 00001367: DUP3 00001368: ADD 00001369: MSTORE 0000136a: PUSH1 0x1f 0000136c: PUSH1 0x24 0000136e: DUP3 0000136f: ADD 00001370: MSTORE 00001371: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 00001392: PUSH1 0x44 00001394: DUP3 00001395: ADD 00001396: MSTORE 00001397: PUSH1 0x64 00001399: SWAP1 0000139a: REVERT 0000139b: JUMPDEST 0000139c: DUP3 0000139d: DUP1 0000139e: REVERT 0000139f: JUMPDEST 000013a0: DUP3 000013a1: CALLDATALOAD 000013a2: SWAP1 000013a3: PUSH1 0x01 000013a5: PUSH1 0x01 000013a7: PUSH1 0x40 000013a9: SHL 000013aa: SUB 000013ab: DUP3 000013ac: GT 000013ad: PUSH2 0x1324 000013b0: JUMPI 000013b1: PUSH1 0x23 000013b3: NOT 000013b4: SWAP2 000013b5: PUSH1 0xe0 000013b7: PUSH1 0x04 000013b9: CALLDATALOAD 000013ba: DUP3 000013bb: ADD 000013bc: CALLDATASIZE 000013bd: SUB 000013be: DUP5 000013bf: ADD 000013c0: SLT 000013c1: PUSH2 0x086d 000013c4: JUMPI 000013c5: PUSH1 0x40 000013c7: MLOAD 000013c8: SWAP3 000013c9: DUP4 000013ca: PUSH1 0xa0 000013cc: DUP2 000013cd: ADD 000013ce: LT 000013cf: PUSH1 0x01 000013d1: PUSH1 0x01 000013d3: PUSH1 0x40 000013d5: SHL 000013d6: SUB 000013d7: PUSH1 0xa0 000013d9: DUP7 000013da: ADD 000013db: GT 000013dc: OR 000013dd: PUSH2 0x1673 000013e0: JUMPI 000013e1: PUSH1 0x24 000013e3: DUP3 000013e4: PUSH1 0x04 000013e6: CALLDATALOAD 000013e7: ADD 000013e8: ADD 000013e9: CALLDATALOAD 000013ea: SWAP1 000013eb: PUSH1 0x01 000013ed: PUSH1 0x01 000013ef: PUSH1 0x40 000013f1: SHL 000013f2: SUB 000013f3: DUP3 000013f4: GT 000013f5: PUSH2 0x1320 000013f8: JUMPI 000013f9: PUSH1 0xc0 000013fb: SWAP1 000013fc: DUP3 000013fd: DUP5 000013fe: PUSH1 0x04 00001400: CALLDATALOAD 00001401: ADD 00001402: ADD 00001403: CALLDATASIZE 00001404: SUB 00001405: ADD 00001406: SLT 00001407: PUSH2 0x1621 0000140a: JUMPI 0000140b: PUSH1 0xa0 0000140d: DUP5 0000140e: ADD 0000140f: PUSH2 0x0160 00001412: DUP6 00001413: ADD 00001414: LT 00001415: PUSH1 0x01 00001417: PUSH1 0x01 00001419: PUSH1 0x40 0000141b: SHL 0000141c: SUB 0000141d: PUSH2 0x0160 00001420: DUP7 00001421: ADD 00001422: GT 00001423: OR 00001424: PUSH2 0x1673 00001427: JUMPI 00001428: PUSH2 0x0160 0000142b: DUP5 0000142c: ADD 0000142d: PUSH1 0x40 0000142f: MSTORE 00001430: PUSH1 0x04 00001432: CALLDATALOAD 00001433: DUP3 00001434: ADD 00001435: DUP2 00001436: ADD 00001437: PUSH1 0x24 00001439: ADD 0000143a: CALLDATALOAD 0000143b: PUSH1 0x01 0000143d: PUSH1 0x01 0000143f: PUSH1 0xa0 00001441: SHL 00001442: SUB 00001443: DUP2 00001444: AND 00001445: DUP2 00001446: SUB 00001447: PUSH2 0x1320 0000144a: JUMPI 0000144b: PUSH1 0xa0 0000144d: DUP6 0000144e: ADD 0000144f: MSTORE 00001450: PUSH2 0x1461 00001453: PUSH1 0x44 00001455: DUP3 00001456: DUP5 00001457: PUSH1 0x04 00001459: CALLDATALOAD 0000145a: ADD 0000145b: ADD 0000145c: ADD 0000145d: PUSH2 0x1a77 00001460: JUMP 00001461: JUMPDEST 00001462: PUSH1 0xc0 00001464: DUP6 00001465: ADD 00001466: MSTORE 00001467: PUSH1 0x04 00001469: CALLDATALOAD 0000146a: DUP3 0000146b: ADD 0000146c: DUP2 0000146d: ADD 0000146e: PUSH1 0x64 00001470: DUP2 00001471: ADD 00001472: CALLDATALOAD 00001473: PUSH1 0xe0 00001475: DUP7 00001476: ADD 00001477: MSTORE 00001478: PUSH1 0x84 0000147a: DUP2 0000147b: ADD 0000147c: CALLDATALOAD 0000147d: PUSH2 0x0100 00001480: DUP7 00001481: ADD 00001482: MSTORE 00001483: PUSH1 0xa4 00001485: ADD 00001486: CALLDATALOAD 00001487: PUSH1 0x01 00001489: PUSH1 0x01 0000148b: PUSH1 0xa0 0000148d: SHL 0000148e: SUB 0000148f: DUP2 00001490: AND 00001491: SWAP1 00001492: SUB 00001493: PUSH2 0x1621 00001496: JUMPI 00001497: PUSH1 0x04 00001499: CALLDATALOAD 0000149a: DUP3 0000149b: ADD 0000149c: DUP2 0000149d: ADD 0000149e: PUSH1 0xa4 000014a0: DUP2 000014a1: ADD 000014a2: CALLDATALOAD 000014a3: PUSH2 0x0120 000014a6: DUP7 000014a7: ADD 000014a8: MSTORE 000014a9: PUSH1 0x01 000014ab: PUSH1 0x01 000014ad: PUSH1 0x40 000014af: SHL 000014b0: SUB 000014b1: PUSH1 0xc4 000014b3: SWAP1 000014b4: SWAP2 000014b5: ADD 000014b6: CALLDATALOAD 000014b7: GT 000014b8: PUSH2 0x1621 000014bb: JUMPI 000014bc: PUSH2 0x14d5 000014bf: SWAP1 000014c0: CALLDATASIZE 000014c1: SWAP1 000014c2: PUSH1 0x04 000014c4: CALLDATALOAD 000014c5: DUP5 000014c6: ADD 000014c7: ADD 000014c8: PUSH1 0xc4 000014ca: DUP2 000014cb: ADD 000014cc: CALLDATALOAD 000014cd: ADD 000014ce: PUSH1 0x24 000014d0: ADD 000014d1: PUSH2 0x1b0c 000014d4: JUMP 000014d5: JUMPDEST 000014d6: PUSH2 0x0140 000014d9: DUP5 000014da: ADD 000014db: MSTORE 000014dc: PUSH1 0xa0 000014de: DUP4 000014df: ADD 000014e0: DUP4 000014e1: MSTORE 000014e2: PUSH1 0x60 000014e4: PUSH1 0x04 000014e6: CALLDATALOAD 000014e7: DUP3 000014e8: ADD 000014e9: CALLDATASIZE 000014ea: SUB 000014eb: PUSH1 0x43 000014ed: NOT 000014ee: ADD 000014ef: SLT 000014f0: PUSH2 0x086d 000014f3: JUMPI 000014f4: PUSH1 0x40 000014f6: MLOAD 000014f7: PUSH2 0x14ff 000014fa: DUP2 000014fb: PUSH2 0x19c2 000014fe: JUMP 000014ff: JUMPDEST 00001500: PUSH1 0x04 00001502: CALLDATALOAD 00001503: DUP3 00001504: ADD 00001505: PUSH1 0x44 00001507: ADD 00001508: CALLDATALOAD 00001509: PUSH1 0x01 0000150b: PUSH1 0x01 0000150d: PUSH1 0xa0 0000150f: SHL 00001510: SUB 00001511: DUP2 00001512: AND 00001513: SWAP1 00001514: SUB 00001515: PUSH2 0x1621 00001518: JUMPI 00001519: PUSH1 0x04 0000151b: CALLDATALOAD 0000151c: DUP3 0000151d: ADD 0000151e: PUSH1 0x44 00001520: DUP2 00001521: ADD 00001522: CALLDATALOAD 00001523: DUP3 00001524: MSTORE 00001525: PUSH1 0x64 00001527: DUP2 00001528: ADD 00001529: CALLDATALOAD 0000152a: PUSH1 0x20 0000152c: DUP1 0000152d: DUP5 0000152e: ADD 0000152f: SWAP2 00001530: SWAP1 00001531: SWAP2 00001532: MSTORE 00001533: PUSH1 0x84 00001535: DUP3 00001536: ADD 00001537: CALLDATALOAD 00001538: PUSH1 0x40 0000153a: DUP5 0000153b: ADD 0000153c: MSTORE 0000153d: DUP6 0000153e: ADD 0000153f: SWAP2 00001540: SWAP1 00001541: SWAP2 00001542: MSTORE 00001543: PUSH1 0xa4 00001545: ADD 00001546: CALLDATALOAD 00001547: PUSH1 0x01 00001549: PUSH1 0x01 0000154b: PUSH1 0x40 0000154d: SHL 0000154e: SUB 0000154f: DUP2 00001550: GT 00001551: PUSH2 0x1621 00001554: JUMPI 00001555: CALLDATASIZE 00001556: PUSH1 0x43 00001558: DUP3 00001559: DUP5 0000155a: PUSH1 0x04 0000155c: CALLDATALOAD 0000155d: ADD 0000155e: ADD 0000155f: ADD 00001560: SLT 00001561: ISZERO 00001562: PUSH2 0x1621 00001565: JUMPI 00001566: PUSH1 0x24 00001568: DUP2 00001569: DUP4 0000156a: PUSH1 0x04 0000156c: CALLDATALOAD 0000156d: ADD 0000156e: ADD 0000156f: ADD 00001570: CALLDATALOAD 00001571: SWAP1 00001572: PUSH2 0x157a 00001575: DUP3 00001576: PUSH2 0x1a2f 00001579: JUMP 0000157a: JUMPDEST 0000157b: SWAP2 0000157c: PUSH2 0x1588 0000157f: PUSH1 0x40 00001581: MLOAD 00001582: SWAP4 00001583: DUP5 00001584: PUSH2 0x1a0e 00001587: JUMP 00001588: JUMPDEST 00001589: DUP1 0000158a: DUP4 0000158b: MSTORE 0000158c: PUSH1 0x20 0000158e: DUP4 0000158f: ADD 00001590: SWAP2 00001591: CALLDATASIZE 00001592: PUSH1 0x44 00001594: PUSH1 0x60 00001596: DUP5 00001597: MUL 00001598: DUP4 00001599: DUP9 0000159a: PUSH1 0x04 0000159c: CALLDATALOAD 0000159d: ADD 0000159e: ADD 0000159f: ADD 000015a0: ADD 000015a1: GT 000015a2: PUSH2 0x131c 000015a5: JUMPI 000015a6: PUSH1 0x44 000015a8: DUP2 000015a9: DUP7 000015aa: PUSH1 0x04 000015ac: CALLDATALOAD 000015ad: ADD 000015ae: ADD 000015af: ADD 000015b0: SWAP3 000015b1: JUMPDEST 000015b2: PUSH1 0x44 000015b4: PUSH1 0x60 000015b6: DUP5 000015b7: MUL 000015b8: DUP4 000015b9: DUP9 000015ba: PUSH1 0x04 000015bc: CALLDATALOAD 000015bd: ADD 000015be: ADD 000015bf: ADD 000015c0: ADD 000015c1: DUP5 000015c2: LT 000015c3: PUSH2 0x1625 000015c6: JUMPI 000015c7: POP 000015c8: POP 000015c9: POP 000015ca: POP 000015cb: PUSH1 0x40 000015cd: DUP5 000015ce: ADD 000015cf: MSTORE 000015d0: PUSH1 0xc4 000015d2: DUP2 000015d3: PUSH1 0x04 000015d5: CALLDATALOAD 000015d6: ADD 000015d7: ADD 000015d8: CALLDATALOAD 000015d9: SWAP2 000015da: PUSH1 0x01 000015dc: PUSH1 0x01 000015de: PUSH1 0x40 000015e0: SHL 000015e1: SUB 000015e2: DUP4 000015e3: GT 000015e4: PUSH2 0x1621 000015e7: JUMPI 000015e8: PUSH1 0x24 000015ea: SWAP4 000015eb: PUSH1 0xe4 000015ed: PUSH1 0x20 000015ef: SWAP5 000015f0: SWAP4 000015f1: PUSH2 0x1604 000015f4: DUP7 000015f5: SWAP6 000015f6: DUP9 000015f7: CALLDATASIZE 000015f8: SWAP2 000015f9: DUP5 000015fa: PUSH1 0x04 000015fc: CALLDATALOAD 000015fd: ADD 000015fe: ADD 000015ff: ADD 00001600: PUSH2 0x1b0c 00001603: JUMP 00001604: JUMPDEST 00001605: PUSH1 0x60 00001607: DUP5 00001608: ADD 00001609: MSTORE 0000160a: PUSH1 0x04 0000160c: CALLDATALOAD 0000160d: ADD 0000160e: ADD 0000160f: CALLDATALOAD 00001610: PUSH1 0x80 00001612: DUP3 00001613: ADD 00001614: MSTORE 00001615: DUP2 00001616: MSTORE 00001617: ADD 00001618: SWAP4 00001619: ADD 0000161a: SWAP3 0000161b: SWAP1 0000161c: POP 0000161d: PUSH2 0x0b83 00001620: JUMP 00001621: JUMPDEST 00001622: DUP8 00001623: DUP1 00001624: REVERT 00001625: JUMPDEST 00001626: PUSH1 0x60 00001628: DUP5 00001629: CALLDATASIZE 0000162a: SUB 0000162b: SLT 0000162c: PUSH2 0x166f 0000162f: JUMPI 00001630: PUSH1 0x20 00001632: PUSH1 0x60 00001634: SWAP2 00001635: PUSH1 0x40 00001637: MLOAD 00001638: PUSH2 0x1640 0000163b: DUP2 0000163c: PUSH2 0x19c2 0000163f: JUMP 00001640: JUMPDEST 00001641: PUSH2 0x1649 00001644: DUP8 00001645: PUSH2 0x1a77 00001648: JUMP 00001649: JUMPDEST 0000164a: DUP2 0000164b: MSTORE 0000164c: DUP3 0000164d: DUP8 0000164e: ADD 0000164f: CALLDATALOAD 00001650: DUP4 00001651: DUP3 00001652: ADD 00001653: MSTORE 00001654: PUSH2 0x165f 00001657: PUSH1 0x40 00001659: DUP9 0000165a: ADD 0000165b: PUSH2 0x1a77 0000165e: JUMP 0000165f: JUMPDEST 00001660: PUSH1 0x40 00001662: DUP3 00001663: ADD 00001664: MSTORE 00001665: DUP2 00001666: MSTORE 00001667: ADD 00001668: SWAP4 00001669: ADD 0000166a: SWAP3 0000166b: PUSH2 0x15b1 0000166e: JUMP 0000166f: JUMPDEST 00001670: DUP12 00001671: DUP1 00001672: REVERT 00001673: JUMPDEST 00001674: PUSH4 0x4e487b71 00001679: PUSH1 0xe0 0000167b: SHL 0000167c: DUP9 0000167d: MSTORE 0000167e: PUSH1 0x41 00001680: PUSH1 0x04 00001682: MSTORE 00001683: PUSH1 0x24 00001685: DUP9 00001686: REVERT 00001687: JUMPDEST 00001688: DUP4 00001689: DUP1 0000168a: REVERT 0000168b: JUMPDEST 0000168c: POP 0000168d: CALLVALUE 0000168e: PUSH2 0x02b1 00001691: JUMPI 00001692: PUSH1 0x20 00001694: CALLDATASIZE 00001695: PUSH1 0x03 00001697: NOT 00001698: ADD 00001699: SLT 0000169a: PUSH2 0x02b1 0000169d: JUMPI 0000169e: PUSH1 0x20 000016a0: SWAP1 000016a1: PUSH1 0xff 000016a3: SWAP1 000016a4: PUSH1 0x40 000016a6: SWAP1 000016a7: PUSH1 0x01 000016a9: PUSH1 0x01 000016ab: PUSH1 0xa0 000016ad: SHL 000016ae: SUB 000016af: PUSH2 0x16b6 000016b2: PUSH2 0x1a46 000016b5: JUMP 000016b6: JUMPDEST 000016b7: AND 000016b8: DUP2 000016b9: MSTORE 000016ba: PUSH1 0x04 000016bc: DUP5 000016bd: MSTORE 000016be: KECCAK256 000016bf: SLOAD 000016c0: AND 000016c1: PUSH1 0x40 000016c3: MLOAD 000016c4: SWAP1 000016c5: ISZERO 000016c6: ISZERO 000016c7: DUP2 000016c8: MSTORE 000016c9: RETURN 000016ca: JUMPDEST 000016cb: POP 000016cc: CALLVALUE 000016cd: PUSH2 0x02b1 000016d0: JUMPI 000016d1: PUSH1 0x60 000016d3: CALLDATASIZE 000016d4: PUSH1 0x03 000016d6: NOT 000016d7: ADD 000016d8: SLT 000016d9: PUSH2 0x02b1 000016dc: JUMPI 000016dd: PUSH1 0x01 000016df: PUSH1 0x01 000016e1: PUSH1 0x40 000016e3: SHL 000016e4: SUB 000016e5: SWAP1 000016e6: PUSH1 0x04 000016e8: CALLDATALOAD 000016e9: DUP3 000016ea: DUP2 000016eb: GT 000016ec: PUSH2 0x0871 000016ef: JUMPI 000016f0: PUSH2 0x16fd 000016f3: SWAP1 000016f4: CALLDATASIZE 000016f5: SWAP1 000016f6: PUSH1 0x04 000016f8: ADD 000016f9: PUSH2 0x1a8b 000016fc: JUMP 000016fd: JUMPDEST 000016fe: PUSH1 0x24 00001700: CALLDATALOAD 00001701: SWAP3 00001702: DUP4 00001703: GT 00001704: PUSH2 0x0871 00001707: JUMPI 00001708: CALLDATASIZE 00001709: PUSH1 0x23 0000170b: DUP5 0000170c: ADD 0000170d: SLT 0000170e: ISZERO 0000170f: PUSH2 0x0871 00001712: JUMPI 00001713: DUP3 00001714: PUSH1 0x04 00001716: ADD 00001717: CALLDATALOAD 00001718: PUSH2 0x1720 0000171b: DUP2 0000171c: PUSH2 0x1a2f 0000171f: JUMP 00001720: JUMPDEST 00001721: SWAP4 00001722: PUSH2 0x172e 00001725: PUSH1 0x40 00001727: MLOAD 00001728: SWAP6 00001729: DUP7 0000172a: PUSH2 0x1a0e 0000172d: JUMP 0000172e: JUMPDEST 0000172f: DUP2 00001730: DUP6 00001731: MSTORE 00001732: PUSH1 0x20 00001734: SWAP2 00001735: PUSH1 0x24 00001737: DUP4 00001738: DUP8 00001739: ADD 0000173a: SWAP2 0000173b: PUSH1 0x05 0000173d: SHL 0000173e: DUP4 0000173f: ADD 00001740: ADD 00001741: SWAP2 00001742: CALLDATASIZE 00001743: DUP4 00001744: GT 00001745: PUSH2 0x1324 00001748: JUMPI 00001749: PUSH1 0x24 0000174b: ADD 0000174c: SWAP1 0000174d: JUMPDEST 0000174e: DUP3 0000174f: DUP3 00001750: LT 00001751: PUSH2 0x17f1 00001754: JUMPI 00001755: POP 00001756: POP 00001757: PUSH1 0x44 00001759: CALLDATALOAD 0000175a: SWAP3 0000175b: PUSH1 0x01 0000175d: PUSH1 0x01 0000175f: PUSH1 0xa0 00001761: SHL 00001762: SUB 00001763: SWAP3 00001764: POP 00001765: SWAP1 00001766: POP 00001767: DUP2 00001768: DUP4 00001769: AND 0000176a: DUP4 0000176b: SUB 0000176c: PUSH2 0x1687 0000176f: JUMPI 00001770: PUSH2 0x179c 00001773: DUP3 00001774: PUSH32 0x000000000000000000000000ce466fc694c971b95bb1193e494942e22197f759 00001795: AND 00001796: CALLER 00001797: EQ 00001798: PUSH2 0x1c6a 0000179b: JUMP 0000179c: JUMPDEST 0000179d: PUSH2 0x17aa 000017a0: PUSH1 0xff 000017a2: PUSH1 0x02 000017a4: SLOAD 000017a5: AND 000017a6: PUSH2 0x1c9b 000017a9: JUMP 000017aa: JUMPDEST 000017ab: PUSH2 0x17b7 000017ae: DUP2 000017af: MLOAD 000017b0: DUP7 000017b1: MLOAD 000017b2: EQ 000017b3: PUSH2 0x1ccd 000017b6: JUMP 000017b7: JUMPDEST 000017b8: DUP4 000017b9: JUMPDEST 000017ba: DUP2 000017bb: MLOAD 000017bc: DUP2 000017bd: LT 000017be: ISZERO 000017bf: PUSH2 0x17ed 000017c2: JUMPI 000017c3: DUP1 000017c4: PUSH2 0x0220 000017c7: DUP5 000017c8: PUSH2 0x17d4 000017cb: PUSH2 0x17e8 000017ce: SWAP5 000017cf: DUP7 000017d0: PUSH2 0x1d24 000017d3: JUMP 000017d4: JUMPDEST 000017d5: MLOAD 000017d6: AND 000017d7: DUP7 000017d8: PUSH2 0x17e1 000017db: DUP5 000017dc: DUP12 000017dd: PUSH2 0x1d24 000017e0: JUMP 000017e1: JUMPDEST 000017e2: MLOAD 000017e3: SWAP2 000017e4: PUSH2 0x1d4e 000017e7: JUMP 000017e8: JUMPDEST 000017e9: PUSH2 0x17b9 000017ec: JUMP 000017ed: JUMPDEST 000017ee: DUP5 000017ef: DUP1 000017f0: RETURN 000017f1: JUMPDEST 000017f2: DUP2 000017f3: CALLDATALOAD 000017f4: DUP2 000017f5: MSTORE 000017f6: SWAP1 000017f7: DUP4 000017f8: ADD 000017f9: SWAP1 000017fa: DUP4 000017fb: ADD 000017fc: PUSH2 0x174d 000017ff: JUMP 00001800: JUMPDEST 00001801: POP 00001802: CALLVALUE 00001803: PUSH2 0x02b1 00001806: JUMPI 00001807: DUP1 00001808: PUSH1 0x03 0000180a: NOT 0000180b: CALLDATASIZE 0000180c: ADD 0000180d: SLT 0000180e: PUSH2 0x02b1 00001811: JUMPI 00001812: PUSH1 0x20 00001814: PUSH1 0xff 00001816: PUSH1 0x02 00001818: SLOAD 00001819: AND 0000181a: PUSH1 0x40 0000181c: MLOAD 0000181d: SWAP1 0000181e: ISZERO 0000181f: ISZERO 00001820: DUP2 00001821: MSTORE 00001822: RETURN 00001823: JUMPDEST 00001824: POP 00001825: CALLVALUE 00001826: PUSH2 0x02b1 00001829: JUMPI 0000182a: DUP1 0000182b: PUSH1 0x03 0000182d: NOT 0000182e: CALLDATASIZE 0000182f: ADD 00001830: SLT 00001831: PUSH2 0x02b1 00001834: JUMPI 00001835: PUSH1 0x20 00001837: PUSH1 0x40 00001839: MLOAD 0000183a: PUSH32 0x7308a4bd9246119e9ff88a5449f5d1e91632f8238fb8370a067c003c8539f64b 0000185b: DUP2 0000185c: MSTORE 0000185d: RETURN 0000185e: JUMPDEST 0000185f: POP 00001860: CALLVALUE 00001861: PUSH2 0x02b1 00001864: JUMPI 00001865: DUP1 00001866: PUSH1 0x03 00001868: NOT 00001869: CALLDATASIZE 0000186a: ADD 0000186b: SLT 0000186c: PUSH2 0x02b1 0000186f: JUMPI 00001870: PUSH1 0x40 00001872: MLOAD 00001873: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 00001894: PUSH1 0x01 00001896: PUSH1 0x01 00001898: PUSH1 0xa0 0000189a: SHL 0000189b: SUB 0000189c: AND 0000189d: DUP2 0000189e: MSTORE 0000189f: PUSH1 0x20 000018a1: SWAP1 000018a2: RETURN 000018a3: JUMPDEST 000018a4: POP 000018a5: CALLVALUE 000018a6: PUSH2 0x02b1 000018a9: JUMPI 000018aa: DUP1 000018ab: PUSH1 0x03 000018ad: NOT 000018ae: CALLDATASIZE 000018af: ADD 000018b0: SLT 000018b1: PUSH2 0x02b1 000018b4: JUMPI 000018b5: PUSH1 0x40 000018b7: MLOAD 000018b8: PUSH32 0x0000000000000000000000007ff4ed8ab94c849b812622eb462682208be06b93 000018d9: PUSH1 0x01 000018db: PUSH1 0x01 000018dd: PUSH1 0xa0 000018df: SHL 000018e0: SUB 000018e1: AND 000018e2: DUP2 000018e3: MSTORE 000018e4: PUSH1 0x20 000018e6: SWAP1 000018e7: RETURN 000018e8: JUMPDEST 000018e9: POP 000018ea: CALLVALUE 000018eb: PUSH2 0x02b1 000018ee: JUMPI 000018ef: DUP1 000018f0: PUSH1 0x03 000018f2: NOT 000018f3: CALLDATASIZE 000018f4: ADD 000018f5: SLT 000018f6: PUSH2 0x02b1 000018f9: JUMPI 000018fa: CALLER 000018fb: DUP2 000018fc: MSTORE 000018fd: PUSH1 0x03 000018ff: PUSH1 0x20 00001901: MSTORE 00001902: PUSH1 0xff 00001904: PUSH1 0x40 00001906: DUP3 00001907: KECCAK256 00001908: SLOAD 00001909: AND 0000190a: DUP1 0000190b: ISZERO 0000190c: PUSH2 0x194d 0000190f: JUMPI 00001910: JUMPDEST 00001911: ISZERO 00001912: PUSH2 0x1922 00001915: JUMPI 00001916: PUSH1 0xff 00001918: NOT 00001919: PUSH1 0x02 0000191b: SLOAD 0000191c: AND 0000191d: PUSH1 0x02 0000191f: SSTORE 00001920: DUP1 00001921: RETURN 00001922: JUMPDEST 00001923: PUSH1 0x40 00001925: MLOAD 00001926: PUSH3 0x461bcd 0000192a: PUSH1 0xe5 0000192c: SHL 0000192d: DUP2 0000192e: MSTORE 0000192f: PUSH1 0x20 00001931: PUSH1 0x04 00001933: DUP3 00001934: ADD 00001935: MSTORE 00001936: PUSH1 0x03 00001938: PUSH1 0x24 0000193a: DUP3 0000193b: ADD 0000193c: MSTORE 0000193d: PUSH3 0x23189b 00001941: PUSH1 0xe9 00001943: SHL 00001944: PUSH1 0x44 00001946: DUP3 00001947: ADD 00001948: MSTORE 00001949: PUSH1 0x64 0000194b: SWAP1 0000194c: REVERT 0000194d: JUMPDEST 0000194e: POP 0000194f: CALLER 00001950: PUSH32 0x000000000000000000000000ce466fc694c971b95bb1193e494942e22197f759 00001971: PUSH1 0x01 00001973: PUSH1 0x01 00001975: PUSH1 0xa0 00001977: SHL 00001978: SUB 00001979: AND 0000197a: EQ 0000197b: PUSH2 0x1910 0000197e: JUMP 0000197f: JUMPDEST 00001980: SWAP1 00001981: POP 00001982: CALLVALUE 00001983: PUSH2 0x0871 00001986: JUMPI 00001987: DUP2 00001988: PUSH1 0x03 0000198a: NOT 0000198b: CALLDATASIZE 0000198c: ADD 0000198d: SLT 0000198e: PUSH2 0x0871 00001991: JUMPI 00001992: PUSH32 0x000000000000000000000000ce466fc694c971b95bb1193e494942e22197f759 000019b3: PUSH1 0x01 000019b5: PUSH1 0x01 000019b7: PUSH1 0xa0 000019b9: SHL 000019ba: SUB 000019bb: AND 000019bc: DUP2 000019bd: MSTORE 000019be: PUSH1 0x20 000019c0: SWAP1 000019c1: RETURN 000019c2: JUMPDEST 000019c3: PUSH1 0x60 000019c5: DUP2 000019c6: ADD 000019c7: SWAP1 000019c8: DUP2 000019c9: LT 000019ca: PUSH1 0x01 000019cc: PUSH1 0x01 000019ce: PUSH1 0x40 000019d0: SHL 000019d1: SUB 000019d2: DUP3 000019d3: GT 000019d4: OR 000019d5: PUSH2 0x19dd 000019d8: JUMPI 000019d9: PUSH1 0x40 000019db: MSTORE 000019dc: JUMP 000019dd: JUMPDEST 000019de: PUSH4 0x4e487b71 000019e3: PUSH1 0xe0 000019e5: SHL 000019e6: PUSH1 0x00 000019e8: MSTORE 000019e9: PUSH1 0x41 000019eb: PUSH1 0x04 000019ed: MSTORE 000019ee: PUSH1 0x24 000019f0: PUSH1 0x00 000019f2: REVERT 000019f3: JUMPDEST 000019f4: PUSH1 0x80 000019f6: DUP2 000019f7: ADD 000019f8: SWAP1 000019f9: DUP2 000019fa: LT 000019fb: PUSH1 0x01 000019fd: PUSH1 0x01 000019ff: PUSH1 0x40 00001a01: SHL 00001a02: SUB 00001a03: DUP3 00001a04: GT 00001a05: OR 00001a06: PUSH2 0x19dd 00001a09: JUMPI 00001a0a: PUSH1 0x40 00001a0c: MSTORE 00001a0d: JUMP 00001a0e: JUMPDEST 00001a0f: SWAP1 00001a10: PUSH1 0x1f 00001a12: DUP1 00001a13: NOT 00001a14: SWAP2 00001a15: ADD 00001a16: AND 00001a17: DUP2 00001a18: ADD 00001a19: SWAP1 00001a1a: DUP2 00001a1b: LT 00001a1c: PUSH1 0x01 00001a1e: PUSH1 0x01 00001a20: PUSH1 0x40 00001a22: SHL 00001a23: SUB 00001a24: DUP3 00001a25: GT 00001a26: OR 00001a27: PUSH2 0x19dd 00001a2a: JUMPI 00001a2b: PUSH1 0x40 00001a2d: MSTORE 00001a2e: JUMP 00001a2f: JUMPDEST 00001a30: PUSH1 0x01 00001a32: PUSH1 0x01 00001a34: PUSH1 0x40 00001a36: SHL 00001a37: SUB 00001a38: DUP2 00001a39: GT 00001a3a: PUSH2 0x19dd 00001a3d: JUMPI 00001a3e: PUSH1 0x05 00001a40: SHL 00001a41: PUSH1 0x20 00001a43: ADD 00001a44: SWAP1 00001a45: JUMP 00001a46: JUMPDEST 00001a47: PUSH1 0x04 00001a49: CALLDATALOAD 00001a4a: SWAP1 00001a4b: PUSH1 0x01 00001a4d: PUSH1 0x01 00001a4f: PUSH1 0xa0 00001a51: SHL 00001a52: SUB 00001a53: DUP3 00001a54: AND 00001a55: DUP3 00001a56: SUB 00001a57: PUSH2 0x1a5c 00001a5a: JUMPI 00001a5b: JUMP 00001a5c: JUMPDEST 00001a5d: PUSH1 0x00 00001a5f: DUP1 00001a60: REVERT 00001a61: JUMPDEST 00001a62: PUSH1 0x24 00001a64: CALLDATALOAD 00001a65: SWAP1 00001a66: PUSH1 0x01 00001a68: PUSH1 0x01 00001a6a: PUSH1 0xa0 00001a6c: SHL 00001a6d: SUB 00001a6e: DUP3 00001a6f: AND 00001a70: DUP3 00001a71: SUB 00001a72: PUSH2 0x1a5c 00001a75: JUMPI 00001a76: JUMP 00001a77: JUMPDEST 00001a78: CALLDATALOAD 00001a79: SWAP1 00001a7a: PUSH1 0x01 00001a7c: PUSH1 0x01 00001a7e: PUSH1 0xa0 00001a80: SHL 00001a81: SUB 00001a82: DUP3 00001a83: AND 00001a84: DUP3 00001a85: SUB 00001a86: PUSH2 0x1a5c 00001a89: JUMPI 00001a8a: JUMP 00001a8b: JUMPDEST 00001a8c: DUP2 00001a8d: PUSH1 0x1f 00001a8f: DUP3 00001a90: ADD 00001a91: SLT 00001a92: ISZERO 00001a93: PUSH2 0x1a5c 00001a96: JUMPI 00001a97: DUP1 00001a98: CALLDATALOAD 00001a99: SWAP2 00001a9a: PUSH2 0x1aa2 00001a9d: DUP4 00001a9e: PUSH2 0x1a2f 00001aa1: JUMP 00001aa2: JUMPDEST 00001aa3: SWAP3 00001aa4: PUSH2 0x1ab0 00001aa7: PUSH1 0x40 00001aa9: MLOAD 00001aaa: SWAP5 00001aab: DUP6 00001aac: PUSH2 0x1a0e 00001aaf: JUMP 00001ab0: JUMPDEST 00001ab1: DUP1 00001ab2: DUP5 00001ab3: MSTORE 00001ab4: PUSH1 0x20 00001ab6: SWAP3 00001ab7: DUP4 00001ab8: DUP1 00001ab9: DUP7 00001aba: ADD 00001abb: SWAP3 00001abc: PUSH1 0x05 00001abe: SHL 00001abf: DUP3 00001ac0: ADD 00001ac1: ADD 00001ac2: SWAP3 00001ac3: DUP4 00001ac4: GT 00001ac5: PUSH2 0x1a5c 00001ac8: JUMPI 00001ac9: DUP4 00001aca: ADD 00001acb: SWAP1 00001acc: JUMPDEST 00001acd: DUP3 00001ace: DUP3 00001acf: LT 00001ad0: PUSH2 0x1ada 00001ad3: JUMPI 00001ad4: POP 00001ad5: POP 00001ad6: POP 00001ad7: POP 00001ad8: SWAP1 00001ad9: JUMP 00001ada: JUMPDEST 00001adb: DUP4 00001adc: DUP1 00001add: SWAP2 00001ade: PUSH2 0x1ae6 00001ae1: DUP5 00001ae2: PUSH2 0x1a77 00001ae5: JUMP 00001ae6: JUMPDEST 00001ae7: DUP2 00001ae8: MSTORE 00001ae9: ADD 00001aea: SWAP2 00001aeb: ADD 00001aec: SWAP1 00001aed: PUSH2 0x1acc 00001af0: JUMP 00001af1: JUMPDEST 00001af2: PUSH1 0x01 00001af4: PUSH1 0x01 00001af6: PUSH1 0x40 00001af8: SHL 00001af9: SUB 00001afa: DUP2 00001afb: GT 00001afc: PUSH2 0x19dd 00001aff: JUMPI 00001b00: PUSH1 0x1f 00001b02: ADD 00001b03: PUSH1 0x1f 00001b05: NOT 00001b06: AND 00001b07: PUSH1 0x20 00001b09: ADD 00001b0a: SWAP1 00001b0b: JUMP 00001b0c: JUMPDEST 00001b0d: DUP2 00001b0e: PUSH1 0x1f 00001b10: DUP3 00001b11: ADD 00001b12: SLT 00001b13: ISZERO 00001b14: PUSH2 0x1a5c 00001b17: JUMPI 00001b18: DUP1 00001b19: CALLDATALOAD 00001b1a: SWAP1 00001b1b: PUSH2 0x1b23 00001b1e: DUP3 00001b1f: PUSH2 0x1af1 00001b22: JUMP 00001b23: JUMPDEST 00001b24: SWAP3 00001b25: PUSH2 0x1b31 00001b28: PUSH1 0x40 00001b2a: MLOAD 00001b2b: SWAP5 00001b2c: DUP6 00001b2d: PUSH2 0x1a0e 00001b30: JUMP 00001b31: JUMPDEST 00001b32: DUP3 00001b33: DUP5 00001b34: MSTORE 00001b35: PUSH1 0x20 00001b37: DUP4 00001b38: DUP4 00001b39: ADD 00001b3a: ADD 00001b3b: GT 00001b3c: PUSH2 0x1a5c 00001b3f: JUMPI 00001b40: DUP2 00001b41: PUSH1 0x00 00001b43: SWAP3 00001b44: PUSH1 0x20 00001b46: DUP1 00001b47: SWAP4 00001b48: ADD 00001b49: DUP4 00001b4a: DUP7 00001b4b: ADD 00001b4c: CALLDATACOPY 00001b4d: DUP4 00001b4e: ADD 00001b4f: ADD 00001b50: MSTORE 00001b51: SWAP1 00001b52: JUMP 00001b53: JUMPDEST 00001b54: PUSH1 0x60 00001b56: PUSH1 0x03 00001b58: NOT 00001b59: DUP3 00001b5a: ADD 00001b5b: SLT 00001b5c: PUSH2 0x1a5c 00001b5f: JUMPI 00001b60: PUSH1 0x04 00001b62: CALLDATALOAD 00001b63: SWAP2 00001b64: PUSH1 0x24 00001b66: CALLDATALOAD 00001b67: PUSH1 0x01 00001b69: PUSH1 0x01 00001b6b: PUSH1 0xa0 00001b6d: SHL 00001b6e: SUB 00001b6f: DUP2 00001b70: AND 00001b71: DUP2 00001b72: SUB 00001b73: PUSH2 0x1a5c 00001b76: JUMPI 00001b77: SWAP2 00001b78: PUSH1 0x44 00001b7a: CALLDATALOAD 00001b7b: SWAP1 00001b7c: PUSH1 0x01 00001b7e: PUSH1 0x01 00001b80: PUSH1 0x40 00001b82: SHL 00001b83: SUB 00001b84: DUP3 00001b85: GT 00001b86: PUSH2 0x1a5c 00001b89: JUMPI 00001b8a: PUSH2 0x1b95 00001b8d: SWAP2 00001b8e: PUSH1 0x04 00001b90: ADD 00001b91: PUSH2 0x1b0c 00001b94: JUMP 00001b95: JUMPDEST 00001b96: SWAP1 00001b97: JUMP 00001b98: JUMPDEST 00001b99: SWAP1 00001b9a: PUSH1 0x40 00001b9c: PUSH1 0x03 00001b9e: NOT 00001b9f: DUP4 00001ba0: ADD 00001ba1: SLT 00001ba2: PUSH2 0x1a5c 00001ba5: JUMPI 00001ba6: PUSH1 0x04 00001ba8: CALLDATALOAD 00001ba9: PUSH1 0x01 00001bab: PUSH1 0x01 00001bad: PUSH1 0xa0 00001baf: SHL 00001bb0: SUB 00001bb1: DUP2 00001bb2: AND 00001bb3: DUP2 00001bb4: SUB 00001bb5: PUSH2 0x1a5c 00001bb8: JUMPI 00001bb9: SWAP2 00001bba: PUSH1 0x24 00001bbc: CALLDATALOAD 00001bbd: SWAP1 00001bbe: PUSH1 0x01 00001bc0: PUSH1 0x01 00001bc2: PUSH1 0x40 00001bc4: SHL 00001bc5: SUB 00001bc6: DUP3 00001bc7: GT 00001bc8: PUSH2 0x1a5c 00001bcb: JUMPI 00001bcc: PUSH2 0x1b95 00001bcf: SWAP2 00001bd0: PUSH1 0x04 00001bd2: ADD 00001bd3: PUSH2 0x1a8b 00001bd6: JUMP 00001bd7: JUMPDEST 00001bd8: ISZERO 00001bd9: PUSH2 0x1bde 00001bdc: JUMPI 00001bdd: JUMP 00001bde: JUMPDEST 00001bdf: PUSH1 0x40 00001be1: MLOAD 00001be2: PUSH3 0x461bcd 00001be6: PUSH1 0xe5 00001be8: SHL 00001be9: DUP2 00001bea: MSTORE 00001beb: PUSH1 0x20 00001bed: PUSH1 0x04 00001bef: DUP3 00001bf0: ADD 00001bf1: MSTORE 00001bf2: PUSH1 0x02 00001bf4: PUSH1 0x24 00001bf6: DUP3 00001bf7: ADD 00001bf8: MSTORE 00001bf9: PUSH2 0x2319 00001bfc: PUSH1 0xf1 00001bfe: SHL 00001bff: PUSH1 0x44 00001c01: DUP3 00001c02: ADD 00001c03: MSTORE 00001c04: PUSH1 0x64 00001c06: SWAP1 00001c07: REVERT 00001c08: JUMPDEST 00001c09: ISZERO 00001c0a: PUSH2 0x1c0f 00001c0d: JUMPI 00001c0e: JUMP 00001c0f: JUMPDEST 00001c10: PUSH1 0x40 00001c12: MLOAD 00001c13: PUSH3 0x461bcd 00001c17: PUSH1 0xe5 00001c19: SHL 00001c1a: DUP2 00001c1b: MSTORE 00001c1c: PUSH1 0x20 00001c1e: PUSH1 0x04 00001c20: DUP3 00001c21: ADD 00001c22: MSTORE 00001c23: PUSH1 0x02 00001c25: PUSH1 0x24 00001c27: DUP3 00001c28: ADD 00001c29: MSTORE 00001c2a: PUSH2 0x4635 00001c2d: PUSH1 0xf0 00001c2f: SHL 00001c30: PUSH1 0x44 00001c32: DUP3 00001c33: ADD 00001c34: MSTORE 00001c35: PUSH1 0x64 00001c37: SWAP1 00001c38: REVERT 00001c39: JUMPDEST 00001c3a: ISZERO 00001c3b: PUSH2 0x1c40 00001c3e: JUMPI 00001c3f: JUMP 00001c40: JUMPDEST 00001c41: PUSH1 0x40 00001c43: MLOAD 00001c44: PUSH3 0x461bcd 00001c48: PUSH1 0xe5 00001c4a: SHL 00001c4b: DUP2 00001c4c: MSTORE 00001c4d: PUSH1 0x20 00001c4f: PUSH1 0x04 00001c51: DUP3 00001c52: ADD 00001c53: MSTORE 00001c54: PUSH1 0x02 00001c56: PUSH1 0x24 00001c58: DUP3 00001c59: ADD 00001c5a: MSTORE 00001c5b: PUSH2 0x231b 00001c5e: PUSH1 0xf1 00001c60: SHL 00001c61: PUSH1 0x44 00001c63: DUP3 00001c64: ADD 00001c65: MSTORE 00001c66: PUSH1 0x64 00001c68: SWAP1 00001c69: REVERT 00001c6a: JUMPDEST 00001c6b: ISZERO 00001c6c: PUSH2 0x1c71 00001c6f: JUMPI 00001c70: JUMP 00001c71: JUMPDEST 00001c72: PUSH1 0x40 00001c74: MLOAD 00001c75: PUSH3 0x461bcd 00001c79: PUSH1 0xe5 00001c7b: SHL 00001c7c: DUP2 00001c7d: MSTORE 00001c7e: PUSH1 0x20 00001c80: PUSH1 0x04 00001c82: DUP3 00001c83: ADD 00001c84: MSTORE 00001c85: PUSH1 0x02 00001c87: PUSH1 0x24 00001c89: DUP3 00001c8a: ADD 00001c8b: MSTORE 00001c8c: PUSH2 0x4631 00001c8f: PUSH1 0xf0 00001c91: SHL 00001c92: PUSH1 0x44 00001c94: DUP3 00001c95: ADD 00001c96: MSTORE 00001c97: PUSH1 0x64 00001c99: SWAP1 00001c9a: REVERT 00001c9b: JUMPDEST 00001c9c: ISZERO 00001c9d: PUSH2 0x1ca2 00001ca0: JUMPI 00001ca1: JUMP 00001ca2: JUMPDEST 00001ca3: PUSH1 0x40 00001ca5: MLOAD 00001ca6: PUSH3 0x461bcd 00001caa: PUSH1 0xe5 00001cac: SHL 00001cad: DUP2 00001cae: MSTORE 00001caf: PUSH1 0x20 00001cb1: PUSH1 0x04 00001cb3: DUP3 00001cb4: ADD 00001cb5: MSTORE 00001cb6: PUSH1 0x03 00001cb8: PUSH1 0x24 00001cba: DUP3 00001cbb: ADD 00001cbc: MSTORE 00001cbd: PUSH3 0x463135 00001cc1: PUSH1 0xe8 00001cc3: SHL 00001cc4: PUSH1 0x44 00001cc6: DUP3 00001cc7: ADD 00001cc8: MSTORE 00001cc9: PUSH1 0x64 00001ccb: SWAP1 00001ccc: REVERT 00001ccd: JUMPDEST 00001cce: ISZERO 00001ccf: PUSH2 0x1cd4 00001cd2: JUMPI 00001cd3: JUMP 00001cd4: JUMPDEST 00001cd5: PUSH1 0x40 00001cd7: MLOAD 00001cd8: PUSH3 0x461bcd 00001cdc: PUSH1 0xe5 00001cde: SHL 00001cdf: DUP2 00001ce0: MSTORE 00001ce1: PUSH1 0x20 00001ce3: PUSH1 0x04 00001ce5: DUP3 00001ce6: ADD 00001ce7: MSTORE 00001ce8: PUSH1 0x03 00001cea: PUSH1 0x24 00001cec: DUP3 00001ced: ADD 00001cee: MSTORE 00001cef: PUSH3 0x463939 00001cf3: PUSH1 0xe8 00001cf5: SHL 00001cf6: PUSH1 0x44 00001cf8: DUP3 00001cf9: ADD 00001cfa: MSTORE 00001cfb: PUSH1 0x64 00001cfd: SWAP1 00001cfe: REVERT 00001cff: JUMPDEST 00001d00: PUSH1 0x00 00001d02: NOT 00001d03: DUP2 00001d04: EQ 00001d05: PUSH2 0x1d0e 00001d08: JUMPI 00001d09: PUSH1 0x01 00001d0b: ADD 00001d0c: SWAP1 00001d0d: JUMP 00001d0e: JUMPDEST 00001d0f: PUSH4 0x4e487b71 00001d14: PUSH1 0xe0 00001d16: SHL 00001d17: PUSH1 0x00 00001d19: MSTORE 00001d1a: PUSH1 0x11 00001d1c: PUSH1 0x04 00001d1e: MSTORE 00001d1f: PUSH1 0x24 00001d21: PUSH1 0x00 00001d23: REVERT 00001d24: JUMPDEST 00001d25: DUP1 00001d26: MLOAD 00001d27: DUP3 00001d28: LT 00001d29: ISZERO 00001d2a: PUSH2 0x1d38 00001d2d: JUMPI 00001d2e: PUSH1 0x20 00001d30: SWAP2 00001d31: PUSH1 0x05 00001d33: SHL 00001d34: ADD 00001d35: ADD 00001d36: SWAP1 00001d37: JUMP 00001d38: JUMPDEST 00001d39: PUSH4 0x4e487b71 00001d3e: PUSH1 0xe0 00001d40: SHL 00001d41: PUSH1 0x00 00001d43: MSTORE 00001d44: PUSH1 0x32 00001d46: PUSH1 0x04 00001d48: MSTORE 00001d49: PUSH1 0x24 00001d4b: PUSH1 0x00 00001d4d: REVERT 00001d4e: JUMPDEST 00001d4f: PUSH1 0x40 00001d51: MLOAD 00001d52: PUSH4 0xa9059cbb 00001d57: PUSH1 0xe0 00001d59: SHL 00001d5a: PUSH1 0x20 00001d5c: DUP3 00001d5d: ADD 00001d5e: MSTORE 00001d5f: PUSH1 0x01 00001d61: PUSH1 0x01 00001d63: PUSH1 0xa0 00001d65: SHL 00001d66: SUB 00001d67: SWAP1 00001d68: SWAP3 00001d69: AND 00001d6a: PUSH1 0x24 00001d6c: DUP4 00001d6d: ADD 00001d6e: MSTORE 00001d6f: PUSH1 0x44 00001d71: DUP1 00001d72: DUP4 00001d73: ADD 00001d74: SWAP4 00001d75: SWAP1 00001d76: SWAP4 00001d77: MSTORE 00001d78: SWAP2 00001d79: DUP2 00001d7a: MSTORE 00001d7b: PUSH2 0x1d87 00001d7e: SWAP2 00001d7f: PUSH2 0x021b 00001d82: DUP3 00001d83: PUSH2 0x19f3 00001d86: JUMP 00001d87: JUMPDEST 00001d88: JUMP 00001d89: JUMPDEST 00001d8a: PUSH1 0x01 00001d8c: DUP1 00001d8d: PUSH1 0xa0 00001d8f: SHL 00001d90: SUB 00001d91: AND 00001d92: SWAP1 00001d93: PUSH1 0x40 00001d95: MLOAD 00001d96: PUSH1 0x40 00001d98: DUP2 00001d99: ADD 00001d9a: DUP2 00001d9b: DUP2 00001d9c: LT 00001d9d: PUSH1 0x01 00001d9f: PUSH1 0x01 00001da1: PUSH1 0x40 00001da3: SHL 00001da4: SUB 00001da5: DUP3 00001da6: GT 00001da7: OR 00001da8: PUSH2 0x19dd 00001dab: JUMPI 00001dac: PUSH1 0x40 00001dae: MSTORE 00001daf: PUSH1 0x20 00001db1: SWAP3 00001db2: DUP4 00001db3: DUP3 00001db4: MSTORE 00001db5: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 00001dd6: DUP5 00001dd7: DUP4 00001dd8: ADD 00001dd9: MSTORE 00001dda: DUP1 00001ddb: EXTCODESIZE 00001ddc: ISZERO 00001ddd: PUSH2 0x1e8e 00001de0: JUMPI 00001de1: SWAP1 00001de2: PUSH2 0x1e03 00001de5: SWAP2 00001de6: PUSH1 0x00 00001de8: DUP5 00001de9: DUP2 00001dea: SWAP6 00001deb: SWAP3 00001dec: DUP3 00001ded: DUP9 00001dee: DUP2 00001def: SWAP6 00001df0: MLOAD 00001df1: SWAP4 00001df2: ADD 00001df3: SWAP2 00001df4: GAS 00001df5: CALL 00001df6: PUSH2 0x1dfd 00001df9: PUSH2 0x1ed3 00001dfc: JUMP 00001dfd: JUMPDEST 00001dfe: SWAP1 00001dff: PUSH2 0x1f03 00001e02: JUMP 00001e03: JUMPDEST 00001e04: DUP1 00001e05: MLOAD 00001e06: DUP1 00001e07: PUSH2 0x1e11 00001e0a: JUMPI 00001e0b: JUMPDEST 00001e0c: POP 00001e0d: POP 00001e0e: POP 00001e0f: POP 00001e10: JUMP 00001e11: JUMPDEST 00001e12: DUP2 00001e13: DUP5 00001e14: SWAP2 00001e15: DUP2 00001e16: ADD 00001e17: SUB 00001e18: SLT 00001e19: PUSH2 0x0871 00001e1c: JUMPI 00001e1d: DUP3 00001e1e: ADD 00001e1f: MLOAD 00001e20: SWAP1 00001e21: DUP2 00001e22: ISZERO 00001e23: SWAP2 00001e24: DUP3 00001e25: ISZERO 00001e26: SUB 00001e27: PUSH2 0x02b1 00001e2a: JUMPI 00001e2b: POP 00001e2c: PUSH2 0x1e37 00001e2f: JUMPI 00001e30: DUP1 00001e31: DUP1 00001e32: DUP1 00001e33: PUSH2 0x1e0b 00001e36: JUMP 00001e37: JUMPDEST 00001e38: PUSH1 0x84 00001e3a: SWAP1 00001e3b: PUSH1 0x40 00001e3d: MLOAD 00001e3e: SWAP1 00001e3f: PUSH3 0x461bcd 00001e43: PUSH1 0xe5 00001e45: SHL 00001e46: DUP3 00001e47: MSTORE 00001e48: PUSH1 0x04 00001e4a: DUP3 00001e4b: ADD 00001e4c: MSTORE 00001e4d: PUSH1 0x2a 00001e4f: PUSH1 0x24 00001e51: DUP3 00001e52: ADD 00001e53: MSTORE 00001e54: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e 00001e75: PUSH1 0x44 00001e77: DUP3 00001e78: ADD 00001e79: MSTORE 00001e7a: PUSH10 0x1bdd081cdd58d8d95959 00001e85: PUSH1 0xb2 00001e87: SHL 00001e88: PUSH1 0x64 00001e8a: DUP3 00001e8b: ADD 00001e8c: MSTORE 00001e8d: REVERT 00001e8e: JUMPDEST 00001e8f: PUSH1 0x40 00001e91: MLOAD 00001e92: PUSH3 0x461bcd 00001e96: PUSH1 0xe5 00001e98: SHL 00001e99: DUP2 00001e9a: MSTORE 00001e9b: PUSH1 0x04 00001e9d: DUP2 00001e9e: ADD 00001e9f: DUP6 00001ea0: SWAP1 00001ea1: MSTORE 00001ea2: PUSH1 0x1d 00001ea4: PUSH1 0x24 00001ea6: DUP3 00001ea7: ADD 00001ea8: MSTORE 00001ea9: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 00001eca: PUSH1 0x44 00001ecc: DUP3 00001ecd: ADD 00001ece: MSTORE 00001ecf: PUSH1 0x64 00001ed1: SWAP1 00001ed2: REVERT 00001ed3: JUMPDEST 00001ed4: RETURNDATASIZE 00001ed5: ISZERO 00001ed6: PUSH2 0x1efe 00001ed9: JUMPI 00001eda: RETURNDATASIZE 00001edb: SWAP1 00001edc: PUSH2 0x1ee4 00001edf: DUP3 00001ee0: PUSH2 0x1af1 00001ee3: JUMP 00001ee4: JUMPDEST 00001ee5: SWAP2 00001ee6: PUSH2 0x1ef2 00001ee9: PUSH1 0x40 00001eeb: MLOAD 00001eec: SWAP4 00001eed: DUP5 00001eee: PUSH2 0x1a0e 00001ef1: JUMP 00001ef2: JUMPDEST 00001ef3: DUP3 00001ef4: MSTORE 00001ef5: RETURNDATASIZE 00001ef6: PUSH1 0x00 00001ef8: PUSH1 0x20 00001efa: DUP5 00001efb: ADD 00001efc: RETURNDATACOPY 00001efd: JUMP 00001efe: JUMPDEST 00001eff: PUSH1 0x60 00001f01: SWAP1 00001f02: JUMP 00001f03: JUMPDEST 00001f04: SWAP1 00001f05: SWAP2 00001f06: SWAP1 00001f07: ISZERO 00001f08: PUSH2 0x1f0f 00001f0b: JUMPI 00001f0c: POP 00001f0d: SWAP1 00001f0e: JUMP 00001f0f: JUMPDEST 00001f10: DUP2 00001f11: MLOAD 00001f12: ISZERO 00001f13: PUSH2 0x1f1f 00001f16: JUMPI 00001f17: POP 00001f18: DUP1 00001f19: MLOAD 00001f1a: SWAP1 00001f1b: PUSH1 0x20 00001f1d: ADD 00001f1e: REVERT 00001f1f: JUMPDEST 00001f20: PUSH1 0x40 00001f22: MLOAD 00001f23: SWAP1 00001f24: PUSH3 0x461bcd 00001f28: PUSH1 0xe5 00001f2a: SHL 00001f2b: DUP3 00001f2c: MSTORE 00001f2d: DUP2 00001f2e: PUSH1 0x20 00001f30: DUP1 00001f31: PUSH1 0x04 00001f33: DUP4 00001f34: ADD 00001f35: MSTORE 00001f36: DUP3 00001f37: MLOAD 00001f38: SWAP1 00001f39: DUP2 00001f3a: PUSH1 0x24 00001f3c: DUP5 00001f3d: ADD 00001f3e: MSTORE 00001f3f: PUSH1 0x00 00001f41: SWAP4 00001f42: JUMPDEST 00001f43: DUP3 00001f44: DUP6 00001f45: LT 00001f46: PUSH2 0x1f65 00001f49: JUMPI 00001f4a: POP 00001f4b: POP 00001f4c: PUSH1 0x44 00001f4e: SWAP3 00001f4f: POP 00001f50: PUSH1 0x00 00001f52: DUP4 00001f53: DUP3 00001f54: DUP5 00001f55: ADD 00001f56: ADD 00001f57: MSTORE 00001f58: PUSH1 0x1f 00001f5a: DUP1 00001f5b: NOT 00001f5c: SWAP2 00001f5d: ADD 00001f5e: AND 00001f5f: DUP2 00001f60: ADD 00001f61: SUB 00001f62: ADD 00001f63: SWAP1 00001f64: REVERT 00001f65: JUMPDEST 00001f66: DUP5 00001f67: DUP2 00001f68: ADD 00001f69: DUP3 00001f6a: ADD 00001f6b: MLOAD 00001f6c: DUP7 00001f6d: DUP7 00001f6e: ADD 00001f6f: PUSH1 0x44 00001f71: ADD 00001f72: MSTORE 00001f73: SWAP4 00001f74: DUP2 00001f75: ADD 00001f76: SWAP4 00001f77: DUP6 00001f78: SWAP4 00001f79: POP 00001f7a: PUSH2 0x1f42 00001f7d: JUMP 00001f7e: JUMPDEST 00001f7f: ISZERO 00001f80: PUSH2 0x1f85 00001f83: JUMPI 00001f84: JUMP 00001f85: JUMPDEST 00001f86: PUSH1 0x40 00001f88: MLOAD 00001f89: PUSH3 0x461bcd 00001f8d: PUSH1 0xe5 00001f8f: SHL 00001f90: DUP2 00001f91: MSTORE 00001f92: PUSH1 0x20 00001f94: PUSH1 0x04 00001f96: DUP3 00001f97: ADD 00001f98: MSTORE 00001f99: PUSH1 0x02 00001f9b: PUSH1 0x24 00001f9d: DUP3 00001f9e: ADD 00001f9f: MSTORE 00001fa0: PUSH2 0x4639 00001fa3: PUSH1 0xf0 00001fa5: SHL 00001fa6: PUSH1 0x44 00001fa8: DUP3 00001fa9: ADD 00001faa: MSTORE 00001fab: PUSH1 0x64 00001fad: SWAP1 00001fae: REVERT 00001faf: JUMPDEST 00001fb0: ISZERO 00001fb1: PUSH2 0x1fb6 00001fb4: JUMPI 00001fb5: JUMP 00001fb6: JUMPDEST 00001fb7: PUSH1 0x40 00001fb9: MLOAD 00001fba: PUSH3 0x461bcd 00001fbe: PUSH1 0xe5 00001fc0: SHL 00001fc1: DUP2 00001fc2: MSTORE 00001fc3: PUSH1 0x20 00001fc5: PUSH1 0x04 00001fc7: DUP3 00001fc8: ADD 00001fc9: MSTORE 00001fca: PUSH1 0x02 00001fcc: PUSH1 0x24 00001fce: DUP3 00001fcf: ADD 00001fd0: MSTORE 00001fd1: PUSH2 0x118d 00001fd4: PUSH1 0xf2 00001fd6: SHL 00001fd7: PUSH1 0x44 00001fd9: DUP3 00001fda: ADD 00001fdb: MSTORE 00001fdc: PUSH1 0x64 00001fde: SWAP1 00001fdf: REVERT 00001fe0: JUMPDEST 00001fe1: ISZERO 00001fe2: PUSH2 0x1fe7 00001fe5: JUMPI 00001fe6: JUMP 00001fe7: JUMPDEST 00001fe8: PUSH1 0x40 00001fea: MLOAD 00001feb: PUSH3 0x461bcd 00001fef: PUSH1 0xe5 00001ff1: SHL 00001ff2: DUP2 00001ff3: MSTORE 00001ff4: PUSH1 0x20 00001ff6: PUSH1 0x04 00001ff8: DUP3 00001ff9: ADD 00001ffa: MSTORE 00001ffb: PUSH1 0x02 00001ffd: PUSH1 0x24 00001fff: DUP3 00002000: ADD 00002001: MSTORE 00002002: PUSH2 0x4637 00002005: PUSH1 0xf0 00002007: SHL 00002008: PUSH1 0x44 0000200a: DUP3 0000200b: ADD 0000200c: MSTORE 0000200d: PUSH1 0x64 0000200f: SWAP1 00002010: REVERT 00002011: JUMPDEST 00002012: SWAP1 00002013: CALLDATALOAD 00002014: PUSH1 0x1e 00002016: NOT 00002017: DUP3 00002018: CALLDATASIZE 00002019: SUB 0000201a: ADD 0000201b: DUP2 0000201c: SLT 0000201d: ISZERO 0000201e: PUSH2 0x1a5c 00002021: JUMPI 00002022: ADD 00002023: PUSH1 0x20 00002025: DUP2 00002026: CALLDATALOAD 00002027: SWAP2 00002028: ADD 00002029: SWAP2 0000202a: PUSH1 0x01 0000202c: PUSH1 0x01 0000202e: PUSH1 0x40 00002030: SHL 00002031: SUB 00002032: DUP3 00002033: GT 00002034: PUSH2 0x1a5c 00002037: JUMPI 00002038: DUP2 00002039: CALLDATASIZE 0000203a: SUB 0000203b: DUP4 0000203c: SGT 0000203d: PUSH2 0x1a5c 00002040: JUMPI 00002041: JUMP 00002042: JUMPDEST 00002043: SWAP1 00002044: DUP1 00002045: PUSH1 0x20 00002047: SWAP4 00002048: SWAP3 00002049: DUP2 0000204a: DUP5 0000204b: MSTORE 0000204c: DUP5 0000204d: DUP5 0000204e: ADD 0000204f: CALLDATACOPY 00002050: PUSH1 0x00 00002052: DUP3 00002053: DUP3 00002054: ADD 00002055: DUP5 00002056: ADD 00002057: MSTORE 00002058: PUSH1 0x1f 0000205a: ADD 0000205b: PUSH1 0x1f 0000205d: NOT 0000205e: AND 0000205f: ADD 00002060: ADD 00002061: SWAP1 00002062: JUMP 00002063: JUMPDEST 00002064: MLOAD 00002065: SWAP1 00002066: PUSH1 0x01 00002068: PUSH1 0x01 0000206a: PUSH1 0xa0 0000206c: SHL 0000206d: SUB 0000206e: DUP3 0000206f: AND 00002070: DUP3 00002071: SUB 00002072: PUSH2 0x1a5c 00002075: JUMPI 00002076: JUMP 00002077: JUMPDEST 00002078: ISZERO 00002079: PUSH2 0x207e 0000207c: JUMPI 0000207d: JUMP 0000207e: JUMPDEST 0000207f: PUSH1 0x40 00002081: MLOAD 00002082: PUSH3 0x461bcd 00002086: PUSH1 0xe5 00002088: SHL 00002089: DUP2 0000208a: MSTORE 0000208b: PUSH1 0x20 0000208d: PUSH1 0x04 0000208f: DUP3 00002090: ADD 00002091: MSTORE 00002092: PUSH1 0x03 00002094: PUSH1 0x24 00002096: DUP3 00002097: ADD 00002098: MSTORE 00002099: PUSH3 0x046313 0000209d: PUSH1 0xec 0000209f: SHL 000020a0: PUSH1 0x44 000020a2: DUP3 000020a3: ADD 000020a4: MSTORE 000020a5: PUSH1 0x64 000020a7: SWAP1 000020a8: REVERT 000020a9: JUMPDEST 000020aa: PUSH1 0x40 000020ac: MLOAD 000020ad: PUSH4 0x23b872dd 000020b2: PUSH1 0xe0 000020b4: SHL 000020b5: PUSH1 0x20 000020b7: DUP3 000020b8: ADD 000020b9: MSTORE 000020ba: PUSH1 0x01 000020bc: PUSH1 0x01 000020be: PUSH1 0xa0 000020c0: SHL 000020c1: SUB 000020c2: SWAP3 000020c3: DUP4 000020c4: AND 000020c5: PUSH1 0x24 000020c7: DUP3 000020c8: ADD 000020c9: MSTORE 000020ca: SWAP3 000020cb: SWAP1 000020cc: SWAP2 000020cd: AND 000020ce: PUSH1 0x44 000020d0: DUP4 000020d1: ADD 000020d2: MSTORE 000020d3: PUSH1 0x64 000020d5: DUP1 000020d6: DUP4 000020d7: ADD 000020d8: SWAP4 000020d9: SWAP1 000020da: SWAP4 000020db: MSTORE 000020dc: SWAP2 000020dd: DUP2 000020de: MSTORE 000020df: PUSH1 0xa0 000020e1: DUP2 000020e2: ADD 000020e3: SWAP2 000020e4: DUP2 000020e5: DUP4 000020e6: LT 000020e7: PUSH1 0x01 000020e9: PUSH1 0x01 000020eb: PUSH1 0x40 000020ed: SHL 000020ee: SUB 000020ef: DUP5 000020f0: GT 000020f1: OR 000020f2: PUSH2 0x19dd 000020f5: JUMPI 000020f6: PUSH2 0x1d87 000020f9: SWAP3 000020fa: PUSH1 0x40 000020fc: MSTORE 000020fd: PUSH2 0x1d89 00002100: JUMP 00002101: JUMPDEST 00002102: ISZERO 00002103: PUSH2 0x2108 00002106: JUMPI 00002107: JUMP 00002108: JUMPDEST 00002109: PUSH1 0x40 0000210b: MLOAD 0000210c: PUSH3 0x461bcd 00002110: PUSH1 0xe5 00002112: SHL 00002113: DUP2 00002114: MSTORE 00002115: PUSH1 0x20 00002117: PUSH1 0x04 00002119: DUP3 0000211a: ADD 0000211b: MSTORE 0000211c: PUSH1 0x05 0000211e: PUSH1 0x24 00002120: DUP3 00002121: ADD 00002122: MSTORE 00002123: PUSH5 0x118c5f118d 00002129: PUSH1 0xda 0000212b: SHL 0000212c: PUSH1 0x44 0000212e: DUP3 0000212f: ADD 00002130: MSTORE 00002131: PUSH1 0x64 00002133: SWAP1 00002134: REVERT 00002135: JUMPDEST 00002136: DUP1 00002137: ISZERO 00002138: PUSH2 0x218e 0000213b: JUMPI 0000213c: PUSH1 0x00 0000213e: COINBASE 0000213f: DUP2 00002140: MSTORE 00002141: PUSH1 0x04 00002143: PUSH1 0x20 00002145: MSTORE 00002146: PUSH1 0xff 00002148: PUSH1 0x40 0000214a: DUP3 0000214b: KECCAK256 0000214c: SLOAD 0000214d: AND 0000214e: ISZERO 0000214f: PUSH2 0x2164 00002152: JUMPI 00002153: DUP1 00002154: DUP1 00002155: DUP1 00002156: PUSH2 0x1d87 00002159: SWAP5 0000215a: COINBASE 0000215b: DUP3 0000215c: CALL 0000215d: PUSH2 0x0923 00002160: PUSH2 0x1ed3 00002163: JUMP 00002164: JUMPDEST 00002165: PUSH1 0x40 00002167: MLOAD 00002168: PUSH3 0x461bcd 0000216c: PUSH1 0xe5 0000216e: SHL 0000216f: DUP2 00002170: MSTORE 00002171: PUSH1 0x20 00002173: PUSH1 0x04 00002175: DUP3 00002176: ADD 00002177: MSTORE 00002178: PUSH1 0x02 0000217a: PUSH1 0x24 0000217c: DUP3 0000217d: ADD 0000217e: MSTORE 0000217f: PUSH2 0x08c7 00002182: PUSH1 0xf3 00002184: SHL 00002185: PUSH1 0x44 00002187: DUP3 00002188: ADD 00002189: MSTORE 0000218a: PUSH1 0x64 0000218c: SWAP1 0000218d: REVERT 0000218e: JUMPDEST 0000218f: POP 00002190: JUMP 00002191: INVALID 00002192: LOG2 00002193: PUSH5 0x6970667358 00002199: UNKNOWN(0x22) 0000219a: SLT 0000219b: KECCAK256 0000219c: DUP9 0000219d: UNKNOWN(0xFC) 0000219e: ISZERO 0000219f: MUL 000021a0: SWAP15 000021a1: PUSH14 0x9235ee2733446a06449eb4eba919 000021b0: PUSH21 0xfa28aa8bb02020ec40935364736f6c634300081300 000021c6: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x0329dd62",
"selector": "0x0329dd62",
"calldata_variants": [
"0x0329dd62",
"0x0329dd620000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1c02708d",
"selector": "0x1c02708d",
"calldata_variants": [
"0x1c02708d",
"0x1c02708d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1ce9ae07",
"selector": "0x1ce9ae07",
"calldata_variants": [
"0x1ce9ae07",
"0x1ce9ae070000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1e6934b6",
"selector": "0x1e6934b6",
"calldata_variants": [
"0x1e6934b6",
"0x1e6934b60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1fd5c189",
"selector": "0x1fd5c189",
"calldata_variants": [
"0x1fd5c189",
"0x1fd5c1890000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x22f3e2d4",
"selector": "0x22f3e2d4",
"calldata_variants": [
"0x22f3e2d4",
"0x22f3e2d40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2c88026b",
"selector": "0x2c88026b",
"calldata_variants": [
"0x2c88026b",
"0x2c88026b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x481c42a2",
"selector": "0x481c42a2",
"calldata_variants": [
"0x481c42a2",
"0x481c42a20000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 3034,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x427820c2d12bda54c057c3887d06073b70c08f1c1d6513ead83efc4358216edb
call_targets:
0x225a38bc71102999dd13478bfabd7c4d53f2dc17
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x427820c2d12bda54c057c3887d06073b70c08f1c1d6513ead83efc4358216edb",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x225a38bc71102999dd13478bfabd7c4d53f2dc17"
],
"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": "0x0329dd62",
"selector": "0x0329dd62",
"calldata_variants": [
"0x0329dd62",
"0x0329dd620000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1c02708d",
"selector": "0x1c02708d",
"calldata_variants": [
"0x1c02708d",
"0x1c02708d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1ce9ae07",
"selector": "0x1ce9ae07",
"calldata_variants": [
"0x1ce9ae07",
"0x1ce9ae070000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1e6934b6",
"selector": "0x1e6934b6",
"calldata_variants": [
"0x1e6934b6",
"0x1e6934b60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1fd5c189",
"selector": "0x1fd5c189",
"calldata_variants": [
"0x1fd5c189",
"0x1fd5c1890000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x22f3e2d4",
"selector": "0x22f3e2d4",
"calldata_variants": [
"0x22f3e2d4",
"0x22f3e2d40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2c88026b",
"selector": "0x2c88026b",
"calldata_variants": [
"0x2c88026b",
"0x2c88026b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x481c42a2",
"selector": "0x481c42a2",
"calldata_variants": [
"0x481c42a2",
"0x481c42a20000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1955,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2331,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4233,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 6,
"guards_detected": [
{
"pc": 3034,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 6
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x427820c2d12bda54c057c3887d06073b70c08f1c1d6513ead83efc4358216edb
call_targets:
0x225a38bc71102999dd13478bfabd7c4d53f2dc17
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x427820c2d12bda54c057c3887d06073b70c08f1c1d6513ead83efc4358216edb",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x225a38bc71102999dd13478bfabd7c4d53f2dc17"
],
"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": "0x0329dd62",
"selector": "0x0329dd62",
"calldata_variants": [
"0x0329dd62",
"0x0329dd620000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1c02708d",
"selector": "0x1c02708d",
"calldata_variants": [
"0x1c02708d",
"0x1c02708d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1ce9ae07",
"selector": "0x1ce9ae07",
"calldata_variants": [
"0x1ce9ae07",
"0x1ce9ae070000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1e6934b6",
"selector": "0x1e6934b6",
"calldata_variants": [
"0x1e6934b6",
"0x1e6934b60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1fd5c189",
"selector": "0x1fd5c189",
"calldata_variants": [
"0x1fd5c189",
"0x1fd5c1890000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x22f3e2d4",
"selector": "0x22f3e2d4",
"calldata_variants": [
"0x22f3e2d4",
"0x22f3e2d40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2c88026b",
"selector": "0x2c88026b",
"calldata_variants": [
"0x2c88026b",
"0x2c88026b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x481c42a2",
"selector": "0x481c42a2",
"calldata_variants": [
"0x481c42a2",
"0x481c42a20000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1955,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2331,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4233,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 6,
"guards_detected": [
{
"pc": 3034,
"type": "tx_origin_used"
}
]
}
|