|
- 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 = DIRECTIO
|