The top documents tagged [formula of p is13]