sortnilnilsortconsxyinsertxsortyinsertxnilconsxnilinsertxconsvwchoosexconsvwxvchoosexconsvwy0consxconsvwchoosexconsvw0szconsvinsertxwchoosexconsvwsyszchoosexconsvwyzsortconsxyinsertxsortysortconsxysortyinsertxconsvwchoosexconsvwxvchoosexconsvw0szinsertxwchoosexconsvwsyszchoosexconsvwyztruesortconsxysortytrue121sort111cons2112sortconsxyinsertxsortyfalse1choosexconsvw0szinsertxwinsertxconsvwchoosexconsvwxvchoosexconsvwsyszchoosexconsvwyztrue1choose412cons2112000s10insert2112choosexconsvw0szinsertxwchoosexconsvwsyszchoosexconsvwyzchoosexconsvwsyszchoosexconsvwyztrue11choose414cons20s1111choosexconsvw0szinsertxwfalse