Sums or products of double factorials in Lucas sequences | Synapse