window.SIDEBAR_ITEMS = {"mod":["LTL"]};