User blog:PsiCubed2/Simple question: Which is bigger?

Which number is bigger:

(1) L = Loader's number

(2) X = The largest possible output of a TM with 10100 states whose halting is provable by 2nd order Arithemetic?