private void parseHeader(Scanner scanner){
	String playersArray[] = scanner.nextLine().split("\\s");
	String sizeArray[] = scanner.nextLine().split("\\s");
	String descriptionArray[] = scanner.nextLine().split("\\s");
	
	
	int numPlayers = Integer.parseInt(playersArray[1]);
	assert(numPlayers <= 8);
	assert(numPlayers > 1);
	int dimensionsInteger = Integer.parseInt(sizeArray[1]);
	assert(dimensionsInteger >= 2);
	assert(dimensionsInteger < 100);

	StringBuilder descriptionBuilder = new StringBuilder(descriptionArray[1]);
	for(int i = 2; i < descriptionArray.length; i++){
	    descriptionBuilder.append(" " + descriptionArray[i]);
	}
	String finalDescription
	    = descriptionBuilder.toString().substring(1, descriptionBuilder.length() - 1);
	players = numPlayers;
	description = finalDescription;
	dimensions = dimensionsInteger;
    }