019b477e-de08-7211-a2a2-2a7ba477e81a
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 |
|---|---|---|---|---|
| 30063 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 30064 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 108713 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 108714 | capability.graph | complete | 1 / 3 | 1 week ago |
| 108715 | detector.run | complete | 1 / 3 | 1 week ago |
| 108716 | validation.fork | complete | 1 / 3 | 1 week ago |
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 0x001c 0000000e: JUMPI 0000000f: JUMPDEST 00000010: POP 00000011: CALLDATASIZE 00000012: ISZERO 00000013: PUSH2 0x001a 00000016: JUMPI 00000017: PUSH0 00000018: DUP1 00000019: REVERT 0000001a: JUMPDEST 0000001b: STOP 0000001c: JUMPDEST 0000001d: PUSH0 0000001e: CALLDATALOAD 0000001f: PUSH1 0xe0 00000021: SHR 00000022: SWAP1 00000023: DUP2 00000024: PUSH4 0x02fb0c5e 00000029: EQ 0000002a: PUSH2 0x1a4d 0000002d: JUMPI 0000002e: POP 0000002f: DUP1 00000030: PUSH4 0x144fa6d7 00000035: EQ 00000036: PUSH2 0x19e7 00000039: JUMPI 0000003a: DUP1 0000003b: PUSH4 0x170ae20a 00000040: EQ 00000041: PUSH2 0x19c6 00000044: JUMPI 00000045: DUP1 00000046: PUSH4 0x183a4f6e 0000004b: EQ 0000004c: PUSH2 0x19ae 0000004f: JUMPI 00000050: DUP1 00000051: PUSH4 0x1ac3ddeb 00000056: EQ 00000057: PUSH2 0x1904 0000005a: JUMPI 0000005b: DUP1 0000005c: PUSH4 0x1c10893f 00000061: EQ 00000062: PUSH2 0x18b7 00000065: JUMPI 00000066: DUP1 00000067: PUSH4 0x1cd64df4 0000006c: EQ 0000006d: PUSH2 0x187e 00000070: JUMPI 00000071: DUP1 00000072: PUSH4 0x1e0ba126 00000077: EQ 00000078: PUSH2 0x1859 0000007b: JUMPI 0000007c: DUP1 0000007d: PUSH4 0x238ac933 00000082: EQ 00000083: PUSH2 0x1832 00000086: JUMPI 00000087: DUP1 00000088: PUSH4 0x25692962 0000008d: EQ 0000008e: PUSH2 0x17e9 00000091: JUMPI 00000092: DUP1 00000093: PUSH4 0x2de94807 00000098: EQ 00000099: PUSH2 0x17b7 0000009c: JUMPI 0000009d: DUP1 0000009e: PUSH4 0x3e26aec4 000000a3: EQ 000000a4: PUSH2 0x1760 000000a7: JUMPI 000000a8: DUP1 000000a9: PUSH4 0x3f4ba83a 000000ae: EQ 000000af: PUSH2 0x170f 000000b2: JUMPI 000000b3: DUP1 000000b4: PUSH4 0x40275dfd 000000b9: EQ 000000ba: PUSH2 0x164d 000000bd: JUMPI 000000be: DUP1 000000bf: PUSH4 0x4a4ee7b1 000000c4: EQ 000000c5: PUSH2 0x1625 000000c8: JUMPI 000000c9: DUP1 000000ca: PUSH4 0x514e62fc 000000cf: EQ 000000d0: PUSH2 0x15ed 000000d3: JUMPI 000000d4: DUP1 000000d5: PUSH4 0x54d1f13d 000000da: EQ 000000db: PUSH2 0x15a9 000000de: JUMPI 000000df: DUP1 000000e0: PUSH4 0x54fd4d50 000000e5: EQ 000000e6: PUSH2 0x1562 000000e9: JUMPI 000000ea: DUP1 000000eb: PUSH4 0x5fc2f036 000000f0: EQ 000000f1: PUSH2 0x1517 000000f4: JUMPI 000000f5: DUP1 000000f6: PUSH4 0x6817031b 000000fb: EQ 000000fc: PUSH2 0x14b1 000000ff: JUMPI 00000100: DUP1 00000101: PUSH4 0x6c19e783 00000106: EQ 00000107: PUSH2 0x146f 0000010a: JUMPI 0000010b: DUP1 0000010c: PUSH4 0x715018a6 00000111: EQ 00000112: PUSH2 0x1426 00000115: JUMPI 00000116: DUP1 00000117: PUSH4 0x81992550 0000011c: EQ 0000011d: PUSH2 0x13d7 00000120: JUMPI 00000121: DUP1 00000122: PUSH4 0x8441c46b 00000127: EQ 00000128: PUSH2 0x13ba 0000012b: JUMPI 0000012c: DUP1 0000012d: PUSH4 0x8456cb59 00000132: EQ 00000133: PUSH2 0x136f 00000136: JUMPI 00000137: DUP1 00000138: PUSH4 0x8717eac4 0000013d: EQ 0000013e: PUSH2 0x1325 00000141: JUMPI 00000142: DUP1 00000143: PUSH4 0x8b45d08f 00000148: EQ 00000149: PUSH2 0x12ed 0000014c: JUMPI 0000014d: DUP1 0000014e: PUSH4 0x8da5cb5b 00000153: EQ 00000154: PUSH2 0x12c1 00000157: JUMPI 00000158: DUP1 00000159: PUSH4 0x96b12f6c 0000015e: EQ 0000015f: PUSH2 0x1259 00000162: JUMPI 00000163: DUP1 00000164: PUSH4 0xa54eb242 00000169: EQ 0000016a: PUSH2 0x123e 0000016d: JUMPI 0000016e: DUP1 0000016f: PUSH4 0xa983dcc0 00000174: EQ 00000175: PUSH2 0x11e2 00000178: JUMPI 00000179: DUP1 0000017a: PUSH4 0xab020368 0000017f: EQ 00000180: PUSH2 0x110f 00000183: JUMPI 00000184: DUP1 00000185: PUSH4 0xb352898b 0000018a: EQ 0000018b: PUSH2 0x0d52 0000018e: JUMPI 0000018f: DUP1 00000190: PUSH4 0xb94be978 00000195: EQ 00000196: PUSH2 0x0d0d 00000199: JUMPI 0000019a: DUP1 0000019b: PUSH4 0xbb443c79 000001a0: EQ 000001a1: PUSH2 0x0ce3 000001a4: JUMPI 000001a5: DUP1 000001a6: PUSH4 0xc0b4c9fa 000001ab: EQ 000001ac: PUSH2 0x0c9e 000001af: JUMPI 000001b0: DUP1 000001b1: PUSH4 0xd46e3151 000001b6: EQ 000001b7: PUSH2 0x0c79 000001ba: JUMPI 000001bb: DUP1 000001bc: PUSH4 0xd561506e 000001c1: EQ 000001c2: PUSH2 0x0c22 000001c5: JUMPI 000001c6: DUP1 000001c7: PUSH4 0xd56881c9 000001cc: EQ 000001cd: PUSH2 0x0b73 000001d0: JUMPI 000001d1: DUP1 000001d2: PUSH4 0xed810bc6 000001d7: EQ 000001d8: PUSH2 0x03a8 000001db: JUMPI 000001dc: DUP1 000001dd: PUSH4 0xf04e283e 000001e2: EQ 000001e3: PUSH2 0x035b 000001e6: JUMPI 000001e7: DUP1 000001e8: PUSH4 0xf28a80b6 000001ed: EQ 000001ee: PUSH2 0x0340 000001f1: JUMPI 000001f2: DUP1 000001f3: PUSH4 0xf2fde38b 000001f8: EQ 000001f9: PUSH2 0x0305 000001fc: JUMPI 000001fd: DUP1 000001fe: PUSH4 0xf448e5a9 00000203: EQ 00000204: PUSH2 0x02e8 00000207: JUMPI 00000208: DUP1 00000209: PUSH4 0xfaf3f3e2 0000020e: EQ 0000020f: PUSH2 0x02be 00000212: JUMPI 00000213: DUP1 00000214: PUSH4 0xfbfa77cf 00000219: EQ 0000021a: PUSH2 0x0296 0000021d: JUMPI 0000021e: DUP1 0000021f: PUSH4 0xfc0c546a 00000224: EQ 00000225: PUSH2 0x026e 00000228: JUMPI 00000229: PUSH4 0xfee81cf4 0000022e: EQ 0000022f: PUSH2 0x0238 00000232: JUMPI 00000233: PUSH0 00000234: PUSH2 0x000f 00000237: JUMP 00000238: JUMPDEST 00000239: CALLVALUE 0000023a: PUSH2 0x026a 0000023d: JUMPI 0000023e: PUSH1 0x20 00000240: CALLDATASIZE 00000241: PUSH1 0x03 00000243: NOT 00000244: ADD 00000245: SLT 00000246: PUSH2 0x026a 00000249: JUMPI 0000024a: PUSH2 0x0251 0000024d: PUSH2 0x1a6f 00000250: JUMP 00000251: JUMPDEST 00000252: PUSH4 0x389a75e1 00000257: PUSH1 0x0c 00000259: MSTORE 0000025a: PUSH0 0000025b: MSTORE 0000025c: PUSH1 0x20 0000025e: DUP1 0000025f: PUSH1 0x0c 00000261: KECCAK256 00000262: SLOAD 00000263: PUSH1 0x40 00000265: MLOAD 00000266: SWAP1 00000267: DUP2 00000268: MSTORE 00000269: RETURN 0000026a: JUMPDEST 0000026b: PUSH0 0000026c: DUP1 0000026d: REVERT 0000026e: JUMPDEST 0000026f: CALLVALUE 00000270: PUSH2 0x026a 00000273: JUMPI 00000274: PUSH0 00000275: CALLDATASIZE 00000276: PUSH1 0x03 00000278: NOT 00000279: ADD 0000027a: SLT 0000027b: PUSH2 0x026a 0000027e: JUMPI 0000027f: PUSH1 0x02 00000281: SLOAD 00000282: PUSH1 0x40 00000284: MLOAD 00000285: PUSH1 0x01 00000287: PUSH1 0x01 00000289: PUSH1 0xa0 0000028b: SHL 0000028c: SUB 0000028d: SWAP1 0000028e: SWAP2 0000028f: AND 00000290: DUP2 00000291: MSTORE 00000292: PUSH1 0x20 00000294: SWAP1 00000295: RETURN 00000296: JUMPDEST 00000297: CALLVALUE 00000298: PUSH2 0x026a 0000029b: JUMPI 0000029c: PUSH0 0000029d: CALLDATASIZE 0000029e: PUSH1 0x03 000002a0: NOT 000002a1: ADD 000002a2: SLT 000002a3: PUSH2 0x026a 000002a6: JUMPI 000002a7: PUSH1 0x01 000002a9: SLOAD 000002aa: PUSH1 0x40 000002ac: MLOAD 000002ad: PUSH1 0x01 000002af: PUSH1 0x01 000002b1: PUSH1 0xa0 000002b3: SHL 000002b4: SUB 000002b5: SWAP1 000002b6: SWAP2 000002b7: AND 000002b8: DUP2 000002b9: MSTORE 000002ba: PUSH1 0x20 000002bc: SWAP1 000002bd: RETURN 000002be: JUMPDEST 000002bf: CALLVALUE 000002c0: PUSH2 0x026a 000002c3: JUMPI 000002c4: PUSH1 0x20 000002c6: CALLDATASIZE 000002c7: PUSH1 0x03 000002c9: NOT 000002ca: ADD 000002cb: SLT 000002cc: PUSH2 0x026a 000002cf: JUMPI 000002d0: PUSH1 0x04 000002d2: CALLDATALOAD 000002d3: PUSH0 000002d4: MSTORE 000002d5: PUSH1 0x06 000002d7: PUSH1 0x20 000002d9: MSTORE 000002da: PUSH1 0x20 000002dc: PUSH1 0x40 000002de: PUSH0 000002df: KECCAK256 000002e0: SLOAD 000002e1: PUSH1 0x40 000002e3: MLOAD 000002e4: SWAP1 000002e5: DUP2 000002e6: MSTORE 000002e7: RETURN 000002e8: JUMPDEST 000002e9: CALLVALUE 000002ea: PUSH2 0x026a 000002ed: JUMPI 000002ee: PUSH0 000002ef: CALLDATASIZE 000002f0: PUSH1 0x03 000002f2: NOT 000002f3: ADD 000002f4: SLT 000002f5: PUSH2 0x026a 000002f8: JUMPI 000002f9: PUSH1 0x20 000002fb: PUSH1 0x03 000002fd: SLOAD 000002fe: PUSH1 0x40 00000300: MLOAD 00000301: SWAP1 00000302: DUP2 00000303: MSTORE 00000304: RETURN 00000305: JUMPDEST 00000306: PUSH1 0x20 00000308: CALLDATASIZE 00000309: PUSH1 0x03 0000030b: NOT 0000030c: ADD 0000030d: SLT 0000030e: PUSH2 0x026a 00000311: JUMPI 00000312: PUSH2 0x0319 00000315: PUSH2 0x1a6f 00000318: JUMP 00000319: JUMPDEST 0000031a: PUSH2 0x0321 0000031d: PUSH2 0x1de3 00000320: JUMP 00000321: JUMPDEST 00000322: DUP1 00000323: PUSH1 0x60 00000325: SHL 00000326: ISZERO 00000327: PUSH2 0x0333 0000032a: JUMPI 0000032b: PUSH2 0x001a 0000032e: SWAP1 0000032f: PUSH2 0x1df2 00000332: JUMP 00000333: JUMPDEST 00000334: PUSH4 0x7448fbae 00000339: PUSH0 0000033a: MSTORE 0000033b: PUSH1 0x04 0000033d: PUSH1 0x1c 0000033f: REVERT 00000340: JUMPDEST 00000341: CALLVALUE 00000342: PUSH2 0x026a 00000345: JUMPI 00000346: PUSH0 00000347: CALLDATASIZE 00000348: PUSH1 0x03 0000034a: NOT 0000034b: ADD 0000034c: SLT 0000034d: PUSH2 0x026a 00000350: JUMPI 00000351: PUSH1 0x20 00000353: PUSH1 0x40 00000355: MLOAD 00000356: PUSH1 0x01 00000358: DUP2 00000359: MSTORE 0000035a: RETURN 0000035b: JUMPDEST 0000035c: PUSH1 0x20 0000035e: CALLDATASIZE 0000035f: PUSH1 0x03 00000361: NOT 00000362: ADD 00000363: SLT 00000364: PUSH2 0x026a 00000367: JUMPI 00000368: PUSH2 0x036f 0000036b: PUSH2 0x1a6f 0000036e: JUMP 0000036f: JUMPDEST 00000370: PUSH2 0x0377 00000373: PUSH2 0x1de3 00000376: JUMP 00000377: JUMPDEST 00000378: PUSH4 0x389a75e1 0000037d: PUSH1 0x0c 0000037f: MSTORE 00000380: DUP1 00000381: PUSH0 00000382: MSTORE 00000383: PUSH1 0x20 00000385: PUSH1 0x0c 00000387: KECCAK256 00000388: SWAP1 00000389: DUP2 0000038a: SLOAD 0000038b: TIMESTAMP 0000038c: GT 0000038d: PUSH2 0x039b 00000390: JUMPI 00000391: PUSH0 00000392: PUSH2 0x001a 00000395: SWAP3 00000396: SSTORE 00000397: PUSH2 0x1df2 0000039a: JUMP 0000039b: JUMPDEST 0000039c: PUSH4 0x6f5e8818 000003a1: PUSH0 000003a2: MSTORE 000003a3: PUSH1 0x04 000003a5: PUSH1 0x1c 000003a7: REVERT 000003a8: JUMPDEST 000003a9: PUSH1 0xe0 000003ab: CALLDATASIZE 000003ac: PUSH1 0x03 000003ae: NOT 000003af: ADD 000003b0: SLT 000003b1: PUSH2 0x026a 000003b4: JUMPI 000003b5: PUSH1 0x04 000003b7: CALLDATALOAD 000003b8: PUSH1 0x01 000003ba: PUSH1 0x01 000003bc: PUSH1 0x40 000003be: SHL 000003bf: SUB 000003c0: DUP2 000003c1: GT 000003c2: PUSH2 0x026a 000003c5: JUMPI 000003c6: CALLDATASIZE 000003c7: PUSH1 0x23 000003c9: DUP3 000003ca: ADD 000003cb: SLT 000003cc: ISZERO 000003cd: PUSH2 0x026a 000003d0: JUMPI 000003d1: DUP1 000003d2: PUSH1 0x04 000003d4: ADD 000003d5: CALLDATALOAD 000003d6: SWAP1 000003d7: PUSH1 0x01 000003d9: PUSH1 0x01 000003db: PUSH1 0x40 000003dd: SHL 000003de: SUB 000003df: DUP3 000003e0: GT 000003e1: PUSH2 0x026a 000003e4: JUMPI 000003e5: PUSH1 0x24 000003e7: DUP3 000003e8: PUSH1 0x05 000003ea: SHL 000003eb: DUP3 000003ec: ADD 000003ed: ADD 000003ee: SWAP1 000003ef: CALLDATASIZE 000003f0: DUP3 000003f1: GT 000003f2: PUSH2 0x026a 000003f5: JUMPI 000003f6: PUSH1 0x24 000003f8: CALLDATALOAD 000003f9: PUSH1 0x01 000003fb: PUSH1 0x01 000003fd: PUSH1 0x40 000003ff: SHL 00000400: SUB 00000401: DUP2 00000402: GT 00000403: PUSH2 0x026a 00000406: JUMPI 00000407: PUSH2 0x0414 0000040a: SWAP1 0000040b: CALLDATASIZE 0000040c: SWAP1 0000040d: PUSH1 0x04 0000040f: ADD 00000410: PUSH2 0x1b2d 00000413: JUMP 00000414: JUMPDEST 00000415: PUSH1 0xa4 00000417: CALLDATALOAD 00000418: PUSH1 0x01 0000041a: PUSH1 0x01 0000041c: PUSH1 0xa0 0000041e: SHL 0000041f: SUB 00000420: DUP2 00000421: AND 00000422: SWAP5 00000423: SWAP1 00000424: SWAP4 00000425: SWAP3 00000426: SWAP1 00000427: SWAP2 00000428: PUSH1 0x64 0000042a: CALLDATALOAD 0000042b: SWAP2 0000042c: PUSH1 0x84 0000042e: CALLDATALOAD 0000042f: SWAP2 00000430: PUSH1 0x44 00000432: CALLDATALOAD 00000433: SWAP2 00000434: DUP9 00000435: DUP9 00000436: SUB 00000437: PUSH2 0x026a 0000043a: JUMPI 0000043b: PUSH1 0xc4 0000043d: CALLDATALOAD 0000043e: PUSH1 0x01 00000440: PUSH1 0x01 00000442: PUSH1 0x40 00000444: SHL 00000445: SUB 00000446: DUP2 00000447: GT 00000448: PUSH2 0x026a 0000044b: JUMPI 0000044c: PUSH2 0x0459 0000044f: SWAP1 00000450: CALLDATASIZE 00000451: SWAP1 00000452: PUSH1 0x04 00000454: ADD 00000455: PUSH2 0x1b2d 00000458: JUMP 00000459: JUMPDEST 0000045a: SWAP8 0000045b: SWAP1 0000045c: SWAP7 0000045d: PUSH1 0x02 0000045f: SLOAD 00000460: PUSH1 0xff 00000462: DUP2 00000463: PUSH1 0xa8 00000465: SHR 00000466: AND 00000467: ISZERO 00000468: PUSH2 0x0b59 0000046b: JUMPI 0000046c: PUSH1 0x03 0000046e: SLOAD 0000046f: TIMESTAMP 00000470: LT 00000471: DUP1 00000472: ISZERO 00000473: PUSH2 0x0b68 00000476: JUMPI 00000477: JUMPDEST 00000478: PUSH2 0x0b59 0000047b: JUMPI 0000047c: PUSH1 0xb0 0000047e: SHR 0000047f: PUSH1 0xff 00000481: AND 00000482: ISZERO 00000483: PUSH2 0x0b12 00000486: JUMPI 00000487: JUMPDEST 00000488: PUSH1 0x40 0000048a: MLOAD 0000048b: PUSH1 0x20 0000048d: DUP2 0000048e: ADD 0000048f: SWAP1 00000490: DUP8 00000491: DUP3 00000492: MSTORE 00000493: DUP7 00000494: PUSH1 0x40 00000496: DUP3 00000497: ADD 00000498: MSTORE 00000499: PUSH1 0x40 0000049b: DUP2 0000049c: MSTORE 0000049d: PUSH2 0x04a7 000004a0: PUSH1 0x60 000004a2: DUP3 000004a3: PUSH2 0x1af5 000004a6: JUMP 000004a7: JUMPDEST 000004a8: MLOAD 000004a9: SWAP1 000004aa: KECCAK256 000004ab: SWAP1 000004ac: PUSH2 0x04b4 000004af: DUP14 000004b0: PUSH2 0x1b16 000004b3: JUMP 000004b4: JUMPDEST 000004b5: SWAP13 000004b6: PUSH2 0x04c2 000004b9: PUSH1 0x40 000004bb: MLOAD 000004bc: SWAP15 000004bd: DUP16 000004be: PUSH2 0x1af5 000004c1: JUMP 000004c2: JUMPDEST 000004c3: DUP14 000004c4: MSTORE 000004c5: PUSH1 0x20 000004c7: DUP14 000004c8: ADD 000004c9: SWAP3 000004ca: PUSH1 0x24 000004cc: ADD 000004cd: DUP4 000004ce: JUMPDEST 000004cf: DUP3 000004d0: DUP3 000004d1: LT 000004d2: PUSH2 0x0b02 000004d5: JUMPI 000004d6: POP 000004d7: POP 000004d8: POP 000004d9: SWAP11 000004da: DUP1 000004db: MLOAD 000004dc: SWAP2 000004dd: DUP3 000004de: PUSH2 0x0ac9 000004e1: JUMPI 000004e2: JUMPDEST 000004e3: POP 000004e4: POP 000004e5: POP 000004e6: DUP10 000004e7: PUSH0 000004e8: MSTORE 000004e9: PUSH1 0x06 000004eb: PUSH1 0x20 000004ed: MSTORE 000004ee: PUSH1 0x40 000004f0: PUSH0 000004f1: KECCAK256 000004f2: SLOAD 000004f3: ISZERO 000004f4: PUSH2 0x0ab6 000004f7: JUMPI 000004f8: PUSH1 0x20 000004fa: SWAP4 000004fb: DUP11 000004fc: PUSH0 000004fd: MSTORE 000004fe: PUSH1 0x05 00000500: DUP6 00000501: MSTORE 00000502: PUSH1 0x40 00000504: PUSH0 00000505: KECCAK256 00000506: DUP2 00000507: PUSH0 00000508: MSTORE 00000509: DUP6 0000050a: MSTORE 0000050b: PUSH1 0x40 0000050d: PUSH0 0000050e: KECCAK256 0000050f: PUSH1 0x01 00000511: PUSH1 0x40 00000513: MLOAD 00000514: SWAP2 00000515: PUSH2 0x051d 00000518: DUP4 00000519: PUSH2 0x1abf 0000051c: JUMP 0000051d: JUMPDEST 0000051e: DUP1 0000051f: SLOAD 00000520: DUP4 00000521: MSTORE 00000522: ADD 00000523: SLOAD 00000524: SWAP6 00000525: DUP7 00000526: SWAP2 00000527: ADD 00000528: MSTORE 00000529: DUP5 0000052a: ISZERO 0000052b: PUSH2 0x0a97 0000052e: JUMPI 0000052f: JUMPDEST 00000530: DUP6 00000531: DUP5 00000532: LT 00000533: PUSH2 0x0a88 00000536: JUMPI 00000537: DUP6 00000538: DUP6 00000539: EQ 0000053a: PUSH2 0x0a79 0000053d: JUMPI 0000053e: PUSH1 0x40 00000540: MLOAD 00000541: PUSH2 0x0549 00000544: DUP2 00000545: PUSH2 0x1abf 00000548: JUMP 00000549: JUMPDEST 0000054a: NUMBER 0000054b: DUP2 0000054c: MSTORE 0000054d: PUSH1 0x01 0000054f: PUSH1 0x20 00000551: DUP3 00000552: ADD 00000553: DUP9 00000554: DUP2 00000555: MSTORE 00000556: DUP14 00000557: PUSH0 00000558: MSTORE 00000559: PUSH1 0x05 0000055b: PUSH1 0x20 0000055d: MSTORE 0000055e: PUSH1 0x40 00000560: PUSH0 00000561: KECCAK256 00000562: DUP5 00000563: PUSH0 00000564: MSTORE 00000565: PUSH1 0x20 00000567: MSTORE 00000568: PUSH1 0x40 0000056a: PUSH0 0000056b: KECCAK256 0000056c: SWAP3 0000056d: MLOAD 0000056e: DUP4 0000056f: SSTORE 00000570: MLOAD 00000571: SWAP2 00000572: ADD 00000573: SSTORE 00000574: PUSH1 0x01 00000576: DUP1 00000577: PUSH1 0xa0 00000579: SHL 0000057a: SUB 0000057b: PUSH0 0000057c: SLOAD 0000057d: AND 0000057e: SWAP4 0000057f: DUP4 00000580: ISZERO 00000581: PUSH2 0x0a42 00000584: JUMPI 00000585: PUSH1 0x40 00000587: MLOAD 00000588: SWAP1 00000589: PUSH1 0x20 0000058b: DUP3 0000058c: ADD 0000058d: SWAP3 0000058e: DUP4 0000058f: MSTORE 00000590: PUSH1 0x01 00000592: PUSH1 0x01 00000594: PUSH1 0x60 00000596: SHL 00000597: SUB 00000598: NOT 00000599: DUP12 0000059a: PUSH1 0x60 0000059c: SHL 0000059d: AND 0000059e: PUSH1 0x40 000005a0: DUP4 000005a1: ADD 000005a2: MSTORE 000005a3: PUSH1 0x54 000005a5: DUP3 000005a6: ADD 000005a7: MSTORE 000005a8: DUP7 000005a9: PUSH1 0x74 000005ab: DUP3 000005ac: ADD 000005ad: MSTORE 000005ae: DUP12 000005af: PUSH1 0x94 000005b1: DUP3 000005b2: ADD 000005b3: MSTORE 000005b4: ADDRESS 000005b5: PUSH1 0x60 000005b7: SHL 000005b8: PUSH1 0xb4 000005ba: DUP3 000005bb: ADD 000005bc: MSTORE 000005bd: CHAINID 000005be: PUSH1 0xc8 000005c0: DUP3 000005c1: ADD 000005c2: MSTORE 000005c3: DUP9 000005c4: DUP9 000005c5: PUSH1 0xe8 000005c7: DUP4 000005c8: ADD 000005c9: CALLDATACOPY 000005ca: PUSH2 0x05e6 000005cd: PUSH1 0xe8 000005cf: DUP3 000005d0: DUP12 000005d1: DUP2 000005d2: ADD 000005d3: PUSH0 000005d4: DUP4 000005d5: DUP3 000005d6: ADD 000005d7: MSTORE 000005d8: SUB 000005d9: ADD 000005da: PUSH1 0x1f 000005dc: NOT 000005dd: DUP2 000005de: ADD 000005df: DUP4 000005e0: MSTORE 000005e1: DUP3 000005e2: PUSH2 0x1af5 000005e5: JUMP 000005e6: JUMPDEST 000005e7: MLOAD 000005e8: SWAP1 000005e9: KECCAK256 000005ea: PUSH1 0x20 000005ec: MSTORE 000005ed: PUSH28 0x19457468657265756d205369676e6564204d6573736167653a0a3332 0000060a: PUSH0 0000060b: MSTORE 0000060c: PUSH1 0x3c 0000060e: PUSH1 0x04 00000610: KECCAK256 00000611: SWAP1 00000612: PUSH1 0x40 00000614: MLOAD 00000615: SWAP3 00000616: DUP1 00000617: PUSH1 0x40 00000619: EQ 0000061a: PUSH2 0x0a51 0000061d: JUMPI 0000061e: PUSH1 0x41 00000620: EQ 00000621: PUSH2 0x063d 00000624: JUMPI 00000625: POP 00000626: POP 00000627: POP 00000628: POP 00000629: POP 0000062a: POP 0000062b: POP 0000062c: POP 0000062d: POP 0000062e: POP 0000062f: POP 00000630: JUMPDEST 00000631: PUSH4 0x8baa579f 00000636: PUSH0 00000637: MSTORE 00000638: PUSH1 0x04 0000063a: PUSH1 0x1c 0000063c: REVERT 0000063d: JUMPDEST 0000063e: DUP1 0000063f: PUSH1 0x40 00000641: DUP1 00000642: SWAP3 00000643: ADD 00000644: CALLDATALOAD 00000645: PUSH0 00000646: BYTE 00000647: PUSH1 0x20 00000649: MSTORE 0000064a: DUP2 0000064b: CALLDATACOPY 0000064c: JUMPDEST 0000064d: PUSH0 0000064e: MSTORE 0000064f: PUSH1 0x20 00000651: PUSH1 0x01 00000653: PUSH1 0x80 00000655: PUSH0 00000656: DUP3 00000657: GAS 00000658: STATICCALL 00000659: MLOAD 0000065a: SWAP1 0000065b: PUSH0 0000065c: PUSH1 0x60 0000065e: MSTORE 0000065f: PUSH1 0x40 00000661: MSTORE 00000662: RETURNDATASIZE 00000663: PUSH2 0x0674 00000666: JUMPI 00000667: POP 00000668: POP 00000669: POP 0000066a: POP 0000066b: POP 0000066c: POP 0000066d: POP 0000066e: POP 0000066f: POP 00000670: PUSH2 0x0630 00000673: JUMP 00000674: JUMPDEST 00000675: PUSH1 0x01 00000677: PUSH1 0x01 00000679: PUSH1 0xa0 0000067b: SHL 0000067c: SUB 0000067d: AND 0000067e: SUB 0000067f: PUSH2 0x0a42 00000682: JUMPI 00000683: PUSH2 0x068b 00000686: SWAP2 00000687: PUSH2 0x1c2a 0000068a: JUMP 0000068b: JUMPDEST 0000068c: SWAP2 0000068d: PUSH1 0x01 0000068f: DUP1 00000690: PUSH1 0xa0 00000692: SHL 00000693: SUB 00000694: PUSH1 0x01 00000696: SLOAD 00000697: AND 00000698: SWAP1 00000699: PUSH2 0x06a1 0000069c: DUP2 0000069d: PUSH2 0x1b8f 000006a0: JUMP 000006a1: JUMPDEST 000006a2: SWAP1 000006a3: PUSH2 0x06af 000006a6: PUSH1 0x40 000006a8: MLOAD 000006a9: SWAP3 000006aa: DUP4 000006ab: PUSH2 0x1af5 000006ae: JUMP 000006af: JUMPDEST 000006b0: DUP1 000006b1: DUP3 000006b2: MSTORE 000006b3: PUSH1 0x20 000006b5: DUP3 000006b6: ADD 000006b7: SWAP4 000006b8: CALLDATASIZE 000006b9: DUP3 000006ba: DUP3 000006bb: ADD 000006bc: GT 000006bd: PUSH2 0x026a 000006c0: JUMPI 000006c1: DUP2 000006c2: PUSH0 000006c3: SWAP3 000006c4: PUSH1 0x20 000006c6: SWAP3 000006c7: DUP8 000006c8: CALLDATACOPY 000006c9: DUP4 000006ca: ADD 000006cb: ADD 000006cc: MSTORE 000006cd: DUP1 000006ce: MLOAD 000006cf: DUP2 000006d0: ADD 000006d1: SWAP3 000006d2: PUSH1 0x20 000006d4: DUP3 000006d5: DUP2 000006d6: DUP7 000006d7: ADD 000006d8: SWAP6 000006d9: SUB 000006da: SLT 000006db: PUSH2 0x026a 000006de: JUMPI 000006df: MLOAD 000006e0: SWAP1 000006e1: PUSH1 0x01 000006e3: PUSH1 0x01 000006e5: PUSH1 0x40 000006e7: SHL 000006e8: SUB 000006e9: DUP3 000006ea: GT 000006eb: PUSH2 0x026a 000006ee: JUMPI 000006ef: ADD 000006f0: SWAP2 000006f1: DUP1 000006f2: PUSH1 0x3f 000006f4: DUP5 000006f5: ADD 000006f6: SLT 000006f7: ISZERO 000006f8: PUSH2 0x026a 000006fb: JUMPI 000006fc: PUSH1 0x20 000006fe: DUP4 000006ff: ADD 00000700: MLOAD 00000701: SWAP3 00000702: PUSH2 0x070a 00000705: DUP5 00000706: PUSH2 0x1b16 00000709: JUMP 0000070a: JUMPDEST 0000070b: SWAP4 0000070c: PUSH2 0x0718 0000070f: PUSH1 0x40 00000711: MLOAD 00000712: SWAP6 00000713: DUP7 00000714: PUSH2 0x1af5 00000717: JUMP 00000718: JUMPDEST 00000719: DUP1 0000071a: DUP6 0000071b: MSTORE 0000071c: PUSH1 0x20 0000071e: DUP1 0000071f: DUP1 00000720: DUP8 00000721: ADD 00000722: SWAP3 00000723: PUSH1 0x05 00000725: SHL 00000726: DUP5 00000727: ADD 00000728: ADD 00000729: ADD 0000072a: SWAP2 0000072b: DUP4 0000072c: DUP4 0000072d: GT 0000072e: PUSH2 0x026a 00000731: JUMPI 00000732: PUSH1 0x40 00000734: DUP2 00000735: ADD 00000736: SWAP2 00000737: JUMPDEST 00000738: DUP4 00000739: DUP4 0000073a: LT 0000073b: PUSH2 0x09d8 0000073e: JUMPI 0000073f: POP 00000740: POP 00000741: POP 00000742: POP 00000743: POP 00000744: DUP6 00000745: PUSH0 00000746: MSTORE 00000747: PUSH1 0x06 00000749: PUSH1 0x20 0000074b: MSTORE 0000074c: PUSH1 0x40 0000074e: PUSH0 0000074f: KECCAK256 00000750: SLOAD 00000751: PUSH0 00000752: MSTORE 00000753: PUSH1 0x0a 00000755: PUSH1 0x20 00000757: MSTORE 00000758: PUSH1 0x40 0000075a: PUSH0 0000075b: KECCAK256 0000075c: SWAP3 0000075d: PUSH1 0x40 0000075f: MLOAD 00000760: SWAP7 00000761: PUSH2 0x0769 00000764: DUP9 00000765: PUSH2 0x1abf 00000768: JUMP 00000769: JUMPDEST 0000076a: PUSH1 0x01 0000076c: PUSH2 0x0774 0000076f: DUP7 00000770: PUSH2 0x1baa 00000773: JUMP 00000774: JUMPDEST 00000775: SWAP6 00000776: DUP7 00000777: DUP11 00000778: MSTORE 00000779: ADD 0000077a: SLOAD 0000077b: SWAP5 0000077c: PUSH1 0x20 0000077e: DUP10 0000077f: ADD 00000780: SWAP6 00000781: DUP7 00000782: MSTORE 00000783: MLOAD 00000784: DUP5 00000785: MLOAD 00000786: SUB 00000787: PUSH2 0x09c9 0000078a: JUMPI 0000078b: PUSH0 0000078c: SWAP8 0000078d: DUP9 0000078e: JUMPDEST 0000078f: DUP2 00000790: MLOAD 00000791: DUP1 00000792: MLOAD 00000793: DUP12 00000794: LT 00000795: ISZERO 00000796: PUSH2 0x089d 00000799: JUMPI 0000079a: DUP11 0000079b: PUSH2 0x07a3 0000079e: SWAP2 0000079f: PUSH2 0x1c16 000007a2: JUMP 000007a3: JUMPDEST 000007a4: MLOAD 000007a5: DUP8 000007a6: MLOAD 000007a7: DUP12 000007a8: EQ 000007a9: PUSH2 0x0893 000007ac: JUMPI 000007ad: DUP7 000007ae: DUP2 000007af: DUP7 000007b0: DUP14 000007b1: DUP13 000007b2: SWAP5 000007b3: MLOAD 000007b4: SWAP3 000007b5: DUP4 000007b6: PUSH0 000007b7: NOT 000007b8: DIV 000007b9: DUP4 000007ba: GT 000007bb: PUSH2 0x0870 000007be: JUMPI 000007bf: JUMPDEST 000007c0: PUSH1 0x20 000007c2: SWAP5 000007c3: SWAP3 000007c4: PUSH2 0x080b 000007c7: PUSH2 0x07e8 000007ca: PUSH8 0x0de0b6b3a7640000 000007d3: SWAP7 000007d4: SWAP5 000007d5: PUSH0 000007d6: SWAP5 000007d7: DUP10 000007d8: PUSH1 0x01 000007da: DUP1 000007db: PUSH1 0xa0 000007dd: SHL 000007de: SUB 000007df: SWAP2 000007e0: ADD 000007e1: MLOAD 000007e2: AND 000007e3: SWAP7 000007e4: PUSH2 0x1c16 000007e7: JUMP 000007e8: JUMPDEST 000007e9: MLOAD 000007ea: DUP14 000007eb: DUP13 000007ec: PUSH1 0x40 000007ee: MLOAD 000007ef: SWAP11 000007f0: DUP12 000007f1: SWAP10 000007f2: DUP11 000007f3: SWAP9 000007f4: DUP10 000007f5: SWAP8 000007f6: PUSH4 0x44c91603 000007fb: PUSH1 0xe0 000007fd: SHL 000007fe: DUP10 000007ff: MSTORE 00000800: MUL 00000801: DIV 00000802: SWAP3 00000803: PUSH1 0x04 00000805: DUP8 00000806: ADD 00000807: PUSH2 0x1e2f 0000080a: JUMP 0000080b: JUMPDEST 0000080c: SUB 0000080d: SWAP3 0000080e: GAS 0000080f: CALL 00000810: SWAP1 00000811: DUP2 00000812: ISZERO 00000813: PUSH2 0x0865 00000816: JUMPI 00000817: PUSH0 00000818: SWAP2 00000819: PUSH2 0x0833 0000081c: JUMPI 0000081d: JUMPDEST 0000081e: POP 0000081f: PUSH2 0x082a 00000822: SWAP1 00000823: PUSH1 0x01 00000825: SWAP3 00000826: PUSH2 0x1c37 00000829: JUMP 0000082a: JUMPDEST 0000082b: SWAP10 0000082c: JUMPDEST 0000082d: ADD 0000082e: SWAP9 0000082f: PUSH2 0x078e 00000832: JUMP 00000833: JUMPDEST 00000834: SWAP1 00000835: POP 00000836: PUSH1 0x20 00000838: DUP2 00000839: RETURNDATASIZE 0000083a: DUP3 0000083b: GT 0000083c: PUSH2 0x085d 0000083f: JUMPI 00000840: JUMPDEST 00000841: DUP2 00000842: PUSH2 0x084d 00000845: PUSH1 0x20 00000847: SWAP4 00000848: DUP4 00000849: PUSH2 0x1af5 0000084c: JUMP 0000084d: JUMPDEST 0000084e: DUP2 0000084f: ADD 00000850: SUB 00000851: SLT 00000852: PUSH2 0x026a 00000855: JUMPI 00000856: MLOAD 00000857: PUSH1 0x01 00000859: PUSH2 0x081d 0000085c: JUMP 0000085d: JUMPDEST 0000085e: RETURNDATASIZE 0000085f: SWAP2 00000860: POP 00000861: PUSH2 0x0840 00000864: JUMP 00000865: JUMPDEST 00000866: PUSH1 0x40 00000868: MLOAD 00000869: RETURNDATASIZE 0000086a: PUSH0 0000086b: DUP3 0000086c: RETURNDATACOPY 0000086d: RETURNDATASIZE 0000086e: SWAP1 0000086f: REVERT 00000870: JUMPDEST 00000871: SWAP4 00000872: POP 00000873: POP 00000874: POP 00000875: DUP1 00000876: SWAP3 00000877: POP 00000878: PUSH2 0x0886 0000087b: JUMPI 0000087c: DUP10 0000087d: SWAP2 0000087e: DUP7 0000087f: DUP14 00000880: DUP11 00000881: SWAP4 00000882: PUSH2 0x07bf 00000885: JUMP 00000886: JUMPDEST 00000887: PUSH4 0xbac65e5b 0000088c: PUSH0 0000088d: MSTORE 0000088e: PUSH1 0x04 00000890: PUSH1 0x1c 00000892: REVERT 00000893: JUMPDEST 00000894: POP 00000895: SWAP9 00000896: PUSH1 0x01 00000898: SWAP1 00000899: PUSH2 0x082c 0000089c: JUMP 0000089d: JUMPDEST 0000089e: POP 0000089f: SWAP2 000008a0: SWAP6 000008a1: SWAP5 000008a2: DUP4 000008a3: SWAP5 000008a4: DUP10 000008a5: SWAP7 000008a6: DUP10 000008a7: DUP2 000008a8: MLOAD 000008a9: DUP6 000008aa: MLOAD 000008ab: MLOAD 000008ac: GT 000008ad: PUSH2 0x08f7 000008b0: JUMPI 000008b1: JUMPDEST 000008b2: POP 000008b3: POP 000008b4: POP 000008b5: POP 000008b6: POP 000008b7: SUB 000008b8: PUSH2 0x08e8 000008bb: JUMPI 000008bc: PUSH1 0x20 000008be: PUSH32 0x286b28c8571c73086fa8d8852b677537690a70b51e1a76820fe50db64e127779 000008df: SWAP2 000008e0: PUSH1 0x40 000008e2: MLOAD 000008e3: SWAP1 000008e4: DUP2 000008e5: MSTORE 000008e6: LOG3 000008e7: STOP 000008e8: JUMPDEST 000008e9: PUSH4 0xa4aeb3cb 000008ee: PUSH1 0xe0 000008f0: SHL 000008f1: PUSH0 000008f2: MSTORE 000008f3: PUSH1 0x04 000008f5: PUSH0 000008f6: REVERT 000008f7: JUMPDEST 000008f8: SWAP1 000008f9: SWAP2 000008fa: SWAP3 000008fb: SWAP4 000008fc: SWAP5 000008fd: SWAP6 000008fe: DUP7 000008ff: GT 00000900: PUSH2 0x09ba 00000903: JUMPI 00000904: PUSH0 00000905: DUP10 00000906: SWAP4 00000907: PUSH2 0x095b 0000090a: PUSH2 0x093d 0000090d: PUSH1 0x20 0000090f: SWAP8 00000910: PUSH2 0x0919 00000913: DUP12 00000914: DUP14 00000915: PUSH2 0x1c2a 00000918: JUMP 00000919: JUMPDEST 0000091a: SWAP10 0000091b: MLOAD 0000091c: DUP8 0000091d: MLOAD 0000091e: PUSH1 0x01 00000920: PUSH1 0x01 00000922: PUSH1 0xa0 00000924: SHL 00000925: SUB 00000926: SWAP2 00000927: DUP12 00000928: SWAP2 00000929: PUSH2 0x0931 0000092c: SWAP2 0000092d: PUSH2 0x1c16 00000930: JUMP 00000931: JUMPDEST 00000932: MLOAD 00000933: ADD 00000934: MLOAD 00000935: AND 00000936: SWAP7 00000937: MLOAD 00000938: SWAP1 00000939: PUSH2 0x1c16 0000093c: JUMP 0000093d: JUMPDEST 0000093e: MLOAD 0000093f: PUSH1 0x40 00000941: MLOAD 00000942: PUSH4 0x44c91603 00000947: PUSH1 0xe0 00000949: SHL 0000094a: DUP2 0000094b: MSTORE 0000094c: SWAP9 0000094d: DUP10 0000094e: SWAP8 0000094f: DUP9 00000950: SWAP7 00000951: DUP8 00000952: SWAP6 00000953: PUSH1 0x04 00000955: DUP8 00000956: ADD 00000957: PUSH2 0x1e2f 0000095a: JUMP 0000095b: JUMPDEST 0000095c: SUB 0000095d: SWAP3 0000095e: GAS 0000095f: CALL 00000960: DUP1 00000961: ISZERO 00000962: PUSH2 0x0865 00000965: JUMPI 00000966: DUP4 00000967: SWAP2 00000968: PUSH0 00000969: SWAP2 0000096a: PUSH2 0x0983 0000096d: JUMPI 0000096e: JUMPDEST 0000096f: POP 00000970: PUSH2 0x0979 00000973: SWAP2 00000974: SWAP3 00000975: PUSH2 0x1c37 00000978: JUMP 00000979: JUMPDEST 0000097a: DUP6 0000097b: DUP1 0000097c: DUP1 0000097d: DUP1 0000097e: DUP1 0000097f: PUSH2 0x08b1 00000982: JUMP 00000983: JUMPDEST 00000984: SWAP2 00000985: POP 00000986: POP 00000987: PUSH1 0x20 00000989: DUP2 0000098a: RETURNDATASIZE 0000098b: PUSH1 0x20 0000098d: GT 0000098e: PUSH2 0x09b2 00000991: JUMPI 00000992: JUMPDEST 00000993: DUP2 00000994: PUSH2 0x099f 00000997: PUSH1 0x20 00000999: SWAP4 0000099a: DUP4 0000099b: PUSH2 0x1af5 0000099e: JUMP 0000099f: JUMPDEST 000009a0: DUP2 000009a1: ADD 000009a2: SUB 000009a3: SLT 000009a4: PUSH2 0x026a 000009a7: JUMPI 000009a8: MLOAD 000009a9: DUP3 000009aa: SWAP1 000009ab: PUSH2 0x0979 000009ae: PUSH2 0x096e 000009b1: JUMP 000009b2: JUMPDEST 000009b3: RETURNDATASIZE 000009b4: SWAP2 000009b5: POP 000009b6: PUSH2 0x0992 000009b9: JUMP 000009ba: JUMPDEST 000009bb: PUSH4 0x37cb51dd 000009c0: PUSH1 0xe2 000009c2: SHL 000009c3: PUSH0 000009c4: MSTORE 000009c5: PUSH1 0x04 000009c7: PUSH0 000009c8: REVERT 000009c9: JUMPDEST 000009ca: PUSH4 0xb722e495 000009cf: PUSH1 0xe0 000009d1: SHL 000009d2: PUSH0 000009d3: MSTORE 000009d4: PUSH1 0x04 000009d6: PUSH0 000009d7: REVERT 000009d8: JUMPDEST 000009d9: DUP3 000009da: MLOAD 000009db: PUSH1 0x01 000009dd: PUSH1 0x01 000009df: PUSH1 0x40 000009e1: SHL 000009e2: SUB 000009e3: DUP2 000009e4: GT 000009e5: PUSH2 0x026a 000009e8: JUMPI 000009e9: PUSH1 0x20 000009eb: SWAP1 000009ec: DUP4 000009ed: ADD 000009ee: ADD 000009ef: DUP6 000009f0: PUSH1 0x3f 000009f2: DUP3 000009f3: ADD 000009f4: SLT 000009f5: ISZERO 000009f6: PUSH2 0x026a 000009f9: JUMPI 000009fa: PUSH1 0x20 000009fc: DUP2 000009fd: ADD 000009fe: MLOAD 000009ff: SWAP2 00000a00: PUSH2 0x0a08 00000a03: DUP4 00000a04: PUSH2 0x1b8f 00000a07: JUMP 00000a08: JUMPDEST 00000a09: PUSH2 0x0a15 00000a0c: PUSH1 0x40 00000a0e: MLOAD 00000a0f: SWAP2 00000a10: DUP3 00000a11: PUSH2 0x1af5 00000a14: JUMP 00000a15: JUMPDEST 00000a16: DUP4 00000a17: DUP2 00000a18: MSTORE 00000a19: PUSH1 0x40 00000a1b: DUP4 00000a1c: DUP6 00000a1d: ADD 00000a1e: ADD 00000a1f: DUP9 00000a20: LT 00000a21: PUSH2 0x026a 00000a24: JUMPI 00000a25: PUSH0 00000a26: PUSH1 0x20 00000a28: DUP6 00000a29: DUP2 00000a2a: SWAP7 00000a2b: PUSH1 0x40 00000a2d: DUP4 00000a2e: SWAP8 00000a2f: ADD 00000a30: DUP4 00000a31: DUP7 00000a32: ADD 00000a33: MCOPY 00000a34: DUP4 00000a35: ADD 00000a36: ADD 00000a37: MSTORE 00000a38: DUP2 00000a39: MSTORE 00000a3a: ADD 00000a3b: SWAP3 00000a3c: ADD 00000a3d: SWAP2 00000a3e: PUSH2 0x0737 00000a41: JUMP 00000a42: JUMPDEST 00000a43: PUSH4 0x8baa579f 00000a48: PUSH1 0xe0 00000a4a: SHL 00000a4b: PUSH0 00000a4c: MSTORE 00000a4d: PUSH1 0x04 00000a4f: PUSH0 00000a50: REVERT 00000a51: JUMPDEST 00000a52: POP 00000a53: PUSH1 0x20 00000a55: DUP2 00000a56: DUP2 00000a57: ADD 00000a58: CALLDATALOAD 00000a59: PUSH1 0xff 00000a5b: DUP2 00000a5c: SWAP1 00000a5d: SHR 00000a5e: PUSH1 0x1b 00000a60: ADD 00000a61: SWAP1 00000a62: SWAP2 00000a63: MSTORE 00000a64: SWAP1 00000a65: CALLDATALOAD 00000a66: PUSH1 0x40 00000a68: MSTORE 00000a69: PUSH1 0x01 00000a6b: PUSH1 0x01 00000a6d: PUSH1 0xff 00000a6f: SHL 00000a70: SUB 00000a71: AND 00000a72: PUSH1 0x60 00000a74: MSTORE 00000a75: PUSH2 0x064c 00000a78: JUMP 00000a79: JUMPDEST 00000a7a: PUSH4 0x0c8d9eab 00000a7f: PUSH1 0xe3 00000a81: SHL 00000a82: PUSH0 00000a83: MSTORE 00000a84: PUSH1 0x04 00000a86: PUSH0 00000a87: REVERT 00000a88: JUMPDEST 00000a89: PUSH4 0x3cec7925 00000a8e: PUSH1 0xe0 00000a90: SHL 00000a91: PUSH0 00000a92: MSTORE 00000a93: PUSH1 0x04 00000a95: PUSH0 00000a96: REVERT 00000a97: JUMPDEST 00000a98: PUSH2 0x0aa1 00000a9b: DUP5 00000a9c: DUP13 00000a9d: PUSH2 0x1b5a 00000aa0: JUMP 00000aa1: JUMPDEST 00000aa2: CALLVALUE 00000aa3: EQ 00000aa4: PUSH2 0x052f 00000aa7: JUMPI 00000aa8: PUSH4 0xcd3cb2bb 00000aad: PUSH1 0xe0 00000aaf: SHL 00000ab0: PUSH0 00000ab1: MSTORE 00000ab2: PUSH1 0x04 00000ab4: PUSH0 00000ab5: REVERT 00000ab6: JUMPDEST 00000ab7: DUP10 00000ab8: PUSH4 0x0ee30f2b 00000abd: PUSH1 0xe2 00000abf: SHL 00000ac0: PUSH0 00000ac1: MSTORE 00000ac2: PUSH1 0x04 00000ac4: MSTORE 00000ac5: PUSH1 0x24 00000ac7: PUSH0 00000ac8: REVERT 00000ac9: JUMPDEST 00000aca: SWAP1 00000acb: PUSH1 0x20 00000acd: SWAP2 00000ace: SWAP13 00000acf: SWAP3 00000ad0: PUSH1 0x05 00000ad2: SHL 00000ad3: ADD 00000ad4: ADD 00000ad5: SWAP1 00000ad6: JUMPDEST 00000ad7: DUP12 00000ad8: MLOAD 00000ad9: DUP2 00000ada: GT 00000adb: PUSH1 0x05 00000add: SHL 00000ade: SWAP1 00000adf: DUP2 00000ae0: MSTORE 00000ae1: PUSH1 0x20 00000ae3: DUP13 00000ae4: MLOAD 00000ae5: SWAP2 00000ae6: XOR 00000ae7: MSTORE 00000ae8: PUSH1 0x20 00000aea: PUSH1 0x40 00000aec: PUSH0 00000aed: KECCAK256 00000aee: SWAP12 00000aef: ADD 00000af0: SWAP11 00000af1: DUP2 00000af2: DUP13 00000af3: LT 00000af4: PUSH2 0x0ad6 00000af7: JUMPI 00000af8: SWAP11 00000af9: POP 00000afa: POP 00000afb: DUP11 00000afc: DUP1 00000afd: DUP1 00000afe: PUSH2 0x04e2 00000b01: JUMP 00000b02: JUMPDEST 00000b03: DUP2 00000b04: CALLDATALOAD 00000b05: DUP2 00000b06: MSTORE 00000b07: PUSH1 0x20 00000b09: SWAP2 00000b0a: DUP3 00000b0b: ADD 00000b0c: SWAP2 00000b0d: ADD 00000b0e: PUSH2 0x04ce 00000b11: JUMP 00000b12: JUMPDEST 00000b13: PUSH1 0x40 00000b15: MLOAD 00000b16: PUSH1 0x20 00000b18: DUP2 00000b19: ADD 00000b1a: SWAP1 00000b1b: PUSH1 0x01 00000b1d: PUSH1 0x01 00000b1f: PUSH1 0x60 00000b21: SHL 00000b22: SUB 00000b23: NOT 00000b24: DUP13 00000b25: PUSH1 0x60 00000b27: SHL 00000b28: AND 00000b29: DUP3 00000b2a: MSTORE 00000b2b: PUSH1 0x14 00000b2d: DUP2 00000b2e: MSTORE 00000b2f: PUSH2 0x0b39 00000b32: PUSH1 0x34 00000b34: DUP3 00000b35: PUSH2 0x1af5 00000b38: JUMP 00000b39: JUMPDEST 00000b3a: MLOAD 00000b3b: SWAP1 00000b3c: KECCAK256 00000b3d: DUP7 00000b3e: EQ 00000b3f: PUSH2 0x0487 00000b42: JUMPI 00000b43: DUP11 00000b44: DUP7 00000b45: PUSH4 0x8a9e2bfb 00000b4a: PUSH1 0xe0 00000b4c: SHL 00000b4d: PUSH0 00000b4e: MSTORE 00000b4f: PUSH1 0x04 00000b51: MSTORE 00000b52: PUSH1 0x24 00000b54: MSTORE 00000b55: PUSH1 0x44 00000b57: PUSH0 00000b58: REVERT 00000b59: JUMPDEST 00000b5a: PUSH4 0x4065aaf1 00000b5f: PUSH1 0xe1 00000b61: SHL 00000b62: PUSH0 00000b63: MSTORE 00000b64: PUSH1 0x04 00000b66: PUSH0 00000b67: REVERT 00000b68: JUMPDEST 00000b69: POP 00000b6a: PUSH1 0x04 00000b6c: SLOAD 00000b6d: TIMESTAMP 00000b6e: GT 00000b6f: PUSH2 0x0477 00000b72: JUMP 00000b73: JUMPDEST 00000b74: CALLVALUE 00000b75: PUSH2 0x026a 00000b78: JUMPI 00000b79: PUSH1 0x40 00000b7b: CALLDATASIZE 00000b7c: PUSH1 0x03 00000b7e: NOT 00000b7f: ADD 00000b80: SLT 00000b81: PUSH2 0x026a 00000b84: JUMPI 00000b85: PUSH2 0x0b8c 00000b88: PUSH2 0x1a6f 00000b8b: JUMP 00000b8c: JUMPDEST 00000b8d: PUSH4 0x8b78c6d8 00000b92: PUSH1 0x0c 00000b94: MSTORE 00000b95: CALLER 00000b96: PUSH0 00000b97: MSTORE 00000b98: PUSH1 0x02 00000b9a: PUSH1 0x20 00000b9c: PUSH1 0x0c 00000b9e: KECCAK256 00000b9f: SLOAD 00000ba0: AND 00000ba1: ISZERO 00000ba2: PUSH2 0x0c15 00000ba5: JUMPI 00000ba6: PUSH1 0x02 00000ba8: SLOAD 00000ba9: PUSH1 0x01 00000bab: SLOAD 00000bac: PUSH1 0x24 00000bae: CALLDATALOAD 00000baf: PUSH1 0x60 00000bb1: SWAP1 00000bb2: DUP2 00000bb3: MSTORE 00000bb4: PUSH1 0x40 00000bb6: SWAP4 00000bb7: SWAP1 00000bb8: SWAP4 00000bb9: MSTORE 00000bba: SWAP1 00000bbb: SWAP2 00000bbc: SHL 00000bbd: PUSH12 0xffffffffffffffffffffffff 00000bca: NOT 00000bcb: AND 00000bcc: PUSH1 0x2c 00000bce: MSTORE 00000bcf: PUSH4 0x23b872dd 00000bd4: PUSH1 0x60 00000bd6: SHL 00000bd7: PUSH1 0x0c 00000bd9: MSTORE 00000bda: PUSH1 0x01 00000bdc: PUSH1 0x01 00000bde: PUSH1 0xa0 00000be0: SHL 00000be1: SUB 00000be2: AND 00000be3: PUSH1 0x20 00000be5: PUSH0 00000be6: PUSH1 0x64 00000be8: PUSH1 0x1c 00000bea: DUP3 00000beb: DUP6 00000bec: GAS 00000bed: CALL 00000bee: SWAP1 00000bef: DUP2 00000bf0: PUSH1 0x01 00000bf2: PUSH0 00000bf3: MLOAD 00000bf4: EQ 00000bf5: AND 00000bf6: ISZERO 00000bf7: PUSH2 0x0bfc 00000bfa: JUMPI 00000bfb: STOP 00000bfc: JUMPDEST 00000bfd: EXTCODESIZE 00000bfe: ISZERO 00000bff: RETURNDATASIZE 00000c00: OR 00000c01: LT 00000c02: ISZERO 00000c03: PUSH2 0x0c08 00000c06: JUMPI 00000c07: STOP 00000c08: JUMPDEST 00000c09: PUSH4 0x7939f424 00000c0e: PUSH0 00000c0f: MSTORE 00000c10: PUSH1 0x04 00000c12: PUSH1 0x1c 00000c14: REVERT 00000c15: JUMPDEST 00000c16: PUSH4 0x82b42900 00000c1b: PUSH0 00000c1c: MSTORE 00000c1d: PUSH1 0x04 00000c1f: PUSH1 0x1c 00000c21: REVERT 00000c22: JUMPDEST 00000c23: CALLVALUE 00000c24: PUSH2 0x026a 00000c27: JUMPI 00000c28: PUSH1 0x40 00000c2a: CALLDATASIZE 00000c2b: PUSH1 0x03 00000c2d: NOT 00000c2e: ADD 00000c2f: SLT 00000c30: PUSH2 0x026a 00000c33: JUMPI 00000c34: PUSH32 0xb1eae1cc3c910aded471d513328d6c8c8e5e7b8c2f29e376445a68219d457f1d 00000c55: PUSH1 0x40 00000c57: PUSH1 0x04 00000c59: CALLDATALOAD 00000c5a: PUSH1 0x24 00000c5c: CALLDATALOAD 00000c5d: PUSH2 0x0c64 00000c60: PUSH2 0x1c44 00000c63: JUMP 00000c64: JUMPDEST 00000c65: DUP2 00000c66: PUSH1 0x03 00000c68: SSTORE 00000c69: DUP1 00000c6a: PUSH1 0x04 00000c6c: SSTORE 00000c6d: DUP3 00000c6e: MLOAD 00000c6f: SWAP2 00000c70: DUP3 00000c71: MSTORE 00000c72: PUSH1 0x20 00000c74: DUP3 00000c75: ADD 00000c76: MSTORE 00000c77: LOG1 00000c78: STOP 00000c79: JUMPDEST 00000c7a: CALLVALUE 00000c7b: PUSH2 0x026a 00000c7e: JUMPI 00000c7f: PUSH0 00000c80: CALLDATASIZE 00000c81: PUSH1 0x03 00000c83: NOT 00000c84: ADD 00000c85: SLT 00000c86: PUSH2 0x026a 00000c89: JUMPI 00000c8a: PUSH1 0x20 00000c8c: PUSH1 0xff 00000c8e: PUSH1 0x02 00000c90: SLOAD 00000c91: PUSH1 0xb0 00000c93: SHR 00000c94: AND 00000c95: PUSH1 0x40 00000c97: MLOAD 00000c98: SWAP1 00000c99: ISZERO 00000c9a: ISZERO 00000c9b: DUP2 00000c9c: MSTORE 00000c9d: RETURN 00000c9e: JUMPDEST 00000c9f: CALLVALUE 00000ca0: PUSH2 0x026a 00000ca3: JUMPI 00000ca4: PUSH1 0x20 00000ca6: CALLDATASIZE 00000ca7: PUSH1 0x03 00000ca9: NOT 00000caa: ADD 00000cab: SLT 00000cac: PUSH2 0x026a 00000caf: JUMPI 00000cb0: PUSH1 0x04 00000cb2: CALLDATALOAD 00000cb3: DUP1 00000cb4: ISZERO 00000cb5: ISZERO 00000cb6: DUP1 00000cb7: SWAP2 00000cb8: SUB 00000cb9: PUSH2 0x026a 00000cbc: JUMPI 00000cbd: PUSH2 0x0cc4 00000cc0: PUSH2 0x1c44 00000cc3: JUMP 00000cc4: JUMPDEST 00000cc5: PUSH1 0x02 00000cc7: DUP1 00000cc8: SLOAD 00000cc9: PUSH1 0xff 00000ccb: PUSH1 0xa0 00000ccd: SHL 00000cce: NOT 00000ccf: AND 00000cd0: PUSH1 0xa0 00000cd2: SWAP3 00000cd3: SWAP1 00000cd4: SWAP3 00000cd5: SHL 00000cd6: PUSH1 0xff 00000cd8: PUSH1 0xa0 00000cda: SHL 00000cdb: AND 00000cdc: SWAP2 00000cdd: SWAP1 00000cde: SWAP2 00000cdf: OR 00000ce0: SWAP1 00000ce1: SSTORE 00000ce2: STOP 00000ce3: JUMPDEST 00000ce4: CALLVALUE 00000ce5: PUSH2 0x026a 00000ce8: JUMPI 00000ce9: PUSH1 0x20 00000ceb: CALLDATASIZE 00000cec: PUSH1 0x03 00000cee: NOT 00000cef: ADD 00000cf0: SLT 00000cf1: PUSH2 0x026a 00000cf4: JUMPI 00000cf5: PUSH1 0x04 00000cf7: CALLDATALOAD 00000cf8: PUSH0 00000cf9: MSTORE 00000cfa: PUSH1 0x08 00000cfc: PUSH1 0x20 00000cfe: MSTORE 00000cff: PUSH1 0x20 00000d01: PUSH1 0x40 00000d03: PUSH0 00000d04: KECCAK256 00000d05: SLOAD 00000d06: PUSH1 0x40 00000d08: MLOAD 00000d09: SWAP1 00000d0a: DUP2 00000d0b: MSTORE 00000d0c: RETURN 00000d0d: JUMPDEST 00000d0e: CALLVALUE 00000d0f: PUSH2 0x026a 00000d12: JUMPI 00000d13: PUSH1 0x20 00000d15: CALLDATASIZE 00000d16: PUSH1 0x03 00000d18: NOT 00000d19: ADD 00000d1a: SLT 00000d1b: PUSH2 0x026a 00000d1e: JUMPI 00000d1f: PUSH1 0x04 00000d21: CALLDATALOAD 00000d22: DUP1 00000d23: ISZERO 00000d24: ISZERO 00000d25: DUP1 00000d26: SWAP2 00000d27: SUB 00000d28: PUSH2 0x026a 00000d2b: JUMPI 00000d2c: PUSH2 0x0d33 00000d2f: PUSH2 0x1c44 00000d32: JUMP 00000d33: JUMPDEST 00000d34: PUSH1 0x02 00000d36: DUP1 00000d37: SLOAD 00000d38: PUSH1 0xff 00000d3a: PUSH1 0xb0 00000d3c: SHL 00000d3d: NOT 00000d3e: AND 00000d3f: PUSH1 0xb0 00000d41: SWAP3 00000d42: SWAP1 00000d43: SWAP3 00000d44: SHL 00000d45: PUSH1 0xff 00000d47: PUSH1 0xb0 00000d49: SHL 00000d4a: AND 00000d4b: SWAP2 00000d4c: SWAP1 00000d4d: SWAP2 00000d4e: OR 00000d4f: SWAP1 00000d50: SSTORE 00000d51: STOP 00000d52: JUMPDEST 00000d53: CALLVALUE 00000d54: PUSH2 0x026a 00000d57: JUMPI 00000d58: PUSH1 0x60 00000d5a: CALLDATASIZE 00000d5b: PUSH1 0x03 00000d5d: NOT 00000d5e: ADD 00000d5f: SLT 00000d60: PUSH2 0x026a 00000d63: JUMPI 00000d64: PUSH1 0x04 00000d66: CALLDATALOAD 00000d67: PUSH1 0x24 00000d69: CALLDATALOAD 00000d6a: PUSH1 0x01 00000d6c: PUSH1 0x01 00000d6e: PUSH1 0x40 00000d70: SHL 00000d71: SUB 00000d72: DUP2 00000d73: GT 00000d74: PUSH2 0x026a 00000d77: JUMPI 00000d78: CALLDATASIZE 00000d79: PUSH1 0x23 00000d7b: DUP3 00000d7c: ADD 00000d7d: SLT 00000d7e: ISZERO 00000d7f: PUSH2 0x026a 00000d82: JUMPI 00000d83: DUP1 00000d84: PUSH1 0x04 00000d86: ADD 00000d87: CALLDATALOAD 00000d88: SWAP1 00000d89: PUSH2 0x0d91 00000d8c: DUP3 00000d8d: PUSH2 0x1b16 00000d90: JUMP 00000d91: JUMPDEST 00000d92: SWAP1 00000d93: PUSH2 0x0d9f 00000d96: PUSH1 0x40 00000d98: MLOAD 00000d99: SWAP3 00000d9a: DUP4 00000d9b: PUSH2 0x1af5 00000d9e: JUMP 00000d9f: JUMPDEST 00000da0: DUP3 00000da1: DUP3 00000da2: MSTORE 00000da3: PUSH1 0x20 00000da5: DUP3 00000da6: ADD 00000da7: SWAP1 00000da8: PUSH1 0x24 00000daa: DUP3 00000dab: SWAP5 00000dac: PUSH1 0x06 00000dae: SHL 00000daf: DUP3 00000db0: ADD 00000db1: ADD 00000db2: SWAP1 00000db3: CALLDATASIZE 00000db4: DUP3 00000db5: GT 00000db6: PUSH2 0x026a 00000db9: JUMPI 00000dba: PUSH1 0x24 00000dbc: ADD 00000dbd: SWAP2 00000dbe: JUMPDEST 00000dbf: DUP2 00000dc0: DUP4 00000dc1: LT 00000dc2: PUSH2 0x10c9 00000dc5: JUMPI 00000dc6: POP 00000dc7: POP 00000dc8: POP 00000dc9: PUSH1 0x44 00000dcb: CALLDATALOAD 00000dcc: SWAP2 00000dcd: PUSH2 0x0dd4 00000dd0: PUSH2 0x1c44 00000dd3: JUMP 00000dd4: JUMPDEST 00000dd5: DUP4 00000dd6: PUSH0 00000dd7: MSTORE 00000dd8: PUSH1 0x0a 00000dda: PUSH1 0x20 00000ddc: MSTORE 00000ddd: PUSH2 0x0de8 00000de0: PUSH1 0x40 00000de2: PUSH0 00000de3: KECCAK256 00000de4: PUSH2 0x1baa 00000de7: JUMP 00000de8: JUMPDEST 00000de9: SWAP4 00000dea: PUSH0 00000deb: JUMPDEST 00000dec: DUP6 00000ded: MLOAD 00000dee: DUP2 00000def: LT 00000df0: ISZERO 00000df1: PUSH2 0x0ec7 00000df4: JUMPI 00000df5: PUSH1 0x01 00000df7: PUSH1 0x01 00000df9: PUSH1 0xa0 00000dfb: SHL 00000dfc: SUB 00000dfd: PUSH1 0x20 00000dff: PUSH2 0x0e08 00000e02: DUP4 00000e03: DUP10 00000e04: PUSH2 0x1c16 00000e07: JUMP 00000e08: JUMPDEST 00000e09: MLOAD 00000e0a: ADD 00000e0b: MLOAD 00000e0c: AND 00000e0d: PUSH0 00000e0e: MSTORE 00000e0f: PUSH1 0x0b 00000e11: PUSH1 0x20 00000e13: MSTORE 00000e14: PUSH1 0x40 00000e16: PUSH0 00000e17: KECCAK256 00000e18: SLOAD 00000e19: SWAP1 00000e1a: DUP2 00000e1b: PUSH2 0x0e79 00000e1e: JUMPI 00000e1f: JUMPDEST 00000e20: PUSH1 0x01 00000e22: SWAP2 00000e23: ISZERO 00000e24: PUSH2 0x0e2e 00000e27: JUMPI 00000e28: JUMPDEST 00000e29: ADD 00000e2a: PUSH2 0x0deb 00000e2d: JUMP 00000e2e: JUMPDEST 00000e2f: DUP2 00000e30: DUP1 00000e31: PUSH1 0xa0 00000e33: SHL 00000e34: SUB 00000e35: PUSH1 0x20 00000e37: PUSH2 0x0e40 00000e3a: DUP4 00000e3b: DUP11 00000e3c: PUSH2 0x1c16 00000e3f: JUMP 00000e40: JUMPDEST 00000e41: MLOAD 00000e42: ADD 00000e43: MLOAD 00000e44: AND 00000e45: PUSH4 0x8b78c6d8 00000e4a: PUSH1 0x0c 00000e4c: MSTORE 00000e4d: PUSH0 00000e4e: MSTORE 00000e4f: PUSH1 0x20 00000e51: PUSH1 0x0c 00000e53: KECCAK256 00000e54: DUP1 00000e55: SLOAD 00000e56: PUSH1 0x02 00000e58: DUP2 00000e59: AND 00000e5a: XOR 00000e5b: DUP1 00000e5c: SWAP2 00000e5d: SSTORE 00000e5e: PUSH1 0x0c 00000e60: MLOAD 00000e61: PUSH1 0x60 00000e63: SHR 00000e64: PUSH0 00000e65: MLOAD 00000e66: PUSH1 0x20 00000e68: PUSH2 0x1e9b 00000e6b: PUSH0 00000e6c: CODECOPY 00000e6d: PUSH0 00000e6e: MLOAD 00000e6f: SWAP1 00000e70: PUSH0 00000e71: MSTORE 00000e72: PUSH0 00000e73: DUP1 00000e74: LOG3 00000e75: PUSH2 0x0e28 00000e78: JUMP 00000e79: JUMPDEST 00000e7a: PUSH0 00000e7b: NOT 00000e7c: DUP3 00000e7d: ADD 00000e7e: SWAP2 00000e7f: DUP3 00000e80: GT 00000e81: PUSH2 0x0eb3 00000e84: JUMPI 00000e85: PUSH1 0x01 00000e87: SWAP2 00000e88: DUP1 00000e89: PUSH1 0x01 00000e8b: PUSH1 0x01 00000e8d: PUSH1 0xa0 00000e8f: SHL 00000e90: SUB 00000e91: PUSH1 0x20 00000e93: PUSH2 0x0e9c 00000e96: DUP6 00000e97: DUP13 00000e98: PUSH2 0x1c16 00000e9b: JUMP 00000e9c: JUMPDEST 00000e9d: MLOAD 00000e9e: ADD 00000e9f: MLOAD 00000ea0: AND 00000ea1: PUSH0 00000ea2: MSTORE 00000ea3: PUSH1 0x0b 00000ea5: PUSH1 0x20 00000ea7: MSTORE 00000ea8: PUSH1 0x40 00000eaa: PUSH0 00000eab: KECCAK256 00000eac: SSTORE 00000ead: SWAP2 00000eae: POP 00000eaf: PUSH2 0x0e1f 00000eb2: JUMP 00000eb3: JUMPDEST 00000eb4: PUSH4 0x4e487b71 00000eb9: PUSH1 0xe0 00000ebb: SHL 00000ebc: PUSH0 00000ebd: MSTORE 00000ebe: PUSH1 0x11 00000ec0: PUSH1 0x04 00000ec2: MSTORE 00000ec3: PUSH1 0x24 00000ec5: PUSH0 00000ec6: REVERT 00000ec7: JUMPDEST 00000ec8: POP 00000ec9: DUP4 00000eca: PUSH0 00000ecb: JUMPDEST 00000ecc: DUP5 00000ecd: MLOAD 00000ece: DUP2 00000ecf: LT 00000ed0: ISZERO 00000ed1: PUSH2 0x0fa9 00000ed4: JUMPI 00000ed5: PUSH8 0x0de0b6b3a7640000 00000ede: PUSH2 0x0ee7 00000ee1: DUP3 00000ee2: DUP8 00000ee3: PUSH2 0x1c16 00000ee6: JUMP 00000ee7: JUMPDEST 00000ee8: MLOAD 00000ee9: MLOAD 00000eea: GT 00000eeb: PUSH2 0x0f9a 00000eee: JUMPI 00000eef: PUSH1 0x01 00000ef1: PUSH1 0x01 00000ef3: PUSH1 0xa0 00000ef5: SHL 00000ef6: SUB 00000ef7: PUSH1 0x20 00000ef9: PUSH2 0x0f02 00000efc: DUP4 00000efd: DUP9 00000efe: PUSH2 0x1c16 00000f01: JUMP 00000f02: JUMPDEST 00000f03: MLOAD 00000f04: ADD 00000f05: MLOAD 00000f06: AND 00000f07: PUSH0 00000f08: MSTORE 00000f09: PUSH1 0x0b 00000f0b: PUSH1 0x20 00000f0d: MSTORE 00000f0e: PUSH1 0x40 00000f10: PUSH0 00000f11: KECCAK256 00000f12: SLOAD 00000f13: SWAP1 00000f14: DUP2 00000f15: ISZERO 00000f16: PUSH2 0x0f52 00000f19: JUMPI 00000f1a: JUMPDEST 00000f1b: PUSH1 0x01 00000f1d: DUP3 00000f1e: ADD 00000f1f: DUP1 00000f20: SWAP3 00000f21: GT 00000f22: PUSH2 0x0eb3 00000f25: JUMPI 00000f26: PUSH1 0x01 00000f28: SWAP2 00000f29: PUSH1 0x01 00000f2b: PUSH1 0x01 00000f2d: PUSH1 0xa0 00000f2f: SHL 00000f30: SUB 00000f31: PUSH1 0x20 00000f33: PUSH2 0x0f3c 00000f36: DUP5 00000f37: DUP11 00000f38: PUSH2 0x1c16 00000f3b: JUMP 00000f3c: JUMPDEST 00000f3d: MLOAD 00000f3e: ADD 00000f3f: MLOAD 00000f40: AND 00000f41: PUSH0 00000f42: MSTORE 00000f43: PUSH1 0x0b 00000f45: PUSH1 0x20 00000f47: MSTORE 00000f48: PUSH1 0x40 00000f4a: PUSH0 00000f4b: KECCAK256 00000f4c: SSTORE 00000f4d: ADD 00000f4e: PUSH2 0x0ecb 00000f51: JUMP 00000f52: JUMPDEST 00000f53: PUSH1 0x01 00000f55: PUSH1 0x01 00000f57: PUSH1 0xa0 00000f59: SHL 00000f5a: SUB 00000f5b: PUSH1 0x20 00000f5d: PUSH2 0x0f66 00000f60: DUP4 00000f61: DUP10 00000f62: PUSH2 0x1c16 00000f65: JUMP 00000f66: JUMPDEST 00000f67: MLOAD 00000f68: ADD 00000f69: MLOAD 00000f6a: AND 00000f6b: PUSH4 0x8b78c6d8 00000f70: PUSH1 0x0c 00000f72: MSTORE 00000f73: PUSH0 00000f74: MSTORE 00000f75: PUSH1 0x02 00000f77: PUSH1 0x20 00000f79: PUSH1 0x0c 00000f7b: KECCAK256 00000f7c: SSTORE 00000f7d: PUSH1 0x02 00000f7f: PUSH1 0x0c 00000f81: MLOAD 00000f82: PUSH1 0x60 00000f84: SHR 00000f85: PUSH0 00000f86: MLOAD 00000f87: PUSH1 0x20 00000f89: PUSH2 0x1e9b 00000f8c: PUSH0 00000f8d: CODECOPY 00000f8e: PUSH0 00000f8f: MLOAD 00000f90: SWAP1 00000f91: PUSH0 00000f92: MSTORE 00000f93: PUSH0 00000f94: DUP1 00000f95: LOG3 00000f96: PUSH2 0x0f1a 00000f99: JUMP 00000f9a: JUMPDEST 00000f9b: PUSH4 0x0db580a5 00000fa0: PUSH1 0xe3 00000fa2: SHL 00000fa3: PUSH0 00000fa4: MSTORE 00000fa5: PUSH1 0x04 00000fa7: PUSH0 00000fa8: REVERT 00000fa9: JUMPDEST 00000faa: POP 00000fab: DUP3 00000fac: DUP5 00000fad: DUP1 00000fae: MLOAD 00000faf: DUP4 00000fb0: GT 00000fb1: PUSH2 0x0f9a 00000fb4: JUMPI 00000fb5: DUP4 00000fb6: PUSH0 00000fb7: MSTORE 00000fb8: PUSH1 0x0a 00000fba: PUSH1 0x20 00000fbc: MSTORE 00000fbd: PUSH1 0x40 00000fbf: PUSH0 00000fc0: KECCAK256 00000fc1: SWAP1 00000fc2: MLOAD 00000fc3: SWAP2 00000fc4: PUSH9 0x010000000000000000 00000fce: DUP4 00000fcf: GT 00000fd0: PUSH2 0x10b5 00000fd3: JUMPI 00000fd4: DUP2 00000fd5: SLOAD 00000fd6: DUP4 00000fd7: DUP4 00000fd8: SSTORE 00000fd9: DUP1 00000fda: DUP5 00000fdb: LT 00000fdc: PUSH2 0x1063 00000fdf: JUMPI 00000fe0: JUMPDEST 00000fe1: POP 00000fe2: SWAP1 00000fe3: PUSH0 00000fe4: MSTORE 00000fe5: PUSH1 0x20 00000fe7: PUSH0 00000fe8: KECCAK256 00000fe9: PUSH0 00000fea: SWAP2 00000feb: JUMPDEST 00000fec: DUP4 00000fed: DUP4 00000fee: LT 00000fef: PUSH2 0x102a 00000ff2: JUMPI 00000ff3: DUP6 00000ff4: DUP6 00000ff5: DUP2 00000ff6: PUSH0 00000ff7: MSTORE 00000ff8: PUSH1 0x0a 00000ffa: PUSH1 0x20 00000ffc: MSTORE 00000ffd: PUSH1 0x01 00000fff: PUSH1 0x40 00001001: PUSH0 00001002: KECCAK256 00001003: ADD 00001004: SSTORE 00001005: PUSH32 0xd86d1ea68633217e54831fb1fefe8da235e38c6c90f724d939b8be43d5362782 00001026: PUSH0 00001027: DUP1 00001028: LOG2 00001029: STOP 0000102a: JUMPDEST 0000102b: PUSH1 0x02 0000102d: PUSH1 0x20 0000102f: DUP3 00001030: PUSH1 0x01 00001032: SWAP4 00001033: MLOAD 00001034: DUP1 00001035: MLOAD 00001036: DUP7 00001037: SSTORE 00001038: DUP5 00001039: DUP7 0000103a: ADD 0000103b: SWAP1 0000103c: DUP4 0000103d: DUP7 0000103e: DUP1 0000103f: PUSH1 0xa0 00001041: SHL 00001042: SUB 00001043: SWAP2 00001044: ADD 00001045: MLOAD 00001046: AND 00001047: PUSH1 0x01 00001049: PUSH1 0x01 0000104b: PUSH1 0x60 0000104d: SHL 0000104e: SUB 0000104f: PUSH1 0xa0 00001051: SHL 00001052: DUP3 00001053: SLOAD 00001054: AND 00001055: OR 00001056: SWAP1 00001057: SSTORE 00001058: ADD 00001059: SWAP3 0000105a: ADD 0000105b: SWAP3 0000105c: ADD 0000105d: SWAP2 0000105e: SWAP1 0000105f: PUSH2 0x0feb 00001062: JUMP 00001063: JUMPDEST 00001064: PUSH1 0x01 00001066: PUSH1 0x01 00001068: PUSH1 0xff 0000106a: SHL 0000106b: SUB 0000106c: DUP2 0000106d: AND 0000106e: DUP2 0000106f: SUB 00001070: PUSH2 0x0eb3 00001073: JUMPI 00001074: PUSH1 0x01 00001076: PUSH1 0x01 00001078: PUSH1 0xff 0000107a: SHL 0000107b: SUB 0000107c: DUP5 0000107d: AND 0000107e: DUP5 0000107f: SUB 00001080: PUSH2 0x0eb3 00001083: JUMPI 00001084: DUP3 00001085: PUSH0 00001086: MSTORE 00001087: PUSH1 0x20 00001089: PUSH0 0000108a: KECCAK256 0000108b: SWAP1 0000108c: PUSH1 0x01 0000108e: SHL 0000108f: DUP2 00001090: ADD 00001091: SWAP1 00001092: DUP5 00001093: PUSH1 0x01 00001095: SHL 00001096: ADD 00001097: JUMPDEST 00001098: DUP2 00001099: DUP2 0000109a: LT 0000109b: PUSH2 0x10a4 0000109e: JUMPI 0000109f: POP 000010a0: PUSH2 0x0fe0 000010a3: JUMP 000010a4: JUMPDEST 000010a5: PUSH0 000010a6: DUP1 000010a7: DUP3 000010a8: SSTORE 000010a9: PUSH1 0x01 000010ab: DUP3 000010ac: ADD 000010ad: SSTORE 000010ae: PUSH1 0x02 000010b0: ADD 000010b1: PUSH2 0x1097 000010b4: JUMP 000010b5: JUMPDEST 000010b6: PUSH4 0x4e487b71 000010bb: PUSH1 0xe0 000010bd: SHL 000010be: PUSH0 000010bf: MSTORE 000010c0: PUSH1 0x41 000010c2: PUSH1 0x04 000010c4: MSTORE 000010c5: PUSH1 0x24 000010c7: PUSH0 000010c8: REVERT 000010c9: JUMPDEST 000010ca: PUSH1 0x40 000010cc: DUP4 000010cd: CALLDATASIZE 000010ce: SUB 000010cf: SLT 000010d0: PUSH2 0x026a 000010d3: JUMPI 000010d4: PUSH1 0x40 000010d6: MLOAD 000010d7: SWAP1 000010d8: PUSH2 0x10e0 000010db: DUP3 000010dc: PUSH2 0x1abf 000010df: JUMP 000010e0: JUMPDEST 000010e1: DUP4 000010e2: CALLDATALOAD 000010e3: DUP3 000010e4: MSTORE 000010e5: PUSH1 0x20 000010e7: DUP5 000010e8: ADD 000010e9: CALLDATALOAD 000010ea: SWAP1 000010eb: PUSH1 0x01 000010ed: PUSH1 0x01 000010ef: PUSH1 0xa0 000010f1: SHL 000010f2: SUB 000010f3: DUP3 000010f4: AND 000010f5: DUP3 000010f6: SUB 000010f7: PUSH2 0x026a 000010fa: JUMPI 000010fb: DUP3 000010fc: PUSH1 0x20 000010fe: SWAP3 000010ff: DUP4 00001100: PUSH1 0x40 00001102: SWAP6 00001103: ADD 00001104: MSTORE 00001105: DUP2 00001106: MSTORE 00001107: ADD 00001108: SWAP3 00001109: ADD 0000110a: SWAP2 0000110b: PUSH2 0x0dbe 0000110e: JUMP 0000110f: JUMPDEST 00001110: CALLVALUE 00001111: PUSH2 0x026a 00001114: JUMPI 00001115: PUSH1 0x80 00001117: CALLDATASIZE 00001118: PUSH1 0x03 0000111a: NOT 0000111b: ADD 0000111c: SLT 0000111d: PUSH2 0x026a 00001120: JUMPI 00001121: PUSH1 0x04 00001123: CALLDATALOAD 00001124: PUSH1 0x64 00001126: CALLDATALOAD 00001127: PUSH1 0x44 00001129: CALLDATALOAD 0000112a: PUSH1 0x24 0000112c: CALLDATALOAD 0000112d: PUSH2 0x1134 00001130: PUSH2 0x1c44 00001133: JUMP 00001134: JUMPDEST 00001135: DUP3 00001136: DUP3 00001137: GT 00001138: PUSH2 0x11d3 0000113b: JUMPI 0000113c: PUSH2 0x11ce 0000113f: PUSH32 0xf15b3734f84fd5be93889964ca805694f2d85a5380f00b4b0638a16d838a0768 00001160: SWAP4 00001161: DUP6 00001162: PUSH0 00001163: MSTORE 00001164: PUSH1 0x07 00001166: PUSH1 0x20 00001168: MSTORE 00001169: PUSH1 0x40 0000116b: PUSH0 0000116c: KECCAK256 0000116d: PUSH1 0x02 0000116f: PUSH1 0xff 00001171: NOT 00001172: DUP3 00001173: SLOAD 00001174: AND 00001175: OR 00001176: SWAP1 00001177: SSTORE 00001178: PUSH1 0x40 0000117a: MLOAD 0000117b: PUSH2 0x1183 0000117e: DUP2 0000117f: PUSH2 0x1ada 00001182: JUMP 00001183: JUMPDEST 00001184: DUP4 00001185: DUP2 00001186: MSTORE 00001187: PUSH1 0x02 00001189: PUSH1 0x20 0000118b: DUP3 0000118c: ADD 0000118d: DUP7 0000118e: DUP2 0000118f: MSTORE 00001190: PUSH1 0x40 00001192: DUP4 00001193: ADD 00001194: SWAP1 00001195: DUP5 00001196: DUP3 00001197: MSTORE 00001198: DUP10 00001199: PUSH0 0000119a: MSTORE 0000119b: PUSH1 0x09 0000119d: PUSH1 0x20 0000119f: MSTORE 000011a0: PUSH1 0x40 000011a2: PUSH0 000011a3: KECCAK256 000011a4: SWAP4 000011a5: MLOAD 000011a6: DUP5 000011a7: SSTORE 000011a8: MLOAD 000011a9: PUSH1 0x01 000011ab: DUP5 000011ac: ADD 000011ad: SSTORE 000011ae: MLOAD 000011af: SWAP2 000011b0: ADD 000011b1: SSTORE 000011b2: PUSH1 0x40 000011b4: MLOAD 000011b5: SWAP4 000011b6: DUP5 000011b7: SWAP4 000011b8: DUP5 000011b9: PUSH1 0x40 000011bb: SWAP2 000011bc: SWAP5 000011bd: SWAP4 000011be: SWAP3 000011bf: PUSH1 0x60 000011c1: DUP3 000011c2: ADD 000011c3: SWAP6 000011c4: DUP3 000011c5: MSTORE 000011c6: PUSH1 0x20 000011c8: DUP3 000011c9: ADD 000011ca: MSTORE 000011cb: ADD 000011cc: MSTORE 000011cd: JUMP 000011ce: JUMPDEST 000011cf: SUB 000011d0: SWAP1 000011d1: LOG2 000011d2: STOP 000011d3: JUMPDEST 000011d4: PUSH4 0x2b00a33d 000011d9: PUSH1 0xe1 000011db: SHL 000011dc: PUSH0 000011dd: MSTORE 000011de: PUSH1 0x04 000011e0: PUSH0 000011e1: REVERT 000011e2: JUMPDEST 000011e3: CALLVALUE 000011e4: PUSH2 0x026a 000011e7: JUMPI 000011e8: PUSH1 0x20 000011ea: CALLDATASIZE 000011eb: PUSH1 0x03 000011ed: NOT 000011ee: ADD 000011ef: SLT 000011f0: PUSH2 0x026a 000011f3: JUMPI 000011f4: PUSH1 0x04 000011f6: CALLDATALOAD 000011f7: PUSH2 0x11fe 000011fa: PUSH2 0x1c44 000011fd: JUMP 000011fe: JUMPDEST 000011ff: DUP1 00001200: ISZERO 00001201: PUSH2 0x11d3 00001204: JUMPI 00001205: DUP1 00001206: PUSH0 00001207: MSTORE 00001208: PUSH1 0x07 0000120a: PUSH1 0x20 0000120c: MSTORE 0000120d: PUSH1 0x40 0000120f: PUSH0 00001210: KECCAK256 00001211: PUSH1 0xff 00001213: NOT 00001214: DUP2 00001215: SLOAD 00001216: AND 00001217: SWAP1 00001218: SSTORE 00001219: PUSH32 0x12210ee12e90745146d17abc0a475e481c9e86899562eeea70a3f734f7162128 0000123a: PUSH0 0000123b: DUP1 0000123c: LOG2 0000123d: STOP 0000123e: JUMPDEST 0000123f: CALLVALUE 00001240: PUSH2 0x026a 00001243: JUMPI 00001244: PUSH0 00001245: CALLDATASIZE 00001246: PUSH1 0x03 00001248: NOT 00001249: ADD 0000124a: SLT 0000124b: PUSH2 0x026a 0000124e: JUMPI 0000124f: PUSH1 0x20 00001251: PUSH1 0x40 00001253: MLOAD 00001254: PUSH1 0x02 00001256: DUP2 00001257: MSTORE 00001258: RETURN 00001259: JUMPDEST 0000125a: CALLVALUE 0000125b: PUSH2 0x026a 0000125e: JUMPI 0000125f: PUSH1 0x20 00001261: PUSH32 0x025df4885db3fa8c2f03e70fb1245c33dfc0519f7017a1d59b0a214fc96d9e2e 00001282: PUSH2 0x128a 00001285: CALLDATASIZE 00001286: PUSH2 0x1a85 00001289: JUMP 0000128a: JUMPDEST 0000128b: PUSH2 0x1295 0000128e: SWAP4 0000128f: SWAP2 00001290: SWAP4 00001291: PUSH2 0x1c44 00001294: JUMP 00001295: JUMPDEST 00001296: DUP4 00001297: PUSH0 00001298: MSTORE 00001299: PUSH1 0x07 0000129b: DUP3 0000129c: MSTORE 0000129d: PUSH1 0x40 0000129f: PUSH0 000012a0: KECCAK256 000012a1: PUSH1 0x01 000012a3: PUSH1 0xff 000012a5: NOT 000012a6: DUP3 000012a7: SLOAD 000012a8: AND 000012a9: OR 000012aa: SWAP1 000012ab: SSTORE 000012ac: DUP4 000012ad: PUSH0 000012ae: MSTORE 000012af: PUSH1 0x08 000012b1: DUP3 000012b2: MSTORE 000012b3: DUP1 000012b4: PUSH1 0x40 000012b6: PUSH0 000012b7: KECCAK256 000012b8: SSTORE 000012b9: PUSH1 0x40 000012bb: MLOAD 000012bc: SWAP1 000012bd: DUP2 000012be: MSTORE 000012bf: LOG2 000012c0: STOP 000012c1: JUMPDEST 000012c2: CALLVALUE 000012c3: PUSH2 0x026a 000012c6: JUMPI 000012c7: PUSH0 000012c8: CALLDATASIZE 000012c9: PUSH1 0x03 000012cb: NOT 000012cc: ADD 000012cd: SLT 000012ce: PUSH2 0x026a 000012d1: JUMPI 000012d2: PUSH4 0x8b78c6d8 000012d7: NOT 000012d8: SLOAD 000012d9: PUSH1 0x40 000012db: MLOAD 000012dc: PUSH1 0x01 000012de: PUSH1 0x01 000012e0: PUSH1 0xa0 000012e2: SHL 000012e3: SUB 000012e4: SWAP1 000012e5: SWAP2 000012e6: AND 000012e7: DUP2 000012e8: MSTORE 000012e9: PUSH1 0x20 000012eb: SWAP1 000012ec: RETURN 000012ed: JUMPDEST 000012ee: CALLVALUE 000012ef: PUSH2 0x026a 000012f2: JUMPI 000012f3: PUSH2 0x12fb 000012f6: CALLDATASIZE 000012f7: PUSH2 0x1a85 000012fa: JUMP 000012fb: JUMPDEST 000012fc: SWAP1 000012fd: PUSH0 000012fe: MSTORE 000012ff: PUSH1 0x05 00001301: PUSH1 0x20 00001303: MSTORE 00001304: PUSH1 0x40 00001306: PUSH0 00001307: KECCAK256 00001308: SWAP1 00001309: PUSH0 0000130a: MSTORE 0000130b: PUSH1 0x20 0000130d: MSTORE 0000130e: PUSH1 0x40 00001310: DUP1 00001311: PUSH0 00001312: KECCAK256 00001313: PUSH1 0x01 00001315: DUP2 00001316: SLOAD 00001317: SWAP2 00001318: ADD 00001319: SLOAD 0000131a: DUP3 0000131b: MLOAD 0000131c: SWAP2 0000131d: DUP3 0000131e: MSTORE 0000131f: PUSH1 0x20 00001321: DUP3 00001322: ADD 00001323: MSTORE 00001324: RETURN 00001325: JUMPDEST 00001326: CALLVALUE 00001327: PUSH2 0x026a 0000132a: JUMPI 0000132b: PUSH1 0x20 0000132d: CALLDATASIZE 0000132e: PUSH1 0x03 00001330: NOT 00001331: ADD 00001332: SLT 00001333: PUSH2 0x026a 00001336: JUMPI 00001337: PUSH1 0x04 00001339: CALLDATALOAD 0000133a: PUSH0 0000133b: MSTORE 0000133c: PUSH1 0x07 0000133e: PUSH1 0x20 00001340: MSTORE 00001341: PUSH1 0xff 00001343: PUSH1 0x40 00001345: PUSH0 00001346: KECCAK256 00001347: SLOAD 00001348: AND 00001349: PUSH1 0x40 0000134b: MLOAD 0000134c: PUSH1 0x03 0000134e: DUP3 0000134f: LT 00001350: ISZERO 00001351: PUSH2 0x135b 00001354: JUMPI 00001355: PUSH1 0x20 00001357: SWAP2 00001358: DUP2 00001359: MSTORE 0000135a: RETURN 0000135b: JUMPDEST 0000135c: PUSH4 0x4e487b71 00001361: PUSH1 0xe0 00001363: SHL 00001364: PUSH0 00001365: MSTORE 00001366: PUSH1 0x21 00001368: PUSH1 0x04 0000136a: MSTORE 0000136b: PUSH1 0x24 0000136d: PUSH0 0000136e: REVERT 0000136f: JUMPDEST 00001370: CALLVALUE 00001371: PUSH2 0x026a 00001374: JUMPI 00001375: PUSH0 00001376: CALLDATASIZE 00001377: PUSH1 0x03 00001379: NOT 0000137a: ADD 0000137b: SLT 0000137c: PUSH2 0x026a 0000137f: JUMPI 00001380: PUSH2 0x1387 00001383: PUSH2 0x1c44 00001386: JUMP 00001387: JUMPDEST 00001388: PUSH1 0x02 0000138a: DUP1 0000138b: SLOAD 0000138c: PUSH1 0xff 0000138e: PUSH1 0xa8 00001390: SHL 00001391: NOT 00001392: AND 00001393: SWAP1 00001394: SSTORE 00001395: PUSH32 0x9e87fac88ff661f02d44f95383c817fece4bce600a3dab7a54406878b965e752 000013b6: PUSH0 000013b7: DUP1 000013b8: LOG1 000013b9: STOP 000013ba: JUMPDEST 000013bb: CALLVALUE 000013bc: PUSH2 0x026a 000013bf: JUMPI 000013c0: PUSH0 000013c1: CALLDATASIZE 000013c2: PUSH1 0x03 000013c4: NOT 000013c5: ADD 000013c6: SLT 000013c7: PUSH2 0x026a 000013ca: JUMPI 000013cb: PUSH1 0x20 000013cd: PUSH1 0x04 000013cf: SLOAD 000013d0: PUSH1 0x40 000013d2: MLOAD 000013d3: SWAP1 000013d4: DUP2 000013d5: MSTORE 000013d6: RETURN 000013d7: JUMPDEST 000013d8: CALLVALUE 000013d9: PUSH2 0x026a 000013dc: JUMPI 000013dd: PUSH1 0x20 000013df: CALLDATASIZE 000013e0: PUSH1 0x03 000013e2: NOT 000013e3: ADD 000013e4: SLT 000013e5: PUSH2 0x026a 000013e8: JUMPI 000013e9: PUSH1 0x04 000013eb: CALLDATALOAD 000013ec: PUSH0 000013ed: MSTORE 000013ee: PUSH1 0x09 000013f0: PUSH1 0x20 000013f2: MSTORE 000013f3: PUSH1 0x40 000013f5: PUSH0 000013f6: KECCAK256 000013f7: DUP1 000013f8: SLOAD 000013f9: PUSH2 0x1422 000013fc: PUSH1 0x02 000013fe: PUSH1 0x01 00001400: DUP5 00001401: ADD 00001402: SLOAD 00001403: SWAP4 00001404: ADD 00001405: SLOAD 00001406: PUSH1 0x40 00001408: MLOAD 00001409: SWAP4 0000140a: DUP5 0000140b: SWAP4 0000140c: DUP5 0000140d: PUSH1 0x40 0000140f: SWAP2 00001410: SWAP5 00001411: SWAP4 00001412: SWAP3 00001413: PUSH1 0x60 00001415: DUP3 00001416: ADD 00001417: SWAP6 00001418: DUP3 00001419: MSTORE 0000141a: PUSH1 0x20 0000141c: DUP3 0000141d: ADD 0000141e: MSTORE 0000141f: ADD 00001420: MSTORE 00001421: JUMP 00001422: JUMPDEST 00001423: SUB 00001424: SWAP1 00001425: RETURN 00001426: JUMPDEST 00001427: PUSH0 00001428: CALLDATASIZE 00001429: PUSH1 0x03 0000142b: NOT 0000142c: ADD 0000142d: SLT 0000142e: PUSH2 0x026a 00001431: JUMPI 00001432: PUSH2 0x1439 00001435: PUSH2 0x1de3 00001438: JUMP 00001439: JUMPDEST 0000143a: PUSH0 0000143b: PUSH4 0x8b78c6d8 00001440: NOT 00001441: SLOAD 00001442: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00001463: DUP3 00001464: DUP1 00001465: LOG3 00001466: PUSH0 00001467: PUSH4 0x8b78c6d8 0000146c: NOT 0000146d: SSTORE 0000146e: STOP 0000146f: JUMPDEST 00001470: CALLVALUE 00001471: PUSH2 0x026a 00001474: JUMPI 00001475: PUSH1 0x20 00001477: CALLDATASIZE 00001478: PUSH1 0x03 0000147a: NOT 0000147b: ADD 0000147c: SLT 0000147d: PUSH2 0x026a 00001480: JUMPI 00001481: PUSH2 0x1488 00001484: PUSH2 0x1a6f 00001487: JUMP 00001488: JUMPDEST 00001489: PUSH2 0x1490 0000148c: PUSH2 0x1c44 0000148f: JUMP 00001490: JUMPDEST 00001491: PUSH0 00001492: DUP1 00001493: SLOAD 00001494: PUSH1 0x01 00001496: PUSH1 0x01 00001498: PUSH1 0xa0 0000149a: SHL 0000149b: SUB 0000149c: NOT 0000149d: AND 0000149e: PUSH1 0x01 000014a0: PUSH1 0x01 000014a2: PUSH1 0xa0 000014a4: SHL 000014a5: SUB 000014a6: SWAP3 000014a7: SWAP1 000014a8: SWAP3 000014a9: AND 000014aa: SWAP2 000014ab: SWAP1 000014ac: SWAP2 000014ad: OR 000014ae: SWAP1 000014af: SSTORE 000014b0: STOP 000014b1: JUMPDEST 000014b2: CALLVALUE 000014b3: PUSH2 0x026a 000014b6: JUMPI 000014b7: PUSH1 0x20 000014b9: CALLDATASIZE 000014ba: PUSH1 0x03 000014bc: NOT 000014bd: ADD 000014be: SLT 000014bf: PUSH2 0x026a 000014c2: JUMPI 000014c3: PUSH2 0x14ca 000014c6: PUSH2 0x1a6f 000014c9: JUMP 000014ca: JUMPDEST 000014cb: PUSH2 0x14d2 000014ce: PUSH2 0x1c44 000014d1: JUMP 000014d2: JUMPDEST 000014d3: PUSH1 0x01 000014d5: DUP1 000014d6: SLOAD 000014d7: PUSH1 0x01 000014d9: PUSH1 0x01 000014db: PUSH1 0xa0 000014dd: SHL 000014de: SUB 000014df: NOT 000014e0: AND 000014e1: PUSH1 0x01 000014e3: PUSH1 0x01 000014e5: PUSH1 0xa0 000014e7: SHL 000014e8: SUB 000014e9: SWAP3 000014ea: SWAP1 000014eb: SWAP3 000014ec: AND 000014ed: SWAP2 000014ee: DUP3 000014ef: OR 000014f0: SWAP1 000014f1: SSTORE 000014f2: PUSH32 0xe7ae49f883c825b05681b3e00e8be6fdea9ed2a8a45e4c6ecb9390fc44cce615 00001513: PUSH0 00001514: DUP1 00001515: LOG2 00001516: STOP 00001517: JUMPDEST 00001518: CALLVALUE 00001519: PUSH2 0x026a 0000151c: JUMPI 0000151d: PUSH2 0x1525 00001520: CALLDATASIZE 00001521: PUSH2 0x1a85 00001524: JUMP 00001525: JUMPDEST 00001526: SWAP1 00001527: PUSH2 0x152e 0000152a: PUSH2 0x1c44 0000152d: JUMP 0000152e: JUMPDEST 0000152f: DUP1 00001530: PUSH0 00001531: MSTORE 00001532: PUSH1 0x06 00001534: PUSH1 0x20 00001536: MSTORE 00001537: DUP2 00001538: PUSH1 0x40 0000153a: PUSH0 0000153b: KECCAK256 0000153c: SSTORE 0000153d: PUSH32 0x3682d1b5af5713d476c20cf60350e03fdac90b780edd73deb925f1d864b9809e 0000155e: PUSH0 0000155f: DUP1 00001560: LOG3 00001561: STOP 00001562: JUMPDEST 00001563: CALLVALUE 00001564: PUSH2 0x026a 00001567: JUMPI 00001568: PUSH0 00001569: CALLDATASIZE 0000156a: PUSH1 0x03 0000156c: NOT 0000156d: ADD 0000156e: SLT 0000156f: PUSH2 0x026a 00001572: JUMPI 00001573: PUSH2 0x1422 00001576: PUSH1 0x40 00001578: MLOAD 00001579: PUSH2 0x1583 0000157c: PUSH1 0x40 0000157e: DUP3 0000157f: PUSH2 0x1af5 00001582: JUMP 00001583: JUMPDEST 00001584: PUSH1 0x05 00001586: DUP2 00001587: MSTORE 00001588: PUSH5 0x0332e302e3 0000158e: PUSH1 0xdc 00001590: SHL 00001591: PUSH1 0x20 00001593: DUP3 00001594: ADD 00001595: MSTORE 00001596: PUSH1 0x40 00001598: MLOAD 00001599: SWAP2 0000159a: DUP3 0000159b: SWAP2 0000159c: PUSH1 0x20 0000159e: DUP4 0000159f: MSTORE 000015a0: PUSH1 0x20 000015a2: DUP4 000015a3: ADD 000015a4: SWAP1 000015a5: PUSH2 0x1a9b 000015a8: JUMP 000015a9: JUMPDEST 000015aa: PUSH0 000015ab: CALLDATASIZE 000015ac: PUSH1 0x03 000015ae: NOT 000015af: ADD 000015b0: SLT 000015b1: PUSH2 0x026a 000015b4: JUMPI 000015b5: PUSH4 0x389a75e1 000015ba: PUSH1 0x0c 000015bc: MSTORE 000015bd: CALLER 000015be: PUSH0 000015bf: MSTORE 000015c0: PUSH0 000015c1: PUSH1 0x20 000015c3: PUSH1 0x0c 000015c5: KECCAK256 000015c6: SSTORE 000015c7: CALLER 000015c8: PUSH32 0xfa7b8eab7da67f412cc9575ed43464468f9bfbae89d1675917346ca6d8fe3c92 000015e9: PUSH0 000015ea: DUP1 000015eb: LOG2 000015ec: STOP 000015ed: JUMPDEST 000015ee: CALLVALUE 000015ef: PUSH2 0x026a 000015f2: JUMPI 000015f3: PUSH1 0x40 000015f5: CALLDATASIZE 000015f6: PUSH1 0x03 000015f8: NOT 000015f9: ADD 000015fa: SLT 000015fb: PUSH2 0x026a 000015fe: JUMPI 000015ff: PUSH2 0x1606 00001602: PUSH2 0x1a6f 00001605: JUMP 00001606: JUMPDEST 00001607: PUSH4 0x8b78c6d8 0000160c: PUSH1 0x0c 0000160e: MSTORE 0000160f: PUSH0 00001610: MSTORE 00001611: PUSH1 0x20 00001613: PUSH1 0x24 00001615: CALLDATALOAD 00001616: DUP2 00001617: PUSH1 0x0c 00001619: KECCAK256 0000161a: SLOAD 0000161b: AND 0000161c: ISZERO 0000161d: ISZERO 0000161e: PUSH1 0x40 00001620: MLOAD 00001621: SWAP1 00001622: DUP2 00001623: MSTORE 00001624: RETURN 00001625: JUMPDEST 00001626: PUSH1 0x40 00001628: CALLDATASIZE 00001629: PUSH1 0x03 0000162b: NOT 0000162c: ADD 0000162d: SLT 0000162e: PUSH2 0x026a 00001631: JUMPI 00001632: PUSH2 0x001a 00001635: PUSH2 0x163c 00001638: PUSH2 0x1a6f 0000163b: JUMP 0000163c: JUMPDEST 0000163d: PUSH2 0x1644 00001640: PUSH2 0x1de3 00001643: JUMP 00001644: JUMPDEST 00001645: PUSH1 0x24 00001647: CALLDATALOAD 00001648: SWAP1 00001649: PUSH2 0x1e68 0000164c: JUMP 0000164d: JUMPDEST 0000164e: CALLVALUE 0000164f: PUSH2 0x026a 00001652: JUMPI 00001653: PUSH1 0x20 00001655: CALLDATASIZE 00001656: PUSH1 0x03 00001658: NOT 00001659: ADD 0000165a: SLT 0000165b: PUSH2 0x026a 0000165e: JUMPI 0000165f: PUSH0 00001660: PUSH1 0x20 00001662: PUSH1 0x40 00001664: MLOAD 00001665: PUSH2 0x166d 00001668: DUP2 00001669: PUSH2 0x1abf 0000166c: JUMP 0000166d: JUMPDEST 0000166e: PUSH1 0x60 00001670: DUP2 00001671: MSTORE 00001672: ADD 00001673: MSTORE 00001674: PUSH1 0x04 00001676: CALLDATALOAD 00001677: PUSH0 00001678: MSTORE 00001679: PUSH1 0x0a 0000167b: PUSH1 0x20 0000167d: MSTORE 0000167e: PUSH1 0x40 00001680: PUSH0 00001681: KECCAK256 00001682: PUSH1 0x01 00001684: PUSH1 0x40 00001686: MLOAD 00001687: SWAP2 00001688: PUSH2 0x1690 0000168b: DUP4 0000168c: PUSH2 0x1abf 0000168f: JUMP 00001690: JUMPDEST 00001691: PUSH2 0x1699 00001694: DUP2 00001695: PUSH2 0x1baa 00001698: JUMP 00001699: JUMPDEST 0000169a: DUP4 0000169b: MSTORE 0000169c: ADD 0000169d: SLOAD 0000169e: PUSH1 0x20 000016a0: DUP3 000016a1: ADD 000016a2: SWAP1 000016a3: DUP2 000016a4: MSTORE 000016a5: PUSH1 0x40 000016a7: MLOAD 000016a8: SWAP1 000016a9: PUSH1 0x20 000016ab: DUP3 000016ac: MSTORE 000016ad: PUSH1 0x60 000016af: DUP3 000016b0: ADD 000016b1: SWAP3 000016b2: MLOAD 000016b3: SWAP1 000016b4: PUSH1 0x40 000016b6: PUSH1 0x20 000016b8: DUP5 000016b9: ADD 000016ba: MSTORE 000016bb: DUP2 000016bc: MLOAD 000016bd: DUP1 000016be: SWAP5 000016bf: MSTORE 000016c0: PUSH1 0x20 000016c2: PUSH1 0x80 000016c4: DUP5 000016c5: ADD 000016c6: SWAP3 000016c7: ADD 000016c8: PUSH0 000016c9: SWAP5 000016ca: JUMPDEST 000016cb: DUP1 000016cc: DUP7 000016cd: LT 000016ce: PUSH2 0x16e0 000016d1: JUMPI 000016d2: POP 000016d3: POP 000016d4: DUP3 000016d5: SWAP4 000016d6: POP 000016d7: MLOAD 000016d8: PUSH1 0x40 000016da: DUP4 000016db: ADD 000016dc: MSTORE 000016dd: SUB 000016de: SWAP1 000016df: RETURN 000016e0: JUMPDEST 000016e1: DUP2 000016e2: MLOAD 000016e3: DUP1 000016e4: MLOAD 000016e5: DUP6 000016e6: MSTORE 000016e7: PUSH1 0x20 000016e9: SWAP1 000016ea: DUP2 000016eb: ADD 000016ec: MLOAD 000016ed: PUSH1 0x01 000016ef: PUSH1 0x01 000016f1: PUSH1 0xa0 000016f3: SHL 000016f4: SUB 000016f5: AND 000016f6: DUP2 000016f7: DUP7 000016f8: ADD 000016f9: MSTORE 000016fa: PUSH1 0x01 000016fc: SWAP7 000016fd: SWAP1 000016fe: SWAP7 000016ff: ADD 00001700: SWAP6 00001701: PUSH1 0x40 00001703: SWAP1 00001704: SWAP5 00001705: ADD 00001706: SWAP4 00001707: SWAP1 00001708: SWAP2 00001709: ADD 0000170a: SWAP1 0000170b: PUSH2 0x16ca 0000170e: JUMP 0000170f: JUMPDEST 00001710: CALLVALUE 00001711: PUSH2 0x026a 00001714: JUMPI 00001715: PUSH0 00001716: CALLDATASIZE 00001717: PUSH1 0x03 00001719: NOT 0000171a: ADD 0000171b: SLT 0000171c: PUSH2 0x026a 0000171f: JUMPI 00001720: PUSH2 0x1727 00001723: PUSH2 0x1c44 00001726: JUMP 00001727: JUMPDEST 00001728: PUSH1 0x02 0000172a: DUP1 0000172b: SLOAD 0000172c: PUSH1 0xff 0000172e: PUSH1 0xa8 00001730: SHL 00001731: NOT 00001732: AND 00001733: PUSH1 0x01 00001735: PUSH1 0xa8 00001737: SHL 00001738: OR 00001739: SWAP1 0000173a: SSTORE 0000173b: PUSH32 0xa45f47fdea8a1efdd9029a5691c7f759c32b7c698632b563573e155625d16933 0000175c: PUSH0 0000175d: DUP1 0000175e: LOG1 0000175f: STOP 00001760: JUMPDEST 00001761: CALLVALUE 00001762: PUSH2 0x026a 00001765: JUMPI 00001766: PUSH2 0x176e 00001769: CALLDATASIZE 0000176a: PUSH2 0x1a85 0000176d: JUMP 0000176e: JUMPDEST 0000176f: SWAP1 00001770: PUSH0 00001771: MSTORE 00001772: PUSH1 0x0a 00001774: PUSH1 0x20 00001776: MSTORE 00001777: PUSH1 0x40 00001779: PUSH0 0000177a: KECCAK256 0000177b: SWAP1 0000177c: DUP2 0000177d: SLOAD 0000177e: DUP2 0000177f: LT 00001780: ISZERO 00001781: PUSH2 0x17a3 00001784: JUMPI 00001785: PUSH1 0x20 00001787: SWAP2 00001788: PUSH0 00001789: MSTORE 0000178a: PUSH1 0x01 0000178c: DUP3 0000178d: PUSH0 0000178e: KECCAK256 0000178f: DUP2 00001790: DUP1 00001791: PUSH1 0xa0 00001793: SHL 00001794: SUB 00001795: SWAP3 00001796: DUP3 00001797: SHL 00001798: ADD 00001799: ADD 0000179a: SLOAD 0000179b: AND 0000179c: PUSH1 0x40 0000179e: MLOAD 0000179f: SWAP1 000017a0: DUP2 000017a1: MSTORE 000017a2: RETURN 000017a3: JUMPDEST 000017a4: PUSH4 0x4e487b71 000017a9: PUSH1 0xe0 000017ab: SHL 000017ac: PUSH0 000017ad: MSTORE 000017ae: PUSH1 0x32 000017b0: PUSH1 0x04 000017b2: MSTORE 000017b3: PUSH1 0x24 000017b5: PUSH0 000017b6: REVERT 000017b7: JUMPDEST 000017b8: CALLVALUE 000017b9: PUSH2 0x026a 000017bc: JUMPI 000017bd: PUSH1 0x20 000017bf: CALLDATASIZE 000017c0: PUSH1 0x03 000017c2: NOT 000017c3: ADD 000017c4: SLT 000017c5: PUSH2 0x026a 000017c8: JUMPI 000017c9: PUSH2 0x17d0 000017cc: PUSH2 0x1a6f 000017cf: JUMP 000017d0: JUMPDEST 000017d1: PUSH4 0x8b78c6d8 000017d6: PUSH1 0x0c 000017d8: MSTORE 000017d9: PUSH0 000017da: MSTORE 000017db: PUSH1 0x20 000017dd: DUP1 000017de: PUSH1 0x0c 000017e0: KECCAK256 000017e1: SLOAD 000017e2: PUSH1 0x40 000017e4: MLOAD 000017e5: SWAP1 000017e6: DUP2 000017e7: MSTORE 000017e8: RETURN 000017e9: JUMPDEST 000017ea: PUSH0 000017eb: CALLDATASIZE 000017ec: PUSH1 0x03 000017ee: NOT 000017ef: ADD 000017f0: SLT 000017f1: PUSH2 0x026a 000017f4: JUMPI 000017f5: PUSH4 0x389a75e1 000017fa: PUSH1 0x0c 000017fc: MSTORE 000017fd: CALLER 000017fe: PUSH0 000017ff: MSTORE 00001800: PUSH3 0x02a300 00001804: TIMESTAMP 00001805: ADD 00001806: PUSH1 0x20 00001808: PUSH1 0x0c 0000180a: KECCAK256 0000180b: SSTORE 0000180c: CALLER 0000180d: PUSH32 0xdbf36a107da19e49527a7176a1babf963b4b0ff8cde35ee35d6cd8f1f9ac7e1d 0000182e: PUSH0 0000182f: DUP1 00001830: LOG2 00001831: STOP 00001832: JUMPDEST 00001833: CALLVALUE 00001834: PUSH2 0x026a 00001837: JUMPI 00001838: PUSH0 00001839: CALLDATASIZE 0000183a: PUSH1 0x03 0000183c: NOT 0000183d: ADD 0000183e: SLT 0000183f: PUSH2 0x026a 00001842: JUMPI 00001843: PUSH0 00001844: SLOAD 00001845: PUSH1 0x40 00001847: MLOAD 00001848: PUSH1 0x01 0000184a: PUSH1 0x01 0000184c: PUSH1 0xa0 0000184e: SHL 0000184f: SUB 00001850: SWAP1 00001851: SWAP2 00001852: AND 00001853: DUP2 00001854: MSTORE 00001855: PUSH1 0x20 00001857: SWAP1 00001858: RETURN 00001859: JUMPDEST 0000185a: CALLVALUE 0000185b: PUSH2 0x026a 0000185e: JUMPI 0000185f: PUSH0 00001860: CALLDATASIZE 00001861: PUSH1 0x03 00001863: NOT 00001864: ADD 00001865: SLT 00001866: PUSH2 0x026a 00001869: JUMPI 0000186a: PUSH1 0x20 0000186c: PUSH1 0xff 0000186e: PUSH1 0x02 00001870: SLOAD 00001871: PUSH1 0xa0 00001873: SHR 00001874: AND 00001875: PUSH1 0x40 00001877: MLOAD 00001878: SWAP1 00001879: ISZERO 0000187a: ISZERO 0000187b: DUP2 0000187c: MSTORE 0000187d: RETURN 0000187e: JUMPDEST 0000187f: CALLVALUE 00001880: PUSH2 0x026a 00001883: JUMPI 00001884: PUSH1 0x40 00001886: CALLDATASIZE 00001887: PUSH1 0x03 00001889: NOT 0000188a: ADD 0000188b: SLT 0000188c: PUSH2 0x026a 0000188f: JUMPI 00001890: PUSH1 0x20 00001892: PUSH2 0x1899 00001895: PUSH2 0x1a6f 00001898: JUMP 00001899: JUMPDEST 0000189a: PUSH1 0x24 0000189c: CALLDATALOAD 0000189d: SWAP1 0000189e: PUSH4 0x8b78c6d8 000018a3: PUSH1 0x0c 000018a5: MSTORE 000018a6: PUSH0 000018a7: MSTORE 000018a8: DUP1 000018a9: DUP3 000018aa: PUSH1 0x0c 000018ac: KECCAK256 000018ad: SLOAD 000018ae: AND 000018af: EQ 000018b0: PUSH1 0x40 000018b2: MLOAD 000018b3: SWAP1 000018b4: DUP2 000018b5: MSTORE 000018b6: RETURN 000018b7: JUMPDEST 000018b8: PUSH1 0x40 000018ba: CALLDATASIZE 000018bb: PUSH1 0x03 000018bd: NOT 000018be: ADD 000018bf: SLT 000018c0: PUSH2 0x026a 000018c3: JUMPI 000018c4: PUSH2 0x18cb 000018c7: PUSH2 0x1a6f 000018ca: JUMP 000018cb: JUMPDEST 000018cc: PUSH2 0x18d3 000018cf: PUSH2 0x1de3 000018d2: JUMP 000018d3: JUMPDEST 000018d4: PUSH4 0x8b78c6d8 000018d9: PUSH1 0x0c 000018db: MSTORE 000018dc: PUSH0 000018dd: MSTORE 000018de: PUSH1 0x20 000018e0: PUSH1 0x0c 000018e2: KECCAK256 000018e3: PUSH1 0x24 000018e5: CALLDATALOAD 000018e6: DUP2 000018e7: SLOAD 000018e8: OR 000018e9: DUP1 000018ea: SWAP2 000018eb: SSTORE 000018ec: PUSH1 0x0c 000018ee: MLOAD 000018ef: PUSH1 0x60 000018f1: SHR 000018f2: PUSH0 000018f3: MLOAD 000018f4: PUSH1 0x20 000018f6: PUSH2 0x1e9b 000018f9: PUSH0 000018fa: CODECOPY 000018fb: PUSH0 000018fc: MLOAD 000018fd: SWAP1 000018fe: PUSH0 000018ff: MSTORE 00001900: PUSH0 00001901: DUP1 00001902: LOG3 00001903: STOP 00001904: JUMPDEST 00001905: CALLVALUE 00001906: PUSH2 0x026a 00001909: JUMPI 0000190a: PUSH1 0x20 0000190c: CALLDATASIZE 0000190d: PUSH1 0x03 0000190f: NOT 00001910: ADD 00001911: SLT 00001912: PUSH2 0x026a 00001915: JUMPI 00001916: PUSH2 0x191d 00001919: PUSH2 0x1a6f 0000191c: JUMP 0000191d: JUMPDEST 0000191e: PUSH2 0x1925 00001921: PUSH2 0x1de3 00001924: JUMP 00001925: JUMPDEST 00001926: SELFBALANCE 00001927: SWAP1 00001928: DUP2 00001929: PUSH2 0x192e 0000192c: JUMPI 0000192d: STOP 0000192e: JUMPDEST 0000192f: PUSH1 0x01 00001931: PUSH1 0x01 00001933: PUSH1 0xa0 00001935: SHL 00001936: SUB 00001937: AND 00001938: SWAP1 00001939: PUSH0 0000193a: DUP1 0000193b: DUP1 0000193c: DUP1 0000193d: DUP5 0000193e: DUP7 0000193f: GAS 00001940: CALL 00001941: RETURNDATASIZE 00001942: ISZERO 00001943: PUSH2 0x19a9 00001946: JUMPI 00001947: RETURNDATASIZE 00001948: PUSH2 0x1950 0000194b: DUP2 0000194c: PUSH2 0x1b8f 0000194f: JUMP 00001950: JUMPDEST 00001951: SWAP1 00001952: PUSH2 0x195e 00001955: PUSH1 0x40 00001957: MLOAD 00001958: SWAP3 00001959: DUP4 0000195a: PUSH2 0x1af5 0000195d: JUMP 0000195e: JUMPDEST 0000195f: DUP2 00001960: MSTORE 00001961: PUSH0 00001962: PUSH1 0x20 00001964: RETURNDATASIZE 00001965: SWAP3 00001966: ADD 00001967: RETURNDATACOPY 00001968: JUMPDEST 00001969: ISZERO 0000196a: PUSH2 0x199a 0000196d: JUMPI 0000196e: PUSH1 0x20 00001970: PUSH32 0x7084f5476618d8e60b11ef0d7d3f06914655adb8793e28ff7f018d4c76d505d5 00001991: SWAP2 00001992: PUSH1 0x40 00001994: MLOAD 00001995: SWAP1 00001996: DUP2 00001997: MSTORE 00001998: LOG2 00001999: STOP 0000199a: JUMPDEST 0000199b: PUSH4 0x1d42c867 000019a0: PUSH1 0xe2 000019a2: SHL 000019a3: PUSH0 000019a4: MSTORE 000019a5: PUSH1 0x04 000019a7: PUSH0 000019a8: REVERT 000019a9: JUMPDEST 000019aa: PUSH2 0x1968 000019ad: JUMP 000019ae: JUMPDEST 000019af: PUSH1 0x20 000019b1: CALLDATASIZE 000019b2: PUSH1 0x03 000019b4: NOT 000019b5: ADD 000019b6: SLT 000019b7: PUSH2 0x026a 000019ba: JUMPI 000019bb: PUSH2 0x001a 000019be: PUSH1 0x04 000019c0: CALLDATALOAD 000019c1: CALLER 000019c2: PUSH2 0x1e68 000019c5: JUMP 000019c6: JUMPDEST 000019c7: CALLVALUE 000019c8: PUSH2 0x026a 000019cb: JUMPI 000019cc: PUSH1 0x20 000019ce: PUSH2 0x19df 000019d1: PUSH2 0x19d9 000019d4: CALLDATASIZE 000019d5: PUSH2 0x1a85 000019d8: JUMP 000019d9: JUMPDEST 000019da: SWAP1 000019db: PUSH2 0x1b5a 000019de: JUMP 000019df: JUMPDEST 000019e0: PUSH1 0x40 000019e2: MLOAD 000019e3: SWAP1 000019e4: DUP2 000019e5: MSTORE 000019e6: RETURN 000019e7: JUMPDEST 000019e8: CALLVALUE 000019e9: PUSH2 0x026a 000019ec: JUMPI 000019ed: PUSH1 0x20 000019ef: CALLDATASIZE 000019f0: PUSH1 0x03 000019f2: NOT 000019f3: ADD 000019f4: SLT 000019f5: PUSH2 0x026a 000019f8: JUMPI 000019f9: PUSH2 0x1a00 000019fc: PUSH2 0x1a6f 000019ff: JUMP 00001a00: JUMPDEST 00001a01: PUSH2 0x1a08 00001a04: PUSH2 0x1c44 00001a07: JUMP 00001a08: JUMPDEST 00001a09: PUSH1 0x02 00001a0b: DUP1 00001a0c: SLOAD 00001a0d: PUSH1 0x01 00001a0f: PUSH1 0x01 00001a11: PUSH1 0xa0 00001a13: SHL 00001a14: SUB 00001a15: NOT 00001a16: AND 00001a17: PUSH1 0x01 00001a19: PUSH1 0x01 00001a1b: PUSH1 0xa0 00001a1d: SHL 00001a1e: SUB 00001a1f: SWAP3 00001a20: SWAP1 00001a21: SWAP3 00001a22: AND 00001a23: SWAP2 00001a24: DUP3 00001a25: OR 00001a26: SWAP1 00001a27: SSTORE 00001a28: PUSH32 0xa07c91c183e42229e705a9795a1c06d76528b673788b849597364528c96eefb7 00001a49: PUSH0 00001a4a: DUP1 00001a4b: LOG2 00001a4c: STOP 00001a4d: JUMPDEST 00001a4e: CALLVALUE 00001a4f: PUSH2 0x026a 00001a52: JUMPI 00001a53: PUSH0 00001a54: CALLDATASIZE 00001a55: PUSH1 0x03 00001a57: NOT 00001a58: ADD 00001a59: SLT 00001a5a: PUSH2 0x026a 00001a5d: JUMPI 00001a5e: PUSH1 0x20 00001a60: SWAP1 00001a61: PUSH1 0xff 00001a63: PUSH1 0x02 00001a65: SLOAD 00001a66: PUSH1 0xa8 00001a68: SHR 00001a69: AND 00001a6a: ISZERO 00001a6b: ISZERO 00001a6c: DUP2 00001a6d: MSTORE 00001a6e: RETURN 00001a6f: JUMPDEST 00001a70: PUSH1 0x04 00001a72: CALLDATALOAD 00001a73: SWAP1 00001a74: PUSH1 0x01 00001a76: PUSH1 0x01 00001a78: PUSH1 0xa0 00001a7a: SHL 00001a7b: SUB 00001a7c: DUP3 00001a7d: AND 00001a7e: DUP3 00001a7f: SUB 00001a80: PUSH2 0x026a 00001a83: JUMPI 00001a84: JUMP 00001a85: JUMPDEST 00001a86: PUSH1 0x40 00001a88: SWAP1 00001a89: PUSH1 0x03 00001a8b: NOT 00001a8c: ADD 00001a8d: SLT 00001a8e: PUSH2 0x026a 00001a91: JUMPI 00001a92: PUSH1 0x04 00001a94: CALLDATALOAD 00001a95: SWAP1 00001a96: PUSH1 0x24 00001a98: CALLDATALOAD 00001a99: SWAP1 00001a9a: JUMP 00001a9b: JUMPDEST 00001a9c: DUP1 00001a9d: MLOAD 00001a9e: DUP1 00001a9f: DUP4 00001aa0: MSTORE 00001aa1: PUSH1 0x20 00001aa3: SWAP3 00001aa4: SWAP2 00001aa5: DUP2 00001aa6: SWAP1 00001aa7: DUP5 00001aa8: ADD 00001aa9: DUP5 00001aaa: DUP5 00001aab: ADD 00001aac: MCOPY 00001aad: PUSH0 00001aae: DUP3 00001aaf: DUP3 00001ab0: ADD 00001ab1: DUP5 00001ab2: ADD 00001ab3: MSTORE 00001ab4: PUSH1 0x1f 00001ab6: ADD 00001ab7: PUSH1 0x1f 00001ab9: NOT 00001aba: AND 00001abb: ADD 00001abc: ADD 00001abd: SWAP1 00001abe: JUMP 00001abf: JUMPDEST 00001ac0: PUSH1 0x40 00001ac2: DUP2 00001ac3: ADD 00001ac4: SWAP1 00001ac5: DUP2 00001ac6: LT 00001ac7: PUSH1 0x01 00001ac9: PUSH1 0x01 00001acb: PUSH1 0x40 00001acd: SHL 00001ace: SUB 00001acf: DUP3 00001ad0: GT 00001ad1: OR 00001ad2: PUSH2 0x10b5 00001ad5: JUMPI 00001ad6: PUSH1 0x40 00001ad8: MSTORE 00001ad9: JUMP 00001ada: JUMPDEST 00001adb: PUSH1 0x60 00001add: DUP2 00001ade: ADD 00001adf: SWAP1 00001ae0: DUP2 00001ae1: LT 00001ae2: PUSH1 0x01 00001ae4: PUSH1 0x01 00001ae6: PUSH1 0x40 00001ae8: SHL 00001ae9: SUB 00001aea: DUP3 00001aeb: GT 00001aec: OR 00001aed: PUSH2 0x10b5 00001af0: JUMPI 00001af1: PUSH1 0x40 00001af3: MSTORE 00001af4: JUMP 00001af5: JUMPDEST 00001af6: SWAP1 00001af7: PUSH1 0x1f 00001af9: DUP1 00001afa: NOT 00001afb: SWAP2 00001afc: ADD 00001afd: AND 00001afe: DUP2 00001aff: ADD 00001b00: SWAP1 00001b01: DUP2 00001b02: LT 00001b03: PUSH1 0x01 00001b05: PUSH1 0x01 00001b07: PUSH1 0x40 00001b09: SHL 00001b0a: SUB 00001b0b: DUP3 00001b0c: GT 00001b0d: OR 00001b0e: PUSH2 0x10b5 00001b11: JUMPI 00001b12: PUSH1 0x40 00001b14: MSTORE 00001b15: JUMP 00001b16: JUMPDEST 00001b17: PUSH1 0x01 00001b19: PUSH1 0x01 00001b1b: PUSH1 0x40 00001b1d: SHL 00001b1e: SUB 00001b1f: DUP2 00001b20: GT 00001b21: PUSH2 0x10b5 00001b24: JUMPI 00001b25: PUSH1 0x05 00001b27: SHL 00001b28: PUSH1 0x20 00001b2a: ADD 00001b2b: SWAP1 00001b2c: JUMP 00001b2d: JUMPDEST 00001b2e: SWAP2 00001b2f: DUP2 00001b30: PUSH1 0x1f 00001b32: DUP5 00001b33: ADD 00001b34: SLT 00001b35: ISZERO 00001b36: PUSH2 0x026a 00001b39: JUMPI 00001b3a: DUP3 00001b3b: CALLDATALOAD 00001b3c: SWAP2 00001b3d: PUSH1 0x01 00001b3f: PUSH1 0x01 00001b41: PUSH1 0x40 00001b43: SHL 00001b44: SUB 00001b45: DUP4 00001b46: GT 00001b47: PUSH2 0x026a 00001b4a: JUMPI 00001b4b: PUSH1 0x20 00001b4d: DUP4 00001b4e: DUP2 00001b4f: DUP7 00001b50: ADD 00001b51: SWAP6 00001b52: ADD 00001b53: ADD 00001b54: GT 00001b55: PUSH2 0x026a 00001b58: JUMPI 00001b59: JUMP 00001b5a: JUMPDEST 00001b5b: SWAP1 00001b5c: DUP2 00001b5d: PUSH0 00001b5e: MSTORE 00001b5f: PUSH1 0x07 00001b61: PUSH1 0x20 00001b63: MSTORE 00001b64: PUSH1 0xff 00001b66: PUSH1 0x40 00001b68: PUSH0 00001b69: KECCAK256 00001b6a: SLOAD 00001b6b: AND 00001b6c: PUSH1 0x03 00001b6e: DUP2 00001b6f: LT 00001b70: ISZERO 00001b71: PUSH2 0x135b 00001b74: JUMPI 00001b75: ISZERO 00001b76: PUSH2 0x1b85 00001b79: JUMPI 00001b7a: PUSH2 0x1b82 00001b7d: SWAP2 00001b7e: PUSH2 0x1d81 00001b81: JUMP 00001b82: JUMPDEST 00001b83: SWAP1 00001b84: JUMP 00001b85: JUMPDEST 00001b86: PUSH2 0x1b82 00001b89: SWAP2 00001b8a: POP 00001b8b: PUSH2 0x1c5f 00001b8e: JUMP 00001b8f: JUMPDEST 00001b90: PUSH1 0x01 00001b92: PUSH1 0x01 00001b94: PUSH1 0x40 00001b96: SHL 00001b97: SUB 00001b98: DUP2 00001b99: GT 00001b9a: PUSH2 0x10b5 00001b9d: JUMPI 00001b9e: PUSH1 0x1f 00001ba0: ADD 00001ba1: PUSH1 0x1f 00001ba3: NOT 00001ba4: AND 00001ba5: PUSH1 0x20 00001ba7: ADD 00001ba8: SWAP1 00001ba9: JUMP 00001baa: JUMPDEST 00001bab: SWAP1 00001bac: DUP2 00001bad: SLOAD 00001bae: PUSH2 0x1bb6 00001bb1: DUP2 00001bb2: PUSH2 0x1b16 00001bb5: JUMP 00001bb6: JUMPDEST 00001bb7: SWAP3 00001bb8: PUSH2 0x1bc4 00001bbb: PUSH1 0x40 00001bbd: MLOAD 00001bbe: SWAP5 00001bbf: DUP6 00001bc0: PUSH2 0x1af5 00001bc3: JUMP 00001bc4: JUMPDEST 00001bc5: DUP2 00001bc6: DUP5 00001bc7: MSTORE 00001bc8: PUSH1 0x20 00001bca: DUP5 00001bcb: ADD 00001bcc: SWAP1 00001bcd: PUSH0 00001bce: MSTORE 00001bcf: PUSH1 0x20 00001bd1: PUSH0 00001bd2: KECCAK256 00001bd3: PUSH0 00001bd4: SWAP2 00001bd5: JUMPDEST 00001bd6: DUP4 00001bd7: DUP4 00001bd8: LT 00001bd9: PUSH2 0x1be2 00001bdc: JUMPI 00001bdd: POP 00001bde: POP 00001bdf: POP 00001be0: POP 00001be1: JUMP 00001be2: JUMPDEST 00001be3: PUSH1 0x02 00001be5: PUSH1 0x20 00001be7: PUSH1 0x01 00001be9: SWAP3 00001bea: PUSH1 0x40 00001bec: MLOAD 00001bed: PUSH2 0x1bf5 00001bf0: DUP2 00001bf1: PUSH2 0x1abf 00001bf4: JUMP 00001bf5: JUMPDEST 00001bf6: DUP6 00001bf7: SLOAD 00001bf8: DUP2 00001bf9: MSTORE 00001bfa: DUP5 00001bfb: DUP1 00001bfc: PUSH1 0xa0 00001bfe: SHL 00001bff: SUB 00001c00: DUP6 00001c01: DUP8 00001c02: ADD 00001c03: SLOAD 00001c04: AND 00001c05: DUP4 00001c06: DUP3 00001c07: ADD 00001c08: MSTORE 00001c09: DUP2 00001c0a: MSTORE 00001c0b: ADD 00001c0c: SWAP3 00001c0d: ADD 00001c0e: SWAP3 00001c0f: ADD 00001c10: SWAP2 00001c11: SWAP1 00001c12: PUSH2 0x1bd5 00001c15: JUMP 00001c16: JUMPDEST 00001c17: DUP1 00001c18: MLOAD 00001c19: DUP3 00001c1a: LT 00001c1b: ISZERO 00001c1c: PUSH2 0x17a3 00001c1f: JUMPI 00001c20: PUSH1 0x20 00001c22: SWAP2 00001c23: PUSH1 0x05 00001c25: SHL 00001c26: ADD 00001c27: ADD 00001c28: SWAP1 00001c29: JUMP 00001c2a: JUMPDEST 00001c2b: SWAP2 00001c2c: SWAP1 00001c2d: DUP3 00001c2e: SUB 00001c2f: SWAP2 00001c30: DUP3 00001c31: GT 00001c32: PUSH2 0x0eb3 00001c35: JUMPI 00001c36: JUMP 00001c37: JUMPDEST 00001c38: SWAP2 00001c39: SWAP1 00001c3a: DUP3 00001c3b: ADD 00001c3c: DUP1 00001c3d: SWAP3 00001c3e: GT 00001c3f: PUSH2 0x0eb3 00001c42: JUMPI 00001c43: JUMP 00001c44: JUMPDEST 00001c45: PUSH4 0x8b78c6d8 00001c4a: PUSH1 0x0c 00001c4c: MSTORE 00001c4d: CALLER 00001c4e: PUSH0 00001c4f: MSTORE 00001c50: PUSH1 0x01 00001c52: PUSH1 0x20 00001c54: PUSH1 0x0c 00001c56: KECCAK256 00001c57: SLOAD 00001c58: AND 00001c59: ISZERO 00001c5a: PUSH2 0x0c15 00001c5d: JUMPI 00001c5e: JUMP 00001c5f: JUMPDEST 00001c60: PUSH0 00001c61: DUP1 00001c62: MSTORE 00001c63: PUSH1 0x07 00001c65: PUSH1 0x20 00001c67: MSTORE 00001c68: PUSH32 0x6d5257204ebe7d88fd91ae87941cb2dd9d8062b64ae5a2bd2d28ec40b9fbf6df 00001c89: SLOAD 00001c8a: PUSH1 0xff 00001c8c: AND 00001c8d: PUSH1 0x03 00001c8f: DUP2 00001c90: LT 00001c91: ISZERO 00001c92: PUSH2 0x135b 00001c95: JUMPI 00001c96: PUSH1 0x01 00001c98: DUP2 00001c99: EQ 00001c9a: PUSH2 0x1d52 00001c9d: JUMPI 00001c9e: PUSH1 0x02 00001ca0: EQ 00001ca1: PUSH2 0x1cb3 00001ca4: JUMPI 00001ca5: PUSH4 0x2b00a33d 00001caa: PUSH1 0xe1 00001cac: SHL 00001cad: PUSH0 00001cae: MSTORE 00001caf: PUSH1 0x04 00001cb1: PUSH0 00001cb2: REVERT 00001cb3: JUMPDEST 00001cb4: PUSH0 00001cb5: DUP1 00001cb6: MSTORE 00001cb7: PUSH1 0x09 00001cb9: PUSH1 0x20 00001cbb: MSTORE 00001cbc: PUSH1 0x40 00001cbe: MLOAD 00001cbf: PUSH32 0xec8156718a8372b1db44bb411437d0870f3e3790d4a08526d024ce1b0b668f6b 00001ce0: SWAP2 00001ce1: PUSH2 0x1ce9 00001ce4: DUP3 00001ce5: PUSH2 0x1ada 00001ce8: JUMP 00001ce9: JUMPDEST 00001cea: DUP3 00001ceb: SLOAD 00001cec: DUP1 00001ced: DUP4 00001cee: MSTORE 00001cef: PUSH1 0x40 00001cf1: PUSH1 0x02 00001cf3: PUSH1 0x01 00001cf5: DUP7 00001cf6: ADD 00001cf7: SLOAD 00001cf8: SWAP6 00001cf9: PUSH1 0x20 00001cfb: DUP7 00001cfc: ADD 00001cfd: SWAP7 00001cfe: DUP8 00001cff: MSTORE 00001d00: ADD 00001d01: SLOAD 00001d02: SWAP4 00001d03: ADD 00001d04: SWAP3 00001d05: DUP4 00001d06: MSTORE 00001d07: DUP1 00001d08: DUP3 00001d09: MUL 00001d0a: SWAP2 00001d0b: DUP2 00001d0c: DUP4 00001d0d: DIV 00001d0e: SUB 00001d0f: PUSH2 0x1d48 00001d12: JUMPI 00001d13: JUMPDEST 00001d14: POP 00001d15: PUSH8 0x0de0b6b3a7640000 00001d1e: DUP1 00001d1f: DUP3 00001d20: DIV 00001d21: SWAP2 00001d22: MOD 00001d23: ISZERO 00001d24: ISZERO 00001d25: ADD 00001d26: SWAP2 00001d27: MLOAD 00001d28: DUP1 00001d29: DUP4 00001d2a: GT 00001d2b: ISZERO 00001d2c: PUSH2 0x1d42 00001d2f: JUMPI 00001d30: POP 00001d31: MLOAD 00001d32: DUP1 00001d33: DUP3 00001d34: LT 00001d35: ISZERO 00001d36: PUSH2 0x1d3d 00001d39: JUMPI 00001d3a: POP 00001d3b: SWAP1 00001d3c: JUMP 00001d3d: JUMPDEST 00001d3e: SWAP1 00001d3f: POP 00001d40: SWAP1 00001d41: JUMP 00001d42: JUMPDEST 00001d43: SWAP2 00001d44: POP 00001d45: POP 00001d46: SWAP1 00001d47: JUMP 00001d48: JUMPDEST 00001d49: PUSH2 0x0886 00001d4c: JUMPI 00001d4d: PUSH0 00001d4e: PUSH2 0x1d13 00001d51: JUMP 00001d52: JUMPDEST 00001d53: POP 00001d54: POP 00001d55: PUSH0 00001d56: DUP1 00001d57: MSTORE 00001d58: PUSH1 0x08 00001d5a: PUSH1 0x20 00001d5c: MSTORE 00001d5d: PUSH32 0x5eff886ea0ce6ca488a3d6e336d6c0f75f46d19b42c06ce5ee98e42c96d256c7 00001d7e: SLOAD 00001d7f: SWAP1 00001d80: JUMP 00001d81: JUMPDEST 00001d82: DUP1 00001d83: PUSH0 00001d84: MSTORE 00001d85: PUSH1 0x07 00001d87: PUSH1 0x20 00001d89: MSTORE 00001d8a: PUSH1 0xff 00001d8c: PUSH1 0x40 00001d8e: PUSH0 00001d8f: KECCAK256 00001d90: SLOAD 00001d91: AND 00001d92: PUSH1 0x03 00001d94: DUP2 00001d95: LT 00001d96: ISZERO 00001d97: PUSH2 0x135b 00001d9a: JUMPI 00001d9b: PUSH1 0x01 00001d9d: DUP2 00001d9e: EQ 00001d9f: PUSH2 0x1dd1 00001da2: JUMPI 00001da3: PUSH1 0x02 00001da5: EQ 00001da6: PUSH2 0x1db8 00001da9: JUMPI 00001daa: PUSH4 0x2b00a33d 00001daf: PUSH1 0xe1 00001db1: SHL 00001db2: PUSH0 00001db3: MSTORE 00001db4: PUSH1 0x04 00001db6: PUSH0 00001db7: REVERT 00001db8: JUMPDEST 00001db9: PUSH0 00001dba: MSTORE 00001dbb: PUSH1 0x09 00001dbd: PUSH1 0x20 00001dbf: MSTORE 00001dc0: PUSH1 0x40 00001dc2: PUSH0 00001dc3: KECCAK256 00001dc4: SWAP1 00001dc5: PUSH1 0x40 00001dc7: MLOAD 00001dc8: SWAP1 00001dc9: PUSH2 0x1ce9 00001dcc: DUP3 00001dcd: PUSH2 0x1ada 00001dd0: JUMP 00001dd1: JUMPDEST 00001dd2: POP 00001dd3: SWAP1 00001dd4: POP 00001dd5: PUSH0 00001dd6: MSTORE 00001dd7: PUSH1 0x08 00001dd9: PUSH1 0x20 00001ddb: MSTORE 00001ddc: PUSH1 0x40 00001dde: PUSH0 00001ddf: KECCAK256 00001de0: SLOAD 00001de1: SWAP1 00001de2: JUMP 00001de3: JUMPDEST 00001de4: PUSH4 0x8b78c6d8 00001de9: NOT 00001dea: SLOAD 00001deb: CALLER 00001dec: SUB 00001ded: PUSH2 0x0c15 00001df0: JUMPI 00001df1: JUMP 00001df2: JUMPDEST 00001df3: PUSH1 0x01 00001df5: DUP1 00001df6: PUSH1 0xa0 00001df8: SHL 00001df9: SUB 00001dfa: AND 00001dfb: DUP1 00001dfc: PUSH4 0x8b78c6d8 00001e01: NOT 00001e02: SLOAD 00001e03: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00001e24: PUSH0 00001e25: DUP1 00001e26: LOG3 00001e27: PUSH4 0x8b78c6d8 00001e2c: NOT 00001e2d: SSTORE 00001e2e: JUMP 00001e2f: JUMPDEST 00001e30: PUSH1 0x01 00001e32: PUSH1 0x01 00001e34: PUSH1 0xa0 00001e36: SHL 00001e37: SUB 00001e38: SWAP2 00001e39: DUP3 00001e3a: AND 00001e3b: DUP2 00001e3c: MSTORE 00001e3d: SWAP2 00001e3e: AND 00001e3f: PUSH1 0x20 00001e41: DUP3 00001e42: ADD 00001e43: MSTORE 00001e44: PUSH1 0x40 00001e46: DUP2 00001e47: ADD 00001e48: SWAP2 00001e49: SWAP1 00001e4a: SWAP2 00001e4b: MSTORE 00001e4c: PUSH1 0x60 00001e4e: DUP2 00001e4f: ADD 00001e50: SWAP2 00001e51: SWAP1 00001e52: SWAP2 00001e53: MSTORE 00001e54: PUSH1 0xa0 00001e56: PUSH1 0x80 00001e58: DUP3 00001e59: ADD 00001e5a: DUP2 00001e5b: SWAP1 00001e5c: MSTORE 00001e5d: PUSH2 0x1b82 00001e60: SWAP3 00001e61: SWAP2 00001e62: ADD 00001e63: SWAP1 00001e64: PUSH2 0x1a9b 00001e67: JUMP 00001e68: JUMPDEST 00001e69: PUSH4 0x8b78c6d8 00001e6e: PUSH1 0x0c 00001e70: MSTORE 00001e71: PUSH0 00001e72: MSTORE 00001e73: PUSH1 0x20 00001e75: PUSH1 0x0c 00001e77: KECCAK256 00001e78: SWAP1 00001e79: DUP2 00001e7a: SLOAD 00001e7b: SWAP1 00001e7c: DUP2 00001e7d: AND 00001e7e: XOR 00001e7f: DUP1 00001e80: SWAP2 00001e81: SSTORE 00001e82: PUSH1 0x0c 00001e84: MLOAD 00001e85: PUSH1 0x60 00001e87: SHR 00001e88: PUSH0 00001e89: MLOAD 00001e8a: PUSH1 0x20 00001e8c: PUSH2 0x1e9b 00001e8f: PUSH0 00001e90: CODECOPY 00001e91: PUSH0 00001e92: MLOAD 00001e93: SWAP1 00001e94: PUSH0 00001e95: MSTORE 00001e96: PUSH0 00001e97: DUP1 00001e98: LOG3 00001e99: JUMP 00001e9a: INVALID 00001e9b: PUSH18 0x5ad5ce61fc9595c7b415289d59cf203f23a9 00001eae: UNKNOWN(0x4F) 00001eaf: LOG0 00001eb0: PUSH16
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x880082cb4eafefd0b38ccfadfd0f633f065501808d37e8e734d4a762bc42e7fc
call_targets:
0x96c67b143000a60d9162f25c29fa0cf5b8d0e5af
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x880082cb4eafefd0b38ccfadfd0f633f065501808d37e8e734d4a762bc42e7fc",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x96c67b143000a60d9162f25c29fa0cf5b8d0e5af"
],
"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": "0x02fb0c5e",
"selector": "0x02fb0c5e",
"calldata_variants": [
"0x02fb0c5e",
"0x02fb0c5e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x144fa6d7",
"selector": "0x144fa6d7",
"calldata_variants": [
"0x144fa6d7",
"0x144fa6d70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x170ae20a",
"selector": "0x170ae20a",
"calldata_variants": [
"0x170ae20a",
"0x170ae20a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x183a4f6e",
"selector": "0x183a4f6e",
"calldata_variants": [
"0x183a4f6e",
"0x183a4f6e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1ac3ddeb",
"selector": "0x1ac3ddeb",
"calldata_variants": [
"0x1ac3ddeb",
"0x1ac3ddeb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1c10893f",
"selector": "0x1c10893f",
"calldata_variants": [
"0x1c10893f",
"0x1c10893f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1cd64df4",
"selector": "0x1cd64df4",
"calldata_variants": [
"0x1cd64df4",
"0x1cd64df40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1e0ba126",
"selector": "0x1e0ba126",
"calldata_variants": [
"0x1e0ba126",
"0x1e0ba1260000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2063,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2399,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3053,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [],
"untrusted_call_count": 4
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x880082cb4eafefd0b38ccfadfd0f633f065501808d37e8e734d4a762bc42e7fc
call_targets:
0x96c67b143000a60d9162f25c29fa0cf5b8d0e5af
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x880082cb4eafefd0b38ccfadfd0f633f065501808d37e8e734d4a762bc42e7fc",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x96c67b143000a60d9162f25c29fa0cf5b8d0e5af"
],
"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": "0x02fb0c5e",
"selector": "0x02fb0c5e",
"calldata_variants": [
"0x02fb0c5e",
"0x02fb0c5e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x144fa6d7",
"selector": "0x144fa6d7",
"calldata_variants": [
"0x144fa6d7",
"0x144fa6d70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x170ae20a",
"selector": "0x170ae20a",
"calldata_variants": [
"0x170ae20a",
"0x170ae20a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x183a4f6e",
"selector": "0x183a4f6e",
"calldata_variants": [
"0x183a4f6e",
"0x183a4f6e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1ac3ddeb",
"selector": "0x1ac3ddeb",
"calldata_variants": [
"0x1ac3ddeb",
"0x1ac3ddeb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1c10893f",
"selector": "0x1c10893f",
"calldata_variants": [
"0x1c10893f",
"0x1c10893f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1cd64df4",
"selector": "0x1cd64df4",
"calldata_variants": [
"0x1cd64df4",
"0x1cd64df40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1e0ba126",
"selector": "0x1e0ba126",
"calldata_variants": [
"0x1e0ba126",
"0x1e0ba1260000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2063,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2399,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3053,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": []
}
|