[math-fun] Coeffts of modular forms of exceptional groups