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