-module a.
-export[m/0].
m()->[io:format("~s~n",[X])||X<-[S||A<-"23456",B<-"13456",C<-"12456",D<-"12356",E<-"12346",F<-"12345",lists:usort(S=[A,B,C,D,E,F])=="123456"]].
Note that non-ascii characters in the above source code will be escaped (such as \x9f).