KC-minimal algorithm forms discovered through multi-strategy compression
Run the compression pipeline to discover KC-minimal forms of sorting algorithms.