Domain d1fx1a_: 1fx1 A: