!3220 X X e !3220 e Y Y !3220 U !dot U V V !3220 !div W P W P !div X1 X1 e !div Y1 e Y1 !div !dot V1 U1 U1 V1 !div W1 !3220 P1 W1 P1 !dot e X2 X2 !dot Y2 e Y2 !dot U2 !3220 U2 V2 V2 !dot !div P2 W2 W2 P2 map F3 nil nil map Z3 cons U3 V3 cons Z3 U3 map Z3 V3 filter I3 nil nil filter J3 cons X4 Y4 filter2 J3 X4 J3 X4 Y4 filter2 true G4 V4 W4 cons V4 filter G4 W4 filter2 false J4 X5 Y5 filter J4 Y5 X a Y a U a V a W a P a X1 a Y1 a U1 a V1 a W1 a P1 a X2 a Y2 a U2 a V2 a W2 a P2 a F3 c c Z3 c c U3 c V3 d I3 c b J3 c b X4 c Y4 d G4 c b V4 c W4 d J4 c b X5 c Y5 d !3220 a a a !div a a a !dot a a a cons c d d e a false b filter c b d d filter2 b c b c d d map c c d d nil d true b FULL benchmarks/applicative/Applicative_first_order_05__01.atrs