Low Energy Effective Field Theory Operator Basis at $d \le 9$

We obtain the complete operator bases at mass dimensions 5, 6, 7, 8, 9 for the low energy effective field theory (LEFT), which parametrize various physics effects between the QCD scale and the electroweak scale. The independence of the operator basis regarding the equation of motion, integration by parts and flavor relations, is guaranteed by our algorithm, whose validity for the LEFT with massive fermions involved is proved by a generalization of the amplitude-operator correspondence. At dimension 8 and 9, we list the 35058 (756) and 704584 (3686) operators for three (one) generations of fermions categorized by their baryon and lepton number violations $(\Delta B, \Delta L)$, as these operators are of most phenomenological relevance.