half 0 0 half s s x s half x log s 0 0 log s s x s log s half x half 1 0 0 s 1 log 1 FULL ./TRS/AG01/#3.7.trs