quot 0 s X s Y 0 quot s U s V W quot U V W quot P 0 s X1 s quot P s X1 s X1 map Z1 nil nil map G1 cons V1 W1 cons G1 V1 map G1 W1 filter J1 nil nil filter F2 cons Y2 U2 filter2 F2 Y2 F2 Y2 U2 filter2 true H2 W2 P2 cons W2 filter H2 P2 filter2 false F3 Y3 U3 filter F3 U3 X a Y a U a V a W a P a X1 a Z1 c c G1 c c V1 c W1 d J1 c b F2 c b Y2 c U2 d H2 c b W2 c P2 d F3 c b Y3 c U3 d 0 a cons c d d false b filter c b d d filter2 b c b c d d map c c d d nil d quot a a a a s a a true b FULL benchmarks/applicative/Applicative_AG01_innermost__#4.22.atrs