#include <stdio.h>

int buffer[3] = {};

int CheckCondition()
{
	if (buffer[0] == 3 
	    && buffer[1] == 2 
	    && buffer[2] == 1)
	{
		return 0;
	}
	return -1;
}
void AddToBuffer(int Number)
{
	buffer[2] = buffer[1];
	buffer[1] = buffer[0];
	buffer[0] = Number;
}
int main() {
	
	int tmp = 0;
	while(true)
	{
		scanf("%d", &tmp);
		AddToBuffer(tmp);
		
		printf("Buffer: %d %d %d\r\n", buffer[0], buffer[1], buffer[2]);
		if(CheckCondition() == 0)
		{
			printf("OK! Exiting...");
			break;
		}
	
	}
	
	return 0;
}