HOTF_ButterflyColoring