Constraints on holographic dark energy from type Ia supernova observations | Synapse