~ / talks / mazur-explicit-formula / test /