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