Add ITP/1_6_{A,B,C}