incrnilnilincrconsXLconssXn__incractivateLadxnilniladxconsXLincrconsXn__adxactivateLnatsadxzeroszeroscons0n__zerosheadconsXLXtailconsXLactivateLincrXn__incrXadxXn__adxXzerosn__zerosactivaten__incrXincractivateXactivaten__adxXadxactivateXactivaten__zeroszerosactivateXXactivaten__adxactivaten__zeros11activateXXactivaten__adxn__zerosactivaten__adxXadxactivateXadxactivaten__zeros1activaten__zeroszerosadxzeros1zeroscons0n__zerosadxcons0n__zerosadxconsXLincrconsXn__adxactivateLincrcons0n__adxactivaten__zerosincrconsXLconssXn__incractivateLconss0n__incr