appappandtruetruetrueappappandtruefalsefalseappappandfalsetruefalseappappandfalsefalsefalseappapportruetruetrueappapportruefalsetrueappapporfalsetruetrueappapporfalsefalsefalseappappforallpniltrueappappforallpappappconsxxsappappandapppxappappforallpxsappappforsomepnilfalseappappforsomepappappconsxxsappapporapppxappappforsomepxsappappforallpappappconsxxsappappandapppxappappforallpxsappappforallpappappconsxxsappandapppxappappforallpappappconsxxsapppxappappforallpappappconsxxsappappforallpxsappappforsomepappappconsxxsappapporapppxappappforsomepxsappappforsomepappappconsxxsapporapppxappappforsomepappappconsxxsapppxappappforsomepappappconsxxsappappforsomepxstrueappappforallpappappconsxxsappappforallpxsappappforallpappappconsxxsapppxappappforsomepappappconsxxsapppxappappforsomepappappconsxxsappappforsomepxstrue12341app211app211112forall01cons00forsome01appappforallpappappconsxxsappappforallpxsappappforsomepappappconsxxsappappforsomepxsappappforallpappappconsxxsappappforallpxstrue1app212app211112forall00cons00appappforsomepappappconsxxsappappforsomepxstrue1app212app211112forsome00cons00appappforallpappappconsxxsappappandapppxappappforallpxsfalseappappforallpappappconsxxsappandapppxfalseappappforsomepappappconsxxsappapporapppxappappforsomepxsfalseappappforsomepappappconsxxsapporapppxfalse