發送短信 : Program synthesis in the presence of infinite number of inaccuracies

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