s(/\(@(@('try_to*',^(\(A,@(@('find*',*(B)),*(A))))),C),@(@('wish_to*',^(\(D,@(@('eat*',*(B)),*(D))))),C)),[],[sub(\(E,@(*(E),^(j))),C,m),sub(\(F,exists(G,/\(@(unicorn,G),@(*(F),G)))),B,n)],0,9)
s(/\(@(@('try_to*',^(\(A,@(@('find*',*(B)),*(A))))),^(j)),@(@('wish_to*',^(\(C,@(@('eat*',*(B)),*(C))))),^(j))),[],[sub(\(D,exists(E,/\(@(unicorn,E),@(*(D),E)))),B,n)],0,9)
s(@(@('try_to*',^(\(A,@(@('find*',*(B)),*(A))))),C),[],[sub(\(D,@(*(D),^(j))),C,m),sub(\(E,exists(F,/\(@(unicorn,F),@(*(E),F)))),B,n)],0,5)
s(@(@('try_to*',^(\(A,@(@('find*',*(B)),*(A))))),^(j)),[],[sub(\(C,exists(D,/\(@(unicorn,D),@(*(C),D)))),B,n)],0,5)
s(@(@('try_to*',^(\(A,exists(B,/\(@(unicorn,B),@(@('find*',*(B)),*(A))))))),C),[],[sub(\(D,@(*(D),^(j))),C,m)],0,5)
s(@(@('try_to*',^(\(A,exists(B,/\(@(unicorn,B),@(@('find*',*(B)),*(A))))))),^(j)),[],[],0,5)
s(exists(A,/\(@(unicorn,A),/\(@(@('try_to*',^(\(B,@(@('find*',*(A)),*(B))))),C),@(@('wish_to*',^(\(D,@(@('eat*',*(A)),*(D))))),C)))),[],[sub(\(E,@(*(E),^(j))),C,m)],0,9)
s(exists(A,/\(@(unicorn,A),/\(@(@('try_to*',^(\(B,@(@('find*',*(A)),*(B))))),^(j)),@(@('wish_to*',^(\(C,@(@('eat*',*(A)),*(C))))),^(j))))),[],[],0,9)
s(exists(A,/\(@(unicorn,A),@(@('try_to*',^(\(B,@(@('find*',*(A)),*(B))))),C))),[],[sub(\(D,@(*(D),^(j))),C,m)],0,5)
s(exists(A,/\(@(unicorn,A),@(@('try_to*',^(\(B,@(@('find*',*(A)),*(B))))),^(j)))),[],[],0,5)