-尊龙人生就是博
iso-10303-21;
header;
file_description((''),'2;1');
file_name('asm0001_asm','2019-04-15t',('administrator'),(''),
'pro/engineer by parametric technology corporation, 2009440',
'pro/engineer by parametric technology corporation, 2009440','');
file_schema(('config_control_design'));
endsec;
data;
#1=cartesian_point('',(0.e0,0.e0,-1.251112037271e1));
#2=direction('',(0.e0,0.e0,1.e0));
#3=direction('',(1.e0,0.e0,0.e0));
#4=axis2_placement_3d('',#1,#2,#3);
#6=cartesian_point('',(0.e0,0.e0,-1.251112037271e1));
#7=direction('',(0.e0,0.e0,1.e0));
#8=direction('',(-1.e0,0.e0,0.e0));
#9=axis2_placement_3d('',#6,#7,#8);
#11=cartesian_point('',(0.e0,0.e0,-1.251112037271e1));
#12=direction('',(0.e0,0.e0,-1.e0));
#13=direction('',(1.e0,0.e0,0.e0));
#14=axis2_placement_3d('',#11,#12,#13);
#16=cartesian_point('',(0.e0,0.e0,-1.251112037271e1));
#17=direction('',(0.e0,0.e0,-1.e0));
#18=direction('',(-1.e0,0.e0,0.e0));
#19=axis2_placement_3d('',#16,#17,#18);
#21=cartesian_point('',(-5.039464538998e1,0.e0,-1.052870544271e1));
#22=direction('',(0.e0,-1.e0,0.e0));
#23=direction('',(-6.755891718730e-1,0.e0,-7.372782858920e-1));
#24=axis2_placement_3d('',#21,#22,#23);
#26=cartesian_point('',(0.e0,0.e0,-1.199029692423e1));
#27=direction('',(0.e0,0.e0,1.e0));
#28=direction('',(1.e0,0.e0,0.e0));
#29=axis2_placement_3d('',#26,#27,#28);
#31=cartesian_point('',(0.e0,0.e0,-1.199029692423e1));
#32=direction('',(0.e0,0.e0,1.e0));
#33=direction('',(-1.e0,0.e0,0.e0));
#34=axis2_placement_3d('',#31,#32,#33);
#36=cartesian_point('',(5.039464538998e1,0.e0,-1.052870544271e1));
#37=direction('',(0.e0,1.e0,0.e0));
#38=direction('',(6.755891718730e-1,0.e0,-7.372782858920e-1));
#39=axis2_placement_3d('',#36,#37,#38);
#41=direction('',(-7.372782858892e-1,0.e0,-6.755891718762e-1));
#42=vector('',#41,1.801871145531e1);
#43=cartesian_point('',(6.501874814655e1,0.e0,1.829494261399e-1));
#44=line('',#43,#42);
#45=direction('',(7.372782858892e-1,0.e0,-6.755891718762e-1));
#46=vector('',#45,1.801871145531e1);
#47=cartesian_point('',(-6.501874814655e1,0.e0,1.829494261399e-1));
#48=line('',#47,#46);
#49=cartesian_point('',(-6.729558428554e1,0.e0,-2.301837561353e0));
#50=direction('',(0.e0,1.e0,0.e0));
#51=direction('',(0.e0,0.e0,1.e0));
#52=axis2_placement_3d('',#49,#50,#51);
#54=cartesian_point('',(0.e0,0.e0,1.829494261404e-1));
#55=direction('',(0.e0,0.e0,-1.e0));
#56=direction('',(-1.e0,0.e0,0.e0));
#57=axis2_placement_3d('',#54,#55,#56);
#59=cartesian_point('',(6.729558428554e1,0.e0,-2.301837561353e0));
#60=direction('',(0.e0,-1.e0,0.e0));
#61=direction('',(0.e0,0.e0,1.e0));
#62=axis2_placement_3d('',#59,#60,#61);
#64=cartesian_point('',(0.e0,0.e0,1.829494261404e-1));
#65=direction('',(0.e0,0.e0,-1.e0));
#66=direction('',(1.e0,0.e0,0.e0));
#67=axis2_placement_3d('',#64,#65,#66);
#69=direction('',(9.079100714615e-1,4.191650058613e-1,0.e0));
#70=vector('',#69,1.999999999999e0);
#71=cartesian_point('',(6.295178893181e1,-4.381024448174e1,1.068347771389e0));
#72=line('',#71,#70);
#73=cartesian_point('',(1.629689476931e1,-6.534993172589e1,1.068347771389e0));
#74=direction('',(0.e0,0.e0,-1.e0));
#75=direction('',(9.079100714614e-1,4.191650058615e-1,0.e0));
#76=axis2_placement_3d('',#73,#74,#75);
#78=cartesian_point('',(0.e0,0.e0,1.068347771389e0));
#79=direction('',(0.e0,0.e0,1.e0));
#80=direction('',(5.746241522037e-1,-8.184174263199e-1,0.e0));
#81=axis2_placement_3d('',#78,#79,#80);
#83=cartesian_point('',(4.904285820561e1,-4.616276004232e1,1.068347771389e0));
#84=direction('',(0.e0,0.e0,1.e0));
#85=direction('',(9.999885243053e-1,4.790747084002e-3,0.e0));
#86=axis2_placement_3d('',#83,#84,#85);
#88=direction('',(5.371246936591e-1,8.435028532623e-1,0.e0));
#89=vector('',#88,2.e0);
#90=cartesian_point('',(7.664415542922e1,-2.817568066003e0,1.068347771389e0));
#91=line('',#90,#89);
#92=cartesian_point('',(4.904285820561e1,-4.616276004232e1,1.068347771389e0));
#93=direction('',(0.e0,0.e0,-1.e0));
#94=direction('',(5.371246936588e-1,8.435028532625e-1,0.e0));
#95=axis2_placement_3d('',#92,#93,#94);
#97=cartesian_point('',(0.e0,0.e0,1.068347771389e0));
#98=direction('',(0.e0,0.e0,1.e0));
#99=direction('',(9.258924481550e-1,-3.777872078956e-1,0.e0));
#100=axis2_placement_3d('',#97,#98,#99);
#102=cartesian_point('',(0.e0,0.e0,1.068347771389e0));
#103=direction('',(0.e0,0.e0,1.e0));
#104=direction('',(1.e0,0.e0,0.e0));
#105=axis2_placement_3d('',#102,#103,#104);
#107=cartesian_point('',(6.621553640718e1,-1.231686218199e1,1.068347771389e0));
#108=direction('',(0.e0,0.e0,1.e0));
#109=direction('',(8.386278785066e-1,5.447047653469e-1,0.e0));
#110=axis2_placement_3d('',#107,#108,#109);
#112=cartesian_point('',(6.621553640718e1,-1.231686218199e1,1.068347771389e0));
#113=direction('',(0.e0,0.e0,-1.e0));
#114=direction('',(-4.142549753808e-3,9.999914196040e-1,0.e0));
#115=axis2_placement_3d('',#112,#113,#114);
#117=cartesian_point('',(0.e0,0.e0,1.068347771389e0));
#118=direction('',(0.e0,0.e0,1.e0));
#119=direction('',(9.831487774433e-1,1.828072247254e-1,0.e0));
#120=axis2_placement_3d('',#117,#118,#119);
#122=cartesian_point('',(6.236184149002e1,2.544018635297e1,1.068347771389e0));
#123=direction('',(0.e0,0.e0,1.e0));
#124=direction('',(4.109656419029e-1,9.116508329263e-1,0.e0));
#125=axis2_placement_3d('',#122,#123,#124);
#127=direction('',(-5.442273910535e-1,8.389377490774e-1,0.e0));
#128=vector('',#127,2.000000000002e0);
#129=cartesian_point('',(3.439555702193e1,6.855079072057e1,1.068347771389e0));
#130=line('',#129,#128);
#131=cartesian_point('',(6.236184149002e1,2.544018635297e1,1.068347771389e0));
#132=direction('',(0.e0,0.e0,-1.e0));
#133=direction('',(-5.442273910535e-1,8.389377490774e-1,0.e0));
#134=axis2_placement_3d('',#131,#132,#133);
#136=cartesian_point('',(0.e0,0.e0,1.068347771389e0));
#137=direction('',(0.e0,0.e0,1.e0));
#138=direction('',(7.282117130450e-1,6.853522459175e-1,0.e0));
#139=axis2_placement_3d('',#136,#137,#138);
#141=cartesian_point('',(3.870549271416e1,5.511884604611e1,1.068347771389e0));
#142=direction('',(0.e0,0.e0,1.e0));
#143=direction('',(-1.471964349875e-1,9.891072790789e-1,0.e0));
#144=axis2_placement_3d('',#141,#142,#143);
#146=direction('',(-9.114167934888e-1,4.114844207823e-1,0.e0));
#147=vector('',#146,1.999999999998e0);
#148=cartesian_point('',(-8.129601833980e0,7.626385005549e1,1.068347771389e0));
#149=line('',#148,#147);
#150=cartesian_point('',(3.870549271416e1,5.511884604611e1,1.068347771389e0));
#151=direction('',(0.e0,0.e0,-1.e0));
#152=direction('',(-9.114167934880e-1,4.114844207842e-1,0.e0));
#153=axis2_placement_3d('',#150,#151,#152);
#155=cartesian_point('',(0.e0,0.e0,1.068347771389e0));
#156=direction('',(0.e0,0.e0,1.e0));
#157=direction('',(2.420350934197e-1,9.702674958759e-1,0.e0));
#158=axis2_placement_3d('',#155,#156,#157);
#160=cartesian_point('',(2.758431279145e0,6.729482456013e1,1.068347771389e0));
#161=direction('',(0.e0,0.e0,1.e0));
#162=direction('',(-6.586171074927e-1,7.524782426875e-1,0.e0));
#163=axis2_placement_3d('',#160,#161,#162);
#165=direction('',(-9.891908924097e-1,-1.466334831259e-1,0.e0));
#166=vector('',#165,2.e0);
#167=cartesian_point('',(-4.807325111159e1,5.975975049167e1,1.068347771389e0));
#168=line('',#167,#166);
#169=cartesian_point('',(2.758431279145e0,6.729482456013e1,1.068347771389e0));
#170=direction('',(0.e0,0.e0,-1.e0));
#171=direction('',(-9.891908924096e-1,-1.466334831268e-1,0.e0));
#172=axis2_placement_3d('',#169,#170,#171);
#174=cartesian_point('',(0.e0,0.e0,1.068347771389e0));
#175=direction('',(0.e0,0.e0,1.e0));
#176=direction('',(-3.209984159660e-1,9.470797310403e-1,0.e0));
#177=axis2_placement_3d('',#174,#175,#176);
#179=cartesian_point('',(-3.406455457549e1,5.810170804093e1,1.068347771389e0));
#180=direction('',(0.e0,0.e0,1.e0));
#181=direction('',(-9.608976023911e-1,2.769039503493e-1,0.e0));
#182=axis2_placement_3d('',#179,#180,#181);
#184=direction('',(-7.528529578429e-1,-6.581887448652e-1,0.e0));
#185=vector('',#184,2.000000000001e0);
#186=cartesian_point('',(-7.275150846234e1,2.427927650731e1,1.068347771389e0));
#187=line('',#186,#185);
#188=cartesian_point('',(-3.406455457549e1,5.810170804093e1,1.068347771389e0));
#189=direction('',(0.e0,0.e0,-1.e0));
#190=direction('',(-7.528529578419e-1,-6.581887448663e-1,0.e0));
#191=axis2_placement_3d('',#188,#189,#190);
#193=cartesian_point('',(0.e0,0.e0,1.068347771389e0));
#194=direction('',(0.e0,0.e0,1.e0));
#195=direction('',(-7.821006743063e-1,6.231520964016e-1,0.e0));
#196=axis2_placement_3d('',#193,#194,#195);
#198=cartesian_point('',(-6.007053171146e1,3.045871920489e1,1.068347771389e0));
#199=direction('',(0.e0,0.e0,1.e0));
#200=direction('',(-9.580504397484e-1,-2.865996421804e-1,0.e0));
#201=axis2_placement_3d('',#198,#199,#200);
#203=direction('',(-2.774507786259e-1,-9.607398531548e-1,0.e0));
#204=vector('',#203,2.e0);
#205=cartesian_point('',(-7.432793133617e1,-1.891094589253e1,1.068347771389e0));
#206=line('',#205,#204);
#207=cartesian_point('',(-6.007053171146e1,3.045871920489e1,1.068347771389e0));
#208=direction('',(0.e0,0.e0,-1.e0));
#209=direction('',(-2.774507786265e-1,-9.607398531546e-1,0.e0));
#210=axis2_placement_3d('',#207,#208,#209);
#212=cartesian_point('',(0.e0,0.e0,1.068347771389e0));
#213=direction('',(0.e0,0.e0,1.e0));
#214=direction('',(-9.948512392729e-1,1.013460000061e-1,0.e0));
#215=axis2_placement_3d('',#212,#213,#214);
#217=cartesian_point('',(0.e0,0.e0,1.068347771389e0));
#218=direction('',(0.e0,0.e0,1.e0));
#219=direction('',(-1.e0,0.e0,0.e0));
#220=axis2_placement_3d('',#217,#218,#219);
#222=cartesian_point('',(-6.700144758933e1,-6.856265502066e0,1.068347771389e0));
#223=direction('',(0.e0,0.e0,1.e0));
#224=direction('',(-6.509797201319e-1,-7.590951218240e-1,0.e0));
#225=axis2_placement_3d('',#222,#223,#224);
#227=direction('',(2.860543430404e-1,-9.582133962890e-1,0.e0));
#228=vector('',#227,2.e0);
#229=cartesian_point('',(-5.230193546937e1,-5.609610322849e1,1.068347771389e0));
#230=line('',#229,#228);
#231=cartesian_point('',(-6.700144758933e1,-6.856265502066e0,1.068347771389e0));
#232=direction('',(0.e0,0.e0,-1.e0));
#233=direction('',(2.860543430405e-1,-9.582133962890e-1,0.e0));
#234=axis2_placement_3d('',#231,#232,#233);
#236=cartesian_point('',(0.e0,0.e0,1.068347771389e0));
#237=direction('',(0.e0,0.e0,1.e0));
#238=direction('',(-8.916923592726e-1,-4.526419516736e-1,0.e0));
#239=axis2_placement_3d('',#236,#237,#238);
#241=cartesian_point('',(-5.265642864965e1,-4.199408145876e1,1.068347771389e0));
#242=direction('',(0.e0,0.e0,1.e0));
#243=direction('',(-1.371940325350e-1,-9.905441925713e-1,0.e0));
#244=axis2_placement_3d('',#241,#242,#243);
#246=direction('',(7.587245085121e-1,-6.514116365119e-1,0.e0));
#247=vector('',#246,1.999999999998e0);
#248=cartesian_point('',(-1.366775261685e1,-7.546825683471e1,1.068347771389e0));
#249=line('',#248,#247);
#250=cartesian_point('',(-5.265642864965e1,-4.199408145876e1,1.068347771389e0));
#251=direction('',(0.e0,0.e0,-1.e0));
#252=direction('',(7.587245085120e-1,-6.514116365120e-1,0.e0));
#253=axis2_placement_3d('',#250,#251,#252);
#255=cartesian_point('',(0.e0,0.e0,1.068347771389e0));
#256=direction('',(0.e0,0.e0,1.e0));
#257=direction('',(-5.053815594889e-1,-8.628959840726e-1,0.e0));
#258=axis2_placement_3d('',#255,#256,#257);
#260=cartesian_point('',(-2.159065539819e1,-6.379691179969e1,1.068347771389e0));
#261=direction('',(0.e0,0.e0,1.e0));
#262=direction('',(4.201568525105e-1,-9.074514969344e-1,0.e0));
#263=axis2_placement_3d('',#260,#261,#262);
#265=direction('',(9.904659512712e-1,-1.377577561247e-1,0.e0));
#266=vector('',#265,1.999999999999e0);
#267=cartesian_point('',(2.930654860984e1,-7.087588771821e1,1.068347771389e0));
#268=line('',#267,#266);
#269=cartesian_point('',(-2.159065539819e1,-6.379691179969e1,1.068347771389e0));
#270=direction('',(0.e0,0.e0,-1.e0));
#271=direction('',(9.904659512712e-1,-1.377577561246e-1,0.e0));
#272=axis2_placement_3d('',#269,#270,#271);
#274=cartesian_point('',(0.e0,0.e0,1.068347771389e0));
#275=direction('',(0.e0,0.e0,1.e0));
#276=direction('',(4.141032696600e-2,-9.991422245209e-1,0.e0));
#277=axis2_placement_3d('',#274,#275,#276);
#279=cartesian_point('',(1.629689476931e1,-6.534993172589e1,1.068347771389e0));
#280=direction('',(0.e0,0.e0,1.e0));
#281=direction('',(8.438084090175e-1,-5.366445461116e-1,0.e0));
#282=axis2_placement_3d('',#279,#280,#281);
#284=cartesian_point('',(0.e0,0.e0,1.068347771389e0));
#285=direction('',(0.e0,0.e0,-1.e0));
#286=direction('',(1.e0,0.e0,0.e0));
#287=axis2_placement_3d('',#284,#285,#286);
#289=cartesian_point('',(0.e0,0.e0,1.068347771389e0));
#290=direction('',(0.e0,0.e0,-1.e0));
#291=direction('',(-1.e0,0.e0,0.e0));
#292=axis2_placement_3d('',#289,#290,#291);
#294=direction('',(-9.079100713698e-1,-4.191650058191e-1,1.421072334488e-5));
#295=vector('',#294,1.999987366613e0);
#296=cartesian_point('',(6.476759760457e1,-4.297191976558e1,-5.308168064988e1));
#297=line('',#296,#295);
#298=cartesian_point('',(6.476759760457e1,-4.297191976558e1,-5.308168064988e1));
#299=cartesian_point('',(6.490528720361e1,-4.327015499980e1,-5.341016608428e1));
#300=cartesian_point('',(6.517527651048e1,-4.386891202687e1,-5.406704235310e1));
#301=cartesian_point('',(6.556283087100e1,-4.477552777439e1,-5.505204763062e1));
#302=cartesian_point('',(6.581198342144e1,-4.538240477099e1,-5.570890344444e1));
#303=cartesian_point('',(6.593304212481e1,-4.568802014506e1,-5.603711829266e1));
#305=cartesian_point('',(6.593304212481e1,-4.568802014506e1,-5.603711829266e1));
#306=cartesian_point('',(6.593190826711e1,-4.568515769624e1,-5.596374598658e1));
#307=cartesian_point('',(6.592771446824e1,-4.568152791172e1,-5.581710511936e1));
#308=cartesian_point('',(6.592753281931e1,-4.567297744413e1,-5.559672914373e1));
#309=cartesian_point('',(6.592091307642e1,-4.567090564345e1,-5.544985858248e1));
#310=cartesian_point('',(6.591977722253e1,-4.566804198689e1,-5.537642113639e1));
#312=cartesian_point('',(6.591977722253e1,-4.566804198689e1,-5.537642113639e1));
#313=cartesian_point('',(6.601417287839e1,-4.590602747184e1,-5.484321981118e1));
#314=cartesian_point('',(6.622453624119e1,-4.643198973077e1,-5.378850206980e1));
#315=cartesian_point('',(6.658462902295e1,-4.741354140721e1,-5.224734640718e1));
#316=cartesian_point('',(6.698723168024e1,-4.857875457615e1,-5.076598907290e1));
#317=cartesian_point('',(6.741612276233e1,-4.993036101520e1,-4.936777151133e1));
#318=cartesian_point('',(6.785588784420e1,-5.146466720297e1,-4.807065603492e1));
#319=cartesian_point('',(6.829094013958e1,-5.318575637950e1,-4.688428084958e1));
#320=cartesian_point('',(6.870474872646e1,-5.510291619476e1,-4.581696586384e1));
#321=cartesian_point('',(6.907541482466e1,-5.720922157262e1,-4.488535822342e1));
#322=cartesian_point('',(6.938209242948e1,-5.951194181477e1,-4.409791613904e1));
#323=cartesian_point('',(6.959964395716e1,-6.199894160881e1,-4.346929927254e1));
#324=cartesian_point('',(6.970342532338e1,-6.467062445198e1,-4.300829771449e1));
#325=cartesian_point('',(6.966695107525e1,-6.750844957641e1,-4.272611250249e1));
#326=cartesian_point('',(6.953215248381e1,-6.950271875240e1,-4.266190797263e1));
#327=cartesian_point('',(6.943272859091e1,-7.052380509748e1,-4.266190797263e1));
#329=direction('',(0.e0,0.e0,1.e0));
#330=vector('',#329,4.373025574402e1);
#331=cartesian_point('',(6.345473444022e1,-9.037639690087e1,-4.266190797263e1));
#332=line('',#331,#330);
#333=direction('',(-2.118218966443e-7,-9.779416953077e-8,-1.e0));
#334=vector('',#333,5.415002842127e1);
#335=cartesian_point('',(6.476760907473e1,-4.297191447002e1,1.068347771389e0));
#336=line('',#335,#334);
#337=cartesian_point('',(6.593304212481e1,-4.568802014506e1,-5.603711829266e1));
#338=cartesian_point('',(6.582565956319e1,-4.584920745522e1,-5.613845086288e1));
#339=cartesian_point('',(6.560917658729e1,-4.617194115177e1,-5.633928926669e1));
#340=cartesian_point('',(6.528161663629e1,-4.665126864433e1,-5.663775523260e1));
#341=cartesian_point('',(6.506111137940e1,-4.696949501985e1,-5.683413042070e1));
#342=cartesian_point('',(6.495023784436e1,-4.712809577147e1,-5.693165133448e1));
#344=cartesian_point('',(3.080085518923e1,-7.406664936550e1,-5.603711829299e1));
#345=cartesian_point('',(3.062341172130e1,-7.414427783561e1,-5.613845086346e1));
#346=cartesian_point('',(3.026688520737e1,-7.429890888867e1,-5.633928926694e1));
#347=cartesian_point('',(2.973228793879e1,-7.452530704876e1,-5.663775523302e1));
#348=cartesian_point('',(2.937481166822e1,-7.467397214400e1,-5.683413042058e1));
#349=cartesian_point('',(2.919582787193e1,-7.474753803250e1,-5.693165133448e1));
#351=cartesian_point('',(-1.413588413721e1,-7.896035719445e1,
-5.603711829294e1));
#352=cartesian_point('',(-1.432712674286e1,-7.892972013447e1,
-5.613845086338e1));
#353=cartesian_point('',(-1.471065280763e1,-7.886703301236e1,
-5.633928926687e1));
#354=cartesian_point('',(-1.528278004238e1,-7.876843892679e1,
-5.663775523291e1));
#355=cartesian_point('',(-1.566387938973e1,-7.870021955988e1,
-5.683413042057e1));
#356=cartesian_point('',(-1.585422120239e1,-7.866533211725e1,
-5.693165133448e1));
#358=cartesian_point('',(-5.458385252594e1,-5.878064538598e1,
-5.603711828077e1));
#359=cartesian_point('',(-5.472816627766e1,-5.865147139809e1,
-5.613845087069e1));
#360=cartesian_point('',(-5.501690532367e1,-5.839137205765e1,
-5.633928926355e1));
#361=cartesian_point('',(-5.544488672777e1,-5.799909372174e1,
-5.663775523396e1));
#362=cartesian_point('',(-5.572859318508e1,-5.773565257204e1,
-5.683413042058e1));
#363=cartesian_point('',(-5.586985103638e1,-5.760339011050e1,
-5.693165133448e1));
#365=cartesian_point('',(-7.769902395717e1,-1.993546850204e1,
-5.603711827729e1));
#366=cartesian_point('',(-7.775058279354e1,-1.974877607002e1,
-5.613845086680e1));
#367=cartesian_point('',(-7.785284737036e1,-1.937385760167e1,
-5.633928926151e1));
#368=cartesian_point('',(-7.800077983696e1,-1.881246080824e1,
-5.663775523023e1));
#369=cartesian_point('',(-7.809700400874e1,-1.843745214086e1,
-5.683413042102e1));
#370=cartesian_point('',(-7.814432225808e1,-1.824981386625e1,
-5.693165133434e1));
#372=direction('',(-3.490027245188e-2,0.e0,9.993907999290e-1));
#373=vector('',#372,5.427787383970e0);
#374=cartesian_point('',(8.038217779337e1,0.e0,-6.080090191190e1));
#375=line('',#374,#373);
#376=cartesian_point('',(8.016734584832e1,-2.785298580185e0,-5.603711827809e1));
#377=cartesian_point('',(8.016416354535e1,-2.978953566243e0,-5.613845087151e1));
#378=cartesian_point('',(8.015654798122e1,-3.367494302849e0,-5.633928926256e1));
#379=cartesian_point('',(8.014015864616e1,-3.947823318670e0,-5.663775523366e1));
#380=cartesian_point('',(8.012672240511e1,-4.334747161785e0,-5.683413042067e1));
#381=cartesian_point('',(8.011920489628e1,-4.528113721141e0,-5.693165133448e1));
#383=direction('',(-9.079036861284e-1,-4.191788361958e-1,-7.504260076672e-14));
#384=vector('',#383,5.681114954708e-1);
#385=cartesian_point('',(6.495023784436e1,-4.712809577147e1,-5.693165133448e1));
#386=line('',#385,#384);
#387=cartesian_point('',(1.629689476931e1,-6.534993172589e1,-5.693165222861e1));
#388=direction('',(0.e0,0.e0,-1.e0));
#389=direction('',(9.367627953751e-1,3.499649485320e-1,0.e0));
#390=axis2_placement_3d('',#387,#388,#389);
#392=cartesian_point('',(0.e0,0.e0,-5.693165222861e1));
#393=direction('',(0.e0,0.e0,1.e0));
#394=direction('',(8.043792345817e-1,-5.941161897926e-1,0.e0));
#395=axis2_placement_3d('',#392,#393,#394);
#397=cartesian_point('',(6.443444670697e1,-4.736623440473e1,-5.693164954872e1));
#398=cartesian_point('',(6.398437700675e1,-4.616151808957e1,-5.564922200442e1));
#399=cartesian_point('',(6.349009574953e1,-4.497621533931e1,-5.436588829364e1));
#400=cartesian_point('',(6.295178893181e1,-4.381024448174e1,-5.308165222861e1));
#402=direction('',(0.e0,-1.180957455557e-14,1.e0));
#403=vector('',#402,5.415e1);
#404=cartesian_point('',(6.295178893181e1,-4.381024448174e1,-5.308165222861e1));
#405=line('',#404,#403);
#406=cartesian_point('',(6.452186403350e1,-4.762404828183e1,-5.537642113639e1));
#407=cartesian_point('',(6.452435887172e1,-4.763083517018e1,-5.554932748448e1));
#408=cartesian_point('',(6.453896599823e1,-4.763638506615e1,-5.589512967412e1));
#409=cartesian_point('',(6.453792288073e1,-4.765500717248e1,-5.641359044437e1));
#410=cartesian_point('',(6.454943073289e1,-4.766337912747e1,-5.675902307498e1));
#411=cartesian_point('',(6.455191605172e1,-4.767016261205e1,-5.693165222861e1));
#413=direction('',(0.e0,0.e0,1.e0));
#414=vector('',#413,4.373025574402e1);
#415=cartesian_point('',(-1.004534280215e2,-4.586398628982e1,
-4.266190797263e1));
#416=line('',#415,#414);
#417=direction('',(0.e0,0.e0,-1.e0));
#418=vector('',#417,1.585920828309e0);
#419=cartesian_point('',(1.104282411327e2,1.127195275300e-14,2.654268599698e0));
#420=line('',#419,#418);
#421=direction('',(0.e0,0.e0,1.e0));
#422=vector('',#421,4.373025574402e1);
#423=cartesian_point('',(4.717156650248e-11,-1.104282411327e2,
-4.266190797263e1));
#424=line('',#423,#422);
#425=direction('',(0.e0,0.e0,1.e0));
#426=vector('',#425,4.373025574402e1);
#427=cartesian_point('',(-5.970643643e1,-9.289530606276e1,-4.266190797263e1));
#428=line('',#427,#426);
#429=direction('',(0.e0,-1.153629984107e-14,1.e0));
#430=vector('',#429,4.373025574402e1);
#431=cartesian_point('',(1.004293999256e2,-4.591657729232e1,-4.266190797263e1));
#432=line('',#431,#430);
#433=direction('',(2.957192353626e-14,1.982293775508e-14,1.e0));
#434=vector('',#433,4.373025574402e1);
#435=cartesian_point('',(5.965778837935e1,-9.292655554440e1,-4.266190797263e1));
#436=line('',#435,#434);
#437=direction('',(0.e0,-1.903375488372e-14,-1.e0));
#438=vector('',#437,4.262167726070e0);
#439=cartesian_point('',(-1.104282411327e2,7.436559625250e-14,
-4.266190797263e1));
#440=line('',#439,#438);
#441=direction('',(0.e0,0.e0,1.e0));
#442=vector('',#441,4.262167726070e0);
#443=cartesian_point('',(1.104282411327e2,0.e0,-4.692407569870e1));
#444=line('',#443,#442);
#445=direction('',(0.e0,-2.079783633320e-14,1.e0));
#446=vector('',#445,4.373025574402e1);
#447=cartesian_point('',(1.093102174150e2,1.567395318163e1,-4.266190797263e1));
#448=line('',#447,#446);
#449=direction('',(-1.792126625937e-14,4.530656559029e-14,-1.e0));
#450=vector('',#449,1.585920828309e0);
#451=cartesian_point('',(-1.104282411327e2,-1.127195275300e-14,
2.654268599698e0));
#452=line('',#451,#450);
#453=direction('',(0.e0,0.e0,1.e0));
#454=vector('',#453,4.373025574402e1);
#455=cartesian_point('',(-8.344232595364e1,7.233100772911e1,-4.266190797263e1));
#456=line('',#455,#454);
#457=direction('',(0.e0,0.e0,1.e0));
#458=vector('',#457,4.373025574402e1);
#459=cartesian_point('',(-3.108601258104e1,1.059625229101e2,-4.266190797263e1));
#460=line('',#459,#458);
#461=direction('',(1.860431453243e-14,0.e0,1.e0));
#462=vector('',#461,4.373025574402e1);
#463=cartesian_point('',(3.114149016447e1,1.059462317876e2,-4.266190797263e1));
#464=line('',#463,#462);
#465=direction('',(0.e0,0.e0,1.e0));
#466=vector('',#465,4.373025574402e1);
#467=cartesian_point('',(8.348018694086e1,7.228730751648e1,-4.266190797263e1));
#468=line('',#467,#466);
#469=direction('',(0.e0,2.226018420037e-14,1.e0));
#470=vector('',#469,4.373025574402e1);
#471=cartesian_point('',(-1.093019955687e2,1.573118572638e1,-4.266190797263e1));
#472=line('',#471,#470);
#473=cartesian_point('',(0.e0,0.e0,-4.692407569870e1));
#474=direction('',(0.e0,0.e0,1.e0));
#475=direction('',(1.e0,0.e0,0.e0));
#476=axis2_placement_3d('',#473,#474,#475);
#478=cartesian_point('',(0.e0,0.e0,-4.692407569870e1));
#479=direction('',(0.e0,0.e0,1.e0));
#480=direction('',(-1.e0,0.e0,0.e0));
#481=axis2_placement_3d('',#478,#479,#480);
#483=cartesian_point('',(0.e0,0.e0,-4.692407569870e1));
#484=direction('',(0.e0,0.e0,-1.e0));
#485=direction('',(1.e0,0.e0,0.e0));
#486=axis2_placement_3d('',#483,#484,#485);
#488=cartesian_point('',(0.e0,0.e0,-4.692407569870e1));
#489=direction('',(0.e0,0.e0,-1.e0));
#490=direction('',(-1.e0,0.e0,0.e0));
#491=axis2_placement_3d('',#488,#489,#490);
#493=direction('',(-1.745200679081e-2,0.e0,9.998477021322e-1));
#494=vector('',#493,2.676651511601e0);
#495=cartesian_point('',(1.088423202590e2,1.111007842705e-14,
-4.692407569870e1));
#496=line('',#495,#494);
#497=direction('',(1.745200679081e-2,0.e0,9.998477021322e-1));
#498=vector('',#497,2.676651511601e0);
#499=cartesian_point('',(-1.088423202590e2,-1.111007842705e-14,
-4.692407569870e1));
#500=line('',#499,#498);
#501=cartesian_point('',(0.e0,0.e0,-4.424783183541e1));
#502=direction('',(0.e0,0.e0,1.e0));
#503=direction('',(1.e0,0.e0,0.e0));
#504=axis2_placement_3d('',#501,#502,#503);
#506=cartesian_point('',(0.e0,0.e0,-4.424783183541e1));
#507=direction('',(0.e0,0.e0,1.e0));
#508=direction('',(-1.e0,0.e0,0.e0));
#509=axis2_placement_3d('',#506,#507,#508);
#511=cartesian_point('',(0.e0,0.e0,-4.424783183541e1));
#512=direction('',(0.e0,0.e0,-1.e0));
#513=direction('',(1.e0,0.e0,0.e0));
#514=axis2_placement_3d('',#511,#512,#513);
#516=cartesian_point('',(0.e0,0.e0,-4.424783183541e1));
#517=direction('',(0.e0,0.e0,-1.e0));
#518=direction('',(-1.e0,0.e0,0.e0));
#519=axis2_placement_3d('',#516,#517,#518);
#521=cartesian_point('',(9.981658816238e1,0.e0,-6.397329834705e1));
#522=direction('',(0.e0,-1.e0,0.e0));
#523=direction('',(0.e0,0.e0,1.e0));
#524=axis2_placement_3d('',#521,#522,#523);
#526=cartesian_point('',(0.e0,0.e0,-5.439014439245e1));
#527=direction('',(0.e0,0.e0,-1.e0));
#528=direction('',(1.e0,0.e0,0.e0));
#529=axis2_placement_3d('',#526,#527,#528);
#531=cartesian_point('',(-9.981658816238e1,-1.222400651949e-14,
-6.397329834705e1));
#532=direction('',(0.e0,1.e0,0.e0));
#533=direction('',(0.e0,0.e0,1.e0));
#534=axis2_placement_3d('',#531,#532,#533);
#536=cartesian_point('',(0.e0,0.e0,-5.439014439245e1));
#537=direction('',(0.e0,0.e0,-1.e0));
#538=direction('',(-1.e0,0.e0,0.e0));
#539=axis2_placement_3d('',#536,#537,#538);
#541=direction('',(-5.674803322470e-13,0.e0,-1.e0));
#542=vector('',#541,6.410757519449e0);
#543=cartesian_point('',(-8.257544001662e1,-1.011257483045e-14,
-5.439014439245e1));
#544=line('',#543,#542);
#545=cartesian_point('',(0.e0,0.e0,-6.080090191190e1));
#546=direction('',(0.e0,0.e0,1.e0));
#547=direction('',(1.e0,0.e0,0.e0));
#548=axis2_placement_3d('',#545,#546,#547);
#550=cartesian_point('',(0.e0,0.e0,-6.080090191190e1));
#551=direction('',(0.e0,0.e0,1.e0));
#552=direction('',(-1.e0,0.e0,0.e0));
#553=axis2_placement_3d('',#550,#551,#552);
#555=cartesian_point('',(0.e0,0.e0,-6.080090191190e1));
#556=direction('',(0.e0,0.e0,-1.e0));
#557=direction('',(1.e0,0.e0,0.e0));
#558=axis2_placement_3d('',#555,#556,#557);
#560=cartesian_point('',(0.e0,0.e0,-6.080090191190e1));
#561=direction('',(0.e0,0.e0,-1.e0));
#562=direction('',(-1.e0,0.e0,0.e0));
#563=axis2_placement_3d('',#560,#561,#562);
#565=direction('',(5.674803322470e-13,0.e0,-1.e0));
#566=vector('',#565,6.410757519449e0);
#567=cartesian_point('',(8.257544001662e1,1.011257483045e-14,
-5.439014439245e1));
#568=line('',#567,#566);
#569=cartesian_point('',(6.894495791097e1,4.100187810729e1,-5.603711857521e1));
#570=cartesian_point('',(6.904698564165e1,4.083725078539e1,-5.613845040182e1));
#571=cartesian_point('',(6.925065615054e1,4.050628132301e1,-5.633928948175e1));
#572=cartesian_point('',(6.955064161698e1,4.000923127081e1,-5.663775517102e1));
#573=cartesian_point('',(6.974854102968e1,3.967647540514e1,-5.683413042066e1));
#574=cartesian_point('',(6.984676668998e1,3.950974550716e1,-5.693165133448e1));
#576=direction('',(3.490027245188e-2,0.e0,9.993907999290e-1));
#577=vector('',#576,5.427787383970e0);
#578=cartesian_point('',(-8.038217779337e1,0.e0,-6.080090191190e1));
#579=line('',#578,#577);
#580=cartesian_point('',(-7.614130504269e1,2.524010488735e1,-5.603711828723e1));
#581=cartesian_point('',(-7.608373675333e1,2.542503259765e1,-5.613845086080e1));
#582=cartesian_point('',(-7.596705331365e1,2.579571694876e1,-5.633928926432e1));
#583=cartesian_point('',(-7.578796171710e1,2.634796378434e1,-5.663775522950e1));
#584=cartesian_point('',(-7.566614815592e1,2.671545806887e1,-5.683413042105e1));
#585=cartesian_point('',(-7.560450115885e1,2.689888867306e1,-5.693165133434e1));
#587=cartesian_point('',(-5.040534070740e1,6.240082416690e1,-5.603711829007e1));
#588=cartesian_point('',(-5.025692578769e1,6.252526442587e1,-5.613845086427e1));
#589=cartesian_point('',(-4.995834649901e1,6.277400590419e1,-5.633928926618e1));
#590=cartesian_point('',(-4.950910037445e1,6.314173989468e1,-5.663775523295e1));
#591=cartesian_point('',(-4.920793029297e1,6.338502404087e1,-5.683413042095e1));
#592=cartesian_point('',(-4.905689370810e1,6.350599961289e1,-5.693165133447e1));
#594=cartesian_point('',(-8.663442440938e0,7.974651085540e1,-5.603711829008e1));
#595=cartesian_point('',(-8.471309218707e0,7.977094835387e1,-5.613845086424e1));
#596=cartesian_point('',(-8.085646264911e0,7.981876049309e1,-5.633928926609e1));
#597=cartesian_point('',(-7.508901206657e0,7.988520976678e1,-5.663775523287e1));
#598=cartesian_point('',(-7.124009480783e0,7.992703025446e1,-5.683413042091e1));
#599=cartesian_point('',(-6.931544130723e0,7.994713567779e1,-5.693165133447e1));
#601=cartesian_point('',(3.582948347909e1,7.176913920415e1,-5.603711827767e1));
#602=cartesian_point('',(3.600432420826e1,7.168581393500e1,-5.613845087160e1));
#603=cartesian_point('',(3.635460569728e1,7.151751426564e1,-5.633928926266e1));
#604=cartesian_point('',(3.687570752963e1,7.126157822427e1,-5.663775523385e1));
#605=cartesian_point('',(3.722210068419e1,7.108865519220e1,-5.683413042091e1));
#606=cartesian_point('',(3.739487850429e1,7.100150610211e1,-5.693165133447e1));
#608=cartesian_point('',(6.599031410812e1,4.106976944840e1,-5.308166027250e1));
#609=cartesian_point('',(6.631884935137e1,4.107115349522e1,-5.341019843106e1));
#610=cartesian_point('',(6.697549371256e1,4.106809295428e1,-5.406717438313e1));
#611=cartesian_point('',(6.796123643368e1,4.104408842549e1,-5.505213051758e1));
#612=cartesian_point('',(6.861670480205e1,4.101868337540e1,-5.570893933694e1));
#613=cartesian_point('',(6.894495791097e1,4.100187810729e1,-5.603711857521e1));
#615=cartesian_point('',(6.894495791097e1,4.100187810729e1,-5.603711857521e1));
#616=cartesian_point('',(6.894188311266e1,4.100203552487e1,-5.596374658481e1));
#617=cartesian_point('',(6.893683866145e1,4.099972928453e1,-5.581710484033e1));
#618=cartesian_point('',(6.892898540143e1,4.100311481044e1,-5.559672922357e1));
#619=cartesian_point('',(6.892435130912e1,4.099795360429e1,-5.544985858252e1));
#620=cartesian_point('',(6.892127456985e1,4.099810970827e1,-5.537642113639e1));
#622=cartesian_point('',(6.892127456985e1,4.099810970827e1,-5.537642113639e1));
#623=cartesian_point('',(6.917696839050e1,4.098513661566e1,-5.484321981054e1));
#624=cartesian_point('',(6.974279117034e1,4.095805110853e1,-5.378850206828e1));
#625=cartesian_point('',(7.078523755851e1,4.087795096192e1,-5.224734640561e1));
#626=cartesian_point('',(7.201241113781e1,4.076024100281e1,-5.076598907176e1));
#627=cartesian_point('',(7.342005970126e1,4.058903045399e1,-4.936777150921e1));
#628=cartesian_point('',(7.499842130540e1,4.035183127658e1,-4.807065603363e1));
#629=cartesian_point('',(7.674473672557e1,4.003276872863e1,-4.688428084802e1));
#630=cartesian_point('',(7.866058890792e1,3.961294767653e1,-4.581696586302e1));
#631=cartesian_point('',(8.073058312507e1,3.907532360350e1,-4.488535822259e1));
#632=cartesian_point('',(8.295267411372e1,3.839791434530e1,-4.409791613855e1));
#633=cartesian_point('',(8.530538237384e1,3.756289309725e1,-4.346929927222e1));
#634=cartesian_point('',(8.777883956636e1,3.654767425354e1,-4.300829771435e1));
#635=cartesian_point('',(9.034517952166e1,3.533586525913e1,-4.272611250246e1));
#636=cartesian_point('',(9.210332374585e1,3.438496616256e1,-4.266190797263e1));
#637=cartesian_point('',(9.299088336450e1,3.387043690441e1,-4.266190797263e1));
#639=direction('',(1.104885055201e-14,0.e0,1.e0));
#640=vector('',#639,4.373025574402e1);
#641=cartesian_point('',(1.085673902648e2,2.018708029277e1,-4.266190797263e1));
#642=line('',#641,#640);
#643=direction('',(-2.848030419055e-5,-4.645123443885e-7,-9.999999995943e-1));
#644=vector('',#643,5.415000806586e1);
#645=cartesian_point('',(6.599185631683e1,4.106979460174e1,1.068347771389e0));
#646=line('',#645,#644);
#647=direction('',(4.069301053870e-3,-9.999917203521e-1,4.021861603617e-6));
#648=vector('',#647,1.999968783784e0);
#649=cartesian_point('',(6.599031410812e1,4.106976944840e1,-5.308166027250e1));
#650=line('',#649,#648);
#651=direction('',(2.521254104520e-3,-9.999968216338e-1,0.e0));
#652=vector('',#651,1.999990354019e0);
#653=cartesian_point('',(6.599185631683e1,4.106979460174e1,1.068347771389e0));
#654=line('',#653,#652);
#655=cartesian_point('',(6.984917191169e1,3.894163924860e1,-5.693164954872e1));
#656=cartesian_point('',(6.856634903300e1,3.903257656881e1,-5.564922200471e1));
#657=cartesian_point('',(6.728282380589e1,3.907523288883e1,-5.436588829423e1));
#658=cartesian_point('',(6.599859918511e1,3.906981132517e1,-5.308165222949e1));
#660=direction('',(-2.869404410355e-5,-1.222386522508e-7,9.999999995883e-1));
#661=vector('',#660,5.415000002259e1);
#662=cartesian_point('',(6.599845258320e1,3.906981722365e1,-5.308165222890e1));
#663=line('',#662,#661);
#664=cartesian_point('',(7.012000475757e1,3.891408287376e1,-5.537642113639e1));
#665=cartesian_point('',(7.012721477395e1,3.891353356951e1,-5.554932748452e1));
#666=cartesian_point('',(7.013833011104e1,3.892451622726e1,-5.589512967420e1));
#667=cartesian_point('',(7.015483687483e1,3.891583304307e1,-5.641359044445e1));
#668=cartesian_point('',(7.016723214199e1,3.892282429785e1,-5.675902307502e1));
#669=cartesian_point('',(7.017443510837e1,3.892226774776e1,-5.693165222861e1));
#671=cartesian_point('',(4.904285820561e1,-4.616276004232e1,-4.266190797263e1));
#672=direction('',(0.e0,0.e0,1.e0));
#673=direction('',(9.965288432640e-1,8.324821044902e-2,0.e0));
#674=axis2_placement_3d('',#671,#672,#673);
#676=cartesian_point('',(0.e0,0.e0,-4.266190797263e1));
#677=direction('',(0.e0,0.e0,1.e0));
#678=direction('',(9.754705823613e-1,-2.201298320260e-1,0.e0));
#679=axis2_placement_3d('',#676,#677,#678);
#681=cartesian_point('',(0.e0,0.e0,-4.266190797263e1));
#682=direction('',(0.e0,0.e0,1.e0));
#683=direction('',(1.e0,0.e0,0.e0));
#684=axis2_placement_3d('',#681,#682,#683);
#686=cartesian_point('',(6.621553640718e1,-1.231686218199e1,-4.266190797263e1));
#687=direction('',(0.e0,0.e0,-1.e0));
#688=direction('',(5.410844225365e-1,8.409682798348e-1,0.e0));
#689=axis2_placement_3d('',#686,#687,#688);
#691=cartesian_point('',(0.e0,0.e0,-4.266190797263e1));
#692=direction('',(0.e0,0.e0,-1.e0));
#693=direction('',(9.898755634772e-1,1.419379048410e-1,0.e0));
#694=axis2_placement_3d('',#691,#692,#693);
#696=cartesian_point('',(0.e0,0.e0,-4.266190797263e1));
#697=direction('',(0.e0,0.e0,-1.e0));
#698=direction('',(1.e0,0.e0,0.e0));
#699=axis2_placement_3d('',#696,#697,#698);
#701=cartesian_point('',(7.771839801762e1,-1.130573036533e0,-5.308168065044e1));
#702=cartesian_point('',(7.799547641797e1,-1.307010674337e0,-5.341016608387e1));
#703=cartesian_point('',(7.854633541336e1,-1.664723645685e0,-5.406704235184e1));
#704=cartesian_point('',(7.936254667689e1,-2.217850810611e0,-5.505204762397e1));
#705=cartesian_point('',(7.990026753733e1,-2.593660569595e0,-5.570890345299e1));
#706=cartesian_point('',(8.016734584832e1,-2.785298580185e0,-5.603711827809e1));
#708=cartesian_point('',(8.016734584832e1,-2.785298580185e0,-5.603711827809e1));
#709=cartesian_point('',(8.016484434437e1,-2.783503663790e0,-5.596374597074e1));
#710=cartesian_point('',(8.015935384830e1,-2.782717738450e0,-5.581710512669e1));
#711=cartesian_point('',(8.015457796634e1,-2.775623043728e0,-5.559672914157e1));
#712=cartesian_point('',(8.014788907156e1,-2.777459359638e0,-5.544985858246e1));
#713=cartesian_point('',(8.014538523540e1,-2.775664506598e0,-5.537642113639e1));
#715=cartesian_point('',(8.014538523540e1,-2.775664506598e0,-5.537642113639e1));
#716=cartesian_point('',(8.035346768197e1,-2.924826587591e0,-5.484321981084e1));
#717=cartesian_point('',(8.081480891728e1,-3.253541216397e0,-5.378850206898e1));
#718=cartesian_point('',(8.164843518011e1,-3.884554496336e0,-5.224734640621e1));
#719=cartesian_point('',(8.261712418549e1,-4.647084652848e0,-5.076598907210e1));
#720=cartesian_point('',(8.370870701831e1,-5.552200361376e0,-4.936777151056e1));
#721=cartesian_point('',(8.490821961917e1,-6.605128813404e0,-4.807065603437e1));
#722=cartesian_point('',(8.620475768024e1,-7.817732421244e0,-4.688428084908e1));
#723=cartesian_point('',(8.758943658478e1,-9.206762167178e0,-4.581696586345e1));
#724=cartesian_point('',(8.904009021408e1,-1.077823273598e1,-4.488535822314e1));
#725=cartesian_point('',(9.054311270190e1,-1.254953030217e1,-4.409791613883e1));
#726=cartesian_point('',(9.207079628279e1,-1.452403771392e1,-4.346929927241e1));
#727=cartesian_point('',(9.360262783115e1,-1.671541898895e1,-4.300829771444e1));
#728=cartesian_point('',(9.510630240965e1,-1.912239729565e1,-4.272611250248e1));
#729=cartesian_point('',(9.607116926135e1,-2.087291498031e1,-4.266190797263e1));
#730=cartesian_point('',(9.653961296249e1,-2.178563779324e1,-4.266190797263e1));
#732=direction('',(0.e0,-3.542131500498e-14,1.e0));
#733=vector('',#732,4.373025574402e1);
#734=cartesian_point('',(1.022446745278e2,-4.171837689036e1,-4.266190797263e1));
#735=line('',#734,#733);
#736=direction('',(-1.255571318306e-7,-1.971754257373e-7,-1.e0));
#737=vector('',#736,5.415002842183e1);
#738=cartesian_point('',(7.771840481654e1,-1.130562359478e0,1.068347771389e0));
#739=line('',#738,#737);
#740=direction('',(-5.371246936048e-1,-8.435028531772e-1,1.421100460367e-5));
#741=vector('',#740,1.999987342207e0);
#742=cartesian_point('',(7.771839801762e1,-1.130573036533e0,-5.308168065044e1));
#743=line('',#742,#741);
#744=cartesian_point('',(7.981406405497e1,-5.007320955046e0,-5.693164954873e1));
#745=cartesian_point('',(7.878408585853e1,-4.237224175474e0,-5.564922200442e1));
#746=cartesian_point('',(7.772741221434e1,-3.507362969018e0,-5.436588829364e1));
#747=cartesian_point('',(7.664415542922e1,-2.817568066003e0,-5.308165222861e1));
#749=direction('',(0.e0,0.e0,1.e0));
#750=vector('',#749,5.415e1);
#751=cartesian_point('',(7.664415542922e1,-2.817568066003e0,-5.308165222861e1));
#752=line('',#751,#750);
#753=cartesian_point('',(8.002699696891e1,-5.176936279700e0,-5.537642113639e1));
#754=cartesian_point('',(8.003276523682e1,-5.181296687562e0,-5.554932748451e1));
#755=cartesian_point('',(8.004805388021e1,-5.178067620601e0,-5.589512967419e1));
#756=cartesian_point('',(8.005724499724e1,-5.194297047753e0,-5.641359044443e1));
#757=cartesian_point('',(8.007145227819e1,-5.195117693603e0,-5.675902307501e1));
#758=cartesian_point('',(8.007721069775e1,-5.199480385073e0,-5.693165222861e1));
#760=cartesian_point('',(1.629689476931e1,-6.534993172589e1,-4.266190797263e1));
#761=direction('',(0.e0,0.e0,1.e0));
#762=direction('',(8.833184779536e-1,-4.687733636905e-1,0.e0));
#763=axis2_placement_3d('',#760,#761,#762);
#765=cartesian_point('',(0.e0,0.e0,-4.266190797263e1));
#766=direction('',(0.e0,0.e0,1.e0));
#767=direction('',(7.015729824794e-1,-7.125976075282e-1,0.e0));
#768=axis2_placement_3d('',#765,#766,#767);
#770=cartesian_point('',(4.904285820561e1,-4.616276004232e1,-4.266190797263e1));
#771=direction('',(0.e0,0.e0,-1.e0));
#772=direction('',(9.098707101221e-1,4.148919026228e-1,0.e0));
#773=axis2_placement_3d('',#770,#771,#772);
#775=cartesian_point('',(0.e0,0.e0,-4.266190797263e1));
#776=direction('',(0.e0,0.e0,-1.e0));
#777=direction('',(9.094539485144e-1,-4.158046603053e-1,0.e0));
#778=axis2_placement_3d('',#775,#776,#777);
#780=cartesian_point('',(0.e0,0.e0,-5.537642113639e1));
#781=direction('',(0.e0,0.e0,1.e0));
#782=direction('',(8.219797428873e-1,-5.695167269563e-1,0.e0));
#783=axis2_placement_3d('',#780,#781,#782);
#785=cartesian_point('',(8.002699696891e1,-5.176936279700e0,-5.537642113639e1));
#786=cartesian_point('',(8.023104623057e1,-5.331183277159e0,-5.484207119390e1));
#787=cartesian_point('',(8.068396712648e1,-5.664160124490e0,-5.378266006983e1));
#788=cartesian_point('',(8.150348103407e1,-6.322024858417e0,-5.223488321261e1));
#789=cartesian_point('',(8.245556493640e1,-7.113498379816e0,-5.074654574635e1));
#790=cartesian_point('',(8.352773200546e1,-8.055166287341e0,-4.934226025366e1));
#791=cartesian_point('',(8.470118443115e1,-9.148232325037e0,-4.804346838601e1));
#792=cartesian_point('',(8.596556282683e1,-1.040631120212e1,-4.685740743095e1));
#793=cartesian_point('',(8.731030495840e1,-1.184583850231e1,-4.579260445673e1));
#794=cartesian_point('',(8.871296830221e1,-1.347342611282e1,-4.486476230766e1));
#795=cartesian_point('',(9.015804413972e1,-1.530612343487e1,-4.408227978318e1));
#796=cartesian_point('',(9.161720196205e1,-1.734760619059e1,-4.345897295112e1));
#797=cartesian_point('',(9.306822021054e1,-1.961151625199e1,-4.300307533039e1));
#798=cartesian_point('',(9.447753824983e1,-2.209611837076e1,-4.272489609512e1));
#799=cartesian_point('',(9.536947336734e1,-2.390177801324e1,-4.266190797263e1));
#800=cartesian_point('',(9.579850396464e1,-2.484265531589e1,-4.266190797263e1));
#802=direction('',(-5.371118443352e-1,-8.435110353012e-1,-7.504260076611e-14));
#803=vector('',#802,5.681114954755e-1);
#804=cartesian_point('',(8.011920489628e1,-4.528113721141e0,-5.693165133448e1));
#805=line('',#804,#803);
#806=cartesian_point('',(4.904285820561e1,-4.616276004232e1,-5.693165222861e1));
#807=direction('',(0.e0,0.e0,-1.e0));
#808=direction('',(5.988115535848e-1,8.008899570437e-1,0.e0));
#809=axis2_placement_3d('',#806,#807,#808);
#811=cartesian_point('',(0.e0,0.e0,-5.693165222861e1));
#812=direction('',(0.e0,0.e0,1.e0));
#813=direction('',(9.978934244951e-1,-6.487459710424e-2,0.e0));
#814=axis2_placement_3d('',#811,#812,#813);
#816=cartesian_point('',(0.e0,0.e0,-5.537642113639e1));
#817=direction('',(0.e0,0.e0,1.e0));
#818=direction('',(9.993990025985e-1,-3.466458718985e-2,0.e0));
#819=axis2_placement_3d('',#816,#817,#818);
#821=cartesian_point('',(0.e0,0.e0,-5.537642113639e1));
#822=direction('',(0.e0,0.e0,1.e0));
#823=direction('',(1.e0,0.e0,0.e0));
#824=axis2_placement_3d('',#821,#822,#823);
#826=cartesian_point('',(7.012000475757e1,3.891408287376e1,-5.537642113639e1));
#827=cartesian_point('',(7.037505506674e1,3.889465154226e1,-5.484207119616e1));
#828=cartesian_point('',(7.093609892155e1,3.885942782221e1,-5.378266007354e1));
#829=cartesian_point('',(7.198119167480e1,3.874910920551e1,-5.223488321009e1));
#830=cartesian_point('',(7.321004571580e1,3.859807322008e1,-5.074654573152e1));
#831=cartesian_point('',(7.462112426538e1,3.838561621447e1,-4.934226024794e1));
#832=cartesian_point('',(7.619926495094e1,3.810056194588e1,-4.804346838136e1));
#833=cartesian_point('',(7.794311435680e1,3.772585622588e1,-4.685740743690e1));
#834=cartesian_point('',(7.985267369723e1,3.724196217354e1,-4.579260445150e1));
#835=cartesian_point('',(8.191263855073e1,3.663118345942e1,-4.486476230858e1));
#836=cartesian_point('',(8.411918088628e1,3.587079237297e1,-4.408227978123e1));
#837=cartesian_point('',(8.645045566495e1,3.494237903505e1,-4.345897294907e1));
#838=cartesian_point('',(8.889514537993e1,3.382245276001e1,-4.300307533049e1));
#839=cartesian_point('',(9.142407970755e1,3.249432767890e1,-4.272489609460e1));
#840=cartesian_point('',(9.315068592725e1,3.145760884357e1,-4.266190797263e1));
#841=cartesian_point('',(9.402031273903e1,3.089808533649e1,-4.266190797263e1));
#843=direction('',(4.236858572984e-3,-9.999910244744e-1,-5.002840050745e-14));
#844=vector('',#843,5.681114955129e-1);
#845=cartesian_point('',(6.984676668998e1,3.950974550716e1,-5.693165133448e1));
#846=line('',#845,#844);
#847=cartesian_point('',(6.621553640718e1,-1.231686218199e1,-5.693165222861e1));
#848=direction('',(0.e0,0.e0,-1.e0));
#849=direction('',(7.071105322677e-2,9.974968405722e-1,0.e0));
#850=axis2_placement_3d('',#847,#848,#849);
#852=cartesian_point('',(0.e0,0.e0,-5.693165222861e1));
#853=direction('',(0.e0,0.e0,1.e0));
#854=direction('',(8.745321405449e-1,4.849675609296e-1,0.e0));
#855=axis2_placement_3d('',#852,#853,#854);
#857=cartesian_point('',(0.e0,0.e0,-5.537642113639e1));
#858=direction('',(0.e0,0.e0,1.e0));
#859=direction('',(8.594647005430e-1,5.111950982947e-1,0.e0));
#860=axis2_placement_3d('',#857,#858,#859);
#862=cartesian_point('',(3.794679734783e1,7.064815272992e1,-5.537642113639e1));
#863=cartesian_point('',(3.817185890673e1,7.076970737436e1,-5.484207119604e1));
#864=cartesian_point('',(3.866286938336e1,7.104342187561e1,-5.378266007535e1));
#865=cartesian_point('',(3.960167761806e1,7.151568043523e1,-5.223488321973e1));
#866=cartesian_point('',(4.071708604887e1,7.205304261986e1,-5.074654575507e1));
#867=cartesian_point('',(4.201899599431e1,7.263726104966e1,-4.934226025836e1));
#868=cartesian_point('',(4.350069519271e1,7.325073593871e1,-4.804346839097e1));
#869=cartesian_point('',(4.517026601447e1,7.387838907434e1,-4.685740743507e1));
#870=cartesian_point('',(4.703827264605e1,7.450378612761e1,-4.579260445986e1));
#871=cartesian_point('',(4.910140871551e1,7.510376566885e1,-4.486476230968e1));
#872=cartesian_point('',(5.136874236480e1,7.565713875696e1,-4.408227978464e1));
#873=cartesian_point('',(5.383185082968e1,7.613660730285e1,-4.345897295197e1));
#874=cartesian_point('',(5.649391448849e1,7.651629112992e1,-4.300307533071e1));
#875=cartesian_point('',(5.933941614855e1,7.676638178109e1,-4.272489609519e1));
#876=cartesian_point('',(6.135241933287e1,7.682780801570e1,-4.266190797263e1));
#877=cartesian_point('',(6.238649723466e1,7.682731186106e1,-4.266190797263e1));
#879=cartesian_point('',(3.770406602494e1,7.052489978229e1,-5.693164954872e1));
#880=cartesian_point('',(3.657575169142e1,6.990780100592e1,-5.564922200441e1));
#881=cartesian_point('',(3.547295113561e1,6.924970716374e1,-5.436588829364e1));
#882=cartesian_point('',(3.439555702193e1,6.855079072057e1,-5.308165222861e1));
#884=direction('',(0.e0,0.e0,1.e0));
#885=vector('',#884,5.415e1);
#886=cartesian_point('',(3.439555702193e1,6.855079072057e1,-5.308165222861e1));
#887=line('',#886,#885);
#888=cartesian_point('',(3.794679734783e1,7.064815272992e1,-5.537642113639e1));
#889=cartesian_point('',(3.795315961232e1,7.065158895777e1,-5.554932748449e1));
#890=cartesian_point('',(3.795657203002e1,7.066683772479e1,-5.589512967413e1));
#891=cartesian_point('',(3.797515281006e1,7.066845808012e1,-5.641359044438e1));
#892=cartesian_point('',(3.798180001570e1,7.068104120170e1,-5.675902307499e1));
#893=cartesian_point('',(3.798816026723e1,7.068446752235e1,-5.693165222861e1));
#895=direction('',(5.442273909985e-1,-8.389377489927e-1,1.421100749913e-5));
#896=vector('',#895,1.999987342210e0);
#897=cartesian_point('',(3.330710912865e1,7.022865559946e1,-5.308168065045e1));
#898=line('',#897,#896);
#899=cartesian_point('',(3.330710912865e1,7.022865559946e1,-5.308168065045e1));
#900=cartesian_point('',(3.358268795879e1,7.040742636990e1,-5.341016608390e1));
#901=cartesian_point('',(3.413687666102e1,7.075995875866e1,-5.406704235195e1));
#902=cartesian_point('',(3.497903643003e1,7.127271348635e1,-5.505204762411e1));
#903=cartesian_point('',(3.554423062466e1,7.160577837766e1,-5.570890345365e1));
#904=cartesian_point('',(3.582948347909e1,7.176913920415e1,-5.603711827767e1));
#906=cartesian_point('',(3.582948347909e1,7.176913920415e1,-5.603711827767e1));
#907=cartesian_point('',(3.582681174907e1,7.176760913699e1,-5.596374597039e1));
#908=cartesian_point('',(3.582381645699e1,7.176294100680e1,-5.581710512787e1));
#909=cartesian_point('',(3.581537905503e1,7.176154315080e1,-5.559672914177e1));
#910=cartesian_point('',(3.581427141133e1,7.175469577942e1,-5.544985858258e1));
#911=cartesian_point('',(3.581159877030e1,7.175316356440e1,-5.537642113639e1));
#913=cartesian_point('',(3.581159877030e1,7.175316356440e1,-5.537642113639e1));
#914=cartesian_point('',(3.603370982321e1,7.188049899349e1,-5.484321980943e1));
#915=cartesian_point('',(3.652434029017e1,7.216364345993e1,-5.378850206567e1));
#916=cartesian_point('',(3.744458378564e1,7.265989180017e1,-5.224734640339e1));
#917=cartesian_point('',(3.854055983450e1,7.322438017711e1,-5.076598907006e1));
#918=cartesian_point('',(3.981728320577e1,7.384144174241e1,-4.936777150414e1));
#919=cartesian_point('',(4.127329391573e1,7.449529311034e1,-4.807065603049e1));
#920=cartesian_point('',(4.291485400613e1,7.517108815079e1,-4.688428084363e1));
#921=cartesian_point('',(4.475351132201e1,7.585378761672e1,-4.581696586131e1));
#922=cartesian_point('',(4.678553104630e1,7.652072955676e1,-4.488535822041e1));
#923=cartesian_point('',(4.902107797316e1,7.715231612544e1,-4.409791613755e1));
#924=cartesian_point('',(5.145172156712e1,7.772193736626e1,-4.346929927158e1));
#925=cartesian_point('',(5.408137191060e1,7.820525801724e1,-4.300829771406e1));
#926=cartesian_point('',(5.689545034691e1,7.857342150082e1,-4.272611250243e1));
#927=cartesian_point('',(5.888858308130e1,7.872409368006e1,-4.266190797263e1));
#928=cartesian_point('',(5.991341902610e1,7.877114386379e1,-4.266190797263e1));
#930=direction('',(2.112280252590e-14,0.e0,1.e0));
#931=vector('',#930,4.373025574402e1);
#932=cartesian_point('',(8.041513864379e1,7.568224307301e1,-4.266190797263e1));
#933=line('',#932,#931);
#934=direction('',(1.272174213315e-7,-1.961082846991e-7,-1.e0));
#935=vector('',#934,5.415002842184e1);
#936=cartesian_point('',(3.330710223982e1,7.022866621873e1,1.068347771389e0));
#937=line('',#936,#935);
#938=cartesian_point('',(0.e0,0.e0,-5.537642113639e1));
#939=direction('',(0.e0,0.e0,1.e0));
#940=direction('',(4.466121914250e-1,8.947276403859e-1,0.e0));
#941=axis2_placement_3d('',#938,#939,#940);
#943=cartesian_point('',(-6.276203252287e0,7.994829695399e1,-5.537642113639e1));
#944=cartesian_point('',(-6.152597483075e0,8.017223857617e1,-5.484207119830e1));
#945=cartesian_point('',(-5.887538013853e0,8.066797478927e1,-5.378266007874e1));
#946=cartesian_point('',(-5.353127592720e0,8.157284746495e1,-5.223488321588e1));
#947=cartesian_point('',(-4.705356455666e0,8.262797147424e1,-5.074654573699e1));
#948=cartesian_point('',(-3.926029347167e0,8.382335003975e1,-4.934226025100e1));
#949=cartesian_point('',(-3.011276924173e0,8.514054856718e1,-4.804346838484e1));
#950=cartesian_point('',(-1.946147588318e0,8.657125280509e1,-4.685740744103e1));
#951=cartesian_point('',(-7.128686866388e-1,8.810734964129e1,
-4.579260445343e1));
#952=cartesian_point('',(6.983012620377e-1,8.972756728426e1,-4.486476231023e1));
#953=cartesian_point('',(2.306447121452e0,9.141898402222e1,-4.408227978220e1));
#954=cartesian_point('',(4.119242969343e0,9.315408189878e1,-4.345897294947e1));
#955=cartesian_point('',(6.153357129774e0,9.491280934925e1,-4.300307533077e1));
#956=cartesian_point('',(8.411853001493e0,9.666170084736e1,-4.272489609459e1));
#957=cartesian_point('',(1.007203524329e1,9.780176659404e1,-4.266190797263e1));
#958=cartesian_point('',(1.094219857781e1,9.836045534304e1,-4.266190797263e1));
#960=cartesian_point('',(-6.413755078633e0,7.971337296781e1,-5.693164954871e1));
#961=cartesian_point('',(-7.029270962869e0,7.858419435870e1,-5.564922200441e1));
#962=cartesian_point('',(-7.601158700615e0,7.743432437195e1,-5.436588829364e1));
#963=cartesian_point('',(-8.129601833981e0,7.626385005548e1,-5.308165222861e1));
#965=direction('',(0.e0,2.991758887411e-14,1.e0));
#966=vector('',#965,5.415e1);
#967=cartesian_point('',(-8.129601833980e0,7.626385005549e1,-5.308165222861e1));
#968=line('',#967,#966);
#969=cartesian_point('',(-6.276203252287e0,7.994829695399e1,-5.537642113639e1));
#970=cartesian_point('',(-6.272709041178e0,7.995462755901e1,-5.554932748446e1));
#971=cartesian_point('',(-6.278083137015e0,7.996930027464e1,-5.589512967407e1));
#972=cartesian_point('',(-6.263328563468e0,7.998070963472e1,-5.641359044432e1));
#973=cartesian_point('',(-6.264540202311e0,7.999488892324e1,-5.675902307496e1));
#974=cartesian_point('',(-6.261042327925e0,8.000121010569e1,-5.693165222861e1));
#976=direction('',(9.114167933966e-1,-4.114844207412e-1,1.421076708388e-5));
#977=vector('',#976,1.999987362934e0);
#978=cartesian_point('',(-9.952423903139e0,7.708681369701e1,-5.308168064997e1));
#979=line('',#978,#977);
#980=cartesian_point('',(-9.952423903139e0,7.708681369701e1,-5.308168064997e1));
#981=cartesian_point('',(-9.817257264483e0,7.738620083822e1,-5.341016608424e1));
#982=cartesian_point('',(-9.541665808172e0,7.798240009396e1,-5.406704235301e1));
#983=cartesian_point('',(-9.110454288552e0,7.886908330688e1,-5.505204762976e1));
#984=cartesian_point('',(-8.815079008254e0,7.945485641088e1,-5.570890344639e1));
#985=cartesian_point('',(-8.663442440938e0,7.974651085540e1,-5.603711829008e1));
#987=cartesian_point('',(-8.663442440938e0,7.974651085540e1,-5.603711829008e1));
#988=cartesian_point('',(-8.664862696453e0,7.974377916712e1,-5.596374598379e1));
#989=cartesian_point('',(-8.664858487499e0,7.973823270461e1,-5.581710512146e1));
#990=cartesian_point('',(-8.671200455553e0,7.973249484939e1,-5.559672914342e1));
#991=cartesian_point('',(-8.668429996912e0,7.972613576808e1,-5.544985858252e1));
#992=cartesian_point('',(-8.669849857502e0,7.972340178036e1,-5.537642113639e1));
#994=cartesian_point('',(-8.669849857502e0,7.972340178036e1,-5.537642113639e1));
#995=cartesian_point('',(-8.551851698686e0,7.995061107110e1,-5.484321982588e1));
#996=cartesian_point('',(-8.292210512556e0,8.045407455663e1,-5.378850210515e1));
#997=cartesian_point('',(-7.786388088649e0,8.136909049150e1,-5.224734644680e1));
#998=cartesian_point('',(-7.169630632520e0,8.243652707981e1,-5.076598910463e1));
#999=cartesian_point('',(-6.429248824509e0,8.364591630829e1,-4.936777153713e1));
#1000=cartesian_point('',(-5.557937062147e0,8.498319137961e1,
-4.807065605687e1));
#1001=cartesian_point('',(-4.542400534627e0,8.643924906661e1,
-4.688428087179e1));
#1002=cartesian_point('',(-3.364793418562e0,8.800768166560e1,
-4.581696587749e1));
#1003=cartesian_point('',(-2.016004687541e0,8.966740593497e1,
-4.488535823529e1));
#1004=cartesian_point('',(-4.768872358103e-1,9.140743155576e1,
-4.409791614628e1));
#1005=cartesian_point('',(1.259854422758e0,9.320081525338e1,-4.346929927644e1));
#1006=cartesian_point('',(3.210667166082e0,9.502919963411e1,-4.300829771645e1));
#1007=cartesian_point('',(5.378889230707e0,9.686042734923e1,-4.272611250264e1));
#1008=cartesian_point('',(6.974102331168e0,9.806482569942e1,-4.266190797263e1));
#1009=cartesian_point('',(7.810783683805e0,9.865851480360e1,-4.266190797263e1));
#1011=direction('',(3.249661927062e-14,1.234871532284e-14,1.e0));
#1012=vector('',#1011,4.373025574402e1);
#1013=cartesian_point('',(2.672750965874e1,1.071449329978e2,-4.266190797263e1));
#1014=line('',#1013,#1012);
#1015=direction('',(2.127019668696e-7,-9.603021786929e-8,-1.e0));
#1016=vector('',#1015,5.415002842136e1);
#1017=cartesian_point('',(-9.952435420957e0,7.708681889705e1,1.068347771389e0));
#1018=line('',#1017,#1016);
#1019=cartesian_point('',(0.e0,0.e0,-5.537642113639e1));
#1020=direction('',(0.e0,0.e0,1.e0));
#1021=direction('',(-1.080595203430e-1,9.941444261591e-1,0.e0));
#1022=axis2_placement_3d('',#1019,#1020,#1021);
#1024=cartesian_point('',(-4.850623081476e1,6.386130663599e1,
-5.537642113639e1));
#1025=cartesian_point('',(-4.852333115476e1,6.411652382752e1,
-5.484207119767e1));
#1026=cartesian_point('',(-4.856839056453e1,6.467686370451e1,
-5.378266007726e1));
#1027=cartesian_point('',(-4.860807711202e1,6.572701315396e1,
-5.223488321421e1));
#1028=cartesian_point('',(-4.863363935225e1,6.696485027879e1,
-5.074654573585e1));
#1029=cartesian_point('',(-4.862436604468e1,6.839180319997e1,
-4.934226025183e1));
#1030=cartesian_point('',(-4.856703490969e1,6.999445634555e1,
-4.804346838486e1));
#1031=cartesian_point('',(-4.844457290341e1,7.177389956588e1,
-4.685740744099e1));
#1032=cartesian_point('',(-4.823764256825e1,7.373291722187e1,
-4.579260445338e1));
#1033=cartesian_point('',(-4.792654784983e1,7.585888192301e1,
-4.486476231021e1));
#1034=cartesian_point('',(-4.748824750773e1,7.815124238704e1,
-4.408227978218e1));
#1035=cartesian_point('',(-4.690140746238e1,8.059099897028e1,
-4.345897294957e1));
#1036=cartesian_point('',(-4.614116435843e1,8.317029598486e1,
-4.300307533073e1));
#1037=cartesian_point('',(-4.518684701093e1,8.586263761834e1,
-4.272489609463e1));
#1038=cartesian_point('',(-4.440666728910e1,8.771932137854e1,
-4.266190797263e1));
#1039=cartesian_point('',(-4.397673401724e1,8.865978654488e1,
-4.266190797263e1));
#1041=cartesian_point('',(-4.849492414112e1,6.358931055345e1,
-5.693164954871e1));
#1042=cartesian_point('',(-4.840218795076e1,6.230661646130e1,
-5.564922200441e1));
#1043=cartesian_point('',(-4.826156311896e1,6.103010511090e1,
-5.436588829364e1));
#1044=cartesian_point('',(-4.807325111159e1,5.975975049167e1,
-5.308165222861e1));
#1046=direction('',(0.e0,0.e0,1.e0));
#1047=vector('',#1046,5.415e1);
#1048=cartesian_point('',(-4.807325111159e1,5.975975049167e1,
-5.308165222861e1));
#1049=line('',#1048,#1047);
#1050=cartesian_point('',(-4.850623081476e1,6.386130663599e1,
-5.537642113639e1));
#1051=cartesian_point('',(-4.850671422418e1,6.386852136939e1,
-5.554932746911e1));
#1052=cartesian_point('',(-4.851916805844e1,6.387795888292e1,
-5.589512964269e1));
#1053=cartesian_point('',(-4.851292487295e1,6.389553351078e1,
-5.641359041112e1));
#1054=cartesian_point('',(-4.852161090252e1,6.390680682106e1,
-5.675902306265e1));
#1055=cartesian_point('',(-4.852208613586e1,6.391401560965e1,
-5.693165222861e1));
#1057=direction('',(9.891908923098e-1,1.466334831114e-1,1.421076927591e-5));
#1058=vector('',#1057,1.999987362935e0);
#1059=cartesian_point('',(-5.005162039574e1,5.946648537846e1,
-5.308168064997e1));
#1060=line('',#1059,#1058);
#1061=cartesian_point('',(-5.005162039574e1,5.946648537846e1,
-5.308168064997e1));
#1062=cartesian_point('',(-5.009978735912e1,5.979142017833e1,
-5.341016608424e1));
#1063=cartesian_point('',(-5.019030569191e1,6.044196659079e1,
-5.406704235301e1));
#1064=cartesian_point('',(-5.030697121751e1,6.142101697247e1,
-5.505204762976e1));
#1065=cartesian_point('',(-5.037520962693e1,6.207348935124e1,
-5.570890344638e1));
#1066=cartesian_point('',(-5.040534070740e1,6.240082416690e1,
-5.603711829007e1));
#1068=cartesian_point('',(-5.040534070740e1,6.240082416690e1,
-5.603711829007e1));
#1069=cartesian_point('',(-5.040505849425e1,6.239775828981e1,
-5.596374598384e1));
#1070=cartesian_point('',(-5.040205608744e1,6.239309472707e1,
-5.581710512158e1));
#1071=cartesian_point('',(-5.040428877876e1,6.238483890302e1,
-5.559672914355e1));
#1072=cartesian_point('',(-5.039851995838e1,6.238098740102e1,
-5.544985858258e1));
#1073=cartesian_point('',(-5.039823616975e1,6.237791980310e1,
-5.537642113639e1));
#1075=cartesian_point('',(-5.039823616975e1,6.237791980310e1,
-5.537642113639e1));
#1076=cartesian_point('',(-5.042182055308e1,6.263285391779e1,
-5.484321983122e1));
#1077=cartesian_point('',(-5.047561624012e1,6.319676441171e1,
-5.378850211820e1));
#1078=cartesian_point('',(-5.054483595947e1,6.423998975063e1,
-5.224734646217e1));
#1079=cartesian_point('',(-5.060314497633e1,6.547141603164e1,
-5.076598911843e1));
#1080=cartesian_point('',(-5.063420882768e1,6.688909813937e1,
-4.936777155034e1));
#1081=cartesian_point('',(-5.062427618954e1,6.848515269675e1,
-4.807065606687e1));
#1082=cartesian_point('',(-5.055724115686e1,7.025911005932e1,
-4.688428088117e1));
#1083=cartesian_point('',(-5.041462680398e1,7.221522879001e1,
-4.581696588438e1));
#1084=cartesian_point('',(-5.017736937708e1,7.434069923373e1,
-4.488535824055e1));
#1085=cartesian_point('',(-4.982341954339e1,7.663662850329e1,-4.409791615e1));
#1086=cartesian_point('',(-4.933207242427e1,7.908429569689e1,
-4.346929927877e1));
#1087=cartesian_point('',(-4.867956695652e1,8.167715057932e1,
-4.300829771730e1));
#1088=cartesian_point('',(-4.784570806085e1,8.438994641089e1,
-4.272611250285e1));
#1089=cartesian_point('',(-4.715496559330e1,8.626562097667e1,
-4.266190797263e1));
#1090=cartesian_point('',(-4.677212231697e1,8.721742634917e1,
-4.266190797263e1));
#1092=direction('',(0.e0,0.e0,1.e0));
#1093=vector('',#1092,4.373025574402e1);
#1094=cartesian_point('',(-3.544729048150e1,1.045843489112e2,
-4.266190797263e1));
#1095=line('',#1094,#1093);
#1096=direction('',(2.308524987924e-7,3.422059935028e-8,-1.e0));
#1097=vector('',#1096,5.415002842136e1);
#1098=cartesian_point('',(-5.005163289641e1,5.946648352542e1,1.068347771389e0));
#1099=line('',#1098,#1097);
#1100=cartesian_point('',(0.e0,0.e0,-5.537642113639e1));
#1101=direction('',(0.e0,0.e0,1.e0));
#1102=direction('',(-6.284175360052e-1,7.778762115152e-1,0.e0));
#1103=axis2_placement_3d('',#1100,#1101,#1102);
#1105=cartesian_point('',(-7.533337592954e1,2.749551571020e1,
-5.537642113639e1));
#1106=cartesian_point('',(-7.548575226206e1,2.770096568017e1,
-5.484207119607e1));
#1107=cartesian_point('',(-7.582662253714e1,2.814797640061e1,
-5.378266007543e1));
#1108=cartesian_point('',(-7.642780366928e1,2.900993354863e1,
-5.223488321984e1));
#1109=cartesian_point('',(-7.711858217028e1,3.003741552044e1,
-5.074654575519e1));
#1110=cartesian_point('',(-7.788230734510e1,3.124282189164e1,
-4.934226025839e1));
#1111=cartesian_point('',(-7.870060268200e1,3.262201611329e1,
-4.804346839102e1));
#1112=cartesian_point('',(-7.955969513865e1,3.418514609407e1,
-4.685740743510e1));
#1113=cartesian_point('',(-8.044482293019e1,3.594500945325e1,
-4.579260445990e1));
#1114=cartesian_point('',(-8.133258983514e1,3.790163302805e1,
-4.486476230970e1));
#1115=cartesian_point('',(-8.220331482883e1,4.006701097131e1,
-4.408227978466e1));
#1116=cartesian_point('',(-8.302877835763e1,4.243669520323e1,
-4.345897295198e1));
#1117=cartesian_point('',(-8.378381725856e1,4.501752045695e1,
-4.300307533072e1));
#1118=cartesian_point('',(-8.443671656771e1,4.779837419697e1,
-4.272489609519e1));
#1119=cartesian_point('',(-8.478428107286e1,4.978209643488e1,
-4.266190797263e1));
#1120=cartesian_point('',(-8.493110076925e1,5.080569856945e1,
-4.266190797263e1));
#1122=cartesian_point('',(-7.517680136520e1,2.727281834649e1,
-5.693164954833e1));
#1123=cartesian_point('',(-7.440526095872e1,2.624392110387e1,
-5.564922200415e1));
#1124=cartesian_point('',(-7.359677818601e1,2.524611742734e1,
-5.436588829351e1));
#1125=cartesian_point('',(-7.275150846234e1,2.427927650731e1,
-5.308165222861e1));
#1127=direction('',(0.e0,-1.423709821421e-14,1.e0));
#1128=vector('',#1127,5.415e1);
#1129=cartesian_point('',(-7.275150846234e1,2.427927650731e1,
-5.308165222861e1));
#1130=line('',#1129,#1128);
#1131=cartesian_point('',(-7.533337592954e1,2.749551571020e1,
-5.537642113639e1));
#1132=cartesian_point('',(-7.533768345524e1,2.750132357426e1,
-5.554932746914e1));
#1133=cartesian_point('',(-7.535326264974e1,2.750252912316e1,
-5.589512964276e1));
#1134=cartesian_point('',(-7.535751297348e1,2.752068895955e1,
-5.641359041118e1));
#1135=cartesian_point('',(-7.537091516610e1,2.752547601159e1,
-5.675902306267e1));
#1136=cartesian_point('',(-7.537521259961e1,2.753128329537e1,
-5.693165222861e1));
#1138=direction('',(7.528529577666e-1,6.581887447991e-1,1.421075209840e-5));
#1139=vector('',#1138,1.999987362940e0);
#1140=cartesian_point('',(-7.425720486403e1,2.296290733528e1,
-5.308168064993e1));
#1141=line('',#1140,#1139);
#1142=cartesian_point('',(-7.425720486403e1,2.296290733528e1,
-5.308168064993e1));
#1143=cartesian_point('',(-7.447341027965e1,2.321020856601e1,
-5.341016608411e1));
#1144=cartesian_point('',(-7.490129481124e1,2.370852476144e1,
-5.406704235252e1));
#1145=cartesian_point('',(-7.552879089615e1,2.446905033975e1,
-5.505204762849e1));
#1146=cartesian_point('',(-7.593897427041e1,2.498103303982e1,
-5.570890344347e1));
#1147=cartesian_point('',(-7.614130504269e1,2.524010488735e1,
-5.603711828723e1));
#1149=cartesian_point('',(-7.614130504269e1,2.524010488735e1,
-5.603711828723e1));
#1150=cartesian_point('',(-7.613940997609e1,2.523767837357e1,
-5.596374598101e1));
#1151=cartesian_point('',(-7.613436276825e1,2.523537859836e1,
-5.581710511799e1));
#1152=cartesian_point('',(-7.613177720546e1,2.522722639782e1,
-5.559672914257e1));
#1153=cartesian_point('',(-7.612484188033e1,2.522710549814e1,
-5.544985858223e1));
#1154=cartesian_point('',(-7.612294455797e1,2.522467838860e1,
-5.537642113639e1));
#1156=cartesian_point('',(-7.612294455797e1,2.522467838860e1,
-5.537642113639e1));
#1157=cartesian_point('',(-7.628062239886e1,2.542638443484e1,
-5.484321981238e1));
#1158=cartesian_point('',(-7.663077244770e1,2.587167533347e1,
-5.378850207271e1));
#1159=cartesian_point('',(-7.725305398047e1,2.671183972047e1,
-5.224734641047e1));
#1160=cartesian_point('',(-7.796791376708e1,2.771622317028e1,
-5.076598907569e1));
#1161=cartesian_point('',(-7.876055912308e1,2.889202113768e1,
-4.936777151542e1));
#1162=cartesian_point('',(-7.961515966235e1,3.024003698571e1,
-4.807065603751e1));
#1163=cartesian_point('',(-8.051791272557e1,3.176858379781e1,
-4.688428085230e1));
#1164=cartesian_point('',(-8.145557752022e1,3.349123409301e1,
-4.581696586565e1));
#1165=cartesian_point('',(-8.240519116516e1,3.540751946461e1,
-4.488535822497e1));
#1166=cartesian_point('',(-8.334880373513e1,3.753029288317e1,
-4.409791614010e1));
#1167=cartesian_point('',(-8.425887568046e1,3.985500054176e1,
-4.346929927325e1));
#1168=cartesian_point('',(-8.511187694863e1,4.238897935590e1,
-4.300829771473e1));
#1169=cartesian_point('',(-8.587716844669e1,4.512191015167e1,
-4.272611250256e1));
#1170=cartesian_point('',(-8.631023801884e1,4.707325096142e1,
-4.266190797263e1));
#1171=cartesian_point('',(-8.650280255996e1,4.808093212781e1,
-4.266190797263e1));
#1173=direction('',(0.e0,1.202374913013e-14,1.e0));
#1174=vector('',#1173,4.373025574402e1);
#1175=cartesian_point('',(-8.636600185233e1,6.881358996379e1,
-4.266190797263e1));
#1176=line('',#1175,#1174);
#1177=direction('',(1.756970652811e-7,1.536047946142e-7,-1.e0));
#1178=vector('',#1177,5.415002842132e1);
#1179=cartesian_point('',(-7.425721437803e1,2.296289901758e1,1.068347771389e0));
#1180=line('',#1179,#1178);
#1181=cartesian_point('',(0.e0,0.e0,-5.537642113639e1));
#1182=direction('',(0.e0,0.e0,1.e0));
#1183=direction('',(-9.492250790260e-1,3.145977580149e-1,0.e0));
#1184=axis2_placement_3d('',#1181,#1182,#1183);
#1186=cartesian_point('',(0.e0,0.e0,-5.537642113639e1));
#1187=direction('',(0.e0,0.e0,1.e0));
#1188=direction('',(-1.e0,0.e0,0.e0));
#1189=axis2_placement_3d('',#1186,#1187,#1188);
#1191=cartesian_point('',(-7.823882905089e1,-1.760132216203e1,
-5.537642113639e1));
#1192=cartesian_point('',(-7.847809512401e1,-1.751087890289e1,
-5.484207119611e1));
#1193=cartesian_point('',(-7.900653473878e1,-1.731914343456e1,
-5.378266007551e1));
#1194=cartesian_point('',(-7.997830878173e1,-1.691908811587e1,
-5.223488321994e1));
#1195=cartesian_point('',(-8.111495068692e1,-1.642823247093e1,
-5.074654575531e1));
#1196=cartesian_point('',(-8.240915768979e1,-1.582714269902e1,
-4.934226025842e1));
#1197=cartesian_point('',(-8.384323439153e1,-1.510936281119e1,
-4.804346839107e1));
#1198=cartesian_point('',(-8.541108130974e1,-1.425890926828e1,
-4.685740743514e1));
#1199=cartesian_point('',(-8.710719984748e1,-1.325703494696e1,
-4.579260445993e1));
#1200=cartesian_point('',(-8.891192296353e1,-1.209106738068e1,
-4.486476230972e1));
#1201=cartesian_point('',(-9.081517944163e1,-1.074027560164e1,
-4.408227978467e1));
#1202=cartesian_point('',(-9.279082521728e1,-9.193143685599e0,
-4.345897295199e1));
#1203=cartesian_point('',(-9.482138774766e1,-7.430316824447e0,
-4.300307533072e1));
#1204=cartesian_point('',(-9.687417918830e1,-5.443995517964e0,
-4.272489609519e1));
#1205=cartesian_point('',(-9.823912075787e1,-3.963154704725e0,
-4.266190797263e1));
#1206=cartesian_point('',(-9.891607165053e1,-3.181454735383e0,
-4.266190797263e1));
#1208=cartesian_point('',(-3.406455457549e1,5.810170804093e1,
-4.266190797263e1));
#1209=direction('',(0.e0,0.e0,1.e0));
#1210=direction('',(-9.796639355353e-1,2.006453922008e-1,0.e0));
#1211=axis2_placement_3d('',#1208,#1209,#1210);
#1213=cartesian_point('',(0.e0,0.e0,-4.266190797263e1));
#1214=direction('',(0.e0,0.e0,1.e0));
#1215=direction('',(-8.740550806002e-1,4.858268375429e-1,0.e0));
#1216=axis2_placement_3d('',#1213,#1214,#1215);
#1218=cartesian_point('',(0.e0,0.e0,-4.266190797263e1));
#1219=direction('',(0.e0,0.e0,1.e0));
#1220=direction('',(-1.e0,0.e0,0.e0));
#1221=axis2_placement_3d('',#1218,#1219,#1220);
#1223=cartesian_point('',(-6.007053171146e1,3.045871920489e1,
-4.266190797263e1));
#1224=direction('',(0.e0,0.e0,-1.e0));
#1225=direction('',(-7.559390622386e-1,-6.546419893207e-1,0.e0));
#1226=axis2_placement_3d('',#1223,#1224,#1225);
#1228=cartesian_point('',(0.e0,0.e0,-4.266190797263e1));
#1229=direction('',(0.e0,0.e0,-1.e0));
#1230=direction('',(-9.898011092776e-1,1.424561829927e-1,0.e0));
#1231=axis2_placement_3d('',#1228,#1229,#1230);
#1233=cartesian_point('',(-7.798670592028e1,-1.770400473811e1,
-5.693164954832e1));
#1234=cartesian_point('',(-7.678135963708e1,-1.815238456847e1,
-5.564922200414e1));
#1235=cartesian_point('',(-7.556174810457e1,-1.855463359638e1,
-5.436588829350e1));
#1236=cartesian_point('',(-7.432793133617e1,-1.891094589253e1,
-5.308165222861e1));
#1238=direction('',(1.784557932842e-14,1.220322704076e-14,1.e0));
#1239=vector('',#1238,5.415e1);
#1240=cartesian_point('',(-7.432793133617e1,-1.891094589253e1,
-5.308165222861e1));
#1241=line('',#1240,#1239);
#1242=cartesian_point('',(-7.823882905089e1,-1.760132216203e1,
-5.537642113639e1));
#1243=cartesian_point('',(-7.824559286275e1,-1.759876542183e1,
-5.554932748452e1));
#1244=cartesian_point('',(-7.825935035977e1,-1.760617492691e1,
-5.589512967420e1));
#1245=cartesian_point('',(-7.827274523727e1,-1.759319616754e1,
-5.641359044445e1));
#1246=cartesian_point('',(-7.828660730733e1,-1.759641537633e1,
-5.675902307502e1));
#1247=cartesian_point('',(-7.829336231456e1,-1.759385366790e1,
-5.693165222861e1));
#1249=direction('',(2.774507785980e-1,9.607398530577e-1,1.421095227973e-5));
#1250=vector('',#1249,1.999987345600e0);
#1251=cartesian_point('',(-7.488282938239e1,-2.083241344106e1,
-5.308168065033e1));
#1252=line('',#1251,#1250);
#1253=cartesian_point('',(-7.488282938239e1,-2.083241344106e1,
-5.308168065033e1));
#1254=cartesian_point('',(-7.519841842953e1,-2.074127490177e1,
-5.341016608383e1));
#1255=cartesian_point('',(-7.582779682848e1,-2.055342646956e1,
-5.406704235162e1));
#1256=cartesian_point('',(-7.676686559288e1,-2.025292631704e1,
-5.505204762392e1));
#1257=cartesian_point('',(-7.738874251282e1,-2.004401056042e1,
-5.570890344941e1));
#1258=cartesian_point('',(-7.769902395717e1,-1.993546850204e1,
-5.603711827729e1));
#1260=cartesian_point('',(-7.769902395717e1,-1.993546850204e1,
-5.603711827729e1));
#1261=cartesian_point('',(-7.769611780488e1,-1.993648512665e1,
-5.596374597037e1));
#1262=cartesian_point('',(-7.769062851677e1,-1.993569080393e1,
-5.581710512352e1));
#1263=cartesian_point('',(-7.768404572743e1,-1.994115070915e1,
-5.559672914151e1));
#1264=cartesian_point('',(-7.767814617170e1,-1.993750261313e1,
-5.544985858239e1));
#1265=cartesian_point('',(-7.767523779971e1,-1.993851851926e1,
-5.537642113639e1));
#1267=cartesian_point('',(-7.767523779971e1,-1.993851851926e1,
-5.537642113639e1));
#1268=cartesian_point('',(-7.791693938111e1,-1.985409117695e1,
-5.484321981246e1));
#1269=cartesian_point('',(-7.845225560161e1,-1.966881952478e1,
-5.378850207288e1));
#1270=cartesian_point('',(-7.942999692842e1,-1.929850560260e1,
-5.224734641066e1));
#1271=cartesian_point('',(-8.057440776001e1,-1.884010132984e1,
-5.076598907585e1));
#1272=cartesian_point('',(-8.187693452355e1,-1.827955556864e1,
-4.936777151567e1));
#1273=cartesian_point('',(-8.332469462152e1,-1.760763332077e1,
-4.807065603767e1));
#1274=cartesian_point('',(-8.491057159802e1,-1.680987855575e1,
-4.688428085248e1));
#1275=cartesian_point('',(-8.663076533182e1,-1.586771465010e1,
-4.581696586576e1));
#1276=cartesian_point('',(-8.846570555028e1,-1.476912005032e1,
-4.488535822507e1));
#1277=cartesian_point('',(-9.040724163260e1,-1.349357729919e1,
-4.409791614016e1));
#1278=cartesian_point('',(-9.242974438776e1,-1.203002707832e1,
-4.346929927329e1));
#1279=cartesian_point('',(-9.451738661137e1,-1.035957512133e1,
-4.300829771475e1));
#1280=cartesian_point('',(-9.663881446683e1,-8.474336233074e0,
-4.272611250257e1));
#1281=cartesian_point('',(-9.805817725717e1,-7.066966530495e0,
-4.266190797263e1));
#1282=cartesian_point('',(-9.876500182205e1,-6.323393084136e0,
-4.266190797263e1));
#1284=direction('',(0.e0,0.e0,1.e0));
#1285=vector('',#1284,4.373025574402e1);
#1286=cartesian_point('',(-1.098596725416e2,1.119146052652e1,
-4.266190797263e1));
#1287=line('',#1286,#1285);
#1288=direction('',(6.483889352222e-8,2.245202891990e-7,-1.e0));
#1289=vector('',#1288,5.415002842172e1);
#1290=cartesian_point('',(-7.488283289342e1,-2.083242559884e1,
1.068347771389e0));
#1291=line('',#1290,#1289);
#1292=cartesian_point('',(0.e0,0.e0,-5.537642113639e1));
#1293=direction('',(0.e0,0.e0,1.e0));
#1294=direction('',(-9.686115089886e-1,-2.485794534046e-1,0.e0));
#1295=axis2_placement_3d('',#1292,#1293,#1294);
#1297=cartesian_point('',(-5.629997982535e1,-5.710895888362e1,
-5.537642113639e1));
#1298=cartesian_point('',(-5.655015803621e1,-5.716224208622e1,
-5.484207119611e1));
#1299=cartesian_point('',(-5.709836382741e1,-5.728666606611e1,
-5.378266007552e1));
#1300=cartesian_point('',(-5.813214941909e1,-5.747554803718e1,
-5.223488321994e1));
#1301=cartesian_point('',(-5.935372043791e1,-5.767718714741e1,
-5.074654575531e1));
#1302=cartesian_point('',(-6.076744107943e1,-5.787128667840e1,
-4.934226025842e1));
#1303=cartesian_point('',(-6.236191611193e1,-5.804284810932e1,
-4.804346839107e1));
#1304=cartesian_point('',(-6.414065647498e1,-5.817512776934e1,
-4.685740743514e1));
#1305=cartesian_point('',(-6.610917280675e1,-5.824938207106e1,
-4.579260445993e1));
#1306=cartesian_point('',(-6.825777240560e1,-5.824431699060e1,
-4.486476230972e1));
#1307=cartesian_point('',(-7.058919192196e1,-5.813704774771e1,
-4.408227978467e1));
#1308=cartesian_point('',(-7.308766468187e1,-5.790375123149e1,
-4.345897295199e1));
#1309=cartesian_point('',(-7.574895707091e1,-5.751869856988e1,
-4.300307533072e1));
#1310=cartesian_point('',(-7.854978820617e1,-5.695765491461e1,
-4.272489609519e1));
#1311=cartesian_point('',(-8.049867728141e1,-5.644992824119e1,
-4.266190797263e1));
#1312=cartesian_point('',(-8.149079740183e1,-5.615835488884e1,
-4.266190797263e1));
#1314=cartesian_point('',(-5.603236833633e1,-5.705902016983e1,
-5.693164954874e1));
#1315=cartesian_point('',(-5.477596714475e1,-5.678450208142e1,
-5.564922200443e1));
#1316=cartesian_point('',(-5.353250767089e1,-5.646346453239e1,
-5.436588829365e1));
#1317=cartesian_point('',(-5.230193546937e1,-5.609610322849e1,
-5.308165222861e1));
#1319=direction('',(0.e0,-2.361914911114e-14,1.e0));
#1320=vector('',#1319,5.415e1);
#1321=cartesian_point('',(-5.230193546937e1,-5.609610322849e1,
-5.308165222861e1));
#1322=line('',#1321,#1320);
#1323=cartesian_point('',(-5.629997982535e1,-5.710895888362e1,
-5.537642113639e1));
#1324=cartesian_point('',(-5.630705211240e1,-5.711046514631e1,
-5.554932748449e1));
#1325=cartesian_point('',(-5.631461912373e1,-5.712413664328e1,
-5.589512967414e1));
#1326=cartesian_point('',(-5.633290463381e1,-5.712046090401e1,
-5.641359044438e1));
#1327=cartesian_point('',(-5.634282522790e1,-5.713066394789e1,
-5.675902307499e1));
#1328=cartesian_point('',(-5.634989279447e1,-5.713216127068e1,
-5.693165222861e1));
#1330=direction('',(-2.860543430114e-1,9.582133961923e-1,1.421096964908e-5));
#1331=vector('',#1330,1.999987345597e0);
#1332=cartesian_point('',(-5.172983040320e1,-5.801251789526e1,
-5.308168065037e1));
#1333=line('',#1332,#1331);
#1334=cartesian_point('',(-5.172983040320e1,-5.801251789526e1,
-5.308168065037e1));
#1335=cartesian_point('',(-5.204458954616e1,-5.810648258016e1,
-5.341016608397e1));
#1336=cartesian_point('',(-5.267560620262e1,-5.828875211162e1,
-5.406704235212e1));
#1337=cartesian_point('',(-5.362805163355e1,-5.854369953818e1,
-5.505204762527e1));
#1338=cartesian_point('',(-5.426414853582e1,-5.870419074426e1,
-5.570890345228e1));
#1339=cartesian_point('',(-5.458385252594e1,-5.878064538598e1,
-5.603711828077e1));
#1341=cartesian_point('',(-5.458385252594e1,-5.878064538598e1,
-5.603711828077e1));
#1342=cartesian_point('',(-5.458085812037e1,-5.877992929794e1,
-5.596374597361e1));
#1343=cartesian_point('',(-5.457666985388e1,-5.877629313874e1,
-5.581710512640e1));
#1344=cartesian_point('',(-5.456818016045e1,-5.877732697418e1,
-5.559672914206e1));
#1345=cartesian_point('',(-5.456518974559e1,-5.877106831724e1,
-5.544985858253e1));
#1346=cartesian_point('',(-5.456219386121e1,-5.877035042464e1,
-5.537642113639e1));
#1348=cartesian_point('',(-5.456219386121e1,-5.877035042464e1,
-5.537642113639e1));
#1349=cartesian_point('',(-5.481116819826e1,-5.883001121642e1,
-5.484321981245e1));
#1350=cartesian_point('',(-5.536166391946e1,-5.896359078743e1,
-5.378850207288e1));
#1351=cartesian_point('',(-5.638438875242e1,-5.918071844409e1,
-5.224734641066e1));
#1352=cartesian_point('',(-5.759494937224e1,-5.941385706049e1,
-5.076598907585e1));
#1353=cartesian_point('',(-5.899374745711e1,-5.964656167566e1,
-4.936777151567e1));
#1354=cartesian_point('',(-6.057493899465e1,-5.986409817848e1,
-4.807065603767e1));
#1355=cartesian_point('',(-6.234035352335e1,-6.005045802278e1,
-4.688428085248e1));
#1356=cartesian_point('',(-6.429683830035e1,-6.018795938369e1,
-4.581696586576e1));
#1357=cartesian_point('',(-6.643443009221e1,-6.025590812437e1,
-4.488535822507e1));
#1358=cartesian_point('',(-6.875736576656e1,-6.023263750482e1,
-4.409791614016e1));
#1359=cartesian_point('',(-7.125006489728e1,-6.009498690595e1,
-4.346929927329e1));
#1360=cartesian_point('',(-7.390942896826e1,-5.981850447914e1,
-4.300829771475e1));
#1361=cartesian_point('',(-7.671334563472e1,-5.937960455974e1,
-4.272611250257e1));
#1362=cartesian_point('',(-7.866829093033e1,-5.896310833940e1,
-4.266190797263e1));
#1363=cartesian_point('',(-7.966492733297e1,-5.871976020079e1,
-4.266190797263e1));
#1365=direction('',(-2.567232922379e-14,2.307259968214e-14,1.e0));
#1366=vector('',#1365,4.373025574402e1);
#1367=cartesian_point('',(-9.846801886595e1,-4.998445458618e1,
-4.266190797263e1));
#1368=line('',#1367,#1366);
#1369=direction('',(-6.684954706646e-8,2.239299587942e-7,-1.e0));
#1370=vector('',#1369,5.415002842176e1);
#1371=cartesian_point('',(-5.172982678329e1,-5.801253002107e1,
1.068347771389e0));
#1372=line('',#1371,#1370);
#1373=cartesian_point('',(0.e0,0.e0,-5.537642113639e1));
#1374=direction('',(0.e0,0.e0,1.e0));
#1375=direction('',(-6.804207735333e-1,-7.328216501608e-1,0.e0));
#1376=axis2_placement_3d('',#1373,#1374,#1375);
#1378=cartesian_point('',(-1.648338699739e1,-7.848196522897e1,
-5.537642113639e1));
#1379=cartesian_point('',(-1.666503465485e1,-7.866205511044e1,
-5.484207119611e1));
#1380=cartesian_point('',(-1.705892694062e1,-7.906312839985e1,
-5.378266007551e1));
#1381=cartesian_point('',(-1.782645125029e1,-7.978096924755e1,
-5.223488321994e1));
#1382=cartesian_point('',(-1.874504834025e1,-8.061107374165e1,
-5.074654575531e1));
#1383=cartesian_point('',(-1.982936354029e1,-8.153872735543e1,
-4.934226025842e1));
#1384=cartesian_point('',(-2.107792027786e1,-8.254515173257e1,
-4.804346839107e1));
#1385=cartesian_point('',(-2.250272503528e1,-8.361815992957e1,
-4.685740743514e1));
#1386=cartesian_point('',(-2.411854781353e1,-8.474496381627e1,
-4.579260445993e1));
#1387=cartesian_point('',(-2.592874811370e1,-8.590240960958e1,
-4.486476230972e1));
#1388=cartesian_point('',(-2.794800144489e1,-8.707272565075e1,
-4.408227978467e1));
#1389=cartesian_point('',(-3.017592514278e1,-8.822734653782e1,
-4.345897295199e1));
#1390=cartesian_point('',(-3.262286888193e1,-8.934233939413e1,
-4.300307533072e1));
#1391=cartesian_point('',(-3.528235145509e1,-9.038472966384e1,
-4.272489609519e1));
#1392=cartesian_point('',(-3.719632921394e1,-9.101134289472e1,
-4.266190797263e1));
#1393=cartesian_point('',(-3.818857636866e1,-9.130248364607e1,
-4.266190797263e1));
#1395=cartesian_point('',(-1.628526568066e1,-7.829526298461e1,
-5.693164954874e1));
#1396=cartesian_point('',(-1.537677274981e1,-7.738501866045e1,
-5.564922200443e1));
#1397=cartesian_point('',(-1.450431893365e1,-7.644263821196e1,
-5.436588829365e1));
#1398=cartesian_point('',(-1.366775261685e1,-7.546825683471e1,
-5.308165222861e1));
#1400=direction('',(-3.365728748337e-14,2.309427913089e-14,1.e0));
#1401=vector('',#1400,5.415e1);
#1402=cartesian_point('',(-1.366775261685e1,-7.546825683471e1,
-5.308165222861e1));
#1403=line('',#1402,#1401);
#1404=cartesian_point('',(-1.648338699739e1,-7.848196522897e1,
-5.537642113639e1));
#1405=cartesian_point('',(-1.648852199444e1,-7.848705618926e1,
-5.554932748453e1));
#1406=cartesian_point('',(-1.648749565797e1,-7.850264837074e1,
-5.589512967422e1));
#1407=cartesian_point('',(-1.650486533922e1,-7.850944286201e1,
-5.641359044446e1));
#1408=cartesian_point('',(-1.650769422818e1,-7.852338982149e1,
-5.675902307503e1));
#1409=cartesian_point('',(-1.651283008786e1,-7.852847070901e1,
-5.693165222861e1));
#1411=direction('',(-7.587245084355e-1,6.514116364461e-1,1.421072685144e-5));
#1412=vector('',#1411,1.999987366611e0);
#1413=cartesian_point('',(-1.215031318524e1,-7.677107187806e1,
-5.308168064988e1));
#1414=line('',#1413,#1412);
#1415=cartesian_point('',(-1.215031318524e1,-7.677107187806e1,
-5.308168064988e1));
#1416=cartesian_point('',(-1.236429241965e1,-7.702030182785e1,
-5.341016608430e1));
#1417=cartesian_point('',(-1.279657155014e1,-7.751481063133e1,
-5.406704235320e1));
#1418=cartesian_point('',(-1.345994991240e1,-7.824424852789e1,
-5.505204763084e1));
#1419=cartesian_point('',(-1.390827780183e1,-7.872318358215e1,
-5.57