ref: e2ca4b93e4deb4d3c390caf5de467430925dffa3 dir: /tests/PartRed.ref/
K2 (K #1) K3 (K #1) (K2 #1) K4 (K #1) (K3 #1) (K2 #1) (B neg) C'B ((B (+ #99)) neg) Z (K #-11) R ((C +) #22)