sortnilnilsortconsxyinsertxsortyinsertxnilconsxnilinsertxconsvwchoosexconsvwxvchoosexconsvwy0consxconsvwchoosexconsvw0szconsvinsertxwchoosexconsvwsyszchoosexconsvwyzsortconsxysortysortconsxyinsertxsortyinsertxconsvwchoosexconsvwxvchoosexconsvw0szinsertxwchoosexconsvwsyszchoosexconsvwyztruesortconsxysortytrue1sort18112cons201123sortconsxyinsertxsortyfalsechoosexconsvwsyszchoosexconsvwyzchoosexconsvw0szinsertxwinsertxconsvwchoosexconsvwxvtrue1choose46113203040insert2611320s1010000cons221121choosexconsvwsyszchoosexconsvwyzinsertxconsvwchoosexconsvwxvinsertxconsvwchoosexconsvwxvfalsechoosexconsvwsyszchoosexconsvwyztrue1choose40172837412s1511cons201024