emptyniltrueemptyconsxyfalsetailnilniltailconsxyyheadconsxyxzero0truezerosxfalsep00ps00pssxspsxintlistxif_intlistemptyxxif_intlisttruexnilif_intlistfalsexconssheadxintlisttailxintxyif_intzeroxzeroyxyif_inttruebxyif1bxyif_intfalsebxyif2bxyif1truexycons0nilif1falsexycons0ints0yif2truexynilif2falsexyintlistintpxpypssxpsxintlistxemptyxintlistxif_intlistemptyxxif_intlistfalsextailxif_intlistfalsexintlisttailxif_intlistfalsexheadxintxyzeroyintxyzeroxintxyif_intzeroxzeroyxyif_inttruebxyif1bxyif_intfalsebxyif2bxyif1falsexyints0yif2falsexypyif2falsexypxif2falsexyintpxpyif2falsexyintlistintpxpytrueif2falsexyintpxpyintxyif_intzeroxzeroyxyif_inttruebxyif1bxyif1falsexyints0yif_intfalsebxyif2bxytrueif2falsexyintlistintpxpyfalseintlistxif_intlistemptyxxif_intlistfalsexintlisttailxtrueif_intlistfalsexheadxfalseif_intlistfalsextailxfalseintlistxemptyxfalseif2falsexypxfalseif2falsexypyfalsepssxpsxtrueintxyzeroxfalseintxyzeroyfalse