termsNconsrecipsqrNtermssNsqr00sqrsXsaddsqrXdblXdbl00dblsXssdblXadd0XXaddsXYsaddXYfirst0XnilfirstsXconsYZconsYfirstXZhalf00halfs00halfssXshalfXhalfdblXXterms1cons2recip1sqr1s100add2dbl1first2nil0half1FULL./TRS/nontermin/TRCSR/ExSec11_1_Luc02a.trs