019b477e-d22d-7105-b211-1dfb9142719b
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 |
|---|---|---|---|---|
| 27899 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 27900 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 103441 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 103442 | capability.graph | complete | 1 / 3 | 1 week ago |
| 103443 | detector.run | complete | 1 / 3 | 1 week ago |
| 103444 | 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 0x011f 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8da5cb5b 00000019: GT 0000001a: PUSH2 0x00a0 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xcd9c7121 00000024: GT 00000025: PUSH2 0x0064 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xcd9c7121 0000002f: EQ 00000030: PUSH2 0x0323 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xd6e6eb9f 0000003a: EQ 0000003b: PUSH2 0x0343 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xdfe641c6 00000045: EQ 00000046: PUSH2 0x0359 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf2fde38b 00000050: EQ 00000051: PUSH2 0x0391 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xfbe53234 0000005b: EQ 0000005c: PUSH2 0x03b1 0000005f: JUMPI 00000060: PUSH1 0x00 00000062: DUP1 00000063: REVERT 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x8da5cb5b 0000006b: EQ 0000006c: PUSH2 0x0292 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x9477d85d 00000076: EQ 00000077: PUSH2 0x02b0 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xa4983421 00000081: EQ 00000082: PUSH2 0x02d0 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xbeebc5da 0000008c: EQ 0000008d: PUSH2 0x02f0 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0xc157253d 00000097: EQ 00000098: PUSH2 0x0303 0000009b: JUMPI 0000009c: PUSH1 0x00 0000009e: DUP1 0000009f: REVERT 000000a0: JUMPDEST 000000a1: DUP1 000000a2: PUSH4 0x4b77c468 000000a7: GT 000000a8: PUSH2 0x00e7 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x4b77c468 000000b2: EQ 000000b3: PUSH2 0x01cf 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x4ce7957c 000000bd: EQ 000000be: PUSH2 0x021d 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x5a8a764e 000000c8: EQ 000000c9: PUSH2 0x023d 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0x5cf4ee91 000000d3: EQ 000000d4: PUSH2 0x025d 000000d7: JUMPI 000000d8: DUP1 000000d9: PUSH4 0x715018a6 000000de: EQ 000000df: PUSH2 0x027d 000000e2: JUMPI 000000e3: PUSH1 0x00 000000e5: DUP1 000000e6: REVERT 000000e7: JUMPDEST 000000e8: DUP1 000000e9: PUSH4 0x063a741f 000000ee: EQ 000000ef: PUSH2 0x0124 000000f2: JUMPI 000000f3: DUP1 000000f4: PUSH4 0x2279a970 000000f9: EQ 000000fa: PUSH2 0x0157 000000fd: JUMPI 000000fe: DUP1 000000ff: PUSH4 0x24dc441d 00000104: EQ 00000105: PUSH2 0x016c 00000108: JUMPI 00000109: DUP1 0000010a: PUSH4 0x40e104a7 0000010f: EQ 00000110: PUSH2 0x0182 00000113: JUMPI 00000114: DUP1 00000115: PUSH4 0x4420e486 0000011a: EQ 0000011b: PUSH2 0x01af 0000011e: JUMPI 0000011f: JUMPDEST 00000120: PUSH1 0x00 00000122: DUP1 00000123: REVERT 00000124: JUMPDEST 00000125: CALLVALUE 00000126: DUP1 00000127: ISZERO 00000128: PUSH2 0x0130 0000012b: JUMPI 0000012c: PUSH1 0x00 0000012e: DUP1 0000012f: REVERT 00000130: JUMPDEST 00000131: POP 00000132: PUSH2 0x0144 00000135: PUSH2 0x013f 00000138: CALLDATASIZE 00000139: PUSH1 0x04 0000013b: PUSH2 0x1000 0000013e: JUMP 0000013f: JUMPDEST 00000140: PUSH2 0x03d1 00000143: JUMP 00000144: JUMPDEST 00000145: PUSH1 0x40 00000147: MLOAD 00000148: SWAP1 00000149: DUP2 0000014a: MSTORE 0000014b: PUSH1 0x20 0000014d: ADD 0000014e: JUMPDEST 0000014f: PUSH1 0x40 00000151: MLOAD 00000152: DUP1 00000153: SWAP2 00000154: SUB 00000155: SWAP1 00000156: RETURN 00000157: JUMPDEST 00000158: PUSH2 0x016a 0000015b: PUSH2 0x0165 0000015e: CALLDATASIZE 0000015f: PUSH1 0x04 00000161: PUSH2 0x1000 00000164: JUMP 00000165: JUMPDEST 00000166: PUSH2 0x044b 00000169: JUMP 0000016a: JUMPDEST 0000016b: STOP 0000016c: JUMPDEST 0000016d: CALLVALUE 0000016e: DUP1 0000016f: ISZERO 00000170: PUSH2 0x0178 00000173: JUMPI 00000174: PUSH1 0x00 00000176: DUP1 00000177: REVERT 00000178: JUMPDEST 00000179: POP 0000017a: PUSH2 0x0144 0000017d: PUSH1 0x03 0000017f: SLOAD 00000180: DUP2 00000181: JUMP 00000182: JUMPDEST 00000183: CALLVALUE 00000184: DUP1 00000185: ISZERO 00000186: PUSH2 0x018e 00000189: JUMPI 0000018a: PUSH1 0x00 0000018c: DUP1 0000018d: REVERT 0000018e: JUMPDEST 0000018f: POP 00000190: PUSH2 0x0144 00000193: PUSH2 0x019d 00000196: CALLDATASIZE 00000197: PUSH1 0x04 00000199: PUSH2 0x1022 0000019c: JUMP 0000019d: JUMPDEST 0000019e: PUSH1 0x05 000001a0: PUSH1 0x20 000001a2: MSTORE 000001a3: PUSH1 0x00 000001a5: SWAP1 000001a6: DUP2 000001a7: MSTORE 000001a8: PUSH1 0x40 000001aa: SWAP1 000001ab: KECCAK256 000001ac: SLOAD 000001ad: DUP2 000001ae: JUMP 000001af: JUMPDEST 000001b0: CALLVALUE 000001b1: DUP1 000001b2: ISZERO 000001b3: PUSH2 0x01bb 000001b6: JUMPI 000001b7: PUSH1 0x00 000001b9: DUP1 000001ba: REVERT 000001bb: JUMPDEST 000001bc: POP 000001bd: PUSH2 0x016a 000001c0: PUSH2 0x01ca 000001c3: CALLDATASIZE 000001c4: PUSH1 0x04 000001c6: PUSH2 0x1057 000001c9: JUMP 000001ca: JUMPDEST 000001cb: PUSH2 0x0817 000001ce: JUMP 000001cf: JUMPDEST 000001d0: CALLVALUE 000001d1: DUP1 000001d2: ISZERO 000001d3: PUSH2 0x01db 000001d6: JUMPI 000001d7: PUSH1 0x00 000001d9: DUP1 000001da: REVERT 000001db: JUMPDEST 000001dc: POP 000001dd: PUSH2 0x0205 000001e0: PUSH2 0x01ea 000001e3: CALLDATASIZE 000001e4: PUSH1 0x04 000001e6: PUSH2 0x1057 000001e9: JUMP 000001ea: JUMPDEST 000001eb: PUSH1 0x06 000001ed: PUSH1 0x20 000001ef: MSTORE 000001f0: PUSH1 0x00 000001f2: SWAP1 000001f3: DUP2 000001f4: MSTORE 000001f5: PUSH1 0x40 000001f7: SWAP1 000001f8: KECCAK256 000001f9: SLOAD 000001fa: PUSH1 0x01 000001fc: PUSH1 0x01 000001fe: PUSH1 0xa0 00000200: SHL 00000201: SUB 00000202: AND 00000203: DUP2 00000204: JUMP 00000205: JUMPDEST 00000206: PUSH1 0x40 00000208: MLOAD 00000209: PUSH1 0x01 0000020b: PUSH1 0x01 0000020d: PUSH1 0xa0 0000020f: SHL 00000210: SUB 00000211: SWAP1 00000212: SWAP2 00000213: AND 00000214: DUP2 00000215: MSTORE 00000216: PUSH1 0x20 00000218: ADD 00000219: PUSH2 0x014e 0000021c: JUMP 0000021d: JUMPDEST 0000021e: CALLVALUE 0000021f: DUP1 00000220: ISZERO 00000221: PUSH2 0x0229 00000224: JUMPI 00000225: PUSH1 0x00 00000227: DUP1 00000228: REVERT 00000229: JUMPDEST 0000022a: POP 0000022b: PUSH1 0x01 0000022d: SLOAD 0000022e: PUSH2 0x0205 00000231: SWAP1 00000232: PUSH1 0x01 00000234: PUSH1 0x01 00000236: PUSH1 0xa0 00000238: SHL 00000239: SUB 0000023a: AND 0000023b: DUP2 0000023c: JUMP 0000023d: JUMPDEST 0000023e: CALLVALUE 0000023f: DUP1 00000240: ISZERO 00000241: PUSH2 0x0249 00000244: JUMPI 00000245: PUSH1 0x00 00000247: DUP1 00000248: REVERT 00000249: JUMPDEST 0000024a: POP 0000024b: PUSH2 0x016a 0000024e: PUSH2 0x0258 00000251: CALLDATASIZE 00000252: PUSH1 0x04 00000254: PUSH2 0x1022 00000257: JUMP 00000258: JUMPDEST 00000259: PUSH2 0x09cc 0000025c: JUMP 0000025d: JUMPDEST 0000025e: CALLVALUE 0000025f: DUP1 00000260: ISZERO 00000261: PUSH2 0x0269 00000264: JUMPI 00000265: PUSH1 0x00 00000267: DUP1 00000268: REVERT 00000269: JUMPDEST 0000026a: POP 0000026b: PUSH2 0x0144 0000026e: PUSH2 0x0278 00000271: CALLDATASIZE 00000272: PUSH1 0x04 00000274: PUSH2 0x1000 00000277: JUMP 00000278: JUMPDEST 00000279: PUSH2 0x09d9 0000027c: JUMP 0000027d: JUMPDEST 0000027e: CALLVALUE 0000027f: DUP1 00000280: ISZERO 00000281: PUSH2 0x0289 00000284: JUMPI 00000285: PUSH1 0x00 00000287: DUP1 00000288: REVERT 00000289: JUMPDEST 0000028a: POP 0000028b: PUSH2 0x016a 0000028e: PUSH2 0x0af0 00000291: JUMP 00000292: JUMPDEST 00000293: CALLVALUE 00000294: DUP1 00000295: ISZERO 00000296: PUSH2 0x029e 00000299: JUMPI 0000029a: PUSH1 0x00 0000029c: DUP1 0000029d: REVERT 0000029e: JUMPDEST 0000029f: POP 000002a0: PUSH1 0x00 000002a2: SLOAD 000002a3: PUSH1 0x01 000002a5: PUSH1 0x01 000002a7: PUSH1 0xa0 000002a9: SHL 000002aa: SUB 000002ab: AND 000002ac: PUSH2 0x0205 000002af: JUMP 000002b0: JUMPDEST 000002b1: CALLVALUE 000002b2: DUP1 000002b3: ISZERO 000002b4: PUSH2 0x02bc 000002b7: JUMPI 000002b8: PUSH1 0x00 000002ba: DUP1 000002bb: REVERT 000002bc: JUMPDEST 000002bd: POP 000002be: PUSH2 0x0144 000002c1: PUSH2 0x02cb 000002c4: CALLDATASIZE 000002c5: PUSH1 0x04 000002c7: PUSH2 0x1000 000002ca: JUMP 000002cb: JUMPDEST 000002cc: PUSH2 0x0b04 000002cf: JUMP 000002d0: JUMPDEST 000002d1: CALLVALUE 000002d2: DUP1 000002d3: ISZERO 000002d4: PUSH2 0x02dc 000002d7: JUMPI 000002d8: PUSH1 0x00 000002da: DUP1 000002db: REVERT 000002dc: JUMPDEST 000002dd: POP 000002de: PUSH2 0x016a 000002e1: PUSH2 0x02eb 000002e4: CALLDATASIZE 000002e5: PUSH1 0x04 000002e7: PUSH2 0x1022 000002ea: JUMP 000002eb: JUMPDEST 000002ec: PUSH2 0x0b2f 000002ef: JUMP 000002f0: JUMPDEST 000002f1: PUSH2 0x016a 000002f4: PUSH2 0x02fe 000002f7: CALLDATASIZE 000002f8: PUSH1 0x04 000002fa: PUSH2 0x1000 000002fd: JUMP 000002fe: JUMPDEST 000002ff: PUSH2 0x0b3c 00000302: JUMP 00000303: JUMPDEST 00000304: CALLVALUE 00000305: DUP1 00000306: ISZERO 00000307: PUSH2 0x030f 0000030a: JUMPI 0000030b: PUSH1 0x00 0000030d: DUP1 0000030e: REVERT 0000030f: JUMPDEST 00000310: POP 00000311: PUSH2 0x0144 00000314: PUSH2 0x031e 00000317: CALLDATASIZE 00000318: PUSH1 0x04 0000031a: PUSH2 0x1000 0000031d: JUMP 0000031e: JUMPDEST 0000031f: PUSH2 0x0e2c 00000322: JUMP 00000323: JUMPDEST 00000324: CALLVALUE 00000325: DUP1 00000326: ISZERO 00000327: PUSH2 0x032f 0000032a: JUMPI 0000032b: PUSH1 0x00 0000032d: DUP1 0000032e: REVERT 0000032f: JUMPDEST 00000330: POP 00000331: PUSH2 0x0144 00000334: PUSH2 0x033e 00000337: CALLDATASIZE 00000338: PUSH1 0x04 0000033a: PUSH2 0x1000 0000033d: JUMP 0000033e: JUMPDEST 0000033f: PUSH2 0x0e45 00000342: JUMP 00000343: JUMPDEST 00000344: CALLVALUE 00000345: DUP1 00000346: ISZERO 00000347: PUSH2 0x034f 0000034a: JUMPI 0000034b: PUSH1 0x00 0000034d: DUP1 0000034e: REVERT 0000034f: JUMPDEST 00000350: POP 00000351: PUSH2 0x0144 00000354: PUSH1 0x02 00000356: SLOAD 00000357: DUP2 00000358: JUMP 00000359: JUMPDEST 0000035a: CALLVALUE 0000035b: DUP1 0000035c: ISZERO 0000035d: PUSH2 0x0365 00000360: JUMPI 00000361: PUSH1 0x00 00000363: DUP1 00000364: REVERT 00000365: JUMPDEST 00000366: POP 00000367: PUSH2 0x0144 0000036a: PUSH2 0x0374 0000036d: CALLDATASIZE 0000036e: PUSH1 0x04 00000370: PUSH2 0x1072 00000373: JUMP 00000374: JUMPDEST 00000375: PUSH1 0x04 00000377: PUSH1 0x20 00000379: SWAP1 0000037a: DUP2 0000037b: MSTORE 0000037c: PUSH1 0x00 0000037e: SWAP3 0000037f: DUP4 00000380: MSTORE 00000381: PUSH1 0x40 00000383: DUP1 00000384: DUP5 00000385: KECCAK256 00000386: SWAP1 00000387: SWAP2 00000388: MSTORE 00000389: SWAP1 0000038a: DUP3 0000038b: MSTORE 0000038c: SWAP1 0000038d: KECCAK256 0000038e: SLOAD 0000038f: DUP2 00000390: JUMP 00000391: JUMPDEST 00000392: CALLVALUE 00000393: DUP1 00000394: ISZERO 00000395: PUSH2 0x039d 00000398: JUMPI 00000399: PUSH1 0x00 0000039b: DUP1 0000039c: REVERT 0000039d: JUMPDEST 0000039e: POP 0000039f: PUSH2 0x016a 000003a2: PUSH2 0x03ac 000003a5: CALLDATASIZE 000003a6: PUSH1 0x04 000003a8: PUSH2 0x1057 000003ab: JUMP 000003ac: JUMPDEST 000003ad: PUSH2 0x0eb3 000003b0: JUMP 000003b1: JUMPDEST 000003b2: CALLVALUE 000003b3: DUP1 000003b4: ISZERO 000003b5: PUSH2 0x03bd 000003b8: JUMPI 000003b9: PUSH1 0x00 000003bb: DUP1 000003bc: REVERT 000003bd: JUMPDEST 000003be: POP 000003bf: PUSH2 0x016a 000003c2: PUSH2 0x03cc 000003c5: CALLDATASIZE 000003c6: PUSH1 0x04 000003c8: PUSH2 0x1057 000003cb: JUMP 000003cc: JUMPDEST 000003cd: PUSH2 0x0f2c 000003d0: JUMP 000003d1: JUMPDEST 000003d2: PUSH1 0x00 000003d4: DUP1 000003d5: PUSH2 0x03de 000003d8: DUP5 000003d9: DUP5 000003da: PUSH2 0x0e2c 000003dd: JUMP 000003de: JUMPDEST 000003df: SWAP1 000003e0: POP 000003e1: PUSH1 0x00 000003e3: PUSH8 0x0de0b6b3a7640000 000003ec: PUSH1 0x02 000003ee: SLOAD 000003ef: DUP4 000003f0: PUSH2 0x03f9 000003f3: SWAP2 000003f4: SWAP1 000003f5: PUSH2 0x10b4 000003f8: JUMP 000003f9: JUMPDEST 000003fa: PUSH2 0x0403 000003fd: SWAP2 000003fe: SWAP1 000003ff: PUSH2 0x10cb 00000402: JUMP 00000403: JUMPDEST 00000404: SWAP1 00000405: POP 00000406: PUSH1 0x00 00000408: PUSH8 0x0de0b6b3a7640000 00000411: PUSH1 0x03 00000413: SLOAD 00000414: DUP5 00000415: PUSH2 0x041e 00000418: SWAP2 00000419: SWAP1 0000041a: PUSH2 0x10b4 0000041d: JUMP 0000041e: JUMPDEST 0000041f: PUSH2 0x0428 00000422: SWAP2 00000423: SWAP1 00000424: PUSH2 0x10cb 00000427: JUMP 00000428: JUMPDEST 00000429: SWAP1 0000042a: POP 0000042b: DUP1 0000042c: PUSH2 0x0435 0000042f: DUP4 00000430: DUP6 00000431: PUSH2 0x10ed 00000434: JUMP 00000435: JUMPDEST 00000436: PUSH2 0x043f 00000439: SWAP2 0000043a: SWAP1 0000043b: PUSH2 0x10ed 0000043e: JUMP 0000043f: JUMPDEST 00000440: SWAP4 00000441: POP 00000442: POP 00000443: POP 00000444: POP 00000445: JUMPDEST 00000446: SWAP3 00000447: SWAP2 00000448: POP 00000449: POP 0000044a: JUMP 0000044b: JUMPDEST 0000044c: PUSH1 0x00 0000044e: DUP3 0000044f: DUP2 00000450: MSTORE 00000451: PUSH1 0x05 00000453: PUSH1 0x20 00000455: MSTORE 00000456: PUSH1 0x40 00000458: SWAP1 00000459: KECCAK256 0000045a: SLOAD 0000045b: DUP2 0000045c: DUP2 0000045d: GT 0000045e: PUSH2 0x04ae 00000461: JUMPI 00000462: PUSH1 0x40 00000464: MLOAD 00000465: PUSH3 0x461bcd 00000469: PUSH1 0xe5 0000046b: SHL 0000046c: DUP2 0000046d: MSTORE 0000046e: PUSH1 0x20 00000470: PUSH1 0x04 00000472: DUP3 00000473: ADD 00000474: MSTORE 00000475: PUSH1 0x1a 00000477: PUSH1 0x24 00000479: DUP3 0000047a: ADD 0000047b: MSTORE 0000047c: PUSH32 0x43616e6e6f742073656c6c20746865206c617374207368617265000000000000 0000049d: PUSH1 0x44 0000049f: DUP3 000004a0: ADD 000004a1: MSTORE 000004a2: PUSH1 0x64 000004a4: ADD 000004a5: JUMPDEST 000004a6: PUSH1 0x40 000004a8: MLOAD 000004a9: DUP1 000004aa: SWAP2 000004ab: SUB 000004ac: SWAP1 000004ad: REVERT 000004ae: JUMPDEST 000004af: PUSH1 0x00 000004b1: PUSH2 0x04c3 000004b4: PUSH2 0x04bd 000004b7: DUP5 000004b8: DUP5 000004b9: PUSH2 0x1100 000004bc: JUMP 000004bd: JUMPDEST 000004be: DUP5 000004bf: PUSH2 0x09d9 000004c2: JUMP 000004c3: JUMPDEST 000004c4: SWAP1 000004c5: POP 000004c6: PUSH1 0x00 000004c8: PUSH8 0x0de0b6b3a7640000 000004d1: PUSH1 0x02 000004d3: SLOAD 000004d4: DUP4 000004d5: PUSH2 0x04de 000004d8: SWAP2 000004d9: SWAP1 000004da: PUSH2 0x10b4 000004dd: JUMP 000004de: JUMPDEST 000004df: PUSH2 0x04e8 000004e2: SWAP2 000004e3: SWAP1 000004e4: PUSH2 0x10cb 000004e7: JUMP 000004e8: JUMPDEST 000004e9: SWAP1 000004ea: POP 000004eb: PUSH1 0x00 000004ed: PUSH8 0x0de0b6b3a7640000 000004f6: PUSH1 0x03 000004f8: SLOAD 000004f9: DUP5 000004fa: PUSH2 0x0503 000004fd: SWAP2 000004fe: SWAP1 000004ff: PUSH2 0x10b4 00000502: JUMP 00000503: JUMPDEST 00000504: PUSH2 0x050d 00000507: SWAP2 00000508: SWAP1 00000509: PUSH2 0x10cb 0000050c: JUMP 0000050d: JUMPDEST 0000050e: PUSH1 0x00 00000510: DUP8 00000511: DUP2 00000512: MSTORE 00000513: PUSH1 0x04 00000515: PUSH1 0x20 00000517: SWAP1 00000518: DUP2 00000519: MSTORE 0000051a: PUSH1 0x40 0000051c: DUP1 0000051d: DUP4 0000051e: KECCAK256 0000051f: CALLER 00000520: DUP5 00000521: MSTORE 00000522: SWAP1 00000523: SWAP2 00000524: MSTORE 00000525: SWAP1 00000526: KECCAK256 00000527: SLOAD 00000528: SWAP1 00000529: SWAP2 0000052a: POP 0000052b: DUP6 0000052c: GT 0000052d: ISZERO 0000052e: PUSH2 0x056f 00000531: JUMPI 00000532: PUSH1 0x40 00000534: MLOAD 00000535: PUSH3 0x461bcd 00000539: PUSH1 0xe5 0000053b: SHL 0000053c: DUP2 0000053d: MSTORE 0000053e: PUSH1 0x20 00000540: PUSH1 0x04 00000542: DUP3 00000543: ADD 00000544: MSTORE 00000545: PUSH1 0x13 00000547: PUSH1 0x24 00000549: DUP3 0000054a: ADD 0000054b: MSTORE 0000054c: PUSH19 0x496e73756666696369656e7420736861726573 00000560: PUSH1 0x68 00000562: SHL 00000563: PUSH1 0x44 00000565: DUP3 00000566: ADD 00000567: MSTORE 00000568: PUSH1 0x64 0000056a: ADD 0000056b: PUSH2 0x04a5 0000056e: JUMP 0000056f: JUMPDEST 00000570: PUSH1 0x00 00000572: DUP7 00000573: DUP2 00000574: MSTORE 00000575: PUSH1 0x04 00000577: PUSH1 0x20 00000579: SWAP1 0000057a: DUP2 0000057b: MSTORE 0000057c: PUSH1 0x40 0000057e: DUP1 0000057f: DUP4 00000580: KECCAK256 00000581: CALLER 00000582: DUP5 00000583: MSTORE 00000584: SWAP1 00000585: SWAP2 00000586: MSTORE 00000587: SWAP1 00000588: KECCAK256 00000589: SLOAD 0000058a: PUSH2 0x0594 0000058d: SWAP1 0000058e: DUP7 0000058f: SWAP1 00000590: PUSH2 0x1100 00000593: JUMP 00000594: JUMPDEST 00000595: PUSH1 0x00 00000597: DUP8 00000598: DUP2 00000599: MSTORE 0000059a: PUSH1 0x04 0000059c: PUSH1 0x20 0000059e: SWAP1 0000059f: DUP2 000005a0: MSTORE 000005a1: PUSH1 0x40 000005a3: DUP1 000005a4: DUP4 000005a5: KECCAK256 000005a6: CALLER 000005a7: DUP5 000005a8: MSTORE 000005a9: SWAP1 000005aa: SWAP2 000005ab: MSTORE 000005ac: SWAP1 000005ad: KECCAK256 000005ae: SSTORE 000005af: PUSH2 0x05b8 000005b2: DUP6 000005b3: DUP6 000005b4: PUSH2 0x1100 000005b7: JUMP 000005b8: JUMPDEST 000005b9: PUSH1 0x00 000005bb: DUP8 000005bc: DUP2 000005bd: MSTORE 000005be: PUSH1 0x05 000005c0: PUSH1 0x20 000005c2: MSTORE 000005c3: PUSH1 0x40 000005c5: DUP2 000005c6: KECCAK256 000005c7: SWAP2 000005c8: SWAP1 000005c9: SWAP2 000005ca: SSTORE 000005cb: PUSH32 0x29db2a6062b25ead33a5fc8d1163c4d7f54397202547c27c1c99a20344647734 000005ec: SWAP1 000005ed: CALLER 000005ee: SWAP1 000005ef: DUP9 000005f0: SWAP1 000005f1: DUP9 000005f2: DUP8 000005f3: DUP8 000005f4: DUP8 000005f5: PUSH2 0x05fe 000005f8: DUP5 000005f9: DUP14 000005fa: PUSH2 0x1100 000005fd: JUMP 000005fe: JUMPDEST 000005ff: PUSH1 0x40 00000601: MLOAD 00000602: PUSH2 0x0612 00000605: SWAP9 00000606: SWAP8 00000607: SWAP7 00000608: SWAP6 00000609: SWAP5 0000060a: SWAP4 0000060b: SWAP3 0000060c: SWAP2 0000060d: SWAP1 0000060e: PUSH2 0x1113 00000611: JUMP 00000612: JUMPDEST 00000613: PUSH1 0x40 00000615: MLOAD 00000616: DUP1 00000617: SWAP2 00000618: SUB 00000619: SWAP1 0000061a: LOG1 0000061b: PUSH1 0x00 0000061d: CALLER 0000061e: DUP3 0000061f: PUSH2 0x0628 00000622: DUP6 00000623: DUP8 00000624: PUSH2 0x1100 00000627: JUMP 00000628: JUMPDEST 00000629: PUSH2 0x0632 0000062c: SWAP2 0000062d: SWAP1 0000062e: PUSH2 0x1100 00000631: JUMP 00000632: JUMPDEST 00000633: PUSH1 0x40 00000635: MLOAD 00000636: PUSH1 0x00 00000638: DUP2 00000639: DUP2 0000063a: DUP2 0000063b: DUP6 0000063c: DUP8 0000063d: GAS 0000063e: CALL 0000063f: SWAP3 00000640: POP 00000641: POP 00000642: POP 00000643: RETURNDATASIZE 00000644: DUP1 00000645: PUSH1 0x00 00000647: DUP2 00000648: EQ 00000649: PUSH2 0x066e 0000064c: JUMPI 0000064d: PUSH1 0x40 0000064f: MLOAD 00000650: SWAP2 00000651: POP 00000652: PUSH1 0x1f 00000654: NOT 00000655: PUSH1 0x3f 00000657: RETURNDATASIZE 00000658: ADD 00000659: AND 0000065a: DUP3 0000065b: ADD 0000065c: PUSH1 0x40 0000065e: MSTORE 0000065f: RETURNDATASIZE 00000660: DUP3 00000661: MSTORE 00000662: RETURNDATASIZE 00000663: PUSH1 0x00 00000665: PUSH1 0x20 00000667: DUP5 00000668: ADD 00000669: RETURNDATACOPY 0000066a: PUSH2 0x0673 0000066d: JUMP 0000066e: JUMPDEST 0000066f: PUSH1 0x60 00000671: SWAP2 00000672: POP 00000673: JUMPDEST 00000674: POP 00000675: POP 00000676: PUSH1 0x01 00000678: SLOAD 00000679: PUSH1 0x40 0000067b: MLOAD 0000067c: SWAP2 0000067d: SWAP3 0000067e: POP 0000067f: PUSH1 0x00 00000681: SWAP2 00000682: PUSH1 0x01 00000684: PUSH1 0x01 00000686: PUSH1 0xa0 00000688: SHL 00000689: SUB 0000068a: SWAP1 0000068b: SWAP2 0000068c: AND 0000068d: SWAP1 0000068e: DUP6 0000068f: SWAP1 00000690: DUP4 00000691: DUP2 00000692: DUP2 00000693: DUP2 00000694: DUP6 00000695: DUP8 00000696: GAS 00000697: CALL 00000698: SWAP3 00000699: POP 0000069a: POP 0000069b: POP 0000069c: RETURNDATASIZE 0000069d: DUP1 0000069e: PUSH1 0x00 000006a0: DUP2 000006a1: EQ 000006a2: PUSH2 0x06c7 000006a5: JUMPI 000006a6: PUSH1 0x40 000006a8: MLOAD 000006a9: SWAP2 000006aa: POP 000006ab: PUSH1 0x1f 000006ad: NOT 000006ae: PUSH1 0x3f 000006b0: RETURNDATASIZE 000006b1: ADD 000006b2: AND 000006b3: DUP3 000006b4: ADD 000006b5: PUSH1 0x40 000006b7: MSTORE 000006b8: RETURNDATASIZE 000006b9: DUP3 000006ba: MSTORE 000006bb: RETURNDATASIZE 000006bc: PUSH1 0x00 000006be: PUSH1 0x20 000006c0: DUP5 000006c1: ADD 000006c2: RETURNDATACOPY 000006c3: PUSH2 0x06cc 000006c6: JUMP 000006c7: JUMPDEST 000006c8: PUSH1 0x60 000006ca: SWAP2 000006cb: POP 000006cc: JUMPDEST 000006cd: POP 000006ce: POP 000006cf: CALLER 000006d0: PUSH1 0x00 000006d2: SWAP1 000006d3: DUP2 000006d4: MSTORE 000006d5: PUSH1 0x06 000006d7: PUSH1 0x20 000006d9: MSTORE 000006da: PUSH1 0x40 000006dc: SWAP1 000006dd: KECCAK256 000006de: SLOAD 000006df: SWAP1 000006e0: SWAP2 000006e1: POP 000006e2: PUSH1 0x01 000006e4: PUSH1 0x01 000006e6: PUSH1 0xa0 000006e8: SHL 000006e9: SUB 000006ea: AND 000006eb: ISZERO 000006ec: PUSH2 0x0786 000006ef: JUMPI 000006f0: CALLER 000006f1: PUSH1 0x00 000006f3: SWAP1 000006f4: DUP2 000006f5: MSTORE 000006f6: PUSH1 0x06 000006f8: PUSH1 0x20 000006fa: MSTORE 000006fb: PUSH1 0x40 000006fd: DUP1 000006fe: DUP3 000006ff: KECCAK256 00000700: SLOAD 00000701: SWAP1 00000702: MLOAD 00000703: PUSH1 0x01 00000705: PUSH1 0x01 00000707: PUSH1 0xa0 00000709: SHL 0000070a: SUB 0000070b: SWAP1 0000070c: SWAP2 0000070d: AND 0000070e: SWAP1 0000070f: DUP6 00000710: SWAP1 00000711: DUP4 00000712: DUP2 00000713: DUP2 00000714: DUP2 00000715: DUP6 00000716: DUP8 00000717: GAS 00000718: CALL 00000719: SWAP3 0000071a: POP 0000071b: POP 0000071c: POP 0000071d: RETURNDATASIZE 0000071e: DUP1 0000071f: PUSH1 0x00 00000721: DUP2 00000722: EQ 00000723: PUSH2 0x0748 00000726: JUMPI 00000727: PUSH1 0x40 00000729: MLOAD 0000072a: SWAP2 0000072b: POP 0000072c: PUSH1 0x1f 0000072e: NOT 0000072f: PUSH1 0x3f 00000731: RETURNDATASIZE 00000732: ADD 00000733: AND 00000734: DUP3 00000735: ADD 00000736: PUSH1 0x40 00000738: MSTORE 00000739: RETURNDATASIZE 0000073a: DUP3 0000073b: MSTORE 0000073c: RETURNDATASIZE 0000073d: PUSH1 0x00 0000073f: PUSH1 0x20 00000741: DUP5 00000742: ADD 00000743: RETURNDATACOPY 00000744: PUSH2 0x074d 00000747: JUMP 00000748: JUMPDEST 00000749: PUSH1 0x60 0000074b: SWAP2 0000074c: POP 0000074d: JUMPDEST 0000074e: POP 0000074f: POP 00000750: SWAP1 00000751: POP 00000752: DUP3 00000753: DUP1 00000754: ISZERO 00000755: PUSH2 0x075b 00000758: JUMPI 00000759: POP 0000075a: DUP2 0000075b: JUMPDEST 0000075c: DUP1 0000075d: ISZERO 0000075e: PUSH2 0x0764 00000761: JUMPI 00000762: POP 00000763: DUP1 00000764: JUMPDEST 00000765: PUSH2 0x0780 00000768: JUMPI 00000769: PUSH1 0x40 0000076b: MLOAD 0000076c: PUSH3 0x461bcd 00000770: PUSH1 0xe5 00000772: SHL 00000773: DUP2 00000774: MSTORE 00000775: PUSH1 0x04 00000777: ADD 00000778: PUSH2 0x04a5 0000077b: SWAP1 0000077c: PUSH2 0x1154 0000077f: JUMP 00000780: JUMPDEST 00000781: POP 00000782: PUSH2 0x080d 00000785: JUMP 00000786: JUMPDEST 00000787: PUSH1 0x01 00000789: SLOAD 0000078a: PUSH1 0x40 0000078c: MLOAD 0000078d: PUSH1 0x00 0000078f: SWAP2 00000790: PUSH1 0x01 00000792: PUSH1 0x01 00000794: PUSH1 0xa0 00000796: SHL 00000797: SUB 00000798: AND 00000799: SWAP1 0000079a: DUP6 0000079b: SWAP1 0000079c: DUP4 0000079d: DUP2 0000079e: DUP2 0000079f: DUP2 000007a0: DUP6 000007a1: DUP8 000007a2: GAS 000007a3: CALL 000007a4: SWAP3 000007a5: POP 000007a6: POP 000007a7: POP 000007a8: RETURNDATASIZE 000007a9: DUP1 000007aa: PUSH1 0x00 000007ac: DUP2 000007ad: EQ 000007ae: PUSH2 0x07d3 000007b1: JUMPI 000007b2: PUSH1 0x40 000007b4: MLOAD 000007b5: SWAP2 000007b6: POP 000007b7: PUSH1 0x1f 000007b9: NOT 000007ba: PUSH1 0x3f 000007bc: RETURNDATASIZE 000007bd: ADD 000007be: AND 000007bf: DUP3 000007c0: ADD 000007c1: PUSH1 0x40 000007c3: MSTORE 000007c4: RETURNDATASIZE 000007c5: DUP3 000007c6: MSTORE 000007c7: RETURNDATASIZE 000007c8: PUSH1 0x00 000007ca: PUSH1 0x20 000007cc: DUP5 000007cd: ADD 000007ce: RETURNDATACOPY 000007cf: PUSH2 0x07d8 000007d2: JUMP 000007d3: JUMPDEST 000007d4: PUSH1 0x60 000007d6: SWAP2 000007d7: POP 000007d8: JUMPDEST 000007d9: POP 000007da: POP 000007db: SWAP1 000007dc: POP 000007dd: DUP3 000007de: DUP1 000007df: ISZERO 000007e0: PUSH2 0x07e6 000007e3: JUMPI 000007e4: POP 000007e5: DUP2 000007e6: JUMPDEST 000007e7: DUP1 000007e8: ISZERO 000007e9: PUSH2 0x07ef 000007ec: JUMPI 000007ed: POP 000007ee: DUP1 000007ef: JUMPDEST 000007f0: PUSH2 0x080b 000007f3: JUMPI 000007f4: PUSH1 0x40 000007f6: MLOAD 000007f7: PUSH3 0x461bcd 000007fb: PUSH1 0xe5 000007fd: SHL 000007fe: DUP2 000007ff: MSTORE 00000800: PUSH1 0x04 00000802: ADD 00000803: PUSH2 0x04a5 00000806: SWAP1 00000807: PUSH2 0x1154 0000080a: JUMP 0000080b: JUMPDEST 0000080c: POP 0000080d: JUMPDEST 0000080e: POP 0000080f: POP 00000810: POP 00000811: POP 00000812: POP 00000813: POP 00000814: POP 00000815: POP 00000816: JUMP 00000817: JUMPDEST 00000818: CALLER 00000819: PUSH1 0x00 0000081b: SWAP1 0000081c: DUP2 0000081d: MSTORE 0000081e: PUSH1 0x06 00000820: PUSH1 0x20 00000822: MSTORE 00000823: PUSH1 0x40 00000825: SWAP1 00000826: KECCAK256 00000827: SLOAD 00000828: PUSH1 0x01 0000082a: PUSH1 0x01 0000082c: PUSH1 0xa0 0000082e: SHL 0000082f: SUB 00000830: AND 00000831: ISZERO 00000832: PUSH2 0x0875 00000835: JUMPI 00000836: PUSH1 0x40 00000838: MLOAD 00000839: PUSH3 0x461bcd 0000083d: PUSH1 0xe5 0000083f: SHL 00000840: DUP2 00000841: MSTORE 00000842: PUSH1 0x20 00000844: PUSH1 0x04 00000846: DUP3 00000847: ADD 00000848: MSTORE 00000849: PUSH1 0x15 0000084b: PUSH1 0x24 0000084d: DUP3 0000084e: ADD 0000084f: MSTORE 00000850: PUSH21 0x4572726f723a205265706561742062696e64696e67 00000866: PUSH1 0x58 00000868: SHL 00000869: PUSH1 0x44 0000086b: DUP3 0000086c: ADD 0000086d: MSTORE 0000086e: PUSH1 0x64 00000870: ADD 00000871: PUSH2 0x04a5 00000874: JUMP 00000875: JUMPDEST 00000876: CALLER 00000877: PUSH1 0x01 00000879: PUSH1 0x01 0000087b: PUSH1 0xa0 0000087d: SHL 0000087e: SUB 0000087f: DUP3 00000880: AND 00000881: SUB 00000882: PUSH2 0x08c3 00000885: JUMPI 00000886: PUSH1 0x40 00000888: MLOAD 00000889: PUSH3 0x461bcd 0000088d: PUSH1 0xe5 0000088f: SHL 00000890: DUP2 00000891: MSTORE 00000892: PUSH1 0x20 00000894: PUSH1 0x04 00000896: DUP3 00000897: ADD 00000898: MSTORE 00000899: PUSH1 0x13 0000089b: PUSH1 0x24 0000089d: DUP3 0000089e: ADD 0000089f: MSTORE 000008a0: PUSH19 0x22b93937b91d102134b73234b7339039b2b633 000008b4: PUSH1 0x69 000008b6: SHL 000008b7: PUSH1 0x44 000008b9: DUP3 000008ba: ADD 000008bb: MSTORE 000008bc: PUSH1 0x64 000008be: ADD 000008bf: PUSH2 0x04a5 000008c2: JUMP 000008c3: JUMPDEST 000008c4: PUSH1 0x01 000008c6: PUSH1 0x01 000008c8: PUSH1 0xa0 000008ca: SHL 000008cb: SUB 000008cc: DUP2 000008cd: AND 000008ce: PUSH2 0x0928 000008d1: JUMPI 000008d2: PUSH1 0x40 000008d4: MLOAD 000008d5: PUSH3 0x461bcd 000008d9: PUSH1 0xe5 000008db: SHL 000008dc: DUP2 000008dd: MSTORE 000008de: PUSH1 0x20 000008e0: PUSH1 0x04 000008e2: DUP3 000008e3: ADD 000008e4: MSTORE 000008e5: PUSH1 0x26 000008e7: PUSH1 0x24 000008e9: DUP3 000008ea: ADD 000008eb: MSTORE 000008ec: PUSH32 0x4572726f723a2042696e64696e6720696e7669746572206973207a65726f2061 0000090d: PUSH1 0x44 0000090f: DUP3 00000910: ADD 00000911: MSTORE 00000912: PUSH6 0x646472657373 00000919: PUSH1 0xd0 0000091b: SHL 0000091c: PUSH1 0x64 0000091e: DUP3 0000091f: ADD 00000920: MSTORE 00000921: PUSH1 0x84 00000923: ADD 00000924: PUSH2 0x04a5 00000927: JUMP 00000928: JUMPDEST 00000929: PUSH1 0x01 0000092b: PUSH1 0x01 0000092d: PUSH1 0xa0 0000092f: SHL 00000930: SUB 00000931: DUP2 00000932: DUP2 00000933: AND 00000934: PUSH1 0x00 00000936: SWAP1 00000937: DUP2 00000938: MSTORE 00000939: PUSH1 0x06 0000093b: PUSH1 0x20 0000093d: MSTORE 0000093e: PUSH1 0x40 00000940: SWAP1 00000941: KECCAK256 00000942: SLOAD 00000943: CALLER 00000944: SWAP2 00000945: AND 00000946: SUB 00000947: PUSH2 0x099d 0000094a: JUMPI 0000094b: PUSH1 0x40 0000094d: MLOAD 0000094e: PUSH3 0x461bcd 00000952: PUSH1 0xe5 00000954: SHL 00000955: DUP2 00000956: MSTORE 00000957: PUSH1 0x20 00000959: PUSH1 0x04 0000095b: DUP3 0000095c: ADD 0000095d: MSTORE 0000095e: PUSH1 0x22 00000960: PUSH1 0x24 00000962: DUP3 00000963: ADD 00000964: MSTORE 00000965: PUSH32 0x4572726f723a20446f206e6f7420616c6c6f77206d757475616c2062696e6469 00000986: PUSH1 0x44 00000988: DUP3 00000989: ADD 0000098a: MSTORE 0000098b: PUSH2 0x6e67 0000098e: PUSH1 0xf0 00000990: SHL 00000991: PUSH1 0x64 00000993: DUP3 00000994: ADD 00000995: MSTORE 00000996: PUSH1 0x84 00000998: ADD 00000999: PUSH2 0x04a5 0000099c: JUMP 0000099d: JUMPDEST 0000099e: CALLER 0000099f: PUSH1 0x00 000009a1: SWAP1 000009a2: DUP2 000009a3: MSTORE 000009a4: PUSH1 0x06 000009a6: PUSH1 0x20 000009a8: MSTORE 000009a9: PUSH1 0x40 000009ab: SWAP1 000009ac: KECCAK256 000009ad: DUP1 000009ae: SLOAD 000009af: PUSH1 0x01 000009b1: PUSH1 0x01 000009b3: PUSH1 0xa0 000009b5: SHL 000009b6: SUB 000009b7: NOT 000009b8: AND 000009b9: PUSH1 0x01 000009bb: PUSH1 0x01 000009bd: PUSH1 0xa0 000009bf: SHL 000009c0: SUB 000009c1: SWAP3 000009c2: SWAP1 000009c3: SWAP3 000009c4: AND 000009c5: SWAP2 000009c6: SWAP1 000009c7: SWAP2 000009c8: OR 000009c9: SWAP1 000009ca: SSTORE 000009cb: JUMP 000009cc: JUMPDEST 000009cd: PUSH2 0x09d4 000009d0: PUSH2 0x0f56 000009d3: JUMP 000009d4: JUMPDEST 000009d5: PUSH1 0x03 000009d7: SSTORE 000009d8: JUMP 000009d9: JUMPDEST 000009da: PUSH1 0x00 000009dc: DUP1 000009dd: DUP4 000009de: ISZERO 000009df: PUSH2 0x0a34 000009e2: JUMPI 000009e3: PUSH1 0x06 000009e5: PUSH2 0x09ef 000009e8: PUSH1 0x01 000009ea: DUP7 000009eb: PUSH2 0x1100 000009ee: JUMP 000009ef: JUMPDEST 000009f0: PUSH2 0x09fa 000009f3: SWAP1 000009f4: PUSH1 0x02 000009f6: PUSH2 0x10b4 000009f9: JUMP 000009fa: JUMPDEST 000009fb: PUSH2 0x0a05 000009fe: SWAP1 000009ff: PUSH1 0x01 00000a01: PUSH2 0x10ed 00000a04: JUMP 00000a05: JUMPDEST 00000a06: DUP6 00000a07: PUSH2 0x0a11 00000a0a: PUSH1 0x01 00000a0c: DUP3 00000a0d: PUSH2 0x1100 00000a10: JUMP 00000a11: JUMPDEST 00000a12: PUSH2 0x0a1b 00000a15: SWAP2 00000a16: SWAP1 00000a17: PUSH2 0x10b4 00000a1a: JUMP 00000a1b: JUMPDEST 00000a1c: PUSH2 0x0a25 00000a1f: SWAP2 00000a20: SWAP1 00000a21: PUSH2 0x10b4 00000a24: JUMP 00000a25: JUMPDEST 00000a26: PUSH2 0x0a2f 00000a29: SWAP2 00000a2a: SWAP1 00000a2b: PUSH2 0x10cb 00000a2e: JUMP 00000a2f: JUMPDEST 00000a30: PUSH2 0x0a37 00000a33: JUMP 00000a34: JUMPDEST 00000a35: PUSH1 0x00 00000a37: JUMPDEST 00000a38: SWAP1 00000a39: POP 00000a3a: PUSH1 0x00 00000a3c: DUP5 00000a3d: ISZERO 00000a3e: DUP1 00000a3f: ISZERO 00000a40: PUSH2 0x0a49 00000a43: JUMPI 00000a44: POP 00000a45: DUP4 00000a46: PUSH1 0x01 00000a48: EQ 00000a49: JUMPDEST 00000a4a: PUSH2 0x0abe 00000a4d: JUMPI 00000a4e: PUSH1 0x06 00000a50: DUP5 00000a51: PUSH2 0x0a5b 00000a54: PUSH1 0x01 00000a56: DUP9 00000a57: PUSH2 0x1100 00000a5a: JUMP 00000a5b: JUMPDEST 00000a5c: PUSH2 0x0a65 00000a5f: SWAP2 00000a60: SWAP1 00000a61: PUSH2 0x10ed 00000a64: JUMP 00000a65: JUMPDEST 00000a66: PUSH2 0x0a70 00000a69: SWAP1 00000a6a: PUSH1 0x02 00000a6c: PUSH2 0x10b4 00000a6f: JUMP 00000a70: JUMPDEST 00000a71: PUSH2 0x0a7b 00000a74: SWAP1 00000a75: PUSH1 0x01 00000a77: PUSH2 0x10ed 00000a7a: JUMP 00000a7b: JUMPDEST 00000a7c: PUSH2 0x0a85 00000a7f: DUP7 00000a80: DUP9 00000a81: PUSH2 0x10ed 00000a84: JUMP 00000a85: JUMPDEST 00000a86: DUP7 00000a87: PUSH2 0x0a91 00000a8a: PUSH1 0x01 00000a8c: DUP11 00000a8d: PUSH2 0x1100 00000a90: JUMP 00000a91: JUMPDEST 00000a92: PUSH2 0x0a9b 00000a95: SWAP2 00000a96: SWAP1 00000a97: PUSH2 0x10ed 00000a9a: JUMP 00000a9b: JUMPDEST 00000a9c: PUSH2 0x0aa5 00000a9f: SWAP2 00000aa0: SWAP1 00000aa1: PUSH2 0x10b4 00000aa4: JUMP 00000aa5: JUMPDEST 00000aa6: PUSH2 0x0aaf 00000aa9: SWAP2 00000aaa: SWAP1 00000aab: PUSH2 0x10b4 00000aae: JUMP 00000aaf: JUMPDEST 00000ab0: PUSH2 0x0ab9 00000ab3: SWAP2 00000ab4: SWAP1 00000ab5: PUSH2 0x10cb 00000ab8: JUMP 00000ab9: JUMPDEST 00000aba: PUSH2 0x0ac1 00000abd: JUMP 00000abe: JUMPDEST 00000abf: PUSH1 0x00 00000ac1: JUMPDEST 00000ac2: SWAP1 00000ac3: POP 00000ac4: PUSH1 0x00 00000ac6: PUSH2 0x0acf 00000ac9: DUP4 00000aca: DUP4 00000acb: PUSH2 0x1100 00000ace: JUMP 00000acf: JUMPDEST 00000ad0: SWAP1 00000ad1: POP 00000ad2: PUSH2 0x3e80 00000ad5: PUSH2 0x0ae6 00000ad8: DUP3 00000ad9: PUSH8 0x0de0b6b3a7640000 00000ae2: PUSH2 0x10b4 00000ae5: JUMP 00000ae6: JUMPDEST 00000ae7: PUSH2 0x043f 00000aea: SWAP2 00000aeb: SWAP1 00000aec: PUSH2 0x10cb 00000aef: JUMP 00000af0: JUMPDEST 00000af1: PUSH2 0x0af8 00000af4: PUSH2 0x0f56 00000af7: JUMP 00000af8: JUMPDEST 00000af9: PUSH2 0x0b02 00000afc: PUSH1 0x00 00000afe: PUSH2 0x0fb0 00000b01: JUMP 00000b02: JUMPDEST 00000b03: JUMP 00000b04: JUMPDEST 00000b05: PUSH1 0x00 00000b07: DUP3 00000b08: DUP2 00000b09: MSTORE 00000b0a: PUSH1 0x05 00000b0c: PUSH1 0x20 00000b0e: MSTORE 00000b0f: PUSH1 0x40 00000b11: DUP2 00000b12: KECCAK256 00000b13: SLOAD 00000b14: PUSH2 0x0b28 00000b17: SWAP1 00000b18: PUSH2 0x0b22 00000b1b: SWAP1 00000b1c: DUP5 00000b1d: SWAP1 00000b1e: PUSH2 0x1100 00000b21: JUMP 00000b22: JUMPDEST 00000b23: DUP4 00000b24: PUSH2 0x09d9 00000b27: JUMP 00000b28: JUMPDEST 00000b29: SWAP4 00000b2a: SWAP3 00000b2b: POP 00000b2c: POP 00000b2d: POP 00000b2e: JUMP 00000b2f: JUMPDEST 00000b30: PUSH2 0x0b37 00000b33: PUSH2 0x0f56 00000b36: JUMP 00000b37: JUMPDEST 00000b38: PUSH1 0x02 00000b3a: SSTORE 00000b3b: JUMP 00000b3c: JUMPDEST 00000b3d: PUSH1 0x00 00000b3f: DUP3 00000b40: DUP2 00000b41: MSTORE 00000b42: PUSH1 0x05 00000b44: PUSH1 0x20 00000b46: MSTORE 00000b47: PUSH1 0x40 00000b49: DUP2 00000b4a: KECCAK256 00000b4b: SLOAD 00000b4c: SWAP1 00000b4d: PUSH2 0x0b56 00000b50: DUP3 00000b51: DUP5 00000b52: PUSH2 0x09d9 00000b55: JUMP 00000b56: JUMPDEST 00000b57: SWAP1 00000b58: POP 00000b59: PUSH1 0x00 00000b5b: PUSH8 0x0de0b6b3a7640000 00000b64: PUSH1 0x02 00000b66: SLOAD 00000b67: DUP4 00000b68: PUSH2 0x0b71 00000b6b: SWAP2 00000b6c: SWAP1 00000b6d: PUSH2 0x10b4 00000b70: JUMP 00000b71: JUMPDEST 00000b72: PUSH2 0x0b7b 00000b75: SWAP2 00000b76: SWAP1 00000b77: PUSH2 0x10cb 00000b7a: JUMP 00000b7b: JUMPDEST 00000b7c: SWAP1 00000b7d: POP 00000b7e: PUSH1 0x00 00000b80: PUSH8 0x0de0b6b3a7640000 00000b89: PUSH1 0x03 00000b8b: SLOAD 00000b8c: DUP5 00000b8d: PUSH2 0x0b96 00000b90: SWAP2 00000b91: SWAP1 00000b92: PUSH2 0x10b4 00000b95: JUMP 00000b96: JUMPDEST 00000b97: PUSH2 0x0ba0 00000b9a: SWAP2 00000b9b: SWAP1 00000b9c: PUSH2 0x10cb 00000b9f: JUMP 00000ba0: JUMPDEST 00000ba1: SWAP1 00000ba2: POP 00000ba3: DUP1 00000ba4: PUSH2 0x0bad 00000ba7: DUP4 00000ba8: DUP6 00000ba9: PUSH2 0x10ed 00000bac: JUMP 00000bad: JUMPDEST 00000bae: PUSH2 0x0bb7 00000bb1: SWAP2 00000bb2: SWAP1 00000bb3: PUSH2 0x10ed 00000bb6: JUMP 00000bb7: JUMPDEST 00000bb8: CALLVALUE 00000bb9: LT 00000bba: ISZERO 00000bbb: PUSH2 0x0bfd 00000bbe: JUMPI 00000bbf: PUSH1 0x40 00000bc1: MLOAD 00000bc2: PUSH3 0x461bcd 00000bc6: PUSH1 0xe5 00000bc8: SHL 00000bc9: DUP2 00000bca: MSTORE 00000bcb: PUSH1 0x20 00000bcd: PUSH1 0x04 00000bcf: DUP3 00000bd0: ADD 00000bd1: MSTORE 00000bd2: PUSH1 0x14 00000bd4: PUSH1 0x24 00000bd6: DUP3 00000bd7: ADD 00000bd8: MSTORE 00000bd9: PUSH20 0x125b9cdd59999a58da595b9d081c185e5b595b9d 00000bee: PUSH1 0x62 00000bf0: SHL 00000bf1: PUSH1 0x44 00000bf3: DUP3 00000bf4: ADD 00000bf5: MSTORE 00000bf6: PUSH1 0x64 00000bf8: ADD 00000bf9: PUSH2 0x04a5 00000bfc: JUMP 00000bfd: JUMPDEST 00000bfe: PUSH1 0x00 00000c00: DUP7 00000c01: DUP2 00000c02: MSTORE 00000c03: PUSH1 0x04 00000c05: PUSH1 0x20 00000c07: SWAP1 00000c08: DUP2 00000c09: MSTORE 00000c0a: PUSH1 0x40 00000c0c: DUP1 00000c0d: DUP4 00000c0e: KECCAK256 00000c0f: CALLER 00000c10: DUP5 00000c11: MSTORE 00000c12: SWAP1 00000c13: SWAP2 00000c14: MSTORE 00000c15: SWAP1 00000c16: KECCAK256 00000c17: SLOAD 00000c18: PUSH2 0x0c22 00000c1b: SWAP1 00000c1c: DUP7 00000c1d: SWAP1 00000c1e: PUSH2 0x10ed 00000c21: JUMP 00000c22: JUMPDEST 00000c23: PUSH1 0x00 00000c25: DUP8 00000c26: DUP2 00000c27: MSTORE 00000c28: PUSH1 0x04 00000c2a: PUSH1 0x20 00000c2c: SWAP1 00000c2d: DUP2 00000c2e: MSTORE 00000c2f: PUSH1 0x40 00000c31: DUP1 00000c32: DUP4 00000c33: KECCAK256 00000c34: CALLER 00000c35: DUP5 00000c36: MSTORE 00000c37: SWAP1 00000c38: SWAP2 00000c39: MSTORE 00000c3a: SWAP1 00000c3b: KECCAK256 00000c3c: SSTORE 00000c3d: PUSH2 0x0c46 00000c40: DUP6 00000c41: DUP6 00000c42: PUSH2 0x10ed 00000c45: JUMP 00000c46: JUMPDEST 00000c47: PUSH1 0x00 00000c49: DUP8 00000c4a: DUP2 00000c4b: MSTORE 00000c4c: PUSH1 0x05 00000c4e: PUSH1 0x20 00000c50: MSTORE 00000c51: PUSH1 0x40 00000c53: SWAP1 00000c54: KECCAK256 00000c55: SSTORE 00000c56: PUSH32 0x29db2a6062b25ead33a5fc8d1163c4d7f54397202547c27c1c99a20344647734 00000c77: CALLER 00000c78: DUP8 00000c79: PUSH1 0x01 00000c7b: DUP9 00000c7c: DUP8 00000c7d: DUP8 00000c7e: DUP8 00000c7f: PUSH2 0x0c88 00000c82: DUP5 00000c83: DUP14 00000c84: PUSH2 0x10ed 00000c87: JUMP 00000c88: JUMPDEST 00000c89: PUSH1 0x40 00000c8b: MLOAD 00000c8c: PUSH2 0x0c9c 00000c8f: SWAP9 00000c90: SWAP8 00000c91: SWAP7 00000c92: SWAP6 00000c93: SWAP5 00000c94: SWAP4 00000c95: SWAP3 00000c96: SWAP2 00000c97: SWAP1 00000c98: PUSH2 0x1113 00000c9b: JUMP 00000c9c: JUMPDEST 00000c9d: PUSH1 0x40 00000c9f: MLOAD 00000ca0: DUP1 00000ca1: SWAP2 00000ca2: SUB 00000ca3: SWAP1 00000ca4: LOG1 00000ca5: PUSH1 0x01 00000ca7: SLOAD 00000ca8: PUSH1 0x40 00000caa: MLOAD 00000cab: PUSH1 0x00 00000cad: SWAP2 00000cae: PUSH1 0x01 00000cb0: PUSH1 0x01 00000cb2: PUSH1 0xa0 00000cb4: SHL 00000cb5: SUB 00000cb6: AND 00000cb7: SWAP1 00000cb8: DUP5 00000cb9: SWAP1 00000cba: DUP4 00000cbb: DUP2 00000cbc: DUP2 00000cbd: DUP2 00000cbe: DUP6 00000cbf: DUP8 00000cc0: GAS 00000cc1: CALL 00000cc2: SWAP3 00000cc3: POP 00000cc4: POP 00000cc5: POP 00000cc6: RETURNDATASIZE 00000cc7: DUP1 00000cc8: PUSH1 0x00 00000cca: DUP2 00000ccb: EQ 00000ccc: PUSH2 0x0cf1 00000ccf: JUMPI 00000cd0: PUSH1 0x40 00000cd2: MLOAD 00000cd3: SWAP2 00000cd4: POP 00000cd5: PUSH1 0x1f 00000cd7: NOT 00000cd8: PUSH1 0x3f 00000cda: RETURNDATASIZE 00000cdb: ADD 00000cdc: AND 00000cdd: DUP3 00000cde: ADD 00000cdf: PUSH1 0x40 00000ce1: MSTORE 00000ce2: RETURNDATASIZE 00000ce3: DUP3 00000ce4: MSTORE 00000ce5: RETURNDATASIZE 00000ce6: PUSH1 0x00 00000ce8: PUSH1 0x20 00000cea: DUP5 00000ceb: ADD 00000cec: RETURNDATACOPY 00000ced: PUSH2 0x0cf6 00000cf0: JUMP 00000cf1: JUMPDEST 00000cf2: PUSH1 0x60 00000cf4: SWAP2 00000cf5: POP 00000cf6: JUMPDEST 00000cf7: POP 00000cf8: POP 00000cf9: CALLER 00000cfa: PUSH1 0x00 00000cfc: SWAP1 00000cfd: DUP2 00000cfe: MSTORE 00000cff: PUSH1 0x06 00000d01: PUSH1 0x20 00000d03: MSTORE 00000d04: PUSH1 0x40 00000d06: SWAP1 00000d07: KECCAK256 00000d08: SLOAD 00000d09: SWAP1 00000d0a: SWAP2 00000d0b: POP 00000d0c: PUSH1 0x01 00000d0e: PUSH1 0x01 00000d10: PUSH1 0xa0 00000d12: SHL 00000d13: SUB 00000d14: AND 00000d15: ISZERO 00000d16: PUSH2 0x0da7 00000d19: JUMPI 00000d1a: CALLER 00000d1b: PUSH1 0x00 00000d1d: SWAP1 00000d1e: DUP2 00000d1f: MSTORE 00000d20: PUSH1 0x06 00000d22: PUSH1 0x20 00000d24: MSTORE 00000d25: PUSH1 0x40 00000d27: DUP1 00000d28: DUP3 00000d29: KECCAK256 00000d2a: SLOAD 00000d2b: SWAP1 00000d2c: MLOAD 00000d2d: PUSH1 0x01 00000d2f: PUSH1 0x01 00000d31: PUSH1 0xa0 00000d33: SHL 00000d34: SUB 00000d35: SWAP1 00000d36: SWAP2 00000d37: AND 00000d38: SWAP1 00000d39: DUP5 00000d3a: SWAP1 00000d3b: DUP4 00000d3c: DUP2 00000d3d: DUP2 00000d3e: DUP2 00000d3f: DUP6 00000d40: DUP8 00000d41: GAS 00000d42: CALL 00000d43: SWAP3 00000d44: POP 00000d45: POP 00000d46: POP 00000d47: RETURNDATASIZE 00000d48: DUP1 00000d49: PUSH1 0x00 00000d4b: DUP2 00000d4c: EQ 00000d4d: PUSH2 0x0d72 00000d50: JUMPI 00000d51: PUSH1 0x40 00000d53: MLOAD 00000d54: SWAP2 00000d55: POP 00000d56: PUSH1 0x1f 00000d58: NOT 00000d59: PUSH1 0x3f 00000d5b: RETURNDATASIZE 00000d5c: ADD 00000d5d: AND 00000d5e: DUP3 00000d5f: ADD 00000d60: PUSH1 0x40 00000d62: MSTORE 00000d63: RETURNDATASIZE 00000d64: DUP3 00000d65: MSTORE 00000d66: RETURNDATASIZE 00000d67: PUSH1 0x00 00000d69: PUSH1 0x20 00000d6b: DUP5 00000d6c: ADD 00000d6d: RETURNDATACOPY 00000d6e: PUSH2 0x0d77 00000d71: JUMP 00000d72: JUMPDEST 00000d73: PUSH1 0x60 00000d75: SWAP2 00000d76: POP 00000d77: JUMPDEST 00000d78: POP 00000d79: POP 00000d7a: SWAP1 00000d7b: POP 00000d7c: DUP2 00000d7d: DUP1 00000d7e: ISZERO 00000d7f: PUSH2 0x0d85 00000d82: JUMPI 00000d83: POP 00000d84: DUP1 00000d85: JUMPDEST 00000d86: PUSH2 0x0da1 00000d89: JUMPI 00000d8a: PUSH1 0x40 00000d8c: MLOAD 00000d8d: PUSH3 0x461bcd 00000d91: PUSH1 0xe5 00000d93: SHL 00000d94: DUP2 00000d95: MSTORE 00000d96: PUSH1 0x04 00000d98: ADD 00000d99: PUSH2 0x04a5 00000d9c: SWAP1 00000d9d: PUSH2 0x1154 00000da0: JUMP 00000da1: JUMPDEST 00000da2: POP 00000da3: PUSH2 0x0e23 00000da6: JUMP 00000da7: JUMPDEST 00000da8: PUSH1 0x01 00000daa: SLOAD 00000dab: PUSH1 0x40 00000dad: MLOAD 00000dae: PUSH1 0x00 00000db0: SWAP2 00000db1: PUSH1 0x01 00000db3: PUSH1 0x01 00000db5: PUSH1 0xa0 00000db7: SHL 00000db8: SUB 00000db9: AND 00000dba: SWAP1 00000dbb: DUP5 00000dbc: SWAP1 00000dbd: DUP4 00000dbe: DUP2 00000dbf: DUP2 00000dc0: DUP2 00000dc1: DUP6 00000dc2: DUP8 00000dc3: GAS 00000dc4: CALL 00000dc5: SWAP3 00000dc6: POP 00000dc7: POP 00000dc8: POP 00000dc9: RETURNDATASIZE 00000dca: DUP1 00000dcb: PUSH1 0x00 00000dcd: DUP2 00000dce: EQ 00000dcf: PUSH2 0x0df4 00000dd2: JUMPI 00000dd3: PUSH1 0x40 00000dd5: MLOAD 00000dd6: SWAP2 00000dd7: POP 00000dd8: PUSH1 0x1f 00000dda: NOT 00000ddb: PUSH1 0x3f 00000ddd: RETURNDATASIZE 00000dde: ADD 00000ddf: AND 00000de0: DUP3 00000de1: ADD 00000de2: PUSH1 0x40 00000de4: MSTORE 00000de5: RETURNDATASIZE 00000de6: DUP3 00000de7: MSTORE 00000de8: RETURNDATASIZE 00000de9: PUSH1 0x00 00000deb: PUSH1 0x20 00000ded: DUP5 00000dee: ADD 00000def: RETURNDATACOPY 00000df0: PUSH2 0x0df9 00000df3: JUMP 00000df4: JUMPDEST 00000df5: PUSH1 0x60 00000df7: SWAP2 00000df8: POP 00000df9: JUMPDEST 00000dfa: POP 00000dfb: POP 00000dfc: SWAP1 00000dfd: POP 00000dfe: DUP2 00000dff: DUP1 00000e00: ISZERO 00000e01: PUSH2 0x0e07 00000e04: JUMPI 00000e05: POP 00000e06: DUP1 00000e07: JUMPDEST 00000e08: PUSH2 0x080d 00000e0b: JUMPI 00000e0c: PUSH1 0x40 00000e0e: MLOAD 00000e0f: PUSH3 0x461bcd 00000e13: PUSH1 0xe5 00000e15: SHL 00000e16: DUP2 00000e17: MSTORE 00000e18: PUSH1 0x04 00000e1a: ADD 00000e1b: PUSH2 0x04a5 00000e1e: SWAP1 00000e1f: PUSH2 0x1154 00000e22: JUMP 00000e23: JUMPDEST 00000e24: POP 00000e25: POP 00000e26: POP 00000e27: POP 00000e28: POP 00000e29: POP 00000e2a: POP 00000e2b: JUMP 00000e2c: JUMPDEST 00000e2d: PUSH1 0x00 00000e2f: DUP3 00000e30: DUP2 00000e31: MSTORE 00000e32: PUSH1 0x05 00000e34: PUSH1 0x20 00000e36: MSTORE 00000e37: PUSH1 0x40 00000e39: DUP2 00000e3a: KECCAK256 00000e3b: SLOAD 00000e3c: PUSH2 0x0b28 00000e3f: SWAP1 00000e40: DUP4 00000e41: PUSH2 0x09d9 00000e44: JUMP 00000e45: JUMPDEST 00000e46: PUSH1 0x00 00000e48: DUP1 00000e49: PUSH2 0x0e52 00000e4c: DUP5 00000e4d: DUP5 00000e4e: PUSH2 0x0b04 00000e51: JUMP 00000e52: JUMPDEST 00000e53: SWAP1 00000e54: POP 00000e55: PUSH1 0x00 00000e57: PUSH8 0x0de0b6b3a7640000 00000e60: PUSH1 0x02 00000e62: SLOAD 00000e63: DUP4 00000e64: PUSH2 0x0e6d 00000e67: SWAP2 00000e68: SWAP1 00000e69: PUSH2 0x10b4 00000e6c: JUMP 00000e6d: JUMPDEST 00000e6e: PUSH2 0x0e77 00000e71: SWAP2 00000e72: SWAP1 00000e73: PUSH2 0x10cb 00000e76: JUMP 00000e77: JUMPDEST 00000e78: SWAP1 00000e79: POP 00000e7a: PUSH1 0x00 00000e7c: PUSH8 0x0de0b6b3a7640000 00000e85: PUSH1 0x03 00000e87: SLOAD 00000e88: DUP5 00000e89: PUSH2 0x0e92 00000e8c: SWAP2 00000e8d: SWAP1 00000e8e: PUSH2 0x10b4 00000e91: JUMP 00000e92: JUMPDEST 00000e93: PUSH2 0x0e9c 00000e96: SWAP2 00000e97: SWAP1 00000e98: PUSH2 0x10cb 00000e9b: JUMP 00000e9c: JUMPDEST 00000e9d: SWAP1 00000e9e: POP 00000e9f: DUP1 00000ea0: PUSH2 0x0ea9 00000ea3: DUP4 00000ea4: DUP6 00000ea5: PUSH2 0x1100 00000ea8: JUMP 00000ea9: JUMPDEST 00000eaa: PUSH2 0x043f 00000ead: SWAP2 00000eae: SWAP1 00000eaf: PUSH2 0x1100 00000eb2: JUMP 00000eb3: JUMPDEST 00000eb4: PUSH2 0x0ebb 00000eb7: PUSH2 0x0f56 00000eba: JUMP 00000ebb: JUMPDEST 00000ebc: PUSH1 0x01 00000ebe: PUSH1 0x01 00000ec0: PUSH1 0xa0 00000ec2: SHL 00000ec3: SUB 00000ec4: DUP2 00000ec5: AND 00000ec6: PUSH2 0x0f20 00000ec9: JUMPI 00000eca: PUSH1 0x40 00000ecc: MLOAD 00000ecd: PUSH3 0x461bcd 00000ed1: PUSH1 0xe5 00000ed3: SHL 00000ed4: DUP2 00000ed5: MSTORE 00000ed6: PUSH1 0x20 00000ed8: PUSH1 0x04 00000eda: DUP3 00000edb: ADD 00000edc: MSTORE 00000edd: PUSH1 0x26 00000edf: PUSH1 0x24 00000ee1: DUP3 00000ee2: ADD 00000ee3: MSTORE 00000ee4: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00000f05: PUSH1 0x44 00000f07: DUP3 00000f08: ADD 00000f09: MSTORE 00000f0a: PUSH6 0x646472657373 00000f11: PUSH1 0xd0 00000f13: SHL 00000f14: PUSH1 0x64 00000f16: DUP3 00000f17: ADD 00000f18: MSTORE 00000f19: PUSH1 0x84 00000f1b: ADD 00000f1c: PUSH2 0x04a5 00000f1f: JUMP 00000f20: JUMPDEST 00000f21: PUSH2 0x0f29 00000f24: DUP2 00000f25: PUSH2 0x0fb0 00000f28: JUMP 00000f29: JUMPDEST 00000f2a: POP 00000f2b: JUMP 00000f2c: JUMPDEST 00000f2d: PUSH2 0x0f34 00000f30: PUSH2 0x0f56 00000f33: JUMP 00000f34: JUMPDEST 00000f35: PUSH1 0x01 00000f37: DUP1 00000f38: SLOAD 00000f39: PUSH1 0x01 00000f3b: PUSH1 0x01 00000f3d: PUSH1 0xa0 00000f3f: SHL 00000f40: SUB 00000f41: NOT 00000f42: AND 00000f43: PUSH1 0x01 00000f45: PUSH1 0x01 00000f47: PUSH1 0xa0 00000f49: SHL 00000f4a: SUB 00000f4b: SWAP3 00000f4c: SWAP1 00000f4d: SWAP3 00000f4e: AND 00000f4f: SWAP2 00000f50: SWAP1 00000f51: SWAP2 00000f52: OR 00000f53: SWAP1 00000f54: SSTORE 00000f55: JUMP 00000f56: JUMPDEST 00000f57: PUSH1 0x00 00000f59: SLOAD 00000f5a: PUSH1 0x01 00000f5c: PUSH1 0x01 00000f5e: PUSH1 0xa0 00000f60: SHL 00000f61: SUB 00000f62: AND 00000f63: CALLER 00000f64: EQ 00000f65: PUSH2 0x0b02 00000f68: JUMPI 00000f69: PUSH1 0x40 00000f6b: MLOAD 00000f6c: PUSH3 0x461bcd 00000f70: PUSH1 0xe5 00000f72: SHL 00000f73: DUP2 00000f74: MSTORE 00000f75: PUSH1 0x20 00000f77: PUSH1 0x04 00000f79: DUP3 00000f7a: ADD 00000f7b: DUP2 00000f7c: SWAP1 00000f7d: MSTORE 00000f7e: PUSH1 0x24 00000f80: DUP3 00000f81: ADD 00000f82: MSTORE 00000f83: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000fa4: PUSH1 0x44 00000fa6: DUP3 00000fa7: ADD 00000fa8: MSTORE 00000fa9: PUSH1 0x64 00000fab: ADD 00000fac: PUSH2 0x04a5 00000faf: JUMP 00000fb0: JUMPDEST 00000fb1: PUSH1 0x00 00000fb3: DUP1 00000fb4: SLOAD 00000fb5: PUSH1 0x01 00000fb7: PUSH1 0x01 00000fb9: PUSH1 0xa0 00000fbb: SHL 00000fbc: SUB 00000fbd: DUP4 00000fbe: DUP2 00000fbf: AND 00000fc0: PUSH1 0x01 00000fc2: PUSH1 0x01 00000fc4: PUSH1 0xa0 00000fc6: SHL 00000fc7: SUB 00000fc8: NOT 00000fc9: DUP4 00000fca: AND 00000fcb: DUP2 00000fcc: OR 00000fcd: DUP5 00000fce: SSTORE 00000fcf: PUSH1 0x40 00000fd1: MLOAD 00000fd2: SWAP2 00000fd3: SWAP1 00000fd4: SWAP3 00000fd5: AND 00000fd6: SWAP3 00000fd7: DUP4 00000fd8: SWAP2 00000fd9: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000ffa: SWAP2 00000ffb: SWAP1 00000ffc: LOG3 00000ffd: POP 00000ffe: POP 00000fff: JUMP 00001000: JUMPDEST 00001001: PUSH1 0x00 00001003: DUP1 00001004: PUSH1 0x40 00001006: DUP4 00001007: DUP6 00001008: SUB 00001009: SLT 0000100a: ISZERO 0000100b: PUSH2 0x1013 0000100e: JUMPI 0000100f: PUSH1 0x00 00001011: DUP1 00001012: REVERT 00001013: JUMPDEST 00001014: POP 00001015: POP 00001016: DUP1 00001017: CALLDATALOAD 00001018: SWAP3 00001019: PUSH1 0x20 0000101b: SWAP1 0000101c: SWAP2 0000101d: ADD 0000101e: CALLDATALOAD 0000101f: SWAP2 00001020: POP 00001021: JUMP 00001022: JUMPDEST 00001023: PUSH1 0x00 00001025: PUSH1 0x20 00001027: DUP3 00001028: DUP5 00001029: SUB 0000102a: SLT 0000102b: ISZERO 0000102c: PUSH2 0x1034 0000102f: JUMPI 00001030: PUSH1 0x00 00001032: DUP1 00001033: REVERT 00001034: JUMPDEST 00001035: POP 00001036: CALLDATALOAD 00001037: SWAP2 00001038: SWAP1 00001039: POP 0000103a: JUMP 0000103b: JUMPDEST 0000103c: DUP1 0000103d: CALLDATALOAD 0000103e: PUSH1 0x01 00001040: PUSH1 0x01 00001042: PUSH1 0xa0 00001044: SHL 00001045: SUB 00001046: DUP2 00001047: AND 00001048: DUP2 00001049: EQ 0000104a: PUSH2 0x1052 0000104d: JUMPI 0000104e: PUSH1 0x00 00001050: DUP1 00001051: REVERT 00001052: JUMPDEST 00001053: SWAP2 00001054: SWAP1 00001055: POP 00001056: JUMP 00001057: JUMPDEST 00001058: PUSH1 0x00 0000105a: PUSH1 0x20 0000105c: DUP3 0000105d: DUP5 0000105e: SUB 0000105f: SLT 00001060: ISZERO 00001061: PUSH2 0x1069 00001064: JUMPI 00001065: PUSH1 0x00 00001067: DUP1 00001068: REVERT 00001069: JUMPDEST 0000106a: PUSH2 0x0b28 0000106d: DUP3 0000106e: PUSH2 0x103b 00001071: JUMP 00001072: JUMPDEST 00001073: PUSH1 0x00 00001075: DUP1 00001076: PUSH1 0x40 00001078: DUP4 00001079: DUP6 0000107a: SUB 0000107b: SLT 0000107c: ISZERO 0000107d: PUSH2 0x1085 00001080: JUMPI 00001081: PUSH1 0x00 00001083: DUP1 00001084: REVERT 00001085: JUMPDEST 00001086: DUP3 00001087: CALLDATALOAD 00001088: SWAP2 00001089: POP 0000108a: PUSH2 0x1095 0000108d: PUSH1 0x20 0000108f: DUP5 00001090: ADD 00001091: PUSH2 0x103b 00001094: JUMP 00001095: JUMPDEST 00001096: SWAP1 00001097: POP 00001098: SWAP3 00001099: POP 0000109a: SWAP3 0000109b: SWAP1 0000109c: POP 0000109d: JUMP 0000109e: JUMPDEST 0000109f: PUSH4 0x4e487b71 000010a4: PUSH1 0xe0 000010a6: SHL 000010a7: PUSH1 0x00 000010a9: MSTORE 000010aa: PUSH1 0x11 000010ac: PUSH1 0x04 000010ae: MSTORE 000010af: PUSH1 0x24 000010b1: PUSH1 0x00 000010b3: REVERT 000010b4: JUMPDEST 000010b5: DUP1 000010b6: DUP3 000010b7: MUL 000010b8: DUP2 000010b9: ISZERO 000010ba: DUP3 000010bb: DUP3 000010bc: DIV 000010bd: DUP5 000010be: EQ 000010bf: OR 000010c0: PUSH2 0x0445 000010c3: JUMPI 000010c4: PUSH2 0x0445 000010c7: PUSH2 0x109e 000010ca: JUMP 000010cb: JUMPDEST 000010cc: PUSH1 0x00 000010ce: DUP3 000010cf: PUSH2 0x10e8 000010d2: JUMPI 000010d3: PUSH4 0x4e487b71 000010d8: PUSH1 0xe0 000010da: SHL 000010db: PUSH1 0x00 000010dd: MSTORE 000010de: PUSH1 0x12 000010e0: PUSH1 0x04 000010e2: MSTORE 000010e3: PUSH1 0x24 000010e5: PUSH1 0x00 000010e7: REVERT 000010e8: JUMPDEST 000010e9: POP 000010ea: DIV 000010eb: SWAP1 000010ec: JUMP 000010ed: JUMPDEST 000010ee: DUP1 000010ef: DUP3 000010f0: ADD 000010f1: DUP1 000010f2: DUP3 000010f3: GT 000010f4: ISZERO 000010f5: PUSH2 0x0445 000010f8: JUMPI 000010f9: PUSH2 0x0445 000010fc: PUSH2 0x109e 000010ff: JUMP 00001100: JUMPDEST 00001101: DUP2 00001102: DUP2 00001103: SUB 00001104: DUP2 00001105: DUP2 00001106: GT 00001107: ISZERO 00001108: PUSH2 0x0445 0000110b: JUMPI 0000110c: PUSH2 0x0445 0000110f: PUSH2 0x109e 00001112: JUMP 00001113: JUMPDEST 00001114: PUSH1 0x01 00001116: PUSH1 0x01 00001118: PUSH1 0xa0 0000111a: SHL 0000111b: SUB 0000111c: SWAP9 0000111d: SWAP1 0000111e: SWAP9 0000111f: AND 00001120: DUP9 00001121: MSTORE 00001122: PUSH1 0x20 00001124: DUP9 00001125: ADD 00001126: SWAP7 00001127: SWAP1 00001128: SWAP7 00001129: MSTORE 0000112a: SWAP4 0000112b: ISZERO 0000112c: ISZERO 0000112d: PUSH1 0x40 0000112f: DUP8 00001130: ADD 00001131: MSTORE 00001132: PUSH1 0x60 00001134: DUP7 00001135: ADD 00001136: SWAP3 00001137: SWAP1 00001138: SWAP3 00001139: MSTORE 0000113a: PUSH1 0x80 0000113c: DUP6 0000113d: ADD 0000113e: MSTORE 0000113f: PUSH1 0xa0 00001141: DUP5 00001142: ADD 00001143: MSTORE 00001144: PUSH1 0xc0 00001146: DUP4 00001147: ADD 00001148: MSTORE 00001149: PUSH1 0xe0 0000114b: DUP3 0000114c: ADD 0000114d: MSTORE 0000114e: PUSH2 0x0100 00001151: ADD 00001152: SWAP1 00001153: JUMP 00001154: JUMPDEST 00001155: PUSH1 0x20 00001157: DUP1 00001158: DUP3 00001159: MSTORE 0000115a: PUSH1 0x14 0000115c: SWAP1 0000115d: DUP3 0000115e: ADD 0000115f: MSTORE 00001160: PUSH20 0x556e61626c6520746f2073656e642066756e6473 00001175: PUSH1 0x60 00001177: SHL 00001178: PUSH1 0x40 0000117a: DUP3 0000117b: ADD 0000117c: MSTORE 0000117d: PUSH1 0x60 0000117f: ADD 00001180: SWAP1 00001181: JUMP 00001182: INVALID 00001183: LOG2 00001184: PUSH5 0x6970667358 0000118a: UNKNOWN(0x22) 0000118b: SLT 0000118c: KECCAK256 0000118d: SWAP12 0000118e: UNKNOWN(0xCB) 0000118f: PUSH26 0xb3b05970c81a82d640bddc907fde07d50cd7655eab1472d14f16 000011aa: LOG0 000011ab: SWAP14 000011ac: REVERT 000011ad: PUSH5 0x736f6c6343 000011b3: STOP 000011b4: ADDMOD 000011b5: SLT 000011b6: STOP 000011b7: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xd15937df038cdd11e77dde6fb124da37e6d47b19a0e9eaaf332b0d54e0bd814a
call_targets:
0xb72749a16410db6b3feac000a5a90c2f6cf7935e
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xd15937df038cdd11e77dde6fb124da37e6d47b19a0e9eaaf332b0d54e0bd814a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xb72749a16410db6b3feac000a5a90c2f6cf7935e"
],
"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": "0xcd9c7121",
"selector": "0xcd9c7121",
"calldata_variants": [
"0xcd9c7121",
"0xcd9c71210000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd6e6eb9f",
"selector": "0xd6e6eb9f",
"calldata_variants": [
"0xd6e6eb9f",
"0xd6e6eb9f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdfe641c6",
"selector": "0xdfe641c6",
"calldata_variants": [
"0xdfe641c6",
"0xdfe641c60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfbe53234",
"selector": "0xfbe53234",
"calldata_variants": [
"0xfbe53234",
"0xfbe532340000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9477d85d",
"selector": "0x9477d85d",
"calldata_variants": [
"0x9477d85d",
"0x9477d85d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa4983421",
"selector": "0xa4983421",
"calldata_variants": [
"0xa4983421",
"0xa49834210000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1598,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1687,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1816,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 7,
"guards_detected": [],
"untrusted_call_count": 7
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xd15937df038cdd11e77dde6fb124da37e6d47b19a0e9eaaf332b0d54e0bd814a
call_targets:
0xb72749a16410db6b3feac000a5a90c2f6cf7935e
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xd15937df038cdd11e77dde6fb124da37e6d47b19a0e9eaaf332b0d54e0bd814a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xb72749a16410db6b3feac000a5a90c2f6cf7935e"
],
"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": "0xcd9c7121",
"selector": "0xcd9c7121",
"calldata_variants": [
"0xcd9c7121",
"0xcd9c71210000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd6e6eb9f",
"selector": "0xd6e6eb9f",
"calldata_variants": [
"0xd6e6eb9f",
"0xd6e6eb9f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdfe641c6",
"selector": "0xdfe641c6",
"calldata_variants": [
"0xdfe641c6",
"0xdfe641c60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfbe53234",
"selector": "0xfbe53234",
"calldata_variants": [
"0xfbe53234",
"0xfbe532340000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9477d85d",
"selector": "0x9477d85d",
"calldata_variants": [
"0x9477d85d",
"0x9477d85d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa4983421",
"selector": "0xa4983421",
"calldata_variants": [
"0xa4983421",
"0xa49834210000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1598,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1687,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1816,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 7,
"guards_detected": []
}
|