private ArrayList<Integer> list(int... ns) {
            ArrayList<Integer> l = new ArrayList<Integer>();
            for (int n : ns) {
                l.add(n);
            }
            return l;
        }