conj(D,n)
i1 : n = 5 o1 = 5
i2 : D = {2, 4,5} o2 = {2, 4, 5} o2 : List
i3 : conj(D,n) o3 = {0, 1, 3} o3 : List