iftrueXiffalseYfactXifzeroXadd0XXaddsXYsaddXYprod0X0prodsXYaddYprodXYzero0truezerosXfalsepsXXif1true0false0fact1zero1add200s1prod2p1FULL./TRS/TRCSR/ExIntrod_Zan97_L.trs