#include <iostream>

#include <cstdio>

#include <cstring>

#include <vector>

#include <map>

#include <bitset>

#include <cstdarg>

using namespace std;

//#define test

const int MAXSTOCK = 8, MAXDAY = 110, MAXID = 20000, INF = 0x3f3f3f3f;

double BeginMoney;

int TotDay, TotStock, LotLimit;

vector<int> State;

map <int, int> Sid;

int IdCnt = 0;

double DImaxcash[MAXDAY][MAXID];//某天某状态进行操作前的最大现金值

int ISbuynextI[MAXID][MAXSTOCK], ISsellnextI[MAXID][MAXSTOCK];

int DIprevI[MAXDAY][MAXID], DIaction[MAXDAY][MAXID], DIdeltaS[MAXDAY][MAXID];

char* Ans[] = { "HOLD","BUY","SELL" };

struct Stock

{

	char name[20];

	int eachLot, totLotCnt;

	double dailyPrice[MAXDAY];

};

Stock Stocks[MAXSTOCK];

void Reset()

{

	State.clear();

	Sid.clear();

	memset(DImaxcash, 0, sizeof(DImaxcash));

	memset(ISbuynextI, 0, sizeof(ISbuynextI));

	memset(ISsellnextI, 0, sizeof(ISsellnextI));

	memset(DIprevI, 0, sizeof(DIprevI));

	memset(DIaction, 0, sizeof(DIaction));

	memset(DIdeltaS, 0, sizeof(DIdeltaS));

	memset(Stocks, 0, sizeof(Stocks));

	IdCnt = 0;

}

#define SetState(S, s, i) S = (S & (~(0xf<<(i*4))) | ((s)<<(i*4)))

#define ClearState(S, i) (S &= (~(0xf<<(i*4))))

#define GetState(S, i) (((S) >> (i*4)) & 0xf)

void PlusState(int &S, int i, int plus)

{

	int temp = GetState(S, i) + plus;

	SetState(S, temp, i);

}

void InitState(int stockCnt, int& temp, int prevTotal)

{

	if (stockCnt == TotStock)

	{

		State.push_back(temp);

		Sid[temp] = IdCnt++;

		return;

	}

	for (int i = 0; i <= Stocks[stockCnt].totLotCnt; i++)

	{

		if (prevTotal + i <= LotLimit)

		{

			SetState(temp, i, stockCnt);

			InitState(stockCnt + 1, temp, prevTotal + i);

			ClearState(temp, stockCnt);

		}

	}

}

void SetGraph()

{

	for (int id= 0; id < IdCnt; id++)

	{

		for (int toStock = 0; toStock < TotStock; toStock++)

		{

			ISsellnextI[id][toStock] = ISbuynextI[id][toStock] = -1;

			int temp = State[id];

			PlusState(temp, toStock, 1);

			if (Sid.count(temp) > 0)

				ISbuynextI[id][toStock] = Sid[temp];

			if (GetState(State[id],toStock))

			{

				temp = State[id];

				PlusState(temp, toStock, -1);

				ISsellnextI[id][toStock] = Sid[temp];

			}

		}

	}

}

void Update(int day, int id, int nextID, int toStock, double leftCash, int action)

{

	if (leftCash > DImaxcash[day + 1][nextID])

	{

		DImaxcash[day + 1][nextID] = leftCash;

		DIprevI[day + 1][nextID] = id;

		DIdeltaS[day + 1][nextID] = toStock;

		DIaction[day + 1][nextID] = action;

	}

}

void DP()

{

	for (int i = 0; i <= TotDay; i++)

		for (int j = 0; j < IdCnt; j++)

			DImaxcash[i][j] = -INF;

	DImaxcash[0][0] = BeginMoney;

	for (int day = 0; day <= TotDay; day++)

		for (int curID = 0; curID < IdCnt; curID++)

		{

			if (DImaxcash[day][curID] == -INF)

				continue;

			for (int toStock = 0; toStock < TotStock; toStock++)

				Update(day, curID, curID, 0, DImaxcash[day][curID], 0);

			for (int toStock = 0; toStock < TotStock; toStock++)

			{

				if (ISbuynextI[curID][toStock] != -1 && DImaxcash[day][curID] >= Stocks[toStock].dailyPrice[day] * Stocks[toStock].eachLot - 0.001)

				{

					double leftCash = DImaxcash[day][curID] - Stocks[toStock].dailyPrice[day] * Stocks[toStock].eachLot;

					Update(day, curID, ISbuynextI[curID][toStock], toStock, leftCash, 1);

				}

				if (ISsellnextI[curID][toStock] != -1 && GetState(State[curID], toStock) > 0)

				{

					double leftCash = DImaxcash[day][curID] + Stocks[toStock].dailyPrice[day] * Stocks[toStock].eachLot;

					Update(day, curID, ISsellnextI[curID][toStock], toStock, leftCash, 2);

				}

			}

		}

}

void print(int day, int id)

{

	if (day == 0)

		return;

	print(day - 1, DIprevI[day][id]);

	if (DIaction[day][id] == 0)

		printf("HOLD\n");

	else

		printf("%s %s\n", Ans[DIaction[day][id]], Stocks[DIdeltaS[day][id]].name);

}

int main()

{

	//TestBinary();

	freopen("c:\\noi\\source\\input.txt", "r", stdin);

	bool isFirst = true;

	while (~scanf("%lf%d%d%d", &BeginMoney, &TotDay, &TotStock, &LotLimit))

	{

		Reset();

		for (int i = 0; i < TotStock; i++)

		{

			scanf("%s%d%d", &Stocks[i].name, &Stocks[i].eachLot, &Stocks[i].totLotCnt);

			for (int j = 0; j < TotDay; j++)

				scanf("%lf", &Stocks[i].dailyPrice[j]);

		}

		int temp = 0;

		InitState(0, temp, 0);

		SetGraph();

		DP();

		if (!isFirst)

			printf("\n");

		isFirst = false;

		printf("%.2f\n", DImaxcash[TotDay][0]);

		print(TotDay, 0);

	}

	return 0;

}