incrnilnilincrconsXLconssXn__incractivateLadxnilniladxconsXLincrconsXn__adxactivateLnatsadxzeroszeroscons0n__zerosheadconsXLXtailconsXLactivateLincrXn__incrXadxXn__adxXzerosn__zerosactivaten__incrXincrXactivaten__adxXadxXactivaten__zeroszerosactivateXXincr1nil0cons2s1n__incr1activate1adx1n__adx1nats0zeros000n__zeros0head1tail1FULL./TRS/TRCSR/ExIntrod_GM01_Z.trs