(Reptilia,((Cotylorhynchus,Eothyris),((Archaeothyris,Ophiacodon),(Archaeovenator,(BP_slash_1_slash_5678,(Mycterosaurus,Mesenosaurus),(Elliotsmithia,(Aerosaurus,(Varanops,Varanodon))))))));