printf(?t,"~{~{~a~^ ~}
~}",permutations([0,1,2,3,4,5]));