(Utatsusaurus,(Grippia,((Cymbospondylus,Mikadocephalus),((Mixosaurus_cornalianus,Mixosaurus_kuhnschnyderi),(Contectopalatus_atavus,(Phalarodon_major,Phalarodon_nordenskioeldii))))));