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

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