019b477e-c02a-7088-850c-a583d1a7e868
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 |
|---|---|---|---|---|
| 24649 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 24650 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 102588 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 102589 | capability.graph | complete | 1 / 3 | 1 week ago |
| 102590 | detector.run | complete | 1 / 3 | 1 week ago |
| 102591 | validation.fork | complete | 1 / 3 | 1 week 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 0x0181 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x6352211e 00000019: GT 0000001a: PUSH2 0x00d1 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xa22cb465 00000024: GT 00000025: PUSH2 0x008a 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xb88d4fde 0000002f: GT 00000030: PUSH2 0x0064 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xb88d4fde 0000003a: EQ 0000003b: PUSH2 0x095c 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xc87b56dd 00000045: EQ 00000046: PUSH2 0x0a6e 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xe985e9c5 00000050: EQ 00000051: PUSH2 0x0b22 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf2fde38b 0000005b: EQ 0000005c: PUSH2 0x0ba9 0000005f: JUMPI 00000060: PUSH2 0x0181 00000063: JUMP 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0xa22cb465 0000006b: EQ 0000006c: PUSH2 0x08a6 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xa4e0b4fe 00000076: EQ 00000077: PUSH2 0x0903 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xaddade17 00000081: EQ 00000082: PUSH2 0x092e 00000085: JUMPI 00000086: PUSH2 0x0181 00000089: JUMP 0000008a: JUMPDEST 0000008b: DUP1 0000008c: PUSH4 0x6352211e 00000091: EQ 00000092: PUSH2 0x0664 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x6c0360eb 0000009c: EQ 0000009d: PUSH2 0x06c9 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x70a08231 000000a7: EQ 000000a8: PUSH2 0x0759 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x715018a6 000000b2: EQ 000000b3: PUSH2 0x07be 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x8da5cb5b 000000bd: EQ 000000be: PUSH2 0x07d5 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x95d89b41 000000c8: EQ 000000c9: PUSH2 0x0816 000000cc: JUMPI 000000cd: PUSH2 0x0181 000000d0: JUMP 000000d1: JUMPDEST 000000d2: DUP1 000000d3: PUSH4 0x17e7efbd 000000d8: GT 000000d9: PUSH2 0x013e 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0x2f745c59 000000e3: GT 000000e4: PUSH2 0x0118 000000e7: JUMPI 000000e8: DUP1 000000e9: PUSH4 0x2f745c59 000000ee: EQ 000000ef: PUSH2 0x0514 000000f2: JUMPI 000000f3: DUP1 000000f4: PUSH4 0x3ccfd60b 000000f9: EQ 000000fa: PUSH2 0x0583 000000fd: JUMPI 000000fe: DUP1 000000ff: PUSH4 0x42842e0e 00000104: EQ 00000105: PUSH2 0x059a 00000108: JUMPI 00000109: DUP1 0000010a: PUSH4 0x4f6ccce7 0000010f: EQ 00000110: PUSH2 0x0615 00000113: JUMPI 00000114: PUSH2 0x0181 00000117: JUMP 00000118: JUMPDEST 00000119: DUP1 0000011a: PUSH4 0x17e7efbd 0000011f: EQ 00000120: PUSH2 0x0443 00000123: JUMPI 00000124: DUP1 00000125: PUSH4 0x18160ddd 0000012a: EQ 0000012b: PUSH2 0x046e 0000012e: JUMPI 0000012f: DUP1 00000130: PUSH4 0x23b872dd 00000135: EQ 00000136: PUSH2 0x0499 00000139: JUMPI 0000013a: PUSH2 0x0181 0000013d: JUMP 0000013e: JUMPDEST 0000013f: DUP1 00000140: PUSH4 0x01ffc9a7 00000145: EQ 00000146: PUSH2 0x0186 00000149: JUMPI 0000014a: DUP1 0000014b: PUSH4 0x06fdde03 00000150: EQ 00000151: PUSH2 0x01f6 00000154: JUMPI 00000155: DUP1 00000156: PUSH4 0x081812fc 0000015b: EQ 0000015c: PUSH2 0x0286 0000015f: JUMPI 00000160: DUP1 00000161: PUSH4 0x095ea7b3 00000166: EQ 00000167: PUSH2 0x02eb 0000016a: JUMPI 0000016b: DUP1 0000016c: PUSH4 0x14bbaabd 00000171: EQ 00000172: PUSH2 0x0346 00000175: JUMPI 00000176: DUP1 00000177: PUSH4 0x162094c4 0000017c: EQ 0000017d: PUSH2 0x0371 00000180: JUMPI 00000181: JUMPDEST 00000182: PUSH1 0x00 00000184: DUP1 00000185: REVERT 00000186: JUMPDEST 00000187: CALLVALUE 00000188: DUP1 00000189: ISZERO 0000018a: PUSH2 0x0192 0000018d: JUMPI 0000018e: PUSH1 0x00 00000190: DUP1 00000191: REVERT 00000192: JUMPDEST 00000193: POP 00000194: PUSH2 0x01de 00000197: PUSH1 0x04 00000199: DUP1 0000019a: CALLDATASIZE 0000019b: SUB 0000019c: PUSH1 0x20 0000019e: DUP2 0000019f: LT 000001a0: ISZERO 000001a1: PUSH2 0x01a9 000001a4: JUMPI 000001a5: PUSH1 0x00 000001a7: DUP1 000001a8: REVERT 000001a9: JUMPDEST 000001aa: DUP2 000001ab: ADD 000001ac: SWAP1 000001ad: DUP1 000001ae: DUP1 000001af: CALLDATALOAD 000001b0: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000001cd: NOT 000001ce: AND 000001cf: SWAP1 000001d0: PUSH1 0x20 000001d2: ADD 000001d3: SWAP1 000001d4: SWAP3 000001d5: SWAP2 000001d6: SWAP1 000001d7: POP 000001d8: POP 000001d9: POP 000001da: PUSH2 0x0bfa 000001dd: JUMP 000001de: JUMPDEST 000001df: PUSH1 0x40 000001e1: MLOAD 000001e2: DUP1 000001e3: DUP3 000001e4: ISZERO 000001e5: ISZERO 000001e6: DUP2 000001e7: MSTORE 000001e8: PUSH1 0x20 000001ea: ADD 000001eb: SWAP2 000001ec: POP 000001ed: POP 000001ee: PUSH1 0x40 000001f0: MLOAD 000001f1: DUP1 000001f2: SWAP2 000001f3: SUB 000001f4: SWAP1 000001f5: RETURN 000001f6: JUMPDEST 000001f7: CALLVALUE 000001f8: DUP1 000001f9: ISZERO 000001fa: PUSH2 0x0202 000001fd: JUMPI 000001fe: PUSH1 0x00 00000200: DUP1 00000201: REVERT 00000202: JUMPDEST 00000203: POP 00000204: PUSH2 0x020b 00000207: PUSH2 0x0c61 0000020a: JUMP 0000020b: JUMPDEST 0000020c: PUSH1 0x40 0000020e: MLOAD 0000020f: DUP1 00000210: DUP1 00000211: PUSH1 0x20 00000213: ADD 00000214: DUP3 00000215: DUP2 00000216: SUB 00000217: DUP3 00000218: MSTORE 00000219: DUP4 0000021a: DUP2 0000021b: DUP2 0000021c: MLOAD 0000021d: DUP2 0000021e: MSTORE 0000021f: PUSH1 0x20 00000221: ADD 00000222: SWAP2 00000223: POP 00000224: DUP1 00000225: MLOAD 00000226: SWAP1 00000227: PUSH1 0x20 00000229: ADD 0000022a: SWAP1 0000022b: DUP1 0000022c: DUP4 0000022d: DUP4 0000022e: PUSH1 0x00 00000230: JUMPDEST 00000231: DUP4 00000232: DUP2 00000233: LT 00000234: ISZERO 00000235: PUSH2 0x024b 00000238: JUMPI 00000239: DUP1 0000023a: DUP3 0000023b: ADD 0000023c: MLOAD 0000023d: DUP2 0000023e: DUP5 0000023f: ADD 00000240: MSTORE 00000241: PUSH1 0x20 00000243: DUP2 00000244: ADD 00000245: SWAP1 00000246: POP 00000247: PUSH2 0x0230 0000024a: JUMP 0000024b: JUMPDEST 0000024c: POP 0000024d: POP 0000024e: POP 0000024f: POP 00000250: SWAP1 00000251: POP 00000252: SWAP1 00000253: DUP2 00000254: ADD 00000255: SWAP1 00000256: PUSH1 0x1f 00000258: AND 00000259: DUP1 0000025a: ISZERO 0000025b: PUSH2 0x0278 0000025e: JUMPI 0000025f: DUP1 00000260: DUP3 00000261: SUB 00000262: DUP1 00000263: MLOAD 00000264: PUSH1 0x01 00000266: DUP4 00000267: PUSH1 0x20 00000269: SUB 0000026a: PUSH2 0x0100 0000026d: EXP 0000026e: SUB 0000026f: NOT 00000270: AND 00000271: DUP2 00000272: MSTORE 00000273: PUSH1 0x20 00000275: ADD 00000276: SWAP2 00000277: POP 00000278: JUMPDEST 00000279: POP 0000027a: SWAP3 0000027b: POP 0000027c: POP 0000027d: POP 0000027e: PUSH1 0x40 00000280: MLOAD 00000281: DUP1 00000282: SWAP2 00000283: SUB 00000284: SWAP1 00000285: RETURN 00000286: JUMPDEST 00000287: CALLVALUE 00000288: DUP1 00000289: ISZERO 0000028a: PUSH2 0x0292 0000028d: JUMPI 0000028e: PUSH1 0x00 00000290: DUP1 00000291: REVERT 00000292: JUMPDEST 00000293: POP 00000294: PUSH2 0x02bf 00000297: PUSH1 0x04 00000299: DUP1 0000029a: CALLDATASIZE 0000029b: SUB 0000029c: PUSH1 0x20 0000029e: DUP2 0000029f: LT 000002a0: ISZERO 000002a1: PUSH2 0x02a9 000002a4: JUMPI 000002a5: PUSH1 0x00 000002a7: DUP1 000002a8: REVERT 000002a9: JUMPDEST 000002aa: DUP2 000002ab: ADD 000002ac: SWAP1 000002ad: DUP1 000002ae: DUP1 000002af: CALLDATALOAD 000002b0: SWAP1 000002b1: PUSH1 0x20 000002b3: ADD 000002b4: SWAP1 000002b5: SWAP3 000002b6: SWAP2 000002b7: SWAP1 000002b8: POP 000002b9: POP 000002ba: POP 000002bb: PUSH2 0x0d03 000002be: JUMP 000002bf: JUMPDEST 000002c0: PUSH1 0x40 000002c2: MLOAD 000002c3: DUP1 000002c4: DUP3 000002c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002da: AND 000002db: DUP2 000002dc: MSTORE 000002dd: PUSH1 0x20 000002df: ADD 000002e0: SWAP2 000002e1: POP 000002e2: POP 000002e3: PUSH1 0x40 000002e5: MLOAD 000002e6: DUP1 000002e7: SWAP2 000002e8: SUB 000002e9: SWAP1 000002ea: RETURN 000002eb: JUMPDEST 000002ec: CALLVALUE 000002ed: DUP1 000002ee: ISZERO 000002ef: PUSH2 0x02f7 000002f2: JUMPI 000002f3: PUSH1 0x00 000002f5: DUP1 000002f6: REVERT 000002f7: JUMPDEST 000002f8: POP 000002f9: PUSH2 0x0344 000002fc: PUSH1 0x04 000002fe: DUP1 000002ff: CALLDATASIZE 00000300: SUB 00000301: PUSH1 0x40 00000303: DUP2 00000304: LT 00000305: ISZERO 00000306: PUSH2 0x030e 00000309: JUMPI 0000030a: PUSH1 0x00 0000030c: DUP1 0000030d: REVERT 0000030e: JUMPDEST 0000030f: DUP2 00000310: ADD 00000311: SWAP1 00000312: DUP1 00000313: DUP1 00000314: CALLDATALOAD 00000315: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000032a: AND 0000032b: SWAP1 0000032c: PUSH1 0x20 0000032e: ADD 0000032f: SWAP1 00000330: SWAP3 00000331: SWAP2 00000332: SWAP1 00000333: DUP1 00000334: CALLDATALOAD 00000335: SWAP1 00000336: PUSH1 0x20 00000338: ADD 00000339: SWAP1 0000033a: SWAP3 0000033b: SWAP2 0000033c: SWAP1 0000033d: POP 0000033e: POP 0000033f: POP 00000340: PUSH2 0x0d9e 00000343: JUMP 00000344: JUMPDEST 00000345: STOP 00000346: JUMPDEST 00000347: CALLVALUE 00000348: DUP1 00000349: ISZERO 0000034a: PUSH2 0x0352 0000034d: JUMPI 0000034e: PUSH1 0x00 00000350: DUP1 00000351: REVERT 00000352: JUMPDEST 00000353: POP 00000354: PUSH2 0x035b 00000357: PUSH2 0x0ee2 0000035a: JUMP 0000035b: JUMPDEST 0000035c: PUSH1 0x40 0000035e: MLOAD 0000035f: DUP1 00000360: DUP3 00000361: DUP2 00000362: MSTORE 00000363: PUSH1 0x20 00000365: ADD 00000366: SWAP2 00000367: POP 00000368: POP 00000369: PUSH1 0x40 0000036b: MLOAD 0000036c: DUP1 0000036d: SWAP2 0000036e: SUB 0000036f: SWAP1 00000370: RETURN 00000371: JUMPDEST 00000372: CALLVALUE 00000373: DUP1 00000374: ISZERO 00000375: PUSH2 0x037d 00000378: JUMPI 00000379: PUSH1 0x00 0000037b: DUP1 0000037c: REVERT 0000037d: JUMPDEST 0000037e: POP 0000037f: PUSH2 0x0441 00000382: PUSH1 0x04 00000384: DUP1 00000385: CALLDATASIZE 00000386: SUB 00000387: PUSH1 0x40 00000389: DUP2 0000038a: LT 0000038b: ISZERO 0000038c: PUSH2 0x0394 0000038f: JUMPI 00000390: PUSH1 0x00 00000392: DUP1 00000393: REVERT 00000394: JUMPDEST 00000395: DUP2 00000396: ADD 00000397: SWAP1 00000398: DUP1 00000399: DUP1 0000039a: CALLDATALOAD 0000039b: SWAP1 0000039c: PUSH1 0x20 0000039e: ADD 0000039f: SWAP1 000003a0: SWAP3 000003a1: SWAP2 000003a2: SWAP1 000003a3: DUP1 000003a4: CALLDATALOAD 000003a5: SWAP1 000003a6: PUSH1 0x20 000003a8: ADD 000003a9: SWAP1 000003aa: PUSH5 0x0100000000 000003b0: DUP2 000003b1: GT 000003b2: ISZERO 000003b3: PUSH2 0x03bb 000003b6: JUMPI 000003b7: PUSH1 0x00 000003b9: DUP1 000003ba: REVERT 000003bb: JUMPDEST 000003bc: DUP3 000003bd: ADD 000003be: DUP4 000003bf: PUSH1 0x20 000003c1: DUP3 000003c2: ADD 000003c3: GT 000003c4: ISZERO 000003c5: PUSH2 0x03cd 000003c8: JUMPI 000003c9: PUSH1 0x00 000003cb: DUP1 000003cc: REVERT 000003cd: JUMPDEST 000003ce: DUP1 000003cf: CALLDATALOAD 000003d0: SWAP1 000003d1: PUSH1 0x20 000003d3: ADD 000003d4: SWAP2 000003d5: DUP5 000003d6: PUSH1 0x01 000003d8: DUP4 000003d9: MUL 000003da: DUP5 000003db: ADD 000003dc: GT 000003dd: PUSH5 0x0100000000 000003e3: DUP4 000003e4: GT 000003e5: OR 000003e6: ISZERO 000003e7: PUSH2 0x03ef 000003ea: JUMPI 000003eb: PUSH1 0x00 000003ed: DUP1 000003ee: REVERT 000003ef: JUMPDEST 000003f0: SWAP2 000003f1: SWAP1 000003f2: DUP1 000003f3: DUP1 000003f4: PUSH1 0x1f 000003f6: ADD 000003f7: PUSH1 0x20 000003f9: DUP1 000003fa: SWAP2 000003fb: DIV 000003fc: MUL 000003fd: PUSH1 0x20 000003ff: ADD 00000400: PUSH1 0x40 00000402: MLOAD 00000403: SWAP1 00000404: DUP2 00000405: ADD 00000406: PUSH1 0x40 00000408: MSTORE 00000409: DUP1 0000040a: SWAP4 0000040b: SWAP3 0000040c: SWAP2 0000040d: SWAP1 0000040e: DUP2 0000040f: DUP2 00000410: MSTORE 00000411: PUSH1 0x20 00000413: ADD 00000414: DUP4 00000415: DUP4 00000416: DUP1 00000417: DUP3 00000418: DUP5 00000419: CALLDATACOPY 0000041a: PUSH1 0x00 0000041c: DUP2 0000041d: DUP5 0000041e: ADD 0000041f: MSTORE 00000420: PUSH1 0x1f 00000422: NOT 00000423: PUSH1 0x1f 00000425: DUP3 00000426: ADD 00000427: AND 00000428: SWAP1 00000429: POP 0000042a: DUP1 0000042b: DUP4 0000042c: ADD 0000042d: SWAP3 0000042e: POP 0000042f: POP 00000430: POP 00000431: POP 00000432: POP 00000433: POP 00000434: POP 00000435: SWAP2 00000436: SWAP3 00000437: SWAP2 00000438: SWAP3 00000439: SWAP1 0000043a: POP 0000043b: POP 0000043c: POP 0000043d: PUSH2 0x0eed 00000440: JUMP 00000441: JUMPDEST 00000442: STOP 00000443: JUMPDEST 00000444: CALLVALUE 00000445: DUP1 00000446: ISZERO 00000447: PUSH2 0x044f 0000044a: JUMPI 0000044b: PUSH1 0x00 0000044d: DUP1 0000044e: REVERT 0000044f: JUMPDEST 00000450: POP 00000451: PUSH2 0x0458 00000454: PUSH2 0x109d 00000457: JUMP 00000458: JUMPDEST 00000459: PUSH1 0x40 0000045b: MLOAD 0000045c: DUP1 0000045d: DUP3 0000045e: DUP2 0000045f: MSTORE 00000460: PUSH1 0x20 00000462: ADD 00000463: SWAP2 00000464: POP 00000465: POP 00000466: PUSH1 0x40 00000468: MLOAD 00000469: DUP1 0000046a: SWAP2 0000046b: SUB 0000046c: SWAP1 0000046d: RETURN 0000046e: JUMPDEST 0000046f: CALLVALUE 00000470: DUP1 00000471: ISZERO 00000472: PUSH2 0x047a 00000475: JUMPI 00000476: PUSH1 0x00 00000478: DUP1 00000479: REVERT 0000047a: JUMPDEST 0000047b: POP 0000047c: PUSH2 0x0483 0000047f: PUSH2 0x10a3 00000482: JUMP 00000483: JUMPDEST 00000484: PUSH1 0x40 00000486: MLOAD 00000487: DUP1 00000488: DUP3 00000489: DUP2 0000048a: MSTORE 0000048b: PUSH1 0x20 0000048d: ADD 0000048e: SWAP2 0000048f: POP 00000490: POP 00000491: PUSH1 0x40 00000493: MLOAD 00000494: DUP1 00000495: SWAP2 00000496: SUB 00000497: SWAP1 00000498: RETURN 00000499: JUMPDEST 0000049a: CALLVALUE 0000049b: DUP1 0000049c: ISZERO 0000049d: PUSH2 0x04a5 000004a0: JUMPI 000004a1: PUSH1 0x00 000004a3: DUP1 000004a4: REVERT 000004a5: JUMPDEST 000004a6: POP 000004a7: PUSH2 0x0512 000004aa: PUSH1 0x04 000004ac: DUP1 000004ad: CALLDATASIZE 000004ae: SUB 000004af: PUSH1 0x60 000004b1: DUP2 000004b2: LT 000004b3: ISZERO 000004b4: PUSH2 0x04bc 000004b7: JUMPI 000004b8: PUSH1 0x00 000004ba: DUP1 000004bb: REVERT 000004bc: JUMPDEST 000004bd: DUP2 000004be: ADD 000004bf: SWAP1 000004c0: DUP1 000004c1: DUP1 000004c2: CALLDATALOAD 000004c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004d8: AND 000004d9: SWAP1 000004da: PUSH1 0x20 000004dc: ADD 000004dd: SWAP1 000004de: SWAP3 000004df: SWAP2 000004e0: SWAP1 000004e1: DUP1 000004e2: CALLDATALOAD 000004e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004f8: AND 000004f9: SWAP1 000004fa: PUSH1 0x20 000004fc: ADD 000004fd: SWAP1 000004fe: SWAP3 000004ff: SWAP2 00000500: SWAP1 00000501: DUP1 00000502: CALLDATALOAD 00000503: SWAP1 00000504: PUSH1 0x20 00000506: ADD 00000507: SWAP1 00000508: SWAP3 00000509: SWAP2 0000050a: SWAP1 0000050b: POP 0000050c: POP 0000050d: POP 0000050e: PUSH2 0x10b4 00000511: JUMP 00000512: JUMPDEST 00000513: STOP 00000514: JUMPDEST 00000515: CALLVALUE 00000516: DUP1 00000517: ISZERO 00000518: PUSH2 0x0520 0000051b: JUMPI 0000051c: PUSH1 0x00 0000051e: DUP1 0000051f: REVERT 00000520: JUMPDEST 00000521: POP 00000522: PUSH2 0x056d 00000525: PUSH1 0x04 00000527: DUP1 00000528: CALLDATASIZE 00000529: SUB 0000052a: PUSH1 0x40 0000052c: DUP2 0000052d: LT 0000052e: ISZERO 0000052f: PUSH2 0x0537 00000532: JUMPI 00000533: PUSH1 0x00 00000535: DUP1 00000536: REVERT 00000537: JUMPDEST 00000538: DUP2 00000539: ADD 0000053a: SWAP1 0000053b: DUP1 0000053c: DUP1 0000053d: CALLDATALOAD 0000053e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000553: AND 00000554: SWAP1 00000555: PUSH1 0x20 00000557: ADD 00000558: SWAP1 00000559: SWAP3 0000055a: SWAP2 0000055b: SWAP1 0000055c: DUP1 0000055d: CALLDATALOAD 0000055e: SWAP1 0000055f: PUSH1 0x20 00000561: ADD 00000562: SWAP1 00000563: SWAP3 00000564: SWAP2 00000565: SWAP1 00000566: POP 00000567: POP 00000568: POP 00000569: PUSH2 0x112a 0000056c: JUMP 0000056d: JUMPDEST 0000056e: PUSH1 0x40 00000570: MLOAD 00000571: DUP1 00000572: DUP3 00000573: DUP2 00000574: MSTORE 00000575: PUSH1 0x20 00000577: ADD 00000578: SWAP2 00000579: POP 0000057a: POP 0000057b: PUSH1 0x40 0000057d: MLOAD 0000057e: DUP1 0000057f: SWAP2 00000580: SUB 00000581: SWAP1 00000582: RETURN 00000583: JUMPDEST 00000584: CALLVALUE 00000585: DUP1 00000586: ISZERO 00000587: PUSH2 0x058f 0000058a: JUMPI 0000058b: PUSH1 0x00 0000058d: DUP1 0000058e: REVERT 0000058f: JUMPDEST 00000590: POP 00000591: PUSH2 0x0598 00000594: PUSH2 0x1185 00000597: JUMP 00000598: JUMPDEST 00000599: STOP 0000059a: JUMPDEST 0000059b: CALLVALUE 0000059c: DUP1 0000059d: ISZERO 0000059e: PUSH2 0x05a6 000005a1: JUMPI 000005a2: PUSH1 0x00 000005a4: DUP1 000005a5: REVERT 000005a6: JUMPDEST 000005a7: POP 000005a8: PUSH2 0x0613 000005ab: PUSH1 0x04 000005ad: DUP1 000005ae: CALLDATASIZE 000005af: SUB 000005b0: PUSH1 0x60 000005b2: DUP2 000005b3: LT 000005b4: ISZERO 000005b5: PUSH2 0x05bd 000005b8: JUMPI 000005b9: PUSH1 0x00 000005bb: DUP1 000005bc: REVERT 000005bd: JUMPDEST 000005be: DUP2 000005bf: ADD 000005c0: SWAP1 000005c1: DUP1 000005c2: DUP1 000005c3: CALLDATALOAD 000005c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005d9: AND 000005da: SWAP1 000005db: PUSH1 0x20 000005dd: ADD 000005de: SWAP1 000005df: SWAP3 000005e0: SWAP2 000005e1: SWAP1 000005e2: DUP1 000005e3: CALLDATALOAD 000005e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005f9: AND 000005fa: SWAP1 000005fb: PUSH1 0x20 000005fd: ADD 000005fe: SWAP1 000005ff: SWAP3 00000600: SWAP2 00000601: SWAP1 00000602: DUP1 00000603: CALLDATALOAD 00000604: SWAP1 00000605: PUSH1 0x20 00000607: ADD 00000608: SWAP1 00000609: SWAP3 0000060a: SWAP2 0000060b: SWAP1 0000060c: POP 0000060d: POP 0000060e: POP 0000060f: PUSH2 0x1283 00000612: JUMP 00000613: JUMPDEST 00000614: STOP 00000615: JUMPDEST 00000616: CALLVALUE 00000617: DUP1 00000618: ISZERO 00000619: PUSH2 0x0621 0000061c: JUMPI 0000061d: PUSH1 0x00 0000061f: DUP1 00000620: REVERT 00000621: JUMPDEST 00000622: POP 00000623: PUSH2 0x064e 00000626: PUSH1 0x04 00000628: DUP1 00000629: CALLDATASIZE 0000062a: SUB 0000062b: PUSH1 0x20 0000062d: DUP2 0000062e: LT 0000062f: ISZERO 00000630: PUSH2 0x0638 00000633: JUMPI 00000634: PUSH1 0x00 00000636: DUP1 00000637: REVERT 00000638: JUMPDEST 00000639: DUP2 0000063a: ADD 0000063b: SWAP1 0000063c: DUP1 0000063d: DUP1 0000063e: CALLDATALOAD 0000063f: SWAP1 00000640: PUSH1 0x20 00000642: ADD 00000643: SWAP1 00000644: SWAP3 00000645: SWAP2 00000646: SWAP1 00000647: POP 00000648: POP 00000649: POP 0000064a: PUSH2 0x12a3 0000064d: JUMP 0000064e: JUMPDEST 0000064f: PUSH1 0x40 00000651: MLOAD 00000652: DUP1 00000653: DUP3 00000654: DUP2 00000655: MSTORE 00000656: PUSH1 0x20 00000658: ADD 00000659: SWAP2 0000065a: POP 0000065b: POP 0000065c: PUSH1 0x40 0000065e: MLOAD 0000065f: DUP1 00000660: SWAP2 00000661: SUB 00000662: SWAP1 00000663: RETURN 00000664: JUMPDEST 00000665: CALLVALUE 00000666: DUP1 00000667: ISZERO 00000668: PUSH2 0x0670 0000066b: JUMPI 0000066c: PUSH1 0x00 0000066e: DUP1 0000066f: REVERT 00000670: JUMPDEST 00000671: POP 00000672: PUSH2 0x069d 00000675: PUSH1 0x04 00000677: DUP1 00000678: CALLDATASIZE 00000679: SUB 0000067a: PUSH1 0x20 0000067c: DUP2 0000067d: LT 0000067e: ISZERO 0000067f: PUSH2 0x0687 00000682: JUMPI 00000683: PUSH1 0x00 00000685: DUP1 00000686: REVERT 00000687: JUMPDEST 00000688: DUP2 00000689: ADD 0000068a: SWAP1 0000068b: DUP1 0000068c: DUP1 0000068d: CALLDATALOAD 0000068e: SWAP1 0000068f: PUSH1 0x20 00000691: ADD 00000692: SWAP1 00000693: SWAP3 00000694: SWAP2 00000695: SWAP1 00000696: POP 00000697: POP 00000698: POP 00000699: PUSH2 0x12c6 0000069c: JUMP 0000069d: JUMPDEST 0000069e: PUSH1 0x40 000006a0: MLOAD 000006a1: DUP1 000006a2: DUP3 000006a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006b8: AND 000006b9: DUP2 000006ba: MSTORE 000006bb: PUSH1 0x20 000006bd: ADD 000006be: SWAP2 000006bf: POP 000006c0: POP 000006c1: PUSH1 0x40 000006c3: MLOAD 000006c4: DUP1 000006c5: SWAP2 000006c6: SUB 000006c7: SWAP1 000006c8: RETURN 000006c9: JUMPDEST 000006ca: CALLVALUE 000006cb: DUP1 000006cc: ISZERO 000006cd: PUSH2 0x06d5 000006d0: JUMPI 000006d1: PUSH1 0x00 000006d3: DUP1 000006d4: REVERT 000006d5: JUMPDEST 000006d6: POP 000006d7: PUSH2 0x06de 000006da: PUSH2 0x12fd 000006dd: JUMP 000006de: JUMPDEST 000006df: PUSH1 0x40 000006e1: MLOAD 000006e2: DUP1 000006e3: DUP1 000006e4: PUSH1 0x20 000006e6: ADD 000006e7: DUP3 000006e8: DUP2 000006e9: SUB 000006ea: DUP3 000006eb: MSTORE 000006ec: DUP4 000006ed: DUP2 000006ee: DUP2 000006ef: MLOAD 000006f0: DUP2 000006f1: MSTORE 000006f2: PUSH1 0x20 000006f4: ADD 000006f5: SWAP2 000006f6: POP 000006f7: DUP1 000006f8: MLOAD 000006f9: SWAP1 000006fa: PUSH1 0x20 000006fc: ADD 000006fd: SWAP1 000006fe: DUP1 000006ff: DUP4 00000700: DUP4 00000701: PUSH1 0x00 00000703: JUMPDEST 00000704: DUP4 00000705: DUP2 00000706: LT 00000707: ISZERO 00000708: PUSH2 0x071e 0000070b: JUMPI 0000070c: DUP1 0000070d: DUP3 0000070e: ADD 0000070f: MLOAD 00000710: DUP2 00000711: DUP5 00000712: ADD 00000713: MSTORE 00000714: PUSH1 0x20 00000716: DUP2 00000717: ADD 00000718: SWAP1 00000719: POP 0000071a: PUSH2 0x0703 0000071d: JUMP 0000071e: JUMPDEST 0000071f: POP 00000720: POP 00000721: POP 00000722: POP 00000723: SWAP1 00000724: POP 00000725: SWAP1 00000726: DUP2 00000727: ADD 00000728: SWAP1 00000729: PUSH1 0x1f 0000072b: AND 0000072c: DUP1 0000072d: ISZERO 0000072e: PUSH2 0x074b 00000731: JUMPI 00000732: DUP1 00000733: DUP3 00000734: SUB 00000735: DUP1 00000736: MLOAD 00000737: PUSH1 0x01 00000739: DUP4 0000073a: PUSH1 0x20 0000073c: SUB 0000073d: PUSH2 0x0100 00000740: EXP 00000741: SUB 00000742: NOT 00000743: AND 00000744: DUP2 00000745: MSTORE 00000746: PUSH1 0x20 00000748: ADD 00000749: SWAP2 0000074a: POP 0000074b: JUMPDEST 0000074c: POP 0000074d: SWAP3 0000074e: POP 0000074f: POP 00000750: POP 00000751: PUSH1 0x40 00000753: MLOAD 00000754: DUP1 00000755: SWAP2 00000756: SUB 00000757: SWAP1 00000758: RETURN 00000759: JUMPDEST 0000075a: CALLVALUE 0000075b: DUP1 0000075c: ISZERO 0000075d: PUSH2 0x0765 00000760: JUMPI 00000761: PUSH1 0x00 00000763: DUP1 00000764: REVERT 00000765: JUMPDEST 00000766: POP 00000767: PUSH2 0x07a8 0000076a: PUSH1 0x04 0000076c: DUP1 0000076d: CALLDATASIZE 0000076e: SUB 0000076f: PUSH1 0x20 00000771: DUP2 00000772: LT 00000773: ISZERO 00000774: PUSH2 0x077c 00000777: JUMPI 00000778: PUSH1 0x00 0000077a: DUP1 0000077b: REVERT 0000077c: JUMPDEST 0000077d: DUP2 0000077e: ADD 0000077f: SWAP1 00000780: DUP1 00000781: DUP1 00000782: CALLDATALOAD 00000783: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000798: AND 00000799: SWAP1 0000079a: PUSH1 0x20 0000079c: ADD 0000079d: SWAP1 0000079e: SWAP3 0000079f: SWAP2 000007a0: SWAP1 000007a1: POP 000007a2: POP 000007a3: POP 000007a4: PUSH2 0x139f 000007a7: JUMP 000007a8: JUMPDEST 000007a9: PUSH1 0x40 000007ab: MLOAD 000007ac: DUP1 000007ad: DUP3 000007ae: DUP2 000007af: MSTORE 000007b0: PUSH1 0x20 000007b2: ADD 000007b3: SWAP2 000007b4: POP 000007b5: POP 000007b6: PUSH1 0x40 000007b8: MLOAD 000007b9: DUP1 000007ba: SWAP2 000007bb: SUB 000007bc: SWAP1 000007bd: RETURN 000007be: JUMPDEST 000007bf: CALLVALUE 000007c0: DUP1 000007c1: ISZERO 000007c2: PUSH2 0x07ca 000007c5: JUMPI 000007c6: PUSH1 0x00 000007c8: DUP1 000007c9: REVERT 000007ca: JUMPDEST 000007cb: POP 000007cc: PUSH2 0x07d3 000007cf: PUSH2 0x1474 000007d2: JUMP 000007d3: JUMPDEST 000007d4: STOP 000007d5: JUMPDEST 000007d6: CALLVALUE 000007d7: DUP1 000007d8: ISZERO 000007d9: PUSH2 0x07e1 000007dc: JUMPI 000007dd: PUSH1 0x00 000007df: DUP1 000007e0: REVERT 000007e1: JUMPDEST 000007e2: POP 000007e3: PUSH2 0x07ea 000007e6: PUSH2 0x15e4 000007e9: JUMP 000007ea: JUMPDEST 000007eb: PUSH1 0x40 000007ed: MLOAD 000007ee: DUP1 000007ef: DUP3 000007f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000805: AND 00000806: DUP2 00000807: MSTORE 00000808: PUSH1 0x20 0000080a: ADD 0000080b: SWAP2 0000080c: POP 0000080d: POP 0000080e: PUSH1 0x40 00000810: MLOAD 00000811: DUP1 00000812: SWAP2 00000813: SUB 00000814: SWAP1 00000815: RETURN 00000816: JUMPDEST 00000817: CALLVALUE 00000818: DUP1 00000819: ISZERO 0000081a: PUSH2 0x0822 0000081d: JUMPI 0000081e: PUSH1 0x00 00000820: DUP1 00000821: REVERT 00000822: JUMPDEST 00000823: POP 00000824: PUSH2 0x082b 00000827: PUSH2 0x160e 0000082a: JUMP 0000082b: JUMPDEST 0000082c: PUSH1 0x40 0000082e: MLOAD 0000082f: DUP1 00000830: DUP1 00000831: PUSH1 0x20 00000833: ADD 00000834: DUP3 00000835: DUP2 00000836: SUB 00000837: DUP3 00000838: MSTORE 00000839: DUP4 0000083a: DUP2 0000083b: DUP2 0000083c: MLOAD 0000083d: DUP2 0000083e: MSTORE 0000083f: PUSH1 0x20 00000841: ADD 00000842: SWAP2 00000843: POP 00000844: DUP1 00000845: MLOAD 00000846: SWAP1 00000847: PUSH1 0x20 00000849: ADD 0000084a: SWAP1 0000084b: DUP1 0000084c: DUP4 0000084d: DUP4 0000084e: PUSH1 0x00 00000850: JUMPDEST 00000851: DUP4 00000852: DUP2 00000853: LT 00000854: ISZERO 00000855: PUSH2 0x086b 00000858: JUMPI 00000859: DUP1 0000085a: DUP3 0000085b: ADD 0000085c: MLOAD 0000085d: DUP2 0000085e: DUP5 0000085f: ADD 00000860: MSTORE 00000861: PUSH1 0x20 00000863: DUP2 00000864: ADD 00000865: SWAP1 00000866: POP 00000867: PUSH2 0x0850 0000086a: JUMP 0000086b: JUMPDEST 0000086c: POP 0000086d: POP 0000086e: POP 0000086f: POP 00000870: SWAP1 00000871: POP 00000872: SWAP1 00000873: DUP2 00000874: ADD 00000875: SWAP1 00000876: PUSH1 0x1f 00000878: AND 00000879: DUP1 0000087a: ISZERO 0000087b: PUSH2 0x0898 0000087e: JUMPI 0000087f: DUP1 00000880: DUP3 00000881: SUB 00000882: DUP1 00000883: MLOAD 00000884: PUSH1 0x01 00000886: DUP4 00000887: PUSH1 0x20 00000889: SUB 0000088a: PUSH2 0x0100 0000088d: EXP 0000088e: SUB 0000088f: NOT 00000890: AND 00000891: DUP2 00000892: MSTORE 00000893: PUSH1 0x20 00000895: ADD 00000896: SWAP2 00000897: POP 00000898: JUMPDEST 00000899: POP 0000089a: SWAP3 0000089b: POP 0000089c: POP 0000089d: POP 0000089e: PUSH1 0x40 000008a0: MLOAD 000008a1: DUP1 000008a2: SWAP2 000008a3: SUB 000008a4: SWAP1 000008a5: RETURN 000008a6: JUMPDEST 000008a7: CALLVALUE 000008a8: DUP1 000008a9: ISZERO 000008aa: PUSH2 0x08b2 000008ad: JUMPI 000008ae: PUSH1 0x00 000008b0: DUP1 000008b1: REVERT 000008b2: JUMPDEST 000008b3: POP 000008b4: PUSH2 0x0901 000008b7: PUSH1 0x04 000008b9: DUP1 000008ba: CALLDATASIZE 000008bb: SUB 000008bc: PUSH1 0x40 000008be: DUP2 000008bf: LT 000008c0: ISZERO 000008c1: PUSH2 0x08c9 000008c4: JUMPI 000008c5: PUSH1 0x00 000008c7: DUP1 000008c8: REVERT 000008c9: JUMPDEST 000008ca: DUP2 000008cb: ADD 000008cc: SWAP1 000008cd: DUP1 000008ce: DUP1 000008cf: CALLDATALOAD 000008d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008e5: AND 000008e6: SWAP1 000008e7: PUSH1 0x20 000008e9: ADD 000008ea: SWAP1 000008eb: SWAP3 000008ec: SWAP2 000008ed: SWAP1 000008ee: DUP1 000008ef: CALLDATALOAD 000008f0: ISZERO 000008f1: ISZERO 000008f2: SWAP1 000008f3: PUSH1 0x20 000008f5: ADD 000008f6: SWAP1 000008f7: SWAP3 000008f8: SWAP2 000008f9: SWAP1 000008fa: POP 000008fb: POP 000008fc: POP 000008fd: PUSH2 0x16b0 00000900: JUMP 00000901: JUMPDEST 00000902: STOP 00000903: JUMPDEST 00000904: CALLVALUE 00000905: DUP1 00000906: ISZERO 00000907: PUSH2 0x090f 0000090a: JUMPI 0000090b: PUSH1 0x00 0000090d: DUP1 0000090e: REVERT 0000090f: JUMPDEST 00000910: POP 00000911: PUSH2 0x0918 00000914: PUSH2 0x1866 00000917: JUMP 00000918: JUMPDEST 00000919: PUSH1 0x40 0000091b: MLOAD 0000091c: DUP1 0000091d: DUP3 0000091e: DUP2 0000091f: MSTORE 00000920: PUSH1 0x20 00000922: ADD 00000923: SWAP2 00000924: POP 00000925: POP 00000926: PUSH1 0x40 00000928: MLOAD 00000929: DUP1 0000092a: SWAP2 0000092b: SUB 0000092c: SWAP1 0000092d: RETURN 0000092e: JUMPDEST 0000092f: PUSH2 0x095a 00000932: PUSH1 0x04 00000934: DUP1 00000935: CALLDATASIZE 00000936: SUB 00000937: PUSH1 0x20 00000939: DUP2 0000093a: LT 0000093b: ISZERO 0000093c: PUSH2 0x0944 0000093f: JUMPI 00000940: PUSH1 0x00 00000942: DUP1 00000943: REVERT 00000944: JUMPDEST 00000945: DUP2 00000946: ADD 00000947: SWAP1 00000948: DUP1 00000949: DUP1 0000094a: CALLDATALOAD 0000094b: SWAP1 0000094c: PUSH1 0x20 0000094e: ADD 0000094f: SWAP1 00000950: SWAP3 00000951: SWAP2 00000952: SWAP1 00000953: POP 00000954: POP 00000955: POP 00000956: PUSH2 0x186b 00000959: JUMP 0000095a: JUMPDEST 0000095b: STOP 0000095c: JUMPDEST 0000095d: CALLVALUE 0000095e: DUP1 0000095f: ISZERO 00000960: PUSH2 0x0968 00000963: JUMPI 00000964: PUSH1 0x00 00000966: DUP1 00000967: REVERT 00000968: JUMPDEST 00000969: POP 0000096a: PUSH2 0x0a6c 0000096d: PUSH1 0x04 0000096f: DUP1 00000970: CALLDATASIZE 00000971: SUB 00000972: PUSH1 0x80 00000974: DUP2 00000975: LT 00000976: ISZERO 00000977: PUSH2 0x097f 0000097a: JUMPI 0000097b: PUSH1 0x00 0000097d: DUP1 0000097e: REVERT 0000097f: JUMPDEST 00000980: DUP2 00000981: ADD 00000982: SWAP1 00000983: DUP1 00000984: DUP1 00000985: CALLDATALOAD 00000986: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000099b: AND 0000099c: SWAP1 0000099d: PUSH1 0x20 0000099f: ADD 000009a0: SWAP1 000009a1: SWAP3 000009a2: SWAP2 000009a3: SWAP1 000009a4: DUP1 000009a5: CALLDATALOAD 000009a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009bb: AND 000009bc: SWAP1 000009bd: PUSH1 0x20 000009bf: ADD 000009c0: SWAP1 000009c1: SWAP3 000009c2: SWAP2 000009c3: SWAP1 000009c4: DUP1 000009c5: CALLDATALOAD 000009c6: SWAP1 000009c7: PUSH1 0x20 000009c9: ADD 000009ca: SWAP1 000009cb: SWAP3 000009cc: SWAP2 000009cd: SWAP1 000009ce: DUP1 000009cf: CALLDATALOAD 000009d0: SWAP1 000009d1: PUSH1 0x20 000009d3: ADD 000009d4: SWAP1 000009d5: PUSH5 0x0100000000 000009db: DUP2 000009dc: GT 000009dd: ISZERO 000009de: PUSH2 0x09e6 000009e1: JUMPI 000009e2: PUSH1 0x00 000009e4: DUP1 000009e5: REVERT 000009e6: JUMPDEST 000009e7: DUP3 000009e8: ADD 000009e9: DUP4 000009ea: PUSH1 0x20 000009ec: DUP3 000009ed: ADD 000009ee: GT 000009ef: ISZERO 000009f0: PUSH2 0x09f8 000009f3: JUMPI 000009f4: PUSH1 0x00 000009f6: DUP1 000009f7: REVERT 000009f8: JUMPDEST 000009f9: DUP1 000009fa: CALLDATALOAD 000009fb: SWAP1 000009fc: PUSH1 0x20 000009fe: ADD 000009ff: SWAP2 00000a00: DUP5 00000a01: PUSH1 0x01 00000a03: DUP4 00000a04: MUL 00000a05: DUP5 00000a06: ADD 00000a07: GT 00000a08: PUSH5 0x0100000000 00000a0e: DUP4 00000a0f: GT 00000a10: OR 00000a11: ISZERO 00000a12: PUSH2 0x0a1a 00000a15: JUMPI 00000a16: PUSH1 0x00 00000a18: DUP1 00000a19: REVERT 00000a1a: JUMPDEST 00000a1b: SWAP2 00000a1c: SWAP1 00000a1d: DUP1 00000a1e: DUP1 00000a1f: PUSH1 0x1f 00000a21: ADD 00000a22: PUSH1 0x20 00000a24: DUP1 00000a25: SWAP2 00000a26: DIV 00000a27: MUL 00000a28: PUSH1 0x20 00000a2a: ADD 00000a2b: PUSH1 0x40 00000a2d: MLOAD 00000a2e: SWAP1 00000a2f: DUP2 00000a30: ADD 00000a31: PUSH1 0x40 00000a33: MSTORE 00000a34: DUP1 00000a35: SWAP4 00000a36: SWAP3 00000a37: SWAP2 00000a38: SWAP1 00000a39: DUP2 00000a3a: DUP2 00000a3b: MSTORE 00000a3c: PUSH1 0x20 00000a3e: ADD 00000a3f: DUP4 00000a40: DUP4 00000a41: DUP1 00000a42: DUP3 00000a43: DUP5 00000a44: CALLDATACOPY 00000a45: PUSH1 0x00 00000a47: DUP2 00000a48: DUP5 00000a49: ADD 00000a4a: MSTORE 00000a4b: PUSH1 0x1f 00000a4d: NOT 00000a4e: PUSH1 0x1f 00000a50: DUP3 00000a51: ADD 00000a52: AND 00000a53: SWAP1 00000a54: POP 00000a55: DUP1 00000a56: DUP4 00000a57: ADD 00000a58: SWAP3 00000a59: POP 00000a5a: POP 00000a5b: POP 00000a5c: POP 00000a5d: POP 00000a5e: POP 00000a5f: POP 00000a60: SWAP2 00000a61: SWAP3 00000a62: SWAP2 00000a63: SWAP3 00000a64: SWAP1 00000a65: POP 00000a66: POP 00000a67: POP 00000a68: PUSH2 0x1a0d 00000a6b: JUMP 00000a6c: JUMPDEST 00000a6d: STOP 00000a6e: JUMPDEST 00000a6f: CALLVALUE 00000a70: DUP1 00000a71: ISZERO 00000a72: PUSH2 0x0a7a 00000a75: JUMPI 00000a76: PUSH1 0x00 00000a78: DUP1 00000a79: REVERT 00000a7a: JUMPDEST 00000a7b: POP 00000a7c: PUSH2 0x0aa7 00000a7f: PUSH1 0x04 00000a81: DUP1 00000a82: CALLDATASIZE 00000a83: SUB 00000a84: PUSH1 0x20 00000a86: DUP2 00000a87: LT 00000a88: ISZERO 00000a89: PUSH2 0x0a91 00000a8c: JUMPI 00000a8d: PUSH1 0x00 00000a8f: DUP1 00000a90: REVERT 00000a91: JUMPDEST 00000a92: DUP2 00000a93: ADD 00000a94: SWAP1 00000a95: DUP1 00000a96: DUP1 00000a97: CALLDATALOAD 00000a98: SWAP1 00000a99: PUSH1 0x20 00000a9b: ADD 00000a9c: SWAP1 00000a9d: SWAP3 00000a9e: SWAP2 00000a9f: SWAP1 00000aa0: POP 00000aa1: POP 00000aa2: POP 00000aa3: PUSH2 0x1a85 00000aa6: JUMP 00000aa7: JUMPDEST 00000aa8: PUSH1 0x40 00000aaa: MLOAD 00000aab: DUP1 00000aac: DUP1 00000aad: PUSH1 0x20 00000aaf: ADD 00000ab0: DUP3 00000ab1: DUP2 00000ab2: SUB 00000ab3: DUP3 00000ab4: MSTORE 00000ab5: DUP4 00000ab6: DUP2 00000ab7: DUP2 00000ab8: MLOAD 00000ab9: DUP2 00000aba: MSTORE 00000abb: PUSH1 0x20 00000abd: ADD 00000abe: SWAP2 00000abf: POP 00000ac0: DUP1 00000ac1: MLOAD 00000ac2: SWAP1 00000ac3: PUSH1 0x20 00000ac5: ADD 00000ac6: SWAP1 00000ac7: DUP1 00000ac8: DUP4 00000ac9: DUP4 00000aca: PUSH1 0x00 00000acc: JUMPDEST 00000acd: DUP4 00000ace: DUP2 00000acf: LT 00000ad0: ISZERO 00000ad1: PUSH2 0x0ae7 00000ad4: JUMPI 00000ad5: DUP1 00000ad6: DUP3 00000ad7: ADD 00000ad8: MLOAD 00000ad9: DUP2 00000ada: DUP5 00000adb: ADD 00000adc: MSTORE 00000add: PUSH1 0x20 00000adf: DUP2 00000ae0: ADD 00000ae1: SWAP1 00000ae2: POP 00000ae3: PUSH2 0x0acc 00000ae6: JUMP 00000ae7: JUMPDEST 00000ae8: POP 00000ae9: POP 00000aea: POP 00000aeb: POP 00000aec: SWAP1 00000aed: POP 00000aee: SWAP1 00000aef: DUP2 00000af0: ADD 00000af1: SWAP1 00000af2: PUSH1 0x1f 00000af4: AND 00000af5: DUP1 00000af6: ISZERO 00000af7: PUSH2 0x0b14 00000afa: JUMPI 00000afb: DUP1 00000afc: DUP3 00000afd: SUB 00000afe: DUP1 00000aff: MLOAD 00000b00: PUSH1 0x01 00000b02: DUP4 00000b03: PUSH1 0x20 00000b05: SUB 00000b06: PUSH2 0x0100 00000b09: EXP 00000b0a: SUB 00000b0b: NOT 00000b0c: AND 00000b0d: DUP2 00000b0e: MSTORE 00000b0f: PUSH1 0x20 00000b11: ADD 00000b12: SWAP2 00000b13: POP 00000b14: JUMPDEST 00000b15: POP 00000b16: SWAP3 00000b17: POP 00000b18: POP 00000b19: POP 00000b1a: PUSH1 0x40 00000b1c: MLOAD 00000b1d: DUP1 00000b1e: SWAP2 00000b1f: SUB 00000b20: SWAP1 00000b21: RETURN 00000b22: JUMPDEST 00000b23: CALLVALUE 00000b24: DUP1 00000b25: ISZERO 00000b26: PUSH2 0x0b2e 00000b29: JUMPI 00000b2a: PUSH1 0x00 00000b2c: DUP1 00000b2d: REVERT 00000b2e: JUMPDEST 00000b2f: POP 00000b30: PUSH2 0x0b91 00000b33: PUSH1 0x04 00000b35: DUP1 00000b36: CALLDATASIZE 00000b37: SUB 00000b38: PUSH1 0x40 00000b3a: DUP2 00000b3b: LT 00000b3c: ISZERO 00000b3d: PUSH2 0x0b45 00000b40: JUMPI 00000b41: PUSH1 0x00 00000b43: DUP1 00000b44: REVERT 00000b45: JUMPDEST 00000b46: DUP2 00000b47: ADD 00000b48: SWAP1 00000b49: DUP1 00000b4a: DUP1 00000b4b: CALLDATALOAD 00000b4c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b61: AND 00000b62: SWAP1 00000b63: PUSH1 0x20 00000b65: ADD 00000b66: SWAP1 00000b67: SWAP3 00000b68: SWAP2 00000b69: SWAP1 00000b6a: DUP1 00000b6b: CALLDATALOAD 00000b6c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b81: AND 00000b82: SWAP1 00000b83: PUSH1 0x20 00000b85: ADD 00000b86: SWAP1 00000b87: SWAP3 00000b88: SWAP2 00000b89: SWAP1 00000b8a: POP 00000b8b: POP 00000b8c: POP 00000b8d: PUSH2 0x1d56 00000b90: JUMP 00000b91: JUMPDEST 00000b92: PUSH1 0x40 00000b94: MLOAD 00000b95: DUP1 00000b96: DUP3 00000b97: ISZERO 00000b98: ISZERO 00000b99: DUP2 00000b9a: MSTORE 00000b9b: PUSH1 0x20 00000b9d: ADD 00000b9e: SWAP2 00000b9f: POP 00000ba0: POP 00000ba1: PUSH1 0x40 00000ba3: MLOAD 00000ba4: DUP1 00000ba5: SWAP2 00000ba6: SUB 00000ba7: SWAP1 00000ba8: RETURN 00000ba9: JUMPDEST 00000baa: CALLVALUE 00000bab: DUP1 00000bac: ISZERO 00000bad: PUSH2 0x0bb5 00000bb0: JUMPI 00000bb1: PUSH1 0x00 00000bb3: DUP1 00000bb4: REVERT 00000bb5: JUMPDEST 00000bb6: POP 00000bb7: PUSH2 0x0bf8 00000bba: PUSH1 0x04 00000bbc: DUP1 00000bbd: CALLDATASIZE 00000bbe: SUB 00000bbf: PUSH1 0x20 00000bc1: DUP2 00000bc2: LT 00000bc3: ISZERO 00000bc4: PUSH2 0x0bcc 00000bc7: JUMPI 00000bc8: PUSH1 0x00 00000bca: DUP1 00000bcb: REVERT 00000bcc: JUMPDEST 00000bcd: DUP2 00000bce: ADD 00000bcf: SWAP1 00000bd0: DUP1 00000bd1: DUP1 00000bd2: CALLDATALOAD 00000bd3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000be8: AND 00000be9: SWAP1 00000bea: PUSH1 0x20 00000bec: ADD 00000bed: SWAP1 00000bee: SWAP3 00000bef: SWAP2 00000bf0: SWAP1 00000bf1: POP 00000bf2: POP 00000bf3: POP 00000bf4: PUSH2 0x1dea 00000bf7: JUMP 00000bf8: JUMPDEST 00000bf9: STOP 00000bfa: JUMPDEST 00000bfb: PUSH1 0x00 00000bfd: DUP1 00000bfe: PUSH1 0x00 00000c00: DUP4 00000c01: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000c1e: NOT 00000c1f: AND 00000c20: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000c3d: NOT 00000c3e: AND 00000c3f: DUP2 00000c40: MSTORE 00000c41: PUSH1 0x20 00000c43: ADD 00000c44: SWAP1 00000c45: DUP2 00000c46: MSTORE 00000c47: PUSH1 0x20 00000c49: ADD 00000c4a: PUSH1 0x00 00000c4c: KECCAK256 00000c4d: PUSH1 0x00 00000c4f: SWAP1 00000c50: SLOAD 00000c51: SWAP1 00000c52: PUSH2 0x0100 00000c55: EXP 00000c56: SWAP1 00000c57: DIV 00000c58: PUSH1 0xff 00000c5a: AND 00000c5b: SWAP1 00000c5c: POP 00000c5d: SWAP2 00000c5e: SWAP1 00000c5f: POP 00000c60: JUMP 00000c61: JUMPDEST 00000c62: PUSH1 0x60 00000c64: PUSH1 0x06 00000c66: DUP1 00000c67: SLOAD 00000c68: PUSH1 0x01 00000c6a: DUP2 00000c6b: PUSH1 0x01 00000c6d: AND 00000c6e: ISZERO 00000c6f: PUSH2 0x0100 00000c72: MUL 00000c73: SUB 00000c74: AND 00000c75: PUSH1 0x02 00000c77: SWAP1 00000c78: DIV 00000c79: DUP1 00000c7a: PUSH1 0x1f 00000c7c: ADD 00000c7d: PUSH1 0x20 00000c7f: DUP1 00000c80: SWAP2 00000c81: DIV 00000c82: MUL 00000c83: PUSH1 0x20 00000c85: ADD 00000c86: PUSH1 0x40 00000c88: MLOAD 00000c89: SWAP1 00000c8a: DUP2 00000c8b: ADD 00000c8c: PUSH1 0x40 00000c8e: MSTORE 00000c8f: DUP1 00000c90: SWAP3 00000c91: SWAP2 00000c92: SWAP1 00000c93: DUP2 00000c94: DUP2 00000c95: MSTORE 00000c96: PUSH1 0x20 00000c98: ADD 00000c99: DUP3 00000c9a: DUP1 00000c9b: SLOAD 00000c9c: PUSH1 0x01 00000c9e: DUP2 00000c9f: PUSH1 0x01 00000ca1: AND 00000ca2: ISZERO 00000ca3: PUSH2 0x0100 00000ca6: MUL 00000ca7: SUB 00000ca8: AND 00000ca9: PUSH1 0x02 00000cab: SWAP1 00000cac: DIV 00000cad: DUP1 00000cae: ISZERO 00000caf: PUSH2 0x0cf9 00000cb2: JUMPI 00000cb3: DUP1 00000cb4: PUSH1 0x1f 00000cb6: LT 00000cb7: PUSH2 0x0cce 00000cba: JUMPI 00000cbb: PUSH2 0x0100 00000cbe: DUP1 00000cbf: DUP4 00000cc0: SLOAD 00000cc1: DIV 00000cc2: MUL 00000cc3: DUP4 00000cc4: MSTORE 00000cc5: SWAP2 00000cc6: PUSH1 0x20 00000cc8: ADD 00000cc9: SWAP2 00000cca: PUSH2 0x0cf9 00000ccd: JUMP 00000cce: JUMPDEST 00000ccf: DUP3 00000cd0: ADD 00000cd1: SWAP2 00000cd2: SWAP1 00000cd3: PUSH1 0x00 00000cd5: MSTORE 00000cd6: PUSH1 0x20 00000cd8: PUSH1 0x00 00000cda: KECCAK256 00000cdb: SWAP1 00000cdc: JUMPDEST 00000cdd: DUP2 00000cde: SLOAD 00000cdf: DUP2 00000ce0: MSTORE 00000ce1: SWAP1 00000ce2: PUSH1 0x01 00000ce4: ADD 00000ce5: SWAP1 00000ce6: PUSH1 0x20 00000ce8: ADD 00000ce9: DUP1 00000cea: DUP4 00000ceb: GT 00000cec: PUSH2 0x0cdc 00000cef: JUMPI 00000cf0: DUP3 00000cf1: SWAP1 00000cf2: SUB 00000cf3: PUSH1 0x1f 00000cf5: AND 00000cf6: DUP3 00000cf7: ADD 00000cf8: SWAP2 00000cf9: JUMPDEST 00000cfa: POP 00000cfb: POP 00000cfc: POP 00000cfd: POP 00000cfe: POP 00000cff: SWAP1 00000d00: POP 00000d01: SWAP1 00000d02: JUMP 00000d03: JUMPDEST 00000d04: PUSH1 0x00 00000d06: PUSH2 0x0d0e 00000d09: DUP3 00000d0a: PUSH2 0x1fdf 00000d0d: JUMP 00000d0e: JUMPDEST 00000d0f: PUSH2 0x0d63 00000d12: JUMPI 00000d13: PUSH1 0x40 00000d15: MLOAD 00000d16: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000d37: DUP2 00000d38: MSTORE 00000d39: PUSH1 0x04 00000d3b: ADD 00000d3c: DUP1 00000d3d: DUP1 00000d3e: PUSH1 0x20 00000d40: ADD 00000d41: DUP3 00000d42: DUP2 00000d43: SUB 00000d44: DUP3 00000d45: MSTORE 00000d46: PUSH1 0x2c 00000d48: DUP2 00000d49: MSTORE 00000d4a: PUSH1 0x20 00000d4c: ADD 00000d4d: DUP1 00000d4e: PUSH2 0x36f0 00000d51: PUSH1 0x2c 00000d53: SWAP2 00000d54: CODECOPY 00000d55: PUSH1 0x40 00000d57: ADD 00000d58: SWAP2 00000d59: POP 00000d5a: POP 00000d5b: PUSH1 0x40 00000d5d: MLOAD 00000d5e: DUP1 00000d5f: SWAP2 00000d60: SUB 00000d61: SWAP1 00000d62: REVERT 00000d63: JUMPDEST 00000d64: PUSH1 0x04 00000d66: PUSH1 0x00 00000d68: DUP4 00000d69: DUP2 00000d6a: MSTORE 00000d6b: PUSH1 0x20 00000d6d: ADD 00000d6e: SWAP1 00000d6f: DUP2 00000d70: MSTORE 00000d71: PUSH1 0x20 00000d73: ADD 00000d74: PUSH1 0x00 00000d76: KECCAK256 00000d77: PUSH1 0x00 00000d79: SWAP1 00000d7a: SLOAD 00000d7b: SWAP1 00000d7c: PUSH2 0x0100 00000d7f: EXP 00000d80: SWAP1 00000d81: DIV 00000d82: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d97: AND 00000d98: SWAP1 00000d99: POP 00000d9a: SWAP2 00000d9b: SWAP1 00000d9c: POP 00000d9d: JUMP 00000d9e: JUMPDEST 00000d9f: PUSH1 0x00 00000da1: PUSH2 0x0da9 00000da4: DUP3 00000da5: PUSH2 0x12c6 00000da8: JUMP 00000da9: JUMPDEST 00000daa: SWAP1 00000dab: POP 00000dac: DUP1 00000dad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dc2: AND 00000dc3: DUP4 00000dc4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dd9: AND 00000dda: EQ 00000ddb: ISZERO 00000ddc: PUSH2 0x0e30 00000ddf: JUMPI 00000de0: PUSH1 0x40 00000de2: MLOAD 00000de3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000e04: DUP2 00000e05: MSTORE 00000e06: PUSH1 0x04 00000e08: ADD 00000e09: DUP1 00000e0a: DUP1 00000e0b: PUSH1 0x20 00000e0d: ADD 00000e0e: DUP3 00000e0f: DUP2 00000e10: SUB 00000e11: DUP3 00000e12: MSTORE 00000e13: PUSH1 0x21 00000e15: DUP2 00000e16: MSTORE 00000e17: PUSH1 0x20 00000e19: ADD 00000e1a: DUP1 00000e1b: PUSH2 0x37a0 00000e1e: PUSH1 0x21 00000e20: SWAP2 00000e21: CODECOPY 00000e22: PUSH1 0x40 00000e24: ADD 00000e25: SWAP2 00000e26: POP 00000e27: POP 00000e28: PUSH1 0x40 00000e2a: MLOAD 00000e2b: DUP1 00000e2c: SWAP2 00000e2d: SUB 00000e2e: SWAP1 00000e2f: REVERT 00000e30: JUMPDEST 00000e31: DUP1 00000e32: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e47: AND 00000e48: PUSH2 0x0e4f 00000e4b: PUSH2 0x1ffc 00000e4e: JUMP 00000e4f: JUMPDEST 00000e50: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e65: AND 00000e66: EQ 00000e67: DUP1 00000e68: PUSH2 0x0e7e 00000e6b: JUMPI 00000e6c: POP 00000e6d: PUSH2 0x0e7d 00000e70: DUP2 00000e71: PUSH2 0x0e78 00000e74: PUSH2 0x1ffc 00000e77: JUMP 00000e78: JUMPDEST 00000e79: PUSH2 0x1d56 00000e7c: JUMP 00000e7d: JUMPDEST 00000e7e: JUMPDEST 00000e7f: PUSH2 0x0ed3 00000e82: JUMPI 00000e83: PUSH1 0x40 00000e85: MLOAD 00000e86: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000ea7: DUP2 00000ea8: MSTORE 00000ea9: PUSH1 0x04 00000eab: ADD 00000eac: DUP1 00000ead: DUP1 00000eae: PUSH1 0x20 00000eb0: ADD 00000eb1: DUP3 00000eb2: DUP2 00000eb3: SUB 00000eb4: DUP3 00000eb5: MSTORE 00000eb6: PUSH1 0x38 00000eb8: DUP2 00000eb9: MSTORE 00000eba: PUSH1 0x20 00000ebc: ADD 00000ebd: DUP1 00000ebe: PUSH2 0x3622 00000ec1: PUSH1 0x38 00000ec3: SWAP2 00000ec4: CODECOPY 00000ec5: PUSH1 0x40 00000ec7: ADD 00000ec8: SWAP2 00000ec9: POP 00000eca: POP 00000ecb: PUSH1 0x40 00000ecd: MLOAD 00000ece: DUP1 00000ecf: SWAP2 00000ed0: SUB 00000ed1: SWAP1 00000ed2: REVERT 00000ed3: JUMPDEST 00000ed4: PUSH2 0x0edd 00000ed7: DUP4 00000ed8: DUP4 00000ed9: PUSH2 0x2004 00000edc: JUMP 00000edd: JUMPDEST 00000ede: POP 00000edf: POP 00000ee0: POP 00000ee1: JUMP 00000ee2: JUMPDEST 00000ee3: PUSH7 0xf8b0a10e470000 00000eeb: DUP2 00000eec: JUMP 00000eed: JUMPDEST 00000eee: PUSH2 0x0ef5 00000ef1: PUSH2 0x1ffc 00000ef4: JUMP 00000ef5: JUMPDEST 00000ef6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f0b: AND 00000f0c: PUSH2 0x0f13 00000f0f: PUSH2 0x15e4 00000f12: JUMP 00000f13: JUMPDEST 00000f14: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f29: AND 00000f2a: EQ 00000f2b: PUSH2 0x0f9c 00000f2e: JUMPI 00000f2f: PUSH1 0x40 00000f31: MLOAD 00000f32: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000f53: DUP2 00000f54: MSTORE 00000f55: PUSH1 0x04 00000f57: ADD 00000f58: DUP1 00000f59: DUP1 00000f5a: PUSH1 0x20 00000f5c: ADD 00000f5d: DUP3 00000f5e: DUP2 00000f5f: SUB 00000f60: DUP3 00000f61: MSTORE 00000f62: PUSH1 0x20 00000f64: DUP2 00000f65: MSTORE 00000f66: PUSH1 0x20 00000f68: ADD 00000f69: DUP1 00000f6a: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000f8b: DUP2 00000f8c: MSTORE 00000f8d: POP 00000f8e: PUSH1 0x20 00000f90: ADD 00000f91: SWAP2 00000f92: POP 00000f93: POP 00000f94: PUSH1 0x40 00000f96: MLOAD 00000f97: DUP1 00000f98: SWAP2 00000f99: SUB 00000f9a: SWAP1 00000f9b: REVERT 00000f9c: JUMPDEST 00000f9d: PUSH2 0x0fa5 00000fa0: DUP3 00000fa1: PUSH2 0x1fdf 00000fa4: JUMP 00000fa5: JUMPDEST 00000fa6: PUSH2 0x1017 00000fa9: JUMPI 00000faa: PUSH1 0x40 00000fac: MLOAD 00000fad: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000fce: DUP2 00000fcf: MSTORE 00000fd0: PUSH1 0x04 00000fd2: ADD 00000fd3: DUP1 00000fd4: DUP1 00000fd5: PUSH1 0x20 00000fd7: ADD 00000fd8: DUP3 00000fd9: DUP2 00000fda: SUB 00000fdb: DUP3 00000fdc: MSTORE 00000fdd: PUSH1 0x14 00000fdf: DUP2 00000fe0: MSTORE 00000fe1: PUSH1 0x20 00000fe3: ADD 00000fe4: DUP1 00000fe5: PUSH32 0x546f6b656e20646f6573206e6f74206578697374000000000000000000000000 00001006: DUP2 00001007: MSTORE 00001008: POP 00001009: PUSH1 0x20 0000100b: ADD 0000100c: SWAP2 0000100d: POP 0000100e: POP 0000100f: PUSH1 0x40 00001011: MLOAD 00001012: DUP1 00001013: SWAP2 00001014: SUB 00001015: SWAP1 00001016: REVERT 00001017: JUMPDEST 00001018: PUSH1 0x00 0000101a: DUP2 0000101b: MLOAD 0000101c: EQ 0000101d: ISZERO 0000101e: PUSH2 0x108f 00001021: JUMPI 00001022: PUSH1 0x40 00001024: MLOAD 00001025: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001046: DUP2 00001047: MSTORE 00001048: PUSH1 0x04 0000104a: ADD 0000104b: DUP1 0000104c: DUP1 0000104d: PUSH1 0x20 0000104f: ADD 00001050: DUP3 00001051: DUP2 00001052: SUB 00001053: DUP3 00001054: MSTORE 00001055: PUSH1 0x17 00001057: DUP2 00001058: MSTORE 00001059: PUSH1 0x20 0000105b: ADD 0000105c: DUP1 0000105d: PUSH32 0x43616e6e6f742073657420616e20656d70747920555249000000000000000000 0000107e: DUP2 0000107f: MSTORE 00001080: POP 00001081: PUSH1 0x20 00001083: ADD 00001084: SWAP2 00001085: POP 00001086: POP 00001087: PUSH1 0x40 00001089: MLOAD 0000108a: DUP1 0000108b: SWAP2 0000108c: SUB 0000108d: SWAP1 0000108e: REVERT 0000108f: JUMPDEST 00001090: PUSH2 0x1099 00001093: DUP3 00001094: DUP3 00001095: PUSH2 0x20bd 00001098: JUMP 00001099: JUMPDEST 0000109a: POP 0000109b: POP 0000109c: JUMP 0000109d: JUMPDEST 0000109e: PUSH1 0x0b 000010a0: SLOAD 000010a1: DUP2 000010a2: JUMP 000010a3: JUMPDEST 000010a4: PUSH1 0x00 000010a6: PUSH2 0x10af 000010a9: PUSH1 0x02 000010ab: PUSH2 0x2147 000010ae: JUMP 000010af: JUMPDEST 000010b0: SWAP1 000010b1: POP 000010b2: SWAP1 000010b3: JUMP 000010b4: JUMPDEST 000010b5: PUSH2 0x10c5 000010b8: PUSH2 0x10bf 000010bb: PUSH2 0x1ffc 000010be: JUMP 000010bf: JUMPDEST 000010c0: DUP3 000010c1: PUSH2 0x215c 000010c4: JUMP 000010c5: JUMPDEST 000010c6: PUSH2 0x111a 000010c9: JUMPI 000010ca: PUSH1 0x40 000010cc: MLOAD 000010cd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000010ee: DUP2 000010ef: MSTORE 000010f0: PUSH1 0x04 000010f2: ADD 000010f3: DUP1 000010f4: DUP1 000010f5: PUSH1 0x20 000010f7: ADD 000010f8: DUP3 000010f9: DUP2 000010fa: SUB 000010fb: DUP3 000010fc: MSTORE 000010fd: PUSH1 0x31 000010ff: DUP2 00001100: MSTORE 00001101: PUSH1 0x20 00001103: ADD 00001104: DUP1 00001105: PUSH2 0x37c1 00001108: PUSH1 0x31 0000110a: SWAP2 0000110b: CODECOPY 0000110c: PUSH1 0x40 0000110e: ADD 0000110f: SWAP2 00001110: POP 00001111: POP 00001112: PUSH1 0x40 00001114: MLOAD 00001115: DUP1 00001116: SWAP2 00001117: SUB 00001118: SWAP1 00001119: REVERT 0000111a: JUMPDEST 0000111b: PUSH2 0x1125 0000111e: DUP4 0000111f: DUP4 00001120: DUP4 00001121: PUSH2 0x2250 00001124: JUMP 00001125: JUMPDEST 00001126: POP 00001127: POP 00001128: POP 00001129: JUMP 0000112a: JUMPDEST 0000112b: PUSH1 0x00 0000112d: PUSH2 0x117d 00001130: DUP3 00001131: PUSH1 0x01 00001133: PUSH1 0x00 00001135: DUP7 00001136: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000114b: AND 0000114c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001161: AND 00001162: DUP2 00001163: MSTORE 00001164: PUSH1 0x20 00001166: ADD 00001167: SWAP1 00001168: DUP2 00001169: MSTORE 0000116a: PUSH1 0x20 0000116c: ADD 0000116d: PUSH1 0x00 0000116f: KECCAK256 00001170: PUSH2 0x2493 00001173: SWAP1 00001174: SWAP2 00001175: SWAP1 00001176: PUSH4 0xffffffff 0000117b: AND 0000117c: JUMP 0000117d: JUMPDEST 0000117e: SWAP1 0000117f: POP 00001180: SWAP3 00001181: SWAP2 00001182: POP 00001183: POP 00001184: JUMP 00001185: JUMPDEST 00001186: PUSH2 0x118d 00001189: PUSH2 0x1ffc 0000118c: JUMP 0000118d: JUMPDEST 0000118e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011a3: AND 000011a4: PUSH2 0x11ab 000011a7: PUSH2 0x15e4 000011aa: JUMP 000011ab: JUMPDEST 000011ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011c1: AND 000011c2: EQ 000011c3: PUSH2 0x1234 000011c6: JUMPI 000011c7: PUSH1 0x40 000011c9: MLOAD 000011ca: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000011eb: DUP2 000011ec: MSTORE 000011ed: PUSH1 0x04 000011ef: ADD 000011f0: DUP1 000011f1: DUP1 000011f2: PUSH1 0x20 000011f4: ADD 000011f5: DUP3 000011f6: DUP2 000011f7: SUB 000011f8: DUP3 000011f9: MSTORE 000011fa: PUSH1 0x20 000011fc: DUP2 000011fd: MSTORE 000011fe: PUSH1 0x20 00001200: ADD 00001201: DUP1 00001202: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00001223: DUP2 00001224: MSTORE 00001225: POP 00001226: PUSH1 0x20 00001228: ADD 00001229: SWAP2 0000122a: POP 0000122b: POP 0000122c: PUSH1 0x40 0000122e: MLOAD 0000122f: DUP1 00001230: SWAP2 00001231: SUB 00001232: SWAP1 00001233: REVERT 00001234: JUMPDEST 00001235: PUSH1 0x00 00001237: SELFBALANCE 00001238: SWAP1 00001239: POP 0000123a: CALLER 0000123b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001250: AND 00001251: PUSH2 0x08fc 00001254: DUP3 00001255: SWAP1 00001256: DUP2 00001257: ISZERO 00001258: MUL 00001259: SWAP1 0000125a: PUSH1 0x40 0000125c: MLOAD 0000125d: PUSH1 0x00 0000125f: PUSH1 0x40 00001261: MLOAD 00001262: DUP1 00001263: DUP4 00001264: SUB 00001265: DUP2 00001266: DUP6 00001267: DUP9 00001268: DUP9 00001269: CALL 0000126a: SWAP4 0000126b: POP 0000126c: POP 0000126d: POP 0000126e: POP 0000126f: ISZERO 00001270: DUP1 00001271: ISZERO 00001272: PUSH2 0x127f 00001275: JUMPI 00001276: RETURNDATASIZE 00001277: PUSH1 0x00 00001279: DUP1 0000127a: RETURNDATACOPY 0000127b: RETURNDATASIZE 0000127c: PUSH1 0x00 0000127e: REVERT 0000127f: JUMPDEST 00001280: POP 00001281: POP 00001282: JUMP 00001283: JUMPDEST 00001284: PUSH2 0x129e 00001287: DUP4 00001288: DUP4 00001289: DUP4 0000128a: PUSH1 0x40 0000128c: MLOAD 0000128d: DUP1 0000128e: PUSH1 0x20 00001290: ADD 00001291: PUSH1 0x40 00001293: MSTORE 00001294: DUP1 00001295: PUSH1 0x00 00001297: DUP2 00001298: MSTORE 00001299: POP 0000129a: PUSH2 0x1a0d 0000129d: JUMP 0000129e: JUMPDEST 0000129f: POP 000012a0: POP 000012a1: POP 000012a2: JUMP 000012a3: JUMPDEST 000012a4: PUSH1 0x00 000012a6: DUP1 000012a7: PUSH2 0x12ba 000012aa: DUP4 000012ab: PUSH1 0x02 000012ad: PUSH2 0x24ad 000012b0: SWAP1 000012b1: SWAP2 000012b2: SWAP1 000012b3: PUSH4 0xffffffff 000012b8: AND 000012b9: JUMP 000012ba: JUMPDEST 000012bb: POP 000012bc: SWAP1 000012bd: POP 000012be: DUP1 000012bf: SWAP2 000012c0: POP 000012c1: POP 000012c2: SWAP2 000012c3: SWAP1 000012c4: POP 000012c5: JUMP 000012c6: JUMPDEST 000012c7: PUSH1 0x00 000012c9: PUSH2 0x12f6 000012cc: DUP3 000012cd: PUSH1 0x40 000012cf: MLOAD 000012d0: DUP1 000012d1: PUSH1 0x60 000012d3: ADD 000012d4: PUSH1 0x40 000012d6: MSTORE 000012d7: DUP1 000012d8: PUSH1 0x29 000012da: DUP2 000012db: MSTORE 000012dc: PUSH1 0x20 000012de: ADD 000012df: PUSH2 0x3684 000012e2: PUSH1 0x29 000012e4: SWAP2 000012e5: CODECOPY 000012e6: PUSH1 0x02 000012e8: PUSH2 0x24d9 000012eb: SWAP1 000012ec: SWAP3 000012ed: SWAP2 000012ee: SWAP1 000012ef: PUSH4 0xffffffff 000012f4: AND 000012f5: JUMP 000012f6: JUMPDEST 000012f7: SWAP1 000012f8: POP 000012f9: SWAP2 000012fa: SWAP1 000012fb: POP 000012fc: JUMP 000012fd: JUMPDEST 000012fe: PUSH1 0x60 00001300: PUSH1 0x09 00001302: DUP1 00001303: SLOAD 00001304: PUSH1 0x01 00001306: DUP2 00001307: PUSH1 0x01 00001309: AND 0000130a: ISZERO 0000130b: PUSH2 0x0100 0000130e: MUL 0000130f: SUB 00001310: AND 00001311: PUSH1 0x02 00001313: SWAP1 00001314: DIV 00001315: DUP1 00001316: PUSH1 0x1f 00001318: ADD 00001319: PUSH1 0x20 0000131b: DUP1 0000131c: SWAP2 0000131d: DIV 0000131e: MUL 0000131f: PUSH1 0x20 00001321: ADD 00001322: PUSH1 0x40 00001324: MLOAD 00001325: SWAP1 00001326: DUP2 00001327: ADD 00001328: PUSH1 0x40 0000132a: MSTORE 0000132b: DUP1 0000132c: SWAP3 0000132d: SWAP2 0000132e: SWAP1 0000132f: DUP2 00001330: DUP2 00001331: MSTORE 00001332: PUSH1 0x20 00001334: ADD 00001335: DUP3 00001336: DUP1 00001337: SLOAD 00001338: PUSH1 0x01 0000133a: DUP2 0000133b: PUSH1 0x01 0000133d: AND 0000133e: ISZERO 0000133f: PUSH2 0x0100 00001342: MUL 00001343: SUB 00001344: AND 00001345: PUSH1 0x02 00001347: SWAP1 00001348: DIV 00001349: DUP1 0000134a: ISZERO 0000134b: PUSH2 0x1395 0000134e: JUMPI 0000134f: DUP1 00001350: PUSH1 0x1f 00001352: LT 00001353: PUSH2 0x136a 00001356: JUMPI 00001357: PUSH2 0x0100 0000135a: DUP1 0000135b: DUP4 0000135c: SLOAD 0000135d: DIV 0000135e: MUL 0000135f: DUP4 00001360: MSTORE 00001361: SWAP2 00001362: PUSH1 0x20 00001364: ADD 00001365: SWAP2 00001366: PUSH2 0x1395 00001369: JUMP 0000136a: JUMPDEST 0000136b: DUP3 0000136c: ADD 0000136d: SWAP2 0000136e: SWAP1 0000136f: PUSH1 0x00 00001371: MSTORE 00001372: PUSH1 0x20 00001374: PUSH1 0x00 00001376: KECCAK256 00001377: SWAP1 00001378: JUMPDEST 00001379: DUP2 0000137a: SLOAD 0000137b: DUP2 0000137c: MSTORE 0000137d: SWAP1 0000137e: PUSH1 0x01 00001380: ADD 00001381: SWAP1 00001382: PUSH1 0x20 00001384: ADD 00001385: DUP1 00001386: DUP4 00001387: GT 00001388: PUSH2 0x1378 0000138b: JUMPI 0000138c: DUP3 0000138d: SWAP1 0000138e: SUB 0000138f: PUSH1 0x1f 00001391: AND 00001392: DUP3 00001393: ADD 00001394: SWAP2 00001395: JUMPDEST 00001396: POP 00001397: POP 00001398: POP 00001399: POP 0000139a: POP 0000139b: SWAP1 0000139c: POP 0000139d: SWAP1 0000139e: JUMP 0000139f: JUMPDEST 000013a0: PUSH1 0x00 000013a2: DUP1 000013a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013b8: AND 000013b9: DUP3 000013ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013cf: AND 000013d0: EQ 000013d1: ISZERO 000013d2: PUSH2 0x1426 000013d5: JUMPI 000013d6: PUSH1 0x40 000013d8: MLOAD 000013d9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000013fa: DUP2 000013fb: MSTORE 000013fc: PUSH1 0x04 000013fe: ADD 000013ff: DUP1 00001400: DUP1 00001401: PUSH1 0x20 00001403: ADD 00001404: DUP3 00001405: DUP2 00001406: SUB 00001407: DUP3 00001408: MSTORE 00001409: PUSH1 0x2a 0000140b: DUP2 0000140c: MSTORE 0000140d: PUSH1 0x20 0000140f: ADD 00001410: DUP1 00001411: PUSH2 0x365a 00001414: PUSH1 0x2a 00001416: SWAP2 00001417: CODECOPY 00001418: PUSH1 0x40 0000141a: ADD 0000141b: SWAP2 0000141c: POP 0000141d: POP 0000141e: PUSH1 0x40 00001420: MLOAD 00001421: DUP1 00001422: SWAP2 00001423: SUB 00001424: SWAP1 00001425: REVERT 00001426: JUMPDEST 00001427: PUSH2 0x146d 0000142a: PUSH1 0x01 0000142c: PUSH1 0x00 0000142e: DUP5 0000142f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001444: AND 00001445: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000145a: AND 0000145b: DUP2 0000145c: MSTORE 0000145d: PUSH1 0x20 0000145f: ADD 00001460: SWAP1 00001461: DUP2 00001462: MSTORE 00001463: PUSH1 0x20 00001465: ADD 00001466: PUSH1 0x00 00001468: KECCAK256 00001469: PUSH2 0x24f8 0000146c: JUMP 0000146d: JUMPDEST 0000146e: SWAP1 0000146f: POP 00001470: SWAP2 00001471: SWAP1 00001472: POP 00001473: JUMP 00001474: JUMPDEST 00001475: PUSH2 0x147c 00001478: PUSH2 0x1ffc 0000147b: JUMP 0000147c: JUMPDEST 0000147d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001492: AND 00001493: PUSH2 0x149a 00001496: PUSH2 0x15e4 00001499: JUMP 0000149a: JUMPDEST 0000149b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014b0: AND 000014b1: EQ 000014b2: PUSH2 0x1523 000014b5: JUMPI 000014b6: PUSH1 0x40 000014b8: MLOAD 000014b9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000014da: DUP2 000014db: MSTORE 000014dc: PUSH1 0x04 000014de: ADD 000014df: DUP1 000014e0: DUP1 000014e1: PUSH1 0x20 000014e3: ADD 000014e4: DUP3 000014e5: DUP2 000014e6: SUB 000014e7: DUP3 000014e8: MSTORE 000014e9: PUSH1 0x20 000014eb: DUP2 000014ec: MSTORE 000014ed: PUSH1 0x20 000014ef: ADD 000014f0: DUP1 000014f1: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00001512: DUP2 00001513: MSTORE 00001514: POP 00001515: PUSH1 0x20 00001517: ADD 00001518: SWAP2 00001519: POP 0000151a: POP 0000151b: PUSH1 0x40 0000151d: MLOAD 0000151e: DUP1 0000151f: SWAP2 00001520: SUB 00001521: SWAP1 00001522: REVERT 00001523: JUMPDEST 00001524: PUSH1 0x00 00001526: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000153b: AND 0000153c: PUSH1 0x0a 0000153e: PUSH1 0x00 00001540: SWAP1 00001541: SLOAD 00001542: SWAP1 00001543: PUSH2 0x0100 00001546: EXP 00001547: SWAP1 00001548: DIV 00001549: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000155e: AND 0000155f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001574: AND 00001575: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00001596: PUSH1 0x40 00001598: MLOAD 00001599: PUSH1 0x40 0000159b: MLOAD 0000159c: DUP1 0000159d: SWAP2 0000159e: SUB 0000159f: SWAP1 000015a0: LOG3 000015a1: PUSH1 0x00 000015a3: PUSH1 0x0a 000015a5: PUSH1 0x00 000015a7: PUSH2 0x0100 000015aa: EXP 000015ab: DUP2 000015ac: SLOAD 000015ad: DUP2 000015ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015c3: MUL 000015c4: NOT 000015c5: AND 000015c6: SWAP1 000015c7: DUP4 000015c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015dd: AND 000015de: MUL 000015df: OR 000015e0: SWAP1 000015e1: SSTORE 000015e2: POP 000015e3: JUMP 000015e4: JUMPDEST 000015e5: PUSH1 0x00 000015e7: PUSH1 0x0a 000015e9: PUSH1 0x00 000015eb: SWAP1 000015ec: SLOAD 000015ed: SWAP1 000015ee: PUSH2 0x0100 000015f1: EXP 000015f2: SWAP1 000015f3: DIV 000015f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001609: AND 0000160a: SWAP1 0000160b: POP 0000160c: SWAP1 0000160d: JUMP 0000160e: JUMPDEST 0000160f: PUSH1 0x60 00001611: PUSH1 0x07 00001613: DUP1 00001614: SLOAD 00001615: PUSH1 0x01 00001617: DUP2 00001618: PUSH1 0x01 0000161a: AND 0000161b: ISZERO 0000161c: PUSH2 0x0100 0000161f: MUL 00001620: SUB 00001621: AND 00001622: PUSH1 0x02 00001624: SWAP1 00001625: DIV 00001626: DUP1 00001627: PUSH1 0x1f 00001629: ADD 0000162a: PUSH1 0x20 0000162c: DUP1 0000162d: SWAP2 0000162e: DIV 0000162f: MUL 00001630: PUSH1 0x20 00001632: ADD 00001633: PUSH1 0x40 00001635: MLOAD 00001636: SWAP1 00001637: DUP2 00001638: ADD 00001639: PUSH1 0x40 0000163b: MSTORE 0000163c: DUP1 0000163d: SWAP3 0000163e: SWAP2 0000163f: SWAP1 00001640: DUP2 00001641: DUP2 00001642: MSTORE 00001643: PUSH1 0x20 00001645: ADD 00001646: DUP3 00001647: DUP1 00001648: SLOAD 00001649: PUSH1 0x01 0000164b: DUP2 0000164c: PUSH1 0x01 0000164e: AND 0000164f: ISZERO 00001650: PUSH2 0x0100 00001653: MUL 00001654: SUB 00001655: AND 00001656: PUSH1 0x02 00001658: SWAP1 00001659: DIV 0000165a: DUP1 0000165b: ISZERO 0000165c: PUSH2 0x16a6 0000165f: JUMPI 00001660: DUP1 00001661: PUSH1 0x1f 00001663: LT 00001664: PUSH2 0x167b 00001667: JUMPI 00001668: PUSH2 0x0100 0000166b: DUP1 0000166c: DUP4 0000166d: SLOAD 0000166e: DIV 0000166f: MUL 00001670: DUP4 00001671: MSTORE 00001672: SWAP2 00001673: PUSH1 0x20 00001675: ADD 00001676: SWAP2 00001677: PUSH2 0x16a6 0000167a: JUMP 0000167b: JUMPDEST 0000167c: DUP3 0000167d: ADD 0000167e: SWAP2 0000167f: SWAP1 00001680: PUSH1 0x00 00001682: MSTORE 00001683: PUSH1 0x20 00001685: PUSH1 0x00 00001687: KECCAK256 00001688: SWAP1 00001689: JUMPDEST 0000168a: DUP2 0000168b: SLOAD 0000168c: DUP2 0000168d: MSTORE 0000168e: SWAP1 0000168f: PUSH1 0x01 00001691: ADD 00001692: SWAP1 00001693: PUSH1 0x20 00001695: ADD 00001696: DUP1 00001697: DUP4 00001698: GT 00001699: PUSH2 0x1689 0000169c: JUMPI 0000169d: DUP3 0000169e: SWAP1 0000169f: SUB 000016a0: PUSH1 0x1f 000016a2: AND 000016a3: DUP3 000016a4: ADD 000016a5: SWAP2 000016a6: JUMPDEST 000016a7: POP 000016a8: POP 000016a9: POP 000016aa: POP 000016ab: POP 000016ac: SWAP1 000016ad: POP 000016ae: SWAP1 000016af: JUMP 000016b0: JUMPDEST 000016b1: PUSH2 0x16b8 000016b4: PUSH2 0x1ffc 000016b7: JUMP 000016b8: JUMPDEST 000016b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016ce: AND 000016cf: DUP3 000016d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016e5: AND 000016e6: EQ 000016e7: ISZERO 000016e8: PUSH2 0x1759 000016eb: JUMPI 000016ec: PUSH1 0x40 000016ee: MLOAD 000016ef: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001710: DUP2 00001711: MSTORE 00001712: PUSH1 0x04 00001714: ADD 00001715: DUP1 00001716: DUP1 00001717: PUSH1 0x20 00001719: ADD 0000171a: DUP3 0000171b: DUP2 0000171c: SUB 0000171d: DUP3 0000171e: MSTORE 0000171f: PUSH1 0x19 00001721: DUP2 00001722: MSTORE 00001723: PUSH1 0x20 00001725: ADD 00001726: DUP1 00001727: PUSH32 0x4552433732313a20617070726f766520746f2063616c6c657200000000000000 00001748: DUP2 00001749: MSTORE 0000174a: POP 0000174b: PUSH1 0x20 0000174d: ADD 0000174e: SWAP2 0000174f: POP 00001750: POP 00001751: PUSH1 0x40 00001753: MLOAD 00001754: DUP1 00001755: SWAP2 00001756: SUB 00001757: SWAP1 00001758: REVERT 00001759: JUMPDEST 0000175a: DUP1 0000175b: PUSH1 0x05 0000175d: PUSH1 0x00 0000175f: PUSH2 0x1766 00001762: PUSH2 0x1ffc 00001765: JUMP 00001766: JUMPDEST 00001767: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000177c: AND 0000177d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001792: AND 00001793: DUP2 00001794: MSTORE 00001795: PUSH1 0x20 00001797: ADD 00001798: SWAP1 00001799: DUP2 0000179a: MSTORE 0000179b: PUSH1 0x20 0000179d: ADD 0000179e: PUSH1 0x00 000017a0: KECCAK256 000017a1: PUSH1 0x00 000017a3: DUP5 000017a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017b9: AND 000017ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017cf: AND 000017d0: DUP2 000017d1: MSTORE 000017d2: PUSH1 0x20 000017d4: ADD 000017d5: SWAP1 000017d6: DUP2 000017d7: MSTORE 000017d8: PUSH1 0x20 000017da: ADD 000017db: PUSH1 0x00 000017dd: KECCAK256 000017de: PUSH1 0x00 000017e0: PUSH2 0x0100 000017e3: EXP 000017e4: DUP2 000017e5: SLOAD 000017e6: DUP2 000017e7: PUSH1 0xff 000017e9: MUL 000017ea: NOT 000017eb: AND 000017ec: SWAP1 000017ed: DUP4 000017ee: ISZERO 000017ef: ISZERO 000017f0: MUL 000017f1: OR 000017f2: SWAP1 000017f3: SSTORE 000017f4: POP 000017f5: DUP2 000017f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000180b: AND 0000180c: PUSH2 0x1813 0000180f: PUSH2 0x1ffc 00001812: JUMP 00001813: JUMPDEST 00001814: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001829: AND 0000182a: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31 0000184b: DUP4 0000184c: PUSH1 0x40 0000184e: MLOAD 0000184f: DUP1 00001850: DUP3 00001851: ISZERO 00001852: ISZERO 00001853: DUP2 00001854: MSTORE 00001855: PUSH1 0x20 00001857: ADD 00001858: SWAP2 00001859: POP 0000185a: POP 0000185b: PUSH1 0x40 0000185d: MLOAD 0000185e: DUP1 0000185f: SWAP2 00001860: SUB 00001861: SWAP1 00001862: LOG3 00001863: POP 00001864: POP 00001865: JUMP 00001866: JUMPDEST 00001867: PUSH1 0x1e 00001869: DUP2 0000186a: JUMP 0000186b: JUMPDEST 0000186c: PUSH1 0x1e 0000186e: DUP2 0000186f: GT 00001870: ISZERO 00001871: PUSH2 0x18c5 00001874: JUMPI 00001875: PUSH1 0x40 00001877: MLOAD 00001878: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001899: DUP2 0000189a: MSTORE 0000189b: PUSH1 0x04 0000189d: ADD 0000189e: DUP1 0000189f: DUP1 000018a0: PUSH1 0x20 000018a2: ADD 000018a3: DUP3 000018a4: DUP2 000018a5: SUB 000018a6: DUP3 000018a7: MSTORE 000018a8: PUSH1 0x21 000018aa: DUP2 000018ab: MSTORE 000018ac: PUSH1 0x20 000018ae: ADD 000018af: DUP1 000018b0: PUSH2 0x3601 000018b3: PUSH1 0x21 000018b5: SWAP2 000018b6: CODECOPY 000018b7: PUSH1 0x40 000018b9: ADD 000018ba: SWAP2 000018bb: POP 000018bc: POP 000018bd: PUSH1 0x40 000018bf: MLOAD 000018c0: DUP1 000018c1: SWAP2 000018c2: SUB 000018c3: SWAP1 000018c4: REVERT 000018c5: JUMPDEST 000018c6: PUSH1 0x0b 000018c8: SLOAD 000018c9: PUSH2 0x18e2 000018cc: DUP3 000018cd: PUSH2 0x18d4 000018d0: PUSH2 0x10a3 000018d3: JUMP 000018d4: JUMPDEST 000018d5: PUSH2 0x250d 000018d8: SWAP1 000018d9: SWAP2 000018da: SWAP1 000018db: PUSH4 0xffffffff 000018e0: AND 000018e1: JUMP 000018e2: JUMPDEST 000018e3: GT 000018e4: ISZERO 000018e5: PUSH2 0x1939 000018e8: JUMPI 000018e9: PUSH1 0x40 000018eb: MLOAD 000018ec: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000190d: DUP2 0000190e: MSTORE 0000190f: PUSH1 0x04 00001911: ADD 00001912: DUP1 00001913: DUP1 00001914: PUSH1 0x20 00001916: ADD 00001917: DUP3 00001918: DUP2 00001919: SUB 0000191a: DUP3 0000191b: MSTORE 0000191c: PUSH1 0x2d 0000191e: DUP2 0000191f: MSTORE 00001920: PUSH1 0x20 00001922: ADD 00001923: DUP1 00001924: PUSH2 0x355e 00001927: PUSH1 0x2d 00001929: SWAP2 0000192a: CODECOPY 0000192b: PUSH1 0x40 0000192d: ADD 0000192e: SWAP2 0000192f: POP 00001930: POP 00001931: PUSH1 0x40 00001933: MLOAD 00001934: DUP1 00001935: SWAP2 00001936: SUB 00001937: SWAP1 00001938: REVERT 00001939: JUMPDEST 0000193a: CALLVALUE 0000193b: PUSH2 0x1954 0000193e: DUP3 0000193f: PUSH7 0xf8b0a10e470000 00001947: PUSH2 0x2595 0000194a: SWAP1 0000194b: SWAP2 0000194c: SWAP1 0000194d: PUSH4 0xffffffff 00001952: AND 00001953: JUMP 00001954: JUMPDEST 00001955: GT 00001956: ISZERO 00001957: PUSH2 0x19c8 0000195a: JUMPI 0000195b: PUSH1 0x40 0000195d: MLOAD 0000195e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000197f: DUP2 00001980: MSTORE 00001981: PUSH1 0x04 00001983: ADD 00001984: DUP1 00001985: DUP1 00001986: PUSH1 0x20 00001988: ADD 00001989: DUP3 0000198a: DUP2 0000198b: SUB 0000198c: DUP3 0000198d: MSTORE 0000198e: PUSH1 0x1f 00001990: DUP2 00001991: MSTORE 00001992: PUSH1 0x20 00001994: ADD 00001995: DUP1 00001996: PUSH32 0x45746865722076616c75652073656e74206973206e6f7420636f727265637400 000019b7: DUP2 000019b8: MSTORE 000019b9: POP 000019ba: PUSH1 0x20 000019bc: ADD 000019bd: SWAP2 000019be: POP 000019bf: POP 000019c0: PUSH1 0x40 000019c2: MLOAD 000019c3: DUP1 000019c4: SWAP2 000019c5: SUB 000019c6: SWAP1 000019c7: REVERT 000019c8: JUMPDEST 000019c9: PUSH1 0x00 000019cb: JUMPDEST 000019cc: DUP2 000019cd: DUP2 000019ce: LT 000019cf: ISZERO 000019d0: PUSH2 0x1a09 000019d3: JUMPI 000019d4: PUSH1 0x00 000019d6: PUSH2 0x19dd 000019d9: PUSH2 0x10a3 000019dc: JUMP 000019dd: JUMPDEST 000019de: SWAP1 000019df: POP 000019e0: PUSH1 0x0b 000019e2: SLOAD 000019e3: PUSH2 0x19ea 000019e6: PUSH2 0x10a3 000019e9: JUMP 000019ea: JUMPDEST 000019eb: LT 000019ec: ISZERO 000019ed: PUSH2 0x19fb 000019f0: JUMPI 000019f1: PUSH2 0x19fa 000019f4: CALLER 000019f5: DUP3 000019f6: PUSH2 0x261b 000019f9: JUMP 000019fa: JUMPDEST 000019fb: JUMPDEST 000019fc: POP 000019fd: DUP1 000019fe: DUP1 000019ff: PUSH1 0x01 00001a01: ADD 00001a02: SWAP2 00001a03: POP 00001a04: POP 00001a05: PUSH2 0x19cb 00001a08: JUMP 00001a09: JUMPDEST 00001a0a: POP 00001a0b: POP 00001a0c: JUMP 00001a0d: JUMPDEST 00001a0e: PUSH2 0x1a1e 00001a11: PUSH2 0x1a18 00001a14: PUSH2 0x1ffc 00001a17: JUMP 00001a18: JUMPDEST 00001a19: DUP4 00001a1a: PUSH2 0x215c 00001a1d: JUMP 00001a1e: JUMPDEST 00001a1f: PUSH2 0x1a73 00001a22: JUMPI 00001a23: PUSH1 0x40 00001a25: MLOAD 00001a26: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001a47: DUP2 00001a48: MSTORE 00001a49: PUSH1 0x04 00001a4b: ADD 00001a4c: DUP1 00001a4d: DUP1 00001a4e: PUSH1 0x20 00001a50: ADD 00001a51: DUP3 00001a52: DUP2 00001a53: SUB 00001a54: DUP3 00001a55: MSTORE 00001a56: PUSH1 0x31 00001a58: DUP2 00001a59: MSTORE 00001a5a: PUSH1 0x20 00001a5c: ADD 00001a5d: DUP1 00001a5e: PUSH2 0x37c1 00001a61: PUSH1 0x31 00001a63: SWAP2 00001a64: CODECOPY 00001a65: PUSH1 0x40 00001a67: ADD 00001a68: SWAP2 00001a69: POP 00001a6a: POP 00001a6b: PUSH1 0x40 00001a6d: MLOAD 00001a6e: DUP1 00001a6f: SWAP2 00001a70: SUB 00001a71: SWAP1 00001a72: REVERT 00001a73: JUMPDEST 00001a74: PUSH2 0x1a7f 00001a77: DUP5 00001a78: DUP5 00001a79: DUP5 00001a7a: DUP5 00001a7b: PUSH2 0x2639 00001a7e: JUMP 00001a7f: JUMPDEST 00001a80: POP 00001a81: POP 00001a82: POP 00001a83: POP 00001a84: JUMP 00001a85: JUMPDEST 00001a86: PUSH1 0x60 00001a88: PUSH2 0x1a90 00001a8b: DUP3 00001a8c: PUSH2 0x1fdf 00001a8f: JUMP 00001a90: JUMPDEST 00001a91: PUSH2 0x1ae5 00001a94: JUMPI 00001a95: PUSH1 0x40 00001a97: MLOAD 00001a98: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001ab9: DUP2 00001aba: MSTORE 00001abb: PUSH1 0x04 00001abd: ADD 00001abe: DUP1 00001abf: DUP1 00001ac0: PUSH1 0x20 00001ac2: ADD 00001ac3: DUP3 00001ac4: DUP2 00001ac5: SUB 00001ac6: DUP3 00001ac7: MSTORE 00001ac8: PUSH1 0x2f 00001aca: DUP2 00001acb: MSTORE 00001acc: PUSH1 0x20 00001ace: ADD 00001acf: DUP1 00001ad0: PUSH2 0x3771 00001ad3: PUSH1 0x2f 00001ad5: SWAP2 00001ad6: CODECOPY 00001ad7: PUSH1 0x40 00001ad9: ADD 00001ada: SWAP2 00001adb: POP 00001adc: POP 00001add: PUSH1 0x40 00001adf: MLOAD 00001ae0: DUP1 00001ae1: SWAP2 00001ae2: SUB 00001ae3: SWAP1 00001ae4: REVERT 00001ae5: JUMPDEST 00001ae6: PUSH1 0x60 00001ae8: PUSH1 0x08 00001aea: PUSH1 0x00 00001aec: DUP5 00001aed: DUP2 00001aee: MSTORE 00001aef: PUSH1 0x20 00001af1: ADD 00001af2: SWAP1 00001af3: DUP2 00001af4: MSTORE 00001af5: PUSH1 0x20 00001af7: ADD 00001af8: PUSH1 0x00 00001afa: KECCAK256 00001afb: DUP1 00001afc: SLOAD 00001afd: PUSH1 0x01 00001aff: DUP2 00001b00: PUSH1 0x01 00001b02: AND 00001b03: ISZERO 00001b04: PUSH2 0x0100 00001b07: MUL 00001b08: SUB 00001b09: AND 00001b0a: PUSH1 0x02 00001b0c: SWAP1 00001b0d: DIV 00001b0e: DUP1 00001b0f: PUSH1 0x1f 00001b11: ADD 00001b12: PUSH1 0x20 00001b14: DUP1 00001b15: SWAP2 00001b16: DIV 00001b17: MUL 00001b18: PUSH1 0x20 00001b1a: ADD 00001b1b: PUSH1 0x40 00001b1d: MLOAD 00001b1e: SWAP1 00001b1f: DUP2 00001b20: ADD 00001b21: PUSH1 0x40 00001b23: MSTORE 00001b24: DUP1 00001b25: SWAP3 00001b26: SWAP2 00001b27: SWAP1 00001b28: DUP2 00001b29: DUP2 00001b2a: MSTORE 00001b2b: PUSH1 0x20 00001b2d: ADD 00001b2e: DUP3 00001b2f: DUP1 00001b30: SLOAD 00001b31: PUSH1 0x01 00001b33: DUP2 00001b34: PUSH1 0x01 00001b36: AND 00001b37: ISZERO 00001b38: PUSH2 0x0100 00001b3b: MUL 00001b3c: SUB 00001b3d: AND 00001b3e: PUSH1 0x02 00001b40: SWAP1 00001b41: DIV 00001b42: DUP1 00001b43: ISZERO 00001b44: PUSH2 0x1b8e 00001b47: JUMPI 00001b48: DUP1 00001b49: PUSH1 0x1f 00001b4b: LT 00001b4c: PUSH2 0x1b63 00001b4f: JUMPI 00001b50: PUSH2 0x0100 00001b53: DUP1 00001b54: DUP4 00001b55: SLOAD 00001b56: DIV 00001b57: MUL 00001b58: DUP4 00001b59: MSTORE 00001b5a: SWAP2 00001b5b: PUSH1 0x20 00001b5d: ADD 00001b5e: SWAP2 00001b5f: PUSH2 0x1b8e 00001b62: JUMP 00001b63: JUMPDEST 00001b64: DUP3 00001b65: ADD 00001b66: SWAP2 00001b67: SWAP1 00001b68: PUSH1 0x00 00001b6a: MSTORE 00001b6b: PUSH1 0x20 00001b6d: PUSH1 0x00 00001b6f: KECCAK256 00001b70: SWAP1 00001b71: JUMPDEST 00001b72: DUP2 00001b73: SLOAD 00001b74: DUP2 00001b75: MSTORE 00001b76: SWAP1 00001b77: PUSH1 0x01 00001b79: ADD 00001b7a: SWAP1 00001b7b: PUSH1 0x20 00001b7d: ADD 00001b7e: DUP1 00001b7f: DUP4 00001b80: GT 00001b81: PUSH2 0x1b71 00001b84: JUMPI 00001b85: DUP3 00001b86: SWAP1 00001b87: SUB 00001b88: PUSH1 0x1f 00001b8a: AND 00001b8b: DUP3 00001b8c: ADD 00001b8d: SWAP2 00001b8e: JUMPDEST 00001b8f: POP 00001b90: POP 00001b91: POP 00001b92: POP 00001b93: POP 00001b94: SWAP1 00001b95: POP 00001b96: PUSH1 0x60 00001b98: PUSH2 0x1b9f 00001b9b: PUSH2 0x12fd 00001b9e: JUMP 00001b9f: JUMPDEST 00001ba0: SWAP1 00001ba1: POP 00001ba2: PUSH1 0x00 00001ba4: DUP2 00001ba5: MLOAD 00001ba6: EQ 00001ba7: ISZERO 00001ba8: PUSH2 0x1bb5 00001bab: JUMPI 00001bac: DUP2 00001bad: SWAP3 00001bae: POP 00001baf: POP 00001bb0: POP 00001bb1: PUSH2 0x1d51 00001bb4: JUMP 00001bb5: JUMPDEST 00001bb6: PUSH1 0x00 00001bb8: DUP3 00001bb9: MLOAD 00001bba: GT 00001bbb: ISZERO 00001bbc: PUSH2 0x1c86 00001bbf: JUMPI 00001bc0: DUP1 00001bc1: DUP3 00001bc2: PUSH1 0x40 00001bc4: MLOAD 00001bc5: PUSH1 0x20 00001bc7: ADD 00001bc8: DUP1 00001bc9: DUP4 00001bca: DUP1 00001bcb: MLOAD 00001bcc: SWAP1 00001bcd: PUSH1 0x20 00001bcf: ADD 00001bd0: SWAP1 00001bd1: DUP1 00001bd2: DUP4 00001bd3: DUP4 00001bd4: JUMPDEST 00001bd5: PUSH1 0x20 00001bd7: DUP4 00001bd8: LT 00001bd9: PUSH2 0x1bf7 00001bdc: JUMPI 00001bdd: DUP1 00001bde: MLOAD 00001bdf: DUP3 00001be0: MSTORE 00001be1: PUSH1 0x20 00001be3: DUP3 00001be4: ADD 00001be5: SWAP2 00001be6: POP 00001be7: PUSH1 0x20 00001be9: DUP2 00001bea: ADD 00001beb: SWAP1 00001bec: POP 00001bed: PUSH1 0x20 00001bef: DUP4 00001bf0: SUB 00001bf1: SWAP3 00001bf2: POP 00001bf3: PUSH2 0x1bd4 00001bf6: JUMP 00001bf7: JUMPDEST 00001bf8: PUSH1 0x01 00001bfa: DUP4 00001bfb: PUSH1 0x20 00001bfd: SUB 00001bfe: PUSH2 0x0100 00001c01: EXP 00001c02: SUB 00001c03: DUP1 00001c04: NOT 00001c05: DUP3 00001c06: MLOAD 00001c07: AND 00001c08: DUP2 00001c09: DUP5 00001c0a: MLOAD 00001c0b: AND 00001c0c: DUP1 00001c0d: DUP3 00001c0e: OR 00001c0f: DUP6 00001c10: MSTORE 00001c11: POP 00001c12: POP 00001c13: POP 00001c14: POP 00001c15: POP 00001c16: POP 00001c17: SWAP1 00001c18: POP 00001c19: ADD 00001c1a: DUP3 00001c1b: DUP1 00001c1c: MLOAD 00001c1d: SWAP1 00001c1e: PUSH1 0x20 00001c20: ADD 00001c21: SWAP1 00001c22: DUP1 00001c23: DUP4 00001c24: DUP4 00001c25: JUMPDEST 00001c26: PUSH1 0x20 00001c28: DUP4 00001c29: LT 00001c2a: PUSH2 0x1c48 00001c2d: JUMPI 00001c2e: DUP1 00001c2f: MLOAD 00001c30: DUP3 00001c31: MSTORE 00001c32: PUSH1 0x20 00001c34: DUP3 00001c35: ADD 00001c36: SWAP2 00001c37: POP 00001c38: PUSH1 0x20 00001c3a: DUP2 00001c3b: ADD 00001c3c: SWAP1 00001c3d: POP 00001c3e: PUSH1 0x20 00001c40: DUP4 00001c41: SUB 00001c42: SWAP3 00001c43: POP 00001c44: PUSH2 0x1c25 00001c47: JUMP 00001c48: JUMPDEST 00001c49: PUSH1 0x01 00001c4b: DUP4 00001c4c: PUSH1 0x20 00001c4e: SUB 00001c4f: PUSH2 0x0100 00001c52: EXP 00001c53: SUB 00001c54: DUP1 00001c55: NOT 00001c56: DUP3 00001c57: MLOAD 00001c58: AND 00001c59: DUP2 00001c5a: DUP5 00001c5b: MLOAD 00001c5c: AND 00001c5d: DUP1 00001c5e: DUP3 00001c5f: OR 00001c60: DUP6 00001c61: MSTORE 00001c62: POP 00001c63: POP 00001c64: POP 00001c65: POP 00001c66: POP 00001c67: POP 00001c68: SWAP1 00001c69: POP 00001c6a: ADD 00001c6b: SWAP3 00001c6c: POP 00001c6d: POP 00001c6e: POP 00001c6f: PUSH1 0x40 00001c71: MLOAD 00001c72: PUSH1 0x20 00001c74: DUP2 00001c75: DUP4 00001c76: SUB 00001c77: SUB 00001c78: DUP2 00001c79: MSTORE 00001c7a: SWAP1 00001c7b: PUSH1 0x40 00001c7d: MSTORE 00001c7e: SWAP3 00001c7f: POP 00001c80: POP 00001c81: POP 00001c82: PUSH2 0x1d51 00001c85: JUMP 00001c86: JUMPDEST 00001c87: DUP1 00001c88: PUSH2 0x1c90 00001c8b: DUP6 00001c8c: PUSH2 0x26ab 00001c8f: JUMP 00001c90: JUMPDEST 00001c91: PUSH1 0x40 00001c93: MLOAD 00001c94: PUSH1 0x20 00001c96: ADD 00001c97: DUP1 00001c98: DUP4 00001c99: DUP1 00001c9a: MLOAD 00001c9b: SWAP1 00001c9c: PUSH1 0x20 00001c9e: ADD 00001c9f: SWAP1 00001ca0: DUP1 00001ca1: DUP4 00001ca2: DUP4 00001ca3: JUMPDEST 00001ca4: PUSH1 0x20 00001ca6: DUP4 00001ca7: LT 00001ca8: PUSH2 0x1cc6 00001cab: JUMPI 00001cac: DUP1 00001cad: MLOAD 00001cae: DUP3 00001caf: MSTORE 00001cb0: PUSH1 0x20 00001cb2: DUP3 00001cb3: ADD 00001cb4: SWAP2 00001cb5: POP 00001cb6: PUSH1 0x20 00001cb8: DUP2 00001cb9: ADD 00001cba: SWAP1 00001cbb: POP 00001cbc: PUSH1 0x20 00001cbe: DUP4 00001cbf: SUB 00001cc0: SWAP3 00001cc1: POP 00001cc2: PUSH2 0x1ca3 00001cc5: JUMP 00001cc6: JUMPDEST 00001cc7: PUSH1 0x01 00001cc9: DUP4 00001cca: PUSH1 0x20 00001ccc: SUB 00001ccd: PUSH2 0x0100 00001cd0: EXP 00001cd1: SUB 00001cd2: DUP1 00001cd3: NOT 00001cd4: DUP3 00001cd5: MLOAD 00001cd6: AND 00001cd7: DUP2 00001cd8: DUP5 00001cd9: MLOAD 00001cda: AND 00001cdb: DUP1 00001cdc: DUP3 00001cdd: OR 00001cde: DUP6 00001cdf: MSTORE 00001ce0: POP 00001ce1: POP 00001ce2: POP 00001ce3: POP 00001ce4: POP 00001ce5: POP 00001ce6: SWAP1 00001ce7: POP 00001ce8: ADD 00001ce9: DUP3 00001cea: DUP1 00001ceb: MLOAD 00001cec: SWAP1 00001ced: PUSH1 0x20 00001cef: ADD 00001cf0: SWAP1 00001cf1: DUP1 00001cf2: DUP4 00001cf3: DUP4 00001cf4: JUMPDEST 00001cf5: PUSH1 0x20 00001cf7: DUP4 00001cf8: LT 00001cf9: PUSH2 0x1d17 00001cfc: JUMPI 00001cfd: DUP1 00001cfe: MLOAD 00001cff: DUP3 00001d00: MSTORE 00001d01: PUSH1 0x20 00001d03: DUP3 00001d04: ADD 00001d05: SWAP2 00001d06: POP 00001d07: PUSH1 0x20 00001d09: DUP2 00001d0a: ADD 00001d0b: SWAP1 00001d0c: POP 00001d0d: PUSH1 0x20 00001d0f: DUP4 00001d10: SUB 00001d11: SWAP3 00001d12: POP 00001d13: PUSH2 0x1cf4 00001d16: JUMP 00001d17: JUMPDEST 00001d18: PUSH1 0x01 00001d1a: DUP4 00001d1b: PUSH1 0x20 00001d1d: SUB 00001d1e: PUSH2 0x0100 00001d21: EXP 00001d22: SUB 00001d23: DUP1 00001d24: NOT 00001d25: DUP3 00001d26: MLOAD 00001d27: AND 00001d28: DUP2 00001d29: DUP5 00001d2a: MLOAD 00001d2b: AND 00001d2c: DUP1 00001d2d: DUP3 00001d2e: OR 00001d2f: DUP6 00001d30: MSTORE 00001d31: POP 00001d32: POP 00001d33: POP 00001d34: POP 00001d35: POP 00001d36: POP 00001d37: SWAP1 00001d38: POP 00001d39: ADD 00001d3a: SWAP3 00001d3b: POP 00001d3c: POP 00001d3d: POP 00001d3e: PUSH1 0x40 00001d40: MLOAD 00001d41: PUSH1 0x20 00001d43: DUP2 00001d44: DUP4 00001d45: SUB 00001d46: SUB 00001d47: DUP2 00001d48: MSTORE 00001d49: SWAP1 00001d4a: PUSH1 0x40 00001d4c: MSTORE 00001d4d: SWAP3 00001d4e: POP 00001d4f: POP 00001d50: POP 00001d51: JUMPDEST 00001d52: SWAP2 00001d53: SWAP1 00001d54: POP 00001d55: JUMP 00001d56: JUMPDEST 00001d57: PUSH1 0x00 00001d59: PUSH1 0x05 00001d5b: PUSH1 0x00 00001d5d: DUP5 00001d5e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d73: AND 00001d74: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d89: AND 00001d8a: DUP2 00001d8b: MSTORE 00001d8c: PUSH1 0x20 00001d8e: ADD 00001d8f: SWAP1 00001d90: DUP2 00001d91: MSTORE 00001d92: PUSH1 0x20 00001d94: ADD 00001d95: PUSH1 0x00 00001d97: KECCAK256 00001d98: PUSH1 0x00 00001d9a: DUP4 00001d9b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001db0: AND 00001db1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001dc6: AND 00001dc7: DUP2 00001dc8: MSTORE 00001dc9: PUSH1 0x20 00001dcb: ADD 00001dcc: SWAP1 00001dcd: DUP2 00001dce: MSTORE 00001dcf: PUSH1 0x20 00001dd1: ADD 00001dd2: PUSH1 0x00 00001dd4: KECCAK256 00001dd5: PUSH1 0x00 00001dd7: SWAP1 00001dd8: SLOAD 00001dd9: SWAP1 00001dda: PUSH2 0x0100 00001ddd: EXP 00001dde: SWAP1 00001ddf: DIV 00001de0: PUSH1 0xff 00001de2: AND 00001de3: SWAP1 00001de4: POP 00001de5: SWAP3 00001de6: SWAP2 00001de7: POP 00001de8: POP 00001de9: JUMP 00001dea: JUMPDEST 00001deb: PUSH2 0x1df2 00001dee: PUSH2 0x1ffc 00001df1: JUMP 00001df2: JUMPDEST 00001df3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e08: AND 00001e09: PUSH2 0x1e10 00001e0c: PUSH2 0x15e4 00001e0f: JUMP 00001e10: JUMPDEST 00001e11: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e26: AND 00001e27: EQ 00001e28: PUSH2 0x1e99 00001e2b: JUMPI 00001e2c: PUSH1 0x40 00001e2e: MLOAD 00001e2f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001e50: DUP2 00001e51: MSTORE 00001e52: PUSH1 0x04 00001e54: ADD 00001e55: DUP1 00001e56: DUP1 00001e57: PUSH1 0x20 00001e59: ADD 00001e5a: DUP3 00001e5b: DUP2 00001e5c: SUB 00001e5d: DUP3 00001e5e: MSTORE 00001e5f: PUSH1 0x20 00001e61: DUP2 00001e62: MSTORE 00001e63: PUSH1 0x20 00001e65: ADD 00001e66: DUP1 00001e67: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00001e88: DUP2 00001e89: MSTORE 00001e8a: POP 00001e8b: PUSH1 0x20 00001e8d: ADD 00001e8e: SWAP2 00001e8f: POP 00001e90: POP 00001e91: PUSH1 0x40 00001e93: MLOAD 00001e94: DUP1 00001e95: SWAP2 00001e96: SUB 00001e97: SWAP1 00001e98: REVERT 00001e99: JUMPDEST 00001e9a: PUSH1 0x00 00001e9c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001eb1: AND 00001eb2: DUP2 00001eb3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ec8: AND 00001ec9: EQ 00001eca: ISZERO 00001ecb: PUSH2 0x1f1f 00001ece: JUMPI 00001ecf: PUSH1 0x40 00001ed1: MLOAD 00001ed2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001ef3: DUP2 00001ef4: MSTORE 00001ef5: PUSH1 0x04 00001ef7: ADD 00001ef8: DUP1 00001ef9: DUP1 00001efa: PUSH1 0x20 00001efc: ADD 00001efd: DUP3 00001efe: DUP2 00001eff: SUB 00001f00: DUP3 00001f01: MSTORE 00001f02: PUSH1 0x26 00001f04: DUP2 00001f05: MSTORE 00001f06: PUSH1 0x20 00001f08: ADD 00001f09: DUP1 00001f0a: PUSH2 0x3538 00001f0d: PUSH1 0x26 00001f0f: SWAP2 00001f10: CODECOPY 00001f11: PUSH1 0x40 00001f13: ADD 00001f14: SWAP2 00001f15: POP 00001f16: POP 00001f17: PUSH1 0x40 00001f19: MLOAD 00001f1a: DUP1 00001f1b: SWAP2 00001f1c: SUB 00001f1d: SWAP1 00001f1e: REVERT 00001f1f: JUMPDEST 00001f20: DUP1 00001f21: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f36: AND 00001f37: PUSH1 0x0a 00001f39: PUSH1 0x00 00001f3b: SWAP1 00001f3c: SLOAD 00001f3d: SWAP1 00001f3e: PUSH2 0x0100 00001f41: EXP 00001f42: SWAP1 00001f43: DIV 00001f44: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f59: AND 00001f5a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f6f: AND 00001f70: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00001f91: PUSH1 0x40 00001f93: MLOAD 00001f94: PUSH1 0x40 00001f96: MLOAD 00001f97: DUP1 00001f98: SWAP2 00001f99: SUB 00001f9a: SWAP1 00001f9b: LOG3 00001f9c: DUP1 00001f9d: PUSH1 0x0a 00001f9f: PUSH1 0x00 00001fa1: PUSH2 0x0100 00001fa4: EXP 00001fa5: DUP2 00001fa6: SLOAD 00001fa7: DUP2 00001fa8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fbd: MUL 00001fbe: NOT 00001fbf: AND 00001fc0: SWAP1 00001fc1: DUP4 00001fc2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fd7: AND 00001fd8: MUL 00001fd9: OR 00001fda: SWAP1 00001fdb: SSTORE 00001fdc: POP 00001fdd: POP 00001fde: JUMP 00001fdf: JUMPDEST 00001fe0: PUSH1 0x00 00001fe2: PUSH2 0x1ff5 00001fe5: DUP3 00001fe6: PUSH1 0x02 00001fe8: PUSH2 0x27f2 00001feb: SWAP1 00001fec: SWAP2 00001fed: SWAP1 00001fee: PUSH4 0xffffffff 00001ff3: AND 00001ff4: JUMP 00001ff5: JUMPDEST 00001ff6: SWAP1 00001ff7: POP 00001ff8: SWAP2 00001ff9: SWAP1 00001ffa: POP 00001ffb: JUMP 00001ffc: JUMPDEST 00001ffd: PUSH1 0x00 00001fff: CALLER 00002000: SWAP1 00002001: POP 00002002: SWAP1 00002003: JUMP 00002004: JUMPDEST 00002005: DUP2 00002006: PUSH1 0x04 00002008: PUSH1 0x00 0000200a: DUP4 0000200b: DUP2 0000200c: MSTORE 0000200d: PUSH1 0x20 0000200f: ADD 00002010: SWAP1 00002011: DUP2 00002012: MSTORE 00002013: PUSH1 0x20 00002015: ADD 00002016: PUSH1 0x00 00002018: KECCAK256 00002019: PUSH1 0x00 0000201b: PUSH2 0x0100 0000201e: EXP 0000201f: DUP2 00002020: SLOAD 00002021: DUP2 00002022: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002037: MUL 00002038: NOT 00002039: AND 0000203a: SWAP1 0000203b: DUP4 0000203c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002051: AND 00002052: MUL 00002053: OR 00002054: SWAP1 00002055: SSTORE 00002056: POP 00002057: DUP1 00002058: DUP3 00002059: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000206e: AND 0000206f: PUSH2 0x2077 00002072: DUP4 00002073: PUSH2 0x12c6 00002076: JUMP 00002077: JUMPDEST 00002078: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000208d: AND 0000208e: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 000020af: PUSH1 0x40 000020b1: MLOAD 000020b2: PUSH1 0x40 000020b4: MLOAD 000020b5: DUP1 000020b6: SWAP2 000020b7: SUB 000020b8: SWAP1 000020b9: LOG4 000020ba: POP 000020bb: POP 000020bc: JUMP 000020bd: JUMPDEST 000020be: PUSH2 0x20c6 000020c1: DUP3 000020c2: PUSH2 0x1fdf 000020c5: JUMP 000020c6: JUMPDEST 000020c7: PUSH2 0x211b 000020ca: JUMPI 000020cb: PUSH1 0x40 000020cd: MLOAD 000020ce: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000020ef: DUP2 000020f0: MSTORE 000020f1: PUSH1 0x04 000020f3: ADD 000020f4: DUP1 000020f5: DUP1 000020f6: PUSH1 0x20 000020f8: ADD 000020f9: DUP3 000020fa: DUP2 000020fb: SUB 000020fc: DUP3 000020fd: MSTORE 000020fe: PUSH1 0x2c 00002100: DUP2 00002101: MSTORE 00002102: PUSH1 0x20 00002104: ADD 00002105: DUP1 00002106: PUSH2 0x371c 00002109: PUSH1 0x2c 0000210b: SWAP2 0000210c: CODECOPY 0000210d: PUSH1 0x40 0000210f: ADD 00002110: SWAP2 00002111: POP 00002112: POP 00002113: PUSH1 0x40 00002115: MLOAD 00002116: DUP1 00002117: SWAP2 00002118: SUB 00002119: SWAP1 0000211a: REVERT 0000211b: JUMPDEST 0000211c: DUP1 0000211d: PUSH1 0x08 0000211f: PUSH1 0x00 00002121: DUP5 00002122: DUP2 00002123: MSTORE 00002124: PUSH1 0x20 00002126: ADD 00002127: SWAP1 00002128: DUP2 00002129: MSTORE 0000212a: PUSH1 0x20 0000212c: ADD 0000212d: PUSH1 0x00 0000212f: KECCAK256 00002130: SWAP1 00002131: DUP1 00002132: MLOAD 00002133: SWAP1 00002134: PUSH1 0x20 00002136: ADD 00002137: SWAP1 00002138: PUSH2 0x2142 0000213b: SWAP3 0000213c: SWAP2 0000213d: SWAP1 0000213e: PUSH2 0x3446 00002141: JUMP 00002142: JUMPDEST 00002143: POP 00002144: POP 00002145: POP 00002146: JUMP 00002147: JUMPDEST 00002148: PUSH1 0x00 0000214a: PUSH2 0x2155 0000214d: DUP3 0000214e: PUSH1 0x00 00002150: ADD 00002151: PUSH2 0x280c 00002154: JUMP 00002155: JUMPDEST 00002156: SWAP1 00002157: POP 00002158: SWAP2 00002159: SWAP1 0000215a: POP 0000215b: JUMP 0000215c: JUMPDEST 0000215d: PUSH1 0x00 0000215f: PUSH2 0x2167 00002162: DUP3 00002163: PUSH2 0x1fdf 00002166: JUMP 00002167: JUMPDEST 00002168: PUSH2 0x21bc 0000216b: JUMPI 0000216c: PUSH1 0x40 0000216e: MLOAD 0000216f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002190: DUP2 00002191: MSTORE 00002192: PUSH1 0x04 00002194: ADD 00002195: DUP1 00002196: DUP1 00002197: PUSH1 0x20 00002199: ADD 0000219a: DUP3 0000219b: DUP2 0000219c: SUB 0000219d: DUP3 0000219e: MSTORE 0000219f: PUSH1 0x2c 000021a1: DUP2 000021a2: MSTORE 000021a3: PUSH1 0x20 000021a5: ADD 000021a6: DUP1 000021a7: PUSH2 0x35d5 000021aa: PUSH1 0x2c 000021ac: SWAP2 000021ad: CODECOPY 000021ae: PUSH1 0x40 000021b0: ADD 000021b1: SWAP2 000021b2: POP 000021b3: POP 000021b4: PUSH1 0x40 000021b6: MLOAD 000021b7: DUP1 000021b8: SWAP2 000021b9: SUB 000021ba: SWAP1 000021bb: REVERT 000021bc: JUMPDEST 000021bd: PUSH1 0x00 000021bf: PUSH2 0x21c7 000021c2: DUP4 000021c3: PUSH2 0x12c6 000021c6: JUMP 000021c7: JUMPDEST 000021c8: SWAP1 000021c9: POP 000021ca: DUP1 000021cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000021e0: AND 000021e1: DUP5 000021e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000021f7: AND 000021f8: EQ 000021f9: DUP1 000021fa: PUSH2 0x2236 000021fd: JUMPI 000021fe: POP 000021ff: DUP4 00002200: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002215: AND 00002216: PUSH2 0x221e 00002219: DUP5 0000221a: PUSH2 0x0d03 0000221d: JUMP 0000221e: JUMPDEST 0000221f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002234: AND 00002235: EQ 00002236: JUMPDEST 00002237: DUP1 00002238: PUSH2 0x2247 0000223b: JUMPI 0000223c: POP 0000223d: PUSH2 0x2246 00002240: DUP2 00002241: DUP6 00002242: PUSH2 0x1d56 00002245: JUMP 00002246: JUMPDEST 00002247: JUMPDEST 00002248: SWAP2 00002249: POP 0000224a: POP 0000224b: SWAP3 0000224c: SWAP2 0000224d: POP 0000224e: POP 0000224f: JUMP 00002250: JUMPDEST 00002251: DUP3 00002252: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002267: AND 00002268: PUSH2 0x2270 0000226b: DUP3 0000226c: PUSH2 0x12c6 0000226f: JUMP 00002270: JUMPDEST 00002271: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002286: AND 00002287: EQ 00002288: PUSH2 0x22dc 0000228b: JUMPI 0000228c: PUSH1 0x40 0000228e: MLOAD 0000228f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000022b0: DUP2 000022b1: MSTORE 000022b2: PUSH1 0x04 000022b4: ADD 000022b5: DUP1 000022b6: DUP1 000022b7: PUSH1 0x20 000022b9: ADD 000022ba: DUP3 000022bb: DUP2 000022bc: SUB 000022bd: DUP3 000022be: MSTORE 000022bf: PUSH1 0x29 000022c1: DUP2 000022c2: MSTORE 000022c3: PUSH1 0x20 000022c5: ADD 000022c6: DUP1 000022c7: PUSH2 0x3748 000022ca: PUSH1 0x29 000022cc: SWAP2 000022cd: CODECOPY 000022ce: PUSH1 0x40 000022d0: ADD 000022d1: SWAP2 000022d2: POP 000022d3: POP 000022d4: PUSH1 0x40 000022d6: MLOAD 000022d7: DUP1 000022d8: SWAP2 000022d9: SUB 000022da: SWAP1 000022db: REVERT 000022dc: JUMPDEST 000022dd: PUSH1 0x00 000022df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000022f4: AND 000022f5: DUP3 000022f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000230b: AND 0000230c: EQ 0000230d: ISZERO 0000230e: PUSH2 0x2362 00002311: JUMPI 00002312: PUSH1 0x40 00002314: MLOAD 00002315: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002336: DUP2 00002337: MSTORE 00002338: PUSH1 0x04 0000233a: ADD 0000233b: DUP1 0000233c: DUP1 0000233d: PUSH1 0x20 0000233f: ADD 00002340: DUP3 00002341: DUP2 00002342: SUB 00002343: DUP3 00002344: MSTORE 00002345: PUSH1 0x24 00002347: DUP2 00002348: MSTORE 00002349: PUSH1 0x20 0000234b: ADD 0000234c: DUP1 0000234d: PUSH2 0x358b 00002350: PUSH1 0x24 00002352: SWAP2 00002353: CODECOPY 00002354: PUSH1 0x40 00002356: ADD 00002357: SWAP2 00002358: POP 00002359: POP 0000235a: PUSH1 0x40 0000235c: MLOAD 0000235d: DUP1 0000235e: SWAP2 0000235f: SUB 00002360: SWAP1 00002361: REVERT 00002362: JUMPDEST 00002363: PUSH2 0x236d 00002366: DUP4 00002367: DUP4 00002368: DUP4 00002369: PUSH2 0x281d 0000236c: JUMP 0000236d: JUMPDEST 0000236e: PUSH2 0x2378 00002371: PUSH1 0x00 00002373: DUP3 00002374: PUSH2 0x2004 00002377: JUMP 00002378: JUMPDEST 00002379: PUSH2 0x23c9 0000237c: DUP2 0000237d: PUSH1 0x01 0000237f: PUSH1 0x00 00002381: DUP7 00002382: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002397: AND 00002398: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000023ad: AND 000023ae: DUP2 000023af: MSTORE 000023b0: PUSH1 0x20 000023b2: ADD 000023b3: SWAP1 000023b4: DUP2 000023b5: MSTORE 000023b6: PUSH1 0x20 000023b8: ADD 000023b9: PUSH1 0x00 000023bb: KECCAK256 000023bc: PUSH2 0x2822 000023bf: SWAP1 000023c0: SWAP2 000023c1: SWAP1 000023c2: PUSH4 0xffffffff 000023c7: AND 000023c8: JUMP 000023c9: JUMPDEST 000023ca: POP 000023cb: PUSH2 0x241b 000023ce: DUP2 000023cf: PUSH1 0x01 000023d1: PUSH1 0x00 000023d3: DUP6 000023d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000023e9: AND 000023ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000023ff: AND 00002400: DUP2 00002401: MSTORE 00002402: PUSH1 0x20 00002404: ADD 00002405: SWAP1 00002406: DUP2 00002407: MSTORE 00002408: PUSH1 0x20 0000240a: ADD 0000240b: PUSH1 0x00 0000240d: KECCAK256 0000240e: PUSH2 0x283c 00002411: SWAP1 00002412: SWAP2 00002413: SWAP1 00002414: PUSH4 0xffffffff 00002419: AND 0000241a: JUMP 0000241b: JUMPDEST 0000241c: POP 0000241d: PUSH2 0x2432 00002420: DUP2 00002421: DUP4 00002422: PUSH1 0x02 00002424: PUSH2 0x2856 00002427: SWAP1 00002428: SWAP3 00002429: SWAP2 0000242a: SWAP1 0000242b: PUSH4 0xffffffff 00002430: AND 00002431: JUMP 00002432: JUMPDEST 00002433: POP 00002434: DUP1 00002435: DUP3 00002436: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000244b: AND 0000244c: DUP5 0000244d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002462: AND 00002463: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00002484: PUSH1 0x40 00002486: MLOAD 00002487: PUSH1 0x40 00002489: MLOAD 0000248a: DUP1 0000248b: SWAP2 0000248c: SUB 0000248d: SWAP1 0000248e: LOG4 0000248f: POP 00002490: POP 00002491: POP 00002492: JUMP 00002493: JUMPDEST 00002494: PUSH1 0x00 00002496: PUSH2 0x24a2 00002499: DUP4 0000249a: PUSH1 0x00 0000249c: ADD 0000249d: DUP4 0000249e: PUSH2 0x288b 000024a1: JUMP 000024a2: JUMPDEST 000024a3: PUSH1 0x00 000024a5: SHR 000024a6: SWAP1 000024a7: POP 000024a8: SWAP3 000024a9: SWAP2 000024aa: POP 000024ab: POP 000024ac: JUMP 000024ad: JUMPDEST 000024ae: PUSH1 0x00 000024b0: DUP1 000024b1: PUSH1 0x00 000024b3: DUP1 000024b4: PUSH2 0x24c0 000024b7: DUP7 000024b8: PUSH1 0x00 000024ba: ADD 000024bb: DUP7 000024bc: PUSH2 0x290e 000024bf: JUMP 000024c0: JUMPDEST 000024c1: SWAP2 000024c2: POP 000024c3: SWAP2 000024c4: POP 000024c5: DUP2 000024c6: PUSH1 0x00 000024c8: SHR 000024c9: DUP2 000024ca: PUSH1 0x00 000024cc: SHR 000024cd: SWAP4 000024ce: POP 000024cf: SWAP4 000024d0: POP 000024d1: POP 000024d2: POP 000024d3: SWAP3 000024d4: POP 000024d5: SWAP3 000024d6: SWAP1 000024d7: POP 000024d8: JUMP 000024d9: JUMPDEST 000024da: PUSH1 0x00 000024dc: PUSH2 0x24ec 000024df: DUP5 000024e0: PUSH1 0x00 000024e2: ADD 000024e3: DUP5 000024e4: PUSH1 0x00 000024e6: SHL 000024e7: DUP5 000024e8: PUSH2 0x29a7 000024eb: JUMP 000024ec: JUMPDEST 000024ed: PUSH1 0x00 000024ef: SHR 000024f0: SWAP1 000024f1: POP 000024f2: SWAP4 000024f3: SWAP3 000024f4: POP 000024f5: POP 000024f6: POP 000024f7: JUMP 000024f8: JUMPDEST 000024f9: PUSH1 0x00 000024fb: PUSH2 0x2506 000024fe: DUP3 000024ff: PUSH1 0x00 00002501: ADD 00002502: PUSH2 0x2a9d 00002505: JUMP 00002506: JUMPDEST 00002507: SWAP1 00002508: POP 00002509: SWAP2 0000250a: SWAP1 0000250b: POP 0000250c: JUMP 0000250d: JUMPDEST 0000250e: PUSH1 0x00 00002510: DUP1 00002511: DUP3 00002512: DUP5 00002513: ADD 00002514: SWAP1 00002515: POP 00002516: DUP4 00002517: DUP2 00002518: LT 00002519: ISZERO 0000251a: PUSH2 0x258b 0000251d: JUMPI 0000251e: PUSH1 0x40 00002520: MLOAD 00002521: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002542: DUP2 00002543: MSTORE 00002544: PUSH1 0x04 00002546: ADD 00002547: DUP1 00002548: DUP1 00002549: PUSH1 0x20 0000254b: ADD 0000254c: DUP3 0000254d: DUP2 0000254e: SUB 0000254f: DUP3 00002550: MSTORE 00002551: PUSH1 0x1b 00002553: DUP2 00002554: MSTORE 00002555: PUSH1 0x20 00002557: ADD 00002558: DUP1 00002559: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 0000257a: DUP2 0000257b: MSTORE 0000257c: POP 0000257d: PUSH1 0x20 0000257f: ADD 00002580: SWAP2 00002581: POP 00002582: POP 00002583: PUSH1 0x40 00002585: MLOAD 00002586: DUP1 00002587: SWAP2 00002588: SUB 00002589: SWAP1 0000258a: REVERT 0000258b: JUMPDEST 0000258c: DUP1 0000258d: SWAP2 0000258e: POP 0000258f: POP 00002590: SWAP3 00002591: SWAP2 00002592: POP 00002593: POP 00002594: JUMP 00002595: JUMPDEST 00002596: PUSH1 0x00 00002598: DUP1 00002599: DUP4 0000259a: EQ 0000259b: ISZERO 0000259c: PUSH2 0x25a8 0000259f: JUMPI 000025a0: PUSH1 0x00 000025a2: SWAP1 000025a3: POP 000025a4: PUSH2 0x2615 000025a7: JUMP 000025a8: JUMPDEST 000025a9: PUSH1 0x00 000025ab: DUP3 000025ac: DUP5 000025ad: MUL 000025ae: SWAP1 000025af: POP 000025b0: DUP3 000025b1: DUP5 000025b2: DUP3 000025b3: DUP2 000025b4: PUSH2 0x25b9 000025b7: JUMPI 000025b8: INVALID 000025b9: JUMPDEST 000025ba: DIV 000025bb: EQ 000025bc: PUSH2 0x2610 000025bf: JUMPI 000025c0: PUSH1 0x40 000025c2: MLOAD 000025c3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000025e4: DUP2 000025e5: MSTORE 000025e6: PUSH1 0x04 000025e8: ADD 000025e9: DUP1 000025ea: DUP1 000025eb: PUSH1 0x20 000025ed: ADD 000025ee: DUP3 000025ef: DUP2 000025f0: SUB 000025f1: DUP3 000025f2: MSTORE 000025f3: PUSH1 0x21 000025f5: DUP2 000025f6: MSTORE 000025f7: PUSH1 0x20 000025f9: ADD 000025fa: DUP1 000025fb: PUSH2 0x36cf 000025fe: PUSH1 0x21 00002600: SWAP2 00002601: CODECOPY 00002602: PUSH1 0x40 00002604: ADD 00002605: SWAP2 00002606: POP 00002607: POP 00002608: PUSH1 0x40 0000260a: MLOAD 0000260b: DUP1 0000260c: SWAP2 0000260d: SUB 0000260e: SWAP1 0000260f: REVERT 00002610: JUMPDEST 00002611: DUP1 00002612: SWAP2 00002613: POP 00002614: POP 00002615: JUMPDEST 00002616: SWAP3 00002617: SWAP2 00002618: POP 00002619: POP 0000261a: JUMP 0000261b: JUMPDEST 0000261c: PUSH2 0x2635 0000261f: DUP3 00002620: DUP3 00002621: PUSH1 0x40 00002623: MLOAD 00002624: DUP1 00002625: PUSH1 0x20 00002627: ADD 00002628: PUSH1 0x40 0000262a: MSTORE 0000262b: DUP1 0000262c: PUSH1 0x00 0000262e: DUP2 0000262f: MSTORE 00002630: POP 00002631: PUSH2 0x2aae 00002634: JUMP 00002635: JUMPDEST 00002636: POP 00002637: POP 00002638: JUMP 00002639: JUMPDEST 0000263a: PUSH2 0x2644 0000263d: DUP5 0000263e: DUP5 0000263f: DUP5 00002640: PUSH2 0x2250 00002643: JUMP 00002644: JUMPDEST 00002645: PUSH2 0x2650 00002648: DUP5 00002649: DUP5 0000264a: DUP5 0000264b: DUP5 0000264c: PUSH2 0x2b1f 0000264f: JUMP 00002650: JUMPDEST 00002651: PUSH2 0x26a5 00002654: JUMPI 00002655: PUSH1 0x40 00002657: MLOAD 00002658: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002679: DUP2 0000267a: MSTORE 0000267b: PUSH1 0x04 0000267d: ADD 0000267e: DUP1 0000267f: DUP1 00002680: PUSH1 0x20 00002682: ADD 00002683: DUP3 00002684: DUP2 00002685: SUB 00002686: DUP3 00002687: MSTORE 00002688: PUSH1 0x32 0000268a: DUP2 0000268b: MSTORE 0000268c: PUSH1 0x20 0000268e: ADD 0000268f: DUP1 00002690: PUSH2 0x3506 00002693: PUSH1 0x32 00002695: SWAP2 00002696: CODECOPY 00002697: PUSH1 0x40 00002699: ADD 0000269a: SWAP2 0000269b: POP 0000269c: POP 0000269d: PUSH1 0x40 0000269f: MLOAD 000026a0: DUP1 000026a1: SWAP2 000026a2: SUB 000026a3: SWAP1 000026a4: REVERT 000026a5: JUMPDEST 000026a6: POP 000026a7: POP 000026a8: POP 000026a9: POP 000026aa: JUMP 000026ab: JUMPDEST 000026ac: PUSH1 0x60 000026ae: PUSH1 0x00 000026b0: DUP3 000026b1: EQ 000026b2: ISZERO 000026b3: PUSH2 0x26f3 000026b6: JUMPI 000026b7: PUSH1 0x40 000026b9: MLOAD 000026ba: DUP1 000026bb: PUSH1 0x40 000026bd: ADD 000026be: PUSH1 0x40 000026c0: MSTORE 000026c1: DUP1 000026c2: PUSH1 0x01 000026c4: DUP2 000026c5: MSTORE 000026c6: PUSH1 0x20 000026c8: ADD 000026c9: PUSH32 0x3000000000000000000000000000000000000000000000000000000000000000 000026ea: DUP2 000026eb: MSTORE 000026ec: POP 000026ed: SWAP1 000026ee: POP 000026ef: PUSH2 0x27ed 000026f2: JUMP 000026f3: JUMPDEST 000026f4: PUSH1 0x00 000026f6: DUP3 000026f7: SWAP1 000026f8: POP 000026f9: PUSH1 0x00 000026fb: JUMPDEST 000026fc: PUSH1 0x00 000026fe: DUP3 000026ff: EQ 00002700: PUSH2 0x271d 00002703: JUMPI 00002704: DUP1 00002705: DUP1 00002706: PUSH1 0x01 00002708: ADD 00002709: SWAP2 0000270a: POP 0000270b: POP 0000270c: PUSH1 0x0a 0000270e: DUP3 0000270f: DUP2 00002710: PUSH2 0x2715 00002713: JUMPI 00002714: INVALID 00002715: JUMPDEST 00002716: DIV 00002717: SWAP2 00002718: POP 00002719: PUSH2 0x26fb 0000271c: JUMP 0000271d: JUMPDEST 0000271e: PUSH1 0x60 00002720: DUP2 00002721: PUSH8 0xffffffffffffffff 0000272a: DUP2 0000272b: GT 0000272c: DUP1 0000272d: ISZERO 0000272e: PUSH2 0x2736 00002731: JUMPI 00002732: PUSH1 0x00 00002734: DUP1 00002735: REVERT 00002736: JUMPDEST 00002737: POP 00002738: PUSH1 0x40 0000273a: MLOAD 0000273b: SWAP1 0000273c: DUP1 0000273d: DUP3 0000273e: MSTORE 0000273f: DUP1 00002740: PUSH1 0x1f 00002742: ADD 00002743: PUSH1 0x1f 00002745: NOT 00002746: AND 00002747: PUSH1 0x20 00002749: ADD 0000274a: DUP3 0000274b: ADD 0000274c: PUSH1 0x40 0000274e: MSTORE 0000274f: DUP1 00002750: ISZERO 00002751: PUSH2 0x2769 00002754: JUMPI 00002755: DUP2 00002756: PUSH1 0x20 00002758: ADD 00002759: PUSH1 0x01 0000275b: DUP3 0000275c: MUL 0000275d: DUP1 0000275e: CALLDATASIZE 0000275f: DUP4 00002760: CALLDATACOPY 00002761: DUP1 00002762: DUP3 00002763: ADD 00002764: SWAP2 00002765: POP 00002766: POP 00002767: SWAP1 00002768: POP 00002769: JUMPDEST 0000276a: POP 0000276b: SWAP1 0000276c: POP 0000276d: PUSH1 0x00 0000276f: PUSH1 0x01 00002771: DUP4 00002772: SUB 00002773: SWAP1 00002774: POP 00002775: DUP6 00002776: SWAP4 00002777: POP 00002778: JUMPDEST 00002779: PUSH1 0x00 0000277b: DUP5 0000277c: EQ 0000277d: PUSH2 0x27e5 00002780: JUMPI 00002781: PUSH1 0x0a 00002783: DUP5 00002784: DUP2 00002785: PUSH2 0x278a 00002788: JUMPI 00002789: INVALID 0000278a: JUMPDEST 0000278b: MOD 0000278c: PUSH1 0x30 0000278e: ADD 0000278f: PUSH1 0xf8 00002791: SHL 00002792: DUP3 00002793: DUP3 00002794: DUP1 00002795: PUSH1 0x01 00002797: SWAP1 00002798: SUB 00002799: SWAP4 0000279a: POP 0000279b: DUP2 0000279c: MLOAD 0000279d: DUP2 0000279e: LT 0000279f: PUSH2 0x27a4 000027a2: JUMPI 000027a3: INVALID 000027a4: JUMPDEST 000027a5: PUSH1 0x20 000027a7: ADD 000027a8: ADD 000027a9: SWAP1 000027aa: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000027ca: NOT 000027cb: AND 000027cc: SWAP1 000027cd: DUP2 000027ce: PUSH1 0x00 000027d0: BYTE 000027d1: SWAP1 000027d2: MSTORE8 000027d3: POP 000027d4: PUSH1 0x0a 000027d6: DUP5 000027d7: DUP2 000027d8: PUSH2 0x27dd 000027db: JUMPI 000027dc: INVALID 000027dd: JUMPDEST 000027de: DIV 000027df: SWAP4 000027e0: POP 000027e1: PUSH2 0x2778 000027e4: JUMP 000027e5: JUMPDEST 000027e6: DUP2 000027e7: SWAP5 000027e8: POP 000027e9: POP 000027ea: POP 000027eb: POP 000027ec: POP 000027ed: JUMPDEST 000027ee: SWAP2 000027ef: SWAP1 000027f0: POP 000027f1: JUMP 000027f2: JUMPDEST 000027f3: PUSH1 0x00 000027f5: PUSH2 0x2804 000027f8: DUP4 000027f9: PUSH1 0x00 000027fb: ADD 000027fc: DUP4 000027fd: PUSH1 0x00 000027ff: SHL 00002800: PUSH2 0x2d38 00002803: JUMP 00002804: JUMPDEST 00002805: SWAP1 00002806: POP 00002807: SWAP3 00002808: SWAP2 00002809: POP 0000280a: POP 0000280b: JUMP 0000280c: JUMPDEST 0000280d: PUSH1 0x00 0000280f: DUP2 00002810: PUSH1 0x00 00002812: ADD 00002813: DUP1 00002814: SLOAD 00002815: SWAP1 00002816: POP 00002817: SWAP1 00002818: POP 00002819: SWAP2 0000281a: SWAP1 0000281b: POP 0000281c: JUMP 0000281d: JUMPDEST 0000281e: POP 0000281f: POP 00002820: POP 00002821: JUMP 00002822: JUMPDEST 00002823: PUSH1 0x00 00002825: PUSH2 0x2834 00002828: DUP4 00002829: PUSH1 0x00 0000282b: ADD 0000282c: DUP4 0000282d: PUSH1 0x00 0000282f: SHL 00002830: PUSH2 0x2d5b 00002833: JUMP 00002834: JUMPDEST 00002835: SWAP1 00002836: POP 00002837: SWAP3 00002838: SWAP2 00002839: POP 0000283a: POP 0000283b: JUMP 0000283c: JUMPDEST 0000283d: PUSH1 0x00 0000283f: PUSH2 0x284e 00002842: DUP4 00002843: PUSH1 0x00 00002845: ADD 00002846: DUP4 00002847: PUSH1 0x00 00002849: SHL 0000284a: PUSH2 0x2e43 0000284d: JUMP 0000284e: JUMPDEST 0000284f: SWAP1 00002850: POP 00002851: SWAP3 00002852: SWAP2 00002853: POP 00002854: POP 00002855: JUMP 00002856: JUMPDEST 00002857: PUSH1 0x00 00002859: PUSH2 0x2882 0000285c: DUP5 0000285d: PUSH1 0x00 0000285f: ADD 00002860: DUP5 00002861: PUSH1 0x00 00002863: SHL 00002864: DUP5 00002865: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000287a: AND 0000287b: PUSH1 0x00 0000287d: SHL 0000287e: PUSH2 0x2eb3 00002881: JUMP 00002882: JUMPDEST 00002883: SWAP1 00002884: POP 00002885: SWAP4 00002886: SWAP3 00002887: POP 00002888: POP 00002889: POP 0000288a: JUMP 0000288b: JUMPDEST 0000288c: PUSH1 0x00 0000288e: DUP2 0000288f: DUP4 00002890: PUSH1 0x00 00002892: ADD 00002893: DUP1 00002894: SLOAD 00002895: SWAP1 00002896: POP 00002897: GT 00002898: PUSH2 0x28ec 0000289b: JUMPI 0000289c: PUSH1 0x40 0000289e: MLOAD 0000289f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000028c0: DUP2 000028c1: MSTORE 000028c2: PUSH1 0x04 000028c4: ADD 000028c5: DUP1 000028c6: DUP1 000028c7: PUSH1 0x20 000028c9: ADD 000028ca: DUP3 000028cb: DUP2 000028cc: SUB 000028cd: DUP3 000028ce: MSTORE 000028cf: PUSH1 0x22 000028d1: DUP2 000028d2: MSTORE 000028d3: PUSH1 0x20 000028d5: ADD 000028d6: DUP1 000028d7: PUSH2 0x34e4 000028da: PUSH1 0x22 000028dc: SWAP2 000028dd: CODECOPY 000028de: PUSH1 0x40 000028e0: ADD 000028e1: SWAP2 000028e2: POP 000028e3: POP 000028e4: PUSH1 0x40 000028e6: MLOAD 000028e7: DUP1 000028e8: SWAP2 000028e9: SUB 000028ea: SWAP1 000028eb: REVERT 000028ec: JUMPDEST 000028ed: DUP3 000028ee: PUSH1 0x00 000028f0: ADD 000028f1: DUP3 000028f2: DUP2 000028f3: SLOAD 000028f4: DUP2 000028f5: LT 000028f6: PUSH2 0x28fb 000028f9: JUMPI 000028fa: INVALID 000028fb: JUMPDEST 000028fc: SWAP1 000028fd: PUSH1 0x00 000028ff: MSTORE 00002900: PUSH1 0x20 00002902: PUSH1 0x00 00002904: KECCAK256 00002905: ADD 00002906: SLOAD 00002907: SWAP1 00002908: POP 00002909: SWAP3 0000290a: SWAP2 0000290b: POP 0000290c: POP 0000290d: JUMP 0000290e: JUMPDEST 0000290f: PUSH1 0x00 00002911: DUP1 00002912: DUP3 00002913: DUP5 00002914: PUSH1 0x00 00002916: ADD 00002917: DUP1 00002918: SLOAD 00002919: SWAP1 0000291a: POP 0000291b: GT 0000291c: PUSH2 0x2970 0000291f: JUMPI 00002920: PUSH1 0x40 00002922: MLOAD 00002923: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002944: DUP2 00002945: MSTORE 00002946: PUSH1 0x04 00002948: ADD 00002949: DUP1 0000294a: DUP1 0000294b: PUSH1 0x20 0000294d: ADD 0000294e: DUP3 0000294f: DUP2 00002950: SUB 00002951: DUP3 00002952: MSTORE 00002953: PUSH1 0x22 00002955: DUP2 00002956: MSTORE 00002957: PUSH1 0x20 00002959: ADD 0000295a: DUP1 0000295b: PUSH2 0x36ad 0000295e: PUSH1 0x22 00002960: SWAP2 00002961: CODECOPY 00002962: PUSH1 0x40 00002964: ADD 00002965: SWAP2 00002966: POP 00002967: POP 00002968: PUSH1 0x40 0000296a: MLOAD 0000296b: DUP1 0000296c: SWAP2 0000296d: SUB 0000296e: SWAP1 0000296f: REVERT 00002970: JUMPDEST 00002971: PUSH1 0x00 00002973: DUP5 00002974: PUSH1 0x00 00002976: ADD 00002977: DUP5 00002978: DUP2 00002979: SLOAD 0000297a: DUP2 0000297b: LT 0000297c: PUSH2 0x2981 0000297f: JUMPI 00002980: INVALID 00002981: JUMPDEST 00002982: SWAP1 00002983: PUSH1 0x00 00002985: MSTORE 00002986: PUSH1 0x20 00002988: PUSH1 0x00 0000298a: KECCAK256 0000298b: SWAP1 0000298c: PUSH1 0x02 0000298e: MUL 0000298f: ADD 00002990: SWAP1 00002991: POP 00002992: DUP1 00002993: PUSH1 0x00 00002995: ADD 00002996: SLOAD 00002997: DUP2 00002998: PUSH1 0x01 0000299a: ADD 0000299b: SLOAD 0000299c: SWAP3 0000299d: POP 0000299e: SWAP3 0000299f: POP 000029a0: POP 000029a1: SWAP3 000029a2: POP 000029a3: SWAP3 000029a4: SWAP1 000029a5: POP 000029a6: JUMP 000029a7: JUMPDEST 000029a8: PUSH1 0x00 000029aa: DUP1 000029ab: DUP5 000029ac: PUSH1 0x01 000029ae: ADD 000029af: PUSH1 0x00 000029b1: DUP6 000029b2: DUP2 000029b3: MSTORE 000029b4: PUSH1 0x20 000029b6: ADD 000029b7: SWAP1 000029b8: DUP2 000029b9: MSTORE 000029ba: PUSH1 0x20 000029bc: ADD 000029bd: PUSH1 0x00 000029bf: KECCAK256 000029c0: SLOAD 000029c1: SWAP1 000029c2: POP 000029c3: PUSH1 0x00 000029c5: DUP2 000029c6: EQ 000029c7: ISZERO 000029c8: DUP4 000029c9: SWAP1 000029ca: PUSH2 0x2a6e 000029cd: JUMPI 000029ce: PUSH1 0x40 000029d0: MLOAD 000029d1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000029f2: DUP2 000029f3: MSTORE 000029f4: PUSH1 0x04 000029f6: ADD 000029f7: DUP1 000029f8: DUP1 000029f9: PUSH1 0x20 000029fb: ADD 000029fc: DUP3 000029fd: DUP2 000029fe: SUB 000029ff: DUP3 00002a00: MSTORE 00002a01: DUP4 00002a02: DUP2 00002a03: DUP2 00002a04: MLOAD 00002a05: DUP2 00002a06: MSTORE 00002a07: PUSH1 0x20 00002a09: ADD 00002a0a: SWAP2 00002a0b: POP 00002a0c: DUP1 00002a0d: MLOAD 00002a0e: SWAP1 00002a0f: PUSH1 0x20 00002a11: ADD 00002a12: SWAP1 00002a13: DUP1 00002a14: DUP4 00002a15: DUP4 00002a16: PUSH1 0x00 00002a18: JUMPDEST 00002a19: DUP4 00002a1a: DUP2 00002a1b: LT 00002a1c: ISZERO 00002a1d: PUSH2 0x2a33 00002a20: JUMPI 00002a21: DUP1 00002a22: DUP3 00002a23: ADD 00002a24: MLOAD 00002a25: DUP2 00002a26: DUP5 00002a27: ADD 00002a28: MSTORE 00002a29: PUSH1 0x20 00002a2b: DUP2 00002a2c: ADD 00002a2d: SWAP1 00002a2e: POP 00002a2f: PUSH2 0x2a18 00002a32: JUMP 00002a33: JUMPDEST 00002a34: POP 00002a35: POP 00002a36: POP 00002a37: POP 00002a38: SWAP1 00002a39: POP 00002a3a: SWAP1 00002a3b: DUP2 00002a3c: ADD 00002a3d: SWAP1 00002a3e: PUSH1 0x1f 00002a40: AND 00002a41: DUP1 00002a42: ISZERO 00002a43: PUSH2 0x2a60 00002a46: JUMPI 00002a47: DUP1 00002a48: DUP3 00002a49: SUB 00002a4a: DUP1 00002a4b: MLOAD 00002a4c: PUSH1 0x01 00002a4e: DUP4 00002a4f: PUSH1 0x20 00002a51: SUB 00002a52: PUSH2 0x0100 00002a55: EXP 00002a56: SUB 00002a57: NOT 00002a58: AND 00002a59: DUP2 00002a5a: MSTORE 00002a5b: PUSH1 0x20 00002a5d: ADD 00002a5e: SWAP2 00002a5f: POP 00002a60: JUMPDEST 00002a61: POP 00002a62: SWAP3 00002a63: POP 00002a64: POP 00002a65: POP 00002a66: PUSH1 0x40 00002a68: MLOAD 00002a69: DUP1 00002a6a: SWAP2 00002a6b: SUB 00002a6c: SWAP1 00002a6d: REVERT 00002a6e: JUMPDEST 00002a6f: POP 00002a70: DUP5 00002a71: PUSH1 0x00 00002a73: ADD 00002a74: PUSH1 0x01 00002a76: DUP3 00002a77: SUB 00002a78: DUP2 00002a79: SLOAD 00002a7a: DUP2 00002a7b: LT 00002a7c: PUSH2 0x2a81 00002a7f: JUMPI 00002a80: INVALID 00002a81: JUMPDEST 00002a82: SWAP1 00002a83: PUSH1 0x00 00002a85: MSTORE 00002a86: PUSH1 0x20 00002a88: PUSH1 0x00 00002a8a: KECCAK256 00002a8b: SWAP1 00002a8c: PUSH1 0x02 00002a8e: MUL 00002a8f: ADD 00002a90: PUSH1 0x01 00002a92: ADD 00002a93: SLOAD 00002a94: SWAP2 00002a95: POP 00002a96: POP 00002a97: SWAP4 00002a98: SWAP3 00002a99: POP 00002a9a: POP 00002a9b: POP 00002a9c: JUMP 00002a9d: JUMPDEST 00002a9e: PUSH1 0x00 00002aa0: DUP2 00002aa1: PUSH1 0x00 00002aa3: ADD 00002aa4: DUP1 00002aa5: SLOAD 00002aa6: SWAP1 00002aa7: POP 00002aa8: SWAP1 00002aa9: POP 00002aaa: SWAP2 00002aab: SWAP1 00002aac: POP 00002aad: JUMP 00002aae: JUMPDEST 00002aaf: PUSH2 0x2ab8 00002ab2: DUP4 00002ab3: DUP4 00002ab4: PUSH2 0x2f8f 00002ab7: JUMP 00002ab8: JUMPDEST 00002ab9: PUSH2 0x2ac5 00002abc: PUSH1 0x00 00002abe: DUP5 00002abf: DUP5 00002ac0: DUP5 00002ac1: PUSH2 0x2b1f 00002ac4: JUMP 00002ac5: JUMPDEST 00002ac6: PUSH2 0x2b1a 00002ac9: JUMPI 00002aca: PUSH1 0x40 00002acc: MLOAD 00002acd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002aee: DUP2 00002aef: MSTORE 00002af0: PUSH1 0x04 00002af2: ADD 00002af3: DUP1 00002af4: DUP1 00002af5: PUSH1 0x20 00002af7: ADD 00002af8: DUP3 00002af9: DUP2 00002afa: SUB 00002afb: DUP3 00002afc: MSTORE 00002afd: PUSH1 0x32 00002aff: DUP2 00002b00: MSTORE 00002b01: PUSH1 0x20 00002b03: ADD 00002b04: DUP1 00002b05: PUSH2 0x3506 00002b08: PUSH1 0x32 00002b0a: SWAP2 00002b0b: CODECOPY 00002b0c: PUSH1 0x40 00002b0e: ADD 00002b0f: SWAP2 00002b10: POP 00002b11: POP 00002b12: PUSH1 0x40 00002b14: MLOAD 00002b15: DUP1 00002b16: SWAP2 00002b17: SUB 00002b18: SWAP1 00002b19: REVERT 00002b1a: JUMPDEST 00002b1b: POP 00002b1c: POP 00002b1d: POP 00002b1e: JUMP 00002b1f: JUMPDEST 00002b20: PUSH1 0x00 00002b22: PUSH2 0x2b40 00002b25: DUP5 00002b26: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002b3b: AND 00002b3c: PUSH2 0x3183 00002b3f: JUMP 00002b40: JUMPDEST 00002b41: PUSH2 0x2b4d 00002b44: JUMPI 00002b45: PUSH1 0x01 00002b47: SWAP1 00002b48: POP 00002b49: PUSH2 0x2d30 00002b4c: JUMP 00002b4d: JUMPDEST 00002b4e: PUSH1 0x60 00002b50: PUSH2 0x2cb7 00002b53: PUSH4 0x150b7a02 00002b58: PUSH1 0xe0 00002b5a: SHL 00002b5b: PUSH2 0x2b62 00002b5e: PUSH2 0x1ffc 00002b61: JUMP 00002b62: JUMPDEST 00002b63: DUP9 00002b64: DUP8 00002b65: DUP8 00002b66: PUSH1 0x40 00002b68: MLOAD 00002b69: PUSH1 0x24 00002b6b: ADD 00002b6c: DUP1 00002b6d: DUP6 00002b6e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002b83: AND 00002b84: DUP2 00002b85: MSTORE 00002b86: PUSH1 0x20 00002b88: ADD 00002b89: DUP5 00002b8a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002b9f: AND 00002ba0: DUP2 00002ba1: MSTORE 00002ba2: PUSH1 0x20 00002ba4: ADD 00002ba5: DUP4 00002ba6: DUP2 00002ba7: MSTORE 00002ba8: PUSH1 0x20 00002baa: ADD 00002bab: DUP1 00002bac: PUSH1 0x20 00002bae: ADD 00002baf: DUP3 00002bb0: DUP2 00002bb1: SUB 00002bb2: DUP3 00002bb3: MSTORE 00002bb4: DUP4 00002bb5: DUP2 00002bb6: DUP2 00002bb7: MLOAD 00002bb8: DUP2 00002bb9: MSTORE 00002bba: PUSH1 0x20 00002bbc: ADD 00002bbd: SWAP2 00002bbe: POP 00002bbf: DUP1 00002bc0: MLOAD 00002bc1: SWAP1 00002bc2: PUSH1 0x20 00002bc4: ADD 00002bc5: SWAP1 00002bc6: DUP1 00002bc7: DUP4 00002bc8: DUP4 00002bc9: PUSH1 0x00 00002bcb: JUMPDEST 00002bcc: DUP4 00002bcd: DUP2 00002bce: LT 00002bcf: ISZERO 00002bd0: PUSH2 0x2be6 00002bd3: JUMPI 00002bd4: DUP1 00002bd5: DUP3 00002bd6: ADD 00002bd7: MLOAD 00002bd8: DUP2 00002bd9: DUP5 00002bda: ADD 00002bdb: MSTORE 00002bdc: PUSH1 0x20 00002bde: DUP2 00002bdf: ADD 00002be0: SWAP1 00002be1: POP 00002be2: PUSH2 0x2bcb 00002be5: JUMP 00002be6: JUMPDEST 00002be7: POP 00002be8: POP 00002be9: POP 00002bea: POP 00002beb: SWAP1 00002bec: POP 00002bed: SWAP1 00002bee: DUP2 00002bef: ADD 00002bf0: SWAP1 00002bf1: PUSH1 0x1f 00002bf3: AND 00002bf4: DUP1 00002bf5: ISZERO 00002bf6: PUSH2 0x2c13 00002bf9: JUMPI 00002bfa: DUP1 00002bfb: DUP3 00002bfc: SUB 00002bfd: DUP1 00002bfe: MLOAD 00002bff: PUSH1 0x01 00002c01: DUP4 00002c02: PUSH1 0x20 00002c04: SUB 00002c05: PUSH2 0x0100 00002c08: EXP 00002c09: SUB 00002c0a: NOT 00002c0b: AND 00002c0c: DUP2 00002c0d: MSTORE 00002c0e: PUSH1 0x20 00002c10: ADD 00002c11: SWAP2 00002c12: POP 00002c13: JUMPDEST 00002c14: POP 00002c15: SWAP6 00002c16: POP 00002c17: POP 00002c18: POP 00002c19: POP 00002c1a: POP 00002c1b: POP 00002c1c: PUSH1 0x40 00002c1e: MLOAD 00002c1f: PUSH1 0x20 00002c21: DUP2 00002c22: DUP4 00002c23: SUB 00002c24: SUB 00002c25: DUP2 00002c26: MSTORE 00002c27: SWAP1 00002c28: PUSH1 0x40 00002c2a: MSTORE 00002c2b: SWAP1 00002c2c: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00002c49: NOT 00002c4a: AND 00002c4b: PUSH1 0x20 00002c4d: DUP3 00002c4e: ADD 00002c4f: DUP1 00002c50: MLOAD 00002c51: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00002c6e: DUP4 00002c6f: DUP2 00002c70: DUP4 00002c71: AND 00002c72: OR 00002c73: DUP4 00002c74: MSTORE 00002c75: POP 00002c76: POP 00002c77: POP 00002c78: POP 00002c79: PUSH1 0x40 00002c7b: MLOAD 00002c7c: DUP1 00002c7d: PUSH1 0x60 00002c7f: ADD 00002c80: PUSH1 0x40 00002c82: MSTORE 00002c83: DUP1 00002c84: PUSH1 0x32 00002c86: DUP2 00002c87: MSTORE 00002c88: PUSH1 0x20 00002c8a: ADD 00002c8b: PUSH2 0x3506 00002c8e: PUSH1 0x32 00002c90: SWAP2 00002c91: CODECOPY 00002c92: DUP8 00002c93: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002ca8: AND 00002ca9: PUSH2 0x3196 00002cac: SWAP1 00002cad: SWAP3 00002cae: SWAP2 00002caf: SWAP1 00002cb0: PUSH4 0xffffffff 00002cb5: AND 00002cb6: JUMP 00002cb7: JUMPDEST 00002cb8: SWAP1 00002cb9: POP 00002cba: PUSH1 0x00 00002cbc: DUP2 00002cbd: DUP1 00002cbe: PUSH1 0x20 00002cc0: ADD 00002cc1: SWAP1 00002cc2: MLOAD 00002cc3: PUSH1 0x20 00002cc5: DUP2 00002cc6: LT 00002cc7: ISZERO 00002cc8: PUSH2 0x2cd0 00002ccb: JUMPI 00002ccc: PUSH1 0x00 00002cce: DUP1 00002ccf: REVERT 00002cd0: JUMPDEST 00002cd1: DUP2 00002cd2: ADD 00002cd3: SWAP1 00002cd4: DUP1 00002cd5: DUP1 00002cd6: MLOAD 00002cd7: SWAP1 00002cd8: PUSH1 0x20 00002cda: ADD 00002cdb: SWAP1 00002cdc: SWAP3 00002cdd: SWAP2 00002cde: SWAP1 00002cdf: POP 00002ce0: POP 00002ce1: POP 00002ce2: SWAP1 00002ce3: POP 00002ce4: PUSH4 0x150b7a02 00002ce9: PUSH1 0xe0 00002ceb: SHL 00002cec: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00002d09: NOT 00002d0a: AND 00002d0b: DUP2 00002d0c: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00002d29: NOT 00002d2a: AND 00002d2b: EQ 00002d2c: SWAP3 00002d2d: POP 00002d2e: POP 00002d2f: POP 00002d30: JUMPDEST 00002d31: SWAP5 00002d32: SWAP4 00002d33: POP 00002d34: POP 00002d35: POP 00002d36: POP 00002d37: JUMP 00002d38: JUMPDEST 00002d39: PUSH1 0x00 00002d3b: DUP1 00002d3c: DUP4 00002d3d: PUSH1 0x01 00002d3f: ADD 00002d40: PUSH1 0x00 00002d42: DUP5 00002d43: DUP2 00002d44: MSTORE 00002d45: PUSH1 0x20 00002d47: ADD 00002d48: SWAP1 00002d49: DUP2 00002d4a: MSTORE 00002d4b: PUSH1 0x20 00002d4d: ADD 00002d4e: PUSH1 0x00 00002d50: KECCAK256 00002d51: SLOAD 00002d52: EQ 00002d53: ISZERO 00002d54: SWAP1 00002d55: POP 00002d56: SWAP3 00002d57: SWAP2 00002d58: POP 00002d59: POP 00002d5a: JUMP 00002d5b: JUMPDEST 00002d5c: PUSH1 0x00 00002d5e: DUP1 00002d5f: DUP4 00002d60: PUSH1 0x01 00002d62: ADD 00002d63: PUSH1 0x00 00002d65: DUP5 00002d66: DUP2 00002d67: MSTORE 00002d68: PUSH1 0x20 00002d6a: ADD 00002d6b: SWAP1 00002d6c: DUP2 00002d6d: MSTORE 00002d6e: PUSH1 0x20 00002d70: ADD 00002d71: PUSH1 0x00 00002d73: KECCAK256 00002d74: SLOAD 00002d75: SWAP1 00002d76: POP 00002d77: PUSH1 0x00 00002d79: DUP2 00002d7a: EQ 00002d7b: PUSH2 0x2e37 00002d7e: JUMPI 00002d7f: PUSH1 0x00 00002d81: PUSH1 0x01 00002d83: DUP3 00002d84: SUB 00002d85: SWAP1 00002d86: POP 00002d87: PUSH1 0x00 00002d89: PUSH1 0x01 00002d8b: DUP7 00002d8c: PUSH1 0x00 00002d8e: ADD 00002d8f: DUP1 00002d90: SLOAD 00002d91: SWAP1 00002d92: POP 00002d93: SUB 00002d94: SWAP1 00002d95: POP 00002d96: PUSH1 0x00 00002d98: DUP7 00002d99: PUSH1 0x00 00002d9b: ADD 00002d9c: DUP3 00002d9d: DUP2 00002d9e: SLOAD 00002d9f: DUP2 00002da0: LT 00002da1: PUSH2 0x2da6 00002da4: JUMPI 00002da5: INVALID 00002da6: JUMPDEST 00002da7: SWAP1 00002da8: PUSH1 0x00 00002daa: MSTORE 00002dab: PUSH1 0x20 00002dad: PUSH1 0x00 00002daf: KECCAK256 00002db0: ADD 00002db1: SLOAD 00002db2: SWAP1 00002db3: POP 00002db4: DUP1 00002db5: DUP8 00002db6: PUSH1 0x00 00002db8: ADD 00002db9: DUP5 00002dba: DUP2 00002dbb: SLOAD 00002dbc: DUP2 00002dbd: LT 00002dbe: PUSH2 0x2dc3 00002dc1: JUMPI 00002dc2: INVALID 00002dc3: JUMPDEST 00002dc4: SWAP1 00002dc5: PUSH1 0x00 00002dc7: MSTORE 00002dc8: PUSH1 0x20 00002dca: PUSH1 0x00 00002dcc: KECCAK256 00002dcd: ADD 00002dce: DUP2 00002dcf: SWAP1 00002dd0: SSTORE 00002dd1: POP 00002dd2: PUSH1 0x01 00002dd4: DUP4 00002dd5: ADD 00002dd6: DUP8 00002dd7: PUSH1 0x01 00002dd9: ADD 00002dda: PUSH1 0x00 00002ddc: DUP4 00002ddd: DUP2 00002dde: MSTORE 00002ddf: PUSH1 0x20 00002de1: ADD 00002de2: SWAP1 00002de3: DUP2 00002de4: MSTORE 00002de5: PUSH1 0x20 00002de7: ADD 00002de8: PUSH1 0x00 00002dea: KECCAK256 00002deb: DUP2 00002dec: SWAP1 00002ded: SSTORE 00002dee: POP 00002def: DUP7 00002df0: PUSH1 0x00 00002df2: ADD 00002df3: DUP1 00002df4: SLOAD 00002df5: DUP1 00002df6: PUSH2 0x2dfb 00002df9: JUMPI 00002dfa: INVALID 00002dfb: JUMPDEST 00002dfc: PUSH1 0x01 00002dfe: SWAP1 00002dff: SUB 00002e00: DUP2 00002e01: DUP2 00002e02: SWAP1 00002e03: PUSH1 0x00 00002e05: MSTORE 00002e06: PUSH1 0x20 00002e08: PUSH1 0x00 00002e0a: KECCAK256 00002e0b: ADD 00002e0c: PUSH1 0x00 00002e0e: SWAP1 00002e0f: SSTORE 00002e10: SWAP1 00002e11: SSTORE 00002e12: DUP7 00002e13: PUSH1 0x01 00002e15: ADD 00002e16: PUSH1 0x00 00002e18: DUP8 00002e19: DUP2 00002e1a: MSTORE 00002e1b: PUSH1 0x20 00002e1d: ADD 00002e1e: SWAP1 00002e1f: DUP2 00002e20: MSTORE 00002e21: PUSH1 0x20 00002e23: ADD 00002e24: PUSH1 0x00 00002e26: KECCAK256 00002e27: PUSH1 0x00 00002e29: SWAP1 00002e2a: SSTORE 00002e2b: PUSH1 0x01 00002e2d: SWAP5 00002e2e: POP 00002e2f: POP 00002e30: POP 00002e31: POP 00002e32: POP 00002e33: PUSH2 0x2e3d 00002e36: JUMP 00002e37: JUMPDEST 00002e38: PUSH1 0x00 00002e3a: SWAP2 00002e3b: POP 00002e3c: POP 00002e3d: JUMPDEST 00002e3e: SWAP3 00002e3f: SWAP2 00002e40: POP 00002e41: POP 00002e42: JUMP 00002e43: JUMPDEST 00002e44: PUSH1 0x00 00002e46: PUSH2 0x2e4f 00002e49: DUP4 00002e4a: DUP4 00002e4b: PUSH2 0x31ae 00002e4e: JUMP 00002e4f: JUMPDEST 00002e50: PUSH2 0x2ea8 00002e53: JUMPI 00002e54: DUP3 00002e55: PUSH1 0x00 00002e57: ADD 00002e58: DUP3 00002e59: SWAP1 00002e5a: DUP1 00002e5b: PUSH1 0x01 00002e5d: DUP2 00002e5e: SLOAD 00002e5f: ADD 00002e60: DUP1 00002e61: DUP3 00002e62: SSTORE 00002e63: DUP1 00002e64: SWAP2 00002e65: POP 00002e66: POP 00002e67: PUSH1 0x01 00002e69: SWAP1 00002e6a: SUB 00002e6b: SWAP1 00002e6c: PUSH1 0x00 00002e6e: MSTORE 00002e6f: PUSH1 0x20 00002e71: PUSH1 0x00 00002e73: KECCAK256 00002e74: ADD 00002e75: PUSH1 0x00 00002e77: SWAP1 00002e78: SWAP2 00002e79: SWAP1 00002e7a: SWAP2 00002e7b: SWAP1 00002e7c: SWAP2 00002e7d: POP 00002e7e: SSTORE 00002e7f: DUP3 00002e80: PUSH1 0x00 00002e82: ADD 00002e83: DUP1 00002e84: SLOAD 00002e85: SWAP1 00002e86: POP 00002e87: DUP4 00002e88: PUSH1 0x01 00002e8a: ADD 00002e8b: PUSH1 0x00 00002e8d: DUP5 00002e8e: DUP2 00002e8f: MSTORE 00002e90: PUSH1 0x20 00002e92: ADD 00002e93: SWAP1 00002e94: DUP2 00002e95: MSTORE 00002e96: PUSH1 0x20 00002e98: ADD 00002e99: PUSH1 0x00 00002e9b: KECCAK256 00002e9c: DUP2 00002e9d: SWAP1 00002e9e: SSTORE 00002e9f: POP 00002ea0: PUSH1 0x01 00002ea2: SWAP1 00002ea3: POP 00002ea4: PUSH2 0x2ead 00002ea7: JUMP 00002ea8: JUMPDEST 00002ea9: PUSH1 0x00 00002eab: SWAP1 00002eac: POP 00002ead: JUMPDEST 00002eae: SWAP3 00002eaf: SWAP2 00002eb0: POP 00002eb1: POP 00002eb2: JUMP 00002eb3: JUMPDEST 00002eb4: PUSH1 0x00 00002eb6: DUP1 00002eb7: DUP5 00002eb8: PUSH1 0x01 00002eba: ADD 00002ebb: PUSH1 0x00 00002ebd: DUP6 00002ebe: DUP2 00002ebf: MSTORE 00002ec0: PUSH1 0x20 00002ec2: ADD 00002ec3: SWAP1 00002ec4: DUP2 00002ec5: MSTORE 00002ec6: PUSH1 0x20 00002ec8: ADD 00002ec9: PUSH1 0x00 00002ecb: KECCAK256 00002ecc: SLOAD 00002ecd: SWAP1 00002ece: POP 00002ecf: PUSH1 0x00 00002ed1: DUP2 00002ed2: EQ 00002ed3: ISZERO 00002ed4: PUSH2 0x2f5a 00002ed7: JUMPI 00002ed8: DUP5 00002ed9: PUSH1 0x00 00002edb: ADD 00002edc: PUSH1 0x40 00002ede: MLOAD 00002edf: DUP1 00002ee0: PUSH1 0x40 00002ee2: ADD 00002ee3: PUSH1 0x40 00002ee5: MSTORE 00002ee6: DUP1 00002ee7: DUP7 00002ee8: DUP2 00002ee9: MSTORE 00002eea: PUSH1 0x20 00002eec: ADD 00002eed: DUP6 00002eee: DUP2 00002eef: MSTORE 00002ef0: POP 00002ef1: SWAP1 00002ef2: DUP1 00002ef3: PUSH1 0x01 00002ef5: DUP2 00002ef6: SLOAD 00002ef7: ADD 00002ef8: DUP1 00002ef9: DUP3 00002efa: SSTORE 00002efb: DUP1 00002efc: SWAP2 00002efd: POP 00002efe: POP 00002eff: PUSH1 0x01 00002f01: SWAP1 00002f02: SUB 00002f03: SWAP1 00002f04: PUSH1 0x00 00002f06: MSTORE 00002f07: PUSH1 0x20 00002f09: PUSH1 0x00 00002f0b: KECCAK256 00002f0c: SWAP1 00002f0d: PUSH1 0x02 00002f0f: MUL 00002f10: ADD 00002f11: PUSH1 0x00 00002f13: SWAP1 00002f14: SWAP2 00002f15: SWAP1 00002f16: SWAP2 00002f17: SWAP1 00002f18: SWAP2 00002f19: POP 00002f1a: PUSH1 0x00 00002f1c: DUP3 00002f1d: ADD 00002f1e: MLOAD 00002f1f: DUP2 00002f20: PUSH1 0x00 00002f22: ADD 00002f23: SSTORE 00002f24: PUSH1 0x20 00002f26: DUP3 00002f27: ADD 00002f28: MLOAD 00002f29: DUP2 00002f2a: PUSH1 0x01 00002f2c: ADD 00002f2d: SSTORE 00002f2e: POP 00002f2f: POP 00002f30: DUP5 00002f31: PUSH1 0x00 00002f33: ADD 00002f34: DUP1 00002f35: SLOAD 00002f36: SWAP1 00002f37: POP 00002f38: DUP6 00002f39: PUSH1 0x01 00002f3b: ADD 00002f3c: PUSH1 0x00 00002f3e: DUP7 00002f3f: DUP2 00002f40: MSTORE 00002f41: PUSH1 0x20 00002f43: ADD 00002f44: SWAP1 00002f45: DUP2 00002f46: MSTORE 00002f47: PUSH1 0x20 00002f49: ADD 00002f4a: PUSH1 0x00 00002f4c: KECCAK256 00002f4d: DUP2 00002f4e: SWAP1 00002f4f: SSTORE 00002f50: POP 00002f51: PUSH1 0x01 00002f53: SWAP2 00002f54: POP 00002f55: POP 00002f56: PUSH2 0x2f88 00002f59: JUMP 00002f5a: JUMPDEST 00002f5b: DUP3 00002f5c: DUP6 00002f5d: PUSH1 0x00 00002f5f: ADD 00002f60: PUSH1 0x01 00002f62: DUP4 00002f63: SUB 00002f64: DUP2 00002f65: SLOAD 00002f66: DUP2 00002f67: LT 00002f68: PUSH2 0x2f6d 00002f6b: JUMPI 00002f6c: INVALID 00002f6d: JUMPDEST 00002f6e: SWAP1 00002f6f: PUSH1 0x00 00002f71: MSTORE 00002f72: PUSH1 0x20 00002f74: PUSH1 0x00 00002f76: KECCAK256 00002f77: SWAP1 00002f78: PUSH1 0x02 00002f7a: MUL 00002f7b: ADD 00002f7c: PUSH1 0x01 00002f7e: ADD 00002f7f: DUP2 00002f80: SWAP1 00002f81: SSTORE 00002f82: POP 00002f83: PUSH1 0x00 00002f85: SWAP2 00002f86: POP 00002f87: POP 00002f88: JUMPDEST 00002f89: SWAP4 00002f8a: SWAP3 00002f8b: POP 00002f8c: POP 00002f8d: POP 00002f8e: JUMP 00002f8f: JUMPDEST 00002f90: PUSH1 0x00 00002f92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002fa7: AND 00002fa8: DUP3 00002fa9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002fbe: AND 00002fbf: EQ 00002fc0: ISZERO 00002fc1: PUSH2 0x3032 00002fc4: JUMPI 00002fc5: PUSH1 0x40 00002fc7: MLOAD 00002fc8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002fe9: DUP2 00002fea: MSTORE 00002feb: PUSH1 0x04 00002fed: ADD 00002fee: DUP1 00002fef: DUP1 00002ff0: PUSH1 0x20 00002ff2: ADD 00002ff3: DUP3 00002ff4: DUP2 00002ff5: SUB 00002ff6: DUP3 00002ff7: MSTORE 00002ff8: PUSH1 0x20 00002ffa: DUP2 00002ffb: MSTORE 00002ffc: PUSH1 0x20 00002ffe: ADD 00002fff: DUP1 00003000: PUSH32 0x4552433732313a206d696e7420746f20746865207a65726f2061646472657373 00003021: DUP2 00003022: MSTORE 00003023: POP 00003024: PUSH1 0x20 00003026: ADD 00003027: SWAP2 00003028: POP 00003029: POP 0000302a: PUSH1 0x40 0000302c: MLOAD 0000302d: DUP1 0000302e: SWAP2 0000302f: SUB 00003030: SWAP1 00003031: REVERT 00003032: JUMPDEST 00003033: PUSH2 0x303b 00003036: DUP2 00003037: PUSH2 0x1fdf 0000303a: JUMP 0000303b: JUMPDEST 0000303c: ISZERO 0000303d: PUSH2 0x30ae 00003040: JUMPI 00003041: PUSH1 0x40 00003043: MLOAD 00003044: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00003065: DUP2 00003066: MSTORE 00003067: PUSH1 0x04 00003069: ADD 0000306a: DUP1 0000306b: DUP1 0000306c: PUSH1 0x20 0000306e: ADD 0000306f: DUP3 00003070: DUP2 00003071: SUB 00003072: DUP3 00003073: MSTORE 00003074: PUSH1 0x1c 00003076: DUP2 00003077: MSTORE 00003078: PUSH1 0x20 0000307a: ADD 0000307b: DUP1 0000307c: PUSH32 0x4552433732313a20746f6b656e20616c7265616479206d696e74656400000000 0000309d: DUP2 0000309e: MSTORE 0000309f: POP 000030a0: PUSH1 0x20 000030a2: ADD 000030a3: SWAP2 000030a4: POP 000030a5: POP 000030a6: PUSH1 0x40 000030a8: MLOAD 000030a9: DUP1 000030aa: SWAP2 000030ab: SUB 000030ac: SWAP1 000030ad: REVERT 000030ae: JUMPDEST 000030af: PUSH2 0x30ba 000030b2: PUSH1 0x00 000030b4: DUP4 000030b5: DUP4 000030b6: PUSH2 0x281d 000030b9: JUMP 000030ba: JUMPDEST 000030bb: PUSH2 0x310b 000030be: DUP2 000030bf: PUSH1 0x01 000030c1: PUSH1 0x00 000030c3: DUP6 000030c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000030d9: AND 000030da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000030ef: AND 000030f0: DUP2 000030f1: MSTORE 000030f2: PUSH1 0x20 000030f4: ADD 000030f5: SWAP1 000030f6: DUP2 000030f7: MSTORE 000030f8: PUSH1 0x20 000030fa: ADD 000030fb: PUSH1 0x00 000030fd: KECCAK256 000030fe: PUSH2 0x283c 00003101: SWAP1 00003102: SWAP2 00003103: SWAP1 00003104: PUSH4 0xffffffff 00003109: AND 0000310a: JUMP 0000310b: JUMPDEST 0000310c: POP 0000310d: PUSH2 0x3122 00003110: DUP2 00003111: DUP4 00003112: PUSH1 0x02 00003114: PUSH2 0x2856 00003117: SWAP1 00003118: SWAP3 00003119: SWAP2 0000311a: SWAP1 0000311b: PUSH4 0xffffffff 00003120: AND 00003121: JUMP 00003122: JUMPDEST 00003123: POP 00003124: DUP1 00003125: DUP3 00003126: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000313b: AND 0000313c: PUSH1 0x00 0000313e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003153: AND 00003154: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00003175: PUSH1 0x40 00003177: MLOAD 00003178: PUSH1 0x40 0000317a: MLOAD 0000317b: DUP1 0000317c: SWAP2 0000317d: SUB 0000317e: SWAP1 0000317f: LOG4 00003180: POP 00003181: POP 00003182: JUMP 00003183: JUMPDEST 00003184: PUSH1 0x00 00003186: DUP1 00003187: DUP3 00003188: EXTCODESIZE 00003189: SWAP1 0000318a: POP 0000318b: PUSH1 0x00 0000318d: DUP2 0000318e: GT 0000318f: SWAP2 00003190: POP 00003191: POP 00003192: SWAP2 00003193: SWAP1 00003194: POP 00003195: JUMP 00003196: JUMPDEST 00003197: PUSH1 0x60 00003199: PUSH2 0x31a5 0000319c: DUP5 0000319d: DUP5 0000319e: PUSH1 0x00 000031a0: DUP6 000031a1: PUSH2 0x31d1 000031a4: JUMP 000031a5: JUMPDEST 000031a6: SWAP1 000031a7: POP 000031a8: SWAP4 000031a9: SWAP3 000031aa: POP 000031ab: POP 000031ac: POP 000031ad: JUMP 000031ae: JUMPDEST 000031af: PUSH1 0x00 000031b1: DUP1 000031b2: DUP4 000031b3: PUSH1 0x01 000031b5: ADD 000031b6: PUSH1 0x00 000031b8: DUP5 000031b9: DUP2 000031ba: MSTORE 000031bb: PUSH1 0x20 000031bd: ADD 000031be: SWAP1 000031bf: DUP2 000031c0: MSTORE 000031c1: PUSH1 0x20 000031c3: ADD 000031c4: PUSH1 0x00 000031c6: KECCAK256 000031c7: SLOAD 000031c8: EQ 000031c9: ISZERO 000031ca: SWAP1 000031cb: POP 000031cc: SWAP3 000031cd: SWAP2 000031ce: POP 000031cf: POP 000031d0: JUMP 000031d1: JUMPDEST 000031d2: PUSH1 0x60 000031d4: DUP3 000031d5: SELFBALANCE 000031d6: LT 000031d7: ISZERO 000031d8: PUSH2 0x322c 000031db: JUMPI 000031dc: PUSH1 0x40 000031de: MLOAD 000031df: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00003200: DUP2 00003201: MSTORE 00003202: PUSH1 0x04 00003204: ADD 00003205: DUP1 00003206: DUP1 00003207: PUSH1 0x20 00003209: ADD 0000320a: DUP3 0000320b: DUP2 0000320c: SUB 0000320d: DUP3 0000320e: MSTORE 0000320f: PUSH1 0x26 00003211: DUP2 00003212: MSTORE 00003213: PUSH1 0x20 00003215: ADD 00003216: DUP1 00003217: PUSH2 0x35af 0000321a: PUSH1 0x26 0000321c: SWAP2 0000321d: CODECOPY 0000321e: PUSH1 0x40 00003220: ADD 00003221: SWAP2 00003222: POP 00003223: POP 00003224: PUSH1 0x40 00003226: MLOAD 00003227: DUP1 00003228: SWAP2 00003229: SUB 0000322a: SWAP1 0000322b: REVERT 0000322c: JUMPDEST 0000322d: PUSH2 0x3235 00003230: DUP6 00003231: PUSH2 0x3183 00003234: JUMP 00003235: JUMPDEST 00003236: PUSH2 0x32a7 00003239: JUMPI 0000323a: PUSH1 0x40 0000323c: MLOAD 0000323d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000325e: DUP2 0000325f: MSTORE 00003260: PUSH1 0x04 00003262: ADD 00003263: DUP1 00003264: DUP1 00003265: PUSH1 0x20 00003267: ADD 00003268: DUP3 00003269: DUP2 0000326a: SUB 0000326b: DUP3 0000326c: MSTORE 0000326d: PUSH1 0x1d 0000326f: DUP2 00003270: MSTORE 00003271: PUSH1 0x20 00003273: ADD 00003274: DUP1 00003275: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 00003296: DUP2 00003297: MSTORE 00003298: POP 00003299: PUSH1 0x20 0000329b: ADD 0000329c: SWAP2 0000329d: POP 0000329e: POP 0000329f: PUSH1 0x40 000032a1: MLOAD 000032a2: DUP1 000032a3: SWAP2 000032a4: SUB 000032a5: SWAP1 000032a6: REVERT 000032a7: JUMPDEST 000032a8: PUSH1 0x00 000032aa: PUSH1 0x60 000032ac: DUP7 000032ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000032c2: AND 000032c3: DUP6 000032c4: DUP8 000032c5: PUSH1 0x40 000032c7: MLOAD 000032c8: DUP1 000032c9: DUP3 000032ca: DUP1 000032cb: MLOAD 000032cc: SWAP1 000032cd: PUSH1 0x20 000032cf: ADD 000032d0: SWAP1 000032d1: DUP1 000032d2: DUP4 000032d3: DUP4 000032d4: JUMPDEST 000032d5: PUSH1 0x20 000032d7: DUP4 000032d8: LT 000032d9: PUSH2 0x32f7 000032dc: JUMPI 000032dd: DUP1 000032de: MLOAD 000032df: DUP3 000032e0: MSTORE 000032e1: PUSH1 0x20 000032e3: DUP3 000032e4: ADD 000032e5: SWAP2 000032e6: POP 000032e7: PUSH1 0x20 000032e9: DUP2 000032ea: ADD 000032eb: SWAP1 000032ec: POP 000032ed: PUSH1 0x20 000032ef: DUP4 000032f0: SUB 000032f1: SWAP3 000032f2: POP 000032f3: PUSH2 0x32d4 000032f6: JUMP 000032f7: JUMPDEST 000032f8: PUSH1 0x01 000032fa: DUP4 000032fb: PUSH1 0x20 000032fd: SUB 000032fe: PUSH2 0x0100 00003301: EXP 00003302: SUB 00003303: DUP1 00003304: NOT 00003305: DUP3 00003306: MLOAD 00003307: AND 00003308: DUP2 00003309: DUP5 0000330a: MLOAD 0000330b: AND 0000330c: DUP1 0000330d: DUP3 0000330e: OR 0000330f: DUP6 00003310: MSTORE 00003311: POP 00003312: POP 00003313: POP 00003314: POP 00003315: POP 00003316: POP 00003317: SWAP1 00003318: POP 00003319: ADD 0000331a: SWAP2 0000331b: POP 0000331c: POP 0000331d: PUSH1 0x00 0000331f: PUSH1 0x40 00003321: MLOAD 00003322: DUP1 00003323: DUP4 00003324: SUB 00003325: DUP2 00003326: DUP6 00003327: DUP8 00003328: GAS 00003329: CALL 0000332a: SWAP3 0000332b: POP 0000332c: POP 0000332d: POP 0000332e: RETURNDATASIZE 0000332f: DUP1 00003330: PUSH1 0x00 00003332: DUP2 00003333: EQ 00003334: PUSH2 0x3359 00003337: JUMPI 00003338: PUSH1 0x40 0000333a: MLOAD 0000333b: SWAP2 0000333c: POP 0000333d: PUSH1 0x1f 0000333f: NOT 00003340: PUSH1 0x3f 00003342: RETURNDATASIZE 00003343: ADD 00003344: AND 00003345: DUP3 00003346: ADD 00003347: PUSH1 0x40 00003349: MSTORE 0000334a: RETURNDATASIZE 0000334b: DUP3 0000334c: MSTORE 0000334d: RETURNDATASIZE 0000334e: PUSH1 0x00 00003350: PUSH1 0x20 00003352: DUP5 00003353: ADD 00003354: RETURNDATACOPY 00003355: PUSH2 0x335e 00003358: JUMP 00003359: JUMPDEST 0000335a: PUSH1 0x60 0000335c: SWAP2 0000335d: POP 0000335e: JUMPDEST 0000335f: POP 00003360: SWAP2 00003361: POP 00003362: SWAP2 00003363: POP 00003364: PUSH2 0x336e 00003367: DUP3 00003368: DUP3 00003369: DUP7 0000336a: PUSH2 0x337a 0000336d: JUMP 0000336e: JUMPDEST 0000336f: SWAP3 00003370: POP 00003371: POP 00003372: POP 00003373: SWAP5 00003374: SWAP4 00003375: POP 00003376: POP 00003377: POP 00003378: POP 00003379: JUMP 0000337a: JUMPDEST 0000337b: PUSH1 0x60 0000337d: DUP4 0000337e: ISZERO 0000337f: PUSH2 0x338a 00003382: JUMPI 00003383: DUP3 00003384: SWAP1 00003385: POP 00003386: PUSH2 0x343f 00003389: JUMP 0000338a: JUMPDEST 0000338b: PUSH1 0x00 0000338d: DUP4 0000338e: MLOAD 0000338f: GT 00003390: ISZERO 00003391: PUSH2 0x339d 00003394: JUMPI 00003395: DUP3 00003396: MLOAD 00003397: DUP1 00003398: DUP5 00003399: PUSH1 0x20 0000339b: ADD 0000339c: REVERT 0000339d: JUMPDEST 0000339e: DUP2 0000339f: PUSH1 0x40 000033a1: MLOAD 000033a2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000033c3: DUP2 000033c4: MSTORE 000033c5: PUSH1 0x04 000033c7: ADD 000033c8: DUP1 000033c9: DUP1 000033ca: PUSH1 0x20 000033cc: ADD 000033cd: DUP3 000033ce: DUP2 000033cf: SUB 000033d0: DUP3 000033d1: MSTORE 000033d2: DUP4 000033d3: DUP2 000033d4: DUP2 000033d5: MLOAD 000033d6: DUP2 000033d7: MSTORE 000033d8: PUSH1 0x20 000033da: ADD 000033db: SWAP2 000033dc: POP 000033dd: DUP1 000033de: MLOAD 000033df: SWAP1 000033e0: PUSH1 0x20 000033e2: ADD 000033e3: SWAP1 000033e4: DUP1 000033e5: DUP4 000033e6: DUP4 000033e7: PUSH1 0x00 000033e9: JUMPDEST 000033ea: DUP4 000033eb: DUP2 000033ec: LT 000033ed: ISZERO 000033ee: PUSH2 0x3404 000033f1: JUMPI 000033f2: DUP1 000033f3: DUP3 000033f4: ADD 000033f5: MLOAD 000033f6: DUP2 000033f7: DUP5 000033f8: ADD 000033f9: MSTORE 000033fa: PUSH1 0x20 000033fc: DUP2 000033fd: ADD 000033fe: SWAP1 000033ff: POP 00003400: PUSH2 0x33e9 00003403: JUMP 00003404: JUMPDEST 00003405: POP 00003406: POP 00003407: POP 00003408: POP 00003409: SWAP1 0000340a: POP 0000340b: SWAP1 0000340c: DUP2 0000340d: ADD 0000340e: SWAP1 0000340f: PUSH1 0x1f 00003411: AND 00003412: DUP1 00003413: ISZERO 00003414: PUSH2 0x3431 00003417: JUMPI 00003418: DUP1 00003419: DUP3 0000341a: SUB 0000341b: DUP1 0000341c: MLOAD 0000341d: PUSH1 0x01 0000341f: DUP4 00003420: PUSH1 0x20 00003422: SUB 00003423: PUSH2 0x0100 00003426: EXP 00003427: SUB 00003428: NOT 00003429: AND 0000342a: DUP2 0000342b: MSTORE 0000342c: PUSH1 0x20 0000342e: ADD 0000342f: SWAP2 00003430: POP 00003431: JUMPDEST 00003432: POP 00003433: SWAP3 00003434: POP 00003435: POP 00003436: POP 00003437: PUSH1 0x40 00003439: MLOAD 0000343a: DUP1 0000343b: SWAP2 0000343c: SUB 0000343d: SWAP1 0000343e: REVERT 0000343f: JUMPDEST 00003440: SWAP4 00003441: SWAP3 00003442: POP 00003443: POP 00003444: POP 00003445: JUMP 00003446: JUMPDEST 00003447: DUP3 00003448: DUP1 00003449: SLOAD 0000344a: PUSH1 0x01 0000344c: DUP2 0000344d: PUSH1 0x01 0000344f: AND 00003450: ISZERO 00003451: PUSH2 0x0100 00003454: MUL 00003455: SUB 00003456: AND 00003457: PUSH1 0x02 00003459: SWAP1 0000345a: DIV 0000345b: SWAP1 0000345c: PUSH1 0x00 0000345e: MSTORE 0000345f: PUSH1 0x20 00003461: PUSH1 0x00 00003463: KECCAK256 00003464: SWAP1 00003465: PUSH1 0x1f 00003467: ADD 00003468: PUSH1 0x20 0000346a: SWAP1 0000346b: DIV 0000346c: DUP2 0000346d: ADD 0000346e: SWAP3 0000346f: DUP3 00003470: PUSH1 0x1f 00003472: LT 00003473: PUSH2 0x3487 00003476: JUMPI 00003477: DUP1 00003478: MLOAD 00003479: PUSH1 0xff 0000347b: NOT 0000347c: AND 0000347d: DUP4 0000347e: DUP1 0000347f: ADD 00003480: OR 00003481: DUP6 00003482: SSTORE 00003483: PUSH2 0x34b5 00003486: JUMP 00003487: JUMPDEST 00003488: DUP3 00003489: DUP1 0000348a: ADD 0000348b: PUSH1 0x01 0000348d: ADD 0000348e: DUP6 0000348f: SSTORE 00003490: DUP3 00003491: ISZERO 00003492: PUSH2 0x34b5 00003495: JUMPI 00003496: SWAP2 00003497: DUP3 00003498: ADD 00003499: JUMPDEST 0000349a: DUP3 0000349b: DUP2 0000349c: GT 0000349d: ISZERO 0000349e: PUSH2 0x34b4 000034a1: JUMPI 000034a2: DUP3 000034a3: MLOAD 000034a4: DUP3 000034a5: SSTORE 000034a6: SWAP2 000034a7: PUSH1 0x20 000034a9: ADD 000034aa: SWAP2 000034ab: SWAP1 000034ac: PUSH1 0x01 000034ae: ADD 000034af: SWAP1 000034b0: PUSH2 0x3499 000034b3: JUMP 000034b4: JUMPDEST 000034b5: JUMPDEST 000034b6: POP 000034b7: SWAP1 000034b8: POP 000034b9: PUSH2 0x34c2 000034bc: SWAP2 000034bd: SWAP1 000034be: PUSH2 0x34c6 000034c1: JUMP 000034c2: JUMPDEST 000034c3: POP 000034c4: SWAP1 000034c5: JUMP 000034c6: JUMPDEST 000034c7: JUMPDEST 000034c8: DUP1 000034c9: DUP3 000034ca: GT 000034cb: ISZERO 000034cc: PUSH2 0x34df 000034cf: JUMPI 000034d0: PUSH1 0x00 000034d2: DUP2 000034d3: PUSH1 0x00 000034d5: SWAP1 000034d6: SSTORE 000034d7: POP 000034d8: PUSH1 0x01 000034da: ADD 000034db: PUSH2 0x34c7 000034de: JUMP 000034df: JUMPDEST 000034e0: POP 000034e1: SWAP1 000034e2: JUMP 000034e3: INVALID 000034e4: GASLIMIT 000034e5: PUSH15 0x756d657261626c655365743a20696e 000034f5: PUSH5 0x6578206f75 000034fb: PUSH21 0x206f6620626f756e64734552433732313a20747261 00003511: PUSH15 0x7366657220746f206e6f6e20455243 00003521: CALLDATACOPY 00003522: ORIGIN 00003523: BALANCE 00003524: MSTORE 00003525: PUSH6 0x636569766572 0000352c: KECCAK256 0000352d: PUSH10 0x6d706c656d656e746572 00003538: UNKNOWN(0x4F) 00003539: PUSH24 0x6e61626c653a206e6577206f776e65722069732074686520 00003552: PUSH27 0x65726f2061646472657373507572636861736520776f756c642065 0000356e: PUSH25 0x63656564206d617820737570706c79206f6620417374726f68 00003588: PUSH6 0x647a45524337 0000358f: ORIGIN 00003590: BALANCE 00003591: GASPRICE 00003592: KECCAK256 00003593: PUSH21 0x72616e7366657220746f20746865207a65726f2061 000035a9: PUSH5 0x6472657373 000035af: COINBASE 000035b0: PUSH5 0x6472657373 000035b6: GASPRICE 000035b7: KECCAK256 000035b8: PUSH10 0x6e73756666696369656e 000035c3: PUSH21 0x2062616c616e636520666f722063616c6c45524337 000035d9: ORIGIN 000035da: BALANCE 000035db: GASPRICE 000035dc: KECCAK256 000035dd: PUSH16 0x70657261746f7220717565727920666f 000035ee: PUSH19 0x206e6f6e6578697374656e7420746f6b656e43 00003602: PUSH2 0x6e20 00003605: PUSH16 0x6e6c79206d696e7420333020746f6b65 00003616: PUSH15 0x7320617420612074696d6545524337 00003626: ORIGIN 00003627: BALANCE 00003628: GASPRICE 00003629: KECCAK256 0000362a: PUSH2 0x7070 0000362d: PUSH19 0x6f76652063616c6c6572206973206e6f74206f 00003641: PUSH24 0x6e6572206e6f7220617070726f76656420666f7220616c6c 0000365a: GASLIMIT 0000365b: MSTORE 0000365c: NUMBER 0000365d: CALLDATACOPY 0000365e: ORIGIN 0000365f: BALANCE 00003660: GASPRICE 00003661: KECCAK256 00003662: PUSH3 0x616c61 00003666: PUSH15 0x636520717565727920666f72207468 00003676: PUSH6 0x207a65726f20 0000367d: PUSH2 0x6464 00003680: PUSH19 0x6573734552433732313a206f776e6572207175 00003694: PUSH6 0x727920666f72 0000369b: KECCAK256 0000369c: PUSH15 0x6f6e6578697374656e7420746f6b65 000036ac: PUSH15 0x456e756d657261626c654d61703a20 000036bc: PUSH10 0x6e646578206f7574206f 000036c7: PUSH7 0x20626f756e6473 000036cf: MSTORE8 000036d0: PUSH2 0x6665 000036d3: UNKNOWN(0x4D) 000036d4: PUSH2 0x7468 000036d7: GASPRICE 000036d8: KECCAK256 000036d9: PUSH14 0x756c7469706c69636174696f6e20 000036e8: PUSH16 0x766572666c6f774552433732313a2061 000036f9: PUSH17 0x70726f76656420717565727920666f7220 0000370b: PUSH15 0x6f6e6578697374656e7420746f6b65 0000371b: PUSH15 0x4552433732314d657461646174613a 0000372b: KECCAK256 0000372c: SSTORE 0000372d: MSTORE 0000372e: BLOBHASH 0000372f: KECCAK256 00003730: PUSH20 0x6574206f66206e6f6e6578697374656e7420746f 00003745: PUSH12 0x656e4552433732313a207472 00003752: PUSH2 0x6e73 00003755: PUSH7 0x6572206f662074 0000375d: PUSH16 0x6b656e2074686174206973206e6f7420 0000376e: PUSH16 0x776e4552433732314d65746164617461 0000377f: GASPRICE 00003780: KECCAK256 00003781: SSTORE 00003782: MSTORE 00003783: BLOBHASH 00003784: KECCAK256 00003785: PUSH18 0x7565727920666f72206e6f6e657869737465 00003798: PUSH15 0x7420746f6b656e4552433732313a20 000037a8: PUSH2 0x7070 000037ab: PUSH19 0x6f76616c20746f2063757272656e74206f776e 000037bf: PUSH6 0x724552433732 000037c6: BALANCE 000037c7: GASPRICE 000037c8: KECCAK256 000037c9: PUSH21 0x72616e736665722063616c6c6572206973206e6f74 000037df: KECCAK256 000037e0: PUSH16 0x776e6572206e6f7220617070726f7665 000037f1: PUSH5 0xa264697066 000037f7: PUSH20 0x58221220827d3aed44087f8a58f5f0bf7a537c65 0000380c: EQ 0000380d: DUP8 0000380e: PUSH19 0xfde5e467f4bb1be9ba6f6e79a964736f6c6343 00003822: STOP 00003823: SMOD 00003824: STOP 00003825: STOP 00003826: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xb88d4fde",
"selector": "0xb88d4fde",
"calldata_variants": [
"0xb88d4fde",
"0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc87b56dd",
"selector": "0xc87b56dd",
"calldata_variants": [
"0xc87b56dd",
"0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe985e9c5",
"selector": "0xe985e9c5",
"calldata_variants": [
"0xe985e9c5",
"0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa22cb465",
"selector": "0xa22cb465",
"calldata_variants": [
"0xa22cb465",
"0xa22cb4650000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa4e0b4fe",
"selector": "0xa4e0b4fe",
"calldata_variants": [
"0xa4e0b4fe",
"0xa4e0b4fe0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xaddade17",
"selector": "0xaddade17",
"calldata_variants": [
"0xaddade17",
"0xaddade170000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6352211e",
"selector": "0x6352211e",
"calldata_variants": [
"0x6352211e",
"0x6352211e0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 13602,
"type": "tx_origin_used"
},
{
"pc": 13711,
"type": "tx_origin_used"
},
{
"pc": 13785,
"type": "tx_origin_used"
},
{
"pc": 13862,
"type": "tx_origin_used"
},
{
"pc": 13918,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x99204e328de4fc4d2dd5f968c87891cca726009e34d8fbcbd1c8234a532e2a32
call_targets:
0x050edaa133eae30ba0124eb861a2fa8e835933ed
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x99204e328de4fc4d2dd5f968c87891cca726009e34d8fbcbd1c8234a532e2a32",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x050edaa133eae30ba0124eb861a2fa8e835933ed"
],
"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": "0xb88d4fde",
"selector": "0xb88d4fde",
"calldata_variants": [
"0xb88d4fde",
"0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc87b56dd",
"selector": "0xc87b56dd",
"calldata_variants": [
"0xc87b56dd",
"0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe985e9c5",
"selector": "0xe985e9c5",
"calldata_variants": [
"0xe985e9c5",
"0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa22cb465",
"selector": "0xa22cb465",
"calldata_variants": [
"0xa22cb465",
"0xa22cb4650000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa4e0b4fe",
"selector": "0xa4e0b4fe",
"calldata_variants": [
"0xa4e0b4fe",
"0xa4e0b4fe0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xaddade17",
"selector": "0xaddade17",
"calldata_variants": [
"0xaddade17",
"0xaddade170000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6352211e",
"selector": "0x6352211e",
"calldata_variants": [
"0x6352211e",
"0x6352211e0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4713,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 13097,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 13602,
"type": "tx_origin_used"
},
{
"pc": 13711,
"type": "tx_origin_used"
},
{
"pc": 13785,
"type": "tx_origin_used"
},
{
"pc": 13862,
"type": "tx_origin_used"
},
{
"pc": 13918,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x99204e328de4fc4d2dd5f968c87891cca726009e34d8fbcbd1c8234a532e2a32
call_targets:
0x050edaa133eae30ba0124eb861a2fa8e835933ed
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x99204e328de4fc4d2dd5f968c87891cca726009e34d8fbcbd1c8234a532e2a32",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x050edaa133eae30ba0124eb861a2fa8e835933ed"
],
"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": "0xb88d4fde",
"selector": "0xb88d4fde",
"calldata_variants": [
"0xb88d4fde",
"0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc87b56dd",
"selector": "0xc87b56dd",
"calldata_variants": [
"0xc87b56dd",
"0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe985e9c5",
"selector": "0xe985e9c5",
"calldata_variants": [
"0xe985e9c5",
"0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa22cb465",
"selector": "0xa22cb465",
"calldata_variants": [
"0xa22cb465",
"0xa22cb4650000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa4e0b4fe",
"selector": "0xa4e0b4fe",
"calldata_variants": [
"0xa4e0b4fe",
"0xa4e0b4fe0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xaddade17",
"selector": "0xaddade17",
"calldata_variants": [
"0xaddade17",
"0xaddade170000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6352211e",
"selector": "0x6352211e",
"calldata_variants": [
"0x6352211e",
"0x6352211e0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4713,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 13097,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 13602,
"type": "tx_origin_used"
},
{
"pc": 13711,
"type": "tx_origin_used"
},
{
"pc": 13785,
"type": "tx_origin_used"
},
{
"pc": 13862,
"type": "tx_origin_used"
},
{
"pc": 13918,
"type": "tx_origin_used"
}
]
}
|