發送短信 : Graphs realised by r.e. equivalence relations

             ___     __   _    __   __    _  __  
  ____      / _ \\  | || | ||  \ \\/ //  | |/ // 
 |    \\   / //\ \\ | '--' ||   \ ` //   | ' //  
 | [] ||  |  ___  ||| .--. ||    | ||    | . \\  
 |  __//  |_||  |_|||_|| |_||    |_||    |_|\_\\ 
 |_|`-`   `-`   `-` `-`  `-`     `-`'    `-` --` 
 `-`