019b477e-cab4-7133-9ddd-3e89f252443e
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 |
|---|---|---|---|---|
| 26557 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 26558 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 69858 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 69859 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 69860 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 69861 | 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 0x00a7 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8da5cb5b 00000019: GT 0000001a: PUSH2 0x0064 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x8da5cb5b 00000024: EQ 00000025: PUSH2 0x0185 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x984fac0c 0000002f: EQ 00000030: PUSH2 0x01b0 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xae3bb460 0000003a: EQ 0000003b: PUSH2 0x01db 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xbc197c81 00000045: EQ 00000046: PUSH2 0x0206 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf23a6e61 00000050: EQ 00000051: PUSH2 0x0243 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf2fde38b 0000005b: EQ 0000005c: PUSH2 0x0280 0000005f: JUMPI 00000060: PUSH2 0x00a7 00000063: JUMP 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x01ffc9a7 0000006b: EQ 0000006c: PUSH2 0x00ac 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x379607f5 00000076: EQ 00000077: PUSH2 0x00e9 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x3ccfd60b 00000081: EQ 00000082: PUSH2 0x0105 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x44a0d68a 0000008c: EQ 0000008d: PUSH2 0x011c 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0x6f8b44b0 00000097: EQ 00000098: PUSH2 0x0145 0000009b: JUMPI 0000009c: DUP1 0000009d: PUSH4 0x715018a6 000000a2: EQ 000000a3: PUSH2 0x016e 000000a6: JUMPI 000000a7: JUMPDEST 000000a8: PUSH1 0x00 000000aa: DUP1 000000ab: REVERT 000000ac: JUMPDEST 000000ad: CALLVALUE 000000ae: DUP1 000000af: ISZERO 000000b0: PUSH2 0x00b8 000000b3: JUMPI 000000b4: PUSH1 0x00 000000b6: DUP1 000000b7: REVERT 000000b8: JUMPDEST 000000b9: POP 000000ba: PUSH2 0x00d3 000000bd: PUSH1 0x04 000000bf: DUP1 000000c0: CALLDATASIZE 000000c1: SUB 000000c2: DUP2 000000c3: ADD 000000c4: SWAP1 000000c5: PUSH2 0x00ce 000000c8: SWAP2 000000c9: SWAP1 000000ca: PUSH2 0x0a2c 000000cd: JUMP 000000ce: JUMPDEST 000000cf: PUSH2 0x02a9 000000d2: JUMP 000000d3: JUMPDEST 000000d4: PUSH1 0x40 000000d6: MLOAD 000000d7: PUSH2 0x00e0 000000da: SWAP2 000000db: SWAP1 000000dc: PUSH2 0x0a74 000000df: JUMP 000000e0: JUMPDEST 000000e1: PUSH1 0x40 000000e3: MLOAD 000000e4: DUP1 000000e5: SWAP2 000000e6: SUB 000000e7: SWAP1 000000e8: RETURN 000000e9: JUMPDEST 000000ea: PUSH2 0x0103 000000ed: PUSH1 0x04 000000ef: DUP1 000000f0: CALLDATASIZE 000000f1: SUB 000000f2: DUP2 000000f3: ADD 000000f4: SWAP1 000000f5: PUSH2 0x00fe 000000f8: SWAP2 000000f9: SWAP1 000000fa: PUSH2 0x0ac5 000000fd: JUMP 000000fe: JUMPDEST 000000ff: PUSH2 0x0323 00000102: JUMP 00000103: JUMPDEST 00000104: STOP 00000105: JUMPDEST 00000106: CALLVALUE 00000107: DUP1 00000108: ISZERO 00000109: PUSH2 0x0111 0000010c: JUMPI 0000010d: PUSH1 0x00 0000010f: DUP1 00000110: REVERT 00000111: JUMPDEST 00000112: POP 00000113: PUSH2 0x011a 00000116: PUSH2 0x065a 00000119: JUMP 0000011a: JUMPDEST 0000011b: STOP 0000011c: JUMPDEST 0000011d: CALLVALUE 0000011e: DUP1 0000011f: ISZERO 00000120: PUSH2 0x0128 00000123: JUMPI 00000124: PUSH1 0x00 00000126: DUP1 00000127: REVERT 00000128: JUMPDEST 00000129: POP 0000012a: PUSH2 0x0143 0000012d: PUSH1 0x04 0000012f: DUP1 00000130: CALLDATASIZE 00000131: SUB 00000132: DUP2 00000133: ADD 00000134: SWAP1 00000135: PUSH2 0x013e 00000138: SWAP2 00000139: SWAP1 0000013a: PUSH2 0x0ac5 0000013d: JUMP 0000013e: JUMPDEST 0000013f: PUSH2 0x06cd 00000142: JUMP 00000143: JUMPDEST 00000144: STOP 00000145: JUMPDEST 00000146: CALLVALUE 00000147: DUP1 00000148: ISZERO 00000149: PUSH2 0x0151 0000014c: JUMPI 0000014d: PUSH1 0x00 0000014f: DUP1 00000150: REVERT 00000151: JUMPDEST 00000152: POP 00000153: PUSH2 0x016c 00000156: PUSH1 0x04 00000158: DUP1 00000159: CALLDATASIZE 0000015a: SUB 0000015b: DUP2 0000015c: ADD 0000015d: SWAP1 0000015e: PUSH2 0x0167 00000161: SWAP2 00000162: SWAP1 00000163: PUSH2 0x0ac5 00000166: JUMP 00000167: JUMPDEST 00000168: PUSH2 0x06df 0000016b: JUMP 0000016c: JUMPDEST 0000016d: STOP 0000016e: JUMPDEST 0000016f: CALLVALUE 00000170: DUP1 00000171: ISZERO 00000172: PUSH2 0x017a 00000175: JUMPI 00000176: PUSH1 0x00 00000178: DUP1 00000179: REVERT 0000017a: JUMPDEST 0000017b: POP 0000017c: PUSH2 0x0183 0000017f: PUSH2 0x06f1 00000182: JUMP 00000183: JUMPDEST 00000184: STOP 00000185: JUMPDEST 00000186: CALLVALUE 00000187: DUP1 00000188: ISZERO 00000189: PUSH2 0x0191 0000018c: JUMPI 0000018d: PUSH1 0x00 0000018f: DUP1 00000190: REVERT 00000191: JUMPDEST 00000192: POP 00000193: PUSH2 0x019a 00000196: PUSH2 0x0705 00000199: JUMP 0000019a: JUMPDEST 0000019b: PUSH1 0x40 0000019d: MLOAD 0000019e: PUSH2 0x01a7 000001a1: SWAP2 000001a2: SWAP1 000001a3: PUSH2 0x0b33 000001a6: JUMP 000001a7: JUMPDEST 000001a8: PUSH1 0x40 000001aa: MLOAD 000001ab: DUP1 000001ac: SWAP2 000001ad: SUB 000001ae: SWAP1 000001af: RETURN 000001b0: JUMPDEST 000001b1: CALLVALUE 000001b2: DUP1 000001b3: ISZERO 000001b4: PUSH2 0x01bc 000001b7: JUMPI 000001b8: PUSH1 0x00 000001ba: DUP1 000001bb: REVERT 000001bc: JUMPDEST 000001bd: POP 000001be: PUSH2 0x01c5 000001c1: PUSH2 0x072e 000001c4: JUMP 000001c5: JUMPDEST 000001c6: PUSH1 0x40 000001c8: MLOAD 000001c9: PUSH2 0x01d2 000001cc: SWAP2 000001cd: SWAP1 000001ce: PUSH2 0x0b33 000001d1: JUMP 000001d2: JUMPDEST 000001d3: PUSH1 0x40 000001d5: MLOAD 000001d6: DUP1 000001d7: SWAP2 000001d8: SUB 000001d9: SWAP1 000001da: RETURN 000001db: JUMPDEST 000001dc: CALLVALUE 000001dd: DUP1 000001de: ISZERO 000001df: PUSH2 0x01e7 000001e2: JUMPI 000001e3: PUSH1 0x00 000001e5: DUP1 000001e6: REVERT 000001e7: JUMPDEST 000001e8: POP 000001e9: PUSH2 0x01f0 000001ec: PUSH2 0x0754 000001ef: JUMP 000001f0: JUMPDEST 000001f1: PUSH1 0x40 000001f3: MLOAD 000001f4: PUSH2 0x01fd 000001f7: SWAP2 000001f8: SWAP1 000001f9: PUSH2 0x0b5d 000001fc: JUMP 000001fd: JUMPDEST 000001fe: PUSH1 0x40 00000200: MLOAD 00000201: DUP1 00000202: SWAP2 00000203: SUB 00000204: SWAP1 00000205: RETURN 00000206: JUMPDEST 00000207: CALLVALUE 00000208: DUP1 00000209: ISZERO 0000020a: PUSH2 0x0212 0000020d: JUMPI 0000020e: PUSH1 0x00 00000210: DUP1 00000211: REVERT 00000212: JUMPDEST 00000213: POP 00000214: PUSH2 0x022d 00000217: PUSH1 0x04 00000219: DUP1 0000021a: CALLDATASIZE 0000021b: SUB 0000021c: DUP2 0000021d: ADD 0000021e: SWAP1 0000021f: PUSH2 0x0228 00000222: SWAP2 00000223: SWAP1 00000224: PUSH2 0x0db2 00000227: JUMP 00000228: JUMPDEST 00000229: PUSH2 0x075e 0000022c: JUMP 0000022d: JUMPDEST 0000022e: PUSH1 0x40 00000230: MLOAD 00000231: PUSH2 0x023a 00000234: SWAP2 00000235: SWAP1 00000236: PUSH2 0x0e90 00000239: JUMP 0000023a: JUMPDEST 0000023b: PUSH1 0x40 0000023d: MLOAD 0000023e: DUP1 0000023f: SWAP2 00000240: SUB 00000241: SWAP1 00000242: RETURN 00000243: JUMPDEST 00000244: CALLVALUE 00000245: DUP1 00000246: ISZERO 00000247: PUSH2 0x024f 0000024a: JUMPI 0000024b: PUSH1 0x00 0000024d: DUP1 0000024e: REVERT 0000024f: JUMPDEST 00000250: POP 00000251: PUSH2 0x026a 00000254: PUSH1 0x04 00000256: DUP1 00000257: CALLDATASIZE 00000258: SUB 00000259: DUP2 0000025a: ADD 0000025b: SWAP1 0000025c: PUSH2 0x0265 0000025f: SWAP2 00000260: SWAP1 00000261: PUSH2 0x0eab 00000264: JUMP 00000265: JUMPDEST 00000266: PUSH2 0x0773 00000269: JUMP 0000026a: JUMPDEST 0000026b: PUSH1 0x40 0000026d: MLOAD 0000026e: PUSH2 0x0277 00000271: SWAP2 00000272: SWAP1 00000273: PUSH2 0x0e90 00000276: JUMP 00000277: JUMPDEST 00000278: PUSH1 0x40 0000027a: MLOAD 0000027b: DUP1 0000027c: SWAP2 0000027d: SUB 0000027e: SWAP1 0000027f: RETURN 00000280: JUMPDEST 00000281: CALLVALUE 00000282: DUP1 00000283: ISZERO 00000284: PUSH2 0x028c 00000287: JUMPI 00000288: PUSH1 0x00 0000028a: DUP1 0000028b: REVERT 0000028c: JUMPDEST 0000028d: POP 0000028e: PUSH2 0x02a7 00000291: PUSH1 0x04 00000293: DUP1 00000294: CALLDATASIZE 00000295: SUB 00000296: DUP2 00000297: ADD 00000298: SWAP1 00000299: PUSH2 0x02a2 0000029c: SWAP2 0000029d: SWAP1 0000029e: PUSH2 0x0f42 000002a1: JUMP 000002a2: JUMPDEST 000002a3: PUSH2 0x0788 000002a6: JUMP 000002a7: JUMPDEST 000002a8: STOP 000002a9: JUMPDEST 000002aa: PUSH1 0x00 000002ac: PUSH32 0x4e2312e000000000000000000000000000000000000000000000000000000000 000002cd: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000002ea: NOT 000002eb: AND 000002ec: DUP3 000002ed: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000030a: NOT 0000030b: AND 0000030c: EQ 0000030d: DUP1 0000030e: PUSH2 0x031c 00000311: JUMPI 00000312: POP 00000313: PUSH2 0x031b 00000316: DUP3 00000317: PUSH2 0x080c 0000031a: JUMP 0000031b: JUMPDEST 0000031c: JUMPDEST 0000031d: SWAP1 0000031e: POP 0000031f: SWAP2 00000320: SWAP1 00000321: POP 00000322: JUMP 00000323: JUMPDEST 00000324: PUSH1 0x02 00000326: PUSH1 0x01 00000328: SLOAD 00000329: EQ 0000032a: ISZERO 0000032b: PUSH2 0x0369 0000032e: JUMPI 0000032f: PUSH1 0x40 00000331: MLOAD 00000332: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000353: DUP2 00000354: MSTORE 00000355: PUSH1 0x04 00000357: ADD 00000358: PUSH2 0x0360 0000035b: SWAP1 0000035c: PUSH2 0x0fcc 0000035f: JUMP 00000360: JUMPDEST 00000361: PUSH1 0x40 00000363: MLOAD 00000364: DUP1 00000365: SWAP2 00000366: SUB 00000367: SWAP1 00000368: REVERT 00000369: JUMPDEST 0000036a: PUSH1 0x02 0000036c: PUSH1 0x01 0000036e: DUP2 0000036f: SWAP1 00000370: SSTORE 00000371: POP 00000372: CALLVALUE 00000373: PUSH1 0x03 00000375: SLOAD 00000376: DUP3 00000377: PUSH2 0x0380 0000037a: SWAP2 0000037b: SWAP1 0000037c: PUSH2 0x101b 0000037f: JUMP 00000380: JUMPDEST 00000381: GT 00000382: ISZERO 00000383: PUSH2 0x038b 00000386: JUMPI 00000387: PUSH1 0x00 00000389: DUP1 0000038a: REVERT 0000038b: JUMPDEST 0000038c: PUSH1 0x00 0000038e: DUP2 0000038f: SWAP1 00000390: POP 00000391: PUSH1 0x04 00000393: SLOAD 00000394: DUP2 00000395: PUSH1 0x05 00000397: SLOAD 00000398: PUSH2 0x03a1 0000039b: SWAP2 0000039c: SWAP1 0000039d: PUSH2 0x1075 000003a0: JUMP 000003a1: JUMPDEST 000003a2: GT 000003a3: ISZERO 000003a4: PUSH2 0x03ba 000003a7: JUMPI 000003a8: PUSH1 0x05 000003aa: SLOAD 000003ab: PUSH1 0x04 000003ad: SLOAD 000003ae: PUSH2 0x03b7 000003b1: SWAP2 000003b2: SWAP1 000003b3: PUSH2 0x10cb 000003b6: JUMP 000003b7: JUMPDEST 000003b8: SWAP1 000003b9: POP 000003ba: JUMPDEST 000003bb: PUSH1 0x00 000003bd: DUP2 000003be: GT 000003bf: PUSH2 0x03fd 000003c2: JUMPI 000003c3: PUSH1 0x40 000003c5: MLOAD 000003c6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000003e7: DUP2 000003e8: MSTORE 000003e9: PUSH1 0x04 000003eb: ADD 000003ec: PUSH2 0x03f4 000003ef: SWAP1 000003f0: PUSH2 0x114b 000003f3: JUMP 000003f4: JUMPDEST 000003f5: PUSH1 0x40 000003f7: MLOAD 000003f8: DUP1 000003f9: SWAP2 000003fa: SUB 000003fb: SWAP1 000003fc: REVERT 000003fd: JUMPDEST 000003fe: DUP1 000003ff: PUSH1 0x05 00000401: PUSH1 0x00 00000403: DUP3 00000404: DUP3 00000405: SLOAD 00000406: PUSH2 0x040f 00000409: SWAP2 0000040a: SWAP1 0000040b: PUSH2 0x1075 0000040e: JUMP 0000040f: JUMPDEST 00000410: SWAP3 00000411: POP 00000412: POP 00000413: DUP2 00000414: SWAP1 00000415: SSTORE 00000416: POP 00000417: PUSH1 0x00 00000419: PUSH1 0x02 0000041b: PUSH1 0x00 0000041d: SWAP1 0000041e: SLOAD 0000041f: SWAP1 00000420: PUSH2 0x0100 00000423: EXP 00000424: SWAP1 00000425: DIV 00000426: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000043b: AND 0000043c: SWAP1 0000043d: POP 0000043e: DUP1 0000043f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000454: AND 00000455: PUSH4 0xf242432a 0000045a: CALLER 0000045b: ADDRESS 0000045c: PUSH1 0x01 0000045e: DUP7 0000045f: PUSH1 0x40 00000461: MLOAD 00000462: DUP6 00000463: PUSH4 0xffffffff 00000468: AND 00000469: PUSH1 0xe0 0000046b: SHL 0000046c: DUP2 0000046d: MSTORE 0000046e: PUSH1 0x04 00000470: ADD 00000471: PUSH2 0x047d 00000474: SWAP5 00000475: SWAP4 00000476: SWAP3 00000477: SWAP2 00000478: SWAP1 00000479: PUSH2 0x11e7 0000047c: JUMP 0000047d: JUMPDEST 0000047e: PUSH1 0x00 00000480: PUSH1 0x40 00000482: MLOAD 00000483: DUP1 00000484: DUP4 00000485: SUB 00000486: DUP2 00000487: PUSH1 0x00 00000489: DUP8 0000048a: DUP1 0000048b: EXTCODESIZE 0000048c: ISZERO 0000048d: DUP1 0000048e: ISZERO 0000048f: PUSH2 0x0497 00000492: JUMPI 00000493: PUSH1 0x00 00000495: DUP1 00000496: REVERT 00000497: JUMPDEST 00000498: POP 00000499: GAS 0000049a: CALL 0000049b: ISZERO 0000049c: DUP1 0000049d: ISZERO 0000049e: PUSH2 0x04ab 000004a1: JUMPI 000004a2: RETURNDATASIZE 000004a3: PUSH1 0x00 000004a5: DUP1 000004a6: RETURNDATACOPY 000004a7: RETURNDATASIZE 000004a8: PUSH1 0x00 000004aa: REVERT 000004ab: JUMPDEST 000004ac: POP 000004ad: POP 000004ae: POP 000004af: POP 000004b0: DUP1 000004b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004c6: AND 000004c7: PUSH4 0xdb006a75 000004cc: DUP4 000004cd: PUSH1 0x40 000004cf: MLOAD 000004d0: DUP3 000004d1: PUSH4 0xffffffff 000004d6: AND 000004d7: PUSH1 0xe0 000004d9: SHL 000004da: DUP2 000004db: MSTORE 000004dc: PUSH1 0x04 000004de: ADD 000004df: PUSH2 0x04e8 000004e2: SWAP2 000004e3: SWAP1 000004e4: PUSH2 0x0b5d 000004e7: JUMP 000004e8: JUMPDEST 000004e9: PUSH1 0x00 000004eb: PUSH1 0x40 000004ed: MLOAD 000004ee: DUP1 000004ef: DUP4 000004f0: SUB 000004f1: DUP2 000004f2: PUSH1 0x00 000004f4: DUP8 000004f5: DUP1 000004f6: EXTCODESIZE 000004f7: ISZERO 000004f8: DUP1 000004f9: ISZERO 000004fa: PUSH2 0x0502 000004fd: JUMPI 000004fe: PUSH1 0x00 00000500: DUP1 00000501: REVERT 00000502: JUMPDEST 00000503: POP 00000504: GAS 00000505: CALL 00000506: ISZERO 00000507: DUP1 00000508: ISZERO 00000509: PUSH2 0x0516 0000050c: JUMPI 0000050d: RETURNDATASIZE 0000050e: PUSH1 0x00 00000510: DUP1 00000511: RETURNDATACOPY 00000512: RETURNDATASIZE 00000513: PUSH1 0x00 00000515: REVERT 00000516: JUMPDEST 00000517: POP 00000518: POP 00000519: POP 0000051a: POP 0000051b: DUP1 0000051c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000531: AND 00000532: PUSH4 0xf242432a 00000537: ADDRESS 00000538: CALLER 00000539: PUSH1 0x02 0000053b: DUP7 0000053c: PUSH1 0x40 0000053e: MLOAD 0000053f: DUP6 00000540: PUSH4 0xffffffff 00000545: AND 00000546: PUSH1 0xe0 00000548: SHL 00000549: DUP2 0000054a: MSTORE 0000054b: PUSH1 0x04 0000054d: ADD 0000054e: PUSH2 0x055a 00000551: SWAP5 00000552: SWAP4 00000553: SWAP3 00000554: SWAP2 00000555: SWAP1 00000556: PUSH2 0x127a 00000559: JUMP 0000055a: JUMPDEST 0000055b: PUSH1 0x00 0000055d: PUSH1 0x40 0000055f: MLOAD 00000560: DUP1 00000561: DUP4 00000562: SUB 00000563: DUP2 00000564: PUSH1 0x00 00000566: DUP8 00000567: DUP1 00000568: EXTCODESIZE 00000569: ISZERO 0000056a: DUP1 0000056b: ISZERO 0000056c: PUSH2 0x0574 0000056f: JUMPI 00000570: PUSH1 0x00 00000572: DUP1 00000573: REVERT 00000574: JUMPDEST 00000575: POP 00000576: GAS 00000577: CALL 00000578: ISZERO 00000579: DUP1 0000057a: ISZERO 0000057b: PUSH2 0x0588 0000057e: JUMPI 0000057f: RETURNDATASIZE 00000580: PUSH1 0x00 00000582: DUP1 00000583: RETURNDATACOPY 00000584: RETURNDATASIZE 00000585: PUSH1 0x00 00000587: REVERT 00000588: JUMPDEST 00000589: POP 0000058a: POP 0000058b: POP 0000058c: POP 0000058d: PUSH1 0x00 0000058f: PUSH1 0x03 00000591: SLOAD 00000592: DUP4 00000593: DUP6 00000594: PUSH2 0x059d 00000597: SWAP2 00000598: SWAP1 00000599: PUSH2 0x10cb 0000059c: JUMP 0000059d: JUMPDEST 0000059e: PUSH2 0x05a7 000005a1: SWAP2 000005a2: SWAP1 000005a3: PUSH2 0x101b 000005a6: JUMP 000005a7: JUMPDEST 000005a8: SWAP1 000005a9: POP 000005aa: CALLER 000005ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005c0: AND 000005c1: DUP2 000005c2: PUSH1 0x40 000005c4: MLOAD 000005c5: PUSH2 0x05cd 000005c8: SWAP1 000005c9: PUSH2 0x1300 000005cc: JUMP 000005cd: JUMPDEST 000005ce: PUSH1 0x00 000005d0: PUSH1 0x40 000005d2: MLOAD 000005d3: DUP1 000005d4: DUP4 000005d5: SUB 000005d6: DUP2 000005d7: DUP6 000005d8: DUP8 000005d9: GAS 000005da: CALL 000005db: SWAP3 000005dc: POP 000005dd: POP 000005de: POP 000005df: RETURNDATASIZE 000005e0: DUP1 000005e1: PUSH1 0x00 000005e3: DUP2 000005e4: EQ 000005e5: PUSH2 0x060a 000005e8: JUMPI 000005e9: PUSH1 0x40 000005eb: MLOAD 000005ec: SWAP2 000005ed: POP 000005ee: PUSH1 0x1f 000005f0: NOT 000005f1: PUSH1 0x3f 000005f3: RETURNDATASIZE 000005f4: ADD 000005f5: AND 000005f6: DUP3 000005f7: ADD 000005f8: PUSH1 0x40 000005fa: MSTORE 000005fb: RETURNDATASIZE 000005fc: DUP3 000005fd: MSTORE 000005fe: RETURNDATASIZE 000005ff: PUSH1 0x00 00000601: PUSH1 0x20 00000603: DUP5 00000604: ADD 00000605: RETURNDATACOPY 00000606: PUSH2 0x060f 00000609: JUMP 0000060a: JUMPDEST 0000060b: PUSH1 0x60 0000060d: SWAP2 0000060e: POP 0000060f: JUMPDEST 00000610: POP 00000611: POP 00000612: POP 00000613: PUSH32 0xcabfe493e5b089b11ccbb58bf0484889b2b67244263dc852467f974947c73629 00000634: CALLER 00000635: DUP5 00000636: CALLVALUE 00000637: PUSH1 0x40 00000639: MLOAD 0000063a: PUSH2 0x0645 0000063d: SWAP4 0000063e: SWAP3 0000063f: SWAP2 00000640: SWAP1 00000641: PUSH2 0x1315 00000644: JUMP 00000645: JUMPDEST 00000646: PUSH1 0x40 00000648: MLOAD 00000649: DUP1 0000064a: SWAP2 0000064b: SUB 0000064c: SWAP1 0000064d: LOG1 0000064e: POP 0000064f: POP 00000650: POP 00000651: PUSH1 0x01 00000653: DUP1 00000654: DUP2 00000655: SWAP1 00000656: SSTORE 00000657: POP 00000658: POP 00000659: JUMP 0000065a: JUMPDEST 0000065b: PUSH2 0x0662 0000065e: PUSH2 0x0876 00000661: JUMP 00000662: JUMPDEST 00000663: CALLER 00000664: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000679: AND 0000067a: SELFBALANCE 0000067b: PUSH1 0x40 0000067d: MLOAD 0000067e: PUSH2 0x0686 00000681: SWAP1 00000682: PUSH2 0x1300 00000685: JUMP 00000686: JUMPDEST 00000687: PUSH1 0x00 00000689: PUSH1 0x40 0000068b: MLOAD 0000068c: DUP1 0000068d: DUP4 0000068e: SUB 0000068f: DUP2 00000690: DUP6 00000691: DUP8 00000692: GAS 00000693: CALL 00000694: SWAP3 00000695: POP 00000696: POP 00000697: POP 00000698: RETURNDATASIZE 00000699: DUP1 0000069a: PUSH1 0x00 0000069c: DUP2 0000069d: EQ 0000069e: PUSH2 0x06c3 000006a1: JUMPI 000006a2: PUSH1 0x40 000006a4: MLOAD 000006a5: SWAP2 000006a6: POP 000006a7: PUSH1 0x1f 000006a9: NOT 000006aa: PUSH1 0x3f 000006ac: RETURNDATASIZE 000006ad: ADD 000006ae: AND 000006af: DUP3 000006b0: ADD 000006b1: PUSH1 0x40 000006b3: MSTORE 000006b4: RETURNDATASIZE 000006b5: DUP3 000006b6: MSTORE 000006b7: RETURNDATASIZE 000006b8: PUSH1 0x00 000006ba: PUSH1 0x20 000006bc: DUP5 000006bd: ADD 000006be: RETURNDATACOPY 000006bf: PUSH2 0x06c8 000006c2: JUMP 000006c3: JUMPDEST 000006c4: PUSH1 0x60 000006c6: SWAP2 000006c7: POP 000006c8: JUMPDEST 000006c9: POP 000006ca: POP 000006cb: POP 000006cc: JUMP 000006cd: JUMPDEST 000006ce: PUSH2 0x06d5 000006d1: PUSH2 0x0876 000006d4: JUMP 000006d5: JUMPDEST 000006d6: DUP1 000006d7: PUSH1 0x03 000006d9: DUP2 000006da: SWAP1 000006db: SSTORE 000006dc: POP 000006dd: POP 000006de: JUMP 000006df: JUMPDEST 000006e0: PUSH2 0x06e7 000006e3: PUSH2 0x0876 000006e6: JUMP 000006e7: JUMPDEST 000006e8: DUP1 000006e9: PUSH1 0x04 000006eb: DUP2 000006ec: SWAP1 000006ed: SSTORE 000006ee: POP 000006ef: POP 000006f0: JUMP 000006f1: JUMPDEST 000006f2: PUSH2 0x06f9 000006f5: PUSH2 0x0876 000006f8: JUMP 000006f9: JUMPDEST 000006fa: PUSH2 0x0703 000006fd: PUSH1 0x00 000006ff: PUSH2 0x08f4 00000702: JUMP 00000703: JUMPDEST 00000704: JUMP 00000705: JUMPDEST 00000706: PUSH1 0x00 00000708: DUP1 00000709: PUSH1 0x00 0000070b: SWAP1 0000070c: SLOAD 0000070d: SWAP1 0000070e: PUSH2 0x0100 00000711: EXP 00000712: SWAP1 00000713: DIV 00000714: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000729: AND 0000072a: SWAP1 0000072b: POP 0000072c: SWAP1 0000072d: JUMP 0000072e: JUMPDEST 0000072f: PUSH1 0x02 00000731: PUSH1 0x00 00000733: SWAP1 00000734: SLOAD 00000735: SWAP1 00000736: PUSH2 0x0100 00000739: EXP 0000073a: SWAP1 0000073b: DIV 0000073c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000751: AND 00000752: DUP2 00000753: JUMP 00000754: JUMPDEST 00000755: PUSH1 0x00 00000757: PUSH1 0x05 00000759: SLOAD 0000075a: SWAP1 0000075b: POP 0000075c: SWAP1 0000075d: JUMP 0000075e: JUMPDEST 0000075f: PUSH1 0x00 00000761: PUSH4 0xbc197c81 00000766: PUSH1 0xe0 00000768: SHL 00000769: SWAP1 0000076a: POP 0000076b: SWAP6 0000076c: SWAP5 0000076d: POP 0000076e: POP 0000076f: POP 00000770: POP 00000771: POP 00000772: JUMP 00000773: JUMPDEST 00000774: PUSH1 0x00 00000776: PUSH4 0xf23a6e61 0000077b: PUSH1 0xe0 0000077d: SHL 0000077e: SWAP1 0000077f: POP 00000780: SWAP6 00000781: SWAP5 00000782: POP 00000783: POP 00000784: POP 00000785: POP 00000786: POP 00000787: JUMP 00000788: JUMPDEST 00000789: PUSH2 0x0790 0000078c: PUSH2 0x0876 0000078f: JUMP 00000790: JUMPDEST 00000791: PUSH1 0x00 00000793: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007a8: AND 000007a9: DUP2 000007aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007bf: AND 000007c0: EQ 000007c1: ISZERO 000007c2: PUSH2 0x0800 000007c5: JUMPI 000007c6: PUSH1 0x40 000007c8: MLOAD 000007c9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000007ea: DUP2 000007eb: MSTORE 000007ec: PUSH1 0x04 000007ee: ADD 000007ef: PUSH2 0x07f7 000007f2: SWAP1 000007f3: PUSH2 0x13be 000007f6: JUMP 000007f7: JUMPDEST 000007f8: PUSH1 0x40 000007fa: MLOAD 000007fb: DUP1 000007fc: SWAP2 000007fd: SUB 000007fe: SWAP1 000007ff: REVERT 00000800: JUMPDEST 00000801: PUSH2 0x0809 00000804: DUP2 00000805: PUSH2 0x08f4 00000808: JUMP 00000809: JUMPDEST 0000080a: POP 0000080b: JUMP 0000080c: JUMPDEST 0000080d: PUSH1 0x00 0000080f: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000 00000830: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000084d: NOT 0000084e: AND 0000084f: DUP3 00000850: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000086d: NOT 0000086e: AND 0000086f: EQ 00000870: SWAP1 00000871: POP 00000872: SWAP2 00000873: SWAP1 00000874: POP 00000875: JUMP 00000876: JUMPDEST 00000877: PUSH2 0x087e 0000087a: PUSH2 0x09b8 0000087d: JUMP 0000087e: JUMPDEST 0000087f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000894: AND 00000895: PUSH2 0x089c 00000898: PUSH2 0x0705 0000089b: JUMP 0000089c: JUMPDEST 0000089d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008b2: AND 000008b3: EQ 000008b4: PUSH2 0x08f2 000008b7: JUMPI 000008b8: PUSH1 0x40 000008ba: MLOAD 000008bb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000008dc: DUP2 000008dd: MSTORE 000008de: PUSH1 0x04 000008e0: ADD 000008e1: PUSH2 0x08e9 000008e4: SWAP1 000008e5: PUSH2 0x142a 000008e8: JUMP 000008e9: JUMPDEST 000008ea: PUSH1 0x40 000008ec: MLOAD 000008ed: DUP1 000008ee: SWAP2 000008ef: SUB 000008f0: SWAP1 000008f1: REVERT 000008f2: JUMPDEST 000008f3: JUMP 000008f4: JUMPDEST 000008f5: PUSH1 0x00 000008f7: DUP1 000008f8: PUSH1 0x00 000008fa: SWAP1 000008fb: SLOAD 000008fc: SWAP1 000008fd: PUSH2 0x0100 00000900: EXP 00000901: SWAP1 00000902: DIV 00000903: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000918: AND 00000919: SWAP1 0000091a: POP 0000091b: DUP2 0000091c: PUSH1 0x00 0000091e: DUP1 0000091f: PUSH2 0x0100 00000922: EXP 00000923: DUP2 00000924: SLOAD 00000925: DUP2 00000926: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000093b: MUL 0000093c: NOT 0000093d: AND 0000093e: SWAP1 0000093f: DUP4 00000940: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000955: AND 00000956: MUL 00000957: OR 00000958: SWAP1 00000959: SSTORE 0000095a: POP 0000095b: DUP2 0000095c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000971: AND 00000972: DUP2 00000973: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000988: AND 00000989: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000009aa: PUSH1 0x40 000009ac: MLOAD 000009ad: PUSH1 0x40 000009af: MLOAD 000009b0: DUP1 000009b1: SWAP2 000009b2: SUB 000009b3: SWAP1 000009b4: LOG3 000009b5: POP 000009b6: POP 000009b7: JUMP 000009b8: JUMPDEST 000009b9: PUSH1 0x00 000009bb: CALLER 000009bc: SWAP1 000009bd: POP 000009be: SWAP1 000009bf: JUMP 000009c0: JUMPDEST 000009c1: PUSH1 0x00 000009c3: PUSH1 0x40 000009c5: MLOAD 000009c6: SWAP1 000009c7: POP 000009c8: SWAP1 000009c9: JUMP 000009ca: JUMPDEST 000009cb: PUSH1 0x00 000009cd: DUP1 000009ce: REVERT 000009cf: JUMPDEST 000009d0: PUSH1 0x00 000009d2: DUP1 000009d3: REVERT 000009d4: JUMPDEST 000009d5: PUSH1 0x00 000009d7: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 000009f8: DUP3 000009f9: AND 000009fa: SWAP1 000009fb: POP 000009fc: SWAP2 000009fd: SWAP1 000009fe: POP 000009ff: JUMP 00000a00: JUMPDEST 00000a01: PUSH2 0x0a09 00000a04: DUP2 00000a05: PUSH2 0x09d4 00000a08: JUMP 00000a09: JUMPDEST 00000a0a: DUP2 00000a0b: EQ 00000a0c: PUSH2 0x0a14 00000a0f: JUMPI 00000a10: PUSH1 0x00 00000a12: DUP1 00000a13: REVERT 00000a14: JUMPDEST 00000a15: POP 00000a16: JUMP 00000a17: JUMPDEST 00000a18: PUSH1 0x00 00000a1a: DUP2 00000a1b: CALLDATALOAD 00000a1c: SWAP1 00000a1d: POP 00000a1e: PUSH2 0x0a26 00000a21: DUP2 00000a22: PUSH2 0x0a00 00000a25: JUMP 00000a26: JUMPDEST 00000a27: SWAP3 00000a28: SWAP2 00000a29: POP 00000a2a: POP 00000a2b: JUMP 00000a2c: JUMPDEST 00000a2d: PUSH1 0x00 00000a2f: PUSH1 0x20 00000a31: DUP3 00000a32: DUP5 00000a33: SUB 00000a34: SLT 00000a35: ISZERO 00000a36: PUSH2 0x0a42 00000a39: JUMPI 00000a3a: PUSH2 0x0a41 00000a3d: PUSH2 0x09ca 00000a40: JUMP 00000a41: JUMPDEST 00000a42: JUMPDEST 00000a43: PUSH1 0x00 00000a45: PUSH2 0x0a50 00000a48: DUP5 00000a49: DUP3 00000a4a: DUP6 00000a4b: ADD 00000a4c: PUSH2 0x0a17 00000a4f: JUMP 00000a50: JUMPDEST 00000a51: SWAP2 00000a52: POP 00000a53: POP 00000a54: SWAP3 00000a55: SWAP2 00000a56: POP 00000a57: POP 00000a58: JUMP 00000a59: JUMPDEST 00000a5a: PUSH1 0x00 00000a5c: DUP2 00000a5d: ISZERO 00000a5e: ISZERO 00000a5f: SWAP1 00000a60: POP 00000a61: SWAP2 00000a62: SWAP1 00000a63: POP 00000a64: JUMP 00000a65: JUMPDEST 00000a66: PUSH2 0x0a6e 00000a69: DUP2 00000a6a: PUSH2 0x0a59 00000a6d: JUMP 00000a6e: JUMPDEST 00000a6f: DUP3 00000a70: MSTORE 00000a71: POP 00000a72: POP 00000a73: JUMP 00000a74: JUMPDEST 00000a75: PUSH1 0x00 00000a77: PUSH1 0x20 00000a79: DUP3 00000a7a: ADD 00000a7b: SWAP1 00000a7c: POP 00000a7d: PUSH2 0x0a89 00000a80: PUSH1 0x00 00000a82: DUP4 00000a83: ADD 00000a84: DUP5 00000a85: PUSH2 0x0a65 00000a88: JUMP 00000a89: JUMPDEST 00000a8a: SWAP3 00000a8b: SWAP2 00000a8c: POP 00000a8d: POP 00000a8e: JUMP 00000a8f: JUMPDEST 00000a90: PUSH1 0x00 00000a92: DUP2 00000a93: SWAP1 00000a94: POP 00000a95: SWAP2 00000a96: SWAP1 00000a97: POP 00000a98: JUMP 00000a99: JUMPDEST 00000a9a: PUSH2 0x0aa2 00000a9d: DUP2 00000a9e: PUSH2 0x0a8f 00000aa1: JUMP 00000aa2: JUMPDEST 00000aa3: DUP2 00000aa4: EQ 00000aa5: PUSH2 0x0aad 00000aa8: JUMPI 00000aa9: PUSH1 0x00 00000aab: DUP1 00000aac: REVERT 00000aad: JUMPDEST 00000aae: POP 00000aaf: JUMP 00000ab0: JUMPDEST 00000ab1: PUSH1 0x00 00000ab3: DUP2 00000ab4: CALLDATALOAD 00000ab5: SWAP1 00000ab6: POP 00000ab7: PUSH2 0x0abf 00000aba: DUP2 00000abb: PUSH2 0x0a99 00000abe: JUMP 00000abf: JUMPDEST 00000ac0: SWAP3 00000ac1: SWAP2 00000ac2: POP 00000ac3: POP 00000ac4: JUMP 00000ac5: JUMPDEST 00000ac6: PUSH1 0x00 00000ac8: PUSH1 0x20 00000aca: DUP3 00000acb: DUP5 00000acc: SUB 00000acd: SLT 00000ace: ISZERO 00000acf: PUSH2 0x0adb 00000ad2: JUMPI 00000ad3: PUSH2 0x0ada 00000ad6: PUSH2 0x09ca 00000ad9: JUMP 00000ada: JUMPDEST 00000adb: JUMPDEST 00000adc: PUSH1 0x00 00000ade: PUSH2 0x0ae9 00000ae1: DUP5 00000ae2: DUP3 00000ae3: DUP6 00000ae4: ADD 00000ae5: PUSH2 0x0ab0 00000ae8: JUMP 00000ae9: JUMPDEST 00000aea: SWAP2 00000aeb: POP 00000aec: POP 00000aed: SWAP3 00000aee: SWAP2 00000aef: POP 00000af0: POP 00000af1: JUMP 00000af2: JUMPDEST 00000af3: PUSH1 0x00 00000af5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b0a: DUP3 00000b0b: AND 00000b0c: SWAP1 00000b0d: POP 00000b0e: SWAP2 00000b0f: SWAP1 00000b10: POP 00000b11: JUMP 00000b12: JUMPDEST 00000b13: PUSH1 0x00 00000b15: PUSH2 0x0b1d 00000b18: DUP3 00000b19: PUSH2 0x0af2 00000b1c: JUMP 00000b1d: JUMPDEST 00000b1e: SWAP1 00000b1f: POP 00000b20: SWAP2 00000b21: SWAP1 00000b22: POP 00000b23: JUMP 00000b24: JUMPDEST 00000b25: PUSH2 0x0b2d 00000b28: DUP2 00000b29: PUSH2 0x0b12 00000b2c: JUMP 00000b2d: JUMPDEST 00000b2e: DUP3 00000b2f: MSTORE 00000b30: POP 00000b31: POP 00000b32: JUMP 00000b33: JUMPDEST 00000b34: PUSH1 0x00 00000b36: PUSH1 0x20 00000b38: DUP3 00000b39: ADD 00000b3a: SWAP1 00000b3b: POP 00000b3c: PUSH2 0x0b48 00000b3f: PUSH1 0x00 00000b41: DUP4 00000b42: ADD 00000b43: DUP5 00000b44: PUSH2 0x0b24 00000b47: JUMP 00000b48: JUMPDEST 00000b49: SWAP3 00000b4a: SWAP2 00000b4b: POP 00000b4c: POP 00000b4d: JUMP 00000b4e: JUMPDEST 00000b4f: PUSH2 0x0b57 00000b52: DUP2 00000b53: PUSH2 0x0a8f 00000b56: JUMP 00000b57: JUMPDEST 00000b58: DUP3 00000b59: MSTORE 00000b5a: POP 00000b5b: POP 00000b5c: JUMP 00000b5d: JUMPDEST 00000b5e: PUSH1 0x00 00000b60: PUSH1 0x20 00000b62: DUP3 00000b63: ADD 00000b64: SWAP1 00000b65: POP 00000b66: PUSH2 0x0b72 00000b69: PUSH1 0x00 00000b6b: DUP4 00000b6c: ADD 00000b6d: DUP5 00000b6e: PUSH2 0x0b4e 00000b71: JUMP 00000b72: JUMPDEST 00000b73: SWAP3 00000b74: SWAP2 00000b75: POP 00000b76: POP 00000b77: JUMP 00000b78: JUMPDEST 00000b79: PUSH2 0x0b81 00000b7c: DUP2 00000b7d: PUSH2 0x0b12 00000b80: JUMP 00000b81: JUMPDEST 00000b82: DUP2 00000b83: EQ 00000b84: PUSH2 0x0b8c 00000b87: JUMPI 00000b88: PUSH1 0x00 00000b8a: DUP1 00000b8b: REVERT 00000b8c: JUMPDEST 00000b8d: POP 00000b8e: JUMP 00000b8f: JUMPDEST 00000b90: PUSH1 0x00 00000b92: DUP2 00000b93: CALLDATALOAD 00000b94: SWAP1 00000b95: POP 00000b96: PUSH2 0x0b9e 00000b99: DUP2 00000b9a: PUSH2 0x0b78 00000b9d: JUMP 00000b9e: JUMPDEST 00000b9f: SWAP3 00000ba0: SWAP2 00000ba1: POP 00000ba2: POP 00000ba3: JUMP 00000ba4: JUMPDEST 00000ba5: PUSH1 0x00 00000ba7: DUP1 00000ba8: REVERT 00000ba9: JUMPDEST 00000baa: PUSH1 0x00 00000bac: PUSH1 0x1f 00000bae: NOT 00000baf: PUSH1 0x1f 00000bb1: DUP4 00000bb2: ADD 00000bb3: AND 00000bb4: SWAP1 00000bb5: POP 00000bb6: SWAP2 00000bb7: SWAP1 00000bb8: POP 00000bb9: JUMP 00000bba: JUMPDEST 00000bbb: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000bdc: PUSH1 0x00 00000bde: MSTORE 00000bdf: PUSH1 0x41 00000be1: PUSH1 0x04 00000be3: MSTORE 00000be4: PUSH1 0x24 00000be6: PUSH1 0x00 00000be8: REVERT 00000be9: JUMPDEST 00000bea: PUSH2 0x0bf2 00000bed: DUP3 00000bee: PUSH2 0x0ba9 00000bf1: JUMP 00000bf2: JUMPDEST 00000bf3: DUP2 00000bf4: ADD 00000bf5: DUP2 00000bf6: DUP2 00000bf7: LT 00000bf8: PUSH8 0xffffffffffffffff 00000c01: DUP3 00000c02: GT 00000c03: OR 00000c04: ISZERO 00000c05: PUSH2 0x0c11 00000c08: JUMPI 00000c09: PUSH2 0x0c10 00000c0c: PUSH2 0x0bba 00000c0f: JUMP 00000c10: JUMPDEST 00000c11: JUMPDEST 00000c12: DUP1 00000c13: PUSH1 0x40 00000c15: MSTORE 00000c16: POP 00000c17: POP 00000c18: POP 00000c19: JUMP 00000c1a: JUMPDEST 00000c1b: PUSH1 0x00 00000c1d: PUSH2 0x0c24 00000c20: PUSH2 0x09c0 00000c23: JUMP 00000c24: JUMPDEST 00000c25: SWAP1 00000c26: POP 00000c27: PUSH2 0x0c30 00000c2a: DUP3 00000c2b: DUP3 00000c2c: PUSH2 0x0be9 00000c2f: JUMP 00000c30: JUMPDEST 00000c31: SWAP2 00000c32: SWAP1 00000c33: POP 00000c34: JUMP 00000c35: JUMPDEST 00000c36: PUSH1 0x00 00000c38: PUSH8 0xffffffffffffffff 00000c41: DUP3 00000c42: GT 00000c43: ISZERO 00000c44: PUSH2 0x0c50 00000c47: JUMPI 00000c48: PUSH2 0x0c4f 00000c4b: PUSH2 0x0bba 00000c4e: JUMP 00000c4f: JUMPDEST 00000c50: JUMPDEST 00000c51: PUSH1 0x20 00000c53: DUP3 00000c54: MUL 00000c55: SWAP1 00000c56: POP 00000c57: PUSH1 0x20 00000c59: DUP2 00000c5a: ADD 00000c5b: SWAP1 00000c5c: POP 00000c5d: SWAP2 00000c5e: SWAP1 00000c5f: POP 00000c60: JUMP 00000c61: JUMPDEST 00000c62: PUSH1 0x00 00000c64: DUP1 00000c65: REVERT 00000c66: JUMPDEST 00000c67: PUSH1 0x00 00000c69: PUSH2 0x0c79 00000c6c: PUSH2 0x0c74 00000c6f: DUP5 00000c70: PUSH2 0x0c35 00000c73: JUMP 00000c74: JUMPDEST 00000c75: PUSH2 0x0c1a 00000c78: JUMP 00000c79: JUMPDEST 00000c7a: SWAP1 00000c7b: POP 00000c7c: DUP1 00000c7d: DUP4 00000c7e: DUP3 00000c7f: MSTORE 00000c80: PUSH1 0x20 00000c82: DUP3 00000c83: ADD 00000c84: SWAP1 00000c85: POP 00000c86: PUSH1 0x20 00000c88: DUP5 00000c89: MUL 00000c8a: DUP4 00000c8b: ADD 00000c8c: DUP6 00000c8d: DUP2 00000c8e: GT 00000c8f: ISZERO 00000c90: PUSH2 0x0c9c 00000c93: JUMPI 00000c94: PUSH2 0x0c9b 00000c97: PUSH2 0x0c61 00000c9a: JUMP 00000c9b: JUMPDEST 00000c9c: JUMPDEST 00000c9d: DUP4 00000c9e: JUMPDEST 00000c9f: DUP2 00000ca0: DUP2 00000ca1: LT 00000ca2: ISZERO 00000ca3: PUSH2 0x0cc5 00000ca6: JUMPI 00000ca7: DUP1 00000ca8: PUSH2 0x0cb1 00000cab: DUP9 00000cac: DUP3 00000cad: PUSH2 0x0ab0 00000cb0: JUMP 00000cb1: JUMPDEST 00000cb2: DUP5 00000cb3: MSTORE 00000cb4: PUSH1 0x20 00000cb6: DUP5 00000cb7: ADD 00000cb8: SWAP4 00000cb9: POP 00000cba: POP 00000cbb: PUSH1 0x20 00000cbd: DUP2 00000cbe: ADD 00000cbf: SWAP1 00000cc0: POP 00000cc1: PUSH2 0x0c9e 00000cc4: JUMP 00000cc5: JUMPDEST 00000cc6: POP 00000cc7: POP 00000cc8: POP 00000cc9: SWAP4 00000cca: SWAP3 00000ccb: POP 00000ccc: POP 00000ccd: POP 00000cce: JUMP 00000ccf: JUMPDEST 00000cd0: PUSH1 0x00 00000cd2: DUP3 00000cd3: PUSH1 0x1f 00000cd5: DUP4 00000cd6: ADD 00000cd7: SLT 00000cd8: PUSH2 0x0ce4 00000cdb: JUMPI 00000cdc: PUSH2 0x0ce3 00000cdf: PUSH2 0x0ba4 00000ce2: JUMP 00000ce3: JUMPDEST 00000ce4: JUMPDEST 00000ce5: DUP2 00000ce6: CALLDATALOAD 00000ce7: PUSH2 0x0cf4 00000cea: DUP5 00000ceb: DUP3 00000cec: PUSH1 0x20 00000cee: DUP7 00000cef: ADD 00000cf0: PUSH2 0x0c66 00000cf3: JUMP 00000cf4: JUMPDEST 00000cf5: SWAP2 00000cf6: POP 00000cf7: POP 00000cf8: SWAP3 00000cf9: SWAP2 00000cfa: POP 00000cfb: POP 00000cfc: JUMP 00000cfd: JUMPDEST 00000cfe: PUSH1 0x00 00000d00: DUP1 00000d01: REVERT 00000d02: JUMPDEST 00000d03: PUSH1 0x00 00000d05: PUSH8 0xffffffffffffffff 00000d0e: DUP3 00000d0f: GT 00000d10: ISZERO 00000d11: PUSH2 0x0d1d 00000d14: JUMPI 00000d15: PUSH2 0x0d1c 00000d18: PUSH2 0x0bba 00000d1b: JUMP 00000d1c: JUMPDEST 00000d1d: JUMPDEST 00000d1e: PUSH2 0x0d26 00000d21: DUP3 00000d22: PUSH2 0x0ba9 00000d25: JUMP 00000d26: JUMPDEST 00000d27: SWAP1 00000d28: POP 00000d29: PUSH1 0x20 00000d2b: DUP2 00000d2c: ADD 00000d2d: SWAP1 00000d2e: POP 00000d2f: SWAP2 00000d30: SWAP1 00000d31: POP 00000d32: JUMP 00000d33: JUMPDEST 00000d34: DUP3 00000d35: DUP2 00000d36: DUP4 00000d37: CALLDATACOPY 00000d38: PUSH1 0x00 00000d3a: DUP4 00000d3b: DUP4 00000d3c: ADD 00000d3d: MSTORE 00000d3e: POP 00000d3f: POP 00000d40: POP 00000d41: JUMP 00000d42: JUMPDEST 00000d43: PUSH1 0x00 00000d45: PUSH2 0x0d55 00000d48: PUSH2 0x0d50 00000d4b: DUP5 00000d4c: PUSH2 0x0d02 00000d4f: JUMP 00000d50: JUMPDEST 00000d51: PUSH2 0x0c1a 00000d54: JUMP 00000d55: JUMPDEST 00000d56: SWAP1 00000d57: POP 00000d58: DUP3 00000d59: DUP2 00000d5a: MSTORE 00000d5b: PUSH1 0x20 00000d5d: DUP2 00000d5e: ADD 00000d5f: DUP5 00000d60: DUP5 00000d61: DUP5 00000d62: ADD 00000d63: GT 00000d64: ISZERO 00000d65: PUSH2 0x0d71 00000d68: JUMPI 00000d69: PUSH2 0x0d70 00000d6c: PUSH2 0x0cfd 00000d6f: JUMP 00000d70: JUMPDEST 00000d71: JUMPDEST 00000d72: PUSH2 0x0d7c 00000d75: DUP5 00000d76: DUP3 00000d77: DUP6 00000d78: PUSH2 0x0d33 00000d7b: JUMP 00000d7c: JUMPDEST 00000d7d: POP 00000d7e: SWAP4 00000d7f: SWAP3 00000d80: POP 00000d81: POP 00000d82: POP 00000d83: JUMP 00000d84: JUMPDEST 00000d85: PUSH1 0x00 00000d87: DUP3 00000d88: PUSH1 0x1f 00000d8a: DUP4 00000d8b: ADD 00000d8c: SLT 00000d8d: PUSH2 0x0d99 00000d90: JUMPI 00000d91: PUSH2 0x0d98 00000d94: PUSH2 0x0ba4 00000d97: JUMP 00000d98: JUMPDEST 00000d99: JUMPDEST 00000d9a: DUP2 00000d9b: CALLDATALOAD 00000d9c: PUSH2 0x0da9 00000d9f: DUP5 00000da0: DUP3 00000da1: PUSH1 0x20 00000da3: DUP7 00000da4: ADD 00000da5: PUSH2 0x0d42 00000da8: JUMP 00000da9: JUMPDEST 00000daa: SWAP2 00000dab: POP 00000dac: POP 00000dad: SWAP3 00000dae: SWAP2 00000daf: POP 00000db0: POP 00000db1: JUMP 00000db2: JUMPDEST 00000db3: PUSH1 0x00 00000db5: DUP1 00000db6: PUSH1 0x00 00000db8: DUP1 00000db9: PUSH1 0x00 00000dbb: PUSH1 0xa0 00000dbd: DUP7 00000dbe: DUP9 00000dbf: SUB 00000dc0: SLT 00000dc1: ISZERO 00000dc2: PUSH2 0x0dce 00000dc5: JUMPI 00000dc6: PUSH2 0x0dcd 00000dc9: PUSH2 0x09ca 00000dcc: JUMP 00000dcd: JUMPDEST 00000dce: JUMPDEST 00000dcf: PUSH1 0x00 00000dd1: PUSH2 0x0ddc 00000dd4: DUP9 00000dd5: DUP3 00000dd6: DUP10 00000dd7: ADD 00000dd8: PUSH2 0x0b8f 00000ddb: JUMP 00000ddc: JUMPDEST 00000ddd: SWAP6 00000dde: POP 00000ddf: POP 00000de0: PUSH1 0x20 00000de2: PUSH2 0x0ded 00000de5: DUP9 00000de6: DUP3 00000de7: DUP10 00000de8: ADD 00000de9: PUSH2 0x0b8f 00000dec: JUMP 00000ded: JUMPDEST 00000dee: SWAP5 00000def: POP 00000df0: POP 00000df1: PUSH1 0x40 00000df3: DUP7 00000df4: ADD 00000df5: CALLDATALOAD 00000df6: PUSH8 0xffffffffffffffff 00000dff: DUP2 00000e00: GT 00000e01: ISZERO 00000e02: PUSH2 0x0e0e 00000e05: JUMPI 00000e06: PUSH2 0x0e0d 00000e09: PUSH2 0x09cf 00000e0c: JUMP 00000e0d: JUMPDEST 00000e0e: JUMPDEST 00000e0f: PUSH2 0x0e1a 00000e12: DUP9 00000e13: DUP3 00000e14: DUP10 00000e15: ADD 00000e16: PUSH2 0x0ccf 00000e19: JUMP 00000e1a: JUMPDEST 00000e1b: SWAP4 00000e1c: POP 00000e1d: POP 00000e1e: PUSH1 0x60 00000e20: DUP7 00000e21: ADD 00000e22: CALLDATALOAD 00000e23: PUSH8 0xffffffffffffffff 00000e2c: DUP2 00000e2d: GT 00000e2e: ISZERO 00000e2f: PUSH2 0x0e3b 00000e32: JUMPI 00000e33: PUSH2 0x0e3a 00000e36: PUSH2 0x09cf 00000e39: JUMP 00000e3a: JUMPDEST 00000e3b: JUMPDEST 00000e3c: PUSH2 0x0e47 00000e3f: DUP9 00000e40: DUP3 00000e41: DUP10 00000e42: ADD 00000e43: PUSH2 0x0ccf 00000e46: JUMP 00000e47: JUMPDEST 00000e48: SWAP3 00000e49: POP 00000e4a: POP 00000e4b: PUSH1 0x80 00000e4d: DUP7 00000e4e: ADD 00000e4f: CALLDATALOAD 00000e50: PUSH8 0xffffffffffffffff 00000e59: DUP2 00000e5a: GT 00000e5b: ISZERO 00000e5c: PUSH2 0x0e68 00000e5f: JUMPI 00000e60: PUSH2 0x0e67 00000e63: PUSH2 0x09cf 00000e66: JUMP 00000e67: JUMPDEST 00000e68: JUMPDEST 00000e69: PUSH2 0x0e74 00000e6c: DUP9 00000e6d: DUP3 00000e6e: DUP10 00000e6f: ADD 00000e70: PUSH2 0x0d84 00000e73: JUMP 00000e74: JUMPDEST 00000e75: SWAP2 00000e76: POP 00000e77: POP 00000e78: SWAP3 00000e79: SWAP6 00000e7a: POP 00000e7b: SWAP3 00000e7c: SWAP6 00000e7d: SWAP1 00000e7e: SWAP4 00000e7f: POP 00000e80: JUMP 00000e81: JUMPDEST 00000e82: PUSH2 0x0e8a 00000e85: DUP2 00000e86: PUSH2 0x09d4 00000e89: JUMP 00000e8a: JUMPDEST 00000e8b: DUP3 00000e8c: MSTORE 00000e8d: POP 00000e8e: POP 00000e8f: JUMP 00000e90: JUMPDEST 00000e91: PUSH1 0x00 00000e93: PUSH1 0x20 00000e95: DUP3 00000e96: ADD 00000e97: SWAP1 00000e98: POP 00000e99: PUSH2 0x0ea5 00000e9c: PUSH1 0x00 00000e9e: DUP4 00000e9f: ADD 00000ea0: DUP5 00000ea1: PUSH2 0x0e81 00000ea4: JUMP 00000ea5: JUMPDEST 00000ea6: SWAP3 00000ea7: SWAP2 00000ea8: POP 00000ea9: POP 00000eaa: JUMP 00000eab: JUMPDEST 00000eac: PUSH1 0x00 00000eae: DUP1 00000eaf: PUSH1 0x00 00000eb1: DUP1 00000eb2: PUSH1 0x00 00000eb4: PUSH1 0xa0 00000eb6: DUP7 00000eb7: DUP9 00000eb8: SUB 00000eb9: SLT 00000eba: ISZERO 00000ebb: PUSH2 0x0ec7 00000ebe: JUMPI 00000ebf: PUSH2 0x0ec6 00000ec2: PUSH2 0x09ca 00000ec5: JUMP 00000ec6: JUMPDEST 00000ec7: JUMPDEST 00000ec8: PUSH1 0x00 00000eca: PUSH2 0x0ed5 00000ecd: DUP9 00000ece: DUP3 00000ecf: DUP10 00000ed0: ADD 00000ed1: PUSH2 0x0b8f 00000ed4: JUMP 00000ed5: JUMPDEST 00000ed6: SWAP6 00000ed7: POP 00000ed8: POP 00000ed9: PUSH1 0x20 00000edb: PUSH2 0x0ee6 00000ede: DUP9 00000edf: DUP3 00000ee0: DUP10 00000ee1: ADD 00000ee2: PUSH2 0x0b8f 00000ee5: JUMP 00000ee6: JUMPDEST 00000ee7: SWAP5 00000ee8: POP 00000ee9: POP 00000eea: PUSH1 0x40 00000eec: PUSH2 0x0ef7 00000eef: DUP9 00000ef0: DUP3 00000ef1: DUP10 00000ef2: ADD 00000ef3: PUSH2 0x0ab0 00000ef6: JUMP 00000ef7: JUMPDEST 00000ef8: SWAP4 00000ef9: POP 00000efa: POP 00000efb: PUSH1 0x60 00000efd: PUSH2 0x0f08 00000f00: DUP9 00000f01: DUP3 00000f02: DUP10 00000f03: ADD 00000f04: PUSH2 0x0ab0 00000f07: JUMP 00000f08: JUMPDEST 00000f09: SWAP3 00000f0a: POP 00000f0b: POP 00000f0c: PUSH1 0x80 00000f0e: DUP7 00000f0f: ADD 00000f10: CALLDATALOAD 00000f11: PUSH8 0xffffffffffffffff 00000f1a: DUP2 00000f1b: GT 00000f1c: ISZERO 00000f1d: PUSH2 0x0f29 00000f20: JUMPI 00000f21: PUSH2 0x0f28 00000f24: PUSH2 0x09cf 00000f27: JUMP 00000f28: JUMPDEST 00000f29: JUMPDEST 00000f2a: PUSH2 0x0f35 00000f2d: DUP9 00000f2e: DUP3 00000f2f: DUP10 00000f30: ADD 00000f31: PUSH2 0x0d84 00000f34: JUMP 00000f35: JUMPDEST 00000f36: SWAP2 00000f37: POP 00000f38: POP 00000f39: SWAP3 00000f3a: SWAP6 00000f3b: POP 00000f3c: SWAP3 00000f3d: SWAP6 00000f3e: SWAP1 00000f3f: SWAP4 00000f40: POP 00000f41: JUMP 00000f42: JUMPDEST 00000f43: PUSH1 0x00 00000f45: PUSH1 0x20 00000f47: DUP3 00000f48: DUP5 00000f49: SUB 00000f4a: SLT 00000f4b: ISZERO 00000f4c: PUSH2 0x0f58 00000f4f: JUMPI 00000f50: PUSH2 0x0f57 00000f53: PUSH2 0x09ca 00000f56: JUMP 00000f57: JUMPDEST 00000f58: JUMPDEST 00000f59: PUSH1 0x00 00000f5b: PUSH2 0x0f66 00000f5e: DUP5 00000f5f: DUP3 00000f60: DUP6 00000f61: ADD 00000f62: PUSH2 0x0b8f 00000f65: JUMP 00000f66: JUMPDEST 00000f67: SWAP2 00000f68: POP 00000f69: POP 00000f6a: SWAP3 00000f6b: SWAP2 00000f6c: POP 00000f6d: POP 00000f6e: JUMP 00000f6f: JUMPDEST 00000f70: PUSH1 0x00 00000f72: DUP3 00000f73: DUP3 00000f74: MSTORE 00000f75: PUSH1 0x20 00000f77: DUP3 00000f78: ADD 00000f79: SWAP1 00000f7a: POP 00000f7b: SWAP3 00000f7c: SWAP2 00000f7d: POP 00000f7e: POP 00000f7f: JUMP 00000f80: JUMPDEST 00000f81: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 00000fa2: PUSH1 0x00 00000fa4: DUP3 00000fa5: ADD 00000fa6: MSTORE 00000fa7: POP 00000fa8: JUMP 00000fa9: JUMPDEST 00000faa: PUSH1 0x00 00000fac: PUSH2 0x0fb6 00000faf: PUSH1 0x1f 00000fb1: DUP4 00000fb2: PUSH2 0x0f6f 00000fb5: JUMP 00000fb6: JUMPDEST 00000fb7: SWAP2 00000fb8: POP 00000fb9: PUSH2 0x0fc1 00000fbc: DUP3 00000fbd: PUSH2 0x0f80 00000fc0: JUMP 00000fc1: JUMPDEST 00000fc2: PUSH1 0x20 00000fc4: DUP3 00000fc5: ADD 00000fc6: SWAP1 00000fc7: POP 00000fc8: SWAP2 00000fc9: SWAP1 00000fca: POP 00000fcb: JUMP 00000fcc: JUMPDEST 00000fcd: PUSH1 0x00 00000fcf: PUSH1 0x20 00000fd1: DUP3 00000fd2: ADD 00000fd3: SWAP1 00000fd4: POP 00000fd5: DUP2 00000fd6: DUP2 00000fd7: SUB 00000fd8: PUSH1 0x00 00000fda: DUP4 00000fdb: ADD 00000fdc: MSTORE 00000fdd: PUSH2 0x0fe5 00000fe0: DUP2 00000fe1: PUSH2 0x0fa9 00000fe4: JUMP 00000fe5: JUMPDEST 00000fe6: SWAP1 00000fe7: POP 00000fe8: SWAP2 00000fe9: SWAP1 00000fea: POP 00000feb: JUMP 00000fec: JUMPDEST 00000fed: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000100e: PUSH1 0x00 00001010: MSTORE 00001011: PUSH1 0x11 00001013: PUSH1 0x04 00001015: MSTORE 00001016: PUSH1 0x24 00001018: PUSH1 0x00 0000101a: REVERT 0000101b: JUMPDEST 0000101c: PUSH1 0x00 0000101e: PUSH2 0x1026 00001021: DUP3 00001022: PUSH2 0x0a8f 00001025: JUMP 00001026: JUMPDEST 00001027: SWAP2 00001028: POP 00001029: PUSH2 0x1031 0000102c: DUP4 0000102d: PUSH2 0x0a8f 00001030: JUMP 00001031: JUMPDEST 00001032: SWAP3 00001033: POP 00001034: DUP2 00001035: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001056: DIV 00001057: DUP4 00001058: GT 00001059: DUP3 0000105a: ISZERO 0000105b: ISZERO 0000105c: AND 0000105d: ISZERO 0000105e: PUSH2 0x106a 00001061: JUMPI 00001062: PUSH2 0x1069 00001065: PUSH2 0x0fec 00001068: JUMP 00001069: JUMPDEST 0000106a: JUMPDEST 0000106b: DUP3 0000106c: DUP3 0000106d: MUL 0000106e: SWAP1 0000106f: POP 00001070: SWAP3 00001071: SWAP2 00001072: POP 00001073: POP 00001074: JUMP 00001075: JUMPDEST 00001076: PUSH1 0x00 00001078: PUSH2 0x1080 0000107b: DUP3 0000107c: PUSH2 0x0a8f 0000107f: JUMP 00001080: JUMPDEST 00001081: SWAP2 00001082: POP 00001083: PUSH2 0x108b 00001086: DUP4 00001087: PUSH2 0x0a8f 0000108a: JUMP 0000108b: JUMPDEST 0000108c: SWAP3 0000108d: POP 0000108e: DUP3 0000108f: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000010b0: SUB 000010b1: DUP3 000010b2: GT 000010b3: ISZERO 000010b4: PUSH2 0x10c0 000010b7: JUMPI 000010b8: PUSH2 0x10bf 000010bb: PUSH2 0x0fec 000010be: JUMP 000010bf: JUMPDEST 000010c0: JUMPDEST 000010c1: DUP3 000010c2: DUP3 000010c3: ADD 000010c4: SWAP1 000010c5: POP 000010c6: SWAP3 000010c7: SWAP2 000010c8: POP 000010c9: POP 000010ca: JUMP 000010cb: JUMPDEST 000010cc: PUSH1 0x00 000010ce: PUSH2 0x10d6 000010d1: DUP3 000010d2: PUSH2 0x0a8f 000010d5: JUMP 000010d6: JUMPDEST 000010d7: SWAP2 000010d8: POP 000010d9: PUSH2 0x10e1 000010dc: DUP4 000010dd: PUSH2 0x0a8f 000010e0: JUMP 000010e1: JUMPDEST 000010e2: SWAP3 000010e3: POP 000010e4: DUP3 000010e5: DUP3 000010e6: LT 000010e7: ISZERO 000010e8: PUSH2 0x10f4 000010eb: JUMPI 000010ec: PUSH2 0x10f3 000010ef: PUSH2 0x0fec 000010f2: JUMP 000010f3: JUMPDEST 000010f4: JUMPDEST 000010f5: DUP3 000010f6: DUP3 000010f7: SUB 000010f8: SWAP1 000010f9: POP 000010fa: SWAP3 000010fb: SWAP2 000010fc: POP 000010fd: POP 000010fe: JUMP 000010ff: JUMPDEST 00001100: PUSH32 0x534f4c44204f5554000000000000000000000000000000000000000000000000 00001121: PUSH1 0x00 00001123: DUP3 00001124: ADD 00001125: MSTORE 00001126: POP 00001127: JUMP 00001128: JUMPDEST 00001129: PUSH1 0x00 0000112b: PUSH2 0x1135 0000112e: PUSH1 0x08 00001130: DUP4 00001131: PUSH2 0x0f6f 00001134: JUMP 00001135: JUMPDEST 00001136: SWAP2 00001137: POP 00001138: PUSH2 0x1140 0000113b: DUP3 0000113c: PUSH2 0x10ff 0000113f: JUMP 00001140: JUMPDEST 00001141: PUSH1 0x20 00001143: DUP3 00001144: ADD 00001145: SWAP1 00001146: POP 00001147: SWAP2 00001148: SWAP1 00001149: POP 0000114a: JUMP 0000114b: JUMPDEST 0000114c: PUSH1 0x00 0000114e: PUSH1 0x20 00001150: DUP3 00001151: ADD 00001152: SWAP1 00001153: POP 00001154: DUP2 00001155: DUP2 00001156: SUB 00001157: PUSH1 0x00 00001159: DUP4 0000115a: ADD 0000115b: MSTORE 0000115c: PUSH2 0x1164 0000115f: DUP2 00001160: PUSH2 0x1128 00001163: JUMP 00001164: JUMPDEST 00001165: SWAP1 00001166: POP 00001167: SWAP2 00001168: SWAP1 00001169: POP 0000116a: JUMP 0000116b: JUMPDEST 0000116c: PUSH1 0x00 0000116e: DUP2 0000116f: SWAP1 00001170: POP 00001171: SWAP2 00001172: SWAP1 00001173: POP 00001174: JUMP 00001175: JUMPDEST 00001176: PUSH1 0x00 00001178: DUP2 00001179: SWAP1 0000117a: POP 0000117b: SWAP2 0000117c: SWAP1 0000117d: POP 0000117e: JUMP 0000117f: JUMPDEST 00001180: PUSH1 0x00 00001182: PUSH2 0x119a 00001185: PUSH2 0x1195 00001188: PUSH2 0x1190 0000118b: DUP5 0000118c: PUSH2 0x116b 0000118f: JUMP 00001190: JUMPDEST 00001191: PUSH2 0x1175 00001194: JUMP 00001195: JUMPDEST 00001196: PUSH2 0x0a8f 00001199: JUMP 0000119a: JUMPDEST 0000119b: SWAP1 0000119c: POP 0000119d: SWAP2 0000119e: SWAP1 0000119f: POP 000011a0: JUMP 000011a1: JUMPDEST 000011a2: PUSH2 0x11aa 000011a5: DUP2 000011a6: PUSH2 0x117f 000011a9: JUMP 000011aa: JUMPDEST 000011ab: DUP3 000011ac: MSTORE 000011ad: POP 000011ae: POP 000011af: JUMP 000011b0: JUMPDEST 000011b1: PUSH1 0x00 000011b3: DUP3 000011b4: DUP3 000011b5: MSTORE 000011b6: PUSH1 0x20 000011b8: DUP3 000011b9: ADD 000011ba: SWAP1 000011bb: POP 000011bc: SWAP3 000011bd: SWAP2 000011be: POP 000011bf: POP 000011c0: JUMP 000011c1: JUMPDEST 000011c2: POP 000011c3: JUMP 000011c4: JUMPDEST 000011c5: PUSH1 0x00 000011c7: PUSH2 0x11d1 000011ca: PUSH1 0x00 000011cc: DUP4 000011cd: PUSH2 0x11b0 000011d0: JUMP 000011d1: JUMPDEST 000011d2: SWAP2 000011d3: POP 000011d4: PUSH2 0x11dc 000011d7: DUP3 000011d8: PUSH2 0x11c1 000011db: JUMP 000011dc: JUMPDEST 000011dd: PUSH1 0x00 000011df: DUP3 000011e0: ADD 000011e1: SWAP1 000011e2: POP 000011e3: SWAP2 000011e4: SWAP1 000011e5: POP 000011e6: JUMP 000011e7: JUMPDEST 000011e8: PUSH1 0x00 000011ea: PUSH1 0xa0 000011ec: DUP3 000011ed: ADD 000011ee: SWAP1 000011ef: POP 000011f0: PUSH2 0x11fc 000011f3: PUSH1 0x00 000011f5: DUP4 000011f6: ADD 000011f7: DUP8 000011f8: PUSH2 0x0b24 000011fb: JUMP 000011fc: JUMPDEST 000011fd: PUSH2 0x1209 00001200: PUSH1 0x20 00001202: DUP4 00001203: ADD 00001204: DUP7 00001205: PUSH2 0x0b24 00001208: JUMP 00001209: JUMPDEST 0000120a: PUSH2 0x1216 0000120d: PUSH1 0x40 0000120f: DUP4 00001210: ADD 00001211: DUP6 00001212: PUSH2 0x11a1 00001215: JUMP 00001216: JUMPDEST 00001217: PUSH2 0x1223 0000121a: PUSH1 0x60 0000121c: DUP4 0000121d: ADD 0000121e: DUP5 0000121f: PUSH2 0x0b4e 00001222: JUMP 00001223: JUMPDEST 00001224: DUP2 00001225: DUP2 00001226: SUB 00001227: PUSH1 0x80 00001229: DUP4 0000122a: ADD 0000122b: MSTORE 0000122c: PUSH2 0x1234 0000122f: DUP2 00001230: PUSH2 0x11c4 00001233: JUMP 00001234: JUMPDEST 00001235: SWAP1 00001236: POP 00001237: SWAP6 00001238: SWAP5 00001239: POP 0000123a: POP 0000123b: POP 0000123c: POP 0000123d: POP 0000123e: JUMP 0000123f: JUMPDEST 00001240: PUSH1 0x00 00001242: DUP2 00001243: SWAP1 00001244: POP 00001245: SWAP2 00001246: SWAP1 00001247: POP 00001248: JUMP 00001249: JUMPDEST 0000124a: PUSH1 0x00 0000124c: PUSH2 0x1264 0000124f: PUSH2 0x125f 00001252: PUSH2 0x125a 00001255: DUP5 00001256: PUSH2 0x123f 00001259: JUMP 0000125a: JUMPDEST 0000125b: PUSH2 0x1175 0000125e: JUMP 0000125f: JUMPDEST 00001260: PUSH2 0x0a8f 00001263: JUMP 00001264: JUMPDEST 00001265: SWAP1 00001266: POP 00001267: SWAP2 00001268: SWAP1 00001269: POP 0000126a: JUMP 0000126b: JUMPDEST 0000126c: PUSH2 0x1274 0000126f: DUP2 00001270: PUSH2 0x1249 00001273: JUMP 00001274: JUMPDEST 00001275: DUP3 00001276: MSTORE 00001277: POP 00001278: POP 00001279: JUMP 0000127a: JUMPDEST 0000127b: PUSH1 0x00 0000127d: PUSH1 0xa0 0000127f: DUP3 00001280: ADD 00001281: SWAP1 00001282: POP 00001283: PUSH2 0x128f 00001286: PUSH1 0x00 00001288: DUP4 00001289: ADD 0000128a: DUP8 0000128b: PUSH2 0x0b24 0000128e: JUMP 0000128f: JUMPDEST 00001290: PUSH2 0x129c 00001293: PUSH1 0x20 00001295: DUP4 00001296: ADD 00001297: DUP7 00001298: PUSH2 0x0b24 0000129b: JUMP 0000129c: JUMPDEST 0000129d: PUSH2 0x12a9 000012a0: PUSH1 0x40 000012a2: DUP4 000012a3: ADD 000012a4: DUP6 000012a5: PUSH2 0x126b 000012a8: JUMP 000012a9: JUMPDEST 000012aa: PUSH2 0x12b6 000012ad: PUSH1 0x60 000012af: DUP4 000012b0: ADD 000012b1: DUP5 000012b2: PUSH2 0x0b4e 000012b5: JUMP 000012b6: JUMPDEST 000012b7: DUP2 000012b8: DUP2 000012b9: SUB 000012ba: PUSH1 0x80 000012bc: DUP4 000012bd: ADD 000012be: MSTORE 000012bf: PUSH2 0x12c7 000012c2: DUP2 000012c3: PUSH2 0x11c4 000012c6: JUMP 000012c7: JUMPDEST 000012c8: SWAP1 000012c9: POP 000012ca: SWAP6 000012cb: SWAP5 000012cc: POP 000012cd: POP 000012ce: POP 000012cf: POP 000012d0: POP 000012d1: JUMP 000012d2: JUMPDEST 000012d3: PUSH1 0x00 000012d5: DUP2 000012d6: SWAP1 000012d7: POP 000012d8: SWAP3 000012d9: SWAP2 000012da: POP 000012db: POP 000012dc: JUMP 000012dd: JUMPDEST 000012de: PUSH1 0x00 000012e0: PUSH2 0x12ea 000012e3: PUSH1 0x00 000012e5: DUP4 000012e6: PUSH2 0x12d2 000012e9: JUMP 000012ea: JUMPDEST 000012eb: SWAP2 000012ec: POP 000012ed: PUSH2 0x12f5 000012f0: DUP3 000012f1: PUSH2 0x11c1 000012f4: JUMP 000012f5: JUMPDEST 000012f6: PUSH1 0x00 000012f8: DUP3 000012f9: ADD 000012fa: SWAP1 000012fb: POP 000012fc: SWAP2 000012fd: SWAP1 000012fe: POP 000012ff: JUMP 00001300: JUMPDEST 00001301: PUSH1 0x00 00001303: PUSH2 0x130b 00001306: DUP3 00001307: PUSH2 0x12dd 0000130a: JUMP 0000130b: JUMPDEST 0000130c: SWAP2 0000130d: POP 0000130e: DUP2 0000130f: SWAP1 00001310: POP 00001311: SWAP2 00001312: SWAP1 00001313: POP 00001314: JUMP 00001315: JUMPDEST 00001316: PUSH1 0x00 00001318: PUSH1 0x60 0000131a: DUP3 0000131b: ADD 0000131c: SWAP1 0000131d: POP 0000131e: PUSH2 0x132a 00001321: PUSH1 0x00 00001323: DUP4 00001324: ADD 00001325: DUP7 00001326: PUSH2 0x0b24 00001329: JUMP 0000132a: JUMPDEST 0000132b: PUSH2 0x1337 0000132e: PUSH1 0x20 00001330: DUP4 00001331: ADD 00001332: DUP6 00001333: PUSH2 0x0b4e 00001336: JUMP 00001337: JUMPDEST 00001338: PUSH2 0x1344 0000133b: PUSH1 0x40 0000133d: DUP4 0000133e: ADD 0000133f: DUP5 00001340: PUSH2 0x0b4e 00001343: JUMP 00001344: JUMPDEST 00001345: SWAP5 00001346: SWAP4 00001347: POP 00001348: POP 00001349: POP 0000134a: POP 0000134b: JUMP 0000134c: JUMPDEST 0000134d: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 0000136e: PUSH1 0x00 00001370: DUP3 00001371: ADD 00001372: MSTORE 00001373: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000 00001394: PUSH1 0x20 00001396: DUP3 00001397: ADD 00001398: MSTORE 00001399: POP 0000139a: JUMP 0000139b: JUMPDEST 0000139c: PUSH1 0x00 0000139e: PUSH2 0x13a8 000013a1: PUSH1 0x26 000013a3: DUP4 000013a4: PUSH2 0x0f6f 000013a7: JUMP 000013a8: JUMPDEST 000013a9: SWAP2 000013aa: POP 000013ab: PUSH2 0x13b3 000013ae: DUP3 000013af: PUSH2 0x134c 000013b2: JUMP 000013b3: JUMPDEST 000013b4: PUSH1 0x40 000013b6: DUP3 000013b7: ADD 000013b8: SWAP1 000013b9: POP 000013ba: SWAP2 000013bb: SWAP1 000013bc: POP 000013bd: JUMP 000013be: JUMPDEST 000013bf: PUSH1 0x00 000013c1: PUSH1 0x20 000013c3: DUP3 000013c4: ADD 000013c5: SWAP1 000013c6: POP 000013c7: DUP2 000013c8: DUP2 000013c9: SUB 000013ca: PUSH1 0x00 000013cc: DUP4 000013cd: ADD 000013ce: MSTORE 000013cf: PUSH2 0x13d7 000013d2: DUP2 000013d3: PUSH2 0x139b 000013d6: JUMP 000013d7: JUMPDEST 000013d8: SWAP1 000013d9: POP 000013da: SWAP2 000013db: SWAP1 000013dc: POP 000013dd: JUMP 000013de: JUMPDEST 000013df: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00001400: PUSH1 0x00 00001402: DUP3 00001403: ADD 00001404: MSTORE 00001405: POP 00001406: JUMP 00001407: JUMPDEST 00001408: PUSH1 0x00 0000140a: PUSH2 0x1414 0000140d: PUSH1 0x20 0000140f: DUP4 00001410: PUSH2 0x0f6f 00001413: JUMP 00001414: JUMPDEST 00001415: SWAP2 00001416: POP 00001417: PUSH2 0x141f 0000141a: DUP3 0000141b: PUSH2 0x13de 0000141e: JUMP 0000141f: JUMPDEST 00001420: PUSH1 0x20 00001422: DUP3 00001423: ADD 00001424: SWAP1 00001425: POP 00001426: SWAP2 00001427: SWAP1 00001428: POP 00001429: JUMP 0000142a: JUMPDEST 0000142b: PUSH1 0x00 0000142d: PUSH1 0x20 0000142f: DUP3 00001430: ADD 00001431: SWAP1 00001432: POP 00001433: DUP2 00001434: DUP2 00001435: SUB 00001436: PUSH1 0x00 00001438: DUP4 00001439: ADD 0000143a: MSTORE 0000143b: PUSH2 0x1443 0000143e: DUP2 0000143f: PUSH2 0x1407 00001442: JUMP 00001443: JUMPDEST 00001444: SWAP1 00001445: POP 00001446: SWAP2 00001447: SWAP1 00001448: POP 00001449: JUMP 0000144a: INVALID 0000144b: LOG2 0000144c: PUSH5 0x6970667358 00001452: UNKNOWN(0x22) 00001453: SLT 00001454: KECCAK256 00001455: UNKNOWN(0xAF) 00001456: UNKNOWN(0xCD) 00001457: PUSH28 0x3a42d22b83f017d45ee44f019b23c8b97a375354674937a3915df1e8 00001474: UNKNOWN(0xE7) 00001475: PUSH5 0x736f6c6343 0000147b: STOP 0000147c: ADDMOD 0000147d: MULMOD 0000147e: STOP 0000147f: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xac6de6c0e8b6827fbdb5c8ffc5da6afc7873a1ca011b69f96892a9737b17bec3
call_targets:
0x13c4b79bd63a94407b12e7ab355fa4cbac576a5b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xac6de6c0e8b6827fbdb5c8ffc5da6afc7873a1ca011b69f96892a9737b17bec3",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x13c4b79bd63a94407b12e7ab355fa4cbac576a5b"
],
"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": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x984fac0c",
"selector": "0x984fac0c",
"calldata_variants": [
"0x984fac0c",
"0x984fac0c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xae3bb460",
"selector": "0xae3bb460",
"calldata_variants": [
"0xae3bb460",
"0xae3bb4600000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbc197c81",
"selector": "0xbc197c81",
"calldata_variants": [
"0xbc197c81",
"0xbc197c810000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf23a6e61",
"selector": "0xf23a6e61",
"calldata_variants": [
"0xf23a6e61",
"0xf23a6e610000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x01ffc9a7",
"selector": "0x01ffc9a7",
"calldata_variants": [
"0x01ffc9a7",
"0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x379607f5",
"selector": "0x379607f5",
"calldata_variants": [
"0x379607f5",
"0x379607f50000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1178,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1285,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1399,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [],
"untrusted_call_count": 5
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xac6de6c0e8b6827fbdb5c8ffc5da6afc7873a1ca011b69f96892a9737b17bec3
call_targets:
0x13c4b79bd63a94407b12e7ab355fa4cbac576a5b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xac6de6c0e8b6827fbdb5c8ffc5da6afc7873a1ca011b69f96892a9737b17bec3",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x13c4b79bd63a94407b12e7ab355fa4cbac576a5b"
],
"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": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x984fac0c",
"selector": "0x984fac0c",
"calldata_variants": [
"0x984fac0c",
"0x984fac0c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xae3bb460",
"selector": "0xae3bb460",
"calldata_variants": [
"0xae3bb460",
"0xae3bb4600000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbc197c81",
"selector": "0xbc197c81",
"calldata_variants": [
"0xbc197c81",
"0xbc197c810000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf23a6e61",
"selector": "0xf23a6e61",
"calldata_variants": [
"0xf23a6e61",
"0xf23a6e610000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x01ffc9a7",
"selector": "0x01ffc9a7",
"calldata_variants": [
"0x01ffc9a7",
"0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x379607f5",
"selector": "0x379607f5",
"calldata_variants": [
"0x379607f5",
"0x379607f50000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1178,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1285,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1399,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": []
}
|