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