(Haptodus,(Dimetrodon,(((Syodon,Titanophoneus),(Titanosuchidae,Estemmenosuchus)),(Gorgonopsia,(Biarmosuchus,(Hipposaurus,(Lycaenodon,CGP_slash_1_slash_67,(Lemurosaurus,(Lobalopex,(Proburnetia,(Burnetia,(Bullacephalus,Pachydectes))))))))))));