CeraCompactPro-LightSemCond
Jakob Runge, with help of Lisa Fischbach, Irene Vlachou, Ilya Ruderman and Yury Ostromentsky