Raumtempregler/KiCAD/Bauteile/G5RL_1A_E_HR.step

ISO-10303-21;
HEADER;
FILE_DESCRIPTION (( 'STEP AP203' ),
    '1' );
FILE_NAME ('G5RL_1A_E_HR.step',
    '2014-06-25T06:26:48',
    ( 'OSMC1.0    ' ),
    ( ' ' ),
    'SwSTEP 2.0',
    'SolidWorks 2002025',
    '' );
FILE_SCHEMA (( 'CONFIG_CONTROL_DESIGN' ));
ENDSEC;

DATA;
#1 = EDGE_CURVE ( 'NONE', #1855, #521, #804, .T. ) ;
#2 = PLANE ( 'NONE',  #3 ) ;
#3 = AXIS2_PLACEMENT_3D ( 'NONE', #4, #5, #6 ) ;
#4 = CARTESIAN_POINT ( 'NONE',  ( 15.90000000000000000, 15.19999999999999900, 1.149999999999999900 ) ) ;
#5 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.7071067811865470200, -0.7071067811865481300 ) ) ;
#6 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.7071067811865481300, 0.7071067811865470200 ) ) ;
#7 = FACE_BOUND ( 'NONE', #776, .T. ) ;
#8 = FACE_BOUND ( 'NONE', #852, .T. ) ;
#9 = FACE_BOUND ( 'NONE', #621, .T. ) ;
#10 = FACE_BOUND ( 'NONE', #633, .T. ) ;
#11 = FACE_BOUND ( 'NONE', #1994, .T. ) ;
#12 = FACE_OUTER_BOUND ( 'NONE', #586, .T. ) ;
#13 = FACE_BOUND ( 'NONE', #357, .T. ) ;
#14 = FACE_BOUND ( 'NONE', #563, .T. ) ;
#15 = FACE_BOUND ( 'NONE', #615, .T. ) ;
#16 = FACE_BOUND ( 'NONE', #628, .T. ) ;
#17 = FACE_BOUND ( 'NONE', #610, .T. ) ;
#18 = ORIENTED_EDGE ( 'NONE', *, *, #1586, .T. ) ;
#19 = VERTEX_POINT ( 'NONE', #822 ) ;
#20 = PLANE ( 'NONE',  #21 ) ;
#21 = AXIS2_PLACEMENT_3D ( 'NONE', #22, #23, #24 ) ;
#22 = CARTESIAN_POINT ( 'NONE',  ( -2.299999999999999800, 0.4000000000000000200, 2.600000000000000100 ) ) ;
#23 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#24 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#25 = LINE ( 'NONE', #26, #27 ) ;
#26 = CARTESIAN_POINT ( 'NONE',  ( -0.2500000000000000000, 0.4000000000000000200, -0.2500000000000000000 ) ) ;
#27 = VECTOR ( 'NONE', #28, 1000.000000000000000 ) ;
#28 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#29 = LINE ( 'NONE', #30, #31 ) ;
#30 = CARTESIAN_POINT ( 'NONE',  ( -1.399999999999999900, 15.50000000000000000, -8.750000000000000000 ) ) ;
#31 = VECTOR ( 'NONE', #32, 1000.000000000000000 ) ;
#32 = DIRECTION ( 'NONE',  ( 1.301042606982605800E-016, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#33 = LINE ( 'NONE', #34, #35 ) ;
#34 = CARTESIAN_POINT ( 'NONE',  ( -1.399999999999999900, 15.69999999999999900, -8.750000000000000000 ) ) ;
#35 = VECTOR ( 'NONE', #39, 1000.000000000000000 ) ;
#36 = EDGE_CURVE ( 'NONE', #1451, #698, #827, .T. ) ;
#37 = ORIENTED_EDGE ( 'NONE', *, *, #1968, .F. ) ;
#38 = VERTEX_POINT ( 'NONE', #835 ) ;
#39 = DIRECTION ( 'NONE',  ( 1.301042606982605800E-016, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#40 = CARTESIAN_POINT ( 'NONE',  ( 4.299999999999999800, 0.4000000000000000200, -2.750000000000000000 ) ) ;
#41 = CARTESIAN_POINT ( 'NONE',  ( -0.2500000000000000000, -3.500000000000000000, 0.2500000000000000000 ) ) ;
#42 = CARTESIAN_POINT ( 'NONE',  ( -0.2500000000000000000, 0.4000000000000000200, 0.2500000000000000000 ) ) ;
#43 = LINE ( 'NONE', #44, #45 ) ;
#44 = CARTESIAN_POINT ( 'NONE',  ( -0.2500000000000000000, 1.107106781186548000, 0.2500000000000000000 ) ) ;
#45 = VECTOR ( 'NONE', #46, 1000.000000000000000 ) ;
#46 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#47 = FACE_OUTER_BOUND ( 'NONE', #1260, .T. ) ;
#48 = PLANE ( 'NONE',  #49 ) ;
#49 = AXIS2_PLACEMENT_3D ( 'NONE', #50, #51, #52 ) ;
#50 = CARTESIAN_POINT ( 'NONE',  ( -0.2500000000000000000, -3.500000000000000000, -7.750000000000000000 ) ) ;
#51 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#52 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#53 = LINE ( 'NONE', #54, #57 ) ;
#54 = CARTESIAN_POINT ( 'NONE',  ( 20.16499999999999900, 0.4000000000000000200, -8.000000000000000000 ) ) ;
#55 = ORIENTED_EDGE ( 'NONE', *, *, #1683, .T. ) ;
#56 = EDGE_CURVE ( 'NONE', #1910, #753, #836, .T. ) ;
#57 = VECTOR ( 'NONE', #58, 1000.000000000000000 ) ;
#58 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#59 = CARTESIAN_POINT ( 'NONE',  ( 20.16499999999999900, -3.500000000000000000, 0.5000000000000000000 ) ) ;
#60 = LINE ( 'NONE', #61, #62 ) ;
#61 = CARTESIAN_POINT ( 'NONE',  ( -0.4000000000000000200, 15.50000000000000000, -8.750000000000000000 ) ) ;
#62 = VECTOR ( 'NONE', #63, 1000.000000000000000 ) ;
#63 = DIRECTION ( 'NONE',  ( -1.246832498358329900E-016, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#64 = LINE ( 'NONE', #65, #66 ) ;
#65 = CARTESIAN_POINT ( 'NONE',  ( 19.83499999999999700, -4.553043208990020600, -7.000000000000000000 ) ) ;
#66 = VECTOR ( 'NONE', #67, 1000.000000000000000 ) ;
#67 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#68 = FACE_OUTER_BOUND ( 'NONE', #1878, .T. ) ;
#69 = PLANE ( 'NONE',  #70 ) ;
#70 = AXIS2_PLACEMENT_3D ( 'NONE', #71, #72, #73 ) ;
#71 = CARTESIAN_POINT ( 'NONE',  ( 22.50000000000000000, -3.124099870362659900, -2.750000000000000000 ) ) ;
#72 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#73 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#74 = CARTESIAN_POINT ( 'NONE',  ( 25.21500000000000000, -3.500000000000000000, -0.5000000000000000000 ) ) ;
#75 = LINE ( 'NONE', #76, #77 ) ;
#76 = CARTESIAN_POINT ( 'NONE',  ( 20.16499999999999900, -3.500000000000000000, 0.5000000000000000000 ) ) ;
#77 = VECTOR ( 'NONE', #78, 1000.000000000000000 ) ;
#78 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#79 = CARTESIAN_POINT ( 'NONE',  ( 0.2500000000000000000, 0.4000000000000000200, -7.750000000000000000 ) ) ;
#80 = FACE_OUTER_BOUND ( 'NONE', #651, .T. ) ;
#81 = PLANE ( 'NONE',  #82 ) ;
#82 = AXIS2_PLACEMENT_3D ( 'NONE', #83, #84, #85 ) ;
#83 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#84 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#85 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#86 = FACE_OUTER_BOUND ( 'NONE', #782, .T. ) ;
#87 = PLANE ( 'NONE',  #88 ) ;
#88 = AXIS2_PLACEMENT_3D ( 'NONE', #93, #94, #95 ) ;
#89 = ORIENTED_EDGE ( 'NONE', *, *, #507, .T. ) ;
#90 = ADVANCED_FACE ( 'NONE', ( #840, #841 ), #842, .T. ) ;
#91 = ORIENTED_EDGE ( 'NONE', *, *, #737, .T. ) ;
#92 = EDGE_CURVE ( 'NONE', #128, #572, #847, .T. ) ;
#93 = CARTESIAN_POINT ( 'NONE',  ( 26.70000000000000300, 15.69999999999999900, -10.10000000000000000 ) ) ;
#94 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#95 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#96 = CARTESIAN_POINT ( 'NONE',  ( 24.78500000000000000, -3.500000000000000000, -7.000000000000000000 ) ) ;
#97 = LINE ( 'NONE', #98, #99 ) ;
#98 = CARTESIAN_POINT ( 'NONE',  ( 1.899999999999999900, -3.124099870362659900, -2.750000000000000000 ) ) ;
#99 = VECTOR ( 'NONE', #100, 1000.000000000000000 ) ;
#100 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#101 = LINE ( 'NONE', #102, #103 ) ;
#102 = CARTESIAN_POINT ( 'NONE',  ( -2.299999999999999800, 15.69999999999999900, 2.600000000000000100 ) ) ;
#103 = VECTOR ( 'NONE', #104, 1000.000000000000000 ) ;
#104 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#105 = LINE ( 'NONE', #106, #107 ) ;
#106 = CARTESIAN_POINT ( 'NONE',  ( 20.16499999999999900, -4.553043208990020600, -0.5000000000000000000 ) ) ;
#107 = VECTOR ( 'NONE', #108, 1000.000000000000000 ) ;
#108 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#109 = ORIENTED_EDGE ( 'NONE', *, *, #1974, .F. ) ;
#110 = LINE ( 'NONE', #111, #112 ) ;
#111 = CARTESIAN_POINT ( 'NONE',  ( 8.500000000000000000, -3.124099870362659900, -0.6500000000000000200 ) ) ;
#112 = VECTOR ( 'NONE', #113, 1000.000000000000000 ) ;
#113 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#114 = FACE_OUTER_BOUND ( 'NONE', #467, .T. ) ;
#115 = PLANE ( 'NONE',  #116 ) ;
#116 = AXIS2_PLACEMENT_3D ( 'NONE', #117, #118, #119 ) ;
#117 = CARTESIAN_POINT ( 'NONE',  ( -1.399999999999999900, 15.50000000000000000, -8.750000000000000000 ) ) ;
#118 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#119 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#120 = CARTESIAN_POINT ( 'NONE',  ( 15.90000000000000000, 15.19999999999999900, 1.149999999999999900 ) ) ;
#121 = CARTESIAN_POINT ( 'NONE',  ( 26.70000000000000300, 15.69999999999999900, 2.600000000000000100 ) ) ;
#122 = CARTESIAN_POINT ( 'NONE',  ( 0.2500000000000000000, 0.4000000000000000200, -7.250000000000000000 ) ) ;
#123 = LINE ( 'NONE', #124, #125 ) ;
#124 = CARTESIAN_POINT ( 'NONE',  ( -2.299999999999999800, 15.69999999999999900, -10.10000000000000000 ) ) ;
#125 = VECTOR ( 'NONE', #130, 1000.000000000000000 ) ;
#126 = EDGE_CURVE ( 'NONE', #1910, #1904, #858, .T. ) ;
#127 = ORIENTED_EDGE ( 'NONE', *, *, #1850, .F. ) ;
#128 = VERTEX_POINT ( 'NONE', #862 ) ;
#129 = ORIENTED_EDGE ( 'NONE', *, *, #795, .F. ) ;
#130 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#131 = LINE ( 'NONE', #132, #133 ) ;
#132 = CARTESIAN_POINT ( 'NONE',  ( 19.83499999999999700, 0.4000000000000000200, -7.000000000000000000 ) ) ;
#133 = VECTOR ( 'NONE', #134, 1000.000000000000000 ) ;
#134 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#135 = FACE_OUTER_BOUND ( 'NONE', #597, .T. ) ;
#136 = PLANE ( 'NONE',  #137 ) ;
#137 = AXIS2_PLACEMENT_3D ( 'NONE', #138, #139, #140 ) ;
#138 = CARTESIAN_POINT ( 'NONE',  ( 24.78500000000000000, -4.553043208990020600, -7.000000000000000000 ) ) ;
#139 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#140 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#141 = FACE_OUTER_BOUND ( 'NONE', #1841, .T. ) ;
#142 = PLANE ( 'NONE',  #143 ) ;
#143 = AXIS2_PLACEMENT_3D ( 'NONE', #144, #145, #147 ) ;
#144 = CARTESIAN_POINT ( 'NONE',  ( -0.2500000000000000000, 1.107106781186548000, -7.250000000000000000 ) ) ;
#145 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#146 = ORIENTED_EDGE ( 'NONE', *, *, #1868, .T. ) ;
#147 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#148 = CARTESIAN_POINT ( 'NONE',  ( 13.10000000000000100, 0.0000000000000000000, -8.349999999999999600 ) ) ;
#149 = FACE_OUTER_BOUND ( 'NONE', #630, .T. ) ;
#150 = PLANE ( 'NONE',  #151 ) ;
#151 = AXIS2_PLACEMENT_3D ( 'NONE', #152, #153, #154 ) ;
#152 = CARTESIAN_POINT ( 'NONE',  ( -0.2500000000000000000, 1.107106781186548000, -7.750000000000000000 ) ) ;
#153 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#154 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#155 = CARTESIAN_POINT ( 'NONE',  ( -0.4000000000000000200, 15.69999999999999900, -8.750000000000000000 ) ) ;
#156 = LINE ( 'NONE', #157, #158 ) ;
#157 = CARTESIAN_POINT ( 'NONE',  ( 24.78500000000000000, -3.500000000000000000, 0.5000000000000000000 ) ) ;
#158 = VECTOR ( 'NONE', #159, 1000.000000000000000 ) ;
#159 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#160 = LINE ( 'NONE', #161, #162 ) ;
#161 = CARTESIAN_POINT ( 'NONE',  ( 19.83499999999999700, -4.553043208990020600, -8.000000000000000000 ) ) ;
#162 = VECTOR ( 'NONE', #164, 1000.000000000000000 ) ;
#163 = EDGE_CURVE ( 'NONE', #698, #38, #880, .T. ) ;
#164 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#165 = FACE_OUTER_BOUND ( 'NONE', #686, .T. ) ;
#166 = PLANE ( 'NONE',  #167 ) ;
#167 = AXIS2_PLACEMENT_3D ( 'NONE', #168, #169, #170 ) ;
#168 = CARTESIAN_POINT ( 'NONE',  ( 24.78500000000000000, -4.553043208990020600, 0.5000000000000000000 ) ) ;
#169 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#170 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#171 = LINE ( 'NONE', #172, #173 ) ;
#172 = CARTESIAN_POINT ( 'NONE',  ( 24.78500000000000000, -4.553043208990020600, -8.000000000000000000 ) ) ;
#173 = VECTOR ( 'NONE', #174, 1000.000000000000000 ) ;
#174 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#175 = LINE ( 'NONE', #176, #177 ) ;
#176 = CARTESIAN_POINT ( 'NONE',  ( -1.399999999999999900, 15.50000000000000000, 1.250000000000000000 ) ) ;
#177 = VECTOR ( 'NONE', #178, 1000.000000000000000 ) ;
#178 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#179 = FACE_OUTER_BOUND ( 'NONE', #747, .T. ) ;
#180 = ORIENTED_EDGE ( 'NONE', *, *, #1964, .F. ) ;
#181 = PLANE ( 'NONE',  #182 ) ;
#182 = AXIS2_PLACEMENT_3D ( 'NONE', #183, #184, #185 ) ;
#183 = CARTESIAN_POINT ( 'NONE',  ( 4.299999999999999800, -3.124099870362659900, -2.750000000000000000 ) ) ;
#184 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, -4.336808689942020200E-016 ) ) ;
#185 = DIRECTION ( 'NONE',  ( -4.336808689942020200E-016, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#186 = LINE ( 'NONE', #187, #188 ) ;
#187 = CARTESIAN_POINT ( 'NONE',  ( 19.83499999999999700, -3.500000000000000000, -8.000000000000000000 ) ) ;
#188 = VECTOR ( 'NONE', #189, 1000.000000000000000 ) ;
#189 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#190 = LINE ( 'NONE', #191, #192 ) ;
#191 = CARTESIAN_POINT ( 'NONE',  ( 24.78500000000000000, -4.553043208990020600, 0.5000000000000000000 ) ) ;
#192 = VECTOR ( 'NONE', #193, 1000.000000000000000 ) ;
#193 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#194 = LINE ( 'NONE', #195, #196 ) ;
#195 = CARTESIAN_POINT ( 'NONE',  ( 15.90000000000000000, 15.19999999999999900, -8.650000000000000400 ) ) ;
#196 = VECTOR ( 'NONE', #200, 1000.000000000000000 ) ;
#197 = ADVANCED_FACE ( 'NONE', ( #884 ), #885, .F. ) ;
#198 = ORIENTED_EDGE ( 'NONE', *, *, #235, .T. ) ;
#199 = ORIENTED_EDGE ( 'NONE', *, *, #1046, .F. ) ;
#200 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#201 = CARTESIAN_POINT ( 'NONE',  ( 8.500000000000000000, 0.0000000000000000000, -0.6500000000000000200 ) ) ;
#202 = FACE_OUTER_BOUND ( 'NONE', #1893, .T. ) ;
#203 = PLANE ( 'NONE',  #204 ) ;
#204 = AXIS2_PLACEMENT_3D ( 'NONE', #205, #206, #207 ) ;
#205 = CARTESIAN_POINT ( 'NONE',  ( 24.78500000000000000, -4.553043208990020600, -8.000000000000000000 ) ) ;
#206 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#207 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#208 = CARTESIAN_POINT ( 'NONE',  ( 24.89999999999999900, 0.0000000000000000000, -2.750000000000000000 ) ) ;
#209 = CARTESIAN_POINT ( 'NONE',  ( 13.10000000000000100, 0.4000000000000000200, 0.8499999999999999800 ) ) ;
#210 = FACE_OUTER_BOUND ( 'NONE', #701, .T. ) ;
#211 = PLANE ( 'NONE',  #212 ) ;
#212 = AXIS2_PLACEMENT_3D ( 'NONE', #213, #214, #215 ) ;
#213 = CARTESIAN_POINT ( 'NONE',  ( 20.16499999999999900, -4.553043208990020600, 0.5000000000000000000 ) ) ;
#214 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#215 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#216 = LINE ( 'NONE', #217, #218 ) ;
#217 = CARTESIAN_POINT ( 'NONE',  ( -0.4000000000000000200, 15.69999999999999900, -8.750000000000000000 ) ) ;
#218 = VECTOR ( 'NONE', #219, 1000.000000000000000 ) ;
#219 = DIRECTION ( 'NONE',  ( -1.246832498358329900E-016, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#220 = LINE ( 'NONE', #221, #222 ) ;
#221 = CARTESIAN_POINT ( 'NONE',  ( 1.899999999999999900, -3.124099870362659900, -4.750000000000000000 ) ) ;
#222 = VECTOR ( 'NONE', #223, 1000.000000000000000 ) ;
#223 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#224 = LINE ( 'NONE', #225, #226 ) ;
#225 = CARTESIAN_POINT ( 'NONE',  ( 8.500000000000000000, -3.124099870362659900, -8.349999999999999600 ) ) ;
#226 = VECTOR ( 'NONE', #227, 1000.000000000000000 ) ;
#227 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#228 = LINE ( 'NONE', #229, #230 ) ;
#229 = CARTESIAN_POINT ( 'NONE',  ( 20.16499999999999900, 0.4000000000000000200, 0.5000000000000000000 ) ) ;
#230 = VECTOR ( 'NONE', #231, 1000.000000000000000 ) ;
#231 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#232 = ORIENTED_EDGE ( 'NONE', *, *, #92, .T. ) ;
#233 = ADVANCED_FACE ( 'NONE', ( #909 ), #915, .F. ) ;
#234 = ORIENTED_EDGE ( 'NONE', *, *, #911, .T. ) ;
#235 = EDGE_CURVE ( 'NONE', #703, #1919, #920, .T. ) ;
#236 = CARTESIAN_POINT ( 'NONE',  ( -0.2500000000000000000, -3.500000000000000000, -7.250000000000000000 ) ) ;
#237 = CARTESIAN_POINT ( 'NONE',  ( 13.10000000000000100, 0.0000000000000000000, -0.6500000000000000200 ) ) ;
#238 = LINE ( 'NONE', #239, #240 ) ;
#239 = CARTESIAN_POINT ( 'NONE',  ( 8.500000000000000000, 0.4000000000000000200, 0.8499999999999999800 ) ) ;
#240 = VECTOR ( 'NONE', #241, 1000.000000000000000 ) ;
#241 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, -4.713922489067409500E-017 ) ) ;
#242 = LINE ( 'NONE', #243, #244 ) ;
#243 = CARTESIAN_POINT ( 'NONE',  ( 19.83499999999999700, 0.4000000000000000200, 0.5000000000000000000 ) ) ;
#244 = VECTOR ( 'NONE', #245, 1000.000000000000000 ) ;
#245 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, -3.285461128743880100E-016 ) ) ;
#246 = CARTESIAN_POINT ( 'NONE',  ( -1.399999999999999900, 15.50000000000000000, 1.250000000000000000 ) ) ;
#247 = FACE_OUTER_BOUND ( 'NONE', #1905, .T. ) ;
#248 = PLANE ( 'NONE',  #249 ) ;
#249 = AXIS2_PLACEMENT_3D ( 'NONE', #250, #251, #254 ) ;
#250 = CARTESIAN_POINT ( 'NONE',  ( 15.90000000000000000, 15.19999999999999900, -8.650000000000000400 ) ) ;
#251 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.7071067811865475700, 0.7071067811865475700 ) ) ;
#252 = ADVANCED_FACE ( 'NONE', ( #924 ), #925, .T. ) ;
#253 = ORIENTED_EDGE ( 'NONE', *, *, #849, .F. ) ;
#254 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -0.7071067811865475700, 0.7071067811865475700 ) ) ;
#255 = LINE ( 'NONE', #256, #257 ) ;
#256 = CARTESIAN_POINT ( 'NONE',  ( 25.21500000000000000, -3.500000000000000000, 0.5000000000000000000 ) ) ;
#257 = VECTOR ( 'NONE', #258, 1000.000000000000000 ) ;
#258 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#259 = LINE ( 'NONE', #260, #261 ) ;
#260 = CARTESIAN_POINT ( 'NONE',  ( 17.50000000000000000, 14.40000000000000000, -7.849999999999999600 ) ) ;
#261 = VECTOR ( 'NONE', #262, 999.9999999999998900 ) ;
#262 = DIRECTION ( 'NONE',  ( 0.5773502691896257300, 0.5773502691896257300, -0.5773502691896257300 ) ) ;
#263 = LINE ( 'NONE', #264, #265 ) ;
#264 = CARTESIAN_POINT ( 'NONE',  ( 19.83499999999999700, 0.4000000000000000200, 0.5000000000000000000 ) ) ;
#265 = VECTOR ( 'NONE', #266, 1000.000000000000000 ) ;
#266 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#267 = FACE_OUTER_BOUND ( 'NONE', #800, .T. ) ;
#268 = PLANE ( 'NONE',  #269 ) ;
#269 = AXIS2_PLACEMENT_3D ( 'NONE', #271, #272, #273 ) ;
#270 = ORIENTED_EDGE ( 'NONE', *, *, #671, .T. ) ;
#271 = CARTESIAN_POINT ( 'NONE',  ( 19.83499999999999700, -4.553043208990020600, -0.5000000000000000000 ) ) ;
#272 = DIRECTION ( 'NONE',  ( -3.285461128743880100E-016, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#273 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 3.285461128743880100E-016 ) ) ;
#274 = LINE ( 'NONE', #275, #276 ) ;
#275 = CARTESIAN_POINT ( 'NONE',  ( 19.83499999999999700, -4.553043208990020600, 0.5000000000000000000 ) ) ;
#276 = VECTOR ( 'NONE', #277, 1000.000000000000000 ) ;
#277 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#278 = LINE ( 'NONE', #279, #280 ) ;
#279 = CARTESIAN_POINT ( 'NONE',  ( 19.83499999999999700, 0.4000000000000000200, -0.5000000000000000000 ) ) ;
#280 = VECTOR ( 'NONE', #281, 1000.000000000000000 ) ;
#281 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 3.285461128743880100E-016 ) ) ;
#282 = LINE ( 'NONE', #283, #284 ) ;
#283 = CARTESIAN_POINT ( 'NONE',  ( 13.10000000000000100, -3.124099870362659900, 0.8499999999999999800 ) ) ;
#284 = VECTOR ( 'NONE', #285, 1000.000000000000000 ) ;
#285 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#286 = LINE ( 'NONE', #289, #290 ) ;
#287 = EDGE_CURVE ( 'NONE', #396, #517, #944, .T. ) ;
#288 = ORIENTED_EDGE ( 'NONE', *, *, #1962, .F. ) ;
#289 = CARTESIAN_POINT ( 'NONE',  ( 4.299999999999999800, -3.124099870362659900, -2.750000000000000000 ) ) ;
#290 = VECTOR ( 'NONE', #291, 1000.000000000000000 ) ;
#291 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#292 = LINE ( 'NONE', #293, #294 ) ;
#293 = CARTESIAN_POINT ( 'NONE',  ( -1.399999999999999900, 15.50000000000000000, 1.250000000000000000 ) ) ;
#294 = VECTOR ( 'NONE', #295, 1000.000000000000000 ) ;
#295 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#296 = LINE ( 'NONE', #297, #298 ) ;
#297 = CARTESIAN_POINT ( 'NONE',  ( 15.90000000000000000, 15.19999999999999900, -8.650000000000000400 ) ) ;
#298 = VECTOR ( 'NONE', #299, 1000.000000000000000 ) ;
#299 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#300 = CARTESIAN_POINT ( 'NONE',  ( 20.16499999999999900, -3.500000000000000000, -7.000000000000000000 ) ) ;
#301 = FACE_OUTER_BOUND ( 'NONE', #549, .T. ) ;
#302 = PLANE ( 'NONE',  #303 ) ;
#303 = AXIS2_PLACEMENT_3D ( 'NONE', #304, #305, #306 ) ;
#304 = CARTESIAN_POINT ( 'NONE',  ( 8.500000000000000000, -3.124099870362659900, -8.349999999999999600 ) ) ;
#305 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#306 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#307 = LINE ( 'NONE', #308, #309 ) ;
#308 = CARTESIAN_POINT ( 'NONE',  ( 26.70000000000000300, 15.69999999999999900, 2.600000000000000100 ) ) ;
#309 = VECTOR ( 'NONE', #310, 1000.000000000000000 ) ;
#310 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#311 = FACE_OUTER_BOUND ( 'NONE', #1722, .T. ) ;
#312 = PLANE ( 'NONE',  #313 ) ;
#313 = AXIS2_PLACEMENT_3D ( 'NONE', #314, #315, #316 ) ;
#314 = CARTESIAN_POINT ( 'NONE',  ( 8.500000000000000000, -3.124099870362659900, 0.8499999999999999800 ) ) ;
#315 = DIRECTION ( 'NONE',  ( 4.713922489067409500E-017, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#316 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, -4.713922489067409500E-017 ) ) ;
#317 = LINE ( 'NONE', #318, #319 ) ;
#318 = CARTESIAN_POINT ( 'NONE',  ( 24.78500000000000000, -3.500000000000000000, 0.5000000000000000000 ) ) ;
#319 = VECTOR ( 'NONE', #320, 1000.000000000000000 ) ;
#320 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#321 = EDGE_CURVE ( 'NONE', #774, #1953, #948, .T. ) ;
#322 = FACE_OUTER_BOUND ( 'NONE', #1835, .T. ) ;
#323 = PLANE ( 'NONE',  #324 ) ;
#324 = AXIS2_PLACEMENT_3D ( 'NONE', #325, #326, #327 ) ;
#325 = CARTESIAN_POINT ( 'NONE',  ( 22.50000000000000000, -3.124099870362659900, -2.750000000000000000 ) ) ;
#326 = DIRECTION ( 'NONE',  ( 1.807003620809174900E-016, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#327 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, -1.807003620809174900E-016 ) ) ;
#328 = FACE_BOUND ( 'NONE', #696, .T. ) ;
#329 = FACE_BOUND ( 'NONE', #1432, .T. ) ;
#330 = FACE_OUTER_BOUND ( 'NONE', #587, .T. ) ;
#331 = PLANE ( 'NONE',  #332 ) ;
#332 = AXIS2_PLACEMENT_3D ( 'NONE', #333, #334, #335 ) ;
#333 = CARTESIAN_POINT ( 'NONE',  ( -2.299999999999999800, 15.69999999999999900, 2.600000000000000100 ) ) ;
#334 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#335 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#336 = CIRCLE ( 'NONE', #337, 0.5000000000000000000 ) ;
#337 = AXIS2_PLACEMENT_3D ( 'NONE', #341, #342, #343 ) ;
#338 = ORIENTED_EDGE ( 'NONE', *, *, #126, .T. ) ;
#339 = ORIENTED_EDGE ( 'NONE', *, *, #1358, .T. ) ;
#340 = ORIENTED_EDGE ( 'NONE', *, *, #1568, .F. ) ;
#341 = CARTESIAN_POINT ( 'NONE',  ( 17.10000000000000100, 15.69999999999999900, 0.04999999999999799700 ) ) ;
#342 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#343 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#344 = LINE ( 'NONE', #345, #346 ) ;
#345 = CARTESIAN_POINT ( 'NONE',  ( 24.78500000000000000, -3.500000000000000000, -7.000000000000000000 ) ) ;
#346 = VECTOR ( 'NONE', #347, 1000.000000000000000 ) ;
#347 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#348 = CARTESIAN_POINT ( 'NONE',  ( 25.21500000000000000, 0.4000000000000000200, -8.000000000000000000 ) ) ;
#349 = LINE ( 'NONE', #350, #351 ) ;
#350 = CARTESIAN_POINT ( 'NONE',  ( 1.899999999999999900, 0.0000000000000000000, -2.750000000000000000 ) ) ;
#351 = VECTOR ( 'NONE', #352, 1000.000000000000000 ) ;
#352 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 1.807003620809174900E-016 ) ) ;
#353 = LINE ( 'NONE', #354, #355 ) ;
#354 = CARTESIAN_POINT ( 'NONE',  ( -0.4000000000000000200, 15.50000000000000000, -8.750000000000000000 ) ) ;
#355 = VECTOR ( 'NONE', #356, 1000.000000000000000 ) ;
#356 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#357 = EDGE_LOOP ( 'NONE', ( #704, #743, #636, #749 ) ) ;
#358 = ORIENTED_EDGE ( 'NONE', *, *, #1010, .T. ) ;
#359 = ORIENTED_EDGE ( 'NONE', *, *, #751, .T. ) ;
#360 = ORIENTED_EDGE ( 'NONE', *, *, #687, .T. ) ;
#361 = FACE_OUTER_BOUND ( 'NONE', #612, .T. ) ;
#362 = PLANE ( 'NONE',  #363 ) ;
#363 = AXIS2_PLACEMENT_3D ( 'NONE', #364, #365, #366 ) ;
#364 = CARTESIAN_POINT ( 'NONE',  ( 0.2500000000000000000, 1.107106781186548000, -7.250000000000000000 ) ) ;
#365 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#366 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#367 = FACE_OUTER_BOUND ( 'NONE', #1979, .T. ) ;
#368 = CYLINDRICAL_SURFACE ( 'NONE', #369, 0.5000000000000000000 ) ;
#369 = AXIS2_PLACEMENT_3D ( 'NONE', #370, #371, #372 ) ;
#370 = CARTESIAN_POINT ( 'NONE',  ( 17.10000000000000100, 17.11421356237309900, 0.04999999999999799700 ) ) ;
#371 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#372 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#373 = CARTESIAN_POINT ( 'NONE',  ( 18.80000000000000100, 15.69999999999999900, -9.150000000000000400 ) ) ;
#374 = CARTESIAN_POINT ( 'NONE',  ( 8.500000000000000000, 0.0000000000000000000, -6.850000000000000500 ) ) ;
#375 = LINE ( 'NONE', #376, #380 ) ;
#376 = CARTESIAN_POINT ( 'NONE',  ( 8.500000000000000000, 0.0000000000000000000, -8.349999999999999600 ) ) ;
#377 = EDGE_CURVE ( 'NONE', #1919, #1340, #956, .T. ) ;
#378 = ORIENTED_EDGE ( 'NONE', *, *, #1956, .F. ) ;
#379 = ORIENTED_EDGE ( 'NONE', *, *, #632, .T. ) ;
#380 = VECTOR ( 'NONE', #381, 1000.000000000000000 ) ;
#381 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#382 = LINE ( 'NONE', #383, #384 ) ;
#383 = CARTESIAN_POINT ( 'NONE',  ( 0.2500000000000000000, 0.4000000000000000200, 0.2500000000000000000 ) ) ;
#384 = VECTOR ( 'NONE', #385, 1000.000000000000000 ) ;
#385 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#386 = FACE_OUTER_BOUND ( 'NONE', #629, .T. ) ;
#387 = PLANE ( 'NONE',  #388 ) ;
#388 = AXIS2_PLACEMENT_3D ( 'NONE', #389, #390, #391 ) ;
#389 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#390 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#391 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#392 =( LENGTH_UNIT ( ) NAMED_UNIT ( * ) SI_UNIT ( .MILLI., .METRE. ) );
#393 =( NAMED_UNIT ( * ) PLANE_ANGLE_UNIT ( ) SI_UNIT ( $, .RADIAN. ) );
#394 =( NAMED_UNIT ( * ) SI_UNIT ( $, .STERADIAN. ) SOLID_ANGLE_UNIT ( ) );
#395 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE( 1.000000000000000100E-005 ), #392, 'distance_accuracy_value', 'NONE');
#396 = VERTEX_POINT ( 'NONE', #964 ) ;
#397 = ORIENTED_EDGE ( 'NONE', *, *, #600, .T. ) ;
#398 = ORIENTED_EDGE ( 'NONE', *, *, #657, .T. ) ;
#399 = EDGE_CURVE ( 'NONE', #1414, #1200, #965, .T. ) ;
#400 = ORIENTED_EDGE ( 'NONE', *, *, #744, .T. ) ;
#401 =( GEOMETRIC_REPRESENTATION_CONTEXT ( 3 ) GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ( ( #395 ) ) GLOBAL_UNIT_ASSIGNED_CONTEXT ( ( #392, #393, #394 ) ) REPRESENTATION_CONTEXT ( 'NONE', 'WORKASPACE' ) );
#402 = ADVANCED_BREP_SHAPE_REPRESENTATION ( 'G5RL_1A_E_HR', ( #775, #403 ), #401 ) ;
#403 = AXIS2_PLACEMENT_3D ( 'NONE', #404, #405, #406 ) ;
#404 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#405 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#406 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#407 = APPLICATION_CONTEXT ( 'configuration controlled 3d designs of mechanical parts and assemblies' ) ;
#408 = APPLICATION_PROTOCOL_DEFINITION ( 'international standard', 'config_control_design', 1994, #407 ) ;
#409 = MECHANICAL_CONTEXT ( 'NONE', #407, 'mechanical' ) ;
#410 = PRODUCT ( 'G5RL_1A_E_HR', 'G5RL_1A_E_HR', '', ( #409 ) ) ;
#411 = PERSON ( 'UNSPECIFIED', 'UNSPECIFIED', 'UNSPECIFIED', ('UNSPECIFIED'), ('UNSPECIFIED'), ('UNSPECIFIED') ) ;
#412 = ORGANIZATION ( 'UNSPECIFIED', 'UNSPECIFIED', '' ) ;
#413 = VERTEX_POINT ( 'NONE', #977 ) ;
#414 = ADVANCED_FACE ( 'NONE', ( #983 ), #984, .F. ) ;
#415 = PERSON_AND_ORGANIZATION ( #411, #412 ) ;
#416 = PERSON_AND_ORGANIZATION_ROLE ( 'design_owner' ) ;
#417 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT ( #415, #416, ( #410 ) ) ;
#418 = APPLICATION_CONTEXT ( 'configuration controlled 3d designs of mechanical parts and assemblies' ) ;
#419 = APPLICATION_PROTOCOL_DEFINITION ( 'international standard', 'config_control_design', 1994, #418 ) ;
#420 = DESIGN_CONTEXT ( 'detailed design', #418, 'design' ) ;
#421 = PRODUCT_DEFINITION ( 'UNKNOWN', '', #444, #420 ) ;
#422 = PERSON_AND_ORGANIZATION ( #411, #412 ) ;
#423 = APPROVAL_STATUS ( 'not_yet_approved' ) ;
#424 = APPROVAL ( #423, 'UNSPECIFIED' ) ;
#425 = APPROVAL_ROLE ( '' ) ;
#426 = APPROVAL_PERSON_ORGANIZATION ( #422, #424, #425 ) ;
#427 = COORDINATED_UNIVERSAL_TIME_OFFSET ( 9, 0, .AHEAD. ) ;
#428 = LOCAL_TIME ( 15, 26, 48.00000000000000000, #427 ) ;
#429 = CALENDAR_DATE ( 2014, 25, 6 ) ;
#430 = DATE_AND_TIME ( #429, #428 ) ;
#431 = VERTEX_POINT ( 'NONE', #991 ) ;
#432 = ORIENTED_EDGE ( 'NONE', *, *, #676, .F. ) ;
#433 = APPROVAL_DATE_TIME ( #430, #424 ) ;
#434 = CC_DESIGN_APPROVAL ( #424, ( #421 ) ) ;
#435 = PERSON_AND_ORGANIZATION ( #411, #412 ) ;
#436 = PERSON_AND_ORGANIZATION_ROLE ( 'creator' ) ;
#437 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT ( #435, #436, ( #421 ) ) ;
#438 = COORDINATED_UNIVERSAL_TIME_OFFSET ( 9, 0, .AHEAD. ) ;
#439 = LOCAL_TIME ( 15, 26, 48.00000000000000000, #438 ) ;
#440 = CALENDAR_DATE ( 2014, 25, 6 ) ;
#441 = DATE_AND_TIME ( #440, #439 ) ;
#442 = DATE_TIME_ROLE ( 'creation_date' ) ;
#443 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT ( #441, #442, ( #421 ) ) ;
#444 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ( 'ANY', '', #410, .NOT_KNOWN. ) ;
#445 = PERSON_AND_ORGANIZATION ( #411, #412 ) ;
#446 = APPROVAL_STATUS ( 'not_yet_approved' ) ;
#447 = APPROVAL ( #446, 'UNSPECIFIED' ) ;
#448 = APPROVAL_ROLE ( '' ) ;
#449 = ORIENTED_EDGE ( 'NONE', *, *, #1874, .T. ) ;
#450 = ORIENTED_EDGE ( 'NONE', *, *, #671, .F. ) ;
#451 = APPROVAL_PERSON_ORGANIZATION ( #445, #447, #448 ) ;
#452 = COORDINATED_UNIVERSAL_TIME_OFFSET ( 9, 0, .AHEAD. ) ;
#453 = LOCAL_TIME ( 15, 26, 48.00000000000000000, #452 ) ;
#454 = CALENDAR_DATE ( 2014, 25, 6 ) ;
#455 = DATE_AND_TIME ( #454, #453 ) ;
#456 = APPROVAL_DATE_TIME ( #455, #447 ) ;
#457 = CC_DESIGN_APPROVAL ( #447, ( #444 ) ) ;
#458 = PERSON_AND_ORGANIZATION ( #411, #412 ) ;
#459 = PERSON_AND_ORGANIZATION_ROLE ( 'creator' ) ;
#460 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT ( #458, #459, ( #444 ) ) ;
#461 = PERSON_AND_ORGANIZATION ( #411, #412 ) ;
#462 = PERSON_AND_ORGANIZATION_ROLE ( 'design_supplier' ) ;
#463 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT ( #461, #462, ( #444 ) ) ;
#464 = SECURITY_CLASSIFICATION_LEVEL ( 'unclassified' ) ;
#465 = SECURITY_CLASSIFICATION ( '', '', #464 ) ;
#466 = PERSON_AND_ORGANIZATION ( #411, #412 ) ;
#467 = EDGE_LOOP ( 'NONE', ( #1240, #1339, #506, #2009 ) ) ;
#468 = ORIENTED_EDGE ( 'NONE', *, *, #1976, .F. ) ;
#469 = PERSON_AND_ORGANIZATION_ROLE ( 'classification_officer' ) ;
#470 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT ( #466, #469, ( #465 ) ) ;
#471 = COORDINATED_UNIVERSAL_TIME_OFFSET ( 9, 0, .AHEAD. ) ;
#472 = LOCAL_TIME ( 15, 26, 48.00000000000000000, #471 ) ;
#473 = CALENDAR_DATE ( 2014, 25, 6 ) ;
#474 = DATE_AND_TIME ( #473, #472 ) ;
#475 = DATE_TIME_ROLE ( 'classification_date' ) ;
#476 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT ( #474, #475, ( #465 ) ) ;
#477 = PERSON_AND_ORGANIZATION ( #411, #412 ) ;
#478 = APPROVAL_STATUS ( 'not_yet_approved' ) ;
#479 = APPROVAL ( #478, 'UNSPECIFIED' ) ;
#480 = APPROVAL_ROLE ( '' ) ;
#481 = APPROVAL_PERSON_ORGANIZATION ( #477, #479, #480 ) ;
#482 = COORDINATED_UNIVERSAL_TIME_OFFSET ( 9, 0, .AHEAD. ) ;
#483 = LOCAL_TIME ( 15, 26, 48.00000000000000000, #482 ) ;
#484 = CALENDAR_DATE ( 2014, 25, 6 ) ;
#485 = DATE_AND_TIME ( #484, #483 ) ;
#486 = APPROVAL_DATE_TIME ( #485, #479 ) ;
#487 = CC_DESIGN_APPROVAL ( #479, ( #465 ) ) ;
#488 = CC_DESIGN_SECURITY_CLASSIFICATION ( #465, ( #444 ) ) ;
#489 = PRODUCT_RELATED_PRODUCT_CATEGORY ( 'detail', '', ( #410 ) ) ;
#490 = PRODUCT_DEFINITION_SHAPE ( 'NONE', 'NONE',  #421 ) ;
#491 = SHAPE_DEFINITION_REPRESENTATION ( #490, #402 ) ;
#492 = VERTEX_POINT ( 'NONE', #1031 ) ;
#493 = ORIENTED_EDGE ( 'NONE', *, *, #1926, .F. ) ;
#494 = VERTEX_POINT ( 'NONE', #1040 ) ;
#495 = ORIENTED_EDGE ( 'NONE', *, *, #1869, .F. ) ;
#496 = ORIENTED_EDGE ( 'NONE', *, *, #1974, .T. ) ;
#497 = ADVANCED_FACE ( 'NONE', ( #1041 ), #1042, .F. ) ;
#498 = ORIENTED_EDGE ( 'NONE', *, *, #1850, .T. ) ;
#499 = EDGE_LOOP ( 'NONE', ( #683, #509, #1933, #501 ) ) ;
#500 = ORIENTED_EDGE ( 'NONE', *, *, #1930, .F. ) ;
#501 = ORIENTED_EDGE ( 'NONE', *, *, #688, .T. ) ;
#502 = VERTEX_POINT ( 'NONE', #1080 ) ;
#503 = VERTEX_POINT ( 'NONE', #1094 ) ;
#504 = ORIENTED_EDGE ( 'NONE', *, *, #1587, .F. ) ;
#505 = EDGE_CURVE ( 'NONE', #502, #1855, #1100, .T. ) ;
#506 = ORIENTED_EDGE ( 'NONE', *, *, #1007, .F. ) ;
#507 = EDGE_CURVE ( 'NONE', #690, #1952, #1112, .T. ) ;
#508 = VERTEX_POINT ( 'NONE', #1118 ) ;
#509 = ORIENTED_EDGE ( 'NONE', *, *, #788, .T. ) ;
#510 = ADVANCED_FACE ( 'NONE', ( #1119 ), #1120, .F. ) ;
#511 = ORIENTED_EDGE ( 'NONE', *, *, #762, .T. ) ;
#512 = VERTEX_POINT ( 'NONE', #1141 ) ;
#513 = ADVANCED_FACE ( 'NONE', ( #1142 ), #1143, .F. ) ;
#514 = ORIENTED_EDGE ( 'NONE', *, *, #710, .F. ) ;
#515 = ORIENTED_EDGE ( 'NONE', *, *, #687, .F. ) ;
#516 = ORIENTED_EDGE ( 'NONE', *, *, #657, .F. ) ;
#517 = VERTEX_POINT ( 'NONE', #1178 ) ;
#518 = ORIENTED_EDGE ( 'NONE', *, *, #1358, .F. ) ;
#519 = EDGE_CURVE ( 'NONE', #2017, #583, #1179, .T. ) ;
#520 = ORIENTED_EDGE ( 'NONE', *, *, #536, .T. ) ;
#521 = VERTEX_POINT ( 'NONE', #1199 ) ;
#522 = ORIENTED_EDGE ( 'NONE', *, *, #952, .T. ) ;
#523 = VERTEX_POINT ( 'NONE', #1204 ) ;
#524 = EDGE_CURVE ( 'NONE', #1881, #1887, #1205, .T. ) ;
#525 = ORIENTED_EDGE ( 'NONE', *, *, #536, .F. ) ;
#526 = ORIENTED_EDGE ( 'NONE', *, *, #321, .T. ) ;
#527 = EDGE_CURVE ( 'NONE', #670, #2017, #1218, .T. ) ;
#528 = ORIENTED_EDGE ( 'NONE', *, *, #163, .T. ) ;
#529 = VERTEX_POINT ( 'NONE', #1235 ) ;
#530 = ORIENTED_EDGE ( 'NONE', *, *, #543, .F. ) ;
#531 = EDGE_LOOP ( 'NONE', ( #539, #2001, #2005, #1892 ) ) ;
#532 = VERTEX_POINT ( 'NONE', #1264 ) ;
#533 = ORIENTED_EDGE ( 'NONE', *, *, #56, .F. ) ;
#534 = ORIENTED_EDGE ( 'NONE', *, *, #565, .F. ) ;
#535 = EDGE_CURVE ( 'NONE', #503, #759, #1266, .T. ) ;
#536 = EDGE_CURVE ( 'NONE', #759, #529, #1271, .T. ) ;
#537 = EDGE_LOOP ( 'NONE', ( #129, #1865, #1872, #1127 ) ) ;
#538 = EDGE_CURVE ( 'NONE', #591, #1881, #1276, .T. ) ;
#539 = ORIENTED_EDGE ( 'NONE', *, *, #1548, .T. ) ;
#540 = ORIENTED_EDGE ( 'NONE', *, *, #1984, .F. ) ;
#541 = EDGE_LOOP ( 'NONE', ( #874, #1870, #516, #990 ) ) ;
#542 = VERTEX_POINT ( 'NONE', #1283 ) ;
#543 = EDGE_CURVE ( 'NONE', #637, #1896, #1294, .T. ) ;
#544 = EDGE_CURVE ( 'NONE', #637, #1965, #1305, .T. ) ;
#545 = ADVANCED_FACE ( 'NONE', ( #1315 ), #1322, .F. ) ;
#546 = ORIENTED_EDGE ( 'NONE', *, *, #1683, .F. ) ;
#547 = ORIENTED_EDGE ( 'NONE', *, *, #535, .T. ) ;
#548 = EDGE_CURVE ( 'NONE', #1981, #512, #1337, .T. ) ;
#549 = EDGE_LOOP ( 'NONE', ( #740, #398, #55, #2007 ) ) ;
#550 = EDGE_LOOP ( 'NONE', ( #1488, #714, #677, #830 ) ) ;
#551 = EDGE_LOOP ( 'NONE', ( #1944, #340, #1261, #1898 ) ) ;
#552 = ORIENTED_EDGE ( 'NONE', *, *, #729, .F. ) ;
#553 = VERTEX_POINT ( 'NONE', #1384 ) ;
#554 = ORIENTED_EDGE ( 'NONE', *, *, #1413, .F. ) ;
#555 = EDGE_CURVE ( 'NONE', #1378, #855, #1391, .T. ) ;
#556 = ADVANCED_FACE ( 'NONE', ( #1395 ), #1396, .T. ) ;
#557 = ORIENTED_EDGE ( 'NONE', *, *, #1008, .F. ) ;
#558 = ORIENTED_EDGE ( 'NONE', *, *, #1066, .F. ) ;
#559 = ORIENTED_EDGE ( 'NONE', *, *, #1889, .F. ) ;
#560 = EDGE_LOOP ( 'NONE', ( #18, #735, #1880, #624 ) ) ;
#561 = ORIENTED_EDGE ( 'NONE', *, *, #1822, .T. ) ;
#562 = VERTEX_POINT ( 'NONE', #1448 ) ;
#563 = EDGE_LOOP ( 'NONE', ( #1680, #514, #432, #763 ) ) ;
#564 = ORIENTED_EDGE ( 'NONE', *, *, #951, .T. ) ;
#565 = EDGE_CURVE ( 'NONE', #562, #1725, #1460, .T. ) ;
#566 = VERTEX_POINT ( 'NONE', #1495 ) ;
#567 = ORIENTED_EDGE ( 'NONE', *, *, #607, .T. ) ;
#568 = EDGE_LOOP ( 'NONE', ( #717, #789, #850, #2006 ) ) ;
#569 = EDGE_CURVE ( 'NONE', #572, #692, #1541, .T. ) ;
#570 = ORIENTED_EDGE ( 'NONE', *, *, #676, .T. ) ;
#571 = ADVANCED_FACE ( 'NONE', ( #1545 ), #1546, .F. ) ;
#572 = VERTEX_POINT ( 'NONE', #1559 ) ;
#573 = EDGE_CURVE ( 'NONE', #734, #19, #1572, .T. ) ;
#574 = ORIENTED_EDGE ( 'NONE', *, *, #892, .F. ) ;
#575 = ORIENTED_EDGE ( 'NONE', *, *, #1238, .T. ) ;
#576 = ORIENTED_EDGE ( 'NONE', *, *, #1967, .T. ) ;
#577 = EDGE_LOOP ( 'NONE', ( #1681, #931, #511, #787 ) ) ;
#578 = ORIENTED_EDGE ( 'NONE', *, *, #772, .F. ) ;
#579 = EDGE_CURVE ( 'NONE', #732, #1911, #1634, .T. ) ;
#580 = EDGE_LOOP ( 'NONE', ( #1299, #1895, #379, #627 ) ) ;
#581 = ORIENTED_EDGE ( 'NONE', *, *, #1920, .F. ) ;
#582 = EDGE_CURVE ( 'NONE', #891, #765, #1649, .T. ) ;
#583 = VERTEX_POINT ( 'NONE', #1676 ) ;
#584 = ORIENTED_EDGE ( 'NONE', *, *, #1962, .T. ) ;
#585 = EDGE_LOOP ( 'NONE', ( #1888, #1914, #1434, #614 ) ) ;
#586 = EDGE_LOOP ( 'NONE', ( #802, #1991, #557, #644 ) ) ;
#587 = EDGE_LOOP ( 'NONE', ( #232, #496, #1917, #1320 ) ) ;
#588 = ORIENTED_EDGE ( 'NONE', *, *, #555, .F. ) ;
#589 = EDGE_CURVE ( 'NONE', #854, #690, #1699, .T. ) ;
#590 = EDGE_LOOP ( 'NONE', ( #525, #1660, #2013, #504 ) ) ;
#591 = VERTEX_POINT ( 'NONE', #1721 ) ;
#592 = EDGE_CURVE ( 'NONE', #1529, #492, #1727, .T. ) ;
#593 = VERTEX_POINT ( 'NONE', #1731 ) ;
#594 = EDGE_CURVE ( 'NONE', #508, #542, #1738, .T. ) ;
#595 = EDGE_CURVE ( 'NONE', #494, #972, #1744, .T. ) ;
#596 = EDGE_CURVE ( 'NONE', #1125, #1894, #1764, .T. ) ;
#597 = EDGE_LOOP ( 'NONE', ( #713, #526, #707, #726 ) ) ;
#598 = ORIENTED_EDGE ( 'NONE', *, *, #582, .F. ) ;
#599 = EDGE_CURVE ( 'NONE', #492, #734, #33, .T. ) ;
#600 = EDGE_CURVE ( 'NONE', #566, #1896, #53, .T. ) ;
#601 = ORIENTED_EDGE ( 'NONE', *, *, #1986, .F. ) ;
#602 = EDGE_LOOP ( 'NONE', ( #515, #760, #1530, #584 ) ) ;
#603 = ORIENTED_EDGE ( 'NONE', *, *, #1993, .T. ) ;
#604 = VERTEX_POINT ( 'NONE', #74 ) ;
#605 = ADVANCED_FACE ( 'NONE', ( #80 ), #81, .F. ) ;
#606 = ORIENTED_EDGE ( 'NONE', *, *, #92, .F. ) ;
#607 = EDGE_CURVE ( 'NONE', #617, #891, #110, .T. ) ;
#608 = VERTEX_POINT ( 'NONE', #120 ) ;
#609 = EDGE_LOOP ( 'NONE', ( #1470, #2003, #1297, #522 ) ) ;
#610 = EDGE_LOOP ( 'NONE', ( #1847, #1799, #702, #1946 ) ) ;
#611 = ADVANCED_FACE ( 'NONE', ( #141 ), #142, .F. ) ;
#612 = EDGE_LOOP ( 'NONE', ( #558, #564, #359, #1089 ) ) ;
#613 = ORIENTED_EDGE ( 'NONE', *, *, #1956, .T. ) ;
#614 = ORIENTED_EDGE ( 'NONE', *, *, #1568, .T. ) ;
#615 = EDGE_LOOP ( 'NONE', ( #1415, #616, #1943, #794 ) ) ;
#616 = ORIENTED_EDGE ( 'NONE', *, *, #739, .T. ) ;
#617 = VERTEX_POINT ( 'NONE', #201 ) ;
#618 = ADVANCED_FACE ( 'NONE', ( #202 ), #203, .F. ) ;
#619 = ORIENTED_EDGE ( 'NONE', *, *, #1803, .T. ) ;
#620 = VERTEX_POINT ( 'NONE', #209 ) ;
#621 = EDGE_LOOP ( 'NONE', ( #1638, #575, #1849, #689 ) ) ;
#622 = ORIENTED_EDGE ( 'NONE', *, *, #555, .T. ) ;
#623 = ORIENTED_EDGE ( 'NONE', *, *, #1934, .F. ) ;
#624 = ORIENTED_EDGE ( 'NONE', *, *, #544, .T. ) ;
#625 = ORIENTED_EDGE ( 'NONE', *, *, #1864, .T. ) ;
#626 = VERTEX_POINT ( 'NONE', #237 ) ;
#627 = ORIENTED_EDGE ( 'NONE', *, *, #697, .T. ) ;
#628 = EDGE_LOOP ( 'NONE', ( #1069, #786, #705, #784 ) ) ;
#629 = EDGE_LOOP ( 'NONE', ( #495, #1862, #1876, #1837 ) ) ;
#630 = EDGE_LOOP ( 'NONE', ( #718, #2020, #613, #578 ) ) ;
#631 = EDGE_CURVE ( 'NONE', #753, #620, #282, .T. ) ;
#632 = EDGE_CURVE ( 'NONE', #721, #1969, #286, .T. ) ;
#633 = EDGE_LOOP ( 'NONE', ( #640, #700, #598, #720 ) ) ;
#634 = EDGE_CURVE ( 'NONE', #1760, #532, #292, .T. ) ;
#635 = EDGE_CURVE ( 'NONE', #953, #529, #296, .T. ) ;
#636 = ORIENTED_EDGE ( 'NONE', *, *, #507, .F. ) ;
#637 = VERTEX_POINT ( 'NONE', #300 ) ;
#638 = ORIENTED_EDGE ( 'NONE', *, *, #650, .T. ) ;
#639 = EDGE_LOOP ( 'NONE', ( #799, #1317, #1262, #253 ) ) ;
#640 = ORIENTED_EDGE ( 'NONE', *, *, #1993, .F. ) ;
#641 = ORIENTED_EDGE ( 'NONE', *, *, #505, .F. ) ;
#642 = ORIENTED_EDGE ( 'NONE', *, *, #1238, .F. ) ;
#643 = ORIENTED_EDGE ( 'NONE', *, *, #1906, .T. ) ;
#644 = ORIENTED_EDGE ( 'NONE', *, *, #744, .F. ) ;
#645 = ADVANCED_FACE ( 'NONE', ( #311 ), #312, .F. ) ;
#646 = ORIENTED_EDGE ( 'NONE', *, *, #377, .F. ) ;
#647 = EDGE_CURVE ( 'NONE', #1108, #1219, #317, .T. ) ;
#648 = ADVANCED_FACE ( 'NONE', ( #322 ), #323, .F. ) ;
#649 = ORIENTED_EDGE ( 'NONE', *, *, #731, .F. ) ;
#650 = EDGE_CURVE ( 'NONE', #1855, #502, #336, .T. ) ;
#651 = EDGE_LOOP ( 'NONE', ( #1992, #1939, #1923, #1851 ) ) ;
#652 = EDGE_CURVE ( 'NONE', #774, #1451, #344, .T. ) ;
#653 = EDGE_CURVE ( 'NONE', #796, #721, #349, .T. ) ;
#654 = ORIENTED_EDGE ( 'NONE', *, *, #1316, .F. ) ;
#655 = ADVANCED_FACE ( 'NONE', ( #367 ), #368, .T. ) ;
#656 = ORIENTED_EDGE ( 'NONE', *, *, #664, .F. ) ;
#657 = EDGE_CURVE ( 'NONE', #1981, #670, #375, .T. ) ;
#658 = EDGE_CURVE ( 'NONE', #1125, #725, #382, .T. ) ;
#659 = ORIENTED_EDGE ( 'NONE', *, *, #1920, .T. ) ;
#660 = ADVANCED_FACE ( 'NONE', ( #386 ), #387, .F. ) ;
#661 = ORIENTED_EDGE ( 'NONE', *, *, #527, .T. ) ;
#662 = ORIENTED_EDGE ( 'NONE', *, *, #849, .T. ) ;
#663 = ADVANCED_FACE ( 'NONE', ( #969 ), #970, .F. ) ;
#664 = EDGE_CURVE ( 'NONE', #517, #774, #978, .T. ) ;
#665 = ORIENTED_EDGE ( 'NONE', *, *, #1825, .T. ) ;
#666 = ORIENTED_EDGE ( 'NONE', *, *, #1007, .T. ) ;
#667 = ORIENTED_EDGE ( 'NONE', *, *, #1906, .F. ) ;
#668 = ADVANCED_FACE ( 'NONE', ( #992 ), #993, .F. ) ;
#669 = EDGE_LOOP ( 'NONE', ( #1848, #1620, #1701, #601 ) ) ;
#670 = VERTEX_POINT ( 'NONE', #1012 ) ;
#671 = EDGE_CURVE ( 'NONE', #626, #765, #1024, .T. ) ;
#672 = ORIENTED_EDGE ( 'NONE', *, *, #1724, .T. ) ;
#673 = ORIENTED_EDGE ( 'NONE', *, *, #377, .T. ) ;
#674 = ORIENTED_EDGE ( 'NONE', *, *, #519, .F. ) ;
#675 = EDGE_CURVE ( 'NONE', #972, #1969, #1032, .T. ) ;
#676 = EDGE_CURVE ( 'NONE', #512, #1852, #1036, .T. ) ;
#677 = ORIENTED_EDGE ( 'NONE', *, *, #1853, .T. ) ;
#678 = EDGE_CURVE ( 'NONE', #1883, #566, #1049, .T. ) ;
#679 = EDGE_CURVE ( 'NONE', #553, #512, #1053, .T. ) ;
#680 = ADVANCED_FACE ( 'NONE', ( #1057 ), #1058, .F. ) ;
#681 = ORIENTED_EDGE ( 'NONE', *, *, #594, .T. ) ;
#682 = ORIENTED_EDGE ( 'NONE', *, *, #579, .F. ) ;
#683 = ORIENTED_EDGE ( 'NONE', *, *, #1183, .F. ) ;
#684 = ORIENTED_EDGE ( 'NONE', *, *, #731, .T. ) ;
#685 = EDGE_CURVE ( 'NONE', #1901, #796, #1076, .T. ) ;
#686 = EDGE_LOOP ( 'NONE', ( #831, #1863, #681, #695 ) ) ;
#687 = EDGE_CURVE ( 'NONE', #502, #709, #1085, .T. ) ;
#688 = EDGE_CURVE ( 'NONE', #1952, #793, #1090, .T. ) ;
#689 = ORIENTED_EDGE ( 'NONE', *, *, #1968, .T. ) ;
#690 = VERTEX_POINT ( 'NONE', #1116 ) ;
#691 = ORIENTED_EDGE ( 'NONE', *, *, #1679, .F. ) ;
#692 = VERTEX_POINT ( 'NONE', #1117 ) ;
#693 = ADVANCED_FACE ( 'NONE', ( #1130 ), #1131, .F. ) ;
#694 = EDGE_CURVE ( 'NONE', #724, #566, #1136, .T. ) ;
#695 = ORIENTED_EDGE ( 'NONE', *, *, #1864, .F. ) ;
#696 = EDGE_LOOP ( 'NONE', ( #779, #1959, #1702, #1941 ) ) ;
#697 = EDGE_CURVE ( 'NONE', #1969, #1867, #1149, .T. ) ;
#698 = VERTEX_POINT ( 'NONE', #1161 ) ;
#699 = ORIENTED_EDGE ( 'NONE', *, *, #1797, .T. ) ;
#700 = ORIENTED_EDGE ( 'NONE', *, *, #1822, .F. ) ;
#701 = EDGE_LOOP ( 'NONE', ( #554, #769, #672, #588 ) ) ;
#702 = ORIENTED_EDGE ( 'NONE', *, *, #1508, .F. ) ;
#703 = VERTEX_POINT ( 'NONE', #1162 ) ;
#704 = ORIENTED_EDGE ( 'NONE', *, *, #911, .F. ) ;
#705 = ORIENTED_EDGE ( 'NONE', *, *, #777, .F. ) ;
#706 = EDGE_LOOP ( 'NONE', ( #638, #1453 ) ) ;
#707 = ORIENTED_EDGE ( 'NONE', *, *, #1824, .T. ) ;
#708 = ORIENTED_EDGE ( 'NONE', *, *, #1412, .F. ) ;
#709 = VERTEX_POINT ( 'NONE', #1171 ) ;
#710 = EDGE_CURVE ( 'NONE', #1852, #583, #1172, .T. ) ;
#711 = ORIENTED_EDGE ( 'NONE', *, *, #722, .F. ) ;
#712 = VERTEX_POINT ( 'NONE', #1177 ) ;
#713 = ORIENTED_EDGE ( 'NONE', *, *, #652, .F. ) ;
#714 = ORIENTED_EDGE ( 'NONE', *, *, #1412, .T. ) ;
#715 = ADVANCED_FACE ( 'NONE', ( #1186 ), #1187, .T. ) ;
#716 = ADVANCED_FACE ( 'NONE', ( #1193 ), #1194, .F. ) ;
#717 = ORIENTED_EDGE ( 'NONE', *, *, #797, .T. ) ;
#718 = ORIENTED_EDGE ( 'NONE', *, *, #399, .F. ) ;
#719 = VERTEX_POINT ( 'NONE', #1209 ) ;
#720 = ORIENTED_EDGE ( 'NONE', *, *, #1010, .F. ) ;
#721 = VERTEX_POINT ( 'NONE', #1210 ) ;
#722 = EDGE_CURVE ( 'NONE', #1921, #724, #1211, .T. ) ;
#723 = EDGE_LOOP ( 'NONE', ( #1938, #1973, #606, #1221 ) ) ;
#724 = VERTEX_POINT ( 'NONE', #1215 ) ;
#725 = VERTEX_POINT ( 'NONE', #1217 ) ;
#726 = ORIENTED_EDGE ( 'NONE', *, *, #36, .F. ) ;
#727 = EDGE_CURVE ( 'NONE', #1894, #790, #1225, .T. ) ;
#728 = ADVANCED_FACE ( 'NONE', ( #1229 ), #1230, .F. ) ;
#729 = EDGE_CURVE ( 'NONE', #725, #790, #1236, .T. ) ;
#730 = ADVANCED_FACE ( 'NONE', ( #1245 ), #1246, .F. ) ;
#731 = EDGE_CURVE ( 'NONE', #413, #1852, #1255, .T. ) ;
#732 = VERTEX_POINT ( 'NONE', #1265 ) ;
#733 = ORIENTED_EDGE ( 'NONE', *, *, #634, .T. ) ;
#734 = VERTEX_POINT ( 'NONE', #1281 ) ;
#735 = ORIENTED_EDGE ( 'NONE', *, *, #722, .T. ) ;
#736 = ORIENTED_EDGE ( 'NONE', *, *, #770, .T. ) ;
#737 = EDGE_CURVE ( 'NONE', #1873, #690, #1284, .T. ) ;
#738 = ADVANCED_FACE ( 'NONE', ( #1288 ), #1289, .F. ) ;
#739 = EDGE_CURVE ( 'NONE', #1942, #1490, #1301, .T. ) ;
#740 = ORIENTED_EDGE ( 'NONE', *, *, #548, .F. ) ;
#741 = ORIENTED_EDGE ( 'NONE', *, *, #1912, .T. ) ;
#742 = ADVANCED_FACE ( 'NONE', ( #1327 ), #1328, .T. ) ;
#743 = ORIENTED_EDGE ( 'NONE', *, *, #688, .F. ) ;
#744 = EDGE_CURVE ( 'NONE', #692, #712, #1333, .T. ) ;
#745 = EDGE_LOOP ( 'NONE', ( #932, #914, #1916, #1902 ) ) ;
#746 = EDGE_LOOP ( 'NONE', ( #989, #758, #1871, #1846 ) ) ;
#747 = EDGE_LOOP ( 'NONE', ( #1704, #1064, #801, #768 ) ) ;
#748 = VERTEX_POINT ( 'NONE', #1346 ) ;
#749 = ORIENTED_EDGE ( 'NONE', *, *, #589, .F. ) ;
#750 = EDGE_CURVE ( 'NONE', #1988, #1931, #1347, .T. ) ;
#751 = EDGE_CURVE ( 'NONE', #1922, #431, #1352, .T. ) ;
#752 = EDGE_CURVE ( 'NONE', #1890, #128, #1357, .T. ) ;
#753 = VERTEX_POINT ( 'NONE', #1364 ) ;
#754 = EDGE_LOOP ( 'NONE', ( #288, #1831 ) ) ;
#755 = EDGE_LOOP ( 'NONE', ( #574, #622, #781, #1970 ) ) ;
#756 = ADVANCED_FACE ( 'NONE', ( #1370 ), #1371, .F. ) ;
#757 = EDGE_LOOP ( 'NONE', ( #1640, #1220, #1239, #234 ) ) ;
#758 = ORIENTED_EDGE ( 'NONE', *, *, #1507, .F. ) ;
#759 = VERTEX_POINT ( 'NONE', #1383 ) ;
#760 = ORIENTED_EDGE ( 'NONE', *, *, #650, .F. ) ;
#761 = ADVANCED_FACE ( 'NONE', ( #1385 ), #1386, .F. ) ;
#762 = EDGE_CURVE ( 'NONE', #719, #1899, #1402, .T. ) ;
#763 = ORIENTED_EDGE ( 'NONE', *, *, #679, .F. ) ;
#764 = ORIENTED_EDGE ( 'NONE', *, *, #543, .T. ) ;
#765 = VERTEX_POINT ( 'NONE', #1410 ) ;
#766 = ADVANCED_FACE ( 'NONE', ( #1416 ), #1417, .F. ) ;
#767 = EDGE_LOOP ( 'NONE', ( #2004, #625, #146, #1955 ) ) ;
#768 = ORIENTED_EDGE ( 'NONE', *, *, #675, .T. ) ;
#769 = ORIENTED_EDGE ( 'NONE', *, *, #1976, .T. ) ;
#770 = EDGE_CURVE ( 'NONE', #1867, #494, #1422, .T. ) ;
#771 = ADVANCED_FACE ( 'NONE', ( #1426 ), #1427, .T. ) ;
#772 = EDGE_CURVE ( 'NONE', #1200, #562, #1441, .T. ) ;
#773 = VERTEX_POINT ( 'NONE', #1445 ) ;
#774 = VERTEX_POINT ( 'NONE', #1447 ) ;
#775 = MANIFOLD_SOLID_BREP ( 'NONE', #1567 ) ;
#776 = EDGE_LOOP ( 'NONE', ( #654, #1682, #1839, #1820 ) ) ;
#777 = EDGE_CURVE ( 'NONE', #1899, #508, #1449, .T. ) ;
#778 = ORIENTED_EDGE ( 'NONE', *, *, #797, .F. ) ;
#779 = ORIENTED_EDGE ( 'NONE', *, *, #599, .F. ) ;
#780 = ORIENTED_EDGE ( 'NONE', *, *, #1928, .T. ) ;
#781 = ORIENTED_EDGE ( 'NONE', *, *, #1759, .T. ) ;
#782 = EDGE_LOOP ( 'NONE', ( #2010, #1527, #1071, #1891 ) ) ;
#783 = EDGE_LOOP ( 'NONE', ( #851, #665, #449, #1918 ) ) ;
#784 = ORIENTED_EDGE ( 'NONE', *, *, #762, .F. ) ;
#785 = ADVANCED_FACE ( 'NONE', ( #1472 ), #1473, .F. ) ;
#786 = ORIENTED_EDGE ( 'NONE', *, *, #594, .F. ) ;
#787 = ORIENTED_EDGE ( 'NONE', *, *, #812, .F. ) ;
#788 = EDGE_CURVE ( 'NONE', #1931, #1072, #1482, .T. ) ;
#789 = ORIENTED_EDGE ( 'NONE', *, *, #287, .T. ) ;
#790 = VERTEX_POINT ( 'NONE', #1486 ) ;
#791 = ORIENTED_EDGE ( 'NONE', *, *, #727, .T. ) ;
#792 = EDGE_LOOP ( 'NONE', ( #667, #581, #533, #1861 ) ) ;
#793 = VERTEX_POINT ( 'NONE', #1487 ) ;
#794 = ORIENTED_EDGE ( 'NONE', *, *, #399, .T. ) ;
#795 = EDGE_CURVE ( 'NONE', #593, #972, #1491, .T. ) ;
#796 = VERTEX_POINT ( 'NONE', #1496 ) ;
#797 = EDGE_CURVE ( 'NONE', #1451, #396, #1497, .T. ) ;
#798 = EDGE_LOOP ( 'NONE', ( #180, #198, #673, #518 ) ) ;
#799 = ORIENTED_EDGE ( 'NONE', *, *, #538, .F. ) ;
#800 = EDGE_LOOP ( 'NONE', ( #1777, #662, #619, #468 ) ) ;
#801 = ORIENTED_EDGE ( 'NONE', *, *, #795, .T. ) ;
#802 = ORIENTED_EDGE ( 'NONE', *, *, #934, .F. ) ;
#803 = ORIENTED_EDGE ( 'NONE', *, *, #832, .T. ) ;
#804 = LINE ( 'NONE', #805, #806 ) ;
#805 = CARTESIAN_POINT ( 'NONE',  ( 17.10000000000000100, 17.11421356237309900, -0.4500000000000020100 ) ) ;
#806 = VECTOR ( 'NONE', #807, 1000.000000000000000 ) ;
#807 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#808 = LINE ( 'NONE', #809, #810 ) ;
#809 = CARTESIAN_POINT ( 'NONE',  ( 13.10000000000000100, 0.4000000000000000200, 0.8499999999999999800 ) ) ;
#810 = VECTOR ( 'NONE', #813, 1000.000000000000000 ) ;
#811 = ORIENTED_EDGE ( 'NONE', *, *, #1828, .F. ) ;
#812 = EDGE_CURVE ( 'NONE', #853, #1899, #1514, .T. ) ;
#813 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#814 = LINE ( 'NONE', #815, #816 ) ;
#815 = CARTESIAN_POINT ( 'NONE',  ( 25.21500000000000000, 0.4000000000000000200, -8.000000000000000000 ) ) ;
#816 = VECTOR ( 'NONE', #817, 1000.000000000000000 ) ;
#817 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#818 = LINE ( 'NONE', #819, #820 ) ;
#819 = CARTESIAN_POINT ( 'NONE',  ( 24.78500000000000000, 0.4000000000000000200, -7.000000000000000000 ) ) ;
#820 = VECTOR ( 'NONE', #821, 1000.000000000000000 ) ;
#821 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#822 = CARTESIAN_POINT ( 'NONE',  ( -0.4000000000000000200, 15.69999999999999900, 1.250000000000000000 ) ) ;
#823 = LINE ( 'NONE', #824, #825 ) ;
#824 = CARTESIAN_POINT ( 'NONE',  ( 15.90000000000000000, 15.19999999999999900, 1.149999999999999900 ) ) ;
#825 = VECTOR ( 'NONE', #826, 1000.000000000000000 ) ;
#826 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#827 = LINE ( 'NONE', #828, #833 ) ;
#828 = CARTESIAN_POINT ( 'NONE',  ( 24.78500000000000000, -4.553043208990020600, -7.000000000000000000 ) ) ;
#829 = EDGE_CURVE ( 'NONE', #1911, #503, #1522, .T. ) ;
#830 = ORIENTED_EDGE ( 'NONE', *, *, #1983, .F. ) ;
#831 = ORIENTED_EDGE ( 'NONE', *, *, #647, .F. ) ;
#832 = EDGE_CURVE ( 'NONE', #1988, #854, #1526, .T. ) ;
#833 = VECTOR ( 'NONE', #834, 1000.000000000000000 ) ;
#834 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#835 = CARTESIAN_POINT ( 'NONE',  ( 24.78500000000000000, 0.4000000000000000200, -8.000000000000000000 ) ) ;
#836 = LINE ( 'NONE', #837, #838 ) ;
#837 = CARTESIAN_POINT ( 'NONE',  ( 8.500000000000000000, 0.0000000000000000000, 0.8499999999999999800 ) ) ;
#838 = VECTOR ( 'NONE', #839, 1000.000000000000000 ) ;
#839 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 4.713922489067409500E-017 ) ) ;
#840 = FACE_OUTER_BOUND ( 'NONE', #783, .T. ) ;
#841 = FACE_BOUND ( 'NONE', #754, .T. ) ;
#842 = PLANE ( 'NONE',  #843 ) ;
#843 = AXIS2_PLACEMENT_3D ( 'NONE', #844, #845, #846 ) ;
#844 = CARTESIAN_POINT ( 'NONE',  ( 15.90000000000000000, 15.19999999999999900, 1.149999999999999900 ) ) ;
#845 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#846 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#847 = LINE ( 'NONE', #848, #856 ) ;
#848 = CARTESIAN_POINT ( 'NONE',  ( -2.299999999999999800, 15.69999999999999900, -10.10000000000000000 ) ) ;
#849 = EDGE_CURVE ( 'NONE', #1881, #748, #1534, .T. ) ;
#850 = ORIENTED_EDGE ( 'NONE', *, *, #664, .T. ) ;
#851 = ORIENTED_EDGE ( 'NONE', *, *, #1587, .T. ) ;
#852 = EDGE_LOOP ( 'NONE', ( #1821, #1802, #1780, #1742 ) ) ;
#853 = VERTEX_POINT ( 'NONE', #1538 ) ;
#854 = VERTEX_POINT ( 'NONE', #1539 ) ;
#855 = VERTEX_POINT ( 'NONE', #1540 ) ;
#856 = VECTOR ( 'NONE', #857, 1000.000000000000000 ) ;
#857 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#858 = LINE ( 'NONE', #859, #860 ) ;
#859 = CARTESIAN_POINT ( 'NONE',  ( 8.500000000000000000, -3.124099870362659900, 0.8499999999999999800 ) ) ;
#860 = VECTOR ( 'NONE', #861, 1000.000000000000000 ) ;
#861 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#862 = CARTESIAN_POINT ( 'NONE',  ( -2.299999999999999800, 15.69999999999999900, -10.10000000000000000 ) ) ;
#863 = LINE ( 'NONE', #864, #865 ) ;
#864 = CARTESIAN_POINT ( 'NONE',  ( -0.2500000000000000000, 0.4000000000000000200, -7.250000000000000000 ) ) ;
#865 = VECTOR ( 'NONE', #866, 1000.000000000000000 ) ;
#866 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#867 = LINE ( 'NONE', #868, #869 ) ;
#868 = CARTESIAN_POINT ( 'NONE',  ( 25.21500000000000000, -4.553043208990020600, -0.5000000000000000000 ) ) ;
#869 = VECTOR ( 'NONE', #870, 1000.000000000000000 ) ;
#870 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#871 = FACE_OUTER_BOUND ( 'NONE', #933, .T. ) ;
#872 = ORIENTED_EDGE ( 'NONE', *, *, #1928, .F. ) ;
#873 = EDGE_CURVE ( 'NONE', #1072, #1873, #1555, .T. ) ;
#874 = ORIENTED_EDGE ( 'NONE', *, *, #1924, .F. ) ;
#875 = PLANE ( 'NONE',  #876 ) ;
#876 = AXIS2_PLACEMENT_3D ( 'NONE', #877, #878, #879 ) ;
#877 = CARTESIAN_POINT ( 'NONE',  ( 8.500000000000000000, -3.124099870362659900, -6.850000000000000500 ) ) ;
#878 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#879 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#880 = LINE ( 'NONE', #881, #882 ) ;
#881 = CARTESIAN_POINT ( 'NONE',  ( 24.78500000000000000, 0.4000000000000000200, -8.000000000000000000 ) ) ;
#882 = VECTOR ( 'NONE', #883, 1000.000000000000000 ) ;
#883 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#884 = FACE_OUTER_BOUND ( 'NONE', #723, .T. ) ;
#885 = PLANE ( 'NONE',  #886 ) ;
#886 = AXIS2_PLACEMENT_3D ( 'NONE', #887, #888, #889 ) ;
#887 = CARTESIAN_POINT ( 'NONE',  ( -2.299999999999999800, 15.69999999999999900, -10.10000000000000000 ) ) ;
#888 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#889 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#890 = FACE_OUTER_BOUND ( 'NONE', #1129, .T. ) ;
#891 = VERTEX_POINT ( 'NONE', #1560 ) ;
#892 = EDGE_CURVE ( 'NONE', #1378, #591, #1561, .T. ) ;
#893 = ORIENTED_EDGE ( 'NONE', *, *, #1, .F. ) ;
#894 = PLANE ( 'NONE',  #895 ) ;
#895 = AXIS2_PLACEMENT_3D ( 'NONE', #896, #897, #898 ) ;
#896 = CARTESIAN_POINT ( 'NONE',  ( 19.83499999999999700, -4.553043208990020600, -8.000000000000000000 ) ) ;
#897 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#898 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#899 = LINE ( 'NONE', #900, #901 ) ;
#900 = CARTESIAN_POINT ( 'NONE',  ( 25.21500000000000000, -4.553043208990020600, -8.000000000000000000 ) ) ;
#901 = VECTOR ( 'NONE', #902, 1000.000000000000000 ) ;
#902 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#903 = FACE_OUTER_BOUND ( 'NONE', #590, .T. ) ;
#904 = PLANE ( 'NONE',  #905 ) ;
#905 = AXIS2_PLACEMENT_3D ( 'NONE', #906, #907, #908 ) ;
#906 = CARTESIAN_POINT ( 'NONE',  ( 15.90000000000000000, 15.19999999999999900, -8.650000000000000400 ) ) ;
#907 = DIRECTION ( 'NONE',  ( 0.5812381937190968000, 0.8137334712067346700, 0.0000000000000000000 ) ) ;
#908 = DIRECTION ( 'NONE',  ( -0.8137334712067346700, 0.5812381937190968000, 0.0000000000000000000 ) ) ;
#909 = FACE_OUTER_BOUND ( 'NONE', #792, .T. ) ;
#910 = ORIENTED_EDGE ( 'NONE', *, *, #1411, .T. ) ;
#911 = EDGE_CURVE ( 'NONE', #793, #854, #1582, .T. ) ;
#912 = VERTEX_POINT ( 'NONE', #1588 ) ;
#913 = ADVANCED_FACE ( 'NONE', ( #1595 ), #1596, .T. ) ;
#914 = ORIENTED_EDGE ( 'NONE', *, *, #1889, .T. ) ;
#915 = PLANE ( 'NONE',  #916 ) ;
#916 = AXIS2_PLACEMENT_3D ( 'NONE', #917, #918, #919 ) ;
#917 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#918 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#919 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#920 = LINE ( 'NONE', #921, #922 ) ;
#921 = CARTESIAN_POINT ( 'NONE',  ( -0.2500000000000000000, 1.107106781186548000, -0.2500000000000000000 ) ) ;
#922 = VECTOR ( 'NONE', #923, 1000.000000000000000 ) ;
#923 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#924 = FACE_OUTER_BOUND ( 'NONE', #560, .T. ) ;
#925 = PLANE ( 'NONE',  #926 ) ;
#926 = AXIS2_PLACEMENT_3D ( 'NONE', #927, #928, #929 ) ;
#927 = CARTESIAN_POINT ( 'NONE',  ( -0.2500000000000000000, -3.500000000000000000, -0.2500000000000000000 ) ) ;
#928 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#929 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#930 = LINE ( 'NONE', #935, #936 ) ;
#931 = ORIENTED_EDGE ( 'NONE', *, *, #1829, .T. ) ;
#932 = ORIENTED_EDGE ( 'NONE', *, *, #739, .F. ) ;
#933 = EDGE_LOOP ( 'NONE', ( #674, #1937, #684, #1107 ) ) ;
#934 = EDGE_CURVE ( 'NONE', #912, #692, #1601, .T. ) ;
#935 = CARTESIAN_POINT ( 'NONE',  ( 18.80000000000000100, 15.69999999999999900, 1.149999999999999900 ) ) ;
#936 = VECTOR ( 'NONE', #937, 1000.000000000000000 ) ;
#937 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#938 = FACE_OUTER_BOUND ( 'NONE', #1700, .T. ) ;
#939 = PLANE ( 'NONE',  #940 ) ;
#940 = AXIS2_PLACEMENT_3D ( 'NONE', #941, #942, #943 ) ;
#941 = CARTESIAN_POINT ( 'NONE',  ( -1.399999999999999900, 15.50000000000000000, 1.250000000000000000 ) ) ;
#942 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#943 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#944 = LINE ( 'NONE', #945, #946 ) ;
#945 = CARTESIAN_POINT ( 'NONE',  ( 24.78500000000000000, -3.500000000000000000, -8.000000000000000000 ) ) ;
#946 = VECTOR ( 'NONE', #947, 1000.000000000000000 ) ;
#947 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#948 = LINE ( 'NONE', #949, #950 ) ;
#949 = CARTESIAN_POINT ( 'NONE',  ( 25.21500000000000000, -4.553043208990020600, -7.000000000000000000 ) ) ;
#950 = VECTOR ( 'NONE', #955, 1000.000000000000000 ) ;
#951 = EDGE_CURVE ( 'NONE', #1490, #1922, #1605, .T. ) ;
#952 = EDGE_CURVE ( 'NONE', #532, #19, #1609, .T. ) ;
#953 = VERTEX_POINT ( 'NONE', #1613 ) ;
#954 = ORIENTED_EDGE ( 'NONE', *, *, #1833, .T. ) ;
#955 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#956 = LINE ( 'NONE', #957, #958 ) ;
#957 = CARTESIAN_POINT ( 'NONE',  ( -0.2500000000000000000, -3.500000000000000000, 0.2500000000000000000 ) ) ;
#958 = VECTOR ( 'NONE', #959, 1000.000000000000000 ) ;
#959 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#960 = LINE ( 'NONE', #961, #962 ) ;
#961 = CARTESIAN_POINT ( 'NONE',  ( 18.30000000000000100, 15.69999999999999900, -9.150000000000000400 ) ) ;
#962 = VECTOR ( 'NONE', #963, 1000.000000000000000 ) ;
#963 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#964 = CARTESIAN_POINT ( 'NONE',  ( 24.78500000000000000, -3.500000000000000000, -8.000000000000000000 ) ) ;
#965 = LINE ( 'NONE', #966, #967 ) ;
#966 = CARTESIAN_POINT ( 'NONE',  ( -0.2500000000000000000, 0.4000000000000000200, -7.750000000000000000 ) ) ;
#967 = VECTOR ( 'NONE', #968, 1000.000000000000000 ) ;
#968 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#969 = FACE_OUTER_BOUND ( 'NONE', #1927, .T. ) ;
#970 = PLANE ( 'NONE',  #973 ) ;
#971 = ORIENTED_EDGE ( 'NONE', *, *, #2002, .F. ) ;
#972 = VERTEX_POINT ( 'NONE', #1614 ) ;
#973 = AXIS2_PLACEMENT_3D ( 'NONE', #974, #975, #976 ) ;
#974 = CARTESIAN_POINT ( 'NONE',  ( 24.78500000000000000, -4.553043208990020600, -8.000000000000000000 ) ) ;
#975 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#976 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#977 = CARTESIAN_POINT ( 'NONE',  ( 13.10000000000000100, 0.0000000000000000000, -6.850000000000000500 ) ) ;
#978 = LINE ( 'NONE', #979, #980 ) ;
#979 = CARTESIAN_POINT ( 'NONE',  ( 25.21500000000000000, -3.500000000000000000, -8.000000000000000000 ) ) ;
#980 = VECTOR ( 'NONE', #981, 1000.000000000000000 ) ;
#981 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#982 = CARTESIAN_POINT ( 'NONE',  ( 13.10000000000000100, 0.4000000000000000200, -6.850000000000000500 ) ) ;
#983 = FACE_OUTER_BOUND ( 'NONE', #1163, .T. ) ;
#984 = PLANE ( 'NONE',  #985 ) ;
#985 = AXIS2_PLACEMENT_3D ( 'NONE', #986, #987, #988 ) ;
#986 = CARTESIAN_POINT ( 'NONE',  ( 8.500000000000000000, -3.124099870362659900, -0.6500000000000000200 ) ) ;
#987 = DIRECTION ( 'NONE',  ( 4.713922489067409500E-017, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#988 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, -4.713922489067409500E-017 ) ) ;
#989 = ORIENTED_EDGE ( 'NONE', *, *, #1068, .T. ) ;
#990 = ORIENTED_EDGE ( 'NONE', *, *, #1912, .F. ) ;
#991 = CARTESIAN_POINT ( 'NONE',  ( 0.2500000000000000000, -3.500000000000000000, -7.750000000000000000 ) ) ;
#992 = FACE_OUTER_BOUND ( 'NONE', #1985, .T. ) ;
#993 = PLANE ( 'NONE',  #994 ) ;
#994 = AXIS2_PLACEMENT_3D ( 'NONE', #995, #996, #997 ) ;
#995 = CARTESIAN_POINT ( 'NONE',  ( 0.2500000000000000000, 1.107106781186548000, 0.2500000000000000000 ) ) ;
#996 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#997 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#998 = LINE ( 'NONE', #999, #1000 ) ;
#999 = CARTESIAN_POINT ( 'NONE',  ( 19.83499999999999700, 0.4000000000000000200, -8.000000000000000000 ) ) ;
#1000 = VECTOR ( 'NONE', #1001, 1000.000000000000000 ) ;
#1001 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1002 = FACE_OUTER_BOUND ( 'NONE', #602, .T. ) ;
#1003 = CYLINDRICAL_SURFACE ( 'NONE', #1004, 0.5000000000000000000 ) ;
#1004 = AXIS2_PLACEMENT_3D ( 'NONE', #1005, #1006, #1011 ) ;
#1005 = CARTESIAN_POINT ( 'NONE',  ( 17.10000000000000100, 17.11421356237309900, 0.04999999999999799700 ) ) ;
#1006 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1007 = EDGE_CURVE ( 'NONE', #523, #1900, #1622, .T. ) ;
#1008 = EDGE_CURVE ( 'NONE', #712, #1884, #1626, .T. ) ;
#1009 = EDGE_CURVE ( 'NONE', #1414, #431, #1630, .T. ) ;
#1010 = EDGE_CURVE ( 'NONE', #1904, #891, #1644, .T. ) ;
#1011 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1012 = CARTESIAN_POINT ( 'NONE',  ( 8.500000000000000000, 0.0000000000000000000, -8.349999999999999600 ) ) ;
#1013 = CARTESIAN_POINT ( 'NONE',  ( 17.10000000000000100, 15.69999999999999900, -0.4500000000000020100 ) ) ;
#1014 = LINE ( 'NONE', #1015, #1016 ) ;
#1015 = CARTESIAN_POINT ( 'NONE',  ( 26.70000000000000300, 15.69999999999999900, -10.10000000000000000 ) ) ;
#1016 = VECTOR ( 'NONE', #1017, 1000.000000000000000 ) ;
#1017 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1018 = FACE_OUTER_BOUND ( 'NONE', #609, .T. ) ;
#1019 = PLANE ( 'NONE',  #1020 ) ;
#1020 = AXIS2_PLACEMENT_3D ( 'NONE', #1021, #1022, #1023 ) ;
#1021 = CARTESIAN_POINT ( 'NONE',  ( -0.4000000000000000200, 15.50000000000000000, -8.750000000000000000 ) ) ;
#1022 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, -1.246832498358329900E-016 ) ) ;
#1023 = DIRECTION ( 'NONE',  ( -1.246832498358329900E-016, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1024 = LINE ( 'NONE', #1025, #1026 ) ;
#1025 = CARTESIAN_POINT ( 'NONE',  ( 13.10000000000000100, -3.124099870362659900, -0.6500000000000000200 ) ) ;
#1026 = VECTOR ( 'NONE', #1030, 1000.000000000000000 ) ;
#1027 = ORIENTED_EDGE ( 'NONE', *, *, #1874, .F. ) ;
#1028 = VERTEX_POINT ( 'NONE', #1648 ) ;
#1029 = VERTEX_POINT ( 'NONE', #1653 ) ;
#1030 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1031 = CARTESIAN_POINT ( 'NONE',  ( -1.399999999999999900, 15.69999999999999900, -8.750000000000000000 ) ) ;
#1032 = LINE ( 'NONE', #1033, #1034 ) ;
#1033 = CARTESIAN_POINT ( 'NONE',  ( 4.299999999999999800, 0.4000000000000000200, -2.750000000000000000 ) ) ;
#1034 = VECTOR ( 'NONE', #1035, 1000.000000000000000 ) ;
#1035 = DIRECTION ( 'NONE',  ( -4.336808689942020200E-016, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1036 = LINE ( 'NONE', #1037, #1038 ) ;
#1037 = CARTESIAN_POINT ( 'NONE',  ( 13.10000000000000100, 0.4000000000000000200, -8.349999999999999600 ) ) ;
#1038 = VECTOR ( 'NONE', #1039, 1000.000000000000000 ) ;
#1039 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1040 = CARTESIAN_POINT ( 'NONE',  ( 1.899999999999999900, 0.4000000000000000200, -4.750000000000000000 ) ) ;
#1041 = FACE_OUTER_BOUND ( 'NONE', #1987, .T. ) ;
#1042 = PLANE ( 'NONE',  #1043 ) ;
#1043 = AXIS2_PLACEMENT_3D ( 'NONE', #1044, #1045, #1048 ) ;
#1044 = CARTESIAN_POINT ( 'NONE',  ( 13.10000000000000100, -3.124099870362659900, 0.8499999999999999800 ) ) ;
#1045 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1046 = EDGE_CURVE ( 'NONE', #790, #1919, #1654, .T. ) ;
#1047 = ORIENTED_EDGE ( 'NONE', *, *, #829, .F. ) ;
#1048 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1049 = LINE ( 'NONE', #1050, #1051 ) ;
#1050 = CARTESIAN_POINT ( 'NONE',  ( 19.83499999999999700, 0.4000000000000000200, -8.000000000000000000 ) ) ;
#1051 = VECTOR ( 'NONE', #1052, 1000.000000000000000 ) ;
#1052 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1053 = LINE ( 'NONE', #1054, #1055 ) ;
#1054 = CARTESIAN_POINT ( 'NONE',  ( 8.500000000000000000, 0.4000000000000000200, -8.349999999999999600 ) ) ;
#1055 = VECTOR ( 'NONE', #1056, 1000.000000000000000 ) ;
#1056 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1057 = FACE_OUTER_BOUND ( 'NONE', #1321, .T. ) ;
#1058 = PLANE ( 'NONE',  #1059 ) ;
#1059 = AXIS2_PLACEMENT_3D ( 'NONE', #1060, #1061, #1062 ) ;
#1060 = CARTESIAN_POINT ( 'NONE',  ( 19.83499999999999700, -4.553043208990020600, -7.000000000000000000 ) ) ;
#1061 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1062 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1063 = LINE ( 'NONE', #1073, #1074 ) ;
#1064 = ORIENTED_EDGE ( 'NONE', *, *, #1065, .T. ) ;
#1065 = EDGE_CURVE ( 'NONE', #721, #593, #1663, .T. ) ;
#1066 = EDGE_CURVE ( 'NONE', #1490, #1414, #1667, .T. ) ;
#1067 = ORIENTED_EDGE ( 'NONE', *, *, #892, .T. ) ;
#1068 = EDGE_CURVE ( 'NONE', #1884, #912, #1671, .T. ) ;
#1069 = ORIENTED_EDGE ( 'NONE', *, *, #1868, .F. ) ;
#1070 = ORIENTED_EDGE ( 'NONE', *, *, #1823, .T. ) ;
#1071 = ORIENTED_EDGE ( 'NONE', *, *, #1857, .F. ) ;
#1072 = VERTEX_POINT ( 'NONE', #1675 ) ;
#1073 = CARTESIAN_POINT ( 'NONE',  ( 24.78500000000000000, -4.553043208990020600, -0.5000000000000000000 ) ) ;
#1074 = VECTOR ( 'NONE', #1075, 1000.000000000000000 ) ;
#1075 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1076 = LINE ( 'NONE', #1077, #1078 ) ;
#1077 = CARTESIAN_POINT ( 'NONE',  ( 1.899999999999999900, 0.0000000000000000000, -2.750000000000000000 ) ) ;
#1078 = VECTOR ( 'NONE', #1079, 1000.000000000000000 ) ;
#1079 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1080 = CARTESIAN_POINT ( 'NONE',  ( 17.10000000000000100, 15.69999999999999900, 0.5499999999999979300 ) ) ;
#1081 = LINE ( 'NONE', #1082, #1083 ) ;
#1082 = CARTESIAN_POINT ( 'NONE',  ( 19.36464646464644800, 12.72525252525252000, -1.324747474747480100 ) ) ;
#1083 = VECTOR ( 'NONE', #1084, 1000.000000000000000 ) ;
#1084 = DIRECTION ( 'NONE',  ( -0.7035264706814479100, 0.5025189076296069400, 0.5025189076296059400 ) ) ;
#1085 = LINE ( 'NONE', #1086, #1087 ) ;
#1086 = CARTESIAN_POINT ( 'NONE',  ( 17.10000000000000100, 17.11421356237309900, 0.5499999999999979300 ) ) ;
#1087 = VECTOR ( 'NONE', #1088, 1000.000000000000000 ) ;
#1088 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1089 = ORIENTED_EDGE ( 'NONE', *, *, #1009, .F. ) ;
#1090 = LINE ( 'NONE', #1091, #1092 ) ;
#1091 = CARTESIAN_POINT ( 'NONE',  ( 22.50000000000000000, 0.4000000000000000200, -4.750000000000000000 ) ) ;
#1092 = VECTOR ( 'NONE', #1093, 1000.000000000000000 ) ;
#1093 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1094 = CARTESIAN_POINT ( 'NONE',  ( 15.19999999999999900, 15.69999999999999900, 1.649999999999999900 ) ) ;
#1095 = CARTESIAN_POINT ( 'NONE',  ( 1.899999999999999900, 0.4000000000000000200, -2.750000000000000000 ) ) ;
#1096 = LINE ( 'NONE', #1097, #1098 ) ;
#1097 = CARTESIAN_POINT ( 'NONE',  ( 24.78500000000000000, 0.4000000000000000200, -0.5000000000000000000 ) ) ;
#1098 = VECTOR ( 'NONE', #1099, 1000.000000000000000 ) ;
#1099 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1100 = CIRCLE ( 'NONE', #1101, 0.5000000000000000000 ) ;
#1101 = AXIS2_PLACEMENT_3D ( 'NONE', #1102, #1103, #1104 ) ;
#1102 = CARTESIAN_POINT ( 'NONE',  ( 17.10000000000000100, 15.69999999999999900, 0.04999999999999799700 ) ) ;
#1103 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1104 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1105 = LINE ( 'NONE', #1109, #1110 ) ;
#1106 = ORIENTED_EDGE ( 'NONE', *, *, #1413, .T. ) ;
#1107 = ORIENTED_EDGE ( 'NONE', *, *, #710, .T. ) ;
#1108 = VERTEX_POINT ( 'NONE', #1677 ) ;
#1109 = CARTESIAN_POINT ( 'NONE',  ( 1.899999999999999900, 0.0000000000000000000, -4.750000000000000000 ) ) ;
#1110 = VECTOR ( 'NONE', #1111, 1000.000000000000000 ) ;
#1111 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1112 = LINE ( 'NONE', #1113, #1114 ) ;
#1113 = CARTESIAN_POINT ( 'NONE',  ( 22.50000000000000000, 0.4000000000000000200, -2.750000000000000000 ) ) ;
#1114 = VECTOR ( 'NONE', #1115, 1000.000000000000000 ) ;
#1115 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1116 = CARTESIAN_POINT ( 'NONE',  ( 22.50000000000000000, 0.4000000000000000200, -2.750000000000000000 ) ) ;
#1117 = CARTESIAN_POINT ( 'NONE',  ( -2.299999999999999800, 0.4000000000000000200, 2.600000000000000100 ) ) ;
#1118 = CARTESIAN_POINT ( 'NONE',  ( 24.78500000000000000, 0.4000000000000000200, 0.5000000000000000000 ) ) ;
#1119 = FACE_OUTER_BOUND ( 'NONE', #755, .T. ) ;
#1120 = PLANE ( 'NONE',  #1121 ) ;
#1121 = AXIS2_PLACEMENT_3D ( 'NONE', #1122, #1123, #1124 ) ;
#1122 = CARTESIAN_POINT ( 'NONE',  ( 19.83499999999999700, -4.553043208990020600, 0.5000000000000000000 ) ) ;
#1123 = DIRECTION ( 'NONE',  ( 3.285461128743880100E-016, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1124 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, -3.285461128743880100E-016 ) ) ;
#1125 = VERTEX_POINT ( 'NONE', #1678 ) ;
#1126 = EDGE_LOOP ( 'NONE', ( #1990, #1998, #338, #358 ) ) ;
#1127 = ORIENTED_EDGE ( 'NONE', *, *, #595, .T. ) ;
#1128 = ORIENTED_EDGE ( 'NONE', *, *, #548, .T. ) ;
#1129 = EDGE_LOOP ( 'NONE', ( #711, #1977, #1972, #1980 ) ) ;
#1130 = FACE_OUTER_BOUND ( 'NONE', #541, .T. ) ;
#1131 = PLANE ( 'NONE',  #1132 ) ;
#1132 = AXIS2_PLACEMENT_3D ( 'NONE', #1133, #1134, #1135 ) ;
#1133 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1134 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1135 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1136 = LINE ( 'NONE', #1137, #1138 ) ;
#1137 = CARTESIAN_POINT ( 'NONE',  ( 20.16499999999999900, -4.553043208990020600, -8.000000000000000000 ) ) ;
#1138 = VECTOR ( 'NONE', #1139, 1000.000000000000000 ) ;
#1139 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1140 = CARTESIAN_POINT ( 'NONE',  ( 22.50000000000000000, 0.0000000000000000000, -2.750000000000000000 ) ) ;
#1141 = CARTESIAN_POINT ( 'NONE',  ( 13.10000000000000100, 0.4000000000000000200, -8.349999999999999600 ) ) ;
#1142 = FACE_OUTER_BOUND ( 'NONE', #499, .T. ) ;
#1143 = PLANE ( 'NONE',  #1144 ) ;
#1144 = AXIS2_PLACEMENT_3D ( 'NONE', #1145, #1147, #1148 ) ;
#1145 = CARTESIAN_POINT ( 'NONE',  ( 22.50000000000000000, -3.124099870362659900, -4.750000000000000000 ) ) ;
#1146 = EDGE_CURVE ( 'NONE', #1890, #1884, #1689, .T. ) ;
#1147 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1148 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1149 = LINE ( 'NONE', #1150, #1151 ) ;
#1150 = CARTESIAN_POINT ( 'NONE',  ( 1.899999999999999900, 0.4000000000000000200, -2.750000000000000000 ) ) ;
#1151 = VECTOR ( 'NONE', #1152, 1000.000000000000000 ) ;
#1152 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, -1.807003620809174900E-016 ) ) ;
#1153 = LINE ( 'NONE', #1154, #1155 ) ;
#1154 = CARTESIAN_POINT ( 'NONE',  ( 18.30000000000000100, 15.19999999999999900, -8.650000000000000400 ) ) ;
#1155 = VECTOR ( 'NONE', #1156, 1000.000000000000000 ) ;
#1156 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1157 = LINE ( 'NONE', #1158, #1159 ) ;
#1158 = CARTESIAN_POINT ( 'NONE',  ( 8.500000000000000000, 0.0000000000000000000, 0.8499999999999999800 ) ) ;
#1159 = VECTOR ( 'NONE', #1160, 1000.000000000000000 ) ;
#1160 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1161 = CARTESIAN_POINT ( 'NONE',  ( 24.78500000000000000, 0.4000000000000000200, -7.000000000000000000 ) ) ;
#1162 = CARTESIAN_POINT ( 'NONE',  ( -0.2500000000000000000, 0.4000000000000000200, -0.2500000000000000000 ) ) ;
#1163 = EDGE_LOOP ( 'NONE', ( #450, #643, #567, #1838 ) ) ;
#1164 = EDGE_LOOP ( 'NONE', ( #649, #741, #1128, #570 ) ) ;
#1165 = FACE_OUTER_BOUND ( 'NONE', #745, .T. ) ;
#1166 = PLANE ( 'NONE',  #1167 ) ;
#1167 = AXIS2_PLACEMENT_3D ( 'NONE', #1168, #1169, #1170 ) ;
#1168 = CARTESIAN_POINT ( 'NONE',  ( -0.2500000000000000000, 1.107106781186548000, -7.250000000000000000 ) ) ;
#1169 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1170 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1171 = CARTESIAN_POINT ( 'NONE',  ( 17.10000000000000100, 15.19999999999999900, 0.5499999999999979300 ) ) ;
#1172 = LINE ( 'NONE', #1173, #1174 ) ;
#1173 = CARTESIAN_POINT ( 'NONE',  ( 8.500000000000000000, 0.4000000000000000200, -6.850000000000000500 ) ) ;
#1174 = VECTOR ( 'NONE', #1175, 1000.000000000000000 ) ;
#1175 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1176 = CARTESIAN_POINT ( 'NONE',  ( 19.83499999999999700, -3.500000000000000000, -0.5000000000000000000 ) ) ;
#1177 = CARTESIAN_POINT ( 'NONE',  ( 26.70000000000000300, 0.4000000000000000200, 2.600000000000000100 ) ) ;
#1178 = CARTESIAN_POINT ( 'NONE',  ( 25.21500000000000000, -3.500000000000000000, -8.000000000000000000 ) ) ;
#1179 = LINE ( 'NONE', #1180, #1184 ) ;
#1180 = CARTESIAN_POINT ( 'NONE',  ( 8.500000000000000000, -3.124099870362659900, -6.850000000000000500 ) ) ;
#1181 = ADVANCED_FACE ( 'NONE', ( #1710 ), #1711, .F. ) ;
#1182 = EDGE_LOOP ( 'NONE', ( #400, #971, #109, #1885 ) ) ;
#1183 = EDGE_CURVE ( 'NONE', #1931, #793, #1716, .T. ) ;
#1184 = VECTOR ( 'NONE', #1185, 1000.000000000000000 ) ;
#1185 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1186 = FACE_OUTER_BOUND ( 'NONE', #531, .T. ) ;
#1187 = PLANE ( 'NONE',  #1188 ) ;
#1188 = AXIS2_PLACEMENT_3D ( 'NONE', #1189, #1190, #1191 ) ;
#1189 = CARTESIAN_POINT ( 'NONE',  ( -0.2500000000000000000, -3.500000000000000000, -0.2500000000000000000 ) ) ;
#1190 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1191 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1192 = CARTESIAN_POINT ( 'NONE',  ( 19.83499999999999700, 0.4000000000000000200, -8.000000000000000000 ) ) ;
#1193 = FACE_OUTER_BOUND ( 'NONE', #551, .T. ) ;
#1194 = PLANE ( 'NONE',  #1195 ) ;
#1195 = AXIS2_PLACEMENT_3D ( 'NONE', #1196, #1197, #1198 ) ;
#1196 = CARTESIAN_POINT ( 'NONE',  ( -1.399999999999999900, 15.50000000000000000, -8.750000000000000000 ) ) ;
#1197 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 1.301042606982605800E-016 ) ) ;
#1198 = DIRECTION ( 'NONE',  ( 1.301042606982605800E-016, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1199 = CARTESIAN_POINT ( 'NONE',  ( 17.10000000000000100, 15.19999999999999900, -0.4500000000000020100 ) ) ;
#1200 = VERTEX_POINT ( 'NONE', #1726 ) ;
#1201 = ADVANCED_FACE ( 'NONE', ( #1732 ), #1733, .F. ) ;
#1202 = ORIENTED_EDGE ( 'NONE', *, *, #235, .F. ) ;
#1203 = CARTESIAN_POINT ( 'NONE',  ( 26.70000000000000300, 0.4000000000000000200, -10.10000000000000000 ) ) ;
#1204 = CARTESIAN_POINT ( 'NONE',  ( -0.4000000000000000200, 15.50000000000000000, -8.750000000000000000 ) ) ;
#1205 = LINE ( 'NONE', #1206, #1207 ) ;
#1206 = CARTESIAN_POINT ( 'NONE',  ( 19.83499999999999700, -3.500000000000000000, -0.5000000000000000000 ) ) ;
#1207 = VECTOR ( 'NONE', #1208, 1000.000000000000000 ) ;
#1208 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 3.285461128743880100E-016 ) ) ;
#1209 = CARTESIAN_POINT ( 'NONE',  ( 25.21500000000000000, 0.4000000000000000200, -0.5000000000000000000 ) ) ;
#1210 = CARTESIAN_POINT ( 'NONE',  ( 4.299999999999999800, 0.0000000000000000000, -2.750000000000000000 ) ) ;
#1211 = LINE ( 'NONE', #1212, #1213 ) ;
#1212 = CARTESIAN_POINT ( 'NONE',  ( 19.83499999999999700, -3.500000000000000000, -8.000000000000000000 ) ) ;
#1213 = VECTOR ( 'NONE', #1214, 1000.000000000000000 ) ;
#1214 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1215 = CARTESIAN_POINT ( 'NONE',  ( 20.16499999999999900, -3.500000000000000000, -8.000000000000000000 ) ) ;
#1216 = CARTESIAN_POINT ( 'NONE',  ( 20.16499999999999900, -3.500000000000000000, -0.5000000000000000000 ) ) ;
#1217 = CARTESIAN_POINT ( 'NONE',  ( 0.2500000000000000000, 0.4000000000000000200, -0.2500000000000000000 ) ) ;
#1218 = LINE ( 'NONE', #1222, #1223 ) ;
#1219 = VERTEX_POINT ( 'NONE', #1743 ) ;
#1220 = ORIENTED_EDGE ( 'NONE', *, *, #750, .T. ) ;
#1221 = ORIENTED_EDGE ( 'NONE', *, *, #1507, .T. ) ;
#1222 = CARTESIAN_POINT ( 'NONE',  ( 8.500000000000000000, 0.0000000000000000000, -8.349999999999999600 ) ) ;
#1223 = VECTOR ( 'NONE', #1224, 1000.000000000000000 ) ;
#1224 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1225 = LINE ( 'NONE', #1226, #1227 ) ;
#1226 = CARTESIAN_POINT ( 'NONE',  ( 0.2500000000000000000, -3.500000000000000000, 0.2500000000000000000 ) ) ;
#1227 = VECTOR ( 'NONE', #1228, 1000.000000000000000 ) ;
#1228 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1229 = FACE_OUTER_BOUND ( 'NONE', #1925, .T. ) ;
#1230 = PLANE ( 'NONE',  #1231 ) ;
#1231 = AXIS2_PLACEMENT_3D ( 'NONE', #1232, #1233, #1234 ) ;
#1232 = CARTESIAN_POINT ( 'NONE',  ( 8.500000000000000000, -3.124099870362659900, -8.349999999999999600 ) ) ;
#1233 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1234 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1235 = CARTESIAN_POINT ( 'NONE',  ( 15.90000000000000000, 15.19999999999999900, -8.650000000000000400 ) ) ;
#1236 = LINE ( 'NONE', #1237, #1243 ) ;
#1237 = CARTESIAN_POINT ( 'NONE',  ( 0.2500000000000000000, 1.107106781186548000, -0.2500000000000000000 ) ) ;
#1238 = EDGE_CURVE ( 'NONE', #1341, #1125, #1748, .T. ) ;
#1239 = ORIENTED_EDGE ( 'NONE', *, *, #1183, .T. ) ;
#1240 = ORIENTED_EDGE ( 'NONE', *, *, #592, .T. ) ;
#1241 = ADVANCED_FACE ( 'NONE', ( #1768 ), #1769, .F. ) ;
#1242 = ORIENTED_EDGE ( 'NONE', *, *, #772, .T. ) ;
#1243 = VECTOR ( 'NONE', #1244, 1000.000000000000000 ) ;
#1244 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1245 = FACE_OUTER_BOUND ( 'NONE', #537, .T. ) ;
#1246 = PLANE ( 'NONE',  #1247 ) ;
#1247 = AXIS2_PLACEMENT_3D ( 'NONE', #1248, #1249, #1250 ) ;
#1248 = CARTESIAN_POINT ( 'NONE',  ( 1.899999999999999900, -3.124099870362659900, -4.750000000000000000 ) ) ;
#1249 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1250 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1251 = LINE ( 'NONE', #1252, #1253 ) ;
#1252 = CARTESIAN_POINT ( 'NONE',  ( -0.2500000000000000000, 1.107106781186548000, -7.250000000000000000 ) ) ;
#1253 = VECTOR ( 'NONE', #1254, 1000.000000000000000 ) ;
#1254 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1255 = LINE ( 'NONE', #1256, #1257 ) ;
#1256 = CARTESIAN_POINT ( 'NONE',  ( 13.10000000000000100, -3.124099870362659900, -6.850000000000000500 ) ) ;
#1257 = VECTOR ( 'NONE', #1258, 1000.000000000000000 ) ;
#1258 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1259 = ORIENTED_EDGE ( 'NONE', *, *, #675, .F. ) ;
#1260 = EDGE_LOOP ( 'NONE', ( #534, #378, #1860, #493 ) ) ;
#1261 = ORIENTED_EDGE ( 'NONE', *, *, #1338, .F. ) ;
#1262 = ORIENTED_EDGE ( 'NONE', *, *, #1798, .T. ) ;
#1263 = EDGE_CURVE ( 'NONE', #1219, #604, #1795, .T. ) ;
#1264 = CARTESIAN_POINT ( 'NONE',  ( -0.4000000000000000200, 15.50000000000000000, 1.250000000000000000 ) ) ;
#1265 = CARTESIAN_POINT ( 'NONE',  ( 18.30000000000000100, 15.19999999999999900, 1.149999999999999900 ) ) ;
#1266 = LINE ( 'NONE', #1267, #1268 ) ;
#1267 = CARTESIAN_POINT ( 'NONE',  ( 15.19999999999999900, 15.69999999999999900, -9.150000000000000400 ) ) ;
#1268 = VECTOR ( 'NONE', #1269, 1000.000000000000000 ) ;
#1269 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1270 = CARTESIAN_POINT ( 'NONE',  ( 26.70000000000000300, 15.69999999999999900, -10.10000000000000000 ) ) ;
#1271 = LINE ( 'NONE', #1272, #1273 ) ;
#1272 = CARTESIAN_POINT ( 'NONE',  ( 15.90000000000000000, 15.19999999999999900, -8.650000000000000400 ) ) ;
#1273 = VECTOR ( 'NONE', #1274, 999.9999999999998900 ) ;
#1274 = DIRECTION ( 'NONE',  ( 0.7035264706814475800, -0.5025189076296067100, 0.5025189076296067100 ) ) ;
#1275 = CARTESIAN_POINT ( 'NONE',  ( 0.2500000000000000000, -3.500000000000000000, 0.2500000000000000000 ) ) ;
#1276 = LINE ( 'NONE', #1277, #1278 ) ;
#1277 = CARTESIAN_POINT ( 'NONE',  ( 19.83499999999999700, -3.500000000000000000, 0.5000000000000000000 ) ) ;
#1278 = VECTOR ( 'NONE', #1279, 1000.000000000000000 ) ;
#1279 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1280 = ORIENTED_EDGE ( 'NONE', *, *, #595, .F. ) ;
#1281 = CARTESIAN_POINT ( 'NONE',  ( -1.399999999999999900, 15.69999999999999900, 1.250000000000000000 ) ) ;
#1282 = CARTESIAN_POINT ( 'NONE',  ( 20.16499999999999900, 0.4000000000000000200, -7.000000000000000000 ) ) ;
#1283 = CARTESIAN_POINT ( 'NONE',  ( 24.78500000000000000, 0.4000000000000000200, -0.5000000000000000000 ) ) ;
#1284 = LINE ( 'NONE', #1285, #1286 ) ;
#1285 = CARTESIAN_POINT ( 'NONE',  ( 22.50000000000000000, -3.124099870362659900, -2.750000000000000000 ) ) ;
#1286 = VECTOR ( 'NONE', #1287, 1000.000000000000000 ) ;
#1287 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1288 = FACE_OUTER_BOUND ( 'NONE', #1907, .T. ) ;
#1289 = PLANE ( 'NONE',  #1290 ) ;
#1290 = AXIS2_PLACEMENT_3D ( 'NONE', #1291, #1292, #1293 ) ;
#1291 = CARTESIAN_POINT ( 'NONE',  ( 25.21500000000000000, -4.553043208990020600, -8.000000000000000000 ) ) ;
#1292 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1293 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1294 = LINE ( 'NONE', #1295, #1296 ) ;
#1295 = CARTESIAN_POINT ( 'NONE',  ( 20.16499999999999900, -4.553043208990020600, -7.000000000000000000 ) ) ;
#1296 = VECTOR ( 'NONE', #1300, 1000.000000000000000 ) ;
#1297 = ORIENTED_EDGE ( 'NONE', *, *, #1411, .F. ) ;
#1298 = ORIENTED_EDGE ( 'NONE', *, *, #685, .T. ) ;
#1299 = ORIENTED_EDGE ( 'NONE', *, *, #1452, .F. ) ;
#1300 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1301 = LINE ( 'NONE', #1302, #1303 ) ;
#1302 = CARTESIAN_POINT ( 'NONE',  ( -0.2500000000000000000, 0.4000000000000000200, -7.250000000000000000 ) ) ;
#1303 = VECTOR ( 'NONE', #1304, 1000.000000000000000 ) ;
#1304 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1305 = LINE ( 'NONE', #1306, #1307 ) ;
#1306 = CARTESIAN_POINT ( 'NONE',  ( 19.83499999999999700, -3.500000000000000000, -7.000000000000000000 ) ) ;
#1307 = VECTOR ( 'NONE', #1308, 1000.000000000000000 ) ;
#1308 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1309 = FACE_OUTER_BOUND ( 'NONE', #1126, .T. ) ;
#1310 = PLANE ( 'NONE',  #1311 ) ;
#1311 = AXIS2_PLACEMENT_3D ( 'NONE', #1312, #1313, #1314 ) ;
#1312 = CARTESIAN_POINT ( 'NONE',  ( 8.500000000000000000, -3.124099870362659900, 0.8499999999999999800 ) ) ;
#1313 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1314 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1315 = FACE_OUTER_BOUND ( 'NONE', #1641, .T. ) ;
#1316 = EDGE_CURVE ( 'NONE', #38, #2011, #1815, .T. ) ;
#1317 = ORIENTED_EDGE ( 'NONE', *, *, #1801, .T. ) ;
#1318 = ADVANCED_FACE ( 'NONE', ( #1819 ), #2, .T. ) ;
#1319 = ADVANCED_FACE ( 'NONE', ( #7, #8, #9, #10, #11, #12, #13, #14, #15, #16, #17 ), #20, .F. ) ;
#1320 = ORIENTED_EDGE ( 'NONE', *, *, #752, .T. ) ;
#1321 = EDGE_LOOP ( 'NONE', ( #1705, #764, #1903, #708 ) ) ;
#1322 = PLANE ( 'NONE',  #1323 ) ;
#1323 = AXIS2_PLACEMENT_3D ( 'NONE', #1324, #1325, #1326 ) ;
#1324 = CARTESIAN_POINT ( 'NONE',  ( -0.2500000000000000000, 1.107106781186548000, -0.2500000000000000000 ) ) ;
#1325 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1326 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1327 = FACE_OUTER_BOUND ( 'NONE', #706, .T. ) ;
#1328 = PLANE ( 'NONE',  #1329 ) ;
#1329 = AXIS2_PLACEMENT_3D ( 'NONE', #1330, #1331, #1332 ) ;
#1330 = CARTESIAN_POINT ( 'NONE',  ( -2.299999999999999800, 15.69999999999999900, 2.600000000000000100 ) ) ;
#1331 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1332 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1333 = LINE ( 'NONE', #1334, #1335 ) ;
#1334 = CARTESIAN_POINT ( 'NONE',  ( -2.299999999999999800, 0.4000000000000000200, 2.600000000000000100 ) ) ;
#1335 = VECTOR ( 'NONE', #1336, 1000.000000000000000 ) ;
#1336 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1337 = LINE ( 'NONE', #1342, #1343 ) ;
#1338 = EDGE_CURVE ( 'NONE', #1900, #1760, #29, .T. ) ;
#1339 = ORIENTED_EDGE ( 'NONE', *, *, #1908, .F. ) ;
#1340 = VERTEX_POINT ( 'NONE', #41 ) ;
#1341 = VERTEX_POINT ( 'NONE', #42 ) ;
#1342 = CARTESIAN_POINT ( 'NONE',  ( 13.10000000000000100, -3.124099870362659900, -8.349999999999999600 ) ) ;
#1343 = VECTOR ( 'NONE', #1344, 1000.000000000000000 ) ;
#1344 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1345 = CARTESIAN_POINT ( 'NONE',  ( 25.21500000000000000, 0.4000000000000000200, 0.5000000000000000000 ) ) ;
#1346 = CARTESIAN_POINT ( 'NONE',  ( 19.83499999999999700, 0.4000000000000000200, -0.5000000000000000000 ) ) ;
#1347 = LINE ( 'NONE', #1348, #1349 ) ;
#1348 = CARTESIAN_POINT ( 'NONE',  ( 24.89999999999999900, 0.0000000000000000000, -2.750000000000000000 ) ) ;
#1349 = VECTOR ( 'NONE', #1350, 1000.000000000000000 ) ;
#1350 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1351 = CARTESIAN_POINT ( 'NONE',  ( -1.399999999999999900, 15.50000000000000000, -8.750000000000000000 ) ) ;
#1352 = LINE ( 'NONE', #1353, #1354 ) ;
#1353 = CARTESIAN_POINT ( 'NONE',  ( 0.2500000000000000000, -3.500000000000000000, -7.250000000000000000 ) ) ;
#1354 = VECTOR ( 'NONE', #1355, 1000.000000000000000 ) ;
#1355 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1356 = CARTESIAN_POINT ( 'NONE',  ( 1.899999999999999900, 0.0000000000000000000, -4.750000000000000000 ) ) ;
#1357 = LINE ( 'NONE', #1361, #1362 ) ;
#1358 = EDGE_CURVE ( 'NONE', #1341, #1340, #43, .T. ) ;
#1359 = ADVANCED_FACE ( 'NONE', ( #47 ), #48, .T. ) ;
#1360 = ORIENTED_EDGE ( 'NONE', *, *, #631, .T. ) ;
#1361 = CARTESIAN_POINT ( 'NONE',  ( -2.299999999999999800, 15.69999999999999900, -10.10000000000000000 ) ) ;
#1362 = VECTOR ( 'NONE', #1363, 1000.000000000000000 ) ;
#1363 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1364 = CARTESIAN_POINT ( 'NONE',  ( 13.10000000000000100, 0.0000000000000000000, 0.8499999999999999800 ) ) ;
#1365 = CARTESIAN_POINT ( 'NONE',  ( 8.500000000000000000, 0.4000000000000000200, 0.8499999999999999800 ) ) ;
#1366 = LINE ( 'NONE', #1367, #1368 ) ;
#1367 = CARTESIAN_POINT ( 'NONE',  ( 8.500000000000000000, 0.0000000000000000000, -0.6500000000000000200 ) ) ;
#1368 = VECTOR ( 'NONE', #1369, 1000.000000000000000 ) ;
#1369 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 4.713922489067409500E-017 ) ) ;
#1370 = FACE_OUTER_BOUND ( 'NONE', #746, .T. ) ;
#1371 = PLANE ( 'NONE',  #1372 ) ;
#1372 = AXIS2_PLACEMENT_3D ( 'NONE', #1373, #1374, #1375 ) ;
#1373 = CARTESIAN_POINT ( 'NONE',  ( -2.299999999999999800, 15.69999999999999900, -10.10000000000000000 ) ) ;
#1374 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1375 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1376 = LINE ( 'NONE', #1379, #1380 ) ;
#1377 = ORIENTED_EDGE ( 'NONE', *, *, #1948, .T. ) ;
#1378 = VERTEX_POINT ( 'NONE', #59 ) ;
#1379 = CARTESIAN_POINT ( 'NONE',  ( -1.399999999999999900, 15.50000000000000000, -8.750000000000000000 ) ) ;
#1380 = VECTOR ( 'NONE', #1381, 1000.000000000000000 ) ;
#1381 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1382 = CARTESIAN_POINT ( 'NONE',  ( 8.500000000000000000, 0.0000000000000000000, 0.8499999999999999800 ) ) ;
#1383 = CARTESIAN_POINT ( 'NONE',  ( 15.19999999999999900, 15.69999999999999900, -9.150000000000000400 ) ) ;
#1384 = CARTESIAN_POINT ( 'NONE',  ( 8.500000000000000000, 0.4000000000000000200, -8.349999999999999600 ) ) ;
#1385 = FACE_OUTER_BOUND ( 'NONE', #1182, .T. ) ;
#1386 = PLANE ( 'NONE',  #1387 ) ;
#1387 = AXIS2_PLACEMENT_3D ( 'NONE', #1388, #1389, #1390 ) ;
#1388 = CARTESIAN_POINT ( 'NONE',  ( -2.299999999999999800, 15.69999999999999900, 2.600000000000000100 ) ) ;
#1389 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1390 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1391 = LINE ( 'NONE', #1392, #1393 ) ;
#1392 = CARTESIAN_POINT ( 'NONE',  ( 20.16499999999999900, -4.553043208990020600, 0.5000000000000000000 ) ) ;
#1393 = VECTOR ( 'NONE', #1394, 1000.000000000000000 ) ;
#1394 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1395 = FACE_OUTER_BOUND ( 'NONE', #568, .T. ) ;
#1396 = PLANE ( 'NONE',  #1397 ) ;
#1397 = AXIS2_PLACEMENT_3D ( 'NONE', #1398, #1399, #1400 ) ;
#1398 = CARTESIAN_POINT ( 'NONE',  ( -0.2500000000000000000, -3.500000000000000000, -0.2500000000000000000 ) ) ;
#1399 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1400 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1401 = CARTESIAN_POINT ( 'NONE',  ( 18.80000000000000100, 15.69999999999999900, 1.649999999999999900 ) ) ;
#1402 = LINE ( 'NONE', #1403, #1404 ) ;
#1403 = CARTESIAN_POINT ( 'NONE',  ( 25.21500000000000000, 0.4000000000000000200, 0.5000000000000000000 ) ) ;
#1404 = VECTOR ( 'NONE', #1405, 1000.000000000000000 ) ;
#1405 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1406 = LINE ( 'NONE', #1407, #1408 ) ;
#1407 = CARTESIAN_POINT ( 'NONE',  ( 13.10000000000000100, 0.0000000000000000000, -8.349999999999999600 ) ) ;
#1408 = VECTOR ( 'NONE', #1409, 1000.000000000000000 ) ;
#1409 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1410 = CARTESIAN_POINT ( 'NONE',  ( 13.10000000000000100, 0.4000000000000000200, -0.6500000000000000200 ) ) ;
#1411 = EDGE_CURVE ( 'NONE', #532, #523, #60, .T. ) ;
#1412 = EDGE_CURVE ( 'NONE', #1965, #1029, #64, .T. ) ;
#1413 = EDGE_CURVE ( 'NONE', #1887, #1378, #75, .T. ) ;
#1414 = VERTEX_POINT ( 'NONE', #79 ) ;
#1415 = ORIENTED_EDGE ( 'NONE', *, *, #1828, .T. ) ;
#1416 = FACE_OUTER_BOUND ( 'NONE', #757, .T. ) ;
#1417 = PLANE ( 'NONE',  #1418 ) ;
#1418 = AXIS2_PLACEMENT_3D ( 'NONE', #1419, #1420, #1421 ) ;
#1419 = CARTESIAN_POINT ( 'NONE',  ( 24.89999999999999900, -3.124099870362659900, -2.750000000000000000 ) ) ;
#1420 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1421 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1422 = LINE ( 'NONE', #1423, #1424 ) ;
#1423 = CARTESIAN_POINT ( 'NONE',  ( 1.899999999999999900, 0.4000000000000000200, -2.750000000000000000 ) ) ;
#1424 = VECTOR ( 'NONE', #1425, 1000.000000000000000 ) ;
#1425 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1426 = FACE_OUTER_BOUND ( 'NONE', #1843, .T. ) ;
#1427 = PLANE ( 'NONE',  #1428 ) ;
#1428 = AXIS2_PLACEMENT_3D ( 'NONE', #1429, #1430, #1431 ) ;
#1429 = CARTESIAN_POINT ( 'NONE',  ( -0.2500000000000000000, -3.500000000000000000, -0.2500000000000000000 ) ) ;
#1430 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1431 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1432 = EDGE_LOOP ( 'NONE', ( #1913, #547, #498, #1661 ) ) ;
#1433 = ADVANCED_FACE ( 'NONE', ( #86 ), #87, .F. ) ;
#1434 = ORIENTED_EDGE ( 'NONE', *, *, #634, .F. ) ;
#1435 = FACE_OUTER_BOUND ( 'NONE', #577, .T. ) ;
#1436 = PLANE ( 'NONE',  #1437 ) ;
#1437 = AXIS2_PLACEMENT_3D ( 'NONE', #1438, #1439, #1440 ) ;
#1438 = CARTESIAN_POINT ( 'NONE',  ( 25.21500000000000000, -4.553043208990020600, 0.5000000000000000000 ) ) ;
#1439 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1440 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1441 = LINE ( 'NONE', #1442, #1443 ) ;
#1442 = CARTESIAN_POINT ( 'NONE',  ( -0.2500000000000000000, 1.107106781186548000, -7.750000000000000000 ) ) ;
#1443 = VECTOR ( 'NONE', #1444, 1000.000000000000000 ) ;
#1444 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1445 = CARTESIAN_POINT ( 'NONE',  ( 19.83499999999999700, 0.4000000000000000200, 0.5000000000000000000 ) ) ;
#1446 = CARTESIAN_POINT ( 'NONE',  ( -0.2500000000000000000, -3.500000000000000000, -0.2500000000000000000 ) ) ;
#1447 = CARTESIAN_POINT ( 'NONE',  ( 25.21500000000000000, -3.500000000000000000, -7.000000000000000000 ) ) ;
#1448 = CARTESIAN_POINT ( 'NONE',  ( -0.2500000000000000000, -3.500000000000000000, -7.750000000000000000 ) ) ;
#1449 = LINE ( 'NONE', #1450, #1454 ) ;
#1450 = CARTESIAN_POINT ( 'NONE',  ( 24.78500000000000000, 0.4000000000000000200, 0.5000000000000000000 ) ) ;
#1451 = VERTEX_POINT ( 'NONE', #96 ) ;
#1452 = EDGE_CURVE ( 'NONE', #796, #1867, #97, .T. ) ;
#1453 = ORIENTED_EDGE ( 'NONE', *, *, #505, .T. ) ;
#1454 = VECTOR ( 'NONE', #1455, 1000.000000000000000 ) ;
#1455 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1456 = LINE ( 'NONE', #1457, #1458 ) ;
#1457 = CARTESIAN_POINT ( 'NONE',  ( 13.10000000000000100, 0.0000000000000000000, 0.8499999999999999800 ) ) ;
#1458 = VECTOR ( 'NONE', #1459, 1000.000000000000000 ) ;
#1459 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1460 = LINE ( 'NONE', #1461, #1462 ) ;
#1461 = CARTESIAN_POINT ( 'NONE',  ( -0.2500000000000000000, -3.500000000000000000, -7.250000000000000000 ) ) ;
#1462 = VECTOR ( 'NONE', #1463, 1000.000000000000000 ) ;
#1463 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1464 = CARTESIAN_POINT ( 'NONE',  ( 19.83499999999999700, -3.500000000000000000, -8.000000000000000000 ) ) ;
#1465 = CARTESIAN_POINT ( 'NONE',  ( 0.2500000000000000000, -3.500000000000000000, -7.250000000000000000 ) ) ;
#1466 = LINE ( 'NONE', #1467, #1468 ) ;
#1467 = CARTESIAN_POINT ( 'NONE',  ( 8.500000000000000000, 0.0000000000000000000, -6.850000000000000500 ) ) ;
#1468 = VECTOR ( 'NONE', #1469, 1000.000000000000000 ) ;
#1469 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1470 = ORIENTED_EDGE ( 'NONE', *, *, #1659, .T. ) ;
#1471 = ADVANCED_FACE ( 'NONE', ( #114 ), #115, .F. ) ;
#1472 = FACE_OUTER_BOUND ( 'NONE', #669, .T. ) ;
#1473 = PLANE ( 'NONE',  #1474 ) ;
#1474 = AXIS2_PLACEMENT_3D ( 'NONE', #1475, #1476, #1477 ) ;
#1475 = CARTESIAN_POINT ( 'NONE',  ( 24.78500000000000000, -4.553043208990020600, 0.5000000000000000000 ) ) ;
#1476 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1477 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1478 = LINE ( 'NONE', #1479, #1480 ) ;
#1479 = CARTESIAN_POINT ( 'NONE',  ( -0.2500000000000000000, -3.500000000000000000, -7.250000000000000000 ) ) ;
#1480 = VECTOR ( 'NONE', #1481, 1000.000000000000000 ) ;
#1481 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1482 = LINE ( 'NONE', #1483, #1484 ) ;
#1483 = CARTESIAN_POINT ( 'NONE',  ( 22.50000000000000000, 0.0000000000000000000, -4.750000000000000000 ) ) ;
#1484 = VECTOR ( 'NONE', #1485, 1000.000000000000000 ) ;
#1485 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1486 = CARTESIAN_POINT ( 'NONE',  ( 0.2500000000000000000, -3.500000000000000000, -0.2500000000000000000 ) ) ;
#1487 = CARTESIAN_POINT ( 'NONE',  ( 24.89999999999999900, 0.4000000000000000200, -4.750000000000000000 ) ) ;
#1488 = ORIENTED_EDGE ( 'NONE', *, *, #1586, .F. ) ;
#1489 = VERTEX_POINT ( 'NONE', #121 ) ;
#1490 = VERTEX_POINT ( 'NONE', #122 ) ;
#1491 = LINE ( 'NONE', #1492, #1493 ) ;
#1492 = CARTESIAN_POINT ( 'NONE',  ( 4.299999999999999800, -3.124099870362659900, -4.750000000000000000 ) ) ;
#1493 = VECTOR ( 'NONE', #1494, 1000.000000000000000 ) ;
#1494 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1495 = CARTESIAN_POINT ( 'NONE',  ( 20.16499999999999900, 0.4000000000000000200, -8.000000000000000000 ) ) ;
#1496 = CARTESIAN_POINT ( 'NONE',  ( 1.899999999999999900, 0.0000000000000000000, -2.750000000000000000 ) ) ;
#1497 = LINE ( 'NONE', #1498, #1499 ) ;
#1498 = CARTESIAN_POINT ( 'NONE',  ( 24.78500000000000000, -3.500000000000000000, -8.000000000000000000 ) ) ;
#1499 = VECTOR ( 'NONE', #1500, 1000.000000000000000 ) ;
#1500 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1501 = LINE ( 'NONE', #1502, #1503 ) ;
#1502 = CARTESIAN_POINT ( 'NONE',  ( -0.2500000000000000000, -3.500000000000000000, 0.2500000000000000000 ) ) ;
#1503 = VECTOR ( 'NONE', #1504, 1000.000000000000000 ) ;
#1504 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1505 = LINE ( 'NONE', #1506, #1511 ) ;
#1506 = CARTESIAN_POINT ( 'NONE',  ( 22.50000000000000000, -3.124099870362659900, -4.750000000000000000 ) ) ;
#1507 = EDGE_CURVE ( 'NONE', #128, #912, #123, .T. ) ;
#1508 = EDGE_CURVE ( 'NONE', #1896, #1029, #131, .T. ) ;
#1509 = ORIENTED_EDGE ( 'NONE', *, *, #519, .T. ) ;
#1510 = ADVANCED_FACE ( 'NONE', ( #135 ), #136, .F. ) ;
#1511 = VECTOR ( 'NONE', #1512, 1000.000000000000000 ) ;
#1512 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1513 = CARTESIAN_POINT ( 'NONE',  ( 24.89999999999999900, 0.0000000000000000000, -4.750000000000000000 ) ) ;
#1514 = LINE ( 'NONE', #1515, #1516 ) ;
#1515 = CARTESIAN_POINT ( 'NONE',  ( 25.21500000000000000, -4.553043208990020600, 0.5000000000000000000 ) ) ;
#1516 = VECTOR ( 'NONE', #1517, 1000.000000000000000 ) ;
#1517 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1518 = LINE ( 'NONE', #1519, #1520 ) ;
#1519 = CARTESIAN_POINT ( 'NONE',  ( 8.500000000000000000, 0.4000000000000000200, -8.349999999999999600 ) ) ;
#1520 = VECTOR ( 'NONE', #1521, 1000.000000000000000 ) ;
#1521 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1522 = LINE ( 'NONE', #1523, #1524 ) ;
#1523 = CARTESIAN_POINT ( 'NONE',  ( 15.90000000000000000, 15.69999999999999900, 1.649999999999999900 ) ) ;
#1524 = VECTOR ( 'NONE', #1525, 1000.000000000000000 ) ;
#1525 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1526 = LINE ( 'NONE', #1531, #1532 ) ;
#1527 = ORIENTED_EDGE ( 'NONE', *, *, #1146, .F. ) ;
#1528 = ORIENTED_EDGE ( 'NONE', *, *, #56, .T. ) ;
#1529 = VERTEX_POINT ( 'NONE', #155 ) ;
#1530 = ORIENTED_EDGE ( 'NONE', *, *, #1, .T. ) ;
#1531 = CARTESIAN_POINT ( 'NONE',  ( 24.89999999999999900, -3.124099870362659900, -2.750000000000000000 ) ) ;
#1532 = VECTOR ( 'NONE', #1533, 1000.000000000000000 ) ;
#1533 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1534 = LINE ( 'NONE', #1535, #1536 ) ;
#1535 = CARTESIAN_POINT ( 'NONE',  ( 19.83499999999999700, -4.553043208990020600, -0.5000000000000000000 ) ) ;
#1536 = VECTOR ( 'NONE', #1537, 1000.000000000000000 ) ;
#1537 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1538 = CARTESIAN_POINT ( 'NONE',  ( 25.21500000000000000, -3.500000000000000000, 0.5000000000000000000 ) ) ;
#1539 = CARTESIAN_POINT ( 'NONE',  ( 24.89999999999999900, 0.4000000000000000200, -2.750000000000000000 ) ) ;
#1540 = CARTESIAN_POINT ( 'NONE',  ( 20.16499999999999900, 0.4000000000000000200, 0.5000000000000000000 ) ) ;
#1541 = LINE ( 'NONE', #1542, #1543 ) ;
#1542 = CARTESIAN_POINT ( 'NONE',  ( -2.299999999999999800, 15.69999999999999900, 2.600000000000000100 ) ) ;
#1543 = VECTOR ( 'NONE', #1544, 1000.000000000000000 ) ;
#1544 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1545 = FACE_OUTER_BOUND ( 'NONE', #1929, .T. ) ;
#1546 = PLANE ( 'NONE',  #1551 ) ;
#1547 = EDGE_LOOP ( 'NONE', ( #1966, #2018, #1106, #1067 ) ) ;
#1548 = EDGE_CURVE ( 'NONE', #853, #1108, #156, .T. ) ;
#1549 = ADVANCED_FACE ( 'NONE', ( #165 ), #166, .F. ) ;
#1550 = ORIENTED_EDGE ( 'NONE', *, *, #565, .T. ) ;
#1551 = AXIS2_PLACEMENT_3D ( 'NONE', #1552, #1553, #1554 ) ;
#1552 = CARTESIAN_POINT ( 'NONE',  ( 1.899999999999999900, -3.124099870362659900, -2.750000000000000000 ) ) ;
#1553 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1554 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1555 = LINE ( 'NONE', #1556, #1557 ) ;
#1556 = CARTESIAN_POINT ( 'NONE',  ( 22.50000000000000000, 0.0000000000000000000, -2.750000000000000000 ) ) ;
#1557 = VECTOR ( 'NONE', #1558, 1000.000000000000000 ) ;
#1558 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1559 = CARTESIAN_POINT ( 'NONE',  ( -2.299999999999999800, 15.69999999999999900, 2.600000000000000100 ) ) ;
#1560 = CARTESIAN_POINT ( 'NONE',  ( 8.500000000000000000, 0.4000000000000000200, -0.6500000000000000200 ) ) ;
#1561 = LINE ( 'NONE', #1562, #1563 ) ;
#1562 = CARTESIAN_POINT ( 'NONE',  ( 19.83499999999999700, -3.500000000000000000, 0.5000000000000000000 ) ) ;
#1563 = VECTOR ( 'NONE', #1564, 1000.000000000000000 ) ;
#1564 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, -3.285461128743880100E-016 ) ) ;
#1565 = LINE ( 'NONE', #1566, #1570 ) ;
#1566 = CARTESIAN_POINT ( 'NONE',  ( 20.16499999999999900, -3.500000000000000000, -8.000000000000000000 ) ) ;
#1567 = CLOSED_SHELL ( 'NONE', ( #556, #1510, #738, #663, #618, #1319, #611, #197, #680, #1957, #648, #761, #1433, #756, #1800, #1915, #571, #1958, #1201, #1982, #1971, #1940, #1879, #1950, #1963, #730, #1569, #414, #645, #510, #2000, #766, #785, #1832, #1830, #1897, #1989, #1549, #2015, #545, #668, #1181, #1241, #728, #513, #497, #1359, #2008, #252, #605, #913, #715, #660, #771, #693, #233, #1778, #1858, #716, #1471, #1834, #1936, #1935, #1318, #90, #1842, #655, #1854, #742 ) ) ;
#1568 = EDGE_CURVE ( 'NONE', #1760, #734, #175, .T. ) ;
#1569 = ADVANCED_FACE ( 'NONE', ( #179 ), #181, .F. ) ;
#1570 = VECTOR ( 'NONE', #1571, 1000.000000000000000 ) ;
#1571 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1572 = LINE ( 'NONE', #1573, #1574 ) ;
#1573 = CARTESIAN_POINT ( 'NONE',  ( -1.399999999999999900, 15.69999999999999900, 1.250000000000000000 ) ) ;
#1574 = VECTOR ( 'NONE', #1575, 1000.000000000000000 ) ;
#1575 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1576 = FACE_OUTER_BOUND ( 'NONE', #1999, .T. ) ;
#1577 = PLANE ( 'NONE',  #1578 ) ;
#1578 = AXIS2_PLACEMENT_3D ( 'NONE', #1579, #1580, #1581 ) ;
#1579 = CARTESIAN_POINT ( 'NONE',  ( 18.30000000000000100, 15.19999999999999900, -8.650000000000000400 ) ) ;
#1580 = DIRECTION ( 'NONE',  ( -0.7071067811865475700, 0.7071067811865475700, 0.0000000000000000000 ) ) ;
#1581 = DIRECTION ( 'NONE',  ( -0.7071067811865475700, -0.7071067811865475700, 0.0000000000000000000 ) ) ;
#1582 = LINE ( 'NONE', #1583, #1584 ) ;
#1583 = CARTESIAN_POINT ( 'NONE',  ( 24.89999999999999900, 0.4000000000000000200, -2.750000000000000000 ) ) ;
#1584 = VECTOR ( 'NONE', #1585, 1000.000000000000000 ) ;
#1585 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1586 = EDGE_CURVE ( 'NONE', #1965, #1921, #186, .T. ) ;
#1587 = EDGE_CURVE ( 'NONE', #529, #608, #194, .T. ) ;
#1588 = CARTESIAN_POINT ( 'NONE',  ( -2.299999999999999800, 0.4000000000000000200, -10.10000000000000000 ) ) ;
#1589 = FACE_OUTER_BOUND ( 'NONE', #585, .T. ) ;
#1590 = PLANE ( 'NONE',  #1591 ) ;
#1591 = AXIS2_PLACEMENT_3D ( 'NONE', #1592, #1593, #1594 ) ;
#1592 = CARTESIAN_POINT ( 'NONE',  ( -1.399999999999999900, 15.50000000000000000, 1.250000000000000000 ) ) ;
#1593 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1594 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1595 = FACE_OUTER_BOUND ( 'NONE', #1547, .T. ) ;
#1596 = PLANE ( 'NONE',  #1597 ) ;
#1597 = AXIS2_PLACEMENT_3D ( 'NONE', #1598, #1599, #1600 ) ;
#1598 = CARTESIAN_POINT ( 'NONE',  ( -0.2500000000000000000, -3.500000000000000000, -0.2500000000000000000 ) ) ;
#1599 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1600 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1601 = LINE ( 'NONE', #1602, #1603 ) ;
#1602 = CARTESIAN_POINT ( 'NONE',  ( -2.299999999999999800, 0.4000000000000000200, -10.10000000000000000 ) ) ;
#1603 = VECTOR ( 'NONE', #1604, 1000.000000000000000 ) ;
#1604 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1605 = LINE ( 'NONE', #1606, #1607 ) ;
#1606 = CARTESIAN_POINT ( 'NONE',  ( 0.2500000000000000000, 1.107106781186548000, -7.250000000000000000 ) ) ;
#1607 = VECTOR ( 'NONE', #1608, 1000.000000000000000 ) ;
#1608 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1609 = LINE ( 'NONE', #1610, #1611 ) ;
#1610 = CARTESIAN_POINT ( 'NONE',  ( -0.4000000000000000200, 15.50000000000000000, 1.250000000000000000 ) ) ;
#1611 = VECTOR ( 'NONE', #1612, 1000.000000000000000 ) ;
#1612 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1613 = CARTESIAN_POINT ( 'NONE',  ( 18.30000000000000100, 15.19999999999999900, -8.650000000000000400 ) ) ;
#1614 = CARTESIAN_POINT ( 'NONE',  ( 4.299999999999999800, 0.4000000000000000200, -4.750000000000000000 ) ) ;
#1615 = FACE_OUTER_BOUND ( 'NONE', #580, .T. ) ;
#1616 = PLANE ( 'NONE',  #1617 ) ;
#1617 = AXIS2_PLACEMENT_3D ( 'NONE', #1618, #1619, #1621 ) ;
#1618 = CARTESIAN_POINT ( 'NONE',  ( 1.899999999999999900, -3.124099870362659900, -2.750000000000000000 ) ) ;
#1619 = DIRECTION ( 'NONE',  ( 1.807003620809174900E-016, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1620 = ORIENTED_EDGE ( 'NONE', *, *, #812, .T. ) ;
#1621 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, -1.807003620809174900E-016 ) ) ;
#1622 = LINE ( 'NONE', #1623, #1624 ) ;
#1623 = CARTESIAN_POINT ( 'NONE',  ( -1.399999999999999900, 15.50000000000000000, -8.750000000000000000 ) ) ;
#1624 = VECTOR ( 'NONE', #1625, 1000.000000000000000 ) ;
#1625 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1626 = LINE ( 'NONE', #1627, #1628 ) ;
#1627 = CARTESIAN_POINT ( 'NONE',  ( 26.70000000000000300, 0.4000000000000000200, -10.10000000000000000 ) ) ;
#1628 = VECTOR ( 'NONE', #1629, 1000.000000000000000 ) ;
#1629 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1630 = LINE ( 'NONE', #1631, #1632 ) ;
#1631 = CARTESIAN_POINT ( 'NONE',  ( 0.2500000000000000000, 1.107106781186548000, -7.750000000000000000 ) ) ;
#1632 = VECTOR ( 'NONE', #1633, 1000.000000000000000 ) ;
#1633 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1634 = LINE ( 'NONE', #1635, #1636 ) ;
#1635 = CARTESIAN_POINT ( 'NONE',  ( 15.03333333333334900, 11.93333333333333900, -2.116666666666664900 ) ) ;
#1636 = VECTOR ( 'NONE', #1643, 999.9999999999998900 ) ;
#1637 = ORIENTED_EDGE ( 'NONE', *, *, #287, .F. ) ;
#1638 = ORIENTED_EDGE ( 'NONE', *, *, #1964, .T. ) ;
#1639 = ORIENTED_EDGE ( 'NONE', *, *, #1046, .T. ) ;
#1640 = ORIENTED_EDGE ( 'NONE', *, *, #832, .F. ) ;
#1641 = EDGE_LOOP ( 'NONE', ( #37, #1877, #1639, #1202 ) ) ;
#1642 = ORIENTED_EDGE ( 'NONE', *, *, #596, .F. ) ;
#1643 = DIRECTION ( 'NONE',  ( 0.5773502691896257300, 0.5773502691896257300, 0.5773502691896257300 ) ) ;
#1644 = LINE ( 'NONE', #1645, #1646 ) ;
#1645 = CARTESIAN_POINT ( 'NONE',  ( 8.500000000000000000, 0.4000000000000000200, 0.8499999999999999800 ) ) ;
#1646 = VECTOR ( 'NONE', #1647, 1000.000000000000000 ) ;
#1647 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1648 = CARTESIAN_POINT ( 'NONE',  ( 20.16499999999999900, 0.4000000000000000200, -0.5000000000000000000 ) ) ;
#1649 = LINE ( 'NONE', #1650, #1651 ) ;
#1650 = CARTESIAN_POINT ( 'NONE',  ( 8.500000000000000000, 0.4000000000000000200, -0.6500000000000000200 ) ) ;
#1651 = VECTOR ( 'NONE', #1652, 1000.000000000000000 ) ;
#1652 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, -4.713922489067409500E-017 ) ) ;
#1653 = CARTESIAN_POINT ( 'NONE',  ( 19.83499999999999700, 0.4000000000000000200, -7.000000000000000000 ) ) ;
#1654 = LINE ( 'NONE', #1655, #1656 ) ;
#1655 = CARTESIAN_POINT ( 'NONE',  ( -0.2500000000000000000, -3.500000000000000000, -0.2500000000000000000 ) ) ;
#1656 = VECTOR ( 'NONE', #1657, 1000.000000000000000 ) ;
#1657 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1658 = CARTESIAN_POINT ( 'NONE',  ( -0.2500000000000000000, 0.4000000000000000200, -7.250000000000000000 ) ) ;
#1659 = EDGE_CURVE ( 'NONE', #19, #1529, #216, .T. ) ;
#1660 = ORIENTED_EDGE ( 'NONE', *, *, #535, .F. ) ;
#1661 = ORIENTED_EDGE ( 'NONE', *, *, #1840, .T. ) ;
#1662 = ORIENTED_EDGE ( 'NONE', *, *, #589, .T. ) ;
#1663 = LINE ( 'NONE', #1664, #1665 ) ;
#1664 = CARTESIAN_POINT ( 'NONE',  ( 4.299999999999999800, 0.0000000000000000000, -2.750000000000000000 ) ) ;
#1665 = VECTOR ( 'NONE', #1666, 1000.000000000000000 ) ;
#1666 = DIRECTION ( 'NONE',  ( 4.336808689942020200E-016, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1667 = LINE ( 'NONE', #1668, #1669 ) ;
#1668 = CARTESIAN_POINT ( 'NONE',  ( 0.2500000000000000000, 0.4000000000000000200, -7.250000000000000000 ) ) ;
#1669 = VECTOR ( 'NONE', #1670, 1000.000000000000000 ) ;
#1670 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1671 = LINE ( 'NONE', #1672, #1673 ) ;
#1672 = CARTESIAN_POINT ( 'NONE',  ( -2.299999999999999800, 0.4000000000000000200, -10.10000000000000000 ) ) ;
#1673 = VECTOR ( 'NONE', #1674, 1000.000000000000000 ) ;
#1674 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1675 = CARTESIAN_POINT ( 'NONE',  ( 22.50000000000000000, 0.0000000000000000000, -4.750000000000000000 ) ) ;
#1676 = CARTESIAN_POINT ( 'NONE',  ( 8.500000000000000000, 0.4000000000000000200, -6.850000000000000500 ) ) ;
#1677 = CARTESIAN_POINT ( 'NONE',  ( 24.78500000000000000, -3.500000000000000000, 0.5000000000000000000 ) ) ;
#1678 = CARTESIAN_POINT ( 'NONE',  ( 0.2500000000000000000, 0.4000000000000000200, 0.2500000000000000000 ) ) ;
#1679 = EDGE_CURVE ( 'NONE', #1901, #494, #220, .T. ) ;
#1680 = ORIENTED_EDGE ( 'NONE', *, *, #1932, .F. ) ;
#1681 = ORIENTED_EDGE ( 'NONE', *, *, #1779, .F. ) ;
#1682 = ORIENTED_EDGE ( 'NONE', *, *, #163, .F. ) ;
#1683 = EDGE_CURVE ( 'NONE', #670, #553, #224, .T. ) ;
#1684 = CIRCLE ( 'NONE', #1685, 0.5000000000000000000 ) ;
#1685 = AXIS2_PLACEMENT_3D ( 'NONE', #1686, #1687, #1688 ) ;
#1686 = CARTESIAN_POINT ( 'NONE',  ( 17.10000000000000100, 15.19999999999999900, 0.04999999999999799700 ) ) ;
#1687 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1688 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1689 = LINE ( 'NONE', #1690, #1691 ) ;
#1690 = CARTESIAN_POINT ( 'NONE',  ( 26.70000000000000300, 15.69999999999999900, -10.10000000000000000 ) ) ;
#1691 = VECTOR ( 'NONE', #1692, 1000.000000000000000 ) ;
#1692 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1693 = FACE_OUTER_BOUND ( 'NONE', #639, .T. ) ;
#1694 = PLANE ( 'NONE',  #1695 ) ;
#1695 = AXIS2_PLACEMENT_3D ( 'NONE', #1696, #1697, #1698 ) ;
#1696 = CARTESIAN_POINT ( 'NONE',  ( 19.83499999999999700, -4.553043208990020600, 0.5000000000000000000 ) ) ;
#1697 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1698 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1699 = LINE ( 'NONE', #1706, #1707 ) ;
#1700 = EDGE_LOOP ( 'NONE', ( #2019, #733, #910, #666 ) ) ;
#1701 = ORIENTED_EDGE ( 'NONE', *, *, #777, .T. ) ;
#1702 = ORIENTED_EDGE ( 'NONE', *, *, #1659, .F. ) ;
#1703 = ORIENTED_EDGE ( 'NONE', *, *, #737, .F. ) ;
#1704 = ORIENTED_EDGE ( 'NONE', *, *, #632, .F. ) ;
#1705 = ORIENTED_EDGE ( 'NONE', *, *, #544, .F. ) ;
#1706 = CARTESIAN_POINT ( 'NONE',  ( 22.50000000000000000, 0.4000000000000000200, -2.750000000000000000 ) ) ;
#1707 = VECTOR ( 'NONE', #1708, 1000.000000000000000 ) ;
#1708 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, -1.807003620809174900E-016 ) ) ;
#1709 = CARTESIAN_POINT ( 'NONE',  ( 22.50000000000000000, 0.4000000000000000200, -4.750000000000000000 ) ) ;
#1710 = FACE_OUTER_BOUND ( 'NONE', #550, .T. ) ;
#1711 = PLANE ( 'NONE',  #1712 ) ;
#1712 = AXIS2_PLACEMENT_3D ( 'NONE', #1713, #1714, #1715 ) ;
#1713 = CARTESIAN_POINT ( 'NONE',  ( 19.83499999999999700, -4.553043208990020600, -8.000000000000000000 ) ) ;
#1714 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1715 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1716 = LINE ( 'NONE', #1717, #1718 ) ;
#1717 = CARTESIAN_POINT ( 'NONE',  ( 24.89999999999999900, -3.124099870362659900, -4.750000000000000000 ) ) ;
#1718 = VECTOR ( 'NONE', #1719, 1000.000000000000000 ) ;
#1719 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1720 = CARTESIAN_POINT ( 'NONE',  ( 25.21500000000000000, 0.4000000000000000200, -7.000000000000000000 ) ) ;
#1721 = CARTESIAN_POINT ( 'NONE',  ( 19.83499999999999700, -3.500000000000000000, 0.5000000000000000000 ) ) ;
#1722 = EDGE_LOOP ( 'NONE', ( #1844, #1528, #1360, #603 ) ) ;
#1723 = ORIENTED_EDGE ( 'NONE', *, *, #36, .T. ) ;
#1724 = EDGE_CURVE ( 'NONE', #1028, #855, #228, .T. ) ;
#1725 = VERTEX_POINT ( 'NONE', #236 ) ;
#1726 = CARTESIAN_POINT ( 'NONE',  ( -0.2500000000000000000, 0.4000000000000000200, -7.750000000000000000 ) ) ;
#1727 = LINE ( 'NONE', #1728, #1729 ) ;
#1728 = CARTESIAN_POINT ( 'NONE',  ( -1.399999999999999900, 15.69999999999999900, -8.750000000000000000 ) ) ;
#1729 = VECTOR ( 'NONE', #1730, 1000.000000000000000 ) ;
#1730 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1731 = CARTESIAN_POINT ( 'NONE',  ( 4.299999999999999800, 0.0000000000000000000, -4.750000000000000000 ) ) ;
#1732 = FACE_OUTER_BOUND ( 'NONE', #798, .T. ) ;
#1733 = PLANE ( 'NONE',  #1734 ) ;
#1734 = AXIS2_PLACEMENT_3D ( 'NONE', #1735, #1736, #1737 ) ;
#1735 = CARTESIAN_POINT ( 'NONE',  ( -0.2500000000000000000, 1.107106781186548000, 0.2500000000000000000 ) ) ;
#1736 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1737 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1738 = LINE ( 'NONE', #1739, #1740 ) ;
#1739 = CARTESIAN_POINT ( 'NONE',  ( 24.78500000000000000, 0.4000000000000000200, 0.5000000000000000000 ) ) ;
#1740 = VECTOR ( 'NONE', #1741, 1000.000000000000000 ) ;
#1741 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1742 = ORIENTED_EDGE ( 'NONE', *, *, #1724, .F. ) ;
#1743 = CARTESIAN_POINT ( 'NONE',  ( 24.78500000000000000, -3.500000000000000000, -0.5000000000000000000 ) ) ;
#1744 = LINE ( 'NONE', #1745, #1746 ) ;
#1745 = CARTESIAN_POINT ( 'NONE',  ( 1.899999999999999900, 0.4000000000000000200, -4.750000000000000000 ) ) ;
#1746 = VECTOR ( 'NONE', #1747, 1000.000000000000000 ) ;
#1747 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1748 = LINE ( 'NONE', #1749, #1750 ) ;
#1749 = CARTESIAN_POINT ( 'NONE',  ( -0.2500000000000000000, 0.4000000000000000200, 0.2500000000000000000 ) ) ;
#1750 = VECTOR ( 'NONE', #1751, 1000.000000000000000 ) ;
#1751 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1752 = LINE ( 'NONE', #1753, #1754 ) ;
#1753 = CARTESIAN_POINT ( 'NONE',  ( -0.2500000000000000000, -3.500000000000000000, -7.750000000000000000 ) ) ;
#1754 = VECTOR ( 'NONE', #1755, 1000.000000000000000 ) ;
#1755 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1756 = FACE_OUTER_BOUND ( 'NONE', #1997, .T. ) ;
#1757 = PLANE ( 'NONE',  #1758 ) ;
#1758 = AXIS2_PLACEMENT_3D ( 'NONE', #1761, #1762, #1763 ) ;
#1759 = EDGE_CURVE ( 'NONE', #855, #773, #242, .T. ) ;
#1760 = VERTEX_POINT ( 'NONE', #246 ) ;
#1761 = CARTESIAN_POINT ( 'NONE',  ( 20.16499999999999900, -4.553043208990020600, -8.000000000000000000 ) ) ;
#1762 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1763 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1764 = LINE ( 'NONE', #1765, #1766 ) ;
#1765 = CARTESIAN_POINT ( 'NONE',  ( 0.2500000000000000000, 1.107106781186548000, 0.2500000000000000000 ) ) ;
#1766 = VECTOR ( 'NONE', #1767, 1000.000000000000000 ) ;
#1767 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#1768 = FACE_OUTER_BOUND ( 'NONE', #767, .T. ) ;
#1769 = PLANE ( 'NONE',  #1770 ) ;
#1770 = AXIS2_PLACEMENT_3D ( 'NONE', #1771, #1772, #1773 ) ;
#1771 = CARTESIAN_POINT ( 'NONE',  ( 24.78500000000000000, -4.553043208990020600, -0.5000000000000000000 ) ) ;
#1772 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1773 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1774 = FACE_OUTER_BOUND ( 'NONE', #1996, .T. ) ;
#1775 = PLANE ( 'NONE',  #1776 ) ;
#1776 = AXIS2_PLACEMENT_3D ( 'NONE', #1781, #1782, #1783 ) ;
#1777 = ORIENTED_EDGE ( 'NONE', *, *, #524, .F. ) ;
#1778 = ADVANCED_FACE ( 'NONE', ( #247 ), #248, .T. ) ;
#1779 = EDGE_CURVE ( 'NONE', #604, #853, #255, .T. ) ;
#1780 = ORIENTED_EDGE ( 'NONE', *, *, #1759, .F. ) ;
#1781 = CARTESIAN_POINT ( 'NONE',  ( -0.2500000000000000000, 1.107106781186548000, 0.2500000000000000000 ) ) ;
#1782 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#1783 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1784 = CIRCLE ( 'NONE', #1785, 0.5000000000000000000 ) ;
#1785 = AXIS2_PLACEMENT_3D ( 'NONE', #1786, #1787, #1788 ) ;
#1786 = CARTESIAN_POINT ( 'NONE',  ( 17.10000000000000100, 15.19999999999999900, 0.04999999999999799700 ) ) ;
#1787 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#1788 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1789 = FACE_OUTER_BOUND ( 'NONE', #1164, .T. ) ;
#1790 = PLANE ( 'NONE',  #1791 ) ;
#1791 = AXIS2_PLACEMENT_3D ( 'NONE', #1792, #1793, #1794 ) ;
#1792 = CARTESIAN_POINT ( 'NONE',  ( 13.10000000000000100, -3.124099870362659900, -8.349999999999999600 ) ) ;
#1793 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1794 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1795 = LINE ( 'NONE', #1796, #1804 ) ;
#1796 = CARTESIAN_POINT ( 'NONE',  ( 24.78500000000000000, -3.500000000000000000, -0.5000000000000000000 ) ) ;
#1797 = EDGE_CURVE ( 'NONE', #953, #2016, #259, .T. ) ;
#1798 = EDGE_CURVE ( 'NONE', #773, #748, #263, .T. ) ;
#1799 = ORIENTED_EDGE ( 'NONE', *, *, #1853, .F. ) ;
#1800 = ADVANCED_FACE ( 'NONE', ( #267 ), #268, .F. ) ;
#1801 = EDGE_CURVE ( 'NONE', #591, #773, #274, .T. ) ;
#1802 = ORIENTED_EDGE ( 'NONE', *, *, #1798, .F. ) ;
#1803 = EDGE_CURVE ( 'NONE', #748, #1028, #278, .T. ) ;
#1804 = VECTOR ( 'NONE', #1805, 1000.000000000000000 ) ;
#1805 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1806 = LINE ( 'NONE', #1807, #1808 ) ;
#1807 = CARTESIAN_POINT ( 'NONE',  ( -0.2500000000000000000, 0.4000000000000000200, 0.2500000000000000000 ) ) ;
#1808 = VECTOR ( 'NONE', #1809, 1000.000000000000000 ) ;
#1809 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#1810 = CARTESIAN_POINT ( 'NONE',  ( 19.83499999999999700, -3.500000000000000000, -7.000000000000000000 ) ) ;
#1811 = LINE ( 'NONE', #1812, #1813 ) ;
#1812 = CARTESIAN_POINT ( 'NONE',  ( 22.50000000000000000, 0.0000000000000000000, -2.750000000000000000 ) ) ;
#1813 = VECTOR ( 'NONE', #1814, 1000.000000000000000 ) ;
#1814 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 1.807003620809174900E-016 ) ) ;
#1815 = LINE ( 'NONE', #1816, #1817 ) ;
#1816 = CARTESIAN_POINT ( 'NONE',  ( 24.78500000000000000, 0.4000000000000000200, -8.000000000000000000 ) ) ;
#1817 = VECTOR ( 'NONE', #1818, 1000.000000000000000 ) ;
#1818 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#1819 = FACE_OUTER_BOUND ( 'NONE', #1827, .T. ) ;
#1820 = ORIENTED_EDGE ( 'NONE', *, *, #1823, .F. ) ;
#1821 = ORIENTED_EDGE ( 'NONE', *, *, #1803, .F. ) ;
#1822 = EDGE_CURVE ( 'NONE', #765, #620, #808, .T. ) ;
#1823 = EDGE_CURVE ( 'NONE', #2011, #1953, #814, .T. ) ;
#1824 = EDGE_CURVE ( 'NONE', #1953, #698, #818, .T. ) ;
#1825 = EDGE_CURVE ( 'NONE', #608, #732, #823, .T. ) ;
#1826 = ORIENTED_EDGE ( 'NONE', *, *, #1825, .F. ) ;
#1827 = EDGE_LOOP ( 'NONE', ( #1826, #1859, #1047, #682 ) ) ;
#1828 = EDGE_CURVE ( 'NONE', #1200, #1942, #863, .T. ) ;
#1829 = EDGE_CURVE ( 'NONE', #604, #719, #867, .T. ) ;
#1830 = ADVANCED_FACE ( 'NONE', ( #871 ), #875, .F. ) ;
#1831 = ORIENTED_EDGE ( 'NONE', *, *, #1948, .F. ) ;
#1832 = ADVANCED_FACE ( 'NONE', ( #890 ), #894, .F. ) ;
#1833 = EDGE_CURVE ( 'NONE', #517, #2011, #899, .T. ) ;
#1834 = ADVANCED_FACE ( 'NONE', ( #903 ), #904, .T. ) ;
#1835 = EDGE_LOOP ( 'NONE', ( #1703, #576, #803, #1662 ) ) ;
#1836 = ORIENTED_EDGE ( 'NONE', *, *, #1452, .T. ) ;
#1837 = ORIENTED_EDGE ( 'NONE', *, *, #685, .F. ) ;
#1838 = ORIENTED_EDGE ( 'NONE', *, *, #582, .T. ) ;
#1839 = ORIENTED_EDGE ( 'NONE', *, *, #1824, .F. ) ;
#1840 = EDGE_CURVE ( 'NONE', #2016, #1911, #930, .T. ) ;
#1841 = EDGE_LOOP ( 'NONE', ( #811, #1242, #1550, #559 ) ) ;
#1842 = ADVANCED_FACE ( 'NONE', ( #938 ), #939, .T. ) ;
#1843 = EDGE_LOOP ( 'NONE', ( #646, #199, #1995, #872 ) ) ;
#1844 = ORIENTED_EDGE ( 'NONE', *, *, #126, .F. ) ;
#1845 = ORIENTED_EDGE ( 'NONE', *, *, #635, .F. ) ;
#1846 = ORIENTED_EDGE ( 'NONE', *, *, #1146, .T. ) ;
#1847 = ORIENTED_EDGE ( 'NONE', *, *, #678, .F. ) ;
#1848 = ORIENTED_EDGE ( 'NONE', *, *, #1548, .F. ) ;
#1849 = ORIENTED_EDGE ( 'NONE', *, *, #658, .T. ) ;
#1850 = EDGE_CURVE ( 'NONE', #759, #2016, #960, .T. ) ;
#1851 = ORIENTED_EDGE ( 'NONE', *, *, #873, .F. ) ;
#1852 = VERTEX_POINT ( 'NONE', #982 ) ;
#1853 = EDGE_CURVE ( 'NONE', #1029, #1883, #998, .T. ) ;
#1854 = ADVANCED_FACE ( 'NONE', ( #1002 ), #1003, .T. ) ;
#1855 = VERTEX_POINT ( 'NONE', #1013 ) ;
#1856 = ORIENTED_EDGE ( 'NONE', *, *, #873, .T. ) ;
#1857 = EDGE_CURVE ( 'NONE', #1489, #1890, #1014, .T. ) ;
#1858 = ADVANCED_FACE ( 'NONE', ( #1018 ), #1019, .F. ) ;
#1859 = ORIENTED_EDGE ( 'NONE', *, *, #1866, .T. ) ;
#1860 = ORIENTED_EDGE ( 'NONE', *, *, #751, .F. ) ;
#1861 = ORIENTED_EDGE ( 'NONE', *, *, #1875, .F. ) ;
#1862 = ORIENTED_EDGE ( 'NONE', *, *, #1065, .F. ) ;
#1863 = ORIENTED_EDGE ( 'NONE', *, *, #1986, .T. ) ;
#1864 = EDGE_CURVE ( 'NONE', #1219, #542, #1063, .T. ) ;
#1865 = ORIENTED_EDGE ( 'NONE', *, *, #1869, .T. ) ;
#1866 = EDGE_CURVE ( 'NONE', #608, #503, #1081, .T. ) ;
#1867 = VERTEX_POINT ( 'NONE', #1095 ) ;
#1868 = EDGE_CURVE ( 'NONE', #542, #719, #1096, .T. ) ;
#1869 = EDGE_CURVE ( 'NONE', #593, #1901, #1105, .T. ) ;
#1870 = ORIENTED_EDGE ( 'NONE', *, *, #527, .F. ) ;
#1871 = ORIENTED_EDGE ( 'NONE', *, *, #752, .F. ) ;
#1872 = ORIENTED_EDGE ( 'NONE', *, *, #1679, .T. ) ;
#1873 = VERTEX_POINT ( 'NONE', #1140 ) ;
#1874 = EDGE_CURVE ( 'NONE', #732, #953, #1153, .T. ) ;
#1875 = EDGE_CURVE ( 'NONE', #617, #1910, #1157, .T. ) ;
#1876 = ORIENTED_EDGE ( 'NONE', *, *, #653, .F. ) ;
#1877 = ORIENTED_EDGE ( 'NONE', *, *, #729, .T. ) ;
#1878 = EDGE_LOOP ( 'NONE', ( #500, #1856, #91, #89 ) ) ;
#1879 = ADVANCED_FACE ( 'NONE', ( #1165 ), #1166, .F. ) ;
#1880 = ORIENTED_EDGE ( 'NONE', *, *, #1934, .T. ) ;
#1881 = VERTEX_POINT ( 'NONE', #1176 ) ;
#1882 = ORIENTED_EDGE ( 'NONE', *, *, #596, .T. ) ;
#1883 = VERTEX_POINT ( 'NONE', #1192 ) ;
#1884 = VERTEX_POINT ( 'NONE', #1203 ) ;
#1885 = ORIENTED_EDGE ( 'NONE', *, *, #569, .T. ) ;
#1886 = ORIENTED_EDGE ( 'NONE', *, *, #1797, .F. ) ;
#1887 = VERTEX_POINT ( 'NONE', #1216 ) ;
#1888 = ORIENTED_EDGE ( 'NONE', *, *, #573, .T. ) ;
#1889 = EDGE_CURVE ( 'NONE', #1942, #1725, #1251, .T. ) ;
#1890 = VERTEX_POINT ( 'NONE', #1270 ) ;
#1891 = ORIENTED_EDGE ( 'NONE', *, *, #2002, .T. ) ;
#1892 = ORIENTED_EDGE ( 'NONE', *, *, #1779, .T. ) ;
#1893 = EDGE_LOOP ( 'NONE', ( #778, #1723, #528, #540 ) ) ;
#1894 = VERTEX_POINT ( 'NONE', #1275 ) ;
#1895 = ORIENTED_EDGE ( 'NONE', *, *, #653, .T. ) ;
#1896 = VERTEX_POINT ( 'NONE', #1282 ) ;
#1897 = ADVANCED_FACE ( 'NONE', ( #1309 ), #1310, .F. ) ;
#1898 = ORIENTED_EDGE ( 'NONE', *, *, #1908, .T. ) ;
#1899 = VERTEX_POINT ( 'NONE', #1345 ) ;
#1900 = VERTEX_POINT ( 'NONE', #1351 ) ;
#1901 = VERTEX_POINT ( 'NONE', #1356 ) ;
#1902 = ORIENTED_EDGE ( 'NONE', *, *, #951, .F. ) ;
#1903 = ORIENTED_EDGE ( 'NONE', *, *, #1508, .T. ) ;
#1904 = VERTEX_POINT ( 'NONE', #1365 ) ;
#1905 = EDGE_LOOP ( 'NONE', ( #699, #127, #520, #1845 ) ) ;
#1906 = EDGE_CURVE ( 'NONE', #626, #617, #1366, .T. ) ;
#1907 = EDGE_LOOP ( 'NONE', ( #656, #954, #1070, #1909 ) ) ;
#1908 = EDGE_CURVE ( 'NONE', #1900, #492, #1376, .T. ) ;
#1909 = ORIENTED_EDGE ( 'NONE', *, *, #321, .F. ) ;
#1910 = VERTEX_POINT ( 'NONE', #1382 ) ;
#1911 = VERTEX_POINT ( 'NONE', #1401 ) ;
#1912 = EDGE_CURVE ( 'NONE', #413, #1981, #1406, .T. ) ;
#1913 = ORIENTED_EDGE ( 'NONE', *, *, #829, .T. ) ;
#1914 = ORIENTED_EDGE ( 'NONE', *, *, #952, .F. ) ;
#1915 = ADVANCED_FACE ( 'NONE', ( #1435 ), #1436, .F. ) ;
#1916 = ORIENTED_EDGE ( 'NONE', *, *, #1926, .T. ) ;
#1917 = ORIENTED_EDGE ( 'NONE', *, *, #1857, .T. ) ;
#1918 = ORIENTED_EDGE ( 'NONE', *, *, #635, .T. ) ;
#1919 = VERTEX_POINT ( 'NONE', #1446 ) ;
#1920 = EDGE_CURVE ( 'NONE', #753, #626, #1456, .T. ) ;
#1921 = VERTEX_POINT ( 'NONE', #1464 ) ;
#1922 = VERTEX_POINT ( 'NONE', #1465 ) ;
#1923 = ORIENTED_EDGE ( 'NONE', *, *, #1967, .F. ) ;
#1924 = EDGE_CURVE ( 'NONE', #2017, #413, #1466, .T. ) ;
#1925 = EDGE_LOOP ( 'NONE', ( #546, #661, #1509, #1960 ) ) ;
#1926 = EDGE_CURVE ( 'NONE', #1725, #1922, #1478, .T. ) ;
#1927 = EDGE_LOOP ( 'NONE', ( #1637, #1975, #1949, #1961 ) ) ;
#1928 = EDGE_CURVE ( 'NONE', #1340, #1894, #1501, .T. ) ;
#1929 = EDGE_LOOP ( 'NONE', ( #691, #1298, #1836, #736 ) ) ;
#1930 = EDGE_CURVE ( 'NONE', #1072, #1952, #1505, .T. ) ;
#1931 = VERTEX_POINT ( 'NONE', #1513 ) ;
#1932 = EDGE_CURVE ( 'NONE', #583, #553, #1518, .T. ) ;
#1933 = ORIENTED_EDGE ( 'NONE', *, *, #1930, .T. ) ;
#1934 = EDGE_CURVE ( 'NONE', #724, #637, #1565, .T. ) ;
#1935 = ADVANCED_FACE ( 'NONE', ( #1576 ), #1577, .T. ) ;
#1936 = ADVANCED_FACE ( 'NONE', ( #1589 ), #1590, .F. ) ;
#1937 = ORIENTED_EDGE ( 'NONE', *, *, #1924, .T. ) ;
#1938 = ORIENTED_EDGE ( 'NONE', *, *, #934, .T. ) ;
#1939 = ORIENTED_EDGE ( 'NONE', *, *, #750, .F. ) ;
#1940 = ADVANCED_FACE ( 'NONE', ( #1615 ), #1616, .F. ) ;
#1941 = ORIENTED_EDGE ( 'NONE', *, *, #573, .F. ) ;
#1942 = VERTEX_POINT ( 'NONE', #1658 ) ;
#1943 = ORIENTED_EDGE ( 'NONE', *, *, #1066, .T. ) ;
#1944 = ORIENTED_EDGE ( 'NONE', *, *, #599, .T. ) ;
#1945 = ORIENTED_EDGE ( 'NONE', *, *, #579, .T. ) ;
#1946 = ORIENTED_EDGE ( 'NONE', *, *, #600, .F. ) ;
#1947 = ORIENTED_EDGE ( 'NONE', *, *, #697, .F. ) ;
#1948 = EDGE_CURVE ( 'NONE', #709, #521, #1684, .T. ) ;
#1949 = ORIENTED_EDGE ( 'NONE', *, *, #1316, .T. ) ;
#1950 = ADVANCED_FACE ( 'NONE', ( #1693 ), #1694, .F. ) ;
#1951 = ORIENTED_EDGE ( 'NONE', *, *, #694, .T. ) ;
#1952 = VERTEX_POINT ( 'NONE', #1709 ) ;
#1953 = VERTEX_POINT ( 'NONE', #1720 ) ;
#1954 = ORIENTED_EDGE ( 'NONE', *, *, #1840, .F. ) ;
#1955 = ORIENTED_EDGE ( 'NONE', *, *, #1829, .F. ) ;
#1956 = EDGE_CURVE ( 'NONE', #431, #562, #1752, .T. ) ;
#1957 = ADVANCED_FACE ( 'NONE', ( #1756 ), #1757, .F. ) ;
#1958 = ADVANCED_FACE ( 'NONE', ( #1774 ), #1775, .F. ) ;
#1959 = ORIENTED_EDGE ( 'NONE', *, *, #592, .F. ) ;
#1960 = ORIENTED_EDGE ( 'NONE', *, *, #1932, .T. ) ;
#1961 = ORIENTED_EDGE ( 'NONE', *, *, #1833, .F. ) ;
#1962 = EDGE_CURVE ( 'NONE', #521, #709, #1784, .T. ) ;
#1963 = ADVANCED_FACE ( 'NONE', ( #1789 ), #1790, .F. ) ;
#1964 = EDGE_CURVE ( 'NONE', #703, #1341, #1806, .T. ) ;
#1965 = VERTEX_POINT ( 'NONE', #1810 ) ;
#1966 = ORIENTED_EDGE ( 'NONE', *, *, #538, .T. ) ;
#1967 = EDGE_CURVE ( 'NONE', #1873, #1988, #1811, .T. ) ;
#1968 = EDGE_CURVE ( 'NONE', #725, #703, #25, .T. ) ;
#1969 = VERTEX_POINT ( 'NONE', #40 ) ;
#1970 = ORIENTED_EDGE ( 'NONE', *, *, #1801, .F. ) ;
#1971 = ADVANCED_FACE ( 'NONE', ( #68 ), #69, .F. ) ;
#1972 = ORIENTED_EDGE ( 'NONE', *, *, #678, .T. ) ;
#1973 = ORIENTED_EDGE ( 'NONE', *, *, #569, .F. ) ;
#1974 = EDGE_CURVE ( 'NONE', #572, #1489, #101, .T. ) ;
#1975 = ORIENTED_EDGE ( 'NONE', *, *, #1984, .T. ) ;
#1976 = EDGE_CURVE ( 'NONE', #1887, #1028, #105, .T. ) ;
#1977 = ORIENTED_EDGE ( 'NONE', *, *, #1983, .T. ) ;
#1978 = ORIENTED_EDGE ( 'NONE', *, *, #770, .F. ) ;
#1979 = EDGE_LOOP ( 'NONE', ( #641, #360, #1377, #893 ) ) ;
#1980 = ORIENTED_EDGE ( 'NONE', *, *, #694, .F. ) ;
#1981 = VERTEX_POINT ( 'NONE', #148 ) ;
#1982 = ADVANCED_FACE ( 'NONE', ( #149 ), #150, .F. ) ;
#1983 = EDGE_CURVE ( 'NONE', #1921, #1883, #160, .T. ) ;
#1984 = EDGE_CURVE ( 'NONE', #396, #38, #171, .T. ) ;
#1985 = EDGE_LOOP ( 'NONE', ( #2014, #1882, #791, #552 ) ) ;
#1986 = EDGE_CURVE ( 'NONE', #1108, #508, #190, .T. ) ;
#1987 = EDGE_LOOP ( 'NONE', ( #2021, #659, #270, #561 ) ) ;
#1988 = VERTEX_POINT ( 'NONE', #208 ) ;
#1989 = ADVANCED_FACE ( 'NONE', ( #210 ), #211, .F. ) ;
#1990 = ORIENTED_EDGE ( 'NONE', *, *, #607, .F. ) ;
#1991 = ORIENTED_EDGE ( 'NONE', *, *, #1068, .F. ) ;
#1992 = ORIENTED_EDGE ( 'NONE', *, *, #788, .F. ) ;
#1993 = EDGE_CURVE ( 'NONE', #620, #1904, #238, .T. ) ;
#1994 = EDGE_LOOP ( 'NONE', ( #1947, #1259, #1280, #1978 ) ) ;
#1995 = ORIENTED_EDGE ( 'NONE', *, *, #727, .F. ) ;
#1996 = EDGE_LOOP ( 'NONE', ( #642, #339, #780, #1642 ) ) ;
#1997 = EDGE_LOOP ( 'NONE', ( #623, #1951, #397, #530 ) ) ;
#1998 = ORIENTED_EDGE ( 'NONE', *, *, #1875, .T. ) ;
#1999 = EDGE_LOOP ( 'NONE', ( #1945, #1954, #1886, #1027 ) ) ;
#2000 = ADVANCED_FACE ( 'NONE', ( #301 ), #302, .F. ) ;
#2001 = ORIENTED_EDGE ( 'NONE', *, *, #647, .T. ) ;
#2002 = EDGE_CURVE ( 'NONE', #1489, #712, #307, .T. ) ;
#2003 = ORIENTED_EDGE ( 'NONE', *, *, #2012, .F. ) ;
#2004 = ORIENTED_EDGE ( 'NONE', *, *, #1263, .F. ) ;
#2005 = ORIENTED_EDGE ( 'NONE', *, *, #1263, .T. ) ;
#2006 = ORIENTED_EDGE ( 'NONE', *, *, #652, .T. ) ;
#2007 = ORIENTED_EDGE ( 'NONE', *, *, #679, .T. ) ;
#2008 = ADVANCED_FACE ( 'NONE', ( #328, #329, #330 ), #331, .T. ) ;
#2009 = ORIENTED_EDGE ( 'NONE', *, *, #2012, .T. ) ;
#2010 = ORIENTED_EDGE ( 'NONE', *, *, #1008, .T. ) ;
#2011 = VERTEX_POINT ( 'NONE', #348 ) ;
#2012 = EDGE_CURVE ( 'NONE', #523, #1529, #353, .T. ) ;
#2013 = ORIENTED_EDGE ( 'NONE', *, *, #1866, .F. ) ;
#2014 = ORIENTED_EDGE ( 'NONE', *, *, #658, .F. ) ;
#2015 = ADVANCED_FACE ( 'NONE', ( #361 ), #362, .F. ) ;
#2016 = VERTEX_POINT ( 'NONE', #373 ) ;
#2017 = VERTEX_POINT ( 'NONE', #374 ) ;
#2018 = ORIENTED_EDGE ( 'NONE', *, *, #524, .T. ) ;
#2019 = ORIENTED_EDGE ( 'NONE', *, *, #1338, .T. ) ;
#2020 = ORIENTED_EDGE ( 'NONE', *, *, #1009, .T. ) ;
#2021 = ORIENTED_EDGE ( 'NONE', *, *, #631, .F. ) ;
ENDSEC;
END-ISO-10303-21;