import java.util.ArrayList;
import java.util.Scanner;
import java.lang.Object;
public class Minimization {


	ArrayList <String> minTerms = new ArrayList();
	// ArrayList dontCare;
	ArrayList <String> binary = new ArrayList();
	int n , index ;
	char[] variables;
	String[] compVariables;

	public void setVariables(String minTerm) {
		Scanner read = new Scanner(minTerm);
		String word = minTerm ;
		Scanner scan = new Scanner(word);
		int max = 0;
		n=0 ;
		int k = 0 ;


		while (scan.hasNext()) {
			int y = scan.nextInt();
			if (y > max)
				max = y;

		}
		n = (int) Math.ceil(Math.log(max + 1) / Math.log(2));

		while (read.hasNext()) {
			int x = read.nextInt();
			String number = convertBinary(x);
			minTerms.add(number);

		}

//		variables = new char[n];
//		compVariables = new String[n];
//		for (int i = 0; i < n; i++) {
//			variables[i] = (char) ('A' + i);
//			compVariables[i] = variables[i] + "'";
//		}
	}

	public int countOccurences(String binary) {
		return (binary.length() - binary.replace("1", "").length());
	}

	public String convertBinary(int minterm) {
		String result = "" ;
			for (int j = n - 1; j >= 0; j--) {
				if (minterm < Math.pow(2, j))
					result += "0";
				else {
					result += "1";
					minterm = (int) (minterm - Math.pow(2, j));
				}
		}
		return result ;
	}

	public void minimization (){
		boolean flag = true ;
		while (flag) {
			for (int i =0 ; i <minTerms.size() ; i++ ) {
				flag = false ;
				for (int j =i+1 ; j <minTerms.size() ; j++ ) {
		            if (ComparingTerms(minTerms.get(i),minTerms.get(j))) {
		                 SetDashes(minTerms.get(i), index);
		                 flag = true ;
		            }
				}
				if (flag)
				  minTerms.remove(i);
			}
		}
		int i = 0 ;
		while(!minTerms.isEmpty()){
			System.out.println(minTerms.get(i));
			minTerms.remove(i);
		}
	}

	public boolean ComparingTerms (String a , String b) {
		index = 0 ;
		int k = 0 ;
		int count = 0 ;
		for (int i = 0 ; i< a.length() ; i++)
		{
			if (a.charAt(i)!= b.charAt(i)){
				count++ ;
				k = i ;
			}
		}
		if (count == 1){
		    index = k ;
		    return true ;
		}
		return false ;
	}

	public void SetDashes (String a , int x) {
		String s = a ;
		s.replace(s.charAt(x),'-');
		minTerms.add(s);

	}

	public static void main(String[] args)
	{
		String min = "1 2 4 5 6 12 13 14";
		Minimization l = new Minimization() ;

		l.setVariables(min);
		l.minimization();







			}




}