notttffnotffttorttxttorffxxeq00tteqsx0ffeq0syffeqsxsyeqxymainphiverphinilinxnilffinxconsaloreqxainxlverVarxtinxtverOrphipsitorverphitverpsitverNotphitnotverphitverExistsnphitorverphiconsntverphiteqsxsyeqxymainphiverphinilinxconsaloreqxainxlinxconsaleqxainxconsalinxlverVarxtinxtverOrphipsitorverphitverpsitverOrphipsitverphitverOrphipsitverpsitverNotphitnotverphitverNotphitverphitverExistsnphitorverphiconsntverphitverExistsnphitverphiconsntverExistsnphitverphittruemainphiverphinilfalse12345678910verOrphipsitverpsitverOrphipsitverphitverNotphitverphitverExistsnphitverphittrue1234567891ver211Or211112t00Not1111Exists2112verExistsnphitverphiconsntfalse12345678verVarxtinxtfalse1234inxconsalinxltrue1231in212cons2112inxconsaleqxafalse1eqsxsyeqxytrue1eq272s1161inxconsaloreqxainxlfalseverOrphipsitorverphitverpsitfalseverNotphitnotverphitfalseverExistsnphitorverphiconsntverphitfalse