a__zeroscons0zerosa__tailconsXXSmarkXSmarkzerosa__zerosmarktailXa__tailmarkXmarkconsX1X2consmarkX1X2mark00a__zeroszerosa__tailXtailXa__tailconsXXSmarkXSmarkzerosa__zerosmarktailXa__tailmarkXmarktailXmarkXmarkconsX1X2markX1truemarktailXa__tailmarkXa__tailconsXXSmarkXSmarktailXmarkXmarkconsX1X2markX1true11mark111tail1111a__tail111mark111cons21112zeros01a__zeros01a__tail1111000a__tailconsXXSmarkXSmarkconsX1X2markX1a__tailconsXXSmarkXSfalse1markconsX1X2markX1true1mark111cons2111markzerosa__zerosfalse