Script output excerpt

Lines of source_full_out.txt (output of grep -n, line numbers refer to the output file). The $60$ lines 35–94 (“polarization equals monomial polarization” and “diagonal recovery” for each of the three summands and ten components) all end in True and are omitted.