iv(@(\(A,\(B,@(*(A),^(\(C,@(@('eat*',*(C)),*(B))))))),^(\(D,@(*(D),E)))),s,[sub(\(F,@(*(F),^(j))),G,m),sub(@(\(H,\(I,exists(J,/\(@(*(H),J),@(*(I),J))))),^(unicorn)),E,n)],[],8,10)
iv(@(\(A,\(B,@(*(A),^(\(C,@(@('eat*',*(C)),*(B))))))),^(\(D,@(*(D),E)))),s,[sub(\(F,@(*(F),^(m))),G,f),sub(\(H,@(*(H),^(j))),I,m),sub(@(\(J,\(K,exists(L,/\(@(*(J),L),@(*(K),L))))),^(unicorn)),E,n)],[],8,10)
iv(@(\(A,\(B,@(*(A),^(\(C,@(@('find*',*(C)),*(B))))))),^(@(\(D,\(E,exists(F,/\(@(*(D),F),@(*(E),F))))),^(unicorn)))),s,[],[],3,6)
iv(@(\(A,\(B,@(*(A),^(\(C,@(@('find*',*(C)),*(B))))))),^(@(\(D,\(E,exists(F,/\(@(*(D),F),@(*(E),F))))),^(unicorn)))),s,[sub(\(G,@(*(G),^(j))),H,m)],[],3,6)
iv(@(\(A,\(B,@(*(A),^(\(C,@(@('find*',*(C)),*(B))))))),^(@(\(D,\(E,exists(F,/\(@(*(D),F),@(*(E),F))))),^(unicorn)))),s,[sub(\(G,@(*(G),^(m))),H,f),sub(\(I,@(*(I),^(j))),J,m)],[],3,6)
iv(@(\(A,\(B,@(*(A),^(\(C,@(@('find*',*(C)),*(B))))))),^(@(\(D,\(E,exists(F,/\(@(*(D),F),@(*(E),F))))),^(unicorn)))),s,[sub(\(G,@(*(G),^(m))),H,f)],[],3,6)
iv(@(\(A,\(B,@(*(A),^(\(C,@(@('find*',*(C)),*(B))))))),^(\(D,@(*(D),E)))),s,[],[sub(@(\(F,\(G,exists(H,/\(@(*(F),H),@(*(G),H))))),^(unicorn)),E,n)],3,6)
iv(@(\(A,\(B,@(*(A),^(\(C,@(@('find*',*(C)),*(B))))))),^(\(D,@(*(D),E)))),s,[sub(\(F,@(*(F),^(j))),G,m)],[sub(@(\(H,\(I,exists(J,/\(@(*(H),J),@(*(I),J))))),^(unicorn)),E,n)],3,6)
iv(@(\(A,\(B,@(*(A),^(\(C,@(@('find*',*(C)),*(B))))))),^(\(D,@(*(D),E)))),s,[sub(\(F,@(*(F),^(m))),G,f),sub(\(H,@(*(H),^(j))),I,m)],[sub(@(\(J,\(K,exists(L,/\(@(*(J),L),@(*(K),L))))),^(unicorn)),E,n)],3,6)
iv(@(\(A,\(B,@(*(A),^(\(C,@(@('find*',*(C)),*(B))))))),^(\(D,@(*(D),E)))),s,[sub(\(F,@(*(F),^(m))),G,f)],[sub(@(\(H,\(I,exists(J,/\(@(*(H),J),@(*(I),J))))),^(unicorn)),E,n)],3,6)
iv(@(\(A,\(B,@(@('believe_that*',A),B))),^(/\(@(\(C,@(*(C),D)),^(@(\(E,\(F,@(*(E),^(\(G,@(@('find*',*(G)),*(F))))))),^(\(H,@(*(H),I)))))),@(\(J,@(*(J),D)),^(@(\(K,\(L,@(*(K),^(\(M,@(@('eat*',*(M)),*(L))))))),^(\(N,@(*(N),I))))))))),s,[],[sub(\(O,@(*(O),^(j))),D,m),sub(@(\(P,\(Q,exists(R,/\(@(*(P),R),@(*(Q),R))))),^(unicorn)),I,n)],1,10)
iv(@(\(A,\(B,@(@('believe_that*',A),B))),^(/\(@(\(C,@(*(C),D)),^(@(\(E,\(F,@(*(E),^(\(G,@(@('find*',*(G)),*(F))))))),^(\(H,@(*(H),I)))))),@(\(J,@(*(J),D)),^(@(\(K,\(L,@(*(K),^(\(M,@(@('eat*',*(M)),*(L))))))),^(\(N,@(*(N),I))))))))),s,[sub(\(O,@(*(O),^(m))),P,f)],[sub(\(Q,@(*(Q),^(j))),D,m),sub(@(\(R,\(S,exists(T,/\(@(*(R),T),@(*(S),T))))),^(unicorn)),I,n)],1,10)
iv(@(\(A,\(B,@(@('believe_that*',A),B))),^(@(@(\(C,\(D,exists(E,/\(@(*(C),E),@(*(D),E))))),^(unicorn)),^(\(F,/\(@(\(G,@(*(G),H)),^(@(\(I,\(J,@(*(I),^(\(K,@(@('find*',*(K)),*(J))))))),^(\(L,@(*(L),F)))))),@(\(M,@(*(M),H)),^(@(\(N,\(O,@(*(N),^(\(P,@(@('eat*',*(P)),*(O))))))),^(\(Q,@(*(Q),F)))))))))))),s,[],[sub(\(R,@(*(R),^(j))),H,m)],1,10)
iv(@(\(A,\(B,@(@('believe_that*',A),B))),^(@(@(\(C,\(D,exists(E,/\(@(*(C),E),@(*(D),E))))),^(unicorn)),^(\(F,/\(@(\(G,@(*(G),H)),^(@(\(I,\(J,@(*(I),^(\(K,@(@('find*',*(K)),*(J))))))),^(\(L,@(*(L),F)))))),@(\(M,@(*(M),H)),^(@(\(N,\(O,@(*(N),^(\(P,@(@('eat*',*(P)),*(O))))))),^(\(Q,@(*(Q),F)))))))))))),s,[sub(\(R,@(*(R),^(m))),S,f)],[sub(\(T,@(*(T),^(j))),H,m)],1,10)
iv(@(\(A,\(B,@(@('believe_that*',A),B))),^(@(@(\(C,\(D,exists(E,/\(@(*(C),E),@(*(D),E))))),^(unicorn)),^(\(F,@(\(G,@(*(G),H)),^(@(\(I,\(J,@(*(I),^(\(K,@(@('find*',*(K)),*(J))))))),^(\(L,@(*(L),F))))))))))),s,[],[sub(\(M,@(*(M),^(j))),H,m)],1,6)
iv(@(\(A,\(B,@(@('believe_that*',A),B))),^(@(@(\(C,\(D,exists(E,/\(@(*(C),E),@(*(D),E))))),^(unicorn)),^(\(F,@(\(G,@(*(G),H)),^(@(\(I,\(J,@(*(I),^(\(K,@(@('find*',*(K)),*(J))))))),^(\(L,@(*(L),F))))))))))),s,[sub(\(M,@(*(M),^(m))),N,f)],[sub(\(O,@(*(O),^(j))),H,m)],1,6)
iv(@(\(A,\(B,@(@('believe_that*',A),B))),^(@(@(\(C,\(D,exists(E,/\(@(*(C),E),@(*(D),E))))),^(unicorn)),^(\(F,@(\(G,@(*(G),^(j))),^(@(\(H,\(I,@(*(H),^(\(J,@(@('find*',*(J)),*(I))))))),^(\(K,@(*(K),F))))))))))),s,[],[],1,6)
iv(@(\(A,\(B,@(@('believe_that*',A),B))),^(@(@(\(C,\(D,exists(E,/\(@(*(C),E),@(*(D),E))))),^(unicorn)),^(\(F,@(\(G,@(*(G),^(j))),^(@(\(H,\(I,@(*(H),^(\(J,@(@('find*',*(J)),*(I))))))),^(\(K,@(*(K),F))))))))))),s,[sub(\(L,@(*(L),^(m))),M,f)],[],1,6)
iv(@(\(A,\(B,@(@('believe_that*',A),B))),^(@(@(\(C,\(D,exists(E,/\(@(*(C),E),@(*(D),E))))),^(unicorn)),^(\(F,@(\(G,@(*(G),^(j))),^(\(H,/\(@(\(I,@(*(I),H)),^(@(\(J,\(K,@(*(J),^(\(L,@(@('find*',*(L)),*(K))))))),^(\(M,@(*(M),F)))))),@(\(N,@(*(N),H)),^(@(\(O,\(P,@(*(O),^(\(Q,@(@('eat*',*(Q)),*(P))))))),^(\(R,@(*(R),F))))))))))))))),s,[],[],1,10)
iv(@(\(A,\(B,@(@('believe_that*',A),B))),^(@(@(\(C,\(D,exists(E,/\(@(*(C),E),@(*(D),E))))),^(unicorn)),^(\(F,@(\(G,@(*(G),^(j))),^(\(H,/\(@(\(I,@(*(I),H)),^(@(\(J,\(K,@(*(J),^(\(L,@(@('find*',*(L)),*(K))))))),^(\(M,@(*(M),F)))))),@(\(N,@(*(N),H)),^(@(\(O,\(P,@(*(O),^(\(Q,@(@('eat*',*(Q)),*(P))))))),^(\(R,@(*(R),F))))))))))))))),s,[sub(\(S,@(*(S),^(m))),T,f)],[],1,10)
iv(@(\(A,\(B,@(@('believe_that*',A),B))),^(@(@(\(C,\(D,exists(E,/\(@(*(C),E),@(*(D),E))))),^(unicorn)),^(\(F,@(\(G,@(*(G),^(j))),^(\(H,@(\(I,@(*(I),H)),^(@(\(J,\(K,@(*(J),^(\(L,@(@('find*',*(L)),*(K))))))),^(\(M,@(*(M),F)))))))))))))),s,[],[],1,6)
iv(@(\(A,\(B,@(@('believe_that*',A),B))),^(@(@(\(C,\(D,exists(E,/\(@(*(C),E),@(*(D),E))))),^(unicorn)),^(\(F,@(\(G,@(*(G),^(j))),^(\(H,@(\(I,@(*(I),H)),^(@(\(J,\(K,@(*(J),^(\(L,@(@('find*',*(L)),*(K))))))),^(\(M,@(*(M),F)))))))))))))),s,[sub(\(N,@(*(N),^(m))),O,f)],[],1,6)
iv(@(\(A,\(B,@(@('believe_that*',A),B))),^(@(\(C,@(*(C),D)),^(@(\(E,\(F,@(*(E),^(\(G,@(@('find*',*(G)),*(F))))))),^(@(\(H,\(I,exists(J,/\(@(*(H),J),@(*(I),J))))),^(unicorn)))))))),s,[],[sub(\(K,@(*(K),^(j))),D,m)],1,6)
iv(@(\(A,\(B,@(@('believe_that*',A),B))),^(@(\(C,@(*(C),D)),^(@(\(E,\(F,@(*(E),^(\(G,@(@('find*',*(G)),*(F))))))),^(@(\(H,\(I,exists(J,/\(@(*(H),J),@(*(I),J))))),^(unicorn)))))))),s,[sub(\(K,@(*(K),^(m))),L,f)],[sub(\(M,@(*(M),^(j))),D,m)],1,6)
iv(@(\(A,\(B,@(@('believe_that*',A),B))),^(@(\(C,@(*(C),D)),^(@(\(E,\(F,@(*(E),^(\(G,@(@('find*',*(G)),*(F))))))),^(\(H,@(*(H),I)))))))),s,[],[sub(\(J,@(*(J),^(j))),D,m),sub(@(\(K,\(L,exists(M,/\(@(*(K),M),@(*(L),M))))),^(unicorn)),I,n)],1,6)
iv(@(\(A,\(B,@(@('believe_that*',A),B))),^(@(\(C,@(*(C),D)),^(@(\(E,\(F,@(*(E),^(\(G,@(@('find*',*(G)),*(F))))))),^(\(H,@(*(H),I)))))))),s,[sub(\(J,@(*(J),^(m))),K,f)],[sub(\(L,@(*(L),^(j))),D,m),sub(@(\(M,\(N,exists(O,/\(@(*(M),O),@(*(N),O))))),^(unicorn)),I,n)],1,6)
iv(@(\(A,\(B,@(@('believe_that*',A),B))),^(@(\(C,@(*(C),D)),^(\(E,@(@(\(F,\(G,exists(H,/\(@(*(F),H),@(*(G),H))))),^(unicorn)),^(\(I,@(@(\(J,\(K,@(*(J),^(\(L,@(@('find*',*(L)),*(K))))))),^(\(M,@(*(M),I)))),E))))))))),s,[],[sub(\(N,@(*(N),^(j))),D,m)],1,6)
iv(@(\(A,\(B,@(@('believe_that*',A),B))),^(@(\(C,@(*(C),D)),^(\(E,@(@(\(F,\(G,exists(H,/\(@(*(F),H),@(*(G),H))))),^(unicorn)),^(\(I,@(@(\(J,\(K,@(*(J),^(\(L,@(@('find*',*(L)),*(K))))))),^(\(M,@(*(M),I)))),E))))))))),s,[sub(\(N,@(*(N),^(m))),O,f)],[sub(\(P,@(*(P),^(j))),D,m)],1,6)
iv(@(\(A,\(B,@(@('believe_that*',A),B))),^(@(\(C,@(*(C),^(j))),^(@(\(D,\(E,@(*(D),^(\(F,@(@('find*',*(F)),*(E))))))),^(@(\(G,\(H,exists(I,/\(@(*(G),I),@(*(H),I))))),^(unicorn)))))))),s,[],[],1,6)
iv(@(\(A,\(B,@(@('believe_that*',A),B))),^(@(\(C,@(*(C),^(j))),^(@(\(D,\(E,@(*(D),^(\(F,@(@('find*',*(F)),*(E))))))),^(@(\(G,\(H,exists(I,/\(@(*(G),I),@(*(H),I))))),^(unicorn)))))))),s,[sub(\(J,@(*(J),^(m))),K,f)],[],1,6)
iv(@(\(A,\(B,@(@('believe_that*',A),B))),^(@(\(C,@(*(C),^(j))),^(@(\(D,\(E,@(*(D),^(\(F,@(@('find*',*(F)),*(E))))))),^(\(G,@(*(G),H)))))))),s,[],[sub(@(\(I,\(J,exists(K,/\(@(*(I),K),@(*(J),K))))),^(unicorn)),H,n)],1,6)
iv(@(\(A,\(B,@(@('believe_that*',A),B))),^(@(\(C,@(*(C),^(j))),^(@(\(D,\(E,@(*(D),^(\(F,@(@('find*',*(F)),*(E))))))),^(\(G,@(*(G),H)))))))),s,[sub(\(I,@(*(I),^(m))),J,f)],[sub(@(\(K,\(L,exists(M,/\(@(*(K),M),@(*(L),M))))),^(unicorn)),H,n)],1,6)
iv(@(\(A,\(B,@(@('believe_that*',A),B))),^(@(\(C,@(*(C),^(j))),^(\(D,/\(@(\(E,@(*(E),D)),^(@(\(F,\(G,@(*(F),^(\(H,@(@('find*',*(H)),*(G))))))),^(\(I,@(*(I),J)))))),@(\(K,@(*(K),D)),^(@(\(L,\(M,@(*(L),^(\(N,@(@('eat*',*(N)),*(M))))))),^(\(O,@(*(O),J)))))))))))),s,[],[sub(@(\(P,\(Q,exists(R,/\(@(*(P),R),@(*(Q),R))))),^(unicorn)),J,n)],1,10)
iv(@(\(A,\(B,@(@('believe_that*',A),B))),^(@(\(C,@(*(C),^(j))),^(\(D,/\(@(\(E,@(*(E),D)),^(@(\(F,\(G,@(*(F),^(\(H,@(@('find*',*(H)),*(G))))))),^(\(I,@(*(I),J)))))),@(\(K,@(*(K),D)),^(@(\(L,\(M,@(*(L),^(\(N,@(@('eat*',*(N)),*(M))))))),^(\(O,@(*(O),J)))))))))))),s,[sub(\(P,@(*(P),^(m))),Q,f)],[sub(@(\(R,\(S,exists(T,/\(@(*(R),T),@(*(S),T))))),^(unicorn)),J,n)],1,10)
iv(@(\(A,\(B,@(@('believe_that*',A),B))),^(@(\(C,@(*(C),^(j))),^(\(D,@(@(\(E,\(F,exists(G,/\(@(*(E),G),@(*(F),G))))),^(unicorn)),^(\(H,/\(@(\(I,@(*(I),D)),^(@(\(J,\(K,@(*(J),^(\(L,@(@('find*',*(L)),*(K))))))),^(\(M,@(*(M),H)))))),@(\(N,@(*(N),D)),^(@(\(O,\(P,@(*(O),^(\(Q,@(@('eat*',*(Q)),*(P))))))),^(\(R,@(*(R),H))))))))))))))),s,[],[],1,10)
iv(@(\(A,\(B,@(@('believe_that*',A),B))),^(@(\(C,@(*(C),^(j))),^(\(D,@(@(\(E,\(F,exists(G,/\(@(*(E),G),@(*(F),G))))),^(unicorn)),^(\(H,/\(@(\(I,@(*(I),D)),^(@(\(J,\(K,@(*(J),^(\(L,@(@('find*',*(L)),*(K))))))),^(\(M,@(*(M),H)))))),@(\(N,@(*(N),D)),^(@(\(O,\(P,@(*(O),^(\(Q,@(@('eat*',*(Q)),*(P))))))),^(\(R,@(*(R),H))))))))))))))),s,[sub(\(S,@(*(S),^(m))),T,f)],[],1,10)
iv(@(\(A,\(B,@(@('believe_that*',A),B))),^(@(\(C,@(*(C),^(j))),^(\(D,@(@(\(E,\(F,exists(G,/\(@(*(E),G),@(*(F),G))))),^(unicorn)),^(\(H,@(@(\(I,\(J,@(*(I),^(\(K,@(@('find*',*(K)),*(J))))))),^(\(L,@(*(L),H)))),D))))))))),s,[],[],1,6)
iv(@(\(A,\(B,@(@('believe_that*',A),B))),^(@(\(C,@(*(C),^(j))),^(\(D,@(@(\(E,\(F,exists(G,/\(@(*(E),G),@(*(F),G))))),^(unicorn)),^(\(H,@(@(\(I,\(J,@(*(I),^(\(K,@(@('find*',*(K)),*(J))))))),^(\(L,@(*(L),H)))),D))))))))),s,[sub(\(M,@(*(M),^(m))),N,f)],[],1,6)
iv(@(\(A,\(B,@(@('believe_that*',A),B))),^(@(\(C,@(*(C),^(j))),^(\(D,@(@(\(E,\(F,exists(G,/\(@(*(E),G),@(*(F),G))))),^(unicorn)),^(\(H,@(\(I,@(*(I),D)),^(@(\(J,\(K,@(*(J),^(\(L,@(@('find*',*(L)),*(K))))))),^(\(M,@(*(M),H)))))))))))))),s,[],[],1,6)
iv(@(\(A,\(B,@(@('believe_that*',A),B))),^(@(\(C,@(*(C),^(j))),^(\(D,@(@(\(E,\(F,exists(G,/\(@(*(E),G),@(*(F),G))))),^(unicorn)),^(\(H,@(\(I,@(*(I),D)),^(@(\(J,\(K,@(*(J),^(\(L,@(@('find*',*(L)),*(K))))))),^(\(M,@(*(M),H)))))))))))))),s,[sub(\(N,@(*(N),^(m))),O,f)],[],1,6)
iv(@(\(A,\(B,@(@('believe_that*',A),B))),^(@(\(C,@(*(C),^(j))),^(\(D,@(\(E,@(*(E),D)),^(@(\(F,\(G,@(*(F),^(\(H,@(@('find*',*(H)),*(G))))))),^(@(\(I,\(J,exists(K,/\(@(*(I),K),@(*(J),K))))),^(unicorn))))))))))),s,[],[],1,6)
iv(@(\(A,\(B,@(@('believe_that*',A),B))),^(@(\(C,@(*(C),^(j))),^(\(D,@(\(E,@(*(E),D)),^(@(\(F,\(G,@(*(F),^(\(H,@(@('find*',*(H)),*(G))))))),^(@(\(I,\(J,exists(K,/\(@(*(I),K),@(*(J),K))))),^(unicorn))))))))))),s,[sub(\(L,@(*(L),^(m))),M,f)],[],1,6)
iv(@(\(A,\(B,@(@('believe_that*',A),B))),^(@(\(C,@(*(C),^(j))),^(\(D,@(\(E,@(*(E),D)),^(@(\(F,\(G,@(*(F),^(\(H,@(@('find*',*(H)),*(G))))))),^(\(I,@(*(I),J))))))))))),s,[],[sub(@(\(K,\(L,exists(M,/\(@(*(K),M),@(*(L),M))))),^(unicorn)),J,n)],1,6)
iv(@(\(A,\(B,@(@('believe_that*',A),B))),^(@(\(C,@(*(C),^(j))),^(\(D,@(\(E,@(*(E),D)),^(@(\(F,\(G,@(*(F),^(\(H,@(@('find*',*(H)),*(G))))))),^(\(I,@(*(I),J))))))))))),s,[sub(\(K,@(*(K),^(m))),L,f)],[sub(@(\(M,\(N,exists(O,/\(@(*(M),O),@(*(N),O))))),^(unicorn)),J,n)],1,6)
iv(@(\(A,\(B,@(@('believe_that*',A),B))),^(@(\(C,@(*(C),^(j))),^(\(D,@(\(E,@(*(E),D)),^(\(F,@(@(\(G,\(H,exists(I,/\(@(*(G),I),@(*(H),I))))),^(unicorn)),^(\(J,@(@(\(K,\(L,@(*(K),^(\(M,@(@('find*',*(M)),*(L))))))),^(\(N,@(*(N),J)))),F)))))))))))),s,[],[],1,6)
iv(@(\(A,\(B,@(@('believe_that*',A),B))),^(@(\(C,@(*(C),^(j))),^(\(D,@(\(E,@(*(E),D)),^(\(F,@(@(\(G,\(H,exists(I,/\(@(*(G),I),@(*(H),I))))),^(unicorn)),^(\(J,@(@(\(K,\(L,@(*(K),^(\(M,@(@('find*',*(M)),*(L))))))),^(\(N,@(*(N),J)))),F)))))))))))),s,[sub(\(O,@(*(O),^(m))),P,f)],[],1,6)
iv(\(A,@(@(\(B,\(C,exists(D,/\(@(*(B),D),@(*(C),D))))),^(unicorn)),^(\(E,@(@(\(F,\(G,@(*(F),^(\(H,@(@('find*',*(H)),*(G))))))),^(\(I,@(*(I),E)))),A))))),s,[],[],3,6)
iv(\(A,@(@(\(B,\(C,exists(D,/\(@(*(B),D),@(*(C),D))))),^(unicorn)),^(\(E,@(@(\(F,\(G,@(*(F),^(\(H,@(@('find*',*(H)),*(G))))))),^(\(I,@(*(I),E)))),A))))),s,[sub(\(J,@(*(J),^(j))),K,m)],[],3,6)
iv(\(A,@(@(\(B,\(C,exists(D,/\(@(*(B),D),@(*(C),D))))),^(unicorn)),^(\(E,@(@(\(F,\(G,@(*(F),^(\(H,@(@('find*',*(H)),*(G))))))),^(\(I,@(*(I),E)))),A))))),s,[sub(\(J,@(*(J),^(m))),K,f),sub(\(L,@(*(L),^(j))),M,m)],[],3,6)
iv(\(A,@(@(\(B,\(C,exists(D,/\(@(*(B),D),@(*(C),D))))),^(unicorn)),^(\(E,@(@(\(F,\(G,@(*(F),^(\(H,@(@('find*',*(H)),*(G))))))),^(\(I,@(*(I),E)))),A))))),s,[sub(\(J,@(*(J),^(m))),K,f)],[],3,6)
iv(\(A,@(@(\(B,\(C,exists(D,/\(@(*(B),D),@(*(C),D))))),^(unicorn)),^(\(E,@(@(\(F,\(G,@(@('believe_that*',F),G))),^(/\(@(\(H,@(*(H),I)),^(@(\(J,\(K,@(*(J),^(\(L,@(@('find*',*(L)),*(K))))))),^(\(M,@(*(M),E)))))),@(\(N,@(*(N),I)),^(@(\(O,\(P,@(*(O),^(\(Q,@(@('eat*',*(Q)),*(P))))))),^(\(R,@(*(R),E))))))))),A))))),s,[],[sub(\(S,@(*(S),^(j))),I,m)],1,10)
iv(\(A,@(@(\(B,\(C,exists(D,/\(@(*(B),D),@(*(C),D))))),^(unicorn)),^(\(E,@(@(\(F,\(G,@(@('believe_that*',F),G))),^(/\(@(\(H,@(*(H),I)),^(@(\(J,\(K,@(*(J),^(\(L,@(@('find*',*(L)),*(K))))))),^(\(M,@(*(M),E)))))),@(\(N,@(*(N),I)),^(@(\(O,\(P,@(*(O),^(\(Q,@(@('eat*',*(Q)),*(P))))))),^(\(R,@(*(R),E))))))))),A))))),s,[sub(\(S,@(*(S),^(m))),T,f)],[sub(\(U,@(*(U),^(j))),I,m)],1,10)
iv(\(A,@(@(\(B,\(C,exists(D,/\(@(*(B),D),@(*(C),D))))),^(unicorn)),^(\(E,@(@(\(F,\(G,@(@('believe_that*',F),G))),^(@(\(H,@(*(H),I)),^(@(\(J,\(K,@(*(J),^(\(L,@(@('find*',*(L)),*(K))))))),^(\(M,@(*(M),E)))))))),A))))),s,[],[sub(\(N,@(*(N),^(j))),I,m)],1,6)
iv(\(A,@(@(\(B,\(C,exists(D,/\(@(*(B),D),@(*(C),D))))),^(unicorn)),^(\(E,@(@(\(F,\(G,@(@('believe_that*',F),G))),^(@(\(H,@(*(H),I)),^(@(\(J,\(K,@(*(J),^(\(L,@(@('find*',*(L)),*(K))))))),^(\(M,@(*(M),E)))))))),A))))),s,[sub(\(N,@(*(N),^(m))),O,f)],[sub(\(P,@(*(P),^(j))),I,m)],1,6)
iv(\(A,@(@(\(B,\(C,exists(D,/\(@(*(B),D),@(*(C),D))))),^(unicorn)),^(\(E,@(@(\(F,\(G,@(@('believe_that*',F),G))),^(@(\(H,@(*(H),^(j))),^(@(\(I,\(J,@(*(I),^(\(K,@(@('find*',*(K)),*(J))))))),^(\(L,@(*(L),E)))))))),A))))),s,[],[],1,6)
iv(\(A,@(@(\(B,\(C,exists(D,/\(@(*(B),D),@(*(C),D))))),^(unicorn)),^(\(E,@(@(\(F,\(G,@(@('believe_that*',F),G))),^(@(\(H,@(*(H),^(j))),^(@(\(I,\(J,@(*(I),^(\(K,@(@('find*',*(K)),*(J))))))),^(\(L,@(*(L),E)))))))),A))))),s,[sub(\(M,@(*(M),^(m))),N,f)],[],1,6)
iv(\(A,@(@(\(B,\(C,exists(D,/\(@(*(B),D),@(*(C),D))))),^(unicorn)),^(\(E,@(@(\(F,\(G,@(@('believe_that*',F),G))),^(@(\(H,@(*(H),^(j))),^(\(I,/\(@(\(J,@(*(J),I)),^(@(\(K,\(L,@(*(K),^(\(M,@(@('find*',*(M)),*(L))))))),^(\(N,@(*(N),E)))))),@(\(O,@(*(O),I)),^(@(\(P,\(Q,@(*(P),^(\(R,@(@('eat*',*(R)),*(Q))))))),^(\(S,@(*(S),E)))))))))))),A))))),s,[],[],1,10)
iv(\(A,@(@(\(B,\(C,exists(D,/\(@(*(B),D),@(*(C),D))))),^(unicorn)),^(\(E,@(@(\(F,\(G,@(@('believe_that*',F),G))),^(@(\(H,@(*(H),^(j))),^(\(I,/\(@(\(J,@(*(J),I)),^(@(\(K,\(L,@(*(K),^(\(M,@(@('find*',*(M)),*(L))))))),^(\(N,@(*(N),E)))))),@(\(O,@(*(O),I)),^(@(\(P,\(Q,@(*(P),^(\(R,@(@('eat*',*(R)),*(Q))))))),^(\(S,@(*(S),E)))))))))))),A))))),s,[sub(\(T,@(*(T),^(m))),U,f)],[],1,10)
iv(\(A,@(@(\(B,\(C,exists(D,/\(@(*(B),D),@(*(C),D))))),^(unicorn)),^(\(E,@(@(\(F,\(G,@(@('believe_that*',F),G))),^(@(\(H,@(*(H),^(j))),^(\(I,@(\(J,@(*(J),I)),^(@(\(K,\(L,@(*(K),^(\(M,@(@('find*',*(M)),*(L))))))),^(\(N,@(*(N),E))))))))))),A))))),s,[],[],1,6)
iv(\(A,@(@(\(B,\(C,exists(D,/\(@(*(B),D),@(*(C),D))))),^(unicorn)),^(\(E,@(@(\(F,\(G,@(@('believe_that*',F),G))),^(@(\(H,@(*(H),^(j))),^(\(I,@(\(J,@(*(J),I)),^(@(\(K,\(L,@(*(K),^(\(M,@(@('find*',*(M)),*(L))))))),^(\(N,@(*(N),E))))))))))),A))))),s,[sub(\(O,@(*(O),^(m))),P,f)],[],1,6)
iv(\(A,@(@(\(B,\(C,exists(D,/\(@(*(B),D),@(*(C),D))))),^(unicorn)),^(\(E,@(\(F,@(\(G,@(*(G),^(j))),^(\(H,@(@(\(I,\(J,@(@('believe_that*',I),J))),^(/\(@(\(K,@(*(K),H)),^(@(\(L,\(M,@(*(L),^(\(N,@(@('find*',*(N)),*(M))))))),^(\(O,@(*(O),E)))))),@(\(P,@(*(P),H)),^(@(\(Q,\(R,@(*(Q),^(\(S,@(@('eat*',*(S)),*(R))))))),^(\(T,@(*(T),E))))))))),F))))),A))))),s,[],[],1,10)
iv(\(A,@(@(\(B,\(C,exists(D,/\(@(*(B),D),@(*(C),D))))),^(unicorn)),^(\(E,@(\(F,@(\(G,@(*(G),^(j))),^(\(H,@(@(\(I,\(J,@(@('believe_that*',I),J))),^(/\(@(\(K,@(*(K),H)),^(@(\(L,\(M,@(*(L),^(\(N,@(@('find*',*(N)),*(M))))))),^(\(O,@(*(O),E)))))),@(\(P,@(*(P),H)),^(@(\(Q,\(R,@(*(Q),^(\(S,@(@('eat*',*(S)),*(R))))))),^(\(T,@(*(T),E))))))))),F))))),A))))),s,[sub(\(U,@(*(U),^(m))),V,f)],[],1,10)
iv(\(A,@(@(\(B,\(C,exists(D,/\(@(*(B),D),@(*(C),D))))),^(unicorn)),^(\(E,@(\(F,@(\(G,@(*(G),^(j))),^(\(H,@(@(\(I,\(J,@(@('believe_that*',I),J))),^(@(\(K,@(*(K),H)),^(@(\(L,\(M,@(*(L),^(\(N,@(@('find*',*(N)),*(M))))))),^(\(O,@(*(O),E)))))))),F))))),A))))),s,[],[],1,6)
iv(\(A,@(@(\(B,\(C,exists(D,/\(@(*(B),D),@(*(C),D))))),^(unicorn)),^(\(E,@(\(F,@(\(G,@(*(G),^(j))),^(\(H,@(@(\(I,\(J,@(@('believe_that*',I),J))),^(@(\(K,@(*(K),H)),^(@(\(L,\(M,@(*(L),^(\(N,@(@('find*',*(N)),*(M))))))),^(\(O,@(*(O),E)))))))),F))))),A))))),s,[sub(\(P,@(*(P),^(m))),Q,f)],[],1,6)
iv(\(A,@(\(B,@(*(B),^(j))),^(\(C,@(@(\(D,\(E,@(@('believe_that*',D),E))),^(/\(@(\(F,@(*(F),C)),^(@(\(G,\(H,@(*(G),^(\(I,@(@('find*',*(I)),*(H))))))),^(\(J,@(*(J),K)))))),@(\(L,@(*(L),C)),^(@(\(M,\(N,@(*(M),^(\(O,@(@('eat*',*(O)),*(N))))))),^(\(P,@(*(P),K))))))))),A))))),s,[],[sub(@(\(Q,\(R,exists(S,/\(@(*(Q),S),@(*(R),S))))),^(unicorn)),K,n)],1,10)
iv(\(A,@(\(B,@(*(B),^(j))),^(\(C,@(@(\(D,\(E,@(@('believe_that*',D),E))),^(/\(@(\(F,@(*(F),C)),^(@(\(G,\(H,@(*(G),^(\(I,@(@('find*',*(I)),*(H))))))),^(\(J,@(*(J),K)))))),@(\(L,@(*(L),C)),^(@(\(M,\(N,@(*(M),^(\(O,@(@('eat*',*(O)),*(N))))))),^(\(P,@(*(P),K))))))))),A))))),s,[sub(\(Q,@(*(Q),^(m))),R,f)],[sub(@(\(S,\(T,exists(U,/\(@(*(S),U),@(*(T),U))))),^(unicorn)),K,n)],1,10)
iv(\(A,@(\(B,@(*(B),^(j))),^(\(C,@(@(\(D,\(E,@(@('believe_that*',D),E))),^(@(@(\(F,\(G,exists(H,/\(@(*(F),H),@(*(G),H))))),^(unicorn)),^(\(I,/\(@(\(J,@(*(J),C)),^(@(\(K,\(L,@(*(K),^(\(M,@(@('find*',*(M)),*(L))))))),^(\(N,@(*(N),I)))))),@(\(O,@(*(O),C)),^(@(\(P,\(Q,@(*(P),^(\(R,@(@('eat*',*(R)),*(Q))))))),^(\(S,@(*(S),I)))))))))))),A))))),s,[],[],1,10)
iv(\(A,@(\(B,@(*(B),^(j))),^(\(C,@(@(\(D,\(E,@(@('believe_that*',D),E))),^(@(@(\(F,\(G,exists(H,/\(@(*(F),H),@(*(G),H))))),^(unicorn)),^(\(I,/\(@(\(J,@(*(J),C)),^(@(\(K,\(L,@(*(K),^(\(M,@(@('find*',*(M)),*(L))))))),^(\(N,@(*(N),I)))))),@(\(O,@(*(O),C)),^(@(\(P,\(Q,@(*(P),^(\(R,@(@('eat*',*(R)),*(Q))))))),^(\(S,@(*(S),I)))))))))))),A))))),s,[sub(\(T,@(*(T),^(m))),U,f)],[],1,10)
iv(\(A,@(\(B,@(*(B),^(j))),^(\(C,@(@(\(D,\(E,@(@('believe_that*',D),E))),^(@(@(\(F,\(G,exists(H,/\(@(*(F),H),@(*(G),H))))),^(unicorn)),^(\(I,@(\(J,@(*(J),C)),^(@(\(K,\(L,@(*(K),^(\(M,@(@('find*',*(M)),*(L))))))),^(\(N,@(*(N),I))))))))))),A))))),s,[],[],1,6)
iv(\(A,@(\(B,@(*(B),^(j))),^(\(C,@(@(\(D,\(E,@(@('believe_that*',D),E))),^(@(@(\(F,\(G,exists(H,/\(@(*(F),H),@(*(G),H))))),^(unicorn)),^(\(I,@(\(J,@(*(J),C)),^(@(\(K,\(L,@(*(K),^(\(M,@(@('find*',*(M)),*(L))))))),^(\(N,@(*(N),I))))))))))),A))))),s,[sub(\(O,@(*(O),^(m))),P,f)],[],1,6)
iv(\(A,@(\(B,@(*(B),^(j))),^(\(C,@(@(\(D,\(E,@(@('believe_that*',D),E))),^(@(\(F,@(*(F),C)),^(@(\(G,\(H,@(*(G),^(\(I,@(@('find*',*(I)),*(H))))))),^(@(\(J,\(K,exists(L,/\(@(*(J),L),@(*(K),L))))),^(unicorn)))))))),A))))),s,[],[],1,6)
iv(\(A,@(\(B,@(*(B),^(j))),^(\(C,@(@(\(D,\(E,@(@('believe_that*',D),E))),^(@(\(F,@(*(F),C)),^(@(\(G,\(H,@(*(G),^(\(I,@(@('find*',*(I)),*(H))))))),^(@(\(J,\(K,exists(L,/\(@(*(J),L),@(*(K),L))))),^(unicorn)))))))),A))))),s,[sub(\(M,@(*(M),^(m))),N,f)],[],1,6)
iv(\(A,@(\(B,@(*(B),^(j))),^(\(C,@(@(\(D,\(E,@(@('believe_that*',D),E))),^(@(\(F,@(*(F),C)),^(@(\(G,\(H,@(*(G),^(\(I,@(@('find*',*(I)),*(H))))))),^(\(J,@(*(J),K)))))))),A))))),s,[],[sub(@(\(L,\(M,exists(N,/\(@(*(L),N),@(*(M),N))))),^(unicorn)),K,n)],1,6)
iv(\(A,@(\(B,@(*(B),^(j))),^(\(C,@(@(\(D,\(E,@(@('believe_that*',D),E))),^(@(\(F,@(*(F),C)),^(@(\(G,\(H,@(*(G),^(\(I,@(@('find*',*(I)),*(H))))))),^(\(J,@(*(J),K)))))))),A))))),s,[sub(\(L,@(*(L),^(m))),M,f)],[sub(@(\(N,\(O,exists(P,/\(@(*(N),P),@(*(O),P))))),^(unicorn)),K,n)],1,6)
iv(\(A,@(\(B,@(*(B),^(j))),^(\(C,@(@(\(D,\(E,@(@('believe_that*',D),E))),^(@(\(F,@(*(F),C)),^(\(G,@(@(\(H,\(I,exists(J,/\(@(*(H),J),@(*(I),J))))),^(unicorn)),^(\(K,@(@(\(L,\(M,@(*(L),^(\(N,@(@('find*',*(N)),*(M))))))),^(\(O,@(*(O),K)))),G))))))))),A))))),s,[],[],1,6)
iv(\(A,@(\(B,@(*(B),^(j))),^(\(C,@(@(\(D,\(E,@(@('believe_that*',D),E))),^(@(\(F,@(*(F),C)),^(\(G,@(@(\(H,\(I,exists(J,/\(@(*(H),J),@(*(I),J))))),^(unicorn)),^(\(K,@(@(\(L,\(M,@(*(L),^(\(N,@(@('find*',*(N)),*(M))))))),^(\(O,@(*(O),K)))),G))))))))),A))))),s,[sub(\(P,@(*(P),^(m))),Q,f)],[],1,6)
iv(\(A,@(\(B,@(*(B),^(j))),^(\(C,@(\(D,@(@(\(E,\(F,exists(G,/\(@(*(E),G),@(*(F),G))))),^(unicorn)),^(\(H,@(@(\(I,\(J,@(@('believe_that*',I),J))),^(/\(@(\(K,@(*(K),C)),^(@(\(L,\(M,@(*(L),^(\(N,@(@('find*',*(N)),*(M))))))),^(\(O,@(*(O),H)))))),@(\(P,@(*(P),C)),^(@(\(Q,\(R,@(*(Q),^(\(S,@(@('eat*',*(S)),*(R))))))),^(\(T,@(*(T),H))))))))),D))))),A))))),s,[],[],1,10)
iv(\(A,@(\(B,@(*(B),^(j))),^(\(C,@(\(D,@(@(\(E,\(F,exists(G,/\(@(*(E),G),@(*(F),G))))),^(unicorn)),^(\(H,@(@(\(I,\(J,@(@('believe_that*',I),J))),^(/\(@(\(K,@(*(K),C)),^(@(\(L,\(M,@(*(L),^(\(N,@(@('find*',*(N)),*(M))))))),^(\(O,@(*(O),H)))))),@(\(P,@(*(P),C)),^(@(\(Q,\(R,@(*(Q),^(\(S,@(@('eat*',*(S)),*(R))))))),^(\(T,@(*(T),H))))))))),D))))),A))))),s,[sub(\(U,@(*(U),^(m))),V,f)],[],1,10)
iv(\(A,@(\(B,@(*(B),^(j))),^(\(C,@(\(D,@(@(\(E,\(F,exists(G,/\(@(*(E),G),@(*(F),G))))),^(unicorn)),^(\(H,@(@(\(I,\(J,@(@('believe_that*',I),J))),^(@(\(K,@(*(K),C)),^(@(\(L,\(M,@(*(L),^(\(N,@(@('find*',*(N)),*(M))))))),^(\(O,@(*(O),H)))))))),D))))),A))))),s,[],[],1,6)
iv(\(A,@(\(B,@(*(B),^(j))),^(\(C,@(\(D,@(@(\(E,\(F,exists(G,/\(@(*(E),G),@(*(F),G))))),^(unicorn)),^(\(H,@(@(\(I,\(J,@(@('believe_that*',I),J))),^(@(\(K,@(*(K),C)),^(@(\(L,\(M,@(*(L),^(\(N,@(@('find*',*(N)),*(M))))))),^(\(O,@(*(O),H)))))))),D))))),A))))),s,[sub(\(P,@(*(P),^(m))),Q,f)],[],1,6)