-尊龙人生就是博
iso-10303-21;
header;
file_description((''),'2;1');
file_name('12038_asm','2015-10-30t',('administrator'),(''),
'pro/engineer by parametric technology corporation, 2010480',
'pro/engineer by parametric technology corporation, 2010480','');
file_schema(('config_control_design'));
endsec;
data;
#1=direction('',(9.023116532651e-1,0.e0,4.310843077426e-1));
#2=vector('',#1,1.092960517223e0);
#3=cartesian_point('',(-2.794079014429e1,0.e0,-1.773260853831e1));
#4=line('',#3,#2);
#5=cartesian_point('',(-2.750970583655e1,-1.421085471520e-14,
-1.863492019157e1));
#6=direction('',(0.e0,1.e0,0.e0));
#7=direction('',(-9.622564027116e-1,0.e0,2.721444753077e-1));
#8=axis2_placement_3d('',#5,#6,#7);
#10=direction('',(2.721444753077e-1,0.e0,9.622564027116e-1));
#11=vector('',#10,1.398776106056e1);
#12=cartesian_point('',(-3.227865413382e1,0.e0,-3.182258835639e1));
#13=line('',#12,#11);
#14=cartesian_point('',(-3.083526952975e1,-1.421085471520e-14,
-3.223080506935e1));
#15=direction('',(0.e0,1.e0,0.e0));
#16=direction('',(-2.721444753077e-1,0.e0,-9.622564027116e-1));
#17=axis2_placement_3d('',#14,#15,#16);
#19=direction('',(-9.622564027116e-1,0.e0,2.721444753077e-1));
#20=vector('',#19,4.75e0);
#21=cartesian_point('',(-2.667276832983e1,0.e0,-3.496687593113e1));
#22=line('',#21,#20);
#23=cartesian_point('',(-2.680884056749e1,-1.421085471520e-14,
-3.544800413248e1));
#24=direction('',(0.e0,-1.e0,0.e0));
#25=direction('',(9.622564027116e-1,0.e0,-2.721444753077e-1));
#26=axis2_placement_3d('',#23,#24,#25);
#28=direction('',(2.721444753077e-1,0.e0,9.622564027116e-1));
#29=vector('',#28,3.404365100014e0);
#30=cartesian_point('',(-2.725419152003e1,0.e0,-3.885994848480e1));
#31=line('',#30,#29);
#32=cartesian_point('',(-2.773531972139e1,1.421085471520e-14,
-3.872387624714e1));
#33=direction('',(0.e0,-1.e0,0.e0));
#34=direction('',(0.e0,0.e0,-1.e0));
#35=axis2_placement_3d('',#32,#33,#34);
#37=cartesian_point('',(-2.773531972139e1,1.421085471520e-14,
-3.872387624714e1));
#38=direction('',(0.e0,-1.e0,0.e0));
#39=direction('',(-2.721444753077e-1,0.e0,-9.622564027116e-1));
#40=axis2_placement_3d('',#37,#38,#39);
#42=direction('',(9.622564027116e-1,0.e0,-2.721444753077e-1));
#43=vector('',#42,4.75e0);
#44=cartesian_point('',(-3.244210987192e1,0.e0,-3.791231819079e1));
#45=line('',#44,#43);
#46=cartesian_point('',(-3.285032658488e1,0.e0,-3.935570279485e1));
#47=direction('',(0.e0,1.e0,0.e0));
#48=direction('',(0.e0,0.e0,1.e0));
#49=axis2_placement_3d('',#46,#47,#48);
#51=cartesian_point('',(-3.285032658488e1,0.e0,-3.935570279485e1));
#52=direction('',(0.e0,1.e0,0.e0));
#53=direction('',(-9.622564027116e-1,0.e0,2.721444753076e-1));
#54=axis2_placement_3d('',#51,#52,#53);
#56=direction('',(2.721444753077e-1,0.e0,9.622564027116e-1));
#57=vector('',#56,1.155699245781e1);
#58=cartesian_point('',(-3.743888283752e1,0.e0,-5.006827607051e1));
#59=line('',#58,#57);
#60=direction('',(9.373749627863e-1,0.e0,-3.483219475449e-1));
#61=vector('',#60,9.709041587943e-1);
#62=cartesian_point('',(-3.834898408723e1,0.e0,-4.973008884304e1));
#63=line('',#62,#61);
#64=direction('',(3.483219475449e-1,0.e0,9.373749627863e-1));
#65=vector('',#64,2.9e0);
#66=cartesian_point('',(-3.935911773511e1,0.e0,-5.244847623512e1));
#67=line('',#66,#65);
#68=direction('',(-9.373749627863e-1,0.e0,3.483219475449e-1));
#69=vector('',#68,1.203865668841e0);
#70=cartesian_point('',(-3.823064419858e1,0.e0,-5.286780906948e1));
#71=line('',#70,#69);
#72=direction('',(2.721444753077e-1,0.e0,9.622564027116e-1));
#73=vector('',#72,4.672474696142e0);
#74=cartesian_point('',(-3.950223237315e1,0.e0,-5.736392776235e1));
#75=line('',#74,#73);
#76=cartesian_point('',(-3.902110417180e1,0.e0,-5.75e1));
#77=direction('',(0.e0,1.e0,0.e0));
#78=direction('',(0.e0,0.e0,-1.e0));
#79=axis2_placement_3d('',#76,#77,#78);
#81=direction('',(-1.e0,0.e0,0.e0));
#82=vector('',#81,3.441057829386e0);
#83=cartesian_point('',(-3.558004634241e1,0.e0,-5.8e1));
#84=line('',#83,#82);
#85=direction('',(1.e0,0.e0,0.e0));
#86=vector('',#85,1.641995365759e1);
#87=cartesian_point('',(-5.2e1,0.e0,-6.e1));
#88=line('',#87,#86);
#89=cartesian_point('',(-5.2e1,2.842170943040e-14,-5.2e1));
#90=direction('',(0.e0,-1.e0,0.e0));
#91=direction('',(-1.e0,0.e0,0.e0));
#92=axis2_placement_3d('',#89,#90,#91);
#94=direction('',(0.e0,0.e0,-1.e0));
#95=vector('',#94,1.04e2);
#96=cartesian_point('',(-6.e1,0.e0,5.2e1));
#97=line('',#96,#95);
#98=cartesian_point('',(-5.2e1,2.842170943040e-14,5.2e1));
#99=direction('',(0.e0,-1.e0,0.e0));
#100=direction('',(0.e0,0.e0,1.e0));
#101=axis2_placement_3d('',#98,#99,#100);
#103=direction('',(-1.e0,0.e0,0.e0));
#104=vector('',#103,1.04e2);
#105=cartesian_point('',(5.2e1,0.e0,6.e1));
#106=line('',#105,#104);
#107=cartesian_point('',(5.2e1,2.842170943040e-14,5.2e1));
#108=direction('',(0.e0,-1.e0,0.e0));
#109=direction('',(1.e0,0.e0,0.e0));
#110=axis2_placement_3d('',#107,#108,#109);
#112=direction('',(0.e0,0.e0,1.e0));
#113=vector('',#112,1.04e2);
#114=cartesian_point('',(6.e1,0.e0,-5.2e1));
#115=line('',#114,#113);
#116=cartesian_point('',(5.2e1,2.842170943040e-14,-5.2e1));
#117=direction('',(0.e0,-1.e0,0.e0));
#118=direction('',(0.e0,0.e0,-1.e0));
#119=axis2_placement_3d('',#116,#117,#118);
#121=direction('',(1.e0,0.e0,0.e0));
#122=vector('',#121,8.443500354929e1);
#123=cartesian_point('',(-3.243500354929e1,0.e0,-6.e1));
#124=line('',#123,#122);
#125=cartesian_point('',(-3.174653579244e1,-1.421085471520e-14,-5.75e1));
#126=direction('',(0.e0,1.e0,0.e0));
#127=direction('',(9.622564027116e-1,0.e0,-2.721444753077e-1));
#128=axis2_placement_3d('',#125,#126,#127);
#130=direction('',(-2.721444753077e-1,0.e0,-9.622564027116e-1));
#131=vector('',#130,2.050088659946e0);
#132=cartesian_point('',(-3.070748728839e1,0.e0,-5.566336129849e1));
#133=line('',#132,#131);
#134=direction('',(-9.373749627863e-1,0.e0,3.483219475448e-1));
#135=vector('',#134,2.703632055557e-1);
#136=cartesian_point('',(-3.045405558864e1,0.e0,-5.575753473680e1));
#137=line('',#136,#135);
#138=direction('',(-3.483219475449e-1,0.e0,-9.373749627863e-1));
#139=vector('',#138,2.9e0);
#140=cartesian_point('',(-2.944392194076e1,0.e0,-5.303914734472e1));
#141=line('',#140,#139);
#142=direction('',(9.373749627863e-1,0.e0,-3.483219475449e-1));
#143=vector('',#142,5.033247156019e-1);
#144=cartesian_point('',(-2.991572592732e1,0.e0,-5.286382829953e1));
#145=line('',#144,#143);
#146=direction('',(-2.721444753077e-1,0.e0,-9.622564027116e-1));
#147=vector('',#146,1.190018691799e1);
#148=cartesian_point('',(-2.667715580246e1,0.e0,-4.141279724423e1));
#149=line('',#148,#147);
#150=direction('',(-9.622564027116e-1,0.e0,2.721444753077e-1));
#151=vector('',#150,1.e0);
#152=cartesian_point('',(-2.571489939975e1,0.e0,-4.168494171954e1));
#153=line('',#152,#151);
#154=direction('',(2.721444753077e-1,0.e0,9.622564027116e-1));
#155=vector('',#154,1.695500101063e1);
#156=cartesian_point('',(-3.032910925363e1,0.e0,-5.8e1));
#157=line('',#156,#155);
#158=direction('',(-1.e0,0.e0,0.e0));
#159=vector('',#158,8.232910925363e1);
#160=cartesian_point('',(5.2e1,0.e0,-5.8e1));
#161=line('',#160,#159);
#162=cartesian_point('',(5.2e1,0.e0,-5.2e1));
#163=direction('',(0.e0,1.e0,0.e0));
#164=direction('',(1.e0,0.e0,0.e0));
#165=axis2_placement_3d('',#162,#163,#164);
#167=direction('',(0.e0,0.e0,-1.e0));
#168=vector('',#167,8.680590068947e0);
#169=cartesian_point('',(5.8e1,0.e0,-4.331940993105e1));
#170=line('',#169,#168);
#171=direction('',(9.622564027116e-1,0.e0,-2.721444753077e-1));
#172=vector('',#171,6.111309954751e1);
#173=cartesian_point('',(-8.064713291419e-1,0.e0,-2.668781752027e1));
#174=line('',#173,#172);
#175=cartesian_point('',(0.e0,0.e0,0.e0));
#176=direction('',(0.e0,-1.e0,0.e0));
#177=direction('',(-8.280475861752e-1,0.e0,-5.606578234801e-1));
#178=axis2_placement_3d('',#175,#176,#177);
#180=cartesian_point('',(-2.397197761977e1,-1.421085471520e-14,
-1.623104398975e1));
#181=direction('',(0.e0,1.e0,0.e0));
#182=direction('',(0.e0,0.e0,1.e0));
#183=axis2_placement_3d('',#180,#181,#182);
#185=cartesian_point('',(-2.397197761977e1,-1.421085471520e-14,
-1.623104398975e1));
#186=direction('',(0.e0,1.e0,0.e0));
#187=direction('',(-9.622564027116e-1,0.e0,2.721444753077e-1));
#188=axis2_placement_3d('',#185,#186,#187);
#190=direction('',(2.721444753077e-1,0.e0,9.622564027116e-1));
#191=vector('',#190,1.052281189538e0);
#192=cartesian_point('',(-2.642342703808e1,0.e0,-1.663128323239e1));
#193=line('',#192,#191);
#194=cartesian_point('',(-2.738568344079e1,0.e0,-1.635913875708e1));
#195=direction('',(0.e0,-1.e0,0.e0));
#196=direction('',(4.310843077426e-1,0.e0,-9.023116532651e-1));
#197=axis2_placement_3d('',#194,#195,#196);
#199=direction('',(-1.e0,0.e0,0.e0));
#200=vector('',#199,8.680590068947e0);
#201=cartesian_point('',(-4.331940993105e1,0.e0,-5.8e1));
#202=line('',#201,#200);
#203=direction('',(-2.721444753077e-1,0.e0,-9.622564027116e-1));
#204=vector('',#203,6.111309954751e1);
#205=cartesian_point('',(-2.668781752027e1,0.e0,8.064713291419e-1));
#206=line('',#205,#204);
#207=cartesian_point('',(0.e0,0.e0,0.e0));
#208=direction('',(0.e0,-1.e0,0.e0));
#209=direction('',(-6.323045838181e-1,0.e0,7.747198934341e-1));
#210=axis2_placement_3d('',#207,#208,#209);
#212=cartesian_point('',(-1.830521770153e1,0.e0,2.242814091492e1));
#213=direction('',(0.e0,1.e0,0.e0));
#214=direction('',(9.907838702587e-1,0.e0,1.354522884089e-1));
#215=axis2_placement_3d('',#212,#213,#214);
#217=cartesian_point('',(-2.003908947449e1,1.421085471520e-14,
2.219109941020e1));
#218=direction('',(0.e0,1.e0,0.e0));
#219=direction('',(2.721444753077e-1,0.e0,9.622564027116e-1));
#220=axis2_placement_3d('',#217,#218,#219);
#222=direction('',(9.622564027116e-1,0.e0,-2.721444753077e-1));
#223=vector('',#222,4.058116767704e1);
#224=cartesian_point('',(-5.8e1,0.e0,3.708406560589e1));
#225=line('',#224,#223);
#226=direction('',(0.e0,0.e0,1.e0));
#227=vector('',#226,8.908406560589e1);
#228=cartesian_point('',(-5.8e1,0.e0,-5.2e1));
#229=line('',#228,#227);
#230=cartesian_point('',(-5.2e1,0.e0,-5.2e1));
#231=direction('',(0.e0,1.e0,0.e0));
#232=direction('',(-2.250051996574e-14,0.e0,-1.e0));
#233=axis2_placement_3d('',#230,#231,#232);
#235=direction('',(1.e0,0.e0,0.e0));
#236=vector('',#235,8.680590068947e0);
#237=cartesian_point('',(4.331940993105e1,0.e0,5.8e1));
#238=line('',#237,#236);
#239=direction('',(2.721444753077e-1,0.e0,9.622564027116e-1));
#240=vector('',#239,6.111309954751e1);
#241=cartesian_point('',(2.668781752027e1,0.e0,-8.064713291419e-1));
#242=line('',#241,#240);
#243=cartesian_point('',(0.e0,0.e0,0.e0));
#244=direction('',(0.e0,-1.e0,0.e0));
#245=direction('',(6.323045838181e-1,0.e0,-7.747198934341e-1));
#246=axis2_placement_3d('',#243,#244,#245);
#248=cartesian_point('',(1.830521770153e1,-1.421085471520e-14,
-2.242814091492e1));
#249=direction('',(0.e0,1.e0,0.e0));
#250=direction('',(-9.907838702587e-1,0.e0,-1.354522884089e-1));
#251=axis2_placement_3d('',#248,#249,#250);
#253=cartesian_point('',(2.003908947449e1,1.421085471520e-14,
-2.219109941020e1));
#254=direction('',(0.e0,1.e0,0.e0));
#255=direction('',(-2.721444753077e-1,0.e0,-9.622564027116e-1));
#256=axis2_placement_3d('',#253,#254,#255);
#258=direction('',(-9.622564027116e-1,0.e0,2.721444753077e-1));
#259=vector('',#258,4.058116767704e1);
#260=cartesian_point('',(5.8e1,0.e0,-3.708406560589e1));
#261=line('',#260,#259);
#262=direction('',(0.e0,0.e0,-1.e0));
#263=vector('',#262,8.908406560589e1);
#264=cartesian_point('',(5.8e1,0.e0,5.2e1));
#265=line('',#264,#263);
#266=cartesian_point('',(5.2e1,0.e0,5.2e1));
#267=direction('',(0.e0,1.e0,0.e0));
#268=direction('',(0.e0,0.e0,1.e0));
#269=axis2_placement_3d('',#266,#267,#268);
#271=direction('',(0.e0,0.e0,1.e0));
#272=vector('',#271,8.680590068947e0);
#273=cartesian_point('',(-5.8e1,0.e0,4.331940993105e1));
#274=line('',#273,#272);
#275=direction('',(-9.622564027116e-1,0.e0,2.721444753077e-1));
#276=vector('',#275,6.111309954751e1);
#277=cartesian_point('',(8.064713291419e-1,0.e0,2.668781752027e1));
#278=line('',#277,#276);
#279=cartesian_point('',(0.e0,0.e0,0.e0));
#280=direction('',(0.e0,-1.e0,0.e0));
#281=direction('',(7.747198934341e-1,0.e0,6.323045838181e-1));
#282=axis2_placement_3d('',#279,#280,#281);
#284=cartesian_point('',(2.242814091492e1,0.e0,1.830521770153e1));
#285=direction('',(0.e0,1.e0,0.e0));
#286=direction('',(0.e0,0.e0,-1.e0));
#287=axis2_placement_3d('',#284,#285,#286);
#289=cartesian_point('',(2.242814091492e1,0.e0,1.830521770153e1));
#290=direction('',(0.e0,1.e0,0.e0));
#291=direction('',(1.354522884089e-1,0.e0,-9.907838702587e-1));
#292=axis2_placement_3d('',#289,#290,#291);
#294=cartesian_point('',(2.219109941020e1,1.421085471520e-14,2.003908947449e1));
#295=direction('',(0.e0,1.e0,0.e0));
#296=direction('',(9.622564027116e-1,0.e0,-2.721444753077e-1));
#297=axis2_placement_3d('',#294,#295,#296);
#299=direction('',(-2.721444753077e-1,0.e0,-9.622564027116e-1));
#300=vector('',#299,4.058116767704e1);
#301=cartesian_point('',(3.708406560589e1,0.e0,5.8e1));
#302=line('',#301,#300);
#303=direction('',(1.e0,0.e0,0.e0));
#304=vector('',#303,8.908406560589e1);
#305=cartesian_point('',(-5.2e1,0.e0,5.8e1));
#306=line('',#305,#304);
#307=cartesian_point('',(-5.2e1,0.e0,5.2e1));
#308=direction('',(0.e0,1.e0,0.e0));
#309=direction('',(-1.e0,0.e0,2.250051996574e-14));
#310=axis2_placement_3d('',#307,#308,#309);
#312=cartesian_point('',(0.e0,0.e0,0.e0));
#313=direction('',(0.e0,1.e0,0.e0));
#314=direction('',(0.e0,0.e0,1.e0));
#315=axis2_placement_3d('',#312,#313,#314);
#317=cartesian_point('',(0.e0,0.e0,0.e0));
#318=direction('',(0.e0,1.e0,0.e0));
#319=direction('',(0.e0,0.e0,-1.e0));
#320=axis2_placement_3d('',#317,#318,#319);
#322=direction('',(0.e0,-1.e0,0.e0));
#323=vector('',#322,3.8e0);
#324=cartesian_point('',(-2.794079014429e1,3.8e0,-1.773260853831e1));
#325=line('',#324,#323);
#326=direction('',(0.e0,1.e0,0.e0));
#327=vector('',#326,3.8e0);
#328=cartesian_point('',(-2.847196223926e1,0.e0,-1.836277571626e1));
#329=line('',#328,#327);
#330=direction('',(-9.622564027116e-1,0.e0,2.721444753077e-1));
#331=vector('',#330,1.e0);
#332=cartesian_point('',(-2.353774359729e1,3.8e0,-3.398689049785e1));
#333=line('',#332,#331);
#334=direction('',(2.721444753077e-1,0.e0,9.622564027116e-1));
#335=vector('',#334,8.e0);
#336=cartesian_point('',(-2.571489939975e1,3.8e0,-4.168494171954e1));
#337=line('',#336,#335);
#338=direction('',(9.622564027116e-1,0.e0,-2.721444753077e-1));
#339=vector('',#338,1.e0);
#340=cartesian_point('',(-2.667715580246e1,3.8e0,-4.141279724423e1));
#341=line('',#340,#339);
#342=direction('',(2.721444753077e-1,0.e0,9.622564027116e-1));
#343=vector('',#342,1.190018691799e1);
#344=cartesian_point('',(-2.991572592732e1,3.8e0,-5.286382829953e1));
#345=line('',#344,#343);
#346=direction('',(9.373749627863e-1,0.e0,-3.483219475449e-1));
#347=vector('',#346,1.596675284398e0);
#348=cartesian_point('',(-3.141240936262e1,3.8e0,-5.230767125487e1));
#349=line('',#348,#347);
#350=direction('',(3.483219475449e-1,0.e0,9.373749627863e-1));
#351=vector('',#350,2.9e0);
#352=cartesian_point('',(-3.242254301050e1,3.8e0,-5.502605864695e1));
#353=line('',#352,#351);
#354=direction('',(-9.373749627863e-1,0.e0,3.483219475449e-1));
#355=vector('',#354,1.829636794444e0);
#356=cartesian_point('',(-3.070748728839e1,3.8e0,-5.566336129849e1));
#357=line('',#356,#355);
#358=direction('',(2.721444753077e-1,0.e0,9.622564027116e-1));
#359=vector('',#358,1.404509946981e0);
#360=cartesian_point('',(-3.108971691098e1,3.8e0,-5.701485998765e1));
#361=line('',#360,#359);
#362=direction('',(9.373749627863e-1,0.e0,-3.483219475449e-1));
#363=vector('',#362,8.025771125604e0);
#364=cartesian_point('',(-3.861287382117e1,3.8e0,-5.421930775863e1));
#365=line('',#364,#363);
#366=direction('',(-2.721444753077e-1,0.e0,-9.622564027116e-1));
#367=vector('',#366,1.404509946981e0);
#368=cartesian_point('',(-3.823064419858e1,3.8e0,-5.286780906948e1));
#369=line('',#368,#367);
#370=direction('',(-9.373749627863e-1,0.e0,3.483219475449e-1));
#371=vector('',#370,8.961343311594e-1);
#372=cartesian_point('',(-3.739063031326e1,3.8e0,-5.317995232497e1));
#373=line('',#372,#371);
#374=direction('',(-3.483219475449e-1,0.e0,-9.373749627863e-1));
#375=vector('',#374,2.9e0);
#376=cartesian_point('',(-3.638049666538e1,3.8e0,-5.046156493289e1));
#377=line('',#376,#375);
#378=direction('',(9.373749627863e-1,0.e0,-3.483219475449e-1));
#379=vector('',#378,1.129095841206e0);
#380=cartesian_point('',(-3.743888283752e1,3.8e0,-5.006827607051e1));
#381=line('',#380,#379);
#382=direction('',(-2.721444753077e-1,0.e0,-9.622564027116e-1));
#383=vector('',#382,1.125753447648e1);
#384=cartesian_point('',(-3.437520702415e1,3.8e0,-3.923564144177e1));
#385=line('',#384,#383);
#386=direction('',(-9.622564027116e-1,0.e0,2.721444753077e-1));
#387=vector('',#386,7.5e0);
#388=cartesian_point('',(-2.715828400382e1,3.8e0,-4.127672500658e1));
#389=line('',#388,#387);
#390=cartesian_point('',(-2.702221176616e1,3.8e0,-4.079559680522e1));
#391=direction('',(0.e0,1.e0,0.e0));
#392=direction('',(0.e0,0.e0,-1.e0));
#393=axis2_placement_3d('',#390,#391,#392);
#395=cartesian_point('',(-2.702221176616e1,3.8e0,-4.079559680522e1));
#396=direction('',(0.e0,1.e0,0.e0));
#397=direction('',(9.622564027116e-1,0.e0,-2.721444753077e-1));
#398=axis2_placement_3d('',#395,#396,#397);
#400=direction('',(-2.721444753077e-1,0.e0,-9.622564027116e-1));
#401=vector('',#400,7.e0);
#402=cartesian_point('',(-2.463607223765e1,3.8e0,-3.419587422389e1));
#403=line('',#402,#401);
#404=cartesian_point('',(-2.511720043901e1,3.8e0,-3.405980198624e1));
#405=direction('',(0.e0,1.e0,0.e0));
#406=direction('',(2.721444753077e-1,0.e0,9.622564027116e-1));
#407=axis2_placement_3d('',#404,#405,#406);
#409=direction('',(9.622564027116e-1,0.e0,-2.721444753077e-1));
#410=vector('',#409,7.5e0);
#411=cartesian_point('',(-3.219805122169e1,3.8e0,-3.153759022008e1));
#412=line('',#411,#410);
#413=direction('',(-2.721444753077e-1,0.e0,-9.622564027116e-1));
#414=vector('',#413,1.369158414190e1);
#415=cartesian_point('',(-2.847196223926e1,3.8e0,-1.836277571626e1));
#416=line('',#415,#414);
#417=cartesian_point('',(-2.750970583655e1,3.8e0,-1.863492019157e1));
#418=direction('',(0.e0,-1.e0,0.e0));
#419=direction('',(-4.310843077426e-1,0.e0,9.023116532651e-1));
#420=axis2_placement_3d('',#417,#418,#419);
#422=direction('',(-9.023116532651e-1,0.e0,-4.310843077426e-1));
#423=vector('',#422,1.092960517223e0);
#424=cartesian_point('',(-2.695459913305e1,3.8e0,-1.726145041035e1));
#425=line('',#424,#423);
#426=cartesian_point('',(-2.738568344079e1,3.8e0,-1.635913875708e1));
#427=direction('',(0.e0,1.e0,0.e0));
#428=direction('',(9.622564027116e-1,0.e0,-2.721444753077e-1));
#429=axis2_placement_3d('',#426,#427,#428);
#431=direction('',(-2.721444753077e-1,0.e0,-9.622564027116e-1));
#432=vector('',#431,4.349351093048e-1);
#433=cartesian_point('',(-2.630506185096e1,3.8e0,-1.621276413870e1));
#434=line('',#433,#432);
#435=cartesian_point('',(0.e0,3.8e0,0.e0));
#436=direction('',(0.e0,1.e0,0.e0));
#437=direction('',(-6.625125960637e-1,0.e0,-7.490507726829e-1));
#438=axis2_placement_3d('',#435,#436,#437);
#440=direction('',(2.721444753077e-1,0.e0,9.622564027116e-1));
#441=vector('',#440,3.366684200809e0);
#442=cartesian_point('',(-2.138786372372e1,3.8e0,-2.638528230404e1));
#443=line('',#442,#441);
#444=direction('',(9.622564027116e-1,0.e0,-2.721444753077e-1));
#445=vector('',#444,1.e0);
#446=cartesian_point('',(-2.235012012644e1,3.8e0,-2.611313782873e1));
#447=line('',#446,#445);
#448=direction('',(2.721444753077e-1,0.e0,9.622564027116e-1));
#449=vector('',#448,7.899774085560e0);
#450=cartesian_point('',(-2.45e1,3.8e0,-3.371474602254e1));
#451=line('',#450,#449);
#452=direction('',(0.e0,1.e0,0.e0));
#453=vector('',#452,2.3e0);
#454=cartesian_point('',(-2.45e1,1.5e0,-3.371474602254e1));
#455=line('',#454,#453);
#456=direction('',(0.e0,-1.e0,0.e0));
#457=vector('',#456,2.3e0);
#458=cartesian_point('',(-2.353774359729e1,3.8e0,-3.398689049785e1));
#459=line('',#458,#457);
#460=direction('',(1.924352039525e-1,-7.071067811865e-1,6.804180275976e-1));
#461=vector('',#460,2.121320343560e0);
#462=cartesian_point('',(-2.45e1,1.5e0,-3.371474602254e1));
#463=line('',#462,#461);
#464=direction('',(0.e0,1.e0,0.e0));
#465=vector('',#464,3.8e0);
#466=cartesian_point('',(-2.138786372372e1,0.e0,-2.638528230404e1));
#467=line('',#466,#465);
#468=direction('',(0.e0,-1.e0,0.e0));
#469=vector('',#468,3.8e0);
#470=cartesian_point('',(-2.235012012644e1,3.8e0,-2.611313782873e1));
#471=line('',#470,#469);
#472=direction('',(0.e0,1.e0,0.e0));
#473=vector('',#472,1.e0);
#474=cartesian_point('',(-3.032910925363e1,0.e0,-5.8e1));
#475=line('',#474,#473);
#476=cartesian_point('',(-3.9e1,6.7e0,-4.272730391682e1));
#477=cartesian_point('',(-3.9e1,6.549871832992e0,-4.272730391682e1));
#478=cartesian_point('',(-3.898703590801e1,6.260654995544e0,-4.268146531502e1));
#479=cartesian_point('',(-3.892644712953e1,5.839656514685e0,-4.246723277454e1));
#480=cartesian_point('',(-3.882699176608e1,5.492334937284e0,-4.211557912294e1));
#481=cartesian_point('',(-3.869582031965e1,5.259019855775e0,-4.165176611044e1));
#482=cartesian_point('',(-3.859580379670e1,5.199995340391e0,-4.129815753061e1));
#483=cartesian_point('',(-3.854193051418e1,5.200000000176e0,-4.110767080115e1));
#485=cartesian_point('',(-7.318590178330e-13,6.700000000003e0,
-9.876544027066e-13));
#486=direction('',(-3.315866100214e-14,1.e0,-3.789561257387e-14));
#487=direction('',(-4.876338461364e-1,-4.925283267758e-14,-8.730482415664e-1));
#488=axis2_placement_3d('',#485,#486,#487);
#490=cartesian_point('',(-2.778966500426e1,5.200000000176e0,-4.902097026179e1));
#491=cartesian_point('',(-2.783596048976e1,5.199995620690e0,-4.918466319473e1));
#492=cartesian_point('',(-2.792321522737e1,5.251957703377e0,-4.949316409596e1));
#493=cartesian_point('',(-2.804282137430e1,5.471443647863e0,-4.991607782670e1));
#494=cartesian_point('',(-2.813692451037e1,5.812202241673e0,-5.024880862163e1));
#495=cartesian_point('',(-2.819627368524e1,6.239243647453e0,-5.045865767022e1));
#496=cartesian_point('',(-2.820961799899e1,6.541289035089e0,-5.050584077462e1));
#497=cartesian_point('',(-2.820961799899e1,6.7e0,-5.050584077462e1));
#499=direction('',(7.917575565710e-1,0.e0,-6.108354701658e-1));
#500=vector('',#499,1.075961170379e-1);
#501=cartesian_point('',(-2.623520952110e1,5.2e0,-1.559883726831e1));
#502=line('',#501,#500);
#503=direction('',(-2.774990829217e-1,0.e0,-9.607259021061e-1));
#504=vector('',#503,5.620883226613e0);
#505=cartesian_point('',(-2.467541958050e1,5.2e0,-1.019870915979e1));
#506=line('',#505,#504);
#507=cartesian_point('',(0.e0,5.2e0,0.e0));
#508=direction('',(0.e0,-1.e0,0.e0));
#509=direction('',(-9.995437273510e-1,0.e0,3.020491869445e-2));
#510=axis2_placement_3d('',#507,#508,#509);
#512=direction('',(2.721443407461e-1,-4.031756013650e-12,9.622564407682e-1));
#513=vector('',#512,4.355818299001e1);
#514=cartesian_point('',(-3.854193051418e1,5.200000000176e0,-4.110767080115e1));
#515=line('',#514,#513);
#516=cartesian_point('',(-6.821210263473e-13,5.200000000530e0,
-9.308109838658e-13));
#517=direction('',(-3.315866100214e-14,1.e0,-3.789561257387e-14));
#518=direction('',(-4.931618729340e-1,-4.931876195237e-14,-8.699375650495e-1));
#519=axis2_placement_3d('',#516,#517,#518);
#521=direction('',(-2.721443625357e-1,6.531572073574e-12,-9.622564346057e-1));
#522=vector('',#521,2.689023471845e1);
#523=cartesian_point('',(-2.047163921837e1,5.2e0,-2.314566887590e1));
#524=line('',#523,#522);
#525=cartesian_point('',(0.e0,5.2e0,0.e0));
#526=direction('',(0.e0,-1.e0,0.e0));
#527=direction('',(-8.512965000311e-1,0.e0,-5.246849235825e-1));
#528=axis2_placement_3d('',#525,#526,#527);
#530=direction('',(-2.721444753077e-1,0.e0,-9.622564027116e-1));
#531=vector('',#530,5.697061033839e-1);
#532=cartesian_point('',(-2.615001948238e1,5.2e0,-1.566456079305e1));
#533=line('',#532,#531);
#534=direction('',(-9.622564027116e-1,0.e0,2.721444753077e-1));
#535=vector('',#534,7.5e0);
#536=cartesian_point('',(-2.498112820136e1,5.2e0,-3.357867378488e1));
#537=line('',#536,#535);
#538=cartesian_point('',(-2.511720043901e1,5.2e0,-3.405980198624e1));
#539=direction('',(0.e0,-1.e0,0.e0));
#540=direction('',(9.622564027116e-1,0.e0,-2.721444753077e-1));
#541=axis2_placement_3d('',#538,#539,#540);
#543=direction('',(2.721444753077e-1,0.e0,9.622564027116e-1));
#544=vector('',#543,7.e0);
#545=cartesian_point('',(-2.654108356481e1,5.2e0,-4.093166904287e1));
#546=line('',#545,#544);
#547=cartesian_point('',(-2.702221176616e1,5.2e0,-4.079559680522e1));
#548=direction('',(0.e0,-1.e0,0.e0));
#549=direction('',(0.e0,0.e0,-1.e0));
#550=axis2_placement_3d('',#547,#548,#549);
#552=cartesian_point('',(-2.702221176616e1,5.2e0,-4.079559680522e1));
#553=direction('',(0.e0,-1.e0,0.e0));
#554=direction('',(-2.721444753076e-1,0.e0,-9.622564027116e-1));
#555=axis2_placement_3d('',#552,#553,#554);
#557=direction('',(9.622564027116e-1,0.e0,-2.721444753077e-1));
#558=vector('',#557,7.5e0);
#559=cartesian_point('',(-3.437520702415e1,5.2e0,-3.923564144177e1));
#560=line('',#559,#558);
#561=direction('',(-2.721444753077e-1,0.e0,-9.622564027116e-1));
#562=vector('',#561,8.e0);
#563=cartesian_point('',(-3.219805122169e1,5.2e0,-3.153759022008e1));
#564=line('',#563,#562);
#565=direction('',(0.e0,1.e0,0.e0));
#566=vector('',#565,3.1e0);
#567=cartesian_point('',(-2.615001948238e1,2.1e0,-1.566456079305e1));
#568=line('',#567,#566);
#569=direction('',(2.774990829217e-1,0.e0,9.607259021061e-1));
#570=vector('',#569,8.062668435455e0);
#571=cartesian_point('',(-2.623520952110e1,2.1e0,-1.559883726831e1));
#572=line('',#571,#570);
#573=direction('',(-7.917575565710e-1,0.e0,6.108354701658e-1));
#574=vector('',#573,1.075961170379e-1);
#575=cartesian_point('',(-2.615001948238e1,2.1e0,-1.566456079305e1));
#576=line('',#575,#574);
#577=cartesian_point('',(-2.397197761977e1,2.1e0,-1.623104398975e1));
#578=direction('',(0.e0,-1.e0,0.e0));
#579=direction('',(0.e0,0.e0,1.e0));
#580=axis2_placement_3d('',#577,#578,#579);
#582=cartesian_point('',(-2.397197761977e1,2.1e0,-1.623104398975e1));
#583=direction('',(0.e0,-1.e0,0.e0));
#584=direction('',(8.280475861752e-1,0.e0,5.606578234801e-1));
#585=axis2_placement_3d('',#582,#583,#584);
#587=cartesian_point('',(0.e0,2.1e0,0.e0));
#588=direction('',(0.e0,1.e0,0.e0));
#589=direction('',(-4.780504326664e-1,0.e0,-8.783323880101e-1));
#590=axis2_placement_3d('',#587,#588,#589);
#592=direction('',(-2.721444753077e-1,0.e0,-9.622564027116e-1));
#593=vector('',#592,1.488950969196e0);
#594=cartesian_point('',(-1.235873677192e1,2.1e0,-2.201872215644e1));
#595=line('',#594,#593);
#596=cartesian_point('',(0.e0,2.1e0,0.e0));
#597=direction('',(0.e0,1.e0,0.e0));
#598=direction('',(0.e0,0.e0,-1.e0));
#599=axis2_placement_3d('',#596,#597,#598);
#601=cartesian_point('',(0.e0,2.1e0,0.e0));
#602=direction('',(0.e0,1.e0,0.e0));
#603=direction('',(0.e0,0.e0,1.e0));
#604=axis2_placement_3d('',#601,#602,#603);
#606=cartesian_point('',(0.e0,2.1e0,0.e0));
#607=direction('',(0.e0,1.e0,0.e0));
#608=direction('',(-9.504089673013e-1,0.e0,-3.110028856348e-1));
#609=axis2_placement_3d('',#606,#607,#608);
#611=cartesian_point('',(0.e0,2.100000031942e0,0.e0));
#612=direction('',(0.e0,-1.e0,0.e0));
#613=direction('',(1.e0,0.e0,-3.253267264534e-10));
#614=axis2_placement_3d('',#611,#612,#613);
#616=cartesian_point('',(0.e0,2.100000016765e0,0.e0));
#617=direction('',(0.e0,-1.e0,0.e0));
#618=direction('',(-9.987756663426e-1,0.e0,-4.946886214568e-2));
#619=axis2_placement_3d('',#616,#617,#618);
#621=cartesian_point('',(0.e0,2.100000031942e0,0.e0));
#622=direction('',(0.e0,-1.e0,0.e0));
#623=direction('',(-1.e0,0.e0,8.659462725339e-10));
#624=axis2_placement_3d('',#621,#622,#623);
#626=cartesian_point('',(0.e0,2.100000016765e0,0.e0));
#627=direction('',(0.e0,-1.e0,0.e0));
#628=direction('',(9.987756663426e-1,0.e0,4.946886214561e-2));
#629=axis2_placement_3d('',#626,#627,#628);
#631=direction('',(0.e0,1.e0,0.e0));
#632=vector('',#631,3.1e0);
#633=cartesian_point('',(-2.623520952110e1,2.1e0,-1.559883726831e1));
#634=line('',#633,#632);
#635=direction('',(0.e0,-1.e0,0.e0));
#636=vector('',#635,6.9e0);
#637=cartesian_point('',(0.e0,9.e0,2.525e1));
#638=line('',#637,#636);
#639=direction('',(0.e0,1.e0,0.e0));
#640=vector('',#639,6.9e0);
#641=cartesian_point('',(-2.399782642436e1,2.1e0,-7.852822862280e0));
#642=line('',#641,#640);
#643=direction('',(0.e0,-1.e0,0.e0));
#644=vector('',#643,6.9e0);
#645=cartesian_point('',(0.e0,9.e0,-2.525e1));
#646=line('',#645,#644);
#647=direction('',(0.e0,-1.e0,0.e0));
#648=vector('',#647,6.9e0);
#649=cartesian_point('',(-1.235873677192e1,9.e0,-2.201872215644e1));
#650=line('',#649,#648);
#651=direction('',(0.e0,1.e0,0.e0));
#652=vector('',#651,6.9e0);
#653=cartesian_point('',(-1.276394655219e1,2.1e0,-2.345147475987e1));
#654=line('',#653,#652);
#655=direction('',(0.e0,-1.e0,0.e0));
#656=vector('',#655,3.2e0);
#657=cartesian_point('',(-8.064713291419e-1,3.2e0,-2.668781752027e1));
#658=line('',#657,#656);
#659=cartesian_point('',(1.332267629550e-14,3.338502698400e0,-2.67e1));
#660=cartesian_point('',(-2.684495322822e-1,3.289797993660e0,-2.67e1));
#661=cartesian_point('',(-5.372720921911e-1,3.243622180617e0,
-2.669595237305e1));
#662=cartesian_point('',(-8.064713291419e-1,3.2e0,-2.668781752027e1));
#664=direction('',(2.721444753077e-1,0.e0,9.622564027116e-1));
#665=vector('',#664,1.488950969196e0);
#666=cartesian_point('',(-1.276394655219e1,9.e0,-2.345147475987e1));
#667=line('',#666,#665);
#668=cartesian_point('',(0.e0,9.e0,0.e0));
#669=direction('',(0.e0,1.e0,0.e0));
#670=direction('',(0.e0,0.e0,-1.e0));
#671=axis2_placement_3d('',#668,#669,#670);
#673=cartesian_point('',(0.e0,9.e0,0.e0));
#674=direction('',(0.e0,1.e0,0.e0));
#675=direction('',(0.e0,0.e0,1.e0));
#676=axis2_placement_3d('',#673,#674,#675);
#678=cartesian_point('',(0.e0,9.e0,0.e0));
#679=direction('',(0.e0,1.e0,0.e0));
#680=direction('',(-9.241730179964e-1,0.e0,-3.819741258350e-1));
#681=axis2_placement_3d('',#678,#679,#680);
#683=direction('',(-2.774990829217e-1,0.e0,-9.607259021061e-1));
#684=vector('',#683,2.441785208842e0);
#685=cartesian_point('',(-2.399782642436e1,9.e0,-7.852822862280e0));
#686=line('',#685,#684);
#687=cartesian_point('',(0.e0,9.e0,0.e0));
#688=direction('',(0.e0,-1.e0,0.e0));
#689=direction('',(0.e0,0.e0,1.e0));
#690=axis2_placement_3d('',#687,#688,#689);
#692=cartesian_point('',(0.e0,9.e0,0.e0));
#693=direction('',(0.e0,-1.e0,0.e0));
#694=direction('',(0.e0,0.e0,-1.e0));
#695=axis2_placement_3d('',#692,#693,#694);
#697=cartesian_point('',(0.e0,9.e0,0.e0));
#698=direction('',(0.e0,-1.e0,0.e0));
#699=direction('',(-4.894549216602e-1,0.e0,-8.720286002549e-1));
#700=axis2_placement_3d('',#697,#698,#699);
#702=direction('',(0.e0,1.e0,0.e0));
#703=vector('',#702,5.661497301600e0);
#704=cartesian_point('',(0.e0,3.338502698400e0,-2.67e1));
#705=line('',#704,#703);
#706=cartesian_point('',(6.978518988886e0,5.2e0,-2.577188919582e1));
#707=cartesian_point('',(4.737582764307e0,4.404162097375e0,-2.637869050081e1));
#708=cartesian_point('',(2.414831272131e0,3.776624691407e0,-2.67e1));
#709=cartesian_point('',(1.332267629550e-14,3.338502698400e0,-2.67e1));
#711=direction('',(0.e0,-1.e0,0.e0));
#712=vector('',#711,3.2e0);
#713=cartesian_point('',(2.668781752027e1,3.2e0,-8.064713291419e-1));
#714=line('',#713,#712);
#715=direction('',(0.e0,-1.e0,0.e0));
#716=vector('',#715,3.2e0);
#717=cartesian_point('',(8.064713291419e-1,3.2e0,2.668781752027e1));
#718=line('',#717,#716);
#719=direction('',(-9.622564021202e-1,1.448749340933e-9,2.721444773989e-1));
#720=vector('',#719,4.311873262567e1);
#721=cartesian_point('',(4.068480519121e1,3.199999937532e0,-3.842234247679e1));
#722=line('',#721,#720);
#723=cartesian_point('',(4.294768644753e1,5.200000060800e0,-3.594465612833e1));
#724=cartesian_point('',(4.222096441688e1,4.526137621967e0,-3.678956635208e1));
#725=cartesian_point('',(4.146653267942e1,3.859104792465e0,-3.761599350046e1));
#726=cartesian_point('',(4.068480519121e1,3.199999937532e0,-3.842234247679e1));
#728=cartesian_point('',(4.272729754351e1,5.450532010299e0,-3.899999418200e1));
#729=cartesian_point('',(4.272729663214e1,5.351121461650e0,-3.899999392425e1));
#730=cartesian_point('',(4.271185574888e1,5.146466482689e0,-3.899563282688e1));
#731=cartesian_point('',(4.263458806448e1,4.814153373254e0,-3.897377768814e1));
#732=cartesian_point('',(4.250014612633e1,4.478207701362e0,-3.893575557534e1));
#733=cartesian_point('',(4.231043846884e1,4.154026922132e0,-3.888210245966e1));
#734=cartesian_point('',(4.207268245642e1,3.859479194395e0,-3.881486056695e1));
#735=cartesian_point('',(4.180062849401e1,3.611206207271e0,-3.873791850317e1));
#736=cartesian_point('',(4.151216115914e1,3.420324202169e0,-3.865633443463e1));
#737=cartesian_point('',(4.122157887524e1,3.288786116865e0,-3.857415223347e1));
#738=cartesian_point('',(4.094043060496e1,3.214699006568e0,-3.849463807987e1));
#739=cartesian_point('',(4.076800079846e1,3.199999567450e0,-3.844587178230e1));
#740=cartesian_point('',(4.068480519121e1,3.199999937532e0,-3.842234247679e1));
#742=cartesian_point('',(4.326094925336e1,5.200000543759e0,-3.610834240692e1));
#743=cartesian_point('',(4.338598804116e1,5.199999505698e0,-3.621425859983e1));
#744=cartesian_point('',(4.362750199553e1,5.254268299898e0,-3.643854968780e1));
#745=cartesian_point('',(4.392699300608e1,5.494504068079e0,-3.677985602254e1));
#746=cartesian_point('',(4.411641864625e1,5.874144149859e0,-3.707952888847e1));
#747=cartesian_point('',(4.417978795847e1,6.248877503152e0,-3.727017032729e1));
#748=cartesian_point('',(4.416255684790e1,6.548717918988e0,-3.736698094550e1));
#749=cartesian_point('',(4.413570813508e1,6.699999543280e0,-3.739868540665e1));
#751=direction('',(0.e0,-1.e0,1.795877078604e-10));
#752=vector('',#751,1.650008195650e1);
#753=cartesian_point('',(1.482653695812e-14,3.150000807213e1,-5.785e1));
#754=line('',#753,#752);
#755=direction('',(-2.987086674267e-11,1.e0,-6.491857216982e-11));
#756=vector('',#755,1.399992610640e1);
#757=cartesian_point('',(3.219533522425e1,1.e0,4.806332166838e1));
#758=line('',#757,#756);
#759=direction('',(0.e0,-1.e0,0.e0));
#760=vector('',#759,5.700000000010e0);
#761=cartesian_point('',(3.393166531206e1,6.700000000010e0,4.685365075584e1));
#762=line('',#761,#760);
#763=cartesian_point('',(3.899998587222e1,5.450598754151e0,4.272728844009e1));
#764=cartesian_point('',(3.882533964805e1,5.587944023131e0,4.288669735891e1));
#765=cartesian_point('',(3.847383068965e1,5.863378204385e0,4.320365896166e1));
#766=cartesian_point('',(3.794003961501e1,6.279990170249e0,4.367315857916e1));
#767=cartesian_point('',(3.757984371023e1,6.559655363713e0,4.398219022011e1));
#768=cartesian_point('',(3.739868540503e1,6.699999543213e0,4.413570813353e1));
#770=direction('',(-3.174264160612e-6,9.999999999889e-1,-3.477610626727e-6));
#771=vector('',#770,4.450598754200e0);
#772=cartesian_point('',(3.899999999959e1,1.e0,4.272730391754e1));
#773=line('',#772,#771);
#774=direction('',(5.320978117057e-12,-1.e0,-5.250938534822e-12));
#775=vector('',#774,1.399992609973e1);
#776=cartesian_point('',(4.063856466392e1,1.499992609973e1,4.117195115678e1));
#777=line('',#776,#775);
#778=direction('',(-3.918156339553e-13,1.e0,-5.674221227488e-13));
#779=vector('',#778,1.399992609966e1);
#780=cartesian_point('',(4.806332166838e1,1.e0,-3.219533522425e1));
#781=line('',#780,#779);
#782=direction('',(0.e0,-1.e0,0.e0));
#783=vector('',#782,5.700000000007e0);
#784=cartesian_point('',(4.685365075584e1,6.700000000007e0,-3.393166531206e1));
#785=line('',#784,#783);
#786=cartesian_point('',(4.272729754351e1,5.450532010299e0,-3.899999418200e1));
#787=cartesian_point('',(4.288670555406e1,5.587873345087e0,-3.882535155142e1));
#788=cartesian_point('',(4.320365046848e1,5.863398401595e0,-3.847383182490e1));
#789=cartesian_point('',(4.367315177100e1,6.279973162299e0,-3.794004500847e1));
#790=cartesian_point('',(4.398219549577e1,6.559646947491e0,-3.757984909983e1));
#791=cartesian_point('',(4.413570813508e1,6.699999543280e0,-3.739868540665e1));
#793=direction('',(-1.432097225640e-6,9.999999999981e-1,1.307222373375e-6));
#794=vector('',#793,4.450532010307e0);
#795=cartesian_point('',(4.272730391711e1,1.e0,-3.899999999984e1));
#796=line('',#795,#794);
#797=direction('',(1.277141328843e-10,-1.e0,-7.148199153420e-11));
#798=vector('',#797,1.399992611315e1);
#799=cartesian_point('',(4.117195115492e1,1.499992611315e1,-4.063856466299e1));
#800=line('',#799,#798);
#801=direction('',(5.197952063277e-11,1.e0,1.319210756131e-10));
#802=vector('',#801,1.399992611316e1);
#803=cartesian_point('',(-2.640456791204e1,1.e0,-5.147252950243e1));
#804=line('',#803,#802);
#805=direction('',(0.e0,-1.e0,0.e0));
#806=vector('',#805,5.7e0);
#807=cartesian_point('',(-2.820961799899e1,6.7e0,-5.050584077462e1));
#808=line('',#807,#806);
#809=direction('',(0.e0,1.e0,0.e0));
#810=vector('',#809,5.7e0);
#811=cartesian_point('',(-3.9e1,1.e0,-4.272730391682e1));
#812=line('',#811,#810);
#813=direction('',(-5.334173980382e-12,-1.e0,5.265656997761e-12));
#814=vector('',#813,1.399992609972e1);
#815=cartesian_point('',(-4.063856466392e1,1.499992609972e1,-4.117195115678e1));
#816=line('',#815,#814);
#817=direction('',(-2.263090559333e-12,1.e0,-3.362407480508e-12));
#818=vector('',#817,1.399992609968e1);
#819=cartesian_point('',(-4.806332166838e1,1.e0,3.219533522425e1));
#820=line('',#819,#818);
#821=direction('',(0.e0,-1.e0,0.e0));
#822=vector('',#821,5.7e0);
#823=cartesian_point('',(-4.685365075584e1,6.7e0,3.393166531206e1));
#824=line('',#823,#822);
#825=cartesian_point('',(-4.272729754351e1,5.450532010299e0,3.899999418200e1));
#826=cartesian_point('',(-4.288670555406e1,5.587873345087e0,3.882535155142e1));
#827=cartesian_point('',(-4.320365046848e1,5.863398401595e0,3.847383182490e1));
#828=cartesian_point('',(-4.367315177100e1,6.279973162299e0,3.794004500847e1));
#829=cartesian_point('',(-4.398219549577e1,6.559646947491e0,3.757984909983e1));
#830=cartesian_point('',(-4.413570813508e1,6.699999543280e0,3.739868540665e1));
#832=direction('',(1.432097225640e-6,9.999999999981e-1,-1.307222378165e-6));
#833=vector('',#832,4.450532010307e0);
#834=cartesian_point('',(-4.272730391711e1,1.e0,3.899999999984e1));
#835=line('',#834,#833);
#836=direction('',(-6.373500473726e-11,-1.e0,3.586229622016e-11));
#837=vector('',#836,1.399992610640e1);
#838=cartesian_point('',(-4.117195115582e1,1.499992610640e1,4.063856466349e1));
#839=line('',#838,#837);
#840=direction('',(0.e0,-1.e0,-5.986228219221e-11));
#841=vector('',#840,1.650008195872e1);
#842=cartesian_point('',(6.796649473159e-14,3.150000806656e1,5.785e1));
#843=line('',#842,#841);
#844=direction('',(3.797026049638e-13,9.284767592592e-1,3.713905054192e-1));
#845=vector('',#844,4.038875544055e-1);
#846=cartesian_point('',(-3.007947741901e-13,1.462492590801e1,-5.8e1));
#847=line('',#846,#845);
#848=cartesian_point('',(-2.472445019427e1,1.999999999984e0,-5.8e1));
#849=cartesian_point('',(-2.322912401425e1,3.465945893921e0,-5.8e1));
#850=cartesian_point('',(-2.026347365852e1,6.146762205726e0,-5.8e1));
#851=cartesian_point('',(-1.588926518477e1,9.406998139926e0,-5.8e1));
#852=cartesian_point('',(-1.156005223504e1,1.189743153111e1,-5.8e1));
#853=cartesian_point('',(-7.344912058779e0,1.358487543497e1,-5.8e1));
#854=cartesian_point('',(-3.427010269329e0,1.447040315278e1,-5.8e1));
#855=cartesian_point('',(-1.099920136347e0,1.462492590801e1,-5.8e1));
#856=cartesian_point('',(-3.007947741901e-13,1.462492590801e1,-5.8e1));
#858=cartesian_point('',(-2.640456791131e1,1.499992611316e1,-5.147252950058e1));
#859=cartesian_point('',(-2.656495516124e1,1.355545143215e1,-5.203963143414e1));
#860=cartesian_point('',(-2.688551592220e1,1.066647770494e1,-5.317307955597e1));
#861=cartesian_point('',(-2.736584930083e1,6.333142984220e0,-5.487145637811e1));
#862=cartesian_point('',(-2.768575219041e1,3.444368058825e0,-5.600257838004e1));
#863=cartesian_point('',(-2.784561769100e1,1.999999999984e0,-5.656783549700e1));
#865=cartesian_point('',(-2.948752353404e-13,1.499992611444e1,
2.428612866368e-13));
#866=direction('',(0.e0,1.e0,0.e0));
#867=direction('',(0.e0,0.e0,-1.e0));
#868=axis2_placement_3d('',#865,#866,#867);
#870=cartesian_point('',(-2.948752353404e-13,1.499992611444e1,
2.428612866368e-13));
#871=direction('',(0.e0,1.e0,0.e0));
#872=direction('',(7.117018350339e-1,0.e0,-7.024816709419e-1));
#873=axis2_placement_3d('',#870,#871,#872);
#875=cartesian_point('',(4.681414037001e1,1.999999999151e0,-4.223428345444e1));
#876=cartesian_point('',(4.617716683379e1,3.484053924498e0,-4.205413518179e1));
#877=cartesian_point('',(4.491023139244e1,6.425890699241e0,-4.169582165950e1));
#878=cartesian_point('',(4.302964358715e1,1.075929235888e1,-4.116395553753e1));
#879=cartesian_point('',(4.178912511260e1,1.359527286512e1,-4.081311323696e1));
#880=cartesian_point('',(4.117195115492e1,1.499992611315e1,-4.063856466299e1));
#882=cartesian_point('',(-3.007947741901e-13,1.462492590801e1,-5.8e1));
#883=cartesian_point('',(1.109023724906e0,1.462492590801e1,-5.8e1));
#884=cartesian_point('',(3.453185915518e0,1.447049129823e1,-5.8e1));
#885=cartesian_point('',(7.447566584779e0,1.355307658220e1,-5.8e1));
#886=cartesian_point('',(1.162779033824e1,1.186514590570e1,-5.8e1));
#887=cartesian_point('',(1.597915868696e1,9.345209415182e0,-5.8e1));
#888=cartesian_point('',(2.032359545552e1,6.095738782515e0,-5.799999999999e1));
#889=cartesian_point('',(2.325177130557e1,3.443743579191e0,-5.800000000003e1));
#890=cartesian_point('',(2.472445019585e1,1.999999999151e0,-5.800000000003e1));
#892=direction('',(0.e0,-1.e0,0.e0));
#893=vector('',#892,1.e0);
#894=cartesian_point('',(5.8e1,2.e0,-4.539785803944e1));
#895=line('',#894,#893);
#896=direction('',(0.e0,0.e0,-1.e0));
#897=vector('',#896,2.102141960560e0);
#898=cartesian_point('',(5.8e1,2.e0,-4.539785803944e1));
#899=line('',#898,#897);
#900=direction('',(0.e0,0.e0,-1.e0));
#901=vector('',#900,2.078448108388e0);
#902=cartesian_point('',(5.8e1,1.e0,-4.331940993105e1));
#903=line('',#902,#901);
#904=direction('',(0.e0,1.e0,0.e0));
#905=vector('',#904,1.e0);
#906=cartesian_point('',(5.8e1,0.e0,-4.331940993105e1));
#907=line('',#906,#905);
#908=direction('',(0.e0,1.e0,0.e0));
#909=vector('',#908,6.e-1);
#910=cartesian_point('',(5.8e1,0.e0,-5.2e1));
#911=line('',#910,#909);
#912=direction('',(0.e0,-1.e0,0.e0));
#913=vector('',#912,6.e-1);
#914=cartesian_point('',(5.2e1,6.e-1,-5.8e1));
#915=line('',#914,#913);
#916=cartesian_point('',(5.25e1,6.e-1,-5.25e1));
#917=direction('',(0.e0,-1.e0,0.e0));
#918=direction('',(0.e0,0.e0,1.e0));
#919=axis2_placement_3d('',#916,#917,#918);
#921=direction('',(0.e0,0.e0,1.e0));
#922=vector('',#921,4.5e0);
#923=cartesian_point('',(5.8e1,6.e-1,-5.2e1));
#924=line('',#923,#922);
#925=cartesian_point('',(5.2e1,6.e-1,-5.2e1));
#926=direction('',(0.e0,-1.e0,0.e0));
#927=direction('',(0.e0,0.e0,-1.e0));
#928=axis2_placement_3d('',#925,#926,#927);
#930=direction('',(1.e0,0.e0,0.e0));
#931=vector('',#930,4.5e0);
#932=cartesian_point('',(4.75e1,6.e-1,-5.8e1));
#933=line('',#932,#931);
#934=cartesian_point('',(5.2575e1,6.e-1,-5.2575e1));
#935=direction('',(0.e0,1.e0,0.e0));
#936=direction('',(0.e0,0.e0,1.e0));
#937=axis2_placement_3d('',#934,#935,#936);
#939=cartesian_point('',(5.2575e1,6.e-1,-5.2575e1));
#940=direction('',(0.e0,1.e0,0.e0));
#941=direction('',(0.e0,0.e0,-1.e0));
#942=axis2_placement_3d('',#939,#940,#941);
#944=direction('',(0.e0,-1.e0,0.e0));
#945=vector('',#944,1.4e0);
#946=cartesian_point('',(4.75e1,2.e0,-5.25e1));
#947=line('',#946,#945);
#948=direction('',(0.e0,1.e0,0.e0));
#949=vector('',#948,1.4e0);
#950=cartesian_point('',(5.25e1,6.e-1,-4.75e1));
#951=line('',#950,#949);
#952=direction('',(0.e0,0.e0,-1.e0));
#953=vector('',#952,5.5e0);
#954=cartesian_point('',(4.75e1,2.e0,-5.25e1));
#955=line('',#954,#953);
#956=direction('',(0.e0,0.e0,1.e0));
#957=vector('',#956,5.5e0);
#958=cartesian_point('',(4.75e1,6.e-1,-5.8e1));
#959=line('',#958,#957);
#960=direction('',(0.e0,-1.e0,0.e0));
#961=vector('',#960,1.4e0);
#962=cartesian_point('',(4.75e1,2.e0,-5.8e1));
#963=line('',#962,#961);
#964=cartesian_point('',(5.25e1,2.e0,-5.25e1));
#965=direction('',(0.e0,1.e0,0.e0));
#966=direction('',(-1.e0,0.e0,0.e0));
#967=axis2_placement_3d('',#964,#965,#966);
#969=direction('',(1.e0,3.729736751738e-11,1.264751136873e-12));
#970=vector('',#969,2.277554980415e1);
#971=cartesian_point('',(2.472445019585e1,1.999999999151e0,-5.800000000003e1));
#972=line('',#971,#970);
#973=cartesian_point('',(-2.948752353404e-13,1.999999997452e0,
2.428612866368e-13));
#974=direction('',(0.e0,1.e0,0.e0));
#975=direction('',(7.424926929530e-1,0.e0,-6.698541639129e-1));
#976=axis2_placement_3d('',#973,#974,#975);
#978=direction('',(-9.622564027116e-1,-7.307494447910e-11,2.721444753079e-1));
#979=vector('',#978,1.162461439432e1);
#980=cartesian_point('',(5.8e1,2.e0,-4.539785803944e1));
#981=line('',#980,#979);
#982=direction('',(-1.e0,0.e0,0.e0));
#983=vector('',#982,5.5e0);
#984=cartesian_point('',(5.8e1,2.e0,-4.75e1));
#985=line('',#984,#983);
#986=direction('',(0.e0,1.e0,0.e0));
#987=vector('',#986,1.4e0);
#988=cartesian_point('',(5.8e1,6.e-1,-4.75e1));
#989=line('',#988,#987);
#990=direction('',(1.e0,0.e0,0.e0));
#991=vector('',#990,5.5e0);
#992=cartesian_point('',(5.25e1,6.e-1,-4.75e1));
#993=line('',#992,#991);
#994=direction('',(-1.e0,0.e0,0.e0));
#995=vector('',#994,2.078448108388e0);
#996=cartesian_point('',(-2.825066114524e1,1.e0,-5.8e1));
#997=line('',#996,#995);
#998=direction('',(0.e0,-1.e0,0.e0));
#999=vector('',#998,1.e0);
#1000=cartesian_point('',(-2.825066114524e1,2.e0,-5.8e1));
#1001=line('',#1000,#999);
#1002=cartesian_point('',(0.e0,1.e0,0.e0));
#1003=direction('',(0.e0,1.e0,0.e0));
#1004=direction('',(-4.564315974424e-1,0.e0,-8.897585047956e-1));
#1005=axis2_placement_3d('',#1002,#1003,#1004);
#1007=direction('',(2.721444753077e-1,0.e0,9.622564027116e-1));
#1008=vector('',#1007,6.783504354118e0);
#1009=cartesian_point('',(-2.825066114524e1,1.e0,-5.8e1));
#1010=line('',#1009,#1008);
#1011=direction('',(-2.721444753077e-1,0.e0,-9.622564027116e-1));
#1012=vector('',#1011,7.788110532978e0);
#1013=cartesian_point('',(-2.820961799899e1,1.e0,-5.050584077462e1));
#1014=line('',#1013,#1012);
#1015=cartesian_point('',(-2.948752353404e-13,1.999999999953e0,
2.428612866368e-13));
#1016=direction('',(0.e0,1.e0,0.e0));
#1017=direction('',(-3.921405682468e-1,0.e0,-9.199053074828e-1));
#1018=axis2_placement_3d('',#1015,#1016,#1017);
#1020=direction('',(1.e0,-4.473370695397e-12,9.672152854913e-14));
#1021=vector('',#1020,3.526210950974e0);
#1022=cartesian_point('',(-2.825066114524e1,2.e0,-5.8e1));
#1023=line('',#1022,#1021);
#1024=direction('',(-2.721444753077e-1,1.059841893795e-11,-9.622564027116e-1));
#1025=vector('',#1024,1.488339801080e0);
#1026=cartesian_point('',(-2.784561769100e1,1.999999999984e0,
-5.656783549700e1));
#1027=line('',#1026,#1025);
#1028=direction('',(0.e0,-1.e0,0.e0));
#1029=vector('',#1028,4.4e0);
#1030=cartesian_point('',(5.2575e1,5.e0,-5.4775e1));
#1031=line('',#1030,#1029);
#1032=direction('',(0.e0,-1.e0,0.e0));
#1033=vector('',#1032,4.4e0);
#1034=cartesian_point('',(5.2575e1,5.e0,-5.0375e1));
#1035=line('',#1034,#1033);
#1036=cartesian_point('',(4.836771465194e1,5.e0,-4.836771465194e1));
#1037=direction('',(0.e0,-1.e0,0.e0));
#1038=direction('',(-7.071067811865e-1,0.e0,-7.071067811866e-1));
#1039=axis2_placement_3d('',#1036,#1037,#1038);
#1041=direction('',(7.071067811865e-1,-3.735075658584e-12,-7.071067811865e-1));
#1042=vector('',#1041,4.664566256053e0);
#1043=cartesian_point('',(4.418548474451e1,5.000000000017e0,-4.595325169747e1));
#1044=line('',#1043,#1042);
#1045=cartesian_point('',(-1.474376176702e-13,5.000000000052e0,
1.526556658860e-13));
#1046=direction('',(0.e0,-1.e0,0.e0));
#1047=direction('',(3.379141286860e-1,0.e0,-9.411769449123e-1));
#1048=axis2_placement_3d('',#1045,#1046,#1047);
#1050=direction('',(-1.e0,5.721927062459e-13,0.e0));
#1051=vector('',#1050,3.045798515276e1);
#1052=cartesian_point('',(5.2e1,5.e0,-6.e1));
#1053=line('',#1052,#1051);
#1054=cartesian_point('',(5.2e1,5.e0,-5.2e1));
#1055=direction('',(0.e0,1.e0,0.e0));
#1056=direction('',(1.e0,0.e0,0.e0));
#1057=axis2_placement_3d('',#1054,#1055,#1056);
#1059=direction('',(-1.493031625715e-14,-5.721635454719e-13,-1.e0));
#1060=vector('',#1059,3.045798515276e1);
#1061=cartesian_point('',(6.e1,5.000000000017e0,-2.154201484724e1));
#1062=line('',#1061,#1060);
#1063=cartesian_point('',(-1.474376176702e-13,5.000000000052e0,
1.526556658860e-13));
#1064=direction('',(0.e0,-1.e0,0.e0));
#1065=direction('',(7.208356840235e-1,0.e0,-6.931059923550e-1));
#1066=axis2_placement_3d('',#1063,#1064,#1065);
#1068=direction('',(-7.071067811865e-1,3.735075658584e-12,7.071067811865e-1));
#1069=vector('',#1068,4.664566256053e0);
#1070=cartesian_point('',(4.925159812842e1,5.e0,-4.748383117546e1));
#1071=line('',#1070,#1069);
#1072=cartesian_point('',(4.836771465194e1,5.e0,-4.836771465194e1));
#1073=direction('',(0.e0,-1.e0,0.e0));
#1074=direction('',(1.e0,0.e0,0.e0));
#1075=axis2_placement_3d('',#1072,#1073,#1074);
#1077=cartesian_point('',(5.2575e1,5.e0,-5.2575e1));
#1078=direction('',(0.e0,-1.e0,0.e0));
#1079=direction('',(0.e0,0.e0,1.e0));
#1080=axis2_placement_3d('',#1077,#1078,#1079);
#1082=cartesian_point('',(5.2575e1,5.e0,-5.2575e1));
#1083=direction('',(0.e0,-1.e0,0.e0));
#1084=direction('',(0.e0,0.e0,-1.e0));
#1085=axis2_placement_3d('',#1082,#1083,#1084);
#1087=direction('',(0.e0,1.e0,0.e0));
#1088=vector('',#1087,2.7e1);
#1089=cartesian_point('',(4.748383117546e1,5.e0,-4.925159812842e1));
#1090=line('',#1089,#1088);
#1091=direction('',(1.e0,1.489504547005e-13,1.521729404993e-14));
#1092=vector('',#1091,3.968914075093e1);
#1093=cartesian_point('',(1.231085924907e1,3.199999999999e1,-6.e1));
#1094=line('',#1093,#1092);
#1095=cartesian_point('',(9.947598300641e-14,3.199999999998e1,
-1.006139616067e-13));
#1096=direction('',(0.e0,1.e0,0.e0));
#1097=direction('',(6.925287523642e-1,0.e0,-7.213902738108e-1));
#1098=axis2_placement_3d('',#1095,#1096,#1097);
#1100=direction('',(-7.071067811865e-1,-8.260651973745e-13,7.071067811865e-1));
#1101=vector('',#1100,7.165077293770e0);
#1102=cartesian_point('',(4.748383117546e1,3.2e1,-4.925159812842e1));
#1103=line('',#1102,#1101);
#1104=cartesian_point('',(4.836771465194e1,3.2e1,-4.836771465194e1));
#1105=direction('',(0.e0,1.e0,0.e0));
#1106=direction('',(1.e0,0.e0,0.e0));
#1107=axis2_placement_3d('',#1104,#1105,#1106);
#1109=cartesian_point('',(4.836771465194e1,3.2e1,-4.836771465194e1));
#1110=direction('',(0.e0,1.e0,0.e0));
#1111=direction('',(7.071067811866e-1,0.e0,7.071067811865e-1));
#1112=axis2_placement_3d('',#1109,#1110,#1111);
#1114=direction('',(7.071067811865e-1,8.260651973745e-13,-7.071067811865e-1));
#1115=vector('',#1114,7.165077293770e0);
#1116=cartesian_point('',(4.418512338627e1,3.199999999999e1,-4.241735643331e1));
#1117=line('',#1116,#1115);
#1118=cartesian_point('',(9.947598300641e-14,3.199999999998e1,
-1.006139616067e-13));
#1119=direction('',(0.e0,1.e0,0.e0));
#1120=direction('',(9.795925214527e-1,0.e0,-2.009937608832e-1));
#1121=axis2_placement_3d('',#1118,#1119,#1120);
#1123=direction('',(-5.854182534507e-14,-1.488609412062e-13,1.e0));
#1124=vector('',#1123,3.968914075091e1);
#1125=cartesian_point('',(6.e1,3.2e1,-5.2e1));
#1126=line('',#1125,#1124);
#1127=cartesian_point('',(5.2e1,3.2e1,-5.2e1));
#1128=direction('',(0.e0,-1.e0,0.e0));
#1129=direction('',(0.e0,0.e0,-1.e0));
#1130=axis2_placement_3d('',#1127,#1128,#1129);
#1132=cartesian_point('',(5.2575e1,3.2e1,-5.2575e1));
#1133=direction('',(0.e0,1.e0,0.e0));
#1134=direction('',(0.e0,0.e0,-1.e0));
#1135=axis2_placement_3d('',#1132,#1133,#1134);
#1137=cartesian_point('',(5.2575e1,3.2e1,-5.2575e1));
#1138=direction('',(0.e0,1.e0,0.e0));
#1139=direction('',(0.e0,0.e0,1.e0));
#1140=axis2_placement_3d('',#1137,#1138,#1139);
#1142=direction('',(8.715574274766e-2,9.961946980917e-1,0.e0));
#1143=vector('',#1142,5.106587851243e0);
#1144=cartesian_point('',(-4.345e1,3.2e1,-6.e1));
#1145=line('',#1144,#1143);
#1146=direction('',(1.e0,0.e0,0.e0));
#1147=vector('',#1146,9.400873684483e1);
#1148=cartesian_point('',(-4.200873684483e1,3.8e1,-6.e1));
#1149=line('',#1148,#1147);
#1150=cartesian_point('',(-4.200873684483e1,3.7e1,-6.e1));
#1151=direction('',(0.e0,0.e0,-1.e0));
#1152=direction('',(-9.961946980917e-1,8.715574274773e-2,0.e0));
#1153=axis2_placement_3d('',#1150,#1151,#1152);
#1155=direction('',(1.e0,0.e0,0.e0));
#1156=vector('',#1155,6.95e0);
#1157=cartesian_point('',(-5.2e1,3.2e1,-6.e1));
#1158=line('',#1157,#1156);
#1159=cartesian_point('',(-5.2e1,3.2e1,-5.2e1));
#1160=direction('',(0.e0,-1.e0,0.e0));
#1161=direction('',(-1.e0,0.e0,0.e0));
#1162=axis2_placement_3d('',#1159,#1160,#1161);
#1164=direction('',(2.506377843518e-14,1.489504547005e-13,-1.e0));
#1165=vector('',#1164,3.968914075093e1);
#1166=cartesian_point('',(-6.e1,3.199999999999e1,-1.231085924907e1));
#1167=line('',#1166,#1165);
#1168=cartesian_point('',(9.947598300641e-14,3.199999999998e1,
-1.006139616067e-13));
#1169=direction('',(0.e0,1.e0,0.e0));
#1170=direction('',(-7.213902738108e-1,0.e0,-6.925287523642e-1));
#1171=axis2_placement_3d('',#1168,#1169,#1170);
#1173=direction('',(7.071067811865e-1,-8.250735224677e-13,7.071067811865e-1));
#1174=vector('',#1173,7.165077293770e0);
#1175=cartesian_point('',(-4.925159812842e1,3.2e1,-4.748383117546e1));
#1176=line('',#1175,#1174);
#1177=cartesian_point('',(-4.836771465194e1,3.2e1,-4.836771465194e1));
#1178=direction('',(0.e0,1.e0,0.e0));
#1179=direction('',(0.e0,0.e0,-1.e0));
#1180=axis2_placement_3d('',#1177,#1178,#1179);
#1182=cartesian_point('',(-4.836771465194e1,3.2e1,-4.836771465194e1));
#1183=direction('',(0.e0,1.e0,0.e0));
#1184=direction('',(7.071067811865e-1,0.e0,-7.071067811866e-1));
#1185=axis2_placement_3d('',#1182,#1183,#1184);
#1187=direction('',(-7.071067811865e-1,8.250735224677e-13,-7.071067811865e-1));
#1188=vector('',#1187,7.165077293770e0);
#1189=cartesian_point('',(-4.241735643331e1,3.199999999999e1,
-4.418512338627e1));
#1190=line('',#1189,#1188);
#1191=cartesian_point('',(9.947598300641e-14,3.199999999998e1,
-1.006139616067e-13));
#1192=direction('',(0.e0,1.e0,0.e0));
#1193=direction('',(-2.009937608832e-1,0.e0,-9.795925214527e-1));
#1194=axis2_placement_3d('',#1191,#1192,#1193);
#1196=direction('',(1.e0,-1.897342927701e-13,4.518026454418e-14));
#1197=vector('',#1196,3.113914075092e1);
#1198=cartesian_point('',(-4.345e1,3.2e1,-6.e1));
#1199=line('',#1198,#1197);
#1200=direction('',(0.e0,2.131628207280e-14,-1.e0));
#1201=vector('',#1200,2.e0);
#1202=cartesian_point('',(-4.345e1,3.2e1,-5.8e1));
#1203=line('',#1202,#1201);
#1204=direction('',(0.e0,0.e0,-1.e0));
#1205=vector('',#1204,2.5e0);
#1206=cartesian_point('',(-4.1e1,3.2e1,-5.55e1));
#1207=line('',#1206,#1205);
#1208=direction('',(1.e0,0.e0,0.e0));
#1209=vector('',#1208,6.5e0);
#1210=cartesian_point('',(-4.75e1,3.2e1,-5.55e1));
#1211=line('',#1210,#1209);
#1212=cartesian_point('',(-5.2575e1,3.2e1,-5.2575e1));
#1213=direction('',(0.e0,1.e0,0.e0));
#1214=direction('',(0.e0,0.e0,-1.e0));
#1215=axis2_placement_3d('',#1212,#1213,#1214);
#1217=cartesian_point('',(-5.2575e1,3.2e1,-5.2575e1));
#1218=direction('',(0.e0,1.e0,0.e0));
#1219=direction('',(0.e0,0.e0,1.e0));
#1220=axis2_placement_3d('',#1217,#1218,#1219);
#1222=direction('',(-1.e0,0.e0,0.e0));
#1223=vector('',#1222,5.508736844827e0);
#1224=cartesian_point('',(-4.649126315517e1,3.8e1,-5.8e1));
#1225=line('',#1224,#1223);
#1226=cartesian_point('',(-4.649126315517e1,3.7e1,-5.8e1));
#1227=direction('',(0.e0,0.e0,1.e0));
#1228=direction('',(9.961946980917e-1,8.715574274768e-2,0.e0));
#1229=axis2_placement_3d('',#1226,#1227,#1228);
#1231=direction('',(-8.715574274766e-2,9.961946980917e-1,0.e0));
#1232=vector('',#1231,5.106587851243e0);
#1233=cartesian_point('',(-4.505e1,3.2e1,-5.8e1));
#1234=line('',#1233,#1232);
#1235=direction('',(1.e0,0.e0,0.e0));
#1236=vector('',#1235,2.45e0);
#1237=cartesian_point('',(-4.75e1,3.2e1,-5.8e1));
#1238=line('',#1237,#1236);
#1239=direction('',(0.e0,-1.e0,0.e0));
#1240=vector('',#1239,5.e0);
#1241=cartesian_point('',(-4.75e1,3.7e1,-5.8e1));
#1242=line('',#1241,#1240);
#1243=direction('',(1.e0,0.e0,0.e0));
#1244=vector('',#1243,4.5e0);
#1245=cartesian_point('',(-5.2e1,3.7e1,-5.8e1));
#1246=line('',#1245,#1244);
#1247=direction('',(0.e0,-1.e0,0.e0));
#1248=vector('',#1247,1.e0);
#1249=cartesian_point('',(-5.8e1,3.8e1,-5.2e1));
#1250=line('',#1249,#1248);
#1251=direction('',(0.e0,1.e0,0.e0));
#1252=vector('',#1251,1.e0);
#1253=cartesian_point('',(-5.2e1,3.7e1,-5.8e1));
#1254=line('',#1253,#1252);
#1255=cartesian_point('',(-5.25e1,3.7e1,-5.25e1));
#1256=direction('',(0.e0,1.e0,0.e0));
#1257=direction('',(9.387012963837e-1,0.e0,3.447316001870e-1));
#1258=axis2_placement_3d('',#1255,#1256,#1257);
#1260=direction('',(-7.071067811865e-1,0.e0,-7.071067811865e-1));
#1261=vector('',#1260,3.391841669333e0);
#1262=cartesian_point('',(-4.540809927299e1,3.7e1,-4.837794775397e1));
#1263=line('',#1262,#1261);
#1264=cartesian_point('',(7.460698725481e-14,3.7e1,0.e0));
#1265=direction('',(0.e0,-1.e0,0.e0));
#1266=direction('',(-7.291326948144e-1,0.e0,-6.843723499329e-1));
#1267=axis2_placement_3d('',#1264,#1265,#1266);
#1269=direction('',(7.071067811865e-1,0.e0,7.071067811865e-1));
#1270=vector('',#1269,3.391841669333e0);
#1271=cartesian_point('',(-5.077634199906e1,3.7e1,-4.780649351808e1));
#1272=line('',#1271,#1270);
#1273=cartesian_point('',(-5.25e1,3.7e1,-5.25e1));
#1274=direction('',(0.e0,1.e0,0.e0));
#1275=direction('',(0.e0,0.e0,1.e0));
#1276=axis2_placement_3d('',#1273,#1274,#1275);
#1278=cartesian_point('',(-5.2e1,3.7e1,-5.2e1));
#1279=direction('',(0.e0,1.e0,0.e0));
#1280=direction('',(0.e0,0.e0,-1.e0));
#1281=axis2_placement_3d('',#1278,#1279,#1280);
#1283=cartesian_point('',(-5.2575e1,3.7e1,-5.2575e1));
#1284=direction('',(0.e0,-1.e0,0.e0));
#1285=direction('',(0.e0,0.e0,1.e0));
#1286=axis2_placement_3d('',#1283,#1284,#1285);
#1288=cartesian_point('',(-5.2575e1,3.7e1,-5.2575e1));
#1289=direction('',(0.e0,-1.e0,0.e0));
#1290=direction('',(0.e0,0.e0,-1.e0));
#1291=axis2_placement_3d('',#1288,#1289,#1290);
#1293=direction('',(0.e0,1.e0,0.e0));
#1294=vector('',#1293,5.e-1);
#1295=cartesian_point('',(-4.75e1,3.65e1,-5.25e1));
#1296=line('',#1295,#1294);
#1297=direction('',(0.e0,-1.e0,0.e0));
#1298=vector('',#1297,5.e-1);
#1299=cartesian_point('',(-4.780649351808e1,3.7e1,-5.077634199906e1));
#1300=line('',#1299,#1298);
#1301=direction('',(0.e0,0.e0,1.e0));
#1302=vector('',#1301,5.5e0);
#1303=cartesian_point('',(-4.75e1,3.7e1,-5.8e1));
#1304=line('',#1303,#1302);
#1305=direction('',(0.e0,0.e0,-1.e0));
#1306=vector('',#1305,2.5e0);
#1307=cartesian_point('',(-4.75e1,3.2e1,-5.55e1));
#1308=line('',#1307,#1306);
#1309=direction('',(0.e0,-1.e0,0.e0));
#1310=vector('',#1309,4.5e0);
#1311=cartesian_point('',(-4.75e1,3.65e1,-5.55e1));
#1312=line('',#1311,#1310);
#1313=direction('',(0.e0,0.e0,-1.e0));
#1314=vector('',#1313,3.e0);
#1315=cartesian_point('',(-4.75e1,3.65e1,-5.25e1));
#1316=line('',#1315,#1314);
#1317=direction('',(1.e0,0.e0,0.e0));
#1318=vector('',#1317,6.5e0);
#1319=cartesian_point('',(-4.75e1,3.65e1,-5.55e1));
#1320=line('',#1319,#1318);
#1321=cartesian_point('',(-3.409796620756e1,3.65e1,-5.75e1));
#1322=direction('',(0.e0,1.e0,0.e0));
#1323=direction('',(5.100668778985e-1,0.e0,8.601347452992e-1));
#1324=axis2_placement_3d('',#1321,#1322,#1323);
#1326=cartesian_point('',(7.460698725481e-14,3.65e1,0.e0));
#1327=direction('',(0.e0,-1.e0,0.e0));
#1328=direction('',(-6.843723499329e-1,0.e0,-7.291326948144e-1));
#1329=axis2_placement_3d('',#1326,#1327,#1328);
#1331=direction('',(7.071067811865e-1,0.e0,7.071067811865e-1));
#1332=vector('',#1331,3.391841669333e0);
#1333=cartesian_point('',(-4.780649351808e1,3.65e1,-5.077634199906e1));
#1334=line('',#1333,#1332);
#1335=cartesian_point('',(-5.25e1,3.65e1,-5.25e1));
#1336=direction('',(0.e0,-1.e0,0.e0));
#1337=direction('',(1.e0,0.e0,0.e0));
#1338=axis2_placement_3d('',#1335,#1336,#1337);
#1340=direction('',(0.e0,0.e0,-1.e0));
#1341=vector('',#1340,2.5e0);
#1342=cartesian_point('',(-4.1e1,3.65e1,-5.55e1));
#1343=line('',#1342,#1341);
#1344=direction('',(0.e0,1.e0,0.e0));
#1345=vector('',#1344,4.5e0);
#1346=cartesian_point('',(-4.1e1,3.2e1,-5.55e1));
#1347=line('',#1346,#1345);
#1348=direction('',(1.e0,0.e0,0.e0));
#1349=vector('',#1348,2.45e0);
#1350=cartesian_point('',(-4.345e1,3.2e1,-5.8e1));
#1351=line('',#1350,#1349);
#1352=direction('',(-8.715574274766e-2,-9.961946980917e-1,0.e0));
#1353=vector('',#1352,5.106587851243e0);
#1354=cartesian_point('',(-4.300493154292e1,3.708715574275e1,-5.8e1));
#1355=line('',#1354,#1353);
#1356=cartesian_point('',(-4.200873684483e1,3.7e1,-5.8e1));
#1357=direction('',(0.e0,0.e0,1.e0));
#1358=direction('',(0.e0,1.e0,0.e0));
#1359=axis2_placement_3d('',#1356,#1357,#1358);
#1361=direction('',(-1.e0,0.e0,0.e0));
#1362=vector('',#1361,7.910770637268e0);
#1363=cartesian_point('',(-3.409796620756e1,3.8e1,-5.8e1));
#1364=line('',#1363,#1362);
#1365=direction('',(1.e0,0.e0,0.e0));
#1366=vector('',#1365,6.902033792441e0);
#1367=cartesian_point('',(-4.1e1,3.65e1,-5.8e1));
#1368=line('',#1367,#1366);
#1369=direction('',(0.e0,1.e0,0.e0));
#1370=vector('',#1369,4.5e0);
#1371=cartesian_point('',(-4.1e1,3.2e1,-5.8e1));
#1372=line('',#1371,#1370);
#1373=direction('',(0.e0,0.e0,1.e0));
#1374=vector('',#1373,2.e0);
#1375=cartesian_point('',(-4.300493154292e1,3.708715574275e1,-6.e1));
#1376=line('',#1375,#1374);
#1377=direction('',(0.e0,0.e0,-1.e0));
#1378=vector('',#1377,2.e0);
#1379=cartesian_point('',(-4.200873684483e1,3.8e1,-5.8e1));
#1380=line('',#1379,#1378);
#1381=cartesian_point('',(-5.2e1,3.8e1,-5.2e1));
#1382=direction('',(0.e0,-1.e0,0.e0));
#1383=direction('',(-1.e0,0.e0,0.e0));
#1384=axis2_placement_3d('',#1381,#1382,#1383);
#1386=cartesian_point('',(-5.75e1,3.8e1,-3.409796620756e1));
#1387=direction('',(0.e0,-1.e0,0.e0));
#1388=direction('',(-1.421085471520e-14,0.e0,1.e0));
#1389=axis2_placement_3d('',#1386,#1387,#1388);
#1391=cartesian_point('',(-5.75e1,3.8e1,-3.409796620756e1));
#1392=direction('',(0.e0,-1.e0,0.e0));
#1393=direction('',(8.601347452992e-1,0.e0,5.100668778985e-1));
#1394=axis2_placement_3d('',#1391,#1392,#1393);
#1396=cartesian_point('',(7.460698725481e-14,3.8e1,0.e0));
#1397=direction('',(0.e0,1.e0,0.e0));
#1398=direction('',(-5.100668778984e-1,0.e0,-8.601347452992e-1));
#1399=axis2_placement_3d('',#1396,#1397,#1398);
#1401=cartesian_point('',(-3.409796620756e1,3.8e1,-5.75e1));
#1402=direction('',(0.e0,-1.e0,0.e0));
#1403=direction('',(0.e0,0.e0,-1.e0));
#1404=axis2_placement_3d('',#1401,#1402,#1403);
#1406=cartesian_point('',(5.2e1,3.8e1,-5.2e1));
#1407=direction('',(0.e0,1.e0,0.e0));
#1408=direction('',(1.e0,0.e0,0.e0));
#1409=axis2_placement_3d('',#1406,#1407,#1408);
#1411=cartesian_point('',(5.2e1,3.8e1,5.2e1));
#1412=direction('',(0.e0,1.e0,0.e0));
#1413=direction('',(0.e0,0.e0,1.e0));
#1414=axis2_placement_3d('',#1411,#1412,#1413);
#1416=cartesian_point('',(-5.2e1,3.8e1,5.2e1));
#1417=direction('',(0.e0,1.e0,0.e0));
#1418=direction('',(-1.e0,0.e0,0.e0));
#1419=axis2_placement_3d('',#1416,#1417,#1418);
#1421=cartesian_point('',(-5.2e1,3.8e1,-5.2e1));
#1422=direction('',(0.e0,1.e0,0.e0));
#1423=direction('',(0.e0,0.e0,-1.e0));
#1424=axis2_placement_3d('',#1421,#1422,#1423);
#1426=cartesian_point('',(5.75e1,3.8e1,3.409796620756e1));
#1427=direction('',(0.e0,-1.e0,0.e0));
#1428=direction('',(-8.601347452990e-1,0.e0,-5.100668778988e-1));
#1429=axis2_placement_3d('',#1426,#1427,#1428);
#1431=cartesian_point('',(-7.460698725481e-14,3.8e1,0.e0));
#1432=direction('',(0.e0,1.e0,0.e0));
#1433=direction('',(5.100668778984e-1,0.e0,8.601347452992e-1));
#1434=axis2_placement_3d('',#1431,#1432,#1433);
#1436=cartesian_point('',(3.409796620756e1,3.8e1,5.75e1));
#1437=direction('',(0.e0,-1.e0,0.e0));
#1438=direction('',(-5.684341886081e-14,0.e0,1.e0));
#1439=axis2_placement_3d('',#1436,#1437,#1438);
#1441=cartesian_point('',(5.2e1,3.8e1,5.2e1));
#1442=direction('',(0.e0,-1.e0,0.e0));
#1443=direction('',(1.e0,0.e0,1.065814103640e-14));
#1444=axis2_placement_3d('',#1441,#1442,#1443);
#1446=cartesian_point('',(5.75e1,3.8e1,3.409796620756e1));
#1447=direction('',(0.e0,-1.e0,0.e0));
#1448=direction('',(0.e0,0.e0,-1.e0));
#1449=axis2_placement_3d('',#1446,#1447,#1448);
#1451=cartesian_point('',(3.409796620756e1,3.8e1,-5.75e1));
#1452=direction('',(0.e0,-1.e0,0.e0));
#1453=direction('',(-5.100668778986e-1,0.e0,8.601347452991e-1));
#1454=axis2_placement_3d('',#1451,#1452,#1453);
#1456=cartesian_point('',(-7.460698725481e-14,3.8e1,0.e0));
#1457=direction('',(0.e0,1.e0,0.e0));
#1458=direction('',(8.601347452992e-1,0.e0,-5.100668778984e-1));
#1459=axis2_placement_3d('',#1456,#1457,#1458);
#1461=cartesian_point('',(5.75e1,3.8e1,-3.409796620756e1));
#1462=direction('',(0.e0,-1.e0,0.e0));
#1463=direction('',(0.e0,0.e0,1.e0));
#1464=axis2_placement_3d('',#1461,#1462,#1463);
#1466=cartesian_point('',(5.75e1,3.8e1,-3.409796620756e1));
#1467=direction('',(0.e0,-1.e0,0.e0));
#1468=direction('',(1.e0,0.e0,7.105427357601e-14));
#1469=axis2_placement_3d('',#1466,#1467,#1468);
#1471=cartesian_point('',(5.2e1,3.8e1,-5.2e1));
#1472=direction('',(0.e0,-1.e0,0.e0));
#1473=direction('',(1.065814103640e-14,0.e0,-1.e0));
#1474=axis2_placement_3d('',#1471,#1472,#1473);
#1476=cartesian_point('',(-3.409796620756e1,3.8e1,5.75e1));
#1477=direction('',(0.e0,-1.e0,0.e0));
#1478=direction('',(5.100668778985e-1,0.e0,-8.601347452992e-1));
#1479=axis2_placement_3d('',#1476,#1477,#1478);
#1481=cartesian_point('',(7.460698725481e-14,3.8e1,0.e0));
#1482=direction('',(0.e0,1.e0,0.e0));
#1483=direction('',(-8.601347452992e-1,0.e0,5.100668778984e-1));
#1484=axis2_placement_3d('',#1481,#1482,#1483);
#1486=cartesian_point('',(-5.75e1,3.8e1,3.409796620756e1));
#1487=direction('',(0.e0,-1.e0,0.e0));
#1488=direction('',(0.e0,0.e0,-1.e0));
#1489=axis2_placement_3d('',#1486,#1487,#1488);
#1491=cartesian_point('',(-5.75e1,3.8e1,3.409796620756e1));
#1492=direction('',(0.e0,-1.e0,0.e0));
#1493=direction('',(-1.e0,0.e0,1.421085471520e-14));
#1494=axis2_placement_3d('',#1491,#1492,#1493);
#1496=cartesian_point('',(-5.2e1,3.8e1,5.2e1));
#1497=direction('',(0.e0,-1.e0,0.e0));
#1498=direction('',(0.e0,0.e0,1.e0));
#1499=axis2_placement_3d('',#1496,#1497,#1498);
#1501=direction('',(-1.e0,6.797406853974e-13,-4.129682768962e-14));
#1502=vector('',#1501,5.574661766190e1);
#1503=cartesian_point('',(2.787330881656e1,3.799999999998e1,5.8e1));
#1504=line('',#1503,#1502);
#1505=cartesian_point('',(7.460698725481e-14,3.799999999995e1,0.e0));
#1506=direction('',(0.e0,-1.e0,0.e0));
#1507=direction('',(9.013210270879e-1,0.e0,4.331517126010e-1));
#1508=axis2_placement_3d('',#1505,#1506,#1507);
#1510=cartesian_point('',(7.460698725481e-14,3.799999999995e1,0.e0));
#1511=direction('',(0.e0,-1.e0,0.e0));
#1512=direction('',(4.331517126009e-1,0.e0,-9.013210270879e-1));
#1513=axis2_placement_3d('',#1510,#1511,#1512);
#1515=cartesian_point('',(7.460698725481e-14,3.799999999995e1,0.e0));
#1516=direction('',(0.e0,-1.e0,0.e0));
#1517=direction('',(-9.013210270879e-1,0.e0,-4.331517126009e-1));
#1518=axis2_placement_3d('',#1515,#1516,#1517);
#1520=cartesian_point('',(2.255973186038e-13,3.800000000007e1,
-1.457167719821e-13));
#1521=direction('',(0.e0,-1.e0,0.e0));
#1522=direction('',(-4.331517129652e-1,0.e0,9.013210269129e-1));
#1523=axis2_placement_3d('',#1520,#1521,#1522);
#1525=direction('',(0.e0,0.e0,-1.e0));
#1526=vector('',#1525,1.340203379244e1);
#1527=cartesian_point('',(-5.8e1,3.65e1,-3.409796620756e1));
#1528=line('',#1527,#1526);
#1529=direction('',(0.e0,0.e0,1.e0));
#1530=vector('',#1529,1.790203379244e1);
#1531=cartesian_point('',(-5.8e1,3.8e1,-5.2e1));
#1532=line('',#1531,#1530);
#1533=direction('',(0.e0,0.e0,-1.e0));
#1534=vector('',#1533,4.5e0);
#1535=cartesian_point('',(-5.8e1,3.7e1,-4.75e1));
#1536=line('',#1535,#1534);
#1537=cartesian_point('',(7.460698725481e-14,3.65e1,0.e0));
#1538=direction('',(0.e0,-1.e0,0.e0));
#1539=direction('',(-8.601347452992e-1,0.e0,-5.100668778984e-1));
#1540=axis2_placement_3d('',#1537,#1538,#1539);
#1542=cartesian_point('',(-5.75e1,3.65e1,-3.409796620756e1));
#1543=direction('',(0.e0,1.e0,0.e0));
#1544=direction('',(0.e0,0.e0,1.e0));
#1545=axis2_placement_3d('',#1542,#1543,#1544);
#1547=cartesian_point('',(-5.75e1,3.65e1,-3.409796620756e1));
#1548=direction('',(0.e0,1.e0,0.e0));
#1549=direction('',(-1.e0,0.e0,0.e0));
#1550=axis2_placement_3d('',#1547,#1548,#1549);
#1552=cartesian_point('',(-5.25e1,3.65e1,-5.25e1));
#1553=direction('',(0.e0,-1.e0,0.e0));
#1554=direction('',(3.447316001870e-1,0.e0,9.387012963837e-1));
#1555=axis2_placement_3d('',#1552,#1553,#1554);
#1557=direction('',(-7.071067811865e-1,0.e0,-7.071067811865e-1));
#1558=vector('',#1557,3.391841669333e0);
#1559=cartesian_point('',(-4.837794775397e1,3.65e1,-4.540809927299e1));
#1560=line('',#1559,#1558);
#1561=direction('',(0.e0,-1.e0,0.e0));
#1562=vector('',#1561,5.e-1);
#1563=cartesian_point('',(-4.837794775397e1,3.7e1,-4.540809927299e1));
#1564=line('',#1563,#1562);
#1565=direction('',(0.e0,1.e0,0.e0));
#1566=vector('',#1565,5.e-1);
#1567=cartesian_point('',(-4.540809927299e1,3.65e1,-4.837794775397e1));
#1568=line('',#1567,#1566);
#1569=direction('',(1.421085471520e-14,-1.e0,0.e0));
#1570=vector('',#1569,1.5e0);
#1571=cartesian_point('',(-5.706993262735e1,3.8e1,-3.384293276861e1));
#1572=line('',#1571,#1570);
#1573=direction('',(0.e0,-1.e0,0.e0));
#1574=vector('',#1573,1.5e0);
#1575=cartesian_point('',(-5.75e1,3.8e1,-3.359796620756e1));
#1576=line('',#1575,#1574);
#1577=direction('',(0.e0,1.e0,0.e0));
#1578=vector('',#1577,1.5e0);
#1579=cartesian_point('',(-5.8e1,3.65e1,-3.409796620756e1));
#1580=line('',#1579,#1578);
#1581=direction('',(0.e0,1.e0,0.e0));
#1582=vector('',#1581,5.e-1);
#1583=cartesian_point('',(-5.077634199906e1,3.65e1,-4.780649351808e1));
#1584=line('',#1583,#1582);
#1585=direction('',(0.e0,-1.e0,0.e0));
#1586=vector('',#1585,5.e-1);
#1587=cartesian_point('',(-5.25e1,3.7e1,-4.75e1));
#1588=line('',#1587,#1586);
#1589=direction('',(1.e0,0.e0,0.e0));
#1590=vector('',#1589,5.5e0);
#1591=cartesian_point('',(-5.8e1,3.65e1,-4.75e1));
#1592=line('',#1591,#1590);
#1593=direction('',(0.e0,-1.e0,0.e0));
#1594=vector('',#1593,5.e-1);
#1595=cartesian_point('',(-5.8e1,3.7e1,-4.75e1));
#1596=line('',#1595,#1594);
#1597=direction('',(-1.e0,0.e0,0.e0));
#1598=vector('',#1597,5.5e0);
#1599=cartesian_point('',(-5.25e1,3.7e1,-4.75e1));
#1600=line('',#1599,#1598);
#1601=direction('',(0.e0,-1.e0,0.e0));
#1602=vector('',#1601,1.5e0);
#1603=cartesian_point('',(-3.409796620756e1,3.8e1,-5.8e1));
#1604=line('',#1603,#1602);
#1605=direction('',(0.e0,1.e0,0.e0));
#1606=vector('',#1605,1.5e0);
#1607=cartesian_point('',(-3.384293276861e1,3.65e1,-5.706993262735e1));
#1608=line('',#1607,#1606);
#1609=direction('',(0.e0,-1.e0,0.e0));
#1610=vector('',#1609,6.e0);
#1611=cartesian_point('',(6.e1,3.8e1,-5.2e1));
#1612=line('',#1611,#1610);
#1613=direction('',(0.e0,1.e0,0.e0));
#1614=vector('',#1613,6.e0);
#1615=cartesian_point('',(5.2e1,3.2e1,-6.e1));
#1616=line('',#1615,#1614);
#1617=direction('',(0.e0,0.e0,1.e0));
#1618=vector('',#1617,1.04e2);
#1619=cartesian_point('',(6.e1,3.8e1,-5.2e1));
#1620=line('',#1619,#1618);
#1621=cartesian_point('',(9.947598300641e-14,3.000004141472e1,
-1.006139616067e-13));
#1622=direction('',(0.e0,1.e0,0.e0));
#1623=direction('',(7.218672668141e-1,0.e0,6.920315376501e-1));
#1624=axis2_placement_3d('',#1621,#1622,#1623);
#1626=cartesian_point('',(4.418512338627e1,3.199999999999e1,4.241735643331e1));
#1627=cartesian_point('',(4.402795881171e1,3.177778186246e1,4.226019185874e1));
#1628=cartesian_point('',(4.371362918128e1,3.133334591539e1,4.194586222832e1));
#1629=cartesian_point('',(4.324213325739e1,3.066669302730e1,4.147436630442e1));
#1630=cartesian_point('',(4.292780163116e1,3.022225849197e1,4.116003467820e1));
#1631=cartesian_point('',(4.277063555873e1,3.000004141473e1,4.100286860576e1));
#1633=cartesian_point('',(6.e1,3.199999999999e1,-1.231085924909e1));
#1634=cartesian_point('',(6.e1,3.159068962226e1,-1.027442742235e1));
#1635=cartesian_point('',(6.e1,3.096508347227e1,-6.191984057062e0));
#1636=cartesian_point('',(6.e1,3.064338577193e1,-1.660934222888e-2));
#1637=cartesian_point('',(6.e1,3.096243393399e1,6.169240443813e0));
#1638=cartesian_point('',(6.e1,3.158888428505e1,1.026544537264e1));
#1639=cartesian_point('',(6.e1,3.199999999999e1,1.231085924907e1));
#1641=cartesian_point('',(4.277063555873e1,3.000004141474e1,-4.100286860576e1));
#1642=cartesian_point('',(4.292780163115e1,3.022225849197e1,-4.116003467819e1));
#1643=cartesian_point('',(4.324213325738e1,3.066669302728e1,-4.147436630441e1));
#1644=cartesian_point('',(4.371362918127e1,3.133334591537e1,-4.194586222830e1));
#1645=cartesian_point('',(4.402795881170e1,3.177778186245e1,-4.226019185874e1));
#1646=cartesian_point('',(4.418512338627e1,3.199999999999e1,-4.241735643331e1));
#1648=direction('',(1.168221313418e-12,-1.e0,1.166751236262e-12));
#1649=vector('',#1648,1.450011108850e1);
#1650=cartesian_point('',(4.277063555873e1,3.000004141473e1,4.100286860576e1));
#1651=line('',#1650,#1649);
#1652=direction('',(-1.161360953355e-12,1.e0,1.162341004793e-12));
#1653=vector('',#1652,1.450011108851e1);
#1654=cartesian_point('',(4.277063555874e1,1.549993032622e1,-4.100286860578e1));
#1655=line('',#1654,#1653);
#1656=cartesian_point('',(6.e1,5.000000000017e0,2.154201484724e1));
#1657=cartesian_point('',(6.e1,6.212682074128e0,2.000398910974e1));
#1658=cartesian_point('',(6.e1,8.367704935376e0,1.697650761668e1));
#1659=cartesian_point('',(6.e1,1.078859695195e1,1.263706153203e1));
#1660=cartesian_point('',(6.e1,1.249645860902e1,8.407345478424e0));
#1661=cartesian_point('',(6.e1,1.353379669163e1,4.127517882116e0));
#1662=cartesian_point('',(6.e1,1.386416204773e1,-2.654419414628e-2));
#1663=cartesian_point('',(6.e1,1.350900371640e1,-4.285230813160e0));
#1664=cartesian_point('',(6.e1,1.247285410084e1,-8.469710336834e0));
#1665=cartesian_point('',(6.e1,1.074971486418e1,-1.271990369249e1));
#1666=cartesian_point('',(6.e1,8.329188220955e0,-1.703299666431e1));
#1667=cartesian_point('',(6.e1,6.195693208355e0,-2.002553582290e1));
#1668=cartesian_point('',(6.e1,5.000000000017e0,-2.154201484724e1));
#1670=cartesian_point('',(4.277063555874e1,1.549993032623e1,4.100286860578e1));
#1671=cartesian_point('',(4.312426515945e1,1.433327130906e1,4.135649820648e1));
#1672=cartesian_point('',(4.383152039711e1,1.199995319054e1,4.206375344414e1));
#1673=cartesian_point('',(4.489239211305e1,8.499976214783e0,4.312462516008e1));
#1674=cartesian_point('',(4.559963293583e1,6.166658632146e0,4.383186598286e1));
#1675=cartesian_point('',(4.595325169747e1,5.000000000017e0,4.418548474451e1));
#1677=cartesian_point('',(-1.474376176702e-13,1.549993032619e1,
1.526556658860e-13));
#1678=direction('',(0.e0,-1.e0,0.e0));
#1679=direction('',(7.218672668141e-1,0.e0,-6.920315376501e-1));
#1680=axis2_placement_3d('',#1677,#1678,#1679);
#1682=cartesian_point('',(4.595325169747e1,5.000000000017e0,-4.418548474451e1));
#1683=cartesian_point('',(4.559963293582e1,6.166658632151e0,-4.383186598286e1));
#1684=cartesian_point('',(4.489239211304e1,8.499976214794e0,-4.312462516008e1));
#1685=cartesian_point('',(4.383152039711e1,1.199995319056e1,-4.206375344414e1));
#1686=cartesian_point('',(4.312426515945e1,1.433327130907e1,-4.135649820648e1));
#1687=cartesian_point('',(4.277063555874e1,1.549993032622e1,-4.100286860578e1));
#1689=cartesian_point('',(4.836771465194e1,5.e0,4.836771465194e1));
#1690=direction('',(0.e0,-1.e0,0.e0));
#1691=direction('',(7.071067811865e-1,0.e0,-7.071067811865e-1));
#1692=axis2_placement_3d('',#1689,#1690,#1691);
#1694=direction('',(7.071067811865e-1,-3.735075658584e-12,7.071067811865e-1));
#1695=vector('',#1694,4.664566256053e0);
#1696=cartesian_point('',(4.595325169747e1,5.000000000017e0,4.418548474451e1));
#1697=line('',#1696,#1695);
#1698=cartesian_point('',(-1.474376176702e-13,5.000000000052e0,
1.526556658860e-13));
#1699=direction('',(0.e0,-1.e0,0.e0));
#1700=direction('',(9.411769449123e-1,0.e0,3.379141286860e-1));
#1701=axis2_placement_3d('',#1698,#1699,#1700);
#1703=direction('',(0.e0,5.721343846980e-13,-1.e0));
#1704=vector('',#1703,3.045798515276e1);
#1705=cartesian_point('',(6.e1,5.e0,5.2e1));
#1706=line('',#1705,#1704);
#1707=cartesian_point('',(5.2e1,5.e0,5.2e1));
#1708=direction('',(0.e0,1.e0,0.e0));
#1709=direction('',(0.e0,0.e0,1.e0));
#1710=axis2_placement_3d('',#1707,#1708,#1709);
#1712=direction('',(1.e0,-5.721635454719e-13,-1.516360244867e-14));
#1713=vector('',#1712,3.045798515276e1);
#1714=cartesian_point('',(2.154201484724e1,5.000000000017e0,6.e1));
#1715=line('',#1714,#1713);
#1716=cartesian_point('',(-1.474376176702e-13,5.000000000052e0,
1.526556658860e-13));
#1717=direction('',(0.e0,-1.e0,0.e0));
#1718=direction('',(6.931059923550e-1,0.e0,7.208356840235e-1));
#1719=axis2_placement_3d('',#1716,#1717,#1718);
#1721=direction('',(-7.071067811865e-1,3.735075658584e-12,-7.071067811865e-1));
#1722=vector('',#1721,4.664566256053e0);
#1723=cartesian_point('',(4.748383117546e1,5.e0,4.925159812842e1));
#1724=line('',#1723,#1722);
#1725=cartesian_point('',(4.836771465194e1,5.e0,4.836771465194e1));
#1726=direction('',(0.e0,-1.e0,0.e0));
#1727=direction('',(0.e0,0.e0,1.e0));
#1728=axis2_placement_3d('',#1725,#1726,#1727);
#1730=cartesian_point('',(5.2575e1,5.e0,5.2575e1));
#1731=direction('',(0.e0,-1.e0,0.e0));
#1732=direction('',(0.e0,0.e0,1.e0));
#1733=axis2_placement_3d('',#1730,#1731,#1732);
#1735=cartesian_point('',(5.2575e1,5.e0,5.2575e1));
#1736=direction('',(0.e0,-1.e0,0.e0));
#1737=direction('',(0.e0,0.e0,-1.e0));
#1738=axis2_placement_3d('',#1735,#1736,#1737);
#1740=direction('',(0.e0,1.e0,0.e0));
#1741=vector('',#1740,2.7e1);
#1742=cartesian_point('',(4.925159812842e1,5.e0,4.748383117546e1));
#1743=line('',#1742,#1741);
#1744=direction('',(0.e0,-1.e0,0.e0));
#1745=vector('',#1744,2.7e1);
#1746=cartesian_point('',(4.748383117546e1,3.2e1,4.925159812842e1));
#1747=line('',#1746,#1745);
#1748=direction('',(-2.524280542401e-14,1.489504547005e-13,1.e0));
#1749=vector('',#1748,3.968914075093e1);
#1750=cartesian_point('',(6.e1,3.199999999999e1,1.231085924907e1));
#1751=line('',#1750,#1749);
#1752=cartesian_point('',(9.947598300641e-14,3.199999999998e1,
-1.006139616067e-13));
#1753=direction('',(0.e0,1.e0,0.e0));
#1754=direction('',(7.213902738108e-1,0.e0,6.925287523642e-1));
#1755=axis2_placement_3d('',#1752,#1753,#1754);
#1757=direction('',(-7.071067811865e-1,-8.250735224677e-13,-7.071067811865e-1));
#1758=vector('',#1757,7.165077293770e0);
#1759=cartesian_point('',(4.925159812842e1,3.2e1,4.748383117546e1));
#1760=line('',#1759,#1758);
#1761=cartesian_point('',(4.836771465194e1,3.2e1,4.836771465194e1));
#1762=direction('',(0.e0,1.e0,0.e0));
#1763=direction('',(0.e0,0.e0,1.e0));
#1764=axis2_placement_3d('',#1761,#1762,#1763);
#1766=cartesian_point('',(4.836771465194e1,3.2e1,4.836771465194e1));
#1767=direction('',(0.e0,1.e0,0.e0));
#1768=direction('',(-7.071067811865e-1,0.e0,7.071067811866e-1));
#1769=axis2_placement_3d('',#1766,#1767,#1768);
#1771=direction('',(7.071067811865e-1,8.250735224677e-13,7.071067811865e-1));
#1772=vector('',#1771,7.165077293770e0);
#1773=cartesian_point('',(4.241735643331e1,3.199999999999e1,4.418512338627e1));
#1774=line('',#1773,#1772);
#1775=cartesian_point('',(9.947598300641e-14,3.199999999998e1,
-1.006139616067e-13));
#1776=direction('',(0.e0,1.e0,0.e0));
#1777=direction('',(2.009937608832e-1,0.e0,9.795925214527e-1));
#1778=axis2_placement_3d('',#1775,#1776,#1777);
#1780=direction('',(-1.e0,-1.488609412061e-13,-3.544734378691e-14));
#1781=vector('',#1780,3.968914075092e1);
#1782=cartesian_point('',(5.2e1,3.2e1,6.e1));
#1783=line('',#1782,#1781);
#1784=cartesian_point('',(5.2e1,3.2e1,5.2e1));
#1785=direction('',(0.e0,-1.e0,0.e0));
#1786=direction('',(1.e0,0.e0,0.e0));
#1787=axis2_placement_3d('',#1784,#1785,#1786);
#1789=cartesian_point('',(5.2575e1,3.2e1,5.2575e1));
#1790=direction('',(0.e0,1.e0,0.e0));
#1791=direction('',(0.e0,0.e0,-1.e0));
#1792=axis2_placement_3d('',#1789,#1790,#1791);
#1794=cartesian_point('',(5.2575e1,3.2e1,5.2575e1));
#1795=direction('',(0.e0,1.e0,0.e0));
#1796=direction('',(0.e0,0.e0,1.e0));
#1797=axis2_placement_3d('',#1794,#1795,#1796);
#1799=cartesian_point('',(-1.410991420137e-13,1.374992944357e1,
6.000000000015e1));
#1800=cartesian_point('',(1.235290077125e0,1.374992944357e1,6.000000000015e1));
#1801=cartesian_point('',(3.807857064810e0,1.357246801879e1,5.999999999993e1));
#1802=cartesian_point('',(7.993650506593e0,1.263236403884e1,6.000000000002e1));
#1803=cartesian_point('',(1.244683659685e1,1.089327038851e1,6.e1));
#1804=cartesian_point('',(1.696385989761e1,8.380759850943e0,6.e1));
#1805=cartesian_point('',(2.000856717076e1,6.209072425477e0,6.e1));
#1806=cartesian_point('',(2.154201484724e1,5.000000000017e0,6.e1));
#1808=cartesian_point('',(-2.154201484724e1,5.000000000017e0,6.e1));
#1809=cartesian_point('',(-2.000669632061e1,6.210547528519e0,6.e1));
#1810=cartesian_point('',(-1.696216295165e1,8.381243410695e0,6.e1));
#1811=cartesian_point('',(-1.247260397177e1,1.087863664510e1,6.e1));
#1812=cartesian_point('',(-8.045978853498e0,1.261753093613e1,6.000000000002e1));
#1813=cartesian_point('',(-3.787469057269e0,1.357866278014e1,5.999999999993e1));
#1814=cartesian_point('',(-1.225640195221e0,1.374992944357e1,6.000000000015e1));
#1815=cartesian_point('',(-1.410991420137e-13,1.374992944357e1,
6.000000000015e1));
#1817=cartesian_point('',(-4.100286860578e