[lhs_picnic_7]