019b477e-b2a6-70db-8477-3f3f8cc34bf6
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 |
|---|---|---|---|---|
| 22393 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 22394 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 65686 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 65687 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 65688 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 65689 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x00fc 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH4 0x06fdde03 0000003c: EQ 0000003d: PUSH2 0x010e 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x19dbc19b 00000047: EQ 00000048: PUSH2 0x019e 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x260e8dfc 00000052: EQ 00000053: PUSH2 0x01f5 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x3ee89a63 0000005d: EQ 0000005e: PUSH2 0x0236 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0x4b227176 00000068: EQ 00000069: PUSH2 0x024d 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0x4f66e22c 00000073: EQ 00000074: PUSH2 0x0278 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0x624ae5c0 0000007e: EQ 0000007f: PUSH2 0x02b9 00000082: JUMPI 00000083: DUP1 00000084: PUSH4 0x68c74b53 00000089: EQ 0000008a: PUSH2 0x02e4 0000008d: JUMPI 0000008e: DUP1 0000008f: PUSH4 0x6c32c0a6 00000094: EQ 00000095: PUSH2 0x030f 00000098: JUMPI 00000099: DUP1 0000009a: PUSH4 0x7aa359f8 0000009f: EQ 000000a0: PUSH2 0x033a 000000a3: JUMPI 000000a4: DUP1 000000a5: PUSH4 0x8f9e4e74 000000aa: EQ 000000ab: PUSH2 0x0368 000000ae: JUMPI 000000af: DUP1 000000b0: PUSH4 0x95d89b41 000000b5: EQ 000000b6: PUSH2 0x040b 000000b9: JUMPI 000000ba: DUP1 000000bb: PUSH4 0xbb290753 000000c0: EQ 000000c1: PUSH2 0x049b 000000c4: JUMPI 000000c5: DUP1 000000c6: PUSH4 0xd07673eb 000000cb: EQ 000000cc: PUSH2 0x04f2 000000cf: JUMPI 000000d0: DUP1 000000d1: PUSH4 0xdbf6c703 000000d6: EQ 000000d7: PUSH2 0x0533 000000da: JUMPI 000000db: DUP1 000000dc: PUSH4 0xdddd3de8 000000e1: EQ 000000e2: PUSH2 0x055e 000000e5: JUMPI 000000e6: DUP1 000000e7: PUSH4 0xe9fca283 000000ec: EQ 000000ed: PUSH2 0x05ca 000000f0: JUMPI 000000f1: DUP1 000000f2: PUSH4 0xef24180a 000000f7: EQ 000000f8: PUSH2 0x05f8 000000fb: JUMPI 000000fc: JUMPDEST 000000fd: CALLVALUE 000000fe: PUSH1 0x02 00000100: PUSH1 0x00 00000102: DUP3 00000103: DUP3 00000104: SLOAD 00000105: ADD 00000106: SWAP3 00000107: POP 00000108: POP 00000109: DUP2 0000010a: SWAP1 0000010b: SSTORE 0000010c: POP 0000010d: STOP 0000010e: JUMPDEST 0000010f: CALLVALUE 00000110: DUP1 00000111: ISZERO 00000112: PUSH2 0x011a 00000115: JUMPI 00000116: PUSH1 0x00 00000118: DUP1 00000119: REVERT 0000011a: JUMPDEST 0000011b: POP 0000011c: PUSH2 0x0123 0000011f: PUSH2 0x064f 00000122: JUMP 00000123: JUMPDEST 00000124: PUSH1 0x40 00000126: MLOAD 00000127: DUP1 00000128: DUP1 00000129: PUSH1 0x20 0000012b: ADD 0000012c: DUP3 0000012d: DUP2 0000012e: SUB 0000012f: DUP3 00000130: MSTORE 00000131: DUP4 00000132: DUP2 00000133: DUP2 00000134: MLOAD 00000135: DUP2 00000136: MSTORE 00000137: PUSH1 0x20 00000139: ADD 0000013a: SWAP2 0000013b: POP 0000013c: DUP1 0000013d: MLOAD 0000013e: SWAP1 0000013f: PUSH1 0x20 00000141: ADD 00000142: SWAP1 00000143: DUP1 00000144: DUP4 00000145: DUP4 00000146: PUSH1 0x00 00000148: JUMPDEST 00000149: DUP4 0000014a: DUP2 0000014b: LT 0000014c: ISZERO 0000014d: PUSH2 0x0163 00000150: JUMPI 00000151: DUP1 00000152: DUP3 00000153: ADD 00000154: MLOAD 00000155: DUP2 00000156: DUP5 00000157: ADD 00000158: MSTORE 00000159: PUSH1 0x20 0000015b: DUP2 0000015c: ADD 0000015d: SWAP1 0000015e: POP 0000015f: PUSH2 0x0148 00000162: JUMP 00000163: JUMPDEST 00000164: POP 00000165: POP 00000166: POP 00000167: POP 00000168: SWAP1 00000169: POP 0000016a: SWAP1 0000016b: DUP2 0000016c: ADD 0000016d: SWAP1 0000016e: PUSH1 0x1f 00000170: AND 00000171: DUP1 00000172: ISZERO 00000173: PUSH2 0x0190 00000176: JUMPI 00000177: DUP1 00000178: DUP3 00000179: SUB 0000017a: DUP1 0000017b: MLOAD 0000017c: PUSH1 0x01 0000017e: DUP4 0000017f: PUSH1 0x20 00000181: SUB 00000182: PUSH2 0x0100 00000185: EXP 00000186: SUB 00000187: NOT 00000188: AND 00000189: DUP2 0000018a: MSTORE 0000018b: PUSH1 0x20 0000018d: ADD 0000018e: SWAP2 0000018f: POP 00000190: JUMPDEST 00000191: POP 00000192: SWAP3 00000193: POP 00000194: POP 00000195: POP 00000196: PUSH1 0x40 00000198: MLOAD 00000199: DUP1 0000019a: SWAP2 0000019b: SUB 0000019c: SWAP1 0000019d: RETURN 0000019e: JUMPDEST 0000019f: CALLVALUE 000001a0: DUP1 000001a1: ISZERO 000001a2: PUSH2 0x01aa 000001a5: JUMPI 000001a6: PUSH1 0x00 000001a8: DUP1 000001a9: REVERT 000001aa: JUMPDEST 000001ab: POP 000001ac: PUSH2 0x01b3 000001af: PUSH2 0x0688 000001b2: JUMP 000001b3: JUMPDEST 000001b4: PUSH1 0x40 000001b6: MLOAD 000001b7: DUP1 000001b8: DUP3 000001b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001ce: AND 000001cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001e4: AND 000001e5: DUP2 000001e6: MSTORE 000001e7: PUSH1 0x20 000001e9: ADD 000001ea: SWAP2 000001eb: POP 000001ec: POP 000001ed: PUSH1 0x40 000001ef: MLOAD 000001f0: DUP1 000001f1: SWAP2 000001f2: SUB 000001f3: SWAP1 000001f4: RETURN 000001f5: JUMPDEST 000001f6: CALLVALUE 000001f7: DUP1 000001f8: ISZERO 000001f9: PUSH2 0x0201 000001fc: JUMPI 000001fd: PUSH1 0x00 000001ff: DUP1 00000200: REVERT 00000201: JUMPDEST 00000202: POP 00000203: PUSH2 0x0220 00000206: PUSH1 0x04 00000208: DUP1 00000209: CALLDATASIZE 0000020a: SUB 0000020b: DUP2 0000020c: ADD 0000020d: SWAP1 0000020e: DUP1 0000020f: DUP1 00000210: CALLDATALOAD 00000211: SWAP1 00000212: PUSH1 0x20 00000214: ADD 00000215: SWAP1 00000216: SWAP3 00000217: SWAP2 00000218: SWAP1 00000219: POP 0000021a: POP 0000021b: POP 0000021c: PUSH2 0x06ae 0000021f: JUMP 00000220: JUMPDEST 00000221: PUSH1 0x40 00000223: MLOAD 00000224: DUP1 00000225: DUP3 00000226: DUP2 00000227: MSTORE 00000228: PUSH1 0x20 0000022a: ADD 0000022b: SWAP2 0000022c: POP 0000022d: POP 0000022e: PUSH1 0x40 00000230: MLOAD 00000231: DUP1 00000232: SWAP2 00000233: SUB 00000234: SWAP1 00000235: RETURN 00000236: JUMPDEST 00000237: CALLVALUE 00000238: DUP1 00000239: ISZERO 0000023a: PUSH2 0x0242 0000023d: JUMPI 0000023e: PUSH1 0x00 00000240: DUP1 00000241: REVERT 00000242: JUMPDEST 00000243: POP 00000244: PUSH2 0x024b 00000247: PUSH2 0x06c6 0000024a: JUMP 0000024b: JUMPDEST 0000024c: STOP 0000024d: JUMPDEST 0000024e: CALLVALUE 0000024f: DUP1 00000250: ISZERO 00000251: PUSH2 0x0259 00000254: JUMPI 00000255: PUSH1 0x00 00000257: DUP1 00000258: REVERT 00000259: JUMPDEST 0000025a: POP 0000025b: PUSH2 0x0262 0000025e: PUSH2 0x0884 00000261: JUMP 00000262: JUMPDEST 00000263: PUSH1 0x40 00000265: MLOAD 00000266: DUP1 00000267: DUP3 00000268: DUP2 00000269: MSTORE 0000026a: PUSH1 0x20 0000026c: ADD 0000026d: SWAP2 0000026e: POP 0000026f: POP 00000270: PUSH1 0x40 00000272: MLOAD 00000273: DUP1 00000274: SWAP2 00000275: SUB 00000276: SWAP1 00000277: RETURN 00000278: JUMPDEST 00000279: CALLVALUE 0000027a: DUP1 0000027b: ISZERO 0000027c: PUSH2 0x0284 0000027f: JUMPI 00000280: PUSH1 0x00 00000282: DUP1 00000283: REVERT 00000284: JUMPDEST 00000285: POP 00000286: PUSH2 0x02a3 00000289: PUSH1 0x04 0000028b: DUP1 0000028c: CALLDATASIZE 0000028d: SUB 0000028e: DUP2 0000028f: ADD 00000290: SWAP1 00000291: DUP1 00000292: DUP1 00000293: CALLDATALOAD 00000294: SWAP1 00000295: PUSH1 0x20 00000297: ADD 00000298: SWAP1 00000299: SWAP3 0000029a: SWAP2 0000029b: SWAP1 0000029c: POP 0000029d: POP 0000029e: POP 0000029f: PUSH2 0x088a 000002a2: JUMP 000002a3: JUMPDEST 000002a4: PUSH1 0x40 000002a6: MLOAD 000002a7: DUP1 000002a8: DUP3 000002a9: DUP2 000002aa: MSTORE 000002ab: PUSH1 0x20 000002ad: ADD 000002ae: SWAP2 000002af: POP 000002b0: POP 000002b1: PUSH1 0x40 000002b3: MLOAD 000002b4: DUP1 000002b5: SWAP2 000002b6: SUB 000002b7: SWAP1 000002b8: RETURN 000002b9: JUMPDEST 000002ba: CALLVALUE 000002bb: DUP1 000002bc: ISZERO 000002bd: PUSH2 0x02c5 000002c0: JUMPI 000002c1: PUSH1 0x00 000002c3: DUP1 000002c4: REVERT 000002c5: JUMPDEST 000002c6: POP 000002c7: PUSH2 0x02ce 000002ca: PUSH2 0x08ad 000002cd: JUMP 000002ce: JUMPDEST 000002cf: PUSH1 0x40 000002d1: MLOAD 000002d2: DUP1 000002d3: DUP3 000002d4: DUP2 000002d5: MSTORE 000002d6: PUSH1 0x20 000002d8: ADD 000002d9: SWAP2 000002da: POP 000002db: POP 000002dc: PUSH1 0x40 000002de: MLOAD 000002df: DUP1 000002e0: SWAP2 000002e1: SUB 000002e2: SWAP1 000002e3: RETURN 000002e4: JUMPDEST 000002e5: CALLVALUE 000002e6: DUP1 000002e7: ISZERO 000002e8: PUSH2 0x02f0 000002eb: JUMPI 000002ec: PUSH1 0x00 000002ee: DUP1 000002ef: REVERT 000002f0: JUMPDEST 000002f1: POP 000002f2: PUSH2 0x02f9 000002f5: PUSH2 0x08b3 000002f8: JUMP 000002f9: JUMPDEST 000002fa: PUSH1 0x40 000002fc: MLOAD 000002fd: DUP1 000002fe: DUP3 000002ff: DUP2 00000300: MSTORE 00000301: PUSH1 0x20 00000303: ADD 00000304: SWAP2 00000305: POP 00000306: POP 00000307: PUSH1 0x40 00000309: MLOAD 0000030a: DUP1 0000030b: SWAP2 0000030c: SUB 0000030d: SWAP1 0000030e: RETURN 0000030f: JUMPDEST 00000310: CALLVALUE 00000311: DUP1 00000312: ISZERO 00000313: PUSH2 0x031b 00000316: JUMPI 00000317: PUSH1 0x00 00000319: DUP1 0000031a: REVERT 0000031b: JUMPDEST 0000031c: POP 0000031d: PUSH2 0x0324 00000320: PUSH2 0x08b9 00000323: JUMP 00000324: JUMPDEST 00000325: PUSH1 0x40 00000327: MLOAD 00000328: DUP1 00000329: DUP3 0000032a: DUP2 0000032b: MSTORE 0000032c: PUSH1 0x20 0000032e: ADD 0000032f: SWAP2 00000330: POP 00000331: POP 00000332: PUSH1 0x40 00000334: MLOAD 00000335: DUP1 00000336: SWAP2 00000337: SUB 00000338: SWAP1 00000339: RETURN 0000033a: JUMPDEST 0000033b: PUSH2 0x0366 0000033e: PUSH1 0x04 00000340: DUP1 00000341: CALLDATASIZE 00000342: SUB 00000343: DUP2 00000344: ADD 00000345: SWAP1 00000346: DUP1 00000347: DUP1 00000348: CALLDATALOAD 00000349: SWAP1 0000034a: PUSH1 0x20 0000034c: ADD 0000034d: SWAP1 0000034e: SWAP3 0000034f: SWAP2 00000350: SWAP1 00000351: DUP1 00000352: CALLDATALOAD 00000353: PUSH1 0x00 00000355: NOT 00000356: AND 00000357: SWAP1 00000358: PUSH1 0x20 0000035a: ADD 0000035b: SWAP1 0000035c: SWAP3 0000035d: SWAP2 0000035e: SWAP1 0000035f: POP 00000360: POP 00000361: POP 00000362: PUSH2 0x08bf 00000365: JUMP 00000366: JUMPDEST 00000367: STOP 00000368: JUMPDEST 00000369: CALLVALUE 0000036a: DUP1 0000036b: ISZERO 0000036c: PUSH2 0x0374 0000036f: JUMPI 00000370: PUSH1 0x00 00000372: DUP1 00000373: REVERT 00000374: JUMPDEST 00000375: POP 00000376: PUSH2 0x039d 00000379: PUSH1 0x04 0000037b: DUP1 0000037c: CALLDATASIZE 0000037d: SUB 0000037e: DUP2 0000037f: ADD 00000380: SWAP1 00000381: DUP1 00000382: DUP1 00000383: CALLDATALOAD 00000384: SWAP1 00000385: PUSH1 0x20 00000387: ADD 00000388: SWAP1 00000389: SWAP3 0000038a: SWAP2 0000038b: SWAP1 0000038c: DUP1 0000038d: CALLDATALOAD 0000038e: SWAP1 0000038f: PUSH1 0x20 00000391: ADD 00000392: SWAP1 00000393: SWAP3 00000394: SWAP2 00000395: SWAP1 00000396: POP 00000397: POP 00000398: POP 00000399: PUSH2 0x0a6a 0000039c: JUMP 0000039d: JUMPDEST 0000039e: PUSH1 0x40 000003a0: MLOAD 000003a1: DUP1 000003a2: DUP7 000003a3: DUP2 000003a4: MSTORE 000003a5: PUSH1 0x20 000003a7: ADD 000003a8: DUP6 000003a9: DUP2 000003aa: MSTORE 000003ab: PUSH1 0x20 000003ad: ADD 000003ae: DUP5 000003af: PUSH1 0x00 000003b1: NOT 000003b2: AND 000003b3: PUSH1 0x00 000003b5: NOT 000003b6: AND 000003b7: DUP2 000003b8: MSTORE 000003b9: PUSH1 0x20 000003bb: ADD 000003bc: DUP4 000003bd: PUSH1 0x00 000003bf: NOT 000003c0: AND 000003c1: PUSH1 0x00 000003c3: NOT 000003c4: AND 000003c5: DUP2 000003c6: MSTORE 000003c7: PUSH1 0x20 000003c9: ADD 000003ca: DUP3 000003cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003e0: AND 000003e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003f6: AND 000003f7: DUP2 000003f8: MSTORE 000003f9: PUSH1 0x20 000003fb: ADD 000003fc: SWAP6 000003fd: POP 000003fe: POP 000003ff: POP 00000400: POP 00000401: POP 00000402: POP 00000403: PUSH1 0x40 00000405: MLOAD 00000406: DUP1 00000407: SWAP2 00000408: SUB 00000409: SWAP1 0000040a: RETURN 0000040b: JUMPDEST 0000040c: CALLVALUE 0000040d: DUP1 0000040e: ISZERO 0000040f: PUSH2 0x0417 00000412: JUMPI 00000413: PUSH1 0x00 00000415: DUP1 00000416: REVERT 00000417: JUMPDEST 00000418: POP 00000419: PUSH2 0x0420 0000041c: PUSH2 0x0acd 0000041f: JUMP 00000420: JUMPDEST 00000421: PUSH1 0x40 00000423: MLOAD 00000424: DUP1 00000425: DUP1 00000426: PUSH1 0x20 00000428: ADD 00000429: DUP3 0000042a: DUP2 0000042b: SUB 0000042c: DUP3 0000042d: MSTORE 0000042e: DUP4 0000042f: DUP2 00000430: DUP2 00000431: MLOAD 00000432: DUP2 00000433: MSTORE 00000434: PUSH1 0x20 00000436: ADD 00000437: SWAP2 00000438: POP 00000439: DUP1 0000043a: MLOAD 0000043b: SWAP1 0000043c: PUSH1 0x20 0000043e: ADD 0000043f: SWAP1 00000440: DUP1 00000441: DUP4 00000442: DUP4 00000443: PUSH1 0x00 00000445: JUMPDEST 00000446: DUP4 00000447: DUP2 00000448: LT 00000449: ISZERO 0000044a: PUSH2 0x0460 0000044d: JUMPI 0000044e: DUP1 0000044f: DUP3 00000450: ADD 00000451: MLOAD 00000452: DUP2 00000453: DUP5 00000454: ADD 00000455: MSTORE 00000456: PUSH1 0x20 00000458: DUP2 00000459: ADD 0000045a: SWAP1 0000045b: POP 0000045c: PUSH2 0x0445 0000045f: JUMP 00000460: JUMPDEST 00000461: POP 00000462: POP 00000463: POP 00000464: POP 00000465: SWAP1 00000466: POP 00000467: SWAP1 00000468: DUP2 00000469: ADD 0000046a: SWAP1 0000046b: PUSH1 0x1f 0000046d: AND 0000046e: DUP1 0000046f: ISZERO 00000470: PUSH2 0x048d 00000473: JUMPI 00000474: DUP1 00000475: DUP3 00000476: SUB 00000477: DUP1 00000478: MLOAD 00000479: PUSH1 0x01 0000047b: DUP4 0000047c: PUSH1 0x20 0000047e: SUB 0000047f: PUSH2 0x0100 00000482: EXP 00000483: SUB 00000484: NOT 00000485: AND 00000486: DUP2 00000487: MSTORE 00000488: PUSH1 0x20 0000048a: ADD 0000048b: SWAP2 0000048c: POP 0000048d: JUMPDEST 0000048e: POP 0000048f: SWAP3 00000490: POP 00000491: POP 00000492: POP 00000493: PUSH1 0x40 00000495: MLOAD 00000496: DUP1 00000497: SWAP2 00000498: SUB 00000499: SWAP1 0000049a: RETURN 0000049b: JUMPDEST 0000049c: CALLVALUE 0000049d: DUP1 0000049e: ISZERO 0000049f: PUSH2 0x04a7 000004a2: JUMPI 000004a3: PUSH1 0x00 000004a5: DUP1 000004a6: REVERT 000004a7: JUMPDEST 000004a8: POP 000004a9: PUSH2 0x04b0 000004ac: PUSH2 0x0b06 000004af: JUMP 000004b0: JUMPDEST 000004b1: PUSH1 0x40 000004b3: MLOAD 000004b4: DUP1 000004b5: DUP3 000004b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004cb: AND 000004cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004e1: AND 000004e2: DUP2 000004e3: MSTORE 000004e4: PUSH1 0x20 000004e6: ADD 000004e7: SWAP2 000004e8: POP 000004e9: POP 000004ea: PUSH1 0x40 000004ec: MLOAD 000004ed: DUP1 000004ee: SWAP2 000004ef: SUB 000004f0: SWAP1 000004f1: RETURN 000004f2: JUMPDEST 000004f3: CALLVALUE 000004f4: DUP1 000004f5: ISZERO 000004f6: PUSH2 0x04fe 000004f9: JUMPI 000004fa: PUSH1 0x00 000004fc: DUP1 000004fd: REVERT 000004fe: JUMPDEST 000004ff: POP 00000500: PUSH2 0x051d 00000503: PUSH1 0x04 00000505: DUP1 00000506: CALLDATASIZE 00000507: SUB 00000508: DUP2 00000509: ADD 0000050a: SWAP1 0000050b: DUP1 0000050c: DUP1 0000050d: CALLDATALOAD 0000050e: SWAP1 0000050f: PUSH1 0x20 00000511: ADD 00000512: SWAP1 00000513: SWAP3 00000514: SWAP2 00000515: SWAP1 00000516: POP 00000517: POP 00000518: POP 00000519: PUSH2 0x0b2c 0000051c: JUMP 0000051d: JUMPDEST 0000051e: PUSH1 0x40 00000520: MLOAD 00000521: DUP1 00000522: DUP3 00000523: DUP2 00000524: MSTORE 00000525: PUSH1 0x20 00000527: ADD 00000528: SWAP2 00000529: POP 0000052a: POP 0000052b: PUSH1 0x40 0000052d: MLOAD 0000052e: DUP1 0000052f: SWAP2 00000530: SUB 00000531: SWAP1 00000532: RETURN 00000533: JUMPDEST 00000534: CALLVALUE 00000535: DUP1 00000536: ISZERO 00000537: PUSH2 0x053f 0000053a: JUMPI 0000053b: PUSH1 0x00 0000053d: DUP1 0000053e: REVERT 0000053f: JUMPDEST 00000540: POP 00000541: PUSH2 0x0548 00000544: PUSH2 0x0b44 00000547: JUMP 00000548: JUMPDEST 00000549: PUSH1 0x40 0000054b: MLOAD 0000054c: DUP1 0000054d: DUP3 0000054e: DUP2 0000054f: MSTORE 00000550: PUSH1 0x20 00000552: ADD 00000553: SWAP2 00000554: POP 00000555: POP 00000556: PUSH1 0x40 00000558: MLOAD 00000559: DUP1 0000055a: SWAP2 0000055b: SUB 0000055c: SWAP1 0000055d: RETURN 0000055e: JUMPDEST 0000055f: CALLVALUE 00000560: DUP1 00000561: ISZERO 00000562: PUSH2 0x056a 00000565: JUMPI 00000566: PUSH1 0x00 00000568: DUP1 00000569: REVERT 0000056a: JUMPDEST 0000056b: POP 0000056c: PUSH2 0x0573 0000056f: PUSH2 0x0b4a 00000572: JUMP 00000573: JUMPDEST 00000574: PUSH1 0x40 00000576: MLOAD 00000577: DUP1 00000578: DUP1 00000579: PUSH1 0x20 0000057b: ADD 0000057c: DUP3 0000057d: DUP2 0000057e: SUB 0000057f: DUP3 00000580: MSTORE 00000581: DUP4 00000582: DUP2 00000583: DUP2 00000584: MLOAD 00000585: DUP2 00000586: MSTORE 00000587: PUSH1 0x20 00000589: ADD 0000058a: SWAP2 0000058b: POP 0000058c: DUP1 0000058d: MLOAD 0000058e: SWAP1 0000058f: PUSH1 0x20 00000591: ADD 00000592: SWAP1 00000593: PUSH1 0x20 00000595: MUL 00000596: DUP1 00000597: DUP4 00000598: DUP4 00000599: PUSH1 0x00 0000059b: JUMPDEST 0000059c: DUP4 0000059d: DUP2 0000059e: LT 0000059f: ISZERO 000005a0: PUSH2 0x05b6 000005a3: JUMPI 000005a4: DUP1 000005a5: DUP3 000005a6: ADD 000005a7: MLOAD 000005a8: DUP2 000005a9: DUP5 000005aa: ADD 000005ab: MSTORE 000005ac: PUSH1 0x20 000005ae: DUP2 000005af: ADD 000005b0: SWAP1 000005b1: POP 000005b2: PUSH2 0x059b 000005b5: JUMP 000005b6: JUMPDEST 000005b7: POP 000005b8: POP 000005b9: POP 000005ba: POP 000005bb: SWAP1 000005bc: POP 000005bd: ADD 000005be: SWAP3 000005bf: POP 000005c0: POP 000005c1: POP 000005c2: PUSH1 0x40 000005c4: MLOAD 000005c5: DUP1 000005c6: SWAP2 000005c7: SUB 000005c8: SWAP1 000005c9: RETURN 000005ca: JUMPDEST 000005cb: PUSH2 0x05f6 000005ce: PUSH1 0x04 000005d0: DUP1 000005d1: CALLDATASIZE 000005d2: SUB 000005d3: DUP2 000005d4: ADD 000005d5: SWAP1 000005d6: DUP1 000005d7: DUP1 000005d8: CALLDATALOAD 000005d9: SWAP1 000005da: PUSH1 0x20 000005dc: ADD 000005dd: SWAP1 000005de: SWAP3 000005df: SWAP2 000005e0: SWAP1 000005e1: DUP1 000005e2: CALLDATALOAD 000005e3: PUSH1 0x00 000005e5: NOT 000005e6: AND 000005e7: SWAP1 000005e8: PUSH1 0x20 000005ea: ADD 000005eb: SWAP1 000005ec: SWAP3 000005ed: SWAP2 000005ee: SWAP1 000005ef: POP 000005f0: POP 000005f1: POP 000005f2: PUSH2 0x0ba2 000005f5: JUMP 000005f6: JUMPDEST 000005f7: STOP 000005f8: JUMPDEST 000005f9: CALLVALUE 000005fa: DUP1 000005fb: ISZERO 000005fc: PUSH2 0x0604 000005ff: JUMPI 00000600: PUSH1 0x00 00000602: DUP1 00000603: REVERT 00000604: JUMPDEST 00000605: POP 00000606: PUSH2 0x060d 00000609: PUSH2 0x1172 0000060c: JUMP 0000060d: JUMPDEST 0000060e: PUSH1 0x40 00000610: MLOAD 00000611: DUP1 00000612: DUP3 00000613: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000628: AND 00000629: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000063e: AND 0000063f: DUP2 00000640: MSTORE 00000641: PUSH1 0x20 00000643: ADD 00000644: SWAP2 00000645: POP 00000646: POP 00000647: PUSH1 0x40 00000649: MLOAD 0000064a: DUP1 0000064b: SWAP2 0000064c: SUB 0000064d: SWAP1 0000064e: RETURN 0000064f: JUMPDEST 00000650: PUSH1 0x40 00000652: DUP1 00000653: MLOAD 00000654: SWAP1 00000655: DUP2 00000656: ADD 00000657: PUSH1 0x40 00000659: MSTORE 0000065a: DUP1 0000065b: PUSH1 0x0c 0000065d: DUP2 0000065e: MSTORE 0000065f: PUSH1 0x20 00000661: ADD 00000662: PUSH32 0x45544820776f726c642063710000000000000000000000000000000000000000 00000683: DUP2 00000684: MSTORE 00000685: POP 00000686: DUP2 00000687: JUMP 00000688: JUMPDEST 00000689: PUSH1 0x08 0000068b: PUSH1 0x00 0000068d: SWAP1 0000068e: SLOAD 0000068f: SWAP1 00000690: PUSH2 0x0100 00000693: EXP 00000694: SWAP1 00000695: DIV 00000696: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006ab: AND 000006ac: DUP2 000006ad: JUMP 000006ae: JUMPDEST 000006af: PUSH1 0x04 000006b1: PUSH1 0x20 000006b3: MSTORE 000006b4: DUP1 000006b5: PUSH1 0x00 000006b7: MSTORE 000006b8: PUSH1 0x40 000006ba: PUSH1 0x00 000006bc: KECCAK256 000006bd: PUSH1 0x00 000006bf: SWAP2 000006c0: POP 000006c1: SWAP1 000006c2: POP 000006c3: SLOAD 000006c4: DUP2 000006c5: JUMP 000006c6: JUMPDEST 000006c7: PUSH20 0x9ca974f2c49d68bd5958978e81151e6831290f57 000006dc: CALLER 000006dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006f2: AND 000006f3: EQ 000006f4: ISZERO 000006f5: ISZERO 000006f6: PUSH2 0x0767 000006f9: JUMPI 000006fa: PUSH1 0x40 000006fc: MLOAD 000006fd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000071e: DUP2 0000071f: MSTORE 00000720: PUSH1 0x04 00000722: ADD 00000723: DUP1 00000724: DUP1 00000725: PUSH1 0x20 00000727: ADD 00000728: DUP3 00000729: DUP2 0000072a: SUB 0000072b: DUP3 0000072c: MSTORE 0000072d: PUSH1 0x1b 0000072f: DUP2 00000730: MSTORE 00000731: PUSH1 0x20 00000733: ADD 00000734: DUP1 00000735: PUSH32 0x6f6e6c79207465616d206a7573742063616e2061637469766174650000000000 00000756: DUP2 00000757: MSTORE 00000758: POP 00000759: PUSH1 0x20 0000075b: ADD 0000075c: SWAP2 0000075d: POP 0000075e: POP 0000075f: PUSH1 0x40 00000761: MLOAD 00000762: DUP1 00000763: SWAP2 00000764: SUB 00000765: SWAP1 00000766: REVERT 00000767: JUMPDEST 00000768: ADDRESS 00000769: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000077e: AND 0000077f: BALANCE 00000780: PUSH1 0x02 00000782: SLOAD 00000783: GT 00000784: ISZERO 00000785: ISZERO 00000786: PUSH2 0x0801 00000789: JUMPI 0000078a: PUSH1 0x03 0000078c: PUSH1 0x00 0000078e: SWAP1 0000078f: SLOAD 00000790: SWAP1 00000791: PUSH2 0x0100 00000794: EXP 00000795: SWAP1 00000796: DIV 00000797: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007ac: AND 000007ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007c2: AND 000007c3: PUSH2 0x08fc 000007c6: PUSH1 0x02 000007c8: SLOAD 000007c9: SWAP1 000007ca: DUP2 000007cb: ISZERO 000007cc: MUL 000007cd: SWAP1 000007ce: PUSH1 0x40 000007d0: MLOAD 000007d1: PUSH1 0x00 000007d3: PUSH1 0x40 000007d5: MLOAD 000007d6: DUP1 000007d7: DUP4 000007d8: SUB 000007d9: DUP2 000007da: DUP6 000007db: DUP9 000007dc: DUP9 000007dd: CALL 000007de: SWAP4 000007df: POP 000007e0: POP 000007e1: POP 000007e2: POP 000007e3: ISZERO 000007e4: DUP1 000007e5: ISZERO 000007e6: PUSH2 0x07f3 000007e9: JUMPI 000007ea: RETURNDATASIZE 000007eb: PUSH1 0x00 000007ed: DUP1 000007ee: RETURNDATACOPY 000007ef: RETURNDATASIZE 000007f0: PUSH1 0x00 000007f2: REVERT 000007f3: JUMPDEST 000007f4: POP 000007f5: PUSH1 0x00 000007f7: PUSH1 0x02 000007f9: DUP2 000007fa: SWAP1 000007fb: SSTORE 000007fc: POP 000007fd: PUSH2 0x0882 00000800: JUMP 00000801: JUMPDEST 00000802: PUSH1 0x03 00000804: PUSH1 0x00 00000806: SWAP1 00000807: SLOAD 00000808: SWAP1 00000809: PUSH2 0x0100 0000080c: EXP 0000080d: SWAP1 0000080e: DIV 0000080f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000824: AND 00000825: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000083a: AND 0000083b: PUSH2 0x08fc 0000083e: ADDRESS 0000083f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000854: AND 00000855: BALANCE 00000856: SWAP1 00000857: DUP2 00000858: ISZERO 00000859: MUL 0000085a: SWAP1 0000085b: PUSH1 0x40 0000085d: MLOAD 0000085e: PUSH1 0x00 00000860: PUSH1 0x40 00000862: MLOAD 00000863: DUP1 00000864: DUP4 00000865: SUB 00000866: DUP2 00000867: DUP6 00000868: DUP9 00000869: DUP9 0000086a: CALL 0000086b: SWAP4 0000086c: POP 0000086d: POP 0000086e: POP 0000086f: POP 00000870: ISZERO 00000871: DUP1 00000872: ISZERO 00000873: PUSH2 0x0880 00000876: JUMPI 00000877: RETURNDATASIZE 00000878: PUSH1 0x00 0000087a: DUP1 0000087b: RETURNDATACOPY 0000087c: RETURNDATASIZE 0000087d: PUSH1 0x00 0000087f: REVERT 00000880: JUMPDEST 00000881: POP 00000882: JUMPDEST 00000883: JUMP 00000884: JUMPDEST 00000885: PUSH1 0x01 00000887: SLOAD 00000888: DUP2 00000889: JUMP 0000088a: JUMPDEST 0000088b: PUSH1 0x0a 0000088d: DUP2 0000088e: DUP2 0000088f: SLOAD 00000890: DUP2 00000891: LT 00000892: ISZERO 00000893: ISZERO 00000894: PUSH2 0x0899 00000897: JUMPI 00000898: INVALID 00000899: JUMPDEST 0000089a: SWAP1 0000089b: PUSH1 0x00 0000089d: MSTORE 0000089e: PUSH1 0x20 000008a0: PUSH1 0x00 000008a2: KECCAK256 000008a3: ADD 000008a4: PUSH1 0x00 000008a6: SWAP2 000008a7: POP 000008a8: SWAP1 000008a9: POP 000008aa: SLOAD 000008ab: DUP2 000008ac: JUMP 000008ad: JUMPDEST 000008ae: PUSH1 0x00 000008b0: SLOAD 000008b1: DUP2 000008b2: JUMP 000008b3: JUMPDEST 000008b4: PUSH1 0x07 000008b6: SLOAD 000008b7: DUP2 000008b8: JUMP 000008b9: JUMPDEST 000008ba: PUSH1 0x06 000008bc: SLOAD 000008bd: DUP2 000008be: JUMP 000008bf: JUMPDEST 000008c0: PUSH1 0x00 000008c2: DUP1 000008c3: CALLER 000008c4: SWAP2 000008c5: POP 000008c6: ORIGIN 000008c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008dc: AND 000008dd: DUP3 000008de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008f3: AND 000008f4: EQ 000008f5: ISZERO 000008f6: ISZERO 000008f7: PUSH2 0x08ff 000008fa: JUMPI 000008fb: PUSH1 0x00 000008fd: DUP1 000008fe: REVERT 000008ff: JUMPDEST 00000900: DUP2 00000901: EXTCODESIZE 00000902: SWAP1 00000903: POP 00000904: PUSH1 0x00 00000906: DUP2 00000907: EQ 00000908: ISZERO 00000909: ISZERO 0000090a: PUSH2 0x097b 0000090d: JUMPI 0000090e: PUSH1 0x40 00000910: MLOAD 00000911: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000932: DUP2 00000933: MSTORE 00000934: PUSH1 0x04 00000936: ADD 00000937: DUP1 00000938: DUP1 00000939: PUSH1 0x20 0000093b: ADD 0000093c: DUP3 0000093d: DUP2 0000093e: SUB 0000093f: DUP3 00000940: MSTORE 00000941: PUSH1 0x11 00000943: DUP2 00000944: MSTORE 00000945: PUSH1 0x20 00000947: ADD 00000948: DUP1 00000949: PUSH32 0x736f7272792068756d616e73206f6e6c79000000000000000000000000000000 0000096a: DUP2 0000096b: MSTORE 0000096c: POP 0000096d: PUSH1 0x20 0000096f: ADD 00000970: SWAP2 00000971: POP 00000972: POP 00000973: PUSH1 0x40 00000975: MLOAD 00000976: DUP1 00000977: SWAP2 00000978: SUB 00000979: SWAP1 0000097a: REVERT 0000097b: JUMPDEST 0000097c: PUSH8 0x016345785d8a0000 00000985: CALLVALUE 00000986: LT 00000987: ISZERO 00000988: ISZERO 00000989: ISZERO 0000098a: PUSH2 0x0992 0000098d: JUMPI 0000098e: PUSH1 0x00 00000990: DUP1 00000991: REVERT 00000992: JUMPDEST 00000993: PUSH1 0x05 00000995: PUSH1 0x00 00000997: DUP1 00000998: SLOAD 00000999: DUP2 0000099a: MSTORE 0000099b: PUSH1 0x20 0000099d: ADD 0000099e: SWAP1 0000099f: DUP2 000009a0: MSTORE 000009a1: PUSH1 0x20 000009a3: ADD 000009a4: PUSH1 0x00 000009a6: KECCAK256 000009a7: PUSH1 0x00 000009a9: DUP6 000009aa: DUP2 000009ab: MSTORE 000009ac: PUSH1 0x20 000009ae: ADD 000009af: SWAP1 000009b0: DUP2 000009b1: MSTORE 000009b2: PUSH1 0x20 000009b4: ADD 000009b5: PUSH1 0x00 000009b7: KECCAK256 000009b8: PUSH1 0x04 000009ba: ADD 000009bb: PUSH1 0x00 000009bd: SWAP1 000009be: SLOAD 000009bf: SWAP1 000009c0: PUSH2 0x0100 000009c3: EXP 000009c4: SWAP1 000009c5: DIV 000009c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009db: AND 000009dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009f1: AND 000009f2: CALLER 000009f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a08: AND 00000a09: EQ 00000a0a: ISZERO 00000a0b: ISZERO 00000a0c: PUSH2 0x0a14 00000a0f: JUMPI 00000a10: PUSH1 0x00 00000a12: DUP1 00000a13: REVERT 00000a14: JUMPDEST 00000a15: CALLVALUE 00000a16: PUSH1 0x02 00000a18: PUSH1 0x00 00000a1a: DUP3 00000a1b: DUP3 00000a1c: SLOAD 00000a1d: ADD 00000a1e: SWAP3 00000a1f: POP 00000a20: POP 00000a21: DUP2 00000a22: SWAP1 00000a23: SSTORE 00000a24: POP 00000a25: PUSH1 0x00 00000a27: DUP4 00000a28: PUSH1 0x00 00000a2a: NOT 00000a2b: AND 00000a2c: EQ 00000a2d: ISZERO 00000a2e: ISZERO 00000a2f: PUSH2 0x0a64 00000a32: JUMPI 00000a33: DUP3 00000a34: PUSH1 0x05 00000a36: PUSH1 0x00 00000a38: DUP1 00000a39: SLOAD 00000a3a: DUP2 00000a3b: MSTORE 00000a3c: PUSH1 0x20 00000a3e: ADD 00000a3f: SWAP1 00000a40: DUP2 00000a41: MSTORE 00000a42: PUSH1 0x20 00000a44: ADD 00000a45: PUSH1 0x00 00000a47: KECCAK256 00000a48: PUSH1 0x00 00000a4a: DUP7 00000a4b: DUP2 00000a4c: MSTORE 00000a4d: PUSH1 0x20 00000a4f: ADD 00000a50: SWAP1 00000a51: DUP2 00000a52: MSTORE 00000a53: PUSH1 0x20 00000a55: ADD 00000a56: PUSH1 0x00 00000a58: KECCAK256 00000a59: PUSH1 0x03 00000a5b: ADD 00000a5c: DUP2 00000a5d: PUSH1 0x00 00000a5f: NOT 00000a60: AND 00000a61: SWAP1 00000a62: SSTORE 00000a63: POP 00000a64: JUMPDEST 00000a65: POP 00000a66: POP 00000a67: POP 00000a68: POP 00000a69: JUMP 00000a6a: JUMPDEST 00000a6b: PUSH1 0x05 00000a6d: PUSH1 0x20 00000a6f: MSTORE 00000a70: DUP2 00000a71: PUSH1 0x00 00000a73: MSTORE 00000a74: PUSH1 0x40 00000a76: PUSH1 0x00 00000a78: KECCAK256 00000a79: PUSH1 0x20 00000a7b: MSTORE 00000a7c: DUP1 00000a7d: PUSH1 0x00 00000a7f: MSTORE 00000a80: PUSH1 0x40 00000a82: PUSH1 0x00 00000a84: KECCAK256 00000a85: PUSH1 0x00 00000a87: SWAP2 00000a88: POP 00000a89: SWAP2 00000a8a: POP 00000a8b: POP 00000a8c: DUP1 00000a8d: PUSH1 0x00 00000a8f: ADD 00000a90: SLOAD 00000a91: SWAP1 00000a92: DUP1 00000a93: PUSH1 0x01 00000a95: ADD 00000a96: SLOAD 00000a97: SWAP1 00000a98: DUP1 00000a99: PUSH1 0x02 00000a9b: ADD 00000a9c: SLOAD 00000a9d: SWAP1 00000a9e: DUP1 00000a9f: PUSH1 0x03 00000aa1: ADD 00000aa2: SLOAD 00000aa3: SWAP1 00000aa4: DUP1 00000aa5: PUSH1 0x04 00000aa7: ADD 00000aa8: PUSH1 0x00 00000aaa: SWAP1 00000aab: SLOAD 00000aac: SWAP1 00000aad: PUSH2 0x0100 00000ab0: EXP 00000ab1: SWAP1 00000ab2: DIV 00000ab3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ac8: AND 00000ac9: SWAP1 00000aca: POP 00000acb: DUP6 00000acc: JUMP 00000acd: JUMPDEST 00000ace: PUSH1 0x40 00000ad0: DUP1 00000ad1: MLOAD 00000ad2: SWAP1 00000ad3: DUP2 00000ad4: ADD 00000ad5: PUSH1 0x40 00000ad7: MSTORE 00000ad8: DUP1 00000ad9: PUSH1 0x03 00000adb: DUP2 00000adc: MSTORE 00000add: PUSH1 0x20 00000adf: ADD 00000ae0: PUSH32 0x6563710000000000000000000000000000000000000000000000000000000000 00000b01: DUP2 00000b02: MSTORE 00000b03: POP 00000b04: DUP2 00000b05: JUMP 00000b06: JUMPDEST 00000b07: PUSH1 0x03 00000b09: PUSH1 0x00 00000b0b: SWAP1 00000b0c: SLOAD 00000b0d: SWAP1 00000b0e: PUSH2 0x0100 00000b11: EXP 00000b12: SWAP1 00000b13: DIV 00000b14: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b29: AND 00000b2a: DUP2 00000b2b: JUMP 00000b2c: JUMPDEST 00000b2d: PUSH1 0x0b 00000b2f: PUSH1 0x20 00000b31: MSTORE 00000b32: DUP1 00000b33: PUSH1 0x00 00000b35: MSTORE 00000b36: PUSH1 0x40 00000b38: PUSH1 0x00 00000b3a: KECCAK256 00000b3b: PUSH1 0x00 00000b3d: SWAP2 00000b3e: POP 00000b3f: SWAP1 00000b40: POP 00000b41: SLOAD 00000b42: DUP2 00000b43: JUMP 00000b44: JUMPDEST 00000b45: PUSH1 0x02 00000b47: SLOAD 00000b48: DUP2 00000b49: JUMP 00000b4a: JUMPDEST 00000b4b: PUSH1 0x60 00000b4d: PUSH1 0x0a 00000b4f: DUP1 00000b50: SLOAD 00000b51: DUP1 00000b52: PUSH1 0x20 00000b54: MUL 00000b55: PUSH1 0x20 00000b57: ADD 00000b58: PUSH1 0x40 00000b5a: MLOAD 00000b5b: SWAP1 00000b5c: DUP2 00000b5d: ADD 00000b5e: PUSH1 0x40 00000b60: MSTORE 00000b61: DUP1 00000b62: SWAP3 00000b63: SWAP2 00000b64: SWAP1 00000b65: DUP2 00000b66: DUP2 00000b67: MSTORE 00000b68: PUSH1 0x20 00000b6a: ADD 00000b6b: DUP3 00000b6c: DUP1 00000b6d: SLOAD 00000b6e: DUP1 00000b6f: ISZERO 00000b70: PUSH2 0x0b98 00000b73: JUMPI 00000b74: PUSH1 0x20 00000b76: MUL 00000b77: DUP3 00000b78: ADD 00000b79: SWAP2 00000b7a: SWAP1 00000b7b: PUSH1 0x00 00000b7d: MSTORE 00000b7e: PUSH1 0x20 00000b80: PUSH1 0x00 00000b82: KECCAK256 00000b83: SWAP1 00000b84: JUMPDEST 00000b85: DUP2 00000b86: SLOAD 00000b87: DUP2 00000b88: MSTORE 00000b89: PUSH1 0x20 00000b8b: ADD 00000b8c: SWAP1 00000b8d: PUSH1 0x01 00000b8f: ADD 00000b90: SWAP1 00000b91: DUP1 00000b92: DUP4 00000b93: GT 00000b94: PUSH2 0x0b84 00000b97: JUMPI 00000b98: JUMPDEST 00000b99: POP 00000b9a: POP 00000b9b: POP 00000b9c: POP 00000b9d: POP 00000b9e: SWAP1 00000b9f: POP 00000ba0: SWAP1 00000ba1: JUMP 00000ba2: JUMPDEST 00000ba3: PUSH1 0x00 00000ba5: DUP1 00000ba6: PUSH1 0x00 00000ba8: DUP1 00000ba9: PUSH1 0x00 00000bab: CALLER 00000bac: SWAP2 00000bad: POP 00000bae: ORIGIN 00000baf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bc4: AND 00000bc5: DUP3 00000bc6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bdb: AND 00000bdc: EQ 00000bdd: ISZERO 00000bde: ISZERO 00000bdf: PUSH2 0x0be7 00000be2: JUMPI 00000be3: PUSH1 0x00 00000be5: DUP1 00000be6: REVERT 00000be7: JUMPDEST 00000be8: DUP2 00000be9: EXTCODESIZE 00000bea: SWAP1 00000beb: POP 00000bec: PUSH1 0x00 00000bee: DUP2 00000bef: EQ 00000bf0: ISZERO 00000bf1: ISZERO 00000bf2: PUSH2 0x0c63 00000bf5: JUMPI 00000bf6: PUSH1 0x40 00000bf8: MLOAD 00000bf9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000c1a: DUP2 00000c1b: MSTORE 00000c1c: PUSH1 0x04 00000c1e: ADD 00000c1f: DUP1 00000c20: DUP1 00000c21: PUSH1 0x20 00000c23: ADD 00000c24: DUP3 00000c25: DUP2 00000c26: SUB 00000c27: DUP3 00000c28: MSTORE 00000c29: PUSH1 0x11 00000c2b: DUP2 00000c2c: MSTORE 00000c2d: PUSH1 0x20 00000c2f: ADD 00000c30: DUP1 00000c31: PUSH32 0x736f7272792068756d616e73206f6e6c79000000000000000000000000000000 00000c52: DUP2 00000c53: MSTORE 00000c54: POP 00000c55: PUSH1 0x20 00000c57: ADD 00000c58: SWAP2 00000c59: POP 00000c5a: POP 00000c5b: PUSH1 0x40 00000c5d: MLOAD 00000c5e: DUP1 00000c5f: SWAP2 00000c60: SUB 00000c61: SWAP1 00000c62: REVERT 00000c63: JUMPDEST 00000c64: PUSH7 0x2386f26fc10000 00000c6c: CALLVALUE 00000c6d: LT 00000c6e: ISZERO 00000c6f: ISZERO 00000c70: ISZERO 00000c71: PUSH2 0x0c79 00000c74: JUMPI 00000c75: PUSH1 0x00 00000c77: DUP1 00000c78: REVERT 00000c79: JUMPDEST 00000c7a: PUSH1 0x05 00000c7c: PUSH1 0x00 00000c7e: DUP1 00000c7f: SLOAD 00000c80: DUP2 00000c81: MSTORE 00000c82: PUSH1 0x20 00000c84: ADD 00000c85: SWAP1 00000c86: DUP2 00000c87: MSTORE 00000c88: PUSH1 0x20 00000c8a: ADD 00000c8b: PUSH1 0x00 00000c8d: KECCAK256 00000c8e: PUSH1 0x00 00000c90: DUP9 00000c91: DUP2 00000c92: MSTORE 00000c93: PUSH1 0x20 00000c95: ADD 00000c96: SWAP1 00000c97: DUP2 00000c98: MSTORE 00000c99: PUSH1 0x20 00000c9b: ADD 00000c9c: PUSH1 0x00 00000c9e: KECCAK256 00000c9f: PUSH1 0x01 00000ca1: ADD 00000ca2: SLOAD 00000ca3: CALLVALUE 00000ca4: LT 00000ca5: ISZERO 00000ca6: ISZERO 00000ca7: ISZERO 00000ca8: PUSH2 0x0cb0 00000cab: JUMPI 00000cac: PUSH1 0x00 00000cae: DUP1 00000caf: REVERT 00000cb0: JUMPDEST 00000cb1: PUSH1 0x00 00000cb3: DUP7 00000cb4: PUSH1 0x00 00000cb6: NOT 00000cb7: AND 00000cb8: EQ 00000cb9: ISZERO 00000cba: ISZERO 00000cbb: PUSH2 0x0cf0 00000cbe: JUMPI 00000cbf: DUP6 00000cc0: PUSH1 0x05 00000cc2: PUSH1 0x00 00000cc4: DUP1 00000cc5: SLOAD 00000cc6: DUP2 00000cc7: MSTORE 00000cc8: PUSH1 0x20 00000cca: ADD 00000ccb: SWAP1 00000ccc: DUP2 00000ccd: MSTORE 00000cce: PUSH1 0x20 00000cd0: ADD 00000cd1: PUSH1 0x00 00000cd3: KECCAK256 00000cd4: PUSH1 0x00 00000cd6: DUP10 00000cd7: DUP2 00000cd8: MSTORE 00000cd9: PUSH1 0x20 00000cdb: ADD 00000cdc: SWAP1 00000cdd: DUP2 00000cde: MSTORE 00000cdf: PUSH1 0x20 00000ce1: ADD 00000ce2: PUSH1 0x00 00000ce4: KECCAK256 00000ce5: PUSH1 0x03 00000ce7: ADD 00000ce8: DUP2 00000ce9: PUSH1 0x00 00000ceb: NOT 00000cec: AND 00000ced: SWAP1 00000cee: SSTORE 00000cef: POP 00000cf0: JUMPDEST 00000cf1: PUSH1 0x01 00000cf3: ISZERO 00000cf4: ISZERO 00000cf5: PUSH2 0x0cfc 00000cf8: PUSH2 0x1198 00000cfb: JUMP 00000cfc: JUMPDEST 00000cfd: ISZERO 00000cfe: ISZERO 00000cff: EQ 00000d00: ISZERO 00000d01: PUSH2 0x0f7a 00000d04: JUMPI 00000d05: PUSH2 0x0d18 00000d08: PUSH1 0x64 00000d0a: CALLVALUE 00000d0b: PUSH2 0x138c 00000d0e: SWAP1 00000d0f: SWAP2 00000d10: SWAP1 00000d11: PUSH4 0xffffffff 00000d16: AND 00000d17: JUMP 00000d18: JUMPDEST 00000d19: SWAP5 00000d1a: POP 00000d1b: DUP5 00000d1c: PUSH1 0x02 00000d1e: PUSH1 0x00 00000d20: DUP3 00000d21: DUP3 00000d22: SLOAD 00000d23: ADD 00000d24: SWAP3 00000d25: POP 00000d26: POP 00000d27: DUP2 00000d28: SWAP1 00000d29: SSTORE 00000d2a: POP 00000d2b: PUSH2 0x0d51 00000d2e: PUSH1 0x64 00000d30: PUSH2 0x0d43 00000d33: PUSH1 0x09 00000d35: CALLVALUE 00000d36: PUSH2 0x13a7 00000d39: SWAP1 00000d3a: SWAP2 00000d3b: SWAP1 00000d3c: PUSH4 0xffffffff 00000d41: AND 00000d42: JUMP 00000d43: JUMPDEST 00000d44: PUSH2 0x138c 00000d47: SWAP1 00000d48: SWAP2 00000d49: SWAP1 00000d4a: PUSH4 0xffffffff 00000d4f: AND 00000d50: JUMP 00000d51: JUMPDEST 00000d52: SWAP4 00000d53: POP 00000d54: DUP4 00000d55: PUSH1 0x04 00000d57: PUSH1 0x00 00000d59: DUP1 00000d5a: SLOAD 00000d5b: DUP2 00000d5c: MSTORE 00000d5d: PUSH1 0x20 00000d5f: ADD 00000d60: SWAP1 00000d61: DUP2 00000d62: MSTORE 00000d63: PUSH1 0x20 00000d65: ADD 00000d66: PUSH1 0x00 00000d68: KECCAK256 00000d69: PUSH1 0x00 00000d6b: DUP3 00000d6c: DUP3 00000d6d: SLOAD 00000d6e: ADD 00000d6f: SWAP3 00000d70: POP 00000d71: POP 00000d72: DUP2 00000d73: SWAP1 00000d74: SSTORE 00000d75: POP 00000d76: DUP4 00000d77: DUP6 00000d78: CALLVALUE 00000d79: SUB 00000d7a: SUB 00000d7b: SWAP3 00000d7c: POP 00000d7d: PUSH1 0x00 00000d7f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d94: AND 00000d95: PUSH1 0x05 00000d97: PUSH1 0x00 00000d99: DUP1 00000d9a: SLOAD 00000d9b: DUP2 00000d9c: MSTORE 00000d9d: PUSH1 0x20 00000d9f: ADD 00000da0: SWAP1 00000da1: DUP2 00000da2: MSTORE 00000da3: PUSH1 0x20 00000da5: ADD 00000da6: PUSH1 0x00 00000da8: KECCAK256 00000da9: PUSH1 0x00 00000dab: DUP10 00000dac: DUP2 00000dad: MSTORE 00000dae: PUSH1 0x20 00000db0: ADD 00000db1: SWAP1 00000db2: DUP2 00000db3: MSTORE 00000db4: PUSH1 0x20 00000db6: ADD 00000db7: PUSH1 0x00 00000db9: KECCAK256 00000dba: PUSH1 0x04 00000dbc: ADD 00000dbd: PUSH1 0x00 00000dbf: SWAP1 00000dc0: SLOAD 00000dc1: SWAP1 00000dc2: PUSH2 0x0100 00000dc5: EXP 00000dc6: SWAP1 00000dc7: DIV 00000dc8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ddd: AND 00000dde: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000df3: AND 00000df4: EQ 00000df5: ISZERO 00000df6: ISZERO 00000df7: PUSH2 0x0e8e 00000dfa: JUMPI 00000dfb: PUSH1 0x05 00000dfd: PUSH1 0x00 00000dff: DUP1 00000e00: SLOAD 00000e01: DUP2 00000e02: MSTORE 00000e03: PUSH1 0x20 00000e05: ADD 00000e06: SWAP1 00000e07: DUP2 00000e08: MSTORE 00000e09: PUSH1 0x20 00000e0b: ADD 00000e0c: PUSH1 0x00 00000e0e: KECCAK256 00000e0f: PUSH1 0x00 00000e11: DUP9 00000e12: DUP2 00000e13: MSTORE 00000e14: PUSH1 0x20 00000e16: ADD 00000e17: SWAP1 00000e18: DUP2 00000e19: MSTORE 00000e1a: PUSH1 0x20 00000e1c: ADD 00000e1d: PUSH1 0x00 00000e1f: KECCAK256 00000e20: PUSH1 0x04 00000e22: ADD 00000e23: PUSH1 0x00 00000e25: SWAP1 00000e26: SLOAD 00000e27: SWAP1 00000e28: PUSH2 0x0100 00000e2b: EXP 00000e2c: SWAP1 00000e2d: DIV 00000e2e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e43: AND 00000e44: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e59: AND 00000e5a: PUSH2 0x08fc 00000e5d: DUP5 00000e5e: SWAP1 00000e5f: DUP2 00000e60: ISZERO 00000e61: MUL 00000e62: SWAP1 00000e63: PUSH1 0x40 00000e65: MLOAD 00000e66: PUSH1 0x00 00000e68: PUSH1 0x40 00000e6a: MLOAD 00000e6b: DUP1 00000e6c: DUP4 00000e6d: SUB 00000e6e: DUP2 00000e6f: DUP6 00000e70: DUP9 00000e71: DUP9 00000e72: CALL 00000e73: SWAP4 00000e74: POP 00000e75: POP 00000e76: POP 00000e77: POP 00000e78: ISZERO 00000e79: DUP1 00000e7a: ISZERO 00000e7b: PUSH2 0x0e88 00000e7e: JUMPI 00000e7f: RETURNDATASIZE 00000e80: PUSH1 0x00 00000e82: DUP1 00000e83: RETURNDATACOPY 00000e84: RETURNDATASIZE 00000e85: PUSH1 0x00 00000e87: REVERT 00000e88: JUMPDEST 00000e89: POP 00000e8a: PUSH2 0x0ebb 00000e8d: JUMP 00000e8e: JUMPDEST 00000e8f: PUSH1 0x0a 00000e91: DUP8 00000e92: SWAP1 00000e93: DUP1 00000e94: PUSH1 0x01 00000e96: DUP2 00000e97: SLOAD 00000e98: ADD 00000e99: DUP1 00000e9a: DUP3 00000e9b: SSTORE 00000e9c: DUP1 00000e9d: SWAP2 00000e9e: POP 00000e9f: POP 00000ea0: SWAP1 00000ea1: PUSH1 0x01 00000ea3: DUP3 00000ea4: SUB 00000ea5: SWAP1 00000ea6: PUSH1 0x00 00000ea8: MSTORE 00000ea9: PUSH1 0x20 00000eab: PUSH1 0x00 00000ead: KECCAK256 00000eae: ADD 00000eaf: PUSH1 0x00 00000eb1: SWAP1 00000eb2: SWAP2 00000eb3: SWAP3 00000eb4: SWAP1 00000eb5: SWAP2 00000eb6: SWAP1 00000eb7: SWAP2 00000eb8: POP 00000eb9: SSTORE 00000eba: POP 00000ebb: JUMPDEST 00000ebc: CALLER 00000ebd: PUSH1 0x05 00000ebf: PUSH1 0x00 00000ec1: DUP1 00000ec2: SLOAD 00000ec3: DUP2 00000ec4: MSTORE 00000ec5: PUSH1 0x20 00000ec7: ADD 00000ec8: SWAP1 00000ec9: DUP2 00000eca: MSTORE 00000ecb: PUSH1 0x20 00000ecd: ADD 00000ece: PUSH1 0x00 00000ed0: KECCAK256 00000ed1: PUSH1 0x00 00000ed3: DUP10 00000ed4: DUP2 00000ed5: MSTORE 00000ed6: PUSH1 0x20 00000ed8: ADD 00000ed9: SWAP1 00000eda: DUP2 00000edb: MSTORE 00000edc: PUSH1 0x20 00000ede: ADD 00000edf: PUSH1 0x00 00000ee1: KECCAK256 00000ee2: PUSH1 0x04 00000ee4: ADD 00000ee5: PUSH1 0x00 00000ee7: PUSH2 0x0100 00000eea: EXP 00000eeb: DUP2 00000eec: SLOAD 00000eed: DUP2 00000eee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f03: MUL 00000f04: NOT 00000f05: AND 00000f06: SWAP1 00000f07: DUP4 00000f08: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f1d: AND 00000f1e: MUL 00000f1f: OR 00000f20: SWAP1 00000f21: SSTORE 00000f22: POP 00000f23: PUSH2 0x0f49 00000f26: PUSH1 0x0a 00000f28: PUSH2 0x0f3b 00000f2b: PUSH1 0x0e 00000f2d: CALLVALUE 00000f2e: PUSH2 0x13a7 00000f31: SWAP1 00000f32: SWAP2 00000f33: SWAP1 00000f34: PUSH4 0xffffffff 00000f39: AND 00000f3a: JUMP 00000f3b: JUMPDEST 00000f3c: PUSH2 0x138c 00000f3f: SWAP1 00000f40: SWAP2 00000f41: SWAP1 00000f42: PUSH4 0xffffffff 00000f47: AND 00000f48: JUMP 00000f49: JUMPDEST 00000f4a: PUSH1 0x05 00000f4c: PUSH1 0x00 00000f4e: DUP1 00000f4f: SLOAD 00000f50: DUP2 00000f51: MSTORE 00000f52: PUSH1 0x20 00000f54: ADD 00000f55: SWAP1 00000f56: DUP2 00000f57: MSTORE 00000f58: PUSH1 0x20 00000f5a: ADD 00000f5b: PUSH1 0x00 00000f5d: KECCAK256 00000f5e: PUSH1 0x00 00000f60: DUP10 00000f61: DUP2 00000f62: MSTORE 00000f63: PUSH1 0x20 00000f65: ADD 00000f66: SWAP1 00000f67: DUP2 00000f68: MSTORE 00000f69: PUSH1 0x20 00000f6b: ADD 00000f6c: PUSH1 0x00 00000f6e: KECCAK256 00000f6f: PUSH1 0x01 00000f71: ADD 00000f72: DUP2 00000f73: SWAP1 00000f74: SSTORE 00000f75: POP 00000f76: PUSH2 0x10d9 00000f79: JUMP 00000f7a: JUMPDEST 00000f7b: PUSH1 0x00 00000f7d: DUP1 00000f7e: DUP2 00000f7f: SLOAD 00000f80: DUP1 00000f81: SWAP3 00000f82: SWAP2 00000f83: SWAP1 00000f84: PUSH1 0x01 00000f86: ADD 00000f87: SWAP2 00000f88: SWAP1 00000f89: POP 00000f8a: SSTORE 00000f8b: POP 00000f8c: PUSH1 0x00 00000f8e: PUSH1 0x0a 00000f90: DUP2 00000f91: PUSH2 0x0f9a 00000f94: SWAP2 00000f95: SWAP1 00000f96: PUSH2 0x144b 00000f99: JUMP 00000f9a: JUMPDEST 00000f9b: POP 00000f9c: CALLER 00000f9d: PUSH1 0x05 00000f9f: PUSH1 0x00 00000fa1: DUP1 00000fa2: SLOAD 00000fa3: DUP2 00000fa4: MSTORE 00000fa5: PUSH1 0x20 00000fa7: ADD 00000fa8: SWAP1 00000fa9: DUP2 00000faa: MSTORE 00000fab: PUSH1 0x20 00000fad: ADD 00000fae: PUSH1 0x00 00000fb0: KECCAK256 00000fb1: PUSH1 0x00 00000fb3: DUP10 00000fb4: DUP2 00000fb5: MSTORE 00000fb6: PUSH1 0x20 00000fb8: ADD 00000fb9: SWAP1 00000fba: DUP2 00000fbb: MSTORE 00000fbc: PUSH1 0x20 00000fbe: ADD 00000fbf: PUSH1 0x00 00000fc1: KECCAK256 00000fc2: PUSH1 0x04 00000fc4: ADD 00000fc5: PUSH1 0x00 00000fc7: PUSH2 0x0100 00000fca: EXP 00000fcb: DUP2 00000fcc: SLOAD 00000fcd: DUP2 00000fce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fe3: MUL 00000fe4: NOT 00000fe5: AND 00000fe6: SWAP1 00000fe7: DUP4 00000fe8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ffd: AND 00000ffe: MUL 00000fff: OR 00001000: SWAP1 00001001: SSTORE 00001002: POP 00001003: PUSH2 0x1030 00001006: PUSH1 0x0a 00001008: PUSH2 0x1022 0000100b: PUSH1 0x0e 0000100d: PUSH7 0x2386f26fc10000 00001015: PUSH2 0x13a7 00001018: SWAP1 00001019: SWAP2 0000101a: SWAP1 0000101b: PUSH4 0xffffffff 00001020: AND 00001021: JUMP 00001022: JUMPDEST 00001023: PUSH2 0x138c 00001026: SWAP1 00001027: SWAP2 00001028: SWAP1 00001029: PUSH4 0xffffffff 0000102e: AND 0000102f: JUMP 00001030: JUMPDEST 00001031: PUSH1 0x05 00001033: PUSH1 0x00 00001035: DUP1 00001036: SLOAD 00001037: DUP2 00001038: MSTORE 00001039: PUSH1 0x20 0000103b: ADD 0000103c: SWAP1 0000103d: DUP2 0000103e: MSTORE 0000103f: PUSH1 0x20 00001041: ADD 00001042: PUSH1 0x00 00001044: KECCAK256 00001045: PUSH1 0x00 00001047: DUP10 00001048: DUP2 00001049: MSTORE 0000104a: PUSH1 0x20 0000104c: ADD 0000104d: SWAP1 0000104e: DUP2 0000104f: MSTORE 00001050: PUSH1 0x20 00001052: ADD 00001053: PUSH1 0x00 00001055: KECCAK256 00001056: PUSH1 0x01 00001058: ADD 00001059: DUP2 0000105a: SWAP1 0000105b: SSTORE 0000105c: POP 0000105d: PUSH1 0x0a 0000105f: DUP8 00001060: SWAP1 00001061: DUP1 00001062: PUSH1 0x01 00001064: DUP2 00001065: SLOAD 00001066: ADD 00001067: DUP1 00001068: DUP3 00001069: SSTORE 0000106a: DUP1 0000106b: SWAP2 0000106c: POP 0000106d: POP 0000106e: SWAP1 0000106f: PUSH1 0x01 00001071: DUP3 00001072: SUB 00001073: SWAP1 00001074: PUSH1 0x00 00001076: MSTORE 00001077: PUSH1 0x20 00001079: PUSH1 0x00 0000107b: KECCAK256 0000107c: ADD 0000107d: PUSH1 0x00 0000107f: SWAP1 00001080: SWAP2 00001081: SWAP3 00001082: SWAP1 00001083: SWAP2 00001084: SWAP1 00001085: SWAP2 00001086: POP 00001087: SSTORE 00001088: POP 00001089: CALLER 0000108a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000109f: AND 000010a0: PUSH2 0x08fc 000010a3: PUSH7 0x2386f26fc10000 000010ab: CALLVALUE 000010ac: SUB 000010ad: SWAP1 000010ae: DUP2 000010af: ISZERO 000010b0: MUL 000010b1: SWAP1 000010b2: PUSH1 0x40 000010b4: MLOAD 000010b5: PUSH1 0x00 000010b7: PUSH1 0x40 000010b9: MLOAD 000010ba: DUP1 000010bb: DUP4 000010bc: SUB 000010bd: DUP2 000010be: DUP6 000010bf: DUP9 000010c0: DUP9 000010c1: CALL 000010c2: SWAP4 000010c3: POP 000010c4: POP 000010c5: POP 000010c6: POP 000010c7: ISZERO 000010c8: DUP1 000010c9: ISZERO 000010ca: PUSH2 0x10d7 000010cd: JUMPI 000010ce: RETURNDATASIZE 000010cf: PUSH1 0x00 000010d1: DUP1 000010d2: RETURNDATACOPY 000010d3: RETURNDATASIZE 000010d4: PUSH1 0x00 000010d6: REVERT 000010d7: JUMPDEST 000010d8: POP 000010d9: JUMPDEST 000010da: CALLER 000010db: PUSH1 0x08 000010dd: PUSH1 0x00 000010df: PUSH2 0x0100 000010e2: EXP 000010e3: DUP2 000010e4: SLOAD 000010e5: DUP2 000010e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010fb: MUL 000010fc: NOT 000010fd: AND 000010fe: SWAP1 000010ff: DUP4 00001100: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001115: AND 00001116: MUL 00001117: OR 00001118: SWAP1 00001119: SSTORE 0000111a: POP 0000111b: CALLVALUE 0000111c: PUSH1 0x0b 0000111e: PUSH1 0x00 00001120: DUP1 00001121: SLOAD 00001122: DUP2 00001123: MSTORE 00001124: PUSH1 0x20 00001126: ADD 00001127: SWAP1 00001128: DUP2 00001129: MSTORE 0000112a: PUSH1 0x20 0000112c: ADD 0000112d: PUSH1 0x00 0000112f: KECCAK256 00001130: PUSH1 0x00 00001132: DUP3 00001133: DUP3 00001134: SLOAD 00001135: ADD 00001136: SWAP3 00001137: POP 00001138: POP 00001139: DUP2 0000113a: SWAP1 0000113b: SSTORE 0000113c: POP 0000113d: DUP7 0000113e: PUSH1 0x05 00001140: PUSH1 0x00 00001142: DUP1 00001143: SLOAD 00001144: DUP2 00001145: MSTORE 00001146: PUSH1 0x20 00001148: ADD 00001149: SWAP1 0000114a: DUP2 0000114b: MSTORE 0000114c: PUSH1 0x20 0000114e: ADD 0000114f: PUSH1 0x00 00001151: KECCAK256 00001152: PUSH1 0x00 00001154: DUP10 00001155: DUP2 00001156: MSTORE 00001157: PUSH1 0x20 00001159: ADD 0000115a: SWAP1 0000115b: DUP2 0000115c: MSTORE 0000115d: PUSH1 0x20 0000115f: ADD 00001160: PUSH1 0x00 00001162: KECCAK256 00001163: PUSH1 0x00 00001165: ADD 00001166: DUP2 00001167: SWAP1 00001168: SSTORE 00001169: POP 0000116a: POP 0000116b: POP 0000116c: POP 0000116d: POP 0000116e: POP 0000116f: POP 00001170: POP 00001171: JUMP 00001172: JUMPDEST 00001173: PUSH1 0x09 00001175: PUSH1 0x00 00001177: SWAP1 00001178: SLOAD 00001179: SWAP1 0000117a: PUSH2 0x0100 0000117d: EXP 0000117e: SWAP1 0000117f: DIV 00001180: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001195: AND 00001196: DUP2 00001197: JUMP 00001198: JUMPDEST 00001199: PUSH1 0x00 0000119b: PUSH1 0x07 0000119d: SLOAD 0000119e: TIMESTAMP 0000119f: GT 000011a0: ISZERO 000011a1: PUSH2 0x1356 000011a4: JUMPI 000011a5: PUSH1 0x08 000011a7: PUSH1 0x00 000011a9: SWAP1 000011aa: SLOAD 000011ab: SWAP1 000011ac: PUSH2 0x0100 000011af: EXP 000011b0: SWAP1 000011b1: DIV 000011b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011c7: AND 000011c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011dd: AND 000011de: PUSH2 0x08fc 000011e1: PUSH2 0x121b 000011e4: PUSH1 0x0a 000011e6: PUSH2 0x120d 000011e9: PUSH1 0x06 000011eb: PUSH1 0x04 000011ed: PUSH1 0x00 000011ef: DUP1 000011f0: SLOAD 000011f1: DUP2 000011f2: MSTORE 000011f3: PUSH1 0x20 000011f5: ADD 000011f6: SWAP1 000011f7: DUP2 000011f8: MSTORE 000011f9: PUSH1 0x20 000011fb: ADD 000011fc: PUSH1 0x00 000011fe: KECCAK256 000011ff: SLOAD 00001200: PUSH2 0x13a7 00001203: SWAP1 00001204: SWAP2 00001205: SWAP1 00001206: PUSH4 0xffffffff 0000120b: AND 0000120c: JUMP 0000120d: JUMPDEST 0000120e: PUSH2 0x138c 00001211: SWAP1 00001212: SWAP2 00001213: SWAP1 00001214: PUSH4 0xffffffff 00001219: AND 0000121a: JUMP 0000121b: JUMPDEST 0000121c: SWAP1 0000121d: DUP2 0000121e: ISZERO 0000121f: MUL 00001220: SWAP1 00001221: PUSH1 0x40 00001223: MLOAD 00001224: PUSH1 0x00 00001226: PUSH1 0x40 00001228: MLOAD 00001229: DUP1 0000122a: DUP4 0000122b: SUB 0000122c: DUP2 0000122d: DUP6 0000122e: DUP9 0000122f: DUP9 00001230: CALL 00001231: SWAP4 00001232: POP 00001233: POP 00001234: POP 00001235: POP 00001236: ISZERO 00001237: DUP1 00001238: ISZERO 00001239: PUSH2 0x1246 0000123c: JUMPI 0000123d: RETURNDATASIZE 0000123e: PUSH1 0x00 00001240: DUP1 00001241: RETURNDATACOPY 00001242: RETURNDATASIZE 00001243: PUSH1 0x00 00001245: REVERT 00001246: JUMPDEST 00001247: POP 00001248: PUSH1 0x08 0000124a: PUSH1 0x00 0000124c: SWAP1 0000124d: SLOAD 0000124e: SWAP1 0000124f: PUSH2 0x0100 00001252: EXP 00001253: SWAP1 00001254: DIV 00001255: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000126a: AND 0000126b: PUSH1 0x09 0000126d: PUSH1 0x00 0000126f: PUSH2 0x0100 00001272: EXP 00001273: DUP2 00001274: SLOAD 00001275: DUP2 00001276: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000128b: MUL 0000128c: NOT 0000128d: AND 0000128e: SWAP1 0000128f: DUP4 00001290: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012a5: AND 000012a6: MUL 000012a7: OR 000012a8: SWAP1 000012a9: SSTORE 000012aa: POP 000012ab: PUSH2 0x12d2 000012ae: PUSH1 0x0a 000012b0: PUSH1 0x04 000012b2: PUSH1 0x00 000012b4: DUP1 000012b5: SLOAD 000012b6: DUP2 000012b7: MSTORE 000012b8: PUSH1 0x20 000012ba: ADD 000012bb: SWAP1 000012bc: DUP2 000012bd: MSTORE 000012be: PUSH1 0x20 000012c0: ADD 000012c1: PUSH1 0x00 000012c3: KECCAK256 000012c4: SLOAD 000012c5: PUSH2 0x138c 000012c8: SWAP1 000012c9: SWAP2 000012ca: SWAP1 000012cb: PUSH4 0xffffffff 000012d0: AND 000012d1: JUMP 000012d2: JUMPDEST 000012d3: PUSH1 0x02 000012d5: PUSH1 0x00 000012d7: DUP3 000012d8: DUP3 000012d9: SLOAD 000012da: ADD 000012db: SWAP3 000012dc: POP 000012dd: POP 000012de: DUP2 000012df: SWAP1 000012e0: SSTORE 000012e1: POP 000012e2: PUSH2 0x131c 000012e5: PUSH1 0x0a 000012e7: PUSH2 0x130e 000012ea: PUSH1 0x03 000012ec: PUSH1 0x04 000012ee: PUSH1 0x00 000012f0: DUP1 000012f1: SLOAD 000012f2: DUP2 000012f3: MSTORE 000012f4: PUSH1 0x20 000012f6: ADD 000012f7: SWAP1 000012f8: DUP2 000012f9: MSTORE 000012fa: PUSH1 0x20 000012fc: ADD 000012fd: PUSH1 0x00 000012ff: KECCAK256 00001300: SLOAD 00001301: PUSH2 0x13a7 00001304: SWAP1 00001305: SWAP2 00001306: SWAP1 00001307: PUSH4 0xffffffff 0000130c: AND 0000130d: JUMP 0000130e: JUMPDEST 0000130f: PUSH2 0x138c 00001312: SWAP1 00001313: SWAP2 00001314: SWAP1 00001315: PUSH4 0xffffffff 0000131a: AND 0000131b: JUMP 0000131c: JUMPDEST 0000131d: PUSH1 0x04 0000131f: PUSH1 0x00 00001321: PUSH1 0x01 00001323: PUSH1 0x00 00001325: SLOAD 00001326: ADD 00001327: DUP2 00001328: MSTORE 00001329: PUSH1 0x20 0000132b: ADD 0000132c: SWAP1 0000132d: DUP2 0000132e: MSTORE 0000132f: PUSH1 0x20 00001331: ADD 00001332: PUSH1 0x00 00001334: KECCAK256 00001335: PUSH1 0x00 00001337: DUP3 00001338: DUP3 00001339: SLOAD 0000133a: ADD 0000133b: SWAP3 0000133c: POP 0000133d: POP 0000133e: DUP2 0000133f: SWAP1 00001340: SSTORE 00001341: POP 00001342: PUSH3 0x015180 00001346: TIMESTAMP 00001347: ADD 00001348: PUSH1 0x07 0000134a: DUP2 0000134b: SWAP1 0000134c: SSTORE 0000134d: POP 0000134e: PUSH1 0x00 00001350: SWAP1 00001351: POP 00001352: PUSH2 0x1389 00001355: JUMP 00001356: JUMPDEST 00001357: PUSH1 0x06 00001359: SLOAD 0000135a: PUSH1 0x07 0000135c: PUSH1 0x00 0000135e: DUP3 0000135f: DUP3 00001360: SLOAD 00001361: ADD 00001362: SWAP3 00001363: POP 00001364: POP 00001365: DUP2 00001366: SWAP1 00001367: SSTORE 00001368: POP 00001369: PUSH3 0x015180 0000136d: TIMESTAMP 0000136e: ADD 0000136f: PUSH1 0x07 00001371: SLOAD 00001372: GT 00001373: ISZERO 00001374: PUSH2 0x1384 00001377: JUMPI 00001378: PUSH3 0x015180 0000137c: TIMESTAMP 0000137d: ADD 0000137e: PUSH1 0x07 00001380: DUP2 00001381: SWAP1 00001382: SSTORE 00001383: POP 00001384: JUMPDEST 00001385: PUSH1 0x01 00001387: SWAP1 00001388: POP 00001389: JUMPDEST 0000138a: SWAP1 0000138b: JUMP 0000138c: JUMPDEST 0000138d: PUSH1 0x00 0000138f: DUP1 00001390: DUP3 00001391: DUP5 00001392: DUP2 00001393: ISZERO 00001394: ISZERO 00001395: PUSH2 0x139a 00001398: JUMPI 00001399: INVALID 0000139a: JUMPDEST 0000139b: DIV 0000139c: SWAP1 0000139d: POP 0000139e: DUP1 0000139f: SWAP2 000013a0: POP 000013a1: POP 000013a2: SWAP3 000013a3: SWAP2 000013a4: POP 000013a5: POP 000013a6: JUMP 000013a7: JUMPDEST 000013a8: PUSH1 0x00 000013aa: DUP1 000013ab: DUP4 000013ac: EQ 000013ad: ISZERO 000013ae: PUSH2 0x13ba 000013b1: JUMPI 000013b2: PUSH1 0x00 000013b4: SWAP1 000013b5: POP 000013b6: PUSH2 0x1445 000013b9: JUMP 000013ba: JUMPDEST 000013bb: DUP2 000013bc: DUP4 000013bd: MUL 000013be: SWAP1 000013bf: POP 000013c0: DUP2 000013c1: DUP4 000013c2: DUP3 000013c3: DUP2 000013c4: ISZERO 000013c5: ISZERO 000013c6: PUSH2 0x13cb 000013c9: JUMPI 000013ca: INVALID 000013cb: JUMPDEST 000013cc: DIV 000013cd: EQ 000013ce: ISZERO 000013cf: ISZERO 000013d0: PUSH2 0x1441 000013d3: JUMPI 000013d4: PUSH1 0x40 000013d6: MLOAD 000013d7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000013f8: DUP2 000013f9: MSTORE 000013fa: PUSH1 0x04 000013fc: ADD 000013fd: DUP1 000013fe: DUP1 000013ff: PUSH1 0x20 00001401: ADD 00001402: DUP3 00001403: DUP2 00001404: SUB 00001405: DUP3 00001406: MSTORE 00001407: PUSH1 0x13 00001409: DUP2 0000140a: MSTORE 0000140b: PUSH1 0x20 0000140d: ADD 0000140e: DUP1 0000140f: PUSH32 0x536166654d617468206d756c206661696c656400000000000000000000000000 00001430: DUP2 00001431: MSTORE 00001432: POP 00001433: PUSH1 0x20 00001435: ADD 00001436: SWAP2 00001437: POP 00001438: POP 00001439: PUSH1 0x40 0000143b: MLOAD 0000143c: DUP1 0000143d: SWAP2 0000143e: SUB 0000143f: SWAP1 00001440: REVERT 00001441: JUMPDEST 00001442: DUP1 00001443: SWAP1 00001444: POP 00001445: JUMPDEST 00001446: SWAP3 00001447: SWAP2 00001448: POP 00001449: POP 0000144a: JUMP 0000144b: JUMPDEST 0000144c: DUP2 0000144d: SLOAD 0000144e: DUP2 0000144f: DUP4 00001450: SSTORE 00001451: DUP2 00001452: DUP2 00001453: GT 00001454: ISZERO 00001455: PUSH2 0x1472 00001458: JUMPI 00001459: DUP2 0000145a: DUP4 0000145b: PUSH1 0x00 0000145d: MSTORE 0000145e: PUSH1 0x20 00001460: PUSH1 0x00 00001462: KECCAK256 00001463: SWAP2 00001464: DUP3 00001465: ADD 00001466: SWAP2 00001467: ADD 00001468: PUSH2 0x1471 0000146b: SWAP2 0000146c: SWAP1 0000146d: PUSH2 0x1477 00001470: JUMP 00001471: JUMPDEST 00001472: JUMPDEST 00001473: POP 00001474: POP 00001475: POP 00001476: JUMP 00001477: JUMPDEST 00001478: PUSH2 0x1499 0000147b: SWAP2 0000147c: SWAP1 0000147d: JUMPDEST 0000147e: DUP1 0000147f: DUP3 00001480: GT 00001481: ISZERO 00001482: PUSH2 0x1495 00001485: JUMPI 00001486: PUSH1 0x00 00001488: DUP2 00001489: PUSH1 0x00 0000148b: SWAP1 0000148c: SSTORE 0000148d: POP 0000148e: PUSH1 0x01 00001490: ADD 00001491: PUSH2 0x147d 00001494: JUMP 00001495: JUMPDEST 00001496: POP 00001497: SWAP1 00001498: JUMP 00001499: JUMPDEST 0000149a: SWAP1 0000149b: JUMP 0000149c: STOP 0000149d: LOG1 0000149e: PUSH6 0x627a7a723058 000014a5: KECCAK256 000014a6: GASPRICE 000014a7: UNKNOWN(0xE9) 000014a8: SWAP14 000014a9: UNKNOWN(0xC0) 000014aa: DUP3 000014ab: UNKNOWN(0xC3) 000014ac: PUSH8 0xb90198edfb83d036 000014b5: UNKNOWN(0xB1) 000014b6: SWAP4 000014b7: SWAP9 000014b8: INVALID 000014b9: SWAP15 000014ba: UNKNOWN(0xB3) 000014bb: SHR 000014bc: DUP1 000014bd: CODESIZE 000014be: UNKNOWN(0xD5) 000014bf: ADD 000014c0: GT 000014c1: BASEFEE 000014c2: PUSH31
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x19dbc19b",
"selector": "0x19dbc19b",
"calldata_variants": [
"0x19dbc19b",
"0x19dbc19b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x260e8dfc",
"selector": "0x260e8dfc",
"calldata_variants": [
"0x260e8dfc",
"0x260e8dfc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ee89a63",
"selector": "0x3ee89a63",
"calldata_variants": [
"0x3ee89a63",
"0x3ee89a630000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4b227176",
"selector": "0x4b227176",
"calldata_variants": [
"0x4b227176",
"0x4b2271760000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4f66e22c",
"selector": "0x4f66e22c",
"calldata_variants": [
"0x4f66e22c",
"0x4f66e22c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x624ae5c0",
"selector": "0x624ae5c0",
"calldata_variants": [
"0x624ae5c0",
"0x624ae5c00000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 1756,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2246,
"type": "tx_origin_used"
},
{
"pc": 2546,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2990,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x3b9741d6a46ddadd88197e22fdffca744e8317f4de98a77253f7c0ca6c716cc6
call_targets:
0xa1997e5476538e841cdf0a5d0990bf09a4932675
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x3b9741d6a46ddadd88197e22fdffca744e8317f4de98a77253f7c0ca6c716cc6",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xa1997e5476538e841cdf0a5d0990bf09a4932675"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x19dbc19b",
"selector": "0x19dbc19b",
"calldata_variants": [
"0x19dbc19b",
"0x19dbc19b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x260e8dfc",
"selector": "0x260e8dfc",
"calldata_variants": [
"0x260e8dfc",
"0x260e8dfc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ee89a63",
"selector": "0x3ee89a63",
"calldata_variants": [
"0x3ee89a63",
"0x3ee89a630000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4b227176",
"selector": "0x4b227176",
"calldata_variants": [
"0x4b227176",
"0x4b2271760000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4f66e22c",
"selector": "0x4f66e22c",
"calldata_variants": [
"0x4f66e22c",
"0x4f66e22c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x624ae5c0",
"selector": "0x624ae5c0",
"calldata_variants": [
"0x624ae5c0",
"0x624ae5c00000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2013,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2154,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3698,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [
{
"pc": 1756,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2246,
"type": "tx_origin_used"
},
{
"pc": 2546,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2990,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 5
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x3b9741d6a46ddadd88197e22fdffca744e8317f4de98a77253f7c0ca6c716cc6
call_targets:
0xa1997e5476538e841cdf0a5d0990bf09a4932675
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x3b9741d6a46ddadd88197e22fdffca744e8317f4de98a77253f7c0ca6c716cc6",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xa1997e5476538e841cdf0a5d0990bf09a4932675"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x19dbc19b",
"selector": "0x19dbc19b",
"calldata_variants": [
"0x19dbc19b",
"0x19dbc19b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x260e8dfc",
"selector": "0x260e8dfc",
"calldata_variants": [
"0x260e8dfc",
"0x260e8dfc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ee89a63",
"selector": "0x3ee89a63",
"calldata_variants": [
"0x3ee89a63",
"0x3ee89a630000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4b227176",
"selector": "0x4b227176",
"calldata_variants": [
"0x4b227176",
"0x4b2271760000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4f66e22c",
"selector": "0x4f66e22c",
"calldata_variants": [
"0x4f66e22c",
"0x4f66e22c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x624ae5c0",
"selector": "0x624ae5c0",
"calldata_variants": [
"0x624ae5c0",
"0x624ae5c00000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2013,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2154,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3698,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": [
{
"pc": 1756,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2246,
"type": "tx_origin_used"
},
{
"pc": 2546,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2990,
"type": "tx_origin_used"
}
]
}
|