import program
from generate import squared_error
for N in range(2,31):
    a,b=program.E(N),squared_error(N)
    assert a.is_finite() and a.rad()<program.QQ(1)/10**110 and a.overlaps(b)
print('The displayed Sage program agrees for every N=2,...,30.')