let valid_base = [(Prog,Superior 1)]