Theoretical Logic LLR's Past Results