let lines = List.filter ((<>) "") lines in\r
prerr_endline("number of lines" ^ string_of_int (List.length lines));\r
let aux (last, name, div, conv, ps) line =\r
let chr = String.sub line 0 1 in\r
let lines = List.filter ((<>) "") lines in\r
prerr_endline("number of lines" ^ string_of_int (List.length lines));\r
let aux (last, name, div, conv, ps) line =\r
let chr = String.sub line 0 1 in\r