eqtrueeqeqeqfalseinfXconstake0Xniltakesconsconslengthnil0lengthconsseq0true0false0inf1cons0take200nil0s0length1INNERMOST./TRS/TRCSR/Ex1_GL02a_L.trs