019b3844-987c-71b8-b0f7-49d5592781a6
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 |
|---|---|---|---|---|
| 13921 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 13922 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 85248 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 85249 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 85250 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 85251 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x012a 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0xb8872fb7 00000019: GT 0000001a: PUSH2 0x00ab 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xe4dc2aa4 00000024: GT 00000025: PUSH2 0x006f 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xe4dc2aa4 0000002f: EQ 00000030: PUSH2 0x0554 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xf088d547 0000003a: EQ 0000003b: PUSH2 0x0587 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf2fde38b 00000045: EQ 00000046: PUSH2 0x05ad 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf5465992 00000050: EQ 00000051: PUSH2 0x05e0 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf7888aec 0000005b: EQ 0000005c: PUSH2 0x0613 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0xfcd393b9 00000066: EQ 00000067: PUSH2 0x064e 0000006a: JUMPI 0000006b: PUSH2 0x012a 0000006e: JUMP 0000006f: JUMPDEST 00000070: DUP1 00000071: PUSH4 0xb8872fb7 00000076: EQ 00000077: PUSH2 0x042d 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xbeabacc8 00000081: EQ 00000082: PUSH2 0x0460 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xc383abaa 0000008c: EQ 0000008d: PUSH2 0x04a3 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0xdb61c76e 00000097: EQ 00000098: PUSH2 0x04de 0000009b: JUMPI 0000009c: DUP1 0000009d: PUSH4 0xdc1df3f6 000000a2: EQ 000000a3: PUSH2 0x0521 000000a6: JUMPI 000000a7: PUSH2 0x012a 000000aa: JUMP 000000ab: JUMPDEST 000000ac: DUP1 000000ad: PUSH4 0x6c197ff5 000000b2: GT 000000b3: PUSH2 0x00f2 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x6c197ff5 000000bd: EQ 000000be: PUSH2 0x0328 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x715018a6 000000c8: EQ 000000c9: PUSH2 0x0361 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0x73649174 000000d3: EQ 000000d4: PUSH2 0x0376 000000d7: JUMPI 000000d8: DUP1 000000d9: PUSH4 0x8da5cb5b 000000de: EQ 000000df: PUSH2 0x03c9 000000e2: JUMPI 000000e3: DUP1 000000e4: PUSH4 0xb42652e9 000000e9: EQ 000000ea: PUSH2 0x03fa 000000ed: JUMPI 000000ee: PUSH2 0x012a 000000f1: JUMP 000000f2: JUMPDEST 000000f3: DUP1 000000f4: PUSH4 0x0f97b58d 000000f9: EQ 000000fa: PUSH2 0x0201 000000fd: JUMPI 000000fe: DUP1 000000ff: PUSH4 0x2bbbd91d 00000104: EQ 00000105: PUSH2 0x0246 00000108: JUMPI 00000109: DUP1 0000010a: PUSH4 0x38608107 0000010f: EQ 00000110: PUSH2 0x027f 00000113: JUMPI 00000114: DUP1 00000115: PUSH4 0x51cff8d9 0000011a: EQ 0000011b: PUSH2 0x02b8 0000011e: JUMPI 0000011f: DUP1 00000120: PUSH4 0x60a31921 00000125: EQ 00000126: PUSH2 0x02ed 00000129: JUMPI 0000012a: JUMPDEST 0000012b: PUSH1 0x02 0000012d: PUSH1 0x01 0000012f: SLOAD 00000130: EQ 00000131: ISZERO 00000132: PUSH2 0x0170 00000135: JUMPI 00000136: PUSH1 0x40 00000138: DUP1 00000139: MLOAD 0000013a: PUSH3 0x461bcd 0000013e: PUSH1 0xe5 00000140: SHL 00000141: DUP2 00000142: MSTORE 00000143: PUSH1 0x20 00000145: PUSH1 0x04 00000147: DUP3 00000148: ADD 00000149: MSTORE 0000014a: PUSH1 0x1f 0000014c: PUSH1 0x24 0000014e: DUP3 0000014f: ADD 00000150: MSTORE 00000151: PUSH1 0x00 00000153: DUP1 00000154: MLOAD 00000155: PUSH1 0x20 00000157: PUSH2 0x206d 0000015a: DUP4 0000015b: CODECOPY 0000015c: DUP2 0000015d: MLOAD 0000015e: SWAP2 0000015f: MSTORE 00000160: PUSH1 0x44 00000162: DUP3 00000163: ADD 00000164: MSTORE 00000165: SWAP1 00000166: MLOAD 00000167: SWAP1 00000168: DUP2 00000169: SWAP1 0000016a: SUB 0000016b: PUSH1 0x64 0000016d: ADD 0000016e: SWAP1 0000016f: REVERT 00000170: JUMPDEST 00000171: PUSH1 0x02 00000173: PUSH1 0x01 00000175: SSTORE 00000176: CALLVALUE 00000177: PUSH2 0x017f 0000017a: JUMPI 0000017b: PUSH1 0x00 0000017d: DUP1 0000017e: REVERT 0000017f: JUMPDEST 00000180: PUSH1 0x00 00000182: DUP1 00000183: MSTORE 00000184: PUSH1 0x02 00000186: PUSH1 0x20 00000188: MSTORE 00000189: PUSH32 0xac33ff75c19e70fe83507db0d683fd3465c996598dc972688b7ace676c89077b 000001aa: SLOAD 000001ab: PUSH1 0xff 000001ad: AND 000001ae: ISZERO 000001af: ISZERO 000001b0: PUSH1 0x01 000001b2: EQ 000001b3: PUSH2 0x01bb 000001b6: JUMPI 000001b7: PUSH1 0x00 000001b9: DUP1 000001ba: REVERT 000001bb: JUMPDEST 000001bc: CALLER 000001bd: PUSH1 0x00 000001bf: SWAP1 000001c0: DUP2 000001c1: MSTORE 000001c2: PUSH1 0x03 000001c4: PUSH1 0x20 000001c6: MSTORE 000001c7: PUSH1 0x40 000001c9: SWAP1 000001ca: KECCAK256 000001cb: SLOAD 000001cc: PUSH1 0xff 000001ce: AND 000001cf: PUSH2 0x01ed 000001d2: JUMPI 000001d3: CALLER 000001d4: PUSH1 0x00 000001d6: SWAP1 000001d7: DUP2 000001d8: MSTORE 000001d9: PUSH1 0x03 000001db: PUSH1 0x20 000001dd: MSTORE 000001de: PUSH1 0x40 000001e0: SWAP1 000001e1: KECCAK256 000001e2: DUP1 000001e3: SLOAD 000001e4: PUSH1 0xff 000001e6: NOT 000001e7: AND 000001e8: PUSH1 0x01 000001ea: OR 000001eb: SWAP1 000001ec: SSTORE 000001ed: JUMPDEST 000001ee: PUSH2 0x01fa 000001f1: PUSH1 0x00 000001f3: CALLVALUE 000001f4: PUSH1 0x00 000001f6: PUSH2 0x0681 000001f9: JUMP 000001fa: JUMPDEST 000001fb: POP 000001fc: PUSH1 0x01 000001fe: DUP1 000001ff: SSTORE 00000200: STOP 00000201: JUMPDEST 00000202: CALLVALUE 00000203: DUP1 00000204: ISZERO 00000205: PUSH2 0x020d 00000208: JUMPI 00000209: PUSH1 0x00 0000020b: DUP1 0000020c: REVERT 0000020d: JUMPDEST 0000020e: POP 0000020f: PUSH2 0x0234 00000212: PUSH1 0x04 00000214: DUP1 00000215: CALLDATASIZE 00000216: SUB 00000217: PUSH1 0x20 00000219: DUP2 0000021a: LT 0000021b: ISZERO 0000021c: PUSH2 0x0224 0000021f: JUMPI 00000220: PUSH1 0x00 00000222: DUP1 00000223: REVERT 00000224: JUMPDEST 00000225: POP 00000226: CALLDATALOAD 00000227: PUSH1 0x01 00000229: PUSH1 0x01 0000022b: PUSH1 0xa0 0000022d: SHL 0000022e: SUB 0000022f: AND 00000230: PUSH2 0x0a4c 00000233: JUMP 00000234: JUMPDEST 00000235: PUSH1 0x40 00000237: DUP1 00000238: MLOAD 00000239: SWAP2 0000023a: DUP3 0000023b: MSTORE 0000023c: MLOAD 0000023d: SWAP1 0000023e: DUP2 0000023f: SWAP1 00000240: SUB 00000241: PUSH1 0x20 00000243: ADD 00000244: SWAP1 00000245: RETURN 00000246: JUMPDEST 00000247: CALLVALUE 00000248: DUP1 00000249: ISZERO 0000024a: PUSH2 0x0252 0000024d: JUMPI 0000024e: PUSH1 0x00 00000250: DUP1 00000251: REVERT 00000252: JUMPDEST 00000253: POP 00000254: PUSH2 0x0234 00000257: PUSH1 0x04 00000259: DUP1 0000025a: CALLDATASIZE 0000025b: SUB 0000025c: PUSH1 0x40 0000025e: DUP2 0000025f: LT 00000260: ISZERO 00000261: PUSH2 0x0269 00000264: JUMPI 00000265: PUSH1 0x00 00000267: DUP1 00000268: REVERT 00000269: JUMPDEST 0000026a: POP 0000026b: PUSH1 0x01 0000026d: PUSH1 0x01 0000026f: PUSH1 0xa0 00000271: SHL 00000272: SUB 00000273: DUP2 00000274: CALLDATALOAD 00000275: AND 00000276: SWAP1 00000277: PUSH1 0x20 00000279: ADD 0000027a: CALLDATALOAD 0000027b: PUSH2 0x0afe 0000027e: JUMP 0000027f: JUMPDEST 00000280: CALLVALUE 00000281: DUP1 00000282: ISZERO 00000283: PUSH2 0x028b 00000286: JUMPI 00000287: PUSH1 0x00 00000289: DUP1 0000028a: REVERT 0000028b: JUMPDEST 0000028c: POP 0000028d: PUSH2 0x0234 00000290: PUSH1 0x04 00000292: DUP1 00000293: CALLDATASIZE 00000294: SUB 00000295: PUSH1 0x40 00000297: DUP2 00000298: LT 00000299: ISZERO 0000029a: PUSH2 0x02a2 0000029d: JUMPI 0000029e: PUSH1 0x00 000002a0: DUP1 000002a1: REVERT 000002a2: JUMPDEST 000002a3: POP 000002a4: PUSH1 0x01 000002a6: PUSH1 0x01 000002a8: PUSH1 0xa0 000002aa: SHL 000002ab: SUB 000002ac: DUP2 000002ad: CALLDATALOAD 000002ae: AND 000002af: SWAP1 000002b0: PUSH1 0x20 000002b2: ADD 000002b3: CALLDATALOAD 000002b4: PUSH2 0x0b80 000002b7: JUMP 000002b8: JUMPDEST 000002b9: CALLVALUE 000002ba: DUP1 000002bb: ISZERO 000002bc: PUSH2 0x02c4 000002bf: JUMPI 000002c0: PUSH1 0x00 000002c2: DUP1 000002c3: REVERT 000002c4: JUMPDEST 000002c5: POP 000002c6: PUSH2 0x02eb 000002c9: PUSH1 0x04 000002cb: DUP1 000002cc: CALLDATASIZE 000002cd: SUB 000002ce: PUSH1 0x20 000002d0: DUP2 000002d1: LT 000002d2: ISZERO 000002d3: PUSH2 0x02db 000002d6: JUMPI 000002d7: PUSH1 0x00 000002d9: DUP1 000002da: REVERT 000002db: JUMPDEST 000002dc: POP 000002dd: CALLDATALOAD 000002de: PUSH1 0x01 000002e0: PUSH1 0x01 000002e2: PUSH1 0xa0 000002e4: SHL 000002e5: SUB 000002e6: AND 000002e7: PUSH2 0x0bd3 000002ea: JUMP 000002eb: JUMPDEST 000002ec: STOP 000002ed: JUMPDEST 000002ee: CALLVALUE 000002ef: DUP1 000002f0: ISZERO 000002f1: PUSH2 0x02f9 000002f4: JUMPI 000002f5: PUSH1 0x00 000002f7: DUP1 000002f8: REVERT 000002f9: JUMPDEST 000002fa: POP 000002fb: PUSH2 0x0234 000002fe: PUSH1 0x04 00000300: DUP1 00000301: CALLDATASIZE 00000302: SUB 00000303: PUSH1 0x40 00000305: DUP2 00000306: LT 00000307: ISZERO 00000308: PUSH2 0x0310 0000030b: JUMPI 0000030c: PUSH1 0x00 0000030e: DUP1 0000030f: REVERT 00000310: JUMPDEST 00000311: POP 00000312: PUSH1 0x01 00000314: PUSH1 0x01 00000316: PUSH1 0xa0 00000318: SHL 00000319: SUB 0000031a: DUP2 0000031b: CALLDATALOAD 0000031c: DUP2 0000031d: AND 0000031e: SWAP2 0000031f: PUSH1 0x20 00000321: ADD 00000322: CALLDATALOAD 00000323: AND 00000324: PUSH2 0x0dd9 00000327: JUMP 00000328: JUMPDEST 00000329: CALLVALUE 0000032a: DUP1 0000032b: ISZERO 0000032c: PUSH2 0x0334 0000032f: JUMPI 00000330: PUSH1 0x00 00000332: DUP1 00000333: REVERT 00000334: JUMPDEST 00000335: POP 00000336: PUSH2 0x02eb 00000339: PUSH1 0x04 0000033b: DUP1 0000033c: CALLDATASIZE 0000033d: SUB 0000033e: PUSH1 0x40 00000340: DUP2 00000341: LT 00000342: ISZERO 00000343: PUSH2 0x034b 00000346: JUMPI 00000347: PUSH1 0x00 00000349: DUP1 0000034a: REVERT 0000034b: JUMPDEST 0000034c: POP 0000034d: PUSH1 0x01 0000034f: PUSH1 0x01 00000351: PUSH1 0xa0 00000353: SHL 00000354: SUB 00000355: DUP2 00000356: CALLDATALOAD 00000357: AND 00000358: SWAP1 00000359: PUSH1 0x20 0000035b: ADD 0000035c: CALLDATALOAD 0000035d: PUSH2 0x0e4f 00000360: JUMP 00000361: JUMPDEST 00000362: CALLVALUE 00000363: DUP1 00000364: ISZERO 00000365: PUSH2 0x036d 00000368: JUMPI 00000369: PUSH1 0x00 0000036b: DUP1 0000036c: REVERT 0000036d: JUMPDEST 0000036e: POP 0000036f: PUSH2 0x02eb 00000372: PUSH2 0x1063 00000375: JUMP 00000376: JUMPDEST 00000377: CALLVALUE 00000378: DUP1 00000379: ISZERO 0000037a: PUSH2 0x0382 0000037d: JUMPI 0000037e: PUSH1 0x00 00000380: DUP1 00000381: REVERT 00000382: JUMPDEST 00000383: POP 00000384: PUSH2 0x03b5 00000387: PUSH1 0x04 00000389: DUP1 0000038a: CALLDATASIZE 0000038b: SUB 0000038c: PUSH1 0x60 0000038e: DUP2 0000038f: LT 00000390: ISZERO 00000391: PUSH2 0x0399 00000394: JUMPI 00000395: PUSH1 0x00 00000397: DUP1 00000398: REVERT 00000399: JUMPDEST 0000039a: POP 0000039b: PUSH1 0x01 0000039d: PUSH1 0x01 0000039f: PUSH1 0xa0 000003a1: SHL 000003a2: SUB 000003a3: DUP2 000003a4: CALLDATALOAD 000003a5: AND 000003a6: SWAP1 000003a7: PUSH1 0x20 000003a9: DUP2 000003aa: ADD 000003ab: CALLDATALOAD 000003ac: SWAP1 000003ad: PUSH1 0x40 000003af: ADD 000003b0: CALLDATALOAD 000003b1: PUSH2 0x110c 000003b4: JUMP 000003b5: JUMPDEST 000003b6: PUSH1 0x40 000003b8: DUP1 000003b9: MLOAD 000003ba: SWAP2 000003bb: ISZERO 000003bc: ISZERO 000003bd: DUP3 000003be: MSTORE 000003bf: MLOAD 000003c0: SWAP1 000003c1: DUP2 000003c2: SWAP1 000003c3: SUB 000003c4: PUSH1 0x20 000003c6: ADD 000003c7: SWAP1 000003c8: RETURN 000003c9: JUMPDEST 000003ca: CALLVALUE 000003cb: DUP1 000003cc: ISZERO 000003cd: PUSH2 0x03d5 000003d0: JUMPI 000003d1: PUSH1 0x00 000003d3: DUP1 000003d4: REVERT 000003d5: JUMPDEST 000003d6: POP 000003d7: PUSH2 0x03de 000003da: PUSH2 0x1266 000003dd: JUMP 000003de: JUMPDEST 000003df: PUSH1 0x40 000003e1: DUP1 000003e2: MLOAD 000003e3: PUSH1 0x01 000003e5: PUSH1 0x01 000003e7: PUSH1 0xa0 000003e9: SHL 000003ea: SUB 000003eb: SWAP1 000003ec: SWAP3 000003ed: AND 000003ee: DUP3 000003ef: MSTORE 000003f0: MLOAD 000003f1: SWAP1 000003f2: DUP2 000003f3: SWAP1 000003f4: SUB 000003f5: PUSH1 0x20 000003f7: ADD 000003f8: SWAP1 000003f9: RETURN 000003fa: JUMPDEST 000003fb: CALLVALUE 000003fc: DUP1 000003fd: ISZERO 000003fe: PUSH2 0x0406 00000401: JUMPI 00000402: PUSH1 0x00 00000404: DUP1 00000405: REVERT 00000406: JUMPDEST 00000407: POP 00000408: PUSH2 0x02eb 0000040b: PUSH1 0x04 0000040d: DUP1 0000040e: CALLDATASIZE 0000040f: SUB 00000410: PUSH1 0x20 00000412: DUP2 00000413: LT 00000414: ISZERO 00000415: PUSH2 0x041d 00000418: JUMPI 00000419: PUSH1 0x00 0000041b: DUP1 0000041c: REVERT 0000041d: JUMPDEST 0000041e: POP 0000041f: CALLDATALOAD 00000420: PUSH1 0x01 00000422: PUSH1 0x01 00000424: PUSH1 0xa0 00000426: SHL 00000427: SUB 00000428: AND 00000429: PUSH2 0x1275 0000042c: JUMP 0000042d: JUMPDEST 0000042e: CALLVALUE 0000042f: DUP1 00000430: ISZERO 00000431: PUSH2 0x0439 00000434: JUMPI 00000435: PUSH1 0x00 00000437: DUP1 00000438: REVERT 00000439: JUMPDEST 0000043a: POP 0000043b: PUSH2 0x02eb 0000043e: PUSH1 0x04 00000440: DUP1 00000441: CALLDATASIZE 00000442: SUB 00000443: PUSH1 0x20 00000445: DUP2 00000446: LT 00000447: ISZERO 00000448: PUSH2 0x0450 0000044b: JUMPI 0000044c: PUSH1 0x00 0000044e: DUP1 0000044f: REVERT 00000450: JUMPDEST 00000451: POP 00000452: CALLDATALOAD 00000453: PUSH1 0x01 00000455: PUSH1 0x01 00000457: PUSH1 0xa0 00000459: SHL 0000045a: SUB 0000045b: AND 0000045c: PUSH2 0x1353 0000045f: JUMP 00000460: JUMPDEST 00000461: CALLVALUE 00000462: DUP1 00000463: ISZERO 00000464: PUSH2 0x046c 00000467: JUMPI 00000468: PUSH1 0x00 0000046a: DUP1 0000046b: REVERT 0000046c: JUMPDEST 0000046d: POP 0000046e: PUSH2 0x03b5 00000471: PUSH1 0x04 00000473: DUP1 00000474: CALLDATASIZE 00000475: SUB 00000476: PUSH1 0x60 00000478: DUP2 00000479: LT 0000047a: ISZERO 0000047b: PUSH2 0x0483 0000047e: JUMPI 0000047f: PUSH1 0x00 00000481: DUP1 00000482: REVERT 00000483: JUMPDEST 00000484: POP 00000485: PUSH1 0x01 00000487: PUSH1 0x01 00000489: PUSH1 0xa0 0000048b: SHL 0000048c: SUB 0000048d: DUP2 0000048e: CALLDATALOAD 0000048f: DUP2 00000490: AND 00000491: SWAP2 00000492: PUSH1 0x20 00000494: DUP2 00000495: ADD 00000496: CALLDATALOAD 00000497: SWAP1 00000498: SWAP2 00000499: AND 0000049a: SWAP1 0000049b: PUSH1 0x40 0000049d: ADD 0000049e: CALLDATALOAD 0000049f: PUSH2 0x149e 000004a2: JUMP 000004a3: JUMPDEST 000004a4: CALLVALUE 000004a5: DUP1 000004a6: ISZERO 000004a7: PUSH2 0x04af 000004aa: JUMPI 000004ab: PUSH1 0x00 000004ad: DUP1 000004ae: REVERT 000004af: JUMPDEST 000004b0: POP 000004b1: PUSH2 0x0234 000004b4: PUSH1 0x04 000004b6: DUP1 000004b7: CALLDATASIZE 000004b8: SUB 000004b9: PUSH1 0x40 000004bb: DUP2 000004bc: LT 000004bd: ISZERO 000004be: PUSH2 0x04c6 000004c1: JUMPI 000004c2: PUSH1 0x00 000004c4: DUP1 000004c5: REVERT 000004c6: JUMPDEST 000004c7: POP 000004c8: PUSH1 0x01 000004ca: PUSH1 0x01 000004cc: PUSH1 0xa0 000004ce: SHL 000004cf: SUB 000004d0: DUP2 000004d1: CALLDATALOAD 000004d2: AND 000004d3: SWAP1 000004d4: PUSH1 0x20 000004d6: ADD 000004d7: CALLDATALOAD 000004d8: ISZERO 000004d9: ISZERO 000004da: PUSH2 0x1882 000004dd: JUMP 000004de: JUMPDEST 000004df: CALLVALUE 000004e0: DUP1 000004e1: ISZERO 000004e2: PUSH2 0x04ea 000004e5: JUMPI 000004e6: PUSH1 0x00 000004e8: DUP1 000004e9: REVERT 000004ea: JUMPDEST 000004eb: POP 000004ec: PUSH2 0x0234 000004ef: PUSH1 0x04 000004f1: DUP1 000004f2: CALLDATASIZE 000004f3: SUB 000004f4: PUSH1 0x60 000004f6: DUP2 000004f7: LT 000004f8: ISZERO 000004f9: PUSH2 0x0501 000004fc: JUMPI 000004fd: PUSH1 0x00 000004ff: DUP1 00000500: REVERT 00000501: JUMPDEST 00000502: POP 00000503: PUSH1 0x01 00000505: PUSH1 0x01 00000507: PUSH1 0xa0 00000509: SHL 0000050a: SUB 0000050b: DUP2 0000050c: CALLDATALOAD 0000050d: DUP2 0000050e: AND 0000050f: SWAP2 00000510: PUSH1 0x20 00000512: DUP2 00000513: ADD 00000514: CALLDATALOAD 00000515: SWAP2 00000516: PUSH1 0x40 00000518: SWAP1 00000519: SWAP2 0000051a: ADD 0000051b: CALLDATALOAD 0000051c: AND 0000051d: PUSH2 0x18fe 00000520: JUMP 00000521: JUMPDEST 00000522: CALLVALUE 00000523: DUP1 00000524: ISZERO 00000525: PUSH2 0x052d 00000528: JUMPI 00000529: PUSH1 0x00 0000052b: DUP1 0000052c: REVERT 0000052d: JUMPDEST 0000052e: POP 0000052f: PUSH2 0x0234 00000532: PUSH1 0x04 00000534: DUP1 00000535: CALLDATASIZE 00000536: SUB 00000537: PUSH1 0x20 00000539: DUP2 0000053a: LT 0000053b: ISZERO 0000053c: PUSH2 0x0544 0000053f: JUMPI 00000540: PUSH1 0x00 00000542: DUP1 00000543: REVERT 00000544: JUMPDEST 00000545: POP 00000546: CALLDATALOAD 00000547: PUSH1 0x01 00000549: PUSH1 0x01 0000054b: PUSH1 0xa0 0000054d: SHL 0000054e: SUB 0000054f: AND 00000550: PUSH2 0x1ae0 00000553: JUMP 00000554: JUMPDEST 00000555: CALLVALUE 00000556: DUP1 00000557: ISZERO 00000558: PUSH2 0x0560 0000055b: JUMPI 0000055c: PUSH1 0x00 0000055e: DUP1 0000055f: REVERT 00000560: JUMPDEST 00000561: POP 00000562: PUSH2 0x0234 00000565: PUSH1 0x04 00000567: DUP1 00000568: CALLDATASIZE 00000569: SUB 0000056a: PUSH1 0x20 0000056c: DUP2 0000056d: LT 0000056e: ISZERO 0000056f: PUSH2 0x0577 00000572: JUMPI 00000573: PUSH1 0x00 00000575: DUP1 00000576: REVERT 00000577: JUMPDEST 00000578: POP 00000579: CALLDATALOAD 0000057a: PUSH1 0x01 0000057c: PUSH1 0x01 0000057e: PUSH1 0xa0 00000580: SHL 00000581: SUB 00000582: AND 00000583: PUSH2 0x1b1c 00000586: JUMP 00000587: JUMPDEST 00000588: PUSH2 0x0234 0000058b: PUSH1 0x04 0000058d: DUP1 0000058e: CALLDATASIZE 0000058f: SUB 00000590: PUSH1 0x20 00000592: DUP2 00000593: LT 00000594: ISZERO 00000595: PUSH2 0x059d 00000598: JUMPI 00000599: PUSH1 0x00 0000059b: DUP1 0000059c: REVERT 0000059d: JUMPDEST 0000059e: POP 0000059f: CALLDATALOAD 000005a0: PUSH1 0x01 000005a2: PUSH1 0x01 000005a4: PUSH1 0xa0 000005a6: SHL 000005a7: SUB 000005a8: AND 000005a9: PUSH2 0x1b62 000005ac: JUMP 000005ad: JUMPDEST 000005ae: CALLVALUE 000005af: DUP1 000005b0: ISZERO 000005b1: PUSH2 0x05b9 000005b4: JUMPI 000005b5: PUSH1 0x00 000005b7: DUP1 000005b8: REVERT 000005b9: JUMPDEST 000005ba: POP 000005bb: PUSH2 0x02eb 000005be: PUSH1 0x04 000005c0: DUP1 000005c1: CALLDATASIZE 000005c2: SUB 000005c3: PUSH1 0x20 000005c5: DUP2 000005c6: LT 000005c7: ISZERO 000005c8: PUSH2 0x05d0 000005cb: JUMPI 000005cc: PUSH1 0x00 000005ce: DUP1 000005cf: REVERT 000005d0: JUMPDEST 000005d1: POP 000005d2: CALLDATALOAD 000005d3: PUSH1 0x01 000005d5: PUSH1 0x01 000005d7: PUSH1 0xa0 000005d9: SHL 000005da: SUB 000005db: AND 000005dc: PUSH2 0x1c35 000005df: JUMP 000005e0: JUMPDEST 000005e1: CALLVALUE 000005e2: DUP1 000005e3: ISZERO 000005e4: PUSH2 0x05ec 000005e7: JUMPI 000005e8: PUSH1 0x00 000005ea: DUP1 000005eb: REVERT 000005ec: JUMPDEST 000005ed: POP 000005ee: PUSH2 0x0234 000005f1: PUSH1 0x04 000005f3: DUP1 000005f4: CALLDATASIZE 000005f5: SUB 000005f6: PUSH1 0x20 000005f8: DUP2 000005f9: LT 000005fa: ISZERO 000005fb: PUSH2 0x0603 000005fe: JUMPI 000005ff: PUSH1 0x00 00000601: DUP1 00000602: REVERT 00000603: JUMPDEST 00000604: POP 00000605: CALLDATALOAD 00000606: PUSH1 0x01 00000608: PUSH1 0x01 0000060a: PUSH1 0xa0 0000060c: SHL 0000060d: SUB 0000060e: AND 0000060f: PUSH2 0x1d34 00000612: JUMP 00000613: JUMPDEST 00000614: CALLVALUE 00000615: DUP1 00000616: ISZERO 00000617: PUSH2 0x061f 0000061a: JUMPI 0000061b: PUSH1 0x00 0000061d: DUP1 0000061e: REVERT 0000061f: JUMPDEST 00000620: POP 00000621: PUSH2 0x0234 00000624: PUSH1 0x04 00000626: DUP1 00000627: CALLDATASIZE 00000628: SUB 00000629: PUSH1 0x40 0000062b: DUP2 0000062c: LT 0000062d: ISZERO 0000062e: PUSH2 0x0636 00000631: JUMPI 00000632: PUSH1 0x00 00000634: DUP1 00000635: REVERT 00000636: JUMPDEST 00000637: POP 00000638: PUSH1 0x01 0000063a: PUSH1 0x01 0000063c: PUSH1 0xa0 0000063e: SHL 0000063f: SUB 00000640: DUP2 00000641: CALLDATALOAD 00000642: DUP2 00000643: AND 00000644: SWAP2 00000645: PUSH1 0x20 00000647: ADD 00000648: CALLDATALOAD 00000649: AND 0000064a: PUSH2 0x1dec 0000064d: JUMP 0000064e: JUMPDEST 0000064f: CALLVALUE 00000650: DUP1 00000651: ISZERO 00000652: PUSH2 0x065a 00000655: JUMPI 00000656: PUSH1 0x00 00000658: DUP1 00000659: REVERT 0000065a: JUMPDEST 0000065b: POP 0000065c: PUSH2 0x0234 0000065f: PUSH1 0x04 00000661: DUP1 00000662: CALLDATASIZE 00000663: SUB 00000664: PUSH1 0x20 00000666: DUP2 00000667: LT 00000668: ISZERO 00000669: PUSH2 0x0671 0000066c: JUMPI 0000066d: PUSH1 0x00 0000066f: DUP1 00000670: REVERT 00000671: JUMPDEST 00000672: POP 00000673: CALLDATALOAD 00000674: PUSH1 0x01 00000676: PUSH1 0x01 00000678: PUSH1 0xa0 0000067a: SHL 0000067b: SUB 0000067c: AND 0000067d: PUSH2 0x1e43 00000680: JUMP 00000681: JUMPDEST 00000682: PUSH1 0x00 00000684: CALLER 00000685: DUP2 00000686: PUSH2 0x0690 00000689: DUP6 0000068a: PUSH1 0x0a 0000068c: PUSH2 0x1ee5 0000068f: JUMP 00000690: JUMPDEST 00000691: SWAP1 00000692: POP 00000693: PUSH1 0x00 00000695: PUSH2 0x069f 00000698: DUP3 00000699: PUSH1 0x03 0000069b: PUSH2 0x1ee5 0000069e: JUMP 0000069f: JUMPDEST 000006a0: SWAP1 000006a1: POP 000006a2: PUSH1 0x00 000006a4: PUSH2 0x06ad 000006a7: DUP4 000006a8: DUP4 000006a9: PUSH2 0x1efa 000006ac: JUMP 000006ad: JUMPDEST 000006ae: SWAP1 000006af: POP 000006b0: PUSH1 0x00 000006b2: PUSH2 0x06bb 000006b5: DUP9 000006b6: DUP6 000006b7: PUSH2 0x1efa 000006ba: JUMP 000006bb: JUMPDEST 000006bc: SWAP1 000006bd: POP 000006be: PUSH1 0x00 000006c0: PUSH2 0x06c9 000006c3: DUP11 000006c4: DUP4 000006c5: PUSH2 0x1f0c 000006c8: JUMP 000006c9: JUMPDEST 000006ca: SWAP1 000006cb: POP 000006cc: PUSH8 0x0de0b6b3a7640000 000006d5: DUP4 000006d6: MUL 000006d7: DUP2 000006d8: ISZERO 000006d9: DUP1 000006da: ISZERO 000006db: SWAP1 000006dc: PUSH2 0x0705 000006df: JUMPI 000006e0: POP 000006e1: PUSH1 0x01 000006e3: PUSH1 0x01 000006e5: PUSH1 0xa0 000006e7: SHL 000006e8: SUB 000006e9: DUP12 000006ea: AND 000006eb: PUSH1 0x00 000006ed: SWAP1 000006ee: DUP2 000006ef: MSTORE 000006f0: PUSH1 0x05 000006f2: PUSH1 0x20 000006f4: MSTORE 000006f5: PUSH1 0x40 000006f7: SWAP1 000006f8: KECCAK256 000006f9: SLOAD 000006fa: PUSH2 0x0703 000006fd: DUP4 000006fe: DUP3 000006ff: PUSH2 0x1fa2 00000702: JUMP 00000703: JUMPDEST 00000704: GT 00000705: JUMPDEST 00000706: PUSH2 0x070e 00000709: JUMPI 0000070a: PUSH1 0x00 0000070c: DUP1 0000070d: REVERT 0000070e: JUMPDEST 0000070f: PUSH1 0x01 00000711: PUSH1 0x01 00000713: PUSH1 0xa0 00000715: SHL 00000716: SUB 00000717: DUP10 00000718: AND 00000719: ISZERO 0000071a: DUP1 0000071b: ISZERO 0000071c: SWAP1 0000071d: PUSH2 0x0738 00000720: JUMPI 00000721: POP 00000722: DUP7 00000723: PUSH1 0x01 00000725: PUSH1 0x01 00000727: PUSH1 0xa0 00000729: SHL 0000072a: SUB 0000072b: AND 0000072c: DUP10 0000072d: PUSH1 0x01 0000072f: PUSH1 0x01 00000731: PUSH1 0xa0 00000733: SHL 00000734: SUB 00000735: AND 00000736: EQ 00000737: ISZERO 00000738: JUMPDEST 00000739: DUP1 0000073a: ISZERO 0000073b: PUSH2 0x0761 0000073e: JUMPI 0000073f: POP 00000740: PUSH1 0x01 00000742: PUSH1 0x01 00000744: PUSH1 0xa0 00000746: SHL 00000747: SUB 00000748: DUP10 00000749: AND 0000074a: PUSH1 0x00 0000074c: SWAP1 0000074d: DUP2 0000074e: MSTORE 0000074f: PUSH1 0x03 00000751: PUSH1 0x20 00000753: MSTORE 00000754: PUSH1 0x40 00000756: SWAP1 00000757: KECCAK256 00000758: SLOAD 00000759: PUSH1 0xff 0000075b: AND 0000075c: ISZERO 0000075d: ISZERO 0000075e: PUSH1 0x01 00000760: EQ 00000761: JUMPDEST 00000762: ISZERO 00000763: PUSH2 0x07ed 00000766: JUMPI 00000767: PUSH1 0x01 00000769: PUSH1 0x01 0000076b: PUSH1 0xa0 0000076d: SHL 0000076e: SUB 0000076f: DUP1 00000770: DUP11 00000771: AND 00000772: PUSH1 0x00 00000774: SWAP1 00000775: DUP2 00000776: MSTORE 00000777: PUSH1 0x04 00000779: PUSH1 0x20 0000077b: SWAP1 0000077c: DUP2 0000077d: MSTORE 0000077e: PUSH1 0x40 00000780: DUP1 00000781: DUP4 00000782: KECCAK256 00000783: SWAP4 00000784: DUP16 00000785: AND 00000786: DUP4 00000787: MSTORE 00000788: SWAP3 00000789: SWAP1 0000078a: MSTORE 0000078b: KECCAK256 0000078c: PUSH1 0x01 0000078e: ADD 0000078f: SLOAD 00000790: PUSH2 0x0799 00000793: SWAP1 00000794: DUP7 00000795: PUSH2 0x1fa2 00000798: JUMP 00000799: JUMPDEST 0000079a: PUSH1 0x04 0000079c: PUSH1 0x00 0000079e: DUP12 0000079f: PUSH1 0x01 000007a1: PUSH1 0x01 000007a3: PUSH1 0xa0 000007a5: SHL 000007a6: SUB 000007a7: AND 000007a8: PUSH1 0x01 000007aa: PUSH1 0x01 000007ac: PUSH1 0xa0 000007ae: SHL 000007af: SUB 000007b0: AND 000007b1: DUP2 000007b2: MSTORE 000007b3: PUSH1 0x20 000007b5: ADD 000007b6: SWAP1 000007b7: DUP2 000007b8: MSTORE 000007b9: PUSH1 0x20 000007bb: ADD 000007bc: PUSH1 0x00 000007be: KECCAK256 000007bf: PUSH1 0x00 000007c1: DUP14 000007c2: PUSH1 0x01 000007c4: PUSH1 0x01 000007c6: PUSH1 0xa0 000007c8: SHL 000007c9: SUB 000007ca: AND 000007cb: PUSH1 0x01 000007cd: PUSH1 0x01 000007cf: PUSH1 0xa0 000007d1: SHL 000007d2: SUB 000007d3: AND 000007d4: DUP2 000007d5: MSTORE 000007d6: PUSH1 0x20 000007d8: ADD 000007d9: SWAP1 000007da: DUP2 000007db: MSTORE 000007dc: PUSH1 0x20 000007de: ADD 000007df: PUSH1 0x00 000007e1: KECCAK256 000007e2: PUSH1 0x01 000007e4: ADD 000007e5: DUP2 000007e6: SWAP1 000007e7: SSTORE 000007e8: POP 000007e9: PUSH2 0x0806 000007ec: JUMP 000007ed: JUMPDEST 000007ee: PUSH2 0x07f7 000007f1: DUP5 000007f2: DUP7 000007f3: PUSH2 0x1fa2 000007f6: JUMP 000007f7: JUMPDEST 000007f8: SWAP4 000007f9: POP 000007fa: POP 000007fb: PUSH8 0x0de0b6b3a7640000 00000804: DUP4 00000805: MUL 00000806: JUMPDEST 00000807: PUSH1 0x01 00000809: PUSH1 0x01 0000080b: PUSH1 0xa0 0000080d: SHL 0000080e: SUB 0000080f: DUP12 00000810: AND 00000811: PUSH1 0x00 00000813: SWAP1 00000814: DUP2 00000815: MSTORE 00000816: PUSH1 0x05 00000818: PUSH1 0x20 0000081a: MSTORE 0000081b: PUSH1 0x40 0000081d: SWAP1 0000081e: KECCAK256 0000081f: SLOAD 00000820: ISZERO 00000821: PUSH2 0x08ba 00000824: JUMPI 00000825: PUSH1 0x01 00000827: PUSH1 0x01 00000829: PUSH1 0xa0 0000082b: SHL 0000082c: SUB 0000082d: DUP12 0000082e: AND 0000082f: PUSH1 0x00 00000831: SWAP1 00000832: DUP2 00000833: MSTORE 00000834: PUSH1 0x05 00000836: PUSH1 0x20 00000838: MSTORE 00000839: PUSH1 0x40 0000083b: SWAP1 0000083c: KECCAK256 0000083d: SLOAD 0000083e: PUSH2 0x0847 00000841: SWAP1 00000842: DUP4 00000843: PUSH2 0x1fa2 00000846: JUMP 00000847: JUMPDEST 00000848: PUSH1 0x01 0000084a: PUSH1 0x01 0000084c: PUSH1 0xa0 0000084e: SHL 0000084f: SUB 00000850: DUP13 00000851: AND 00000852: PUSH1 0x00 00000854: SWAP1 00000855: DUP2 00000856: MSTORE 00000857: PUSH1 0x05 00000859: PUSH1 0x20 0000085b: MSTORE 0000085c: PUSH1 0x40 0000085e: SWAP1 0000085f: KECCAK256 00000860: DUP2 00000861: SWAP1 00000862: SSTORE 00000863: PUSH8 0x0de0b6b3a7640000 0000086c: DUP6 0000086d: MUL 0000086e: DUP2 0000086f: PUSH2 0x0874 00000872: JUMPI 00000873: INVALID 00000874: JUMPDEST 00000875: PUSH1 0x01 00000877: PUSH1 0x01 00000879: PUSH1 0xa0 0000087b: SHL 0000087c: SUB 0000087d: DUP14 0000087e: AND 0000087f: PUSH1 0x00 00000881: SWAP1 00000882: DUP2 00000883: MSTORE 00000884: PUSH1 0x05 00000886: PUSH1 0x20 00000888: MSTORE 00000889: PUSH1 0x40 0000088b: SWAP1 0000088c: KECCAK256 0000088d: PUSH1 0x01 0000088f: DUP2 00000890: ADD 00000891: DUP1 00000892: SLOAD 00000893: SWAP4 00000894: SWAP1 00000895: SWAP3 00000896: DIV 00000897: SWAP1 00000898: SWAP3 00000899: ADD 0000089a: SWAP1 0000089b: SSTORE 0000089c: SLOAD 0000089d: PUSH8 0x0de0b6b3a7640000 000008a6: DUP6 000008a7: MUL 000008a8: DUP2 000008a9: PUSH2 0x08ae 000008ac: JUMPI 000008ad: INVALID 000008ae: JUMPDEST 000008af: DIV 000008b0: DUP3 000008b1: MUL 000008b2: DUP2 000008b3: SUB 000008b4: SWAP1 000008b5: SUB 000008b6: PUSH2 0x08d6 000008b9: JUMP 000008ba: JUMPDEST 000008bb: PUSH1 0x01 000008bd: PUSH1 0x01 000008bf: PUSH1 0xa0 000008c1: SHL 000008c2: SUB 000008c3: DUP12 000008c4: AND 000008c5: PUSH1 0x00 000008c7: SWAP1 000008c8: DUP2 000008c9: MSTORE 000008ca: PUSH1 0x05 000008cc: PUSH1 0x20 000008ce: MSTORE 000008cf: PUSH1 0x40 000008d1: SWAP1 000008d2: KECCAK256 000008d3: DUP3 000008d4: SWAP1 000008d5: SSTORE 000008d6: JUMPDEST 000008d7: PUSH1 0x01 000008d9: PUSH1 0x01 000008db: PUSH1 0xa0 000008dd: SHL 000008de: SUB 000008df: DUP1 000008e0: DUP9 000008e1: AND 000008e2: PUSH1 0x00 000008e4: SWAP1 000008e5: DUP2 000008e6: MSTORE 000008e7: PUSH1 0x04 000008e9: PUSH1 0x20 000008eb: SWAP1 000008ec: DUP2 000008ed: MSTORE 000008ee: PUSH1 0x40 000008f0: DUP1 000008f1: DUP4 000008f2: KECCAK256 000008f3: SWAP4 000008f4: DUP16 000008f5: AND 000008f6: DUP4 000008f7: MSTORE 000008f8: SWAP3 000008f9: SWAP1 000008fa: MSTORE 000008fb: KECCAK256 000008fc: SLOAD 000008fd: PUSH2 0x0906 00000900: SWAP1 00000901: DUP4 00000902: PUSH2 0x1fa2 00000905: JUMP 00000906: JUMPDEST 00000907: PUSH1 0x04 00000909: PUSH1 0x00 0000090b: DUP10 0000090c: PUSH1 0x01 0000090e: PUSH1 0x01 00000910: PUSH1 0xa0 00000912: SHL 00000913: SUB 00000914: AND 00000915: PUSH1 0x01 00000917: PUSH1 0x01 00000919: PUSH1 0xa0 0000091b: SHL 0000091c: SUB 0000091d: AND 0000091e: DUP2 0000091f: MSTORE 00000920: PUSH1 0x20 00000922: ADD 00000923: SWAP1 00000924: DUP2 00000925: MSTORE 00000926: PUSH1 0x20 00000928: ADD 00000929: PUSH1 0x00 0000092b: KECCAK256 0000092c: PUSH1 0x00 0000092e: DUP14 0000092f: PUSH1 0x01 00000931: PUSH1 0x01 00000933: PUSH1 0xa0 00000935: SHL 00000936: SUB 00000937: AND 00000938: PUSH1 0x01 0000093a: PUSH1 0x01 0000093c: PUSH1 0xa0 0000093e: SHL 0000093f: SUB 00000940: AND 00000941: DUP2 00000942: MSTORE 00000943: PUSH1 0x20 00000945: ADD 00000946: SWAP1 00000947: DUP2 00000948: MSTORE 00000949: PUSH1 0x20 0000094b: ADD 0000094c: PUSH1 0x00 0000094e: KECCAK256 0000094f: PUSH1 0x00 00000951: ADD 00000952: DUP2 00000953: SWAP1 00000954: SSTORE 00000955: POP 00000956: PUSH1 0x00 00000958: DUP2 00000959: DUP4 0000095a: PUSH1 0x05 0000095c: PUSH1 0x00 0000095e: DUP16 0000095f: PUSH1 0x01 00000961: PUSH1 0x01 00000963: PUSH1 0xa0 00000965: SHL 00000966: SUB 00000967: AND 00000968: PUSH1 0x01 0000096a: PUSH1 0x01 0000096c: PUSH1 0xa0 0000096e: SHL 0000096f: SUB 00000970: AND 00000971: DUP2 00000972: MSTORE 00000973: PUSH1 0x20 00000975: ADD 00000976: SWAP1 00000977: DUP2 00000978: MSTORE 00000979: PUSH1 0x20 0000097b: ADD 0000097c: PUSH1 0x00 0000097e: KECCAK256 0000097f: PUSH1 0x01 00000981: ADD 00000982: SLOAD 00000983: MUL 00000984: SUB 00000985: SWAP1 00000986: POP 00000987: DUP1 00000988: PUSH1 0x04 0000098a: PUSH1 0x00 0000098c: DUP11 0000098d: PUSH1 0x01 0000098f: PUSH1 0x01 00000991: PUSH1 0xa0 00000993: SHL 00000994: SUB 00000995: AND 00000996: PUSH1 0x01 00000998: PUSH1 0x01 0000099a: PUSH1 0xa0 0000099c: SHL 0000099d: SUB 0000099e: AND 0000099f: DUP2 000009a0: MSTORE 000009a1: PUSH1 0x20 000009a3: ADD 000009a4: SWAP1 000009a5: DUP2 000009a6: MSTORE 000009a7: PUSH1 0x20 000009a9: ADD 000009aa: PUSH1 0x00 000009ac: KECCAK256 000009ad: PUSH1 0x00 000009af: DUP15 000009b0: PUSH1 0x01 000009b2: PUSH1 0x01 000009b4: PUSH1 0xa0 000009b6: SHL 000009b7: SUB 000009b8: AND 000009b9: PUSH1 0x01 000009bb: PUSH1 0x01 000009bd: PUSH1 0xa0 000009bf: SHL 000009c0: SUB 000009c1: AND 000009c2: DUP2 000009c3: MSTORE 000009c4: PUSH1 0x20 000009c6: ADD 000009c7: SWAP1 000009c8: DUP2 000009c9: MSTORE 000009ca: PUSH1 0x20 000009cc: ADD 000009cd: PUSH1 0x00 000009cf: KECCAK256 000009d0: PUSH1 0x02 000009d2: ADD 000009d3: PUSH1 0x00 000009d5: DUP3 000009d6: DUP3 000009d7: SLOAD 000009d8: ADD 000009d9: SWAP3 000009da: POP 000009db: POP 000009dc: DUP2 000009dd: SWAP1 000009de: SSTORE 000009df: POP 000009e0: DUP10 000009e1: PUSH1 0x01 000009e3: PUSH1 0x01 000009e5: PUSH1 0xa0 000009e7: SHL 000009e8: SUB 000009e9: AND 000009ea: DUP13 000009eb: PUSH1 0x01 000009ed: PUSH1 0x01 000009ef: PUSH1 0xa0 000009f1: SHL 000009f2: SUB 000009f3: AND 000009f4: DUP10 000009f5: PUSH1 0x01 000009f7: PUSH1 0x01 000009f9: PUSH1 0xa0 000009fb: SHL 000009fc: SUB 000009fd: AND 000009fe: PUSH32 0xe685b47d8d340a114374b6dc2a44a38f7ad6850d44f8762faaba5e22bba52d24 00000a1f: DUP15 00000a20: DUP8 00000a21: PUSH1 0x40 00000a23: MLOAD 00000a24: DUP1 00000a25: DUP4 00000a26: DUP2 00000a27: MSTORE 00000a28: PUSH1 0x20 00000a2a: ADD 00000a2b: DUP3 00000a2c: DUP2 00000a2d: MSTORE 00000a2e: PUSH1 0x20 00000a30: ADD 00000a31: SWAP3 00000a32: POP 00000a33: POP 00000a34: POP 00000a35: PUSH1 0x40 00000a37: MLOAD 00000a38: DUP1 00000a39: SWAP2 00000a3a: SUB 00000a3b: SWAP1 00000a3c: LOG4 00000a3d: POP 00000a3e: SWAP1 00000a3f: SWAP11 00000a40: SWAP10 00000a41: POP 00000a42: POP 00000a43: POP 00000a44: POP 00000a45: POP 00000a46: POP 00000a47: POP 00000a48: POP 00000a49: POP 00000a4a: POP 00000a4b: JUMP 00000a4c: JUMPDEST 00000a4d: PUSH1 0x01 00000a4f: PUSH1 0x01 00000a51: PUSH1 0xa0 00000a53: SHL 00000a54: SUB 00000a55: DUP2 00000a56: AND 00000a57: PUSH1 0x00 00000a59: SWAP1 00000a5a: DUP2 00000a5b: MSTORE 00000a5c: PUSH1 0x02 00000a5e: PUSH1 0x20 00000a60: MSTORE 00000a61: PUSH1 0x40 00000a63: DUP2 00000a64: KECCAK256 00000a65: SLOAD 00000a66: PUSH1 0xff 00000a68: AND 00000a69: ISZERO 00000a6a: ISZERO 00000a6b: PUSH1 0x01 00000a6d: EQ 00000a6e: PUSH2 0x0a76 00000a71: JUMPI 00000a72: PUSH1 0x00 00000a74: DUP1 00000a75: REVERT 00000a76: JUMPDEST 00000a77: PUSH1 0x01 00000a79: PUSH1 0x01 00000a7b: PUSH1 0xa0 00000a7d: SHL 00000a7e: SUB 00000a7f: DUP3 00000a80: AND 00000a81: PUSH1 0x00 00000a83: SWAP1 00000a84: DUP2 00000a85: MSTORE 00000a86: PUSH1 0x05 00000a88: PUSH1 0x20 00000a8a: MSTORE 00000a8b: PUSH1 0x40 00000a8d: SWAP1 00000a8e: KECCAK256 00000a8f: SLOAD 00000a90: PUSH2 0x0abd 00000a93: JUMPI 00000a94: POP 00000a95: PUSH1 0x01 00000a97: PUSH1 0x01 00000a99: PUSH1 0xa0 00000a9b: SHL 00000a9c: SUB 00000a9d: DUP2 00000a9e: AND 00000a9f: PUSH1 0x00 00000aa1: SWAP1 00000aa2: DUP2 00000aa3: MSTORE 00000aa4: PUSH1 0x05 00000aa6: PUSH1 0x20 00000aa8: MSTORE 00000aa9: PUSH1 0x40 00000aab: SWAP1 00000aac: KECCAK256 00000aad: PUSH1 0x03 00000aaf: DUP2 00000ab0: ADD 00000ab1: SLOAD 00000ab2: PUSH1 0x02 00000ab4: SWAP1 00000ab5: SWAP2 00000ab6: ADD 00000ab7: SLOAD 00000ab8: ADD 00000ab9: PUSH2 0x0af9 00000abc: JUMP 00000abd: JUMPDEST 00000abe: PUSH1 0x00 00000ac0: PUSH2 0x0ad1 00000ac3: DUP4 00000ac4: PUSH8 0x0de0b6b3a7640000 00000acd: PUSH2 0x1fb1 00000ad0: JUMP 00000ad1: JUMPDEST 00000ad2: SWAP1 00000ad3: POP 00000ad4: PUSH1 0x00 00000ad6: PUSH2 0x0ae0 00000ad9: DUP3 00000ada: PUSH1 0x0a 00000adc: PUSH2 0x1ee5 00000adf: JUMP 00000ae0: JUMPDEST 00000ae1: SWAP1 00000ae2: POP 00000ae3: PUSH1 0x00 00000ae5: PUSH2 0x0aee 00000ae8: DUP4 00000ae9: DUP4 00000aea: PUSH2 0x1fa2 00000aed: JUMP 00000aee: JUMPDEST 00000aef: SWAP4 00000af0: POP 00000af1: PUSH2 0x0af9 00000af4: SWAP3 00000af5: POP 00000af6: POP 00000af7: POP 00000af8: JUMP 00000af9: JUMPDEST 00000afa: SWAP2 00000afb: SWAP1 00000afc: POP 00000afd: JUMP 00000afe: JUMPDEST 00000aff: PUSH1 0x01 00000b01: PUSH1 0x01 00000b03: PUSH1 0xa0 00000b05: SHL 00000b06: SUB 00000b07: DUP3 00000b08: AND 00000b09: PUSH1 0x00 00000b0b: SWAP1 00000b0c: DUP2 00000b0d: MSTORE 00000b0e: PUSH1 0x02 00000b10: PUSH1 0x20 00000b12: MSTORE 00000b13: PUSH1 0x40 00000b15: DUP2 00000b16: KECCAK256 00000b17: SLOAD 00000b18: PUSH1 0xff 00000b1a: AND 00000b1b: ISZERO 00000b1c: ISZERO 00000b1d: PUSH1 0x01 00000b1f: EQ 00000b20: PUSH2 0x0b28 00000b23: JUMPI 00000b24: PUSH1 0x00 00000b26: DUP1 00000b27: REVERT 00000b28: JUMPDEST 00000b29: PUSH1 0x01 00000b2b: PUSH1 0x01 00000b2d: PUSH1 0xa0 00000b2f: SHL 00000b30: SUB 00000b31: DUP4 00000b32: AND 00000b33: PUSH1 0x00 00000b35: SWAP1 00000b36: DUP2 00000b37: MSTORE 00000b38: PUSH1 0x05 00000b3a: PUSH1 0x20 00000b3c: MSTORE 00000b3d: PUSH1 0x40 00000b3f: SWAP1 00000b40: KECCAK256 00000b41: SLOAD 00000b42: DUP3 00000b43: GT 00000b44: ISZERO 00000b45: PUSH2 0x0b4d 00000b48: JUMPI 00000b49: PUSH1 0x00 00000b4b: DUP1 00000b4c: REVERT 00000b4d: JUMPDEST 00000b4e: PUSH1 0x00 00000b50: PUSH2 0x0b59 00000b53: DUP5 00000b54: DUP5 00000b55: PUSH2 0x1fb1 00000b58: JUMP 00000b59: JUMPDEST 00000b5a: SWAP1 00000b5b: POP 00000b5c: PUSH1 0x00 00000b5e: PUSH2 0x0b68 00000b61: DUP3 00000b62: PUSH1 0x0a 00000b64: PUSH2 0x1ee5 00000b67: JUMP 00000b68: JUMPDEST 00000b69: SWAP1 00000b6a: POP 00000b6b: PUSH1 0x00 00000b6d: PUSH2 0x0b76 00000b70: DUP4 00000b71: DUP4 00000b72: PUSH2 0x1efa 00000b75: JUMP 00000b76: JUMPDEST 00000b77: SWAP7 00000b78: SWAP6 00000b79: POP 00000b7a: POP 00000b7b: POP 00000b7c: POP 00000b7d: POP 00000b7e: POP 00000b7f: JUMP 00000b80: JUMPDEST 00000b81: PUSH1 0x01 00000b83: PUSH1 0x01 00000b85: PUSH1 0xa0 00000b87: SHL 00000b88: SUB 00000b89: DUP3 00000b8a: AND 00000b8b: PUSH1 0x00 00000b8d: SWAP1 00000b8e: DUP2 00000b8f: MSTORE 00000b90: PUSH1 0x02 00000b92: PUSH1 0x20 00000b94: MSTORE 00000b95: PUSH1 0x40 00000b97: DUP2 00000b98: KECCAK256 00000b99: SLOAD 00000b9a: PUSH1 0xff 00000b9c: AND 00000b9d: ISZERO 00000b9e: ISZERO 00000b9f: PUSH1 0x01 00000ba1: EQ 00000ba2: PUSH2 0x0baa 00000ba5: JUMPI 00000ba6: PUSH1 0x00 00000ba8: DUP1 00000ba9: REVERT 00000baa: JUMPDEST 00000bab: PUSH1 0x00 00000bad: PUSH2 0x0bb7 00000bb0: DUP4 00000bb1: PUSH1 0x0a 00000bb3: PUSH2 0x1ee5 00000bb6: JUMP 00000bb7: JUMPDEST 00000bb8: SWAP1 00000bb9: POP 00000bba: PUSH1 0x00 00000bbc: PUSH2 0x0bc5 00000bbf: DUP5 00000bc0: DUP4 00000bc1: PUSH2 0x1efa 00000bc4: JUMP 00000bc5: JUMPDEST 00000bc6: SWAP1 00000bc7: POP 00000bc8: PUSH1 0x00 00000bca: PUSH2 0x0b76 00000bcd: DUP7 00000bce: DUP4 00000bcf: PUSH2 0x1f0c 00000bd2: JUMP 00000bd3: JUMPDEST 00000bd4: PUSH1 0x02 00000bd6: PUSH1 0x01 00000bd8: SLOAD 00000bd9: EQ 00000bda: ISZERO 00000bdb: PUSH2 0x0c19 00000bde: JUMPI 00000bdf: PUSH1 0x40 00000be1: DUP1 00000be2: MLOAD 00000be3: PUSH3 0x461bcd 00000be7: PUSH1 0xe5 00000be9: SHL 00000bea: DUP2 00000beb: MSTORE 00000bec: PUSH1 0x20 00000bee: PUSH1 0x04 00000bf0: DUP3 00000bf1: ADD 00000bf2: MSTORE 00000bf3: PUSH1 0x1f 00000bf5: PUSH1 0x24 00000bf7: DUP3 00000bf8: ADD 00000bf9: MSTORE 00000bfa: PUSH1 0x00 00000bfc: DUP1 00000bfd: MLOAD 00000bfe: PUSH1 0x20 00000c00: PUSH2 0x206d 00000c03: DUP4 00000c04: CODECOPY 00000c05: DUP2 00000c06: MLOAD 00000c07: SWAP2 00000c08: MSTORE 00000c09: PUSH1 0x44 00000c0b: DUP3 00000c0c: ADD 00000c0d: MSTORE 00000c0e: SWAP1 00000c0f: MLOAD 00000c10: SWAP1 00000c11: DUP2 00000c12: SWAP1 00000c13: SUB 00000c14: PUSH1 0x64 00000c16: ADD 00000c17: SWAP1 00000c18: REVERT 00000c19: JUMPDEST 00000c1a: PUSH1 0x02 00000c1c: PUSH1 0x01 00000c1e: DUP2 00000c1f: DUP2 00000c20: SSTORE 00000c21: PUSH1 0x01 00000c23: PUSH1 0x01 00000c25: PUSH1 0xa0 00000c27: SHL 00000c28: SUB 00000c29: DUP4 00000c2a: AND 00000c2b: PUSH1 0x00 00000c2d: SWAP1 00000c2e: DUP2 00000c2f: MSTORE 00000c30: PUSH1 0x20 00000c32: SWAP3 00000c33: SWAP1 00000c34: SWAP3 00000c35: MSTORE 00000c36: PUSH1 0x40 00000c38: SWAP1 00000c39: SWAP2 00000c3a: KECCAK256 00000c3b: SLOAD 00000c3c: PUSH1 0xff 00000c3e: AND 00000c3f: ISZERO 00000c40: ISZERO 00000c41: EQ 00000c42: PUSH2 0x0c4a 00000c45: JUMPI 00000c46: PUSH1 0x00 00000c48: DUP1 00000c49: REVERT 00000c4a: JUMPDEST 00000c4b: CALLER 00000c4c: PUSH1 0x00 00000c4e: SWAP1 00000c4f: DUP2 00000c50: MSTORE 00000c51: PUSH1 0x03 00000c53: PUSH1 0x20 00000c55: MSTORE 00000c56: PUSH1 0x40 00000c58: SWAP1 00000c59: KECCAK256 00000c5a: SLOAD 00000c5b: PUSH1 0xff 00000c5d: AND 00000c5e: ISZERO 00000c5f: ISZERO 00000c60: PUSH1 0x01 00000c62: EQ 00000c63: PUSH2 0x0c6b 00000c66: JUMPI 00000c67: PUSH1 0x00 00000c69: DUP1 00000c6a: REVERT 00000c6b: JUMPDEST 00000c6c: CALLER 00000c6d: PUSH1 0x00 00000c6f: PUSH2 0x0c78 00000c72: DUP4 00000c73: DUP3 00000c74: PUSH2 0x1882 00000c77: JUMP 00000c78: JUMPDEST 00000c79: PUSH1 0x01 00000c7b: PUSH1 0x01 00000c7d: PUSH1 0xa0 00000c7f: SHL 00000c80: SUB 00000c81: DUP4 00000c82: DUP2 00000c83: AND 00000c84: PUSH1 0x00 00000c86: SWAP1 00000c87: DUP2 00000c88: MSTORE 00000c89: PUSH1 0x04 00000c8b: PUSH1 0x20 00000c8d: SWAP1 00000c8e: DUP2 00000c8f: MSTORE 00000c90: PUSH1 0x40 00000c92: DUP1 00000c93: DUP4 00000c94: KECCAK256 00000c95: SWAP4 00000c96: DUP9 00000c97: AND 00000c98: DUP1 00000c99: DUP5 00000c9a: MSTORE 00000c9b: SWAP4 00000c9c: SWAP1 00000c9d: SWAP2 00000c9e: MSTORE 00000c9f: DUP2 00000ca0: KECCAK256 00000ca1: PUSH1 0x02 00000ca3: DUP2 00000ca4: ADD 00000ca5: DUP1 00000ca6: SLOAD 00000ca7: PUSH8 0x0de0b6b3a7640000 00000cb0: DUP7 00000cb1: MUL 00000cb2: ADD 00000cb3: SWAP1 00000cb4: SSTORE 00000cb5: PUSH1 0x01 00000cb7: ADD 00000cb8: DUP1 00000cb9: SLOAD 00000cba: SWAP2 00000cbb: SWAP1 00000cbc: SSTORE 00000cbd: SWAP1 00000cbe: SWAP2 00000cbf: ADD 00000cc0: SWAP2 00000cc1: POP 00000cc2: PUSH2 0x0d01 00000cc5: JUMPI 00000cc6: PUSH1 0x40 00000cc8: MLOAD 00000cc9: PUSH1 0x01 00000ccb: PUSH1 0x01 00000ccd: PUSH1 0xa0 00000ccf: SHL 00000cd0: SUB 00000cd1: DUP4 00000cd2: AND 00000cd3: SWAP1 00000cd4: DUP3 00000cd5: ISZERO 00000cd6: PUSH2 0x08fc 00000cd9: MUL 00000cda: SWAP1 00000cdb: DUP4 00000cdc: SWAP1 00000cdd: PUSH1 0x00 00000cdf: DUP2 00000ce0: DUP2 00000ce1: DUP2 00000ce2: DUP6 00000ce3: DUP9 00000ce4: DUP9 00000ce5: CALL 00000ce6: SWAP4 00000ce7: POP 00000ce8: POP 00000ce9: POP 00000cea: POP 00000ceb: ISZERO 00000cec: DUP1 00000ced: ISZERO 00000cee: PUSH2 0x0cfb 00000cf1: JUMPI 00000cf2: RETURNDATASIZE 00000cf3: PUSH1 0x00 00000cf5: DUP1 00000cf6: RETURNDATACOPY 00000cf7: RETURNDATASIZE 00000cf8: PUSH1 0x00 00000cfa: REVERT 00000cfb: JUMPDEST 00000cfc: POP 00000cfd: PUSH2 0x0d85 00000d00: JUMP 00000d01: JUMPDEST 00000d02: DUP3 00000d03: PUSH1 0x01 00000d05: PUSH1 0x01 00000d07: PUSH1 0xa0 00000d09: SHL 00000d0a: SUB 00000d0b: AND 00000d0c: PUSH4 0xa9059cbb 00000d11: DUP4 00000d12: DUP4 00000d13: PUSH1 0x40 00000d15: MLOAD 00000d16: DUP4 00000d17: PUSH4 0xffffffff 00000d1c: AND 00000d1d: PUSH1 0xe0 00000d1f: SHL 00000d20: DUP2 00000d21: MSTORE 00000d22: PUSH1 0x04 00000d24: ADD 00000d25: DUP1 00000d26: DUP4 00000d27: PUSH1 0x01 00000d29: PUSH1 0x01 00000d2b: PUSH1 0xa0 00000d2d: SHL 00000d2e: SUB 00000d2f: AND 00000d30: DUP2 00000d31: MSTORE 00000d32: PUSH1 0x20 00000d34: ADD 00000d35: DUP3 00000d36: DUP2 00000d37: MSTORE 00000d38: PUSH1 0x20 00000d3a: ADD 00000d3b: SWAP3 00000d3c: POP 00000d3d: POP 00000d3e: POP 00000d3f: PUSH1 0x20 00000d41: PUSH1 0x40 00000d43: MLOAD 00000d44: DUP1 00000d45: DUP4 00000d46: SUB 00000d47: DUP2 00000d48: PUSH1 0x00 00000d4a: DUP8 00000d4b: DUP1 00000d4c: EXTCODESIZE 00000d4d: ISZERO 00000d4e: DUP1 00000d4f: ISZERO 00000d50: PUSH2 0x0d58 00000d53: JUMPI 00000d54: PUSH1 0x00 00000d56: DUP1 00000d57: REVERT 00000d58: JUMPDEST 00000d59: POP 00000d5a: GAS 00000d5b: CALL 00000d5c: ISZERO 00000d5d: DUP1 00000d5e: ISZERO 00000d5f: PUSH2 0x0d6c 00000d62: JUMPI 00000d63: RETURNDATASIZE 00000d64: PUSH1 0x00 00000d66: DUP1 00000d67: RETURNDATACOPY 00000d68: RETURNDATASIZE 00000d69: PUSH1 0x00 00000d6b: REVERT 00000d6c: JUMPDEST 00000d6d: POP 00000d6e: POP 00000d6f: POP 00000d70: POP 00000d71: PUSH1 0x40 00000d73: MLOAD 00000d74: RETURNDATASIZE 00000d75: PUSH1 0x20 00000d77: DUP2 00000d78: LT 00000d79: ISZERO 00000d7a: PUSH2 0x0d82 00000d7d: JUMPI 00000d7e: PUSH1 0x00 00000d80: DUP1 00000d81: REVERT 00000d82: JUMPDEST 00000d83: POP 00000d84: POP 00000d85: JUMPDEST 00000d86: DUP3 00000d87: PUSH1 0x01 00000d89: PUSH1 0x01 00000d8b: PUSH1 0xa0 00000d8d: SHL 00000d8e: SUB 00000d8f: AND 00000d90: DUP3 00000d91: PUSH1 0x01 00000d93: PUSH1 0x01 00000d95: PUSH1 0xa0 00000d97: SHL 00000d98: SUB 00000d99: AND 00000d9a: PUSH32 0xf850ffaa1aceb8da2b48b026cee764913144461fd644ce50226d91daa6573a00 00000dbb: DUP4 00000dbc: PUSH1 0x40 00000dbe: MLOAD 00000dbf: DUP1 00000dc0: DUP3 00000dc1: DUP2 00000dc2: MSTORE 00000dc3: PUSH1 0x20 00000dc5: ADD 00000dc6: SWAP2 00000dc7: POP 00000dc8: POP 00000dc9: PUSH1 0x40 00000dcb: MLOAD 00000dcc: DUP1 00000dcd: SWAP2 00000dce: SUB 00000dcf: SWAP1 00000dd0: LOG3 00000dd1: POP 00000dd2: POP 00000dd3: PUSH1 0x01 00000dd5: DUP1 00000dd6: SSTORE 00000dd7: POP 00000dd8: JUMP 00000dd9: JUMPDEST 00000dda: PUSH1 0x01 00000ddc: PUSH1 0x01 00000dde: PUSH1 0xa0 00000de0: SHL 00000de1: SUB 00000de2: DUP3 00000de3: AND 00000de4: PUSH1 0x00 00000de6: SWAP1 00000de7: DUP2 00000de8: MSTORE 00000de9: PUSH1 0x02 00000deb: PUSH1 0x20 00000ded: MSTORE 00000dee: PUSH1 0x40 00000df0: DUP2 00000df1: KECCAK256 00000df2: SLOAD 00000df3: PUSH1 0xff 00000df5: AND 00000df6: ISZERO 00000df7: ISZERO 00000df8: PUSH1 0x01 00000dfa: EQ 00000dfb: PUSH2 0x0e03 00000dfe: JUMPI 00000dff: PUSH1 0x00 00000e01: DUP1 00000e02: REVERT 00000e03: JUMPDEST 00000e04: POP 00000e05: PUSH1 0x01 00000e07: PUSH1 0x01 00000e09: PUSH1 0xa0 00000e0b: SHL 00000e0c: SUB 00000e0d: SWAP1 00000e0e: DUP2 00000e0f: AND 00000e10: PUSH1 0x00 00000e12: SWAP1 00000e13: DUP2 00000e14: MSTORE 00000e15: PUSH1 0x04 00000e17: PUSH1 0x20 00000e19: SWAP1 00000e1a: DUP2 00000e1b: MSTORE 00000e1c: PUSH1 0x40 00000e1e: DUP1 00000e1f: DUP4 00000e20: KECCAK256 00000e21: SWAP5 00000e22: SWAP1 00000e23: SWAP4 00000e24: AND 00000e25: DUP3 00000e26: MSTORE 00000e27: SWAP3 00000e28: DUP4 00000e29: MSTORE 00000e2a: DUP2 00000e2b: DUP2 00000e2c: KECCAK256 00000e2d: PUSH1 0x02 00000e2f: DUP2 00000e30: ADD 00000e31: SLOAD 00000e32: SWAP1 00000e33: SLOAD 00000e34: PUSH1 0x05 00000e36: SWAP1 00000e37: SWAP5 00000e38: MSTORE 00000e39: SWAP2 00000e3a: SWAP1 00000e3b: KECCAK256 00000e3c: PUSH1 0x01 00000e3e: ADD 00000e3f: SLOAD 00000e40: PUSH8 0x0de0b6b3a7640000 00000e49: SWAP3 00000e4a: MUL 00000e4b: SUB 00000e4c: DIV 00000e4d: SWAP1 00000e4e: JUMP 00000e4f: JUMPDEST 00000e50: PUSH1 0x01 00000e52: PUSH1 0x01 00000e54: PUSH1 0xa0 00000e56: SHL 00000e57: SUB 00000e58: DUP3 00000e59: AND 00000e5a: PUSH1 0x00 00000e5c: SWAP1 00000e5d: DUP2 00000e5e: MSTORE 00000e5f: PUSH1 0x02 00000e61: PUSH1 0x20 00000e63: MSTORE 00000e64: PUSH1 0x40 00000e66: SWAP1 00000e67: KECCAK256 00000e68: SLOAD 00000e69: PUSH1 0xff 00000e6b: AND 00000e6c: ISZERO 00000e6d: ISZERO 00000e6e: PUSH1 0x01 00000e70: EQ 00000e71: PUSH2 0x0e79 00000e74: JUMPI 00000e75: PUSH1 0x00 00000e77: DUP1 00000e78: REVERT 00000e79: JUMPDEST 00000e7a: CALLER 00000e7b: PUSH1 0x00 00000e7d: SWAP1 00000e7e: DUP2 00000e7f: MSTORE 00000e80: PUSH1 0x03 00000e82: PUSH1 0x20 00000e84: MSTORE 00000e85: PUSH1 0x40 00000e87: SWAP1 00000e88: KECCAK256 00000e89: SLOAD 00000e8a: PUSH1 0xff 00000e8c: AND 00000e8d: ISZERO 00000e8e: ISZERO 00000e8f: PUSH1 0x01 00000e91: EQ 00000e92: PUSH2 0x0e9a 00000e95: JUMPI 00000e96: PUSH1 0x00 00000e98: DUP1 00000e99: REVERT 00000e9a: JUMPDEST 00000e9b: CALLER 00000e9c: PUSH1 0x00 00000e9e: DUP2 00000e9f: DUP2 00000ea0: MSTORE 00000ea1: PUSH1 0x04 00000ea3: PUSH1 0x20 00000ea5: SWAP1 00000ea6: DUP2 00000ea7: MSTORE 00000ea8: PUSH1 0x40 00000eaa: DUP1 00000eab: DUP4 00000eac: KECCAK256 00000ead: PUSH1 0x01 00000eaf: PUSH1 0x01 00000eb1: PUSH1 0xa0 00000eb3: SHL 00000eb4: SUB 00000eb5: DUP8 00000eb6: AND 00000eb7: DUP5 00000eb8: MSTORE 00000eb9: SWAP1 00000eba: SWAP2 00000ebb: MSTORE 00000ebc: SWAP1 00000ebd: KECCAK256 00000ebe: SLOAD 00000ebf: DUP3 00000ec0: GT 00000ec1: ISZERO 00000ec2: PUSH2 0x0eca 00000ec5: JUMPI 00000ec6: PUSH1 0x00 00000ec8: DUP1 00000ec9: REVERT 00000eca: JUMPDEST 00000ecb: DUP2 00000ecc: PUSH1 0x00 00000ece: PUSH2 0x0ed7 00000ed1: DUP6 00000ed2: DUP4 00000ed3: PUSH2 0x1fb1 00000ed6: JUMP 00000ed7: JUMPDEST 00000ed8: SWAP1 00000ed9: POP 00000eda: PUSH1 0x00 00000edc: PUSH2 0x0ee6 00000edf: DUP3 00000ee0: PUSH1 0x0a 00000ee2: PUSH2 0x1ee5 00000ee5: JUMP 00000ee6: JUMPDEST 00000ee7: SWAP1 00000ee8: POP 00000ee9: PUSH1 0x00 00000eeb: PUSH2 0x0ef4 00000eee: DUP4 00000eef: DUP4 00000ef0: PUSH2 0x1efa 00000ef3: JUMP 00000ef4: JUMPDEST 00000ef5: PUSH1 0x01 00000ef7: PUSH1 0x01 00000ef9: PUSH1 0xa0 00000efb: SHL 00000efc: SUB 00000efd: DUP9 00000efe: AND 00000eff: PUSH1 0x00 00000f01: SWAP1 00000f02: DUP2 00000f03: MSTORE 00000f04: PUSH1 0x05 00000f06: PUSH1 0x20 00000f08: MSTORE 00000f09: PUSH1 0x40 00000f0b: SWAP1 00000f0c: KECCAK256 00000f0d: SLOAD 00000f0e: SWAP1 00000f0f: SWAP2 00000f10: POP 00000f11: PUSH2 0x0f1a 00000f14: SWAP1 00000f15: DUP6 00000f16: PUSH2 0x1efa 00000f19: JUMP 00000f1a: JUMPDEST 00000f1b: PUSH1 0x01 00000f1d: PUSH1 0x01 00000f1f: PUSH1 0xa0 00000f21: SHL 00000f22: SUB 00000f23: DUP1 00000f24: DUP10 00000f25: AND 00000f26: PUSH1 0x00 00000f28: DUP2 00000f29: DUP2 00000f2a: MSTORE 00000f2b: PUSH1 0x05 00000f2d: PUSH1 0x20 00000f2f: SWAP1 00000f30: DUP2 00000f31: MSTORE 00000f32: PUSH1 0x40 00000f34: DUP1 00000f35: DUP4 00000f36: KECCAK256 00000f37: SWAP6 00000f38: SWAP1 00000f39: SWAP6 00000f3a: SSTORE 00000f3b: SWAP3 00000f3c: DUP10 00000f3d: AND 00000f3e: DUP2 00000f3f: MSTORE 00000f40: PUSH1 0x04 00000f42: DUP4 00000f43: MSTORE 00000f44: DUP4 00000f45: DUP2 00000f46: KECCAK256 00000f47: SWAP2 00000f48: DUP2 00000f49: MSTORE 00000f4a: SWAP2 00000f4b: MSTORE 00000f4c: KECCAK256 00000f4d: SLOAD 00000f4e: PUSH2 0x0f57 00000f51: SWAP1 00000f52: DUP6 00000f53: PUSH2 0x1efa 00000f56: JUMP 00000f57: JUMPDEST 00000f58: PUSH1 0x01 00000f5a: PUSH1 0x01 00000f5c: PUSH1 0xa0 00000f5e: SHL 00000f5f: SUB 00000f60: DUP7 00000f61: DUP2 00000f62: AND 00000f63: PUSH1 0x00 00000f65: SWAP1 00000f66: DUP2 00000f67: MSTORE 00000f68: PUSH1 0x04 00000f6a: PUSH1 0x20 00000f6c: SWAP1 00000f6d: DUP2 00000f6e: MSTORE 00000f6f: PUSH1 0x40 00000f71: DUP1 00000f72: DUP4 00000f73: KECCAK256 00000f74: SWAP4 00000f75: DUP13 00000f76: AND 00000f77: DUP4 00000f78: MSTORE 00000f79: SWAP3 00000f7a: DUP2 00000f7b: MSTORE 00000f7c: DUP3 00000f7d: DUP3 00000f7e: KECCAK256 00000f7f: SWAP4 00000f80: DUP5 00000f81: SSTORE 00000f82: PUSH1 0x05 00000f84: SWAP1 00000f85: MSTORE 00000f86: KECCAK256 00000f87: PUSH1 0x01 00000f89: DUP2 00000f8a: ADD 00000f8b: SLOAD 00000f8c: PUSH1 0x02 00000f8e: SWAP1 00000f8f: SWAP3 00000f90: ADD 00000f91: DUP1 00000f92: SLOAD 00000f93: SWAP3 00000f94: DUP8 00000f95: MUL 00000f96: PUSH8 0x0de0b6b3a7640000 00000f9f: DUP6 00000fa0: MUL 00000fa1: ADD 00000fa2: SWAP3 00000fa3: DUP4 00000fa4: SWAP1 00000fa5: SUB 00000fa6: SWAP1 00000fa7: SSTORE 00000fa8: SLOAD 00000fa9: ISZERO 00000faa: PUSH2 0x1006 00000fad: JUMPI 00000fae: PUSH1 0x01 00000fb0: PUSH1 0x01 00000fb2: PUSH1 0xa0 00000fb4: SHL 00000fb5: SUB 00000fb6: DUP9 00000fb7: AND 00000fb8: PUSH1 0x00 00000fba: SWAP1 00000fbb: DUP2 00000fbc: MSTORE 00000fbd: PUSH1 0x05 00000fbf: PUSH1 0x20 00000fc1: MSTORE 00000fc2: PUSH1 0x40 00000fc4: SWAP1 00000fc5: KECCAK256 00000fc6: PUSH1 0x01 00000fc8: DUP2 00000fc9: ADD 00000fca: SLOAD 00000fcb: SWAP1 00000fcc: SLOAD 00000fcd: PUSH2 0x0fe9 00000fd0: SWAP2 00000fd1: SWAP1 00000fd2: PUSH8 0x0de0b6b3a7640000 00000fdb: DUP7 00000fdc: MUL 00000fdd: DUP2 00000fde: PUSH2 0x0fe3 00000fe1: JUMPI 00000fe2: INVALID 00000fe3: JUMPDEST 00000fe4: DIV 00000fe5: PUSH2 0x1fa2 00000fe8: JUMP 00000fe9: JUMPDEST 00000fea: PUSH1 0x01 00000fec: PUSH1 0x01 00000fee: PUSH1 0xa0 00000ff0: SHL 00000ff1: SUB 00000ff2: DUP10 00000ff3: AND 00000ff4: PUSH1 0x00 00000ff6: SWAP1 00000ff7: DUP2 00000ff8: MSTORE 00000ff9: PUSH1 0x05 00000ffb: PUSH1 0x20 00000ffd: MSTORE 00000ffe: PUSH1 0x40 00001000: SWAP1 00001001: KECCAK256 00001002: PUSH1 0x01 00001004: ADD 00001005: SSTORE 00001006: JUMPDEST 00001007: DUP8 00001008: PUSH1 0x01 0000100a: PUSH1 0x01 0000100c: PUSH1 0xa0 0000100e: SHL 0000100f: SUB 00001010: AND 00001011: DUP7 00001012: PUSH1 0x01 00001014: PUSH1 0x01 00001016: PUSH1 0xa0 00001018: SHL 00001019: SUB 0000101a: AND 0000101b: PUSH32 0xcd4c732aa89fef5fb77feb78d16c83e8f18554abb0a7a0d3de9061f878e37c90 0000103c: DUP5 0000103d: DUP9 0000103e: PUSH1 0x40 00001040: MLOAD 00001041: DUP1 00001042: DUP4 00001043: DUP2 00001044: MSTORE 00001045: PUSH1 0x20 00001047: ADD 00001048: DUP3 00001049: DUP2 0000104a: MSTORE 0000104b: PUSH1 0x20 0000104d: ADD 0000104e: SWAP3 0000104f: POP 00001050: POP 00001051: POP 00001052: PUSH1 0x40 00001054: MLOAD 00001055: DUP1 00001056: SWAP2 00001057: SUB 00001058: SWAP1 00001059: LOG3 0000105a: POP 0000105b: POP 0000105c: POP 0000105d: POP 0000105e: POP 0000105f: POP 00001060: POP 00001061: POP 00001062: JUMP 00001063: JUMPDEST 00001064: PUSH1 0x00 00001066: SLOAD 00001067: PUSH1 0x01 00001069: PUSH1 0x01 0000106b: PUSH1 0xa0 0000106d: SHL 0000106e: SUB 0000106f: AND 00001070: CALLER 00001071: EQ 00001072: PUSH2 0x10c2 00001075: JUMPI 00001076: PUSH1 0x40 00001078: DUP1 00001079: MLOAD 0000107a: PUSH3 0x461bcd 0000107e: PUSH1 0xe5 00001080: SHL 00001081: DUP2 00001082: MSTORE 00001083: PUSH1 0x20 00001085: PUSH1 0x04 00001087: DUP3 00001088: ADD 00001089: DUP2 0000108a: SWAP1 0000108b: MSTORE 0000108c: PUSH1 0x24 0000108e: DUP3 0000108f: ADD 00001090: MSTORE 00001091: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000010b2: PUSH1 0x44 000010b4: DUP3 000010b5: ADD 000010b6: MSTORE 000010b7: SWAP1 000010b8: MLOAD 000010b9: SWAP1 000010ba: DUP2 000010bb: SWAP1 000010bc: SUB 000010bd: PUSH1 0x64 000010bf: ADD 000010c0: SWAP1 000010c1: REVERT 000010c2: JUMPDEST 000010c3: PUSH1 0x00 000010c5: DUP1 000010c6: SLOAD 000010c7: PUSH1 0x40 000010c9: MLOAD 000010ca: PUSH1 0x01 000010cc: PUSH1 0x01 000010ce: PUSH1 0xa0 000010d0: SHL 000010d1: SUB 000010d2: SWAP1 000010d3: SWAP2 000010d4: AND 000010d5: SWAP1 000010d6: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000010f7: SWAP1 000010f8: DUP4 000010f9: SWAP1 000010fa: LOG3 000010fb: PUSH1 0x00 000010fd: DUP1 000010fe: SLOAD 000010ff: PUSH1 0x01 00001101: PUSH1 0x01 00001103: PUSH1 0xa0 00001105: SHL 00001106: SUB 00001107: NOT 00001108: AND 00001109: SWAP1 0000110a: SSTORE 0000110b: JUMP 0000110c: JUMPDEST 0000110d: PUSH1 0x00 0000110f: PUSH1 0x02 00001111: PUSH1 0x01 00001113: SLOAD 00001114: EQ 00001115: ISZERO 00001116: PUSH2 0x1154 00001119: JUMPI 0000111a: PUSH1 0x40 0000111c: DUP1 0000111d: MLOAD 0000111e: PUSH3 0x461bcd 00001122: PUSH1 0xe5 00001124: SHL 00001125: DUP2 00001126: MSTORE 00001127: PUSH1 0x20 00001129: PUSH1 0x04 0000112b: DUP3 0000112c: ADD 0000112d: MSTORE 0000112e: PUSH1 0x1f 00001130: PUSH1 0x24 00001132: DUP3 00001133: ADD 00001134: MSTORE 00001135: PUSH1 0x00 00001137: DUP1 00001138: MLOAD 00001139: PUSH1 0x20 0000113b: PUSH2 0x206d 0000113e: DUP4 0000113f: CODECOPY 00001140: DUP2 00001141: MLOAD 00001142: SWAP2 00001143: MSTORE 00001144: PUSH1 0x44 00001146: DUP3 00001147: ADD 00001148: MSTORE 00001149: SWAP1 0000114a: MLOAD 0000114b: SWAP1 0000114c: DUP2 0000114d: SWAP1 0000114e: SUB 0000114f: PUSH1 0x64 00001151: ADD 00001152: SWAP1 00001153: REVERT 00001154: JUMPDEST 00001155: PUSH1 0x02 00001157: PUSH1 0x01 00001159: SSTORE 0000115a: PUSH1 0x00 0000115c: SLOAD 0000115d: PUSH1 0x01 0000115f: PUSH1 0x01 00001161: PUSH1 0xa0 00001163: SHL 00001164: SUB 00001165: AND 00001166: CALLER 00001167: EQ 00001168: PUSH2 0x11b8 0000116b: JUMPI 0000116c: PUSH1 0x40 0000116e: DUP1 0000116f: MLOAD 00001170: PUSH3 0x461bcd 00001174: PUSH1 0xe5 00001176: SHL 00001177: DUP2 00001178: MSTORE 00001179: PUSH1 0x20 0000117b: PUSH1 0x04 0000117d: DUP3 0000117e: ADD 0000117f: DUP2 00001180: SWAP1 00001181: MSTORE 00001182: PUSH1 0x24 00001184: DUP3 00001185: ADD 00001186: MSTORE 00001187: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000011a8: PUSH1 0x44 000011aa: DUP3 000011ab: ADD 000011ac: MSTORE 000011ad: SWAP1 000011ae: MLOAD 000011af: SWAP1 000011b0: DUP2 000011b1: SWAP1 000011b2: SUB 000011b3: PUSH1 0x64 000011b5: ADD 000011b6: SWAP1 000011b7: REVERT 000011b8: JUMPDEST 000011b9: PUSH1 0x01 000011bb: PUSH1 0x01 000011bd: PUSH1 0xa0 000011bf: SHL 000011c0: SUB 000011c1: DUP5 000011c2: AND 000011c3: PUSH1 0x00 000011c5: SWAP1 000011c6: DUP2 000011c7: MSTORE 000011c8: PUSH1 0x02 000011ca: PUSH1 0x20 000011cc: MSTORE 000011cd: PUSH1 0x40 000011cf: SWAP1 000011d0: KECCAK256 000011d1: SLOAD 000011d2: PUSH1 0xff 000011d4: AND 000011d5: PUSH2 0x125b 000011d8: JUMPI 000011d9: PUSH1 0x01 000011db: PUSH1 0x01 000011dd: PUSH1 0xa0 000011df: SHL 000011e0: SUB 000011e1: DUP5 000011e2: AND 000011e3: PUSH1 0x00 000011e5: DUP2 000011e6: DUP2 000011e7: MSTORE 000011e8: PUSH1 0x02 000011ea: PUSH1 0x20 000011ec: DUP2 000011ed: DUP2 000011ee: MSTORE 000011ef: PUSH1 0x40 000011f1: DUP1 000011f2: DUP5 000011f3: KECCAK256 000011f4: DUP1 000011f5: SLOAD 000011f6: PUSH1 0xff 000011f8: NOT 000011f9: AND 000011fa: PUSH1 0x01 000011fc: SWAP1 000011fd: DUP2 000011fe: OR 000011ff: SWAP1 00001200: SWAP2 00001201: SSTORE 00001202: PUSH1 0x05 00001204: DUP4 00001205: MSTORE 00001206: DUP2 00001207: DUP6 00001208: KECCAK256 00001209: SWAP4 0000120a: DUP5 0000120b: ADD 0000120c: DUP10 0000120d: SWAP1 0000120e: SSTORE 0000120f: PUSH1 0x03 00001211: DUP5 00001212: ADD 00001213: DUP9 00001214: SWAP1 00001215: SSTORE 00001216: DUP5 00001217: DUP5 00001218: SSTORE 00001219: SWAP3 0000121a: SWAP1 0000121b: SWAP3 0000121c: ADD 0000121d: SWAP3 0000121e: SWAP1 0000121f: SWAP3 00001220: SSTORE 00001221: DUP1 00001222: MLOAD 00001223: DUP7 00001224: DUP2 00001225: MSTORE 00001226: SWAP2 00001227: DUP3 00001228: ADD 00001229: DUP6 0000122a: SWAP1 0000122b: MSTORE 0000122c: DUP1 0000122d: MLOAD 0000122e: PUSH32 0x51050eaebeb370d6daa98ebbe23e688cea15f49c610042a23d8f888d64065c88 0000124f: SWAP3 00001250: DUP2 00001251: SWAP1 00001252: SUB 00001253: SWAP1 00001254: SWAP2 00001255: ADD 00001256: SWAP1 00001257: LOG2 00001258: POP 00001259: PUSH1 0x01 0000125b: JUMPDEST 0000125c: PUSH1 0x01 0000125e: DUP1 0000125f: SSTORE 00001260: SWAP4 00001261: SWAP3 00001262: POP 00001263: POP 00001264: POP 00001265: JUMP 00001266: JUMPDEST 00001267: PUSH1 0x00 00001269: SLOAD 0000126a: PUSH1 0x01 0000126c: PUSH1 0x01 0000126e: PUSH1 0xa0 00001270: SHL 00001271: SUB 00001272: AND 00001273: SWAP1 00001274: JUMP 00001275: JUMPDEST 00001276: PUSH1 0x02 00001278: PUSH1 0x01 0000127a: SLOAD 0000127b: EQ 0000127c: ISZERO 0000127d: PUSH2 0x12bb 00001280: JUMPI 00001281: PUSH1 0x40 00001283: DUP1 00001284: MLOAD 00001285: PUSH3 0x461bcd 00001289: PUSH1 0xe5 0000128b: SHL 0000128c: DUP2 0000128d: MSTORE 0000128e: PUSH1 0x20 00001290: PUSH1 0x04 00001292: DUP3 00001293: ADD 00001294: MSTORE 00001295: PUSH1 0x1f 00001297: PUSH1 0x24 00001299: DUP3 0000129a: ADD 0000129b: MSTORE 0000129c: PUSH1 0x00 0000129e: DUP1 0000129f: MLOAD 000012a0: PUSH1 0x20 000012a2: PUSH2 0x206d 000012a5: DUP4 000012a6: CODECOPY 000012a7: DUP2 000012a8: MLOAD 000012a9: SWAP2 000012aa: MSTORE 000012ab: PUSH1 0x44 000012ad: DUP3 000012ae: ADD 000012af: MSTORE 000012b0: SWAP1 000012b1: MLOAD 000012b2: SWAP1 000012b3: DUP2 000012b4: SWAP1 000012b5: SUB 000012b6: PUSH1 0x64 000012b8: ADD 000012b9: SWAP1 000012ba: REVERT 000012bb: JUMPDEST 000012bc: PUSH1 0x02 000012be: PUSH1 0x01 000012c0: DUP2 000012c1: DUP2 000012c2: SSTORE 000012c3: PUSH1 0x01 000012c5: PUSH1 0x01 000012c7: PUSH1 0xa0 000012c9: SHL 000012ca: SUB 000012cb: DUP4 000012cc: AND 000012cd: PUSH1 0x00 000012cf: SWAP1 000012d0: DUP2 000012d1: MSTORE 000012d2: PUSH1 0x20 000012d4: SWAP3 000012d5: SWAP1 000012d6: SWAP3 000012d7: MSTORE 000012d8: PUSH1 0x40 000012da: SWAP1 000012db: SWAP2 000012dc: KECCAK256 000012dd: SLOAD 000012de: PUSH1 0xff 000012e0: AND 000012e1: ISZERO 000012e2: ISZERO 000012e3: EQ 000012e4: PUSH2 0x12ec 000012e7: JUMPI 000012e8: PUSH1 0x00 000012ea: DUP1 000012eb: REVERT 000012ec: JUMPDEST 000012ed: CALLER 000012ee: PUSH1 0x00 000012f0: SWAP1 000012f1: DUP2 000012f2: MSTORE 000012f3: PUSH1 0x03 000012f5: PUSH1 0x20 000012f7: MSTORE 000012f8: PUSH1 0x40 000012fa: SWAP1 000012fb: KECCAK256 000012fc: SLOAD 000012fd: PUSH1 0xff 000012ff: AND 00001300: ISZERO 00001301: ISZERO 00001302: PUSH1 0x01 00001304: EQ 00001305: PUSH2 0x130d 00001308: JUMPI 00001309: PUSH1 0x00 0000130b: DUP1 0000130c: REVERT 0000130d: JUMPDEST 0000130e: CALLER 0000130f: PUSH1 0x00 00001311: DUP2 00001312: DUP2 00001313: MSTORE 00001314: PUSH1 0x04 00001316: PUSH1 0x20 00001318: SWAP1 00001319: DUP2 0000131a: MSTORE 0000131b: PUSH1 0x40 0000131d: DUP1 0000131e: DUP4 0000131f: KECCAK256 00001320: PUSH1 0x01 00001322: PUSH1 0x01 00001324: PUSH1 0xa0 00001326: SHL 00001327: SUB 00001328: DUP7 00001329: AND 0000132a: DUP5 0000132b: MSTORE 0000132c: SWAP1 0000132d: SWAP2 0000132e: MSTORE 0000132f: SWAP1 00001330: KECCAK256 00001331: SLOAD 00001332: DUP1 00001333: ISZERO 00001334: PUSH2 0x1341 00001337: JUMPI 00001338: PUSH2 0x1341 0000133b: DUP4 0000133c: DUP3 0000133d: PUSH2 0x0e4f 00001340: JUMP 00001341: JUMPDEST 00001342: PUSH2 0x134a 00001345: DUP4 00001346: PUSH2 0x0bd3 00001349: JUMP 0000134a: JUMPDEST 0000134b: POP 0000134c: POP 0000134d: PUSH1 0x01 0000134f: DUP1 00001350: SSTORE 00001351: POP 00001352: JUMP 00001353: JUMPDEST 00001354: PUSH1 0x02 00001356: PUSH1 0x01 00001358: SLOAD 00001359: EQ 0000135a: ISZERO 0000135b: PUSH2 0x1399 0000135e: JUMPI 0000135f: PUSH1 0x40 00001361: DUP1 00001362: MLOAD 00001363: PUSH3 0x461bcd 00001367: PUSH1 0xe5 00001369: SHL 0000136a: DUP2 0000136b: MSTORE 0000136c: PUSH1 0x20 0000136e: PUSH1 0x04 00001370: DUP3 00001371: ADD 00001372: MSTORE 00001373: PUSH1 0x1f 00001375: PUSH1 0x24 00001377: DUP3 00001378: ADD 00001379: MSTORE 0000137a: PUSH1 0x00 0000137c: DUP1 0000137d: MLOAD 0000137e: PUSH1 0x20 00001380: PUSH2 0x206d 00001383: DUP4 00001384: CODECOPY 00001385: DUP2 00001386: MLOAD 00001387: SWAP2 00001388: MSTORE 00001389: PUSH1 0x44 0000138b: DUP3 0000138c: ADD 0000138d: MSTORE 0000138e: SWAP1 0000138f: MLOAD 00001390: SWAP1 00001391: DUP2 00001392: SWAP1 00001393: SUB 00001394: PUSH1 0x64 00001396: ADD 00001397: SWAP1 00001398: REVERT 00001399: JUMPDEST 0000139a: PUSH1 0x02 0000139c: PUSH1 0x01 0000139e: DUP2 0000139f: DUP2 000013a0: SSTORE 000013a1: PUSH1 0x01 000013a3: PUSH1 0x01 000013a5: PUSH1 0xa0 000013a7: SHL 000013a8: SUB 000013a9: DUP4 000013aa: AND 000013ab: PUSH1 0x00 000013ad: SWAP1 000013ae: DUP2 000013af: MSTORE 000013b0: PUSH1 0x20 000013b2: SWAP3 000013b3: SWAP1 000013b4: SWAP3 000013b5: MSTORE 000013b6: PUSH1 0x40 000013b8: SWAP1 000013b9: SWAP2 000013ba: KECCAK256 000013bb: SLOAD 000013bc: PUSH1 0xff 000013be: AND 000013bf: ISZERO 000013c0: ISZERO 000013c1: EQ 000013c2: PUSH2 0x13ca 000013c5: JUMPI 000013c6: PUSH1 0x00 000013c8: DUP1 000013c9: REVERT 000013ca: JUMPDEST 000013cb: CALLER 000013cc: PUSH1 0x00 000013ce: SWAP1 000013cf: DUP2 000013d0: MSTORE 000013d1: PUSH1 0x03 000013d3: PUSH1 0x20 000013d5: MSTORE 000013d6: PUSH1 0x40 000013d8: SWAP1 000013d9: KECCAK256 000013da: SLOAD 000013db: PUSH1 0xff 000013dd: AND 000013de: ISZERO 000013df: ISZERO 000013e0: PUSH1 0x01 000013e2: EQ 000013e3: PUSH2 0x13eb 000013e6: JUMPI 000013e7: PUSH1 0x00 000013e9: DUP1 000013ea: REVERT 000013eb: JUMPDEST 000013ec: PUSH1 0x00 000013ee: PUSH2 0x13f8 000013f1: DUP3 000013f2: PUSH1 0x00 000013f4: PUSH2 0x1882 000013f7: JUMP 000013f8: JUMPDEST 000013f9: CALLER 000013fa: PUSH1 0x00 000013fc: DUP2 000013fd: DUP2 000013fe: MSTORE 000013ff: PUSH1 0x04 00001401: PUSH1 0x20 00001403: SWAP1 00001404: DUP2 00001405: MSTORE 00001406: PUSH1 0x40 00001408: DUP1 00001409: DUP4 0000140a: KECCAK256 0000140b: PUSH1 0x01 0000140d: PUSH1 0x01 0000140f: PUSH1 0xa0 00001411: SHL 00001412: SUB 00001413: DUP9 00001414: AND 00001415: DUP5 00001416: MSTORE 00001417: SWAP1 00001418: SWAP2 00001419: MSTORE 0000141a: DUP2 0000141b: KECCAK256 0000141c: PUSH1 0x02 0000141e: DUP2 0000141f: ADD 00001420: DUP1 00001421: SLOAD 00001422: PUSH8 0x0de0b6b3a7640000 0000142b: DUP7 0000142c: MUL 0000142d: ADD 0000142e: SWAP1 0000142f: SSTORE 00001430: PUSH1 0x01 00001432: ADD 00001433: DUP1 00001434: SLOAD 00001435: SWAP1 00001436: DUP3 00001437: SWAP1 00001438: SSTORE 00001439: SWAP1 0000143a: SWAP3 0000143b: ADD 0000143c: SWAP3 0000143d: POP 0000143e: SWAP1 0000143f: PUSH2 0x1449 00001442: DUP5 00001443: DUP5 00001444: DUP4 00001445: PUSH2 0x0681 00001448: JUMP 00001449: JUMPDEST 0000144a: PUSH1 0x40 0000144c: DUP1 0000144d: MLOAD 0000144e: DUP6 0000144f: DUP2 00001450: MSTORE 00001451: PUSH1 0x20 00001453: DUP2 00001454: ADD 00001455: DUP4 00001456: SWAP1 00001457: MSTORE 00001458: DUP2 00001459: MLOAD 0000145a: SWAP3 0000145b: SWAP4 0000145c: POP 0000145d: PUSH1 0x01 0000145f: PUSH1 0x01 00001461: PUSH1 0xa0 00001463: SHL 00001464: SUB 00001465: DUP1 00001466: DUP9 00001467: AND 00001468: SWAP4 00001469: SWAP1 0000146a: DUP7 0000146b: AND 0000146c: SWAP3 0000146d: PUSH32 0xf6c384af682433047013f0946ade15387c5248f6d0ba8c8cd3feea4dc977c6e0 0000148e: SWAP3 0000148f: DUP3 00001490: SWAP1 00001491: SUB 00001492: ADD 00001493: SWAP1 00001494: LOG3 00001495: POP 00001496: POP 00001497: PUSH1 0x01 00001499: DUP1 0000149a: SSTORE 0000149b: POP 0000149c: POP 0000149d: JUMP 0000149e: JUMPDEST 0000149f: PUSH1 0x01 000014a1: PUSH1 0x01 000014a3: PUSH1 0xa0 000014a5: SHL 000014a6: SUB 000014a7: DUP4 000014a8: AND 000014a9: PUSH1 0x00 000014ab: SWAP1 000014ac: DUP2 000014ad: MSTORE 000014ae: PUSH1 0x02 000014b0: PUSH1 0x20 000014b2: MSTORE 000014b3: PUSH1 0x40 000014b5: DUP2 000014b6: KECCAK256 000014b7: SLOAD 000014b8: CALLER 000014b9: SWAP1 000014ba: PUSH1 0xff 000014bc: AND 000014bd: ISZERO 000014be: ISZERO 000014bf: PUSH1 0x01 000014c1: EQ 000014c2: PUSH2 0x14ca 000014c5: JUMPI 000014c6: PUSH1 0x00 000014c8: DUP1 000014c9: REVERT 000014ca: JUMPDEST 000014cb: PUSH1 0x01 000014cd: PUSH1 0x01 000014cf: PUSH1 0xa0 000014d1: SHL 000014d2: SUB 000014d3: DUP2 000014d4: AND 000014d5: PUSH1 0x00 000014d7: SWAP1 000014d8: DUP2 000014d9: MSTORE 000014da: PUSH1 0x03 000014dc: PUSH1 0x20 000014de: MSTORE 000014df: PUSH1 0x40 000014e1: SWAP1 000014e2: KECCAK256 000014e3: SLOAD 000014e4: PUSH1 0xff 000014e6: AND 000014e7: ISZERO 000014e8: ISZERO 000014e9: PUSH1 0x01 000014eb: EQ 000014ec: PUSH2 0x14f4 000014ef: JUMPI 000014f0: PUSH1 0x00 000014f2: DUP1 000014f3: REVERT 000014f4: JUMPDEST 000014f5: PUSH1 0x01 000014f7: PUSH1 0x01 000014f9: PUSH1 0xa0 000014fb: SHL 000014fc: SUB 000014fd: DUP1 000014fe: DUP3 000014ff: AND 00001500: PUSH1 0x00 00001502: SWAP1 00001503: DUP2 00001504: MSTORE 00001505: PUSH1 0x04 00001507: PUSH1 0x20 00001509: SWAP1 0000150a: DUP2 0000150b: MSTORE 0000150c: PUSH1 0x40 0000150e: DUP1 0000150f: DUP4 00001510: KECCAK256 00001511: SWAP4 00001512: DUP10 00001513: AND 00001514: DUP4 00001515: MSTORE 00001516: SWAP3 00001517: SWAP1 00001518: MSTORE 00001519: KECCAK256 0000151a: SLOAD 0000151b: DUP4 0000151c: GT 0000151d: ISZERO 0000151e: PUSH2 0x1526 00001521: JUMPI 00001522: PUSH1 0x00 00001524: DUP1 00001525: REVERT 00001526: JUMPDEST 00001527: PUSH1 0x01 00001529: PUSH1 0x01 0000152b: PUSH1 0xa0 0000152d: SHL 0000152e: SUB 0000152f: DUP5 00001530: AND 00001531: PUSH1 0x00 00001533: SWAP1 00001534: DUP2 00001535: MSTORE 00001536: PUSH1 0x03 00001538: PUSH1 0x20 0000153a: MSTORE 0000153b: PUSH1 0x40 0000153d: SWAP1 0000153e: KECCAK256 0000153f: SLOAD 00001540: PUSH1 0xff 00001542: AND 00001543: PUSH2 0x156a 00001546: JUMPI 00001547: PUSH1 0x01 00001549: PUSH1 0x01 0000154b: PUSH1 0xa0 0000154d: SHL 0000154e: SUB 0000154f: DUP5 00001550: AND 00001551: PUSH1 0x00 00001553: SWAP1 00001554: DUP2 00001555: MSTORE 00001556: PUSH1 0x03 00001558: PUSH1 0x20 0000155a: MSTORE 0000155b: PUSH1 0x40 0000155d: SWAP1 0000155e: KECCAK256 0000155f: DUP1 00001560: SLOAD 00001561: PUSH1 0xff 00001563: NOT 00001564: AND 00001565: PUSH1 0x01 00001567: OR 00001568: SWAP1 00001569: SSTORE 0000156a: JUMPDEST 0000156b: PUSH1 0x00 0000156d: PUSH2 0x1577 00001570: DUP7 00001571: PUSH1 0x01 00001573: PUSH2 0x1882 00001576: JUMP 00001577: JUMPDEST 00001578: GT 00001579: ISZERO 0000157a: PUSH2 0x1586 0000157d: JUMPI 0000157e: PUSH2 0x1586 00001581: DUP6 00001582: PUSH2 0x0bd3 00001585: JUMP 00001586: JUMPDEST 00001587: PUSH1 0x00 00001589: PUSH2 0x1593 0000158c: DUP5 0000158d: PUSH1 0x0a 0000158f: PUSH2 0x1ee5 00001592: JUMP 00001593: JUMPDEST 00001594: SWAP1 00001595: POP 00001596: PUSH1 0x00 00001598: PUSH2 0x15a1 0000159b: DUP6 0000159c: DUP4 0000159d: PUSH2 0x1efa 000015a0: JUMP 000015a1: JUMPDEST 000015a2: SWAP1 000015a3: POP 000015a4: PUSH1 0x00 000015a6: PUSH2 0x15af 000015a9: DUP9 000015aa: DUP5 000015ab: PUSH2 0x1fb1 000015ae: JUMP 000015af: JUMPDEST 000015b0: PUSH1 0x01 000015b2: PUSH1 0x01 000015b4: PUSH1 0xa0 000015b6: SHL 000015b7: SUB 000015b8: DUP10 000015b9: AND 000015ba: PUSH1 0x00 000015bc: SWAP1 000015bd: DUP2 000015be: MSTORE 000015bf: PUSH1 0x05 000015c1: PUSH1 0x20 000015c3: MSTORE 000015c4: PUSH1 0x40 000015c6: SWAP1 000015c7: KECCAK256 000015c8: SLOAD 000015c9: SWAP1 000015ca: SWAP2 000015cb: POP 000015cc: PUSH2 0x15d5 000015cf: SWAP1 000015d0: DUP5 000015d1: PUSH2 0x1efa 000015d4: JUMP 000015d5: JUMPDEST 000015d6: PUSH1 0x01 000015d8: PUSH1 0x01 000015da: PUSH1 0xa0 000015dc: SHL 000015dd: SUB 000015de: DUP1 000015df: DUP11 000015e0: AND 000015e1: PUSH1 0x00 000015e3: DUP2 000015e4: DUP2 000015e5: MSTORE 000015e6: PUSH1 0x05 000015e8: PUSH1 0x20 000015ea: SWAP1 000015eb: DUP2 000015ec: MSTORE 000015ed: PUSH1 0x40 000015ef: DUP1 000015f0: DUP4 000015f1: KECCAK256 000015f2: SWAP6 000015f3: SWAP1 000015f4: SWAP6 000015f5: SSTORE 000015f6: SWAP3 000015f7: DUP9 000015f8: AND 000015f9: DUP2 000015fa: MSTORE 000015fb: PUSH1 0x04 000015fd: DUP4 000015fe: MSTORE 000015ff: DUP4 00001600: DUP2 00001601: KECCAK256 00001602: SWAP2 00001603: DUP2 00001604: MSTORE 00001605: SWAP2 00001606: MSTORE 00001607: KECCAK256 00001608: SLOAD 00001609: PUSH2 0x1612 0000160c: SWAP1 0000160d: DUP8 0000160e: PUSH2 0x1efa 00001611: JUMP 00001612: JUMPDEST 00001613: PUSH1 0x01 00001615: PUSH1 0x01 00001617: PUSH1 0xa0 00001619: SHL 0000161a: SUB 0000161b: DUP1 0000161c: DUP7 0000161d: AND 0000161e: PUSH1 0x00 00001620: SWAP1 00001621: DUP2 00001622: MSTORE 00001623: PUSH1 0x04 00001625: PUSH1 0x20 00001627: DUP2 00001628: DUP2 00001629: MSTORE 0000162a: PUSH1 0x40 0000162c: DUP1 0000162d: DUP5 0000162e: KECCAK256 0000162f: DUP15 00001630: DUP7 00001631: AND 00001632: DUP1 00001633: DUP7 00001634: MSTORE 00001635: SWAP1 00001636: DUP4 00001637: MSTORE 00001638: DUP2 00001639: DUP6 0000163a: KECCAK256 0000163b: SWAP7 0000163c: SWAP1 0000163d: SWAP7 0000163e: SSTORE 0000163f: SWAP4 00001640: DUP13 00001641: AND 00001642: DUP4 00001643: MSTORE 00001644: SWAP1 00001645: DUP2 00001646: MSTORE 00001647: DUP3 00001648: DUP3 00001649: KECCAK256 0000164a: SWAP4 0000164b: DUP3 0000164c: MSTORE 0000164d: SWAP3 0000164e: SWAP1 0000164f: SWAP3 00001650: MSTORE 00001651: SWAP1 00001652: KECCAK256 00001653: SLOAD 00001654: PUSH2 0x165d 00001657: SWAP1 00001658: DUP4 00001659: PUSH2 0x1fa2 0000165c: JUMP 0000165d: JUMPDEST 0000165e: PUSH1 0x04 00001660: PUSH1 0x00 00001662: DUP10 00001663: PUSH1 0x01 00001665: PUSH1 0x01 00001667: PUSH1 0xa0 00001669: SHL 0000166a: SUB 0000166b: AND 0000166c: PUSH1 0x01 0000166e: PUSH1 0x01 00001670: PUSH1 0xa0 00001672: SHL 00001673: SUB 00001674: AND 00001675: DUP2 00001676: MSTORE 00001677: PUSH1 0x20 00001679: ADD 0000167a: SWAP1 0000167b: DUP2 0000167c: MSTORE 0000167d: PUSH1 0x20 0000167f: ADD 00001680: PUSH1 0x00 00001682: KECCAK256 00001683: PUSH1 0x00 00001685: DUP11 00001686: PUSH1 0x01 00001688: PUSH1 0x01 0000168a: PUSH1 0xa0 0000168c: SHL 0000168d: SUB 0000168e: AND 0000168f: PUSH1 0x01 00001691: PUSH1 0x01 00001693: PUSH1 0xa0 00001695: SHL 00001696: SUB 00001697: AND 00001698: DUP2 00001699: MSTORE 0000169a: PUSH1 0x20 0000169c: ADD 0000169d: SWAP1 0000169e: DUP2 0000169f: MSTORE 000016a0: PUSH1 0x20 000016a2: ADD 000016a3: PUSH1 0x00 000016a5: KECCAK256 000016a6: PUSH1 0x00 000016a8: ADD 000016a9: DUP2 000016aa: SWAP1 000016ab: SSTORE 000016ac: POP 000016ad: DUP6 000016ae: PUSH1 0x05 000016b0: PUSH1 0x00 000016b2: DUP11 000016b3: PUSH1 0x01 000016b5: PUSH1 0x01 000016b7: PUSH1 0xa0 000016b9: SHL 000016ba: SUB 000016bb: AND 000016bc: PUSH1 0x01 000016be: PUSH1 0x01 000016c0: PUSH1 0xa0 000016c2: SHL 000016c3: SUB 000016c4: AND 000016c5: DUP2 000016c6: MSTORE 000016c7: PUSH1 0x20 000016c9: ADD 000016ca: SWAP1 000016cb: DUP2 000016cc: MSTORE 000016cd: PUSH1 0x20 000016cf: ADD 000016d0: PUSH1 0x00 000016d2: KECCAK256 000016d3: PUSH1 0x01 000016d5: ADD 000016d6: SLOAD 000016d7: MUL 000016d8: PUSH1 0x04 000016da: PUSH1 0x00 000016dc: DUP7 000016dd: PUSH1 0x01 000016df: PUSH1 0x01 000016e1: PUSH1 0xa0 000016e3: SHL 000016e4: SUB 000016e5: AND 000016e6: PUSH1 0x01 000016e8: PUSH1 0x01 000016ea: PUSH1 0xa0 000016ec: SHL 000016ed: SUB 000016ee: AND 000016ef: DUP2 000016f0: MSTORE 000016f1: PUSH1 0x20 000016f3: ADD 000016f4: SWAP1 000016f5: DUP2 000016f6: MSTORE 000016f7: PUSH1 0x20 000016f9: ADD 000016fa: PUSH1 0x00 000016fc: KECCAK256 000016fd: PUSH1 0x00 000016ff: DUP11 00001700: PUSH1 0x01 00001702: PUSH1 0x01 00001704: PUSH1 0xa0 00001706: SHL 00001707: SUB 00001708: AND 00001709: PUSH1 0x01 0000170b: PUSH1 0x01 0000170d: PUSH1 0xa0 0000170f: SHL 00001710: SUB 00001711: AND 00001712: DUP2 00001713: MSTORE 00001714: PUSH1 0x20 00001716: ADD 00001717: SWAP1 00001718: DUP2 00001719: MSTORE 0000171a: PUSH1 0x20 0000171c: ADD 0000171d: PUSH1 0x00 0000171f: KECCAK256 00001720: PUSH1 0x02 00001722: ADD 00001723: PUSH1 0x00 00001725: DUP3 00001726: DUP3 00001727: SLOAD 00001728: SUB 00001729: SWAP3 0000172a: POP 0000172b: POP 0000172c: DUP2 0000172d: SWAP1 0000172e: SSTORE 0000172f: POP 00001730: DUP2 00001731: PUSH1 0x05 00001733: PUSH1 0x00 00001735: DUP11 00001736: PUSH1 0x01 00001738: PUSH1 0x01 0000173a: PUSH1 0xa0 0000173c: SHL 0000173d: SUB 0000173e: AND 0000173f: PUSH1 0x01 00001741: PUSH1 0x01 00001743: PUSH1 0xa0 00001745: SHL 00001746: SUB 00001747: AND 00001748: DUP2 00001749: MSTORE 0000174a: PUSH1 0x20 0000174c: ADD 0000174d: SWAP1 0000174e: DUP2 0000174f: MSTORE 00001750: PUSH1 0x20 00001752: ADD 00001753: PUSH1 0x00 00001755: KECCAK256 00001756: PUSH1 0x01 00001758: ADD 00001759: SLOAD 0000175a: MUL 0000175b: PUSH1 0x04 0000175d: PUSH1 0x00 0000175f: DUP10 00001760: PUSH1 0x01 00001762: PUSH1 0x01 00001764: PUSH1 0xa0 00001766: SHL 00001767: SUB 00001768: AND 00001769: PUSH1 0x01 0000176b: PUSH1 0x01 0000176d: PUSH1 0xa0 0000176f: SHL 00001770: SUB 00001771: AND 00001772: DUP2 00001773: MSTORE 00001774: PUSH1 0x20 00001776: ADD 00001777: SWAP1 00001778: DUP2 00001779: MSTORE 0000177a: PUSH1 0x20 0000177c: ADD 0000177d: PUSH1 0x00 0000177f: KECCAK256 00001780: PUSH1 0x00 00001782: DUP11 00001783: PUSH1 0x01 00001785: PUSH1 0x01 00001787: PUSH1 0xa0 00001789: SHL 0000178a: SUB 0000178b: AND 0000178c: PUSH1 0x01 0000178e: PUSH1 0x01 00001790: PUSH1 0xa0 00001792: SHL 00001793: SUB 00001794: AND 00001795: DUP2 00001796: MSTORE 00001797: PUSH1 0x20 00001799: ADD 0000179a: SWAP1 0000179b: DUP2 0000179c: MSTORE 0000179d: PUSH1 0x20 0000179f: ADD 000017a0: PUSH1 0x00 000017a2: KECCAK256 000017a3: PUSH1 0x02 000017a5: ADD 000017a6: PUSH1 0x00 000017a8: DUP3 000017a9: DUP3 000017aa: SLOAD 000017ab: ADD 000017ac: SWAP3 000017ad: POP 000017ae: POP 000017af: DUP2 000017b0: SWAP1 000017b1: SSTORE 000017b2: POP 000017b3: PUSH2 0x1819 000017b6: PUSH1 0x05 000017b8: PUSH1 0x00 000017ba: DUP11 000017bb: PUSH1 0x01 000017bd: PUSH1 0x01 000017bf: PUSH1 0xa0 000017c1: SHL 000017c2: SUB 000017c3: AND 000017c4: PUSH1 0x01 000017c6: PUSH1 0x01 000017c8: PUSH1 0xa0 000017ca: SHL 000017cb: SUB 000017cc: AND 000017cd: DUP2 000017ce: MSTORE 000017cf: PUSH1 0x20 000017d1: ADD 000017d2: SWAP1 000017d3: DUP2 000017d4: MSTORE 000017d5: PUSH1 0x20 000017d7: ADD 000017d8: PUSH1 0x00 000017da: KECCAK256 000017db: PUSH1 0x01 000017dd: ADD 000017de: SLOAD 000017df: PUSH1 0x05 000017e1: PUSH1 0x00 000017e3: DUP12 000017e4: PUSH1 0x01 000017e6: PUSH1 0x01 000017e8: PUSH1 0xa0 000017ea: SHL 000017eb: SUB 000017ec: AND 000017ed: PUSH1 0x01 000017ef: PUSH1 0x01 000017f1: PUSH1 0xa0 000017f3: SHL 000017f4: SUB 000017f5: AND 000017f6: DUP2 000017f7: MSTORE 000017f8: PUSH1 0x20 000017fa: ADD 000017fb: SWAP1 000017fc: DUP2 000017fd: MSTORE 000017fe: PUSH1 0x20 00001800: ADD 00001801: PUSH1 0x00 00001803: KECCAK256 00001804: PUSH1 0x00 00001806: ADD 00001807: SLOAD 00001808: PUSH8 0x0de0b6b3a7640000 00001811: DUP5 00001812: MUL 00001813: DUP2 00001814: PUSH2 0x0fe3 00001817: JUMPI 00001818: INVALID 00001819: JUMPDEST 0000181a: PUSH1 0x01 0000181c: PUSH1 0x01 0000181e: PUSH1 0xa0 00001820: SHL 00001821: SUB 00001822: DUP1 00001823: DUP11 00001824: AND 00001825: PUSH1 0x00 00001827: DUP2 00001828: DUP2 00001829: MSTORE 0000182a: PUSH1 0x05 0000182c: PUSH1 0x20 0000182e: SWAP1 0000182f: DUP2 00001830: MSTORE 00001831: PUSH1 0x40 00001833: SWAP2 00001834: DUP3 00001835: SWAP1 00001836: KECCAK256 00001837: PUSH1 0x01 00001839: ADD 0000183a: SWAP5 0000183b: SWAP1 0000183c: SWAP5 0000183d: SSTORE 0000183e: DUP1 0000183f: MLOAD 00001840: DUP7 00001841: DUP2 00001842: MSTORE 00001843: SWAP1 00001844: MLOAD 00001845: DUP12 00001846: DUP5 00001847: AND 00001848: SWAP5 00001849: SWAP4 0000184a: DUP10 0000184b: AND 0000184c: SWAP4 0000184d: PUSH32 0x0987df03efc6a9a28dda4187827ed9de97c1ffc277d999b9c1588ab7bd457f98 0000186e: SWAP3 0000186f: DUP3 00001870: SWAP1 00001871: SUB 00001872: ADD 00001873: SWAP1 00001874: LOG4 00001875: POP 00001876: PUSH1 0x01 00001878: SWAP8 00001879: SWAP7 0000187a: POP 0000187b: POP 0000187c: POP 0000187d: POP 0000187e: POP 0000187f: POP 00001880: POP 00001881: JUMP 00001882: JUMPDEST 00001883: PUSH1 0x01 00001885: PUSH1 0x01 00001887: PUSH1 0xa0 00001889: SHL 0000188a: SUB 0000188b: DUP3 0000188c: AND 0000188d: PUSH1 0x00 0000188f: SWAP1 00001890: DUP2 00001891: MSTORE 00001892: PUSH1 0x02 00001894: PUSH1 0x20 00001896: MSTORE 00001897: PUSH1 0x40 00001899: DUP2 0000189a: KECCAK256 0000189b: SLOAD 0000189c: PUSH1 0xff 0000189e: AND 0000189f: ISZERO 000018a0: ISZERO 000018a1: PUSH1 0x01 000018a3: EQ 000018a4: PUSH2 0x18ac 000018a7: JUMPI 000018a8: PUSH1 0x00 000018aa: DUP1 000018ab: REVERT 000018ac: JUMPDEST 000018ad: CALLER 000018ae: DUP3 000018af: PUSH2 0x18c1 000018b2: JUMPI 000018b3: PUSH2 0x18bc 000018b6: DUP5 000018b7: DUP3 000018b8: PUSH2 0x0dd9 000018bb: JUMP 000018bc: JUMPDEST 000018bd: PUSH2 0x18f6 000018c0: JUMP 000018c1: JUMPDEST 000018c2: PUSH1 0x01 000018c4: PUSH1 0x01 000018c6: PUSH1 0xa0 000018c8: SHL 000018c9: SUB 000018ca: DUP1 000018cb: DUP3 000018cc: AND 000018cd: PUSH1 0x00 000018cf: SWAP1 000018d0: DUP2 000018d1: MSTORE 000018d2: PUSH1 0x04 000018d4: PUSH1 0x20 000018d6: SWAP1 000018d7: DUP2 000018d8: MSTORE 000018d9: PUSH1 0x40 000018db: DUP1 000018dc: DUP4 000018dd: KECCAK256 000018de: SWAP4 000018df: DUP9 000018e0: AND 000018e1: DUP4 000018e2: MSTORE 000018e3: SWAP3 000018e4: SWAP1 000018e5: MSTORE 000018e6: KECCAK256 000018e7: PUSH1 0x01 000018e9: ADD 000018ea: SLOAD 000018eb: PUSH2 0x18f4 000018ee: DUP6 000018ef: DUP4 000018f0: PUSH2 0x0dd9 000018f3: JUMP 000018f4: JUMPDEST 000018f5: ADD 000018f6: JUMPDEST 000018f7: SWAP5 000018f8: SWAP4 000018f9: POP 000018fa: POP 000018fb: POP 000018fc: POP 000018fd: JUMP 000018fe: JUMPDEST 000018ff: PUSH1 0x00 00001901: PUSH1 0x02 00001903: PUSH1 0x01 00001905: SLOAD 00001906: EQ 00001907: ISZERO 00001908: PUSH2 0x1946 0000190b: JUMPI 0000190c: PUSH1 0x40 0000190e: DUP1 0000190f: MLOAD 00001910: PUSH3 0x461bcd 00001914: PUSH1 0xe5 00001916: SHL 00001917: DUP2 00001918: MSTORE 00001919: PUSH1 0x20 0000191b: PUSH1 0x04 0000191d: DUP3 0000191e: ADD 0000191f: MSTORE 00001920: PUSH1 0x1f 00001922: PUSH1 0x24 00001924: DUP3 00001925: ADD 00001926: MSTORE 00001927: PUSH1 0x00 00001929: DUP1 0000192a: MLOAD 0000192b: PUSH1 0x20 0000192d: PUSH2 0x206d 00001930: DUP4 00001931: CODECOPY 00001932: DUP2 00001933: MLOAD 00001934: SWAP2 00001935: MSTORE 00001936: PUSH1 0x44 00001938: DUP3 00001939: ADD 0000193a: MSTORE 0000193b: SWAP1 0000193c: MLOAD 0000193d: SWAP1 0000193e: DUP2 0000193f: SWAP1 00001940: SUB 00001941: PUSH1 0x64 00001943: ADD 00001944: SWAP1 00001945: REVERT 00001946: JUMPDEST 00001947: PUSH1 0x02 00001949: PUSH1 0x01 0000194b: DUP2 0000194c: DUP2 0000194d: SSTORE 0000194e: PUSH1 0x01 00001950: PUSH1 0x01 00001952: PUSH1 0xa0 00001954: SHL 00001955: SUB 00001956: DUP7 00001957: AND 00001958: PUSH1 0x00 0000195a: SWAP1 0000195b: DUP2 0000195c: MSTORE 0000195d: PUSH1 0x20 0000195f: SWAP3 00001960: SWAP1 00001961: SWAP3 00001962: MSTORE 00001963: PUSH1 0x40 00001965: SWAP1 00001966: SWAP2 00001967: KECCAK256 00001968: SLOAD 00001969: PUSH1 0xff 0000196b: AND 0000196c: ISZERO 0000196d: ISZERO 0000196e: EQ 0000196f: PUSH2 0x1977 00001972: JUMPI 00001973: PUSH1 0x00 00001975: DUP1 00001976: REVERT 00001977: JUMPDEST 00001978: PUSH1 0x00 0000197a: DUP4 0000197b: GT 0000197c: PUSH2 0x1984 0000197f: JUMPI 00001980: PUSH1 0x00 00001982: DUP1 00001983: REVERT 00001984: JUMPDEST 00001985: PUSH1 0x40 00001987: DUP1 00001988: MLOAD 00001989: PUSH4 0x6eb1769f 0000198e: PUSH1 0xe1 00001990: SHL 00001991: DUP2 00001992: MSTORE 00001993: CALLER 00001994: PUSH1 0x04 00001996: DUP3 00001997: ADD 00001998: MSTORE 00001999: ADDRESS 0000199a: PUSH1 0x24 0000199c: DUP3 0000199d: ADD 0000199e: MSTORE 0000199f: SWAP1 000019a0: MLOAD 000019a1: DUP5 000019a2: SWAP2 000019a3: PUSH1 0x01 000019a5: PUSH1 0x01 000019a7: PUSH1 0xa0 000019a9: SHL 000019aa: SUB 000019ab: DUP8 000019ac: AND 000019ad: SWAP2 000019ae: PUSH4 0xdd62ed3e 000019b3: SWAP2 000019b4: PUSH1 0x44 000019b6: DUP1 000019b7: DUP3 000019b8: ADD 000019b9: SWAP3 000019ba: PUSH1 0x20 000019bc: SWAP3 000019bd: SWAP1 000019be: SWAP2 000019bf: SWAP1 000019c0: DUP3 000019c1: SWAP1 000019c2: SUB 000019c3: ADD 000019c4: DUP2 000019c5: DUP7 000019c6: DUP1 000019c7: EXTCODESIZE 000019c8: ISZERO 000019c9: DUP1 000019ca: ISZERO 000019cb: PUSH2 0x19d3 000019ce: JUMPI 000019cf: PUSH1 0x00 000019d1: DUP1 000019d2: REVERT 000019d3: JUMPDEST 000019d4: POP 000019d5: GAS 000019d6: STATICCALL 000019d7: ISZERO 000019d8: DUP1 000019d9: ISZERO 000019da: PUSH2 0x19e7 000019dd: JUMPI 000019de: RETURNDATASIZE 000019df: PUSH1 0x00 000019e1: DUP1 000019e2: RETURNDATACOPY 000019e3: RETURNDATASIZE 000019e4: PUSH1 0x00 000019e6: REVERT 000019e7: JUMPDEST 000019e8: POP 000019e9: POP 000019ea: POP 000019eb: POP 000019ec: PUSH1 0x40 000019ee: MLOAD 000019ef: RETURNDATASIZE 000019f0: PUSH1 0x20 000019f2: DUP2 000019f3: LT 000019f4: ISZERO 000019f5: PUSH2 0x19fd 000019f8: JUMPI 000019f9: PUSH1 0x00 000019fb: DUP1 000019fc: REVERT 000019fd: JUMPDEST 000019fe: POP 000019ff: MLOAD 00001a00: LT 00001a01: ISZERO 00001a02: PUSH2 0x1a0a 00001a05: JUMPI 00001a06: PUSH1 0x00 00001a08: DUP1 00001a09: REVERT 00001a0a: JUMPDEST 00001a0b: PUSH1 0x40 00001a0d: DUP1 00001a0e: MLOAD 00001a0f: PUSH4 0x23b872dd 00001a14: PUSH1 0xe0 00001a16: SHL 00001a17: DUP2 00001a18: MSTORE 00001a19: CALLER 00001a1a: PUSH1 0x04 00001a1c: DUP3 00001a1d: ADD 00001a1e: MSTORE 00001a1f: ADDRESS 00001a20: PUSH1 0x24 00001a22: DUP3 00001a23: ADD 00001a24: MSTORE 00001a25: PUSH1 0x44 00001a27: DUP2 00001a28: ADD 00001a29: DUP6 00001a2a: SWAP1 00001a2b: MSTORE 00001a2c: SWAP1 00001a2d: MLOAD 00001a2e: PUSH1 0x01 00001a30: PUSH1 0x01 00001a32: PUSH1 0xa0 00001a34: SHL 00001a35: SUB 00001a36: DUP7 00001a37: AND 00001a38: SWAP2 00001a39: PUSH4 0x23b872dd 00001a3e: SWAP2 00001a3f: PUSH1 0x64 00001a41: DUP1 00001a42: DUP4 00001a43: ADD 00001a44: SWAP3 00001a45: PUSH1 0x20 00001a47: SWAP3 00001a48: SWAP2 00001a49: SWAP1 00001a4a: DUP3 00001a4b: SWAP1 00001a4c: SUB 00001a4d: ADD 00001a4e: DUP2 00001a4f: PUSH1 0x00 00001a51: DUP8 00001a52: DUP1 00001a53: EXTCODESIZE 00001a54: ISZERO 00001a55: DUP1 00001a56: ISZERO 00001a57: PUSH2 0x1a5f 00001a5a: JUMPI 00001a5b: PUSH1 0x00 00001a5d: DUP1 00001a5e: REVERT 00001a5f: JUMPDEST 00001a60: POP 00001a61: GAS 00001a62: CALL 00001a63: ISZERO 00001a64: DUP1 00001a65: ISZERO 00001a66: PUSH2 0x1a73 00001a69: JUMPI 00001a6a: RETURNDATASIZE 00001a6b: PUSH1 0x00 00001a6d: DUP1 00001a6e: RETURNDATACOPY 00001a6f: RETURNDATASIZE 00001a70: PUSH1 0x00 00001a72: REVERT 00001a73: JUMPDEST 00001a74: POP 00001a75: POP 00001a76: POP 00001a77: POP 00001a78: PUSH1 0x40 00001a7a: MLOAD 00001a7b: RETURNDATASIZE 00001a7c: PUSH1 0x20 00001a7e: DUP2 00001a7f: LT 00001a80: ISZERO 00001a81: PUSH2 0x1a89 00001a84: JUMPI 00001a85: PUSH1 0x00 00001a87: DUP1 00001a88: REVERT 00001a89: JUMPDEST 00001a8a: POP 00001a8b: MLOAD 00001a8c: PUSH2 0x1a94 00001a8f: JUMPI 00001a90: PUSH1 0x00 00001a92: DUP1 00001a93: REVERT 00001a94: JUMPDEST 00001a95: CALLER 00001a96: PUSH1 0x00 00001a98: SWAP1 00001a99: DUP2 00001a9a: MSTORE 00001a9b: PUSH1 0x03 00001a9d: PUSH1 0x20 00001a9f: MSTORE 00001aa0: PUSH1 0x40 00001aa2: SWAP1 00001aa3: KECCAK256 00001aa4: SLOAD 00001aa5: PUSH1 0xff 00001aa7: AND 00001aa8: PUSH2 0x1ac6 00001aab: JUMPI 00001aac: CALLER 00001aad: PUSH1 0x00 00001aaf: SWAP1 00001ab0: DUP2 00001ab1: MSTORE 00001ab2: PUSH1 0x03 00001ab4: PUSH1 0x20 00001ab6: MSTORE 00001ab7: PUSH1 0x40 00001ab9: SWAP1 00001aba: KECCAK256 00001abb: DUP1 00001abc: SLOAD 00001abd: PUSH1 0xff 00001abf: NOT 00001ac0: AND 00001ac1: PUSH1 0x01 00001ac3: OR 00001ac4: SWAP1 00001ac5: SSTORE 00001ac6: JUMPDEST 00001ac7: PUSH1 0x00 00001ac9: PUSH2 0x1ad3 00001acc: DUP6 00001acd: DUP6 00001ace: DUP6 00001acf: PUSH2 0x0681 00001ad2: JUMP 00001ad3: JUMPDEST 00001ad4: PUSH1 0x01 00001ad6: DUP1 00001ad7: SSTORE 00001ad8: SWAP6 00001ad9: SWAP5 00001ada: POP 00001adb: POP 00001adc: POP 00001add: POP 00001ade: POP 00001adf: JUMP 00001ae0: JUMPDEST 00001ae1: PUSH1 0x01 00001ae3: PUSH1 0x01 00001ae5: PUSH1 0xa0 00001ae7: SHL 00001ae8: SUB 00001ae9: DUP2 00001aea: AND 00001aeb: PUSH1 0x00 00001aed: SWAP1 00001aee: DUP2 00001aef: MSTORE 00001af0: PUSH1 0x02 00001af2: PUSH1 0x20 00001af4: MSTORE 00001af5: PUSH1 0x40 00001af7: DUP2 00001af8: KECCAK256 00001af9: SLOAD 00001afa: PUSH1 0xff 00001afc: AND 00001afd: ISZERO 00001afe: ISZERO 00001aff: PUSH1 0x01 00001b01: EQ 00001b02: PUSH2 0x1b0a 00001b05: JUMPI 00001b06: PUSH1 0x00 00001b08: DUP1 00001b09: REVERT 00001b0a: JUMPDEST 00001b0b: CALLER 00001b0c: PUSH2 0x1b15 00001b0f: DUP4 00001b10: DUP3 00001b11: PUSH2 0x1dec 00001b14: JUMP 00001b15: JUMPDEST 00001b16: SWAP4 00001b17: SWAP3 00001b18: POP 00001b19: POP 00001b1a: POP 00001b1b: JUMP 00001b1c: JUMPDEST 00001b1d: PUSH1 0x01 00001b1f: PUSH1 0x01 00001b21: PUSH1 0xa0 00001b23: SHL 00001b24: SUB 00001b25: DUP2 00001b26: AND 00001b27: PUSH1 0x00 00001b29: SWAP1 00001b2a: DUP2 00001b2b: MSTORE 00001b2c: PUSH1 0x02 00001b2e: PUSH1 0x20 00001b30: MSTORE 00001b31: PUSH1 0x40 00001b33: DUP2 00001b34: KECCAK256 00001b35: SLOAD 00001b36: PUSH1 0xff 00001b38: AND 00001b39: ISZERO 00001b3a: ISZERO 00001b3b: PUSH1 0x01 00001b3d: EQ 00001b3e: PUSH2 0x1b46 00001b41: JUMPI 00001b42: PUSH1 0x00 00001b44: DUP1 00001b45: REVERT 00001b46: JUMPDEST 00001b47: POP 00001b48: PUSH1 0x01 00001b4a: PUSH1 0x01 00001b4c: PUSH1 0xa0 00001b4e: SHL 00001b4f: SUB 00001b50: AND 00001b51: PUSH1 0x00 00001b53: SWAP1 00001b54: DUP2 00001b55: MSTORE 00001b56: PUSH1 0x05 00001b58: PUSH1 0x20 00001b5a: MSTORE 00001b5b: PUSH1 0x40 00001b5d: SWAP1 00001b5e: KECCAK256 00001b5f: SLOAD 00001b60: SWAP1 00001b61: JUMP 00001b62: JUMPDEST 00001b63: PUSH1 0x00 00001b65: PUSH1 0x02 00001b67: PUSH1 0x01 00001b69: SLOAD 00001b6a: EQ 00001b6b: ISZERO 00001b6c: PUSH2 0x1baa 00001b6f: JUMPI 00001b70: PUSH1 0x40 00001b72: DUP1 00001b73: MLOAD 00001b74: PUSH3 0x461bcd 00001b78: PUSH1 0xe5 00001b7a: SHL 00001b7b: DUP2 00001b7c: MSTORE 00001b7d: PUSH1 0x20 00001b7f: PUSH1 0x04 00001b81: DUP3 00001b82: ADD 00001b83: MSTORE 00001b84: PUSH1 0x1f 00001b86: PUSH1 0x24 00001b88: DUP3 00001b89: ADD 00001b8a: MSTORE 00001b8b: PUSH1 0x00 00001b8d: DUP1 00001b8e: MLOAD 00001b8f: PUSH1 0x20 00001b91: PUSH2 0x206d 00001b94: DUP4 00001b95: CODECOPY 00001b96: DUP2 00001b97: MLOAD 00001b98: SWAP2 00001b99: MSTORE 00001b9a: PUSH1 0x44 00001b9c: DUP3 00001b9d: ADD 00001b9e: MSTORE 00001b9f: SWAP1 00001ba0: MLOAD 00001ba1: SWAP1 00001ba2: DUP2 00001ba3: SWAP1 00001ba4: SUB 00001ba5: PUSH1 0x64 00001ba7: ADD 00001ba8: SWAP1 00001ba9: REVERT 00001baa: JUMPDEST 00001bab: PUSH1 0x02 00001bad: PUSH1 0x01 00001baf: SSTORE 00001bb0: CALLVALUE 00001bb1: PUSH2 0x1bb9 00001bb4: JUMPI 00001bb5: PUSH1 0x00 00001bb7: DUP1 00001bb8: REVERT 00001bb9: JUMPDEST 00001bba: PUSH1 0x00 00001bbc: DUP1 00001bbd: MSTORE 00001bbe: PUSH1 0x02 00001bc0: PUSH1 0x20 00001bc2: MSTORE 00001bc3: PUSH32 0xac33ff75c19e70fe83507db0d683fd3465c996598dc972688b7ace676c89077b 00001be4: SLOAD 00001be5: PUSH1 0xff 00001be7: AND 00001be8: ISZERO 00001be9: ISZERO 00001bea: PUSH1 0x01 00001bec: EQ 00001bed: PUSH2 0x1bf5 00001bf0: JUMPI 00001bf1: PUSH1 0x00 00001bf3: DUP1 00001bf4: REVERT 00001bf5: JUMPDEST 00001bf6: CALLER 00001bf7: PUSH1 0x00 00001bf9: SWAP1 00001bfa: DUP2 00001bfb: MSTORE 00001bfc: PUSH1 0x03 00001bfe: PUSH1 0x20 00001c00: MSTORE 00001c01: PUSH1 0x40 00001c03: SWAP1 00001c04: KECCAK256 00001c05: SLOAD 00001c06: PUSH1 0xff 00001c08: AND 00001c09: PUSH2 0x1c27 00001c0c: JUMPI 00001c0d: CALLER 00001c0e: PUSH1 0x00 00001c10: SWAP1 00001c11: DUP2 00001c12: MSTORE 00001c13: PUSH1 0x03 00001c15: PUSH1 0x20 00001c17: MSTORE 00001c18: PUSH1 0x40 00001c1a: SWAP1 00001c1b: KECCAK256 00001c1c: DUP1 00001c1d: SLOAD 00001c1e: PUSH1 0xff 00001c20: NOT 00001c21: AND 00001c22: PUSH1 0x01 00001c24: OR 00001c25: SWAP1 00001c26: SSTORE 00001c27: JUMPDEST 00001c28: PUSH1 0x00 00001c2a: PUSH2 0x125b 00001c2d: PUSH1 0x00 00001c2f: CALLVALUE 00001c30: DUP6 00001c31: PUSH2 0x0681 00001c34: JUMP 00001c35: JUMPDEST 00001c36: PUSH1 0x00 00001c38: SLOAD 00001c39: PUSH1 0x01 00001c3b: PUSH1 0x01 00001c3d: PUSH1 0xa0 00001c3f: SHL 00001c40: SUB 00001c41: AND 00001c42: CALLER 00001c43: EQ 00001c44: PUSH2 0x1c94 00001c47: JUMPI 00001c48: PUSH1 0x40 00001c4a: DUP1 00001c4b: MLOAD 00001c4c: PUSH3 0x461bcd 00001c50: PUSH1 0xe5 00001c52: SHL 00001c53: DUP2 00001c54: MSTORE 00001c55: PUSH1 0x20 00001c57: PUSH1 0x04 00001c59: DUP3 00001c5a: ADD 00001c5b: DUP2 00001c5c: SWAP1 00001c5d: MSTORE 00001c5e: PUSH1 0x24 00001c60: DUP3 00001c61: ADD 00001c62: MSTORE 00001c63: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00001c84: PUSH1 0x44 00001c86: DUP3 00001c87: ADD 00001c88: MSTORE 00001c89: SWAP1 00001c8a: MLOAD 00001c8b: SWAP1 00001c8c: DUP2 00001c8d: SWAP1 00001c8e: SUB 00001c8f: PUSH1 0x64 00001c91: ADD 00001c92: SWAP1 00001c93: REVERT 00001c94: JUMPDEST 00001c95: PUSH1 0x01 00001c97: PUSH1 0x01 00001c99: PUSH1 0xa0 00001c9b: SHL 00001c9c: SUB 00001c9d: DUP2 00001c9e: AND 00001c9f: PUSH2 0x1cd9 00001ca2: JUMPI 00001ca3: PUSH1 0x40 00001ca5: MLOAD 00001ca6: PUSH3 0x461bcd 00001caa: PUSH1 0xe5 00001cac: SHL 00001cad: DUP2 00001cae: MSTORE 00001caf: PUSH1 0x04 00001cb1: ADD 00001cb2: DUP1 00001cb3: DUP1 00001cb4: PUSH1 0x20 00001cb6: ADD 00001cb7: DUP3 00001cb8: DUP2 00001cb9: SUB 00001cba: DUP3 00001cbb: MSTORE 00001cbc: PUSH1 0x26 00001cbe: DUP2 00001cbf: MSTORE 00001cc0: PUSH1 0x20 00001cc2: ADD 00001cc3: DUP1 00001cc4: PUSH2 0x208d 00001cc7: PUSH1 0x26 00001cc9: SWAP2 00001cca: CODECOPY 00001ccb: PUSH1 0x40 00001ccd: ADD 00001cce: SWAP2 00001ccf: POP 00001cd0: POP 00001cd1: PUSH1 0x40 00001cd3: MLOAD 00001cd4: DUP1 00001cd5: SWAP2 00001cd6: SUB 00001cd7: SWAP1 00001cd8: REVERT 00001cd9: JUMPDEST 00001cda: PUSH1 0x00 00001cdc: DUP1 00001cdd: SLOAD 00001cde: PUSH1 0x40 00001ce0: MLOAD 00001ce1: PUSH1 0x01 00001ce3: PUSH1 0x01 00001ce5: PUSH1 0xa0 00001ce7: SHL 00001ce8: SUB 00001ce9: DUP1 00001cea: DUP6 00001ceb: AND 00001cec: SWAP4 00001ced: SWAP3 00001cee: AND 00001cef: SWAP2 00001cf0: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00001d11: SWAP2 00001d12: LOG3 00001d13: PUSH1 0x00 00001d15: DUP1 00001d16: SLOAD 00001d17: PUSH1 0x01 00001d19: PUSH1 0x01 00001d1b: PUSH1 0xa0 00001d1d: SHL 00001d1e: SUB 00001d1f: NOT 00001d20: AND 00001d21: PUSH1 0x01 00001d23: PUSH1 0x01 00001d25: PUSH1 0xa0 00001d27: SHL 00001d28: SUB 00001d29: SWAP3 00001d2a: SWAP1 00001d2b: SWAP3 00001d2c: AND 00001d2d: SWAP2 00001d2e: SWAP1 00001d2f: SWAP2 00001d30: OR 00001d31: SWAP1 00001d32: SSTORE 00001d33: JUMP 00001d34: JUMPDEST 00001d35: PUSH1 0x01 00001d37: PUSH1 0x01 00001d39: PUSH1 0xa0 00001d3b: SHL 00001d3c: SUB 00001d3d: DUP2 00001d3e: AND 00001d3f: PUSH1 0x00 00001d41: SWAP1 00001d42: DUP2 00001d43: MSTORE 00001d44: PUSH1 0x02 00001d46: PUSH1 0x20 00001d48: MSTORE 00001d49: PUSH1 0x40 00001d4b: DUP2 00001d4c: KECCAK256 00001d4d: SLOAD 00001d4e: PUSH1 0xff 00001d50: AND 00001d51: ISZERO 00001d52: ISZERO 00001d53: PUSH1 0x01 00001d55: EQ 00001d56: PUSH2 0x1d5e 00001d59: JUMPI 00001d5a: PUSH1 0x00 00001d5c: DUP1 00001d5d: REVERT 00001d5e: JUMPDEST 00001d5f: PUSH1 0x01 00001d61: PUSH1 0x01 00001d63: PUSH1 0xa0 00001d65: SHL 00001d66: SUB 00001d67: DUP3 00001d68: AND 00001d69: PUSH2 0x1d73 00001d6c: JUMPI 00001d6d: POP 00001d6e: SELFBALANCE 00001d6f: PUSH2 0x0af9 00001d72: JUMP 00001d73: JUMPDEST 00001d74: PUSH1 0x40 00001d76: DUP1 00001d77: MLOAD 00001d78: PUSH4 0x70a08231 00001d7d: PUSH1 0xe0 00001d7f: SHL 00001d80: DUP2 00001d81: MSTORE 00001d82: ADDRESS 00001d83: PUSH1 0x04 00001d85: DUP3 00001d86: ADD 00001d87: MSTORE 00001d88: SWAP1 00001d89: MLOAD 00001d8a: PUSH1 0x01 00001d8c: PUSH1 0x01 00001d8e: PUSH1 0xa0 00001d90: SHL 00001d91: SUB 00001d92: DUP5 00001d93: AND 00001d94: SWAP2 00001d95: PUSH4 0x70a08231 00001d9a: SWAP2 00001d9b: PUSH1 0x24 00001d9d: DUP1 00001d9e: DUP4 00001d9f: ADD 00001da0: SWAP3 00001da1: PUSH1 0x20 00001da3: SWAP3 00001da4: SWAP2 00001da5: SWAP1 00001da6: DUP3 00001da7: SWAP1 00001da8: SUB 00001da9: ADD 00001daa: DUP2 00001dab: DUP7 00001dac: DUP1 00001dad: EXTCODESIZE 00001dae: ISZERO 00001daf: DUP1 00001db0: ISZERO 00001db1: PUSH2 0x1db9 00001db4: JUMPI 00001db5: PUSH1 0x00 00001db7: DUP1 00001db8: REVERT 00001db9: JUMPDEST 00001dba: POP 00001dbb: GAS 00001dbc: STATICCALL 00001dbd: ISZERO 00001dbe: DUP1 00001dbf: ISZERO 00001dc0: PUSH2 0x1dcd 00001dc3: JUMPI 00001dc4: RETURNDATASIZE 00001dc5: PUSH1 0x00 00001dc7: DUP1 00001dc8: RETURNDATACOPY 00001dc9: RETURNDATASIZE 00001dca: PUSH1 0x00 00001dcc: REVERT 00001dcd: JUMPDEST 00001dce: POP 00001dcf: POP 00001dd0: POP 00001dd1: POP 00001dd2: PUSH1 0x40 00001dd4: MLOAD 00001dd5: RETURNDATASIZE 00001dd6: PUSH1 0x20 00001dd8: DUP2 00001dd9: LT 00001dda: ISZERO 00001ddb: PUSH2 0x1de3 00001dde: JUMPI 00001ddf: PUSH1 0x00 00001de1: DUP1 00001de2: REVERT 00001de3: JUMPDEST 00001de4: POP 00001de5: MLOAD 00001de6: SWAP1 00001de7: POP 00001de8: PUSH2 0x0af9 00001deb: JUMP 00001dec: JUMPDEST 00001ded: PUSH1 0x01 00001def: PUSH1 0x01 00001df1: PUSH1 0xa0 00001df3: SHL 00001df4: SUB 00001df5: DUP3 00001df6: AND 00001df7: PUSH1 0x00 00001df9: SWAP1 00001dfa: DUP2 00001dfb: MSTORE 00001dfc: PUSH1 0x02 00001dfe: PUSH1 0x20 00001e00: MSTORE 00001e01: PUSH1 0x40 00001e03: DUP2 00001e04: KECCAK256 00001e05: SLOAD 00001e06: PUSH1 0xff 00001e08: AND 00001e09: ISZERO 00001e0a: ISZERO 00001e0b: PUSH1 0x01 00001e0d: EQ 00001e0e: PUSH2 0x1e16 00001e11: JUMPI 00001e12: PUSH1 0x00 00001e14: DUP1 00001e15: REVERT 00001e16: JUMPDEST 00001e17: POP 00001e18: PUSH1 0x01 00001e1a: PUSH1 0x01 00001e1c: PUSH1 0xa0 00001e1e: SHL 00001e1f: SUB 00001e20: DUP1 00001e21: DUP3 00001e22: AND 00001e23: PUSH1 0x00 00001e25: SWAP1 00001e26: DUP2 00001e27: MSTORE 00001e28: PUSH1 0x04 00001e2a: PUSH1 0x20 00001e2c: SWAP1 00001e2d: DUP2 00001e2e: MSTORE 00001e2f: PUSH1 0x40 00001e31: DUP1 00001e32: DUP4 00001e33: KECCAK256 00001e34: SWAP4 00001e35: DUP7 00001e36: AND 00001e37: DUP4 00001e38: MSTORE 00001e39: SWAP3 00001e3a: SWAP1 00001e3b: MSTORE 00001e3c: KECCAK256 00001e3d: SLOAD 00001e3e: SWAP3 00001e3f: SWAP2 00001e40: POP 00001e41: POP 00001e42: JUMP 00001e43: JUMPDEST 00001e44: PUSH1 0x01 00001e46: PUSH1 0x01 00001e48: PUSH1 0xa0 00001e4a: SHL 00001e4b: SUB 00001e4c: DUP2 00001e4d: AND 00001e4e: PUSH1 0x00 00001e50: SWAP1 00001e51: DUP2 00001e52: MSTORE 00001e53: PUSH1 0x02 00001e55: PUSH1 0x20 00001e57: MSTORE 00001e58: PUSH1 0x40 00001e5a: DUP2 00001e5b: KECCAK256 00001e5c: SLOAD 00001e5d: PUSH1 0xff 00001e5f: AND 00001e60: ISZERO 00001e61: ISZERO 00001e62: PUSH1 0x01 00001e64: EQ 00001e65: PUSH2 0x1e6d 00001e68: JUMPI 00001e69: PUSH1 0x00 00001e6b: DUP1 00001e6c: REVERT 00001e6d: JUMPDEST 00001e6e: PUSH1 0x01 00001e70: PUSH1 0x01 00001e72: PUSH1 0xa0 00001e74: SHL 00001e75: SUB 00001e76: DUP3 00001e77: AND 00001e78: PUSH1 0x00 00001e7a: SWAP1 00001e7b: DUP2 00001e7c: MSTORE 00001e7d: PUSH1 0x05 00001e7f: PUSH1 0x20 00001e81: MSTORE 00001e82: PUSH1 0x40 00001e84: SWAP1 00001e85: KECCAK256 00001e86: SLOAD 00001e87: PUSH2 0x1eb4 00001e8a: JUMPI 00001e8b: POP 00001e8c: PUSH1 0x01 00001e8e: PUSH1 0x01 00001e90: PUSH1 0xa0 00001e92: SHL 00001e93: SUB 00001e94: DUP2 00001e95: AND 00001e96: PUSH1 0x00 00001e98: SWAP1 00001e99: DUP2 00001e9a: MSTORE 00001e9b: PUSH1 0x05 00001e9d: PUSH1 0x20 00001e9f: MSTORE 00001ea0: PUSH1 0x40 00001ea2: SWAP1 00001ea3: KECCAK256 00001ea4: PUSH1 0x03 00001ea6: DUP2 00001ea7: ADD 00001ea8: SLOAD 00001ea9: PUSH1 0x02 00001eab: SWAP1 00001eac: SWAP2 00001ead: ADD 00001eae: SLOAD 00001eaf: SUB 00001eb0: PUSH2 0x0af9 00001eb3: JUMP 00001eb4: JUMPDEST 00001eb5: PUSH1 0x00 00001eb7: PUSH2 0x1ec8 00001eba: DUP4 00001ebb: PUSH8 0x0de0b6b3a7640000 00001ec4: PUSH2 0x1fb1 00001ec7: JUMP 00001ec8: JUMPDEST 00001ec9: SWAP1 00001eca: POP 00001ecb: PUSH1 0x00 00001ecd: PUSH2 0x1ed7 00001ed0: DUP3 00001ed1: PUSH1 0x0a 00001ed3: PUSH2 0x1ee5 00001ed6: JUMP 00001ed7: JUMPDEST 00001ed8: SWAP1 00001ed9: POP 00001eda: PUSH1 0x00 00001edc: PUSH2 0x0aee 00001edf: DUP4 00001ee0: DUP4 00001ee1: PUSH2 0x1efa 00001ee4: JUMP 00001ee5: JUMPDEST 00001ee6: PUSH1 0x00 00001ee8: DUP1 00001ee9: DUP3 00001eea: DUP5 00001eeb: DUP2 00001eec: PUSH2 0x1ef1 00001eef: JUMPI 00001ef0: INVALID 00001ef1: JUMPDEST 00001ef2: DIV 00001ef3: SWAP5 00001ef4: SWAP4 00001ef5: POP 00001ef6: POP 00001ef7: POP 00001ef8: POP 00001ef9: JUMP 00001efa: JUMPDEST 00001efb: PUSH1 0x00 00001efd: DUP3 00001efe: DUP3 00001eff: GT 00001f00: ISZERO 00001f01: PUSH2 0x1f06 00001f04: JUMPI 00001f05: INVALID 00001f06: JUMPDEST 00001f07: POP 00001f08: SWAP1 00001f09: SUB 00001f0a: SWAP1 00001f0b: JUMP 00001f0c: JUMPDEST 00001f0d: PUSH1 0x01 00001f0f: PUSH1 0x01 00001f11: PUSH1 0xa0 00001f13: SHL 00001f14: SUB 00001f15: DUP3 00001f16: AND 00001f17: PUSH1 0x00 00001f19: SWAP1 00001f1a: DUP2 00001f1b: MSTORE 00001f1c: PUSH1 0x05 00001f1e: PUSH1 0x20 00001f20: MSTORE 00001f21: PUSH1 0x40 00001f23: DUP2 00001f24: KECCAK256 00001f25: PUSH1 0x02 00001f27: DUP1 00001f28: DUP3 00001f29: ADD 00001f2a: SLOAD 00001f2b: DUP3 00001f2c: SLOAD 00001f2d: PUSH1 0x03 00001f2f: SWAP1 00001f30: SWAP4 00001f31: ADD 00001f32: SLOAD 00001f33: PUSH8 0x0de0b6b3a7640000 00001f3c: DUP3 00001f3d: MUL 00001f3e: SWAP4 00001f3f: SWAP3 00001f40: SWAP1 00001f41: SWAP2 00001f42: DUP6 00001f43: SWAP2 00001f44: DUP5 00001f45: SWAP2 00001f46: DUP5 00001f47: SWAP2 00001f48: PUSH2 0x1f8e 00001f4b: SWAP2 00001f4c: PUSH2 0x1f88 00001f4f: SWAP2 00001f50: DUP1 00001f51: DUP11 00001f52: EXP 00001f53: PUSH16 0x01812f9cf7920e2b66973e2000000000 00001f64: DUP14 00001f65: DUP8 00001f66: MUL 00001f67: MUL 00001f68: ADD 00001f69: DUP2 00001f6a: DUP7 00001f6b: EXP 00001f6c: SWAP2 00001f6d: DUP8 00001f6e: EXP 00001f6f: SWAP2 00001f70: SWAP1 00001f71: SWAP2 00001f72: MUL 00001f73: ADD 00001f74: SWAP1 00001f75: DUP5 00001f76: MUL 00001f77: DUP6 00001f78: MUL 00001f79: PUSH8 0x1bc16d674ec80000 00001f82: MUL 00001f83: ADD 00001f84: PUSH2 0x2035 00001f87: JUMP 00001f88: JUMPDEST 00001f89: DUP8 00001f8a: PUSH2 0x1efa 00001f8d: JUMP 00001f8e: JUMPDEST 00001f8f: DUP2 00001f90: PUSH2 0x1f95 00001f93: JUMPI 00001f94: INVALID 00001f95: JUMPDEST 00001f96: DIV 00001f97: SUB 00001f98: SWAP8 00001f99: SWAP7 00001f9a: POP 00001f9b: POP 00001f9c: POP 00001f9d: POP 00001f9e: POP 00001f9f: POP 00001fa0: POP 00001fa1: JUMP 00001fa2: JUMPDEST 00001fa3: PUSH1 0x00 00001fa5: DUP3 00001fa6: DUP3 00001fa7: ADD 00001fa8: DUP4 00001fa9: DUP2 00001faa: LT 00001fab: ISZERO 00001fac: PUSH2 0x1b15 00001faf: JUMPI 00001fb0: INVALID 00001fb1: JUMPDEST 00001fb2: PUSH1 0x01 00001fb4: PUSH1 0x01 00001fb6: PUSH1 0xa0 00001fb8: SHL 00001fb9: SUB 00001fba: DUP3 00001fbb: AND 00001fbc: PUSH1 0x00 00001fbe: SWAP1 00001fbf: DUP2 00001fc0: MSTORE 00001fc1: PUSH1 0x05 00001fc3: PUSH1 0x20 00001fc5: MSTORE 00001fc6: PUSH1 0x40 00001fc8: DUP2 00001fc9: KECCAK256 00001fca: DUP1 00001fcb: SLOAD 00001fcc: PUSH1 0x02 00001fce: DUP3 00001fcf: ADD 00001fd0: SLOAD 00001fd1: PUSH1 0x03 00001fd3: SWAP1 00001fd4: SWAP3 00001fd5: ADD 00001fd6: SLOAD 00001fd7: PUSH8 0x0de0b6b3a7640000 00001fe0: DUP1 00001fe1: DUP7 00001fe2: ADD 00001fe3: SWAP4 00001fe4: SWAP3 00001fe5: DUP2 00001fe6: ADD 00001fe7: SWAP3 00001fe8: SWAP2 00001fe9: SWAP1 00001fea: DUP6 00001feb: SWAP1 00001fec: PUSH2 0x2021 00001fef: DUP9 00001ff0: DUP5 00001ff1: DUP4 00001ff2: DUP9 00001ff3: DIV 00001ff4: DUP7 00001ff5: MUL 00001ff6: DUP8 00001ff7: ADD 00001ff8: SUB 00001ff9: MUL 00001ffa: PUSH1 0x02 00001ffc: PUSH8 0x0de0b6b3a7640000 00002005: DUP10 00002006: PUSH1 0x02 00002008: DUP12 00002009: EXP 0000200a: SUB 0000200b: DUP2 0000200c: PUSH2 0x2011 0000200f: JUMPI 00002010: INVALID 00002011: JUMPDEST 00002012: DIV 00002013: DUP7 00002014: MUL 00002015: DUP2 00002016: PUSH2 0x201b 00002019: JUMPI 0000201a: INVALID 0000201b: JUMPDEST 0000201c: DIV 0000201d: PUSH2 0x1efa 00002020: JUMP 00002021: JUMPDEST 00002022: DUP2 00002023: PUSH2 0x2028 00002026: JUMPI 00002027: INVALID 00002028: JUMPDEST 00002029: DIV 0000202a: SWAP9 0000202b: SWAP8 0000202c: POP 0000202d: POP 0000202e: POP 0000202f: POP 00002030: POP 00002031: POP 00002032: POP 00002033: POP 00002034: JUMP 00002035: JUMPDEST 00002036: DUP1 00002037: PUSH1 0x02 00002039: PUSH1 0x01 0000203b: DUP3 0000203c: ADD 0000203d: DIV 0000203e: JUMPDEST 0000203f: DUP2 00002040: DUP2 00002041: LT 00002042: ISZERO 00002043: PUSH2 0x2066 00002046: JUMPI 00002047: DUP1 00002048: SWAP2 00002049: POP 0000204a: PUSH1 0x02 0000204c: DUP2 0000204d: DUP3 0000204e: DUP6 0000204f: DUP2 00002050: PUSH2 0x2055 00002053: JUMPI 00002054: INVALID 00002055: JUMPDEST 00002056: DIV 00002057: ADD 00002058: DUP2 00002059: PUSH2 0x205e 0000205c: JUMPI 0000205d: INVALID 0000205e: JUMPDEST 0000205f: DIV 00002060: SWAP1 00002061: POP 00002062: PUSH2 0x203e 00002065: JUMP 00002066: JUMPDEST 00002067: POP 00002068: SWAP2 00002069: SWAP1 0000206a: POP 0000206b: JUMP 0000206c: INVALID 0000206d: MSTORE 0000206e: PUSH6 0x656e7472616e 00002075: PUSH4 0x79477561 0000207a: PUSH19 0x643a207265656e7472616e742063616c6c004f 0000208e: PUSH24 0x6e61626c653a206e6577206f776e65722069732074686520 000020a7: PUSH27 0x65726f2061646472657373a2646970667358221220df34393191f8 000020c3: BLOBBASEFEE 000020c4: UNKNOWN(0xB2) 000020c5: UNKNOWN(0xB7) 000020c6: PUSH20 0xc1687e684401beb686b1c377acef5662cefb8788 000020db: SMOD 000020dc: BLOBBASEFEE 000020dd: PUSH5 0x736f6c6343 000020e3: STOP 000020e4: SMOD 000020e5: MOD 000020e6: STOP 000020e7: CALLER
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xc60f2f40576c8b757f6046ab56480fbb0c586cfddcd0e72e207a34c91eaab84c
call_targets:
0x0e82b29a77a53880dd4ee8326cfea9b4c68db638
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc60f2f40576c8b757f6046ab56480fbb0c586cfddcd0e72e207a34c91eaab84c",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0e82b29a77a53880dd4ee8326cfea9b4c68db638"
],
"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": "0xe4dc2aa4",
"selector": "0xe4dc2aa4",
"calldata_variants": [
"0xe4dc2aa4",
"0xe4dc2aa40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf088d547",
"selector": "0xf088d547",
"calldata_variants": [
"0xf088d547",
"0xf088d5470000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf5465992",
"selector": "0xf5465992",
"calldata_variants": [
"0xf5465992",
"0xf54659920000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf7888aec",
"selector": "0xf7888aec",
"calldata_variants": [
"0xf7888aec",
"0xf7888aec0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfcd393b9",
"selector": "0xfcd393b9",
"calldata_variants": [
"0xfcd393b9",
"0xfcd393b90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb8872fb7",
"selector": "0xb8872fb7",
"calldata_variants": [
"0xb8872fb7",
"0xb8872fb70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbeabacc8",
"selector": "0xbeabacc8",
"calldata_variants": [
"0xbeabacc8",
"0xbeabacc80000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3301,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3419,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6754,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xc60f2f40576c8b757f6046ab56480fbb0c586cfddcd0e72e207a34c91eaab84c
call_targets:
0x0e82b29a77a53880dd4ee8326cfea9b4c68db638
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc60f2f40576c8b757f6046ab56480fbb0c586cfddcd0e72e207a34c91eaab84c",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0e82b29a77a53880dd4ee8326cfea9b4c68db638"
],
"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": "0xe4dc2aa4",
"selector": "0xe4dc2aa4",
"calldata_variants": [
"0xe4dc2aa4",
"0xe4dc2aa40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf088d547",
"selector": "0xf088d547",
"calldata_variants": [
"0xf088d547",
"0xf088d5470000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf5465992",
"selector": "0xf5465992",
"calldata_variants": [
"0xf5465992",
"0xf54659920000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf7888aec",
"selector": "0xf7888aec",
"calldata_variants": [
"0xf7888aec",
"0xf7888aec0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfcd393b9",
"selector": "0xfcd393b9",
"calldata_variants": [
"0xfcd393b9",
"0xfcd393b90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb8872fb7",
"selector": "0xb8872fb7",
"calldata_variants": [
"0xb8872fb7",
"0xb8872fb70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbeabacc8",
"selector": "0xbeabacc8",
"calldata_variants": [
"0xbeabacc8",
"0xbeabacc80000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3301,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3419,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6754,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [],
"untrusted_call_count": 3
}
|