incrnilnilincrconsXLconssXn__incractivateLadxnilniladxconsXLincrconsXn__adxactivateLnatsadxzeroszeroscons0n__zerosheadconsXLXtailconsXLactivateLincrXn__incrXadxXn__adxXzerosn__zerosactivaten__incrXincractivateXactivaten__adxXadxactivateXactivaten__zeroszerosactivateXXincrconsXLactivateLadxconsXLactivateLadxconsXLincrconsXn__adxactivateLnatszerosnatsadxzerostailconsXLactivateLactivaten__incrXactivateXactivaten__incrXincractivateXactivaten__adxXactivateXactivaten__adxXadxactivateXactivaten__zeroszerostruenatsadxzerosfalsenatszerosfalsetailconsXLactivateLfalseactivaten__incrXactivateXactivaten__incrXincractivateXincrconsXLactivateLactivaten__adxXactivateXactivaten__adxXadxactivateXadxconsXLactivateLadxconsXLincrconsXn__adxactivateLtrue1adx1412activate1210incr1210tail1418head1810n__zeros00000zeros00nats01n__adx1211adx1211n__incr1110activate1110s1110cons221120incr1110nil04activaten__incrXactivateXactivaten__incrXincractivateXincrconsXLactivateLactivaten__adxXadxactivateXadxconsXLincrconsXn__adxactivateLactivaten__zeroszerosfalse