019b3836-560a-7383-bae1-d6c29d36cb9c
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 |
|---|---|---|---|---|
| 8335 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 8336 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 82596 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 82597 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 82598 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 82599 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x00da 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x1b82f68f 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x00e2 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x24600fc3 00000025: EQ 00000026: PUSH2 0x00f4 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x33ae88ad 00000030: EQ 00000031: PUSH2 0x010b 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x43243797 0000003b: EQ 0000003c: PUSH2 0x0119 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x6776e56a 00000046: EQ 00000047: PUSH2 0x013e 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x7ae15a19 00000051: EQ 00000052: PUSH2 0x01bf 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x7c9b387b 0000005c: EQ 0000005d: PUSH2 0x0218 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x840c0ca9 00000067: EQ 00000068: PUSH2 0x0221 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x9ca77f3c 00000072: EQ 00000073: PUSH2 0x022f 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x9fd4f7d1 0000007d: EQ 0000007e: PUSH2 0x0336 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0xa1c448f1 00000088: EQ 00000089: PUSH2 0x0344 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0xbcee6eb9 00000093: EQ 00000094: PUSH2 0x034d 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0xc177f22e 0000009e: EQ 0000009f: PUSH2 0x03ec 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0xc98e4149 000000a9: EQ 000000aa: PUSH2 0x04e0 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0xcf3e52d9 000000b4: EQ 000000b5: PUSH2 0x04ee 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0xedae7771 000000bf: EQ 000000c0: PUSH2 0x0500 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0xf4aa1291 000000ca: EQ 000000cb: PUSH2 0x050e 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0xf831aee6 000000d5: EQ 000000d6: PUSH2 0x0522 000000d9: JUMPI 000000da: JUMPDEST 000000db: PUSH2 0x0548 000000de: PUSH2 0x0002 000000e1: JUMP 000000e2: JUMPDEST 000000e3: PUSH2 0x054c 000000e6: PUSH1 0x06 000000e8: SLOAD 000000e9: PUSH1 0x01 000000eb: PUSH1 0xa0 000000ed: PUSH1 0x02 000000ef: EXP 000000f0: SUB 000000f1: AND 000000f2: DUP2 000000f3: JUMP 000000f4: JUMPDEST 000000f5: PUSH2 0x0548 000000f8: PUSH2 0x064c 000000fb: JUMPDEST 000000fc: PUSH1 0x00 000000fe: SLOAD 000000ff: PUSH1 0xff 00000101: AND 00000102: ISZERO 00000103: PUSH2 0x0788 00000106: JUMPI 00000107: PUSH2 0x0002 0000010a: JUMP 0000010b: JUMPDEST 0000010c: PUSH2 0x0569 0000010f: PUSH1 0x04 00000111: SLOAD 00000112: PUSH1 0x00 00000114: NOT 00000115: ADD 00000116: JUMPDEST 00000117: SWAP1 00000118: JUMP 00000119: JUMPDEST 0000011a: PUSH2 0x0569 0000011d: PUSH1 0x04 0000011f: CALLDATALOAD 00000120: PUSH1 0x01 00000122: PUSH1 0xa0 00000124: PUSH1 0x02 00000126: EXP 00000127: SUB 00000128: DUP2 00000129: AND 0000012a: PUSH1 0x00 0000012c: SWAP1 0000012d: DUP2 0000012e: MSTORE 0000012f: PUSH1 0x01 00000131: PUSH1 0x20 00000133: MSTORE 00000134: PUSH1 0x40 00000136: SWAP1 00000137: KECCAK256 00000138: SLOAD 00000139: JUMPDEST 0000013a: SWAP2 0000013b: SWAP1 0000013c: POP 0000013d: JUMP 0000013e: JUMPDEST 0000013f: PUSH1 0x40 00000141: DUP1 00000142: MLOAD 00000143: PUSH1 0x20 00000145: PUSH1 0x04 00000147: DUP1 00000148: CALLDATALOAD 00000149: DUP1 0000014a: DUP3 0000014b: ADD 0000014c: CALLDATALOAD 0000014d: PUSH1 0x1f 0000014f: DUP2 00000150: ADD 00000151: DUP5 00000152: SWAP1 00000153: DIV 00000154: DUP5 00000155: MUL 00000156: DUP6 00000157: ADD 00000158: DUP5 00000159: ADD 0000015a: SWAP1 0000015b: SWAP6 0000015c: MSTORE 0000015d: DUP5 0000015e: DUP5 0000015f: MSTORE 00000160: PUSH2 0x057b 00000163: SWAP5 00000164: SWAP2 00000165: SWAP4 00000166: PUSH1 0x24 00000168: SWAP4 00000169: SWAP1 0000016a: SWAP3 0000016b: SWAP2 0000016c: DUP5 0000016d: ADD 0000016e: SWAP2 0000016f: SWAP1 00000170: DUP2 00000171: SWAP1 00000172: DUP5 00000173: ADD 00000174: DUP4 00000175: DUP3 00000176: DUP1 00000177: DUP3 00000178: DUP5 00000179: CALLDATACOPY 0000017a: POP 0000017b: SWAP5 0000017c: SWAP7 0000017d: POP 0000017e: POP 0000017f: POP 00000180: POP 00000181: POP 00000182: POP 00000183: POP 00000184: PUSH1 0x00 00000186: PUSH2 0x0694 00000189: DUP3 0000018a: JUMPDEST 0000018b: PUSH1 0x40 0000018d: DUP1 0000018e: MLOAD 0000018f: PUSH1 0x20 00000191: DUP2 00000192: ADD 00000193: SWAP1 00000194: SWAP2 00000195: MSTORE 00000196: PUSH1 0x00 00000198: SWAP1 00000199: DUP2 0000019a: SWAP1 0000019b: MSTORE 0000019c: DUP2 0000019d: MLOAD 0000019e: DUP3 0000019f: SWAP1 000001a0: DUP3 000001a1: DUP1 000001a2: DUP1 000001a3: PUSH1 0x01 000001a5: DUP5 000001a6: LT 000001a7: DUP1 000001a8: PUSH2 0x01b1 000001ab: JUMPI 000001ac: POP 000001ad: PUSH1 0x19 000001af: DUP5 000001b0: GT 000001b1: JUMPDEST 000001b2: ISZERO 000001b3: PUSH2 0x07a5 000001b6: JUMPI 000001b7: PUSH1 0x00 000001b9: SWAP6 000001ba: POP 000001bb: PUSH2 0x079b 000001be: JUMP 000001bf: JUMPDEST 000001c0: PUSH1 0x40 000001c2: DUP1 000001c3: MLOAD 000001c4: PUSH1 0x20 000001c6: PUSH1 0x04 000001c8: DUP1 000001c9: CALLDATALOAD 000001ca: DUP1 000001cb: DUP3 000001cc: ADD 000001cd: CALLDATALOAD 000001ce: PUSH1 0x1f 000001d0: DUP2 000001d1: ADD 000001d2: DUP5 000001d3: SWAP1 000001d4: DIV 000001d5: DUP5 000001d6: MUL 000001d7: DUP6 000001d8: ADD 000001d9: DUP5 000001da: ADD 000001db: SWAP1 000001dc: SWAP6 000001dd: MSTORE 000001de: DUP5 000001df: DUP5 000001e0: MSTORE 000001e1: PUSH2 0x0548 000001e4: SWAP5 000001e5: SWAP2 000001e6: SWAP4 000001e7: PUSH1 0x24 000001e9: SWAP4 000001ea: SWAP1 000001eb: SWAP3 000001ec: SWAP2 000001ed: DUP5 000001ee: ADD 000001ef: SWAP2 000001f0: SWAP1 000001f1: DUP2 000001f2: SWAP1 000001f3: DUP5 000001f4: ADD 000001f5: DUP4 000001f6: DUP3 000001f7: DUP1 000001f8: DUP3 000001f9: DUP5 000001fa: CALLDATACOPY 000001fb: POP 000001fc: SWAP5 000001fd: SWAP7 000001fe: POP 000001ff: POP 00000200: SWAP4 00000201: CALLDATALOAD 00000202: SWAP4 00000203: POP 00000204: POP 00000205: PUSH1 0x44 00000207: CALLDATALOAD 00000208: SWAP2 00000209: POP 0000020a: POP 0000020b: PUSH1 0x64 0000020d: CALLDATALOAD 0000020e: PUSH1 0x84 00000210: CALLDATALOAD 00000211: PUSH2 0x069b 00000214: PUSH2 0x00fb 00000217: JUMP 00000218: JUMPDEST 00000219: PUSH2 0x0569 0000021c: PUSH1 0x05 0000021e: SLOAD 0000021f: DUP2 00000220: JUMP 00000221: JUMPDEST 00000222: PUSH2 0x0548 00000225: PUSH1 0x04 00000227: CALLDATALOAD 00000228: PUSH2 0x06c1 0000022b: PUSH2 0x00fb 0000022e: JUMP 0000022f: JUMPDEST 00000230: PUSH2 0x058f 00000233: PUSH1 0x04 00000235: CALLDATALOAD 00000236: PUSH1 0x04 00000238: DUP1 00000239: SLOAD 0000023a: DUP3 0000023b: SWAP1 0000023c: DUP2 0000023d: LT 0000023e: ISZERO 0000023f: PUSH2 0x0002 00000242: JUMPI 00000243: POP 00000244: PUSH1 0x00 00000246: MSTORE 00000247: PUSH1 0x06 00000249: MUL 0000024a: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19b 0000026b: DUP2 0000026c: ADD 0000026d: SLOAD 0000026e: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19d 0000028f: DUP3 00000290: ADD 00000291: SLOAD 00000292: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19e 000002b3: DUP4 000002b4: ADD 000002b5: SLOAD 000002b6: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19f 000002d7: DUP5 000002d8: ADD 000002d9: SLOAD 000002da: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd1a0 000002fb: DUP6 000002fc: ADD 000002fd: SLOAD 000002fe: SWAP4 000002ff: SWAP5 00000300: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19c 00000321: ADD 00000322: SWAP4 00000323: PUSH1 0x01 00000325: PUSH1 0xa0 00000327: PUSH1 0x02 00000329: EXP 0000032a: SUB 0000032b: SWAP4 0000032c: DUP5 0000032d: AND 0000032e: SWAP4 0000032f: SWAP3 00000330: DUP4 00000331: AND 00000332: SWAP3 00000333: AND 00000334: DUP7 00000335: JUMP 00000336: JUMPDEST 00000337: PUSH2 0x0548 0000033a: PUSH1 0x04 0000033c: CALLDATALOAD 0000033d: PUSH2 0x06ed 00000340: PUSH2 0x00fb 00000343: JUMP 00000344: JUMPDEST 00000345: PUSH2 0x0569 00000348: PUSH1 0x03 0000034a: SLOAD 0000034b: DUP2 0000034c: JUMP 0000034d: JUMPDEST 0000034e: PUSH2 0x057b 00000351: PUSH1 0x04 00000353: CALLDATALOAD 00000354: PUSH1 0x24 00000356: CALLDATALOAD 00000357: PUSH1 0x44 00000359: CALLDATALOAD 0000035a: PUSH1 0x64 0000035c: CALLDATALOAD 0000035d: PUSH1 0x06 0000035f: SLOAD 00000360: PUSH1 0x40 00000362: DUP1 00000363: MLOAD 00000364: PUSH1 0x05 00000366: SLOAD 00000367: PUSH32 0xd22c391a00000000000000000000000000000000000000000000000000000000 00000388: DUP3 00000389: MSTORE 0000038a: PUSH1 0x04 0000038c: DUP3 0000038d: ADD 0000038e: DUP9 0000038f: SWAP1 00000390: MSTORE 00000391: PUSH1 0x24 00000393: DUP3 00000394: ADD 00000395: MSTORE 00000396: PUSH1 0x44 00000398: DUP2 00000399: ADD 0000039a: DUP7 0000039b: SWAP1 0000039c: MSTORE 0000039d: PUSH1 0x64 0000039f: DUP2 000003a0: ADD 000003a1: DUP6 000003a2: SWAP1 000003a3: MSTORE 000003a4: PUSH1 0x84 000003a6: DUP2 000003a7: ADD 000003a8: DUP5 000003a9: SWAP1 000003aa: MSTORE 000003ab: SWAP1 000003ac: MLOAD 000003ad: PUSH1 0x00 000003af: SWAP3 000003b0: PUSH1 0x01 000003b2: PUSH1 0xa0 000003b4: PUSH1 0x02 000003b6: EXP 000003b7: SUB 000003b8: AND 000003b9: SWAP2 000003ba: PUSH4 0xd22c391a 000003bf: SWAP2 000003c0: PUSH1 0xa4 000003c2: DUP1 000003c3: DUP4 000003c4: ADD 000003c5: SWAP3 000003c6: PUSH1 0x20 000003c8: SWAP3 000003c9: SWAP2 000003ca: SWAP1 000003cb: DUP3 000003cc: SWAP1 000003cd: SUB 000003ce: ADD 000003cf: DUP2 000003d0: DUP8 000003d1: DUP8 000003d2: PUSH2 0x61da 000003d5: GAS 000003d6: SUB 000003d7: CALL 000003d8: ISZERO 000003d9: PUSH2 0x0002 000003dc: JUMPI 000003dd: POP 000003de: POP 000003df: PUSH1 0x40 000003e1: MLOAD 000003e2: MLOAD 000003e3: SWAP7 000003e4: SWAP6 000003e5: POP 000003e6: POP 000003e7: POP 000003e8: POP 000003e9: POP 000003ea: POP 000003eb: JUMP 000003ec: JUMPDEST 000003ed: PUSH1 0x40 000003ef: DUP1 000003f0: MLOAD 000003f1: PUSH1 0x20 000003f3: PUSH1 0x04 000003f5: DUP1 000003f6: CALLDATALOAD 000003f7: DUP1 000003f8: DUP3 000003f9: ADD 000003fa: CALLDATALOAD 000003fb: PUSH1 0x1f 000003fd: DUP2 000003fe: ADD 000003ff: DUP5 00000400: SWAP1 00000401: DIV 00000402: DUP5 00000403: MUL 00000404: DUP6 00000405: ADD 00000406: DUP5 00000407: ADD 00000408: SWAP1 00000409: SWAP6 0000040a: MSTORE 0000040b: DUP5 0000040c: DUP5 0000040d: MSTORE 0000040e: PUSH2 0x0569 00000411: SWAP5 00000412: SWAP2 00000413: SWAP4 00000414: PUSH1 0x24 00000416: SWAP4 00000417: SWAP1 00000418: SWAP3 00000419: SWAP2 0000041a: DUP5 0000041b: ADD 0000041c: SWAP2 0000041d: SWAP1 0000041e: DUP2 0000041f: SWAP1 00000420: DUP5 00000421: ADD 00000422: DUP4 00000423: DUP3 00000424: DUP1 00000425: DUP3 00000426: DUP5 00000427: CALLDATACOPY 00000428: POP 00000429: SWAP5 0000042a: SWAP7 0000042b: POP 0000042c: POP 0000042d: POP 0000042e: POP 0000042f: POP 00000430: POP 00000431: POP 00000432: PUSH1 0x00 00000434: PUSH1 0x00 00000436: PUSH2 0x0711 00000439: DUP4 0000043a: JUMPDEST 0000043b: PUSH1 0x40 0000043d: DUP1 0000043e: MLOAD 0000043f: PUSH1 0x20 00000441: DUP2 00000442: ADD 00000443: SWAP1 00000444: SWAP2 00000445: MSTORE 00000446: PUSH1 0x00 00000448: SWAP1 00000449: DUP2 0000044a: SWAP1 0000044b: MSTORE 0000044c: DUP2 0000044d: MLOAD 0000044e: DUP3 0000044f: SWAP1 00000450: DUP3 00000451: SWAP1 00000452: DUP2 00000453: DUP1 00000454: DUP1 00000455: DUP1 00000456: DUP1 00000457: PUSH1 0x19 00000459: DUP7 0000045a: GT 0000045b: ISZERO 0000045c: PUSH2 0x0464 0000045f: JUMPI 00000460: PUSH1 0x19 00000462: SWAP6 00000463: POP 00000464: JUMPDEST 00000465: PUSH1 0x00 00000467: SWAP5 00000468: POP 00000469: JUMPDEST 0000046a: DUP6 0000046b: DUP6 0000046c: LT 0000046d: ISZERO 0000046e: PUSH2 0x0e5a 00000471: JUMPI 00000472: PUSH1 0x80 00000474: SWAP4 00000475: POP 00000476: DUP8 00000477: DUP6 00000478: DUP2 00000479: MLOAD 0000047a: DUP2 0000047b: LT 0000047c: ISZERO 0000047d: PUSH2 0x0002 00000480: JUMPI 00000481: ADD 00000482: PUSH1 0x20 00000484: ADD 00000485: MLOAD 00000486: PUSH1 0xf8 00000488: PUSH1 0x02 0000048a: EXP 0000048b: SWAP1 0000048c: DUP2 0000048d: SWAP1 0000048e: DIV 0000048f: DUP2 00000490: MUL 00000491: SWAP4 00000492: POP 00000493: DUP4 00000494: DIV 00000495: SWAP2 00000496: POP 00000497: PUSH1 0xfc 00000499: PUSH1 0x02 0000049b: EXP 0000049c: PUSH1 0x03 0000049e: MUL 0000049f: PUSH1 0x01 000004a1: PUSH1 0xf8 000004a3: PUSH1 0x02 000004a5: EXP 000004a6: SUB 000004a7: NOT 000004a8: DUP5 000004a9: AND 000004aa: LT 000004ab: DUP1 000004ac: ISZERO 000004ad: SWAP1 000004ae: PUSH2 0x04c8 000004b1: JUMPI 000004b2: POP 000004b3: PUSH1 0xf8 000004b5: PUSH1 0x02 000004b7: EXP 000004b8: PUSH1 0x39 000004ba: MUL 000004bb: PUSH1 0x01 000004bd: PUSH1 0xf8 000004bf: PUSH1 0x02 000004c1: EXP 000004c2: SUB 000004c3: NOT 000004c4: DUP5 000004c5: AND 000004c6: GT 000004c7: ISZERO 000004c8: JUMPDEST 000004c9: ISZERO 000004ca: PUSH2 0x0e68 000004cd: JUMPI 000004ce: SWAP6 000004cf: DUP4 000004d0: MUL 000004d1: DUP2 000004d2: ADD 000004d3: SWAP6 000004d4: JUMPDEST 000004d5: PUSH1 0x01 000004d7: SWAP5 000004d8: SWAP1 000004d9: SWAP5 000004da: ADD 000004db: SWAP4 000004dc: PUSH2 0x0469 000004df: JUMP 000004e0: JUMPDEST 000004e1: PUSH2 0x0548 000004e4: PUSH1 0x04 000004e6: CALLDATALOAD 000004e7: PUSH2 0x0727 000004ea: PUSH2 0x00fb 000004ed: JUMP 000004ee: JUMPDEST 000004ef: PUSH2 0x054c 000004f2: PUSH1 0x02 000004f4: SLOAD 000004f5: PUSH1 0x01 000004f7: PUSH1 0xa0 000004f9: PUSH1 0x02 000004fb: EXP 000004fc: SUB 000004fd: AND 000004fe: DUP2 000004ff: JUMP 00000500: JUMPDEST 00000501: PUSH2 0x0548 00000504: PUSH1 0x04 00000506: CALLDATALOAD 00000507: PUSH2 0x0748 0000050a: PUSH2 0x00fb 0000050d: JUMP 0000050e: JUMPDEST 0000050f: PUSH2 0x0548 00000512: PUSH1 0x04 00000514: CALLDATALOAD 00000515: PUSH1 0x24 00000517: CALLDATALOAD 00000518: PUSH1 0x44 0000051a: CALLDATALOAD 0000051b: PUSH2 0x0769 0000051e: PUSH2 0x00fb 00000521: JUMP 00000522: JUMPDEST 00000523: PUSH2 0x0569 00000526: PUSH1 0x00 00000528: PUSH2 0x0781 0000052b: PUSH1 0x03 0000052d: PUSH1 0x00 0000052f: POP 00000530: SLOAD 00000531: PUSH7 0x038d7ea4c68000 00000539: PUSH7 0x038d7ea4c67fff 00000541: DUP3 00000542: ADD 00000543: DIV 00000544: PUSH2 0x0139 00000547: JUMP 00000548: JUMPDEST 00000549: STOP 0000054a: JUMPDEST 0000054b: JUMP 0000054c: JUMPDEST 0000054d: PUSH1 0x40 0000054f: DUP1 00000550: MLOAD 00000551: PUSH1 0x01 00000553: PUSH1 0xa0 00000555: PUSH1 0x02 00000557: EXP 00000558: SUB 00000559: SWAP3 0000055a: SWAP1 0000055b: SWAP3 0000055c: AND 0000055d: DUP3 0000055e: MSTORE 0000055f: MLOAD 00000560: SWAP1 00000561: DUP2 00000562: SWAP1 00000563: SUB 00000564: PUSH1 0x20 00000566: ADD 00000567: SWAP1 00000568: RETURN 00000569: JUMPDEST 0000056a: PUSH1 0x40 0000056c: DUP1 0000056d: MLOAD 0000056e: SWAP2 0000056f: DUP3 00000570: MSTORE 00000571: MLOAD 00000572: SWAP1 00000573: DUP2 00000574: SWAP1 00000575: SUB 00000576: PUSH1 0x20 00000578: ADD 00000579: SWAP1 0000057a: RETURN 0000057b: JUMPDEST 0000057c: PUSH1 0x40 0000057e: DUP1 0000057f: MLOAD 00000580: SWAP2 00000581: ISZERO 00000582: ISZERO 00000583: DUP3 00000584: MSTORE 00000585: MLOAD 00000586: SWAP1 00000587: DUP2 00000588: SWAP1 00000589: SUB 0000058a: PUSH1 0x20 0000058c: ADD 0000058d: SWAP1 0000058e: RETURN 0000058f: JUMPDEST 00000590: PUSH1 0x40 00000592: DUP1 00000593: MLOAD 00000594: DUP8 00000595: DUP2 00000596: MSTORE 00000597: PUSH1 0x01 00000599: PUSH1 0xa0 0000059b: PUSH1 0x02 0000059d: EXP 0000059e: SUB 0000059f: DUP7 000005a0: DUP2 000005a1: AND 000005a2: SWAP3 000005a3: DUP3 000005a4: ADD 000005a5: SWAP3 000005a6: SWAP1 000005a7: SWAP3 000005a8: MSTORE 000005a9: DUP5 000005aa: DUP3 000005ab: AND 000005ac: PUSH1 0x60 000005ae: DUP3 000005af: ADD 000005b0: MSTORE 000005b1: PUSH1 0x80 000005b3: DUP2 000005b4: ADD 000005b5: DUP5 000005b6: SWAP1 000005b7: MSTORE 000005b8: SWAP1 000005b9: DUP3 000005ba: AND 000005bb: PUSH1 0xa0 000005bd: DUP3 000005be: ADD 000005bf: MSTORE 000005c0: PUSH1 0xc0 000005c2: PUSH1 0x20 000005c4: DUP3 000005c5: ADD 000005c6: DUP2 000005c7: DUP2 000005c8: MSTORE 000005c9: DUP8 000005ca: SLOAD 000005cb: PUSH1 0x02 000005cd: PUSH1 0x01 000005cf: DUP3 000005d0: AND 000005d1: ISZERO 000005d2: PUSH2 0x0100 000005d5: MUL 000005d6: PUSH1 0x00 000005d8: NOT 000005d9: ADD 000005da: SWAP1 000005db: SWAP2 000005dc: AND 000005dd: DIV 000005de: SWAP2 000005df: DUP4 000005e0: ADD 000005e1: DUP3 000005e2: SWAP1 000005e3: MSTORE 000005e4: SWAP1 000005e5: PUSH1 0xe0 000005e7: DUP4 000005e8: ADD 000005e9: SWAP1 000005ea: DUP9 000005eb: SWAP1 000005ec: DUP1 000005ed: ISZERO 000005ee: PUSH2 0x0638 000005f1: JUMPI 000005f2: DUP1 000005f3: PUSH1 0x1f 000005f5: LT 000005f6: PUSH2 0x060d 000005f9: JUMPI 000005fa: PUSH2 0x0100 000005fd: DUP1 000005fe: DUP4 000005ff: SLOAD 00000600: DIV 00000601: MUL 00000602: DUP4 00000603: MSTORE 00000604: SWAP2 00000605: PUSH1 0x20 00000607: ADD 00000608: SWAP2 00000609: PUSH2 0x0638 0000060c: JUMP 0000060d: JUMPDEST 0000060e: DUP3 0000060f: ADD 00000610: SWAP2 00000611: SWAP1 00000612: PUSH1 0x00 00000614: MSTORE 00000615: PUSH1 0x20 00000617: PUSH1 0x00 00000619: KECCAK256 0000061a: SWAP1 0000061b: JUMPDEST 0000061c: DUP2 0000061d: SLOAD 0000061e: DUP2 0000061f: MSTORE 00000620: SWAP1 00000621: PUSH1 0x01 00000623: ADD 00000624: SWAP1 00000625: PUSH1 0x20 00000627: ADD 00000628: DUP1 00000629: DUP4 0000062a: GT 0000062b: PUSH2 0x061b 0000062e: JUMPI 0000062f: DUP3 00000630: SWAP1 00000631: SUB 00000632: PUSH1 0x1f 00000634: AND 00000635: DUP3 00000636: ADD 00000637: SWAP2 00000638: JUMPDEST 00000639: POP 0000063a: POP 0000063b: SWAP8 0000063c: POP 0000063d: POP 0000063e: POP 0000063f: POP 00000640: POP 00000641: POP 00000642: POP 00000643: POP 00000644: PUSH1 0x40 00000646: MLOAD 00000647: DUP1 00000648: SWAP2 00000649: SUB 0000064a: SWAP1 0000064b: RETURN 0000064c: JUMPDEST 0000064d: PUSH2 0x0684 00000650: PUSH1 0x01 00000652: PUSH1 0xa0 00000654: PUSH1 0x02 00000656: EXP 00000657: SUB 00000658: CALLER 00000659: SWAP1 0000065a: DUP2 0000065b: AND 0000065c: PUSH1 0x00 0000065e: SWAP1 0000065f: DUP2 00000660: MSTORE 00000661: PUSH1 0x01 00000663: PUSH1 0x20 00000665: MSTORE 00000666: PUSH1 0x40 00000668: SWAP1 00000669: KECCAK256 0000066a: SLOAD 0000066b: DUP2 0000066c: SWAP1 0000066d: PUSH2 0x077c 00000670: DUP3 00000671: DUP3 00000672: PUSH2 0x59d8 00000675: JUMPDEST 00000676: PUSH1 0x00 00000678: DUP1 00000679: CALLVALUE 0000067a: DUP2 0000067b: EQ 0000067c: PUSH2 0x0f9e 0000067f: JUMPI 00000680: PUSH2 0x0002 00000683: JUMP 00000684: JUMPDEST 00000685: PUSH2 0x054a 00000688: JUMPDEST 00000689: PUSH1 0x00 0000068b: DUP1 0000068c: SLOAD 0000068d: PUSH1 0xff 0000068f: NOT 00000690: AND 00000691: SWAP1 00000692: SSTORE 00000693: JUMP 00000694: JUMPDEST 00000695: SWAP1 00000696: POP 00000697: PUSH2 0x0139 0000069a: JUMP 0000069b: JUMPDEST 0000069c: PUSH2 0x06b2 0000069f: DUP6 000006a0: DUP6 000006a1: DUP6 000006a2: DUP6 000006a3: DUP6 000006a4: CALLER 000006a5: PUSH1 0x00 000006a7: DUP1 000006a8: DUP1 000006a9: DUP1 000006aa: PUSH2 0x09e6 000006ad: DUP11 000006ae: PUSH2 0x018a 000006b1: JUMP 000006b2: JUMPDEST 000006b3: PUSH2 0x06ba 000006b6: PUSH2 0x0688 000006b9: JUMP 000006ba: JUMPDEST 000006bb: POP 000006bc: POP 000006bd: POP 000006be: POP 000006bf: POP 000006c0: JUMP 000006c1: JUMPDEST 000006c2: PUSH2 0x06e2 000006c5: DUP2 000006c6: PUSH1 0x02 000006c8: SLOAD 000006c9: PUSH1 0x01 000006cb: PUSH1 0xa0 000006cd: PUSH1 0x02 000006cf: EXP 000006d0: SUB 000006d1: SWAP1 000006d2: DUP2 000006d3: AND 000006d4: CALLER 000006d5: SWAP2 000006d6: SWAP1 000006d7: SWAP2 000006d8: AND 000006d9: EQ 000006da: PUSH2 0x0dd3 000006dd: JUMPI 000006de: PUSH2 0x0002 000006e1: JUMP 000006e2: JUMPDEST 000006e3: PUSH2 0x06ea 000006e6: PUSH2 0x0688 000006e9: JUMP 000006ea: JUMPDEST 000006eb: POP 000006ec: JUMP 000006ed: JUMPDEST 000006ee: PUSH2 0x06e2 000006f1: DUP2 000006f2: PUSH1 0x02 000006f4: SLOAD 000006f5: PUSH1 0x00 000006f7: SWAP1 000006f8: PUSH1 0x01 000006fa: PUSH1 0xa0 000006fc: PUSH1 0x02 000006fe: EXP 000006ff: SUB 00000700: SWAP1 00000701: DUP2 00000702: AND 00000703: CALLER 00000704: SWAP2 00000705: SWAP1 00000706: SWAP2 00000707: AND 00000708: EQ 00000709: PUSH2 0x0ded 0000070c: JUMPI 0000070d: PUSH2 0x0002 00000710: JUMP 00000711: JUMPDEST 00000712: PUSH1 0x00 00000714: SWAP1 00000715: DUP2 00000716: MSTORE 00000717: PUSH1 0x07 00000719: PUSH1 0x20 0000071b: MSTORE 0000071c: PUSH1 0x40 0000071e: SWAP1 0000071f: KECCAK256 00000720: SLOAD 00000721: SWAP4 00000722: SWAP3 00000723: POP 00000724: POP 00000725: POP 00000726: JUMP 00000727: JUMPDEST 00000728: PUSH2 0x06e2 0000072b: DUP2 0000072c: PUSH1 0x02 0000072e: SLOAD 0000072f: PUSH1 0x01 00000731: PUSH1 0xa0 00000733: PUSH1 0x02 00000735: EXP 00000736: SUB 00000737: SWAP1 00000738: DUP2 00000739: AND 0000073a: CALLER 0000073b: SWAP2 0000073c: SWAP1 0000073d: SWAP2 0000073e: AND 0000073f: EQ 00000740: PUSH2 0x0ef5 00000743: JUMPI 00000744: PUSH2 0x0002 00000747: JUMP 00000748: JUMPDEST 00000749: PUSH2 0x06e2 0000074c: DUP2 0000074d: PUSH1 0x02 0000074f: SLOAD 00000750: PUSH1 0x01 00000752: PUSH1 0xa0 00000754: PUSH1 0x02 00000756: EXP 00000757: SUB 00000758: SWAP1 00000759: DUP2 0000075a: AND 0000075b: CALLER 0000075c: SWAP2 0000075d: SWAP1 0000075e: SWAP2 0000075f: AND 00000760: EQ 00000761: PUSH2 0x0f56 00000764: JUMPI 00000765: PUSH2 0x0002 00000768: JUMP 00000769: JUMPDEST 0000076a: PUSH2 0x0774 0000076d: DUP4 0000076e: DUP4 0000076f: DUP4 00000770: PUSH2 0x0675 00000773: JUMP 00000774: JUMPDEST 00000775: PUSH2 0x077c 00000778: PUSH2 0x0688 0000077b: JUMP 0000077c: JUMPDEST 0000077d: POP 0000077e: POP 0000077f: POP 00000780: JUMP 00000781: JUMPDEST 00000782: SWAP1 00000783: POP 00000784: PUSH2 0x0116 00000787: JUMP 00000788: JUMPDEST 00000789: PUSH1 0x00 0000078b: DUP1 0000078c: SLOAD 0000078d: PUSH1 0xff 0000078f: NOT 00000790: AND 00000791: PUSH1 0x01 00000793: OR 00000794: SWAP1 00000795: SSTORE 00000796: JUMP 00000797: JUMPDEST 00000798: DUP3 00000799: SWAP6 0000079a: POP 0000079b: JUMPDEST 0000079c: POP 0000079d: POP 0000079e: POP 0000079f: POP 000007a0: POP 000007a1: SWAP2 000007a2: SWAP1 000007a3: POP 000007a4: JUMP 000007a5: JUMPDEST 000007a6: PUSH1 0x00 000007a8: SWAP3 000007a9: POP 000007aa: PUSH1 0x00 000007ac: SWAP2 000007ad: POP 000007ae: JUMPDEST 000007af: DUP4 000007b0: DUP3 000007b1: LT 000007b2: ISZERO 000007b3: PUSH2 0x0797 000007b6: JUMPI 000007b7: DUP5 000007b8: DUP3 000007b9: DUP2 000007ba: MLOAD 000007bb: DUP2 000007bc: LT 000007bd: ISZERO 000007be: PUSH2 0x0002 000007c1: JUMPI 000007c2: ADD 000007c3: PUSH1 0x20 000007c5: ADD 000007c6: MLOAD 000007c7: PUSH1 0xf8 000007c9: PUSH1 0x02 000007cb: EXP 000007cc: SWAP1 000007cd: DUP2 000007ce: SWAP1 000007cf: DIV 000007d0: MUL 000007d1: SWAP1 000007d2: POP 000007d3: PUSH1 0xfc 000007d5: PUSH1 0x02 000007d7: EXP 000007d8: PUSH1 0x03 000007da: MUL 000007db: PUSH1 0x01 000007dd: PUSH1 0xf8 000007df: PUSH1 0x02 000007e1: EXP 000007e2: SUB 000007e3: NOT 000007e4: DUP3 000007e5: AND 000007e6: LT 000007e7: DUP1 000007e8: ISZERO 000007e9: SWAP1 000007ea: PUSH2 0x0804 000007ed: JUMPI 000007ee: POP 000007ef: PUSH1 0xf8 000007f1: PUSH1 0x02 000007f3: EXP 000007f4: PUSH1 0x39 000007f6: MUL 000007f7: PUSH1 0x01 000007f9: PUSH1 0xf8 000007fb: PUSH1 0x02 000007fd: EXP 000007fe: SUB 000007ff: NOT 00000800: DUP3 00000801: AND 00000802: GT 00000803: ISZERO 00000804: JUMPDEST 00000805: DUP1 00000806: PUSH2 0x083c 00000809: JUMPI 0000080a: POP 0000080b: PUSH1 0xf8 0000080d: PUSH1 0x02 0000080f: EXP 00000810: PUSH1 0x41 00000812: MUL 00000813: PUSH1 0x01 00000815: PUSH1 0xf8 00000817: PUSH1 0x02 00000819: EXP 0000081a: SUB 0000081b: NOT 0000081c: DUP3 0000081d: AND 0000081e: LT 0000081f: DUP1 00000820: ISZERO 00000821: SWAP1 00000822: PUSH2 0x083c 00000825: JUMPI 00000826: POP 00000827: PUSH1 0xf9 00000829: PUSH1 0x02 0000082b: EXP 0000082c: PUSH1 0x2d 0000082e: MUL 0000082f: PUSH1 0x01 00000831: PUSH1 0xf8 00000833: PUSH1 0x02 00000835: EXP 00000836: SUB 00000837: NOT 00000838: DUP3 00000839: AND 0000083a: GT 0000083b: ISZERO 0000083c: JUMPDEST 0000083d: DUP1 0000083e: PUSH2 0x0874 00000841: JUMPI 00000842: POP 00000843: PUSH1 0xf8 00000845: PUSH1 0x02 00000847: EXP 00000848: PUSH1 0x61 0000084a: MUL 0000084b: PUSH1 0x01 0000084d: PUSH1 0xf8 0000084f: PUSH1 0x02 00000851: EXP 00000852: SUB 00000853: NOT 00000854: DUP3 00000855: AND 00000856: LT 00000857: DUP1 00000858: ISZERO 00000859: SWAP1 0000085a: PUSH2 0x0874 0000085d: JUMPI 0000085e: POP 0000085f: PUSH1 0xf9 00000861: PUSH1 0x02 00000863: EXP 00000864: PUSH1 0x3d 00000866: MUL 00000867: PUSH1 0x01 00000869: PUSH1 0xf8 0000086b: PUSH1 0x02 0000086d: EXP 0000086e: SUB 0000086f: NOT 00000870: DUP3 00000871: AND 00000872: GT 00000873: ISZERO 00000874: JUMPDEST 00000875: ISZERO 00000876: PUSH2 0x088a 00000879: JUMPI 0000087a: PUSH1 0x01 0000087c: SWAP3 0000087d: POP 0000087e: JUMPDEST 0000087f: PUSH1 0x01 00000881: SWAP2 00000882: SWAP1 00000883: SWAP2 00000884: ADD 00000885: SWAP1 00000886: PUSH2 0x07ae 00000889: JUMP 0000088a: JUMPDEST 0000088b: PUSH1 0x01 0000088d: PUSH1 0xf8 0000088f: PUSH1 0x02 00000891: EXP 00000892: SUB 00000893: NOT 00000894: DUP2 00000895: AND 00000896: PUSH1 0xfd 00000898: PUSH1 0x02 0000089a: EXP 0000089b: EQ 0000089c: DUP1 0000089d: PUSH2 0x08cf 000008a0: JUMPI 000008a1: POP 000008a2: PUSH1 0x01 000008a4: PUSH1 0xf8 000008a6: PUSH1 0x02 000008a8: EXP 000008a9: SUB 000008aa: NOT 000008ab: DUP2 000008ac: AND 000008ad: PUSH32 0x2100000000000000000000000000000000000000000000000000000000000000 000008ce: EQ 000008cf: JUMPDEST 000008d0: DUP1 000008d1: PUSH2 0x0903 000008d4: JUMPI 000008d5: POP 000008d6: PUSH1 0x01 000008d8: PUSH1 0xf8 000008da: PUSH1 0x02 000008dc: EXP 000008dd: SUB 000008de: NOT 000008df: DUP2 000008e0: AND 000008e1: PUSH32 0x2800000000000000000000000000000000000000000000000000000000000000 00000902: EQ 00000903: JUMPDEST 00000904: DUP1 00000905: PUSH2 0x0937 00000908: JUMPI 00000909: POP 0000090a: PUSH1 0x01 0000090c: PUSH1 0xf8 0000090e: PUSH1 0x02 00000910: EXP 00000911: SUB 00000912: NOT 00000913: DUP2 00000914: AND 00000915: PUSH32 0x2900000000000000000000000000000000000000000000000000000000000000 00000936: EQ 00000937: JUMPDEST 00000938: DUP1 00000939: PUSH2 0x096b 0000093c: JUMPI 0000093d: POP 0000093e: PUSH1 0x01 00000940: PUSH1 0xf8 00000942: PUSH1 0x02 00000944: EXP 00000945: SUB 00000946: NOT 00000947: DUP2 00000948: AND 00000949: PUSH32 0x2d00000000000000000000000000000000000000000000000000000000000000 0000096a: EQ 0000096b: JUMPDEST 0000096c: DUP1 0000096d: PUSH2 0x099f 00000970: JUMPI 00000971: POP 00000972: PUSH1 0x01 00000974: PUSH1 0xf8 00000976: PUSH1 0x02 00000978: EXP 00000979: SUB 0000097a: NOT 0000097b: DUP2 0000097c: AND 0000097d: PUSH32 0x2e00000000000000000000000000000000000000000000000000000000000000 0000099e: EQ 0000099f: JUMPDEST 000009a0: DUP1 000009a1: PUSH2 0x09d3 000009a4: JUMPI 000009a5: POP 000009a6: PUSH1 0x01 000009a8: PUSH1 0xf8 000009aa: PUSH1 0x02 000009ac: EXP 000009ad: SUB 000009ae: NOT 000009af: DUP2 000009b0: AND 000009b1: PUSH32 0x5f00000000000000000000000000000000000000000000000000000000000000 000009d2: EQ 000009d3: JUMPDEST 000009d4: ISZERO 000009d5: PUSH2 0x09dd 000009d8: JUMPI 000009d9: PUSH2 0x087e 000009dc: JUMP 000009dd: JUMPDEST 000009de: PUSH1 0x00 000009e0: SWAP6 000009e1: POP 000009e2: PUSH2 0x079b 000009e5: JUMP 000009e6: JUMPDEST 000009e7: ISZERO 000009e8: ISZERO 000009e9: PUSH2 0x09f1 000009ec: JUMPI 000009ed: PUSH2 0x0002 000009f0: JUMP 000009f1: JUMPDEST 000009f2: PUSH1 0x04 000009f4: SLOAD 000009f5: SWAP4 000009f6: POP 000009f7: PUSH2 0x0a06 000009fa: DUP11 000009fb: DUP6 000009fc: PUSH1 0x00 000009fe: PUSH2 0x1074 00000a01: DUP4 00000a02: PUSH2 0x043a 00000a05: JUMP 00000a06: JUMPDEST 00000a07: PUSH1 0x03 00000a09: SLOAD 00000a0a: CALLVALUE 00000a0b: SWAP4 00000a0c: POP 00000a0d: DUP4 00000a0e: LT 00000a0f: ISZERO 00000a10: PUSH2 0x0a18 00000a13: JUMPI 00000a14: PUSH2 0x0002 00000a17: JUMP 00000a18: JUMPDEST 00000a19: PUSH1 0x03 00000a1b: SLOAD 00000a1c: DUP4 00000a1d: SUB 00000a1e: SWAP2 00000a1f: POP 00000a20: PUSH7 0x038d7ea4c68000 00000a28: DUP3 00000a29: GT 00000a2a: ISZERO 00000a2b: PUSH2 0x0a33 00000a2e: JUMPI 00000a2f: PUSH2 0x0002 00000a32: JUMP 00000a33: JUMPDEST 00000a34: DUP3 00000a35: PUSH1 0x01 00000a37: PUSH1 0x00 00000a39: POP 00000a3a: PUSH1 0x00 00000a3c: PUSH1 0x02 00000a3e: PUSH1 0x00 00000a40: SWAP1 00000a41: SLOAD 00000a42: SWAP1 00000a43: PUSH2 0x0100 00000a46: EXP 00000a47: SWAP1 00000a48: DIV 00000a49: PUSH1 0x01 00000a4b: PUSH1 0xa0 00000a4d: PUSH1 0x02 00000a4f: EXP 00000a50: SUB 00000a51: AND 00000a52: PUSH1 0x01 00000a54: PUSH1 0xa0 00000a56: PUSH1 0x02 00000a58: EXP 00000a59: SUB 00000a5a: AND 00000a5b: DUP2 00000a5c: MSTORE 00000a5d: PUSH1 0x20 00000a5f: ADD 00000a60: SWAP1 00000a61: DUP2 00000a62: MSTORE 00000a63: PUSH1 0x20 00000a65: ADD 00000a66: PUSH1 0x00 00000a68: KECCAK256 00000a69: PUSH1 0x00 00000a6b: DUP3 00000a6c: DUP3 00000a6d: DUP3 00000a6e: POP 00000a6f: SLOAD 00000a70: ADD 00000a71: SWAP3 00000a72: POP 00000a73: POP 00000a74: DUP2 00000a75: SWAP1 00000a76: SSTORE 00000a77: POP 00000a78: PUSH1 0x06 00000a7a: PUSH1 0x00 00000a7c: SWAP1 00000a7d: SLOAD 00000a7e: SWAP1 00000a7f: PUSH2 0x0100 00000a82: EXP 00000a83: SWAP1 00000a84: DIV 00000a85: PUSH1 0x01 00000a87: PUSH1 0xa0 00000a89: PUSH1 0x02 00000a8b: EXP 00000a8c: SUB 00000a8d: AND 00000a8e: PUSH1 0x01 00000a90: PUSH1 0xa0 00000a92: PUSH1 0x02 00000a94: EXP 00000a95: SUB 00000a96: AND 00000a97: PUSH4 0xc090b86d 00000a9c: DUP12 00000a9d: ADDRESS 00000a9e: PUSH1 0x02 00000aa0: PUSH1 0x00 00000aa2: SWAP1 00000aa3: SLOAD 00000aa4: SWAP1 00000aa5: PUSH2 0x0100 00000aa8: EXP 00000aa9: SWAP1 00000aaa: DIV 00000aab: PUSH1 0x01 00000aad: PUSH1 0xa0 00000aaf: PUSH1 0x02 00000ab1: EXP 00000ab2: SUB 00000ab3: AND 00000ab4: DUP10 00000ab5: DUP15 00000ab6: PUSH1 0x05 00000ab8: PUSH1 0x00 00000aba: POP 00000abb: SLOAD 00000abc: DUP16 00000abd: DUP16 00000abe: DUP16 00000abf: PUSH1 0x40 00000ac1: MLOAD 00000ac2: DUP11 00000ac3: PUSH1 0xe0 00000ac5: PUSH1 0x02 00000ac7: EXP 00000ac8: MUL 00000ac9: DUP2 00000aca: MSTORE 00000acb: PUSH1 0x04 00000acd: ADD 00000ace: DUP1 00000acf: DUP1 00000ad0: PUSH1 0x20 00000ad2: ADD 00000ad3: DUP11 00000ad4: PUSH1 0x01 00000ad6: PUSH1 0xa0 00000ad8: PUSH1 0x02 00000ada: EXP 00000adb: SUB 00000adc: AND 00000add: DUP2 00000ade: MSTORE 00000adf: PUSH1 0x20 00000ae1: ADD 00000ae2: DUP10 00000ae3: PUSH1 0x01 00000ae5: PUSH1 0xa0 00000ae7: PUSH1 0x02 00000ae9: EXP 00000aea: SUB 00000aeb: AND 00000aec: DUP2 00000aed: MSTORE 00000aee: PUSH1 0x20 00000af0: ADD 00000af1: DUP9 00000af2: PUSH1 0x01 00000af4: PUSH1 0xa0 00000af6: PUSH1 0x02 00000af8: EXP 00000af9: SUB 00000afa: AND 00000afb: DUP2 00000afc: MSTORE 00000afd: PUSH1 0x20 00000aff: ADD 00000b00: DUP8 00000b01: DUP2 00000b02: MSTORE 00000b03: PUSH1 0x20 00000b05: ADD 00000b06: DUP7 00000b07: DUP2 00000b08: MSTORE 00000b09: PUSH1 0x20 00000b0b: ADD 00000b0c: DUP6 00000b0d: DUP2 00000b0e: MSTORE 00000b0f: PUSH1 0x20 00000b11: ADD 00000b12: DUP5 00000b13: DUP2 00000b14: MSTORE 00000b15: PUSH1 0x20 00000b17: ADD 00000b18: DUP4 00000b19: DUP2 00000b1a: MSTORE 00000b1b: PUSH1 0x20 00000b1d: ADD 00000b1e: DUP3 00000b1f: DUP2 00000b20: SUB 00000b21: DUP3 00000b22: MSTORE 00000b23: DUP12 00000b24: DUP2 00000b25: DUP2 00000b26: MLOAD 00000b27: DUP2 00000b28: MSTORE 00000b29: PUSH1 0x20 00000b2b: ADD 00000b2c: SWAP2 00000b2d: POP 00000b2e: DUP1 00000b2f: MLOAD 00000b30: SWAP1 00000b31: PUSH1 0x20 00000b33: ADD 00000b34: SWAP1 00000b35: DUP1 00000b36: DUP4 00000b37: DUP4 00000b38: DUP3 00000b39: SWAP1 00000b3a: PUSH1 0x00 00000b3c: PUSH1 0x04 00000b3e: PUSH1 0x20 00000b40: DUP5 00000b41: PUSH1 0x1f 00000b43: ADD 00000b44: DIV 00000b45: PUSH1 0x0f 00000b47: MUL 00000b48: PUSH1 0x03 00000b4a: ADD 00000b4b: CALL 00000b4c: POP 00000b4d: SWAP1 00000b4e: POP 00000b4f: SWAP1 00000b50: DUP2 00000b51: ADD 00000b52: SWAP1 00000b53: PUSH1 0x1f 00000b55: AND 00000b56: DUP1 00000b57: ISZERO 00000b58: PUSH2 0x0b75 00000b5b: JUMPI 00000b5c: DUP1 00000b5d: DUP3 00000b5e: SUB 00000b5f: DUP1 00000b60: MLOAD 00000b61: PUSH1 0x01 00000b63: DUP4 00000b64: PUSH1 0x20 00000b66: SUB 00000b67: PUSH2 0x0100 00000b6a: EXP 00000b6b: SUB 00000b6c: NOT 00000b6d: AND 00000b6e: DUP2 00000b6f: MSTORE 00000b70: PUSH1 0x20 00000b72: ADD 00000b73: SWAP2 00000b74: POP 00000b75: JUMPDEST 00000b76: POP 00000b77: SWAP11 00000b78: POP 00000b79: POP 00000b7a: POP 00000b7b: POP 00000b7c: POP 00000b7d: POP 00000b7e: POP 00000b7f: POP 00000b80: POP 00000b81: POP 00000b82: POP 00000b83: PUSH1 0x20 00000b85: PUSH1 0x40 00000b87: MLOAD 00000b88: DUP1 00000b89: DUP4 00000b8a: SUB 00000b8b: DUP2 00000b8c: PUSH1 0x00 00000b8e: DUP8 00000b8f: PUSH2 0x61da 00000b92: GAS 00000b93: SUB 00000b94: CALL 00000b95: ISZERO 00000b96: PUSH2 0x0002 00000b99: JUMPI 00000b9a: POP 00000b9b: POP 00000b9c: PUSH1 0x40 00000b9e: MLOAD 00000b9f: MLOAD 00000ba0: PUSH1 0x04 00000ba2: DUP1 00000ba3: SLOAD 00000ba4: PUSH1 0x01 00000ba6: DUP2 00000ba7: ADD 00000ba8: DUP1 00000ba9: DUP4 00000baa: SSTORE 00000bab: SWAP3 00000bac: SWAP5 00000bad: POP 00000bae: SWAP1 00000baf: SWAP3 00000bb0: POP 00000bb1: SWAP1 00000bb2: DUP3 00000bb3: DUP2 00000bb4: DUP4 00000bb5: DUP1 00000bb6: ISZERO 00000bb7: DUP3 00000bb8: SWAP1 00000bb9: GT 00000bba: PUSH2 0x0bdc 00000bbd: JUMPI 00000bbe: PUSH1 0x06 00000bc0: MUL 00000bc1: DUP2 00000bc2: PUSH1 0x06 00000bc4: MUL 00000bc5: DUP4 00000bc6: PUSH1 0x00 00000bc8: MSTORE 00000bc9: PUSH1 0x20 00000bcb: PUSH1 0x00 00000bcd: KECCAK256 00000bce: SWAP2 00000bcf: DUP3 00000bd0: ADD 00000bd1: SWAP2 00000bd2: ADD 00000bd3: PUSH2 0x0bdc 00000bd6: SWAP2 00000bd7: SWAP1 00000bd8: PUSH2 0x0cdd 00000bdb: JUMP 00000bdc: JUMPDEST 00000bdd: POP 00000bde: POP 00000bdf: POP 00000be0: SWAP2 00000be1: SWAP1 00000be2: SWAP1 00000be3: PUSH1 0x00 00000be5: MSTORE 00000be6: PUSH1 0x20 00000be8: PUSH1 0x00 00000bea: KECCAK256 00000beb: SWAP1 00000bec: PUSH1 0x06 00000bee: MUL 00000bef: ADD 00000bf0: PUSH1 0x00 00000bf2: PUSH1 0xc0 00000bf4: PUSH1 0x40 00000bf6: MLOAD 00000bf7: SWAP1 00000bf8: DUP2 00000bf9: ADD 00000bfa: PUSH1 0x40 00000bfc: MSTORE 00000bfd: DUP1 00000bfe: DUP9 00000bff: DUP2 00000c00: MSTORE 00000c01: PUSH1 0x20 00000c03: ADD 00000c04: DUP15 00000c05: DUP2 00000c06: MSTORE 00000c07: PUSH1 0x20 00000c09: ADD 00000c0a: DUP6 00000c0b: DUP2 00000c0c: MSTORE 00000c0d: PUSH1 0x20 00000c0f: ADD 00000c10: CALLER 00000c11: DUP2 00000c12: MSTORE 00000c13: PUSH1 0x20 00000c15: ADD 00000c16: TIMESTAMP 00000c17: DUP2 00000c18: MSTORE 00000c19: PUSH1 0x20 00000c1b: ADD 00000c1c: PUSH1 0x06 00000c1e: PUSH1 0x00 00000c20: SWAP1 00000c21: SLOAD 00000c22: SWAP1 00000c23: PUSH2 0x0100 00000c26: EXP 00000c27: SWAP1 00000c28: DIV 00000c29: PUSH1 0x01 00000c2b: PUSH1 0xa0 00000c2d: PUSH1 0x02 00000c2f: EXP 00000c30: SUB 00000c31: AND 00000c32: DUP2 00000c33: MSTORE 00000c34: PUSH1 0x20 00000c36: ADD 00000c37: POP 00000c38: SWAP1 00000c39: SWAP2 00000c3a: SWAP1 00000c3b: SWAP2 00000c3c: POP 00000c3d: PUSH1 0x00 00000c3f: DUP3 00000c40: ADD 00000c41: MLOAD 00000c42: DUP2 00000c43: PUSH1 0x00 00000c45: ADD 00000c46: PUSH1 0x00 00000c48: POP 00000c49: SSTORE 00000c4a: PUSH1 0x20 00000c4c: DUP3 00000c4d: ADD 00000c4e: MLOAD 00000c4f: DUP2 00000c50: PUSH1 0x01 00000c52: ADD 00000c53: PUSH1 0x00 00000c55: POP 00000c56: SWAP1 00000c57: DUP1 00000c58: MLOAD 00000c59: SWAP1 00000c5a: PUSH1 0x20 00000c5c: ADD 00000c5d: SWAP1 00000c5e: DUP3 00000c5f: DUP1 00000c60: SLOAD 00000c61: PUSH1 0x01 00000c63: DUP2 00000c64: PUSH1 0x01 00000c66: AND 00000c67: ISZERO 00000c68: PUSH2 0x0100 00000c6b: MUL 00000c6c: SUB 00000c6d: AND 00000c6e: PUSH1 0x02 00000c70: SWAP1 00000c71: DIV 00000c72: SWAP1 00000c73: PUSH1 0x00 00000c75: MSTORE 00000c76: PUSH1 0x20 00000c78: PUSH1 0x00 00000c7a: KECCAK256 00000c7b: SWAP1 00000c7c: PUSH1 0x1f 00000c7e: ADD 00000c7f: PUSH1 0x20 00000c81: SWAP1 00000c82: DIV 00000c83: DUP2 00000c84: ADD 00000c85: SWAP3 00000c86: DUP3 00000c87: PUSH1 0x1f 00000c89: LT 00000c8a: PUSH2 0x0d49 00000c8d: JUMPI 00000c8e: DUP1 00000c8f: MLOAD 00000c90: PUSH1 0xff 00000c92: NOT 00000c93: AND 00000c94: DUP4 00000c95: DUP1 00000c96: ADD 00000c97: OR 00000c98: DUP6 00000c99: SSTORE 00000c9a: JUMPDEST 00000c9b: POP 00000c9c: PUSH2 0x0d79 00000c9f: SWAP3 00000ca0: SWAP2 00000ca1: POP 00000ca2: PUSH2 0x0d31 00000ca5: JUMP 00000ca6: JUMPDEST 00000ca7: POP 00000ca8: POP 00000ca9: PUSH1 0x02 00000cab: DUP2 00000cac: ADD 00000cad: DUP1 00000cae: SLOAD 00000caf: PUSH1 0x01 00000cb1: PUSH1 0xa0 00000cb3: PUSH1 0x02 00000cb5: EXP 00000cb6: SUB 00000cb7: NOT 00000cb8: SWAP1 00000cb9: DUP2 00000cba: AND 00000cbb: SWAP1 00000cbc: SWAP2 00000cbd: SSTORE 00000cbe: PUSH1 0x03 00000cc0: DUP3 00000cc1: ADD 00000cc2: DUP1 00000cc3: SLOAD 00000cc4: DUP3 00000cc5: AND 00000cc6: SWAP1 00000cc7: SSTORE 00000cc8: PUSH1 0x00 00000cca: PUSH1 0x04 00000ccc: DUP4 00000ccd: ADD 00000cce: SSTORE 00000ccf: PUSH1 0x05 00000cd1: DUP3 00000cd2: ADD 00000cd3: DUP1 00000cd4: SLOAD 00000cd5: SWAP1 00000cd6: SWAP2 00000cd7: AND 00000cd8: SWAP1 00000cd9: SSTORE 00000cda: PUSH1 0x06 00000cdc: ADD 00000cdd: JUMPDEST 00000cde: DUP1 00000cdf: DUP3 00000ce0: GT 00000ce1: ISZERO 00000ce2: PUSH2 0x0d45 00000ce5: JUMPI 00000ce6: PUSH1 0x00 00000ce8: DUP1 00000ce9: DUP3 00000cea: SSTORE 00000ceb: PUSH1 0x01 00000ced: DUP3 00000cee: DUP2 00000cef: ADD 00000cf0: DUP1 00000cf1: SLOAD 00000cf2: DUP4 00000cf3: DUP3 00000cf4: SSTORE 00000cf5: SWAP1 00000cf6: SWAP2 00000cf7: PUSH1 0x02 00000cf9: SWAP1 00000cfa: DUP3 00000cfb: AND 00000cfc: ISZERO 00000cfd: PUSH2 0x0100 00000d00: MUL 00000d01: PUSH1 0x00 00000d03: NOT 00000d04: ADD 00000d05: SWAP1 00000d06: SWAP2 00000d07: AND 00000d08: DIV 00000d09: PUSH1 0x1f 00000d0b: DUP2 00000d0c: SWAP1 00000d0d: LT 00000d0e: PUSH2 0x0d17 00000d11: JUMPI 00000d12: POP 00000d13: PUSH2 0x0ca6 00000d16: JUMP 00000d17: JUMPDEST 00000d18: PUSH1 0x1f 00000d1a: ADD 00000d1b: PUSH1 0x20 00000d1d: SWAP1 00000d1e: DIV 00000d1f: SWAP1 00000d20: PUSH1 0x00 00000d22: MSTORE 00000d23: PUSH1 0x20 00000d25: PUSH1 0x00 00000d27: KECCAK256 00000d28: SWAP1 00000d29: DUP2 00000d2a: ADD 00000d2b: SWAP1 00000d2c: PUSH2 0x0ca6 00000d2f: SWAP2 00000d30: SWAP1 00000d31: JUMPDEST 00000d32: DUP1 00000d33: DUP3 00000d34: GT 00000d35: ISZERO 00000d36: PUSH2 0x0d45 00000d39: JUMPI 00000d3a: PUSH1 0x00 00000d3c: DUP2 00000d3d: SSTORE 00000d3e: PUSH1 0x01 00000d40: ADD 00000d41: PUSH2 0x0d31 00000d44: JUMP 00000d45: JUMPDEST 00000d46: POP 00000d47: SWAP1 00000d48: JUMP 00000d49: JUMPDEST 00000d4a: DUP3 00000d4b: DUP1 00000d4c: ADD 00000d4d: PUSH1 0x01 00000d4f: ADD 00000d50: DUP6 00000d51: SSTORE 00000d52: DUP3 00000d53: ISZERO 00000d54: PUSH2 0x0c9a 00000d57: JUMPI 00000d58: SWAP2 00000d59: DUP3 00000d5a: ADD 00000d5b: JUMPDEST 00000d5c: DUP3 00000d5d: DUP2 00000d5e: GT 00000d5f: ISZERO 00000d60: PUSH2 0x0c9a 00000d63: JUMPI 00000d64: DUP3 00000d65: MLOAD 00000d66: DUP3 00000d67: PUSH1 0x00 00000d69: POP 00000d6a: SSTORE 00000d6b: SWAP2 00000d6c: PUSH1 0x20 00000d6e: ADD 00000d6f: SWAP2 00000d70: SWAP1 00000d71: PUSH1 0x01 00000d73: ADD 00000d74: SWAP1 00000d75: PUSH2 0x0d5b 00000d78: JUMP 00000d79: JUMPDEST 00000d7a: POP 00000d7b: POP 00000d7c: PUSH1 0x40 00000d7e: DUP3 00000d7f: ADD 00000d80: MLOAD 00000d81: PUSH1 0x02 00000d83: DUP3 00000d84: ADD 00000d85: DUP1 00000d86: SLOAD 00000d87: PUSH1 0x01 00000d89: PUSH1 0xa0 00000d8b: PUSH1 0x02 00000d8d: EXP 00000d8e: SUB 00000d8f: NOT 00000d90: SWAP1 00000d91: DUP2 00000d92: AND 00000d93: SWAP1 00000d94: SWAP3 00000d95: OR 00000d96: SWAP1 00000d97: SSTORE 00000d98: PUSH1 0x60 00000d9a: DUP4 00000d9b: ADD 00000d9c: MLOAD 00000d9d: PUSH1 0x03 00000d9f: DUP4 00000da0: ADD 00000da1: DUP1 00000da2: SLOAD 00000da3: DUP4 00000da4: AND 00000da5: SWAP1 00000da6: SWAP2 00000da7: OR 00000da8: SWAP1 00000da9: SSTORE 00000daa: PUSH1 0x80 00000dac: DUP4 00000dad: ADD 00000dae: MLOAD 00000daf: PUSH1 0x04 00000db1: DUP4 00000db2: ADD 00000db3: SSTORE 00000db4: PUSH1 0xa0 00000db6: SWAP1 00000db7: SWAP3 00000db8: ADD 00000db9: MLOAD 00000dba: PUSH1 0x05 00000dbc: SWAP1 00000dbd: SWAP2 00000dbe: ADD 00000dbf: DUP1 00000dc0: SLOAD 00000dc1: SWAP1 00000dc2: SWAP3 00000dc3: AND 00000dc4: OR 00000dc5: SWAP1 00000dc6: SSTORE 00000dc7: POP 00000dc8: POP 00000dc9: POP 00000dca: POP 00000dcb: POP 00000dcc: POP 00000dcd: POP 00000dce: POP 00000dcf: POP 00000dd0: POP 00000dd1: POP 00000dd2: JUMP 00000dd3: JUMPDEST 00000dd4: PUSH8 0x0de0b6b3a7640000 00000ddd: DUP2 00000dde: LT 00000ddf: ISZERO 00000de0: PUSH2 0x0de8 00000de3: JUMPI 00000de4: PUSH2 0x0002 00000de7: JUMP 00000de8: JUMPDEST 00000de9: PUSH1 0x05 00000deb: SSTORE 00000dec: JUMP 00000ded: JUMPDEST 00000dee: CALLVALUE 00000def: PUSH1 0x00 00000df1: EQ 00000df2: PUSH2 0x0dfa 00000df5: JUMPI 00000df6: PUSH2 0x0002 00000df9: JUMP 00000dfa: JUMPDEST 00000dfb: POP 00000dfc: PUSH1 0x02 00000dfe: DUP1 00000dff: SLOAD 00000e00: PUSH1 0x01 00000e02: PUSH1 0xa0 00000e04: PUSH1 0x02 00000e06: EXP 00000e07: SUB 00000e08: NOT 00000e09: DUP2 00000e0a: AND 00000e0b: DUP4 00000e0c: OR 00000e0d: SWAP1 00000e0e: SWAP2 00000e0f: SSTORE 00000e10: PUSH1 0x40 00000e12: DUP1 00000e13: MLOAD 00000e14: PUSH1 0x01 00000e16: PUSH1 0xa0 00000e18: PUSH1 0x02 00000e1a: EXP 00000e1b: SUB 00000e1c: SWAP3 00000e1d: DUP4 00000e1e: AND 00000e1f: DUP1 00000e20: DUP3 00000e21: MSTORE 00000e22: SWAP3 00000e23: DUP5 00000e24: AND 00000e25: PUSH1 0x20 00000e27: DUP3 00000e28: ADD 00000e29: MSTORE 00000e2a: DUP2 00000e2b: MLOAD 00000e2c: PUSH32 0x8d63c77bb081073c8371ddcff6662e4a86fef97890eec21f6aa9773512b326f6 00000e4d: SWAP3 00000e4e: SWAP2 00000e4f: DUP2 00000e50: SWAP1 00000e51: SUB 00000e52: SWAP1 00000e53: SWAP2 00000e54: ADD 00000e55: SWAP1 00000e56: LOG1 00000e57: POP 00000e58: POP 00000e59: JUMP 00000e5a: JUMPDEST 00000e5b: POP 00000e5c: SWAP5 00000e5d: SWAP9 00000e5e: SWAP8 00000e5f: POP 00000e60: POP 00000e61: POP 00000e62: POP 00000e63: POP 00000e64: POP 00000e65: POP 00000e66: POP 00000e67: JUMP 00000e68: JUMPDEST 00000e69: PUSH1 0xf8 00000e6b: PUSH1 0x02 00000e6d: EXP 00000e6e: PUSH1 0x41 00000e70: MUL 00000e71: PUSH1 0x01 00000e73: PUSH1 0xf8 00000e75: PUSH1 0x02 00000e77: EXP 00000e78: SUB 00000e79: NOT 00000e7a: DUP5 00000e7b: AND 00000e7c: LT 00000e7d: DUP1 00000e7e: ISZERO 00000e7f: SWAP1 00000e80: PUSH2 0x0e9a 00000e83: JUMPI 00000e84: POP 00000e85: PUSH1 0xf9 00000e87: PUSH1 0x02 00000e89: EXP 00000e8a: PUSH1 0x2d 00000e8c: MUL 00000e8d: PUSH1 0x01 00000e8f: PUSH1 0xf8 00000e91: PUSH1 0x02 00000e93: EXP 00000e94: SUB 00000e95: NOT 00000e96: DUP5 00000e97: AND 00000e98: GT 00000e99: ISZERO 00000e9a: JUMPDEST 00000e9b: ISZERO 00000e9c: PUSH2 0x0eaa 00000e9f: JUMPI 00000ea0: SWAP6 00000ea1: DUP4 00000ea2: MUL 00000ea3: DUP2 00000ea4: ADD 00000ea5: SWAP6 00000ea6: PUSH2 0x04d4 00000ea9: JUMP 00000eaa: JUMPDEST 00000eab: PUSH1 0xf8 00000ead: PUSH1 0x02 00000eaf: EXP 00000eb0: PUSH1 0x61 00000eb2: MUL 00000eb3: PUSH1 0x01 00000eb5: PUSH1 0xf8 00000eb7: PUSH1 0x02 00000eb9: EXP 00000eba: SUB 00000ebb: NOT 00000ebc: DUP5 00000ebd: AND 00000ebe: LT 00000ebf: DUP1 00000ec0: ISZERO 00000ec1: SWAP1 00000ec2: PUSH2 0x0edc 00000ec5: JUMPI 00000ec6: POP 00000ec7: PUSH1 0xf9 00000ec9: PUSH1 0x02 00000ecb: EXP 00000ecc: PUSH1 0x3d 00000ece: MUL 00000ecf: PUSH1 0x01 00000ed1: PUSH1 0xf8 00000ed3: PUSH1 0x02 00000ed5: EXP 00000ed6: SUB 00000ed7: NOT 00000ed8: DUP5 00000ed9: AND 00000eda: GT 00000edb: ISZERO 00000edc: JUMPDEST 00000edd: ISZERO 00000ede: PUSH2 0x04d4 00000ee1: JUMPI 00000ee2: PUSH1 0x20 00000ee4: DUP3 00000ee5: SUB 00000ee6: SWAP1 00000ee7: POP 00000ee8: DUP1 00000ee9: DUP5 00000eea: DUP9 00000eeb: MUL 00000eec: ADD 00000eed: SWAP7 00000eee: POP 00000eef: DUP7 00000ef0: POP 00000ef1: PUSH2 0x04d4 00000ef4: JUMP 00000ef5: JUMPDEST 00000ef6: CALLVALUE 00000ef7: PUSH1 0x00 00000ef9: EQ 00000efa: PUSH2 0x0f02 00000efd: JUMPI 00000efe: PUSH2 0x0002 00000f01: JUMP 00000f02: JUMPDEST 00000f03: PUSH1 0x06 00000f05: DUP1 00000f06: SLOAD 00000f07: PUSH1 0x01 00000f09: PUSH1 0xa0 00000f0b: PUSH1 0x02 00000f0d: EXP 00000f0e: SUB 00000f0f: NOT 00000f10: AND 00000f11: DUP3 00000f12: OR 00000f13: SWAP1 00000f14: DUP2 00000f15: SWAP1 00000f16: SSTORE 00000f17: PUSH1 0x40 00000f19: DUP1 00000f1a: MLOAD 00000f1b: PUSH1 0x01 00000f1d: PUSH1 0xa0 00000f1f: PUSH1 0x02 00000f21: EXP 00000f22: SUB 00000f23: SWAP3 00000f24: SWAP1 00000f25: SWAP3 00000f26: AND 00000f27: DUP3 00000f28: MSTORE 00000f29: MLOAD 00000f2a: PUSH32 0x8220e945320a0d4ac21ba0208d4b032c8f0bcfd09a508defa1d6170c3fe3c475 00000f4b: SWAP2 00000f4c: DUP2 00000f4d: SWAP1 00000f4e: SUB 00000f4f: PUSH1 0x20 00000f51: ADD 00000f52: SWAP1 00000f53: LOG1 00000f54: POP 00000f55: JUMP 00000f56: JUMPDEST 00000f57: CALLVALUE 00000f58: PUSH1 0x00 00000f5a: EQ 00000f5b: PUSH2 0x0f63 00000f5e: JUMPI 00000f5f: PUSH2 0x0002 00000f62: JUMP 00000f63: JUMPDEST 00000f64: PUSH1 0x03 00000f66: DUP2 00000f67: SWAP1 00000f68: SSTORE 00000f69: PUSH1 0x40 00000f6b: DUP1 00000f6c: MLOAD 00000f6d: DUP3 00000f6e: DUP2 00000f6f: MSTORE 00000f70: SWAP1 00000f71: MLOAD 00000f72: PUSH32 0x9d827eb9698855da0620625fcd2fb103ab4b589212353580b4cc318693a186cc 00000f93: SWAP2 00000f94: DUP2 00000f95: SWAP1 00000f96: SUB 00000f97: PUSH1 0x20 00000f99: ADD 00000f9a: SWAP1 00000f9b: LOG1 00000f9c: POP 00000f9d: JUMP 00000f9e: JUMPDEST 00000f9f: CALLER 00000fa0: PUSH1 0x01 00000fa2: PUSH1 0xa0 00000fa4: PUSH1 0x02 00000fa6: EXP 00000fa7: SUB 00000fa8: DUP2 00000fa9: AND 00000faa: PUSH1 0x00 00000fac: SWAP1 00000fad: DUP2 00000fae: MSTORE 00000faf: PUSH1 0x01 00000fb1: PUSH1 0x20 00000fb3: MSTORE 00000fb4: PUSH1 0x40 00000fb6: SWAP1 00000fb7: KECCAK256 00000fb8: SLOAD 00000fb9: SWAP1 00000fba: SWAP3 00000fbb: POP 00000fbc: DUP5 00000fbd: GT 00000fbe: ISZERO 00000fbf: PUSH2 0x0fc7 00000fc2: JUMPI 00000fc3: PUSH2 0x0002 00000fc6: JUMP 00000fc7: JUMPDEST 00000fc8: PUSH1 0x01 00000fca: PUSH1 0xa0 00000fcc: PUSH1 0x02 00000fce: EXP 00000fcf: SUB 00000fd0: DUP3 00000fd1: AND 00000fd2: PUSH1 0x00 00000fd4: SWAP1 00000fd5: DUP2 00000fd6: MSTORE 00000fd7: PUSH1 0x01 00000fd9: PUSH1 0x20 00000fdb: MSTORE 00000fdc: PUSH1 0x40 00000fde: SWAP1 00000fdf: KECCAK256 00000fe0: DUP1 00000fe1: SLOAD 00000fe2: DUP6 00000fe3: SWAP1 00000fe4: SUB 00000fe5: SWAP1 00000fe6: SSTORE 00000fe7: PUSH2 0x1015 00000fea: DUP6 00000feb: DUP6 00000fec: DUP6 00000fed: PUSH1 0x40 00000fef: MLOAD 00000ff0: PUSH1 0x00 00000ff2: SWAP1 00000ff3: PUSH1 0x01 00000ff5: PUSH1 0xa0 00000ff7: PUSH1 0x02 00000ff9: EXP 00000ffa: SUB 00000ffb: DUP6 00000ffc: AND 00000ffd: SWAP1 00000ffe: DUP4 00000fff: SWAP1 00001000: DUP6 00001001: SWAP1 00001002: DUP5 00001003: DUP2 00001004: DUP2 00001005: DUP2 00001006: DUP6 00001007: DUP9 00001008: DUP9 00001009: CALL 0000100a: SWAP9 0000100b: SWAP8 0000100c: POP 0000100d: POP 0000100e: POP 0000100f: POP 00001010: POP 00001011: POP 00001012: POP 00001013: POP 00001014: JUMP 00001015: JUMPDEST 00001016: SWAP1 00001017: POP 00001018: DUP1 00001019: ISZERO 0000101a: ISZERO 0000101b: PUSH2 0x1023 0000101e: JUMPI 0000101f: PUSH2 0x0002 00001022: JUMP 00001023: JUMPDEST 00001024: PUSH1 0x40 00001026: DUP1 00001027: MLOAD 00001028: PUSH1 0x01 0000102a: PUSH1 0xa0 0000102c: PUSH1 0x02 0000102e: EXP 0000102f: SUB 00001030: DUP5 00001031: DUP2 00001032: AND 00001033: DUP3 00001034: MSTORE 00001035: DUP8 00001036: AND 00001037: PUSH1 0x20 00001039: DUP3 0000103a: ADD 0000103b: MSTORE 0000103c: DUP1 0000103d: DUP3 0000103e: ADD 0000103f: DUP7 00001040: SWAP1 00001041: MSTORE 00001042: SWAP1 00001043: MLOAD 00001044: PUSH32 0x4fe87fe0fe80d31559ec65324e3a3655fd633eb407f964a8295d5d1da7a6c618 00001065: SWAP2 00001066: DUP2 00001067: SWAP1 00001068: SUB 00001069: PUSH1 0x60 0000106b: ADD 0000106c: SWAP1 0000106d: LOG1 0000106e: POP 0000106f: POP 00001070: POP 00001071: POP 00001072: POP 00001073: JUMP 00001074: JUMPDEST 00001075: PUSH1 0x00 00001077: DUP2 00001078: DUP2 00001079: MSTORE 0000107a: PUSH1 0x07 0000107c: PUSH1 0x20 0000107e: MSTORE 0000107f: PUSH1 0x40 00001081: DUP2 00001082: KECCAK256 00001083: SLOAD 00001084: SWAP2 00001085: SWAP3 00001086: POP 00001087: EQ 00001088: PUSH2 0x1090 0000108b: JUMPI 0000108c: PUSH2 0x0002 0000108f: JUMP 00001090: JUMPDEST 00001091: PUSH1 0x00 00001093: SWAP1 00001094: DUP2 00001095: MSTORE 00001096: PUSH1 0x07 00001098: PUSH1 0x20 0000109a: MSTORE 0000109b: PUSH1 0x40 0000109d: SWAP1 0000109e: KECCAK256 0000109f: SSTORE 000010a0: POP 000010a1: JUMP
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xf26d43e0ad3baf6bf3ec9278157dd3921217f6421771600506f6b15428af4362
call_targets:
0xe15551395a6832439b54d21e892ebe6c90a49b5a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xf26d43e0ad3baf6bf3ec9278157dd3921217f6421771600506f6b15428af4362",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xe15551395a6832439b54d21e892ebe6c90a49b5a"
],
"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": "0x1b82f68f",
"selector": "0x1b82f68f",
"calldata_variants": [
"0x1b82f68f",
"0x1b82f68f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x24600fc3",
"selector": "0x24600fc3",
"calldata_variants": [
"0x24600fc3",
"0x24600fc30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x33ae88ad",
"selector": "0x33ae88ad",
"calldata_variants": [
"0x33ae88ad",
"0x33ae88ad0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x43243797",
"selector": "0x43243797",
"calldata_variants": [
"0x43243797",
"0x432437970000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6776e56a",
"selector": "0x6776e56a",
"calldata_variants": [
"0x6776e56a",
"0x6776e56a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7ae15a19",
"selector": "0x7ae15a19",
"calldata_variants": [
"0x7ae15a19",
"0x7ae15a190000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7c9b387b",
"selector": "0x7c9b387b",
"calldata_variants": [
"0x7c9b387b",
"0x7c9b387b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x840c0ca9",
"selector": "0x840c0ca9",
"calldata_variants": [
"0x840c0ca9",
"0x840c0ca90000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 983,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2891,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2964,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [],
"untrusted_call_count": 4
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xf26d43e0ad3baf6bf3ec9278157dd3921217f6421771600506f6b15428af4362
call_targets:
0xe15551395a6832439b54d21e892ebe6c90a49b5a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xf26d43e0ad3baf6bf3ec9278157dd3921217f6421771600506f6b15428af4362",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xe15551395a6832439b54d21e892ebe6c90a49b5a"
],
"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": "0x1b82f68f",
"selector": "0x1b82f68f",
"calldata_variants": [
"0x1b82f68f",
"0x1b82f68f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x24600fc3",
"selector": "0x24600fc3",
"calldata_variants": [
"0x24600fc3",
"0x24600fc30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x33ae88ad",
"selector": "0x33ae88ad",
"calldata_variants": [
"0x33ae88ad",
"0x33ae88ad0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x43243797",
"selector": "0x43243797",
"calldata_variants": [
"0x43243797",
"0x432437970000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6776e56a",
"selector": "0x6776e56a",
"calldata_variants": [
"0x6776e56a",
"0x6776e56a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7ae15a19",
"selector": "0x7ae15a19",
"calldata_variants": [
"0x7ae15a19",
"0x7ae15a190000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7c9b387b",
"selector": "0x7c9b387b",
"calldata_variants": [
"0x7c9b387b",
"0x7c9b387b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x840c0ca9",
"selector": "0x840c0ca9",
"calldata_variants": [
"0x840c0ca9",
"0x840c0ca90000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 983,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2891,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2964,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": []
}
|