Open in CoCalc with one click!
ribetnotes.idx
(We do not have a way to display this file.)