void f(string a,string b=""){if(a=="")write(substr(b,1));for(int i;i<length(a);++i)f(erase(a,i,9)+substr(a,i+1),b+" "+substr(a,i,1));}f("012345");