ISO-10303-21;
HEADER;
FILE_DESCRIPTION(('FreeCAD Model'),'2;1');
FILE_NAME('Open CASCADE Shape Model','2023-11-28T10:19:15',('Author'),(
    ''),'Open CASCADE STEP processor 7.6','FreeCAD','Unknown');
FILE_SCHEMA(('AUTOMOTIVE_DESIGN { 1 0 10303 214 1 1 1 1 }'));
ENDSEC;
DATA;
#1 = APPLICATION_PROTOCOL_DEFINITION('international standard',
  'automotive_design',2000,#2);
#2 = APPLICATION_CONTEXT(
  'core data for automotive mechanical design processes');
#3 = SHAPE_DEFINITION_REPRESENTATION(#4,#10);
#4 = PRODUCT_DEFINITION_SHAPE('','',#5);
#5 = PRODUCT_DEFINITION('design','',#6,#9);
#6 = PRODUCT_DEFINITION_FORMATION('','',#7);
#7 = PRODUCT('butterfly_laser_socket_right_asm__copy_',
  'butterfly_laser_socket_right_asm__copy_','',(#8));
#8 = PRODUCT_CONTEXT('',#2,'mechanical');
#9 = PRODUCT_DEFINITION_CONTEXT('part definition',#2,'design');
#10 = SHAPE_REPRESENTATION('',(#11,#15,#19,#23),#27);
#11 = AXIS2_PLACEMENT_3D('',#12,#13,#14);
#12 = CARTESIAN_POINT('',(0.,0.,0.));
#13 = DIRECTION('',(0.,0.,1.));
#14 = DIRECTION('',(1.,0.,-0.));
#15 = AXIS2_PLACEMENT_3D('',#16,#17,#18);
#16 = CARTESIAN_POINT('',(0.,0.,0.));
#17 = DIRECTION('',(0.,0.,1.));
#18 = DIRECTION('',(1.,0.,0.));
#19 = AXIS2_PLACEMENT_3D('',#20,#21,#22);
#20 = CARTESIAN_POINT('',(-0.649999761312,9.710000164337,
    -3.097565394919E-07));
#21 = DIRECTION('',(-7.029775707657E-16,-1.290212521838E-08,-1.));
#22 = DIRECTION('',(-1.,1.805503917586E-08,4.70029194496E-16));
#23 = AXIS2_PLACEMENT_3D('',#24,#25,#26);
#24 = CARTESIAN_POINT('',(-0.650007147656,9.600000030031,
    2.927845865878E-08));
#25 = DIRECTION('',(1.036626686988E-08,-8.943155179086E-16,-1.));
#26 = DIRECTION('',(-1.,-1.063256945421E-08,-1.036626686988E-08));
#27 = ( GEOMETRIC_REPRESENTATION_CONTEXT(3) 
GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT((#31)) GLOBAL_UNIT_ASSIGNED_CONTEXT(
(#28,#29,#30)) REPRESENTATION_CONTEXT('Context #1',
  '3D Context with UNIT and UNCERTAINTY') );
#28 = ( LENGTH_UNIT() NAMED_UNIT(*) SI_UNIT(.MILLI.,.METRE.) );
#29 = ( NAMED_UNIT(*) PLANE_ANGLE_UNIT() SI_UNIT($,.RADIAN.) );
#30 = ( NAMED_UNIT(*) SI_UNIT($,.STERADIAN.) SOLID_ANGLE_UNIT() );
#31 = UNCERTAINTY_MEASURE_WITH_UNIT(LENGTH_MEASURE(1.E-07),#28,
  'distance_accuracy_value','confusion accuracy');
#32 = PRODUCT_RELATED_PRODUCT_CATEGORY('part',$,(#7));
#33 = ADVANCED_BREP_SHAPE_REPRESENTATION('',(#11,#34),#1939);
#34 = MANIFOLD_SOLID_BREP('',#35);
#35 = CLOSED_SHELL('',(#36,#300,#342,#366,#406,#430,#454,#478,#502,#526,
    #550,#574,#598,#622,#646,#670,#694,#718,#742,#766,#790,#814,#838,
    #862,#886,#910,#934,#958,#998,#1022,#1057,#1081,#1204,#1221,#1348,
    #1365,#1382,#1399,#1421,#1438,#1460,#1477,#1500,#1517,#1539,#1556,
    #1578,#1595,#1612,#1629,#1654,#1679,#1704,#1729,#1754,#1779,#1804,
    #1816,#1828,#1840,#1852,#1864,#1876,#1885,#1894,#1903,#1912,#1921,
    #1930));
#36 = ADVANCED_FACE('',(#37),#295,.T.);
#37 = FACE_BOUND('',#38,.T.);
#38 = EDGE_LOOP('',(#39,#49,#57,#65,#73,#81,#89,#97,#105,#113,#121,#129,
    #137,#145,#153,#161,#169,#177,#185,#193,#201,#209,#217,#225,#233,
    #241,#249,#257,#265,#273,#281,#289));
#39 = ORIENTED_EDGE('',*,*,#40,.F.);
#40 = EDGE_CURVE('',#41,#43,#45,.T.);
#41 = VERTEX_POINT('',#42);
#42 = CARTESIAN_POINT('',(-6.3,-19.1,0.));
#43 = VERTEX_POINT('',#44);
#44 = CARTESIAN_POINT('',(-6.3,-8.02,0.));
#45 = LINE('',#46,#47);
#46 = CARTESIAN_POINT('',(-6.3,-19.1,0.));
#47 = VECTOR('',#48,1.);
#48 = DIRECTION('',(0.,1.,0.));
#49 = ORIENTED_EDGE('',*,*,#50,.T.);
#50 = EDGE_CURVE('',#41,#51,#53,.T.);
#51 = VERTEX_POINT('',#52);
#52 = CARTESIAN_POINT('',(-6.3,-19.1,8.));
#53 = LINE('',#54,#55);
#54 = CARTESIAN_POINT('',(-6.3,-19.1,0.));
#55 = VECTOR('',#56,1.);
#56 = DIRECTION('',(0.,0.,1.));
#57 = ORIENTED_EDGE('',*,*,#58,.T.);
#58 = EDGE_CURVE('',#51,#59,#61,.T.);
#59 = VERTEX_POINT('',#60);
#60 = CARTESIAN_POINT('',(-6.3,19.1,8.));
#61 = LINE('',#62,#63);
#62 = CARTESIAN_POINT('',(-6.3,-19.1,8.));
#63 = VECTOR('',#64,1.);
#64 = DIRECTION('',(0.,1.,0.));
#65 = ORIENTED_EDGE('',*,*,#66,.F.);
#66 = EDGE_CURVE('',#67,#59,#69,.T.);
#67 = VERTEX_POINT('',#68);
#68 = CARTESIAN_POINT('',(-6.3,19.1,0.));
#69 = LINE('',#70,#71);
#70 = CARTESIAN_POINT('',(-6.3,19.1,0.));
#71 = VECTOR('',#72,1.);
#72 = DIRECTION('',(0.,0.,1.));
#73 = ORIENTED_EDGE('',*,*,#74,.F.);
#74 = EDGE_CURVE('',#75,#67,#77,.T.);
#75 = VERTEX_POINT('',#76);
#76 = CARTESIAN_POINT('',(-6.3,8.02,0.));
#77 = LINE('',#78,#79);
#78 = CARTESIAN_POINT('',(-6.3,-19.1,0.));
#79 = VECTOR('',#80,1.);
#80 = DIRECTION('',(0.,1.,0.));
#81 = ORIENTED_EDGE('',*,*,#82,.T.);
#82 = EDGE_CURVE('',#75,#83,#85,.T.);
#83 = VERTEX_POINT('',#84);
#84 = CARTESIAN_POINT('',(-6.3,8.02,6.));
#85 = LINE('',#86,#87);
#86 = CARTESIAN_POINT('',(-6.3,8.02,0.));
#87 = VECTOR('',#88,1.);
#88 = DIRECTION('',(0.,0.,1.));
#89 = ORIENTED_EDGE('',*,*,#90,.T.);
#90 = EDGE_CURVE('',#83,#91,#93,.T.);
#91 = VERTEX_POINT('',#92);
#92 = CARTESIAN_POINT('',(-6.3,7.22,6.));
#93 = LINE('',#94,#95);
#94 = CARTESIAN_POINT('',(-6.3,8.02,6.));
#95 = VECTOR('',#96,1.);
#96 = DIRECTION('',(0.,-1.,0.));
#97 = ORIENTED_EDGE('',*,*,#98,.F.);
#98 = EDGE_CURVE('',#99,#91,#101,.T.);
#99 = VERTEX_POINT('',#100);
#100 = CARTESIAN_POINT('',(-6.3,7.22,0.));
#101 = LINE('',#102,#103);
#102 = CARTESIAN_POINT('',(-6.3,7.22,0.));
#103 = VECTOR('',#104,1.);
#104 = DIRECTION('',(0.,0.,1.));
#105 = ORIENTED_EDGE('',*,*,#106,.F.);
#106 = EDGE_CURVE('',#107,#99,#109,.T.);
#107 = VERTEX_POINT('',#108);
#108 = CARTESIAN_POINT('',(-6.3,5.48,0.));
#109 = LINE('',#110,#111);
#110 = CARTESIAN_POINT('',(-6.3,-19.1,0.));
#111 = VECTOR('',#112,1.);
#112 = DIRECTION('',(0.,1.,0.));
#113 = ORIENTED_EDGE('',*,*,#114,.T.);
#114 = EDGE_CURVE('',#107,#115,#117,.T.);
#115 = VERTEX_POINT('',#116);
#116 = CARTESIAN_POINT('',(-6.3,5.48,6.));
#117 = LINE('',#118,#119);
#118 = CARTESIAN_POINT('',(-6.3,5.48,0.));
#119 = VECTOR('',#120,1.);
#120 = DIRECTION('',(0.,0.,1.));
#121 = ORIENTED_EDGE('',*,*,#122,.T.);
#122 = EDGE_CURVE('',#115,#123,#125,.T.);
#123 = VERTEX_POINT('',#124);
#124 = CARTESIAN_POINT('',(-6.3,4.68,6.));
#125 = LINE('',#126,#127);
#126 = CARTESIAN_POINT('',(-6.3,5.48,6.));
#127 = VECTOR('',#128,1.);
#128 = DIRECTION('',(0.,-1.,0.));
#129 = ORIENTED_EDGE('',*,*,#130,.F.);
#130 = EDGE_CURVE('',#131,#123,#133,.T.);
#131 = VERTEX_POINT('',#132);
#132 = CARTESIAN_POINT('',(-6.3,4.68,0.));
#133 = LINE('',#134,#135);
#134 = CARTESIAN_POINT('',(-6.3,4.68,0.));
#135 = VECTOR('',#136,1.);
#136 = DIRECTION('',(0.,0.,1.));
#137 = ORIENTED_EDGE('',*,*,#138,.F.);
#138 = EDGE_CURVE('',#139,#131,#141,.T.);
#139 = VERTEX_POINT('',#140);
#140 = CARTESIAN_POINT('',(-6.3,2.94,0.));
#141 = LINE('',#142,#143);
#142 = CARTESIAN_POINT('',(-6.3,-19.1,0.));
#143 = VECTOR('',#144,1.);
#144 = DIRECTION('',(0.,1.,0.));
#145 = ORIENTED_EDGE('',*,*,#146,.T.);
#146 = EDGE_CURVE('',#139,#147,#149,.T.);
#147 = VERTEX_POINT('',#148);
#148 = CARTESIAN_POINT('',(-6.3,2.94,6.));
#149 = LINE('',#150,#151);
#150 = CARTESIAN_POINT('',(-6.3,2.94,0.));
#151 = VECTOR('',#152,1.);
#152 = DIRECTION('',(0.,0.,1.));
#153 = ORIENTED_EDGE('',*,*,#154,.F.);
#154 = EDGE_CURVE('',#155,#147,#157,.T.);
#155 = VERTEX_POINT('',#156);
#156 = CARTESIAN_POINT('',(-6.3,2.14,6.));
#157 = LINE('',#158,#159);
#158 = CARTESIAN_POINT('',(-6.3,2.14,6.));
#159 = VECTOR('',#160,1.);
#160 = DIRECTION('',(0.,1.,0.));
#161 = ORIENTED_EDGE('',*,*,#162,.F.);
#162 = EDGE_CURVE('',#163,#155,#165,.T.);
#163 = VERTEX_POINT('',#164);
#164 = CARTESIAN_POINT('',(-6.3,2.14,0.));
#165 = LINE('',#166,#167);
#166 = CARTESIAN_POINT('',(-6.3,2.14,0.));
#167 = VECTOR('',#168,1.);
#168 = DIRECTION('',(0.,0.,1.));
#169 = ORIENTED_EDGE('',*,*,#170,.F.);
#170 = EDGE_CURVE('',#171,#163,#173,.T.);
#171 = VERTEX_POINT('',#172);
#172 = CARTESIAN_POINT('',(-6.3,0.4,0.));
#173 = LINE('',#174,#175);
#174 = CARTESIAN_POINT('',(-6.3,-19.1,0.));
#175 = VECTOR('',#176,1.);
#176 = DIRECTION('',(0.,1.,0.));
#177 = ORIENTED_EDGE('',*,*,#178,.T.);
#178 = EDGE_CURVE('',#171,#179,#181,.T.);
#179 = VERTEX_POINT('',#180);
#180 = CARTESIAN_POINT('',(-6.3,0.4,6.));
#181 = LINE('',#182,#183);
#182 = CARTESIAN_POINT('',(-6.3,0.4,0.));
#183 = VECTOR('',#184,1.);
#184 = DIRECTION('',(0.,0.,1.));
#185 = ORIENTED_EDGE('',*,*,#186,.T.);
#186 = EDGE_CURVE('',#179,#187,#189,.T.);
#187 = VERTEX_POINT('',#188);
#188 = CARTESIAN_POINT('',(-6.3,-0.4,6.));
#189 = LINE('',#190,#191);
#190 = CARTESIAN_POINT('',(-6.3,0.4,6.));
#191 = VECTOR('',#192,1.);
#192 = DIRECTION('',(0.,-1.,0.));
#193 = ORIENTED_EDGE('',*,*,#194,.F.);
#194 = EDGE_CURVE('',#195,#187,#197,.T.);
#195 = VERTEX_POINT('',#196);
#196 = CARTESIAN_POINT('',(-6.3,-0.4,0.));
#197 = LINE('',#198,#199);
#198 = CARTESIAN_POINT('',(-6.3,-0.4,0.));
#199 = VECTOR('',#200,1.);
#200 = DIRECTION('',(0.,0.,1.));
#201 = ORIENTED_EDGE('',*,*,#202,.F.);
#202 = EDGE_CURVE('',#203,#195,#205,.T.);
#203 = VERTEX_POINT('',#204);
#204 = CARTESIAN_POINT('',(-6.3,-2.14,0.));
#205 = LINE('',#206,#207);
#206 = CARTESIAN_POINT('',(-6.3,-19.1,0.));
#207 = VECTOR('',#208,1.);
#208 = DIRECTION('',(0.,1.,0.));
#209 = ORIENTED_EDGE('',*,*,#210,.T.);
#210 = EDGE_CURVE('',#203,#211,#213,.T.);
#211 = VERTEX_POINT('',#212);
#212 = CARTESIAN_POINT('',(-6.3,-2.14,6.));
#213 = LINE('',#214,#215);
#214 = CARTESIAN_POINT('',(-6.3,-2.14,0.));
#215 = VECTOR('',#216,1.);
#216 = DIRECTION('',(0.,0.,1.));
#217 = ORIENTED_EDGE('',*,*,#218,.T.);
#218 = EDGE_CURVE('',#211,#219,#221,.T.);
#219 = VERTEX_POINT('',#220);
#220 = CARTESIAN_POINT('',(-6.3,-2.94,6.));
#221 = LINE('',#222,#223);
#222 = CARTESIAN_POINT('',(-6.3,-2.14,6.));
#223 = VECTOR('',#224,1.);
#224 = DIRECTION('',(0.,-1.,0.));
#225 = ORIENTED_EDGE('',*,*,#226,.F.);
#226 = EDGE_CURVE('',#227,#219,#229,.T.);
#227 = VERTEX_POINT('',#228);
#228 = CARTESIAN_POINT('',(-6.3,-2.94,0.));
#229 = LINE('',#230,#231);
#230 = CARTESIAN_POINT('',(-6.3,-2.94,0.));
#231 = VECTOR('',#232,1.);
#232 = DIRECTION('',(0.,0.,1.));
#233 = ORIENTED_EDGE('',*,*,#234,.F.);
#234 = EDGE_CURVE('',#235,#227,#237,.T.);
#235 = VERTEX_POINT('',#236);
#236 = CARTESIAN_POINT('',(-6.3,-4.68,0.));
#237 = LINE('',#238,#239);
#238 = CARTESIAN_POINT('',(-6.3,-19.1,0.));
#239 = VECTOR('',#240,1.);
#240 = DIRECTION('',(0.,1.,0.));
#241 = ORIENTED_EDGE('',*,*,#242,.T.);
#242 = EDGE_CURVE('',#235,#243,#245,.T.);
#243 = VERTEX_POINT('',#244);
#244 = CARTESIAN_POINT('',(-6.3,-4.68,6.));
#245 = LINE('',#246,#247);
#246 = CARTESIAN_POINT('',(-6.3,-4.68,0.));
#247 = VECTOR('',#248,1.);
#248 = DIRECTION('',(0.,0.,1.));
#249 = ORIENTED_EDGE('',*,*,#250,.T.);
#250 = EDGE_CURVE('',#243,#251,#253,.T.);
#251 = VERTEX_POINT('',#252);
#252 = CARTESIAN_POINT('',(-6.3,-5.48,6.));
#253 = LINE('',#254,#255);
#254 = CARTESIAN_POINT('',(-6.3,-4.68,6.));
#255 = VECTOR('',#256,1.);
#256 = DIRECTION('',(0.,-1.,0.));
#257 = ORIENTED_EDGE('',*,*,#258,.F.);
#258 = EDGE_CURVE('',#259,#251,#261,.T.);
#259 = VERTEX_POINT('',#260);
#260 = CARTESIAN_POINT('',(-6.3,-5.48,0.));
#261 = LINE('',#262,#263);
#262 = CARTESIAN_POINT('',(-6.3,-5.48,0.));
#263 = VECTOR('',#264,1.);
#264 = DIRECTION('',(0.,0.,1.));
#265 = ORIENTED_EDGE('',*,*,#266,.F.);
#266 = EDGE_CURVE('',#267,#259,#269,.T.);
#267 = VERTEX_POINT('',#268);
#268 = CARTESIAN_POINT('',(-6.3,-7.22,0.));
#269 = LINE('',#270,#271);
#270 = CARTESIAN_POINT('',(-6.3,-19.1,0.));
#271 = VECTOR('',#272,1.);
#272 = DIRECTION('',(0.,1.,0.));
#273 = ORIENTED_EDGE('',*,*,#274,.T.);
#274 = EDGE_CURVE('',#267,#275,#277,.T.);
#275 = VERTEX_POINT('',#276);
#276 = CARTESIAN_POINT('',(-6.3,-7.22,6.));
#277 = LINE('',#278,#279);
#278 = CARTESIAN_POINT('',(-6.3,-7.22,0.));
#279 = VECTOR('',#280,1.);
#280 = DIRECTION('',(0.,0.,1.));
#281 = ORIENTED_EDGE('',*,*,#282,.T.);
#282 = EDGE_CURVE('',#275,#283,#285,.T.);
#283 = VERTEX_POINT('',#284);
#284 = CARTESIAN_POINT('',(-6.3,-8.02,6.));
#285 = LINE('',#286,#287);
#286 = CARTESIAN_POINT('',(-6.3,-7.22,6.));
#287 = VECTOR('',#288,1.);
#288 = DIRECTION('',(0.,-1.,0.));
#289 = ORIENTED_EDGE('',*,*,#290,.F.);
#290 = EDGE_CURVE('',#43,#283,#291,.T.);
#291 = LINE('',#292,#293);
#292 = CARTESIAN_POINT('',(-6.3,-8.02,0.));
#293 = VECTOR('',#294,1.);
#294 = DIRECTION('',(0.,0.,1.));
#295 = PLANE('',#296);
#296 = AXIS2_PLACEMENT_3D('',#297,#298,#299);
#297 = CARTESIAN_POINT('',(-6.3,-19.1,0.));
#298 = DIRECTION('',(-1.,0.,0.));
#299 = DIRECTION('',(0.,1.,0.));
#300 = ADVANCED_FACE('',(#301,#326),#337,.F.);
#301 = FACE_BOUND('',#302,.F.);
#302 = EDGE_LOOP('',(#303,#304,#312,#320));
#303 = ORIENTED_EDGE('',*,*,#40,.F.);
#304 = ORIENTED_EDGE('',*,*,#305,.F.);
#305 = EDGE_CURVE('',#306,#41,#308,.T.);
#306 = VERTEX_POINT('',#307);
#307 = CARTESIAN_POINT('',(6.3,-19.1,0.));
#308 = LINE('',#309,#310);
#309 = CARTESIAN_POINT('',(6.3,-19.1,0.));
#310 = VECTOR('',#311,1.);
#311 = DIRECTION('',(-1.,0.,0.));
#312 = ORIENTED_EDGE('',*,*,#313,.F.);
#313 = EDGE_CURVE('',#314,#306,#316,.T.);
#314 = VERTEX_POINT('',#315);
#315 = CARTESIAN_POINT('',(6.3,-8.02,0.));
#316 = LINE('',#317,#318);
#317 = CARTESIAN_POINT('',(6.3,19.1,0.));
#318 = VECTOR('',#319,1.);
#319 = DIRECTION('',(0.,-1.,0.));
#320 = ORIENTED_EDGE('',*,*,#321,.F.);
#321 = EDGE_CURVE('',#43,#314,#322,.T.);
#322 = LINE('',#323,#324);
#323 = CARTESIAN_POINT('',(-6.3,-8.02,0.));
#324 = VECTOR('',#325,1.);
#325 = DIRECTION('',(1.,0.,0.));
#326 = FACE_BOUND('',#327,.F.);
#327 = EDGE_LOOP('',(#328));
#328 = ORIENTED_EDGE('',*,*,#329,.T.);
#329 = EDGE_CURVE('',#330,#330,#332,.T.);
#330 = VERTEX_POINT('',#331);
#331 = CARTESIAN_POINT('',(2.58,-12.95,0.));
#332 = CIRCLE('',#333,1.1);
#333 = AXIS2_PLACEMENT_3D('',#334,#335,#336);
#334 = CARTESIAN_POINT('',(1.48,-12.95,0.));
#335 = DIRECTION('',(0.,0.,-1.));
#336 = DIRECTION('',(1.,0.,0.));
#337 = PLANE('',#338);
#338 = AXIS2_PLACEMENT_3D('',#339,#340,#341);
#339 = CARTESIAN_POINT('',(0.,-5.6E-16,0.));
#340 = DIRECTION('',(0.,0.,1.));
#341 = DIRECTION('',(1.,0.,0.));
#342 = ADVANCED_FACE('',(#343),#361,.T.);
#343 = FACE_BOUND('',#344,.T.);
#344 = EDGE_LOOP('',(#345,#346,#354,#360));
#345 = ORIENTED_EDGE('',*,*,#290,.T.);
#346 = ORIENTED_EDGE('',*,*,#347,.T.);
#347 = EDGE_CURVE('',#283,#348,#350,.T.);
#348 = VERTEX_POINT('',#349);
#349 = CARTESIAN_POINT('',(6.3,-8.02,6.));
#350 = LINE('',#351,#352);
#351 = CARTESIAN_POINT('',(-6.3,-8.02,6.));
#352 = VECTOR('',#353,1.);
#353 = DIRECTION('',(1.,0.,0.));
#354 = ORIENTED_EDGE('',*,*,#355,.F.);
#355 = EDGE_CURVE('',#314,#348,#356,.T.);
#356 = LINE('',#357,#358);
#357 = CARTESIAN_POINT('',(6.3,-8.02,0.));
#358 = VECTOR('',#359,1.);
#359 = DIRECTION('',(0.,0.,1.));
#360 = ORIENTED_EDGE('',*,*,#321,.F.);
#361 = PLANE('',#362);
#362 = AXIS2_PLACEMENT_3D('',#363,#364,#365);
#363 = CARTESIAN_POINT('',(-6.3,-8.02,0.));
#364 = DIRECTION('',(0.,1.,0.));
#365 = DIRECTION('',(1.,0.,0.));
#366 = ADVANCED_FACE('',(#367),#401,.F.);
#367 = FACE_BOUND('',#368,.F.);
#368 = EDGE_LOOP('',(#369,#377,#378,#379,#387,#395));
#369 = ORIENTED_EDGE('',*,*,#370,.T.);
#370 = EDGE_CURVE('',#371,#275,#373,.T.);
#371 = VERTEX_POINT('',#372);
#372 = CARTESIAN_POINT('',(-0.1,-7.22,6.));
#373 = LINE('',#374,#375);
#374 = CARTESIAN_POINT('',(6.3,-7.22,6.));
#375 = VECTOR('',#376,1.);
#376 = DIRECTION('',(-1.,0.,0.));
#377 = ORIENTED_EDGE('',*,*,#282,.T.);
#378 = ORIENTED_EDGE('',*,*,#347,.T.);
#379 = ORIENTED_EDGE('',*,*,#380,.T.);
#380 = EDGE_CURVE('',#348,#381,#383,.T.);
#381 = VERTEX_POINT('',#382);
#382 = CARTESIAN_POINT('',(6.3,-8.01,6.));
#383 = LINE('',#384,#385);
#384 = CARTESIAN_POINT('',(6.3,-8.02,6.));
#385 = VECTOR('',#386,1.);
#386 = DIRECTION('',(0.,1.,0.));
#387 = ORIENTED_EDGE('',*,*,#388,.F.);
#388 = EDGE_CURVE('',#389,#381,#391,.T.);
#389 = VERTEX_POINT('',#390);
#390 = CARTESIAN_POINT('',(-0.1,-8.01,6.));
#391 = LINE('',#392,#393);
#392 = CARTESIAN_POINT('',(-0.1,-8.01,6.));
#393 = VECTOR('',#394,1.);
#394 = DIRECTION('',(1.,0.,0.));
#395 = ORIENTED_EDGE('',*,*,#396,.F.);
#396 = EDGE_CURVE('',#371,#389,#397,.T.);
#397 = LINE('',#398,#399);
#398 = CARTESIAN_POINT('',(-0.1,8.01,6.));
#399 = VECTOR('',#400,1.);
#400 = DIRECTION('',(0.,-1.,0.));
#401 = PLANE('',#402);
#402 = AXIS2_PLACEMENT_3D('',#403,#404,#405);
#403 = CARTESIAN_POINT('',(0.,0.,6.));
#404 = DIRECTION('',(0.,0.,1.));
#405 = DIRECTION('',(1.,0.,0.));
#406 = ADVANCED_FACE('',(#407),#425,.T.);
#407 = FACE_BOUND('',#408,.T.);
#408 = EDGE_LOOP('',(#409,#417,#423,#424));
#409 = ORIENTED_EDGE('',*,*,#410,.F.);
#410 = EDGE_CURVE('',#411,#267,#413,.T.);
#411 = VERTEX_POINT('',#412);
#412 = CARTESIAN_POINT('',(-0.1,-7.22,0.));
#413 = LINE('',#414,#415);
#414 = CARTESIAN_POINT('',(6.3,-7.22,0.));
#415 = VECTOR('',#416,1.);
#416 = DIRECTION('',(-1.,0.,0.));
#417 = ORIENTED_EDGE('',*,*,#418,.T.);
#418 = EDGE_CURVE('',#411,#371,#419,.T.);
#419 = LINE('',#420,#421);
#420 = CARTESIAN_POINT('',(-0.1,-7.22,0.));
#421 = VECTOR('',#422,1.);
#422 = DIRECTION('',(0.,0.,1.));
#423 = ORIENTED_EDGE('',*,*,#370,.T.);
#424 = ORIENTED_EDGE('',*,*,#274,.F.);
#425 = PLANE('',#426);
#426 = AXIS2_PLACEMENT_3D('',#427,#428,#429);
#427 = CARTESIAN_POINT('',(6.3,-7.22,0.));
#428 = DIRECTION('',(0.,-1.,0.));
#429 = DIRECTION('',(-1.,0.,0.));
#430 = ADVANCED_FACE('',(#431),#449,.F.);
#431 = FACE_BOUND('',#432,.F.);
#432 = EDGE_LOOP('',(#433,#434,#435,#443));
#433 = ORIENTED_EDGE('',*,*,#266,.F.);
#434 = ORIENTED_EDGE('',*,*,#410,.F.);
#435 = ORIENTED_EDGE('',*,*,#436,.F.);
#436 = EDGE_CURVE('',#437,#411,#439,.T.);
#437 = VERTEX_POINT('',#438);
#438 = CARTESIAN_POINT('',(-0.1,-5.48,0.));
#439 = LINE('',#440,#441);
#440 = CARTESIAN_POINT('',(-0.1,8.01,0.));
#441 = VECTOR('',#442,1.);
#442 = DIRECTION('',(0.,-1.,0.));
#443 = ORIENTED_EDGE('',*,*,#444,.F.);
#444 = EDGE_CURVE('',#259,#437,#445,.T.);
#445 = LINE('',#446,#447);
#446 = CARTESIAN_POINT('',(-6.3,-5.48,0.));
#447 = VECTOR('',#448,1.);
#448 = DIRECTION('',(1.,0.,0.));
#449 = PLANE('',#450);
#450 = AXIS2_PLACEMENT_3D('',#451,#452,#453);
#451 = CARTESIAN_POINT('',(0.,-5.6E-16,0.));
#452 = DIRECTION('',(0.,0.,1.));
#453 = DIRECTION('',(1.,0.,0.));
#454 = ADVANCED_FACE('',(#455),#473,.T.);
#455 = FACE_BOUND('',#456,.T.);
#456 = EDGE_LOOP('',(#457,#458,#459,#467));
#457 = ORIENTED_EDGE('',*,*,#444,.F.);
#458 = ORIENTED_EDGE('',*,*,#258,.T.);
#459 = ORIENTED_EDGE('',*,*,#460,.T.);
#460 = EDGE_CURVE('',#251,#461,#463,.T.);
#461 = VERTEX_POINT('',#462);
#462 = CARTESIAN_POINT('',(-0.1,-5.48,6.));
#463 = LINE('',#464,#465);
#464 = CARTESIAN_POINT('',(-6.3,-5.48,6.));
#465 = VECTOR('',#466,1.);
#466 = DIRECTION('',(1.,0.,0.));
#467 = ORIENTED_EDGE('',*,*,#468,.T.);
#468 = EDGE_CURVE('',#461,#437,#469,.T.);
#469 = LINE('',#470,#471);
#470 = CARTESIAN_POINT('',(-0.1,-5.48,0.));
#471 = VECTOR('',#472,1.);
#472 = DIRECTION('',(0.,0.,-1.));
#473 = PLANE('',#474);
#474 = AXIS2_PLACEMENT_3D('',#475,#476,#477);
#475 = CARTESIAN_POINT('',(-6.3,-5.48,0.));
#476 = DIRECTION('',(0.,1.,0.));
#477 = DIRECTION('',(1.,0.,0.));
#478 = ADVANCED_FACE('',(#479),#497,.F.);
#479 = FACE_BOUND('',#480,.F.);
#480 = EDGE_LOOP('',(#481,#489,#490,#491));
#481 = ORIENTED_EDGE('',*,*,#482,.T.);
#482 = EDGE_CURVE('',#483,#243,#485,.T.);
#483 = VERTEX_POINT('',#484);
#484 = CARTESIAN_POINT('',(-0.1,-4.68,6.));
#485 = LINE('',#486,#487);
#486 = CARTESIAN_POINT('',(6.3,-4.68,6.));
#487 = VECTOR('',#488,1.);
#488 = DIRECTION('',(-1.,0.,0.));
#489 = ORIENTED_EDGE('',*,*,#250,.T.);
#490 = ORIENTED_EDGE('',*,*,#460,.T.);
#491 = ORIENTED_EDGE('',*,*,#492,.F.);
#492 = EDGE_CURVE('',#483,#461,#493,.T.);
#493 = LINE('',#494,#495);
#494 = CARTESIAN_POINT('',(-0.1,8.01,6.));
#495 = VECTOR('',#496,1.);
#496 = DIRECTION('',(0.,-1.,0.));
#497 = PLANE('',#498);
#498 = AXIS2_PLACEMENT_3D('',#499,#500,#501);
#499 = CARTESIAN_POINT('',(0.,0.,6.));
#500 = DIRECTION('',(0.,0.,1.));
#501 = DIRECTION('',(1.,0.,0.));
#502 = ADVANCED_FACE('',(#503),#521,.T.);
#503 = FACE_BOUND('',#504,.T.);
#504 = EDGE_LOOP('',(#505,#513,#519,#520));
#505 = ORIENTED_EDGE('',*,*,#506,.F.);
#506 = EDGE_CURVE('',#507,#235,#509,.T.);
#507 = VERTEX_POINT('',#508);
#508 = CARTESIAN_POINT('',(-0.1,-4.68,0.));
#509 = LINE('',#510,#511);
#510 = CARTESIAN_POINT('',(6.3,-4.68,0.));
#511 = VECTOR('',#512,1.);
#512 = DIRECTION('',(-1.,0.,0.));
#513 = ORIENTED_EDGE('',*,*,#514,.T.);
#514 = EDGE_CURVE('',#507,#483,#515,.T.);
#515 = LINE('',#516,#517);
#516 = CARTESIAN_POINT('',(-0.1,-4.68,0.));
#517 = VECTOR('',#518,1.);
#518 = DIRECTION('',(0.,0.,1.));
#519 = ORIENTED_EDGE('',*,*,#482,.T.);
#520 = ORIENTED_EDGE('',*,*,#242,.F.);
#521 = PLANE('',#522);
#522 = AXIS2_PLACEMENT_3D('',#523,#524,#525);
#523 = CARTESIAN_POINT('',(6.3,-4.68,0.));
#524 = DIRECTION('',(0.,-1.,0.));
#525 = DIRECTION('',(-1.,0.,0.));
#526 = ADVANCED_FACE('',(#527),#545,.F.);
#527 = FACE_BOUND('',#528,.F.);
#528 = EDGE_LOOP('',(#529,#530,#531,#539));
#529 = ORIENTED_EDGE('',*,*,#234,.F.);
#530 = ORIENTED_EDGE('',*,*,#506,.F.);
#531 = ORIENTED_EDGE('',*,*,#532,.F.);
#532 = EDGE_CURVE('',#533,#507,#535,.T.);
#533 = VERTEX_POINT('',#534);
#534 = CARTESIAN_POINT('',(-0.1,-2.94,0.));
#535 = LINE('',#536,#537);
#536 = CARTESIAN_POINT('',(-0.1,8.01,0.));
#537 = VECTOR('',#538,1.);
#538 = DIRECTION('',(0.,-1.,0.));
#539 = ORIENTED_EDGE('',*,*,#540,.F.);
#540 = EDGE_CURVE('',#227,#533,#541,.T.);
#541 = LINE('',#542,#543);
#542 = CARTESIAN_POINT('',(-6.3,-2.94,0.));
#543 = VECTOR('',#544,1.);
#544 = DIRECTION('',(1.,0.,0.));
#545 = PLANE('',#546);
#546 = AXIS2_PLACEMENT_3D('',#547,#548,#549);
#547 = CARTESIAN_POINT('',(0.,-5.6E-16,0.));
#548 = DIRECTION('',(0.,0.,1.));
#549 = DIRECTION('',(1.,0.,0.));
#550 = ADVANCED_FACE('',(#551),#569,.T.);
#551 = FACE_BOUND('',#552,.T.);
#552 = EDGE_LOOP('',(#553,#554,#555,#563));
#553 = ORIENTED_EDGE('',*,*,#540,.F.);
#554 = ORIENTED_EDGE('',*,*,#226,.T.);
#555 = ORIENTED_EDGE('',*,*,#556,.T.);
#556 = EDGE_CURVE('',#219,#557,#559,.T.);
#557 = VERTEX_POINT('',#558);
#558 = CARTESIAN_POINT('',(-0.1,-2.94,6.));
#559 = LINE('',#560,#561);
#560 = CARTESIAN_POINT('',(-6.3,-2.94,6.));
#561 = VECTOR('',#562,1.);
#562 = DIRECTION('',(1.,0.,0.));
#563 = ORIENTED_EDGE('',*,*,#564,.T.);
#564 = EDGE_CURVE('',#557,#533,#565,.T.);
#565 = LINE('',#566,#567);
#566 = CARTESIAN_POINT('',(-0.1,-2.94,0.));
#567 = VECTOR('',#568,1.);
#568 = DIRECTION('',(0.,0.,-1.));
#569 = PLANE('',#570);
#570 = AXIS2_PLACEMENT_3D('',#571,#572,#573);
#571 = CARTESIAN_POINT('',(-6.3,-2.94,0.));
#572 = DIRECTION('',(0.,1.,0.));
#573 = DIRECTION('',(1.,0.,0.));
#574 = ADVANCED_FACE('',(#575),#593,.F.);
#575 = FACE_BOUND('',#576,.F.);
#576 = EDGE_LOOP('',(#577,#585,#586,#587));
#577 = ORIENTED_EDGE('',*,*,#578,.T.);
#578 = EDGE_CURVE('',#579,#211,#581,.T.);
#579 = VERTEX_POINT('',#580);
#580 = CARTESIAN_POINT('',(-0.1,-2.14,6.));
#581 = LINE('',#582,#583);
#582 = CARTESIAN_POINT('',(6.3,-2.14,6.));
#583 = VECTOR('',#584,1.);
#584 = DIRECTION('',(-1.,0.,0.));
#585 = ORIENTED_EDGE('',*,*,#218,.T.);
#586 = ORIENTED_EDGE('',*,*,#556,.T.);
#587 = ORIENTED_EDGE('',*,*,#588,.F.);
#588 = EDGE_CURVE('',#579,#557,#589,.T.);
#589 = LINE('',#590,#591);
#590 = CARTESIAN_POINT('',(-0.1,8.01,6.));
#591 = VECTOR('',#592,1.);
#592 = DIRECTION('',(0.,-1.,0.));
#593 = PLANE('',#594);
#594 = AXIS2_PLACEMENT_3D('',#595,#596,#597);
#595 = CARTESIAN_POINT('',(0.,0.,6.));
#596 = DIRECTION('',(0.,0.,1.));
#597 = DIRECTION('',(1.,0.,0.));
#598 = ADVANCED_FACE('',(#599),#617,.T.);
#599 = FACE_BOUND('',#600,.T.);
#600 = EDGE_LOOP('',(#601,#609,#615,#616));
#601 = ORIENTED_EDGE('',*,*,#602,.F.);
#602 = EDGE_CURVE('',#603,#203,#605,.T.);
#603 = VERTEX_POINT('',#604);
#604 = CARTESIAN_POINT('',(-0.1,-2.14,0.));
#605 = LINE('',#606,#607);
#606 = CARTESIAN_POINT('',(6.3,-2.14,0.));
#607 = VECTOR('',#608,1.);
#608 = DIRECTION('',(-1.,0.,0.));
#609 = ORIENTED_EDGE('',*,*,#610,.T.);
#610 = EDGE_CURVE('',#603,#579,#611,.T.);
#611 = LINE('',#612,#613);
#612 = CARTESIAN_POINT('',(-0.1,-2.14,0.));
#613 = VECTOR('',#614,1.);
#614 = DIRECTION('',(0.,0.,1.));
#615 = ORIENTED_EDGE('',*,*,#578,.T.);
#616 = ORIENTED_EDGE('',*,*,#210,.F.);
#617 = PLANE('',#618);
#618 = AXIS2_PLACEMENT_3D('',#619,#620,#621);
#619 = CARTESIAN_POINT('',(6.3,-2.14,0.));
#620 = DIRECTION('',(0.,-1.,0.));
#621 = DIRECTION('',(-1.,0.,0.));
#622 = ADVANCED_FACE('',(#623),#641,.F.);
#623 = FACE_BOUND('',#624,.F.);
#624 = EDGE_LOOP('',(#625,#626,#627,#635));
#625 = ORIENTED_EDGE('',*,*,#202,.F.);
#626 = ORIENTED_EDGE('',*,*,#602,.F.);
#627 = ORIENTED_EDGE('',*,*,#628,.F.);
#628 = EDGE_CURVE('',#629,#603,#631,.T.);
#629 = VERTEX_POINT('',#630);
#630 = CARTESIAN_POINT('',(-0.1,-0.4,0.));
#631 = LINE('',#632,#633);
#632 = CARTESIAN_POINT('',(-0.1,8.01,0.));
#633 = VECTOR('',#634,1.);
#634 = DIRECTION('',(0.,-1.,0.));
#635 = ORIENTED_EDGE('',*,*,#636,.F.);
#636 = EDGE_CURVE('',#195,#629,#637,.T.);
#637 = LINE('',#638,#639);
#638 = CARTESIAN_POINT('',(-6.3,-0.4,0.));
#639 = VECTOR('',#640,1.);
#640 = DIRECTION('',(1.,0.,0.));
#641 = PLANE('',#642);
#642 = AXIS2_PLACEMENT_3D('',#643,#644,#645);
#643 = CARTESIAN_POINT('',(0.,-5.6E-16,0.));
#644 = DIRECTION('',(0.,0.,1.));
#645 = DIRECTION('',(1.,0.,0.));
#646 = ADVANCED_FACE('',(#647),#665,.T.);
#647 = FACE_BOUND('',#648,.T.);
#648 = EDGE_LOOP('',(#649,#650,#651,#659));
#649 = ORIENTED_EDGE('',*,*,#636,.F.);
#650 = ORIENTED_EDGE('',*,*,#194,.T.);
#651 = ORIENTED_EDGE('',*,*,#652,.T.);
#652 = EDGE_CURVE('',#187,#653,#655,.T.);
#653 = VERTEX_POINT('',#654);
#654 = CARTESIAN_POINT('',(-0.1,-0.4,6.));
#655 = LINE('',#656,#657);
#656 = CARTESIAN_POINT('',(-6.3,-0.4,6.));
#657 = VECTOR('',#658,1.);
#658 = DIRECTION('',(1.,0.,0.));
#659 = ORIENTED_EDGE('',*,*,#660,.T.);
#660 = EDGE_CURVE('',#653,#629,#661,.T.);
#661 = LINE('',#662,#663);
#662 = CARTESIAN_POINT('',(-0.1,-0.4,0.));
#663 = VECTOR('',#664,1.);
#664 = DIRECTION('',(0.,0.,-1.));
#665 = PLANE('',#666);
#666 = AXIS2_PLACEMENT_3D('',#667,#668,#669);
#667 = CARTESIAN_POINT('',(-6.3,-0.4,0.));
#668 = DIRECTION('',(0.,1.,0.));
#669 = DIRECTION('',(1.,0.,0.));
#670 = ADVANCED_FACE('',(#671),#689,.F.);
#671 = FACE_BOUND('',#672,.F.);
#672 = EDGE_LOOP('',(#673,#681,#682,#683));
#673 = ORIENTED_EDGE('',*,*,#674,.T.);
#674 = EDGE_CURVE('',#675,#179,#677,.T.);
#675 = VERTEX_POINT('',#676);
#676 = CARTESIAN_POINT('',(-0.1,0.4,6.));
#677 = LINE('',#678,#679);
#678 = CARTESIAN_POINT('',(6.3,0.4,6.));
#679 = VECTOR('',#680,1.);
#680 = DIRECTION('',(-1.,0.,0.));
#681 = ORIENTED_EDGE('',*,*,#186,.T.);
#682 = ORIENTED_EDGE('',*,*,#652,.T.);
#683 = ORIENTED_EDGE('',*,*,#684,.F.);
#684 = EDGE_CURVE('',#675,#653,#685,.T.);
#685 = LINE('',#686,#687);
#686 = CARTESIAN_POINT('',(-0.1,8.01,6.));
#687 = VECTOR('',#688,1.);
#688 = DIRECTION('',(0.,-1.,0.));
#689 = PLANE('',#690);
#690 = AXIS2_PLACEMENT_3D('',#691,#692,#693);
#691 = CARTESIAN_POINT('',(0.,0.,6.));
#692 = DIRECTION('',(0.,0.,1.));
#693 = DIRECTION('',(1.,0.,0.));
#694 = ADVANCED_FACE('',(#695),#713,.T.);
#695 = FACE_BOUND('',#696,.T.);
#696 = EDGE_LOOP('',(#697,#705,#711,#712));
#697 = ORIENTED_EDGE('',*,*,#698,.F.);
#698 = EDGE_CURVE('',#699,#171,#701,.T.);
#699 = VERTEX_POINT('',#700);
#700 = CARTESIAN_POINT('',(-0.1,0.4,0.));
#701 = LINE('',#702,#703);
#702 = CARTESIAN_POINT('',(6.3,0.4,0.));
#703 = VECTOR('',#704,1.);
#704 = DIRECTION('',(-1.,0.,0.));
#705 = ORIENTED_EDGE('',*,*,#706,.T.);
#706 = EDGE_CURVE('',#699,#675,#707,.T.);
#707 = LINE('',#708,#709);
#708 = CARTESIAN_POINT('',(-0.1,0.4,0.));
#709 = VECTOR('',#710,1.);
#710 = DIRECTION('',(0.,0.,1.));
#711 = ORIENTED_EDGE('',*,*,#674,.T.);
#712 = ORIENTED_EDGE('',*,*,#178,.F.);
#713 = PLANE('',#714);
#714 = AXIS2_PLACEMENT_3D('',#715,#716,#717);
#715 = CARTESIAN_POINT('',(6.3,0.4,0.));
#716 = DIRECTION('',(0.,-1.,0.));
#717 = DIRECTION('',(-1.,0.,0.));
#718 = ADVANCED_FACE('',(#719),#737,.F.);
#719 = FACE_BOUND('',#720,.F.);
#720 = EDGE_LOOP('',(#721,#722,#723,#731));
#721 = ORIENTED_EDGE('',*,*,#170,.F.);
#722 = ORIENTED_EDGE('',*,*,#698,.F.);
#723 = ORIENTED_EDGE('',*,*,#724,.F.);
#724 = EDGE_CURVE('',#725,#699,#727,.T.);
#725 = VERTEX_POINT('',#726);
#726 = CARTESIAN_POINT('',(-0.1,2.14,0.));
#727 = LINE('',#728,#729);
#728 = CARTESIAN_POINT('',(-0.1,8.01,0.));
#729 = VECTOR('',#730,1.);
#730 = DIRECTION('',(0.,-1.,0.));
#731 = ORIENTED_EDGE('',*,*,#732,.T.);
#732 = EDGE_CURVE('',#725,#163,#733,.T.);
#733 = LINE('',#734,#735);
#734 = CARTESIAN_POINT('',(6.3,2.14,0.));
#735 = VECTOR('',#736,1.);
#736 = DIRECTION('',(-1.,0.,0.));
#737 = PLANE('',#738);
#738 = AXIS2_PLACEMENT_3D('',#739,#740,#741);
#739 = CARTESIAN_POINT('',(0.,-5.6E-16,0.));
#740 = DIRECTION('',(0.,0.,1.));
#741 = DIRECTION('',(1.,0.,0.));
#742 = ADVANCED_FACE('',(#743),#761,.F.);
#743 = FACE_BOUND('',#744,.F.);
#744 = EDGE_LOOP('',(#745,#746,#754,#760));
#745 = ORIENTED_EDGE('',*,*,#732,.F.);
#746 = ORIENTED_EDGE('',*,*,#747,.T.);
#747 = EDGE_CURVE('',#725,#748,#750,.T.);
#748 = VERTEX_POINT('',#749);
#749 = CARTESIAN_POINT('',(-0.1,2.14,6.));
#750 = LINE('',#751,#752);
#751 = CARTESIAN_POINT('',(-0.1,2.14,0.));
#752 = VECTOR('',#753,1.);
#753 = DIRECTION('',(0.,0.,1.));
#754 = ORIENTED_EDGE('',*,*,#755,.T.);
#755 = EDGE_CURVE('',#748,#155,#756,.T.);
#756 = LINE('',#757,#758);
#757 = CARTESIAN_POINT('',(6.3,2.14,6.));
#758 = VECTOR('',#759,1.);
#759 = DIRECTION('',(-1.,0.,0.));
#760 = ORIENTED_EDGE('',*,*,#162,.F.);
#761 = PLANE('',#762);
#762 = AXIS2_PLACEMENT_3D('',#763,#764,#765);
#763 = CARTESIAN_POINT('',(6.3,2.14,0.));
#764 = DIRECTION('',(0.,-1.,0.));
#765 = DIRECTION('',(-1.,0.,0.));
#766 = ADVANCED_FACE('',(#767),#785,.F.);
#767 = FACE_BOUND('',#768,.F.);
#768 = EDGE_LOOP('',(#769,#770,#771,#779));
#769 = ORIENTED_EDGE('',*,*,#154,.F.);
#770 = ORIENTED_EDGE('',*,*,#755,.F.);
#771 = ORIENTED_EDGE('',*,*,#772,.F.);
#772 = EDGE_CURVE('',#773,#748,#775,.T.);
#773 = VERTEX_POINT('',#774);
#774 = CARTESIAN_POINT('',(-0.1,2.94,6.));
#775 = LINE('',#776,#777);
#776 = CARTESIAN_POINT('',(-0.1,8.01,6.));
#777 = VECTOR('',#778,1.);
#778 = DIRECTION('',(0.,-1.,0.));
#779 = ORIENTED_EDGE('',*,*,#780,.F.);
#780 = EDGE_CURVE('',#147,#773,#781,.T.);
#781 = LINE('',#782,#783);
#782 = CARTESIAN_POINT('',(-6.3,2.94,6.));
#783 = VECTOR('',#784,1.);
#784 = DIRECTION('',(1.,0.,0.));
#785 = PLANE('',#786);
#786 = AXIS2_PLACEMENT_3D('',#787,#788,#789);
#787 = CARTESIAN_POINT('',(0.,0.,6.));
#788 = DIRECTION('',(0.,0.,1.));
#789 = DIRECTION('',(1.,0.,0.));
#790 = ADVANCED_FACE('',(#791),#809,.F.);
#791 = FACE_BOUND('',#792,.F.);
#792 = EDGE_LOOP('',(#793,#801,#802,#803));
#793 = ORIENTED_EDGE('',*,*,#794,.F.);
#794 = EDGE_CURVE('',#139,#795,#797,.T.);
#795 = VERTEX_POINT('',#796);
#796 = CARTESIAN_POINT('',(-0.1,2.94,0.));
#797 = LINE('',#798,#799);
#798 = CARTESIAN_POINT('',(-6.3,2.94,0.));
#799 = VECTOR('',#800,1.);
#800 = DIRECTION('',(1.,0.,0.));
#801 = ORIENTED_EDGE('',*,*,#146,.T.);
#802 = ORIENTED_EDGE('',*,*,#780,.T.);
#803 = ORIENTED_EDGE('',*,*,#804,.T.);
#804 = EDGE_CURVE('',#773,#795,#805,.T.);
#805 = LINE('',#806,#807);
#806 = CARTESIAN_POINT('',(-0.1,2.94,0.));
#807 = VECTOR('',#808,1.);
#808 = DIRECTION('',(0.,0.,-1.));
#809 = PLANE('',#810);
#810 = AXIS2_PLACEMENT_3D('',#811,#812,#813);
#811 = CARTESIAN_POINT('',(-6.3,2.94,0.));
#812 = DIRECTION('',(0.,1.,0.));
#813 = DIRECTION('',(1.,0.,0.));
#814 = ADVANCED_FACE('',(#815),#833,.F.);
#815 = FACE_BOUND('',#816,.F.);
#816 = EDGE_LOOP('',(#817,#818,#819,#827));
#817 = ORIENTED_EDGE('',*,*,#138,.F.);
#818 = ORIENTED_EDGE('',*,*,#794,.T.);
#819 = ORIENTED_EDGE('',*,*,#820,.F.);
#820 = EDGE_CURVE('',#821,#795,#823,.T.);
#821 = VERTEX_POINT('',#822);
#822 = CARTESIAN_POINT('',(-0.1,4.68,0.));
#823 = LINE('',#824,#825);
#824 = CARTESIAN_POINT('',(-0.1,8.01,0.));
#825 = VECTOR('',#826,1.);
#826 = DIRECTION('',(0.,-1.,0.));
#827 = ORIENTED_EDGE('',*,*,#828,.F.);
#828 = EDGE_CURVE('',#131,#821,#829,.T.);
#829 = LINE('',#830,#831);
#830 = CARTESIAN_POINT('',(-6.3,4.68,0.));
#831 = VECTOR('',#832,1.);
#832 = DIRECTION('',(1.,0.,0.));
#833 = PLANE('',#834);
#834 = AXIS2_PLACEMENT_3D('',#835,#836,#837);
#835 = CARTESIAN_POINT('',(0.,-5.6E-16,0.));
#836 = DIRECTION('',(0.,0.,1.));
#837 = DIRECTION('',(1.,0.,0.));
#838 = ADVANCED_FACE('',(#839),#857,.T.);
#839 = FACE_BOUND('',#840,.T.);
#840 = EDGE_LOOP('',(#841,#842,#843,#851));
#841 = ORIENTED_EDGE('',*,*,#828,.F.);
#842 = ORIENTED_EDGE('',*,*,#130,.T.);
#843 = ORIENTED_EDGE('',*,*,#844,.T.);
#844 = EDGE_CURVE('',#123,#845,#847,.T.);
#845 = VERTEX_POINT('',#846);
#846 = CARTESIAN_POINT('',(-0.1,4.68,6.));
#847 = LINE('',#848,#849);
#848 = CARTESIAN_POINT('',(-6.3,4.68,6.));
#849 = VECTOR('',#850,1.);
#850 = DIRECTION('',(1.,0.,0.));
#851 = ORIENTED_EDGE('',*,*,#852,.T.);
#852 = EDGE_CURVE('',#845,#821,#853,.T.);
#853 = LINE('',#854,#855);
#854 = CARTESIAN_POINT('',(-0.1,4.68,0.));
#855 = VECTOR('',#856,1.);
#856 = DIRECTION('',(0.,0.,-1.));
#857 = PLANE('',#858);
#858 = AXIS2_PLACEMENT_3D('',#859,#860,#861);
#859 = CARTESIAN_POINT('',(-6.3,4.68,0.));
#860 = DIRECTION('',(0.,1.,0.));
#861 = DIRECTION('',(1.,0.,0.));
#862 = ADVANCED_FACE('',(#863),#881,.F.);
#863 = FACE_BOUND('',#864,.F.);
#864 = EDGE_LOOP('',(#865,#873,#874,#875));
#865 = ORIENTED_EDGE('',*,*,#866,.T.);
#866 = EDGE_CURVE('',#867,#115,#869,.T.);
#867 = VERTEX_POINT('',#868);
#868 = CARTESIAN_POINT('',(-0.1,5.48,6.));
#869 = LINE('',#870,#871);
#870 = CARTESIAN_POINT('',(6.3,5.48,6.));
#871 = VECTOR('',#872,1.);
#872 = DIRECTION('',(-1.,0.,0.));
#873 = ORIENTED_EDGE('',*,*,#122,.T.);
#874 = ORIENTED_EDGE('',*,*,#844,.T.);
#875 = ORIENTED_EDGE('',*,*,#876,.F.);
#876 = EDGE_CURVE('',#867,#845,#877,.T.);
#877 = LINE('',#878,#879);
#878 = CARTESIAN_POINT('',(-0.1,8.01,6.));
#879 = VECTOR('',#880,1.);
#880 = DIRECTION('',(0.,-1.,0.));
#881 = PLANE('',#882);
#882 = AXIS2_PLACEMENT_3D('',#883,#884,#885);
#883 = CARTESIAN_POINT('',(0.,0.,6.));
#884 = DIRECTION('',(0.,0.,1.));
#885 = DIRECTION('',(1.,0.,0.));
#886 = ADVANCED_FACE('',(#887),#905,.T.);
#887 = FACE_BOUND('',#888,.T.);
#888 = EDGE_LOOP('',(#889,#897,#903,#904));
#889 = ORIENTED_EDGE('',*,*,#890,.F.);
#890 = EDGE_CURVE('',#891,#107,#893,.T.);
#891 = VERTEX_POINT('',#892);
#892 = CARTESIAN_POINT('',(-0.1,5.48,0.));
#893 = LINE('',#894,#895);
#894 = CARTESIAN_POINT('',(6.3,5.48,0.));
#895 = VECTOR('',#896,1.);
#896 = DIRECTION('',(-1.,0.,0.));
#897 = ORIENTED_EDGE('',*,*,#898,.T.);
#898 = EDGE_CURVE('',#891,#867,#899,.T.);
#899 = LINE('',#900,#901);
#900 = CARTESIAN_POINT('',(-0.1,5.48,0.));
#901 = VECTOR('',#902,1.);
#902 = DIRECTION('',(0.,0.,1.));
#903 = ORIENTED_EDGE('',*,*,#866,.T.);
#904 = ORIENTED_EDGE('',*,*,#114,.F.);
#905 = PLANE('',#906);
#906 = AXIS2_PLACEMENT_3D('',#907,#908,#909);
#907 = CARTESIAN_POINT('',(6.3,5.48,0.));
#908 = DIRECTION('',(0.,-1.,0.));
#909 = DIRECTION('',(-1.,0.,0.));
#910 = ADVANCED_FACE('',(#911),#929,.F.);
#911 = FACE_BOUND('',#912,.F.);
#912 = EDGE_LOOP('',(#913,#914,#915,#923));
#913 = ORIENTED_EDGE('',*,*,#106,.F.);
#914 = ORIENTED_EDGE('',*,*,#890,.F.);
#915 = ORIENTED_EDGE('',*,*,#916,.F.);
#916 = EDGE_CURVE('',#917,#891,#919,.T.);
#917 = VERTEX_POINT('',#918);
#918 = CARTESIAN_POINT('',(-0.1,7.22,0.));
#919 = LINE('',#920,#921);
#920 = CARTESIAN_POINT('',(-0.1,8.01,0.));
#921 = VECTOR('',#922,1.);
#922 = DIRECTION('',(0.,-1.,0.));
#923 = ORIENTED_EDGE('',*,*,#924,.F.);
#924 = EDGE_CURVE('',#99,#917,#925,.T.);
#925 = LINE('',#926,#927);
#926 = CARTESIAN_POINT('',(-6.3,7.22,0.));
#927 = VECTOR('',#928,1.);
#928 = DIRECTION('',(1.,0.,0.));
#929 = PLANE('',#930);
#930 = AXIS2_PLACEMENT_3D('',#931,#932,#933);
#931 = CARTESIAN_POINT('',(0.,-5.6E-16,0.));
#932 = DIRECTION('',(0.,0.,1.));
#933 = DIRECTION('',(1.,0.,0.));
#934 = ADVANCED_FACE('',(#935),#953,.T.);
#935 = FACE_BOUND('',#936,.T.);
#936 = EDGE_LOOP('',(#937,#938,#939,#947));
#937 = ORIENTED_EDGE('',*,*,#924,.F.);
#938 = ORIENTED_EDGE('',*,*,#98,.T.);
#939 = ORIENTED_EDGE('',*,*,#940,.T.);
#940 = EDGE_CURVE('',#91,#941,#943,.T.);
#941 = VERTEX_POINT('',#942);
#942 = CARTESIAN_POINT('',(-0.1,7.22,6.));
#943 = LINE('',#944,#945);
#944 = CARTESIAN_POINT('',(-6.3,7.22,6.));
#945 = VECTOR('',#946,1.);
#946 = DIRECTION('',(1.,0.,0.));
#947 = ORIENTED_EDGE('',*,*,#948,.T.);
#948 = EDGE_CURVE('',#941,#917,#949,.T.);
#949 = LINE('',#950,#951);
#950 = CARTESIAN_POINT('',(-0.1,7.22,0.));
#951 = VECTOR('',#952,1.);
#952 = DIRECTION('',(0.,0.,-1.));
#953 = PLANE('',#954);
#954 = AXIS2_PLACEMENT_3D('',#955,#956,#957);
#955 = CARTESIAN_POINT('',(-6.3,7.22,0.));
#956 = DIRECTION('',(0.,1.,0.));
#957 = DIRECTION('',(1.,0.,0.));
#958 = ADVANCED_FACE('',(#959),#993,.F.);
#959 = FACE_BOUND('',#960,.F.);
#960 = EDGE_LOOP('',(#961,#969,#970,#971,#979,#987));
#961 = ORIENTED_EDGE('',*,*,#962,.T.);
#962 = EDGE_CURVE('',#963,#83,#965,.T.);
#963 = VERTEX_POINT('',#964);
#964 = CARTESIAN_POINT('',(6.3,8.02,6.));
#965 = LINE('',#966,#967);
#966 = CARTESIAN_POINT('',(6.3,8.02,6.));
#967 = VECTOR('',#968,1.);
#968 = DIRECTION('',(-1.,0.,0.));
#969 = ORIENTED_EDGE('',*,*,#90,.T.);
#970 = ORIENTED_EDGE('',*,*,#940,.T.);
#971 = ORIENTED_EDGE('',*,*,#972,.F.);
#972 = EDGE_CURVE('',#973,#941,#975,.T.);
#973 = VERTEX_POINT('',#974);
#974 = CARTESIAN_POINT('',(-0.1,8.01,6.));
#975 = LINE('',#976,#977);
#976 = CARTESIAN_POINT('',(-0.1,8.01,6.));
#977 = VECTOR('',#978,1.);
#978 = DIRECTION('',(0.,-1.,0.));
#979 = ORIENTED_EDGE('',*,*,#980,.F.);
#980 = EDGE_CURVE('',#981,#973,#983,.T.);
#981 = VERTEX_POINT('',#982);
#982 = CARTESIAN_POINT('',(6.3,8.01,6.));
#983 = LINE('',#984,#985);
#984 = CARTESIAN_POINT('',(6.3,8.01,6.));
#985 = VECTOR('',#986,1.);
#986 = DIRECTION('',(-1.,0.,0.));
#987 = ORIENTED_EDGE('',*,*,#988,.T.);
#988 = EDGE_CURVE('',#981,#963,#989,.T.);
#989 = LINE('',#990,#991);
#990 = CARTESIAN_POINT('',(6.3,7.22,6.));
#991 = VECTOR('',#992,1.);
#992 = DIRECTION('',(0.,1.,0.));
#993 = PLANE('',#994);
#994 = AXIS2_PLACEMENT_3D('',#995,#996,#997);
#995 = CARTESIAN_POINT('',(0.,0.,6.));
#996 = DIRECTION('',(0.,0.,1.));
#997 = DIRECTION('',(1.,0.,0.));
#998 = ADVANCED_FACE('',(#999),#1017,.T.);
#999 = FACE_BOUND('',#1000,.T.);
#1000 = EDGE_LOOP('',(#1001,#1009,#1010,#1011));
#1001 = ORIENTED_EDGE('',*,*,#1002,.T.);
#1002 = EDGE_CURVE('',#1003,#963,#1005,.T.);
#1003 = VERTEX_POINT('',#1004);
#1004 = CARTESIAN_POINT('',(6.3,8.02,0.));
#1005 = LINE('',#1006,#1007);
#1006 = CARTESIAN_POINT('',(6.3,8.02,0.));
#1007 = VECTOR('',#1008,1.);
#1008 = DIRECTION('',(0.,0.,1.));
#1009 = ORIENTED_EDGE('',*,*,#962,.T.);
#1010 = ORIENTED_EDGE('',*,*,#82,.F.);
#1011 = ORIENTED_EDGE('',*,*,#1012,.F.);
#1012 = EDGE_CURVE('',#1003,#75,#1013,.T.);
#1013 = LINE('',#1014,#1015);
#1014 = CARTESIAN_POINT('',(6.3,8.02,0.));
#1015 = VECTOR('',#1016,1.);
#1016 = DIRECTION('',(-1.,0.,0.));
#1017 = PLANE('',#1018);
#1018 = AXIS2_PLACEMENT_3D('',#1019,#1020,#1021);
#1019 = CARTESIAN_POINT('',(6.3,8.02,0.));
#1020 = DIRECTION('',(0.,-1.,0.));
#1021 = DIRECTION('',(-1.,0.,0.));
#1022 = ADVANCED_FACE('',(#1023,#1041),#1052,.F.);
#1023 = FACE_BOUND('',#1024,.F.);
#1024 = EDGE_LOOP('',(#1025,#1026,#1027,#1035));
#1025 = ORIENTED_EDGE('',*,*,#74,.F.);
#1026 = ORIENTED_EDGE('',*,*,#1012,.F.);
#1027 = ORIENTED_EDGE('',*,*,#1028,.F.);
#1028 = EDGE_CURVE('',#1029,#1003,#1031,.T.);
#1029 = VERTEX_POINT('',#1030);
#1030 = CARTESIAN_POINT('',(6.3,19.1,0.));
#1031 = LINE('',#1032,#1033);
#1032 = CARTESIAN_POINT('',(6.3,19.1,0.));
#1033 = VECTOR('',#1034,1.);
#1034 = DIRECTION('',(0.,-1.,0.));
#1035 = ORIENTED_EDGE('',*,*,#1036,.F.);
#1036 = EDGE_CURVE('',#67,#1029,#1037,.T.);
#1037 = LINE('',#1038,#1039);
#1038 = CARTESIAN_POINT('',(-6.3,19.1,0.));
#1039 = VECTOR('',#1040,1.);
#1040 = DIRECTION('',(1.,0.,0.));
#1041 = FACE_BOUND('',#1042,.F.);
#1042 = EDGE_LOOP('',(#1043));
#1043 = ORIENTED_EDGE('',*,*,#1044,.T.);
#1044 = EDGE_CURVE('',#1045,#1045,#1047,.T.);
#1045 = VERTEX_POINT('',#1046);
#1046 = CARTESIAN_POINT('',(2.58,12.95,0.));
#1047 = CIRCLE('',#1048,1.1);
#1048 = AXIS2_PLACEMENT_3D('',#1049,#1050,#1051);
#1049 = CARTESIAN_POINT('',(1.48,12.95,0.));
#1050 = DIRECTION('',(0.,0.,-1.));
#1051 = DIRECTION('',(1.,0.,0.));
#1052 = PLANE('',#1053);
#1053 = AXIS2_PLACEMENT_3D('',#1054,#1055,#1056);
#1054 = CARTESIAN_POINT('',(0.,-5.6E-16,0.));
#1055 = DIRECTION('',(0.,0.,1.));
#1056 = DIRECTION('',(1.,0.,0.));
#1057 = ADVANCED_FACE('',(#1058),#1076,.T.);
#1058 = FACE_BOUND('',#1059,.T.);
#1059 = EDGE_LOOP('',(#1060,#1061,#1069,#1075));
#1060 = ORIENTED_EDGE('',*,*,#66,.T.);
#1061 = ORIENTED_EDGE('',*,*,#1062,.T.);
#1062 = EDGE_CURVE('',#59,#1063,#1065,.T.);
#1063 = VERTEX_POINT('',#1064);
#1064 = CARTESIAN_POINT('',(6.3,19.1,8.));
#1065 = LINE('',#1066,#1067);
#1066 = CARTESIAN_POINT('',(-6.3,19.1,8.));
#1067 = VECTOR('',#1068,1.);
#1068 = DIRECTION('',(1.,0.,0.));
#1069 = ORIENTED_EDGE('',*,*,#1070,.F.);
#1070 = EDGE_CURVE('',#1029,#1063,#1071,.T.);
#1071 = LINE('',#1072,#1073);
#1072 = CARTESIAN_POINT('',(6.3,19.1,0.));
#1073 = VECTOR('',#1074,1.);
#1074 = DIRECTION('',(0.,0.,1.));
#1075 = ORIENTED_EDGE('',*,*,#1036,.F.);
#1076 = PLANE('',#1077);
#1077 = AXIS2_PLACEMENT_3D('',#1078,#1079,#1080);
#1078 = CARTESIAN_POINT('',(-6.3,19.1,0.));
#1079 = DIRECTION('',(0.,1.,0.));
#1080 = DIRECTION('',(1.,0.,0.));
#1081 = ADVANCED_FACE('',(#1082,#1100,#1111,#1122,#1133,#1144,#1155,
    #1166,#1177,#1188),#1199,.T.);
#1082 = FACE_BOUND('',#1083,.T.);
#1083 = EDGE_LOOP('',(#1084,#1085,#1093,#1099));
#1084 = ORIENTED_EDGE('',*,*,#58,.F.);
#1085 = ORIENTED_EDGE('',*,*,#1086,.F.);
#1086 = EDGE_CURVE('',#1087,#51,#1089,.T.);
#1087 = VERTEX_POINT('',#1088);
#1088 = CARTESIAN_POINT('',(6.3,-19.1,8.));
#1089 = LINE('',#1090,#1091);
#1090 = CARTESIAN_POINT('',(6.3,-19.1,8.));
#1091 = VECTOR('',#1092,1.);
#1092 = DIRECTION('',(-1.,0.,0.));
#1093 = ORIENTED_EDGE('',*,*,#1094,.F.);
#1094 = EDGE_CURVE('',#1063,#1087,#1095,.T.);
#1095 = LINE('',#1096,#1097);
#1096 = CARTESIAN_POINT('',(6.3,19.1,8.));
#1097 = VECTOR('',#1098,1.);
#1098 = DIRECTION('',(0.,-1.,0.));
#1099 = ORIENTED_EDGE('',*,*,#1062,.F.);
#1100 = FACE_BOUND('',#1101,.T.);
#1101 = EDGE_LOOP('',(#1102));
#1102 = ORIENTED_EDGE('',*,*,#1103,.F.);
#1103 = EDGE_CURVE('',#1104,#1104,#1106,.T.);
#1104 = VERTEX_POINT('',#1105);
#1105 = CARTESIAN_POINT('',(-0.69,-7.62,8.));
#1106 = CIRCLE('',#1107,0.3);
#1107 = AXIS2_PLACEMENT_3D('',#1108,#1109,#1110);
#1108 = CARTESIAN_POINT('',(-0.99,-7.62,8.));
#1109 = DIRECTION('',(0.,0.,1.));
#1110 = DIRECTION('',(1.,0.,0.));
#1111 = FACE_BOUND('',#1112,.T.);
#1112 = EDGE_LOOP('',(#1113));
#1113 = ORIENTED_EDGE('',*,*,#1114,.F.);
#1114 = EDGE_CURVE('',#1115,#1115,#1117,.T.);
#1115 = VERTEX_POINT('',#1116);
#1116 = CARTESIAN_POINT('',(-3.84,-5.08,8.));
#1117 = CIRCLE('',#1118,0.3);
#1118 = AXIS2_PLACEMENT_3D('',#1119,#1120,#1121);
#1119 = CARTESIAN_POINT('',(-4.14,-5.08,8.));
#1120 = DIRECTION('',(0.,0.,1.));
#1121 = DIRECTION('',(1.,0.,0.));
#1122 = FACE_BOUND('',#1123,.T.);
#1123 = EDGE_LOOP('',(#1124));
#1124 = ORIENTED_EDGE('',*,*,#1125,.F.);
#1125 = EDGE_CURVE('',#1126,#1126,#1128,.T.);
#1126 = VERTEX_POINT('',#1127);
#1127 = CARTESIAN_POINT('',(-0.69,-2.54,8.));
#1128 = CIRCLE('',#1129,0.3);
#1129 = AXIS2_PLACEMENT_3D('',#1130,#1131,#1132);
#1130 = CARTESIAN_POINT('',(-0.99,-2.54,8.));
#1131 = DIRECTION('',(0.,0.,1.));
#1132 = DIRECTION('',(1.,0.,0.));
#1133 = FACE_BOUND('',#1134,.T.);
#1134 = EDGE_LOOP('',(#1135));
#1135 = ORIENTED_EDGE('',*,*,#1136,.F.);
#1136 = EDGE_CURVE('',#1137,#1137,#1139,.T.);
#1137 = VERTEX_POINT('',#1138);
#1138 = CARTESIAN_POINT('',(2.58,-12.95,8.));
#1139 = CIRCLE('',#1140,1.1);
#1140 = AXIS2_PLACEMENT_3D('',#1141,#1142,#1143);
#1141 = CARTESIAN_POINT('',(1.48,-12.95,8.));
#1142 = DIRECTION('',(0.,0.,1.));
#1143 = DIRECTION('',(1.,0.,0.));
#1144 = FACE_BOUND('',#1145,.T.);
#1145 = EDGE_LOOP('',(#1146));
#1146 = ORIENTED_EDGE('',*,*,#1147,.F.);
#1147 = EDGE_CURVE('',#1148,#1148,#1150,.T.);
#1148 = VERTEX_POINT('',#1149);
#1149 = CARTESIAN_POINT('',(-3.84,0.,8.));
#1150 = CIRCLE('',#1151,0.3);
#1151 = AXIS2_PLACEMENT_3D('',#1152,#1153,#1154);
#1152 = CARTESIAN_POINT('',(-4.14,0.,8.));
#1153 = DIRECTION('',(0.,0.,1.));
#1154 = DIRECTION('',(1.,0.,0.));
#1155 = FACE_BOUND('',#1156,.T.);
#1156 = EDGE_LOOP('',(#1157));
#1157 = ORIENTED_EDGE('',*,*,#1158,.F.);
#1158 = EDGE_CURVE('',#1159,#1159,#1161,.T.);
#1159 = VERTEX_POINT('',#1160);
#1160 = CARTESIAN_POINT('',(-3.84,5.08,8.));
#1161 = CIRCLE('',#1162,0.3);
#1162 = AXIS2_PLACEMENT_3D('',#1163,#1164,#1165);
#1163 = CARTESIAN_POINT('',(-4.14,5.08,8.));
#1164 = DIRECTION('',(0.,0.,1.));
#1165 = DIRECTION('',(1.,0.,0.));
#1166 = FACE_BOUND('',#1167,.T.);
#1167 = EDGE_LOOP('',(#1168));
#1168 = ORIENTED_EDGE('',*,*,#1169,.F.);
#1169 = EDGE_CURVE('',#1170,#1170,#1172,.T.);
#1170 = VERTEX_POINT('',#1171);
#1171 = CARTESIAN_POINT('',(-0.69,2.54,8.));
#1172 = CIRCLE('',#1173,0.3);
#1173 = AXIS2_PLACEMENT_3D('',#1174,#1175,#1176);
#1174 = CARTESIAN_POINT('',(-0.99,2.54,8.));
#1175 = DIRECTION('',(0.,0.,1.));
#1176 = DIRECTION('',(1.,0.,0.));
#1177 = FACE_BOUND('',#1178,.T.);
#1178 = EDGE_LOOP('',(#1179));
#1179 = ORIENTED_EDGE('',*,*,#1180,.F.);
#1180 = EDGE_CURVE('',#1181,#1181,#1183,.T.);
#1181 = VERTEX_POINT('',#1182);
#1182 = CARTESIAN_POINT('',(-0.69,7.62,8.));
#1183 = CIRCLE('',#1184,0.3);
#1184 = AXIS2_PLACEMENT_3D('',#1185,#1186,#1187);
#1185 = CARTESIAN_POINT('',(-0.99,7.62,8.));
#1186 = DIRECTION('',(0.,0.,1.));
#1187 = DIRECTION('',(1.,0.,0.));
#1188 = FACE_BOUND('',#1189,.T.);
#1189 = EDGE_LOOP('',(#1190));
#1190 = ORIENTED_EDGE('',*,*,#1191,.F.);
#1191 = EDGE_CURVE('',#1192,#1192,#1194,.T.);
#1192 = VERTEX_POINT('',#1193);
#1193 = CARTESIAN_POINT('',(2.58,12.95,8.));
#1194 = CIRCLE('',#1195,1.1);
#1195 = AXIS2_PLACEMENT_3D('',#1196,#1197,#1198);
#1196 = CARTESIAN_POINT('',(1.48,12.95,8.));
#1197 = DIRECTION('',(0.,0.,1.));
#1198 = DIRECTION('',(1.,0.,0.));
#1199 = PLANE('',#1200);
#1200 = AXIS2_PLACEMENT_3D('',#1201,#1202,#1203);
#1201 = CARTESIAN_POINT('',(0.,-5.6E-16,8.));
#1202 = DIRECTION('',(0.,0.,1.));
#1203 = DIRECTION('',(1.,0.,0.));
#1204 = ADVANCED_FACE('',(#1205),#1216,.T.);
#1205 = FACE_BOUND('',#1206,.T.);
#1206 = EDGE_LOOP('',(#1207,#1213,#1214,#1215));
#1207 = ORIENTED_EDGE('',*,*,#1208,.T.);
#1208 = EDGE_CURVE('',#306,#1087,#1209,.T.);
#1209 = LINE('',#1210,#1211);
#1210 = CARTESIAN_POINT('',(6.3,-19.1,0.));
#1211 = VECTOR('',#1212,1.);
#1212 = DIRECTION('',(0.,0.,1.));
#1213 = ORIENTED_EDGE('',*,*,#1086,.T.);
#1214 = ORIENTED_EDGE('',*,*,#50,.F.);
#1215 = ORIENTED_EDGE('',*,*,#305,.F.);
#1216 = PLANE('',#1217);
#1217 = AXIS2_PLACEMENT_3D('',#1218,#1219,#1220);
#1218 = CARTESIAN_POINT('',(6.3,-19.1,0.));
#1219 = DIRECTION('',(0.,-1.,0.));
#1220 = DIRECTION('',(-1.,0.,0.));
#1221 = ADVANCED_FACE('',(#1222),#1343,.T.);
#1222 = FACE_BOUND('',#1223,.T.);
#1223 = EDGE_LOOP('',(#1224,#1225,#1226,#1227,#1228,#1229,#1230,#1231,
    #1239,#1247,#1255,#1263,#1271,#1279,#1287,#1295,#1303,#1311,#1319,
    #1327,#1335,#1341,#1342));
#1224 = ORIENTED_EDGE('',*,*,#1028,.F.);
#1225 = ORIENTED_EDGE('',*,*,#1070,.T.);
#1226 = ORIENTED_EDGE('',*,*,#1094,.T.);
#1227 = ORIENTED_EDGE('',*,*,#1208,.F.);
#1228 = ORIENTED_EDGE('',*,*,#313,.F.);
#1229 = ORIENTED_EDGE('',*,*,#355,.T.);
#1230 = ORIENTED_EDGE('',*,*,#380,.T.);
#1231 = ORIENTED_EDGE('',*,*,#1232,.T.);
#1232 = EDGE_CURVE('',#381,#1233,#1235,.T.);
#1233 = VERTEX_POINT('',#1234);
#1234 = CARTESIAN_POINT('',(6.3,-7.22,6.));
#1235 = LINE('',#1236,#1237);
#1236 = CARTESIAN_POINT('',(6.3,-8.02,6.));
#1237 = VECTOR('',#1238,1.);
#1238 = DIRECTION('',(0.,1.,0.));
#1239 = ORIENTED_EDGE('',*,*,#1240,.T.);
#1240 = EDGE_CURVE('',#1233,#1241,#1243,.T.);
#1241 = VERTEX_POINT('',#1242);
#1242 = CARTESIAN_POINT('',(6.3,-5.48,6.));
#1243 = LINE('',#1244,#1245);
#1244 = CARTESIAN_POINT('',(6.3,-8.01,6.));
#1245 = VECTOR('',#1246,1.);
#1246 = DIRECTION('',(0.,1.,0.));
#1247 = ORIENTED_EDGE('',*,*,#1248,.T.);
#1248 = EDGE_CURVE('',#1241,#1249,#1251,.T.);
#1249 = VERTEX_POINT('',#1250);
#1250 = CARTESIAN_POINT('',(6.3,-4.68,6.));
#1251 = LINE('',#1252,#1253);
#1252 = CARTESIAN_POINT('',(6.3,-5.48,6.));
#1253 = VECTOR('',#1254,1.);
#1254 = DIRECTION('',(0.,1.,0.));
#1255 = ORIENTED_EDGE('',*,*,#1256,.T.);
#1256 = EDGE_CURVE('',#1249,#1257,#1259,.T.);
#1257 = VERTEX_POINT('',#1258);
#1258 = CARTESIAN_POINT('',(6.3,-2.94,6.));
#1259 = LINE('',#1260,#1261);
#1260 = CARTESIAN_POINT('',(6.3,-8.01,6.));
#1261 = VECTOR('',#1262,1.);
#1262 = DIRECTION('',(0.,1.,0.));
#1263 = ORIENTED_EDGE('',*,*,#1264,.T.);
#1264 = EDGE_CURVE('',#1257,#1265,#1267,.T.);
#1265 = VERTEX_POINT('',#1266);
#1266 = CARTESIAN_POINT('',(6.3,-2.14,6.));
#1267 = LINE('',#1268,#1269);
#1268 = CARTESIAN_POINT('',(6.3,-2.94,6.));
#1269 = VECTOR('',#1270,1.);
#1270 = DIRECTION('',(0.,1.,0.));
#1271 = ORIENTED_EDGE('',*,*,#1272,.T.);
#1272 = EDGE_CURVE('',#1265,#1273,#1275,.T.);
#1273 = VERTEX_POINT('',#1274);
#1274 = CARTESIAN_POINT('',(6.3,-0.4,6.));
#1275 = LINE('',#1276,#1277);
#1276 = CARTESIAN_POINT('',(6.3,-8.01,6.));
#1277 = VECTOR('',#1278,1.);
#1278 = DIRECTION('',(0.,1.,0.));
#1279 = ORIENTED_EDGE('',*,*,#1280,.T.);
#1280 = EDGE_CURVE('',#1273,#1281,#1283,.T.);
#1281 = VERTEX_POINT('',#1282);
#1282 = CARTESIAN_POINT('',(6.3,0.,6.));
#1283 = LINE('',#1284,#1285);
#1284 = CARTESIAN_POINT('',(6.3,-0.4,6.));
#1285 = VECTOR('',#1286,1.);
#1286 = DIRECTION('',(0.,1.,0.));
#1287 = ORIENTED_EDGE('',*,*,#1288,.T.);
#1288 = EDGE_CURVE('',#1281,#1289,#1291,.T.);
#1289 = VERTEX_POINT('',#1290);
#1290 = CARTESIAN_POINT('',(6.3,0.4,6.));
#1291 = LINE('',#1292,#1293);
#1292 = CARTESIAN_POINT('',(6.3,-0.4,6.));
#1293 = VECTOR('',#1294,1.);
#1294 = DIRECTION('',(0.,1.,0.));
#1295 = ORIENTED_EDGE('',*,*,#1296,.T.);
#1296 = EDGE_CURVE('',#1289,#1297,#1299,.T.);
#1297 = VERTEX_POINT('',#1298);
#1298 = CARTESIAN_POINT('',(6.3,2.14,6.));
#1299 = LINE('',#1300,#1301);
#1300 = CARTESIAN_POINT('',(6.3,0.,6.));
#1301 = VECTOR('',#1302,1.);
#1302 = DIRECTION('',(0.,1.,0.));
#1303 = ORIENTED_EDGE('',*,*,#1304,.F.);
#1304 = EDGE_CURVE('',#1305,#1297,#1307,.T.);
#1305 = VERTEX_POINT('',#1306);
#1306 = CARTESIAN_POINT('',(6.3,2.94,6.));
#1307 = LINE('',#1308,#1309);
#1308 = CARTESIAN_POINT('',(6.3,2.94,6.));
#1309 = VECTOR('',#1310,1.);
#1310 = DIRECTION('',(0.,-1.,0.));
#1311 = ORIENTED_EDGE('',*,*,#1312,.T.);
#1312 = EDGE_CURVE('',#1305,#1313,#1315,.T.);
#1313 = VERTEX_POINT('',#1314);
#1314 = CARTESIAN_POINT('',(6.3,4.68,6.));
#1315 = LINE('',#1316,#1317);
#1316 = CARTESIAN_POINT('',(6.3,0.,6.));
#1317 = VECTOR('',#1318,1.);
#1318 = DIRECTION('',(0.,1.,0.));
#1319 = ORIENTED_EDGE('',*,*,#1320,.T.);
#1320 = EDGE_CURVE('',#1313,#1321,#1323,.T.);
#1321 = VERTEX_POINT('',#1322);
#1322 = CARTESIAN_POINT('',(6.3,5.48,6.));
#1323 = LINE('',#1324,#1325);
#1324 = CARTESIAN_POINT('',(6.3,4.68,6.));
#1325 = VECTOR('',#1326,1.);
#1326 = DIRECTION('',(0.,1.,0.));
#1327 = ORIENTED_EDGE('',*,*,#1328,.T.);
#1328 = EDGE_CURVE('',#1321,#1329,#1331,.T.);
#1329 = VERTEX_POINT('',#1330);
#1330 = CARTESIAN_POINT('',(6.3,7.22,6.));
#1331 = LINE('',#1332,#1333);
#1332 = CARTESIAN_POINT('',(6.3,0.,6.));
#1333 = VECTOR('',#1334,1.);
#1334 = DIRECTION('',(0.,1.,0.));
#1335 = ORIENTED_EDGE('',*,*,#1336,.T.);
#1336 = EDGE_CURVE('',#1329,#981,#1337,.T.);
#1337 = LINE('',#1338,#1339);
#1338 = CARTESIAN_POINT('',(6.3,7.22,6.));
#1339 = VECTOR('',#1340,1.);
#1340 = DIRECTION('',(0.,1.,0.));
#1341 = ORIENTED_EDGE('',*,*,#988,.T.);
#1342 = ORIENTED_EDGE('',*,*,#1002,.F.);
#1343 = PLANE('',#1344);
#1344 = AXIS2_PLACEMENT_3D('',#1345,#1346,#1347);
#1345 = CARTESIAN_POINT('',(6.3,19.1,0.));
#1346 = DIRECTION('',(1.,0.,0.));
#1347 = DIRECTION('',(0.,-1.,0.));
#1348 = ADVANCED_FACE('',(#1349),#1360,.F.);
#1349 = FACE_BOUND('',#1350,.T.);
#1350 = EDGE_LOOP('',(#1351,#1357,#1358,#1359));
#1351 = ORIENTED_EDGE('',*,*,#1352,.F.);
#1352 = EDGE_CURVE('',#1137,#330,#1353,.T.);
#1353 = LINE('',#1354,#1355);
#1354 = CARTESIAN_POINT('',(2.58,-12.95,8.));
#1355 = VECTOR('',#1356,1.);
#1356 = DIRECTION('',(-6.E-17,0.,-1.));
#1357 = ORIENTED_EDGE('',*,*,#1136,.T.);
#1358 = ORIENTED_EDGE('',*,*,#1352,.T.);
#1359 = ORIENTED_EDGE('',*,*,#329,.T.);
#1360 = CYLINDRICAL_SURFACE('',#1361,1.1);
#1361 = AXIS2_PLACEMENT_3D('',#1362,#1363,#1364);
#1362 = CARTESIAN_POINT('',(1.48,-12.95,8.));
#1363 = DIRECTION('',(-0.,-0.,-1.));
#1364 = DIRECTION('',(1.,0.,0.));
#1365 = ADVANCED_FACE('',(#1366),#1377,.F.);
#1366 = FACE_BOUND('',#1367,.F.);
#1367 = EDGE_LOOP('',(#1368,#1374,#1375,#1376));
#1368 = ORIENTED_EDGE('',*,*,#1369,.T.);
#1369 = EDGE_CURVE('',#1233,#371,#1370,.T.);
#1370 = LINE('',#1371,#1372);
#1371 = CARTESIAN_POINT('',(6.3,-7.22,6.));
#1372 = VECTOR('',#1373,1.);
#1373 = DIRECTION('',(-1.,0.,0.));
#1374 = ORIENTED_EDGE('',*,*,#396,.T.);
#1375 = ORIENTED_EDGE('',*,*,#388,.T.);
#1376 = ORIENTED_EDGE('',*,*,#1232,.T.);
#1377 = PLANE('',#1378);
#1378 = AXIS2_PLACEMENT_3D('',#1379,#1380,#1381);
#1379 = CARTESIAN_POINT('',(0.,0.,6.));
#1380 = DIRECTION('',(0.,0.,1.));
#1381 = DIRECTION('',(1.,0.,0.));
#1382 = ADVANCED_FACE('',(#1383),#1394,.T.);
#1383 = FACE_BOUND('',#1384,.T.);
#1384 = EDGE_LOOP('',(#1385,#1386,#1387,#1393));
#1385 = ORIENTED_EDGE('',*,*,#436,.F.);
#1386 = ORIENTED_EDGE('',*,*,#468,.F.);
#1387 = ORIENTED_EDGE('',*,*,#1388,.T.);
#1388 = EDGE_CURVE('',#461,#371,#1389,.T.);
#1389 = LINE('',#1390,#1391);
#1390 = CARTESIAN_POINT('',(-0.1,8.01,6.));
#1391 = VECTOR('',#1392,1.);
#1392 = DIRECTION('',(0.,-1.,0.));
#1393 = ORIENTED_EDGE('',*,*,#418,.F.);
#1394 = PLANE('',#1395);
#1395 = AXIS2_PLACEMENT_3D('',#1396,#1397,#1398);
#1396 = CARTESIAN_POINT('',(-0.1,8.01,0.));
#1397 = DIRECTION('',(1.,0.,0.));
#1398 = DIRECTION('',(0.,-1.,0.));
#1399 = ADVANCED_FACE('',(#1400),#1416,.F.);
#1400 = FACE_BOUND('',#1401,.F.);
#1401 = EDGE_LOOP('',(#1402,#1408,#1409,#1415));
#1402 = ORIENTED_EDGE('',*,*,#1403,.T.);
#1403 = EDGE_CURVE('',#1249,#483,#1404,.T.);
#1404 = LINE('',#1405,#1406);
#1405 = CARTESIAN_POINT('',(6.3,-4.68,6.));
#1406 = VECTOR('',#1407,1.);
#1407 = DIRECTION('',(-1.,0.,0.));
#1408 = ORIENTED_EDGE('',*,*,#492,.T.);
#1409 = ORIENTED_EDGE('',*,*,#1410,.T.);
#1410 = EDGE_CURVE('',#461,#1241,#1411,.T.);
#1411 = LINE('',#1412,#1413);
#1412 = CARTESIAN_POINT('',(-6.3,-5.48,6.));
#1413 = VECTOR('',#1414,1.);
#1414 = DIRECTION('',(1.,0.,0.));
#1415 = ORIENTED_EDGE('',*,*,#1248,.T.);
#1416 = PLANE('',#1417);
#1417 = AXIS2_PLACEMENT_3D('',#1418,#1419,#1420);
#1418 = CARTESIAN_POINT('',(0.,0.,6.));
#1419 = DIRECTION('',(0.,0.,1.));
#1420 = DIRECTION('',(1.,0.,0.));
#1421 = ADVANCED_FACE('',(#1422),#1433,.T.);
#1422 = FACE_BOUND('',#1423,.T.);
#1423 = EDGE_LOOP('',(#1424,#1425,#1426,#1432));
#1424 = ORIENTED_EDGE('',*,*,#532,.F.);
#1425 = ORIENTED_EDGE('',*,*,#564,.F.);
#1426 = ORIENTED_EDGE('',*,*,#1427,.T.);
#1427 = EDGE_CURVE('',#557,#483,#1428,.T.);
#1428 = LINE('',#1429,#1430);
#1429 = CARTESIAN_POINT('',(-0.1,8.01,6.));
#1430 = VECTOR('',#1431,1.);
#1431 = DIRECTION('',(0.,-1.,0.));
#1432 = ORIENTED_EDGE('',*,*,#514,.F.);
#1433 = PLANE('',#1434);
#1434 = AXIS2_PLACEMENT_3D('',#1435,#1436,#1437);
#1435 = CARTESIAN_POINT('',(-0.1,8.01,0.));
#1436 = DIRECTION('',(1.,0.,0.));
#1437 = DIRECTION('',(0.,-1.,0.));
#1438 = ADVANCED_FACE('',(#1439),#1455,.F.);
#1439 = FACE_BOUND('',#1440,.F.);
#1440 = EDGE_LOOP('',(#1441,#1447,#1448,#1454));
#1441 = ORIENTED_EDGE('',*,*,#1442,.T.);
#1442 = EDGE_CURVE('',#1265,#579,#1443,.T.);
#1443 = LINE('',#1444,#1445);
#1444 = CARTESIAN_POINT('',(6.3,-2.14,6.));
#1445 = VECTOR('',#1446,1.);
#1446 = DIRECTION('',(-1.,0.,0.));
#1447 = ORIENTED_EDGE('',*,*,#588,.T.);
#1448 = ORIENTED_EDGE('',*,*,#1449,.T.);
#1449 = EDGE_CURVE('',#557,#1257,#1450,.T.);
#1450 = LINE('',#1451,#1452);
#1451 = CARTESIAN_POINT('',(-6.3,-2.94,6.));
#1452 = VECTOR('',#1453,1.);
#1453 = DIRECTION('',(1.,0.,0.));
#1454 = ORIENTED_EDGE('',*,*,#1264,.T.);
#1455 = PLANE('',#1456);
#1456 = AXIS2_PLACEMENT_3D('',#1457,#1458,#1459);
#1457 = CARTESIAN_POINT('',(0.,0.,6.));
#1458 = DIRECTION('',(0.,0.,1.));
#1459 = DIRECTION('',(1.,0.,0.));
#1460 = ADVANCED_FACE('',(#1461),#1472,.T.);
#1461 = FACE_BOUND('',#1462,.T.);
#1462 = EDGE_LOOP('',(#1463,#1464,#1465,#1471));
#1463 = ORIENTED_EDGE('',*,*,#628,.F.);
#1464 = ORIENTED_EDGE('',*,*,#660,.F.);
#1465 = ORIENTED_EDGE('',*,*,#1466,.T.);
#1466 = EDGE_CURVE('',#653,#579,#1467,.T.);
#1467 = LINE('',#1468,#1469);
#1468 = CARTESIAN_POINT('',(-0.1,8.01,6.));
#1469 = VECTOR('',#1470,1.);
#1470 = DIRECTION('',(0.,-1.,0.));
#1471 = ORIENTED_EDGE('',*,*,#610,.F.);
#1472 = PLANE('',#1473);
#1473 = AXIS2_PLACEMENT_3D('',#1474,#1475,#1476);
#1474 = CARTESIAN_POINT('',(-0.1,8.01,0.));
#1475 = DIRECTION('',(1.,0.,0.));
#1476 = DIRECTION('',(0.,-1.,0.));
#1477 = ADVANCED_FACE('',(#1478),#1495,.F.);
#1478 = FACE_BOUND('',#1479,.F.);
#1479 = EDGE_LOOP('',(#1480,#1486,#1487,#1493,#1494));
#1480 = ORIENTED_EDGE('',*,*,#1481,.T.);
#1481 = EDGE_CURVE('',#1289,#675,#1482,.T.);
#1482 = LINE('',#1483,#1484);
#1483 = CARTESIAN_POINT('',(6.3,0.4,6.));
#1484 = VECTOR('',#1485,1.);
#1485 = DIRECTION('',(-1.,0.,0.));
#1486 = ORIENTED_EDGE('',*,*,#684,.T.);
#1487 = ORIENTED_EDGE('',*,*,#1488,.T.);
#1488 = EDGE_CURVE('',#653,#1273,#1489,.T.);
#1489 = LINE('',#1490,#1491);
#1490 = CARTESIAN_POINT('',(-6.3,-0.4,6.));
#1491 = VECTOR('',#1492,1.);
#1492 = DIRECTION('',(1.,0.,0.));
#1493 = ORIENTED_EDGE('',*,*,#1280,.T.);
#1494 = ORIENTED_EDGE('',*,*,#1288,.T.);
#1495 = PLANE('',#1496);
#1496 = AXIS2_PLACEMENT_3D('',#1497,#1498,#1499);
#1497 = CARTESIAN_POINT('',(0.,0.,6.));
#1498 = DIRECTION('',(0.,0.,1.));
#1499 = DIRECTION('',(1.,0.,0.));
#1500 = ADVANCED_FACE('',(#1501),#1512,.T.);
#1501 = FACE_BOUND('',#1502,.T.);
#1502 = EDGE_LOOP('',(#1503,#1504,#1505,#1511));
#1503 = ORIENTED_EDGE('',*,*,#724,.F.);
#1504 = ORIENTED_EDGE('',*,*,#747,.T.);
#1505 = ORIENTED_EDGE('',*,*,#1506,.T.);
#1506 = EDGE_CURVE('',#748,#675,#1507,.T.);
#1507 = LINE('',#1508,#1509);
#1508 = CARTESIAN_POINT('',(-0.1,8.01,6.));
#1509 = VECTOR('',#1510,1.);
#1510 = DIRECTION('',(0.,-1.,0.));
#1511 = ORIENTED_EDGE('',*,*,#706,.F.);
#1512 = PLANE('',#1513);
#1513 = AXIS2_PLACEMENT_3D('',#1514,#1515,#1516);
#1514 = CARTESIAN_POINT('',(-0.1,8.01,0.));
#1515 = DIRECTION('',(1.,0.,0.));
#1516 = DIRECTION('',(0.,-1.,0.));
#1517 = ADVANCED_FACE('',(#1518),#1534,.F.);
#1518 = FACE_BOUND('',#1519,.F.);
#1519 = EDGE_LOOP('',(#1520,#1521,#1527,#1528));
#1520 = ORIENTED_EDGE('',*,*,#772,.T.);
#1521 = ORIENTED_EDGE('',*,*,#1522,.F.);
#1522 = EDGE_CURVE('',#1297,#748,#1523,.T.);
#1523 = LINE('',#1524,#1525);
#1524 = CARTESIAN_POINT('',(6.3,2.14,6.));
#1525 = VECTOR('',#1526,1.);
#1526 = DIRECTION('',(-1.,0.,0.));
#1527 = ORIENTED_EDGE('',*,*,#1304,.F.);
#1528 = ORIENTED_EDGE('',*,*,#1529,.F.);
#1529 = EDGE_CURVE('',#773,#1305,#1530,.T.);
#1530 = LINE('',#1531,#1532);
#1531 = CARTESIAN_POINT('',(-6.3,2.94,6.));
#1532 = VECTOR('',#1533,1.);
#1533 = DIRECTION('',(1.,0.,0.));
#1534 = PLANE('',#1535);
#1535 = AXIS2_PLACEMENT_3D('',#1536,#1537,#1538);
#1536 = CARTESIAN_POINT('',(0.,0.,6.));
#1537 = DIRECTION('',(0.,0.,1.));
#1538 = DIRECTION('',(1.,0.,0.));
#1539 = ADVANCED_FACE('',(#1540),#1551,.T.);
#1540 = FACE_BOUND('',#1541,.T.);
#1541 = EDGE_LOOP('',(#1542,#1543,#1544,#1550));
#1542 = ORIENTED_EDGE('',*,*,#820,.F.);
#1543 = ORIENTED_EDGE('',*,*,#852,.F.);
#1544 = ORIENTED_EDGE('',*,*,#1545,.T.);
#1545 = EDGE_CURVE('',#845,#773,#1546,.T.);
#1546 = LINE('',#1547,#1548);
#1547 = CARTESIAN_POINT('',(-0.1,8.01,6.));
#1548 = VECTOR('',#1549,1.);
#1549 = DIRECTION('',(0.,-1.,0.));
#1550 = ORIENTED_EDGE('',*,*,#804,.T.);
#1551 = PLANE('',#1552);
#1552 = AXIS2_PLACEMENT_3D('',#1553,#1554,#1555);
#1553 = CARTESIAN_POINT('',(-0.1,8.01,0.));
#1554 = DIRECTION('',(1.,0.,0.));
#1555 = DIRECTION('',(0.,-1.,0.));
#1556 = ADVANCED_FACE('',(#1557),#1573,.F.);
#1557 = FACE_BOUND('',#1558,.F.);
#1558 = EDGE_LOOP('',(#1559,#1565,#1566,#1572));
#1559 = ORIENTED_EDGE('',*,*,#1560,.T.);
#1560 = EDGE_CURVE('',#1321,#867,#1561,.T.);
#1561 = LINE('',#1562,#1563);
#1562 = CARTESIAN_POINT('',(6.3,5.48,6.));
#1563 = VECTOR('',#1564,1.);
#1564 = DIRECTION('',(-1.,0.,0.));
#1565 = ORIENTED_EDGE('',*,*,#876,.T.);
#1566 = ORIENTED_EDGE('',*,*,#1567,.T.);
#1567 = EDGE_CURVE('',#845,#1313,#1568,.T.);
#1568 = LINE('',#1569,#1570);
#1569 = CARTESIAN_POINT('',(-6.3,4.68,6.));
#1570 = VECTOR('',#1571,1.);
#1571 = DIRECTION('',(1.,0.,0.));
#1572 = ORIENTED_EDGE('',*,*,#1320,.T.);
#1573 = PLANE('',#1574);
#1574 = AXIS2_PLACEMENT_3D('',#1575,#1576,#1577);
#1575 = CARTESIAN_POINT('',(0.,0.,6.));
#1576 = DIRECTION('',(0.,0.,1.));
#1577 = DIRECTION('',(1.,0.,0.));
#1578 = ADVANCED_FACE('',(#1579),#1590,.T.);
#1579 = FACE_BOUND('',#1580,.T.);
#1580 = EDGE_LOOP('',(#1581,#1582,#1583,#1589));
#1581 = ORIENTED_EDGE('',*,*,#916,.F.);
#1582 = ORIENTED_EDGE('',*,*,#948,.F.);
#1583 = ORIENTED_EDGE('',*,*,#1584,.T.);
#1584 = EDGE_CURVE('',#941,#867,#1585,.T.);
#1585 = LINE('',#1586,#1587);
#1586 = CARTESIAN_POINT('',(-0.1,8.01,6.));
#1587 = VECTOR('',#1588,1.);
#1588 = DIRECTION('',(0.,-1.,0.));
#1589 = ORIENTED_EDGE('',*,*,#898,.F.);
#1590 = PLANE('',#1591);
#1591 = AXIS2_PLACEMENT_3D('',#1592,#1593,#1594);
#1592 = CARTESIAN_POINT('',(-0.1,8.01,0.));
#1593 = DIRECTION('',(1.,0.,0.));
#1594 = DIRECTION('',(0.,-1.,0.));
#1595 = ADVANCED_FACE('',(#1596),#1607,.F.);
#1596 = FACE_BOUND('',#1597,.F.);
#1597 = EDGE_LOOP('',(#1598,#1599,#1605,#1606));
#1598 = ORIENTED_EDGE('',*,*,#972,.T.);
#1599 = ORIENTED_EDGE('',*,*,#1600,.T.);
#1600 = EDGE_CURVE('',#941,#1329,#1601,.T.);
#1601 = LINE('',#1602,#1603);
#1602 = CARTESIAN_POINT('',(-6.3,7.22,6.));
#1603 = VECTOR('',#1604,1.);
#1604 = DIRECTION('',(1.,0.,0.));
#1605 = ORIENTED_EDGE('',*,*,#1336,.T.);
#1606 = ORIENTED_EDGE('',*,*,#980,.T.);
#1607 = PLANE('',#1608);
#1608 = AXIS2_PLACEMENT_3D('',#1609,#1610,#1611);
#1609 = CARTESIAN_POINT('',(0.,0.,6.));
#1610 = DIRECTION('',(0.,0.,1.));
#1611 = DIRECTION('',(1.,0.,0.));
#1612 = ADVANCED_FACE('',(#1613),#1624,.F.);
#1613 = FACE_BOUND('',#1614,.T.);
#1614 = EDGE_LOOP('',(#1615,#1621,#1622,#1623));
#1615 = ORIENTED_EDGE('',*,*,#1616,.F.);
#1616 = EDGE_CURVE('',#1192,#1045,#1617,.T.);
#1617 = LINE('',#1618,#1619);
#1618 = CARTESIAN_POINT('',(2.58,12.95,8.));
#1619 = VECTOR('',#1620,1.);
#1620 = DIRECTION('',(-6.E-17,0.,-1.));
#1621 = ORIENTED_EDGE('',*,*,#1191,.T.);
#1622 = ORIENTED_EDGE('',*,*,#1616,.T.);
#1623 = ORIENTED_EDGE('',*,*,#1044,.T.);
#1624 = CYLINDRICAL_SURFACE('',#1625,1.1);
#1625 = AXIS2_PLACEMENT_3D('',#1626,#1627,#1628);
#1626 = CARTESIAN_POINT('',(1.48,12.95,8.));
#1627 = DIRECTION('',(-0.,-0.,-1.));
#1628 = DIRECTION('',(1.,0.,0.));
#1629 = ADVANCED_FACE('',(#1630),#1649,.T.);
#1630 = FACE_BOUND('',#1631,.F.);
#1631 = EDGE_LOOP('',(#1632,#1640,#1647,#1648));
#1632 = ORIENTED_EDGE('',*,*,#1633,.T.);
#1633 = EDGE_CURVE('',#1104,#1634,#1636,.T.);
#1634 = VERTEX_POINT('',#1635);
#1635 = CARTESIAN_POINT('',(-0.69,-7.62,9.7));
#1636 = LINE('',#1637,#1638);
#1637 = CARTESIAN_POINT('',(-0.69,-7.62,8.));
#1638 = VECTOR('',#1639,1.);
#1639 = DIRECTION('',(0.,0.,1.));
#1640 = ORIENTED_EDGE('',*,*,#1641,.T.);
#1641 = EDGE_CURVE('',#1634,#1634,#1642,.T.);
#1642 = CIRCLE('',#1643,0.3);
#1643 = AXIS2_PLACEMENT_3D('',#1644,#1645,#1646);
#1644 = CARTESIAN_POINT('',(-0.99,-7.62,9.7));
#1645 = DIRECTION('',(0.,0.,1.));
#1646 = DIRECTION('',(1.,0.,0.));
#1647 = ORIENTED_EDGE('',*,*,#1633,.F.);
#1648 = ORIENTED_EDGE('',*,*,#1103,.F.);
#1649 = CYLINDRICAL_SURFACE('',#1650,0.3);
#1650 = AXIS2_PLACEMENT_3D('',#1651,#1652,#1653);
#1651 = CARTESIAN_POINT('',(-0.99,-7.62,8.));
#1652 = DIRECTION('',(-0.,-0.,-1.));
#1653 = DIRECTION('',(1.,0.,0.));
#1654 = ADVANCED_FACE('',(#1655),#1674,.T.);
#1655 = FACE_BOUND('',#1656,.F.);
#1656 = EDGE_LOOP('',(#1657,#1665,#1672,#1673));
#1657 = ORIENTED_EDGE('',*,*,#1658,.T.);
#1658 = EDGE_CURVE('',#1115,#1659,#1661,.T.);
#1659 = VERTEX_POINT('',#1660);
#1660 = CARTESIAN_POINT('',(-3.84,-5.08,9.7));
#1661 = LINE('',#1662,#1663);
#1662 = CARTESIAN_POINT('',(-3.84,-5.08,8.));
#1663 = VECTOR('',#1664,1.);
#1664 = DIRECTION('',(0.,0.,1.));
#1665 = ORIENTED_EDGE('',*,*,#1666,.T.);
#1666 = EDGE_CURVE('',#1659,#1659,#1667,.T.);
#1667 = CIRCLE('',#1668,0.3);
#1668 = AXIS2_PLACEMENT_3D('',#1669,#1670,#1671);
#1669 = CARTESIAN_POINT('',(-4.14,-5.08,9.7));
#1670 = DIRECTION('',(0.,0.,1.));
#1671 = DIRECTION('',(1.,0.,0.));
#1672 = ORIENTED_EDGE('',*,*,#1658,.F.);
#1673 = ORIENTED_EDGE('',*,*,#1114,.F.);
#1674 = CYLINDRICAL_SURFACE('',#1675,0.3);
#1675 = AXIS2_PLACEMENT_3D('',#1676,#1677,#1678);
#1676 = CARTESIAN_POINT('',(-4.14,-5.08,8.));
#1677 = DIRECTION('',(-0.,-0.,-1.));
#1678 = DIRECTION('',(1.,0.,0.));
#1679 = ADVANCED_FACE('',(#1680),#1699,.T.);
#1680 = FACE_BOUND('',#1681,.F.);
#1681 = EDGE_LOOP('',(#1682,#1690,#1697,#1698));
#1682 = ORIENTED_EDGE('',*,*,#1683,.T.);
#1683 = EDGE_CURVE('',#1126,#1684,#1686,.T.);
#1684 = VERTEX_POINT('',#1685);
#1685 = CARTESIAN_POINT('',(-0.69,-2.54,9.7));
#1686 = LINE('',#1687,#1688);
#1687 = CARTESIAN_POINT('',(-0.69,-2.54,8.));
#1688 = VECTOR('',#1689,1.);
#1689 = DIRECTION('',(0.,0.,1.));
#1690 = ORIENTED_EDGE('',*,*,#1691,.T.);
#1691 = EDGE_CURVE('',#1684,#1684,#1692,.T.);
#1692 = CIRCLE('',#1693,0.3);
#1693 = AXIS2_PLACEMENT_3D('',#1694,#1695,#1696);
#1694 = CARTESIAN_POINT('',(-0.99,-2.54,9.7));
#1695 = DIRECTION('',(0.,0.,1.));
#1696 = DIRECTION('',(1.,0.,0.));
#1697 = ORIENTED_EDGE('',*,*,#1683,.F.);
#1698 = ORIENTED_EDGE('',*,*,#1125,.F.);
#1699 = CYLINDRICAL_SURFACE('',#1700,0.3);
#1700 = AXIS2_PLACEMENT_3D('',#1701,#1702,#1703);
#1701 = CARTESIAN_POINT('',(-0.99,-2.54,8.));
#1702 = DIRECTION('',(-0.,-0.,-1.));
#1703 = DIRECTION('',(1.,0.,0.));
#1704 = ADVANCED_FACE('',(#1705),#1724,.T.);
#1705 = FACE_BOUND('',#1706,.F.);
#1706 = EDGE_LOOP('',(#1707,#1715,#1722,#1723));
#1707 = ORIENTED_EDGE('',*,*,#1708,.T.);
#1708 = EDGE_CURVE('',#1148,#1709,#1711,.T.);
#1709 = VERTEX_POINT('',#1710);
#1710 = CARTESIAN_POINT('',(-3.84,0.,9.7));
#1711 = LINE('',#1712,#1713);
#1712 = CARTESIAN_POINT('',(-3.84,0.,8.));
#1713 = VECTOR('',#1714,1.);
#1714 = DIRECTION('',(0.,0.,1.));
#1715 = ORIENTED_EDGE('',*,*,#1716,.T.);
#1716 = EDGE_CURVE('',#1709,#1709,#1717,.T.);
#1717 = CIRCLE('',#1718,0.3);
#1718 = AXIS2_PLACEMENT_3D('',#1719,#1720,#1721);
#1719 = CARTESIAN_POINT('',(-4.14,0.,9.7));
#1720 = DIRECTION('',(0.,0.,1.));
#1721 = DIRECTION('',(1.,0.,0.));
#1722 = ORIENTED_EDGE('',*,*,#1708,.F.);
#1723 = ORIENTED_EDGE('',*,*,#1147,.F.);
#1724 = CYLINDRICAL_SURFACE('',#1725,0.3);
#1725 = AXIS2_PLACEMENT_3D('',#1726,#1727,#1728);
#1726 = CARTESIAN_POINT('',(-4.14,0.,8.));
#1727 = DIRECTION('',(-0.,-0.,-1.));
#1728 = DIRECTION('',(1.,0.,0.));
#1729 = ADVANCED_FACE('',(#1730),#1749,.T.);
#1730 = FACE_BOUND('',#1731,.F.);
#1731 = EDGE_LOOP('',(#1732,#1740,#1747,#1748));
#1732 = ORIENTED_EDGE('',*,*,#1733,.T.);
#1733 = EDGE_CURVE('',#1159,#1734,#1736,.T.);
#1734 = VERTEX_POINT('',#1735);
#1735 = CARTESIAN_POINT('',(-3.84,5.08,9.7));
#1736 = LINE('',#1737,#1738);
#1737 = CARTESIAN_POINT('',(-3.84,5.08,8.));
#1738 = VECTOR('',#1739,1.);
#1739 = DIRECTION('',(0.,0.,1.));
#1740 = ORIENTED_EDGE('',*,*,#1741,.T.);
#1741 = EDGE_CURVE('',#1734,#1734,#1742,.T.);
#1742 = CIRCLE('',#1743,0.3);
#1743 = AXIS2_PLACEMENT_3D('',#1744,#1745,#1746);
#1744 = CARTESIAN_POINT('',(-4.14,5.08,9.7));
#1745 = DIRECTION('',(0.,0.,1.));
#1746 = DIRECTION('',(1.,0.,0.));
#1747 = ORIENTED_EDGE('',*,*,#1733,.F.);
#1748 = ORIENTED_EDGE('',*,*,#1158,.F.);
#1749 = CYLINDRICAL_SURFACE('',#1750,0.3);
#1750 = AXIS2_PLACEMENT_3D('',#1751,#1752,#1753);
#1751 = CARTESIAN_POINT('',(-4.14,5.08,8.));
#1752 = DIRECTION('',(-0.,-0.,-1.));
#1753 = DIRECTION('',(1.,0.,0.));
#1754 = ADVANCED_FACE('',(#1755),#1774,.T.);
#1755 = FACE_BOUND('',#1756,.F.);
#1756 = EDGE_LOOP('',(#1757,#1765,#1772,#1773));
#1757 = ORIENTED_EDGE('',*,*,#1758,.T.);
#1758 = EDGE_CURVE('',#1170,#1759,#1761,.T.);
#1759 = VERTEX_POINT('',#1760);
#1760 = CARTESIAN_POINT('',(-0.69,2.54,9.7));
#1761 = LINE('',#1762,#1763);
#1762 = CARTESIAN_POINT('',(-0.69,2.54,8.));
#1763 = VECTOR('',#1764,1.);
#1764 = DIRECTION('',(0.,0.,1.));
#1765 = ORIENTED_EDGE('',*,*,#1766,.T.);
#1766 = EDGE_CURVE('',#1759,#1759,#1767,.T.);
#1767 = CIRCLE('',#1768,0.3);
#1768 = AXIS2_PLACEMENT_3D('',#1769,#1770,#1771);
#1769 = CARTESIAN_POINT('',(-0.99,2.54,9.7));
#1770 = DIRECTION('',(0.,0.,1.));
#1771 = DIRECTION('',(1.,0.,0.));
#1772 = ORIENTED_EDGE('',*,*,#1758,.F.);
#1773 = ORIENTED_EDGE('',*,*,#1169,.F.);
#1774 = CYLINDRICAL_SURFACE('',#1775,0.3);
#1775 = AXIS2_PLACEMENT_3D('',#1776,#1777,#1778);
#1776 = CARTESIAN_POINT('',(-0.99,2.54,8.));
#1777 = DIRECTION('',(-0.,-0.,-1.));
#1778 = DIRECTION('',(1.,0.,0.));
#1779 = ADVANCED_FACE('',(#1780),#1799,.T.);
#1780 = FACE_BOUND('',#1781,.F.);
#1781 = EDGE_LOOP('',(#1782,#1790,#1797,#1798));
#1782 = ORIENTED_EDGE('',*,*,#1783,.T.);
#1783 = EDGE_CURVE('',#1181,#1784,#1786,.T.);
#1784 = VERTEX_POINT('',#1785);
#1785 = CARTESIAN_POINT('',(-0.69,7.62,9.7));
#1786 = LINE('',#1787,#1788);
#1787 = CARTESIAN_POINT('',(-0.69,7.62,8.));
#1788 = VECTOR('',#1789,1.);
#1789 = DIRECTION('',(0.,0.,1.));
#1790 = ORIENTED_EDGE('',*,*,#1791,.T.);
#1791 = EDGE_CURVE('',#1784,#1784,#1792,.T.);
#1792 = CIRCLE('',#1793,0.3);
#1793 = AXIS2_PLACEMENT_3D('',#1794,#1795,#1796);
#1794 = CARTESIAN_POINT('',(-0.99,7.62,9.7));
#1795 = DIRECTION('',(0.,0.,1.));
#1796 = DIRECTION('',(1.,0.,0.));
#1797 = ORIENTED_EDGE('',*,*,#1783,.F.);
#1798 = ORIENTED_EDGE('',*,*,#1180,.F.);
#1799 = CYLINDRICAL_SURFACE('',#1800,0.3);
#1800 = AXIS2_PLACEMENT_3D('',#1801,#1802,#1803);
#1801 = CARTESIAN_POINT('',(-0.99,7.62,8.));
#1802 = DIRECTION('',(-0.,-0.,-1.));
#1803 = DIRECTION('',(1.,0.,0.));
#1804 = ADVANCED_FACE('',(#1805),#1811,.F.);
#1805 = FACE_BOUND('',#1806,.F.);
#1806 = EDGE_LOOP('',(#1807,#1808,#1809,#1810));
#1807 = ORIENTED_EDGE('',*,*,#1584,.T.);
#1808 = ORIENTED_EDGE('',*,*,#1560,.F.);
#1809 = ORIENTED_EDGE('',*,*,#1328,.T.);
#1810 = ORIENTED_EDGE('',*,*,#1600,.F.);
#1811 = PLANE('',#1812);
#1812 = AXIS2_PLACEMENT_3D('',#1813,#1814,#1815);
#1813 = CARTESIAN_POINT('',(3.1,-1.5276E-13,6.));
#1814 = DIRECTION('',(0.,0.,1.));
#1815 = DIRECTION('',(1.,0.,0.));
#1816 = ADVANCED_FACE('',(#1817),#1823,.F.);
#1817 = FACE_BOUND('',#1818,.F.);
#1818 = EDGE_LOOP('',(#1819,#1820,#1821,#1822));
#1819 = ORIENTED_EDGE('',*,*,#1545,.T.);
#1820 = ORIENTED_EDGE('',*,*,#1529,.T.);
#1821 = ORIENTED_EDGE('',*,*,#1312,.T.);
#1822 = ORIENTED_EDGE('',*,*,#1567,.F.);
#1823 = PLANE('',#1824);
#1824 = AXIS2_PLACEMENT_3D('',#1825,#1826,#1827);
#1825 = CARTESIAN_POINT('',(3.1,-1.5276E-13,6.));
#1826 = DIRECTION('',(0.,0.,1.));
#1827 = DIRECTION('',(1.,0.,0.));
#1828 = ADVANCED_FACE('',(#1829),#1835,.F.);
#1829 = FACE_BOUND('',#1830,.F.);
#1830 = EDGE_LOOP('',(#1831,#1832,#1833,#1834));
#1831 = ORIENTED_EDGE('',*,*,#1506,.T.);
#1832 = ORIENTED_EDGE('',*,*,#1481,.F.);
#1833 = ORIENTED_EDGE('',*,*,#1296,.T.);
#1834 = ORIENTED_EDGE('',*,*,#1522,.T.);
#1835 = PLANE('',#1836);
#1836 = AXIS2_PLACEMENT_3D('',#1837,#1838,#1839);
#1837 = CARTESIAN_POINT('',(3.1,-1.5276E-13,6.));
#1838 = DIRECTION('',(0.,0.,1.));
#1839 = DIRECTION('',(1.,0.,0.));
#1840 = ADVANCED_FACE('',(#1841),#1847,.F.);
#1841 = FACE_BOUND('',#1842,.F.);
#1842 = EDGE_LOOP('',(#1843,#1844,#1845,#1846));
#1843 = ORIENTED_EDGE('',*,*,#1466,.T.);
#1844 = ORIENTED_EDGE('',*,*,#1442,.F.);
#1845 = ORIENTED_EDGE('',*,*,#1272,.T.);
#1846 = ORIENTED_EDGE('',*,*,#1488,.F.);
#1847 = PLANE('',#1848);
#1848 = AXIS2_PLACEMENT_3D('',#1849,#1850,#1851);
#1849 = CARTESIAN_POINT('',(3.1,-1.5276E-13,6.));
#1850 = DIRECTION('',(0.,0.,1.));
#1851 = DIRECTION('',(1.,0.,0.));
#1852 = ADVANCED_FACE('',(#1853),#1859,.F.);
#1853 = FACE_BOUND('',#1854,.F.);
#1854 = EDGE_LOOP('',(#1855,#1856,#1857,#1858));
#1855 = ORIENTED_EDGE('',*,*,#1427,.T.);
#1856 = ORIENTED_EDGE('',*,*,#1403,.F.);
#1857 = ORIENTED_EDGE('',*,*,#1256,.T.);
#1858 = ORIENTED_EDGE('',*,*,#1449,.F.);
#1859 = PLANE('',#1860);
#1860 = AXIS2_PLACEMENT_3D('',#1861,#1862,#1863);
#1861 = CARTESIAN_POINT('',(3.1,-1.5276E-13,6.));
#1862 = DIRECTION('',(0.,0.,1.));
#1863 = DIRECTION('',(1.,0.,0.));
#1864 = ADVANCED_FACE('',(#1865),#1871,.F.);
#1865 = FACE_BOUND('',#1866,.F.);
#1866 = EDGE_LOOP('',(#1867,#1868,#1869,#1870));
#1867 = ORIENTED_EDGE('',*,*,#1388,.T.);
#1868 = ORIENTED_EDGE('',*,*,#1369,.F.);
#1869 = ORIENTED_EDGE('',*,*,#1240,.T.);
#1870 = ORIENTED_EDGE('',*,*,#1410,.F.);
#1871 = PLANE('',#1872);
#1872 = AXIS2_PLACEMENT_3D('',#1873,#1874,#1875);
#1873 = CARTESIAN_POINT('',(3.1,-1.5276E-13,6.));
#1874 = DIRECTION('',(0.,0.,1.));
#1875 = DIRECTION('',(1.,0.,0.));
#1876 = ADVANCED_FACE('',(#1877),#1880,.T.);
#1877 = FACE_BOUND('',#1878,.T.);
#1878 = EDGE_LOOP('',(#1879));
#1879 = ORIENTED_EDGE('',*,*,#1641,.T.);
#1880 = PLANE('',#1881);
#1881 = AXIS2_PLACEMENT_3D('',#1882,#1883,#1884);
#1882 = CARTESIAN_POINT('',(-2.34,-2.E-16,9.7));
#1883 = DIRECTION('',(0.,0.,1.));
#1884 = DIRECTION('',(1.,0.,0.));
#1885 = ADVANCED_FACE('',(#1886),#1889,.T.);
#1886 = FACE_BOUND('',#1887,.T.);
#1887 = EDGE_LOOP('',(#1888));
#1888 = ORIENTED_EDGE('',*,*,#1666,.T.);
#1889 = PLANE('',#1890);
#1890 = AXIS2_PLACEMENT_3D('',#1891,#1892,#1893);
#1891 = CARTESIAN_POINT('',(-2.34,-2.E-16,9.7));
#1892 = DIRECTION('',(0.,0.,1.));
#1893 = DIRECTION('',(1.,0.,0.));
#1894 = ADVANCED_FACE('',(#1895),#1898,.T.);
#1895 = FACE_BOUND('',#1896,.T.);
#1896 = EDGE_LOOP('',(#1897));
#1897 = ORIENTED_EDGE('',*,*,#1691,.T.);
#1898 = PLANE('',#1899);
#1899 = AXIS2_PLACEMENT_3D('',#1900,#1901,#1902);
#1900 = CARTESIAN_POINT('',(-2.34,-2.E-16,9.7));
#1901 = DIRECTION('',(0.,0.,1.));
#1902 = DIRECTION('',(1.,0.,0.));
#1903 = ADVANCED_FACE('',(#1904),#1907,.T.);
#1904 = FACE_BOUND('',#1905,.T.);
#1905 = EDGE_LOOP('',(#1906));
#1906 = ORIENTED_EDGE('',*,*,#1716,.T.);
#1907 = PLANE('',#1908);
#1908 = AXIS2_PLACEMENT_3D('',#1909,#1910,#1911);
#1909 = CARTESIAN_POINT('',(-2.34,-2.E-16,9.7));
#1910 = DIRECTION('',(0.,0.,1.));
#1911 = DIRECTION('',(1.,0.,0.));
#1912 = ADVANCED_FACE('',(#1913),#1916,.T.);
#1913 = FACE_BOUND('',#1914,.T.);
#1914 = EDGE_LOOP('',(#1915));
#1915 = ORIENTED_EDGE('',*,*,#1741,.T.);
#1916 = PLANE('',#1917);
#1917 = AXIS2_PLACEMENT_3D('',#1918,#1919,#1920);
#1918 = CARTESIAN_POINT('',(-2.34,-2.E-16,9.7));
#1919 = DIRECTION('',(0.,0.,1.));
#1920 = DIRECTION('',(1.,0.,0.));
#1921 = ADVANCED_FACE('',(#1922),#1925,.T.);
#1922 = FACE_BOUND('',#1923,.T.);
#1923 = EDGE_LOOP('',(#1924));
#1924 = ORIENTED_EDGE('',*,*,#1766,.T.);
#1925 = PLANE('',#1926);
#1926 = AXIS2_PLACEMENT_3D('',#1927,#1928,#1929);
#1927 = CARTESIAN_POINT('',(-2.34,-2.E-16,9.7));
#1928 = DIRECTION('',(0.,0.,1.));
#1929 = DIRECTION('',(1.,0.,0.));
#1930 = ADVANCED_FACE('',(#1931),#1934,.T.);
#1931 = FACE_BOUND('',#1932,.T.);
#1932 = EDGE_LOOP('',(#1933));
#1933 = ORIENTED_EDGE('',*,*,#1791,.T.);
#1934 = PLANE('',#1935);
#1935 = AXIS2_PLACEMENT_3D('',#1936,#1937,#1938);
#1936 = CARTESIAN_POINT('',(-2.34,-2.E-16,9.7));
#1937 = DIRECTION('',(0.,0.,1.));
#1938 = DIRECTION('',(1.,0.,0.));
#1939 = ( GEOMETRIC_REPRESENTATION_CONTEXT(3) 
GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT((#1943)) 
GLOBAL_UNIT_ASSIGNED_CONTEXT((#1940,#1941,#1942)) REPRESENTATION_CONTEXT
('Context #1','3D Context with UNIT and UNCERTAINTY') );
#1940 = ( LENGTH_UNIT() NAMED_UNIT(*) SI_UNIT(.MILLI.,.METRE.) );
#1941 = ( NAMED_UNIT(*) PLANE_ANGLE_UNIT() SI_UNIT($,.RADIAN.) );
#1942 = ( NAMED_UNIT(*) SI_UNIT($,.STERADIAN.) SOLID_ANGLE_UNIT() );
#1943 = UNCERTAINTY_MEASURE_WITH_UNIT(LENGTH_MEASURE(1.E-07),#1940,
  'distance_accuracy_value','confusion accuracy');
#1944 = SHAPE_DEFINITION_REPRESENTATION(#1945,#33);
#1945 = PRODUCT_DEFINITION_SHAPE('','',#1946);
#1946 = PRODUCT_DEFINITION('design','',#1947,#1950);
#1947 = PRODUCT_DEFINITION_FORMATION('','',#1948);
#1948 = PRODUCT('butterfly_laser_socket_right_001',
  'butterfly_laser_socket_right_001','',(#1949));
#1949 = PRODUCT_CONTEXT('',#2,'mechanical');
#1950 = PRODUCT_DEFINITION_CONTEXT('part definition',#2,'design');
#1951 = CONTEXT_DEPENDENT_SHAPE_REPRESENTATION(#1952,#1954);
#1952 = ( REPRESENTATION_RELATIONSHIP('','',#33,#10) 
REPRESENTATION_RELATIONSHIP_WITH_TRANSFORMATION(#1953) 
SHAPE_REPRESENTATION_RELATIONSHIP() );
#1953 = ITEM_DEFINED_TRANSFORMATION('','',#11,#15);
#1954 = PRODUCT_DEFINITION_SHAPE('Placement','Placement of an item',
  #1955);
#1955 = NEXT_ASSEMBLY_USAGE_OCCURRENCE('1',
  'butterfly_laser_socket_right_001','',#5,#1946,$);
#1956 = PRODUCT_RELATED_PRODUCT_CATEGORY('part',$,(#1948));
#1957 = ADVANCED_BREP_SHAPE_REPRESENTATION('',(#11,#1958),#2244);
#1958 = MANIFOLD_SOLID_BREP('',#1959);
#1959 = CLOSED_SHELL('',(#1960,#2002,#2033,#2064,#2095,#2126,#2157,#2190
    ,#2212,#2228));
#1960 = ADVANCED_FACE('',(#1961),#1997,.F.);
#1961 = FACE_BOUND('',#1962,.F.);
#1962 = EDGE_LOOP('',(#1963,#1974,#1982,#1991));
#1963 = ORIENTED_EDGE('',*,*,#1964,.T.);
#1964 = EDGE_CURVE('',#1965,#1967,#1969,.T.);
#1965 = VERTEX_POINT('',#1966);
#1966 = CARTESIAN_POINT('',(-3.E-15,-1.81,3.43));
#1967 = VERTEX_POINT('',#1968);
#1968 = CARTESIAN_POINT('',(-2.E-15,-0.88,3.78));
#1969 = CIRCLE('',#1970,0.594082654077);
#1970 = AXIS2_PLACEMENT_3D('',#1971,#1972,#1973);
#1971 = CARTESIAN_POINT('',(-9.8E-16,-1.459722033239,3.909832831179));
#1972 = DIRECTION('',(1.,2.2E-16,3.3E-16));
#1973 = DIRECTION('',(-2.2E-16,1.,-3.3E-16));
#1974 = ORIENTED_EDGE('',*,*,#1975,.T.);
#1975 = EDGE_CURVE('',#1967,#1976,#1978,.T.);
#1976 = VERTEX_POINT('',#1977);
#1977 = CARTESIAN_POINT('',(5.65,-0.88,3.78));
#1978 = LINE('',#1979,#1980);
#1979 = CARTESIAN_POINT('',(-2.29E-15,-0.88,3.78));
#1980 = VECTOR('',#1981,1.);
#1981 = DIRECTION('',(1.,-4.4E-16,3.9E-16));
#1982 = ORIENTED_EDGE('',*,*,#1983,.F.);
#1983 = EDGE_CURVE('',#1984,#1976,#1986,.T.);
#1984 = VERTEX_POINT('',#1985);
#1985 = CARTESIAN_POINT('',(5.65,-1.81,3.43));
#1986 = CIRCLE('',#1987,0.594082654077);
#1987 = AXIS2_PLACEMENT_3D('',#1988,#1989,#1990);
#1988 = CARTESIAN_POINT('',(5.65,-1.459722033239,3.909832831179));
#1989 = DIRECTION('',(1.,2.2E-16,3.3E-16));
#1990 = DIRECTION('',(-2.2E-16,1.,-3.3E-16));
#1991 = ORIENTED_EDGE('',*,*,#1992,.F.);
#1992 = EDGE_CURVE('',#1965,#1984,#1993,.T.);
#1993 = LINE('',#1994,#1995);
#1994 = CARTESIAN_POINT('',(-2.31E-15,-1.81,3.43));
#1995 = VECTOR('',#1996,1.);
#1996 = DIRECTION('',(1.,-4.4E-16,3.9E-16));
#1997 = CYLINDRICAL_SURFACE('',#1998,0.594082654077);
#1998 = AXIS2_PLACEMENT_3D('',#1999,#2000,#2001);
#1999 = CARTESIAN_POINT('',(-2.49E-15,-1.459722033239,3.909832831179));
#2000 = DIRECTION('',(-1.,2.2E-16,-5.6E-16));
#2001 = DIRECTION('',(2.2E-16,1.,-5.6E-16));
#2002 = ADVANCED_FACE('',(#2003),#2028,.F.);
#2003 = FACE_BOUND('',#2004,.F.);
#2004 = EDGE_LOOP('',(#2005,#2015,#2021,#2022));
#2005 = ORIENTED_EDGE('',*,*,#2006,.T.);
#2006 = EDGE_CURVE('',#2007,#2009,#2011,.T.);
#2007 = VERTEX_POINT('',#2008);
#2008 = CARTESIAN_POINT('',(-3.E-15,-0.88,5.39));
#2009 = VERTEX_POINT('',#2010);
#2010 = CARTESIAN_POINT('',(5.65,-0.88,5.39));
#2011 = LINE('',#2012,#2013);
#2012 = CARTESIAN_POINT('',(-3.19E-15,-0.88,5.39));
#2013 = VECTOR('',#2014,1.);
#2014 = DIRECTION('',(1.,-4.4E-16,3.9E-16));
#2015 = ORIENTED_EDGE('',*,*,#2016,.T.);
#2016 = EDGE_CURVE('',#2009,#1976,#2017,.T.);
#2017 = LINE('',#2018,#2019);
#2018 = CARTESIAN_POINT('',(5.65,-0.88,5.39));
#2019 = VECTOR('',#2020,1.);
#2020 = DIRECTION('',(3.3E-16,1.1E-16,-1.));
#2021 = ORIENTED_EDGE('',*,*,#1975,.F.);
#2022 = ORIENTED_EDGE('',*,*,#2023,.F.);
#2023 = EDGE_CURVE('',#2007,#1967,#2024,.T.);
#2024 = LINE('',#2025,#2026);
#2025 = CARTESIAN_POINT('',(-1.6E-15,-0.88,5.39));
#2026 = VECTOR('',#2027,1.);
#2027 = DIRECTION('',(3.3E-16,1.1E-16,-1.));
#2028 = PLANE('',#2029);
#2029 = AXIS2_PLACEMENT_3D('',#2030,#2031,#2032);
#2030 = CARTESIAN_POINT('',(-3.19E-15,-0.88,5.39));
#2031 = DIRECTION('',(4.4E-16,1.,-3.3E-16));
#2032 = DIRECTION('',(5.6E-16,-3.3E-16,-1.));
#2033 = ADVANCED_FACE('',(#2034),#2059,.T.);
#2034 = FACE_BOUND('',#2035,.T.);
#2035 = EDGE_LOOP('',(#2036,#2037,#2045,#2053));
#2036 = ORIENTED_EDGE('',*,*,#2006,.T.);
#2037 = ORIENTED_EDGE('',*,*,#2038,.T.);
#2038 = EDGE_CURVE('',#2009,#2039,#2041,.T.);
#2039 = VERTEX_POINT('',#2040);
#2040 = CARTESIAN_POINT('',(5.65,2.32,5.39));
#2041 = LINE('',#2042,#2043);
#2042 = CARTESIAN_POINT('',(5.65,-0.88,5.39));
#2043 = VECTOR('',#2044,1.);
#2044 = DIRECTION('',(-2.2E-16,1.,-3.3E-16));
#2045 = ORIENTED_EDGE('',*,*,#2046,.F.);
#2046 = EDGE_CURVE('',#2047,#2039,#2049,.T.);
#2047 = VERTEX_POINT('',#2048);
#2048 = CARTESIAN_POINT('',(-2.E-15,2.32,5.39));
#2049 = LINE('',#2050,#2051);
#2050 = CARTESIAN_POINT('',(-2.48E-15,2.32,5.39));
#2051 = VECTOR('',#2052,1.);
#2052 = DIRECTION('',(1.,-4.4E-16,3.9E-16));
#2053 = ORIENTED_EDGE('',*,*,#2054,.F.);
#2054 = EDGE_CURVE('',#2007,#2047,#2055,.T.);
#2055 = LINE('',#2056,#2057);
#2056 = CARTESIAN_POINT('',(-1.6E-15,-0.88,5.39));
#2057 = VECTOR('',#2058,1.);
#2058 = DIRECTION('',(-2.2E-16,1.,-3.3E-16));
#2059 = PLANE('',#2060);
#2060 = AXIS2_PLACEMENT_3D('',#2061,#2062,#2063);
#2061 = CARTESIAN_POINT('',(-3.19E-15,-0.88,5.39));
#2062 = DIRECTION('',(-3.9E-16,5.6E-16,1.));
#2063 = DIRECTION('',(2.2E-16,1.,-5.6E-16));
#2064 = ADVANCED_FACE('',(#2065),#2090,.T.);
#2065 = FACE_BOUND('',#2066,.T.);
#2066 = EDGE_LOOP('',(#2067,#2068,#2076,#2084));
#2067 = ORIENTED_EDGE('',*,*,#2046,.T.);
#2068 = ORIENTED_EDGE('',*,*,#2069,.T.);
#2069 = EDGE_CURVE('',#2039,#2070,#2072,.T.);
#2070 = VERTEX_POINT('',#2071);
#2071 = CARTESIAN_POINT('',(5.65,2.32,1.E-15));
#2072 = LINE('',#2073,#2074);
#2073 = CARTESIAN_POINT('',(5.65,2.32,5.39));
#2074 = VECTOR('',#2075,1.);
#2075 = DIRECTION('',(3.3E-16,1.1E-16,-1.));
#2076 = ORIENTED_EDGE('',*,*,#2077,.F.);
#2077 = EDGE_CURVE('',#2078,#2070,#2080,.T.);
#2078 = VERTEX_POINT('',#2079);
#2079 = CARTESIAN_POINT('',(1.E-15,2.32,-2.E-15));
#2080 = LINE('',#2081,#2082);
#2081 = CARTESIAN_POINT('',(5.2E-16,2.32,-1.29E-15));
#2082 = VECTOR('',#2083,1.);
#2083 = DIRECTION('',(1.,-4.4E-16,3.9E-16));
#2084 = ORIENTED_EDGE('',*,*,#2085,.F.);
#2085 = EDGE_CURVE('',#2047,#2078,#2086,.T.);
#2086 = LINE('',#2087,#2088);
#2087 = CARTESIAN_POINT('',(-2.31E-15,2.32,5.39));
#2088 = VECTOR('',#2089,1.);
#2089 = DIRECTION('',(3.3E-16,1.1E-16,-1.));
#2090 = PLANE('',#2091);
#2091 = AXIS2_PLACEMENT_3D('',#2092,#2093,#2094);
#2092 = CARTESIAN_POINT('',(-2.48E-15,2.32,5.39));
#2093 = DIRECTION('',(4.4E-16,1.,-3.3E-16));
#2094 = DIRECTION('',(5.6E-16,-3.3E-16,-1.));
#2095 = ADVANCED_FACE('',(#2096),#2121,.T.);
#2096 = FACE_BOUND('',#2097,.T.);
#2097 = EDGE_LOOP('',(#2098,#2099,#2107,#2115));
#2098 = ORIENTED_EDGE('',*,*,#2077,.T.);
#2099 = ORIENTED_EDGE('',*,*,#2100,.T.);
#2100 = EDGE_CURVE('',#2070,#2101,#2103,.T.);
#2101 = VERTEX_POINT('',#2102);
#2102 = CARTESIAN_POINT('',(5.65,-3.E-15,2.E-15));
#2103 = LINE('',#2104,#2105);
#2104 = CARTESIAN_POINT('',(5.65,2.32,-1.7763568394E-15));
#2105 = VECTOR('',#2106,1.);
#2106 = DIRECTION('',(2.2E-16,-1.,3.3E-16));
#2107 = ORIENTED_EDGE('',*,*,#2108,.F.);
#2108 = EDGE_CURVE('',#2109,#2101,#2111,.T.);
#2109 = VERTEX_POINT('',#2110);
#2110 = CARTESIAN_POINT('',(0.,0.,0.));
#2111 = LINE('',#2112,#2113);
#2112 = CARTESIAN_POINT('',(0.,0.,0.));
#2113 = VECTOR('',#2114,1.);
#2114 = DIRECTION('',(1.,-4.4E-16,3.9E-16));
#2115 = ORIENTED_EDGE('',*,*,#2116,.F.);
#2116 = EDGE_CURVE('',#2078,#2109,#2117,.T.);
#2117 = LINE('',#2118,#2119);
#2118 = CARTESIAN_POINT('',(-5.2E-16,2.32,-7.7E-16));
#2119 = VECTOR('',#2120,1.);
#2120 = DIRECTION('',(2.2E-16,-1.,3.3E-16));
#2121 = PLANE('',#2122);
#2122 = AXIS2_PLACEMENT_3D('',#2123,#2124,#2125);
#2123 = CARTESIAN_POINT('',(5.2E-16,2.32,-1.29E-15));
#2124 = DIRECTION('',(3.9E-16,-5.6E-16,-1.));
#2125 = DIRECTION('',(-2.2E-16,-1.,5.6E-16));
#2126 = ADVANCED_FACE('',(#2127),#2152,.F.);
#2127 = FACE_BOUND('',#2128,.F.);
#2128 = EDGE_LOOP('',(#2129,#2139,#2145,#2146));
#2129 = ORIENTED_EDGE('',*,*,#2130,.T.);
#2130 = EDGE_CURVE('',#2131,#2133,#2135,.T.);
#2131 = VERTEX_POINT('',#2132);
#2132 = CARTESIAN_POINT('',(-1.E-14,-28.80999999998,2.38E-12));
#2133 = VERTEX_POINT('',#2134);
#2134 = CARTESIAN_POINT('',(5.65,-28.80999999998,2.382E-12));
#2135 = LINE('',#2136,#2137);
#2136 = CARTESIAN_POINT('',(-6.4E-15,-28.80999999998,2.37677E-12));
#2137 = VECTOR('',#2138,1.);
#2138 = DIRECTION('',(1.,-4.4E-16,3.9E-16));
#2139 = ORIENTED_EDGE('',*,*,#2140,.T.);
#2140 = EDGE_CURVE('',#2133,#2101,#2141,.T.);
#2141 = LINE('',#2142,#2143);
#2142 = CARTESIAN_POINT('',(5.65,-28.80999999998,2.36966002376E-12));
#2143 = VECTOR('',#2144,1.);
#2144 = DIRECTION('',(-2.2E-16,1.,-8.228E-14));
#2145 = ORIENTED_EDGE('',*,*,#2108,.F.);
#2146 = ORIENTED_EDGE('',*,*,#2147,.F.);
#2147 = EDGE_CURVE('',#2131,#2109,#2148,.T.);
#2148 = LINE('',#2149,#2150);
#2149 = CARTESIAN_POINT('',(6.4E-15,-28.80999999998,2.37037E-12));
#2150 = VECTOR('',#2151,1.);
#2151 = DIRECTION('',(-2.2E-16,1.,-8.228E-14));
#2152 = PLANE('',#2153);
#2153 = AXIS2_PLACEMENT_3D('',#2154,#2155,#2156);
#2154 = CARTESIAN_POINT('',(-6.4E-15,-28.80999999998,2.37677E-12));
#2155 = DIRECTION('',(-3.9E-16,8.25E-14,1.));
#2156 = DIRECTION('',(2.2E-16,1.,-8.25E-14));
#2157 = ADVANCED_FACE('',(#2158),#2185,.T.);
#2158 = FACE_BOUND('',#2159,.T.);
#2159 = EDGE_LOOP('',(#2160,#2169,#2170,#2179));
#2160 = ORIENTED_EDGE('',*,*,#2161,.T.);
#2161 = EDGE_CURVE('',#2162,#2131,#2164,.T.);
#2162 = VERTEX_POINT('',#2163);
#2163 = CARTESIAN_POINT('',(-9.E-15,-10.81,10.));
#2164 = CIRCLE('',#2165,21.199999999983);
#2165 = AXIS2_PLACEMENT_3D('',#2166,#2167,#2168);
#2166 = CARTESIAN_POINT('',(6.13E-15,-10.81,-11.19999999998));
#2167 = DIRECTION('',(1.,2.2E-16,3.3E-16));
#2168 = DIRECTION('',(-2.2E-16,1.,-3.3E-16));
#2169 = ORIENTED_EDGE('',*,*,#2130,.T.);
#2170 = ORIENTED_EDGE('',*,*,#2171,.F.);
#2171 = EDGE_CURVE('',#2172,#2133,#2174,.T.);
#2172 = VERTEX_POINT('',#2173);
#2173 = CARTESIAN_POINT('',(5.65,-10.81,10.));
#2174 = CIRCLE('',#2175,21.199999999983);
#2175 = AXIS2_PLACEMENT_3D('',#2176,#2177,#2178);
#2176 = CARTESIAN_POINT('',(5.65,-10.81,-11.19999999998));
#2177 = DIRECTION('',(1.,2.2E-16,3.3E-16));
#2178 = DIRECTION('',(-2.2E-16,1.,-3.3E-16));
#2179 = ORIENTED_EDGE('',*,*,#2180,.F.);
#2180 = EDGE_CURVE('',#2162,#2172,#2181,.T.);
#2181 = LINE('',#2182,#2183);
#2182 = CARTESIAN_POINT('',(-7.95E-15,-10.81,10.));
#2183 = VECTOR('',#2184,1.);
#2184 = DIRECTION('',(1.,-4.4E-16,3.9E-16));
#2185 = CYLINDRICAL_SURFACE('',#2186,21.199999999983);
#2186 = AXIS2_PLACEMENT_3D('',#2187,#2188,#2189);
#2187 = CARTESIAN_POINT('',(3.82E-15,-10.81,-11.19999999998));
#2188 = DIRECTION('',(-1.,2.2E-16,-5.6E-16));
#2189 = DIRECTION('',(2.2E-16,1.,-5.6E-16));
#2190 = ADVANCED_FACE('',(#2191),#2207,.F.);
#2191 = FACE_BOUND('',#2192,.F.);
#2192 = EDGE_LOOP('',(#2193,#2194,#2200,#2201));
#2193 = ORIENTED_EDGE('',*,*,#1992,.T.);
#2194 = ORIENTED_EDGE('',*,*,#2195,.T.);
#2195 = EDGE_CURVE('',#1984,#2172,#2196,.T.);
#2196 = LINE('',#2197,#2198);
#2197 = CARTESIAN_POINT('',(5.65,-1.81,3.43));
#2198 = VECTOR('',#2199,1.);
#2199 = DIRECTION('',(-2.E-17,-0.807686990835,0.58961150331));
#2200 = ORIENTED_EDGE('',*,*,#2180,.F.);
#2201 = ORIENTED_EDGE('',*,*,#2202,.F.);
#2202 = EDGE_CURVE('',#1965,#2162,#2203,.T.);
#2203 = LINE('',#2204,#2205);
#2204 = CARTESIAN_POINT('',(-7.4E-16,-1.81,3.43));
#2205 = VECTOR('',#2206,1.);
#2206 = DIRECTION('',(-2.E-17,-0.807686990835,0.58961150331));
#2207 = PLANE('',#2208);
#2208 = AXIS2_PLACEMENT_3D('',#2209,#2210,#2211);
#2209 = CARTESIAN_POINT('',(-2.31E-15,-1.81,3.43));
#2210 = DIRECTION('',(5.000000000001E-17,-0.58961150331,-0.807686990835)
  );
#2211 = DIRECTION('',(-5.100000000001E-16,-0.807686990835,0.58961150331)
  );
#2212 = ADVANCED_FACE('',(#2213),#2223,.F.);
#2213 = FACE_BOUND('',#2214,.T.);
#2214 = EDGE_LOOP('',(#2215,#2216,#2217,#2218,#2219,#2220,#2221,#2222));
#2215 = ORIENTED_EDGE('',*,*,#1964,.T.);
#2216 = ORIENTED_EDGE('',*,*,#2023,.F.);
#2217 = ORIENTED_EDGE('',*,*,#2054,.T.);
#2218 = ORIENTED_EDGE('',*,*,#2085,.T.);
#2219 = ORIENTED_EDGE('',*,*,#2116,.T.);
#2220 = ORIENTED_EDGE('',*,*,#2147,.F.);
#2221 = ORIENTED_EDGE('',*,*,#2161,.F.);
#2222 = ORIENTED_EDGE('',*,*,#2202,.F.);
#2223 = PLANE('',#2224);
#2224 = AXIS2_PLACEMENT_3D('',#2225,#2226,#2227);
#2225 = CARTESIAN_POINT('',(-1.88E-15,-12.14259023678,3.391724726634));
#2226 = DIRECTION('',(1.,-4.4E-16,1.1E-16));
#2227 = DIRECTION('',(-1.1E-16,-1.1E-16,1.));
#2228 = ADVANCED_FACE('',(#2229),#2239,.T.);
#2229 = FACE_BOUND('',#2230,.F.);
#2230 = EDGE_LOOP('',(#2231,#2232,#2233,#2234,#2235,#2236,#2237,#2238));
#2231 = ORIENTED_EDGE('',*,*,#1983,.T.);
#2232 = ORIENTED_EDGE('',*,*,#2016,.F.);
#2233 = ORIENTED_EDGE('',*,*,#2038,.T.);
#2234 = ORIENTED_EDGE('',*,*,#2069,.T.);
#2235 = ORIENTED_EDGE('',*,*,#2100,.T.);
#2236 = ORIENTED_EDGE('',*,*,#2140,.F.);
#2237 = ORIENTED_EDGE('',*,*,#2171,.F.);
#2238 = ORIENTED_EDGE('',*,*,#2195,.F.);
#2239 = PLANE('',#2240);
#2240 = AXIS2_PLACEMENT_3D('',#2241,#2242,#2243);
#2241 = CARTESIAN_POINT('',(5.65,-12.14259023678,3.391724726634));
#2242 = DIRECTION('',(1.,-4.4E-16,1.1E-16));
#2243 = DIRECTION('',(-1.1E-16,-1.1E-16,1.));
#2244 = ( GEOMETRIC_REPRESENTATION_CONTEXT(3) 
GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT((#2248)) 
GLOBAL_UNIT_ASSIGNED_CONTEXT((#2245,#2246,#2247)) REPRESENTATION_CONTEXT
('Context #1','3D Context with UNIT and UNCERTAINTY') );
#2245 = ( LENGTH_UNIT() NAMED_UNIT(*) SI_UNIT(.MILLI.,.METRE.) );
#2246 = ( NAMED_UNIT(*) PLANE_ANGLE_UNIT() SI_UNIT($,.RADIAN.) );
#2247 = ( NAMED_UNIT(*) SI_UNIT($,.STERADIAN.) SOLID_ANGLE_UNIT() );
#2248 = UNCERTAINTY_MEASURE_WITH_UNIT(LENGTH_MEASURE(1.E-07),#2245,
  'distance_accuracy_value','confusion accuracy');
#2249 = SHAPE_DEFINITION_REPRESENTATION(#2250,#1957);
#2250 = PRODUCT_DEFINITION_SHAPE('','',#2251);
#2251 = PRODUCT_DEFINITION('design','',#2252,#2255);
#2252 = PRODUCT_DEFINITION_FORMATION('','',#2253);
#2253 = PRODUCT('butterfly_laser_socket_clamp_part_2_001',
  'butterfly_laser_socket_clamp_part_2_001','',(#2254));
#2254 = PRODUCT_CONTEXT('',#2,'mechanical');
#2255 = PRODUCT_DEFINITION_CONTEXT('part definition',#2,'design');
#2256 = CONTEXT_DEPENDENT_SHAPE_REPRESENTATION(#2257,#2259);
#2257 = ( REPRESENTATION_RELATIONSHIP('','',#1957,#10) 
REPRESENTATION_RELATIONSHIP_WITH_TRANSFORMATION(#2258) 
SHAPE_REPRESENTATION_RELATIONSHIP() );
#2258 = ITEM_DEFINED_TRANSFORMATION('','',#11,#19);
#2259 = PRODUCT_DEFINITION_SHAPE('Placement','Placement of an item',
  #2260);
#2260 = NEXT_ASSEMBLY_USAGE_OCCURRENCE('2',
  'butterfly_laser_socket_clamp_part_2_001','',#5,#2251,$);
#2261 = PRODUCT_RELATED_PRODUCT_CATEGORY('part',$,(#2253));
#2262 = ADVANCED_BREP_SHAPE_REPRESENTATION('',(#11,#2263),#2545);
#2263 = MANIFOLD_SOLID_BREP('',#2264);
#2264 = CLOSED_SHELL('',(#2265,#2305,#2336,#2367,#2398,#2429,#2460,#2491
    ,#2513,#2529));
#2265 = ADVANCED_FACE('',(#2266),#2300,.F.);
#2266 = FACE_BOUND('',#2267,.F.);
#2267 = EDGE_LOOP('',(#2268,#2278,#2286,#2294));
#2268 = ORIENTED_EDGE('',*,*,#2269,.T.);
#2269 = EDGE_CURVE('',#2270,#2272,#2274,.T.);
#2270 = VERTEX_POINT('',#2271);
#2271 = CARTESIAN_POINT('',(1.E-15,3.4,-2.E-15));
#2272 = VERTEX_POINT('',#2273);
#2273 = CARTESIAN_POINT('',(5.65,3.4,0.));
#2274 = LINE('',#2275,#2276);
#2275 = CARTESIAN_POINT('',(7.5E-16,3.4,-1.89E-15));
#2276 = VECTOR('',#2277,1.);
#2277 = DIRECTION('',(1.,-4.4E-16,3.9E-16));
#2278 = ORIENTED_EDGE('',*,*,#2279,.T.);
#2279 = EDGE_CURVE('',#2272,#2280,#2282,.T.);
#2280 = VERTEX_POINT('',#2281);
#2281 = CARTESIAN_POINT('',(5.65,9.5,-4.E-15));
#2282 = LINE('',#2283,#2284);
#2283 = CARTESIAN_POINT('',(5.65,3.4,-1.7763568394E-15));
#2284 = VECTOR('',#2285,1.);
#2285 = DIRECTION('',(-2.2E-16,1.,-3.3E-16));
#2286 = ORIENTED_EDGE('',*,*,#2287,.F.);
#2287 = EDGE_CURVE('',#2288,#2280,#2290,.T.);
#2288 = VERTEX_POINT('',#2289);
#2289 = CARTESIAN_POINT('',(3.E-15,9.5,-6.E-15));
#2290 = LINE('',#2291,#2292);
#2291 = CARTESIAN_POINT('',(2.11E-15,9.5,-5.27E-15));
#2292 = VECTOR('',#2293,1.);
#2293 = DIRECTION('',(1.,-4.4E-16,3.9E-16));
#2294 = ORIENTED_EDGE('',*,*,#2295,.F.);
#2295 = EDGE_CURVE('',#2270,#2288,#2296,.T.);
#2296 = LINE('',#2297,#2298);
#2297 = CARTESIAN_POINT('',(-7.5E-16,3.4,-1.13E-15));
#2298 = VECTOR('',#2299,1.);
#2299 = DIRECTION('',(-2.2E-16,1.,-3.3E-16));
#2300 = PLANE('',#2301);
#2301 = AXIS2_PLACEMENT_3D('',#2302,#2303,#2304);
#2302 = CARTESIAN_POINT('',(7.5E-16,3.4,-1.89E-15));
#2303 = DIRECTION('',(-3.9E-16,5.6E-16,1.));
#2304 = DIRECTION('',(2.2E-16,1.,-5.6E-16));
#2305 = ADVANCED_FACE('',(#2306),#2331,.F.);
#2306 = FACE_BOUND('',#2307,.F.);
#2307 = EDGE_LOOP('',(#2308,#2309,#2317,#2325));
#2308 = ORIENTED_EDGE('',*,*,#2287,.T.);
#2309 = ORIENTED_EDGE('',*,*,#2310,.T.);
#2310 = EDGE_CURVE('',#2280,#2311,#2313,.T.);
#2311 = VERTEX_POINT('',#2312);
#2312 = CARTESIAN_POINT('',(5.65,9.5,11.));
#2313 = LINE('',#2314,#2315);
#2314 = CARTESIAN_POINT('',(5.65,9.5,-4.440892098501E-15));
#2315 = VECTOR('',#2316,1.);
#2316 = DIRECTION('',(-3.3E-16,-1.1E-16,1.));
#2317 = ORIENTED_EDGE('',*,*,#2318,.F.);
#2318 = EDGE_CURVE('',#2319,#2311,#2321,.T.);
#2319 = VERTEX_POINT('',#2320);
#2320 = CARTESIAN_POINT('',(-3.E-15,9.5,11.));
#2321 = LINE('',#2322,#2323);
#2322 = CARTESIAN_POINT('',(-4.E-15,9.5,11.));
#2323 = VECTOR('',#2324,1.);
#2324 = DIRECTION('',(1.,-4.4E-16,3.9E-16));
#2325 = ORIENTED_EDGE('',*,*,#2326,.F.);
#2326 = EDGE_CURVE('',#2288,#2319,#2327,.T.);
#2327 = LINE('',#2328,#2329);
#2328 = CARTESIAN_POINT('',(-2.11E-15,9.5,-3.16E-15));
#2329 = VECTOR('',#2330,1.);
#2330 = DIRECTION('',(-3.3E-16,-1.1E-16,1.));
#2331 = PLANE('',#2332);
#2332 = AXIS2_PLACEMENT_3D('',#2333,#2334,#2335);
#2333 = CARTESIAN_POINT('',(2.11E-15,9.5,-5.27E-15));
#2334 = DIRECTION('',(-4.4E-16,-1.,3.3E-16));
#2335 = DIRECTION('',(-5.6E-16,3.3E-16,1.));
#2336 = ADVANCED_FACE('',(#2337),#2362,.F.);
#2337 = FACE_BOUND('',#2338,.F.);
#2338 = EDGE_LOOP('',(#2339,#2340,#2348,#2356));
#2339 = ORIENTED_EDGE('',*,*,#2318,.T.);
#2340 = ORIENTED_EDGE('',*,*,#2341,.T.);
#2341 = EDGE_CURVE('',#2311,#2342,#2344,.T.);
#2342 = VERTEX_POINT('',#2343);
#2343 = CARTESIAN_POINT('',(5.65,-2.3,7.8));
#2344 = LINE('',#2345,#2346);
#2345 = CARTESIAN_POINT('',(5.65,9.5,11.));
#2346 = VECTOR('',#2347,1.);
#2347 = DIRECTION('',(3.E-16,-0.96514032777,-0.261732970243));
#2348 = ORIENTED_EDGE('',*,*,#2349,.F.);
#2349 = EDGE_CURVE('',#2350,#2342,#2352,.T.);
#2350 = VERTEX_POINT('',#2351);
#2351 = CARTESIAN_POINT('',(-5.E-15,-2.3,7.8));
#2352 = LINE('',#2353,#2354);
#2353 = CARTESIAN_POINT('',(-4.84E-15,-2.3,7.8));
#2354 = VECTOR('',#2355,1.);
#2355 = DIRECTION('',(1.,-4.4E-16,3.9E-16));
#2356 = ORIENTED_EDGE('',*,*,#2357,.F.);
#2357 = EDGE_CURVE('',#2319,#2350,#2358,.T.);
#2358 = LINE('',#2359,#2360);
#2359 = CARTESIAN_POINT('',(-5.77E-15,9.5,11.));
#2360 = VECTOR('',#2361,1.);
#2361 = DIRECTION('',(3.E-16,-0.96514032777,-0.261732970243));
#2362 = PLANE('',#2363);
#2363 = AXIS2_PLACEMENT_3D('',#2364,#2365,#2366);
#2364 = CARTESIAN_POINT('',(-4.E-15,9.5,11.));
#2365 = DIRECTION('',(4.899999999999E-16,0.261732970243,-0.96514032777)
  );
#2366 = DIRECTION('',(-6.999999999999E-17,-0.96514032777,-0.261732970243
    ));
#2367 = ADVANCED_FACE('',(#2368),#2393,.F.);
#2368 = FACE_BOUND('',#2369,.F.);
#2369 = EDGE_LOOP('',(#2370,#2371,#2379,#2387));
#2370 = ORIENTED_EDGE('',*,*,#2349,.T.);
#2371 = ORIENTED_EDGE('',*,*,#2372,.T.);
#2372 = EDGE_CURVE('',#2342,#2373,#2375,.T.);
#2373 = VERTEX_POINT('',#2374);
#2374 = CARTESIAN_POINT('',(5.65,-2.3,3.8));
#2375 = LINE('',#2376,#2377);
#2376 = CARTESIAN_POINT('',(5.65,-2.3,7.8));
#2377 = VECTOR('',#2378,1.);
#2378 = DIRECTION('',(3.3E-16,1.1E-16,-1.));
#2379 = ORIENTED_EDGE('',*,*,#2380,.F.);
#2380 = EDGE_CURVE('',#2381,#2373,#2383,.T.);
#2381 = VERTEX_POINT('',#2382);
#2382 = CARTESIAN_POINT('',(-3.E-15,-2.3,3.8));
#2383 = LINE('',#2384,#2385);
#2384 = CARTESIAN_POINT('',(-2.62E-15,-2.3,3.8));
#2385 = VECTOR('',#2386,1.);
#2386 = DIRECTION('',(1.,-4.4E-16,3.9E-16));
#2387 = ORIENTED_EDGE('',*,*,#2388,.F.);
#2388 = EDGE_CURVE('',#2350,#2381,#2389,.T.);
#2389 = LINE('',#2390,#2391);
#2390 = CARTESIAN_POINT('',(-2.09E-15,-2.3,7.8));
#2391 = VECTOR('',#2392,1.);
#2392 = DIRECTION('',(3.3E-16,1.1E-16,-1.));
#2393 = PLANE('',#2394);
#2394 = AXIS2_PLACEMENT_3D('',#2395,#2396,#2397);
#2395 = CARTESIAN_POINT('',(-4.84E-15,-2.3,7.8));
#2396 = DIRECTION('',(4.4E-16,1.,-3.3E-16));
#2397 = DIRECTION('',(5.6E-16,-3.3E-16,-1.));
#2398 = ADVANCED_FACE('',(#2399),#2424,.F.);
#2399 = FACE_BOUND('',#2400,.F.);
#2400 = EDGE_LOOP('',(#2401,#2402,#2410,#2418));
#2401 = ORIENTED_EDGE('',*,*,#2380,.T.);
#2402 = ORIENTED_EDGE('',*,*,#2403,.T.);
#2403 = EDGE_CURVE('',#2373,#2404,#2406,.T.);
#2404 = VERTEX_POINT('',#2405);
#2405 = CARTESIAN_POINT('',(5.65,-0.89,3.8));
#2406 = LINE('',#2407,#2408);
#2407 = CARTESIAN_POINT('',(5.65,-2.3,3.8));
#2408 = VECTOR('',#2409,1.);
#2409 = DIRECTION('',(-2.2E-16,1.,-3.3E-16));
#2410 = ORIENTED_EDGE('',*,*,#2411,.F.);
#2411 = EDGE_CURVE('',#2412,#2404,#2414,.T.);
#2412 = VERTEX_POINT('',#2413);
#2413 = CARTESIAN_POINT('',(-2.E-15,-0.89,3.8));
#2414 = LINE('',#2415,#2416);
#2415 = CARTESIAN_POINT('',(-2.31E-15,-0.89,3.8));
#2416 = VECTOR('',#2417,1.);
#2417 = DIRECTION('',(1.,-4.4E-16,3.9E-16));
#2418 = ORIENTED_EDGE('',*,*,#2419,.F.);
#2419 = EDGE_CURVE('',#2381,#2412,#2420,.T.);
#2420 = LINE('',#2421,#2422);
#2421 = CARTESIAN_POINT('',(-7.5E-16,-2.3,3.8));
#2422 = VECTOR('',#2423,1.);
#2423 = DIRECTION('',(-2.2E-16,1.,-3.3E-16));
#2424 = PLANE('',#2425);
#2425 = AXIS2_PLACEMENT_3D('',#2426,#2427,#2428);
#2426 = CARTESIAN_POINT('',(-2.62E-15,-2.3,3.8));
#2427 = DIRECTION('',(-3.9E-16,5.6E-16,1.));
#2428 = DIRECTION('',(2.2E-16,1.,-5.6E-16));
#2429 = ADVANCED_FACE('',(#2430),#2455,.F.);
#2430 = FACE_BOUND('',#2431,.F.);
#2431 = EDGE_LOOP('',(#2432,#2433,#2441,#2449));
#2432 = ORIENTED_EDGE('',*,*,#2411,.T.);
#2433 = ORIENTED_EDGE('',*,*,#2434,.T.);
#2434 = EDGE_CURVE('',#2404,#2435,#2437,.T.);
#2435 = VERTEX_POINT('',#2436);
#2436 = CARTESIAN_POINT('',(5.65,-0.89,5.4));
#2437 = LINE('',#2438,#2439);
#2438 = CARTESIAN_POINT('',(5.65,-0.89,3.8));
#2439 = VECTOR('',#2440,1.);
#2440 = DIRECTION('',(-3.3E-16,-1.1E-16,1.));
#2441 = ORIENTED_EDGE('',*,*,#2442,.F.);
#2442 = EDGE_CURVE('',#2443,#2435,#2445,.T.);
#2443 = VERTEX_POINT('',#2444);
#2444 = CARTESIAN_POINT('',(-3.E-15,-0.89,5.4));
#2445 = LINE('',#2446,#2447);
#2446 = CARTESIAN_POINT('',(-3.2E-15,-0.89,5.4));
#2447 = VECTOR('',#2448,1.);
#2448 = DIRECTION('',(1.,-4.4E-16,3.9E-16));
#2449 = ORIENTED_EDGE('',*,*,#2450,.F.);
#2450 = EDGE_CURVE('',#2412,#2443,#2451,.T.);
#2451 = LINE('',#2452,#2453);
#2452 = CARTESIAN_POINT('',(-1.07E-15,-0.89,3.8));
#2453 = VECTOR('',#2454,1.);
#2454 = DIRECTION('',(-3.3E-16,-1.1E-16,1.));
#2455 = PLANE('',#2456);
#2456 = AXIS2_PLACEMENT_3D('',#2457,#2458,#2459);
#2457 = CARTESIAN_POINT('',(-2.31E-15,-0.89,3.8));
#2458 = DIRECTION('',(-4.4E-16,-1.,3.3E-16));
#2459 = DIRECTION('',(-5.6E-16,3.3E-16,1.));
#2460 = ADVANCED_FACE('',(#2461),#2486,.F.);
#2461 = FACE_BOUND('',#2462,.F.);
#2462 = EDGE_LOOP('',(#2463,#2464,#2472,#2480));
#2463 = ORIENTED_EDGE('',*,*,#2442,.T.);
#2464 = ORIENTED_EDGE('',*,*,#2465,.T.);
#2465 = EDGE_CURVE('',#2435,#2466,#2468,.T.);
#2466 = VERTEX_POINT('',#2467);
#2467 = CARTESIAN_POINT('',(5.65,3.4,5.9));
#2468 = LINE('',#2469,#2470);
#2469 = CARTESIAN_POINT('',(5.65,-0.89,5.4));
#2470 = VECTOR('',#2471,1.);
#2471 = DIRECTION('',(-2.599999999999E-16,0.993276457247,0.115766486859)
  );
#2472 = ORIENTED_EDGE('',*,*,#2473,.F.);
#2473 = EDGE_CURVE('',#2474,#2466,#2476,.T.);
#2474 = VERTEX_POINT('',#2475);
#2475 = CARTESIAN_POINT('',(-2.E-15,3.4,5.9));
#2476 = LINE('',#2477,#2478);
#2477 = CARTESIAN_POINT('',(-2.52E-15,3.4,5.9));
#2478 = VECTOR('',#2479,1.);
#2479 = DIRECTION('',(1.,-4.4E-16,3.9E-16));
#2480 = ORIENTED_EDGE('',*,*,#2481,.F.);
#2481 = EDGE_CURVE('',#2443,#2474,#2482,.T.);
#2482 = LINE('',#2483,#2484);
#2483 = CARTESIAN_POINT('',(-1.6E-15,-0.89,5.4));
#2484 = VECTOR('',#2485,1.);
#2485 = DIRECTION('',(-2.599999999999E-16,0.993276457247,0.115766486859)
  );
#2486 = PLANE('',#2487);
#2487 = AXIS2_PLACEMENT_3D('',#2488,#2489,#2490);
#2488 = CARTESIAN_POINT('',(-3.2E-15,-0.89,5.4));
#2489 = DIRECTION('',(-4.399999999998E-16,-0.115766486859,0.993276457247
    ));
#2490 = DIRECTION('',(1.599999999999E-16,0.993276457247,0.115766486859)
  );
#2491 = ADVANCED_FACE('',(#2492),#2508,.F.);
#2492 = FACE_BOUND('',#2493,.F.);
#2493 = EDGE_LOOP('',(#2494,#2495,#2501,#2502));
#2494 = ORIENTED_EDGE('',*,*,#2473,.T.);
#2495 = ORIENTED_EDGE('',*,*,#2496,.T.);
#2496 = EDGE_CURVE('',#2466,#2272,#2497,.T.);
#2497 = LINE('',#2498,#2499);
#2498 = CARTESIAN_POINT('',(5.65,3.4,5.9));
#2499 = VECTOR('',#2500,1.);
#2500 = DIRECTION('',(3.3E-16,1.1E-16,-1.));
#2501 = ORIENTED_EDGE('',*,*,#2269,.F.);
#2502 = ORIENTED_EDGE('',*,*,#2503,.F.);
#2503 = EDGE_CURVE('',#2474,#2270,#2504,.T.);
#2504 = LINE('',#2505,#2506);
#2505 = CARTESIAN_POINT('',(-2.72E-15,3.4,5.9));
#2506 = VECTOR('',#2507,1.);
#2507 = DIRECTION('',(3.3E-16,1.1E-16,-1.));
#2508 = PLANE('',#2509);
#2509 = AXIS2_PLACEMENT_3D('',#2510,#2511,#2512);
#2510 = CARTESIAN_POINT('',(-2.52E-15,3.4,5.9));
#2511 = DIRECTION('',(4.4E-16,1.,-3.3E-16));
#2512 = DIRECTION('',(5.6E-16,-3.3E-16,-1.));
#2513 = ADVANCED_FACE('',(#2514),#2524,.F.);
#2514 = FACE_BOUND('',#2515,.F.);
#2515 = EDGE_LOOP('',(#2516,#2517,#2518,#2519,#2520,#2521,#2522,#2523));
#2516 = ORIENTED_EDGE('',*,*,#2295,.T.);
#2517 = ORIENTED_EDGE('',*,*,#2326,.T.);
#2518 = ORIENTED_EDGE('',*,*,#2357,.T.);
#2519 = ORIENTED_EDGE('',*,*,#2388,.T.);
#2520 = ORIENTED_EDGE('',*,*,#2419,.T.);
#2521 = ORIENTED_EDGE('',*,*,#2450,.T.);
#2522 = ORIENTED_EDGE('',*,*,#2481,.T.);
#2523 = ORIENTED_EDGE('',*,*,#2503,.T.);
#2524 = PLANE('',#2525);
#2525 = AXIS2_PLACEMENT_3D('',#2526,#2527,#2528);
#2526 = CARTESIAN_POINT('',(-3.02E-15,4.305997918483,5.437666335258));
#2527 = DIRECTION('',(1.,-4.4E-16,1.1E-16));
#2528 = DIRECTION('',(-1.1E-16,-1.1E-16,1.));
#2529 = ADVANCED_FACE('',(#2530),#2540,.T.);
#2530 = FACE_BOUND('',#2531,.T.);
#2531 = EDGE_LOOP('',(#2532,#2533,#2534,#2535,#2536,#2537,#2538,#2539));
#2532 = ORIENTED_EDGE('',*,*,#2279,.T.);
#2533 = ORIENTED_EDGE('',*,*,#2310,.T.);
#2534 = ORIENTED_EDGE('',*,*,#2341,.T.);
#2535 = ORIENTED_EDGE('',*,*,#2372,.T.);
#2536 = ORIENTED_EDGE('',*,*,#2403,.T.);
#2537 = ORIENTED_EDGE('',*,*,#2434,.T.);
#2538 = ORIENTED_EDGE('',*,*,#2465,.T.);
#2539 = ORIENTED_EDGE('',*,*,#2496,.T.);
#2540 = PLANE('',#2541);
#2541 = AXIS2_PLACEMENT_3D('',#2542,#2543,#2544);
#2542 = CARTESIAN_POINT('',(5.65,4.305997918483,5.437666335258));
#2543 = DIRECTION('',(1.,-4.4E-16,1.1E-16));
#2544 = DIRECTION('',(-1.1E-16,-1.1E-16,1.));
#2545 = ( GEOMETRIC_REPRESENTATION_CONTEXT(3) 
GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT((#2549)) 
GLOBAL_UNIT_ASSIGNED_CONTEXT((#2546,#2547,#2548)) REPRESENTATION_CONTEXT
('Context #1','3D Context with UNIT and UNCERTAINTY') );
#2546 = ( LENGTH_UNIT() NAMED_UNIT(*) SI_UNIT(.MILLI.,.METRE.) );
#2547 = ( NAMED_UNIT(*) PLANE_ANGLE_UNIT() SI_UNIT($,.RADIAN.) );
#2548 = ( NAMED_UNIT(*) SI_UNIT($,.STERADIAN.) SOLID_ANGLE_UNIT() );
#2549 = UNCERTAINTY_MEASURE_WITH_UNIT(LENGTH_MEASURE(1.E-07),#2546,
  'distance_accuracy_value','confusion accuracy');
#2550 = SHAPE_DEFINITION_REPRESENTATION(#2551,#2262);
#2551 = PRODUCT_DEFINITION_SHAPE('','',#2552);
#2552 = PRODUCT_DEFINITION('design','',#2553,#2556);
#2553 = PRODUCT_DEFINITION_FORMATION('','',#2554);
#2554 = PRODUCT('butterfly_laser_socket_clamp_part_3_001',
  'butterfly_laser_socket_clamp_part_3_001','',(#2555));
#2555 = PRODUCT_CONTEXT('',#2,'mechanical');
#2556 = PRODUCT_DEFINITION_CONTEXT('part definition',#2,'design');
#2557 = CONTEXT_DEPENDENT_SHAPE_REPRESENTATION(#2558,#2560);
#2558 = ( REPRESENTATION_RELATIONSHIP('','',#2262,#10) 
REPRESENTATION_RELATIONSHIP_WITH_TRANSFORMATION(#2559) 
SHAPE_REPRESENTATION_RELATIONSHIP() );
#2559 = ITEM_DEFINED_TRANSFORMATION('','',#11,#23);
#2560 = PRODUCT_DEFINITION_SHAPE('Placement','Placement of an item',
  #2561);
#2561 = NEXT_ASSEMBLY_USAGE_OCCURRENCE('3',
  'butterfly_laser_socket_clamp_part_3_001','',#5,#2552,$);
#2562 = PRODUCT_RELATED_PRODUCT_CATEGORY('part',$,(#2554));
#2563 = MECHANICAL_DESIGN_GEOMETRIC_PRESENTATION_REPRESENTATION('',(
    #2564),#1939);
#2564 = STYLED_ITEM('color',(#2565),#34);
#2565 = PRESENTATION_STYLE_ASSIGNMENT((#2566,#2572));
#2566 = SURFACE_STYLE_USAGE(.BOTH.,#2567);
#2567 = SURFACE_SIDE_STYLE('',(#2568));
#2568 = SURFACE_STYLE_FILL_AREA(#2569);
#2569 = FILL_AREA_STYLE('',(#2570));
#2570 = FILL_AREA_STYLE_COLOUR('',#2571);
#2571 = COLOUR_RGB('',0.800000010877,0.800000010877,0.800000010877);
#2572 = CURVE_STYLE('',#2573,POSITIVE_LENGTH_MEASURE(0.1),#2574);
#2573 = DRAUGHTING_PRE_DEFINED_CURVE_FONT('continuous');
#2574 = COLOUR_RGB('',9.803921802644E-02,9.803921802644E-02,
  9.803921802644E-02);
#2575 = MECHANICAL_DESIGN_GEOMETRIC_PRESENTATION_REPRESENTATION('',(
    #2576),#2545);
#2576 = STYLED_ITEM('color',(#2577),#2263);
#2577 = PRESENTATION_STYLE_ASSIGNMENT((#2578,#2583));
#2578 = SURFACE_STYLE_USAGE(.BOTH.,#2579);
#2579 = SURFACE_SIDE_STYLE('',(#2580));
#2580 = SURFACE_STYLE_FILL_AREA(#2581);
#2581 = FILL_AREA_STYLE('',(#2582));
#2582 = FILL_AREA_STYLE_COLOUR('',#2571);
#2583 = CURVE_STYLE('',#2584,POSITIVE_LENGTH_MEASURE(0.1),#2574);
#2584 = DRAUGHTING_PRE_DEFINED_CURVE_FONT('continuous');
#2585 = MECHANICAL_DESIGN_GEOMETRIC_PRESENTATION_REPRESENTATION('',(
    #2586),#2244);
#2586 = STYLED_ITEM('color',(#2587),#1958);
#2587 = PRESENTATION_STYLE_ASSIGNMENT((#2588,#2593));
#2588 = SURFACE_STYLE_USAGE(.BOTH.,#2589);
#2589 = SURFACE_SIDE_STYLE('',(#2590));
#2590 = SURFACE_STYLE_FILL_AREA(#2591);
#2591 = FILL_AREA_STYLE('',(#2592));
#2592 = FILL_AREA_STYLE_COLOUR('',#2571);
#2593 = CURVE_STYLE('',#2594,POSITIVE_LENGTH_MEASURE(0.1),#2574);
#2594 = DRAUGHTING_PRE_DEFINED_CURVE_FONT('continuous');
ENDSEC;
END-ISO-10303-21;