appappandtruetruetrueappappandtruefalsefalseappappandfalsetruefalseappappandfalsefalsefalseappapportruetruetrueappapportruefalsetrueappapporfalsetruetrueappapporfalsefalsefalseappappforallpniltrueappappforallpappappconsxxsappappandapppxappappforallpxsappappforsomepnilfalseappappforsomepappappconsxxsappapporapppxappappforsomepxsappappforallpappappconsxxsappappandapppxappappforallpxsappappforallpappappconsxxsappandapppxappappforallpappappconsxxsapppxappappforallpappappconsxxsappappforallpxsappappforsomepappappconsxxsappapporapppxappappforsomepxsappappforsomepappappconsxxsapporapppxappappforsomepappappconsxxsapppxappappforsomepappappconsxxsappappforsomepxstrueappappforallpappappconsxxsappappforallpxsappappforallpappappconsxxsapppxappappforsomepappappconsxxsapppxappappforsomepappappconsxxsappappforsomepxstrue12341app271app277122forall00cons00forsome07appappforallpappappconsxxsappappforallpxsappappforsomepappappconsxxsappappforsomepxsappappforallpappappconsxxsappappforallpxstrue1app212app211112forall00cons00appappforsomepappappconsxxsappappforsomepxstrue1app21122app21122forsome00cons00appappforsomepappappconsxxsappappforsomepxs1app212app211112forsome00cons00appappforallpappappconsxxsappappandapppxappappforallpxsfalseappappforallpappappconsxxsappandapppxfalseappappforsomepappappconsxxsappapporapppxappappforsomepxsfalseappappforsomepappappconsxxsapporapppxfalse