(Pistosaurus,(Thalassiodracon,(Plesiosaurus,((Cryptoclidus,Kimmerosaurus),(SMNS16812,Seeleyosaurus,(Muraenosaurus,((Lusonectes,(Occitanosaurus,(Hydrorion,Microcleidus))),(Brancasaurus,Libonectes))))))));