[38;2;144;202;249m2[39m [38;2;239;83;80m*[39m x [38;2;239;83;80m^[39m ([38;2;144;202;249m3[39m [38;2;239;83;80m+[39m y)         
  [38;2;66;165;245m├[39m[38;2;66;165;245m─[39m[38;2;255;238;88m 1 [39m[38;2;239;154;154m⇒[39m [38;2;239;83;80m*[39m              
  [38;2;66;165;245m├[39m[38;2;66;165;245m─[39m[38;2;255;238;88m 2 [39m[38;2;239;154;154m⇒[39m [38;2;144;202;249m2[39m              
  [38;2;66;165;245m└[39m[38;2;66;165;245m─[39m[38;2;255;238;88m 3 [39m[38;2;239;154;154m⇒[39m x [38;2;239;83;80m^[39m ([38;2;144;202;249m3[39m [38;2;239;83;80m+[39m y)    
         [38;2;66;165;245m├[39m[38;2;66;165;245m─[39m[38;2;255;238;88m 1 [39m[38;2;239;154;154m⇒[39m [38;2;239;83;80m^[39m       
         [38;2;66;165;245m├[39m[38;2;66;165;245m─[39m[38;2;255;238;88m 2 [39m[38;2;239;154;154m⇒[39m x       
         [38;2;66;165;245m└[39m[38;2;66;165;245m─[39m[38;2;255;238;88m 3 [39m[38;2;239;154;154m⇒[39m [38;2;144;202;249m3[39m [38;2;239;83;80m+[39m y   
                [38;2;66;165;245m├[39m[38;2;66;165;245m─[39m[38;2;255;238;88m 1 [39m[38;2;239;154;154m⇒[39m [38;2;239;83;80m+[39m
                [38;2;66;165;245m├[39m[38;2;66;165;245m─[39m[38;2;255;238;88m 2 [39m[38;2;239;154;154m⇒[39m [38;2;144;202;249m3[39m
                [38;2;66;165;245m└[39m[38;2;66;165;245m─[39m[38;2;255;238;88m 3 [39m[38;2;239;154;154m⇒[39m y
                        