s(@(@(\(A,\(B,exists(C,/\(@(*(A),C),@(*(B),C))))),^(price)),^(\(D,@(\(E,@(*(E),D)),^(rise))))),[],[],0,3) s(@(@(\(A,\(B,exists(C,/\(@(*(A),C),@(*(B),C))))),^(price)),^(rise)),[],[],0,3) s(@(\(A,@(*(A),B)),^(rise)),[],[sub(@(\(C,\(D,exists(E,/\(@(*(C),E),@(*(D),E))))),^(price)),B,n)],0,3)