import java.io.*;
import java.util.*;

public class HuxleyCode {
  public static void main(String args[]) {
    Scanner in = new Scanner(System.in);
		int qntdComandos = Integer.parseInt(in.nextLine());
		String [] comandos = {"CADASTRO", "ESTOQUE", "VENDA"};
		String comando = "";
		String produto = "";
		int felipeDiriaPraEuFazerIsso = 0;
		int pedidos = 0;
		int estoqueDisponivel = 0;
		String [] produtos = new String [qntdComandos];
		int [] estoque = new int [qntdComandos];
		for (int i = 0; i < qntdComandos; i++) {
			comando = in.nextLine();
			if (!comando.contentEquals(comandos[0]) &&
					!comando.contentEquals(comandos[1]) &&
					!comando.contentEquals(comandos[2])){
				System.out.println("Comando invalido");
			} else {
				produto = in.nextLine();
				if (comando.contentEquals(comandos[0])) {
					for (int cadastrou = 0; cadastrou < qntdComandos; cadastrou++) {
						if (produtos [cadastrou] == null) {
							produtos [felipeDiriaPraEuFazerIsso] = produto;
							estoque [felipeDiriaPraEuFazerIsso] = 0;
							System.out.println("Produto cadastrado com sucesso");
							cadastrou = qntdComandos;
							felipeDiriaPraEuFazerIsso++;
						} else if (produtos [cadastrou].contentEquals(produto)){
							System.out.println("Produto ja cadastrado");
							cadastrou = qntdComandos;
						}
					}
				}
				if (comando.contentEquals(comandos[1])) {
					for (int estocou = 0; estocou < qntdComandos; estocou++) {
						if (estocou == qntdComandos - 1 || produtos [estocou] == null) {
							System.out.println("Produto nao foi cadastrado");
							estocou = qntdComandos;
						} else if (produtos [estocou].equals(produto)) {
							if (in.hasNextInt()) {
								estoqueDisponivel = Integer.parseInt(in.nextLine());
								estoque [estocou] += estoqueDisponivel;
								System.out.println("Estoque realizado com sucesso");
								estocou = qntdComandos;
							} else {
								System.out.println("Comando invalido");
								estocou = qntdComandos;
							}
						}
					}
				}
				if (comando.contentEquals(comandos[2])) {
					for (int vendeu = 0; vendeu < qntdComandos; vendeu++) {
						if (produtos [vendeu] == null || vendeu == qntdComandos - 1) {
							System.out.println("Produto nao foi cadastrado");
							vendeu = qntdComandos;
						} else if (produtos [vendeu].contentEquals(produto)) {
							if (in.hasNextInt()) {
								pedidos = Integer.parseInt(in.nextLine());
								if (pedidos <= 0) {
									System.out.println("Comando invalido");
									vendeu = qntdComandos;
								} else if (pedidos > estoque [vendeu]) {
									System.out.println("Nao ha estoque para a venda");
									vendeu = qntdComandos;
								} else {
									estoque [vendeu] -= pedidos;
									System.out.println("Venda realizada com sucesso");
									vendeu = qntdComandos;
								}
							} else {
								System.out.println("Comando invalido");
								vendeu = qntdComandos;
							}
						}
					}
				}
			}
		}
		for (int j = 0; j < qntdComandos; j++) {
			if (produtos[j] != null) {
				System.out.printf("%s: %d\n", produtos[j], estoque[j]);
			} else {
				j = qntdComandos;
			}
		}
  }
}