拡張子は.agrである。