in clause del/ooi(X,cons(X,T),T). variables have no producer: ["X"]
real 0m2.940s user 0m0.156s sys 0m0.036s