Exact parameter-free sum rules for the Pontecorvo–Maki–Nakagawa–Sakata matrix from a split-and-recombined tribimaximal construction | Synapse