sub000subsx0sxsub0sx0subsxsysubxyzeronilzero20nilzeroconsxxszero2subxxconsxxszero20nilnilzero20consxxsconssubxxzeroxszero2synilzeronilzero2syconsxxszeroconsxxssub200s1zero1nil0zero22cons2FULL./AProVE_09_Inductive/zerolist.trs