Exact Large Deviation Function in the Asymmetric Exclusion Process | Synapse