id = 165
number = 72
visible = False
facts = None

solution = '''\
digit165 --> ([0] ; [1] ; [2] ; [3] ; [4] ; [5] ; [6] ; [7] ; [8] ; [9]).

number --> digit165.
number --> digit165, number.
'''