--CacheEntries.Mesa
--created by RoseTranslate from CacheEntries.Rose of May 22, 1984 8:17:28 pm PDT for Barth.pa at May 22, 1984 8:28:12 pm PDT


DIRECTORY
RoseTypes, RoseCreate, CacheEntry, IO, NumTypes, SwitchTypes;

CacheEntries: CEDAR PROGRAM
IMPORTS RoseCreate, CacheEntry, IO, NumTypes =

BEGIN OPEN
RoseTypes;

--Signal Type decls


RegisterCells: PROC =
BEGIN
CreateCacheEntriesPorts[];
[] _ RoseCreate.RegisterCellClass[className: "CacheEntries",
expandProc: CacheEntriesExpand,
ioCreator: CreateCacheEntriesIO, initializer: NIL,
evals: [],
blackBox: NIL, stateToo: NIL,
ports: CacheEntriesPorts,
drivePrototype: NEW [CacheEntriesDrive]];
END;

CreateCacheEntriesPorts: PROC = {CacheEntriesPorts _ RoseCreate.PortsFromFile["CacheEntries.CacheEntries.rosePorts"]};

CacheEntriesIORef: TYPE = REF CacheEntriesIORec;
CacheEntriesIORec: TYPE = MACHINE DEPENDENT RECORD [
fill0(0:0..14): [0..32767],
Vdd(0:15..15): BOOLEAN,
fill1(1:0..14): [0..32767],
Gnd(1:15..15): BOOLEAN,
fill2(2:0..14): [0..32767],
PhAb(2:15..15): BOOLEAN,
fill3(3:0..14): [0..32767],
PhBb(3:15..15): BOOLEAN,
fill4(4:0..14): [0..32767],
nPhBb(4:15..15): BOOLEAN,
fill5(5:0..14): [0..32767],
Resetb(5:15..15): BOOLEAN,
VirtualPage(6:0..31): ARRAY [0..2) OF CARDINAL,
nVirtualPage(8:0..31): ARRAY [0..2) OF CARDINAL,
fill8(10:0..9): [0..1023],
VirtualBlock(10:10..15): [0..63],
fill9(11:0..9): [0..1023],
nVirtualBlock(11:10..15): [0..63],
RealPage(12:0..31): ARRAY [0..2) OF CARDINAL,
nRealPage(14:0..31): ARRAY [0..2) OF CARDINAL,
fill12(16:0..9): [0..1023],
RealBlock(16:10..15): [0..63],
fill13(17:0..9): [0..1023],
nRealBlock(17:10..15): [0..63],
CAMPageAccess(18:0..383): PACKED ARRAY [0 .. 23] OF SwitchTypes.SwitchVal,
nCAMPageAccess(42:0..383): PACKED ARRAY [0 .. 23] OF SwitchTypes.SwitchVal,
CAMBlockAccess(66:0..95): PACKED ARRAY [0 .. 5] OF SwitchTypes.SwitchVal,
nCAMBlockAccess(72:0..95): PACKED ARRAY [0 .. 5] OF SwitchTypes.SwitchVal,
PBits(78:0..1055): PACKED ARRAY [0 .. 65] OF SwitchTypes.SwitchVal,
nPBits(144:0..1055): PACKED ARRAY [0 .. 65] OF SwitchTypes.SwitchVal,
MBits(210:0..1055): PACKED ARRAY [0 .. 65] OF SwitchTypes.SwitchVal,
nMBits(276:0..1055): PACKED ARRAY [0 .. 65] OF SwitchTypes.SwitchVal,
fill22(342:0..14): [0..32767],
nVirtualMatch(342:15..15): BOOLEAN,
fill23(343:0..14): [0..32767],
nMatchPageClean(343:15..15): BOOLEAN,
fill24(344:0..14): [0..32767],
nMatchCellShared(344:15..15): BOOLEAN,
fill25(345:0..14): [0..32767],
nMapValid(345:15..15): BOOLEAN,
fill26(346:0..14): [0..32767],
nRealMatch(346:15..15): BOOLEAN,
fill27(347:0..14): [0..32767],
nVictimClean(347:15..15): BOOLEAN,
fill28(348:0..14): [0..32767],
nMatchTIP(348:15..15): BOOLEAN,
fill29(349:0..7): [0..255],
CellAdr(349:8..15): [0..255],
fill30(350:0..7): [0..255],
nCellAdr(350:8..15): [0..255],
fill31(351:0..14): [0..32767],
VirtualAccess(351:15..15): BOOLEAN,
fill32(352:0..14): [0..32767],
nVirtualAccess(352:15..15): BOOLEAN,
fill33(353:0..14): [0..32767],
SelCell(353:15..15): BOOLEAN,
fill34(354:0..14): [0..32767],
SelVictimAdr(354:15..15): BOOLEAN,
fill35(355:0..14): [0..32767],
SelMapAdr(355:15..15): BOOLEAN,
fill36(356:0..14): [0..32767],
SelRealData(356:15..15): BOOLEAN,
fill37(357:0..14): [0..32767],
SelPageFlag(357:15..15): BOOLEAN,
fill38(358:0..14): [0..32767],
SelVictimData(358:15..15): BOOLEAN,
fill39(359:0..14): [0..32767],
SelRealAdr(359:15..15): BOOLEAN,
fill40(360:0..14): [0..32767],
FinishSharedStore(360:15..15): BOOLEAN,
VPValid(361:0..15): SwitchTypes.SwitchVal,
nVPValid(362:0..15): SwitchTypes.SwitchVal,
RPValid(363:0..15): SwitchTypes.SwitchVal,
nRPValid(364:0..15): SwitchTypes.SwitchVal,
RPDirty(365:0..15): SwitchTypes.SwitchVal,
nRPDirty(366:0..15): SwitchTypes.SwitchVal,
Master(367:0..15): SwitchTypes.SwitchVal,
nMaster(368:0..15): SwitchTypes.SwitchVal,
Shared(369:0..15): SwitchTypes.SwitchVal,
nShared(370:0..15): SwitchTypes.SwitchVal,
Victim(371:0..15): SwitchTypes.SwitchVal,
nVictim(372:0..15): SwitchTypes.SwitchVal,
TIP(373:0..15): SwitchTypes.SwitchVal,
nTIP(374:0..15): SwitchTypes.SwitchVal,
Broken(375:0..15): SwitchTypes.SwitchVal,
nBroken(376:0..15): SwitchTypes.SwitchVal,
fill57(377:0..14): [0..32767],
MAdrLow(377:15..15): BOOLEAN,
fill58(378:0..14): [0..32767],
nMAdrLow(378:15..15): BOOLEAN,
fill59(379:0..14): [0..32767],
PAdrLow(379:15..15): BOOLEAN,
fill60(380:0..14): [0..32767],
nPAdrLow(380:15..15): BOOLEAN,
fill61(381:0..14): [0..32767],
PStore(381:15..15): BOOLEAN,
fill62(382:0..14): [0..32767],
VictimFeedback(382:15..15): BOOLEAN,
fill63(383:0..14): [0..32767],
nVictimFeedback(383:15..15): BOOLEAN,
fill64(384:0..14): [0..32767],
ShiftVictim(384:15..15): BOOLEAN,
fill65(385:0..14): [0..32767],
nShiftVictim(385:15..15): BOOLEAN,
fill66(386:0..14): [0..32767],
ForceDataSelect(386:15..15): BOOLEAN];

-- port indices:
CacheEntriesCAMPageAccessPortIndex: CARDINAL = 14;
CacheEntriesNCAMPageAccessPortIndex: CARDINAL = 15;
CacheEntriesCAMBlockAccessPortIndex: CARDINAL = 16;
CacheEntriesNCAMBlockAccessPortIndex: CARDINAL = 17;
CacheEntriesPBitsPortIndex: CARDINAL = 18;
CacheEntriesNPBitsPortIndex: CARDINAL = 19;
CacheEntriesMBitsPortIndex: CARDINAL = 20;
CacheEntriesNMBitsPortIndex: CARDINAL = 21;
CacheEntriesVPValidPortIndex: CARDINAL = 41;
CacheEntriesNVPValidPortIndex: CARDINAL = 42;
CacheEntriesRPValidPortIndex: CARDINAL = 43;
CacheEntriesNRPValidPortIndex: CARDINAL = 44;
CacheEntriesRPDirtyPortIndex: CARDINAL = 45;
CacheEntriesNRPDirtyPortIndex: CARDINAL = 46;
CacheEntriesMasterPortIndex: CARDINAL = 47;
CacheEntriesNMasterPortIndex: CARDINAL = 48;
CacheEntriesSharedPortIndex: CARDINAL = 49;
CacheEntriesNSharedPortIndex: CARDINAL = 50;
CacheEntriesVictimPortIndex: CARDINAL = 51;
CacheEntriesNVictimPortIndex: CARDINAL = 52;
CacheEntriesTIPPortIndex: CARDINAL = 53;
CacheEntriesNTIPPortIndex: CARDINAL = 54;
CacheEntriesBrokenPortIndex: CARDINAL = 55;
CacheEntriesNBrokenPortIndex: CARDINAL = 56;

CacheEntriesDrive: TYPE = MACHINE DEPENDENT RECORD [
fill0(0:0..14): [0 .. 32768),
Vdd(0:15..15): BOOLEAN,
fill1(1:0..14): [0 .. 32768),
Gnd(1:15..15): BOOLEAN,
fill2(2:0..14): [0 .. 32768),
PhAb(2:15..15): BOOLEAN,
fill3(3:0..14): [0 .. 32768),
PhBb(3:15..15): BOOLEAN,
fill4(4:0..14): [0 .. 32768),
nPhBb(4:15..15): BOOLEAN,
fill5(5:0..14): [0 .. 32768),
Resetb(5:15..15): BOOLEAN,
fill6(6:0..14): [0 .. 32768),
VirtualPage(6:15..15): BOOLEAN,
fill7(7:0..14): [0 .. 32768),
nVirtualPage(7:15..15): BOOLEAN,
fill8(8:0..14): [0 .. 32768),
VirtualBlock(8:15..15): BOOLEAN,
fill9(9:0..14): [0 .. 32768),
nVirtualBlock(9:15..15): BOOLEAN,
fill10(10:0..14): [0 .. 32768),
RealPage(10:15..15): BOOLEAN,
fill11(11:0..14): [0 .. 32768),
nRealPage(11:15..15): BOOLEAN,
fill12(12:0..14): [0 .. 32768),
RealBlock(12:15..15): BOOLEAN,
fill13(13:0..14): [0 .. 32768),
nRealBlock(13:15..15): BOOLEAN,
fill14(14:0..14): [0 .. 32768),
CAMPageAccess(14:15..15): BOOLEAN,
fill15(15:0..14): [0 .. 32768),
nCAMPageAccess(15:15..15): BOOLEAN,
fill16(16:0..14): [0 .. 32768),
CAMBlockAccess(16:15..15): BOOLEAN,
fill17(17:0..14): [0 .. 32768),
nCAMBlockAccess(17:15..15): BOOLEAN,
fill18(18:0..14): [0 .. 32768),
PBits(18:15..15): BOOLEAN,
fill19(19:0..14): [0 .. 32768),
nPBits(19:15..15): BOOLEAN,
fill20(20:0..14): [0 .. 32768),
MBits(20:15..15): BOOLEAN,
fill21(21:0..14): [0 .. 32768),
nMBits(21:15..15): BOOLEAN,
fill22(22:0..14): [0 .. 32768),
nVirtualMatch(22:15..15): BOOLEAN,
fill23(23:0..14): [0 .. 32768),
nMatchPageClean(23:15..15): BOOLEAN,
fill24(24:0..14): [0 .. 32768),
nMatchCellShared(24:15..15): BOOLEAN,
fill25(25:0..14): [0 .. 32768),
nMapValid(25:15..15): BOOLEAN,
fill26(26:0..14): [0 .. 32768),
nRealMatch(26:15..15): BOOLEAN,
fill27(27:0..14): [0 .. 32768),
nVictimClean(27:15..15): BOOLEAN,
fill28(28:0..14): [0 .. 32768),
nMatchTIP(28:15..15): BOOLEAN,
fill29(29:0..14): [0 .. 32768),
CellAdr(29:15..15): BOOLEAN,
fill30(30:0..14): [0 .. 32768),
nCellAdr(30:15..15): BOOLEAN,
fill31(31:0..14): [0 .. 32768),
VirtualAccess(31:15..15): BOOLEAN,
fill32(32:0..14): [0 .. 32768),
nVirtualAccess(32:15..15): BOOLEAN,
fill33(33:0..14): [0 .. 32768),
SelCell(33:15..15): BOOLEAN,
fill34(34:0..14): [0 .. 32768),
SelVictimAdr(34:15..15): BOOLEAN,
fill35(35:0..14): [0 .. 32768),
SelMapAdr(35:15..15): BOOLEAN,
fill36(36:0..14): [0 .. 32768),
SelRealData(36:15..15): BOOLEAN,
fill37(37:0..14): [0 .. 32768),
SelPageFlag(37:15..15): BOOLEAN,
fill38(38:0..14): [0 .. 32768),
SelVictimData(38:15..15): BOOLEAN,
fill39(39:0..14): [0 .. 32768),
SelRealAdr(39:15..15): BOOLEAN,
fill40(40:0..14): [0 .. 32768),
FinishSharedStore(40:15..15): BOOLEAN,
fill41(41:0..14): [0 .. 32768),
VPValid(41:15..15): BOOLEAN,
fill42(42:0..14): [0 .. 32768),
nVPValid(42:15..15): BOOLEAN,
fill43(43:0..14): [0 .. 32768),
RPValid(43:15..15): BOOLEAN,
fill44(44:0..14): [0 .. 32768),
nRPValid(44:15..15): BOOLEAN,
fill45(45:0..14): [0 .. 32768),
RPDirty(45:15..15): BOOLEAN,
fill46(46:0..14): [0 .. 32768),
nRPDirty(46:15..15): BOOLEAN,
fill47(47:0..14): [0 .. 32768),
Master(47:15..15): BOOLEAN,
fill48(48:0..14): [0 .. 32768),
nMaster(48:15..15): BOOLEAN,
fill49(49:0..14): [0 .. 32768),
Shared(49:15..15): BOOLEAN,
fill50(50:0..14): [0 .. 32768),
nShared(50:15..15): BOOLEAN,
fill51(51:0..14): [0 .. 32768),
Victim(51:15..15): BOOLEAN,
fill52(52:0..14): [0 .. 32768),
nVictim(52:15..15): BOOLEAN,
fill53(53:0..14): [0 .. 32768),
TIP(53:15..15): BOOLEAN,
fill54(54:0..14): [0 .. 32768),
nTIP(54:15..15): BOOLEAN,
fill55(55:0..14): [0 .. 32768),
Broken(55:15..15): BOOLEAN,
fill56(56:0..14): [0 .. 32768),
nBroken(56:15..15): BOOLEAN,
fill57(57:0..14): [0 .. 32768),
MAdrLow(57:15..15): BOOLEAN,
fill58(58:0..14): [0 .. 32768),
nMAdrLow(58:15..15): BOOLEAN,
fill59(59:0..14): [0 .. 32768),
PAdrLow(59:15..15): BOOLEAN,
fill60(60:0..14): [0 .. 32768),
nPAdrLow(60:15..15): BOOLEAN,
fill61(61:0..14): [0 .. 32768),
PStore(61:15..15): BOOLEAN,
fill62(62:0..14): [0 .. 32768),
VictimFeedback(62:15..15): BOOLEAN,
fill63(63:0..14): [0 .. 32768),
nVictimFeedback(63:15..15): BOOLEAN,
fill64(64:0..14): [0 .. 32768),
ShiftVictim(64:15..15): BOOLEAN,
fill65(65:0..14): [0 .. 32768),
nShiftVictim(65:15..15): BOOLEAN,
fill66(66:0..14): [0 .. 32768),
ForceDataSelect(66:15..15): BOOLEAN];


CacheEntriesExpand: ExpandProc = {
PrivateLookupNode: PROC [name: ROPE] RETURNS [node: Node] = {node _ RoseCreate.LookupNode[from: thisCell, path: LIST[name]]};
Vdd: Node _ PrivateLookupNode["Vdd"];
Gnd: Node _ PrivateLookupNode["Gnd"];
PhAb: Node _ PrivateLookupNode["PhAb"];
PhBb: Node _ PrivateLookupNode["PhBb"];
nPhBb: Node _ PrivateLookupNode["nPhBb"];
Resetb: Node _ PrivateLookupNode["Resetb"];
VirtualPage: Node _ PrivateLookupNode["VirtualPage"];
nVirtualPage: Node _ PrivateLookupNode["nVirtualPage"];
VirtualBlock: Node _ PrivateLookupNode["VirtualBlock"];
nVirtualBlock: Node _ PrivateLookupNode["nVirtualBlock"];
RealPage: Node _ PrivateLookupNode["RealPage"];
nRealPage: Node _ PrivateLookupNode["nRealPage"];
RealBlock: Node _ PrivateLookupNode["RealBlock"];
nRealBlock: Node _ PrivateLookupNode["nRealBlock"];
CAMPageAccess: Node _ PrivateLookupNode["CAMPageAccess"];
nCAMPageAccess: Node _ PrivateLookupNode["nCAMPageAccess"];
CAMBlockAccess: Node _ PrivateLookupNode["CAMBlockAccess"];
nCAMBlockAccess: Node _ PrivateLookupNode["nCAMBlockAccess"];
PBits: Node _ PrivateLookupNode["PBits"];
nPBits: Node _ PrivateLookupNode["nPBits"];
MBits: Node _ PrivateLookupNode["MBits"];
nMBits: Node _ PrivateLookupNode["nMBits"];
nVirtualMatch: Node _ PrivateLookupNode["nVirtualMatch"];
nMatchPageClean: Node _ PrivateLookupNode["nMatchPageClean"];
nMatchCellShared: Node _ PrivateLookupNode["nMatchCellShared"];
nMapValid: Node _ PrivateLookupNode["nMapValid"];
nRealMatch: Node _ PrivateLookupNode["nRealMatch"];
nVictimClean: Node _ PrivateLookupNode["nVictimClean"];
nMatchTIP: Node _ PrivateLookupNode["nMatchTIP"];
CellAdr: Node _ PrivateLookupNode["CellAdr"];
nCellAdr: Node _ PrivateLookupNode["nCellAdr"];
VirtualAccess: Node _ PrivateLookupNode["VirtualAccess"];
nVirtualAccess: Node _ PrivateLookupNode["nVirtualAccess"];
SelCell: Node _ PrivateLookupNode["SelCell"];
SelVictimAdr: Node _ PrivateLookupNode["SelVictimAdr"];
SelMapAdr: Node _ PrivateLookupNode["SelMapAdr"];
SelRealData: Node _ PrivateLookupNode["SelRealData"];
SelPageFlag: Node _ PrivateLookupNode["SelPageFlag"];
SelVictimData: Node _ PrivateLookupNode["SelVictimData"];
SelRealAdr: Node _ PrivateLookupNode["SelRealAdr"];
FinishSharedStore: Node _ PrivateLookupNode["FinishSharedStore"];
VPValid: Node _ PrivateLookupNode["VPValid"];
nVPValid: Node _ PrivateLookupNode["nVPValid"];
RPValid: Node _ PrivateLookupNode["RPValid"];
nRPValid: Node _ PrivateLookupNode["nRPValid"];
RPDirty: Node _ PrivateLookupNode["RPDirty"];
nRPDirty: Node _ PrivateLookupNode["nRPDirty"];
Master: Node _ PrivateLookupNode["Master"];
nMaster: Node _ PrivateLookupNode["nMaster"];
Shared: Node _ PrivateLookupNode["Shared"];
nShared: Node _ PrivateLookupNode["nShared"];
Victim: Node _ PrivateLookupNode["Victim"];
nVictim: Node _ PrivateLookupNode["nVictim"];
TIP: Node _ PrivateLookupNode["TIP"];
nTIP: Node _ PrivateLookupNode["nTIP"];
Broken: Node _ PrivateLookupNode["Broken"];
nBroken: Node _ PrivateLookupNode["nBroken"];
MAdrLow: Node _ PrivateLookupNode["MAdrLow"];
nMAdrLow: Node _ PrivateLookupNode["nMAdrLow"];
PAdrLow: Node _ PrivateLookupNode["PAdrLow"];
nPAdrLow: Node _ PrivateLookupNode["nPAdrLow"];
PStore: Node _ PrivateLookupNode["PStore"];
VictimFeedback: Node _ PrivateLookupNode["VictimFeedback"];
nVictimFeedback: Node _ PrivateLookupNode["nVictimFeedback"];
ShiftVictim: Node _ PrivateLookupNode["ShiftVictim"];
nShiftVictim: Node _ PrivateLookupNode["nShiftVictim"];
ForceDataSelect: Node _ PrivateLookupNode["ForceDataSelect"];

--explicitly requested CEDAR:
[] _ RoseCreate.CreateNode[within: thisCell, name: "VictimData3", type: NumTypes.boolType];
FOR ce: CARDINAL IN [0..4) DO
IF ce#3 THEN [] _ RoseCreate.CreateNode[within: thisCell, name: IO.PutFR["VictimData%g", IO.card[ce]], type: NumTypes.boolType];
[] _ RoseCreate.CreateCell[within: thisCell, instanceName: IO.PutFR["CacheEntry%g", IO.card[ce]], className: "CacheEntry", interfaceNodes: IO.PutFR["VictimOut:VictimData%g, VictimIn:VictimData%g", IO.card[ce], IF ce=0 THEN IO.card[3] ELSE IO.card[ce-1]], initData: NEW[CacheEntry.CacheEntryInitRec _ [ce]]];
ENDLOOP;

};

CreateCacheEntriesIO: IOCreator = {
cell.realCellStuff.switchIO _ NEW [CacheEntriesIORec];
cell.realCellStuff.newIO _ NEW [CacheEntriesIORec];
cell.realCellStuff.oldIO _ NEW [CacheEntriesIORec];
};

CacheEntriesPorts: Ports _ NEW [PortsRep[67]];

RegisterCells[];

END.
ΚΕ˜Icode˜K˜|K˜K˜˜	K˜=—K˜˜K˜.—K˜˜
K˜
—K˜˜K˜—K˜˜K˜K˜˜<K˜K˜2K˜
K˜K˜K˜)—K˜—K˜K˜vK˜K˜0˜4K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜/K˜0K˜K˜!K˜K˜"K˜-K˜.K˜K˜K˜K˜K˜JK˜KK˜IK˜JK˜CK˜EK˜DK˜EK˜K˜#K˜K˜%K˜K˜&K˜K˜K˜K˜ K˜K˜"K˜K˜K˜K˜K˜K˜K˜K˜#K˜K˜$K˜K˜K˜K˜"K˜K˜K˜K˜!K˜K˜!K˜K˜#K˜K˜ K˜K˜'K˜*K˜+K˜*K˜+K˜*K˜+K˜)K˜*K˜)K˜*K˜)K˜*K˜&K˜'K˜)K˜*K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜$K˜K˜%K˜K˜!K˜K˜"K˜K˜&—K˜˜K˜2K˜3K˜3K˜4K˜*K˜+K˜*K˜+K˜,K˜-K˜,K˜-K˜,K˜-K˜+K˜,K˜+K˜,K˜+K˜,K˜(K˜)K˜+K˜,—K˜˜4K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜ K˜K˜ K˜K˜!K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜"K˜K˜#K˜K˜#K˜K˜$K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜"K˜K˜$K˜K˜%K˜K˜K˜K˜K˜K˜!K˜K˜K˜K˜K˜K˜K˜K˜"K˜K˜#K˜K˜K˜K˜!K˜K˜K˜K˜ K˜K˜ K˜K˜"K˜K˜K˜K˜&K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜K˜#K˜K˜$K˜K˜ K˜K˜!K˜K˜%—K˜K˜˜"K˜}K˜%K˜%K˜'K˜'K˜)K˜+K˜5K˜7K˜7K˜9K˜/K˜1K˜1K˜3K˜9K˜;K˜;K˜=K˜)K˜+K˜)K˜+K˜9K˜=K˜?K˜1K˜3K˜7K˜1K˜-K˜/K˜9K˜;K˜-K˜7K˜1K˜5K˜5K˜9K˜3K˜AK˜-K˜/K˜-K˜/K˜-K˜/K˜+K˜-K˜+K˜-K˜+K˜-K˜%K˜'K˜+K˜-K˜-K˜/K˜-K˜/K˜+K˜;K˜=K˜5K˜7K˜=K˜˜J˜[˜J˜€
J˜³J˜——K˜K˜—K˜˜#K˜6K˜3K˜3K˜—K˜K˜.K˜K˜K˜K˜—…—8Δ=