#ifndef _IntTools_CArray1OfReal_HeaderFile #include #endif #ifndef _IntTools_Range_HeaderFile #include #endif #ifndef _TColStd_SequenceOfInteger_HeaderFile #include #endif #ifndef _IntTools_MarkedRangeSet_HeaderFile #include #endif