val table : ((string*string) , (int * float list) ref) Hashtbl.t

val summary : Format.formatter -> unit