Domain d1nnfa_: 1nnf A: