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

#(implicit string concatenation):[chr] 
    ^ #(replicate):[chr] 
        `* #(product):int 
            . #(map):[int] 
                % #(split (remove empties)):[[chr]] 
                    @ #(= fstLine):[chr] 
                    "*" #(string):[chr] 
                , #(length):int <--arg( A:[chr] ) 
                    | #(filter):[chr] 
                        $ #(= A):[chr] 
                        \ #(char class):[chr] <--arg( B:chr ) 
                            $ #(= B):chr 
                            a #(isAlpha):null 
        "S" #(string):[chr] 
    0 #(integer):int