019b477e-c18f-7198-bd11-b7633d90b9a3
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 |
|---|---|---|---|---|
| 24879 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 24880 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 91281 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 91282 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 91283 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 91284 | 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 0x01bb 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x715018a6 00000019: GT 0000001a: PUSH2 0x00ec 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xb6c52324 00000024: GT 00000025: PUSH2 0x008a 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xdd467064 0000002f: GT 00000030: PUSH2 0x0064 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xdd467064 0000003a: EQ 0000003b: PUSH2 0x0596 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xdd62ed3e 00000045: EQ 00000046: PUSH2 0x05c0 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xe97723dc 00000050: EQ 00000051: PUSH2 0x05fb 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf2fde38b 0000005b: EQ 0000005c: PUSH2 0x0627 0000005f: JUMPI 00000060: PUSH2 0x01c2 00000063: JUMP 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0xb6c52324 0000006b: EQ 0000006c: PUSH2 0x0540 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xbfe889f4 00000076: EQ 00000077: PUSH2 0x0555 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xc49b9a80 00000081: EQ 00000082: PUSH2 0x056a 00000085: JUMPI 00000086: PUSH2 0x01c2 00000089: JUMP 0000008a: JUMPDEST 0000008b: DUP1 0000008c: PUSH4 0x95d89b41 00000091: GT 00000092: PUSH2 0x00c6 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x95d89b41 0000009c: EQ 0000009d: PUSH2 0x04b3 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x9b1f9e74 000000a7: EQ 000000a8: PUSH2 0x04c8 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0xa69df4b5 000000b2: EQ 000000b3: PUSH2 0x04f2 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0xa9059cbb 000000bd: EQ 000000be: PUSH2 0x0507 000000c1: JUMPI 000000c2: PUSH2 0x01c2 000000c5: JUMP 000000c6: JUMPDEST 000000c7: DUP1 000000c8: PUSH4 0x715018a6 000000cd: EQ 000000ce: PUSH2 0x0474 000000d1: JUMPI 000000d2: DUP1 000000d3: PUSH4 0x7d1db4a5 000000d8: EQ 000000d9: PUSH2 0x0489 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0x8da5cb5b 000000e3: EQ 000000e4: PUSH2 0x049e 000000e7: JUMPI 000000e8: PUSH2 0x01c2 000000eb: JUMP 000000ec: JUMPDEST 000000ed: DUP1 000000ee: PUSH4 0x49bd5a5e 000000f3: GT 000000f4: PUSH2 0x0159 000000f7: JUMPI 000000f8: DUP1 000000f9: PUSH4 0x60755d43 000000fe: GT 000000ff: PUSH2 0x0133 00000102: JUMPI 00000103: DUP1 00000104: PUSH4 0x60755d43 00000109: EQ 0000010a: PUSH2 0x03ed 0000010d: JUMPI 0000010e: DUP1 0000010f: PUSH4 0x6bc87c3a 00000114: EQ 00000115: PUSH2 0x0402 00000118: JUMPI 00000119: DUP1 0000011a: PUSH4 0x6d760608 0000011f: EQ 00000120: PUSH2 0x0417 00000123: JUMPI 00000124: DUP1 00000125: PUSH4 0x70a08231 0000012a: EQ 0000012b: PUSH2 0x0441 0000012e: JUMPI 0000012f: PUSH2 0x01c2 00000132: JUMP 00000133: JUMPDEST 00000134: DUP1 00000135: PUSH4 0x49bd5a5e 0000013a: EQ 0000013b: PUSH2 0x0390 0000013e: JUMPI 0000013f: DUP1 00000140: PUSH4 0x4a74bb02 00000145: EQ 00000146: PUSH2 0x03a5 00000149: JUMPI 0000014a: DUP1 0000014b: PUSH4 0x5342acb4 00000150: EQ 00000151: PUSH2 0x03ba 00000154: JUMPI 00000155: PUSH2 0x01c2 00000158: JUMP 00000159: JUMPDEST 0000015a: DUP1 0000015b: PUSH4 0x18160ddd 00000160: GT 00000161: PUSH2 0x0195 00000164: JUMPI 00000165: DUP1 00000166: PUSH4 0x18160ddd 0000016b: EQ 0000016c: PUSH2 0x02cf 0000016f: JUMPI 00000170: DUP1 00000171: PUSH4 0x23b872dd 00000176: EQ 00000177: PUSH2 0x02f6 0000017a: JUMPI 0000017b: DUP1 0000017c: PUSH4 0x2c526196 00000181: EQ 00000182: PUSH2 0x0339 00000185: JUMPI 00000186: DUP1 00000187: PUSH4 0x313ce567 0000018c: EQ 0000018d: PUSH2 0x0365 00000190: JUMPI 00000191: PUSH2 0x01c2 00000194: JUMP 00000195: JUMPDEST 00000196: DUP1 00000197: PUSH4 0x06fdde03 0000019c: EQ 0000019d: PUSH2 0x01c7 000001a0: JUMPI 000001a1: DUP1 000001a2: PUSH4 0x095ea7b3 000001a7: EQ 000001a8: PUSH2 0x0251 000001ab: JUMPI 000001ac: DUP1 000001ad: PUSH4 0x1694505e 000001b2: EQ 000001b3: PUSH2 0x029e 000001b6: JUMPI 000001b7: PUSH2 0x01c2 000001ba: JUMP 000001bb: JUMPDEST 000001bc: CALLDATASIZE 000001bd: PUSH2 0x01c2 000001c0: JUMPI 000001c1: STOP 000001c2: JUMPDEST 000001c3: PUSH1 0x00 000001c5: DUP1 000001c6: REVERT 000001c7: JUMPDEST 000001c8: CALLVALUE 000001c9: DUP1 000001ca: ISZERO 000001cb: PUSH2 0x01d3 000001ce: JUMPI 000001cf: PUSH1 0x00 000001d1: DUP1 000001d2: REVERT 000001d3: JUMPDEST 000001d4: POP 000001d5: PUSH2 0x01dc 000001d8: PUSH2 0x065a 000001db: JUMP 000001dc: JUMPDEST 000001dd: PUSH1 0x40 000001df: DUP1 000001e0: MLOAD 000001e1: PUSH1 0x20 000001e3: DUP1 000001e4: DUP3 000001e5: MSTORE 000001e6: DUP4 000001e7: MLOAD 000001e8: DUP2 000001e9: DUP4 000001ea: ADD 000001eb: MSTORE 000001ec: DUP4 000001ed: MLOAD 000001ee: SWAP2 000001ef: SWAP3 000001f0: DUP4 000001f1: SWAP3 000001f2: SWAP1 000001f3: DUP4 000001f4: ADD 000001f5: SWAP2 000001f6: DUP6 000001f7: ADD 000001f8: SWAP1 000001f9: DUP1 000001fa: DUP4 000001fb: DUP4 000001fc: PUSH1 0x00 000001fe: JUMPDEST 000001ff: DUP4 00000200: DUP2 00000201: LT 00000202: ISZERO 00000203: PUSH2 0x0216 00000206: JUMPI 00000207: DUP2 00000208: DUP2 00000209: ADD 0000020a: MLOAD 0000020b: DUP4 0000020c: DUP3 0000020d: ADD 0000020e: MSTORE 0000020f: PUSH1 0x20 00000211: ADD 00000212: PUSH2 0x01fe 00000215: JUMP 00000216: JUMPDEST 00000217: POP 00000218: POP 00000219: POP 0000021a: POP 0000021b: SWAP1 0000021c: POP 0000021d: SWAP1 0000021e: DUP2 0000021f: ADD 00000220: SWAP1 00000221: PUSH1 0x1f 00000223: AND 00000224: DUP1 00000225: ISZERO 00000226: PUSH2 0x0243 00000229: JUMPI 0000022a: DUP1 0000022b: DUP3 0000022c: SUB 0000022d: DUP1 0000022e: MLOAD 0000022f: PUSH1 0x01 00000231: DUP4 00000232: PUSH1 0x20 00000234: SUB 00000235: PUSH2 0x0100 00000238: EXP 00000239: SUB 0000023a: NOT 0000023b: AND 0000023c: DUP2 0000023d: MSTORE 0000023e: PUSH1 0x20 00000240: ADD 00000241: SWAP2 00000242: POP 00000243: JUMPDEST 00000244: POP 00000245: SWAP3 00000246: POP 00000247: POP 00000248: POP 00000249: PUSH1 0x40 0000024b: MLOAD 0000024c: DUP1 0000024d: SWAP2 0000024e: SUB 0000024f: SWAP1 00000250: RETURN 00000251: JUMPDEST 00000252: CALLVALUE 00000253: DUP1 00000254: ISZERO 00000255: PUSH2 0x025d 00000258: JUMPI 00000259: PUSH1 0x00 0000025b: DUP1 0000025c: REVERT 0000025d: JUMPDEST 0000025e: POP 0000025f: PUSH2 0x028a 00000262: PUSH1 0x04 00000264: DUP1 00000265: CALLDATASIZE 00000266: SUB 00000267: PUSH1 0x40 00000269: DUP2 0000026a: LT 0000026b: ISZERO 0000026c: PUSH2 0x0274 0000026f: JUMPI 00000270: PUSH1 0x00 00000272: DUP1 00000273: REVERT 00000274: JUMPDEST 00000275: POP 00000276: PUSH1 0x01 00000278: PUSH1 0x01 0000027a: PUSH1 0xa0 0000027c: SHL 0000027d: SUB 0000027e: DUP2 0000027f: CALLDATALOAD 00000280: AND 00000281: SWAP1 00000282: PUSH1 0x20 00000284: ADD 00000285: CALLDATALOAD 00000286: PUSH2 0x06f0 00000289: JUMP 0000028a: JUMPDEST 0000028b: PUSH1 0x40 0000028d: DUP1 0000028e: MLOAD 0000028f: SWAP2 00000290: ISZERO 00000291: ISZERO 00000292: DUP3 00000293: MSTORE 00000294: MLOAD 00000295: SWAP1 00000296: DUP2 00000297: SWAP1 00000298: SUB 00000299: PUSH1 0x20 0000029b: ADD 0000029c: SWAP1 0000029d: RETURN 0000029e: JUMPDEST 0000029f: CALLVALUE 000002a0: DUP1 000002a1: ISZERO 000002a2: PUSH2 0x02aa 000002a5: JUMPI 000002a6: PUSH1 0x00 000002a8: DUP1 000002a9: REVERT 000002aa: JUMPDEST 000002ab: POP 000002ac: PUSH2 0x02b3 000002af: PUSH2 0x070e 000002b2: JUMP 000002b3: JUMPDEST 000002b4: PUSH1 0x40 000002b6: DUP1 000002b7: MLOAD 000002b8: PUSH1 0x01 000002ba: PUSH1 0x01 000002bc: PUSH1 0xa0 000002be: SHL 000002bf: SUB 000002c0: SWAP1 000002c1: SWAP3 000002c2: AND 000002c3: DUP3 000002c4: MSTORE 000002c5: MLOAD 000002c6: SWAP1 000002c7: DUP2 000002c8: SWAP1 000002c9: SUB 000002ca: PUSH1 0x20 000002cc: ADD 000002cd: SWAP1 000002ce: RETURN 000002cf: JUMPDEST 000002d0: CALLVALUE 000002d1: DUP1 000002d2: ISZERO 000002d3: PUSH2 0x02db 000002d6: JUMPI 000002d7: PUSH1 0x00 000002d9: DUP1 000002da: REVERT 000002db: JUMPDEST 000002dc: POP 000002dd: PUSH2 0x02e4 000002e0: PUSH2 0x0732 000002e3: JUMP 000002e4: JUMPDEST 000002e5: PUSH1 0x40 000002e7: DUP1 000002e8: MLOAD 000002e9: SWAP2 000002ea: DUP3 000002eb: MSTORE 000002ec: MLOAD 000002ed: SWAP1 000002ee: DUP2 000002ef: SWAP1 000002f0: SUB 000002f1: PUSH1 0x20 000002f3: ADD 000002f4: SWAP1 000002f5: RETURN 000002f6: JUMPDEST 000002f7: CALLVALUE 000002f8: DUP1 000002f9: ISZERO 000002fa: PUSH2 0x0302 000002fd: JUMPI 000002fe: PUSH1 0x00 00000300: DUP1 00000301: REVERT 00000302: JUMPDEST 00000303: POP 00000304: PUSH2 0x028a 00000307: PUSH1 0x04 00000309: DUP1 0000030a: CALLDATASIZE 0000030b: SUB 0000030c: PUSH1 0x60 0000030e: DUP2 0000030f: LT 00000310: ISZERO 00000311: PUSH2 0x0319 00000314: JUMPI 00000315: PUSH1 0x00 00000317: DUP1 00000318: REVERT 00000319: JUMPDEST 0000031a: POP 0000031b: PUSH1 0x01 0000031d: PUSH1 0x01 0000031f: PUSH1 0xa0 00000321: SHL 00000322: SUB 00000323: DUP2 00000324: CALLDATALOAD 00000325: DUP2 00000326: AND 00000327: SWAP2 00000328: PUSH1 0x20 0000032a: DUP2 0000032b: ADD 0000032c: CALLDATALOAD 0000032d: SWAP1 0000032e: SWAP2 0000032f: AND 00000330: SWAP1 00000331: PUSH1 0x40 00000333: ADD 00000334: CALLDATALOAD 00000335: PUSH2 0x0738 00000338: JUMP 00000339: JUMPDEST 0000033a: CALLVALUE 0000033b: DUP1 0000033c: ISZERO 0000033d: PUSH2 0x0345 00000340: JUMPI 00000341: PUSH1 0x00 00000343: DUP1 00000344: REVERT 00000345: JUMPDEST 00000346: POP 00000347: PUSH2 0x0363 0000034a: PUSH1 0x04 0000034c: DUP1 0000034d: CALLDATASIZE 0000034e: SUB 0000034f: PUSH1 0x20 00000351: DUP2 00000352: LT 00000353: ISZERO 00000354: PUSH2 0x035c 00000357: JUMPI 00000358: PUSH1 0x00 0000035a: DUP1 0000035b: REVERT 0000035c: JUMPDEST 0000035d: POP 0000035e: CALLDATALOAD 0000035f: PUSH2 0x07bf 00000362: JUMP 00000363: JUMPDEST 00000364: STOP 00000365: JUMPDEST 00000366: CALLVALUE 00000367: DUP1 00000368: ISZERO 00000369: PUSH2 0x0371 0000036c: JUMPI 0000036d: PUSH1 0x00 0000036f: DUP1 00000370: REVERT 00000371: JUMPDEST 00000372: POP 00000373: PUSH2 0x037a 00000376: PUSH2 0x095f 00000379: JUMP 0000037a: JUMPDEST 0000037b: PUSH1 0x40 0000037d: DUP1 0000037e: MLOAD 0000037f: PUSH1 0xff 00000381: SWAP1 00000382: SWAP3 00000383: AND 00000384: DUP3 00000385: MSTORE 00000386: MLOAD 00000387: SWAP1 00000388: DUP2 00000389: SWAP1 0000038a: SUB 0000038b: PUSH1 0x20 0000038d: ADD 0000038e: SWAP1 0000038f: RETURN 00000390: JUMPDEST 00000391: CALLVALUE 00000392: DUP1 00000393: ISZERO 00000394: PUSH2 0x039c 00000397: JUMPI 00000398: PUSH1 0x00 0000039a: DUP1 0000039b: REVERT 0000039c: JUMPDEST 0000039d: POP 0000039e: PUSH2 0x02b3 000003a1: PUSH2 0x0968 000003a4: JUMP 000003a5: JUMPDEST 000003a6: CALLVALUE 000003a7: DUP1 000003a8: ISZERO 000003a9: PUSH2 0x03b1 000003ac: JUMPI 000003ad: PUSH1 0x00 000003af: DUP1 000003b0: REVERT 000003b1: JUMPDEST 000003b2: POP 000003b3: PUSH2 0x028a 000003b6: PUSH2 0x098c 000003b9: JUMP 000003ba: JUMPDEST 000003bb: CALLVALUE 000003bc: DUP1 000003bd: ISZERO 000003be: PUSH2 0x03c6 000003c1: JUMPI 000003c2: PUSH1 0x00 000003c4: DUP1 000003c5: REVERT 000003c6: JUMPDEST 000003c7: POP 000003c8: PUSH2 0x028a 000003cb: PUSH1 0x04 000003cd: DUP1 000003ce: CALLDATASIZE 000003cf: SUB 000003d0: PUSH1 0x20 000003d2: DUP2 000003d3: LT 000003d4: ISZERO 000003d5: PUSH2 0x03dd 000003d8: JUMPI 000003d9: PUSH1 0x00 000003db: DUP1 000003dc: REVERT 000003dd: JUMPDEST 000003de: POP 000003df: CALLDATALOAD 000003e0: PUSH1 0x01 000003e2: PUSH1 0x01 000003e4: PUSH1 0xa0 000003e6: SHL 000003e7: SUB 000003e8: AND 000003e9: PUSH2 0x099a 000003ec: JUMP 000003ed: JUMPDEST 000003ee: CALLVALUE 000003ef: DUP1 000003f0: ISZERO 000003f1: PUSH2 0x03f9 000003f4: JUMPI 000003f5: PUSH1 0x00 000003f7: DUP1 000003f8: REVERT 000003f9: JUMPDEST 000003fa: POP 000003fb: PUSH2 0x028a 000003fe: PUSH2 0x09b8 00000401: JUMP 00000402: JUMPDEST 00000403: CALLVALUE 00000404: DUP1 00000405: ISZERO 00000406: PUSH2 0x040e 00000409: JUMPI 0000040a: PUSH1 0x00 0000040c: DUP1 0000040d: REVERT 0000040e: JUMPDEST 0000040f: POP 00000410: PUSH2 0x02e4 00000413: PUSH2 0x09c1 00000416: JUMP 00000417: JUMPDEST 00000418: CALLVALUE 00000419: DUP1 0000041a: ISZERO 0000041b: PUSH2 0x0423 0000041e: JUMPI 0000041f: PUSH1 0x00 00000421: DUP1 00000422: REVERT 00000423: JUMPDEST 00000424: POP 00000425: PUSH2 0x0363 00000428: PUSH1 0x04 0000042a: DUP1 0000042b: CALLDATASIZE 0000042c: SUB 0000042d: PUSH1 0x20 0000042f: DUP2 00000430: LT 00000431: ISZERO 00000432: PUSH2 0x043a 00000435: JUMPI 00000436: PUSH1 0x00 00000438: DUP1 00000439: REVERT 0000043a: JUMPDEST 0000043b: POP 0000043c: CALLDATALOAD 0000043d: PUSH2 0x09c7 00000440: JUMP 00000441: JUMPDEST 00000442: CALLVALUE 00000443: DUP1 00000444: ISZERO 00000445: PUSH2 0x044d 00000448: JUMPI 00000449: PUSH1 0x00 0000044b: DUP1 0000044c: REVERT 0000044d: JUMPDEST 0000044e: POP 0000044f: PUSH2 0x02e4 00000452: PUSH1 0x04 00000454: DUP1 00000455: CALLDATASIZE 00000456: SUB 00000457: PUSH1 0x20 00000459: DUP2 0000045a: LT 0000045b: ISZERO 0000045c: PUSH2 0x0464 0000045f: JUMPI 00000460: PUSH1 0x00 00000462: DUP1 00000463: REVERT 00000464: JUMPDEST 00000465: POP 00000466: CALLDATALOAD 00000467: PUSH1 0x01 00000469: PUSH1 0x01 0000046b: PUSH1 0xa0 0000046d: SHL 0000046e: SUB 0000046f: AND 00000470: PUSH2 0x0a5b 00000473: JUMP 00000474: JUMPDEST 00000475: CALLVALUE 00000476: DUP1 00000477: ISZERO 00000478: PUSH2 0x0480 0000047b: JUMPI 0000047c: PUSH1 0x00 0000047e: DUP1 0000047f: REVERT 00000480: JUMPDEST 00000481: POP 00000482: PUSH2 0x0363 00000485: PUSH2 0x0a76 00000488: JUMP 00000489: JUMPDEST 0000048a: CALLVALUE 0000048b: DUP1 0000048c: ISZERO 0000048d: PUSH2 0x0495 00000490: JUMPI 00000491: PUSH1 0x00 00000493: DUP1 00000494: REVERT 00000495: JUMPDEST 00000496: POP 00000497: PUSH2 0x02e4 0000049a: PUSH2 0x0b4f 0000049d: JUMP 0000049e: JUMPDEST 0000049f: CALLVALUE 000004a0: DUP1 000004a1: ISZERO 000004a2: PUSH2 0x04aa 000004a5: JUMPI 000004a6: PUSH1 0x00 000004a8: DUP1 000004a9: REVERT 000004aa: JUMPDEST 000004ab: POP 000004ac: PUSH2 0x02b3 000004af: PUSH2 0x0b55 000004b2: JUMP 000004b3: JUMPDEST 000004b4: CALLVALUE 000004b5: DUP1 000004b6: ISZERO 000004b7: PUSH2 0x04bf 000004ba: JUMPI 000004bb: PUSH1 0x00 000004bd: DUP1 000004be: REVERT 000004bf: JUMPDEST 000004c0: POP 000004c1: PUSH2 0x01dc 000004c4: PUSH2 0x0b64 000004c7: JUMP 000004c8: JUMPDEST 000004c9: CALLVALUE 000004ca: DUP1 000004cb: ISZERO 000004cc: PUSH2 0x04d4 000004cf: JUMPI 000004d0: PUSH1 0x00 000004d2: DUP1 000004d3: REVERT 000004d4: JUMPDEST 000004d5: POP 000004d6: PUSH2 0x0363 000004d9: PUSH1 0x04 000004db: DUP1 000004dc: CALLDATASIZE 000004dd: SUB 000004de: PUSH1 0x20 000004e0: DUP2 000004e1: LT 000004e2: ISZERO 000004e3: PUSH2 0x04eb 000004e6: JUMPI 000004e7: PUSH1 0x00 000004e9: DUP1 000004ea: REVERT 000004eb: JUMPDEST 000004ec: POP 000004ed: CALLDATALOAD 000004ee: PUSH2 0x0bc5 000004f1: JUMP 000004f2: JUMPDEST 000004f3: CALLVALUE 000004f4: DUP1 000004f5: ISZERO 000004f6: PUSH2 0x04fe 000004f9: JUMPI 000004fa: PUSH1 0x00 000004fc: DUP1 000004fd: REVERT 000004fe: JUMPDEST 000004ff: POP 00000500: PUSH2 0x0363 00000503: PUSH2 0x0dc0 00000506: JUMP 00000507: JUMPDEST 00000508: CALLVALUE 00000509: DUP1 0000050a: ISZERO 0000050b: PUSH2 0x0513 0000050e: JUMPI 0000050f: PUSH1 0x00 00000511: DUP1 00000512: REVERT 00000513: JUMPDEST 00000514: POP 00000515: PUSH2 0x028a 00000518: PUSH1 0x04 0000051a: DUP1 0000051b: CALLDATASIZE 0000051c: SUB 0000051d: PUSH1 0x40 0000051f: DUP2 00000520: LT 00000521: ISZERO 00000522: PUSH2 0x052a 00000525: JUMPI 00000526: PUSH1 0x00 00000528: DUP1 00000529: REVERT 0000052a: JUMPDEST 0000052b: POP 0000052c: PUSH1 0x01 0000052e: PUSH1 0x01 00000530: PUSH1 0xa0 00000532: SHL 00000533: SUB 00000534: DUP2 00000535: CALLDATALOAD 00000536: AND 00000537: SWAP1 00000538: PUSH1 0x20 0000053a: ADD 0000053b: CALLDATALOAD 0000053c: PUSH2 0x0ec0 0000053f: JUMP 00000540: JUMPDEST 00000541: CALLVALUE 00000542: DUP1 00000543: ISZERO 00000544: PUSH2 0x054c 00000547: JUMPI 00000548: PUSH1 0x00 0000054a: DUP1 0000054b: REVERT 0000054c: JUMPDEST 0000054d: POP 0000054e: PUSH2 0x02e4 00000551: PUSH2 0x0ed4 00000554: JUMP 00000555: JUMPDEST 00000556: CALLVALUE 00000557: DUP1 00000558: ISZERO 00000559: PUSH2 0x0561 0000055c: JUMPI 0000055d: PUSH1 0x00 0000055f: DUP1 00000560: REVERT 00000561: JUMPDEST 00000562: POP 00000563: PUSH2 0x02e4 00000566: PUSH2 0x0eda 00000569: JUMP 0000056a: JUMPDEST 0000056b: CALLVALUE 0000056c: DUP1 0000056d: ISZERO 0000056e: PUSH2 0x0576 00000571: JUMPI 00000572: PUSH1 0x00 00000574: DUP1 00000575: REVERT 00000576: JUMPDEST 00000577: POP 00000578: PUSH2 0x0363 0000057b: PUSH1 0x04 0000057d: DUP1 0000057e: CALLDATASIZE 0000057f: SUB 00000580: PUSH1 0x20 00000582: DUP2 00000583: LT 00000584: ISZERO 00000585: PUSH2 0x058d 00000588: JUMPI 00000589: PUSH1 0x00 0000058b: DUP1 0000058c: REVERT 0000058d: JUMPDEST 0000058e: POP 0000058f: CALLDATALOAD 00000590: ISZERO 00000591: ISZERO 00000592: PUSH2 0x0ee0 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 0x0363 000005a7: PUSH1 0x04 000005a9: DUP1 000005aa: CALLDATASIZE 000005ab: SUB 000005ac: PUSH1 0x20 000005ae: DUP2 000005af: LT 000005b0: ISZERO 000005b1: PUSH2 0x05b9 000005b4: JUMPI 000005b5: PUSH1 0x00 000005b7: DUP1 000005b8: REVERT 000005b9: JUMPDEST 000005ba: POP 000005bb: CALLDATALOAD 000005bc: PUSH2 0x0fbe 000005bf: JUMP 000005c0: JUMPDEST 000005c1: CALLVALUE 000005c2: DUP1 000005c3: ISZERO 000005c4: PUSH2 0x05cc 000005c7: JUMPI 000005c8: PUSH1 0x00 000005ca: DUP1 000005cb: REVERT 000005cc: JUMPDEST 000005cd: POP 000005ce: PUSH2 0x02e4 000005d1: PUSH1 0x04 000005d3: DUP1 000005d4: CALLDATASIZE 000005d5: SUB 000005d6: PUSH1 0x40 000005d8: DUP2 000005d9: LT 000005da: ISZERO 000005db: PUSH2 0x05e3 000005de: JUMPI 000005df: PUSH1 0x00 000005e1: DUP1 000005e2: REVERT 000005e3: JUMPDEST 000005e4: POP 000005e5: PUSH1 0x01 000005e7: PUSH1 0x01 000005e9: PUSH1 0xa0 000005eb: SHL 000005ec: SUB 000005ed: DUP2 000005ee: CALLDATALOAD 000005ef: DUP2 000005f0: AND 000005f1: SWAP2 000005f2: PUSH1 0x20 000005f4: ADD 000005f5: CALLDATALOAD 000005f6: AND 000005f7: PUSH2 0x10a5 000005fa: JUMP 000005fb: JUMPDEST 000005fc: CALLVALUE 000005fd: DUP1 000005fe: ISZERO 000005ff: PUSH2 0x0607 00000602: JUMPI 00000603: PUSH1 0x00 00000605: DUP1 00000606: REVERT 00000607: JUMPDEST 00000608: POP 00000609: PUSH2 0x0363 0000060c: PUSH1 0x04 0000060e: DUP1 0000060f: CALLDATASIZE 00000610: SUB 00000611: PUSH1 0x20 00000613: DUP2 00000614: LT 00000615: ISZERO 00000616: PUSH2 0x061e 00000619: JUMPI 0000061a: PUSH1 0x00 0000061c: DUP1 0000061d: REVERT 0000061e: JUMPDEST 0000061f: POP 00000620: CALLDATALOAD 00000621: ISZERO 00000622: ISZERO 00000623: PUSH2 0x10d0 00000626: JUMP 00000627: JUMPDEST 00000628: CALLVALUE 00000629: DUP1 0000062a: ISZERO 0000062b: PUSH2 0x0633 0000062e: JUMPI 0000062f: PUSH1 0x00 00000631: DUP1 00000632: REVERT 00000633: JUMPDEST 00000634: POP 00000635: PUSH2 0x0363 00000638: PUSH1 0x04 0000063a: DUP1 0000063b: CALLDATASIZE 0000063c: SUB 0000063d: PUSH1 0x20 0000063f: DUP2 00000640: LT 00000641: ISZERO 00000642: PUSH2 0x064a 00000645: JUMPI 00000646: PUSH1 0x00 00000648: DUP1 00000649: REVERT 0000064a: JUMPDEST 0000064b: POP 0000064c: CALLDATALOAD 0000064d: PUSH1 0x01 0000064f: PUSH1 0x01 00000651: PUSH1 0xa0 00000653: SHL 00000654: SUB 00000655: AND 00000656: PUSH2 0x1172 00000659: JUMP 0000065a: JUMPDEST 0000065b: PUSH1 0x07 0000065d: DUP1 0000065e: SLOAD 0000065f: PUSH1 0x40 00000661: DUP1 00000662: MLOAD 00000663: PUSH1 0x20 00000665: PUSH1 0x1f 00000667: PUSH1 0x02 00000669: PUSH1 0x00 0000066b: NOT 0000066c: PUSH2 0x0100 0000066f: PUSH1 0x01 00000671: DUP9 00000672: AND 00000673: ISZERO 00000674: MUL 00000675: ADD 00000676: SWAP1 00000677: SWAP6 00000678: AND 00000679: SWAP5 0000067a: SWAP1 0000067b: SWAP5 0000067c: DIV 0000067d: SWAP4 0000067e: DUP5 0000067f: ADD 00000680: DUP2 00000681: SWAP1 00000682: DIV 00000683: DUP2 00000684: MUL 00000685: DUP3 00000686: ADD 00000687: DUP2 00000688: ADD 00000689: SWAP1 0000068a: SWAP3 0000068b: MSTORE 0000068c: DUP3 0000068d: DUP2 0000068e: MSTORE 0000068f: PUSH1 0x60 00000691: SWAP4 00000692: SWAP1 00000693: SWAP3 00000694: SWAP1 00000695: SWAP2 00000696: DUP4 00000697: ADD 00000698: DUP3 00000699: DUP3 0000069a: DUP1 0000069b: ISZERO 0000069c: PUSH2 0x06e6 0000069f: JUMPI 000006a0: DUP1 000006a1: PUSH1 0x1f 000006a3: LT 000006a4: PUSH2 0x06bb 000006a7: JUMPI 000006a8: PUSH2 0x0100 000006ab: DUP1 000006ac: DUP4 000006ad: SLOAD 000006ae: DIV 000006af: MUL 000006b0: DUP4 000006b1: MSTORE 000006b2: SWAP2 000006b3: PUSH1 0x20 000006b5: ADD 000006b6: SWAP2 000006b7: PUSH2 0x06e6 000006ba: JUMP 000006bb: JUMPDEST 000006bc: DUP3 000006bd: ADD 000006be: SWAP2 000006bf: SWAP1 000006c0: PUSH1 0x00 000006c2: MSTORE 000006c3: PUSH1 0x20 000006c5: PUSH1 0x00 000006c7: KECCAK256 000006c8: SWAP1 000006c9: JUMPDEST 000006ca: DUP2 000006cb: SLOAD 000006cc: DUP2 000006cd: MSTORE 000006ce: SWAP1 000006cf: PUSH1 0x01 000006d1: ADD 000006d2: SWAP1 000006d3: PUSH1 0x20 000006d5: ADD 000006d6: DUP1 000006d7: DUP4 000006d8: GT 000006d9: PUSH2 0x06c9 000006dc: JUMPI 000006dd: DUP3 000006de: SWAP1 000006df: SUB 000006e0: PUSH1 0x1f 000006e2: AND 000006e3: DUP3 000006e4: ADD 000006e5: SWAP2 000006e6: JUMPDEST 000006e7: POP 000006e8: POP 000006e9: POP 000006ea: POP 000006eb: POP 000006ec: SWAP1 000006ed: POP 000006ee: SWAP1 000006ef: JUMP 000006f0: JUMPDEST 000006f1: PUSH1 0x00 000006f3: PUSH2 0x0704 000006f6: PUSH2 0x06fd 000006f9: PUSH2 0x12a1 000006fc: JUMP 000006fd: JUMPDEST 000006fe: DUP5 000006ff: DUP5 00000700: PUSH2 0x12a5 00000703: JUMP 00000704: JUMPDEST 00000705: POP 00000706: PUSH1 0x01 00000708: JUMPDEST 00000709: SWAP3 0000070a: SWAP2 0000070b: POP 0000070c: POP 0000070d: JUMP 0000070e: JUMPDEST 0000070f: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d 00000730: DUP2 00000731: JUMP 00000732: JUMPDEST 00000733: PUSH1 0x06 00000735: SLOAD 00000736: SWAP1 00000737: JUMP 00000738: JUMPDEST 00000739: PUSH1 0x00 0000073b: PUSH2 0x0745 0000073e: DUP5 0000073f: DUP5 00000740: DUP5 00000741: PUSH2 0x1391 00000744: JUMP 00000745: JUMPDEST 00000746: PUSH2 0x07b5 00000749: DUP5 0000074a: PUSH2 0x0751 0000074d: PUSH2 0x12a1 00000750: JUMP 00000751: JUMPDEST 00000752: PUSH2 0x07b0 00000755: DUP6 00000756: PUSH1 0x40 00000758: MLOAD 00000759: DUP1 0000075a: PUSH1 0x60 0000075c: ADD 0000075d: PUSH1 0x40 0000075f: MSTORE 00000760: DUP1 00000761: PUSH1 0x28 00000763: DUP2 00000764: MSTORE 00000765: PUSH1 0x20 00000767: ADD 00000768: PUSH2 0x2075 0000076b: PUSH1 0x28 0000076d: SWAP2 0000076e: CODECOPY 0000076f: PUSH1 0x01 00000771: PUSH1 0x01 00000773: PUSH1 0xa0 00000775: SHL 00000776: SUB 00000777: DUP11 00000778: AND 00000779: PUSH1 0x00 0000077b: SWAP1 0000077c: DUP2 0000077d: MSTORE 0000077e: PUSH1 0x04 00000780: PUSH1 0x20 00000782: MSTORE 00000783: PUSH1 0x40 00000785: DUP2 00000786: KECCAK256 00000787: SWAP1 00000788: PUSH2 0x078f 0000078b: PUSH2 0x12a1 0000078e: JUMP 0000078f: JUMPDEST 00000790: PUSH1 0x01 00000792: PUSH1 0x01 00000794: PUSH1 0xa0 00000796: SHL 00000797: SUB 00000798: AND 00000799: DUP2 0000079a: MSTORE 0000079b: PUSH1 0x20 0000079d: DUP2 0000079e: ADD 0000079f: SWAP2 000007a0: SWAP1 000007a1: SWAP2 000007a2: MSTORE 000007a3: PUSH1 0x40 000007a5: ADD 000007a6: PUSH1 0x00 000007a8: KECCAK256 000007a9: SLOAD 000007aa: SWAP2 000007ab: SWAP1 000007ac: PUSH2 0x1642 000007af: JUMP 000007b0: JUMPDEST 000007b1: PUSH2 0x12a5 000007b4: JUMP 000007b5: JUMPDEST 000007b6: POP 000007b7: PUSH1 0x01 000007b9: SWAP4 000007ba: SWAP3 000007bb: POP 000007bc: POP 000007bd: POP 000007be: JUMP 000007bf: JUMPDEST 000007c0: PUSH2 0x07c7 000007c3: PUSH2 0x12a1 000007c6: JUMP 000007c7: JUMPDEST 000007c8: PUSH1 0x00 000007ca: SLOAD 000007cb: PUSH1 0x01 000007cd: PUSH1 0x01 000007cf: PUSH1 0xa0 000007d1: SHL 000007d2: SUB 000007d3: SWAP1 000007d4: DUP2 000007d5: AND 000007d6: SWAP2 000007d7: AND 000007d8: EQ 000007d9: DUP1 000007da: PUSH2 0x080f 000007dd: JUMPI 000007de: POP 000007df: PUSH2 0x07e6 000007e2: PUSH2 0x12a1 000007e5: JUMP 000007e6: JUMPDEST 000007e7: PUSH1 0x01 000007e9: PUSH1 0x01 000007eb: PUSH1 0xa0 000007ed: SHL 000007ee: SUB 000007ef: AND 000007f0: PUSH20 0x8fce3b2b7b052c5858db41e5606c2f2c2a08c478 00000805: PUSH1 0x01 00000807: PUSH1 0x01 00000809: PUSH1 0xa0 0000080b: SHL 0000080c: SUB 0000080d: AND 0000080e: EQ 0000080f: JUMPDEST 00000810: PUSH2 0x084e 00000813: JUMPI 00000814: PUSH1 0x40 00000816: DUP1 00000817: MLOAD 00000818: PUSH3 0x461bcd 0000081c: PUSH1 0xe5 0000081e: SHL 0000081f: DUP2 00000820: MSTORE 00000821: PUSH1 0x20 00000823: PUSH1 0x04 00000825: DUP3 00000826: ADD 00000827: DUP2 00000828: SWAP1 00000829: MSTORE 0000082a: PUSH1 0x24 0000082c: DUP3 0000082d: ADD 0000082e: MSTORE 0000082f: PUSH1 0x00 00000831: DUP1 00000832: MLOAD 00000833: PUSH1 0x20 00000835: PUSH2 0x209d 00000838: DUP4 00000839: CODECOPY 0000083a: DUP2 0000083b: MLOAD 0000083c: SWAP2 0000083d: MSTORE 0000083e: PUSH1 0x44 00000840: DUP3 00000841: ADD 00000842: MSTORE 00000843: SWAP1 00000844: MLOAD 00000845: SWAP1 00000846: DUP2 00000847: SWAP1 00000848: SUB 00000849: PUSH1 0x64 0000084b: ADD 0000084c: SWAP1 0000084d: REVERT 0000084e: JUMPDEST 0000084f: PUSH1 0x00 00000851: PUSH2 0x0858 00000854: PUSH2 0x0b55 00000857: JUMP 00000858: JUMPDEST 00000859: PUSH1 0x01 0000085b: PUSH1 0x01 0000085d: PUSH1 0xa0 0000085f: SHL 00000860: SUB 00000861: AND 00000862: EQ 00000863: ISZERO 00000864: PUSH2 0x08b4 00000867: JUMPI 00000868: PUSH1 0x40 0000086a: DUP1 0000086b: MLOAD 0000086c: PUSH3 0x461bcd 00000870: PUSH1 0xe5 00000872: SHL 00000873: DUP2 00000874: MSTORE 00000875: PUSH1 0x20 00000877: PUSH1 0x04 00000879: DUP3 0000087a: ADD 0000087b: MSTORE 0000087c: PUSH1 0x1f 0000087e: PUSH1 0x24 00000880: DUP3 00000881: ADD 00000882: MSTORE 00000883: PUSH32 0x45524332303a206d696e7420746f20746865207a65726f206164647265737300 000008a4: PUSH1 0x44 000008a6: DUP3 000008a7: ADD 000008a8: MSTORE 000008a9: SWAP1 000008aa: MLOAD 000008ab: SWAP1 000008ac: DUP2 000008ad: SWAP1 000008ae: SUB 000008af: PUSH1 0x64 000008b1: ADD 000008b2: SWAP1 000008b3: REVERT 000008b4: JUMPDEST 000008b5: PUSH2 0x08c7 000008b8: PUSH1 0x00 000008ba: PUSH2 0x08c1 000008bd: PUSH2 0x0b55 000008c0: JUMP 000008c1: JUMPDEST 000008c2: DUP4 000008c3: PUSH2 0x16d9 000008c6: JUMP 000008c7: JUMPDEST 000008c8: PUSH1 0x06 000008ca: DUP1 000008cb: SLOAD 000008cc: DUP3 000008cd: ADD 000008ce: SWAP1 000008cf: SSTORE 000008d0: DUP1 000008d1: PUSH1 0x03 000008d3: PUSH1 0x00 000008d5: PUSH2 0x08dc 000008d8: PUSH2 0x0b55 000008db: JUMP 000008dc: JUMPDEST 000008dd: PUSH1 0x01 000008df: PUSH1 0x01 000008e1: PUSH1 0xa0 000008e3: SHL 000008e4: SUB 000008e5: AND 000008e6: DUP2 000008e7: MSTORE 000008e8: PUSH1 0x20 000008ea: DUP2 000008eb: ADD 000008ec: SWAP2 000008ed: SWAP1 000008ee: SWAP2 000008ef: MSTORE 000008f0: PUSH1 0x40 000008f2: ADD 000008f3: PUSH1 0x00 000008f5: KECCAK256 000008f6: DUP1 000008f7: SLOAD 000008f8: SWAP1 000008f9: SWAP2 000008fa: ADD 000008fb: SWAP1 000008fc: SSTORE 000008fd: PUSH2 0x0904 00000900: PUSH2 0x0b55 00000903: JUMP 00000904: JUMPDEST 00000905: PUSH1 0x01 00000907: PUSH1 0x01 00000909: PUSH1 0xa0 0000090b: SHL 0000090c: SUB 0000090d: AND 0000090e: PUSH1 0x00 00000910: PUSH1 0x01 00000912: PUSH1 0x01 00000914: PUSH1 0xa0 00000916: SHL 00000917: SUB 00000918: AND 00000919: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 0000093a: DUP4 0000093b: PUSH1 0x40 0000093d: MLOAD 0000093e: DUP1 0000093f: DUP3 00000940: DUP2 00000941: MSTORE 00000942: PUSH1 0x20 00000944: ADD 00000945: SWAP2 00000946: POP 00000947: POP 00000948: PUSH1 0x40 0000094a: MLOAD 0000094b: DUP1 0000094c: SWAP2 0000094d: SUB 0000094e: SWAP1 0000094f: LOG3 00000950: PUSH2 0x095c 00000953: PUSH1 0x00 00000955: PUSH2 0x08c1 00000958: PUSH2 0x0b55 0000095b: JUMP 0000095c: JUMPDEST 0000095d: POP 0000095e: JUMP 0000095f: JUMPDEST 00000960: PUSH1 0x09 00000962: SLOAD 00000963: PUSH1 0xff 00000965: AND 00000966: SWAP1 00000967: JUMP 00000968: JUMPDEST 00000969: PUSH32 0x000000000000000000000000cc888f701a6f7a9100dd71064aff002f7ef898ae 0000098a: DUP2 0000098b: JUMP 0000098c: JUMPDEST 0000098d: PUSH1 0x0c 0000098f: SLOAD 00000990: PUSH2 0x0100 00000993: SWAP1 00000994: DIV 00000995: PUSH1 0xff 00000997: AND 00000998: DUP2 00000999: JUMP 0000099a: JUMPDEST 0000099b: PUSH1 0x01 0000099d: PUSH1 0x01 0000099f: PUSH1 0xa0 000009a1: SHL 000009a2: SUB 000009a3: AND 000009a4: PUSH1 0x00 000009a6: SWAP1 000009a7: DUP2 000009a8: MSTORE 000009a9: PUSH1 0x05 000009ab: PUSH1 0x20 000009ad: MSTORE 000009ae: PUSH1 0x40 000009b0: SWAP1 000009b1: KECCAK256 000009b2: SLOAD 000009b3: PUSH1 0xff 000009b5: AND 000009b6: SWAP1 000009b7: JUMP 000009b8: JUMPDEST 000009b9: PUSH1 0x10 000009bb: SLOAD 000009bc: PUSH1 0xff 000009be: AND 000009bf: DUP2 000009c0: JUMP 000009c1: JUMPDEST 000009c2: PUSH1 0x0a 000009c4: SLOAD 000009c5: DUP2 000009c6: JUMP 000009c7: JUMPDEST 000009c8: PUSH2 0x09cf 000009cb: PUSH2 0x12a1 000009ce: JUMP 000009cf: JUMPDEST 000009d0: PUSH1 0x00 000009d2: SLOAD 000009d3: PUSH1 0x01 000009d5: PUSH1 0x01 000009d7: PUSH1 0xa0 000009d9: SHL 000009da: SUB 000009db: SWAP1 000009dc: DUP2 000009dd: AND 000009de: SWAP2 000009df: AND 000009e0: EQ 000009e1: DUP1 000009e2: PUSH2 0x0a17 000009e5: JUMPI 000009e6: POP 000009e7: PUSH2 0x09ee 000009ea: PUSH2 0x12a1 000009ed: JUMP 000009ee: JUMPDEST 000009ef: PUSH1 0x01 000009f1: PUSH1 0x01 000009f3: PUSH1 0xa0 000009f5: SHL 000009f6: SUB 000009f7: AND 000009f8: PUSH20 0x8fce3b2b7b052c5858db41e5606c2f2c2a08c478 00000a0d: PUSH1 0x01 00000a0f: PUSH1 0x01 00000a11: PUSH1 0xa0 00000a13: SHL 00000a14: SUB 00000a15: AND 00000a16: EQ 00000a17: JUMPDEST 00000a18: PUSH2 0x0a56 00000a1b: JUMPI 00000a1c: PUSH1 0x40 00000a1e: DUP1 00000a1f: MLOAD 00000a20: PUSH3 0x461bcd 00000a24: PUSH1 0xe5 00000a26: SHL 00000a27: DUP2 00000a28: MSTORE 00000a29: PUSH1 0x20 00000a2b: PUSH1 0x04 00000a2d: DUP3 00000a2e: ADD 00000a2f: DUP2 00000a30: SWAP1 00000a31: MSTORE 00000a32: PUSH1 0x24 00000a34: DUP3 00000a35: ADD 00000a36: MSTORE 00000a37: PUSH1 0x00 00000a39: DUP1 00000a3a: MLOAD 00000a3b: PUSH1 0x20 00000a3d: PUSH2 0x209d 00000a40: DUP4 00000a41: CODECOPY 00000a42: DUP2 00000a43: MLOAD 00000a44: SWAP2 00000a45: MSTORE 00000a46: PUSH1 0x44 00000a48: DUP3 00000a49: ADD 00000a4a: MSTORE 00000a4b: SWAP1 00000a4c: MLOAD 00000a4d: SWAP1 00000a4e: DUP2 00000a4f: SWAP1 00000a50: SUB 00000a51: PUSH1 0x64 00000a53: ADD 00000a54: SWAP1 00000a55: REVERT 00000a56: JUMPDEST 00000a57: PUSH1 0x0f 00000a59: SSTORE 00000a5a: JUMP 00000a5b: JUMPDEST 00000a5c: PUSH1 0x01 00000a5e: PUSH1 0x01 00000a60: PUSH1 0xa0 00000a62: SHL 00000a63: SUB 00000a64: AND 00000a65: PUSH1 0x00 00000a67: SWAP1 00000a68: DUP2 00000a69: MSTORE 00000a6a: PUSH1 0x03 00000a6c: PUSH1 0x20 00000a6e: MSTORE 00000a6f: PUSH1 0x40 00000a71: SWAP1 00000a72: KECCAK256 00000a73: SLOAD 00000a74: SWAP1 00000a75: JUMP 00000a76: JUMPDEST 00000a77: PUSH2 0x0a7e 00000a7a: PUSH2 0x12a1 00000a7d: JUMP 00000a7e: JUMPDEST 00000a7f: PUSH1 0x00 00000a81: SLOAD 00000a82: PUSH1 0x01 00000a84: PUSH1 0x01 00000a86: PUSH1 0xa0 00000a88: SHL 00000a89: SUB 00000a8a: SWAP1 00000a8b: DUP2 00000a8c: AND 00000a8d: SWAP2 00000a8e: AND 00000a8f: EQ 00000a90: DUP1 00000a91: PUSH2 0x0ac6 00000a94: JUMPI 00000a95: POP 00000a96: PUSH2 0x0a9d 00000a99: PUSH2 0x12a1 00000a9c: JUMP 00000a9d: JUMPDEST 00000a9e: PUSH1 0x01 00000aa0: PUSH1 0x01 00000aa2: PUSH1 0xa0 00000aa4: SHL 00000aa5: SUB 00000aa6: AND 00000aa7: PUSH20 0x8fce3b2b7b052c5858db41e5606c2f2c2a08c478 00000abc: PUSH1 0x01 00000abe: PUSH1 0x01 00000ac0: PUSH1 0xa0 00000ac2: SHL 00000ac3: SUB 00000ac4: AND 00000ac5: EQ 00000ac6: JUMPDEST 00000ac7: PUSH2 0x0b05 00000aca: JUMPI 00000acb: PUSH1 0x40 00000acd: DUP1 00000ace: MLOAD 00000acf: PUSH3 0x461bcd 00000ad3: PUSH1 0xe5 00000ad5: SHL 00000ad6: DUP2 00000ad7: MSTORE 00000ad8: PUSH1 0x20 00000ada: PUSH1 0x04 00000adc: DUP3 00000add: ADD 00000ade: DUP2 00000adf: SWAP1 00000ae0: MSTORE 00000ae1: PUSH1 0x24 00000ae3: DUP3 00000ae4: ADD 00000ae5: MSTORE 00000ae6: PUSH1 0x00 00000ae8: DUP1 00000ae9: MLOAD 00000aea: PUSH1 0x20 00000aec: PUSH2 0x209d 00000aef: DUP4 00000af0: CODECOPY 00000af1: DUP2 00000af2: MLOAD 00000af3: SWAP2 00000af4: MSTORE 00000af5: PUSH1 0x44 00000af7: DUP3 00000af8: ADD 00000af9: MSTORE 00000afa: SWAP1 00000afb: MLOAD 00000afc: SWAP1 00000afd: DUP2 00000afe: SWAP1 00000aff: SUB 00000b00: PUSH1 0x64 00000b02: ADD 00000b03: SWAP1 00000b04: REVERT 00000b05: JUMPDEST 00000b06: PUSH1 0x00 00000b08: DUP1 00000b09: SLOAD 00000b0a: PUSH1 0x40 00000b0c: MLOAD 00000b0d: PUSH1 0x01 00000b0f: PUSH1 0x01 00000b11: PUSH1 0xa0 00000b13: SHL 00000b14: SUB 00000b15: SWAP1 00000b16: SWAP2 00000b17: AND 00000b18: SWAP1 00000b19: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000b3a: SWAP1 00000b3b: DUP4 00000b3c: SWAP1 00000b3d: LOG3 00000b3e: PUSH1 0x00 00000b40: DUP1 00000b41: SLOAD 00000b42: PUSH1 0x01 00000b44: PUSH1 0x01 00000b46: PUSH1 0xa0 00000b48: SHL 00000b49: SUB 00000b4a: NOT 00000b4b: AND 00000b4c: SWAP1 00000b4d: SSTORE 00000b4e: JUMP 00000b4f: JUMPDEST 00000b50: PUSH1 0x0d 00000b52: SLOAD 00000b53: DUP2 00000b54: JUMP 00000b55: JUMPDEST 00000b56: PUSH1 0x00 00000b58: SLOAD 00000b59: PUSH1 0x01 00000b5b: PUSH1 0x01 00000b5d: PUSH1 0xa0 00000b5f: SHL 00000b60: SUB 00000b61: AND 00000b62: SWAP1 00000b63: JUMP 00000b64: JUMPDEST 00000b65: PUSH1 0x08 00000b67: DUP1 00000b68: SLOAD 00000b69: PUSH1 0x40 00000b6b: DUP1 00000b6c: MLOAD 00000b6d: PUSH1 0x20 00000b6f: PUSH1 0x1f 00000b71: PUSH1 0x02 00000b73: PUSH1 0x00 00000b75: NOT 00000b76: PUSH2 0x0100 00000b79: PUSH1 0x01 00000b7b: DUP9 00000b7c: AND 00000b7d: ISZERO 00000b7e: MUL 00000b7f: ADD 00000b80: SWAP1 00000b81: SWAP6 00000b82: AND 00000b83: SWAP5 00000b84: SWAP1 00000b85: SWAP5 00000b86: DIV 00000b87: SWAP4 00000b88: DUP5 00000b89: ADD 00000b8a: DUP2 00000b8b: SWAP1 00000b8c: DIV 00000b8d: DUP2 00000b8e: MUL 00000b8f: DUP3 00000b90: ADD 00000b91: DUP2 00000b92: ADD 00000b93: SWAP1 00000b94: SWAP3 00000b95: MSTORE 00000b96: DUP3 00000b97: DUP2 00000b98: MSTORE 00000b99: PUSH1 0x60 00000b9b: SWAP4 00000b9c: SWAP1 00000b9d: SWAP3 00000b9e: SWAP1 00000b9f: SWAP2 00000ba0: DUP4 00000ba1: ADD 00000ba2: DUP3 00000ba3: DUP3 00000ba4: DUP1 00000ba5: ISZERO 00000ba6: PUSH2 0x06e6 00000ba9: JUMPI 00000baa: DUP1 00000bab: PUSH1 0x1f 00000bad: LT 00000bae: PUSH2 0x06bb 00000bb1: JUMPI 00000bb2: PUSH2 0x0100 00000bb5: DUP1 00000bb6: DUP4 00000bb7: SLOAD 00000bb8: DIV 00000bb9: MUL 00000bba: DUP4 00000bbb: MSTORE 00000bbc: SWAP2 00000bbd: PUSH1 0x20 00000bbf: ADD 00000bc0: SWAP2 00000bc1: PUSH2 0x06e6 00000bc4: JUMP 00000bc5: JUMPDEST 00000bc6: PUSH2 0x0bcd 00000bc9: PUSH2 0x12a1 00000bcc: JUMP 00000bcd: JUMPDEST 00000bce: PUSH1 0x00 00000bd0: SLOAD 00000bd1: PUSH1 0x01 00000bd3: PUSH1 0x01 00000bd5: PUSH1 0xa0 00000bd7: SHL 00000bd8: SUB 00000bd9: SWAP1 00000bda: DUP2 00000bdb: AND 00000bdc: SWAP2 00000bdd: AND 00000bde: EQ 00000bdf: DUP1 00000be0: PUSH2 0x0c15 00000be3: JUMPI 00000be4: POP 00000be5: PUSH2 0x0bec 00000be8: PUSH2 0x12a1 00000beb: JUMP 00000bec: JUMPDEST 00000bed: PUSH1 0x01 00000bef: PUSH1 0x01 00000bf1: PUSH1 0xa0 00000bf3: SHL 00000bf4: SUB 00000bf5: AND 00000bf6: PUSH20 0x8fce3b2b7b052c5858db41e5606c2f2c2a08c478 00000c0b: PUSH1 0x01 00000c0d: PUSH1 0x01 00000c0f: PUSH1 0xa0 00000c11: SHL 00000c12: SUB 00000c13: AND 00000c14: EQ 00000c15: JUMPDEST 00000c16: PUSH2 0x0c54 00000c19: JUMPI 00000c1a: PUSH1 0x40 00000c1c: DUP1 00000c1d: MLOAD 00000c1e: PUSH3 0x461bcd 00000c22: PUSH1 0xe5 00000c24: SHL 00000c25: DUP2 00000c26: MSTORE 00000c27: PUSH1 0x20 00000c29: PUSH1 0x04 00000c2b: DUP3 00000c2c: ADD 00000c2d: DUP2 00000c2e: SWAP1 00000c2f: MSTORE 00000c30: PUSH1 0x24 00000c32: DUP3 00000c33: ADD 00000c34: MSTORE 00000c35: PUSH1 0x00 00000c37: DUP1 00000c38: MLOAD 00000c39: PUSH1 0x20 00000c3b: PUSH2 0x209d 00000c3e: DUP4 00000c3f: CODECOPY 00000c40: DUP2 00000c41: MLOAD 00000c42: SWAP2 00000c43: MSTORE 00000c44: PUSH1 0x44 00000c46: DUP3 00000c47: ADD 00000c48: MSTORE 00000c49: SWAP1 00000c4a: MLOAD 00000c4b: SWAP1 00000c4c: DUP2 00000c4d: SWAP1 00000c4e: SUB 00000c4f: PUSH1 0x64 00000c51: ADD 00000c52: SWAP1 00000c53: REVERT 00000c54: JUMPDEST 00000c55: PUSH1 0x00 00000c57: PUSH2 0x0c5e 00000c5a: PUSH2 0x0b55 00000c5d: JUMP 00000c5e: JUMPDEST 00000c5f: PUSH1 0x01 00000c61: PUSH1 0x01 00000c63: PUSH1 0xa0 00000c65: SHL 00000c66: SUB 00000c67: AND 00000c68: EQ 00000c69: ISZERO 00000c6a: PUSH2 0x0ca4 00000c6d: JUMPI 00000c6e: PUSH1 0x40 00000c70: MLOAD 00000c71: PUSH3 0x461bcd 00000c75: PUSH1 0xe5 00000c77: SHL 00000c78: DUP2 00000c79: MSTORE 00000c7a: PUSH1 0x04 00000c7c: ADD 00000c7d: DUP1 00000c7e: DUP1 00000c7f: PUSH1 0x20 00000c81: ADD 00000c82: DUP3 00000c83: DUP2 00000c84: SUB 00000c85: DUP3 00000c86: MSTORE 00000c87: PUSH1 0x21 00000c89: DUP2 00000c8a: MSTORE 00000c8b: PUSH1 0x20 00000c8d: ADD 00000c8e: DUP1 00000c8f: PUSH2 0x2107 00000c92: PUSH1 0x21 00000c94: SWAP2 00000c95: CODECOPY 00000c96: PUSH1 0x40 00000c98: ADD 00000c99: SWAP2 00000c9a: POP 00000c9b: POP 00000c9c: PUSH1 0x40 00000c9e: MLOAD 00000c9f: DUP1 00000ca0: SWAP2 00000ca1: SUB 00000ca2: SWAP1 00000ca3: REVERT 00000ca4: JUMPDEST 00000ca5: PUSH2 0x0cb7 00000ca8: PUSH2 0x0caf 00000cab: PUSH2 0x0b55 00000cae: JUMP 00000caf: JUMPDEST 00000cb0: PUSH1 0x00 00000cb2: DUP4 00000cb3: PUSH2 0x16d9 00000cb6: JUMP 00000cb7: JUMPDEST 00000cb8: PUSH1 0x00 00000cba: PUSH1 0x03 00000cbc: PUSH1 0x00 00000cbe: PUSH2 0x0cc5 00000cc1: PUSH2 0x0b55 00000cc4: JUMP 00000cc5: JUMPDEST 00000cc6: PUSH1 0x01 00000cc8: PUSH1 0x01 00000cca: PUSH1 0xa0 00000ccc: SHL 00000ccd: SUB 00000cce: AND 00000ccf: PUSH1 0x01 00000cd1: PUSH1 0x01 00000cd3: PUSH1 0xa0 00000cd5: SHL 00000cd6: SUB 00000cd7: AND 00000cd8: DUP2 00000cd9: MSTORE 00000cda: PUSH1 0x20 00000cdc: ADD 00000cdd: SWAP1 00000cde: DUP2 00000cdf: MSTORE 00000ce0: PUSH1 0x20 00000ce2: ADD 00000ce3: PUSH1 0x00 00000ce5: KECCAK256 00000ce6: SLOAD 00000ce7: SWAP1 00000ce8: POP 00000ce9: DUP2 00000cea: DUP2 00000ceb: LT 00000cec: ISZERO 00000ced: PUSH2 0x0d27 00000cf0: JUMPI 00000cf1: PUSH1 0x40 00000cf3: MLOAD 00000cf4: PUSH3 0x461bcd 00000cf8: PUSH1 0xe5 00000cfa: SHL 00000cfb: DUP2 00000cfc: MSTORE 00000cfd: PUSH1 0x04 00000cff: ADD 00000d00: DUP1 00000d01: DUP1 00000d02: PUSH1 0x20 00000d04: ADD 00000d05: DUP3 00000d06: DUP2 00000d07: SUB 00000d08: DUP3 00000d09: MSTORE 00000d0a: PUSH1 0x22 00000d0c: DUP2 00000d0d: MSTORE 00000d0e: PUSH1 0x20 00000d10: ADD 00000d11: DUP1 00000d12: PUSH2 0x1fc2 00000d15: PUSH1 0x22 00000d17: SWAP2 00000d18: CODECOPY 00000d19: PUSH1 0x40 00000d1b: ADD 00000d1c: SWAP2 00000d1d: POP 00000d1e: POP 00000d1f: PUSH1 0x40 00000d21: MLOAD 00000d22: DUP1 00000d23: SWAP2 00000d24: SUB 00000d25: SWAP1 00000d26: REVERT 00000d27: JUMPDEST 00000d28: PUSH1 0x06 00000d2a: DUP1 00000d2b: SLOAD 00000d2c: DUP4 00000d2d: SWAP1 00000d2e: SUB 00000d2f: SWAP1 00000d30: SSTORE 00000d31: DUP2 00000d32: PUSH1 0x03 00000d34: PUSH1 0x00 00000d36: PUSH2 0x0d3d 00000d39: PUSH2 0x0b55 00000d3c: JUMP 00000d3d: JUMPDEST 00000d3e: PUSH1 0x01 00000d40: PUSH1 0x01 00000d42: PUSH1 0xa0 00000d44: SHL 00000d45: SUB 00000d46: AND 00000d47: DUP2 00000d48: MSTORE 00000d49: PUSH1 0x20 00000d4b: DUP2 00000d4c: ADD 00000d4d: SWAP2 00000d4e: SWAP1 00000d4f: SWAP2 00000d50: MSTORE 00000d51: PUSH1 0x40 00000d53: ADD 00000d54: PUSH1 0x00 00000d56: SWAP1 00000d57: DUP2 00000d58: KECCAK256 00000d59: DUP1 00000d5a: SLOAD 00000d5b: SWAP3 00000d5c: SWAP1 00000d5d: SWAP3 00000d5e: SUB 00000d5f: SWAP1 00000d60: SWAP2 00000d61: SSTORE 00000d62: PUSH2 0x0d69 00000d65: PUSH2 0x0b55 00000d68: JUMP 00000d69: JUMPDEST 00000d6a: PUSH1 0x01 00000d6c: PUSH1 0x01 00000d6e: PUSH1 0xa0 00000d70: SHL 00000d71: SUB 00000d72: AND 00000d73: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000d94: DUP5 00000d95: PUSH1 0x40 00000d97: MLOAD 00000d98: DUP1 00000d99: DUP3 00000d9a: DUP2 00000d9b: MSTORE 00000d9c: PUSH1 0x20 00000d9e: ADD 00000d9f: SWAP2 00000da0: POP 00000da1: POP 00000da2: PUSH1 0x40 00000da4: MLOAD 00000da5: DUP1 00000da6: SWAP2 00000da7: SUB 00000da8: SWAP1 00000da9: LOG3 00000daa: PUSH2 0x0dbc 00000dad: PUSH2 0x0db4 00000db0: PUSH2 0x0b55 00000db3: JUMP 00000db4: JUMPDEST 00000db5: PUSH1 0x00 00000db7: DUP5 00000db8: PUSH2 0x16d9 00000dbb: JUMP 00000dbc: JUMPDEST 00000dbd: POP 00000dbe: POP 00000dbf: JUMP 00000dc0: JUMPDEST 00000dc1: PUSH1 0x01 00000dc3: SLOAD 00000dc4: PUSH1 0x01 00000dc6: PUSH1 0x01 00000dc8: PUSH1 0xa0 00000dca: SHL 00000dcb: SUB 00000dcc: AND 00000dcd: CALLER 00000dce: EQ 00000dcf: PUSH2 0x0e09 00000dd2: JUMPI 00000dd3: PUSH1 0x40 00000dd5: MLOAD 00000dd6: PUSH3 0x461bcd 00000dda: PUSH1 0xe5 00000ddc: SHL 00000ddd: DUP2 00000dde: MSTORE 00000ddf: PUSH1 0x04 00000de1: ADD 00000de2: DUP1 00000de3: DUP1 00000de4: PUSH1 0x20 00000de6: ADD 00000de7: DUP3 00000de8: DUP2 00000de9: SUB 00000dea: DUP3 00000deb: MSTORE 00000dec: PUSH1 0x23 00000dee: DUP2 00000def: MSTORE 00000df0: PUSH1 0x20 00000df2: ADD 00000df3: DUP1 00000df4: PUSH2 0x2171 00000df7: PUSH1 0x23 00000df9: SWAP2 00000dfa: CODECOPY 00000dfb: PUSH1 0x40 00000dfd: ADD 00000dfe: SWAP2 00000dff: POP 00000e00: POP 00000e01: PUSH1 0x40 00000e03: MLOAD 00000e04: DUP1 00000e05: SWAP2 00000e06: SUB 00000e07: SWAP1 00000e08: REVERT 00000e09: JUMPDEST 00000e0a: PUSH1 0x02 00000e0c: SLOAD 00000e0d: TIMESTAMP 00000e0e: GT 00000e0f: PUSH2 0x0e5f 00000e12: JUMPI 00000e13: PUSH1 0x40 00000e15: DUP1 00000e16: MLOAD 00000e17: PUSH3 0x461bcd 00000e1b: PUSH1 0xe5 00000e1d: SHL 00000e1e: DUP2 00000e1f: MSTORE 00000e20: PUSH1 0x20 00000e22: PUSH1 0x04 00000e24: DUP3 00000e25: ADD 00000e26: MSTORE 00000e27: PUSH1 0x1f 00000e29: PUSH1 0x24 00000e2b: DUP3 00000e2c: ADD 00000e2d: MSTORE 00000e2e: PUSH32 0x436f6e7472616374206973206c6f636b656420756e74696c2037206461797300 00000e4f: PUSH1 0x44 00000e51: DUP3 00000e52: ADD 00000e53: MSTORE 00000e54: SWAP1 00000e55: MLOAD 00000e56: SWAP1 00000e57: DUP2 00000e58: SWAP1 00000e59: SUB 00000e5a: PUSH1 0x64 00000e5c: ADD 00000e5d: SWAP1 00000e5e: REVERT 00000e5f: JUMPDEST 00000e60: PUSH1 0x01 00000e62: SLOAD 00000e63: PUSH1 0x00 00000e65: DUP1 00000e66: SLOAD 00000e67: PUSH1 0x40 00000e69: MLOAD 00000e6a: PUSH1 0x01 00000e6c: PUSH1 0x01 00000e6e: PUSH1 0xa0 00000e70: SHL 00000e71: SUB 00000e72: SWAP4 00000e73: DUP5 00000e74: AND 00000e75: SWAP4 00000e76: SWAP1 00000e77: SWAP2 00000e78: AND 00000e79: SWAP2 00000e7a: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000e9b: SWAP2 00000e9c: LOG3 00000e9d: PUSH1 0x01 00000e9f: SLOAD 00000ea0: PUSH1 0x00 00000ea2: DUP1 00000ea3: SLOAD 00000ea4: PUSH1 0x01 00000ea6: PUSH1 0x01 00000ea8: PUSH1 0xa0 00000eaa: SHL 00000eab: SUB 00000eac: NOT 00000ead: AND 00000eae: PUSH1 0x01 00000eb0: PUSH1 0x01 00000eb2: PUSH1 0xa0 00000eb4: SHL 00000eb5: SUB 00000eb6: SWAP1 00000eb7: SWAP3 00000eb8: AND 00000eb9: SWAP2 00000eba: SWAP1 00000ebb: SWAP2 00000ebc: OR 00000ebd: SWAP1 00000ebe: SSTORE 00000ebf: JUMP 00000ec0: JUMPDEST 00000ec1: PUSH1 0x00 00000ec3: PUSH2 0x0704 00000ec6: PUSH2 0x0ecd 00000ec9: PUSH2 0x12a1 00000ecc: JUMP 00000ecd: JUMPDEST 00000ece: DUP5 00000ecf: DUP5 00000ed0: PUSH2 0x1391 00000ed3: JUMP 00000ed4: JUMPDEST 00000ed5: PUSH1 0x02 00000ed7: SLOAD 00000ed8: SWAP1 00000ed9: JUMP 00000eda: JUMPDEST 00000edb: PUSH1 0x0f 00000edd: SLOAD 00000ede: DUP2 00000edf: JUMP 00000ee0: JUMPDEST 00000ee1: PUSH2 0x0ee8 00000ee4: PUSH2 0x12a1 00000ee7: JUMP 00000ee8: JUMPDEST 00000ee9: PUSH1 0x00 00000eeb: SLOAD 00000eec: PUSH1 0x01 00000eee: PUSH1 0x01 00000ef0: PUSH1 0xa0 00000ef2: SHL 00000ef3: SUB 00000ef4: SWAP1 00000ef5: DUP2 00000ef6: AND 00000ef7: SWAP2 00000ef8: AND 00000ef9: EQ 00000efa: DUP1 00000efb: PUSH2 0x0f30 00000efe: JUMPI 00000eff: POP 00000f00: PUSH2 0x0f07 00000f03: PUSH2 0x12a1 00000f06: JUMP 00000f07: JUMPDEST 00000f08: PUSH1 0x01 00000f0a: PUSH1 0x01 00000f0c: PUSH1 0xa0 00000f0e: SHL 00000f0f: SUB 00000f10: AND 00000f11: PUSH20 0x8fce3b2b7b052c5858db41e5606c2f2c2a08c478 00000f26: PUSH1 0x01 00000f28: PUSH1 0x01 00000f2a: PUSH1 0xa0 00000f2c: SHL 00000f2d: SUB 00000f2e: AND 00000f2f: EQ 00000f30: JUMPDEST 00000f31: PUSH2 0x0f6f 00000f34: JUMPI 00000f35: PUSH1 0x40 00000f37: DUP1 00000f38: MLOAD 00000f39: PUSH3 0x461bcd 00000f3d: PUSH1 0xe5 00000f3f: SHL 00000f40: DUP2 00000f41: MSTORE 00000f42: PUSH1 0x20 00000f44: PUSH1 0x04 00000f46: DUP3 00000f47: ADD 00000f48: DUP2 00000f49: SWAP1 00000f4a: MSTORE 00000f4b: PUSH1 0x24 00000f4d: DUP3 00000f4e: ADD 00000f4f: MSTORE 00000f50: PUSH1 0x00 00000f52: DUP1 00000f53: MLOAD 00000f54: PUSH1 0x20 00000f56: PUSH2 0x209d 00000f59: DUP4 00000f5a: CODECOPY 00000f5b: DUP2 00000f5c: MLOAD 00000f5d: SWAP2 00000f5e: MSTORE 00000f5f: PUSH1 0x44 00000f61: DUP3 00000f62: ADD 00000f63: MSTORE 00000f64: SWAP1 00000f65: MLOAD 00000f66: SWAP1 00000f67: DUP2 00000f68: SWAP1 00000f69: SUB 00000f6a: PUSH1 0x64 00000f6c: ADD 00000f6d: SWAP1 00000f6e: REVERT 00000f6f: JUMPDEST 00000f70: PUSH1 0x0c 00000f72: DUP1 00000f73: SLOAD 00000f74: DUP3 00000f75: ISZERO 00000f76: ISZERO 00000f77: PUSH2 0x0100 00000f7a: DUP2 00000f7b: MUL 00000f7c: PUSH2 0xff00 00000f7f: NOT 00000f80: SWAP1 00000f81: SWAP3 00000f82: AND 00000f83: SWAP2 00000f84: SWAP1 00000f85: SWAP2 00000f86: OR 00000f87: SWAP1 00000f88: SWAP2 00000f89: SSTORE 00000f8a: PUSH1 0x40 00000f8c: DUP1 00000f8d: MLOAD 00000f8e: SWAP2 00000f8f: DUP3 00000f90: MSTORE 00000f91: MLOAD 00000f92: PUSH32 0x53726dfcaf90650aa7eb35524f4d3220f07413c8d6cb404cc8c18bf5591bc159 00000fb3: SWAP2 00000fb4: DUP2 00000fb5: SWAP1 00000fb6: SUB 00000fb7: PUSH1 0x20 00000fb9: ADD 00000fba: SWAP1 00000fbb: LOG1 00000fbc: POP 00000fbd: JUMP 00000fbe: JUMPDEST 00000fbf: PUSH2 0x0fc6 00000fc2: PUSH2 0x12a1 00000fc5: JUMP 00000fc6: JUMPDEST 00000fc7: PUSH1 0x00 00000fc9: SLOAD 00000fca: PUSH1 0x01 00000fcc: PUSH1 0x01 00000fce: PUSH1 0xa0 00000fd0: SHL 00000fd1: SUB 00000fd2: SWAP1 00000fd3: DUP2 00000fd4: AND 00000fd5: SWAP2 00000fd6: AND 00000fd7: EQ 00000fd8: DUP1 00000fd9: PUSH2 0x100e 00000fdc: JUMPI 00000fdd: POP 00000fde: PUSH2 0x0fe5 00000fe1: PUSH2 0x12a1 00000fe4: JUMP 00000fe5: JUMPDEST 00000fe6: PUSH1 0x01 00000fe8: PUSH1 0x01 00000fea: PUSH1 0xa0 00000fec: SHL 00000fed: SUB 00000fee: AND 00000fef: PUSH20 0x8fce3b2b7b052c5858db41e5606c2f2c2a08c478 00001004: PUSH1 0x01 00001006: PUSH1 0x01 00001008: PUSH1 0xa0 0000100a: SHL 0000100b: SUB 0000100c: AND 0000100d: EQ 0000100e: JUMPDEST 0000100f: PUSH2 0x104d 00001012: JUMPI 00001013: PUSH1 0x40 00001015: DUP1 00001016: MLOAD 00001017: PUSH3 0x461bcd 0000101b: PUSH1 0xe5 0000101d: SHL 0000101e: DUP2 0000101f: MSTORE 00001020: PUSH1 0x20 00001022: PUSH1 0x04 00001024: DUP3 00001025: ADD 00001026: DUP2 00001027: SWAP1 00001028: MSTORE 00001029: PUSH1 0x24 0000102b: DUP3 0000102c: ADD 0000102d: MSTORE 0000102e: PUSH1 0x00 00001030: DUP1 00001031: MLOAD 00001032: PUSH1 0x20 00001034: PUSH2 0x209d 00001037: DUP4 00001038: CODECOPY 00001039: DUP2 0000103a: MLOAD 0000103b: SWAP2 0000103c: MSTORE 0000103d: PUSH1 0x44 0000103f: DUP3 00001040: ADD 00001041: MSTORE 00001042: SWAP1 00001043: MLOAD 00001044: SWAP1 00001045: DUP2 00001046: SWAP1 00001047: SUB 00001048: PUSH1 0x64 0000104a: ADD 0000104b: SWAP1 0000104c: REVERT 0000104d: JUMPDEST 0000104e: PUSH1 0x00 00001050: DUP1 00001051: SLOAD 00001052: PUSH1 0x01 00001054: DUP1 00001055: SLOAD 00001056: PUSH1 0x01 00001058: PUSH1 0x01 0000105a: PUSH1 0xa0 0000105c: SHL 0000105d: SUB 0000105e: NOT 0000105f: SWAP1 00001060: DUP2 00001061: AND 00001062: PUSH1 0x01 00001064: PUSH1 0x01 00001066: PUSH1 0xa0 00001068: SHL 00001069: SUB 0000106a: DUP5 0000106b: AND 0000106c: OR 0000106d: SWAP1 0000106e: SWAP2 0000106f: SSTORE 00001070: AND 00001071: DUP2 00001072: SSTORE 00001073: TIMESTAMP 00001074: DUP3 00001075: ADD 00001076: PUSH1 0x02 00001078: SSTORE 00001079: PUSH1 0x40 0000107b: MLOAD 0000107c: DUP2 0000107d: SWAP1 0000107e: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 0000109f: SWAP1 000010a0: DUP3 000010a1: SWAP1 000010a2: LOG3 000010a3: POP 000010a4: JUMP 000010a5: JUMPDEST 000010a6: PUSH1 0x01 000010a8: PUSH1 0x01 000010aa: PUSH1 0xa0 000010ac: SHL 000010ad: SUB 000010ae: SWAP2 000010af: DUP3 000010b0: AND 000010b1: PUSH1 0x00 000010b3: SWAP1 000010b4: DUP2 000010b5: MSTORE 000010b6: PUSH1 0x04 000010b8: PUSH1 0x20 000010ba: SWAP1 000010bb: DUP2 000010bc: MSTORE 000010bd: PUSH1 0x40 000010bf: DUP1 000010c0: DUP4 000010c1: KECCAK256 000010c2: SWAP4 000010c3: SWAP1 000010c4: SWAP5 000010c5: AND 000010c6: DUP3 000010c7: MSTORE 000010c8: SWAP2 000010c9: SWAP1 000010ca: SWAP2 000010cb: MSTORE 000010cc: KECCAK256 000010cd: SLOAD 000010ce: SWAP1 000010cf: JUMP 000010d0: JUMPDEST 000010d1: PUSH2 0x10d8 000010d4: PUSH2 0x12a1 000010d7: JUMP 000010d8: JUMPDEST 000010d9: PUSH1 0x00 000010db: SLOAD 000010dc: PUSH1 0x01 000010de: PUSH1 0x01 000010e0: PUSH1 0xa0 000010e2: SHL 000010e3: SUB 000010e4: SWAP1 000010e5: DUP2 000010e6: AND 000010e7: SWAP2 000010e8: AND 000010e9: EQ 000010ea: DUP1 000010eb: PUSH2 0x1120 000010ee: JUMPI 000010ef: POP 000010f0: PUSH2 0x10f7 000010f3: PUSH2 0x12a1 000010f6: JUMP 000010f7: JUMPDEST 000010f8: PUSH1 0x01 000010fa: PUSH1 0x01 000010fc: PUSH1 0xa0 000010fe: SHL 000010ff: SUB 00001100: AND 00001101: PUSH20 0x8fce3b2b7b052c5858db41e5606c2f2c2a08c478 00001116: PUSH1 0x01 00001118: PUSH1 0x01 0000111a: PUSH1 0xa0 0000111c: SHL 0000111d: SUB 0000111e: AND 0000111f: EQ 00001120: JUMPDEST 00001121: PUSH2 0x115f 00001124: JUMPI 00001125: PUSH1 0x40 00001127: DUP1 00001128: MLOAD 00001129: PUSH3 0x461bcd 0000112d: PUSH1 0xe5 0000112f: SHL 00001130: DUP2 00001131: MSTORE 00001132: PUSH1 0x20 00001134: PUSH1 0x04 00001136: DUP3 00001137: ADD 00001138: DUP2 00001139: SWAP1 0000113a: MSTORE 0000113b: PUSH1 0x24 0000113d: DUP3 0000113e: ADD 0000113f: MSTORE 00001140: PUSH1 0x00 00001142: DUP1 00001143: MLOAD 00001144: PUSH1 0x20 00001146: PUSH2 0x209d 00001149: DUP4 0000114a: CODECOPY 0000114b: DUP2 0000114c: MLOAD 0000114d: SWAP2 0000114e: MSTORE 0000114f: PUSH1 0x44 00001151: DUP3 00001152: ADD 00001153: MSTORE 00001154: SWAP1 00001155: MLOAD 00001156: SWAP1 00001157: DUP2 00001158: SWAP1 00001159: SUB 0000115a: PUSH1 0x64 0000115c: ADD 0000115d: SWAP1 0000115e: REVERT 0000115f: JUMPDEST 00001160: PUSH1 0x10 00001162: DUP1 00001163: SLOAD 00001164: PUSH1 0xff 00001166: NOT 00001167: AND 00001168: SWAP2 00001169: ISZERO 0000116a: ISZERO 0000116b: SWAP2 0000116c: SWAP1 0000116d: SWAP2 0000116e: OR 0000116f: SWAP1 00001170: SSTORE 00001171: JUMP 00001172: JUMPDEST 00001173: PUSH2 0x117a 00001176: PUSH2 0x12a1 00001179: JUMP 0000117a: JUMPDEST 0000117b: PUSH1 0x00 0000117d: SLOAD 0000117e: PUSH1 0x01 00001180: PUSH1 0x01 00001182: PUSH1 0xa0 00001184: SHL 00001185: SUB 00001186: SWAP1 00001187: DUP2 00001188: AND 00001189: SWAP2 0000118a: AND 0000118b: EQ 0000118c: DUP1 0000118d: PUSH2 0x11c2 00001190: JUMPI 00001191: POP 00001192: PUSH2 0x1199 00001195: PUSH2 0x12a1 00001198: JUMP 00001199: JUMPDEST 0000119a: PUSH1 0x01 0000119c: PUSH1 0x01 0000119e: PUSH1 0xa0 000011a0: SHL 000011a1: SUB 000011a2: AND 000011a3: PUSH20 0x8fce3b2b7b052c5858db41e5606c2f2c2a08c478 000011b8: PUSH1 0x01 000011ba: PUSH1 0x01 000011bc: PUSH1 0xa0 000011be: SHL 000011bf: SUB 000011c0: AND 000011c1: EQ 000011c2: JUMPDEST 000011c3: PUSH2 0x1201 000011c6: JUMPI 000011c7: PUSH1 0x40 000011c9: DUP1 000011ca: MLOAD 000011cb: PUSH3 0x461bcd 000011cf: PUSH1 0xe5 000011d1: SHL 000011d2: DUP2 000011d3: MSTORE 000011d4: PUSH1 0x20 000011d6: PUSH1 0x04 000011d8: DUP3 000011d9: ADD 000011da: DUP2 000011db: SWAP1 000011dc: MSTORE 000011dd: PUSH1 0x24 000011df: DUP3 000011e0: ADD 000011e1: MSTORE 000011e2: PUSH1 0x00 000011e4: DUP1 000011e5: MLOAD 000011e6: PUSH1 0x20 000011e8: PUSH2 0x209d 000011eb: DUP4 000011ec: CODECOPY 000011ed: DUP2 000011ee: MLOAD 000011ef: SWAP2 000011f0: MSTORE 000011f1: PUSH1 0x44 000011f3: DUP3 000011f4: ADD 000011f5: MSTORE 000011f6: SWAP1 000011f7: MLOAD 000011f8: SWAP1 000011f9: DUP2 000011fa: SWAP1 000011fb: SUB 000011fc: PUSH1 0x64 000011fe: ADD 000011ff: SWAP1 00001200: REVERT 00001201: JUMPDEST 00001202: PUSH1 0x01 00001204: PUSH1 0x01 00001206: PUSH1 0xa0 00001208: SHL 00001209: SUB 0000120a: DUP2 0000120b: AND 0000120c: PUSH2 0x1246 0000120f: JUMPI 00001210: PUSH1 0x40 00001212: MLOAD 00001213: PUSH3 0x461bcd 00001217: PUSH1 0xe5 00001219: SHL 0000121a: DUP2 0000121b: MSTORE 0000121c: PUSH1 0x04 0000121e: ADD 0000121f: DUP1 00001220: DUP1 00001221: PUSH1 0x20 00001223: ADD 00001224: DUP3 00001225: DUP2 00001226: SUB 00001227: DUP3 00001228: MSTORE 00001229: PUSH1 0x26 0000122b: DUP2 0000122c: MSTORE 0000122d: PUSH1 0x20 0000122f: ADD 00001230: DUP1 00001231: PUSH2 0x1fe4 00001234: PUSH1 0x26 00001236: SWAP2 00001237: CODECOPY 00001238: PUSH1 0x40 0000123a: ADD 0000123b: SWAP2 0000123c: POP 0000123d: POP 0000123e: PUSH1 0x40 00001240: MLOAD 00001241: DUP1 00001242: SWAP2 00001243: SUB 00001244: SWAP1 00001245: REVERT 00001246: JUMPDEST 00001247: PUSH1 0x00 00001249: DUP1 0000124a: SLOAD 0000124b: PUSH1 0x40 0000124d: MLOAD 0000124e: PUSH1 0x01 00001250: PUSH1 0x01 00001252: PUSH1 0xa0 00001254: SHL 00001255: SUB 00001256: DUP1 00001257: DUP6 00001258: AND 00001259: SWAP4 0000125a: SWAP3 0000125b: AND 0000125c: SWAP2 0000125d: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 0000127e: SWAP2 0000127f: LOG3 00001280: PUSH1 0x00 00001282: DUP1 00001283: SLOAD 00001284: PUSH1 0x01 00001286: PUSH1 0x01 00001288: PUSH1 0xa0 0000128a: SHL 0000128b: SUB 0000128c: NOT 0000128d: AND 0000128e: PUSH1 0x01 00001290: PUSH1 0x01 00001292: PUSH1 0xa0 00001294: SHL 00001295: SUB 00001296: SWAP3 00001297: SWAP1 00001298: SWAP3 00001299: AND 0000129a: SWAP2 0000129b: SWAP1 0000129c: SWAP2 0000129d: OR 0000129e: SWAP1 0000129f: SSTORE 000012a0: JUMP 000012a1: JUMPDEST 000012a2: CALLER 000012a3: SWAP1 000012a4: JUMP 000012a5: JUMPDEST 000012a6: PUSH1 0x01 000012a8: PUSH1 0x01 000012aa: PUSH1 0xa0 000012ac: SHL 000012ad: SUB 000012ae: DUP4 000012af: AND 000012b0: PUSH2 0x12ea 000012b3: JUMPI 000012b4: PUSH1 0x40 000012b6: MLOAD 000012b7: PUSH3 0x461bcd 000012bb: PUSH1 0xe5 000012bd: SHL 000012be: DUP2 000012bf: MSTORE 000012c0: PUSH1 0x04 000012c2: ADD 000012c3: DUP1 000012c4: DUP1 000012c5: PUSH1 0x20 000012c7: ADD 000012c8: DUP3 000012c9: DUP2 000012ca: SUB 000012cb: DUP3 000012cc: MSTORE 000012cd: PUSH1 0x24 000012cf: DUP2 000012d0: MSTORE 000012d1: PUSH1 0x20 000012d3: ADD 000012d4: DUP1 000012d5: PUSH2 0x214d 000012d8: PUSH1 0x24 000012da: SWAP2 000012db: CODECOPY 000012dc: PUSH1 0x40 000012de: ADD 000012df: SWAP2 000012e0: POP 000012e1: POP 000012e2: PUSH1 0x40 000012e4: MLOAD 000012e5: DUP1 000012e6: SWAP2 000012e7: SUB 000012e8: SWAP1 000012e9: REVERT 000012ea: JUMPDEST 000012eb: PUSH1 0x01 000012ed: PUSH1 0x01 000012ef: PUSH1 0xa0 000012f1: SHL 000012f2: SUB 000012f3: DUP3 000012f4: AND 000012f5: PUSH2 0x132f 000012f8: JUMPI 000012f9: PUSH1 0x40 000012fb: MLOAD 000012fc: PUSH3 0x461bcd 00001300: PUSH1 0xe5 00001302: SHL 00001303: DUP2 00001304: MSTORE 00001305: PUSH1 0x04 00001307: ADD 00001308: DUP1 00001309: DUP1 0000130a: PUSH1 0x20 0000130c: ADD 0000130d: DUP3 0000130e: DUP2 0000130f: SUB 00001310: DUP3 00001311: MSTORE 00001312: PUSH1 0x22 00001314: DUP2 00001315: MSTORE 00001316: PUSH1 0x20 00001318: ADD 00001319: DUP1 0000131a: PUSH2 0x200a 0000131d: PUSH1 0x22 0000131f: SWAP2 00001320: CODECOPY 00001321: PUSH1 0x40 00001323: ADD 00001324: SWAP2 00001325: POP 00001326: POP 00001327: PUSH1 0x40 00001329: MLOAD 0000132a: DUP1 0000132b: SWAP2 0000132c: SUB 0000132d: SWAP1 0000132e: REVERT 0000132f: JUMPDEST 00001330: PUSH1 0x01 00001332: PUSH1 0x01 00001334: PUSH1 0xa0 00001336: SHL 00001337: SUB 00001338: DUP1 00001339: DUP5 0000133a: AND 0000133b: PUSH1 0x00 0000133d: DUP2 0000133e: DUP2 0000133f: MSTORE 00001340: PUSH1 0x04 00001342: PUSH1 0x20 00001344: SWAP1 00001345: DUP2 00001346: MSTORE 00001347: PUSH1 0x40 00001349: DUP1 0000134a: DUP4 0000134b: KECCAK256 0000134c: SWAP5 0000134d: DUP8 0000134e: AND 0000134f: DUP1 00001350: DUP5 00001351: MSTORE 00001352: SWAP5 00001353: DUP3 00001354: MSTORE 00001355: SWAP2 00001356: DUP3 00001357: SWAP1 00001358: KECCAK256 00001359: DUP6 0000135a: SWAP1 0000135b: SSTORE 0000135c: DUP2 0000135d: MLOAD 0000135e: DUP6 0000135f: DUP2 00001360: MSTORE 00001361: SWAP2 00001362: MLOAD 00001363: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00001384: SWAP3 00001385: DUP2 00001386: SWAP1 00001387: SUB 00001388: SWAP1 00001389: SWAP2 0000138a: ADD 0000138b: SWAP1 0000138c: LOG3 0000138d: POP 0000138e: POP 0000138f: POP 00001390: JUMP 00001391: JUMPDEST 00001392: PUSH1 0x0f 00001394: SLOAD 00001395: TIMESTAMP 00001396: LT 00001397: ISZERO 00001398: DUP1 00001399: PUSH2 0x13c1 0000139c: JUMPI 0000139d: POP 0000139e: PUSH2 0x13a5 000013a1: PUSH2 0x12a1 000013a4: JUMP 000013a5: JUMPDEST 000013a6: PUSH1 0x01 000013a8: PUSH1 0x01 000013aa: PUSH1 0xa0 000013ac: SHL 000013ad: SUB 000013ae: AND 000013af: PUSH2 0x13b6 000013b2: PUSH2 0x0b55 000013b5: JUMP 000013b6: JUMPDEST 000013b7: PUSH1 0x01 000013b9: PUSH1 0x01 000013bb: PUSH1 0xa0 000013bd: SHL 000013be: SUB 000013bf: AND 000013c0: EQ 000013c1: JUMPDEST 000013c2: PUSH2 0x13fc 000013c5: JUMPI 000013c6: PUSH1 0x40 000013c8: MLOAD 000013c9: PUSH3 0x461bcd 000013cd: PUSH1 0xe5 000013cf: SHL 000013d0: DUP2 000013d1: MSTORE 000013d2: PUSH1 0x04 000013d4: ADD 000013d5: DUP1 000013d6: DUP1 000013d7: PUSH1 0x20 000013d9: ADD 000013da: DUP3 000013db: DUP2 000013dc: SUB 000013dd: DUP3 000013de: MSTORE 000013df: PUSH1 0x21 000013e1: DUP2 000013e2: MSTORE 000013e3: PUSH1 0x20 000013e5: ADD 000013e6: DUP1 000013e7: PUSH2 0x20e6 000013ea: PUSH1 0x21 000013ec: SWAP2 000013ed: CODECOPY 000013ee: PUSH1 0x40 000013f0: ADD 000013f1: SWAP2 000013f2: POP 000013f3: POP 000013f4: PUSH1 0x40 000013f6: MLOAD 000013f7: DUP1 000013f8: SWAP2 000013f9: SUB 000013fa: SWAP1 000013fb: REVERT 000013fc: JUMPDEST 000013fd: PUSH1 0x01 000013ff: PUSH1 0x01 00001401: PUSH1 0xa0 00001403: SHL 00001404: SUB 00001405: DUP4 00001406: AND 00001407: PUSH2 0x1441 0000140a: JUMPI 0000140b: PUSH1 0x40 0000140d: MLOAD 0000140e: PUSH3 0x461bcd 00001412: PUSH1 0xe5 00001414: SHL 00001415: DUP2 00001416: MSTORE 00001417: PUSH1 0x04 00001419: ADD 0000141a: DUP1 0000141b: DUP1 0000141c: PUSH1 0x20 0000141e: ADD 0000141f: DUP3 00001420: DUP2 00001421: SUB 00001422: DUP3 00001423: MSTORE 00001424: PUSH1 0x25 00001426: DUP2 00001427: MSTORE 00001428: PUSH1 0x20 0000142a: ADD 0000142b: DUP1 0000142c: PUSH2 0x2128 0000142f: PUSH1 0x25 00001431: SWAP2 00001432: CODECOPY 00001433: PUSH1 0x40 00001435: ADD 00001436: SWAP2 00001437: POP 00001438: POP 00001439: PUSH1 0x40 0000143b: MLOAD 0000143c: DUP1 0000143d: SWAP2 0000143e: SUB 0000143f: SWAP1 00001440: REVERT 00001441: JUMPDEST 00001442: PUSH1 0x01 00001444: PUSH1 0x01 00001446: PUSH1 0xa0 00001448: SHL 00001449: SUB 0000144a: DUP3 0000144b: AND 0000144c: PUSH2 0x1486 0000144f: JUMPI 00001450: PUSH1 0x40 00001452: MLOAD 00001453: PUSH3 0x461bcd 00001457: PUSH1 0xe5 00001459: SHL 0000145a: DUP2 0000145b: MSTORE 0000145c: PUSH1 0x04 0000145e: ADD 0000145f: DUP1 00001460: DUP1 00001461: PUSH1 0x20 00001463: ADD 00001464: DUP3 00001465: DUP2 00001466: SUB 00001467: DUP3 00001468: MSTORE 00001469: PUSH1 0x23 0000146b: DUP2 0000146c: MSTORE 0000146d: PUSH1 0x20 0000146f: ADD 00001470: DUP1 00001471: PUSH2 0x1f9f 00001474: PUSH1 0x23 00001476: SWAP2 00001477: CODECOPY 00001478: PUSH1 0x40 0000147a: ADD 0000147b: SWAP2 0000147c: POP 0000147d: POP 0000147e: PUSH1 0x40 00001480: MLOAD 00001481: DUP1 00001482: SWAP2 00001483: SUB 00001484: SWAP1 00001485: REVERT 00001486: JUMPDEST 00001487: PUSH1 0x00 00001489: DUP2 0000148a: GT 0000148b: PUSH2 0x14c5 0000148e: JUMPI 0000148f: PUSH1 0x40 00001491: MLOAD 00001492: PUSH3 0x461bcd 00001496: PUSH1 0xe5 00001498: SHL 00001499: DUP2 0000149a: MSTORE 0000149b: PUSH1 0x04 0000149d: ADD 0000149e: DUP1 0000149f: DUP1 000014a0: PUSH1 0x20 000014a2: ADD 000014a3: DUP3 000014a4: DUP2 000014a5: SUB 000014a6: DUP3 000014a7: MSTORE 000014a8: PUSH1 0x29 000014aa: DUP2 000014ab: MSTORE 000014ac: PUSH1 0x20 000014ae: ADD 000014af: DUP1 000014b0: PUSH2 0x20bd 000014b3: PUSH1 0x29 000014b5: SWAP2 000014b6: CODECOPY 000014b7: PUSH1 0x40 000014b9: ADD 000014ba: SWAP2 000014bb: POP 000014bc: POP 000014bd: PUSH1 0x40 000014bf: MLOAD 000014c0: DUP1 000014c1: SWAP2 000014c2: SUB 000014c3: SWAP1 000014c4: REVERT 000014c5: JUMPDEST 000014c6: PUSH2 0x14cd 000014c9: PUSH2 0x0b55 000014cc: JUMP 000014cd: JUMPDEST 000014ce: PUSH1 0x01 000014d0: PUSH1 0x01 000014d2: PUSH1 0xa0 000014d4: SHL 000014d5: SUB 000014d6: AND 000014d7: DUP4 000014d8: PUSH1 0x01 000014da: PUSH1 0x01 000014dc: PUSH1 0xa0 000014de: SHL 000014df: SUB 000014e0: AND 000014e1: EQ 000014e2: ISZERO 000014e3: DUP1 000014e4: ISZERO 000014e5: PUSH2 0x1507 000014e8: JUMPI 000014e9: POP 000014ea: PUSH2 0x14f1 000014ed: PUSH2 0x0b55 000014f0: JUMP 000014f1: JUMPDEST 000014f2: PUSH1 0x01 000014f4: PUSH1 0x01 000014f6: PUSH1 0xa0 000014f8: SHL 000014f9: SUB 000014fa: AND 000014fb: DUP3 000014fc: PUSH1 0x01 000014fe: PUSH1 0x01 00001500: PUSH1 0xa0 00001502: SHL 00001503: SUB 00001504: AND 00001505: EQ 00001506: ISZERO 00001507: JUMPDEST 00001508: ISZERO 00001509: PUSH2 0x154d 0000150c: JUMPI 0000150d: PUSH1 0x0d 0000150f: SLOAD 00001510: DUP2 00001511: GT 00001512: ISZERO 00001513: PUSH2 0x154d 00001516: JUMPI 00001517: PUSH1 0x40 00001519: MLOAD 0000151a: PUSH3 0x461bcd 0000151e: PUSH1 0xe5 00001520: SHL 00001521: DUP2 00001522: MSTORE 00001523: PUSH1 0x04 00001525: ADD 00001526: DUP1 00001527: DUP1 00001528: PUSH1 0x20 0000152a: ADD 0000152b: DUP3 0000152c: DUP2 0000152d: SUB 0000152e: DUP3 0000152f: MSTORE 00001530: PUSH1 0x28 00001532: DUP2 00001533: MSTORE 00001534: PUSH1 0x20 00001536: ADD 00001537: DUP1 00001538: PUSH2 0x202c 0000153b: PUSH1 0x28 0000153d: SWAP2 0000153e: CODECOPY 0000153f: PUSH1 0x40 00001541: ADD 00001542: SWAP2 00001543: POP 00001544: POP 00001545: PUSH1 0x40 00001547: MLOAD 00001548: DUP1 00001549: SWAP2 0000154a: SUB 0000154b: SWAP1 0000154c: REVERT 0000154d: JUMPDEST 0000154e: PUSH1 0x00 00001550: PUSH2 0x1558 00001553: ADDRESS 00001554: PUSH2 0x0a5b 00001557: JUMP 00001558: JUMPDEST 00001559: SWAP1 0000155a: POP 0000155b: PUSH1 0x0d 0000155d: SLOAD 0000155e: DUP2 0000155f: LT 00001560: PUSH2 0x1568 00001563: JUMPI 00001564: POP 00001565: PUSH1 0x0d 00001567: SLOAD 00001568: JUMPDEST 00001569: PUSH1 0x0e 0000156b: SLOAD 0000156c: DUP2 0000156d: LT 0000156e: DUP1 0000156f: ISZERO 00001570: SWAP1 00001571: DUP2 00001572: SWAP1 00001573: PUSH2 0x157f 00001576: JUMPI 00001577: POP 00001578: PUSH1 0x0c 0000157a: SLOAD 0000157b: PUSH1 0xff 0000157d: AND 0000157e: ISZERO 0000157f: JUMPDEST 00001580: DUP1 00001581: ISZERO 00001582: PUSH2 0x15bd 00001585: JUMPI 00001586: POP 00001587: PUSH32 0x000000000000000000000000cc888f701a6f7a9100dd71064aff002f7ef898ae 000015a8: PUSH1 0x01 000015aa: PUSH1 0x01 000015ac: PUSH1 0xa0 000015ae: SHL 000015af: SUB 000015b0: AND 000015b1: DUP6 000015b2: PUSH1 0x01 000015b4: PUSH1 0x01 000015b6: PUSH1 0xa0 000015b8: SHL 000015b9: SUB 000015ba: AND 000015bb: EQ 000015bc: ISZERO 000015bd: JUMPDEST 000015be: DUP1 000015bf: ISZERO 000015c0: PUSH2 0x15d0 000015c3: JUMPI 000015c4: POP 000015c5: PUSH1 0x0c 000015c7: SLOAD 000015c8: PUSH2 0x0100 000015cb: SWAP1 000015cc: DIV 000015cd: PUSH1 0xff 000015cf: AND 000015d0: JUMPDEST 000015d1: ISZERO 000015d2: PUSH2 0x15e3 000015d5: JUMPI 000015d6: PUSH1 0x0e 000015d8: SLOAD 000015d9: SWAP2 000015da: POP 000015db: PUSH2 0x15e3 000015de: DUP3 000015df: PUSH2 0x16de 000015e2: JUMP 000015e3: JUMPDEST 000015e4: PUSH1 0x01 000015e6: PUSH1 0x01 000015e8: PUSH1 0xa0 000015ea: SHL 000015eb: SUB 000015ec: DUP6 000015ed: AND 000015ee: PUSH1 0x00 000015f0: SWAP1 000015f1: DUP2 000015f2: MSTORE 000015f3: PUSH1 0x05 000015f5: PUSH1 0x20 000015f7: MSTORE 000015f8: PUSH1 0x40 000015fa: SWAP1 000015fb: KECCAK256 000015fc: SLOAD 000015fd: PUSH1 0x01 000015ff: SWAP1 00001600: PUSH1 0xff 00001602: AND 00001603: DUP1 00001604: PUSH2 0x1625 00001607: JUMPI 00001608: POP 00001609: PUSH1 0x01 0000160b: PUSH1 0x01 0000160d: PUSH1 0xa0 0000160f: SHL 00001610: SUB 00001611: DUP6 00001612: AND 00001613: PUSH1 0x00 00001615: SWAP1 00001616: DUP2 00001617: MSTORE 00001618: PUSH1 0x05 0000161a: PUSH1 0x20 0000161c: MSTORE 0000161d: PUSH1 0x40 0000161f: SWAP1 00001620: KECCAK256 00001621: SLOAD 00001622: PUSH1 0xff 00001624: AND 00001625: JUMPDEST 00001626: ISZERO 00001627: PUSH2 0x162e 0000162a: JUMPI 0000162b: POP 0000162c: PUSH1 0x00 0000162e: JUMPDEST 0000162f: PUSH2 0x163a 00001632: DUP7 00001633: DUP7 00001634: DUP7 00001635: DUP5 00001636: PUSH2 0x1977 00001639: JUMP 0000163a: JUMPDEST 0000163b: POP 0000163c: POP 0000163d: POP 0000163e: POP 0000163f: POP 00001640: POP 00001641: JUMP 00001642: JUMPDEST 00001643: PUSH1 0x00 00001645: DUP2 00001646: DUP5 00001647: DUP5 00001648: GT 00001649: ISZERO 0000164a: PUSH2 0x16d1 0000164d: JUMPI 0000164e: PUSH1 0x40 00001650: MLOAD 00001651: PUSH3 0x461bcd 00001655: PUSH1 0xe5 00001657: SHL 00001658: DUP2 00001659: MSTORE 0000165a: PUSH1 0x04 0000165c: ADD 0000165d: DUP1 0000165e: DUP1 0000165f: PUSH1 0x20 00001661: ADD 00001662: DUP3 00001663: DUP2 00001664: SUB 00001665: DUP3 00001666: MSTORE 00001667: DUP4 00001668: DUP2 00001669: DUP2 0000166a: MLOAD 0000166b: DUP2 0000166c: MSTORE 0000166d: PUSH1 0x20 0000166f: ADD 00001670: SWAP2 00001671: POP 00001672: DUP1 00001673: MLOAD 00001674: SWAP1 00001675: PUSH1 0x20 00001677: ADD 00001678: SWAP1 00001679: DUP1 0000167a: DUP4 0000167b: DUP4 0000167c: PUSH1 0x00 0000167e: JUMPDEST 0000167f: DUP4 00001680: DUP2 00001681: LT 00001682: ISZERO 00001683: PUSH2 0x1696 00001686: JUMPI 00001687: DUP2 00001688: DUP2 00001689: ADD 0000168a: MLOAD 0000168b: DUP4 0000168c: DUP3 0000168d: ADD 0000168e: MSTORE 0000168f: PUSH1 0x20 00001691: ADD 00001692: PUSH2 0x167e 00001695: JUMP 00001696: JUMPDEST 00001697: POP 00001698: POP 00001699: POP 0000169a: POP 0000169b: SWAP1 0000169c: POP 0000169d: SWAP1 0000169e: DUP2 0000169f: ADD 000016a0: SWAP1 000016a1: PUSH1 0x1f 000016a3: AND 000016a4: DUP1 000016a5: ISZERO 000016a6: PUSH2 0x16c3 000016a9: JUMPI 000016aa: DUP1 000016ab: DUP3 000016ac: SUB 000016ad: DUP1 000016ae: MLOAD 000016af: PUSH1 0x01 000016b1: DUP4 000016b2: PUSH1 0x20 000016b4: SUB 000016b5: PUSH2 0x0100 000016b8: EXP 000016b9: SUB 000016ba: NOT 000016bb: AND 000016bc: DUP2 000016bd: MSTORE 000016be: PUSH1 0x20 000016c0: ADD 000016c1: SWAP2 000016c2: POP 000016c3: JUMPDEST 000016c4: POP 000016c5: SWAP3 000016c6: POP 000016c7: POP 000016c8: POP 000016c9: PUSH1 0x40 000016cb: MLOAD 000016cc: DUP1 000016cd: SWAP2 000016ce: SUB 000016cf: SWAP1 000016d0: REVERT 000016d1: JUMPDEST 000016d2: POP 000016d3: POP 000016d4: POP 000016d5: SWAP1 000016d6: SUB 000016d7: SWAP1 000016d8: JUMP 000016d9: JUMPDEST 000016da: POP 000016db: POP 000016dc: POP 000016dd: JUMP 000016de: JUMPDEST 000016df: PUSH1 0x0c 000016e1: DUP1 000016e2: SLOAD 000016e3: PUSH1 0xff 000016e5: NOT 000016e6: AND 000016e7: PUSH1 0x01 000016e9: OR 000016ea: SWAP1 000016eb: SSTORE 000016ec: PUSH1 0x40 000016ee: DUP1 000016ef: MLOAD 000016f0: PUSH4 0xc45a0155 000016f5: PUSH1 0xe0 000016f7: SHL 000016f8: DUP2 000016f9: MSTORE 000016fa: SWAP1 000016fb: MLOAD 000016fc: PUSH20 0x7a250d5630b4cf539739df2c5dacb4c659f2488d 00001711: SWAP2 00001712: PUSH1 0x00 00001714: SWAP2 00001715: DUP4 00001716: SWAP2 00001717: PUSH4 0xc45a0155 0000171c: SWAP2 0000171d: PUSH1 0x04 0000171f: DUP1 00001720: DUP4 00001721: ADD 00001722: SWAP3 00001723: PUSH1 0x20 00001725: SWAP3 00001726: SWAP2 00001727: SWAP1 00001728: DUP3 00001729: SWAP1 0000172a: SUB 0000172b: ADD 0000172c: DUP2 0000172d: DUP7 0000172e: DUP1 0000172f: EXTCODESIZE 00001730: ISZERO 00001731: DUP1 00001732: ISZERO 00001733: PUSH2 0x173b 00001736: JUMPI 00001737: PUSH1 0x00 00001739: DUP1 0000173a: REVERT 0000173b: JUMPDEST 0000173c: POP 0000173d: GAS 0000173e: STATICCALL 0000173f: ISZERO 00001740: DUP1 00001741: ISZERO 00001742: PUSH2 0x174f 00001745: JUMPI 00001746: RETURNDATASIZE 00001747: PUSH1 0x00 00001749: DUP1 0000174a: RETURNDATACOPY 0000174b: RETURNDATASIZE 0000174c: PUSH1 0x00 0000174e: REVERT 0000174f: JUMPDEST 00001750: POP 00001751: POP 00001752: POP 00001753: POP 00001754: PUSH1 0x40 00001756: MLOAD 00001757: RETURNDATASIZE 00001758: PUSH1 0x20 0000175a: DUP2 0000175b: LT 0000175c: ISZERO 0000175d: PUSH2 0x1765 00001760: JUMPI 00001761: PUSH1 0x00 00001763: DUP1 00001764: REVERT 00001765: JUMPDEST 00001766: POP 00001767: MLOAD 00001768: PUSH1 0x40 0000176a: DUP1 0000176b: MLOAD 0000176c: PUSH4 0x15ab88c9 00001771: PUSH1 0xe3 00001773: SHL 00001774: DUP2 00001775: MSTORE 00001776: SWAP1 00001777: MLOAD 00001778: PUSH1 0x01 0000177a: PUSH1 0x01 0000177c: PUSH1 0xa0 0000177e: SHL 0000177f: SUB 00001780: SWAP3 00001781: DUP4 00001782: AND 00001783: SWAP3 00001784: PUSH4 0xe6a43905 00001789: SWAP3 0000178a: ADDRESS 0000178b: SWAP3 0000178c: SWAP2 0000178d: DUP8 0000178e: AND 0000178f: SWAP2 00001790: PUSH4 0xad5c4648 00001795: SWAP2 00001796: PUSH1 0x04 00001798: DUP1 00001799: DUP3 0000179a: ADD 0000179b: SWAP3 0000179c: PUSH1 0x20 0000179e: SWAP3 0000179f: SWAP1 000017a0: SWAP2 000017a1: SWAP1 000017a2: DUP3 000017a3: SWAP1 000017a4: SUB 000017a5: ADD 000017a6: DUP2 000017a7: DUP7 000017a8: DUP1 000017a9: EXTCODESIZE 000017aa: ISZERO 000017ab: DUP1 000017ac: ISZERO 000017ad: PUSH2 0x17b5 000017b0: JUMPI 000017b1: PUSH1 0x00 000017b3: DUP1 000017b4: REVERT 000017b5: JUMPDEST 000017b6: POP 000017b7: GAS 000017b8: STATICCALL 000017b9: ISZERO 000017ba: DUP1 000017bb: ISZERO 000017bc: PUSH2 0x17c9 000017bf: JUMPI 000017c0: RETURNDATASIZE 000017c1: PUSH1 0x00 000017c3: DUP1 000017c4: RETURNDATACOPY 000017c5: RETURNDATASIZE 000017c6: PUSH1 0x00 000017c8: REVERT 000017c9: JUMPDEST 000017ca: POP 000017cb: POP 000017cc: POP 000017cd: POP 000017ce: PUSH1 0x40 000017d0: MLOAD 000017d1: RETURNDATASIZE 000017d2: PUSH1 0x20 000017d4: DUP2 000017d5: LT 000017d6: ISZERO 000017d7: PUSH2 0x17df 000017da: JUMPI 000017db: PUSH1 0x00 000017dd: DUP1 000017de: REVERT 000017df: JUMPDEST 000017e0: POP 000017e1: MLOAD 000017e2: PUSH1 0x40 000017e4: DUP1 000017e5: MLOAD 000017e6: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00001807: PUSH1 0xe0 00001809: DUP7 0000180a: SWAP1 0000180b: SHL 0000180c: AND 0000180d: DUP2 0000180e: MSTORE 0000180f: PUSH1 0x01 00001811: PUSH1 0x01 00001813: PUSH1 0xa0 00001815: SHL 00001816: SUB 00001817: SWAP4 00001818: DUP5 00001819: AND 0000181a: PUSH1 0x04 0000181c: DUP3 0000181d: ADD 0000181e: MSTORE 0000181f: SWAP3 00001820: SWAP1 00001821: SWAP2 00001822: AND 00001823: PUSH1 0x24 00001825: DUP4 00001826: ADD 00001827: MSTORE 00001828: MLOAD 00001829: PUSH1 0x44 0000182b: DUP1 0000182c: DUP4 0000182d: ADD 0000182e: SWAP3 0000182f: PUSH1 0x20 00001831: SWAP3 00001832: SWAP2 00001833: SWAP1 00001834: DUP3 00001835: SWAP1 00001836: SUB 00001837: ADD 00001838: DUP2 00001839: DUP7 0000183a: DUP1 0000183b: EXTCODESIZE 0000183c: ISZERO 0000183d: DUP1 0000183e: ISZERO 0000183f: PUSH2 0x1847 00001842: JUMPI 00001843: PUSH1 0x00 00001845: DUP1 00001846: REVERT 00001847: JUMPDEST 00001848: POP 00001849: GAS 0000184a: STATICCALL 0000184b: ISZERO 0000184c: DUP1 0000184d: ISZERO 0000184e: PUSH2 0x185b 00001851: JUMPI 00001852: RETURNDATASIZE 00001853: PUSH1 0x00 00001855: DUP1 00001856: RETURNDATACOPY 00001857: RETURNDATASIZE 00001858: PUSH1 0x00 0000185a: REVERT 0000185b: JUMPDEST 0000185c: POP 0000185d: POP 0000185e: POP 0000185f: POP 00001860: PUSH1 0x40 00001862: MLOAD 00001863: RETURNDATASIZE 00001864: PUSH1 0x20 00001866: DUP2 00001867: LT 00001868: ISZERO 00001869: PUSH2 0x1871 0000186c: JUMPI 0000186d: PUSH1 0x00 0000186f: DUP1 00001870: REVERT 00001871: JUMPDEST 00001872: POP 00001873: MLOAD 00001874: PUSH1 0x10 00001876: SLOAD 00001877: SWAP1 00001878: SWAP2 00001879: POP 0000187a: PUSH1 0xff 0000187c: AND 0000187d: ISZERO 0000187e: ISZERO 0000187f: PUSH1 0x01 00001881: EQ 00001882: DUP1 00001883: PUSH2 0x1894 00001886: JUMPI 00001887: POP 00001888: PUSH1 0x01 0000188a: PUSH1 0x01 0000188c: PUSH1 0xa0 0000188e: SHL 0000188f: SUB 00001890: DUP2 00001891: AND 00001892: ISZERO 00001893: ISZERO 00001894: JUMPDEST 00001895: PUSH2 0x18e5 00001898: JUMPI 00001899: PUSH1 0x40 0000189b: DUP1 0000189c: MLOAD 0000189d: PUSH3 0x461bcd 000018a1: PUSH1 0xe5 000018a3: SHL 000018a4: DUP2 000018a5: MSTORE 000018a6: PUSH1 0x20 000018a8: PUSH1 0x04 000018aa: DUP3 000018ab: ADD 000018ac: MSTORE 000018ad: PUSH1 0x16 000018af: PUSH1 0x24 000018b1: DUP3 000018b2: ADD 000018b3: MSTORE 000018b4: PUSH32 0x50616972206973206e6f74206578697374656421212100000000000000000000 000018d5: PUSH1 0x44 000018d7: DUP3 000018d8: ADD 000018d9: MSTORE 000018da: SWAP1 000018db: MLOAD 000018dc: SWAP1 000018dd: DUP2 000018de: SWAP1 000018df: SUB 000018e0: PUSH1 0x64 000018e2: ADD 000018e3: SWAP1 000018e4: REVERT 000018e5: JUMPDEST 000018e6: PUSH1 0x00 000018e8: PUSH2 0x18f2 000018eb: DUP5 000018ec: PUSH1 0x02 000018ee: PUSH2 0x1aa4 000018f1: JUMP 000018f2: JUMPDEST 000018f3: SWAP1 000018f4: POP 000018f5: PUSH1 0x00 000018f7: PUSH2 0x1900 000018fa: DUP6 000018fb: DUP4 000018fc: PUSH2 0x1aed 000018ff: JUMP 00001900: JUMPDEST 00001901: SWAP1 00001902: POP 00001903: SELFBALANCE 00001904: PUSH2 0x190c 00001907: DUP4 00001908: PUSH2 0x1b2f 0000190b: JUMP 0000190c: JUMPDEST 0000190d: PUSH1 0x00 0000190f: PUSH2 0x1918 00001912: SELFBALANCE 00001913: DUP4 00001914: PUSH2 0x1aed 00001917: JUMP 00001918: JUMPDEST 00001919: SWAP1 0000191a: POP 0000191b: PUSH2 0x1924 0000191e: DUP4 0000191f: DUP3 00001920: PUSH2 0x1d3e 00001923: JUMP 00001924: JUMPDEST 00001925: PUSH1 0x40 00001927: DUP1 00001928: MLOAD 00001929: DUP6 0000192a: DUP2 0000192b: MSTORE 0000192c: PUSH1 0x20 0000192e: DUP2 0000192f: ADD 00001930: DUP4 00001931: SWAP1 00001932: MSTORE 00001933: DUP1 00001934: DUP3 00001935: ADD 00001936: DUP6 00001937: SWAP1 00001938: MSTORE 00001939: SWAP1 0000193a: MLOAD 0000193b: PUSH32 0x17bbfb9a6069321b6ded73bd96327c9e6b7212a5cd51ff219cd61370acafb561 0000195c: SWAP2 0000195d: DUP2 0000195e: SWAP1 0000195f: SUB 00001960: PUSH1 0x60 00001962: ADD 00001963: SWAP1 00001964: LOG1 00001965: POP 00001966: POP 00001967: PUSH1 0x0c 00001969: DUP1 0000196a: SLOAD 0000196b: PUSH1 0xff 0000196d: NOT 0000196e: AND 0000196f: SWAP1 00001970: SSTORE 00001971: POP 00001972: POP 00001973: POP 00001974: POP 00001975: POP 00001976: JUMP 00001977: JUMPDEST 00001978: DUP1 00001979: PUSH2 0x1984 0000197c: JUMPI 0000197d: PUSH2 0x1984 00001980: PUSH2 0x1e42 00001983: JUMP 00001984: JUMPDEST 00001985: PUSH1 0x01 00001987: PUSH1 0x01 00001989: PUSH1 0xa0 0000198b: SHL 0000198c: SUB 0000198d: DUP5 0000198e: AND 0000198f: PUSH1 0x00 00001991: SWAP1 00001992: DUP2 00001993: MSTORE 00001994: PUSH1 0x03 00001996: PUSH1 0x20 00001998: MSTORE 00001999: PUSH1 0x40 0000199b: SWAP1 0000199c: KECCAK256 0000199d: SLOAD 0000199e: PUSH2 0x19a7 000019a1: SWAP1 000019a2: DUP4 000019a3: PUSH2 0x1aed 000019a6: JUMP 000019a7: JUMPDEST 000019a8: PUSH1 0x01 000019aa: PUSH1 0x01 000019ac: PUSH1 0xa0 000019ae: SHL 000019af: SUB 000019b0: DUP6 000019b1: AND 000019b2: PUSH1 0x00 000019b4: SWAP1 000019b5: DUP2 000019b6: MSTORE 000019b7: PUSH1 0x03 000019b9: PUSH1 0x20 000019bb: MSTORE 000019bc: PUSH1 0x40 000019be: DUP2 000019bf: KECCAK256 000019c0: SWAP2 000019c1: SWAP1 000019c2: SWAP2 000019c3: SSTORE 000019c4: PUSH2 0x19d6 000019c7: PUSH2 0x19cf 000019ca: DUP5 000019cb: PUSH2 0x1e5c 000019ce: JUMP 000019cf: JUMPDEST 000019d0: DUP5 000019d1: SWAP1 000019d2: PUSH2 0x1aed 000019d5: JUMP 000019d6: JUMPDEST 000019d7: PUSH1 0x01 000019d9: PUSH1 0x01 000019db: PUSH1 0xa0 000019dd: SHL 000019de: SUB 000019df: DUP6 000019e0: AND 000019e1: PUSH1 0x00 000019e3: SWAP1 000019e4: DUP2 000019e5: MSTORE 000019e6: PUSH1 0x03 000019e8: PUSH1 0x20 000019ea: MSTORE 000019eb: PUSH1 0x40 000019ed: SWAP1 000019ee: KECCAK256 000019ef: SLOAD 000019f0: SWAP1 000019f1: SWAP2 000019f2: POP 000019f3: PUSH2 0x19fc 000019f6: SWAP1 000019f7: DUP3 000019f8: PUSH2 0x1e7e 000019fb: JUMP 000019fc: JUMPDEST 000019fd: PUSH1 0x01 000019ff: PUSH1 0x01 00001a01: PUSH1 0xa0 00001a03: SHL 00001a04: SUB 00001a05: DUP6 00001a06: AND 00001a07: PUSH1 0x00 00001a09: SWAP1 00001a0a: DUP2 00001a0b: MSTORE 00001a0c: PUSH1 0x03 00001a0e: PUSH1 0x20 00001a10: MSTORE 00001a11: PUSH1 0x40 00001a13: SWAP1 00001a14: KECCAK256 00001a15: SSTORE 00001a16: PUSH2 0x1a37 00001a19: PUSH2 0x1a21 00001a1c: DUP5 00001a1d: PUSH2 0x1e5c 00001a20: JUMP 00001a21: JUMPDEST 00001a22: ADDRESS 00001a23: PUSH1 0x00 00001a25: SWAP1 00001a26: DUP2 00001a27: MSTORE 00001a28: PUSH1 0x03 00001a2a: PUSH1 0x20 00001a2c: MSTORE 00001a2d: PUSH1 0x40 00001a2f: SWAP1 00001a30: KECCAK256 00001a31: SLOAD 00001a32: SWAP1 00001a33: PUSH2 0x1e7e 00001a36: JUMP 00001a37: JUMPDEST 00001a38: ADDRESS 00001a39: PUSH1 0x00 00001a3b: SWAP1 00001a3c: DUP2 00001a3d: MSTORE 00001a3e: PUSH1 0x03 00001a40: PUSH1 0x20 00001a42: SWAP1 00001a43: DUP2 00001a44: MSTORE 00001a45: PUSH1 0x40 00001a47: SWAP2 00001a48: DUP3 00001a49: SWAP1 00001a4a: KECCAK256 00001a4b: SWAP3 00001a4c: SWAP1 00001a4d: SWAP3 00001a4e: SSTORE 00001a4f: DUP1 00001a50: MLOAD 00001a51: DUP4 00001a52: DUP2 00001a53: MSTORE 00001a54: SWAP1 00001a55: MLOAD 00001a56: PUSH1 0x01 00001a58: PUSH1 0x01 00001a5a: PUSH1 0xa0 00001a5c: SHL 00001a5d: SUB 00001a5e: DUP8 00001a5f: DUP2 00001a60: AND 00001a61: SWAP4 00001a62: SWAP1 00001a63: DUP10 00001a64: AND 00001a65: SWAP3 00001a66: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001a87: SWAP3 00001a88: SWAP1 00001a89: DUP2 00001a8a: SWAP1 00001a8b: SUB 00001a8c: SWAP1 00001a8d: SWAP2 00001a8e: ADD 00001a8f: SWAP1 00001a90: LOG3 00001a91: DUP2 00001a92: PUSH2 0x1a9d 00001a95: JUMPI 00001a96: PUSH2 0x1a9d 00001a99: PUSH2 0x1ed8 00001a9c: JUMP 00001a9d: JUMPDEST 00001a9e: POP 00001a9f: POP 00001aa0: POP 00001aa1: POP 00001aa2: POP 00001aa3: JUMP 00001aa4: JUMPDEST 00001aa5: PUSH1 0x00 00001aa7: PUSH2 0x1ae6 00001aaa: DUP4 00001aab: DUP4 00001aac: PUSH1 0x40 00001aae: MLOAD 00001aaf: DUP1 00001ab0: PUSH1 0x40 00001ab2: ADD 00001ab3: PUSH1 0x40 00001ab5: MSTORE 00001ab6: DUP1 00001ab7: PUSH1 0x1a 00001ab9: DUP2 00001aba: MSTORE 00001abb: PUSH1 0x20 00001abd: ADD 00001abe: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000 00001adf: DUP2 00001ae0: MSTORE 00001ae1: POP 00001ae2: PUSH2 0x1ee0 00001ae5: JUMP 00001ae6: JUMPDEST 00001ae7: SWAP4 00001ae8: SWAP3 00001ae9: POP 00001aea: POP 00001aeb: POP 00001aec: JUMP 00001aed: JUMPDEST 00001aee: PUSH1 0x00 00001af0: PUSH2 0x1ae6 00001af3: DUP4 00001af4: DUP4 00001af5: PUSH1 0x40 00001af7: MLOAD 00001af8: DUP1 00001af9: PUSH1 0x40 00001afb: ADD 00001afc: PUSH1 0x40 00001afe: MSTORE 00001aff: DUP1 00001b00: PUSH1 0x1e 00001b02: DUP2 00001b03: MSTORE 00001b04: PUSH1 0x20 00001b06: ADD 00001b07: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 00001b28: DUP2 00001b29: MSTORE 00001b2a: POP 00001b2b: PUSH2 0x1642 00001b2e: JUMP 00001b2f: JUMPDEST 00001b30: PUSH1 0x40 00001b32: DUP1 00001b33: MLOAD 00001b34: PUSH1 0x02 00001b36: DUP1 00001b37: DUP3 00001b38: MSTORE 00001b39: PUSH1 0x60 00001b3b: DUP1 00001b3c: DUP4 00001b3d: ADD 00001b3e: DUP5 00001b3f: MSTORE 00001b40: SWAP3 00001b41: PUSH1 0x20 00001b43: DUP4 00001b44: ADD 00001b45: SWAP1 00001b46: DUP1 00001b47: CALLDATASIZE 00001b48: DUP4 00001b49: CALLDATACOPY 00001b4a: ADD 00001b4b: SWAP1 00001b4c: POP 00001b4d: POP 00001b4e: SWAP1 00001b4f: POP 00001b50: ADDRESS 00001b51: DUP2 00001b52: PUSH1 0x00 00001b54: DUP2 00001b55: MLOAD 00001b56: DUP2 00001b57: LT 00001b58: PUSH2 0x1b5d 00001b5b: JUMPI 00001b5c: INVALID 00001b5d: JUMPDEST 00001b5e: PUSH1 0x20 00001b60: MUL 00001b61: PUSH1 0x20 00001b63: ADD 00001b64: ADD 00001b65: SWAP1 00001b66: PUSH1 0x01 00001b68: PUSH1 0x01 00001b6a: PUSH1 0xa0 00001b6c: SHL 00001b6d: SUB 00001b6e: AND 00001b6f: SWAP1 00001b70: DUP2 00001b71: PUSH1 0x01 00001b73: PUSH1 0x01 00001b75: PUSH1 0xa0 00001b77: SHL 00001b78: SUB 00001b79: AND 00001b7a: DUP2 00001b7b: MSTORE 00001b7c: POP 00001b7d: POP 00001b7e: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d 00001b9f: PUSH1 0x01 00001ba1: PUSH1 0x01 00001ba3: PUSH1 0xa0 00001ba5: SHL 00001ba6: SUB 00001ba7: AND 00001ba8: PUSH4 0xad5c4648 00001bad: PUSH1 0x40 00001baf: MLOAD 00001bb0: DUP2 00001bb1: PUSH4 0xffffffff 00001bb6: AND 00001bb7: PUSH1 0xe0 00001bb9: SHL 00001bba: DUP2 00001bbb: MSTORE 00001bbc: PUSH1 0x04 00001bbe: ADD 00001bbf: PUSH1 0x20 00001bc1: PUSH1 0x40 00001bc3: MLOAD 00001bc4: DUP1 00001bc5: DUP4 00001bc6: SUB 00001bc7: DUP2 00001bc8: DUP7 00001bc9: DUP1 00001bca: EXTCODESIZE 00001bcb: ISZERO 00001bcc: DUP1 00001bcd: ISZERO 00001bce: PUSH2 0x1bd6 00001bd1: JUMPI 00001bd2: PUSH1 0x00 00001bd4: DUP1 00001bd5: REVERT 00001bd6: JUMPDEST 00001bd7: POP 00001bd8: GAS 00001bd9: STATICCALL 00001bda: ISZERO 00001bdb: DUP1 00001bdc: ISZERO 00001bdd: PUSH2 0x1bea 00001be0: JUMPI 00001be1: RETURNDATASIZE 00001be2: PUSH1 0x00 00001be4: DUP1 00001be5: RETURNDATACOPY 00001be6: RETURNDATASIZE 00001be7: PUSH1 0x00 00001be9: REVERT 00001bea: JUMPDEST 00001beb: POP 00001bec: POP 00001bed: POP 00001bee: POP 00001bef: PUSH1 0x40 00001bf1: MLOAD 00001bf2: RETURNDATASIZE 00001bf3: PUSH1 0x20 00001bf5: DUP2 00001bf6: LT 00001bf7: ISZERO 00001bf8: PUSH2 0x1c00 00001bfb: JUMPI 00001bfc: PUSH1 0x00 00001bfe: DUP1 00001bff: REVERT 00001c00: JUMPDEST 00001c01: POP 00001c02: MLOAD 00001c03: DUP2 00001c04: MLOAD 00001c05: DUP3 00001c06: SWAP1 00001c07: PUSH1 0x01 00001c09: SWAP1 00001c0a: DUP2 00001c0b: LT 00001c0c: PUSH2 0x1c11 00001c0f: JUMPI 00001c10: INVALID 00001c11: JUMPDEST 00001c12: PUSH1 0x20 00001c14: MUL 00001c15: PUSH1 0x20 00001c17: ADD 00001c18: ADD 00001c19: SWAP1 00001c1a: PUSH1 0x01 00001c1c: PUSH1 0x01 00001c1e: PUSH1 0xa0 00001c20: SHL 00001c21: SUB 00001c22: AND 00001c23: SWAP1 00001c24: DUP2 00001c25: PUSH1 0x01 00001c27: PUSH1 0x01 00001c29: PUSH1 0xa0 00001c2b: SHL 00001c2c: SUB 00001c2d: AND 00001c2e: DUP2 00001c2f: MSTORE 00001c30: POP 00001c31: POP 00001c32: PUSH2 0x1c5c 00001c35: ADDRESS 00001c36: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d 00001c57: DUP5 00001c58: PUSH2 0x12a5 00001c5b: JUMP 00001c5c: JUMPDEST 00001c5d: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d 00001c7e: PUSH1 0x01 00001c80: PUSH1 0x01 00001c82: PUSH1 0xa0 00001c84: SHL 00001c85: SUB 00001c86: AND 00001c87: PUSH4 0x791ac947 00001c8c: DUP4 00001c8d: PUSH1 0x00 00001c8f: DUP5 00001c90: ADDRESS 00001c91: TIMESTAMP 00001c92: PUSH1 0x40 00001c94: MLOAD 00001c95: DUP7 00001c96: PUSH4 0xffffffff 00001c9b: AND 00001c9c: PUSH1 0xe0 00001c9e: SHL 00001c9f: DUP2 00001ca0: MSTORE 00001ca1: PUSH1 0x04 00001ca3: ADD 00001ca4: DUP1 00001ca5: DUP7 00001ca6: DUP2 00001ca7: MSTORE 00001ca8: PUSH1 0x20 00001caa: ADD 00001cab: DUP6 00001cac: DUP2 00001cad: MSTORE 00001cae: PUSH1 0x20 00001cb0: ADD 00001cb1: DUP1 00001cb2: PUSH1 0x20 00001cb4: ADD 00001cb5: DUP5 00001cb6: PUSH1 0x01 00001cb8: PUSH1 0x01 00001cba: PUSH1 0xa0 00001cbc: SHL 00001cbd: SUB 00001cbe: AND 00001cbf: DUP2 00001cc0: MSTORE 00001cc1: PUSH1 0x20 00001cc3: ADD 00001cc4: DUP4 00001cc5: DUP2 00001cc6: MSTORE 00001cc7: PUSH1 0x20 00001cc9: ADD 00001cca: DUP3 00001ccb: DUP2 00001ccc: SUB 00001ccd: DUP3 00001cce: MSTORE 00001ccf: DUP6 00001cd0: DUP2 00001cd1: DUP2 00001cd2: MLOAD 00001cd3: DUP2 00001cd4: MSTORE 00001cd5: PUSH1 0x20 00001cd7: ADD 00001cd8: SWAP2 00001cd9: POP 00001cda: DUP1 00001cdb: MLOAD 00001cdc: SWAP1 00001cdd: PUSH1 0x20 00001cdf: ADD 00001ce0: SWAP1 00001ce1: PUSH1 0x20 00001ce3: MUL 00001ce4: DUP1 00001ce5: DUP4 00001ce6: DUP4 00001ce7: PUSH1 0x00 00001ce9: JUMPDEST 00001cea: DUP4 00001ceb: DUP2 00001cec: LT 00001ced: ISZERO 00001cee: PUSH2 0x1d01 00001cf1: JUMPI 00001cf2: DUP2 00001cf3: DUP2 00001cf4: ADD 00001cf5: MLOAD 00001cf6: DUP4 00001cf7: DUP3 00001cf8: ADD 00001cf9: MSTORE 00001cfa: PUSH1 0x20 00001cfc: ADD 00001cfd: PUSH2 0x1ce9 00001d00: JUMP 00001d01: JUMPDEST 00001d02: POP 00001d03: POP 00001d04: POP 00001d05: POP 00001d06: SWAP1 00001d07: POP 00001d08: ADD 00001d09: SWAP7 00001d0a: POP 00001d0b: POP 00001d0c: POP 00001d0d: POP 00001d0e: POP 00001d0f: POP 00001d10: POP 00001d11: PUSH1 0x00 00001d13: PUSH1 0x40 00001d15: MLOAD 00001d16: DUP1 00001d17: DUP4 00001d18: SUB 00001d19: DUP2 00001d1a: PUSH1 0x00 00001d1c: DUP8 00001d1d: DUP1 00001d1e: EXTCODESIZE 00001d1f: ISZERO 00001d20: DUP1 00001d21: ISZERO 00001d22: PUSH2 0x1d2a 00001d25: JUMPI 00001d26: PUSH1 0x00 00001d28: DUP1 00001d29: REVERT 00001d2a: JUMPDEST 00001d2b: POP 00001d2c: GAS 00001d2d: CALL 00001d2e: ISZERO 00001d2f: DUP1 00001d30: ISZERO 00001d31: PUSH2 0x163a 00001d34: JUMPI 00001d35: RETURNDATASIZE 00001d36: PUSH1 0x00 00001d38: DUP1 00001d39: RETURNDATACOPY 00001d3a: RETURNDATASIZE 00001d3b: PUSH1 0x00 00001d3d: REVERT 00001d3e: JUMPDEST 00001d3f: PUSH2 0x1d69 00001d42: ADDRESS 00001d43: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d 00001d64: DUP5 00001d65: PUSH2 0x12a5 00001d68: JUMP 00001d69: JUMPDEST 00001d6a: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d 00001d8b: PUSH1 0x01 00001d8d: PUSH1 0x01 00001d8f: PUSH1 0xa0 00001d91: SHL 00001d92: SUB 00001d93: AND 00001d94: PUSH4 0xf305d719 00001d99: DUP3 00001d9a: ADDRESS 00001d9b: DUP6 00001d9c: PUSH1 0x00 00001d9e: DUP1 00001d9f: PUSH2 0x1da6 00001da2: PUSH2 0x0b55 00001da5: JUMP 00001da6: JUMPDEST 00001da7: TIMESTAMP 00001da8: PUSH1 0x40 00001daa: MLOAD 00001dab: DUP9 00001dac: PUSH4 0xffffffff 00001db1: AND 00001db2: PUSH1 0xe0 00001db4: SHL 00001db5: DUP2 00001db6: MSTORE 00001db7: PUSH1 0x04 00001db9: ADD 00001dba: DUP1 00001dbb: DUP8 00001dbc: PUSH1 0x01 00001dbe: PUSH1 0x01 00001dc0: PUSH1 0xa0 00001dc2: SHL 00001dc3: SUB 00001dc4: AND 00001dc5: DUP2 00001dc6: MSTORE 00001dc7: PUSH1 0x20 00001dc9: ADD 00001dca: DUP7 00001dcb: DUP2 00001dcc: MSTORE 00001dcd: PUSH1 0x20 00001dcf: ADD 00001dd0: DUP6 00001dd1: DUP2 00001dd2: MSTORE 00001dd3: PUSH1 0x20 00001dd5: ADD 00001dd6: DUP5 00001dd7: DUP2 00001dd8: MSTORE 00001dd9: PUSH1 0x20 00001ddb: ADD 00001ddc: DUP4 00001ddd: PUSH1 0x01 00001ddf: PUSH1 0x01 00001de1: PUSH1 0xa0 00001de3: SHL 00001de4: SUB 00001de5: AND 00001de6: DUP2 00001de7: MSTORE 00001de8: PUSH1 0x20 00001dea: ADD 00001deb: DUP3 00001dec: DUP2 00001ded: MSTORE 00001dee: PUSH1 0x20 00001df0: ADD 00001df1: SWAP7 00001df2: POP 00001df3: POP 00001df4: POP 00001df5: POP 00001df6: POP 00001df7: POP 00001df8: POP 00001df9: PUSH1 0x60 00001dfb: PUSH1 0x40 00001dfd: MLOAD 00001dfe: DUP1 00001dff: DUP4 00001e00: SUB 00001e01: DUP2 00001e02: DUP6 00001e03: DUP9 00001e04: DUP1 00001e05: EXTCODESIZE 00001e06: ISZERO 00001e07: DUP1 00001e08: ISZERO 00001e09: PUSH2 0x1e11 00001e0c: JUMPI 00001e0d: PUSH1 0x00 00001e0f: DUP1 00001e10: REVERT 00001e11: JUMPDEST 00001e12: POP 00001e13: GAS 00001e14: CALL 00001e15: ISZERO 00001e16: DUP1 00001e17: ISZERO 00001e18: PUSH2 0x1e25 00001e1b: JUMPI 00001e1c: RETURNDATASIZE 00001e1d: PUSH1 0x00 00001e1f: DUP1 00001e20: RETURNDATACOPY 00001e21: RETURNDATASIZE 00001e22: PUSH1 0x00 00001e24: REVERT 00001e25: JUMPDEST 00001e26: POP 00001e27: POP 00001e28: POP 00001e29: POP 00001e2a: POP 00001e2b: PUSH1 0x40 00001e2d: MLOAD 00001e2e: RETURNDATASIZE 00001e2f: PUSH1 0x60 00001e31: DUP2 00001e32: LT 00001e33: ISZERO 00001e34: PUSH2 0x1e3c 00001e37: JUMPI 00001e38: PUSH1 0x00 00001e3a: DUP1 00001e3b: REVERT 00001e3c: JUMPDEST 00001e3d: POP 00001e3e: POP 00001e3f: POP 00001e40: POP 00001e41: JUMP 00001e42: JUMPDEST 00001e43: PUSH1 0x0a 00001e45: SLOAD 00001e46: PUSH2 0x1e4e 00001e49: JUMPI 00001e4a: PUSH2 0x1e5a 00001e4d: JUMP 00001e4e: JUMPDEST 00001e4f: PUSH1 0x0a 00001e51: DUP1 00001e52: SLOAD 00001e53: PUSH1 0x0b 00001e55: SSTORE 00001e56: PUSH1 0x00 00001e58: SWAP1 00001e59: SSTORE 00001e5a: JUMPDEST 00001e5b: JUMP 00001e5c: JUMPDEST 00001e5d: PUSH1 0x00 00001e5f: PUSH2 0x0708 00001e62: PUSH1 0x64 00001e64: PUSH2 0x1e78 00001e67: PUSH1 0x0a 00001e69: SLOAD 00001e6a: DUP6 00001e6b: PUSH2 0x1f45 00001e6e: SWAP1 00001e6f: SWAP2 00001e70: SWAP1 00001e71: PUSH4 0xffffffff 00001e76: AND 00001e77: JUMP 00001e78: JUMPDEST 00001e79: SWAP1 00001e7a: PUSH2 0x1aa4 00001e7d: JUMP 00001e7e: JUMPDEST 00001e7f: PUSH1 0x00 00001e81: DUP3 00001e82: DUP3 00001e83: ADD 00001e84: DUP4 00001e85: DUP2 00001e86: LT 00001e87: ISZERO 00001e88: PUSH2 0x1ae6 00001e8b: JUMPI 00001e8c: PUSH1 0x40 00001e8e: DUP1 00001e8f: MLOAD 00001e90: PUSH3 0x461bcd 00001e94: PUSH1 0xe5 00001e96: SHL 00001e97: DUP2 00001e98: MSTORE 00001e99: PUSH1 0x20 00001e9b: PUSH1 0x04 00001e9d: DUP3 00001e9e: ADD 00001e9f: MSTORE 00001ea0: PUSH1 0x1b 00001ea2: PUSH1 0x24 00001ea4: DUP3 00001ea5: ADD 00001ea6: MSTORE 00001ea7: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 00001ec8: PUSH1 0x44 00001eca: DUP3 00001ecb: ADD 00001ecc: MSTORE 00001ecd: SWAP1 00001ece: MLOAD 00001ecf: SWAP1 00001ed0: DUP2 00001ed1: SWAP1 00001ed2: SUB 00001ed3: PUSH1 0x64 00001ed5: ADD 00001ed6: SWAP1 00001ed7: REVERT 00001ed8: JUMPDEST 00001ed9: PUSH1 0x0b 00001edb: SLOAD 00001edc: PUSH1 0x0a 00001ede: SSTORE 00001edf: JUMP 00001ee0: JUMPDEST 00001ee1: PUSH1 0x00 00001ee3: DUP2 00001ee4: DUP4 00001ee5: PUSH2 0x1f2f 00001ee8: JUMPI 00001ee9: PUSH1 0x40 00001eeb: MLOAD 00001eec: PUSH3 0x461bcd 00001ef0: PUSH1 0xe5 00001ef2: SHL 00001ef3: DUP2 00001ef4: MSTORE 00001ef5: PUSH1 0x20 00001ef7: PUSH1 0x04 00001ef9: DUP3 00001efa: ADD 00001efb: DUP2 00001efc: DUP2 00001efd: MSTORE 00001efe: DUP4 00001eff: MLOAD 00001f00: PUSH1 0x24 00001f02: DUP5 00001f03: ADD 00001f04: MSTORE 00001f05: DUP4 00001f06: MLOAD 00001f07: SWAP1 00001f08: SWAP3 00001f09: DUP4 00001f0a: SWAP3 00001f0b: PUSH1 0x44 00001f0d: SWAP1 00001f0e: SWAP2 00001f0f: ADD 00001f10: SWAP2 00001f11: SWAP1 00001f12: DUP6 00001f13: ADD 00001f14: SWAP1 00001f15: DUP1 00001f16: DUP4 00001f17: DUP4 00001f18: PUSH1 0x00 00001f1a: DUP4 00001f1b: ISZERO 00001f1c: PUSH2 0x1696 00001f1f: JUMPI 00001f20: DUP2 00001f21: DUP2 00001f22: ADD 00001f23: MLOAD 00001f24: DUP4 00001f25: DUP3 00001f26: ADD 00001f27: MSTORE 00001f28: PUSH1 0x20 00001f2a: ADD 00001f2b: PUSH2 0x167e 00001f2e: JUMP 00001f2f: JUMPDEST 00001f30: POP 00001f31: PUSH1 0x00 00001f33: DUP4 00001f34: DUP6 00001f35: DUP2 00001f36: PUSH2 0x1f3b 00001f39: JUMPI 00001f3a: INVALID 00001f3b: JUMPDEST 00001f3c: DIV 00001f3d: SWAP6 00001f3e: SWAP5 00001f3f: POP 00001f40: POP 00001f41: POP 00001f42: POP 00001f43: POP 00001f44: JUMP 00001f45: JUMPDEST 00001f46: PUSH1 0x00 00001f48: DUP3 00001f49: PUSH2 0x1f54 00001f4c: JUMPI 00001f4d: POP 00001f4e: PUSH1 0x00 00001f50: PUSH2 0x0708 00001f53: JUMP 00001f54: JUMPDEST 00001f55: DUP3 00001f56: DUP3 00001f57: MUL 00001f58: DUP3 00001f59: DUP5 00001f5a: DUP3 00001f5b: DUP2 00001f5c: PUSH2 0x1f61 00001f5f: JUMPI 00001f60: INVALID 00001f61: JUMPDEST 00001f62: DIV 00001f63: EQ 00001f64: PUSH2 0x1ae6 00001f67: JUMPI 00001f68: PUSH1 0x40 00001f6a: MLOAD 00001f6b: PUSH3 0x461bcd 00001f6f: PUSH1 0xe5 00001f71: SHL 00001f72: DUP2 00001f73: MSTORE 00001f74: PUSH1 0x04 00001f76: ADD 00001f77: DUP1 00001f78: DUP1 00001f79: PUSH1 0x20 00001f7b: ADD 00001f7c: DUP3 00001f7d: DUP2 00001f7e: SUB 00001f7f: DUP3 00001f80: MSTORE 00001f81: PUSH1 0x21 00001f83: DUP2 00001f84: MSTORE 00001f85: PUSH1 0x20 00001f87: ADD 00001f88: DUP1 00001f89: PUSH2 0x2054 00001f8c: PUSH1 0x21 00001f8e: SWAP2 00001f8f: CODECOPY 00001f90: PUSH1 0x40 00001f92: ADD 00001f93: SWAP2 00001f94: POP 00001f95: POP 00001f96: PUSH1 0x40 00001f98: MLOAD 00001f99: DUP1 00001f9a: SWAP2 00001f9b: SUB 00001f9c: SWAP1 00001f9d: REVERT 00001f9e: INVALID 00001f9f: GASLIMIT 00001fa0: MSTORE 00001fa1: NUMBER 00001fa2: ORIGIN 00001fa3: ADDRESS 00001fa4: GASPRICE 00001fa5: KECCAK256 00001fa6: PUSH21 0x72616e7366657220746f20746865207a65726f2061 00001fbc: PUSH5 0x6472657373 00001fc2: GASLIMIT 00001fc3: MSTORE 00001fc4: NUMBER 00001fc5: ORIGIN 00001fc6: ADDRESS 00001fc7: GASPRICE 00001fc8: KECCAK256 00001fc9: PUSH3 0x75726e 00001fcd: KECCAK256 00001fce: PUSH2 0x6d6f 00001fd1: PUSH22 0x6e7420657863656564732062616c616e63654f776e61 00001fe8: PUSH3 0x6c653a 00001fec: KECCAK256 00001fed: PUSH15 0x6577206f776e657220697320746865 00001ffd: KECCAK256 00001ffe: PUSH27 0x65726f206164647265737345524332303a20617070726f76652074 0000201a: PUSH16 0x20746865207a65726f20616464726573 0000202b: PUSH20 0x5472616e7366657220616d6f756e742065786365 00002040: PUSH6 0x647320746865 00002047: KECCAK256 00002048: PUSH14 0x61785478416d6f756e742e536166 00002057: PUSH6 0x4d6174683a20 0000205e: PUSH14 0x756c7469706c69636174696f6e20 0000206d: PUSH16 0x766572666c6f7745524332303a207472 0000207e: PUSH2 0x6e73 00002081: PUSH7 0x657220616d6f75 00002089: PUSH15 0x74206578636565647320616c6c6f77 00002099: PUSH2 0x6e63 0000209c: PUSH6 0x4f776e61626c 000020a3: PUSH6 0x3a2063616c6c 000020aa: PUSH6 0x72206973206e 000020b1: PUSH16 0x7420746865206f776e65725472616e73 000020c2: PUSH7 0x657220616d6f75 000020ca: PUSH15 0x74206d757374206265206772656174 000020da: PUSH6 0x72207468616e 000020e1: KECCAK256 000020e2: PUSH27 0x65726f596f752063616e742073656c6c20746f6b656e7320666f72 000020fe: KECCAK256 000020ff: CALLDATASIZE 00002100: KECCAK256 00002101: PUSH14 0x6f6e74687345524332303a206275 00002110: PUSH19 0x6e2066726f6d20746865207a65726f20616464 00002124: PUSH19 0x65737345524332303a207472616e7366657220 00002138: PUSH7 0x726f6d20746865 00002140: KECCAK256 00002141: PUSH27 0x65726f206164647265737345524332303a20617070726f76652066 0000215d: PUSH19 0x6f6d20746865207a65726f2061646472657373 00002171: MSIZE 00002172: PUSH16 0x7520646f6e2774206861766520706572 00002183: PUSH14 0x697373696f6e20746f20756e6c6f 00002192: PUSH4 0x6ba26469 00002197: PUSH17 0x66735822122023c43701691e5d705b214f 000021a9: AND 000021aa: RETURNDATASIZE 000021ab: UNKNOWN(0xDD) 000021ac: PUSH31
| 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": "0xdd467064",
"selector": "0xdd467064",
"calldata_variants": [
"0xdd467064",
"0xdd4670640000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe97723dc",
"selector": "0xe97723dc",
"calldata_variants": [
"0xe97723dc",
"0xe97723dc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb6c52324",
"selector": "0xb6c52324",
"calldata_variants": [
"0xb6c52324",
"0xb6c523240000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbfe889f4",
"selector": "0xbfe889f4",
"calldata_variants": [
"0xbfe889f4",
"0xbfe889f40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc49b9a80",
"selector": "0xc49b9a80",
"calldata_variants": [
"0xc49b9a80",
"0xc49b9a800000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x95d89b41",
"selector": "0x95d89b41",
"calldata_variants": [
"0x95d89b41",
"0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 8098,
"type": "tx_origin_used"
},
{
"pc": 8133,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x7595bcd8becb56090effd79c18f14b80261619cc168f905cd07833302e6d8708
call_targets:
0x0f8bf37e79930c100f3d93ac0ee87f0d3e7a7fb0
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x7595bcd8becb56090effd79c18f14b80261619cc168f905cd07833302e6d8708",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0f8bf37e79930c100f3d93ac0ee87f0d3e7a7fb0"
],
"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": "0xdd467064",
"selector": "0xdd467064",
"calldata_variants": [
"0xdd467064",
"0xdd4670640000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe97723dc",
"selector": "0xe97723dc",
"calldata_variants": [
"0xe97723dc",
"0xe97723dc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb6c52324",
"selector": "0xb6c52324",
"calldata_variants": [
"0xb6c52324",
"0xb6c523240000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbfe889f4",
"selector": "0xbfe889f4",
"calldata_variants": [
"0xbfe889f4",
"0xbfe889f40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc49b9a80",
"selector": "0xc49b9a80",
"calldata_variants": [
"0xc49b9a80",
"0xc49b9a800000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x95d89b41",
"selector": "0x95d89b41",
"calldata_variants": [
"0x95d89b41",
"0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 7469,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 7700,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 8098,
"type": "tx_origin_used"
},
{
"pc": 8133,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x7595bcd8becb56090effd79c18f14b80261619cc168f905cd07833302e6d8708
call_targets:
0x0f8bf37e79930c100f3d93ac0ee87f0d3e7a7fb0
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x7595bcd8becb56090effd79c18f14b80261619cc168f905cd07833302e6d8708",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0f8bf37e79930c100f3d93ac0ee87f0d3e7a7fb0"
],
"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": "0xdd467064",
"selector": "0xdd467064",
"calldata_variants": [
"0xdd467064",
"0xdd4670640000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe97723dc",
"selector": "0xe97723dc",
"calldata_variants": [
"0xe97723dc",
"0xe97723dc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb6c52324",
"selector": "0xb6c52324",
"calldata_variants": [
"0xb6c52324",
"0xb6c523240000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbfe889f4",
"selector": "0xbfe889f4",
"calldata_variants": [
"0xbfe889f4",
"0xbfe889f40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc49b9a80",
"selector": "0xc49b9a80",
"calldata_variants": [
"0xc49b9a80",
"0xc49b9a800000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x95d89b41",
"selector": "0x95d89b41",
"calldata_variants": [
"0x95d89b41",
"0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 7469,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 7700,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 8098,
"type": "tx_origin_used"
},
{
"pc": 8133,
"type": "tx_origin_used"
}
]
}
|