sub000subsx0sxsub0sx0subsxsysubxyzeronilzero20nilzeroconsxxszero2subxxconsxxszero20nilnilzero20consxxsconssubxxzeroxszero2synilzeronilzero2syconsxxszeroconsxxssubsxsysubxyzeronilzero20nilzeroconsxxssubxxzeroconsxxszero2subxxconsxxszero20consxxszeroxszero20consxxssubxxzero2synilzeronilzero2syconsxxszeroconsxxstruezero2synilzeronilfalsezero2syconsxxszeroconsxxszeroconsxxszero2subxxconsxxszero20consxxszeroxstrue1zero2201821zero1811cons241122zero2201120zero1110nil00s1110sub211020008zero2syconsxxszeroconsxxszeroconsxxszero2subxxconsxxszero20consxxssubxxfalsezeronilzero20nilfalsezeroconsxxssubxxfalsesubsxsysubxytrue1sub201622cons201021zero2201420zero1014nil01s1117sub221420002