019b477e-ca38-72b0-a9de-df6495319836
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 |
|---|---|---|---|---|
| 26473 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 26474 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 69694 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 69695 | capability.graph | complete | 1 / 3 | 1 week ago |
| 69696 | detector.run | complete | 1 / 3 | 1 week ago |
| 69697 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x00bc 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x948f5076 00000019: GT 0000001a: PUSH2 0x0074 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xa90e8731 00000024: GT 00000025: PUSH2 0x004e 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xa90e8731 0000002f: EQ 00000030: PUSH2 0x03c4 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xbf353dbb 0000003a: EQ 0000003b: PUSH2 0x03d7 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xc9892a5f 00000045: EQ 00000046: PUSH2 0x0412 00000049: JUMPI 0000004a: PUSH2 0x00e1 0000004d: JUMP 0000004e: JUMPDEST 0000004f: DUP1 00000050: PUSH4 0x948f5076 00000055: EQ 00000056: PUSH2 0x0354 00000059: JUMPI 0000005a: DUP1 0000005b: PUSH4 0x97645e37 00000060: EQ 00000061: PUSH2 0x0384 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x9c52a7f1 0000006b: EQ 0000006c: PUSH2 0x03a4 0000006f: JUMPI 00000070: PUSH2 0x00e1 00000073: JUMP 00000074: JUMPDEST 00000075: DUP1 00000076: PUSH4 0x60c7d295 0000007b: GT 0000007c: PUSH2 0x00a5 0000007f: JUMPI 00000080: DUP1 00000081: PUSH4 0x60c7d295 00000086: EQ 00000087: PUSH2 0x02bd 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0x65fae35e 00000091: EQ 00000092: PUSH2 0x0314 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x78e111f6 0000009c: EQ 0000009d: PUSH2 0x0334 000000a0: JUMPI 000000a1: PUSH2 0x00e1 000000a4: JUMP 000000a5: JUMPDEST 000000a6: DUP1 000000a7: PUSH4 0x1cff79cd 000000ac: EQ 000000ad: PUSH2 0x0295 000000b0: JUMPI 000000b1: DUP1 000000b2: PUSH4 0x1f6a1eb9 000000b7: EQ 000000b8: PUSH2 0x02aa 000000bb: JUMPI 000000bc: JUMPDEST 000000bd: PUSH2 0x00e1 000000c0: JUMP 000000c1: JUMPDEST 000000c2: PUSH4 0x08c379a0 000000c7: PUSH1 0xe0 000000c9: SHL 000000ca: PUSH1 0x00 000000cc: MSTORE 000000cd: PUSH1 0x20 000000cf: PUSH1 0x04 000000d1: MSTORE 000000d2: PUSH1 0x02 000000d4: PUSH1 0x24 000000d6: MSTORE 000000d7: DUP1 000000d8: PUSH1 0x44 000000da: MSTORE 000000db: POP 000000dc: PUSH1 0x64 000000de: PUSH1 0x00 000000e0: REVERT 000000e1: JUMPDEST 000000e2: PUSH1 0x00 000000e4: CALLDATALOAD 000000e5: PUSH1 0xe0 000000e7: SHR 000000e8: PUSH4 0xfa461e33 000000ed: DUP2 000000ee: EQ 000000ef: ISZERO 000000f0: PUSH2 0x0292 000000f3: JUMPI 000000f4: PUSH1 0xff 000000f6: PUSH1 0x00 000000f8: MSTORE8 000000f9: PUSH32 0x1f98431c8ad98523631ae4a59f267346ea31f984000000000000000000000000 0000011a: PUSH1 0x01 0000011c: MSTORE 0000011d: PUSH1 0x84 0000011f: CALLDATALOAD 00000120: PUSH1 0x15 00000122: MSTORE 00000123: PUSH32 0xe34f199b19b2b4f47f68442619d555527d244f78a3297ea89325f843f87b8b54 00000144: PUSH1 0x35 00000146: MSTORE 00000147: PUSH1 0x55 00000149: PUSH1 0x00 0000014b: KECCAK256 0000014c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000161: AND 00000162: CALLER 00000163: DUP2 00000164: EQ 00000165: PUSH2 0x0191 00000168: JUMPI 00000169: PUSH2 0x0191 0000016c: PUSH32 0x3032000000000000000000000000000000000000000000000000000000000000 0000018d: PUSH2 0x00c1 00000190: JUMP 00000191: JUMPDEST 00000192: PUSH1 0x04 00000194: CALLDATALOAD 00000195: PUSH1 0x00 00000197: DUP2 00000198: SGT 00000199: PUSH2 0x01d1 0000019c: JUMPI 0000019d: POP 0000019e: PUSH1 0x24 000001a0: CALLDATALOAD 000001a1: PUSH1 0x00 000001a3: DUP2 000001a4: SGT 000001a5: PUSH2 0x01d1 000001a8: JUMPI 000001a9: PUSH2 0x01d1 000001ac: PUSH32 0x3031000000000000000000000000000000000000000000000000000000000000 000001cd: PUSH2 0x00c1 000001d0: JUMP 000001d1: JUMPDEST 000001d2: PUSH1 0xa4 000001d4: CALLDATALOAD 000001d5: ADDRESS 000001d6: DUP2 000001d7: EQ 000001d8: PUSH1 0x01 000001da: DUP2 000001db: EQ 000001dc: PUSH2 0x01ea 000001df: JUMPI 000001e0: DUP1 000001e1: ISZERO 000001e2: PUSH2 0x023c 000001e5: JUMPI 000001e6: PUSH2 0x028d 000001e9: JUMP 000001ea: JUMPDEST 000001eb: PUSH4 0xa9059cbb 000001f0: PUSH1 0xe0 000001f2: SHL 000001f3: PUSH1 0x00 000001f5: MSTORE 000001f6: DUP4 000001f7: PUSH1 0x04 000001f9: MSTORE 000001fa: DUP3 000001fb: PUSH1 0x24 000001fd: MSTORE 000001fe: PUSH1 0x00 00000200: DUP1 00000201: PUSH1 0x44 00000203: PUSH1 0x00 00000205: DUP1 00000206: PUSH1 0xc4 00000208: CALLDATALOAD 00000209: GAS 0000020a: CALL 0000020b: PUSH2 0x0237 0000020e: JUMPI 0000020f: PUSH2 0x0237 00000212: PUSH32 0x3034000000000000000000000000000000000000000000000000000000000000 00000233: PUSH2 0x00c1 00000236: JUMP 00000237: JUMPDEST 00000238: PUSH2 0x028d 0000023b: JUMP 0000023c: JUMPDEST 0000023d: PUSH4 0x23b872dd 00000242: PUSH1 0xe0 00000244: SHL 00000245: PUSH1 0x00 00000247: MSTORE 00000248: DUP2 00000249: PUSH1 0x04 0000024b: MSTORE 0000024c: DUP4 0000024d: PUSH1 0x24 0000024f: MSTORE 00000250: DUP3 00000251: PUSH1 0x44 00000253: MSTORE 00000254: PUSH1 0x00 00000256: DUP1 00000257: PUSH1 0x64 00000259: PUSH1 0x00 0000025b: DUP1 0000025c: PUSH1 0xc4 0000025e: CALLDATALOAD 0000025f: GAS 00000260: CALL 00000261: PUSH2 0x028d 00000264: JUMPI 00000265: PUSH2 0x028d 00000268: PUSH32 0x3033000000000000000000000000000000000000000000000000000000000000 00000289: PUSH2 0x00c1 0000028c: JUMP 0000028d: JUMPDEST 0000028e: POP 0000028f: POP 00000290: POP 00000291: POP 00000292: JUMPDEST 00000293: POP 00000294: STOP 00000295: JUMPDEST 00000296: PUSH2 0x02a8 00000299: PUSH2 0x02a3 0000029c: CALLDATASIZE 0000029d: PUSH1 0x04 0000029f: PUSH2 0x1b4a 000002a2: JUMP 000002a3: JUMPDEST 000002a4: PUSH2 0x0432 000002a7: JUMP 000002a8: JUMPDEST 000002a9: STOP 000002aa: JUMPDEST 000002ab: PUSH2 0x02a8 000002ae: PUSH2 0x02b8 000002b1: CALLDATASIZE 000002b2: PUSH1 0x04 000002b4: PUSH2 0x1b9a 000002b7: JUMP 000002b8: JUMPDEST 000002b9: PUSH2 0x0469 000002bc: JUMP 000002bd: JUMPDEST 000002be: CALLVALUE 000002bf: DUP1 000002c0: ISZERO 000002c1: PUSH2 0x02c9 000002c4: JUMPI 000002c5: PUSH1 0x00 000002c7: DUP1 000002c8: REVERT 000002c9: JUMPDEST 000002ca: POP 000002cb: PUSH1 0x01 000002cd: SLOAD 000002ce: PUSH2 0x02ea 000002d1: SWAP1 000002d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002e7: AND 000002e8: DUP2 000002e9: JUMP 000002ea: JUMPDEST 000002eb: PUSH1 0x40 000002ed: MLOAD 000002ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000303: SWAP1 00000304: SWAP2 00000305: AND 00000306: DUP2 00000307: MSTORE 00000308: PUSH1 0x20 0000030a: ADD 0000030b: JUMPDEST 0000030c: PUSH1 0x40 0000030e: MLOAD 0000030f: DUP1 00000310: SWAP2 00000311: SUB 00000312: SWAP1 00000313: RETURN 00000314: JUMPDEST 00000315: CALLVALUE 00000316: DUP1 00000317: ISZERO 00000318: PUSH2 0x0320 0000031b: JUMPI 0000031c: PUSH1 0x00 0000031e: DUP1 0000031f: REVERT 00000320: JUMPDEST 00000321: POP 00000322: PUSH2 0x02a8 00000325: PUSH2 0x032f 00000328: CALLDATASIZE 00000329: PUSH1 0x04 0000032b: PUSH2 0x1bf4 0000032e: JUMP 0000032f: JUMPDEST 00000330: PUSH2 0x05e7 00000333: JUMP 00000334: JUMPDEST 00000335: PUSH2 0x0347 00000338: PUSH2 0x0342 0000033b: CALLDATASIZE 0000033c: PUSH1 0x04 0000033e: PUSH2 0x1b4a 00000341: JUMP 00000342: JUMPDEST 00000343: PUSH2 0x0622 00000346: JUMP 00000347: JUMPDEST 00000348: PUSH1 0x40 0000034a: MLOAD 0000034b: PUSH2 0x030b 0000034e: SWAP2 0000034f: SWAP1 00000350: PUSH2 0x1c18 00000353: JUMP 00000354: JUMPDEST 00000355: CALLVALUE 00000356: DUP1 00000357: ISZERO 00000358: PUSH2 0x0360 0000035b: JUMPI 0000035c: PUSH1 0x00 0000035e: DUP1 0000035f: REVERT 00000360: JUMPDEST 00000361: POP 00000362: PUSH2 0x0374 00000365: PUSH2 0x036f 00000368: CALLDATASIZE 00000369: PUSH1 0x04 0000036b: PUSH2 0x1bf4 0000036e: JUMP 0000036f: JUMPDEST 00000370: PUSH2 0x0681 00000373: JUMP 00000374: JUMPDEST 00000375: PUSH1 0x40 00000377: MLOAD 00000378: SWAP1 00000379: ISZERO 0000037a: ISZERO 0000037b: DUP2 0000037c: MSTORE 0000037d: PUSH1 0x20 0000037f: ADD 00000380: PUSH2 0x030b 00000383: JUMP 00000384: JUMPDEST 00000385: CALLVALUE 00000386: DUP1 00000387: ISZERO 00000388: PUSH2 0x0390 0000038b: JUMPI 0000038c: PUSH1 0x00 0000038e: DUP1 0000038f: REVERT 00000390: JUMPDEST 00000391: POP 00000392: PUSH2 0x02a8 00000395: PUSH2 0x039f 00000398: CALLDATASIZE 00000399: PUSH1 0x04 0000039b: PUSH2 0x1c8b 0000039e: JUMP 0000039f: JUMPDEST 000003a0: PUSH2 0x075d 000003a3: JUMP 000003a4: JUMPDEST 000003a5: CALLVALUE 000003a6: DUP1 000003a7: ISZERO 000003a8: PUSH2 0x03b0 000003ab: JUMPI 000003ac: PUSH1 0x00 000003ae: DUP1 000003af: REVERT 000003b0: JUMPDEST 000003b1: POP 000003b2: PUSH2 0x02a8 000003b5: PUSH2 0x03bf 000003b8: CALLDATASIZE 000003b9: PUSH1 0x04 000003bb: PUSH2 0x1bf4 000003be: JUMP 000003bf: JUMPDEST 000003c0: PUSH2 0x07ee 000003c3: JUMP 000003c4: JUMPDEST 000003c5: PUSH2 0x0347 000003c8: PUSH2 0x03d2 000003cb: CALLDATASIZE 000003cc: PUSH1 0x04 000003ce: PUSH2 0x1b9a 000003d1: JUMP 000003d2: JUMPDEST 000003d3: PUSH2 0x0826 000003d6: JUMP 000003d7: JUMPDEST 000003d8: CALLVALUE 000003d9: DUP1 000003da: ISZERO 000003db: PUSH2 0x03e3 000003de: JUMPI 000003df: PUSH1 0x00 000003e1: DUP1 000003e2: REVERT 000003e3: JUMPDEST 000003e4: POP 000003e5: PUSH2 0x0404 000003e8: PUSH2 0x03f2 000003eb: CALLDATASIZE 000003ec: PUSH1 0x04 000003ee: PUSH2 0x1bf4 000003f1: JUMP 000003f2: JUMPDEST 000003f3: PUSH1 0x00 000003f5: PUSH1 0x20 000003f7: DUP2 000003f8: SWAP1 000003f9: MSTORE 000003fa: SWAP1 000003fb: DUP2 000003fc: MSTORE 000003fd: PUSH1 0x40 000003ff: SWAP1 00000400: KECCAK256 00000401: SLOAD 00000402: DUP2 00000403: JUMP 00000404: JUMPDEST 00000405: PUSH1 0x40 00000407: MLOAD 00000408: SWAP1 00000409: DUP2 0000040a: MSTORE 0000040b: PUSH1 0x20 0000040d: ADD 0000040e: PUSH2 0x030b 00000411: JUMP 00000412: JUMPDEST 00000413: CALLVALUE 00000414: DUP1 00000415: ISZERO 00000416: PUSH2 0x041e 00000419: JUMPI 0000041a: PUSH1 0x00 0000041c: DUP1 0000041d: REVERT 0000041e: JUMPDEST 0000041f: POP 00000420: PUSH2 0x02a8 00000423: PUSH2 0x042d 00000426: CALLDATASIZE 00000427: PUSH1 0x04 00000429: PUSH2 0x1c8b 0000042c: JUMP 0000042d: JUMPDEST 0000042e: PUSH2 0x09ac 00000431: JUMP 00000432: JUMPDEST 00000433: PUSH2 0x043a 00000436: PUSH2 0x0a39 00000439: JUMP 0000043a: JUMPDEST 0000043b: PUSH2 0x0443 0000043e: JUMPI 0000043f: PUSH1 0x00 00000441: DUP1 00000442: REVERT 00000443: JUMPDEST 00000444: PUSH1 0x00 00000446: DUP1 00000447: DUP3 00000448: MLOAD 00000449: PUSH1 0x20 0000044b: DUP5 0000044c: ADD 0000044d: DUP6 0000044e: GAS 0000044f: DELEGATECALL 00000450: DUP1 00000451: ISZERO 00000452: PUSH1 0x01 00000454: DUP2 00000455: EQ 00000456: PUSH2 0x045e 00000459: JUMPI 0000045a: PUSH2 0x0463 0000045d: JUMP 0000045e: JUMPDEST 0000045f: PUSH1 0x00 00000461: DUP1 00000462: REVERT 00000463: JUMPDEST 00000464: POP 00000465: POP 00000466: POP 00000467: POP 00000468: JUMP 00000469: JUMPDEST 0000046a: PUSH1 0x01 0000046c: SLOAD 0000046d: PUSH1 0x40 0000046f: MLOAD 00000470: PUSH32 0x8bf4515c00000000000000000000000000000000000000000000000000000000 00000491: DUP2 00000492: MSTORE 00000493: PUSH1 0x00 00000495: SWAP2 00000496: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004ab: AND 000004ac: SWAP1 000004ad: PUSH4 0x8bf4515c 000004b2: SWAP1 000004b3: PUSH2 0x04c0 000004b6: SWAP1 000004b7: DUP7 000004b8: SWAP1 000004b9: PUSH1 0x04 000004bb: ADD 000004bc: PUSH2 0x1c18 000004bf: JUMP 000004c0: JUMPDEST 000004c1: PUSH1 0x20 000004c3: PUSH1 0x40 000004c5: MLOAD 000004c6: DUP1 000004c7: DUP4 000004c8: SUB 000004c9: DUP2 000004ca: DUP7 000004cb: DUP1 000004cc: EXTCODESIZE 000004cd: ISZERO 000004ce: DUP1 000004cf: ISZERO 000004d0: PUSH2 0x04d8 000004d3: JUMPI 000004d4: PUSH1 0x00 000004d6: DUP1 000004d7: REVERT 000004d8: JUMPDEST 000004d9: POP 000004da: GAS 000004db: STATICCALL 000004dc: ISZERO 000004dd: DUP1 000004de: ISZERO 000004df: PUSH2 0x04ec 000004e2: JUMPI 000004e3: RETURNDATASIZE 000004e4: PUSH1 0x00 000004e6: DUP1 000004e7: RETURNDATACOPY 000004e8: RETURNDATASIZE 000004e9: PUSH1 0x00 000004eb: REVERT 000004ec: JUMPDEST 000004ed: POP 000004ee: POP 000004ef: POP 000004f0: POP 000004f1: PUSH1 0x40 000004f3: MLOAD 000004f4: RETURNDATASIZE 000004f5: PUSH1 0x1f 000004f7: NOT 000004f8: PUSH1 0x1f 000004fa: DUP3 000004fb: ADD 000004fc: AND 000004fd: DUP3 000004fe: ADD 000004ff: DUP1 00000500: PUSH1 0x40 00000502: MSTORE 00000503: POP 00000504: DUP2 00000505: ADD 00000506: SWAP1 00000507: PUSH2 0x0510 0000050a: SWAP2 0000050b: SWAP1 0000050c: PUSH2 0x1d3d 0000050f: JUMP 00000510: JUMPDEST 00000511: SWAP1 00000512: POP 00000513: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000528: DUP2 00000529: AND 0000052a: PUSH2 0x05d8 0000052d: JUMPI 0000052e: PUSH1 0x01 00000530: SLOAD 00000531: PUSH1 0x40 00000533: MLOAD 00000534: PUSH32 0x7ed0c3b200000000000000000000000000000000000000000000000000000000 00000555: DUP2 00000556: MSTORE 00000557: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000056c: SWAP1 0000056d: SWAP2 0000056e: AND 0000056f: SWAP1 00000570: PUSH4 0x7ed0c3b2 00000575: SWAP1 00000576: PUSH2 0x0583 00000579: SWAP1 0000057a: DUP7 0000057b: SWAP1 0000057c: PUSH1 0x04 0000057e: ADD 0000057f: PUSH2 0x1c18 00000582: JUMP 00000583: JUMPDEST 00000584: PUSH1 0x20 00000586: PUSH1 0x40 00000588: MLOAD 00000589: DUP1 0000058a: DUP4 0000058b: SUB 0000058c: DUP2 0000058d: PUSH1 0x00 0000058f: DUP8 00000590: DUP1 00000591: EXTCODESIZE 00000592: ISZERO 00000593: DUP1 00000594: ISZERO 00000595: PUSH2 0x059d 00000598: JUMPI 00000599: PUSH1 0x00 0000059b: DUP1 0000059c: REVERT 0000059d: JUMPDEST 0000059e: POP 0000059f: GAS 000005a0: CALL 000005a1: ISZERO 000005a2: DUP1 000005a3: ISZERO 000005a4: PUSH2 0x05b1 000005a7: JUMPI 000005a8: RETURNDATASIZE 000005a9: PUSH1 0x00 000005ab: DUP1 000005ac: RETURNDATACOPY 000005ad: RETURNDATASIZE 000005ae: PUSH1 0x00 000005b0: REVERT 000005b1: JUMPDEST 000005b2: POP 000005b3: POP 000005b4: POP 000005b5: POP 000005b6: PUSH1 0x40 000005b8: MLOAD 000005b9: RETURNDATASIZE 000005ba: PUSH1 0x1f 000005bc: NOT 000005bd: PUSH1 0x1f 000005bf: DUP3 000005c0: ADD 000005c1: AND 000005c2: DUP3 000005c3: ADD 000005c4: DUP1 000005c5: PUSH1 0x40 000005c7: MSTORE 000005c8: POP 000005c9: DUP2 000005ca: ADD 000005cb: SWAP1 000005cc: PUSH2 0x05d5 000005cf: SWAP2 000005d0: SWAP1 000005d1: PUSH2 0x1d3d 000005d4: JUMP 000005d5: JUMPDEST 000005d6: SWAP1 000005d7: POP 000005d8: JUMPDEST 000005d9: PUSH2 0x05e2 000005dc: DUP2 000005dd: DUP4 000005de: PUSH2 0x0432 000005e1: JUMP 000005e2: JUMPDEST 000005e3: POP 000005e4: POP 000005e5: POP 000005e6: JUMP 000005e7: JUMPDEST 000005e8: PUSH2 0x05ef 000005eb: PUSH2 0x0a39 000005ee: JUMP 000005ef: JUMPDEST 000005f0: PUSH2 0x05f8 000005f3: JUMPI 000005f4: PUSH1 0x00 000005f6: DUP1 000005f7: REVERT 000005f8: JUMPDEST 000005f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000060e: AND 0000060f: PUSH1 0x00 00000611: SWAP1 00000612: DUP2 00000613: MSTORE 00000614: PUSH1 0x20 00000616: DUP2 00000617: SWAP1 00000618: MSTORE 00000619: PUSH1 0x40 0000061b: SWAP1 0000061c: KECCAK256 0000061d: PUSH1 0x01 0000061f: SWAP1 00000620: SSTORE 00000621: JUMP 00000622: JUMPDEST 00000623: PUSH1 0x60 00000625: PUSH2 0x062c 00000628: PUSH2 0x0a39 0000062b: JUMP 0000062c: JUMPDEST 0000062d: PUSH2 0x0635 00000630: JUMPI 00000631: PUSH1 0x00 00000633: DUP1 00000634: REVERT 00000635: JUMPDEST 00000636: PUSH1 0x00 00000638: DUP1 00000639: DUP4 0000063a: MLOAD 0000063b: PUSH1 0x20 0000063d: DUP6 0000063e: ADD 0000063f: DUP7 00000640: GAS 00000641: DELEGATECALL 00000642: RETURNDATASIZE 00000643: PUSH1 0x40 00000645: MLOAD 00000646: SWAP3 00000647: POP 00000648: PUSH1 0x1f 0000064a: NOT 0000064b: PUSH1 0x1f 0000064d: PUSH1 0x20 0000064f: DUP4 00000650: ADD 00000651: ADD 00000652: AND 00000653: DUP4 00000654: ADD 00000655: PUSH1 0x40 00000657: MSTORE 00000658: DUP1 00000659: DUP4 0000065a: MSTORE 0000065b: DUP1 0000065c: PUSH1 0x00 0000065e: PUSH1 0x20 00000660: DUP6 00000661: ADD 00000662: RETURNDATACOPY 00000663: DUP2 00000664: ISZERO 00000665: PUSH1 0x01 00000667: DUP2 00000668: EQ 00000669: PUSH2 0x0671 0000066c: JUMPI 0000066d: PUSH2 0x0678 00000670: JUMP 00000671: JUMPDEST 00000672: DUP2 00000673: PUSH1 0x20 00000675: DUP6 00000676: ADD 00000677: REVERT 00000678: JUMPDEST 00000679: POP 0000067a: POP 0000067b: POP 0000067c: SWAP3 0000067d: SWAP2 0000067e: POP 0000067f: POP 00000680: JUMP 00000681: JUMPDEST 00000682: PUSH1 0x00 00000684: PUSH2 0x068b 00000687: PUSH2 0x0a39 0000068a: JUMP 0000068b: JUMPDEST 0000068c: PUSH2 0x0694 0000068f: JUMPI 00000690: PUSH1 0x00 00000692: DUP1 00000693: REVERT 00000694: JUMPDEST 00000695: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006aa: DUP3 000006ab: AND 000006ac: PUSH2 0x0715 000006af: JUMPI 000006b0: PUSH1 0x40 000006b2: MLOAD 000006b3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000006d4: DUP2 000006d5: MSTORE 000006d6: PUSH1 0x20 000006d8: PUSH1 0x04 000006da: DUP3 000006db: ADD 000006dc: MSTORE 000006dd: PUSH1 0x1f 000006df: PUSH1 0x24 000006e1: DUP3 000006e2: ADD 000006e3: MSTORE 000006e4: PUSH32 0x64732d70726f78792d63616368652d616464726573732d726571756972656400 00000705: PUSH1 0x44 00000707: DUP3 00000708: ADD 00000709: MSTORE 0000070a: PUSH1 0x64 0000070c: ADD 0000070d: PUSH1 0x40 0000070f: MLOAD 00000710: DUP1 00000711: SWAP2 00000712: SUB 00000713: SWAP1 00000714: REVERT 00000715: JUMPDEST 00000716: POP 00000717: PUSH1 0x01 00000719: DUP1 0000071a: SLOAD 0000071b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000730: DUP4 00000731: AND 00000732: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00000753: SWAP1 00000754: SWAP2 00000755: AND 00000756: OR 00000757: DUP2 00000758: SSTORE 00000759: SWAP2 0000075a: SWAP1 0000075b: POP 0000075c: JUMP 0000075d: JUMPDEST 0000075e: PUSH2 0x0765 00000761: PUSH2 0x0a39 00000764: JUMP 00000765: JUMPDEST 00000766: PUSH2 0x076e 00000769: JUMPI 0000076a: PUSH1 0x00 0000076c: DUP1 0000076d: REVERT 0000076e: JUMPDEST 0000076f: PUSH1 0x00 00000771: JUMPDEST 00000772: DUP2 00000773: MLOAD 00000774: DUP2 00000775: LT 00000776: ISZERO 00000777: PUSH2 0x07ea 0000077a: JUMPI 0000077b: PUSH1 0x01 0000077d: PUSH1 0x00 0000077f: DUP1 00000780: DUP5 00000781: DUP5 00000782: DUP2 00000783: MLOAD 00000784: DUP2 00000785: LT 00000786: PUSH2 0x0791 00000789: JUMPI 0000078a: PUSH2 0x0791 0000078d: PUSH2 0x1d5a 00000790: JUMP 00000791: JUMPDEST 00000792: PUSH1 0x20 00000794: MUL 00000795: PUSH1 0x20 00000797: ADD 00000798: ADD 00000799: MLOAD 0000079a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007af: AND 000007b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007c5: AND 000007c6: DUP2 000007c7: MSTORE 000007c8: PUSH1 0x20 000007ca: ADD 000007cb: SWAP1 000007cc: DUP2 000007cd: MSTORE 000007ce: PUSH1 0x20 000007d0: ADD 000007d1: PUSH1 0x00 000007d3: KECCAK256 000007d4: DUP2 000007d5: SWAP1 000007d6: SSTORE 000007d7: POP 000007d8: DUP1 000007d9: DUP1 000007da: PUSH2 0x07e2 000007dd: SWAP1 000007de: PUSH2 0x1d89 000007e1: JUMP 000007e2: JUMPDEST 000007e3: SWAP2 000007e4: POP 000007e5: POP 000007e6: PUSH2 0x0771 000007e9: JUMP 000007ea: JUMPDEST 000007eb: POP 000007ec: POP 000007ed: JUMP 000007ee: JUMPDEST 000007ef: PUSH2 0x07f6 000007f2: PUSH2 0x0a39 000007f5: JUMP 000007f6: JUMPDEST 000007f7: PUSH2 0x07ff 000007fa: JUMPI 000007fb: PUSH1 0x00 000007fd: DUP1 000007fe: REVERT 000007ff: JUMPDEST 00000800: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000815: AND 00000816: PUSH1 0x00 00000818: SWAP1 00000819: DUP2 0000081a: MSTORE 0000081b: PUSH1 0x20 0000081d: DUP2 0000081e: SWAP1 0000081f: MSTORE 00000820: PUSH1 0x40 00000822: DUP2 00000823: KECCAK256 00000824: SSTORE 00000825: JUMP 00000826: JUMPDEST 00000827: PUSH1 0x01 00000829: SLOAD 0000082a: PUSH1 0x40 0000082c: MLOAD 0000082d: PUSH32 0x8bf4515c00000000000000000000000000000000000000000000000000000000 0000084e: DUP2 0000084f: MSTORE 00000850: PUSH1 0x60 00000852: SWAP2 00000853: PUSH1 0x00 00000855: SWAP2 00000856: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000086b: SWAP1 0000086c: SWAP2 0000086d: AND 0000086e: SWAP1 0000086f: PUSH4 0x8bf4515c 00000874: SWAP1 00000875: PUSH2 0x0882 00000878: SWAP1 00000879: DUP8 0000087a: SWAP1 0000087b: PUSH1 0x04 0000087d: ADD 0000087e: PUSH2 0x1c18 00000881: JUMP 00000882: JUMPDEST 00000883: PUSH1 0x20 00000885: PUSH1 0x40 00000887: MLOAD 00000888: DUP1 00000889: DUP4 0000088a: SUB 0000088b: DUP2 0000088c: DUP7 0000088d: DUP1 0000088e: EXTCODESIZE 0000088f: ISZERO 00000890: DUP1 00000891: ISZERO 00000892: PUSH2 0x089a 00000895: JUMPI 00000896: PUSH1 0x00 00000898: DUP1 00000899: REVERT 0000089a: JUMPDEST 0000089b: POP 0000089c: GAS 0000089d: STATICCALL 0000089e: ISZERO 0000089f: DUP1 000008a0: ISZERO 000008a1: PUSH2 0x08ae 000008a4: JUMPI 000008a5: RETURNDATASIZE 000008a6: PUSH1 0x00 000008a8: DUP1 000008a9: RETURNDATACOPY 000008aa: RETURNDATASIZE 000008ab: PUSH1 0x00 000008ad: REVERT 000008ae: JUMPDEST 000008af: POP 000008b0: POP 000008b1: POP 000008b2: POP 000008b3: PUSH1 0x40 000008b5: MLOAD 000008b6: RETURNDATASIZE 000008b7: PUSH1 0x1f 000008b9: NOT 000008ba: PUSH1 0x1f 000008bc: DUP3 000008bd: ADD 000008be: AND 000008bf: DUP3 000008c0: ADD 000008c1: DUP1 000008c2: PUSH1 0x40 000008c4: MSTORE 000008c5: POP 000008c6: DUP2 000008c7: ADD 000008c8: SWAP1 000008c9: PUSH2 0x08d2 000008cc: SWAP2 000008cd: SWAP1 000008ce: PUSH2 0x1d3d 000008d1: JUMP 000008d2: JUMPDEST 000008d3: SWAP1 000008d4: POP 000008d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008ea: DUP2 000008eb: AND 000008ec: PUSH2 0x099a 000008ef: JUMPI 000008f0: PUSH1 0x01 000008f2: SLOAD 000008f3: PUSH1 0x40 000008f5: MLOAD 000008f6: PUSH32 0x7ed0c3b200000000000000000000000000000000000000000000000000000000 00000917: DUP2 00000918: MSTORE 00000919: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000092e: SWAP1 0000092f: SWAP2 00000930: AND 00000931: SWAP1 00000932: PUSH4 0x7ed0c3b2 00000937: SWAP1 00000938: PUSH2 0x0945 0000093b: SWAP1 0000093c: DUP8 0000093d: SWAP1 0000093e: PUSH1 0x04 00000940: ADD 00000941: PUSH2 0x1c18 00000944: JUMP 00000945: JUMPDEST 00000946: PUSH1 0x20 00000948: PUSH1 0x40 0000094a: MLOAD 0000094b: DUP1 0000094c: DUP4 0000094d: SUB 0000094e: DUP2 0000094f: PUSH1 0x00 00000951: DUP8 00000952: DUP1 00000953: EXTCODESIZE 00000954: ISZERO 00000955: DUP1 00000956: ISZERO 00000957: PUSH2 0x095f 0000095a: JUMPI 0000095b: PUSH1 0x00 0000095d: DUP1 0000095e: REVERT 0000095f: JUMPDEST 00000960: POP 00000961: GAS 00000962: CALL 00000963: ISZERO 00000964: DUP1 00000965: ISZERO 00000966: PUSH2 0x0973 00000969: JUMPI 0000096a: RETURNDATASIZE 0000096b: PUSH1 0x00 0000096d: DUP1 0000096e: RETURNDATACOPY 0000096f: RETURNDATASIZE 00000970: PUSH1 0x00 00000972: REVERT 00000973: JUMPDEST 00000974: POP 00000975: POP 00000976: POP 00000977: POP 00000978: PUSH1 0x40 0000097a: MLOAD 0000097b: RETURNDATASIZE 0000097c: PUSH1 0x1f 0000097e: NOT 0000097f: PUSH1 0x1f 00000981: DUP3 00000982: ADD 00000983: AND 00000984: DUP3 00000985: ADD 00000986: DUP1 00000987: PUSH1 0x40 00000989: MSTORE 0000098a: POP 0000098b: DUP2 0000098c: ADD 0000098d: SWAP1 0000098e: PUSH2 0x0997 00000991: SWAP2 00000992: SWAP1 00000993: PUSH2 0x1d3d 00000996: JUMP 00000997: JUMPDEST 00000998: SWAP1 00000999: POP 0000099a: JUMPDEST 0000099b: PUSH2 0x09a4 0000099e: DUP2 0000099f: DUP5 000009a0: PUSH2 0x0622 000009a3: JUMP 000009a4: JUMPDEST 000009a5: SWAP5 000009a6: SWAP4 000009a7: POP 000009a8: POP 000009a9: POP 000009aa: POP 000009ab: JUMP 000009ac: JUMPDEST 000009ad: PUSH2 0x09b4 000009b0: PUSH2 0x0a39 000009b3: JUMP 000009b4: JUMPDEST 000009b5: PUSH2 0x09bd 000009b8: JUMPI 000009b9: PUSH1 0x00 000009bb: DUP1 000009bc: REVERT 000009bd: JUMPDEST 000009be: PUSH1 0x00 000009c0: JUMPDEST 000009c1: DUP2 000009c2: MLOAD 000009c3: DUP2 000009c4: LT 000009c5: ISZERO 000009c6: PUSH2 0x07ea 000009c9: JUMPI 000009ca: PUSH1 0x00 000009cc: DUP1 000009cd: PUSH1 0x00 000009cf: DUP5 000009d0: DUP5 000009d1: DUP2 000009d2: MLOAD 000009d3: DUP2 000009d4: LT 000009d5: PUSH2 0x09e0 000009d8: JUMPI 000009d9: PUSH2 0x09e0 000009dc: PUSH2 0x1d5a 000009df: JUMP 000009e0: JUMPDEST 000009e1: PUSH1 0x20 000009e3: MUL 000009e4: PUSH1 0x20 000009e6: ADD 000009e7: ADD 000009e8: MLOAD 000009e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009fe: AND 000009ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a14: AND 00000a15: DUP2 00000a16: MSTORE 00000a17: PUSH1 0x20 00000a19: ADD 00000a1a: SWAP1 00000a1b: DUP2 00000a1c: MSTORE 00000a1d: PUSH1 0x20 00000a1f: ADD 00000a20: PUSH1 0x00 00000a22: KECCAK256 00000a23: DUP2 00000a24: SWAP1 00000a25: SSTORE 00000a26: POP 00000a27: DUP1 00000a28: DUP1 00000a29: PUSH2 0x0a31 00000a2c: SWAP1 00000a2d: PUSH2 0x1d89 00000a30: JUMP 00000a31: JUMPDEST 00000a32: SWAP2 00000a33: POP 00000a34: POP 00000a35: PUSH2 0x09c0 00000a38: JUMP 00000a39: JUMPDEST 00000a3a: PUSH1 0x00 00000a3c: PUSH20 0x8edfcca52d5c9116ff67e58b85c7eb0d98e2e989 00000a51: CALLER 00000a52: LT 00000a53: PUSH1 0x01 00000a55: DUP2 00000a56: EQ 00000a57: PUSH2 0x0a65 00000a5a: JUMPI 00000a5b: DUP1 00000a5c: ISZERO 00000a5d: PUSH2 0x1232 00000a60: JUMPI 00000a61: PUSH2 0x19fb 00000a64: JUMP 00000a65: JUMPDEST 00000a66: PUSH20 0x36d63e35446baf55893a710cfe6dbdd300ece496 00000a7b: CALLER 00000a7c: LT 00000a7d: PUSH1 0x01 00000a7f: DUP2 00000a80: EQ 00000a81: PUSH2 0x0a8f 00000a84: JUMPI 00000a85: DUP1 00000a86: ISZERO 00000a87: PUSH2 0x0e37 00000a8a: JUMPI 00000a8b: PUSH2 0x122c 00000a8e: JUMP 00000a8f: JUMPDEST 00000a90: PUSH20 0x24affae9c683b7615d4130300288e348e4b5d091 00000aa5: CALLER 00000aa6: LT 00000aa7: PUSH1 0x01 00000aa9: DUP2 00000aaa: EQ 00000aab: PUSH2 0x0ab9 00000aae: JUMPI 00000aaf: DUP1 00000ab0: ISZERO 00000ab1: PUSH2 0x0c77 00000ab4: JUMPI 00000ab5: PUSH2 0x0e31 00000ab8: JUMP 00000ab9: JUMPDEST 00000aba: PUSH20 0x1335d0a7cba7e5742399b0c94305136e8f4bc2a8 00000acf: CALLER 00000ad0: LT 00000ad1: PUSH1 0x01 00000ad3: DUP2 00000ad4: EQ 00000ad5: PUSH2 0x0ae3 00000ad8: JUMPI 00000ad9: DUP1 00000ada: ISZERO 00000adb: PUSH2 0x0bac 00000ade: JUMPI 00000adf: PUSH2 0x0c71 00000ae2: JUMP 00000ae3: JUMPDEST 00000ae4: PUSH20 0x079c8d8fd8731ce2a284ef149d32e8e61cf21470 00000af9: CALLER 00000afa: LT 00000afb: PUSH1 0x01 00000afd: DUP2 00000afe: EQ 00000aff: PUSH2 0x0b0d 00000b02: JUMPI 00000b03: DUP1 00000b04: ISZERO 00000b05: PUSH2 0x0b33 00000b08: JUMPI 00000b09: PUSH2 0x0ba6 00000b0c: JUMP 00000b0d: JUMPDEST 00000b0e: PUSH20 0x04595994a00278bf38d8088fb307aeb5c17da7f7 00000b23: CALLER 00000b24: EQ 00000b25: ISZERO 00000b26: PUSH2 0x0b2e 00000b29: JUMPI 00000b2a: PUSH1 0x01 00000b2c: SWAP6 00000b2d: POP 00000b2e: JUMPDEST 00000b2f: PUSH2 0x0ba6 00000b32: JUMP 00000b33: JUMPDEST 00000b34: PUSH20 0x08672acc0e74083cc7e70f737f8a433b79fb6d73 00000b49: CALLER 00000b4a: LT 00000b4b: PUSH1 0x01 00000b4d: DUP2 00000b4e: EQ 00000b4f: PUSH2 0x0b5d 00000b52: JUMPI 00000b53: DUP1 00000b54: ISZERO 00000b55: PUSH2 0x0b83 00000b58: JUMPI 00000b59: PUSH2 0x0ba4 00000b5c: JUMP 00000b5d: JUMPDEST 00000b5e: PUSH20 0x079c8d8fd8731ce2a284ef149d32e8e61cf21470 00000b73: CALLER 00000b74: EQ 00000b75: ISZERO 00000b76: PUSH2 0x0b7e 00000b79: JUMPI 00000b7a: PUSH1 0x01 00000b7c: SWAP7 00000b7d: POP 00000b7e: JUMPDEST 00000b7f: PUSH2 0x0ba4 00000b82: JUMP 00000b83: JUMPDEST 00000b84: PUSH20 0x08672acc0e74083cc7e70f737f8a433b79fb6d73 00000b99: CALLER 00000b9a: EQ 00000b9b: ISZERO 00000b9c: PUSH2 0x0ba4 00000b9f: JUMPI 00000ba0: PUSH1 0x01 00000ba2: SWAP7 00000ba3: POP 00000ba4: JUMPDEST 00000ba5: POP 00000ba6: JUMPDEST 00000ba7: POP 00000ba8: PUSH2 0x0c71 00000bab: JUMP 00000bac: JUMPDEST 00000bad: PUSH20 0x1ad1099487b11879e6116ca1ceee486d1efa7b00 00000bc2: CALLER 00000bc3: LT 00000bc4: PUSH1 0x01 00000bc6: DUP2 00000bc7: EQ 00000bc8: PUSH2 0x0bd6 00000bcb: JUMPI 00000bcc: DUP1 00000bcd: ISZERO 00000bce: PUSH2 0x0bfc 00000bd1: JUMPI 00000bd2: PUSH2 0x0c6f 00000bd5: JUMP 00000bd6: JUMPDEST 00000bd7: PUSH20 0x1335d0a7cba7e5742399b0c94305136e8f4bc2a8 00000bec: CALLER 00000bed: EQ 00000bee: ISZERO 00000bef: PUSH2 0x0bf7 00000bf2: JUMPI 00000bf3: PUSH1 0x01 00000bf5: SWAP6 00000bf6: POP 00000bf7: JUMPDEST 00000bf8: PUSH2 0x0c6f 00000bfb: JUMP 00000bfc: JUMPDEST 00000bfd: PUSH20 0x20fa98714404b3cc8b385503f96b59028f6a8c2e 00000c12: CALLER 00000c13: LT 00000c14: PUSH1 0x01 00000c16: DUP2 00000c17: EQ 00000c18: PUSH2 0x0c26 00000c1b: JUMPI 00000c1c: DUP1 00000c1d: ISZERO 00000c1e: PUSH2 0x0c4c 00000c21: JUMPI 00000c22: PUSH2 0x0c6d 00000c25: JUMP 00000c26: JUMPDEST 00000c27: PUSH20 0x1ad1099487b11879e6116ca1ceee486d1efa7b00 00000c3c: CALLER 00000c3d: EQ 00000c3e: ISZERO 00000c3f: PUSH2 0x0c47 00000c42: JUMPI 00000c43: PUSH1 0x01 00000c45: SWAP7 00000c46: POP 00000c47: JUMPDEST 00000c48: PUSH2 0x0c6d 00000c4b: JUMP 00000c4c: JUMPDEST 00000c4d: PUSH20 0x20fa98714404b3cc8b385503f96b59028f6a8c2e 00000c62: CALLER 00000c63: EQ 00000c64: ISZERO 00000c65: PUSH2 0x0c6d 00000c68: JUMPI 00000c69: PUSH1 0x01 00000c6b: SWAP7 00000c6c: POP 00000c6d: JUMPDEST 00000c6e: POP 00000c6f: JUMPDEST 00000c70: POP 00000c71: JUMPDEST 00000c72: POP 00000c73: PUSH2 0x0e31 00000c76: JUMP 00000c77: JUMPDEST 00000c78: PUSH20 0x28fd5f5aea376ea24778765854d16a89794ec2a5 00000c8d: CALLER 00000c8e: LT 00000c8f: PUSH1 0x01 00000c91: DUP2 00000c92: EQ 00000c93: PUSH2 0x0ca1 00000c96: JUMPI 00000c97: DUP1 00000c98: ISZERO 00000c99: PUSH2 0x0d6a 00000c9c: JUMPI 00000c9d: PUSH2 0x0e2f 00000ca0: JUMP 00000ca1: JUMPDEST 00000ca2: PUSH20 0x2528b985765da6aebde7c6d823915c1cc336b057 00000cb7: CALLER 00000cb8: LT 00000cb9: PUSH1 0x01 00000cbb: DUP2 00000cbc: EQ 00000cbd: PUSH2 0x0ccb 00000cc0: JUMPI 00000cc1: DUP1 00000cc2: ISZERO 00000cc3: PUSH2 0x0cf1 00000cc6: JUMPI 00000cc7: PUSH2 0x0d64 00000cca: JUMP 00000ccb: JUMPDEST 00000ccc: PUSH20 0x24affae9c683b7615d4130300288e348e4b5d091 00000ce1: CALLER 00000ce2: EQ 00000ce3: ISZERO 00000ce4: PUSH2 0x0cec 00000ce7: JUMPI 00000ce8: PUSH1 0x01 00000cea: SWAP6 00000ceb: POP 00000cec: JUMPDEST 00000ced: PUSH2 0x0d64 00000cf0: JUMP 00000cf1: JUMPDEST 00000cf2: PUSH20 0x25fedf69ff32d588224627139b7d34be45561dc4 00000d07: CALLER 00000d08: LT 00000d09: PUSH1 0x01 00000d0b: DUP2 00000d0c: EQ 00000d0d: PUSH2 0x0d1b 00000d10: JUMPI 00000d11: DUP1 00000d12: ISZERO 00000d13: PUSH2 0x0d41 00000d16: JUMPI 00000d17: PUSH2 0x0d62 00000d1a: JUMP 00000d1b: JUMPDEST 00000d1c: PUSH20 0x2528b985765da6aebde7c6d823915c1cc336b057 00000d31: CALLER 00000d32: EQ 00000d33: ISZERO 00000d34: PUSH2 0x0d3c 00000d37: JUMPI 00000d38: PUSH1 0x01 00000d3a: SWAP7 00000d3b: POP 00000d3c: JUMPDEST 00000d3d: PUSH2 0x0d62 00000d40: JUMP 00000d41: JUMPDEST 00000d42: PUSH20 0x25fedf69ff32d588224627139b7d34be45561dc4 00000d57: CALLER 00000d58: EQ 00000d59: ISZERO 00000d5a: PUSH2 0x0d62 00000d5d: JUMPI 00000d5e: PUSH1 0x01 00000d60: SWAP7 00000d61: POP 00000d62: JUMPDEST 00000d63: POP 00000d64: JUMPDEST 00000d65: POP 00000d66: PUSH2 0x0e2f 00000d69: JUMP 00000d6a: JUMPDEST 00000d6b: PUSH20 0x2e1c9b2670802fde14a789071b6703fe29bfbbff 00000d80: CALLER 00000d81: LT 00000d82: PUSH1 0x01 00000d84: DUP2 00000d85: EQ 00000d86: PUSH2 0x0d94 00000d89: JUMPI 00000d8a: DUP1 00000d8b: ISZERO 00000d8c: PUSH2 0x0dba 00000d8f: JUMPI 00000d90: PUSH2 0x0e2d 00000d93: JUMP 00000d94: JUMPDEST 00000d95: PUSH20 0x28fd5f5aea376ea24778765854d16a89794ec2a5 00000daa: CALLER 00000dab: EQ 00000dac: ISZERO 00000dad: PUSH2 0x0db5 00000db0: JUMPI 00000db1: PUSH1 0x01 00000db3: SWAP6 00000db4: POP 00000db5: JUMPDEST 00000db6: PUSH2 0x0e2d 00000db9: JUMP 00000dba: JUMPDEST 00000dbb: PUSH20 0x33ba11afe083291c462a8b1ac69463e150ce5bba 00000dd0: CALLER 00000dd1: LT 00000dd2: PUSH1 0x01 00000dd4: DUP2 00000dd5: EQ 00000dd6: PUSH2 0x0de4 00000dd9: JUMPI 00000dda: DUP1 00000ddb: ISZERO 00000ddc: PUSH2 0x0e0a 00000ddf: JUMPI 00000de0: PUSH2 0x0e2b 00000de3: JUMP 00000de4: JUMPDEST 00000de5: PUSH20 0x2e1c9b2670802fde14a789071b6703fe29bfbbff 00000dfa: CALLER 00000dfb: EQ 00000dfc: ISZERO 00000dfd: PUSH2 0x0e05 00000e00: JUMPI 00000e01: PUSH1 0x01 00000e03: SWAP7 00000e04: POP 00000e05: JUMPDEST 00000e06: PUSH2 0x0e2b 00000e09: JUMP 00000e0a: JUMPDEST 00000e0b: PUSH20 0x33ba11afe083291c462a8b1ac69463e150ce5bba 00000e20: CALLER 00000e21: EQ 00000e22: ISZERO 00000e23: PUSH2 0x0e2b 00000e26: JUMPI 00000e27: PUSH1 0x01 00000e29: SWAP7 00000e2a: POP 00000e2b: JUMPDEST 00000e2c: POP 00000e2d: JUMPDEST 00000e2e: POP 00000e2f: JUMPDEST 00000e30: POP 00000e31: JUMPDEST 00000e32: POP 00000e33: PUSH2 0x122c 00000e36: JUMP 00000e37: JUMPDEST 00000e38: PUSH20 0x61ccaa87c62df958cbd0c4fa964bb46710444e39 00000e4d: CALLER 00000e4e: LT 00000e4f: PUSH1 0x01 00000e51: DUP2 00000e52: EQ 00000e53: PUSH2 0x0e61 00000e56: JUMPI 00000e57: DUP1 00000e58: ISZERO 00000e59: PUSH2 0x101f 00000e5c: JUMPI 00000e5d: PUSH2 0x122a 00000e60: JUMP 00000e61: JUMPDEST 00000e62: PUSH20 0x4acfcc3bed619324aff2c0596d87f23b2c03ffae 00000e77: CALLER 00000e78: LT 00000e79: PUSH1 0x01 00000e7b: DUP2 00000e7c: EQ 00000e7d: PUSH2 0x0e8b 00000e80: JUMPI 00000e81: DUP1 00000e82: ISZERO 00000e83: PUSH2 0x0f54 00000e86: JUMPI 00000e87: PUSH2 0x1019 00000e8a: JUMP 00000e8b: JUMPDEST 00000e8c: PUSH20 0x38bdf4ef32bf410e7700e6572efbc03472912ae3 00000ea1: CALLER 00000ea2: LT 00000ea3: PUSH1 0x01 00000ea5: DUP2 00000ea6: EQ 00000ea7: PUSH2 0x0eb5 00000eaa: JUMPI 00000eab: DUP1 00000eac: ISZERO 00000ead: PUSH2 0x0edb 00000eb0: JUMPI 00000eb1: PUSH2 0x0f4e 00000eb4: JUMP 00000eb5: JUMPDEST 00000eb6: PUSH20 0x36d63e35446baf55893a710cfe6dbdd300ece496 00000ecb: CALLER 00000ecc: EQ 00000ecd: ISZERO 00000ece: PUSH2 0x0ed6 00000ed1: JUMPI 00000ed2: PUSH1 0x01 00000ed4: SWAP6 00000ed5: POP 00000ed6: JUMPDEST 00000ed7: PUSH2 0x0f4e 00000eda: JUMP 00000edb: JUMPDEST 00000edc: PUSH20 0x4a02db82665c956a5c82a11a7212a2c11b6a366b 00000ef1: CALLER 00000ef2: LT 00000ef3: PUSH1 0x01 00000ef5: DUP2 00000ef6: EQ 00000ef7: PUSH2 0x0f05 00000efa: JUMPI 00000efb: DUP1 00000efc: ISZERO 00000efd: PUSH2 0x0f2b 00000f00: JUMPI 00000f01: PUSH2 0x0f4c 00000f04: JUMP 00000f05: JUMPDEST 00000f06: PUSH20 0x38bdf4ef32bf410e7700e6572efbc03472912ae3 00000f1b: CALLER 00000f1c: EQ 00000f1d: ISZERO 00000f1e: PUSH2 0x0f26 00000f21: JUMPI 00000f22: PUSH1 0x01 00000f24: SWAP7 00000f25: POP 00000f26: JUMPDEST 00000f27: PUSH2 0x0f4c 00000f2a: JUMP 00000f2b: JUMPDEST 00000f2c: PUSH20 0x4a02db82665c956a5c82a11a7212a2c11b6a366b 00000f41: CALLER 00000f42: EQ 00000f43: ISZERO 00000f44: PUSH2 0x0f4c 00000f47: JUMPI 00000f48: PUSH1 0x01 00000f4a: SWAP7 00000f4b: POP 00000f4c: JUMPDEST 00000f4d: POP 00000f4e: JUMPDEST 00000f4f: POP 00000f50: PUSH2 0x1019 00000f53: JUMP 00000f54: JUMPDEST 00000f55: PUSH20 0x50063e22f36688a9d9c89fb052c40fb9b9f0a63e 00000f6a: CALLER 00000f6b: LT 00000f6c: PUSH1 0x01 00000f6e: DUP2 00000f6f: EQ 00000f70: PUSH2 0x0f7e 00000f73: JUMPI 00000f74: DUP1 00000f75: ISZERO 00000f76: PUSH2 0x0fa4 00000f79: JUMPI 00000f7a: PUSH2 0x1017 00000f7d: JUMP 00000f7e: JUMPDEST 00000f7f: PUSH20 0x4acfcc3bed619324aff2c0596d87f23b2c03ffae 00000f94: CALLER 00000f95: EQ 00000f96: ISZERO 00000f97: PUSH2 0x0f9f 00000f9a: JUMPI 00000f9b: PUSH1 0x01 00000f9d: SWAP6 00000f9e: POP 00000f9f: JUMPDEST 00000fa0: PUSH2 0x1017 00000fa3: JUMP 00000fa4: JUMPDEST 00000fa5: PUSH20 0x5caf3a660f8d3b5f884168a77bbef6ddb1dfb19c 00000fba: CALLER 00000fbb: LT 00000fbc: PUSH1 0x01 00000fbe: DUP2 00000fbf: EQ 00000fc0: PUSH2 0x0fce 00000fc3: JUMPI 00000fc4: DUP1 00000fc5: ISZERO 00000fc6: PUSH2 0x0ff4 00000fc9: JUMPI 00000fca: PUSH2 0x1015 00000fcd: JUMP 00000fce: JUMPDEST 00000fcf: PUSH20 0x50063e22f36688a9d9c89fb052c40fb9b9f0a63e 00000fe4: CALLER 00000fe5: EQ 00000fe6: ISZERO 00000fe7: PUSH2 0x0fef 00000fea: JUMPI 00000feb: PUSH1 0x01 00000fed: SWAP7 00000fee: POP 00000fef: JUMPDEST 00000ff0: PUSH2 0x1015 00000ff3: JUMP 00000ff4: JUMPDEST 00000ff5: PUSH20 0x5caf3a660f8d3b5f884168a77bbef6ddb1dfb19c 0000100a: CALLER 0000100b: EQ 0000100c: ISZERO 0000100d: PUSH2 0x1015 00001010: JUMPI 00001011: PUSH1 0x01 00001013: SWAP7 00001014: POP 00001015: JUMPDEST 00001016: POP 00001017: JUMPDEST 00001018: POP 00001019: JUMPDEST 0000101a: POP 0000101b: PUSH2 0x122a 0000101e: JUMP 0000101f: JUMPDEST 00001020: PUSH20 0x756b0d99e8c4dae16a49641447c558488244e5ba 00001035: CALLER 00001036: LT 00001037: PUSH1 0x01 00001039: DUP2 0000103a: EQ 0000103b: PUSH2 0x1049 0000103e: JUMPI 0000103f: DUP1 00001040: ISZERO 00001041: PUSH2 0x1112 00001044: JUMPI 00001045: PUSH2 0x1228 00001048: JUMP 00001049: JUMPDEST 0000104a: PUSH20 0x6f8132e6a85ac283a23c67f4d0f15435a2c807f1 0000105f: CALLER 00001060: LT 00001061: PUSH1 0x01 00001063: DUP2 00001064: EQ 00001065: PUSH2 0x1073 00001068: JUMPI 00001069: DUP1 0000106a: ISZERO 0000106b: PUSH2 0x1099 0000106e: JUMPI 0000106f: PUSH2 0x110c 00001072: JUMP 00001073: JUMPDEST 00001074: PUSH20 0x61ccaa87c62df958cbd0c4fa964bb46710444e39 00001089: CALLER 0000108a: EQ 0000108b: ISZERO 0000108c: PUSH2 0x1094 0000108f: JUMPI 00001090: PUSH1 0x01 00001092: SWAP6 00001093: POP 00001094: JUMPDEST 00001095: PUSH2 0x110c 00001098: JUMP 00001099: JUMPDEST 0000109a: PUSH20 0x72bb8c608c4ea4a887266985e680a04c056f5b2a 000010af: CALLER 000010b0: LT 000010b1: PUSH1 0x01 000010b3: DUP2 000010b4: EQ 000010b5: PUSH2 0x10c3 000010b8: JUMPI 000010b9: DUP1 000010ba: ISZERO 000010bb: PUSH2 0x10e9 000010be: JUMPI 000010bf: PUSH2 0x110a 000010c2: JUMP 000010c3: JUMPDEST 000010c4: PUSH20 0x6f8132e6a85ac283a23c67f4d0f15435a2c807f1 000010d9: CALLER 000010da: EQ 000010db: ISZERO 000010dc: PUSH2 0x10e4 000010df: JUMPI 000010e0: PUSH1 0x01 000010e2: SWAP7 000010e3: POP 000010e4: JUMPDEST 000010e5: PUSH2 0x110a 000010e8: JUMP 000010e9: JUMPDEST 000010ea: PUSH20 0x72bb8c608c4ea4a887266985e680a04c056f5b2a 000010ff: CALLER 00001100: EQ 00001101: ISZERO 00001102: PUSH2 0x110a 00001105: JUMPI 00001106: PUSH1 0x01 00001108: SWAP7 00001109: POP 0000110a: JUMPDEST 0000110b: POP 0000110c: JUMPDEST 0000110d: POP 0000110e: PUSH2 0x1228 00001111: JUMP 00001112: JUMPDEST 00001113: PUSH20 0x85518e32441d017bcc60ec3fde770fd01cc9f7d0 00001128: CALLER 00001129: LT 0000112a: PUSH1 0x01 0000112c: DUP2 0000112d: EQ 0000112e: PUSH2 0x113c 00001131: JUMPI 00001132: DUP1 00001133: ISZERO 00001134: PUSH2 0x11b3 00001137: JUMPI 00001138: PUSH2 0x1226 0000113b: JUMP 0000113c: JUMPDEST 0000113d: PUSH20 0x7dfdc231d7e20ea568008da65022cde481da1d82 00001152: CALLER 00001153: LT 00001154: PUSH1 0x01 00001156: DUP2 00001157: EQ 00001158: PUSH2 0x1166 0000115b: JUMPI 0000115c: DUP1 0000115d: ISZERO 0000115e: PUSH2 0x118c 00001161: JUMPI 00001162: PUSH2 0x11ad 00001165: JUMP 00001166: JUMPDEST 00001167: PUSH20 0x756b0d99e8c4dae16a49641447c558488244e5ba 0000117c: CALLER 0000117d: EQ 0000117e: ISZERO 0000117f: PUSH2 0x1187 00001182: JUMPI 00001183: PUSH1 0x01 00001185: SWAP7 00001186: POP 00001187: JUMPDEST 00001188: PUSH2 0x11ad 0000118b: JUMP 0000118c: JUMPDEST 0000118d: PUSH20 0x7dfdc231d7e20ea568008da65022cde481da1d82 000011a2: CALLER 000011a3: EQ 000011a4: ISZERO 000011a5: PUSH2 0x11ad 000011a8: JUMPI 000011a9: PUSH1 0x01 000011ab: SWAP7 000011ac: POP 000011ad: JUMPDEST 000011ae: POP 000011af: PUSH2 0x1226 000011b2: JUMP 000011b3: JUMPDEST 000011b4: PUSH20 0x8d1d581f2373767c09c4bab84a2f79dbdb85411b 000011c9: CALLER 000011ca: LT 000011cb: PUSH1 0x01 000011cd: DUP2 000011ce: EQ 000011cf: PUSH2 0x11dd 000011d2: JUMPI 000011d3: DUP1 000011d4: ISZERO 000011d5: PUSH2 0x1203 000011d8: JUMPI 000011d9: PUSH2 0x1224 000011dc: JUMP 000011dd: JUMPDEST 000011de: PUSH20 0x85518e32441d017bcc60ec3fde770fd01cc9f7d0 000011f3: CALLER 000011f4: EQ 000011f5: ISZERO 000011f6: PUSH2 0x11fe 000011f9: JUMPI 000011fa: PUSH1 0x01 000011fc: SWAP7 000011fd: POP 000011fe: JUMPDEST 000011ff: PUSH2 0x1224 00001202: JUMP 00001203: JUMPDEST 00001204: PUSH20 0x8d1d581f2373767c09c4bab84a2f79dbdb85411b 00001219: CALLER 0000121a: EQ 0000121b: ISZERO 0000121c: PUSH2 0x1224 0000121f: JUMPI 00001220: PUSH1 0x01 00001222: SWAP7 00001223: POP 00001224: JUMPDEST 00001225: POP 00001226: JUMPDEST 00001227: POP 00001228: JUMPDEST 00001229: POP 0000122a: JUMPDEST 0000122b: POP 0000122c: JUMPDEST 0000122d: POP 0000122e: PUSH2 0x19fb 00001231: JUMP 00001232: JUMPDEST 00001233: PUSH20 0xbf2d5d8ebf05947245b3d7f38b2776a6a49710dd 00001248: CALLER 00001249: LT 0000124a: PUSH1 0x01 0000124c: DUP2 0000124d: EQ 0000124e: PUSH2 0x125c 00001251: JUMPI 00001252: DUP1 00001253: ISZERO 00001254: PUSH2 0x1604 00001257: JUMPI 00001258: PUSH2 0x19f9 0000125b: JUMP 0000125c: JUMPDEST 0000125d: PUSH20 0xaacb180b2986774cded3042d6087fc501b74a1ed 00001272: CALLER 00001273: LT 00001274: PUSH1 0x01 00001276: DUP2 00001277: EQ 00001278: PUSH2 0x1286 0000127b: JUMPI 0000127c: DUP1 0000127d: ISZERO 0000127e: PUSH2 0x1444 00001281: JUMPI 00001282: PUSH2 0x15fe 00001285: JUMP 00001286: JUMPDEST 00001287: PUSH20 0x9ff93e62d7a8ac55042b82da1a86cef56dd6acac 0000129c: CALLER 0000129d: LT 0000129e: PUSH1 0x01 000012a0: DUP2 000012a1: EQ 000012a2: PUSH2 0x12b0 000012a5: JUMPI 000012a6: DUP1 000012a7: ISZERO 000012a8: PUSH2 0x1379 000012ab: JUMPI 000012ac: PUSH2 0x143e 000012af: JUMP 000012b0: JUMPDEST 000012b1: PUSH20 0x9124ed3858a277918b0e44a7ffb1022e7afd021b 000012c6: CALLER 000012c7: LT 000012c8: PUSH1 0x01 000012ca: DUP2 000012cb: EQ 000012cc: PUSH2 0x12da 000012cf: JUMPI 000012d0: DUP1 000012d1: ISZERO 000012d2: PUSH2 0x1300 000012d5: JUMPI 000012d6: PUSH2 0x1373 000012d9: JUMP 000012da: JUMPDEST 000012db: PUSH20 0x8edfcca52d5c9116ff67e58b85c7eb0d98e2e989 000012f0: CALLER 000012f1: EQ 000012f2: ISZERO 000012f3: PUSH2 0x12fb 000012f6: JUMPI 000012f7: PUSH1 0x01 000012f9: SWAP6 000012fa: POP 000012fb: JUMPDEST 000012fc: PUSH2 0x1373 000012ff: JUMP 00001300: JUMPDEST 00001301: PUSH20 0x9c949660eff07fe1939d997fbf8da0dd9fc5d249 00001316: CALLER 00001317: LT 00001318: PUSH1 0x01 0000131a: DUP2 0000131b: EQ 0000131c: PUSH2 0x132a 0000131f: JUMPI 00001320: DUP1 00001321: ISZERO 00001322: PUSH2 0x1350 00001325: JUMPI 00001326: PUSH2 0x1371 00001329: JUMP 0000132a: JUMPDEST 0000132b: PUSH20 0x9124ed3858a277918b0e44a7ffb1022e7afd021b 00001340: CALLER 00001341: EQ 00001342: ISZERO 00001343: PUSH2 0x134b 00001346: JUMPI 00001347: PUSH1 0x01 00001349: SWAP7 0000134a: POP 0000134b: JUMPDEST 0000134c: PUSH2 0x1371 0000134f: JUMP 00001350: JUMPDEST 00001351: PUSH20 0x9c949660eff07fe1939d997fbf8da0dd9fc5d249 00001366: CALLER 00001367: EQ 00001368: ISZERO 00001369: PUSH2 0x1371 0000136c: JUMPI 0000136d: PUSH1 0x01 0000136f: SWAP7 00001370: POP 00001371: JUMPDEST 00001372: POP 00001373: JUMPDEST 00001374: POP 00001375: PUSH2 0x143e 00001378: JUMP 00001379: JUMPDEST 0000137a: PUSH20 0xa1b579ddf1c3f0329536564fefc9ba9268f5b959 0000138f: CALLER 00001390: LT 00001391: PUSH1 0x01 00001393: DUP2 00001394: EQ 00001395: PUSH2 0x13a3 00001398: JUMPI 00001399: DUP1 0000139a: ISZERO 0000139b: PUSH2 0x13c9 0000139e: JUMPI 0000139f: PUSH2 0x143c 000013a2: JUMP 000013a3: JUMPDEST 000013a4: PUSH20 0x9ff93e62d7a8ac55042b82da1a86cef56dd6acac 000013b9: CALLER 000013ba: EQ 000013bb: ISZERO 000013bc: PUSH2 0x13c4 000013bf: JUMPI 000013c0: PUSH1 0x01 000013c2: SWAP6 000013c3: POP 000013c4: JUMPDEST 000013c5: PUSH2 0x143c 000013c8: JUMP 000013c9: JUMPDEST 000013ca: PUSH20 0xa8a2ebe2f596f17bf3cd80b016dc5e532ac32b6f 000013df: CALLER 000013e0: LT 000013e1: PUSH1 0x01 000013e3: DUP2 000013e4: EQ 000013e5: PUSH2 0x13f3 000013e8: JUMPI 000013e9: DUP1 000013ea: ISZERO 000013eb: PUSH2 0x1419 000013ee: JUMPI 000013ef: PUSH2 0x143a 000013f2: JUMP 000013f3: JUMPDEST 000013f4: PUSH20 0xa1b579ddf1c3f0329536564fefc9ba9268f5b959 00001409: CALLER 0000140a: EQ 0000140b: ISZERO 0000140c: PUSH2 0x1414 0000140f: JUMPI 00001410: PUSH1 0x01 00001412: SWAP7 00001413: POP 00001414: JUMPDEST 00001415: PUSH2 0x143a 00001418: JUMP 00001419: JUMPDEST 0000141a: PUSH20 0xa8a2ebe2f596f17bf3cd80b016dc5e532ac32b6f 0000142f: CALLER 00001430: EQ 00001431: ISZERO 00001432: PUSH2 0x143a 00001435: JUMPI 00001436: PUSH1 0x01 00001438: SWAP7 00001439: POP 0000143a: JUMPDEST 0000143b: POP 0000143c: JUMPDEST 0000143d: POP 0000143e: JUMPDEST 0000143f: POP 00001440: PUSH2 0x15fe 00001443: JUMP 00001444: JUMPDEST 00001445: PUSH20 0xb6e0f36ef6ccdf0f6ed9e819cead0a4958cc13dd 0000145a: CALLER 0000145b: LT 0000145c: PUSH1 0x01 0000145e: DUP2 0000145f: EQ 00001460: PUSH2 0x146e 00001463: JUMPI 00001464: DUP1 00001465: ISZERO 00001466: PUSH2 0x1537 00001469: JUMPI 0000146a: PUSH2 0x15fc 0000146d: JUMP 0000146e: JUMPDEST 0000146f: PUSH20 0xb42f54646758953a7cbf5234fd5df1e709e62a2f 00001484: CALLER 00001485: LT 00001486: PUSH1 0x01 00001488: DUP2 00001489: EQ 0000148a: PUSH2 0x1498 0000148d: JUMPI 0000148e: DUP1 0000148f: ISZERO 00001490: PUSH2 0x14be 00001493: JUMPI 00001494: PUSH2 0x1531 00001497: JUMP 00001498: JUMPDEST 00001499: PUSH20 0xaacb180b2986774cded3042d6087fc501b74a1ed 000014ae: CALLER 000014af: EQ 000014b0: ISZERO 000014b1: PUSH2 0x14b9 000014b4: JUMPI 000014b5: PUSH1 0x01 000014b7: SWAP6 000014b8: POP 000014b9: JUMPDEST 000014ba: PUSH2 0x1531 000014bd: JUMP 000014be: JUMPDEST 000014bf: PUSH20 0xb5652c07cb5b616547bcd533e6bfea20509433d1 000014d4: CALLER 000014d5: LT 000014d6: PUSH1 0x01 000014d8: DUP2 000014d9: EQ 000014da: PUSH2 0x14e8 000014dd: JUMPI 000014de: DUP1 000014df: ISZERO 000014e0: PUSH2 0x150e 000014e3: JUMPI 000014e4: PUSH2 0x152f 000014e7: JUMP 000014e8: JUMPDEST 000014e9: PUSH20 0xb42f54646758953a7cbf5234fd5df1e709e62a2f 000014fe: CALLER 000014ff: EQ 00001500: ISZERO 00001501: PUSH2 0x1509 00001504: JUMPI 00001505: PUSH1 0x01 00001507: SWAP7 00001508: POP 00001509: JUMPDEST 0000150a: PUSH2 0x152f 0000150d: JUMP 0000150e: JUMPDEST 0000150f: PUSH20 0xb5652c07cb5b616547bcd533e6bfea20509433d1 00001524: CALLER 00001525: EQ 00001526: ISZERO 00001527: PUSH2 0x152f 0000152a: JUMPI 0000152b: PUSH1 0x01 0000152d: SWAP7 0000152e: POP 0000152f: JUMPDEST 00001530: POP 00001531: JUMPDEST 00001532: POP 00001533: PUSH2 0x15fc 00001536: JUMP 00001537: JUMPDEST 00001538: PUSH20 0xbb1bf5951ac72e51e35da0dd470cf5bf45b69fe2 0000154d: CALLER 0000154e: LT 0000154f: PUSH1 0x01 00001551: DUP2 00001552: EQ 00001553: PUSH2 0x1561 00001556: JUMPI 00001557: DUP1 00001558: ISZERO 00001559: PUSH2 0x1587 0000155c: JUMPI 0000155d: PUSH2 0x15fa 00001560: JUMP 00001561: JUMPDEST 00001562: PUSH20 0xb6e0f36ef6ccdf0f6ed9e819cead0a4958cc13dd 00001577: CALLER 00001578: EQ 00001579: ISZERO 0000157a: PUSH2 0x1582 0000157d: JUMPI 0000157e: PUSH1 0x01 00001580: SWAP6 00001581: POP 00001582: JUMPDEST 00001583: PUSH2 0x15fa 00001586: JUMP 00001587: JUMPDEST 00001588: PUSH20 0xbd364f802d1b6ec560a9eb8e9f75fad1217d7954 0000159d: CALLER 0000159e: LT 0000159f: PUSH1 0x01 000015a1: DUP2 000015a2: EQ 000015a3: PUSH2 0x15b1 000015a6: JUMPI 000015a7: DUP1 000015a8: ISZERO 000015a9: PUSH2 0x15d7 000015ac: JUMPI 000015ad: PUSH2 0x15f8 000015b0: JUMP 000015b1: JUMPDEST 000015b2: PUSH20 0xbb1bf5951ac72e51e35da0dd470cf5bf45b69fe2 000015c7: CALLER 000015c8: EQ 000015c9: ISZERO 000015ca: PUSH2 0x15d2 000015cd: JUMPI 000015ce: PUSH1 0x01 000015d0: SWAP7 000015d1: POP 000015d2: JUMPDEST 000015d3: PUSH2 0x15f8 000015d6: JUMP 000015d7: JUMPDEST 000015d8: PUSH20 0xbd364f802d1b6ec560a9eb8e9f75fad1217d7954 000015ed: CALLER 000015ee: EQ 000015ef: ISZERO 000015f0: PUSH2 0x15f8 000015f3: JUMPI 000015f4: PUSH1 0x01 000015f6: SWAP7 000015f7: POP 000015f8: JUMPDEST 000015f9: POP 000015fa: JUMPDEST 000015fb: POP 000015fc: JUMPDEST 000015fd: POP 000015fe: JUMPDEST 000015ff: POP 00001600: PUSH2 0x19f9 00001603: JUMP 00001604: JUMPDEST 00001605: PUSH20 0xdd6019843a4006cebda5009eaa0e7e496c21c01f 0000161a: CALLER 0000161b: LT 0000161c: PUSH1 0x01 0000161e: DUP2 0000161f: EQ 00001620: PUSH2 0x162e 00001623: JUMPI 00001624: DUP1 00001625: ISZERO 00001626: PUSH2 0x17ec 00001629: JUMPI 0000162a: PUSH2 0x19f7 0000162d: JUMP 0000162e: JUMPDEST 0000162f: PUSH20 0xcffeb857135b08a29b1a0734340ed0c993e9212d 00001644: CALLER 00001645: LT 00001646: PUSH1 0x01 00001648: DUP2 00001649: EQ 0000164a: PUSH2 0x1658 0000164d: JUMPI 0000164e: DUP1 0000164f: ISZERO 00001650: PUSH2 0x1721 00001653: JUMPI 00001654: PUSH2 0x17e6 00001657: JUMP 00001658: JUMPDEST 00001659: PUSH20 0xc11e30f78ca5366b2b7de46ab77dc32018dbbdff 0000166e: CALLER 0000166f: LT 00001670: PUSH1 0x01 00001672: DUP2 00001673: EQ 00001674: PUSH2 0x1682 00001677: JUMPI 00001678: DUP1 00001679: ISZERO 0000167a: PUSH2 0x16a8 0000167d: JUMPI 0000167e: PUSH2 0x171b 00001681: JUMP 00001682: JUMPDEST 00001683: PUSH20 0xbf2d5d8ebf05947245b3d7f38b2776a6a49710dd 00001698: CALLER 00001699: EQ 0000169a: ISZERO 0000169b: PUSH2 0x16a3 0000169e: JUMPI 0000169f: PUSH1 0x01 000016a1: SWAP6 000016a2: POP 000016a3: JUMPDEST 000016a4: PUSH2 0x171b 000016a7: JUMP 000016a8: JUMPDEST 000016a9: PUSH20 0xc6093fd9cc143f9f058938868b2df2daf9a91d28 000016be: CALLER 000016bf: LT 000016c0: PUSH1 0x01 000016c2: DUP2 000016c3: EQ 000016c4: PUSH2 0x16d2 000016c7: JUMPI 000016c8: DUP1 000016c9: ISZERO 000016ca: PUSH2 0x16f8 000016cd: JUMPI 000016ce: PUSH2 0x1719 000016d1: JUMP 000016d2: JUMPDEST 000016d3: PUSH20 0xc11e30f78ca5366b2b7de46ab77dc32018dbbdff 000016e8: CALLER 000016e9: EQ 000016ea: ISZERO 000016eb: PUSH2 0x16f3 000016ee: JUMPI 000016ef: PUSH1 0x01 000016f1: SWAP7 000016f2: POP 000016f3: JUMPDEST 000016f4: PUSH2 0x1719 000016f7: JUMP 000016f8: JUMPDEST 000016f9: PUSH20 0xc6093fd9cc143f9f058938868b2df2daf9a91d28 0000170e: CALLER 0000170f: EQ 00001710: ISZERO 00001711: PUSH2 0x1719 00001714: JUMPI 00001715: PUSH1 0x01 00001717: SWAP7 00001718: POP 00001719: JUMPDEST 0000171a: POP 0000171b: JUMPDEST 0000171c: POP 0000171d: PUSH2 0x17e6 00001720: JUMP 00001721: JUMPDEST 00001722: PUSH20 0xcffec9a8fede8a1688ca7b48ccd25e0f18f2e2fc 00001737: CALLER 00001738: LT 00001739: PUSH1 0x01 0000173b: DUP2 0000173c: EQ 0000173d: PUSH2 0x174b 00001740: JUMPI 00001741: DUP1 00001742: ISZERO 00001743: PUSH2 0x1771 00001746: JUMPI 00001747: PUSH2 0x17e4 0000174a: JUMP 0000174b: JUMPDEST 0000174c: PUSH20 0xcffeb857135b08a29b1a0734340ed0c993e9212d 00001761: CALLER 00001762: EQ 00001763: ISZERO 00001764: PUSH2 0x176c 00001767: JUMPI 00001768: PUSH1 0x01 0000176a: SWAP6 0000176b: POP 0000176c: JUMPDEST 0000176d: PUSH2 0x17e4 00001770: JUMP 00001771: JUMPDEST 00001772: PUSH20 0xd9a31cf47f041238bff9507c14ed6c788b243f7a 00001787: CALLER 00001788: LT 00001789: PUSH1 0x01 0000178b: DUP2 0000178c: EQ 0000178d: PUSH2 0x179b 00001790: JUMPI 00001791: DUP1 00001792: ISZERO 00001793: PUSH2 0x17c1 00001796: JUMPI 00001797: PUSH2 0x17e2 0000179a: JUMP 0000179b: JUMPDEST 0000179c: PUSH20 0xcffec9a8fede8a1688ca7b48ccd25e0f18f2e2fc 000017b1: CALLER 000017b2: EQ 000017b3: ISZERO 000017b4: PUSH2 0x17bc 000017b7: JUMPI 000017b8: PUSH1 0x01 000017ba: SWAP7 000017bb: POP 000017bc: JUMPDEST 000017bd: PUSH2 0x17e2 000017c0: JUMP 000017c1: JUMPDEST 000017c2: PUSH20 0xd9a31cf47f041238bff9507c14ed6c788b243f7a 000017d7: CALLER 000017d8: EQ 000017d9: ISZERO 000017da: PUSH2 0x17e2 000017dd: JUMPI 000017de: PUSH1 0x01 000017e0: SWAP7 000017e1: POP 000017e2: JUMPDEST 000017e3: POP 000017e4: JUMPDEST 000017e5: POP 000017e6: JUMPDEST 000017e7: POP 000017e8: PUSH2 0x19f7 000017eb: JUMP 000017ec: JUMPDEST 000017ed: PUSH20 0xf10fdb41afb6e7691d3b27e845c61193d13b0f7a 00001802: CALLER 00001803: LT 00001804: PUSH1 0x01 00001806: DUP2 00001807: EQ 00001808: PUSH2 0x1816 0000180b: JUMPI 0000180c: DUP1 0000180d: ISZERO 0000180e: PUSH2 0x18df 00001811: JUMPI 00001812: PUSH2 0x19f5 00001815: JUMP 00001816: JUMPDEST 00001817: PUSH20 0xe9f82f15910e161999777036e20cb4108f4df800 0000182c: CALLER 0000182d: LT 0000182e: PUSH1 0x01 00001830: DUP2 00001831: EQ 00001832: PUSH2 0x1840 00001835: JUMPI 00001836: DUP1 00001837: ISZERO 00001838: PUSH2 0x1866 0000183b: JUMPI 0000183c: PUSH2 0x18d9 0000183f: JUMP 00001840: JUMPDEST 00001841: PUSH20 0xdd6019843a4006cebda5009eaa0e7e496c21c01f 00001856: CALLER 00001857: EQ 00001858: ISZERO 00001859: PUSH2 0x1861 0000185c: JUMPI 0000185d: PUSH1 0x01 0000185f: SWAP6 00001860: POP 00001861: JUMPDEST 00001862: PUSH2 0x18d9 00001865: JUMP 00001866: JUMPDEST 00001867: PUSH20 0xea8c7081215dbcb02b2f4ef7416356fb48ae59b0 0000187c: CALLER 0000187d: LT 0000187e: PUSH1 0x01 00001880: DUP2 00001881: EQ 00001882: PUSH2 0x1890 00001885: JUMPI 00001886: DUP1 00001887: ISZERO 00001888: PUSH2 0x18b6 0000188b: JUMPI 0000188c: PUSH2 0x18d7 0000188f: JUMP 00001890: JUMPDEST 00001891: PUSH20 0xe9f82f15910e161999777036e20cb4108f4df800 000018a6: CALLER 000018a7: EQ 000018a8: ISZERO 000018a9: PUSH2 0x18b1 000018ac: JUMPI 000018ad: PUSH1 0x01 000018af: SWAP7 000018b0: POP 000018b1: JUMPDEST 000018b2: PUSH2 0x18d7 000018b5: JUMP 000018b6: JUMPDEST 000018b7: PUSH20 0xea8c7081215dbcb02b2f4ef7416356fb48ae59b0 000018cc: CALLER 000018cd: EQ 000018ce: ISZERO 000018cf: PUSH2 0x18d7 000018d2: JUMPI 000018d3: PUSH1 0x01 000018d5: SWAP7 000018d6: POP 000018d7: JUMPDEST 000018d8: POP 000018d9: JUMPDEST 000018da: POP 000018db: PUSH2 0x19f5 000018de: JUMP 000018df: JUMPDEST 000018e0: PUSH20 0xf367f70ecc7d05a76515d3822fe1b744a2e0a930 000018f5: CALLER 000018f6: LT 000018f7: PUSH1 0x01 000018f9: DUP2 000018fa: EQ 000018fb: PUSH2 0x1909 000018fe: JUMPI 000018ff: DUP1 00001900: ISZERO 00001901: PUSH2 0x1980 00001904: JUMPI 00001905: PUSH2 0x19f3 00001908: JUMP 00001909: JUMPDEST 0000190a: PUSH20 0xf28bb7b5c5c51baa28b24d417e6b37d80f821256 0000191f: CALLER 00001920: LT 00001921: PUSH1 0x01 00001923: DUP2 00001924: EQ 00001925: PUSH2 0x1933 00001928: JUMPI 00001929: DUP1 0000192a: ISZERO 0000192b: PUSH2 0x1959 0000192e: JUMPI 0000192f: PUSH2 0x197a 00001932: JUMP 00001933: JUMPDEST 00001934: PUSH20 0xf10fdb41afb6e7691d3b27e845c61193d13b0f7a 00001949: CALLER 0000194a: EQ 0000194b: ISZERO 0000194c: PUSH2 0x1954 0000194f: JUMPI 00001950: PUSH1 0x01 00001952: SWAP7 00001953: POP 00001954: JUMPDEST 00001955: PUSH2 0x197a 00001958: JUMP 00001959: JUMPDEST 0000195a: PUSH20 0xf28bb7b5c5c51baa28b24d417e6b37d80f821256 0000196f: CALLER 00001970: EQ 00001971: ISZERO 00001972: PUSH2 0x197a 00001975: JUMPI 00001976: PUSH1 0x01 00001978: SWAP7 00001979: POP 0000197a: JUMPDEST 0000197b: POP 0000197c: PUSH2 0x19f3 0000197f: JUMP 00001980: JUMPDEST 00001981: PUSH20 0xfe857ac30bb4fe3d1a673f00dfe650c430e42d83 00001996: CALLER 00001997: LT 00001998: PUSH1 0x01 0000199a: DUP2 0000199b: EQ 0000199c: PUSH2 0x19aa 0000199f: JUMPI 000019a0: DUP1 000019a1: ISZERO 000019a2: PUSH2 0x19d0 000019a5: JUMPI 000019a6: PUSH2 0x19f1 000019a9: JUMP 000019aa: JUMPDEST 000019ab: PUSH20 0xf367f70ecc7d05a76515d3822fe1b744a2e0a930 000019c0: CALLER 000019c1: EQ 000019c2: ISZERO 000019c3: PUSH2 0x19cb 000019c6: JUMPI 000019c7: PUSH1 0x01 000019c9: SWAP7 000019ca: POP 000019cb: JUMPDEST 000019cc: PUSH2 0x19f1 000019cf: JUMP 000019d0: JUMPDEST 000019d1: PUSH20 0xfe857ac30bb4fe3d1a673f00dfe650c430e42d83 000019e6: CALLER 000019e7: EQ 000019e8: ISZERO 000019e9: PUSH2 0x19f1 000019ec: JUMPI 000019ed: PUSH1 0x01 000019ef: SWAP7 000019f0: POP 000019f1: JUMPDEST 000019f2: POP 000019f3: JUMPDEST 000019f4: POP 000019f5: JUMPDEST 000019f6: POP 000019f7: JUMPDEST 000019f8: POP 000019f9: JUMPDEST 000019fa: POP 000019fb: JUMPDEST 000019fc: POP 000019fd: DUP1 000019fe: PUSH2 0x1a16 00001a01: JUMPI 00001a02: POP 00001a03: CALLER 00001a04: PUSH1 0x00 00001a06: SWAP1 00001a07: DUP2 00001a08: MSTORE 00001a09: PUSH1 0x20 00001a0b: DUP2 00001a0c: SWAP1 00001a0d: MSTORE 00001a0e: PUSH1 0x40 00001a10: SWAP1 00001a11: KECCAK256 00001a12: SLOAD 00001a13: PUSH1 0x01 00001a15: EQ 00001a16: JUMPDEST 00001a17: SWAP1 00001a18: JUMP 00001a19: JUMPDEST 00001a1a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a2f: DUP2 00001a30: AND 00001a31: DUP2 00001a32: EQ 00001a33: PUSH2 0x1a3b 00001a36: JUMPI 00001a37: PUSH1 0x00 00001a39: DUP1 00001a3a: REVERT 00001a3b: JUMPDEST 00001a3c: POP 00001a3d: JUMP 00001a3e: JUMPDEST 00001a3f: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00001a60: PUSH1 0x00 00001a62: MSTORE 00001a63: PUSH1 0x41 00001a65: PUSH1 0x04 00001a67: MSTORE 00001a68: PUSH1 0x24 00001a6a: PUSH1 0x00 00001a6c: REVERT 00001a6d: JUMPDEST 00001a6e: PUSH1 0x40 00001a70: MLOAD 00001a71: PUSH1 0x1f 00001a73: DUP3 00001a74: ADD 00001a75: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00001a96: AND 00001a97: DUP2 00001a98: ADD 00001a99: PUSH8 0xffffffffffffffff 00001aa2: DUP2 00001aa3: GT 00001aa4: DUP3 00001aa5: DUP3 00001aa6: LT 00001aa7: OR 00001aa8: ISZERO 00001aa9: PUSH2 0x1ab4 00001aac: JUMPI 00001aad: PUSH2 0x1ab4 00001ab0: PUSH2 0x1a3e 00001ab3: JUMP 00001ab4: JUMPDEST 00001ab5: PUSH1 0x40 00001ab7: MSTORE 00001ab8: SWAP2 00001ab9: SWAP1 00001aba: POP 00001abb: JUMP 00001abc: JUMPDEST 00001abd: PUSH1 0x00 00001abf: DUP3 00001ac0: PUSH1 0x1f 00001ac2: DUP4 00001ac3: ADD 00001ac4: SLT 00001ac5: PUSH2 0x1acd 00001ac8: JUMPI 00001ac9: PUSH1 0x00 00001acb: DUP1 00001acc: REVERT 00001acd: JUMPDEST 00001ace: DUP2 00001acf: CALLDATALOAD 00001ad0: PUSH8 0xffffffffffffffff 00001ad9: DUP2 00001ada: GT 00001adb: ISZERO 00001adc: PUSH2 0x1ae7 00001adf: JUMPI 00001ae0: PUSH2 0x1ae7 00001ae3: PUSH2 0x1a3e 00001ae6: JUMP 00001ae7: JUMPDEST 00001ae8: PUSH2 0x1b18 00001aeb: PUSH1 0x20 00001aed: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00001b0e: PUSH1 0x1f 00001b10: DUP5 00001b11: ADD 00001b12: AND 00001b13: ADD 00001b14: PUSH2 0x1a6d 00001b17: JUMP 00001b18: JUMPDEST 00001b19: DUP2 00001b1a: DUP2 00001b1b: MSTORE 00001b1c: DUP5 00001b1d: PUSH1 0x20 00001b1f: DUP4 00001b20: DUP7 00001b21: ADD 00001b22: ADD 00001b23: GT 00001b24: ISZERO 00001b25: PUSH2 0x1b2d 00001b28: JUMPI 00001b29: PUSH1 0x00 00001b2b: DUP1 00001b2c: REVERT 00001b2d: JUMPDEST 00001b2e: DUP2 00001b2f: PUSH1 0x20 00001b31: DUP6 00001b32: ADD 00001b33: PUSH1 0x20 00001b35: DUP4 00001b36: ADD 00001b37: CALLDATACOPY 00001b38: PUSH1 0x00 00001b3a: SWAP2 00001b3b: DUP2 00001b3c: ADD 00001b3d: PUSH1 0x20 00001b3f: ADD 00001b40: SWAP2 00001b41: SWAP1 00001b42: SWAP2 00001b43: MSTORE 00001b44: SWAP4 00001b45: SWAP3 00001b46: POP 00001b47: POP 00001b48: POP 00001b49: JUMP 00001b4a: JUMPDEST 00001b4b: PUSH1 0x00 00001b4d: DUP1 00001b4e: PUSH1 0x40 00001b50: DUP4 00001b51: DUP6 00001b52: SUB 00001b53: SLT 00001b54: ISZERO 00001b55: PUSH2 0x1b5d 00001b58: JUMPI 00001b59: PUSH1 0x00 00001b5b: DUP1 00001b5c: REVERT 00001b5d: JUMPDEST 00001b5e: DUP3 00001b5f: CALLDATALOAD 00001b60: PUSH2 0x1b68 00001b63: DUP2 00001b64: PUSH2 0x1a19 00001b67: JUMP 00001b68: JUMPDEST 00001b69: SWAP2 00001b6a: POP 00001b6b: PUSH1 0x20 00001b6d: DUP4 00001b6e: ADD 00001b6f: CALLDATALOAD 00001b70: PUSH8 0xffffffffffffffff 00001b79: DUP2 00001b7a: GT 00001b7b: ISZERO 00001b7c: PUSH2 0x1b84 00001b7f: JUMPI 00001b80: PUSH1 0x00 00001b82: DUP1 00001b83: REVERT 00001b84: JUMPDEST 00001b85: PUSH2 0x1b90 00001b88: DUP6 00001b89: DUP3 00001b8a: DUP7 00001b8b: ADD 00001b8c: PUSH2 0x1abc 00001b8f: JUMP 00001b90: JUMPDEST 00001b91: SWAP2 00001b92: POP 00001b93: POP 00001b94: SWAP3 00001b95: POP 00001b96: SWAP3 00001b97: SWAP1 00001b98: POP 00001b99: JUMP 00001b9a: JUMPDEST 00001b9b: PUSH1 0x00 00001b9d: DUP1 00001b9e: PUSH1 0x40 00001ba0: DUP4 00001ba1: DUP6 00001ba2: SUB 00001ba3: SLT 00001ba4: ISZERO 00001ba5: PUSH2 0x1bad 00001ba8: JUMPI 00001ba9: PUSH1 0x00 00001bab: DUP1 00001bac: REVERT 00001bad: JUMPDEST 00001bae: DUP3 00001baf: CALLDATALOAD 00001bb0: PUSH8 0xffffffffffffffff 00001bb9: DUP1 00001bba: DUP3 00001bbb: GT 00001bbc: ISZERO 00001bbd: PUSH2 0x1bc5 00001bc0: JUMPI 00001bc1: PUSH1 0x00 00001bc3: DUP1 00001bc4: REVERT 00001bc5: JUMPDEST 00001bc6: PUSH2 0x1bd1 00001bc9: DUP7 00001bca: DUP4 00001bcb: DUP8 00001bcc: ADD 00001bcd: PUSH2 0x1abc 00001bd0: JUMP 00001bd1: JUMPDEST 00001bd2: SWAP4 00001bd3: POP 00001bd4: PUSH1 0x20 00001bd6: DUP6 00001bd7: ADD 00001bd8: CALLDATALOAD 00001bd9: SWAP2 00001bda: POP 00001bdb: DUP1 00001bdc: DUP3 00001bdd: GT 00001bde: ISZERO 00001bdf: PUSH2 0x1be7 00001be2: JUMPI 00001be3: PUSH1 0x00 00001be5: DUP1 00001be6: REVERT 00001be7: JUMPDEST 00001be8: POP 00001be9: PUSH2 0x1b90 00001bec: DUP6 00001bed: DUP3 00001bee: DUP7 00001bef: ADD 00001bf0: PUSH2 0x1abc 00001bf3: JUMP 00001bf4: JUMPDEST 00001bf5: PUSH1 0x00 00001bf7: PUSH1 0x20 00001bf9: DUP3 00001bfa: DUP5 00001bfb: SUB 00001bfc: SLT 00001bfd: ISZERO 00001bfe: PUSH2 0x1c06 00001c01: JUMPI 00001c02: PUSH1 0x00 00001c04: DUP1 00001c05: REVERT 00001c06: JUMPDEST 00001c07: DUP2 00001c08: CALLDATALOAD 00001c09: PUSH2 0x1c11 00001c0c: DUP2 00001c0d: PUSH2 0x1a19 00001c10: JUMP 00001c11: JUMPDEST 00001c12: SWAP4 00001c13: SWAP3 00001c14: POP 00001c15: POP 00001c16: POP 00001c17: JUMP 00001c18: JUMPDEST 00001c19: PUSH1 0x00 00001c1b: PUSH1 0x20 00001c1d: DUP1 00001c1e: DUP4 00001c1f: MSTORE 00001c20: DUP4 00001c21: MLOAD 00001c22: DUP1 00001c23: DUP3 00001c24: DUP6 00001c25: ADD 00001c26: MSTORE 00001c27: PUSH1 0x00 00001c29: JUMPDEST 00001c2a: DUP2 00001c2b: DUP2 00001c2c: LT 00001c2d: ISZERO 00001c2e: PUSH2 0x1c45 00001c31: JUMPI 00001c32: DUP6 00001c33: DUP2 00001c34: ADD 00001c35: DUP4 00001c36: ADD 00001c37: MLOAD 00001c38: DUP6 00001c39: DUP3 00001c3a: ADD 00001c3b: PUSH1 0x40 00001c3d: ADD 00001c3e: MSTORE 00001c3f: DUP3 00001c40: ADD 00001c41: PUSH2 0x1c29 00001c44: JUMP 00001c45: JUMPDEST 00001c46: DUP2 00001c47: DUP2 00001c48: GT 00001c49: ISZERO 00001c4a: PUSH2 0x1c57 00001c4d: JUMPI 00001c4e: PUSH1 0x00 00001c50: PUSH1 0x40 00001c52: DUP4 00001c53: DUP8 00001c54: ADD 00001c55: ADD 00001c56: MSTORE 00001c57: JUMPDEST 00001c58: POP 00001c59: PUSH1 0x1f 00001c5b: ADD 00001c5c: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00001c7d: AND 00001c7e: SWAP3 00001c7f: SWAP1 00001c80: SWAP3 00001c81: ADD 00001c82: PUSH1 0x40 00001c84: ADD 00001c85: SWAP4 00001c86: SWAP3 00001c87: POP 00001c88: POP 00001c89: POP 00001c8a: JUMP 00001c8b: JUMPDEST 00001c8c: PUSH1 0x00 00001c8e: PUSH1 0x20 00001c90: DUP1 00001c91: DUP4 00001c92: DUP6 00001c93: SUB 00001c94: SLT 00001c95: ISZERO 00001c96: PUSH2 0x1c9e 00001c99: JUMPI 00001c9a: PUSH1 0x00 00001c9c: DUP1 00001c9d: REVERT 00001c9e: JUMPDEST 00001c9f: DUP3 00001ca0: CALLDATALOAD 00001ca1: PUSH8 0xffffffffffffffff 00001caa: DUP1 00001cab: DUP3 00001cac: GT 00001cad: ISZERO 00001cae: PUSH2 0x1cb6 00001cb1: JUMPI 00001cb2: PUSH1 0x00 00001cb4: DUP1 00001cb5: REVERT 00001cb6: JUMPDEST 00001cb7: DUP2 00001cb8: DUP6 00001cb9: ADD 00001cba: SWAP2 00001cbb: POP 00001cbc: DUP6 00001cbd: PUSH1 0x1f 00001cbf: DUP4 00001cc0: ADD 00001cc1: SLT 00001cc2: PUSH2 0x1cca 00001cc5: JUMPI 00001cc6: PUSH1 0x00 00001cc8: DUP1 00001cc9: REVERT 00001cca: JUMPDEST 00001ccb: DUP2 00001ccc: CALLDATALOAD 00001ccd: DUP2 00001cce: DUP2 00001ccf: GT 00001cd0: ISZERO 00001cd1: PUSH2 0x1cdc 00001cd4: JUMPI 00001cd5: PUSH2 0x1cdc 00001cd8: PUSH2 0x1a3e 00001cdb: JUMP 00001cdc: JUMPDEST 00001cdd: DUP1 00001cde: PUSH1 0x05 00001ce0: SHL 00001ce1: SWAP2 00001ce2: POP 00001ce3: PUSH2 0x1ced 00001ce6: DUP5 00001ce7: DUP4 00001ce8: ADD 00001ce9: PUSH2 0x1a6d 00001cec: JUMP 00001ced: JUMPDEST 00001cee: DUP2 00001cef: DUP2 00001cf0: MSTORE 00001cf1: SWAP2 00001cf2: DUP4 00001cf3: ADD 00001cf4: DUP5 00001cf5: ADD 00001cf6: SWAP2 00001cf7: DUP5 00001cf8: DUP2 00001cf9: ADD 00001cfa: SWAP1 00001cfb: DUP9 00001cfc: DUP5 00001cfd: GT 00001cfe: ISZERO 00001cff: PUSH2 0x1d07 00001d02: JUMPI 00001d03: PUSH1 0x00 00001d05: DUP1 00001d06: REVERT 00001d07: JUMPDEST 00001d08: SWAP4 00001d09: DUP6 00001d0a: ADD 00001d0b: SWAP4 00001d0c: JUMPDEST 00001d0d: DUP4 00001d0e: DUP6 00001d0f: LT 00001d10: ISZERO 00001d11: PUSH2 0x1d31 00001d14: JUMPI 00001d15: DUP5 00001d16: CALLDATALOAD 00001d17: SWAP3 00001d18: POP 00001d19: PUSH2 0x1d21 00001d1c: DUP4 00001d1d: PUSH2 0x1a19 00001d20: JUMP 00001d21: JUMPDEST 00001d22: DUP3 00001d23: DUP3 00001d24: MSTORE 00001d25: SWAP4 00001d26: DUP6 00001d27: ADD 00001d28: SWAP4 00001d29: SWAP1 00001d2a: DUP6 00001d2b: ADD 00001d2c: SWAP1 00001d2d: PUSH2 0x1d0c 00001d30: JUMP 00001d31: JUMPDEST 00001d32: SWAP9 00001d33: SWAP8 00001d34: POP 00001d35: POP 00001d36: POP 00001d37: POP 00001d38: POP 00001d39: POP 00001d3a: POP 00001d3b: POP 00001d3c: JUMP 00001d3d: JUMPDEST 00001d3e: PUSH1 0x00 00001d40: PUSH1 0x20 00001d42: DUP3 00001d43: DUP5 00001d44: SUB 00001d45: SLT 00001d46: ISZERO 00001d47: PUSH2 0x1d4f 00001d4a: JUMPI 00001d4b: PUSH1 0x00 00001d4d: DUP1 00001d4e: REVERT 00001d4f: JUMPDEST 00001d50: DUP2 00001d51: MLOAD 00001d52: PUSH2 0x1c11 00001d55: DUP2 00001d56: PUSH2 0x1a19 00001d59: JUMP 00001d5a: JUMPDEST 00001d5b: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00001d7c: PUSH1 0x00 00001d7e: MSTORE 00001d7f: PUSH1 0x32 00001d81: PUSH1 0x04 00001d83: MSTORE 00001d84: PUSH1 0x24 00001d86: PUSH1 0x00 00001d88: REVERT 00001d89: JUMPDEST 00001d8a: PUSH1 0x00 00001d8c: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001dad: DUP3 00001dae: EQ 00001daf: ISZERO 00001db0: PUSH2 0x1de2 00001db3: JUMPI 00001db4: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00001dd5: PUSH1 0x00 00001dd7: MSTORE 00001dd8: PUSH1 0x11 00001dda: PUSH1 0x04 00001ddc: MSTORE 00001ddd: PUSH1 0x24 00001ddf: PUSH1 0x00 00001de1: REVERT 00001de2: JUMPDEST 00001de3: POP 00001de4: PUSH1 0x01 00001de6: ADD 00001de7: SWAP1 00001de8: JUMP 00001de9: INVALID 00001dea: LOG2 00001deb: PUSH5 0x6970667358 00001df1: UNKNOWN(0x22) 00001df2: SLT 00001df3: KECCAK256 00001df4: UNKNOWN(0xD5) 00001df5: PUSH17 0xc5a1ae45b33da4a1079d957d12ab416c4f 00001e07: OR 00001e08: SWAP12 00001e09: UNKNOWN(0xBA) 00001e0a: PUSH10 0x350a0a270252a6e2b164 00001e15: PUSH20
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | upgradeability | detector | Untrusted DELEGATECALL target reachable | 55 | no | no |
viewtrace_id: 0xc08c7b3f4f67e38f1131dd0d8e3803465ceeb3ee16c177c9c445036a798f5b21
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 144,
"trace_id": "0xc08c7b3f4f67e38f1131dd0d8e3803465ceeb3ee16c177c9c445036a798f5b21",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xa90e8731",
"selector": "0xa90e8731",
"calldata_variants": [
"0xa90e8731",
"0xa90e87310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbf353dbb",
"selector": "0xbf353dbb",
"calldata_variants": [
"0xbf353dbb",
"0xbf353dbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc9892a5f",
"selector": "0xc9892a5f",
"calldata_variants": [
"0xc9892a5f",
"0xc9892a5f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x948f5076",
"selector": "0x948f5076",
"calldata_variants": [
"0x948f5076",
"0x948f50760000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x97645e37",
"selector": "0x97645e37",
"calldata_variants": [
"0x97645e37",
"0x97645e370000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9c52a7f1",
"selector": "0x9c52a7f1",
"calldata_variants": [
"0x9c52a7f1",
"0x9c52a7f10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x60c7d295",
"selector": "0x60c7d295",
"calldata_variants": [
"0x60c7d295",
"0x60c7d2950000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x65fae35e",
"selector": "0x65fae35e",
"calldata_variants": [
"0x65fae35e",
"0x65fae35e0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1103,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
},
{
"pc": 1601,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [
{
"pc": 2852,
"type": "msg_sender_eq_const",
"value": 2.482853297389213e+46
},
{
"pc": 2932,
"type": "msg_sender_eq_const",
"value": 4.345418342714345e+46
},
{
"pc": 2970,
"type": "msg_sender_eq_const",
"value": 4.797263107486302e+46
},
{
"pc": 3053,
"type": "msg_sender_eq_const",
"value": 1.096709405945092e+47
},
{
"pc": 3133,
"type": "msg_sender_eq_const",
"value": 1.5309545034064172e+47
},
{
"pc": 3171,
"type": "msg_sender_eq_const",
"value": 1.8827617057577653e+47
},
{
"pc": 3298,
"type": "msg_sender_eq_const",
"value": 2.094481557805466e+47
},
{
"pc": 3378,
"type": "msg_sender_eq_const",
"value": 2.121408495162106e+47
},
{
"pc": 3416,
"type": "msg_sender_eq_const",
"value": 2.1691650990953724e+47
},
{
"pc": 3499,
"type": "msg_sender_eq_const",
"value": 2.3401002597208553e+47
},
{
"pc": 3579,
"type": "msg_sender_eq_const",
"value": 2.6325151180804396e+47
},
{
"pc": 3617,
"type": "msg_sender_eq_const",
"value": 2.9530800867564568e+47
},
{
"pc": 3788,
"type": "msg_sender_eq_const",
"value": 3.1306328018461275e+47
},
{
"pc": 3868,
"type": "msg_sender_eq_const",
"value": 3.239396608013648e+47
},
{
"pc": 3906,
"type": "msg_sender_eq_const",
"value": 4.225290404947499e+47
},
{
"pc": 3989,
"type": "msg_sender_eq_const",
"value": 4.270993625955834e+47
},
{
"pc": 4069,
"type": "msg_sender_eq_const",
"value": 4.568584789919614e+47
},
{
"pc": 4107,
"type": "msg_sender_eq_const",
"value": 5.291348685675933e+47
},
{
"pc": 4234,
"type": "msg_sender_eq_const",
"value": 5.5833631208056644e+47
},
{
"pc": 4314,
"type": "msg_sender_eq_const",
"value": 6.365792057950792e+47
},
{
"pc": 4352,
"type": "msg_sender_eq_const",
"value": 6.5500741579968085e+47
},
{
"pc": 4477,
"type": "msg_sender_eq_const",
"value": 6.703392847549543e+47
},
{
"pc": 4515,
"type": "msg_sender_eq_const",
"value": 7.192828516324727e+47
},
{
"pc": 4596,
"type": "msg_sender_eq_const",
"value": 7.611145199299104e+47
},
{
"pc": 4634,
"type": "msg_sender_eq_const",
"value": 8.056220967739567e+47
},
{
"pc": 4849,
"type": "msg_sender_eq_const",
"value": 8.15667582749474e+47
},
{
"pc": 4929,
"type": "msg_sender_eq_const",
"value": 8.286271533819979e+47
},
{
"pc": 4967,
"type": "msg_sender_eq_const",
"value": 8.939161703668327e+47
},
{
"pc": 5050,
"type": "msg_sender_eq_const",
"value": 9.132878527114842e+47
},
{
"pc": 5130,
"type": "msg_sender_eq_const",
"value": 9.231945650939344e+47
},
{
"pc": 5168,
"type": "msg_sender_eq_const",
"value": 9.627437188380205e+47
},
{
"pc": 5295,
"type": "msg_sender_eq_const",
"value": 9.750575768085194e+47
},
{
"pc": 5375,
"type": "msg_sender_eq_const",
"value": 1.0286738253702475e+48
},
{
"pc": 5413,
"type": "msg_sender_eq_const",
"value": 1.0355835403770318e+48
},
{
"pc": 5496,
"type": "msg_sender_eq_const",
"value": 1.0440528932590053e+48
},
{
"pc": 5576,
"type": "msg_sender_eq_const",
"value": 1.0682047875121384e+48
},
{
"pc": 5614,
"type": "msg_sender_eq_const",
"value": 1.0802104214131156e+48
},
{
"pc": 5785,
"type": "msg_sender_eq_const",
"value": 1.0914289207778866e+48
},
{
"pc": 5865,
"type": "msg_sender_eq_const",
"value": 1.1025085067513761e+48
},
{
"pc": 5903,
"type": "msg_sender_eq_const",
"value": 1.130586441516462e+48
},
{
"pc": 5986,
"type": "msg_sender_eq_const",
"value": 1.187441537131867e+48
},
{
"pc": 6066,
"type": "msg_sender_eq_const",
"value": 1.1874430459166508e+48
},
{
"pc": 6104,
"type": "msg_sender_eq_const",
"value": 1.2424885410778703e+48
},
{
"pc": 6231,
"type": "msg_sender_eq_const",
"value": 1.2638300546929759e+48
},
{
"pc": 6311,
"type": "msg_sender_eq_const",
"value": 1.33572953602737e+48
},
{
"pc": 6349,
"type": "msg_sender_eq_const",
"value": 1.3390357452173737e+48
},
{
"pc": 6474,
"type": "msg_sender_eq_const",
"value": 1.3762203868890608e+48
},
{
"pc": 6512,
"type": "msg_sender_eq_const",
"value": 1.3846915735242801e+48
},
{
"pc": 6593,
"type": "msg_sender_eq_const",
"value": 1.3896032558360317e+48
},
{
"pc": 6631,
"type": "msg_sender_eq_const",
"value": 1.4530603489701664e+48
}
],
"delegatecall_count": 2,
"untrusted_delegatecall_count": 2
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xbe0a3c690a572fcdd99cf4869355161e065e9760da53d08283cd8588287b17be
call_targets:
0x5050e08626c499411b5d0e0b5af0e83d3fd82edf
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xbe0a3c690a572fcdd99cf4869355161e065e9760da53d08283cd8588287b17be",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x5050e08626c499411b5d0e0b5af0e83d3fd82edf"
],
"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": "0xa90e8731",
"selector": "0xa90e8731",
"calldata_variants": [
"0xa90e8731",
"0xa90e87310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbf353dbb",
"selector": "0xbf353dbb",
"calldata_variants": [
"0xbf353dbb",
"0xbf353dbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc9892a5f",
"selector": "0xc9892a5f",
"calldata_variants": [
"0xc9892a5f",
"0xc9892a5f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x948f5076",
"selector": "0x948f5076",
"calldata_variants": [
"0x948f5076",
"0x948f50760000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x97645e37",
"selector": "0x97645e37",
"calldata_variants": [
"0x97645e37",
"0x97645e370000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9c52a7f1",
"selector": "0x9c52a7f1",
"calldata_variants": [
"0x9c52a7f1",
"0x9c52a7f10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x60c7d295",
"selector": "0x60c7d295",
"calldata_variants": [
"0x60c7d295",
"0x60c7d2950000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x65fae35e",
"selector": "0x65fae35e",
"calldata_variants": [
"0x65fae35e",
"0x65fae35e0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 522,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 608,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1440,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [
{
"pc": 2852,
"type": "msg_sender_eq_const",
"value": 2.482853297389213e+46
},
{
"pc": 2932,
"type": "msg_sender_eq_const",
"value": 4.345418342714345e+46
},
{
"pc": 2970,
"type": "msg_sender_eq_const",
"value": 4.797263107486302e+46
},
{
"pc": 3053,
"type": "msg_sender_eq_const",
"value": 1.096709405945092e+47
},
{
"pc": 3133,
"type": "msg_sender_eq_const",
"value": 1.5309545034064172e+47
},
{
"pc": 3171,
"type": "msg_sender_eq_const",
"value": 1.8827617057577653e+47
},
{
"pc": 3298,
"type": "msg_sender_eq_const",
"value": 2.094481557805466e+47
},
{
"pc": 3378,
"type": "msg_sender_eq_const",
"value": 2.121408495162106e+47
},
{
"pc": 3416,
"type": "msg_sender_eq_const",
"value": 2.1691650990953724e+47
},
{
"pc": 3499,
"type": "msg_sender_eq_const",
"value": 2.3401002597208553e+47
},
{
"pc": 3579,
"type": "msg_sender_eq_const",
"value": 2.6325151180804396e+47
},
{
"pc": 3617,
"type": "msg_sender_eq_const",
"value": 2.9530800867564568e+47
},
{
"pc": 3788,
"type": "msg_sender_eq_const",
"value": 3.1306328018461275e+47
},
{
"pc": 3868,
"type": "msg_sender_eq_const",
"value": 3.239396608013648e+47
},
{
"pc": 3906,
"type": "msg_sender_eq_const",
"value": 4.225290404947499e+47
},
{
"pc": 3989,
"type": "msg_sender_eq_const",
"value": 4.270993625955834e+47
},
{
"pc": 4069,
"type": "msg_sender_eq_const",
"value": 4.568584789919614e+47
},
{
"pc": 4107,
"type": "msg_sender_eq_const",
"value": 5.291348685675933e+47
},
{
"pc": 4234,
"type": "msg_sender_eq_const",
"value": 5.5833631208056644e+47
},
{
"pc": 4314,
"type": "msg_sender_eq_const",
"value": 6.365792057950792e+47
},
{
"pc": 4352,
"type": "msg_sender_eq_const",
"value": 6.5500741579968085e+47
},
{
"pc": 4477,
"type": "msg_sender_eq_const",
"value": 6.703392847549543e+47
},
{
"pc": 4515,
"type": "msg_sender_eq_const",
"value": 7.192828516324727e+47
},
{
"pc": 4596,
"type": "msg_sender_eq_const",
"value": 7.611145199299104e+47
},
{
"pc": 4634,
"type": "msg_sender_eq_const",
"value": 8.056220967739567e+47
},
{
"pc": 4849,
"type": "msg_sender_eq_const",
"value": 8.15667582749474e+47
},
{
"pc": 4929,
"type": "msg_sender_eq_const",
"value": 8.286271533819979e+47
},
{
"pc": 4967,
"type": "msg_sender_eq_const",
"value": 8.939161703668327e+47
},
{
"pc": 5050,
"type": "msg_sender_eq_const",
"value": 9.132878527114842e+47
},
{
"pc": 5130,
"type": "msg_sender_eq_const",
"value": 9.231945650939344e+47
},
{
"pc": 5168,
"type": "msg_sender_eq_const",
"value": 9.627437188380205e+47
},
{
"pc": 5295,
"type": "msg_sender_eq_const",
"value": 9.750575768085194e+47
},
{
"pc": 5375,
"type": "msg_sender_eq_const",
"value": 1.0286738253702475e+48
},
{
"pc": 5413,
"type": "msg_sender_eq_const",
"value": 1.0355835403770318e+48
},
{
"pc": 5496,
"type": "msg_sender_eq_const",
"value": 1.0440528932590053e+48
},
{
"pc": 5576,
"type": "msg_sender_eq_const",
"value": 1.0682047875121384e+48
},
{
"pc": 5614,
"type": "msg_sender_eq_const",
"value": 1.0802104214131156e+48
},
{
"pc": 5785,
"type": "msg_sender_eq_const",
"value": 1.0914289207778866e+48
},
{
"pc": 5865,
"type": "msg_sender_eq_const",
"value": 1.1025085067513761e+48
},
{
"pc": 5903,
"type": "msg_sender_eq_const",
"value": 1.130586441516462e+48
},
{
"pc": 5986,
"type": "msg_sender_eq_const",
"value": 1.187441537131867e+48
},
{
"pc": 6066,
"type": "msg_sender_eq_const",
"value": 1.1874430459166508e+48
},
{
"pc": 6104,
"type": "msg_sender_eq_const",
"value": 1.2424885410778703e+48
},
{
"pc": 6231,
"type": "msg_sender_eq_const",
"value": 1.2638300546929759e+48
},
{
"pc": 6311,
"type": "msg_sender_eq_const",
"value": 1.33572953602737e+48
},
{
"pc": 6349,
"type": "msg_sender_eq_const",
"value": 1.3390357452173737e+48
},
{
"pc": 6474,
"type": "msg_sender_eq_const",
"value": 1.3762203868890608e+48
},
{
"pc": 6512,
"type": "msg_sender_eq_const",
"value": 1.3846915735242801e+48
},
{
"pc": 6593,
"type": "msg_sender_eq_const",
"value": 1.3896032558360317e+48
},
{
"pc": 6631,
"type": "msg_sender_eq_const",
"value": 1.4530603489701664e+48
}
],
"untrusted_call_count": 4
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xbe0a3c690a572fcdd99cf4869355161e065e9760da53d08283cd8588287b17be
call_targets:
0x5050e08626c499411b5d0e0b5af0e83d3fd82edf
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xbe0a3c690a572fcdd99cf4869355161e065e9760da53d08283cd8588287b17be",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x5050e08626c499411b5d0e0b5af0e83d3fd82edf"
],
"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": "0xa90e8731",
"selector": "0xa90e8731",
"calldata_variants": [
"0xa90e8731",
"0xa90e87310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbf353dbb",
"selector": "0xbf353dbb",
"calldata_variants": [
"0xbf353dbb",
"0xbf353dbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc9892a5f",
"selector": "0xc9892a5f",
"calldata_variants": [
"0xc9892a5f",
"0xc9892a5f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x948f5076",
"selector": "0x948f5076",
"calldata_variants": [
"0x948f5076",
"0x948f50760000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x97645e37",
"selector": "0x97645e37",
"calldata_variants": [
"0x97645e37",
"0x97645e370000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9c52a7f1",
"selector": "0x9c52a7f1",
"calldata_variants": [
"0x9c52a7f1",
"0x9c52a7f10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x60c7d295",
"selector": "0x60c7d295",
"calldata_variants": [
"0x60c7d295",
"0x60c7d2950000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x65fae35e",
"selector": "0x65fae35e",
"calldata_variants": [
"0x65fae35e",
"0x65fae35e0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 522,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 608,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1440,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": [
{
"pc": 2852,
"type": "msg_sender_eq_const",
"value": 2.482853297389213e+46
},
{
"pc": 2932,
"type": "msg_sender_eq_const",
"value": 4.345418342714345e+46
},
{
"pc": 2970,
"type": "msg_sender_eq_const",
"value": 4.797263107486302e+46
},
{
"pc": 3053,
"type": "msg_sender_eq_const",
"value": 1.096709405945092e+47
},
{
"pc": 3133,
"type": "msg_sender_eq_const",
"value": 1.5309545034064172e+47
},
{
"pc": 3171,
"type": "msg_sender_eq_const",
"value": 1.8827617057577653e+47
},
{
"pc": 3298,
"type": "msg_sender_eq_const",
"value": 2.094481557805466e+47
},
{
"pc": 3378,
"type": "msg_sender_eq_const",
"value": 2.121408495162106e+47
},
{
"pc": 3416,
"type": "msg_sender_eq_const",
"value": 2.1691650990953724e+47
},
{
"pc": 3499,
"type": "msg_sender_eq_const",
"value": 2.3401002597208553e+47
},
{
"pc": 3579,
"type": "msg_sender_eq_const",
"value": 2.6325151180804396e+47
},
{
"pc": 3617,
"type": "msg_sender_eq_const",
"value": 2.9530800867564568e+47
},
{
"pc": 3788,
"type": "msg_sender_eq_const",
"value": 3.1306328018461275e+47
},
{
"pc": 3868,
"type": "msg_sender_eq_const",
"value": 3.239396608013648e+47
},
{
"pc": 3906,
"type": "msg_sender_eq_const",
"value": 4.225290404947499e+47
},
{
"pc": 3989,
"type": "msg_sender_eq_const",
"value": 4.270993625955834e+47
},
{
"pc": 4069,
"type": "msg_sender_eq_const",
"value": 4.568584789919614e+47
},
{
"pc": 4107,
"type": "msg_sender_eq_const",
"value": 5.291348685675933e+47
},
{
"pc": 4234,
"type": "msg_sender_eq_const",
"value": 5.5833631208056644e+47
},
{
"pc": 4314,
"type": "msg_sender_eq_const",
"value": 6.365792057950792e+47
},
{
"pc": 4352,
"type": "msg_sender_eq_const",
"value": 6.5500741579968085e+47
},
{
"pc": 4477,
"type": "msg_sender_eq_const",
"value": 6.703392847549543e+47
},
{
"pc": 4515,
"type": "msg_sender_eq_const",
"value": 7.192828516324727e+47
},
{
"pc": 4596,
"type": "msg_sender_eq_const",
"value": 7.611145199299104e+47
},
{
"pc": 4634,
"type": "msg_sender_eq_const",
"value": 8.056220967739567e+47
},
{
"pc": 4849,
"type": "msg_sender_eq_const",
"value": 8.15667582749474e+47
},
{
"pc": 4929,
"type": "msg_sender_eq_const",
"value": 8.286271533819979e+47
},
{
"pc": 4967,
"type": "msg_sender_eq_const",
"value": 8.939161703668327e+47
},
{
"pc": 5050,
"type": "msg_sender_eq_const",
"value": 9.132878527114842e+47
},
{
"pc": 5130,
"type": "msg_sender_eq_const",
"value": 9.231945650939344e+47
},
{
"pc": 5168,
"type": "msg_sender_eq_const",
"value": 9.627437188380205e+47
},
{
"pc": 5295,
"type": "msg_sender_eq_const",
"value": 9.750575768085194e+47
},
{
"pc": 5375,
"type": "msg_sender_eq_const",
"value": 1.0286738253702475e+48
},
{
"pc": 5413,
"type": "msg_sender_eq_const",
"value": 1.0355835403770318e+48
},
{
"pc": 5496,
"type": "msg_sender_eq_const",
"value": 1.0440528932590053e+48
},
{
"pc": 5576,
"type": "msg_sender_eq_const",
"value": 1.0682047875121384e+48
},
{
"pc": 5614,
"type": "msg_sender_eq_const",
"value": 1.0802104214131156e+48
},
{
"pc": 5785,
"type": "msg_sender_eq_const",
"value": 1.0914289207778866e+48
},
{
"pc": 5865,
"type": "msg_sender_eq_const",
"value": 1.1025085067513761e+48
},
{
"pc": 5903,
"type": "msg_sender_eq_const",
"value": 1.130586441516462e+48
},
{
"pc": 5986,
"type": "msg_sender_eq_const",
"value": 1.187441537131867e+48
},
{
"pc": 6066,
"type": "msg_sender_eq_const",
"value": 1.1874430459166508e+48
},
{
"pc": 6104,
"type": "msg_sender_eq_const",
"value": 1.2424885410778703e+48
},
{
"pc": 6231,
"type": "msg_sender_eq_const",
"value": 1.2638300546929759e+48
},
{
"pc": 6311,
"type": "msg_sender_eq_const",
"value": 1.33572953602737e+48
},
{
"pc": 6349,
"type": "msg_sender_eq_const",
"value": 1.3390357452173737e+48
},
{
"pc": 6474,
"type": "msg_sender_eq_const",
"value": 1.3762203868890608e+48
},
{
"pc": 6512,
"type": "msg_sender_eq_const",
"value": 1.3846915735242801e+48
},
{
"pc": 6593,
"type": "msg_sender_eq_const",
"value": 1.3896032558360317e+48
},
{
"pc": 6631,
"type": "msg_sender_eq_const",
"value": 1.4530603489701664e+48
}
]
}
|