% References cited in https://agora.t9k.dev/t/214/goe-bulk-universality-for-regular-graphs-with-weak-anderson-disorder