iv(@(\(A,\(B,@(@('seek*',A),*(B)))),^(@(\(C,\(D,exists(E,/\(@(*(C),E),@(*(D),E))))),^(unicorn)))),s,[],[],1,4)
iv(@(\(A,\(B,@(@('seek*',A),*(B)))),^(@(\(C,\(D,exists(E,/\(@(*(C),E),@(*(D),E))))),^(unicorn)))),s,[sub(\(F,@(*(F),^(j))),G,m)],[],1,4)
iv(@(\(A,\(B,@(@('seek*',A),*(B)))),^(\(C,@(*(C),D)))),s,[],[sub(@(\(E,\(F,exists(G,/\(@(*(E),G),@(*(F),G))))),^(unicorn)),D,n)],1,4)
iv(@(\(A,\(B,@(@('seek*',A),*(B)))),^(\(C,@(*(C),D)))),s,[sub(\(E,@(*(E),^(j))),F,m)],[sub(@(\(G,\(H,exists(I,/\(@(*(G),I),@(*(H),I))))),^(unicorn)),D,n)],1,4)
iv(\(A,@(@(\(B,\(C,exists(D,/\(@(*(B),D),@(*(C),D))))),^(unicorn)),^(\(E,@(@(\(F,\(G,@(@('seek*',F),*(G)))),^(\(H,@(*(H),E)))),A))))),s,[],[],1,4)
iv(\(A,@(@(\(B,\(C,exists(D,/\(@(*(B),D),@(*(C),D))))),^(unicorn)),^(\(E,@(@(\(F,\(G,@(@('seek*',F),*(G)))),^(\(H,@(*(H),E)))),A))))),s,[sub(\(I,@(*(I),^(j))),J,m)],[],1,4)