Domain d1gdxa_: 1gdx A: