def latex(self): return '\n\n'.join(number_strs(self, lambda scan: scan.latex()))
def simon(self): return '\n'.join(number_strs(self, lambda scan: scan.simon()))
def __str__(self): return '\n'.join(number_strs(self))