E1   vectors 137256; with a vanishing e_j, 0<j<s: 17784; two consecutive zeros: 0; support violations: 0
E1   Lemma 3.1 on {-3..3}^n, n <= 6: PASS
E2   r=4: span of 1 pairs and one triple (dim 2) in R^5 lies in e_r=0 [True]; the sum of the spanning vectors has 5 nonzero coordinates; e_(r-1) there = -2: PASS
E2   r=4: plane span{(1,-1,0,...,0),(0,0,1,...,1,-1/2)} in R^5 lies in e_r=0 [True]; v1+v2 has 5 nonzero coordinates: PASS
E2   r=6: span of 2 pairs and one triple (dim 3) in R^7 lies in e_r=0 [True]; the sum of the spanning vectors has 7 nonzero coordinates; e_(r-1) there = 5/2: PASS
E2   r=6: plane span{(1,-1,0,...,0),(0,0,1,...,1,-1/4)} in R^7 lies in e_r=0 [True]; v1+v2 has 7 nonzero coordinates: PASS
E2   r=8: span of 3 pairs and one triple (dim 4) in R^9 lies in e_r=0 [True]; the sum of the spanning vectors has 9 nonzero coordinates; e_(r-1) there = -3: PASS
E2   r=8: plane span{(1,-1,0,...,0),(0,0,1,...,1,-1/6)} in R^9 lies in e_r=0 [True]; v1+v2 has 9 nonzero coordinates: PASS
E2   r=10: span of 4 pairs and one triple (dim 5) in R^11 lies in e_r=0 [True]; the sum of the spanning vectors has 11 nonzero coordinates; e_(r-1) there = 7/2: PASS
E2   r=10: plane span{(1,-1,0,...,0),(0,0,1,...,1,-1/8)} in R^11 lies in e_r=0 [True]; v1+v2 has 11 nonzero coordinates: PASS
E2   r=12: span of 5 pairs and one triple (dim 6) in R^13 lies in e_r=0 [True]; the sum of the spanning vectors has 13 nonzero coordinates; e_(r-1) there = -4: PASS
E2   r=12: plane span{(1,-1,0,...,0),(0,0,1,...,1,-1/10)} in R^13 lies in e_r=0 [True]; v1+v2 has 13 nonzero coordinates: PASS
E3   n=3: no x_j divides e_(n-2)(x_2..x_n)  (so e_(n-1) is irreducible): PASS
E3   n=4: no x_j divides e_(n-2)(x_2..x_n)  (so e_(n-1) is irreducible): PASS
E3   n=5: no x_j divides e_(n-2)(x_2..x_n)  (so e_(n-1) is irreducible): PASS
E3   n=6: no x_j divides e_(n-2)(x_2..x_n)  (so e_(n-1) is irreducible): PASS
E3   n=7: no x_j divides e_(n-2)(x_2..x_n)  (so e_(n-1) is irreducible): PASS
ALL SECTION-3 CHECKS PASS
