P1(=NP(=NP(=N1)(NC)NC)(N(C)C)N(C)C)(N(C)C)N(C)C