incrnilnilincrconsXLconssXn__incractivateLadxnilniladxconsXLincrconsXn__adxactivateLnatsadxzeroszeroscons0n__zerosheadconsXLXtailconsXLactivateLincrXn__incrXadxXn__adxXzerosn__zerosactivaten__incrXincractivateXactivaten__adxXadxactivateXactivaten__zeroszerosactivateXXincrconsXn__adxn__zerosincrconsXLconssXn__incractivateLconssXn__incractivaten__adxn__zeros21activaten__adxXadxactivateXconssXn__incradxactivaten__zeros211activaten__zeroszerosconssXn__incradxzeros211zeroscons0n__zerosconssXn__incradxcons0n__zeros21adxconsXLincrconsXn__adxactivateLconssXn__incrincrcons0n__adxactivaten__zeros21121activateXXX0conssXn__incr