fst0ZnilfstsconsYconsYfromXconsXadd0XXaddsYslennil0lenconsXs1len1110add211224from1414cons1410s00nil00fst211120000fst0ZnilfstsconsYconsYlennil0lenconsXs1len1110cons1111s00nil00fst211120000fst0ZnilfstsconsYconsYlennil01len1115cons1112s00nil00fst211120000fst0ZnilfstsconsYconsY1cons1112s01nil00fst211120000fst0Znil1nil00fst211121000