019b3844-9787-72ed-a959-f2248d283286
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 |
|---|---|---|---|---|
| 13737 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 13738 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 56753 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 56754 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 56755 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 56756 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x00ec 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x9ddb9ee1 00000019: GT 0000001a: PUSH2 0x008a 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xe43608d8 00000024: GT 00000025: PUSH2 0x0059 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xe43608d8 0000002f: EQ 00000030: PUSH2 0x0378 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xefe7a504 0000003a: EQ 0000003b: PUSH2 0x038d 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf2fde38b 00000045: EQ 00000046: PUSH2 0x03a2 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf6530090 00000050: EQ 00000051: PUSH2 0x03d5 00000054: JUMPI 00000055: PUSH2 0x0220 00000058: JUMP 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0x9ddb9ee1 00000060: EQ 00000061: PUSH2 0x0306 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0xaa1cf2a2 0000006b: EQ 0000006c: PUSH2 0x0339 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xb66a0e5d 00000076: EQ 00000077: PUSH2 0x034e 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xba9a061a 00000081: EQ 00000082: PUSH2 0x0363 00000085: JUMPI 00000086: PUSH2 0x0220 00000089: JUMP 0000008a: JUMPDEST 0000008b: DUP1 0000008c: PUSH4 0x4e71d92d 00000091: GT 00000092: PUSH2 0x00c6 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x4e71d92d 0000009c: EQ 0000009d: PUSH2 0x0296 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x5b655e12 000000a7: EQ 000000a8: PUSH2 0x02ab 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x715018a6 000000b2: EQ 000000b3: PUSH2 0x02dc 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x8da5cb5b 000000bd: EQ 000000be: PUSH2 0x02f1 000000c1: JUMPI 000000c2: PUSH2 0x0220 000000c5: JUMP 000000c6: JUMPDEST 000000c7: DUP1 000000c8: PUSH4 0x02e3cb0b 000000cd: EQ 000000ce: PUSH2 0x0225 000000d1: JUMPI 000000d2: DUP1 000000d3: PUSH4 0x2187d445 000000d8: EQ 000000d9: PUSH2 0x024c 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0x2a0722a6 000000e3: EQ 000000e4: PUSH2 0x0281 000000e7: JUMPI 000000e8: PUSH2 0x0220 000000eb: JUMP 000000ec: JUMPDEST 000000ed: CALLDATASIZE 000000ee: PUSH2 0x0220 000000f1: JUMPI 000000f2: TIMESTAMP 000000f3: PUSH1 0x01 000000f5: SLOAD 000000f6: GT 000000f7: ISZERO 000000f8: PUSH2 0x0148 000000fb: JUMPI 000000fc: PUSH1 0x40 000000fe: DUP1 000000ff: MLOAD 00000100: PUSH3 0x461bcd 00000104: PUSH1 0xe5 00000106: SHL 00000107: DUP2 00000108: MSTORE 00000109: PUSH1 0x20 0000010b: PUSH1 0x04 0000010d: DUP3 0000010e: ADD 0000010f: DUP2 00000110: SWAP1 00000111: MSTORE 00000112: PUSH1 0x24 00000114: DUP3 00000115: ADD 00000116: MSTORE 00000117: PUSH32 0x546865206f66666572696e6720686173206e6f74207374617274656420796574 00000138: PUSH1 0x44 0000013a: DUP3 0000013b: ADD 0000013c: MSTORE 0000013d: SWAP1 0000013e: MLOAD 0000013f: SWAP1 00000140: DUP2 00000141: SWAP1 00000142: SUB 00000143: PUSH1 0x64 00000145: ADD 00000146: SWAP1 00000147: REVERT 00000148: JUMPDEST 00000149: PUSH1 0x02 0000014b: SLOAD 0000014c: TIMESTAMP 0000014d: GT 0000014e: ISZERO 0000014f: PUSH2 0x019f 00000152: JUMPI 00000153: PUSH1 0x40 00000155: DUP1 00000156: MLOAD 00000157: PUSH3 0x461bcd 0000015b: PUSH1 0xe5 0000015d: SHL 0000015e: DUP2 0000015f: MSTORE 00000160: PUSH1 0x20 00000162: PUSH1 0x04 00000164: DUP3 00000165: ADD 00000166: MSTORE 00000167: PUSH1 0x1e 00000169: PUSH1 0x24 0000016b: DUP3 0000016c: ADD 0000016d: MSTORE 0000016e: PUSH32 0x546865206f66666572696e672068617320616c726561647920656e6465640000 0000018f: PUSH1 0x44 00000191: DUP3 00000192: ADD 00000193: MSTORE 00000194: SWAP1 00000195: MLOAD 00000196: SWAP1 00000197: DUP2 00000198: SWAP1 00000199: SUB 0000019a: PUSH1 0x64 0000019c: ADD 0000019d: SWAP1 0000019e: REVERT 0000019f: JUMPDEST 000001a0: PUSH1 0x05 000001a2: DUP1 000001a3: SLOAD 000001a4: CALLVALUE 000001a5: SWAP1 000001a6: DUP2 000001a7: ADD 000001a8: SWAP1 000001a9: SWAP2 000001aa: SSTORE 000001ab: PUSH1 0x06 000001ad: PUSH1 0x00 000001af: PUSH2 0x01b6 000001b2: PUSH2 0x03ea 000001b5: JUMP 000001b6: JUMPDEST 000001b7: PUSH1 0x01 000001b9: PUSH1 0x01 000001bb: PUSH1 0xa0 000001bd: SHL 000001be: SUB 000001bf: AND 000001c0: DUP2 000001c1: MSTORE 000001c2: PUSH1 0x20 000001c4: DUP2 000001c5: ADD 000001c6: SWAP2 000001c7: SWAP1 000001c8: SWAP2 000001c9: MSTORE 000001ca: PUSH1 0x40 000001cc: ADD 000001cd: PUSH1 0x00 000001cf: KECCAK256 000001d0: DUP1 000001d1: SLOAD 000001d2: SWAP1 000001d3: SWAP2 000001d4: ADD 000001d5: SWAP1 000001d6: SSTORE 000001d7: PUSH2 0x01de 000001da: PUSH2 0x03ea 000001dd: JUMP 000001de: JUMPDEST 000001df: PUSH1 0x01 000001e1: PUSH1 0x01 000001e3: PUSH1 0xa0 000001e5: SHL 000001e6: SUB 000001e7: AND 000001e8: PUSH32 0x88a5966d370b9919b20f3e2c13ff65706f196a4e32cc2c12bf57088f88525874 00000209: CALLVALUE 0000020a: PUSH1 0x40 0000020c: MLOAD 0000020d: DUP1 0000020e: DUP3 0000020f: DUP2 00000210: MSTORE 00000211: PUSH1 0x20 00000213: ADD 00000214: SWAP2 00000215: POP 00000216: POP 00000217: PUSH1 0x40 00000219: MLOAD 0000021a: DUP1 0000021b: SWAP2 0000021c: SUB 0000021d: SWAP1 0000021e: LOG2 0000021f: STOP 00000220: JUMPDEST 00000221: PUSH1 0x00 00000223: DUP1 00000224: REVERT 00000225: JUMPDEST 00000226: CALLVALUE 00000227: DUP1 00000228: ISZERO 00000229: PUSH2 0x0231 0000022c: JUMPI 0000022d: PUSH1 0x00 0000022f: DUP1 00000230: REVERT 00000231: JUMPDEST 00000232: POP 00000233: PUSH2 0x023a 00000236: PUSH2 0x03ee 00000239: JUMP 0000023a: JUMPDEST 0000023b: PUSH1 0x40 0000023d: DUP1 0000023e: MLOAD 0000023f: SWAP2 00000240: DUP3 00000241: MSTORE 00000242: MLOAD 00000243: SWAP1 00000244: DUP2 00000245: SWAP1 00000246: SUB 00000247: PUSH1 0x20 00000249: ADD 0000024a: SWAP1 0000024b: RETURN 0000024c: JUMPDEST 0000024d: CALLVALUE 0000024e: DUP1 0000024f: ISZERO 00000250: PUSH2 0x0258 00000253: JUMPI 00000254: PUSH1 0x00 00000256: DUP1 00000257: REVERT 00000258: JUMPDEST 00000259: POP 0000025a: PUSH2 0x027f 0000025d: PUSH1 0x04 0000025f: DUP1 00000260: CALLDATASIZE 00000261: SUB 00000262: PUSH1 0x20 00000264: DUP2 00000265: LT 00000266: ISZERO 00000267: PUSH2 0x026f 0000026a: JUMPI 0000026b: PUSH1 0x00 0000026d: DUP1 0000026e: REVERT 0000026f: JUMPDEST 00000270: POP 00000271: CALLDATALOAD 00000272: PUSH1 0x01 00000274: PUSH1 0x01 00000276: PUSH1 0xa0 00000278: SHL 00000279: SUB 0000027a: AND 0000027b: PUSH2 0x03f4 0000027e: JUMP 0000027f: JUMPDEST 00000280: STOP 00000281: JUMPDEST 00000282: CALLVALUE 00000283: DUP1 00000284: ISZERO 00000285: PUSH2 0x028d 00000288: JUMPI 00000289: PUSH1 0x00 0000028b: DUP1 0000028c: REVERT 0000028d: JUMPDEST 0000028e: POP 0000028f: PUSH2 0x023a 00000292: PUSH2 0x04d8 00000295: JUMP 00000296: JUMPDEST 00000297: CALLVALUE 00000298: DUP1 00000299: ISZERO 0000029a: PUSH2 0x02a2 0000029d: JUMPI 0000029e: PUSH1 0x00 000002a0: DUP1 000002a1: REVERT 000002a2: JUMPDEST 000002a3: POP 000002a4: PUSH2 0x027f 000002a7: PUSH2 0x04de 000002aa: JUMP 000002ab: JUMPDEST 000002ac: CALLVALUE 000002ad: DUP1 000002ae: ISZERO 000002af: PUSH2 0x02b7 000002b2: JUMPI 000002b3: PUSH1 0x00 000002b5: DUP1 000002b6: REVERT 000002b7: JUMPDEST 000002b8: POP 000002b9: PUSH2 0x02c0 000002bc: PUSH2 0x06b8 000002bf: JUMP 000002c0: JUMPDEST 000002c1: PUSH1 0x40 000002c3: DUP1 000002c4: MLOAD 000002c5: PUSH1 0x01 000002c7: PUSH1 0x01 000002c9: PUSH1 0xa0 000002cb: SHL 000002cc: SUB 000002cd: SWAP1 000002ce: SWAP3 000002cf: AND 000002d0: DUP3 000002d1: MSTORE 000002d2: MLOAD 000002d3: SWAP1 000002d4: DUP2 000002d5: SWAP1 000002d6: SUB 000002d7: PUSH1 0x20 000002d9: ADD 000002da: SWAP1 000002db: RETURN 000002dc: JUMPDEST 000002dd: CALLVALUE 000002de: DUP1 000002df: ISZERO 000002e0: PUSH2 0x02e8 000002e3: JUMPI 000002e4: PUSH1 0x00 000002e6: DUP1 000002e7: REVERT 000002e8: JUMPDEST 000002e9: POP 000002ea: PUSH2 0x027f 000002ed: PUSH2 0x06c7 000002f0: JUMP 000002f1: JUMPDEST 000002f2: CALLVALUE 000002f3: DUP1 000002f4: ISZERO 000002f5: PUSH2 0x02fd 000002f8: JUMPI 000002f9: PUSH1 0x00 000002fb: DUP1 000002fc: REVERT 000002fd: JUMPDEST 000002fe: POP 000002ff: PUSH2 0x02c0 00000302: PUSH2 0x0769 00000305: JUMP 00000306: JUMPDEST 00000307: CALLVALUE 00000308: DUP1 00000309: ISZERO 0000030a: PUSH2 0x0312 0000030d: JUMPI 0000030e: PUSH1 0x00 00000310: DUP1 00000311: REVERT 00000312: JUMPDEST 00000313: POP 00000314: PUSH2 0x023a 00000317: PUSH1 0x04 00000319: DUP1 0000031a: CALLDATASIZE 0000031b: SUB 0000031c: PUSH1 0x20 0000031e: DUP2 0000031f: LT 00000320: ISZERO 00000321: PUSH2 0x0329 00000324: JUMPI 00000325: PUSH1 0x00 00000327: DUP1 00000328: REVERT 00000329: JUMPDEST 0000032a: POP 0000032b: CALLDATALOAD 0000032c: PUSH1 0x01 0000032e: PUSH1 0x01 00000330: PUSH1 0xa0 00000332: SHL 00000333: SUB 00000334: AND 00000335: PUSH2 0x0778 00000338: JUMP 00000339: JUMPDEST 0000033a: CALLVALUE 0000033b: DUP1 0000033c: ISZERO 0000033d: PUSH2 0x0345 00000340: JUMPI 00000341: PUSH1 0x00 00000343: DUP1 00000344: REVERT 00000345: JUMPDEST 00000346: POP 00000347: PUSH2 0x023a 0000034a: PUSH2 0x078a 0000034d: JUMP 0000034e: JUMPDEST 0000034f: CALLVALUE 00000350: DUP1 00000351: ISZERO 00000352: PUSH2 0x035a 00000355: JUMPI 00000356: PUSH1 0x00 00000358: DUP1 00000359: REVERT 0000035a: JUMPDEST 0000035b: POP 0000035c: PUSH2 0x027f 0000035f: PUSH2 0x0790 00000362: JUMP 00000363: JUMPDEST 00000364: CALLVALUE 00000365: DUP1 00000366: ISZERO 00000367: PUSH2 0x036f 0000036a: JUMPI 0000036b: PUSH1 0x00 0000036d: DUP1 0000036e: REVERT 0000036f: JUMPDEST 00000370: POP 00000371: PUSH2 0x023a 00000374: PUSH2 0x0836 00000377: JUMP 00000378: JUMPDEST 00000379: CALLVALUE 0000037a: DUP1 0000037b: ISZERO 0000037c: PUSH2 0x0384 0000037f: JUMPI 00000380: PUSH1 0x00 00000382: DUP1 00000383: REVERT 00000384: JUMPDEST 00000385: POP 00000386: PUSH2 0x027f 00000389: PUSH2 0x083c 0000038c: JUMP 0000038d: JUMPDEST 0000038e: CALLVALUE 0000038f: DUP1 00000390: ISZERO 00000391: PUSH2 0x0399 00000394: JUMPI 00000395: PUSH1 0x00 00000397: DUP1 00000398: REVERT 00000399: JUMPDEST 0000039a: POP 0000039b: PUSH2 0x023a 0000039e: PUSH2 0x096d 000003a1: JUMP 000003a2: JUMPDEST 000003a3: CALLVALUE 000003a4: DUP1 000003a5: ISZERO 000003a6: PUSH2 0x03ae 000003a9: JUMPI 000003aa: PUSH1 0x00 000003ac: DUP1 000003ad: REVERT 000003ae: JUMPDEST 000003af: POP 000003b0: PUSH2 0x027f 000003b3: PUSH1 0x04 000003b5: DUP1 000003b6: CALLDATASIZE 000003b7: SUB 000003b8: PUSH1 0x20 000003ba: DUP2 000003bb: LT 000003bc: ISZERO 000003bd: PUSH2 0x03c5 000003c0: JUMPI 000003c1: PUSH1 0x00 000003c3: DUP1 000003c4: REVERT 000003c5: JUMPDEST 000003c6: POP 000003c7: CALLDATALOAD 000003c8: PUSH1 0x01 000003ca: PUSH1 0x01 000003cc: PUSH1 0xa0 000003ce: SHL 000003cf: SUB 000003d0: AND 000003d1: PUSH2 0x0973 000003d4: JUMP 000003d5: JUMPDEST 000003d6: CALLVALUE 000003d7: DUP1 000003d8: ISZERO 000003d9: PUSH2 0x03e1 000003dc: JUMPI 000003dd: PUSH1 0x00 000003df: DUP1 000003e0: REVERT 000003e1: JUMPDEST 000003e2: POP 000003e3: PUSH2 0x027f 000003e6: PUSH2 0x0a6b 000003e9: JUMP 000003ea: JUMPDEST 000003eb: CALLER 000003ec: SWAP1 000003ed: JUMP 000003ee: JUMPDEST 000003ef: PUSH1 0x05 000003f1: SLOAD 000003f2: DUP2 000003f3: JUMP 000003f4: JUMPDEST 000003f5: PUSH2 0x03fc 000003f8: PUSH2 0x03ea 000003fb: JUMP 000003fc: JUMPDEST 000003fd: PUSH1 0x00 000003ff: SLOAD 00000400: PUSH1 0x01 00000402: PUSH1 0x01 00000404: PUSH1 0xa0 00000406: SHL 00000407: SUB 00000408: SWAP1 00000409: DUP2 0000040a: AND 0000040b: SWAP2 0000040c: AND 0000040d: EQ 0000040e: PUSH2 0x044c 00000411: JUMPI 00000412: PUSH1 0x40 00000414: DUP1 00000415: MLOAD 00000416: PUSH3 0x461bcd 0000041a: PUSH1 0xe5 0000041c: SHL 0000041d: DUP2 0000041e: MSTORE 0000041f: PUSH1 0x20 00000421: PUSH1 0x04 00000423: DUP3 00000424: ADD 00000425: DUP2 00000426: SWAP1 00000427: MSTORE 00000428: PUSH1 0x24 0000042a: DUP3 0000042b: ADD 0000042c: MSTORE 0000042d: PUSH1 0x00 0000042f: DUP1 00000430: MLOAD 00000431: PUSH1 0x20 00000433: PUSH2 0x107c 00000436: DUP4 00000437: CODECOPY 00000438: DUP2 00000439: MLOAD 0000043a: SWAP2 0000043b: MSTORE 0000043c: PUSH1 0x44 0000043e: DUP3 0000043f: ADD 00000440: MSTORE 00000441: SWAP1 00000442: MLOAD 00000443: SWAP1 00000444: DUP2 00000445: SWAP1 00000446: SUB 00000447: PUSH1 0x64 00000449: ADD 0000044a: SWAP1 0000044b: REVERT 0000044c: JUMPDEST 0000044d: PUSH1 0x07 0000044f: DUP1 00000450: SLOAD 00000451: PUSH1 0x01 00000453: PUSH1 0x01 00000455: PUSH1 0xa0 00000457: SHL 00000458: SUB 00000459: NOT 0000045a: AND 0000045b: PUSH1 0x01 0000045d: PUSH1 0x01 0000045f: PUSH1 0xa0 00000461: SHL 00000462: SUB 00000463: DUP4 00000464: AND 00000465: SWAP1 00000466: DUP2 00000467: OR 00000468: SWAP1 00000469: SWAP2 0000046a: SSTORE 0000046b: PUSH1 0x40 0000046d: DUP1 0000046e: MLOAD 0000046f: PUSH4 0x70a08231 00000474: PUSH1 0xe0 00000476: SHL 00000477: DUP2 00000478: MSTORE 00000479: ADDRESS 0000047a: PUSH1 0x04 0000047c: DUP3 0000047d: ADD 0000047e: MSTORE 0000047f: SWAP1 00000480: MLOAD 00000481: PUSH4 0x70a08231 00000486: SWAP2 00000487: PUSH1 0x24 00000489: DUP1 0000048a: DUP3 0000048b: ADD 0000048c: SWAP3 0000048d: PUSH1 0x20 0000048f: SWAP3 00000490: SWAP1 00000491: SWAP2 00000492: SWAP1 00000493: DUP3 00000494: SWAP1 00000495: SUB 00000496: ADD 00000497: DUP2 00000498: DUP7 00000499: DUP1 0000049a: EXTCODESIZE 0000049b: ISZERO 0000049c: DUP1 0000049d: ISZERO 0000049e: PUSH2 0x04a6 000004a1: JUMPI 000004a2: PUSH1 0x00 000004a4: DUP1 000004a5: REVERT 000004a6: JUMPDEST 000004a7: POP 000004a8: GAS 000004a9: STATICCALL 000004aa: ISZERO 000004ab: DUP1 000004ac: ISZERO 000004ad: PUSH2 0x04ba 000004b0: JUMPI 000004b1: RETURNDATASIZE 000004b2: PUSH1 0x00 000004b4: DUP1 000004b5: RETURNDATACOPY 000004b6: RETURNDATASIZE 000004b7: PUSH1 0x00 000004b9: REVERT 000004ba: JUMPDEST 000004bb: POP 000004bc: POP 000004bd: POP 000004be: POP 000004bf: PUSH1 0x40 000004c1: MLOAD 000004c2: RETURNDATASIZE 000004c3: PUSH1 0x20 000004c5: DUP2 000004c6: LT 000004c7: ISZERO 000004c8: PUSH2 0x04d0 000004cb: JUMPI 000004cc: PUSH1 0x00 000004ce: DUP1 000004cf: REVERT 000004d0: JUMPDEST 000004d1: POP 000004d2: MLOAD 000004d3: PUSH1 0x03 000004d5: SSTORE 000004d6: POP 000004d7: JUMP 000004d8: JUMPDEST 000004d9: PUSH1 0x04 000004db: SLOAD 000004dc: DUP2 000004dd: JUMP 000004de: JUMPDEST 000004df: PUSH1 0x02 000004e1: SLOAD 000004e2: TIMESTAMP 000004e3: GT 000004e4: PUSH2 0x04ec 000004e7: JUMPI 000004e8: PUSH1 0x00 000004ea: DUP1 000004eb: REVERT 000004ec: JUMPDEST 000004ed: PUSH1 0x00 000004ef: PUSH1 0x06 000004f1: PUSH1 0x00 000004f3: PUSH2 0x04fa 000004f6: PUSH2 0x03ea 000004f9: JUMP 000004fa: JUMPDEST 000004fb: PUSH1 0x01 000004fd: PUSH1 0x01 000004ff: PUSH1 0xa0 00000501: SHL 00000502: SUB 00000503: AND 00000504: PUSH1 0x01 00000506: PUSH1 0x01 00000508: PUSH1 0xa0 0000050a: SHL 0000050b: SUB 0000050c: AND 0000050d: DUP2 0000050e: MSTORE 0000050f: PUSH1 0x20 00000511: ADD 00000512: SWAP1 00000513: DUP2 00000514: MSTORE 00000515: PUSH1 0x20 00000517: ADD 00000518: PUSH1 0x00 0000051a: KECCAK256 0000051b: SLOAD 0000051c: GT 0000051d: PUSH2 0x0525 00000520: JUMPI 00000521: PUSH1 0x00 00000523: DUP1 00000524: REVERT 00000525: JUMPDEST 00000526: PUSH1 0x00 00000528: PUSH1 0x06 0000052a: PUSH1 0x00 0000052c: PUSH2 0x0533 0000052f: PUSH2 0x03ea 00000532: JUMP 00000533: JUMPDEST 00000534: PUSH1 0x01 00000536: PUSH1 0x01 00000538: PUSH1 0xa0 0000053a: SHL 0000053b: SUB 0000053c: AND 0000053d: PUSH1 0x01 0000053f: PUSH1 0x01 00000541: PUSH1 0xa0 00000543: SHL 00000544: SUB 00000545: AND 00000546: DUP2 00000547: MSTORE 00000548: PUSH1 0x20 0000054a: ADD 0000054b: SWAP1 0000054c: DUP2 0000054d: MSTORE 0000054e: PUSH1 0x20 00000550: ADD 00000551: PUSH1 0x00 00000553: KECCAK256 00000554: SLOAD 00000555: SWAP1 00000556: POP 00000557: PUSH1 0x00 00000559: PUSH1 0x06 0000055b: PUSH1 0x00 0000055d: PUSH2 0x0564 00000560: PUSH2 0x03ea 00000563: JUMP 00000564: JUMPDEST 00000565: PUSH1 0x01 00000567: PUSH1 0x01 00000569: PUSH1 0xa0 0000056b: SHL 0000056c: SUB 0000056d: AND 0000056e: DUP2 0000056f: MSTORE 00000570: PUSH1 0x20 00000572: DUP2 00000573: ADD 00000574: SWAP2 00000575: SWAP1 00000576: SWAP2 00000577: MSTORE 00000578: PUSH1 0x40 0000057a: ADD 0000057b: PUSH1 0x00 0000057d: KECCAK256 0000057e: SSTORE 0000057f: PUSH1 0x04 00000581: SLOAD 00000582: PUSH1 0x05 00000584: SLOAD 00000585: LT 00000586: PUSH2 0x0622 00000589: JUMPI 0000058a: PUSH1 0x00 0000058c: PUSH2 0x05ac 0000058f: PUSH1 0x05 00000591: SLOAD 00000592: PUSH2 0x05a6 00000595: DUP5 00000596: PUSH1 0x03 00000598: SLOAD 00000599: PUSH2 0x0bb5 0000059c: SWAP1 0000059d: SWAP2 0000059e: SWAP1 0000059f: PUSH4 0xffffffff 000005a4: AND 000005a5: JUMP 000005a6: JUMPDEST 000005a7: SWAP1 000005a8: PUSH2 0x0c17 000005ab: JUMP 000005ac: JUMPDEST 000005ad: SWAP1 000005ae: POP 000005af: PUSH2 0x05cc 000005b2: PUSH2 0x05b9 000005b5: PUSH2 0x03ea 000005b8: JUMP 000005b9: JUMPDEST 000005ba: PUSH1 0x07 000005bc: SLOAD 000005bd: PUSH1 0x01 000005bf: PUSH1 0x01 000005c1: PUSH1 0xa0 000005c3: SHL 000005c4: SUB 000005c5: AND 000005c6: SWAP1 000005c7: DUP4 000005c8: PUSH2 0x0c59 000005cb: JUMP 000005cc: JUMPDEST 000005cd: PUSH2 0x05d4 000005d0: PUSH2 0x03ea 000005d3: JUMP 000005d4: JUMPDEST 000005d5: PUSH1 0x01 000005d7: PUSH1 0x01 000005d9: PUSH1 0xa0 000005db: SHL 000005dc: SUB 000005dd: AND 000005de: PUSH32 0x987d620f307ff6b94d58743cb7a7509f24071586a77759b77c2d4e29f75a2f9a 000005ff: DUP4 00000600: DUP4 00000601: PUSH1 0x40 00000603: MLOAD 00000604: DUP1 00000605: DUP4 00000606: DUP2 00000607: MSTORE 00000608: PUSH1 0x20 0000060a: ADD 0000060b: DUP3 0000060c: DUP2 0000060d: MSTORE 0000060e: PUSH1 0x20 00000610: ADD 00000611: SWAP3 00000612: POP 00000613: POP 00000614: POP 00000615: PUSH1 0x40 00000617: MLOAD 00000618: DUP1 00000619: SWAP2 0000061a: SUB 0000061b: SWAP1 0000061c: LOG2 0000061d: POP 0000061e: PUSH2 0x06b5 00000621: JUMP 00000622: JUMPDEST 00000623: PUSH2 0x062a 00000626: PUSH2 0x03ea 00000629: JUMP 0000062a: JUMPDEST 0000062b: PUSH1 0x01 0000062d: PUSH1 0x01 0000062f: PUSH1 0xa0 00000631: SHL 00000632: SUB 00000633: AND 00000634: PUSH2 0x08fc 00000637: DUP3 00000638: SWAP1 00000639: DUP2 0000063a: ISZERO 0000063b: MUL 0000063c: SWAP1 0000063d: PUSH1 0x40 0000063f: MLOAD 00000640: PUSH1 0x00 00000642: PUSH1 0x40 00000644: MLOAD 00000645: DUP1 00000646: DUP4 00000647: SUB 00000648: DUP2 00000649: DUP6 0000064a: DUP9 0000064b: DUP9 0000064c: CALL 0000064d: SWAP4 0000064e: POP 0000064f: POP 00000650: POP 00000651: POP 00000652: ISZERO 00000653: DUP1 00000654: ISZERO 00000655: PUSH2 0x0662 00000658: JUMPI 00000659: RETURNDATASIZE 0000065a: PUSH1 0x00 0000065c: DUP1 0000065d: RETURNDATACOPY 0000065e: RETURNDATASIZE 0000065f: PUSH1 0x00 00000661: REVERT 00000662: JUMPDEST 00000663: POP 00000664: PUSH2 0x066b 00000667: PUSH2 0x03ea 0000066a: JUMP 0000066b: JUMPDEST 0000066c: PUSH1 0x01 0000066e: PUSH1 0x01 00000670: PUSH1 0xa0 00000672: SHL 00000673: SUB 00000674: AND 00000675: PUSH32 0x987d620f307ff6b94d58743cb7a7509f24071586a77759b77c2d4e29f75a2f9a 00000696: DUP3 00000697: PUSH1 0x00 00000699: PUSH1 0x40 0000069b: MLOAD 0000069c: DUP1 0000069d: DUP4 0000069e: DUP2 0000069f: MSTORE 000006a0: PUSH1 0x20 000006a2: ADD 000006a3: DUP3 000006a4: DUP2 000006a5: MSTORE 000006a6: PUSH1 0x20 000006a8: ADD 000006a9: SWAP3 000006aa: POP 000006ab: POP 000006ac: POP 000006ad: PUSH1 0x40 000006af: MLOAD 000006b0: DUP1 000006b1: SWAP2 000006b2: SUB 000006b3: SWAP1 000006b4: LOG2 000006b5: JUMPDEST 000006b6: POP 000006b7: JUMP 000006b8: JUMPDEST 000006b9: PUSH1 0x07 000006bb: SLOAD 000006bc: PUSH1 0x01 000006be: PUSH1 0x01 000006c0: PUSH1 0xa0 000006c2: SHL 000006c3: SUB 000006c4: AND 000006c5: DUP2 000006c6: JUMP 000006c7: JUMPDEST 000006c8: PUSH2 0x06cf 000006cb: PUSH2 0x03ea 000006ce: JUMP 000006cf: JUMPDEST 000006d0: PUSH1 0x00 000006d2: SLOAD 000006d3: PUSH1 0x01 000006d5: PUSH1 0x01 000006d7: PUSH1 0xa0 000006d9: SHL 000006da: SUB 000006db: SWAP1 000006dc: DUP2 000006dd: AND 000006de: SWAP2 000006df: AND 000006e0: EQ 000006e1: PUSH2 0x071f 000006e4: JUMPI 000006e5: PUSH1 0x40 000006e7: DUP1 000006e8: MLOAD 000006e9: PUSH3 0x461bcd 000006ed: PUSH1 0xe5 000006ef: SHL 000006f0: DUP2 000006f1: MSTORE 000006f2: PUSH1 0x20 000006f4: PUSH1 0x04 000006f6: DUP3 000006f7: ADD 000006f8: DUP2 000006f9: SWAP1 000006fa: MSTORE 000006fb: PUSH1 0x24 000006fd: DUP3 000006fe: ADD 000006ff: MSTORE 00000700: PUSH1 0x00 00000702: DUP1 00000703: MLOAD 00000704: PUSH1 0x20 00000706: PUSH2 0x107c 00000709: DUP4 0000070a: CODECOPY 0000070b: DUP2 0000070c: MLOAD 0000070d: SWAP2 0000070e: MSTORE 0000070f: PUSH1 0x44 00000711: DUP3 00000712: ADD 00000713: MSTORE 00000714: SWAP1 00000715: MLOAD 00000716: SWAP1 00000717: DUP2 00000718: SWAP1 00000719: SUB 0000071a: PUSH1 0x64 0000071c: ADD 0000071d: SWAP1 0000071e: REVERT 0000071f: JUMPDEST 00000720: PUSH1 0x00 00000722: DUP1 00000723: SLOAD 00000724: PUSH1 0x40 00000726: MLOAD 00000727: PUSH1 0x01 00000729: PUSH1 0x01 0000072b: PUSH1 0xa0 0000072d: SHL 0000072e: SUB 0000072f: SWAP1 00000730: SWAP2 00000731: AND 00000732: SWAP1 00000733: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000754: SWAP1 00000755: DUP4 00000756: SWAP1 00000757: LOG3 00000758: PUSH1 0x00 0000075a: DUP1 0000075b: SLOAD 0000075c: PUSH1 0x01 0000075e: PUSH1 0x01 00000760: PUSH1 0xa0 00000762: SHL 00000763: SUB 00000764: NOT 00000765: AND 00000766: SWAP1 00000767: SSTORE 00000768: JUMP 00000769: JUMPDEST 0000076a: PUSH1 0x00 0000076c: SLOAD 0000076d: PUSH1 0x01 0000076f: PUSH1 0x01 00000771: PUSH1 0xa0 00000773: SHL 00000774: SUB 00000775: AND 00000776: SWAP1 00000777: JUMP 00000778: JUMPDEST 00000779: PUSH1 0x06 0000077b: PUSH1 0x20 0000077d: MSTORE 0000077e: PUSH1 0x00 00000780: SWAP1 00000781: DUP2 00000782: MSTORE 00000783: PUSH1 0x40 00000785: SWAP1 00000786: KECCAK256 00000787: SLOAD 00000788: DUP2 00000789: JUMP 0000078a: JUMPDEST 0000078b: PUSH1 0x03 0000078d: SLOAD 0000078e: DUP2 0000078f: JUMP 00000790: JUMPDEST 00000791: PUSH2 0x0798 00000794: PUSH2 0x03ea 00000797: JUMP 00000798: JUMPDEST 00000799: PUSH1 0x00 0000079b: SLOAD 0000079c: PUSH1 0x01 0000079e: PUSH1 0x01 000007a0: PUSH1 0xa0 000007a2: SHL 000007a3: SUB 000007a4: SWAP1 000007a5: DUP2 000007a6: AND 000007a7: SWAP2 000007a8: AND 000007a9: EQ 000007aa: PUSH2 0x07e8 000007ad: JUMPI 000007ae: PUSH1 0x40 000007b0: DUP1 000007b1: MLOAD 000007b2: PUSH3 0x461bcd 000007b6: PUSH1 0xe5 000007b8: SHL 000007b9: DUP2 000007ba: MSTORE 000007bb: PUSH1 0x20 000007bd: PUSH1 0x04 000007bf: DUP3 000007c0: ADD 000007c1: DUP2 000007c2: SWAP1 000007c3: MSTORE 000007c4: PUSH1 0x24 000007c6: DUP3 000007c7: ADD 000007c8: MSTORE 000007c9: PUSH1 0x00 000007cb: DUP1 000007cc: MLOAD 000007cd: PUSH1 0x20 000007cf: PUSH2 0x107c 000007d2: DUP4 000007d3: CODECOPY 000007d4: DUP2 000007d5: MLOAD 000007d6: SWAP2 000007d7: MSTORE 000007d8: PUSH1 0x44 000007da: DUP3 000007db: ADD 000007dc: MSTORE 000007dd: SWAP1 000007de: MLOAD 000007df: SWAP1 000007e0: DUP2 000007e1: SWAP1 000007e2: SUB 000007e3: PUSH1 0x64 000007e5: ADD 000007e6: SWAP1 000007e7: REVERT 000007e8: JUMPDEST 000007e9: TIMESTAMP 000007ea: PUSH1 0x01 000007ec: DUP2 000007ed: SWAP1 000007ee: SSTORE 000007ef: PUSH3 0x03f480 000007f3: DUP2 000007f4: ADD 000007f5: PUSH1 0x02 000007f7: DUP2 000007f8: SWAP1 000007f9: SSTORE 000007fa: PUSH1 0x40 000007fc: DUP1 000007fd: MLOAD 000007fe: SWAP3 000007ff: DUP4 00000800: MSTORE 00000801: PUSH1 0x20 00000803: DUP4 00000804: ADD 00000805: SWAP2 00000806: SWAP1 00000807: SWAP2 00000808: MSTORE 00000809: DUP1 0000080a: MLOAD 0000080b: PUSH32 0x87d03dcfa12666a6f670d52387c414c3147775a8cc623d78088c0e23b4a90346 0000082c: SWAP3 0000082d: DUP2 0000082e: SWAP1 0000082f: SUB 00000830: SWAP1 00000831: SWAP2 00000832: ADD 00000833: SWAP1 00000834: LOG1 00000835: JUMP 00000836: JUMPDEST 00000837: PUSH1 0x01 00000839: SLOAD 0000083a: DUP2 0000083b: JUMP 0000083c: JUMPDEST 0000083d: PUSH2 0x0844 00000840: PUSH2 0x03ea 00000843: JUMP 00000844: JUMPDEST 00000845: PUSH1 0x00 00000847: SLOAD 00000848: PUSH1 0x01 0000084a: PUSH1 0x01 0000084c: PUSH1 0xa0 0000084e: SHL 0000084f: SUB 00000850: SWAP1 00000851: DUP2 00000852: AND 00000853: SWAP2 00000854: AND 00000855: EQ 00000856: PUSH2 0x0894 00000859: JUMPI 0000085a: PUSH1 0x40 0000085c: DUP1 0000085d: MLOAD 0000085e: PUSH3 0x461bcd 00000862: PUSH1 0xe5 00000864: SHL 00000865: DUP2 00000866: MSTORE 00000867: PUSH1 0x20 00000869: PUSH1 0x04 0000086b: DUP3 0000086c: ADD 0000086d: DUP2 0000086e: SWAP1 0000086f: MSTORE 00000870: PUSH1 0x24 00000872: DUP3 00000873: ADD 00000874: MSTORE 00000875: PUSH1 0x00 00000877: DUP1 00000878: MLOAD 00000879: PUSH1 0x20 0000087b: PUSH2 0x107c 0000087e: DUP4 0000087f: CODECOPY 00000880: DUP2 00000881: MLOAD 00000882: SWAP2 00000883: MSTORE 00000884: PUSH1 0x44 00000886: DUP3 00000887: ADD 00000888: MSTORE 00000889: SWAP1 0000088a: MLOAD 0000088b: SWAP1 0000088c: DUP2 0000088d: SWAP1 0000088e: SUB 0000088f: PUSH1 0x64 00000891: ADD 00000892: SWAP1 00000893: REVERT 00000894: JUMPDEST 00000895: TIMESTAMP 00000896: PUSH1 0x02 00000898: SLOAD 00000899: LT 0000089a: PUSH2 0x08ea 0000089d: JUMPI 0000089e: PUSH1 0x40 000008a0: DUP1 000008a1: MLOAD 000008a2: PUSH3 0x461bcd 000008a6: PUSH1 0xe5 000008a8: SHL 000008a9: DUP2 000008aa: MSTORE 000008ab: PUSH1 0x20 000008ad: PUSH1 0x04 000008af: DUP3 000008b0: ADD 000008b1: MSTORE 000008b2: PUSH1 0x1e 000008b4: PUSH1 0x24 000008b6: DUP3 000008b7: ADD 000008b8: MSTORE 000008b9: PUSH32 0x546865206f66666572696e67206d75737420626520636f6d706c657465640000 000008da: PUSH1 0x44 000008dc: DUP3 000008dd: ADD 000008de: MSTORE 000008df: SWAP1 000008e0: MLOAD 000008e1: SWAP1 000008e2: DUP2 000008e3: SWAP1 000008e4: SUB 000008e5: PUSH1 0x64 000008e7: ADD 000008e8: SWAP1 000008e9: REVERT 000008ea: JUMPDEST 000008eb: PUSH1 0x04 000008ed: SLOAD 000008ee: PUSH1 0x05 000008f0: SLOAD 000008f1: LT 000008f2: ISZERO 000008f3: PUSH2 0x092d 000008f6: JUMPI 000008f7: PUSH1 0x40 000008f9: MLOAD 000008fa: PUSH3 0x461bcd 000008fe: PUSH1 0xe5 00000900: SHL 00000901: DUP2 00000902: MSTORE 00000903: PUSH1 0x04 00000905: ADD 00000906: DUP1 00000907: DUP1 00000908: PUSH1 0x20 0000090a: ADD 0000090b: DUP3 0000090c: DUP2 0000090d: SUB 0000090e: DUP3 0000090f: MSTORE 00000910: PUSH1 0x2a 00000912: DUP2 00000913: MSTORE 00000914: PUSH1 0x20 00000916: ADD 00000917: DUP1 00000918: PUSH2 0x100b 0000091b: PUSH1 0x2a 0000091d: SWAP2 0000091e: CODECOPY 0000091f: PUSH1 0x40 00000921: ADD 00000922: SWAP2 00000923: POP 00000924: POP 00000925: PUSH1 0x40 00000927: MLOAD 00000928: DUP1 00000929: SWAP2 0000092a: SUB 0000092b: SWAP1 0000092c: REVERT 0000092d: JUMPDEST 0000092e: PUSH2 0x0935 00000931: PUSH2 0x0769 00000934: JUMP 00000935: JUMPDEST 00000936: PUSH1 0x01 00000938: PUSH1 0x01 0000093a: PUSH1 0xa0 0000093c: SHL 0000093d: SUB 0000093e: AND 0000093f: PUSH2 0x08fc 00000942: SELFBALANCE 00000943: SWAP1 00000944: DUP2 00000945: ISZERO 00000946: MUL 00000947: SWAP1 00000948: PUSH1 0x40 0000094a: MLOAD 0000094b: PUSH1 0x00 0000094d: PUSH1 0x40 0000094f: MLOAD 00000950: DUP1 00000951: DUP4 00000952: SUB 00000953: DUP2 00000954: DUP6 00000955: DUP9 00000956: DUP9 00000957: CALL 00000958: SWAP4 00000959: POP 0000095a: POP 0000095b: POP 0000095c: POP 0000095d: ISZERO 0000095e: DUP1 0000095f: ISZERO 00000960: PUSH2 0x06b5 00000963: JUMPI 00000964: RETURNDATASIZE 00000965: PUSH1 0x00 00000967: DUP1 00000968: RETURNDATACOPY 00000969: RETURNDATASIZE 0000096a: PUSH1 0x00 0000096c: REVERT 0000096d: JUMPDEST 0000096e: PUSH1 0x02 00000970: SLOAD 00000971: DUP2 00000972: JUMP 00000973: JUMPDEST 00000974: PUSH2 0x097b 00000977: PUSH2 0x03ea 0000097a: JUMP 0000097b: JUMPDEST 0000097c: PUSH1 0x00 0000097e: SLOAD 0000097f: PUSH1 0x01 00000981: PUSH1 0x01 00000983: PUSH1 0xa0 00000985: SHL 00000986: SUB 00000987: SWAP1 00000988: DUP2 00000989: AND 0000098a: SWAP2 0000098b: AND 0000098c: EQ 0000098d: PUSH2 0x09cb 00000990: JUMPI 00000991: PUSH1 0x40 00000993: DUP1 00000994: MLOAD 00000995: PUSH3 0x461bcd 00000999: PUSH1 0xe5 0000099b: SHL 0000099c: DUP2 0000099d: MSTORE 0000099e: PUSH1 0x20 000009a0: PUSH1 0x04 000009a2: DUP3 000009a3: ADD 000009a4: DUP2 000009a5: SWAP1 000009a6: MSTORE 000009a7: PUSH1 0x24 000009a9: DUP3 000009aa: ADD 000009ab: MSTORE 000009ac: PUSH1 0x00 000009ae: DUP1 000009af: MLOAD 000009b0: PUSH1 0x20 000009b2: PUSH2 0x107c 000009b5: DUP4 000009b6: CODECOPY 000009b7: DUP2 000009b8: MLOAD 000009b9: SWAP2 000009ba: MSTORE 000009bb: PUSH1 0x44 000009bd: DUP3 000009be: ADD 000009bf: MSTORE 000009c0: SWAP1 000009c1: MLOAD 000009c2: SWAP1 000009c3: DUP2 000009c4: SWAP1 000009c5: SUB 000009c6: PUSH1 0x64 000009c8: ADD 000009c9: SWAP1 000009ca: REVERT 000009cb: JUMPDEST 000009cc: PUSH1 0x01 000009ce: PUSH1 0x01 000009d0: PUSH1 0xa0 000009d2: SHL 000009d3: SUB 000009d4: DUP2 000009d5: AND 000009d6: PUSH2 0x0a10 000009d9: JUMPI 000009da: PUSH1 0x40 000009dc: MLOAD 000009dd: PUSH3 0x461bcd 000009e1: PUSH1 0xe5 000009e3: SHL 000009e4: DUP2 000009e5: MSTORE 000009e6: PUSH1 0x04 000009e8: ADD 000009e9: DUP1 000009ea: DUP1 000009eb: PUSH1 0x20 000009ed: ADD 000009ee: DUP3 000009ef: DUP2 000009f0: SUB 000009f1: DUP3 000009f2: MSTORE 000009f3: PUSH1 0x26 000009f5: DUP2 000009f6: MSTORE 000009f7: PUSH1 0x20 000009f9: ADD 000009fa: DUP1 000009fb: PUSH2 0x0fe5 000009fe: PUSH1 0x26 00000a00: SWAP2 00000a01: CODECOPY 00000a02: PUSH1 0x40 00000a04: ADD 00000a05: SWAP2 00000a06: POP 00000a07: POP 00000a08: PUSH1 0x40 00000a0a: MLOAD 00000a0b: DUP1 00000a0c: SWAP2 00000a0d: SUB 00000a0e: SWAP1 00000a0f: REVERT 00000a10: JUMPDEST 00000a11: PUSH1 0x00 00000a13: DUP1 00000a14: SLOAD 00000a15: PUSH1 0x40 00000a17: MLOAD 00000a18: PUSH1 0x01 00000a1a: PUSH1 0x01 00000a1c: PUSH1 0xa0 00000a1e: SHL 00000a1f: SUB 00000a20: DUP1 00000a21: DUP6 00000a22: AND 00000a23: SWAP4 00000a24: SWAP3 00000a25: AND 00000a26: SWAP2 00000a27: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000a48: SWAP2 00000a49: LOG3 00000a4a: PUSH1 0x00 00000a4c: DUP1 00000a4d: SLOAD 00000a4e: PUSH1 0x01 00000a50: PUSH1 0x01 00000a52: PUSH1 0xa0 00000a54: SHL 00000a55: SUB 00000a56: NOT 00000a57: AND 00000a58: PUSH1 0x01 00000a5a: PUSH1 0x01 00000a5c: PUSH1 0xa0 00000a5e: SHL 00000a5f: SUB 00000a60: SWAP3 00000a61: SWAP1 00000a62: SWAP3 00000a63: AND 00000a64: SWAP2 00000a65: SWAP1 00000a66: SWAP2 00000a67: OR 00000a68: SWAP1 00000a69: SSTORE 00000a6a: JUMP 00000a6b: JUMPDEST 00000a6c: PUSH2 0x0a73 00000a6f: PUSH2 0x03ea 00000a72: JUMP 00000a73: JUMPDEST 00000a74: PUSH1 0x00 00000a76: SLOAD 00000a77: PUSH1 0x01 00000a79: PUSH1 0x01 00000a7b: PUSH1 0xa0 00000a7d: SHL 00000a7e: SUB 00000a7f: SWAP1 00000a80: DUP2 00000a81: AND 00000a82: SWAP2 00000a83: AND 00000a84: EQ 00000a85: PUSH2 0x0ac3 00000a88: JUMPI 00000a89: PUSH1 0x40 00000a8b: DUP1 00000a8c: MLOAD 00000a8d: PUSH3 0x461bcd 00000a91: PUSH1 0xe5 00000a93: SHL 00000a94: DUP2 00000a95: MSTORE 00000a96: PUSH1 0x20 00000a98: PUSH1 0x04 00000a9a: DUP3 00000a9b: ADD 00000a9c: DUP2 00000a9d: SWAP1 00000a9e: MSTORE 00000a9f: PUSH1 0x24 00000aa1: DUP3 00000aa2: ADD 00000aa3: MSTORE 00000aa4: PUSH1 0x00 00000aa6: DUP1 00000aa7: MLOAD 00000aa8: PUSH1 0x20 00000aaa: PUSH2 0x107c 00000aad: DUP4 00000aae: CODECOPY 00000aaf: DUP2 00000ab0: MLOAD 00000ab1: SWAP2 00000ab2: MSTORE 00000ab3: PUSH1 0x44 00000ab5: DUP3 00000ab6: ADD 00000ab7: MSTORE 00000ab8: SWAP1 00000ab9: MLOAD 00000aba: SWAP1 00000abb: DUP2 00000abc: SWAP1 00000abd: SUB 00000abe: PUSH1 0x64 00000ac0: ADD 00000ac1: SWAP1 00000ac2: REVERT 00000ac3: JUMPDEST 00000ac4: TIMESTAMP 00000ac5: PUSH1 0x02 00000ac7: SLOAD 00000ac8: PUSH3 0x093a80 00000acc: ADD 00000acd: LT 00000ace: PUSH2 0x0b1e 00000ad1: JUMPI 00000ad2: PUSH1 0x40 00000ad4: DUP1 00000ad5: MLOAD 00000ad6: PUSH3 0x461bcd 00000ada: PUSH1 0xe5 00000adc: SHL 00000add: DUP2 00000ade: MSTORE 00000adf: PUSH1 0x20 00000ae1: PUSH1 0x04 00000ae3: DUP3 00000ae4: ADD 00000ae5: MSTORE 00000ae6: PUSH1 0x1a 00000ae8: PUSH1 0x24 00000aea: DUP3 00000aeb: ADD 00000aec: MSTORE 00000aed: PUSH32 0x5769746864726177616c20756e617661696c61626c6520796574000000000000 00000b0e: PUSH1 0x44 00000b10: DUP3 00000b11: ADD 00000b12: MSTORE 00000b13: SWAP1 00000b14: MLOAD 00000b15: SWAP1 00000b16: DUP2 00000b17: SWAP1 00000b18: SUB 00000b19: PUSH1 0x64 00000b1b: ADD 00000b1c: SWAP1 00000b1d: REVERT 00000b1e: JUMPDEST 00000b1f: PUSH2 0x0bb3 00000b22: PUSH2 0x0b29 00000b25: PUSH2 0x0769 00000b28: JUMP 00000b29: JUMPDEST 00000b2a: PUSH1 0x07 00000b2c: SLOAD 00000b2d: PUSH1 0x40 00000b2f: DUP1 00000b30: MLOAD 00000b31: PUSH4 0x70a08231 00000b36: PUSH1 0xe0 00000b38: SHL 00000b39: DUP2 00000b3a: MSTORE 00000b3b: ADDRESS 00000b3c: PUSH1 0x04 00000b3e: DUP3 00000b3f: ADD 00000b40: MSTORE 00000b41: SWAP1 00000b42: MLOAD 00000b43: PUSH1 0x01 00000b45: PUSH1 0x01 00000b47: PUSH1 0xa0 00000b49: SHL 00000b4a: SUB 00000b4b: SWAP1 00000b4c: SWAP3 00000b4d: AND 00000b4e: SWAP2 00000b4f: PUSH4 0x70a08231 00000b54: SWAP2 00000b55: PUSH1 0x24 00000b57: DUP1 00000b58: DUP3 00000b59: ADD 00000b5a: SWAP3 00000b5b: PUSH1 0x20 00000b5d: SWAP3 00000b5e: SWAP1 00000b5f: SWAP2 00000b60: SWAP1 00000b61: DUP3 00000b62: SWAP1 00000b63: SUB 00000b64: ADD 00000b65: DUP2 00000b66: DUP7 00000b67: DUP1 00000b68: EXTCODESIZE 00000b69: ISZERO 00000b6a: DUP1 00000b6b: ISZERO 00000b6c: PUSH2 0x0b74 00000b6f: JUMPI 00000b70: PUSH1 0x00 00000b72: DUP1 00000b73: REVERT 00000b74: JUMPDEST 00000b75: POP 00000b76: GAS 00000b77: STATICCALL 00000b78: ISZERO 00000b79: DUP1 00000b7a: ISZERO 00000b7b: PUSH2 0x0b88 00000b7e: JUMPI 00000b7f: RETURNDATASIZE 00000b80: PUSH1 0x00 00000b82: DUP1 00000b83: RETURNDATACOPY 00000b84: RETURNDATASIZE 00000b85: PUSH1 0x00 00000b87: REVERT 00000b88: JUMPDEST 00000b89: POP 00000b8a: POP 00000b8b: POP 00000b8c: POP 00000b8d: PUSH1 0x40 00000b8f: MLOAD 00000b90: RETURNDATASIZE 00000b91: PUSH1 0x20 00000b93: DUP2 00000b94: LT 00000b95: ISZERO 00000b96: PUSH2 0x0b9e 00000b99: JUMPI 00000b9a: PUSH1 0x00 00000b9c: DUP1 00000b9d: REVERT 00000b9e: JUMPDEST 00000b9f: POP 00000ba0: MLOAD 00000ba1: PUSH1 0x07 00000ba3: SLOAD 00000ba4: PUSH1 0x01 00000ba6: PUSH1 0x01 00000ba8: PUSH1 0xa0 00000baa: SHL 00000bab: SUB 00000bac: AND 00000bad: SWAP2 00000bae: SWAP1 00000baf: PUSH2 0x0c59 00000bb2: JUMP 00000bb3: JUMPDEST 00000bb4: JUMP 00000bb5: JUMPDEST 00000bb6: PUSH1 0x00 00000bb8: DUP3 00000bb9: PUSH2 0x0bc4 00000bbc: JUMPI 00000bbd: POP 00000bbe: PUSH1 0x00 00000bc0: PUSH2 0x0c11 00000bc3: JUMP 00000bc4: JUMPDEST 00000bc5: DUP3 00000bc6: DUP3 00000bc7: MUL 00000bc8: DUP3 00000bc9: DUP5 00000bca: DUP3 00000bcb: DUP2 00000bcc: PUSH2 0x0bd1 00000bcf: JUMPI 00000bd0: INVALID 00000bd1: JUMPDEST 00000bd2: DIV 00000bd3: EQ 00000bd4: PUSH2 0x0c0e 00000bd7: JUMPI 00000bd8: PUSH1 0x40 00000bda: MLOAD 00000bdb: PUSH3 0x461bcd 00000bdf: PUSH1 0xe5 00000be1: SHL 00000be2: DUP2 00000be3: MSTORE 00000be4: PUSH1 0x04 00000be6: ADD 00000be7: DUP1 00000be8: DUP1 00000be9: PUSH1 0x20 00000beb: ADD 00000bec: DUP3 00000bed: DUP2 00000bee: SUB 00000bef: DUP3 00000bf0: MSTORE 00000bf1: PUSH1 0x21 00000bf3: DUP2 00000bf4: MSTORE 00000bf5: PUSH1 0x20 00000bf7: ADD 00000bf8: DUP1 00000bf9: PUSH2 0x105b 00000bfc: PUSH1 0x21 00000bfe: SWAP2 00000bff: CODECOPY 00000c00: PUSH1 0x40 00000c02: ADD 00000c03: SWAP2 00000c04: POP 00000c05: POP 00000c06: PUSH1 0x40 00000c08: MLOAD 00000c09: DUP1 00000c0a: SWAP2 00000c0b: SUB 00000c0c: SWAP1 00000c0d: REVERT 00000c0e: JUMPDEST 00000c0f: SWAP1 00000c10: POP 00000c11: JUMPDEST 00000c12: SWAP3 00000c13: SWAP2 00000c14: POP 00000c15: POP 00000c16: JUMP 00000c17: JUMPDEST 00000c18: PUSH1 0x00 00000c1a: PUSH2 0x0c0e 00000c1d: DUP4 00000c1e: DUP4 00000c1f: PUSH1 0x40 00000c21: MLOAD 00000c22: DUP1 00000c23: PUSH1 0x40 00000c25: ADD 00000c26: PUSH1 0x40 00000c28: MSTORE 00000c29: DUP1 00000c2a: PUSH1 0x1a 00000c2c: DUP2 00000c2d: MSTORE 00000c2e: PUSH1 0x20 00000c30: ADD 00000c31: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000 00000c52: DUP2 00000c53: MSTORE 00000c54: POP 00000c55: PUSH2 0x0cb0 00000c58: JUMP 00000c59: JUMPDEST 00000c5a: PUSH1 0x40 00000c5c: DUP1 00000c5d: MLOAD 00000c5e: PUSH1 0x01 00000c60: PUSH1 0x01 00000c62: PUSH1 0xa0 00000c64: SHL 00000c65: SUB 00000c66: DUP5 00000c67: AND 00000c68: PUSH1 0x24 00000c6a: DUP3 00000c6b: ADD 00000c6c: MSTORE 00000c6d: PUSH1 0x44 00000c6f: DUP1 00000c70: DUP3 00000c71: ADD 00000c72: DUP5 00000c73: SWAP1 00000c74: MSTORE 00000c75: DUP3 00000c76: MLOAD 00000c77: DUP1 00000c78: DUP4 00000c79: SUB 00000c7a: SWAP1 00000c7b: SWAP2 00000c7c: ADD 00000c7d: DUP2 00000c7e: MSTORE 00000c7f: PUSH1 0x64 00000c81: SWAP1 00000c82: SWAP2 00000c83: ADD 00000c84: SWAP1 00000c85: SWAP2 00000c86: MSTORE 00000c87: PUSH1 0x20 00000c89: DUP2 00000c8a: ADD 00000c8b: DUP1 00000c8c: MLOAD 00000c8d: PUSH1 0x01 00000c8f: PUSH1 0x01 00000c91: PUSH1 0xe0 00000c93: SHL 00000c94: SUB 00000c95: AND 00000c96: PUSH4 0xa9059cbb 00000c9b: PUSH1 0xe0 00000c9d: SHL 00000c9e: OR 00000c9f: SWAP1 00000ca0: MSTORE 00000ca1: PUSH2 0x0cab 00000ca4: SWAP1 00000ca5: DUP5 00000ca6: SWAP1 00000ca7: PUSH2 0x0d54 00000caa: JUMP 00000cab: JUMPDEST 00000cac: POP 00000cad: POP 00000cae: POP 00000caf: JUMP 00000cb0: JUMPDEST 00000cb1: PUSH1 0x00 00000cb3: DUP2 00000cb4: DUP4 00000cb5: PUSH2 0x0d3c 00000cb8: JUMPI 00000cb9: PUSH1 0x40 00000cbb: MLOAD 00000cbc: PUSH3 0x461bcd 00000cc0: PUSH1 0xe5 00000cc2: SHL 00000cc3: DUP2 00000cc4: MSTORE 00000cc5: PUSH1 0x04 00000cc7: ADD 00000cc8: DUP1 00000cc9: DUP1 00000cca: PUSH1 0x20 00000ccc: ADD 00000ccd: DUP3 00000cce: DUP2 00000ccf: SUB 00000cd0: DUP3 00000cd1: MSTORE 00000cd2: DUP4 00000cd3: DUP2 00000cd4: DUP2 00000cd5: MLOAD 00000cd6: DUP2 00000cd7: MSTORE 00000cd8: PUSH1 0x20 00000cda: ADD 00000cdb: SWAP2 00000cdc: POP 00000cdd: DUP1 00000cde: MLOAD 00000cdf: SWAP1 00000ce0: PUSH1 0x20 00000ce2: ADD 00000ce3: SWAP1 00000ce4: DUP1 00000ce5: DUP4 00000ce6: DUP4 00000ce7: PUSH1 0x00 00000ce9: JUMPDEST 00000cea: DUP4 00000ceb: DUP2 00000cec: LT 00000ced: ISZERO 00000cee: PUSH2 0x0d01 00000cf1: JUMPI 00000cf2: DUP2 00000cf3: DUP2 00000cf4: ADD 00000cf5: MLOAD 00000cf6: DUP4 00000cf7: DUP3 00000cf8: ADD 00000cf9: MSTORE 00000cfa: PUSH1 0x20 00000cfc: ADD 00000cfd: PUSH2 0x0ce9 00000d00: JUMP 00000d01: JUMPDEST 00000d02: POP 00000d03: POP 00000d04: POP 00000d05: POP 00000d06: SWAP1 00000d07: POP 00000d08: SWAP1 00000d09: DUP2 00000d0a: ADD 00000d0b: SWAP1 00000d0c: PUSH1 0x1f 00000d0e: AND 00000d0f: DUP1 00000d10: ISZERO 00000d11: PUSH2 0x0d2e 00000d14: JUMPI 00000d15: DUP1 00000d16: DUP3 00000d17: SUB 00000d18: DUP1 00000d19: MLOAD 00000d1a: PUSH1 0x01 00000d1c: DUP4 00000d1d: PUSH1 0x20 00000d1f: SUB 00000d20: PUSH2 0x0100 00000d23: EXP 00000d24: SUB 00000d25: NOT 00000d26: AND 00000d27: DUP2 00000d28: MSTORE 00000d29: PUSH1 0x20 00000d2b: ADD 00000d2c: SWAP2 00000d2d: POP 00000d2e: JUMPDEST 00000d2f: POP 00000d30: SWAP3 00000d31: POP 00000d32: POP 00000d33: POP 00000d34: PUSH1 0x40 00000d36: MLOAD 00000d37: DUP1 00000d38: SWAP2 00000d39: SUB 00000d3a: SWAP1 00000d3b: REVERT 00000d3c: JUMPDEST 00000d3d: POP 00000d3e: PUSH1 0x00 00000d40: DUP4 00000d41: DUP6 00000d42: DUP2 00000d43: PUSH2 0x0d48 00000d46: JUMPI 00000d47: INVALID 00000d48: JUMPDEST 00000d49: DIV 00000d4a: SWAP2 00000d4b: POP 00000d4c: POP 00000d4d: JUMPDEST 00000d4e: SWAP4 00000d4f: SWAP3 00000d50: POP 00000d51: POP 00000d52: POP 00000d53: JUMP 00000d54: JUMPDEST 00000d55: PUSH1 0x60 00000d57: PUSH2 0x0da9 00000d5a: DUP3 00000d5b: PUSH1 0x40 00000d5d: MLOAD 00000d5e: DUP1 00000d5f: PUSH1 0x40 00000d61: ADD 00000d62: PUSH1 0x40 00000d64: MSTORE 00000d65: DUP1 00000d66: PUSH1 0x20 00000d68: DUP2 00000d69: MSTORE 00000d6a: PUSH1 0x20 00000d6c: ADD 00000d6d: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 00000d8e: DUP2 00000d8f: MSTORE 00000d90: POP 00000d91: DUP6 00000d92: PUSH1 0x01 00000d94: PUSH1 0x01 00000d96: PUSH1 0xa0 00000d98: SHL 00000d99: SUB 00000d9a: AND 00000d9b: PUSH2 0x0e05 00000d9e: SWAP1 00000d9f: SWAP3 00000da0: SWAP2 00000da1: SWAP1 00000da2: PUSH4 0xffffffff 00000da7: AND 00000da8: JUMP 00000da9: JUMPDEST 00000daa: DUP1 00000dab: MLOAD 00000dac: SWAP1 00000dad: SWAP2 00000dae: POP 00000daf: ISZERO 00000db0: PUSH2 0x0cab 00000db3: JUMPI 00000db4: DUP1 00000db5: DUP1 00000db6: PUSH1 0x20 00000db8: ADD 00000db9: SWAP1 00000dba: MLOAD 00000dbb: PUSH1 0x20 00000dbd: DUP2 00000dbe: LT 00000dbf: ISZERO 00000dc0: PUSH2 0x0dc8 00000dc3: JUMPI 00000dc4: PUSH1 0x00 00000dc6: DUP1 00000dc7: REVERT 00000dc8: JUMPDEST 00000dc9: POP 00000dca: MLOAD 00000dcb: PUSH2 0x0cab 00000dce: JUMPI 00000dcf: PUSH1 0x40 00000dd1: MLOAD 00000dd2: PUSH3 0x461bcd 00000dd6: PUSH1 0xe5 00000dd8: SHL 00000dd9: DUP2 00000dda: MSTORE 00000ddb: PUSH1 0x04 00000ddd: ADD 00000dde: DUP1 00000ddf: DUP1 00000de0: PUSH1 0x20 00000de2: ADD 00000de3: DUP3 00000de4: DUP2 00000de5: SUB 00000de6: DUP3 00000de7: MSTORE 00000de8: PUSH1 0x2a 00000dea: DUP2 00000deb: MSTORE 00000dec: PUSH1 0x20 00000dee: ADD 00000def: DUP1 00000df0: PUSH2 0x109c 00000df3: PUSH1 0x2a 00000df5: SWAP2 00000df6: CODECOPY 00000df7: PUSH1 0x40 00000df9: ADD 00000dfa: SWAP2 00000dfb: POP 00000dfc: POP 00000dfd: PUSH1 0x40 00000dff: MLOAD 00000e00: DUP1 00000e01: SWAP2 00000e02: SUB 00000e03: SWAP1 00000e04: REVERT 00000e05: JUMPDEST 00000e06: PUSH1 0x60 00000e08: PUSH2 0x0e14 00000e0b: DUP5 00000e0c: DUP5 00000e0d: PUSH1 0x00 00000e0f: DUP6 00000e10: PUSH2 0x0e1c 00000e13: JUMP 00000e14: JUMPDEST 00000e15: SWAP5 00000e16: SWAP4 00000e17: POP 00000e18: POP 00000e19: POP 00000e1a: POP 00000e1b: JUMP 00000e1c: JUMPDEST 00000e1d: PUSH1 0x60 00000e1f: DUP3 00000e20: SELFBALANCE 00000e21: LT 00000e22: ISZERO 00000e23: PUSH2 0x0e5d 00000e26: JUMPI 00000e27: PUSH1 0x40 00000e29: MLOAD 00000e2a: PUSH3 0x461bcd 00000e2e: PUSH1 0xe5 00000e30: SHL 00000e31: DUP2 00000e32: MSTORE 00000e33: PUSH1 0x04 00000e35: ADD 00000e36: DUP1 00000e37: DUP1 00000e38: PUSH1 0x20 00000e3a: ADD 00000e3b: DUP3 00000e3c: DUP2 00000e3d: SUB 00000e3e: DUP3 00000e3f: MSTORE 00000e40: PUSH1 0x26 00000e42: DUP2 00000e43: MSTORE 00000e44: PUSH1 0x20 00000e46: ADD 00000e47: DUP1 00000e48: PUSH2 0x1035 00000e4b: PUSH1 0x26 00000e4d: SWAP2 00000e4e: CODECOPY 00000e4f: PUSH1 0x40 00000e51: ADD 00000e52: SWAP2 00000e53: POP 00000e54: POP 00000e55: PUSH1 0x40 00000e57: MLOAD 00000e58: DUP1 00000e59: SWAP2 00000e5a: SUB 00000e5b: SWAP1 00000e5c: REVERT 00000e5d: JUMPDEST 00000e5e: PUSH2 0x0e66 00000e61: DUP6 00000e62: PUSH2 0x0f78 00000e65: JUMP 00000e66: JUMPDEST 00000e67: PUSH2 0x0eb7 00000e6a: JUMPI 00000e6b: PUSH1 0x40 00000e6d: DUP1 00000e6e: MLOAD 00000e6f: PUSH3 0x461bcd 00000e73: PUSH1 0xe5 00000e75: SHL 00000e76: DUP2 00000e77: MSTORE 00000e78: PUSH1 0x20 00000e7a: PUSH1 0x04 00000e7c: DUP3 00000e7d: ADD 00000e7e: MSTORE 00000e7f: PUSH1 0x1d 00000e81: PUSH1 0x24 00000e83: DUP3 00000e84: ADD 00000e85: MSTORE 00000e86: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 00000ea7: PUSH1 0x44 00000ea9: DUP3 00000eaa: ADD 00000eab: MSTORE 00000eac: SWAP1 00000ead: MLOAD 00000eae: SWAP1 00000eaf: DUP2 00000eb0: SWAP1 00000eb1: SUB 00000eb2: PUSH1 0x64 00000eb4: ADD 00000eb5: SWAP1 00000eb6: REVERT 00000eb7: JUMPDEST 00000eb8: PUSH1 0x00 00000eba: PUSH1 0x60 00000ebc: DUP7 00000ebd: PUSH1 0x01 00000ebf: PUSH1 0x01 00000ec1: PUSH1 0xa0 00000ec3: SHL 00000ec4: SUB 00000ec5: AND 00000ec6: DUP6 00000ec7: DUP8 00000ec8: PUSH1 0x40 00000eca: MLOAD 00000ecb: DUP1 00000ecc: DUP3 00000ecd: DUP1 00000ece: MLOAD 00000ecf: SWAP1 00000ed0: PUSH1 0x20 00000ed2: ADD 00000ed3: SWAP1 00000ed4: DUP1 00000ed5: DUP4 00000ed6: DUP4 00000ed7: JUMPDEST 00000ed8: PUSH1 0x20 00000eda: DUP4 00000edb: LT 00000edc: PUSH2 0x0ef6 00000edf: JUMPI 00000ee0: DUP1 00000ee1: MLOAD 00000ee2: DUP3 00000ee3: MSTORE 00000ee4: PUSH1 0x1f 00000ee6: NOT 00000ee7: SWAP1 00000ee8: SWAP3 00000ee9: ADD 00000eea: SWAP2 00000eeb: PUSH1 0x20 00000eed: SWAP2 00000eee: DUP3 00000eef: ADD 00000ef0: SWAP2 00000ef1: ADD 00000ef2: PUSH2 0x0ed7 00000ef5: JUMP 00000ef6: JUMPDEST 00000ef7: PUSH1 0x01 00000ef9: DUP4 00000efa: PUSH1 0x20 00000efc: SUB 00000efd: PUSH2 0x0100 00000f00: EXP 00000f01: SUB 00000f02: DUP1 00000f03: NOT 00000f04: DUP3 00000f05: MLOAD 00000f06: AND 00000f07: DUP2 00000f08: DUP5 00000f09: MLOAD 00000f0a: AND 00000f0b: DUP1 00000f0c: DUP3 00000f0d: OR 00000f0e: DUP6 00000f0f: MSTORE 00000f10: POP 00000f11: POP 00000f12: POP 00000f13: POP 00000f14: POP 00000f15: POP 00000f16: SWAP1 00000f17: POP 00000f18: ADD 00000f19: SWAP2 00000f1a: POP 00000f1b: POP 00000f1c: PUSH1 0x00 00000f1e: PUSH1 0x40 00000f20: MLOAD 00000f21: DUP1 00000f22: DUP4 00000f23: SUB 00000f24: DUP2 00000f25: DUP6 00000f26: DUP8 00000f27: GAS 00000f28: CALL 00000f29: SWAP3 00000f2a: POP 00000f2b: POP 00000f2c: POP 00000f2d: RETURNDATASIZE 00000f2e: DUP1 00000f2f: PUSH1 0x00 00000f31: DUP2 00000f32: EQ 00000f33: PUSH2 0x0f58 00000f36: JUMPI 00000f37: PUSH1 0x40 00000f39: MLOAD 00000f3a: SWAP2 00000f3b: POP 00000f3c: PUSH1 0x1f 00000f3e: NOT 00000f3f: PUSH1 0x3f 00000f41: RETURNDATASIZE 00000f42: ADD 00000f43: AND 00000f44: DUP3 00000f45: ADD 00000f46: PUSH1 0x40 00000f48: MSTORE 00000f49: RETURNDATASIZE 00000f4a: DUP3 00000f4b: MSTORE 00000f4c: RETURNDATASIZE 00000f4d: PUSH1 0x00 00000f4f: PUSH1 0x20 00000f51: DUP5 00000f52: ADD 00000f53: RETURNDATACOPY 00000f54: PUSH2 0x0f5d 00000f57: JUMP 00000f58: JUMPDEST 00000f59: PUSH1 0x60 00000f5b: SWAP2 00000f5c: POP 00000f5d: JUMPDEST 00000f5e: POP 00000f5f: SWAP2 00000f60: POP 00000f61: SWAP2 00000f62: POP 00000f63: PUSH2 0x0f6d 00000f66: DUP3 00000f67: DUP3 00000f68: DUP7 00000f69: PUSH2 0x0f7e 00000f6c: JUMP 00000f6d: JUMPDEST 00000f6e: SWAP8 00000f6f: SWAP7 00000f70: POP 00000f71: POP 00000f72: POP 00000f73: POP 00000f74: POP 00000f75: POP 00000f76: POP 00000f77: JUMP 00000f78: JUMPDEST 00000f79: EXTCODESIZE 00000f7a: ISZERO 00000f7b: ISZERO 00000f7c: SWAP1 00000f7d: JUMP 00000f7e: JUMPDEST 00000f7f: PUSH1 0x60 00000f81: DUP4 00000f82: ISZERO 00000f83: PUSH2 0x0f8d 00000f86: JUMPI 00000f87: POP 00000f88: DUP2 00000f89: PUSH2 0x0d4d 00000f8c: JUMP 00000f8d: JUMPDEST 00000f8e: DUP3 00000f8f: MLOAD 00000f90: ISZERO 00000f91: PUSH2 0x0f9d 00000f94: JUMPI 00000f95: DUP3 00000f96: MLOAD 00000f97: DUP1 00000f98: DUP5 00000f99: PUSH1 0x20 00000f9b: ADD 00000f9c: REVERT 00000f9d: JUMPDEST 00000f9e: PUSH1 0x40 00000fa0: MLOAD 00000fa1: PUSH3 0x461bcd 00000fa5: PUSH1 0xe5 00000fa7: SHL 00000fa8: DUP2 00000fa9: MSTORE 00000faa: PUSH1 0x20 00000fac: PUSH1 0x04 00000fae: DUP3 00000faf: ADD 00000fb0: DUP2 00000fb1: DUP2 00000fb2: MSTORE 00000fb3: DUP5 00000fb4: MLOAD 00000fb5: PUSH1 0x24 00000fb7: DUP5 00000fb8: ADD 00000fb9: MSTORE 00000fba: DUP5 00000fbb: MLOAD 00000fbc: DUP6 00000fbd: SWAP4 00000fbe: SWAP2 00000fbf: SWAP3 00000fc0: DUP4 00000fc1: SWAP3 00000fc2: PUSH1 0x44 00000fc4: ADD 00000fc5: SWAP2 00000fc6: SWAP1 00000fc7: DUP6 00000fc8: ADD 00000fc9: SWAP1 00000fca: DUP1 00000fcb: DUP4 00000fcc: DUP4 00000fcd: PUSH1 0x00 00000fcf: DUP4 00000fd0: ISZERO 00000fd1: PUSH2 0x0d01 00000fd4: JUMPI 00000fd5: DUP2 00000fd6: DUP2 00000fd7: ADD 00000fd8: MLOAD 00000fd9: DUP4 00000fda: DUP3 00000fdb: ADD 00000fdc: MSTORE 00000fdd: PUSH1 0x20 00000fdf: ADD 00000fe0: PUSH2 0x0ce9 00000fe3: JUMP 00000fe4: INVALID 00000fe5: UNKNOWN(0x4F) 00000fe6: PUSH24 0x6e61626c653a206e6577206f776e65722069732074686520 00000fff: PUSH27 0x65726f206164647265737354686520726571756972656420616d6f 0000101b: PUSH22 0x6e7420686173206e6f74206265656e2070726f766964 00001032: PUSH6 0x642141646472 00001039: PUSH6 0x73733a20696e 00001040: PUSH20 0x756666696369656e742062616c616e636520666f 00001055: PUSH19 0x2063616c6c536166654d6174683a206d756c74 00001069: PUSH10 0x706c69636174696f6e20 00001074: PUSH16 0x766572666c6f774f776e61626c653a20 00001085: PUSH4 0x616c6c65 0000108a: PUSH19 0x206973206e6f7420746865206f776e65725361 0000109e: PUSH7 0x6545524332303a 000010a6: KECCAK256 000010a7: GASLIMIT 000010a8: MSTORE 000010a9: NUMBER 000010aa: ORIGIN 000010ab: ADDRESS 000010ac: KECCAK256 000010ad: PUSH16 0x7065726174696f6e20646964206e6f74 000010be: KECCAK256 000010bf: PUSH20 0x756363656564a26469706673582212208aab166c 000010d4: DUP4 000010d5: PUSH14 0x3a077f69f772b0b1fcdebe59767e 000010e4: UNKNOWN(0xAE) 000010e5: DUP7 000010e6: SWAP7 000010e7: UNKNOWN(0xE0) 000010e8: PUSH30
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 | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xe43608d8",
"selector": "0xe43608d8",
"calldata_variants": [
"0xe43608d8",
"0xe43608d80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xefe7a504",
"selector": "0xefe7a504",
"calldata_variants": [
"0xefe7a504",
"0xefe7a5040000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf6530090",
"selector": "0xf6530090",
"calldata_variants": [
"0xf6530090",
"0xf65300900000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9ddb9ee1",
"selector": "0x9ddb9ee1",
"calldata_variants": [
"0x9ddb9ee1",
"0x9ddb9ee10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xaa1cf2a2",
"selector": "0xaa1cf2a2",
"calldata_variants": [
"0xaa1cf2a2",
"0xaa1cf2a20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb66a0e5d",
"selector": "0xb66a0e5d",
"calldata_variants": [
"0xb66a0e5d",
"0xb66a0e5d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xba9a061a",
"selector": "0xba9a061a",
"calldata_variants": [
"0xba9a061a",
"0xba9a061a0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 4266,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x5299ebc7acecef1e99e1b182cbd6dd234c93b10ebcd60659dd60097273a07d0c
call_targets:
0xb72027693a5b717b9e28ea5e12ec59b67c944df7
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x5299ebc7acecef1e99e1b182cbd6dd234c93b10ebcd60659dd60097273a07d0c",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xb72027693a5b717b9e28ea5e12ec59b67c944df7"
],
"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": "0xe43608d8",
"selector": "0xe43608d8",
"calldata_variants": [
"0xe43608d8",
"0xe43608d80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xefe7a504",
"selector": "0xefe7a504",
"calldata_variants": [
"0xefe7a504",
"0xefe7a5040000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf6530090",
"selector": "0xf6530090",
"calldata_variants": [
"0xf6530090",
"0xf65300900000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9ddb9ee1",
"selector": "0x9ddb9ee1",
"calldata_variants": [
"0x9ddb9ee1",
"0x9ddb9ee10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xaa1cf2a2",
"selector": "0xaa1cf2a2",
"calldata_variants": [
"0xaa1cf2a2",
"0xaa1cf2a20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb66a0e5d",
"selector": "0xb66a0e5d",
"calldata_variants": [
"0xb66a0e5d",
"0xb66a0e5d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xba9a061a",
"selector": "0xba9a061a",
"calldata_variants": [
"0xba9a061a",
"0xba9a061a0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1612,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2391,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3880,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [
{
"pc": 4266,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 3
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x5299ebc7acecef1e99e1b182cbd6dd234c93b10ebcd60659dd60097273a07d0c
call_targets:
0xb72027693a5b717b9e28ea5e12ec59b67c944df7
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x5299ebc7acecef1e99e1b182cbd6dd234c93b10ebcd60659dd60097273a07d0c",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xb72027693a5b717b9e28ea5e12ec59b67c944df7"
],
"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": "0xe43608d8",
"selector": "0xe43608d8",
"calldata_variants": [
"0xe43608d8",
"0xe43608d80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xefe7a504",
"selector": "0xefe7a504",
"calldata_variants": [
"0xefe7a504",
"0xefe7a5040000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf6530090",
"selector": "0xf6530090",
"calldata_variants": [
"0xf6530090",
"0xf65300900000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9ddb9ee1",
"selector": "0x9ddb9ee1",
"calldata_variants": [
"0x9ddb9ee1",
"0x9ddb9ee10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xaa1cf2a2",
"selector": "0xaa1cf2a2",
"calldata_variants": [
"0xaa1cf2a2",
"0xaa1cf2a20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb66a0e5d",
"selector": "0xb66a0e5d",
"calldata_variants": [
"0xb66a0e5d",
"0xb66a0e5d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xba9a061a",
"selector": "0xba9a061a",
"calldata_variants": [
"0xba9a061a",
"0xba9a061a0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1612,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2391,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3880,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": [
{
"pc": 4266,
"type": "tx_origin_used"
}
]
}
|