sortnilnilsortconsxyinsertxsortyinsertxnilconsxnilinsertxconsvwchoosexconsvwxvchoosexconsvwy0consxconsvwchoosexconsvw0szconsvinsertxwchoosexconsvwsyszchoosexconsvwyzsort1nil0cons2insert2choose400s1FULL./TRS/D33/32.trs