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