def __add__(self, other):
        if not isinstance(other, SeqBase):
            raise TypeError('cannot add sequence and %s' % type(other))
        return SeqAdd(self, other)
-  EFM-strict validation 6.15.2/3: finding presumed totals in presentation and inspecting for 
dataset/ETHPy150Open sympy/sympy/sympy/series/sequences.py/SeqBase.__add__--crossover with--dataset/ETHPy150Open Arelle/Arelle/arelle/ValidateFiling.py/ValidateFiling.checkCalcsTreeWalk