default_flags(tp,[[],[]]).
default_flags(rp,[[1,2,4,6,7,12],[taut,clsb,ccon,cdem,rdem,tore]]).
default_flags(ir,[[1,2,3,4,5,6,7],[rere,chri,sncr,fact,orre,trre,skex]]).
default_flags(es,[[1],[vare]]).
default_flags(ci,[[1],[chco]]).
default_flags(ma,[[1],[maxs]]).
default_flags(ms,[[3],[nwru]]).