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