(ABC1-B-p1_:0.0000000001,ABC1-B-p1_:0.0000000001,(ABC1-B-p1_:0.0000000001,(ABC1-B-p1_:0.0000000001,(ABC1-B-p1_:0.0000000001,ABC1-B-p1_:0.0000000001)100:0.0000000001)100:0.0000000001)100:0.0000000001);