L1 is decidable

For all inputs having length > 2021. That is, of length 2022 or more it will take more than 2021 steps. However, of inputs of length 2021 or less, the challenge is how it should take 2022 steps or more to get it accepted. Following situations possible:

1. L1 has entries such that <M> takes more than 2021 steps. Assume, it to be deterministic. The input of length 2021 or less gets rejected. Hence, all the inputs of length greater than 2021 is accepted and present in L1.

2. By default TM 2021 epsilon transaction is defined on the TM. Hence, it will take more than 2021 steps on all inputs.

But this observation, the property of language is trivial. So, it's decidable as we can deterministically say for which input it will accept or reject.

A similar type of observation can be shown for L2 as well