import re
txt1 = "SUCCESS $<end> $<SYS.Counter0.Increment> $counter 0 incremented by 1 $SUCCESS $<end>"
txt2 = "$SUCCESS $<end> $<SYS.Counter0.State> $value of counter 0: 56 $SUCCESS $<end>"
finder_digit = re.search("[1-9][0-9]*", txt2)
finder_digit = finder_digit.group(0)
print(finder_digit)
与恶龙缠斗过久,自身亦成为恶龙;凝视深渊过久,深渊将回以凝视…