import java.util.Scanner;

import java.util.*;

    public class Solver {

        static ArrayList <Integer> minterms = new ArrayList <Integer>();
        static ArrayList <Integer> dontcares = new ArrayList <Integer>();
        static ArrayList <ArrayList<String>> mintermsBinary = new ArrayList <ArrayList<String>>();
        static ArrayList <ArrayList<String>> primeImplicants = new ArrayList <ArrayList<String>>();
        static ArrayList <ArrayList <ArrayList<String>>> comparisons = new ArrayList <ArrayList <ArrayList <String>>>();
        static int countPrime=0;

        static Scanner in = new Scanner(System.in);

        private static void fillArrayList() {
            for(int i=0; i<8; i++)  {
                mintermsBinary.add(new ArrayList());
                primeImplicants.add(new ArrayList());
                comparisons.add(new ArrayList());
                for(int j=0; j<8; j++)
                    comparisons.get(i).add(new ArrayList());
            }

        }

        private static void decimalToBinary() {
            fillArrayList();
            for(int i=0; i<minterms.size(); i++) {
                int div = minterms.get(i), ones = 0;
                String res= "";
                while(div!=0) {
                    if(div%2==1) {
                        ones++;
                        res = "1" + res;
                    }
                    else
                        res = "0" + res;
                    div/=2;
                }
                for(int j=0, len = res.length(); j<8-len; j++)
                    res = "0" + res;
                mintermsBinary.get(ones).add(res);
            }
            for(int i=0; i<dontcares.size();i++) {
                int div = dontcares.get(i), ones = 0;
                String res = "";
                while(div!=0) {
                    if(div%2==1) {
                        ones++;
                        res = "1" + res;
                    }
                    else
                        res = "0" + res;
                    div/=2;
                }
                for(int j=0, len = res.length(); j<8-len; j++)
                    res = "0" + res;
                mintermsBinary.get(ones).add(res);
            }
            for(int i=0; i<mintermsBinary.size(); i++)
                Collections.sort(mintermsBinary.get(i));
        }

        private static String differBinary(String firstMinterm, String secondMinterm) {
            String result = "";
            int ones=0;
            for(int i=0; i<firstMinterm.length(); i++) {
                if(firstMinterm.charAt(i) != secondMinterm.charAt(i))
                    result += "-";
                else
                    result += firstMinterm.charAt(i);
                if(firstMinterm.charAt(i)=='1')
                    ones++;
            }
            return result + " " + String.valueOf(ones);
        }

        private static void handleInput() {
            for(int k=0; k<mintermsBinary.size()-2; k++) {
                if(mintermsBinary.get(k).isEmpty())
                    continue;
                int l = k+1;
                while(l<mintermsBinary.size() && mintermsBinary.get(l).isEmpty())
                    l++;
                if(l==mintermsBinary.size())
                    return;
                for(int i=0; i<mintermsBinary.get(k).size(); i++) {

                    boolean fPrime = true;

                    for(int j=0; j<mintermsBinary.get(l).size(); j++) {

                        String iBinary = mintermsBinary.get(k).get(i);
                        String jBinary = mintermsBinary.get(l).get(j);

                        int iDecimal = Integer.parseInt(iBinary, 2);
                        int jDecimal = Integer.parseInt(jBinary, 2);
                        int difference = jDecimal - iDecimal;
                        float exponent =  (float) (Math.log(difference) / Math.log(2));

                        if(difference>0 && exponent - (int) exponent ==0) {
                            fPrime = false;

                            ArrayList <String> dashesAndOnes = new ArrayList <String>();
                            for( String retval: differBinary(iBinary, jBinary).split(" "))
                                dashesAndOnes.add(retval);
                            String differenceBinary = dashesAndOnes.get(0);
                            int ones = Integer.parseInt(dashesAndOnes.get(1));

                            boolean fDuplicate = false;
                            for(int m=0; m<comparisons.get(0).size(); m++) //groups
                                for(int n=0; n<comparisons.get(0).get(m).size(); n++) { //implicants
                                    String duplicate = comparisons.get(0).get(m).get(n).split(" ")[0];
                                    if(duplicate.equals(differenceBinary))
                                        fDuplicate = true;

                                }
                            if(!fDuplicate) {
                                comparisons.get(0).get(ones).add(differenceBinary + " " + iDecimal + " " + jDecimal);
                            }
                        }
                        else
                            continue;
                    }
                    if(fPrime) {
                        String primeBinary = mintermsBinary.get(k).get(i);
                        int primeDecimal = Integer.parseInt(primeBinary, 2);

                        primeImplicants.get(countPrime).add(primeBinary);
                        primeImplicants.get(countPrime).add(String.valueOf(primeDecimal));
                        countPrime++;
                    }
                }

            }
        }

        private static void doComparisons() {
            for(int k=0; k<comparisons.size(); k++) {
                for(int l=0; l<comparisons.get(k).size(); l++) {
                    boolean fAnotherComparison = false;

                }
            }
        }

        public static void main(String[] args) {
            System.out.println("Enter the minterms in decimal <-1 to finish>:");
            while(true) {
                int input;
                input = in.nextInt();
                if(input==-1)
                    break;
                minterms.add(input);
            }
            System.out.println("Enter the dontcares in decimal <-1 to finish>:");
            while(true) {
                int input;
                input = in.nextInt();
                if(input==-1)
                    break;
                dontcares.add(input);
            }
            decimalToBinary();
            handleInput();
            for(int i=0; i<comparisons.get(0).size(); i++) {
                for(int j=0; j<comparisons.get(0).get(i).size(); j++)
                    System.out.println(comparisons.get(0).get(i).get(j));

            System.out.println();
            }
        }


    }