019b477e-b8ba-70af-89fd-373fc5ca01c0
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 |
|---|---|---|---|---|
| 23485 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 23486 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 107777 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 107778 | capability.graph | complete | 1 / 3 | 1 week ago |
| 107779 | detector.run | complete | 1 / 3 | 1 week ago |
| 107780 | 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 0x01d1 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x9907672a 00000019: GT 0000001a: PUSH2 0x00f7 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xb7c5ab41 00000024: GT 00000025: PUSH2 0x0095 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xe61387e0 0000002f: GT 00000030: PUSH2 0x0064 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xe61387e0 0000003a: EQ 0000003b: PUSH2 0x0744 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf0eeed81 00000045: EQ 00000046: PUSH2 0x0759 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf392e218 00000050: EQ 00000051: PUSH2 0x076e 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf7ac3cbc 0000005b: EQ 0000005c: PUSH2 0x07bd 0000005f: JUMPI 00000060: PUSH2 0x020b 00000063: JUMP 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0xb7c5ab41 0000006b: EQ 0000006c: PUSH2 0x05e2 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xc01bdf04 00000076: EQ 00000077: PUSH2 0x06c9 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xc03e798c 00000081: EQ 00000082: PUSH2 0x06fc 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xc6c3f3f9 0000008c: EQ 0000008d: PUSH2 0x0711 00000090: JUMPI 00000091: PUSH2 0x020b 00000094: JUMP 00000095: JUMPDEST 00000096: DUP1 00000097: PUSH4 0xb3613f11 0000009c: GT 0000009d: PUSH2 0x00d1 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0xb3613f11 000000a7: EQ 000000a8: PUSH2 0x0570 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0xb45782c7 000000b2: EQ 000000b3: PUSH2 0x05a3 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0xb6981e2c 000000bd: EQ 000000be: PUSH2 0x05b8 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0xb78b842d 000000c8: EQ 000000c9: PUSH2 0x05cd 000000cc: JUMPI 000000cd: PUSH2 0x020b 000000d0: JUMP 000000d1: JUMPDEST 000000d2: DUP1 000000d3: PUSH4 0x9907672a 000000d8: EQ 000000d9: PUSH2 0x0513 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0xa636a8a2 000000e3: EQ 000000e4: PUSH2 0x0546 000000e7: JUMPI 000000e8: DUP1 000000e9: PUSH4 0xa840874f 000000ee: EQ 000000ef: PUSH2 0x055b 000000f2: JUMPI 000000f3: PUSH2 0x020b 000000f6: JUMP 000000f7: JUMPDEST 000000f8: DUP1 000000f9: PUSH4 0x692bdfd5 000000fe: GT 000000ff: PUSH2 0x016f 00000102: JUMPI 00000103: DUP1 00000104: PUSH4 0x8bca3efe 00000109: GT 0000010a: PUSH2 0x013e 0000010d: JUMPI 0000010e: DUP1 0000010f: PUSH4 0x8bca3efe 00000114: EQ 00000115: PUSH2 0x0477 00000118: JUMPI 00000119: DUP1 0000011a: PUSH4 0x8c9bc208 0000011f: EQ 00000120: PUSH2 0x04a1 00000123: JUMPI 00000124: DUP1 00000125: PUSH4 0x8fb58285 0000012a: EQ 0000012b: PUSH2 0x04b6 0000012e: JUMPI 0000012f: DUP1 00000130: PUSH4 0x94cee7b3 00000135: EQ 00000136: PUSH2 0x04e9 00000139: JUMPI 0000013a: PUSH2 0x020b 0000013d: JUMP 0000013e: JUMPDEST 0000013f: DUP1 00000140: PUSH4 0x692bdfd5 00000145: EQ 00000146: PUSH2 0x03a1 00000149: JUMPI 0000014a: DUP1 0000014b: PUSH4 0x770ba561 00000150: EQ 00000151: PUSH2 0x03da 00000154: JUMPI 00000155: DUP1 00000156: PUSH4 0x7c360101 0000015b: EQ 0000015c: PUSH2 0x0415 0000015f: JUMPI 00000160: DUP1 00000161: PUSH4 0x80feeef3 00000166: EQ 00000167: PUSH2 0x0462 0000016a: JUMPI 0000016b: PUSH2 0x020b 0000016e: JUMP 0000016f: JUMPDEST 00000170: DUP1 00000171: PUSH4 0x53fa2eb7 00000176: GT 00000177: PUSH2 0x01ab 0000017a: JUMPI 0000017b: DUP1 0000017c: PUSH4 0x53fa2eb7 00000181: EQ 00000182: PUSH2 0x029b 00000185: JUMPI 00000186: DUP1 00000187: PUSH4 0x579d6b74 0000018c: EQ 0000018d: PUSH2 0x02d4 00000190: JUMPI 00000191: DUP1 00000192: PUSH4 0x599b9348 00000197: EQ 00000198: PUSH2 0x0307 0000019b: JUMPI 0000019c: DUP1 0000019d: PUSH4 0x66ab3fe6 000001a2: EQ 000001a3: PUSH2 0x033c 000001a6: JUMPI 000001a7: PUSH2 0x020b 000001aa: JUMP 000001ab: JUMPDEST 000001ac: DUP1 000001ad: PUSH4 0x03339513 000001b2: EQ 000001b3: PUSH2 0x0210 000001b6: JUMPI 000001b7: DUP1 000001b8: PUSH4 0x12efe834 000001bd: EQ 000001be: PUSH2 0x0255 000001c1: JUMPI 000001c2: DUP1 000001c3: PUSH4 0x4d8f5105 000001c8: EQ 000001c9: PUSH2 0x026a 000001cc: JUMPI 000001cd: PUSH2 0x020b 000001d0: JUMP 000001d1: JUMPDEST 000001d2: CALLDATASIZE 000001d3: PUSH2 0x020b 000001d6: JUMPI 000001d7: PUSH1 0x40 000001d9: DUP1 000001da: MLOAD 000001db: CALLVALUE 000001dc: DUP2 000001dd: MSTORE 000001de: SWAP1 000001df: MLOAD 000001e0: PUSH32 0x353bcaaf167a6add95a753d39727e3d3beb865129a69a10ed774b0b899671403 00000201: SWAP2 00000202: DUP2 00000203: SWAP1 00000204: SUB 00000205: PUSH1 0x20 00000207: ADD 00000208: SWAP1 00000209: LOG1 0000020a: STOP 0000020b: JUMPDEST 0000020c: PUSH1 0x00 0000020e: DUP1 0000020f: REVERT 00000210: JUMPDEST 00000211: CALLVALUE 00000212: DUP1 00000213: ISZERO 00000214: PUSH2 0x021c 00000217: JUMPI 00000218: PUSH1 0x00 0000021a: DUP1 0000021b: REVERT 0000021c: JUMPDEST 0000021d: POP 0000021e: PUSH2 0x0243 00000221: PUSH1 0x04 00000223: DUP1 00000224: CALLDATASIZE 00000225: SUB 00000226: PUSH1 0x20 00000228: DUP2 00000229: LT 0000022a: ISZERO 0000022b: PUSH2 0x0233 0000022e: JUMPI 0000022f: PUSH1 0x00 00000231: DUP1 00000232: REVERT 00000233: JUMPDEST 00000234: POP 00000235: CALLDATALOAD 00000236: PUSH1 0x01 00000238: PUSH1 0x01 0000023a: PUSH1 0xa0 0000023c: SHL 0000023d: SUB 0000023e: AND 0000023f: PUSH2 0x07e7 00000242: JUMP 00000243: JUMPDEST 00000244: PUSH1 0x40 00000246: DUP1 00000247: MLOAD 00000248: SWAP2 00000249: DUP3 0000024a: MSTORE 0000024b: MLOAD 0000024c: SWAP1 0000024d: DUP2 0000024e: SWAP1 0000024f: SUB 00000250: PUSH1 0x20 00000252: ADD 00000253: SWAP1 00000254: RETURN 00000255: JUMPDEST 00000256: CALLVALUE 00000257: DUP1 00000258: ISZERO 00000259: PUSH2 0x0261 0000025c: JUMPI 0000025d: PUSH1 0x00 0000025f: DUP1 00000260: REVERT 00000261: JUMPDEST 00000262: POP 00000263: PUSH2 0x0243 00000266: PUSH2 0x07f9 00000269: JUMP 0000026a: JUMPDEST 0000026b: CALLVALUE 0000026c: DUP1 0000026d: ISZERO 0000026e: PUSH2 0x0276 00000271: JUMPI 00000272: PUSH1 0x00 00000274: DUP1 00000275: REVERT 00000276: JUMPDEST 00000277: POP 00000278: PUSH2 0x027f 0000027b: PUSH2 0x07ff 0000027e: JUMP 0000027f: JUMPDEST 00000280: PUSH1 0x40 00000282: DUP1 00000283: MLOAD 00000284: PUSH1 0x01 00000286: PUSH1 0x01 00000288: PUSH1 0xa0 0000028a: SHL 0000028b: SUB 0000028c: SWAP1 0000028d: SWAP3 0000028e: AND 0000028f: DUP3 00000290: MSTORE 00000291: MLOAD 00000292: SWAP1 00000293: DUP2 00000294: SWAP1 00000295: SUB 00000296: PUSH1 0x20 00000298: ADD 00000299: SWAP1 0000029a: RETURN 0000029b: JUMPDEST 0000029c: CALLVALUE 0000029d: DUP1 0000029e: ISZERO 0000029f: PUSH2 0x02a7 000002a2: JUMPI 000002a3: PUSH1 0x00 000002a5: DUP1 000002a6: REVERT 000002a7: JUMPDEST 000002a8: POP 000002a9: PUSH2 0x0243 000002ac: PUSH1 0x04 000002ae: DUP1 000002af: CALLDATASIZE 000002b0: SUB 000002b1: PUSH1 0x40 000002b3: DUP2 000002b4: LT 000002b5: ISZERO 000002b6: PUSH2 0x02be 000002b9: JUMPI 000002ba: PUSH1 0x00 000002bc: DUP1 000002bd: REVERT 000002be: JUMPDEST 000002bf: POP 000002c0: PUSH1 0x01 000002c2: PUSH1 0x01 000002c4: PUSH1 0xa0 000002c6: SHL 000002c7: SUB 000002c8: DUP2 000002c9: CALLDATALOAD 000002ca: AND 000002cb: SWAP1 000002cc: PUSH1 0x20 000002ce: ADD 000002cf: CALLDATALOAD 000002d0: PUSH2 0x080e 000002d3: JUMP 000002d4: JUMPDEST 000002d5: CALLVALUE 000002d6: DUP1 000002d7: ISZERO 000002d8: PUSH2 0x02e0 000002db: JUMPI 000002dc: PUSH1 0x00 000002de: DUP1 000002df: REVERT 000002e0: JUMPDEST 000002e1: POP 000002e2: PUSH2 0x0243 000002e5: PUSH1 0x04 000002e7: DUP1 000002e8: CALLDATASIZE 000002e9: SUB 000002ea: PUSH1 0x20 000002ec: DUP2 000002ed: LT 000002ee: ISZERO 000002ef: PUSH2 0x02f7 000002f2: JUMPI 000002f3: PUSH1 0x00 000002f5: DUP1 000002f6: REVERT 000002f7: JUMPDEST 000002f8: POP 000002f9: CALLDATALOAD 000002fa: PUSH1 0x01 000002fc: PUSH1 0x01 000002fe: PUSH1 0xa0 00000300: SHL 00000301: SUB 00000302: AND 00000303: PUSH2 0x0b9b 00000306: JUMP 00000307: JUMPDEST 00000308: CALLVALUE 00000309: DUP1 0000030a: ISZERO 0000030b: PUSH2 0x0313 0000030e: JUMPI 0000030f: PUSH1 0x00 00000311: DUP1 00000312: REVERT 00000313: JUMPDEST 00000314: POP 00000315: PUSH2 0x033a 00000318: PUSH1 0x04 0000031a: DUP1 0000031b: CALLDATASIZE 0000031c: SUB 0000031d: PUSH1 0x20 0000031f: DUP2 00000320: LT 00000321: ISZERO 00000322: PUSH2 0x032a 00000325: JUMPI 00000326: PUSH1 0x00 00000328: DUP1 00000329: REVERT 0000032a: JUMPDEST 0000032b: POP 0000032c: CALLDATALOAD 0000032d: PUSH1 0x01 0000032f: PUSH1 0x01 00000331: PUSH1 0xa0 00000333: SHL 00000334: SUB 00000335: AND 00000336: PUSH2 0x0bad 00000339: JUMP 0000033a: JUMPDEST 0000033b: STOP 0000033c: JUMPDEST 0000033d: CALLVALUE 0000033e: DUP1 0000033f: ISZERO 00000340: PUSH2 0x0348 00000343: JUMPI 00000344: PUSH1 0x00 00000346: DUP1 00000347: REVERT 00000348: JUMPDEST 00000349: POP 0000034a: PUSH2 0x0351 0000034d: PUSH2 0x0cbb 00000350: JUMP 00000351: JUMPDEST 00000352: PUSH1 0x40 00000354: DUP1 00000355: MLOAD 00000356: PUSH1 0x20 00000358: DUP1 00000359: DUP3 0000035a: MSTORE 0000035b: DUP4 0000035c: MLOAD 0000035d: DUP2 0000035e: DUP4 0000035f: ADD 00000360: MSTORE 00000361: DUP4 00000362: MLOAD 00000363: SWAP2 00000364: SWAP3 00000365: DUP4 00000366: SWAP3 00000367: SWAP1 00000368: DUP4 00000369: ADD 0000036a: SWAP2 0000036b: DUP6 0000036c: DUP2 0000036d: ADD 0000036e: SWAP2 0000036f: MUL 00000370: DUP1 00000371: DUP4 00000372: DUP4 00000373: PUSH1 0x00 00000375: JUMPDEST 00000376: DUP4 00000377: DUP2 00000378: LT 00000379: ISZERO 0000037a: PUSH2 0x038d 0000037d: JUMPI 0000037e: DUP2 0000037f: DUP2 00000380: ADD 00000381: MLOAD 00000382: DUP4 00000383: DUP3 00000384: ADD 00000385: MSTORE 00000386: PUSH1 0x20 00000388: ADD 00000389: PUSH2 0x0375 0000038c: JUMP 0000038d: JUMPDEST 0000038e: POP 0000038f: POP 00000390: POP 00000391: POP 00000392: SWAP1 00000393: POP 00000394: ADD 00000395: SWAP3 00000396: POP 00000397: POP 00000398: POP 00000399: PUSH1 0x40 0000039b: MLOAD 0000039c: DUP1 0000039d: SWAP2 0000039e: SUB 0000039f: SWAP1 000003a0: RETURN 000003a1: JUMPDEST 000003a2: CALLVALUE 000003a3: DUP1 000003a4: ISZERO 000003a5: PUSH2 0x03ad 000003a8: JUMPI 000003a9: PUSH1 0x00 000003ab: DUP1 000003ac: REVERT 000003ad: JUMPDEST 000003ae: POP 000003af: PUSH2 0x033a 000003b2: PUSH1 0x04 000003b4: DUP1 000003b5: CALLDATASIZE 000003b6: SUB 000003b7: PUSH1 0x40 000003b9: DUP2 000003ba: LT 000003bb: ISZERO 000003bc: PUSH2 0x03c4 000003bf: JUMPI 000003c0: PUSH1 0x00 000003c2: DUP1 000003c3: REVERT 000003c4: JUMPDEST 000003c5: POP 000003c6: PUSH1 0x01 000003c8: PUSH1 0x01 000003ca: PUSH1 0xa0 000003cc: SHL 000003cd: SUB 000003ce: DUP2 000003cf: CALLDATALOAD 000003d0: AND 000003d1: SWAP1 000003d2: PUSH1 0x20 000003d4: ADD 000003d5: CALLDATALOAD 000003d6: PUSH2 0x0d1d 000003d9: JUMP 000003da: JUMPDEST 000003db: CALLVALUE 000003dc: DUP1 000003dd: ISZERO 000003de: PUSH2 0x03e6 000003e1: JUMPI 000003e2: PUSH1 0x00 000003e4: DUP1 000003e5: REVERT 000003e6: JUMPDEST 000003e7: POP 000003e8: PUSH2 0x03ef 000003eb: PUSH2 0x0f1b 000003ee: JUMP 000003ef: JUMPDEST 000003f0: PUSH1 0x40 000003f2: DUP1 000003f3: MLOAD 000003f4: SWAP5 000003f5: DUP6 000003f6: MSTORE 000003f7: PUSH1 0x20 000003f9: DUP6 000003fa: ADD 000003fb: SWAP4 000003fc: SWAP1 000003fd: SWAP4 000003fe: MSTORE 000003ff: DUP4 00000400: DUP4 00000401: ADD 00000402: SWAP2 00000403: SWAP1 00000404: SWAP2 00000405: MSTORE 00000406: PUSH1 0x60 00000408: DUP4 00000409: ADD 0000040a: MSTORE 0000040b: MLOAD 0000040c: SWAP1 0000040d: DUP2 0000040e: SWAP1 0000040f: SUB 00000410: PUSH1 0x80 00000412: ADD 00000413: SWAP1 00000414: RETURN 00000415: JUMPDEST 00000416: CALLVALUE 00000417: DUP1 00000418: ISZERO 00000419: PUSH2 0x0421 0000041c: JUMPI 0000041d: PUSH1 0x00 0000041f: DUP1 00000420: REVERT 00000421: JUMPDEST 00000422: POP 00000423: PUSH2 0x044e 00000426: PUSH1 0x04 00000428: DUP1 00000429: CALLDATASIZE 0000042a: SUB 0000042b: PUSH1 0x40 0000042d: DUP2 0000042e: LT 0000042f: ISZERO 00000430: PUSH2 0x0438 00000433: JUMPI 00000434: PUSH1 0x00 00000436: DUP1 00000437: REVERT 00000438: JUMPDEST 00000439: POP 0000043a: PUSH1 0x01 0000043c: PUSH1 0x01 0000043e: PUSH1 0xa0 00000440: SHL 00000441: SUB 00000442: DUP2 00000443: CALLDATALOAD 00000444: AND 00000445: SWAP1 00000446: PUSH1 0x20 00000448: ADD 00000449: CALLDATALOAD 0000044a: PUSH2 0x0f54 0000044d: JUMP 0000044e: JUMPDEST 0000044f: PUSH1 0x40 00000451: DUP1 00000452: MLOAD 00000453: SWAP2 00000454: ISZERO 00000455: ISZERO 00000456: DUP3 00000457: MSTORE 00000458: MLOAD 00000459: SWAP1 0000045a: DUP2 0000045b: SWAP1 0000045c: SUB 0000045d: PUSH1 0x20 0000045f: ADD 00000460: SWAP1 00000461: RETURN 00000462: JUMPDEST 00000463: CALLVALUE 00000464: DUP1 00000465: ISZERO 00000466: PUSH2 0x046e 00000469: JUMPI 0000046a: PUSH1 0x00 0000046c: DUP1 0000046d: REVERT 0000046e: JUMPDEST 0000046f: POP 00000470: PUSH2 0x0243 00000473: PUSH2 0x0f74 00000476: JUMP 00000477: JUMPDEST 00000478: CALLVALUE 00000479: DUP1 0000047a: ISZERO 0000047b: PUSH2 0x0483 0000047e: JUMPI 0000047f: PUSH1 0x00 00000481: DUP1 00000482: REVERT 00000483: JUMPDEST 00000484: POP 00000485: PUSH2 0x033a 00000488: PUSH1 0x04 0000048a: DUP1 0000048b: CALLDATASIZE 0000048c: SUB 0000048d: PUSH1 0x20 0000048f: DUP2 00000490: LT 00000491: ISZERO 00000492: PUSH2 0x049a 00000495: JUMPI 00000496: PUSH1 0x00 00000498: DUP1 00000499: REVERT 0000049a: JUMPDEST 0000049b: POP 0000049c: CALLDATALOAD 0000049d: PUSH2 0x0f7a 000004a0: JUMP 000004a1: JUMPDEST 000004a2: CALLVALUE 000004a3: DUP1 000004a4: ISZERO 000004a5: PUSH2 0x04ad 000004a8: JUMPI 000004a9: PUSH1 0x00 000004ab: DUP1 000004ac: REVERT 000004ad: JUMPDEST 000004ae: POP 000004af: PUSH2 0x027f 000004b2: PUSH2 0x1184 000004b5: JUMP 000004b6: JUMPDEST 000004b7: CALLVALUE 000004b8: DUP1 000004b9: ISZERO 000004ba: PUSH2 0x04c2 000004bd: JUMPI 000004be: PUSH1 0x00 000004c0: DUP1 000004c1: REVERT 000004c2: JUMPDEST 000004c3: POP 000004c4: PUSH2 0x033a 000004c7: PUSH1 0x04 000004c9: DUP1 000004ca: CALLDATASIZE 000004cb: SUB 000004cc: PUSH1 0x20 000004ce: DUP2 000004cf: LT 000004d0: ISZERO 000004d1: PUSH2 0x04d9 000004d4: JUMPI 000004d5: PUSH1 0x00 000004d7: DUP1 000004d8: REVERT 000004d9: JUMPDEST 000004da: POP 000004db: CALLDATALOAD 000004dc: PUSH1 0x01 000004de: PUSH1 0x01 000004e0: PUSH1 0xa0 000004e2: SHL 000004e3: SUB 000004e4: AND 000004e5: PUSH2 0x1193 000004e8: JUMP 000004e9: JUMPDEST 000004ea: CALLVALUE 000004eb: DUP1 000004ec: ISZERO 000004ed: PUSH2 0x04f5 000004f0: JUMPI 000004f1: PUSH1 0x00 000004f3: DUP1 000004f4: REVERT 000004f5: JUMPDEST 000004f6: POP 000004f7: PUSH2 0x0243 000004fa: PUSH1 0x04 000004fc: DUP1 000004fd: CALLDATASIZE 000004fe: SUB 000004ff: PUSH1 0x20 00000501: DUP2 00000502: LT 00000503: ISZERO 00000504: PUSH2 0x050c 00000507: JUMPI 00000508: PUSH1 0x00 0000050a: DUP1 0000050b: REVERT 0000050c: JUMPDEST 0000050d: POP 0000050e: CALLDATALOAD 0000050f: PUSH2 0x1260 00000512: JUMP 00000513: JUMPDEST 00000514: CALLVALUE 00000515: DUP1 00000516: ISZERO 00000517: PUSH2 0x051f 0000051a: JUMPI 0000051b: PUSH1 0x00 0000051d: DUP1 0000051e: REVERT 0000051f: JUMPDEST 00000520: POP 00000521: PUSH2 0x0243 00000524: PUSH1 0x04 00000526: DUP1 00000527: CALLDATASIZE 00000528: SUB 00000529: PUSH1 0x20 0000052b: DUP2 0000052c: LT 0000052d: ISZERO 0000052e: PUSH2 0x0536 00000531: JUMPI 00000532: PUSH1 0x00 00000534: DUP1 00000535: REVERT 00000536: JUMPDEST 00000537: POP 00000538: CALLDATALOAD 00000539: PUSH1 0x01 0000053b: PUSH1 0x01 0000053d: PUSH1 0xa0 0000053f: SHL 00000540: SUB 00000541: AND 00000542: PUSH2 0x1272 00000545: JUMP 00000546: JUMPDEST 00000547: CALLVALUE 00000548: DUP1 00000549: ISZERO 0000054a: PUSH2 0x0552 0000054d: JUMPI 0000054e: PUSH1 0x00 00000550: DUP1 00000551: REVERT 00000552: JUMPDEST 00000553: POP 00000554: PUSH2 0x0243 00000557: PUSH2 0x14ae 0000055a: JUMP 0000055b: JUMPDEST 0000055c: CALLVALUE 0000055d: DUP1 0000055e: ISZERO 0000055f: PUSH2 0x0567 00000562: JUMPI 00000563: PUSH1 0x00 00000565: DUP1 00000566: REVERT 00000567: JUMPDEST 00000568: POP 00000569: PUSH2 0x0243 0000056c: PUSH2 0x1871 0000056f: JUMP 00000570: JUMPDEST 00000571: CALLVALUE 00000572: DUP1 00000573: ISZERO 00000574: PUSH2 0x057c 00000577: JUMPI 00000578: PUSH1 0x00 0000057a: DUP1 0000057b: REVERT 0000057c: JUMPDEST 0000057d: POP 0000057e: PUSH2 0x0585 00000581: PUSH2 0x1946 00000584: JUMP 00000585: JUMPDEST 00000586: PUSH1 0x40 00000588: DUP1 00000589: MLOAD 0000058a: SWAP4 0000058b: DUP5 0000058c: MSTORE 0000058d: PUSH1 0x20 0000058f: DUP5 00000590: ADD 00000591: SWAP3 00000592: SWAP1 00000593: SWAP3 00000594: MSTORE 00000595: DUP3 00000596: DUP3 00000597: ADD 00000598: MSTORE 00000599: MLOAD 0000059a: SWAP1 0000059b: DUP2 0000059c: SWAP1 0000059d: SUB 0000059e: PUSH1 0x60 000005a0: ADD 000005a1: SWAP1 000005a2: RETURN 000005a3: JUMPDEST 000005a4: CALLVALUE 000005a5: DUP1 000005a6: ISZERO 000005a7: PUSH2 0x05af 000005aa: JUMPI 000005ab: PUSH1 0x00 000005ad: DUP1 000005ae: REVERT 000005af: JUMPDEST 000005b0: POP 000005b1: PUSH2 0x0243 000005b4: PUSH2 0x1ad6 000005b7: JUMP 000005b8: JUMPDEST 000005b9: CALLVALUE 000005ba: DUP1 000005bb: ISZERO 000005bc: PUSH2 0x05c4 000005bf: JUMPI 000005c0: PUSH1 0x00 000005c2: DUP1 000005c3: REVERT 000005c4: JUMPDEST 000005c5: POP 000005c6: PUSH2 0x027f 000005c9: PUSH2 0x1afa 000005cc: JUMP 000005cd: JUMPDEST 000005ce: CALLVALUE 000005cf: DUP1 000005d0: ISZERO 000005d1: PUSH2 0x05d9 000005d4: JUMPI 000005d5: PUSH1 0x00 000005d7: DUP1 000005d8: REVERT 000005d9: JUMPDEST 000005da: POP 000005db: PUSH2 0x027f 000005de: PUSH2 0x1b09 000005e1: JUMP 000005e2: JUMPDEST 000005e3: PUSH2 0x033a 000005e6: PUSH1 0x04 000005e8: DUP1 000005e9: CALLDATASIZE 000005ea: SUB 000005eb: PUSH1 0xc0 000005ed: DUP2 000005ee: LT 000005ef: ISZERO 000005f0: PUSH2 0x05f8 000005f3: JUMPI 000005f4: PUSH1 0x00 000005f6: DUP1 000005f7: REVERT 000005f8: JUMPDEST 000005f9: PUSH1 0x01 000005fb: PUSH1 0x01 000005fd: PUSH1 0xa0 000005ff: SHL 00000600: SUB 00000601: DUP3 00000602: CALLDATALOAD 00000603: AND 00000604: SWAP2 00000605: SWAP1 00000606: DUP2 00000607: ADD 00000608: SWAP1 00000609: PUSH1 0x40 0000060b: DUP2 0000060c: ADD 0000060d: PUSH1 0x20 0000060f: DUP3 00000610: ADD 00000611: CALLDATALOAD 00000612: PUSH5 0x0100000000 00000618: DUP2 00000619: GT 0000061a: ISZERO 0000061b: PUSH2 0x0623 0000061e: JUMPI 0000061f: PUSH1 0x00 00000621: DUP1 00000622: REVERT 00000623: JUMPDEST 00000624: DUP3 00000625: ADD 00000626: DUP4 00000627: PUSH1 0x20 00000629: DUP3 0000062a: ADD 0000062b: GT 0000062c: ISZERO 0000062d: PUSH2 0x0635 00000630: JUMPI 00000631: PUSH1 0x00 00000633: DUP1 00000634: REVERT 00000635: JUMPDEST 00000636: DUP1 00000637: CALLDATALOAD 00000638: SWAP1 00000639: PUSH1 0x20 0000063b: ADD 0000063c: SWAP2 0000063d: DUP5 0000063e: PUSH1 0x20 00000640: DUP4 00000641: MUL 00000642: DUP5 00000643: ADD 00000644: GT 00000645: PUSH5 0x0100000000 0000064b: DUP4 0000064c: GT 0000064d: OR 0000064e: ISZERO 0000064f: PUSH2 0x0657 00000652: JUMPI 00000653: PUSH1 0x00 00000655: DUP1 00000656: REVERT 00000657: JUMPDEST 00000658: SWAP2 00000659: SWAP4 0000065a: SWAP1 0000065b: SWAP3 0000065c: SWAP1 0000065d: SWAP2 0000065e: PUSH1 0x20 00000660: DUP2 00000661: ADD 00000662: SWAP1 00000663: CALLDATALOAD 00000664: PUSH5 0x0100000000 0000066a: DUP2 0000066b: GT 0000066c: ISZERO 0000066d: PUSH2 0x0675 00000670: JUMPI 00000671: PUSH1 0x00 00000673: DUP1 00000674: REVERT 00000675: JUMPDEST 00000676: DUP3 00000677: ADD 00000678: DUP4 00000679: PUSH1 0x20 0000067b: DUP3 0000067c: ADD 0000067d: GT 0000067e: ISZERO 0000067f: PUSH2 0x0687 00000682: JUMPI 00000683: PUSH1 0x00 00000685: DUP1 00000686: REVERT 00000687: JUMPDEST 00000688: DUP1 00000689: CALLDATALOAD 0000068a: SWAP1 0000068b: PUSH1 0x20 0000068d: ADD 0000068e: SWAP2 0000068f: DUP5 00000690: PUSH1 0x20 00000692: DUP4 00000693: MUL 00000694: DUP5 00000695: ADD 00000696: GT 00000697: PUSH5 0x0100000000 0000069d: DUP4 0000069e: GT 0000069f: OR 000006a0: ISZERO 000006a1: PUSH2 0x06a9 000006a4: JUMPI 000006a5: PUSH1 0x00 000006a7: DUP1 000006a8: REVERT 000006a9: JUMPDEST 000006aa: SWAP2 000006ab: SWAP4 000006ac: POP 000006ad: SWAP2 000006ae: POP 000006af: PUSH1 0x01 000006b1: PUSH1 0x01 000006b3: PUSH1 0xa0 000006b5: SHL 000006b6: SUB 000006b7: DUP2 000006b8: CALLDATALOAD 000006b9: AND 000006ba: SWAP1 000006bb: PUSH1 0x20 000006bd: DUP2 000006be: ADD 000006bf: CALLDATALOAD 000006c0: SWAP1 000006c1: PUSH1 0x40 000006c3: ADD 000006c4: CALLDATALOAD 000006c5: PUSH2 0x1b18 000006c8: JUMP 000006c9: JUMPDEST 000006ca: CALLVALUE 000006cb: DUP1 000006cc: ISZERO 000006cd: PUSH2 0x06d5 000006d0: JUMPI 000006d1: PUSH1 0x00 000006d3: DUP1 000006d4: REVERT 000006d5: JUMPDEST 000006d6: POP 000006d7: PUSH2 0x0243 000006da: PUSH1 0x04 000006dc: DUP1 000006dd: CALLDATASIZE 000006de: SUB 000006df: PUSH1 0x20 000006e1: DUP2 000006e2: LT 000006e3: ISZERO 000006e4: PUSH2 0x06ec 000006e7: JUMPI 000006e8: PUSH1 0x00 000006ea: DUP1 000006eb: REVERT 000006ec: JUMPDEST 000006ed: POP 000006ee: CALLDATALOAD 000006ef: PUSH1 0x01 000006f1: PUSH1 0x01 000006f3: PUSH1 0xa0 000006f5: SHL 000006f6: SUB 000006f7: AND 000006f8: PUSH2 0x201a 000006fb: JUMP 000006fc: JUMPDEST 000006fd: CALLVALUE 000006fe: DUP1 000006ff: ISZERO 00000700: PUSH2 0x0708 00000703: JUMPI 00000704: PUSH1 0x00 00000706: DUP1 00000707: REVERT 00000708: JUMPDEST 00000709: POP 0000070a: PUSH2 0x0243 0000070d: PUSH2 0x2264 00000710: JUMP 00000711: JUMPDEST 00000712: CALLVALUE 00000713: DUP1 00000714: ISZERO 00000715: PUSH2 0x071d 00000718: JUMPI 00000719: PUSH1 0x00 0000071b: DUP1 0000071c: REVERT 0000071d: JUMPDEST 0000071e: POP 0000071f: PUSH2 0x033a 00000722: PUSH1 0x04 00000724: DUP1 00000725: CALLDATASIZE 00000726: SUB 00000727: PUSH1 0x20 00000729: DUP2 0000072a: LT 0000072b: ISZERO 0000072c: PUSH2 0x0734 0000072f: JUMPI 00000730: PUSH1 0x00 00000732: DUP1 00000733: REVERT 00000734: JUMPDEST 00000735: POP 00000736: CALLDATALOAD 00000737: PUSH1 0x01 00000739: PUSH1 0x01 0000073b: PUSH1 0xa0 0000073d: SHL 0000073e: SUB 0000073f: AND 00000740: PUSH2 0x226a 00000743: JUMP 00000744: JUMPDEST 00000745: CALLVALUE 00000746: DUP1 00000747: ISZERO 00000748: PUSH2 0x0750 0000074b: JUMPI 0000074c: PUSH1 0x00 0000074e: DUP1 0000074f: REVERT 00000750: JUMPDEST 00000751: POP 00000752: PUSH2 0x027f 00000755: PUSH2 0x2380 00000758: JUMP 00000759: JUMPDEST 0000075a: CALLVALUE 0000075b: DUP1 0000075c: ISZERO 0000075d: PUSH2 0x0765 00000760: JUMPI 00000761: PUSH1 0x00 00000763: DUP1 00000764: REVERT 00000765: JUMPDEST 00000766: POP 00000767: PUSH2 0x027f 0000076a: PUSH2 0x23a4 0000076d: JUMP 0000076e: JUMPDEST 0000076f: CALLVALUE 00000770: DUP1 00000771: ISZERO 00000772: PUSH2 0x077a 00000775: JUMPI 00000776: PUSH1 0x00 00000778: DUP1 00000779: REVERT 0000077a: JUMPDEST 0000077b: POP 0000077c: PUSH2 0x0783 0000077f: PUSH2 0x23b3 00000782: JUMP 00000783: JUMPDEST 00000784: PUSH1 0x40 00000786: DUP1 00000787: MLOAD 00000788: PUSH8 0xffffffffffffffff 00000791: SWAP1 00000792: SWAP6 00000793: AND 00000794: DUP6 00000795: MSTORE 00000796: PUSH4 0xffffffff 0000079b: SWAP1 0000079c: SWAP4 0000079d: AND 0000079e: PUSH1 0x20 000007a0: DUP6 000007a1: ADD 000007a2: MSTORE 000007a3: PUSH2 0xffff 000007a6: SWAP2 000007a7: DUP3 000007a8: AND 000007a9: DUP5 000007aa: DUP5 000007ab: ADD 000007ac: MSTORE 000007ad: AND 000007ae: PUSH1 0x60 000007b0: DUP4 000007b1: ADD 000007b2: MSTORE 000007b3: MLOAD 000007b4: SWAP1 000007b5: DUP2 000007b6: SWAP1 000007b7: SUB 000007b8: PUSH1 0x80 000007ba: ADD 000007bb: SWAP1 000007bc: RETURN 000007bd: JUMPDEST 000007be: CALLVALUE 000007bf: DUP1 000007c0: ISZERO 000007c1: PUSH2 0x07c9 000007c4: JUMPI 000007c5: PUSH1 0x00 000007c7: DUP1 000007c8: REVERT 000007c9: JUMPDEST 000007ca: POP 000007cb: PUSH2 0x0243 000007ce: PUSH1 0x04 000007d0: DUP1 000007d1: CALLDATASIZE 000007d2: SUB 000007d3: PUSH1 0x20 000007d5: DUP2 000007d6: LT 000007d7: ISZERO 000007d8: PUSH2 0x07e0 000007db: JUMPI 000007dc: PUSH1 0x00 000007de: DUP1 000007df: REVERT 000007e0: JUMPDEST 000007e1: POP 000007e2: CALLDATALOAD 000007e3: PUSH2 0x23e8 000007e6: JUMP 000007e7: JUMPDEST 000007e8: PUSH1 0x09 000007ea: PUSH1 0x20 000007ec: MSTORE 000007ed: PUSH1 0x00 000007ef: SWAP1 000007f0: DUP2 000007f1: MSTORE 000007f2: PUSH1 0x40 000007f4: SWAP1 000007f5: KECCAK256 000007f6: SLOAD 000007f7: DUP2 000007f8: JUMP 000007f9: JUMPDEST 000007fa: PUSH1 0x0e 000007fc: SLOAD 000007fd: DUP2 000007fe: JUMP 000007ff: JUMPDEST 00000800: PUSH1 0x02 00000802: SLOAD 00000803: PUSH1 0x01 00000805: PUSH1 0x01 00000807: PUSH1 0xa0 00000809: SHL 0000080a: SUB 0000080b: AND 0000080c: DUP2 0000080d: JUMP 0000080e: JUMPDEST 0000080f: PUSH1 0x01 00000811: SLOAD 00000812: PUSH1 0x00 00000814: SWAP1 00000815: PUSH1 0x01 00000817: PUSH1 0xa0 00000819: SHL 0000081a: SWAP1 0000081b: DIV 0000081c: PUSH1 0xff 0000081e: AND 0000081f: PUSH2 0x086f 00000822: JUMPI 00000823: PUSH1 0x40 00000825: DUP1 00000826: MLOAD 00000827: PUSH3 0x461bcd 0000082b: PUSH1 0xe5 0000082d: SHL 0000082e: DUP2 0000082f: MSTORE 00000830: PUSH1 0x20 00000832: PUSH1 0x04 00000834: DUP3 00000835: ADD 00000836: MSTORE 00000837: PUSH1 0x1f 00000839: PUSH1 0x24 0000083b: DUP3 0000083c: ADD 0000083d: MSTORE 0000083e: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 0000085f: PUSH1 0x44 00000861: DUP3 00000862: ADD 00000863: MSTORE 00000864: SWAP1 00000865: MLOAD 00000866: SWAP1 00000867: DUP2 00000868: SWAP1 00000869: SUB 0000086a: PUSH1 0x64 0000086c: ADD 0000086d: SWAP1 0000086e: REVERT 0000086f: JUMPDEST 00000870: PUSH1 0x01 00000872: DUP1 00000873: SLOAD 00000874: PUSH1 0xff 00000876: PUSH1 0xa0 00000878: SHL 00000879: NOT 0000087a: AND 0000087b: SWAP1 0000087c: SSTORE 0000087d: PUSH1 0x01 0000087f: PUSH1 0x01 00000881: PUSH1 0xa0 00000883: SHL 00000884: SUB 00000885: DUP4 00000886: AND 00000887: PUSH1 0x00 00000889: SWAP1 0000088a: DUP2 0000088b: MSTORE 0000088c: PUSH1 0x0d 0000088e: PUSH1 0x20 00000890: SWAP1 00000891: DUP2 00000892: MSTORE 00000893: PUSH1 0x40 00000895: DUP1 00000896: DUP4 00000897: KECCAK256 00000898: DUP6 00000899: DUP5 0000089a: MSTORE 0000089b: SWAP1 0000089c: SWAP2 0000089d: MSTORE 0000089e: SWAP1 0000089f: KECCAK256 000008a0: SLOAD 000008a1: PUSH1 0xff 000008a3: AND 000008a4: ISZERO 000008a5: PUSH2 0x08b0 000008a8: JUMPI 000008a9: POP 000008aa: PUSH1 0x00 000008ac: PUSH2 0x0b82 000008af: JUMP 000008b0: JUMPDEST 000008b1: PUSH1 0x02 000008b3: SLOAD 000008b4: PUSH1 0x40 000008b6: DUP1 000008b7: MLOAD 000008b8: PUSH4 0x133c6175 000008bd: PUSH1 0xe3 000008bf: SHL 000008c0: DUP2 000008c1: MSTORE 000008c2: PUSH1 0x01 000008c4: PUSH1 0x01 000008c6: PUSH1 0xa0 000008c8: SHL 000008c9: SUB 000008ca: DUP7 000008cb: DUP2 000008cc: AND 000008cd: PUSH1 0x04 000008cf: DUP4 000008d0: ADD 000008d1: MSTORE 000008d2: PUSH1 0x24 000008d4: DUP3 000008d5: ADD 000008d6: DUP7 000008d7: SWAP1 000008d8: MSTORE 000008d9: SWAP2 000008da: MLOAD 000008db: PUSH1 0x00 000008dd: SWAP4 000008de: SWAP3 000008df: SWAP1 000008e0: SWAP3 000008e1: AND 000008e2: SWAP2 000008e3: PUSH4 0x99e30ba8 000008e8: SWAP2 000008e9: PUSH1 0x44 000008eb: DUP1 000008ec: DUP3 000008ed: ADD 000008ee: SWAP3 000008ef: PUSH1 0x20 000008f1: SWAP3 000008f2: SWAP1 000008f3: SWAP2 000008f4: SWAP1 000008f5: DUP3 000008f6: SWAP1 000008f7: SUB 000008f8: ADD 000008f9: DUP2 000008fa: DUP7 000008fb: DUP1 000008fc: EXTCODESIZE 000008fd: ISZERO 000008fe: DUP1 000008ff: ISZERO 00000900: PUSH2 0x0908 00000903: JUMPI 00000904: PUSH1 0x00 00000906: DUP1 00000907: REVERT 00000908: JUMPDEST 00000909: POP 0000090a: GAS 0000090b: STATICCALL 0000090c: ISZERO 0000090d: DUP1 0000090e: ISZERO 0000090f: PUSH2 0x091c 00000912: JUMPI 00000913: RETURNDATASIZE 00000914: PUSH1 0x00 00000916: DUP1 00000917: RETURNDATACOPY 00000918: RETURNDATASIZE 00000919: PUSH1 0x00 0000091b: REVERT 0000091c: JUMPDEST 0000091d: POP 0000091e: POP 0000091f: POP 00000920: POP 00000921: PUSH1 0x40 00000923: MLOAD 00000924: RETURNDATASIZE 00000925: PUSH1 0x20 00000927: DUP2 00000928: LT 00000929: ISZERO 0000092a: PUSH2 0x0932 0000092d: JUMPI 0000092e: PUSH1 0x00 00000930: DUP1 00000931: REVERT 00000932: JUMPDEST 00000933: POP 00000934: MLOAD 00000935: SWAP1 00000936: POP 00000937: DUP1 00000938: PUSH2 0x0945 0000093b: JUMPI 0000093c: PUSH1 0x00 0000093e: SWAP2 0000093f: POP 00000940: POP 00000941: PUSH2 0x0b82 00000944: JUMP 00000945: JUMPDEST 00000946: PUSH8 0x0de0b6b3a7640000 0000094f: DUP2 00000950: GT 00000951: ISZERO 00000952: PUSH2 0x09a2 00000955: JUMPI 00000956: PUSH1 0x40 00000958: DUP1 00000959: MLOAD 0000095a: PUSH3 0x461bcd 0000095e: PUSH1 0xe5 00000960: SHL 00000961: DUP2 00000962: MSTORE 00000963: PUSH1 0x20 00000965: PUSH1 0x04 00000967: DUP3 00000968: ADD 00000969: MSTORE 0000096a: PUSH1 0x13 0000096c: PUSH1 0x24 0000096e: DUP3 0000096f: ADD 00000970: MSTORE 00000971: PUSH32 0x70657263656e7461676520746f6f206869676800000000000000000000000000 00000992: PUSH1 0x44 00000994: DUP3 00000995: ADD 00000996: MSTORE 00000997: SWAP1 00000998: MLOAD 00000999: SWAP1 0000099a: DUP2 0000099b: SWAP1 0000099c: SUB 0000099d: PUSH1 0x64 0000099f: ADD 000009a0: SWAP1 000009a1: REVERT 000009a2: JUMPDEST 000009a3: PUSH1 0x00 000009a5: DUP4 000009a6: DUP2 000009a7: MSTORE 000009a8: PUSH1 0x0b 000009aa: PUSH1 0x20 000009ac: MSTORE 000009ad: PUSH1 0x40 000009af: SWAP1 000009b0: KECCAK256 000009b1: SLOAD 000009b2: PUSH2 0x09db 000009b5: SWAP1 000009b6: PUSH8 0x0de0b6b3a7640000 000009bf: SWAP1 000009c0: PUSH2 0x09cf 000009c3: SWAP1 000009c4: DUP5 000009c5: PUSH4 0xffffffff 000009ca: PUSH2 0x23fa 000009cd: AND 000009ce: JUMP 000009cf: JUMPDEST 000009d0: SWAP1 000009d1: PUSH4 0xffffffff 000009d6: PUSH2 0x245c 000009d9: AND 000009da: JUMP 000009db: JUMPDEST 000009dc: SWAP2 000009dd: POP 000009de: DUP2 000009df: PUSH1 0x0e 000009e1: SLOAD 000009e2: LT 000009e3: ISZERO 000009e4: PUSH2 0x09e9 000009e7: JUMPI 000009e8: INVALID 000009e9: JUMPDEST 000009ea: PUSH1 0x00 000009ec: DUP4 000009ed: DUP2 000009ee: MSTORE 000009ef: PUSH1 0x0b 000009f1: PUSH1 0x20 000009f3: SWAP1 000009f4: DUP2 000009f5: MSTORE 000009f6: PUSH1 0x40 000009f8: DUP1 000009f9: DUP4 000009fa: KECCAK256 000009fb: SLOAD 000009fc: PUSH1 0x0c 000009fe: SWAP1 000009ff: SWAP3 00000a00: MSTORE 00000a01: SWAP1 00000a02: SWAP2 00000a03: KECCAK256 00000a04: SLOAD 00000a05: PUSH2 0x0a14 00000a08: SWAP1 00000a09: DUP5 00000a0a: PUSH4 0xffffffff 00000a0f: PUSH2 0x249e 00000a12: AND 00000a13: JUMP 00000a14: JUMPDEST 00000a15: GT 00000a16: ISZERO 00000a17: PUSH2 0x0a1c 00000a1a: JUMPI 00000a1b: INVALID 00000a1c: JUMPDEST 00000a1d: PUSH1 0x00 00000a1f: DUP4 00000a20: DUP2 00000a21: MSTORE 00000a22: PUSH1 0x0c 00000a24: PUSH1 0x20 00000a26: MSTORE 00000a27: PUSH1 0x40 00000a29: SWAP1 00000a2a: KECCAK256 00000a2b: SLOAD 00000a2c: PUSH2 0x0a3b 00000a2f: SWAP1 00000a30: DUP4 00000a31: PUSH4 0xffffffff 00000a36: PUSH2 0x249e 00000a39: AND 00000a3a: JUMP 00000a3b: JUMPDEST 00000a3c: PUSH1 0x00 00000a3e: DUP5 00000a3f: DUP2 00000a40: MSTORE 00000a41: PUSH1 0x0c 00000a43: PUSH1 0x20 00000a45: MSTORE 00000a46: PUSH1 0x40 00000a48: SWAP1 00000a49: KECCAK256 00000a4a: SSTORE 00000a4b: PUSH1 0x0e 00000a4d: SLOAD 00000a4e: PUSH2 0x0a5d 00000a51: SWAP1 00000a52: DUP4 00000a53: PUSH4 0xffffffff 00000a58: PUSH2 0x24f8 00000a5b: AND 00000a5c: JUMP 00000a5d: JUMPDEST 00000a5e: PUSH1 0x0e 00000a60: SSTORE 00000a61: PUSH1 0x01 00000a63: PUSH1 0x01 00000a65: PUSH1 0xa0 00000a67: SHL 00000a68: SUB 00000a69: DUP5 00000a6a: AND 00000a6b: PUSH1 0x00 00000a6d: DUP2 00000a6e: DUP2 00000a6f: MSTORE 00000a70: PUSH1 0x0d 00000a72: PUSH1 0x20 00000a74: SWAP1 00000a75: DUP2 00000a76: MSTORE 00000a77: PUSH1 0x40 00000a79: DUP1 00000a7a: DUP4 00000a7b: KECCAK256 00000a7c: DUP8 00000a7d: DUP5 00000a7e: MSTORE 00000a7f: SWAP1 00000a80: SWAP2 00000a81: MSTORE 00000a82: DUP1 00000a83: DUP3 00000a84: KECCAK256 00000a85: DUP1 00000a86: SLOAD 00000a87: PUSH1 0xff 00000a89: NOT 00000a8a: AND 00000a8b: PUSH1 0x01 00000a8d: OR 00000a8e: SWAP1 00000a8f: SSTORE 00000a90: MLOAD 00000a91: SWAP1 00000a92: SWAP2 00000a93: SWAP1 00000a94: DUP5 00000a95: SWAP1 00000a96: DUP4 00000a97: DUP2 00000a98: DUP2 00000a99: DUP2 00000a9a: DUP6 00000a9b: DUP8 00000a9c: GAS 00000a9d: CALL 00000a9e: SWAP3 00000a9f: POP 00000aa0: POP 00000aa1: POP 00000aa2: RETURNDATASIZE 00000aa3: DUP1 00000aa4: PUSH1 0x00 00000aa6: DUP2 00000aa7: EQ 00000aa8: PUSH2 0x0acd 00000aab: JUMPI 00000aac: PUSH1 0x40 00000aae: MLOAD 00000aaf: SWAP2 00000ab0: POP 00000ab1: PUSH1 0x1f 00000ab3: NOT 00000ab4: PUSH1 0x3f 00000ab6: RETURNDATASIZE 00000ab7: ADD 00000ab8: AND 00000ab9: DUP3 00000aba: ADD 00000abb: PUSH1 0x40 00000abd: MSTORE 00000abe: RETURNDATASIZE 00000abf: DUP3 00000ac0: MSTORE 00000ac1: RETURNDATASIZE 00000ac2: PUSH1 0x00 00000ac4: PUSH1 0x20 00000ac6: DUP5 00000ac7: ADD 00000ac8: RETURNDATACOPY 00000ac9: PUSH2 0x0ad2 00000acc: JUMP 00000acd: JUMPDEST 00000ace: PUSH1 0x60 00000ad0: SWAP2 00000ad1: POP 00000ad2: JUMPDEST 00000ad3: POP 00000ad4: POP 00000ad5: SWAP1 00000ad6: POP 00000ad7: DUP1 00000ad8: PUSH2 0x0b28 00000adb: JUMPI 00000adc: PUSH1 0x40 00000ade: DUP1 00000adf: MLOAD 00000ae0: PUSH3 0x461bcd 00000ae4: PUSH1 0xe5 00000ae6: SHL 00000ae7: DUP2 00000ae8: MSTORE 00000ae9: PUSH1 0x20 00000aeb: PUSH1 0x04 00000aed: DUP3 00000aee: ADD 00000aef: MSTORE 00000af0: PUSH1 0x1e 00000af2: PUSH1 0x24 00000af4: DUP3 00000af5: ADD 00000af6: MSTORE 00000af7: PUSH32 0x7374616b65722072657761726473207472616e73666572206661696c65640000 00000b18: PUSH1 0x44 00000b1a: DUP3 00000b1b: ADD 00000b1c: MSTORE 00000b1d: SWAP1 00000b1e: MLOAD 00000b1f: SWAP1 00000b20: DUP2 00000b21: SWAP1 00000b22: SUB 00000b23: PUSH1 0x64 00000b25: ADD 00000b26: SWAP1 00000b27: REVERT 00000b28: JUMPDEST 00000b29: PUSH1 0x40 00000b2b: DUP1 00000b2c: MLOAD 00000b2d: DUP5 00000b2e: DUP2 00000b2f: MSTORE 00000b30: SWAP1 00000b31: MLOAD 00000b32: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 00000b47: SWAP2 00000b48: DUP7 00000b49: SWAP2 00000b4a: PUSH1 0x01 00000b4c: PUSH1 0x01 00000b4e: PUSH1 0xa0 00000b50: SHL 00000b51: SUB 00000b52: DUP10 00000b53: AND 00000b54: SWAP2 00000b55: PUSH32 0xaf206e736916d38b56e2d559931a189bc3119b8fc6d6850bd34e382f09030587 00000b76: SWAP2 00000b77: SWAP1 00000b78: DUP2 00000b79: SWAP1 00000b7a: SUB 00000b7b: PUSH1 0x20 00000b7d: ADD 00000b7e: SWAP1 00000b7f: LOG4 00000b80: POP 00000b81: POP 00000b82: JUMPDEST 00000b83: PUSH1 0x01 00000b85: DUP1 00000b86: SLOAD 00000b87: PUSH1 0xff 00000b89: PUSH1 0xa0 00000b8b: SHL 00000b8c: NOT 00000b8d: AND 00000b8e: PUSH1 0x01 00000b90: PUSH1 0xa0 00000b92: SHL 00000b93: OR 00000b94: SWAP1 00000b95: SSTORE 00000b96: SWAP3 00000b97: SWAP2 00000b98: POP 00000b99: POP 00000b9a: JUMP 00000b9b: JUMPDEST 00000b9c: PUSH1 0x0a 00000b9e: PUSH1 0x20 00000ba0: MSTORE 00000ba1: PUSH1 0x00 00000ba3: SWAP1 00000ba4: DUP2 00000ba5: MSTORE 00000ba6: PUSH1 0x40 00000ba8: SWAP1 00000ba9: KECCAK256 00000baa: SLOAD 00000bab: DUP2 00000bac: JUMP 00000bad: JUMPDEST 00000bae: PUSH1 0x01 00000bb0: SLOAD 00000bb1: PUSH1 0x01 00000bb3: PUSH1 0x01 00000bb5: PUSH1 0xa0 00000bb7: SHL 00000bb8: SUB 00000bb9: AND 00000bba: CALLER 00000bbb: EQ 00000bbc: PUSH2 0x0bff 00000bbf: JUMPI 00000bc0: PUSH1 0x40 00000bc2: DUP1 00000bc3: MLOAD 00000bc4: PUSH3 0x461bcd 00000bc8: PUSH1 0xe5 00000bca: SHL 00000bcb: DUP2 00000bcc: MSTORE 00000bcd: PUSH1 0x20 00000bcf: PUSH1 0x04 00000bd1: DUP3 00000bd2: ADD 00000bd3: MSTORE 00000bd4: PUSH1 0x10 00000bd6: PUSH1 0x24 00000bd8: DUP3 00000bd9: ADD 00000bda: MSTORE 00000bdb: PUSH16 0x37b7363c903230b7a7b832b930ba37b9 00000bec: PUSH1 0x81 00000bee: SHL 00000bef: PUSH1 0x44 00000bf1: DUP3 00000bf2: ADD 00000bf3: MSTORE 00000bf4: SWAP1 00000bf5: MLOAD 00000bf6: SWAP1 00000bf7: DUP2 00000bf8: SWAP1 00000bf9: SUB 00000bfa: PUSH1 0x64 00000bfc: ADD 00000bfd: SWAP1 00000bfe: REVERT 00000bff: JUMPDEST 00000c00: PUSH1 0x01 00000c02: PUSH1 0x01 00000c04: PUSH1 0xa0 00000c06: SHL 00000c07: SUB 00000c08: DUP2 00000c09: AND 00000c0a: PUSH2 0x0c4b 00000c0d: JUMPI 00000c0e: PUSH1 0x40 00000c10: DUP1 00000c11: MLOAD 00000c12: PUSH3 0x461bcd 00000c16: PUSH1 0xe5 00000c18: SHL 00000c19: DUP2 00000c1a: MSTORE 00000c1b: PUSH1 0x20 00000c1d: PUSH1 0x04 00000c1f: DUP3 00000c20: ADD 00000c21: MSTORE 00000c22: PUSH1 0x0e 00000c24: PUSH1 0x24 00000c26: DUP3 00000c27: ADD 00000c28: MSTORE 00000c29: PUSH14 0x06b796265724e6574776f726b203 00000c38: PUSH1 0x94 00000c3a: SHL 00000c3b: PUSH1 0x44 00000c3d: DUP3 00000c3e: ADD 00000c3f: MSTORE 00000c40: SWAP1 00000c41: MLOAD 00000c42: SWAP1 00000c43: DUP2 00000c44: SWAP1 00000c45: SUB 00000c46: PUSH1 0x64 00000c48: ADD 00000c49: SWAP1 00000c4a: REVERT 00000c4b: JUMPDEST 00000c4c: PUSH1 0x04 00000c4e: SLOAD 00000c4f: PUSH1 0x01 00000c51: PUSH1 0x01 00000c53: PUSH1 0xa0 00000c55: SHL 00000c56: SUB 00000c57: DUP3 00000c58: DUP2 00000c59: AND 00000c5a: SWAP2 00000c5b: AND 00000c5c: EQ 00000c5d: PUSH2 0x0cb8 00000c60: JUMPI 00000c61: PUSH1 0x04 00000c63: DUP1 00000c64: SLOAD 00000c65: PUSH1 0x01 00000c67: PUSH1 0x01 00000c69: PUSH1 0xa0 00000c6b: SHL 00000c6c: SUB 00000c6d: NOT 00000c6e: AND 00000c6f: PUSH1 0x01 00000c71: PUSH1 0x01 00000c73: PUSH1 0xa0 00000c75: SHL 00000c76: SUB 00000c77: DUP4 00000c78: DUP2 00000c79: AND 00000c7a: SWAP2 00000c7b: SWAP1 00000c7c: SWAP2 00000c7d: OR 00000c7e: SWAP2 00000c7f: DUP3 00000c80: SWAP1 00000c81: SSTORE 00000c82: PUSH1 0x40 00000c84: DUP1 00000c85: MLOAD 00000c86: SWAP3 00000c87: SWAP1 00000c88: SWAP2 00000c89: AND 00000c8a: DUP3 00000c8b: MSTORE 00000c8c: MLOAD 00000c8d: PUSH32 0x18970d46ac8a7d7e0da90e1bebb0be3e87ffc7705fc09d3bba5373d59b7a12aa 00000cae: SWAP2 00000caf: PUSH1 0x20 00000cb1: SWAP1 00000cb2: DUP3 00000cb3: SWAP1 00000cb4: SUB 00000cb5: ADD 00000cb6: SWAP1 00000cb7: LOG1 00000cb8: JUMPDEST 00000cb9: POP 00000cba: JUMP 00000cbb: JUMPDEST 00000cbc: PUSH1 0x60 00000cbe: PUSH1 0x0f 00000cc0: DUP1 00000cc1: SLOAD 00000cc2: DUP1 00000cc3: PUSH1 0x20 00000cc5: MUL 00000cc6: PUSH1 0x20 00000cc8: ADD 00000cc9: PUSH1 0x40 00000ccb: MLOAD 00000ccc: SWAP1 00000ccd: DUP2 00000cce: ADD 00000ccf: PUSH1 0x40 00000cd1: MSTORE 00000cd2: DUP1 00000cd3: SWAP3 00000cd4: SWAP2 00000cd5: SWAP1 00000cd6: DUP2 00000cd7: DUP2 00000cd8: MSTORE 00000cd9: PUSH1 0x20 00000cdb: ADD 00000cdc: DUP3 00000cdd: DUP1 00000cde: SLOAD 00000cdf: DUP1 00000ce0: ISZERO 00000ce1: PUSH2 0x0d13 00000ce4: JUMPI 00000ce5: PUSH1 0x20 00000ce7: MUL 00000ce8: DUP3 00000ce9: ADD 00000cea: SWAP2 00000ceb: SWAP1 00000cec: PUSH1 0x00 00000cee: MSTORE 00000cef: PUSH1 0x20 00000cf1: PUSH1 0x00 00000cf3: KECCAK256 00000cf4: SWAP1 00000cf5: JUMPDEST 00000cf6: DUP2 00000cf7: SLOAD 00000cf8: PUSH1 0x01 00000cfa: PUSH1 0x01 00000cfc: PUSH1 0xa0 00000cfe: SHL 00000cff: SUB 00000d00: AND 00000d01: DUP2 00000d02: MSTORE 00000d03: PUSH1 0x01 00000d05: SWAP1 00000d06: SWAP2 00000d07: ADD 00000d08: SWAP1 00000d09: PUSH1 0x20 00000d0b: ADD 00000d0c: DUP1 00000d0d: DUP4 00000d0e: GT 00000d0f: PUSH2 0x0cf5 00000d12: JUMPI 00000d13: JUMPDEST 00000d14: POP 00000d15: POP 00000d16: POP 00000d17: POP 00000d18: POP 00000d19: SWAP1 00000d1a: POP 00000d1b: SWAP1 00000d1c: JUMP 00000d1d: JUMPDEST 00000d1e: PUSH1 0x01 00000d20: SLOAD 00000d21: PUSH1 0x01 00000d23: PUSH1 0x01 00000d25: PUSH1 0xa0 00000d27: SHL 00000d28: SUB 00000d29: AND 00000d2a: CALLER 00000d2b: EQ 00000d2c: PUSH2 0x0d6f 00000d2f: JUMPI 00000d30: PUSH1 0x40 00000d32: DUP1 00000d33: MLOAD 00000d34: PUSH3 0x461bcd 00000d38: PUSH1 0xe5 00000d3a: SHL 00000d3b: DUP2 00000d3c: MSTORE 00000d3d: PUSH1 0x20 00000d3f: PUSH1 0x04 00000d41: DUP3 00000d42: ADD 00000d43: MSTORE 00000d44: PUSH1 0x10 00000d46: PUSH1 0x24 00000d48: DUP3 00000d49: ADD 00000d4a: MSTORE 00000d4b: PUSH16 0x37b7363c903230b7a7b832b930ba37b9 00000d5c: PUSH1 0x81 00000d5e: SHL 00000d5f: PUSH1 0x44 00000d61: DUP3 00000d62: ADD 00000d63: MSTORE 00000d64: SWAP1 00000d65: MLOAD 00000d66: SWAP1 00000d67: DUP2 00000d68: SWAP1 00000d69: SUB 00000d6a: PUSH1 0x64 00000d6c: ADD 00000d6d: SWAP1 00000d6e: REVERT 00000d6f: JUMPDEST 00000d70: PUSH1 0x00 00000d72: DUP2 00000d73: GT 00000d74: PUSH2 0x0db6 00000d77: JUMPI 00000d78: PUSH1 0x40 00000d7a: DUP1 00000d7b: MLOAD 00000d7c: PUSH3 0x461bcd 00000d80: PUSH1 0xe5 00000d82: SHL 00000d83: DUP2 00000d84: MSTORE 00000d85: PUSH1 0x20 00000d87: PUSH1 0x04 00000d89: DUP3 00000d8a: ADD 00000d8b: MSTORE 00000d8c: PUSH1 0x0f 00000d8e: PUSH1 0x24 00000d90: DUP3 00000d91: ADD 00000d92: MSTORE 00000d93: PUSH15 0x05f776569546f4275726e206973203 00000da3: PUSH1 0x8c 00000da5: SHL 00000da6: PUSH1 0x44 00000da8: DUP3 00000da9: ADD 00000daa: MSTORE 00000dab: SWAP1 00000dac: MLOAD 00000dad: SWAP1 00000dae: DUP2 00000daf: SWAP1 00000db0: SUB 00000db1: PUSH1 0x64 00000db3: ADD 00000db4: SWAP1 00000db5: REVERT 00000db6: JUMPDEST 00000db7: PUSH1 0x0f 00000db9: SLOAD 00000dba: ISZERO 00000dbb: DUP1 00000dbc: PUSH2 0x0dea 00000dbf: JUMPI 00000dc0: POP 00000dc1: PUSH1 0x0f 00000dc3: PUSH1 0x00 00000dc5: DUP2 00000dc6: SLOAD 00000dc7: DUP2 00000dc8: LT 00000dc9: PUSH2 0x0dce 00000dcc: JUMPI 00000dcd: INVALID 00000dce: JUMPDEST 00000dcf: PUSH1 0x00 00000dd1: SWAP2 00000dd2: DUP3 00000dd3: MSTORE 00000dd4: PUSH1 0x20 00000dd6: SWAP1 00000dd7: SWAP2 00000dd8: KECCAK256 00000dd9: ADD 00000dda: SLOAD 00000ddb: PUSH1 0x01 00000ddd: PUSH1 0x01 00000ddf: PUSH1 0xa0 00000de1: SHL 00000de2: SUB 00000de3: DUP4 00000de4: DUP2 00000de5: AND 00000de6: SWAP2 00000de7: AND 00000de8: EQ 00000de9: ISZERO 00000dea: JUMPDEST 00000deb: ISZERO 00000dec: PUSH2 0x0ece 00000def: JUMPI 00000df0: PUSH1 0x0f 00000df2: SLOAD 00000df3: PUSH2 0x0e46 00000df6: JUMPI 00000df7: PUSH1 0x0f 00000df9: DUP1 00000dfa: SLOAD 00000dfb: PUSH1 0x01 00000dfd: DUP2 00000dfe: ADD 00000dff: DUP3 00000e00: SSTORE 00000e01: PUSH1 0x00 00000e03: SWAP2 00000e04: SWAP1 00000e05: SWAP2 00000e06: MSTORE 00000e07: PUSH32 0x8d1108e10bcb7c27dddfc02ed9d693a074039d026cf4ea4240b40f7d581ac802 00000e28: ADD 00000e29: DUP1 00000e2a: SLOAD 00000e2b: PUSH1 0x01 00000e2d: PUSH1 0x01 00000e2f: PUSH1 0xa0 00000e31: SHL 00000e32: SUB 00000e33: NOT 00000e34: AND 00000e35: PUSH1 0x01 00000e37: PUSH1 0x01 00000e39: PUSH1 0xa0 00000e3b: SHL 00000e3c: SUB 00000e3d: DUP5 00000e3e: AND 00000e3f: OR 00000e40: SWAP1 00000e41: SSTORE 00000e42: PUSH2 0x0ece 00000e45: JUMP 00000e46: JUMPDEST 00000e47: PUSH1 0x0f 00000e49: DUP1 00000e4a: PUSH1 0x00 00000e4c: DUP2 00000e4d: SLOAD 00000e4e: DUP2 00000e4f: LT 00000e50: PUSH2 0x0e55 00000e53: JUMPI 00000e54: INVALID 00000e55: JUMPDEST 00000e56: PUSH1 0x00 00000e58: SWAP2 00000e59: DUP3 00000e5a: MSTORE 00000e5b: PUSH1 0x20 00000e5d: DUP1 00000e5e: DUP4 00000e5f: KECCAK256 00000e60: SWAP1 00000e61: SWAP2 00000e62: ADD 00000e63: SLOAD 00000e64: DUP4 00000e65: SLOAD 00000e66: PUSH1 0x01 00000e68: DUP2 00000e69: ADD 00000e6a: DUP6 00000e6b: SSTORE 00000e6c: SWAP4 00000e6d: DUP4 00000e6e: MSTORE 00000e6f: SWAP1 00000e70: DUP3 00000e71: KECCAK256 00000e72: SWAP1 00000e73: SWAP3 00000e74: ADD 00000e75: DUP1 00000e76: SLOAD 00000e77: PUSH1 0x01 00000e79: PUSH1 0x01 00000e7b: PUSH1 0xa0 00000e7d: SHL 00000e7e: SUB 00000e7f: NOT 00000e80: AND 00000e81: PUSH1 0x01 00000e83: PUSH1 0x01 00000e85: PUSH1 0xa0 00000e87: SHL 00000e88: SUB 00000e89: SWAP1 00000e8a: SWAP4 00000e8b: AND 00000e8c: SWAP3 00000e8d: SWAP1 00000e8e: SWAP3 00000e8f: OR 00000e90: SWAP1 00000e91: SWAP2 00000e92: SSTORE 00000e93: PUSH1 0x0f 00000e95: DUP1 00000e96: SLOAD 00000e97: DUP5 00000e98: SWAP3 00000e99: SWAP1 00000e9a: PUSH2 0x0e9f 00000e9d: JUMPI 00000e9e: INVALID 00000e9f: JUMPDEST 00000ea0: SWAP1 00000ea1: PUSH1 0x00 00000ea3: MSTORE 00000ea4: PUSH1 0x20 00000ea6: PUSH1 0x00 00000ea8: KECCAK256 00000ea9: ADD 00000eaa: PUSH1 0x00 00000eac: PUSH2 0x0100 00000eaf: EXP 00000eb0: DUP2 00000eb1: SLOAD 00000eb2: DUP2 00000eb3: PUSH1 0x01 00000eb5: PUSH1 0x01 00000eb7: PUSH1 0xa0 00000eb9: SHL 00000eba: SUB 00000ebb: MUL 00000ebc: NOT 00000ebd: AND 00000ebe: SWAP1 00000ebf: DUP4 00000ec0: PUSH1 0x01 00000ec2: PUSH1 0x01 00000ec4: PUSH1 0xa0 00000ec6: SHL 00000ec7: SUB 00000ec8: AND 00000ec9: MUL 00000eca: OR 00000ecb: SWAP1 00000ecc: SSTORE 00000ecd: POP 00000ece: JUMPDEST 00000ecf: PUSH1 0x08 00000ed1: DUP2 00000ed2: SWAP1 00000ed3: SSTORE 00000ed4: PUSH1 0x40 00000ed6: DUP1 00000ed7: MLOAD 00000ed8: PUSH1 0x01 00000eda: PUSH1 0x01 00000edc: PUSH1 0xa0 00000ede: SHL 00000edf: SUB 00000ee0: DUP5 00000ee1: AND 00000ee2: DUP2 00000ee3: MSTORE 00000ee4: PUSH1 0x20 00000ee6: DUP2 00000ee7: ADD 00000ee8: DUP4 00000ee9: SWAP1 00000eea: MSTORE 00000eeb: DUP2 00000eec: MLOAD 00000eed: PUSH32 0xe40f97f23269c4682610e9b2522d6d4272ee56f115906d71fcb3da82a860f755 00000f0e: SWAP3 00000f0f: SWAP2 00000f10: DUP2 00000f11: SWAP1 00000f12: SUB 00000f13: SWAP1 00000f14: SWAP2 00000f15: ADD 00000f16: SWAP1 00000f17: LOG1 00000f18: POP 00000f19: POP 00000f1a: JUMP 00000f1b: JUMPDEST 00000f1c: PUSH1 0x06 00000f1e: SLOAD 00000f1f: PUSH1 0x01 00000f21: PUSH1 0x60 00000f23: SHL 00000f24: DUP2 00000f25: DIV 00000f26: PUSH2 0xffff 00000f29: SWAP1 00000f2a: DUP2 00000f2b: AND 00000f2c: SWAP3 00000f2d: PUSH1 0x01 00000f2f: PUSH1 0x70 00000f31: SHL 00000f32: DUP4 00000f33: DIV 00000f34: SWAP1 00000f35: SWAP2 00000f36: AND 00000f37: SWAP2 00000f38: PUSH8 0xffffffffffffffff 00000f41: DUP2 00000f42: AND 00000f43: SWAP2 00000f44: PUSH1 0x01 00000f46: PUSH1 0x40 00000f48: SHL 00000f49: SWAP1 00000f4a: SWAP2 00000f4b: DIV 00000f4c: PUSH4 0xffffffff 00000f51: AND 00000f52: SWAP1 00000f53: JUMP 00000f54: JUMPDEST 00000f55: PUSH1 0x0d 00000f57: PUSH1 0x20 00000f59: SWAP1 00000f5a: DUP2 00000f5b: MSTORE 00000f5c: PUSH1 0x00 00000f5e: SWAP3 00000f5f: DUP4 00000f60: MSTORE 00000f61: PUSH1 0x40 00000f63: DUP1 00000f64: DUP5 00000f65: KECCAK256 00000f66: SWAP1 00000f67: SWAP2 00000f68: MSTORE 00000f69: SWAP1 00000f6a: DUP3 00000f6b: MSTORE 00000f6c: SWAP1 00000f6d: KECCAK256 00000f6e: SLOAD 00000f6f: PUSH1 0xff 00000f71: AND 00000f72: DUP2 00000f73: JUMP 00000f74: JUMPDEST 00000f75: PUSH1 0x08 00000f77: SLOAD 00000f78: DUP2 00000f79: JUMP 00000f7a: JUMPDEST 00000f7b: PUSH1 0x02 00000f7d: SLOAD 00000f7e: PUSH1 0x01 00000f80: PUSH1 0x01 00000f82: PUSH1 0xa0 00000f84: SHL 00000f85: SUB 00000f86: AND 00000f87: PUSH2 0x0fca 00000f8a: JUMPI 00000f8b: PUSH1 0x40 00000f8d: DUP1 00000f8e: MLOAD 00000f8f: PUSH3 0x461bcd 00000f93: PUSH1 0xe5 00000f95: SHL 00000f96: DUP2 00000f97: MSTORE 00000f98: PUSH1 0x20 00000f9a: PUSH1 0x04 00000f9c: DUP3 00000f9d: ADD 00000f9e: MSTORE 00000f9f: PUSH1 0x10 00000fa1: PUSH1 0x24 00000fa3: DUP3 00000fa4: ADD 00000fa5: MSTORE 00000fa6: PUSH16 0x1ade58995c91185bc81b9bdd081cd95d 00000fb7: PUSH1 0x82 00000fb9: SHL 00000fba: PUSH1 0x44 00000fbc: DUP3 00000fbd: ADD 00000fbe: MSTORE 00000fbf: SWAP1 00000fc0: MLOAD 00000fc1: SWAP1 00000fc2: DUP2 00000fc3: SWAP1 00000fc4: SUB 00000fc5: PUSH1 0x64 00000fc7: ADD 00000fc8: SWAP1 00000fc9: REVERT 00000fca: JUMPDEST 00000fcb: PUSH1 0x02 00000fcd: SLOAD 00000fce: PUSH1 0x40 00000fd0: DUP1 00000fd1: MLOAD 00000fd2: PUSH4 0x22de8027 00000fd7: PUSH1 0xe1 00000fd9: SHL 00000fda: DUP2 00000fdb: MSTORE 00000fdc: PUSH1 0x04 00000fde: DUP2 00000fdf: ADD 00000fe0: DUP5 00000fe1: SWAP1 00000fe2: MSTORE 00000fe3: SWAP1 00000fe4: MLOAD 00000fe5: PUSH1 0x01 00000fe7: PUSH1 0x01 00000fe9: PUSH1 0xa0 00000feb: SHL 00000fec: SUB 00000fed: SWAP1 00000fee: SWAP3 00000fef: AND 00000ff0: SWAP2 00000ff1: PUSH4 0x45bd004e 00000ff6: SWAP2 00000ff7: PUSH1 0x24 00000ff9: DUP1 00000ffa: DUP3 00000ffb: ADD 00000ffc: SWAP3 00000ffd: PUSH1 0x20 00000fff: SWAP3 00001000: SWAP1 00001001: SWAP2 00001002: SWAP1 00001003: DUP3 00001004: SWAP1 00001005: SUB 00001006: ADD 00001007: DUP2 00001008: DUP7 00001009: DUP1 0000100a: EXTCODESIZE 0000100b: ISZERO 0000100c: DUP1 0000100d: ISZERO 0000100e: PUSH2 0x1016 00001011: JUMPI 00001012: PUSH1 0x00 00001014: DUP1 00001015: REVERT 00001016: JUMPDEST 00001017: POP 00001018: GAS 00001019: STATICCALL 0000101a: ISZERO 0000101b: DUP1 0000101c: ISZERO 0000101d: PUSH2 0x102a 00001020: JUMPI 00001021: RETURNDATASIZE 00001022: PUSH1 0x00 00001024: DUP1 00001025: RETURNDATACOPY 00001026: RETURNDATASIZE 00001027: PUSH1 0x00 00001029: REVERT 0000102a: JUMPDEST 0000102b: POP 0000102c: POP 0000102d: POP 0000102e: POP 0000102f: PUSH1 0x40 00001031: MLOAD 00001032: RETURNDATASIZE 00001033: PUSH1 0x20 00001035: DUP2 00001036: LT 00001037: ISZERO 00001038: PUSH2 0x1040 0000103b: JUMPI 0000103c: PUSH1 0x00 0000103e: DUP1 0000103f: REVERT 00001040: JUMPDEST 00001041: POP 00001042: MLOAD 00001043: PUSH2 0x1093 00001046: JUMPI 00001047: PUSH1 0x40 00001049: DUP1 0000104a: MLOAD 0000104b: PUSH3 0x461bcd 0000104f: PUSH1 0xe5 00001051: SHL 00001052: DUP2 00001053: MSTORE 00001054: PUSH1 0x20 00001056: PUSH1 0x04 00001058: DUP3 00001059: ADD 0000105a: MSTORE 0000105b: PUSH1 0x16 0000105d: PUSH1 0x24 0000105f: DUP3 00001060: ADD 00001061: MSTORE 00001062: PUSH32 0x73686f756c64206e6f74206275726e2072657761726400000000000000000000 00001083: PUSH1 0x44 00001085: DUP3 00001086: ADD 00001087: MSTORE 00001088: SWAP1 00001089: MLOAD 0000108a: SWAP1 0000108b: DUP2 0000108c: SWAP1 0000108d: SUB 0000108e: PUSH1 0x64 00001090: ADD 00001091: SWAP1 00001092: REVERT 00001093: JUMPDEST 00001094: PUSH1 0x00 00001096: DUP2 00001097: DUP2 00001098: MSTORE 00001099: PUSH1 0x0b 0000109b: PUSH1 0x20 0000109d: MSTORE 0000109e: PUSH1 0x40 000010a0: SWAP1 000010a1: KECCAK256 000010a2: SLOAD 000010a3: DUP1 000010a4: PUSH2 0x10e2 000010a7: JUMPI 000010a8: PUSH1 0x40 000010aa: DUP1 000010ab: MLOAD 000010ac: PUSH3 0x461bcd 000010b0: PUSH1 0xe5 000010b2: SHL 000010b3: DUP2 000010b4: MSTORE 000010b5: PUSH1 0x20 000010b7: PUSH1 0x04 000010b9: DUP3 000010ba: ADD 000010bb: MSTORE 000010bc: PUSH1 0x0b 000010be: PUSH1 0x24 000010c0: DUP3 000010c1: ADD 000010c2: MSTORE 000010c3: PUSH11 0x0726577617264206973203 000010cf: PUSH1 0xac 000010d1: SHL 000010d2: PUSH1 0x44 000010d4: DUP3 000010d5: ADD 000010d6: MSTORE 000010d7: SWAP1 000010d8: MLOAD 000010d9: SWAP1 000010da: DUP2 000010db: SWAP1 000010dc: SUB 000010dd: PUSH1 0x64 000010df: ADD 000010e0: SWAP1 000010e1: REVERT 000010e2: JUMPDEST 000010e3: DUP1 000010e4: PUSH1 0x0e 000010e6: SLOAD 000010e7: LT 000010e8: ISZERO 000010e9: PUSH2 0x1123 000010ec: JUMPI 000010ed: PUSH1 0x40 000010ef: MLOAD 000010f0: PUSH3 0x461bcd 000010f4: PUSH1 0xe5 000010f6: SHL 000010f7: DUP2 000010f8: MSTORE 000010f9: PUSH1 0x04 000010fb: ADD 000010fc: DUP1 000010fd: DUP1 000010fe: PUSH1 0x20 00001100: ADD 00001101: DUP3 00001102: DUP2 00001103: SUB 00001104: DUP3 00001105: MSTORE 00001106: PUSH1 0x23 00001108: DUP2 00001109: MSTORE 0000110a: PUSH1 0x20 0000110c: ADD 0000110d: DUP1 0000110e: PUSH2 0x2d51 00001111: PUSH1 0x23 00001113: SWAP2 00001114: CODECOPY 00001115: PUSH1 0x40 00001117: ADD 00001118: SWAP2 00001119: POP 0000111a: POP 0000111b: PUSH1 0x40 0000111d: MLOAD 0000111e: DUP1 0000111f: SWAP2 00001120: SUB 00001121: SWAP1 00001122: REVERT 00001123: JUMPDEST 00001124: PUSH1 0x0e 00001126: SLOAD 00001127: PUSH2 0x1136 0000112a: SWAP1 0000112b: DUP3 0000112c: PUSH4 0xffffffff 00001131: PUSH2 0x24f8 00001134: AND 00001135: JUMP 00001136: JUMPDEST 00001137: PUSH1 0x0e 00001139: SSTORE 0000113a: PUSH1 0x00 0000113c: DUP3 0000113d: DUP2 0000113e: MSTORE 0000113f: PUSH1 0x0b 00001141: PUSH1 0x20 00001143: SWAP1 00001144: DUP2 00001145: MSTORE 00001146: PUSH1 0x40 00001148: DUP1 00001149: DUP4 0000114a: KECCAK256 0000114b: SWAP3 0000114c: SWAP1 0000114d: SWAP3 0000114e: SSTORE 0000114f: DUP2 00001150: MLOAD 00001151: DUP4 00001152: DUP2 00001153: MSTORE 00001154: SWAP2 00001155: MLOAD 00001156: DUP5 00001157: SWAP3 00001158: PUSH32 0x11c852d8be537f120b8d4b4d5c3c211870522fd96a8bd9fa51d102774077a51b 00001179: SWAP3 0000117a: SWAP1 0000117b: DUP3 0000117c: SWAP1 0000117d: SUB 0000117e: ADD 0000117f: SWAP1 00001180: LOG2 00001181: POP 00001182: POP 00001183: JUMP 00001184: JUMPDEST 00001185: PUSH1 0x01 00001187: SLOAD 00001188: PUSH1 0x01 0000118a: PUSH1 0x01 0000118c: PUSH1 0xa0 0000118e: SHL 0000118f: SUB 00001190: AND 00001191: DUP2 00001192: JUMP 00001193: JUMPDEST 00001194: PUSH1 0x07 00001196: SLOAD 00001197: PUSH1 0x01 00001199: PUSH1 0x01 0000119b: PUSH1 0xa0 0000119d: SHL 0000119e: SUB 0000119f: AND 000011a0: CALLER 000011a1: EQ 000011a2: PUSH2 0x11e3 000011a5: JUMPI 000011a6: PUSH1 0x40 000011a8: DUP1 000011a9: MLOAD 000011aa: PUSH3 0x461bcd 000011ae: PUSH1 0xe5 000011b0: SHL 000011b1: DUP2 000011b2: MSTORE 000011b3: PUSH1 0x20 000011b5: PUSH1 0x04 000011b7: DUP3 000011b8: ADD 000011b9: MSTORE 000011ba: PUSH1 0x0e 000011bc: PUSH1 0x24 000011be: DUP3 000011bf: ADD 000011c0: MSTORE 000011c1: PUSH14 0x37b7363c903230b7a9b2ba3a32b9 000011d0: PUSH1 0x91 000011d2: SHL 000011d3: PUSH1 0x44 000011d5: DUP3 000011d6: ADD 000011d7: MSTORE 000011d8: SWAP1 000011d9: MLOAD 000011da: SWAP1 000011db: DUP2 000011dc: SWAP1 000011dd: SUB 000011de: PUSH1 0x64 000011e0: ADD 000011e1: SWAP1 000011e2: REVERT 000011e3: JUMPDEST 000011e4: PUSH1 0x01 000011e6: PUSH1 0x01 000011e8: PUSH1 0xa0 000011ea: SHL 000011eb: SUB 000011ec: DUP2 000011ed: AND 000011ee: PUSH2 0x11f6 000011f1: JUMPI 000011f2: PUSH1 0x00 000011f4: DUP1 000011f5: REVERT 000011f6: JUMPDEST 000011f7: PUSH1 0x02 000011f9: DUP1 000011fa: SLOAD 000011fb: PUSH1 0x01 000011fd: PUSH1 0x01 000011ff: PUSH1 0xa0 00001201: SHL 00001202: SUB 00001203: NOT 00001204: AND 00001205: PUSH1 0x01 00001207: PUSH1 0x01 00001209: PUSH1 0xa0 0000120b: SHL 0000120c: SUB 0000120d: DUP4 0000120e: DUP2 0000120f: AND 00001210: SWAP2 00001211: SWAP1 00001212: SWAP2 00001213: OR 00001214: SWAP2 00001215: DUP3 00001216: SWAP1 00001217: SSTORE 00001218: PUSH1 0x40 0000121a: DUP1 0000121b: MLOAD 0000121c: SWAP3 0000121d: SWAP1 0000121e: SWAP2 0000121f: AND 00001220: DUP3 00001221: MSTORE 00001222: MLOAD 00001223: PUSH32 0x6792eb8fe9de88d4eaaee7128e99aede17da98cd391520d3ec51a365804722c4 00001244: SWAP2 00001245: PUSH1 0x20 00001247: SWAP1 00001248: DUP3 00001249: SWAP1 0000124a: SUB 0000124b: ADD 0000124c: SWAP1 0000124d: LOG1 0000124e: POP 0000124f: PUSH1 0x07 00001251: DUP1 00001252: SLOAD 00001253: PUSH1 0x01 00001255: PUSH1 0x01 00001257: PUSH1 0xa0 00001259: SHL 0000125a: SUB 0000125b: NOT 0000125c: AND 0000125d: SWAP1 0000125e: SSTORE 0000125f: JUMP 00001260: JUMPDEST 00001261: PUSH1 0x0b 00001263: PUSH1 0x20 00001265: MSTORE 00001266: PUSH1 0x00 00001268: SWAP1 00001269: DUP2 0000126a: MSTORE 0000126b: PUSH1 0x40 0000126d: SWAP1 0000126e: KECCAK256 0000126f: SLOAD 00001270: DUP2 00001271: JUMP 00001272: JUMPDEST 00001273: PUSH1 0x01 00001275: SLOAD 00001276: PUSH1 0x00 00001278: SWAP1 00001279: PUSH1 0x01 0000127b: PUSH1 0xa0 0000127d: SHL 0000127e: SWAP1 0000127f: DIV 00001280: PUSH1 0xff 00001282: AND 00001283: PUSH2 0x12d3 00001286: JUMPI 00001287: PUSH1 0x40 00001289: DUP1 0000128a: MLOAD 0000128b: PUSH3 0x461bcd 0000128f: PUSH1 0xe5 00001291: SHL 00001292: DUP2 00001293: MSTORE 00001294: PUSH1 0x20 00001296: PUSH1 0x04 00001298: DUP3 00001299: ADD 0000129a: MSTORE 0000129b: PUSH1 0x1f 0000129d: PUSH1 0x24 0000129f: DUP3 000012a0: ADD 000012a1: MSTORE 000012a2: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 000012c3: PUSH1 0x44 000012c5: DUP3 000012c6: ADD 000012c7: MSTORE 000012c8: SWAP1 000012c9: MLOAD 000012ca: SWAP1 000012cb: DUP2 000012cc: SWAP1 000012cd: SUB 000012ce: PUSH1 0x64 000012d0: ADD 000012d1: SWAP1 000012d2: REVERT 000012d3: JUMPDEST 000012d4: PUSH1 0x01 000012d6: DUP1 000012d7: SLOAD 000012d8: PUSH1 0xff 000012da: PUSH1 0xa0 000012dc: SHL 000012dd: NOT 000012de: AND 000012df: DUP2 000012e0: SSTORE 000012e1: PUSH1 0x01 000012e3: PUSH1 0x01 000012e5: PUSH1 0xa0 000012e7: SHL 000012e8: SUB 000012e9: DUP4 000012ea: AND 000012eb: PUSH1 0x00 000012ed: SWAP1 000012ee: DUP2 000012ef: MSTORE 000012f0: PUSH1 0x09 000012f2: PUSH1 0x20 000012f4: MSTORE 000012f5: PUSH1 0x40 000012f7: SWAP1 000012f8: KECCAK256 000012f9: SLOAD 000012fa: GT 000012fb: PUSH2 0x133d 000012fe: JUMPI 000012ff: PUSH1 0x40 00001301: DUP1 00001302: MLOAD 00001303: PUSH3 0x461bcd 00001307: PUSH1 0xe5 00001309: SHL 0000130a: DUP2 0000130b: MSTORE 0000130c: PUSH1 0x20 0000130e: PUSH1 0x04 00001310: DUP3 00001311: ADD 00001312: MSTORE 00001313: PUSH1 0x0f 00001315: PUSH1 0x24 00001317: DUP3 00001318: ADD 00001319: MSTORE 0000131a: PUSH15 0x6e6f2066656520746f20636c61696d 0000132a: PUSH1 0x88 0000132c: SHL 0000132d: PUSH1 0x44 0000132f: DUP3 00001330: ADD 00001331: MSTORE 00001332: SWAP1 00001333: MLOAD 00001334: SWAP1 00001335: DUP2 00001336: SWAP1 00001337: SUB 00001338: PUSH1 0x64 0000133a: ADD 0000133b: SWAP1 0000133c: REVERT 0000133d: JUMPDEST 0000133e: PUSH1 0x01 00001340: PUSH1 0x01 00001342: PUSH1 0xa0 00001344: SHL 00001345: SUB 00001346: DUP3 00001347: AND 00001348: PUSH1 0x00 0000134a: SWAP1 0000134b: DUP2 0000134c: MSTORE 0000134d: PUSH1 0x09 0000134f: PUSH1 0x20 00001351: MSTORE 00001352: PUSH1 0x40 00001354: SWAP1 00001355: KECCAK256 00001356: SLOAD 00001357: PUSH2 0x1367 0000135a: SWAP1 0000135b: PUSH1 0x01 0000135d: PUSH4 0xffffffff 00001362: PUSH2 0x24f8 00001365: AND 00001366: JUMP 00001367: JUMPDEST 00001368: SWAP1 00001369: POP 0000136a: DUP1 0000136b: PUSH1 0x0e 0000136d: SLOAD 0000136e: LT 0000136f: ISZERO 00001370: PUSH2 0x1375 00001373: JUMPI 00001374: INVALID 00001375: JUMPDEST 00001376: PUSH1 0x0e 00001378: SLOAD 00001379: PUSH2 0x1388 0000137c: SWAP1 0000137d: DUP3 0000137e: PUSH4 0xffffffff 00001383: PUSH2 0x24f8 00001386: AND 00001387: JUMP 00001388: JUMPDEST 00001389: PUSH1 0x0e 0000138b: SSTORE 0000138c: PUSH1 0x01 0000138e: PUSH1 0x01 00001390: PUSH1 0xa0 00001392: SHL 00001393: SUB 00001394: DUP3 00001395: AND 00001396: PUSH1 0x00 00001398: DUP2 00001399: DUP2 0000139a: MSTORE 0000139b: PUSH1 0x09 0000139d: PUSH1 0x20 0000139f: MSTORE 000013a0: PUSH1 0x40 000013a2: DUP1 000013a3: DUP3 000013a4: KECCAK256 000013a5: PUSH1 0x01 000013a7: SWAP1 000013a8: SSTORE 000013a9: MLOAD 000013aa: SWAP1 000013ab: SWAP2 000013ac: SWAP1 000013ad: DUP4 000013ae: SWAP1 000013af: DUP4 000013b0: DUP2 000013b1: DUP2 000013b2: DUP2 000013b3: DUP6 000013b4: DUP8 000013b5: GAS 000013b6: CALL 000013b7: SWAP3 000013b8: POP 000013b9: POP 000013ba: POP 000013bb: RETURNDATASIZE 000013bc: DUP1 000013bd: PUSH1 0x00 000013bf: DUP2 000013c0: EQ 000013c1: PUSH2 0x13e6 000013c4: JUMPI 000013c5: PUSH1 0x40 000013c7: MLOAD 000013c8: SWAP2 000013c9: POP 000013ca: PUSH1 0x1f 000013cc: NOT 000013cd: PUSH1 0x3f 000013cf: RETURNDATASIZE 000013d0: ADD 000013d1: AND 000013d2: DUP3 000013d3: ADD 000013d4: PUSH1 0x40 000013d6: MSTORE 000013d7: RETURNDATASIZE 000013d8: DUP3 000013d9: MSTORE 000013da: RETURNDATASIZE 000013db: PUSH1 0x00 000013dd: PUSH1 0x20 000013df: DUP5 000013e0: ADD 000013e1: RETURNDATACOPY 000013e2: PUSH2 0x13eb 000013e5: JUMP 000013e6: JUMPDEST 000013e7: PUSH1 0x60 000013e9: SWAP2 000013ea: POP 000013eb: JUMPDEST 000013ec: POP 000013ed: POP 000013ee: SWAP1 000013ef: POP 000013f0: DUP1 000013f1: PUSH2 0x1441 000013f4: JUMPI 000013f5: PUSH1 0x40 000013f7: DUP1 000013f8: MLOAD 000013f9: PUSH3 0x461bcd 000013fd: PUSH1 0xe5 000013ff: SHL 00001400: DUP2 00001401: MSTORE 00001402: PUSH1 0x20 00001404: PUSH1 0x04 00001406: DUP3 00001407: ADD 00001408: MSTORE 00001409: PUSH1 0x1c 0000140b: PUSH1 0x24 0000140d: DUP3 0000140e: ADD 0000140f: MSTORE 00001410: PUSH32 0x706c6174666f726d20666565207472616e73666572206661696c656400000000 00001431: PUSH1 0x44 00001433: DUP3 00001434: ADD 00001435: MSTORE 00001436: SWAP1 00001437: MLOAD 00001438: SWAP1 00001439: DUP2 0000143a: SWAP1 0000143b: SUB 0000143c: PUSH1 0x64 0000143e: ADD 0000143f: SWAP1 00001440: REVERT 00001441: JUMPDEST 00001442: PUSH1 0x40 00001444: DUP1 00001445: MLOAD 00001446: DUP4 00001447: DUP2 00001448: MSTORE 00001449: SWAP1 0000144a: MLOAD 0000144b: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 00001460: SWAP2 00001461: PUSH1 0x01 00001463: PUSH1 0x01 00001465: PUSH1 0xa0 00001467: SHL 00001468: SUB 00001469: DUP7 0000146a: AND 0000146b: SWAP2 0000146c: PUSH32 0xebe3db09f5650582b4782506e0d272262129183570e55fcf8768dd6e91f8c0f6 0000148d: SWAP2 0000148e: DUP2 0000148f: SWAP1 00001490: SUB 00001491: PUSH1 0x20 00001493: ADD 00001494: SWAP1 00001495: LOG3 00001496: POP 00001497: PUSH1 0x01 00001499: DUP1 0000149a: SLOAD 0000149b: PUSH1 0xff 0000149d: PUSH1 0xa0 0000149f: SHL 000014a0: NOT 000014a1: AND 000014a2: PUSH1 0x01 000014a4: PUSH1 0xa0 000014a6: SHL 000014a7: OR 000014a8: SWAP1 000014a9: SSTORE 000014aa: SWAP2 000014ab: SWAP1 000014ac: POP 000014ad: JUMP 000014ae: JUMPDEST 000014af: PUSH1 0x00 000014b1: ORIGIN 000014b2: CALLER 000014b3: EQ 000014b4: PUSH2 0x1504 000014b7: JUMPI 000014b8: PUSH1 0x40 000014ba: DUP1 000014bb: MLOAD 000014bc: PUSH3 0x461bcd 000014c0: PUSH1 0xe5 000014c2: SHL 000014c3: DUP2 000014c4: MSTORE 000014c5: PUSH1 0x20 000014c7: PUSH1 0x04 000014c9: DUP3 000014ca: ADD 000014cb: MSTORE 000014cc: PUSH1 0x11 000014ce: PUSH1 0x24 000014d0: DUP3 000014d1: ADD 000014d2: MSTORE 000014d3: PUSH32 0x6f6e6c79206e6f6e2d636f6e7472616374000000000000000000000000000000 000014f4: PUSH1 0x44 000014f6: DUP3 000014f7: ADD 000014f8: MSTORE 000014f9: SWAP1 000014fa: MLOAD 000014fb: SWAP1 000014fc: DUP2 000014fd: SWAP1 000014fe: SUB 000014ff: PUSH1 0x64 00001501: ADD 00001502: SWAP1 00001503: REVERT 00001504: JUMPDEST 00001505: PUSH32 0x000000000000000000000000000000000000000000000000000000000000001e 00001526: PUSH1 0x05 00001528: SLOAD 00001529: ADD 0000152a: NUMBER 0000152b: GT 0000152c: PUSH2 0x157c 0000152f: JUMPI 00001530: PUSH1 0x40 00001532: DUP1 00001533: MLOAD 00001534: PUSH3 0x461bcd 00001538: PUSH1 0xe5 0000153a: SHL 0000153b: DUP2 0000153c: MSTORE 0000153d: PUSH1 0x20 0000153f: PUSH1 0x04 00001541: DUP3 00001542: ADD 00001543: MSTORE 00001544: PUSH1 0x18 00001546: PUSH1 0x24 00001548: DUP3 00001549: ADD 0000154a: MSTORE 0000154b: PUSH32 0x77616974206d6f726520626c6f636b7320746f206275726e0000000000000000 0000156c: PUSH1 0x44 0000156e: DUP3 0000156f: ADD 00001570: MSTORE 00001571: SWAP1 00001572: MLOAD 00001573: SWAP1 00001574: DUP2 00001575: SWAP1 00001576: SUB 00001577: PUSH1 0x64 00001579: ADD 0000157a: SWAP1 0000157b: REVERT 0000157c: JUMPDEST 0000157d: NUMBER 0000157e: PUSH1 0x05 00001580: SSTORE 00001581: PUSH1 0x0e 00001583: SLOAD 00001584: SELFBALANCE 00001585: SWAP1 00001586: DUP2 00001587: LT 00001588: ISZERO 00001589: PUSH2 0x158e 0000158c: JUMPI 0000158d: INVALID 0000158e: JUMPDEST 0000158f: PUSH1 0x00 00001591: PUSH2 0x15a5 00001594: PUSH1 0x0e 00001596: SLOAD 00001597: DUP4 00001598: PUSH2 0x24f8 0000159b: SWAP1 0000159c: SWAP2 0000159d: SWAP1 0000159e: PUSH4 0xffffffff 000015a3: AND 000015a4: JUMP 000015a5: JUMPDEST 000015a6: SWAP1 000015a7: POP 000015a8: PUSH1 0x08 000015aa: SLOAD 000015ab: DUP2 000015ac: GT 000015ad: PUSH2 0x15b6 000015b0: JUMPI 000015b1: DUP1 000015b2: PUSH2 0x15ba 000015b5: JUMP 000015b6: JUMPDEST 000015b7: PUSH1 0x08 000015b9: SLOAD 000015ba: JUMPDEST 000015bb: PUSH1 0x03 000015bd: SLOAD 000015be: PUSH1 0x40 000015c0: DUP1 000015c1: MLOAD 000015c2: PUSH4 0x10610daf 000015c7: PUSH1 0xe2 000015c9: SHL 000015ca: DUP2 000015cb: MSTORE 000015cc: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 000015e1: PUSH1 0x04 000015e3: DUP3 000015e4: ADD 000015e5: MSTORE 000015e6: PUSH1 0x01 000015e8: PUSH1 0x01 000015ea: PUSH1 0xa0 000015ec: SHL 000015ed: SUB 000015ee: PUSH32 0x000000000000000000000000dd974d5c2e2928dea5f71b9825b8b646686bd200 0000160f: DUP2 00001610: AND 00001611: PUSH1 0x24 00001613: DUP4 00001614: ADD 00001615: MSTORE 00001616: PUSH1 0x44 00001618: DUP3 00001619: ADD 0000161a: DUP6 0000161b: SWAP1 0000161c: MSTORE 0000161d: PUSH1 0x00 0000161f: PUSH1 0x64 00001621: DUP4 00001622: ADD 00001623: DUP2 00001624: SWAP1 00001625: MSTORE 00001626: PUSH1 0xa0 00001628: PUSH1 0x84 0000162a: DUP5 0000162b: ADD 0000162c: MSTORE 0000162d: PUSH1 0xa4 0000162f: DUP4 00001630: ADD 00001631: DUP2 00001632: SWAP1 00001633: MSTORE 00001634: SWAP3 00001635: MLOAD 00001636: SWAP5 00001637: SWAP6 00001638: POP 00001639: SWAP2 0000163a: SWAP4 0000163b: SWAP2 0000163c: SWAP1 0000163d: SWAP3 0000163e: AND 0000163f: SWAP2 00001640: PUSH4 0x418436bc 00001645: SWAP2 00001646: PUSH1 0xe4 00001648: DUP1 00001649: DUP4 0000164a: ADD 0000164b: SWAP3 0000164c: PUSH1 0x20 0000164e: SWAP3 0000164f: SWAP2 00001650: SWAP1 00001651: DUP3 00001652: SWAP1 00001653: SUB 00001654: ADD 00001655: DUP2 00001656: DUP7 00001657: DUP1 00001658: EXTCODESIZE 00001659: ISZERO 0000165a: DUP1 0000165b: ISZERO 0000165c: PUSH2 0x1664 0000165f: JUMPI 00001660: PUSH1 0x00 00001662: DUP1 00001663: REVERT 00001664: JUMPDEST 00001665: POP 00001666: GAS 00001667: STATICCALL 00001668: ISZERO 00001669: DUP1 0000166a: ISZERO 0000166b: PUSH2 0x1678 0000166e: JUMPI 0000166f: RETURNDATASIZE 00001670: PUSH1 0x00 00001672: DUP1 00001673: RETURNDATACOPY 00001674: RETURNDATASIZE 00001675: PUSH1 0x00 00001677: REVERT 00001678: JUMPDEST 00001679: POP 0000167a: POP 0000167b: POP 0000167c: POP 0000167d: PUSH1 0x40 0000167f: MLOAD 00001680: RETURNDATASIZE 00001681: PUSH1 0x20 00001683: DUP2 00001684: LT 00001685: ISZERO 00001686: PUSH2 0x168e 00001689: JUMPI 0000168a: PUSH1 0x00 0000168c: DUP1 0000168d: REVERT 0000168e: JUMPDEST 0000168f: POP 00001690: MLOAD 00001691: SWAP1 00001692: POP 00001693: PUSH2 0x169b 00001696: DUP2 00001697: PUSH2 0x253a 0000169a: JUMP 0000169b: JUMPDEST 0000169c: PUSH1 0x03 0000169e: SLOAD 0000169f: PUSH1 0x40 000016a1: DUP1 000016a2: MLOAD 000016a3: PUSH4 0x3d15022b 000016a8: PUSH1 0xe1 000016aa: SHL 000016ab: DUP2 000016ac: MSTORE 000016ad: PUSH1 0x01 000016af: PUSH1 0x01 000016b1: PUSH1 0xa0 000016b3: SHL 000016b4: SUB 000016b5: PUSH32 0x000000000000000000000000dd974d5c2e2928dea5f71b9825b8b646686bd200 000016d6: DUP2 000016d7: AND 000016d8: PUSH1 0x04 000016da: DUP4 000016db: ADD 000016dc: MSTORE 000016dd: PUSH1 0x24 000016df: DUP3 000016e0: ADD 000016e1: DUP6 000016e2: SWAP1 000016e3: MSTORE 000016e4: SWAP2 000016e5: MLOAD 000016e6: SWAP2 000016e7: SWAP1 000016e8: SWAP3 000016e9: AND 000016ea: SWAP2 000016eb: PUSH4 0x7a2a0456 000016f0: SWAP2 000016f1: DUP6 000016f2: SWAP2 000016f3: PUSH1 0x44 000016f5: DUP1 000016f6: DUP3 000016f7: ADD 000016f8: SWAP3 000016f9: PUSH1 0x20 000016fb: SWAP3 000016fc: SWAP1 000016fd: SWAP2 000016fe: SWAP1 000016ff: DUP3 00001700: SWAP1 00001701: SUB 00001702: ADD 00001703: DUP2 00001704: DUP6 00001705: DUP9 00001706: DUP1 00001707: EXTCODESIZE 00001708: ISZERO 00001709: DUP1 0000170a: ISZERO 0000170b: PUSH2 0x1713 0000170e: JUMPI 0000170f: PUSH1 0x00 00001711: DUP1 00001712: REVERT 00001713: JUMPDEST 00001714: POP 00001715: GAS 00001716: CALL 00001717: ISZERO 00001718: DUP1 00001719: ISZERO 0000171a: PUSH2 0x1727 0000171d: JUMPI 0000171e: RETURNDATASIZE 0000171f: PUSH1 0x00 00001721: DUP1 00001722: RETURNDATACOPY 00001723: RETURNDATASIZE 00001724: PUSH1 0x00 00001726: REVERT 00001727: JUMPDEST 00001728: POP 00001729: POP 0000172a: POP 0000172b: POP 0000172c: POP 0000172d: PUSH1 0x40 0000172f: MLOAD 00001730: RETURNDATASIZE 00001731: PUSH1 0x20 00001733: DUP2 00001734: LT 00001735: ISZERO 00001736: PUSH2 0x173e 00001739: JUMPI 0000173a: PUSH1 0x00 0000173c: DUP1 0000173d: REVERT 0000173e: JUMPDEST 0000173f: POP 00001740: MLOAD 00001741: PUSH1 0x40 00001743: DUP1 00001744: MLOAD 00001745: PUSH4 0x0852cd8d 0000174a: PUSH1 0xe3 0000174c: SHL 0000174d: DUP2 0000174e: MSTORE 0000174f: PUSH1 0x04 00001751: DUP2 00001752: ADD 00001753: DUP4 00001754: SWAP1 00001755: MSTORE 00001756: SWAP1 00001757: MLOAD 00001758: SWAP2 00001759: SWAP6 0000175a: POP 0000175b: PUSH1 0x01 0000175d: PUSH1 0x01 0000175f: PUSH1 0xa0 00001761: SHL 00001762: SUB 00001763: PUSH32 0x000000000000000000000000dd974d5c2e2928dea5f71b9825b8b646686bd200 00001784: AND 00001785: SWAP2 00001786: PUSH4 0x42966c68 0000178b: SWAP2 0000178c: PUSH1 0x24 0000178e: DUP1 0000178f: DUP3 00001790: ADD 00001791: SWAP3 00001792: PUSH1 0x20 00001794: SWAP3 00001795: SWAP1 00001796: SWAP2 00001797: SWAP1 00001798: DUP3 00001799: SWAP1 0000179a: SUB 0000179b: ADD 0000179c: DUP2 0000179d: PUSH1 0x00 0000179f: DUP8 000017a0: DUP1 000017a1: EXTCODESIZE 000017a2: ISZERO 000017a3: DUP1 000017a4: ISZERO 000017a5: PUSH2 0x17ad 000017a8: JUMPI 000017a9: PUSH1 0x00 000017ab: DUP1 000017ac: REVERT 000017ad: JUMPDEST 000017ae: POP 000017af: GAS 000017b0: CALL 000017b1: ISZERO 000017b2: DUP1 000017b3: ISZERO 000017b4: PUSH2 0x17c1 000017b7: JUMPI 000017b8: RETURNDATASIZE 000017b9: PUSH1 0x00 000017bb: DUP1 000017bc: RETURNDATACOPY 000017bd: RETURNDATASIZE 000017be: PUSH1 0x00 000017c0: REVERT 000017c1: JUMPDEST 000017c2: POP 000017c3: POP 000017c4: POP 000017c5: POP 000017c6: PUSH1 0x40 000017c8: MLOAD 000017c9: RETURNDATASIZE 000017ca: PUSH1 0x20 000017cc: DUP2 000017cd: LT 000017ce: ISZERO 000017cf: PUSH2 0x17d7 000017d2: JUMPI 000017d3: PUSH1 0x00 000017d5: DUP1 000017d6: REVERT 000017d7: JUMPDEST 000017d8: POP 000017d9: MLOAD 000017da: PUSH2 0x181c 000017dd: JUMPI 000017de: PUSH1 0x40 000017e0: DUP1 000017e1: MLOAD 000017e2: PUSH3 0x461bcd 000017e6: PUSH1 0xe5 000017e8: SHL 000017e9: DUP2 000017ea: MSTORE 000017eb: PUSH1 0x20 000017ed: PUSH1 0x04 000017ef: DUP3 000017f0: ADD 000017f1: MSTORE 000017f2: PUSH1 0x0f 000017f4: PUSH1 0x24 000017f6: DUP3 000017f7: ADD 000017f8: MSTORE 000017f9: PUSH15 0x1adb98c8189d5c9b8819985a5b1959 00001809: PUSH1 0x8a 0000180b: SHL 0000180c: PUSH1 0x44 0000180e: DUP3 0000180f: ADD 00001810: MSTORE 00001811: SWAP1 00001812: MLOAD 00001813: SWAP1 00001814: DUP2 00001815: SWAP1 00001816: SUB 00001817: PUSH1 0x64 00001819: ADD 0000181a: SWAP1 0000181b: REVERT 0000181c: JUMPDEST 0000181d: PUSH1 0x40 0000181f: DUP1 00001820: MLOAD 00001821: DUP6 00001822: DUP2 00001823: MSTORE 00001824: PUSH1 0x20 00001826: DUP2 00001827: ADD 00001828: DUP5 00001829: SWAP1 0000182a: MSTORE 0000182b: DUP2 0000182c: MLOAD 0000182d: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 00001842: SWAP3 00001843: PUSH32 0xa0fcef56e2b45fcbeb91d5e629ef6b2b6e982d0768f02d1232610315cd23ea10 00001864: SWAP3 00001865: DUP3 00001866: SWAP1 00001867: SUB 00001868: ADD 00001869: SWAP1 0000186a: LOG2 0000186b: POP 0000186c: POP 0000186d: POP 0000186e: JUMPDEST 0000186f: SWAP1 00001870: JUMP 00001871: JUMPDEST 00001872: PUSH1 0x0f 00001874: SLOAD 00001875: PUSH1 0x00 00001877: SWAP1 00001878: ISZERO 00001879: DUP1 0000187a: ISZERO 0000187b: SWAP1 0000187c: PUSH2 0x18b1 0000187f: JUMPI 00001880: POP 00001881: PUSH1 0x00 00001883: PUSH1 0x01 00001885: PUSH1 0x01 00001887: PUSH1 0xa0 00001889: SHL 0000188a: SUB 0000188b: AND 0000188c: PUSH1 0x0f 0000188e: PUSH1 0x00 00001890: DUP2 00001891: SLOAD 00001892: DUP2 00001893: LT 00001894: PUSH2 0x1899 00001897: JUMPI 00001898: INVALID 00001899: JUMPDEST 0000189a: PUSH1 0x00 0000189c: SWAP2 0000189d: DUP3 0000189e: MSTORE 0000189f: PUSH1 0x20 000018a1: SWAP1 000018a2: SWAP2 000018a3: KECCAK256 000018a4: ADD 000018a5: SLOAD 000018a6: PUSH1 0x01 000018a8: PUSH1 0x01 000018aa: PUSH1 0xa0 000018ac: SHL 000018ad: SUB 000018ae: AND 000018af: EQ 000018b0: ISZERO 000018b1: JUMPDEST 000018b2: ISZERO 000018b3: PUSH2 0x1940 000018b6: JUMPI 000018b7: PUSH1 0x0f 000018b9: PUSH1 0x00 000018bb: DUP2 000018bc: SLOAD 000018bd: DUP2 000018be: LT 000018bf: PUSH2 0x18c4 000018c2: JUMPI 000018c3: INVALID 000018c4: JUMPDEST 000018c5: PUSH1 0x00 000018c7: SWAP2 000018c8: DUP3 000018c9: MSTORE 000018ca: PUSH1 0x20 000018cc: SWAP2 000018cd: DUP3 000018ce: SWAP1 000018cf: KECCAK256 000018d0: ADD 000018d1: SLOAD 000018d2: PUSH1 0x40 000018d4: DUP1 000018d5: MLOAD 000018d6: PUSH4 0x50d25bcd 000018db: PUSH1 0xe0 000018dd: SHL 000018de: DUP2 000018df: MSTORE 000018e0: SWAP1 000018e1: MLOAD 000018e2: PUSH1 0x01 000018e4: PUSH1 0x01 000018e6: PUSH1 0xa0 000018e8: SHL 000018e9: SUB 000018ea: SWAP1 000018eb: SWAP3 000018ec: AND 000018ed: SWAP3 000018ee: PUSH4 0x50d25bcd 000018f3: SWAP3 000018f4: PUSH1 0x04 000018f6: DUP1 000018f7: DUP5 000018f8: ADD 000018f9: SWAP4 000018fa: DUP3 000018fb: SWAP1 000018fc: SUB 000018fd: ADD 000018fe: DUP2 000018ff: DUP7 00001900: DUP1 00001901: EXTCODESIZE 00001902: ISZERO 00001903: DUP1 00001904: ISZERO 00001905: PUSH2 0x190d 00001908: JUMPI 00001909: PUSH1 0x00 0000190b: DUP1 0000190c: REVERT 0000190d: JUMPDEST 0000190e: POP 0000190f: GAS 00001910: STATICCALL 00001911: ISZERO 00001912: DUP1 00001913: ISZERO 00001914: PUSH2 0x1921 00001917: JUMPI 00001918: RETURNDATASIZE 00001919: PUSH1 0x00 0000191b: DUP1 0000191c: RETURNDATACOPY 0000191d: RETURNDATASIZE 0000191e: PUSH1 0x00 00001920: REVERT 00001921: JUMPDEST 00001922: POP 00001923: POP 00001924: POP 00001925: POP 00001926: PUSH1 0x40 00001928: MLOAD 00001929: RETURNDATASIZE 0000192a: PUSH1 0x20 0000192c: DUP2 0000192d: LT 0000192e: ISZERO 0000192f: PUSH2 0x1937 00001932: JUMPI 00001933: PUSH1 0x00 00001935: DUP1 00001936: REVERT 00001937: JUMPDEST 00001938: POP 00001939: MLOAD 0000193a: SWAP1 0000193b: POP 0000193c: PUSH2 0x186e 0000193f: JUMP 00001940: JUMPDEST 00001941: POP 00001942: PUSH1 0x00 00001944: SWAP1 00001945: JUMP 00001946: JUMPDEST 00001947: PUSH1 0x00 00001949: DUP1 0000194a: PUSH1 0x00 0000194c: DUP1 0000194d: PUSH2 0x1954 00001950: PUSH2 0x0f1b 00001953: JUMP 00001954: JUMPDEST 00001955: SWAP3 00001956: SWAP7 00001957: POP 00001958: SWAP1 00001959: SWAP5 0000195a: POP 0000195b: SWAP1 0000195c: SWAP3 0000195d: POP 0000195e: SWAP1 0000195f: POP 00001960: TIMESTAMP 00001961: DUP2 00001962: LT 00001963: DUP1 00001964: ISZERO 00001965: PUSH2 0x1978 00001968: JUMPI 00001969: POP 0000196a: PUSH1 0x02 0000196c: SLOAD 0000196d: PUSH1 0x01 0000196f: PUSH1 0x01 00001971: PUSH1 0xa0 00001973: SHL 00001974: SUB 00001975: AND 00001976: ISZERO 00001977: ISZERO 00001978: JUMPDEST 00001979: ISZERO 0000197a: PUSH2 0x1ad0 0000197d: JUMPI 0000197e: PUSH1 0x02 00001980: SLOAD 00001981: PUSH1 0x40 00001983: DUP1 00001984: MLOAD 00001985: PUSH4 0x6695c981 0000198a: PUSH1 0xe0 0000198c: SHL 0000198d: DUP2 0000198e: MSTORE 0000198f: SWAP1 00001990: MLOAD 00001991: PUSH1 0x00 00001993: SWAP3 00001994: PUSH1 0x01 00001996: PUSH1 0x01 00001998: PUSH1 0xa0 0000199a: SHL 0000199b: SUB 0000199c: AND 0000199d: SWAP2 0000199e: PUSH4 0x6695c981 000019a3: SWAP2 000019a4: PUSH1 0x04 000019a6: DUP1 000019a7: DUP4 000019a8: ADD 000019a9: SWAP3 000019aa: PUSH1 0xa0 000019ac: SWAP3 000019ad: SWAP2 000019ae: SWAP1 000019af: DUP3 000019b0: SWAP1 000019b1: SUB 000019b2: ADD 000019b3: DUP2 000019b4: DUP8 000019b5: DUP8 000019b6: DUP1 000019b7: EXTCODESIZE 000019b8: ISZERO 000019b9: DUP1 000019ba: ISZERO 000019bb: PUSH2 0x19c3 000019be: JUMPI 000019bf: PUSH1 0x00 000019c1: DUP1 000019c2: REVERT 000019c3: JUMPDEST 000019c4: POP 000019c5: GAS 000019c6: CALL 000019c7: ISZERO 000019c8: DUP1 000019c9: ISZERO 000019ca: PUSH2 0x19d7 000019cd: JUMPI 000019ce: RETURNDATASIZE 000019cf: PUSH1 0x00 000019d1: DUP1 000019d2: RETURNDATACOPY 000019d3: RETURNDATASIZE 000019d4: PUSH1 0x00 000019d6: REVERT 000019d7: JUMPDEST 000019d8: POP 000019d9: POP 000019da: POP 000019db: POP 000019dc: PUSH1 0x40 000019de: MLOAD 000019df: RETURNDATASIZE 000019e0: PUSH1 0xa0 000019e2: DUP2 000019e3: LT 000019e4: ISZERO 000019e5: PUSH2 0x19ed 000019e8: JUMPI 000019e9: PUSH1 0x00 000019eb: DUP1 000019ec: REVERT 000019ed: JUMPDEST 000019ee: POP 000019ef: DUP1 000019f0: MLOAD 000019f1: PUSH1 0x20 000019f3: DUP3 000019f4: ADD 000019f5: MLOAD 000019f6: PUSH1 0x40 000019f8: DUP4 000019f9: ADD 000019fa: MLOAD 000019fb: PUSH1 0x60 000019fd: DUP5 000019fe: ADD 000019ff: MLOAD 00001a00: PUSH1 0x80 00001a02: SWAP1 00001a03: SWAP5 00001a04: ADD 00001a05: MLOAD 00001a06: SWAP2 00001a07: SWAP9 00001a08: POP 00001a09: SWAP7 00001a0a: POP 00001a0b: SWAP2 00001a0c: SWAP5 00001a0d: POP 00001a0e: SWAP1 00001a0f: SWAP3 00001a10: POP 00001a11: SWAP1 00001a12: POP 00001a13: PUSH2 0x2710 00001a16: PUSH2 0x1a35 00001a19: DUP6 00001a1a: PUSH2 0x1a29 00001a1d: DUP5 00001a1e: DUP10 00001a1f: PUSH4 0xffffffff 00001a24: PUSH2 0x249e 00001a27: AND 00001a28: JUMP 00001a29: JUMPDEST 00001a2a: SWAP1 00001a2b: PUSH4 0xffffffff 00001a30: PUSH2 0x249e 00001a33: AND 00001a34: JUMP 00001a35: JUMPDEST 00001a36: EQ 00001a37: PUSH2 0x1a78 00001a3a: JUMPI 00001a3b: PUSH1 0x40 00001a3d: DUP1 00001a3e: MLOAD 00001a3f: PUSH3 0x461bcd 00001a43: PUSH1 0xe5 00001a45: SHL 00001a46: DUP2 00001a47: MSTORE 00001a48: PUSH1 0x20 00001a4a: PUSH1 0x04 00001a4c: DUP3 00001a4d: ADD 00001a4e: MSTORE 00001a4f: PUSH1 0x0e 00001a51: PUSH1 0x24 00001a53: DUP3 00001a54: ADD 00001a55: MSTORE 00001a56: PUSH14 0x426164204252522076616c756573 00001a65: PUSH1 0x90 00001a67: SHL 00001a68: PUSH1 0x44 00001a6a: DUP3 00001a6b: ADD 00001a6c: MSTORE 00001a6d: SWAP1 00001a6e: MLOAD 00001a6f: SWAP1 00001a70: DUP2 00001a71: SWAP1 00001a72: SUB 00001a73: PUSH1 0x64 00001a75: ADD 00001a76: SWAP1 00001a77: REVERT 00001a78: JUMPDEST 00001a79: PUSH1 0x40 00001a7b: DUP1 00001a7c: MLOAD 00001a7d: DUP7 00001a7e: DUP2 00001a7f: MSTORE 00001a80: PUSH1 0x20 00001a82: DUP2 00001a83: ADD 00001a84: DUP7 00001a85: SWAP1 00001a86: MSTORE 00001a87: DUP1 00001a88: DUP3 00001a89: ADD 00001a8a: DUP4 00001a8b: SWAP1 00001a8c: MSTORE 00001a8d: PUSH1 0x60 00001a8f: DUP2 00001a90: ADD 00001a91: DUP5 00001a92: SWAP1 00001a93: MSTORE 00001a94: SWAP1 00001a95: MLOAD 00001a96: DUP5 00001a97: SWAP2 00001a98: PUSH32 0x4b3150a36b957ed95a132721c7412af319174861da7c8c7a55ef6e1a2794528d 00001ab9: SWAP2 00001aba: SWAP1 00001abb: DUP2 00001abc: SWAP1 00001abd: SUB 00001abe: PUSH1 0x80 00001ac0: ADD 00001ac1: SWAP1 00001ac2: LOG2 00001ac3: PUSH2 0x1ace 00001ac6: DUP6 00001ac7: DUP6 00001ac8: DUP5 00001ac9: DUP7 00001aca: PUSH2 0x2872 00001acd: JUMP 00001ace: JUMPDEST 00001acf: POP 00001ad0: JUMPDEST 00001ad1: POP 00001ad2: SWAP1 00001ad3: SWAP2 00001ad4: SWAP3 00001ad5: JUMP 00001ad6: JUMPDEST 00001ad7: PUSH32 0x000000000000000000000000000000000000000000000000000000000000001e 00001af8: DUP2 00001af9: JUMP 00001afa: JUMPDEST 00001afb: PUSH1 0x07 00001afd: SLOAD 00001afe: PUSH1 0x01 00001b00: PUSH1 0x01 00001b02: PUSH1 0xa0 00001b04: SHL 00001b05: SUB 00001b06: AND 00001b07: DUP2 00001b08: JUMP 00001b09: JUMPDEST 00001b0a: PUSH1 0x04 00001b0c: SLOAD 00001b0d: PUSH1 0x01 00001b0f: PUSH1 0x01 00001b11: PUSH1 0xa0 00001b13: SHL 00001b14: SUB 00001b15: AND 00001b16: DUP2 00001b17: JUMP 00001b18: JUMPDEST 00001b19: PUSH1 0x04 00001b1b: SLOAD 00001b1c: PUSH1 0x01 00001b1e: PUSH1 0x01 00001b20: PUSH1 0xa0 00001b22: SHL 00001b23: SUB 00001b24: AND 00001b25: CALLER 00001b26: EQ 00001b27: PUSH2 0x1b77 00001b2a: JUMPI 00001b2b: PUSH1 0x40 00001b2d: DUP1 00001b2e: MLOAD 00001b2f: PUSH3 0x461bcd 00001b33: PUSH1 0xe5 00001b35: SHL 00001b36: DUP2 00001b37: MSTORE 00001b38: PUSH1 0x20 00001b3a: PUSH1 0x04 00001b3c: DUP3 00001b3d: ADD 00001b3e: MSTORE 00001b3f: PUSH1 0x11 00001b41: PUSH1 0x24 00001b43: DUP3 00001b44: ADD 00001b45: MSTORE 00001b46: PUSH32 0x6f6e6c79206b796265724e6574776f726b000000000000000000000000000000 00001b67: PUSH1 0x44 00001b69: DUP3 00001b6a: ADD 00001b6b: MSTORE 00001b6c: SWAP1 00001b6d: MLOAD 00001b6e: SWAP1 00001b6f: DUP2 00001b70: SWAP1 00001b71: SUB 00001b72: PUSH1 0x64 00001b74: ADD 00001b75: SWAP1 00001b76: REVERT 00001b77: JUMPDEST 00001b78: PUSH1 0x01 00001b7a: SLOAD 00001b7b: PUSH1 0x01 00001b7d: PUSH1 0xa0 00001b7f: SHL 00001b80: SWAP1 00001b81: DIV 00001b82: PUSH1 0xff 00001b84: AND 00001b85: PUSH2 0x1bd5 00001b88: JUMPI 00001b89: PUSH1 0x40 00001b8b: DUP1 00001b8c: MLOAD 00001b8d: PUSH3 0x461bcd 00001b91: PUSH1 0xe5 00001b93: SHL 00001b94: DUP2 00001b95: MSTORE 00001b96: PUSH1 0x20 00001b98: PUSH1 0x04 00001b9a: DUP3 00001b9b: ADD 00001b9c: MSTORE 00001b9d: PUSH1 0x1f 00001b9f: PUSH1 0x24 00001ba1: DUP3 00001ba2: ADD 00001ba3: MSTORE 00001ba4: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 00001bc5: PUSH1 0x44 00001bc7: DUP3 00001bc8: ADD 00001bc9: MSTORE 00001bca: SWAP1 00001bcb: MLOAD 00001bcc: SWAP1 00001bcd: DUP2 00001bce: SWAP1 00001bcf: SUB 00001bd0: PUSH1 0x64 00001bd2: ADD 00001bd3: SWAP1 00001bd4: REVERT 00001bd5: JUMPDEST 00001bd6: PUSH1 0x01 00001bd8: DUP1 00001bd9: SLOAD 00001bda: PUSH1 0xff 00001bdc: PUSH1 0xa0 00001bde: SHL 00001bdf: NOT 00001be0: AND 00001be1: SWAP1 00001be2: SSTORE 00001be3: PUSH1 0x01 00001be5: PUSH1 0x01 00001be7: PUSH1 0xa0 00001be9: SHL 00001bea: SUB 00001beb: DUP9 00001bec: AND 00001bed: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 00001c02: EQ 00001c03: PUSH2 0x1c43 00001c06: JUMPI 00001c07: PUSH1 0x40 00001c09: DUP1 00001c0a: MLOAD 00001c0b: PUSH3 0x461bcd 00001c0f: PUSH1 0xe5 00001c11: SHL 00001c12: DUP2 00001c13: MSTORE 00001c14: PUSH1 0x20 00001c16: PUSH1 0x04 00001c18: DUP3 00001c19: ADD 00001c1a: MSTORE 00001c1b: PUSH1 0x0d 00001c1d: PUSH1 0x24 00001c1f: DUP3 00001c20: ADD 00001c21: MSTORE 00001c22: PUSH13 0x0e8ded6cadc40dcdee840cae8d 00001c30: PUSH1 0x9b 00001c32: SHL 00001c33: PUSH1 0x44 00001c35: DUP3 00001c36: ADD 00001c37: MSTORE 00001c38: SWAP1 00001c39: MLOAD 00001c3a: SWAP1 00001c3b: DUP2 00001c3c: SWAP1 00001c3d: SUB 00001c3e: PUSH1 0x64 00001c40: ADD 00001c41: SWAP1 00001c42: REVERT 00001c43: JUMPDEST 00001c44: PUSH2 0x1c53 00001c47: DUP3 00001c48: DUP3 00001c49: PUSH4 0xffffffff 00001c4e: PUSH2 0x249e 00001c51: AND 00001c52: JUMP 00001c53: JUMPDEST 00001c54: CALLVALUE 00001c55: EQ 00001c56: PUSH2 0x1c90 00001c59: JUMPI 00001c5a: PUSH1 0x40 00001c5c: MLOAD 00001c5d: PUSH3 0x461bcd 00001c61: PUSH1 0xe5 00001c63: SHL 00001c64: DUP2 00001c65: MSTORE 00001c66: PUSH1 0x04 00001c68: ADD 00001c69: DUP1 00001c6a: DUP1 00001c6b: PUSH1 0x20 00001c6d: ADD 00001c6e: DUP3 00001c6f: DUP2 00001c70: SUB 00001c71: DUP3 00001c72: MSTORE 00001c73: PUSH1 0x21 00001c75: DUP2 00001c76: MSTORE 00001c77: PUSH1 0x20 00001c79: ADD 00001c7a: DUP1 00001c7b: PUSH2 0x2d0f 00001c7e: PUSH1 0x21 00001c80: SWAP2 00001c81: CODECOPY 00001c82: PUSH1 0x40 00001c84: ADD 00001c85: SWAP2 00001c86: POP 00001c87: POP 00001c88: PUSH1 0x40 00001c8a: MLOAD 00001c8b: DUP1 00001c8c: SWAP2 00001c8d: SUB 00001c8e: SWAP1 00001c8f: REVERT 00001c90: JUMPDEST 00001c91: PUSH1 0x01 00001c93: PUSH1 0x01 00001c95: PUSH1 0xa0 00001c97: SHL 00001c98: SUB 00001c99: DUP4 00001c9a: AND 00001c9b: PUSH1 0x00 00001c9d: SWAP1 00001c9e: DUP2 00001c9f: MSTORE 00001ca0: PUSH1 0x09 00001ca2: PUSH1 0x20 00001ca4: MSTORE 00001ca5: PUSH1 0x40 00001ca7: SWAP1 00001ca8: KECCAK256 00001ca9: SLOAD 00001caa: PUSH2 0x1cb9 00001cad: SWAP1 00001cae: DUP4 00001caf: PUSH4 0xffffffff 00001cb4: PUSH2 0x249e 00001cb7: AND 00001cb8: JUMP 00001cb9: JUMPDEST 00001cba: PUSH1 0x01 00001cbc: PUSH1 0x01 00001cbe: PUSH1 0xa0 00001cc0: SHL 00001cc1: SUB 00001cc2: DUP5 00001cc3: AND 00001cc4: PUSH1 0x00 00001cc6: SWAP1 00001cc7: DUP2 00001cc8: MSTORE 00001cc9: PUSH1 0x09 00001ccb: PUSH1 0x20 00001ccd: MSTORE 00001cce: PUSH1 0x40 00001cd0: SWAP1 00001cd1: KECCAK256 00001cd2: SSTORE 00001cd3: DUP1 00001cd4: PUSH2 0x1dd2 00001cd7: JUMPI 00001cd8: PUSH1 0x0e 00001cda: SLOAD 00001cdb: PUSH2 0x1cea 00001cde: SWAP1 00001cdf: DUP4 00001ce0: PUSH4 0xffffffff 00001ce5: PUSH2 0x249e 00001ce8: AND 00001ce9: JUMP 00001cea: JUMPDEST 00001ceb: PUSH1 0x0e 00001ced: DUP2 00001cee: SWAP1 00001cef: SSTORE 00001cf0: POP 00001cf1: DUP3 00001cf2: PUSH1 0x01 00001cf4: PUSH1 0x01 00001cf6: PUSH1 0xa0 00001cf8: SHL 00001cf9: SUB 00001cfa: AND 00001cfb: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 00001d10: PUSH1 0x01 00001d12: PUSH1 0x01 00001d14: PUSH1 0xa0 00001d16: SHL 00001d17: SUB 00001d18: AND 00001d19: PUSH32 0x53e2e1b5ab64e0a76fcc6a932558eba265d4e58c512401a7d776ae0f8fc08994 00001d3a: DUP5 00001d3b: PUSH1 0x00 00001d3d: DUP1 00001d3e: DUP13 00001d3f: DUP13 00001d40: DUP13 00001d41: DUP13 00001d42: PUSH1 0x00 00001d44: PUSH1 0x40 00001d46: MLOAD 00001d47: DUP1 00001d48: DUP10 00001d49: DUP2 00001d4a: MSTORE 00001d4b: PUSH1 0x20 00001d4d: ADD 00001d4e: DUP9 00001d4f: DUP2 00001d50: MSTORE 00001d51: PUSH1 0x20 00001d53: ADD 00001d54: DUP8 00001d55: DUP2 00001d56: MSTORE 00001d57: PUSH1 0x20 00001d59: ADD 00001d5a: DUP1 00001d5b: PUSH1 0x20 00001d5d: ADD 00001d5e: DUP1 00001d5f: PUSH1 0x20 00001d61: ADD 00001d62: DUP5 00001d63: DUP2 00001d64: MSTORE 00001d65: PUSH1 0x20 00001d67: ADD 00001d68: DUP4 00001d69: DUP2 00001d6a: SUB 00001d6b: DUP4 00001d6c: MSTORE 00001d6d: DUP9 00001d6e: DUP9 00001d6f: DUP3 00001d70: DUP2 00001d71: DUP2 00001d72: MSTORE 00001d73: PUSH1 0x20 00001d75: ADD 00001d76: SWAP3 00001d77: POP 00001d78: PUSH1 0x20 00001d7a: MUL 00001d7b: DUP1 00001d7c: DUP3 00001d7d: DUP5 00001d7e: CALLDATACOPY 00001d7f: PUSH1 0x00 00001d81: DUP4 00001d82: DUP3 00001d83: ADD 00001d84: MSTORE 00001d85: PUSH1 0x1f 00001d87: ADD 00001d88: PUSH1 0x1f 00001d8a: NOT 00001d8b: AND 00001d8c: SWAP1 00001d8d: SWAP2 00001d8e: ADD 00001d8f: DUP5 00001d90: DUP2 00001d91: SUB 00001d92: DUP4 00001d93: MSTORE 00001d94: DUP7 00001d95: DUP2 00001d96: MSTORE 00001d97: PUSH1 0x20 00001d99: SWAP1 00001d9a: DUP2 00001d9b: ADD 00001d9c: SWAP2 00001d9d: POP 00001d9e: DUP8 00001d9f: SWAP1 00001da0: DUP8 00001da1: MUL 00001da2: DUP1 00001da3: DUP3 00001da4: DUP5 00001da5: CALLDATACOPY 00001da6: PUSH1 0x00 00001da8: DUP4 00001da9: DUP3 00001daa: ADD 00001dab: MSTORE 00001dac: PUSH1 0x40 00001dae: MLOAD 00001daf: PUSH1 0x1f 00001db1: SWAP1 00001db2: SWAP2 00001db3: ADD 00001db4: PUSH1 0x1f 00001db6: NOT 00001db7: AND 00001db8: SWAP1 00001db9: SWAP3 00001dba: ADD 00001dbb: DUP3 00001dbc: SWAP1 00001dbd: SUB 00001dbe: SWAP13 00001dbf: POP 00001dc0: SWAP1 00001dc1: SWAP11 00001dc2: POP 00001dc3: POP 00001dc4: POP 00001dc5: POP 00001dc6: POP 00001dc7: POP 00001dc8: POP 00001dc9: POP 00001dca: POP 00001dcb: POP 00001dcc: POP 00001dcd: LOG3 00001dce: PUSH2 0x1ffd 00001dd1: JUMP 00001dd2: JUMPDEST 00001dd3: PUSH2 0x1dda 00001dd6: PUSH2 0x2cc2 00001dd9: JUMP 00001dda: JUMPDEST 00001ddb: PUSH1 0x00 00001ddd: PUSH2 0x1de5 00001de0: DUP4 00001de1: PUSH2 0x299c 00001de4: JUMP 00001de5: JUMPDEST 00001de6: PUSH1 0x20 00001de8: DUP1 00001de9: DUP7 00001dea: ADD 00001deb: DUP4 00001dec: SWAP1 00001ded: MSTORE 00001dee: SWAP3 00001def: DUP6 00001df0: MSTORE 00001df1: PUSH1 0x40 00001df3: DUP1 00001df4: MLOAD 00001df5: DUP13 00001df6: DUP6 00001df7: MUL 00001df8: DUP2 00001df9: DUP2 00001dfa: ADD 00001dfb: DUP7 00001dfc: ADD 00001dfd: SWAP1 00001dfe: SWAP3 00001dff: MSTORE 00001e00: DUP13 00001e01: DUP2 00001e02: MSTORE 00001e03: SWAP2 00001e04: SWAP5 00001e05: POP 00001e06: PUSH2 0x1e5c 00001e09: SWAP4 00001e0a: DUP14 00001e0b: SWAP2 00001e0c: DUP14 00001e0d: SWAP2 00001e0e: DUP3 00001e0f: SWAP2 00001e10: SWAP1 00001e11: DUP6 00001e12: ADD 00001e13: SWAP1 00001e14: DUP5 00001e15: SWAP1 00001e16: DUP1 00001e17: DUP3 00001e18: DUP5 00001e19: CALLDATACOPY 00001e1a: PUSH1 0x00 00001e1c: SWAP3 00001e1d: ADD 00001e1e: SWAP2 00001e1f: SWAP1 00001e20: SWAP2 00001e21: MSTORE 00001e22: POP 00001e23: POP 00001e24: PUSH1 0x40 00001e26: DUP1 00001e27: MLOAD 00001e28: PUSH1 0x20 00001e2a: DUP1 00001e2b: DUP15 00001e2c: MUL 00001e2d: DUP3 00001e2e: DUP2 00001e2f: ADD 00001e30: DUP3 00001e31: ADD 00001e32: SWAP1 00001e33: SWAP4 00001e34: MSTORE 00001e35: DUP14 00001e36: DUP3 00001e37: MSTORE 00001e38: SWAP1 00001e39: SWAP4 00001e3a: POP 00001e3b: DUP14 00001e3c: SWAP3 00001e3d: POP 00001e3e: DUP13 00001e3f: SWAP2 00001e40: DUP3 00001e41: SWAP2 00001e42: DUP6 00001e43: ADD 00001e44: SWAP1 00001e45: DUP5 00001e46: SWAP1 00001e47: DUP1 00001e48: DUP3 00001e49: DUP5 00001e4a: CALLDATACOPY 00001e4b: PUSH1 0x00 00001e4d: SWAP3 00001e4e: ADD 00001e4f: SWAP2 00001e50: SWAP1 00001e51: SWAP2 00001e52: MSTORE 00001e53: POP 00001e54: PUSH2 0x29ec 00001e57: SWAP3 00001e58: POP 00001e59: POP 00001e5a: POP 00001e5b: JUMP 00001e5c: JUMPDEST 00001e5d: PUSH1 0x40 00001e5f: DUP4 00001e60: ADD 00001e61: DUP2 00001e62: SWAP1 00001e63: MSTORE 00001e64: PUSH1 0x20 00001e66: DUP4 00001e67: ADD 00001e68: MLOAD 00001e69: PUSH2 0x1e8a 00001e6c: SWAP2 00001e6d: PUSH2 0x1e7c 00001e70: SWAP2 00001e71: SWAP1 00001e72: PUSH4 0xffffffff 00001e77: PUSH2 0x24f8 00001e7a: AND 00001e7b: JUMP 00001e7c: JUMPDEST 00001e7d: DUP4 00001e7e: MLOAD 00001e7f: SWAP1 00001e80: PUSH4 0xffffffff 00001e85: PUSH2 0x249e 00001e88: AND 00001e89: JUMP 00001e8a: JUMPDEST 00001e8b: DUP1 00001e8c: DUP4 00001e8d: MSTORE 00001e8e: PUSH1 0x00 00001e90: DUP3 00001e91: DUP2 00001e92: MSTORE 00001e93: PUSH1 0x0b 00001e95: PUSH1 0x20 00001e97: MSTORE 00001e98: PUSH1 0x40 00001e9a: SWAP1 00001e9b: KECCAK256 00001e9c: SLOAD 00001e9d: PUSH2 0x1eab 00001ea0: SWAP2 00001ea1: PUSH4 0xffffffff 00001ea6: PUSH2 0x249e 00001ea9: AND 00001eaa: JUMP 00001eab: JUMPDEST 00001eac: PUSH1 0x00 00001eae: DUP3 00001eaf: DUP2 00001eb0: MSTORE 00001eb1: PUSH1 0x0b 00001eb3: PUSH1 0x20 00001eb5: MSTORE 00001eb6: PUSH1 0x40 00001eb8: SWAP1 00001eb9: DUP2 00001eba: SWAP1 00001ebb: KECCAK256 00001ebc: SWAP2 00001ebd: SWAP1 00001ebe: SWAP2 00001ebf: SSTORE 00001ec0: DUP3 00001ec1: ADD 00001ec2: MLOAD 00001ec3: DUP3 00001ec4: MLOAD 00001ec5: PUSH1 0x0e 00001ec7: SLOAD 00001ec8: PUSH2 0x1ede 00001ecb: SWAP3 00001ecc: SWAP2 00001ecd: PUSH2 0x1a29 00001ed0: SWAP2 00001ed1: DUP3 00001ed2: SWAP1 00001ed3: DUP10 00001ed4: PUSH4 0xffffffff 00001ed9: PUSH2 0x249e 00001edc: AND 00001edd: JUMP 00001ede: JUMPDEST 00001edf: PUSH1 0x0e 00001ee1: SSTORE 00001ee2: PUSH1 0x40 00001ee4: DUP3 00001ee5: ADD 00001ee6: MLOAD 00001ee7: DUP3 00001ee8: MLOAD 00001ee9: PUSH2 0x1f0a 00001eec: SWAP2 00001eed: SWAP1 00001eee: PUSH2 0x1efe 00001ef1: SWAP1 00001ef2: DUP7 00001ef3: SWAP1 00001ef4: PUSH4 0xffffffff 00001ef9: PUSH2 0x24f8 00001efc: AND 00001efd: JUMP 00001efe: JUMPDEST 00001eff: SWAP1 00001f00: PUSH4 0xffffffff 00001f05: PUSH2 0x24f8 00001f08: AND 00001f09: JUMP 00001f0a: JUMPDEST 00001f0b: DUP3 00001f0c: PUSH1 0x60 00001f0e: ADD 00001f0f: DUP2 00001f10: DUP2 00001f11: MSTORE 00001f12: POP 00001f13: POP 00001f14: DUP5 00001f15: PUSH1 0x01 00001f17: PUSH1 0x01 00001f19: PUSH1 0xa0 00001f1b: SHL 00001f1c: SUB 00001f1d: AND 00001f1e: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 00001f33: PUSH1 0x01 00001f35: PUSH1 0x01 00001f37: PUSH1 0xa0 00001f39: SHL 00001f3a: SUB 00001f3b: AND 00001f3c: PUSH32 0x53e2e1b5ab64e0a76fcc6a932558eba265d4e58c512401a7d776ae0f8fc08994 00001f5d: DUP7 00001f5e: DUP6 00001f5f: PUSH1 0x00 00001f61: ADD 00001f62: MLOAD 00001f63: DUP7 00001f64: PUSH1 0x40 00001f66: ADD 00001f67: MLOAD 00001f68: DUP15 00001f69: DUP15 00001f6a: DUP15 00001f6b: DUP15 00001f6c: DUP12 00001f6d: PUSH1 0x60 00001f6f: ADD 00001f70: MLOAD 00001f71: PUSH1 0x40 00001f73: MLOAD 00001f74: DUP1 00001f75: DUP10 00001f76: DUP2 00001f77: MSTORE 00001f78: PUSH1 0x20 00001f7a: ADD 00001f7b: DUP9 00001f7c: DUP2 00001f7d: MSTORE 00001f7e: PUSH1 0x20 00001f80: ADD 00001f81: DUP8 00001f82: DUP2 00001f83: MSTORE 00001f84: PUSH1 0x20 00001f86: ADD 00001f87: DUP1 00001f88: PUSH1 0x20 00001f8a: ADD 00001f8b: DUP1 00001f8c: PUSH1 0x20 00001f8e: ADD 00001f8f: DUP5 00001f90: DUP2 00001f91: MSTORE 00001f92: PUSH1 0x20 00001f94: ADD 00001f95: DUP4 00001f96: DUP2 00001f97: SUB 00001f98: DUP4 00001f99: MSTORE 00001f9a: DUP9 00001f9b: DUP9 00001f9c: DUP3 00001f9d: DUP2 00001f9e: DUP2 00001f9f: MSTORE 00001fa0: PUSH1 0x20 00001fa2: ADD 00001fa3: SWAP3 00001fa4: POP 00001fa5: PUSH1 0x20 00001fa7: MUL 00001fa8: DUP1 00001fa9: DUP3 00001faa: DUP5 00001fab: CALLDATACOPY 00001fac: PUSH1 0x00 00001fae: DUP4 00001faf: DUP3 00001fb0: ADD 00001fb1: MSTORE 00001fb2: PUSH1 0x1f 00001fb4: ADD 00001fb5: PUSH1 0x1f 00001fb7: NOT 00001fb8: AND 00001fb9: SWAP1 00001fba: SWAP2 00001fbb: ADD 00001fbc: DUP5 00001fbd: DUP2 00001fbe: SUB 00001fbf: DUP4 00001fc0: MSTORE 00001fc1: DUP7 00001fc2: DUP2 00001fc3: MSTORE 00001fc4: PUSH1 0x20 00001fc6: SWAP1 00001fc7: DUP2 00001fc8: ADD 00001fc9: SWAP2 00001fca: POP 00001fcb: DUP8 00001fcc: SWAP1 00001fcd: DUP8 00001fce: MUL 00001fcf: DUP1 00001fd0: DUP3 00001fd1: DUP5 00001fd2: CALLDATACOPY 00001fd3: PUSH1 0x00 00001fd5: DUP4 00001fd6: DUP3 00001fd7: ADD 00001fd8: MSTORE 00001fd9: PUSH1 0x40 00001fdb: MLOAD 00001fdc: PUSH1 0x1f 00001fde: SWAP1 00001fdf: SWAP2 00001fe0: ADD 00001fe1: PUSH1 0x1f 00001fe3: NOT 00001fe4: AND 00001fe5: SWAP1 00001fe6: SWAP3 00001fe7: ADD 00001fe8: DUP3 00001fe9: SWAP1 00001fea: SUB 00001feb: SWAP13 00001fec: POP 00001fed: SWAP1 00001fee: SWAP11 00001fef: POP 00001ff0: POP 00001ff1: POP 00001ff2: POP 00001ff3: POP 00001ff4: POP 00001ff5: POP 00001ff6: POP 00001ff7: POP 00001ff8: POP 00001ff9: POP 00001ffa: LOG3 00001ffb: POP 00001ffc: POP 00001ffd: JUMPDEST 00001ffe: POP 00001fff: POP 00002000: PUSH1 0x01 00002002: DUP1 00002003: SLOAD 00002004: PUSH1 0xff 00002006: PUSH1 0xa0 00002008: SHL 00002009: NOT 0000200a: AND 0000200b: PUSH1 0x01 0000200d: PUSH1 0xa0 0000200f: SHL 00002010: OR 00002011: SWAP1 00002012: SSTORE 00002013: POP 00002014: POP 00002015: POP 00002016: POP 00002017: POP 00002018: POP 00002019: JUMP 0000201a: JUMPDEST 0000201b: PUSH1 0x01 0000201d: SLOAD 0000201e: PUSH1 0x00 00002020: SWAP1 00002021: PUSH1 0x01 00002023: PUSH1 0xa0 00002025: SHL 00002026: SWAP1 00002027: DIV 00002028: PUSH1 0xff 0000202a: AND 0000202b: PUSH2 0x207b 0000202e: JUMPI 0000202f: PUSH1 0x40 00002031: DUP1 00002032: MLOAD 00002033: PUSH3 0x461bcd 00002037: PUSH1 0xe5 00002039: SHL 0000203a: DUP2 0000203b: MSTORE 0000203c: PUSH1 0x20 0000203e: PUSH1 0x04 00002040: DUP3 00002041: ADD 00002042: MSTORE 00002043: PUSH1 0x1f 00002045: PUSH1 0x24 00002047: DUP3 00002048: ADD 00002049: MSTORE 0000204a: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 0000206b: PUSH1 0x44 0000206d: DUP3 0000206e: ADD 0000206f: MSTORE 00002070: SWAP1 00002071: MLOAD 00002072: SWAP1 00002073: DUP2 00002074: SWAP1 00002075: SUB 00002076: PUSH1 0x64 00002078: ADD 00002079: SWAP1 0000207a: REVERT 0000207b: JUMPDEST 0000207c: PUSH1 0x01 0000207e: DUP1 0000207f: SLOAD 00002080: PUSH1 0xff 00002082: PUSH1 0xa0 00002084: SHL 00002085: NOT 00002086: AND 00002087: DUP2 00002088: SSTORE 00002089: PUSH1 0x01 0000208b: PUSH1 0x01 0000208d: PUSH1 0xa0 0000208f: SHL 00002090: SUB 00002091: DUP4 00002092: AND 00002093: PUSH1 0x00 00002095: SWAP1 00002096: DUP2 00002097: MSTORE 00002098: PUSH1 0x0a 0000209a: PUSH1 0x20 0000209c: MSTORE 0000209d: PUSH1 0x40 0000209f: SWAP1 000020a0: KECCAK256 000020a1: SLOAD 000020a2: GT 000020a3: PUSH2 0x20f3 000020a6: JUMPI 000020a7: PUSH1 0x40 000020a9: DUP1 000020aa: MLOAD 000020ab: PUSH3 0x461bcd 000020af: PUSH1 0xe5 000020b1: SHL 000020b2: DUP2 000020b3: MSTORE 000020b4: PUSH1 0x20 000020b6: PUSH1 0x04 000020b8: DUP3 000020b9: ADD 000020ba: MSTORE 000020bb: PUSH1 0x12 000020bd: PUSH1 0x24 000020bf: DUP3 000020c0: ADD 000020c1: MSTORE 000020c2: PUSH32 0x6e6f2072656261746520746f20636c61696d0000000000000000000000000000 000020e3: PUSH1 0x44 000020e5: DUP3 000020e6: ADD 000020e7: MSTORE 000020e8: SWAP1 000020e9: MLOAD 000020ea: SWAP1 000020eb: DUP2 000020ec: SWAP1 000020ed: SUB 000020ee: PUSH1 0x64 000020f0: ADD 000020f1: SWAP1 000020f2: REVERT 000020f3: JUMPDEST 000020f4: PUSH1 0x01 000020f6: PUSH1 0x01 000020f8: PUSH1 0xa0 000020fa: SHL 000020fb: SUB 000020fc: DUP3 000020fd: AND 000020fe: PUSH1 0x00 00002100: SWAP1 00002101: DUP2 00002102: MSTORE 00002103: PUSH1 0x0a 00002105: PUSH1 0x20 00002107: MSTORE 00002108: PUSH1 0x40 0000210a: SWAP1 0000210b: KECCAK256 0000210c: SLOAD 0000210d: PUSH2 0x211d 00002110: SWAP1 00002111: PUSH1 0x01 00002113: PUSH4 0xffffffff 00002118: PUSH2 0x24f8 0000211b: AND 0000211c: JUMP 0000211d: JUMPDEST 0000211e: SWAP1 0000211f: POP 00002120: DUP1 00002121: PUSH1 0x0e 00002123: SLOAD 00002124: LT 00002125: ISZERO 00002126: PUSH2 0x212b 00002129: JUMPI 0000212a: INVALID 0000212b: JUMPDEST 0000212c: PUSH1 0x0e 0000212e: SLOAD 0000212f: PUSH2 0x213e 00002132: SWAP1 00002133: DUP3 00002134: PUSH4 0xffffffff 00002139: PUSH2 0x24f8 0000213c: AND 0000213d: JUMP 0000213e: JUMPDEST 0000213f: PUSH1 0x0e 00002141: SSTORE 00002142: PUSH1 0x01 00002144: PUSH1 0x01 00002146: PUSH1 0xa0 00002148: SHL 00002149: SUB 0000214a: DUP3 0000214b: AND 0000214c: PUSH1 0x00 0000214e: DUP2 0000214f: DUP2 00002150: MSTORE 00002151: PUSH1 0x0a 00002153: PUSH1 0x20 00002155: MSTORE 00002156: PUSH1 0x40 00002158: DUP1 00002159: DUP3 0000215a: KECCAK256 0000215b: PUSH1 0x01 0000215d: SWAP1 0000215e: SSTORE 0000215f: MLOAD 00002160: SWAP1 00002161: SWAP2 00002162: SWAP1 00002163: DUP4 00002164: SWAP1 00002165: DUP4 00002166: DUP2 00002167: DUP2 00002168: DUP2 00002169: DUP6 0000216a: DUP8 0000216b: GAS 0000216c: CALL 0000216d: SWAP3 0000216e: POP 0000216f: POP 00002170: POP 00002171: RETURNDATASIZE 00002172: DUP1 00002173: PUSH1 0x00 00002175: DUP2 00002176: EQ 00002177: PUSH2 0x219c 0000217a: JUMPI 0000217b: PUSH1 0x40 0000217d: MLOAD 0000217e: SWAP2 0000217f: POP 00002180: PUSH1 0x1f 00002182: NOT 00002183: PUSH1 0x3f 00002185: RETURNDATASIZE 00002186: ADD 00002187: AND 00002188: DUP3 00002189: ADD 0000218a: PUSH1 0x40 0000218c: MSTORE 0000218d: RETURNDATASIZE 0000218e: DUP3 0000218f: MSTORE 00002190: RETURNDATASIZE 00002191: PUSH1 0x00 00002193: PUSH1 0x20 00002195: DUP5 00002196: ADD 00002197: RETURNDATACOPY 00002198: PUSH2 0x21a1 0000219b: JUMP 0000219c: JUMPDEST 0000219d: PUSH1 0x60 0000219f: SWAP2 000021a0: POP 000021a1: JUMPDEST 000021a2: POP 000021a3: POP 000021a4: SWAP1 000021a5: POP 000021a6: DUP1 000021a7: PUSH2 0x21f7 000021aa: JUMPI 000021ab: PUSH1 0x40 000021ad: DUP1 000021ae: MLOAD 000021af: PUSH3 0x461bcd 000021b3: PUSH1 0xe5 000021b5: SHL 000021b6: DUP2 000021b7: MSTORE 000021b8: PUSH1 0x20 000021ba: PUSH1 0x04 000021bc: DUP3 000021bd: ADD 000021be: MSTORE 000021bf: PUSH1 0x16 000021c1: PUSH1 0x24 000021c3: DUP3 000021c4: ADD 000021c5: MSTORE 000021c6: PUSH32 0x726562617465207472616e73666572206661696c656400000000000000000000 000021e7: PUSH1 0x44 000021e9: DUP3 000021ea: ADD 000021eb: MSTORE 000021ec: SWAP1 000021ed: MLOAD 000021ee: SWAP1 000021ef: DUP2 000021f0: SWAP1 000021f1: SUB 000021f2: PUSH1 0x64 000021f4: ADD 000021f5: SWAP1 000021f6: REVERT 000021f7: JUMPDEST 000021f8: PUSH1 0x40 000021fa: DUP1 000021fb: MLOAD 000021fc: DUP4 000021fd: DUP2 000021fe: MSTORE 000021ff: SWAP1 00002200: MLOAD 00002201: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 00002216: SWAP2 00002217: PUSH1 0x01 00002219: PUSH1 0x01 0000221b: PUSH1 0xa0 0000221d: SHL 0000221e: SUB 0000221f: DUP7 00002220: AND 00002221: SWAP2 00002222: PUSH32 0xb5ec5e03662403108373ab6431d3e834cb1011fca164541aef315fc7dea7b3b6 00002243: SWAP2 00002244: DUP2 00002245: SWAP1 00002246: SUB 00002247: PUSH1 0x20 00002249: ADD 0000224a: SWAP1 0000224b: LOG3 0000224c: POP 0000224d: PUSH1 0x01 0000224f: DUP1 00002250: SLOAD 00002251: PUSH1 0xff 00002253: PUSH1 0xa0 00002255: SHL 00002256: NOT 00002257: AND 00002258: PUSH1 0x01 0000225a: PUSH1 0xa0 0000225c: SHL 0000225d: OR 0000225e: SWAP1 0000225f: SSTORE 00002260: SWAP2 00002261: SWAP1 00002262: POP 00002263: JUMP 00002264: JUMPDEST 00002265: PUSH1 0x05 00002267: SLOAD 00002268: DUP2 00002269: JUMP 0000226a: JUMPDEST 0000226b: PUSH1 0x01 0000226d: SLOAD 0000226e: PUSH1 0x01 00002270: PUSH1 0x01 00002272: PUSH1 0xa0 00002274: SHL 00002275: SUB 00002276: AND 00002277: CALLER 00002278: EQ 00002279: PUSH2 0x22bc 0000227c: JUMPI 0000227d: PUSH1 0x40 0000227f: DUP1 00002280: MLOAD 00002281: PUSH3 0x461bcd 00002285: PUSH1 0xe5 00002287: SHL 00002288: DUP2 00002289: MSTORE 0000228a: PUSH1 0x20 0000228c: PUSH1 0x04 0000228e: DUP3 0000228f: ADD 00002290: MSTORE 00002291: PUSH1 0x10 00002293: PUSH1 0x24 00002295: DUP3 00002296: ADD 00002297: MSTORE 00002298: PUSH16 0x37b7363c903230b7a7b832b930ba37b9 000022a9: PUSH1 0x81 000022ab: SHL 000022ac: PUSH1 0x44 000022ae: DUP3 000022af: ADD 000022b0: MSTORE 000022b1: SWAP1 000022b2: MLOAD 000022b3: SWAP1 000022b4: DUP2 000022b5: SWAP1 000022b6: SUB 000022b7: PUSH1 0x64 000022b9: ADD 000022ba: SWAP1 000022bb: REVERT 000022bc: JUMPDEST 000022bd: PUSH1 0x01 000022bf: PUSH1 0x01 000022c1: PUSH1 0xa0 000022c3: SHL 000022c4: SUB 000022c5: DUP2 000022c6: AND 000022c7: PUSH2 0x2317 000022ca: JUMPI 000022cb: PUSH1 0x40 000022cd: DUP1 000022ce: MLOAD 000022cf: PUSH3 0x461bcd 000022d3: PUSH1 0xe5 000022d5: SHL 000022d6: DUP2 000022d7: MSTORE 000022d8: PUSH1 0x20 000022da: PUSH1 0x04 000022dc: DUP3 000022dd: ADD 000022de: MSTORE 000022df: PUSH1 0x13 000022e1: PUSH1 0x24 000022e3: DUP3 000022e4: ADD 000022e5: MSTORE 000022e6: PUSH32 0x6b796265724e6574776f726b50726f7879203000000000000000000000000000 00002307: PUSH1 0x44 00002309: DUP3 0000230a: ADD 0000230b: MSTORE 0000230c: SWAP1 0000230d: MLOAD 0000230e: SWAP1 0000230f: DUP2 00002310: SWAP1 00002311: SUB 00002312: PUSH1 0x64 00002314: ADD 00002315: SWAP1 00002316: REVERT 00002317: JUMPDEST 00002318: PUSH1 0x03 0000231a: SLOAD 0000231b: PUSH1 0x01 0000231d: PUSH1 0x01 0000231f: PUSH1 0xa0 00002321: SHL 00002322: SUB 00002323: DUP3 00002324: DUP2 00002325: AND 00002326: SWAP2 00002327: AND 00002328: EQ 00002329: PUSH2 0x0cb8 0000232c: JUMPI 0000232d: PUSH1 0x03 0000232f: DUP1 00002330: SLOAD 00002331: PUSH1 0x01 00002333: PUSH1 0x01 00002335: PUSH1 0xa0 00002337: SHL 00002338: SUB 00002339: DUP4 0000233a: AND 0000233b: PUSH1 0x01 0000233d: PUSH1 0x01 0000233f: PUSH1 0xa0 00002341: SHL 00002342: SUB 00002343: NOT 00002344: SWAP1 00002345: SWAP2 00002346: AND 00002347: DUP2 00002348: OR 00002349: SWAP1 0000234a: SWAP2 0000234b: SSTORE 0000234c: PUSH1 0x40 0000234e: DUP1 0000234f: MLOAD 00002350: SWAP2 00002351: DUP3 00002352: MSTORE 00002353: MLOAD 00002354: PUSH32 0x8457f9bd0d13488a6c265af376d291f3c6bd2311d9e8dee5671d4169ca6e0ae0 00002375: SWAP2 00002376: DUP2 00002377: SWAP1 00002378: SUB 00002379: PUSH1 0x20 0000237b: ADD 0000237c: SWAP1 0000237d: LOG1 0000237e: POP 0000237f: JUMP 00002380: JUMPDEST 00002381: PUSH32 0x000000000000000000000000dd974d5c2e2928dea5f71b9825b8b646686bd200 000023a2: DUP2 000023a3: JUMP 000023a4: JUMPDEST 000023a5: PUSH1 0x03 000023a7: SLOAD 000023a8: PUSH1 0x01 000023aa: PUSH1 0x01 000023ac: PUSH1 0xa0 000023ae: SHL 000023af: SUB 000023b0: AND 000023b1: DUP2 000023b2: JUMP 000023b3: JUMPDEST 000023b4: PUSH1 0x06 000023b6: SLOAD 000023b7: PUSH8 0xffffffffffffffff 000023c0: DUP2 000023c1: AND 000023c2: SWAP1 000023c3: PUSH4 0xffffffff 000023c8: PUSH1 0x01 000023ca: PUSH1 0x40 000023cc: SHL 000023cd: DUP3 000023ce: DIV 000023cf: AND 000023d0: SWAP1 000023d1: PUSH2 0xffff 000023d4: PUSH1 0x01 000023d6: PUSH1 0x60 000023d8: SHL 000023d9: DUP3 000023da: DIV 000023db: DUP2 000023dc: AND 000023dd: SWAP2 000023de: PUSH1 0x01 000023e0: PUSH1 0x70 000023e2: SHL 000023e3: SWAP1 000023e4: DIV 000023e5: AND 000023e6: DUP5 000023e7: JUMP 000023e8: JUMPDEST 000023e9: PUSH1 0x0c 000023eb: PUSH1 0x20 000023ed: MSTORE 000023ee: PUSH1 0x00 000023f0: SWAP1 000023f1: DUP2 000023f2: MSTORE 000023f3: PUSH1 0x40 000023f5: SWAP1 000023f6: KECCAK256 000023f7: SLOAD 000023f8: DUP2 000023f9: JUMP 000023fa: JUMPDEST 000023fb: PUSH1 0x00 000023fd: DUP3 000023fe: PUSH2 0x2409 00002401: JUMPI 00002402: POP 00002403: PUSH1 0x00 00002405: PUSH2 0x2456 00002408: JUMP 00002409: JUMPDEST 0000240a: DUP3 0000240b: DUP3 0000240c: MUL 0000240d: DUP3 0000240e: DUP5 0000240f: DUP3 00002410: DUP2 00002411: PUSH2 0x2416 00002414: JUMPI 00002415: INVALID 00002416: JUMPDEST 00002417: DIV 00002418: EQ 00002419: PUSH2 0x2453 0000241c: JUMPI 0000241d: PUSH1 0x40 0000241f: MLOAD 00002420: PUSH3 0x461bcd 00002424: PUSH1 0xe5 00002426: SHL 00002427: DUP2 00002428: MSTORE 00002429: PUSH1 0x04 0000242b: ADD 0000242c: DUP1 0000242d: DUP1 0000242e: PUSH1 0x20 00002430: ADD 00002431: DUP3 00002432: DUP2 00002433: SUB 00002434: DUP3 00002435: MSTORE 00002436: PUSH1 0x21 00002438: DUP2 00002439: MSTORE 0000243a: PUSH1 0x20 0000243c: ADD 0000243d: DUP1 0000243e: PUSH2 0x2d30 00002441: PUSH1 0x21 00002443: SWAP2 00002444: CODECOPY 00002445: PUSH1 0x40 00002447: ADD 00002448: SWAP2 00002449: POP 0000244a: POP 0000244b: PUSH1 0x40 0000244d: MLOAD 0000244e: DUP1 0000244f: SWAP2 00002450: SUB 00002451: SWAP1 00002452: REVERT 00002453: JUMPDEST 00002454: SWAP1 00002455: POP 00002456: JUMPDEST 00002457: SWAP3 00002458: SWAP2 00002459: POP 0000245a: POP 0000245b: JUMP 0000245c: JUMPDEST 0000245d: PUSH1 0x00 0000245f: PUSH2 0x2453 00002462: DUP4 00002463: DUP4 00002464: PUSH1 0x40 00002466: MLOAD 00002467: DUP1 00002468: PUSH1 0x40 0000246a: ADD 0000246b: PUSH1 0x40 0000246d: MSTORE 0000246e: DUP1 0000246f: PUSH1 0x1a 00002471: DUP2 00002472: MSTORE 00002473: PUSH1 0x20 00002475: ADD 00002476: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000 00002497: DUP2 00002498: MSTORE 00002499: POP 0000249a: PUSH2 0x2bc6 0000249d: JUMP 0000249e: JUMPDEST 0000249f: PUSH1 0x00 000024a1: DUP3 000024a2: DUP3 000024a3: ADD 000024a4: DUP4 000024a5: DUP2 000024a6: LT 000024a7: ISZERO 000024a8: PUSH2 0x2453 000024ab: JUMPI 000024ac: PUSH1 0x40 000024ae: DUP1 000024af: MLOAD 000024b0: PUSH3 0x461bcd 000024b4: PUSH1 0xe5 000024b6: SHL 000024b7: DUP2 000024b8: MSTORE 000024b9: PUSH1 0x20 000024bb: PUSH1 0x04 000024bd: DUP3 000024be: ADD 000024bf: MSTORE 000024c0: PUSH1 0x1b 000024c2: PUSH1 0x24 000024c4: DUP3 000024c5: ADD 000024c6: MSTORE 000024c7: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 000024e8: PUSH1 0x44 000024ea: DUP3 000024eb: ADD 000024ec: MSTORE 000024ed: SWAP1 000024ee: MLOAD 000024ef: SWAP1 000024f0: DUP2 000024f1: SWAP1 000024f2: SUB 000024f3: PUSH1 0x64 000024f5: ADD 000024f6: SWAP1 000024f7: REVERT 000024f8: JUMPDEST 000024f9: PUSH1 0x00 000024fb: PUSH2 0x2453 000024fe: DUP4 000024ff: DUP4 00002500: PUSH1 0x40 00002502: MLOAD 00002503: DUP1 00002504: PUSH1 0x40 00002506: ADD 00002507: PUSH1 0x40 00002509: MSTORE 0000250a: DUP1 0000250b: PUSH1 0x1e 0000250d: DUP2 0000250e: MSTORE 0000250f: PUSH1 0x20 00002511: ADD 00002512: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 00002533: DUP2 00002534: MSTORE 00002535: POP 00002536: PUSH2 0x2c68 00002539: JUMP 0000253a: JUMPDEST 0000253b: PUSH11 0x084595161401484a000000 00002547: DUP2 00002548: GT 00002549: ISZERO 0000254a: PUSH2 0x259a 0000254d: JUMPI 0000254e: PUSH1 0x40 00002550: DUP1 00002551: MLOAD 00002552: PUSH3 0x461bcd 00002556: PUSH1 0xe5 00002558: SHL 00002559: DUP2 0000255a: MSTORE 0000255b: PUSH1 0x20 0000255d: PUSH1 0x04 0000255f: DUP3 00002560: ADD 00002561: MSTORE 00002562: PUSH1 0x1b 00002564: PUSH1 0x24 00002566: DUP3 00002567: ADD 00002568: MSTORE 00002569: PUSH32 0x657468546f4b6e632072617465206f7574206f6620626f756e64730000000000 0000258a: PUSH1 0x44 0000258c: DUP3 0000258d: ADD 0000258e: MSTORE 0000258f: SWAP1 00002590: MLOAD 00002591: SWAP1 00002592: DUP2 00002593: SWAP1 00002594: SUB 00002595: PUSH1 0x64 00002597: ADD 00002598: SWAP1 00002599: REVERT 0000259a: JUMPDEST 0000259b: PUSH1 0x00 0000259d: DUP2 0000259e: GT 0000259f: PUSH2 0x25ef 000025a2: JUMPI 000025a3: PUSH1 0x40 000025a5: DUP1 000025a6: MLOAD 000025a7: PUSH3 0x461bcd 000025ab: PUSH1 0xe5 000025ad: SHL 000025ae: DUP2 000025af: MSTORE 000025b0: PUSH1 0x20 000025b2: PUSH1 0x04 000025b4: DUP3 000025b5: ADD 000025b6: MSTORE 000025b7: PUSH1 0x12 000025b9: PUSH1 0x24 000025bb: DUP3 000025bc: ADD 000025bd: MSTORE 000025be: PUSH32 0x657468546f4b6e63207261746520697320300000000000000000000000000000 000025df: PUSH1 0x44 000025e1: DUP3 000025e2: ADD 000025e3: MSTORE 000025e4: SWAP1 000025e5: MLOAD 000025e6: SWAP1 000025e7: DUP2 000025e8: SWAP1 000025e9: SUB 000025ea: PUSH1 0x64 000025ec: ADD 000025ed: SWAP1 000025ee: REVERT 000025ef: JUMPDEST 000025f0: PUSH1 0x0f 000025f2: SLOAD 000025f3: PUSH2 0x2643 000025f6: JUMPI 000025f7: PUSH1 0x40 000025f9: DUP1 000025fa: MLOAD 000025fb: PUSH3 0x461bcd 000025ff: PUSH1 0xe5 00002601: SHL 00002602: DUP2 00002603: MSTORE 00002604: PUSH1 0x20 00002606: PUSH1 0x04 00002608: DUP3 00002609: ADD 0000260a: MSTORE 0000260b: PUSH1 0x17 0000260d: PUSH1 0x24 0000260f: DUP3 00002610: ADD 00002611: MSTORE 00002612: PUSH32 0x6e6f2073616e697479207261746520636f6e7472616374000000000000000000 00002633: PUSH1 0x44 00002635: DUP3 00002636: ADD 00002637: MSTORE 00002638: SWAP1 00002639: MLOAD 0000263a: SWAP1 0000263b: DUP2 0000263c: SWAP1 0000263d: SUB 0000263e: PUSH1 0x64 00002640: ADD 00002641: SWAP1 00002642: REVERT 00002643: JUMPDEST 00002644: PUSH1 0x00 00002646: PUSH1 0x01 00002648: PUSH1 0x01 0000264a: PUSH1 0xa0 0000264c: SHL 0000264d: SUB 0000264e: AND 0000264f: PUSH1 0x0f 00002651: PUSH1 0x00 00002653: DUP2 00002654: SLOAD 00002655: DUP2 00002656: LT 00002657: PUSH2 0x265c 0000265a: JUMPI 0000265b: INVALID 0000265c: JUMPDEST 0000265d: PUSH1 0x00 0000265f: SWAP2 00002660: DUP3 00002661: MSTORE 00002662: PUSH1 0x20 00002664: SWAP1 00002665: SWAP2 00002666: KECCAK256 00002667: ADD 00002668: SLOAD 00002669: PUSH1 0x01 0000266b: PUSH1 0x01 0000266d: PUSH1 0xa0 0000266f: SHL 00002670: SUB 00002671: AND 00002672: EQ 00002673: ISZERO 00002674: PUSH2 0x26ae 00002677: JUMPI 00002678: PUSH1 0x40 0000267a: MLOAD 0000267b: PUSH3 0x461bcd 0000267f: PUSH1 0xe5 00002681: SHL 00002682: DUP2 00002683: MSTORE 00002684: PUSH1 0x04 00002686: ADD 00002687: DUP1 00002688: DUP1 00002689: PUSH1 0x20 0000268b: ADD 0000268c: DUP3 0000268d: DUP2 0000268e: SUB 0000268f: DUP3 00002690: MSTORE 00002691: PUSH1 0x26 00002693: DUP2 00002694: MSTORE 00002695: PUSH1 0x20 00002697: ADD 00002698: DUP1 00002699: PUSH2 0x2d74 0000269c: PUSH1 0x26 0000269e: SWAP2 0000269f: CODECOPY 000026a0: PUSH1 0x40 000026a2: ADD 000026a3: SWAP2 000026a4: POP 000026a5: POP 000026a6: PUSH1 0x40 000026a8: MLOAD 000026a9: DUP1 000026aa: SWAP2 000026ab: SUB 000026ac: SWAP1 000026ad: REVERT 000026ae: JUMPDEST 000026af: PUSH1 0x00 000026b1: PUSH1 0x0f 000026b3: PUSH1 0x00 000026b5: DUP2 000026b6: SLOAD 000026b7: DUP2 000026b8: LT 000026b9: PUSH2 0x26be 000026bc: JUMPI 000026bd: INVALID 000026be: JUMPDEST 000026bf: PUSH1 0x00 000026c1: SWAP2 000026c2: DUP3 000026c3: MSTORE 000026c4: PUSH1 0x20 000026c6: SWAP2 000026c7: DUP3 000026c8: SWAP1 000026c9: KECCAK256 000026ca: ADD 000026cb: SLOAD 000026cc: PUSH1 0x40 000026ce: DUP1 000026cf: MLOAD 000026d0: PUSH4 0x50d25bcd 000026d5: PUSH1 0xe0 000026d7: SHL 000026d8: DUP2 000026d9: MSTORE 000026da: SWAP1 000026db: MLOAD 000026dc: PUSH1 0x01 000026de: PUSH1 0x01 000026e0: PUSH1 0xa0 000026e2: SHL 000026e3: SUB 000026e4: SWAP1 000026e5: SWAP3 000026e6: AND 000026e7: SWAP3 000026e8: PUSH4 0x50d25bcd 000026ed: SWAP3 000026ee: PUSH1 0x04 000026f0: DUP1 000026f1: DUP5 000026f2: ADD 000026f3: SWAP4 000026f4: DUP3 000026f5: SWAP1 000026f6: SUB 000026f7: ADD 000026f8: DUP2 000026f9: DUP7 000026fa: DUP1 000026fb: EXTCODESIZE 000026fc: ISZERO 000026fd: DUP1 000026fe: ISZERO 000026ff: PUSH2 0x2707 00002702: JUMPI 00002703: PUSH1 0x00 00002705: DUP1 00002706: REVERT 00002707: JUMPDEST 00002708: POP 00002709: GAS 0000270a: STATICCALL 0000270b: ISZERO 0000270c: DUP1 0000270d: ISZERO 0000270e: PUSH2 0x271b 00002711: JUMPI 00002712: RETURNDATASIZE 00002713: PUSH1 0x00 00002715: DUP1 00002716: RETURNDATACOPY 00002717: RETURNDATASIZE 00002718: PUSH1 0x00 0000271a: REVERT 0000271b: JUMPDEST 0000271c: POP 0000271d: POP 0000271e: POP 0000271f: POP 00002720: PUSH1 0x40 00002722: MLOAD 00002723: RETURNDATASIZE 00002724: PUSH1 0x20 00002726: DUP2 00002727: LT 00002728: ISZERO 00002729: PUSH2 0x2731 0000272c: JUMPI 0000272d: PUSH1 0x00 0000272f: DUP1 00002730: REVERT 00002731: JUMPDEST 00002732: POP 00002733: MLOAD 00002734: SWAP1 00002735: POP 00002736: DUP1 00002737: PUSH2 0x277a 0000273a: JUMPI 0000273b: PUSH1 0x40 0000273d: DUP1 0000273e: MLOAD 0000273f: PUSH3 0x461bcd 00002743: PUSH1 0xe5 00002745: SHL 00002746: DUP2 00002747: MSTORE 00002748: PUSH1 0x20 0000274a: PUSH1 0x04 0000274c: DUP3 0000274d: ADD 0000274e: MSTORE 0000274f: PUSH1 0x10 00002751: PUSH1 0x24 00002753: DUP3 00002754: ADD 00002755: MSTORE 00002756: PUSH16 0x073616e6974792072617465206973203 00002767: PUSH1 0x84 00002769: SHL 0000276a: PUSH1 0x44 0000276c: DUP3 0000276d: ADD 0000276e: MSTORE 0000276f: SWAP1 00002770: MLOAD 00002771: SWAP1 00002772: DUP2 00002773: SWAP1 00002774: SUB 00002775: PUSH1 0x64 00002777: ADD 00002778: SWAP1 00002779: REVERT 0000277a: JUMPDEST 0000277b: PUSH11 0x084595161401484a000000 00002787: DUP2 00002788: GT 00002789: ISZERO 0000278a: PUSH2 0x27da 0000278d: JUMPI 0000278e: PUSH1 0x40 00002790: DUP1 00002791: MLOAD 00002792: PUSH3 0x461bcd 00002796: PUSH1 0xe5 00002798: SHL 00002799: DUP2 0000279a: MSTORE 0000279b: PUSH1 0x20 0000279d: PUSH1 0x04 0000279f: DUP3 000027a0: ADD 000027a1: MSTORE 000027a2: PUSH1 0x19 000027a4: PUSH1 0x24 000027a6: DUP3 000027a7: ADD 000027a8: MSTORE 000027a9: PUSH32 0x73616e6974792072617465206f7574206f6620626f756e647300000000000000 000027ca: PUSH1 0x44 000027cc: DUP3 000027cd: ADD 000027ce: MSTORE 000027cf: SWAP1 000027d0: MLOAD 000027d1: SWAP1 000027d2: DUP2 000027d3: SWAP1 000027d4: SUB 000027d5: PUSH1 0x64 000027d7: ADD 000027d8: SWAP1 000027d9: REVERT 000027da: JUMPDEST 000027db: PUSH1 0x00 000027dd: PUSH2 0x27f8 000027e0: DUP3 000027e1: PUSH2 0x09cf 000027e4: PUSH8 0x0de0b6b3a7640000 000027ed: DUP1 000027ee: PUSH4 0xffffffff 000027f3: PUSH2 0x23fa 000027f6: AND 000027f7: JUMP 000027f8: JUMPDEST 000027f9: SWAP1 000027fa: POP 000027fb: PUSH2 0x281e 000027fe: PUSH2 0x2811 00002801: PUSH2 0x2710 00002804: PUSH2 0x03e8 00002807: PUSH4 0xffffffff 0000280c: PUSH2 0x24f8 0000280f: AND 00002810: JUMP 00002811: JUMPDEST 00002812: DUP3 00002813: SWAP1 00002814: PUSH4 0xffffffff 00002819: PUSH2 0x23fa 0000281c: AND 0000281d: JUMP 0000281e: JUMPDEST 0000281f: PUSH2 0x2830 00002822: DUP5 00002823: PUSH2 0x2710 00002826: PUSH4 0xffffffff 0000282b: PUSH2 0x23fa 0000282e: AND 0000282f: JUMP 00002830: JUMPDEST 00002831: LT 00002832: ISZERO 00002833: PUSH2 0x286d 00002836: JUMPI 00002837: PUSH1 0x40 00002839: MLOAD 0000283a: PUSH3 0x461bcd 0000283e: PUSH1 0xe5 00002840: SHL 00002841: DUP2 00002842: MSTORE 00002843: PUSH1 0x04 00002845: ADD 00002846: DUP1 00002847: DUP1 00002848: PUSH1 0x20 0000284a: ADD 0000284b: DUP3 0000284c: DUP2 0000284d: SUB 0000284e: DUP3 0000284f: MSTORE 00002850: PUSH1 0x24 00002852: DUP2 00002853: MSTORE 00002854: PUSH1 0x20 00002856: ADD 00002857: DUP1 00002858: PUSH2 0x2ceb 0000285b: PUSH1 0x24 0000285d: SWAP2 0000285e: CODECOPY 0000285f: PUSH1 0x40 00002861: ADD 00002862: SWAP2 00002863: POP 00002864: POP 00002865: PUSH1 0x40 00002867: MLOAD 00002868: DUP1 00002869: SWAP2 0000286a: SUB 0000286b: SWAP1 0000286c: REVERT 0000286d: JUMPDEST 0000286e: POP 0000286f: POP 00002870: POP 00002871: JUMP 00002872: JUMPDEST 00002873: PUSH1 0x01 00002875: PUSH1 0x40 00002877: SHL 00002878: DUP3 00002879: LT 0000287a: PUSH2 0x28ca 0000287d: JUMPI 0000287e: PUSH1 0x40 00002880: DUP1 00002881: MLOAD 00002882: PUSH3 0x461bcd 00002886: PUSH1 0xe5 00002888: SHL 00002889: DUP2 0000288a: MSTORE 0000288b: PUSH1 0x20 0000288d: PUSH1 0x04 0000288f: DUP3 00002890: ADD 00002891: MSTORE 00002892: PUSH1 0x19 00002894: PUSH1 0x24 00002896: DUP3 00002897: ADD 00002898: MSTORE 00002899: PUSH32 0x6578706972792074696d657374616d70206f766572666c6f7700000000000000 000028ba: PUSH1 0x44 000028bc: DUP3 000028bd: ADD 000028be: MSTORE 000028bf: SWAP1 000028c0: MLOAD 000028c1: SWAP1 000028c2: DUP2 000028c3: SWAP1 000028c4: SUB 000028c5: PUSH1 0x64 000028c7: ADD 000028c8: SWAP1 000028c9: REVERT 000028ca: JUMPDEST 000028cb: PUSH5 0x0100000000 000028d1: DUP2 000028d2: LT 000028d3: PUSH2 0x2914 000028d6: JUMPI 000028d7: PUSH1 0x40 000028d9: DUP1 000028da: MLOAD 000028db: PUSH3 0x461bcd 000028df: PUSH1 0xe5 000028e1: SHL 000028e2: DUP2 000028e3: MSTORE 000028e4: PUSH1 0x20 000028e6: PUSH1 0x04 000028e8: DUP3 000028e9: ADD 000028ea: MSTORE 000028eb: PUSH1 0x0e 000028ed: PUSH1 0x24 000028ef: DUP3 000028f0: ADD 000028f1: MSTORE 000028f2: PUSH14 0x65706f6368206f766572666c6f77 00002901: PUSH1 0x90 00002903: SHL 00002904: PUSH1 0x44 00002906: DUP3 00002907: ADD 00002908: MSTORE 00002909: SWAP1 0000290a: MLOAD 0000290b: SWAP1 0000290c: DUP2 0000290d: SWAP1 0000290e: SUB 0000290f: PUSH1 0x64 00002911: ADD 00002912: SWAP1 00002913: REVERT 00002914: JUMPDEST 00002915: PUSH1 0x06 00002917: DUP1 00002918: SLOAD 00002919: PUSH14 0xffff000000000000000000000000 00002928: NOT 00002929: AND 0000292a: PUSH1 0x01 0000292c: PUSH1 0x60 0000292e: SHL 0000292f: PUSH2 0xffff 00002932: SWAP7 00002933: DUP8 00002934: AND 00002935: MUL 00002936: OR 00002937: PUSH16 0xffff0000000000000000000000000000 00002948: NOT 00002949: AND 0000294a: PUSH1 0x01 0000294c: PUSH1 0x70 0000294e: SHL 0000294f: SWAP5 00002950: SWAP1 00002951: SWAP6 00002952: AND 00002953: SWAP4 00002954: SWAP1 00002955: SWAP4 00002956: MUL 00002957: SWAP4 00002958: SWAP1 00002959: SWAP4 0000295a: OR 0000295b: PUSH8 0xffffffffffffffff 00002964: NOT 00002965: AND 00002966: PUSH8 0xffffffffffffffff 0000296f: SWAP2 00002970: SWAP1 00002971: SWAP2 00002972: AND 00002973: OR 00002974: PUSH12 0xffffffff0000000000000000 00002981: NOT 00002982: AND 00002983: PUSH1 0x01 00002985: PUSH1 0x40 00002987: SHL 00002988: PUSH4 0xffffffff 0000298d: SWAP4 0000298e: SWAP1 0000298f: SWAP4 00002990: AND 00002991: SWAP3 00002992: SWAP1 00002993: SWAP3 00002994: MUL 00002995: SWAP2 00002996: SWAP1 00002997: SWAP2 00002998: OR 00002999: SWAP1 0000299a: SSTORE 0000299b: JUMP 0000299c: JUMPDEST 0000299d: PUSH1 0x00 0000299f: DUP1 000029a0: PUSH1 0x00 000029a2: DUP1 000029a3: PUSH1 0x00 000029a5: PUSH2 0x29ac 000029a8: PUSH2 0x1946 000029ab: JUMP 000029ac: JUMPDEST 000029ad: SWAP5 000029ae: POP 000029af: SWAP1 000029b0: SWAP3 000029b1: POP 000029b2: SWAP1 000029b3: POP 000029b4: PUSH2 0x29c9 000029b7: PUSH2 0x2710 000029ba: PUSH2 0x09cf 000029bd: DUP9 000029be: DUP5 000029bf: PUSH4 0xffffffff 000029c4: PUSH2 0x23fa 000029c7: AND 000029c8: JUMP 000029c9: JUMPDEST 000029ca: SWAP4 000029cb: POP 000029cc: PUSH2 0x29e1 000029cf: PUSH2 0x2710 000029d2: PUSH2 0x09cf 000029d5: DUP9 000029d6: DUP6 000029d7: PUSH4 0xffffffff 000029dc: PUSH2 0x23fa 000029df: AND 000029e0: JUMP 000029e1: JUMPDEST 000029e2: SWAP5 000029e3: POP 000029e4: POP 000029e5: POP 000029e6: SWAP2 000029e7: SWAP4 000029e8: SWAP1 000029e9: SWAP3 000029ea: POP 000029eb: JUMP 000029ec: JUMPDEST 000029ed: PUSH1 0x00 000029ef: DUP1 000029f0: DUP1 000029f1: DUP1 000029f2: JUMPDEST 000029f3: DUP6 000029f4: MLOAD 000029f5: DUP2 000029f6: LT 000029f7: ISZERO 000029f8: PUSH2 0x2b65 000029fb: JUMPI 000029fc: PUSH1 0x00 000029fe: PUSH1 0x01 00002a00: PUSH1 0x01 00002a02: PUSH1 0xa0 00002a04: SHL 00002a05: SUB 00002a06: AND 00002a07: DUP7 00002a08: DUP3 00002a09: DUP2 00002a0a: MLOAD 00002a0b: DUP2 00002a0c: LT 00002a0d: PUSH2 0x2a12 00002a10: JUMPI 00002a11: INVALID 00002a12: JUMPDEST 00002a13: PUSH1 0x20 00002a15: MUL 00002a16: PUSH1 0x20 00002a18: ADD 00002a19: ADD 00002a1a: MLOAD 00002a1b: PUSH1 0x01 00002a1d: PUSH1 0x01 00002a1f: PUSH1 0xa0 00002a21: SHL 00002a22: SUB 00002a23: AND 00002a24: EQ 00002a25: ISZERO 00002a26: PUSH2 0x2a76 00002a29: JUMPI 00002a2a: PUSH1 0x40 00002a2c: DUP1 00002a2d: MLOAD 00002a2e: PUSH3 0x461bcd 00002a32: PUSH1 0xe5 00002a34: SHL 00002a35: DUP2 00002a36: MSTORE 00002a37: PUSH1 0x20 00002a39: PUSH1 0x04 00002a3b: DUP3 00002a3c: ADD 00002a3d: MSTORE 00002a3e: PUSH1 0x17 00002a40: PUSH1 0x24 00002a42: DUP3 00002a43: ADD 00002a44: MSTORE 00002a45: PUSH32 0x7265626174652077616c6c657420616464726573732030000000000000000000 00002a66: PUSH1 0x44 00002a68: DUP3 00002a69: ADD 00002a6a: MSTORE 00002a6b: SWAP1 00002a6c: MLOAD 00002a6d: SWAP1 00002a6e: DUP2 00002a6f: SWAP1 00002a70: SUB 00002a71: PUSH1 0x64 00002a73: ADD 00002a74: SWAP1 00002a75: REVERT 00002a76: JUMPDEST 00002a77: PUSH2 0x2aa2 00002a7a: PUSH2 0x2710 00002a7d: PUSH2 0x09cf 00002a80: DUP8 00002a81: DUP5 00002a82: DUP2 00002a83: MLOAD 00002a84: DUP2 00002a85: LT 00002a86: PUSH2 0x2a8b 00002a89: JUMPI 00002a8a: INVALID 00002a8b: JUMPDEST 00002a8c: PUSH1 0x20 00002a8e: MUL 00002a8f: PUSH1 0x20 00002a91: ADD 00002a92: ADD 00002a93: MLOAD 00002a94: DUP11 00002a95: PUSH2 0x23fa 00002a98: SWAP1 00002a99: SWAP2 00002a9a: SWAP1 00002a9b: PUSH4 0xffffffff 00002aa0: AND 00002aa1: JUMP 00002aa2: JUMPDEST 00002aa3: SWAP2 00002aa4: POP 00002aa5: PUSH2 0x2aef 00002aa8: DUP3 00002aa9: PUSH1 0x0a 00002aab: PUSH1 0x00 00002aad: DUP10 00002aae: DUP6 00002aaf: DUP2 00002ab0: MLOAD 00002ab1: DUP2 00002ab2: LT 00002ab3: PUSH2 0x2ab8 00002ab6: JUMPI 00002ab7: INVALID 00002ab8: JUMPDEST 00002ab9: PUSH1 0x20 00002abb: MUL 00002abc: PUSH1 0x20 00002abe: ADD 00002abf: ADD 00002ac0: MLOAD 00002ac1: PUSH1 0x01 00002ac3: PUSH1 0x01 00002ac5: PUSH1 0xa0 00002ac7: SHL 00002ac8: SUB 00002ac9: AND 00002aca: PUSH1 0x01 00002acc: PUSH1 0x01 00002ace: PUSH1 0xa0 00002ad0: SHL 00002ad1: SUB 00002ad2: AND 00002ad3: DUP2 00002ad4: MSTORE 00002ad5: PUSH1 0x20 00002ad7: ADD 00002ad8: SWAP1 00002ad9: DUP2 00002ada: MSTORE 00002adb: PUSH1 0x20 00002add: ADD 00002ade: PUSH1 0x00 00002ae0: KECCAK256 00002ae1: SLOAD 00002ae2: PUSH2 0x249e 00002ae5: SWAP1 00002ae6: SWAP2 00002ae7: SWAP1 00002ae8: PUSH4 0xffffffff 00002aed: AND 00002aee: JUMP 00002aef: JUMPDEST 00002af0: PUSH1 0x0a 00002af2: PUSH1 0x00 00002af4: DUP9 00002af5: DUP5 00002af6: DUP2 00002af7: MLOAD 00002af8: DUP2 00002af9: LT 00002afa: PUSH2 0x2aff 00002afd: JUMPI 00002afe: INVALID 00002aff: JUMPDEST 00002b00: PUSH1 0x20 00002b02: SWAP1 00002b03: DUP2 00002b04: MUL 00002b05: SWAP2 00002b06: SWAP1 00002b07: SWAP2 00002b08: ADD 00002b09: DUP2 00002b0a: ADD 00002b0b: MLOAD 00002b0c: PUSH1 0x01 00002b0e: PUSH1 0x01 00002b10: PUSH1 0xa0 00002b12: SHL 00002b13: SUB 00002b14: AND 00002b15: DUP3 00002b16: MSTORE 00002b17: DUP2 00002b18: ADD 00002b19: SWAP2 00002b1a: SWAP1 00002b1b: SWAP2 00002b1c: MSTORE 00002b1d: PUSH1 0x40 00002b1f: ADD 00002b20: PUSH1 0x00 00002b22: KECCAK256 00002b23: SSTORE 00002b24: PUSH2 0x2b33 00002b27: DUP5 00002b28: DUP4 00002b29: PUSH4 0xffffffff 00002b2e: PUSH2 0x249e 00002b31: AND 00002b32: JUMP 00002b33: JUMPDEST 00002b34: SWAP4 00002b35: POP 00002b36: PUSH2 0x2b5b 00002b39: DUP6 00002b3a: DUP3 00002b3b: DUP2 00002b3c: MLOAD 00002b3d: DUP2 00002b3e: LT 00002b3f: PUSH2 0x2b44 00002b42: JUMPI 00002b43: INVALID 00002b44: JUMPDEST 00002b45: PUSH1 0x20 00002b47: MUL 00002b48: PUSH1 0x20 00002b4a: ADD 00002b4b: ADD 00002b4c: MLOAD 00002b4d: DUP5 00002b4e: PUSH2 0x249e 00002b51: SWAP1 00002b52: SWAP2 00002b53: SWAP1 00002b54: PUSH4 0xffffffff 00002b59: AND 00002b5a: JUMP 00002b5b: JUMPDEST 00002b5c: SWAP3 00002b5d: POP 00002b5e: PUSH1 0x01 00002b60: ADD 00002b61: PUSH2 0x29f2 00002b64: JUMP 00002b65: JUMPDEST 00002b66: POP 00002b67: PUSH2 0x2710 00002b6a: DUP3 00002b6b: GT 00002b6c: ISZERO 00002b6d: PUSH2 0x2bbd 00002b70: JUMPI 00002b71: PUSH1 0x40 00002b73: DUP1 00002b74: MLOAD 00002b75: PUSH3 0x461bcd 00002b79: PUSH1 0xe5 00002b7b: SHL 00002b7c: DUP2 00002b7d: MSTORE 00002b7e: PUSH1 0x20 00002b80: PUSH1 0x04 00002b82: DUP3 00002b83: ADD 00002b84: MSTORE 00002b85: PUSH1 0x16 00002b87: PUSH1 0x24 00002b89: DUP3 00002b8a: ADD 00002b8b: MSTORE 00002b8c: PUSH32 0x72656261746573206d6f7265207468656e203130302500000000000000000000 00002bad: PUSH1 0x44 00002baf: DUP3 00002bb0: ADD 00002bb1: MSTORE 00002bb2: SWAP1 00002bb3: MLOAD 00002bb4: SWAP1 00002bb5: DUP2 00002bb6: SWAP1 00002bb7: SUB 00002bb8: PUSH1 0x64 00002bba: ADD 00002bbb: SWAP1 00002bbc: REVERT 00002bbd: JUMPDEST 00002bbe: POP 00002bbf: POP 00002bc0: SWAP4 00002bc1: SWAP3 00002bc2: POP 00002bc3: POP 00002bc4: POP 00002bc5: JUMP 00002bc6: JUMPDEST 00002bc7: PUSH1 0x00 00002bc9: DUP2 00002bca: DUP4 00002bcb: PUSH2 0x2c52 00002bce: JUMPI 00002bcf: PUSH1 0x40 00002bd1: MLOAD 00002bd2: PUSH3 0x461bcd 00002bd6: PUSH1 0xe5 00002bd8: SHL 00002bd9: DUP2 00002bda: MSTORE 00002bdb: PUSH1 0x04 00002bdd: ADD 00002bde: DUP1 00002bdf: DUP1 00002be0: PUSH1 0x20 00002be2: ADD 00002be3: DUP3 00002be4: DUP2 00002be5: SUB 00002be6: DUP3 00002be7: MSTORE 00002be8: DUP4 00002be9: DUP2 00002bea: DUP2 00002beb: MLOAD 00002bec: DUP2 00002bed: MSTORE 00002bee: PUSH1 0x20 00002bf0: ADD 00002bf1: SWAP2 00002bf2: POP 00002bf3: DUP1 00002bf4: MLOAD 00002bf5: SWAP1 00002bf6: PUSH1 0x20 00002bf8: ADD 00002bf9: SWAP1 00002bfa: DUP1 00002bfb: DUP4 00002bfc: DUP4 00002bfd: PUSH1 0x00 00002bff: JUMPDEST 00002c00: DUP4 00002c01: DUP2 00002c02: LT 00002c03: ISZERO 00002c04: PUSH2 0x2c17 00002c07: JUMPI 00002c08: DUP2 00002c09: DUP2 00002c0a: ADD 00002c0b: MLOAD 00002c0c: DUP4 00002c0d: DUP3 00002c0e: ADD 00002c0f: MSTORE 00002c10: PUSH1 0x20 00002c12: ADD 00002c13: PUSH2 0x2bff 00002c16: JUMP 00002c17: JUMPDEST 00002c18: POP 00002c19: POP 00002c1a: POP 00002c1b: POP 00002c1c: SWAP1 00002c1d: POP 00002c1e: SWAP1 00002c1f: DUP2 00002c20: ADD 00002c21: SWAP1 00002c22: PUSH1 0x1f 00002c24: AND 00002c25: DUP1 00002c26: ISZERO 00002c27: PUSH2 0x2c44 00002c2a: JUMPI 00002c2b: DUP1 00002c2c: DUP3 00002c2d: SUB 00002c2e: DUP1 00002c2f: MLOAD 00002c30: PUSH1 0x01 00002c32: DUP4 00002c33: PUSH1 0x20 00002c35: SUB 00002c36: PUSH2 0x0100 00002c39: EXP 00002c3a: SUB 00002c3b: NOT 00002c3c: AND 00002c3d: DUP2 00002c3e: MSTORE 00002c3f: PUSH1 0x20 00002c41: ADD 00002c42: SWAP2 00002c43: POP 00002c44: JUMPDEST 00002c45: POP 00002c46: SWAP3 00002c47: POP 00002c48: POP 00002c49: POP 00002c4a: PUSH1 0x40 00002c4c: MLOAD 00002c4d: DUP1 00002c4e: SWAP2 00002c4f: SUB 00002c50: SWAP1 00002c51: REVERT 00002c52: JUMPDEST 00002c53: POP 00002c54: PUSH1 0x00 00002c56: DUP4 00002c57: DUP6 00002c58: DUP2 00002c59: PUSH2 0x2c5e 00002c5c: JUMPI 00002c5d: INVALID 00002c5e: JUMPDEST 00002c5f: DIV 00002c60: SWAP6 00002c61: SWAP5 00002c62: POP 00002c63: POP 00002c64: POP 00002c65: POP 00002c66: POP 00002c67: JUMP 00002c68: JUMPDEST 00002c69: PUSH1 0x00 00002c6b: DUP2 00002c6c: DUP5 00002c6d: DUP5 00002c6e: GT 00002c6f: ISZERO 00002c70: PUSH2 0x2cba 00002c73: JUMPI 00002c74: PUSH1 0x40 00002c76: MLOAD 00002c77: PUSH3 0x461bcd 00002c7b: PUSH1 0xe5 00002c7d: SHL 00002c7e: DUP2 00002c7f: MSTORE 00002c80: PUSH1 0x20 00002c82: PUSH1 0x04 00002c84: DUP3 00002c85: ADD 00002c86: DUP2 00002c87: DUP2 00002c88: MSTORE 00002c89: DUP4 00002c8a: MLOAD 00002c8b: PUSH1 0x24 00002c8d: DUP5 00002c8e: ADD 00002c8f: MSTORE 00002c90: DUP4 00002c91: MLOAD 00002c92: SWAP1 00002c93: SWAP3 00002c94: DUP4 00002c95: SWAP3 00002c96: PUSH1 0x44 00002c98: SWAP1 00002c99: SWAP2 00002c9a: ADD 00002c9b: SWAP2 00002c9c: SWAP1 00002c9d: DUP6 00002c9e: ADD 00002c9f: SWAP1 00002ca0: DUP1 00002ca1: DUP4 00002ca2: DUP4 00002ca3: PUSH1 0x00 00002ca5: DUP4 00002ca6: ISZERO 00002ca7: PUSH2 0x2c17 00002caa: JUMPI 00002cab: DUP2 00002cac: DUP2 00002cad: ADD 00002cae: MLOAD 00002caf: DUP4 00002cb0: DUP3 00002cb1: ADD 00002cb2: MSTORE 00002cb3: PUSH1 0x20 00002cb5: ADD 00002cb6: PUSH2 0x2bff 00002cb9: JUMP 00002cba: JUMPDEST 00002cbb: POP 00002cbc: POP 00002cbd: POP 00002cbe: SWAP1 00002cbf: SUB 00002cc0: SWAP1 00002cc1: JUMP 00002cc2: JUMPDEST 00002cc3: PUSH1 0x40 00002cc5: MLOAD 00002cc6: DUP1 00002cc7: PUSH1 0x80 00002cc9: ADD 00002cca: PUSH1 0x40 00002ccc: MSTORE 00002ccd: DUP1 00002cce: PUSH1 0x00 00002cd0: DUP2 00002cd1: MSTORE 00002cd2: PUSH1 0x20 00002cd4: ADD 00002cd5: PUSH1 0x00 00002cd7: DUP2 00002cd8: MSTORE 00002cd9: PUSH1 0x20 00002cdb: ADD 00002cdc: PUSH1 0x00 00002cde: DUP2 00002cdf: MSTORE 00002ce0: PUSH1 0x20 00002ce2: ADD 00002ce3: PUSH1 0x00 00002ce5: DUP2 00002ce6: MSTORE 00002ce7: POP 00002ce8: SWAP1 00002ce9: JUMP 00002cea: INVALID 00002ceb: PUSH12 0x796265724e6574776f726b20 00002cf8: PUSH6 0x746820746f20 00002cff: PUSH12 0x6e63207261746520746f6f20 00002d0c: PUSH13 0x6f776d73672e76616c7565206e 00002d1a: PUSH16 0x7420657175616c20746f20746f74616c 00002d2b: KECCAK256 00002d2c: PUSH7 0x65657353616665 00002d34: UNKNOWN(0x4D) 00002d35: PUSH2 0x7468 00002d38: GASPRICE 00002d39: KECCAK256 00002d3a: PUSH14 0x756c7469706c69636174696f6e20 00002d49: PUSH16 0x766572666c6f77746f74616c20726577 00002d5a: PUSH2 0x7264 00002d5d: KECCAK256 00002d5e: PUSH13 0x657373207468616e2065706f63 00002d6c: PUSH9 0x207265776172647361 00002d76: PUSH15 0x697479207261746520697320307830 00002d86: UNKNOWN(0x2C) 00002d87: KECCAK256 00002d88: PUSH3 0x75726e 00002d8c: PUSH10 0x6e6720697320626c6f63 00002d97: PUSH12 0x6564a2646970667358221220 00002da4: UNKNOWN(0xE8) 00002da5: UNKNOWN(0x1F) 00002da6: PUSH3 0x57c07c 00002daa: SWAP14 00002dab: PUSH8 0x858765ef1d407ac9 00002db4: SWAP6 00002db5: CALLDATALOAD 00002db6: UNKNOWN(0xCF) 00002db7: BASEFEE 00002db8: UNKNOWN(0x4F) 00002db9: UNKNOWN(0xE5) 00002dba: UNKNOWN(0x22) 00002dbb: UNKNOWN(0x0C) 00002dbc: UNKNOWN(0xD6) 00002dbd: UNKNOWN(0xB7) 00002dbe: PUSH11 0xae54a8610e64736f6c6343 00002dca: STOP 00002dcb: MOD 00002dcc: MOD 00002dcd: STOP 00002dce: 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": "0xe61387e0",
"selector": "0xe61387e0",
"calldata_variants": [
"0xe61387e0",
"0xe61387e00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf0eeed81",
"selector": "0xf0eeed81",
"calldata_variants": [
"0xf0eeed81",
"0xf0eeed810000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf392e218",
"selector": "0xf392e218",
"calldata_variants": [
"0xf392e218",
"0xf392e2180000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf7ac3cbc",
"selector": "0xf7ac3cbc",
"calldata_variants": [
"0xf7ac3cbc",
"0xf7ac3cbc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb7c5ab41",
"selector": "0xb7c5ab41",
"calldata_variants": [
"0xb7c5ab41",
"0xb7c5ab410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc01bdf04",
"selector": "0xc01bdf04",
"calldata_variants": [
"0xc01bdf04",
"0xc01bdf040000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc03e798c",
"selector": "0xc03e798c",
"calldata_variants": [
"0xc03e798c",
"0xc03e798c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc6c3f3f9",
"selector": "0xc6c3f3f9",
"calldata_variants": [
"0xc6c3f3f9",
"0xc6c3f3f90000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 5299,
"type": "tx_origin_used"
},
{
"pc": 5297,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xa3a3ea722b62319b28535e3b8e55b4fff20338df260b16bb263f7d462969f50a
call_targets:
0xd3d2b5643e506c6d9b7099e9116d7aaa941114fe
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa3a3ea722b62319b28535e3b8e55b4fff20338df260b16bb263f7d462969f50a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xd3d2b5643e506c6d9b7099e9116d7aaa941114fe"
],
"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": "0xe61387e0",
"selector": "0xe61387e0",
"calldata_variants": [
"0xe61387e0",
"0xe61387e00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf0eeed81",
"selector": "0xf0eeed81",
"calldata_variants": [
"0xf0eeed81",
"0xf0eeed810000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf392e218",
"selector": "0xf392e218",
"calldata_variants": [
"0xf392e218",
"0xf392e2180000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf7ac3cbc",
"selector": "0xf7ac3cbc",
"calldata_variants": [
"0xf7ac3cbc",
"0xf7ac3cbc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb7c5ab41",
"selector": "0xb7c5ab41",
"calldata_variants": [
"0xb7c5ab41",
"0xb7c5ab410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc01bdf04",
"selector": "0xc01bdf04",
"calldata_variants": [
"0xc01bdf04",
"0xc01bdf040000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc03e798c",
"selector": "0xc03e798c",
"calldata_variants": [
"0xc03e798c",
"0xc03e798c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc6c3f3f9",
"selector": "0xc6c3f3f9",
"calldata_variants": [
"0xc6c3f3f9",
"0xc6c3f3f90000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2717,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5046,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5910,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 6,
"guards_detected": [
{
"pc": 5299,
"type": "tx_origin_used"
},
{
"pc": 5297,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 6
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xa3a3ea722b62319b28535e3b8e55b4fff20338df260b16bb263f7d462969f50a
call_targets:
0xd3d2b5643e506c6d9b7099e9116d7aaa941114fe
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa3a3ea722b62319b28535e3b8e55b4fff20338df260b16bb263f7d462969f50a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xd3d2b5643e506c6d9b7099e9116d7aaa941114fe"
],
"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": "0xe61387e0",
"selector": "0xe61387e0",
"calldata_variants": [
"0xe61387e0",
"0xe61387e00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf0eeed81",
"selector": "0xf0eeed81",
"calldata_variants": [
"0xf0eeed81",
"0xf0eeed810000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf392e218",
"selector": "0xf392e218",
"calldata_variants": [
"0xf392e218",
"0xf392e2180000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf7ac3cbc",
"selector": "0xf7ac3cbc",
"calldata_variants": [
"0xf7ac3cbc",
"0xf7ac3cbc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb7c5ab41",
"selector": "0xb7c5ab41",
"calldata_variants": [
"0xb7c5ab41",
"0xb7c5ab410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc01bdf04",
"selector": "0xc01bdf04",
"calldata_variants": [
"0xc01bdf04",
"0xc01bdf040000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc03e798c",
"selector": "0xc03e798c",
"calldata_variants": [
"0xc03e798c",
"0xc03e798c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc6c3f3f9",
"selector": "0xc6c3f3f9",
"calldata_variants": [
"0xc6c3f3f9",
"0xc6c3f3f90000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2717,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5046,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5910,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 6,
"guards_detected": [
{
"pc": 5299,
"type": "tx_origin_used"
},
{
"pc": 5297,
"type": "tx_origin_used"
}
]
}
|