eqtrueeqeqeqfalseinfXconstake0Xniltakesconsconslengthnil0lengthconsseq0true0false0inf1cons0take200nil0s0length1FULL./TRS/TRCSR/Ex1_GL02a_L.trs