(* generating the LTS *)
"lts.bcg" = generation of "hubble.lotos";