public static void main(String[] args) {
        SimplePermClass s2134 = new SimplePermClass(new Permutation("2134"));
        SimplePermClass s1234 = new SimplePermClass(new Permutation("1234"));
        HereditaryProperty a213 = AvoidanceTest.getTest("213");
        HereditaryProperty a123 = AvoidanceTest.getTest("123");
        int n = 10;
        int k = 5;
        HashMap<Permutation, ArrayList<ArrayList<IntPair>>> d2134 = dataForClass(s2134, n);
        HashMap<Permutation, ArrayList<ArrayList<IntPair>>> d1234 = dataForClass(s1234, n);
        for (Permutation p : d2134.keySet()) {
            if (!a123.isSatisfiedBy(p) && p.length() == k && p.at(0) == k-1) {
                System.out.println(p);
                for(Permutation q : new Permutations(new PermutationClass("123"),k)) {
                    if (d1234.containsKey(q) && !a213.isSatisfiedBy(q) && q.at(0) == k-1) {
                        if (d1234.get(q).containsAll(d2134.get(p))) {
                            System.out.println(" " + q);
                        }
                    }
                }
            }
        }
    }