Open in CoCalc
ribetnotes.aux
(We do not have a way to display this file.)