# code: http://golf.shinh.org/reveal.rb?Peano+arithmetic/tails_1700571009&nbb
# target Nibbles version: 1.00
# commenter version: 0.1.2.181

#(implicit string concatenation):[chr] 
    #(implicit foldl1):[chr] 
        `% #(step):[[chr]] 
            ~ #(auto = 2):auto 
            . #(map):[[chr]] 
                ; #(save):[[chr]] -->let( A:[[chr]] ) 
                    % #(split (remove empties)):[[chr]] 
                        @ #(= fstLine):[chr] 
                        ~ #(auto = words):auto 
                << #(init):[chr] <--arg( B:[chr] ) 
                    $ #(= B):[chr] 
        ? #(if/else):[[chr]] <--arg( D:[chr] C:[chr] ) 
            ? #(index):int 
                _ #(= A):[[chr]] 
                "+" #(string):[chr] 
            : #(append):[chr] <--arg( E:int ) 
                @ #(= D):[chr] 
                _ #(= C):[chr] 
            . #(map):[[chr]] 
                $ #(= D):[chr] 
                _ #(= C):[chr] <--arg( F:chr ) 
    @ #(= fstInt):int