Consider the following red-black tree, where the nodes with dual circles are black and the nodes with dashed outlines are red. Referencing slides 14-18 deck 7, insert a node valued 31 (as a red node) into the RBT. Show your work at each major step (i.e. show the resolution of each violation)