https://adventofcode.com/2021/day/24

These programs were composed of 14 nearly-identical program chunks each of which varies in 3 parameters. Some of these chunks will always increase the z register and others have the potential to decrease z. Successfully validating an input will require all blocks with decrease potential to actually decrease. The pick implementation will only choose a parameter that would decrease in one of these cases.