019b477e-c810-70b3-9f1b-881f680b9c9c
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 |
|---|---|---|---|---|
| 26067 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 26068 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 113091 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 113092 | capability.graph | complete | 1 / 3 | 1 week ago |
| 113093 | detector.run | complete | 1 / 3 | 1 week ago |
| 113094 | 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 0x0246 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8da5cb5b 00000019: GT 0000001a: PUSH2 0x0139 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xc47f0027 00000024: GT 00000025: PUSH2 0x00b6 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xdecd6e5b 0000002f: GT 00000030: PUSH2 0x007a 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xdecd6e5b 0000003a: EQ 0000003b: PUSH2 0x0655 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xdff13081 00000045: EQ 00000046: PUSH2 0x066a 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xe985e9c5 00000050: EQ 00000051: PUSH2 0x067f 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xedc1fe41 0000005b: EQ 0000005c: PUSH2 0x06c8 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0xf2fde38b 00000066: EQ 00000067: PUSH2 0x06dd 0000006a: JUMPI 0000006b: DUP1 0000006c: PUSH4 0xf47d224b 00000071: EQ 00000072: PUSH2 0x06fd 00000075: JUMPI 00000076: PUSH1 0x00 00000078: DUP1 00000079: REVERT 0000007a: JUMPDEST 0000007b: DUP1 0000007c: PUSH4 0xc47f0027 00000081: EQ 00000082: PUSH2 0x05cc 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xc4be5b59 0000008c: EQ 0000008d: PUSH2 0x05ec 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0xc87b56dd 00000097: EQ 00000098: PUSH2 0x05ff 0000009b: JUMPI 0000009c: DUP1 0000009d: PUSH4 0xcc46f31e 000000a2: EQ 000000a3: PUSH2 0x061f 000000a6: JUMPI 000000a7: DUP1 000000a8: PUSH4 0xd60abf78 000000ad: EQ 000000ae: PUSH2 0x063f 000000b1: JUMPI 000000b2: PUSH1 0x00 000000b4: DUP1 000000b5: REVERT 000000b6: JUMPDEST 000000b7: DUP1 000000b8: PUSH4 0xa035b1fe 000000bd: GT 000000be: PUSH2 0x00fd 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0xa035b1fe 000000c8: EQ 000000c9: PUSH2 0x0541 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0xa22cb465 000000d3: EQ 000000d4: PUSH2 0x0557 000000d7: JUMPI 000000d8: DUP1 000000d9: PUSH4 0xa62771d6 000000de: EQ 000000df: PUSH2 0x0577 000000e2: JUMPI 000000e3: DUP1 000000e4: PUSH4 0xb84c8246 000000e9: EQ 000000ea: PUSH2 0x058c 000000ed: JUMPI 000000ee: DUP1 000000ef: PUSH4 0xb88d4fde 000000f4: EQ 000000f5: PUSH2 0x05ac 000000f8: JUMPI 000000f9: PUSH1 0x00 000000fb: DUP1 000000fc: REVERT 000000fd: JUMPDEST 000000fe: DUP1 000000ff: PUSH4 0x8da5cb5b 00000104: EQ 00000105: PUSH2 0x04a9 00000108: JUMPI 00000109: DUP1 0000010a: PUSH4 0x91b7f5ed 0000010f: EQ 00000110: PUSH2 0x04cc 00000113: JUMPI 00000114: DUP1 00000115: PUSH4 0x95d89b41 0000011a: EQ 0000011b: PUSH2 0x04ec 0000011e: JUMPI 0000011f: DUP1 00000120: PUSH4 0x9851b815 00000125: EQ 00000126: PUSH2 0x0501 00000129: JUMPI 0000012a: DUP1 0000012b: PUSH4 0x9afd313f 00000130: EQ 00000131: PUSH2 0x0521 00000134: JUMPI 00000135: PUSH1 0x00 00000137: DUP1 00000138: REVERT 00000139: JUMPDEST 0000013a: DUP1 0000013b: PUSH4 0x3f4ba83a 00000140: GT 00000141: PUSH2 0x01c7 00000144: JUMPI 00000145: DUP1 00000146: PUSH4 0x70a08231 0000014b: GT 0000014c: PUSH2 0x018b 0000014f: JUMPI 00000150: DUP1 00000151: PUSH4 0x70a08231 00000156: EQ 00000157: PUSH2 0x042a 0000015a: JUMPI 0000015b: DUP1 0000015c: PUSH4 0x715018a6 00000161: EQ 00000162: PUSH2 0x044a 00000165: JUMPI 00000166: DUP1 00000167: PUSH4 0x76c64c62 0000016c: EQ 0000016d: PUSH2 0x045f 00000170: JUMPI 00000171: DUP1 00000172: PUSH4 0x7cb64759 00000177: EQ 00000178: PUSH2 0x0474 0000017b: JUMPI 0000017c: DUP1 0000017d: PUSH4 0x8456cb59 00000182: EQ 00000183: PUSH2 0x0494 00000186: JUMPI 00000187: PUSH1 0x00 00000189: DUP1 0000018a: REVERT 0000018b: JUMPDEST 0000018c: DUP1 0000018d: PUSH4 0x3f4ba83a 00000192: EQ 00000193: PUSH2 0x039d 00000196: JUMPI 00000197: DUP1 00000198: PUSH4 0x42842e0e 0000019d: EQ 0000019e: PUSH2 0x03b2 000001a1: JUMPI 000001a2: DUP1 000001a3: PUSH4 0x55f804b3 000001a8: EQ 000001a9: PUSH2 0x03d2 000001ac: JUMPI 000001ad: DUP1 000001ae: PUSH4 0x5c975abb 000001b3: EQ 000001b4: PUSH2 0x03f2 000001b7: JUMPI 000001b8: DUP1 000001b9: PUSH4 0x6352211e 000001be: EQ 000001bf: PUSH2 0x040a 000001c2: JUMPI 000001c3: PUSH1 0x00 000001c5: DUP1 000001c6: REVERT 000001c7: JUMPDEST 000001c8: DUP1 000001c9: PUSH4 0x18160ddd 000001ce: GT 000001cf: PUSH2 0x020e 000001d2: JUMPI 000001d3: DUP1 000001d4: PUSH4 0x18160ddd 000001d9: EQ 000001da: PUSH2 0x031c 000001dd: JUMPI 000001de: DUP1 000001df: PUSH4 0x23b872dd 000001e4: EQ 000001e5: PUSH2 0x033f 000001e8: JUMPI 000001e9: DUP1 000001ea: PUSH4 0x2402ca23 000001ef: EQ 000001f0: PUSH2 0x035f 000001f3: JUMPI 000001f4: DUP1 000001f5: PUSH4 0x2db11544 000001fa: EQ 000001fb: PUSH2 0x0375 000001fe: JUMPI 000001ff: DUP1 00000200: PUSH4 0x3ccfd60b 00000205: EQ 00000206: PUSH2 0x0388 00000209: JUMPI 0000020a: PUSH1 0x00 0000020c: DUP1 0000020d: REVERT 0000020e: JUMPDEST 0000020f: DUP1 00000210: PUSH4 0x01ffc9a7 00000215: EQ 00000216: PUSH2 0x024b 00000219: JUMPI 0000021a: DUP1 0000021b: PUSH4 0x06fdde03 00000220: EQ 00000221: PUSH2 0x0280 00000224: JUMPI 00000225: DUP1 00000226: PUSH4 0x081812fc 0000022b: EQ 0000022c: PUSH2 0x02a2 0000022f: JUMPI 00000230: DUP1 00000231: PUSH4 0x095ea7b3 00000236: EQ 00000237: PUSH2 0x02da 0000023a: JUMPI 0000023b: DUP1 0000023c: PUSH4 0x0ff8e323 00000241: EQ 00000242: PUSH2 0x02fc 00000245: JUMPI 00000246: JUMPDEST 00000247: PUSH1 0x00 00000249: DUP1 0000024a: REVERT 0000024b: JUMPDEST 0000024c: CALLVALUE 0000024d: DUP1 0000024e: ISZERO 0000024f: PUSH2 0x0257 00000252: JUMPI 00000253: PUSH1 0x00 00000255: DUP1 00000256: REVERT 00000257: JUMPDEST 00000258: POP 00000259: PUSH2 0x026b 0000025c: PUSH2 0x0266 0000025f: CALLDATASIZE 00000260: PUSH1 0x04 00000262: PUSH2 0x2313 00000265: JUMP 00000266: JUMPDEST 00000267: PUSH2 0x0712 0000026a: JUMP 0000026b: JUMPDEST 0000026c: PUSH1 0x40 0000026e: MLOAD 0000026f: SWAP1 00000270: ISZERO 00000271: ISZERO 00000272: DUP2 00000273: MSTORE 00000274: PUSH1 0x20 00000276: ADD 00000277: JUMPDEST 00000278: PUSH1 0x40 0000027a: MLOAD 0000027b: DUP1 0000027c: SWAP2 0000027d: SUB 0000027e: SWAP1 0000027f: RETURN 00000280: JUMPDEST 00000281: CALLVALUE 00000282: DUP1 00000283: ISZERO 00000284: PUSH2 0x028c 00000287: JUMPI 00000288: PUSH1 0x00 0000028a: DUP1 0000028b: REVERT 0000028c: JUMPDEST 0000028d: POP 0000028e: PUSH2 0x0295 00000291: PUSH2 0x0764 00000294: JUMP 00000295: JUMPDEST 00000296: PUSH1 0x40 00000298: MLOAD 00000299: PUSH2 0x0277 0000029c: SWAP2 0000029d: SWAP1 0000029e: PUSH2 0x24bf 000002a1: JUMP 000002a2: JUMPDEST 000002a3: CALLVALUE 000002a4: DUP1 000002a5: ISZERO 000002a6: PUSH2 0x02ae 000002a9: JUMPI 000002aa: PUSH1 0x00 000002ac: DUP1 000002ad: REVERT 000002ae: JUMPDEST 000002af: POP 000002b0: PUSH2 0x02c2 000002b3: PUSH2 0x02bd 000002b6: CALLDATASIZE 000002b7: PUSH1 0x04 000002b9: PUSH2 0x22fb 000002bc: JUMP 000002bd: JUMPDEST 000002be: PUSH2 0x07f6 000002c1: JUMP 000002c2: JUMPDEST 000002c3: PUSH1 0x40 000002c5: MLOAD 000002c6: PUSH1 0x01 000002c8: PUSH1 0x01 000002ca: PUSH1 0xa0 000002cc: SHL 000002cd: SUB 000002ce: SWAP1 000002cf: SWAP2 000002d0: AND 000002d1: DUP2 000002d2: MSTORE 000002d3: PUSH1 0x20 000002d5: ADD 000002d6: PUSH2 0x0277 000002d9: JUMP 000002da: JUMPDEST 000002db: CALLVALUE 000002dc: DUP1 000002dd: ISZERO 000002de: PUSH2 0x02e6 000002e1: JUMPI 000002e2: PUSH1 0x00 000002e4: DUP1 000002e5: REVERT 000002e6: JUMPDEST 000002e7: POP 000002e8: PUSH2 0x02fa 000002eb: PUSH2 0x02f5 000002ee: CALLDATASIZE 000002ef: PUSH1 0x04 000002f1: PUSH2 0x22d2 000002f4: JUMP 000002f5: JUMPDEST 000002f6: PUSH2 0x083a 000002f9: JUMP 000002fa: JUMPDEST 000002fb: STOP 000002fc: JUMPDEST 000002fd: CALLVALUE 000002fe: DUP1 000002ff: ISZERO 00000300: PUSH2 0x0308 00000303: JUMPI 00000304: PUSH1 0x00 00000306: DUP1 00000307: REVERT 00000308: JUMPDEST 00000309: POP 0000030a: PUSH2 0x02fa 0000030d: PUSH2 0x0317 00000310: CALLDATASIZE 00000311: PUSH1 0x04 00000313: PUSH2 0x22d2 00000316: JUMP 00000317: JUMPDEST 00000318: PUSH2 0x08c8 0000031b: JUMP 0000031c: JUMPDEST 0000031d: CALLVALUE 0000031e: DUP1 0000031f: ISZERO 00000320: PUSH2 0x0328 00000323: JUMPI 00000324: PUSH1 0x00 00000326: DUP1 00000327: REVERT 00000328: JUMPDEST 00000329: POP 0000032a: PUSH1 0x01 0000032c: SLOAD 0000032d: PUSH1 0x00 0000032f: SLOAD 00000330: SUB 00000331: JUMPDEST 00000332: PUSH1 0x40 00000334: MLOAD 00000335: SWAP1 00000336: DUP2 00000337: MSTORE 00000338: PUSH1 0x20 0000033a: ADD 0000033b: PUSH2 0x0277 0000033e: JUMP 0000033f: JUMPDEST 00000340: CALLVALUE 00000341: DUP1 00000342: ISZERO 00000343: PUSH2 0x034b 00000346: JUMPI 00000347: PUSH1 0x00 00000349: DUP1 0000034a: REVERT 0000034b: JUMPDEST 0000034c: POP 0000034d: PUSH2 0x02fa 00000350: PUSH2 0x035a 00000353: CALLDATASIZE 00000354: PUSH1 0x04 00000356: PUSH2 0x21e4 00000359: JUMP 0000035a: JUMPDEST 0000035b: PUSH2 0x090f 0000035e: JUMP 0000035f: JUMPDEST 00000360: CALLVALUE 00000361: DUP1 00000362: ISZERO 00000363: PUSH2 0x036b 00000366: JUMPI 00000367: PUSH1 0x00 00000369: DUP1 0000036a: REVERT 0000036b: JUMPDEST 0000036c: POP 0000036d: PUSH2 0x0331 00000370: PUSH1 0x0f 00000372: SLOAD 00000373: DUP2 00000374: JUMP 00000375: JUMPDEST 00000376: PUSH2 0x02fa 00000379: PUSH2 0x0383 0000037c: CALLDATASIZE 0000037d: PUSH1 0x04 0000037f: PUSH2 0x22fb 00000382: JUMP 00000383: JUMPDEST 00000384: PUSH2 0x091a 00000387: JUMP 00000388: JUMPDEST 00000389: CALLVALUE 0000038a: DUP1 0000038b: ISZERO 0000038c: PUSH2 0x0394 0000038f: JUMPI 00000390: PUSH1 0x00 00000392: DUP1 00000393: REVERT 00000394: JUMPDEST 00000395: POP 00000396: PUSH2 0x02fa 00000399: PUSH2 0x0a16 0000039c: JUMP 0000039d: JUMPDEST 0000039e: CALLVALUE 0000039f: DUP1 000003a0: ISZERO 000003a1: PUSH2 0x03a9 000003a4: JUMPI 000003a5: PUSH1 0x00 000003a7: DUP1 000003a8: REVERT 000003a9: JUMPDEST 000003aa: POP 000003ab: PUSH2 0x02fa 000003ae: PUSH2 0x0a75 000003b1: JUMP 000003b2: JUMPDEST 000003b3: CALLVALUE 000003b4: DUP1 000003b5: ISZERO 000003b6: PUSH2 0x03be 000003b9: JUMPI 000003ba: PUSH1 0x00 000003bc: DUP1 000003bd: REVERT 000003be: JUMPDEST 000003bf: POP 000003c0: PUSH2 0x02fa 000003c3: PUSH2 0x03cd 000003c6: CALLDATASIZE 000003c7: PUSH1 0x04 000003c9: PUSH2 0x21e4 000003cc: JUMP 000003cd: JUMPDEST 000003ce: PUSH2 0x0aaf 000003d1: JUMP 000003d2: JUMPDEST 000003d3: CALLVALUE 000003d4: DUP1 000003d5: ISZERO 000003d6: PUSH2 0x03de 000003d9: JUMPI 000003da: PUSH1 0x00 000003dc: DUP1 000003dd: REVERT 000003de: JUMPDEST 000003df: POP 000003e0: PUSH2 0x02fa 000003e3: PUSH2 0x03ed 000003e6: CALLDATASIZE 000003e7: PUSH1 0x04 000003e9: PUSH2 0x234b 000003ec: JUMP 000003ed: JUMPDEST 000003ee: PUSH2 0x0aca 000003f1: JUMP 000003f2: JUMPDEST 000003f3: CALLVALUE 000003f4: DUP1 000003f5: ISZERO 000003f6: PUSH2 0x03fe 000003f9: JUMPI 000003fa: PUSH1 0x00 000003fc: DUP1 000003fd: REVERT 000003fe: JUMPDEST 000003ff: POP 00000400: PUSH1 0x08 00000402: SLOAD 00000403: PUSH1 0xff 00000405: AND 00000406: PUSH2 0x026b 00000409: JUMP 0000040a: JUMPDEST 0000040b: CALLVALUE 0000040c: DUP1 0000040d: ISZERO 0000040e: PUSH2 0x0416 00000411: JUMPI 00000412: PUSH1 0x00 00000414: DUP1 00000415: REVERT 00000416: JUMPDEST 00000417: POP 00000418: PUSH2 0x02c2 0000041b: PUSH2 0x0425 0000041e: CALLDATASIZE 0000041f: PUSH1 0x04 00000421: PUSH2 0x22fb 00000424: JUMP 00000425: JUMPDEST 00000426: PUSH2 0x0b0d 00000429: JUMP 0000042a: JUMPDEST 0000042b: CALLVALUE 0000042c: DUP1 0000042d: ISZERO 0000042e: PUSH2 0x0436 00000431: JUMPI 00000432: PUSH1 0x00 00000434: DUP1 00000435: REVERT 00000436: JUMPDEST 00000437: POP 00000438: PUSH2 0x0331 0000043b: PUSH2 0x0445 0000043e: CALLDATASIZE 0000043f: PUSH1 0x04 00000441: PUSH2 0x2198 00000444: JUMP 00000445: JUMPDEST 00000446: PUSH2 0x0b1f 00000449: JUMP 0000044a: JUMPDEST 0000044b: CALLVALUE 0000044c: DUP1 0000044d: ISZERO 0000044e: PUSH2 0x0456 00000451: JUMPI 00000452: PUSH1 0x00 00000454: DUP1 00000455: REVERT 00000456: JUMPDEST 00000457: POP 00000458: PUSH2 0x02fa 0000045b: PUSH2 0x0b6e 0000045e: JUMP 0000045f: JUMPDEST 00000460: CALLVALUE 00000461: DUP1 00000462: ISZERO 00000463: PUSH2 0x046b 00000466: JUMPI 00000467: PUSH1 0x00 00000469: DUP1 0000046a: REVERT 0000046b: JUMPDEST 0000046c: POP 0000046d: PUSH2 0x02fa 00000470: PUSH2 0x0ba8 00000473: JUMP 00000474: JUMPDEST 00000475: CALLVALUE 00000476: DUP1 00000477: ISZERO 00000478: PUSH2 0x0480 0000047b: JUMPI 0000047c: PUSH1 0x00 0000047e: DUP1 0000047f: REVERT 00000480: JUMPDEST 00000481: POP 00000482: PUSH2 0x02fa 00000485: PUSH2 0x048f 00000488: CALLDATASIZE 00000489: PUSH1 0x04 0000048b: PUSH2 0x22fb 0000048e: JUMP 0000048f: JUMPDEST 00000490: PUSH2 0x0be7 00000493: JUMP 00000494: JUMPDEST 00000495: CALLVALUE 00000496: DUP1 00000497: ISZERO 00000498: PUSH2 0x04a0 0000049b: JUMPI 0000049c: PUSH1 0x00 0000049e: DUP1 0000049f: REVERT 000004a0: JUMPDEST 000004a1: POP 000004a2: PUSH2 0x02fa 000004a5: PUSH2 0x0c1c 000004a8: JUMP 000004a9: JUMPDEST 000004aa: CALLVALUE 000004ab: DUP1 000004ac: ISZERO 000004ad: PUSH2 0x04b5 000004b0: JUMPI 000004b1: PUSH1 0x00 000004b3: DUP1 000004b4: REVERT 000004b5: JUMPDEST 000004b6: POP 000004b7: PUSH1 0x08 000004b9: SLOAD 000004ba: PUSH2 0x0100 000004bd: SWAP1 000004be: DIV 000004bf: PUSH1 0x01 000004c1: PUSH1 0x01 000004c3: PUSH1 0xa0 000004c5: SHL 000004c6: SUB 000004c7: AND 000004c8: PUSH2 0x02c2 000004cb: JUMP 000004cc: JUMPDEST 000004cd: CALLVALUE 000004ce: DUP1 000004cf: ISZERO 000004d0: PUSH2 0x04d8 000004d3: JUMPI 000004d4: PUSH1 0x00 000004d6: DUP1 000004d7: REVERT 000004d8: JUMPDEST 000004d9: POP 000004da: PUSH2 0x02fa 000004dd: PUSH2 0x04e7 000004e0: CALLDATASIZE 000004e1: PUSH1 0x04 000004e3: PUSH2 0x22fb 000004e6: JUMP 000004e7: JUMPDEST 000004e8: PUSH2 0x0c54 000004eb: JUMP 000004ec: JUMPDEST 000004ed: CALLVALUE 000004ee: DUP1 000004ef: ISZERO 000004f0: PUSH2 0x04f8 000004f3: JUMPI 000004f4: PUSH1 0x00 000004f6: DUP1 000004f7: REVERT 000004f8: JUMPDEST 000004f9: POP 000004fa: PUSH2 0x0295 000004fd: PUSH2 0x0c89 00000500: JUMP 00000501: JUMPDEST 00000502: CALLVALUE 00000503: DUP1 00000504: ISZERO 00000505: PUSH2 0x050d 00000508: JUMPI 00000509: PUSH1 0x00 0000050b: DUP1 0000050c: REVERT 0000050d: JUMPDEST 0000050e: POP 0000050f: PUSH2 0x02fa 00000512: PUSH2 0x051c 00000515: CALLDATASIZE 00000516: PUSH1 0x04 00000518: PUSH2 0x22fb 0000051b: JUMP 0000051c: JUMPDEST 0000051d: PUSH2 0x0c98 00000520: JUMP 00000521: JUMPDEST 00000522: CALLVALUE 00000523: DUP1 00000524: ISZERO 00000525: PUSH2 0x052d 00000528: JUMPI 00000529: PUSH1 0x00 0000052b: DUP1 0000052c: REVERT 0000052d: JUMPDEST 0000052e: POP 0000052f: PUSH2 0x02fa 00000532: PUSH2 0x053c 00000535: CALLDATASIZE 00000536: PUSH1 0x04 00000538: PUSH2 0x2198 0000053b: JUMP 0000053c: JUMPDEST 0000053d: PUSH2 0x0d18 00000540: JUMP 00000541: JUMPDEST 00000542: CALLVALUE 00000543: DUP1 00000544: ISZERO 00000545: PUSH2 0x054d 00000548: JUMPI 00000549: PUSH1 0x00 0000054b: DUP1 0000054c: REVERT 0000054d: JUMPDEST 0000054e: POP 0000054f: PUSH2 0x0331 00000552: PUSH1 0x0c 00000554: SLOAD 00000555: DUP2 00000556: JUMP 00000557: JUMPDEST 00000558: CALLVALUE 00000559: DUP1 0000055a: ISZERO 0000055b: PUSH2 0x0563 0000055e: JUMPI 0000055f: PUSH1 0x00 00000561: DUP1 00000562: REVERT 00000563: JUMPDEST 00000564: POP 00000565: PUSH2 0x02fa 00000568: PUSH2 0x0572 0000056b: CALLDATASIZE 0000056c: PUSH1 0x04 0000056e: PUSH2 0x2298 00000571: JUMP 00000572: JUMPDEST 00000573: PUSH2 0x0d51 00000576: JUMP 00000577: JUMPDEST 00000578: CALLVALUE 00000579: DUP1 0000057a: ISZERO 0000057b: PUSH2 0x0583 0000057e: JUMPI 0000057f: PUSH1 0x00 00000581: DUP1 00000582: REVERT 00000583: JUMPDEST 00000584: POP 00000585: PUSH2 0x0295 00000588: PUSH2 0x0de7 0000058b: JUMP 0000058c: JUMPDEST 0000058d: CALLVALUE 0000058e: DUP1 0000058f: ISZERO 00000590: PUSH2 0x0598 00000593: JUMPI 00000594: PUSH1 0x00 00000596: DUP1 00000597: REVERT 00000598: JUMPDEST 00000599: POP 0000059a: PUSH2 0x02fa 0000059d: PUSH2 0x05a7 000005a0: CALLDATASIZE 000005a1: PUSH1 0x04 000005a3: PUSH2 0x234b 000005a6: JUMP 000005a7: JUMPDEST 000005a8: PUSH2 0x0e03 000005ab: JUMP 000005ac: JUMPDEST 000005ad: CALLVALUE 000005ae: DUP1 000005af: ISZERO 000005b0: PUSH2 0x05b8 000005b3: JUMPI 000005b4: PUSH1 0x00 000005b6: DUP1 000005b7: REVERT 000005b8: JUMPDEST 000005b9: POP 000005ba: PUSH2 0x02fa 000005bd: PUSH2 0x05c7 000005c0: CALLDATASIZE 000005c1: PUSH1 0x04 000005c3: PUSH2 0x221f 000005c6: JUMP 000005c7: JUMPDEST 000005c8: PUSH2 0x0e46 000005cb: JUMP 000005cc: JUMPDEST 000005cd: CALLVALUE 000005ce: DUP1 000005cf: ISZERO 000005d0: PUSH2 0x05d8 000005d3: JUMPI 000005d4: PUSH1 0x00 000005d6: DUP1 000005d7: REVERT 000005d8: JUMPDEST 000005d9: POP 000005da: PUSH2 0x02fa 000005dd: PUSH2 0x05e7 000005e0: CALLDATASIZE 000005e1: PUSH1 0x04 000005e3: PUSH2 0x234b 000005e6: JUMP 000005e7: JUMPDEST 000005e8: PUSH2 0x0e97 000005eb: JUMP 000005ec: JUMPDEST 000005ed: PUSH2 0x02fa 000005f0: PUSH2 0x05fa 000005f3: CALLDATASIZE 000005f4: PUSH1 0x04 000005f6: PUSH2 0x23a9 000005f9: JUMP 000005fa: JUMPDEST 000005fb: PUSH2 0x0eda 000005fe: JUMP 000005ff: JUMPDEST 00000600: CALLVALUE 00000601: DUP1 00000602: ISZERO 00000603: PUSH2 0x060b 00000606: JUMPI 00000607: PUSH1 0x00 00000609: DUP1 0000060a: REVERT 0000060b: JUMPDEST 0000060c: POP 0000060d: PUSH2 0x0295 00000610: PUSH2 0x061a 00000613: CALLDATASIZE 00000614: PUSH1 0x04 00000616: PUSH2 0x22fb 00000619: JUMP 0000061a: JUMPDEST 0000061b: PUSH2 0x1069 0000061e: JUMP 0000061f: JUMPDEST 00000620: CALLVALUE 00000621: DUP1 00000622: ISZERO 00000623: PUSH2 0x062b 00000626: JUMPI 00000627: PUSH1 0x00 00000629: DUP1 0000062a: REVERT 0000062b: JUMPDEST 0000062c: POP 0000062d: PUSH2 0x02fa 00000630: PUSH2 0x063a 00000633: CALLDATASIZE 00000634: PUSH1 0x04 00000636: PUSH2 0x22fb 00000639: JUMP 0000063a: JUMPDEST 0000063b: PUSH2 0x10ee 0000063e: JUMP 0000063f: JUMPDEST 00000640: CALLVALUE 00000641: DUP1 00000642: ISZERO 00000643: PUSH2 0x064b 00000646: JUMPI 00000647: PUSH1 0x00 00000649: DUP1 0000064a: REVERT 0000064b: JUMPDEST 0000064c: POP 0000064d: PUSH2 0x0331 00000650: PUSH1 0x13 00000652: SLOAD 00000653: DUP2 00000654: JUMP 00000655: JUMPDEST 00000656: CALLVALUE 00000657: DUP1 00000658: ISZERO 00000659: PUSH2 0x0661 0000065c: JUMPI 0000065d: PUSH1 0x00 0000065f: DUP1 00000660: REVERT 00000661: JUMPDEST 00000662: POP 00000663: PUSH2 0x02fa 00000666: PUSH2 0x116e 00000669: JUMP 0000066a: JUMPDEST 0000066b: CALLVALUE 0000066c: DUP1 0000066d: ISZERO 0000066e: PUSH2 0x0676 00000671: JUMPI 00000672: PUSH1 0x00 00000674: DUP1 00000675: REVERT 00000676: JUMPDEST 00000677: POP 00000678: PUSH2 0x02fa 0000067b: PUSH2 0x11aa 0000067e: JUMP 0000067f: JUMPDEST 00000680: CALLVALUE 00000681: DUP1 00000682: ISZERO 00000683: PUSH2 0x068b 00000686: JUMPI 00000687: PUSH1 0x00 00000689: DUP1 0000068a: REVERT 0000068b: JUMPDEST 0000068c: POP 0000068d: PUSH2 0x026b 00000690: PUSH2 0x069a 00000693: CALLDATASIZE 00000694: PUSH1 0x04 00000696: PUSH2 0x21b2 00000699: JUMP 0000069a: JUMPDEST 0000069b: PUSH1 0x01 0000069d: PUSH1 0x01 0000069f: PUSH1 0xa0 000006a1: SHL 000006a2: SUB 000006a3: SWAP2 000006a4: DUP3 000006a5: AND 000006a6: PUSH1 0x00 000006a8: SWAP1 000006a9: DUP2 000006aa: MSTORE 000006ab: PUSH1 0x07 000006ad: PUSH1 0x20 000006af: SWAP1 000006b0: DUP2 000006b1: MSTORE 000006b2: PUSH1 0x40 000006b4: DUP1 000006b5: DUP4 000006b6: KECCAK256 000006b7: SWAP4 000006b8: SWAP1 000006b9: SWAP5 000006ba: AND 000006bb: DUP3 000006bc: MSTORE 000006bd: SWAP2 000006be: SWAP1 000006bf: SWAP2 000006c0: MSTORE 000006c1: KECCAK256 000006c2: SLOAD 000006c3: PUSH1 0xff 000006c5: AND 000006c6: SWAP1 000006c7: JUMP 000006c8: JUMPDEST 000006c9: CALLVALUE 000006ca: DUP1 000006cb: ISZERO 000006cc: PUSH2 0x06d4 000006cf: JUMPI 000006d0: PUSH1 0x00 000006d2: DUP1 000006d3: REVERT 000006d4: JUMPDEST 000006d5: POP 000006d6: PUSH2 0x02fa 000006d9: PUSH2 0x1205 000006dc: JUMP 000006dd: JUMPDEST 000006de: CALLVALUE 000006df: DUP1 000006e0: ISZERO 000006e1: PUSH2 0x06e9 000006e4: JUMPI 000006e5: PUSH1 0x00 000006e7: DUP1 000006e8: REVERT 000006e9: JUMPDEST 000006ea: POP 000006eb: PUSH2 0x02fa 000006ee: PUSH2 0x06f8 000006f1: CALLDATASIZE 000006f2: PUSH1 0x04 000006f4: PUSH2 0x2198 000006f7: JUMP 000006f8: JUMPDEST 000006f9: PUSH2 0x1241 000006fc: JUMP 000006fd: JUMPDEST 000006fe: CALLVALUE 000006ff: DUP1 00000700: ISZERO 00000701: PUSH2 0x0709 00000704: JUMPI 00000705: PUSH1 0x00 00000707: DUP1 00000708: REVERT 00000709: JUMPDEST 0000070a: POP 0000070b: PUSH2 0x02fa 0000070e: PUSH2 0x12df 00000711: JUMP 00000712: JUMPDEST 00000713: PUSH1 0x00 00000715: PUSH1 0x01 00000717: PUSH1 0x01 00000719: PUSH1 0xe0 0000071b: SHL 0000071c: SUB 0000071d: NOT 0000071e: DUP3 0000071f: AND 00000720: PUSH4 0x80ac58cd 00000725: PUSH1 0xe0 00000727: SHL 00000728: EQ 00000729: DUP1 0000072a: PUSH2 0x0743 0000072d: JUMPI 0000072e: POP 0000072f: PUSH1 0x01 00000731: PUSH1 0x01 00000733: PUSH1 0xe0 00000735: SHL 00000736: SUB 00000737: NOT 00000738: DUP3 00000739: AND 0000073a: PUSH4 0x5b5e139f 0000073f: PUSH1 0xe0 00000741: SHL 00000742: EQ 00000743: JUMPDEST 00000744: DUP1 00000745: PUSH2 0x075e 00000748: JUMPI 00000749: POP 0000074a: PUSH4 0x01ffc9a7 0000074f: PUSH1 0xe0 00000751: SHL 00000752: PUSH1 0x01 00000754: PUSH1 0x01 00000756: PUSH1 0xe0 00000758: SHL 00000759: SUB 0000075a: NOT 0000075b: DUP4 0000075c: AND 0000075d: EQ 0000075e: JUMPDEST 0000075f: SWAP3 00000760: SWAP2 00000761: POP 00000762: POP 00000763: JUMP 00000764: JUMPDEST 00000765: PUSH1 0x60 00000767: PUSH1 0x0a 00000769: DUP1 0000076a: SLOAD 0000076b: PUSH2 0x0773 0000076e: SWAP1 0000076f: PUSH2 0x2595 00000772: JUMP 00000773: JUMPDEST 00000774: DUP1 00000775: PUSH1 0x1f 00000777: ADD 00000778: PUSH1 0x20 0000077a: DUP1 0000077b: SWAP2 0000077c: DIV 0000077d: MUL 0000077e: PUSH1 0x20 00000780: ADD 00000781: PUSH1 0x40 00000783: MLOAD 00000784: SWAP1 00000785: DUP2 00000786: ADD 00000787: PUSH1 0x40 00000789: MSTORE 0000078a: DUP1 0000078b: SWAP3 0000078c: SWAP2 0000078d: SWAP1 0000078e: DUP2 0000078f: DUP2 00000790: MSTORE 00000791: PUSH1 0x20 00000793: ADD 00000794: DUP3 00000795: DUP1 00000796: SLOAD 00000797: PUSH2 0x079f 0000079a: SWAP1 0000079b: PUSH2 0x2595 0000079e: JUMP 0000079f: JUMPDEST 000007a0: DUP1 000007a1: ISZERO 000007a2: PUSH2 0x07ec 000007a5: JUMPI 000007a6: DUP1 000007a7: PUSH1 0x1f 000007a9: LT 000007aa: PUSH2 0x07c1 000007ad: JUMPI 000007ae: PUSH2 0x0100 000007b1: DUP1 000007b2: DUP4 000007b3: SLOAD 000007b4: DIV 000007b5: MUL 000007b6: DUP4 000007b7: MSTORE 000007b8: SWAP2 000007b9: PUSH1 0x20 000007bb: ADD 000007bc: SWAP2 000007bd: PUSH2 0x07ec 000007c0: JUMP 000007c1: JUMPDEST 000007c2: DUP3 000007c3: ADD 000007c4: SWAP2 000007c5: SWAP1 000007c6: PUSH1 0x00 000007c8: MSTORE 000007c9: PUSH1 0x20 000007cb: PUSH1 0x00 000007cd: KECCAK256 000007ce: SWAP1 000007cf: JUMPDEST 000007d0: DUP2 000007d1: SLOAD 000007d2: DUP2 000007d3: MSTORE 000007d4: SWAP1 000007d5: PUSH1 0x01 000007d7: ADD 000007d8: SWAP1 000007d9: PUSH1 0x20 000007db: ADD 000007dc: DUP1 000007dd: DUP4 000007de: GT 000007df: PUSH2 0x07cf 000007e2: JUMPI 000007e3: DUP3 000007e4: SWAP1 000007e5: SUB 000007e6: PUSH1 0x1f 000007e8: AND 000007e9: DUP3 000007ea: ADD 000007eb: SWAP2 000007ec: JUMPDEST 000007ed: POP 000007ee: POP 000007ef: POP 000007f0: POP 000007f1: POP 000007f2: SWAP1 000007f3: POP 000007f4: SWAP1 000007f5: JUMP 000007f6: JUMPDEST 000007f7: PUSH1 0x00 000007f9: PUSH2 0x0801 000007fc: DUP3 000007fd: PUSH2 0x132d 00000800: JUMP 00000801: JUMPDEST 00000802: PUSH2 0x081e 00000805: JUMPI 00000806: PUSH1 0x40 00000808: MLOAD 00000809: PUSH4 0x33d1c039 0000080e: PUSH1 0xe2 00000810: SHL 00000811: DUP2 00000812: MSTORE 00000813: PUSH1 0x04 00000815: ADD 00000816: PUSH1 0x40 00000818: MLOAD 00000819: DUP1 0000081a: SWAP2 0000081b: SUB 0000081c: SWAP1 0000081d: REVERT 0000081e: JUMPDEST 0000081f: POP 00000820: PUSH1 0x00 00000822: SWAP1 00000823: DUP2 00000824: MSTORE 00000825: PUSH1 0x06 00000827: PUSH1 0x20 00000829: MSTORE 0000082a: PUSH1 0x40 0000082c: SWAP1 0000082d: KECCAK256 0000082e: SLOAD 0000082f: PUSH1 0x01 00000831: PUSH1 0x01 00000833: PUSH1 0xa0 00000835: SHL 00000836: SUB 00000837: AND 00000838: SWAP1 00000839: JUMP 0000083a: JUMPDEST 0000083b: PUSH1 0x00 0000083d: PUSH2 0x0845 00000840: DUP3 00000841: PUSH2 0x0b0d 00000844: JUMP 00000845: JUMPDEST 00000846: SWAP1 00000847: POP 00000848: DUP1 00000849: PUSH1 0x01 0000084b: PUSH1 0x01 0000084d: PUSH1 0xa0 0000084f: SHL 00000850: SUB 00000851: AND 00000852: DUP4 00000853: PUSH1 0x01 00000855: PUSH1 0x01 00000857: PUSH1 0xa0 00000859: SHL 0000085a: SUB 0000085b: AND 0000085c: EQ 0000085d: ISZERO 0000085e: PUSH2 0x087a 00000861: JUMPI 00000862: PUSH1 0x40 00000864: MLOAD 00000865: PUSH4 0x250fdee3 0000086a: PUSH1 0xe2 0000086c: SHL 0000086d: DUP2 0000086e: MSTORE 0000086f: PUSH1 0x04 00000871: ADD 00000872: PUSH1 0x40 00000874: MLOAD 00000875: DUP1 00000876: SWAP2 00000877: SUB 00000878: SWAP1 00000879: REVERT 0000087a: JUMPDEST 0000087b: CALLER 0000087c: PUSH1 0x01 0000087e: PUSH1 0x01 00000880: PUSH1 0xa0 00000882: SHL 00000883: SUB 00000884: DUP3 00000885: AND 00000886: EQ 00000887: DUP1 00000888: ISZERO 00000889: SWAP1 0000088a: PUSH2 0x089a 0000088d: JUMPI 0000088e: POP 0000088f: PUSH2 0x0898 00000892: DUP2 00000893: CALLER 00000894: PUSH2 0x069a 00000897: JUMP 00000898: JUMPDEST 00000899: ISZERO 0000089a: JUMPDEST 0000089b: ISZERO 0000089c: PUSH2 0x08b8 0000089f: JUMPI 000008a0: PUSH1 0x40 000008a2: MLOAD 000008a3: PUSH4 0x67d9dca1 000008a8: PUSH1 0xe1 000008aa: SHL 000008ab: DUP2 000008ac: MSTORE 000008ad: PUSH1 0x04 000008af: ADD 000008b0: PUSH1 0x40 000008b2: MLOAD 000008b3: DUP1 000008b4: SWAP2 000008b5: SUB 000008b6: SWAP1 000008b7: REVERT 000008b8: JUMPDEST 000008b9: PUSH2 0x08c3 000008bc: DUP4 000008bd: DUP4 000008be: DUP4 000008bf: PUSH2 0x1358 000008c2: JUMP 000008c3: JUMPDEST 000008c4: POP 000008c5: POP 000008c6: POP 000008c7: JUMP 000008c8: JUMPDEST 000008c9: PUSH1 0x08 000008cb: SLOAD 000008cc: PUSH1 0x01 000008ce: PUSH1 0x01 000008d0: PUSH1 0xa0 000008d2: SHL 000008d3: SUB 000008d4: PUSH2 0x0100 000008d7: SWAP1 000008d8: SWAP2 000008d9: DIV 000008da: AND 000008db: CALLER 000008dc: EQ 000008dd: PUSH2 0x0901 000008e0: JUMPI 000008e1: PUSH1 0x40 000008e3: MLOAD 000008e4: PUSH3 0x461bcd 000008e8: PUSH1 0xe5 000008ea: SHL 000008eb: DUP2 000008ec: MSTORE 000008ed: PUSH1 0x04 000008ef: ADD 000008f0: PUSH2 0x08f8 000008f3: SWAP1 000008f4: PUSH2 0x24d2 000008f7: JUMP 000008f8: JUMPDEST 000008f9: PUSH1 0x40 000008fb: MLOAD 000008fc: DUP1 000008fd: SWAP2 000008fe: SUB 000008ff: SWAP1 00000900: REVERT 00000901: JUMPDEST 00000902: PUSH2 0x090b 00000905: DUP3 00000906: DUP3 00000907: PUSH2 0x13b4 0000090a: JUMP 0000090b: JUMPDEST 0000090c: POP 0000090d: POP 0000090e: JUMP 0000090f: JUMPDEST 00000910: PUSH2 0x08c3 00000913: DUP4 00000914: DUP4 00000915: DUP4 00000916: PUSH2 0x14ea 00000919: JUMP 0000091a: JUMPDEST 0000091b: ORIGIN 0000091c: CALLER 0000091d: EQ 0000091e: PUSH2 0x095f 00000921: JUMPI 00000922: PUSH1 0x40 00000924: MLOAD 00000925: PUSH3 0x461bcd 00000929: PUSH1 0xe5 0000092b: SHL 0000092c: DUP2 0000092d: MSTORE 0000092e: PUSH1 0x20 00000930: PUSH1 0x04 00000932: DUP3 00000933: ADD 00000934: MSTORE 00000935: PUSH1 0x13 00000937: PUSH1 0x24 00000939: DUP3 0000093a: ADD 0000093b: MSTORE 0000093c: PUSH19 0x21b0b63632b91036bab9ba103132903ab9b2b9 00000950: PUSH1 0x69 00000952: SHL 00000953: PUSH1 0x44 00000955: DUP3 00000956: ADD 00000957: MSTORE 00000958: PUSH1 0x64 0000095a: ADD 0000095b: PUSH2 0x08f8 0000095e: JUMP 0000095f: JUMPDEST 00000960: PUSH1 0x11 00000962: SLOAD 00000963: PUSH1 0xff 00000965: AND 00000966: PUSH2 0x09b1 00000969: JUMPI 0000096a: PUSH1 0x40 0000096c: MLOAD 0000096d: PUSH3 0x461bcd 00000971: PUSH1 0xe5 00000973: SHL 00000974: DUP2 00000975: MSTORE 00000976: PUSH1 0x20 00000978: PUSH1 0x04 0000097a: DUP3 0000097b: ADD 0000097c: MSTORE 0000097d: PUSH1 0x1a 0000097f: PUSH1 0x24 00000981: DUP3 00000982: ADD 00000983: MSTORE 00000984: PUSH32 0x5075626c6963206d696e74696e67206469646e74207374617274000000000000 000009a5: PUSH1 0x44 000009a7: DUP3 000009a8: ADD 000009a9: MSTORE 000009aa: PUSH1 0x64 000009ac: ADD 000009ad: PUSH2 0x08f8 000009b0: JUMP 000009b1: JUMPDEST 000009b2: DUP1 000009b3: PUSH1 0x0c 000009b5: SLOAD 000009b6: PUSH2 0x09bf 000009b9: SWAP2 000009ba: SWAP1 000009bb: PUSH2 0x2533 000009be: JUMP 000009bf: JUMPDEST 000009c0: CALLVALUE 000009c1: EQ 000009c2: PUSH2 0x0a09 000009c5: JUMPI 000009c6: PUSH1 0x40 000009c8: MLOAD 000009c9: PUSH3 0x461bcd 000009cd: PUSH1 0xe5 000009cf: SHL 000009d0: DUP2 000009d1: MSTORE 000009d2: PUSH1 0x20 000009d4: PUSH1 0x04 000009d6: DUP3 000009d7: ADD 000009d8: MSTORE 000009d9: PUSH1 0x19 000009db: PUSH1 0x24 000009dd: DUP3 000009de: ADD 000009df: MSTORE 000009e0: PUSH25 0x115d1a195c881cd95b9d081a5cc81b9bdd0818dbdc9c9958dd 000009fa: PUSH1 0x3a 000009fc: SHL 000009fd: PUSH1 0x44 000009ff: DUP3 00000a00: ADD 00000a01: MSTORE 00000a02: PUSH1 0x64 00000a04: ADD 00000a05: PUSH2 0x08f8 00000a08: JUMP 00000a09: JUMPDEST 00000a0a: PUSH2 0x0a13 00000a0d: CALLER 00000a0e: DUP3 00000a0f: PUSH2 0x13b4 00000a12: JUMP 00000a13: JUMPDEST 00000a14: POP 00000a15: JUMP 00000a16: JUMPDEST 00000a17: PUSH1 0x08 00000a19: SLOAD 00000a1a: PUSH1 0x01 00000a1c: PUSH1 0x01 00000a1e: PUSH1 0xa0 00000a20: SHL 00000a21: SUB 00000a22: PUSH2 0x0100 00000a25: SWAP1 00000a26: SWAP2 00000a27: DIV 00000a28: AND 00000a29: CALLER 00000a2a: EQ 00000a2b: PUSH2 0x0a46 00000a2e: JUMPI 00000a2f: PUSH1 0x40 00000a31: MLOAD 00000a32: PUSH3 0x461bcd 00000a36: PUSH1 0xe5 00000a38: SHL 00000a39: DUP2 00000a3a: MSTORE 00000a3b: PUSH1 0x04 00000a3d: ADD 00000a3e: PUSH2 0x08f8 00000a41: SWAP1 00000a42: PUSH2 0x24d2 00000a45: JUMP 00000a46: JUMPDEST 00000a47: PUSH1 0x40 00000a49: MLOAD 00000a4a: SELFBALANCE 00000a4b: SWAP1 00000a4c: CALLER 00000a4d: SWAP1 00000a4e: DUP3 00000a4f: ISZERO 00000a50: PUSH2 0x08fc 00000a53: MUL 00000a54: SWAP1 00000a55: DUP4 00000a56: SWAP1 00000a57: PUSH1 0x00 00000a59: DUP2 00000a5a: DUP2 00000a5b: DUP2 00000a5c: DUP6 00000a5d: DUP9 00000a5e: DUP9 00000a5f: CALL 00000a60: SWAP4 00000a61: POP 00000a62: POP 00000a63: POP 00000a64: POP 00000a65: ISZERO 00000a66: DUP1 00000a67: ISZERO 00000a68: PUSH2 0x090b 00000a6b: JUMPI 00000a6c: RETURNDATASIZE 00000a6d: PUSH1 0x00 00000a6f: DUP1 00000a70: RETURNDATACOPY 00000a71: RETURNDATASIZE 00000a72: PUSH1 0x00 00000a74: REVERT 00000a75: JUMPDEST 00000a76: PUSH1 0x08 00000a78: SLOAD 00000a79: PUSH1 0x01 00000a7b: PUSH1 0x01 00000a7d: PUSH1 0xa0 00000a7f: SHL 00000a80: SUB 00000a81: PUSH2 0x0100 00000a84: SWAP1 00000a85: SWAP2 00000a86: DIV 00000a87: AND 00000a88: CALLER 00000a89: EQ 00000a8a: PUSH2 0x0aa5 00000a8d: JUMPI 00000a8e: PUSH1 0x40 00000a90: MLOAD 00000a91: PUSH3 0x461bcd 00000a95: PUSH1 0xe5 00000a97: SHL 00000a98: DUP2 00000a99: MSTORE 00000a9a: PUSH1 0x04 00000a9c: ADD 00000a9d: PUSH2 0x08f8 00000aa0: SWAP1 00000aa1: PUSH2 0x24d2 00000aa4: JUMP 00000aa5: JUMPDEST 00000aa6: PUSH2 0x0aad 00000aa9: PUSH2 0x16e4 00000aac: JUMP 00000aad: JUMPDEST 00000aae: JUMP 00000aaf: JUMPDEST 00000ab0: PUSH2 0x08c3 00000ab3: DUP4 00000ab4: DUP4 00000ab5: DUP4 00000ab6: PUSH1 0x40 00000ab8: MLOAD 00000ab9: DUP1 00000aba: PUSH1 0x20 00000abc: ADD 00000abd: PUSH1 0x40 00000abf: MSTORE 00000ac0: DUP1 00000ac1: PUSH1 0x00 00000ac3: DUP2 00000ac4: MSTORE 00000ac5: POP 00000ac6: PUSH2 0x0e46 00000ac9: JUMP 00000aca: JUMPDEST 00000acb: PUSH1 0x08 00000acd: SLOAD 00000ace: PUSH1 0x01 00000ad0: PUSH1 0x01 00000ad2: PUSH1 0xa0 00000ad4: SHL 00000ad5: SUB 00000ad6: PUSH2 0x0100 00000ad9: SWAP1 00000ada: SWAP2 00000adb: DIV 00000adc: AND 00000add: CALLER 00000ade: EQ 00000adf: PUSH2 0x0afa 00000ae2: JUMPI 00000ae3: PUSH1 0x40 00000ae5: MLOAD 00000ae6: PUSH3 0x461bcd 00000aea: PUSH1 0xe5 00000aec: SHL 00000aed: DUP2 00000aee: MSTORE 00000aef: PUSH1 0x04 00000af1: ADD 00000af2: PUSH2 0x08f8 00000af5: SWAP1 00000af6: PUSH2 0x24d2 00000af9: JUMP 00000afa: JUMPDEST 00000afb: DUP1 00000afc: MLOAD 00000afd: PUSH2 0x090b 00000b00: SWAP1 00000b01: PUSH1 0x09 00000b03: SWAP1 00000b04: PUSH1 0x20 00000b06: DUP5 00000b07: ADD 00000b08: SWAP1 00000b09: PUSH2 0x206d 00000b0c: JUMP 00000b0d: JUMPDEST 00000b0e: PUSH1 0x00 00000b10: PUSH2 0x0b18 00000b13: DUP3 00000b14: PUSH2 0x1777 00000b17: JUMP 00000b18: JUMPDEST 00000b19: MLOAD 00000b1a: SWAP3 00000b1b: SWAP2 00000b1c: POP 00000b1d: POP 00000b1e: JUMP 00000b1f: JUMPDEST 00000b20: PUSH1 0x00 00000b22: PUSH1 0x01 00000b24: PUSH1 0x01 00000b26: PUSH1 0xa0 00000b28: SHL 00000b29: SUB 00000b2a: DUP3 00000b2b: AND 00000b2c: PUSH2 0x0b48 00000b2f: JUMPI 00000b30: PUSH1 0x40 00000b32: MLOAD 00000b33: PUSH4 0x23d3ad81 00000b38: PUSH1 0xe2 00000b3a: SHL 00000b3b: DUP2 00000b3c: MSTORE 00000b3d: PUSH1 0x04 00000b3f: ADD 00000b40: PUSH1 0x40 00000b42: MLOAD 00000b43: DUP1 00000b44: SWAP2 00000b45: SUB 00000b46: SWAP1 00000b47: REVERT 00000b48: JUMPDEST 00000b49: POP 00000b4a: PUSH1 0x01 00000b4c: PUSH1 0x01 00000b4e: PUSH1 0xa0 00000b50: SHL 00000b51: SUB 00000b52: AND 00000b53: PUSH1 0x00 00000b55: SWAP1 00000b56: DUP2 00000b57: MSTORE 00000b58: PUSH1 0x05 00000b5a: PUSH1 0x20 00000b5c: MSTORE 00000b5d: PUSH1 0x40 00000b5f: SWAP1 00000b60: KECCAK256 00000b61: SLOAD 00000b62: PUSH8 0xffffffffffffffff 00000b6b: AND 00000b6c: SWAP1 00000b6d: JUMP 00000b6e: JUMPDEST 00000b6f: PUSH1 0x08 00000b71: SLOAD 00000b72: PUSH1 0x01 00000b74: PUSH1 0x01 00000b76: PUSH1 0xa0 00000b78: SHL 00000b79: SUB 00000b7a: PUSH2 0x0100 00000b7d: SWAP1 00000b7e: SWAP2 00000b7f: DIV 00000b80: AND 00000b81: CALLER 00000b82: EQ 00000b83: PUSH2 0x0b9e 00000b86: JUMPI 00000b87: PUSH1 0x40 00000b89: MLOAD 00000b8a: PUSH3 0x461bcd 00000b8e: PUSH1 0xe5 00000b90: SHL 00000b91: DUP2 00000b92: MSTORE 00000b93: PUSH1 0x04 00000b95: ADD 00000b96: PUSH2 0x08f8 00000b99: SWAP1 00000b9a: PUSH2 0x24d2 00000b9d: JUMP 00000b9e: JUMPDEST 00000b9f: PUSH2 0x0aad 00000ba2: PUSH1 0x00 00000ba4: PUSH2 0x1893 00000ba7: JUMP 00000ba8: JUMPDEST 00000ba9: PUSH1 0x08 00000bab: SLOAD 00000bac: PUSH1 0x01 00000bae: PUSH1 0x01 00000bb0: PUSH1 0xa0 00000bb2: SHL 00000bb3: SUB 00000bb4: PUSH2 0x0100 00000bb7: SWAP1 00000bb8: SWAP2 00000bb9: DIV 00000bba: AND 00000bbb: CALLER 00000bbc: EQ 00000bbd: PUSH2 0x0bd8 00000bc0: JUMPI 00000bc1: PUSH1 0x40 00000bc3: MLOAD 00000bc4: PUSH3 0x461bcd 00000bc8: PUSH1 0xe5 00000bca: SHL 00000bcb: DUP2 00000bcc: MSTORE 00000bcd: PUSH1 0x04 00000bcf: ADD 00000bd0: PUSH2 0x08f8 00000bd3: SWAP1 00000bd4: PUSH2 0x24d2 00000bd7: JUMP 00000bd8: JUMPDEST 00000bd9: PUSH1 0x11 00000bdb: DUP1 00000bdc: SLOAD 00000bdd: PUSH1 0xff 00000bdf: NOT 00000be0: AND 00000be1: PUSH1 0x01 00000be3: OR 00000be4: SWAP1 00000be5: SSTORE 00000be6: JUMP 00000be7: JUMPDEST 00000be8: PUSH1 0x08 00000bea: SLOAD 00000beb: PUSH1 0x01 00000bed: PUSH1 0x01 00000bef: PUSH1 0xa0 00000bf1: SHL 00000bf2: SUB 00000bf3: PUSH2 0x0100 00000bf6: SWAP1 00000bf7: SWAP2 00000bf8: DIV 00000bf9: AND 00000bfa: CALLER 00000bfb: EQ 00000bfc: PUSH2 0x0c17 00000bff: JUMPI 00000c00: PUSH1 0x40 00000c02: MLOAD 00000c03: PUSH3 0x461bcd 00000c07: PUSH1 0xe5 00000c09: SHL 00000c0a: DUP2 00000c0b: MSTORE 00000c0c: PUSH1 0x04 00000c0e: ADD 00000c0f: PUSH2 0x08f8 00000c12: SWAP1 00000c13: PUSH2 0x24d2 00000c16: JUMP 00000c17: JUMPDEST 00000c18: PUSH1 0x0d 00000c1a: SSTORE 00000c1b: JUMP 00000c1c: JUMPDEST 00000c1d: PUSH1 0x08 00000c1f: SLOAD 00000c20: PUSH1 0x01 00000c22: PUSH1 0x01 00000c24: PUSH1 0xa0 00000c26: SHL 00000c27: SUB 00000c28: PUSH2 0x0100 00000c2b: SWAP1 00000c2c: SWAP2 00000c2d: DIV 00000c2e: AND 00000c2f: CALLER 00000c30: EQ 00000c31: PUSH2 0x0c4c 00000c34: JUMPI 00000c35: PUSH1 0x40 00000c37: MLOAD 00000c38: PUSH3 0x461bcd 00000c3c: PUSH1 0xe5 00000c3e: SHL 00000c3f: DUP2 00000c40: MSTORE 00000c41: PUSH1 0x04 00000c43: ADD 00000c44: PUSH2 0x08f8 00000c47: SWAP1 00000c48: PUSH2 0x24d2 00000c4b: JUMP 00000c4c: JUMPDEST 00000c4d: PUSH2 0x0aad 00000c50: PUSH2 0x18ed 00000c53: JUMP 00000c54: JUMPDEST 00000c55: PUSH1 0x08 00000c57: SLOAD 00000c58: PUSH1 0x01 00000c5a: PUSH1 0x01 00000c5c: PUSH1 0xa0 00000c5e: SHL 00000c5f: SUB 00000c60: PUSH2 0x0100 00000c63: SWAP1 00000c64: SWAP2 00000c65: DIV 00000c66: AND 00000c67: CALLER 00000c68: EQ 00000c69: PUSH2 0x0c84 00000c6c: JUMPI 00000c6d: PUSH1 0x40 00000c6f: MLOAD 00000c70: PUSH3 0x461bcd 00000c74: PUSH1 0xe5 00000c76: SHL 00000c77: DUP2 00000c78: MSTORE 00000c79: PUSH1 0x04 00000c7b: ADD 00000c7c: PUSH2 0x08f8 00000c7f: SWAP1 00000c80: PUSH2 0x24d2 00000c83: JUMP 00000c84: JUMPDEST 00000c85: PUSH1 0x0c 00000c87: SSTORE 00000c88: JUMP 00000c89: JUMPDEST 00000c8a: PUSH1 0x60 00000c8c: PUSH1 0x0b 00000c8e: DUP1 00000c8f: SLOAD 00000c90: PUSH2 0x0773 00000c93: SWAP1 00000c94: PUSH2 0x2595 00000c97: JUMP 00000c98: JUMPDEST 00000c99: PUSH1 0x08 00000c9b: SLOAD 00000c9c: PUSH1 0x01 00000c9e: PUSH1 0x01 00000ca0: PUSH1 0xa0 00000ca2: SHL 00000ca3: SUB 00000ca4: PUSH2 0x0100 00000ca7: SWAP1 00000ca8: SWAP2 00000ca9: DIV 00000caa: AND 00000cab: CALLER 00000cac: EQ 00000cad: PUSH2 0x0cc8 00000cb0: JUMPI 00000cb1: PUSH1 0x40 00000cb3: MLOAD 00000cb4: PUSH3 0x461bcd 00000cb8: PUSH1 0xe5 00000cba: SHL 00000cbb: DUP2 00000cbc: MSTORE 00000cbd: PUSH1 0x04 00000cbf: ADD 00000cc0: PUSH2 0x08f8 00000cc3: SWAP1 00000cc4: PUSH2 0x24d2 00000cc7: JUMP 00000cc8: JUMPDEST 00000cc9: PUSH1 0x14 00000ccb: SLOAD 00000ccc: DUP2 00000ccd: LT 00000cce: PUSH2 0x0d13 00000cd1: JUMPI 00000cd2: PUSH1 0x40 00000cd4: MLOAD 00000cd5: PUSH3 0x461bcd 00000cd9: PUSH1 0xe5 00000cdb: SHL 00000cdc: DUP2 00000cdd: MSTORE 00000cde: PUSH1 0x20 00000ce0: PUSH1 0x04 00000ce2: DUP3 00000ce3: ADD 00000ce4: MSTORE 00000ce5: PUSH1 0x17 00000ce7: PUSH1 0x24 00000ce9: DUP3 00000cea: ADD 00000ceb: MSTORE 00000cec: PUSH23 0x43616e206e6f7420696e63726561736520737570706c79 00000d04: PUSH1 0x48 00000d06: SHL 00000d07: PUSH1 0x44 00000d09: DUP3 00000d0a: ADD 00000d0b: MSTORE 00000d0c: PUSH1 0x64 00000d0e: ADD 00000d0f: PUSH2 0x08f8 00000d12: JUMP 00000d13: JUMPDEST 00000d14: PUSH1 0x14 00000d16: SSTORE 00000d17: JUMP 00000d18: JUMPDEST 00000d19: PUSH1 0x08 00000d1b: SLOAD 00000d1c: PUSH1 0x01 00000d1e: PUSH1 0x01 00000d20: PUSH1 0xa0 00000d22: SHL 00000d23: SUB 00000d24: PUSH2 0x0100 00000d27: SWAP1 00000d28: SWAP2 00000d29: DIV 00000d2a: AND 00000d2b: CALLER 00000d2c: EQ 00000d2d: PUSH2 0x0d48 00000d30: JUMPI 00000d31: PUSH1 0x40 00000d33: MLOAD 00000d34: PUSH3 0x461bcd 00000d38: PUSH1 0xe5 00000d3a: SHL 00000d3b: DUP2 00000d3c: MSTORE 00000d3d: PUSH1 0x04 00000d3f: ADD 00000d40: PUSH2 0x08f8 00000d43: SWAP1 00000d44: PUSH2 0x24d2 00000d47: JUMP 00000d48: JUMPDEST 00000d49: PUSH2 0x0a13 00000d4c: DUP2 00000d4d: PUSH2 0x1968 00000d50: JUMP 00000d51: JUMPDEST 00000d52: PUSH1 0x01 00000d54: PUSH1 0x01 00000d56: PUSH1 0xa0 00000d58: SHL 00000d59: SUB 00000d5a: DUP3 00000d5b: AND 00000d5c: CALLER 00000d5d: EQ 00000d5e: ISZERO 00000d5f: PUSH2 0x0d7b 00000d62: JUMPI 00000d63: PUSH1 0x40 00000d65: MLOAD 00000d66: PUSH4 0xb06307db 00000d6b: PUSH1 0xe0 00000d6d: SHL 00000d6e: DUP2 00000d6f: MSTORE 00000d70: PUSH1 0x04 00000d72: ADD 00000d73: PUSH1 0x40 00000d75: MLOAD 00000d76: DUP1 00000d77: SWAP2 00000d78: SUB 00000d79: SWAP1 00000d7a: REVERT 00000d7b: JUMPDEST 00000d7c: CALLER 00000d7d: PUSH1 0x00 00000d7f: DUP2 00000d80: DUP2 00000d81: MSTORE 00000d82: PUSH1 0x07 00000d84: PUSH1 0x20 00000d86: SWAP1 00000d87: DUP2 00000d88: MSTORE 00000d89: PUSH1 0x40 00000d8b: DUP1 00000d8c: DUP4 00000d8d: KECCAK256 00000d8e: PUSH1 0x01 00000d90: PUSH1 0x01 00000d92: PUSH1 0xa0 00000d94: SHL 00000d95: SUB 00000d96: DUP8 00000d97: AND 00000d98: DUP1 00000d99: DUP6 00000d9a: MSTORE 00000d9b: SWAP1 00000d9c: DUP4 00000d9d: MSTORE 00000d9e: SWAP3 00000d9f: DUP2 00000da0: SWAP1 00000da1: KECCAK256 00000da2: DUP1 00000da3: SLOAD 00000da4: PUSH1 0xff 00000da6: NOT 00000da7: AND 00000da8: DUP7 00000da9: ISZERO 00000daa: ISZERO 00000dab: SWAP1 00000dac: DUP2 00000dad: OR 00000dae: SWAP1 00000daf: SWAP2 00000db0: SSTORE 00000db1: SWAP1 00000db2: MLOAD 00000db3: SWAP1 00000db4: DUP2 00000db5: MSTORE 00000db6: SWAP2 00000db7: SWAP3 00000db8: SWAP2 00000db9: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31 00000dda: SWAP2 00000ddb: ADD 00000ddc: PUSH1 0x40 00000dde: MLOAD 00000ddf: DUP1 00000de0: SWAP2 00000de1: SUB 00000de2: SWAP1 00000de3: LOG3 00000de4: POP 00000de5: POP 00000de6: JUMP 00000de7: JUMPDEST 00000de8: PUSH1 0x40 00000dea: MLOAD 00000deb: DUP1 00000dec: PUSH1 0x60 00000dee: ADD 00000def: PUSH1 0x40 00000df1: MSTORE 00000df2: DUP1 00000df3: PUSH1 0x28 00000df5: DUP2 00000df6: MSTORE 00000df7: PUSH1 0x20 00000df9: ADD 00000dfa: PUSH2 0x2658 00000dfd: PUSH1 0x28 00000dff: SWAP2 00000e00: CODECOPY 00000e01: DUP2 00000e02: JUMP 00000e03: JUMPDEST 00000e04: PUSH1 0x08 00000e06: SLOAD 00000e07: PUSH1 0x01 00000e09: PUSH1 0x01 00000e0b: PUSH1 0xa0 00000e0d: SHL 00000e0e: SUB 00000e0f: PUSH2 0x0100 00000e12: SWAP1 00000e13: SWAP2 00000e14: DIV 00000e15: AND 00000e16: CALLER 00000e17: EQ 00000e18: PUSH2 0x0e33 00000e1b: JUMPI 00000e1c: PUSH1 0x40 00000e1e: MLOAD 00000e1f: PUSH3 0x461bcd 00000e23: PUSH1 0xe5 00000e25: SHL 00000e26: DUP2 00000e27: MSTORE 00000e28: PUSH1 0x04 00000e2a: ADD 00000e2b: PUSH2 0x08f8 00000e2e: SWAP1 00000e2f: PUSH2 0x24d2 00000e32: JUMP 00000e33: JUMPDEST 00000e34: DUP1 00000e35: MLOAD 00000e36: PUSH2 0x090b 00000e39: SWAP1 00000e3a: PUSH1 0x0b 00000e3c: SWAP1 00000e3d: PUSH1 0x20 00000e3f: DUP5 00000e40: ADD 00000e41: SWAP1 00000e42: PUSH2 0x206d 00000e45: JUMP 00000e46: JUMPDEST 00000e47: PUSH2 0x0e51 00000e4a: DUP5 00000e4b: DUP5 00000e4c: DUP5 00000e4d: PUSH2 0x14ea 00000e50: JUMP 00000e51: JUMPDEST 00000e52: PUSH1 0x01 00000e54: PUSH1 0x01 00000e56: PUSH1 0xa0 00000e58: SHL 00000e59: SUB 00000e5a: DUP4 00000e5b: AND 00000e5c: EXTCODESIZE 00000e5d: ISZERO 00000e5e: ISZERO 00000e5f: DUP1 00000e60: ISZERO 00000e61: PUSH2 0x0e73 00000e64: JUMPI 00000e65: POP 00000e66: PUSH2 0x0e71 00000e69: DUP5 00000e6a: DUP5 00000e6b: DUP5 00000e6c: DUP5 00000e6d: PUSH2 0x1b33 00000e70: JUMP 00000e71: JUMPDEST 00000e72: ISZERO 00000e73: JUMPDEST 00000e74: ISZERO 00000e75: PUSH2 0x0e91 00000e78: JUMPI 00000e79: PUSH1 0x40 00000e7b: MLOAD 00000e7c: PUSH4 0x68d2bf6b 00000e81: PUSH1 0xe1 00000e83: SHL 00000e84: DUP2 00000e85: MSTORE 00000e86: PUSH1 0x04 00000e88: ADD 00000e89: PUSH1 0x40 00000e8b: MLOAD 00000e8c: DUP1 00000e8d: SWAP2 00000e8e: SUB 00000e8f: SWAP1 00000e90: REVERT 00000e91: JUMPDEST 00000e92: POP 00000e93: POP 00000e94: POP 00000e95: POP 00000e96: JUMP 00000e97: JUMPDEST 00000e98: PUSH1 0x08 00000e9a: SLOAD 00000e9b: PUSH1 0x01 00000e9d: PUSH1 0x01 00000e9f: PUSH1 0xa0 00000ea1: SHL 00000ea2: SUB 00000ea3: PUSH2 0x0100 00000ea6: SWAP1 00000ea7: SWAP2 00000ea8: DIV 00000ea9: AND 00000eaa: CALLER 00000eab: EQ 00000eac: PUSH2 0x0ec7 00000eaf: JUMPI 00000eb0: PUSH1 0x40 00000eb2: MLOAD 00000eb3: PUSH3 0x461bcd 00000eb7: PUSH1 0xe5 00000eb9: SHL 00000eba: DUP2 00000ebb: MSTORE 00000ebc: PUSH1 0x04 00000ebe: ADD 00000ebf: PUSH2 0x08f8 00000ec2: SWAP1 00000ec3: PUSH2 0x24d2 00000ec6: JUMP 00000ec7: JUMPDEST 00000ec8: DUP1 00000ec9: MLOAD 00000eca: PUSH2 0x090b 00000ecd: SWAP1 00000ece: PUSH1 0x0a 00000ed0: SWAP1 00000ed1: PUSH1 0x20 00000ed3: DUP5 00000ed4: ADD 00000ed5: SWAP1 00000ed6: PUSH2 0x206d 00000ed9: JUMP 00000eda: JUMPDEST 00000edb: PUSH2 0x0ee3 00000ede: DUP5 00000edf: PUSH2 0x1c2b 00000ee2: JUMP 00000ee3: JUMPDEST 00000ee4: ISZERO 00000ee5: PUSH2 0x0f30 00000ee8: JUMPI 00000ee9: PUSH1 0x40 00000eeb: MLOAD 00000eec: PUSH3 0x461bcd 00000ef0: PUSH1 0xe5 00000ef2: SHL 00000ef3: DUP2 00000ef4: MSTORE 00000ef5: PUSH1 0x20 00000ef7: PUSH1 0x04 00000ef9: DUP3 00000efa: ADD 00000efb: MSTORE 00000efc: PUSH1 0x19 00000efe: PUSH1 0x24 00000f00: DUP3 00000f01: ADD 00000f02: MSTORE 00000f03: PUSH32 0x57686974656c69737420616c726561647920636c61696d656400000000000000 00000f24: PUSH1 0x44 00000f26: DUP3 00000f27: ADD 00000f28: MSTORE 00000f29: PUSH1 0x64 00000f2b: ADD 00000f2c: PUSH2 0x08f8 00000f2f: JUMP 00000f30: JUMPDEST 00000f31: DUP3 00000f32: PUSH1 0x0c 00000f34: SLOAD 00000f35: PUSH2 0x0f3e 00000f38: SWAP2 00000f39: SWAP1 00000f3a: PUSH2 0x2533 00000f3d: JUMP 00000f3e: JUMPDEST 00000f3f: CALLVALUE 00000f40: EQ 00000f41: PUSH2 0x0f88 00000f44: JUMPI 00000f45: PUSH1 0x40 00000f47: MLOAD 00000f48: PUSH3 0x461bcd 00000f4c: PUSH1 0xe5 00000f4e: SHL 00000f4f: DUP2 00000f50: MSTORE 00000f51: PUSH1 0x20 00000f53: PUSH1 0x04 00000f55: DUP3 00000f56: ADD 00000f57: MSTORE 00000f58: PUSH1 0x19 00000f5a: PUSH1 0x24 00000f5c: DUP3 00000f5d: ADD 00000f5e: MSTORE 00000f5f: PUSH25 0x115d1a195c881cd95b9d081a5cc81b9bdd0818dbdc9c9958dd 00000f79: PUSH1 0x3a 00000f7b: SHL 00000f7c: PUSH1 0x44 00000f7e: DUP3 00000f7f: ADD 00000f80: MSTORE 00000f81: PUSH1 0x64 00000f83: ADD 00000f84: PUSH2 0x08f8 00000f87: JUMP 00000f88: JUMPDEST 00000f89: PUSH1 0x40 00000f8b: DUP1 00000f8c: MLOAD 00000f8d: PUSH1 0x20 00000f8f: DUP2 00000f90: ADD 00000f91: DUP7 00000f92: SWAP1 00000f93: MSTORE 00000f94: PUSH12 0xffffffffffffffffffffffff 00000fa1: NOT 00000fa2: CALLER 00000fa3: PUSH1 0x60 00000fa5: SHL 00000fa6: AND 00000fa7: SWAP2 00000fa8: DUP2 00000fa9: ADD 00000faa: SWAP2 00000fab: SWAP1 00000fac: SWAP2 00000fad: MSTORE 00000fae: PUSH1 0x54 00000fb0: DUP2 00000fb1: ADD 00000fb2: DUP5 00000fb3: SWAP1 00000fb4: MSTORE 00000fb5: PUSH1 0x00 00000fb7: SWAP1 00000fb8: PUSH1 0x74 00000fba: ADD 00000fbb: PUSH1 0x40 00000fbd: MLOAD 00000fbe: PUSH1 0x20 00000fc0: DUP2 00000fc1: DUP4 00000fc2: SUB 00000fc3: SUB 00000fc4: DUP2 00000fc5: MSTORE 00000fc6: SWAP1 00000fc7: PUSH1 0x40 00000fc9: MSTORE 00000fca: DUP1 00000fcb: MLOAD 00000fcc: SWAP1 00000fcd: PUSH1 0x20 00000fcf: ADD 00000fd0: KECCAK256 00000fd1: SWAP1 00000fd2: POP 00000fd3: PUSH2 0x1013 00000fd6: DUP4 00000fd7: DUP4 00000fd8: DUP1 00000fd9: DUP1 00000fda: PUSH1 0x20 00000fdc: MUL 00000fdd: PUSH1 0x20 00000fdf: ADD 00000fe0: PUSH1 0x40 00000fe2: MLOAD 00000fe3: SWAP1 00000fe4: DUP2 00000fe5: ADD 00000fe6: PUSH1 0x40 00000fe8: MSTORE 00000fe9: DUP1 00000fea: SWAP4 00000feb: SWAP3 00000fec: SWAP2 00000fed: SWAP1 00000fee: DUP2 00000fef: DUP2 00000ff0: MSTORE 00000ff1: PUSH1 0x20 00000ff3: ADD 00000ff4: DUP4 00000ff5: DUP4 00000ff6: PUSH1 0x20 00000ff8: MUL 00000ff9: DUP1 00000ffa: DUP3 00000ffb: DUP5 00000ffc: CALLDATACOPY 00000ffd: PUSH1 0x00 00000fff: SWAP3 00001000: ADD 00001001: SWAP2 00001002: SWAP1 00001003: SWAP2 00001004: MSTORE 00001005: POP 00001006: POP 00001007: PUSH1 0x0d 00001009: SLOAD 0000100a: SWAP2 0000100b: POP 0000100c: DUP5 0000100d: SWAP1 0000100e: POP 0000100f: PUSH2 0x1c6c 00001012: JUMP 00001013: JUMPDEST 00001014: PUSH2 0x104f 00001017: JUMPI 00001018: PUSH1 0x40 0000101a: MLOAD 0000101b: PUSH3 0x461bcd 0000101f: PUSH1 0xe5 00001021: SHL 00001022: DUP2 00001023: MSTORE 00001024: PUSH1 0x20 00001026: PUSH1 0x04 00001028: DUP3 00001029: ADD 0000102a: MSTORE 0000102b: PUSH1 0x0d 0000102d: PUSH1 0x24 0000102f: DUP3 00001030: ADD 00001031: MSTORE 00001032: PUSH13 0x24b73b30b634b210383937b7b3 00001040: PUSH1 0x99 00001042: SHL 00001043: PUSH1 0x44 00001045: DUP3 00001046: ADD 00001047: MSTORE 00001048: PUSH1 0x64 0000104a: ADD 0000104b: PUSH2 0x08f8 0000104e: JUMP 0000104f: JUMPDEST 00001050: PUSH2 0x1058 00001053: DUP6 00001054: PUSH2 0x1c82 00001057: JUMP 00001058: JUMPDEST 00001059: PUSH2 0x1062 0000105c: CALLER 0000105d: DUP6 0000105e: PUSH2 0x13b4 00001061: JUMP 00001062: JUMPDEST 00001063: POP 00001064: POP 00001065: POP 00001066: POP 00001067: POP 00001068: JUMP 00001069: JUMPDEST 0000106a: PUSH1 0x60 0000106c: PUSH2 0x1074 0000106f: DUP3 00001070: PUSH2 0x132d 00001073: JUMP 00001074: JUMPDEST 00001075: PUSH2 0x1091 00001078: JUMPI 00001079: PUSH1 0x40 0000107b: MLOAD 0000107c: PUSH4 0x0a14c4b5 00001081: PUSH1 0xe4 00001083: SHL 00001084: DUP2 00001085: MSTORE 00001086: PUSH1 0x04 00001088: ADD 00001089: PUSH1 0x40 0000108b: MLOAD 0000108c: DUP1 0000108d: SWAP2 0000108e: SUB 0000108f: SWAP1 00001090: REVERT 00001091: JUMPDEST 00001092: PUSH1 0x00 00001094: PUSH2 0x109b 00001097: PUSH2 0x1cc0 0000109a: JUMP 0000109b: JUMPDEST 0000109c: SWAP1 0000109d: POP 0000109e: DUP1 0000109f: MLOAD 000010a0: PUSH1 0x00 000010a2: EQ 000010a3: ISZERO 000010a4: PUSH2 0x10bc 000010a7: JUMPI 000010a8: PUSH1 0x40 000010aa: MLOAD 000010ab: DUP1 000010ac: PUSH1 0x20 000010ae: ADD 000010af: PUSH1 0x40 000010b1: MSTORE 000010b2: DUP1 000010b3: PUSH1 0x00 000010b5: DUP2 000010b6: MSTORE 000010b7: POP 000010b8: PUSH2 0x10e7 000010bb: JUMP 000010bc: JUMPDEST 000010bd: DUP1 000010be: PUSH2 0x10c6 000010c1: DUP5 000010c2: PUSH2 0x1ccf 000010c5: JUMP 000010c6: JUMPDEST 000010c7: PUSH1 0x40 000010c9: MLOAD 000010ca: PUSH1 0x20 000010cc: ADD 000010cd: PUSH2 0x10d7 000010d0: SWAP3 000010d1: SWAP2 000010d2: SWAP1 000010d3: PUSH2 0x2453 000010d6: JUMP 000010d7: JUMPDEST 000010d8: PUSH1 0x40 000010da: MLOAD 000010db: PUSH1 0x20 000010dd: DUP2 000010de: DUP4 000010df: SUB 000010e0: SUB 000010e1: DUP2 000010e2: MSTORE 000010e3: SWAP1 000010e4: PUSH1 0x40 000010e6: MSTORE 000010e7: JUMPDEST 000010e8: SWAP4 000010e9: SWAP3 000010ea: POP 000010eb: POP 000010ec: POP 000010ed: JUMP 000010ee: JUMPDEST 000010ef: PUSH1 0x08 000010f1: SLOAD 000010f2: PUSH1 0x01 000010f4: PUSH1 0x01 000010f6: PUSH1 0xa0 000010f8: SHL 000010f9: SUB 000010fa: PUSH2 0x0100 000010fd: SWAP1 000010fe: SWAP2 000010ff: DIV 00001100: AND 00001101: CALLER 00001102: EQ 00001103: PUSH2 0x111e 00001106: JUMPI 00001107: PUSH1 0x40 00001109: MLOAD 0000110a: PUSH3 0x461bcd 0000110e: PUSH1 0xe5 00001110: SHL 00001111: DUP2 00001112: MSTORE 00001113: PUSH1 0x04 00001115: ADD 00001116: PUSH2 0x08f8 00001119: SWAP1 0000111a: PUSH2 0x24d2 0000111d: JUMP 0000111e: JUMPDEST 0000111f: PUSH1 0x10 00001121: SLOAD 00001122: DUP2 00001123: LT 00001124: PUSH2 0x1169 00001127: JUMPI 00001128: PUSH1 0x40 0000112a: MLOAD 0000112b: PUSH3 0x461bcd 0000112f: PUSH1 0xe5 00001131: SHL 00001132: DUP2 00001133: MSTORE 00001134: PUSH1 0x20 00001136: PUSH1 0x04 00001138: DUP3 00001139: ADD 0000113a: MSTORE 0000113b: PUSH1 0x17 0000113d: PUSH1 0x24 0000113f: DUP3 00001140: ADD 00001141: MSTORE 00001142: PUSH23 0x43616e206e6f7420696e63726561736520737570706c79 0000115a: PUSH1 0x48 0000115c: SHL 0000115d: PUSH1 0x44 0000115f: DUP3 00001160: ADD 00001161: MSTORE 00001162: PUSH1 0x64 00001164: ADD 00001165: PUSH2 0x08f8 00001168: JUMP 00001169: JUMPDEST 0000116a: PUSH1 0x10 0000116c: SSTORE 0000116d: JUMP 0000116e: JUMPDEST 0000116f: PUSH1 0x08 00001171: SLOAD 00001172: PUSH1 0x01 00001174: PUSH1 0x01 00001176: PUSH1 0xa0 00001178: SHL 00001179: SUB 0000117a: PUSH2 0x0100 0000117d: SWAP1 0000117e: SWAP2 0000117f: DIV 00001180: AND 00001181: CALLER 00001182: EQ 00001183: PUSH2 0x119e 00001186: JUMPI 00001187: PUSH1 0x40 00001189: MLOAD 0000118a: PUSH3 0x461bcd 0000118e: PUSH1 0xe5 00001190: SHL 00001191: DUP2 00001192: MSTORE 00001193: PUSH1 0x04 00001195: ADD 00001196: PUSH2 0x08f8 00001199: SWAP1 0000119a: PUSH2 0x24d2 0000119d: JUMP 0000119e: JUMPDEST 0000119f: PUSH1 0x15 000011a1: DUP1 000011a2: SLOAD 000011a3: PUSH1 0xff 000011a5: NOT 000011a6: AND 000011a7: SWAP1 000011a8: SSTORE 000011a9: JUMP 000011aa: JUMPDEST 000011ab: PUSH1 0x15 000011ad: SLOAD 000011ae: PUSH1 0xff 000011b0: AND 000011b1: PUSH2 0x11fc 000011b4: JUMPI 000011b5: PUSH1 0x40 000011b7: MLOAD 000011b8: PUSH3 0x461bcd 000011bc: PUSH1 0xe5 000011be: SHL 000011bf: DUP2 000011c0: MSTORE 000011c1: PUSH1 0x20 000011c3: PUSH1 0x04 000011c5: DUP3 000011c6: ADD 000011c7: MSTORE 000011c8: PUSH1 0x1b 000011ca: PUSH1 0x24 000011cc: DUP3 000011cd: ADD 000011ce: MSTORE 000011cf: PUSH32 0x5374616b696e67206d696e74696e67206469646e742073746172740000000000 000011f0: PUSH1 0x44 000011f2: DUP3 000011f3: ADD 000011f4: MSTORE 000011f5: PUSH1 0x64 000011f7: ADD 000011f8: PUSH2 0x08f8 000011fb: JUMP 000011fc: JUMPDEST 000011fd: PUSH2 0x0aad 00001200: CALLER 00001201: PUSH2 0x1968 00001204: JUMP 00001205: JUMPDEST 00001206: PUSH1 0x08 00001208: SLOAD 00001209: PUSH1 0x01 0000120b: PUSH1 0x01 0000120d: PUSH1 0xa0 0000120f: SHL 00001210: SUB 00001211: PUSH2 0x0100 00001214: SWAP1 00001215: SWAP2 00001216: DIV 00001217: AND 00001218: CALLER 00001219: EQ 0000121a: PUSH2 0x1235 0000121d: JUMPI 0000121e: PUSH1 0x40 00001220: MLOAD 00001221: PUSH3 0x461bcd 00001225: PUSH1 0xe5 00001227: SHL 00001228: DUP2 00001229: MSTORE 0000122a: PUSH1 0x04 0000122c: ADD 0000122d: PUSH2 0x08f8 00001230: SWAP1 00001231: PUSH2 0x24d2 00001234: JUMP 00001235: JUMPDEST 00001236: PUSH1 0x11 00001238: DUP1 00001239: SLOAD 0000123a: PUSH1 0xff 0000123c: NOT 0000123d: AND 0000123e: SWAP1 0000123f: SSTORE 00001240: JUMP 00001241: JUMPDEST 00001242: PUSH1 0x08 00001244: SLOAD 00001245: PUSH1 0x01 00001247: PUSH1 0x01 00001249: PUSH1 0xa0 0000124b: SHL 0000124c: SUB 0000124d: PUSH2 0x0100 00001250: SWAP1 00001251: SWAP2 00001252: DIV 00001253: AND 00001254: CALLER 00001255: EQ 00001256: PUSH2 0x1271 00001259: JUMPI 0000125a: PUSH1 0x40 0000125c: MLOAD 0000125d: PUSH3 0x461bcd 00001261: PUSH1 0xe5 00001263: SHL 00001264: DUP2 00001265: MSTORE 00001266: PUSH1 0x04 00001268: ADD 00001269: PUSH2 0x08f8 0000126c: SWAP1 0000126d: PUSH2 0x24d2 00001270: JUMP 00001271: JUMPDEST 00001272: PUSH1 0x01 00001274: PUSH1 0x01 00001276: PUSH1 0xa0 00001278: SHL 00001279: SUB 0000127a: DUP2 0000127b: AND 0000127c: PUSH2 0x12d6 0000127f: JUMPI 00001280: PUSH1 0x40 00001282: MLOAD 00001283: PUSH3 0x461bcd 00001287: PUSH1 0xe5 00001289: SHL 0000128a: DUP2 0000128b: MSTORE 0000128c: PUSH1 0x20 0000128e: PUSH1 0x04 00001290: DUP3 00001291: ADD 00001292: MSTORE 00001293: PUSH1 0x26 00001295: PUSH1 0x24 00001297: DUP3 00001298: ADD 00001299: MSTORE 0000129a: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 000012bb: PUSH1 0x44 000012bd: DUP3 000012be: ADD 000012bf: MSTORE 000012c0: PUSH6 0x646472657373 000012c7: PUSH1 0xd0 000012c9: SHL 000012ca: PUSH1 0x64 000012cc: DUP3 000012cd: ADD 000012ce: MSTORE 000012cf: PUSH1 0x84 000012d1: ADD 000012d2: PUSH2 0x08f8 000012d5: JUMP 000012d6: JUMPDEST 000012d7: PUSH2 0x0a13 000012da: DUP2 000012db: PUSH2 0x1893 000012de: JUMP 000012df: JUMPDEST 000012e0: PUSH1 0x08 000012e2: SLOAD 000012e3: PUSH1 0x01 000012e5: PUSH1 0x01 000012e7: PUSH1 0xa0 000012e9: SHL 000012ea: SUB 000012eb: PUSH2 0x0100 000012ee: SWAP1 000012ef: SWAP2 000012f0: DIV 000012f1: AND 000012f2: CALLER 000012f3: EQ 000012f4: PUSH2 0x130f 000012f7: JUMPI 000012f8: PUSH1 0x40 000012fa: MLOAD 000012fb: PUSH3 0x461bcd 000012ff: PUSH1 0xe5 00001301: SHL 00001302: DUP2 00001303: MSTORE 00001304: PUSH1 0x04 00001306: ADD 00001307: PUSH2 0x08f8 0000130a: SWAP1 0000130b: PUSH2 0x24d2 0000130e: JUMP 0000130f: JUMPDEST 00001310: PUSH1 0x15 00001312: DUP1 00001313: SLOAD 00001314: PUSH1 0xff 00001316: NOT 00001317: AND 00001318: PUSH1 0x01 0000131a: OR 0000131b: SWAP1 0000131c: SSTORE 0000131d: JUMP 0000131e: JUMPDEST 0000131f: PUSH1 0x01 00001321: PUSH1 0x01 00001323: PUSH1 0xa0 00001325: SHL 00001326: SUB 00001327: AND 00001328: EXTCODESIZE 00001329: ISZERO 0000132a: ISZERO 0000132b: SWAP1 0000132c: JUMP 0000132d: JUMPDEST 0000132e: PUSH1 0x00 00001330: DUP1 00001331: SLOAD 00001332: DUP3 00001333: LT 00001334: DUP1 00001335: ISZERO 00001336: PUSH2 0x075e 00001339: JUMPI 0000133a: POP 0000133b: POP 0000133c: PUSH1 0x00 0000133e: SWAP1 0000133f: DUP2 00001340: MSTORE 00001341: PUSH1 0x04 00001343: PUSH1 0x20 00001345: MSTORE 00001346: PUSH1 0x40 00001348: SWAP1 00001349: KECCAK256 0000134a: SLOAD 0000134b: PUSH1 0x01 0000134d: PUSH1 0xe0 0000134f: SHL 00001350: SWAP1 00001351: DIV 00001352: PUSH1 0xff 00001354: AND 00001355: ISZERO 00001356: SWAP1 00001357: JUMP 00001358: JUMPDEST 00001359: PUSH1 0x00 0000135b: DUP3 0000135c: DUP2 0000135d: MSTORE 0000135e: PUSH1 0x06 00001360: PUSH1 0x20 00001362: MSTORE 00001363: PUSH1 0x40 00001365: DUP1 00001366: DUP3 00001367: KECCAK256 00001368: DUP1 00001369: SLOAD 0000136a: PUSH1 0x01 0000136c: PUSH1 0x01 0000136e: PUSH1 0xa0 00001370: SHL 00001371: SUB 00001372: NOT 00001373: AND 00001374: PUSH1 0x01 00001376: PUSH1 0x01 00001378: PUSH1 0xa0 0000137a: SHL 0000137b: SUB 0000137c: DUP8 0000137d: DUP2 0000137e: AND 0000137f: SWAP2 00001380: DUP3 00001381: OR 00001382: SWAP1 00001383: SWAP3 00001384: SSTORE 00001385: SWAP2 00001386: MLOAD 00001387: DUP6 00001388: SWAP4 00001389: SWAP2 0000138a: DUP6 0000138b: AND 0000138c: SWAP2 0000138d: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 000013ae: SWAP2 000013af: LOG4 000013b0: POP 000013b1: POP 000013b2: POP 000013b3: JUMP 000013b4: JUMPDEST 000013b5: PUSH1 0x00 000013b7: DUP2 000013b8: GT 000013b9: PUSH2 0x1404 000013bc: JUMPI 000013bd: PUSH1 0x40 000013bf: MLOAD 000013c0: PUSH3 0x461bcd 000013c4: PUSH1 0xe5 000013c6: SHL 000013c7: DUP2 000013c8: MSTORE 000013c9: PUSH1 0x20 000013cb: PUSH1 0x04 000013cd: DUP3 000013ce: ADD 000013cf: MSTORE 000013d0: PUSH1 0x1b 000013d2: PUSH1 0x24 000013d4: DUP3 000013d5: ADD 000013d6: MSTORE 000013d7: PUSH32 0x596f752063616e74206d696e74206e65676174697665204c414e440000000000 000013f8: PUSH1 0x44 000013fa: DUP3 000013fb: ADD 000013fc: MSTORE 000013fd: PUSH1 0x64 000013ff: ADD 00001400: PUSH2 0x08f8 00001403: JUMP 00001404: JUMPDEST 00001405: PUSH1 0x12 00001407: SLOAD 00001408: DUP2 00001409: GT 0000140a: ISZERO 0000140b: PUSH2 0x1456 0000140e: JUMPI 0000140f: PUSH1 0x40 00001411: MLOAD 00001412: PUSH3 0x461bcd 00001416: PUSH1 0xe5 00001418: SHL 00001419: DUP2 0000141a: MSTORE 0000141b: PUSH1 0x20 0000141d: PUSH1 0x04 0000141f: DUP3 00001420: ADD 00001421: MSTORE 00001422: PUSH1 0x1e 00001424: PUSH1 0x24 00001426: DUP3 00001427: ADD 00001428: MSTORE 00001429: PUSH32 0x596f752063616e206d696e74206d61782035204c414e44207065722074780000 0000144a: PUSH1 0x44 0000144c: DUP3 0000144d: ADD 0000144e: MSTORE 0000144f: PUSH1 0x64 00001451: ADD 00001452: PUSH2 0x08f8 00001455: JUMP 00001456: JUMPDEST 00001457: PUSH1 0x10 00001459: SLOAD 0000145a: DUP2 0000145b: PUSH1 0x0f 0000145d: SLOAD 0000145e: PUSH2 0x1467 00001461: SWAP2 00001462: SWAP1 00001463: PUSH2 0x2507 00001466: JUMP 00001467: JUMPDEST 00001468: GT 00001469: ISZERO 0000146a: PUSH2 0x14b5 0000146d: JUMPI 0000146e: PUSH1 0x40 00001470: MLOAD 00001471: PUSH3 0x461bcd 00001475: PUSH1 0xe5 00001477: SHL 00001478: DUP2 00001479: MSTORE 0000147a: PUSH1 0x20 0000147c: PUSH1 0x04 0000147e: DUP3 0000147f: ADD 00001480: MSTORE 00001481: PUSH1 0x1b 00001483: PUSH1 0x24 00001485: DUP3 00001486: ADD 00001487: MSTORE 00001488: PUSH32 0x45786365656473206d6178696d756d204c414e4420737570706c790000000000 000014a9: PUSH1 0x44 000014ab: DUP3 000014ac: ADD 000014ad: MSTORE 000014ae: PUSH1 0x64 000014b0: ADD 000014b1: PUSH2 0x08f8 000014b4: JUMP 000014b5: JUMPDEST 000014b6: DUP1 000014b7: PUSH1 0x0f 000014b9: PUSH1 0x00 000014bb: DUP3 000014bc: DUP3 000014bd: SLOAD 000014be: PUSH2 0x14c7 000014c1: SWAP2 000014c2: SWAP1 000014c3: PUSH2 0x2507 000014c6: JUMP 000014c7: JUMPDEST 000014c8: SWAP3 000014c9: POP 000014ca: POP 000014cb: DUP2 000014cc: SWAP1 000014cd: SSTORE 000014ce: POP 000014cf: PUSH2 0x090b 000014d2: DUP3 000014d3: DUP3 000014d4: PUSH1 0x40 000014d6: MLOAD 000014d7: DUP1 000014d8: PUSH1 0x20 000014da: ADD 000014db: PUSH1 0x40 000014dd: MSTORE 000014de: DUP1 000014df: PUSH1 0x00 000014e1: DUP2 000014e2: MSTORE 000014e3: POP 000014e4: PUSH1 0x00 000014e6: PUSH2 0x1de9 000014e9: JUMP 000014ea: JUMPDEST 000014eb: PUSH1 0x00 000014ed: PUSH2 0x14f5 000014f0: DUP3 000014f1: PUSH2 0x1777 000014f4: JUMP 000014f5: JUMPDEST 000014f6: SWAP1 000014f7: POP 000014f8: DUP4 000014f9: PUSH1 0x01 000014fb: PUSH1 0x01 000014fd: PUSH1 0xa0 000014ff: SHL 00001500: SUB 00001501: AND 00001502: DUP2 00001503: PUSH1 0x00 00001505: ADD 00001506: MLOAD 00001507: PUSH1 0x01 00001509: PUSH1 0x01 0000150b: PUSH1 0xa0 0000150d: SHL 0000150e: SUB 0000150f: AND 00001510: EQ 00001511: PUSH2 0x152c 00001514: JUMPI 00001515: PUSH1 0x40 00001517: MLOAD 00001518: PUSH3 0xa11481 0000151c: PUSH1 0xe8 0000151e: SHL 0000151f: DUP2 00001520: MSTORE 00001521: PUSH1 0x04 00001523: ADD 00001524: PUSH1 0x40 00001526: MLOAD 00001527: DUP1 00001528: SWAP2 00001529: SUB 0000152a: SWAP1 0000152b: REVERT 0000152c: JUMPDEST 0000152d: PUSH1 0x00 0000152f: CALLER 00001530: PUSH1 0x01 00001532: PUSH1 0x01 00001534: PUSH1 0xa0 00001536: SHL 00001537: SUB 00001538: DUP7 00001539: AND 0000153a: EQ 0000153b: DUP1 0000153c: PUSH2 0x154a 0000153f: JUMPI 00001540: POP 00001541: PUSH2 0x154a 00001544: DUP6 00001545: CALLER 00001546: PUSH2 0x069a 00001549: JUMP 0000154a: JUMPDEST 0000154b: DUP1 0000154c: PUSH2 0x1565 0000154f: JUMPI 00001550: POP 00001551: CALLER 00001552: PUSH2 0x155a 00001555: DUP5 00001556: PUSH2 0x07f6 00001559: JUMP 0000155a: JUMPDEST 0000155b: PUSH1 0x01 0000155d: PUSH1 0x01 0000155f: PUSH1 0xa0 00001561: SHL 00001562: SUB 00001563: AND 00001564: EQ 00001565: JUMPDEST 00001566: SWAP1 00001567: POP 00001568: DUP1 00001569: PUSH2 0x1585 0000156c: JUMPI 0000156d: PUSH1 0x40 0000156f: MLOAD 00001570: PUSH4 0x2ce44b5f 00001575: PUSH1 0xe1 00001577: SHL 00001578: DUP2 00001579: MSTORE 0000157a: PUSH1 0x04 0000157c: ADD 0000157d: PUSH1 0x40 0000157f: MLOAD 00001580: DUP1 00001581: SWAP2 00001582: SUB 00001583: SWAP1 00001584: REVERT 00001585: JUMPDEST 00001586: PUSH1 0x01 00001588: PUSH1 0x01 0000158a: PUSH1 0xa0 0000158c: SHL 0000158d: SUB 0000158e: DUP5 0000158f: AND 00001590: PUSH2 0x15ac 00001593: JUMPI 00001594: PUSH1 0x40 00001596: MLOAD 00001597: PUSH4 0x3a954ecd 0000159c: PUSH1 0xe2 0000159e: SHL 0000159f: DUP2 000015a0: MSTORE 000015a1: PUSH1 0x04 000015a3: ADD 000015a4: PUSH1 0x40 000015a6: MLOAD 000015a7: DUP1 000015a8: SWAP2 000015a9: SUB 000015aa: SWAP1 000015ab: REVERT 000015ac: JUMPDEST 000015ad: PUSH2 0x15b9 000015b0: DUP6 000015b1: DUP6 000015b2: DUP6 000015b3: PUSH1 0x01 000015b5: PUSH2 0x1fc7 000015b8: JUMP 000015b9: JUMPDEST 000015ba: PUSH2 0x15c5 000015bd: PUSH1 0x00 000015bf: DUP5 000015c0: DUP8 000015c1: PUSH2 0x1358 000015c4: JUMP 000015c5: JUMPDEST 000015c6: PUSH1 0x01 000015c8: PUSH1 0x01 000015ca: PUSH1 0xa0 000015cc: SHL 000015cd: SUB 000015ce: DUP6 000015cf: DUP2 000015d0: AND 000015d1: PUSH1 0x00 000015d3: SWAP1 000015d4: DUP2 000015d5: MSTORE 000015d6: PUSH1 0x05 000015d8: PUSH1 0x20 000015da: SWAP1 000015db: DUP2 000015dc: MSTORE 000015dd: PUSH1 0x40 000015df: DUP1 000015e0: DUP4 000015e1: KECCAK256 000015e2: DUP1 000015e3: SLOAD 000015e4: PUSH8 0xffffffffffffffff 000015ed: NOT 000015ee: DUP1 000015ef: DUP3 000015f0: AND 000015f1: PUSH8 0xffffffffffffffff 000015fa: SWAP3 000015fb: DUP4 000015fc: AND 000015fd: PUSH1 0x00 000015ff: NOT 00001600: ADD 00001601: DUP4 00001602: AND 00001603: OR 00001604: SWAP1 00001605: SWAP3 00001606: SSTORE 00001607: DUP10 00001608: DUP7 00001609: AND 0000160a: DUP1 0000160b: DUP7 0000160c: MSTORE 0000160d: DUP4 0000160e: DUP7 0000160f: KECCAK256 00001610: DUP1 00001611: SLOAD 00001612: SWAP4 00001613: DUP5 00001614: AND 00001615: SWAP4 00001616: DUP4 00001617: AND 00001618: PUSH1 0x01 0000161a: SWAP1 0000161b: DUP2 0000161c: ADD 0000161d: DUP5 0000161e: AND 0000161f: SWAP5 00001620: SWAP1 00001621: SWAP5 00001622: OR 00001623: SWAP1 00001624: SSTORE 00001625: DUP10 00001626: DUP7 00001627: MSTORE 00001628: PUSH1 0x04 0000162a: SWAP1 0000162b: SWAP5 0000162c: MSTORE 0000162d: DUP3 0000162e: DUP6 0000162f: KECCAK256 00001630: DUP1 00001631: SLOAD 00001632: PUSH1 0x01 00001634: PUSH1 0x01 00001636: PUSH1 0xe0 00001638: SHL 00001639: SUB 0000163a: NOT 0000163b: AND 0000163c: SWAP1 0000163d: SWAP5 0000163e: OR 0000163f: PUSH1 0x01 00001641: PUSH1 0xa0 00001643: SHL 00001644: TIMESTAMP 00001645: SWAP1 00001646: SWAP3 00001647: AND 00001648: SWAP2 00001649: SWAP1 0000164a: SWAP2 0000164b: MUL 0000164c: OR 0000164d: DUP4 0000164e: SSTORE 0000164f: DUP8 00001650: ADD 00001651: DUP1 00001652: DUP5 00001653: MSTORE 00001654: SWAP3 00001655: KECCAK256 00001656: DUP1 00001657: SLOAD 00001658: SWAP2 00001659: SWAP4 0000165a: SWAP1 0000165b: SWAP2 0000165c: AND 0000165d: PUSH2 0x169b 00001660: JUMPI 00001661: PUSH1 0x00 00001663: SLOAD 00001664: DUP3 00001665: EQ 00001666: PUSH2 0x169b 00001669: JUMPI 0000166a: DUP1 0000166b: SLOAD 0000166c: PUSH1 0x20 0000166e: DUP7 0000166f: ADD 00001670: MLOAD 00001671: PUSH8 0xffffffffffffffff 0000167a: AND 0000167b: PUSH1 0x01 0000167d: PUSH1 0xa0 0000167f: SHL 00001680: MUL 00001681: PUSH1 0x01 00001683: PUSH1 0x01 00001685: PUSH1 0xe0 00001687: SHL 00001688: SUB 00001689: NOT 0000168a: SWAP1 0000168b: SWAP2 0000168c: AND 0000168d: PUSH1 0x01 0000168f: PUSH1 0x01 00001691: PUSH1 0xa0 00001693: SHL 00001694: SUB 00001695: DUP11 00001696: AND 00001697: OR 00001698: OR 00001699: DUP2 0000169a: SSTORE 0000169b: JUMPDEST 0000169c: POP 0000169d: POP 0000169e: POP 0000169f: DUP3 000016a0: DUP5 000016a1: PUSH1 0x01 000016a3: PUSH1 0x01 000016a5: PUSH1 0xa0 000016a7: SHL 000016a8: SUB 000016a9: AND 000016aa: DUP7 000016ab: PUSH1 0x01 000016ad: PUSH1 0x01 000016af: PUSH1 0xa0 000016b1: SHL 000016b2: SUB 000016b3: AND 000016b4: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000016d5: PUSH1 0x40 000016d7: MLOAD 000016d8: PUSH1 0x40 000016da: MLOAD 000016db: DUP1 000016dc: SWAP2 000016dd: SUB 000016de: SWAP1 000016df: LOG4 000016e0: PUSH2 0x1062 000016e3: JUMP 000016e4: JUMPDEST 000016e5: PUSH1 0x08 000016e7: SLOAD 000016e8: PUSH1 0xff 000016ea: AND 000016eb: PUSH2 0x172d 000016ee: JUMPI 000016ef: PUSH1 0x40 000016f1: MLOAD 000016f2: PUSH3 0x461bcd 000016f6: PUSH1 0xe5 000016f8: SHL 000016f9: DUP2 000016fa: MSTORE 000016fb: PUSH1 0x20 000016fd: PUSH1 0x04 000016ff: DUP3 00001700: ADD 00001701: MSTORE 00001702: PUSH1 0x14 00001704: PUSH1 0x24 00001706: DUP3 00001707: ADD 00001708: MSTORE 00001709: PUSH20 0x14185d5cd8589b194e881b9bdd081c185d5cd959 0000171e: PUSH1 0x62 00001720: SHL 00001721: PUSH1 0x44 00001723: DUP3 00001724: ADD 00001725: MSTORE 00001726: PUSH1 0x64 00001728: ADD 00001729: PUSH2 0x08f8 0000172c: JUMP 0000172d: JUMPDEST 0000172e: PUSH1 0x08 00001730: DUP1 00001731: SLOAD 00001732: PUSH1 0xff 00001734: NOT 00001735: AND 00001736: SWAP1 00001737: SSTORE 00001738: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa 00001759: CALLER 0000175a: JUMPDEST 0000175b: PUSH1 0x40 0000175d: MLOAD 0000175e: PUSH1 0x01 00001760: PUSH1 0x01 00001762: PUSH1 0xa0 00001764: SHL 00001765: SUB 00001766: SWAP1 00001767: SWAP2 00001768: AND 00001769: DUP2 0000176a: MSTORE 0000176b: PUSH1 0x20 0000176d: ADD 0000176e: PUSH1 0x40 00001770: MLOAD 00001771: DUP1 00001772: SWAP2 00001773: SUB 00001774: SWAP1 00001775: LOG1 00001776: JUMP 00001777: JUMPDEST 00001778: PUSH1 0x40 0000177a: DUP1 0000177b: MLOAD 0000177c: PUSH1 0x60 0000177e: DUP2 0000177f: ADD 00001780: DUP3 00001781: MSTORE 00001782: PUSH1 0x00 00001784: DUP1 00001785: DUP3 00001786: MSTORE 00001787: PUSH1 0x20 00001789: DUP3 0000178a: ADD 0000178b: DUP2 0000178c: SWAP1 0000178d: MSTORE 0000178e: SWAP2 0000178f: DUP2 00001790: ADD 00001791: SWAP2 00001792: SWAP1 00001793: SWAP2 00001794: MSTORE 00001795: DUP2 00001796: PUSH1 0x00 00001798: SLOAD 00001799: DUP2 0000179a: LT 0000179b: ISZERO 0000179c: PUSH2 0x187a 0000179f: JUMPI 000017a0: PUSH1 0x00 000017a2: DUP2 000017a3: DUP2 000017a4: MSTORE 000017a5: PUSH1 0x04 000017a7: PUSH1 0x20 000017a9: SWAP1 000017aa: DUP2 000017ab: MSTORE 000017ac: PUSH1 0x40 000017ae: SWAP2 000017af: DUP3 000017b0: SWAP1 000017b1: KECCAK256 000017b2: DUP3 000017b3: MLOAD 000017b4: PUSH1 0x60 000017b6: DUP2 000017b7: ADD 000017b8: DUP5 000017b9: MSTORE 000017ba: SWAP1 000017bb: SLOAD 000017bc: PUSH1 0x01 000017be: PUSH1 0x01 000017c0: PUSH1 0xa0 000017c2: SHL 000017c3: SUB 000017c4: DUP2 000017c5: AND 000017c6: DUP3 000017c7: MSTORE 000017c8: PUSH1 0x01 000017ca: PUSH1 0xa0 000017cc: SHL 000017cd: DUP2 000017ce: DIV 000017cf: PUSH8 0xffffffffffffffff 000017d8: AND 000017d9: SWAP3 000017da: DUP3 000017db: ADD 000017dc: SWAP3 000017dd: SWAP1 000017de: SWAP3 000017df: MSTORE 000017e0: PUSH1 0x01 000017e2: PUSH1 0xe0 000017e4: SHL 000017e5: SWAP1 000017e6: SWAP2 000017e7: DIV 000017e8: PUSH1 0xff 000017ea: AND 000017eb: ISZERO 000017ec: ISZERO 000017ed: SWAP2 000017ee: DUP2 000017ef: ADD 000017f0: DUP3 000017f1: SWAP1 000017f2: MSTORE 000017f3: SWAP1 000017f4: PUSH2 0x1878 000017f7: JUMPI 000017f8: DUP1 000017f9: MLOAD 000017fa: PUSH1 0x01 000017fc: PUSH1 0x01 000017fe: PUSH1 0xa0 00001800: SHL 00001801: SUB 00001802: AND 00001803: ISZERO 00001804: PUSH2 0x180e 00001807: JUMPI 00001808: SWAP4 00001809: SWAP3 0000180a: POP 0000180b: POP 0000180c: POP 0000180d: JUMP 0000180e: JUMPDEST 0000180f: POP 00001810: PUSH1 0x00 00001812: NOT 00001813: ADD 00001814: PUSH1 0x00 00001816: DUP2 00001817: DUP2 00001818: MSTORE 00001819: PUSH1 0x04 0000181b: PUSH1 0x20 0000181d: SWAP1 0000181e: DUP2 0000181f: MSTORE 00001820: PUSH1 0x40 00001822: SWAP2 00001823: DUP3 00001824: SWAP1 00001825: KECCAK256 00001826: DUP3 00001827: MLOAD 00001828: PUSH1 0x60 0000182a: DUP2 0000182b: ADD 0000182c: DUP5 0000182d: MSTORE 0000182e: SWAP1 0000182f: SLOAD 00001830: PUSH1 0x01 00001832: PUSH1 0x01 00001834: PUSH1 0xa0 00001836: SHL 00001837: SUB 00001838: DUP2 00001839: AND 0000183a: DUP1 0000183b: DUP4 0000183c: MSTORE 0000183d: PUSH1 0x01 0000183f: PUSH1 0xa0 00001841: SHL 00001842: DUP3 00001843: DIV 00001844: PUSH8 0xffffffffffffffff 0000184d: AND 0000184e: SWAP4 0000184f: DUP4 00001850: ADD 00001851: SWAP4 00001852: SWAP1 00001853: SWAP4 00001854: MSTORE 00001855: PUSH1 0x01 00001857: PUSH1 0xe0 00001859: SHL 0000185a: SWAP1 0000185b: DIV 0000185c: PUSH1 0xff 0000185e: AND 0000185f: ISZERO 00001860: ISZERO 00001861: SWAP3 00001862: DUP2 00001863: ADD 00001864: SWAP3 00001865: SWAP1 00001866: SWAP3 00001867: MSTORE 00001868: ISZERO 00001869: PUSH2 0x1873 0000186c: JUMPI 0000186d: SWAP4 0000186e: SWAP3 0000186f: POP 00001870: POP 00001871: POP 00001872: JUMP 00001873: JUMPDEST 00001874: PUSH2 0x180e 00001877: JUMP 00001878: JUMPDEST 00001879: POP 0000187a: JUMPDEST 0000187b: PUSH1 0x40 0000187d: MLOAD 0000187e: PUSH4 0x6f96cda1 00001883: PUSH1 0xe1 00001885: SHL 00001886: DUP2 00001887: MSTORE 00001888: PUSH1 0x04 0000188a: ADD 0000188b: PUSH1 0x40 0000188d: MLOAD 0000188e: DUP1 0000188f: SWAP2 00001890: SUB 00001891: SWAP1 00001892: REVERT 00001893: JUMPDEST 00001894: PUSH1 0x08 00001896: DUP1 00001897: SLOAD 00001898: PUSH1 0x01 0000189a: PUSH1 0x01 0000189c: PUSH1 0xa0 0000189e: SHL 0000189f: SUB 000018a0: DUP4 000018a1: DUP2 000018a2: AND 000018a3: PUSH2 0x0100 000018a6: DUP2 000018a7: DUP2 000018a8: MUL 000018a9: PUSH2 0x0100 000018ac: PUSH1 0x01 000018ae: PUSH1 0xa8 000018b0: SHL 000018b1: SUB 000018b2: NOT 000018b3: DUP6 000018b4: AND 000018b5: OR 000018b6: SWAP1 000018b7: SWAP5 000018b8: SSTORE 000018b9: PUSH1 0x40 000018bb: MLOAD 000018bc: SWAP4 000018bd: SWAP1 000018be: SWAP3 000018bf: DIV 000018c0: AND 000018c1: SWAP2 000018c2: DUP3 000018c3: SWAP1 000018c4: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000018e5: SWAP1 000018e6: PUSH1 0x00 000018e8: SWAP1 000018e9: LOG3 000018ea: POP 000018eb: POP 000018ec: JUMP 000018ed: JUMPDEST 000018ee: PUSH1 0x08 000018f0: SLOAD 000018f1: PUSH1 0xff 000018f3: AND 000018f4: ISZERO 000018f5: PUSH2 0x1933 000018f8: JUMPI 000018f9: PUSH1 0x40 000018fb: MLOAD 000018fc: PUSH3 0x461bcd 00001900: PUSH1 0xe5 00001902: SHL 00001903: DUP2 00001904: MSTORE 00001905: PUSH1 0x20 00001907: PUSH1 0x04 00001909: DUP3 0000190a: ADD 0000190b: MSTORE 0000190c: PUSH1 0x10 0000190e: PUSH1 0x24 00001910: DUP3 00001911: ADD 00001912: MSTORE 00001913: PUSH16 0x14185d5cd8589b194e881c185d5cd959 00001924: PUSH1 0x82 00001926: SHL 00001927: PUSH1 0x44 00001929: DUP3 0000192a: ADD 0000192b: MSTORE 0000192c: PUSH1 0x64 0000192e: ADD 0000192f: PUSH2 0x08f8 00001932: JUMP 00001933: JUMPDEST 00001934: PUSH1 0x08 00001936: DUP1 00001937: SLOAD 00001938: PUSH1 0xff 0000193a: NOT 0000193b: AND 0000193c: PUSH1 0x01 0000193e: OR 0000193f: SWAP1 00001940: SSTORE 00001941: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258 00001962: PUSH2 0x175a 00001965: CALLER 00001966: SWAP1 00001967: JUMP 00001968: JUMPDEST 00001969: PUSH1 0x01 0000196b: PUSH1 0x01 0000196d: PUSH1 0xa0 0000196f: SHL 00001970: SUB 00001971: DUP2 00001972: AND 00001973: PUSH1 0x00 00001975: SWAP1 00001976: DUP2 00001977: MSTORE 00001978: PUSH1 0x16 0000197a: PUSH1 0x20 0000197c: MSTORE 0000197d: PUSH1 0x40 0000197f: SWAP1 00001980: KECCAK256 00001981: SLOAD 00001982: PUSH1 0xff 00001984: AND 00001985: ISZERO 00001986: PUSH2 0x19d1 00001989: JUMPI 0000198a: PUSH1 0x40 0000198c: MLOAD 0000198d: PUSH3 0x461bcd 00001991: PUSH1 0xe5 00001993: SHL 00001994: DUP2 00001995: MSTORE 00001996: PUSH1 0x20 00001998: PUSH1 0x04 0000199a: DUP3 0000199b: ADD 0000199c: MSTORE 0000199d: PUSH1 0x1d 0000199f: PUSH1 0x24 000019a1: DUP3 000019a2: ADD 000019a3: MSTORE 000019a4: PUSH32 0x596f7520616c7265616479206d696e746564206279207374616b696e67000000 000019c5: PUSH1 0x44 000019c7: DUP3 000019c8: ADD 000019c9: MSTORE 000019ca: PUSH1 0x64 000019cc: ADD 000019cd: PUSH2 0x08f8 000019d0: JUMP 000019d1: JUMPDEST 000019d2: PUSH1 0x01 000019d4: PUSH1 0x01 000019d6: PUSH1 0xa0 000019d8: SHL 000019d9: SUB 000019da: DUP2 000019db: DUP2 000019dc: AND 000019dd: PUSH1 0x00 000019df: DUP2 000019e0: DUP2 000019e1: MSTORE 000019e2: PUSH1 0x16 000019e4: PUSH1 0x20 000019e6: MSTORE 000019e7: PUSH1 0x40 000019e9: DUP1 000019ea: DUP3 000019eb: KECCAK256 000019ec: DUP1 000019ed: SLOAD 000019ee: PUSH1 0xff 000019f0: NOT 000019f1: AND 000019f2: PUSH1 0x01 000019f4: OR 000019f5: SWAP1 000019f6: SSTORE 000019f7: PUSH1 0x15 000019f9: SLOAD 000019fa: SWAP1 000019fb: MLOAD 000019fc: PUSH4 0x6dcbf2a3 00001a01: PUSH1 0xe0 00001a03: SHL 00001a04: DUP2 00001a05: MSTORE 00001a06: PUSH1 0x04 00001a08: DUP2 00001a09: ADD 00001a0a: SWAP4 00001a0b: SWAP1 00001a0c: SWAP4 00001a0d: MSTORE 00001a0e: SWAP1 00001a0f: SWAP3 00001a10: PUSH2 0x0100 00001a13: SWAP1 00001a14: SWAP2 00001a15: DIV 00001a16: AND 00001a17: SWAP1 00001a18: PUSH4 0x6dcbf2a3 00001a1d: SWAP1 00001a1e: PUSH1 0x24 00001a20: ADD 00001a21: PUSH1 0x20 00001a23: PUSH1 0x40 00001a25: MLOAD 00001a26: DUP1 00001a27: DUP4 00001a28: SUB 00001a29: DUP2 00001a2a: DUP7 00001a2b: DUP1 00001a2c: EXTCODESIZE 00001a2d: ISZERO 00001a2e: DUP1 00001a2f: ISZERO 00001a30: PUSH2 0x1a38 00001a33: JUMPI 00001a34: PUSH1 0x00 00001a36: DUP1 00001a37: REVERT 00001a38: JUMPDEST 00001a39: POP 00001a3a: GAS 00001a3b: STATICCALL 00001a3c: ISZERO 00001a3d: DUP1 00001a3e: ISZERO 00001a3f: PUSH2 0x1a4c 00001a42: JUMPI 00001a43: RETURNDATASIZE 00001a44: PUSH1 0x00 00001a46: DUP1 00001a47: RETURNDATACOPY 00001a48: RETURNDATASIZE 00001a49: PUSH1 0x00 00001a4b: REVERT 00001a4c: JUMPDEST 00001a4d: POP 00001a4e: POP 00001a4f: POP 00001a50: POP 00001a51: PUSH1 0x40 00001a53: MLOAD 00001a54: RETURNDATASIZE 00001a55: PUSH1 0x1f 00001a57: NOT 00001a58: PUSH1 0x1f 00001a5a: DUP3 00001a5b: ADD 00001a5c: AND 00001a5d: DUP3 00001a5e: ADD 00001a5f: DUP1 00001a60: PUSH1 0x40 00001a62: MSTORE 00001a63: POP 00001a64: DUP2 00001a65: ADD 00001a66: SWAP1 00001a67: PUSH2 0x1a70 00001a6a: SWAP2 00001a6b: SWAP1 00001a6c: PUSH2 0x2391 00001a6f: JUMP 00001a70: JUMPDEST 00001a71: SWAP1 00001a72: POP 00001a73: PUSH1 0x00 00001a75: DUP2 00001a76: GT 00001a77: PUSH2 0x1ac2 00001a7a: JUMPI 00001a7b: PUSH1 0x40 00001a7d: MLOAD 00001a7e: PUSH3 0x461bcd 00001a82: PUSH1 0xe5 00001a84: SHL 00001a85: DUP2 00001a86: MSTORE 00001a87: PUSH1 0x20 00001a89: PUSH1 0x04 00001a8b: DUP3 00001a8c: ADD 00001a8d: MSTORE 00001a8e: PUSH1 0x1b 00001a90: PUSH1 0x24 00001a92: DUP3 00001a93: ADD 00001a94: MSTORE 00001a95: PUSH32 0x596f752068617665206e6f207374616b696e67207469636b6574730000000000 00001ab6: PUSH1 0x44 00001ab8: DUP3 00001ab9: ADD 00001aba: MSTORE 00001abb: PUSH1 0x64 00001abd: ADD 00001abe: PUSH2 0x08f8 00001ac1: JUMP 00001ac2: JUMPDEST 00001ac3: PUSH1 0x14 00001ac5: SLOAD 00001ac6: DUP2 00001ac7: PUSH1 0x13 00001ac9: SLOAD 00001aca: PUSH2 0x1ad3 00001acd: SWAP2 00001ace: SWAP1 00001acf: PUSH2 0x2507 00001ad2: JUMP 00001ad3: JUMPDEST 00001ad4: GT 00001ad5: ISZERO 00001ad6: PUSH2 0x1b21 00001ad9: JUMPI 00001ada: PUSH1 0x40 00001adc: MLOAD 00001add: PUSH3 0x461bcd 00001ae1: PUSH1 0xe5 00001ae3: SHL 00001ae4: DUP2 00001ae5: MSTORE 00001ae6: PUSH1 0x20 00001ae8: PUSH1 0x04 00001aea: DUP3 00001aeb: ADD 00001aec: MSTORE 00001aed: PUSH1 0x1b 00001aef: PUSH1 0x24 00001af1: DUP3 00001af2: ADD 00001af3: MSTORE 00001af4: PUSH32 0x45786365656473206d6178696d756d204c414e4420737570706c790000000000 00001b15: PUSH1 0x44 00001b17: DUP3 00001b18: ADD 00001b19: MSTORE 00001b1a: PUSH1 0x64 00001b1c: ADD 00001b1d: PUSH2 0x08f8 00001b20: JUMP 00001b21: JUMPDEST 00001b22: DUP1 00001b23: PUSH1 0x13 00001b25: PUSH1 0x00 00001b27: DUP3 00001b28: DUP3 00001b29: SLOAD 00001b2a: PUSH2 0x14c7 00001b2d: SWAP2 00001b2e: SWAP1 00001b2f: PUSH2 0x2507 00001b32: JUMP 00001b33: JUMPDEST 00001b34: PUSH1 0x40 00001b36: MLOAD 00001b37: PUSH4 0x0a85bd01 00001b3c: PUSH1 0xe1 00001b3e: SHL 00001b3f: DUP2 00001b40: MSTORE 00001b41: PUSH1 0x00 00001b43: SWAP1 00001b44: PUSH1 0x01 00001b46: PUSH1 0x01 00001b48: PUSH1 0xa0 00001b4a: SHL 00001b4b: SUB 00001b4c: DUP6 00001b4d: AND 00001b4e: SWAP1 00001b4f: PUSH4 0x150b7a02 00001b54: SWAP1 00001b55: PUSH2 0x1b68 00001b58: SWAP1 00001b59: CALLER 00001b5a: SWAP1 00001b5b: DUP10 00001b5c: SWAP1 00001b5d: DUP9 00001b5e: SWAP1 00001b5f: DUP9 00001b60: SWAP1 00001b61: PUSH1 0x04 00001b63: ADD 00001b64: PUSH2 0x2482 00001b67: JUMP 00001b68: JUMPDEST 00001b69: PUSH1 0x20 00001b6b: PUSH1 0x40 00001b6d: MLOAD 00001b6e: DUP1 00001b6f: DUP4 00001b70: SUB 00001b71: DUP2 00001b72: PUSH1 0x00 00001b74: DUP8 00001b75: DUP1 00001b76: EXTCODESIZE 00001b77: ISZERO 00001b78: DUP1 00001b79: ISZERO 00001b7a: PUSH2 0x1b82 00001b7d: JUMPI 00001b7e: PUSH1 0x00 00001b80: DUP1 00001b81: REVERT 00001b82: JUMPDEST 00001b83: POP 00001b84: GAS 00001b85: CALL 00001b86: SWAP3 00001b87: POP 00001b88: POP 00001b89: POP 00001b8a: DUP1 00001b8b: ISZERO 00001b8c: PUSH2 0x1bb2 00001b8f: JUMPI 00001b90: POP 00001b91: PUSH1 0x40 00001b93: DUP1 00001b94: MLOAD 00001b95: PUSH1 0x1f 00001b97: RETURNDATASIZE 00001b98: SWAP1 00001b99: DUP2 00001b9a: ADD 00001b9b: PUSH1 0x1f 00001b9d: NOT 00001b9e: AND 00001b9f: DUP3 00001ba0: ADD 00001ba1: SWAP1 00001ba2: SWAP3 00001ba3: MSTORE 00001ba4: PUSH2 0x1baf 00001ba7: SWAP2 00001ba8: DUP2 00001ba9: ADD 00001baa: SWAP1 00001bab: PUSH2 0x232f 00001bae: JUMP 00001baf: JUMPDEST 00001bb0: PUSH1 0x01 00001bb2: JUMPDEST 00001bb3: PUSH2 0x1c0d 00001bb6: JUMPI 00001bb7: RETURNDATASIZE 00001bb8: DUP1 00001bb9: DUP1 00001bba: ISZERO 00001bbb: PUSH2 0x1be0 00001bbe: JUMPI 00001bbf: PUSH1 0x40 00001bc1: MLOAD 00001bc2: SWAP2 00001bc3: POP 00001bc4: PUSH1 0x1f 00001bc6: NOT 00001bc7: PUSH1 0x3f 00001bc9: RETURNDATASIZE 00001bca: ADD 00001bcb: AND 00001bcc: DUP3 00001bcd: ADD 00001bce: PUSH1 0x40 00001bd0: MSTORE 00001bd1: RETURNDATASIZE 00001bd2: DUP3 00001bd3: MSTORE 00001bd4: RETURNDATASIZE 00001bd5: PUSH1 0x00 00001bd7: PUSH1 0x20 00001bd9: DUP5 00001bda: ADD 00001bdb: RETURNDATACOPY 00001bdc: PUSH2 0x1be5 00001bdf: JUMP 00001be0: JUMPDEST 00001be1: PUSH1 0x60 00001be3: SWAP2 00001be4: POP 00001be5: JUMPDEST 00001be6: POP 00001be7: DUP1 00001be8: MLOAD 00001be9: PUSH2 0x1c05 00001bec: JUMPI 00001bed: PUSH1 0x40 00001bef: MLOAD 00001bf0: PUSH4 0x68d2bf6b 00001bf5: PUSH1 0xe1 00001bf7: SHL 00001bf8: DUP2 00001bf9: MSTORE 00001bfa: PUSH1 0x04 00001bfc: ADD 00001bfd: PUSH1 0x40 00001bff: MLOAD 00001c00: DUP1 00001c01: SWAP2 00001c02: SUB 00001c03: SWAP1 00001c04: REVERT 00001c05: JUMPDEST 00001c06: DUP1 00001c07: MLOAD 00001c08: DUP2 00001c09: PUSH1 0x20 00001c0b: ADD 00001c0c: REVERT 00001c0d: JUMPDEST 00001c0e: PUSH1 0x01 00001c10: PUSH1 0x01 00001c12: PUSH1 0xe0 00001c14: SHL 00001c15: SUB 00001c16: NOT 00001c17: AND 00001c18: PUSH4 0x0a85bd01 00001c1d: PUSH1 0xe1 00001c1f: SHL 00001c20: EQ 00001c21: SWAP1 00001c22: POP 00001c23: JUMPDEST 00001c24: SWAP5 00001c25: SWAP4 00001c26: POP 00001c27: POP 00001c28: POP 00001c29: POP 00001c2a: JUMP 00001c2b: JUMPDEST 00001c2c: PUSH1 0x00 00001c2e: DUP1 00001c2f: PUSH2 0x1c3a 00001c32: PUSH2 0x0100 00001c35: DUP5 00001c36: PUSH2 0x251f 00001c39: JUMP 00001c3a: JUMPDEST 00001c3b: SWAP1 00001c3c: POP 00001c3d: PUSH1 0x00 00001c3f: PUSH2 0x1c4a 00001c42: PUSH2 0x0100 00001c45: DUP6 00001c46: PUSH2 0x25eb 00001c49: JUMP 00001c4a: JUMPDEST 00001c4b: PUSH1 0x00 00001c4d: SWAP3 00001c4e: DUP4 00001c4f: MSTORE 00001c50: PUSH1 0x0e 00001c52: PUSH1 0x20 00001c54: MSTORE 00001c55: PUSH1 0x40 00001c57: SWAP1 00001c58: SWAP3 00001c59: KECCAK256 00001c5a: SLOAD 00001c5b: PUSH1 0x01 00001c5d: SWAP1 00001c5e: SWAP3 00001c5f: SHL 00001c60: SWAP2 00001c61: DUP3 00001c62: AND 00001c63: SWAP1 00001c64: SWAP2 00001c65: EQ 00001c66: SWAP4 00001c67: SWAP3 00001c68: POP 00001c69: POP 00001c6a: POP 00001c6b: JUMP 00001c6c: JUMPDEST 00001c6d: PUSH1 0x00 00001c6f: DUP3 00001c70: PUSH2 0x1c79 00001c73: DUP6 00001c74: DUP5 00001c75: PUSH2 0x1feb 00001c78: JUMP 00001c79: JUMPDEST 00001c7a: EQ 00001c7b: SWAP5 00001c7c: SWAP4 00001c7d: POP 00001c7e: POP 00001c7f: POP 00001c80: POP 00001c81: JUMP 00001c82: JUMPDEST 00001c83: PUSH1 0x00 00001c85: PUSH2 0x1c90 00001c88: PUSH2 0x0100 00001c8b: DUP4 00001c8c: PUSH2 0x251f 00001c8f: JUMP 00001c90: JUMPDEST 00001c91: SWAP1 00001c92: POP 00001c93: PUSH1 0x00 00001c95: PUSH2 0x1ca0 00001c98: PUSH2 0x0100 00001c9b: DUP5 00001c9c: PUSH2 0x25eb 00001c9f: JUMP 00001ca0: JUMPDEST 00001ca1: PUSH1 0x00 00001ca3: SWAP3 00001ca4: DUP4 00001ca5: MSTORE 00001ca6: PUSH1 0x0e 00001ca8: PUSH1 0x20 00001caa: MSTORE 00001cab: PUSH1 0x40 00001cad: SWAP1 00001cae: SWAP3 00001caf: KECCAK256 00001cb0: DUP1 00001cb1: SLOAD 00001cb2: PUSH1 0x01 00001cb4: SWAP1 00001cb5: SWAP4 00001cb6: SHL 00001cb7: SWAP1 00001cb8: SWAP3 00001cb9: OR 00001cba: SWAP1 00001cbb: SWAP2 00001cbc: SSTORE 00001cbd: POP 00001cbe: POP 00001cbf: JUMP 00001cc0: JUMPDEST 00001cc1: PUSH1 0x60 00001cc3: PUSH1 0x09 00001cc5: DUP1 00001cc6: SLOAD 00001cc7: PUSH2 0x0773 00001cca: SWAP1 00001ccb: PUSH2 0x2595 00001cce: JUMP 00001ccf: JUMPDEST 00001cd0: PUSH1 0x60 00001cd2: DUP2 00001cd3: PUSH2 0x1cf3 00001cd6: JUMPI 00001cd7: POP 00001cd8: POP 00001cd9: PUSH1 0x40 00001cdb: DUP1 00001cdc: MLOAD 00001cdd: DUP1 00001cde: DUP3 00001cdf: ADD 00001ce0: SWAP1 00001ce1: SWAP2 00001ce2: MSTORE 00001ce3: PUSH1 0x01 00001ce5: DUP2 00001ce6: MSTORE 00001ce7: PUSH1 0x03 00001ce9: PUSH1 0xfc 00001ceb: SHL 00001cec: PUSH1 0x20 00001cee: DUP3 00001cef: ADD 00001cf0: MSTORE 00001cf1: SWAP1 00001cf2: JUMP 00001cf3: JUMPDEST 00001cf4: DUP2 00001cf5: PUSH1 0x00 00001cf7: JUMPDEST 00001cf8: DUP2 00001cf9: ISZERO 00001cfa: PUSH2 0x1d1d 00001cfd: JUMPI 00001cfe: DUP1 00001cff: PUSH2 0x1d07 00001d02: DUP2 00001d03: PUSH2 0x25d0 00001d06: JUMP 00001d07: JUMPDEST 00001d08: SWAP2 00001d09: POP 00001d0a: PUSH2 0x1d16 00001d0d: SWAP1 00001d0e: POP 00001d0f: PUSH1 0x0a 00001d11: DUP4 00001d12: PUSH2 0x251f 00001d15: JUMP 00001d16: JUMPDEST 00001d17: SWAP2 00001d18: POP 00001d19: PUSH2 0x1cf7 00001d1c: JUMP 00001d1d: JUMPDEST 00001d1e: PUSH1 0x00 00001d20: DUP2 00001d21: PUSH8 0xffffffffffffffff 00001d2a: DUP2 00001d2b: GT 00001d2c: ISZERO 00001d2d: PUSH2 0x1d46 00001d30: JUMPI 00001d31: PUSH4 0x4e487b71 00001d36: PUSH1 0xe0 00001d38: SHL 00001d39: PUSH1 0x00 00001d3b: MSTORE 00001d3c: PUSH1 0x41 00001d3e: PUSH1 0x04 00001d40: MSTORE 00001d41: PUSH1 0x24 00001d43: PUSH1 0x00 00001d45: REVERT 00001d46: JUMPDEST 00001d47: PUSH1 0x40 00001d49: MLOAD 00001d4a: SWAP1 00001d4b: DUP1 00001d4c: DUP3 00001d4d: MSTORE 00001d4e: DUP1 00001d4f: PUSH1 0x1f 00001d51: ADD 00001d52: PUSH1 0x1f 00001d54: NOT 00001d55: AND 00001d56: PUSH1 0x20 00001d58: ADD 00001d59: DUP3 00001d5a: ADD 00001d5b: PUSH1 0x40 00001d5d: MSTORE 00001d5e: DUP1 00001d5f: ISZERO 00001d60: PUSH2 0x1d70 00001d63: JUMPI 00001d64: PUSH1 0x20 00001d66: DUP3 00001d67: ADD 00001d68: DUP2 00001d69: DUP1 00001d6a: CALLDATASIZE 00001d6b: DUP4 00001d6c: CALLDATACOPY 00001d6d: ADD 00001d6e: SWAP1 00001d6f: POP 00001d70: JUMPDEST 00001d71: POP 00001d72: SWAP1 00001d73: POP 00001d74: JUMPDEST 00001d75: DUP5 00001d76: ISZERO 00001d77: PUSH2 0x1c23 00001d7a: JUMPI 00001d7b: PUSH2 0x1d85 00001d7e: PUSH1 0x01 00001d80: DUP4 00001d81: PUSH2 0x2552 00001d84: JUMP 00001d85: JUMPDEST 00001d86: SWAP2 00001d87: POP 00001d88: PUSH2 0x1d92 00001d8b: PUSH1 0x0a 00001d8d: DUP7 00001d8e: PUSH2 0x25eb 00001d91: JUMP 00001d92: JUMPDEST 00001d93: PUSH2 0x1d9d 00001d96: SWAP1 00001d97: PUSH1 0x30 00001d99: PUSH2 0x2507 00001d9c: JUMP 00001d9d: JUMPDEST 00001d9e: PUSH1 0xf8 00001da0: SHL 00001da1: DUP2 00001da2: DUP4 00001da3: DUP2 00001da4: MLOAD 00001da5: DUP2 00001da6: LT 00001da7: PUSH2 0x1dc0 00001daa: JUMPI 00001dab: PUSH4 0x4e487b71 00001db0: PUSH1 0xe0 00001db2: SHL 00001db3: PUSH1 0x00 00001db5: MSTORE 00001db6: PUSH1 0x32 00001db8: PUSH1 0x04 00001dba: MSTORE 00001dbb: PUSH1 0x24 00001dbd: PUSH1 0x00 00001dbf: REVERT 00001dc0: JUMPDEST 00001dc1: PUSH1 0x20 00001dc3: ADD 00001dc4: ADD 00001dc5: SWAP1 00001dc6: PUSH1 0x01 00001dc8: PUSH1 0x01 00001dca: PUSH1 0xf8 00001dcc: SHL 00001dcd: SUB 00001dce: NOT 00001dcf: AND 00001dd0: SWAP1 00001dd1: DUP2 00001dd2: PUSH1 0x00 00001dd4: BYTE 00001dd5: SWAP1 00001dd6: MSTORE8 00001dd7: POP 00001dd8: PUSH2 0x1de2 00001ddb: PUSH1 0x0a 00001ddd: DUP7 00001dde: PUSH2 0x251f 00001de1: JUMP 00001de2: JUMPDEST 00001de3: SWAP5 00001de4: POP 00001de5: PUSH2 0x1d74 00001de8: JUMP 00001de9: JUMPDEST 00001dea: PUSH1 0x00 00001dec: SLOAD 00001ded: PUSH1 0x01 00001def: PUSH1 0x01 00001df1: PUSH1 0xa0 00001df3: SHL 00001df4: SUB 00001df5: DUP6 00001df6: AND 00001df7: PUSH2 0x1e12 00001dfa: JUMPI 00001dfb: PUSH1 0x40 00001dfd: MLOAD 00001dfe: PUSH3 0x2e0763 00001e02: PUSH1 0xe8 00001e04: SHL 00001e05: DUP2 00001e06: MSTORE 00001e07: PUSH1 0x04 00001e09: ADD 00001e0a: PUSH1 0x40 00001e0c: MLOAD 00001e0d: DUP1 00001e0e: SWAP2 00001e0f: SUB 00001e10: SWAP1 00001e11: REVERT 00001e12: JUMPDEST 00001e13: DUP4 00001e14: PUSH2 0x1e30 00001e17: JUMPI 00001e18: PUSH1 0x40 00001e1a: MLOAD 00001e1b: PUSH4 0xb562e8dd 00001e20: PUSH1 0xe0 00001e22: SHL 00001e23: DUP2 00001e24: MSTORE 00001e25: PUSH1 0x04 00001e27: ADD 00001e28: PUSH1 0x40 00001e2a: MLOAD 00001e2b: DUP1 00001e2c: SWAP2 00001e2d: SUB 00001e2e: SWAP1 00001e2f: REVERT 00001e30: JUMPDEST 00001e31: PUSH2 0x1e3d 00001e34: PUSH1 0x00 00001e36: DUP7 00001e37: DUP4 00001e38: DUP8 00001e39: PUSH2 0x1fc7 00001e3c: JUMP 00001e3d: JUMPDEST 00001e3e: PUSH1 0x01 00001e40: PUSH1 0x01 00001e42: PUSH1 0xa0 00001e44: SHL 00001e45: SUB 00001e46: DUP6 00001e47: AND 00001e48: PUSH1 0x00 00001e4a: DUP2 00001e4b: DUP2 00001e4c: MSTORE 00001e4d: PUSH1 0x05 00001e4f: PUSH1 0x20 00001e51: SWAP1 00001e52: DUP2 00001e53: MSTORE 00001e54: PUSH1 0x40 00001e56: DUP1 00001e57: DUP4 00001e58: KECCAK256 00001e59: DUP1 00001e5a: SLOAD 00001e5b: PUSH16 0xffffffffffffffffffffffffffffffff 00001e6c: NOT 00001e6d: DUP2 00001e6e: AND 00001e6f: PUSH8 0xffffffffffffffff 00001e78: DUP1 00001e79: DUP4 00001e7a: AND 00001e7b: DUP13 00001e7c: ADD 00001e7d: DUP2 00001e7e: AND 00001e7f: SWAP2 00001e80: DUP3 00001e81: OR 00001e82: PUSH9 0x010000000000000000 00001e8c: PUSH8 0xffffffffffffffff 00001e95: NOT 00001e96: SWAP1 00001e97: SWAP5 00001e98: AND 00001e99: SWAP1 00001e9a: SWAP3 00001e9b: OR 00001e9c: DUP4 00001e9d: SWAP1 00001e9e: DIV 00001e9f: DUP2 00001ea0: AND 00001ea1: DUP13 00001ea2: ADD 00001ea3: DUP2 00001ea4: AND 00001ea5: SWAP1 00001ea6: SWAP3 00001ea7: MUL 00001ea8: OR 00001ea9: SWAP1 00001eaa: SWAP2 00001eab: SSTORE 00001eac: DUP6 00001ead: DUP5 00001eae: MSTORE 00001eaf: PUSH1 0x04 00001eb1: SWAP1 00001eb2: SWAP3 00001eb3: MSTORE 00001eb4: SWAP1 00001eb5: SWAP2 00001eb6: KECCAK256 00001eb7: DUP1 00001eb8: SLOAD 00001eb9: PUSH1 0x01 00001ebb: PUSH1 0x01 00001ebd: PUSH1 0xe0 00001ebf: SHL 00001ec0: SUB 00001ec1: NOT 00001ec2: AND 00001ec3: SWAP1 00001ec4: SWAP3 00001ec5: OR 00001ec6: PUSH1 0x01 00001ec8: PUSH1 0xa0 00001eca: SHL 00001ecb: TIMESTAMP 00001ecc: SWAP1 00001ecd: SWAP3 00001ece: AND 00001ecf: SWAP2 00001ed0: SWAP1 00001ed1: SWAP2 00001ed2: MUL 00001ed3: OR 00001ed4: SWAP1 00001ed5: SSTORE 00001ed6: DUP1 00001ed7: DUP1 00001ed8: DUP6 00001ed9: ADD 00001eda: DUP4 00001edb: DUP1 00001edc: ISZERO 00001edd: PUSH2 0x1eef 00001ee0: JUMPI 00001ee1: POP 00001ee2: PUSH1 0x01 00001ee4: PUSH1 0x01 00001ee6: PUSH1 0xa0 00001ee8: SHL 00001ee9: SUB 00001eea: DUP8 00001eeb: AND 00001eec: EXTCODESIZE 00001eed: ISZERO 00001eee: ISZERO 00001eef: JUMPDEST 00001ef0: ISZERO 00001ef1: PUSH2 0x1f78 00001ef4: JUMPI 00001ef5: JUMPDEST 00001ef6: PUSH1 0x40 00001ef8: MLOAD 00001ef9: DUP3 00001efa: SWAP1 00001efb: PUSH1 0x01 00001efd: PUSH1 0x01 00001eff: PUSH1 0xa0 00001f01: SHL 00001f02: SUB 00001f03: DUP10 00001f04: AND 00001f05: SWAP1 00001f06: PUSH1 0x00 00001f08: SWAP1 00001f09: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001f2a: SWAP1 00001f2b: DUP3 00001f2c: SWAP1 00001f2d: LOG4 00001f2e: PUSH2 0x1f40 00001f31: PUSH1 0x00 00001f33: DUP9 00001f34: DUP5 00001f35: DUP1 00001f36: PUSH1 0x01 00001f38: ADD 00001f39: SWAP6 00001f3a: POP 00001f3b: DUP9 00001f3c: PUSH2 0x1b33 00001f3f: JUMP 00001f40: JUMPDEST 00001f41: PUSH2 0x1f5d 00001f44: JUMPI 00001f45: PUSH1 0x40 00001f47: MLOAD 00001f48: PUSH4 0x68d2bf6b 00001f4d: PUSH1 0xe1 00001f4f: SHL 00001f50: DUP2 00001f51: MSTORE 00001f52: PUSH1 0x04 00001f54: ADD 00001f55: PUSH1 0x40 00001f57: MLOAD 00001f58: DUP1 00001f59: SWAP2 00001f5a: SUB 00001f5b: SWAP1 00001f5c: REVERT 00001f5d: JUMPDEST 00001f5e: DUP1 00001f5f: DUP3 00001f60: EQ 00001f61: ISZERO 00001f62: PUSH2 0x1ef5 00001f65: JUMPI 00001f66: DUP3 00001f67: PUSH1 0x00 00001f69: SLOAD 00001f6a: EQ 00001f6b: PUSH2 0x1f73 00001f6e: JUMPI 00001f6f: PUSH1 0x00 00001f71: DUP1 00001f72: REVERT 00001f73: JUMPDEST 00001f74: PUSH2 0x1fbe 00001f77: JUMP 00001f78: JUMPDEST 00001f79: JUMPDEST 00001f7a: PUSH1 0x40 00001f7c: MLOAD 00001f7d: PUSH1 0x01 00001f7f: DUP4 00001f80: ADD 00001f81: SWAP3 00001f82: SWAP1 00001f83: PUSH1 0x01 00001f85: PUSH1 0x01 00001f87: PUSH1 0xa0 00001f89: SHL 00001f8a: SUB 00001f8b: DUP10 00001f8c: AND 00001f8d: SWAP1 00001f8e: PUSH1 0x00 00001f90: SWAP1 00001f91: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001fb2: SWAP1 00001fb3: DUP3 00001fb4: SWAP1 00001fb5: LOG4 00001fb6: DUP1 00001fb7: DUP3 00001fb8: EQ 00001fb9: ISZERO 00001fba: PUSH2 0x1f79 00001fbd: JUMPI 00001fbe: JUMPDEST 00001fbf: POP 00001fc0: PUSH1 0x00 00001fc2: SSTORE 00001fc3: PUSH2 0x1062 00001fc6: JUMP 00001fc7: JUMPDEST 00001fc8: PUSH1 0x08 00001fca: SLOAD 00001fcb: PUSH1 0xff 00001fcd: AND 00001fce: ISZERO 00001fcf: PUSH2 0x0e91 00001fd2: JUMPI 00001fd3: PUSH1 0x40 00001fd5: MLOAD 00001fd6: PUSH4 0xab35696f 00001fdb: PUSH1 0xe0 00001fdd: SHL 00001fde: DUP2 00001fdf: MSTORE 00001fe0: PUSH1 0x04 00001fe2: ADD 00001fe3: PUSH1 0x40 00001fe5: MLOAD 00001fe6: DUP1 00001fe7: SWAP2 00001fe8: SUB 00001fe9: SWAP1 00001fea: REVERT 00001feb: JUMPDEST 00001fec: PUSH1 0x00 00001fee: DUP2 00001fef: DUP2 00001ff0: JUMPDEST 00001ff1: DUP5 00001ff2: MLOAD 00001ff3: DUP2 00001ff4: LT 00001ff5: ISZERO 00001ff6: PUSH2 0x2065 00001ff9: JUMPI 00001ffa: PUSH1 0x00 00001ffc: DUP6 00001ffd: DUP3 00001ffe: DUP2 00001fff: MLOAD 00002000: DUP2 00002001: LT 00002002: PUSH2 0x201b 00002005: JUMPI 00002006: PUSH4 0x4e487b71 0000200b: PUSH1 0xe0 0000200d: SHL 0000200e: PUSH1 0x00 00002010: MSTORE 00002011: PUSH1 0x32 00002013: PUSH1 0x04 00002015: MSTORE 00002016: PUSH1 0x24 00002018: PUSH1 0x00 0000201a: REVERT 0000201b: JUMPDEST 0000201c: PUSH1 0x20 0000201e: MUL 0000201f: PUSH1 0x20 00002021: ADD 00002022: ADD 00002023: MLOAD 00002024: SWAP1 00002025: POP 00002026: DUP1 00002027: DUP4 00002028: GT 00002029: PUSH2 0x2041 0000202c: JUMPI 0000202d: PUSH1 0x00 0000202f: DUP4 00002030: DUP2 00002031: MSTORE 00002032: PUSH1 0x20 00002034: DUP3 00002035: SWAP1 00002036: MSTORE 00002037: PUSH1 0x40 00002039: SWAP1 0000203a: KECCAK256 0000203b: SWAP3 0000203c: POP 0000203d: PUSH2 0x2052 00002040: JUMP 00002041: JUMPDEST 00002042: PUSH1 0x00 00002044: DUP2 00002045: DUP2 00002046: MSTORE 00002047: PUSH1 0x20 00002049: DUP5 0000204a: SWAP1 0000204b: MSTORE 0000204c: PUSH1 0x40 0000204e: SWAP1 0000204f: KECCAK256 00002050: SWAP3 00002051: POP 00002052: JUMPDEST 00002053: POP 00002054: DUP1 00002055: PUSH2 0x205d 00002058: DUP2 00002059: PUSH2 0x25d0 0000205c: JUMP 0000205d: JUMPDEST 0000205e: SWAP2 0000205f: POP 00002060: POP 00002061: PUSH2 0x1ff0 00002064: JUMP 00002065: JUMPDEST 00002066: POP 00002067: SWAP4 00002068: SWAP3 00002069: POP 0000206a: POP 0000206b: POP 0000206c: JUMP 0000206d: JUMPDEST 0000206e: DUP3 0000206f: DUP1 00002070: SLOAD 00002071: PUSH2 0x2079 00002074: SWAP1 00002075: PUSH2 0x2595 00002078: JUMP 00002079: JUMPDEST 0000207a: SWAP1 0000207b: PUSH1 0x00 0000207d: MSTORE 0000207e: PUSH1 0x20 00002080: PUSH1 0x00 00002082: KECCAK256 00002083: SWAP1 00002084: PUSH1 0x1f 00002086: ADD 00002087: PUSH1 0x20 00002089: SWAP1 0000208a: DIV 0000208b: DUP2 0000208c: ADD 0000208d: SWAP3 0000208e: DUP3 0000208f: PUSH2 0x209b 00002092: JUMPI 00002093: PUSH1 0x00 00002095: DUP6 00002096: SSTORE 00002097: PUSH2 0x20e1 0000209a: JUMP 0000209b: JUMPDEST 0000209c: DUP3 0000209d: PUSH1 0x1f 0000209f: LT 000020a0: PUSH2 0x20b4 000020a3: JUMPI 000020a4: DUP1 000020a5: MLOAD 000020a6: PUSH1 0xff 000020a8: NOT 000020a9: AND 000020aa: DUP4 000020ab: DUP1 000020ac: ADD 000020ad: OR 000020ae: DUP6 000020af: SSTORE 000020b0: PUSH2 0x20e1 000020b3: JUMP 000020b4: JUMPDEST 000020b5: DUP3 000020b6: DUP1 000020b7: ADD 000020b8: PUSH1 0x01 000020ba: ADD 000020bb: DUP6 000020bc: SSTORE 000020bd: DUP3 000020be: ISZERO 000020bf: PUSH2 0x20e1 000020c2: JUMPI 000020c3: SWAP2 000020c4: DUP3 000020c5: ADD 000020c6: JUMPDEST 000020c7: DUP3 000020c8: DUP2 000020c9: GT 000020ca: ISZERO 000020cb: PUSH2 0x20e1 000020ce: JUMPI 000020cf: DUP3 000020d0: MLOAD 000020d1: DUP3 000020d2: SSTORE 000020d3: SWAP2 000020d4: PUSH1 0x20 000020d6: ADD 000020d7: SWAP2 000020d8: SWAP1 000020d9: PUSH1 0x01 000020db: ADD 000020dc: SWAP1 000020dd: PUSH2 0x20c6 000020e0: JUMP 000020e1: JUMPDEST 000020e2: POP 000020e3: PUSH2 0x20ed 000020e6: SWAP3 000020e7: SWAP2 000020e8: POP 000020e9: PUSH2 0x20f1 000020ec: JUMP 000020ed: JUMPDEST 000020ee: POP 000020ef: SWAP1 000020f0: JUMP 000020f1: JUMPDEST 000020f2: JUMPDEST 000020f3: DUP1 000020f4: DUP3 000020f5: GT 000020f6: ISZERO 000020f7: PUSH2 0x20ed 000020fa: JUMPI 000020fb: PUSH1 0x00 000020fd: DUP2 000020fe: SSTORE 000020ff: PUSH1 0x01 00002101: ADD 00002102: PUSH2 0x20f2 00002105: JUMP 00002106: JUMPDEST 00002107: PUSH1 0x00 00002109: PUSH8 0xffffffffffffffff 00002112: DUP1 00002113: DUP5 00002114: GT 00002115: ISZERO 00002116: PUSH2 0x2121 00002119: JUMPI 0000211a: PUSH2 0x2121 0000211d: PUSH2 0x262b 00002120: JUMP 00002121: JUMPDEST 00002122: PUSH1 0x40 00002124: MLOAD 00002125: PUSH1 0x1f 00002127: DUP6 00002128: ADD 00002129: PUSH1 0x1f 0000212b: NOT 0000212c: SWAP1 0000212d: DUP2 0000212e: AND 0000212f: PUSH1 0x3f 00002131: ADD 00002132: AND 00002133: DUP2 00002134: ADD 00002135: SWAP1 00002136: DUP3 00002137: DUP3 00002138: GT 00002139: DUP2 0000213a: DUP4 0000213b: LT 0000213c: OR 0000213d: ISZERO 0000213e: PUSH2 0x2149 00002141: JUMPI 00002142: PUSH2 0x2149 00002145: PUSH2 0x262b 00002148: JUMP 00002149: JUMPDEST 0000214a: DUP2 0000214b: PUSH1 0x40 0000214d: MSTORE 0000214e: DUP1 0000214f: SWAP4 00002150: POP 00002151: DUP6 00002152: DUP2 00002153: MSTORE 00002154: DUP7 00002155: DUP7 00002156: DUP7 00002157: ADD 00002158: GT 00002159: ISZERO 0000215a: PUSH2 0x2162 0000215d: JUMPI 0000215e: PUSH1 0x00 00002160: DUP1 00002161: REVERT 00002162: JUMPDEST 00002163: DUP6 00002164: DUP6 00002165: PUSH1 0x20 00002167: DUP4 00002168: ADD 00002169: CALLDATACOPY 0000216a: PUSH1 0x00 0000216c: PUSH1 0x20 0000216e: DUP8 0000216f: DUP4 00002170: ADD 00002171: ADD 00002172: MSTORE 00002173: POP 00002174: POP 00002175: POP 00002176: SWAP4 00002177: SWAP3 00002178: POP 00002179: POP 0000217a: POP 0000217b: JUMP 0000217c: JUMPDEST 0000217d: DUP1 0000217e: CALLDATALOAD 0000217f: PUSH1 0x01 00002181: PUSH1 0x01 00002183: PUSH1 0xa0 00002185: SHL 00002186: SUB 00002187: DUP2 00002188: AND 00002189: DUP2 0000218a: EQ 0000218b: PUSH2 0x2193 0000218e: JUMPI 0000218f: PUSH1 0x00 00002191: DUP1 00002192: REVERT 00002193: JUMPDEST 00002194: SWAP2 00002195: SWAP1 00002196: POP 00002197: JUMP 00002198: JUMPDEST 00002199: PUSH1 0x00 0000219b: PUSH1 0x20 0000219d: DUP3 0000219e: DUP5 0000219f: SUB 000021a0: SLT 000021a1: ISZERO 000021a2: PUSH2 0x21a9 000021a5: JUMPI 000021a6: DUP1 000021a7: DUP2 000021a8: REVERT 000021a9: JUMPDEST 000021aa: PUSH2 0x10e7 000021ad: DUP3 000021ae: PUSH2 0x217c 000021b1: JUMP 000021b2: JUMPDEST 000021b3: PUSH1 0x00 000021b5: DUP1 000021b6: PUSH1 0x40 000021b8: DUP4 000021b9: DUP6 000021ba: SUB 000021bb: SLT 000021bc: ISZERO 000021bd: PUSH2 0x21c4 000021c0: JUMPI 000021c1: DUP1 000021c2: DUP2 000021c3: REVERT 000021c4: JUMPDEST 000021c5: PUSH2 0x21cd 000021c8: DUP4 000021c9: PUSH2 0x217c 000021cc: JUMP 000021cd: JUMPDEST 000021ce: SWAP2 000021cf: POP 000021d0: PUSH2 0x21db 000021d3: PUSH1 0x20 000021d5: DUP5 000021d6: ADD 000021d7: PUSH2 0x217c 000021da: JUMP 000021db: JUMPDEST 000021dc: SWAP1 000021dd: POP 000021de: SWAP3 000021df: POP 000021e0: SWAP3 000021e1: SWAP1 000021e2: POP 000021e3: JUMP 000021e4: JUMPDEST 000021e5: PUSH1 0x00 000021e7: DUP1 000021e8: PUSH1 0x00 000021ea: PUSH1 0x60 000021ec: DUP5 000021ed: DUP7 000021ee: SUB 000021ef: SLT 000021f0: ISZERO 000021f1: PUSH2 0x21f8 000021f4: JUMPI 000021f5: DUP1 000021f6: DUP2 000021f7: REVERT 000021f8: JUMPDEST 000021f9: PUSH2 0x2201 000021fc: DUP5 000021fd: PUSH2 0x217c 00002200: JUMP 00002201: JUMPDEST 00002202: SWAP3 00002203: POP 00002204: PUSH2 0x220f 00002207: PUSH1 0x20 00002209: DUP6 0000220a: ADD 0000220b: PUSH2 0x217c 0000220e: JUMP 0000220f: JUMPDEST 00002210: SWAP2 00002211: POP 00002212: PUSH1 0x40 00002214: DUP5 00002215: ADD 00002216: CALLDATALOAD 00002217: SWAP1 00002218: POP 00002219: SWAP3 0000221a: POP 0000221b: SWAP3 0000221c: POP 0000221d: SWAP3 0000221e: JUMP 0000221f: JUMPDEST 00002220: PUSH1 0x00 00002222: DUP1 00002223: PUSH1 0x00 00002225: DUP1 00002226: PUSH1 0x80 00002228: DUP6 00002229: DUP8 0000222a: SUB 0000222b: SLT 0000222c: ISZERO 0000222d: PUSH2 0x2234 00002230: JUMPI 00002231: DUP1 00002232: DUP2 00002233: REVERT 00002234: JUMPDEST 00002235: PUSH2 0x223d 00002238: DUP6 00002239: PUSH2 0x217c 0000223c: JUMP 0000223d: JUMPDEST 0000223e: SWAP4 0000223f: POP 00002240: PUSH2 0x224b 00002243: PUSH1 0x20 00002245: DUP7 00002246: ADD 00002247: PUSH2 0x217c 0000224a: JUMP 0000224b: JUMPDEST 0000224c: SWAP3 0000224d: POP 0000224e: PUSH1 0x40 00002250: DUP6 00002251: ADD 00002252: CALLDATALOAD 00002253: SWAP2 00002254: POP 00002255: PUSH1 0x60 00002257: DUP6 00002258: ADD 00002259: CALLDATALOAD 0000225a: PUSH8 0xffffffffffffffff 00002263: DUP2 00002264: GT 00002265: ISZERO 00002266: PUSH2 0x226d 00002269: JUMPI 0000226a: DUP2 0000226b: DUP3 0000226c: REVERT 0000226d: JUMPDEST 0000226e: DUP6 0000226f: ADD 00002270: PUSH1 0x1f 00002272: DUP2 00002273: ADD 00002274: DUP8 00002275: SGT 00002276: PUSH2 0x227d 00002279: JUMPI 0000227a: DUP2 0000227b: DUP3 0000227c: REVERT 0000227d: JUMPDEST 0000227e: PUSH2 0x228c 00002281: DUP8 00002282: DUP3 00002283: CALLDATALOAD 00002284: PUSH1 0x20 00002286: DUP5 00002287: ADD 00002288: PUSH2 0x2106 0000228b: JUMP 0000228c: JUMPDEST 0000228d: SWAP2 0000228e: POP 0000228f: POP 00002290: SWAP3 00002291: SWAP6 00002292: SWAP2 00002293: SWAP5 00002294: POP 00002295: SWAP3 00002296: POP 00002297: JUMP 00002298: JUMPDEST 00002299: PUSH1 0x00 0000229b: DUP1 0000229c: PUSH1 0x40 0000229e: DUP4 0000229f: DUP6 000022a0: SUB 000022a1: SLT 000022a2: ISZERO 000022a3: PUSH2 0x22aa 000022a6: JUMPI 000022a7: DUP2 000022a8: DUP3 000022a9: REVERT 000022aa: JUMPDEST 000022ab: PUSH2 0x22b3 000022ae: DUP4 000022af: PUSH2 0x217c 000022b2: JUMP 000022b3: JUMPDEST 000022b4: SWAP2 000022b5: POP 000022b6: PUSH1 0x20 000022b8: DUP4 000022b9: ADD 000022ba: CALLDATALOAD 000022bb: DUP1 000022bc: ISZERO 000022bd: ISZERO 000022be: DUP2 000022bf: EQ 000022c0: PUSH2 0x22c7 000022c3: JUMPI 000022c4: DUP2 000022c5: DUP3 000022c6: REVERT 000022c7: JUMPDEST 000022c8: DUP1 000022c9: SWAP2 000022ca: POP 000022cb: POP 000022cc: SWAP3 000022cd: POP 000022ce: SWAP3 000022cf: SWAP1 000022d0: POP 000022d1: JUMP 000022d2: JUMPDEST 000022d3: PUSH1 0x00 000022d5: DUP1 000022d6: PUSH1 0x40 000022d8: DUP4 000022d9: DUP6 000022da: SUB 000022db: SLT 000022dc: ISZERO 000022dd: PUSH2 0x22e4 000022e0: JUMPI 000022e1: DUP2 000022e2: DUP3 000022e3: REVERT 000022e4: JUMPDEST 000022e5: PUSH2 0x22ed 000022e8: DUP4 000022e9: PUSH2 0x217c 000022ec: JUMP 000022ed: JUMPDEST 000022ee: SWAP5 000022ef: PUSH1 0x20 000022f1: SWAP4 000022f2: SWAP1 000022f3: SWAP4 000022f4: ADD 000022f5: CALLDATALOAD 000022f6: SWAP4 000022f7: POP 000022f8: POP 000022f9: POP 000022fa: JUMP 000022fb: JUMPDEST 000022fc: PUSH1 0x00 000022fe: PUSH1 0x20 00002300: DUP3 00002301: DUP5 00002302: SUB 00002303: SLT 00002304: ISZERO 00002305: PUSH2 0x230c 00002308: JUMPI 00002309: DUP1 0000230a: DUP2 0000230b: REVERT 0000230c: JUMPDEST 0000230d: POP 0000230e: CALLDATALOAD 0000230f: SWAP2 00002310: SWAP1 00002311: POP 00002312: JUMP 00002313: JUMPDEST 00002314: PUSH1 0x00 00002316: PUSH1 0x20 00002318: DUP3 00002319: DUP5 0000231a: SUB 0000231b: SLT 0000231c: ISZERO 0000231d: PUSH2 0x2324 00002320: JUMPI 00002321: DUP1 00002322: DUP2 00002323: REVERT 00002324: JUMPDEST 00002325: DUP2 00002326: CALLDATALOAD 00002327: PUSH2 0x10e7 0000232a: DUP2 0000232b: PUSH2 0x2641 0000232e: JUMP 0000232f: JUMPDEST 00002330: PUSH1 0x00 00002332: PUSH1 0x20 00002334: DUP3 00002335: DUP5 00002336: SUB 00002337: SLT 00002338: ISZERO 00002339: PUSH2 0x2340 0000233c: JUMPI 0000233d: DUP1 0000233e: DUP2 0000233f: REVERT 00002340: JUMPDEST 00002341: DUP2 00002342: MLOAD 00002343: PUSH2 0x10e7 00002346: DUP2 00002347: PUSH2 0x2641 0000234a: JUMP 0000234b: JUMPDEST 0000234c: PUSH1 0x00 0000234e: PUSH1 0x20 00002350: DUP3 00002351: DUP5 00002352: SUB 00002353: SLT 00002354: ISZERO 00002355: PUSH2 0x235c 00002358: JUMPI 00002359: DUP1 0000235a: DUP2 0000235b: REVERT 0000235c: JUMPDEST 0000235d: DUP2 0000235e: CALLDATALOAD 0000235f: PUSH8 0xffffffffffffffff 00002368: DUP2 00002369: GT 0000236a: ISZERO 0000236b: PUSH2 0x2372 0000236e: JUMPI 0000236f: DUP2 00002370: DUP3 00002371: REVERT 00002372: JUMPDEST 00002373: DUP3 00002374: ADD 00002375: PUSH1 0x1f 00002377: DUP2 00002378: ADD 00002379: DUP5 0000237a: SGT 0000237b: PUSH2 0x2382 0000237e: JUMPI 0000237f: DUP2 00002380: DUP3 00002381: REVERT 00002382: JUMPDEST 00002383: PUSH2 0x1c23 00002386: DUP5 00002387: DUP3 00002388: CALLDATALOAD 00002389: PUSH1 0x20 0000238b: DUP5 0000238c: ADD 0000238d: PUSH2 0x2106 00002390: JUMP 00002391: JUMPDEST 00002392: PUSH1 0x00 00002394: PUSH1 0x20 00002396: DUP3 00002397: DUP5 00002398: SUB 00002399: SLT 0000239a: ISZERO 0000239b: PUSH2 0x23a2 0000239e: JUMPI 0000239f: DUP1 000023a0: DUP2 000023a1: REVERT 000023a2: JUMPDEST 000023a3: POP 000023a4: MLOAD 000023a5: SWAP2 000023a6: SWAP1 000023a7: POP 000023a8: JUMP 000023a9: JUMPDEST 000023aa: PUSH1 0x00 000023ac: DUP1 000023ad: PUSH1 0x00 000023af: DUP1 000023b0: PUSH1 0x60 000023b2: DUP6 000023b3: DUP8 000023b4: SUB 000023b5: SLT 000023b6: ISZERO 000023b7: PUSH2 0x23be 000023ba: JUMPI 000023bb: DUP4 000023bc: DUP5 000023bd: REVERT 000023be: JUMPDEST 000023bf: DUP5 000023c0: CALLDATALOAD 000023c1: SWAP4 000023c2: POP 000023c3: PUSH1 0x20 000023c5: DUP6 000023c6: ADD 000023c7: CALLDATALOAD 000023c8: SWAP3 000023c9: POP 000023ca: PUSH1 0x40 000023cc: DUP6 000023cd: ADD 000023ce: CALLDATALOAD 000023cf: PUSH8 0xffffffffffffffff 000023d8: DUP1 000023d9: DUP3 000023da: GT 000023db: ISZERO 000023dc: PUSH2 0x23e3 000023df: JUMPI 000023e0: DUP4 000023e1: DUP5 000023e2: REVERT 000023e3: JUMPDEST 000023e4: DUP2 000023e5: DUP8 000023e6: ADD 000023e7: SWAP2 000023e8: POP 000023e9: DUP8 000023ea: PUSH1 0x1f 000023ec: DUP4 000023ed: ADD 000023ee: SLT 000023ef: PUSH2 0x23f6 000023f2: JUMPI 000023f3: DUP4 000023f4: DUP5 000023f5: REVERT 000023f6: JUMPDEST 000023f7: DUP2 000023f8: CALLDATALOAD 000023f9: DUP2 000023fa: DUP2 000023fb: GT 000023fc: ISZERO 000023fd: PUSH2 0x2404 00002400: JUMPI 00002401: DUP5 00002402: DUP6 00002403: REVERT 00002404: JUMPDEST 00002405: DUP9 00002406: PUSH1 0x20 00002408: DUP3 00002409: PUSH1 0x05 0000240b: SHL 0000240c: DUP6 0000240d: ADD 0000240e: ADD 0000240f: GT 00002410: ISZERO 00002411: PUSH2 0x2418 00002414: JUMPI 00002415: DUP5 00002416: DUP6 00002417: REVERT 00002418: JUMPDEST 00002419: SWAP6 0000241a: SWAP9 0000241b: SWAP5 0000241c: SWAP8 0000241d: POP 0000241e: POP 0000241f: PUSH1 0x20 00002421: ADD 00002422: SWAP5 00002423: POP 00002424: POP 00002425: POP 00002426: JUMP 00002427: JUMPDEST 00002428: PUSH1 0x00 0000242a: DUP2 0000242b: MLOAD 0000242c: DUP1 0000242d: DUP5 0000242e: MSTORE 0000242f: PUSH2 0x243f 00002432: DUP2 00002433: PUSH1 0x20 00002435: DUP7 00002436: ADD 00002437: PUSH1 0x20 00002439: DUP7 0000243a: ADD 0000243b: PUSH2 0x2569 0000243e: JUMP 0000243f: JUMPDEST 00002440: PUSH1 0x1f 00002442: ADD 00002443: PUSH1 0x1f 00002445: NOT 00002446: AND 00002447: SWAP3 00002448: SWAP1 00002449: SWAP3 0000244a: ADD 0000244b: PUSH1 0x20 0000244d: ADD 0000244e: SWAP3 0000244f: SWAP2 00002450: POP 00002451: POP 00002452: JUMP 00002453: JUMPDEST 00002454: PUSH1 0x00 00002456: DUP4 00002457: MLOAD 00002458: PUSH2 0x2465 0000245b: DUP2 0000245c: DUP5 0000245d: PUSH1 0x20 0000245f: DUP9 00002460: ADD 00002461: PUSH2 0x2569 00002464: JUMP 00002465: JUMPDEST 00002466: DUP4 00002467: MLOAD 00002468: SWAP1 00002469: DUP4 0000246a: ADD 0000246b: SWAP1 0000246c: PUSH2 0x2479 0000246f: DUP2 00002470: DUP4 00002471: PUSH1 0x20 00002473: DUP9 00002474: ADD 00002475: PUSH2 0x2569 00002478: JUMP 00002479: JUMPDEST 0000247a: ADD 0000247b: SWAP5 0000247c: SWAP4 0000247d: POP 0000247e: POP 0000247f: POP 00002480: POP 00002481: JUMP 00002482: JUMPDEST 00002483: PUSH1 0x01 00002485: PUSH1 0x01 00002487: PUSH1 0xa0 00002489: SHL 0000248a: SUB 0000248b: DUP6 0000248c: DUP2 0000248d: AND 0000248e: DUP3 0000248f: MSTORE 00002490: DUP5 00002491: AND 00002492: PUSH1 0x20 00002494: DUP3 00002495: ADD 00002496: MSTORE 00002497: PUSH1 0x40 00002499: DUP2 0000249a: ADD 0000249b: DUP4 0000249c: SWAP1 0000249d: MSTORE 0000249e: PUSH1 0x80 000024a0: PUSH1 0x60 000024a2: DUP3 000024a3: ADD 000024a4: DUP2 000024a5: SWAP1 000024a6: MSTORE 000024a7: PUSH1 0x00 000024a9: SWAP1 000024aa: PUSH2 0x24b5 000024ad: SWAP1 000024ae: DUP4 000024af: ADD 000024b0: DUP5 000024b1: PUSH2 0x2427 000024b4: JUMP 000024b5: JUMPDEST 000024b6: SWAP7 000024b7: SWAP6 000024b8: POP 000024b9: POP 000024ba: POP 000024bb: POP 000024bc: POP 000024bd: POP 000024be: JUMP 000024bf: JUMPDEST 000024c0: PUSH1 0x20 000024c2: DUP2 000024c3: MSTORE 000024c4: PUSH1 0x00 000024c6: PUSH2 0x10e7 000024c9: PUSH1 0x20 000024cb: DUP4 000024cc: ADD 000024cd: DUP5 000024ce: PUSH2 0x2427 000024d1: JUMP 000024d2: JUMPDEST 000024d3: PUSH1 0x20 000024d5: DUP1 000024d6: DUP3 000024d7: MSTORE 000024d8: DUP2 000024d9: DUP2 000024da: ADD 000024db: MSTORE 000024dc: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000024fd: PUSH1 0x40 000024ff: DUP3 00002500: ADD 00002501: MSTORE 00002502: PUSH1 0x60 00002504: ADD 00002505: SWAP1 00002506: JUMP 00002507: JUMPDEST 00002508: PUSH1 0x00 0000250a: DUP3 0000250b: NOT 0000250c: DUP3 0000250d: GT 0000250e: ISZERO 0000250f: PUSH2 0x251a 00002512: JUMPI 00002513: PUSH2 0x251a 00002516: PUSH2 0x25ff 00002519: JUMP 0000251a: JUMPDEST 0000251b: POP 0000251c: ADD 0000251d: SWAP1 0000251e: JUMP 0000251f: JUMPDEST 00002520: PUSH1 0x00 00002522: DUP3 00002523: PUSH2 0x252e 00002526: JUMPI 00002527: PUSH2 0x252e 0000252a: PUSH2 0x2615 0000252d: JUMP 0000252e: JUMPDEST 0000252f: POP 00002530: DIV 00002531: SWAP1 00002532: JUMP 00002533: JUMPDEST 00002534: PUSH1 0x00 00002536: DUP2 00002537: PUSH1 0x00 00002539: NOT 0000253a: DIV 0000253b: DUP4 0000253c: GT 0000253d: DUP3 0000253e: ISZERO 0000253f: ISZERO 00002540: AND 00002541: ISZERO 00002542: PUSH2 0x254d 00002545: JUMPI 00002546: PUSH2 0x254d 00002549: PUSH2 0x25ff 0000254c: JUMP 0000254d: JUMPDEST 0000254e: POP 0000254f: MUL 00002550: SWAP1 00002551: JUMP 00002552: JUMPDEST 00002553: PUSH1 0x00 00002555: DUP3 00002556: DUP3 00002557: LT 00002558: ISZERO 00002559: PUSH2 0x2564 0000255c: JUMPI 0000255d: PUSH2 0x2564 00002560: PUSH2 0x25ff 00002563: JUMP 00002564: JUMPDEST 00002565: POP 00002566: SUB 00002567: SWAP1 00002568: JUMP 00002569: JUMPDEST 0000256a: PUSH1 0x00 0000256c: JUMPDEST 0000256d: DUP4 0000256e: DUP2 0000256f: LT 00002570: ISZERO 00002571: PUSH2 0x2584 00002574: JUMPI 00002575: DUP2 00002576: DUP2 00002577: ADD 00002578: MLOAD 00002579: DUP4 0000257a: DUP3 0000257b: ADD 0000257c: MSTORE 0000257d: PUSH1 0x20 0000257f: ADD 00002580: PUSH2 0x256c 00002583: JUMP 00002584: JUMPDEST 00002585: DUP4 00002586: DUP2 00002587: GT 00002588: ISZERO 00002589: PUSH2 0x0e91 0000258c: JUMPI 0000258d: POP 0000258e: POP 0000258f: PUSH1 0x00 00002591: SWAP2 00002592: ADD 00002593: MSTORE 00002594: JUMP 00002595: JUMPDEST 00002596: PUSH1 0x01 00002598: DUP2 00002599: DUP2 0000259a: SHR 0000259b: SWAP1 0000259c: DUP3 0000259d: AND 0000259e: DUP1 0000259f: PUSH2 0x25a9 000025a2: JUMPI 000025a3: PUSH1 0x7f 000025a5: DUP3 000025a6: AND 000025a7: SWAP2 000025a8: POP 000025a9: JUMPDEST 000025aa: PUSH1 0x20 000025ac: DUP3 000025ad: LT 000025ae: DUP2 000025af: EQ 000025b0: ISZERO 000025b1: PUSH2 0x25ca 000025b4: JUMPI 000025b5: PUSH4 0x4e487b71 000025ba: PUSH1 0xe0 000025bc: SHL 000025bd: PUSH1 0x00 000025bf: MSTORE 000025c0: PUSH1 0x22 000025c2: PUSH1 0x04 000025c4: MSTORE 000025c5: PUSH1 0x24 000025c7: PUSH1 0x00 000025c9: REVERT 000025ca: JUMPDEST 000025cb: POP 000025cc: SWAP2 000025cd: SWAP1 000025ce: POP 000025cf: JUMP 000025d0: JUMPDEST 000025d1: PUSH1 0x00 000025d3: PUSH1 0x00 000025d5: NOT 000025d6: DUP3 000025d7: EQ 000025d8: ISZERO 000025d9: PUSH2 0x25e4 000025dc: JUMPI 000025dd: PUSH2 0x25e4 000025e0: PUSH2 0x25ff 000025e3: JUMP 000025e4: JUMPDEST 000025e5: POP 000025e6: PUSH1 0x01 000025e8: ADD 000025e9: SWAP1 000025ea: JUMP 000025eb: JUMPDEST 000025ec: PUSH1 0x00 000025ee: DUP3 000025ef: PUSH2 0x25fa 000025f2: JUMPI 000025f3: PUSH2 0x25fa 000025f6: PUSH2 0x2615 000025f9: JUMP 000025fa: JUMPDEST 000025fb: POP 000025fc: MOD 000025fd: SWAP1 000025fe: JUMP 000025ff: JUMPDEST 00002600: PUSH4 0x4e487b71 00002605: PUSH1 0xe0 00002607: SHL 00002608: PUSH1 0x00 0000260a: MSTORE 0000260b: PUSH1 0x11 0000260d: PUSH1 0x04 0000260f: MSTORE 00002610: PUSH1 0x24 00002612: PUSH1 0x00 00002614: REVERT 00002615: JUMPDEST 00002616: PUSH4 0x4e487b71 0000261b: PUSH1 0xe0 0000261d: SHL 0000261e: PUSH1 0x00 00002620: MSTORE 00002621: PUSH1 0x12 00002623: PUSH1 0x04 00002625: MSTORE 00002626: PUSH1 0x24 00002628: PUSH1 0x00 0000262a: REVERT 0000262b: JUMPDEST 0000262c: PUSH4 0x4e487b71 00002631: PUSH1 0xe0 00002633: SHL 00002634: PUSH1 0x00 00002636: MSTORE 00002637: PUSH1 0x41 00002639: PUSH1 0x04 0000263b: MSTORE 0000263c: PUSH1 0x24 0000263e: PUSH1 0x00 00002640: REVERT 00002641: JUMPDEST 00002642: PUSH1 0x01 00002644: PUSH1 0x01 00002646: PUSH1 0xe0 00002648: SHL 00002649: SUB 0000264a: NOT 0000264b: DUP2 0000264c: AND 0000264d: DUP2 0000264e: EQ 0000264f: PUSH2 0x0a13 00002652: JUMPI 00002653: PUSH1 0x00 00002655: DUP1 00002656: REVERT 00002657: INVALID 00002658: PUSH3 0x613361 0000265c: CALLDATASIZE 0000265d: PUSH6 0x623839376662 00002664: PUSH3 0x313436 00002668: PUSH3 0x373765 0000266c: PUSH4 0x33326337 00002671: CALLER 00002672: PUSH2 0x3731 00002675: ORIGIN 00002676: PUSH2 0x3430 00002679: CALLDATASIZE 0000267a: CALLDATASIZE 0000267b: PUSH5 0x34613530a2 00002681: PUSH5 0x6970667358 00002687: UNKNOWN(0x22) 00002688: SLT 00002689: KECCAK256 0000268a: DIFFICULTY 0000268b: PUSH17 0xca1c2cb961d37947ef9354299682320e62 0000269d: GT 0000269e: UNKNOWN(0x27) 0000269f: UNKNOWN(0xBA) 000026a0: UNKNOWN(0xDE) 000026a1: UNKNOWN(0x4F) 000026a2: PUSH6 0xc8d7d4d1d811 000026a9: UNKNOWN(0x2E) 000026aa: PUSH5 0x736f6c6343 000026b0: STOP 000026b1: ADDMOD 000026b2: DIV 000026b3: STOP 000026b4: 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": "0xdecd6e5b",
"selector": "0xdecd6e5b",
"calldata_variants": [
"0xdecd6e5b",
"0xdecd6e5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdff13081",
"selector": "0xdff13081",
"calldata_variants": [
"0xdff13081",
"0xdff130810000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe985e9c5",
"selector": "0xe985e9c5",
"calldata_variants": [
"0xe985e9c5",
"0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xedc1fe41",
"selector": "0xedc1fe41",
"calldata_variants": [
"0xedc1fe41",
"0xedc1fe410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf47d224b",
"selector": "0xf47d224b",
"calldata_variants": [
"0xf47d224b",
"0xf47d224b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc47f0027",
"selector": "0xc47f0027",
"calldata_variants": [
"0xc47f0027",
"0xc47f00270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc4be5b59",
"selector": "0xc4be5b59",
"calldata_variants": [
"0xc4be5b59",
"0xc4be5b590000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 2333,
"type": "tx_origin_used"
},
{
"pc": 2331,
"type": "tx_origin_used"
},
{
"pc": 9845,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x98abe34066409ad8c0e33c1e15ba2c23e9598e4227abe5a8288d1d18a296ad25
call_targets:
0x193616faf0f51b454fabe38088616a1fd5a5d85e
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x98abe34066409ad8c0e33c1e15ba2c23e9598e4227abe5a8288d1d18a296ad25",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x193616faf0f51b454fabe38088616a1fd5a5d85e"
],
"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": "0xdecd6e5b",
"selector": "0xdecd6e5b",
"calldata_variants": [
"0xdecd6e5b",
"0xdecd6e5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdff13081",
"selector": "0xdff13081",
"calldata_variants": [
"0xdff13081",
"0xdff130810000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe985e9c5",
"selector": "0xe985e9c5",
"calldata_variants": [
"0xe985e9c5",
"0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xedc1fe41",
"selector": "0xedc1fe41",
"calldata_variants": [
"0xedc1fe41",
"0xedc1fe410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf47d224b",
"selector": "0xf47d224b",
"calldata_variants": [
"0xf47d224b",
"0xf47d224b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc47f0027",
"selector": "0xc47f0027",
"calldata_variants": [
"0xc47f0027",
"0xc47f00270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc4be5b59",
"selector": "0xc4be5b59",
"calldata_variants": [
"0xc4be5b59",
"0xc4be5b590000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2655,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 7045,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 2333,
"type": "tx_origin_used"
},
{
"pc": 2331,
"type": "tx_origin_used"
},
{
"pc": 9845,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x98abe34066409ad8c0e33c1e15ba2c23e9598e4227abe5a8288d1d18a296ad25
call_targets:
0x193616faf0f51b454fabe38088616a1fd5a5d85e
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x98abe34066409ad8c0e33c1e15ba2c23e9598e4227abe5a8288d1d18a296ad25",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x193616faf0f51b454fabe38088616a1fd5a5d85e"
],
"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": "0xdecd6e5b",
"selector": "0xdecd6e5b",
"calldata_variants": [
"0xdecd6e5b",
"0xdecd6e5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdff13081",
"selector": "0xdff13081",
"calldata_variants": [
"0xdff13081",
"0xdff130810000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe985e9c5",
"selector": "0xe985e9c5",
"calldata_variants": [
"0xe985e9c5",
"0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xedc1fe41",
"selector": "0xedc1fe41",
"calldata_variants": [
"0xedc1fe41",
"0xedc1fe410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf47d224b",
"selector": "0xf47d224b",
"calldata_variants": [
"0xf47d224b",
"0xf47d224b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc47f0027",
"selector": "0xc47f0027",
"calldata_variants": [
"0xc47f0027",
"0xc47f00270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc4be5b59",
"selector": "0xc4be5b59",
"calldata_variants": [
"0xc4be5b59",
"0xc4be5b590000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2655,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 7045,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 2333,
"type": "tx_origin_used"
},
{
"pc": 2331,
"type": "tx_origin_used"
},
{
"pc": 9845,
"type": "tx_origin_used"
}
]
}
|