half00halfs00halfssxshalfxbits00bitssxsbitshalfsxhalf100s1bits1FULL./TRS/nontermin/AG01/#4.28.trs