: Arthothelium lirellans.