(Varanopidae,(Ophiacodontidae,(Edaphosauridae,(Ianthodon,(Haptodus_garnettensis,(Pantelosaurus,(Cutleria,(Tetraceratops,(Secodontosaurus,(Cryptovenator,((Ctenospondylus,(Sphenacodon_ferocior,Ctenorhachis)),(Dimetrodon_milleri,(Dimetrodon_limbatus,(Dimetrodon_grandis,Bathygnathus_borealis)))))),(Dinocephalia,(Biarmosuchus,Raranimus,Hipposaurus))))))))));