On efficient total colorings of regular graphs | Synapse