let read_transition () = let (ht:transicoes) = Hashtbl.create 97 in try while true do let (a,b) = (Scanf.sscanf (read_line ()) " %d %c %d" triplo) in let res = try Hashtbl.find ht a with Not_found -> Sestado.empty in Hashtbl.replace ht a (Sestado.add b res) done; ht with _ -> ht