1199 oem clutch mc

Hi and sry for the topic which is found quite a bit already with google but all the resulting threads end up side tracking without any actual answer. Could someone tell if the original master cylinders are Brembo PR16 for the brake and PR15 for the clutch? Trying to find a rebuild / seal kit for...