019b477e-c53b-7334-81e1-3b959d114bc4
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 |
|---|---|---|---|---|
| 25543 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 25544 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 68706 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 68707 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 68708 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 68709 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x026b 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x892ba408 00000019: GT 0000001a: PUSH2 0x0144 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xc18bc195 00000024: GT 00000025: PUSH2 0x00b6 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xdd62ed3e 0000002f: GT 00000030: PUSH2 0x007a 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xdd62ed3e 0000003a: EQ 0000003b: PUSH2 0x0793 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xe2f45605 00000045: EQ 00000046: PUSH2 0x07d9 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xe884f260 00000050: EQ 00000051: PUSH2 0x07ef 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf25f4b56 0000005b: EQ 0000005c: PUSH2 0x0804 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0xf2fde38b 00000066: EQ 00000067: PUSH2 0x0824 0000006a: JUMPI 0000006b: DUP1 0000006c: PUSH4 0xf8b45b05 00000071: EQ 00000072: PUSH2 0x0844 00000075: JUMPI 00000076: PUSH1 0x00 00000078: DUP1 00000079: REVERT 0000007a: JUMPDEST 0000007b: DUP1 0000007c: PUSH4 0xc18bc195 00000081: EQ 00000082: PUSH2 0x070d 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xc876d0b9 0000008c: EQ 0000008d: PUSH2 0x072d 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0xc8c8ebe4 00000097: EQ 00000098: PUSH2 0x0747 0000009b: JUMPI 0000009c: DUP1 0000009d: PUSH4 0xd257b34f 000000a2: EQ 000000a3: PUSH2 0x075d 000000a6: JUMPI 000000a7: DUP1 000000a8: PUSH4 0xd85ba063 000000ad: EQ 000000ae: PUSH2 0x077d 000000b1: JUMPI 000000b2: PUSH1 0x00 000000b4: DUP1 000000b5: REVERT 000000b6: JUMPDEST 000000b7: DUP1 000000b8: PUSH4 0xa457c2d7 000000bd: GT 000000be: PUSH2 0x0108 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0xa457c2d7 000000c8: EQ 000000c9: PUSH2 0x063e 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0xa9059cbb 000000d3: EQ 000000d4: PUSH2 0x065e 000000d7: JUMPI 000000d8: DUP1 000000d9: PUSH4 0xb62496f5 000000de: EQ 000000df: PUSH2 0x067e 000000e2: JUMPI 000000e3: DUP1 000000e4: PUSH4 0xbbc0c742 000000e9: EQ 000000ea: PUSH2 0x06ae 000000ed: JUMPI 000000ee: DUP1 000000ef: PUSH4 0xc0246668 000000f4: EQ 000000f5: PUSH2 0x06cd 000000f8: JUMPI 000000f9: DUP1 000000fa: PUSH4 0xc17b5b8c 000000ff: EQ 00000100: PUSH2 0x06ed 00000103: JUMPI 00000104: PUSH1 0x00 00000106: DUP1 00000107: REVERT 00000108: JUMPDEST 00000109: DUP1 0000010a: PUSH4 0x892ba408 0000010f: EQ 00000110: PUSH2 0x05b6 00000113: JUMPI 00000114: DUP1 00000115: PUSH4 0x8a8c523c 0000011a: EQ 0000011b: PUSH2 0x05d6 0000011e: JUMPI 0000011f: DUP1 00000120: PUSH4 0x8da5cb5b 00000125: EQ 00000126: PUSH2 0x05eb 00000129: JUMPI 0000012a: DUP1 0000012b: PUSH4 0x95d89b41 00000130: EQ 00000131: PUSH2 0x0609 00000134: JUMPI 00000135: DUP1 00000136: PUSH4 0x9a7a23d6 0000013b: EQ 0000013c: PUSH2 0x061e 0000013f: JUMPI 00000140: PUSH1 0x00 00000142: DUP1 00000143: REVERT 00000144: JUMPDEST 00000145: DUP1 00000146: PUSH4 0x49bd5a5e 0000014b: GT 0000014c: PUSH2 0x01dd 0000014f: JUMPI 00000150: DUP1 00000151: PUSH4 0x6a486a8e 00000156: GT 00000157: PUSH2 0x01a1 0000015a: JUMPI 0000015b: DUP1 0000015c: PUSH4 0x6a486a8e 00000161: EQ 00000162: PUSH2 0x0500 00000165: JUMPI 00000166: DUP1 00000167: PUSH4 0x70a08231 0000016c: EQ 0000016d: PUSH2 0x0516 00000170: JUMPI 00000171: DUP1 00000172: PUSH4 0x715018a6 00000177: EQ 00000178: PUSH2 0x054c 0000017b: JUMPI 0000017c: DUP1 0000017d: PUSH4 0x751039fc 00000182: EQ 00000183: PUSH2 0x0561 00000186: JUMPI 00000187: DUP1 00000188: PUSH4 0x7571336a 0000018d: EQ 0000018e: PUSH2 0x0576 00000191: JUMPI 00000192: DUP1 00000193: PUSH4 0x8095d564 00000198: EQ 00000199: PUSH2 0x0596 0000019c: JUMPI 0000019d: PUSH1 0x00 0000019f: DUP1 000001a0: REVERT 000001a1: JUMPDEST 000001a2: DUP1 000001a3: PUSH4 0x49bd5a5e 000001a8: EQ 000001a9: PUSH2 0x0439 000001ac: JUMPI 000001ad: DUP1 000001ae: PUSH4 0x4a62bb65 000001b3: EQ 000001b4: PUSH2 0x046d 000001b7: JUMPI 000001b8: DUP1 000001b9: PUSH4 0x4fbee193 000001be: EQ 000001bf: PUSH2 0x0487 000001c2: JUMPI 000001c3: DUP1 000001c4: PUSH4 0x5e80148e 000001c9: EQ 000001ca: PUSH2 0x04c0 000001cd: JUMPI 000001ce: DUP1 000001cf: PUSH4 0x66718524 000001d4: EQ 000001d5: PUSH2 0x04e0 000001d8: JUMPI 000001d9: PUSH1 0x00 000001db: DUP1 000001dc: REVERT 000001dd: JUMPDEST 000001de: DUP1 000001df: PUSH4 0x18160ddd 000001e4: GT 000001e5: PUSH2 0x022f 000001e8: JUMPI 000001e9: DUP1 000001ea: PUSH4 0x18160ddd 000001ef: EQ 000001f0: PUSH2 0x0387 000001f3: JUMPI 000001f4: DUP1 000001f5: PUSH4 0x203e727e 000001fa: EQ 000001fb: PUSH2 0x03a6 000001fe: JUMPI 000001ff: DUP1 00000200: PUSH4 0x23b872dd 00000205: EQ 00000206: PUSH2 0x03c8 00000209: JUMPI 0000020a: DUP1 0000020b: PUSH4 0x313ce567 00000210: EQ 00000211: PUSH2 0x03e8 00000214: JUMPI 00000215: DUP1 00000216: PUSH4 0x39509351 0000021b: EQ 0000021c: PUSH2 0x0404 0000021f: JUMPI 00000220: DUP1 00000221: PUSH4 0x476343ee 00000226: EQ 00000227: PUSH2 0x0424 0000022a: JUMPI 0000022b: PUSH1 0x00 0000022d: DUP1 0000022e: REVERT 0000022f: JUMPDEST 00000230: DUP1 00000231: PUSH4 0x06fdde03 00000236: EQ 00000237: PUSH2 0x0277 0000023a: JUMPI 0000023b: DUP1 0000023c: PUSH4 0x095ea7b3 00000241: EQ 00000242: PUSH2 0x02a2 00000245: JUMPI 00000246: DUP1 00000247: PUSH4 0x0f3a325f 0000024c: EQ 0000024d: PUSH2 0x02d2 00000250: JUMPI 00000251: DUP1 00000252: PUSH4 0x10d5de53 00000257: EQ 00000258: PUSH2 0x030b 0000025b: JUMPI 0000025c: DUP1 0000025d: PUSH4 0x1694505e 00000262: EQ 00000263: PUSH2 0x033b 00000266: JUMPI 00000267: PUSH1 0x00 00000269: DUP1 0000026a: REVERT 0000026b: JUMPDEST 0000026c: CALLDATASIZE 0000026d: PUSH2 0x0272 00000270: JUMPI 00000271: STOP 00000272: JUMPDEST 00000273: PUSH1 0x00 00000275: DUP1 00000276: REVERT 00000277: JUMPDEST 00000278: CALLVALUE 00000279: DUP1 0000027a: ISZERO 0000027b: PUSH2 0x0283 0000027e: JUMPI 0000027f: PUSH1 0x00 00000281: DUP1 00000282: REVERT 00000283: JUMPDEST 00000284: POP 00000285: PUSH2 0x028c 00000288: PUSH2 0x085a 0000028b: JUMP 0000028c: JUMPDEST 0000028d: PUSH1 0x40 0000028f: MLOAD 00000290: PUSH2 0x0299 00000293: SWAP2 00000294: SWAP1 00000295: PUSH2 0x2660 00000298: JUMP 00000299: JUMPDEST 0000029a: PUSH1 0x40 0000029c: MLOAD 0000029d: DUP1 0000029e: SWAP2 0000029f: SUB 000002a0: SWAP1 000002a1: RETURN 000002a2: JUMPDEST 000002a3: CALLVALUE 000002a4: DUP1 000002a5: ISZERO 000002a6: PUSH2 0x02ae 000002a9: JUMPI 000002aa: PUSH1 0x00 000002ac: DUP1 000002ad: REVERT 000002ae: JUMPDEST 000002af: POP 000002b0: PUSH2 0x02c2 000002b3: PUSH2 0x02bd 000002b6: CALLDATASIZE 000002b7: PUSH1 0x04 000002b9: PUSH2 0x26d5 000002bc: JUMP 000002bd: JUMPDEST 000002be: PUSH2 0x08ec 000002c1: JUMP 000002c2: JUMPDEST 000002c3: PUSH1 0x40 000002c5: MLOAD 000002c6: SWAP1 000002c7: ISZERO 000002c8: ISZERO 000002c9: DUP2 000002ca: MSTORE 000002cb: PUSH1 0x20 000002cd: ADD 000002ce: PUSH2 0x0299 000002d1: JUMP 000002d2: JUMPDEST 000002d3: CALLVALUE 000002d4: DUP1 000002d5: ISZERO 000002d6: PUSH2 0x02de 000002d9: JUMPI 000002da: PUSH1 0x00 000002dc: DUP1 000002dd: REVERT 000002de: JUMPDEST 000002df: POP 000002e0: PUSH2 0x02c2 000002e3: PUSH2 0x02ed 000002e6: CALLDATASIZE 000002e7: PUSH1 0x04 000002e9: PUSH2 0x2701 000002ec: JUMP 000002ed: JUMPDEST 000002ee: PUSH1 0x01 000002f0: PUSH1 0x01 000002f2: PUSH1 0xa0 000002f4: SHL 000002f5: SUB 000002f6: AND 000002f7: PUSH1 0x00 000002f9: SWAP1 000002fa: DUP2 000002fb: MSTORE 000002fc: PUSH1 0x06 000002fe: PUSH1 0x20 00000300: MSTORE 00000301: PUSH1 0x40 00000303: SWAP1 00000304: KECCAK256 00000305: SLOAD 00000306: PUSH1 0xff 00000308: AND 00000309: SWAP1 0000030a: JUMP 0000030b: JUMPDEST 0000030c: CALLVALUE 0000030d: DUP1 0000030e: ISZERO 0000030f: PUSH2 0x0317 00000312: JUMPI 00000313: PUSH1 0x00 00000315: DUP1 00000316: REVERT 00000317: JUMPDEST 00000318: POP 00000319: PUSH2 0x02c2 0000031c: PUSH2 0x0326 0000031f: CALLDATASIZE 00000320: PUSH1 0x04 00000322: PUSH2 0x2701 00000325: JUMP 00000326: JUMPDEST 00000327: PUSH1 0x1c 00000329: PUSH1 0x20 0000032b: MSTORE 0000032c: PUSH1 0x00 0000032e: SWAP1 0000032f: DUP2 00000330: MSTORE 00000331: PUSH1 0x40 00000333: SWAP1 00000334: KECCAK256 00000335: SLOAD 00000336: PUSH1 0xff 00000338: AND 00000339: DUP2 0000033a: JUMP 0000033b: JUMPDEST 0000033c: CALLVALUE 0000033d: DUP1 0000033e: ISZERO 0000033f: PUSH2 0x0347 00000342: JUMPI 00000343: PUSH1 0x00 00000345: DUP1 00000346: REVERT 00000347: JUMPDEST 00000348: POP 00000349: PUSH2 0x036f 0000034c: PUSH32 0x00000000000000000000000003f7724180aa6b939894b5ca4314783b0b36b329 0000036d: DUP2 0000036e: JUMP 0000036f: JUMPDEST 00000370: PUSH1 0x40 00000372: MLOAD 00000373: PUSH1 0x01 00000375: PUSH1 0x01 00000377: PUSH1 0xa0 00000379: SHL 0000037a: SUB 0000037b: SWAP1 0000037c: SWAP2 0000037d: AND 0000037e: DUP2 0000037f: MSTORE 00000380: PUSH1 0x20 00000382: ADD 00000383: PUSH2 0x0299 00000386: JUMP 00000387: JUMPDEST 00000388: CALLVALUE 00000389: DUP1 0000038a: ISZERO 0000038b: PUSH2 0x0393 0000038e: JUMPI 0000038f: PUSH1 0x00 00000391: DUP1 00000392: REVERT 00000393: JUMPDEST 00000394: POP 00000395: PUSH1 0x02 00000397: SLOAD 00000398: JUMPDEST 00000399: PUSH1 0x40 0000039b: MLOAD 0000039c: SWAP1 0000039d: DUP2 0000039e: MSTORE 0000039f: PUSH1 0x20 000003a1: ADD 000003a2: PUSH2 0x0299 000003a5: JUMP 000003a6: JUMPDEST 000003a7: CALLVALUE 000003a8: DUP1 000003a9: ISZERO 000003aa: PUSH2 0x03b2 000003ad: JUMPI 000003ae: PUSH1 0x00 000003b0: DUP1 000003b1: REVERT 000003b2: JUMPDEST 000003b3: POP 000003b4: PUSH2 0x03c6 000003b7: PUSH2 0x03c1 000003ba: CALLDATASIZE 000003bb: PUSH1 0x04 000003bd: PUSH2 0x271e 000003c0: JUMP 000003c1: JUMPDEST 000003c2: PUSH2 0x0903 000003c5: JUMP 000003c6: JUMPDEST 000003c7: STOP 000003c8: JUMPDEST 000003c9: CALLVALUE 000003ca: DUP1 000003cb: ISZERO 000003cc: PUSH2 0x03d4 000003cf: JUMPI 000003d0: PUSH1 0x00 000003d2: DUP1 000003d3: REVERT 000003d4: JUMPDEST 000003d5: POP 000003d6: PUSH2 0x02c2 000003d9: PUSH2 0x03e3 000003dc: CALLDATASIZE 000003dd: PUSH1 0x04 000003df: PUSH2 0x2737 000003e2: JUMP 000003e3: JUMPDEST 000003e4: PUSH2 0x09e1 000003e7: JUMP 000003e8: JUMPDEST 000003e9: CALLVALUE 000003ea: DUP1 000003eb: ISZERO 000003ec: PUSH2 0x03f4 000003ef: JUMPI 000003f0: PUSH1 0x00 000003f2: DUP1 000003f3: REVERT 000003f4: JUMPDEST 000003f5: POP 000003f6: PUSH1 0x40 000003f8: MLOAD 000003f9: PUSH1 0x09 000003fb: DUP2 000003fc: MSTORE 000003fd: PUSH1 0x20 000003ff: ADD 00000400: PUSH2 0x0299 00000403: JUMP 00000404: JUMPDEST 00000405: CALLVALUE 00000406: DUP1 00000407: ISZERO 00000408: PUSH2 0x0410 0000040b: JUMPI 0000040c: PUSH1 0x00 0000040e: DUP1 0000040f: REVERT 00000410: JUMPDEST 00000411: POP 00000412: PUSH2 0x02c2 00000415: PUSH2 0x041f 00000418: CALLDATASIZE 00000419: PUSH1 0x04 0000041b: PUSH2 0x26d5 0000041e: JUMP 0000041f: JUMPDEST 00000420: PUSH2 0x0a4a 00000423: JUMP 00000424: JUMPDEST 00000425: CALLVALUE 00000426: DUP1 00000427: ISZERO 00000428: PUSH2 0x0430 0000042b: JUMPI 0000042c: PUSH1 0x00 0000042e: DUP1 0000042f: REVERT 00000430: JUMPDEST 00000431: POP 00000432: PUSH2 0x03c6 00000435: PUSH2 0x0a80 00000438: JUMP 00000439: JUMPDEST 0000043a: CALLVALUE 0000043b: DUP1 0000043c: ISZERO 0000043d: PUSH2 0x0445 00000440: JUMPI 00000441: PUSH1 0x00 00000443: DUP1 00000444: REVERT 00000445: JUMPDEST 00000446: POP 00000447: PUSH2 0x036f 0000044a: PUSH32 0x000000000000000000000000870de806a9cf1e687076998f1618ae0d82e4c43b 0000046b: DUP2 0000046c: JUMP 0000046d: JUMPDEST 0000046e: CALLVALUE 0000046f: DUP1 00000470: ISZERO 00000471: PUSH2 0x0479 00000474: JUMPI 00000475: PUSH1 0x00 00000477: DUP1 00000478: REVERT 00000479: JUMPDEST 0000047a: POP 0000047b: PUSH1 0x0d 0000047d: SLOAD 0000047e: PUSH2 0x02c2 00000481: SWAP1 00000482: PUSH1 0xff 00000484: AND 00000485: DUP2 00000486: JUMP 00000487: JUMPDEST 00000488: CALLVALUE 00000489: DUP1 0000048a: ISZERO 0000048b: PUSH2 0x0493 0000048e: JUMPI 0000048f: PUSH1 0x00 00000491: DUP1 00000492: REVERT 00000493: JUMPDEST 00000494: POP 00000495: PUSH2 0x02c2 00000498: PUSH2 0x04a2 0000049b: CALLDATASIZE 0000049c: PUSH1 0x04 0000049e: PUSH2 0x2701 000004a1: JUMP 000004a2: JUMPDEST 000004a3: PUSH1 0x01 000004a5: PUSH1 0x01 000004a7: PUSH1 0xa0 000004a9: SHL 000004aa: SUB 000004ab: AND 000004ac: PUSH1 0x00 000004ae: SWAP1 000004af: DUP2 000004b0: MSTORE 000004b1: PUSH1 0x1b 000004b3: PUSH1 0x20 000004b5: MSTORE 000004b6: PUSH1 0x40 000004b8: SWAP1 000004b9: KECCAK256 000004ba: SLOAD 000004bb: PUSH1 0xff 000004bd: AND 000004be: SWAP1 000004bf: JUMP 000004c0: JUMPDEST 000004c1: CALLVALUE 000004c2: DUP1 000004c3: ISZERO 000004c4: PUSH2 0x04cc 000004c7: JUMPI 000004c8: PUSH1 0x00 000004ca: DUP1 000004cb: REVERT 000004cc: JUMPDEST 000004cd: POP 000004ce: PUSH2 0x03c6 000004d1: PUSH2 0x04db 000004d4: CALLDATASIZE 000004d5: PUSH1 0x04 000004d7: PUSH2 0x278e 000004da: JUMP 000004db: JUMPDEST 000004dc: PUSH2 0x0abc 000004df: JUMP 000004e0: JUMPDEST 000004e1: CALLVALUE 000004e2: DUP1 000004e3: ISZERO 000004e4: PUSH2 0x04ec 000004e7: JUMPI 000004e8: PUSH1 0x00 000004ea: DUP1 000004eb: REVERT 000004ec: JUMPDEST 000004ed: POP 000004ee: PUSH2 0x03c6 000004f1: PUSH2 0x04fb 000004f4: CALLDATASIZE 000004f5: PUSH1 0x04 000004f7: PUSH2 0x2701 000004fa: JUMP 000004fb: JUMPDEST 000004fc: PUSH2 0x0c0b 000004ff: JUMP 00000500: JUMPDEST 00000501: CALLVALUE 00000502: DUP1 00000503: ISZERO 00000504: PUSH2 0x050c 00000507: JUMPI 00000508: PUSH1 0x00 0000050a: DUP1 0000050b: REVERT 0000050c: JUMPDEST 0000050d: POP 0000050e: PUSH2 0x0398 00000511: PUSH1 0x14 00000513: SLOAD 00000514: DUP2 00000515: JUMP 00000516: JUMPDEST 00000517: CALLVALUE 00000518: DUP1 00000519: ISZERO 0000051a: PUSH2 0x0522 0000051d: JUMPI 0000051e: PUSH1 0x00 00000520: DUP1 00000521: REVERT 00000522: JUMPDEST 00000523: POP 00000524: PUSH2 0x0398 00000527: PUSH2 0x0531 0000052a: CALLDATASIZE 0000052b: PUSH1 0x04 0000052d: PUSH2 0x2701 00000530: JUMP 00000531: JUMPDEST 00000532: PUSH1 0x01 00000534: PUSH1 0x01 00000536: PUSH1 0xa0 00000538: SHL 00000539: SUB 0000053a: AND 0000053b: PUSH1 0x00 0000053d: SWAP1 0000053e: DUP2 0000053f: MSTORE 00000540: PUSH1 0x20 00000542: DUP2 00000543: SWAP1 00000544: MSTORE 00000545: PUSH1 0x40 00000547: SWAP1 00000548: KECCAK256 00000549: SLOAD 0000054a: SWAP1 0000054b: JUMP 0000054c: JUMPDEST 0000054d: CALLVALUE 0000054e: DUP1 0000054f: ISZERO 00000550: PUSH2 0x0558 00000553: JUMPI 00000554: PUSH1 0x00 00000556: DUP1 00000557: REVERT 00000558: JUMPDEST 00000559: POP 0000055a: PUSH2 0x03c6 0000055d: PUSH2 0x0c92 00000560: JUMP 00000561: JUMPDEST 00000562: CALLVALUE 00000563: DUP1 00000564: ISZERO 00000565: PUSH2 0x056d 00000568: JUMPI 00000569: PUSH1 0x00 0000056b: DUP1 0000056c: REVERT 0000056d: JUMPDEST 0000056e: POP 0000056f: PUSH2 0x02c2 00000572: PUSH2 0x0d06 00000575: JUMP 00000576: JUMPDEST 00000577: CALLVALUE 00000578: DUP1 00000579: ISZERO 0000057a: PUSH2 0x0582 0000057d: JUMPI 0000057e: PUSH1 0x00 00000580: DUP1 00000581: REVERT 00000582: JUMPDEST 00000583: POP 00000584: PUSH2 0x03c6 00000587: PUSH2 0x0591 0000058a: CALLDATASIZE 0000058b: PUSH1 0x04 0000058d: PUSH2 0x2853 00000590: JUMP 00000591: JUMPDEST 00000592: PUSH2 0x0d43 00000595: JUMP 00000596: JUMPDEST 00000597: CALLVALUE 00000598: DUP1 00000599: ISZERO 0000059a: PUSH2 0x05a2 0000059d: JUMPI 0000059e: PUSH1 0x00 000005a0: DUP1 000005a1: REVERT 000005a2: JUMPDEST 000005a3: POP 000005a4: PUSH2 0x03c6 000005a7: PUSH2 0x05b1 000005aa: CALLDATASIZE 000005ab: PUSH1 0x04 000005ad: PUSH2 0x2891 000005b0: JUMP 000005b1: JUMPDEST 000005b2: PUSH2 0x0d98 000005b5: JUMP 000005b6: JUMPDEST 000005b7: CALLVALUE 000005b8: DUP1 000005b9: ISZERO 000005ba: PUSH2 0x05c2 000005bd: JUMPI 000005be: PUSH1 0x00 000005c0: DUP1 000005c1: REVERT 000005c2: JUMPDEST 000005c3: POP 000005c4: PUSH2 0x03c6 000005c7: PUSH2 0x05d1 000005ca: CALLDATASIZE 000005cb: PUSH1 0x04 000005cd: PUSH2 0x278e 000005d0: JUMP 000005d1: JUMPDEST 000005d2: PUSH2 0x0e40 000005d5: JUMP 000005d6: JUMPDEST 000005d7: CALLVALUE 000005d8: DUP1 000005d9: ISZERO 000005da: PUSH2 0x05e2 000005dd: JUMPI 000005de: PUSH1 0x00 000005e0: DUP1 000005e1: REVERT 000005e2: JUMPDEST 000005e3: POP 000005e4: PUSH2 0x03c6 000005e7: PUSH2 0x0ed2 000005ea: JUMP 000005eb: JUMPDEST 000005ec: CALLVALUE 000005ed: DUP1 000005ee: ISZERO 000005ef: PUSH2 0x05f7 000005f2: JUMPI 000005f3: PUSH1 0x00 000005f5: DUP1 000005f6: REVERT 000005f7: JUMPDEST 000005f8: POP 000005f9: PUSH1 0x05 000005fb: SLOAD 000005fc: PUSH1 0x01 000005fe: PUSH1 0x01 00000600: PUSH1 0xa0 00000602: SHL 00000603: SUB 00000604: AND 00000605: PUSH2 0x036f 00000608: JUMP 00000609: JUMPDEST 0000060a: CALLVALUE 0000060b: DUP1 0000060c: ISZERO 0000060d: PUSH2 0x0615 00000610: JUMPI 00000611: PUSH1 0x00 00000613: DUP1 00000614: REVERT 00000615: JUMPDEST 00000616: POP 00000617: PUSH2 0x028c 0000061a: PUSH2 0x0f11 0000061d: JUMP 0000061e: JUMPDEST 0000061f: CALLVALUE 00000620: DUP1 00000621: ISZERO 00000622: PUSH2 0x062a 00000625: JUMPI 00000626: PUSH1 0x00 00000628: DUP1 00000629: REVERT 0000062a: JUMPDEST 0000062b: POP 0000062c: PUSH2 0x03c6 0000062f: PUSH2 0x0639 00000632: CALLDATASIZE 00000633: PUSH1 0x04 00000635: PUSH2 0x2853 00000638: JUMP 00000639: JUMPDEST 0000063a: PUSH2 0x0f20 0000063d: JUMP 0000063e: JUMPDEST 0000063f: CALLVALUE 00000640: DUP1 00000641: ISZERO 00000642: PUSH2 0x064a 00000645: JUMPI 00000646: PUSH1 0x00 00000648: DUP1 00000649: REVERT 0000064a: JUMPDEST 0000064b: POP 0000064c: PUSH2 0x02c2 0000064f: PUSH2 0x0659 00000652: CALLDATASIZE 00000653: PUSH1 0x04 00000655: PUSH2 0x26d5 00000658: JUMP 00000659: JUMPDEST 0000065a: PUSH2 0x0ffc 0000065d: JUMP 0000065e: JUMPDEST 0000065f: CALLVALUE 00000660: DUP1 00000661: ISZERO 00000662: PUSH2 0x066a 00000665: JUMPI 00000666: PUSH1 0x00 00000668: DUP1 00000669: REVERT 0000066a: JUMPDEST 0000066b: POP 0000066c: PUSH2 0x02c2 0000066f: PUSH2 0x0679 00000672: CALLDATASIZE 00000673: PUSH1 0x04 00000675: PUSH2 0x26d5 00000678: JUMP 00000679: JUMPDEST 0000067a: PUSH2 0x104b 0000067d: JUMP 0000067e: JUMPDEST 0000067f: CALLVALUE 00000680: DUP1 00000681: ISZERO 00000682: PUSH2 0x068a 00000685: JUMPI 00000686: PUSH1 0x00 00000688: DUP1 00000689: REVERT 0000068a: JUMPDEST 0000068b: POP 0000068c: PUSH2 0x02c2 0000068f: PUSH2 0x0699 00000692: CALLDATASIZE 00000693: PUSH1 0x04 00000695: PUSH2 0x2701 00000698: JUMP 00000699: JUMPDEST 0000069a: PUSH1 0x1d 0000069c: PUSH1 0x20 0000069e: MSTORE 0000069f: PUSH1 0x00 000006a1: SWAP1 000006a2: DUP2 000006a3: MSTORE 000006a4: PUSH1 0x40 000006a6: SWAP1 000006a7: KECCAK256 000006a8: SLOAD 000006a9: PUSH1 0xff 000006ab: AND 000006ac: DUP2 000006ad: JUMP 000006ae: JUMPDEST 000006af: CALLVALUE 000006b0: DUP1 000006b1: ISZERO 000006b2: PUSH2 0x06ba 000006b5: JUMPI 000006b6: PUSH1 0x00 000006b8: DUP1 000006b9: REVERT 000006ba: JUMPDEST 000006bb: POP 000006bc: PUSH1 0x0d 000006be: SLOAD 000006bf: PUSH2 0x02c2 000006c2: SWAP1 000006c3: PUSH2 0x0100 000006c6: SWAP1 000006c7: DIV 000006c8: PUSH1 0xff 000006ca: AND 000006cb: DUP2 000006cc: JUMP 000006cd: JUMPDEST 000006ce: CALLVALUE 000006cf: DUP1 000006d0: ISZERO 000006d1: PUSH2 0x06d9 000006d4: JUMPI 000006d5: PUSH1 0x00 000006d7: DUP1 000006d8: REVERT 000006d9: JUMPDEST 000006da: POP 000006db: PUSH2 0x03c6 000006de: PUSH2 0x06e8 000006e1: CALLDATASIZE 000006e2: PUSH1 0x04 000006e4: PUSH2 0x2853 000006e7: JUMP 000006e8: JUMPDEST 000006e9: PUSH2 0x1058 000006ec: JUMP 000006ed: JUMPDEST 000006ee: CALLVALUE 000006ef: DUP1 000006f0: ISZERO 000006f1: PUSH2 0x06f9 000006f4: JUMPI 000006f5: PUSH1 0x00 000006f7: DUP1 000006f8: REVERT 000006f9: JUMPDEST 000006fa: POP 000006fb: PUSH2 0x03c6 000006fe: PUSH2 0x0708 00000701: CALLDATASIZE 00000702: PUSH1 0x04 00000704: PUSH2 0x2891 00000707: JUMP 00000708: JUMPDEST 00000709: PUSH2 0x10e1 0000070c: JUMP 0000070d: JUMPDEST 0000070e: CALLVALUE 0000070f: DUP1 00000710: ISZERO 00000711: PUSH2 0x0719 00000714: JUMPI 00000715: PUSH1 0x00 00000717: DUP1 00000718: REVERT 00000719: JUMPDEST 0000071a: POP 0000071b: PUSH2 0x03c6 0000071e: PUSH2 0x0728 00000721: CALLDATASIZE 00000722: PUSH1 0x04 00000724: PUSH2 0x271e 00000727: JUMP 00000728: JUMPDEST 00000729: PUSH2 0x1184 0000072c: JUMP 0000072d: JUMPDEST 0000072e: CALLVALUE 0000072f: DUP1 00000730: ISZERO 00000731: PUSH2 0x0739 00000734: JUMPI 00000735: PUSH1 0x00 00000737: DUP1 00000738: REVERT 00000739: JUMPDEST 0000073a: POP 0000073b: PUSH1 0x0f 0000073d: SLOAD 0000073e: PUSH2 0x02c2 00000741: SWAP1 00000742: PUSH1 0xff 00000744: AND 00000745: DUP2 00000746: JUMP 00000747: JUMPDEST 00000748: CALLVALUE 00000749: DUP1 0000074a: ISZERO 0000074b: PUSH2 0x0753 0000074e: JUMPI 0000074f: PUSH1 0x00 00000751: DUP1 00000752: REVERT 00000753: JUMPDEST 00000754: POP 00000755: PUSH2 0x0398 00000758: PUSH1 0x0a 0000075a: SLOAD 0000075b: DUP2 0000075c: JUMP 0000075d: JUMPDEST 0000075e: CALLVALUE 0000075f: DUP1 00000760: ISZERO 00000761: PUSH2 0x0769 00000764: JUMPI 00000765: PUSH1 0x00 00000767: DUP1 00000768: REVERT 00000769: JUMPDEST 0000076a: POP 0000076b: PUSH2 0x02c2 0000076e: PUSH2 0x0778 00000771: CALLDATASIZE 00000772: PUSH1 0x04 00000774: PUSH2 0x271e 00000777: JUMP 00000778: JUMPDEST 00000779: PUSH2 0x124d 0000077c: JUMP 0000077d: JUMPDEST 0000077e: CALLVALUE 0000077f: DUP1 00000780: ISZERO 00000781: PUSH2 0x0789 00000784: JUMPI 00000785: PUSH1 0x00 00000787: DUP1 00000788: REVERT 00000789: JUMPDEST 0000078a: POP 0000078b: PUSH2 0x0398 0000078e: PUSH1 0x10 00000790: SLOAD 00000791: DUP2 00000792: JUMP 00000793: JUMPDEST 00000794: CALLVALUE 00000795: DUP1 00000796: ISZERO 00000797: PUSH2 0x079f 0000079a: JUMPI 0000079b: PUSH1 0x00 0000079d: DUP1 0000079e: REVERT 0000079f: JUMPDEST 000007a0: POP 000007a1: PUSH2 0x0398 000007a4: PUSH2 0x07ae 000007a7: CALLDATASIZE 000007a8: PUSH1 0x04 000007aa: PUSH2 0x28bd 000007ad: JUMP 000007ae: JUMPDEST 000007af: PUSH1 0x01 000007b1: PUSH1 0x01 000007b3: PUSH1 0xa0 000007b5: SHL 000007b6: SUB 000007b7: SWAP2 000007b8: DUP3 000007b9: AND 000007ba: PUSH1 0x00 000007bc: SWAP1 000007bd: DUP2 000007be: MSTORE 000007bf: PUSH1 0x01 000007c1: PUSH1 0x20 000007c3: SWAP1 000007c4: DUP2 000007c5: MSTORE 000007c6: PUSH1 0x40 000007c8: DUP1 000007c9: DUP4 000007ca: KECCAK256 000007cb: SWAP4 000007cc: SWAP1 000007cd: SWAP5 000007ce: AND 000007cf: DUP3 000007d0: MSTORE 000007d1: SWAP2 000007d2: SWAP1 000007d3: SWAP2 000007d4: MSTORE 000007d5: KECCAK256 000007d6: SLOAD 000007d7: SWAP1 000007d8: JUMP 000007d9: JUMPDEST 000007da: CALLVALUE 000007db: DUP1 000007dc: ISZERO 000007dd: PUSH2 0x07e5 000007e0: JUMPI 000007e1: PUSH1 0x00 000007e3: DUP1 000007e4: REVERT 000007e5: JUMPDEST 000007e6: POP 000007e7: PUSH2 0x0398 000007ea: PUSH1 0x0b 000007ec: SLOAD 000007ed: DUP2 000007ee: JUMP 000007ef: JUMPDEST 000007f0: CALLVALUE 000007f1: DUP1 000007f2: ISZERO 000007f3: PUSH2 0x07fb 000007f6: JUMPI 000007f7: PUSH1 0x00 000007f9: DUP1 000007fa: REVERT 000007fb: JUMPDEST 000007fc: POP 000007fd: PUSH2 0x02c2 00000800: PUSH2 0x13a4 00000803: JUMP 00000804: JUMPDEST 00000805: CALLVALUE 00000806: DUP1 00000807: ISZERO 00000808: PUSH2 0x0810 0000080b: JUMPI 0000080c: PUSH1 0x00 0000080e: DUP1 0000080f: REVERT 00000810: JUMPDEST 00000811: POP 00000812: PUSH1 0x09 00000814: SLOAD 00000815: PUSH2 0x036f 00000818: SWAP1 00000819: PUSH1 0x01 0000081b: PUSH1 0x01 0000081d: PUSH1 0xa0 0000081f: SHL 00000820: SUB 00000821: AND 00000822: DUP2 00000823: JUMP 00000824: JUMPDEST 00000825: CALLVALUE 00000826: DUP1 00000827: ISZERO 00000828: PUSH2 0x0830 0000082b: JUMPI 0000082c: PUSH1 0x00 0000082e: DUP1 0000082f: REVERT 00000830: JUMPDEST 00000831: POP 00000832: PUSH2 0x03c6 00000835: PUSH2 0x083f 00000838: CALLDATASIZE 00000839: PUSH1 0x04 0000083b: PUSH2 0x2701 0000083e: JUMP 0000083f: JUMPDEST 00000840: PUSH2 0x13e1 00000843: JUMP 00000844: JUMPDEST 00000845: CALLVALUE 00000846: DUP1 00000847: ISZERO 00000848: PUSH2 0x0850 0000084b: JUMPI 0000084c: PUSH1 0x00 0000084e: DUP1 0000084f: REVERT 00000850: JUMPDEST 00000851: POP 00000852: PUSH2 0x0398 00000855: PUSH1 0x0c 00000857: SLOAD 00000858: DUP2 00000859: JUMP 0000085a: JUMPDEST 0000085b: PUSH1 0x60 0000085d: PUSH1 0x03 0000085f: DUP1 00000860: SLOAD 00000861: PUSH2 0x0869 00000864: SWAP1 00000865: PUSH2 0x28eb 00000868: JUMP 00000869: JUMPDEST 0000086a: DUP1 0000086b: PUSH1 0x1f 0000086d: ADD 0000086e: PUSH1 0x20 00000870: DUP1 00000871: SWAP2 00000872: DIV 00000873: MUL 00000874: PUSH1 0x20 00000876: ADD 00000877: PUSH1 0x40 00000879: MLOAD 0000087a: SWAP1 0000087b: DUP2 0000087c: ADD 0000087d: PUSH1 0x40 0000087f: MSTORE 00000880: DUP1 00000881: SWAP3 00000882: SWAP2 00000883: SWAP1 00000884: DUP2 00000885: DUP2 00000886: MSTORE 00000887: PUSH1 0x20 00000889: ADD 0000088a: DUP3 0000088b: DUP1 0000088c: SLOAD 0000088d: PUSH2 0x0895 00000890: SWAP1 00000891: PUSH2 0x28eb 00000894: JUMP 00000895: JUMPDEST 00000896: DUP1 00000897: ISZERO 00000898: PUSH2 0x08e2 0000089b: JUMPI 0000089c: DUP1 0000089d: PUSH1 0x1f 0000089f: LT 000008a0: PUSH2 0x08b7 000008a3: JUMPI 000008a4: PUSH2 0x0100 000008a7: DUP1 000008a8: DUP4 000008a9: SLOAD 000008aa: DIV 000008ab: MUL 000008ac: DUP4 000008ad: MSTORE 000008ae: SWAP2 000008af: PUSH1 0x20 000008b1: ADD 000008b2: SWAP2 000008b3: PUSH2 0x08e2 000008b6: JUMP 000008b7: JUMPDEST 000008b8: DUP3 000008b9: ADD 000008ba: SWAP2 000008bb: SWAP1 000008bc: PUSH1 0x00 000008be: MSTORE 000008bf: PUSH1 0x20 000008c1: PUSH1 0x00 000008c3: KECCAK256 000008c4: SWAP1 000008c5: JUMPDEST 000008c6: DUP2 000008c7: SLOAD 000008c8: DUP2 000008c9: MSTORE 000008ca: SWAP1 000008cb: PUSH1 0x01 000008cd: ADD 000008ce: SWAP1 000008cf: PUSH1 0x20 000008d1: ADD 000008d2: DUP1 000008d3: DUP4 000008d4: GT 000008d5: PUSH2 0x08c5 000008d8: JUMPI 000008d9: DUP3 000008da: SWAP1 000008db: SUB 000008dc: PUSH1 0x1f 000008de: AND 000008df: DUP3 000008e0: ADD 000008e1: SWAP2 000008e2: JUMPDEST 000008e3: POP 000008e4: POP 000008e5: POP 000008e6: POP 000008e7: POP 000008e8: SWAP1 000008e9: POP 000008ea: SWAP1 000008eb: JUMP 000008ec: JUMPDEST 000008ed: PUSH1 0x00 000008ef: PUSH2 0x08f9 000008f2: CALLER 000008f3: DUP5 000008f4: DUP5 000008f5: PUSH2 0x1532 000008f8: JUMP 000008f9: JUMPDEST 000008fa: POP 000008fb: PUSH1 0x01 000008fd: JUMPDEST 000008fe: SWAP3 000008ff: SWAP2 00000900: POP 00000901: POP 00000902: JUMP 00000903: JUMPDEST 00000904: PUSH1 0x05 00000906: SLOAD 00000907: PUSH1 0x01 00000909: PUSH1 0x01 0000090b: PUSH1 0xa0 0000090d: SHL 0000090e: SUB 0000090f: AND 00000910: CALLER 00000911: EQ 00000912: PUSH2 0x0936 00000915: JUMPI 00000916: PUSH1 0x40 00000918: MLOAD 00000919: PUSH3 0x461bcd 0000091d: PUSH1 0xe5 0000091f: SHL 00000920: DUP2 00000921: MSTORE 00000922: PUSH1 0x04 00000924: ADD 00000925: PUSH2 0x092d 00000928: SWAP1 00000929: PUSH2 0x2926 0000092c: JUMP 0000092d: JUMPDEST 0000092e: PUSH1 0x40 00000930: MLOAD 00000931: DUP1 00000932: SWAP2 00000933: SUB 00000934: SWAP1 00000935: REVERT 00000936: JUMPDEST 00000937: PUSH4 0x3b9aca00 0000093c: PUSH2 0x03e8 0000093f: PUSH2 0x0947 00000942: PUSH1 0x02 00000944: SLOAD 00000945: SWAP1 00000946: JUMP 00000947: JUMPDEST 00000948: PUSH2 0x0952 0000094b: SWAP1 0000094c: PUSH1 0x01 0000094e: PUSH2 0x2971 00000951: JUMP 00000952: JUMPDEST 00000953: PUSH2 0x095c 00000956: SWAP2 00000957: SWAP1 00000958: PUSH2 0x2990 0000095b: JUMP 0000095c: JUMPDEST 0000095d: PUSH2 0x0966 00000960: SWAP2 00000961: SWAP1 00000962: PUSH2 0x2990 00000965: JUMP 00000966: JUMPDEST 00000967: DUP2 00000968: LT 00000969: ISZERO 0000096a: PUSH2 0x09cd 0000096d: JUMPI 0000096e: PUSH1 0x40 00000970: MLOAD 00000971: PUSH3 0x461bcd 00000975: PUSH1 0xe5 00000977: SHL 00000978: DUP2 00000979: MSTORE 0000097a: PUSH1 0x20 0000097c: PUSH1 0x04 0000097e: DUP3 0000097f: ADD 00000980: MSTORE 00000981: PUSH1 0x2f 00000983: PUSH1 0x24 00000985: DUP3 00000986: ADD 00000987: MSTORE 00000988: PUSH32 0x43616e6e6f7420736574206d61785472616e73616374696f6e416d6f756e7420 000009a9: PUSH1 0x44 000009ab: DUP3 000009ac: ADD 000009ad: MSTORE 000009ae: PUSH15 0x6c6f776572207468616e20302e3125 000009be: PUSH1 0x88 000009c0: SHL 000009c1: PUSH1 0x64 000009c3: DUP3 000009c4: ADD 000009c5: MSTORE 000009c6: PUSH1 0x84 000009c8: ADD 000009c9: PUSH2 0x092d 000009cc: JUMP 000009cd: JUMPDEST 000009ce: PUSH2 0x09db 000009d1: DUP2 000009d2: PUSH4 0x3b9aca00 000009d7: PUSH2 0x2971 000009da: JUMP 000009db: JUMPDEST 000009dc: PUSH1 0x0a 000009de: SSTORE 000009df: POP 000009e0: JUMP 000009e1: JUMPDEST 000009e2: PUSH1 0x00 000009e4: PUSH2 0x09ee 000009e7: DUP5 000009e8: DUP5 000009e9: DUP5 000009ea: PUSH2 0x1657 000009ed: JUMP 000009ee: JUMPDEST 000009ef: PUSH2 0x0a40 000009f2: DUP5 000009f3: CALLER 000009f4: PUSH2 0x0a3b 000009f7: DUP6 000009f8: PUSH1 0x40 000009fa: MLOAD 000009fb: DUP1 000009fc: PUSH1 0x60 000009fe: ADD 000009ff: PUSH1 0x40 00000a01: MSTORE 00000a02: DUP1 00000a03: PUSH1 0x28 00000a05: DUP2 00000a06: MSTORE 00000a07: PUSH1 0x20 00000a09: ADD 00000a0a: PUSH2 0x2b7d 00000a0d: PUSH1 0x28 00000a0f: SWAP2 00000a10: CODECOPY 00000a11: PUSH1 0x01 00000a13: PUSH1 0x01 00000a15: PUSH1 0xa0 00000a17: SHL 00000a18: SUB 00000a19: DUP11 00000a1a: AND 00000a1b: PUSH1 0x00 00000a1d: SWAP1 00000a1e: DUP2 00000a1f: MSTORE 00000a20: PUSH1 0x01 00000a22: PUSH1 0x20 00000a24: SWAP1 00000a25: DUP2 00000a26: MSTORE 00000a27: PUSH1 0x40 00000a29: DUP1 00000a2a: DUP4 00000a2b: KECCAK256 00000a2c: CALLER 00000a2d: DUP5 00000a2e: MSTORE 00000a2f: SWAP1 00000a30: SWAP2 00000a31: MSTORE 00000a32: SWAP1 00000a33: KECCAK256 00000a34: SLOAD 00000a35: SWAP2 00000a36: SWAP1 00000a37: PUSH2 0x1f47 00000a3a: JUMP 00000a3b: JUMPDEST 00000a3c: PUSH2 0x1532 00000a3f: JUMP 00000a40: JUMPDEST 00000a41: POP 00000a42: PUSH1 0x01 00000a44: SWAP4 00000a45: SWAP3 00000a46: POP 00000a47: POP 00000a48: POP 00000a49: JUMP 00000a4a: JUMPDEST 00000a4b: CALLER 00000a4c: PUSH1 0x00 00000a4e: DUP2 00000a4f: DUP2 00000a50: MSTORE 00000a51: PUSH1 0x01 00000a53: PUSH1 0x20 00000a55: SWAP1 00000a56: DUP2 00000a57: MSTORE 00000a58: PUSH1 0x40 00000a5a: DUP1 00000a5b: DUP4 00000a5c: KECCAK256 00000a5d: PUSH1 0x01 00000a5f: PUSH1 0x01 00000a61: PUSH1 0xa0 00000a63: SHL 00000a64: SUB 00000a65: DUP8 00000a66: AND 00000a67: DUP5 00000a68: MSTORE 00000a69: SWAP1 00000a6a: SWAP2 00000a6b: MSTORE 00000a6c: DUP2 00000a6d: KECCAK256 00000a6e: SLOAD 00000a6f: SWAP1 00000a70: SWAP2 00000a71: PUSH2 0x08f9 00000a74: SWAP2 00000a75: DUP6 00000a76: SWAP1 00000a77: PUSH2 0x0a3b 00000a7a: SWAP1 00000a7b: DUP7 00000a7c: PUSH2 0x14cc 00000a7f: JUMP 00000a80: JUMPDEST 00000a81: PUSH1 0x09 00000a83: SLOAD 00000a84: PUSH1 0x40 00000a86: MLOAD 00000a87: PUSH1 0x01 00000a89: PUSH1 0x01 00000a8b: PUSH1 0xa0 00000a8d: SHL 00000a8e: SUB 00000a8f: SWAP1 00000a90: SWAP2 00000a91: AND 00000a92: SWAP1 00000a93: SELFBALANCE 00000a94: DUP1 00000a95: ISZERO 00000a96: PUSH2 0x08fc 00000a99: MUL 00000a9a: SWAP2 00000a9b: PUSH1 0x00 00000a9d: DUP2 00000a9e: DUP2 00000a9f: DUP2 00000aa0: DUP6 00000aa1: DUP9 00000aa2: DUP9 00000aa3: CALL 00000aa4: SWAP4 00000aa5: POP 00000aa6: POP 00000aa7: POP 00000aa8: POP 00000aa9: ISZERO 00000aaa: DUP1 00000aab: ISZERO 00000aac: PUSH2 0x0ab9 00000aaf: JUMPI 00000ab0: RETURNDATASIZE 00000ab1: PUSH1 0x00 00000ab3: DUP1 00000ab4: RETURNDATACOPY 00000ab5: RETURNDATASIZE 00000ab6: PUSH1 0x00 00000ab8: REVERT 00000ab9: JUMPDEST 00000aba: POP 00000abb: JUMP 00000abc: JUMPDEST 00000abd: PUSH1 0x05 00000abf: SLOAD 00000ac0: PUSH1 0x01 00000ac2: PUSH1 0x01 00000ac4: PUSH1 0xa0 00000ac6: SHL 00000ac7: SUB 00000ac8: AND 00000ac9: CALLER 00000aca: EQ 00000acb: PUSH2 0x0ae6 00000ace: JUMPI 00000acf: PUSH1 0x40 00000ad1: MLOAD 00000ad2: PUSH3 0x461bcd 00000ad6: PUSH1 0xe5 00000ad8: SHL 00000ad9: DUP2 00000ada: MSTORE 00000adb: PUSH1 0x04 00000add: ADD 00000ade: PUSH2 0x092d 00000ae1: SWAP1 00000ae2: PUSH2 0x2926 00000ae5: JUMP 00000ae6: JUMPDEST 00000ae7: PUSH1 0x00 00000ae9: JUMPDEST 00000aea: DUP2 00000aeb: MLOAD 00000aec: DUP2 00000aed: LT 00000aee: ISZERO 00000aef: PUSH2 0x0c07 00000af2: JUMPI 00000af3: PUSH32 0x000000000000000000000000870de806a9cf1e687076998f1618ae0d82e4c43b 00000b14: PUSH1 0x01 00000b16: PUSH1 0x01 00000b18: PUSH1 0xa0 00000b1a: SHL 00000b1b: SUB 00000b1c: AND 00000b1d: DUP3 00000b1e: DUP3 00000b1f: DUP2 00000b20: MLOAD 00000b21: DUP2 00000b22: LT 00000b23: PUSH2 0x0b2e 00000b26: JUMPI 00000b27: PUSH2 0x0b2e 00000b2a: PUSH2 0x29b2 00000b2d: JUMP 00000b2e: JUMPDEST 00000b2f: PUSH1 0x20 00000b31: MUL 00000b32: PUSH1 0x20 00000b34: ADD 00000b35: ADD 00000b36: MLOAD 00000b37: PUSH1 0x01 00000b39: PUSH1 0x01 00000b3b: PUSH1 0xa0 00000b3d: SHL 00000b3e: SUB 00000b3f: AND 00000b40: EQ 00000b41: ISZERO 00000b42: DUP1 00000b43: ISZERO 00000b44: PUSH2 0x0b98 00000b47: JUMPI 00000b48: POP 00000b49: PUSH32 0x00000000000000000000000003f7724180aa6b939894b5ca4314783b0b36b329 00000b6a: PUSH1 0x01 00000b6c: PUSH1 0x01 00000b6e: PUSH1 0xa0 00000b70: SHL 00000b71: SUB 00000b72: AND 00000b73: DUP3 00000b74: DUP3 00000b75: DUP2 00000b76: MLOAD 00000b77: DUP2 00000b78: LT 00000b79: PUSH2 0x0b84 00000b7c: JUMPI 00000b7d: PUSH2 0x0b84 00000b80: PUSH2 0x29b2 00000b83: JUMP 00000b84: JUMPDEST 00000b85: PUSH1 0x20 00000b87: MUL 00000b88: PUSH1 0x20 00000b8a: ADD 00000b8b: ADD 00000b8c: MLOAD 00000b8d: PUSH1 0x01 00000b8f: PUSH1 0x01 00000b91: PUSH1 0xa0 00000b93: SHL 00000b94: SUB 00000b95: AND 00000b96: EQ 00000b97: ISZERO 00000b98: JUMPDEST 00000b99: ISZERO 00000b9a: PUSH2 0x0bf5 00000b9d: JUMPI 00000b9e: PUSH1 0x01 00000ba0: PUSH1 0x06 00000ba2: PUSH1 0x00 00000ba4: DUP5 00000ba5: DUP5 00000ba6: DUP2 00000ba7: MLOAD 00000ba8: DUP2 00000ba9: LT 00000baa: PUSH2 0x0bb5 00000bad: JUMPI 00000bae: PUSH2 0x0bb5 00000bb1: PUSH2 0x29b2 00000bb4: JUMP 00000bb5: JUMPDEST 00000bb6: PUSH1 0x20 00000bb8: MUL 00000bb9: PUSH1 0x20 00000bbb: ADD 00000bbc: ADD 00000bbd: MLOAD 00000bbe: PUSH1 0x01 00000bc0: PUSH1 0x01 00000bc2: PUSH1 0xa0 00000bc4: SHL 00000bc5: SUB 00000bc6: AND 00000bc7: PUSH1 0x01 00000bc9: PUSH1 0x01 00000bcb: PUSH1 0xa0 00000bcd: SHL 00000bce: SUB 00000bcf: AND 00000bd0: DUP2 00000bd1: MSTORE 00000bd2: PUSH1 0x20 00000bd4: ADD 00000bd5: SWAP1 00000bd6: DUP2 00000bd7: MSTORE 00000bd8: PUSH1 0x20 00000bda: ADD 00000bdb: PUSH1 0x00 00000bdd: KECCAK256 00000bde: PUSH1 0x00 00000be0: PUSH2 0x0100 00000be3: EXP 00000be4: DUP2 00000be5: SLOAD 00000be6: DUP2 00000be7: PUSH1 0xff 00000be9: MUL 00000bea: NOT 00000beb: AND 00000bec: SWAP1 00000bed: DUP4 00000bee: ISZERO 00000bef: ISZERO 00000bf0: MUL 00000bf1: OR 00000bf2: SWAP1 00000bf3: SSTORE 00000bf4: POP 00000bf5: JUMPDEST 00000bf6: DUP1 00000bf7: PUSH2 0x0bff 00000bfa: DUP2 00000bfb: PUSH2 0x29c8 00000bfe: JUMP 00000bff: JUMPDEST 00000c00: SWAP2 00000c01: POP 00000c02: POP 00000c03: PUSH2 0x0ae9 00000c06: JUMP 00000c07: JUMPDEST 00000c08: POP 00000c09: POP 00000c0a: JUMP 00000c0b: JUMPDEST 00000c0c: PUSH1 0x05 00000c0e: SLOAD 00000c0f: PUSH1 0x01 00000c11: PUSH1 0x01 00000c13: PUSH1 0xa0 00000c15: SHL 00000c16: SUB 00000c17: AND 00000c18: CALLER 00000c19: EQ 00000c1a: PUSH2 0x0c35 00000c1d: JUMPI 00000c1e: PUSH1 0x40 00000c20: MLOAD 00000c21: PUSH3 0x461bcd 00000c25: PUSH1 0xe5 00000c27: SHL 00000c28: DUP2 00000c29: MSTORE 00000c2a: PUSH1 0x04 00000c2c: ADD 00000c2d: PUSH2 0x092d 00000c30: SWAP1 00000c31: PUSH2 0x2926 00000c34: JUMP 00000c35: JUMPDEST 00000c36: PUSH1 0x09 00000c38: SLOAD 00000c39: PUSH1 0x40 00000c3b: MLOAD 00000c3c: PUSH1 0x01 00000c3e: PUSH1 0x01 00000c40: PUSH1 0xa0 00000c42: SHL 00000c43: SUB 00000c44: SWAP2 00000c45: DUP3 00000c46: AND 00000c47: SWAP2 00000c48: DUP4 00000c49: AND 00000c4a: SWAP1 00000c4b: PUSH32 0x5deb5ef622431f0df5a39b72dd556892f68ba42aa0f3aaf0800e166ce8664928 00000c6c: SWAP1 00000c6d: PUSH1 0x00 00000c6f: SWAP1 00000c70: LOG3 00000c71: PUSH1 0x09 00000c73: DUP1 00000c74: SLOAD 00000c75: PUSH1 0x01 00000c77: PUSH1 0x01 00000c79: PUSH1 0xa0 00000c7b: SHL 00000c7c: SUB 00000c7d: NOT 00000c7e: AND 00000c7f: PUSH1 0x01 00000c81: PUSH1 0x01 00000c83: PUSH1 0xa0 00000c85: SHL 00000c86: SUB 00000c87: SWAP3 00000c88: SWAP1 00000c89: SWAP3 00000c8a: AND 00000c8b: SWAP2 00000c8c: SWAP1 00000c8d: SWAP2 00000c8e: OR 00000c8f: SWAP1 00000c90: SSTORE 00000c91: JUMP 00000c92: JUMPDEST 00000c93: PUSH1 0x05 00000c95: SLOAD 00000c96: PUSH1 0x01 00000c98: PUSH1 0x01 00000c9a: PUSH1 0xa0 00000c9c: SHL 00000c9d: SUB 00000c9e: AND 00000c9f: CALLER 00000ca0: EQ 00000ca1: PUSH2 0x0cbc 00000ca4: JUMPI 00000ca5: PUSH1 0x40 00000ca7: MLOAD 00000ca8: PUSH3 0x461bcd 00000cac: PUSH1 0xe5 00000cae: SHL 00000caf: DUP2 00000cb0: MSTORE 00000cb1: PUSH1 0x04 00000cb3: ADD 00000cb4: PUSH2 0x092d 00000cb7: SWAP1 00000cb8: PUSH2 0x2926 00000cbb: JUMP 00000cbc: JUMPDEST 00000cbd: PUSH1 0x05 00000cbf: SLOAD 00000cc0: PUSH1 0x40 00000cc2: MLOAD 00000cc3: PUSH1 0x00 00000cc5: SWAP2 00000cc6: PUSH1 0x01 00000cc8: PUSH1 0x01 00000cca: PUSH1 0xa0 00000ccc: SHL 00000ccd: SUB 00000cce: AND 00000ccf: SWAP1 00000cd0: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000cf1: SWAP1 00000cf2: DUP4 00000cf3: SWAP1 00000cf4: LOG3 00000cf5: PUSH1 0x05 00000cf7: DUP1 00000cf8: SLOAD 00000cf9: PUSH1 0x01 00000cfb: PUSH1 0x01 00000cfd: PUSH1 0xa0 00000cff: SHL 00000d00: SUB 00000d01: NOT 00000d02: AND 00000d03: SWAP1 00000d04: SSTORE 00000d05: JUMP 00000d06: JUMPDEST 00000d07: PUSH1 0x05 00000d09: SLOAD 00000d0a: PUSH1 0x00 00000d0c: SWAP1 00000d0d: PUSH1 0x01 00000d0f: PUSH1 0x01 00000d11: PUSH1 0xa0 00000d13: SHL 00000d14: SUB 00000d15: AND 00000d16: CALLER 00000d17: EQ 00000d18: PUSH2 0x0d33 00000d1b: JUMPI 00000d1c: PUSH1 0x40 00000d1e: MLOAD 00000d1f: PUSH3 0x461bcd 00000d23: PUSH1 0xe5 00000d25: SHL 00000d26: DUP2 00000d27: MSTORE 00000d28: PUSH1 0x04 00000d2a: ADD 00000d2b: PUSH2 0x092d 00000d2e: SWAP1 00000d2f: PUSH2 0x2926 00000d32: JUMP 00000d33: JUMPDEST 00000d34: POP 00000d35: PUSH1 0x0d 00000d37: DUP1 00000d38: SLOAD 00000d39: PUSH1 0xff 00000d3b: NOT 00000d3c: AND 00000d3d: SWAP1 00000d3e: SSTORE 00000d3f: PUSH1 0x01 00000d41: SWAP1 00000d42: JUMP 00000d43: JUMPDEST 00000d44: PUSH1 0x05 00000d46: SLOAD 00000d47: PUSH1 0x01 00000d49: PUSH1 0x01 00000d4b: PUSH1 0xa0 00000d4d: SHL 00000d4e: SUB 00000d4f: AND 00000d50: CALLER 00000d51: EQ 00000d52: PUSH2 0x0d6d 00000d55: JUMPI 00000d56: PUSH1 0x40 00000d58: MLOAD 00000d59: PUSH3 0x461bcd 00000d5d: PUSH1 0xe5 00000d5f: SHL 00000d60: DUP2 00000d61: MSTORE 00000d62: PUSH1 0x04 00000d64: ADD 00000d65: PUSH2 0x092d 00000d68: SWAP1 00000d69: PUSH2 0x2926 00000d6c: JUMP 00000d6d: JUMPDEST 00000d6e: PUSH1 0x01 00000d70: PUSH1 0x01 00000d72: PUSH1 0xa0 00000d74: SHL 00000d75: SUB 00000d76: SWAP2 00000d77: SWAP1 00000d78: SWAP2 00000d79: AND 00000d7a: PUSH1 0x00 00000d7c: SWAP1 00000d7d: DUP2 00000d7e: MSTORE 00000d7f: PUSH1 0x1c 00000d81: PUSH1 0x20 00000d83: MSTORE 00000d84: PUSH1 0x40 00000d86: SWAP1 00000d87: KECCAK256 00000d88: DUP1 00000d89: SLOAD 00000d8a: PUSH1 0xff 00000d8c: NOT 00000d8d: AND 00000d8e: SWAP2 00000d8f: ISZERO 00000d90: ISZERO 00000d91: SWAP2 00000d92: SWAP1 00000d93: SWAP2 00000d94: OR 00000d95: SWAP1 00000d96: SSTORE 00000d97: JUMP 00000d98: JUMPDEST 00000d99: PUSH1 0x05 00000d9b: SLOAD 00000d9c: PUSH1 0x01 00000d9e: PUSH1 0x01 00000da0: PUSH1 0xa0 00000da2: SHL 00000da3: SUB 00000da4: AND 00000da5: CALLER 00000da6: EQ 00000da7: PUSH2 0x0dc2 00000daa: JUMPI 00000dab: PUSH1 0x40 00000dad: MLOAD 00000dae: PUSH3 0x461bcd 00000db2: PUSH1 0xe5 00000db4: SHL 00000db5: DUP2 00000db6: MSTORE 00000db7: PUSH1 0x04 00000db9: ADD 00000dba: PUSH2 0x092d 00000dbd: SWAP1 00000dbe: PUSH2 0x2926 00000dc1: JUMP 00000dc2: JUMPDEST 00000dc3: PUSH1 0x11 00000dc5: DUP4 00000dc6: SWAP1 00000dc7: SSTORE 00000dc8: PUSH1 0x12 00000dca: DUP3 00000dcb: SWAP1 00000dcc: SSTORE 00000dcd: PUSH1 0x13 00000dcf: DUP2 00000dd0: SWAP1 00000dd1: SSTORE 00000dd2: DUP1 00000dd3: PUSH2 0x0ddc 00000dd6: DUP4 00000dd7: DUP6 00000dd8: PUSH2 0x29e3 00000ddb: JUMP 00000ddc: JUMPDEST 00000ddd: PUSH2 0x0de6 00000de0: SWAP2 00000de1: SWAP1 00000de2: PUSH2 0x29e3 00000de5: JUMP 00000de6: JUMPDEST 00000de7: PUSH1 0x10 00000de9: DUP2 00000dea: SWAP1 00000deb: SSTORE 00000dec: PUSH1 0x0a 00000dee: LT 00000def: ISZERO 00000df0: PUSH2 0x0e3b 00000df3: JUMPI 00000df4: PUSH1 0x40 00000df6: MLOAD 00000df7: PUSH3 0x461bcd 00000dfb: PUSH1 0xe5 00000dfd: SHL 00000dfe: DUP2 00000dff: MSTORE 00000e00: PUSH1 0x20 00000e02: PUSH1 0x04 00000e04: DUP3 00000e05: ADD 00000e06: MSTORE 00000e07: PUSH1 0x1d 00000e09: PUSH1 0x24 00000e0b: DUP3 00000e0c: ADD 00000e0d: MSTORE 00000e0e: PUSH32 0x4d757374206b656570206665657320617420313025206f72206c657373000000 00000e2f: PUSH1 0x44 00000e31: DUP3 00000e32: ADD 00000e33: MSTORE 00000e34: PUSH1 0x64 00000e36: ADD 00000e37: PUSH2 0x092d 00000e3a: JUMP 00000e3b: JUMPDEST 00000e3c: POP 00000e3d: POP 00000e3e: POP 00000e3f: JUMP 00000e40: JUMPDEST 00000e41: PUSH1 0x05 00000e43: SLOAD 00000e44: PUSH1 0x01 00000e46: PUSH1 0x01 00000e48: PUSH1 0xa0 00000e4a: SHL 00000e4b: SUB 00000e4c: AND 00000e4d: CALLER 00000e4e: EQ 00000e4f: PUSH2 0x0e6a 00000e52: JUMPI 00000e53: PUSH1 0x40 00000e55: MLOAD 00000e56: PUSH3 0x461bcd 00000e5a: PUSH1 0xe5 00000e5c: SHL 00000e5d: DUP2 00000e5e: MSTORE 00000e5f: PUSH1 0x04 00000e61: ADD 00000e62: PUSH2 0x092d 00000e65: SWAP1 00000e66: PUSH2 0x2926 00000e69: JUMP 00000e6a: JUMPDEST 00000e6b: PUSH1 0x00 00000e6d: JUMPDEST 00000e6e: DUP2 00000e6f: MLOAD 00000e70: DUP2 00000e71: LT 00000e72: ISZERO 00000e73: PUSH2 0x0c07 00000e76: JUMPI 00000e77: PUSH1 0x00 00000e79: PUSH1 0x06 00000e7b: PUSH1 0x00 00000e7d: DUP5 00000e7e: DUP5 00000e7f: DUP2 00000e80: MLOAD 00000e81: DUP2 00000e82: LT 00000e83: PUSH2 0x0e8e 00000e86: JUMPI 00000e87: PUSH2 0x0e8e 00000e8a: PUSH2 0x29b2 00000e8d: JUMP 00000e8e: JUMPDEST 00000e8f: PUSH1 0x20 00000e91: SWAP1 00000e92: DUP2 00000e93: MUL 00000e94: SWAP2 00000e95: SWAP1 00000e96: SWAP2 00000e97: ADD 00000e98: DUP2 00000e99: ADD 00000e9a: MLOAD 00000e9b: PUSH1 0x01 00000e9d: PUSH1 0x01 00000e9f: PUSH1 0xa0 00000ea1: SHL 00000ea2: SUB 00000ea3: AND 00000ea4: DUP3 00000ea5: MSTORE 00000ea6: DUP2 00000ea7: ADD 00000ea8: SWAP2 00000ea9: SWAP1 00000eaa: SWAP2 00000eab: MSTORE 00000eac: PUSH1 0x40 00000eae: ADD 00000eaf: PUSH1 0x00 00000eb1: KECCAK256 00000eb2: DUP1 00000eb3: SLOAD 00000eb4: PUSH1 0xff 00000eb6: NOT 00000eb7: AND 00000eb8: SWAP2 00000eb9: ISZERO 00000eba: ISZERO 00000ebb: SWAP2 00000ebc: SWAP1 00000ebd: SWAP2 00000ebe: OR 00000ebf: SWAP1 00000ec0: SSTORE 00000ec1: DUP1 00000ec2: PUSH2 0x0eca 00000ec5: DUP2 00000ec6: PUSH2 0x29c8 00000ec9: JUMP 00000eca: JUMPDEST 00000ecb: SWAP2 00000ecc: POP 00000ecd: POP 00000ece: PUSH2 0x0e6d 00000ed1: JUMP 00000ed2: JUMPDEST 00000ed3: PUSH1 0x05 00000ed5: SLOAD 00000ed6: PUSH1 0x01 00000ed8: PUSH1 0x01 00000eda: PUSH1 0xa0 00000edc: SHL 00000edd: SUB 00000ede: AND 00000edf: CALLER 00000ee0: EQ 00000ee1: PUSH2 0x0efc 00000ee4: JUMPI 00000ee5: PUSH1 0x40 00000ee7: MLOAD 00000ee8: PUSH3 0x461bcd 00000eec: PUSH1 0xe5 00000eee: SHL 00000eef: DUP2 00000ef0: MSTORE 00000ef1: PUSH1 0x04 00000ef3: ADD 00000ef4: PUSH2 0x092d 00000ef7: SWAP1 00000ef8: PUSH2 0x2926 00000efb: JUMP 00000efc: JUMPDEST 00000efd: PUSH1 0x0d 00000eff: DUP1 00000f00: SLOAD 00000f01: PUSH2 0xff00 00000f04: NOT 00000f05: AND 00000f06: PUSH2 0x0100 00000f09: OR 00000f0a: SWAP1 00000f0b: SSTORE 00000f0c: TIMESTAMP 00000f0d: PUSH1 0x08 00000f0f: SSTORE 00000f10: JUMP 00000f11: JUMPDEST 00000f12: PUSH1 0x60 00000f14: PUSH1 0x04 00000f16: DUP1 00000f17: SLOAD 00000f18: PUSH2 0x0869 00000f1b: SWAP1 00000f1c: PUSH2 0x28eb 00000f1f: JUMP 00000f20: JUMPDEST 00000f21: PUSH1 0x05 00000f23: SLOAD 00000f24: PUSH1 0x01 00000f26: PUSH1 0x01 00000f28: PUSH1 0xa0 00000f2a: SHL 00000f2b: SUB 00000f2c: AND 00000f2d: CALLER 00000f2e: EQ 00000f2f: PUSH2 0x0f4a 00000f32: JUMPI 00000f33: PUSH1 0x40 00000f35: MLOAD 00000f36: PUSH3 0x461bcd 00000f3a: PUSH1 0xe5 00000f3c: SHL 00000f3d: DUP2 00000f3e: MSTORE 00000f3f: PUSH1 0x04 00000f41: ADD 00000f42: PUSH2 0x092d 00000f45: SWAP1 00000f46: PUSH2 0x2926 00000f49: JUMP 00000f4a: JUMPDEST 00000f4b: PUSH32 0x000000000000000000000000870de806a9cf1e687076998f1618ae0d82e4c43b 00000f6c: PUSH1 0x01 00000f6e: PUSH1 0x01 00000f70: PUSH1 0xa0 00000f72: SHL 00000f73: SUB 00000f74: AND 00000f75: DUP3 00000f76: PUSH1 0x01 00000f78: PUSH1 0x01 00000f7a: PUSH1 0xa0 00000f7c: SHL 00000f7d: SUB 00000f7e: AND 00000f7f: EQ 00000f80: ISZERO 00000f81: PUSH2 0x0ff2 00000f84: JUMPI 00000f85: PUSH1 0x40 00000f87: MLOAD 00000f88: PUSH3 0x461bcd 00000f8c: PUSH1 0xe5 00000f8e: SHL 00000f8f: DUP2 00000f90: MSTORE 00000f91: PUSH1 0x20 00000f93: PUSH1 0x04 00000f95: DUP3 00000f96: ADD 00000f97: MSTORE 00000f98: PUSH1 0x39 00000f9a: PUSH1 0x24 00000f9c: DUP3 00000f9d: ADD 00000f9e: MSTORE 00000f9f: PUSH32 0x54686520706169722063616e6e6f742062652072656d6f7665642066726f6d20 00000fc0: PUSH1 0x44 00000fc2: DUP3 00000fc3: ADD 00000fc4: MSTORE 00000fc5: PUSH32 0x6175746f6d617465644d61726b65744d616b6572506169727300000000000000 00000fe6: PUSH1 0x64 00000fe8: DUP3 00000fe9: ADD 00000fea: MSTORE 00000feb: PUSH1 0x84 00000fed: ADD 00000fee: PUSH2 0x092d 00000ff1: JUMP 00000ff2: JUMPDEST 00000ff3: PUSH2 0x0c07 00000ff6: DUP3 00000ff7: DUP3 00000ff8: PUSH2 0x1f81 00000ffb: JUMP 00000ffc: JUMPDEST 00000ffd: PUSH1 0x00 00000fff: PUSH2 0x08f9 00001002: CALLER 00001003: DUP5 00001004: PUSH2 0x0a3b 00001007: DUP6 00001008: PUSH1 0x40 0000100a: MLOAD 0000100b: DUP1 0000100c: PUSH1 0x60 0000100e: ADD 0000100f: PUSH1 0x40 00001011: MSTORE 00001012: DUP1 00001013: PUSH1 0x25 00001015: DUP2 00001016: MSTORE 00001017: PUSH1 0x20 00001019: ADD 0000101a: PUSH2 0x2ba5 0000101d: PUSH1 0x25 0000101f: SWAP2 00001020: CODECOPY 00001021: CALLER 00001022: PUSH1 0x00 00001024: SWAP1 00001025: DUP2 00001026: MSTORE 00001027: PUSH1 0x01 00001029: PUSH1 0x20 0000102b: SWAP1 0000102c: DUP2 0000102d: MSTORE 0000102e: PUSH1 0x40 00001030: DUP1 00001031: DUP4 00001032: KECCAK256 00001033: PUSH1 0x01 00001035: PUSH1 0x01 00001037: PUSH1 0xa0 00001039: SHL 0000103a: SUB 0000103b: DUP14 0000103c: AND 0000103d: DUP5 0000103e: MSTORE 0000103f: SWAP1 00001040: SWAP2 00001041: MSTORE 00001042: SWAP1 00001043: KECCAK256 00001044: SLOAD 00001045: SWAP2 00001046: SWAP1 00001047: PUSH2 0x1f47 0000104a: JUMP 0000104b: JUMPDEST 0000104c: PUSH1 0x00 0000104e: PUSH2 0x08f9 00001051: CALLER 00001052: DUP5 00001053: DUP5 00001054: PUSH2 0x1657 00001057: JUMP 00001058: JUMPDEST 00001059: PUSH1 0x05 0000105b: SLOAD 0000105c: PUSH1 0x01 0000105e: PUSH1 0x01 00001060: PUSH1 0xa0 00001062: SHL 00001063: SUB 00001064: AND 00001065: CALLER 00001066: EQ 00001067: PUSH2 0x1082 0000106a: JUMPI 0000106b: PUSH1 0x40 0000106d: MLOAD 0000106e: PUSH3 0x461bcd 00001072: PUSH1 0xe5 00001074: SHL 00001075: DUP2 00001076: MSTORE 00001077: PUSH1 0x04 00001079: ADD 0000107a: PUSH2 0x092d 0000107d: SWAP1 0000107e: PUSH2 0x2926 00001081: JUMP 00001082: JUMPDEST 00001083: PUSH1 0x01 00001085: PUSH1 0x01 00001087: PUSH1 0xa0 00001089: SHL 0000108a: SUB 0000108b: DUP3 0000108c: AND 0000108d: PUSH1 0x00 0000108f: DUP2 00001090: DUP2 00001091: MSTORE 00001092: PUSH1 0x1b 00001094: PUSH1 0x20 00001096: SWAP1 00001097: DUP2 00001098: MSTORE 00001099: PUSH1 0x40 0000109b: SWAP2 0000109c: DUP3 0000109d: SWAP1 0000109e: KECCAK256 0000109f: DUP1 000010a0: SLOAD 000010a1: PUSH1 0xff 000010a3: NOT 000010a4: AND 000010a5: DUP6 000010a6: ISZERO 000010a7: ISZERO 000010a8: SWAP1 000010a9: DUP2 000010aa: OR 000010ab: SWAP1 000010ac: SWAP2 000010ad: SSTORE 000010ae: SWAP2 000010af: MLOAD 000010b0: SWAP2 000010b1: DUP3 000010b2: MSTORE 000010b3: PUSH32 0x9d8f7706ea1113d1a167b526eca956215946dd36cc7df39eb16180222d8b5df7 000010d4: SWAP2 000010d5: ADD 000010d6: PUSH1 0x40 000010d8: MLOAD 000010d9: DUP1 000010da: SWAP2 000010db: SUB 000010dc: SWAP1 000010dd: LOG2 000010de: POP 000010df: POP 000010e0: JUMP 000010e1: JUMPDEST 000010e2: PUSH1 0x05 000010e4: SLOAD 000010e5: PUSH1 0x01 000010e7: PUSH1 0x01 000010e9: PUSH1 0xa0 000010eb: SHL 000010ec: SUB 000010ed: AND 000010ee: CALLER 000010ef: EQ 000010f0: PUSH2 0x110b 000010f3: JUMPI 000010f4: PUSH1 0x40 000010f6: MLOAD 000010f7: PUSH3 0x461bcd 000010fb: PUSH1 0xe5 000010fd: SHL 000010fe: DUP2 000010ff: MSTORE 00001100: PUSH1 0x04 00001102: ADD 00001103: PUSH2 0x092d 00001106: SWAP1 00001107: PUSH2 0x2926 0000110a: JUMP 0000110b: JUMPDEST 0000110c: PUSH1 0x15 0000110e: DUP4 0000110f: SWAP1 00001110: SSTORE 00001111: PUSH1 0x16 00001113: DUP3 00001114: SWAP1 00001115: SSTORE 00001116: PUSH1 0x17 00001118: DUP2 00001119: SWAP1 0000111a: SSTORE 0000111b: DUP1 0000111c: PUSH2 0x1125 0000111f: DUP4 00001120: DUP6 00001121: PUSH2 0x29e3 00001124: JUMP 00001125: JUMPDEST 00001126: PUSH2 0x112f 00001129: SWAP2 0000112a: SWAP1 0000112b: PUSH2 0x29e3 0000112e: JUMP 0000112f: JUMPDEST 00001130: PUSH1 0x14 00001132: DUP2 00001133: SWAP1 00001134: SSTORE 00001135: PUSH1 0x0f 00001137: LT 00001138: ISZERO 00001139: PUSH2 0x0e3b 0000113c: JUMPI 0000113d: PUSH1 0x40 0000113f: MLOAD 00001140: PUSH3 0x461bcd 00001144: PUSH1 0xe5 00001146: SHL 00001147: DUP2 00001148: MSTORE 00001149: PUSH1 0x20 0000114b: PUSH1 0x04 0000114d: DUP3 0000114e: ADD 0000114f: MSTORE 00001150: PUSH1 0x1d 00001152: PUSH1 0x24 00001154: DUP3 00001155: ADD 00001156: MSTORE 00001157: PUSH32 0x4d757374206b656570206665657320617420313525206f72206c657373000000 00001178: PUSH1 0x44 0000117a: DUP3 0000117b: ADD 0000117c: MSTORE 0000117d: PUSH1 0x64 0000117f: ADD 00001180: PUSH2 0x092d 00001183: JUMP 00001184: JUMPDEST 00001185: PUSH1 0x05 00001187: SLOAD 00001188: PUSH1 0x01 0000118a: PUSH1 0x01 0000118c: PUSH1 0xa0 0000118e: SHL 0000118f: SUB 00001190: AND 00001191: CALLER 00001192: EQ 00001193: PUSH2 0x11ae 00001196: JUMPI 00001197: PUSH1 0x40 00001199: MLOAD 0000119a: PUSH3 0x461bcd 0000119e: PUSH1 0xe5 000011a0: SHL 000011a1: DUP2 000011a2: MSTORE 000011a3: PUSH1 0x04 000011a5: ADD 000011a6: PUSH2 0x092d 000011a9: SWAP1 000011aa: PUSH2 0x2926 000011ad: JUMP 000011ae: JUMPDEST 000011af: PUSH4 0x3b9aca00 000011b4: PUSH2 0x03e8 000011b7: PUSH2 0x11bf 000011ba: PUSH1 0x02 000011bc: SLOAD 000011bd: SWAP1 000011be: JUMP 000011bf: JUMPDEST 000011c0: PUSH2 0x11ca 000011c3: SWAP1 000011c4: PUSH1 0x05 000011c6: PUSH2 0x2971 000011c9: JUMP 000011ca: JUMPDEST 000011cb: PUSH2 0x11d4 000011ce: SWAP2 000011cf: SWAP1 000011d0: PUSH2 0x2990 000011d3: JUMP 000011d4: JUMPDEST 000011d5: PUSH2 0x11de 000011d8: SWAP2 000011d9: SWAP1 000011da: PUSH2 0x2990 000011dd: JUMP 000011de: JUMPDEST 000011df: DUP2 000011e0: LT 000011e1: ISZERO 000011e2: PUSH2 0x1239 000011e5: JUMPI 000011e6: PUSH1 0x40 000011e8: MLOAD 000011e9: PUSH3 0x461bcd 000011ed: PUSH1 0xe5 000011ef: SHL 000011f0: DUP2 000011f1: MSTORE 000011f2: PUSH1 0x20 000011f4: PUSH1 0x04 000011f6: DUP3 000011f7: ADD 000011f8: MSTORE 000011f9: PUSH1 0x24 000011fb: DUP1 000011fc: DUP3 000011fd: ADD 000011fe: MSTORE 000011ff: PUSH32 0x43616e6e6f7420736574206d617857616c6c6574206c6f776572207468616e20 00001220: PUSH1 0x44 00001222: DUP3 00001223: ADD 00001224: MSTORE 00001225: PUSH4 0x302e3525 0000122a: PUSH1 0xe0 0000122c: SHL 0000122d: PUSH1 0x64 0000122f: DUP3 00001230: ADD 00001231: MSTORE 00001232: PUSH1 0x84 00001234: ADD 00001235: PUSH2 0x092d 00001238: JUMP 00001239: JUMPDEST 0000123a: PUSH2 0x1247 0000123d: DUP2 0000123e: PUSH4 0x3b9aca00 00001243: PUSH2 0x2971 00001246: JUMP 00001247: JUMPDEST 00001248: PUSH1 0x0c 0000124a: SSTORE 0000124b: POP 0000124c: JUMP 0000124d: JUMPDEST 0000124e: PUSH1 0x05 00001250: SLOAD 00001251: PUSH1 0x00 00001253: SWAP1 00001254: PUSH1 0x01 00001256: PUSH1 0x01 00001258: PUSH1 0xa0 0000125a: SHL 0000125b: SUB 0000125c: AND 0000125d: CALLER 0000125e: EQ 0000125f: PUSH2 0x127a 00001262: JUMPI 00001263: PUSH1 0x40 00001265: MLOAD 00001266: PUSH3 0x461bcd 0000126a: PUSH1 0xe5 0000126c: SHL 0000126d: DUP2 0000126e: MSTORE 0000126f: PUSH1 0x04 00001271: ADD 00001272: PUSH2 0x092d 00001275: SWAP1 00001276: PUSH2 0x2926 00001279: JUMP 0000127a: JUMPDEST 0000127b: PUSH3 0x0186a0 0000127f: PUSH2 0x1287 00001282: PUSH1 0x02 00001284: SLOAD 00001285: SWAP1 00001286: JUMP 00001287: JUMPDEST 00001288: PUSH2 0x1292 0000128b: SWAP1 0000128c: PUSH1 0x01 0000128e: PUSH2 0x2971 00001291: JUMP 00001292: JUMPDEST 00001293: PUSH2 0x129c 00001296: SWAP2 00001297: SWAP1 00001298: PUSH2 0x2990 0000129b: JUMP 0000129c: JUMPDEST 0000129d: DUP3 0000129e: LT 0000129f: ISZERO 000012a0: PUSH2 0x1309 000012a3: JUMPI 000012a4: PUSH1 0x40 000012a6: MLOAD 000012a7: PUSH3 0x461bcd 000012ab: PUSH1 0xe5 000012ad: SHL 000012ae: DUP2 000012af: MSTORE 000012b0: PUSH1 0x20 000012b2: PUSH1 0x04 000012b4: DUP3 000012b5: ADD 000012b6: MSTORE 000012b7: PUSH1 0x35 000012b9: PUSH1 0x24 000012bb: DUP3 000012bc: ADD 000012bd: MSTORE 000012be: PUSH32 0x5377617020616d6f756e742063616e6e6f74206265206c6f776572207468616e 000012df: PUSH1 0x44 000012e1: DUP3 000012e2: ADD 000012e3: MSTORE 000012e4: PUSH21 0x10181718181892903a37ba30b61039bab838363c97 000012fa: PUSH1 0x59 000012fc: SHL 000012fd: PUSH1 0x64 000012ff: DUP3 00001300: ADD 00001301: MSTORE 00001302: PUSH1 0x84 00001304: ADD 00001305: PUSH2 0x092d 00001308: JUMP 00001309: JUMPDEST 0000130a: PUSH2 0x03e8 0000130d: PUSH2 0x1315 00001310: PUSH1 0x02 00001312: SLOAD 00001313: SWAP1 00001314: JUMP 00001315: JUMPDEST 00001316: PUSH2 0x1320 00001319: SWAP1 0000131a: PUSH1 0x05 0000131c: PUSH2 0x2971 0000131f: JUMP 00001320: JUMPDEST 00001321: PUSH2 0x132a 00001324: SWAP2 00001325: SWAP1 00001326: PUSH2 0x2990 00001329: JUMP 0000132a: JUMPDEST 0000132b: DUP3 0000132c: GT 0000132d: ISZERO 0000132e: PUSH2 0x1396 00001331: JUMPI 00001332: PUSH1 0x40 00001334: MLOAD 00001335: PUSH3 0x461bcd 00001339: PUSH1 0xe5 0000133b: SHL 0000133c: DUP2 0000133d: MSTORE 0000133e: PUSH1 0x20 00001340: PUSH1 0x04 00001342: DUP3 00001343: ADD 00001344: MSTORE 00001345: PUSH1 0x34 00001347: PUSH1 0x24 00001349: DUP3 0000134a: ADD 0000134b: MSTORE 0000134c: PUSH32 0x5377617020616d6f756e742063616e6e6f742062652068696768657220746861 0000136d: PUSH1 0x44 0000136f: DUP3 00001370: ADD 00001371: MSTORE 00001372: PUSH20 0x371018171a92903a37ba30b61039bab838363c97 00001387: PUSH1 0x61 00001389: SHL 0000138a: PUSH1 0x64 0000138c: DUP3 0000138d: ADD 0000138e: MSTORE 0000138f: PUSH1 0x84 00001391: ADD 00001392: PUSH2 0x092d 00001395: JUMP 00001396: JUMPDEST 00001397: POP 00001398: PUSH1 0x0b 0000139a: DUP2 0000139b: SWAP1 0000139c: SSTORE 0000139d: PUSH1 0x01 0000139f: JUMPDEST 000013a0: SWAP2 000013a1: SWAP1 000013a2: POP 000013a3: JUMP 000013a4: JUMPDEST 000013a5: PUSH1 0x05 000013a7: SLOAD 000013a8: PUSH1 0x00 000013aa: SWAP1 000013ab: PUSH1 0x01 000013ad: PUSH1 0x01 000013af: PUSH1 0xa0 000013b1: SHL 000013b2: SUB 000013b3: AND 000013b4: CALLER 000013b5: EQ 000013b6: PUSH2 0x13d1 000013b9: JUMPI 000013ba: PUSH1 0x40 000013bc: MLOAD 000013bd: PUSH3 0x461bcd 000013c1: PUSH1 0xe5 000013c3: SHL 000013c4: DUP2 000013c5: MSTORE 000013c6: PUSH1 0x04 000013c8: ADD 000013c9: PUSH2 0x092d 000013cc: SWAP1 000013cd: PUSH2 0x2926 000013d0: JUMP 000013d1: JUMPDEST 000013d2: POP 000013d3: PUSH1 0x0f 000013d5: DUP1 000013d6: SLOAD 000013d7: PUSH1 0xff 000013d9: NOT 000013da: AND 000013db: SWAP1 000013dc: SSTORE 000013dd: PUSH1 0x01 000013df: SWAP1 000013e0: JUMP 000013e1: JUMPDEST 000013e2: PUSH1 0x05 000013e4: SLOAD 000013e5: PUSH1 0x01 000013e7: PUSH1 0x01 000013e9: PUSH1 0xa0 000013eb: SHL 000013ec: SUB 000013ed: AND 000013ee: CALLER 000013ef: EQ 000013f0: PUSH2 0x140b 000013f3: JUMPI 000013f4: PUSH1 0x40 000013f6: MLOAD 000013f7: PUSH3 0x461bcd 000013fb: PUSH1 0xe5 000013fd: SHL 000013fe: DUP2 000013ff: MSTORE 00001400: PUSH1 0x04 00001402: ADD 00001403: PUSH2 0x092d 00001406: SWAP1 00001407: PUSH2 0x2926 0000140a: JUMP 0000140b: JUMPDEST 0000140c: PUSH1 0x01 0000140e: PUSH1 0x01 00001410: PUSH1 0xa0 00001412: SHL 00001413: SUB 00001414: DUP2 00001415: AND 00001416: PUSH2 0x1470 00001419: JUMPI 0000141a: PUSH1 0x40 0000141c: MLOAD 0000141d: PUSH3 0x461bcd 00001421: PUSH1 0xe5 00001423: SHL 00001424: DUP2 00001425: MSTORE 00001426: PUSH1 0x20 00001428: PUSH1 0x04 0000142a: DUP3 0000142b: ADD 0000142c: MSTORE 0000142d: PUSH1 0x26 0000142f: PUSH1 0x24 00001431: DUP3 00001432: ADD 00001433: MSTORE 00001434: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00001455: PUSH1 0x44 00001457: DUP3 00001458: ADD 00001459: MSTORE 0000145a: PUSH6 0x646472657373 00001461: PUSH1 0xd0 00001463: SHL 00001464: PUSH1 0x64 00001466: DUP3 00001467: ADD 00001468: MSTORE 00001469: PUSH1 0x84 0000146b: ADD 0000146c: PUSH2 0x092d 0000146f: JUMP 00001470: JUMPDEST 00001471: PUSH1 0x05 00001473: SLOAD 00001474: PUSH1 0x40 00001476: MLOAD 00001477: PUSH1 0x01 00001479: PUSH1 0x01 0000147b: PUSH1 0xa0 0000147d: SHL 0000147e: SUB 0000147f: DUP1 00001480: DUP5 00001481: AND 00001482: SWAP3 00001483: AND 00001484: SWAP1 00001485: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000014a6: SWAP1 000014a7: PUSH1 0x00 000014a9: SWAP1 000014aa: LOG3 000014ab: PUSH1 0x05 000014ad: DUP1 000014ae: SLOAD 000014af: PUSH1 0x01 000014b1: PUSH1 0x01 000014b3: PUSH1 0xa0 000014b5: SHL 000014b6: SUB 000014b7: NOT 000014b8: AND 000014b9: PUSH1 0x01 000014bb: PUSH1 0x01 000014bd: PUSH1 0xa0 000014bf: SHL 000014c0: SUB 000014c1: SWAP3 000014c2: SWAP1 000014c3: SWAP3 000014c4: AND 000014c5: SWAP2 000014c6: SWAP1 000014c7: SWAP2 000014c8: OR 000014c9: SWAP1 000014ca: SSTORE 000014cb: JUMP 000014cc: JUMPDEST 000014cd: PUSH1 0x00 000014cf: DUP1 000014d0: PUSH2 0x14d9 000014d3: DUP4 000014d4: DUP6 000014d5: PUSH2 0x29e3 000014d8: JUMP 000014d9: JUMPDEST 000014da: SWAP1 000014db: POP 000014dc: DUP4 000014dd: DUP2 000014de: LT 000014df: ISZERO 000014e0: PUSH2 0x152b 000014e3: JUMPI 000014e4: PUSH1 0x40 000014e6: MLOAD 000014e7: PUSH3 0x461bcd 000014eb: PUSH1 0xe5 000014ed: SHL 000014ee: DUP2 000014ef: MSTORE 000014f0: PUSH1 0x20 000014f2: PUSH1 0x04 000014f4: DUP3 000014f5: ADD 000014f6: MSTORE 000014f7: PUSH1 0x1b 000014f9: PUSH1 0x24 000014fb: DUP3 000014fc: ADD 000014fd: MSTORE 000014fe: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 0000151f: PUSH1 0x44 00001521: DUP3 00001522: ADD 00001523: MSTORE 00001524: PUSH1 0x64 00001526: ADD 00001527: PUSH2 0x092d 0000152a: JUMP 0000152b: JUMPDEST 0000152c: SWAP4 0000152d: SWAP3 0000152e: POP 0000152f: POP 00001530: POP 00001531: JUMP 00001532: JUMPDEST 00001533: PUSH1 0x01 00001535: PUSH1 0x01 00001537: PUSH1 0xa0 00001539: SHL 0000153a: SUB 0000153b: DUP4 0000153c: AND 0000153d: PUSH2 0x1594 00001540: JUMPI 00001541: PUSH1 0x40 00001543: MLOAD 00001544: PUSH3 0x461bcd 00001548: PUSH1 0xe5 0000154a: SHL 0000154b: DUP2 0000154c: MSTORE 0000154d: PUSH1 0x20 0000154f: PUSH1 0x04 00001551: DUP3 00001552: ADD 00001553: MSTORE 00001554: PUSH1 0x24 00001556: DUP1 00001557: DUP3 00001558: ADD 00001559: MSTORE 0000155a: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464 0000157b: PUSH1 0x44 0000157d: DUP3 0000157e: ADD 0000157f: MSTORE 00001580: PUSH4 0x72657373 00001585: PUSH1 0xe0 00001587: SHL 00001588: PUSH1 0x64 0000158a: DUP3 0000158b: ADD 0000158c: MSTORE 0000158d: PUSH1 0x84 0000158f: ADD 00001590: PUSH2 0x092d 00001593: JUMP 00001594: JUMPDEST 00001595: PUSH1 0x01 00001597: PUSH1 0x01 00001599: PUSH1 0xa0 0000159b: SHL 0000159c: SUB 0000159d: DUP3 0000159e: AND 0000159f: PUSH2 0x15f5 000015a2: JUMPI 000015a3: PUSH1 0x40 000015a5: MLOAD 000015a6: PUSH3 0x461bcd 000015aa: PUSH1 0xe5 000015ac: SHL 000015ad: DUP2 000015ae: MSTORE 000015af: PUSH1 0x20 000015b1: PUSH1 0x04 000015b3: DUP3 000015b4: ADD 000015b5: MSTORE 000015b6: PUSH1 0x22 000015b8: PUSH1 0x24 000015ba: DUP3 000015bb: ADD 000015bc: MSTORE 000015bd: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265 000015de: PUSH1 0x44 000015e0: DUP3 000015e1: ADD 000015e2: MSTORE 000015e3: PUSH2 0x7373 000015e6: PUSH1 0xf0 000015e8: SHL 000015e9: PUSH1 0x64 000015eb: DUP3 000015ec: ADD 000015ed: MSTORE 000015ee: PUSH1 0x84 000015f0: ADD 000015f1: PUSH2 0x092d 000015f4: JUMP 000015f5: JUMPDEST 000015f6: PUSH1 0x01 000015f8: PUSH1 0x01 000015fa: PUSH1 0xa0 000015fc: SHL 000015fd: SUB 000015fe: DUP4 000015ff: DUP2 00001600: AND 00001601: PUSH1 0x00 00001603: DUP2 00001604: DUP2 00001605: MSTORE 00001606: PUSH1 0x01 00001608: PUSH1 0x20 0000160a: SWAP1 0000160b: DUP2 0000160c: MSTORE 0000160d: PUSH1 0x40 0000160f: DUP1 00001610: DUP4 00001611: KECCAK256 00001612: SWAP5 00001613: DUP8 00001614: AND 00001615: DUP1 00001616: DUP5 00001617: MSTORE 00001618: SWAP5 00001619: DUP3 0000161a: MSTORE 0000161b: SWAP2 0000161c: DUP3 0000161d: SWAP1 0000161e: KECCAK256 0000161f: DUP6 00001620: SWAP1 00001621: SSTORE 00001622: SWAP1 00001623: MLOAD 00001624: DUP5 00001625: DUP2 00001626: MSTORE 00001627: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00001648: SWAP2 00001649: ADD 0000164a: JUMPDEST 0000164b: PUSH1 0x40 0000164d: MLOAD 0000164e: DUP1 0000164f: SWAP2 00001650: SUB 00001651: SWAP1 00001652: LOG3 00001653: POP 00001654: POP 00001655: POP 00001656: JUMP 00001657: JUMPDEST 00001658: PUSH1 0x01 0000165a: PUSH1 0x01 0000165c: PUSH1 0xa0 0000165e: SHL 0000165f: SUB 00001660: DUP4 00001661: AND 00001662: PUSH2 0x167d 00001665: JUMPI 00001666: PUSH1 0x40 00001668: MLOAD 00001669: PUSH3 0x461bcd 0000166d: PUSH1 0xe5 0000166f: SHL 00001670: DUP2 00001671: MSTORE 00001672: PUSH1 0x04 00001674: ADD 00001675: PUSH2 0x092d 00001678: SWAP1 00001679: PUSH2 0x29fb 0000167c: JUMP 0000167d: JUMPDEST 0000167e: PUSH1 0x01 00001680: PUSH1 0x01 00001682: PUSH1 0xa0 00001684: SHL 00001685: SUB 00001686: DUP3 00001687: AND 00001688: PUSH2 0x16a3 0000168b: JUMPI 0000168c: PUSH1 0x40 0000168e: MLOAD 0000168f: PUSH3 0x461bcd 00001693: PUSH1 0xe5 00001695: SHL 00001696: DUP2 00001697: MSTORE 00001698: PUSH1 0x04 0000169a: ADD 0000169b: PUSH2 0x092d 0000169e: SWAP1 0000169f: PUSH2 0x2a40 000016a2: JUMP 000016a3: JUMPDEST 000016a4: PUSH1 0x01 000016a6: PUSH1 0x01 000016a8: PUSH1 0xa0 000016aa: SHL 000016ab: SUB 000016ac: DUP4 000016ad: AND 000016ae: PUSH1 0x00 000016b0: SWAP1 000016b1: DUP2 000016b2: MSTORE 000016b3: PUSH1 0x06 000016b5: PUSH1 0x20 000016b7: MSTORE 000016b8: PUSH1 0x40 000016ba: SWAP1 000016bb: KECCAK256 000016bc: SLOAD 000016bd: PUSH1 0xff 000016bf: AND 000016c0: ISZERO 000016c1: PUSH2 0x1748 000016c4: JUMPI 000016c5: PUSH1 0x40 000016c7: MLOAD 000016c8: PUSH3 0x461bcd 000016cc: PUSH1 0xe5 000016ce: SHL 000016cf: DUP2 000016d0: MSTORE 000016d1: PUSH1 0x20 000016d3: PUSH1 0x04 000016d5: DUP3 000016d6: ADD 000016d7: MSTORE 000016d8: PUSH1 0x4d 000016da: PUSH1 0x24 000016dc: DUP3 000016dd: ADD 000016de: MSTORE 000016df: PUSH32 0x596f7572206164647265737320686173206265656e206d61726b656420617320 00001700: PUSH1 0x44 00001702: DUP3 00001703: ADD 00001704: MSTORE 00001705: PUSH32 0x6120736e697065722c20796f752061726520756e61626c6520746f207472616e 00001726: PUSH1 0x64 00001728: DUP3 00001729: ADD 0000172a: MSTORE 0000172b: PUSH13 0x39b332b91037b91039bbb0b817 00001739: PUSH1 0x99 0000173b: SHL 0000173c: PUSH1 0x84 0000173e: DUP3 0000173f: ADD 00001740: MSTORE 00001741: PUSH1 0xa4 00001743: ADD 00001744: PUSH2 0x092d 00001747: JUMP 00001748: JUMPDEST 00001749: DUP1 0000174a: PUSH2 0x1759 0000174d: JUMPI 0000174e: PUSH2 0x0e3b 00001751: DUP4 00001752: DUP4 00001753: PUSH1 0x00 00001755: PUSH2 0x1fd5 00001758: JUMP 00001759: JUMPDEST 0000175a: PUSH1 0x08 0000175c: SLOAD 0000175d: TIMESTAMP 0000175e: EQ 0000175f: ISZERO 00001760: PUSH2 0x1787 00001763: JUMPI 00001764: PUSH1 0x01 00001766: PUSH1 0x01 00001768: PUSH1 0xa0 0000176a: SHL 0000176b: SUB 0000176c: DUP3 0000176d: AND 0000176e: PUSH1 0x00 00001770: SWAP1 00001771: DUP2 00001772: MSTORE 00001773: PUSH1 0x06 00001775: PUSH1 0x20 00001777: MSTORE 00001778: PUSH1 0x40 0000177a: SWAP1 0000177b: KECCAK256 0000177c: DUP1 0000177d: SLOAD 0000177e: PUSH1 0xff 00001780: NOT 00001781: AND 00001782: PUSH1 0x01 00001784: OR 00001785: SWAP1 00001786: SSTORE 00001787: JUMPDEST 00001788: PUSH1 0x0d 0000178a: SLOAD 0000178b: PUSH1 0xff 0000178d: AND 0000178e: ISZERO 0000178f: PUSH2 0x1c3d 00001792: JUMPI 00001793: PUSH1 0x05 00001795: SLOAD 00001796: PUSH1 0x01 00001798: PUSH1 0x01 0000179a: PUSH1 0xa0 0000179c: SHL 0000179d: SUB 0000179e: DUP5 0000179f: DUP2 000017a0: AND 000017a1: SWAP2 000017a2: AND 000017a3: EQ 000017a4: DUP1 000017a5: ISZERO 000017a6: SWAP1 000017a7: PUSH2 0x17be 000017aa: JUMPI 000017ab: POP 000017ac: PUSH1 0x05 000017ae: SLOAD 000017af: PUSH1 0x01 000017b1: PUSH1 0x01 000017b3: PUSH1 0xa0 000017b5: SHL 000017b6: SUB 000017b7: DUP4 000017b8: DUP2 000017b9: AND 000017ba: SWAP2 000017bb: AND 000017bc: EQ 000017bd: ISZERO 000017be: JUMPDEST 000017bf: DUP1 000017c0: ISZERO 000017c1: PUSH2 0x17d2 000017c4: JUMPI 000017c5: POP 000017c6: PUSH1 0x01 000017c8: PUSH1 0x01 000017ca: PUSH1 0xa0 000017cc: SHL 000017cd: SUB 000017ce: DUP3 000017cf: AND 000017d0: ISZERO 000017d1: ISZERO 000017d2: JUMPDEST 000017d3: DUP1 000017d4: ISZERO 000017d5: PUSH2 0x17e9 000017d8: JUMPI 000017d9: POP 000017da: PUSH1 0x01 000017dc: PUSH1 0x01 000017de: PUSH1 0xa0 000017e0: SHL 000017e1: SUB 000017e2: DUP3 000017e3: AND 000017e4: PUSH2 0xdead 000017e7: EQ 000017e8: ISZERO 000017e9: JUMPDEST 000017ea: DUP1 000017eb: ISZERO 000017ec: PUSH2 0x17f8 000017ef: JUMPI 000017f0: POP 000017f1: PUSH1 0x07 000017f3: SLOAD 000017f4: PUSH1 0xff 000017f6: AND 000017f7: ISZERO 000017f8: JUMPDEST 000017f9: ISZERO 000017fa: PUSH2 0x1c3d 000017fd: JUMPI 000017fe: PUSH1 0x0d 00001800: SLOAD 00001801: PUSH2 0x0100 00001804: SWAP1 00001805: DIV 00001806: PUSH1 0xff 00001808: AND 00001809: PUSH2 0x1890 0000180c: JUMPI 0000180d: PUSH1 0x01 0000180f: PUSH1 0x01 00001811: PUSH1 0xa0 00001813: SHL 00001814: SUB 00001815: DUP4 00001816: AND 00001817: PUSH1 0x00 00001819: SWAP1 0000181a: DUP2 0000181b: MSTORE 0000181c: PUSH1 0x1b 0000181e: PUSH1 0x20 00001820: MSTORE 00001821: PUSH1 0x40 00001823: SWAP1 00001824: KECCAK256 00001825: SLOAD 00001826: PUSH1 0xff 00001828: AND 00001829: DUP1 0000182a: PUSH2 0x184b 0000182d: JUMPI 0000182e: POP 0000182f: PUSH1 0x01 00001831: PUSH1 0x01 00001833: PUSH1 0xa0 00001835: SHL 00001836: SUB 00001837: DUP3 00001838: AND 00001839: PUSH1 0x00 0000183b: SWAP1 0000183c: DUP2 0000183d: MSTORE 0000183e: PUSH1 0x1b 00001840: PUSH1 0x20 00001842: MSTORE 00001843: PUSH1 0x40 00001845: SWAP1 00001846: KECCAK256 00001847: SLOAD 00001848: PUSH1 0xff 0000184a: AND 0000184b: JUMPDEST 0000184c: PUSH2 0x1890 0000184f: JUMPI 00001850: PUSH1 0x40 00001852: MLOAD 00001853: PUSH3 0x461bcd 00001857: PUSH1 0xe5 00001859: SHL 0000185a: DUP2 0000185b: MSTORE 0000185c: PUSH1 0x20 0000185e: PUSH1 0x04 00001860: DUP3 00001861: ADD 00001862: MSTORE 00001863: PUSH1 0x16 00001865: PUSH1 0x24 00001867: DUP3 00001868: ADD 00001869: MSTORE 0000186a: PUSH22 0x2a3930b234b7339034b9903737ba1030b1ba34bb3297 00001881: PUSH1 0x51 00001883: SHL 00001884: PUSH1 0x44 00001886: DUP3 00001887: ADD 00001888: MSTORE 00001889: PUSH1 0x64 0000188b: ADD 0000188c: PUSH2 0x092d 0000188f: JUMP 00001890: JUMPDEST 00001891: PUSH1 0x0f 00001893: SLOAD 00001894: PUSH1 0xff 00001896: AND 00001897: ISZERO 00001898: PUSH2 0x19d7 0000189b: JUMPI 0000189c: PUSH1 0x05 0000189e: SLOAD 0000189f: PUSH1 0x01 000018a1: PUSH1 0x01 000018a3: PUSH1 0xa0 000018a5: SHL 000018a6: SUB 000018a7: DUP4 000018a8: DUP2 000018a9: AND 000018aa: SWAP2 000018ab: AND 000018ac: EQ 000018ad: DUP1 000018ae: ISZERO 000018af: SWAP1 000018b0: PUSH2 0x18eb 000018b3: JUMPI 000018b4: POP 000018b5: PUSH32 0x00000000000000000000000003f7724180aa6b939894b5ca4314783b0b36b329 000018d6: PUSH1 0x01 000018d8: PUSH1 0x01 000018da: PUSH1 0xa0 000018dc: SHL 000018dd: SUB 000018de: AND 000018df: DUP3 000018e0: PUSH1 0x01 000018e2: PUSH1 0x01 000018e4: PUSH1 0xa0 000018e6: SHL 000018e7: SUB 000018e8: AND 000018e9: EQ 000018ea: ISZERO 000018eb: JUMPDEST 000018ec: DUP1 000018ed: ISZERO 000018ee: PUSH2 0x1929 000018f1: JUMPI 000018f2: POP 000018f3: PUSH32 0x000000000000000000000000870de806a9cf1e687076998f1618ae0d82e4c43b 00001914: PUSH1 0x01 00001916: PUSH1 0x01 00001918: PUSH1 0xa0 0000191a: SHL 0000191b: SUB 0000191c: AND 0000191d: DUP3 0000191e: PUSH1 0x01 00001920: PUSH1 0x01 00001922: PUSH1 0xa0 00001924: SHL 00001925: SUB 00001926: AND 00001927: EQ 00001928: ISZERO 00001929: JUMPDEST 0000192a: ISZERO 0000192b: PUSH2 0x19d7 0000192e: JUMPI 0000192f: ORIGIN 00001930: PUSH1 0x00 00001932: SWAP1 00001933: DUP2 00001934: MSTORE 00001935: PUSH1 0x0e 00001937: PUSH1 0x20 00001939: MSTORE 0000193a: PUSH1 0x40 0000193c: SWAP1 0000193d: KECCAK256 0000193e: SLOAD 0000193f: NUMBER 00001940: GT 00001941: PUSH2 0x19c4 00001944: JUMPI 00001945: PUSH1 0x40 00001947: MLOAD 00001948: PUSH3 0x461bcd 0000194c: PUSH1 0xe5 0000194e: SHL 0000194f: DUP2 00001950: MSTORE 00001951: PUSH1 0x20 00001953: PUSH1 0x04 00001955: DUP3 00001956: ADD 00001957: MSTORE 00001958: PUSH1 0x49 0000195a: PUSH1 0x24 0000195c: DUP3 0000195d: ADD 0000195e: MSTORE 0000195f: PUSH32 0x5f7472616e736665723a3a205472616e736665722044656c617920656e61626c 00001980: PUSH1 0x44 00001982: DUP3 00001983: ADD 00001984: MSTORE 00001985: PUSH32 0x65642e20204f6e6c79206f6e652070757263686173652070657220626c6f636b 000019a6: PUSH1 0x64 000019a8: DUP3 000019a9: ADD 000019aa: MSTORE 000019ab: PUSH9 0x1030b63637bbb2b217 000019b5: PUSH1 0xb9 000019b7: SHL 000019b8: PUSH1 0x84 000019ba: DUP3 000019bb: ADD 000019bc: MSTORE 000019bd: PUSH1 0xa4 000019bf: ADD 000019c0: PUSH2 0x092d 000019c3: JUMP 000019c4: JUMPDEST 000019c5: ORIGIN 000019c6: PUSH1 0x00 000019c8: SWAP1 000019c9: DUP2 000019ca: MSTORE 000019cb: PUSH1 0x0e 000019cd: PUSH1 0x20 000019cf: MSTORE 000019d0: PUSH1 0x40 000019d2: SWAP1 000019d3: KECCAK256 000019d4: NUMBER 000019d5: SWAP1 000019d6: SSTORE 000019d7: JUMPDEST 000019d8: PUSH1 0x01 000019da: PUSH1 0x01 000019dc: PUSH1 0xa0 000019de: SHL 000019df: SUB 000019e0: DUP4 000019e1: AND 000019e2: PUSH1 0x00 000019e4: SWAP1 000019e5: DUP2 000019e6: MSTORE 000019e7: PUSH1 0x1d 000019e9: PUSH1 0x20 000019eb: MSTORE 000019ec: PUSH1 0x40 000019ee: SWAP1 000019ef: KECCAK256 000019f0: SLOAD 000019f1: PUSH1 0xff 000019f3: AND 000019f4: DUP1 000019f5: ISZERO 000019f6: PUSH2 0x1a18 000019f9: JUMPI 000019fa: POP 000019fb: PUSH1 0x01 000019fd: PUSH1 0x01 000019ff: PUSH1 0xa0 00001a01: SHL 00001a02: SUB 00001a03: DUP3 00001a04: AND 00001a05: PUSH1 0x00 00001a07: SWAP1 00001a08: DUP2 00001a09: MSTORE 00001a0a: PUSH1 0x1c 00001a0c: PUSH1 0x20 00001a0e: MSTORE 00001a0f: PUSH1 0x40 00001a11: SWAP1 00001a12: KECCAK256 00001a13: SLOAD 00001a14: PUSH1 0xff 00001a16: AND 00001a17: ISZERO 00001a18: JUMPDEST 00001a19: ISZERO 00001a1a: PUSH2 0x1afc 00001a1d: JUMPI 00001a1e: PUSH1 0x0a 00001a20: SLOAD 00001a21: DUP2 00001a22: GT 00001a23: ISZERO 00001a24: PUSH2 0x1a8d 00001a27: JUMPI 00001a28: PUSH1 0x40 00001a2a: MLOAD 00001a2b: PUSH3 0x461bcd 00001a2f: PUSH1 0xe5 00001a31: SHL 00001a32: DUP2 00001a33: MSTORE 00001a34: PUSH1 0x20 00001a36: PUSH1 0x04 00001a38: DUP3 00001a39: ADD 00001a3a: MSTORE 00001a3b: PUSH1 0x35 00001a3d: PUSH1 0x24 00001a3f: DUP3 00001a40: ADD 00001a41: MSTORE 00001a42: PUSH32 0x427579207472616e7366657220616d6f756e7420657863656564732074686520 00001a63: PUSH1 0x44 00001a65: DUP3 00001a66: ADD 00001a67: MSTORE 00001a68: PUSH21 0x36b0bc2a3930b739b0b1ba34b7b720b6b7bab73a17 00001a7e: PUSH1 0x59 00001a80: SHL 00001a81: PUSH1 0x64 00001a83: DUP3 00001a84: ADD 00001a85: MSTORE 00001a86: PUSH1 0x84 00001a88: ADD 00001a89: PUSH2 0x092d 00001a8c: JUMP 00001a8d: JUMPDEST 00001a8e: PUSH1 0x0c 00001a90: SLOAD 00001a91: PUSH1 0x01 00001a93: PUSH1 0x01 00001a95: PUSH1 0xa0 00001a97: SHL 00001a98: SUB 00001a99: DUP4 00001a9a: AND 00001a9b: PUSH1 0x00 00001a9d: SWAP1 00001a9e: DUP2 00001a9f: MSTORE 00001aa0: PUSH1 0x20 00001aa2: DUP2 00001aa3: SWAP1 00001aa4: MSTORE 00001aa5: PUSH1 0x40 00001aa7: SWAP1 00001aa8: KECCAK256 00001aa9: SLOAD 00001aaa: PUSH2 0x1ab3 00001aad: SWAP1 00001aae: DUP4 00001aaf: PUSH2 0x29e3 00001ab2: JUMP 00001ab3: JUMPDEST 00001ab4: GT 00001ab5: ISZERO 00001ab6: PUSH2 0x1af7 00001ab9: JUMPI 00001aba: PUSH1 0x40 00001abc: MLOAD 00001abd: PUSH3 0x461bcd 00001ac1: PUSH1 0xe5 00001ac3: SHL 00001ac4: DUP2 00001ac5: MSTORE 00001ac6: PUSH1 0x20 00001ac8: PUSH1 0x04 00001aca: DUP3 00001acb: ADD 00001acc: MSTORE 00001acd: PUSH1 0x13 00001acf: PUSH1 0x24 00001ad1: DUP3 00001ad2: ADD 00001ad3: MSTORE 00001ad4: PUSH19 0x13585e081dd85b1b195d08195e18d959591959 00001ae8: PUSH1 0x6a 00001aea: SHL 00001aeb: PUSH1 0x44 00001aed: DUP3 00001aee: ADD 00001aef: MSTORE 00001af0: PUSH1 0x64 00001af2: ADD 00001af3: PUSH2 0x092d 00001af6: JUMP 00001af7: JUMPDEST 00001af8: PUSH2 0x1c3d 00001afb: JUMP 00001afc: JUMPDEST 00001afd: PUSH1 0x01 00001aff: PUSH1 0x01 00001b01: PUSH1 0xa0 00001b03: SHL 00001b04: SUB 00001b05: DUP3 00001b06: AND 00001b07: PUSH1 0x00 00001b09: SWAP1 00001b0a: DUP2 00001b0b: MSTORE 00001b0c: PUSH1 0x1d 00001b0e: PUSH1 0x20 00001b10: MSTORE 00001b11: PUSH1 0x40 00001b13: SWAP1 00001b14: KECCAK256 00001b15: SLOAD 00001b16: PUSH1 0xff 00001b18: AND 00001b19: DUP1 00001b1a: ISZERO 00001b1b: PUSH2 0x1b3d 00001b1e: JUMPI 00001b1f: POP 00001b20: PUSH1 0x01 00001b22: PUSH1 0x01 00001b24: PUSH1 0xa0 00001b26: SHL 00001b27: SUB 00001b28: DUP4 00001b29: AND 00001b2a: PUSH1 0x00 00001b2c: SWAP1 00001b2d: DUP2 00001b2e: MSTORE 00001b2f: PUSH1 0x1c 00001b31: PUSH1 0x20 00001b33: MSTORE 00001b34: PUSH1 0x40 00001b36: SWAP1 00001b37: KECCAK256 00001b38: SLOAD 00001b39: PUSH1 0xff 00001b3b: AND 00001b3c: ISZERO 00001b3d: JUMPDEST 00001b3e: ISZERO 00001b3f: PUSH2 0x1bb3 00001b42: JUMPI 00001b43: PUSH1 0x0a 00001b45: SLOAD 00001b46: DUP2 00001b47: GT 00001b48: ISZERO 00001b49: PUSH2 0x1af7 00001b4c: JUMPI 00001b4d: PUSH1 0x40 00001b4f: MLOAD 00001b50: PUSH3 0x461bcd 00001b54: PUSH1 0xe5 00001b56: SHL 00001b57: DUP2 00001b58: MSTORE 00001b59: PUSH1 0x20 00001b5b: PUSH1 0x04 00001b5d: DUP3 00001b5e: ADD 00001b5f: MSTORE 00001b60: PUSH1 0x36 00001b62: PUSH1 0x24 00001b64: DUP3 00001b65: ADD 00001b66: MSTORE 00001b67: PUSH32 0x53656c6c207472616e7366657220616d6f756e74206578636565647320746865 00001b88: PUSH1 0x44 00001b8a: DUP3 00001b8b: ADD 00001b8c: MSTORE 00001b8d: PUSH22 0x1036b0bc2a3930b739b0b1ba34b7b720b6b7bab73a17 00001ba4: PUSH1 0x51 00001ba6: SHL 00001ba7: PUSH1 0x64 00001ba9: DUP3 00001baa: ADD 00001bab: MSTORE 00001bac: PUSH1 0x84 00001bae: ADD 00001baf: PUSH2 0x092d 00001bb2: JUMP 00001bb3: JUMPDEST 00001bb4: PUSH1 0x01 00001bb6: PUSH1 0x01 00001bb8: PUSH1 0xa0 00001bba: SHL 00001bbb: SUB 00001bbc: DUP3 00001bbd: AND 00001bbe: PUSH1 0x00 00001bc0: SWAP1 00001bc1: DUP2 00001bc2: MSTORE 00001bc3: PUSH1 0x1c 00001bc5: PUSH1 0x20 00001bc7: MSTORE 00001bc8: PUSH1 0x40 00001bca: SWAP1 00001bcb: KECCAK256 00001bcc: SLOAD 00001bcd: PUSH1 0xff 00001bcf: AND 00001bd0: PUSH2 0x1c3d 00001bd3: JUMPI 00001bd4: PUSH1 0x0c 00001bd6: SLOAD 00001bd7: PUSH1 0x01 00001bd9: PUSH1 0x01 00001bdb: PUSH1 0xa0 00001bdd: SHL 00001bde: SUB 00001bdf: DUP4 00001be0: AND 00001be1: PUSH1 0x00 00001be3: SWAP1 00001be4: DUP2 00001be5: MSTORE 00001be6: PUSH1 0x20 00001be8: DUP2 00001be9: SWAP1 00001bea: MSTORE 00001beb: PUSH1 0x40 00001bed: SWAP1 00001bee: KECCAK256 00001bef: SLOAD 00001bf0: PUSH2 0x1bf9 00001bf3: SWAP1 00001bf4: DUP4 00001bf5: PUSH2 0x29e3 00001bf8: JUMP 00001bf9: JUMPDEST 00001bfa: GT 00001bfb: ISZERO 00001bfc: PUSH2 0x1c3d 00001bff: JUMPI 00001c00: PUSH1 0x40 00001c02: MLOAD 00001c03: PUSH3 0x461bcd 00001c07: PUSH1 0xe5 00001c09: SHL 00001c0a: DUP2 00001c0b: MSTORE 00001c0c: PUSH1 0x20 00001c0e: PUSH1 0x04 00001c10: DUP3 00001c11: ADD 00001c12: MSTORE 00001c13: PUSH1 0x13 00001c15: PUSH1 0x24 00001c17: DUP3 00001c18: ADD 00001c19: MSTORE 00001c1a: PUSH19 0x13585e081dd85b1b195d08195e18d959591959 00001c2e: PUSH1 0x6a 00001c30: SHL 00001c31: PUSH1 0x44 00001c33: DUP3 00001c34: ADD 00001c35: MSTORE 00001c36: PUSH1 0x64 00001c38: ADD 00001c39: PUSH2 0x092d 00001c3c: JUMP 00001c3d: JUMPDEST 00001c3e: ADDRESS 00001c3f: PUSH1 0x00 00001c41: SWAP1 00001c42: DUP2 00001c43: MSTORE 00001c44: PUSH1 0x20 00001c46: DUP2 00001c47: SWAP1 00001c48: MSTORE 00001c49: PUSH1 0x40 00001c4b: SWAP1 00001c4c: KECCAK256 00001c4d: SLOAD 00001c4e: PUSH1 0x0b 00001c50: SLOAD 00001c51: DUP2 00001c52: LT 00001c53: DUP1 00001c54: ISZERO 00001c55: SWAP1 00001c56: DUP2 00001c57: SWAP1 00001c58: PUSH2 0x1c64 00001c5b: JUMPI 00001c5c: POP 00001c5d: PUSH1 0x07 00001c5f: SLOAD 00001c60: PUSH1 0xff 00001c62: AND 00001c63: ISZERO 00001c64: JUMPDEST 00001c65: DUP1 00001c66: ISZERO 00001c67: PUSH2 0x1c89 00001c6a: JUMPI 00001c6b: POP 00001c6c: PUSH1 0x01 00001c6e: PUSH1 0x01 00001c70: PUSH1 0xa0 00001c72: SHL 00001c73: SUB 00001c74: DUP6 00001c75: AND 00001c76: PUSH1 0x00 00001c78: SWAP1 00001c79: DUP2 00001c7a: MSTORE 00001c7b: PUSH1 0x1d 00001c7d: PUSH1 0x20 00001c7f: MSTORE 00001c80: PUSH1 0x40 00001c82: SWAP1 00001c83: KECCAK256 00001c84: SLOAD 00001c85: PUSH1 0xff 00001c87: AND 00001c88: ISZERO 00001c89: JUMPDEST 00001c8a: DUP1 00001c8b: ISZERO 00001c8c: PUSH2 0x1cae 00001c8f: JUMPI 00001c90: POP 00001c91: PUSH1 0x01 00001c93: PUSH1 0x01 00001c95: PUSH1 0xa0 00001c97: SHL 00001c98: SUB 00001c99: DUP6 00001c9a: AND 00001c9b: PUSH1 0x00 00001c9d: SWAP1 00001c9e: DUP2 00001c9f: MSTORE 00001ca0: PUSH1 0x1b 00001ca2: PUSH1 0x20 00001ca4: MSTORE 00001ca5: PUSH1 0x40 00001ca7: SWAP1 00001ca8: KECCAK256 00001ca9: SLOAD 00001caa: PUSH1 0xff 00001cac: AND 00001cad: ISZERO 00001cae: JUMPDEST 00001caf: DUP1 00001cb0: ISZERO 00001cb1: PUSH2 0x1cd3 00001cb4: JUMPI 00001cb5: POP 00001cb6: PUSH1 0x01 00001cb8: PUSH1 0x01 00001cba: PUSH1 0xa0 00001cbc: SHL 00001cbd: SUB 00001cbe: DUP5 00001cbf: AND 00001cc0: PUSH1 0x00 00001cc2: SWAP1 00001cc3: DUP2 00001cc4: MSTORE 00001cc5: PUSH1 0x1b 00001cc7: PUSH1 0x20 00001cc9: MSTORE 00001cca: PUSH1 0x40 00001ccc: SWAP1 00001ccd: KECCAK256 00001cce: SLOAD 00001ccf: PUSH1 0xff 00001cd1: AND 00001cd2: ISZERO 00001cd3: JUMPDEST 00001cd4: ISZERO 00001cd5: PUSH2 0x1cf8 00001cd8: JUMPI 00001cd9: PUSH1 0x07 00001cdb: DUP1 00001cdc: SLOAD 00001cdd: PUSH1 0xff 00001cdf: NOT 00001ce0: AND 00001ce1: PUSH1 0x01 00001ce3: OR 00001ce4: SWAP1 00001ce5: SSTORE 00001ce6: PUSH2 0x1ced 00001ce9: PUSH2 0x20de 00001cec: JUMP 00001ced: JUMPDEST 00001cee: PUSH1 0x07 00001cf0: DUP1 00001cf1: SLOAD 00001cf2: PUSH1 0xff 00001cf4: NOT 00001cf5: AND 00001cf6: SWAP1 00001cf7: SSTORE 00001cf8: JUMPDEST 00001cf9: PUSH1 0x07 00001cfb: SLOAD 00001cfc: PUSH1 0x01 00001cfe: PUSH1 0x01 00001d00: PUSH1 0xa0 00001d02: SHL 00001d03: SUB 00001d04: DUP7 00001d05: AND 00001d06: PUSH1 0x00 00001d08: SWAP1 00001d09: DUP2 00001d0a: MSTORE 00001d0b: PUSH1 0x1b 00001d0d: PUSH1 0x20 00001d0f: MSTORE 00001d10: PUSH1 0x40 00001d12: SWAP1 00001d13: KECCAK256 00001d14: SLOAD 00001d15: PUSH1 0xff 00001d17: SWAP2 00001d18: DUP3 00001d19: AND 00001d1a: ISZERO 00001d1b: SWAP2 00001d1c: AND 00001d1d: DUP1 00001d1e: PUSH2 0x1d3f 00001d21: JUMPI 00001d22: POP 00001d23: PUSH1 0x01 00001d25: PUSH1 0x01 00001d27: PUSH1 0xa0 00001d29: SHL 00001d2a: SUB 00001d2b: DUP6 00001d2c: AND 00001d2d: PUSH1 0x00 00001d2f: SWAP1 00001d30: DUP2 00001d31: MSTORE 00001d32: PUSH1 0x1b 00001d34: PUSH1 0x20 00001d36: MSTORE 00001d37: PUSH1 0x40 00001d39: SWAP1 00001d3a: KECCAK256 00001d3b: SLOAD 00001d3c: PUSH1 0xff 00001d3e: AND 00001d3f: JUMPDEST 00001d40: ISZERO 00001d41: PUSH2 0x1d48 00001d44: JUMPI 00001d45: POP 00001d46: PUSH1 0x00 00001d48: JUMPDEST 00001d49: PUSH1 0x00 00001d4b: DUP2 00001d4c: ISZERO 00001d4d: PUSH2 0x1f33 00001d50: JUMPI 00001d51: PUSH1 0x01 00001d53: PUSH1 0x01 00001d55: PUSH1 0xa0 00001d57: SHL 00001d58: SUB 00001d59: DUP7 00001d5a: AND 00001d5b: PUSH1 0x00 00001d5d: SWAP1 00001d5e: DUP2 00001d5f: MSTORE 00001d60: PUSH1 0x1d 00001d62: PUSH1 0x20 00001d64: MSTORE 00001d65: PUSH1 0x40 00001d67: SWAP1 00001d68: KECCAK256 00001d69: SLOAD 00001d6a: PUSH1 0xff 00001d6c: AND 00001d6d: DUP1 00001d6e: ISZERO 00001d6f: PUSH2 0x1d7a 00001d72: JUMPI 00001d73: POP 00001d74: PUSH1 0x00 00001d76: PUSH1 0x14 00001d78: SLOAD 00001d79: GT 00001d7a: JUMPDEST 00001d7b: ISZERO 00001d7c: PUSH2 0x1e38 00001d7f: JUMPI 00001d80: PUSH2 0x1d9f 00001d83: PUSH1 0x64 00001d85: PUSH2 0x1d99 00001d88: PUSH1 0x14 00001d8a: SLOAD 00001d8b: DUP9 00001d8c: PUSH2 0x2269 00001d8f: SWAP1 00001d90: SWAP2 00001d91: SWAP1 00001d92: PUSH4 0xffffffff 00001d97: AND 00001d98: JUMP 00001d99: JUMPDEST 00001d9a: SWAP1 00001d9b: PUSH2 0x22e8 00001d9e: JUMP 00001d9f: JUMPDEST 00001da0: SWAP1 00001da1: POP 00001da2: PUSH1 0x14 00001da4: SLOAD 00001da5: PUSH1 0x16 00001da7: SLOAD 00001da8: DUP3 00001da9: PUSH2 0x1db2 00001dac: SWAP2 00001dad: SWAP1 00001dae: PUSH2 0x2971 00001db1: JUMP 00001db2: JUMPDEST 00001db3: PUSH2 0x1dbc 00001db6: SWAP2 00001db7: SWAP1 00001db8: PUSH2 0x2990 00001dbb: JUMP 00001dbc: JUMPDEST 00001dbd: PUSH1 0x19 00001dbf: PUSH1 0x00 00001dc1: DUP3 00001dc2: DUP3 00001dc3: SLOAD 00001dc4: PUSH2 0x1dcd 00001dc7: SWAP2 00001dc8: SWAP1 00001dc9: PUSH2 0x29e3 00001dcc: JUMP 00001dcd: JUMPDEST 00001dce: SWAP1 00001dcf: SWAP2 00001dd0: SSTORE 00001dd1: POP 00001dd2: POP 00001dd3: PUSH1 0x14 00001dd5: SLOAD 00001dd6: PUSH1 0x17 00001dd8: SLOAD 00001dd9: PUSH2 0x1de2 00001ddc: SWAP1 00001ddd: DUP4 00001dde: PUSH2 0x2971 00001de1: JUMP 00001de2: JUMPDEST 00001de3: PUSH2 0x1dec 00001de6: SWAP2 00001de7: SWAP1 00001de8: PUSH2 0x2990 00001deb: JUMP 00001dec: JUMPDEST 00001ded: PUSH1 0x1a 00001def: PUSH1 0x00 00001df1: DUP3 00001df2: DUP3 00001df3: SLOAD 00001df4: PUSH2 0x1dfd 00001df7: SWAP2 00001df8: SWAP1 00001df9: PUSH2 0x29e3 00001dfc: JUMP 00001dfd: JUMPDEST 00001dfe: SWAP1 00001dff: SWAP2 00001e00: SSTORE 00001e01: POP 00001e02: POP 00001e03: PUSH1 0x14 00001e05: SLOAD 00001e06: PUSH1 0x15 00001e08: SLOAD 00001e09: PUSH2 0x1e12 00001e0c: SWAP1 00001e0d: DUP4 00001e0e: PUSH2 0x2971 00001e11: JUMP 00001e12: JUMPDEST 00001e13: PUSH2 0x1e1c 00001e16: SWAP2 00001e17: SWAP1 00001e18: PUSH2 0x2990 00001e1b: JUMP 00001e1c: JUMPDEST 00001e1d: PUSH1 0x18 00001e1f: PUSH1 0x00 00001e21: DUP3 00001e22: DUP3 00001e23: SLOAD 00001e24: PUSH2 0x1e2d 00001e27: SWAP2 00001e28: SWAP1 00001e29: PUSH2 0x29e3 00001e2c: JUMP 00001e2d: JUMPDEST 00001e2e: SWAP1 00001e2f: SWAP2 00001e30: SSTORE 00001e31: POP 00001e32: PUSH2 0x1f15 00001e35: SWAP1 00001e36: POP 00001e37: JUMP 00001e38: JUMPDEST 00001e39: PUSH1 0x01 00001e3b: PUSH1 0x01 00001e3d: PUSH1 0xa0 00001e3f: SHL 00001e40: SUB 00001e41: DUP8 00001e42: AND 00001e43: PUSH1 0x00 00001e45: SWAP1 00001e46: DUP2 00001e47: MSTORE 00001e48: PUSH1 0x1d 00001e4a: PUSH1 0x20 00001e4c: MSTORE 00001e4d: PUSH1 0x40 00001e4f: SWAP1 00001e50: KECCAK256 00001e51: SLOAD 00001e52: PUSH1 0xff 00001e54: AND 00001e55: DUP1 00001e56: ISZERO 00001e57: PUSH2 0x1e62 00001e5a: JUMPI 00001e5b: POP 00001e5c: PUSH1 0x00 00001e5e: PUSH1 0x10 00001e60: SLOAD 00001e61: GT 00001e62: JUMPDEST 00001e63: ISZERO 00001e64: PUSH2 0x1f15 00001e67: JUMPI 00001e68: PUSH2 0x1e81 00001e6b: PUSH1 0x64 00001e6d: PUSH2 0x1d99 00001e70: PUSH1 0x10 00001e72: SLOAD 00001e73: DUP9 00001e74: PUSH2 0x2269 00001e77: SWAP1 00001e78: SWAP2 00001e79: SWAP1 00001e7a: PUSH4 0xffffffff 00001e7f: AND 00001e80: JUMP 00001e81: JUMPDEST 00001e82: SWAP1 00001e83: POP 00001e84: PUSH1 0x10 00001e86: SLOAD 00001e87: PUSH1 0x12 00001e89: SLOAD 00001e8a: DUP3 00001e8b: PUSH2 0x1e94 00001e8e: SWAP2 00001e8f: SWAP1 00001e90: PUSH2 0x2971 00001e93: JUMP 00001e94: JUMPDEST 00001e95: PUSH2 0x1e9e 00001e98: SWAP2 00001e99: SWAP1 00001e9a: PUSH2 0x2990 00001e9d: JUMP 00001e9e: JUMPDEST 00001e9f: PUSH1 0x19 00001ea1: PUSH1 0x00 00001ea3: DUP3 00001ea4: DUP3 00001ea5: SLOAD 00001ea6: PUSH2 0x1eaf 00001ea9: SWAP2 00001eaa: SWAP1 00001eab: PUSH2 0x29e3 00001eae: JUMP 00001eaf: JUMPDEST 00001eb0: SWAP1 00001eb1: SWAP2 00001eb2: SSTORE 00001eb3: POP 00001eb4: POP 00001eb5: PUSH1 0x10 00001eb7: SLOAD 00001eb8: PUSH1 0x13 00001eba: SLOAD 00001ebb: PUSH2 0x1ec4 00001ebe: SWAP1 00001ebf: DUP4 00001ec0: PUSH2 0x2971 00001ec3: JUMP 00001ec4: JUMPDEST 00001ec5: PUSH2 0x1ece 00001ec8: SWAP2 00001ec9: SWAP1 00001eca: PUSH2 0x2990 00001ecd: JUMP 00001ece: JUMPDEST 00001ecf: PUSH1 0x1a 00001ed1: PUSH1 0x00 00001ed3: DUP3 00001ed4: DUP3 00001ed5: SLOAD 00001ed6: PUSH2 0x1edf 00001ed9: SWAP2 00001eda: SWAP1 00001edb: PUSH2 0x29e3 00001ede: JUMP 00001edf: JUMPDEST 00001ee0: SWAP1 00001ee1: SWAP2 00001ee2: SSTORE 00001ee3: POP 00001ee4: POP 00001ee5: PUSH1 0x10 00001ee7: SLOAD 00001ee8: PUSH1 0x11 00001eea: SLOAD 00001eeb: PUSH2 0x1ef4 00001eee: SWAP1 00001eef: DUP4 00001ef0: PUSH2 0x2971 00001ef3: JUMP 00001ef4: JUMPDEST 00001ef5: PUSH2 0x1efe 00001ef8: SWAP2 00001ef9: SWAP1 00001efa: PUSH2 0x2990 00001efd: JUMP 00001efe: JUMPDEST 00001eff: PUSH1 0x18 00001f01: PUSH1 0x00 00001f03: DUP3 00001f04: DUP3 00001f05: SLOAD 00001f06: PUSH2 0x1f0f 00001f09: SWAP2 00001f0a: SWAP1 00001f0b: PUSH2 0x29e3 00001f0e: JUMP 00001f0f: JUMPDEST 00001f10: SWAP1 00001f11: SWAP2 00001f12: SSTORE 00001f13: POP 00001f14: POP 00001f15: JUMPDEST 00001f16: DUP1 00001f17: ISZERO 00001f18: PUSH2 0x1f26 00001f1b: JUMPI 00001f1c: PUSH2 0x1f26 00001f1f: DUP8 00001f20: ADDRESS 00001f21: DUP4 00001f22: PUSH2 0x1fd5 00001f25: JUMP 00001f26: JUMPDEST 00001f27: PUSH2 0x1f30 00001f2a: DUP2 00001f2b: DUP7 00001f2c: PUSH2 0x2a83 00001f2f: JUMP 00001f30: JUMPDEST 00001f31: SWAP5 00001f32: POP 00001f33: JUMPDEST 00001f34: PUSH2 0x1f3e 00001f37: DUP8 00001f38: DUP8 00001f39: DUP8 00001f3a: PUSH2 0x1fd5 00001f3d: JUMP 00001f3e: JUMPDEST 00001f3f: POP 00001f40: POP 00001f41: POP 00001f42: POP 00001f43: POP 00001f44: POP 00001f45: POP 00001f46: JUMP 00001f47: JUMPDEST 00001f48: PUSH1 0x00 00001f4a: DUP2 00001f4b: DUP5 00001f4c: DUP5 00001f4d: GT 00001f4e: ISZERO 00001f4f: PUSH2 0x1f6b 00001f52: JUMPI 00001f53: PUSH1 0x40 00001f55: MLOAD 00001f56: PUSH3 0x461bcd 00001f5a: PUSH1 0xe5 00001f5c: SHL 00001f5d: DUP2 00001f5e: MSTORE 00001f5f: PUSH1 0x04 00001f61: ADD 00001f62: PUSH2 0x092d 00001f65: SWAP2 00001f66: SWAP1 00001f67: PUSH2 0x2660 00001f6a: JUMP 00001f6b: JUMPDEST 00001f6c: POP 00001f6d: PUSH1 0x00 00001f6f: PUSH2 0x1f78 00001f72: DUP5 00001f73: DUP7 00001f74: PUSH2 0x2a83 00001f77: JUMP 00001f78: JUMPDEST 00001f79: SWAP6 00001f7a: SWAP5 00001f7b: POP 00001f7c: POP 00001f7d: POP 00001f7e: POP 00001f7f: POP 00001f80: JUMP 00001f81: JUMPDEST 00001f82: PUSH1 0x01 00001f84: PUSH1 0x01 00001f86: PUSH1 0xa0 00001f88: SHL 00001f89: SUB 00001f8a: DUP3 00001f8b: AND 00001f8c: PUSH1 0x00 00001f8e: DUP2 00001f8f: DUP2 00001f90: MSTORE 00001f91: PUSH1 0x1d 00001f93: PUSH1 0x20 00001f95: MSTORE 00001f96: PUSH1 0x40 00001f98: DUP1 00001f99: DUP3 00001f9a: KECCAK256 00001f9b: DUP1 00001f9c: SLOAD 00001f9d: PUSH1 0xff 00001f9f: NOT 00001fa0: AND 00001fa1: DUP6 00001fa2: ISZERO 00001fa3: ISZERO 00001fa4: SWAP1 00001fa5: DUP2 00001fa6: OR 00001fa7: SWAP1 00001fa8: SWAP2 00001fa9: SSTORE 00001faa: SWAP1 00001fab: MLOAD 00001fac: SWAP1 00001fad: SWAP3 00001fae: SWAP2 00001faf: PUSH32 0xffa9187bf1f18bf477bd0ea1bcbb64e93b6a98132473929edfce215cd9b16fab 00001fd0: SWAP2 00001fd1: LOG3 00001fd2: POP 00001fd3: POP 00001fd4: JUMP 00001fd5: JUMPDEST 00001fd6: PUSH1 0x01 00001fd8: PUSH1 0x01 00001fda: PUSH1 0xa0 00001fdc: SHL 00001fdd: SUB 00001fde: DUP4 00001fdf: AND 00001fe0: PUSH2 0x1ffb 00001fe3: JUMPI 00001fe4: PUSH1 0x40 00001fe6: MLOAD 00001fe7: PUSH3 0x461bcd 00001feb: PUSH1 0xe5 00001fed: SHL 00001fee: DUP2 00001fef: MSTORE 00001ff0: PUSH1 0x04 00001ff2: ADD 00001ff3: PUSH2 0x092d 00001ff6: SWAP1 00001ff7: PUSH2 0x29fb 00001ffa: JUMP 00001ffb: JUMPDEST 00001ffc: PUSH1 0x01 00001ffe: PUSH1 0x01 00002000: PUSH1 0xa0 00002002: SHL 00002003: SUB 00002004: DUP3 00002005: AND 00002006: PUSH2 0x2021 00002009: JUMPI 0000200a: PUSH1 0x40 0000200c: MLOAD 0000200d: PUSH3 0x461bcd 00002011: PUSH1 0xe5 00002013: SHL 00002014: DUP2 00002015: MSTORE 00002016: PUSH1 0x04 00002018: ADD 00002019: PUSH2 0x092d 0000201c: SWAP1 0000201d: PUSH2 0x2a40 00002020: JUMP 00002021: JUMPDEST 00002022: PUSH2 0x205e 00002025: DUP2 00002026: PUSH1 0x40 00002028: MLOAD 00002029: DUP1 0000202a: PUSH1 0x60 0000202c: ADD 0000202d: PUSH1 0x40 0000202f: MSTORE 00002030: DUP1 00002031: PUSH1 0x26 00002033: DUP2 00002034: MSTORE 00002035: PUSH1 0x20 00002037: ADD 00002038: PUSH2 0x2b57 0000203b: PUSH1 0x26 0000203d: SWAP2 0000203e: CODECOPY 0000203f: PUSH1 0x01 00002041: PUSH1 0x01 00002043: PUSH1 0xa0 00002045: SHL 00002046: SUB 00002047: DUP7 00002048: AND 00002049: PUSH1 0x00 0000204b: SWAP1 0000204c: DUP2 0000204d: MSTORE 0000204e: PUSH1 0x20 00002050: DUP2 00002051: SWAP1 00002052: MSTORE 00002053: PUSH1 0x40 00002055: SWAP1 00002056: KECCAK256 00002057: SLOAD 00002058: SWAP2 00002059: SWAP1 0000205a: PUSH2 0x1f47 0000205d: JUMP 0000205e: JUMPDEST 0000205f: PUSH1 0x01 00002061: PUSH1 0x01 00002063: PUSH1 0xa0 00002065: SHL 00002066: SUB 00002067: DUP1 00002068: DUP6 00002069: AND 0000206a: PUSH1 0x00 0000206c: SWAP1 0000206d: DUP2 0000206e: MSTORE 0000206f: PUSH1 0x20 00002071: DUP2 00002072: SWAP1 00002073: MSTORE 00002074: PUSH1 0x40 00002076: DUP1 00002077: DUP3 00002078: KECCAK256 00002079: SWAP4 0000207a: SWAP1 0000207b: SWAP4 0000207c: SSTORE 0000207d: SWAP1 0000207e: DUP5 0000207f: AND 00002080: DUP2 00002081: MSTORE 00002082: KECCAK256 00002083: SLOAD 00002084: PUSH2 0x208d 00002087: SWAP1 00002088: DUP3 00002089: PUSH2 0x14cc 0000208c: JUMP 0000208d: JUMPDEST 0000208e: PUSH1 0x01 00002090: PUSH1 0x01 00002092: PUSH1 0xa0 00002094: SHL 00002095: SUB 00002096: DUP4 00002097: DUP2 00002098: AND 00002099: PUSH1 0x00 0000209b: DUP2 0000209c: DUP2 0000209d: MSTORE 0000209e: PUSH1 0x20 000020a0: DUP2 000020a1: DUP2 000020a2: MSTORE 000020a3: PUSH1 0x40 000020a5: SWAP2 000020a6: DUP3 000020a7: SWAP1 000020a8: KECCAK256 000020a9: SWAP5 000020aa: SWAP1 000020ab: SWAP5 000020ac: SSTORE 000020ad: MLOAD 000020ae: DUP5 000020af: DUP2 000020b0: MSTORE 000020b1: SWAP1 000020b2: SWAP3 000020b3: SWAP2 000020b4: DUP7 000020b5: AND 000020b6: SWAP2 000020b7: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000020d8: SWAP2 000020d9: ADD 000020da: PUSH2 0x164a 000020dd: JUMP 000020de: JUMPDEST 000020df: ADDRESS 000020e0: PUSH1 0x00 000020e2: SWAP1 000020e3: DUP2 000020e4: MSTORE 000020e5: PUSH1 0x20 000020e7: DUP2 000020e8: SWAP1 000020e9: MSTORE 000020ea: PUSH1 0x40 000020ec: DUP2 000020ed: KECCAK256 000020ee: SLOAD 000020ef: SWAP1 000020f0: POP 000020f1: PUSH1 0x00 000020f3: PUSH1 0x1a 000020f5: SLOAD 000020f6: PUSH1 0x18 000020f8: SLOAD 000020f9: PUSH1 0x19 000020fb: SLOAD 000020fc: PUSH2 0x2105 000020ff: SWAP2 00002100: SWAP1 00002101: PUSH2 0x29e3 00002104: JUMP 00002105: JUMPDEST 00002106: PUSH2 0x210f 00002109: SWAP2 0000210a: SWAP1 0000210b: PUSH2 0x29e3 0000210e: JUMP 0000210f: JUMPDEST 00002110: SWAP1 00002111: POP 00002112: DUP2 00002113: ISZERO 00002114: DUP1 00002115: PUSH2 0x211c 00002118: JUMPI 00002119: POP 0000211a: DUP1 0000211b: ISZERO 0000211c: JUMPDEST 0000211d: ISZERO 0000211e: PUSH2 0x2125 00002121: JUMPI 00002122: POP 00002123: POP 00002124: JUMP 00002125: JUMPDEST 00002126: PUSH1 0x0b 00002128: SLOAD 00002129: PUSH2 0x2133 0000212c: SWAP1 0000212d: PUSH1 0x14 0000212f: PUSH2 0x2971 00002132: JUMP 00002133: JUMPDEST 00002134: DUP3 00002135: GT 00002136: ISZERO 00002137: PUSH2 0x214b 0000213a: JUMPI 0000213b: PUSH1 0x0b 0000213d: SLOAD 0000213e: PUSH2 0x2148 00002141: SWAP1 00002142: PUSH1 0x14 00002144: PUSH2 0x2971 00002147: JUMP 00002148: JUMPDEST 00002149: SWAP2 0000214a: POP 0000214b: JUMPDEST 0000214c: PUSH1 0x00 0000214e: PUSH1 0x02 00002150: DUP3 00002151: PUSH1 0x19 00002153: SLOAD 00002154: DUP6 00002155: PUSH2 0x215e 00002158: SWAP2 00002159: SWAP1 0000215a: PUSH2 0x2971 0000215d: JUMP 0000215e: JUMPDEST 0000215f: PUSH2 0x2168 00002162: SWAP2 00002163: SWAP1 00002164: PUSH2 0x2990 00002167: JUMP 00002168: JUMPDEST 00002169: PUSH2 0x2172 0000216c: SWAP2 0000216d: SWAP1 0000216e: PUSH2 0x2990 00002171: JUMP 00002172: JUMPDEST 00002173: SWAP1 00002174: POP 00002175: PUSH1 0x00 00002177: PUSH2 0x2180 0000217a: DUP5 0000217b: DUP4 0000217c: PUSH2 0x232a 0000217f: JUMP 00002180: JUMPDEST 00002181: SWAP1 00002182: POP 00002183: SELFBALANCE 00002184: PUSH2 0x218c 00002187: DUP3 00002188: PUSH2 0x236c 0000218b: JUMP 0000218c: JUMPDEST 0000218d: PUSH1 0x00 0000218f: PUSH2 0x2198 00002192: SELFBALANCE 00002193: DUP4 00002194: PUSH2 0x232a 00002197: JUMP 00002198: JUMPDEST 00002199: SWAP1 0000219a: POP 0000219b: PUSH1 0x00 0000219d: PUSH2 0x21b5 000021a0: DUP7 000021a1: PUSH2 0x1d99 000021a4: PUSH1 0x18 000021a6: SLOAD 000021a7: DUP6 000021a8: PUSH2 0x2269 000021ab: SWAP1 000021ac: SWAP2 000021ad: SWAP1 000021ae: PUSH4 0xffffffff 000021b3: AND 000021b4: JUMP 000021b5: JUMPDEST 000021b6: SWAP1 000021b7: POP 000021b8: PUSH1 0x00 000021ba: PUSH2 0x21d2 000021bd: DUP8 000021be: PUSH2 0x1d99 000021c1: PUSH1 0x1a 000021c3: SLOAD 000021c4: DUP7 000021c5: PUSH2 0x2269 000021c8: SWAP1 000021c9: SWAP2 000021ca: SWAP1 000021cb: PUSH4 0xffffffff 000021d0: AND 000021d1: JUMP 000021d2: JUMPDEST 000021d3: SWAP1 000021d4: POP 000021d5: PUSH1 0x00 000021d7: DUP2 000021d8: PUSH2 0x21e1 000021db: DUP5 000021dc: DUP7 000021dd: PUSH2 0x2a83 000021e0: JUMP 000021e1: JUMPDEST 000021e2: PUSH2 0x21eb 000021e5: SWAP2 000021e6: SWAP1 000021e7: PUSH2 0x2a83 000021ea: JUMP 000021eb: JUMPDEST 000021ec: PUSH1 0x00 000021ee: PUSH1 0x19 000021f0: DUP2 000021f1: SWAP1 000021f2: SSTORE 000021f3: PUSH1 0x18 000021f5: DUP2 000021f6: SWAP1 000021f7: SSTORE 000021f8: PUSH1 0x1a 000021fa: SSTORE 000021fb: SWAP1 000021fc: POP 000021fd: DUP7 000021fe: ISZERO 000021ff: DUP1 00002200: ISZERO 00002201: SWAP1 00002202: PUSH2 0x220b 00002205: JUMPI 00002206: POP 00002207: PUSH1 0x00 00002209: DUP2 0000220a: GT 0000220b: JUMPDEST 0000220c: ISZERO 0000220d: PUSH2 0x225e 00002210: JUMPI 00002211: PUSH2 0x221a 00002214: DUP8 00002215: DUP3 00002216: PUSH2 0x252c 00002219: JUMP 0000221a: JUMPDEST 0000221b: PUSH1 0x19 0000221d: SLOAD 0000221e: PUSH1 0x40 00002220: DUP1 00002221: MLOAD 00002222: DUP9 00002223: DUP2 00002224: MSTORE 00002225: PUSH1 0x20 00002227: DUP2 00002228: ADD 00002229: DUP5 0000222a: SWAP1 0000222b: MSTORE 0000222c: DUP1 0000222d: DUP3 0000222e: ADD 0000222f: SWAP3 00002230: SWAP1 00002231: SWAP3 00002232: MSTORE 00002233: MLOAD 00002234: PUSH32 0x17bbfb9a6069321b6ded73bd96327c9e6b7212a5cd51ff219cd61370acafb561 00002255: SWAP2 00002256: DUP2 00002257: SWAP1 00002258: SUB 00002259: PUSH1 0x60 0000225b: ADD 0000225c: SWAP1 0000225d: LOG1 0000225e: JUMPDEST 0000225f: POP 00002260: POP 00002261: POP 00002262: POP 00002263: POP 00002264: POP 00002265: POP 00002266: POP 00002267: POP 00002268: JUMP 00002269: JUMPDEST 0000226a: PUSH1 0x00 0000226c: DUP3 0000226d: PUSH2 0x2278 00002270: JUMPI 00002271: POP 00002272: PUSH1 0x00 00002274: PUSH2 0x08fd 00002277: JUMP 00002278: JUMPDEST 00002279: PUSH1 0x00 0000227b: PUSH2 0x2284 0000227e: DUP4 0000227f: DUP6 00002280: PUSH2 0x2971 00002283: JUMP 00002284: JUMPDEST 00002285: SWAP1 00002286: POP 00002287: DUP3 00002288: PUSH2 0x2291 0000228b: DUP6 0000228c: DUP4 0000228d: PUSH2 0x2990 00002290: JUMP 00002291: JUMPDEST 00002292: EQ 00002293: PUSH2 0x152b 00002296: JUMPI 00002297: PUSH1 0x40 00002299: MLOAD 0000229a: PUSH3 0x461bcd 0000229e: PUSH1 0xe5 000022a0: SHL 000022a1: DUP2 000022a2: MSTORE 000022a3: PUSH1 0x20 000022a5: PUSH1 0x04 000022a7: DUP3 000022a8: ADD 000022a9: MSTORE 000022aa: PUSH1 0x21 000022ac: PUSH1 0x24 000022ae: DUP3 000022af: ADD 000022b0: MSTORE 000022b1: PUSH32 0x536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f 000022d2: PUSH1 0x44 000022d4: DUP3 000022d5: ADD 000022d6: MSTORE 000022d7: PUSH1 0x77 000022d9: PUSH1 0xf8 000022db: SHL 000022dc: PUSH1 0x64 000022de: DUP3 000022df: ADD 000022e0: MSTORE 000022e1: PUSH1 0x84 000022e3: ADD 000022e4: PUSH2 0x092d 000022e7: JUMP 000022e8: JUMPDEST 000022e9: PUSH1 0x00 000022eb: PUSH2 0x152b 000022ee: DUP4 000022ef: DUP4 000022f0: PUSH1 0x40 000022f2: MLOAD 000022f3: DUP1 000022f4: PUSH1 0x40 000022f6: ADD 000022f7: PUSH1 0x40 000022f9: MSTORE 000022fa: DUP1 000022fb: PUSH1 0x1a 000022fd: DUP2 000022fe: MSTORE 000022ff: PUSH1 0x20 00002301: ADD 00002302: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000 00002323: DUP2 00002324: MSTORE 00002325: POP 00002326: PUSH2 0x2632 00002329: JUMP 0000232a: JUMPDEST 0000232b: PUSH1 0x00 0000232d: PUSH2 0x152b 00002330: DUP4 00002331: DUP4 00002332: PUSH1 0x40 00002334: MLOAD 00002335: DUP1 00002336: PUSH1 0x40 00002338: ADD 00002339: PUSH1 0x40 0000233b: MSTORE 0000233c: DUP1 0000233d: PUSH1 0x1e 0000233f: DUP2 00002340: MSTORE 00002341: PUSH1 0x20 00002343: ADD 00002344: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 00002365: DUP2 00002366: MSTORE 00002367: POP 00002368: PUSH2 0x1f47 0000236b: JUMP 0000236c: JUMPDEST 0000236d: PUSH1 0x40 0000236f: DUP1 00002370: MLOAD 00002371: PUSH1 0x02 00002373: DUP1 00002374: DUP3 00002375: MSTORE 00002376: PUSH1 0x60 00002378: DUP3 00002379: ADD 0000237a: DUP4 0000237b: MSTORE 0000237c: PUSH1 0x00 0000237e: SWAP3 0000237f: PUSH1 0x20 00002381: DUP4 00002382: ADD 00002383: SWAP1 00002384: DUP1 00002385: CALLDATASIZE 00002386: DUP4 00002387: CALLDATACOPY 00002388: ADD 00002389: SWAP1 0000238a: POP 0000238b: POP 0000238c: SWAP1 0000238d: POP 0000238e: ADDRESS 0000238f: DUP2 00002390: PUSH1 0x00 00002392: DUP2 00002393: MLOAD 00002394: DUP2 00002395: LT 00002396: PUSH2 0x23a1 00002399: JUMPI 0000239a: PUSH2 0x23a1 0000239d: PUSH2 0x29b2 000023a0: JUMP 000023a1: JUMPDEST 000023a2: PUSH1 0x20 000023a4: MUL 000023a5: PUSH1 0x20 000023a7: ADD 000023a8: ADD 000023a9: SWAP1 000023aa: PUSH1 0x01 000023ac: PUSH1 0x01 000023ae: PUSH1 0xa0 000023b0: SHL 000023b1: SUB 000023b2: AND 000023b3: SWAP1 000023b4: DUP2 000023b5: PUSH1 0x01 000023b7: PUSH1 0x01 000023b9: PUSH1 0xa0 000023bb: SHL 000023bc: SUB 000023bd: AND 000023be: DUP2 000023bf: MSTORE 000023c0: POP 000023c1: POP 000023c2: PUSH32 0x00000000000000000000000003f7724180aa6b939894b5ca4314783b0b36b329 000023e3: PUSH1 0x01 000023e5: PUSH1 0x01 000023e7: PUSH1 0xa0 000023e9: SHL 000023ea: SUB 000023eb: AND 000023ec: PUSH4 0xad5c4648 000023f1: PUSH1 0x40 000023f3: MLOAD 000023f4: DUP2 000023f5: PUSH4 0xffffffff 000023fa: AND 000023fb: PUSH1 0xe0 000023fd: SHL 000023fe: DUP2 000023ff: MSTORE 00002400: PUSH1 0x04 00002402: ADD 00002403: PUSH1 0x20 00002405: PUSH1 0x40 00002407: MLOAD 00002408: DUP1 00002409: DUP4 0000240a: SUB 0000240b: DUP2 0000240c: DUP7 0000240d: GAS 0000240e: STATICCALL 0000240f: ISZERO 00002410: DUP1 00002411: ISZERO 00002412: PUSH2 0x241f 00002415: JUMPI 00002416: RETURNDATASIZE 00002417: PUSH1 0x00 00002419: DUP1 0000241a: RETURNDATACOPY 0000241b: RETURNDATASIZE 0000241c: PUSH1 0x00 0000241e: REVERT 0000241f: JUMPDEST 00002420: POP 00002421: POP 00002422: POP 00002423: POP 00002424: PUSH1 0x40 00002426: MLOAD 00002427: RETURNDATASIZE 00002428: PUSH1 0x1f 0000242a: NOT 0000242b: PUSH1 0x1f 0000242d: DUP3 0000242e: ADD 0000242f: AND 00002430: DUP3 00002431: ADD 00002432: DUP1 00002433: PUSH1 0x40 00002435: MSTORE 00002436: POP 00002437: DUP2 00002438: ADD 00002439: SWAP1 0000243a: PUSH2 0x2443 0000243d: SWAP2 0000243e: SWAP1 0000243f: PUSH2 0x2a9a 00002442: JUMP 00002443: JUMPDEST 00002444: DUP2 00002445: PUSH1 0x01 00002447: DUP2 00002448: MLOAD 00002449: DUP2 0000244a: LT 0000244b: PUSH2 0x2456 0000244e: JUMPI 0000244f: PUSH2 0x2456 00002452: PUSH2 0x29b2 00002455: JUMP 00002456: JUMPDEST 00002457: PUSH1 0x20 00002459: MUL 0000245a: PUSH1 0x20 0000245c: ADD 0000245d: ADD 0000245e: SWAP1 0000245f: PUSH1 0x01 00002461: PUSH1 0x01 00002463: PUSH1 0xa0 00002465: SHL 00002466: SUB 00002467: AND 00002468: SWAP1 00002469: DUP2 0000246a: PUSH1 0x01 0000246c: PUSH1 0x01 0000246e: PUSH1 0xa0 00002470: SHL 00002471: SUB 00002472: AND 00002473: DUP2 00002474: MSTORE 00002475: POP 00002476: POP 00002477: PUSH2 0x24a1 0000247a: ADDRESS 0000247b: PUSH32 0x00000000000000000000000003f7724180aa6b939894b5ca4314783b0b36b329 0000249c: DUP5 0000249d: PUSH2 0x1532 000024a0: JUMP 000024a1: JUMPDEST 000024a2: PUSH1 0x40 000024a4: MLOAD 000024a5: PUSH4 0x791ac947 000024aa: PUSH1 0xe0 000024ac: SHL 000024ad: DUP2 000024ae: MSTORE 000024af: PUSH1 0x01 000024b1: PUSH1 0x01 000024b3: PUSH1 0xa0 000024b5: SHL 000024b6: SUB 000024b7: PUSH32 0x00000000000000000000000003f7724180aa6b939894b5ca4314783b0b36b329 000024d8: AND 000024d9: SWAP1 000024da: PUSH4 0x791ac947 000024df: SWAP1 000024e0: PUSH2 0x24f6 000024e3: SWAP1 000024e4: DUP6 000024e5: SWAP1 000024e6: PUSH1 0x00 000024e8: SWAP1 000024e9: DUP7 000024ea: SWAP1 000024eb: ADDRESS 000024ec: SWAP1 000024ed: TIMESTAMP 000024ee: SWAP1 000024ef: PUSH1 0x04 000024f1: ADD 000024f2: PUSH2 0x2ab7 000024f5: JUMP 000024f6: JUMPDEST 000024f7: PUSH1 0x00 000024f9: PUSH1 0x40 000024fb: MLOAD 000024fc: DUP1 000024fd: DUP4 000024fe: SUB 000024ff: DUP2 00002500: PUSH1 0x00 00002502: DUP8 00002503: DUP1 00002504: EXTCODESIZE 00002505: ISZERO 00002506: DUP1 00002507: ISZERO 00002508: PUSH2 0x2510 0000250b: JUMPI 0000250c: PUSH1 0x00 0000250e: DUP1 0000250f: REVERT 00002510: JUMPDEST 00002511: POP 00002512: GAS 00002513: CALL 00002514: ISZERO 00002515: DUP1 00002516: ISZERO 00002517: PUSH2 0x2524 0000251a: JUMPI 0000251b: RETURNDATASIZE 0000251c: PUSH1 0x00 0000251e: DUP1 0000251f: RETURNDATACOPY 00002520: RETURNDATASIZE 00002521: PUSH1 0x00 00002523: REVERT 00002524: JUMPDEST 00002525: POP 00002526: POP 00002527: POP 00002528: POP 00002529: POP 0000252a: POP 0000252b: JUMP 0000252c: JUMPDEST 0000252d: PUSH2 0x2557 00002530: ADDRESS 00002531: PUSH32 0x00000000000000000000000003f7724180aa6b939894b5ca4314783b0b36b329 00002552: DUP5 00002553: PUSH2 0x1532 00002556: JUMP 00002557: JUMPDEST 00002558: PUSH32 0x00000000000000000000000003f7724180aa6b939894b5ca4314783b0b36b329 00002579: PUSH1 0x01 0000257b: PUSH1 0x01 0000257d: PUSH1 0xa0 0000257f: SHL 00002580: SUB 00002581: AND 00002582: PUSH4 0xf305d719 00002587: DUP3 00002588: ADDRESS 00002589: DUP6 0000258a: PUSH1 0x00 0000258c: DUP1 0000258d: PUSH2 0x259e 00002590: PUSH1 0x05 00002592: SLOAD 00002593: PUSH1 0x01 00002595: PUSH1 0x01 00002597: PUSH1 0xa0 00002599: SHL 0000259a: SUB 0000259b: AND 0000259c: SWAP1 0000259d: JUMP 0000259e: JUMPDEST 0000259f: PUSH1 0x40 000025a1: MLOAD 000025a2: PUSH1 0xe0 000025a4: DUP9 000025a5: SWAP1 000025a6: SHL 000025a7: PUSH1 0x01 000025a9: PUSH1 0x01 000025ab: PUSH1 0xe0 000025ad: SHL 000025ae: SUB 000025af: NOT 000025b0: AND 000025b1: DUP2 000025b2: MSTORE 000025b3: PUSH1 0x01 000025b5: PUSH1 0x01 000025b7: PUSH1 0xa0 000025b9: SHL 000025ba: SUB 000025bb: SWAP6 000025bc: DUP7 000025bd: AND 000025be: PUSH1 0x04 000025c0: DUP3 000025c1: ADD 000025c2: MSTORE 000025c3: PUSH1 0x24 000025c5: DUP2 000025c6: ADD 000025c7: SWAP5 000025c8: SWAP1 000025c9: SWAP5 000025ca: MSTORE 000025cb: PUSH1 0x44 000025cd: DUP5 000025ce: ADD 000025cf: SWAP3 000025d0: SWAP1 000025d1: SWAP3 000025d2: MSTORE 000025d3: PUSH1 0x64 000025d5: DUP4 000025d6: ADD 000025d7: MSTORE 000025d8: SWAP1 000025d9: SWAP2 000025da: AND 000025db: PUSH1 0x84 000025dd: DUP3 000025de: ADD 000025df: MSTORE 000025e0: TIMESTAMP 000025e1: PUSH1 0xa4 000025e3: DUP3 000025e4: ADD 000025e5: MSTORE 000025e6: PUSH1 0xc4 000025e8: ADD 000025e9: PUSH1 0x60 000025eb: PUSH1 0x40 000025ed: MLOAD 000025ee: DUP1 000025ef: DUP4 000025f0: SUB 000025f1: DUP2 000025f2: DUP6 000025f3: DUP9 000025f4: GAS 000025f5: CALL 000025f6: ISZERO 000025f7: DUP1 000025f8: ISZERO 000025f9: PUSH2 0x2606 000025fc: JUMPI 000025fd: RETURNDATASIZE 000025fe: PUSH1 0x00 00002600: DUP1 00002601: RETURNDATACOPY 00002602: RETURNDATASIZE 00002603: PUSH1 0x00 00002605: REVERT 00002606: JUMPDEST 00002607: POP 00002608: POP 00002609: POP 0000260a: POP 0000260b: POP 0000260c: PUSH1 0x40 0000260e: MLOAD 0000260f: RETURNDATASIZE 00002610: PUSH1 0x1f 00002612: NOT 00002613: PUSH1 0x1f 00002615: DUP3 00002616: ADD 00002617: AND 00002618: DUP3 00002619: ADD 0000261a: DUP1 0000261b: PUSH1 0x40 0000261d: MSTORE 0000261e: POP 0000261f: DUP2 00002620: ADD 00002621: SWAP1 00002622: PUSH2 0x262b 00002625: SWAP2 00002626: SWAP1 00002627: PUSH2 0x2b28 0000262a: JUMP 0000262b: JUMPDEST 0000262c: POP 0000262d: POP 0000262e: POP 0000262f: POP 00002630: POP 00002631: JUMP 00002632: JUMPDEST 00002633: PUSH1 0x00 00002635: DUP2 00002636: DUP4 00002637: PUSH2 0x2653 0000263a: JUMPI 0000263b: PUSH1 0x40 0000263d: MLOAD 0000263e: PUSH3 0x461bcd 00002642: PUSH1 0xe5 00002644: SHL 00002645: DUP2 00002646: MSTORE 00002647: PUSH1 0x04 00002649: ADD 0000264a: PUSH2 0x092d 0000264d: SWAP2 0000264e: SWAP1 0000264f: PUSH2 0x2660 00002652: JUMP 00002653: JUMPDEST 00002654: POP 00002655: PUSH1 0x00 00002657: PUSH2 0x1f78 0000265a: DUP5 0000265b: DUP7 0000265c: PUSH2 0x2990 0000265f: JUMP 00002660: JUMPDEST 00002661: PUSH1 0x00 00002663: PUSH1 0x20 00002665: DUP1 00002666: DUP4 00002667: MSTORE 00002668: DUP4 00002669: MLOAD 0000266a: DUP1 0000266b: DUP3 0000266c: DUP6 0000266d: ADD 0000266e: MSTORE 0000266f: PUSH1 0x00 00002671: JUMPDEST 00002672: DUP2 00002673: DUP2 00002674: LT 00002675: ISZERO 00002676: PUSH2 0x268d 00002679: JUMPI 0000267a: DUP6 0000267b: DUP2 0000267c: ADD 0000267d: DUP4 0000267e: ADD 0000267f: MLOAD 00002680: DUP6 00002681: DUP3 00002682: ADD 00002683: PUSH1 0x40 00002685: ADD 00002686: MSTORE 00002687: DUP3 00002688: ADD 00002689: PUSH2 0x2671 0000268c: JUMP 0000268d: JUMPDEST 0000268e: DUP2 0000268f: DUP2 00002690: GT 00002691: ISZERO 00002692: PUSH2 0x269f 00002695: JUMPI 00002696: PUSH1 0x00 00002698: PUSH1 0x40 0000269a: DUP4 0000269b: DUP8 0000269c: ADD 0000269d: ADD 0000269e: MSTORE 0000269f: JUMPDEST 000026a0: POP 000026a1: PUSH1 0x1f 000026a3: ADD 000026a4: PUSH1 0x1f 000026a6: NOT 000026a7: AND 000026a8: SWAP3 000026a9: SWAP1 000026aa: SWAP3 000026ab: ADD 000026ac: PUSH1 0x40 000026ae: ADD 000026af: SWAP4 000026b0: SWAP3 000026b1: POP 000026b2: POP 000026b3: POP 000026b4: JUMP 000026b5: JUMPDEST 000026b6: PUSH1 0x01 000026b8: PUSH1 0x01 000026ba: PUSH1 0xa0 000026bc: SHL 000026bd: SUB 000026be: DUP2 000026bf: AND 000026c0: DUP2 000026c1: EQ 000026c2: PUSH2 0x0ab9 000026c5: JUMPI 000026c6: PUSH1 0x00 000026c8: DUP1 000026c9: REVERT 000026ca: JUMPDEST 000026cb: DUP1 000026cc: CALLDATALOAD 000026cd: PUSH2 0x139f 000026d0: DUP2 000026d1: PUSH2 0x26b5 000026d4: JUMP 000026d5: JUMPDEST 000026d6: PUSH1 0x00 000026d8: DUP1 000026d9: PUSH1 0x40 000026db: DUP4 000026dc: DUP6 000026dd: SUB 000026de: SLT 000026df: ISZERO 000026e0: PUSH2 0x26e8 000026e3: JUMPI 000026e4: PUSH1 0x00 000026e6: DUP1 000026e7: REVERT 000026e8: JUMPDEST 000026e9: DUP3 000026ea: CALLDATALOAD 000026eb: PUSH2 0x26f3 000026ee: DUP2 000026ef: PUSH2 0x26b5 000026f2: JUMP 000026f3: JUMPDEST 000026f4: SWAP5 000026f5: PUSH1 0x20 000026f7: SWAP4 000026f8: SWAP1 000026f9: SWAP4 000026fa: ADD 000026fb: CALLDATALOAD 000026fc: SWAP4 000026fd: POP 000026fe: POP 000026ff: POP 00002700: JUMP 00002701: JUMPDEST 00002702: PUSH1 0x00 00002704: PUSH1 0x20 00002706: DUP3 00002707: DUP5 00002708: SUB 00002709: SLT 0000270a: ISZERO 0000270b: PUSH2 0x2713 0000270e: JUMPI 0000270f: PUSH1 0x00 00002711: DUP1 00002712: REVERT 00002713: JUMPDEST 00002714: DUP2 00002715: CALLDATALOAD 00002716: PUSH2 0x152b 00002719: DUP2 0000271a: PUSH2 0x26b5 0000271d: JUMP 0000271e: JUMPDEST 0000271f: PUSH1 0x00 00002721: PUSH1 0x20 00002723: DUP3 00002724: DUP5 00002725: SUB 00002726: SLT 00002727: ISZERO 00002728: PUSH2 0x2730 0000272b: JUMPI 0000272c: PUSH1 0x00 0000272e: DUP1 0000272f: REVERT 00002730: JUMPDEST 00002731: POP 00002732: CALLDATALOAD 00002733: SWAP2 00002734: SWAP1 00002735: POP 00002736: JUMP 00002737: JUMPDEST 00002738: PUSH1 0x00 0000273a: DUP1 0000273b: PUSH1 0x00 0000273d: PUSH1 0x60 0000273f: DUP5 00002740: DUP7 00002741: SUB 00002742: SLT 00002743: ISZERO 00002744: PUSH2 0x274c 00002747: JUMPI 00002748: PUSH1 0x00 0000274a: DUP1 0000274b: REVERT 0000274c: JUMPDEST 0000274d: DUP4 0000274e: CALLDATALOAD 0000274f: PUSH2 0x2757 00002752: DUP2 00002753: PUSH2 0x26b5 00002756: JUMP 00002757: JUMPDEST 00002758: SWAP3 00002759: POP 0000275a: PUSH1 0x20 0000275c: DUP5 0000275d: ADD 0000275e: CALLDATALOAD 0000275f: PUSH2 0x2767 00002762: DUP2 00002763: PUSH2 0x26b5 00002766: JUMP 00002767: JUMPDEST 00002768: SWAP3 00002769: SWAP6 0000276a: SWAP3 0000276b: SWAP5 0000276c: POP 0000276d: POP 0000276e: POP 0000276f: PUSH1 0x40 00002771: SWAP2 00002772: SWAP1 00002773: SWAP2 00002774: ADD 00002775: CALLDATALOAD 00002776: SWAP1 00002777: JUMP 00002778: JUMPDEST 00002779: PUSH4 0x4e487b71 0000277e: PUSH1 0xe0 00002780: SHL 00002781: PUSH1 0x00 00002783: MSTORE 00002784: PUSH1 0x41 00002786: PUSH1 0x04 00002788: MSTORE 00002789: PUSH1 0x24 0000278b: PUSH1 0x00 0000278d: REVERT 0000278e: JUMPDEST 0000278f: PUSH1 0x00 00002791: PUSH1 0x20 00002793: DUP1 00002794: DUP4 00002795: DUP6 00002796: SUB 00002797: SLT 00002798: ISZERO 00002799: PUSH2 0x27a1 0000279c: JUMPI 0000279d: PUSH1 0x00 0000279f: DUP1 000027a0: REVERT 000027a1: JUMPDEST 000027a2: DUP3 000027a3: CALLDATALOAD 000027a4: PUSH8 0xffffffffffffffff 000027ad: DUP1 000027ae: DUP3 000027af: GT 000027b0: ISZERO 000027b1: PUSH2 0x27b9 000027b4: JUMPI 000027b5: PUSH1 0x00 000027b7: DUP1 000027b8: REVERT 000027b9: JUMPDEST 000027ba: DUP2 000027bb: DUP6 000027bc: ADD 000027bd: SWAP2 000027be: POP 000027bf: DUP6 000027c0: PUSH1 0x1f 000027c2: DUP4 000027c3: ADD 000027c4: SLT 000027c5: PUSH2 0x27cd 000027c8: JUMPI 000027c9: PUSH1 0x00 000027cb: DUP1 000027cc: REVERT 000027cd: JUMPDEST 000027ce: DUP2 000027cf: CALLDATALOAD 000027d0: DUP2 000027d1: DUP2 000027d2: GT 000027d3: ISZERO 000027d4: PUSH2 0x27df 000027d7: JUMPI 000027d8: PUSH2 0x27df 000027db: PUSH2 0x2778 000027de: JUMP 000027df: JUMPDEST 000027e0: DUP1 000027e1: PUSH1 0x05 000027e3: SHL 000027e4: PUSH1 0x40 000027e6: MLOAD 000027e7: PUSH1 0x1f 000027e9: NOT 000027ea: PUSH1 0x3f 000027ec: DUP4 000027ed: ADD 000027ee: AND 000027ef: DUP2 000027f0: ADD 000027f1: DUP2 000027f2: DUP2 000027f3: LT 000027f4: DUP6 000027f5: DUP3 000027f6: GT 000027f7: OR 000027f8: ISZERO 000027f9: PUSH2 0x2804 000027fc: JUMPI 000027fd: PUSH2 0x2804 00002800: PUSH2 0x2778 00002803: JUMP 00002804: JUMPDEST 00002805: PUSH1 0x40 00002807: MSTORE 00002808: SWAP2 00002809: DUP3 0000280a: MSTORE 0000280b: DUP5 0000280c: DUP3 0000280d: ADD 0000280e: SWAP3 0000280f: POP 00002810: DUP4 00002811: DUP2 00002812: ADD 00002813: DUP6 00002814: ADD 00002815: SWAP2 00002816: DUP9 00002817: DUP4 00002818: GT 00002819: ISZERO 0000281a: PUSH2 0x2822 0000281d: JUMPI 0000281e: PUSH1 0x00 00002820: DUP1 00002821: REVERT 00002822: JUMPDEST 00002823: SWAP4 00002824: DUP6 00002825: ADD 00002826: SWAP4 00002827: JUMPDEST 00002828: DUP3 00002829: DUP6 0000282a: LT 0000282b: ISZERO 0000282c: PUSH2 0x2847 0000282f: JUMPI 00002830: PUSH2 0x2838 00002833: DUP6 00002834: PUSH2 0x26ca 00002837: JUMP 00002838: JUMPDEST 00002839: DUP5 0000283a: MSTORE 0000283b: SWAP4 0000283c: DUP6 0000283d: ADD 0000283e: SWAP4 0000283f: SWAP3 00002840: DUP6 00002841: ADD 00002842: SWAP3 00002843: PUSH2 0x2827 00002846: JUMP 00002847: JUMPDEST 00002848: SWAP9 00002849: SWAP8 0000284a: POP 0000284b: POP 0000284c: POP 0000284d: POP 0000284e: POP 0000284f: POP 00002850: POP 00002851: POP 00002852: JUMP 00002853: JUMPDEST 00002854: PUSH1 0x00 00002856: DUP1 00002857: PUSH1 0x40 00002859: DUP4 0000285a: DUP6 0000285b: SUB 0000285c: SLT 0000285d: ISZERO 0000285e: PUSH2 0x2866 00002861: JUMPI 00002862: PUSH1 0x00 00002864: DUP1 00002865: REVERT 00002866: JUMPDEST 00002867: DUP3 00002868: CALLDATALOAD 00002869: PUSH2 0x2871 0000286c: DUP2 0000286d: PUSH2 0x26b5 00002870: JUMP 00002871: JUMPDEST 00002872: SWAP2 00002873: POP 00002874: PUSH1 0x20 00002876: DUP4 00002877: ADD 00002878: CALLDATALOAD 00002879: DUP1 0000287a: ISZERO 0000287b: ISZERO 0000287c: DUP2 0000287d: EQ 0000287e: PUSH2 0x2886 00002881: JUMPI 00002882: PUSH1 0x00 00002884: DUP1 00002885: REVERT 00002886: JUMPDEST 00002887: DUP1 00002888: SWAP2 00002889: POP 0000288a: POP 0000288b: SWAP3 0000288c: POP 0000288d: SWAP3 0000288e: SWAP1 0000288f: POP 00002890: JUMP 00002891: JUMPDEST 00002892: PUSH1 0x00 00002894: DUP1 00002895: PUSH1 0x00 00002897: PUSH1 0x60 00002899: DUP5 0000289a: DUP7 0000289b: SUB 0000289c: SLT 0000289d: ISZERO 0000289e: PUSH2 0x28a6 000028a1: JUMPI 000028a2: PUSH1 0x00 000028a4: DUP1 000028a5: REVERT 000028a6: JUMPDEST 000028a7: POP 000028a8: POP 000028a9: DUP2 000028aa: CALLDATALOAD 000028ab: SWAP4 000028ac: PUSH1 0x20 000028ae: DUP4 000028af: ADD 000028b0: CALLDATALOAD 000028b1: SWAP4 000028b2: POP 000028b3: PUSH1 0x40 000028b5: SWAP1 000028b6: SWAP3 000028b7: ADD 000028b8: CALLDATALOAD 000028b9: SWAP2 000028ba: SWAP1 000028bb: POP 000028bc: JUMP 000028bd: JUMPDEST 000028be: PUSH1 0x00 000028c0: DUP1 000028c1: PUSH1 0x40 000028c3: DUP4 000028c4: DUP6 000028c5: SUB 000028c6: SLT 000028c7: ISZERO 000028c8: PUSH2 0x28d0 000028cb: JUMPI 000028cc: PUSH1 0x00 000028ce: DUP1 000028cf: REVERT 000028d0: JUMPDEST 000028d1: DUP3 000028d2: CALLDATALOAD 000028d3: PUSH2 0x28db 000028d6: DUP2 000028d7: PUSH2 0x26b5 000028da: JUMP 000028db: JUMPDEST 000028dc: SWAP2 000028dd: POP 000028de: PUSH1 0x20 000028e0: DUP4 000028e1: ADD 000028e2: CALLDATALOAD 000028e3: PUSH2 0x2886 000028e6: DUP2 000028e7: PUSH2 0x26b5 000028ea: JUMP 000028eb: JUMPDEST 000028ec: PUSH1 0x01 000028ee: DUP2 000028ef: DUP2 000028f0: SHR 000028f1: SWAP1 000028f2: DUP3 000028f3: AND 000028f4: DUP1 000028f5: PUSH2 0x28ff 000028f8: JUMPI 000028f9: PUSH1 0x7f 000028fb: DUP3 000028fc: AND 000028fd: SWAP2 000028fe: POP 000028ff: JUMPDEST 00002900: PUSH1 0x20 00002902: DUP3 00002903: LT 00002904: DUP2 00002905: EQ 00002906: ISZERO 00002907: PUSH2 0x2920 0000290a: JUMPI 0000290b: PUSH4 0x4e487b71 00002910: PUSH1 0xe0 00002912: SHL 00002913: PUSH1 0x00 00002915: MSTORE 00002916: PUSH1 0x22 00002918: PUSH1 0x04 0000291a: MSTORE 0000291b: PUSH1 0x24 0000291d: PUSH1 0x00 0000291f: REVERT 00002920: JUMPDEST 00002921: POP 00002922: SWAP2 00002923: SWAP1 00002924: POP 00002925: JUMP 00002926: JUMPDEST 00002927: PUSH1 0x20 00002929: DUP1 0000292a: DUP3 0000292b: MSTORE 0000292c: DUP2 0000292d: DUP2 0000292e: ADD 0000292f: MSTORE 00002930: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00002951: PUSH1 0x40 00002953: DUP3 00002954: ADD 00002955: MSTORE 00002956: PUSH1 0x60 00002958: ADD 00002959: SWAP1 0000295a: JUMP 0000295b: JUMPDEST 0000295c: PUSH4 0x4e487b71 00002961: PUSH1 0xe0 00002963: SHL 00002964: PUSH1 0x00 00002966: MSTORE 00002967: PUSH1 0x11 00002969: PUSH1 0x04 0000296b: MSTORE 0000296c: PUSH1 0x24 0000296e: PUSH1 0x00 00002970: REVERT 00002971: JUMPDEST 00002972: PUSH1 0x00 00002974: DUP2 00002975: PUSH1 0x00 00002977: NOT 00002978: DIV 00002979: DUP4 0000297a: GT 0000297b: DUP3 0000297c: ISZERO 0000297d: ISZERO 0000297e: AND 0000297f: ISZERO 00002980: PUSH2 0x298b 00002983: JUMPI 00002984: PUSH2 0x298b 00002987: PUSH2 0x295b 0000298a: JUMP 0000298b: JUMPDEST 0000298c: POP 0000298d: MUL 0000298e: SWAP1 0000298f: JUMP 00002990: JUMPDEST 00002991: PUSH1 0x00 00002993: DUP3 00002994: PUSH2 0x29ad 00002997: JUMPI 00002998: PUSH4 0x4e487b71 0000299d: PUSH1 0xe0 0000299f: SHL 000029a0: PUSH1 0x00 000029a2: MSTORE 000029a3: PUSH1 0x12 000029a5: PUSH1 0x04 000029a7: MSTORE 000029a8: PUSH1 0x24 000029aa: PUSH1 0x00 000029ac: REVERT 000029ad: JUMPDEST 000029ae: POP 000029af: DIV 000029b0: SWAP1 000029b1: JUMP 000029b2: JUMPDEST 000029b3: PUSH4 0x4e487b71 000029b8: PUSH1 0xe0 000029ba: SHL 000029bb: PUSH1 0x00 000029bd: MSTORE 000029be: PUSH1 0x32 000029c0: PUSH1 0x04 000029c2: MSTORE 000029c3: PUSH1 0x24 000029c5: PUSH1 0x00 000029c7: REVERT 000029c8: JUMPDEST 000029c9: PUSH1 0x00 000029cb: PUSH1 0x00 000029cd: NOT 000029ce: DUP3 000029cf: EQ 000029d0: ISZERO 000029d1: PUSH2 0x29dc 000029d4: JUMPI 000029d5: PUSH2 0x29dc 000029d8: PUSH2 0x295b 000029db: JUMP 000029dc: JUMPDEST 000029dd: POP 000029de: PUSH1 0x01 000029e0: ADD 000029e1: SWAP1 000029e2: JUMP 000029e3: JUMPDEST 000029e4: PUSH1 0x00 000029e6: DUP3 000029e7: NOT 000029e8: DUP3 000029e9: GT 000029ea: ISZERO 000029eb: PUSH2 0x29f6 000029ee: JUMPI 000029ef: PUSH2 0x29f6 000029f2: PUSH2 0x295b 000029f5: JUMP 000029f6: JUMPDEST 000029f7: POP 000029f8: ADD 000029f9: SWAP1 000029fa: JUMP 000029fb: JUMPDEST 000029fc: PUSH1 0x20 000029fe: DUP1 000029ff: DUP3 00002a00: MSTORE 00002a01: PUSH1 0x25 00002a03: SWAP1 00002a04: DUP3 00002a05: ADD 00002a06: MSTORE 00002a07: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164 00002a28: PUSH1 0x40 00002a2a: DUP3 00002a2b: ADD 00002a2c: MSTORE 00002a2d: PUSH5 0x6472657373 00002a33: PUSH1 0xd8 00002a35: SHL 00002a36: PUSH1 0x60 00002a38: DUP3 00002a39: ADD 00002a3a: MSTORE 00002a3b: PUSH1 0x80 00002a3d: ADD 00002a3e: SWAP1 00002a3f: JUMP 00002a40: JUMPDEST 00002a41: PUSH1 0x20 00002a43: DUP1 00002a44: DUP3 00002a45: MSTORE 00002a46: PUSH1 0x23 00002a48: SWAP1 00002a49: DUP3 00002a4a: ADD 00002a4b: MSTORE 00002a4c: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472 00002a6d: PUSH1 0x40 00002a6f: DUP3 00002a70: ADD 00002a71: MSTORE 00002a72: PUSH3 0x657373 00002a76: PUSH1 0xe8 00002a78: SHL 00002a79: PUSH1 0x60 00002a7b: DUP3 00002a7c: ADD 00002a7d: MSTORE 00002a7e: PUSH1 0x80 00002a80: ADD 00002a81: SWAP1 00002a82: JUMP 00002a83: JUMPDEST 00002a84: PUSH1 0x00 00002a86: DUP3 00002a87: DUP3 00002a88: LT 00002a89: ISZERO 00002a8a: PUSH2 0x2a95 00002a8d: JUMPI 00002a8e: PUSH2 0x2a95 00002a91: PUSH2 0x295b 00002a94: JUMP 00002a95: JUMPDEST 00002a96: POP 00002a97: SUB 00002a98: SWAP1 00002a99: JUMP 00002a9a: JUMPDEST 00002a9b: PUSH1 0x00 00002a9d: PUSH1 0x20 00002a9f: DUP3 00002aa0: DUP5 00002aa1: SUB 00002aa2: SLT 00002aa3: ISZERO 00002aa4: PUSH2 0x2aac 00002aa7: JUMPI 00002aa8: PUSH1 0x00 00002aaa: DUP1 00002aab: REVERT 00002aac: JUMPDEST 00002aad: DUP2 00002aae: MLOAD 00002aaf: PUSH2 0x152b 00002ab2: DUP2 00002ab3: PUSH2 0x26b5 00002ab6: JUMP 00002ab7: JUMPDEST 00002ab8: PUSH1 0x00 00002aba: PUSH1 0xa0 00002abc: DUP3 00002abd: ADD 00002abe: DUP8 00002abf: DUP4 00002ac0: MSTORE 00002ac1: PUSH1 0x20 00002ac3: DUP8 00002ac4: DUP2 00002ac5: DUP6 00002ac6: ADD 00002ac7: MSTORE 00002ac8: PUSH1 0xa0 00002aca: PUSH1 0x40 00002acc: DUP6 00002acd: ADD 00002ace: MSTORE 00002acf: DUP2 00002ad0: DUP8 00002ad1: MLOAD 00002ad2: DUP1 00002ad3: DUP5 00002ad4: MSTORE 00002ad5: PUSH1 0xc0 00002ad7: DUP7 00002ad8: ADD 00002ad9: SWAP2 00002ada: POP 00002adb: DUP3 00002adc: DUP10 00002add: ADD 00002ade: SWAP4 00002adf: POP 00002ae0: PUSH1 0x00 00002ae2: JUMPDEST 00002ae3: DUP2 00002ae4: DUP2 00002ae5: LT 00002ae6: ISZERO 00002ae7: PUSH2 0x2b07 00002aea: JUMPI 00002aeb: DUP5 00002aec: MLOAD 00002aed: PUSH1 0x01 00002aef: PUSH1 0x01 00002af1: PUSH1 0xa0 00002af3: SHL 00002af4: SUB 00002af5: AND 00002af6: DUP4 00002af7: MSTORE 00002af8: SWAP4 00002af9: DUP4 00002afa: ADD 00002afb: SWAP4 00002afc: SWAP2 00002afd: DUP4 00002afe: ADD 00002aff: SWAP2 00002b00: PUSH1 0x01 00002b02: ADD 00002b03: PUSH2 0x2ae2 00002b06: JUMP 00002b07: JUMPDEST 00002b08: POP 00002b09: POP 00002b0a: PUSH1 0x01 00002b0c: PUSH1 0x01 00002b0e: PUSH1 0xa0 00002b10: SHL 00002b11: SUB 00002b12: SWAP7 00002b13: SWAP1 00002b14: SWAP7 00002b15: AND 00002b16: PUSH1 0x60 00002b18: DUP6 00002b19: ADD 00002b1a: MSTORE 00002b1b: POP 00002b1c: POP 00002b1d: POP 00002b1e: PUSH1 0x80 00002b20: ADD 00002b21: MSTORE 00002b22: SWAP4 00002b23: SWAP3 00002b24: POP 00002b25: POP 00002b26: POP 00002b27: JUMP 00002b28: JUMPDEST 00002b29: PUSH1 0x00 00002b2b: DUP1 00002b2c: PUSH1 0x00 00002b2e: PUSH1 0x60 00002b30: DUP5 00002b31: DUP7 00002b32: SUB 00002b33: SLT 00002b34: ISZERO 00002b35: PUSH2 0x2b3d 00002b38: JUMPI 00002b39: PUSH1 0x00 00002b3b: DUP1 00002b3c: REVERT 00002b3d: JUMPDEST 00002b3e: DUP4 00002b3f: MLOAD 00002b40: SWAP3 00002b41: POP 00002b42: PUSH1 0x20 00002b44: DUP5 00002b45: ADD 00002b46: MLOAD 00002b47: SWAP2 00002b48: POP 00002b49: PUSH1 0x40 00002b4b: DUP5 00002b4c: ADD 00002b4d: MLOAD 00002b4e: SWAP1 00002b4f: POP 00002b50: SWAP3 00002b51: POP 00002b52: SWAP3 00002b53: POP 00002b54: SWAP3 00002b55: JUMP 00002b56: INVALID 00002b57: GASLIMIT 00002b58: MSTORE 00002b59: NUMBER 00002b5a: ORIGIN 00002b5b: ADDRESS 00002b5c: GASPRICE 00002b5d: KECCAK256 00002b5e: PUSH21 0x72616e7366657220616d6f756e7420657863656564 00002b74: PUSH20 0x2062616c616e636545524332303a207472616e73 00002b89: PUSH7 0x657220616d6f75 00002b91: PUSH15 0x74206578636565647320616c6c6f77 00002ba1: PUSH2 0x6e63 00002ba4: PUSH6 0x45524332303a 00002bab: KECCAK256 00002bac: PUSH5 0x6563726561 00002bb2: PUSH20 0x656420616c6c6f77616e63652062656c6f77207a 00002bc7: PUSH6 0x726fa2646970 00002bce: PUSH7 0x7358221220c8bf 00002bd6: UNKNOWN(0xFC) 00002bd7: UNKNOWN(0xA7) 00002bd8: UNKNOWN(0xB1) 00002bd9: PUSH1 0x0f 00002bdb: SIGNEXTEND 00002bdc: BYTE 00002bdd: UNKNOWN(0xF7) 00002bde: SMOD 00002bdf: DIV 00002be0: UNKNOWN(0xE6) 00002be1: SWAP5 00002be2: UNKNOWN(0xD7) 00002be3: UNKNOWN(0xC1) 00002be4: LT 00002be5: PUSH20 0xf2e72d3b49349edc3a62050bb5cc64736f6c6343 00002bfa: STOP 00002bfb: ADDMOD 00002bfc: SIGNEXTEND 00002bfd: STOP 00002bfe: 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": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe2f45605",
"selector": "0xe2f45605",
"calldata_variants": [
"0xe2f45605",
"0xe2f456050000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe884f260",
"selector": "0xe884f260",
"calldata_variants": [
"0xe884f260",
"0xe884f2600000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf25f4b56",
"selector": "0xf25f4b56",
"calldata_variants": [
"0xf25f4b56",
"0xf25f4b560000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf8b45b05",
"selector": "0xf8b45b05",
"calldata_variants": [
"0xf8b45b05",
"0xf8b45b050000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc18bc195",
"selector": "0xc18bc195",
"calldata_variants": [
"0xc18bc195",
"0xc18bc1950000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc876d0b9",
"selector": "0xc876d0b9",
"calldata_variants": [
"0xc876d0b9",
"0xc876d0b90000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 6447,
"type": "tx_origin_used"
},
{
"pc": 6597,
"type": "tx_origin_used"
},
{
"pc": 11098,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x92f2f288b0c822da1e8d86bfec2f90f39bbf81a6723f996b16ce20e23e002acc
call_targets:
0x62cdcbc2217343abc9383f034f558db9a949b35d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x92f2f288b0c822da1e8d86bfec2f90f39bbf81a6723f996b16ce20e23e002acc",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x62cdcbc2217343abc9383f034f558db9a949b35d"
],
"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": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe2f45605",
"selector": "0xe2f45605",
"calldata_variants": [
"0xe2f45605",
"0xe2f456050000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe884f260",
"selector": "0xe884f260",
"calldata_variants": [
"0xe884f260",
"0xe884f2600000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf25f4b56",
"selector": "0xf25f4b56",
"calldata_variants": [
"0xf25f4b56",
"0xf25f4b560000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf8b45b05",
"selector": "0xf8b45b05",
"calldata_variants": [
"0xf8b45b05",
"0xf8b45b050000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc18bc195",
"selector": "0xc18bc195",
"calldata_variants": [
"0xc18bc195",
"0xc18bc1950000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc876d0b9",
"selector": "0xc876d0b9",
"calldata_variants": [
"0xc876d0b9",
"0xc876d0b90000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2723,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 9491,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 9717,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [
{
"pc": 6447,
"type": "tx_origin_used"
},
{
"pc": 6597,
"type": "tx_origin_used"
},
{
"pc": 11098,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 3
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x92f2f288b0c822da1e8d86bfec2f90f39bbf81a6723f996b16ce20e23e002acc
call_targets:
0x62cdcbc2217343abc9383f034f558db9a949b35d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x92f2f288b0c822da1e8d86bfec2f90f39bbf81a6723f996b16ce20e23e002acc",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x62cdcbc2217343abc9383f034f558db9a949b35d"
],
"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": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe2f45605",
"selector": "0xe2f45605",
"calldata_variants": [
"0xe2f45605",
"0xe2f456050000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe884f260",
"selector": "0xe884f260",
"calldata_variants": [
"0xe884f260",
"0xe884f2600000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf25f4b56",
"selector": "0xf25f4b56",
"calldata_variants": [
"0xf25f4b56",
"0xf25f4b560000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf8b45b05",
"selector": "0xf8b45b05",
"calldata_variants": [
"0xf8b45b05",
"0xf8b45b050000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc18bc195",
"selector": "0xc18bc195",
"calldata_variants": [
"0xc18bc195",
"0xc18bc1950000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc876d0b9",
"selector": "0xc876d0b9",
"calldata_variants": [
"0xc876d0b9",
"0xc876d0b90000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2723,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 9491,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 9717,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": [
{
"pc": 6447,
"type": "tx_origin_used"
},
{
"pc": 6597,
"type": "tx_origin_used"
},
{
"pc": 11098,
"type": "tx_origin_used"
}
]
}
|