Weighted sum formula for variants of half multiple zeta values | Synapse