let
read_to_list f = (
List
.map f (
String
.split_on_char
' '
(read_line ())))