public static void main( String[] args )
    {
        ArrayList<Integer> a = new ArrayList<Integer>(6);
        a.add(3);
        a.add(7);
        a.add(11);
        a.add(12);
        a.add(13);
        a.add(15);
        System.out.println( ANFParser.toANF( a, 4 ) );
    }