'0': $digits '0'
'01': $digits '01'
'00': $digits '00'
'000': $digits '000'
'1': $digits '1'
'10': $digits '10'