intlistnilnilintsx0nilintxxconsxnilintlistconsxyconssxintlistyintsxsyintlistintxyint0sycons0ints0syintlistconsxnilconssxnil1cons211120int241422000s1110intlist1110nil00intlistnilnilintlistconsxyconssxintlistyintsxsyintlistintxyint0sycons0ints0syintlistconsxnilconssxnil1cons211120int241120000s1210intlist1210nil01intlistconsxyconssxintlistyintsxsyintlistintxyint0sycons0ints0syintlistconsxyintlistyintsxsyintxyintsxsyintlistintxyint0syints0sytrueint0syints0syintsxsyintxytrueint22int0syints0syint0syints0syfalseintsxsyintlistintxyfalseintlistconsxyintlistytrueintlist11