public static void main(String[] args) {
        HereditaryProperty[][] bases = new HereditaryProperty[s.length][];
        for (int i = 0; i < s.length; i++) {
            bases[i] = new HereditaryProperty[s[i].length];
            for (int j = 0; j < bases[i].length; j++) {
                bases[i][j] = PermUtilities.avoidanceTest(s[i][j]);
            }
        }
        int count = 0;
        int v = 0;
        int trials = 100000;
        for (int trial = 0; trial < trials; trial++) {
            Permutation p = PermUtilities.randomPermutation(16);
            boolean avoids = true;
            for (int i = 0; i < bases.length; i++) {
                for (HereditaryProperty a : bases[i]) {
                    avoids = a.isSatisfiedBy(p);
                    if (!avoids) {
                        break;
                    }
                }
                if (avoids) {
                    break;
                }
            }
            if (avoids) {
                count++;
            } else {
                v += LascouxSchutzenberger.vexBound(p,4) ? 1 : 0;
            }
           // System.out.println(trial);
            
        }
        System.out.println(count);
        System.out.println(v + " " + ((float) v)/(trials-count));
    }