notttffnotffttorttxttorffxxeq00tteqsx0ffeq0syffeqsxsyeqxymainphiverphinilinxnilffinxconsaloreqxainxlverVarxtinxtverOrphipsitorverphitverpsitverNotphitnotverphitverExistsnphitorverphiconsntverphiteqsxsyeqxymainphiverphinilinxconsaloreqxainxlinxconsaleqxainxconsalinxlverVarxtinxtverOrphipsitorverphitverpsitverOrphipsitverphitverOrphipsitverpsitverNotphitnotverphitverNotphitverphitverExistsnphitorverphiconsntverphitverExistsnphitverphiconsntverExistsnphitverphittruemainphiverphinilfalse12345678910verOrphipsitverpsitverOrphipsitverphitverNotphitverphitverExistsnphitverphittrue1234567891ver211Or21112t01Not1111Exists21112not11tt00ff00or212eq212001s1111main1111ver21112nil00in212cons211112Var1111verOrphipsitverpsitverOrphipsitverphitverExistsnphitverphit1ver211Or21112t00Exists211112not10tt00ff00or212eq212001s111main1111ver211nil00in212cons212Var1111Not1111verOrphipsitverpsitverOrphipsitverphit1ver211Or211112t00not10tt00ff00or21112eq212000s1111main10ver20nil00in212cons211112Var10Not10Exists20verExistsnphitverphiconsntfalse12345678verVarxtinxtfalse1234inxconsalinxltrue1231in212cons2112not11tt00ff00or212eq21112001s111main111ver211nil00in20Var11t00Or212Not11Exists21112inxconsaleqxafalse1eqsxsyeqxytrue1eq211s1111not10tt00ff00or212eq2111000main1111ver21nil00in20cons20Var10t00Or20Not10Exists20inxconsaloreqxainxlfalseverOrphipsitorverphitverpsitfalseverNotphitnotverphitfalseverExistsnphitorverphiconsntverphitfalse