#W #W0 #l0 #Hl0 #HV2W #HW30
lapply (lstas_sta_conf_pos … HV2W4 … HV2W) -HV2W #HW4W
@(lstas_cpcs_lpr_aux … IH3 IH2 IH1 … Hl0 … HW4W … Hl0 … HW30 … HW43) //
#W #W0 #l0 #Hl0 #HV2W #HW30
lapply (lstas_sta_conf_pos … HV2W4 … HV2W) -HV2W #HW4W
@(lstas_cpcs_lpr_aux … IH3 IH2 IH1 … Hl0 … HW4W … Hl0 … HW30 … HW43) //