019b477e-d766-709c-86e5-814c8705bbd9
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 |
|---|---|---|---|---|
| 28879 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 28880 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 72160 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 72161 | capability.graph | complete | 1 / 3 | 1 week ago |
| 72162 | detector.run | complete | 1 / 3 | 1 week ago |
| 72163 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0134 0000000c: JUMPI 0000000d: PUSH0 0000000e: CALLDATALOAD 0000000f: PUSH1 0xe0 00000011: SHR 00000012: DUP1 00000013: PUSH4 0x751039fc 00000018: GT 00000019: PUSH2 0x00a8 0000001c: JUMPI 0000001d: DUP1 0000001e: PUSH4 0xa9059cbb 00000023: GT 00000024: PUSH2 0x006d 00000027: JUMPI 00000028: DUP1 00000029: PUSH4 0xa9059cbb 0000002e: EQ 0000002f: PUSH2 0x035f 00000032: JUMPI 00000033: DUP1 00000034: PUSH4 0xbf474bed 00000039: EQ 0000003a: PUSH2 0x037e 0000003d: JUMPI 0000003e: DUP1 0000003f: PUSH4 0xc9567bf9 00000044: EQ 00000045: PUSH2 0x0393 00000048: JUMPI 00000049: DUP1 0000004a: PUSH4 0xd34628cc 0000004f: EQ 00000050: PUSH2 0x03a7 00000053: JUMPI 00000054: DUP1 00000055: PUSH4 0xdd62ed3e 0000005a: EQ 0000005b: PUSH2 0x03c6 0000005e: JUMPI 0000005f: DUP1 00000060: PUSH4 0xec1f3f63 00000065: EQ 00000066: PUSH2 0x040a 00000069: JUMPI 0000006a: PUSH0 0000006b: DUP1 0000006c: REVERT 0000006d: JUMPDEST 0000006e: DUP1 0000006f: PUSH4 0x751039fc 00000074: EQ 00000075: PUSH2 0x02d0 00000078: JUMPI 00000079: DUP1 0000007a: PUSH4 0x7d1db4a5 0000007f: EQ 00000080: PUSH2 0x02e4 00000083: JUMPI 00000084: DUP1 00000085: PUSH4 0x8da5cb5b 0000008a: EQ 0000008b: PUSH2 0x02f9 0000008e: JUMPI 0000008f: DUP1 00000090: PUSH4 0x8f9a55c0 00000095: EQ 00000096: PUSH2 0x031f 00000099: JUMPI 0000009a: DUP1 0000009b: PUSH4 0x95d89b41 000000a0: EQ 000000a1: PUSH2 0x0334 000000a4: JUMPI 000000a5: PUSH0 000000a6: DUP1 000000a7: REVERT 000000a8: JUMPDEST 000000a9: DUP1 000000aa: PUSH4 0x313ce567 000000af: GT 000000b0: PUSH2 0x00f9 000000b3: JUMPI 000000b4: DUP1 000000b5: PUSH4 0x313ce567 000000ba: EQ 000000bb: PUSH2 0x0201 000000be: JUMPI 000000bf: DUP1 000000c0: PUSH4 0x31c2d847 000000c5: EQ 000000c6: PUSH2 0x021c 000000c9: JUMPI 000000ca: DUP1 000000cb: PUSH4 0x3bbac579 000000d0: EQ 000000d1: PUSH2 0x023d 000000d4: JUMPI 000000d5: DUP1 000000d6: PUSH4 0x51bc3c85 000000db: EQ 000000dc: PUSH2 0x0274 000000df: JUMPI 000000e0: DUP1 000000e1: PUSH4 0x70a08231 000000e6: EQ 000000e7: PUSH2 0x0288 000000ea: JUMPI 000000eb: DUP1 000000ec: PUSH4 0x715018a6 000000f1: EQ 000000f2: PUSH2 0x02bc 000000f5: JUMPI 000000f6: PUSH0 000000f7: DUP1 000000f8: REVERT 000000f9: JUMPDEST 000000fa: DUP1 000000fb: PUSH4 0x06fdde03 00000100: EQ 00000101: PUSH2 0x013f 00000104: JUMPI 00000105: DUP1 00000106: PUSH4 0x095ea7b3 0000010b: EQ 0000010c: PUSH2 0x017c 0000010f: JUMPI 00000110: DUP1 00000111: PUSH4 0x0faee56f 00000116: EQ 00000117: PUSH2 0x01ab 0000011a: JUMPI 0000011b: DUP1 0000011c: PUSH4 0x18160ddd 00000121: EQ 00000122: PUSH2 0x01ce 00000125: JUMPI 00000126: DUP1 00000127: PUSH4 0x23b872dd 0000012c: EQ 0000012d: PUSH2 0x01e2 00000130: JUMPI 00000131: PUSH0 00000132: DUP1 00000133: REVERT 00000134: JUMPDEST 00000135: CALLDATASIZE 00000136: PUSH2 0x013b 00000139: JUMPI 0000013a: STOP 0000013b: JUMPDEST 0000013c: PUSH0 0000013d: DUP1 0000013e: REVERT 0000013f: JUMPDEST 00000140: CALLVALUE 00000141: DUP1 00000142: ISZERO 00000143: PUSH2 0x014a 00000146: JUMPI 00000147: PUSH0 00000148: DUP1 00000149: REVERT 0000014a: JUMPDEST 0000014b: POP 0000014c: PUSH1 0x40 0000014e: DUP1 0000014f: MLOAD 00000150: DUP1 00000151: DUP3 00000152: ADD 00000153: SWAP1 00000154: SWAP2 00000155: MSTORE 00000156: PUSH1 0x03 00000158: DUP2 00000159: MSTORE 0000015a: PUSH3 0x456767 0000015e: PUSH1 0xe8 00000160: SHL 00000161: PUSH1 0x20 00000163: DUP3 00000164: ADD 00000165: MSTORE 00000166: JUMPDEST 00000167: PUSH1 0x40 00000169: MLOAD 0000016a: PUSH2 0x0173 0000016d: SWAP2 0000016e: SWAP1 0000016f: PUSH2 0x1598 00000172: JUMP 00000173: JUMPDEST 00000174: PUSH1 0x40 00000176: MLOAD 00000177: DUP1 00000178: SWAP2 00000179: SUB 0000017a: SWAP1 0000017b: RETURN 0000017c: JUMPDEST 0000017d: CALLVALUE 0000017e: DUP1 0000017f: ISZERO 00000180: PUSH2 0x0187 00000183: JUMPI 00000184: PUSH0 00000185: DUP1 00000186: REVERT 00000187: JUMPDEST 00000188: POP 00000189: PUSH2 0x019b 0000018c: PUSH2 0x0196 0000018f: CALLDATASIZE 00000190: PUSH1 0x04 00000192: PUSH2 0x160b 00000195: JUMP 00000196: JUMPDEST 00000197: PUSH2 0x0429 0000019a: JUMP 0000019b: JUMPDEST 0000019c: PUSH1 0x40 0000019e: MLOAD 0000019f: SWAP1 000001a0: ISZERO 000001a1: ISZERO 000001a2: DUP2 000001a3: MSTORE 000001a4: PUSH1 0x20 000001a6: ADD 000001a7: PUSH2 0x0173 000001aa: JUMP 000001ab: JUMPDEST 000001ac: CALLVALUE 000001ad: DUP1 000001ae: ISZERO 000001af: PUSH2 0x01b6 000001b2: JUMPI 000001b3: PUSH0 000001b4: DUP1 000001b5: REVERT 000001b6: JUMPDEST 000001b7: POP 000001b8: PUSH2 0x01c0 000001bb: PUSH1 0x11 000001bd: SLOAD 000001be: DUP2 000001bf: JUMP 000001c0: JUMPDEST 000001c1: PUSH1 0x40 000001c3: MLOAD 000001c4: SWAP1 000001c5: DUP2 000001c6: MSTORE 000001c7: PUSH1 0x20 000001c9: ADD 000001ca: PUSH2 0x0173 000001cd: JUMP 000001ce: JUMPDEST 000001cf: CALLVALUE 000001d0: DUP1 000001d1: ISZERO 000001d2: PUSH2 0x01d9 000001d5: JUMPI 000001d6: PUSH0 000001d7: DUP1 000001d8: REVERT 000001d9: JUMPDEST 000001da: POP 000001db: PUSH2 0x01c0 000001de: PUSH2 0x043f 000001e1: JUMP 000001e2: JUMPDEST 000001e3: CALLVALUE 000001e4: DUP1 000001e5: ISZERO 000001e6: PUSH2 0x01ed 000001e9: JUMPI 000001ea: PUSH0 000001eb: DUP1 000001ec: REVERT 000001ed: JUMPDEST 000001ee: POP 000001ef: PUSH2 0x019b 000001f2: PUSH2 0x01fc 000001f5: CALLDATASIZE 000001f6: PUSH1 0x04 000001f8: PUSH2 0x1635 000001fb: JUMP 000001fc: JUMPDEST 000001fd: PUSH2 0x0460 00000200: JUMP 00000201: JUMPDEST 00000202: CALLVALUE 00000203: DUP1 00000204: ISZERO 00000205: PUSH2 0x020c 00000208: JUMPI 00000209: PUSH0 0000020a: DUP1 0000020b: REVERT 0000020c: JUMPDEST 0000020d: POP 0000020e: PUSH1 0x40 00000210: MLOAD 00000211: PUSH1 0x09 00000213: DUP2 00000214: MSTORE 00000215: PUSH1 0x20 00000217: ADD 00000218: PUSH2 0x0173 0000021b: JUMP 0000021c: JUMPDEST 0000021d: CALLVALUE 0000021e: DUP1 0000021f: ISZERO 00000220: PUSH2 0x0227 00000223: JUMPI 00000224: PUSH0 00000225: DUP1 00000226: REVERT 00000227: JUMPDEST 00000228: POP 00000229: PUSH2 0x023b 0000022c: PUSH2 0x0236 0000022f: CALLDATASIZE 00000230: PUSH1 0x04 00000232: PUSH2 0x1687 00000235: JUMP 00000236: JUMPDEST 00000237: PUSH2 0x04c7 0000023a: JUMP 0000023b: JUMPDEST 0000023c: STOP 0000023d: JUMPDEST 0000023e: CALLVALUE 0000023f: DUP1 00000240: ISZERO 00000241: PUSH2 0x0248 00000244: JUMPI 00000245: PUSH0 00000246: DUP1 00000247: REVERT 00000248: JUMPDEST 00000249: POP 0000024a: PUSH2 0x019b 0000024d: PUSH2 0x0257 00000250: CALLDATASIZE 00000251: PUSH1 0x04 00000253: PUSH2 0x1747 00000256: JUMP 00000257: JUMPDEST 00000258: PUSH1 0x01 0000025a: PUSH1 0x01 0000025c: PUSH1 0xa0 0000025e: SHL 0000025f: SUB 00000260: AND 00000261: PUSH0 00000262: SWAP1 00000263: DUP2 00000264: MSTORE 00000265: PUSH1 0x04 00000267: PUSH1 0x20 00000269: MSTORE 0000026a: PUSH1 0x40 0000026c: SWAP1 0000026d: KECCAK256 0000026e: SLOAD 0000026f: PUSH1 0xff 00000271: AND 00000272: SWAP1 00000273: JUMP 00000274: JUMPDEST 00000275: CALLVALUE 00000276: DUP1 00000277: ISZERO 00000278: PUSH2 0x027f 0000027b: JUMPI 0000027c: PUSH0 0000027d: DUP1 0000027e: REVERT 0000027f: JUMPDEST 00000280: POP 00000281: PUSH2 0x023b 00000284: PUSH2 0x0557 00000287: JUMP 00000288: JUMPDEST 00000289: CALLVALUE 0000028a: DUP1 0000028b: ISZERO 0000028c: PUSH2 0x0293 0000028f: JUMPI 00000290: PUSH0 00000291: DUP1 00000292: REVERT 00000293: JUMPDEST 00000294: POP 00000295: PUSH2 0x01c0 00000298: PUSH2 0x02a2 0000029b: CALLDATASIZE 0000029c: PUSH1 0x04 0000029e: PUSH2 0x1747 000002a1: JUMP 000002a2: JUMPDEST 000002a3: PUSH1 0x01 000002a5: PUSH1 0x01 000002a7: PUSH1 0xa0 000002a9: SHL 000002aa: SUB 000002ab: AND 000002ac: PUSH0 000002ad: SWAP1 000002ae: DUP2 000002af: MSTORE 000002b0: PUSH1 0x01 000002b2: PUSH1 0x20 000002b4: MSTORE 000002b5: PUSH1 0x40 000002b7: SWAP1 000002b8: KECCAK256 000002b9: SLOAD 000002ba: SWAP1 000002bb: JUMP 000002bc: JUMPDEST 000002bd: CALLVALUE 000002be: DUP1 000002bf: ISZERO 000002c0: PUSH2 0x02c7 000002c3: JUMPI 000002c4: PUSH0 000002c5: DUP1 000002c6: REVERT 000002c7: JUMPDEST 000002c8: POP 000002c9: PUSH2 0x023b 000002cc: PUSH2 0x05a4 000002cf: JUMP 000002d0: JUMPDEST 000002d1: CALLVALUE 000002d2: DUP1 000002d3: ISZERO 000002d4: PUSH2 0x02db 000002d7: JUMPI 000002d8: PUSH0 000002d9: DUP1 000002da: REVERT 000002db: JUMPDEST 000002dc: POP 000002dd: PUSH2 0x023b 000002e0: PUSH2 0x0615 000002e3: JUMP 000002e4: JUMPDEST 000002e5: CALLVALUE 000002e6: DUP1 000002e7: ISZERO 000002e8: PUSH2 0x02ef 000002eb: JUMPI 000002ec: PUSH0 000002ed: DUP1 000002ee: REVERT 000002ef: JUMPDEST 000002f0: POP 000002f1: PUSH2 0x01c0 000002f4: PUSH1 0x0e 000002f6: SLOAD 000002f7: DUP2 000002f8: JUMP 000002f9: JUMPDEST 000002fa: CALLVALUE 000002fb: DUP1 000002fc: ISZERO 000002fd: PUSH2 0x0304 00000300: JUMPI 00000301: PUSH0 00000302: DUP1 00000303: REVERT 00000304: JUMPDEST 00000305: POP 00000306: PUSH0 00000307: SLOAD 00000308: PUSH1 0x40 0000030a: MLOAD 0000030b: PUSH1 0x01 0000030d: PUSH1 0x01 0000030f: PUSH1 0xa0 00000311: SHL 00000312: SUB 00000313: SWAP1 00000314: SWAP2 00000315: AND 00000316: DUP2 00000317: MSTORE 00000318: PUSH1 0x20 0000031a: ADD 0000031b: PUSH2 0x0173 0000031e: JUMP 0000031f: JUMPDEST 00000320: CALLVALUE 00000321: DUP1 00000322: ISZERO 00000323: PUSH2 0x032a 00000326: JUMPI 00000327: PUSH0 00000328: DUP1 00000329: REVERT 0000032a: JUMPDEST 0000032b: POP 0000032c: PUSH2 0x01c0 0000032f: PUSH1 0x0f 00000331: SLOAD 00000332: DUP2 00000333: JUMP 00000334: JUMPDEST 00000335: CALLVALUE 00000336: DUP1 00000337: ISZERO 00000338: PUSH2 0x033f 0000033b: JUMPI 0000033c: PUSH0 0000033d: DUP1 0000033e: REVERT 0000033f: JUMPDEST 00000340: POP 00000341: PUSH1 0x40 00000343: DUP1 00000344: MLOAD 00000345: DUP1 00000346: DUP3 00000347: ADD 00000348: SWAP1 00000349: SWAP2 0000034a: MSTORE 0000034b: PUSH1 0x03 0000034d: DUP2 0000034e: MSTORE 0000034f: PUSH3 0x454747 00000353: PUSH1 0xe8 00000355: SHL 00000356: PUSH1 0x20 00000358: DUP3 00000359: ADD 0000035a: MSTORE 0000035b: PUSH2 0x0166 0000035e: JUMP 0000035f: JUMPDEST 00000360: CALLVALUE 00000361: DUP1 00000362: ISZERO 00000363: PUSH2 0x036a 00000366: JUMPI 00000367: PUSH0 00000368: DUP1 00000369: REVERT 0000036a: JUMPDEST 0000036b: POP 0000036c: PUSH2 0x019b 0000036f: PUSH2 0x0379 00000372: CALLDATASIZE 00000373: PUSH1 0x04 00000375: PUSH2 0x160b 00000378: JUMP 00000379: JUMPDEST 0000037a: PUSH2 0x06c9 0000037d: JUMP 0000037e: JUMPDEST 0000037f: CALLVALUE 00000380: DUP1 00000381: ISZERO 00000382: PUSH2 0x0389 00000385: JUMPI 00000386: PUSH0 00000387: DUP1 00000388: REVERT 00000389: JUMPDEST 0000038a: POP 0000038b: PUSH2 0x01c0 0000038e: PUSH1 0x10 00000390: SLOAD 00000391: DUP2 00000392: JUMP 00000393: JUMPDEST 00000394: CALLVALUE 00000395: DUP1 00000396: ISZERO 00000397: PUSH2 0x039e 0000039a: JUMPI 0000039b: PUSH0 0000039c: DUP1 0000039d: REVERT 0000039e: JUMPDEST 0000039f: POP 000003a0: PUSH2 0x023b 000003a3: PUSH2 0x06d5 000003a6: JUMP 000003a7: JUMPDEST 000003a8: CALLVALUE 000003a9: DUP1 000003aa: ISZERO 000003ab: PUSH2 0x03b2 000003ae: JUMPI 000003af: PUSH0 000003b0: DUP1 000003b1: REVERT 000003b2: JUMPDEST 000003b3: POP 000003b4: PUSH2 0x023b 000003b7: PUSH2 0x03c1 000003ba: CALLDATASIZE 000003bb: PUSH1 0x04 000003bd: PUSH2 0x1687 000003c0: JUMP 000003c1: JUMPDEST 000003c2: PUSH2 0x0a7f 000003c5: JUMP 000003c6: JUMPDEST 000003c7: CALLVALUE 000003c8: DUP1 000003c9: ISZERO 000003ca: PUSH2 0x03d1 000003cd: JUMPI 000003ce: PUSH0 000003cf: DUP1 000003d0: REVERT 000003d1: JUMPDEST 000003d2: POP 000003d3: PUSH2 0x01c0 000003d6: PUSH2 0x03e0 000003d9: CALLDATASIZE 000003da: PUSH1 0x04 000003dc: PUSH2 0x1762 000003df: JUMP 000003e0: JUMPDEST 000003e1: PUSH1 0x01 000003e3: PUSH1 0x01 000003e5: PUSH1 0xa0 000003e7: SHL 000003e8: SUB 000003e9: SWAP2 000003ea: DUP3 000003eb: AND 000003ec: PUSH0 000003ed: SWAP1 000003ee: DUP2 000003ef: MSTORE 000003f0: PUSH1 0x02 000003f2: PUSH1 0x20 000003f4: SWAP1 000003f5: DUP2 000003f6: MSTORE 000003f7: PUSH1 0x40 000003f9: DUP1 000003fa: DUP4 000003fb: KECCAK256 000003fc: SWAP4 000003fd: SWAP1 000003fe: SWAP5 000003ff: AND 00000400: DUP3 00000401: MSTORE 00000402: SWAP2 00000403: SWAP1 00000404: SWAP2 00000405: MSTORE 00000406: KECCAK256 00000407: SLOAD 00000408: SWAP1 00000409: JUMP 0000040a: JUMPDEST 0000040b: CALLVALUE 0000040c: DUP1 0000040d: ISZERO 0000040e: PUSH2 0x0415 00000411: JUMPI 00000412: PUSH0 00000413: DUP1 00000414: REVERT 00000415: JUMPDEST 00000416: POP 00000417: PUSH2 0x023b 0000041a: PUSH2 0x0424 0000041d: CALLDATASIZE 0000041e: PUSH1 0x04 00000420: PUSH2 0x1799 00000423: JUMP 00000424: JUMPDEST 00000425: PUSH2 0x0b03 00000428: JUMP 00000429: JUMPDEST 0000042a: PUSH0 0000042b: PUSH2 0x0435 0000042e: CALLER 0000042f: DUP5 00000430: DUP5 00000431: PUSH2 0x0b48 00000434: JUMP 00000435: JUMPDEST 00000436: POP 00000437: PUSH1 0x01 00000439: JUMPDEST 0000043a: SWAP3 0000043b: SWAP2 0000043c: POP 0000043d: POP 0000043e: JUMP 0000043f: JUMPDEST 00000440: PUSH0 00000441: PUSH2 0x044c 00000444: PUSH1 0x09 00000446: PUSH1 0x0a 00000448: PUSH2 0x18a4 0000044b: JUMP 0000044c: JUMPDEST 0000044d: PUSH2 0x045b 00000450: SWAP1 00000451: PUSH5 0x61f313f880 00000457: PUSH2 0x18b2 0000045a: JUMP 0000045b: JUMPDEST 0000045c: SWAP1 0000045d: POP 0000045e: SWAP1 0000045f: JUMP 00000460: JUMPDEST 00000461: PUSH0 00000462: PUSH2 0x046c 00000465: DUP5 00000466: DUP5 00000467: DUP5 00000468: PUSH2 0x0c6b 0000046b: JUMP 0000046c: JUMPDEST 0000046d: PUSH2 0x04bd 00000470: DUP5 00000471: CALLER 00000472: PUSH2 0x04b8 00000475: DUP6 00000476: PUSH1 0x40 00000478: MLOAD 00000479: DUP1 0000047a: PUSH1 0x60 0000047c: ADD 0000047d: PUSH1 0x40 0000047f: MSTORE 00000480: DUP1 00000481: PUSH1 0x28 00000483: DUP2 00000484: MSTORE 00000485: PUSH1 0x20 00000487: ADD 00000488: PUSH2 0x1a46 0000048b: PUSH1 0x28 0000048d: SWAP2 0000048e: CODECOPY 0000048f: PUSH1 0x01 00000491: PUSH1 0x01 00000493: PUSH1 0xa0 00000495: SHL 00000496: SUB 00000497: DUP11 00000498: AND 00000499: PUSH0 0000049a: SWAP1 0000049b: DUP2 0000049c: MSTORE 0000049d: PUSH1 0x02 0000049f: PUSH1 0x20 000004a1: SWAP1 000004a2: DUP2 000004a3: MSTORE 000004a4: PUSH1 0x40 000004a6: DUP1 000004a7: DUP4 000004a8: KECCAK256 000004a9: CALLER 000004aa: DUP5 000004ab: MSTORE 000004ac: SWAP1 000004ad: SWAP2 000004ae: MSTORE 000004af: SWAP1 000004b0: KECCAK256 000004b1: SLOAD 000004b2: SWAP2 000004b3: SWAP1 000004b4: PUSH2 0x1214 000004b7: JUMP 000004b8: JUMPDEST 000004b9: PUSH2 0x0b48 000004bc: JUMP 000004bd: JUMPDEST 000004be: POP 000004bf: PUSH1 0x01 000004c1: SWAP4 000004c2: SWAP3 000004c3: POP 000004c4: POP 000004c5: POP 000004c6: JUMP 000004c7: JUMPDEST 000004c8: PUSH0 000004c9: SLOAD 000004ca: PUSH1 0x01 000004cc: PUSH1 0x01 000004ce: PUSH1 0xa0 000004d0: SHL 000004d1: SUB 000004d2: AND 000004d3: CALLER 000004d4: EQ 000004d5: PUSH2 0x04f9 000004d8: JUMPI 000004d9: PUSH1 0x40 000004db: MLOAD 000004dc: PUSH3 0x461bcd 000004e0: PUSH1 0xe5 000004e2: SHL 000004e3: DUP2 000004e4: MSTORE 000004e5: PUSH1 0x04 000004e7: ADD 000004e8: PUSH2 0x04f0 000004eb: SWAP1 000004ec: PUSH2 0x18c9 000004ef: JUMP 000004f0: JUMPDEST 000004f1: PUSH1 0x40 000004f3: MLOAD 000004f4: DUP1 000004f5: SWAP2 000004f6: SUB 000004f7: SWAP1 000004f8: REVERT 000004f9: JUMPDEST 000004fa: PUSH0 000004fb: JUMPDEST 000004fc: DUP2 000004fd: MLOAD 000004fe: DUP2 000004ff: LT 00000500: ISZERO 00000501: PUSH2 0x0553 00000504: JUMPI 00000505: PUSH0 00000506: PUSH1 0x04 00000508: PUSH0 00000509: DUP5 0000050a: DUP5 0000050b: DUP2 0000050c: MLOAD 0000050d: DUP2 0000050e: LT 0000050f: PUSH2 0x051a 00000512: JUMPI 00000513: PUSH2 0x051a 00000516: PUSH2 0x18fe 00000519: JUMP 0000051a: JUMPDEST 0000051b: PUSH1 0x20 0000051d: SWAP1 0000051e: DUP2 0000051f: MUL 00000520: SWAP2 00000521: SWAP1 00000522: SWAP2 00000523: ADD 00000524: DUP2 00000525: ADD 00000526: MLOAD 00000527: PUSH1 0x01 00000529: PUSH1 0x01 0000052b: PUSH1 0xa0 0000052d: SHL 0000052e: SUB 0000052f: AND 00000530: DUP3 00000531: MSTORE 00000532: DUP2 00000533: ADD 00000534: SWAP2 00000535: SWAP1 00000536: SWAP2 00000537: MSTORE 00000538: PUSH1 0x40 0000053a: ADD 0000053b: PUSH0 0000053c: KECCAK256 0000053d: DUP1 0000053e: SLOAD 0000053f: PUSH1 0xff 00000541: NOT 00000542: AND 00000543: SWAP2 00000544: ISZERO 00000545: ISZERO 00000546: SWAP2 00000547: SWAP1 00000548: SWAP2 00000549: OR 0000054a: SWAP1 0000054b: SSTORE 0000054c: PUSH1 0x01 0000054e: ADD 0000054f: PUSH2 0x04fb 00000552: JUMP 00000553: JUMPDEST 00000554: POP 00000555: POP 00000556: JUMP 00000557: JUMPDEST 00000558: PUSH1 0x05 0000055a: SLOAD 0000055b: PUSH1 0x01 0000055d: PUSH1 0x01 0000055f: PUSH1 0xa0 00000561: SHL 00000562: SUB 00000563: AND 00000564: CALLER 00000565: PUSH1 0x01 00000567: PUSH1 0x01 00000569: PUSH1 0xa0 0000056b: SHL 0000056c: SUB 0000056d: AND 0000056e: EQ 0000056f: PUSH2 0x0576 00000572: JUMPI 00000573: PUSH0 00000574: DUP1 00000575: REVERT 00000576: JUMPDEST 00000577: ADDRESS 00000578: PUSH0 00000579: SWAP1 0000057a: DUP2 0000057b: MSTORE 0000057c: PUSH1 0x01 0000057e: PUSH1 0x20 00000580: MSTORE 00000581: PUSH1 0x40 00000583: SWAP1 00000584: KECCAK256 00000585: SLOAD 00000586: DUP1 00000587: ISZERO 00000588: PUSH2 0x0594 0000058b: JUMPI 0000058c: PUSH2 0x0594 0000058f: DUP2 00000590: PUSH2 0x124c 00000593: JUMP 00000594: JUMPDEST 00000595: SELFBALANCE 00000596: DUP1 00000597: ISZERO 00000598: PUSH2 0x0553 0000059b: JUMPI 0000059c: PUSH2 0x0553 0000059f: DUP2 000005a0: PUSH2 0x13bc 000005a3: JUMP 000005a4: JUMPDEST 000005a5: PUSH0 000005a6: SLOAD 000005a7: PUSH1 0x01 000005a9: PUSH1 0x01 000005ab: PUSH1 0xa0 000005ad: SHL 000005ae: SUB 000005af: AND 000005b0: CALLER 000005b1: EQ 000005b2: PUSH2 0x05cd 000005b5: JUMPI 000005b6: PUSH1 0x40 000005b8: MLOAD 000005b9: PUSH3 0x461bcd 000005bd: PUSH1 0xe5 000005bf: SHL 000005c0: DUP2 000005c1: MSTORE 000005c2: PUSH1 0x04 000005c4: ADD 000005c5: PUSH2 0x04f0 000005c8: SWAP1 000005c9: PUSH2 0x18c9 000005cc: JUMP 000005cd: JUMPDEST 000005ce: PUSH0 000005cf: DUP1 000005d0: SLOAD 000005d1: PUSH1 0x40 000005d3: MLOAD 000005d4: PUSH1 0x01 000005d6: PUSH1 0x01 000005d8: PUSH1 0xa0 000005da: SHL 000005db: SUB 000005dc: SWAP1 000005dd: SWAP2 000005de: AND 000005df: SWAP1 000005e0: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000601: SWAP1 00000602: DUP4 00000603: SWAP1 00000604: LOG3 00000605: PUSH0 00000606: DUP1 00000607: SLOAD 00000608: PUSH1 0x01 0000060a: PUSH1 0x01 0000060c: PUSH1 0xa0 0000060e: SHL 0000060f: SUB 00000610: NOT 00000611: AND 00000612: SWAP1 00000613: SSTORE 00000614: JUMP 00000615: JUMPDEST 00000616: PUSH0 00000617: SLOAD 00000618: PUSH1 0x01 0000061a: PUSH1 0x01 0000061c: PUSH1 0xa0 0000061e: SHL 0000061f: SUB 00000620: AND 00000621: CALLER 00000622: EQ 00000623: PUSH2 0x063e 00000626: JUMPI 00000627: PUSH1 0x40 00000629: MLOAD 0000062a: PUSH3 0x461bcd 0000062e: PUSH1 0xe5 00000630: SHL 00000631: DUP2 00000632: MSTORE 00000633: PUSH1 0x04 00000635: ADD 00000636: PUSH2 0x04f0 00000639: SWAP1 0000063a: PUSH2 0x18c9 0000063d: JUMP 0000063e: JUMPDEST 0000063f: PUSH2 0x064a 00000642: PUSH1 0x09 00000644: PUSH1 0x0a 00000646: PUSH2 0x18a4 00000649: JUMP 0000064a: JUMPDEST 0000064b: PUSH2 0x0659 0000064e: SWAP1 0000064f: PUSH5 0x61f313f880 00000655: PUSH2 0x18b2 00000658: JUMP 00000659: JUMPDEST 0000065a: PUSH1 0x0e 0000065c: SSTORE 0000065d: PUSH2 0x0668 00000660: PUSH1 0x09 00000662: PUSH1 0x0a 00000664: PUSH2 0x18a4 00000667: JUMP 00000668: JUMPDEST 00000669: PUSH2 0x0677 0000066c: SWAP1 0000066d: PUSH5 0x61f313f880 00000673: PUSH2 0x18b2 00000676: JUMP 00000677: JUMPDEST 00000678: PUSH1 0x0f 0000067a: SSTORE 0000067b: PUSH32 0x947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf 0000069c: PUSH2 0x06a7 0000069f: PUSH1 0x09 000006a1: PUSH1 0x0a 000006a3: PUSH2 0x18a4 000006a6: JUMP 000006a7: JUMPDEST 000006a8: PUSH2 0x06b6 000006ab: SWAP1 000006ac: PUSH5 0x61f313f880 000006b2: PUSH2 0x18b2 000006b5: JUMP 000006b6: JUMPDEST 000006b7: PUSH1 0x40 000006b9: MLOAD 000006ba: SWAP1 000006bb: DUP2 000006bc: MSTORE 000006bd: PUSH1 0x20 000006bf: ADD 000006c0: PUSH1 0x40 000006c2: MLOAD 000006c3: DUP1 000006c4: SWAP2 000006c5: SUB 000006c6: SWAP1 000006c7: LOG1 000006c8: JUMP 000006c9: JUMPDEST 000006ca: PUSH0 000006cb: PUSH2 0x0435 000006ce: CALLER 000006cf: DUP5 000006d0: DUP5 000006d1: PUSH2 0x0c6b 000006d4: JUMP 000006d5: JUMPDEST 000006d6: PUSH0 000006d7: SLOAD 000006d8: PUSH1 0x01 000006da: PUSH1 0x01 000006dc: PUSH1 0xa0 000006de: SHL 000006df: SUB 000006e0: AND 000006e1: CALLER 000006e2: EQ 000006e3: PUSH2 0x06fe 000006e6: JUMPI 000006e7: PUSH1 0x40 000006e9: MLOAD 000006ea: PUSH3 0x461bcd 000006ee: PUSH1 0xe5 000006f0: SHL 000006f1: DUP2 000006f2: MSTORE 000006f3: PUSH1 0x04 000006f5: ADD 000006f6: PUSH2 0x04f0 000006f9: SWAP1 000006fa: PUSH2 0x18c9 000006fd: JUMP 000006fe: JUMPDEST 000006ff: PUSH1 0x13 00000701: SLOAD 00000702: PUSH1 0x01 00000704: PUSH1 0xa0 00000706: SHL 00000707: SWAP1 00000708: DIV 00000709: PUSH1 0xff 0000070b: AND 0000070c: ISZERO 0000070d: PUSH2 0x0758 00000710: JUMPI 00000711: PUSH1 0x40 00000713: MLOAD 00000714: PUSH3 0x461bcd 00000718: PUSH1 0xe5 0000071a: SHL 0000071b: DUP2 0000071c: MSTORE 0000071d: PUSH1 0x20 0000071f: PUSH1 0x04 00000721: DUP3 00000722: ADD 00000723: MSTORE 00000724: PUSH1 0x17 00000726: PUSH1 0x24 00000728: DUP3 00000729: ADD 0000072a: MSTORE 0000072b: PUSH32 0x74726164696e6720697320616c7265616479206f70656e000000000000000000 0000074c: PUSH1 0x44 0000074e: DUP3 0000074f: ADD 00000750: MSTORE 00000751: PUSH1 0x64 00000753: ADD 00000754: PUSH2 0x04f0 00000757: JUMP 00000758: JUMPDEST 00000759: PUSH1 0x12 0000075b: DUP1 0000075c: SLOAD 0000075d: PUSH1 0x01 0000075f: PUSH1 0x01 00000761: PUSH1 0xa0 00000763: SHL 00000764: SUB 00000765: NOT 00000766: AND 00000767: PUSH20 0x7a250d5630b4cf539739df2c5dacb4c659f2488d 0000077c: SWAP1 0000077d: DUP2 0000077e: OR 0000077f: SWAP1 00000780: SWAP2 00000781: SSTORE 00000782: PUSH2 0x07a2 00000785: SWAP1 00000786: ADDRESS 00000787: SWAP1 00000788: PUSH2 0x0793 0000078b: PUSH1 0x09 0000078d: PUSH1 0x0a 0000078f: PUSH2 0x18a4 00000792: JUMP 00000793: JUMPDEST 00000794: PUSH2 0x04b8 00000797: SWAP1 00000798: PUSH5 0x61f313f880 0000079e: PUSH2 0x18b2 000007a1: JUMP 000007a2: JUMPDEST 000007a3: PUSH1 0x12 000007a5: PUSH0 000007a6: SWAP1 000007a7: SLOAD 000007a8: SWAP1 000007a9: PUSH2 0x0100 000007ac: EXP 000007ad: SWAP1 000007ae: DIV 000007af: PUSH1 0x01 000007b1: PUSH1 0x01 000007b3: PUSH1 0xa0 000007b5: SHL 000007b6: SUB 000007b7: AND 000007b8: PUSH1 0x01 000007ba: PUSH1 0x01 000007bc: PUSH1 0xa0 000007be: SHL 000007bf: SUB 000007c0: AND 000007c1: PUSH4 0xc45a0155 000007c6: PUSH1 0x40 000007c8: MLOAD 000007c9: DUP2 000007ca: PUSH4 0xffffffff 000007cf: AND 000007d0: PUSH1 0xe0 000007d2: SHL 000007d3: DUP2 000007d4: MSTORE 000007d5: PUSH1 0x04 000007d7: ADD 000007d8: PUSH1 0x20 000007da: PUSH1 0x40 000007dc: MLOAD 000007dd: DUP1 000007de: DUP4 000007df: SUB 000007e0: DUP2 000007e1: DUP7 000007e2: GAS 000007e3: STATICCALL 000007e4: ISZERO 000007e5: DUP1 000007e6: ISZERO 000007e7: PUSH2 0x07f2 000007ea: JUMPI 000007eb: RETURNDATASIZE 000007ec: PUSH0 000007ed: DUP1 000007ee: RETURNDATACOPY 000007ef: RETURNDATASIZE 000007f0: PUSH0 000007f1: REVERT 000007f2: JUMPDEST 000007f3: POP 000007f4: POP 000007f5: POP 000007f6: POP 000007f7: PUSH1 0x40 000007f9: MLOAD 000007fa: RETURNDATASIZE 000007fb: PUSH1 0x1f 000007fd: NOT 000007fe: PUSH1 0x1f 00000800: DUP3 00000801: ADD 00000802: AND 00000803: DUP3 00000804: ADD 00000805: DUP1 00000806: PUSH1 0x40 00000808: MSTORE 00000809: POP 0000080a: DUP2 0000080b: ADD 0000080c: SWAP1 0000080d: PUSH2 0x0816 00000810: SWAP2 00000811: SWAP1 00000812: PUSH2 0x1912 00000815: JUMP 00000816: JUMPDEST 00000817: PUSH1 0x01 00000819: PUSH1 0x01 0000081b: PUSH1 0xa0 0000081d: SHL 0000081e: SUB 0000081f: AND 00000820: PUSH4 0xc9c65396 00000825: ADDRESS 00000826: PUSH1 0x12 00000828: PUSH0 00000829: SWAP1 0000082a: SLOAD 0000082b: SWAP1 0000082c: PUSH2 0x0100 0000082f: EXP 00000830: SWAP1 00000831: DIV 00000832: PUSH1 0x01 00000834: PUSH1 0x01 00000836: PUSH1 0xa0 00000838: SHL 00000839: SUB 0000083a: AND 0000083b: PUSH1 0x01 0000083d: PUSH1 0x01 0000083f: PUSH1 0xa0 00000841: SHL 00000842: SUB 00000843: AND 00000844: PUSH4 0xad5c4648 00000849: PUSH1 0x40 0000084b: MLOAD 0000084c: DUP2 0000084d: PUSH4 0xffffffff 00000852: AND 00000853: PUSH1 0xe0 00000855: SHL 00000856: DUP2 00000857: MSTORE 00000858: PUSH1 0x04 0000085a: ADD 0000085b: PUSH1 0x20 0000085d: PUSH1 0x40 0000085f: MLOAD 00000860: DUP1 00000861: DUP4 00000862: SUB 00000863: DUP2 00000864: DUP7 00000865: GAS 00000866: STATICCALL 00000867: ISZERO 00000868: DUP1 00000869: ISZERO 0000086a: PUSH2 0x0875 0000086d: JUMPI 0000086e: RETURNDATASIZE 0000086f: PUSH0 00000870: DUP1 00000871: RETURNDATACOPY 00000872: RETURNDATASIZE 00000873: PUSH0 00000874: REVERT 00000875: JUMPDEST 00000876: POP 00000877: POP 00000878: POP 00000879: POP 0000087a: PUSH1 0x40 0000087c: MLOAD 0000087d: RETURNDATASIZE 0000087e: PUSH1 0x1f 00000880: NOT 00000881: PUSH1 0x1f 00000883: DUP3 00000884: ADD 00000885: AND 00000886: DUP3 00000887: ADD 00000888: DUP1 00000889: PUSH1 0x40 0000088b: MSTORE 0000088c: POP 0000088d: DUP2 0000088e: ADD 0000088f: SWAP1 00000890: PUSH2 0x0899 00000893: SWAP2 00000894: SWAP1 00000895: PUSH2 0x1912 00000898: JUMP 00000899: JUMPDEST 0000089a: PUSH1 0x40 0000089c: MLOAD 0000089d: PUSH1 0x01 0000089f: PUSH1 0x01 000008a1: PUSH1 0xe0 000008a3: SHL 000008a4: SUB 000008a5: NOT 000008a6: PUSH1 0xe0 000008a8: DUP6 000008a9: SWAP1 000008aa: SHL 000008ab: AND 000008ac: DUP2 000008ad: MSTORE 000008ae: PUSH1 0x01 000008b0: PUSH1 0x01 000008b2: PUSH1 0xa0 000008b4: SHL 000008b5: SUB 000008b6: SWAP3 000008b7: DUP4 000008b8: AND 000008b9: PUSH1 0x04 000008bb: DUP3 000008bc: ADD 000008bd: MSTORE 000008be: SWAP2 000008bf: AND 000008c0: PUSH1 0x24 000008c2: DUP3 000008c3: ADD 000008c4: MSTORE 000008c5: PUSH1 0x44 000008c7: ADD 000008c8: PUSH1 0x20 000008ca: PUSH1 0x40 000008cc: MLOAD 000008cd: DUP1 000008ce: DUP4 000008cf: SUB 000008d0: DUP2 000008d1: PUSH0 000008d2: DUP8 000008d3: GAS 000008d4: CALL 000008d5: ISZERO 000008d6: DUP1 000008d7: ISZERO 000008d8: PUSH2 0x08e3 000008db: JUMPI 000008dc: RETURNDATASIZE 000008dd: PUSH0 000008de: DUP1 000008df: RETURNDATACOPY 000008e0: RETURNDATASIZE 000008e1: PUSH0 000008e2: REVERT 000008e3: JUMPDEST 000008e4: POP 000008e5: POP 000008e6: POP 000008e7: POP 000008e8: PUSH1 0x40 000008ea: MLOAD 000008eb: RETURNDATASIZE 000008ec: PUSH1 0x1f 000008ee: NOT 000008ef: PUSH1 0x1f 000008f1: DUP3 000008f2: ADD 000008f3: AND 000008f4: DUP3 000008f5: ADD 000008f6: DUP1 000008f7: PUSH1 0x40 000008f9: MSTORE 000008fa: POP 000008fb: DUP2 000008fc: ADD 000008fd: SWAP1 000008fe: PUSH2 0x0907 00000901: SWAP2 00000902: SWAP1 00000903: PUSH2 0x1912 00000906: JUMP 00000907: JUMPDEST 00000908: PUSH1 0x13 0000090a: DUP1 0000090b: SLOAD 0000090c: PUSH1 0x01 0000090e: PUSH1 0x01 00000910: PUSH1 0xa0 00000912: SHL 00000913: SUB 00000914: SWAP3 00000915: DUP4 00000916: AND 00000917: PUSH1 0x01 00000919: PUSH1 0x01 0000091b: PUSH1 0xa0 0000091d: SHL 0000091e: SUB 0000091f: NOT 00000920: SWAP1 00000921: SWAP2 00000922: AND 00000923: OR 00000924: SWAP1 00000925: SSTORE 00000926: PUSH1 0x12 00000928: SLOAD 00000929: AND 0000092a: PUSH4 0xf305d719 0000092f: SELFBALANCE 00000930: ADDRESS 00000931: PUSH2 0x094e 00000934: DUP2 00000935: PUSH1 0x01 00000937: PUSH1 0x01 00000939: PUSH1 0xa0 0000093b: SHL 0000093c: SUB 0000093d: AND 0000093e: PUSH0 0000093f: SWAP1 00000940: DUP2 00000941: MSTORE 00000942: PUSH1 0x01 00000944: PUSH1 0x20 00000946: MSTORE 00000947: PUSH1 0x40 00000949: SWAP1 0000094a: KECCAK256 0000094b: SLOAD 0000094c: SWAP1 0000094d: JUMP 0000094e: JUMPDEST 0000094f: PUSH0 00000950: DUP1 00000951: PUSH2 0x0961 00000954: PUSH0 00000955: SLOAD 00000956: PUSH1 0x01 00000958: PUSH1 0x01 0000095a: PUSH1 0xa0 0000095c: SHL 0000095d: SUB 0000095e: AND 0000095f: SWAP1 00000960: JUMP 00000961: JUMPDEST 00000962: PUSH1 0x40 00000964: MLOAD 00000965: PUSH1 0xe0 00000967: DUP9 00000968: SWAP1 00000969: SHL 0000096a: PUSH1 0x01 0000096c: PUSH1 0x01 0000096e: PUSH1 0xe0 00000970: SHL 00000971: SUB 00000972: NOT 00000973: AND 00000974: DUP2 00000975: MSTORE 00000976: PUSH1 0x01 00000978: PUSH1 0x01 0000097a: PUSH1 0xa0 0000097c: SHL 0000097d: SUB 0000097e: SWAP6 0000097f: DUP7 00000980: AND 00000981: PUSH1 0x04 00000983: DUP3 00000984: ADD 00000985: MSTORE 00000986: PUSH1 0x24 00000988: DUP2 00000989: ADD 0000098a: SWAP5 0000098b: SWAP1 0000098c: SWAP5 0000098d: MSTORE 0000098e: PUSH1 0x44 00000990: DUP5 00000991: ADD 00000992: SWAP3 00000993: SWAP1 00000994: SWAP3 00000995: MSTORE 00000996: PUSH1 0x64 00000998: DUP4 00000999: ADD 0000099a: MSTORE 0000099b: SWAP1 0000099c: SWAP2 0000099d: AND 0000099e: PUSH1 0x84 000009a0: DUP3 000009a1: ADD 000009a2: MSTORE 000009a3: TIMESTAMP 000009a4: PUSH1 0xa4 000009a6: DUP3 000009a7: ADD 000009a8: MSTORE 000009a9: PUSH1 0xc4 000009ab: ADD 000009ac: PUSH1 0x60 000009ae: PUSH1 0x40 000009b0: MLOAD 000009b1: DUP1 000009b2: DUP4 000009b3: SUB 000009b4: DUP2 000009b5: DUP6 000009b6: DUP9 000009b7: GAS 000009b8: CALL 000009b9: ISZERO 000009ba: DUP1 000009bb: ISZERO 000009bc: PUSH2 0x09c7 000009bf: JUMPI 000009c0: RETURNDATASIZE 000009c1: PUSH0 000009c2: DUP1 000009c3: RETURNDATACOPY 000009c4: RETURNDATASIZE 000009c5: PUSH0 000009c6: REVERT 000009c7: JUMPDEST 000009c8: POP 000009c9: POP 000009ca: POP 000009cb: POP 000009cc: POP 000009cd: PUSH1 0x40 000009cf: MLOAD 000009d0: RETURNDATASIZE 000009d1: PUSH1 0x1f 000009d3: NOT 000009d4: PUSH1 0x1f 000009d6: DUP3 000009d7: ADD 000009d8: AND 000009d9: DUP3 000009da: ADD 000009db: DUP1 000009dc: PUSH1 0x40 000009de: MSTORE 000009df: POP 000009e0: DUP2 000009e1: ADD 000009e2: SWAP1 000009e3: PUSH2 0x09ec 000009e6: SWAP2 000009e7: SWAP1 000009e8: PUSH2 0x192d 000009eb: JUMP 000009ec: JUMPDEST 000009ed: POP 000009ee: POP 000009ef: PUSH1 0x13 000009f1: SLOAD 000009f2: PUSH1 0x12 000009f4: SLOAD 000009f5: PUSH1 0x40 000009f7: MLOAD 000009f8: PUSH4 0x095ea7b3 000009fd: PUSH1 0xe0 000009ff: SHL 00000a00: DUP2 00000a01: MSTORE 00000a02: PUSH1 0x01 00000a04: PUSH1 0x01 00000a06: PUSH1 0xa0 00000a08: SHL 00000a09: SUB 00000a0a: SWAP2 00000a0b: DUP3 00000a0c: AND 00000a0d: PUSH1 0x04 00000a0f: DUP3 00000a10: ADD 00000a11: MSTORE 00000a12: PUSH0 00000a13: NOT 00000a14: PUSH1 0x24 00000a16: DUP3 00000a17: ADD 00000a18: MSTORE 00000a19: SWAP2 00000a1a: AND 00000a1b: SWAP2 00000a1c: POP 00000a1d: PUSH4 0x095ea7b3 00000a22: SWAP1 00000a23: PUSH1 0x44 00000a25: ADD 00000a26: PUSH1 0x20 00000a28: PUSH1 0x40 00000a2a: MLOAD 00000a2b: DUP1 00000a2c: DUP4 00000a2d: SUB 00000a2e: DUP2 00000a2f: PUSH0 00000a30: DUP8 00000a31: GAS 00000a32: CALL 00000a33: ISZERO 00000a34: DUP1 00000a35: ISZERO 00000a36: PUSH2 0x0a41 00000a39: JUMPI 00000a3a: RETURNDATASIZE 00000a3b: PUSH0 00000a3c: DUP1 00000a3d: RETURNDATACOPY 00000a3e: RETURNDATASIZE 00000a3f: PUSH0 00000a40: REVERT 00000a41: JUMPDEST 00000a42: POP 00000a43: POP 00000a44: POP 00000a45: POP 00000a46: PUSH1 0x40 00000a48: MLOAD 00000a49: RETURNDATASIZE 00000a4a: PUSH1 0x1f 00000a4c: NOT 00000a4d: PUSH1 0x1f 00000a4f: DUP3 00000a50: ADD 00000a51: AND 00000a52: DUP3 00000a53: ADD 00000a54: DUP1 00000a55: PUSH1 0x40 00000a57: MSTORE 00000a58: POP 00000a59: DUP2 00000a5a: ADD 00000a5b: SWAP1 00000a5c: PUSH2 0x0a65 00000a5f: SWAP2 00000a60: SWAP1 00000a61: PUSH2 0x1958 00000a64: JUMP 00000a65: JUMPDEST 00000a66: POP 00000a67: PUSH1 0x13 00000a69: DUP1 00000a6a: SLOAD 00000a6b: PUSH3 0xff00ff 00000a6f: PUSH1 0xa0 00000a71: SHL 00000a72: NOT 00000a73: AND 00000a74: PUSH3 0x010001 00000a78: PUSH1 0xa0 00000a7a: SHL 00000a7b: OR 00000a7c: SWAP1 00000a7d: SSTORE 00000a7e: JUMP 00000a7f: JUMPDEST 00000a80: PUSH0 00000a81: SLOAD 00000a82: PUSH1 0x01 00000a84: PUSH1 0x01 00000a86: PUSH1 0xa0 00000a88: SHL 00000a89: SUB 00000a8a: AND 00000a8b: CALLER 00000a8c: EQ 00000a8d: PUSH2 0x0aa8 00000a90: JUMPI 00000a91: PUSH1 0x40 00000a93: MLOAD 00000a94: PUSH3 0x461bcd 00000a98: PUSH1 0xe5 00000a9a: SHL 00000a9b: DUP2 00000a9c: MSTORE 00000a9d: PUSH1 0x04 00000a9f: ADD 00000aa0: PUSH2 0x04f0 00000aa3: SWAP1 00000aa4: PUSH2 0x18c9 00000aa7: JUMP 00000aa8: JUMPDEST 00000aa9: PUSH0 00000aaa: JUMPDEST 00000aab: DUP2 00000aac: MLOAD 00000aad: DUP2 00000aae: LT 00000aaf: ISZERO 00000ab0: PUSH2 0x0553 00000ab3: JUMPI 00000ab4: PUSH1 0x01 00000ab6: PUSH1 0x04 00000ab8: PUSH0 00000ab9: DUP5 00000aba: DUP5 00000abb: DUP2 00000abc: MLOAD 00000abd: DUP2 00000abe: LT 00000abf: PUSH2 0x0aca 00000ac2: JUMPI 00000ac3: PUSH2 0x0aca 00000ac6: PUSH2 0x18fe 00000ac9: JUMP 00000aca: JUMPDEST 00000acb: PUSH1 0x20 00000acd: SWAP1 00000ace: DUP2 00000acf: MUL 00000ad0: SWAP2 00000ad1: SWAP1 00000ad2: SWAP2 00000ad3: ADD 00000ad4: DUP2 00000ad5: ADD 00000ad6: MLOAD 00000ad7: PUSH1 0x01 00000ad9: PUSH1 0x01 00000adb: PUSH1 0xa0 00000add: SHL 00000ade: SUB 00000adf: AND 00000ae0: DUP3 00000ae1: MSTORE 00000ae2: DUP2 00000ae3: ADD 00000ae4: SWAP2 00000ae5: SWAP1 00000ae6: SWAP2 00000ae7: MSTORE 00000ae8: PUSH1 0x40 00000aea: ADD 00000aeb: PUSH0 00000aec: KECCAK256 00000aed: DUP1 00000aee: SLOAD 00000aef: PUSH1 0xff 00000af1: NOT 00000af2: AND 00000af3: SWAP2 00000af4: ISZERO 00000af5: ISZERO 00000af6: SWAP2 00000af7: SWAP1 00000af8: SWAP2 00000af9: OR 00000afa: SWAP1 00000afb: SSTORE 00000afc: PUSH1 0x01 00000afe: ADD 00000aff: PUSH2 0x0aaa 00000b02: JUMP 00000b03: JUMPDEST 00000b04: PUSH1 0x05 00000b06: SLOAD 00000b07: PUSH1 0x01 00000b09: PUSH1 0x01 00000b0b: PUSH1 0xa0 00000b0d: SHL 00000b0e: SUB 00000b0f: AND 00000b10: CALLER 00000b11: PUSH1 0x01 00000b13: PUSH1 0x01 00000b15: PUSH1 0xa0 00000b17: SHL 00000b18: SUB 00000b19: AND 00000b1a: EQ 00000b1b: PUSH2 0x0b22 00000b1e: JUMPI 00000b1f: PUSH0 00000b20: DUP1 00000b21: REVERT 00000b22: JUMPDEST 00000b23: PUSH1 0x08 00000b25: SLOAD 00000b26: DUP2 00000b27: GT 00000b28: ISZERO 00000b29: DUP1 00000b2a: ISZERO 00000b2b: PUSH2 0x0b36 00000b2e: JUMPI 00000b2f: POP 00000b30: PUSH1 0x09 00000b32: SLOAD 00000b33: DUP2 00000b34: GT 00000b35: ISZERO 00000b36: JUMPDEST 00000b37: PUSH2 0x0b3e 00000b3a: JUMPI 00000b3b: PUSH0 00000b3c: DUP1 00000b3d: REVERT 00000b3e: JUMPDEST 00000b3f: PUSH1 0x08 00000b41: DUP2 00000b42: SWAP1 00000b43: SSTORE 00000b44: PUSH1 0x09 00000b46: SSTORE 00000b47: JUMP 00000b48: JUMPDEST 00000b49: PUSH1 0x01 00000b4b: PUSH1 0x01 00000b4d: PUSH1 0xa0 00000b4f: SHL 00000b50: SUB 00000b51: DUP4 00000b52: AND 00000b53: PUSH2 0x0baa 00000b56: JUMPI 00000b57: PUSH1 0x40 00000b59: MLOAD 00000b5a: PUSH3 0x461bcd 00000b5e: PUSH1 0xe5 00000b60: SHL 00000b61: DUP2 00000b62: MSTORE 00000b63: PUSH1 0x20 00000b65: PUSH1 0x04 00000b67: DUP3 00000b68: ADD 00000b69: MSTORE 00000b6a: PUSH1 0x24 00000b6c: DUP1 00000b6d: DUP3 00000b6e: ADD 00000b6f: MSTORE 00000b70: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464 00000b91: PUSH1 0x44 00000b93: DUP3 00000b94: ADD 00000b95: MSTORE 00000b96: PUSH4 0x72657373 00000b9b: PUSH1 0xe0 00000b9d: SHL 00000b9e: PUSH1 0x64 00000ba0: DUP3 00000ba1: ADD 00000ba2: MSTORE 00000ba3: PUSH1 0x84 00000ba5: ADD 00000ba6: PUSH2 0x04f0 00000ba9: JUMP 00000baa: JUMPDEST 00000bab: PUSH1 0x01 00000bad: PUSH1 0x01 00000baf: PUSH1 0xa0 00000bb1: SHL 00000bb2: SUB 00000bb3: DUP3 00000bb4: AND 00000bb5: PUSH2 0x0c0b 00000bb8: JUMPI 00000bb9: PUSH1 0x40 00000bbb: MLOAD 00000bbc: PUSH3 0x461bcd 00000bc0: PUSH1 0xe5 00000bc2: SHL 00000bc3: DUP2 00000bc4: MSTORE 00000bc5: PUSH1 0x20 00000bc7: PUSH1 0x04 00000bc9: DUP3 00000bca: ADD 00000bcb: MSTORE 00000bcc: PUSH1 0x22 00000bce: PUSH1 0x24 00000bd0: DUP3 00000bd1: ADD 00000bd2: MSTORE 00000bd3: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265 00000bf4: PUSH1 0x44 00000bf6: DUP3 00000bf7: ADD 00000bf8: MSTORE 00000bf9: PUSH2 0x7373 00000bfc: PUSH1 0xf0 00000bfe: SHL 00000bff: PUSH1 0x64 00000c01: DUP3 00000c02: ADD 00000c03: MSTORE 00000c04: PUSH1 0x84 00000c06: ADD 00000c07: PUSH2 0x04f0 00000c0a: JUMP 00000c0b: JUMPDEST 00000c0c: PUSH1 0x01 00000c0e: PUSH1 0x01 00000c10: PUSH1 0xa0 00000c12: SHL 00000c13: SUB 00000c14: DUP4 00000c15: DUP2 00000c16: AND 00000c17: PUSH0 00000c18: DUP2 00000c19: DUP2 00000c1a: MSTORE 00000c1b: PUSH1 0x02 00000c1d: PUSH1 0x20 00000c1f: SWAP1 00000c20: DUP2 00000c21: MSTORE 00000c22: PUSH1 0x40 00000c24: DUP1 00000c25: DUP4 00000c26: KECCAK256 00000c27: SWAP5 00000c28: DUP8 00000c29: AND 00000c2a: DUP1 00000c2b: DUP5 00000c2c: MSTORE 00000c2d: SWAP5 00000c2e: DUP3 00000c2f: MSTORE 00000c30: SWAP2 00000c31: DUP3 00000c32: SWAP1 00000c33: KECCAK256 00000c34: DUP6 00000c35: SWAP1 00000c36: SSTORE 00000c37: SWAP1 00000c38: MLOAD 00000c39: DUP5 00000c3a: DUP2 00000c3b: MSTORE 00000c3c: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000c5d: SWAP2 00000c5e: ADD 00000c5f: PUSH1 0x40 00000c61: MLOAD 00000c62: DUP1 00000c63: SWAP2 00000c64: SUB 00000c65: SWAP1 00000c66: LOG3 00000c67: POP 00000c68: POP 00000c69: POP 00000c6a: JUMP 00000c6b: JUMPDEST 00000c6c: PUSH1 0x01 00000c6e: PUSH1 0x01 00000c70: PUSH1 0xa0 00000c72: SHL 00000c73: SUB 00000c74: DUP4 00000c75: AND 00000c76: PUSH2 0x0ccf 00000c79: JUMPI 00000c7a: PUSH1 0x40 00000c7c: MLOAD 00000c7d: PUSH3 0x461bcd 00000c81: PUSH1 0xe5 00000c83: SHL 00000c84: DUP2 00000c85: MSTORE 00000c86: PUSH1 0x20 00000c88: PUSH1 0x04 00000c8a: DUP3 00000c8b: ADD 00000c8c: MSTORE 00000c8d: PUSH1 0x25 00000c8f: PUSH1 0x24 00000c91: DUP3 00000c92: ADD 00000c93: MSTORE 00000c94: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164 00000cb5: PUSH1 0x44 00000cb7: DUP3 00000cb8: ADD 00000cb9: MSTORE 00000cba: PUSH5 0x6472657373 00000cc0: PUSH1 0xd8 00000cc2: SHL 00000cc3: PUSH1 0x64 00000cc5: DUP3 00000cc6: ADD 00000cc7: MSTORE 00000cc8: PUSH1 0x84 00000cca: ADD 00000ccb: PUSH2 0x04f0 00000cce: JUMP 00000ccf: JUMPDEST 00000cd0: PUSH1 0x01 00000cd2: PUSH1 0x01 00000cd4: PUSH1 0xa0 00000cd6: SHL 00000cd7: SUB 00000cd8: DUP3 00000cd9: AND 00000cda: PUSH2 0x0d31 00000cdd: JUMPI 00000cde: PUSH1 0x40 00000ce0: MLOAD 00000ce1: PUSH3 0x461bcd 00000ce5: PUSH1 0xe5 00000ce7: SHL 00000ce8: DUP2 00000ce9: MSTORE 00000cea: PUSH1 0x20 00000cec: PUSH1 0x04 00000cee: DUP3 00000cef: ADD 00000cf0: MSTORE 00000cf1: PUSH1 0x23 00000cf3: PUSH1 0x24 00000cf5: DUP3 00000cf6: ADD 00000cf7: MSTORE 00000cf8: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472 00000d19: PUSH1 0x44 00000d1b: DUP3 00000d1c: ADD 00000d1d: MSTORE 00000d1e: PUSH3 0x657373 00000d22: PUSH1 0xe8 00000d24: SHL 00000d25: PUSH1 0x64 00000d27: DUP3 00000d28: ADD 00000d29: MSTORE 00000d2a: PUSH1 0x84 00000d2c: ADD 00000d2d: PUSH2 0x04f0 00000d30: JUMP 00000d31: JUMPDEST 00000d32: PUSH0 00000d33: DUP2 00000d34: GT 00000d35: PUSH2 0x0d92 00000d38: JUMPI 00000d39: PUSH1 0x40 00000d3b: MLOAD 00000d3c: PUSH3 0x461bcd 00000d40: PUSH1 0xe5 00000d42: SHL 00000d43: DUP2 00000d44: MSTORE 00000d45: PUSH1 0x20 00000d47: PUSH1 0x04 00000d49: DUP3 00000d4a: ADD 00000d4b: MSTORE 00000d4c: PUSH1 0x29 00000d4e: PUSH1 0x24 00000d50: DUP3 00000d51: ADD 00000d52: MSTORE 00000d53: PUSH32 0x5472616e7366657220616d6f756e74206d757374206265206772656174657220 00000d74: PUSH1 0x44 00000d76: DUP3 00000d77: ADD 00000d78: MSTORE 00000d79: PUSH9 0x7468616e207a65726f 00000d83: PUSH1 0xb8 00000d85: SHL 00000d86: PUSH1 0x64 00000d88: DUP3 00000d89: ADD 00000d8a: MSTORE 00000d8b: PUSH1 0x84 00000d8d: ADD 00000d8e: PUSH2 0x04f0 00000d91: JUMP 00000d92: JUMPDEST 00000d93: PUSH0 00000d94: DUP1 00000d95: SLOAD 00000d96: PUSH1 0x01 00000d98: PUSH1 0x01 00000d9a: PUSH1 0xa0 00000d9c: SHL 00000d9d: SUB 00000d9e: DUP6 00000d9f: DUP2 00000da0: AND 00000da1: SWAP2 00000da2: AND 00000da3: EQ 00000da4: DUP1 00000da5: ISZERO 00000da6: SWAP1 00000da7: PUSH2 0x0dbd 00000daa: JUMPI 00000dab: POP 00000dac: PUSH0 00000dad: SLOAD 00000dae: PUSH1 0x01 00000db0: PUSH1 0x01 00000db2: PUSH1 0xa0 00000db4: SHL 00000db5: SUB 00000db6: DUP5 00000db7: DUP2 00000db8: AND 00000db9: SWAP2 00000dba: AND 00000dbb: EQ 00000dbc: ISZERO 00000dbd: JUMPDEST 00000dbe: ISZERO 00000dbf: PUSH2 0x10d7 00000dc2: JUMPI 00000dc3: PUSH1 0x01 00000dc5: PUSH1 0x01 00000dc7: PUSH1 0xa0 00000dc9: SHL 00000dca: SUB 00000dcb: DUP5 00000dcc: AND 00000dcd: PUSH0 00000dce: SWAP1 00000dcf: DUP2 00000dd0: MSTORE 00000dd1: PUSH1 0x04 00000dd3: PUSH1 0x20 00000dd5: MSTORE 00000dd6: PUSH1 0x40 00000dd8: SWAP1 00000dd9: KECCAK256 00000dda: SLOAD 00000ddb: PUSH1 0xff 00000ddd: AND 00000dde: ISZERO 00000ddf: DUP1 00000de0: ISZERO 00000de1: PUSH2 0x0e02 00000de4: JUMPI 00000de5: POP 00000de6: PUSH1 0x01 00000de8: PUSH1 0x01 00000dea: PUSH1 0xa0 00000dec: SHL 00000ded: SUB 00000dee: DUP4 00000def: AND 00000df0: PUSH0 00000df1: SWAP1 00000df2: DUP2 00000df3: MSTORE 00000df4: PUSH1 0x04 00000df6: PUSH1 0x20 00000df8: MSTORE 00000df9: PUSH1 0x40 00000dfb: SWAP1 00000dfc: KECCAK256 00000dfd: SLOAD 00000dfe: PUSH1 0xff 00000e00: AND 00000e01: ISZERO 00000e02: JUMPDEST 00000e03: PUSH2 0x0e0a 00000e06: JUMPI 00000e07: PUSH0 00000e08: DUP1 00000e09: REVERT 00000e0a: JUMPDEST 00000e0b: PUSH2 0x0e36 00000e0e: PUSH1 0x64 00000e10: PUSH2 0x0e30 00000e13: PUSH1 0x0a 00000e15: SLOAD 00000e16: PUSH1 0x0d 00000e18: SLOAD 00000e19: GT 00000e1a: PUSH2 0x0e25 00000e1d: JUMPI 00000e1e: PUSH1 0x06 00000e20: SLOAD 00000e21: PUSH2 0x0e29 00000e24: JUMP 00000e25: JUMPDEST 00000e26: PUSH1 0x08 00000e28: SLOAD 00000e29: JUMPDEST 00000e2a: DUP6 00000e2b: SWAP1 00000e2c: PUSH2 0x13f3 00000e2f: JUMP 00000e30: JUMPDEST 00000e31: SWAP1 00000e32: PUSH2 0x1478 00000e35: JUMP 00000e36: JUMPDEST 00000e37: PUSH1 0x13 00000e39: SLOAD 00000e3a: SWAP1 00000e3b: SWAP2 00000e3c: POP 00000e3d: PUSH1 0x01 00000e3f: PUSH1 0x01 00000e41: PUSH1 0xa0 00000e43: SHL 00000e44: SUB 00000e45: DUP6 00000e46: DUP2 00000e47: AND 00000e48: SWAP2 00000e49: AND 00000e4a: EQ 00000e4b: DUP1 00000e4c: ISZERO 00000e4d: PUSH2 0x0e64 00000e50: JUMPI 00000e51: POP 00000e52: PUSH1 0x12 00000e54: SLOAD 00000e55: PUSH1 0x01 00000e57: PUSH1 0x01 00000e59: PUSH1 0xa0 00000e5b: SHL 00000e5c: SUB 00000e5d: DUP5 00000e5e: DUP2 00000e5f: AND 00000e60: SWAP2 00000e61: AND 00000e62: EQ 00000e63: ISZERO 00000e64: JUMPDEST 00000e65: DUP1 00000e66: ISZERO 00000e67: PUSH2 0x0e88 00000e6a: JUMPI 00000e6b: POP 00000e6c: PUSH1 0x01 00000e6e: PUSH1 0x01 00000e70: PUSH1 0xa0 00000e72: SHL 00000e73: SUB 00000e74: DUP4 00000e75: AND 00000e76: PUSH0 00000e77: SWAP1 00000e78: DUP2 00000e79: MSTORE 00000e7a: PUSH1 0x03 00000e7c: PUSH1 0x20 00000e7e: MSTORE 00000e7f: PUSH1 0x40 00000e81: SWAP1 00000e82: KECCAK256 00000e83: SLOAD 00000e84: PUSH1 0xff 00000e86: AND 00000e87: ISZERO 00000e88: JUMPDEST 00000e89: ISZERO 00000e8a: PUSH2 0x0f6e 00000e8d: JUMPI 00000e8e: PUSH1 0x0e 00000e90: SLOAD 00000e91: DUP3 00000e92: GT 00000e93: ISZERO 00000e94: PUSH2 0x0edf 00000e97: JUMPI 00000e98: PUSH1 0x40 00000e9a: MLOAD 00000e9b: PUSH3 0x461bcd 00000e9f: PUSH1 0xe5 00000ea1: SHL 00000ea2: DUP2 00000ea3: MSTORE 00000ea4: PUSH1 0x20 00000ea6: PUSH1 0x04 00000ea8: DUP3 00000ea9: ADD 00000eaa: MSTORE 00000eab: PUSH1 0x19 00000ead: PUSH1 0x24 00000eaf: DUP3 00000eb0: ADD 00000eb1: MSTORE 00000eb2: PUSH32 0x4578636565647320746865205f6d61785478416d6f756e742e00000000000000 00000ed3: PUSH1 0x44 00000ed5: DUP3 00000ed6: ADD 00000ed7: MSTORE 00000ed8: PUSH1 0x64 00000eda: ADD 00000edb: PUSH2 0x04f0 00000ede: JUMP 00000edf: JUMPDEST 00000ee0: PUSH1 0x0f 00000ee2: SLOAD 00000ee3: DUP3 00000ee4: PUSH2 0x0f01 00000ee7: DUP6 00000ee8: PUSH1 0x01 00000eea: PUSH1 0x01 00000eec: PUSH1 0xa0 00000eee: SHL 00000eef: SUB 00000ef0: AND 00000ef1: PUSH0 00000ef2: SWAP1 00000ef3: DUP2 00000ef4: MSTORE 00000ef5: PUSH1 0x01 00000ef7: PUSH1 0x20 00000ef9: MSTORE 00000efa: PUSH1 0x40 00000efc: SWAP1 00000efd: KECCAK256 00000efe: SLOAD 00000eff: SWAP1 00000f00: JUMP 00000f01: JUMPDEST 00000f02: PUSH2 0x0f0b 00000f05: SWAP2 00000f06: SWAP1 00000f07: PUSH2 0x1977 00000f0a: JUMP 00000f0b: JUMPDEST 00000f0c: GT 00000f0d: ISZERO 00000f0e: PUSH2 0x0f59 00000f11: JUMPI 00000f12: PUSH1 0x40 00000f14: MLOAD 00000f15: PUSH3 0x461bcd 00000f19: PUSH1 0xe5 00000f1b: SHL 00000f1c: DUP2 00000f1d: MSTORE 00000f1e: PUSH1 0x20 00000f20: PUSH1 0x04 00000f22: DUP3 00000f23: ADD 00000f24: MSTORE 00000f25: PUSH1 0x1a 00000f27: PUSH1 0x24 00000f29: DUP3 00000f2a: ADD 00000f2b: MSTORE 00000f2c: PUSH32 0x4578636565647320746865206d617857616c6c657453697a652e000000000000 00000f4d: PUSH1 0x44 00000f4f: DUP3 00000f50: ADD 00000f51: MSTORE 00000f52: PUSH1 0x64 00000f54: ADD 00000f55: PUSH2 0x04f0 00000f58: JUMP 00000f59: JUMPDEST 00000f5a: PUSH1 0x0d 00000f5c: DUP1 00000f5d: SLOAD 00000f5e: SWAP1 00000f5f: PUSH0 00000f60: PUSH2 0x0f68 00000f63: DUP4 00000f64: PUSH2 0x198a 00000f67: JUMP 00000f68: JUMPDEST 00000f69: SWAP2 00000f6a: SWAP1 00000f6b: POP 00000f6c: SSTORE 00000f6d: POP 00000f6e: JUMPDEST 00000f6f: PUSH1 0x13 00000f71: SLOAD 00000f72: PUSH1 0x01 00000f74: PUSH1 0x01 00000f76: PUSH1 0xa0 00000f78: SHL 00000f79: SUB 00000f7a: DUP5 00000f7b: DUP2 00000f7c: AND 00000f7d: SWAP2 00000f7e: AND 00000f7f: EQ 00000f80: DUP1 00000f81: ISZERO 00000f82: PUSH2 0x0f94 00000f85: JUMPI 00000f86: POP 00000f87: PUSH1 0x01 00000f89: PUSH1 0x01 00000f8b: PUSH1 0xa0 00000f8d: SHL 00000f8e: SUB 00000f8f: DUP5 00000f90: AND 00000f91: ADDRESS 00000f92: EQ 00000f93: ISZERO 00000f94: JUMPDEST 00000f95: ISZERO 00000f96: PUSH2 0x0fc1 00000f99: JUMPI 00000f9a: PUSH2 0x0fbe 00000f9d: PUSH1 0x64 00000f9f: PUSH2 0x0e30 00000fa2: PUSH1 0x0b 00000fa4: SLOAD 00000fa5: PUSH1 0x0d 00000fa7: SLOAD 00000fa8: GT 00000fa9: PUSH2 0x0fb4 00000fac: JUMPI 00000fad: PUSH1 0x07 00000faf: SLOAD 00000fb0: PUSH2 0x0e29 00000fb3: JUMP 00000fb4: JUMPDEST 00000fb5: PUSH1 0x09 00000fb7: SLOAD 00000fb8: DUP6 00000fb9: SWAP1 00000fba: PUSH2 0x13f3 00000fbd: JUMP 00000fbe: JUMPDEST 00000fbf: SWAP1 00000fc0: POP 00000fc1: JUMPDEST 00000fc2: ADDRESS 00000fc3: PUSH0 00000fc4: SWAP1 00000fc5: DUP2 00000fc6: MSTORE 00000fc7: PUSH1 0x01 00000fc9: PUSH1 0x20 00000fcb: MSTORE 00000fcc: PUSH1 0x40 00000fce: SWAP1 00000fcf: KECCAK256 00000fd0: SLOAD 00000fd1: PUSH1 0x13 00000fd3: SLOAD 00000fd4: PUSH1 0x01 00000fd6: PUSH1 0xa8 00000fd8: SHL 00000fd9: SWAP1 00000fda: DIV 00000fdb: PUSH1 0xff 00000fdd: AND 00000fde: ISZERO 00000fdf: DUP1 00000fe0: ISZERO 00000fe1: PUSH2 0x0ff7 00000fe4: JUMPI 00000fe5: POP 00000fe6: PUSH1 0x13 00000fe8: SLOAD 00000fe9: PUSH1 0x01 00000feb: PUSH1 0x01 00000fed: PUSH1 0xa0 00000fef: SHL 00000ff0: SUB 00000ff1: DUP6 00000ff2: DUP2 00000ff3: AND 00000ff4: SWAP2 00000ff5: AND 00000ff6: EQ 00000ff7: JUMPDEST 00000ff8: DUP1 00000ff9: ISZERO 00000ffa: PUSH2 0x100c 00000ffd: JUMPI 00000ffe: POP 00000fff: PUSH1 0x13 00001001: SLOAD 00001002: PUSH1 0x01 00001004: PUSH1 0xb0 00001006: SHL 00001007: SWAP1 00001008: DIV 00001009: PUSH1 0xff 0000100b: AND 0000100c: JUMPDEST 0000100d: DUP1 0000100e: ISZERO 0000100f: PUSH2 0x1019 00001012: JUMPI 00001013: POP 00001014: PUSH1 0x10 00001016: SLOAD 00001017: DUP2 00001018: GT 00001019: JUMPDEST 0000101a: DUP1 0000101b: ISZERO 0000101c: PUSH2 0x1028 0000101f: JUMPI 00001020: POP 00001021: PUSH1 0x0c 00001023: SLOAD 00001024: PUSH1 0x0d 00001026: SLOAD 00001027: GT 00001028: JUMPDEST 00001029: ISZERO 0000102a: PUSH2 0x10d5 0000102d: JUMPI 0000102e: PUSH1 0x15 00001030: SLOAD 00001031: NUMBER 00001032: GT 00001033: ISZERO 00001034: PUSH2 0x103c 00001037: JUMPI 00001038: PUSH0 00001039: PUSH1 0x14 0000103b: SSTORE 0000103c: JUMPDEST 0000103d: PUSH1 0x03 0000103f: PUSH1 0x14 00001041: SLOAD 00001042: LT 00001043: PUSH2 0x108e 00001046: JUMPI 00001047: PUSH1 0x40 00001049: MLOAD 0000104a: PUSH3 0x461bcd 0000104e: PUSH1 0xe5 00001050: SHL 00001051: DUP2 00001052: MSTORE 00001053: PUSH1 0x20 00001055: PUSH1 0x04 00001057: DUP3 00001058: ADD 00001059: MSTORE 0000105a: PUSH1 0x17 0000105c: PUSH1 0x24 0000105e: DUP3 0000105f: ADD 00001060: MSTORE 00001061: PUSH32 0x4f6e6c7920332073656c6c732070657220626c6f636b21000000000000000000 00001082: PUSH1 0x44 00001084: DUP3 00001085: ADD 00001086: MSTORE 00001087: PUSH1 0x64 00001089: ADD 0000108a: PUSH2 0x04f0 0000108d: JUMP 0000108e: JUMPDEST 0000108f: PUSH2 0x10ab 00001092: PUSH2 0x10a6 00001095: DUP5 00001096: PUSH2 0x10a1 00001099: DUP5 0000109a: PUSH1 0x11 0000109c: SLOAD 0000109d: PUSH2 0x14b9 000010a0: JUMP 000010a1: JUMPDEST 000010a2: PUSH2 0x14b9 000010a5: JUMP 000010a6: JUMPDEST 000010a7: PUSH2 0x124c 000010aa: JUMP 000010ab: JUMPDEST 000010ac: SELFBALANCE 000010ad: DUP1 000010ae: ISZERO 000010af: PUSH2 0x10bb 000010b2: JUMPI 000010b3: PUSH2 0x10bb 000010b6: SELFBALANCE 000010b7: PUSH2 0x13bc 000010ba: JUMP 000010bb: JUMPDEST 000010bc: PUSH1 0x14 000010be: DUP1 000010bf: SLOAD 000010c0: SWAP1 000010c1: PUSH0 000010c2: PUSH2 0x10ca 000010c5: DUP4 000010c6: PUSH2 0x198a 000010c9: JUMP 000010ca: JUMPDEST 000010cb: SWAP1 000010cc: SWAP2 000010cd: SSTORE 000010ce: POP 000010cf: POP 000010d0: NUMBER 000010d1: PUSH1 0x15 000010d3: SSTORE 000010d4: POP 000010d5: JUMPDEST 000010d6: POP 000010d7: JUMPDEST 000010d8: DUP1 000010d9: ISZERO 000010da: PUSH2 0x114f 000010dd: JUMPI 000010de: ADDRESS 000010df: PUSH0 000010e0: SWAP1 000010e1: DUP2 000010e2: MSTORE 000010e3: PUSH1 0x01 000010e5: PUSH1 0x20 000010e7: MSTORE 000010e8: PUSH1 0x40 000010ea: SWAP1 000010eb: KECCAK256 000010ec: SLOAD 000010ed: PUSH2 0x10f6 000010f0: SWAP1 000010f1: DUP3 000010f2: PUSH2 0x14cd 000010f5: JUMP 000010f6: JUMPDEST 000010f7: ADDRESS 000010f8: PUSH0 000010f9: DUP2 000010fa: DUP2 000010fb: MSTORE 000010fc: PUSH1 0x01 000010fe: PUSH1 0x20 00001100: MSTORE 00001101: PUSH1 0x40 00001103: SWAP1 00001104: DUP2 00001105: SWAP1 00001106: KECCAK256 00001107: SWAP3 00001108: SWAP1 00001109: SWAP3 0000110a: SSTORE 0000110b: SWAP1 0000110c: MLOAD 0000110d: PUSH1 0x01 0000110f: PUSH1 0x01 00001111: PUSH1 0xa0 00001113: SHL 00001114: SUB 00001115: DUP7 00001116: AND 00001117: SWAP1 00001118: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001139: SWAP1 0000113a: PUSH2 0x1146 0000113d: SWAP1 0000113e: DUP6 0000113f: DUP2 00001140: MSTORE 00001141: PUSH1 0x20 00001143: ADD 00001144: SWAP1 00001145: JUMP 00001146: JUMPDEST 00001147: PUSH1 0x40 00001149: MLOAD 0000114a: DUP1 0000114b: SWAP2 0000114c: SUB 0000114d: SWAP1 0000114e: LOG3 0000114f: JUMPDEST 00001150: PUSH1 0x01 00001152: PUSH1 0x01 00001154: PUSH1 0xa0 00001156: SHL 00001157: SUB 00001158: DUP5 00001159: AND 0000115a: PUSH0 0000115b: SWAP1 0000115c: DUP2 0000115d: MSTORE 0000115e: PUSH1 0x01 00001160: PUSH1 0x20 00001162: MSTORE 00001163: PUSH1 0x40 00001165: SWAP1 00001166: KECCAK256 00001167: SLOAD 00001168: PUSH2 0x1171 0000116b: SWAP1 0000116c: DUP4 0000116d: PUSH2 0x152b 00001170: JUMP 00001171: JUMPDEST 00001172: PUSH1 0x01 00001174: PUSH1 0x01 00001176: PUSH1 0xa0 00001178: SHL 00001179: SUB 0000117a: DUP6 0000117b: AND 0000117c: PUSH0 0000117d: SWAP1 0000117e: DUP2 0000117f: MSTORE 00001180: PUSH1 0x01 00001182: PUSH1 0x20 00001184: MSTORE 00001185: PUSH1 0x40 00001187: SWAP1 00001188: KECCAK256 00001189: SSTORE 0000118a: PUSH2 0x11b4 0000118d: PUSH2 0x1196 00001190: DUP4 00001191: DUP4 00001192: PUSH2 0x152b 00001195: JUMP 00001196: JUMPDEST 00001197: PUSH1 0x01 00001199: PUSH1 0x01 0000119b: PUSH1 0xa0 0000119d: SHL 0000119e: SUB 0000119f: DUP6 000011a0: AND 000011a1: PUSH0 000011a2: SWAP1 000011a3: DUP2 000011a4: MSTORE 000011a5: PUSH1 0x01 000011a7: PUSH1 0x20 000011a9: MSTORE 000011aa: PUSH1 0x40 000011ac: SWAP1 000011ad: KECCAK256 000011ae: SLOAD 000011af: SWAP1 000011b0: PUSH2 0x14cd 000011b3: JUMP 000011b4: JUMPDEST 000011b5: PUSH1 0x01 000011b7: PUSH1 0x01 000011b9: PUSH1 0xa0 000011bb: SHL 000011bc: SUB 000011bd: DUP1 000011be: DUP6 000011bf: AND 000011c0: PUSH0 000011c1: DUP2 000011c2: DUP2 000011c3: MSTORE 000011c4: PUSH1 0x01 000011c6: PUSH1 0x20 000011c8: MSTORE 000011c9: PUSH1 0x40 000011cb: SWAP1 000011cc: KECCAK256 000011cd: SWAP3 000011ce: SWAP1 000011cf: SWAP3 000011d0: SSTORE 000011d1: DUP6 000011d2: AND 000011d3: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000011f4: PUSH2 0x11fd 000011f7: DUP6 000011f8: DUP6 000011f9: PUSH2 0x152b 000011fc: JUMP 000011fd: JUMPDEST 000011fe: PUSH1 0x40 00001200: MLOAD 00001201: SWAP1 00001202: DUP2 00001203: MSTORE 00001204: PUSH1 0x20 00001206: ADD 00001207: PUSH1 0x40 00001209: MLOAD 0000120a: DUP1 0000120b: SWAP2 0000120c: SUB 0000120d: SWAP1 0000120e: LOG3 0000120f: POP 00001210: POP 00001211: POP 00001212: POP 00001213: JUMP 00001214: JUMPDEST 00001215: PUSH0 00001216: DUP2 00001217: DUP5 00001218: DUP5 00001219: GT 0000121a: ISZERO 0000121b: PUSH2 0x1237 0000121e: JUMPI 0000121f: PUSH1 0x40 00001221: MLOAD 00001222: PUSH3 0x461bcd 00001226: PUSH1 0xe5 00001228: SHL 00001229: DUP2 0000122a: MSTORE 0000122b: PUSH1 0x04 0000122d: ADD 0000122e: PUSH2 0x04f0 00001231: SWAP2 00001232: SWAP1 00001233: PUSH2 0x1598 00001236: JUMP 00001237: JUMPDEST 00001238: POP 00001239: PUSH0 0000123a: PUSH2 0x1243 0000123d: DUP5 0000123e: DUP7 0000123f: PUSH2 0x19a2 00001242: JUMP 00001243: JUMPDEST 00001244: SWAP6 00001245: SWAP5 00001246: POP 00001247: POP 00001248: POP 00001249: POP 0000124a: POP 0000124b: JUMP 0000124c: JUMPDEST 0000124d: PUSH1 0x13 0000124f: DUP1 00001250: SLOAD 00001251: PUSH1 0xff 00001253: PUSH1 0xa8 00001255: SHL 00001256: NOT 00001257: AND 00001258: PUSH1 0x01 0000125a: PUSH1 0xa8 0000125c: SHL 0000125d: OR 0000125e: SWAP1 0000125f: SSTORE 00001260: PUSH1 0x40 00001262: DUP1 00001263: MLOAD 00001264: PUSH1 0x02 00001266: DUP1 00001267: DUP3 00001268: MSTORE 00001269: PUSH1 0x60 0000126b: DUP3 0000126c: ADD 0000126d: DUP4 0000126e: MSTORE 0000126f: PUSH0 00001270: SWAP3 00001271: PUSH1 0x20 00001273: DUP4 00001274: ADD 00001275: SWAP1 00001276: DUP1 00001277: CALLDATASIZE 00001278: DUP4 00001279: CALLDATACOPY 0000127a: ADD 0000127b: SWAP1 0000127c: POP 0000127d: POP 0000127e: SWAP1 0000127f: POP 00001280: ADDRESS 00001281: DUP2 00001282: PUSH0 00001283: DUP2 00001284: MLOAD 00001285: DUP2 00001286: LT 00001287: PUSH2 0x1292 0000128a: JUMPI 0000128b: PUSH2 0x1292 0000128e: PUSH2 0x18fe 00001291: JUMP 00001292: JUMPDEST 00001293: PUSH1 0x01 00001295: PUSH1 0x01 00001297: PUSH1 0xa0 00001299: SHL 0000129a: SUB 0000129b: SWAP3 0000129c: DUP4 0000129d: AND 0000129e: PUSH1 0x20 000012a0: SWAP2 000012a1: DUP3 000012a2: MUL 000012a3: SWAP3 000012a4: SWAP1 000012a5: SWAP3 000012a6: ADD 000012a7: DUP2 000012a8: ADD 000012a9: SWAP2 000012aa: SWAP1 000012ab: SWAP2 000012ac: MSTORE 000012ad: PUSH1 0x12 000012af: SLOAD 000012b0: PUSH1 0x40 000012b2: DUP1 000012b3: MLOAD 000012b4: PUSH4 0x15ab88c9 000012b9: PUSH1 0xe3 000012bb: SHL 000012bc: DUP2 000012bd: MSTORE 000012be: SWAP1 000012bf: MLOAD 000012c0: SWAP2 000012c1: SWAP1 000012c2: SWAP4 000012c3: AND 000012c4: SWAP3 000012c5: PUSH4 0xad5c4648 000012ca: SWAP3 000012cb: PUSH1 0x04 000012cd: DUP1 000012ce: DUP4 000012cf: ADD 000012d0: SWAP4 000012d1: SWAP2 000012d2: SWAP3 000012d3: DUP3 000012d4: SWAP1 000012d5: SUB 000012d6: ADD 000012d7: DUP2 000012d8: DUP7 000012d9: GAS 000012da: STATICCALL 000012db: ISZERO 000012dc: DUP1 000012dd: ISZERO 000012de: PUSH2 0x12e9 000012e1: JUMPI 000012e2: RETURNDATASIZE 000012e3: PUSH0 000012e4: DUP1 000012e5: RETURNDATACOPY 000012e6: RETURNDATASIZE 000012e7: PUSH0 000012e8: REVERT 000012e9: JUMPDEST 000012ea: POP 000012eb: POP 000012ec: POP 000012ed: POP 000012ee: PUSH1 0x40 000012f0: MLOAD 000012f1: RETURNDATASIZE 000012f2: PUSH1 0x1f 000012f4: NOT 000012f5: PUSH1 0x1f 000012f7: DUP3 000012f8: ADD 000012f9: AND 000012fa: DUP3 000012fb: ADD 000012fc: DUP1 000012fd: PUSH1 0x40 000012ff: MSTORE 00001300: POP 00001301: DUP2 00001302: ADD 00001303: SWAP1 00001304: PUSH2 0x130d 00001307: SWAP2 00001308: SWAP1 00001309: PUSH2 0x1912 0000130c: JUMP 0000130d: JUMPDEST 0000130e: DUP2 0000130f: PUSH1 0x01 00001311: DUP2 00001312: MLOAD 00001313: DUP2 00001314: LT 00001315: PUSH2 0x1320 00001318: JUMPI 00001319: PUSH2 0x1320 0000131c: PUSH2 0x18fe 0000131f: JUMP 00001320: JUMPDEST 00001321: PUSH1 0x01 00001323: PUSH1 0x01 00001325: PUSH1 0xa0 00001327: SHL 00001328: SUB 00001329: SWAP3 0000132a: DUP4 0000132b: AND 0000132c: PUSH1 0x20 0000132e: SWAP2 0000132f: DUP3 00001330: MUL 00001331: SWAP3 00001332: SWAP1 00001333: SWAP3 00001334: ADD 00001335: ADD 00001336: MSTORE 00001337: PUSH1 0x12 00001339: SLOAD 0000133a: PUSH2 0x1346 0000133d: SWAP2 0000133e: ADDRESS 0000133f: SWAP2 00001340: AND 00001341: DUP5 00001342: PUSH2 0x0b48 00001345: JUMP 00001346: JUMPDEST 00001347: PUSH1 0x12 00001349: SLOAD 0000134a: PUSH1 0x40 0000134c: MLOAD 0000134d: PUSH4 0x791ac947 00001352: PUSH1 0xe0 00001354: SHL 00001355: DUP2 00001356: MSTORE 00001357: PUSH1 0x01 00001359: PUSH1 0x01 0000135b: PUSH1 0xa0 0000135d: SHL 0000135e: SUB 0000135f: SWAP1 00001360: SWAP2 00001361: AND 00001362: SWAP1 00001363: PUSH4 0x791ac947 00001368: SWAP1 00001369: PUSH2 0x137e 0000136c: SWAP1 0000136d: DUP6 0000136e: SWAP1 0000136f: PUSH0 00001370: SWAP1 00001371: DUP7 00001372: SWAP1 00001373: ADDRESS 00001374: SWAP1 00001375: TIMESTAMP 00001376: SWAP1 00001377: PUSH1 0x04 00001379: ADD 0000137a: PUSH2 0x19b5 0000137d: JUMP 0000137e: JUMPDEST 0000137f: PUSH0 00001380: PUSH1 0x40 00001382: MLOAD 00001383: DUP1 00001384: DUP4 00001385: SUB 00001386: DUP2 00001387: PUSH0 00001388: DUP8 00001389: DUP1 0000138a: EXTCODESIZE 0000138b: ISZERO 0000138c: DUP1 0000138d: ISZERO 0000138e: PUSH2 0x1395 00001391: JUMPI 00001392: PUSH0 00001393: DUP1 00001394: REVERT 00001395: JUMPDEST 00001396: POP 00001397: GAS 00001398: CALL 00001399: ISZERO 0000139a: DUP1 0000139b: ISZERO 0000139c: PUSH2 0x13a7 0000139f: JUMPI 000013a0: RETURNDATASIZE 000013a1: PUSH0 000013a2: DUP1 000013a3: RETURNDATACOPY 000013a4: RETURNDATASIZE 000013a5: PUSH0 000013a6: REVERT 000013a7: JUMPDEST 000013a8: POP 000013a9: POP 000013aa: PUSH1 0x13 000013ac: DUP1 000013ad: SLOAD 000013ae: PUSH1 0xff 000013b0: PUSH1 0xa8 000013b2: SHL 000013b3: NOT 000013b4: AND 000013b5: SWAP1 000013b6: SSTORE 000013b7: POP 000013b8: POP 000013b9: POP 000013ba: POP 000013bb: JUMP 000013bc: JUMPDEST 000013bd: PUSH1 0x05 000013bf: SLOAD 000013c0: PUSH1 0x40 000013c2: MLOAD 000013c3: PUSH1 0x01 000013c5: PUSH1 0x01 000013c7: PUSH1 0xa0 000013c9: SHL 000013ca: SUB 000013cb: SWAP1 000013cc: SWAP2 000013cd: AND 000013ce: SWAP1 000013cf: DUP3 000013d0: ISZERO 000013d1: PUSH2 0x08fc 000013d4: MUL 000013d5: SWAP1 000013d6: DUP4 000013d7: SWAP1 000013d8: PUSH0 000013d9: DUP2 000013da: DUP2 000013db: DUP2 000013dc: DUP6 000013dd: DUP9 000013de: DUP9 000013df: CALL 000013e0: SWAP4 000013e1: POP 000013e2: POP 000013e3: POP 000013e4: POP 000013e5: ISZERO 000013e6: DUP1 000013e7: ISZERO 000013e8: PUSH2 0x0553 000013eb: JUMPI 000013ec: RETURNDATASIZE 000013ed: PUSH0 000013ee: DUP1 000013ef: RETURNDATACOPY 000013f0: RETURNDATASIZE 000013f1: PUSH0 000013f2: REVERT 000013f3: JUMPDEST 000013f4: PUSH0 000013f5: DUP3 000013f6: PUSH0 000013f7: SUB 000013f8: PUSH2 0x1402 000013fb: JUMPI 000013fc: POP 000013fd: PUSH0 000013fe: PUSH2 0x0439 00001401: JUMP 00001402: JUMPDEST 00001403: PUSH0 00001404: PUSH2 0x140d 00001407: DUP4 00001408: DUP6 00001409: PUSH2 0x18b2 0000140c: JUMP 0000140d: JUMPDEST 0000140e: SWAP1 0000140f: POP 00001410: DUP3 00001411: PUSH2 0x141a 00001414: DUP6 00001415: DUP4 00001416: PUSH2 0x1a26 00001419: JUMP 0000141a: JUMPDEST 0000141b: EQ 0000141c: PUSH2 0x1471 0000141f: JUMPI 00001420: PUSH1 0x40 00001422: MLOAD 00001423: PUSH3 0x461bcd 00001427: PUSH1 0xe5 00001429: SHL 0000142a: DUP2 0000142b: MSTORE 0000142c: PUSH1 0x20 0000142e: PUSH1 0x04 00001430: DUP3 00001431: ADD 00001432: MSTORE 00001433: PUSH1 0x21 00001435: PUSH1 0x24 00001437: DUP3 00001438: ADD 00001439: MSTORE 0000143a: PUSH32 0x536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f 0000145b: PUSH1 0x44 0000145d: DUP3 0000145e: ADD 0000145f: MSTORE 00001460: PUSH1 0x77 00001462: PUSH1 0xf8 00001464: SHL 00001465: PUSH1 0x64 00001467: DUP3 00001468: ADD 00001469: MSTORE 0000146a: PUSH1 0x84 0000146c: ADD 0000146d: PUSH2 0x04f0 00001470: JUMP 00001471: JUMPDEST 00001472: SWAP4 00001473: SWAP3 00001474: POP 00001475: POP 00001476: POP 00001477: JUMP 00001478: JUMPDEST 00001479: PUSH0 0000147a: PUSH2 0x1471 0000147d: DUP4 0000147e: DUP4 0000147f: PUSH1 0x40 00001481: MLOAD 00001482: DUP1 00001483: PUSH1 0x40 00001485: ADD 00001486: PUSH1 0x40 00001488: MSTORE 00001489: DUP1 0000148a: PUSH1 0x1a 0000148c: DUP2 0000148d: MSTORE 0000148e: PUSH1 0x20 00001490: ADD 00001491: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000 000014b2: DUP2 000014b3: MSTORE 000014b4: POP 000014b5: PUSH2 0x156c 000014b8: JUMP 000014b9: JUMPDEST 000014ba: PUSH0 000014bb: DUP2 000014bc: DUP4 000014bd: GT 000014be: PUSH2 0x14c7 000014c1: JUMPI 000014c2: DUP3 000014c3: PUSH2 0x1471 000014c6: JUMP 000014c7: JUMPDEST 000014c8: POP 000014c9: SWAP2 000014ca: SWAP1 000014cb: POP 000014cc: JUMP 000014cd: JUMPDEST 000014ce: PUSH0 000014cf: DUP1 000014d0: PUSH2 0x14d9 000014d3: DUP4 000014d4: DUP6 000014d5: PUSH2 0x1977 000014d8: JUMP 000014d9: JUMPDEST 000014da: SWAP1 000014db: POP 000014dc: DUP4 000014dd: DUP2 000014de: LT 000014df: ISZERO 000014e0: PUSH2 0x1471 000014e3: JUMPI 000014e4: PUSH1 0x40 000014e6: MLOAD 000014e7: PUSH3 0x461bcd 000014eb: PUSH1 0xe5 000014ed: SHL 000014ee: DUP2 000014ef: MSTORE 000014f0: PUSH1 0x20 000014f2: PUSH1 0x04 000014f4: DUP3 000014f5: ADD 000014f6: MSTORE 000014f7: PUSH1 0x1b 000014f9: PUSH1 0x24 000014fb: DUP3 000014fc: ADD 000014fd: MSTORE 000014fe: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 0000151f: PUSH1 0x44 00001521: DUP3 00001522: ADD 00001523: MSTORE 00001524: PUSH1 0x64 00001526: ADD 00001527: PUSH2 0x04f0 0000152a: JUMP 0000152b: JUMPDEST 0000152c: PUSH0 0000152d: PUSH2 0x1471 00001530: DUP4 00001531: DUP4 00001532: PUSH1 0x40 00001534: MLOAD 00001535: DUP1 00001536: PUSH1 0x40 00001538: ADD 00001539: PUSH1 0x40 0000153b: MSTORE 0000153c: DUP1 0000153d: PUSH1 0x1e 0000153f: DUP2 00001540: MSTORE 00001541: PUSH1 0x20 00001543: ADD 00001544: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 00001565: DUP2 00001566: MSTORE 00001567: POP 00001568: PUSH2 0x1214 0000156b: JUMP 0000156c: JUMPDEST 0000156d: PUSH0 0000156e: DUP2 0000156f: DUP4 00001570: PUSH2 0x158c 00001573: JUMPI 00001574: PUSH1 0x40 00001576: MLOAD 00001577: PUSH3 0x461bcd 0000157b: PUSH1 0xe5 0000157d: SHL 0000157e: DUP2 0000157f: MSTORE 00001580: PUSH1 0x04 00001582: ADD 00001583: PUSH2 0x04f0 00001586: SWAP2 00001587: SWAP1 00001588: PUSH2 0x1598 0000158b: JUMP 0000158c: JUMPDEST 0000158d: POP 0000158e: PUSH0 0000158f: PUSH2 0x1243 00001592: DUP5 00001593: DUP7 00001594: PUSH2 0x1a26 00001597: JUMP 00001598: JUMPDEST 00001599: PUSH0 0000159a: PUSH1 0x20 0000159c: DUP1 0000159d: DUP4 0000159e: MSTORE 0000159f: DUP4 000015a0: MLOAD 000015a1: DUP1 000015a2: PUSH1 0x20 000015a4: DUP6 000015a5: ADD 000015a6: MSTORE 000015a7: PUSH0 000015a8: JUMPDEST 000015a9: DUP2 000015aa: DUP2 000015ab: LT 000015ac: ISZERO 000015ad: PUSH2 0x15c4 000015b0: JUMPI 000015b1: DUP6 000015b2: DUP2 000015b3: ADD 000015b4: DUP4 000015b5: ADD 000015b6: MLOAD 000015b7: DUP6 000015b8: DUP3 000015b9: ADD 000015ba: PUSH1 0x40 000015bc: ADD 000015bd: MSTORE 000015be: DUP3 000015bf: ADD 000015c0: PUSH2 0x15a8 000015c3: JUMP 000015c4: JUMPDEST 000015c5: POP 000015c6: PUSH0 000015c7: PUSH1 0x40 000015c9: DUP3 000015ca: DUP7 000015cb: ADD 000015cc: ADD 000015cd: MSTORE 000015ce: PUSH1 0x40 000015d0: PUSH1 0x1f 000015d2: NOT 000015d3: PUSH1 0x1f 000015d5: DUP4 000015d6: ADD 000015d7: AND 000015d8: DUP6 000015d9: ADD 000015da: ADD 000015db: SWAP3 000015dc: POP 000015dd: POP 000015de: POP 000015df: SWAP3 000015e0: SWAP2 000015e1: POP 000015e2: POP 000015e3: JUMP 000015e4: JUMPDEST 000015e5: PUSH1 0x01 000015e7: PUSH1 0x01 000015e9: PUSH1 0xa0 000015eb: SHL 000015ec: SUB 000015ed: DUP2 000015ee: AND 000015ef: DUP2 000015f0: EQ 000015f1: PUSH2 0x15f8 000015f4: JUMPI 000015f5: PUSH0 000015f6: DUP1 000015f7: REVERT 000015f8: JUMPDEST 000015f9: POP 000015fa: JUMP 000015fb: JUMPDEST 000015fc: DUP1 000015fd: CALLDATALOAD 000015fe: PUSH2 0x1606 00001601: DUP2 00001602: PUSH2 0x15e4 00001605: JUMP 00001606: JUMPDEST 00001607: SWAP2 00001608: SWAP1 00001609: POP 0000160a: JUMP 0000160b: JUMPDEST 0000160c: PUSH0 0000160d: DUP1 0000160e: PUSH1 0x40 00001610: DUP4 00001611: DUP6 00001612: SUB 00001613: SLT 00001614: ISZERO 00001615: PUSH2 0x161c 00001618: JUMPI 00001619: PUSH0 0000161a: DUP1 0000161b: REVERT 0000161c: JUMPDEST 0000161d: DUP3 0000161e: CALLDATALOAD 0000161f: PUSH2 0x1627 00001622: DUP2 00001623: PUSH2 0x15e4 00001626: JUMP 00001627: JUMPDEST 00001628: SWAP5 00001629: PUSH1 0x20 0000162b: SWAP4 0000162c: SWAP1 0000162d: SWAP4 0000162e: ADD 0000162f: CALLDATALOAD 00001630: SWAP4 00001631: POP 00001632: POP 00001633: POP 00001634: JUMP 00001635: JUMPDEST 00001636: PUSH0 00001637: DUP1 00001638: PUSH0 00001639: PUSH1 0x60 0000163b: DUP5 0000163c: DUP7 0000163d: SUB 0000163e: SLT 0000163f: ISZERO 00001640: PUSH2 0x1647 00001643: JUMPI 00001644: PUSH0 00001645: DUP1 00001646: REVERT 00001647: JUMPDEST 00001648: DUP4 00001649: CALLDATALOAD 0000164a: PUSH2 0x1652 0000164d: DUP2 0000164e: PUSH2 0x15e4 00001651: JUMP 00001652: JUMPDEST 00001653: SWAP3 00001654: POP 00001655: PUSH1 0x20 00001657: DUP5 00001658: ADD 00001659: CALLDATALOAD 0000165a: PUSH2 0x1662 0000165d: DUP2 0000165e: PUSH2 0x15e4 00001661: JUMP 00001662: JUMPDEST 00001663: SWAP3 00001664: SWAP6 00001665: SWAP3 00001666: SWAP5 00001667: POP 00001668: POP 00001669: POP 0000166a: PUSH1 0x40 0000166c: SWAP2 0000166d: SWAP1 0000166e: SWAP2 0000166f: ADD 00001670: CALLDATALOAD 00001671: SWAP1 00001672: JUMP 00001673: JUMPDEST 00001674: PUSH4 0x4e487b71 00001679: PUSH1 0xe0 0000167b: SHL 0000167c: PUSH0 0000167d: MSTORE 0000167e: PUSH1 0x41 00001680: PUSH1 0x04 00001682: MSTORE 00001683: PUSH1 0x24 00001685: PUSH0 00001686: REVERT 00001687: JUMPDEST 00001688: PUSH0 00001689: PUSH1 0x20 0000168b: DUP1 0000168c: DUP4 0000168d: DUP6 0000168e: SUB 0000168f: SLT 00001690: ISZERO 00001691: PUSH2 0x1698 00001694: JUMPI 00001695: PUSH0 00001696: DUP1 00001697: REVERT 00001698: JUMPDEST 00001699: DUP3 0000169a: CALLDATALOAD 0000169b: PUSH8 0xffffffffffffffff 000016a4: DUP1 000016a5: DUP3 000016a6: GT 000016a7: ISZERO 000016a8: PUSH2 0x16af 000016ab: JUMPI 000016ac: PUSH0 000016ad: DUP1 000016ae: REVERT 000016af: JUMPDEST 000016b0: DUP2 000016b1: DUP6 000016b2: ADD 000016b3: SWAP2 000016b4: POP 000016b5: DUP6 000016b6: PUSH1 0x1f 000016b8: DUP4 000016b9: ADD 000016ba: SLT 000016bb: PUSH2 0x16c2 000016be: JUMPI 000016bf: PUSH0 000016c0: DUP1 000016c1: REVERT 000016c2: JUMPDEST 000016c3: DUP2 000016c4: CALLDATALOAD 000016c5: DUP2 000016c6: DUP2 000016c7: GT 000016c8: ISZERO 000016c9: PUSH2 0x16d4 000016cc: JUMPI 000016cd: PUSH2 0x16d4 000016d0: PUSH2 0x1673 000016d3: JUMP 000016d4: JUMPDEST 000016d5: DUP1 000016d6: PUSH1 0x05 000016d8: SHL 000016d9: PUSH1 0x40 000016db: MLOAD 000016dc: PUSH1 0x1f 000016de: NOT 000016df: PUSH1 0x3f 000016e1: DUP4 000016e2: ADD 000016e3: AND 000016e4: DUP2 000016e5: ADD 000016e6: DUP2 000016e7: DUP2 000016e8: LT 000016e9: DUP6 000016ea: DUP3 000016eb: GT 000016ec: OR 000016ed: ISZERO 000016ee: PUSH2 0x16f9 000016f1: JUMPI 000016f2: PUSH2 0x16f9 000016f5: PUSH2 0x1673 000016f8: JUMP 000016f9: JUMPDEST 000016fa: PUSH1 0x40 000016fc: MSTORE 000016fd: SWAP2 000016fe: DUP3 000016ff: MSTORE 00001700: DUP5 00001701: DUP3 00001702: ADD 00001703: SWAP3 00001704: POP 00001705: DUP4 00001706: DUP2 00001707: ADD 00001708: DUP6 00001709: ADD 0000170a: SWAP2 0000170b: DUP9 0000170c: DUP4 0000170d: GT 0000170e: ISZERO 0000170f: PUSH2 0x1716 00001712: JUMPI 00001713: PUSH0 00001714: DUP1 00001715: REVERT 00001716: JUMPDEST 00001717: SWAP4 00001718: DUP6 00001719: ADD 0000171a: SWAP4 0000171b: JUMPDEST 0000171c: DUP3 0000171d: DUP6 0000171e: LT 0000171f: ISZERO 00001720: PUSH2 0x173b 00001723: JUMPI 00001724: PUSH2 0x172c 00001727: DUP6 00001728: PUSH2 0x15fb 0000172b: JUMP 0000172c: JUMPDEST 0000172d: DUP5 0000172e: MSTORE 0000172f: SWAP4 00001730: DUP6 00001731: ADD 00001732: SWAP4 00001733: SWAP3 00001734: DUP6 00001735: ADD 00001736: SWAP3 00001737: PUSH2 0x171b 0000173a: JUMP 0000173b: JUMPDEST 0000173c: SWAP9 0000173d: SWAP8 0000173e: POP 0000173f: POP 00001740: POP 00001741: POP 00001742: POP 00001743: POP 00001744: POP 00001745: POP 00001746: JUMP 00001747: JUMPDEST 00001748: PUSH0 00001749: PUSH1 0x20 0000174b: DUP3 0000174c: DUP5 0000174d: SUB 0000174e: SLT 0000174f: ISZERO 00001750: PUSH2 0x1757 00001753: JUMPI 00001754: PUSH0 00001755: DUP1 00001756: REVERT 00001757: JUMPDEST 00001758: DUP2 00001759: CALLDATALOAD 0000175a: PUSH2 0x1471 0000175d: DUP2 0000175e: PUSH2 0x15e4 00001761: JUMP 00001762: JUMPDEST 00001763: PUSH0 00001764: DUP1 00001765: PUSH1 0x40 00001767: DUP4 00001768: DUP6 00001769: SUB 0000176a: SLT 0000176b: ISZERO 0000176c: PUSH2 0x1773 0000176f: JUMPI 00001770: PUSH0 00001771: DUP1 00001772: REVERT 00001773: JUMPDEST 00001774: DUP3 00001775: CALLDATALOAD 00001776: PUSH2 0x177e 00001779: DUP2 0000177a: PUSH2 0x15e4 0000177d: JUMP 0000177e: JUMPDEST 0000177f: SWAP2 00001780: POP 00001781: PUSH1 0x20 00001783: DUP4 00001784: ADD 00001785: CALLDATALOAD 00001786: PUSH2 0x178e 00001789: DUP2 0000178a: PUSH2 0x15e4 0000178d: JUMP 0000178e: JUMPDEST 0000178f: DUP1 00001790: SWAP2 00001791: POP 00001792: POP 00001793: SWAP3 00001794: POP 00001795: SWAP3 00001796: SWAP1 00001797: POP 00001798: JUMP 00001799: JUMPDEST 0000179a: PUSH0 0000179b: PUSH1 0x20 0000179d: DUP3 0000179e: DUP5 0000179f: SUB 000017a0: SLT 000017a1: ISZERO 000017a2: PUSH2 0x17a9 000017a5: JUMPI 000017a6: PUSH0 000017a7: DUP1 000017a8: REVERT 000017a9: JUMPDEST 000017aa: POP 000017ab: CALLDATALOAD 000017ac: SWAP2 000017ad: SWAP1 000017ae: POP 000017af: JUMP 000017b0: JUMPDEST 000017b1: PUSH4 0x4e487b71 000017b6: PUSH1 0xe0 000017b8: SHL 000017b9: PUSH0 000017ba: MSTORE 000017bb: PUSH1 0x11 000017bd: PUSH1 0x04 000017bf: MSTORE 000017c0: PUSH1 0x24 000017c2: PUSH0 000017c3: REVERT 000017c4: JUMPDEST 000017c5: PUSH1 0x01 000017c7: DUP2 000017c8: DUP2 000017c9: JUMPDEST 000017ca: DUP1 000017cb: DUP6 000017cc: GT 000017cd: ISZERO 000017ce: PUSH2 0x17fe 000017d1: JUMPI 000017d2: DUP2 000017d3: PUSH0 000017d4: NOT 000017d5: DIV 000017d6: DUP3 000017d7: GT 000017d8: ISZERO 000017d9: PUSH2 0x17e4 000017dc: JUMPI 000017dd: PUSH2 0x17e4 000017e0: PUSH2 0x17b0 000017e3: JUMP 000017e4: JUMPDEST 000017e5: DUP1 000017e6: DUP6 000017e7: AND 000017e8: ISZERO 000017e9: PUSH2 0x17f1 000017ec: JUMPI 000017ed: SWAP2 000017ee: DUP2 000017ef: MUL 000017f0: SWAP2 000017f1: JUMPDEST 000017f2: SWAP4 000017f3: DUP5 000017f4: SHR 000017f5: SWAP4 000017f6: SWAP1 000017f7: DUP1 000017f8: MUL 000017f9: SWAP1 000017fa: PUSH2 0x17c9 000017fd: JUMP 000017fe: JUMPDEST 000017ff: POP 00001800: SWAP3 00001801: POP 00001802: SWAP3 00001803: SWAP1 00001804: POP 00001805: JUMP 00001806: JUMPDEST 00001807: PUSH0 00001808: DUP3 00001809: PUSH2 0x1814 0000180c: JUMPI 0000180d: POP 0000180e: PUSH1 0x01 00001810: PUSH2 0x0439 00001813: JUMP 00001814: JUMPDEST 00001815: DUP2 00001816: PUSH2 0x1820 00001819: JUMPI 0000181a: POP 0000181b: PUSH0 0000181c: PUSH2 0x0439 0000181f: JUMP 00001820: JUMPDEST 00001821: DUP2 00001822: PUSH1 0x01 00001824: DUP2 00001825: EQ 00001826: PUSH2 0x1836 00001829: JUMPI 0000182a: PUSH1 0x02 0000182c: DUP2 0000182d: EQ 0000182e: PUSH2 0x1840 00001831: JUMPI 00001832: PUSH2 0x185c 00001835: JUMP 00001836: JUMPDEST 00001837: PUSH1 0x01 00001839: SWAP2 0000183a: POP 0000183b: POP 0000183c: PUSH2 0x0439 0000183f: JUMP 00001840: JUMPDEST 00001841: PUSH1 0xff 00001843: DUP5 00001844: GT 00001845: ISZERO 00001846: PUSH2 0x1851 00001849: JUMPI 0000184a: PUSH2 0x1851 0000184d: PUSH2 0x17b0 00001850: JUMP 00001851: JUMPDEST 00001852: POP 00001853: POP 00001854: PUSH1 0x01 00001856: DUP3 00001857: SHL 00001858: PUSH2 0x0439 0000185b: JUMP 0000185c: JUMPDEST 0000185d: POP 0000185e: PUSH1 0x20 00001860: DUP4 00001861: LT 00001862: PUSH2 0x0133 00001865: DUP4 00001866: LT 00001867: AND 00001868: PUSH1 0x4e 0000186a: DUP5 0000186b: LT 0000186c: PUSH1 0x0b 0000186e: DUP5 0000186f: LT 00001870: AND 00001871: OR 00001872: ISZERO 00001873: PUSH2 0x187f 00001876: JUMPI 00001877: POP 00001878: DUP2 00001879: DUP2 0000187a: EXP 0000187b: PUSH2 0x0439 0000187e: JUMP 0000187f: JUMPDEST 00001880: PUSH2 0x1889 00001883: DUP4 00001884: DUP4 00001885: PUSH2 0x17c4 00001888: JUMP 00001889: JUMPDEST 0000188a: DUP1 0000188b: PUSH0 0000188c: NOT 0000188d: DIV 0000188e: DUP3 0000188f: GT 00001890: ISZERO 00001891: PUSH2 0x189c 00001894: JUMPI 00001895: PUSH2 0x189c 00001898: PUSH2 0x17b0 0000189b: JUMP 0000189c: JUMPDEST 0000189d: MUL 0000189e: SWAP4 0000189f: SWAP3 000018a0: POP 000018a1: POP 000018a2: POP 000018a3: JUMP 000018a4: JUMPDEST 000018a5: PUSH0 000018a6: PUSH2 0x1471 000018a9: PUSH1 0xff 000018ab: DUP5 000018ac: AND 000018ad: DUP4 000018ae: PUSH2 0x1806 000018b1: JUMP 000018b2: JUMPDEST 000018b3: DUP1 000018b4: DUP3 000018b5: MUL 000018b6: DUP2 000018b7: ISZERO 000018b8: DUP3 000018b9: DUP3 000018ba: DIV 000018bb: DUP5 000018bc: EQ 000018bd: OR 000018be: PUSH2 0x0439 000018c1: JUMPI 000018c2: PUSH2 0x0439 000018c5: PUSH2 0x17b0 000018c8: JUMP 000018c9: JUMPDEST 000018ca: PUSH1 0x20 000018cc: DUP1 000018cd: DUP3 000018ce: MSTORE 000018cf: DUP2 000018d0: DUP2 000018d1: ADD 000018d2: MSTORE 000018d3: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000018f4: PUSH1 0x40 000018f6: DUP3 000018f7: ADD 000018f8: MSTORE 000018f9: PUSH1 0x60 000018fb: ADD 000018fc: SWAP1 000018fd: JUMP 000018fe: JUMPDEST 000018ff: PUSH4 0x4e487b71 00001904: PUSH1 0xe0 00001906: SHL 00001907: PUSH0 00001908: MSTORE 00001909: PUSH1 0x32 0000190b: PUSH1 0x04 0000190d: MSTORE 0000190e: PUSH1 0x24 00001910: PUSH0 00001911: REVERT 00001912: JUMPDEST 00001913: PUSH0 00001914: PUSH1 0x20 00001916: DUP3 00001917: DUP5 00001918: SUB 00001919: SLT 0000191a: ISZERO 0000191b: PUSH2 0x1922 0000191e: JUMPI 0000191f: PUSH0 00001920: DUP1 00001921: REVERT 00001922: JUMPDEST 00001923: DUP2 00001924: MLOAD 00001925: PUSH2 0x1471 00001928: DUP2 00001929: PUSH2 0x15e4 0000192c: JUMP 0000192d: JUMPDEST 0000192e: PUSH0 0000192f: DUP1 00001930: PUSH0 00001931: PUSH1 0x60 00001933: DUP5 00001934: DUP7 00001935: SUB 00001936: SLT 00001937: ISZERO 00001938: PUSH2 0x193f 0000193b: JUMPI 0000193c: PUSH0 0000193d: DUP1 0000193e: REVERT 0000193f: JUMPDEST 00001940: DUP4 00001941: MLOAD 00001942: SWAP3 00001943: POP 00001944: PUSH1 0x20 00001946: DUP5 00001947: ADD 00001948: MLOAD 00001949: SWAP2 0000194a: POP 0000194b: PUSH1 0x40 0000194d: DUP5 0000194e: ADD 0000194f: MLOAD 00001950: SWAP1 00001951: POP 00001952: SWAP3 00001953: POP 00001954: SWAP3 00001955: POP 00001956: SWAP3 00001957: JUMP 00001958: JUMPDEST 00001959: PUSH0 0000195a: PUSH1 0x20 0000195c: DUP3 0000195d: DUP5 0000195e: SUB 0000195f: SLT 00001960: ISZERO 00001961: PUSH2 0x1968 00001964: JUMPI 00001965: PUSH0 00001966: DUP1 00001967: REVERT 00001968: JUMPDEST 00001969: DUP2 0000196a: MLOAD 0000196b: DUP1 0000196c: ISZERO 0000196d: ISZERO 0000196e: DUP2 0000196f: EQ 00001970: PUSH2 0x1471 00001973: JUMPI 00001974: PUSH0 00001975: DUP1 00001976: REVERT 00001977: JUMPDEST 00001978: DUP1 00001979: DUP3 0000197a: ADD 0000197b: DUP1 0000197c: DUP3 0000197d: GT 0000197e: ISZERO 0000197f: PUSH2 0x0439 00001982: JUMPI 00001983: PUSH2 0x0439 00001986: PUSH2 0x17b0 00001989: JUMP 0000198a: JUMPDEST 0000198b: PUSH0 0000198c: PUSH1 0x01 0000198e: DUP3 0000198f: ADD 00001990: PUSH2 0x199b 00001993: JUMPI 00001994: PUSH2 0x199b 00001997: PUSH2 0x17b0 0000199a: JUMP 0000199b: JUMPDEST 0000199c: POP 0000199d: PUSH1 0x01 0000199f: ADD 000019a0: SWAP1 000019a1: JUMP 000019a2: JUMPDEST 000019a3: DUP2 000019a4: DUP2 000019a5: SUB 000019a6: DUP2 000019a7: DUP2 000019a8: GT 000019a9: ISZERO 000019aa: PUSH2 0x0439 000019ad: JUMPI 000019ae: PUSH2 0x0439 000019b1: PUSH2 0x17b0 000019b4: JUMP 000019b5: JUMPDEST 000019b6: PUSH0 000019b7: PUSH1 0xa0 000019b9: DUP3 000019ba: ADD 000019bb: DUP8 000019bc: DUP4 000019bd: MSTORE 000019be: PUSH1 0x20 000019c0: DUP8 000019c1: PUSH1 0x20 000019c3: DUP6 000019c4: ADD 000019c5: MSTORE 000019c6: PUSH1 0xa0 000019c8: PUSH1 0x40 000019ca: DUP6 000019cb: ADD 000019cc: MSTORE 000019cd: DUP2 000019ce: DUP8 000019cf: MLOAD 000019d0: DUP1 000019d1: DUP5 000019d2: MSTORE 000019d3: PUSH1 0xc0 000019d5: DUP7 000019d6: ADD 000019d7: SWAP2 000019d8: POP 000019d9: PUSH1 0x20 000019db: DUP10 000019dc: ADD 000019dd: SWAP4 000019de: POP 000019df: PUSH0 000019e0: JUMPDEST 000019e1: DUP2 000019e2: DUP2 000019e3: LT 000019e4: ISZERO 000019e5: PUSH2 0x1a05 000019e8: JUMPI 000019e9: DUP5 000019ea: MLOAD 000019eb: PUSH1 0x01 000019ed: PUSH1 0x01 000019ef: PUSH1 0xa0 000019f1: SHL 000019f2: SUB 000019f3: AND 000019f4: DUP4 000019f5: MSTORE 000019f6: SWAP4 000019f7: DUP4 000019f8: ADD 000019f9: SWAP4 000019fa: SWAP2 000019fb: DUP4 000019fc: ADD 000019fd: SWAP2 000019fe: PUSH1 0x01 00001a00: ADD 00001a01: PUSH2 0x19e0 00001a04: JUMP 00001a05: JUMPDEST 00001a06: POP 00001a07: POP 00001a08: PUSH1 0x01 00001a0a: PUSH1 0x01 00001a0c: PUSH1 0xa0 00001a0e: SHL 00001a0f: SUB 00001a10: SWAP7 00001a11: SWAP1 00001a12: SWAP7 00001a13: AND 00001a14: PUSH1 0x60 00001a16: DUP6 00001a17: ADD 00001a18: MSTORE 00001a19: POP 00001a1a: POP 00001a1b: POP 00001a1c: PUSH1 0x80 00001a1e: ADD 00001a1f: MSTORE 00001a20: SWAP4 00001a21: SWAP3 00001a22: POP 00001a23: POP 00001a24: POP 00001a25: JUMP 00001a26: JUMPDEST 00001a27: PUSH0 00001a28: DUP3 00001a29: PUSH2 0x1a40 00001a2c: JUMPI 00001a2d: PUSH4 0x4e487b71 00001a32: PUSH1 0xe0 00001a34: SHL 00001a35: PUSH0 00001a36: MSTORE 00001a37: PUSH1 0x12 00001a39: PUSH1 0x04 00001a3b: MSTORE 00001a3c: PUSH1 0x24 00001a3e: PUSH0 00001a3f: REVERT 00001a40: JUMPDEST 00001a41: POP 00001a42: DIV 00001a43: SWAP1 00001a44: JUMP 00001a45: INVALID 00001a46: GASLIMIT 00001a47: MSTORE 00001a48: NUMBER 00001a49: ORIGIN 00001a4a: ADDRESS 00001a4b: GASPRICE 00001a4c: KECCAK256 00001a4d: PUSH21 0x72616e7366657220616d6f756e7420657863656564 00001a63: PUSH20 0x20616c6c6f77616e6365a2646970667358221220 00001a78: UNKNOWN(0xC7) 00001a79: EXP 00001a7a: UNKNOWN(0x29) 00001a7b: CLZ 00001a7c: PUSH24 0xba948221c650d3f9e316ce6db1521bcbcbf1ba81ca59fe3a 00001a95: UNKNOWN(0xEE) 00001a96: UNKNOWN(0xD7) 00001a97: UNKNOWN(0xDA) 00001a98: PUSH5 0x736f6c6343 00001a9e: STOP 00001a9f: ADDMOD 00001aa0: OR 00001aa1: STOP 00001aa2: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbf474bed",
"selector": "0xbf474bed",
"calldata_variants": [
"0xbf474bed",
"0xbf474bed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc9567bf9",
"selector": "0xc9567bf9",
"calldata_variants": [
"0xc9567bf9",
"0xc9567bf90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd34628cc",
"selector": "0xd34628cc",
"calldata_variants": [
"0xd34628cc",
"0xd34628cc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xec1f3f63",
"selector": "0xec1f3f63",
"calldata_variants": [
"0xec1f3f63",
"0xec1f3f630000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x751039fc",
"selector": "0x751039fc",
"calldata_variants": [
"0x751039fc",
"0x751039fc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7d1db4a5",
"selector": "0x7d1db4a5",
"calldata_variants": [
"0x7d1db4a5",
"0x7d1db4a50000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 6729,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x40fe89e55782b20df2b4e24f2309a09debf5ceec92aecc83a035e60428002419
call_targets:
0xe9969b2adc2caf3318faf8fd20a1946eae622b0a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x40fe89e55782b20df2b4e24f2309a09debf5ceec92aecc83a035e60428002419",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xe9969b2adc2caf3318faf8fd20a1946eae622b0a"
],
"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": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbf474bed",
"selector": "0xbf474bed",
"calldata_variants": [
"0xbf474bed",
"0xbf474bed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc9567bf9",
"selector": "0xc9567bf9",
"calldata_variants": [
"0xc9567bf9",
"0xc9567bf90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd34628cc",
"selector": "0xd34628cc",
"calldata_variants": [
"0xd34628cc",
"0xd34628cc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xec1f3f63",
"selector": "0xec1f3f63",
"calldata_variants": [
"0xec1f3f63",
"0xec1f3f630000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x751039fc",
"selector": "0x751039fc",
"calldata_variants": [
"0x751039fc",
"0x751039fc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7d1db4a5",
"selector": "0x7d1db4a5",
"calldata_variants": [
"0x7d1db4a5",
"0x7d1db4a50000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2260,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2488,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2610,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [
{
"pc": 6729,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 5
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x40fe89e55782b20df2b4e24f2309a09debf5ceec92aecc83a035e60428002419
call_targets:
0xe9969b2adc2caf3318faf8fd20a1946eae622b0a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x40fe89e55782b20df2b4e24f2309a09debf5ceec92aecc83a035e60428002419",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xe9969b2adc2caf3318faf8fd20a1946eae622b0a"
],
"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": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbf474bed",
"selector": "0xbf474bed",
"calldata_variants": [
"0xbf474bed",
"0xbf474bed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc9567bf9",
"selector": "0xc9567bf9",
"calldata_variants": [
"0xc9567bf9",
"0xc9567bf90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd34628cc",
"selector": "0xd34628cc",
"calldata_variants": [
"0xd34628cc",
"0xd34628cc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xec1f3f63",
"selector": "0xec1f3f63",
"calldata_variants": [
"0xec1f3f63",
"0xec1f3f630000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x751039fc",
"selector": "0x751039fc",
"calldata_variants": [
"0x751039fc",
"0x751039fc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7d1db4a5",
"selector": "0x7d1db4a5",
"calldata_variants": [
"0x7d1db4a5",
"0x7d1db4a50000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2260,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2488,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2610,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": [
{
"pc": 6729,
"type": "tx_origin_used"
}
]
}
|