using System;
using System.Collections;
using System.Collections.Generic;
using System.Linq;

namespace ConsoleApp87
{
    class Program
    {
        static void Main(string[] args)
        {
            string[] vehicles = Console.ReadLine().Split(new char[] { ' '}, StringSplitOptions.RemoveEmptyEntries);

            var queue = new Queue<string>(vehicles);
            var stack = new Stack<string>();

            while (true)
            {
                string[] input = Console.ReadLine().Split('-');

                switch (input[0])
                {
                    case "Service":
                        if (queue.Count != 0)
                        {
                            Console.WriteLine($"Vehicle {queue.Peek()} got served.");
                            stack.Push(queue.Dequeue());
                        }
                        break;
                    case "CarInfo":
                        if (queue.Contains(input[1]))
                        {
                            Console.WriteLine($"Still waiting for service.");
                        }
                        else
                        {
                            if (stack.Contains(input[1]))
                            {
                                Console.WriteLine("Served.");
                            }
                        }
                        break;
                    case "History":
                        if (stack.Count != 0)
                        {
                            Console.WriteLine($"{string.Join(", ",stack)}");
                        }
                        break;
                    case "End":
                        if (queue.Count != 0)
                        {
                            Console.WriteLine($"Vehicles for service: {string.Join(", ", queue)}");
                        }
                        Console.WriteLine($"Served vehicles: {string.Join(", ", stack)}");
                        return;
                    default:
                        break;
                }

            }










        }
    }
}