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

   _____     ___      ____     __   __   _    _   
  / ___//   / _ \\   |  _ \\   \ \\/ // | |  | || 
  \___ \\  | / \ ||  | |_| ||   \ ` //  | |/\| || 
  /    //  | \_/ ||  | .  //     | ||   |  /\  || 
 /____//    \___//   |_|\_\\     |_||   |_// \_|| 
`-----`     `---`    `-` --`     `-`'   `-`   `-`