sortnilnilsortconsxyinsertxsortyinsertxnilconsxnilinsertxconsvwchoosexconsvwxvchoosexconsvwy0consxconsvwchoosexconsvw0szconsvinsertxwchoosexconsvwsyszchoosexconsvwyzsortconsxysortysortconsxyinsertxsortyinsertxconsvwchoosexconsvwxvchoosexconsvw0szinsertxwchoosexconsvwsyszchoosexconsvwyztruesortconsxysortytruesort11sortconsxyinsertxsortyfalsechoosexconsvwsyszchoosexconsvwyzchoosexconsvw0szinsertxwinsertxconsvwchoosexconsvwxvtrueinsert22choose42choosexconsvwsyszchoosexconsvwyzinsertxconsvwchoosexconsvwxvinsertxconsvwchoosexconsvwxvfalsechoosexconsvwsyszchoosexconsvwyztruechoose44