(Petrolacosaurus,(Grippia,(Cymbospondylus,(Shonisaurus,Himalayasaurus,Besanosaurus,Merriamia,Californosaurus,Pessosaurus,Shastasaurus))));