Karn Repair

x
expand_less