# !!!! This file is generated automatically, do not edit manually! See end script set filename coq-inf-support.igs set ref_data { DATA : Faulties = 0 ( 0 ) Warnings = 0 ( 1 ) Summary = 0 ( 1 ) TPSTAT : Faulties = 0 ( 0 ) Warnings = 1 ( 3 ) Summary = 1 ( 3 ) CHECKSHAPE : Wires = 0 ( 0 ) Faces = 0 ( 0 ) Shells = 0 ( 0 ) Solids = 0 ( 0 ) NBSHAPES : Solid = 0 ( 0 ) Shell = 0 ( 0 ) Face = 380 ( 380 ) Summary = 4599 ( 4599 ) STATSHAPE : Solid = 0 ( 0 ) Shell = 0 ( 0 ) Face = 380 ( 380 ) FreeWire = 0 ( 0 ) FreeEdge = 0 ( 0 ) SharedEdge = 1904 ( 1904 ) TOLERANCE : MaxTol = 0.7395230815 ( 0.7395230851 ) AvgTol = 0.02340356526 ( 0.02340359477 ) LABELS : N0Labels = 380 ( 380 ) N1Labels = 0 ( 0 ) N2Labels = 0 ( 0 ) TotalLabels = 380 ( 380 ) NameLabels = 380 ( 380 ) ColorLabels = 0 ( 0 ) LayerLabels = 0 ( 0 ) PROPS : Centroid = 0 ( 0 ) Volume = 0 ( 0 ) Area = 0 ( 0 ) NCOLORS : NColors = 0 ( 0 ) COLORS : Colors = ( ) NLAYERS : NLayers = 0 ( 0 ) LAYERS : Layers = ( ) }