019b477e-d71b-71d1-a8d8-5337c833e163
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 |
|---|---|---|---|---|
| 28825 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 28826 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 72060 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 72061 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 72062 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 72063 | 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 0x0118 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x82bfefc8 00000019: GT 0000001a: PUSH2 0x00a0 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xce7c2ac2 00000024: GT 00000025: PUSH2 0x0064 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xce7c2ac2 0000002f: EQ 00000030: PUSH2 0x034d 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xd505a364 0000003a: EQ 0000003b: PUSH2 0x037a 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xea7af02d 00000045: EQ 00000046: PUSH2 0x039a 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xefca2eed 00000050: EQ 00000051: PUSH2 0x03ce 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xfeeabb14 0000005b: EQ 0000005c: PUSH2 0x03e4 0000005f: JUMPI 00000060: PUSH1 0x00 00000062: DUP1 00000063: REVERT 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x82bfefc8 0000006b: EQ 0000006c: PUSH2 0x0296 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x949813b8 00000076: EQ 00000077: PUSH2 0x02e2 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xa78d329e 00000081: EQ 00000082: PUSH2 0x0302 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xb77cf9c6 0000008c: EQ 0000008d: PUSH2 0x030a 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0xbff1f9e1 00000097: EQ 00000098: PUSH2 0x0337 0000009b: JUMPI 0000009c: PUSH1 0x00 0000009e: DUP1 0000009f: REVERT 000000a0: JUMPDEST 000000a1: DUP1 000000a2: PUSH4 0x3a98ef39 000000a7: GT 000000a8: PUSH2 0x00e7 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x3a98ef39 000000b2: EQ 000000b3: PUSH2 0x01e5 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x4011c039 000000bd: EQ 000000be: PUSH2 0x0209 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x4223a199 000000c8: EQ 000000c9: PUSH2 0x021f 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0x697e0ef2 000000d3: EQ 000000d4: PUSH2 0x024c 000000d7: JUMPI 000000d8: DUP1 000000d9: PUSH4 0x6ac1966f 000000de: EQ 000000df: PUSH2 0x0280 000000e2: JUMPI 000000e3: PUSH1 0x00 000000e5: DUP1 000000e6: REVERT 000000e7: JUMPDEST 000000e8: DUP1 000000e9: PUSH4 0x0700037d 000000ee: EQ 000000ef: PUSH2 0x0131 000000f2: JUMPI 000000f3: DUP1 000000f4: PUSH4 0x152111f7 000000f9: EQ 000000fa: PUSH2 0x018d 000000fd: JUMPI 000000fe: DUP1 000000ff: PUSH4 0x15dd37b3 00000104: EQ 00000105: PUSH2 0x0195 00000108: JUMPI 00000109: DUP1 0000010a: PUSH4 0x2bbf532a 0000010f: EQ 00000110: PUSH2 0x01b5 00000113: JUMPI 00000114: PUSH1 0x00 00000116: DUP1 00000117: REVERT 00000118: JUMPDEST 00000119: CALLDATASIZE 0000011a: PUSH2 0x012c 0000011d: JUMPI 0000011e: PUSH2 0x012a 00000121: CALLER 00000122: JUMPDEST 00000123: CALLVALUE 00000124: PUSH1 0x01 00000126: PUSH2 0x0418 00000129: JUMP 0000012a: JUMPDEST 0000012b: STOP 0000012c: JUMPDEST 0000012d: PUSH1 0x00 0000012f: DUP1 00000130: REVERT 00000131: JUMPDEST 00000132: CALLVALUE 00000133: DUP1 00000134: ISZERO 00000135: PUSH2 0x013d 00000138: JUMPI 00000139: PUSH1 0x00 0000013b: DUP1 0000013c: REVERT 0000013d: JUMPDEST 0000013e: POP 0000013f: PUSH2 0x016d 00000142: PUSH2 0x014c 00000145: CALLDATASIZE 00000146: PUSH1 0x04 00000148: PUSH2 0x119f 0000014b: JUMP 0000014c: JUMPDEST 0000014d: PUSH1 0x05 0000014f: PUSH1 0x20 00000151: MSTORE 00000152: PUSH1 0x00 00000154: SWAP1 00000155: DUP2 00000156: MSTORE 00000157: PUSH1 0x40 00000159: SWAP1 0000015a: KECCAK256 0000015b: DUP1 0000015c: SLOAD 0000015d: PUSH1 0x01 0000015f: DUP3 00000160: ADD 00000161: SLOAD 00000162: PUSH1 0x02 00000164: SWAP1 00000165: SWAP3 00000166: ADD 00000167: SLOAD 00000168: SWAP1 00000169: SWAP2 0000016a: SWAP1 0000016b: DUP4 0000016c: JUMP 0000016d: JUMPDEST 0000016e: PUSH1 0x40 00000170: DUP1 00000171: MLOAD 00000172: SWAP4 00000173: DUP5 00000174: MSTORE 00000175: PUSH1 0x20 00000177: DUP5 00000178: ADD 00000179: SWAP3 0000017a: SWAP1 0000017b: SWAP3 0000017c: MSTORE 0000017d: SWAP1 0000017e: DUP3 0000017f: ADD 00000180: MSTORE 00000181: PUSH1 0x60 00000183: ADD 00000184: JUMPDEST 00000185: PUSH1 0x40 00000187: MLOAD 00000188: DUP1 00000189: SWAP2 0000018a: SUB 0000018b: SWAP1 0000018c: RETURN 0000018d: JUMPDEST 0000018e: PUSH2 0x012a 00000191: PUSH2 0x051d 00000194: JUMP 00000195: JUMPDEST 00000196: CALLVALUE 00000197: DUP1 00000198: ISZERO 00000199: PUSH2 0x01a1 0000019c: JUMPI 0000019d: PUSH1 0x00 0000019f: DUP1 000001a0: REVERT 000001a1: JUMPDEST 000001a2: POP 000001a3: PUSH2 0x012a 000001a6: PUSH2 0x01b0 000001a9: CALLDATASIZE 000001aa: PUSH1 0x04 000001ac: PUSH2 0x11d1 000001af: JUMP 000001b0: JUMPDEST 000001b1: PUSH2 0x0528 000001b4: JUMP 000001b5: JUMPDEST 000001b6: CALLVALUE 000001b7: DUP1 000001b8: ISZERO 000001b9: PUSH2 0x01c1 000001bc: JUMPI 000001bd: PUSH1 0x00 000001bf: DUP1 000001c0: REVERT 000001c1: JUMPDEST 000001c2: POP 000001c3: PUSH2 0x01d5 000001c6: PUSH2 0x01d0 000001c9: CALLDATASIZE 000001ca: PUSH1 0x04 000001cc: PUSH2 0x119f 000001cf: JUMP 000001d0: JUMPDEST 000001d1: PUSH2 0x0660 000001d4: JUMP 000001d5: JUMPDEST 000001d6: PUSH1 0x40 000001d8: MLOAD 000001d9: SWAP1 000001da: ISZERO 000001db: ISZERO 000001dc: DUP2 000001dd: MSTORE 000001de: PUSH1 0x20 000001e0: ADD 000001e1: PUSH2 0x0184 000001e4: JUMP 000001e5: JUMPDEST 000001e6: CALLVALUE 000001e7: DUP1 000001e8: ISZERO 000001e9: PUSH2 0x01f1 000001ec: JUMPI 000001ed: PUSH1 0x00 000001ef: DUP1 000001f0: REVERT 000001f1: JUMPDEST 000001f2: POP 000001f3: PUSH2 0x01fb 000001f6: PUSH1 0x01 000001f8: SLOAD 000001f9: DUP2 000001fa: JUMP 000001fb: JUMPDEST 000001fc: PUSH1 0x40 000001fe: MLOAD 000001ff: SWAP1 00000200: DUP2 00000201: MSTORE 00000202: PUSH1 0x20 00000204: ADD 00000205: PUSH2 0x0184 00000208: JUMP 00000209: JUMPDEST 0000020a: CALLVALUE 0000020b: DUP1 0000020c: ISZERO 0000020d: PUSH2 0x0215 00000210: JUMPI 00000211: PUSH1 0x00 00000213: DUP1 00000214: REVERT 00000215: JUMPDEST 00000216: POP 00000217: PUSH2 0x01fb 0000021a: PUSH1 0x08 0000021c: SLOAD 0000021d: DUP2 0000021e: JUMP 0000021f: JUMPDEST 00000220: CALLVALUE 00000221: DUP1 00000222: ISZERO 00000223: PUSH2 0x022b 00000226: JUMPI 00000227: PUSH1 0x00 00000229: DUP1 0000022a: REVERT 0000022b: JUMPDEST 0000022c: POP 0000022d: PUSH2 0x01fb 00000230: PUSH2 0x023a 00000233: CALLDATASIZE 00000234: PUSH1 0x04 00000236: PUSH2 0x119f 00000239: JUMP 0000023a: JUMPDEST 0000023b: PUSH1 0x03 0000023d: PUSH1 0x20 0000023f: MSTORE 00000240: PUSH1 0x00 00000242: SWAP1 00000243: DUP2 00000244: MSTORE 00000245: PUSH1 0x40 00000247: SWAP1 00000248: KECCAK256 00000249: SLOAD 0000024a: DUP2 0000024b: JUMP 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 0x01fb 0000025d: PUSH32 0x00000000000000000000000000000000000000000000000000000000666062cf 0000027e: DUP2 0000027f: JUMP 00000280: JUMPDEST 00000281: CALLVALUE 00000282: DUP1 00000283: ISZERO 00000284: PUSH2 0x028c 00000287: JUMPI 00000288: PUSH1 0x00 0000028a: DUP1 0000028b: REVERT 0000028c: JUMPDEST 0000028d: POP 0000028e: PUSH2 0x01fb 00000291: PUSH1 0x09 00000293: SLOAD 00000294: DUP2 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 0x02ca 000002a7: PUSH32 0x0000000000000000000000007a569bff9f87b526b39331ca870516c1d93c0fda 000002c8: DUP2 000002c9: JUMP 000002ca: JUMPDEST 000002cb: PUSH1 0x40 000002cd: MLOAD 000002ce: PUSH1 0x01 000002d0: PUSH1 0x01 000002d2: PUSH1 0xa0 000002d4: SHL 000002d5: SUB 000002d6: SWAP1 000002d7: SWAP2 000002d8: AND 000002d9: DUP2 000002da: MSTORE 000002db: PUSH1 0x20 000002dd: ADD 000002de: PUSH2 0x0184 000002e1: JUMP 000002e2: JUMPDEST 000002e3: CALLVALUE 000002e4: DUP1 000002e5: ISZERO 000002e6: PUSH2 0x02ee 000002e9: JUMPI 000002ea: PUSH1 0x00 000002ec: DUP1 000002ed: REVERT 000002ee: JUMPDEST 000002ef: POP 000002f0: PUSH2 0x01fb 000002f3: PUSH2 0x02fd 000002f6: CALLDATASIZE 000002f7: PUSH1 0x04 000002f9: PUSH2 0x119f 000002fc: JUMP 000002fd: JUMPDEST 000002fe: PUSH2 0x0671 00000301: JUMP 00000302: JUMPDEST 00000303: PUSH2 0x012a 00000306: PUSH2 0x067c 00000309: JUMP 0000030a: JUMPDEST 0000030b: CALLVALUE 0000030c: DUP1 0000030d: ISZERO 0000030e: PUSH2 0x0316 00000311: JUMPI 00000312: PUSH1 0x00 00000314: DUP1 00000315: REVERT 00000316: JUMPDEST 00000317: POP 00000318: PUSH2 0x01fb 0000031b: PUSH2 0x0325 0000031e: CALLDATASIZE 0000031f: PUSH1 0x04 00000321: PUSH2 0x119f 00000324: JUMP 00000325: JUMPDEST 00000326: PUSH1 0x04 00000328: PUSH1 0x20 0000032a: MSTORE 0000032b: PUSH1 0x00 0000032d: SWAP1 0000032e: DUP2 0000032f: MSTORE 00000330: PUSH1 0x40 00000332: SWAP1 00000333: KECCAK256 00000334: SLOAD 00000335: DUP2 00000336: JUMP 00000337: JUMPDEST 00000338: CALLVALUE 00000339: DUP1 0000033a: ISZERO 0000033b: PUSH2 0x0343 0000033e: JUMPI 0000033f: PUSH1 0x00 00000341: DUP1 00000342: REVERT 00000343: JUMPDEST 00000344: POP 00000345: PUSH2 0x01fb 00000348: PUSH1 0x00 0000034a: SLOAD 0000034b: DUP2 0000034c: JUMP 0000034d: JUMPDEST 0000034e: CALLVALUE 0000034f: DUP1 00000350: ISZERO 00000351: PUSH2 0x0359 00000354: JUMPI 00000355: PUSH1 0x00 00000357: DUP1 00000358: REVERT 00000359: JUMPDEST 0000035a: POP 0000035b: PUSH2 0x01fb 0000035e: PUSH2 0x0368 00000361: CALLDATASIZE 00000362: PUSH1 0x04 00000364: PUSH2 0x119f 00000367: JUMP 00000368: JUMPDEST 00000369: PUSH1 0x02 0000036b: PUSH1 0x20 0000036d: MSTORE 0000036e: PUSH1 0x00 00000370: SWAP1 00000371: DUP2 00000372: MSTORE 00000373: PUSH1 0x40 00000375: SWAP1 00000376: KECCAK256 00000377: SLOAD 00000378: DUP2 00000379: JUMP 0000037a: JUMPDEST 0000037b: CALLVALUE 0000037c: DUP1 0000037d: ISZERO 0000037e: PUSH2 0x0386 00000381: JUMPI 00000382: PUSH1 0x00 00000384: DUP1 00000385: REVERT 00000386: JUMPDEST 00000387: POP 00000388: PUSH2 0x012a 0000038b: PUSH2 0x0395 0000038e: CALLDATASIZE 0000038f: PUSH1 0x04 00000391: PUSH2 0x120d 00000394: JUMP 00000395: JUMPDEST 00000396: PUSH2 0x07e3 00000399: JUMP 0000039a: JUMPDEST 0000039b: CALLVALUE 0000039c: DUP1 0000039d: ISZERO 0000039e: PUSH2 0x03a6 000003a1: JUMPI 000003a2: PUSH1 0x00 000003a4: DUP1 000003a5: REVERT 000003a6: JUMPDEST 000003a7: POP 000003a8: PUSH2 0x01fb 000003ab: PUSH32 0x0000000000000000000000000000000000000000000000000000000000015180 000003cc: DUP2 000003cd: JUMP 000003ce: JUMPDEST 000003cf: CALLVALUE 000003d0: DUP1 000003d1: ISZERO 000003d2: PUSH2 0x03da 000003d5: JUMPI 000003d6: PUSH1 0x00 000003d8: DUP1 000003d9: REVERT 000003da: JUMPDEST 000003db: POP 000003dc: PUSH2 0x01fb 000003df: PUSH1 0x07 000003e1: SLOAD 000003e2: DUP2 000003e3: JUMP 000003e4: JUMPDEST 000003e5: CALLVALUE 000003e6: DUP1 000003e7: ISZERO 000003e8: PUSH2 0x03f0 000003eb: JUMPI 000003ec: PUSH1 0x00 000003ee: DUP1 000003ef: REVERT 000003f0: JUMPDEST 000003f1: POP 000003f2: PUSH2 0x01fb 000003f5: PUSH32 0x000000000000000000000000000000000000000000000000000000000003f480 00000416: DUP2 00000417: JUMP 00000418: JUMPDEST 00000419: PUSH1 0x00 0000041b: DUP3 0000041c: GT 0000041d: DUP1 0000041e: ISZERO 0000041f: PUSH2 0x042a 00000422: JUMPI 00000423: POP 00000424: PUSH1 0x00 00000426: PUSH1 0x01 00000428: SLOAD 00000429: GT 0000042a: JUMPDEST 0000042b: PUSH2 0x0460 0000042e: JUMPI 0000042f: PUSH1 0x40 00000431: MLOAD 00000432: PUSH3 0x461bcd 00000436: PUSH1 0xe5 00000438: SHL 00000439: DUP2 0000043a: MSTORE 0000043b: PUSH1 0x20 0000043d: PUSH1 0x04 0000043f: DUP3 00000440: ADD 00000441: MSTORE 00000442: PUSH1 0x02 00000444: PUSH1 0x24 00000446: DUP3 00000447: ADD 00000448: MSTORE 00000449: PUSH2 0x0443 0000044c: PUSH1 0xf4 0000044e: SHL 0000044f: PUSH1 0x44 00000451: DUP3 00000452: ADD 00000453: MSTORE 00000454: PUSH1 0x64 00000456: ADD 00000457: JUMPDEST 00000458: PUSH1 0x40 0000045a: MLOAD 0000045b: DUP1 0000045c: SWAP2 0000045d: SUB 0000045e: SWAP1 0000045f: REVERT 00000460: JUMPDEST 00000461: DUP2 00000462: PUSH1 0x08 00000464: PUSH1 0x00 00000466: DUP3 00000467: DUP3 00000468: SLOAD 00000469: PUSH2 0x0472 0000046c: SWAP2 0000046d: SWAP1 0000046e: PUSH2 0x124d 00000471: JUMP 00000472: JUMPDEST 00000473: SWAP1 00000474: SWAP2 00000475: SSTORE 00000476: POP 00000477: POP 00000478: DUP1 00000479: ISZERO 0000047a: PUSH2 0x0495 0000047d: JUMPI 0000047e: DUP2 0000047f: PUSH1 0x09 00000481: PUSH1 0x00 00000483: DUP3 00000484: DUP3 00000485: SLOAD 00000486: PUSH2 0x048f 00000489: SWAP2 0000048a: SWAP1 0000048b: PUSH2 0x124d 0000048e: JUMP 0000048f: JUMPDEST 00000490: SWAP1 00000491: SWAP2 00000492: SSTORE 00000493: POP 00000494: POP 00000495: JUMPDEST 00000496: PUSH1 0x01 00000498: SLOAD 00000499: PUSH2 0x04a6 0000049c: DUP4 0000049d: PUSH1 0x01 0000049f: PUSH1 0x60 000004a1: SHL 000004a2: PUSH2 0x1260 000004a5: JUMP 000004a6: JUMPDEST 000004a7: PUSH2 0x04b0 000004aa: SWAP2 000004ab: SWAP1 000004ac: PUSH2 0x1277 000004af: JUMP 000004b0: JUMPDEST 000004b1: PUSH1 0x06 000004b3: PUSH1 0x00 000004b5: DUP3 000004b6: DUP3 000004b7: SLOAD 000004b8: PUSH2 0x04c1 000004bb: SWAP2 000004bc: SWAP1 000004bd: PUSH2 0x124d 000004c0: JUMP 000004c1: JUMPDEST 000004c2: SWAP1 000004c3: SWAP2 000004c4: SSTORE 000004c5: POP 000004c6: POP 000004c7: PUSH1 0x06 000004c9: SLOAD 000004ca: PUSH1 0x40 000004cc: DUP1 000004cd: MLOAD 000004ce: DUP5 000004cf: DUP2 000004d0: MSTORE 000004d1: PUSH1 0x20 000004d3: DUP2 000004d4: ADD 000004d5: SWAP3 000004d6: SWAP1 000004d7: SWAP3 000004d8: MSTORE 000004d9: DUP3 000004da: ISZERO 000004db: ISZERO 000004dc: SWAP1 000004dd: DUP3 000004de: ADD 000004df: MSTORE 000004e0: PUSH1 0x01 000004e2: PUSH1 0x01 000004e4: PUSH1 0xa0 000004e6: SHL 000004e7: SUB 000004e8: DUP5 000004e9: AND 000004ea: SWAP1 000004eb: PUSH32 0xb1124c952fdad130b5fd37d89d424fc26de2c06e0a94bd75afc5d596939429d5 0000050c: SWAP1 0000050d: PUSH1 0x60 0000050f: ADD 00000510: JUMPDEST 00000511: PUSH1 0x40 00000513: MLOAD 00000514: DUP1 00000515: SWAP2 00000516: SUB 00000517: SWAP1 00000518: LOG2 00000519: POP 0000051a: POP 0000051b: POP 0000051c: JUMP 0000051d: JUMPDEST 0000051e: PUSH2 0x0526 00000521: CALLER 00000522: PUSH2 0x0122 00000525: JUMP 00000526: JUMPDEST 00000527: JUMP 00000528: JUMPDEST 00000529: CALLER 0000052a: PUSH32 0x0000000000000000000000007a569bff9f87b526b39331ca870516c1d93c0fda 0000054b: PUSH1 0x01 0000054d: PUSH1 0x01 0000054f: PUSH1 0xa0 00000551: SHL 00000552: SUB 00000553: AND 00000554: EQ 00000555: PUSH2 0x0584 00000558: JUMPI 00000559: PUSH1 0x40 0000055b: MLOAD 0000055c: PUSH3 0x461bcd 00000560: PUSH1 0xe5 00000562: SHL 00000563: DUP2 00000564: MSTORE 00000565: PUSH1 0x20 00000567: PUSH1 0x04 00000569: DUP3 0000056a: ADD 0000056b: MSTORE 0000056c: PUSH1 0x01 0000056e: PUSH1 0x24 00000570: DUP3 00000571: ADD 00000572: MSTORE 00000573: PUSH1 0x15 00000575: PUSH1 0xfa 00000577: SHL 00000578: PUSH1 0x44 0000057a: DUP3 0000057b: ADD 0000057c: MSTORE 0000057d: PUSH1 0x64 0000057f: ADD 00000580: PUSH2 0x0457 00000583: JUMP 00000584: JUMPDEST 00000585: DUP1 00000586: ISZERO 00000587: PUSH2 0x05f5 0000058a: JUMPI 0000058b: PUSH2 0x0594 0000058e: DUP4 0000058f: DUP4 00000590: PUSH2 0x0871 00000593: JUMP 00000594: JUMPDEST 00000595: PUSH1 0x01 00000597: PUSH1 0x01 00000599: PUSH1 0xa0 0000059b: SHL 0000059c: SUB 0000059d: DUP4 0000059e: AND 0000059f: PUSH1 0x00 000005a1: DUP2 000005a2: DUP2 000005a3: MSTORE 000005a4: PUSH1 0x05 000005a6: PUSH1 0x20 000005a8: SWAP1 000005a9: DUP2 000005aa: MSTORE 000005ab: PUSH1 0x40 000005ad: SWAP2 000005ae: DUP3 000005af: SWAP1 000005b0: KECCAK256 000005b1: DUP1 000005b2: SLOAD 000005b3: PUSH1 0x01 000005b5: SWAP1 000005b6: SWAP2 000005b7: ADD 000005b8: SLOAD 000005b9: DUP4 000005ba: MLOAD 000005bb: DUP8 000005bc: DUP2 000005bd: MSTORE 000005be: SWAP3 000005bf: DUP4 000005c0: ADD 000005c1: SWAP2 000005c2: SWAP1 000005c3: SWAP2 000005c4: MSTORE 000005c5: SWAP2 000005c6: DUP2 000005c7: ADD 000005c8: SWAP2 000005c9: SWAP1 000005ca: SWAP2 000005cb: MSTORE 000005cc: PUSH32 0x540d84ae9bd4002d192eb164830a11352726e8a25a3bf8d3db5341be164ab43f 000005ed: SWAP1 000005ee: PUSH1 0x60 000005f0: ADD 000005f1: PUSH2 0x0510 000005f4: JUMP 000005f5: JUMPDEST 000005f6: PUSH2 0x05ff 000005f9: DUP4 000005fa: DUP4 000005fb: PUSH2 0x0a54 000005fe: JUMP 000005ff: JUMPDEST 00000600: PUSH1 0x01 00000602: PUSH1 0x01 00000604: PUSH1 0xa0 00000606: SHL 00000607: SUB 00000608: DUP4 00000609: AND 0000060a: PUSH1 0x00 0000060c: DUP2 0000060d: DUP2 0000060e: MSTORE 0000060f: PUSH1 0x05 00000611: PUSH1 0x20 00000613: SWAP1 00000614: DUP2 00000615: MSTORE 00000616: PUSH1 0x40 00000618: SWAP2 00000619: DUP3 0000061a: SWAP1 0000061b: KECCAK256 0000061c: DUP1 0000061d: SLOAD 0000061e: PUSH1 0x01 00000620: SWAP1 00000621: SWAP2 00000622: ADD 00000623: SLOAD 00000624: DUP4 00000625: MLOAD 00000626: DUP8 00000627: DUP2 00000628: MSTORE 00000629: SWAP3 0000062a: DUP4 0000062b: ADD 0000062c: SWAP2 0000062d: SWAP1 0000062e: SWAP2 0000062f: MSTORE 00000630: SWAP2 00000631: DUP2 00000632: ADD 00000633: SWAP2 00000634: SWAP1 00000635: SWAP2 00000636: MSTORE 00000637: PUSH32 0x067751958776933403288298f84550d155f9dbcd6eb4730644700e6432cf5939 00000658: SWAP1 00000659: PUSH1 0x60 0000065b: ADD 0000065c: PUSH2 0x0510 0000065f: JUMP 00000660: JUMPDEST 00000661: PUSH1 0x00 00000663: PUSH2 0x066b 00000666: DUP3 00000667: PUSH2 0x0b3f 0000066a: JUMP 0000066b: JUMPDEST 0000066c: SWAP3 0000066d: SWAP2 0000066e: POP 0000066f: POP 00000670: JUMP 00000671: JUMPDEST 00000672: PUSH1 0x00 00000674: PUSH2 0x066b 00000677: DUP3 00000678: PUSH2 0x0bc5 0000067b: JUMP 0000067c: JUMPDEST 0000067d: CALLER 0000067e: PUSH2 0x0686 00000681: DUP2 00000682: PUSH2 0x0b3f 00000685: JUMP 00000686: JUMPDEST 00000687: ISZERO 00000688: PUSH2 0x06b9 0000068b: JUMPI 0000068c: PUSH1 0x40 0000068e: MLOAD 0000068f: PUSH3 0x461bcd 00000693: PUSH1 0xe5 00000695: SHL 00000696: DUP2 00000697: MSTORE 00000698: PUSH1 0x20 0000069a: PUSH1 0x04 0000069c: DUP3 0000069d: ADD 0000069e: MSTORE 0000069f: PUSH1 0x03 000006a1: PUSH1 0x24 000006a3: DUP3 000006a4: ADD 000006a5: MSTORE 000006a6: PUSH3 0x554c4b 000006aa: PUSH1 0xe8 000006ac: SHL 000006ad: PUSH1 0x44 000006af: DUP3 000006b0: ADD 000006b1: MSTORE 000006b2: PUSH1 0x64 000006b4: ADD 000006b5: PUSH2 0x0457 000006b8: JUMP 000006b9: JUMPDEST 000006ba: PUSH1 0x01 000006bc: PUSH1 0x01 000006be: PUSH1 0xa0 000006c0: SHL 000006c1: SUB 000006c2: DUP2 000006c3: AND 000006c4: PUSH1 0x00 000006c6: SWAP1 000006c7: DUP2 000006c8: MSTORE 000006c9: PUSH1 0x03 000006cb: PUSH1 0x20 000006cd: MSTORE 000006ce: PUSH1 0x40 000006d0: SWAP1 000006d1: KECCAK256 000006d2: SLOAD 000006d3: CALLVALUE 000006d4: EQ 000006d5: PUSH2 0x0704 000006d8: JUMPI 000006d9: PUSH1 0x40 000006db: MLOAD 000006dc: PUSH3 0x461bcd 000006e0: PUSH1 0xe5 000006e2: SHL 000006e3: DUP2 000006e4: MSTORE 000006e5: PUSH1 0x20 000006e7: PUSH1 0x04 000006e9: DUP3 000006ea: ADD 000006eb: MSTORE 000006ec: PUSH1 0x01 000006ee: PUSH1 0x24 000006f0: DUP3 000006f1: ADD 000006f2: MSTORE 000006f3: PUSH1 0x45 000006f5: PUSH1 0xf8 000006f7: SHL 000006f8: PUSH1 0x44 000006fa: DUP3 000006fb: ADD 000006fc: MSTORE 000006fd: PUSH1 0x64 000006ff: ADD 00000700: PUSH2 0x0457 00000703: JUMP 00000704: JUMPDEST 00000705: PUSH1 0x01 00000707: PUSH1 0x01 00000709: PUSH1 0xa0 0000070b: SHL 0000070c: SUB 0000070d: DUP2 0000070e: AND 0000070f: PUSH1 0x00 00000711: SWAP1 00000712: DUP2 00000713: MSTORE 00000714: PUSH1 0x02 00000716: PUSH1 0x20 00000718: MSTORE 00000719: PUSH1 0x40 0000071b: SWAP1 0000071c: KECCAK256 0000071d: SLOAD 0000071e: PUSH1 0x01 00000720: SLOAD 00000721: DUP2 00000722: LT 00000723: ISZERO 00000724: PUSH2 0x074c 00000727: JUMPI 00000728: PUSH2 0x0731 0000072b: DUP3 0000072c: DUP3 0000072d: PUSH2 0x0871 00000730: JUMP 00000731: JUMPDEST 00000732: PUSH2 0x073d 00000735: DUP3 00000736: CALLVALUE 00000737: PUSH1 0x01 00000739: PUSH2 0x0418 0000073c: JUMP 0000073d: JUMPDEST 0000073e: PUSH2 0x0747 00000741: DUP3 00000742: DUP3 00000743: PUSH2 0x0a54 00000746: JUMP 00000747: JUMPDEST 00000748: PUSH2 0x077f 0000074b: JUMP 0000074c: JUMPDEST 0000074d: PUSH2 0x0758 00000750: DUP3 00000751: CALLVALUE 00000752: PUSH1 0x01 00000754: PUSH2 0x0418 00000757: JUMP 00000758: JUMPDEST 00000759: PUSH1 0x01 0000075b: PUSH1 0x01 0000075d: PUSH1 0xa0 0000075f: SHL 00000760: SUB 00000761: DUP3 00000762: AND 00000763: PUSH1 0x00 00000765: SWAP1 00000766: DUP2 00000767: MSTORE 00000768: PUSH1 0x03 0000076a: PUSH1 0x20 0000076c: SWAP1 0000076d: DUP2 0000076e: MSTORE 0000076f: PUSH1 0x40 00000771: DUP1 00000772: DUP4 00000773: KECCAK256 00000774: DUP4 00000775: SWAP1 00000776: SSTORE 00000777: PUSH1 0x04 00000779: SWAP1 0000077a: SWAP2 0000077b: MSTORE 0000077c: DUP2 0000077d: KECCAK256 0000077e: SSTORE 0000077f: JUMPDEST 00000780: PUSH1 0x01 00000782: PUSH1 0x01 00000784: PUSH1 0xa0 00000786: SHL 00000787: SUB 00000788: DUP3 00000789: AND 0000078a: PUSH1 0x00 0000078c: DUP2 0000078d: DUP2 0000078e: MSTORE 0000078f: PUSH1 0x05 00000791: PUSH1 0x20 00000793: SWAP1 00000794: DUP2 00000795: MSTORE 00000796: PUSH1 0x40 00000798: SWAP2 00000799: DUP3 0000079a: SWAP1 0000079b: KECCAK256 0000079c: DUP1 0000079d: SLOAD 0000079e: PUSH1 0x01 000007a0: SWAP1 000007a1: SWAP2 000007a2: ADD 000007a3: SLOAD 000007a4: DUP4 000007a5: MLOAD 000007a6: CALLVALUE 000007a7: DUP2 000007a8: MSTORE 000007a9: SWAP3 000007aa: DUP4 000007ab: ADD 000007ac: SWAP2 000007ad: SWAP1 000007ae: SWAP2 000007af: MSTORE 000007b0: DUP2 000007b1: DUP4 000007b2: ADD 000007b3: MSTORE 000007b4: SWAP1 000007b5: MLOAD 000007b6: PUSH32 0x3053ee017378450829686d3535b1a19372fb47be10b6019e0adf7d7380219841 000007d7: SWAP2 000007d8: DUP2 000007d9: SWAP1 000007da: SUB 000007db: PUSH1 0x60 000007dd: ADD 000007de: SWAP1 000007df: LOG2 000007e0: POP 000007e1: POP 000007e2: JUMP 000007e3: JUMPDEST 000007e4: PUSH2 0x082d 000007e7: PUSH32 0x0000000000000000000000000000000000000000000000000000000000015180 00000808: PUSH32 0x00000000000000000000000000000000000000000000000000000000666062cf 00000829: PUSH2 0x124d 0000082c: JUMP 0000082d: JUMPDEST 0000082e: TIMESTAMP 0000082f: LT 00000830: ISZERO 00000831: PUSH2 0x0860 00000834: JUMPI 00000835: PUSH1 0x40 00000837: MLOAD 00000838: PUSH3 0x461bcd 0000083c: PUSH1 0xe5 0000083e: SHL 0000083f: DUP2 00000840: MSTORE 00000841: PUSH1 0x20 00000843: PUSH1 0x04 00000845: DUP3 00000846: ADD 00000847: MSTORE 00000848: PUSH1 0x01 0000084a: PUSH1 0x24 0000084c: DUP3 0000084d: ADD 0000084e: MSTORE 0000084f: PUSH1 0x49 00000851: PUSH1 0xf8 00000853: SHL 00000854: PUSH1 0x44 00000856: DUP3 00000857: ADD 00000858: MSTORE 00000859: PUSH1 0x64 0000085b: ADD 0000085c: PUSH2 0x0457 0000085f: JUMP 00000860: JUMPDEST 00000861: PUSH2 0x086d 00000864: CALLER 00000865: PUSH1 0x00 00000867: DUP5 00000868: DUP5 00000869: PUSH2 0x0c5d 0000086c: JUMP 0000086d: JUMPDEST 0000086e: POP 0000086f: POP 00000870: JUMP 00000871: JUMPDEST 00000872: PUSH1 0x01 00000874: PUSH1 0x01 00000876: PUSH1 0xa0 00000878: SHL 00000879: SUB 0000087a: DUP3 0000087b: AND 0000087c: PUSH1 0x00 0000087e: SWAP1 0000087f: DUP2 00000880: MSTORE 00000881: PUSH1 0x02 00000883: PUSH1 0x20 00000885: MSTORE 00000886: PUSH1 0x40 00000888: SWAP1 00000889: KECCAK256 0000088a: SLOAD 0000088b: DUP2 0000088c: GT 0000088d: ISZERO 0000088e: PUSH2 0x08bd 00000891: JUMPI 00000892: PUSH1 0x40 00000894: MLOAD 00000895: PUSH3 0x461bcd 00000899: PUSH1 0xe5 0000089b: SHL 0000089c: DUP2 0000089d: MSTORE 0000089e: PUSH1 0x20 000008a0: PUSH1 0x04 000008a2: DUP3 000008a3: ADD 000008a4: MSTORE 000008a5: PUSH1 0x01 000008a7: PUSH1 0x24 000008a9: DUP3 000008aa: ADD 000008ab: MSTORE 000008ac: PUSH1 0x29 000008ae: PUSH1 0xf9 000008b0: SHL 000008b1: PUSH1 0x44 000008b3: DUP3 000008b4: ADD 000008b5: MSTORE 000008b6: PUSH1 0x64 000008b8: ADD 000008b9: PUSH2 0x0457 000008bc: JUMP 000008bd: JUMPDEST 000008be: PUSH1 0x01 000008c0: PUSH1 0x01 000008c2: PUSH1 0xa0 000008c4: SHL 000008c5: SUB 000008c6: DUP3 000008c7: AND 000008c8: PUSH1 0x00 000008ca: SWAP1 000008cb: DUP2 000008cc: MSTORE 000008cd: PUSH1 0x02 000008cf: PUSH1 0x20 000008d1: MSTORE 000008d2: PUSH1 0x40 000008d4: DUP2 000008d5: KECCAK256 000008d6: SLOAD 000008d7: SWAP1 000008d8: SUB 000008d9: PUSH2 0x08e0 000008dc: JUMPI 000008dd: POP 000008de: POP 000008df: JUMP 000008e0: JUMPDEST 000008e1: PUSH1 0x00 000008e3: PUSH2 0x08eb 000008e6: DUP4 000008e7: PUSH2 0x0bc5 000008ea: JUMP 000008eb: JUMPDEST 000008ec: SWAP1 000008ed: POP 000008ee: DUP1 000008ef: ISZERO 000008f0: PUSH2 0x097f 000008f3: JUMPI 000008f4: PUSH1 0x01 000008f6: PUSH1 0x01 000008f8: PUSH1 0xa0 000008fa: SHL 000008fb: SUB 000008fc: DUP4 000008fd: AND 000008fe: PUSH1 0x00 00000900: SWAP1 00000901: DUP2 00000902: MSTORE 00000903: PUSH1 0x02 00000905: PUSH1 0x20 00000907: MSTORE 00000908: PUSH1 0x40 0000090a: SWAP1 0000090b: KECCAK256 0000090c: SLOAD 0000090d: PUSH1 0x01 0000090f: SLOAD 00000910: DUP2 00000911: LT 00000912: ISZERO 00000913: PUSH2 0x096f 00000916: JUMPI 00000917: DUP1 00000918: PUSH1 0x01 0000091a: PUSH1 0x00 0000091c: DUP3 0000091d: DUP3 0000091e: SLOAD 0000091f: PUSH2 0x0928 00000922: SWAP2 00000923: SWAP1 00000924: PUSH2 0x1299 00000927: JUMP 00000928: JUMPDEST 00000929: SWAP1 0000092a: SWAP2 0000092b: SSTORE 0000092c: POP 0000092d: PUSH2 0x093a 00000930: SWAP1 00000931: POP 00000932: DUP5 00000933: DUP4 00000934: PUSH1 0x00 00000936: PUSH2 0x0418 00000939: JUMP 0000093a: JUMPDEST 0000093b: DUP1 0000093c: PUSH1 0x01 0000093e: PUSH1 0x00 00000940: DUP3 00000941: DUP3 00000942: SLOAD 00000943: PUSH2 0x094c 00000946: SWAP2 00000947: SWAP1 00000948: PUSH2 0x124d 0000094b: JUMP 0000094c: JUMPDEST 0000094d: SWAP1 0000094e: SWAP2 0000094f: SSTORE 00000950: POP 00000951: POP 00000952: PUSH1 0x01 00000954: PUSH1 0x01 00000956: PUSH1 0xa0 00000958: SHL 00000959: SUB 0000095a: DUP5 0000095b: AND 0000095c: PUSH1 0x00 0000095e: SWAP1 0000095f: DUP2 00000960: MSTORE 00000961: PUSH1 0x05 00000963: PUSH1 0x20 00000965: MSTORE 00000966: PUSH1 0x40 00000968: DUP2 00000969: KECCAK256 0000096a: SSTORE 0000096b: PUSH2 0x097d 0000096e: JUMP 0000096f: JUMPDEST 00000970: PUSH2 0x097d 00000973: DUP5 00000974: PUSH1 0x00 00000976: DUP1 00000977: PUSH1 0x00 00000979: PUSH2 0x0c5d 0000097c: JUMP 0000097d: JUMPDEST 0000097e: POP 0000097f: JUMPDEST 00000980: DUP2 00000981: PUSH1 0x01 00000983: PUSH1 0x00 00000985: DUP3 00000986: DUP3 00000987: SLOAD 00000988: PUSH2 0x0991 0000098b: SWAP2 0000098c: SWAP1 0000098d: PUSH2 0x1299 00000990: JUMP 00000991: JUMPDEST 00000992: SWAP1 00000993: SWAP2 00000994: SSTORE 00000995: POP 00000996: POP 00000997: PUSH1 0x01 00000999: PUSH1 0x01 0000099b: PUSH1 0xa0 0000099d: SHL 0000099e: SUB 0000099f: DUP4 000009a0: AND 000009a1: PUSH1 0x00 000009a3: SWAP1 000009a4: DUP2 000009a5: MSTORE 000009a6: PUSH1 0x02 000009a8: PUSH1 0x20 000009aa: MSTORE 000009ab: PUSH1 0x40 000009ad: DUP2 000009ae: KECCAK256 000009af: DUP1 000009b0: SLOAD 000009b1: DUP5 000009b2: SWAP3 000009b3: SWAP1 000009b4: PUSH2 0x09be 000009b7: SWAP1 000009b8: DUP5 000009b9: SWAP1 000009ba: PUSH2 0x1299 000009bd: JUMP 000009be: JUMPDEST 000009bf: SWAP1 000009c0: SWAP2 000009c1: SSTORE 000009c2: POP 000009c3: POP 000009c4: PUSH1 0x01 000009c6: PUSH1 0x01 000009c8: PUSH1 0xa0 000009ca: SHL 000009cb: SUB 000009cc: DUP4 000009cd: AND 000009ce: PUSH1 0x00 000009d0: SWAP1 000009d1: DUP2 000009d2: MSTORE 000009d3: PUSH1 0x02 000009d5: PUSH1 0x20 000009d7: MSTORE 000009d8: PUSH1 0x40 000009da: DUP2 000009db: KECCAK256 000009dc: SLOAD 000009dd: SWAP1 000009de: SUB 000009df: PUSH2 0x09f7 000009e2: JUMPI 000009e3: PUSH1 0x00 000009e5: DUP1 000009e6: SLOAD 000009e7: SWAP1 000009e8: DUP1 000009e9: PUSH2 0x09f1 000009ec: DUP4 000009ed: PUSH2 0x12ac 000009f0: JUMP 000009f1: JUMPDEST 000009f2: SWAP2 000009f3: SWAP1 000009f4: POP 000009f5: SSTORE 000009f6: POP 000009f7: JUMPDEST 000009f8: PUSH1 0x01 000009fa: PUSH1 0x01 000009fc: PUSH1 0xa0 000009fe: SHL 000009ff: SUB 00000a00: DUP4 00000a01: AND 00000a02: PUSH1 0x00 00000a04: SWAP1 00000a05: DUP2 00000a06: MSTORE 00000a07: PUSH1 0x03 00000a09: PUSH1 0x20 00000a0b: SWAP1 00000a0c: DUP2 00000a0d: MSTORE 00000a0e: PUSH1 0x40 00000a10: DUP1 00000a11: DUP4 00000a12: KECCAK256 00000a13: DUP4 00000a14: SWAP1 00000a15: SSTORE 00000a16: PUSH1 0x04 00000a18: DUP3 00000a19: MSTORE 00000a1a: DUP1 00000a1b: DUP4 00000a1c: KECCAK256 00000a1d: DUP4 00000a1e: SWAP1 00000a1f: SSTORE 00000a20: PUSH1 0x02 00000a22: SWAP1 00000a23: SWAP2 00000a24: MSTORE 00000a25: SWAP1 00000a26: KECCAK256 00000a27: SLOAD 00000a28: PUSH2 0x0a30 00000a2b: SWAP1 00000a2c: PUSH2 0x1164 00000a2f: JUMP 00000a30: JUMPDEST 00000a31: PUSH1 0x01 00000a33: PUSH1 0x01 00000a35: PUSH1 0xa0 00000a37: SHL 00000a38: SUB 00000a39: SWAP1 00000a3a: SWAP4 00000a3b: AND 00000a3c: PUSH1 0x00 00000a3e: SWAP1 00000a3f: DUP2 00000a40: MSTORE 00000a41: PUSH1 0x05 00000a43: PUSH1 0x20 00000a45: MSTORE 00000a46: PUSH1 0x40 00000a48: SWAP1 00000a49: KECCAK256 00000a4a: PUSH1 0x01 00000a4c: ADD 00000a4d: SWAP3 00000a4e: SWAP1 00000a4f: SWAP3 00000a50: SSTORE 00000a51: POP 00000a52: POP 00000a53: JUMP 00000a54: JUMPDEST 00000a55: PUSH1 0x01 00000a57: PUSH1 0x01 00000a59: PUSH1 0xa0 00000a5b: SHL 00000a5c: SUB 00000a5d: DUP3 00000a5e: AND 00000a5f: PUSH1 0x00 00000a61: SWAP1 00000a62: DUP2 00000a63: MSTORE 00000a64: PUSH1 0x02 00000a66: PUSH1 0x20 00000a68: MSTORE 00000a69: PUSH1 0x40 00000a6b: SWAP1 00000a6c: KECCAK256 00000a6d: SLOAD 00000a6e: ISZERO 00000a6f: PUSH2 0x0a80 00000a72: JUMPI 00000a73: PUSH2 0x0a80 00000a76: DUP3 00000a77: PUSH1 0x01 00000a79: PUSH1 0x00 00000a7b: DUP1 00000a7c: PUSH2 0x0c5d 00000a7f: JUMP 00000a80: JUMPDEST 00000a81: PUSH1 0x01 00000a83: PUSH1 0x01 00000a85: PUSH1 0xa0 00000a87: SHL 00000a88: SUB 00000a89: DUP3 00000a8a: AND 00000a8b: PUSH1 0x00 00000a8d: SWAP1 00000a8e: DUP2 00000a8f: MSTORE 00000a90: PUSH1 0x02 00000a92: PUSH1 0x20 00000a94: MSTORE 00000a95: PUSH1 0x40 00000a97: DUP2 00000a98: KECCAK256 00000a99: SLOAD 00000a9a: PUSH1 0x01 00000a9c: DUP1 00000a9d: SLOAD 00000a9e: SWAP2 00000a9f: SWAP3 00000aa0: DUP5 00000aa1: SWAP3 00000aa2: PUSH2 0x0aac 00000aa5: SWAP1 00000aa6: DUP5 00000aa7: SWAP1 00000aa8: PUSH2 0x124d 00000aab: JUMP 00000aac: JUMPDEST 00000aad: SWAP1 00000aae: SWAP2 00000aaf: SSTORE 00000ab0: POP 00000ab1: POP 00000ab2: PUSH1 0x01 00000ab4: PUSH1 0x01 00000ab6: PUSH1 0xa0 00000ab8: SHL 00000ab9: SUB 00000aba: DUP4 00000abb: AND 00000abc: PUSH1 0x00 00000abe: SWAP1 00000abf: DUP2 00000ac0: MSTORE 00000ac1: PUSH1 0x02 00000ac3: PUSH1 0x20 00000ac5: MSTORE 00000ac6: PUSH1 0x40 00000ac8: DUP2 00000ac9: KECCAK256 00000aca: DUP1 00000acb: SLOAD 00000acc: DUP5 00000acd: SWAP3 00000ace: SWAP1 00000acf: PUSH2 0x0ad9 00000ad2: SWAP1 00000ad3: DUP5 00000ad4: SWAP1 00000ad5: PUSH2 0x124d 00000ad8: JUMP 00000ad9: JUMPDEST 00000ada: SWAP1 00000adb: SWAP2 00000adc: SSTORE 00000add: POP 00000ade: POP 00000adf: DUP1 00000ae0: ISZERO 00000ae1: DUP1 00000ae2: ISZERO 00000ae3: PUSH2 0x0b03 00000ae6: JUMPI 00000ae7: POP 00000ae8: PUSH1 0x01 00000aea: PUSH1 0x01 00000aec: PUSH1 0xa0 00000aee: SHL 00000aef: SUB 00000af0: DUP4 00000af1: AND 00000af2: PUSH1 0x00 00000af4: SWAP1 00000af5: DUP2 00000af6: MSTORE 00000af7: PUSH1 0x02 00000af9: PUSH1 0x20 00000afb: MSTORE 00000afc: PUSH1 0x40 00000afe: SWAP1 00000aff: KECCAK256 00000b00: SLOAD 00000b01: ISZERO 00000b02: ISZERO 00000b03: JUMPDEST 00000b04: ISZERO 00000b05: PUSH2 0x0b1d 00000b08: JUMPI 00000b09: PUSH1 0x00 00000b0b: DUP1 00000b0c: SLOAD 00000b0d: SWAP1 00000b0e: DUP1 00000b0f: PUSH2 0x0b17 00000b12: DUP4 00000b13: PUSH2 0x12c3 00000b16: JUMP 00000b17: JUMPDEST 00000b18: SWAP2 00000b19: SWAP1 00000b1a: POP 00000b1b: SSTORE 00000b1c: POP 00000b1d: JUMPDEST 00000b1e: PUSH1 0x01 00000b20: PUSH1 0x01 00000b22: PUSH1 0xa0 00000b24: SHL 00000b25: SUB 00000b26: DUP4 00000b27: AND 00000b28: PUSH1 0x00 00000b2a: SWAP1 00000b2b: DUP2 00000b2c: MSTORE 00000b2d: PUSH1 0x02 00000b2f: PUSH1 0x20 00000b31: MSTORE 00000b32: PUSH1 0x40 00000b34: SWAP1 00000b35: KECCAK256 00000b36: SLOAD 00000b37: PUSH2 0x0a30 00000b3a: SWAP1 00000b3b: PUSH2 0x1164 00000b3e: JUMP 00000b3f: JUMPDEST 00000b40: PUSH1 0x01 00000b42: PUSH1 0x01 00000b44: PUSH1 0xa0 00000b46: SHL 00000b47: SUB 00000b48: DUP2 00000b49: AND 00000b4a: PUSH1 0x00 00000b4c: SWAP1 00000b4d: DUP2 00000b4e: MSTORE 00000b4f: PUSH1 0x03 00000b51: PUSH1 0x20 00000b53: MSTORE 00000b54: PUSH1 0x40 00000b56: DUP2 00000b57: KECCAK256 00000b58: SLOAD 00000b59: DUP2 00000b5a: SWAP1 00000b5b: PUSH2 0x0b63 00000b5e: DUP5 00000b5f: PUSH2 0x0bc5 00000b62: JUMP 00000b63: JUMPDEST 00000b64: PUSH1 0x01 00000b66: PUSH1 0x01 00000b68: PUSH1 0xa0 00000b6a: SHL 00000b6b: SUB 00000b6c: DUP6 00000b6d: AND 00000b6e: PUSH1 0x00 00000b70: SWAP1 00000b71: DUP2 00000b72: MSTORE 00000b73: PUSH1 0x04 00000b75: PUSH1 0x20 00000b77: MSTORE 00000b78: PUSH1 0x40 00000b7a: DUP2 00000b7b: KECCAK256 00000b7c: SLOAD 00000b7d: SWAP3 00000b7e: SWAP1 00000b7f: SWAP2 00000b80: LT 00000b81: ISZERO 00000b82: SWAP3 00000b83: POP 00000b84: SWAP1 00000b85: PUSH2 0x0baf 00000b88: SWAP1 00000b89: PUSH32 0x000000000000000000000000000000000000000000000000000000000003f480 00000baa: SWAP1 00000bab: PUSH2 0x124d 00000bae: JUMP 00000baf: JUMPDEST 00000bb0: TIMESTAMP 00000bb1: GT 00000bb2: SWAP1 00000bb3: POP 00000bb4: DUP2 00000bb5: DUP1 00000bb6: ISZERO 00000bb7: PUSH2 0x0bbd 00000bba: JUMPI 00000bbb: POP 00000bbc: DUP1 00000bbd: JUMPDEST 00000bbe: SWAP5 00000bbf: SWAP4 00000bc0: POP 00000bc1: POP 00000bc2: POP 00000bc3: POP 00000bc4: JUMP 00000bc5: JUMPDEST 00000bc6: PUSH1 0x01 00000bc8: PUSH1 0x01 00000bca: PUSH1 0xa0 00000bcc: SHL 00000bcd: SUB 00000bce: DUP2 00000bcf: AND 00000bd0: PUSH1 0x00 00000bd2: SWAP1 00000bd3: DUP2 00000bd4: MSTORE 00000bd5: PUSH1 0x02 00000bd7: PUSH1 0x20 00000bd9: MSTORE 00000bda: PUSH1 0x40 00000bdc: DUP2 00000bdd: KECCAK256 00000bde: SLOAD 00000bdf: DUP2 00000be0: SUB 00000be1: PUSH2 0x0bec 00000be4: JUMPI 00000be5: POP 00000be6: PUSH1 0x00 00000be8: SWAP2 00000be9: SWAP1 00000bea: POP 00000beb: JUMP 00000bec: JUMPDEST 00000bed: PUSH1 0x01 00000bef: PUSH1 0x01 00000bf1: PUSH1 0xa0 00000bf3: SHL 00000bf4: SUB 00000bf5: DUP3 00000bf6: AND 00000bf7: PUSH1 0x00 00000bf9: SWAP1 00000bfa: DUP2 00000bfb: MSTORE 00000bfc: PUSH1 0x05 00000bfe: PUSH1 0x20 00000c00: SWAP1 00000c01: DUP2 00000c02: MSTORE 00000c03: PUSH1 0x40 00000c05: DUP1 00000c06: DUP4 00000c07: KECCAK256 00000c08: SLOAD 00000c09: PUSH1 0x02 00000c0b: SWAP1 00000c0c: SWAP3 00000c0d: MSTORE 00000c0e: DUP3 00000c0f: KECCAK256 00000c10: SLOAD 00000c11: PUSH2 0x0c19 00000c14: SWAP1 00000c15: PUSH2 0x1164 00000c18: JUMP 00000c19: JUMPDEST 00000c1a: PUSH2 0x0c23 00000c1d: SWAP2 00000c1e: SWAP1 00000c1f: PUSH2 0x124d 00000c22: JUMP 00000c23: JUMPDEST 00000c24: PUSH1 0x01 00000c26: PUSH1 0x01 00000c28: PUSH1 0xa0 00000c2a: SHL 00000c2b: SUB 00000c2c: DUP5 00000c2d: AND 00000c2e: PUSH1 0x00 00000c30: SWAP1 00000c31: DUP2 00000c32: MSTORE 00000c33: PUSH1 0x05 00000c35: PUSH1 0x20 00000c37: MSTORE 00000c38: PUSH1 0x40 00000c3a: SWAP1 00000c3b: KECCAK256 00000c3c: PUSH1 0x01 00000c3e: ADD 00000c3f: SLOAD 00000c40: SWAP1 00000c41: SWAP2 00000c42: POP 00000c43: DUP1 00000c44: DUP3 00000c45: GT 00000c46: PUSH2 0x0c53 00000c49: JUMPI 00000c4a: POP 00000c4b: PUSH1 0x00 00000c4d: SWAP4 00000c4e: SWAP3 00000c4f: POP 00000c50: POP 00000c51: POP 00000c52: JUMP 00000c53: JUMPDEST 00000c54: PUSH2 0x0bbd 00000c57: DUP2 00000c58: DUP4 00000c59: PUSH2 0x1299 00000c5c: JUMP 00000c5d: JUMPDEST 00000c5e: PUSH1 0x01 00000c60: PUSH1 0x01 00000c62: PUSH1 0xa0 00000c64: SHL 00000c65: SUB 00000c66: DUP5 00000c67: AND 00000c68: PUSH1 0x00 00000c6a: SWAP1 00000c6b: DUP2 00000c6c: MSTORE 00000c6d: PUSH1 0x02 00000c6f: PUSH1 0x20 00000c71: MSTORE 00000c72: PUSH1 0x40 00000c74: SWAP1 00000c75: KECCAK256 00000c76: SLOAD 00000c77: ISZERO 00000c78: PUSH2 0x115e 00000c7b: JUMPI 00000c7c: PUSH1 0x00 00000c7e: PUSH2 0x0c86 00000c81: DUP6 00000c82: PUSH2 0x0b3f 00000c85: JUMP 00000c86: JUMPDEST 00000c87: SWAP1 00000c88: POP 00000c89: PUSH1 0x00 00000c8b: PUSH2 0x0c93 00000c8e: DUP7 00000c8f: PUSH2 0x0bc5 00000c92: JUMP 00000c93: JUMPDEST 00000c94: PUSH1 0x01 00000c96: PUSH1 0x01 00000c98: PUSH1 0xa0 00000c9a: SHL 00000c9b: SUB 00000c9c: DUP8 00000c9d: AND 00000c9e: PUSH1 0x00 00000ca0: SWAP1 00000ca1: DUP2 00000ca2: MSTORE 00000ca3: PUSH1 0x02 00000ca5: PUSH1 0x20 00000ca7: MSTORE 00000ca8: PUSH1 0x40 00000caa: SWAP1 00000cab: KECCAK256 00000cac: SLOAD 00000cad: SWAP1 00000cae: SWAP2 00000caf: POP 00000cb0: PUSH2 0x0cb8 00000cb3: SWAP1 00000cb4: PUSH2 0x1164 00000cb7: JUMP 00000cb8: JUMPDEST 00000cb9: PUSH1 0x01 00000cbb: PUSH1 0x01 00000cbd: PUSH1 0xa0 00000cbf: SHL 00000cc0: SUB 00000cc1: DUP8 00000cc2: AND 00000cc3: PUSH1 0x00 00000cc5: SWAP1 00000cc6: DUP2 00000cc7: MSTORE 00000cc8: PUSH1 0x05 00000cca: PUSH1 0x20 00000ccc: MSTORE 00000ccd: PUSH1 0x40 00000ccf: SWAP1 00000cd0: KECCAK256 00000cd1: PUSH1 0x01 00000cd3: ADD 00000cd4: SSTORE 00000cd5: DUP5 00000cd6: ISZERO 00000cd7: PUSH2 0x0d94 00000cda: JUMPI 00000cdb: PUSH1 0x01 00000cdd: PUSH1 0x01 00000cdf: PUSH1 0xa0 00000ce1: SHL 00000ce2: SUB 00000ce3: DUP7 00000ce4: AND 00000ce5: PUSH1 0x00 00000ce7: SWAP1 00000ce8: DUP2 00000ce9: MSTORE 00000cea: PUSH1 0x05 00000cec: PUSH1 0x20 00000cee: MSTORE 00000cef: PUSH1 0x40 00000cf1: DUP2 00000cf2: KECCAK256 00000cf3: SLOAD 00000cf4: PUSH2 0x0cfd 00000cf7: SWAP1 00000cf8: DUP4 00000cf9: PUSH2 0x1299 00000cfc: JUMP 00000cfd: JUMPDEST 00000cfe: SWAP1 00000cff: POP 00000d00: DUP1 00000d01: PUSH1 0x00 00000d03: SUB 00000d04: PUSH2 0x0d0f 00000d07: JUMPI 00000d08: POP 00000d09: POP 00000d0a: POP 00000d0b: PUSH2 0x115e 00000d0e: JUMP 00000d0f: JUMPDEST 00000d10: PUSH1 0x01 00000d12: PUSH1 0x01 00000d14: PUSH1 0xa0 00000d16: SHL 00000d17: SUB 00000d18: DUP8 00000d19: AND 00000d1a: PUSH1 0x00 00000d1c: SWAP1 00000d1d: DUP2 00000d1e: MSTORE 00000d1f: PUSH1 0x05 00000d21: PUSH1 0x20 00000d23: MSTORE 00000d24: PUSH1 0x40 00000d26: DUP2 00000d27: KECCAK256 00000d28: DUP1 00000d29: SLOAD 00000d2a: DUP4 00000d2b: SWAP3 00000d2c: SWAP1 00000d2d: PUSH2 0x0d37 00000d30: SWAP1 00000d31: DUP5 00000d32: SWAP1 00000d33: PUSH2 0x124d 00000d36: JUMP 00000d37: JUMPDEST 00000d38: SWAP1 00000d39: SWAP2 00000d3a: SSTORE 00000d3b: POP 00000d3c: POP 00000d3d: PUSH1 0x01 00000d3f: PUSH1 0x01 00000d41: PUSH1 0xa0 00000d43: SHL 00000d44: SUB 00000d45: DUP8 00000d46: AND 00000d47: PUSH1 0x00 00000d49: DUP2 00000d4a: DUP2 00000d4b: MSTORE 00000d4c: PUSH1 0x05 00000d4e: PUSH1 0x20 00000d50: SWAP1 00000d51: DUP2 00000d52: MSTORE 00000d53: PUSH1 0x40 00000d55: SWAP2 00000d56: DUP3 00000d57: SWAP1 00000d58: KECCAK256 00000d59: SLOAD 00000d5a: DUP3 00000d5b: MLOAD 00000d5c: DUP6 00000d5d: DUP2 00000d5e: MSTORE 00000d5f: SWAP2 00000d60: DUP3 00000d61: ADD 00000d62: MSTORE 00000d63: PUSH32 0x9703c1b4b1ae4060b6a0f8f3c75c56c59b213baef5fc209cb0901bf4ae2d5b4f 00000d84: SWAP2 00000d85: ADD 00000d86: JUMPDEST 00000d87: PUSH1 0x40 00000d89: MLOAD 00000d8a: DUP1 00000d8b: SWAP2 00000d8c: SUB 00000d8d: SWAP1 00000d8e: LOG2 00000d8f: POP 00000d90: PUSH2 0x115b 00000d93: JUMP 00000d94: JUMPDEST 00000d95: DUP4 00000d96: ISZERO 00000d97: PUSH2 0x0f81 00000d9a: JUMPI 00000d9b: PUSH1 0x00 00000d9d: DUP2 00000d9e: GT 00000d9f: PUSH2 0x0dcf 00000da2: JUMPI 00000da3: PUSH1 0x40 00000da5: MLOAD 00000da6: PUSH3 0x461bcd 00000daa: PUSH1 0xe5 00000dac: SHL 00000dad: DUP2 00000dae: MSTORE 00000daf: PUSH1 0x20 00000db1: PUSH1 0x04 00000db3: DUP3 00000db4: ADD 00000db5: MSTORE 00000db6: PUSH1 0x02 00000db8: PUSH1 0x24 00000dba: DUP3 00000dbb: ADD 00000dbc: MSTORE 00000dbd: PUSH2 0x4341 00000dc0: PUSH1 0xf0 00000dc2: SHL 00000dc3: PUSH1 0x44 00000dc5: DUP3 00000dc6: ADD 00000dc7: MSTORE 00000dc8: PUSH1 0x64 00000dca: ADD 00000dcb: PUSH2 0x0457 00000dce: JUMP 00000dcf: JUMPDEST 00000dd0: PUSH1 0x01 00000dd2: PUSH1 0x01 00000dd4: PUSH1 0xa0 00000dd6: SHL 00000dd7: SUB 00000dd8: DUP7 00000dd9: AND 00000dda: PUSH1 0x00 00000ddc: SWAP1 00000ddd: DUP2 00000dde: MSTORE 00000ddf: PUSH1 0x05 00000de1: PUSH1 0x20 00000de3: MSTORE 00000de4: PUSH1 0x40 00000de6: DUP2 00000de7: KECCAK256 00000de8: SSTORE 00000de9: DUP2 00000dea: PUSH2 0x0e16 00000ded: JUMPI 00000dee: PUSH1 0x01 00000df0: PUSH1 0x01 00000df2: PUSH1 0xa0 00000df4: SHL 00000df5: SUB 00000df6: DUP7 00000df7: AND 00000df8: PUSH1 0x00 00000dfa: SWAP1 00000dfb: DUP2 00000dfc: MSTORE 00000dfd: PUSH1 0x03 00000dff: PUSH1 0x20 00000e01: MSTORE 00000e02: PUSH1 0x40 00000e04: SWAP1 00000e05: KECCAK256 00000e06: SLOAD 00000e07: PUSH2 0x0e11 00000e0a: SWAP1 00000e0b: DUP3 00000e0c: SWAP1 00000e0d: PUSH2 0x124d 00000e10: JUMP 00000e11: JUMPDEST 00000e12: PUSH2 0x0e18 00000e15: JUMP 00000e16: JUMPDEST 00000e17: DUP1 00000e18: JUMPDEST 00000e19: PUSH1 0x01 00000e1b: PUSH1 0x01 00000e1d: PUSH1 0xa0 00000e1f: SHL 00000e20: SUB 00000e21: DUP8 00000e22: AND 00000e23: PUSH1 0x00 00000e25: SWAP1 00000e26: DUP2 00000e27: MSTORE 00000e28: PUSH1 0x03 00000e2a: PUSH1 0x20 00000e2c: SWAP1 00000e2d: DUP2 00000e2e: MSTORE 00000e2f: PUSH1 0x40 00000e31: DUP1 00000e32: DUP4 00000e33: KECCAK256 00000e34: SWAP4 00000e35: SWAP1 00000e36: SWAP4 00000e37: SSTORE 00000e38: PUSH1 0x04 00000e3a: DUP2 00000e3b: MSTORE 00000e3c: DUP3 00000e3d: DUP3 00000e3e: KECCAK256 00000e3f: TIMESTAMP 00000e40: SWAP1 00000e41: SSTORE 00000e42: PUSH1 0x05 00000e44: SWAP1 00000e45: MSTORE 00000e46: SWAP1 00000e47: DUP2 00000e48: KECCAK256 00000e49: PUSH1 0x02 00000e4b: ADD 00000e4c: DUP1 00000e4d: SLOAD 00000e4e: DUP4 00000e4f: SWAP3 00000e50: SWAP1 00000e51: PUSH2 0x0e5b 00000e54: SWAP1 00000e55: DUP5 00000e56: SWAP1 00000e57: PUSH2 0x124d 00000e5a: JUMP 00000e5b: JUMPDEST 00000e5c: SWAP3 00000e5d: POP 00000e5e: POP 00000e5f: DUP2 00000e60: SWAP1 00000e61: SSTORE 00000e62: POP 00000e63: DUP1 00000e64: PUSH1 0x07 00000e66: PUSH1 0x00 00000e68: DUP3 00000e69: DUP3 00000e6a: SLOAD 00000e6b: PUSH2 0x0e74 00000e6e: SWAP2 00000e6f: SWAP1 00000e70: PUSH2 0x124d 00000e73: JUMP 00000e74: JUMPDEST 00000e75: SWAP1 00000e76: SWAP2 00000e77: SSTORE 00000e78: POP 00000e79: POP 00000e7a: PUSH1 0x40 00000e7c: MLOAD 00000e7d: PUSH4 0x481f085d 00000e82: PUSH1 0xe1 00000e84: SHL 00000e85: DUP2 00000e86: MSTORE 00000e87: PUSH1 0x01 00000e89: PUSH1 0x01 00000e8b: PUSH1 0xa0 00000e8d: SHL 00000e8e: SUB 00000e8f: PUSH32 0x0000000000000000000000007a569bff9f87b526b39331ca870516c1d93c0fda 00000eb0: DUP2 00000eb1: AND 00000eb2: PUSH1 0x04 00000eb4: DUP4 00000eb5: ADD 00000eb6: DUP2 00000eb7: SWAP1 00000eb8: MSTORE 00000eb9: PUSH1 0x24 00000ebb: DUP4 00000ebc: ADD 00000ebd: DUP7 00000ebe: SWAP1 00000ebf: MSTORE 00000ec0: SWAP1 00000ec1: DUP9 00000ec2: AND 00000ec3: PUSH1 0x44 00000ec5: DUP4 00000ec6: ADD 00000ec7: MSTORE 00000ec8: PUSH1 0x00 00000eca: SWAP2 00000ecb: PUSH4 0x903e10ba 00000ed0: SWAP1 00000ed1: DUP5 00000ed2: SWAP1 00000ed3: PUSH1 0x64 00000ed5: ADD 00000ed6: PUSH1 0x20 00000ed8: PUSH1 0x40 00000eda: MLOAD 00000edb: DUP1 00000edc: DUP4 00000edd: SUB 00000ede: DUP2 00000edf: DUP6 00000ee0: DUP9 00000ee1: GAS 00000ee2: CALL 00000ee3: ISZERO 00000ee4: DUP1 00000ee5: ISZERO 00000ee6: PUSH2 0x0ef3 00000ee9: JUMPI 00000eea: RETURNDATASIZE 00000eeb: PUSH1 0x00 00000eed: DUP1 00000eee: RETURNDATACOPY 00000eef: RETURNDATASIZE 00000ef0: PUSH1 0x00 00000ef2: REVERT 00000ef3: JUMPDEST 00000ef4: POP 00000ef5: POP 00000ef6: POP 00000ef7: POP 00000ef8: POP 00000ef9: PUSH1 0x40 00000efb: MLOAD 00000efc: RETURNDATASIZE 00000efd: PUSH1 0x1f 00000eff: NOT 00000f00: PUSH1 0x1f 00000f02: DUP3 00000f03: ADD 00000f04: AND 00000f05: DUP3 00000f06: ADD 00000f07: DUP1 00000f08: PUSH1 0x40 00000f0a: MSTORE 00000f0b: POP 00000f0c: DUP2 00000f0d: ADD 00000f0e: SWAP1 00000f0f: PUSH2 0x0f18 00000f12: SWAP2 00000f13: SWAP1 00000f14: PUSH2 0x12dc 00000f17: JUMP 00000f18: JUMPDEST 00000f19: PUSH1 0x01 00000f1b: PUSH1 0x01 00000f1d: PUSH1 0xa0 00000f1f: SHL 00000f20: SUB 00000f21: DUP9 00000f22: AND 00000f23: PUSH1 0x00 00000f25: DUP2 00000f26: DUP2 00000f27: MSTORE 00000f28: PUSH1 0x05 00000f2a: PUSH1 0x20 00000f2c: SWAP1 00000f2d: DUP2 00000f2e: MSTORE 00000f2f: PUSH1 0x40 00000f31: SWAP2 00000f32: DUP3 00000f33: SWAP1 00000f34: KECCAK256 00000f35: DUP1 00000f36: SLOAD 00000f37: PUSH1 0x01 00000f39: SWAP1 00000f3a: SWAP2 00000f3b: ADD 00000f3c: SLOAD 00000f3d: DUP4 00000f3e: MLOAD 00000f3f: DUP9 00000f40: DUP2 00000f41: MSTORE 00000f42: SWAP3 00000f43: DUP4 00000f44: ADD 00000f45: DUP7 00000f46: SWAP1 00000f47: MSTORE 00000f48: SWAP3 00000f49: DUP3 00000f4a: ADD 00000f4b: MSTORE 00000f4c: PUSH1 0x60 00000f4e: DUP2 00000f4f: ADD 00000f50: SWAP2 00000f51: SWAP1 00000f52: SWAP2 00000f53: MSTORE 00000f54: SWAP2 00000f55: SWAP3 00000f56: POP 00000f57: SWAP1 00000f58: PUSH32 0x8ec1ee04b6af38951c1cea10602bc0e8cc5ea264f74ccafecb0edc76f18d2fef 00000f79: SWAP1 00000f7a: PUSH1 0x80 00000f7c: ADD 00000f7d: PUSH2 0x0d86 00000f80: JUMP 00000f81: JUMPDEST 00000f82: DUP2 00000f83: PUSH2 0x0fb3 00000f86: JUMPI 00000f87: PUSH1 0x40 00000f89: MLOAD 00000f8a: PUSH3 0x461bcd 00000f8e: PUSH1 0xe5 00000f90: SHL 00000f91: DUP2 00000f92: MSTORE 00000f93: PUSH1 0x20 00000f95: PUSH1 0x04 00000f97: DUP3 00000f98: ADD 00000f99: MSTORE 00000f9a: PUSH1 0x02 00000f9c: PUSH1 0x24 00000f9e: DUP3 00000f9f: ADD 00000fa0: MSTORE 00000fa1: PUSH2 0x4c4b 00000fa4: PUSH1 0xf0 00000fa6: SHL 00000fa7: PUSH1 0x44 00000fa9: DUP3 00000faa: ADD 00000fab: MSTORE 00000fac: PUSH1 0x64 00000fae: ADD 00000faf: PUSH2 0x0457 00000fb2: JUMP 00000fb3: JUMPDEST 00000fb4: PUSH1 0x01 00000fb6: PUSH1 0x01 00000fb8: PUSH1 0xa0 00000fba: SHL 00000fbb: SUB 00000fbc: DUP7 00000fbd: AND 00000fbe: PUSH1 0x00 00000fc0: SWAP1 00000fc1: DUP2 00000fc2: MSTORE 00000fc3: PUSH1 0x05 00000fc5: PUSH1 0x20 00000fc7: MSTORE 00000fc8: PUSH1 0x40 00000fca: DUP2 00000fcb: KECCAK256 00000fcc: SSTORE 00000fcd: DUP1 00000fce: ISZERO 00000fcf: PUSH2 0x115b 00000fd2: JUMPI 00000fd3: PUSH1 0x01 00000fd5: PUSH1 0x01 00000fd7: PUSH1 0xa0 00000fd9: SHL 00000fda: SUB 00000fdb: DUP7 00000fdc: AND 00000fdd: PUSH1 0x00 00000fdf: SWAP1 00000fe0: DUP2 00000fe1: MSTORE 00000fe2: PUSH1 0x03 00000fe4: PUSH1 0x20 00000fe6: SWAP1 00000fe7: DUP2 00000fe8: MSTORE 00000fe9: PUSH1 0x40 00000feb: DUP1 00000fec: DUP4 00000fed: KECCAK256 00000fee: DUP5 00000fef: SWAP1 00000ff0: SSTORE 00000ff1: PUSH1 0x04 00000ff3: DUP3 00000ff4: MSTORE 00000ff5: DUP1 00000ff6: DUP4 00000ff7: KECCAK256 00000ff8: TIMESTAMP 00000ff9: SWAP1 00000ffa: SSTORE 00000ffb: PUSH1 0x05 00000ffd: SWAP1 00000ffe: SWAP2 00000fff: MSTORE 00001000: DUP2 00001001: KECCAK256 00001002: PUSH1 0x02 00001004: ADD 00001005: DUP1 00001006: SLOAD 00001007: DUP4 00001008: SWAP3 00001009: SWAP1 0000100a: PUSH2 0x1014 0000100d: SWAP1 0000100e: DUP5 0000100f: SWAP1 00001010: PUSH2 0x124d 00001013: JUMP 00001014: JUMPDEST 00001015: SWAP3 00001016: POP 00001017: POP 00001018: DUP2 00001019: SWAP1 0000101a: SSTORE 0000101b: POP 0000101c: DUP1 0000101d: PUSH1 0x07 0000101f: PUSH1 0x00 00001021: DUP3 00001022: DUP3 00001023: SLOAD 00001024: PUSH2 0x102d 00001027: SWAP2 00001028: SWAP1 00001029: PUSH2 0x124d 0000102c: JUMP 0000102d: JUMPDEST 0000102e: SWAP1 0000102f: SWAP2 00001030: SSTORE 00001031: POP 00001032: POP 00001033: PUSH1 0x40 00001035: MLOAD 00001036: SELFBALANCE 00001037: SWAP1 00001038: PUSH1 0x00 0000103a: SWAP1 0000103b: PUSH1 0x01 0000103d: PUSH1 0x01 0000103f: PUSH1 0xa0 00001041: SHL 00001042: SUB 00001043: DUP10 00001044: AND 00001045: SWAP1 00001046: DUP5 00001047: SWAP1 00001048: DUP4 00001049: DUP2 0000104a: DUP2 0000104b: DUP2 0000104c: DUP6 0000104d: DUP8 0000104e: GAS 0000104f: CALL 00001050: SWAP3 00001051: POP 00001052: POP 00001053: POP 00001054: RETURNDATASIZE 00001055: DUP1 00001056: PUSH1 0x00 00001058: DUP2 00001059: EQ 0000105a: PUSH2 0x107f 0000105d: JUMPI 0000105e: PUSH1 0x40 00001060: MLOAD 00001061: SWAP2 00001062: POP 00001063: PUSH1 0x1f 00001065: NOT 00001066: PUSH1 0x3f 00001068: RETURNDATASIZE 00001069: ADD 0000106a: AND 0000106b: DUP3 0000106c: ADD 0000106d: PUSH1 0x40 0000106f: MSTORE 00001070: RETURNDATASIZE 00001071: DUP3 00001072: MSTORE 00001073: RETURNDATASIZE 00001074: PUSH1 0x00 00001076: PUSH1 0x20 00001078: DUP5 00001079: ADD 0000107a: RETURNDATACOPY 0000107b: PUSH2 0x1084 0000107e: JUMP 0000107f: JUMPDEST 00001080: PUSH1 0x60 00001082: SWAP2 00001083: POP 00001084: JUMPDEST 00001085: POP 00001086: POP 00001087: SWAP1 00001088: POP 00001089: DUP1 0000108a: PUSH2 0x10ba 0000108d: JUMPI 0000108e: PUSH1 0x40 00001090: MLOAD 00001091: PUSH3 0x461bcd 00001095: PUSH1 0xe5 00001097: SHL 00001098: DUP2 00001099: MSTORE 0000109a: PUSH1 0x20 0000109c: PUSH1 0x04 0000109e: DUP3 0000109f: ADD 000010a0: MSTORE 000010a1: PUSH1 0x02 000010a3: PUSH1 0x24 000010a5: DUP3 000010a6: ADD 000010a7: MSTORE 000010a8: PUSH2 0x4431 000010ab: PUSH1 0xf0 000010ad: SHL 000010ae: PUSH1 0x44 000010b0: DUP3 000010b1: ADD 000010b2: MSTORE 000010b3: PUSH1 0x64 000010b5: ADD 000010b6: PUSH2 0x0457 000010b9: JUMP 000010ba: JUMPDEST 000010bb: PUSH2 0x10c4 000010be: DUP4 000010bf: DUP4 000010c0: PUSH2 0x1299 000010c3: JUMP 000010c4: JUMPDEST 000010c5: SELFBALANCE 000010c6: LT 000010c7: ISZERO 000010c8: PUSH2 0x10f8 000010cb: JUMPI 000010cc: PUSH1 0x40 000010ce: MLOAD 000010cf: PUSH3 0x461bcd 000010d3: PUSH1 0xe5 000010d5: SHL 000010d6: DUP2 000010d7: MSTORE 000010d8: PUSH1 0x20 000010da: PUSH1 0x04 000010dc: DUP3 000010dd: ADD 000010de: MSTORE 000010df: PUSH1 0x02 000010e1: PUSH1 0x24 000010e3: DUP3 000010e4: ADD 000010e5: MSTORE 000010e6: PUSH2 0x2219 000010e9: PUSH1 0xf1 000010eb: SHL 000010ec: PUSH1 0x44 000010ee: DUP3 000010ef: ADD 000010f0: MSTORE 000010f1: PUSH1 0x64 000010f3: ADD 000010f4: PUSH2 0x0457 000010f7: JUMP 000010f8: JUMPDEST 000010f9: PUSH1 0x01 000010fb: PUSH1 0x01 000010fd: PUSH1 0xa0 000010ff: SHL 00001100: SUB 00001101: DUP9 00001102: AND 00001103: PUSH1 0x00 00001105: DUP2 00001106: DUP2 00001107: MSTORE 00001108: PUSH1 0x05 0000110a: PUSH1 0x20 0000110c: SWAP1 0000110d: DUP2 0000110e: MSTORE 0000110f: PUSH1 0x40 00001111: SWAP2 00001112: DUP3 00001113: SWAP1 00001114: KECCAK256 00001115: DUP1 00001116: SLOAD 00001117: PUSH1 0x01 00001119: SWAP1 0000111a: SWAP2 0000111b: ADD 0000111c: SLOAD 0000111d: DUP4 0000111e: MLOAD 0000111f: DUP9 00001120: DUP2 00001121: MSTORE 00001122: SWAP3 00001123: DUP4 00001124: ADD 00001125: SWAP2 00001126: SWAP1 00001127: SWAP2 00001128: MSTORE 00001129: DUP2 0000112a: DUP4 0000112b: ADD 0000112c: MSTORE 0000112d: SWAP1 0000112e: MLOAD 0000112f: PUSH32 0x891de4aee0b667a0bddf1d07a815a893c17366a034433e6760b9fc4cb2a40b78 00001150: SWAP2 00001151: DUP2 00001152: SWAP1 00001153: SUB 00001154: PUSH1 0x60 00001156: ADD 00001157: SWAP1 00001158: LOG2 00001159: POP 0000115a: POP 0000115b: JUMPDEST 0000115c: POP 0000115d: POP 0000115e: JUMPDEST 0000115f: POP 00001160: POP 00001161: POP 00001162: POP 00001163: JUMP 00001164: JUMPDEST 00001165: PUSH1 0x00 00001167: PUSH1 0x01 00001169: PUSH1 0x60 0000116b: SHL 0000116c: PUSH1 0x06 0000116e: SLOAD 0000116f: DUP4 00001170: PUSH2 0x1179 00001173: SWAP2 00001174: SWAP1 00001175: PUSH2 0x1260 00001178: JUMP 00001179: JUMPDEST 0000117a: PUSH2 0x066b 0000117d: SWAP2 0000117e: SWAP1 0000117f: PUSH2 0x1277 00001182: JUMP 00001183: JUMPDEST 00001184: DUP1 00001185: CALLDATALOAD 00001186: PUSH1 0x01 00001188: PUSH1 0x01 0000118a: PUSH1 0xa0 0000118c: SHL 0000118d: SUB 0000118e: DUP2 0000118f: AND 00001190: DUP2 00001191: EQ 00001192: PUSH2 0x119a 00001195: JUMPI 00001196: PUSH1 0x00 00001198: DUP1 00001199: REVERT 0000119a: JUMPDEST 0000119b: SWAP2 0000119c: SWAP1 0000119d: POP 0000119e: JUMP 0000119f: JUMPDEST 000011a0: PUSH1 0x00 000011a2: PUSH1 0x20 000011a4: DUP3 000011a5: DUP5 000011a6: SUB 000011a7: SLT 000011a8: ISZERO 000011a9: PUSH2 0x11b1 000011ac: JUMPI 000011ad: PUSH1 0x00 000011af: DUP1 000011b0: REVERT 000011b1: JUMPDEST 000011b2: PUSH2 0x11ba 000011b5: DUP3 000011b6: PUSH2 0x1183 000011b9: JUMP 000011ba: JUMPDEST 000011bb: SWAP4 000011bc: SWAP3 000011bd: POP 000011be: POP 000011bf: POP 000011c0: JUMP 000011c1: JUMPDEST 000011c2: DUP1 000011c3: CALLDATALOAD 000011c4: DUP1 000011c5: ISZERO 000011c6: ISZERO 000011c7: DUP2 000011c8: EQ 000011c9: PUSH2 0x119a 000011cc: JUMPI 000011cd: PUSH1 0x00 000011cf: DUP1 000011d0: REVERT 000011d1: JUMPDEST 000011d2: PUSH1 0x00 000011d4: DUP1 000011d5: PUSH1 0x00 000011d7: PUSH1 0x60 000011d9: DUP5 000011da: DUP7 000011db: SUB 000011dc: SLT 000011dd: ISZERO 000011de: PUSH2 0x11e6 000011e1: JUMPI 000011e2: PUSH1 0x00 000011e4: DUP1 000011e5: REVERT 000011e6: JUMPDEST 000011e7: PUSH2 0x11ef 000011ea: DUP5 000011eb: PUSH2 0x1183 000011ee: JUMP 000011ef: JUMPDEST 000011f0: SWAP3 000011f1: POP 000011f2: PUSH1 0x20 000011f4: DUP5 000011f5: ADD 000011f6: CALLDATALOAD 000011f7: SWAP2 000011f8: POP 000011f9: PUSH2 0x1204 000011fc: PUSH1 0x40 000011fe: DUP6 000011ff: ADD 00001200: PUSH2 0x11c1 00001203: JUMP 00001204: JUMPDEST 00001205: SWAP1 00001206: POP 00001207: SWAP3 00001208: POP 00001209: SWAP3 0000120a: POP 0000120b: SWAP3 0000120c: JUMP 0000120d: JUMPDEST 0000120e: PUSH1 0x00 00001210: DUP1 00001211: PUSH1 0x40 00001213: DUP4 00001214: DUP6 00001215: SUB 00001216: SLT 00001217: ISZERO 00001218: PUSH2 0x1220 0000121b: JUMPI 0000121c: PUSH1 0x00 0000121e: DUP1 0000121f: REVERT 00001220: JUMPDEST 00001221: PUSH2 0x1229 00001224: DUP4 00001225: PUSH2 0x11c1 00001228: JUMP 00001229: JUMPDEST 0000122a: SWAP5 0000122b: PUSH1 0x20 0000122d: SWAP4 0000122e: SWAP1 0000122f: SWAP4 00001230: ADD 00001231: CALLDATALOAD 00001232: SWAP4 00001233: POP 00001234: POP 00001235: POP 00001236: JUMP 00001237: JUMPDEST 00001238: PUSH4 0x4e487b71 0000123d: PUSH1 0xe0 0000123f: SHL 00001240: PUSH1 0x00 00001242: MSTORE 00001243: PUSH1 0x11 00001245: PUSH1 0x04 00001247: MSTORE 00001248: PUSH1 0x24 0000124a: PUSH1 0x00 0000124c: REVERT 0000124d: JUMPDEST 0000124e: DUP1 0000124f: DUP3 00001250: ADD 00001251: DUP1 00001252: DUP3 00001253: GT 00001254: ISZERO 00001255: PUSH2 0x066b 00001258: JUMPI 00001259: PUSH2 0x066b 0000125c: PUSH2 0x1237 0000125f: JUMP 00001260: JUMPDEST 00001261: DUP1 00001262: DUP3 00001263: MUL 00001264: DUP2 00001265: ISZERO 00001266: DUP3 00001267: DUP3 00001268: DIV 00001269: DUP5 0000126a: EQ 0000126b: OR 0000126c: PUSH2 0x066b 0000126f: JUMPI 00001270: PUSH2 0x066b 00001273: PUSH2 0x1237 00001276: JUMP 00001277: JUMPDEST 00001278: PUSH1 0x00 0000127a: DUP3 0000127b: PUSH2 0x1294 0000127e: JUMPI 0000127f: PUSH4 0x4e487b71 00001284: PUSH1 0xe0 00001286: SHL 00001287: PUSH1 0x00 00001289: MSTORE 0000128a: PUSH1 0x12 0000128c: PUSH1 0x04 0000128e: MSTORE 0000128f: PUSH1 0x24 00001291: PUSH1 0x00 00001293: REVERT 00001294: JUMPDEST 00001295: POP 00001296: DIV 00001297: SWAP1 00001298: JUMP 00001299: JUMPDEST 0000129a: DUP2 0000129b: DUP2 0000129c: SUB 0000129d: DUP2 0000129e: DUP2 0000129f: GT 000012a0: ISZERO 000012a1: PUSH2 0x066b 000012a4: JUMPI 000012a5: PUSH2 0x066b 000012a8: PUSH2 0x1237 000012ab: JUMP 000012ac: JUMPDEST 000012ad: PUSH1 0x00 000012af: DUP2 000012b0: PUSH2 0x12bb 000012b3: JUMPI 000012b4: PUSH2 0x12bb 000012b7: PUSH2 0x1237 000012ba: JUMP 000012bb: JUMPDEST 000012bc: POP 000012bd: PUSH1 0x00 000012bf: NOT 000012c0: ADD 000012c1: SWAP1 000012c2: JUMP 000012c3: JUMPDEST 000012c4: PUSH1 0x00 000012c6: PUSH1 0x01 000012c8: DUP3 000012c9: ADD 000012ca: PUSH2 0x12d5 000012cd: JUMPI 000012ce: PUSH2 0x12d5 000012d1: PUSH2 0x1237 000012d4: JUMP 000012d5: JUMPDEST 000012d6: POP 000012d7: PUSH1 0x01 000012d9: ADD 000012da: SWAP1 000012db: JUMP 000012dc: JUMPDEST 000012dd: PUSH1 0x00 000012df: PUSH1 0x20 000012e1: DUP3 000012e2: DUP5 000012e3: SUB 000012e4: SLT 000012e5: ISZERO 000012e6: PUSH2 0x12ee 000012e9: JUMPI 000012ea: PUSH1 0x00 000012ec: DUP1 000012ed: REVERT 000012ee: JUMPDEST 000012ef: POP 000012f0: MLOAD 000012f1: SWAP2 000012f2: SWAP1 000012f3: POP 000012f4: JUMP 000012f5: INVALID 000012f6: LOG1 000012f7: PUSH5 0x736f6c6343 000012fd: STOP 000012fe: ADDMOD 000012ff: XOR 00001300: STOP 00001301: EXP
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x8dceabc3bc461e1bb7f79dbc0b3ba92de829bcae9a6f17959bcb76e069e29994
call_targets:
0xa52971c0947bc4dcc9a69581296dad91bb2c8a59
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x8dceabc3bc461e1bb7f79dbc0b3ba92de829bcae9a6f17959bcb76e069e29994",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xa52971c0947bc4dcc9a69581296dad91bb2c8a59"
],
"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": "0xce7c2ac2",
"selector": "0xce7c2ac2",
"calldata_variants": [
"0xce7c2ac2",
"0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd505a364",
"selector": "0xd505a364",
"calldata_variants": [
"0xd505a364",
"0xd505a3640000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xea7af02d",
"selector": "0xea7af02d",
"calldata_variants": [
"0xea7af02d",
"0xea7af02d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xefca2eed",
"selector": "0xefca2eed",
"calldata_variants": [
"0xefca2eed",
"0xefca2eed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfeeabb14",
"selector": "0xfeeabb14",
"calldata_variants": [
"0xfeeabb14",
"0xfeeabb140000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x82bfefc8",
"selector": "0x82bfefc8",
"calldata_variants": [
"0x82bfefc8",
"0x82bfefc80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x949813b8",
"selector": "0x949813b8",
"calldata_variants": [
"0x949813b8",
"0x949813b80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa78d329e",
"selector": "0xa78d329e",
"calldata_variants": [
"0xa78d329e",
"0xa78d329e0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3810,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4175,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 2
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x8dceabc3bc461e1bb7f79dbc0b3ba92de829bcae9a6f17959bcb76e069e29994
call_targets:
0xa52971c0947bc4dcc9a69581296dad91bb2c8a59
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x8dceabc3bc461e1bb7f79dbc0b3ba92de829bcae9a6f17959bcb76e069e29994",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xa52971c0947bc4dcc9a69581296dad91bb2c8a59"
],
"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": "0xce7c2ac2",
"selector": "0xce7c2ac2",
"calldata_variants": [
"0xce7c2ac2",
"0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd505a364",
"selector": "0xd505a364",
"calldata_variants": [
"0xd505a364",
"0xd505a3640000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xea7af02d",
"selector": "0xea7af02d",
"calldata_variants": [
"0xea7af02d",
"0xea7af02d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xefca2eed",
"selector": "0xefca2eed",
"calldata_variants": [
"0xefca2eed",
"0xefca2eed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfeeabb14",
"selector": "0xfeeabb14",
"calldata_variants": [
"0xfeeabb14",
"0xfeeabb140000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x82bfefc8",
"selector": "0x82bfefc8",
"calldata_variants": [
"0x82bfefc8",
"0x82bfefc80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x949813b8",
"selector": "0x949813b8",
"calldata_variants": [
"0x949813b8",
"0x949813b80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa78d329e",
"selector": "0xa78d329e",
"calldata_variants": [
"0xa78d329e",
"0xa78d329e0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3810,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4175,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|