    1. in.the effort_of .maintaining-  ‘a level of abstraction, what chaice..is  typically 'teft independent?    Sentence'2. Even though some. proofs  Of... complexity-theoretic,: ‘theorems:  regutorly ‘assume. some. concrete ‘choice  of input encoding, one. tries to keep the  discussion. . Gbstract . e} to. be  independent of the-choite of encoding         