replengths=: >:@i.@<.@-:@# rep=: $@] $ $ isRepStr=: +./@((] -: rep)"0 1~ replengths)