(* the graph systol_$1.bcg is generated from systol_$1.lotos *) % SCHEME=$1 "systol_$SCHEME.bcg" = generation of "systol_$SCHEME.lotos" ;