incrnilnilincrconsXLconssXn__incractivateLadxnilniladxconsXLincrconsXn__adxactivateLnatsadxzeroszeroscons0n__zerosheadconsXLXtailconsXLactivateLincrXn__incrXadxXn__adxXzerosn__zerosactivaten__incrXincrXactivaten__adxXadxXactivaten__zeroszerosactivateXXincrconsXn__adxconsx5905n__zerosincrconsXLconssXn__incractivateLconssXn__incractivaten__adxconsx5905n__zeros21activaten__adxXadxXconssXn__incradxconsx5905n__zeros21adxconsXLincrconsXn__adxactivateLconssXn__incrincrconsx5905n__adxactivaten__zeros21121activaten__zeroszerosconssXn__incrincrconsx5905n__adxzeros21121zeroscons0n__zerosXx5905x59050conssXn__incr