reform/reform2-heatsink/reform2heatsink2.step

ISO-10303-21;
HEADER;
FILE_DESCRIPTION(('FreeCAD Model'),'2;1');
FILE_NAME(
  '/home/mntmn/code/reform/reform2-heatsink/reform2heatsink2.step',
  '2019-11-06T18:13:46',('Author'),(''),
  'Open CASCADE STEP processor 7.3','FreeCAD','Unknown');
FILE_SCHEMA(('AUTOMOTIVE_DESIGN { 1 0 10303 214 1 1 1 1 }'));
ENDSEC;
DATA;
#1 = APPLICATION_PROTOCOL_DEFINITION('international standard',
  'automotive_design',2000,#2);
#2 = APPLICATION_CONTEXT(
  'core data for automotive mechanical design processes');
#3 = SHAPE_DEFINITION_REPRESENTATION(#4,#10);
#4 = PRODUCT_DEFINITION_SHAPE('','',#5);
#5 = PRODUCT_DEFINITION('design','',#6,#9);
#6 = PRODUCT_DEFINITION_FORMATION('','',#7);
#7 = PRODUCT('union001','union001','',(#8));
#8 = PRODUCT_CONTEXT('',#2,'mechanical');
#9 = PRODUCT_DEFINITION_CONTEXT('part definition',#2,'design');
#10 = ADVANCED_BREP_SHAPE_REPRESENTATION('',(#11,#15),#12243);
#11 = AXIS2_PLACEMENT_3D('',#12,#13,#14);
#12 = CARTESIAN_POINT('',(0.,0.,0.));
#13 = DIRECTION('',(0.,0.,1.));
#14 = DIRECTION('',(1.,0.,-0.));
#15 = MANIFOLD_SOLID_BREP('',#16);
#16 = CLOSED_SHELL('',(#17,#1017,#2083,#2107,#2131,#2148,#2172,#2196,
    #2213,#2237,#2261,#2278,#2302,#2326,#2350,#2374,#2398,#2422,#2446,
    #2470,#2494,#2518,#2542,#2566,#2590,#2614,#2638,#2662,#2686,#2710,
    #2734,#2758,#2782,#2806,#2830,#2854,#2878,#2902,#2926,#2950,#2974,
    #2998,#3022,#3046,#3070,#3094,#3118,#3142,#3166,#3190,#3214,#3238,
    #3262,#3286,#3310,#3334,#3358,#3382,#3406,#3430,#3454,#3478,#3502,
    #3526,#3550,#3574,#3598,#3622,#3646,#3670,#3694,#3718,#3742,#3766,
    #3790,#3814,#3838,#3862,#3886,#3910,#3934,#3958,#3982,#4374,#4398,
    #4422,#4439,#4463,#4487,#4504,#4528,#4552,#4576,#4600,#4624,#4648,
    #4672,#4696,#4720,#4744,#4768,#4792,#4816,#4840,#4864,#4888,#4912,
    #4936,#4960,#4984,#5008,#5032,#5056,#5080,#5104,#5128,#5152,#5176,
    #5200,#5906,#5923,#5935,#5947,#5959,#6071,#6102,#6126,#6150,#6174,
    #6198,#6222,#6246,#6270,#6294,#6318,#6342,#6366,#6390,#6414,#6438,
    #6462,#6486,#6510,#6534,#6558,#6582,#6606,#6630,#6654,#6678,#6702,
    #6726,#6750,#6774,#6798,#6822,#6846,#6870,#6894,#6918,#6942,#6966,
    #6990,#7014,#7031,#7062,#7086,#7110,#7134,#7158,#7182,#7206,#7230,
    #7254,#7278,#7302,#7326,#7350,#7374,#7398,#7422,#7446,#7470,#7494,
    #7518,#7542,#7566,#7590,#7614,#7638,#7662,#7686,#7710,#7734,#7758,
    #7782,#7806,#7830,#7854,#7878,#7902,#7926,#7950,#7974,#7991,#8022,
    #8046,#8070,#8094,#8118,#8142,#8166,#8190,#8214,#8238,#8262,#8286,
    #8310,#8334,#8358,#8382,#8406,#8430,#8454,#8478,#8502,#8526,#8550,
    #8574,#8598,#8622,#8646,#8670,#8694,#8718,#8742,#8766,#8790,#8814,
    #8838,#8862,#8886,#8910,#8934,#8951,#8963,#8975,#9006,#9030,#9054,
    #9078,#9102,#9126,#9150,#9174,#9198,#9222,#9246,#9270,#9294,#9318,
    #9342,#9366,#9390,#9414,#9438,#9462,#9486,#9510,#9534,#9558,#9582,
    #9606,#9630,#9654,#9678,#9702,#9726,#9750,#9774,#9798,#9822,#9846,
    #9870,#9894,#9918,#9935,#9966,#9990,#10014,#10038,#10062,#10086,
    #10110,#10134,#10158,#10182,#10206,#10230,#10254,#10278,#10302,
    #10326,#10350,#10374,#10398,#10415,#10446,#10470,#10494,#10511,
    #10542,#10566,#10590,#10614,#10638,#10662,#10686,#10710,#10734,
    #10758,#10782,#10806,#10830,#10854,#10878,#10902,#10926,#10950,
    #10974,#10991,#11022,#11046,#11070,#11094,#11118,#11142,#11166,
    #11190,#11214,#11238,#11262,#11286,#11310,#11334,#11358,#11382,
    #11406,#11430,#11454,#11471,#11502,#11526,#11550,#11574,#11598,
    #11622,#11646,#11670,#11694,#11718,#11742,#11766,#11790,#11814,
    #11838,#11862,#11886,#11910,#11934,#11951,#12021,#12091,#12161,
    #12231));
#17 = ADVANCED_FACE('',(#18),#1012,.F.);
#18 = FACE_BOUND('',#19,.F.);
#19 = EDGE_LOOP('',(#20,#30,#38,#46,#54,#62,#70,#78,#86,#94,#102,#110,
    #118,#126,#134,#142,#150,#158,#166,#174,#182,#190,#198,#206,#214,
    #222,#230,#238,#246,#254,#262,#270,#278,#286,#294,#302,#310,#318,
    #326,#334,#342,#350,#358,#366,#374,#382,#390,#398,#406,#414,#422,
    #430,#438,#446,#454,#462,#470,#478,#486,#494,#502,#510,#518,#526,
    #534,#542,#550,#558,#566,#574,#582,#590,#598,#606,#614,#622,#630,
    #638,#646,#654,#662,#670,#678,#686,#694,#702,#710,#718,#726,#734,
    #742,#750,#758,#766,#774,#782,#790,#798,#806,#814,#822,#830,#838,
    #846,#854,#862,#870,#878,#886,#894,#902,#910,#918,#926,#934,#942,
    #950,#958,#966,#974,#982,#990,#998,#1006));
#20 = ORIENTED_EDGE('',*,*,#21,.F.);
#21 = EDGE_CURVE('',#22,#24,#26,.T.);
#22 = VERTEX_POINT('',#23);
#23 = CARTESIAN_POINT('',(0.,0.,6.));
#24 = VERTEX_POINT('',#25);
#25 = CARTESIAN_POINT('',(0.,8.5,6.));
#26 = LINE('',#27,#28);
#27 = CARTESIAN_POINT('',(0.,0.,6.));
#28 = VECTOR('',#29,1.);
#29 = DIRECTION('',(0.,1.,0.));
#30 = ORIENTED_EDGE('',*,*,#31,.F.);
#31 = EDGE_CURVE('',#32,#22,#34,.T.);
#32 = VERTEX_POINT('',#33);
#33 = CARTESIAN_POINT('',(0.,0.,0.));
#34 = LINE('',#35,#36);
#35 = CARTESIAN_POINT('',(0.,0.,0.));
#36 = VECTOR('',#37,1.);
#37 = DIRECTION('',(0.,0.,1.));
#38 = ORIENTED_EDGE('',*,*,#39,.T.);
#39 = EDGE_CURVE('',#32,#40,#42,.T.);
#40 = VERTEX_POINT('',#41);
#41 = CARTESIAN_POINT('',(0.,100.,0.));
#42 = LINE('',#43,#44);
#43 = CARTESIAN_POINT('',(0.,0.,0.));
#44 = VECTOR('',#45,1.);
#45 = DIRECTION('',(0.,1.,0.));
#46 = ORIENTED_EDGE('',*,*,#47,.T.);
#47 = EDGE_CURVE('',#40,#48,#50,.T.);
#48 = VERTEX_POINT('',#49);
#49 = CARTESIAN_POINT('',(0.,100.,6.));
#50 = LINE('',#51,#52);
#51 = CARTESIAN_POINT('',(0.,100.,0.));
#52 = VECTOR('',#53,1.);
#53 = DIRECTION('',(0.,0.,1.));
#54 = ORIENTED_EDGE('',*,*,#55,.F.);
#55 = EDGE_CURVE('',#56,#48,#58,.T.);
#56 = VERTEX_POINT('',#57);
#57 = CARTESIAN_POINT('',(0.,97.5,6.));
#58 = LINE('',#59,#60);
#59 = CARTESIAN_POINT('',(0.,0.,6.));
#60 = VECTOR('',#61,1.);
#61 = DIRECTION('',(0.,1.,0.));
#62 = ORIENTED_EDGE('',*,*,#63,.F.);
#63 = EDGE_CURVE('',#64,#56,#66,.T.);
#64 = VERTEX_POINT('',#65);
#65 = CARTESIAN_POINT('',(0.,97.5,2.));
#66 = LINE('',#67,#68);
#67 = CARTESIAN_POINT('',(0.,97.5,1.));
#68 = VECTOR('',#69,1.);
#69 = DIRECTION('',(0.,0.,1.));
#70 = ORIENTED_EDGE('',*,*,#71,.T.);
#71 = EDGE_CURVE('',#64,#72,#74,.T.);
#72 = VERTEX_POINT('',#73);
#73 = CARTESIAN_POINT('',(0.,95.5,2.));
#74 = LINE('',#75,#76);
#75 = CARTESIAN_POINT('',(0.,47.75,2.));
#76 = VECTOR('',#77,1.);
#77 = DIRECTION('',(0.,-1.,0.));
#78 = ORIENTED_EDGE('',*,*,#79,.T.);
#79 = EDGE_CURVE('',#72,#80,#82,.T.);
#80 = VERTEX_POINT('',#81);
#81 = CARTESIAN_POINT('',(0.,95.5,6.));
#82 = LINE('',#83,#84);
#83 = CARTESIAN_POINT('',(0.,95.5,1.));
#84 = VECTOR('',#85,1.);
#85 = DIRECTION('',(0.,0.,1.));
#86 = ORIENTED_EDGE('',*,*,#87,.F.);
#87 = EDGE_CURVE('',#88,#80,#90,.T.);
#88 = VERTEX_POINT('',#89);
#89 = CARTESIAN_POINT('',(0.,94.5,6.));
#90 = LINE('',#91,#92);
#91 = CARTESIAN_POINT('',(0.,0.,6.));
#92 = VECTOR('',#93,1.);
#93 = DIRECTION('',(0.,1.,0.));
#94 = ORIENTED_EDGE('',*,*,#95,.F.);
#95 = EDGE_CURVE('',#96,#88,#98,.T.);
#96 = VERTEX_POINT('',#97);
#97 = CARTESIAN_POINT('',(0.,94.5,2.));
#98 = LINE('',#99,#100);
#99 = CARTESIAN_POINT('',(0.,94.5,1.));
#100 = VECTOR('',#101,1.);
#101 = DIRECTION('',(0.,0.,1.));
#102 = ORIENTED_EDGE('',*,*,#103,.T.);
#103 = EDGE_CURVE('',#96,#104,#106,.T.);
#104 = VERTEX_POINT('',#105);
#105 = CARTESIAN_POINT('',(0.,92.5,2.));
#106 = LINE('',#107,#108);
#107 = CARTESIAN_POINT('',(0.,46.25,2.));
#108 = VECTOR('',#109,1.);
#109 = DIRECTION('',(0.,-1.,0.));
#110 = ORIENTED_EDGE('',*,*,#111,.T.);
#111 = EDGE_CURVE('',#104,#112,#114,.T.);
#112 = VERTEX_POINT('',#113);
#113 = CARTESIAN_POINT('',(0.,92.5,6.));
#114 = LINE('',#115,#116);
#115 = CARTESIAN_POINT('',(0.,92.5,1.));
#116 = VECTOR('',#117,1.);
#117 = DIRECTION('',(0.,0.,1.));
#118 = ORIENTED_EDGE('',*,*,#119,.F.);
#119 = EDGE_CURVE('',#120,#112,#122,.T.);
#120 = VERTEX_POINT('',#121);
#121 = CARTESIAN_POINT('',(0.,91.5,6.));
#122 = LINE('',#123,#124);
#123 = CARTESIAN_POINT('',(0.,0.,6.));
#124 = VECTOR('',#125,1.);
#125 = DIRECTION('',(0.,1.,0.));
#126 = ORIENTED_EDGE('',*,*,#127,.F.);
#127 = EDGE_CURVE('',#128,#120,#130,.T.);
#128 = VERTEX_POINT('',#129);
#129 = CARTESIAN_POINT('',(0.,91.5,2.));
#130 = LINE('',#131,#132);
#131 = CARTESIAN_POINT('',(0.,91.5,1.));
#132 = VECTOR('',#133,1.);
#133 = DIRECTION('',(0.,0.,1.));
#134 = ORIENTED_EDGE('',*,*,#135,.T.);
#135 = EDGE_CURVE('',#128,#136,#138,.T.);
#136 = VERTEX_POINT('',#137);
#137 = CARTESIAN_POINT('',(0.,89.5,2.));
#138 = LINE('',#139,#140);
#139 = CARTESIAN_POINT('',(0.,44.75,2.));
#140 = VECTOR('',#141,1.);
#141 = DIRECTION('',(0.,-1.,0.));
#142 = ORIENTED_EDGE('',*,*,#143,.T.);
#143 = EDGE_CURVE('',#136,#144,#146,.T.);
#144 = VERTEX_POINT('',#145);
#145 = CARTESIAN_POINT('',(0.,89.5,6.));
#146 = LINE('',#147,#148);
#147 = CARTESIAN_POINT('',(0.,89.5,1.));
#148 = VECTOR('',#149,1.);
#149 = DIRECTION('',(0.,0.,1.));
#150 = ORIENTED_EDGE('',*,*,#151,.F.);
#151 = EDGE_CURVE('',#152,#144,#154,.T.);
#152 = VERTEX_POINT('',#153);
#153 = CARTESIAN_POINT('',(0.,88.5,6.));
#154 = LINE('',#155,#156);
#155 = CARTESIAN_POINT('',(0.,0.,6.));
#156 = VECTOR('',#157,1.);
#157 = DIRECTION('',(0.,1.,0.));
#158 = ORIENTED_EDGE('',*,*,#159,.F.);
#159 = EDGE_CURVE('',#160,#152,#162,.T.);
#160 = VERTEX_POINT('',#161);
#161 = CARTESIAN_POINT('',(0.,88.5,2.));
#162 = LINE('',#163,#164);
#163 = CARTESIAN_POINT('',(0.,88.5,1.));
#164 = VECTOR('',#165,1.);
#165 = DIRECTION('',(0.,0.,1.));
#166 = ORIENTED_EDGE('',*,*,#167,.T.);
#167 = EDGE_CURVE('',#160,#168,#170,.T.);
#168 = VERTEX_POINT('',#169);
#169 = CARTESIAN_POINT('',(0.,86.5,2.));
#170 = LINE('',#171,#172);
#171 = CARTESIAN_POINT('',(0.,43.25,2.));
#172 = VECTOR('',#173,1.);
#173 = DIRECTION('',(0.,-1.,0.));
#174 = ORIENTED_EDGE('',*,*,#175,.T.);
#175 = EDGE_CURVE('',#168,#176,#178,.T.);
#176 = VERTEX_POINT('',#177);
#177 = CARTESIAN_POINT('',(0.,86.5,6.));
#178 = LINE('',#179,#180);
#179 = CARTESIAN_POINT('',(0.,86.5,1.));
#180 = VECTOR('',#181,1.);
#181 = DIRECTION('',(0.,0.,1.));
#182 = ORIENTED_EDGE('',*,*,#183,.F.);
#183 = EDGE_CURVE('',#184,#176,#186,.T.);
#184 = VERTEX_POINT('',#185);
#185 = CARTESIAN_POINT('',(0.,85.5,6.));
#186 = LINE('',#187,#188);
#187 = CARTESIAN_POINT('',(0.,0.,6.));
#188 = VECTOR('',#189,1.);
#189 = DIRECTION('',(0.,1.,0.));
#190 = ORIENTED_EDGE('',*,*,#191,.F.);
#191 = EDGE_CURVE('',#192,#184,#194,.T.);
#192 = VERTEX_POINT('',#193);
#193 = CARTESIAN_POINT('',(0.,85.5,2.));
#194 = LINE('',#195,#196);
#195 = CARTESIAN_POINT('',(0.,85.5,1.));
#196 = VECTOR('',#197,1.);
#197 = DIRECTION('',(0.,0.,1.));
#198 = ORIENTED_EDGE('',*,*,#199,.T.);
#199 = EDGE_CURVE('',#192,#200,#202,.T.);
#200 = VERTEX_POINT('',#201);
#201 = CARTESIAN_POINT('',(0.,83.5,2.));
#202 = LINE('',#203,#204);
#203 = CARTESIAN_POINT('',(0.,41.75,2.));
#204 = VECTOR('',#205,1.);
#205 = DIRECTION('',(0.,-1.,0.));
#206 = ORIENTED_EDGE('',*,*,#207,.T.);
#207 = EDGE_CURVE('',#200,#208,#210,.T.);
#208 = VERTEX_POINT('',#209);
#209 = CARTESIAN_POINT('',(0.,83.5,6.));
#210 = LINE('',#211,#212);
#211 = CARTESIAN_POINT('',(0.,83.5,1.));
#212 = VECTOR('',#213,1.);
#213 = DIRECTION('',(0.,0.,1.));
#214 = ORIENTED_EDGE('',*,*,#215,.F.);
#215 = EDGE_CURVE('',#216,#208,#218,.T.);
#216 = VERTEX_POINT('',#217);
#217 = CARTESIAN_POINT('',(0.,82.5,6.));
#218 = LINE('',#219,#220);
#219 = CARTESIAN_POINT('',(0.,0.,6.));
#220 = VECTOR('',#221,1.);
#221 = DIRECTION('',(0.,1.,0.));
#222 = ORIENTED_EDGE('',*,*,#223,.F.);
#223 = EDGE_CURVE('',#224,#216,#226,.T.);
#224 = VERTEX_POINT('',#225);
#225 = CARTESIAN_POINT('',(0.,82.5,2.));
#226 = LINE('',#227,#228);
#227 = CARTESIAN_POINT('',(0.,82.5,1.));
#228 = VECTOR('',#229,1.);
#229 = DIRECTION('',(0.,0.,1.));
#230 = ORIENTED_EDGE('',*,*,#231,.T.);
#231 = EDGE_CURVE('',#224,#232,#234,.T.);
#232 = VERTEX_POINT('',#233);
#233 = CARTESIAN_POINT('',(0.,80.5,2.));
#234 = LINE('',#235,#236);
#235 = CARTESIAN_POINT('',(0.,40.25,2.));
#236 = VECTOR('',#237,1.);
#237 = DIRECTION('',(0.,-1.,0.));
#238 = ORIENTED_EDGE('',*,*,#239,.T.);
#239 = EDGE_CURVE('',#232,#240,#242,.T.);
#240 = VERTEX_POINT('',#241);
#241 = CARTESIAN_POINT('',(0.,80.5,6.));
#242 = LINE('',#243,#244);
#243 = CARTESIAN_POINT('',(0.,80.5,1.));
#244 = VECTOR('',#245,1.);
#245 = DIRECTION('',(0.,0.,1.));
#246 = ORIENTED_EDGE('',*,*,#247,.F.);
#247 = EDGE_CURVE('',#248,#240,#250,.T.);
#248 = VERTEX_POINT('',#249);
#249 = CARTESIAN_POINT('',(0.,79.5,6.));
#250 = LINE('',#251,#252);
#251 = CARTESIAN_POINT('',(0.,0.,6.));
#252 = VECTOR('',#253,1.);
#253 = DIRECTION('',(0.,1.,0.));
#254 = ORIENTED_EDGE('',*,*,#255,.F.);
#255 = EDGE_CURVE('',#256,#248,#258,.T.);
#256 = VERTEX_POINT('',#257);
#257 = CARTESIAN_POINT('',(0.,79.5,2.));
#258 = LINE('',#259,#260);
#259 = CARTESIAN_POINT('',(0.,79.5,1.));
#260 = VECTOR('',#261,1.);
#261 = DIRECTION('',(0.,0.,1.));
#262 = ORIENTED_EDGE('',*,*,#263,.T.);
#263 = EDGE_CURVE('',#256,#264,#266,.T.);
#264 = VERTEX_POINT('',#265);
#265 = CARTESIAN_POINT('',(0.,77.5,2.));
#266 = LINE('',#267,#268);
#267 = CARTESIAN_POINT('',(0.,38.75,2.));
#268 = VECTOR('',#269,1.);
#269 = DIRECTION('',(0.,-1.,0.));
#270 = ORIENTED_EDGE('',*,*,#271,.T.);
#271 = EDGE_CURVE('',#264,#272,#274,.T.);
#272 = VERTEX_POINT('',#273);
#273 = CARTESIAN_POINT('',(0.,77.5,6.));
#274 = LINE('',#275,#276);
#275 = CARTESIAN_POINT('',(0.,77.5,1.));
#276 = VECTOR('',#277,1.);
#277 = DIRECTION('',(0.,0.,1.));
#278 = ORIENTED_EDGE('',*,*,#279,.F.);
#279 = EDGE_CURVE('',#280,#272,#282,.T.);
#280 = VERTEX_POINT('',#281);
#281 = CARTESIAN_POINT('',(0.,76.5,6.));
#282 = LINE('',#283,#284);
#283 = CARTESIAN_POINT('',(0.,0.,6.));
#284 = VECTOR('',#285,1.);
#285 = DIRECTION('',(0.,1.,0.));
#286 = ORIENTED_EDGE('',*,*,#287,.F.);
#287 = EDGE_CURVE('',#288,#280,#290,.T.);
#288 = VERTEX_POINT('',#289);
#289 = CARTESIAN_POINT('',(0.,76.5,2.));
#290 = LINE('',#291,#292);
#291 = CARTESIAN_POINT('',(0.,76.5,1.));
#292 = VECTOR('',#293,1.);
#293 = DIRECTION('',(0.,0.,1.));
#294 = ORIENTED_EDGE('',*,*,#295,.T.);
#295 = EDGE_CURVE('',#288,#296,#298,.T.);
#296 = VERTEX_POINT('',#297);
#297 = CARTESIAN_POINT('',(0.,74.5,2.));
#298 = LINE('',#299,#300);
#299 = CARTESIAN_POINT('',(0.,37.25,2.));
#300 = VECTOR('',#301,1.);
#301 = DIRECTION('',(0.,-1.,0.));
#302 = ORIENTED_EDGE('',*,*,#303,.T.);
#303 = EDGE_CURVE('',#296,#304,#306,.T.);
#304 = VERTEX_POINT('',#305);
#305 = CARTESIAN_POINT('',(0.,74.5,6.));
#306 = LINE('',#307,#308);
#307 = CARTESIAN_POINT('',(0.,74.5,1.));
#308 = VECTOR('',#309,1.);
#309 = DIRECTION('',(0.,0.,1.));
#310 = ORIENTED_EDGE('',*,*,#311,.F.);
#311 = EDGE_CURVE('',#312,#304,#314,.T.);
#312 = VERTEX_POINT('',#313);
#313 = CARTESIAN_POINT('',(0.,73.5,6.));
#314 = LINE('',#315,#316);
#315 = CARTESIAN_POINT('',(0.,0.,6.));
#316 = VECTOR('',#317,1.);
#317 = DIRECTION('',(0.,1.,0.));
#318 = ORIENTED_EDGE('',*,*,#319,.F.);
#319 = EDGE_CURVE('',#320,#312,#322,.T.);
#320 = VERTEX_POINT('',#321);
#321 = CARTESIAN_POINT('',(0.,73.5,2.));
#322 = LINE('',#323,#324);
#323 = CARTESIAN_POINT('',(0.,73.5,1.));
#324 = VECTOR('',#325,1.);
#325 = DIRECTION('',(0.,0.,1.));
#326 = ORIENTED_EDGE('',*,*,#327,.T.);
#327 = EDGE_CURVE('',#320,#328,#330,.T.);
#328 = VERTEX_POINT('',#329);
#329 = CARTESIAN_POINT('',(0.,71.5,2.));
#330 = LINE('',#331,#332);
#331 = CARTESIAN_POINT('',(0.,35.75,2.));
#332 = VECTOR('',#333,1.);
#333 = DIRECTION('',(0.,-1.,0.));
#334 = ORIENTED_EDGE('',*,*,#335,.T.);
#335 = EDGE_CURVE('',#328,#336,#338,.T.);
#336 = VERTEX_POINT('',#337);
#337 = CARTESIAN_POINT('',(0.,71.5,6.));
#338 = LINE('',#339,#340);
#339 = CARTESIAN_POINT('',(0.,71.5,1.));
#340 = VECTOR('',#341,1.);
#341 = DIRECTION('',(0.,0.,1.));
#342 = ORIENTED_EDGE('',*,*,#343,.F.);
#343 = EDGE_CURVE('',#344,#336,#346,.T.);
#344 = VERTEX_POINT('',#345);
#345 = CARTESIAN_POINT('',(0.,70.5,6.));
#346 = LINE('',#347,#348);
#347 = CARTESIAN_POINT('',(0.,0.,6.));
#348 = VECTOR('',#349,1.);
#349 = DIRECTION('',(0.,1.,0.));
#350 = ORIENTED_EDGE('',*,*,#351,.F.);
#351 = EDGE_CURVE('',#352,#344,#354,.T.);
#352 = VERTEX_POINT('',#353);
#353 = CARTESIAN_POINT('',(0.,70.5,2.));
#354 = LINE('',#355,#356);
#355 = CARTESIAN_POINT('',(0.,70.5,1.));
#356 = VECTOR('',#357,1.);
#357 = DIRECTION('',(0.,0.,1.));
#358 = ORIENTED_EDGE('',*,*,#359,.T.);
#359 = EDGE_CURVE('',#352,#360,#362,.T.);
#360 = VERTEX_POINT('',#361);
#361 = CARTESIAN_POINT('',(0.,68.5,2.));
#362 = LINE('',#363,#364);
#363 = CARTESIAN_POINT('',(0.,34.25,2.));
#364 = VECTOR('',#365,1.);
#365 = DIRECTION('',(0.,-1.,0.));
#366 = ORIENTED_EDGE('',*,*,#367,.T.);
#367 = EDGE_CURVE('',#360,#368,#370,.T.);
#368 = VERTEX_POINT('',#369);
#369 = CARTESIAN_POINT('',(0.,68.5,6.));
#370 = LINE('',#371,#372);
#371 = CARTESIAN_POINT('',(0.,68.5,1.));
#372 = VECTOR('',#373,1.);
#373 = DIRECTION('',(0.,0.,1.));
#374 = ORIENTED_EDGE('',*,*,#375,.F.);
#375 = EDGE_CURVE('',#376,#368,#378,.T.);
#376 = VERTEX_POINT('',#377);
#377 = CARTESIAN_POINT('',(0.,67.5,6.));
#378 = LINE('',#379,#380);
#379 = CARTESIAN_POINT('',(0.,0.,6.));
#380 = VECTOR('',#381,1.);
#381 = DIRECTION('',(0.,1.,0.));
#382 = ORIENTED_EDGE('',*,*,#383,.F.);
#383 = EDGE_CURVE('',#384,#376,#386,.T.);
#384 = VERTEX_POINT('',#385);
#385 = CARTESIAN_POINT('',(0.,67.5,2.));
#386 = LINE('',#387,#388);
#387 = CARTESIAN_POINT('',(0.,67.5,1.));
#388 = VECTOR('',#389,1.);
#389 = DIRECTION('',(0.,0.,1.));
#390 = ORIENTED_EDGE('',*,*,#391,.T.);
#391 = EDGE_CURVE('',#384,#392,#394,.T.);
#392 = VERTEX_POINT('',#393);
#393 = CARTESIAN_POINT('',(0.,65.5,2.));
#394 = LINE('',#395,#396);
#395 = CARTESIAN_POINT('',(0.,32.75,2.));
#396 = VECTOR('',#397,1.);
#397 = DIRECTION('',(0.,-1.,0.));
#398 = ORIENTED_EDGE('',*,*,#399,.T.);
#399 = EDGE_CURVE('',#392,#400,#402,.T.);
#400 = VERTEX_POINT('',#401);
#401 = CARTESIAN_POINT('',(0.,65.5,6.));
#402 = LINE('',#403,#404);
#403 = CARTESIAN_POINT('',(0.,65.5,1.));
#404 = VECTOR('',#405,1.);
#405 = DIRECTION('',(0.,0.,1.));
#406 = ORIENTED_EDGE('',*,*,#407,.F.);
#407 = EDGE_CURVE('',#408,#400,#410,.T.);
#408 = VERTEX_POINT('',#409);
#409 = CARTESIAN_POINT('',(0.,64.5,6.));
#410 = LINE('',#411,#412);
#411 = CARTESIAN_POINT('',(0.,0.,6.));
#412 = VECTOR('',#413,1.);
#413 = DIRECTION('',(0.,1.,0.));
#414 = ORIENTED_EDGE('',*,*,#415,.F.);
#415 = EDGE_CURVE('',#416,#408,#418,.T.);
#416 = VERTEX_POINT('',#417);
#417 = CARTESIAN_POINT('',(0.,64.5,2.));
#418 = LINE('',#419,#420);
#419 = CARTESIAN_POINT('',(0.,64.5,1.));
#420 = VECTOR('',#421,1.);
#421 = DIRECTION('',(0.,0.,1.));
#422 = ORIENTED_EDGE('',*,*,#423,.T.);
#423 = EDGE_CURVE('',#416,#424,#426,.T.);
#424 = VERTEX_POINT('',#425);
#425 = CARTESIAN_POINT('',(0.,62.5,2.));
#426 = LINE('',#427,#428);
#427 = CARTESIAN_POINT('',(0.,31.25,2.));
#428 = VECTOR('',#429,1.);
#429 = DIRECTION('',(0.,-1.,0.));
#430 = ORIENTED_EDGE('',*,*,#431,.T.);
#431 = EDGE_CURVE('',#424,#432,#434,.T.);
#432 = VERTEX_POINT('',#433);
#433 = CARTESIAN_POINT('',(0.,62.5,6.));
#434 = LINE('',#435,#436);
#435 = CARTESIAN_POINT('',(0.,62.5,1.));
#436 = VECTOR('',#437,1.);
#437 = DIRECTION('',(0.,0.,1.));
#438 = ORIENTED_EDGE('',*,*,#439,.F.);
#439 = EDGE_CURVE('',#440,#432,#442,.T.);
#440 = VERTEX_POINT('',#441);
#441 = CARTESIAN_POINT('',(0.,61.5,6.));
#442 = LINE('',#443,#444);
#443 = CARTESIAN_POINT('',(0.,0.,6.));
#444 = VECTOR('',#445,1.);
#445 = DIRECTION('',(0.,1.,0.));
#446 = ORIENTED_EDGE('',*,*,#447,.F.);
#447 = EDGE_CURVE('',#448,#440,#450,.T.);
#448 = VERTEX_POINT('',#449);
#449 = CARTESIAN_POINT('',(0.,61.5,2.));
#450 = LINE('',#451,#452);
#451 = CARTESIAN_POINT('',(0.,61.5,1.));
#452 = VECTOR('',#453,1.);
#453 = DIRECTION('',(0.,0.,1.));
#454 = ORIENTED_EDGE('',*,*,#455,.T.);
#455 = EDGE_CURVE('',#448,#456,#458,.T.);
#456 = VERTEX_POINT('',#457);
#457 = CARTESIAN_POINT('',(0.,59.5,2.));
#458 = LINE('',#459,#460);
#459 = CARTESIAN_POINT('',(0.,29.75,2.));
#460 = VECTOR('',#461,1.);
#461 = DIRECTION('',(0.,-1.,0.));
#462 = ORIENTED_EDGE('',*,*,#463,.T.);
#463 = EDGE_CURVE('',#456,#464,#466,.T.);
#464 = VERTEX_POINT('',#465);
#465 = CARTESIAN_POINT('',(0.,59.5,6.));
#466 = LINE('',#467,#468);
#467 = CARTESIAN_POINT('',(0.,59.5,1.));
#468 = VECTOR('',#469,1.);
#469 = DIRECTION('',(0.,0.,1.));
#470 = ORIENTED_EDGE('',*,*,#471,.F.);
#471 = EDGE_CURVE('',#472,#464,#474,.T.);
#472 = VERTEX_POINT('',#473);
#473 = CARTESIAN_POINT('',(0.,58.5,6.));
#474 = LINE('',#475,#476);
#475 = CARTESIAN_POINT('',(0.,0.,6.));
#476 = VECTOR('',#477,1.);
#477 = DIRECTION('',(0.,1.,0.));
#478 = ORIENTED_EDGE('',*,*,#479,.F.);
#479 = EDGE_CURVE('',#480,#472,#482,.T.);
#480 = VERTEX_POINT('',#481);
#481 = CARTESIAN_POINT('',(0.,58.5,2.));
#482 = LINE('',#483,#484);
#483 = CARTESIAN_POINT('',(0.,58.5,1.));
#484 = VECTOR('',#485,1.);
#485 = DIRECTION('',(0.,0.,1.));
#486 = ORIENTED_EDGE('',*,*,#487,.T.);
#487 = EDGE_CURVE('',#480,#488,#490,.T.);
#488 = VERTEX_POINT('',#489);
#489 = CARTESIAN_POINT('',(0.,56.5,2.));
#490 = LINE('',#491,#492);
#491 = CARTESIAN_POINT('',(0.,28.25,2.));
#492 = VECTOR('',#493,1.);
#493 = DIRECTION('',(0.,-1.,0.));
#494 = ORIENTED_EDGE('',*,*,#495,.T.);
#495 = EDGE_CURVE('',#488,#496,#498,.T.);
#496 = VERTEX_POINT('',#497);
#497 = CARTESIAN_POINT('',(0.,56.5,6.));
#498 = LINE('',#499,#500);
#499 = CARTESIAN_POINT('',(0.,56.5,1.));
#500 = VECTOR('',#501,1.);
#501 = DIRECTION('',(0.,0.,1.));
#502 = ORIENTED_EDGE('',*,*,#503,.F.);
#503 = EDGE_CURVE('',#504,#496,#506,.T.);
#504 = VERTEX_POINT('',#505);
#505 = CARTESIAN_POINT('',(0.,55.5,6.));
#506 = LINE('',#507,#508);
#507 = CARTESIAN_POINT('',(0.,0.,6.));
#508 = VECTOR('',#509,1.);
#509 = DIRECTION('',(0.,1.,0.));
#510 = ORIENTED_EDGE('',*,*,#511,.F.);
#511 = EDGE_CURVE('',#512,#504,#514,.T.);
#512 = VERTEX_POINT('',#513);
#513 = CARTESIAN_POINT('',(0.,55.5,2.));
#514 = LINE('',#515,#516);
#515 = CARTESIAN_POINT('',(0.,55.5,1.));
#516 = VECTOR('',#517,1.);
#517 = DIRECTION('',(0.,0.,1.));
#518 = ORIENTED_EDGE('',*,*,#519,.T.);
#519 = EDGE_CURVE('',#512,#520,#522,.T.);
#520 = VERTEX_POINT('',#521);
#521 = CARTESIAN_POINT('',(0.,53.5,2.));
#522 = LINE('',#523,#524);
#523 = CARTESIAN_POINT('',(0.,26.75,2.));
#524 = VECTOR('',#525,1.);
#525 = DIRECTION('',(0.,-1.,0.));
#526 = ORIENTED_EDGE('',*,*,#527,.T.);
#527 = EDGE_CURVE('',#520,#528,#530,.T.);
#528 = VERTEX_POINT('',#529);
#529 = CARTESIAN_POINT('',(0.,53.5,6.));
#530 = LINE('',#531,#532);
#531 = CARTESIAN_POINT('',(0.,53.5,1.));
#532 = VECTOR('',#533,1.);
#533 = DIRECTION('',(0.,0.,1.));
#534 = ORIENTED_EDGE('',*,*,#535,.F.);
#535 = EDGE_CURVE('',#536,#528,#538,.T.);
#536 = VERTEX_POINT('',#537);
#537 = CARTESIAN_POINT('',(0.,52.5,6.));
#538 = LINE('',#539,#540);
#539 = CARTESIAN_POINT('',(0.,0.,6.));
#540 = VECTOR('',#541,1.);
#541 = DIRECTION('',(0.,1.,0.));
#542 = ORIENTED_EDGE('',*,*,#543,.F.);
#543 = EDGE_CURVE('',#544,#536,#546,.T.);
#544 = VERTEX_POINT('',#545);
#545 = CARTESIAN_POINT('',(0.,52.5,2.));
#546 = LINE('',#547,#548);
#547 = CARTESIAN_POINT('',(0.,52.5,1.));
#548 = VECTOR('',#549,1.);
#549 = DIRECTION('',(0.,0.,1.));
#550 = ORIENTED_EDGE('',*,*,#551,.T.);
#551 = EDGE_CURVE('',#544,#552,#554,.T.);
#552 = VERTEX_POINT('',#553);
#553 = CARTESIAN_POINT('',(0.,50.5,2.));
#554 = LINE('',#555,#556);
#555 = CARTESIAN_POINT('',(0.,25.25,2.));
#556 = VECTOR('',#557,1.);
#557 = DIRECTION('',(0.,-1.,0.));
#558 = ORIENTED_EDGE('',*,*,#559,.T.);
#559 = EDGE_CURVE('',#552,#560,#562,.T.);
#560 = VERTEX_POINT('',#561);
#561 = CARTESIAN_POINT('',(0.,50.5,6.));
#562 = LINE('',#563,#564);
#563 = CARTESIAN_POINT('',(0.,50.5,1.));
#564 = VECTOR('',#565,1.);
#565 = DIRECTION('',(0.,0.,1.));
#566 = ORIENTED_EDGE('',*,*,#567,.F.);
#567 = EDGE_CURVE('',#568,#560,#570,.T.);
#568 = VERTEX_POINT('',#569);
#569 = CARTESIAN_POINT('',(0.,49.5,6.));
#570 = LINE('',#571,#572);
#571 = CARTESIAN_POINT('',(0.,0.,6.));
#572 = VECTOR('',#573,1.);
#573 = DIRECTION('',(0.,1.,0.));
#574 = ORIENTED_EDGE('',*,*,#575,.F.);
#575 = EDGE_CURVE('',#576,#568,#578,.T.);
#576 = VERTEX_POINT('',#577);
#577 = CARTESIAN_POINT('',(0.,49.5,2.));
#578 = LINE('',#579,#580);
#579 = CARTESIAN_POINT('',(0.,49.5,1.));
#580 = VECTOR('',#581,1.);
#581 = DIRECTION('',(0.,0.,1.));
#582 = ORIENTED_EDGE('',*,*,#583,.T.);
#583 = EDGE_CURVE('',#576,#584,#586,.T.);
#584 = VERTEX_POINT('',#585);
#585 = CARTESIAN_POINT('',(0.,47.5,2.));
#586 = LINE('',#587,#588);
#587 = CARTESIAN_POINT('',(0.,23.75,2.));
#588 = VECTOR('',#589,1.);
#589 = DIRECTION('',(0.,-1.,0.));
#590 = ORIENTED_EDGE('',*,*,#591,.T.);
#591 = EDGE_CURVE('',#584,#592,#594,.T.);
#592 = VERTEX_POINT('',#593);
#593 = CARTESIAN_POINT('',(0.,47.5,6.));
#594 = LINE('',#595,#596);
#595 = CARTESIAN_POINT('',(0.,47.5,1.));
#596 = VECTOR('',#597,1.);
#597 = DIRECTION('',(0.,0.,1.));
#598 = ORIENTED_EDGE('',*,*,#599,.F.);
#599 = EDGE_CURVE('',#600,#592,#602,.T.);
#600 = VERTEX_POINT('',#601);
#601 = CARTESIAN_POINT('',(0.,46.5,6.));
#602 = LINE('',#603,#604);
#603 = CARTESIAN_POINT('',(0.,0.,6.));
#604 = VECTOR('',#605,1.);
#605 = DIRECTION('',(0.,1.,0.));
#606 = ORIENTED_EDGE('',*,*,#607,.F.);
#607 = EDGE_CURVE('',#608,#600,#610,.T.);
#608 = VERTEX_POINT('',#609);
#609 = CARTESIAN_POINT('',(0.,46.5,2.));
#610 = LINE('',#611,#612);
#611 = CARTESIAN_POINT('',(0.,46.5,1.));
#612 = VECTOR('',#613,1.);
#613 = DIRECTION('',(0.,0.,1.));
#614 = ORIENTED_EDGE('',*,*,#615,.T.);
#615 = EDGE_CURVE('',#608,#616,#618,.T.);
#616 = VERTEX_POINT('',#617);
#617 = CARTESIAN_POINT('',(0.,44.5,2.));
#618 = LINE('',#619,#620);
#619 = CARTESIAN_POINT('',(0.,22.25,2.));
#620 = VECTOR('',#621,1.);
#621 = DIRECTION('',(0.,-1.,0.));
#622 = ORIENTED_EDGE('',*,*,#623,.T.);
#623 = EDGE_CURVE('',#616,#624,#626,.T.);
#624 = VERTEX_POINT('',#625);
#625 = CARTESIAN_POINT('',(0.,44.5,6.));
#626 = LINE('',#627,#628);
#627 = CARTESIAN_POINT('',(0.,44.5,1.));
#628 = VECTOR('',#629,1.);
#629 = DIRECTION('',(0.,0.,1.));
#630 = ORIENTED_EDGE('',*,*,#631,.F.);
#631 = EDGE_CURVE('',#632,#624,#634,.T.);
#632 = VERTEX_POINT('',#633);
#633 = CARTESIAN_POINT('',(0.,43.5,6.));
#634 = LINE('',#635,#636);
#635 = CARTESIAN_POINT('',(0.,0.,6.));
#636 = VECTOR('',#637,1.);
#637 = DIRECTION('',(0.,1.,0.));
#638 = ORIENTED_EDGE('',*,*,#639,.F.);
#639 = EDGE_CURVE('',#640,#632,#642,.T.);
#640 = VERTEX_POINT('',#641);
#641 = CARTESIAN_POINT('',(0.,43.5,2.));
#642 = LINE('',#643,#644);
#643 = CARTESIAN_POINT('',(0.,43.5,1.));
#644 = VECTOR('',#645,1.);
#645 = DIRECTION('',(0.,0.,1.));
#646 = ORIENTED_EDGE('',*,*,#647,.T.);
#647 = EDGE_CURVE('',#640,#648,#650,.T.);
#648 = VERTEX_POINT('',#649);
#649 = CARTESIAN_POINT('',(0.,41.5,2.));
#650 = LINE('',#651,#652);
#651 = CARTESIAN_POINT('',(0.,20.75,2.));
#652 = VECTOR('',#653,1.);
#653 = DIRECTION('',(0.,-1.,0.));
#654 = ORIENTED_EDGE('',*,*,#655,.T.);
#655 = EDGE_CURVE('',#648,#656,#658,.T.);
#656 = VERTEX_POINT('',#657);
#657 = CARTESIAN_POINT('',(0.,41.5,6.));
#658 = LINE('',#659,#660);
#659 = CARTESIAN_POINT('',(0.,41.5,1.));
#660 = VECTOR('',#661,1.);
#661 = DIRECTION('',(0.,0.,1.));
#662 = ORIENTED_EDGE('',*,*,#663,.F.);
#663 = EDGE_CURVE('',#664,#656,#666,.T.);
#664 = VERTEX_POINT('',#665);
#665 = CARTESIAN_POINT('',(0.,40.5,6.));
#666 = LINE('',#667,#668);
#667 = CARTESIAN_POINT('',(0.,0.,6.));
#668 = VECTOR('',#669,1.);
#669 = DIRECTION('',(0.,1.,0.));
#670 = ORIENTED_EDGE('',*,*,#671,.F.);
#671 = EDGE_CURVE('',#672,#664,#674,.T.);
#672 = VERTEX_POINT('',#673);
#673 = CARTESIAN_POINT('',(0.,40.5,2.));
#674 = LINE('',#675,#676);
#675 = CARTESIAN_POINT('',(0.,40.5,1.));
#676 = VECTOR('',#677,1.);
#677 = DIRECTION('',(0.,0.,1.));
#678 = ORIENTED_EDGE('',*,*,#679,.T.);
#679 = EDGE_CURVE('',#672,#680,#682,.T.);
#680 = VERTEX_POINT('',#681);
#681 = CARTESIAN_POINT('',(0.,38.5,2.));
#682 = LINE('',#683,#684);
#683 = CARTESIAN_POINT('',(0.,19.25,2.));
#684 = VECTOR('',#685,1.);
#685 = DIRECTION('',(0.,-1.,0.));
#686 = ORIENTED_EDGE('',*,*,#687,.T.);
#687 = EDGE_CURVE('',#680,#688,#690,.T.);
#688 = VERTEX_POINT('',#689);
#689 = CARTESIAN_POINT('',(0.,38.5,6.));
#690 = LINE('',#691,#692);
#691 = CARTESIAN_POINT('',(0.,38.5,1.));
#692 = VECTOR('',#693,1.);
#693 = DIRECTION('',(0.,0.,1.));
#694 = ORIENTED_EDGE('',*,*,#695,.F.);
#695 = EDGE_CURVE('',#696,#688,#698,.T.);
#696 = VERTEX_POINT('',#697);
#697 = CARTESIAN_POINT('',(0.,37.5,6.));
#698 = LINE('',#699,#700);
#699 = CARTESIAN_POINT('',(0.,0.,6.));
#700 = VECTOR('',#701,1.);
#701 = DIRECTION('',(0.,1.,0.));
#702 = ORIENTED_EDGE('',*,*,#703,.F.);
#703 = EDGE_CURVE('',#704,#696,#706,.T.);
#704 = VERTEX_POINT('',#705);
#705 = CARTESIAN_POINT('',(0.,37.5,2.));
#706 = LINE('',#707,#708);
#707 = CARTESIAN_POINT('',(0.,37.5,1.));
#708 = VECTOR('',#709,1.);
#709 = DIRECTION('',(0.,0.,1.));
#710 = ORIENTED_EDGE('',*,*,#711,.T.);
#711 = EDGE_CURVE('',#704,#712,#714,.T.);
#712 = VERTEX_POINT('',#713);
#713 = CARTESIAN_POINT('',(0.,35.5,2.));
#714 = LINE('',#715,#716);
#715 = CARTESIAN_POINT('',(0.,17.75,2.));
#716 = VECTOR('',#717,1.);
#717 = DIRECTION('',(0.,-1.,0.));
#718 = ORIENTED_EDGE('',*,*,#719,.T.);
#719 = EDGE_CURVE('',#712,#720,#722,.T.);
#720 = VERTEX_POINT('',#721);
#721 = CARTESIAN_POINT('',(0.,35.5,6.));
#722 = LINE('',#723,#724);
#723 = CARTESIAN_POINT('',(0.,35.5,1.));
#724 = VECTOR('',#725,1.);
#725 = DIRECTION('',(0.,0.,1.));
#726 = ORIENTED_EDGE('',*,*,#727,.F.);
#727 = EDGE_CURVE('',#728,#720,#730,.T.);
#728 = VERTEX_POINT('',#729);
#729 = CARTESIAN_POINT('',(0.,34.5,6.));
#730 = LINE('',#731,#732);
#731 = CARTESIAN_POINT('',(0.,0.,6.));
#732 = VECTOR('',#733,1.);
#733 = DIRECTION('',(0.,1.,0.));
#734 = ORIENTED_EDGE('',*,*,#735,.F.);
#735 = EDGE_CURVE('',#736,#728,#738,.T.);
#736 = VERTEX_POINT('',#737);
#737 = CARTESIAN_POINT('',(0.,34.5,2.));
#738 = LINE('',#739,#740);
#739 = CARTESIAN_POINT('',(0.,34.5,1.));
#740 = VECTOR('',#741,1.);
#741 = DIRECTION('',(0.,0.,1.));
#742 = ORIENTED_EDGE('',*,*,#743,.T.);
#743 = EDGE_CURVE('',#736,#744,#746,.T.);
#744 = VERTEX_POINT('',#745);
#745 = CARTESIAN_POINT('',(0.,32.5,2.));
#746 = LINE('',#747,#748);
#747 = CARTESIAN_POINT('',(0.,16.25,2.));
#748 = VECTOR('',#749,1.);
#749 = DIRECTION('',(0.,-1.,0.));
#750 = ORIENTED_EDGE('',*,*,#751,.T.);
#751 = EDGE_CURVE('',#744,#752,#754,.T.);
#752 = VERTEX_POINT('',#753);
#753 = CARTESIAN_POINT('',(0.,32.5,6.));
#754 = LINE('',#755,#756);
#755 = CARTESIAN_POINT('',(0.,32.5,1.));
#756 = VECTOR('',#757,1.);
#757 = DIRECTION('',(0.,0.,1.));
#758 = ORIENTED_EDGE('',*,*,#759,.F.);
#759 = EDGE_CURVE('',#760,#752,#762,.T.);
#760 = VERTEX_POINT('',#761);
#761 = CARTESIAN_POINT('',(0.,31.5,6.));
#762 = LINE('',#763,#764);
#763 = CARTESIAN_POINT('',(0.,0.,6.));
#764 = VECTOR('',#765,1.);
#765 = DIRECTION('',(0.,1.,0.));
#766 = ORIENTED_EDGE('',*,*,#767,.F.);
#767 = EDGE_CURVE('',#768,#760,#770,.T.);
#768 = VERTEX_POINT('',#769);
#769 = CARTESIAN_POINT('',(0.,31.5,2.));
#770 = LINE('',#771,#772);
#771 = CARTESIAN_POINT('',(0.,31.5,1.));
#772 = VECTOR('',#773,1.);
#773 = DIRECTION('',(0.,0.,1.));
#774 = ORIENTED_EDGE('',*,*,#775,.T.);
#775 = EDGE_CURVE('',#768,#776,#778,.T.);
#776 = VERTEX_POINT('',#777);
#777 = CARTESIAN_POINT('',(0.,29.5,2.));
#778 = LINE('',#779,#780);
#779 = CARTESIAN_POINT('',(0.,14.75,2.));
#780 = VECTOR('',#781,1.);
#781 = DIRECTION('',(0.,-1.,0.));
#782 = ORIENTED_EDGE('',*,*,#783,.T.);
#783 = EDGE_CURVE('',#776,#784,#786,.T.);
#784 = VERTEX_POINT('',#785);
#785 = CARTESIAN_POINT('',(0.,29.5,6.));
#786 = LINE('',#787,#788);
#787 = CARTESIAN_POINT('',(0.,29.5,1.));
#788 = VECTOR('',#789,1.);
#789 = DIRECTION('',(0.,0.,1.));
#790 = ORIENTED_EDGE('',*,*,#791,.F.);
#791 = EDGE_CURVE('',#792,#784,#794,.T.);
#792 = VERTEX_POINT('',#793);
#793 = CARTESIAN_POINT('',(0.,28.5,6.));
#794 = LINE('',#795,#796);
#795 = CARTESIAN_POINT('',(0.,0.,6.));
#796 = VECTOR('',#797,1.);
#797 = DIRECTION('',(0.,1.,0.));
#798 = ORIENTED_EDGE('',*,*,#799,.F.);
#799 = EDGE_CURVE('',#800,#792,#802,.T.);
#800 = VERTEX_POINT('',#801);
#801 = CARTESIAN_POINT('',(0.,28.5,2.));
#802 = LINE('',#803,#804);
#803 = CARTESIAN_POINT('',(0.,28.5,1.));
#804 = VECTOR('',#805,1.);
#805 = DIRECTION('',(0.,0.,1.));
#806 = ORIENTED_EDGE('',*,*,#807,.T.);
#807 = EDGE_CURVE('',#800,#808,#810,.T.);
#808 = VERTEX_POINT('',#809);
#809 = CARTESIAN_POINT('',(0.,26.5,2.));
#810 = LINE('',#811,#812);
#811 = CARTESIAN_POINT('',(0.,13.25,2.));
#812 = VECTOR('',#813,1.);
#813 = DIRECTION('',(0.,-1.,0.));
#814 = ORIENTED_EDGE('',*,*,#815,.T.);
#815 = EDGE_CURVE('',#808,#816,#818,.T.);
#816 = VERTEX_POINT('',#817);
#817 = CARTESIAN_POINT('',(0.,26.5,6.));
#818 = LINE('',#819,#820);
#819 = CARTESIAN_POINT('',(0.,26.5,1.));
#820 = VECTOR('',#821,1.);
#821 = DIRECTION('',(0.,0.,1.));
#822 = ORIENTED_EDGE('',*,*,#823,.F.);
#823 = EDGE_CURVE('',#824,#816,#826,.T.);
#824 = VERTEX_POINT('',#825);
#825 = CARTESIAN_POINT('',(0.,25.5,6.));
#826 = LINE('',#827,#828);
#827 = CARTESIAN_POINT('',(0.,0.,6.));
#828 = VECTOR('',#829,1.);
#829 = DIRECTION('',(0.,1.,0.));
#830 = ORIENTED_EDGE('',*,*,#831,.F.);
#831 = EDGE_CURVE('',#832,#824,#834,.T.);
#832 = VERTEX_POINT('',#833);
#833 = CARTESIAN_POINT('',(0.,25.5,2.));
#834 = LINE('',#835,#836);
#835 = CARTESIAN_POINT('',(0.,25.5,1.));
#836 = VECTOR('',#837,1.);
#837 = DIRECTION('',(0.,0.,1.));
#838 = ORIENTED_EDGE('',*,*,#839,.T.);
#839 = EDGE_CURVE('',#832,#840,#842,.T.);
#840 = VERTEX_POINT('',#841);
#841 = CARTESIAN_POINT('',(0.,23.5,2.));
#842 = LINE('',#843,#844);
#843 = CARTESIAN_POINT('',(0.,11.75,2.));
#844 = VECTOR('',#845,1.);
#845 = DIRECTION('',(0.,-1.,0.));
#846 = ORIENTED_EDGE('',*,*,#847,.T.);
#847 = EDGE_CURVE('',#840,#848,#850,.T.);
#848 = VERTEX_POINT('',#849);
#849 = CARTESIAN_POINT('',(0.,23.5,6.));
#850 = LINE('',#851,#852);
#851 = CARTESIAN_POINT('',(0.,23.5,1.));
#852 = VECTOR('',#853,1.);
#853 = DIRECTION('',(0.,0.,1.));
#854 = ORIENTED_EDGE('',*,*,#855,.F.);
#855 = EDGE_CURVE('',#856,#848,#858,.T.);
#856 = VERTEX_POINT('',#857);
#857 = CARTESIAN_POINT('',(0.,22.5,6.));
#858 = LINE('',#859,#860);
#859 = CARTESIAN_POINT('',(0.,0.,6.));
#860 = VECTOR('',#861,1.);
#861 = DIRECTION('',(0.,1.,0.));
#862 = ORIENTED_EDGE('',*,*,#863,.F.);
#863 = EDGE_CURVE('',#864,#856,#866,.T.);
#864 = VERTEX_POINT('',#865);
#865 = CARTESIAN_POINT('',(0.,22.5,2.));
#866 = LINE('',#867,#868);
#867 = CARTESIAN_POINT('',(0.,22.5,1.));
#868 = VECTOR('',#869,1.);
#869 = DIRECTION('',(0.,0.,1.));
#870 = ORIENTED_EDGE('',*,*,#871,.T.);
#871 = EDGE_CURVE('',#864,#872,#874,.T.);
#872 = VERTEX_POINT('',#873);
#873 = CARTESIAN_POINT('',(0.,20.5,2.));
#874 = LINE('',#875,#876);
#875 = CARTESIAN_POINT('',(0.,10.25,2.));
#876 = VECTOR('',#877,1.);
#877 = DIRECTION('',(0.,-1.,0.));
#878 = ORIENTED_EDGE('',*,*,#879,.T.);
#879 = EDGE_CURVE('',#872,#880,#882,.T.);
#880 = VERTEX_POINT('',#881);
#881 = CARTESIAN_POINT('',(0.,20.5,6.));
#882 = LINE('',#883,#884);
#883 = CARTESIAN_POINT('',(0.,20.5,1.));
#884 = VECTOR('',#885,1.);
#885 = DIRECTION('',(0.,0.,1.));
#886 = ORIENTED_EDGE('',*,*,#887,.F.);
#887 = EDGE_CURVE('',#888,#880,#890,.T.);
#888 = VERTEX_POINT('',#889);
#889 = CARTESIAN_POINT('',(0.,19.5,6.));
#890 = LINE('',#891,#892);
#891 = CARTESIAN_POINT('',(0.,0.,6.));
#892 = VECTOR('',#893,1.);
#893 = DIRECTION('',(0.,1.,0.));
#894 = ORIENTED_EDGE('',*,*,#895,.F.);
#895 = EDGE_CURVE('',#896,#888,#898,.T.);
#896 = VERTEX_POINT('',#897);
#897 = CARTESIAN_POINT('',(0.,19.5,2.));
#898 = LINE('',#899,#900);
#899 = CARTESIAN_POINT('',(0.,19.5,1.));
#900 = VECTOR('',#901,1.);
#901 = DIRECTION('',(0.,0.,1.));
#902 = ORIENTED_EDGE('',*,*,#903,.T.);
#903 = EDGE_CURVE('',#896,#904,#906,.T.);
#904 = VERTEX_POINT('',#905);
#905 = CARTESIAN_POINT('',(0.,17.5,2.));
#906 = LINE('',#907,#908);
#907 = CARTESIAN_POINT('',(0.,8.75,2.));
#908 = VECTOR('',#909,1.);
#909 = DIRECTION('',(0.,-1.,0.));
#910 = ORIENTED_EDGE('',*,*,#911,.T.);
#911 = EDGE_CURVE('',#904,#912,#914,.T.);
#912 = VERTEX_POINT('',#913);
#913 = CARTESIAN_POINT('',(0.,17.5,6.));
#914 = LINE('',#915,#916);
#915 = CARTESIAN_POINT('',(0.,17.5,1.));
#916 = VECTOR('',#917,1.);
#917 = DIRECTION('',(0.,0.,1.));
#918 = ORIENTED_EDGE('',*,*,#919,.F.);
#919 = EDGE_CURVE('',#920,#912,#922,.T.);
#920 = VERTEX_POINT('',#921);
#921 = CARTESIAN_POINT('',(0.,16.5,6.));
#922 = LINE('',#923,#924);
#923 = CARTESIAN_POINT('',(0.,0.,6.));
#924 = VECTOR('',#925,1.);
#925 = DIRECTION('',(0.,1.,0.));
#926 = ORIENTED_EDGE('',*,*,#927,.F.);
#927 = EDGE_CURVE('',#928,#920,#930,.T.);
#928 = VERTEX_POINT('',#929);
#929 = CARTESIAN_POINT('',(0.,16.5,2.));
#930 = LINE('',#931,#932);
#931 = CARTESIAN_POINT('',(0.,16.5,1.));
#932 = VECTOR('',#933,1.);
#933 = DIRECTION('',(0.,0.,1.));
#934 = ORIENTED_EDGE('',*,*,#935,.T.);
#935 = EDGE_CURVE('',#928,#936,#938,.T.);
#936 = VERTEX_POINT('',#937);
#937 = CARTESIAN_POINT('',(0.,14.5,2.));
#938 = LINE('',#939,#940);
#939 = CARTESIAN_POINT('',(0.,7.25,2.));
#940 = VECTOR('',#941,1.);
#941 = DIRECTION('',(0.,-1.,0.));
#942 = ORIENTED_EDGE('',*,*,#943,.T.);
#943 = EDGE_CURVE('',#936,#944,#946,.T.);
#944 = VERTEX_POINT('',#945);
#945 = CARTESIAN_POINT('',(0.,14.5,6.));
#946 = LINE('',#947,#948);
#947 = CARTESIAN_POINT('',(0.,14.5,1.));
#948 = VECTOR('',#949,1.);
#949 = DIRECTION('',(0.,0.,1.));
#950 = ORIENTED_EDGE('',*,*,#951,.F.);
#951 = EDGE_CURVE('',#952,#944,#954,.T.);
#952 = VERTEX_POINT('',#953);
#953 = CARTESIAN_POINT('',(0.,13.5,6.));
#954 = LINE('',#955,#956);
#955 = CARTESIAN_POINT('',(0.,0.,6.));
#956 = VECTOR('',#957,1.);
#957 = DIRECTION('',(0.,1.,0.));
#958 = ORIENTED_EDGE('',*,*,#959,.F.);
#959 = EDGE_CURVE('',#960,#952,#962,.T.);
#960 = VERTEX_POINT('',#961);
#961 = CARTESIAN_POINT('',(0.,13.5,2.));
#962 = LINE('',#963,#964);
#963 = CARTESIAN_POINT('',(0.,13.5,1.));
#964 = VECTOR('',#965,1.);
#965 = DIRECTION('',(0.,0.,1.));
#966 = ORIENTED_EDGE('',*,*,#967,.T.);
#967 = EDGE_CURVE('',#960,#968,#970,.T.);
#968 = VERTEX_POINT('',#969);
#969 = CARTESIAN_POINT('',(0.,11.5,2.));
#970 = LINE('',#971,#972);
#971 = CARTESIAN_POINT('',(0.,5.75,2.));
#972 = VECTOR('',#973,1.);
#973 = DIRECTION('',(0.,-1.,0.));
#974 = ORIENTED_EDGE('',*,*,#975,.T.);
#975 = EDGE_CURVE('',#968,#976,#978,.T.);
#976 = VERTEX_POINT('',#977);
#977 = CARTESIAN_POINT('',(0.,11.5,6.));
#978 = LINE('',#979,#980);
#979 = CARTESIAN_POINT('',(0.,11.5,1.));
#980 = VECTOR('',#981,1.);
#981 = DIRECTION('',(0.,0.,1.));
#982 = ORIENTED_EDGE('',*,*,#983,.F.);
#983 = EDGE_CURVE('',#984,#976,#986,.T.);
#984 = VERTEX_POINT('',#985);
#985 = CARTESIAN_POINT('',(0.,10.5,6.));
#986 = LINE('',#987,#988);
#987 = CARTESIAN_POINT('',(0.,0.,6.));
#988 = VECTOR('',#989,1.);
#989 = DIRECTION('',(0.,1.,0.));
#990 = ORIENTED_EDGE('',*,*,#991,.F.);
#991 = EDGE_CURVE('',#992,#984,#994,.T.);
#992 = VERTEX_POINT('',#993);
#993 = CARTESIAN_POINT('',(0.,10.5,2.));
#994 = LINE('',#995,#996);
#995 = CARTESIAN_POINT('',(0.,10.5,1.));
#996 = VECTOR('',#997,1.);
#997 = DIRECTION('',(0.,0.,1.));
#998 = ORIENTED_EDGE('',*,*,#999,.T.);
#999 = EDGE_CURVE('',#992,#1000,#1002,.T.);
#1000 = VERTEX_POINT('',#1001);
#1001 = CARTESIAN_POINT('',(0.,8.5,2.));
#1002 = LINE('',#1003,#1004);
#1003 = CARTESIAN_POINT('',(0.,4.25,2.));
#1004 = VECTOR('',#1005,1.);
#1005 = DIRECTION('',(0.,-1.,0.));
#1006 = ORIENTED_EDGE('',*,*,#1007,.T.);
#1007 = EDGE_CURVE('',#1000,#24,#1008,.T.);
#1008 = LINE('',#1009,#1010);
#1009 = CARTESIAN_POINT('',(0.,8.5,1.));
#1010 = VECTOR('',#1011,1.);
#1011 = DIRECTION('',(0.,0.,1.));
#1012 = PLANE('',#1013);
#1013 = AXIS2_PLACEMENT_3D('',#1014,#1015,#1016);
#1014 = CARTESIAN_POINT('',(0.,0.,0.));
#1015 = DIRECTION('',(1.,0.,0.));
#1016 = DIRECTION('',(0.,0.,1.));
#1017 = ADVANCED_FACE('',(#1018,#1112,#1434,#1756),#2078,.T.);
#1018 = FACE_BOUND('',#1019,.T.);
#1019 = EDGE_LOOP('',(#1020,#1021,#1029,#1037,#1043,#1044,#1052,#1060,
    #1066,#1067,#1075,#1083,#1089,#1090,#1098,#1106));
#1020 = ORIENTED_EDGE('',*,*,#21,.F.);
#1021 = ORIENTED_EDGE('',*,*,#1022,.T.);
#1022 = EDGE_CURVE('',#22,#1023,#1025,.T.);
#1023 = VERTEX_POINT('',#1024);
#1024 = CARTESIAN_POINT('',(54.,0.,6.));
#1025 = LINE('',#1026,#1027);
#1026 = CARTESIAN_POINT('',(0.,0.,6.));
#1027 = VECTOR('',#1028,1.);
#1028 = DIRECTION('',(1.,0.,0.));
#1029 = ORIENTED_EDGE('',*,*,#1030,.T.);
#1030 = EDGE_CURVE('',#1023,#1031,#1033,.T.);
#1031 = VERTEX_POINT('',#1032);
#1032 = CARTESIAN_POINT('',(54.,17.5,6.));
#1033 = LINE('',#1034,#1035);
#1034 = CARTESIAN_POINT('',(54.,0.,6.));
#1035 = VECTOR('',#1036,1.);
#1036 = DIRECTION('',(0.,1.,0.));
#1037 = ORIENTED_EDGE('',*,*,#1038,.T.);
#1038 = EDGE_CURVE('',#1031,#912,#1039,.T.);
#1039 = LINE('',#1040,#1041);
#1040 = CARTESIAN_POINT('',(-0.5,17.5,6.));
#1041 = VECTOR('',#1042,1.);
#1042 = DIRECTION('',(-1.,0.,0.));
#1043 = ORIENTED_EDGE('',*,*,#919,.F.);
#1044 = ORIENTED_EDGE('',*,*,#1045,.F.);
#1045 = EDGE_CURVE('',#1046,#920,#1048,.T.);
#1046 = VERTEX_POINT('',#1047);
#1047 = CARTESIAN_POINT('',(40.,16.5,6.));
#1048 = LINE('',#1049,#1050);
#1049 = CARTESIAN_POINT('',(-0.5,16.5,6.));
#1050 = VECTOR('',#1051,1.);
#1051 = DIRECTION('',(-1.,0.,0.));
#1052 = ORIENTED_EDGE('',*,*,#1053,.F.);
#1053 = EDGE_CURVE('',#1054,#1046,#1056,.T.);
#1054 = VERTEX_POINT('',#1055);
#1055 = CARTESIAN_POINT('',(40.,14.5,6.));
#1056 = LINE('',#1057,#1058);
#1057 = CARTESIAN_POINT('',(40.,7.25,6.));
#1058 = VECTOR('',#1059,1.);
#1059 = DIRECTION('',(0.,1.,0.));
#1060 = ORIENTED_EDGE('',*,*,#1061,.T.);
#1061 = EDGE_CURVE('',#1054,#944,#1062,.T.);
#1062 = LINE('',#1063,#1064);
#1063 = CARTESIAN_POINT('',(-0.5,14.5,6.));
#1064 = VECTOR('',#1065,1.);
#1065 = DIRECTION('',(-1.,0.,0.));
#1066 = ORIENTED_EDGE('',*,*,#951,.F.);
#1067 = ORIENTED_EDGE('',*,*,#1068,.F.);
#1068 = EDGE_CURVE('',#1069,#952,#1071,.T.);
#1069 = VERTEX_POINT('',#1070);
#1070 = CARTESIAN_POINT('',(40.,13.5,6.));
#1071 = LINE('',#1072,#1073);
#1072 = CARTESIAN_POINT('',(-0.5,13.5,6.));
#1073 = VECTOR('',#1074,1.);
#1074 = DIRECTION('',(-1.,0.,0.));
#1075 = ORIENTED_EDGE('',*,*,#1076,.F.);
#1076 = EDGE_CURVE('',#1077,#1069,#1079,.T.);
#1077 = VERTEX_POINT('',#1078);
#1078 = CARTESIAN_POINT('',(40.,11.5,6.));
#1079 = LINE('',#1080,#1081);
#1080 = CARTESIAN_POINT('',(40.,5.75,6.));
#1081 = VECTOR('',#1082,1.);
#1082 = DIRECTION('',(0.,1.,0.));
#1083 = ORIENTED_EDGE('',*,*,#1084,.T.);
#1084 = EDGE_CURVE('',#1077,#976,#1085,.T.);
#1085 = LINE('',#1086,#1087);
#1086 = CARTESIAN_POINT('',(-0.5,11.5,6.));
#1087 = VECTOR('',#1088,1.);
#1088 = DIRECTION('',(-1.,0.,0.));
#1089 = ORIENTED_EDGE('',*,*,#983,.F.);
#1090 = ORIENTED_EDGE('',*,*,#1091,.F.);
#1091 = EDGE_CURVE('',#1092,#984,#1094,.T.);
#1092 = VERTEX_POINT('',#1093);
#1093 = CARTESIAN_POINT('',(40.,10.5,6.));
#1094 = LINE('',#1095,#1096);
#1095 = CARTESIAN_POINT('',(-0.5,10.5,6.));
#1096 = VECTOR('',#1097,1.);
#1097 = DIRECTION('',(-1.,0.,0.));
#1098 = ORIENTED_EDGE('',*,*,#1099,.F.);
#1099 = EDGE_CURVE('',#1100,#1092,#1102,.T.);
#1100 = VERTEX_POINT('',#1101);
#1101 = CARTESIAN_POINT('',(40.,8.5,6.));
#1102 = LINE('',#1103,#1104);
#1103 = CARTESIAN_POINT('',(40.,4.25,6.));
#1104 = VECTOR('',#1105,1.);
#1105 = DIRECTION('',(0.,1.,0.));
#1106 = ORIENTED_EDGE('',*,*,#1107,.T.);
#1107 = EDGE_CURVE('',#1100,#24,#1108,.T.);
#1108 = LINE('',#1109,#1110);
#1109 = CARTESIAN_POINT('',(-0.5,8.5,6.));
#1110 = VECTOR('',#1111,1.);
#1111 = DIRECTION('',(-1.,0.,0.));
#1112 = FACE_BOUND('',#1113,.T.);
#1113 = EDGE_LOOP('',(#1114,#1124,#1132,#1140,#1148,#1156,#1164,#1172,
    #1180,#1188,#1196,#1204,#1212,#1220,#1228,#1236,#1244,#1252,#1260,
    #1268,#1276,#1284,#1292,#1300,#1308,#1316,#1324,#1332,#1340,#1348,
    #1356,#1364,#1372,#1380,#1388,#1396,#1404,#1412,#1420,#1428));
#1114 = ORIENTED_EDGE('',*,*,#1115,.T.);
#1115 = EDGE_CURVE('',#1116,#1118,#1120,.T.);
#1116 = VERTEX_POINT('',#1117);
#1117 = CARTESIAN_POINT('',(10.377641290738,4.772542485937,6.));
#1118 = VERTEX_POINT('',#1119);
#1119 = CARTESIAN_POINT('',(10.469220851488,4.391086162601,6.));
#1120 = LINE('',#1121,#1122);
#1121 = CARTESIAN_POINT('',(10.682329509417,3.503424718725,6.));
#1122 = VECTOR('',#1123,1.);
#1123 = DIRECTION('',(0.233445363856,-0.972369920398,0.));
#1124 = ORIENTED_EDGE('',*,*,#1125,.T.);
#1125 = EDGE_CURVE('',#1118,#1126,#1128,.T.);
#1126 = VERTEX_POINT('',#1127);
#1127 = CARTESIAN_POINT('',(10.5,4.,6.));
#1128 = LINE('',#1129,#1130);
#1129 = CARTESIAN_POINT('',(10.624116359102,2.422952130135,6.));
#1130 = VECTOR('',#1131,1.);
#1131 = DIRECTION('',(7.845909572784E-02,-0.996917333733,0.));
#1132 = ORIENTED_EDGE('',*,*,#1133,.T.);
#1133 = EDGE_CURVE('',#1126,#1134,#1136,.T.);
#1134 = VERTEX_POINT('',#1135);
#1135 = CARTESIAN_POINT('',(10.469220851488,3.608913837399,6.));
#1136 = LINE('',#1137,#1138);
#1137 = CARTESIAN_POINT('',(10.295857854766,1.406128107374,6.));
#1138 = VECTOR('',#1139,1.);
#1139 = DIRECTION('',(-7.845909572784E-02,-0.996917333733,0.));
#1140 = ORIENTED_EDGE('',*,*,#1141,.T.);
#1141 = EDGE_CURVE('',#1134,#1142,#1144,.T.);
#1142 = VERTEX_POINT('',#1143);
#1143 = CARTESIAN_POINT('',(10.377641290738,3.227457514063,6.));
#1144 = LINE('',#1145,#1146);
#1145 = CARTESIAN_POINT('',(9.728558729563,0.523834071229,6.));
#1146 = VECTOR('',#1147,1.);
#1147 = DIRECTION('',(-0.233445363856,-0.972369920398,0.));
#1148 = ORIENTED_EDGE('',*,*,#1149,.T.);
#1149 = EDGE_CURVE('',#1142,#1150,#1152,.T.);
#1150 = VERTEX_POINT('',#1151);
#1151 = CARTESIAN_POINT('',(10.227516310471,2.865023750651,6.));
#1152 = LINE('',#1153,#1154);
#1153 = CARTESIAN_POINT('',(8.972154336724,-0.165688152056,6.));
#1154 = VECTOR('',#1155,1.);
#1155 = DIRECTION('',(-0.382683432365,-0.923879532511,0.));
#1156 = ORIENTED_EDGE('',*,*,#1157,.T.);
#1157 = EDGE_CURVE('',#1150,#1158,#1160,.T.);
#1158 = VERTEX_POINT('',#1159);
#1159 = CARTESIAN_POINT('',(10.022542485937,2.530536869269,6.));
#1160 = LINE('',#1161,#1162);
#1161 = CARTESIAN_POINT('',(8.090760417361,-0.621844958502,6.));
#1162 = VECTOR('',#1163,1.);
#1163 = DIRECTION('',(-0.522498564716,-0.852640164354,0.));
#1164 = ORIENTED_EDGE('',*,*,#1165,.T.);
#1165 = EDGE_CURVE('',#1158,#1166,#1168,.T.);
#1166 = VERTEX_POINT('',#1167);
#1167 = CARTESIAN_POINT('',(9.767766952966,2.232233047034,6.));
#1168 = LINE('',#1169,#1170);
#1169 = CARTESIAN_POINT('',(7.156641425694,-0.825002143638,6.));
#1170 = VECTOR('',#1171,1.);
#1171 = DIRECTION('',(-0.64944804833,-0.7604059656,0.));
#1172 = ORIENTED_EDGE('',*,*,#1173,.T.);
#1173 = EDGE_CURVE('',#1166,#1174,#1176,.T.);
#1174 = VERTEX_POINT('',#1175);
#1175 = CARTESIAN_POINT('',(9.469463130731,1.977457514063,6.));
#1176 = LINE('',#1177,#1178);
#1177 = CARTESIAN_POINT('',(6.243481815614,-0.777790818845,6.));
#1178 = VECTOR('',#1179,1.);
#1179 = DIRECTION('',(-0.7604059656,-0.64944804833,0.));
#1180 = ORIENTED_EDGE('',*,*,#1181,.T.);
#1181 = EDGE_CURVE('',#1174,#1182,#1184,.T.);
#1182 = VERTEX_POINT('',#1183);
#1183 = CARTESIAN_POINT('',(9.134976249349,1.772483689529,6.));
#1184 = LINE('',#1185,#1186);
#1185 = CARTESIAN_POINT('',(5.419610446027,-0.504295402975,6.));
#1186 = VECTOR('',#1187,1.);
#1187 = DIRECTION('',(-0.852640164354,-0.522498564716,0.));
#1188 = ORIENTED_EDGE('',*,*,#1189,.T.);
#1189 = EDGE_CURVE('',#1182,#1190,#1192,.T.);
#1190 = VERTEX_POINT('',#1191);
#1191 = CARTESIAN_POINT('',(8.772542485937,1.622358709262,6.));
#1192 = LINE('',#1193,#1194);
#1193 = CARTESIAN_POINT('',(4.741830583231,-4.721682685769E-02,6.));
#1194 = VECTOR('',#1195,1.);
#1195 = DIRECTION('',(-0.923879532511,-0.382683432365,0.));
#1196 = ORIENTED_EDGE('',*,*,#1197,.T.);
#1197 = EDGE_CURVE('',#1190,#1198,#1200,.T.);
#1198 = VERTEX_POINT('',#1199);
#1199 = CARTESIAN_POINT('',(8.391086162601,1.530779148512,6.));
#1200 = LINE('',#1201,#1202);
#1201 = CARTESIAN_POINT('',(4.250446695318,0.536699563409,6.));
#1202 = VECTOR('',#1203,1.);
#1203 = DIRECTION('',(-0.972369920398,-0.233445363856,0.));
#1204 = ORIENTED_EDGE('',*,*,#1205,.T.);
#1205 = EDGE_CURVE('',#1198,#1206,#1208,.T.);
#1206 = VERTEX_POINT('',#1207);
#1207 = CARTESIAN_POINT('',(8.,1.5,6.));
#1208 = LINE('',#1209,#1210);
#1209 = CARTESIAN_POINT('',(3.96596039442,1.182514197643,6.));
#1210 = VECTOR('',#1211,1.);
#1211 = DIRECTION('',(-0.996917333733,-7.845909572785E-02,0.));
#1212 = ORIENTED_EDGE('',*,*,#1213,.T.);
#1213 = EDGE_CURVE('',#1206,#1214,#1216,.T.);
#1214 = VERTEX_POINT('',#1215);
#1215 = CARTESIAN_POINT('',(7.608913837399,1.530779148512,6.));
#1216 = LINE('',#1217,#1218);
#1217 = CARTESIAN_POINT('',(3.8877431619,1.82364163206,6.));
#1218 = VECTOR('',#1219,1.);
#1219 = DIRECTION('',(-0.996917333733,7.845909572785E-02,0.));
#1220 = ORIENTED_EDGE('',*,*,#1221,.T.);
#1221 = EDGE_CURVE('',#1214,#1222,#1224,.T.);
#1222 = VERTEX_POINT('',#1223);
#1223 = CARTESIAN_POINT('',(7.227457514063,1.622358709262,6.));
#1224 = LINE('',#1225,#1226);
#1225 = CARTESIAN_POINT('',(3.99479904626,2.398451342742,6.));
#1226 = VECTOR('',#1227,1.);
#1227 = DIRECTION('',(-0.972369920398,0.233445363856,0.));
#1228 = ORIENTED_EDGE('',*,*,#1229,.T.);
#1229 = EDGE_CURVE('',#1222,#1230,#1232,.T.);
#1230 = VERTEX_POINT('',#1231);
#1231 = CARTESIAN_POINT('',(6.865023750651,1.772483689529,6.));
#1232 = LINE('',#1233,#1234);
#1233 = CARTESIAN_POINT('',(4.248525410317,2.856272788022,6.));
#1234 = VECTOR('',#1235,1.);
#1235 = DIRECTION('',(-0.923879532511,0.382683432365,0.));
#1236 = ORIENTED_EDGE('',*,*,#1237,.T.);
#1237 = EDGE_CURVE('',#1230,#1238,#1240,.T.);
#1238 = VERTEX_POINT('',#1239);
#1239 = CARTESIAN_POINT('',(6.530536869269,1.977457514063,6.));
#1240 = LINE('',#1241,#1242);
#1241 = CARTESIAN_POINT('',(4.597184114324,3.162217606046,6.));
#1242 = VECTOR('',#1243,1.);
#1243 = DIRECTION('',(-0.852640164354,0.522498564716,0.));
#1244 = ORIENTED_EDGE('',*,*,#1245,.T.);
#1245 = EDGE_CURVE('',#1238,#1246,#1248,.T.);
#1246 = VERTEX_POINT('',#1247);
#1247 = CARTESIAN_POINT('',(6.232233047034,2.232233047034,6.));
#1248 = LINE('',#1249,#1250);
#1249 = CARTESIAN_POINT('',(4.981628413107,3.300350310021,6.));
#1250 = VECTOR('',#1251,1.);
#1251 = DIRECTION('',(-0.7604059656,0.64944804833,0.));
#1252 = ORIENTED_EDGE('',*,*,#1253,.T.);
#1253 = EDGE_CURVE('',#1246,#1254,#1256,.T.);
#1254 = VERTEX_POINT('',#1255);
#1255 = CARTESIAN_POINT('',(5.977457514063,2.530536869269,6.));
#1256 = LINE('',#1257,#1258);
#1257 = CARTESIAN_POINT('',(5.341708667981,3.27490312986,6.));
#1258 = VECTOR('',#1259,1.);
#1259 = DIRECTION('',(-0.64944804833,0.7604059656,0.));
#1260 = ORIENTED_EDGE('',*,*,#1261,.T.);
#1261 = EDGE_CURVE('',#1254,#1262,#1264,.T.);
#1262 = VERTEX_POINT('',#1263);
#1263 = CARTESIAN_POINT('',(5.772483689529,2.865023750651,6.));
#1264 = LINE('',#1265,#1266);
#1265 = CARTESIAN_POINT('',(5.62271466933,3.109424578943,6.));
#1266 = VECTOR('',#1267,1.);
#1267 = DIRECTION('',(-0.522498564716,0.852640164354,0.));
#1268 = ORIENTED_EDGE('',*,*,#1269,.T.);
#1269 = EDGE_CURVE('',#1262,#1270,#1272,.T.);
#1270 = VERTEX_POINT('',#1271);
#1271 = CARTESIAN_POINT('',(5.622358709262,3.227457514063,6.));
#1272 = LINE('',#1273,#1274);
#1273 = CARTESIAN_POINT('',(5.781210297888,2.843955854396,6.));
#1274 = VECTOR('',#1275,1.);
#1275 = DIRECTION('',(-0.382683432365,0.923879532511,0.));
#1276 = ORIENTED_EDGE('',*,*,#1277,.T.);
#1277 = EDGE_CURVE('',#1270,#1278,#1280,.T.);
#1278 = VERTEX_POINT('',#1279);
#1279 = CARTESIAN_POINT('',(5.530779148512,3.608913837399,6.));
#1280 = LINE('',#1281,#1282);
#1281 = CARTESIAN_POINT('',(5.789677586816,2.530524231856,6.));
#1282 = VECTOR('',#1283,1.);
#1283 = DIRECTION('',(-0.233445363856,0.972369920398,0.));
#1284 = ORIENTED_EDGE('',*,*,#1285,.T.);
#1285 = EDGE_CURVE('',#1278,#1286,#1288,.T.);
#1286 = VERTEX_POINT('',#1287);
#1287 = CARTESIAN_POINT('',(5.5,4.,6.));
#1288 = LINE('',#1289,#1290);
#1289 = CARTESIAN_POINT('',(5.639505933359,2.227409048835,6.));
#1290 = VECTOR('',#1291,1.);
#1291 = DIRECTION('',(-7.845909572785E-02,0.996917333733,0.));
#1292 = ORIENTED_EDGE('',*,*,#1293,.T.);
#1293 = EDGE_CURVE('',#1286,#1294,#1296,.T.);
#1294 = VERTEX_POINT('',#1295);
#1295 = CARTESIAN_POINT('',(5.530779148512,4.391086162601,6.));
#1296 = LINE('',#1297,#1298);
#1297 = CARTESIAN_POINT('',(5.342026577534,1.992757351275,6.));
#1298 = VECTOR('',#1299,1.);
#1299 = DIRECTION('',(7.845909572785E-02,0.996917333733,0.));
#1300 = ORIENTED_EDGE('',*,*,#1301,.T.);
#1301 = EDGE_CURVE('',#1294,#1302,#1304,.T.);
#1302 = VERTEX_POINT('',#1303);
#1303 = CARTESIAN_POINT('',(5.622358709262,4.772542485937,6.));
#1304 = LINE('',#1305,#1306);
#1305 = CARTESIAN_POINT('',(4.927486367712,1.878190881436,6.));
#1306 = VECTOR('',#1307,1.);
#1307 = DIRECTION('',(0.233445363856,0.972369920398,0.));
#1308 = ORIENTED_EDGE('',*,*,#1309,.T.);
#1309 = EDGE_CURVE('',#1302,#1310,#1312,.T.);
#1310 = VERTEX_POINT('',#1311);
#1311 = CARTESIAN_POINT('',(5.772483689529,5.134976249349,6.));
#1312 = LINE('',#1313,#1314);
#1313 = CARTESIAN_POINT('',(4.442059225649,1.923047464936,6.));
#1314 = VECTOR('',#1315,1.);
#1315 = DIRECTION('',(0.382683432365,0.923879532511,0.));
#1316 = ORIENTED_EDGE('',*,*,#1317,.T.);
#1317 = EDGE_CURVE('',#1310,#1318,#1320,.T.);
#1318 = VERTEX_POINT('',#1319);
#1319 = CARTESIAN_POINT('',(5.977457514063,5.469463130731,6.));
#1320 = LINE('',#1321,#1322);
#1321 = CARTESIAN_POINT('',(3.94318853322,2.149837862269,6.));
#1322 = VECTOR('',#1323,1.);
#1323 = DIRECTION('',(0.522498564716,0.852640164354,0.));
#1324 = ORIENTED_EDGE('',*,*,#1325,.T.);
#1325 = EDGE_CURVE('',#1318,#1326,#1328,.T.);
#1326 = VERTEX_POINT('',#1327);
#1327 = CARTESIAN_POINT('',(6.232233047034,5.767766952966,6.));
#1328 = LINE('',#1329,#1330);
#1329 = CARTESIAN_POINT('',(3.493719753276,2.561379851177,6.));
#1330 = VECTOR('',#1331,1.);
#1331 = DIRECTION('',(0.64944804833,0.7604059656,0.));
#1332 = ORIENTED_EDGE('',*,*,#1333,.T.);
#1333 = EDGE_CURVE('',#1326,#1334,#1336,.T.);
#1334 = VERTEX_POINT('',#1335);
#1335 = CARTESIAN_POINT('',(6.530536869269,6.022542485937,6.));
#1336 = LINE('',#1337,#1338);
#1337 = CARTESIAN_POINT('',(3.155403643034,3.139906386545,6.));
#1338 = VECTOR('',#1339,1.);
#1339 = DIRECTION('',(0.7604059656,0.64944804833,0.));
#1340 = ORIENTED_EDGE('',*,*,#1341,.T.);
#1341 = EDGE_CURVE('',#1334,#1342,#1344,.T.);
#1342 = VERTEX_POINT('',#1343);
#1343 = CARTESIAN_POINT('',(6.865023750651,6.227516310471,6.));
#1344 = LINE('',#1345,#1346);
#1345 = CARTESIAN_POINT('',(2.982414506638,3.8482503057,6.));
#1346 = VECTOR('',#1347,1.);
#1347 = DIRECTION('',(0.852640164354,0.522498564716,0.));
#1348 = ORIENTED_EDGE('',*,*,#1349,.T.);
#1349 = EDGE_CURVE('',#1342,#1350,#1352,.T.);
#1350 = VERTEX_POINT('',#1351);
#1351 = CARTESIAN_POINT('',(7.227457514063,6.377641290738,6.));
#1352 = LINE('',#1353,#1354);
#1353 = CARTESIAN_POINT('',(3.01552872965,4.633003264485,6.));
#1354 = VECTOR('',#1355,1.);
#1355 = DIRECTION('',(0.923879532511,0.382683432365,0.));
#1356 = ORIENTED_EDGE('',*,*,#1357,.T.);
#1357 = EDGE_CURVE('',#1350,#1358,#1360,.T.);
#1358 = VERTEX_POINT('',#1359);
#1359 = CARTESIAN_POINT('',(7.608913837399,6.469220851488,6.));
#1360 = LINE('',#1361,#1362);
#1361 = CARTESIAN_POINT('',(3.277546208449,5.42935148601,6.));
#1362 = VECTOR('',#1363,1.);
#1363 = DIRECTION('',(0.972369920398,0.233445363856,0.));
#1364 = ORIENTED_EDGE('',*,*,#1365,.T.);
#1365 = EDGE_CURVE('',#1358,#1366,#1368,.T.);
#1366 = VERTEX_POINT('',#1367);
#1367 = CARTESIAN_POINT('',(8.,6.5,6.));
#1368 = LINE('',#1369,#1370);
#1369 = CARTESIAN_POINT('',(3.770417313119,6.167124623387,6.));
#1370 = VECTOR('',#1371,1.);
#1371 = DIRECTION('',(0.996917333733,7.845909572785E-02,0.));
#1372 = ORIENTED_EDGE('',*,*,#1373,.T.);
#1373 = EDGE_CURVE('',#1366,#1374,#1376,.T.);
#1374 = VERTEX_POINT('',#1375);
#1375 = CARTESIAN_POINT('',(8.391086162601,6.469220851488,6.));
#1376 = LINE('',#1377,#1378);
#1377 = CARTESIAN_POINT('',(4.4743724058,6.777472909291,6.));
#1378 = VECTOR('',#1379,1.);
#1379 = DIRECTION('',(0.996917333733,-7.845909572785E-02,0.));
#1380 = ORIENTED_EDGE('',*,*,#1381,.T.);
#1381 = EDGE_CURVE('',#1374,#1382,#1384,.T.);
#1382 = VERTEX_POINT('',#1383);
#1383 = CARTESIAN_POINT('',(8.772542485937,6.377641290738,6.));
#1384 = LINE('',#1385,#1386);
#1385 = CARTESIAN_POINT('',(5.349155856466,7.199523704593,6.));
#1386 = VECTOR('',#1387,1.);
#1387 = DIRECTION('',(0.972369920398,-0.233445363856,0.));
#1388 = ORIENTED_EDGE('',*,*,#1389,.T.);
#1389 = EDGE_CURVE('',#1382,#1390,#1392,.T.);
#1390 = VERTEX_POINT('',#1391);
#1391 = CARTESIAN_POINT('',(9.134976249349,6.227516310471,6.));
#1392 = LINE('',#1393,#1394);
#1393 = CARTESIAN_POINT('',(6.337261027309,7.386367899097,6.));
#1394 = VECTOR('',#1395,1.);
#1395 = DIRECTION('',(0.923879532511,-0.382683432365,0.));
#1396 = ORIENTED_EDGE('',*,*,#1397,.T.);
#1397 = EDGE_CURVE('',#1390,#1398,#1400,.T.);
#1398 = VERTEX_POINT('',#1399);
#1399 = CARTESIAN_POINT('',(9.469463130731,6.022542485937,6.));
#1400 = LINE('',#1401,#1402);
#1401 = CARTESIAN_POINT('',(7.368866935095,7.309789490187,6.));
#1402 = VECTOR('',#1403,1.);
#1403 = DIRECTION('',(0.852640164354,-0.522498564716,0.));
#1404 = ORIENTED_EDGE('',*,*,#1405,.T.);
#1405 = EDGE_CURVE('',#1398,#1406,#1408,.T.);
#1406 = VERTEX_POINT('',#1407);
#1407 = CARTESIAN_POINT('',(9.767766952966,5.767766952966,6.));
#1408 = LINE('',#1409,#1410);
#1409 = CARTESIAN_POINT('',(8.368010407922,6.96327198244,6.));
#1410 = VECTOR('',#1411,1.);
#1411 = DIRECTION('',(0.7604059656,-0.64944804833,0.));
#1412 = ORIENTED_EDGE('',*,*,#1413,.T.);
#1413 = EDGE_CURVE('',#1406,#1414,#1416,.T.);
#1414 = VERTEX_POINT('',#1415);
#1415 = CARTESIAN_POINT('',(10.022542485937,5.469463130731,6.));
#1416 = LINE('',#1417,#1418);
#1417 = CARTESIAN_POINT('',(9.25940587337,6.36298130244,6.));
#1418 = VECTOR('',#1419,1.);
#1419 = DIRECTION('',(0.64944804833,-0.7604059656,0.));
#1420 = ORIENTED_EDGE('',*,*,#1421,.T.);
#1421 = EDGE_CURVE('',#1414,#1422,#1424,.T.);
#1422 = VERTEX_POINT('',#1423);
#1423 = CARTESIAN_POINT('',(10.227516310471,5.134976249349,6.));
#1424 = LINE('',#1425,#1426);
#1425 = CARTESIAN_POINT('',(9.975260378005,5.546620518332,6.));
#1426 = VECTOR('',#1427,1.);
#1427 = DIRECTION('',(0.522498564716,-0.852640164354,0.));
#1428 = ORIENTED_EDGE('',*,*,#1429,.T.);
#1429 = EDGE_CURVE('',#1422,#1116,#1430,.T.);
#1430 = LINE('',#1431,#1432);
#1431 = CARTESIAN_POINT('',(10.461430389231,4.570257707977,6.));
#1432 = VECTOR('',#1433,1.);
#1433 = DIRECTION('',(0.382683432365,-0.923879532511,0.));
#1434 = FACE_BOUND('',#1435,.T.);
#1435 = EDGE_LOOP('',(#1436,#1446,#1454,#1462,#1470,#1478,#1486,#1494,
    #1502,#1510,#1518,#1526,#1534,#1542,#1550,#1558,#1566,#1574,#1582,
    #1590,#1598,#1606,#1614,#1622,#1630,#1638,#1646,#1654,#1662,#1670,
    #1678,#1686,#1694,#1702,#1710,#1718,#1726,#1734,#1742,#1750));
#1436 = ORIENTED_EDGE('',*,*,#1437,.T.);
#1437 = EDGE_CURVE('',#1438,#1440,#1442,.T.);
#1438 = VERTEX_POINT('',#1439);
#1439 = CARTESIAN_POINT('',(46.127641290738,14.772542485937,6.));
#1440 = VERTEX_POINT('',#1441);
#1441 = CARTESIAN_POINT('',(46.219220851488,14.391086162601,6.));
#1442 = LINE('',#1443,#1444);
#1443 = CARTESIAN_POINT('',(46.593176568699,12.833448499677,6.));
#1444 = VECTOR('',#1445,1.);
#1445 = DIRECTION('',(0.233445363856,-0.972369920398,0.));
#1446 = ORIENTED_EDGE('',*,*,#1447,.T.);
#1447 = EDGE_CURVE('',#1440,#1448,#1450,.T.);
#1448 = VERTEX_POINT('',#1449);
#1449 = CARTESIAN_POINT('',(46.25,14.,6.));
#1450 = LINE('',#1451,#1452);
#1451 = CARTESIAN_POINT('',(46.655167065772,8.851864309945,6.));
#1452 = VECTOR('',#1453,1.);
#1453 = DIRECTION('',(7.845909572784E-02,-0.996917333733,0.));
#1454 = ORIENTED_EDGE('',*,*,#1455,.T.);
#1455 = EDGE_CURVE('',#1448,#1456,#1458,.T.);
#1456 = VERTEX_POINT('',#1457);
#1457 = CARTESIAN_POINT('',(46.219220851488,13.608913837399,6.));
#1458 = LINE('',#1459,#1460);
#1459 = CARTESIAN_POINT('',(45.544736236234,5.038774224589,6.));
#1460 = VECTOR('',#1461,1.);
#1461 = DIRECTION('',(-7.845909572784E-02,-0.996917333733,0.));
#1462 = ORIENTED_EDGE('',*,*,#1463,.T.);
#1463 = EDGE_CURVE('',#1456,#1464,#1466,.T.);
#1464 = VERTEX_POINT('',#1465);
#1465 = CARTESIAN_POINT('',(46.127641290738,13.227457514063,6.));
#1466 = LINE('',#1467,#1468);
#1467 = CARTESIAN_POINT('',(43.369453290147,1.738777669336,6.));
#1468 = VECTOR('',#1469,1.);
#1469 = DIRECTION('',(-0.233445363856,-0.972369920398,0.));
#1470 = ORIENTED_EDGE('',*,*,#1471,.T.);
#1471 = EDGE_CURVE('',#1464,#1472,#1474,.T.);
#1472 = VERTEX_POINT('',#1473);
#1473 = CARTESIAN_POINT('',(45.977516310471,12.865023750651,6.));
#1474 = LINE('',#1475,#1476);
#1475 = CARTESIAN_POINT('',(40.336654240613,-0.753221961877,6.));
#1476 = VECTOR('',#1477,1.);
#1477 = DIRECTION('',(-0.382683432365,-0.923879532511,0.));
#1478 = ORIENTED_EDGE('',*,*,#1479,.T.);
#1479 = EDGE_CURVE('',#1472,#1480,#1482,.T.);
#1480 = VERTEX_POINT('',#1481);
#1481 = CARTESIAN_POINT('',(45.772542485937,12.530536869269,6.));
#1482 = LINE('',#1483,#1484);
#1483 = CARTESIAN_POINT('',(36.733284198313,-2.220192017784,6.));
#1484 = VECTOR('',#1485,1.);
#1485 = DIRECTION('',(-0.522498564716,-0.852640164354,0.));
#1486 = ORIENTED_EDGE('',*,*,#1487,.T.);
#1487 = EDGE_CURVE('',#1480,#1488,#1490,.T.);
#1488 = VERTEX_POINT('',#1489);
#1489 = CARTESIAN_POINT('',(45.517766952966,12.232233047034,6.));
#1490 = LINE('',#1491,#1492);
#1491 = CARTESIAN_POINT('',(32.898053605504,-2.543552850308,6.));
#1492 = VECTOR('',#1493,1.);
#1493 = DIRECTION('',(-0.64944804833,-0.7604059656,0.));
#1494 = ORIENTED_EDGE('',*,*,#1495,.T.);
#1495 = EDGE_CURVE('',#1488,#1496,#1498,.T.);
#1496 = VERTEX_POINT('',#1497);
#1497 = CARTESIAN_POINT('',(45.219463130731,11.977457514063,6.));
#1498 = LINE('',#1499,#1500);
#1499 = CARTESIAN_POINT('',(29.188627932829,-1.714169200313,6.));
#1500 = VECTOR('',#1501,1.);
#1501 = DIRECTION('',(-0.7604059656,-0.64944804833,0.));
#1502 = ORIENTED_EDGE('',*,*,#1503,.T.);
#1503 = EDGE_CURVE('',#1496,#1504,#1506,.T.);
#1504 = VERTEX_POINT('',#1505);
#1505 = CARTESIAN_POINT('',(44.884976249349,11.772483689529,6.));
#1506 = LINE('',#1507,#1508);
#1507 = CARTESIAN_POINT('',(25.947054044134,0.167310036441,6.));
#1508 = VECTOR('',#1509,1.);
#1509 = DIRECTION('',(-0.852640164354,-0.522498564716,0.));
#1510 = ORIENTED_EDGE('',*,*,#1511,.T.);
#1511 = EDGE_CURVE('',#1504,#1512,#1514,.T.);
#1512 = VERTEX_POINT('',#1513);
#1513 = CARTESIAN_POINT('',(44.522542485937,11.622358709262,6.));
#1514 = LINE('',#1515,#1516);
#1515 = CARTESIAN_POINT('',(23.466796773409,2.900783269254,6.));
#1516 = VECTOR('',#1517,1.);
#1517 = DIRECTION('',(-0.923879532511,-0.382683432365,0.));
#1518 = ORIENTED_EDGE('',*,*,#1519,.T.);
#1519 = EDGE_CURVE('',#1512,#1520,#1522,.T.);
#1520 = VERTEX_POINT('',#1521);
#1521 = CARTESIAN_POINT('',(44.141086162601,11.530779148512,6.));
#1522 = LINE('',#1523,#1524);
#1523 = CARTESIAN_POINT('',(21.964599636036,6.206675782458,6.));
#1524 = VECTOR('',#1525,1.);
#1525 = DIRECTION('',(-0.972369920398,-0.233445363856,0.));
#1526 = ORIENTED_EDGE('',*,*,#1527,.T.);
#1527 = EDGE_CURVE('',#1520,#1528,#1530,.T.);
#1528 = VERTEX_POINT('',#1529);
#1529 = CARTESIAN_POINT('',(43.75,11.5,6.));
#1530 = LINE('',#1531,#1532);
#1531 = CARTESIAN_POINT('',(21.55990968775,9.753602017833,6.));
#1532 = VECTOR('',#1533,1.);
#1533 = DIRECTION('',(-0.996917333733,-7.845909572785E-02,0.));
#1534 = ORIENTED_EDGE('',*,*,#1535,.T.);
#1535 = EDGE_CURVE('',#1528,#1536,#1538,.T.);
#1536 = VERTEX_POINT('',#1537);
#1537 = CARTESIAN_POINT('',(43.358913837399,11.530779148512,6.));
#1538 = LINE('',#1539,#1540);
#1539 = CARTESIAN_POINT('',(22.263864780431,13.190995514845,6.));
#1540 = VECTOR('',#1541,1.);
#1541 = DIRECTION('',(-0.996917333733,7.845909572785E-02,0.));
#1542 = ORIENTED_EDGE('',*,*,#1543,.T.);
#1543 = EDGE_CURVE('',#1536,#1544,#1546,.T.);
#1544 = VERTEX_POINT('',#1545);
#1545 = CARTESIAN_POINT('',(42.977457514063,11.622358709262,6.));
#1546 = LINE('',#1547,#1548);
#1547 = CARTESIAN_POINT('',(23.978904485675,16.183507744635,6.));
#1548 = VECTOR('',#1549,1.);
#1549 = DIRECTION('',(-0.972369920398,0.233445363856,0.));
#1550 = ORIENTED_EDGE('',*,*,#1551,.T.);
#1551 = EDGE_CURVE('',#1544,#1552,#1554,.T.);
#1552 = VERTEX_POINT('',#1553);
#1553 = CARTESIAN_POINT('',(42.615023750651,11.772483689529,6.));
#1554 = LINE('',#1555,#1556);
#1555 = CARTESIAN_POINT('',(26.509025506429,18.443806597843,6.));
#1556 = VECTOR('',#1557,1.);
#1557 = DIRECTION('',(-0.923879532511,0.382683432365,0.));
#1558 = ORIENTED_EDGE('',*,*,#1559,.T.);
#1559 = EDGE_CURVE('',#1552,#1560,#1562,.T.);
#1560 = VERTEX_POINT('',#1561);
#1561 = CARTESIAN_POINT('',(42.280536869269,11.977457514063,6.));
#1562 = LINE('',#1563,#1564);
#1563 = CARTESIAN_POINT('',(29.579660333372,19.760564665328,6.));
#1564 = VECTOR('',#1565,1.);
#1565 = DIRECTION('',(-0.852640164354,0.522498564716,0.));
#1566 = ORIENTED_EDGE('',*,*,#1567,.T.);
#1567 = EDGE_CURVE('',#1560,#1568,#1570,.T.);
#1568 = VERTEX_POINT('',#1569);
#1569 = CARTESIAN_POINT('',(41.982233047034,12.232233047034,6.));
#1570 = LINE('',#1571,#1572);
#1571 = CARTESIAN_POINT('',(32.865216233298,20.018901016691,6.));
#1572 = VECTOR('',#1573,1.);
#1573 = DIRECTION('',(-0.7604059656,0.64944804833,0.));
#1574 = ORIENTED_EDGE('',*,*,#1575,.T.);
#1575 = EDGE_CURVE('',#1568,#1576,#1578,.T.);
#1576 = VERTEX_POINT('',#1577);
#1577 = CARTESIAN_POINT('',(41.727457514063,12.530536869269,6.));
#1578 = LINE('',#1579,#1580);
#1579 = CARTESIAN_POINT('',(36.021562550766,19.211281511329,6.));
#1580 = VECTOR('',#1581,1.);
#1581 = DIRECTION('',(-0.64944804833,0.7604059656,0.));
#1582 = ORIENTED_EDGE('',*,*,#1583,.T.);
#1583 = EDGE_CURVE('',#1576,#1584,#1586,.T.);
#1584 = VERTEX_POINT('',#1585);
#1585 = CARTESIAN_POINT('',(41.522483689529,12.865023750651,6.));
#1586 = LINE('',#1587,#1588);
#1587 = CARTESIAN_POINT('',(38.720271071223,17.437819139527,6.));
#1588 = VECTOR('',#1589,1.);
#1589 = DIRECTION('',(-0.522498564716,0.852640164354,0.));
#1590 = ORIENTED_EDGE('',*,*,#1591,.T.);
#1591 = EDGE_CURVE('',#1584,#1592,#1594,.T.);
#1592 = VERTEX_POINT('',#1593);
#1593 = CARTESIAN_POINT('',(41.372358709262,13.227457514063,6.));
#1594 = LINE('',#1595,#1596);
#1595 = CARTESIAN_POINT('',(40.68124410771,14.895955758285,6.));
#1596 = VECTOR('',#1597,1.);
#1597 = DIRECTION('',(-0.382683432365,0.923879532511,0.));
#1598 = ORIENTED_EDGE('',*,*,#1599,.T.);
#1599 = EDGE_CURVE('',#1592,#1600,#1602,.T.);
#1600 = VERTEX_POINT('',#1601);
#1601 = CARTESIAN_POINT('',(41.280779148512,13.608913837399,6.));
#1602 = LINE('',#1603,#1604);
#1603 = CARTESIAN_POINT('',(41.700524646098,11.860548012807,6.));
#1604 = VECTOR('',#1605,1.);
#1605 = DIRECTION('',(-0.233445363856,0.972369920398,0.));
#1606 = ORIENTED_EDGE('',*,*,#1607,.T.);
#1607 = EDGE_CURVE('',#1600,#1608,#1610,.T.);
#1608 = VERTEX_POINT('',#1609);
#1609 = CARTESIAN_POINT('',(41.25,14.,6.));
#1610 = LINE('',#1611,#1612);
#1611 = CARTESIAN_POINT('',(41.670556640028,8.656321228644,6.));
#1612 = VECTOR('',#1613,1.);
#1613 = DIRECTION('',(-7.845909572785E-02,0.996917333733,0.));
#1614 = ORIENTED_EDGE('',*,*,#1615,.T.);
#1615 = EDGE_CURVE('',#1608,#1616,#1618,.T.);
#1616 = VERTEX_POINT('',#1617);
#1617 = CARTESIAN_POINT('',(41.280779148512,14.391086162601,6.));
#1618 = LINE('',#1619,#1620);
#1619 = CARTESIAN_POINT('',(40.590904959003,5.62540346849,6.));
#1620 = VECTOR('',#1621,1.);
#1621 = DIRECTION('',(7.845909572785E-02,0.996917333733,0.));
#1622 = ORIENTED_EDGE('',*,*,#1623,.T.);
#1623 = EDGE_CURVE('',#1616,#1624,#1626,.T.);
#1624 = VERTEX_POINT('',#1625);
#1625 = CARTESIAN_POINT('',(41.372358709262,14.772542485937,6.));
#1626 = LINE('',#1627,#1628);
#1627 = CARTESIAN_POINT('',(38.568380928296,3.093134479543,6.));
#1628 = VECTOR('',#1629,1.);
#1629 = DIRECTION('',(0.233445363856,0.972369920398,0.));
#1630 = ORIENTED_EDGE('',*,*,#1631,.T.);
#1631 = EDGE_CURVE('',#1624,#1632,#1634,.T.);
#1632 = VERTEX_POINT('',#1633);
#1633 = CARTESIAN_POINT('',(41.522483689529,15.134976249349,6.));
#1634 = LINE('',#1635,#1636);
#1635 = CARTESIAN_POINT('',(35.806559129537,1.335513655115,6.));
#1636 = VECTOR('',#1637,1.);
#1637 = DIRECTION('',(0.382683432365,0.923879532511,0.));
#1638 = ORIENTED_EDGE('',*,*,#1639,.T.);
#1639 = EDGE_CURVE('',#1632,#1640,#1642,.T.);
#1640 = VERTEX_POINT('',#1641);
#1641 = CARTESIAN_POINT('',(41.727457514063,15.469463130731,6.));
#1642 = LINE('',#1643,#1644);
#1643 = CARTESIAN_POINT('',(32.585712314171,0.551490802987,6.));
#1644 = VECTOR('',#1645,1.);
#1645 = DIRECTION('',(0.522498564716,0.852640164354,0.));
#1646 = ORIENTED_EDGE('',*,*,#1647,.T.);
#1647 = EDGE_CURVE('',#1640,#1648,#1650,.T.);
#1648 = VERTEX_POINT('',#1649);
#1649 = CARTESIAN_POINT('',(41.982233047034,15.767766952966,6.));
#1650 = LINE('',#1651,#1652);
#1651 = CARTESIAN_POINT('',(29.235131933085,0.842829144507,6.));
#1652 = VECTOR('',#1653,1.);
#1653 = DIRECTION('',(0.64944804833,0.7604059656,0.));
#1654 = ORIENTED_EDGE('',*,*,#1655,.T.);
#1655 = EDGE_CURVE('',#1648,#1656,#1658,.T.);
#1656 = VERTEX_POINT('',#1657);
#1657 = CARTESIAN_POINT('',(42.280536869269,16.022542485937,6.));
#1658 = LINE('',#1659,#1660);
#1659 = CARTESIAN_POINT('',(26.10054976025,2.203528005076,6.));
#1660 = VECTOR('',#1661,1.);
#1661 = DIRECTION('',(0.7604059656,0.64944804833,0.));
#1662 = ORIENTED_EDGE('',*,*,#1663,.T.);
#1663 = EDGE_CURVE('',#1656,#1664,#1666,.T.);
#1664 = VERTEX_POINT('',#1665);
#1665 = CARTESIAN_POINT('',(42.615023750651,16.227516310471,6.));
#1666 = LINE('',#1667,#1668);
#1667 = CARTESIAN_POINT('',(23.509858104745,4.519855745116,6.));
#1668 = VECTOR('',#1669,1.);
#1669 = DIRECTION('',(0.852640164354,0.522498564716,0.));
#1670 = ORIENTED_EDGE('',*,*,#1671,.T.);
#1671 = EDGE_CURVE('',#1664,#1672,#1674,.T.);
#1672 = VERTEX_POINT('',#1673);
#1673 = CARTESIAN_POINT('',(42.977457514063,16.377641290738,6.));
#1674 = LINE('',#1675,#1676);
#1675 = CARTESIAN_POINT('',(21.740494919829,7.581003360596,6.));
#1676 = VECTOR('',#1677,1.);
#1677 = DIRECTION('',(0.923879532511,0.382683432365,0.));
#1678 = ORIENTED_EDGE('',*,*,#1679,.T.);
#1679 = EDGE_CURVE('',#1672,#1680,#1682,.T.);
#1680 = VERTEX_POINT('',#1681);
#1681 = CARTESIAN_POINT('',(43.358913837399,16.469220851488,6.));
#1682 = LINE('',#1683,#1684);
#1683 = CARTESIAN_POINT('',(20.991699149167,11.099327705058,6.));
#1684 = VECTOR('',#1685,1.);
#1685 = DIRECTION('',(0.972369920398,0.233445363856,0.));
#1686 = ORIENTED_EDGE('',*,*,#1687,.T.);
#1687 = EDGE_CURVE('',#1680,#1688,#1690,.T.);
#1688 = VERTEX_POINT('',#1689);
#1689 = CARTESIAN_POINT('',(43.75,16.5,6.));
#1690 = LINE('',#1691,#1692);
#1691 = CARTESIAN_POINT('',(21.36436660645,14.738212443577,6.));
#1692 = VECTOR('',#1693,1.);
#1693 = DIRECTION('',(0.996917333733,7.845909572785E-02,0.));
#1694 = ORIENTED_EDGE('',*,*,#1695,.T.);
#1695 = EDGE_CURVE('',#1688,#1696,#1698,.T.);
#1696 = VERTEX_POINT('',#1697);
#1697 = CARTESIAN_POINT('',(44.141086162601,16.469220851488,6.));
#1698 = LINE('',#1699,#1700);
#1699 = CARTESIAN_POINT('',(22.850494024332,18.144826792076,6.));
#1700 = VECTOR('',#1701,1.);
#1701 = DIRECTION('',(0.996917333733,-7.845909572785E-02,0.));
#1702 = ORIENTED_EDGE('',*,*,#1703,.T.);
#1703 = EDGE_CURVE('',#1696,#1704,#1706,.T.);
#1704 = VERTEX_POINT('',#1705);
#1705 = CARTESIAN_POINT('',(44.522542485937,16.377641290738,6.));
#1706 = LINE('',#1707,#1708);
#1707 = CARTESIAN_POINT('',(25.333261295881,20.984580106486,6.));
#1708 = VECTOR('',#1709,1.);
#1709 = DIRECTION('',(0.972369920398,-0.233445363856,0.));
#1710 = ORIENTED_EDGE('',*,*,#1711,.T.);
#1711 = EDGE_CURVE('',#1704,#1712,#1714,.T.);
#1712 = VERTEX_POINT('',#1713);
#1713 = CARTESIAN_POINT('',(44.884976249349,16.227516310471,6.));
#1714 = LINE('',#1715,#1716);
#1715 = CARTESIAN_POINT('',(28.597761123421,22.973901708918,6.));
#1716 = VECTOR('',#1717,1.);
#1717 = DIRECTION('',(0.923879532511,-0.382683432365,0.));
#1718 = ORIENTED_EDGE('',*,*,#1719,.T.);
#1719 = EDGE_CURVE('',#1712,#1720,#1722,.T.);
#1720 = VERTEX_POINT('',#1721);
#1721 = CARTESIAN_POINT('',(45.219463130731,16.022542485937,6.));
#1722 = LINE('',#1723,#1724);
#1723 = CARTESIAN_POINT('',(32.351343154144,23.908136549469,6.));
#1724 = VECTOR('',#1725,1.);
#1725 = DIRECTION('',(0.852640164354,-0.522498564716,0.));
#1726 = ORIENTED_EDGE('',*,*,#1727,.T.);
#1727 = EDGE_CURVE('',#1720,#1728,#1730,.T.);
#1728 = VERTEX_POINT('',#1729);
#1729 = CARTESIAN_POINT('',(45.517766952966,15.767766952966,6.));
#1730 = LINE('',#1731,#1732);
#1731 = CARTESIAN_POINT('',(36.251598228113,23.681822689109,6.));
#1732 = VECTOR('',#1733,1.);
#1733 = DIRECTION('',(0.7604059656,-0.64944804833,0.));
#1734 = ORIENTED_EDGE('',*,*,#1735,.T.);
#1735 = EDGE_CURVE('',#1728,#1736,#1738,.T.);
#1736 = VERTEX_POINT('',#1737);
#1737 = CARTESIAN_POINT('',(45.772542485937,15.469463130731,6.));
#1738 = LINE('',#1739,#1740);
#1739 = CARTESIAN_POINT('',(39.939259756155,22.299359683908,6.));
#1740 = VECTOR('',#1741,1.);
#1741 = DIRECTION('',(0.64944804833,-0.7604059656,0.));
#1742 = ORIENTED_EDGE('',*,*,#1743,.T.);
#1743 = EDGE_CURVE('',#1736,#1744,#1746,.T.);
#1744 = VERTEX_POINT('',#1745);
#1745 = CARTESIAN_POINT('',(45.977516310471,15.134976249349,6.));
#1746 = LINE('',#1747,#1748);
#1747 = CARTESIAN_POINT('',(43.072816779898,19.875015078916,6.));
#1748 = VECTOR('',#1749,1.);
#1749 = DIRECTION('',(0.522498564716,-0.852640164354,0.));
#1750 = ORIENTED_EDGE('',*,*,#1751,.T.);
#1751 = EDGE_CURVE('',#1744,#1438,#1752,.T.);
#1752 = LINE('',#1753,#1754);
#1753 = CARTESIAN_POINT('',(45.361464199052,16.622257611865,6.));
#1754 = VECTOR('',#1755,1.);
#1755 = DIRECTION('',(0.382683432365,-0.923879532511,0.));
#1756 = FACE_BOUND('',#1757,.T.);
#1757 = EDGE_LOOP('',(#1758,#1768,#1776,#1784,#1792,#1800,#1808,#1816,
    #1824,#1832,#1840,#1848,#1856,#1864,#1872,#1880,#1888,#1896,#1904,
    #1912,#1920,#1928,#1936,#1944,#1952,#1960,#1968,#1976,#1984,#1992,
    #2000,#2008,#2016,#2024,#2032,#2040,#2048,#2056,#2064,#2072));
#1758 = ORIENTED_EDGE('',*,*,#1759,.T.);
#1759 = EDGE_CURVE('',#1760,#1762,#1764,.T.);
#1760 = VERTEX_POINT('',#1761);
#1761 = CARTESIAN_POINT('',(33.377641290738,4.772542485937,6.));
#1762 = VERTEX_POINT('',#1763);
#1763 = CARTESIAN_POINT('',(33.469220851488,4.391086162601,6.));
#1764 = LINE('',#1765,#1766);
#1765 = CARTESIAN_POINT('',(33.0556170235,6.113870092228,6.));
#1766 = VECTOR('',#1767,1.);
#1767 = DIRECTION('',(0.233445363856,-0.972369920398,0.));
#1768 = ORIENTED_EDGE('',*,*,#1769,.T.);
#1769 = EDGE_CURVE('',#1762,#1770,#1772,.T.);
#1770 = VERTEX_POINT('',#1771);
#1771 = CARTESIAN_POINT('',(33.5,4.,6.));
#1772 = LINE('',#1773,#1774);
#1773 = CARTESIAN_POINT('',(33.553324317525,3.322450304117,6.));
#1774 = VECTOR('',#1775,1.);
#1775 = DIRECTION('',(7.845909572784E-02,-0.996917333733,0.));
#1776 = ORIENTED_EDGE('',*,*,#1777,.T.);
#1777 = EDGE_CURVE('',#1770,#1778,#1780,.T.);
#1778 = VERTEX_POINT('',#1779);
#1779 = CARTESIAN_POINT('',(33.469220851488,3.608913837399,6.));
#1780 = LINE('',#1781,#1782);
#1781 = CARTESIAN_POINT('',(33.225065813188,0.506629933393,6.));
#1782 = VECTOR('',#1783,1.);
#1783 = DIRECTION('',(-7.845909572784E-02,-0.996917333733,0.));
#1784 = ORIENTED_EDGE('',*,*,#1785,.T.);
#1785 = EDGE_CURVE('',#1778,#1786,#1788,.T.);
#1786 = VERTEX_POINT('',#1787);
#1787 = CARTESIAN_POINT('',(33.377641290738,3.227457514063,6.));
#1788 = LINE('',#1789,#1790);
#1789 = CARTESIAN_POINT('',(32.101846243646,-2.086611302273,6.));
#1790 = VECTOR('',#1791,1.);
#1791 = DIRECTION('',(-0.233445363856,-0.972369920398,0.));
#1792 = ORIENTED_EDGE('',*,*,#1793,.T.);
#1793 = EDGE_CURVE('',#1786,#1794,#1796,.T.);
#1794 = VERTEX_POINT('',#1795);
#1795 = CARTESIAN_POINT('',(33.227516310471,2.865023750651,6.));
#1796 = LINE('',#1797,#1798);
#1797 = CARTESIAN_POINT('',(30.288018328547,-4.231552143878,6.));
#1798 = VECTOR('',#1799,1.);
#1799 = DIRECTION('',(-0.382683432365,-0.923879532511,0.));
#1800 = ORIENTED_EDGE('',*,*,#1801,.T.);
#1801 = EDGE_CURVE('',#1794,#1802,#1804,.T.);
#1802 = VERTEX_POINT('',#1803);
#1803 = CARTESIAN_POINT('',(33.022542485937,2.530536869269,6.));
#1804 = LINE('',#1805,#1806);
#1805 = CARTESIAN_POINT('',(27.951205790864,-5.745132472585,6.));
#1806 = VECTOR('',#1807,1.);
#1807 = DIRECTION('',(-0.522498564716,-0.852640164354,0.));
#1808 = ORIENTED_EDGE('',*,*,#1809,.T.);
#1809 = EDGE_CURVE('',#1802,#1810,#1812,.T.);
#1810 = VERTEX_POINT('',#1811);
#1811 = CARTESIAN_POINT('',(32.767766952966,2.232233047034,6.));
#1812 = LINE('',#1813,#1814);
#1813 = CARTESIAN_POINT('',(25.306139599676,-6.50421010206,6.));
#1814 = VECTOR('',#1815,1.);
#1815 = DIRECTION('',(-0.64944804833,-0.7604059656,0.));
#1816 = ORIENTED_EDGE('',*,*,#1817,.T.);
#1817 = EDGE_CURVE('',#1810,#1818,#1820,.T.);
#1818 = VERTEX_POINT('',#1819);
#1819 = CARTESIAN_POINT('',(32.469463130731,1.977457514063,6.));
#1820 = LINE('',#1821,#1822);
#1821 = CARTESIAN_POINT('',(22.593983641633,-6.456998777267,6.));
#1822 = VECTOR('',#1823,1.);
#1823 = DIRECTION('',(-0.7604059656,-0.64944804833,0.));
#1824 = ORIENTED_EDGE('',*,*,#1825,.T.);
#1825 = EDGE_CURVE('',#1818,#1826,#1828,.T.);
#1826 = VERTEX_POINT('',#1827);
#1827 = CARTESIAN_POINT('',(32.134976249349,1.772483689529,6.));
#1828 = LINE('',#1829,#1830);
#1829 = CARTESIAN_POINT('',(20.059165072525,-5.627582917058,6.));
#1830 = VECTOR('',#1831,1.);
#1831 = DIRECTION('',(-0.852640164354,-0.522498564716,0.));
#1832 = ORIENTED_EDGE('',*,*,#1833,.T.);
#1833 = EDGE_CURVE('',#1826,#1834,#1836,.T.);
#1834 = VERTEX_POINT('',#1835);
#1835 = CARTESIAN_POINT('',(31.772542485937,1.622358709262,6.));
#1836 = LINE('',#1837,#1838);
#1837 = CARTESIAN_POINT('',(17.925966591408,-4.11308081868,6.));
#1838 = VECTOR('',#1839,1.);
#1839 = DIRECTION('',(-0.923879532511,-0.382683432365,0.));
#1840 = ORIENTED_EDGE('',*,*,#1841,.T.);
#1841 = EDGE_CURVE('',#1834,#1842,#1844,.T.);
#1842 = VERTEX_POINT('',#1843);
#1843 = CARTESIAN_POINT('',(31.391086162601,1.530779148512,6.));
#1844 = LINE('',#1845,#1846);
#1845 = CARTESIAN_POINT('',(16.377159181235,-2.073745810093,6.));
#1846 = VECTOR('',#1847,1.);
#1847 = DIRECTION('',(-0.972369920398,-0.233445363856,0.));
#1848 = ORIENTED_EDGE('',*,*,#1849,.T.);
#1849 = EDGE_CURVE('',#1842,#1850,#1852,.T.);
#1850 = VERTEX_POINT('',#1851);
#1851 = CARTESIAN_POINT('',(31.,1.5,6.));
#1852 = LINE('',#1853,#1854);
#1853 = CARTESIAN_POINT('',(15.536752435998,0.283016023661,6.));
#1854 = VECTOR('',#1855,1.);
#1855 = DIRECTION('',(-0.996917333733,-7.845909572785E-02,0.));
#1856 = ORIENTED_EDGE('',*,*,#1857,.T.);
#1857 = EDGE_CURVE('',#1850,#1858,#1860,.T.);
#1858 = VERTEX_POINT('',#1859);
#1859 = CARTESIAN_POINT('',(30.608913837399,1.530779148512,6.));
#1860 = LINE('',#1861,#1862);
#1861 = CARTESIAN_POINT('',(15.458535203477,2.723139806041,6.));
#1862 = VECTOR('',#1863,1.);
#1863 = DIRECTION('',(-0.996917333733,7.845909572785E-02,0.));
#1864 = ORIENTED_EDGE('',*,*,#1865,.T.);
#1865 = EDGE_CURVE('',#1858,#1866,#1868,.T.);
#1866 = VERTEX_POINT('',#1867);
#1867 = CARTESIAN_POINT('',(30.227457514063,1.622358709262,6.));
#1868 = LINE('',#1869,#1870);
#1869 = CARTESIAN_POINT('',(16.121511532177,5.008896716244,6.));
#1870 = VECTOR('',#1871,1.);
#1871 = DIRECTION('',(-0.972369920398,0.233445363856,0.));
#1872 = ORIENTED_EDGE('',*,*,#1873,.T.);
#1873 = EDGE_CURVE('',#1866,#1874,#1876,.T.);
#1874 = VERTEX_POINT('',#1875);
#1875 = CARTESIAN_POINT('',(29.865023750651,1.772483689529,6.));
#1876 = LINE('',#1877,#1878);
#1877 = CARTESIAN_POINT('',(17.432661418495,6.922136779845,6.));
#1878 = VECTOR('',#1879,1.);
#1879 = DIRECTION('',(-0.923879532511,0.382683432365,0.));
#1880 = ORIENTED_EDGE('',*,*,#1881,.T.);
#1881 = EDGE_CURVE('',#1874,#1882,#1884,.T.);
#1882 = VERTEX_POINT('',#1883);
#1883 = CARTESIAN_POINT('',(29.530536869269,1.977457514063,6.));
#1884 = LINE('',#1885,#1886);
#1885 = CARTESIAN_POINT('',(19.236738740821,8.285505120129,6.));
#1886 = VECTOR('',#1887,1.);
#1887 = DIRECTION('',(-0.852640164354,0.522498564716,0.));
#1888 = ORIENTED_EDGE('',*,*,#1889,.T.);
#1889 = EDGE_CURVE('',#1882,#1890,#1892,.T.);
#1890 = VERTEX_POINT('',#1891);
#1891 = CARTESIAN_POINT('',(29.232233047034,2.232233047034,6.));
#1892 = LINE('',#1893,#1894);
#1893 = CARTESIAN_POINT('',(21.332130239126,8.979558268443,6.));
#1894 = VECTOR('',#1895,1.);
#1895 = DIRECTION('',(-0.7604059656,0.64944804833,0.));
#1896 = ORIENTED_EDGE('',*,*,#1897,.T.);
#1897 = EDGE_CURVE('',#1890,#1898,#1900,.T.);
#1898 = VERTEX_POINT('',#1899);
#1899 = CARTESIAN_POINT('',(28.977457514063,2.530536869269,6.));
#1900 = LINE('',#1901,#1902);
#1901 = CARTESIAN_POINT('',(23.491206841962,8.954111088282,6.));
#1902 = VECTOR('',#1903,1.);
#1903 = DIRECTION('',(-0.64944804833,0.7604059656,0.));
#1904 = ORIENTED_EDGE('',*,*,#1905,.T.);
#1905 = EDGE_CURVE('',#1898,#1906,#1908,.T.);
#1906 = VERTEX_POINT('',#1907);
#1907 = CARTESIAN_POINT('',(28.772483689529,2.865023750651,6.));
#1908 = LINE('',#1909,#1910);
#1909 = CARTESIAN_POINT('',(25.483160042832,8.232712093026,6.));
#1910 = VECTOR('',#1911,1.);
#1911 = DIRECTION('',(-0.522498564716,0.852640164354,0.));
#1912 = ORIENTED_EDGE('',*,*,#1913,.T.);
#1913 = EDGE_CURVE('',#1906,#1914,#1916,.T.);
#1914 = VERTEX_POINT('',#1915);
#1915 = CARTESIAN_POINT('',(28.622358709262,3.227457514063,6.));
#1916 = LINE('',#1917,#1918);
#1917 = CARTESIAN_POINT('',(27.097074289711,6.909819846219,6.));
#1918 = VECTOR('',#1919,1.);
#1919 = DIRECTION('',(-0.382683432365,0.923879532511,0.));
#1920 = ORIENTED_EDGE('',*,*,#1921,.T.);
#1921 = EDGE_CURVE('',#1914,#1922,#1924,.T.);
#1922 = VERTEX_POINT('',#1923);
#1923 = CARTESIAN_POINT('',(28.530779148512,3.608913837399,6.));
#1924 = LINE('',#1925,#1926);
#1925 = CARTESIAN_POINT('',(28.162965100899,5.140969605358,6.));
#1926 = VECTOR('',#1927,1.);
#1927 = DIRECTION('',(-0.233445363856,0.972369920398,0.));
#1928 = ORIENTED_EDGE('',*,*,#1929,.T.);
#1929 = EDGE_CURVE('',#1922,#1930,#1932,.T.);
#1930 = VERTEX_POINT('',#1931);
#1931 = CARTESIAN_POINT('',(28.5,4.,6.));
#1932 = LINE('',#1933,#1934);
#1933 = CARTESIAN_POINT('',(28.568713891781,3.126907222817,6.));
#1934 = VECTOR('',#1935,1.);
#1935 = DIRECTION('',(-7.845909572785E-02,0.996917333733,0.));
#1936 = ORIENTED_EDGE('',*,*,#1937,.T.);
#1937 = EDGE_CURVE('',#1930,#1938,#1940,.T.);
#1938 = VERTEX_POINT('',#1939);
#1939 = CARTESIAN_POINT('',(28.530779148512,4.391086162601,6.));
#1940 = LINE('',#1941,#1942);
#1941 = CARTESIAN_POINT('',(28.271234535956,1.093259177294,6.));
#1942 = VECTOR('',#1943,1.);
#1943 = DIRECTION('',(7.845909572785E-02,0.996917333733,0.));
#1944 = ORIENTED_EDGE('',*,*,#1945,.T.);
#1945 = EDGE_CURVE('',#1938,#1946,#1948,.T.);
#1946 = VERTEX_POINT('',#1947);
#1947 = CARTESIAN_POINT('',(28.622358709262,4.772542485937,6.));
#1948 = LINE('',#1949,#1950);
#1949 = CARTESIAN_POINT('',(27.300773881795,-0.732254492067,6.));
#1950 = VECTOR('',#1951,1.);
#1951 = DIRECTION('',(0.233445363856,0.972369920398,0.));
#1952 = ORIENTED_EDGE('',*,*,#1953,.T.);
#1953 = EDGE_CURVE('',#1946,#1954,#1956,.T.);
#1954 = VERTEX_POINT('',#1955);
#1955 = CARTESIAN_POINT('',(28.772483689529,5.134976249349,6.));
#1956 = LINE('',#1957,#1958);
#1957 = CARTESIAN_POINT('',(25.757923217472,-2.142816526886,6.));
#1958 = VECTOR('',#1959,1.);
#1959 = DIRECTION('',(0.382683432365,0.923879532511,0.));
#1960 = ORIENTED_EDGE('',*,*,#1961,.T.);
#1961 = EDGE_CURVE('',#1954,#1962,#1964,.T.);
#1962 = VERTEX_POINT('',#1963);
#1963 = CARTESIAN_POINT('',(28.977457514063,5.469463130731,6.));
#1964 = LINE('',#1965,#1966);
#1965 = CARTESIAN_POINT('',(23.803633906722,-2.973449651814,6.));
#1966 = VECTOR('',#1967,1.);
#1967 = DIRECTION('',(0.522498564716,0.852640164354,0.));
#1968 = ORIENTED_EDGE('',*,*,#1969,.T.);
#1969 = EDGE_CURVE('',#1962,#1970,#1972,.T.);
#1970 = VERTEX_POINT('',#1971);
#1971 = CARTESIAN_POINT('',(29.232233047034,5.767766952966,6.));
#1972 = LINE('',#1973,#1974);
#1973 = CARTESIAN_POINT('',(21.643217927258,-3.117828107245,6.));
#1974 = VECTOR('',#1975,1.);
#1975 = DIRECTION('',(0.64944804833,0.7604059656,0.));
#1976 = ORIENTED_EDGE('',*,*,#1977,.T.);
#1977 = EDGE_CURVE('',#1970,#1978,#1980,.T.);
#1978 = VERTEX_POINT('',#1979);
#1979 = CARTESIAN_POINT('',(29.530536869269,6.022542485937,6.));
#1980 = LINE('',#1981,#1982);
#1981 = CARTESIAN_POINT('',(19.505905469053,-2.539301571877,6.));
#1982 = VECTOR('',#1983,1.);
#1983 = DIRECTION('',(0.7604059656,0.64944804833,0.));
#1984 = ORIENTED_EDGE('',*,*,#1985,.T.);
#1985 = EDGE_CURVE('',#1978,#1986,#1988,.T.);
#1986 = VERTEX_POINT('',#1987);
#1987 = CARTESIAN_POINT('',(29.865023750651,6.227516310471,6.));
#1988 = LINE('',#1989,#1990);
#1989 = CARTESIAN_POINT('',(17.621969133136,-1.275037208383,6.));
#1990 = VECTOR('',#1991,1.);
#1991 = DIRECTION('',(0.852640164354,0.522498564716,0.));
#1992 = ORIENTED_EDGE('',*,*,#1993,.T.);
#1993 = EDGE_CURVE('',#1986,#1994,#1996,.T.);
#1994 = VERTEX_POINT('',#1995);
#1995 = CARTESIAN_POINT('',(30.227457514063,6.377641290738,6.));
#1996 = LINE('',#1997,#1998);
#1997 = CARTESIAN_POINT('',(16.199664737827,0.567139272662,6.));
#1998 = VECTOR('',#1999,1.);
#1999 = DIRECTION('',(0.923879532511,0.382683432365,0.));
#2000 = ORIENTED_EDGE('',*,*,#2001,.T.);
#2001 = EDGE_CURVE('',#1994,#2002,#2004,.T.);
#2002 = VERTEX_POINT('',#2003);
#2003 = CARTESIAN_POINT('',(30.608913837399,6.469220851488,6.));
#2004 = LINE('',#2005,#2006);
#2005 = CARTESIAN_POINT('',(15.404258694366,2.818906112507,6.));
#2006 = VECTOR('',#2007,1.);
#2007 = DIRECTION('',(0.972369920398,0.233445363856,0.));
#2008 = ORIENTED_EDGE('',*,*,#2009,.T.);
#2009 = EDGE_CURVE('',#2002,#2010,#2012,.T.);
#2010 = VERTEX_POINT('',#2011);
#2011 = CARTESIAN_POINT('',(31.,6.5,6.));
#2012 = LINE('',#2013,#2014);
#2013 = CARTESIAN_POINT('',(15.341209354697,5.267626449405,6.));
#2014 = VECTOR('',#2015,1.);
#2015 = DIRECTION('',(0.996917333733,7.845909572785E-02,0.));
#2016 = ORIENTED_EDGE('',*,*,#2017,.T.);
#2017 = EDGE_CURVE('',#2010,#2018,#2020,.T.);
#2018 = VERTEX_POINT('',#2019);
#2019 = CARTESIAN_POINT('',(31.391086162601,6.469220851488,6.));
#2020 = LINE('',#2021,#2022);
#2021 = CARTESIAN_POINT('',(16.045164447378,7.676971083273,6.));
#2022 = VECTOR('',#2023,1.);
#2023 = DIRECTION('',(0.996917333733,-7.845909572785E-02,0.));
#2024 = ORIENTED_EDGE('',*,*,#2025,.T.);
#2025 = EDGE_CURVE('',#2018,#2026,#2028,.T.);
#2026 = VERTEX_POINT('',#2027);
#2027 = CARTESIAN_POINT('',(31.772542485937,6.377641290738,6.));
#2028 = LINE('',#2029,#2030);
#2029 = CARTESIAN_POINT('',(17.475868342383,9.809969078095,6.));
#2030 = VECTOR('',#2031,1.);
#2031 = DIRECTION('',(0.972369920398,-0.233445363856,0.));
#2032 = ORIENTED_EDGE('',*,*,#2033,.T.);
#2033 = EDGE_CURVE('',#2026,#2034,#2036,.T.);
#2034 = VERTEX_POINT('',#2035);
#2035 = CARTESIAN_POINT('',(32.134976249349,6.227516310471,6.));
#2036 = LINE('',#2037,#2038);
#2037 = CARTESIAN_POINT('',(19.521397035487,11.45223189092,6.));
#2038 = VECTOR('',#2039,1.);
#2039 = DIRECTION('',(0.923879532511,-0.382683432365,0.));
#2040 = ORIENTED_EDGE('',*,*,#2041,.T.);
#2041 = EDGE_CURVE('',#2034,#2042,#2044,.T.);
#2042 = VERTEX_POINT('',#2043);
#2043 = CARTESIAN_POINT('',(32.469463130731,6.022542485937,6.));
#2044 = LINE('',#2045,#2046);
#2045 = CARTESIAN_POINT('',(22.008421561592,12.43307700427,6.));
#2046 = VECTOR('',#2047,1.);
#2047 = DIRECTION('',(0.852640164354,-0.522498564716,0.));
#2048 = ORIENTED_EDGE('',*,*,#2049,.T.);
#2049 = EDGE_CURVE('',#2042,#2050,#2052,.T.);
#2050 = VERTEX_POINT('',#2051);
#2051 = CARTESIAN_POINT('',(32.767766952966,5.767766952966,6.));
#2052 = LINE('',#2053,#2054);
#2053 = CARTESIAN_POINT('',(24.718512233941,12.642479940862,6.));
#2054 = VECTOR('',#2055,1.);
#2055 = DIRECTION('',(0.7604059656,-0.64944804833,0.));
#2056 = ORIENTED_EDGE('',*,*,#2057,.T.);
#2057 = EDGE_CURVE('',#2050,#2058,#2060,.T.);
#2058 = VERTEX_POINT('',#2059);
#2059 = CARTESIAN_POINT('',(33.022542485937,5.469463130731,6.));
#2060 = LINE('',#2061,#2062);
#2061 = CARTESIAN_POINT('',(27.408904047352,12.042189260862,6.));
#2062 = VECTOR('',#2063,1.);
#2063 = DIRECTION('',(0.64944804833,-0.7604059656,0.));
#2064 = ORIENTED_EDGE('',*,*,#2065,.T.);
#2065 = EDGE_CURVE('',#2058,#2066,#2068,.T.);
#2066 = VERTEX_POINT('',#2067);
#2067 = CARTESIAN_POINT('',(33.227516310471,5.134976249349,6.));
#2068 = LINE('',#2069,#2070);
#2069 = CARTESIAN_POINT('',(29.835705751507,10.669908032415,6.));
#2070 = VECTOR('',#2071,1.);
#2071 = DIRECTION('',(0.522498564716,-0.852640164354,0.));
#2072 = ORIENTED_EDGE('',*,*,#2073,.T.);
#2073 = EDGE_CURVE('',#2066,#1760,#2074,.T.);
#2074 = LINE('',#2075,#2076);
#2075 = CARTESIAN_POINT('',(31.777294381053,8.636121699799,6.));
#2076 = VECTOR('',#2077,1.);
#2077 = DIRECTION('',(0.382683432365,-0.923879532511,0.));
#2078 = PLANE('',#2079);
#2079 = AXIS2_PLACEMENT_3D('',#2080,#2081,#2082);
#2080 = CARTESIAN_POINT('',(0.,0.,6.));
#2081 = DIRECTION('',(0.,0.,1.));
#2082 = DIRECTION('',(1.,0.,0.));
#2083 = ADVANCED_FACE('',(#2084),#2102,.T.);
#2084 = FACE_BOUND('',#2085,.T.);
#2085 = EDGE_LOOP('',(#2086,#2094,#2095,#2096));
#2086 = ORIENTED_EDGE('',*,*,#2087,.F.);
#2087 = EDGE_CURVE('',#1000,#2088,#2090,.T.);
#2088 = VERTEX_POINT('',#2089);
#2089 = CARTESIAN_POINT('',(40.,8.5,2.));
#2090 = LINE('',#2091,#2092);
#2091 = CARTESIAN_POINT('',(-1.,8.5,2.));
#2092 = VECTOR('',#2093,1.);
#2093 = DIRECTION('',(1.,0.,0.));
#2094 = ORIENTED_EDGE('',*,*,#1007,.T.);
#2095 = ORIENTED_EDGE('',*,*,#1107,.F.);
#2096 = ORIENTED_EDGE('',*,*,#2097,.F.);
#2097 = EDGE_CURVE('',#2088,#1100,#2098,.T.);
#2098 = LINE('',#2099,#2100);
#2099 = CARTESIAN_POINT('',(40.,8.5,2.));
#2100 = VECTOR('',#2101,1.);
#2101 = DIRECTION('',(0.,0.,1.));
#2102 = PLANE('',#2103);
#2103 = AXIS2_PLACEMENT_3D('',#2104,#2105,#2106);
#2104 = CARTESIAN_POINT('',(-1.,8.5,2.));
#2105 = DIRECTION('',(0.,1.,0.));
#2106 = DIRECTION('',(0.,0.,1.));
#2107 = ADVANCED_FACE('',(#2108),#2126,.T.);
#2108 = FACE_BOUND('',#2109,.T.);
#2109 = EDGE_LOOP('',(#2110,#2118,#2119,#2120));
#2110 = ORIENTED_EDGE('',*,*,#2111,.F.);
#2111 = EDGE_CURVE('',#992,#2112,#2114,.T.);
#2112 = VERTEX_POINT('',#2113);
#2113 = CARTESIAN_POINT('',(40.,10.5,2.));
#2114 = LINE('',#2115,#2116);
#2115 = CARTESIAN_POINT('',(-1.,10.5,2.));
#2116 = VECTOR('',#2117,1.);
#2117 = DIRECTION('',(1.,0.,0.));
#2118 = ORIENTED_EDGE('',*,*,#999,.T.);
#2119 = ORIENTED_EDGE('',*,*,#2087,.T.);
#2120 = ORIENTED_EDGE('',*,*,#2121,.T.);
#2121 = EDGE_CURVE('',#2088,#2112,#2122,.T.);
#2122 = LINE('',#2123,#2124);
#2123 = CARTESIAN_POINT('',(40.,8.5,2.));
#2124 = VECTOR('',#2125,1.);
#2125 = DIRECTION('',(0.,1.,0.));
#2126 = PLANE('',#2127);
#2127 = AXIS2_PLACEMENT_3D('',#2128,#2129,#2130);
#2128 = CARTESIAN_POINT('',(-1.,8.5,2.));
#2129 = DIRECTION('',(0.,0.,1.));
#2130 = DIRECTION('',(1.,0.,0.));
#2131 = ADVANCED_FACE('',(#2132),#2143,.F.);
#2132 = FACE_BOUND('',#2133,.F.);
#2133 = EDGE_LOOP('',(#2134,#2135,#2136,#2137));
#2134 = ORIENTED_EDGE('',*,*,#2111,.F.);
#2135 = ORIENTED_EDGE('',*,*,#991,.T.);
#2136 = ORIENTED_EDGE('',*,*,#1091,.F.);
#2137 = ORIENTED_EDGE('',*,*,#2138,.F.);
#2138 = EDGE_CURVE('',#2112,#1092,#2139,.T.);
#2139 = LINE('',#2140,#2141);
#2140 = CARTESIAN_POINT('',(40.,10.5,2.));
#2141 = VECTOR('',#2142,1.);
#2142 = DIRECTION('',(0.,0.,1.));
#2143 = PLANE('',#2144);
#2144 = AXIS2_PLACEMENT_3D('',#2145,#2146,#2147);
#2145 = CARTESIAN_POINT('',(-1.,10.5,2.));
#2146 = DIRECTION('',(0.,1.,0.));
#2147 = DIRECTION('',(0.,0.,1.));
#2148 = ADVANCED_FACE('',(#2149),#2167,.T.);
#2149 = FACE_BOUND('',#2150,.T.);
#2150 = EDGE_LOOP('',(#2151,#2159,#2160,#2161));
#2151 = ORIENTED_EDGE('',*,*,#2152,.F.);
#2152 = EDGE_CURVE('',#968,#2153,#2155,.T.);
#2153 = VERTEX_POINT('',#2154);
#2154 = CARTESIAN_POINT('',(40.,11.5,2.));
#2155 = LINE('',#2156,#2157);
#2156 = CARTESIAN_POINT('',(-1.,11.5,2.));
#2157 = VECTOR('',#2158,1.);
#2158 = DIRECTION('',(1.,0.,0.));
#2159 = ORIENTED_EDGE('',*,*,#975,.T.);
#2160 = ORIENTED_EDGE('',*,*,#1084,.F.);
#2161 = ORIENTED_EDGE('',*,*,#2162,.F.);
#2162 = EDGE_CURVE('',#2153,#1077,#2163,.T.);
#2163 = LINE('',#2164,#2165);
#2164 = CARTESIAN_POINT('',(40.,11.5,2.));
#2165 = VECTOR('',#2166,1.);
#2166 = DIRECTION('',(0.,0.,1.));
#2167 = PLANE('',#2168);
#2168 = AXIS2_PLACEMENT_3D('',#2169,#2170,#2171);
#2169 = CARTESIAN_POINT('',(-1.,11.5,2.));
#2170 = DIRECTION('',(0.,1.,0.));
#2171 = DIRECTION('',(0.,0.,1.));
#2172 = ADVANCED_FACE('',(#2173),#2191,.T.);
#2173 = FACE_BOUND('',#2174,.T.);
#2174 = EDGE_LOOP('',(#2175,#2183,#2184,#2185));
#2175 = ORIENTED_EDGE('',*,*,#2176,.F.);
#2176 = EDGE_CURVE('',#960,#2177,#2179,.T.);
#2177 = VERTEX_POINT('',#2178);
#2178 = CARTESIAN_POINT('',(40.,13.5,2.));
#2179 = LINE('',#2180,#2181);
#2180 = CARTESIAN_POINT('',(-1.,13.5,2.));
#2181 = VECTOR('',#2182,1.);
#2182 = DIRECTION('',(1.,0.,0.));
#2183 = ORIENTED_EDGE('',*,*,#967,.T.);
#2184 = ORIENTED_EDGE('',*,*,#2152,.T.);
#2185 = ORIENTED_EDGE('',*,*,#2186,.T.);
#2186 = EDGE_CURVE('',#2153,#2177,#2187,.T.);
#2187 = LINE('',#2188,#2189);
#2188 = CARTESIAN_POINT('',(40.,11.5,2.));
#2189 = VECTOR('',#2190,1.);
#2190 = DIRECTION('',(0.,1.,0.));
#2191 = PLANE('',#2192);
#2192 = AXIS2_PLACEMENT_3D('',#2193,#2194,#2195);
#2193 = CARTESIAN_POINT('',(-1.,11.5,2.));
#2194 = DIRECTION('',(0.,0.,1.));
#2195 = DIRECTION('',(1.,0.,0.));
#2196 = ADVANCED_FACE('',(#2197),#2208,.F.);
#2197 = FACE_BOUND('',#2198,.F.);
#2198 = EDGE_LOOP('',(#2199,#2200,#2201,#2202));
#2199 = ORIENTED_EDGE('',*,*,#2176,.F.);
#2200 = ORIENTED_EDGE('',*,*,#959,.T.);
#2201 = ORIENTED_EDGE('',*,*,#1068,.F.);
#2202 = ORIENTED_EDGE('',*,*,#2203,.F.);
#2203 = EDGE_CURVE('',#2177,#1069,#2204,.T.);
#2204 = LINE('',#2205,#2206);
#2205 = CARTESIAN_POINT('',(40.,13.5,2.));
#2206 = VECTOR('',#2207,1.);
#2207 = DIRECTION('',(0.,0.,1.));
#2208 = PLANE('',#2209);
#2209 = AXIS2_PLACEMENT_3D('',#2210,#2211,#2212);
#2210 = CARTESIAN_POINT('',(-1.,13.5,2.));
#2211 = DIRECTION('',(0.,1.,0.));
#2212 = DIRECTION('',(0.,0.,1.));
#2213 = ADVANCED_FACE('',(#2214),#2232,.T.);
#2214 = FACE_BOUND('',#2215,.T.);
#2215 = EDGE_LOOP('',(#2216,#2224,#2225,#2226));
#2216 = ORIENTED_EDGE('',*,*,#2217,.F.);
#2217 = EDGE_CURVE('',#936,#2218,#2220,.T.);
#2218 = VERTEX_POINT('',#2219);
#2219 = CARTESIAN_POINT('',(40.,14.5,2.));
#2220 = LINE('',#2221,#2222);
#2221 = CARTESIAN_POINT('',(-1.,14.5,2.));
#2222 = VECTOR('',#2223,1.);
#2223 = DIRECTION('',(1.,0.,0.));
#2224 = ORIENTED_EDGE('',*,*,#943,.T.);
#2225 = ORIENTED_EDGE('',*,*,#1061,.F.);
#2226 = ORIENTED_EDGE('',*,*,#2227,.F.);
#2227 = EDGE_CURVE('',#2218,#1054,#2228,.T.);
#2228 = LINE('',#2229,#2230);
#2229 = CARTESIAN_POINT('',(40.,14.5,2.));
#2230 = VECTOR('',#2231,1.);
#2231 = DIRECTION('',(0.,0.,1.));
#2232 = PLANE('',#2233);
#2233 = AXIS2_PLACEMENT_3D('',#2234,#2235,#2236);
#2234 = CARTESIAN_POINT('',(-1.,14.5,2.));
#2235 = DIRECTION('',(0.,1.,0.));
#2236 = DIRECTION('',(0.,0.,1.));
#2237 = ADVANCED_FACE('',(#2238),#2256,.T.);
#2238 = FACE_BOUND('',#2239,.T.);
#2239 = EDGE_LOOP('',(#2240,#2248,#2249,#2250));
#2240 = ORIENTED_EDGE('',*,*,#2241,.F.);
#2241 = EDGE_CURVE('',#928,#2242,#2244,.T.);
#2242 = VERTEX_POINT('',#2243);
#2243 = CARTESIAN_POINT('',(40.,16.5,2.));
#2244 = LINE('',#2245,#2246);
#2245 = CARTESIAN_POINT('',(-1.,16.5,2.));
#2246 = VECTOR('',#2247,1.);
#2247 = DIRECTION('',(1.,0.,0.));
#2248 = ORIENTED_EDGE('',*,*,#935,.T.);
#2249 = ORIENTED_EDGE('',*,*,#2217,.T.);
#2250 = ORIENTED_EDGE('',*,*,#2251,.T.);
#2251 = EDGE_CURVE('',#2218,#2242,#2252,.T.);
#2252 = LINE('',#2253,#2254);
#2253 = CARTESIAN_POINT('',(40.,14.5,2.));
#2254 = VECTOR('',#2255,1.);
#2255 = DIRECTION('',(0.,1.,0.));
#2256 = PLANE('',#2257);
#2257 = AXIS2_PLACEMENT_3D('',#2258,#2259,#2260);
#2258 = CARTESIAN_POINT('',(-1.,14.5,2.));
#2259 = DIRECTION('',(0.,0.,1.));
#2260 = DIRECTION('',(1.,0.,0.));
#2261 = ADVANCED_FACE('',(#2262),#2273,.F.);
#2262 = FACE_BOUND('',#2263,.F.);
#2263 = EDGE_LOOP('',(#2264,#2265,#2266,#2267));
#2264 = ORIENTED_EDGE('',*,*,#2241,.F.);
#2265 = ORIENTED_EDGE('',*,*,#927,.T.);
#2266 = ORIENTED_EDGE('',*,*,#1045,.F.);
#2267 = ORIENTED_EDGE('',*,*,#2268,.F.);
#2268 = EDGE_CURVE('',#2242,#1046,#2269,.T.);
#2269 = LINE('',#2270,#2271);
#2270 = CARTESIAN_POINT('',(40.,16.5,2.));
#2271 = VECTOR('',#2272,1.);
#2272 = DIRECTION('',(0.,0.,1.));
#2273 = PLANE('',#2274);
#2274 = AXIS2_PLACEMENT_3D('',#2275,#2276,#2277);
#2275 = CARTESIAN_POINT('',(-1.,16.5,2.));
#2276 = DIRECTION('',(0.,1.,0.));
#2277 = DIRECTION('',(0.,0.,1.));
#2278 = ADVANCED_FACE('',(#2279),#2297,.T.);
#2279 = FACE_BOUND('',#2280,.T.);
#2280 = EDGE_LOOP('',(#2281,#2289,#2290,#2291));
#2281 = ORIENTED_EDGE('',*,*,#2282,.F.);
#2282 = EDGE_CURVE('',#904,#2283,#2285,.T.);
#2283 = VERTEX_POINT('',#2284);
#2284 = CARTESIAN_POINT('',(54.,17.5,2.));
#2285 = LINE('',#2286,#2287);
#2286 = CARTESIAN_POINT('',(-1.,17.5,2.));
#2287 = VECTOR('',#2288,1.);
#2288 = DIRECTION('',(1.,0.,0.));
#2289 = ORIENTED_EDGE('',*,*,#911,.T.);
#2290 = ORIENTED_EDGE('',*,*,#1038,.F.);
#2291 = ORIENTED_EDGE('',*,*,#2292,.F.);
#2292 = EDGE_CURVE('',#2283,#1031,#2293,.T.);
#2293 = LINE('',#2294,#2295);
#2294 = CARTESIAN_POINT('',(54.,17.5,1.));
#2295 = VECTOR('',#2296,1.);
#2296 = DIRECTION('',(0.,0.,1.));
#2297 = PLANE('',#2298);
#2298 = AXIS2_PLACEMENT_3D('',#2299,#2300,#2301);
#2299 = CARTESIAN_POINT('',(-1.,17.5,2.));
#2300 = DIRECTION('',(0.,1.,0.));
#2301 = DIRECTION('',(0.,0.,1.));
#2302 = ADVANCED_FACE('',(#2303),#2321,.T.);
#2303 = FACE_BOUND('',#2304,.T.);
#2304 = EDGE_LOOP('',(#2305,#2313,#2314,#2315));
#2305 = ORIENTED_EDGE('',*,*,#2306,.F.);
#2306 = EDGE_CURVE('',#896,#2307,#2309,.T.);
#2307 = VERTEX_POINT('',#2308);
#2308 = CARTESIAN_POINT('',(54.,19.5,2.));
#2309 = LINE('',#2310,#2311);
#2310 = CARTESIAN_POINT('',(-1.,19.5,2.));
#2311 = VECTOR('',#2312,1.);
#2312 = DIRECTION('',(1.,0.,0.));
#2313 = ORIENTED_EDGE('',*,*,#903,.T.);
#2314 = ORIENTED_EDGE('',*,*,#2282,.T.);
#2315 = ORIENTED_EDGE('',*,*,#2316,.F.);
#2316 = EDGE_CURVE('',#2307,#2283,#2317,.T.);
#2317 = LINE('',#2318,#2319);
#2318 = CARTESIAN_POINT('',(54.,8.75,2.));
#2319 = VECTOR('',#2320,1.);
#2320 = DIRECTION('',(0.,-1.,0.));
#2321 = PLANE('',#2322);
#2322 = AXIS2_PLACEMENT_3D('',#2323,#2324,#2325);
#2323 = CARTESIAN_POINT('',(-1.,17.5,2.));
#2324 = DIRECTION('',(0.,0.,1.));
#2325 = DIRECTION('',(1.,0.,0.));
#2326 = ADVANCED_FACE('',(#2327),#2345,.F.);
#2327 = FACE_BOUND('',#2328,.F.);
#2328 = EDGE_LOOP('',(#2329,#2330,#2331,#2339));
#2329 = ORIENTED_EDGE('',*,*,#2306,.F.);
#2330 = ORIENTED_EDGE('',*,*,#895,.T.);
#2331 = ORIENTED_EDGE('',*,*,#2332,.F.);
#2332 = EDGE_CURVE('',#2333,#888,#2335,.T.);
#2333 = VERTEX_POINT('',#2334);
#2334 = CARTESIAN_POINT('',(54.,19.5,6.));
#2335 = LINE('',#2336,#2337);
#2336 = CARTESIAN_POINT('',(-0.5,19.5,6.));
#2337 = VECTOR('',#2338,1.);
#2338 = DIRECTION('',(-1.,0.,0.));
#2339 = ORIENTED_EDGE('',*,*,#2340,.F.);
#2340 = EDGE_CURVE('',#2307,#2333,#2341,.T.);
#2341 = LINE('',#2342,#2343);
#2342 = CARTESIAN_POINT('',(54.,19.5,1.));
#2343 = VECTOR('',#2344,1.);
#2344 = DIRECTION('',(0.,0.,1.));
#2345 = PLANE('',#2346);
#2346 = AXIS2_PLACEMENT_3D('',#2347,#2348,#2349);
#2347 = CARTESIAN_POINT('',(-1.,19.5,2.));
#2348 = DIRECTION('',(0.,1.,0.));
#2349 = DIRECTION('',(0.,0.,1.));
#2350 = ADVANCED_FACE('',(#2351),#2369,.T.);
#2351 = FACE_BOUND('',#2352,.T.);
#2352 = EDGE_LOOP('',(#2353,#2354,#2362,#2368));
#2353 = ORIENTED_EDGE('',*,*,#2332,.F.);
#2354 = ORIENTED_EDGE('',*,*,#2355,.T.);
#2355 = EDGE_CURVE('',#2333,#2356,#2358,.T.);
#2356 = VERTEX_POINT('',#2357);
#2357 = CARTESIAN_POINT('',(54.,20.5,6.));
#2358 = LINE('',#2359,#2360);
#2359 = CARTESIAN_POINT('',(54.,0.,6.));
#2360 = VECTOR('',#2361,1.);
#2361 = DIRECTION('',(0.,1.,0.));
#2362 = ORIENTED_EDGE('',*,*,#2363,.T.);
#2363 = EDGE_CURVE('',#2356,#880,#2364,.T.);
#2364 = LINE('',#2365,#2366);
#2365 = CARTESIAN_POINT('',(-0.5,20.5,6.));
#2366 = VECTOR('',#2367,1.);
#2367 = DIRECTION('',(-1.,0.,0.));
#2368 = ORIENTED_EDGE('',*,*,#887,.F.);
#2369 = PLANE('',#2370);
#2370 = AXIS2_PLACEMENT_3D('',#2371,#2372,#2373);
#2371 = CARTESIAN_POINT('',(0.,0.,6.));
#2372 = DIRECTION('',(0.,0.,1.));
#2373 = DIRECTION('',(1.,0.,0.));
#2374 = ADVANCED_FACE('',(#2375),#2393,.T.);
#2375 = FACE_BOUND('',#2376,.T.);
#2376 = EDGE_LOOP('',(#2377,#2385,#2386,#2387));
#2377 = ORIENTED_EDGE('',*,*,#2378,.F.);
#2378 = EDGE_CURVE('',#872,#2379,#2381,.T.);
#2379 = VERTEX_POINT('',#2380);
#2380 = CARTESIAN_POINT('',(54.,20.5,2.));
#2381 = LINE('',#2382,#2383);
#2382 = CARTESIAN_POINT('',(-1.,20.5,2.));
#2383 = VECTOR('',#2384,1.);
#2384 = DIRECTION('',(1.,0.,0.));
#2385 = ORIENTED_EDGE('',*,*,#879,.T.);
#2386 = ORIENTED_EDGE('',*,*,#2363,.F.);
#2387 = ORIENTED_EDGE('',*,*,#2388,.F.);
#2388 = EDGE_CURVE('',#2379,#2356,#2389,.T.);
#2389 = LINE('',#2390,#2391);
#2390 = CARTESIAN_POINT('',(54.,20.5,1.));
#2391 = VECTOR('',#2392,1.);
#2392 = DIRECTION('',(0.,0.,1.));
#2393 = PLANE('',#2394);
#2394 = AXIS2_PLACEMENT_3D('',#2395,#2396,#2397);
#2395 = CARTESIAN_POINT('',(-1.,20.5,2.));
#2396 = DIRECTION('',(0.,1.,0.));
#2397 = DIRECTION('',(0.,0.,1.));
#2398 = ADVANCED_FACE('',(#2399),#2417,.T.);
#2399 = FACE_BOUND('',#2400,.T.);
#2400 = EDGE_LOOP('',(#2401,#2409,#2410,#2411));
#2401 = ORIENTED_EDGE('',*,*,#2402,.F.);
#2402 = EDGE_CURVE('',#864,#2403,#2405,.T.);
#2403 = VERTEX_POINT('',#2404);
#2404 = CARTESIAN_POINT('',(54.,22.5,2.));
#2405 = LINE('',#2406,#2407);
#2406 = CARTESIAN_POINT('',(-1.,22.5,2.));
#2407 = VECTOR('',#2408,1.);
#2408 = DIRECTION('',(1.,0.,0.));
#2409 = ORIENTED_EDGE('',*,*,#871,.T.);
#2410 = ORIENTED_EDGE('',*,*,#2378,.T.);
#2411 = ORIENTED_EDGE('',*,*,#2412,.F.);
#2412 = EDGE_CURVE('',#2403,#2379,#2413,.T.);
#2413 = LINE('',#2414,#2415);
#2414 = CARTESIAN_POINT('',(54.,10.25,2.));
#2415 = VECTOR('',#2416,1.);
#2416 = DIRECTION('',(0.,-1.,0.));
#2417 = PLANE('',#2418);
#2418 = AXIS2_PLACEMENT_3D('',#2419,#2420,#2421);
#2419 = CARTESIAN_POINT('',(-1.,20.5,2.));
#2420 = DIRECTION('',(0.,0.,1.));
#2421 = DIRECTION('',(1.,0.,0.));
#2422 = ADVANCED_FACE('',(#2423),#2441,.F.);
#2423 = FACE_BOUND('',#2424,.F.);
#2424 = EDGE_LOOP('',(#2425,#2426,#2427,#2435));
#2425 = ORIENTED_EDGE('',*,*,#2402,.F.);
#2426 = ORIENTED_EDGE('',*,*,#863,.T.);
#2427 = ORIENTED_EDGE('',*,*,#2428,.F.);
#2428 = EDGE_CURVE('',#2429,#856,#2431,.T.);
#2429 = VERTEX_POINT('',#2430);
#2430 = CARTESIAN_POINT('',(54.,22.5,6.));
#2431 = LINE('',#2432,#2433);
#2432 = CARTESIAN_POINT('',(-0.5,22.5,6.));
#2433 = VECTOR('',#2434,1.);
#2434 = DIRECTION('',(-1.,0.,0.));
#2435 = ORIENTED_EDGE('',*,*,#2436,.F.);
#2436 = EDGE_CURVE('',#2403,#2429,#2437,.T.);
#2437 = LINE('',#2438,#2439);
#2438 = CARTESIAN_POINT('',(54.,22.5,1.));
#2439 = VECTOR('',#2440,1.);
#2440 = DIRECTION('',(0.,0.,1.));
#2441 = PLANE('',#2442);
#2442 = AXIS2_PLACEMENT_3D('',#2443,#2444,#2445);
#2443 = CARTESIAN_POINT('',(-1.,22.5,2.));
#2444 = DIRECTION('',(0.,1.,0.));
#2445 = DIRECTION('',(0.,0.,1.));
#2446 = ADVANCED_FACE('',(#2447),#2465,.T.);
#2447 = FACE_BOUND('',#2448,.T.);
#2448 = EDGE_LOOP('',(#2449,#2450,#2458,#2464));
#2449 = ORIENTED_EDGE('',*,*,#2428,.F.);
#2450 = ORIENTED_EDGE('',*,*,#2451,.T.);
#2451 = EDGE_CURVE('',#2429,#2452,#2454,.T.);
#2452 = VERTEX_POINT('',#2453);
#2453 = CARTESIAN_POINT('',(54.,23.5,6.));
#2454 = LINE('',#2455,#2456);
#2455 = CARTESIAN_POINT('',(54.,0.,6.));
#2456 = VECTOR('',#2457,1.);
#2457 = DIRECTION('',(0.,1.,0.));
#2458 = ORIENTED_EDGE('',*,*,#2459,.T.);
#2459 = EDGE_CURVE('',#2452,#848,#2460,.T.);
#2460 = LINE('',#2461,#2462);
#2461 = CARTESIAN_POINT('',(-0.5,23.5,6.));
#2462 = VECTOR('',#2463,1.);
#2463 = DIRECTION('',(-1.,0.,0.));
#2464 = ORIENTED_EDGE('',*,*,#855,.F.);
#2465 = PLANE('',#2466);
#2466 = AXIS2_PLACEMENT_3D('',#2467,#2468,#2469);
#2467 = CARTESIAN_POINT('',(0.,0.,6.));
#2468 = DIRECTION('',(0.,0.,1.));
#2469 = DIRECTION('',(1.,0.,0.));
#2470 = ADVANCED_FACE('',(#2471),#2489,.T.);
#2471 = FACE_BOUND('',#2472,.T.);
#2472 = EDGE_LOOP('',(#2473,#2481,#2482,#2483));
#2473 = ORIENTED_EDGE('',*,*,#2474,.F.);
#2474 = EDGE_CURVE('',#840,#2475,#2477,.T.);
#2475 = VERTEX_POINT('',#2476);
#2476 = CARTESIAN_POINT('',(54.,23.5,2.));
#2477 = LINE('',#2478,#2479);
#2478 = CARTESIAN_POINT('',(-1.,23.5,2.));
#2479 = VECTOR('',#2480,1.);
#2480 = DIRECTION('',(1.,0.,0.));
#2481 = ORIENTED_EDGE('',*,*,#847,.T.);
#2482 = ORIENTED_EDGE('',*,*,#2459,.F.);
#2483 = ORIENTED_EDGE('',*,*,#2484,.F.);
#2484 = EDGE_CURVE('',#2475,#2452,#2485,.T.);
#2485 = LINE('',#2486,#2487);
#2486 = CARTESIAN_POINT('',(54.,23.5,1.));
#2487 = VECTOR('',#2488,1.);
#2488 = DIRECTION('',(0.,0.,1.));
#2489 = PLANE('',#2490);
#2490 = AXIS2_PLACEMENT_3D('',#2491,#2492,#2493);
#2491 = CARTESIAN_POINT('',(-1.,23.5,2.));
#2492 = DIRECTION('',(0.,1.,0.));
#2493 = DIRECTION('',(0.,0.,1.));
#2494 = ADVANCED_FACE('',(#2495),#2513,.T.);
#2495 = FACE_BOUND('',#2496,.T.);
#2496 = EDGE_LOOP('',(#2497,#2505,#2506,#2507));
#2497 = ORIENTED_EDGE('',*,*,#2498,.F.);
#2498 = EDGE_CURVE('',#832,#2499,#2501,.T.);
#2499 = VERTEX_POINT('',#2500);
#2500 = CARTESIAN_POINT('',(54.,25.5,2.));
#2501 = LINE('',#2502,#2503);
#2502 = CARTESIAN_POINT('',(-1.,25.5,2.));
#2503 = VECTOR('',#2504,1.);
#2504 = DIRECTION('',(1.,0.,0.));
#2505 = ORIENTED_EDGE('',*,*,#839,.T.);
#2506 = ORIENTED_EDGE('',*,*,#2474,.T.);
#2507 = ORIENTED_EDGE('',*,*,#2508,.F.);
#2508 = EDGE_CURVE('',#2499,#2475,#2509,.T.);
#2509 = LINE('',#2510,#2511);
#2510 = CARTESIAN_POINT('',(54.,11.75,2.));
#2511 = VECTOR('',#2512,1.);
#2512 = DIRECTION('',(0.,-1.,0.));
#2513 = PLANE('',#2514);
#2514 = AXIS2_PLACEMENT_3D('',#2515,#2516,#2517);
#2515 = CARTESIAN_POINT('',(-1.,23.5,2.));
#2516 = DIRECTION('',(0.,0.,1.));
#2517 = DIRECTION('',(1.,0.,0.));
#2518 = ADVANCED_FACE('',(#2519),#2537,.F.);
#2519 = FACE_BOUND('',#2520,.F.);
#2520 = EDGE_LOOP('',(#2521,#2522,#2523,#2531));
#2521 = ORIENTED_EDGE('',*,*,#2498,.F.);
#2522 = ORIENTED_EDGE('',*,*,#831,.T.);
#2523 = ORIENTED_EDGE('',*,*,#2524,.F.);
#2524 = EDGE_CURVE('',#2525,#824,#2527,.T.);
#2525 = VERTEX_POINT('',#2526);
#2526 = CARTESIAN_POINT('',(54.,25.5,6.));
#2527 = LINE('',#2528,#2529);
#2528 = CARTESIAN_POINT('',(-0.5,25.5,6.));
#2529 = VECTOR('',#2530,1.);
#2530 = DIRECTION('',(-1.,0.,0.));
#2531 = ORIENTED_EDGE('',*,*,#2532,.F.);
#2532 = EDGE_CURVE('',#2499,#2525,#2533,.T.);
#2533 = LINE('',#2534,#2535);
#2534 = CARTESIAN_POINT('',(54.,25.5,1.));
#2535 = VECTOR('',#2536,1.);
#2536 = DIRECTION('',(0.,0.,1.));
#2537 = PLANE('',#2538);
#2538 = AXIS2_PLACEMENT_3D('',#2539,#2540,#2541);
#2539 = CARTESIAN_POINT('',(-1.,25.5,2.));
#2540 = DIRECTION('',(0.,1.,0.));
#2541 = DIRECTION('',(0.,0.,1.));
#2542 = ADVANCED_FACE('',(#2543),#2561,.T.);
#2543 = FACE_BOUND('',#2544,.T.);
#2544 = EDGE_LOOP('',(#2545,#2546,#2554,#2560));
#2545 = ORIENTED_EDGE('',*,*,#2524,.F.);
#2546 = ORIENTED_EDGE('',*,*,#2547,.T.);
#2547 = EDGE_CURVE('',#2525,#2548,#2550,.T.);
#2548 = VERTEX_POINT('',#2549);
#2549 = CARTESIAN_POINT('',(54.,26.5,6.));
#2550 = LINE('',#2551,#2552);
#2551 = CARTESIAN_POINT('',(54.,0.,6.));
#2552 = VECTOR('',#2553,1.);
#2553 = DIRECTION('',(0.,1.,0.));
#2554 = ORIENTED_EDGE('',*,*,#2555,.T.);
#2555 = EDGE_CURVE('',#2548,#816,#2556,.T.);
#2556 = LINE('',#2557,#2558);
#2557 = CARTESIAN_POINT('',(-0.5,26.5,6.));
#2558 = VECTOR('',#2559,1.);
#2559 = DIRECTION('',(-1.,0.,0.));
#2560 = ORIENTED_EDGE('',*,*,#823,.F.);
#2561 = PLANE('',#2562);
#2562 = AXIS2_PLACEMENT_3D('',#2563,#2564,#2565);
#2563 = CARTESIAN_POINT('',(0.,0.,6.));
#2564 = DIRECTION('',(0.,0.,1.));
#2565 = DIRECTION('',(1.,0.,0.));
#2566 = ADVANCED_FACE('',(#2567),#2585,.T.);
#2567 = FACE_BOUND('',#2568,.T.);
#2568 = EDGE_LOOP('',(#2569,#2577,#2578,#2579));
#2569 = ORIENTED_EDGE('',*,*,#2570,.F.);
#2570 = EDGE_CURVE('',#808,#2571,#2573,.T.);
#2571 = VERTEX_POINT('',#2572);
#2572 = CARTESIAN_POINT('',(54.,26.5,2.));
#2573 = LINE('',#2574,#2575);
#2574 = CARTESIAN_POINT('',(-1.,26.5,2.));
#2575 = VECTOR('',#2576,1.);
#2576 = DIRECTION('',(1.,0.,0.));
#2577 = ORIENTED_EDGE('',*,*,#815,.T.);
#2578 = ORIENTED_EDGE('',*,*,#2555,.F.);
#2579 = ORIENTED_EDGE('',*,*,#2580,.F.);
#2580 = EDGE_CURVE('',#2571,#2548,#2581,.T.);
#2581 = LINE('',#2582,#2583);
#2582 = CARTESIAN_POINT('',(54.,26.5,1.));
#2583 = VECTOR('',#2584,1.);
#2584 = DIRECTION('',(0.,0.,1.));
#2585 = PLANE('',#2586);
#2586 = AXIS2_PLACEMENT_3D('',#2587,#2588,#2589);
#2587 = CARTESIAN_POINT('',(-1.,26.5,2.));
#2588 = DIRECTION('',(0.,1.,0.));
#2589 = DIRECTION('',(0.,0.,1.));
#2590 = ADVANCED_FACE('',(#2591),#2609,.T.);
#2591 = FACE_BOUND('',#2592,.T.);
#2592 = EDGE_LOOP('',(#2593,#2601,#2602,#2603));
#2593 = ORIENTED_EDGE('',*,*,#2594,.F.);
#2594 = EDGE_CURVE('',#800,#2595,#2597,.T.);
#2595 = VERTEX_POINT('',#2596);
#2596 = CARTESIAN_POINT('',(54.,28.5,2.));
#2597 = LINE('',#2598,#2599);
#2598 = CARTESIAN_POINT('',(-1.,28.5,2.));
#2599 = VECTOR('',#2600,1.);
#2600 = DIRECTION('',(1.,0.,0.));
#2601 = ORIENTED_EDGE('',*,*,#807,.T.);
#2602 = ORIENTED_EDGE('',*,*,#2570,.T.);
#2603 = ORIENTED_EDGE('',*,*,#2604,.F.);
#2604 = EDGE_CURVE('',#2595,#2571,#2605,.T.);
#2605 = LINE('',#2606,#2607);
#2606 = CARTESIAN_POINT('',(54.,13.25,2.));
#2607 = VECTOR('',#2608,1.);
#2608 = DIRECTION('',(0.,-1.,0.));
#2609 = PLANE('',#2610);
#2610 = AXIS2_PLACEMENT_3D('',#2611,#2612,#2613);
#2611 = CARTESIAN_POINT('',(-1.,26.5,2.));
#2612 = DIRECTION('',(0.,0.,1.));
#2613 = DIRECTION('',(1.,0.,0.));
#2614 = ADVANCED_FACE('',(#2615),#2633,.F.);
#2615 = FACE_BOUND('',#2616,.F.);
#2616 = EDGE_LOOP('',(#2617,#2618,#2619,#2627));
#2617 = ORIENTED_EDGE('',*,*,#2594,.F.);
#2618 = ORIENTED_EDGE('',*,*,#799,.T.);
#2619 = ORIENTED_EDGE('',*,*,#2620,.F.);
#2620 = EDGE_CURVE('',#2621,#792,#2623,.T.);
#2621 = VERTEX_POINT('',#2622);
#2622 = CARTESIAN_POINT('',(54.,28.5,6.));
#2623 = LINE('',#2624,#2625);
#2624 = CARTESIAN_POINT('',(-0.5,28.5,6.));
#2625 = VECTOR('',#2626,1.);
#2626 = DIRECTION('',(-1.,0.,0.));
#2627 = ORIENTED_EDGE('',*,*,#2628,.F.);
#2628 = EDGE_CURVE('',#2595,#2621,#2629,.T.);
#2629 = LINE('',#2630,#2631);
#2630 = CARTESIAN_POINT('',(54.,28.5,1.));
#2631 = VECTOR('',#2632,1.);
#2632 = DIRECTION('',(0.,0.,1.));
#2633 = PLANE('',#2634);
#2634 = AXIS2_PLACEMENT_3D('',#2635,#2636,#2637);
#2635 = CARTESIAN_POINT('',(-1.,28.5,2.));
#2636 = DIRECTION('',(0.,1.,0.));
#2637 = DIRECTION('',(0.,0.,1.));
#2638 = ADVANCED_FACE('',(#2639),#2657,.T.);
#2639 = FACE_BOUND('',#2640,.T.);
#2640 = EDGE_LOOP('',(#2641,#2642,#2650,#2656));
#2641 = ORIENTED_EDGE('',*,*,#2620,.F.);
#2642 = ORIENTED_EDGE('',*,*,#2643,.T.);
#2643 = EDGE_CURVE('',#2621,#2644,#2646,.T.);
#2644 = VERTEX_POINT('',#2645);
#2645 = CARTESIAN_POINT('',(54.,29.5,6.));
#2646 = LINE('',#2647,#2648);
#2647 = CARTESIAN_POINT('',(54.,0.,6.));
#2648 = VECTOR('',#2649,1.);
#2649 = DIRECTION('',(0.,1.,0.));
#2650 = ORIENTED_EDGE('',*,*,#2651,.T.);
#2651 = EDGE_CURVE('',#2644,#784,#2652,.T.);
#2652 = LINE('',#2653,#2654);
#2653 = CARTESIAN_POINT('',(-0.5,29.5,6.));
#2654 = VECTOR('',#2655,1.);
#2655 = DIRECTION('',(-1.,0.,0.));
#2656 = ORIENTED_EDGE('',*,*,#791,.F.);
#2657 = PLANE('',#2658);
#2658 = AXIS2_PLACEMENT_3D('',#2659,#2660,#2661);
#2659 = CARTESIAN_POINT('',(0.,0.,6.));
#2660 = DIRECTION('',(0.,0.,1.));
#2661 = DIRECTION('',(1.,0.,0.));
#2662 = ADVANCED_FACE('',(#2663),#2681,.T.);
#2663 = FACE_BOUND('',#2664,.T.);
#2664 = EDGE_LOOP('',(#2665,#2673,#2674,#2675));
#2665 = ORIENTED_EDGE('',*,*,#2666,.F.);
#2666 = EDGE_CURVE('',#776,#2667,#2669,.T.);
#2667 = VERTEX_POINT('',#2668);
#2668 = CARTESIAN_POINT('',(54.,29.5,2.));
#2669 = LINE('',#2670,#2671);
#2670 = CARTESIAN_POINT('',(-1.,29.5,2.));
#2671 = VECTOR('',#2672,1.);
#2672 = DIRECTION('',(1.,0.,0.));
#2673 = ORIENTED_EDGE('',*,*,#783,.T.);
#2674 = ORIENTED_EDGE('',*,*,#2651,.F.);
#2675 = ORIENTED_EDGE('',*,*,#2676,.F.);
#2676 = EDGE_CURVE('',#2667,#2644,#2677,.T.);
#2677 = LINE('',#2678,#2679);
#2678 = CARTESIAN_POINT('',(54.,29.5,1.));
#2679 = VECTOR('',#2680,1.);
#2680 = DIRECTION('',(0.,0.,1.));
#2681 = PLANE('',#2682);
#2682 = AXIS2_PLACEMENT_3D('',#2683,#2684,#2685);
#2683 = CARTESIAN_POINT('',(-1.,29.5,2.));
#2684 = DIRECTION('',(0.,1.,0.));
#2685 = DIRECTION('',(0.,0.,1.));
#2686 = ADVANCED_FACE('',(#2687),#2705,.T.);
#2687 = FACE_BOUND('',#2688,.T.);
#2688 = EDGE_LOOP('',(#2689,#2697,#2698,#2699));
#2689 = ORIENTED_EDGE('',*,*,#2690,.F.);
#2690 = EDGE_CURVE('',#768,#2691,#2693,.T.);
#2691 = VERTEX_POINT('',#2692);
#2692 = CARTESIAN_POINT('',(54.,31.5,2.));
#2693 = LINE('',#2694,#2695);
#2694 = CARTESIAN_POINT('',(-1.,31.5,2.));
#2695 = VECTOR('',#2696,1.);
#2696 = DIRECTION('',(1.,0.,0.));
#2697 = ORIENTED_EDGE('',*,*,#775,.T.);
#2698 = ORIENTED_EDGE('',*,*,#2666,.T.);
#2699 = ORIENTED_EDGE('',*,*,#2700,.F.);
#2700 = EDGE_CURVE('',#2691,#2667,#2701,.T.);
#2701 = LINE('',#2702,#2703);
#2702 = CARTESIAN_POINT('',(54.,14.75,2.));
#2703 = VECTOR('',#2704,1.);
#2704 = DIRECTION('',(0.,-1.,0.));
#2705 = PLANE('',#2706);
#2706 = AXIS2_PLACEMENT_3D('',#2707,#2708,#2709);
#2707 = CARTESIAN_POINT('',(-1.,29.5,2.));
#2708 = DIRECTION('',(0.,0.,1.));
#2709 = DIRECTION('',(1.,0.,0.));
#2710 = ADVANCED_FACE('',(#2711),#2729,.F.);
#2711 = FACE_BOUND('',#2712,.F.);
#2712 = EDGE_LOOP('',(#2713,#2714,#2715,#2723));
#2713 = ORIENTED_EDGE('',*,*,#2690,.F.);
#2714 = ORIENTED_EDGE('',*,*,#767,.T.);
#2715 = ORIENTED_EDGE('',*,*,#2716,.F.);
#2716 = EDGE_CURVE('',#2717,#760,#2719,.T.);
#2717 = VERTEX_POINT('',#2718);
#2718 = CARTESIAN_POINT('',(54.,31.5,6.));
#2719 = LINE('',#2720,#2721);
#2720 = CARTESIAN_POINT('',(-0.5,31.5,6.));
#2721 = VECTOR('',#2722,1.);
#2722 = DIRECTION('',(-1.,0.,0.));
#2723 = ORIENTED_EDGE('',*,*,#2724,.F.);
#2724 = EDGE_CURVE('',#2691,#2717,#2725,.T.);
#2725 = LINE('',#2726,#2727);
#2726 = CARTESIAN_POINT('',(54.,31.5,1.));
#2727 = VECTOR('',#2728,1.);
#2728 = DIRECTION('',(0.,0.,1.));
#2729 = PLANE('',#2730);
#2730 = AXIS2_PLACEMENT_3D('',#2731,#2732,#2733);
#2731 = CARTESIAN_POINT('',(-1.,31.5,2.));
#2732 = DIRECTION('',(0.,1.,0.));
#2733 = DIRECTION('',(0.,0.,1.));
#2734 = ADVANCED_FACE('',(#2735),#2753,.T.);
#2735 = FACE_BOUND('',#2736,.T.);
#2736 = EDGE_LOOP('',(#2737,#2738,#2746,#2752));
#2737 = ORIENTED_EDGE('',*,*,#2716,.F.);
#2738 = ORIENTED_EDGE('',*,*,#2739,.T.);
#2739 = EDGE_CURVE('',#2717,#2740,#2742,.T.);
#2740 = VERTEX_POINT('',#2741);
#2741 = CARTESIAN_POINT('',(54.,32.5,6.));
#2742 = LINE('',#2743,#2744);
#2743 = CARTESIAN_POINT('',(54.,0.,6.));
#2744 = VECTOR('',#2745,1.);
#2745 = DIRECTION('',(0.,1.,0.));
#2746 = ORIENTED_EDGE('',*,*,#2747,.T.);
#2747 = EDGE_CURVE('',#2740,#752,#2748,.T.);
#2748 = LINE('',#2749,#2750);
#2749 = CARTESIAN_POINT('',(-0.5,32.5,6.));
#2750 = VECTOR('',#2751,1.);
#2751 = DIRECTION('',(-1.,0.,0.));
#2752 = ORIENTED_EDGE('',*,*,#759,.F.);
#2753 = PLANE('',#2754);
#2754 = AXIS2_PLACEMENT_3D('',#2755,#2756,#2757);
#2755 = CARTESIAN_POINT('',(0.,0.,6.));
#2756 = DIRECTION('',(0.,0.,1.));
#2757 = DIRECTION('',(1.,0.,0.));
#2758 = ADVANCED_FACE('',(#2759),#2777,.T.);
#2759 = FACE_BOUND('',#2760,.T.);
#2760 = EDGE_LOOP('',(#2761,#2769,#2770,#2771));
#2761 = ORIENTED_EDGE('',*,*,#2762,.F.);
#2762 = EDGE_CURVE('',#744,#2763,#2765,.T.);
#2763 = VERTEX_POINT('',#2764);
#2764 = CARTESIAN_POINT('',(54.,32.5,2.));
#2765 = LINE('',#2766,#2767);
#2766 = CARTESIAN_POINT('',(-1.,32.5,2.));
#2767 = VECTOR('',#2768,1.);
#2768 = DIRECTION('',(1.,0.,0.));
#2769 = ORIENTED_EDGE('',*,*,#751,.T.);
#2770 = ORIENTED_EDGE('',*,*,#2747,.F.);
#2771 = ORIENTED_EDGE('',*,*,#2772,.F.);
#2772 = EDGE_CURVE('',#2763,#2740,#2773,.T.);
#2773 = LINE('',#2774,#2775);
#2774 = CARTESIAN_POINT('',(54.,32.5,1.));
#2775 = VECTOR('',#2776,1.);
#2776 = DIRECTION('',(0.,0.,1.));
#2777 = PLANE('',#2778);
#2778 = AXIS2_PLACEMENT_3D('',#2779,#2780,#2781);
#2779 = CARTESIAN_POINT('',(-1.,32.5,2.));
#2780 = DIRECTION('',(0.,1.,0.));
#2781 = DIRECTION('',(0.,0.,1.));
#2782 = ADVANCED_FACE('',(#2783),#2801,.T.);
#2783 = FACE_BOUND('',#2784,.T.);
#2784 = EDGE_LOOP('',(#2785,#2793,#2794,#2795));
#2785 = ORIENTED_EDGE('',*,*,#2786,.F.);
#2786 = EDGE_CURVE('',#736,#2787,#2789,.T.);
#2787 = VERTEX_POINT('',#2788);
#2788 = CARTESIAN_POINT('',(54.,34.5,2.));
#2789 = LINE('',#2790,#2791);
#2790 = CARTESIAN_POINT('',(-1.,34.5,2.));
#2791 = VECTOR('',#2792,1.);
#2792 = DIRECTION('',(1.,0.,0.));
#2793 = ORIENTED_EDGE('',*,*,#743,.T.);
#2794 = ORIENTED_EDGE('',*,*,#2762,.T.);
#2795 = ORIENTED_EDGE('',*,*,#2796,.F.);
#2796 = EDGE_CURVE('',#2787,#2763,#2797,.T.);
#2797 = LINE('',#2798,#2799);
#2798 = CARTESIAN_POINT('',(54.,16.25,2.));
#2799 = VECTOR('',#2800,1.);
#2800 = DIRECTION('',(0.,-1.,0.));
#2801 = PLANE('',#2802);
#2802 = AXIS2_PLACEMENT_3D('',#2803,#2804,#2805);
#2803 = CARTESIAN_POINT('',(-1.,32.5,2.));
#2804 = DIRECTION('',(0.,0.,1.));
#2805 = DIRECTION('',(1.,0.,0.));
#2806 = ADVANCED_FACE('',(#2807),#2825,.F.);
#2807 = FACE_BOUND('',#2808,.F.);
#2808 = EDGE_LOOP('',(#2809,#2810,#2811,#2819));
#2809 = ORIENTED_EDGE('',*,*,#2786,.F.);
#2810 = ORIENTED_EDGE('',*,*,#735,.T.);
#2811 = ORIENTED_EDGE('',*,*,#2812,.F.);
#2812 = EDGE_CURVE('',#2813,#728,#2815,.T.);
#2813 = VERTEX_POINT('',#2814);
#2814 = CARTESIAN_POINT('',(54.,34.5,6.));
#2815 = LINE('',#2816,#2817);
#2816 = CARTESIAN_POINT('',(-0.5,34.5,6.));
#2817 = VECTOR('',#2818,1.);
#2818 = DIRECTION('',(-1.,0.,0.));
#2819 = ORIENTED_EDGE('',*,*,#2820,.F.);
#2820 = EDGE_CURVE('',#2787,#2813,#2821,.T.);
#2821 = LINE('',#2822,#2823);
#2822 = CARTESIAN_POINT('',(54.,34.5,1.));
#2823 = VECTOR('',#2824,1.);
#2824 = DIRECTION('',(0.,0.,1.));
#2825 = PLANE('',#2826);
#2826 = AXIS2_PLACEMENT_3D('',#2827,#2828,#2829);
#2827 = CARTESIAN_POINT('',(-1.,34.5,2.));
#2828 = DIRECTION('',(0.,1.,0.));
#2829 = DIRECTION('',(0.,0.,1.));
#2830 = ADVANCED_FACE('',(#2831),#2849,.T.);
#2831 = FACE_BOUND('',#2832,.T.);
#2832 = EDGE_LOOP('',(#2833,#2834,#2842,#2848));
#2833 = ORIENTED_EDGE('',*,*,#2812,.F.);
#2834 = ORIENTED_EDGE('',*,*,#2835,.T.);
#2835 = EDGE_CURVE('',#2813,#2836,#2838,.T.);
#2836 = VERTEX_POINT('',#2837);
#2837 = CARTESIAN_POINT('',(54.,35.5,6.));
#2838 = LINE('',#2839,#2840);
#2839 = CARTESIAN_POINT('',(54.,0.,6.));
#2840 = VECTOR('',#2841,1.);
#2841 = DIRECTION('',(0.,1.,0.));
#2842 = ORIENTED_EDGE('',*,*,#2843,.T.);
#2843 = EDGE_CURVE('',#2836,#720,#2844,.T.);
#2844 = LINE('',#2845,#2846);
#2845 = CARTESIAN_POINT('',(-0.5,35.5,6.));
#2846 = VECTOR('',#2847,1.);
#2847 = DIRECTION('',(-1.,0.,0.));
#2848 = ORIENTED_EDGE('',*,*,#727,.F.);
#2849 = PLANE('',#2850);
#2850 = AXIS2_PLACEMENT_3D('',#2851,#2852,#2853);
#2851 = CARTESIAN_POINT('',(0.,0.,6.));
#2852 = DIRECTION('',(0.,0.,1.));
#2853 = DIRECTION('',(1.,0.,0.));
#2854 = ADVANCED_FACE('',(#2855),#2873,.T.);
#2855 = FACE_BOUND('',#2856,.T.);
#2856 = EDGE_LOOP('',(#2857,#2865,#2866,#2867));
#2857 = ORIENTED_EDGE('',*,*,#2858,.F.);
#2858 = EDGE_CURVE('',#712,#2859,#2861,.T.);
#2859 = VERTEX_POINT('',#2860);
#2860 = CARTESIAN_POINT('',(54.,35.5,2.));
#2861 = LINE('',#2862,#2863);
#2862 = CARTESIAN_POINT('',(-1.,35.5,2.));
#2863 = VECTOR('',#2864,1.);
#2864 = DIRECTION('',(1.,0.,0.));
#2865 = ORIENTED_EDGE('',*,*,#719,.T.);
#2866 = ORIENTED_EDGE('',*,*,#2843,.F.);
#2867 = ORIENTED_EDGE('',*,*,#2868,.F.);
#2868 = EDGE_CURVE('',#2859,#2836,#2869,.T.);
#2869 = LINE('',#2870,#2871);
#2870 = CARTESIAN_POINT('',(54.,35.5,1.));
#2871 = VECTOR('',#2872,1.);
#2872 = DIRECTION('',(0.,0.,1.));
#2873 = PLANE('',#2874);
#2874 = AXIS2_PLACEMENT_3D('',#2875,#2876,#2877);
#2875 = CARTESIAN_POINT('',(-1.,35.5,2.));
#2876 = DIRECTION('',(0.,1.,0.));
#2877 = DIRECTION('',(0.,0.,1.));
#2878 = ADVANCED_FACE('',(#2879),#2897,.T.);
#2879 = FACE_BOUND('',#2880,.T.);
#2880 = EDGE_LOOP('',(#2881,#2889,#2890,#2891));
#2881 = ORIENTED_EDGE('',*,*,#2882,.F.);
#2882 = EDGE_CURVE('',#704,#2883,#2885,.T.);
#2883 = VERTEX_POINT('',#2884);
#2884 = CARTESIAN_POINT('',(54.,37.5,2.));
#2885 = LINE('',#2886,#2887);
#2886 = CARTESIAN_POINT('',(-1.,37.5,2.));
#2887 = VECTOR('',#2888,1.);
#2888 = DIRECTION('',(1.,0.,0.));
#2889 = ORIENTED_EDGE('',*,*,#711,.T.);
#2890 = ORIENTED_EDGE('',*,*,#2858,.T.);
#2891 = ORIENTED_EDGE('',*,*,#2892,.F.);
#2892 = EDGE_CURVE('',#2883,#2859,#2893,.T.);
#2893 = LINE('',#2894,#2895);
#2894 = CARTESIAN_POINT('',(54.,17.75,2.));
#2895 = VECTOR('',#2896,1.);
#2896 = DIRECTION('',(0.,-1.,0.));
#2897 = PLANE('',#2898);
#2898 = AXIS2_PLACEMENT_3D('',#2899,#2900,#2901);
#2899 = CARTESIAN_POINT('',(-1.,35.5,2.));
#2900 = DIRECTION('',(0.,0.,1.));
#2901 = DIRECTION('',(1.,0.,0.));
#2902 = ADVANCED_FACE('',(#2903),#2921,.F.);
#2903 = FACE_BOUND('',#2904,.F.);
#2904 = EDGE_LOOP('',(#2905,#2906,#2907,#2915));
#2905 = ORIENTED_EDGE('',*,*,#2882,.F.);
#2906 = ORIENTED_EDGE('',*,*,#703,.T.);
#2907 = ORIENTED_EDGE('',*,*,#2908,.F.);
#2908 = EDGE_CURVE('',#2909,#696,#2911,.T.);
#2909 = VERTEX_POINT('',#2910);
#2910 = CARTESIAN_POINT('',(54.,37.5,6.));
#2911 = LINE('',#2912,#2913);
#2912 = CARTESIAN_POINT('',(-0.5,37.5,6.));
#2913 = VECTOR('',#2914,1.);
#2914 = DIRECTION('',(-1.,0.,0.));
#2915 = ORIENTED_EDGE('',*,*,#2916,.F.);
#2916 = EDGE_CURVE('',#2883,#2909,#2917,.T.);
#2917 = LINE('',#2918,#2919);
#2918 = CARTESIAN_POINT('',(54.,37.5,1.));
#2919 = VECTOR('',#2920,1.);
#2920 = DIRECTION('',(0.,0.,1.));
#2921 = PLANE('',#2922);
#2922 = AXIS2_PLACEMENT_3D('',#2923,#2924,#2925);
#2923 = CARTESIAN_POINT('',(-1.,37.5,2.));
#2924 = DIRECTION('',(0.,1.,0.));
#2925 = DIRECTION('',(0.,0.,1.));
#2926 = ADVANCED_FACE('',(#2927),#2945,.T.);
#2927 = FACE_BOUND('',#2928,.T.);
#2928 = EDGE_LOOP('',(#2929,#2930,#2938,#2944));
#2929 = ORIENTED_EDGE('',*,*,#2908,.F.);
#2930 = ORIENTED_EDGE('',*,*,#2931,.T.);
#2931 = EDGE_CURVE('',#2909,#2932,#2934,.T.);
#2932 = VERTEX_POINT('',#2933);
#2933 = CARTESIAN_POINT('',(54.,38.5,6.));
#2934 = LINE('',#2935,#2936);
#2935 = CARTESIAN_POINT('',(54.,0.,6.));
#2936 = VECTOR('',#2937,1.);
#2937 = DIRECTION('',(0.,1.,0.));
#2938 = ORIENTED_EDGE('',*,*,#2939,.T.);
#2939 = EDGE_CURVE('',#2932,#688,#2940,.T.);
#2940 = LINE('',#2941,#2942);
#2941 = CARTESIAN_POINT('',(-0.5,38.5,6.));
#2942 = VECTOR('',#2943,1.);
#2943 = DIRECTION('',(-1.,0.,0.));
#2944 = ORIENTED_EDGE('',*,*,#695,.F.);
#2945 = PLANE('',#2946);
#2946 = AXIS2_PLACEMENT_3D('',#2947,#2948,#2949);
#2947 = CARTESIAN_POINT('',(0.,0.,6.));
#2948 = DIRECTION('',(0.,0.,1.));
#2949 = DIRECTION('',(1.,0.,0.));
#2950 = ADVANCED_FACE('',(#2951),#2969,.T.);
#2951 = FACE_BOUND('',#2952,.T.);
#2952 = EDGE_LOOP('',(#2953,#2961,#2962,#2963));
#2953 = ORIENTED_EDGE('',*,*,#2954,.F.);
#2954 = EDGE_CURVE('',#680,#2955,#2957,.T.);
#2955 = VERTEX_POINT('',#2956);
#2956 = CARTESIAN_POINT('',(54.,38.5,2.));
#2957 = LINE('',#2958,#2959);
#2958 = CARTESIAN_POINT('',(-1.,38.5,2.));
#2959 = VECTOR('',#2960,1.);
#2960 = DIRECTION('',(1.,0.,0.));
#2961 = ORIENTED_EDGE('',*,*,#687,.T.);
#2962 = ORIENTED_EDGE('',*,*,#2939,.F.);
#2963 = ORIENTED_EDGE('',*,*,#2964,.F.);
#2964 = EDGE_CURVE('',#2955,#2932,#2965,.T.);
#2965 = LINE('',#2966,#2967);
#2966 = CARTESIAN_POINT('',(54.,38.5,1.));
#2967 = VECTOR('',#2968,1.);
#2968 = DIRECTION('',(0.,0.,1.));
#2969 = PLANE('',#2970);
#2970 = AXIS2_PLACEMENT_3D('',#2971,#2972,#2973);
#2971 = CARTESIAN_POINT('',(-1.,38.5,2.));
#2972 = DIRECTION('',(0.,1.,0.));
#2973 = DIRECTION('',(0.,0.,1.));
#2974 = ADVANCED_FACE('',(#2975),#2993,.T.);
#2975 = FACE_BOUND('',#2976,.T.);
#2976 = EDGE_LOOP('',(#2977,#2985,#2986,#2987));
#2977 = ORIENTED_EDGE('',*,*,#2978,.F.);
#2978 = EDGE_CURVE('',#672,#2979,#2981,.T.);
#2979 = VERTEX_POINT('',#2980);
#2980 = CARTESIAN_POINT('',(54.,40.5,2.));
#2981 = LINE('',#2982,#2983);
#2982 = CARTESIAN_POINT('',(-1.,40.5,2.));
#2983 = VECTOR('',#2984,1.);
#2984 = DIRECTION('',(1.,0.,0.));
#2985 = ORIENTED_EDGE('',*,*,#679,.T.);
#2986 = ORIENTED_EDGE('',*,*,#2954,.T.);
#2987 = ORIENTED_EDGE('',*,*,#2988,.F.);
#2988 = EDGE_CURVE('',#2979,#2955,#2989,.T.);
#2989 = LINE('',#2990,#2991);
#2990 = CARTESIAN_POINT('',(54.,19.25,2.));
#2991 = VECTOR('',#2992,1.);
#2992 = DIRECTION('',(0.,-1.,0.));
#2993 = PLANE('',#2994);
#2994 = AXIS2_PLACEMENT_3D('',#2995,#2996,#2997);
#2995 = CARTESIAN_POINT('',(-1.,38.5,2.));
#2996 = DIRECTION('',(0.,0.,1.));
#2997 = DIRECTION('',(1.,0.,0.));
#2998 = ADVANCED_FACE('',(#2999),#3017,.F.);
#2999 = FACE_BOUND('',#3000,.F.);
#3000 = EDGE_LOOP('',(#3001,#3002,#3003,#3011));
#3001 = ORIENTED_EDGE('',*,*,#2978,.F.);
#3002 = ORIENTED_EDGE('',*,*,#671,.T.);
#3003 = ORIENTED_EDGE('',*,*,#3004,.F.);
#3004 = EDGE_CURVE('',#3005,#664,#3007,.T.);
#3005 = VERTEX_POINT('',#3006);
#3006 = CARTESIAN_POINT('',(54.,40.5,6.));
#3007 = LINE('',#3008,#3009);
#3008 = CARTESIAN_POINT('',(-0.5,40.5,6.));
#3009 = VECTOR('',#3010,1.);
#3010 = DIRECTION('',(-1.,0.,0.));
#3011 = ORIENTED_EDGE('',*,*,#3012,.F.);
#3012 = EDGE_CURVE('',#2979,#3005,#3013,.T.);
#3013 = LINE('',#3014,#3015);
#3014 = CARTESIAN_POINT('',(54.,40.5,1.));
#3015 = VECTOR('',#3016,1.);
#3016 = DIRECTION('',(0.,0.,1.));
#3017 = PLANE('',#3018);
#3018 = AXIS2_PLACEMENT_3D('',#3019,#3020,#3021);
#3019 = CARTESIAN_POINT('',(-1.,40.5,2.));
#3020 = DIRECTION('',(0.,1.,0.));
#3021 = DIRECTION('',(0.,0.,1.));
#3022 = ADVANCED_FACE('',(#3023),#3041,.T.);
#3023 = FACE_BOUND('',#3024,.T.);
#3024 = EDGE_LOOP('',(#3025,#3026,#3034,#3040));
#3025 = ORIENTED_EDGE('',*,*,#3004,.F.);
#3026 = ORIENTED_EDGE('',*,*,#3027,.T.);
#3027 = EDGE_CURVE('',#3005,#3028,#3030,.T.);
#3028 = VERTEX_POINT('',#3029);
#3029 = CARTESIAN_POINT('',(54.,41.5,6.));
#3030 = LINE('',#3031,#3032);
#3031 = CARTESIAN_POINT('',(54.,0.,6.));
#3032 = VECTOR('',#3033,1.);
#3033 = DIRECTION('',(0.,1.,0.));
#3034 = ORIENTED_EDGE('',*,*,#3035,.T.);
#3035 = EDGE_CURVE('',#3028,#656,#3036,.T.);
#3036 = LINE('',#3037,#3038);
#3037 = CARTESIAN_POINT('',(-0.5,41.5,6.));
#3038 = VECTOR('',#3039,1.);
#3039 = DIRECTION('',(-1.,0.,0.));
#3040 = ORIENTED_EDGE('',*,*,#663,.F.);
#3041 = PLANE('',#3042);
#3042 = AXIS2_PLACEMENT_3D('',#3043,#3044,#3045);
#3043 = CARTESIAN_POINT('',(0.,0.,6.));
#3044 = DIRECTION('',(0.,0.,1.));
#3045 = DIRECTION('',(1.,0.,0.));
#3046 = ADVANCED_FACE('',(#3047),#3065,.T.);
#3047 = FACE_BOUND('',#3048,.T.);
#3048 = EDGE_LOOP('',(#3049,#3057,#3058,#3059));
#3049 = ORIENTED_EDGE('',*,*,#3050,.F.);
#3050 = EDGE_CURVE('',#648,#3051,#3053,.T.);
#3051 = VERTEX_POINT('',#3052);
#3052 = CARTESIAN_POINT('',(54.,41.5,2.));
#3053 = LINE('',#3054,#3055);
#3054 = CARTESIAN_POINT('',(-1.,41.5,2.));
#3055 = VECTOR('',#3056,1.);
#3056 = DIRECTION('',(1.,0.,0.));
#3057 = ORIENTED_EDGE('',*,*,#655,.T.);
#3058 = ORIENTED_EDGE('',*,*,#3035,.F.);
#3059 = ORIENTED_EDGE('',*,*,#3060,.F.);
#3060 = EDGE_CURVE('',#3051,#3028,#3061,.T.);
#3061 = LINE('',#3062,#3063);
#3062 = CARTESIAN_POINT('',(54.,41.5,1.));
#3063 = VECTOR('',#3064,1.);
#3064 = DIRECTION('',(0.,0.,1.));
#3065 = PLANE('',#3066);
#3066 = AXIS2_PLACEMENT_3D('',#3067,#3068,#3069);
#3067 = CARTESIAN_POINT('',(-1.,41.5,2.));
#3068 = DIRECTION('',(0.,1.,0.));
#3069 = DIRECTION('',(0.,0.,1.));
#3070 = ADVANCED_FACE('',(#3071),#3089,.T.);
#3071 = FACE_BOUND('',#3072,.T.);
#3072 = EDGE_LOOP('',(#3073,#3081,#3082,#3083));
#3073 = ORIENTED_EDGE('',*,*,#3074,.F.);
#3074 = EDGE_CURVE('',#640,#3075,#3077,.T.);
#3075 = VERTEX_POINT('',#3076);
#3076 = CARTESIAN_POINT('',(54.,43.5,2.));
#3077 = LINE('',#3078,#3079);
#3078 = CARTESIAN_POINT('',(-1.,43.5,2.));
#3079 = VECTOR('',#3080,1.);
#3080 = DIRECTION('',(1.,0.,0.));
#3081 = ORIENTED_EDGE('',*,*,#647,.T.);
#3082 = ORIENTED_EDGE('',*,*,#3050,.T.);
#3083 = ORIENTED_EDGE('',*,*,#3084,.F.);
#3084 = EDGE_CURVE('',#3075,#3051,#3085,.T.);
#3085 = LINE('',#3086,#3087);
#3086 = CARTESIAN_POINT('',(54.,20.75,2.));
#3087 = VECTOR('',#3088,1.);
#3088 = DIRECTION('',(0.,-1.,0.));
#3089 = PLANE('',#3090);
#3090 = AXIS2_PLACEMENT_3D('',#3091,#3092,#3093);
#3091 = CARTESIAN_POINT('',(-1.,41.5,2.));
#3092 = DIRECTION('',(0.,0.,1.));
#3093 = DIRECTION('',(1.,0.,0.));
#3094 = ADVANCED_FACE('',(#3095),#3113,.F.);
#3095 = FACE_BOUND('',#3096,.F.);
#3096 = EDGE_LOOP('',(#3097,#3098,#3099,#3107));
#3097 = ORIENTED_EDGE('',*,*,#3074,.F.);
#3098 = ORIENTED_EDGE('',*,*,#639,.T.);
#3099 = ORIENTED_EDGE('',*,*,#3100,.F.);
#3100 = EDGE_CURVE('',#3101,#632,#3103,.T.);
#3101 = VERTEX_POINT('',#3102);
#3102 = CARTESIAN_POINT('',(54.,43.5,6.));
#3103 = LINE('',#3104,#3105);
#3104 = CARTESIAN_POINT('',(-0.5,43.5,6.));
#3105 = VECTOR('',#3106,1.);
#3106 = DIRECTION('',(-1.,0.,0.));
#3107 = ORIENTED_EDGE('',*,*,#3108,.F.);
#3108 = EDGE_CURVE('',#3075,#3101,#3109,.T.);
#3109 = LINE('',#3110,#3111);
#3110 = CARTESIAN_POINT('',(54.,43.5,1.));
#3111 = VECTOR('',#3112,1.);
#3112 = DIRECTION('',(0.,0.,1.));
#3113 = PLANE('',#3114);
#3114 = AXIS2_PLACEMENT_3D('',#3115,#3116,#3117);
#3115 = CARTESIAN_POINT('',(-1.,43.5,2.));
#3116 = DIRECTION('',(0.,1.,0.));
#3117 = DIRECTION('',(0.,0.,1.));
#3118 = ADVANCED_FACE('',(#3119),#3137,.T.);
#3119 = FACE_BOUND('',#3120,.T.);
#3120 = EDGE_LOOP('',(#3121,#3122,#3130,#3136));
#3121 = ORIENTED_EDGE('',*,*,#3100,.F.);
#3122 = ORIENTED_EDGE('',*,*,#3123,.T.);
#3123 = EDGE_CURVE('',#3101,#3124,#3126,.T.);
#3124 = VERTEX_POINT('',#3125);
#3125 = CARTESIAN_POINT('',(54.,44.5,6.));
#3126 = LINE('',#3127,#3128);
#3127 = CARTESIAN_POINT('',(54.,0.,6.));
#3128 = VECTOR('',#3129,1.);
#3129 = DIRECTION('',(0.,1.,0.));
#3130 = ORIENTED_EDGE('',*,*,#3131,.T.);
#3131 = EDGE_CURVE('',#3124,#624,#3132,.T.);
#3132 = LINE('',#3133,#3134);
#3133 = CARTESIAN_POINT('',(-0.5,44.5,6.));
#3134 = VECTOR('',#3135,1.);
#3135 = DIRECTION('',(-1.,0.,0.));
#3136 = ORIENTED_EDGE('',*,*,#631,.F.);
#3137 = PLANE('',#3138);
#3138 = AXIS2_PLACEMENT_3D('',#3139,#3140,#3141);
#3139 = CARTESIAN_POINT('',(0.,0.,6.));
#3140 = DIRECTION('',(0.,0.,1.));
#3141 = DIRECTION('',(1.,0.,0.));
#3142 = ADVANCED_FACE('',(#3143),#3161,.T.);
#3143 = FACE_BOUND('',#3144,.T.);
#3144 = EDGE_LOOP('',(#3145,#3153,#3154,#3155));
#3145 = ORIENTED_EDGE('',*,*,#3146,.F.);
#3146 = EDGE_CURVE('',#616,#3147,#3149,.T.);
#3147 = VERTEX_POINT('',#3148);
#3148 = CARTESIAN_POINT('',(54.,44.5,2.));
#3149 = LINE('',#3150,#3151);
#3150 = CARTESIAN_POINT('',(-1.,44.5,2.));
#3151 = VECTOR('',#3152,1.);
#3152 = DIRECTION('',(1.,0.,0.));
#3153 = ORIENTED_EDGE('',*,*,#623,.T.);
#3154 = ORIENTED_EDGE('',*,*,#3131,.F.);
#3155 = ORIENTED_EDGE('',*,*,#3156,.F.);
#3156 = EDGE_CURVE('',#3147,#3124,#3157,.T.);
#3157 = LINE('',#3158,#3159);
#3158 = CARTESIAN_POINT('',(54.,44.5,1.));
#3159 = VECTOR('',#3160,1.);
#3160 = DIRECTION('',(0.,0.,1.));
#3161 = PLANE('',#3162);
#3162 = AXIS2_PLACEMENT_3D('',#3163,#3164,#3165);
#3163 = CARTESIAN_POINT('',(-1.,44.5,2.));
#3164 = DIRECTION('',(0.,1.,0.));
#3165 = DIRECTION('',(0.,0.,1.));
#3166 = ADVANCED_FACE('',(#3167),#3185,.T.);
#3167 = FACE_BOUND('',#3168,.T.);
#3168 = EDGE_LOOP('',(#3169,#3177,#3178,#3179));
#3169 = ORIENTED_EDGE('',*,*,#3170,.F.);
#3170 = EDGE_CURVE('',#608,#3171,#3173,.T.);
#3171 = VERTEX_POINT('',#3172);
#3172 = CARTESIAN_POINT('',(54.,46.5,2.));
#3173 = LINE('',#3174,#3175);
#3174 = CARTESIAN_POINT('',(-1.,46.5,2.));
#3175 = VECTOR('',#3176,1.);
#3176 = DIRECTION('',(1.,0.,0.));
#3177 = ORIENTED_EDGE('',*,*,#615,.T.);
#3178 = ORIENTED_EDGE('',*,*,#3146,.T.);
#3179 = ORIENTED_EDGE('',*,*,#3180,.F.);
#3180 = EDGE_CURVE('',#3171,#3147,#3181,.T.);
#3181 = LINE('',#3182,#3183);
#3182 = CARTESIAN_POINT('',(54.,22.25,2.));
#3183 = VECTOR('',#3184,1.);
#3184 = DIRECTION('',(0.,-1.,0.));
#3185 = PLANE('',#3186);
#3186 = AXIS2_PLACEMENT_3D('',#3187,#3188,#3189);
#3187 = CARTESIAN_POINT('',(-1.,44.5,2.));
#3188 = DIRECTION('',(0.,0.,1.));
#3189 = DIRECTION('',(1.,0.,0.));
#3190 = ADVANCED_FACE('',(#3191),#3209,.F.);
#3191 = FACE_BOUND('',#3192,.F.);
#3192 = EDGE_LOOP('',(#3193,#3194,#3195,#3203));
#3193 = ORIENTED_EDGE('',*,*,#3170,.F.);
#3194 = ORIENTED_EDGE('',*,*,#607,.T.);
#3195 = ORIENTED_EDGE('',*,*,#3196,.F.);
#3196 = EDGE_CURVE('',#3197,#600,#3199,.T.);
#3197 = VERTEX_POINT('',#3198);
#3198 = CARTESIAN_POINT('',(54.,46.5,6.));
#3199 = LINE('',#3200,#3201);
#3200 = CARTESIAN_POINT('',(-0.5,46.5,6.));
#3201 = VECTOR('',#3202,1.);
#3202 = DIRECTION('',(-1.,0.,0.));
#3203 = ORIENTED_EDGE('',*,*,#3204,.F.);
#3204 = EDGE_CURVE('',#3171,#3197,#3205,.T.);
#3205 = LINE('',#3206,#3207);
#3206 = CARTESIAN_POINT('',(54.,46.5,1.));
#3207 = VECTOR('',#3208,1.);
#3208 = DIRECTION('',(0.,0.,1.));
#3209 = PLANE('',#3210);
#3210 = AXIS2_PLACEMENT_3D('',#3211,#3212,#3213);
#3211 = CARTESIAN_POINT('',(-1.,46.5,2.));
#3212 = DIRECTION('',(0.,1.,0.));
#3213 = DIRECTION('',(0.,0.,1.));
#3214 = ADVANCED_FACE('',(#3215),#3233,.T.);
#3215 = FACE_BOUND('',#3216,.T.);
#3216 = EDGE_LOOP('',(#3217,#3218,#3226,#3232));
#3217 = ORIENTED_EDGE('',*,*,#3196,.F.);
#3218 = ORIENTED_EDGE('',*,*,#3219,.T.);
#3219 = EDGE_CURVE('',#3197,#3220,#3222,.T.);
#3220 = VERTEX_POINT('',#3221);
#3221 = CARTESIAN_POINT('',(54.,47.5,6.));
#3222 = LINE('',#3223,#3224);
#3223 = CARTESIAN_POINT('',(54.,0.,6.));
#3224 = VECTOR('',#3225,1.);
#3225 = DIRECTION('',(0.,1.,0.));
#3226 = ORIENTED_EDGE('',*,*,#3227,.T.);
#3227 = EDGE_CURVE('',#3220,#592,#3228,.T.);
#3228 = LINE('',#3229,#3230);
#3229 = CARTESIAN_POINT('',(-0.5,47.5,6.));
#3230 = VECTOR('',#3231,1.);
#3231 = DIRECTION('',(-1.,0.,0.));
#3232 = ORIENTED_EDGE('',*,*,#599,.F.);
#3233 = PLANE('',#3234);
#3234 = AXIS2_PLACEMENT_3D('',#3235,#3236,#3237);
#3235 = CARTESIAN_POINT('',(0.,0.,6.));
#3236 = DIRECTION('',(0.,0.,1.));
#3237 = DIRECTION('',(1.,0.,0.));
#3238 = ADVANCED_FACE('',(#3239),#3257,.T.);
#3239 = FACE_BOUND('',#3240,.T.);
#3240 = EDGE_LOOP('',(#3241,#3249,#3250,#3251));
#3241 = ORIENTED_EDGE('',*,*,#3242,.F.);
#3242 = EDGE_CURVE('',#584,#3243,#3245,.T.);
#3243 = VERTEX_POINT('',#3244);
#3244 = CARTESIAN_POINT('',(54.,47.5,2.));
#3245 = LINE('',#3246,#3247);
#3246 = CARTESIAN_POINT('',(-1.,47.5,2.));
#3247 = VECTOR('',#3248,1.);
#3248 = DIRECTION('',(1.,0.,0.));
#3249 = ORIENTED_EDGE('',*,*,#591,.T.);
#3250 = ORIENTED_EDGE('',*,*,#3227,.F.);
#3251 = ORIENTED_EDGE('',*,*,#3252,.F.);
#3252 = EDGE_CURVE('',#3243,#3220,#3253,.T.);
#3253 = LINE('',#3254,#3255);
#3254 = CARTESIAN_POINT('',(54.,47.5,1.));
#3255 = VECTOR('',#3256,1.);
#3256 = DIRECTION('',(0.,0.,1.));
#3257 = PLANE('',#3258);
#3258 = AXIS2_PLACEMENT_3D('',#3259,#3260,#3261);
#3259 = CARTESIAN_POINT('',(-1.,47.5,2.));
#3260 = DIRECTION('',(0.,1.,0.));
#3261 = DIRECTION('',(0.,0.,1.));
#3262 = ADVANCED_FACE('',(#3263),#3281,.T.);
#3263 = FACE_BOUND('',#3264,.T.);
#3264 = EDGE_LOOP('',(#3265,#3273,#3274,#3275));
#3265 = ORIENTED_EDGE('',*,*,#3266,.F.);
#3266 = EDGE_CURVE('',#576,#3267,#3269,.T.);
#3267 = VERTEX_POINT('',#3268);
#3268 = CARTESIAN_POINT('',(54.,49.5,2.));
#3269 = LINE('',#3270,#3271);
#3270 = CARTESIAN_POINT('',(-1.,49.5,2.));
#3271 = VECTOR('',#3272,1.);
#3272 = DIRECTION('',(1.,0.,0.));
#3273 = ORIENTED_EDGE('',*,*,#583,.T.);
#3274 = ORIENTED_EDGE('',*,*,#3242,.T.);
#3275 = ORIENTED_EDGE('',*,*,#3276,.F.);
#3276 = EDGE_CURVE('',#3267,#3243,#3277,.T.);
#3277 = LINE('',#3278,#3279);
#3278 = CARTESIAN_POINT('',(54.,23.75,2.));
#3279 = VECTOR('',#3280,1.);
#3280 = DIRECTION('',(0.,-1.,0.));
#3281 = PLANE('',#3282);
#3282 = AXIS2_PLACEMENT_3D('',#3283,#3284,#3285);
#3283 = CARTESIAN_POINT('',(-1.,47.5,2.));
#3284 = DIRECTION('',(0.,0.,1.));
#3285 = DIRECTION('',(1.,0.,0.));
#3286 = ADVANCED_FACE('',(#3287),#3305,.F.);
#3287 = FACE_BOUND('',#3288,.F.);
#3288 = EDGE_LOOP('',(#3289,#3290,#3291,#3299));
#3289 = ORIENTED_EDGE('',*,*,#3266,.F.);
#3290 = ORIENTED_EDGE('',*,*,#575,.T.);
#3291 = ORIENTED_EDGE('',*,*,#3292,.F.);
#3292 = EDGE_CURVE('',#3293,#568,#3295,.T.);
#3293 = VERTEX_POINT('',#3294);
#3294 = CARTESIAN_POINT('',(54.,49.5,6.));
#3295 = LINE('',#3296,#3297);
#3296 = CARTESIAN_POINT('',(-0.5,49.5,6.));
#3297 = VECTOR('',#3298,1.);
#3298 = DIRECTION('',(-1.,0.,0.));
#3299 = ORIENTED_EDGE('',*,*,#3300,.F.);
#3300 = EDGE_CURVE('',#3267,#3293,#3301,.T.);
#3301 = LINE('',#3302,#3303);
#3302 = CARTESIAN_POINT('',(54.,49.5,1.));
#3303 = VECTOR('',#3304,1.);
#3304 = DIRECTION('',(0.,0.,1.));
#3305 = PLANE('',#3306);
#3306 = AXIS2_PLACEMENT_3D('',#3307,#3308,#3309);
#3307 = CARTESIAN_POINT('',(-1.,49.5,2.));
#3308 = DIRECTION('',(0.,1.,0.));
#3309 = DIRECTION('',(0.,0.,1.));
#3310 = ADVANCED_FACE('',(#3311),#3329,.T.);
#3311 = FACE_BOUND('',#3312,.T.);
#3312 = EDGE_LOOP('',(#3313,#3314,#3322,#3328));
#3313 = ORIENTED_EDGE('',*,*,#3292,.F.);
#3314 = ORIENTED_EDGE('',*,*,#3315,.T.);
#3315 = EDGE_CURVE('',#3293,#3316,#3318,.T.);
#3316 = VERTEX_POINT('',#3317);
#3317 = CARTESIAN_POINT('',(54.,50.5,6.));
#3318 = LINE('',#3319,#3320);
#3319 = CARTESIAN_POINT('',(54.,0.,6.));
#3320 = VECTOR('',#3321,1.);
#3321 = DIRECTION('',(0.,1.,0.));
#3322 = ORIENTED_EDGE('',*,*,#3323,.T.);
#3323 = EDGE_CURVE('',#3316,#560,#3324,.T.);
#3324 = LINE('',#3325,#3326);
#3325 = CARTESIAN_POINT('',(-0.5,50.5,6.));
#3326 = VECTOR('',#3327,1.);
#3327 = DIRECTION('',(-1.,0.,0.));
#3328 = ORIENTED_EDGE('',*,*,#567,.F.);
#3329 = PLANE('',#3330);
#3330 = AXIS2_PLACEMENT_3D('',#3331,#3332,#3333);
#3331 = CARTESIAN_POINT('',(0.,0.,6.));
#3332 = DIRECTION('',(0.,0.,1.));
#3333 = DIRECTION('',(1.,0.,0.));
#3334 = ADVANCED_FACE('',(#3335),#3353,.T.);
#3335 = FACE_BOUND('',#3336,.T.);
#3336 = EDGE_LOOP('',(#3337,#3345,#3346,#3347));
#3337 = ORIENTED_EDGE('',*,*,#3338,.F.);
#3338 = EDGE_CURVE('',#552,#3339,#3341,.T.);
#3339 = VERTEX_POINT('',#3340);
#3340 = CARTESIAN_POINT('',(54.,50.5,2.));
#3341 = LINE('',#3342,#3343);
#3342 = CARTESIAN_POINT('',(-1.,50.5,2.));
#3343 = VECTOR('',#3344,1.);
#3344 = DIRECTION('',(1.,0.,0.));
#3345 = ORIENTED_EDGE('',*,*,#559,.T.);
#3346 = ORIENTED_EDGE('',*,*,#3323,.F.);
#3347 = ORIENTED_EDGE('',*,*,#3348,.F.);
#3348 = EDGE_CURVE('',#3339,#3316,#3349,.T.);
#3349 = LINE('',#3350,#3351);
#3350 = CARTESIAN_POINT('',(54.,50.5,1.));
#3351 = VECTOR('',#3352,1.);
#3352 = DIRECTION('',(0.,0.,1.));
#3353 = PLANE('',#3354);
#3354 = AXIS2_PLACEMENT_3D('',#3355,#3356,#3357);
#3355 = CARTESIAN_POINT('',(-1.,50.5,2.));
#3356 = DIRECTION('',(0.,1.,0.));
#3357 = DIRECTION('',(0.,0.,1.));
#3358 = ADVANCED_FACE('',(#3359),#3377,.T.);
#3359 = FACE_BOUND('',#3360,.T.);
#3360 = EDGE_LOOP('',(#3361,#3369,#3370,#3371));
#3361 = ORIENTED_EDGE('',*,*,#3362,.F.);
#3362 = EDGE_CURVE('',#544,#3363,#3365,.T.);
#3363 = VERTEX_POINT('',#3364);
#3364 = CARTESIAN_POINT('',(54.,52.5,2.));
#3365 = LINE('',#3366,#3367);
#3366 = CARTESIAN_POINT('',(-1.,52.5,2.));
#3367 = VECTOR('',#3368,1.);
#3368 = DIRECTION('',(1.,0.,0.));
#3369 = ORIENTED_EDGE('',*,*,#551,.T.);
#3370 = ORIENTED_EDGE('',*,*,#3338,.T.);
#3371 = ORIENTED_EDGE('',*,*,#3372,.F.);
#3372 = EDGE_CURVE('',#3363,#3339,#3373,.T.);
#3373 = LINE('',#3374,#3375);
#3374 = CARTESIAN_POINT('',(54.,25.25,2.));
#3375 = VECTOR('',#3376,1.);
#3376 = DIRECTION('',(0.,-1.,0.));
#3377 = PLANE('',#3378);
#3378 = AXIS2_PLACEMENT_3D('',#3379,#3380,#3381);
#3379 = CARTESIAN_POINT('',(-1.,50.5,2.));
#3380 = DIRECTION('',(0.,0.,1.));
#3381 = DIRECTION('',(1.,0.,0.));
#3382 = ADVANCED_FACE('',(#3383),#3401,.F.);
#3383 = FACE_BOUND('',#3384,.F.);
#3384 = EDGE_LOOP('',(#3385,#3386,#3387,#3395));
#3385 = ORIENTED_EDGE('',*,*,#3362,.F.);
#3386 = ORIENTED_EDGE('',*,*,#543,.T.);
#3387 = ORIENTED_EDGE('',*,*,#3388,.F.);
#3388 = EDGE_CURVE('',#3389,#536,#3391,.T.);
#3389 = VERTEX_POINT('',#3390);
#3390 = CARTESIAN_POINT('',(54.,52.5,6.));
#3391 = LINE('',#3392,#3393);
#3392 = CARTESIAN_POINT('',(-0.5,52.5,6.));
#3393 = VECTOR('',#3394,1.);
#3394 = DIRECTION('',(-1.,0.,0.));
#3395 = ORIENTED_EDGE('',*,*,#3396,.F.);
#3396 = EDGE_CURVE('',#3363,#3389,#3397,.T.);
#3397 = LINE('',#3398,#3399);
#3398 = CARTESIAN_POINT('',(54.,52.5,1.));
#3399 = VECTOR('',#3400,1.);
#3400 = DIRECTION('',(0.,0.,1.));
#3401 = PLANE('',#3402);
#3402 = AXIS2_PLACEMENT_3D('',#3403,#3404,#3405);
#3403 = CARTESIAN_POINT('',(-1.,52.5,2.));
#3404 = DIRECTION('',(0.,1.,0.));
#3405 = DIRECTION('',(0.,0.,1.));
#3406 = ADVANCED_FACE('',(#3407),#3425,.T.);
#3407 = FACE_BOUND('',#3408,.T.);
#3408 = EDGE_LOOP('',(#3409,#3410,#3418,#3424));
#3409 = ORIENTED_EDGE('',*,*,#3388,.F.);
#3410 = ORIENTED_EDGE('',*,*,#3411,.T.);
#3411 = EDGE_CURVE('',#3389,#3412,#3414,.T.);
#3412 = VERTEX_POINT('',#3413);
#3413 = CARTESIAN_POINT('',(54.,53.5,6.));
#3414 = LINE('',#3415,#3416);
#3415 = CARTESIAN_POINT('',(54.,0.,6.));
#3416 = VECTOR('',#3417,1.);
#3417 = DIRECTION('',(0.,1.,0.));
#3418 = ORIENTED_EDGE('',*,*,#3419,.T.);
#3419 = EDGE_CURVE('',#3412,#528,#3420,.T.);
#3420 = LINE('',#3421,#3422);
#3421 = CARTESIAN_POINT('',(-0.5,53.5,6.));
#3422 = VECTOR('',#3423,1.);
#3423 = DIRECTION('',(-1.,0.,0.));
#3424 = ORIENTED_EDGE('',*,*,#535,.F.);
#3425 = PLANE('',#3426);
#3426 = AXIS2_PLACEMENT_3D('',#3427,#3428,#3429);
#3427 = CARTESIAN_POINT('',(0.,0.,6.));
#3428 = DIRECTION('',(0.,0.,1.));
#3429 = DIRECTION('',(1.,0.,0.));
#3430 = ADVANCED_FACE('',(#3431),#3449,.T.);
#3431 = FACE_BOUND('',#3432,.T.);
#3432 = EDGE_LOOP('',(#3433,#3441,#3442,#3443));
#3433 = ORIENTED_EDGE('',*,*,#3434,.F.);
#3434 = EDGE_CURVE('',#520,#3435,#3437,.T.);
#3435 = VERTEX_POINT('',#3436);
#3436 = CARTESIAN_POINT('',(54.,53.5,2.));
#3437 = LINE('',#3438,#3439);
#3438 = CARTESIAN_POINT('',(-1.,53.5,2.));
#3439 = VECTOR('',#3440,1.);
#3440 = DIRECTION('',(1.,0.,0.));
#3441 = ORIENTED_EDGE('',*,*,#527,.T.);
#3442 = ORIENTED_EDGE('',*,*,#3419,.F.);
#3443 = ORIENTED_EDGE('',*,*,#3444,.F.);
#3444 = EDGE_CURVE('',#3435,#3412,#3445,.T.);
#3445 = LINE('',#3446,#3447);
#3446 = CARTESIAN_POINT('',(54.,53.5,1.));
#3447 = VECTOR('',#3448,1.);
#3448 = DIRECTION('',(0.,0.,1.));
#3449 = PLANE('',#3450);
#3450 = AXIS2_PLACEMENT_3D('',#3451,#3452,#3453);
#3451 = CARTESIAN_POINT('',(-1.,53.5,2.));
#3452 = DIRECTION('',(0.,1.,0.));
#3453 = DIRECTION('',(0.,0.,1.));
#3454 = ADVANCED_FACE('',(#3455),#3473,.T.);
#3455 = FACE_BOUND('',#3456,.T.);
#3456 = EDGE_LOOP('',(#3457,#3465,#3466,#3467));
#3457 = ORIENTED_EDGE('',*,*,#3458,.F.);
#3458 = EDGE_CURVE('',#512,#3459,#3461,.T.);
#3459 = VERTEX_POINT('',#3460);
#3460 = CARTESIAN_POINT('',(54.,55.5,2.));
#3461 = LINE('',#3462,#3463);
#3462 = CARTESIAN_POINT('',(-1.,55.5,2.));
#3463 = VECTOR('',#3464,1.);
#3464 = DIRECTION('',(1.,0.,0.));
#3465 = ORIENTED_EDGE('',*,*,#519,.T.);
#3466 = ORIENTED_EDGE('',*,*,#3434,.T.);
#3467 = ORIENTED_EDGE('',*,*,#3468,.F.);
#3468 = EDGE_CURVE('',#3459,#3435,#3469,.T.);
#3469 = LINE('',#3470,#3471);
#3470 = CARTESIAN_POINT('',(54.,26.75,2.));
#3471 = VECTOR('',#3472,1.);
#3472 = DIRECTION('',(0.,-1.,0.));
#3473 = PLANE('',#3474);
#3474 = AXIS2_PLACEMENT_3D('',#3475,#3476,#3477);
#3475 = CARTESIAN_POINT('',(-1.,53.5,2.));
#3476 = DIRECTION('',(0.,0.,1.));
#3477 = DIRECTION('',(1.,0.,0.));
#3478 = ADVANCED_FACE('',(#3479),#3497,.F.);
#3479 = FACE_BOUND('',#3480,.F.);
#3480 = EDGE_LOOP('',(#3481,#3482,#3483,#3491));
#3481 = ORIENTED_EDGE('',*,*,#3458,.F.);
#3482 = ORIENTED_EDGE('',*,*,#511,.T.);
#3483 = ORIENTED_EDGE('',*,*,#3484,.F.);
#3484 = EDGE_CURVE('',#3485,#504,#3487,.T.);
#3485 = VERTEX_POINT('',#3486);
#3486 = CARTESIAN_POINT('',(54.,55.5,6.));
#3487 = LINE('',#3488,#3489);
#3488 = CARTESIAN_POINT('',(-0.5,55.5,6.));
#3489 = VECTOR('',#3490,1.);
#3490 = DIRECTION('',(-1.,0.,0.));
#3491 = ORIENTED_EDGE('',*,*,#3492,.F.);
#3492 = EDGE_CURVE('',#3459,#3485,#3493,.T.);
#3493 = LINE('',#3494,#3495);
#3494 = CARTESIAN_POINT('',(54.,55.5,1.));
#3495 = VECTOR('',#3496,1.);
#3496 = DIRECTION('',(0.,0.,1.));
#3497 = PLANE('',#3498);
#3498 = AXIS2_PLACEMENT_3D('',#3499,#3500,#3501);
#3499 = CARTESIAN_POINT('',(-1.,55.5,2.));
#3500 = DIRECTION('',(0.,1.,0.));
#3501 = DIRECTION('',(0.,0.,1.));
#3502 = ADVANCED_FACE('',(#3503),#3521,.T.);
#3503 = FACE_BOUND('',#3504,.T.);
#3504 = EDGE_LOOP('',(#3505,#3506,#3514,#3520));
#3505 = ORIENTED_EDGE('',*,*,#3484,.F.);
#3506 = ORIENTED_EDGE('',*,*,#3507,.T.);
#3507 = EDGE_CURVE('',#3485,#3508,#3510,.T.);
#3508 = VERTEX_POINT('',#3509);
#3509 = CARTESIAN_POINT('',(54.,56.5,6.));
#3510 = LINE('',#3511,#3512);
#3511 = CARTESIAN_POINT('',(54.,0.,6.));
#3512 = VECTOR('',#3513,1.);
#3513 = DIRECTION('',(0.,1.,0.));
#3514 = ORIENTED_EDGE('',*,*,#3515,.T.);
#3515 = EDGE_CURVE('',#3508,#496,#3516,.T.);
#3516 = LINE('',#3517,#3518);
#3517 = CARTESIAN_POINT('',(-0.5,56.5,6.));
#3518 = VECTOR('',#3519,1.);
#3519 = DIRECTION('',(-1.,0.,0.));
#3520 = ORIENTED_EDGE('',*,*,#503,.F.);
#3521 = PLANE('',#3522);
#3522 = AXIS2_PLACEMENT_3D('',#3523,#3524,#3525);
#3523 = CARTESIAN_POINT('',(0.,0.,6.));
#3524 = DIRECTION('',(0.,0.,1.));
#3525 = DIRECTION('',(1.,0.,0.));
#3526 = ADVANCED_FACE('',(#3527),#3545,.T.);
#3527 = FACE_BOUND('',#3528,.T.);
#3528 = EDGE_LOOP('',(#3529,#3537,#3538,#3539));
#3529 = ORIENTED_EDGE('',*,*,#3530,.F.);
#3530 = EDGE_CURVE('',#488,#3531,#3533,.T.);
#3531 = VERTEX_POINT('',#3532);
#3532 = CARTESIAN_POINT('',(54.,56.5,2.));
#3533 = LINE('',#3534,#3535);
#3534 = CARTESIAN_POINT('',(-1.,56.5,2.));
#3535 = VECTOR('',#3536,1.);
#3536 = DIRECTION('',(1.,0.,0.));
#3537 = ORIENTED_EDGE('',*,*,#495,.T.);
#3538 = ORIENTED_EDGE('',*,*,#3515,.F.);
#3539 = ORIENTED_EDGE('',*,*,#3540,.F.);
#3540 = EDGE_CURVE('',#3531,#3508,#3541,.T.);
#3541 = LINE('',#3542,#3543);
#3542 = CARTESIAN_POINT('',(54.,56.5,1.));
#3543 = VECTOR('',#3544,1.);
#3544 = DIRECTION('',(0.,0.,1.));
#3545 = PLANE('',#3546);
#3546 = AXIS2_PLACEMENT_3D('',#3547,#3548,#3549);
#3547 = CARTESIAN_POINT('',(-1.,56.5,2.));
#3548 = DIRECTION('',(0.,1.,0.));
#3549 = DIRECTION('',(0.,0.,1.));
#3550 = ADVANCED_FACE('',(#3551),#3569,.T.);
#3551 = FACE_BOUND('',#3552,.T.);
#3552 = EDGE_LOOP('',(#3553,#3561,#3562,#3563));
#3553 = ORIENTED_EDGE('',*,*,#3554,.F.);
#3554 = EDGE_CURVE('',#480,#3555,#3557,.T.);
#3555 = VERTEX_POINT('',#3556);
#3556 = CARTESIAN_POINT('',(54.,58.5,2.));
#3557 = LINE('',#3558,#3559);
#3558 = CARTESIAN_POINT('',(-1.,58.5,2.));
#3559 = VECTOR('',#3560,1.);
#3560 = DIRECTION('',(1.,0.,0.));
#3561 = ORIENTED_EDGE('',*,*,#487,.T.);
#3562 = ORIENTED_EDGE('',*,*,#3530,.T.);
#3563 = ORIENTED_EDGE('',*,*,#3564,.F.);
#3564 = EDGE_CURVE('',#3555,#3531,#3565,.T.);
#3565 = LINE('',#3566,#3567);
#3566 = CARTESIAN_POINT('',(54.,28.25,2.));
#3567 = VECTOR('',#3568,1.);
#3568 = DIRECTION('',(0.,-1.,0.));
#3569 = PLANE('',#3570);
#3570 = AXIS2_PLACEMENT_3D('',#3571,#3572,#3573);
#3571 = CARTESIAN_POINT('',(-1.,56.5,2.));
#3572 = DIRECTION('',(0.,0.,1.));
#3573 = DIRECTION('',(1.,0.,0.));
#3574 = ADVANCED_FACE('',(#3575),#3593,.F.);
#3575 = FACE_BOUND('',#3576,.F.);
#3576 = EDGE_LOOP('',(#3577,#3578,#3579,#3587));
#3577 = ORIENTED_EDGE('',*,*,#3554,.F.);
#3578 = ORIENTED_EDGE('',*,*,#479,.T.);
#3579 = ORIENTED_EDGE('',*,*,#3580,.F.);
#3580 = EDGE_CURVE('',#3581,#472,#3583,.T.);
#3581 = VERTEX_POINT('',#3582);
#3582 = CARTESIAN_POINT('',(54.,58.5,6.));
#3583 = LINE('',#3584,#3585);
#3584 = CARTESIAN_POINT('',(-0.5,58.5,6.));
#3585 = VECTOR('',#3586,1.);
#3586 = DIRECTION('',(-1.,0.,0.));
#3587 = ORIENTED_EDGE('',*,*,#3588,.F.);
#3588 = EDGE_CURVE('',#3555,#3581,#3589,.T.);
#3589 = LINE('',#3590,#3591);
#3590 = CARTESIAN_POINT('',(54.,58.5,1.));
#3591 = VECTOR('',#3592,1.);
#3592 = DIRECTION('',(0.,0.,1.));
#3593 = PLANE('',#3594);
#3594 = AXIS2_PLACEMENT_3D('',#3595,#3596,#3597);
#3595 = CARTESIAN_POINT('',(-1.,58.5,2.));
#3596 = DIRECTION('',(0.,1.,0.));
#3597 = DIRECTION('',(0.,0.,1.));
#3598 = ADVANCED_FACE('',(#3599),#3617,.T.);
#3599 = FACE_BOUND('',#3600,.T.);
#3600 = EDGE_LOOP('',(#3601,#3602,#3610,#3616));
#3601 = ORIENTED_EDGE('',*,*,#3580,.F.);
#3602 = ORIENTED_EDGE('',*,*,#3603,.T.);
#3603 = EDGE_CURVE('',#3581,#3604,#3606,.T.);
#3604 = VERTEX_POINT('',#3605);
#3605 = CARTESIAN_POINT('',(54.,59.5,6.));
#3606 = LINE('',#3607,#3608);
#3607 = CARTESIAN_POINT('',(54.,0.,6.));
#3608 = VECTOR('',#3609,1.);
#3609 = DIRECTION('',(0.,1.,0.));
#3610 = ORIENTED_EDGE('',*,*,#3611,.T.);
#3611 = EDGE_CURVE('',#3604,#464,#3612,.T.);
#3612 = LINE('',#3613,#3614);
#3613 = CARTESIAN_POINT('',(-0.5,59.5,6.));
#3614 = VECTOR('',#3615,1.);
#3615 = DIRECTION('',(-1.,0.,0.));
#3616 = ORIENTED_EDGE('',*,*,#471,.F.);
#3617 = PLANE('',#3618);
#3618 = AXIS2_PLACEMENT_3D('',#3619,#3620,#3621);
#3619 = CARTESIAN_POINT('',(0.,0.,6.));
#3620 = DIRECTION('',(0.,0.,1.));
#3621 = DIRECTION('',(1.,0.,0.));
#3622 = ADVANCED_FACE('',(#3623),#3641,.T.);
#3623 = FACE_BOUND('',#3624,.T.);
#3624 = EDGE_LOOP('',(#3625,#3633,#3634,#3635));
#3625 = ORIENTED_EDGE('',*,*,#3626,.F.);
#3626 = EDGE_CURVE('',#456,#3627,#3629,.T.);
#3627 = VERTEX_POINT('',#3628);
#3628 = CARTESIAN_POINT('',(54.,59.5,2.));
#3629 = LINE('',#3630,#3631);
#3630 = CARTESIAN_POINT('',(-1.,59.5,2.));