incrnilnilincrconsXLconssXn__incractivateLadxnilniladxconsXLincrconsXn__adxactivateLnatsadxzeroszeroscons0n__zerosheadconsXLXtailconsXLactivateLincrXn__incrXadxXn__adxXzerosn__zerosactivaten__incrXincrXactivaten__adxXadxXactivaten__zeroszerosactivateXXactivaten__adxactivaten__zeros11activaten__zeroszerosactivaten__adxzeros11zeroscons0n__zerosactivaten__adxcons0n__zerosactivaten__adxXadxXadxcons0n__zerosadxconsXLincrconsXn__adxactivateLincrcons0n__adxactivaten__zerosincrconsXLconssXn__incractivateLconss0n__incr