The 4-adjacent Gray code conjecture for descent sequences in co-RGC order
4-adjacent Gray code conjecture. The resulting list is a 444-adjacent Gray code.
MathDB