eqtrueeqeqeqfalseinfXconstake0Xniltakesconsconslengthnil0lengthconsseq0true0false0inf1cons0take200nil0s0length1OUTERMOST./TRS/outermost/TRCSR/Ex1_GL02a_L.trs