(Adelogyrinus,((Asaphestera,(Ophiderpeton_brownriggi_et_kirktonense,(Lethiscus_stocki,((Oestocephalus_amphiuminum,Coloraderpeton_brilli),(Pseudophlegethontia_turnbullorum,(Phlegethontia_longissima,Phlegethontia_linearis)))))),(Brachydectes,Scincosaurus)));