ISO-10303-21;
HEADER;
FILE_DESCRIPTION (( 'STEP AP203' ),
    '1' );
FILE_NAME ('VRAF-D2-D2.STEP',
    '2007-03-23T09:17:56',
    ( ' ' ),
    ( ' ' ),
    'SwSTEP 2.0',
    'SolidWorks 2006303',
    '' );
FILE_SCHEMA (( 'CONFIG_CONTROL_DESIGN' ));
ENDSEC;

DATA;
#1 = ADVANCED_FACE ( 'NONE', ( #4275 ), #4273, .F. ) ;
#2 = ORIENTED_EDGE ( 'NONE', *, *, #3261, .F. ) ;
#3 = ORIENTED_EDGE ( 'NONE', *, *, #1619, .T. ) ;
#4 = ORIENTED_EDGE ( 'NONE', *, *, #1564, .T. ) ;
#5 = EDGE_CURVE ( 'NONE', #1571, #3281, #4267, .T. ) ;
#6 = ORIENTED_EDGE ( 'NONE', *, *, #3205, .T. ) ;
#7 = ORIENTED_EDGE ( 'NONE', *, *, #16, .F. ) ;
#8 = ORIENTED_EDGE ( 'NONE', *, *, #3274, .F. ) ;
#9 = ORIENTED_EDGE ( 'NONE', *, *, #1553, .F. ) ;
#10 = ORIENTED_EDGE ( 'NONE', *, *, #4296, .T. ) ;
#11 = EDGE_LOOP ( 'NONE', ( #12, #7726, #7586, #7581 ) ) ;
#12 = ORIENTED_EDGE ( 'NONE', *, *, #1592, .F. ) ;
#13 = ORIENTED_EDGE ( 'NONE', *, *, #3310, .T. ) ;
#14 = ADVANCED_FACE ( 'NONE', ( #4268 ), #4332, .F. ) ;
#15 = ORIENTED_EDGE ( 'NONE', *, *, #16, .T. ) ;
#16 = EDGE_CURVE ( 'NONE', #3206, #3366, #4333, .T. ) ;
#17 = EDGE_LOOP ( 'NONE', ( #38, #41, #39, #33 ) ) ;
#18 = ADVANCED_FACE ( 'NONE', ( #4325 ), #4323, .F. ) ;
#19 = ORIENTED_EDGE ( 'NONE', *, *, #1625, .T. ) ;
#20 = ORIENTED_EDGE ( 'NONE', *, *, #30, .T. ) ;
#21 = ORIENTED_EDGE ( 'NONE', *, *, #1608, .T. ) ;
#22 = ADVANCED_FACE ( 'NONE', ( #4318 ), #4324, .T. ) ;
#23 = EDGE_LOOP ( 'NONE', ( #24, #27, #21, #10, #9, #8, #7, #6 ) ) ;
#24 = ORIENTED_EDGE ( 'NONE', *, *, #1531, .F. ) ;
#25 = EDGE_LOOP ( 'NONE', ( #20, #19 ) ) ;
#26 = ORIENTED_EDGE ( 'NONE', *, *, #4103, .T. ) ;
#27 = ORIENTED_EDGE ( 'NONE', *, *, #3035, .F. ) ;
#28 = ORIENTED_EDGE ( 'NONE', *, *, #1692, .T. ) ;
#29 = EDGE_LOOP ( 'NONE', ( #839, #197, #233, #234, #235 ) ) ;
#30 = EDGE_CURVE ( 'NONE', #1627, #1626, #4313, .T. ) ;
#31 = ORIENTED_EDGE ( 'NONE', *, *, #30, .F. ) ;
#32 = ADVANCED_FACE ( 'NONE', ( #4308 ), #4306, .T. ) ;
#33 = ORIENTED_EDGE ( 'NONE', *, *, #4098, .T. ) ;
#34 = ORIENTED_EDGE ( 'NONE', *, *, #42, .T. ) ;
#35 = ADVANCED_FACE ( 'NONE', ( #4307 ), #4366, .F. ) ;
#36 = ORIENTED_EDGE ( 'NONE', *, *, #1647, .T. ) ;
#37 = EDGE_LOOP ( 'NONE', ( #34, #36 ) ) ;
#38 = ORIENTED_EDGE ( 'NONE', *, *, #1638, .F. ) ;
#39 = ORIENTED_EDGE ( 'NONE', *, *, #1644, .T. ) ;
#40 = EDGE_LOOP ( 'NONE', ( #8665, #8898 ) ) ;
#41 = ORIENTED_EDGE ( 'NONE', *, *, #42, .F. ) ;
#42 = EDGE_CURVE ( 'NONE', #1648, #1637, #4360, .T. ) ;
#43 = ADVANCED_FACE ( 'NONE', ( #4356 ), #4355, .T. ) ;
#44 = ORIENTED_EDGE ( 'NONE', *, *, #4113, .T. ) ;
#45 = EDGE_CURVE ( 'NONE', #1698, #1697, #4350, .T. ) ;
#46 = ORIENTED_EDGE ( 'NONE', *, *, #3208, .F. ) ;
#47 = ORIENTED_EDGE ( 'NONE', *, *, #1706, .T. ) ;
#48 = ORIENTED_EDGE ( 'NONE', *, *, #45, .F. ) ;
#49 = ORIENTED_EDGE ( 'NONE', *, *, #1700, .F. ) ;
#50 = EDGE_CURVE ( 'NONE', #3253, #3209, #4345, .T. ) ;
#51 = EDGE_LOOP ( 'NONE', ( #52, #46, #15, #13 ) ) ;
#52 = ORIENTED_EDGE ( 'NONE', *, *, #50, .T. ) ;
#53 = CIRCLE ( 'NONE', #110, 2.500000000000002200 ) ;
#54 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#55 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#56 = CARTESIAN_POINT ( 'NONE',  ( -31.81980515339463600, 31.81980515339463600, -105.0000000000000000 ) ) ;
#57 = AXIS2_PLACEMENT_3D ( 'NONE', #56, #55, #54 ) ;
#58 = PLANE ( 'NONE',  #57 ) ;
#59 = FACE_OUTER_BOUND ( 'NONE', #7355, .T. ) ;
#60 = DIRECTION ( 'NONE',  ( 0.7071067811865510100, 0.7071067811865441300, 0.0000000000000000000 ) ) ;
#61 = DIRECTION ( 'NONE',  ( 0.7071067811865440200, -0.7071067811865510100, 0.0000000000000000000 ) ) ;
#62 = CARTESIAN_POINT ( 'NONE',  ( -30.41421356237304600, -37.99999999999999300, -92.00000000000000000 ) ) ;
#63 = AXIS2_PLACEMENT_3D ( 'NONE', #62, #61, #60 ) ;
#64 = CIRCLE ( 'NONE', #63, 1.000000000000001300 ) ;
#65 = CARTESIAN_POINT ( 'NONE',  ( 38.00000000000000000, 30.41421356237309900, -93.00000000000000000 ) ) ;
#66 = CARTESIAN_POINT ( 'NONE',  ( 37.29289321881345400, 29.70710678118654600, -93.00000000000001400 ) ) ;
#67 = CARTESIAN_POINT ( 'NONE',  ( 37.29289321881345400, 29.70710678118655000, -92.00000000000000000 ) ) ;
#68 = CARTESIAN_POINT ( 'NONE',  ( 38.22795418862502700, 30.07228227943890900, -93.00000000000000000 ) ) ;
#69 = CARTESIAN_POINT ( 'NONE',  ( 37.57798055454328800, 29.42201944546090400, -92.91936512556486600 ) ) ;
#70 = CARTESIAN_POINT ( 'NONE',  ( 37.63484515855086000, 29.36515484144914700, -92.00000000000672200 ) ) ;
#71 = CARTESIAN_POINT ( 'NONE',  ( 38.45576533444131700, 29.73056556070178000, -93.03932848667780300 ) ) ;
#72 = CARTESIAN_POINT ( 'NONE',  ( 37.87610446222256400, 29.12389553777418500, -92.89820425789456200 ) ) ;
#73 = CARTESIAN_POINT ( 'NONE',  ( 37.97651371666922400, 29.02348628333078300, -92.05898294280989100 ) ) ;
#74 = CARTESIAN_POINT ( 'NONE',  ( 38.67051009386420200, 29.40844842157680000, -93.11574518336128400 ) ) ;
#75 = CARTESIAN_POINT ( 'NONE',  ( 38.16315371788494600, 28.83684628211506500, -92.93520295081586400 ) ) ;
#76 = CARTESIAN_POINT ( 'NONE',  ( 38.29865835960976000, 28.70134164039025400, -92.17361777504191900 ) ) ;
#77 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#78 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#79 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#80 = AXIS2_PLACEMENT_3D ( 'NONE', #86, #79, #78 ) ;
#81 = CYLINDRICAL_SURFACE ( 'NONE', #80, 2.500000000000002200 ) ;
#82 = FACE_OUTER_BOUND ( 'NONE', #6459, .T. ) ;
#83 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#84 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#85 = AXIS2_PLACEMENT_3D ( 'NONE', #93, #84, #83 ) ;
#86 = CARTESIAN_POINT ( 'NONE',  ( -31.81980515339452600, -31.81980515339474600, -105.0000000000000000 ) ) ;
#87 = CYLINDRICAL_SURFACE ( 'NONE', #85, 4.500000000000010700 ) ;
#88 = FACE_OUTER_BOUND ( 'NONE', #8663, .T. ) ;
#89 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#90 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#91 = CARTESIAN_POINT ( 'NONE',  ( 31.81980515339486000, -31.81980515339441600, -105.0000000000000000 ) ) ;
#92 = AXIS2_PLACEMENT_3D ( 'NONE', #91, #90, #89 ) ;
#93 = CARTESIAN_POINT ( 'NONE',  ( -31.49999999999993200, -20.40000000000010500, -103.0000000000000000 ) ) ;
#94 = CYLINDRICAL_SURFACE ( 'NONE', #92, 2.500000000000002200 ) ;
#95 = FACE_OUTER_BOUND ( 'NONE', #8565, .T. ) ;
#96 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#97 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#98 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 3.469446951953614200E-015, -113.3000000000000000 ) ) ;
#99 = AXIS2_PLACEMENT_3D ( 'NONE', #98, #97, #96 ) ;
#100 = PLANE ( 'NONE',  #99 ) ;
#101 = FACE_OUTER_BOUND ( 'NONE', #29, .T. ) ;
#102 = DIRECTION ( 'NONE',  ( 0.7071067811865458000, 0.7071067811865492400, 0.0000000000000000000 ) ) ;
#103 = DIRECTION ( 'NONE',  ( 0.7071067811865492400, -0.7071067811865458000, 0.0000000000000000000 ) ) ;
#104 = CARTESIAN_POINT ( 'NONE',  ( 38.00000000000000000, 30.41421356237309900, -92.00000000000000000 ) ) ;
#105 = AXIS2_PLACEMENT_3D ( 'NONE', #104, #103, #102 ) ;
#106 = CIRCLE ( 'NONE', #105, 0.9999999999999988900 ) ;
#107 = DIRECTION ( 'NONE',  ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#108 = DIRECTION ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#109 = CARTESIAN_POINT ( 'NONE',  ( -31.81980515339463600, 31.81980515339463600, -105.0000000000000000 ) ) ;
#110 = AXIS2_PLACEMENT_3D ( 'NONE', #109, #108, #107 ) ;
#111 = DIRECTION ( 'NONE',  ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#112 = CARTESIAN_POINT ( 'NONE',  ( 0.0000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#113 = AXIS2_PLACEMENT_3D ( 'NONE', #112, #77, #111 ) ;
#114 = SHAPE_DEFINITION_REPRESENTATION ( #181, #115 ) ;
#115 = ADVANCED_BREP_SHAPE_REPRESENTATION ( 'VRAF-D2-D2', ( #602, #3943, #113 ), #116 ) ;
#116 =( GEOMETRIC_REPRESENTATION_CONTEXT ( 3 ) GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ( ( #117 ) ) GLOBAL_UNIT_ASSIGNED_CONTEXT ( ( #120, #119, #118 ) ) REPRESENTATION_CONTEXT ( 'NONE', 'WORKASPACE' ) );
#117 = UNCERTAINTY_MEASURE_WITH_UNIT (LENGTH_MEASURE( 1.000000000000000100E-005 ), #120, 'distance_accuracy_value', 'NONE');
#118 =( NAMED_UNIT ( * ) SI_UNIT ( $, .STERADIAN. ) SOLID_ANGLE_UNIT ( ) );
#119 =( NAMED_UNIT ( * ) PLANE_ANGLE_UNIT ( ) SI_UNIT ( $, .RADIAN. ) );
#120 =( LENGTH_UNIT ( ) NAMED_UNIT ( * ) SI_UNIT ( .MILLI., .METRE. ) );
#121 = APPROVAL_STATUS ( 'not_yet_approved' ) ;
#122 = PERSON_AND_ORGANIZATION ( #131, #130 ) ;
#123 = PRODUCT_DEFINITION ( 'UNKNOWN', '', #162, #124 ) ;
#124 = DESIGN_CONTEXT ( 'detailed design', #126, 'design' ) ;
#125 = APPLICATION_PROTOCOL_DEFINITION ( 'international standard', 'config_control_design', 1994, #126 ) ;
#126 = APPLICATION_CONTEXT ( 'configuration controlled 3d designs of mechanical parts and assemblies' ) ;
#127 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT ( #129, #128, ( #132 ) ) ;
#128 = PERSON_AND_ORGANIZATION_ROLE ( 'design_owner' ) ;
#129 = PERSON_AND_ORGANIZATION ( #131, #130 ) ;
#130 = ORGANIZATION ( 'UNSPECIFIED', 'UNSPECIFIED', '' ) ;
#131 = PERSON ( 'UNSPECIFIED', 'UNSPECIFIED', 'UNSPECIFIED', ('UNSPECIFIED'), ('UNSPECIFIED'), ('UNSPECIFIED') ) ;
#132 = PRODUCT ( 'VRAF-D2-D2', 'VRAF-D2-D2', '', ( #133 ) ) ;
#133 = MECHANICAL_CONTEXT ( 'NONE', #135, 'mechanical' ) ;
#134 = APPLICATION_PROTOCOL_DEFINITION ( 'international standard', 'config_control_design', 1994, #135 ) ;
#135 = APPLICATION_CONTEXT ( 'configuration controlled 3d designs of mechanical parts and assemblies' ) ;
#136 = DATE_AND_TIME ( #137, #138 ) ;
#137 = CALENDAR_DATE ( 2007, 23, 3 ) ;
#138 = LOCAL_TIME ( 18, 17, 56.00000000000000000, #139 ) ;
#139 = COORDINATED_UNIVERSAL_TIME_OFFSET ( 9, 0, .AHEAD. ) ;
#140 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT ( #142, #141, ( #143 ) ) ;
#141 = PERSON_AND_ORGANIZATION_ROLE ( 'classification_officer' ) ;
#142 = PERSON_AND_ORGANIZATION ( #131, #130 ) ;
#143 = SECURITY_CLASSIFICATION ( '', '', #144 ) ;
#144 = SECURITY_CLASSIFICATION_LEVEL ( 'unclassified' ) ;
#145 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT ( #147, #146, ( #162 ) ) ;
#146 = PERSON_AND_ORGANIZATION_ROLE ( 'design_supplier' ) ;
#147 = PERSON_AND_ORGANIZATION ( #131, #130 ) ;
#148 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT ( #150, #149, ( #162 ) ) ;
#149 = PERSON_AND_ORGANIZATION_ROLE ( 'creator' ) ;
#150 = PERSON_AND_ORGANIZATION ( #131, #130 ) ;
#151 = CC_DESIGN_APPROVAL ( #159, ( #162 ) ) ;
#152 = APPROVAL_DATE_TIME ( #153, #159 ) ;
#153 = DATE_AND_TIME ( #154, #155 ) ;
#154 = CALENDAR_DATE ( 2007, 23, 3 ) ;
#155 = LOCAL_TIME ( 18, 17, 56.00000000000000000, #156 ) ;
#156 = COORDINATED_UNIVERSAL_TIME_OFFSET ( 9, 0, .AHEAD. ) ;
#157 = APPROVAL_PERSON_ORGANIZATION ( #161, #159, #158 ) ;
#158 = APPROVAL_ROLE ( '' ) ;
#159 = APPROVAL ( #160, 'UNSPECIFIED' ) ;
#160 = APPROVAL_STATUS ( 'not_yet_approved' ) ;
#161 = PERSON_AND_ORGANIZATION ( #131, #130 ) ;
#162 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE ( 'ANY', '', #132, .NOT_KNOWN. ) ;
#163 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT ( #165, #164, ( #123 ) ) ;
#164 = DATE_TIME_ROLE ( 'creation_date' ) ;
#165 = DATE_AND_TIME ( #166, #167 ) ;
#166 = CALENDAR_DATE ( 2007, 23, 3 ) ;
#167 = LOCAL_TIME ( 18, 17, 56.00000000000000000, #168 ) ;
#168 = COORDINATED_UNIVERSAL_TIME_OFFSET ( 9, 0, .AHEAD. ) ;
#169 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT ( #171, #170, ( #123 ) ) ;
#170 = PERSON_AND_ORGANIZATION_ROLE ( 'creator' ) ;
#171 = PERSON_AND_ORGANIZATION ( #131, #130 ) ;
#172 = CC_DESIGN_APPROVAL ( #180, ( #123 ) ) ;
#173 = APPROVAL_DATE_TIME ( #174, #180 ) ;
#174 = DATE_AND_TIME ( #175, #176 ) ;
#175 = CALENDAR_DATE ( 2007, 23, 3 ) ;
#176 = LOCAL_TIME ( 18, 17, 56.00000000000000000, #177 ) ;
#177 = COORDINATED_UNIVERSAL_TIME_OFFSET ( 9, 0, .AHEAD. ) ;
#178 = APPROVAL_PERSON_ORGANIZATION ( #122, #180, #179 ) ;
#179 = APPROVAL_ROLE ( '' ) ;
#180 = APPROVAL ( #121, 'UNSPECIFIED' ) ;
#181 = PRODUCT_DEFINITION_SHAPE ( 'NONE', 'NONE',  #123 ) ;
#182 = PRODUCT_RELATED_PRODUCT_CATEGORY ( 'detail', '', ( #132 ) ) ;
#183 = CC_DESIGN_SECURITY_CLASSIFICATION ( #143, ( #162 ) ) ;
#184 = CC_DESIGN_APPROVAL ( #192, ( #143 ) ) ;
#185 = APPROVAL_DATE_TIME ( #186, #192 ) ;
#186 = DATE_AND_TIME ( #187, #188 ) ;
#187 = CALENDAR_DATE ( 2007, 23, 3 ) ;
#188 = LOCAL_TIME ( 18, 17, 56.00000000000000000, #189 ) ;
#189 = COORDINATED_UNIVERSAL_TIME_OFFSET ( 9, 0, .AHEAD. ) ;
#190 = APPROVAL_PERSON_ORGANIZATION ( #194, #192, #191 ) ;
#191 = APPROVAL_ROLE ( '' ) ;
#192 = APPROVAL ( #193, 'UNSPECIFIED' ) ;
#193 = APPROVAL_STATUS ( 'not_yet_approved' ) ;
#194 = PERSON_AND_ORGANIZATION ( #131, #130 ) ;
#195 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT ( #136, #196, ( #143 ) ) ;
#196 = DATE_TIME_ROLE ( 'classification_date' ) ;
#197 = ORIENTED_EDGE ( 'NONE', *, *, #5, .F. ) ;
#198 = ORIENTED_EDGE ( 'NONE', *, *, #199, .T. ) ;
#199 = EDGE_CURVE ( 'NONE', #1491, #1488, #4341, .T. ) ;
#200 = ADVANCED_FACE ( 'NONE', ( #4336 ), #4335, .T. ) ;
#201 = EDGE_LOOP ( 'NONE', ( #202, #308 ) ) ;
#202 = ORIENTED_EDGE ( 'NONE', *, *, #307, .T. ) ;
#203 = EDGE_CURVE ( 'NONE', #1485, #1484, #4397, .T. ) ;
#204 = ORIENTED_EDGE ( 'NONE', *, *, #1483, .T. ) ;
#205 = ADVANCED_FACE ( 'NONE', ( #4392 ), #4391, .F. ) ;
#206 = EDGE_LOOP ( 'NONE', ( #275, #276, #277, #198 ) ) ;
#207 = ORIENTED_EDGE ( 'NONE', *, *, #3126, .F. ) ;
#208 = ORIENTED_EDGE ( 'NONE', *, *, #2414, .F. ) ;
#209 = ORIENTED_EDGE ( 'NONE', *, *, #4285, .T. ) ;
#210 = ADVANCED_FACE ( 'NONE', ( #4390 ), #4385, .T. ) ;
#211 = EDGE_LOOP ( 'NONE', ( #212, #214 ) ) ;
#212 = ORIENTED_EDGE ( 'NONE', *, *, #213, .T. ) ;
#213 = EDGE_CURVE ( 'NONE', #1373, #1371, #4380, .T. ) ;
#214 = ORIENTED_EDGE ( 'NONE', *, *, #1372, .T. ) ;
#215 = EDGE_LOOP ( 'NONE', ( #255, #256, #257, #259 ) ) ;
#216 = ORIENTED_EDGE ( 'NONE', *, *, #3271, .F. ) ;
#217 = ORIENTED_EDGE ( 'NONE', *, *, #4112, .T. ) ;
#218 = ADVANCED_FACE ( 'NONE', ( #4375 ), #4374, .F. ) ;
#219 = EDGE_LOOP ( 'NONE', ( #220, #221, #222, #223, #224, #225, #226, #207, #208, #209 ) ) ;
#220 = ORIENTED_EDGE ( 'NONE', *, *, #1452, .F. ) ;
#221 = ORIENTED_EDGE ( 'NONE', *, *, #3050, .F. ) ;
#222 = ORIENTED_EDGE ( 'NONE', *, *, #1397, .T. ) ;
#223 = ORIENTED_EDGE ( 'NONE', *, *, #2483, .T. ) ;
#224 = ORIENTED_EDGE ( 'NONE', *, *, #3384, .F. ) ;
#225 = ORIENTED_EDGE ( 'NONE', *, *, #3211, .T. ) ;
#226 = ORIENTED_EDGE ( 'NONE', *, *, #50, .F. ) ;
#227 = ORIENTED_EDGE ( 'NONE', *, *, #3224, .F. ) ;
#228 = ORIENTED_EDGE ( 'NONE', *, *, #1616, .T. ) ;
#229 = ORIENTED_EDGE ( 'NONE', *, *, #2409, .T. ) ;
#230 = ORIENTED_EDGE ( 'NONE', *, *, #3094, .T. ) ;
#231 = ORIENTED_EDGE ( 'NONE', *, *, #232, .F. ) ;
#232 = EDGE_CURVE ( 'NONE', #1656, #1655, #4431, .T. ) ;
#233 = ORIENTED_EDGE ( 'NONE', *, *, #1570, .F. ) ;
#234 = ORIENTED_EDGE ( 'NONE', *, *, #3304, .T. ) ;
#235 = ORIENTED_EDGE ( 'NONE', *, *, #1496, .F. ) ;
#236 = ADVANCED_FACE ( 'NONE', ( #4426 ), #4425, .F. ) ;
#237 = ADVANCED_FACE ( 'NONE', ( #4420 ), #4419, .T. ) ;
#238 = EDGE_LOOP ( 'NONE', ( #239, #298, #300, #412 ) ) ;
#239 = ORIENTED_EDGE ( 'NONE', *, *, #1431, .F. ) ;
#240 = ORIENTED_EDGE ( 'NONE', *, *, #3390, .F. ) ;
#241 = ORIENTED_EDGE ( 'NONE', *, *, #3336, .T. ) ;
#242 = ORIENTED_EDGE ( 'NONE', *, *, #1367, .T. ) ;
#243 = ORIENTED_EDGE ( 'NONE', *, *, #244, .T. ) ;
#244 = EDGE_CURVE ( 'NONE', #1365, #1445, #4413, .T. ) ;
#245 = ADVANCED_FACE ( 'NONE', ( #4409 ), #4408, .T. ) ;
#246 = EDGE_LOOP ( 'NONE', ( #247, #204 ) ) ;
#247 = ORIENTED_EDGE ( 'NONE', *, *, #203, .T. ) ;
#248 = ORIENTED_EDGE ( 'NONE', *, *, #1506, .T. ) ;
#249 = ORIENTED_EDGE ( 'NONE', *, *, #4290, .T. ) ;
#250 = ADVANCED_FACE ( 'NONE', ( #4403 ), #4402, .F. ) ;
#251 = EDGE_LOOP ( 'NONE', ( #252, #253, #242, #243 ) ) ;
#252 = ORIENTED_EDGE ( 'NONE', *, *, #1444, .F. ) ;
#253 = ORIENTED_EDGE ( 'NONE', *, *, #263, .F. ) ;
#254 = ADVANCED_FACE ( 'NONE', ( #4464 ), #4459, .F. ) ;
#255 = ORIENTED_EDGE ( 'NONE', *, *, #1375, .F. ) ;
#256 = ORIENTED_EDGE ( 'NONE', *, *, #213, .F. ) ;
#257 = ORIENTED_EDGE ( 'NONE', *, *, #1381, .T. ) ;
#258 = EDGE_LOOP ( 'NONE', ( #262, #264 ) ) ;
#259 = ORIENTED_EDGE ( 'NONE', *, *, #260, .T. ) ;
#260 = EDGE_CURVE ( 'NONE', #1379, #1376, #4453, .T. ) ;
#261 = ADVANCED_FACE ( 'NONE', ( #4449 ), #4448, .T. ) ;
#262 = ORIENTED_EDGE ( 'NONE', *, *, #263, .T. ) ;
#263 = EDGE_CURVE ( 'NONE', #1442, #1441, #4443, .T. ) ;
#264 = ORIENTED_EDGE ( 'NONE', *, *, #1440, .T. ) ;
#265 = ORIENTED_EDGE ( 'NONE', *, *, #5, .T. ) ;
#266 = ORIENTED_EDGE ( 'NONE', *, *, #3280, .F. ) ;
#267 = ORIENTED_EDGE ( 'NONE', *, *, #2422, .T. ) ;
#268 = ORIENTED_EDGE ( 'NONE', *, *, #3322, .F. ) ;
#269 = ORIENTED_EDGE ( 'NONE', *, *, #3316, .T. ) ;
#270 = ORIENTED_EDGE ( 'NONE', *, *, #3328, .F. ) ;
#271 = ORIENTED_EDGE ( 'NONE', *, *, #3320, .F. ) ;
#272 = ORIENTED_EDGE ( 'NONE', *, *, #2961, .F. ) ;
#273 = ORIENTED_EDGE ( 'NONE', *, *, #3343, .F. ) ;
#274 = ORIENTED_EDGE ( 'NONE', *, *, #3409, .F. ) ;
#275 = ORIENTED_EDGE ( 'NONE', *, *, #1487, .F. ) ;
#276 = ORIENTED_EDGE ( 'NONE', *, *, #203, .F. ) ;
#277 = ORIENTED_EDGE ( 'NONE', *, *, #1407, .T. ) ;
#278 = ADVANCED_FACE ( 'NONE', ( #4438 ), #4437, .T. ) ;
#279 = EDGE_LOOP ( 'NONE', ( #280, #281, #283, #284 ) ) ;
#280 = ORIENTED_EDGE ( 'NONE', *, *, #3138, .F. ) ;
#281 = ORIENTED_EDGE ( 'NONE', *, *, #282, .F. ) ;
#282 = EDGE_CURVE ( 'NONE', #2243, #3136, #4432, .T. ) ;
#283 = ORIENTED_EDGE ( 'NONE', *, *, #2218, .F. ) ;
#284 = ORIENTED_EDGE ( 'NONE', *, *, #3908, .F. ) ;
#285 = ORIENTED_EDGE ( 'NONE', *, *, #2238, .F. ) ;
#286 = ORIENTED_EDGE ( 'NONE', *, *, #3602, .F. ) ;
#287 = ADVANCED_FACE ( 'NONE', ( #4495 ), #4494, .F. ) ;
#288 = EDGE_LOOP ( 'NONE', ( #289, #292, #293, #294 ) ) ;
#289 = ORIENTED_EDGE ( 'NONE', *, *, #290, .T. ) ;
#290 = EDGE_CURVE ( 'NONE', #291, #2152, #4489, .T. ) ;
#291 = VERTEX_POINT ( 'NONE', #4484 ) ;
#292 = ORIENTED_EDGE ( 'NONE', *, *, #2151, .F. ) ;
#293 = ORIENTED_EDGE ( 'NONE', *, *, #2233, .F. ) ;
#294 = ORIENTED_EDGE ( 'NONE', *, *, #295, .F. ) ;
#295 = EDGE_CURVE ( 'NONE', #291, #2234, #4482, .T. ) ;
#296 = ADVANCED_FACE ( 'NONE', ( #4483 ), #4475, .F. ) ;
#297 = EDGE_LOOP ( 'NONE', ( #350, #352, #353, #354 ) ) ;
#298 = ORIENTED_EDGE ( 'NONE', *, *, #299, .T. ) ;
#299 = EDGE_CURVE ( 'NONE', #1421, #1424, #4470, .T. ) ;
#300 = ORIENTED_EDGE ( 'NONE', *, *, #1437, .T. ) ;
#301 = ORIENTED_EDGE ( 'NONE', *, *, #3410, .F. ) ;
#302 = ADVANCED_FACE ( 'NONE', ( #4466 ), #4465, .F. ) ;
#303 = ORIENTED_EDGE ( 'NONE', *, *, #1545, .F. ) ;
#304 = ORIENTED_EDGE ( 'NONE', *, *, #1578, .F. ) ;
#305 = ORIENTED_EDGE ( 'NONE', *, *, #2410, .T. ) ;
#306 = EDGE_LOOP ( 'NONE', ( #303, #227, #228, #265, #266, #267, #268, #269, #270, #271, #216, #217 ) ) ;
#307 = EDGE_CURVE ( 'NONE', #1475, #1474, #4529, .T. ) ;
#308 = ORIENTED_EDGE ( 'NONE', *, *, #1473, .T. ) ;
#309 = ADVANCED_FACE ( 'NONE', ( #4521 ), #4520, .F. ) ;
#310 = EDGE_LOOP ( 'NONE', ( #311, #312, #313, #314 ) ) ;
#311 = ORIENTED_EDGE ( 'NONE', *, *, #1477, .F. ) ;
#312 = ORIENTED_EDGE ( 'NONE', *, *, #307, .F. ) ;
#313 = ORIENTED_EDGE ( 'NONE', *, *, #1469, .T. ) ;
#314 = ORIENTED_EDGE ( 'NONE', *, *, #315, .T. ) ;
#315 = EDGE_CURVE ( 'NONE', #1467, #1478, #4519, .T. ) ;
#316 = ADVANCED_FACE ( 'NONE', ( #4510 ), #4509, .F. ) ;
#317 = EDGE_LOOP ( 'NONE', ( #318, #321, #323, #376 ) ) ;
#318 = ORIENTED_EDGE ( 'NONE', *, *, #319, .T. ) ;
#319 = EDGE_CURVE ( 'NONE', #2096, #320, #4503, .T. ) ;
#320 = VERTEX_POINT ( 'NONE', #4499 ) ;
#321 = ORIENTED_EDGE ( 'NONE', *, *, #322, .F. ) ;
#322 = EDGE_CURVE ( 'NONE', #348, #320, #4560, .T. ) ;
#323 = ORIENTED_EDGE ( 'NONE', *, *, #347, .F. ) ;
#324 = EDGE_CURVE ( 'NONE', #348, #3907, #4555, .T. ) ;
#325 = ORIENTED_EDGE ( 'NONE', *, *, #351, .F. ) ;
#326 = ORIENTED_EDGE ( 'NONE', *, *, #2117, .T. ) ;
#327 = ADVANCED_FACE ( 'NONE', ( #4551 ), #4550, .T. ) ;
#328 = EDGE_LOOP ( 'NONE', ( #329, #330, #331, #332 ) ) ;
#329 = ORIENTED_EDGE ( 'NONE', *, *, #3195, .F. ) ;
#330 = ORIENTED_EDGE ( 'NONE', *, *, #3538, .F. ) ;
#331 = ORIENTED_EDGE ( 'NONE', *, *, #343, .F. ) ;
#332 = ORIENTED_EDGE ( 'NONE', *, *, #333, .F. ) ;
#333 = EDGE_CURVE ( 'NONE', #3196, #291, #4545, .T. ) ;
#334 = ADVANCED_FACE ( 'NONE', ( #4541 ), #4539, .F. ) ;
#335 = EDGE_LOOP ( 'NONE', ( #388, #390, #391, #392 ) ) ;
#336 = ADVANCED_FACE ( 'NONE', ( #4534 ), #4533, .F. ) ;
#337 = EDGE_LOOP ( 'NONE', ( #338, #340, #341, #342 ) ) ;
#338 = ORIENTED_EDGE ( 'NONE', *, *, #339, .T. ) ;
#339 = EDGE_CURVE ( 'NONE', #3618, #2090, #4593, .T. ) ;
#340 = ORIENTED_EDGE ( 'NONE', *, *, #2089, .T. ) ;
#341 = ORIENTED_EDGE ( 'NONE', *, *, #290, .F. ) ;
#342 = ORIENTED_EDGE ( 'NONE', *, *, #343, .T. ) ;
#343 = EDGE_CURVE ( 'NONE', #291, #3618, #4588, .T. ) ;
#344 = ADVANCED_FACE ( 'NONE', ( #4583 ), #4582, .F. ) ;
#345 = EDGE_LOOP ( 'NONE', ( #346, #349, #325, #326 ) ) ;
#346 = ORIENTED_EDGE ( 'NONE', *, *, #347, .T. ) ;
#347 = EDGE_CURVE ( 'NONE', #2115, #348, #4577, .T. ) ;
#348 = VERTEX_POINT ( 'NONE', #4572 ) ;
#349 = ORIENTED_EDGE ( 'NONE', *, *, #324, .T. ) ;
#350 = ORIENTED_EDGE ( 'NONE', *, *, #351, .T. ) ;
#351 = EDGE_CURVE ( 'NONE', #2118, #3907, #4570, .T. ) ;
#352 = ORIENTED_EDGE ( 'NONE', *, *, #3897, .F. ) ;
#353 = ORIENTED_EDGE ( 'NONE', *, *, #2216, .F. ) ;
#354 = ORIENTED_EDGE ( 'NONE', *, *, #2511, .F. ) ;
#355 = ORIENTED_EDGE ( 'NONE', *, *, #356, .T. ) ;
#356 = EDGE_CURVE ( 'NONE', #431, #2668, #4565, .T. ) ;
#357 = ORIENTED_EDGE ( 'NONE', *, *, #2642, .F. ) ;
#358 = ADVANCED_FACE ( 'NONE', ( #4623 ), #4622, .T. ) ;
#359 = EDGE_LOOP ( 'NONE', ( #360, #2226, #725, #726, #727, #728, #729, #730 ) ) ;
#360 = ORIENTED_EDGE ( 'NONE', *, *, #361, .T. ) ;
#361 = EDGE_CURVE ( 'NONE', #362, #2839, #4616, .T. ) ;
#362 = VERTEX_POINT ( 'NONE', #4612 ) ;
#363 = EDGE_CURVE ( 'NONE', #3611, #320, #4610, .T. ) ;
#364 = ORIENTED_EDGE ( 'NONE', *, *, #319, .F. ) ;
#365 = ORIENTED_EDGE ( 'NONE', *, *, #2095, .T. ) ;
#366 = ADVANCED_FACE ( 'NONE', ( #4611 ), #4603, .T. ) ;
#367 = EDGE_LOOP ( 'NONE', ( #368, #369, #370, #371 ) ) ;
#368 = ORIENTED_EDGE ( 'NONE', *, *, #363, .F. ) ;
#369 = ORIENTED_EDGE ( 'NONE', *, *, #3620, .F. ) ;
#370 = ORIENTED_EDGE ( 'NONE', *, *, #3246, .F. ) ;
#371 = ORIENTED_EDGE ( 'NONE', *, *, #372, .F. ) ;
#372 = EDGE_CURVE ( 'NONE', #320, #3244, #4604, .T. ) ;
#373 = ADVANCED_FACE ( 'NONE', ( #4596 ), #4594, .T. ) ;
#374 = EDGE_LOOP ( 'NONE', ( #427, #429, #355, #357 ) ) ;
#375 = VERTEX_POINT ( 'NONE', #4652 ) ;
#376 = ORIENTED_EDGE ( 'NONE', *, *, #2114, .F. ) ;
#377 = ADVANCED_FACE ( 'NONE', ( #4651 ), #4650, .T. ) ;
#378 = EDGE_LOOP ( 'NONE', ( #379, #380, #381, #382 ) ) ;
#379 = ORIENTED_EDGE ( 'NONE', *, *, #3240, .F. ) ;
#380 = ORIENTED_EDGE ( 'NONE', *, *, #3900, .F. ) ;
#381 = ORIENTED_EDGE ( 'NONE', *, *, #324, .F. ) ;
#382 = ORIENTED_EDGE ( 'NONE', *, *, #383, .F. ) ;
#383 = EDGE_CURVE ( 'NONE', #3241, #348, #4645, .T. ) ;
#384 = ADVANCED_FACE ( 'NONE', ( #4641 ), #4639, .F. ) ;
#385 = EDGE_LOOP ( 'NONE', ( #386, #387, #364, #365 ) ) ;
#386 = ORIENTED_EDGE ( 'NONE', *, *, #389, .F. ) ;
#387 = ORIENTED_EDGE ( 'NONE', *, *, #363, .T. ) ;
#388 = ORIENTED_EDGE ( 'NONE', *, *, #389, .T. ) ;
#389 = EDGE_CURVE ( 'NONE', #3611, #2093, #4635, .T. ) ;
#390 = ORIENTED_EDGE ( 'NONE', *, *, #2092, .F. ) ;
#391 = ORIENTED_EDGE ( 'NONE', *, *, #339, .F. ) ;
#392 = ORIENTED_EDGE ( 'NONE', *, *, #3535, .F. ) ;
#393 = VERTEX_POINT ( 'NONE', #4630 ) ;
#394 = ORIENTED_EDGE ( 'NONE', *, *, #395, .F. ) ;
#395 = EDGE_CURVE ( 'NONE', #396, #393, #4629, .T. ) ;
#396 = VERTEX_POINT ( 'NONE', #4624 ) ;
#397 = ORIENTED_EDGE ( 'NONE', *, *, #398, .T. ) ;
#398 = EDGE_CURVE ( 'NONE', #396, #1171, #4373, .T. ) ;
#399 = ORIENTED_EDGE ( 'NONE', *, *, #1416, .T. ) ;
#400 = ORIENTED_EDGE ( 'NONE', *, *, #1410, .T. ) ;
#401 = ORIENTED_EDGE ( 'NONE', *, *, #402, .T. ) ;
#402 = EDGE_CURVE ( 'NONE', #1180, #1470, #4683, .T. ) ;
#403 = ADVANCED_FACE ( 'NONE', ( #4678 ), #4677, .F. ) ;
#404 = EDGE_LOOP ( 'NONE', ( #405, #406, #407, #408 ) ) ;
#405 = ORIENTED_EDGE ( 'NONE', *, *, #1179, .F. ) ;
#406 = ORIENTED_EDGE ( 'NONE', *, *, #1246, .F. ) ;
#407 = ORIENTED_EDGE ( 'NONE', *, *, #1412, .T. ) ;
#408 = ORIENTED_EDGE ( 'NONE', *, *, #402, .F. ) ;
#409 = ADVANCED_FACE ( 'NONE', ( #4672 ), #4671, .T. ) ;
#410 = EDGE_LOOP ( 'NONE', ( #411, #465, #466, #467 ) ) ;
#411 = ORIENTED_EDGE ( 'NONE', *, *, #1238, .F. ) ;
#412 = ORIENTED_EDGE ( 'NONE', *, *, #413, .T. ) ;
#413 = EDGE_CURVE ( 'NONE', #1435, #1432, #4665, .T. ) ;
#414 = ADVANCED_FACE ( 'NONE', ( #4661 ), #4660, .T. ) ;
#415 = EDGE_LOOP ( 'NONE', ( #416, #417, #419, #420 ) ) ;
#416 = ORIENTED_EDGE ( 'NONE', *, *, #1420, .F. ) ;
#417 = ORIENTED_EDGE ( 'NONE', *, *, #418, .F. ) ;
#418 = EDGE_CURVE ( 'NONE', #1418, #1417, #4717, .T. ) ;
#419 = ORIENTED_EDGE ( 'NONE', *, *, #1426, .T. ) ;
#420 = ORIENTED_EDGE ( 'NONE', *, *, #299, .F. ) ;
#421 = ADVANCED_FACE ( 'NONE', ( #4712, #4711 ), #4710, .T. ) ;
#422 = EDGE_LOOP ( 'NONE', ( #423, #399 ) ) ;
#423 = ORIENTED_EDGE ( 'NONE', *, *, #418, .T. ) ;
#424 = EDGE_LOOP ( 'NONE', ( #400, #401 ) ) ;
#425 = EDGE_CURVE ( 'NONE', #3597, #4031, #4705, .T. ) ;
#426 = ORIENTED_EDGE ( 'NONE', *, *, #4257, .T. ) ;
#427 = ORIENTED_EDGE ( 'NONE', *, *, #428, .T. ) ;
#428 = EDGE_CURVE ( 'NONE', #2672, #375, #4695, .T. ) ;
#429 = ORIENTED_EDGE ( 'NONE', *, *, #430, .F. ) ;
#430 = EDGE_CURVE ( 'NONE', #431, #375, #4691, .T. ) ;
#431 = VERTEX_POINT ( 'NONE', #4686 ) ;
#432 = EDGE_LOOP ( 'NONE', ( #433, #434, #435, #437 ) ) ;
#433 = ORIENTED_EDGE ( 'NONE', *, *, #395, .T. ) ;
#434 = ORIENTED_EDGE ( 'NONE', *, *, #505, .T. ) ;
#435 = ORIENTED_EDGE ( 'NONE', *, *, #436, .T. ) ;
#436 = EDGE_CURVE ( 'NONE', #451, #458, #4751, .T. ) ;
#437 = ORIENTED_EDGE ( 'NONE', *, *, #457, .T. ) ;
#438 = ADVANCED_FACE ( 'NONE', ( #4747 ), #4746, .T. ) ;
#439 = ADVANCED_FACE ( 'NONE', ( #4741 ), #4740, .T. ) ;
#440 = EDGE_LOOP ( 'NONE', ( #441, #442, #443, #444 ) ) ;
#441 = ORIENTED_EDGE ( 'NONE', *, *, #1241, .F. ) ;
#442 = ORIENTED_EDGE ( 'NONE', *, *, #1235, .F. ) ;
#443 = ORIENTED_EDGE ( 'NONE', *, *, #463, .F. ) ;
#444 = ORIENTED_EDGE ( 'NONE', *, *, #445, .F. ) ;
#445 = EDGE_CURVE ( 'NONE', #1242, #461, #4735, .T. ) ;
#446 = ADVANCED_FACE ( 'NONE', ( #4730 ), #4729, .F. ) ;
#447 = EDGE_LOOP ( 'NONE', ( #448, #449, #504, #506, #507 ) ) ;
#448 = ORIENTED_EDGE ( 'NONE', *, *, #1218, .T. ) ;
#449 = ORIENTED_EDGE ( 'NONE', *, *, #450, .F. ) ;
#450 = EDGE_CURVE ( 'NONE', #451, #1216, #4724, .T. ) ;
#451 = VERTEX_POINT ( 'NONE', #4720 ) ;
#452 = ORIENTED_EDGE ( 'NONE', *, *, #1170, .F. ) ;
#453 = ADVANCED_FACE ( 'NONE', ( #4719 ), #4718, .F. ) ;
#454 = EDGE_LOOP ( 'NONE', ( #455, #456, #459, #462, #464 ) ) ;
#455 = ORIENTED_EDGE ( 'NONE', *, *, #398, .F. ) ;
#456 = ORIENTED_EDGE ( 'NONE', *, *, #457, .F. ) ;
#457 = EDGE_CURVE ( 'NONE', #458, #396, #4780, .T. ) ;
#458 = VERTEX_POINT ( 'NONE', #4772 ) ;
#459 = ORIENTED_EDGE ( 'NONE', *, *, #460, .T. ) ;
#460 = EDGE_CURVE ( 'NONE', #458, #461, #4771, .T. ) ;
#461 = VERTEX_POINT ( 'NONE', #4767 ) ;
#462 = ORIENTED_EDGE ( 'NONE', *, *, #463, .T. ) ;
#463 = EDGE_CURVE ( 'NONE', #461, #1236, #4764, .T. ) ;
#464 = ORIENTED_EDGE ( 'NONE', *, *, #1173, .F. ) ;
#465 = ORIENTED_EDGE ( 'NONE', *, *, #1223, .T. ) ;
#466 = ORIENTED_EDGE ( 'NONE', *, *, #1249, .T. ) ;
#467 = ORIENTED_EDGE ( 'NONE', *, *, #1177, .T. ) ;
#468 = ADVANCED_FACE ( 'NONE', ( #4766 ), #4765, .F. ) ;
#469 = EDGE_LOOP ( 'NONE', ( #470, #394, #397, #452 ) ) ;
#470 = ORIENTED_EDGE ( 'NONE', *, *, #471, .F. ) ;
#471 = EDGE_CURVE ( 'NONE', #393, #1168, #4797, .T. ) ;
#472 = EDGE_LOOP ( 'NONE', ( #479, #478, #477, #475, #426 ) ) ;
#473 = ADVANCED_FACE ( 'NONE', ( #4793 ), #4792, .F. ) ;
#474 = ORIENTED_EDGE ( 'NONE', *, *, #542, .T. ) ;
#475 = ORIENTED_EDGE ( 'NONE', *, *, #4071, .F. ) ;
#476 = EDGE_CURVE ( 'NONE', #4089, #3963, #4791, .T. ) ;
#477 = ORIENTED_EDGE ( 'NONE', *, *, #476, .F. ) ;
#478 = ORIENTED_EDGE ( 'NONE', *, *, #3960, .F. ) ;
#479 = ORIENTED_EDGE ( 'NONE', *, *, #4192, .F. ) ;
#480 = ORIENTED_EDGE ( 'NONE', *, *, #1192, .T. ) ;
#481 = ORIENTED_EDGE ( 'NONE', *, *, #482, .T. ) ;
#482 = EDGE_CURVE ( 'NONE', #1190, #1187, #4790, .T. ) ;
#483 = ADVANCED_FACE ( 'NONE', ( #4814, #4813 ), #4812, .T. ) ;
#484 = EDGE_LOOP ( 'NONE', ( #485, #486 ) ) ;
#485 = ORIENTED_EDGE ( 'NONE', *, *, #503, .T. ) ;
#486 = ORIENTED_EDGE ( 'NONE', *, *, #1276, .T. ) ;
#487 = EDGE_LOOP ( 'NONE', ( #488, #489 ) ) ;
#488 = ORIENTED_EDGE ( 'NONE', *, *, #413, .F. ) ;
#489 = ORIENTED_EDGE ( 'NONE', *, *, #1434, .F. ) ;
#490 = ADVANCED_FACE ( 'NONE', ( #4807 ), #4806, .T. ) ;
#491 = EDGE_LOOP ( 'NONE', ( #2322, #2323, #2325, #2280 ) ) ;
#492 = EDGE_LOOP ( 'NONE', ( #493, #494, #495, #496, #497, #498 ) ) ;
#493 = ORIENTED_EDGE ( 'NONE', *, *, #460, .F. ) ;
#494 = ORIENTED_EDGE ( 'NONE', *, *, #436, .F. ) ;
#495 = ORIENTED_EDGE ( 'NONE', *, *, #450, .T. ) ;
#496 = ORIENTED_EDGE ( 'NONE', *, *, #1215, .T. ) ;
#497 = ORIENTED_EDGE ( 'NONE', *, *, #1244, .T. ) ;
#498 = ORIENTED_EDGE ( 'NONE', *, *, #445, .T. ) ;
#499 = ADVANCED_FACE ( 'NONE', ( #4805 ), #4798, .T. ) ;
#500 = EDGE_LOOP ( 'NONE', ( #501, #502, #480, #481 ) ) ;
#501 = ORIENTED_EDGE ( 'NONE', *, *, #1186, .F. ) ;
#502 = ORIENTED_EDGE ( 'NONE', *, *, #503, .F. ) ;
#503 = EDGE_CURVE ( 'NONE', #1184, #1183, #4799, .T. ) ;
#504 = ORIENTED_EDGE ( 'NONE', *, *, #505, .F. ) ;
#505 = EDGE_CURVE ( 'NONE', #393, #451, #4845, .T. ) ;
#506 = ORIENTED_EDGE ( 'NONE', *, *, #471, .T. ) ;
#507 = ORIENTED_EDGE ( 'NONE', *, *, #1167, .F. ) ;
#508 = ADVANCED_FACE ( 'NONE', ( #4841 ), #4840, .F. ) ;
#509 = ORIENTED_EDGE ( 'NONE', *, *, #576, .T. ) ;
#510 = ORIENTED_EDGE ( 'NONE', *, *, #511, .F. ) ;
#511 = EDGE_CURVE ( 'NONE', #512, #629, #4834, .T. ) ;
#512 = VERTEX_POINT ( 'NONE', #4835 ) ;
#513 = ORIENTED_EDGE ( 'NONE', *, *, #514, .F. ) ;
#514 = EDGE_CURVE ( 'NONE', #515, #512, #4883, .T. ) ;
#515 = VERTEX_POINT ( 'NONE', #4884 ) ;
#516 = ORIENTED_EDGE ( 'NONE', *, *, #517, .F. ) ;
#517 = EDGE_CURVE ( 'NONE', #518, #515, #4874, .T. ) ;
#518 = VERTEX_POINT ( 'NONE', #4873 ) ;
#519 = ORIENTED_EDGE ( 'NONE', *, *, #520, .F. ) ;
#520 = EDGE_CURVE ( 'NONE', #626, #518, #4863, .T. ) ;
#521 = ADVANCED_FACE ( 'NONE', ( #4916 ), #4915, .T. ) ;
#522 = EDGE_LOOP ( 'NONE', ( #523, #562, #564, #565 ) ) ;
#523 = ORIENTED_EDGE ( 'NONE', *, *, #559, .T. ) ;
#524 = EDGE_CURVE ( 'NONE', #574, #549, #4913, .T. ) ;
#525 = ORIENTED_EDGE ( 'NONE', *, *, #632, .T. ) ;
#526 = ORIENTED_EDGE ( 'NONE', *, *, #527, .F. ) ;
#527 = EDGE_CURVE ( 'NONE', #573, #584, #4906, .T. ) ;
#528 = ADVANCED_FACE ( 'NONE', ( #4902 ), #4900, .T. ) ;
#529 = EDGE_LOOP ( 'NONE', ( #530, #534, #616, #619 ) ) ;
#530 = ORIENTED_EDGE ( 'NONE', *, *, #531, .F. ) ;
#531 = EDGE_CURVE ( 'NONE', #532, #533, #4895, .T. ) ;
#532 = VERTEX_POINT ( 'NONE', #4891 ) ;
#533 = VERTEX_POINT ( 'NONE', #4890 ) ;
#534 = ORIENTED_EDGE ( 'NONE', *, *, #535, .T. ) ;
#535 = EDGE_CURVE ( 'NONE', #532, #615, #4888, .T. ) ;
#536 = ADVANCED_FACE ( 'NONE', ( #4889 ), #4933, .F. ) ;
#537 = ORIENTED_EDGE ( 'NONE', *, *, #545, .T. ) ;
#538 = EDGE_LOOP ( 'NONE', ( #537, #539, #540, #2279 ) ) ;
#539 = ORIENTED_EDGE ( 'NONE', *, *, #4029, .F. ) ;
#540 = ORIENTED_EDGE ( 'NONE', *, *, #425, .F. ) ;
#541 = ORIENTED_EDGE ( 'NONE', *, *, #3601, .F. ) ;
#542 = EDGE_CURVE ( 'NONE', #4202, #3447, #4927, .T. ) ;
#543 = ORIENTED_EDGE ( 'NONE', *, *, #4198, .F. ) ;
#544 = ADVANCED_FACE ( 'NONE', ( #4923 ), #4922, .F. ) ;
#545 = EDGE_CURVE ( 'NONE', #3594, #4034, #4921, .T. ) ;
#546 = ORIENTED_EDGE ( 'NONE', *, *, #4041, .F. ) ;
#547 = EDGE_LOOP ( 'NONE', ( #474, #546, #548, #541, #6441 ) ) ;
#548 = ORIENTED_EDGE ( 'NONE', *, *, #545, .F. ) ;
#549 = VERTEX_POINT ( 'NONE', #4920 ) ;
#550 = ORIENTED_EDGE ( 'NONE', *, *, #551, .F. ) ;
#551 = EDGE_CURVE ( 'NONE', #582, #549, #4952, .T. ) ;
#552 = ADVANCED_FACE ( 'NONE', ( #4940 ), #4938, .T. ) ;
#553 = EDGE_LOOP ( 'NONE', ( #554, #575, #525, #526 ) ) ;
#554 = ORIENTED_EDGE ( 'NONE', *, *, #572, .T. ) ;
#555 = VERTEX_POINT ( 'NONE', #4939 ) ;
#556 = ORIENTED_EDGE ( 'NONE', *, *, #557, .T. ) ;
#557 = EDGE_CURVE ( 'NONE', #571, #558, #4993, .T. ) ;
#558 = VERTEX_POINT ( 'NONE', #4989 ) ;
#559 = EDGE_CURVE ( 'NONE', #560, #561, #4988, .T. ) ;
#560 = VERTEX_POINT ( 'NONE', #4983 ) ;
#561 = VERTEX_POINT ( 'NONE', #4982 ) ;
#562 = ORIENTED_EDGE ( 'NONE', *, *, #563, .T. ) ;
#563 = EDGE_CURVE ( 'NONE', #561, #618, #4981, .T. ) ;
#564 = ORIENTED_EDGE ( 'NONE', *, *, #617, .T. ) ;
#565 = ORIENTED_EDGE ( 'NONE', *, *, #566, .F. ) ;
#566 = EDGE_CURVE ( 'NONE', #560, #615, #4977, .T. ) ;
#567 = ADVANCED_FACE ( 'NONE', ( #4973 ), #4971, .T. ) ;
#568 = EDGE_LOOP ( 'NONE', ( #569, #556, #712, #701 ) ) ;
#569 = ORIENTED_EDGE ( 'NONE', *, *, #570, .F. ) ;
#570 = EDGE_CURVE ( 'NONE', #571, #555, #4966, .T. ) ;
#571 = VERTEX_POINT ( 'NONE', #4962 ) ;
#572 = EDGE_CURVE ( 'NONE', #573, #574, #5024, .T. ) ;
#573 = VERTEX_POINT ( 'NONE', #5019 ) ;
#574 = VERTEX_POINT ( 'NONE', #5018 ) ;
#575 = ORIENTED_EDGE ( 'NONE', *, *, #524, .T. ) ;
#576 = EDGE_CURVE ( 'NONE', #590, #608, #5017, .T. ) ;
#577 = ADVANCED_FACE ( 'NONE', ( #5012 ), #5011, .T. ) ;
#578 = EDGE_LOOP ( 'NONE', ( #579, #583, #631, #550 ) ) ;
#579 = ORIENTED_EDGE ( 'NONE', *, *, #580, .F. ) ;
#580 = EDGE_CURVE ( 'NONE', #581, #582, #5005, .T. ) ;
#581 = VERTEX_POINT ( 'NONE', #5001 ) ;
#582 = VERTEX_POINT ( 'NONE', #5000 ) ;
#583 = ORIENTED_EDGE ( 'NONE', *, *, #630, .T. ) ;
#584 = VERTEX_POINT ( 'NONE', #4999 ) ;
#585 = ORIENTED_EDGE ( 'NONE', *, *, #586, .T. ) ;
#586 = EDGE_CURVE ( 'NONE', #614, #587, #4998, .T. ) ;
#587 = VERTEX_POINT ( 'NONE', #5055 ) ;
#588 = ORIENTED_EDGE ( 'NONE', *, *, #589, .T. ) ;
#589 = EDGE_CURVE ( 'NONE', #587, #590, #5054, .T. ) ;
#590 = VERTEX_POINT ( 'NONE', #5049 ) ;
#591 = EDGE_LOOP ( 'NONE', ( #592, #596, #702, #705 ) ) ;
#592 = ORIENTED_EDGE ( 'NONE', *, *, #593, .F. ) ;
#593 = EDGE_CURVE ( 'NONE', #594, #595, #5048, .T. ) ;
#594 = VERTEX_POINT ( 'NONE', #5043 ) ;
#595 = VERTEX_POINT ( 'NONE', #5042 ) ;
#596 = ORIENTED_EDGE ( 'NONE', *, *, #597, .T. ) ;
#597 = EDGE_CURVE ( 'NONE', #594, #598, #5041, .T. ) ;
#598 = VERTEX_POINT ( 'NONE', #5037 ) ;
#599 = VERTEX_POINT ( 'NONE', #5036 ) ;
#600 = ORIENTED_EDGE ( 'NONE', *, *, #601, .T. ) ;
#601 = EDGE_CURVE ( 'NONE', #599, #704, #5035, .T. ) ;
#602 = MANIFOLD_SOLID_BREP ( 'NONE', #3910 ) ;
#603 = ADVANCED_FACE ( 'NONE', ( #5031 ), #5030, .F. ) ;
#604 = EDGE_LOOP ( 'NONE', ( #605, #609, #612, #585, #588, #509 ) ) ;
#605 = ORIENTED_EDGE ( 'NONE', *, *, #606, .F. ) ;
#606 = EDGE_CURVE ( 'NONE', #607, #608, #5025, .T. ) ;
#607 = VERTEX_POINT ( 'NONE', #5084 ) ;
#608 = VERTEX_POINT ( 'NONE', #5083 ) ;
#609 = ORIENTED_EDGE ( 'NONE', *, *, #610, .T. ) ;
#610 = EDGE_CURVE ( 'NONE', #607, #611, #5082, .T. ) ;
#611 = VERTEX_POINT ( 'NONE', #5078 ) ;
#612 = ORIENTED_EDGE ( 'NONE', *, *, #613, .T. ) ;
#613 = EDGE_CURVE ( 'NONE', #611, #614, #5077, .T. ) ;
#614 = VERTEX_POINT ( 'NONE', #5072 ) ;
#615 = VERTEX_POINT ( 'NONE', #5071 ) ;
#616 = ORIENTED_EDGE ( 'NONE', *, *, #617, .F. ) ;
#617 = EDGE_CURVE ( 'NONE', #618, #615, #5070, .T. ) ;
#618 = VERTEX_POINT ( 'NONE', #5065 ) ;
#619 = ORIENTED_EDGE ( 'NONE', *, *, #620, .F. ) ;
#620 = EDGE_CURVE ( 'NONE', #533, #618, #5064, .T. ) ;
#621 = ADVANCED_FACE ( 'NONE', ( #5060 ), #5059, .F. ) ;
#622 = EDGE_LOOP ( 'NONE', ( #623, #627, #510, #513, #516, #519 ) ) ;
#623 = ORIENTED_EDGE ( 'NONE', *, *, #624, .F. ) ;
#624 = EDGE_CURVE ( 'NONE', #625, #626, #5118, .T. ) ;
#625 = VERTEX_POINT ( 'NONE', #5114 ) ;
#626 = VERTEX_POINT ( 'NONE', #5113 ) ;
#627 = ORIENTED_EDGE ( 'NONE', *, *, #628, .T. ) ;
#628 = EDGE_CURVE ( 'NONE', #625, #629, #5112, .T. ) ;
#629 = VERTEX_POINT ( 'NONE', #5108 ) ;
#630 = EDGE_CURVE ( 'NONE', #581, #584, #5107, .T. ) ;
#631 = ORIENTED_EDGE ( 'NONE', *, *, #632, .F. ) ;
#632 = EDGE_CURVE ( 'NONE', #549, #584, #5103, .T. ) ;
#633 = EDGE_CURVE ( 'NONE', #646, #716, #5096, .T. ) ;
#634 = ADVANCED_FACE ( 'NONE', ( #5147 ), #5146, .T. ) ;
#635 = EDGE_LOOP ( 'NONE', ( #636, #640, #642, #673 ) ) ;
#636 = ORIENTED_EDGE ( 'NONE', *, *, #637, .T. ) ;
#637 = EDGE_CURVE ( 'NONE', #638, #639, #5140, .T. ) ;
#638 = VERTEX_POINT ( 'NONE', #5136 ) ;
#639 = VERTEX_POINT ( 'NONE', #5135 ) ;
#640 = ORIENTED_EDGE ( 'NONE', *, *, #641, .T. ) ;
#641 = EDGE_CURVE ( 'NONE', #639, #700, #5134, .T. ) ;
#642 = ORIENTED_EDGE ( 'NONE', *, *, #699, .T. ) ;
#643 = ORIENTED_EDGE ( 'NONE', *, *, #644, .F. ) ;
#644 = EDGE_CURVE ( 'NONE', #645, #646, #5130, .T. ) ;
#645 = VERTEX_POINT ( 'NONE', #5126 ) ;
#646 = VERTEX_POINT ( 'NONE', #5125 ) ;
#647 = ORIENTED_EDGE ( 'NONE', *, *, #648, .T. ) ;
#648 = EDGE_CURVE ( 'NONE', #645, #649, #5124, .T. ) ;
#649 = VERTEX_POINT ( 'NONE', #5120 ) ;
#650 = ORIENTED_EDGE ( 'NONE', *, *, #651, .F. ) ;
#651 = EDGE_CURVE ( 'NONE', #652, #649, #5174, .T. ) ;
#652 = VERTEX_POINT ( 'NONE', #5173 ) ;
#653 = ORIENTED_EDGE ( 'NONE', *, *, #654, .F. ) ;
#654 = EDGE_CURVE ( 'NONE', #655, #652, #5166, .T. ) ;
#655 = VERTEX_POINT ( 'NONE', #5165 ) ;
#656 = ORIENTED_EDGE ( 'NONE', *, *, #657, .F. ) ;
#657 = EDGE_CURVE ( 'NONE', #716, #655, #5155, .T. ) ;
#658 = EDGE_CURVE ( 'NONE', #697, #659, #5154, .T. ) ;
#659 = VERTEX_POINT ( 'NONE', #5201 ) ;
#660 = ORIENTED_EDGE ( 'NONE', *, *, #661, .F. ) ;
#661 = EDGE_CURVE ( 'NONE', #694, #659, #5200, .T. ) ;
#662 = ADVANCED_FACE ( 'NONE', ( #5196 ), #5195, .F. ) ;
#663 = EDGE_LOOP ( 'NONE', ( #664, #668, #670, #671 ) ) ;
#664 = ORIENTED_EDGE ( 'NONE', *, *, #665, .T. ) ;
#665 = EDGE_CURVE ( 'NONE', #666, #667, #5189, .T. ) ;
#666 = VERTEX_POINT ( 'NONE', #5188 ) ;
#667 = VERTEX_POINT ( 'NONE', #5190 ) ;
#668 = ORIENTED_EDGE ( 'NONE', *, *, #669, .T. ) ;
#669 = EDGE_CURVE ( 'NONE', #667, #751, #5184, .T. ) ;
#670 = ORIENTED_EDGE ( 'NONE', *, *, #750, .T. ) ;
#671 = ORIENTED_EDGE ( 'NONE', *, *, #672, .T. ) ;
#672 = EDGE_CURVE ( 'NONE', #748, #666, #5180, .T. ) ;
#673 = ORIENTED_EDGE ( 'NONE', *, *, #674, .F. ) ;
#674 = EDGE_CURVE ( 'NONE', #638, #558, #5223, .T. ) ;
#675 = ADVANCED_FACE ( 'NONE', ( #5219 ), #5217, .T. ) ;
#676 = EDGE_CURVE ( 'NONE', #677, #678, #5212, .T. ) ;
#677 = VERTEX_POINT ( 'NONE', #5208 ) ;
#678 = VERTEX_POINT ( 'NONE', #5207 ) ;
#679 = ORIENTED_EDGE ( 'NONE', *, *, #680, .T. ) ;
#680 = EDGE_CURVE ( 'NONE', #678, #681, #5274, .T. ) ;
#681 = VERTEX_POINT ( 'NONE', #5270 ) ;
#682 = ORIENTED_EDGE ( 'NONE', *, *, #683, .T. ) ;
#683 = EDGE_CURVE ( 'NONE', #681, #737, #5268, .T. ) ;
#684 = ORIENTED_EDGE ( 'NONE', *, *, #685, .F. ) ;
#685 = EDGE_CURVE ( 'NONE', #686, #751, #5263, .T. ) ;
#686 = VERTEX_POINT ( 'NONE', #5259 ) ;
#687 = ORIENTED_EDGE ( 'NONE', *, *, #688, .F. ) ;
#688 = EDGE_CURVE ( 'NONE', #745, #686, #5258, .T. ) ;
#689 = ADVANCED_FACE ( 'NONE', ( #5254 ), #5252, .F. ) ;
#690 = EDGE_LOOP ( 'NONE', ( #691, #695, #698, #660 ) ) ;
#691 = ORIENTED_EDGE ( 'NONE', *, *, #692, .F. ) ;
#692 = EDGE_CURVE ( 'NONE', #693, #694, #5247, .T. ) ;
#693 = VERTEX_POINT ( 'NONE', #5243 ) ;
#694 = VERTEX_POINT ( 'NONE', #5242 ) ;
#695 = ORIENTED_EDGE ( 'NONE', *, *, #696, .T. ) ;
#696 = EDGE_CURVE ( 'NONE', #693, #697, #5306, .T. ) ;
#697 = VERTEX_POINT ( 'NONE', #5302 ) ;
#698 = ORIENTED_EDGE ( 'NONE', *, *, #658, .T. ) ;
#699 = EDGE_CURVE ( 'NONE', #700, #558, #5301, .T. ) ;
#700 = VERTEX_POINT ( 'NONE', #5296 ) ;
#701 = ORIENTED_EDGE ( 'NONE', *, *, #713, .F. ) ;
#702 = ORIENTED_EDGE ( 'NONE', *, *, #703, .F. ) ;
#703 = EDGE_CURVE ( 'NONE', #704, #598, #5295, .T. ) ;
#704 = VERTEX_POINT ( 'NONE', #5290 ) ;
#705 = ORIENTED_EDGE ( 'NONE', *, *, #706, .F. ) ;
#706 = EDGE_CURVE ( 'NONE', #595, #704, #5289, .T. ) ;
#707 = ADVANCED_FACE ( 'NONE', ( #5285 ), #5284, .T. ) ;
#708 = EDGE_LOOP ( 'NONE', ( #709, #600, #752, #753 ) ) ;
#709 = ORIENTED_EDGE ( 'NONE', *, *, #710, .T. ) ;
#710 = EDGE_CURVE ( 'NONE', #711, #599, #5283, .T. ) ;
#711 = VERTEX_POINT ( 'NONE', #5337 ) ;
#712 = ORIENTED_EDGE ( 'NONE', *, *, #699, .F. ) ;
#713 = EDGE_CURVE ( 'NONE', #555, #700, #5336, .T. ) ;
#714 = ADVANCED_FACE ( 'NONE', ( #5332 ), #5330, .F. ) ;
#715 = EDGE_LOOP ( 'NONE', ( #643, #647, #650, #653, #656, #717 ) ) ;
#716 = VERTEX_POINT ( 'NONE', #5331 ) ;
#717 = ORIENTED_EDGE ( 'NONE', *, *, #633, .F. ) ;
#718 = ORIENTED_EDGE ( 'NONE', *, *, #2520, .F. ) ;
#719 = ORIENTED_EDGE ( 'NONE', *, *, #2057, .F. ) ;
#720 = ORIENTED_EDGE ( 'NONE', *, *, #2109, .F. ) ;
#721 = ADVANCED_FACE ( 'NONE', ( #5325 ), #5324, .T. ) ;
#722 = EDGE_LOOP ( 'NONE', ( #723, #784, #785, #786 ) ) ;
#723 = ORIENTED_EDGE ( 'NONE', *, *, #724, .T. ) ;
#724 = EDGE_CURVE ( 'NONE', #783, #2715, #5319, .T. ) ;
#725 = ORIENTED_EDGE ( 'NONE', *, *, #2647, .F. ) ;
#726 = ORIENTED_EDGE ( 'NONE', *, *, #2598, .F. ) ;
#727 = ORIENTED_EDGE ( 'NONE', *, *, #2508, .F. ) ;
#728 = ORIENTED_EDGE ( 'NONE', *, *, #2667, .F. ) ;
#729 = ORIENTED_EDGE ( 'NONE', *, *, #356, .F. ) ;
#730 = ORIENTED_EDGE ( 'NONE', *, *, #731, .F. ) ;
#731 = EDGE_CURVE ( 'NONE', #362, #431, #5314, .T. ) ;
#732 = ADVANCED_FACE ( 'NONE', ( #5310 ), #5307, .T. ) ;
#733 = EDGE_LOOP ( 'NONE', ( #734, #796, #798, #799, #800, #718, #719, #720 ) ) ;
#734 = ORIENTED_EDGE ( 'NONE', *, *, #735, .T. ) ;
#735 = EDGE_CURVE ( 'NONE', #2110, #736, #5366, .T. ) ;
#736 = VERTEX_POINT ( 'NONE', #5362 ) ;
#737 = VERTEX_POINT ( 'NONE', #5361 ) ;
#738 = ORIENTED_EDGE ( 'NONE', *, *, #739, .F. ) ;
#739 = EDGE_CURVE ( 'NONE', #677, #737, #5360, .T. ) ;
#740 = ADVANCED_FACE ( 'NONE', ( #5356 ), #5355, .T. ) ;
#741 = EDGE_LOOP ( 'NONE', ( #742, #746, #749, #684, #687 ) ) ;
#742 = ORIENTED_EDGE ( 'NONE', *, *, #743, .F. ) ;
#743 = EDGE_CURVE ( 'NONE', #744, #745, #5354, .T. ) ;
#744 = VERTEX_POINT ( 'NONE', #5345 ) ;
#745 = VERTEX_POINT ( 'NONE', #5344 ) ;
#746 = ORIENTED_EDGE ( 'NONE', *, *, #747, .T. ) ;
#747 = EDGE_CURVE ( 'NONE', #744, #748, #5343, .T. ) ;
#748 = VERTEX_POINT ( 'NONE', #5339 ) ;
#749 = ORIENTED_EDGE ( 'NONE', *, *, #750, .F. ) ;
#750 = EDGE_CURVE ( 'NONE', #751, #748, #4862, .T. ) ;
#751 = VERTEX_POINT ( 'NONE', #5401 ) ;
#752 = ORIENTED_EDGE ( 'NONE', *, *, #703, .T. ) ;
#753 = ORIENTED_EDGE ( 'NONE', *, *, #754, .F. ) ;
#754 = EDGE_CURVE ( 'NONE', #711, #598, #5400, .T. ) ;
#755 = ADVANCED_FACE ( 'NONE', ( #5396 ), #5394, .T. ) ;
#756 = EDGE_LOOP ( 'NONE', ( #757, #679, #682, #738 ) ) ;
#757 = ORIENTED_EDGE ( 'NONE', *, *, #676, .T. ) ;
#758 = ORIENTED_EDGE ( 'NONE', *, *, #814, .F. ) ;
#759 = ORIENTED_EDGE ( 'NONE', *, *, #760, .F. ) ;
#760 = EDGE_CURVE ( 'NONE', #776, #783, #5395, .T. ) ;
#761 = ADVANCED_FACE ( 'NONE', ( #5386 ), #5384, .T. ) ;
#762 = EDGE_LOOP ( 'NONE', ( #763, #766, #768, #769, #770, #827, #828, #829 ) ) ;
#763 = ORIENTED_EDGE ( 'NONE', *, *, #764, .T. ) ;
#764 = EDGE_CURVE ( 'NONE', #3056, #765, #5379, .T. ) ;
#765 = VERTEX_POINT ( 'NONE', #5375 ) ;
#766 = ORIENTED_EDGE ( 'NONE', *, *, #767, .F. ) ;
#767 = EDGE_CURVE ( 'NONE', #792, #765, #5374, .T. ) ;
#768 = ORIENTED_EDGE ( 'NONE', *, *, #791, .F. ) ;
#769 = ORIENTED_EDGE ( 'NONE', *, *, #2141, .F. ) ;
#770 = ORIENTED_EDGE ( 'NONE', *, *, #2007, .F. ) ;
#771 = ORIENTED_EDGE ( 'NONE', *, *, #2143, .F. ) ;
#772 = ADVANCED_FACE ( 'NONE', ( #5432 ), #5431, .T. ) ;
#773 = EDGE_LOOP ( 'NONE', ( #774, #777, #778, #779, #780, #781, #782, #759 ) ) ;
#774 = ORIENTED_EDGE ( 'NONE', *, *, #775, .T. ) ;
#775 = EDGE_CURVE ( 'NONE', #776, #3111, #5430, .T. ) ;
#776 = VERTEX_POINT ( 'NONE', #5421 ) ;
#777 = ORIENTED_EDGE ( 'NONE', *, *, #3110, .F. ) ;
#778 = ORIENTED_EDGE ( 'NONE', *, *, #3026, .F. ) ;
#779 = ORIENTED_EDGE ( 'NONE', *, *, #2604, .F. ) ;
#780 = ORIENTED_EDGE ( 'NONE', *, *, #2650, .F. ) ;
#781 = ORIENTED_EDGE ( 'NONE', *, *, #2714, .F. ) ;
#782 = ORIENTED_EDGE ( 'NONE', *, *, #724, .F. ) ;
#783 = VERTEX_POINT ( 'NONE', #5420 ) ;
#784 = ORIENTED_EDGE ( 'NONE', *, *, #2774, .F. ) ;
#785 = ORIENTED_EDGE ( 'NONE', *, *, #361, .F. ) ;
#786 = ORIENTED_EDGE ( 'NONE', *, *, #787, .F. ) ;
#787 = EDGE_CURVE ( 'NONE', #783, #362, #5418, .T. ) ;
#788 = ADVANCED_FACE ( 'NONE', ( #5419 ), #5412, .T. ) ;
#789 = EDGE_LOOP ( 'NONE', ( #790, #793, #795, #771 ) ) ;
#790 = ORIENTED_EDGE ( 'NONE', *, *, #791, .T. ) ;
#791 = EDGE_CURVE ( 'NONE', #2112, #792, #5408, .T. ) ;
#792 = VERTEX_POINT ( 'NONE', #5403 ) ;
#793 = ORIENTED_EDGE ( 'NONE', *, *, #794, .F. ) ;
#794 = EDGE_CURVE ( 'NONE', #736, #792, #5402, .T. ) ;
#795 = ORIENTED_EDGE ( 'NONE', *, *, #735, .F. ) ;
#796 = ORIENTED_EDGE ( 'NONE', *, *, #797, .F. ) ;
#797 = EDGE_CURVE ( 'NONE', #375, #736, #5465, .T. ) ;
#798 = ORIENTED_EDGE ( 'NONE', *, *, #428, .F. ) ;
#799 = ORIENTED_EDGE ( 'NONE', *, *, #2671, .F. ) ;
#800 = ORIENTED_EDGE ( 'NONE', *, *, #2487, .F. ) ;
#801 = EDGE_LOOP ( 'NONE', ( #856, #857, #858, #859 ) ) ;
#802 = ORIENTED_EDGE ( 'NONE', *, *, #2335, .F. ) ;
#803 = ADVANCED_FACE ( 'NONE', ( #5457 ), #5455, .T. ) ;
#804 = ORIENTED_EDGE ( 'NONE', *, *, #805, .F. ) ;
#805 = EDGE_CURVE ( 'NONE', #736, #2349, #5456, .T. ) ;
#806 = ORIENTED_EDGE ( 'NONE', *, *, #794, .T. ) ;
#807 = ORIENTED_EDGE ( 'NONE', *, *, #808, .F. ) ;
#808 = EDGE_CURVE ( 'NONE', #2361, #792, #5447, .T. ) ;
#809 = ORIENTED_EDGE ( 'NONE', *, *, #2406, .F. ) ;
#810 = ADVANCED_FACE ( 'NONE', ( #5443 ), #5441, .T. ) ;
#811 = EDGE_LOOP ( 'NONE', ( #812, #868, #869, #871 ) ) ;
#812 = ORIENTED_EDGE ( 'NONE', *, *, #813, .F. ) ;
#813 = EDGE_CURVE ( 'NONE', #431, #2345, #5442, .T. ) ;
#814 = EDGE_CURVE ( 'NONE', #783, #2339, #5495, .T. ) ;
#815 = ORIENTED_EDGE ( 'NONE', *, *, #787, .T. ) ;
#816 = ORIENTED_EDGE ( 'NONE', *, *, #817, .F. ) ;
#817 = EDGE_CURVE ( 'NONE', #2342, #362, #5491, .T. ) ;
#818 = ORIENTED_EDGE ( 'NONE', *, *, #2341, .F. ) ;
#819 = ADVANCED_FACE ( 'NONE', ( #5487 ), #5485, .T. ) ;
#820 = EDGE_LOOP ( 'NONE', ( #821, #823, #824, #802 ) ) ;
#821 = ORIENTED_EDGE ( 'NONE', *, *, #822, .F. ) ;
#822 = EDGE_CURVE ( 'NONE', #765, #2362, #5486, .T. ) ;
#823 = ORIENTED_EDGE ( 'NONE', *, *, #834, .T. ) ;
#824 = ORIENTED_EDGE ( 'NONE', *, *, #825, .F. ) ;
#825 = EDGE_CURVE ( 'NONE', #2336, #776, #5477, .T. ) ;
#826 = EDGE_LOOP ( 'NONE', ( #804, #806, #807, #809 ) ) ;
#827 = ORIENTED_EDGE ( 'NONE', *, *, #2552, .F. ) ;
#828 = ORIENTED_EDGE ( 'NONE', *, *, #2932, .F. ) ;
#829 = ORIENTED_EDGE ( 'NONE', *, *, #3055, .F. ) ;
#830 = ADVANCED_FACE ( 'NONE', ( #5473 ), #5471, .T. ) ;
#831 = EDGE_LOOP ( 'NONE', ( #832, #833, #835, #836 ) ) ;
#832 = ORIENTED_EDGE ( 'NONE', *, *, #775, .F. ) ;
#833 = ORIENTED_EDGE ( 'NONE', *, *, #834, .F. ) ;
#834 = EDGE_CURVE ( 'NONE', #765, #776, #5467, .T. ) ;
#835 = ORIENTED_EDGE ( 'NONE', *, *, #764, .F. ) ;
#836 = ORIENTED_EDGE ( 'NONE', *, *, #3113, .F. ) ;
#837 = ADVANCED_FACE ( 'NONE', ( #5527 ), #5526, .T. ) ;
#838 = EDGE_LOOP ( 'NONE', ( #758, #815, #816, #818 ) ) ;
#839 = ORIENTED_EDGE ( 'NONE', *, *, #3283, .T. ) ;
#840 = ORIENTED_EDGE ( 'NONE', *, *, #1664, .T. ) ;
#841 = ORIENTED_EDGE ( 'NONE', *, *, #3307, .F. ) ;
#842 = ORIENTED_EDGE ( 'NONE', *, *, #813, .T. ) ;
#843 = ORIENTED_EDGE ( 'NONE', *, *, #2344, .F. ) ;
#844 = ADVANCED_FACE ( 'NONE', ( #5525 ), #5520, .T. ) ;
#845 = ORIENTED_EDGE ( 'NONE', *, *, #295, .T. ) ;
#846 = ORIENTED_EDGE ( 'NONE', *, *, #2225, .T. ) ;
#847 = ORIENTED_EDGE ( 'NONE', *, *, #3198, .F. ) ;
#848 = ORIENTED_EDGE ( 'NONE', *, *, #333, .T. ) ;
#849 = ADVANCED_FACE ( 'NONE', ( #5515 ), #5514, .T. ) ;
#850 = EDGE_LOOP ( 'NONE', ( #851, #852, #853, #854 ) ) ;
#851 = ORIENTED_EDGE ( 'NONE', *, *, #808, .T. ) ;
#852 = ORIENTED_EDGE ( 'NONE', *, *, #767, .T. ) ;
#853 = ORIENTED_EDGE ( 'NONE', *, *, #822, .T. ) ;
#854 = ORIENTED_EDGE ( 'NONE', *, *, #2360, .F. ) ;
#855 = ADVANCED_FACE ( 'NONE', ( #5509 ), #5508, .T. ) ;
#856 = ORIENTED_EDGE ( 'NONE', *, *, #2245, .T. ) ;
#857 = ORIENTED_EDGE ( 'NONE', *, *, #282, .T. ) ;
#858 = ORIENTED_EDGE ( 'NONE', *, *, #3135, .F. ) ;
#859 = ORIENTED_EDGE ( 'NONE', *, *, #2229, .T. ) ;
#860 = ADVANCED_FACE ( 'NONE', ( #5503 ), #5502, .F. ) ;
#861 = EDGE_LOOP ( 'NONE', ( #862, #863, #864, #865 ) ) ;
#862 = ORIENTED_EDGE ( 'NONE', *, *, #322, .T. ) ;
#863 = ORIENTED_EDGE ( 'NONE', *, *, #372, .T. ) ;
#864 = ORIENTED_EDGE ( 'NONE', *, *, #3243, .F. ) ;
#865 = ORIENTED_EDGE ( 'NONE', *, *, #383, .T. ) ;
#866 = ADVANCED_FACE ( 'NONE', ( #5501 ), #5496, .F. ) ;
#867 = EDGE_LOOP ( 'NONE', ( #845, #846, #847, #848 ) ) ;
#868 = ORIENTED_EDGE ( 'NONE', *, *, #430, .T. ) ;
#869 = ORIENTED_EDGE ( 'NONE', *, *, #870, .F. ) ;
#870 = EDGE_CURVE ( 'NONE', #2348, #375, #5554, .T. ) ;
#871 = ORIENTED_EDGE ( 'NONE', *, *, #2347, .F. ) ;
#872 = ADVANCED_FACE ( 'NONE', ( #5550 ), #5548, .F. ) ;
#873 = EDGE_LOOP ( 'NONE', ( #874, #875, #876, #877 ) ) ;
#874 = ORIENTED_EDGE ( 'NONE', *, *, #2462, .T. ) ;
#875 = ORIENTED_EDGE ( 'NONE', *, *, #2472, .T. ) ;
#876 = ORIENTED_EDGE ( 'NONE', *, *, #3171, .F. ) ;
#877 = ORIENTED_EDGE ( 'NONE', *, *, #2201, .T. ) ;
#878 = ADVANCED_FACE ( 'NONE', ( #5543 ), #5542, .F. ) ;
#879 = EDGE_LOOP ( 'NONE', ( #880, #938, #940 ) ) ;
#880 = ORIENTED_EDGE ( 'NONE', *, *, #881, .F. ) ;
#881 = EDGE_CURVE ( 'NONE', #882, #666, #5537, .T. ) ;
#882 = VERTEX_POINT ( 'NONE', #5536 ) ;
#883 = ORIENTED_EDGE ( 'NONE', *, *, #884, .T. ) ;
#884 = EDGE_CURVE ( 'NONE', #910, #906, #5535, .T. ) ;
#885 = ADVANCED_FACE ( 'NONE', ( #5584, #5583 ), #5582, .T. ) ;
#886 = EDGE_LOOP ( 'NONE', ( #887, #888, #891, #894, #952, #955, #957, #958 ) ) ;
#887 = ORIENTED_EDGE ( 'NONE', *, *, #1105, .F. ) ;
#888 = ORIENTED_EDGE ( 'NONE', *, *, #889, .T. ) ;
#889 = EDGE_CURVE ( 'NONE', #1103, #890, #5581, .T. ) ;
#890 = VERTEX_POINT ( 'NONE', #5572 ) ;
#891 = ORIENTED_EDGE ( 'NONE', *, *, #892, .F. ) ;
#892 = EDGE_CURVE ( 'NONE', #893, #890, #5571, .T. ) ;
#893 = VERTEX_POINT ( 'NONE', #5567 ) ;
#894 = ORIENTED_EDGE ( 'NONE', *, *, #895, .T. ) ;
#895 = EDGE_CURVE ( 'NONE', #893, #896, #5566, .T. ) ;
#896 = VERTEX_POINT ( 'NONE', #5561 ) ;
#897 = EDGE_LOOP ( 'NONE', ( #898, #899, #900, #901 ) ) ;
#898 = ORIENTED_EDGE ( 'NONE', *, *, #870, .T. ) ;
#899 = ORIENTED_EDGE ( 'NONE', *, *, #797, .T. ) ;
#900 = ORIENTED_EDGE ( 'NONE', *, *, #805, .T. ) ;
#901 = ORIENTED_EDGE ( 'NONE', *, *, #2404, .F. ) ;
#902 = ADVANCED_FACE ( 'NONE', ( #5560 ), #5559, .T. ) ;
#903 = EDGE_LOOP ( 'NONE', ( #904, #907, #908, #883 ) ) ;
#904 = ORIENTED_EDGE ( 'NONE', *, *, #905, .F. ) ;
#905 = EDGE_CURVE ( 'NONE', #1165, #906, #5630, .T. ) ;
#906 = VERTEX_POINT ( 'NONE', #5622 ) ;
#907 = ORIENTED_EDGE ( 'NONE', *, *, #1164, .F. ) ;
#908 = ORIENTED_EDGE ( 'NONE', *, *, #909, .F. ) ;
#909 = EDGE_CURVE ( 'NONE', #910, #1162, #5621, .T. ) ;
#910 = VERTEX_POINT ( 'NONE', #5617 ) ;
#911 = EDGE_LOOP ( 'NONE', ( #912, #913, #914, #915 ) ) ;
#912 = ORIENTED_EDGE ( 'NONE', *, *, #825, .T. ) ;
#913 = ORIENTED_EDGE ( 'NONE', *, *, #760, .T. ) ;
#914 = ORIENTED_EDGE ( 'NONE', *, *, #814, .T. ) ;
#915 = ORIENTED_EDGE ( 'NONE', *, *, #2338, .F. ) ;
#916 = ADVANCED_FACE ( 'NONE', ( #5616 ), #5615, .T. ) ;
#917 = EDGE_LOOP ( 'NONE', ( #918, #919, #842, #843 ) ) ;
#918 = ORIENTED_EDGE ( 'NONE', *, *, #817, .T. ) ;
#919 = ORIENTED_EDGE ( 'NONE', *, *, #731, .T. ) ;
#920 = EDGE_LOOP ( 'NONE', ( #921, #922 ) ) ;
#921 = ORIENTED_EDGE ( 'NONE', *, *, #932, .T. ) ;
#922 = ORIENTED_EDGE ( 'NONE', *, *, #1091, .T. ) ;
#923 = ADVANCED_FACE ( 'NONE', ( #5610 ), #5609, .F. ) ;
#924 = EDGE_LOOP ( 'NONE', ( #925, #926, #980, #982 ) ) ;
#925 = ORIENTED_EDGE ( 'NONE', *, *, #909, .T. ) ;
#926 = ORIENTED_EDGE ( 'NONE', *, *, #1161, .F. ) ;
#927 = ORIENTED_EDGE ( 'NONE', *, *, #889, .F. ) ;
#928 = ADVANCED_FACE ( 'NONE', ( #5604 ), #5603, .F. ) ;
#929 = EDGE_LOOP ( 'NONE', ( #930, #931, #933, #934, #935, #937, #994, #997 ) ) ;
#930 = ORIENTED_EDGE ( 'NONE', *, *, #1095, .F. ) ;
#931 = ORIENTED_EDGE ( 'NONE', *, *, #932, .F. ) ;
#932 = EDGE_CURVE ( 'NONE', #1093, #1092, #5661, .T. ) ;
#933 = ORIENTED_EDGE ( 'NONE', *, *, #1155, .T. ) ;
#934 = ORIENTED_EDGE ( 'NONE', *, *, #948, .T. ) ;
#935 = ORIENTED_EDGE ( 'NONE', *, *, #936, .T. ) ;
#936 = EDGE_CURVE ( 'NONE', #946, #906, #5656, .T. ) ;
#937 = ORIENTED_EDGE ( 'NONE', *, *, #884, .F. ) ;
#938 = ORIENTED_EDGE ( 'NONE', *, *, #939, .F. ) ;
#939 = EDGE_CURVE ( 'NONE', #667, #882, #5650, .T. ) ;
#940 = ORIENTED_EDGE ( 'NONE', *, *, #665, .F. ) ;
#941 = ADVANCED_FACE ( 'NONE', ( #5652 ), #5651, .F. ) ;
#942 = EDGE_LOOP ( 'NONE', ( #943, #944, #947, #949, #950, #927 ) ) ;
#943 = ORIENTED_EDGE ( 'NONE', *, *, #1101, .F. ) ;
#944 = ORIENTED_EDGE ( 'NONE', *, *, #945, .F. ) ;
#945 = EDGE_CURVE ( 'NONE', #946, #1102, #5645, .T. ) ;
#946 = VERTEX_POINT ( 'NONE', #5681 ) ;
#947 = ORIENTED_EDGE ( 'NONE', *, *, #948, .F. ) ;
#948 = EDGE_CURVE ( 'NONE', #1153, #946, #5680, .T. ) ;
#949 = ORIENTED_EDGE ( 'NONE', *, *, #1152, .F. ) ;
#950 = ORIENTED_EDGE ( 'NONE', *, *, #951, .F. ) ;
#951 = EDGE_CURVE ( 'NONE', #890, #1150, #5675, .T. ) ;
#952 = ORIENTED_EDGE ( 'NONE', *, *, #953, .F. ) ;
#953 = EDGE_CURVE ( 'NONE', #954, #896, #5671, .T. ) ;
#954 = VERTEX_POINT ( 'NONE', #5667 ) ;
#955 = ORIENTED_EDGE ( 'NONE', *, *, #956, .F. ) ;
#956 = EDGE_CURVE ( 'NONE', #1112, #954, #5666, .T. ) ;
#957 = ORIENTED_EDGE ( 'NONE', *, *, #1111, .T. ) ;
#958 = ORIENTED_EDGE ( 'NONE', *, *, #959, .F. ) ;
#959 = EDGE_CURVE ( 'NONE', #1106, #1109, #5729, .T. ) ;
#960 = ADVANCED_FACE ( 'NONE', ( #5724, #5723 ), #5722, .F. ) ;
#961 = EDGE_LOOP ( 'NONE', ( #962, #963 ) ) ;
#962 = ORIENTED_EDGE ( 'NONE', *, *, #676, .F. ) ;
#963 = ORIENTED_EDGE ( 'NONE', *, *, #964, .F. ) ;
#964 = EDGE_CURVE ( 'NONE', #678, #677, #5717, .T. ) ;
#965 = EDGE_LOOP ( 'NONE', ( #966, #967, #968, #969 ) ) ;
#966 = ORIENTED_EDGE ( 'NONE', *, *, #892, .T. ) ;
#967 = ORIENTED_EDGE ( 'NONE', *, *, #951, .T. ) ;
#968 = ORIENTED_EDGE ( 'NONE', *, *, #1149, .F. ) ;
#969 = ORIENTED_EDGE ( 'NONE', *, *, #978, .T. ) ;
#970 = ORIENTED_EDGE ( 'NONE', *, *, #956, .T. ) ;
#971 = ORIENTED_EDGE ( 'NONE', *, *, #986, .T. ) ;
#972 = ORIENTED_EDGE ( 'NONE', *, *, #1098, .F. ) ;
#973 = ORIENTED_EDGE ( 'NONE', *, *, #998, .F. ) ;
#974 = ORIENTED_EDGE ( 'NONE', *, *, #981, .T. ) ;
#975 = ADVANCED_FACE ( 'NONE', ( #5712 ), #5711, .T. ) ;
#976 = EDGE_LOOP ( 'NONE', ( #977, #979, #1036, #1037 ) ) ;
#977 = ORIENTED_EDGE ( 'NONE', *, *, #978, .F. ) ;
#978 = EDGE_CURVE ( 'NONE', #1147, #893, #5706, .T. ) ;
#979 = ORIENTED_EDGE ( 'NONE', *, *, #1146, .T. ) ;
#980 = ORIENTED_EDGE ( 'NONE', *, *, #981, .F. ) ;
#981 = EDGE_CURVE ( 'NONE', #996, #1159, #5702, .T. ) ;
#982 = ORIENTED_EDGE ( 'NONE', *, *, #995, .F. ) ;
#983 = ADVANCED_FACE ( 'NONE', ( #5698 ), #5697, .F. ) ;
#984 = EDGE_LOOP ( 'NONE', ( #985, #987, #988, #990 ) ) ;
#985 = ORIENTED_EDGE ( 'NONE', *, *, #986, .F. ) ;
#986 = EDGE_CURVE ( 'NONE', #954, #1099, #5759, .T. ) ;
#987 = ORIENTED_EDGE ( 'NONE', *, *, #953, .T. ) ;
#988 = ORIENTED_EDGE ( 'NONE', *, *, #989, .T. ) ;
#989 = EDGE_CURVE ( 'NONE', #896, #1144, #5755, .T. ) ;
#990 = ORIENTED_EDGE ( 'NONE', *, *, #1143, .F. ) ;
#991 = ADVANCED_FACE ( 'NONE', ( #5751 ), #5750, .F. ) ;
#992 = EDGE_LOOP ( 'NONE', ( #993, #970, #971, #972, #973, #974 ) ) ;
#993 = ORIENTED_EDGE ( 'NONE', *, *, #1114, .T. ) ;
#994 = ORIENTED_EDGE ( 'NONE', *, *, #995, .T. ) ;
#995 = EDGE_CURVE ( 'NONE', #910, #996, #5745, .T. ) ;
#996 = VERTEX_POINT ( 'NONE', #5741 ) ;
#997 = ORIENTED_EDGE ( 'NONE', *, *, #998, .T. ) ;
#998 = EDGE_CURVE ( 'NONE', #996, #1096, #5740, .T. ) ;
#999 = ADVANCED_FACE ( 'NONE', ( #5735 ), #5734, .T. ) ;
#1000 = EDGE_CURVE ( 'NONE', #1010, #1071, #5795, .T. ) ;
#1001 = ORIENTED_EDGE ( 'NONE', *, *, #1009, .T. ) ;
#1002 = ADVANCED_FACE ( 'NONE', ( #5791, #5790 ), #5789, .T. ) ;
#1003 = EDGE_LOOP ( 'NONE', ( #1004, #1005 ) ) ;
#1004 = ORIENTED_EDGE ( 'NONE', *, *, #710, .F. ) ;
#1005 = ORIENTED_EDGE ( 'NONE', *, *, #1006, .F. ) ;
#1006 = EDGE_CURVE ( 'NONE', #599, #711, #5784, .T. ) ;
#1007 = EDGE_LOOP ( 'NONE', ( #1008, #1259, #1260, #1261 ) ) ;
#1008 = ORIENTED_EDGE ( 'NONE', *, *, #1021, .T. ) ;
#1009 = EDGE_CURVE ( 'NONE', #1010, #1065, #5779, .T. ) ;
#1010 = VERTEX_POINT ( 'NONE', #5775 ) ;
#1011 = ORIENTED_EDGE ( 'NONE', *, *, #1012, .F. ) ;
#1012 = EDGE_CURVE ( 'NONE', #1013, #1010, #5774, .T. ) ;
#1013 = VERTEX_POINT ( 'NONE', #5769 ) ;
#1014 = ORIENTED_EDGE ( 'NONE', *, *, #1015, .T. ) ;
#1015 = EDGE_CURVE ( 'NONE', #1013, #1064, #5768, .T. ) ;
#1016 = ADVANCED_FACE ( 'NONE', ( #5764 ), #5828, .F. ) ;
#1017 = EDGE_LOOP ( 'NONE', ( #1018, #1019, #1020 ) ) ;
#1018 = ORIENTED_EDGE ( 'NONE', *, *, #1067, .T. ) ;
#1019 = ORIENTED_EDGE ( 'NONE', *, *, #1015, .F. ) ;
#1020 = ORIENTED_EDGE ( 'NONE', *, *, #1021, .F. ) ;
#1021 = EDGE_CURVE ( 'NONE', #1068, #1013, #5823, .T. ) ;
#1022 = ADVANCED_FACE ( 'NONE', ( #5819, #5818 ), #5817, .F. ) ;
#1023 = EDGE_LOOP ( 'NONE', ( #1024, #1026 ) ) ;
#1024 = ORIENTED_EDGE ( 'NONE', *, *, #1025, .T. ) ;
#1025 = EDGE_CURVE ( 'NONE', #1043, #1042, #5812, .T. ) ;
#1026 = ORIENTED_EDGE ( 'NONE', *, *, #1084, .T. ) ;
#1027 = EDGE_LOOP ( 'NONE', ( #1028, #1029, #1030, #1031 ) ) ;
#1028 = ORIENTED_EDGE ( 'NONE', *, *, #1080, .T. ) ;
#1029 = ORIENTED_EDGE ( 'NONE', *, *, #905, .T. ) ;
#1030 = ORIENTED_EDGE ( 'NONE', *, *, #936, .F. ) ;
#1031 = ORIENTED_EDGE ( 'NONE', *, *, #945, .T. ) ;
#1032 = ADVANCED_FACE ( 'NONE', ( #5807 ), #5806, .F. ) ;
#1033 = EDGE_LOOP ( 'NONE', ( #1034, #1035, #1011, #1014 ) ) ;
#1034 = ORIENTED_EDGE ( 'NONE', *, *, #1063, .T. ) ;
#1035 = ORIENTED_EDGE ( 'NONE', *, *, #1009, .F. ) ;
#1036 = ORIENTED_EDGE ( 'NONE', *, *, #989, .F. ) ;
#1037 = ORIENTED_EDGE ( 'NONE', *, *, #895, .F. ) ;
#1038 = ADVANCED_FACE ( 'NONE', ( #5800 ), #5799, .F. ) ;
#1039 = EDGE_CURVE ( 'NONE', #1042, #1045, #5859, .T. ) ;
#1040 = ORIENTED_EDGE ( 'NONE', *, *, #1041, .F. ) ;
#1041 = EDGE_CURVE ( 'NONE', #1085, #1045, #5855, .T. ) ;
#1042 = VERTEX_POINT ( 'NONE', #5850 ) ;
#1043 = VERTEX_POINT ( 'NONE', #5849 ) ;
#1044 = ORIENTED_EDGE ( 'NONE', *, *, #1039, .T. ) ;
#1045 = VERTEX_POINT ( 'NONE', #5848 ) ;
#1046 = ORIENTED_EDGE ( 'NONE', *, *, #1047, .T. ) ;
#1047 = EDGE_CURVE ( 'NONE', #1048, #1049, #5847, .T. ) ;
#1048 = VERTEX_POINT ( 'NONE', #5842 ) ;
#1049 = VERTEX_POINT ( 'NONE', #5841 ) ;
#1050 = ORIENTED_EDGE ( 'NONE', *, *, #1051, .T. ) ;
#1051 = EDGE_CURVE ( 'NONE', #1049, #1052, #5840, .T. ) ;
#1052 = VERTEX_POINT ( 'NONE', #5836 ) ;
#1053 = ORIENTED_EDGE ( 'NONE', *, *, #1054, .T. ) ;
#1054 = EDGE_CURVE ( 'NONE', #1052, #1055, #5835, .T. ) ;
#1055 = VERTEX_POINT ( 'NONE', #5830 ) ;
#1056 = ORIENTED_EDGE ( 'NONE', *, *, #1057, .F. ) ;
#1057 = EDGE_CURVE ( 'NONE', #1048, #1055, #5829, .T. ) ;
#1058 = ADVANCED_FACE ( 'NONE', ( #5890 ), #5888, .T. ) ;
#1059 = EDGE_LOOP ( 'NONE', ( #1060, #1115, #1118, #1121 ) ) ;
#1060 = ORIENTED_EDGE ( 'NONE', *, *, #1047, .F. ) ;
#1061 = ADVANCED_FACE ( 'NONE', ( #5884, #5883 ), #5882, .T. ) ;
#1062 = ORIENTED_EDGE ( 'NONE', *, *, #1063, .F. ) ;
#1063 = EDGE_CURVE ( 'NONE', #1064, #1065, #5876, .T. ) ;
#1064 = VERTEX_POINT ( 'NONE', #5917 ) ;
#1065 = VERTEX_POINT ( 'NONE', #5916 ) ;
#1066 = ORIENTED_EDGE ( 'NONE', *, *, #1067, .F. ) ;
#1067 = EDGE_CURVE ( 'NONE', #1068, #1064, #5915, .T. ) ;
#1068 = VERTEX_POINT ( 'NONE', #5910 ) ;
#1069 = ORIENTED_EDGE ( 'NONE', *, *, #1070, .T. ) ;
#1070 = EDGE_CURVE ( 'NONE', #1068, #1071, #5909, .T. ) ;
#1071 = VERTEX_POINT ( 'NONE', #5905 ) ;
#1072 = ORIENTED_EDGE ( 'NONE', *, *, #1073, .F. ) ;
#1073 = EDGE_CURVE ( 'NONE', #1065, #1071, #5903, .T. ) ;
#1074 = EDGE_LOOP ( 'NONE', ( #1100, #1104, #1107, #1110, #1113, #1160, #1163, #1079 ) ) ;
#1075 = ADVANCED_FACE ( 'NONE', ( #5904 ), #5898, .F. ) ;
#1076 = EDGE_LOOP ( 'NONE', ( #1077, #1078, #1001 ) ) ;
#1077 = ORIENTED_EDGE ( 'NONE', *, *, #1073, .T. ) ;
#1078 = ORIENTED_EDGE ( 'NONE', *, *, #1000, .F. ) ;
#1079 = ORIENTED_EDGE ( 'NONE', *, *, #1080, .F. ) ;
#1080 = EDGE_CURVE ( 'NONE', #1102, #1165, #5962, .T. ) ;
#1081 = ADVANCED_FACE ( 'NONE', ( #5958 ), #5957, .T. ) ;
#1082 = EDGE_LOOP ( 'NONE', ( #1128, #1132, #1135, #1138 ) ) ;
#1083 = ORIENTED_EDGE ( 'NONE', *, *, #1084, .F. ) ;
#1084 = EDGE_CURVE ( 'NONE', #1042, #1043, #5951, .T. ) ;
#1085 = VERTEX_POINT ( 'NONE', #5947 ) ;
#1086 = ORIENTED_EDGE ( 'NONE', *, *, #1087, .F. ) ;
#1087 = EDGE_CURVE ( 'NONE', #1043, #1085, #5946, .T. ) ;
#1088 = ADVANCED_FACE ( 'NONE', ( #5942 ), #5941, .F. ) ;
#1089 = EDGE_LOOP ( 'NONE', ( #1090, #1094, #1097, #1142, #1145, #1148, #1151, #1154 ) ) ;
#1090 = ORIENTED_EDGE ( 'NONE', *, *, #1091, .F. ) ;
#1091 = EDGE_CURVE ( 'NONE', #1092, #1093, #5940, .T. ) ;
#1092 = VERTEX_POINT ( 'NONE', #5931 ) ;
#1093 = VERTEX_POINT ( 'NONE', #5930 ) ;
#1094 = ORIENTED_EDGE ( 'NONE', *, *, #1095, .T. ) ;
#1095 = EDGE_CURVE ( 'NONE', #1092, #1096, #5991, .T. ) ;
#1096 = VERTEX_POINT ( 'NONE', #5987 ) ;
#1097 = ORIENTED_EDGE ( 'NONE', *, *, #1098, .T. ) ;
#1098 = EDGE_CURVE ( 'NONE', #1096, #1099, #5986, .T. ) ;
#1099 = VERTEX_POINT ( 'NONE', #5981 ) ;
#1100 = ORIENTED_EDGE ( 'NONE', *, *, #1101, .T. ) ;
#1101 = EDGE_CURVE ( 'NONE', #1102, #1103, #5980, .T. ) ;
#1102 = VERTEX_POINT ( 'NONE', #5975 ) ;
#1103 = VERTEX_POINT ( 'NONE', #5974 ) ;
#1104 = ORIENTED_EDGE ( 'NONE', *, *, #1105, .T. ) ;
#1105 = EDGE_CURVE ( 'NONE', #1103, #1106, #5973, .T. ) ;
#1106 = VERTEX_POINT ( 'NONE', #5969 ) ;
#1107 = ORIENTED_EDGE ( 'NONE', *, *, #1108, .F. ) ;
#1108 = EDGE_CURVE ( 'NONE', #1109, #1106, #5968, .T. ) ;
#1109 = VERTEX_POINT ( 'NONE', #5963 ) ;
#1110 = ORIENTED_EDGE ( 'NONE', *, *, #1111, .F. ) ;
#1111 = EDGE_CURVE ( 'NONE', #1112, #1109, #6024, .T. ) ;
#1112 = VERTEX_POINT ( 'NONE', #6020 ) ;
#1113 = ORIENTED_EDGE ( 'NONE', *, *, #1114, .F. ) ;
#1114 = EDGE_CURVE ( 'NONE', #1159, #1112, #6019, .T. ) ;
#1115 = ORIENTED_EDGE ( 'NONE', *, *, #1116, .T. ) ;
#1116 = EDGE_CURVE ( 'NONE', #1048, #1117, #6014, .T. ) ;
#1117 = VERTEX_POINT ( 'NONE', #6009 ) ;
#1118 = ORIENTED_EDGE ( 'NONE', *, *, #1119, .F. ) ;
#1119 = EDGE_CURVE ( 'NONE', #1120, #1117, #6008, .T. ) ;
#1120 = VERTEX_POINT ( 'NONE', #6003 ) ;
#1121 = ORIENTED_EDGE ( 'NONE', *, *, #1122, .F. ) ;
#1122 = EDGE_CURVE ( 'NONE', #1049, #1120, #6002, .T. ) ;
#1123 = VERTEX_POINT ( 'NONE', #5997 ) ;
#1124 = ORIENTED_EDGE ( 'NONE', *, *, #1125, .T. ) ;
#1125 = EDGE_CURVE ( 'NONE', #1207, #1131, #5996, .T. ) ;
#1126 = ORIENTED_EDGE ( 'NONE', *, *, #1129, .F. ) ;
#1127 = ORIENTED_EDGE ( 'NONE', *, *, #1272, .F. ) ;
#1128 = ORIENTED_EDGE ( 'NONE', *, *, #1129, .T. ) ;
#1129 = EDGE_CURVE ( 'NONE', #1130, #1131, #5992, .T. ) ;
#1130 = VERTEX_POINT ( 'NONE', #6052 ) ;
#1131 = VERTEX_POINT ( 'NONE', #6051 ) ;
#1132 = ORIENTED_EDGE ( 'NONE', *, *, #1133, .T. ) ;
#1133 = EDGE_CURVE ( 'NONE', #1131, #1134, #6050, .T. ) ;
#1134 = VERTEX_POINT ( 'NONE', #6046 ) ;
#1135 = ORIENTED_EDGE ( 'NONE', *, *, #1136, .T. ) ;
#1136 = EDGE_CURVE ( 'NONE', #1134, #1137, #6045, .T. ) ;
#1137 = VERTEX_POINT ( 'NONE', #6040 ) ;
#1138 = ORIENTED_EDGE ( 'NONE', *, *, #1139, .F. ) ;
#1139 = EDGE_CURVE ( 'NONE', #1130, #1137, #6039, .T. ) ;
#1140 = ADVANCED_FACE ( 'NONE', ( #6035 ), #6033, .T. ) ;
#1141 = EDGE_LOOP ( 'NONE', ( #1046, #1050, #1053, #1056 ) ) ;
#1142 = ORIENTED_EDGE ( 'NONE', *, *, #1143, .T. ) ;
#1143 = EDGE_CURVE ( 'NONE', #1099, #1144, #6034, .T. ) ;
#1144 = VERTEX_POINT ( 'NONE', #6025 ) ;
#1145 = ORIENTED_EDGE ( 'NONE', *, *, #1146, .F. ) ;
#1146 = EDGE_CURVE ( 'NONE', #1147, #1144, #6086, .T. ) ;
#1147 = VERTEX_POINT ( 'NONE', #6081 ) ;
#1148 = ORIENTED_EDGE ( 'NONE', *, *, #1149, .T. ) ;
#1149 = EDGE_CURVE ( 'NONE', #1147, #1150, #6080, .T. ) ;
#1150 = VERTEX_POINT ( 'NONE', #6076 ) ;
#1151 = ORIENTED_EDGE ( 'NONE', *, *, #1152, .T. ) ;
#1152 = EDGE_CURVE ( 'NONE', #1150, #1153, #6075, .T. ) ;
#1153 = VERTEX_POINT ( 'NONE', #6070 ) ;
#1154 = ORIENTED_EDGE ( 'NONE', *, *, #1155, .F. ) ;
#1155 = EDGE_CURVE ( 'NONE', #1093, #1153, #6069, .T. ) ;
#1156 = EDGE_LOOP ( 'NONE', ( #1062, #1066, #1069, #1072 ) ) ;
#1157 = ADVANCED_FACE ( 'NONE', ( #6065 ), #6064, .F. ) ;
#1158 = EDGE_LOOP ( 'NONE', ( #1083, #1044, #1040, #1086 ) ) ;
#1159 = VERTEX_POINT ( 'NONE', #6059 ) ;
#1160 = ORIENTED_EDGE ( 'NONE', *, *, #1161, .T. ) ;
#1161 = EDGE_CURVE ( 'NONE', #1159, #1162, #6058, .T. ) ;
#1162 = VERTEX_POINT ( 'NONE', #6119 ) ;
#1163 = ORIENTED_EDGE ( 'NONE', *, *, #1164, .T. ) ;
#1164 = EDGE_CURVE ( 'NONE', #1162, #1165, #6118, .T. ) ;
#1165 = VERTEX_POINT ( 'NONE', #6113 ) ;
#1166 = ORIENTED_EDGE ( 'NONE', *, *, #1167, .T. ) ;
#1167 = EDGE_CURVE ( 'NONE', #1198, #1168, #6112, .T. ) ;
#1168 = VERTEX_POINT ( 'NONE', #6108 ) ;
#1169 = ORIENTED_EDGE ( 'NONE', *, *, #1170, .T. ) ;
#1170 = EDGE_CURVE ( 'NONE', #1168, #1171, #6106, .T. ) ;
#1171 = VERTEX_POINT ( 'NONE', #6105 ) ;
#1172 = ORIENTED_EDGE ( 'NONE', *, *, #1173, .T. ) ;
#1173 = EDGE_CURVE ( 'NONE', #1171, #1236, #6107, .T. ) ;
#1174 = ADVANCED_FACE ( 'NONE', ( #6141 ), #6139, .F. ) ;
#1175 = EDGE_LOOP ( 'NONE', ( #1176, #1178, #1181, #1411 ) ) ;
#1176 = ORIENTED_EDGE ( 'NONE', *, *, #1177, .F. ) ;
#1177 = EDGE_CURVE ( 'NONE', #1247, #1239, #6134, .T. ) ;
#1178 = ORIENTED_EDGE ( 'NONE', *, *, #1179, .T. ) ;
#1179 = EDGE_CURVE ( 'NONE', #1247, #1180, #6128, .T. ) ;
#1180 = VERTEX_POINT ( 'NONE', #6129 ) ;
#1181 = ORIENTED_EDGE ( 'NONE', *, *, #1410, .F. ) ;
#1182 = ORIENTED_EDGE ( 'NONE', *, *, #1742, .T. ) ;
#1183 = VERTEX_POINT ( 'NONE', #6123 ) ;
#1184 = VERTEX_POINT ( 'NONE', #6122 ) ;
#1185 = ORIENTED_EDGE ( 'NONE', *, *, #1186, .T. ) ;
#1186 = EDGE_CURVE ( 'NONE', #1183, #1187, #6190, .T. ) ;
#1187 = VERTEX_POINT ( 'NONE', #6186 ) ;
#1188 = ORIENTED_EDGE ( 'NONE', *, *, #1189, .T. ) ;
#1189 = EDGE_CURVE ( 'NONE', #1187, #1190, #6185, .T. ) ;
#1190 = VERTEX_POINT ( 'NONE', #6180 ) ;
#1191 = ORIENTED_EDGE ( 'NONE', *, *, #1192, .F. ) ;
#1192 = EDGE_CURVE ( 'NONE', #1184, #1190, #6179, .T. ) ;
#1193 = ADVANCED_FACE ( 'NONE', ( #6175 ), #6173, .T. ) ;
#1194 = EDGE_LOOP ( 'NONE', ( #1195, #1211, #1214, #1217 ) ) ;
#1195 = ORIENTED_EDGE ( 'NONE', *, *, #1196, .F. ) ;
#1196 = EDGE_CURVE ( 'NONE', #1197, #1198, #6169, .T. ) ;
#1197 = VERTEX_POINT ( 'NONE', #6164 ) ;
#1198 = VERTEX_POINT ( 'NONE', #6163 ) ;
#1199 = EDGE_CURVE ( 'NONE', #1200, #1230, #6162, .T. ) ;
#1200 = VERTEX_POINT ( 'NONE', #6220 ) ;
#1201 = ORIENTED_EDGE ( 'NONE', *, *, #1202, .F. ) ;
#1202 = EDGE_CURVE ( 'NONE', #1227, #1200, #6219, .T. ) ;
#1203 = ADVANCED_FACE ( 'NONE', ( #6214 ), #6213, .T. ) ;
#1204 = EDGE_LOOP ( 'NONE', ( #1205, #1124, #1126, #1127 ) ) ;
#1205 = ORIENTED_EDGE ( 'NONE', *, *, #1206, .F. ) ;
#1206 = EDGE_CURVE ( 'NONE', #1207, #1123, #6207, .T. ) ;
#1207 = VERTEX_POINT ( 'NONE', #6203 ) ;
#1208 = ORIENTED_EDGE ( 'NONE', *, *, #1271, .T. ) ;
#1209 = ORIENTED_EDGE ( 'NONE', *, *, #1277, .F. ) ;
#1210 = EDGE_LOOP ( 'NONE', ( #1209, #1208, #1280, #1282 ) ) ;
#1211 = ORIENTED_EDGE ( 'NONE', *, *, #1212, .T. ) ;
#1212 = EDGE_CURVE ( 'NONE', #1197, #1213, #6202, .T. ) ;
#1213 = VERTEX_POINT ( 'NONE', #6197 ) ;
#1214 = ORIENTED_EDGE ( 'NONE', *, *, #1215, .F. ) ;
#1215 = EDGE_CURVE ( 'NONE', #1216, #1213, #6196, .T. ) ;
#1216 = VERTEX_POINT ( 'NONE', #6191 ) ;
#1217 = ORIENTED_EDGE ( 'NONE', *, *, #1218, .F. ) ;
#1218 = EDGE_CURVE ( 'NONE', #1198, #1216, #6254, .T. ) ;
#1219 = ADVANCED_FACE ( 'NONE', ( #6253 ), #6251, .T. ) ;
#1220 = EDGE_LOOP ( 'NONE', ( #1221, #1222, #1240, #1243 ) ) ;
#1221 = ORIENTED_EDGE ( 'NONE', *, *, #1212, .F. ) ;
#1222 = ORIENTED_EDGE ( 'NONE', *, *, #1223, .F. ) ;
#1223 = EDGE_CURVE ( 'NONE', #1224, #1197, #6236, .T. ) ;
#1224 = VERTEX_POINT ( 'NONE', #6232 ) ;
#1225 = EDGE_CURVE ( 'NONE', #1226, #1227, #6231, .T. ) ;
#1226 = VERTEX_POINT ( 'NONE', #6226 ) ;
#1227 = VERTEX_POINT ( 'NONE', #6225 ) ;
#1228 = ORIENTED_EDGE ( 'NONE', *, *, #1229, .T. ) ;
#1229 = EDGE_CURVE ( 'NONE', #1226, #1230, #6224, .T. ) ;
#1230 = VERTEX_POINT ( 'NONE', #6282 ) ;
#1231 = ORIENTED_EDGE ( 'NONE', *, *, #1199, .F. ) ;
#1232 = ADVANCED_FACE ( 'NONE', ( #6281 ), #6279, .T. ) ;
#1233 = EDGE_LOOP ( 'NONE', ( #1234, #1237, #1245, #1248, #1250, #1166, #1169, #1172 ) ) ;
#1234 = ORIENTED_EDGE ( 'NONE', *, *, #1235, .T. ) ;
#1235 = EDGE_CURVE ( 'NONE', #1236, #1224, #6274, .T. ) ;
#1236 = VERTEX_POINT ( 'NONE', #6275 ) ;
#1237 = ORIENTED_EDGE ( 'NONE', *, *, #1238, .T. ) ;
#1238 = EDGE_CURVE ( 'NONE', #1224, #1239, #6269, .T. ) ;
#1239 = VERTEX_POINT ( 'NONE', #6265 ) ;
#1240 = ORIENTED_EDGE ( 'NONE', *, *, #1241, .T. ) ;
#1241 = EDGE_CURVE ( 'NONE', #1224, #1242, #6264, .T. ) ;
#1242 = VERTEX_POINT ( 'NONE', #6259 ) ;
#1243 = ORIENTED_EDGE ( 'NONE', *, *, #1244, .F. ) ;
#1244 = EDGE_CURVE ( 'NONE', #1213, #1242, #6258, .T. ) ;
#1245 = ORIENTED_EDGE ( 'NONE', *, *, #1246, .T. ) ;
#1246 = EDGE_CURVE ( 'NONE', #1239, #1247, #6318, .T. ) ;
#1247 = VERTEX_POINT ( 'NONE', #6313 ) ;
#1248 = ORIENTED_EDGE ( 'NONE', *, *, #1249, .F. ) ;
#1249 = EDGE_CURVE ( 'NONE', #1197, #1247, #6312, .T. ) ;
#1250 = ORIENTED_EDGE ( 'NONE', *, *, #1196, .T. ) ;
#1251 = ADVANCED_FACE ( 'NONE', ( #6308, #6307 ), #6306, .T. ) ;
#1252 = EDGE_LOOP ( 'NONE', ( #1253, #1255 ) ) ;
#1253 = ORIENTED_EDGE ( 'NONE', *, *, #1254, .F. ) ;
#1254 = EDGE_CURVE ( 'NONE', #659, #697, #6301, .T. ) ;
#1255 = ORIENTED_EDGE ( 'NONE', *, *, #658, .F. ) ;
#1256 = EDGE_LOOP ( 'NONE', ( #1257, #1308 ) ) ;
#1257 = ORIENTED_EDGE ( 'NONE', *, *, #232, .T. ) ;
#1258 = EDGE_LOOP ( 'NONE', ( #1310, #1311, #1313, #1314 ) ) ;
#1259 = ORIENTED_EDGE ( 'NONE', *, *, #1012, .T. ) ;
#1260 = ORIENTED_EDGE ( 'NONE', *, *, #1000, .T. ) ;
#1261 = ORIENTED_EDGE ( 'NONE', *, *, #1070, .F. ) ;
#1262 = ADVANCED_FACE ( 'NONE', ( #6296 ), #6295, .F. ) ;
#1263 = EDGE_LOOP ( 'NONE', ( #1264, #1265, #1266, #1267 ) ) ;
#1264 = ORIENTED_EDGE ( 'NONE', *, *, #1039, .F. ) ;
#1265 = ORIENTED_EDGE ( 'NONE', *, *, #1025, .F. ) ;
#1266 = ORIENTED_EDGE ( 'NONE', *, *, #1087, .T. ) ;
#1267 = ORIENTED_EDGE ( 'NONE', *, *, #1268, .F. ) ;
#1268 = EDGE_CURVE ( 'NONE', #1045, #1085, #6289, .T. ) ;
#1269 = ADVANCED_FACE ( 'NONE', ( #6348 ), #6347, .F. ) ;
#1270 = EDGE_LOOP ( 'NONE', ( #1320, #1321, #1322, #1324 ) ) ;
#1271 = EDGE_CURVE ( 'NONE', #1278, #1052, #6341, .T. ) ;
#1272 = EDGE_CURVE ( 'NONE', #1123, #1130, #6337, .T. ) ;
#1273 = ADVANCED_FACE ( 'NONE', ( #6333 ), #6332, .T. ) ;
#1274 = EDGE_LOOP ( 'NONE', ( #1275, #1185, #1188, #1191 ) ) ;
#1275 = ORIENTED_EDGE ( 'NONE', *, *, #1276, .F. ) ;
#1276 = EDGE_CURVE ( 'NONE', #1183, #1184, #6326, .T. ) ;
#1277 = EDGE_CURVE ( 'NONE', #1278, #1279, #6322, .T. ) ;
#1278 = VERTEX_POINT ( 'NONE', #6380 ) ;
#1279 = VERTEX_POINT ( 'NONE', #6379 ) ;
#1280 = ORIENTED_EDGE ( 'NONE', *, *, #1281, .F. ) ;
#1281 = EDGE_CURVE ( 'NONE', #1055, #1052, #6378, .T. ) ;
#1282 = ORIENTED_EDGE ( 'NONE', *, *, #1283, .F. ) ;
#1283 = EDGE_CURVE ( 'NONE', #1279, #1055, #6373, .T. ) ;
#1284 = ADVANCED_FACE ( 'NONE', ( #6368 ), #6367, .F. ) ;
#1285 = EDGE_LOOP ( 'NONE', ( #1286, #1228, #1231, #1201 ) ) ;
#1286 = ORIENTED_EDGE ( 'NONE', *, *, #1225, .F. ) ;
#1287 = ADVANCED_FACE ( 'NONE', ( #6362 ), #6361, .T. ) ;
#1288 = EDGE_LOOP ( 'NONE', ( #1289, #1290 ) ) ;
#1289 = ORIENTED_EDGE ( 'NONE', *, *, #881, .T. ) ;
#1290 = ORIENTED_EDGE ( 'NONE', *, *, #1362, .T. ) ;
#1291 = ADVANCED_FACE ( 'NONE', ( #6355, #6354 ), #6360, .F. ) ;
#1292 = EDGE_LOOP ( 'NONE', ( #1293, #1295 ) ) ;
#1293 = ORIENTED_EDGE ( 'NONE', *, *, #1294, .F. ) ;
#1294 = EDGE_CURVE ( 'NONE', #737, #681, #6416, .T. ) ;
#1295 = ORIENTED_EDGE ( 'NONE', *, *, #683, .F. ) ;
#1296 = ORIENTED_EDGE ( 'NONE', *, *, #1312, .T. ) ;
#1297 = ORIENTED_EDGE ( 'NONE', *, *, #692, .T. ) ;
#1298 = ADVANCED_FACE ( 'NONE', ( #6411 ), #6410, .T. ) ;
#1299 = EDGE_LOOP ( 'NONE', ( #1300, #1302 ) ) ;
#1300 = ORIENTED_EDGE ( 'NONE', *, *, #1301, .T. ) ;
#1301 = EDGE_CURVE ( 'NONE', #745, #744, #6405, .T. ) ;
#1302 = ORIENTED_EDGE ( 'NONE', *, *, #743, .T. ) ;
#1303 = ADVANCED_FACE ( 'NONE', ( #6400 ), #6399, .T. ) ;
#1304 = EDGE_LOOP ( 'NONE', ( #1305, #1306, #1307, #1360, #1361, #1363 ) ) ;
#1305 = ORIENTED_EDGE ( 'NONE', *, *, #747, .F. ) ;
#1306 = ORIENTED_EDGE ( 'NONE', *, *, #1301, .F. ) ;
#1307 = ORIENTED_EDGE ( 'NONE', *, *, #688, .T. ) ;
#1308 = ORIENTED_EDGE ( 'NONE', *, *, #1654, .T. ) ;
#1309 = ADVANCED_FACE ( 'NONE', ( #6393 ), #6392, .F. ) ;
#1310 = ORIENTED_EDGE ( 'NONE', *, *, #696, .F. ) ;
#1311 = ORIENTED_EDGE ( 'NONE', *, *, #1312, .F. ) ;
#1312 = EDGE_CURVE ( 'NONE', #694, #693, #6386, .T. ) ;
#1313 = ORIENTED_EDGE ( 'NONE', *, *, #661, .T. ) ;
#1314 = ORIENTED_EDGE ( 'NONE', *, *, #1254, .T. ) ;
#1315 = ADVANCED_FACE ( 'NONE', ( #6495, #6494 ), #6493, .T. ) ;
#1316 = EDGE_LOOP ( 'NONE', ( #1317, #1318 ) ) ;
#1317 = ORIENTED_EDGE ( 'NONE', *, *, #1108, .T. ) ;
#1318 = ORIENTED_EDGE ( 'NONE', *, *, #959, .T. ) ;
#1319 = EDGE_LOOP ( 'NONE', ( #1296, #1297 ) ) ;
#1320 = ORIENTED_EDGE ( 'NONE', *, *, #669, .F. ) ;
#1321 = ORIENTED_EDGE ( 'NONE', *, *, #939, .T. ) ;
#1322 = ORIENTED_EDGE ( 'NONE', *, *, #1323, .T. ) ;
#1323 = EDGE_CURVE ( 'NONE', #882, #686, #6488, .T. ) ;
#1324 = ORIENTED_EDGE ( 'NONE', *, *, #685, .T. ) ;
#1325 = EDGE_CURVE ( 'NONE', #1326, #1404, #6483, .T. ) ;
#1326 = VERTEX_POINT ( 'NONE', #6479 ) ;
#1327 = ORIENTED_EDGE ( 'NONE', *, *, #1328, .F. ) ;
#1328 = EDGE_CURVE ( 'NONE', #1329, #1326, #6478, .T. ) ;
#1329 = VERTEX_POINT ( 'NONE', #6474 ) ;
#1330 = ORIENTED_EDGE ( 'NONE', *, *, #1331, .F. ) ;
#1331 = EDGE_CURVE ( 'NONE', #1345, #1329, #6473, .T. ) ;
#1332 = ADVANCED_FACE ( 'NONE', ( #6469 ), #6468, .F. ) ;
#1333 = ORIENTED_EDGE ( 'NONE', *, *, #754, .T. ) ;
#1334 = ORIENTED_EDGE ( 'NONE', *, *, #1335, .T. ) ;
#1335 = EDGE_CURVE ( 'NONE', #598, #704, #6527, .T. ) ;
#1336 = ADVANCED_FACE ( 'NONE', ( #6522, #6521 ), #6520, .T. ) ;
#1337 = EDGE_LOOP ( 'NONE', ( #1338, #1340 ) ) ;
#1338 = ORIENTED_EDGE ( 'NONE', *, *, #1339, .T. ) ;
#1339 = EDGE_CURVE ( 'NONE', #595, #594, #6515, .T. ) ;
#1340 = ORIENTED_EDGE ( 'NONE', *, *, #593, .T. ) ;
#1341 = EDGE_LOOP ( 'NONE', ( #1342, #1346, #1402, #1405, #1327, #1330 ) ) ;
#1342 = ORIENTED_EDGE ( 'NONE', *, *, #1343, .F. ) ;
#1343 = EDGE_CURVE ( 'NONE', #1344, #1345, #6510, .T. ) ;
#1344 = VERTEX_POINT ( 'NONE', #6506 ) ;
#1345 = VERTEX_POINT ( 'NONE', #6505 ) ;
#1346 = ORIENTED_EDGE ( 'NONE', *, *, #1400, .F. ) ;
#1347 = EDGE_LOOP ( 'NONE', ( #1348, #1349 ) ) ;
#1348 = ORIENTED_EDGE ( 'NONE', *, *, #1041, .T. ) ;
#1349 = ORIENTED_EDGE ( 'NONE', *, *, #1268, .T. ) ;
#1350 = ADVANCED_FACE ( 'NONE', ( #6504 ), #6501, .T. ) ;
#1351 = EDGE_LOOP ( 'NONE', ( #1352, #1353, #1354, #1355 ) ) ;
#1352 = ORIENTED_EDGE ( 'NONE', *, *, #680, .F. ) ;
#1353 = ORIENTED_EDGE ( 'NONE', *, *, #964, .T. ) ;
#1354 = ORIENTED_EDGE ( 'NONE', *, *, #739, .T. ) ;
#1355 = ORIENTED_EDGE ( 'NONE', *, *, #1294, .T. ) ;
#1356 = ADVANCED_FACE ( 'NONE', ( #6502 ), #6496, .T. ) ;
#1357 = EDGE_LOOP ( 'NONE', ( #1358, #1359, #1333, #1334 ) ) ;
#1358 = ORIENTED_EDGE ( 'NONE', *, *, #601, .F. ) ;
#1359 = ORIENTED_EDGE ( 'NONE', *, *, #1006, .T. ) ;
#1360 = ORIENTED_EDGE ( 'NONE', *, *, #1323, .F. ) ;
#1361 = ORIENTED_EDGE ( 'NONE', *, *, #1362, .F. ) ;
#1362 = EDGE_CURVE ( 'NONE', #666, #882, #6555, .T. ) ;
#1363 = ORIENTED_EDGE ( 'NONE', *, *, #672, .F. ) ;
#1364 = EDGE_CURVE ( 'NONE', #1445, #1365, #6551, .T. ) ;
#1365 = VERTEX_POINT ( 'NONE', #6546 ) ;
#1366 = ORIENTED_EDGE ( 'NONE', *, *, #1367, .F. ) ;
#1367 = EDGE_CURVE ( 'NONE', #1442, #1365, #6545, .T. ) ;
#1368 = ADVANCED_FACE ( 'NONE', ( #6541 ), #6540, .F. ) ;
#1369 = EDGE_LOOP ( 'NONE', ( #1370, #1374, #1377, #1380 ) ) ;
#1370 = ORIENTED_EDGE ( 'NONE', *, *, #1372, .F. ) ;
#1371 = VERTEX_POINT ( 'NONE', #6535 ) ;
#1372 = EDGE_CURVE ( 'NONE', #1371, #1373, #6534, .T. ) ;
#1373 = VERTEX_POINT ( 'NONE', #6529 ) ;
#1374 = ORIENTED_EDGE ( 'NONE', *, *, #1375, .T. ) ;
#1375 = EDGE_CURVE ( 'NONE', #1371, #1376, #6592, .T. ) ;
#1376 = VERTEX_POINT ( 'NONE', #6588 ) ;
#1377 = ORIENTED_EDGE ( 'NONE', *, *, #1378, .T. ) ;
#1378 = EDGE_CURVE ( 'NONE', #1376, #1379, #6587, .T. ) ;
#1379 = VERTEX_POINT ( 'NONE', #6582 ) ;
#1380 = ORIENTED_EDGE ( 'NONE', *, *, #1381, .F. ) ;
#1381 = EDGE_CURVE ( 'NONE', #1373, #1379, #6581, .T. ) ;
#1382 = ADVANCED_FACE ( 'NONE', ( #6577 ), #6575, .F. ) ;
#1383 = EDGE_LOOP ( 'NONE', ( #1384, #1451, #1454, #1457, #1460, #1463, #1387, #1390, #1393, #1396 ) ) ;
#1384 = ORIENTED_EDGE ( 'NONE', *, *, #1385, .F. ) ;
#1385 = EDGE_CURVE ( 'NONE', #1386, #1450, #6570, .T. ) ;
#1386 = VERTEX_POINT ( 'NONE', #6566 ) ;
#1387 = ORIENTED_EDGE ( 'NONE', *, *, #1388, .T. ) ;
#1388 = EDGE_CURVE ( 'NONE', #1465, #1389, #6564, .T. ) ;
#1389 = VERTEX_POINT ( 'NONE', #6565 ) ;
#1390 = ORIENTED_EDGE ( 'NONE', *, *, #1391, .F. ) ;
#1391 = EDGE_CURVE ( 'NONE', #1392, #1389, #6623, .T. ) ;
#1392 = VERTEX_POINT ( 'NONE', #6619 ) ;
#1393 = ORIENTED_EDGE ( 'NONE', *, *, #1394, .T. ) ;
#1394 = EDGE_CURVE ( 'NONE', #1392, #1395, #6618, .T. ) ;
#1395 = VERTEX_POINT ( 'NONE', #6613 ) ;
#1396 = ORIENTED_EDGE ( 'NONE', *, *, #1397, .F. ) ;
#1397 = EDGE_CURVE ( 'NONE', #1450, #1395, #6612, .T. ) ;
#1398 = ADVANCED_FACE ( 'NONE', ( #6608 ), #6606, .F. ) ;
#1399 = EDGE_LOOP ( 'NONE', ( #1546, #1544, #1558, #1560, #1563, #1566, #1569, #1615 ) ) ;
#1400 = EDGE_CURVE ( 'NONE', #1401, #1344, #6607, .T. ) ;
#1401 = VERTEX_POINT ( 'NONE', #6598 ) ;
#1402 = ORIENTED_EDGE ( 'NONE', *, *, #1403, .F. ) ;
#1403 = EDGE_CURVE ( 'NONE', #1404, #1401, #6597, .T. ) ;
#1404 = VERTEX_POINT ( 'NONE', #6593 ) ;
#1405 = ORIENTED_EDGE ( 'NONE', *, *, #1325, .F. ) ;
#1406 = ORIENTED_EDGE ( 'NONE', *, *, #1407, .F. ) ;
#1407 = EDGE_CURVE ( 'NONE', #1485, #1491, #6655, .T. ) ;
#1408 = ADVANCED_FACE ( 'NONE', ( #6651 ), #6650, .F. ) ;
#1409 = EDGE_LOOP ( 'NONE', ( #1439, #1443, #1446, #1366 ) ) ;
#1410 = EDGE_CURVE ( 'NONE', #1470, #1180, #6644, .T. ) ;
#1411 = ORIENTED_EDGE ( 'NONE', *, *, #1412, .F. ) ;
#1412 = EDGE_CURVE ( 'NONE', #1239, #1470, #6640, .T. ) ;
#1413 = ADVANCED_FACE ( 'NONE', ( #6635 ), #6634, .T. ) ;
#1414 = EDGE_LOOP ( 'NONE', ( #1415, #1419, #1422, #1425 ) ) ;
#1415 = ORIENTED_EDGE ( 'NONE', *, *, #1416, .F. ) ;
#1416 = EDGE_CURVE ( 'NONE', #1417, #1418, #6627, .T. ) ;
#1417 = VERTEX_POINT ( 'NONE', #6628 ) ;
#1418 = VERTEX_POINT ( 'NONE', #6686 ) ;
#1419 = ORIENTED_EDGE ( 'NONE', *, *, #1420, .T. ) ;
#1420 = EDGE_CURVE ( 'NONE', #1417, #1421, #6685, .T. ) ;
#1421 = VERTEX_POINT ( 'NONE', #6681 ) ;
#1422 = ORIENTED_EDGE ( 'NONE', *, *, #1423, .F. ) ;
#1423 = EDGE_CURVE ( 'NONE', #1424, #1421, #6680, .T. ) ;
#1424 = VERTEX_POINT ( 'NONE', #6675 ) ;
#1425 = ORIENTED_EDGE ( 'NONE', *, *, #1426, .F. ) ;
#1426 = EDGE_CURVE ( 'NONE', #1418, #1424, #6674, .T. ) ;
#1427 = ADVANCED_FACE ( 'NONE', ( #6670 ), #6668, .T. ) ;
#1428 = EDGE_LOOP ( 'NONE', ( #1429, #1430, #1433, #1436 ) ) ;
#1429 = ORIENTED_EDGE ( 'NONE', *, *, #1423, .T. ) ;
#1430 = ORIENTED_EDGE ( 'NONE', *, *, #1431, .T. ) ;
#1431 = EDGE_CURVE ( 'NONE', #1421, #1432, #6669, .T. ) ;
#1432 = VERTEX_POINT ( 'NONE', #6660 ) ;
#1433 = ORIENTED_EDGE ( 'NONE', *, *, #1434, .T. ) ;
#1434 = EDGE_CURVE ( 'NONE', #1432, #1435, #6659, .T. ) ;
#1435 = VERTEX_POINT ( 'NONE', #6718 ) ;
#1436 = ORIENTED_EDGE ( 'NONE', *, *, #1437, .F. ) ;
#1437 = EDGE_CURVE ( 'NONE', #1424, #1435, #6717, .T. ) ;
#1438 = EDGE_LOOP ( 'NONE', ( #1472, #1476, #1479, #1468 ) ) ;
#1439 = ORIENTED_EDGE ( 'NONE', *, *, #1440, .F. ) ;
#1440 = EDGE_CURVE ( 'NONE', #1441, #1442, #6713, .T. ) ;
#1441 = VERTEX_POINT ( 'NONE', #6708 ) ;
#1442 = VERTEX_POINT ( 'NONE', #6707 ) ;
#1443 = ORIENTED_EDGE ( 'NONE', *, *, #1444, .T. ) ;
#1444 = EDGE_CURVE ( 'NONE', #1441, #1445, #6706, .T. ) ;
#1445 = VERTEX_POINT ( 'NONE', #6702 ) ;
#1446 = ORIENTED_EDGE ( 'NONE', *, *, #1364, .T. ) ;
#1447 = VERTEX_POINT ( 'NONE', #6701 ) ;
#1448 = ORIENTED_EDGE ( 'NONE', *, *, #1512, .T. ) ;
#1449 = VERTEX_POINT ( 'NONE', #6700 ) ;
#1450 = VERTEX_POINT ( 'NONE', #6699 ) ;
#1451 = ORIENTED_EDGE ( 'NONE', *, *, #1452, .T. ) ;
#1452 = EDGE_CURVE ( 'NONE', #1386, #1453, #6698, .T. ) ;
#1453 = VERTEX_POINT ( 'NONE', #6694 ) ;
#1454 = ORIENTED_EDGE ( 'NONE', *, *, #1455, .T. ) ;
#1455 = EDGE_CURVE ( 'NONE', #1453, #1456, #6692, .T. ) ;
#1456 = VERTEX_POINT ( 'NONE', #6749 ) ;
#1457 = ORIENTED_EDGE ( 'NONE', *, *, #1458, .F. ) ;
#1458 = EDGE_CURVE ( 'NONE', #1459, #1456, #6748, .T. ) ;
#1459 = VERTEX_POINT ( 'NONE', #6744 ) ;
#1460 = ORIENTED_EDGE ( 'NONE', *, *, #1461, .F. ) ;
#1461 = EDGE_CURVE ( 'NONE', #1462, #1459, #6743, .T. ) ;
#1462 = VERTEX_POINT ( 'NONE', #6738 ) ;
#1463 = ORIENTED_EDGE ( 'NONE', *, *, #1464, .F. ) ;
#1464 = EDGE_CURVE ( 'NONE', #1465, #1462, #6737, .T. ) ;
#1465 = VERTEX_POINT ( 'NONE', #6733 ) ;
#1466 = EDGE_CURVE ( 'NONE', #1478, #1467, #6732, .T. ) ;
#1467 = VERTEX_POINT ( 'NONE', #6727 ) ;
#1468 = ORIENTED_EDGE ( 'NONE', *, *, #1469, .F. ) ;
#1469 = EDGE_CURVE ( 'NONE', #1475, #1467, #6726, .T. ) ;
#1470 = VERTEX_POINT ( 'NONE', #6722 ) ;
#1471 = ADVANCED_FACE ( 'NONE', ( #6721 ), #6720, .F. ) ;
#1472 = ORIENTED_EDGE ( 'NONE', *, *, #1473, .F. ) ;
#1473 = EDGE_CURVE ( 'NONE', #1474, #1475, #6782, .T. ) ;
#1474 = VERTEX_POINT ( 'NONE', #6773 ) ;
#1475 = VERTEX_POINT ( 'NONE', #6772 ) ;
#1476 = ORIENTED_EDGE ( 'NONE', *, *, #1477, .T. ) ;
#1477 = EDGE_CURVE ( 'NONE', #1474, #1478, #6771, .T. ) ;
#1478 = VERTEX_POINT ( 'NONE', #6767 ) ;
#1479 = ORIENTED_EDGE ( 'NONE', *, *, #1466, .T. ) ;
#1480 = ADVANCED_FACE ( 'NONE', ( #6766 ), #6764, .F. ) ;
#1481 = EDGE_LOOP ( 'NONE', ( #1482, #1486, #1489, #1406 ) ) ;
#1482 = ORIENTED_EDGE ( 'NONE', *, *, #1483, .F. ) ;
#1483 = EDGE_CURVE ( 'NONE', #1484, #1485, #6760, .T. ) ;
#1484 = VERTEX_POINT ( 'NONE', #6755 ) ;
#1485 = VERTEX_POINT ( 'NONE', #6754 ) ;
#1486 = ORIENTED_EDGE ( 'NONE', *, *, #1487, .T. ) ;
#1487 = EDGE_CURVE ( 'NONE', #1484, #1488, #6753, .T. ) ;
#1488 = VERTEX_POINT ( 'NONE', #6811 ) ;
#1489 = ORIENTED_EDGE ( 'NONE', *, *, #1490, .T. ) ;
#1490 = EDGE_CURVE ( 'NONE', #1488, #1491, #6810, .T. ) ;
#1491 = VERTEX_POINT ( 'NONE', #6805 ) ;
#1492 = ORIENTED_EDGE ( 'NONE', *, *, #1493, .F. ) ;
#1493 = EDGE_CURVE ( 'NONE', #1494, #1582, #6804, .T. ) ;
#1494 = VERTEX_POINT ( 'NONE', #6800 ) ;
#1495 = ORIENTED_EDGE ( 'NONE', *, *, #1496, .T. ) ;
#1496 = EDGE_CURVE ( 'NONE', #1494, #1547, #6799, .T. ) ;
#1497 = EDGE_CURVE ( 'NONE', #1498, #1550, #6794, .T. ) ;
#1498 = VERTEX_POINT ( 'NONE', #6789 ) ;
#1499 = ORIENTED_EDGE ( 'NONE', *, *, #1500, .F. ) ;
#1500 = EDGE_CURVE ( 'NONE', #1501, #1498, #6788, .T. ) ;
#1501 = VERTEX_POINT ( 'NONE', #6784 ) ;
#1502 = ORIENTED_EDGE ( 'NONE', *, *, #1503, .T. ) ;
#1503 = EDGE_CURVE ( 'NONE', #1501, #1504, #6783, .T. ) ;
#1504 = VERTEX_POINT ( 'NONE', #6841 ) ;
#1505 = ORIENTED_EDGE ( 'NONE', *, *, #1506, .F. ) ;
#1506 = EDGE_CURVE ( 'NONE', #1576, #1504, #6840, .T. ) ;
#1507 = ADVANCED_FACE ( 'NONE', ( #6836 ), #6835, .F. ) ;
#1508 = EDGE_LOOP ( 'NONE', ( #1527, #1530, #1533, #1536, #1448, #1513, #1516, #1519, #1522, #1601, #1604, #1607 ) ) ;
#1509 = VERTEX_POINT ( 'NONE', #6830 ) ;
#1510 = VERTEX_POINT ( 'NONE', #6829 ) ;
#1511 = VERTEX_POINT ( 'NONE', #6828 ) ;
#1512 = EDGE_CURVE ( 'NONE', #1447, #1449, #6826, .T. ) ;
#1513 = ORIENTED_EDGE ( 'NONE', *, *, #1514, .F. ) ;
#1514 = EDGE_CURVE ( 'NONE', #1515, #1449, #6827, .T. ) ;
#1515 = VERTEX_POINT ( 'NONE', #6818 ) ;
#1516 = ORIENTED_EDGE ( 'NONE', *, *, #1517, .T. ) ;
#1517 = EDGE_CURVE ( 'NONE', #1515, #1518, #6816, .T. ) ;
#1518 = VERTEX_POINT ( 'NONE', #6817 ) ;
#1519 = ORIENTED_EDGE ( 'NONE', *, *, #1520, .F. ) ;
#1520 = EDGE_CURVE ( 'NONE', #1521, #1518, #6875, .T. ) ;
#1521 = VERTEX_POINT ( 'NONE', #6871 ) ;
#1522 = ORIENTED_EDGE ( 'NONE', *, *, #1600, .F. ) ;
#1523 = VERTEX_POINT ( 'NONE', #6870 ) ;
#1524 = EDGE_CURVE ( 'NONE', #1525, #1526, #6869, .T. ) ;
#1525 = VERTEX_POINT ( 'NONE', #6864 ) ;
#1526 = VERTEX_POINT ( 'NONE', #6863 ) ;
#1527 = ORIENTED_EDGE ( 'NONE', *, *, #1528, .F. ) ;
#1528 = EDGE_CURVE ( 'NONE', #1509, #1529, #6862, .T. ) ;
#1529 = VERTEX_POINT ( 'NONE', #6857 ) ;
#1530 = ORIENTED_EDGE ( 'NONE', *, *, #1531, .T. ) ;
#1531 = EDGE_CURVE ( 'NONE', #1509, #1532, #6856, .T. ) ;
#1532 = VERTEX_POINT ( 'NONE', #6852 ) ;
#1533 = ORIENTED_EDGE ( 'NONE', *, *, #1534, .T. ) ;
#1534 = EDGE_CURVE ( 'NONE', #1532, #1535, #6851, .T. ) ;
#1535 = VERTEX_POINT ( 'NONE', #6846 ) ;
#1536 = ORIENTED_EDGE ( 'NONE', *, *, #1537, .F. ) ;
#1537 = EDGE_CURVE ( 'NONE', #1447, #1535, #6906, .T. ) ;
#1538 = EDGE_CURVE ( 'NONE', #1511, #1539, #6902, .T. ) ;
#1539 = VERTEX_POINT ( 'NONE', #6897 ) ;
#1540 = ORIENTED_EDGE ( 'NONE', *, *, #1541, .F. ) ;
#1541 = EDGE_CURVE ( 'NONE', #1620, #1539, #6896, .T. ) ;
#1542 = ADVANCED_FACE ( 'NONE', ( #6892 ), #6890, .F. ) ;
#1543 = EDGE_LOOP ( 'NONE', ( #1573, #1577, #1580, #1492, #1495, #1548, #1551, #1499, #1502, #1505 ) ) ;
#1544 = ORIENTED_EDGE ( 'NONE', *, *, #1545, .T. ) ;
#1545 = EDGE_CURVE ( 'NONE', #1525, #1510, #6891, .T. ) ;
#1546 = ORIENTED_EDGE ( 'NONE', *, *, #1524, .F. ) ;
#1547 = VERTEX_POINT ( 'NONE', #6882 ) ;
#1548 = ORIENTED_EDGE ( 'NONE', *, *, #1549, .F. ) ;
#1549 = EDGE_CURVE ( 'NONE', #1550, #1547, #6881, .T. ) ;
#1550 = VERTEX_POINT ( 'NONE', #6877 ) ;
#1551 = ORIENTED_EDGE ( 'NONE', *, *, #1497, .F. ) ;
#1552 = ORIENTED_EDGE ( 'NONE', *, *, #1553, .T. ) ;
#1553 = EDGE_CURVE ( 'NONE', #1613, #1554, #6876, .T. ) ;
#1554 = VERTEX_POINT ( 'NONE', #6934 ) ;
#1555 = ORIENTED_EDGE ( 'NONE', *, *, #1556, .T. ) ;
#1556 = EDGE_CURVE ( 'NONE', #1554, #1557, #6933, .T. ) ;
#1557 = VERTEX_POINT ( 'NONE', #6928 ) ;
#1558 = ORIENTED_EDGE ( 'NONE', *, *, #1559, .T. ) ;
#1559 = EDGE_CURVE ( 'NONE', #1510, #1511, #6927, .T. ) ;
#1560 = ORIENTED_EDGE ( 'NONE', *, *, #1561, .F. ) ;
#1561 = EDGE_CURVE ( 'NONE', #1562, #1511, #6922, .T. ) ;
#1562 = VERTEX_POINT ( 'NONE', #6918 ) ;
#1563 = ORIENTED_EDGE ( 'NONE', *, *, #1564, .F. ) ;
#1564 = EDGE_CURVE ( 'NONE', #1565, #1562, #6917, .T. ) ;
#1565 = VERTEX_POINT ( 'NONE', #6912 ) ;
#1566 = ORIENTED_EDGE ( 'NONE', *, *, #1567, .F. ) ;
#1567 = EDGE_CURVE ( 'NONE', #1568, #1565, #6911, .T. ) ;
#1568 = VERTEX_POINT ( 'NONE', #6907 ) ;
#1569 = ORIENTED_EDGE ( 'NONE', *, *, #1570, .T. ) ;
#1570 = EDGE_CURVE ( 'NONE', #1568, #1571, #6970, .T. ) ;
#1571 = VERTEX_POINT ( 'NONE', #6965 ) ;
#1572 = EDGE_LOOP ( 'NONE', ( #1618, #1621, #1622, #1540 ) ) ;
#1573 = ORIENTED_EDGE ( 'NONE', *, *, #1574, .F. ) ;
#1574 = EDGE_CURVE ( 'NONE', #1575, #1576, #6964, .T. ) ;
#1575 = VERTEX_POINT ( 'NONE', #6959 ) ;
#1576 = VERTEX_POINT ( 'NONE', #6958 ) ;
#1577 = ORIENTED_EDGE ( 'NONE', *, *, #1578, .T. ) ;
#1578 = EDGE_CURVE ( 'NONE', #1575, #1579, #6957, .T. ) ;
#1579 = VERTEX_POINT ( 'NONE', #6953 ) ;
#1580 = ORIENTED_EDGE ( 'NONE', *, *, #1581, .T. ) ;
#1581 = EDGE_CURVE ( 'NONE', #1579, #1582, #6952, .T. ) ;
#1582 = VERTEX_POINT ( 'NONE', #6947 ) ;
#1583 = ADVANCED_FACE ( 'NONE', ( #6946 ), #6943, .F. ) ;
#1584 = EDGE_LOOP ( 'NONE', ( #1678, #1681, #1684, #1686 ) ) ;
#1585 = ADVANCED_FACE ( 'NONE', ( #6939 ), #6387, .F. ) ;
#1586 = EDGE_LOOP ( 'NONE', ( #1587, #1591, #1594, #1597 ) ) ;
#1587 = ORIENTED_EDGE ( 'NONE', *, *, #1588, .F. ) ;
#1588 = EDGE_CURVE ( 'NONE', #1589, #1590, #7000, .T. ) ;
#1589 = VERTEX_POINT ( 'NONE', #6995 ) ;
#1590 = VERTEX_POINT ( 'NONE', #6994 ) ;
#1591 = ORIENTED_EDGE ( 'NONE', *, *, #1592, .T. ) ;
#1592 = EDGE_CURVE ( 'NONE', #1589, #1593, #6993, .T. ) ;
#1593 = VERTEX_POINT ( 'NONE', #6989 ) ;
#1594 = ORIENTED_EDGE ( 'NONE', *, *, #1595, .T. ) ;
#1595 = EDGE_CURVE ( 'NONE', #1593, #1596, #6988, .T. ) ;
#1596 = VERTEX_POINT ( 'NONE', #6983 ) ;
#1597 = ORIENTED_EDGE ( 'NONE', *, *, #1598, .F. ) ;
#1598 = EDGE_CURVE ( 'NONE', #1590, #1596, #6982, .T. ) ;
#1599 = ADVANCED_FACE ( 'NONE', ( #6978 ), #6976, .F. ) ;
#1600 = EDGE_CURVE ( 'NONE', #1523, #1521, #6971, .T. ) ;
#1601 = ORIENTED_EDGE ( 'NONE', *, *, #1602, .F. ) ;
#1602 = EDGE_CURVE ( 'NONE', #1603, #1523, #7029, .T. ) ;
#1603 = VERTEX_POINT ( 'NONE', #7025 ) ;
#1604 = ORIENTED_EDGE ( 'NONE', *, *, #1605, .T. ) ;
#1605 = EDGE_CURVE ( 'NONE', #1603, #1606, #7024, .T. ) ;
#1606 = VERTEX_POINT ( 'NONE', #7019 ) ;
#1607 = ORIENTED_EDGE ( 'NONE', *, *, #1608, .F. ) ;
#1608 = EDGE_CURVE ( 'NONE', #1529, #1606, #7018, .T. ) ;
#1609 = ADVANCED_FACE ( 'NONE', ( #7014 ), #7012, .F. ) ;
#1610 = EDGE_LOOP ( 'NONE', ( #1611, #1552, #1555, #1635 ) ) ;
#1611 = ORIENTED_EDGE ( 'NONE', *, *, #1612, .F. ) ;
#1612 = EDGE_CURVE ( 'NONE', #1613, #1614, #7007, .T. ) ;
#1613 = VERTEX_POINT ( 'NONE', #7002 ) ;
#1614 = VERTEX_POINT ( 'NONE', #7001 ) ;
#1615 = ORIENTED_EDGE ( 'NONE', *, *, #1616, .F. ) ;
#1616 = EDGE_CURVE ( 'NONE', #1526, #1571, #7066, .T. ) ;
#1617 = ADVANCED_FACE ( 'NONE', ( #7062 ), #7061, .F. ) ;
#1618 = ORIENTED_EDGE ( 'NONE', *, *, #1619, .F. ) ;
#1619 = EDGE_CURVE ( 'NONE', #1562, #1620, #7060, .T. ) ;
#1620 = VERTEX_POINT ( 'NONE', #7051 ) ;
#1621 = ORIENTED_EDGE ( 'NONE', *, *, #1561, .T. ) ;
#1622 = ORIENTED_EDGE ( 'NONE', *, *, #1538, .T. ) ;
#1623 = ADVANCED_FACE ( 'NONE', ( #7050 ), #7048, .F. ) ;
#1624 = ORIENTED_EDGE ( 'NONE', *, *, #1625, .F. ) ;
#1625 = EDGE_CURVE ( 'NONE', #1626, #1627, #7044, .T. ) ;
#1626 = VERTEX_POINT ( 'NONE', #7039 ) ;
#1627 = VERTEX_POINT ( 'NONE', #7038 ) ;
#1628 = ORIENTED_EDGE ( 'NONE', *, *, #1629, .T. ) ;
#1629 = EDGE_CURVE ( 'NONE', #1626, #1630, #7037, .T. ) ;
#1630 = VERTEX_POINT ( 'NONE', #7033 ) ;
#1631 = ORIENTED_EDGE ( 'NONE', *, *, #1632, .T. ) ;
#1632 = EDGE_CURVE ( 'NONE', #1630, #1633, #7097, .T. ) ;
#1633 = VERTEX_POINT ( 'NONE', #7092 ) ;
#1634 = ORIENTED_EDGE ( 'NONE', *, *, #1692, .F. ) ;
#1635 = ORIENTED_EDGE ( 'NONE', *, *, #1636, .F. ) ;
#1636 = EDGE_CURVE ( 'NONE', #1614, #1557, #7091, .T. ) ;
#1637 = VERTEX_POINT ( 'NONE', #7087 ) ;
#1638 = EDGE_CURVE ( 'NONE', #1637, #1639, #7086, .T. ) ;
#1639 = VERTEX_POINT ( 'NONE', #7082 ) ;
#1640 = ORIENTED_EDGE ( 'NONE', *, *, #1641, .T. ) ;
#1641 = EDGE_CURVE ( 'NONE', #1639, #1642, #7081, .T. ) ;
#1642 = VERTEX_POINT ( 'NONE', #7076 ) ;
#1643 = ORIENTED_EDGE ( 'NONE', *, *, #1644, .F. ) ;
#1644 = EDGE_CURVE ( 'NONE', #1648, #1642, #7075, .T. ) ;
#1645 = EDGE_LOOP ( 'NONE', ( #1624, #1628, #1631, #1634 ) ) ;
#1646 = ORIENTED_EDGE ( 'NONE', *, *, #1647, .F. ) ;
#1647 = EDGE_CURVE ( 'NONE', #1637, #1648, #7071, .T. ) ;
#1648 = VERTEX_POINT ( 'NONE', #7126 ) ;
#1649 = ORIENTED_EDGE ( 'NONE', *, *, #1638, .T. ) ;
#1650 = ADVANCED_FACE ( 'NONE', ( #7125 ), #7122, .F. ) ;
#1651 = EDGE_LOOP ( 'NONE', ( #1646, #1649, #1640, #1643 ) ) ;
#1652 = EDGE_LOOP ( 'NONE', ( #1653, #1657, #1660, #1663 ) ) ;
#1653 = ORIENTED_EDGE ( 'NONE', *, *, #1654, .F. ) ;
#1654 = EDGE_CURVE ( 'NONE', #1655, #1656, #7118, .T. ) ;
#1655 = VERTEX_POINT ( 'NONE', #7114 ) ;
#1656 = VERTEX_POINT ( 'NONE', #7113 ) ;
#1657 = ORIENTED_EDGE ( 'NONE', *, *, #1658, .T. ) ;
#1658 = EDGE_CURVE ( 'NONE', #1655, #1659, #7112, .T. ) ;
#1659 = VERTEX_POINT ( 'NONE', #7108 ) ;
#1660 = ORIENTED_EDGE ( 'NONE', *, *, #1661, .T. ) ;
#1661 = EDGE_CURVE ( 'NONE', #1659, #1662, #7107, .T. ) ;
#1662 = VERTEX_POINT ( 'NONE', #7102 ) ;
#1663 = ORIENTED_EDGE ( 'NONE', *, *, #1664, .F. ) ;
#1664 = EDGE_CURVE ( 'NONE', #1656, #1662, #7101, .T. ) ;
#1665 = ORIENTED_EDGE ( 'NONE', *, *, #1746, .F. ) ;
#1666 = ORIENTED_EDGE ( 'NONE', *, *, #1738, .T. ) ;
#1667 = EDGE_CURVE ( 'NONE', #1515, #1740, #7161, .T. ) ;
#1668 = ORIENTED_EDGE ( 'NONE', *, *, #1602, .T. ) ;
#1669 = ORIENTED_EDGE ( 'NONE', *, *, #1667, .F. ) ;
#1670 = EDGE_LOOP ( 'NONE', ( #1665, #1745, #1775, #1735 ) ) ;
#1671 = ORIENTED_EDGE ( 'NONE', *, *, #1739, .F. ) ;
#1672 = VERTEX_POINT ( 'NONE', #7156 ) ;
#1673 = ORIENTED_EDGE ( 'NONE', *, *, #1674, .T. ) ;
#1674 = EDGE_CURVE ( 'NONE', #1672, #1740, #7155, .T. ) ;
#1675 = ADVANCED_FACE ( 'NONE', ( #7151 ), #7150, .F. ) ;
#1676 = VERTEX_POINT ( 'NONE', #7145 ) ;
#1677 = EDGE_LOOP ( 'NONE', ( #1671, #1673, #1669, #1747 ) ) ;
#1678 = ORIENTED_EDGE ( 'NONE', *, *, #1679, .F. ) ;
#1679 = EDGE_CURVE ( 'NONE', #1680, #1518, #7144, .T. ) ;
#1680 = VERTEX_POINT ( 'NONE', #7139 ) ;
#1681 = ORIENTED_EDGE ( 'NONE', *, *, #1682, .T. ) ;
#1682 = EDGE_CURVE ( 'NONE', #1680, #1683, #7138, .T. ) ;
#1683 = VERTEX_POINT ( 'NONE', #7134 ) ;
#1684 = ORIENTED_EDGE ( 'NONE', *, *, #1685, .T. ) ;
#1685 = EDGE_CURVE ( 'NONE', #1683, #1521, #7133, .T. ) ;
#1686 = ORIENTED_EDGE ( 'NONE', *, *, #1520, .T. ) ;
#1687 = ADVANCED_FACE ( 'NONE', ( #7128 ), #7127, .F. ) ;
#1688 = EDGE_LOOP ( 'NONE', ( #1689, #1182, #1666, #1668 ) ) ;
#1689 = ORIENTED_EDGE ( 'NONE', *, *, #1690, .T. ) ;
#1690 = EDGE_CURVE ( 'NONE', #1523, #1691, #7186, .T. ) ;
#1691 = VERTEX_POINT ( 'NONE', #7182 ) ;
#1692 = EDGE_CURVE ( 'NONE', #1627, #1633, #7181, .T. ) ;
#1693 = ADVANCED_FACE ( 'NONE', ( #7177 ), #7176, .F. ) ;
#1694 = EDGE_LOOP ( 'NONE', ( #1695, #1699, #1702, #1705 ) ) ;
#1695 = ORIENTED_EDGE ( 'NONE', *, *, #1696, .F. ) ;
#1696 = EDGE_CURVE ( 'NONE', #1697, #1698, #7175, .T. ) ;
#1697 = VERTEX_POINT ( 'NONE', #7166 ) ;
#1698 = VERTEX_POINT ( 'NONE', #7165 ) ;
#1699 = ORIENTED_EDGE ( 'NONE', *, *, #1700, .T. ) ;
#1700 = EDGE_CURVE ( 'NONE', #1697, #1701, #7164, .T. ) ;
#1701 = VERTEX_POINT ( 'NONE', #7217 ) ;
#1702 = ORIENTED_EDGE ( 'NONE', *, *, #1703, .T. ) ;
#1703 = EDGE_CURVE ( 'NONE', #1701, #1704, #7216, .T. ) ;
#1704 = VERTEX_POINT ( 'NONE', #7211 ) ;
#1705 = ORIENTED_EDGE ( 'NONE', *, *, #1706, .F. ) ;
#1706 = EDGE_CURVE ( 'NONE', #1698, #1704, #7210, .T. ) ;
#1707 = EDGE_CURVE ( 'NONE', #1708, #1763, #7205, .T. ) ;
#1708 = VERTEX_POINT ( 'NONE', #7206 ) ;
#1709 = ORIENTED_EDGE ( 'NONE', *, *, #1710, .F. ) ;
#1710 = EDGE_CURVE ( 'NONE', #1711, #1708, #7194, .T. ) ;
#1711 = VERTEX_POINT ( 'NONE', #7249 ) ;
#1712 = ORIENTED_EDGE ( 'NONE', *, *, #1713, .F. ) ;
#1713 = EDGE_CURVE ( 'NONE', #1773, #1730, #7240, .T. ) ;
#1714 = ORIENTED_EDGE ( 'NONE', *, *, #1715, .F. ) ;
#1715 = EDGE_CURVE ( 'NONE', #1779, #1773, #7236, .T. ) ;
#1716 = ADVANCED_FACE ( 'NONE', ( #7231 ), #7230, .T. ) ;
#1717 = EDGE_LOOP ( 'NONE', ( #1718, #1722, #1822, #1756 ) ) ;
#1718 = ORIENTED_EDGE ( 'NONE', *, *, #1719, .F. ) ;
#1719 = EDGE_CURVE ( 'NONE', #1720, #1721, #7224, .T. ) ;
#1720 = VERTEX_POINT ( 'NONE', #7220 ) ;
#1721 = VERTEX_POINT ( 'NONE', #7219 ) ;
#1722 = ORIENTED_EDGE ( 'NONE', *, *, #1723, .T. ) ;
#1723 = EDGE_CURVE ( 'NONE', #1720, #1724, #7283, .T. ) ;
#1724 = VERTEX_POINT ( 'NONE', #7279 ) ;
#1725 = EDGE_LOOP ( 'NONE', ( #1994, #1909, #1889, #1996, #1999, #2002 ) ) ;
#1726 = ADVANCED_FACE ( 'NONE', ( #7278 ), #7275, .T. ) ;
#1727 = VERTEX_POINT ( 'NONE', #7276 ) ;
#1728 = ORIENTED_EDGE ( 'NONE', *, *, #1729, .T. ) ;
#1729 = EDGE_CURVE ( 'NONE', #1734, #1730, #7271, .T. ) ;
#1730 = VERTEX_POINT ( 'NONE', #7267 ) ;
#1731 = VERTEX_POINT ( 'NONE', #7266 ) ;
#1732 = ORIENTED_EDGE ( 'NONE', *, *, #1733, .F. ) ;
#1733 = EDGE_CURVE ( 'NONE', #1734, #1727, #7265, .T. ) ;
#1734 = VERTEX_POINT ( 'NONE', #7260 ) ;
#1735 = ORIENTED_EDGE ( 'NONE', *, *, #1736, .F. ) ;
#1736 = EDGE_CURVE ( 'NONE', #1744, #1769, #7259, .T. ) ;
#1737 = EDGE_LOOP ( 'NONE', ( #1732, #1728, #1788, #1781 ) ) ;
#1738 = EDGE_CURVE ( 'NONE', #1676, #1603, #7255, .T. ) ;
#1739 = EDGE_CURVE ( 'NONE', #1672, #1449, #7250, .T. ) ;
#1740 = VERTEX_POINT ( 'NONE', #7312 ) ;
#1741 = ADVANCED_FACE ( 'NONE', ( #7311 ), #7310, .F. ) ;
#1742 = EDGE_CURVE ( 'NONE', #1691, #1676, #7309, .T. ) ;
#1743 = VERTEX_POINT ( 'NONE', #7301 ) ;
#1744 = VERTEX_POINT ( 'NONE', #7300 ) ;
#1745 = ORIENTED_EDGE ( 'NONE', *, *, #1764, .T. ) ;
#1746 = EDGE_CURVE ( 'NONE', #1743, #1744, #7298, .T. ) ;
#1747 = ORIENTED_EDGE ( 'NONE', *, *, #1514, .T. ) ;
#1748 = EDGE_LOOP ( 'NONE', ( #1806, #1810, #1813, #1816 ) ) ;
#1749 = ADVANCED_FACE ( 'NONE', ( #7299 ), #7327, .F. ) ;
#1750 = VERTEX_POINT ( 'NONE', #7322 ) ;
#1751 = ORIENTED_EDGE ( 'NONE', *, *, #1752, .T. ) ;
#1752 = EDGE_CURVE ( 'NONE', #1821, #1753, #7321, .T. ) ;
#1753 = VERTEX_POINT ( 'NONE', #7317 ) ;
#1754 = ORIENTED_EDGE ( 'NONE', *, *, #1755, .F. ) ;
#1755 = EDGE_CURVE ( 'NONE', #1796, #1753, #7384, .T. ) ;
#1756 = ORIENTED_EDGE ( 'NONE', *, *, #1804, .F. ) ;
#1757 = VERTEX_POINT ( 'NONE', #7385 ) ;
#1758 = ORIENTED_EDGE ( 'NONE', *, *, #1759, .T. ) ;
#1759 = EDGE_CURVE ( 'NONE', #1787, #1760, #7377, .T. ) ;
#1760 = VERTEX_POINT ( 'NONE', #7373 ) ;
#1761 = ORIENTED_EDGE ( 'NONE', *, *, #1762, .F. ) ;
#1762 = EDGE_CURVE ( 'NONE', #1763, #1760, #7372, .T. ) ;
#1763 = VERTEX_POINT ( 'NONE', #7371 ) ;
#1764 = EDGE_CURVE ( 'NONE', #1743, #1774, #7364, .T. ) ;
#1765 = ORIENTED_EDGE ( 'NONE', *, *, #1766, .F. ) ;
#1766 = EDGE_CURVE ( 'NONE', #1757, #1711, #7359, .T. ) ;
#1767 = ADVANCED_FACE ( 'NONE', ( #7414 ), #7413, .T. ) ;
#1768 = EDGE_CURVE ( 'NONE', #1769, #1774, #7406, .T. ) ;
#1769 = VERTEX_POINT ( 'NONE', #7399 ) ;
#1770 = ORIENTED_EDGE ( 'NONE', *, *, #1771, .T. ) ;
#1771 = EDGE_CURVE ( 'NONE', #1780, #1731, #7398, .T. ) ;
#1772 = ORIENTED_EDGE ( 'NONE', *, *, #1789, .T. ) ;
#1773 = VERTEX_POINT ( 'NONE', #7394 ) ;
#1774 = VERTEX_POINT ( 'NONE', #7393 ) ;
#1775 = ORIENTED_EDGE ( 'NONE', *, *, #1768, .F. ) ;
#1776 = EDGE_LOOP ( 'NONE', ( #1777, #1770, #1772, #1712, #1714 ) ) ;
#1777 = ORIENTED_EDGE ( 'NONE', *, *, #1778, .T. ) ;
#1778 = EDGE_CURVE ( 'NONE', #1779, #1780, #7392, .T. ) ;
#1779 = VERTEX_POINT ( 'NONE', #7387 ) ;
#1780 = VERTEX_POINT ( 'NONE', #7386 ) ;
#1781 = ORIENTED_EDGE ( 'NONE', *, *, #1782, .F. ) ;
#1782 = EDGE_CURVE ( 'NONE', #1727, #1731, #7443, .T. ) ;
#1783 = ADVANCED_FACE ( 'NONE', ( #7439 ), #7438, .F. ) ;
#1784 = EDGE_LOOP ( 'NONE', ( #1785, #1758, #1761, #1790, #1709, #1765 ) ) ;
#1785 = ORIENTED_EDGE ( 'NONE', *, *, #1786, .F. ) ;
#1786 = EDGE_CURVE ( 'NONE', #1787, #1757, #7437, .T. ) ;
#1787 = VERTEX_POINT ( 'NONE', #7429 ) ;
#1788 = ORIENTED_EDGE ( 'NONE', *, *, #1789, .F. ) ;
#1789 = EDGE_CURVE ( 'NONE', #1731, #1730, #7428, .T. ) ;
#1790 = ORIENTED_EDGE ( 'NONE', *, *, #1707, .F. ) ;
#1791 = ORIENTED_EDGE ( 'NONE', *, *, #1792, .F. ) ;
#1792 = EDGE_CURVE ( 'NONE', #1842, #1874, #7422, .T. ) ;
#1793 = ADVANCED_FACE ( 'NONE', ( #7423 ), #7421, .T. ) ;
#1794 = EDGE_LOOP ( 'NONE', ( #1795, #1827, #1829, #1830 ) ) ;
#1795 = ORIENTED_EDGE ( 'NONE', *, *, #1824, .T. ) ;
#1796 = VERTEX_POINT ( 'NONE', #7472 ) ;
#1797 = ORIENTED_EDGE ( 'NONE', *, *, #1798, .F. ) ;
#1798 = EDGE_CURVE ( 'NONE', #1799, #1796, #7467, .T. ) ;
#1799 = VERTEX_POINT ( 'NONE', #7466 ) ;
#1800 = ORIENTED_EDGE ( 'NONE', *, *, #1801, .F. ) ;
#1801 = EDGE_CURVE ( 'NONE', #1802, #1799, #7457, .T. ) ;
#1802 = VERTEX_POINT ( 'NONE', #7456 ) ;
#1803 = ORIENTED_EDGE ( 'NONE', *, *, #1853, .F. ) ;
#1804 = EDGE_CURVE ( 'NONE', #1721, #1837, #7444, .T. ) ;
#1805 = EDGE_LOOP ( 'NONE', ( #1819, #1751, #1754, #1797, #1800, #1803 ) ) ;
#1806 = ORIENTED_EDGE ( 'NONE', *, *, #1807, .F. ) ;
#1807 = EDGE_CURVE ( 'NONE', #1808, #1809, #7504, .T. ) ;
#1808 = VERTEX_POINT ( 'NONE', #7499 ) ;
#1809 = VERTEX_POINT ( 'NONE', #7498 ) ;
#1810 = ORIENTED_EDGE ( 'NONE', *, *, #1811, .T. ) ;
#1811 = EDGE_CURVE ( 'NONE', #1808, #1812, #7497, .T. ) ;
#1812 = VERTEX_POINT ( 'NONE', #7493 ) ;
#1813 = ORIENTED_EDGE ( 'NONE', *, *, #1814, .F. ) ;
#1814 = EDGE_CURVE ( 'NONE', #1815, #1812, #7492, .T. ) ;
#1815 = VERTEX_POINT ( 'NONE', #7487 ) ;
#1816 = ORIENTED_EDGE ( 'NONE', *, *, #1817, .F. ) ;
#1817 = EDGE_CURVE ( 'NONE', #1809, #1815, #7486, .T. ) ;
#1818 = ADVANCED_FACE ( 'NONE', ( #7482 ), #7480, .F. ) ;
#1819 = ORIENTED_EDGE ( 'NONE', *, *, #1820, .F. ) ;
#1820 = EDGE_CURVE ( 'NONE', #1821, #1750, #7481, .T. ) ;
#1821 = VERTEX_POINT ( 'NONE', #7533 ) ;
#1822 = ORIENTED_EDGE ( 'NONE', *, *, #1823, .F. ) ;
#1823 = EDGE_CURVE ( 'NONE', #1837, #1724, #7532, .T. ) ;
#1824 = EDGE_CURVE ( 'NONE', #1825, #1826, #7527, .T. ) ;
#1825 = VERTEX_POINT ( 'NONE', #7522 ) ;
#1826 = VERTEX_POINT ( 'NONE', #7521 ) ;
#1827 = ORIENTED_EDGE ( 'NONE', *, *, #1828, .T. ) ;
#1828 = EDGE_CURVE ( 'NONE', #1826, #1849, #7520, .T. ) ;
#1829 = ORIENTED_EDGE ( 'NONE', *, *, #1848, .T. ) ;
#1830 = ORIENTED_EDGE ( 'NONE', *, *, #1831, .F. ) ;
#1831 = EDGE_CURVE ( 'NONE', #1825, #1836, #7516, .T. ) ;
#1832 = ADVANCED_FACE ( 'NONE', ( #7512 ), #7511, .T. ) ;
#1833 = VERTEX_POINT ( 'NONE', #7506 ) ;
#1834 = ORIENTED_EDGE ( 'NONE', *, *, #1835, .T. ) ;
#1835 = EDGE_CURVE ( 'NONE', #1918, #1836, #7505, .T. ) ;
#1836 = VERTEX_POINT ( 'NONE', #7564 ) ;
#1837 = VERTEX_POINT ( 'NONE', #7563 ) ;
#1838 = ADVANCED_FACE ( 'NONE', ( #7562 ), #7560, .F. ) ;
#1839 = ORIENTED_EDGE ( 'NONE', *, *, #1840, .F. ) ;
#1840 = EDGE_CURVE ( 'NONE', #1841, #1842, #7556, .T. ) ;
#1841 = VERTEX_POINT ( 'NONE', #7552 ) ;
#1842 = VERTEX_POINT ( 'NONE', #7551 ) ;
#1843 = ORIENTED_EDGE ( 'NONE', *, *, #1844, .T. ) ;
#1844 = EDGE_CURVE ( 'NONE', #1841, #1845, #7550, .T. ) ;
#1845 = VERTEX_POINT ( 'NONE', #7546 ) ;
#1846 = VERTEX_POINT ( 'NONE', #7545 ) ;
#1847 = ORIENTED_EDGE ( 'NONE', *, *, #1848, .F. ) ;
#1848 = EDGE_CURVE ( 'NONE', #1849, #1836, #7544, .T. ) ;
#1849 = VERTEX_POINT ( 'NONE', #7539 ) ;
#1850 = ORIENTED_EDGE ( 'NONE', *, *, #1851, .F. ) ;
#1851 = EDGE_CURVE ( 'NONE', #1833, #1849, #7538, .T. ) ;
#1852 = EDGE_LOOP ( 'NONE', ( #1839, #1843, #1867, #1869, #1872, #1791 ) ) ;
#1853 = EDGE_CURVE ( 'NONE', #1750, #1802, #7599, .T. ) ;
#1854 = ADVANCED_FACE ( 'NONE', ( #7597 ), #7596, .T. ) ;
#1855 = EDGE_LOOP ( 'NONE', ( #1856, #1860, #1862, #1863 ) ) ;
#1856 = ORIENTED_EDGE ( 'NONE', *, *, #1857, .T. ) ;
#1857 = EDGE_CURVE ( 'NONE', #1858, #1859, #7589, .T. ) ;
#1858 = VERTEX_POINT ( 'NONE', #7580 ) ;
#1859 = VERTEX_POINT ( 'NONE', #7579 ) ;
#1860 = ORIENTED_EDGE ( 'NONE', *, *, #1861, .T. ) ;
#1861 = EDGE_CURVE ( 'NONE', #1859, #1837, #7578, .T. ) ;
#1862 = ORIENTED_EDGE ( 'NONE', *, *, #1823, .T. ) ;
#1863 = ORIENTED_EDGE ( 'NONE', *, *, #1864, .F. ) ;
#1864 = EDGE_CURVE ( 'NONE', #1858, #1724, #7574, .T. ) ;
#1865 = ADVANCED_FACE ( 'NONE', ( #7570 ), #7569, .T. ) ;
#1866 = EDGE_LOOP ( 'NONE', ( #1916, #1834, #1847, #1850 ) ) ;
#1867 = ORIENTED_EDGE ( 'NONE', *, *, #1868, .F. ) ;
#1868 = EDGE_CURVE ( 'NONE', #1846, #1845, #7620, .T. ) ;
#1869 = ORIENTED_EDGE ( 'NONE', *, *, #1870, .F. ) ;
#1870 = EDGE_CURVE ( 'NONE', #1871, #1846, #7613, .T. ) ;
#1871 = VERTEX_POINT ( 'NONE', #7612 ) ;
#1872 = ORIENTED_EDGE ( 'NONE', *, *, #1873, .F. ) ;
#1873 = EDGE_CURVE ( 'NONE', #1874, #1871, #7602, .T. ) ;
#1874 = VERTEX_POINT ( 'NONE', #7601 ) ;
#1875 = VERTEX_POINT ( 'NONE', #7611 ) ;
#1876 = VERTEX_POINT ( 'NONE', #7657 ) ;
#1877 = ORIENTED_EDGE ( 'NONE', *, *, #1878, .F. ) ;
#1878 = EDGE_CURVE ( 'NONE', #1959, #1876, #7648, .T. ) ;
#1879 = ADVANCED_FACE ( 'NONE', ( #7644 ), #7643, .F. ) ;
#1880 = EDGE_LOOP ( 'NONE', ( #1881, #1989, #1992, #1933, #1891, #1893 ) ) ;
#1881 = ORIENTED_EDGE ( 'NONE', *, *, #1882, .F. ) ;
#1882 = EDGE_CURVE ( 'NONE', #1883, #1884, #7638, .T. ) ;
#1883 = VERTEX_POINT ( 'NONE', #7634 ) ;
#1884 = VERTEX_POINT ( 'NONE', #7633 ) ;
#1885 = ORIENTED_EDGE ( 'NONE', *, *, #1886, .F. ) ;
#1886 = EDGE_CURVE ( 'NONE', #1887, #1812, #7632, .T. ) ;
#1887 = VERTEX_POINT ( 'NONE', #7628 ) ;
#1888 = EDGE_CURVE ( 'NONE', #1890, #1988, #7627, .T. ) ;
#1889 = ORIENTED_EDGE ( 'NONE', *, *, #1904, .F. ) ;
#1890 = VERTEX_POINT ( 'NONE', #7682 ) ;
#1891 = ORIENTED_EDGE ( 'NONE', *, *, #1892, .F. ) ;
#1892 = EDGE_CURVE ( 'NONE', #1936, #1935, #7681, .T. ) ;
#1893 = ORIENTED_EDGE ( 'NONE', *, *, #1894, .F. ) ;
#1894 = EDGE_CURVE ( 'NONE', #1884, #1936, #7672, .T. ) ;
#1895 = ADVANCED_FACE ( 'NONE', ( #7671 ), #7670, .T. ) ;
#1896 = EDGE_LOOP ( 'NONE', ( #1897, #1901, #1903, #2004, #1919, #1922, #1925 ) ) ;
#1897 = ORIENTED_EDGE ( 'NONE', *, *, #1898, .F. ) ;
#1898 = EDGE_CURVE ( 'NONE', #1899, #1900, #7659, .T. ) ;
#1899 = VERTEX_POINT ( 'NONE', #7711 ) ;
#1900 = VERTEX_POINT ( 'NONE', #7710 ) ;
#1901 = ORIENTED_EDGE ( 'NONE', *, *, #1902, .T. ) ;
#1902 = EDGE_CURVE ( 'NONE', #1899, #1876, #7709, .T. ) ;
#1903 = ORIENTED_EDGE ( 'NONE', *, *, #1908, .T. ) ;
#1904 = EDGE_CURVE ( 'NONE', #1905, #1988, #7704, .T. ) ;
#1905 = VERTEX_POINT ( 'NONE', #7703 ) ;
#1906 = EDGE_CURVE ( 'NONE', #1958, #1875, #7696, .T. ) ;
#1907 = ORIENTED_EDGE ( 'NONE', *, *, #1908, .F. ) ;
#1908 = EDGE_CURVE ( 'NONE', #1876, #1875, #7692, .T. ) ;
#1909 = ORIENTED_EDGE ( 'NONE', *, *, #1888, .T. ) ;
#1910 = VERTEX_POINT ( 'NONE', #7687 ) ;
#1911 = ORIENTED_EDGE ( 'NONE', *, *, #1912, .T. ) ;
#1912 = EDGE_CURVE ( 'NONE', #1931, #1913, #7686, .T. ) ;
#1913 = VERTEX_POINT ( 'NONE', #7746 ) ;
#1914 = ORIENTED_EDGE ( 'NONE', *, *, #1976, .F. ) ;
#1915 = VERTEX_POINT ( 'NONE', #7745 ) ;
#1916 = ORIENTED_EDGE ( 'NONE', *, *, #1917, .F. ) ;
#1917 = EDGE_CURVE ( 'NONE', #1918, #1833, #7744, .T. ) ;
#1918 = VERTEX_POINT ( 'NONE', #7739 ) ;
#1919 = ORIENTED_EDGE ( 'NONE', *, *, #1920, .T. ) ;
#1920 = EDGE_CURVE ( 'NONE', #2006, #1921, #7738, .T. ) ;
#1921 = VERTEX_POINT ( 'NONE', #7733 ) ;
#1922 = ORIENTED_EDGE ( 'NONE', *, *, #1923, .T. ) ;
#1923 = EDGE_CURVE ( 'NONE', #1921, #1924, #7732, .T. ) ;
#1924 = VERTEX_POINT ( 'NONE', #7727 ) ;
#1925 = ORIENTED_EDGE ( 'NONE', *, *, #1926, .T. ) ;
#1926 = EDGE_CURVE ( 'NONE', #1924, #1900, #7724, .T. ) ;
#1927 = ADVANCED_FACE ( 'NONE', ( #7725 ), #7717, .T. ) ;
#1928 = EDGE_LOOP ( 'NONE', ( #1929, #1911, #1914, #1977 ) ) ;
#1929 = ORIENTED_EDGE ( 'NONE', *, *, #1930, .F. ) ;
#1930 = EDGE_CURVE ( 'NONE', #1931, #1910, #7776, .T. ) ;
#1931 = VERTEX_POINT ( 'NONE', #7772 ) ;
#1932 = VERTEX_POINT ( 'NONE', #7771 ) ;
#1933 = ORIENTED_EDGE ( 'NONE', *, *, #1934, .F. ) ;
#1934 = EDGE_CURVE ( 'NONE', #1935, #1932, #7769, .T. ) ;
#1935 = VERTEX_POINT ( 'NONE', #7768 ) ;
#1936 = VERTEX_POINT ( 'NONE', #7770 ) ;
#1937 = ADVANCED_FACE ( 'NONE', ( #7767 ), #7766, .T. ) ;
#1938 = EDGE_LOOP ( 'NONE', ( #1939, #1943, #1945, #1885, #1946, #1949, #1952 ) ) ;
#1939 = ORIENTED_EDGE ( 'NONE', *, *, #1940, .T. ) ;
#1940 = EDGE_CURVE ( 'NONE', #1941, #1942, #7753, .T. ) ;
#1941 = VERTEX_POINT ( 'NONE', #7748 ) ;
#1942 = VERTEX_POINT ( 'NONE', #7747 ) ;
#1943 = ORIENTED_EDGE ( 'NONE', *, *, #1944, .T. ) ;
#1944 = EDGE_CURVE ( 'NONE', #1942, #1815, #7808, .T. ) ;
#1945 = ORIENTED_EDGE ( 'NONE', *, *, #1814, .T. ) ;
#1946 = ORIENTED_EDGE ( 'NONE', *, *, #1947, .F. ) ;
#1947 = EDGE_CURVE ( 'NONE', #1948, #1887, #7804, .T. ) ;
#1948 = VERTEX_POINT ( 'NONE', #7799 ) ;
#1949 = ORIENTED_EDGE ( 'NONE', *, *, #1950, .T. ) ;
#1950 = EDGE_CURVE ( 'NONE', #1948, #1951, #7798, .T. ) ;
#1951 = VERTEX_POINT ( 'NONE', #7793 ) ;
#1952 = ORIENTED_EDGE ( 'NONE', *, *, #1953, .F. ) ;
#1953 = EDGE_CURVE ( 'NONE', #1941, #1951, #7791, .T. ) ;
#1954 = ADVANCED_FACE ( 'NONE', ( #7792 ), #7784, .T. ) ;
#1955 = EDGE_LOOP ( 'NONE', ( #1956, #1960, #1907, #1877 ) ) ;
#1956 = ORIENTED_EDGE ( 'NONE', *, *, #1957, .F. ) ;
#1957 = EDGE_CURVE ( 'NONE', #1958, #1959, #7780, .T. ) ;
#1958 = VERTEX_POINT ( 'NONE', #7836 ) ;
#1959 = VERTEX_POINT ( 'NONE', #7835 ) ;
#1960 = ORIENTED_EDGE ( 'NONE', *, *, #1906, .T. ) ;
#1961 = EDGE_LOOP ( 'NONE', ( #2053, #2056, #2058 ) ) ;
#1962 = ORIENTED_EDGE ( 'NONE', *, *, #1963, .F. ) ;
#1963 = EDGE_CURVE ( 'NONE', #1964, #2076, #7834, .T. ) ;
#1964 = VERTEX_POINT ( 'NONE', #7830 ) ;
#1965 = ORIENTED_EDGE ( 'NONE', *, *, #1966, .F. ) ;
#1966 = EDGE_CURVE ( 'NONE', #1967, #1964, #7829, .T. ) ;
#1967 = VERTEX_POINT ( 'NONE', #7825 ) ;
#1968 = ORIENTED_EDGE ( 'NONE', *, *, #1969, .F. ) ;
#1969 = EDGE_CURVE ( 'NONE', #1970, #1967, #7824, .T. ) ;
#1970 = VERTEX_POINT ( 'NONE', #7820 ) ;
#1971 = EDGE_CURVE ( 'NONE', #2050, #1972, #7819, .T. ) ;
#1972 = VERTEX_POINT ( 'NONE', #7814 ) ;
#1973 = ORIENTED_EDGE ( 'NONE', *, *, #1974, .F. ) ;
#1974 = EDGE_CURVE ( 'NONE', #2055, #1972, #7813, .T. ) ;
#1975 = ORIENTED_EDGE ( 'NONE', *, *, #2054, .T. ) ;
#1976 = EDGE_CURVE ( 'NONE', #1915, #1913, #7869, .T. ) ;
#1977 = ORIENTED_EDGE ( 'NONE', *, *, #1978, .F. ) ;
#1978 = EDGE_CURVE ( 'NONE', #1910, #1915, #7864, .T. ) ;
#1979 = ADVANCED_FACE ( 'NONE', ( #7860 ), #7858, .F. ) ;
#1980 = EDGE_LOOP ( 'NONE', ( #1981, #1985, #2052, #2024, #2078, #2017 ) ) ;
#1981 = ORIENTED_EDGE ( 'NONE', *, *, #1982, .F. ) ;
#1982 = EDGE_CURVE ( 'NONE', #1983, #1984, #7859, .T. ) ;
#1983 = VERTEX_POINT ( 'NONE', #7850 ) ;
#1984 = VERTEX_POINT ( 'NONE', #7849 ) ;
#1985 = ORIENTED_EDGE ( 'NONE', *, *, #1986, .T. ) ;
#1986 = EDGE_CURVE ( 'NONE', #1983, #2077, #7848, .T. ) ;
#1987 = VERTEX_POINT ( 'NONE', #7844 ) ;
#1988 = VERTEX_POINT ( 'NONE', #7843 ) ;
#1989 = ORIENTED_EDGE ( 'NONE', *, *, #1990, .T. ) ;
#1990 = EDGE_CURVE ( 'NONE', #1883, #1991, #7842, .T. ) ;
#1991 = VERTEX_POINT ( 'NONE', #7838 ) ;
#1992 = ORIENTED_EDGE ( 'NONE', *, *, #1993, .F. ) ;
#1993 = EDGE_CURVE ( 'NONE', #1932, #1991, #7895, .T. ) ;
#1994 = ORIENTED_EDGE ( 'NONE', *, *, #1995, .F. ) ;
#1995 = EDGE_CURVE ( 'NONE', #1890, #1987, #7894, .T. ) ;
#1996 = ORIENTED_EDGE ( 'NONE', *, *, #1997, .F. ) ;
#1997 = EDGE_CURVE ( 'NONE', #1998, #1905, #7883, .T. ) ;
#1998 = VERTEX_POINT ( 'NONE', #7884 ) ;
#1999 = ORIENTED_EDGE ( 'NONE', *, *, #2000, .F. ) ;
#2000 = EDGE_CURVE ( 'NONE', #2001, #1998, #7873, .T. ) ;
#2001 = VERTEX_POINT ( 'NONE', #7872 ) ;
#2002 = ORIENTED_EDGE ( 'NONE', *, *, #2003, .F. ) ;
#2003 = EDGE_CURVE ( 'NONE', #1987, #2001, #7919, .T. ) ;
#2004 = ORIENTED_EDGE ( 'NONE', *, *, #2005, .F. ) ;
#2005 = EDGE_CURVE ( 'NONE', #2006, #1875, #7918, .T. ) ;
#2006 = VERTEX_POINT ( 'NONE', #7908 ) ;
#2007 = EDGE_CURVE ( 'NONE', #2050, #1972, #7907, .T. ) ;
#2008 = ADVANCED_FACE ( 'NONE', ( #7903 ), #7902, .F. ) ;
#2009 = EDGE_LOOP ( 'NONE', ( #2027, #2028, #2030, #2031 ) ) ;
#2010 = EDGE_CURVE ( 'NONE', #2011, #2077, #7897, .T. ) ;
#2011 = VERTEX_POINT ( 'NONE', #7896 ) ;
#2012 = ORIENTED_EDGE ( 'NONE', *, *, #2013, .T. ) ;
#2013 = EDGE_CURVE ( 'NONE', #2077, #2014, #7942, .T. ) ;
#2014 = VERTEX_POINT ( 'NONE', #7941 ) ;
#2015 = ORIENTED_EDGE ( 'NONE', *, *, #2016, .T. ) ;
#2016 = EDGE_CURVE ( 'NONE', #2014, #1964, #7934, .T. ) ;
#2017 = ORIENTED_EDGE ( 'NONE', *, *, #2018, .F. ) ;
#2018 = EDGE_CURVE ( 'NONE', #1984, #2079, #7930, .T. ) ;
#2019 = ADVANCED_FACE ( 'NONE', ( #7979 ), #7978, .T. ) ;
#2020 = EDGE_LOOP ( 'NONE', ( #2021, #2037, #2039, #2040, #2043 ) ) ;
#2021 = ORIENTED_EDGE ( 'NONE', *, *, #2022, .T. ) ;
#2022 = EDGE_CURVE ( 'NONE', #2023, #2036, #7972, .T. ) ;
#2023 = VERTEX_POINT ( 'NONE', #7968 ) ;
#2024 = ORIENTED_EDGE ( 'NONE', *, *, #2025, .F. ) ;
#2025 = EDGE_CURVE ( 'NONE', #2026, #2011, #7967, .T. ) ;
#2026 = VERTEX_POINT ( 'NONE', #7966 ) ;
#2027 = ORIENTED_EDGE ( 'NONE', *, *, #2025, .T. ) ;
#2028 = ORIENTED_EDGE ( 'NONE', *, *, #2029, .T. ) ;
#2029 = EDGE_CURVE ( 'NONE', #2011, #2076, #7965, .T. ) ;
#2030 = ORIENTED_EDGE ( 'NONE', *, *, #2075, .T. ) ;
#2031 = ORIENTED_EDGE ( 'NONE', *, *, #2032, .F. ) ;
#2032 = EDGE_CURVE ( 'NONE', #2026, #2072, #7953, .T. ) ;
#2033 = ADVANCED_FACE ( 'NONE', ( #8010 ), #8009, .F. ) ;
#2034 = EDGE_LOOP ( 'NONE', ( #2035, #2012, #2015, #2064, #2065 ) ) ;
#2035 = ORIENTED_EDGE ( 'NONE', *, *, #2010, .T. ) ;
#2036 = VERTEX_POINT ( 'NONE', #8004 ) ;
#2037 = ORIENTED_EDGE ( 'NONE', *, *, #2038, .T. ) ;
#2038 = EDGE_CURVE ( 'NONE', #2036, #1915, #8003, .T. ) ;
#2039 = ORIENTED_EDGE ( 'NONE', *, *, #1976, .T. ) ;
#2040 = ORIENTED_EDGE ( 'NONE', *, *, #2041, .F. ) ;
#2041 = EDGE_CURVE ( 'NONE', #2042, #1913, #7999, .T. ) ;
#2042 = VERTEX_POINT ( 'NONE', #7995 ) ;
#2043 = ORIENTED_EDGE ( 'NONE', *, *, #2044, .T. ) ;
#2044 = EDGE_CURVE ( 'NONE', #2042, #2023, #7994, .T. ) ;
#2045 = ADVANCED_FACE ( 'NONE', ( #7989 ), #7988, .F. ) ;
#2046 = EDGE_LOOP ( 'NONE', ( #2047, #2048, #2051, #1973, #1975, #2081, #2082 ) ) ;
#2047 = ORIENTED_EDGE ( 'NONE', *, *, #2038, .F. ) ;
#2048 = ORIENTED_EDGE ( 'NONE', *, *, #2049, .T. ) ;
#2049 = EDGE_CURVE ( 'NONE', #2036, #2050, #7983, .T. ) ;
#2050 = VERTEX_POINT ( 'NONE', #8043 ) ;
#2051 = ORIENTED_EDGE ( 'NONE', *, *, #1971, .T. ) ;
#2052 = ORIENTED_EDGE ( 'NONE', *, *, #2010, .F. ) ;
#2053 = ORIENTED_EDGE ( 'NONE', *, *, #2054, .F. ) ;
#2054 = EDGE_CURVE ( 'NONE', #2055, #2042, #8042, .T. ) ;
#2055 = VERTEX_POINT ( 'NONE', #8037 ) ;
#2056 = ORIENTED_EDGE ( 'NONE', *, *, #2057, .T. ) ;
#2057 = EDGE_CURVE ( 'NONE', #2055, #2023, #8036, .T. ) ;
#2058 = ORIENTED_EDGE ( 'NONE', *, *, #2044, .F. ) ;
#2059 = ADVANCED_FACE ( 'NONE', ( #8032, #8031 ), #8030, .F. ) ;
#2060 = EDGE_LOOP ( 'NONE', ( #2061, #2063 ) ) ;
#2061 = ORIENTED_EDGE ( 'NONE', *, *, #2062, .T. ) ;
#2062 = EDGE_CURVE ( 'NONE', #1910, #1931, #8025, .T. ) ;
#2063 = ORIENTED_EDGE ( 'NONE', *, *, #1930, .T. ) ;
#2064 = ORIENTED_EDGE ( 'NONE', *, *, #1963, .T. ) ;
#2065 = ORIENTED_EDGE ( 'NONE', *, *, #2029, .F. ) ;
#2066 = ADVANCED_FACE ( 'NONE', ( #8019 ), #8018, .F. ) ;
#2067 = EDGE_LOOP ( 'NONE', ( #2068, #2102, #2098, #2097 ) ) ;
#2068 = ORIENTED_EDGE ( 'NONE', *, *, #2099, .T. ) ;
#2069 = EDGE_LOOP ( 'NONE', ( #2070, #2074, #1962, #1965, #1968, #2127 ) ) ;
#2070 = ORIENTED_EDGE ( 'NONE', *, *, #2071, .F. ) ;
#2071 = EDGE_CURVE ( 'NONE', #2072, #2073, #8013, .T. ) ;
#2072 = VERTEX_POINT ( 'NONE', #8073 ) ;
#2073 = VERTEX_POINT ( 'NONE', #8072 ) ;
#2074 = ORIENTED_EDGE ( 'NONE', *, *, #2075, .F. ) ;
#2075 = EDGE_CURVE ( 'NONE', #2076, #2072, #8071, .T. ) ;
#2076 = VERTEX_POINT ( 'NONE', #8067 ) ;
#2077 = VERTEX_POINT ( 'NONE', #8066 ) ;
#2078 = ORIENTED_EDGE ( 'NONE', *, *, #2080, .F. ) ;
#2079 = VERTEX_POINT ( 'NONE', #8065 ) ;
#2080 = EDGE_CURVE ( 'NONE', #2079, #2026, #8064, .T. ) ;
#2081 = ORIENTED_EDGE ( 'NONE', *, *, #2041, .T. ) ;
#2082 = ORIENTED_EDGE ( 'NONE', *, *, #2083, .T. ) ;
#2083 = EDGE_CURVE ( 'NONE', #1913, #1915, #8054, .T. ) ;
#2084 = ADVANCED_FACE ( 'NONE', ( #8050 ), #8049, .F. ) ;
#2085 = EDGE_LOOP ( 'NONE', ( #2086, #2087 ) ) ;
#2086 = ORIENTED_EDGE ( 'NONE', *, *, #1971, .F. ) ;
#2087 = ORIENTED_EDGE ( 'NONE', *, *, #2007, .T. ) ;
#2088 = ORIENTED_EDGE ( 'NONE', *, *, #2089, .F. ) ;
#2089 = EDGE_CURVE ( 'NONE', #2090, #2152, #8108, .T. ) ;
#2090 = VERTEX_POINT ( 'NONE', #8103 ) ;
#2091 = ORIENTED_EDGE ( 'NONE', *, *, #2092, .T. ) ;
#2092 = EDGE_CURVE ( 'NONE', #2090, #2093, #8102, .T. ) ;
#2093 = VERTEX_POINT ( 'NONE', #8098 ) ;
#2094 = ORIENTED_EDGE ( 'NONE', *, *, #2095, .F. ) ;
#2095 = EDGE_CURVE ( 'NONE', #2096, #2093, #8097, .T. ) ;
#2096 = VERTEX_POINT ( 'NONE', #8092 ) ;
#2097 = ORIENTED_EDGE ( 'NONE', *, *, #2016, .F. ) ;
#2098 = ORIENTED_EDGE ( 'NONE', *, *, #1966, .T. ) ;
#2099 = EDGE_CURVE ( 'NONE', #2014, #2101, #8090, .T. ) ;
#2100 = ORIENTED_EDGE ( 'NONE', *, *, #2018, .T. ) ;
#2101 = VERTEX_POINT ( 'NONE', #8089 ) ;
#2102 = ORIENTED_EDGE ( 'NONE', *, *, #2103, .T. ) ;
#2103 = EDGE_CURVE ( 'NONE', #2101, #1967, #8077, .T. ) ;
#2104 = ORIENTED_EDGE ( 'NONE', *, *, #2105, .T. ) ;
#2105 = EDGE_CURVE ( 'NONE', #2126, #1970, #8086, .T. ) ;
#2106 = ADVANCED_FACE ( 'NONE', ( #8135 ), #8134, .F. ) ;
#2107 = EDGE_LOOP ( 'NONE', ( #2108, #2111, #2140, #2142 ) ) ;
#2108 = ORIENTED_EDGE ( 'NONE', *, *, #2109, .T. ) ;
#2109 = EDGE_CURVE ( 'NONE', #2110, #2055, #8129, .T. ) ;
#2110 = VERTEX_POINT ( 'NONE', #8125 ) ;
#2111 = ORIENTED_EDGE ( 'NONE', *, *, #1974, .T. ) ;
#2112 = VERTEX_POINT ( 'NONE', #8124 ) ;
#2113 = ORIENTED_EDGE ( 'NONE', *, *, #2114, .T. ) ;
#2114 = EDGE_CURVE ( 'NONE', #2096, #2115, #8123, .T. ) ;
#2115 = VERTEX_POINT ( 'NONE', #8118 ) ;
#2116 = ORIENTED_EDGE ( 'NONE', *, *, #2117, .F. ) ;
#2117 = EDGE_CURVE ( 'NONE', #2118, #2115, #8117, .T. ) ;
#2118 = VERTEX_POINT ( 'NONE', #8112 ) ;
#2119 = EDGE_CURVE ( 'NONE', #2751, #2576, #8111, .T. ) ;
#2120 = ADVANCED_FACE ( 'NONE', ( #8166 ), #8165, .F. ) ;
#2121 = EDGE_LOOP ( 'NONE', ( #2122, #2100, #2164, #2166, #2167 ) ) ;
#2122 = ORIENTED_EDGE ( 'NONE', *, *, #2123, .T. ) ;
#2123 = EDGE_CURVE ( 'NONE', #2126, #1984, #8160, .T. ) ;
#2124 = ORIENTED_EDGE ( 'NONE', *, *, #2125, .T. ) ;
#2125 = EDGE_CURVE ( 'NONE', #2101, #2126, #8152, .T. ) ;
#2126 = VERTEX_POINT ( 'NONE', #8153 ) ;
#2127 = ORIENTED_EDGE ( 'NONE', *, *, #2128, .F. ) ;
#2128 = EDGE_CURVE ( 'NONE', #2073, #1970, #8143, .T. ) ;
#2129 = ADVANCED_FACE ( 'NONE', ( #8139 ), #8199, .T. ) ;
#2130 = ORIENTED_EDGE ( 'NONE', *, *, #2080, .T. ) ;
#2131 = ORIENTED_EDGE ( 'NONE', *, *, #2032, .T. ) ;
#2132 = ORIENTED_EDGE ( 'NONE', *, *, #2071, .T. ) ;
#2133 = ORIENTED_EDGE ( 'NONE', *, *, #2165, .F. ) ;
#2134 = ADVANCED_FACE ( 'NONE', ( #8198 ), #8193, .F. ) ;
#2135 = EDGE_LOOP ( 'NONE', ( #2136, #2137, #2138, #2139, #2156, #2157 ) ) ;
#2136 = ORIENTED_EDGE ( 'NONE', *, *, #1986, .F. ) ;
#2137 = ORIENTED_EDGE ( 'NONE', *, *, #1982, .T. ) ;
#2138 = ORIENTED_EDGE ( 'NONE', *, *, #2123, .F. ) ;
#2139 = ORIENTED_EDGE ( 'NONE', *, *, #2125, .F. ) ;
#2140 = ORIENTED_EDGE ( 'NONE', *, *, #2141, .T. ) ;
#2141 = EDGE_CURVE ( 'NONE', #1972, #2112, #8188, .T. ) ;
#2142 = ORIENTED_EDGE ( 'NONE', *, *, #2143, .T. ) ;
#2143 = EDGE_CURVE ( 'NONE', #2112, #2110, #8184, .T. ) ;
#2144 = ADVANCED_FACE ( 'NONE', ( #8179, #8178 ), #8177, .F. ) ;
#2145 = EDGE_LOOP ( 'NONE', ( #2146, #2150, #2088, #2091, #2094, #2113, #2116, #2524, #2610, #2514, #2489, #2504, #2539, #2542, #2545, #2548 ) ) ;
#2146 = ORIENTED_EDGE ( 'NONE', *, *, #2147, .F. ) ;
#2147 = EDGE_CURVE ( 'NONE', #2148, #2149, #8172, .T. ) ;
#2148 = VERTEX_POINT ( 'NONE', #8229 ) ;
#2149 = VERTEX_POINT ( 'NONE', #8228 ) ;
#2150 = ORIENTED_EDGE ( 'NONE', *, *, #2151, .T. ) ;
#2151 = EDGE_CURVE ( 'NONE', #2148, #2152, #8227, .T. ) ;
#2152 = VERTEX_POINT ( 'NONE', #8222 ) ;
#2153 = ORIENTED_EDGE ( 'NONE', *, *, #1969, .T. ) ;
#2154 = ORIENTED_EDGE ( 'NONE', *, *, #2103, .F. ) ;
#2155 = ADVANCED_FACE ( 'NONE', ( #8221 ), #8220, .F. ) ;
#2156 = ORIENTED_EDGE ( 'NONE', *, *, #2099, .F. ) ;
#2157 = ORIENTED_EDGE ( 'NONE', *, *, #2013, .F. ) ;
#2158 = ADVANCED_FACE ( 'NONE', ( #8219 ), #8212, .T. ) ;
#2159 = EDGE_LOOP ( 'NONE', ( #2160, #2161, #2162, #2163 ) ) ;
#2160 = ORIENTED_EDGE ( 'NONE', *, *, #1912, .F. ) ;
#2161 = ORIENTED_EDGE ( 'NONE', *, *, #2062, .F. ) ;
#2162 = ORIENTED_EDGE ( 'NONE', *, *, #1978, .T. ) ;
#2163 = ORIENTED_EDGE ( 'NONE', *, *, #2083, .F. ) ;
#2164 = ORIENTED_EDGE ( 'NONE', *, *, #2165, .T. ) ;
#2165 = EDGE_CURVE ( 'NONE', #2079, #2073, #8213, .T. ) ;
#2166 = ORIENTED_EDGE ( 'NONE', *, *, #2128, .T. ) ;
#2167 = ORIENTED_EDGE ( 'NONE', *, *, #2105, .F. ) ;
#2168 = ADVANCED_FACE ( 'NONE', ( #8205 ), #8204, .F. ) ;
#2169 = EDGE_LOOP ( 'NONE', ( #2130, #2131, #2132, #2133 ) ) ;
#2170 = ORIENTED_EDGE ( 'NONE', *, *, #1497, .T. ) ;
#2171 = EDGE_LOOP ( 'NONE', ( #2170, #841, #4, #3, #2 ) ) ;
#2172 = ORIENTED_EDGE ( 'NONE', *, *, #2505, .F. ) ;
#2173 = ORIENTED_EDGE ( 'NONE', *, *, #2477, .F. ) ;
#2174 = ORIENTED_EDGE ( 'NONE', *, *, #3654, .F. ) ;
#2175 = ORIENTED_EDGE ( 'NONE', *, *, #2176, .T. ) ;
#2176 = EDGE_CURVE ( 'NONE', #2503, #3655, #8264, .T. ) ;
#2177 = ORIENTED_EDGE ( 'NONE', *, *, #3218, .F. ) ;
#2178 = ADVANCED_FACE ( 'NONE', ( #8259 ), #8258, .T. ) ;
#2179 = ADVANCED_FACE ( 'NONE', ( #8256 ), #8251, .F. ) ;
#2180 = EDGE_LOOP ( 'NONE', ( #2177, #2204, #2203, #2202 ) ) ;
#2181 = EDGE_CURVE ( 'NONE', #2185, #3655, #8245, .T. ) ;
#2182 = ORIENTED_EDGE ( 'NONE', *, *, #2490, .T. ) ;
#2183 = ORIENTED_EDGE ( 'NONE', *, *, #2176, .F. ) ;
#2184 = ORIENTED_EDGE ( 'NONE', *, *, #2181, .T. ) ;
#2185 = VERTEX_POINT ( 'NONE', #8241 ) ;
#2186 = EDGE_LOOP ( 'NONE', ( #2189, #2184, #2183, #2182 ) ) ;
#2187 = EDGE_CURVE ( 'NONE', #2515, #2185, #8239, .T. ) ;
#2188 = ORIENTED_EDGE ( 'NONE', *, *, #2549, .F. ) ;
#2189 = ORIENTED_EDGE ( 'NONE', *, *, #2187, .T. ) ;
#2190 = ADVANCED_FACE ( 'NONE', ( #8240 ), #8233, .F. ) ;
#2191 = ORIENTED_EDGE ( 'NONE', *, *, #2457, .F. ) ;
#2192 = EDGE_LOOP ( 'NONE', ( #2241, #2244, #2246, #2247 ) ) ;
#2193 = ORIENTED_EDGE ( 'NONE', *, *, #2196, .T. ) ;
#2194 = ORIENTED_EDGE ( 'NONE', *, *, #2449, .F. ) ;
#2195 = ORIENTED_EDGE ( 'NONE', *, *, #3589, .F. ) ;
#2196 = EDGE_CURVE ( 'NONE', #2458, #3579, #8290, .T. ) ;
#2197 = ORIENTED_EDGE ( 'NONE', *, *, #2200, .T. ) ;
#2198 = EDGE_LOOP ( 'NONE', ( #2197, #2188, #2194, #2195 ) ) ;
#2199 = ADVANCED_FACE ( 'NONE', ( #8285 ), #8284, .F. ) ;
#2200 = EDGE_CURVE ( 'NONE', #3598, #2149, #8283, .T. ) ;
#2201 = EDGE_CURVE ( 'NONE', #3172, #2458, #8274, .T. ) ;
#2202 = ORIENTED_EDGE ( 'NONE', *, *, #2201, .F. ) ;
#2203 = ORIENTED_EDGE ( 'NONE', *, *, #2196, .F. ) ;
#2204 = ORIENTED_EDGE ( 'NONE', *, *, #3588, .F. ) ;
#2205 = ORIENTED_EDGE ( 'NONE', *, *, #3647, .F. ) ;
#2206 = ADVANCED_FACE ( 'NONE', ( #8270 ), #8269, .F. ) ;
#2207 = EDGE_LOOP ( 'NONE', ( #2208, #2209, #6461, #6463, #2210 ) ) ;
#2208 = ORIENTED_EDGE ( 'NONE', *, *, #3659, .F. ) ;
#2209 = ORIENTED_EDGE ( 'NONE', *, *, #4180, .F. ) ;
#2210 = ORIENTED_EDGE ( 'NONE', *, *, #6422, .T. ) ;
#2211 = ADVANCED_FACE ( 'NONE', ( #8266 ), #8267, .F. ) ;
#2212 = EDGE_LOOP ( 'NONE', ( #2213, #6423, #6437, #6433 ) ) ;
#2213 = ORIENTED_EDGE ( 'NONE', *, *, #7950, .T. ) ;
#2214 = EDGE_LOOP ( 'NONE', ( #2215, #2217, #2219, #2220 ) ) ;
#2215 = ORIENTED_EDGE ( 'NONE', *, *, #2216, .T. ) ;
#2216 = EDGE_CURVE ( 'NONE', #2512, #3909, #8296, .T. ) ;
#2217 = ORIENTED_EDGE ( 'NONE', *, *, #2218, .T. ) ;
#2218 = EDGE_CURVE ( 'NONE', #3909, #2243, #8291, .T. ) ;
#2219 = ORIENTED_EDGE ( 'NONE', *, *, #2242, .F. ) ;
#2220 = ORIENTED_EDGE ( 'NONE', *, *, #2526, .T. ) ;
#2221 = ADVANCED_FACE ( 'NONE', ( #8342 ), #8341, .T. ) ;
#2222 = EDGE_LOOP ( 'NONE', ( #2223, #2224, #285, #286 ) ) ;
#2223 = ORIENTED_EDGE ( 'NONE', *, *, #3290, .F. ) ;
#2224 = ORIENTED_EDGE ( 'NONE', *, *, #2225, .F. ) ;
#2225 = EDGE_CURVE ( 'NONE', #2234, #3199, #8340, .T. ) ;
#2226 = ORIENTED_EDGE ( 'NONE', *, *, #2838, .F. ) ;
#2227 = ORIENTED_EDGE ( 'NONE', *, *, #2181, .F. ) ;
#2228 = ORIENTED_EDGE ( 'NONE', *, *, #2229, .F. ) ;
#2229 = EDGE_CURVE ( 'NONE', #3133, #2185, #8332, .T. ) ;
#2230 = ADVANCED_FACE ( 'NONE', ( #8328 ), #8326, .F. ) ;
#2231 = EDGE_LOOP ( 'NONE', ( #2232, #2235, #2236, #2237 ) ) ;
#2232 = ORIENTED_EDGE ( 'NONE', *, *, #2233, .T. ) ;
#2233 = EDGE_CURVE ( 'NONE', #2234, #2148, #8322, .T. ) ;
#2234 = VERTEX_POINT ( 'NONE', #8317 ) ;
#2235 = ORIENTED_EDGE ( 'NONE', *, *, #2147, .T. ) ;
#2236 = ORIENTED_EDGE ( 'NONE', *, *, #2200, .F. ) ;
#2237 = ORIENTED_EDGE ( 'NONE', *, *, #2238, .T. ) ;
#2238 = EDGE_CURVE ( 'NONE', #3598, #2234, #8315, .T. ) ;
#2239 = ADVANCED_FACE ( 'NONE', ( #8316 ), #8373, .F. ) ;
#2240 = ADVANCED_FACE ( 'NONE', ( #8369 ), #8368, .F. ) ;
#2241 = ORIENTED_EDGE ( 'NONE', *, *, #2242, .T. ) ;
#2242 = EDGE_CURVE ( 'NONE', #2513, #2243, #8364, .T. ) ;
#2243 = VERTEX_POINT ( 'NONE', #8359 ) ;
#2244 = ORIENTED_EDGE ( 'NONE', *, *, #2245, .F. ) ;
#2245 = EDGE_CURVE ( 'NONE', #2185, #2243, #8357, .T. ) ;
#2246 = ORIENTED_EDGE ( 'NONE', *, *, #2187, .F. ) ;
#2247 = ORIENTED_EDGE ( 'NONE', *, *, #2488, .F. ) ;
#2248 = ADVANCED_FACE ( 'NONE', ( #8358 ), #8351, .T. ) ;
#2249 = EDGE_LOOP ( 'NONE', ( #2250, #2251, #2227, #2228 ) ) ;
#2250 = ORIENTED_EDGE ( 'NONE', *, *, #3132, .F. ) ;
#2251 = ORIENTED_EDGE ( 'NONE', *, *, #3649, .F. ) ;
#2252 = EDGE_CURVE ( 'NONE', #4120, #3536, #8347, .T. ) ;
#2253 = ORIENTED_EDGE ( 'NONE', *, *, #4205, .F. ) ;
#2254 = ORIENTED_EDGE ( 'NONE', *, *, #2264, .T. ) ;
#2255 = ADVANCED_FACE ( 'NONE', ( #8346 ), #8388, .F. ) ;
#2256 = EDGE_LOOP ( 'NONE', ( #2257, #2258, #2259 ) ) ;
#2257 = ORIENTED_EDGE ( 'NONE', *, *, #4078, .F. ) ;
#2258 = ORIENTED_EDGE ( 'NONE', *, *, #4066, .F. ) ;
#2259 = ORIENTED_EDGE ( 'NONE', *, *, #2260, .F. ) ;
#2260 = EDGE_CURVE ( 'NONE', #4095, #4063, #8447, .T. ) ;
#2261 = ADVANCED_FACE ( 'NONE', ( #8442 ), #8441, .F. ) ;
#2262 = EDGE_LOOP ( 'NONE', ( #2263, #6445, #6442, #6435 ) ) ;
#2263 = ORIENTED_EDGE ( 'NONE', *, *, #2271, .T. ) ;
#2264 = EDGE_CURVE ( 'NONE', #3438, #4185, #8435, .T. ) ;
#2265 = ORIENTED_EDGE ( 'NONE', *, *, #3437, .F. ) ;
#2266 = ADVANCED_FACE ( 'NONE', ( #8431 ), #8430, .F. ) ;
#2267 = EDGE_LOOP ( 'NONE', ( #2268, #2269, #2270, #2272, #2273 ) ) ;
#2268 = ORIENTED_EDGE ( 'NONE', *, *, #6436, .T. ) ;
#2269 = ORIENTED_EDGE ( 'NONE', *, *, #4082, .F. ) ;
#2270 = ORIENTED_EDGE ( 'NONE', *, *, #2271, .F. ) ;
#2271 = EDGE_CURVE ( 'NONE', #3586, #4096, #8456, .T. ) ;
#2272 = ORIENTED_EDGE ( 'NONE', *, *, #3583, .F. ) ;
#2273 = ORIENTED_EDGE ( 'NONE', *, *, #4146, .F. ) ;
#2274 = ADVANCED_FACE ( 'NONE', ( #8457 ), #8488, .F. ) ;
#2275 = EDGE_LOOP ( 'NONE', ( #5881, #4269, #5370, #2253, #2254 ) ) ;
#2276 = ORIENTED_EDGE ( 'NONE', *, *, #425, .T. ) ;
#2277 = ORIENTED_EDGE ( 'NONE', *, *, #4036, .F. ) ;
#2278 = ORIENTED_EDGE ( 'NONE', *, *, #7950, .F. ) ;
#2279 = ORIENTED_EDGE ( 'NONE', *, *, #3596, .F. ) ;
#2280 = ORIENTED_EDGE ( 'NONE', *, *, #2281, .F. ) ;
#2281 = EDGE_CURVE ( 'NONE', #1131, #1130, #8455, .T. ) ;
#2282 = ADVANCED_FACE ( 'NONE', ( #8483 ), #8522, .F. ) ;
#2283 = EDGE_LOOP ( 'NONE', ( #2284, #2285, #2287, #2288 ) ) ;
#2284 = ORIENTED_EDGE ( 'NONE', *, *, #1229, .F. ) ;
#2285 = ORIENTED_EDGE ( 'NONE', *, *, #2286, .F. ) ;
#2286 = EDGE_CURVE ( 'NONE', #1227, #1226, #8517, .T. ) ;
#2287 = ORIENTED_EDGE ( 'NONE', *, *, #1202, .T. ) ;
#2288 = ORIENTED_EDGE ( 'NONE', *, *, #2310, .F. ) ;
#2289 = ORIENTED_EDGE ( 'NONE', *, *, #4069, .F. ) ;
#2290 = ADVANCED_FACE ( 'NONE', ( #8512, #8511, #8510, #8509, #8508, #8507 ), #8506, .T. ) ;
#2291 = EDGE_LOOP ( 'NONE', ( #2292, #2293 ) ) ;
#2292 = ORIENTED_EDGE ( 'NONE', *, *, #260, .F. ) ;
#2293 = ORIENTED_EDGE ( 'NONE', *, *, #1378, .F. ) ;
#2294 = EDGE_LOOP ( 'NONE', ( #2295, #2296 ) ) ;
#2295 = ORIENTED_EDGE ( 'NONE', *, *, #244, .F. ) ;
#2296 = ORIENTED_EDGE ( 'NONE', *, *, #1364, .F. ) ;
#2297 = EDGE_LOOP ( 'NONE', ( #2350, #2351 ) ) ;
#2298 = EDGE_CURVE ( 'NONE', #1049, #1048, #8501, .T. ) ;
#2299 = ORIENTED_EDGE ( 'NONE', *, *, #1122, .T. ) ;
#2300 = ORIENTED_EDGE ( 'NONE', *, *, #2301, .F. ) ;
#2301 = EDGE_CURVE ( 'NONE', #1117, #1120, #8496, .T. ) ;
#2302 = ADVANCED_FACE ( 'NONE', ( #8491 ), #8490, .T. ) ;
#2303 = EDGE_LOOP ( 'NONE', ( #2304, #2305, #2306, #2307 ) ) ;
#2304 = ORIENTED_EDGE ( 'NONE', *, *, #1051, .F. ) ;
#2305 = ORIENTED_EDGE ( 'NONE', *, *, #2298, .T. ) ;
#2306 = ORIENTED_EDGE ( 'NONE', *, *, #1057, .T. ) ;
#2307 = ORIENTED_EDGE ( 'NONE', *, *, #1281, .T. ) ;
#2308 = ADVANCED_FACE ( 'NONE', ( #8550 ), #8549, .T. ) ;
#2309 = EDGE_LOOP ( 'NONE', ( #2364, #2365, #2366, #2367 ) ) ;
#2310 = EDGE_CURVE ( 'NONE', #1230, #1200, #8544, .T. ) ;
#2311 = ADVANCED_FACE ( 'NONE', ( #8540 ), #8539, .F. ) ;
#2312 = EDGE_LOOP ( 'NONE', ( #2313, #2314, #2316, #2317 ) ) ;
#2313 = ORIENTED_EDGE ( 'NONE', *, *, #1271, .F. ) ;
#2314 = ORIENTED_EDGE ( 'NONE', *, *, #2315, .F. ) ;
#2315 = EDGE_CURVE ( 'NONE', #1279, #1278, #8533, .T. ) ;
#2316 = ORIENTED_EDGE ( 'NONE', *, *, #1283, .T. ) ;
#2317 = ORIENTED_EDGE ( 'NONE', *, *, #1054, .F. ) ;
#2318 = ADVANCED_FACE ( 'NONE', ( #8529 ), #8528, .T. ) ;
#2319 = EDGE_LOOP ( 'NONE', ( #2320, #2321, #2299, #2300 ) ) ;
#2320 = ORIENTED_EDGE ( 'NONE', *, *, #1116, .F. ) ;
#2321 = ORIENTED_EDGE ( 'NONE', *, *, #2298, .F. ) ;
#2322 = ORIENTED_EDGE ( 'NONE', *, *, #1125, .F. ) ;
#2323 = ORIENTED_EDGE ( 'NONE', *, *, #2324, .F. ) ;
#2324 = EDGE_CURVE ( 'NONE', #1123, #1207, #8589, .T. ) ;
#2325 = ORIENTED_EDGE ( 'NONE', *, *, #1272, .T. ) ;
#2326 = ADVANCED_FACE ( 'NONE', ( #8585, #8584 ), #8583, .F. ) ;
#2327 = EDGE_LOOP ( 'NONE', ( #2328, #2329 ) ) ;
#2328 = ORIENTED_EDGE ( 'NONE', *, *, #2324, .T. ) ;
#2329 = ORIENTED_EDGE ( 'NONE', *, *, #1206, .T. ) ;
#2330 = EDGE_LOOP ( 'NONE', ( #2331, #2332 ) ) ;
#2331 = ORIENTED_EDGE ( 'NONE', *, *, #2315, .T. ) ;
#2332 = ORIENTED_EDGE ( 'NONE', *, *, #1277, .T. ) ;
#2333 = ADVANCED_FACE ( 'NONE', ( #8578, #8577 ), #8576, .T. ) ;
#2334 = EDGE_LOOP ( 'NONE', ( #2391, #2392 ) ) ;
#2335 = EDGE_CURVE ( 'NONE', #2362, #2336, #8571, .T. ) ;
#2336 = VERTEX_POINT ( 'NONE', #8566 ) ;
#2337 = ORIENTED_EDGE ( 'NONE', *, *, #2338, .T. ) ;
#2338 = EDGE_CURVE ( 'NONE', #2336, #2339, #8564, .T. ) ;
#2339 = VERTEX_POINT ( 'NONE', #8560 ) ;
#2340 = ORIENTED_EDGE ( 'NONE', *, *, #2341, .T. ) ;
#2341 = EDGE_CURVE ( 'NONE', #2339, #2342, #8559, .T. ) ;
#2342 = VERTEX_POINT ( 'NONE', #8616 ) ;
#2343 = ORIENTED_EDGE ( 'NONE', *, *, #2344, .T. ) ;
#2344 = EDGE_CURVE ( 'NONE', #2342, #2345, #8615, .T. ) ;
#2345 = VERTEX_POINT ( 'NONE', #8611 ) ;
#2346 = ORIENTED_EDGE ( 'NONE', *, *, #2347, .T. ) ;
#2347 = EDGE_CURVE ( 'NONE', #2345, #2348, #8610, .T. ) ;
#2348 = VERTEX_POINT ( 'NONE', #8605 ) ;
#2349 = VERTEX_POINT ( 'NONE', #8604 ) ;
#2350 = ORIENTED_EDGE ( 'NONE', *, *, #199, .F. ) ;
#2351 = ORIENTED_EDGE ( 'NONE', *, *, #1490, .F. ) ;
#2352 = EDGE_LOOP ( 'NONE', ( #2353, #2354 ) ) ;
#2353 = ORIENTED_EDGE ( 'NONE', *, *, #315, .F. ) ;
#2354 = ORIENTED_EDGE ( 'NONE', *, *, #1466, .F. ) ;
#2355 = EDGE_LOOP ( 'NONE', ( #2356, #2357 ) ) ;
#2356 = ORIENTED_EDGE ( 'NONE', *, *, #2368, .F. ) ;
#2357 = ORIENTED_EDGE ( 'NONE', *, *, #1136, .F. ) ;
#2358 = EDGE_LOOP ( 'NONE', ( #2359, #2363, #2337, #2340, #2343, #2346, #2403, #2405 ) ) ;
#2359 = ORIENTED_EDGE ( 'NONE', *, *, #2360, .T. ) ;
#2360 = EDGE_CURVE ( 'NONE', #2361, #2362, #8603, .T. ) ;
#2361 = VERTEX_POINT ( 'NONE', #8599 ) ;
#2362 = VERTEX_POINT ( 'NONE', #8598 ) ;
#2363 = ORIENTED_EDGE ( 'NONE', *, *, #2335, .T. ) ;
#2364 = ORIENTED_EDGE ( 'NONE', *, *, #1133, .F. ) ;
#2365 = ORIENTED_EDGE ( 'NONE', *, *, #2281, .T. ) ;
#2366 = ORIENTED_EDGE ( 'NONE', *,