andtruetruetrueandtruefalsefalseandfalsetruefalseandfalsefalsefalseortruetruetrueortruefalsetrueorfalsetruetrueorfalsefalsefalseforallFniltrueforallZconsUVandZUforallZVforsomeInilfalseforsomeJconsX1Y1orJX1forsomeJY1FacZacUaVbIacJacX1aY1bandcccconsabbfalsecforallacbcforsomeacbcnilborccctruecFULLbenchmarks/applicative/AotoYamada_05__009.atrs