active from X mark cons X from s X active after 0 XS mark XS active after s N cons X XS mark after N XS active from X from active X active cons X1 X2 cons active X1 X2 active s X s active X active after X1 X2 after active X1 X2 active after X1 X2 after X1 active X2 from mark X mark from X cons mark X1 X2 mark cons X1 X2 s mark X mark s X after mark X1 X2 mark after X1 X2 after X1 mark X2 mark after X1 X2 proper from X from proper X proper cons X1 X2 cons proper X1 proper X2 proper s X s proper X proper after X1 X2 after proper X1 proper X2 proper 0 ok 0 from ok X ok from X cons ok X1 ok X2 ok cons X1 X2 s ok X ok s X after ok X1 ok X2 ok after X1 X2 top mark X top proper X top ok X top active X active 1 from 1 mark 1 cons 2 s 1 after 2 0 0 proper 1 ok 1 top 1 INNERMOST ./TRS/TRCSR/inn/Ex4_7_56_Bor03_C.trs