I suspect an alternative form of proof may be made now that definitive analysis of the pattern can be made, having the exhaustive set available for analysis.