s(/\(@(\(A,@(*(A),B)),^(@(\(C,\(D,@(@('seek*',C),*(D)))),^(\(E,@(*(E),F)))))),@(\(G,@(*(G),H)),^(@(\(I,\(J,@(@('seek*',I),*(J)))),^(\(K,@(*(K),F))))))),[],[sub(\(L,@(*(L),^(j))),B,m),sub(@(\(M,\(N,exists(O,/\(@(*(M),O),@(*(N),O))))),^(unicorn)),F,n),sub(\(P,@(*(P),^(m))),H,f)],0,8)
s(/\(@(\(A,@(*(A),B)),^(@(\(C,\(D,@(@('seek*',C),*(D)))),^(\(E,@(*(E),F)))))),@(\(G,@(*(G),^(m))),^(@(\(H,\(I,@(@('seek*',H),*(I)))),^(\(J,@(*(J),F))))))),[],[sub(\(K,@(*(K),^(j))),B,m),sub(@(\(L,\(M,exists(N,/\(@(*(L),N),@(*(M),N))))),^(unicorn)),F,n)],0,8)
s(/\(@(\(A,@(*(A),B)),^(@(\(C,\(D,@(@('seek*',C),*(D)))),^(\(E,@(*(E),F)))))),@(\(G,@(*(G),^(m))),^(\(H,@(\(I,@(*(I),H)),^(@(\(J,\(K,@(@('seek*',J),*(K)))),^(\(L,@(*(L),F)))))))))),[],[sub(\(M,@(*(M),^(j))),B,m),sub(@(\(N,\(O,exists(P,/\(@(*(N),P),@(*(O),P))))),^(unicorn)),F,n)],0,8)
s(/\(@(\(A,@(*(A),^(j))),^(@(\(B,\(C,@(@('seek*',B),*(C)))),^(\(D,@(*(D),E)))))),@(\(F,@(*(F),G)),^(@(\(H,\(I,@(@('seek*',H),*(I)))),^(\(J,@(*(J),E))))))),[],[sub(@(\(K,\(L,exists(M,/\(@(*(K),M),@(*(L),M))))),^(unicorn)),E,n),sub(\(N,@(*(N),^(m))),G,f)],0,8)
s(/\(@(\(A,@(*(A),^(j))),^(@(\(B,\(C,@(@('seek*',B),*(C)))),^(\(D,@(*(D),E)))))),@(\(F,@(*(F),^(m))),^(@(\(G,\(H,@(@('seek*',G),*(H)))),^(\(I,@(*(I),E))))))),[],[sub(@(\(J,\(K,exists(L,/\(@(*(J),L),@(*(K),L))))),^(unicorn)),E,n)],0,8)
s(/\(@(\(A,@(*(A),^(j))),^(@(\(B,\(C,@(@('seek*',B),*(C)))),^(\(D,@(*(D),E)))))),@(\(F,@(*(F),^(m))),^(\(G,@(\(H,@(*(H),G)),^(@(\(I,\(J,@(@('seek*',I),*(J)))),^(\(K,@(*(K),E)))))))))),[],[sub(@(\(L,\(M,exists(N,/\(@(*(L),N),@(*(M),N))))),^(unicorn)),E,n)],0,8)
s(/\(@(\(A,@(*(A),^(j))),^(\(B,@(\(C,@(*(C),B)),^(@(\(D,\(E,@(@('seek*',D),*(E)))),^(\(F,@(*(F),G))))))))),@(\(H,@(*(H),I)),^(@(\(J,\(K,@(@('seek*',J),*(K)))),^(\(L,@(*(L),G))))))),[],[sub(@(\(M,\(N,exists(O,/\(@(*(M),O),@(*(N),O))))),^(unicorn)),G,n),sub(\(P,@(*(P),^(m))),I,f)],0,8)
s(/\(@(\(A,@(*(A),^(j))),^(\(B,@(\(C,@(*(C),B)),^(@(\(D,\(E,@(@('seek*',D),*(E)))),^(\(F,@(*(F),G))))))))),@(\(H,@(*(H),^(m))),^(@(\(I,\(J,@(@('seek*',I),*(J)))),^(\(K,@(*(K),G))))))),[],[sub(@(\(L,\(M,exists(N,/\(@(*(L),N),@(*(M),N))))),^(unicorn)),G,n)],0,8)
s(/\(@(\(A,@(*(A),^(j))),^(\(B,@(\(C,@(*(C),B)),^(@(\(D,\(E,@(@('seek*',D),*(E)))),^(\(F,@(*(F),G))))))))),@(\(H,@(*(H),^(m))),^(\(I,@(\(J,@(*(J),I)),^(@(\(K,\(L,@(@('seek*',K),*(L)))),^(\(M,@(*(M),G)))))))))),[],[sub(@(\(N,\(O,exists(P,/\(@(*(N),P),@(*(O),P))))),^(unicorn)),G,n)],0,8)
s(@(@(\(A,\(B,exists(C,/\(@(*(A),C),@(*(B),C))))),^(unicorn)),^(\(D,/\(@(\(E,@(*(E),F)),^(@(\(G,\(H,@(@('seek*',G),*(H)))),^(\(I,@(*(I),D)))))),@(\(J,@(*(J),K)),^(@(\(L,\(M,@(@('seek*',L),*(M)))),^(\(N,@(*(N),D)))))))))),[],[sub(\(O,@(*(O),^(j))),F,m),sub(\(P,@(*(P),^(m))),K,f)],0,8)
s(@(@(\(A,\(B,exists(C,/\(@(*(A),C),@(*(B),C))))),^(unicorn)),^(\(D,/\(@(\(E,@(*(E),F)),^(@(\(G,\(H,@(@('seek*',G),*(H)))),^(\(I,@(*(I),D)))))),@(\(J,@(*(J),^(m))),^(@(\(K,\(L,@(@('seek*',K),*(L)))),^(\(M,@(*(M),D)))))))))),[],[sub(\(N,@(*(N),^(j))),F,m)],0,8)
s(@(@(\(A,\(B,exists(C,/\(@(*(A),C),@(*(B),C))))),^(unicorn)),^(\(D,/\(@(\(E,@(*(E),F)),^(@(\(G,\(H,@(@('seek*',G),*(H)))),^(\(I,@(*(I),D)))))),@(\(J,@(*(J),^(m))),^(\(K,@(\(L,@(*(L),K)),^(@(\(M,\(N,@(@('seek*',M),*(N)))),^(\(O,@(*(O),D))))))))))))),[],[sub(\(P,@(*(P),^(j))),F,m)],0,8)
s(@(@(\(A,\(B,exists(C,/\(@(*(A),C),@(*(B),C))))),^(unicorn)),^(\(D,/\(@(\(E,@(*(E),^(j))),^(@(\(F,\(G,@(@('seek*',F),*(G)))),^(\(H,@(*(H),D)))))),@(\(I,@(*(I),J)),^(@(\(K,\(L,@(@('seek*',K),*(L)))),^(\(M,@(*(M),D)))))))))),[],[sub(\(N,@(*(N),^(m))),J,f)],0,8)
s(@(@(\(A,\(B,exists(C,/\(@(*(A),C),@(*(B),C))))),^(unicorn)),^(\(D,/\(@(\(E,@(*(E),^(j))),^(@(\(F,\(G,@(@('seek*',F),*(G)))),^(\(H,@(*(H),D)))))),@(\(I,@(*(I),^(m))),^(@(\(J,\(K,@(@('seek*',J),*(K)))),^(\(L,@(*(L),D)))))))))),[],[],0,8)
s(@(@(\(A,\(B,exists(C,/\(@(*(A),C),@(*(B),C))))),^(unicorn)),^(\(D,/\(@(\(E,@(*(E),^(j))),^(@(\(F,\(G,@(@('seek*',F),*(G)))),^(\(H,@(*(H),D)))))),@(\(I,@(*(I),^(m))),^(\(J,@(\(K,@(*(K),J)),^(@(\(L,\(M,@(@('seek*',L),*(M)))),^(\(N,@(*(N),D))))))))))))),[],[],0,8)
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))))))))),@(\(K,@(*(K),L)),^(@(\(M,\(N,@(@('seek*',M),*(N)))),^(\(O,@(*(O),D)))))))))),[],[sub(\(P,@(*(P),^(m))),L,f)],0,8)
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))))))))),@(\(K,@(*(K),^(m))),^(@(\(L,\(M,@(@('seek*',L),*(M)))),^(\(N,@(*(N),D)))))))))),[],[],0,8)
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))))))))),@(\(K,@(*(K),^(m))),^(\(L,@(\(M,@(*(M),L)),^(@(\(N,\(O,@(@('seek*',N),*(O)))),^(\(P,@(*(P),D))))))))))))),[],[],0,8)
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)))))),@(\(K,@(*(K),L)),^(@(\(M,\(N,@(@('seek*',M),*(N)))),^(\(O,@(*(O),D))))))))))))),[],[sub(\(P,@(*(P),^(m))),L,f)],0,8)
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)))))),@(\(K,@(*(K),^(m))),^(@(\(L,\(M,@(@('seek*',L),*(M)))),^(\(N,@(*(N),D))))))))))))),[],[],0,8)
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)))))),@(\(K,@(*(K),^(m))),^(\(L,@(\(M,@(*(M),L)),^(@(\(N,\(O,@(@('seek*',N),*(O)))),^(\(P,@(*(P),D)))))))))))))))),[],[],0,8)
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,\(B,exists(C,/\(@(*(A),C),@(*(B),C))))),^(unicorn)),^(\(D,@(\(E,@(*(E),^(j))),^(\(F,@(\(G,@(*(G),^(m))),^(\(H,/\(@(\(I,@(*(I),F)),^(@(\(J,\(K,@(@('seek*',J),*(K)))),^(\(L,@(*(L),D)))))),@(\(M,@(*(M),H)),^(@(\(N,\(O,@(@('seek*',N),*(O)))),^(\(P,@(*(P),D)))))))))))))))),[],[],0,8)
s(@(@(\(A,\(B,exists(C,/\(@(*(A),C),@(*(B),C))))),^(unicorn)),^(\(D,@(\(E,@(*(E),^(m))),^(\(F,/\(@(\(G,@(*(G),H)),^(@(\(I,\(J,@(@('seek*',I),*(J)))),^(\(K,@(*(K),D)))))),@(\(L,@(*(L),F)),^(@(\(M,\(N,@(@('seek*',M),*(N)))),^(\(O,@(*(O),D))))))))))))),[],[sub(\(P,@(*(P),^(j))),H,m)],0,8)
s(@(@(\(A,\(B,exists(C,/\(@(*(A),C),@(*(B),C))))),^(unicorn)),^(\(D,@(\(E,@(*(E),^(m))),^(\(F,/\(@(\(G,@(*(G),^(j))),^(@(\(H,\(I,@(@('seek*',H),*(I)))),^(\(J,@(*(J),D)))))),@(\(K,@(*(K),F)),^(@(\(L,\(M,@(@('seek*',L),*(M)))),^(\(N,@(*(N),D))))))))))))),[],[],0,8)
s(@(@(\(A,\(B,exists(C,/\(@(*(A),C),@(*(B),C))))),^(unicorn)),^(\(D,@(\(E,@(*(E),^(m))),^(\(F,/\(@(\(G,@(*(G),^(j))),^(\(H,@(\(I,@(*(I),H)),^(@(\(J,\(K,@(@('seek*',J),*(K)))),^(\(L,@(*(L),D))))))))),@(\(M,@(*(M),F)),^(@(\(N,\(O,@(@('seek*',N),*(O)))),^(\(P,@(*(P),D))))))))))))),[],[],0,8)
s(@(@(\(A,\(B,exists(C,/\(@(*(A),C),@(*(B),C))))),^(unicorn)),^(\(D,@(\(E,@(*(E),^(m))),^(\(F,@(\(G,@(*(G),^(j))),^(\(H,/\(@(\(I,@(*(I),H)),^(@(\(J,\(K,@(@('seek*',J),*(K)))),^(\(L,@(*(L),D)))))),@(\(M,@(*(M),F)),^(@(\(N,\(O,@(@('seek*',N),*(O)))),^(\(P,@(*(P),D)))))))))))))))),[],[],0,8)
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,@(@('seek*',C),*(D)))),^(\(E,@(*(E),F)))))),[sub(@(\(G,\(H,exists(I,/\(@(*(G),I),@(*(H),I))))),^(unicorn)),F,n)],[sub(\(J,@(*(J),^(m))),B,f)],5,8)
s(@(\(A,@(*(A),B)),^(@(\(C,\(D,@(@('seek*',C),*(D)))),^(\(E,@(*(E),F)))))),[sub(\(G,@(*(G),^(j))),H,m),sub(@(\(I,\(J,exists(K,/\(@(*(I),K),@(*(J),K))))),^(unicorn)),F,n)],[sub(\(L,@(*(L),^(m))),B,f)],5,8)
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,@(*(C),B)),^(@(\(D,\(E,@(@('seek*',D),*(E)))),^(\(F,@(*(F),G)))))),@(\(H,@(*(H),I)),^(@(\(J,\(K,@(@('seek*',J),*(K)))),^(\(L,@(*(L),G)))))))))),[],[sub(@(\(M,\(N,exists(O,/\(@(*(M),O),@(*(N),O))))),^(unicorn)),G,n),sub(\(P,@(*(P),^(m))),I,f)],0,8)
s(@(\(A,@(*(A),^(j))),^(\(B,/\(@(\(C,@(*(C),B)),^(@(\(D,\(E,@(@('seek*',D),*(E)))),^(\(F,@(*(F),G)))))),@(\(H,@(*(H),^(m))),^(@(\(I,\(J,@(@('seek*',I),*(J)))),^(\(K,@(*(K),G)))))))))),[],[sub(@(\(L,\(M,exists(N,/\(@(*(L),N),@(*(M),N))))),^(unicorn)),G,n)],0,8)
s(@(\(A,@(*(A),^(j))),^(\(B,/\(@(\(C,@(*(C),B)),^(@(\(D,\(E,@(@('seek*',D),*(E)))),^(\(F,@(*(F),G)))))),@(\(H,@(*(H),^(m))),^(\(I,@(\(J,@(*(J),I)),^(@(\(K,\(L,@(@('seek*',K),*(L)))),^(\(M,@(*(M),G))))))))))))),[],[sub(@(\(N,\(O,exists(P,/\(@(*(N),P),@(*(O),P))))),^(unicorn)),G,n)],0,8)
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)))))),@(\(K,@(*(K),L)),^(@(\(M,\(N,@(@('seek*',M),*(N)))),^(\(O,@(*(O),F))))))))))))),[],[sub(\(P,@(*(P),^(m))),L,f)],0,8)
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)))))),@(\(K,@(*(K),^(m))),^(@(\(L,\(M,@(@('seek*',L),*(M)))),^(\(N,@(*(N),F))))))))))))),[],[],0,8)
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)))))),@(\(K,@(*(K),^(m))),^(\(L,@(\(M,@(*(M),L)),^(@(\(N,\(O,@(@('seek*',N),*(O)))),^(\(P,@(*(P),F)))))))))))))))),[],[],0,8)
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,\(D,exists(E,/\(@(*(C),E),@(*(D),E))))),^(unicorn)),^(\(F,@(\(G,@(*(G),^(m))),^(\(H,/\(@(\(I,@(*(I),B)),^(@(\(J,\(K,@(@('seek*',J),*(K)))),^(\(L,@(*(L),F)))))),@(\(M,@(*(M),H)),^(@(\(N,\(O,@(@('seek*',N),*(O)))),^(\(P,@(*(P),F)))))))))))))))),[],[],0,8)
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)
s(@(\(A,@(*(A),^(j))),^(\(B,@(\(C,@(*(C),^(m))),^(\(D,/\(@(\(E,@(*(E),B)),^(@(\(F,\(G,@(@('seek*',F),*(G)))),^(\(H,@(*(H),I)))))),@(\(J,@(*(J),D)),^(@(\(K,\(L,@(@('seek*',K),*(L)))),^(\(M,@(*(M),I))))))))))))),[],[sub(@(\(N,\(O,exists(P,/\(@(*(N),P),@(*(O),P))))),^(unicorn)),I,n)],0,8)
s(@(\(A,@(*(A),^(j))),^(\(B,@(\(C,@(*(C),^(m))),^(\(D,@(@(\(E,\(F,exists(G,/\(@(*(E),G),@(*(F),G))))),^(unicorn)),^(\(H,/\(@(\(I,@(*(I),B)),^(@(\(J,\(K,@(@('seek*',J),*(K)))),^(\(L,@(*(L),H)))))),@(\(M,@(*(M),D)),^(@(\(N,\(O,@(@('seek*',N),*(O)))),^(\(P,@(*(P),H)))))))))))))))),[],[],0,8)
s(@(\(A,@(*(A),^(m))),^(@(\(B,\(C,@(@('seek*',B),*(C)))),^(\(D,@(*(D),E)))))),[sub(@(\(F,\(G,exists(H,/\(@(*(F),H),@(*(G),H))))),^(unicorn)),E,n)],[],5,8)
s(@(\(A,@(*(A),^(m))),^(@(\(B,\(C,@(@('seek*',B),*(C)))),^(\(D,@(*(D),E)))))),[sub(\(F,@(*(F),^(j))),G,m),sub(@(\(H,\(I,exists(J,/\(@(*(H),J),@(*(I),J))))),^(unicorn)),E,n)],[],5,8)
s(@(\(A,@(*(A),^(m))),^(\(B,/\(@(\(C,@(*(C),D)),^(@(\(E,\(F,@(@('seek*',E),*(F)))),^(\(G,@(*(G),H)))))),@(\(I,@(*(I),B)),^(@(\(J,\(K,@(@('seek*',J),*(K)))),^(\(L,@(*(L),H)))))))))),[],[sub(\(M,@(*(M),^(j))),D,m),sub(@(\(N,\(O,exists(P,/\(@(*(N),P),@(*(O),P))))),^(unicorn)),H,n)],0,8)
s(@(\(A,@(*(A),^(m))),^(\(B,/\(@(\(C,@(*(C),^(j))),^(@(\(D,\(E,@(@('seek*',D),*(E)))),^(\(F,@(*(F),G)))))),@(\(H,@(*(H),B)),^(@(\(I,\(J,@(@('seek*',I),*(J)))),^(\(K,@(*(K),G)))))))))),[],[sub(@(\(L,\(M,exists(N,/\(@(*(L),N),@(*(M),N))))),^(unicorn)),G,n)],0,8)
s(@(\(A,@(*(A),^(m))),^(\(B,/\(@(\(C,@(*(C),^(j))),^(\(D,@(\(E,@(*(E),D)),^(@(\(F,\(G,@(@('seek*',F),*(G)))),^(\(H,@(*(H),I))))))))),@(\(J,@(*(J),B)),^(@(\(K,\(L,@(@('seek*',K),*(L)))),^(\(M,@(*(M),I)))))))))),[],[sub(@(\(N,\(O,exists(P,/\(@(*(N),P),@(*(O),P))))),^(unicorn)),I,n)],0,8)
s(@(\(A,@(*(A),^(m))),^(\(B,@(@(\(C,\(D,exists(E,/\(@(*(C),E),@(*(D),E))))),^(unicorn)),^(\(F,/\(@(\(G,@(*(G),H)),^(@(\(I,\(J,@(@('seek*',I),*(J)))),^(\(K,@(*(K),F)))))),@(\(L,@(*(L),B)),^(@(\(M,\(N,@(@('seek*',M),*(N)))),^(\(O,@(*(O),F))))))))))))),[],[sub(\(P,@(*(P),^(j))),H,m)],0,8)
s(@(\(A,@(*(A),^(m))),^(\(B,@(@(\(C,\(D,exists(E,/\(@(*(C),E),@(*(D),E))))),^(unicorn)),^(\(F,/\(@(\(G,@(*(G),^(j))),^(@(\(H,\(I,@(@('seek*',H),*(I)))),^(\(J,@(*(J),F)))))),@(\(K,@(*(K),B)),^(@(\(L,\(M,@(@('seek*',L),*(M)))),^(\(N,@(*(N),F))))))))))))),[],[],0,8)
s(@(\(A,@(*(A),^(m))),^(\(B,@(@(\(C,\(D,exists(E,/\(@(*(C),E),@(*(D),E))))),^(unicorn)),^(\(F,/\(@(\(G,@(*(G),^(j))),^(\(H,@(\(I,@(*(I),H)),^(@(\(J,\(K,@(@('seek*',J),*(K)))),^(\(L,@(*(L),F))))))))),@(\(M,@(*(M),B)),^(@(\(N,\(O,@(@('seek*',N),*(O)))),^(\(P,@(*(P),F))))))))))))),[],[],0,8)
s(@(\(A,@(*(A),^(m))),^(\(B,@(@(\(C,\(D,exists(E,/\(@(*(C),E),@(*(D),E))))),^(unicorn)),^(\(F,@(\(G,@(*(G),^(j))),^(\(H,/\(@(\(I,@(*(I),H)),^(@(\(J,\(K,@(@('seek*',J),*(K)))),^(\(L,@(*(L),F)))))),@(\(M,@(*(M),B)),^(@(\(N,\(O,@(@('seek*',N),*(O)))),^(\(P,@(*(P),F)))))))))))))))),[],[],0,8)
s(@(\(A,@(*(A),^(m))),^(\(B,@(\(C,@(*(C),B)),^(@(\(D,\(E,@(@('seek*',D),*(E)))),^(\(F,@(*(F),G))))))))),[sub(@(\(H,\(I,exists(J,/\(@(*(H),J),@(*(I),J))))),^(unicorn)),G,n)],[],5,8)
s(@(\(A,@(*(A),^(m))),^(\(B,@(\(C,@(*(C),B)),^(@(\(D,\(E,@(@('seek*',D),*(E)))),^(\(F,@(*(F),G))))))))),[sub(\(H,@(*(H),^(j))),I,m),sub(@(\(J,\(K,exists(L,/\(@(*(J),L),@(*(K),L))))),^(unicorn)),G,n)],[],5,8)
s(@(\(A,@(*(A),^(m))),^(\(B,@(\(C,@(*(C),^(j))),^(\(D,/\(@(\(E,@(*(E),D)),^(@(\(F,\(G,@(@('seek*',F),*(G)))),^(\(H,@(*(H),I)))))),@(\(J,@(*(J),B)),^(@(\(K,\(L,@(@('seek*',K),*(L)))),^(\(M,@(*(M),I))))))))))))),[],[sub(@(\(N,\(O,exists(P,/\(@(*(N),P),@(*(O),P))))),^(unicorn)),I,n)],0,8)
s(@(\(A,@(*(A),^(m))),^(\(B,@(\(C,@(*(C),^(j))),^(\(D,@(@(\(E,\(F,exists(G,/\(@(*(E),G),@(*(F),G))))),^(unicorn)),^(\(H,/\(@(\(I,@(*(I),D)),^(@(\(J,\(K,@(@('seek*',J),*(K)))),^(\(L,@(*(L),H)))))),@(\(M,@(*(M),B)),^(@(\(N,\(O,@(@('seek*',N),*(O)))),^(\(P,@(*(P),H)))))))))))))))),[],[],0,8)