SOMPO 光が丘. Bauhaus kolica. Central limit theorem for billiards with flat points proof. SIRA CTP Guidelines.