s(@(@('seek*',^(\(A,@(*(A),B)))),*(C)),[],[sub(\(D,@(*(D),^(j))),C,m),sub(\(E,exists(F,/\(@(unicorn,F),@(*(E),F)))),B,n)],0,4)
s(@(@('seek*',^(\(A,@(*(A),B)))),j),[],[sub(\(C,exists(D,/\(@(unicorn,D),@(*(C),D)))),B,n)],0,4)
s(@(@('seek*',^(\(A,exists(B,/\(@(unicorn,B),@(*(A),B)))))),*(C)),[],[sub(\(D,@(*(D),^(j))),C,m)],0,4)
s(@(@('seek*',^(\(A,exists(B,/\(@(unicorn,B),@(*(A),B)))))),j),[],[],0,4)
s(exists(A,/\(@(unicorn,A),@(@('seek*',^(\(B,@(*(B),A)))),*(C)))),[],[sub(\(D,@(*(D),^(j))),C,m)],0,4)
s(exists(A,/\(@(unicorn,A),@(@('seek*',^(\(B,@(*(B),A)))),j))),[],[],0,4)