-尊龙人生就是博
iso-10303-21;
header;
file_description((''),'2;1');
file_name('asm0001_asm','2019-04-25t',('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,-4.469999999999e1));
#2=direction('',(0.e0,0.e0,1.e0));
#3=direction('',(0.e0,-1.e0,0.e0));
#4=axis2_placement_3d('',#1,#2,#3);
#6=direction('',(-3.910471326924e-14,1.045284632677e-1,-9.945218953683e-1));
#7=vector('',#6,3.882627966038e1);
#8=cartesian_point('',(-2.513814006180e-14,1.132121182151e2,-4.47e1));
#9=line('',#8,#7);
#10=cartesian_point('',(1.128296522751e2,1.754166680575e1,-5.395744682848e1));
#11=cartesian_point('',(1.128009714846e2,1.759027906806e1,-5.375886036495e1));
#12=cartesian_point('',(1.127717825942e2,1.764192647750e1,-5.356027820899e1));
#13=cartesian_point('',(1.127430258099e2,1.769053620159e1,-5.336170211434e1));
#15=cartesian_point('',(1.128612440101e2,1.681403857483e1,-5.321276596189e1));
#16=cartesian_point('',(1.128843132863e2,1.676542917811e1,-5.336169700377e1));
#17=cartesian_point('',(1.129075731514e2,1.671527944013e1,-5.351063345769e1));
#18=cartesian_point('',(1.129305714542e2,1.666666680574e1,-5.365957441926e1));
#20=cartesian_point('',(1.133542147733e2,1.375e1,-5.395744682848e1));
#21=cartesian_point('',(1.133613917029e2,1.360417571985e1,-5.385816218928e1));
#22=cartesian_point('',(1.133682884455e2,1.345834238599e1,-5.375887138584e1));
#23=cartesian_point('',(1.133749050502e2,1.331250000001e1,-5.365957441926e1));
#25=cartesian_point('',(1.133749050502e2,1.33125e1,-5.365957441925e1));
#26=cartesian_point('',(1.133705594615e2,1.321527609103e1,-5.351063570060e1));
#27=cartesian_point('',(1.133660918796e2,1.311805385708e1,-5.336169954793e1));
#28=cartesian_point('',(1.133615022738e2,1.302083329856e1,-5.321276596189e1));
#30=cartesian_point('',(1.133615022738e2,1.302083329856e1,-5.321276596189e1));
#31=cartesian_point('',(1.133460766477e2,1.297222168725e1,-5.301418233457e1));
#32=cartesian_point('',(1.133303684537e2,1.292582223149e1,-5.281560099391e1));
#33=cartesian_point('',(1.133148885418e2,1.287721159579e1,-5.261702135205e1));
#35=cartesian_point('',(1.130790703029e2,1.287278895483e1,-5.038297885656e1));
#36=cartesian_point('',(1.130525312951e2,1.292140120751e1,-5.018439260915e1));
#37=cartesian_point('',(1.130257003144e2,1.297222326234e1,-4.998581143963e1));
#38=cartesian_point('',(1.129990895921e2,1.302083329856e1,-4.978723424673e1));
#40=cartesian_point('',(1.129990895921e2,1.302083329856e1,-4.978723424672e1));
#41=cartesian_point('',(1.129721263236e2,1.311806627208e1,-4.963828150286e1));
#42=cartesian_point('',(1.129450341348e2,1.321528851126e1,-4.948934520311e1));
#43=cartesian_point('',(1.129178128329e2,1.331250000002e1,-4.934042537209e1));
#45=cartesian_point('',(1.129178128329e2,1.331250000001e1,-4.934042537211e1));
#46=cartesian_point('',(1.128901045008e2,1.345837063241e1,-4.924110920870e1));
#47=cartesian_point('',(1.128621118416e2,1.360420397441e1,-4.914181843449e1));
#48=cartesian_point('',(1.128338346573e2,1.375000000001e1,-4.904255306720e1));
#50=cartesian_point('',(1.128338346573e2,1.375000000001e1,-4.904255306721e1));
#51=cartesian_point('',(1.128048723374e2,1.394451604667e1,-4.899288940756e1));
#52=cartesian_point('',(1.127754068953e2,1.413896051769e1,-4.894324402254e1));
#53=cartesian_point('',(1.127454382593e2,1.433333340288e1,-4.889361691475e1));
#55=cartesian_point('',(1.125708052666e2,1.564583319426e1,-4.889361691475e1));
#56=cartesian_point('',(1.125490421166e2,1.584033191352e1,-4.894327613262e1));
#57=cartesian_point('',(1.125267750049e2,1.603477645265e1,-4.899292151728e1));
#58=cartesian_point('',(1.125040038765e2,1.622916680575e1,-4.904255306721e1));
#60=cartesian_point('',(1.125040038765e2,1.622916680574e1,-4.904255306721e1));
#61=cartesian_point('',(1.124935096923e2,1.637501440939e1,-4.914185355147e1));
#62=cartesian_point('',(1.124827329096e2,1.652084774403e1,-4.924114432067e1));
#63=cartesian_point('',(1.124716734507e2,1.666666680574e1,-4.934042537213e1));
#65=cartesian_point('',(1.124716734507e2,1.666666680573e1,-4.934042537208e1));
#66=cartesian_point('',(1.124802946821e2,1.671527737456e1,-4.948936014420e1));
#67=cartesian_point('',(1.124888867639e2,1.676388843942e1,-4.963829643606e1));
#68=cartesian_point('',(1.124974497141e2,1.681249999999e1,-4.978723424671e1));
#70=cartesian_point('',(1.123631999018e2,1.768749999997e1,-4.978723424659e1));
#71=cartesian_point('',(1.123444408210e2,1.763888854954e1,-4.953900521731e1));
#72=cartesian_point('',(1.123256547320e2,1.759027748461e1,-4.929077815655e1));
#73=cartesian_point('',(1.123068415954e2,1.754166680574e1,-4.904255306717e1));
#75=cartesian_point('',(1.123068415954e2,1.754166680574e1,-4.904255306721e1));
#76=cartesian_point('',(1.123160873368e2,1.734723326944e1,-4.884398276552e1));
#77=cartesian_point('',(1.123248333550e2,1.715278873096e1,-4.864540122756e1));
#78=cartesian_point('',(1.123330798307e2,1.695833319425e1,-4.844680845738e1));
#80=cartesian_point('',(1.123330798307e2,1.695833319426e1,-4.844680845737e1));
#81=cartesian_point('',(1.123518763101e2,1.676392642146e1,-4.834753690198e1));
#82=cartesian_point('',(1.123701684984e2,1.656948201956e1,-4.824824613173e1));
#83=cartesian_point('',(1.123879565489e2,1.637500000001e1,-4.814893615245e1));
#85=cartesian_point('',(1.129860404528e2,1.243750000001e1,-4.904255306718e1));
#86=cartesian_point('',(1.130177378432e2,1.234028595713e1,-4.924111790002e1));
#87=cartesian_point('',(1.130493048802e2,1.224306373089e1,-4.943969944780e1));
#88=cartesian_point('',(1.130807418256e2,1.214583333771e1,-4.963829767699e1));
#90=cartesian_point('',(1.134109212987e2,1.200206129043e1,-5.261702135205e1));
#91=cartesian_point('',(1.134320104058e2,1.205067199602e1,-5.286524619464e1));
#92=cartesian_point('',(1.134532947568e2,1.209722177874e1,-5.311347291416e1));
#93=cartesian_point('',(1.134743305390e2,1.214583333768e1,-5.336170211434e1));
#95=cartesian_point('',(1.134743305391e2,1.214583333767e1,-5.336170211433e1));
#96=cartesian_point('',(1.134849149775e2,1.224305305368e1,-5.356027856958e1));
#97=cartesian_point('',(1.134953790261e2,1.234027527502e1,-5.375886014212e1));
#98=cartesian_point('',(1.135057227659e2,1.24375e1,-5.395744682848e1));
#100=cartesian_point('',(1.135057227659e2,1.24375e1,-5.395744682848e1));
#101=cartesian_point('',(1.135054130174e2,1.263194543202e1,-5.415602940290e1));
#102=cartesian_point('',(1.135046093759e2,1.282638986489e1,-5.435461095691e1));
#103=cartesian_point('',(1.135033118251e2,1.302083329856e1,-5.455319149047e1));
#105=cartesian_point('',(1.135033118252e2,1.302083329856e1,-5.455319149047e1));
#106=cartesian_point('',(1.134915084196e2,1.321530279241e1,-5.465249505116e1));
#107=cartesian_point('',(1.134792063469e2,1.340974726173e1,-5.475178583337e1));
#108=cartesian_point('',(1.134664055055e2,1.360416670144e1,-5.485106383451e1));
#110=cartesian_point('',(1.134664055055e2,1.360416670144e1,-5.485106383450e1));
#111=cartesian_point('',(1.134425119478e2,1.384729839694e1,-5.490072477262e1));
#112=cartesian_point('',(1.134178372317e2,1.409035396608e1,-5.495037016152e1));
#113=cartesian_point('',(1.133923812960e2,1.433333340287e1,-5.5e1));
#115=cartesian_point('',(1.132187461778e2,1.564583319426e1,-5.5e1));
#116=cartesian_point('',(1.131798708874e2,1.588901152400e1,-5.495032954369e1));
#117=cartesian_point('',(1.131402120923e2,1.613206713101e1,-5.490068415415e1));
#118=cartesian_point('',(1.130997696947e2,1.637500000001e1,-5.485106383450e1));
#120=cartesian_point('',(1.130997696947e2,1.637500000001e1,-5.485106383449e1));
#121=cartesian_point('',(1.130610565693e2,1.656952508020e1,-5.475173185377e1));
#122=cartesian_point('',(1.130218392119e2,1.676396949530e1,-5.465244106374e1));
#123=cartesian_point('',(1.129821173033e2,1.695833319426e1,-5.455319149047e1));
#125=cartesian_point('',(1.129821173033e2,1.695833319426e1,-5.455319149047e1));
#126=cartesian_point('',(1.129318091086e2,1.715284342306e1,-5.435454284717e1));
#127=cartesian_point('',(1.128809877790e2,1.734728800455e1,-5.415596124791e1));
#128=cartesian_point('',(1.128296522752e2,1.754166680577e1,-5.395744682846e1));
#130=cartesian_point('',(1.117811715534e2,2.220833361148e1,-5.187234038113e1));
#131=cartesian_point('',(1.118156251002e2,2.259720316495e1,-5.291484200058e1));
#132=cartesian_point('',(1.118481963543e2,2.298609197603e1,-5.395739524683e1));
#133=cartesian_point('',(1.118788896862e2,2.3375e1,-5.5e1));
#135=cartesian_point('',(1.115717933638e2,2.308333361151e1,-5.157446807622e1));
#136=cartesian_point('',(1.115208792442e2,2.327788573732e1,-5.147512222695e1));
#137=cartesian_point('',(1.114694510920e2,2.347233002589e1,-5.137583144354e1));
#138=cartesian_point('',(1.114175084841e2,2.366666638852e1,-5.127659577131e1));
#140=cartesian_point('',(1.114175084841e2,2.366666638852e1,-5.127659577130e1));
#141=cartesian_point('',(1.113651801878e2,2.381253815675e1,-5.107796189781e1));
#142=cartesian_point('',(1.113125482007e2,2.395837152434e1,-5.087938031456e1));
#143=cartesian_point('',(1.112596117103e2,2.410416638852e1,-5.068085116147e1));
#145=cartesian_point('',(1.112596117103e2,2.410416638851e1,-5.068085116148e1));
#146=cartesian_point('',(1.112330621545e2,2.415277954026e1,-5.053190904095e1));
#147=cartesian_point('',(1.112062345563e2,2.420250315166e1,-5.038297261991e1));
#148=cartesian_point('',(1.111796093494e2,2.425111231991e1,-5.023404270411e1));
#150=cartesian_point('',(1.111796093494e2,2.425111231991e1,-5.023404270411e1));
#151=cartesian_point('',(1.111582467225e2,2.425111231991e1,-5.003546101354e1));
#152=cartesian_point('',(1.111373693050e2,2.424888776998e1,-4.983687933784e1));
#153=cartesian_point('',(1.111160064015e2,2.424888776998e1,-4.963829767704e1));
#155=cartesian_point('',(1.111160064015e2,2.424888776998e1,-4.963829767704e1));
#156=cartesian_point('',(1.111105916226e2,2.420027627012e1,-4.948936061760e1));
#157=cartesian_point('',(1.111049080189e2,2.415277727936e1,-4.934042441320e1));
#158=cartesian_point('',(1.110994367447e2,2.410416638852e1,-4.919148921967e1));
#160=cartesian_point('',(1.110994367448e2,2.410416638852e1,-4.919148921968e1));
#161=cartesian_point('',(1.111097189624e2,2.395833983329e1,-4.899291691282e1));
#162=cartesian_point('',(1.111197189999e2,2.381250649875e1,-4.879433537458e1));
#163=cartesian_point('',(1.111294370072e2,2.366666638851e1,-4.859574460984e1));
#165=cartesian_point('',(1.119828481869e2,1.885416680574e1,-4.8e1));
#166=cartesian_point('',(1.120657476635e2,1.885416680574e1,-4.877778876587e1));
#167=cartesian_point('',(1.122315402197e2,1.885416680574e1,-5.033335903349e1));
#168=cartesian_point('',(1.124802124064e2,1.885416680574e1,-5.266669237161e1));
#169=cartesian_point('',(1.126459828172e2,1.885416680575e1,-5.422223321570e1));
#170=cartesian_point('',(1.127288648771e2,1.885416680575e1,-5.5e1));
#172=cartesian_point('',(1.106444598149e2,2.556250000001e1,-4.8e1));
#173=cartesian_point('',(1.107283631102e2,2.556250000001e1,-4.877779842476e1));
#174=cartesian_point('',(1.108961566488e2,2.55625e1,-5.033338172121e1));
#175=cartesian_point('',(1.111478165516e2,2.55625e1,-5.266671506323e1));
#176=cartesian_point('',(1.113155696275e2,2.556250000001e1,-5.422224288e1));
#177=cartesian_point('',(1.113994397480e2,2.556250000001e1,-5.5e1));
#179=cartesian_point('',(1.105379920035e2,2.90625e1,-5.5e1));
#180=cartesian_point('',(1.104686292710e2,2.930577869884e1,-5.495030907121e1));
#181=cartesian_point('',(1.103984620611e2,2.954883445577e1,-5.490066367946e1));
#182=cartesian_point('',(1.103274902010e2,2.979166722299e1,-5.485106383450e1));
#184=cartesian_point('',(1.103274902010e2,2.979166722299e1,-5.485106383449e1));
#185=cartesian_point('',(1.102641304422e2,2.998624793269e1,-5.475170337613e1));
#186=cartesian_point('',(1.102002472438e2,3.018069223740e1,-5.465241257145e1));
#187=cartesian_point('',(1.101358400797e2,3.037500000001e1,-5.455319149047e1));
#189=cartesian_point('',(1.101358400797e2,3.037500000001e1,-5.455319149046e1));
#190=cartesian_point('',(1.100605217308e2,3.056954871381e1,-5.435450325913e1));
#191=cartesian_point('',(1.099846569743e2,3.076399307667e1,-5.415592159907e1));
#192=cartesian_point('',(1.099082441791e2,3.095833277705e1,-5.395744682845e1));
#194=cartesian_point('',(1.099082441791e2,3.095833277706e1,-5.395744682841e1));
#195=cartesian_point('',(1.098591678209e2,3.105556974909e1,-5.375883550857e1));
#196=cartesian_point('',(1.098099428432e2,3.115279217196e1,-5.356025390611e1));
#197=cartesian_point('',(1.097605687793e2,3.125e1,-5.336170211434e1));
#199=cartesian_point('',(1.097605687793e2,3.125e1,-5.336170211434e1));
#200=cartesian_point('',(1.097196010395e2,3.129861232173e1,-5.311346806473e1));
#201=cartesian_point('',(1.096785885459e2,3.134722324890e1,-5.286524113634e1));
#202=cartesian_point('',(1.096375311555e2,3.139583277705e1,-5.261702135191e1));
#204=cartesian_point('',(1.093932654700e2,3.139583277702e1,-5.038297885655e1));
#205=cartesian_point('',(1.093800737756e2,3.134722159632e1,-5.013475049447e1));
#206=cartesian_point('',(1.093668566956e2,3.129861067055e1,-4.988652343414e1));
#207=cartesian_point('',(1.093536142031e2,3.124999999998e1,-4.963829767695e1));
#209=cartesian_point('',(1.093536142032e2,3.125e1,-4.963829767705e1));
#210=cartesian_point('',(1.093596900955e2,3.115277906095e1,-4.943971914014e1));
#211=cartesian_point('',(1.093656418972e2,3.105555665310e1,-4.924113760313e1));
#212=cartesian_point('',(1.093714696579e2,3.095833277702e1,-4.904255306721e1));
#214=cartesian_point('',(0.e0,0.e0,-8.331358523794e1));
#215=direction('',(0.e0,0.e0,1.e0));
#216=direction('',(0.e0,-1.e0,0.e0));
#217=axis2_placement_3d('',#214,#215,#216);
#219=cartesian_point('',(0.e0,0.e0,-8.331358523794e1));
#220=direction('',(0.e0,0.e0,1.e0));
#221=direction('',(5.171182192420e-3,-9.999866293480e-1,0.e0));
#222=axis2_placement_3d('',#219,#220,#221);
#224=cartesian_point('',(3.129496661813e-12,-1.202541352644e2,-8.3e1));
#225=direction('',(1.e0,2.602518894834e-14,0.e0));
#226=direction('',(0.e0,4.883000030986e-7,-9.999999999999e-1));
#227=axis2_placement_3d('',#224,#225,#226);
#229=cartesian_point('',(0.e0,0.e0,-8.331358523794e1));
#230=direction('',(0.e0,0.e0,1.e0));
#231=direction('',(0.e0,1.e0,0.e0));
#232=axis2_placement_3d('',#229,#230,#231);
#234=cartesian_point('',(0.e0,0.e0,-8.331358523794e1));
#235=direction('',(0.e0,0.e0,1.e0));
#236=direction('',(-5.171182192420e-3,9.999866293480e-1,0.e0));
#237=axis2_placement_3d('',#234,#235,#236);
#239=cartesian_point('',(-3.129496661813e-12,1.202541352644e2,-8.3e1));
#240=direction('',(-1.e0,-2.602518894834e-14,0.e0));
#241=direction('',(0.e0,-4.883000030986e-7,-9.999999999999e-1));
#242=axis2_placement_3d('',#239,#240,#241);
#244=direction('',(4.156550989116e-14,-1.045284632677e-1,-9.945218953683e-1));
#245=vector('',#244,3.882627966038e1);
#246=cartesian_point('',(-1.005525602471e-13,-1.132121182151e2,-4.47e1));
#247=line('',#246,#245);
#248=cartesian_point('',(-1.137899666249e2,1.373237553284e1,-5.805319154263e1));
#249=cartesian_point('',(-1.137293990540e2,1.393558422322e1,-5.771283839052e1));
#250=cartesian_point('',(-1.136078724899e2,1.433685810903e1,-5.703286564631e1));
#251=cartesian_point('',(-1.134213953830e2,1.494642368792e1,-5.601513165678e1));
#252=cartesian_point('',(-1.132952624749e2,1.535020162941e1,-5.533812965781e1));
#253=cartesian_point('',(-1.132316621078e2,1.555208277702e1,-5.5e1));
#255=cartesian_point('',(-1.141377099952e2,1.095833277702e1,-5.85e1));
#256=cartesian_point('',(-1.141467558518e2,1.083681875104e1,-5.847518007893e1));
#257=cartesian_point('',(-1.141556076822e2,1.071529115857e1,-5.845035738683e1));
#258=cartesian_point('',(-1.141642654920e2,1.059375e1,-5.842553192377e1));
#260=cartesian_point('',(-1.141642654920e2,1.059375e1,-5.842553192377e1));
#261=cartesian_point('',(-1.141680466398e2,1.049653128821e1,-5.837588842686e1));
#262=cartesian_point('',(-1.141717039187e2,1.039930888047e1,-5.832624304267e1));
#263=cartesian_point('',(-1.141752373363e2,1.030208277702e1,-5.827659577131e1));
#265=cartesian_point('',(-1.141752373363e2,1.030208277702e1,-5.827659577131e1));
#266=cartesian_point('',(-1.141735314115e2,1.020485979534e1,-5.817730384862e1));
#267=cartesian_point('',(-1.141717027176e2,1.010763794397e1,-5.807801308029e1));
#268=cartesian_point('',(-1.141697512457e2,1.001041722298e1,-5.797872346640e1));
#270=cartesian_point('',(-1.141697512457e2,1.001041722298e1,-5.797872346639e1));
#271=cartesian_point('',(-1.141635374929e2,9.961804995139e0,-5.787943117466e1));
#272=cartesian_point('',(-1.141572937112e2,9.913193513052e0,-5.778014040614e1));
#273=cartesian_point('',(-1.141510198886e2,9.864582777013e0,-5.768085116146e1));
#275=cartesian_point('',(-1.140002556249e2,9.790830451852e0,-5.619148932397e1));
#276=cartesian_point('',(-1.139850755656e2,9.815135844282e0,-5.606737480273e1));
#277=cartesian_point('',(-1.139698140875e2,9.840277787449e0,-5.594326140690e1));
#278=cartesian_point('',(-1.139546165737e2,9.864582777023e0,-5.581914894283e1));
#280=cartesian_point('',(-1.139546165737e2,9.864582777023e0,-5.581914894283e1));
#281=cartesian_point('',(-1.139399330020e2,9.913196129495e0,-5.571985433660e1));
#282=cartesian_point('',(-1.139252174828e2,9.961807612067e0,-5.562056354971e1));
#283=cartesian_point('',(-1.139104699864e2,1.001041722300e1,-5.552127658572e1));
#285=cartesian_point('',(-1.139104699864e2,1.001041722299e1,-5.552127658575e1));
#286=cartesian_point('',(-1.138914476921e2,1.010765117219e1,-5.542197345345e1));
#287=cartesian_point('',(-1.138722999354e2,1.020487302663e1,-5.532268267330e1));
#288=cartesian_point('',(-1.138530266202e2,1.030208277703e1,-5.522340425476e1));
#290=cartesian_point('',(-1.138530266202e2,1.030208277702e1,-5.522340425476e1));
#291=cartesian_point('',(-1.138389880328e2,1.039931959779e1,-5.517375150422e1));
#292=cartesian_point('',(-1.138248247201e2,1.049654200656e1,-5.512410611298e1));
#293=cartesian_point('',(-1.138105366535e2,1.059375000001e1,-5.507446808274e1));
#295=cartesian_point('',(-1.138105366535e2,1.059375000001e1,-5.507446808275e1));
#296=cartesian_point('',(-1.137966018423e2,1.071529932296e1,-5.504964094990e1));
#297=cartesian_point('',(-1.137824723318e2,1.083682691562e1,-5.502481825558e1));
#298=cartesian_point('',(-1.137681481135e2,1.095833277703e1,-5.5e1));
#300=cartesian_point('',(-1.137104502679e2,1.154166722298e1,-5.5e1));
#301=cartesian_point('',(-1.137007363134e2,1.166321006303e1,-5.502482580868e1));
#302=cartesian_point('',(-1.136908275509e2,1.178473765553e1,-5.504964850296e1));
#303=cartesian_point('',(-1.136807239744e2,1.190625e1,-5.507446808275e1));
#305=cartesian_point('',(-1.136807239744e2,1.190625e1,-5.507446808275e1));
#306=cartesian_point('',(-1.136757876920e2,1.200347754538e1,-5.512411609694e1));
#307=cartesian_point('',(-1.136707269748e2,1.210069995319e1,-5.517376148768e1));
#308=cartesian_point('',(-1.136655418126e2,1.219791722298e1,-5.522340425477e1));
#310=cartesian_point('',(-1.136655418126e2,1.219791722298e1,-5.522340425476e1));
#311=cartesian_point('',(-1.136656043361e2,1.229513911206e1,-5.532269507029e1));
#312=cartesian_point('',(-1.136655435614e2,1.239236096340e1,-5.542198584728e1));
#313=cartesian_point('',(-1.136653594881e2,1.248958277703e1,-5.552127658575e1));
#315=cartesian_point('',(-1.136653594881e2,1.248958277701e1,-5.552127658575e1));
#316=cartesian_point('',(-1.136705166721e2,1.253819364661e1,-5.562056612061e1));
#317=cartesian_point('',(-1.136756438235e2,1.258680512866e1,-5.571985690644e1));
#318=cartesian_point('',(-1.136807409521e2,1.263541722297e1,-5.581914894283e1));
#320=cartesian_point('',(-1.136807409521e2,1.263541722298e1,-5.581914894283e1));
#321=cartesian_point('',(-1.136911646065e2,1.265972229787e1,-5.594326184255e1));
#322=cartesian_point('',(-1.137017020231e2,1.268294147321e1,-5.606737535665e1));
#323=cartesian_point('',(-1.137121124698e2,1.270724675717e1,-5.619148932397e1));
#325=cartesian_point('',(-1.138300036581e2,1.270941893106e1,-5.730851057172e1));
#326=cartesian_point('',(-1.138458436618e2,1.268511397360e1,-5.743262294135e1));
#327=cartesian_point('',(-1.138617947615e2,1.265972261700e1,-5.755673656261e1));
#328=cartesian_point('',(-1.138776166178e2,1.263541722298e1,-5.768085116148e1));
#330=cartesian_point('',(-1.138776166179e2,1.263541722301e1,-5.768085116143e1));
#331=cartesian_point('',(-1.138935096149e2,1.258680778111e1,-5.778013776278e1));
#332=cartesian_point('',(-1.139093702626e2,1.253819629844e1,-5.787942853248e1));
#333=cartesian_point('',(-1.139251985934e2,1.248958277705e1,-5.797872346634e1));
#335=cartesian_point('',(-1.139251985934e2,1.248958277704e1,-5.797872346638e1));
#336=cartesian_point('',(-1.139463524979e2,1.239237425841e1,-5.807800061824e1));
#337=cartesian_point('',(-1.139673804293e2,1.229515240334e1,-5.817729139035e1));
#338=cartesian_point('',(-1.139882824933e2,1.219791722300e1,-5.827659577129e1));
#340=cartesian_point('',(-1.139882824933e2,1.219791722299e1,-5.827659577130e1));
#341=cartesian_point('',(-1.140039314789e2,1.210071060337e1,-5.832623309350e1));
#342=cartesian_point('',(-1.140194557988e2,1.200348819439e1,-5.837587847832e1));
#343=cartesian_point('',(-1.140348554844e2,1.190625000001e1,-5.842553192377e1));
#345=cartesian_point('',(-1.140348554844e2,1.190625000001e1,-5.842553192377e1));
#346=cartesian_point('',(-1.140501642723e2,1.178474560067e1,-5.845034987854e1));
#347=cartesian_point('',(-1.140652787950e2,1.166321800796e1,-5.847517257070e1));
#348=cartesian_point('',(-1.140801990616e2,1.154166722299e1,-5.85e1));
#350=cartesian_point('',(0.e0,0.e0,-5.5e1));
#351=direction('',(0.e0,0.e0,-1.e0));
#352=direction('',(-9.970512338461e-1,7.673875869434e-2,0.e0));
#353=axis2_placement_3d('',#350,#351,#352);
#355=cartesian_point('',(-1.145345287939e2,5.416974613545e0,-5.85e1));
#356=cartesian_point('',(-1.145214693586e2,5.416974613545e0,-5.837588653961e1));
#357=cartesian_point('',(-1.145084390770e2,5.416358268796e0,-5.825177307923e1));
#358=cartesian_point('',(-1.144953796416e2,5.416358268796e0,-5.812765961885e1));
#360=cartesian_point('',(0.e0,0.e0,-5.5e1));
#361=direction('',(0.e0,0.e0,-1.e0));
#362=direction('',(-9.983397627067e-1,5.759963714095e-2,0.e0));
#363=axis2_placement_3d('',#360,#361,#362);
#365=cartesian_point('',(0.e0,0.e0,-5.5e1));
#366=direction('',(0.e0,0.e0,-1.e0));
#367=direction('',(-9.992601203786e-1,3.846052288856e-2,0.e0));
#368=axis2_placement_3d('',#365,#366,#367);
#370=cartesian_point('',(0.e0,0.e0,-5.5e1));
#371=direction('',(0.e0,0.e0,-1.e0));
#372=direction('',(-9.998593818202e-1,1.676951359407e-2,0.e0));
#373=axis2_placement_3d('',#370,#371,#372);
#375=cartesian_point('',(-1.142704444860e2,2.354166388506e0,-5.499999999998e1));
#376=cartesian_point('',(-1.142997547687e2,2.451385289014e0,-5.529786159437e1));
#377=cartesian_point('',(-1.143289436304e2,2.548607699104e0,-5.559573394151e1));
#378=cartesian_point('',(-1.143580113236e2,2.645833611479e0,-5.589361701903e1));
#380=cartesian_point('',(-1.143149640583e2,4.104166388513e0,-5.589361701906e1));
#381=cartesian_point('',(-1.142801441811e2,4.201393143694e0,-5.559573135933e1));
#382=cartesian_point('',(-1.142451987741e2,4.298615554955e0,-5.529785900861e1));
#383=cartesian_point('',(-1.142101275250e2,4.395833611490e0,-5.5e1));
#385=cartesian_point('',(0.e0,0.e0,-5.812765961885e1));
#386=direction('',(0.e0,0.e0,-1.e0));
#387=direction('',(-9.999213577287e-1,-1.254106685640e-2,0.e0));
#388=axis2_placement_3d('',#385,#386,#387);
#390=cartesian_point('',(0.e0,0.e0,-5.5e1));
#391=direction('',(0.e0,0.e0,-1.e0));
#392=direction('',(-9.999971924751e-1,-2.369607959322e-3,0.e0));
#393=axis2_placement_3d('',#390,#391,#392);
#395=cartesian_point('',(0.e0,0.e0,-5.812765961885e1));
#396=direction('',(0.e0,0.e0,-1.e0));
#397=direction('',(-9.999989428916e-1,1.454034310289e-3,0.e0));
#398=axis2_placement_3d('',#395,#396,#397);
#400=cartesian_point('',(-1.144616688550e2,-4.572916597127e0,
-5.745744672418e1));
#401=cartesian_point('',(-1.144476424543e2,-4.597222369490e0,
-5.733333239343e1));
#402=cartesian_point('',(-1.144335985414e2,-4.62176621e0,-5.720921891551e1));
#403=cartesian_point('',(-1.144195559952e2,-4.646071638035e0,
-5.708510634303e1));
#405=cartesian_point('',(-1.143490750761e2,-4.645595184179e0,
-5.641489365697e1));
#406=cartesian_point('',(-1.143370067463e2,-4.621289449902e0,
-5.629077948593e1));
#407=cartesian_point('',(-1.143249216729e2,-4.597222063852e0,
-5.616666597633e1));
#408=cartesian_point('',(-1.143128387623e2,-4.572916597129e0,
-5.604255317152e1));
#410=cartesian_point('',(-1.143128387623e2,-4.572916597125e0,
-5.604255317151e1));
#411=cartesian_point('',(-1.143059778413e2,-4.548610860447e0,
-5.596808446933e1));
#412=cartesian_point('',(-1.142991094121e2,-4.524305328034e0,
-5.589361639299e1));
#413=cartesian_point('',(-1.142922334711e2,-4.499999999985e0,
-5.581914894279e1));
#415=cartesian_point('',(-1.142922334711e2,-4.499999999991e0,
-5.581914894281e1));
#416=cartesian_point('',(-1.142837032733e2,-4.451387901365e0,
-5.571985604538e1));
#417=cartesian_point('',(-1.142751427169e2,-4.402776836423e0,
-5.562056525930e1));
#418=cartesian_point('',(-1.142665517854e2,-4.354166805729e0,
-5.552127658573e1));
#420=cartesian_point('',(-1.142665517854e2,-4.354166805738e0,
-5.552127658575e1));
#421=cartesian_point('',(-1.142614975440e2,-4.281247760121e0,
-5.544680607127e1));
#422=cartesian_point('',(-1.142563741367e2,-4.208331093289e0,
-5.537233798618e1));
#423=cartesian_point('',(-1.142511815491e2,-4.135416805739e0,
-5.529787233099e1));
#425=cartesian_point('',(-1.142511815491e2,-4.135416805743e0,
-5.529787233099e1));
#426=cartesian_point('',(-1.142477481970e2,-4.013884744832e0,
-5.522340168050e1));
#427=cartesian_point('',(-1.142441216979e2,-3.892356874226e0,
-5.514893359768e1));
#428=cartesian_point('',(-1.142403020367e2,-3.770833194255e0,
-5.507446808274e1));
#430=cartesian_point('',(-1.142403020367e2,-3.770833194257e0,
-5.507446808275e1));
#431=cartesian_point('',(-1.142425052445e2,-3.625003440203e0,
-5.504964599774e1));
#432=cartesian_point('',(-1.142444293016e2,-3.479170106864e0,
-5.502482330349e1));
#433=cartesian_point('',(-1.142460742093e2,-3.333333194257e0,-5.5e1));
#435=cartesian_point('',(-1.142460742093e2,-3.333333194260e0,-5.5e1));
#436=cartesian_point('',(-1.142529386611e2,-3.187512110739e0,
-5.502482060917e1));
#437=cartesian_point('',(-1.142595239771e2,-3.041678777345e0,
-5.504964330343e1));
#438=cartesian_point('',(-1.142658301616e2,-2.895833194257e0,
-5.507446808275e1));
#440=cartesian_point('',(-1.142658301616e2,-2.895833194258e0,
-5.507446808275e1));
#441=cartesian_point('',(-1.142767383436e2,-2.774317863823e0,
-5.514892856659e1));
#442=cartesian_point('',(-1.142874530442e2,-2.652790131449e0,
-5.522339664993e1));
#443=cartesian_point('',(-1.142979743082e2,-2.531250000006e0,
-5.529787233099e1));
#445=cartesian_point('',(-1.142979743082e2,-2.531250000006e0,
-5.529787233098e1));
#446=cartesian_point('',(-1.143074173886e2,-2.458337710128e0,
-5.537233594599e1));
#447=cartesian_point('',(-1.143167909019e2,-2.385421042910e0,
-5.544680403148e1));
#448=cartesian_point('',(-1.143260948745e2,-2.312500000005e0,
-5.552127658575e1));
#450=cartesian_point('',(-1.143260948745e2,-2.312500000014e0,
-5.552127658573e1));
#451=cartesian_point('',(-1.143375158289e2,-2.263890337288e0,
-5.562056450771e1));
#452=cartesian_point('',(-1.143489058282e2,-2.215279272198e0,
-5.571985529409e1));
#453=cartesian_point('',(-1.143602648947e2,-2.166666805758e0,
-5.581914894280e1));
#455=cartesian_point('',(-1.143602648947e2,-2.166666805764e0,
-5.581914894277e1));
#456=cartesian_point('',(-1.143685536160e2,-2.142361458310e0,
-5.589361623938e1));
#457=cartesian_point('',(-1.143768345780e2,-2.118055856342e0,
-5.596808431577e1));
#458=cartesian_point('',(-1.143851077852e2,-2.093750000011e0,
-5.604255317148e1));
#460=cartesian_point('',(-1.143851077852e2,-2.093749999998e0,
-5.604255317152e1));
#461=cartesian_point('',(-1.143985996348e2,-2.069444558178e0,
-5.616666584917e1));
#462=cartesian_point('',(-1.144120855666e2,-2.045035337654e0,
-5.629077933818e1));
#463=cartesian_point('',(-1.144255617310e2,-2.020729574443e0,
-5.641489365697e1));
#465=cartesian_point('',(-1.144255617310e2,-2.020729574443e0,
-5.641489365697e1));
#466=cartesian_point('',(-1.144490461220e2,-2.020729574443e0,
-5.663829788554e1));
#467=cartesian_point('',(-1.144725268529e2,-2.020936821170e0,
-5.686170211422e1));
#468=cartesian_point('',(-1.144960112417e2,-2.020936821170e0,
-5.708510634303e1));
#470=cartesian_point('',(-1.145559727379e2,-2.166666805728e0,
-5.768085116145e1));
#471=cartesian_point('',(-1.145654908488e2,-2.215276720682e0,
-5.778013958123e1));
#472=cartesian_point('',(-1.145749784844e2,-2.263887785669e0,
-5.787943035001e1));
#473=cartesian_point('',(-1.145844356631e2,-2.312499999994e0,
-5.797872346638e1));
#475=cartesian_point('',(-1.145844356631e2,-2.312499999997e0,
-5.797872346640e1));
#476=cartesian_point('',(-1.145907923362e2,-2.385413751684e0,
-5.805318856563e1));
#477=cartesian_point('',(-1.145970799404e2,-2.458330418595e0,
-5.812765664210e1));
#478=cartesian_point('',(-1.146032984933e2,-2.531249999990e0,
-5.820212769508e1));
#480=cartesian_point('',(-1.146032984933e2,-2.531249999997e0,
-5.820212769508e1));
#481=cartesian_point('',(-1.146084428805e2,-2.652772026461e0,
-5.827659227550e1));
#482=cartesian_point('',(-1.146133946774e2,-2.774299758084e0,
-5.835106035186e1));
#483=cartesian_point('',(-1.146181539047e2,-2.895833194255e0,
-5.842553192377e1));
#485=cartesian_point('',(-1.146181539047e2,-2.895833194256e0,
-5.842553192377e1));
#486=cartesian_point('',(-1.146170792026e2,-3.041669036239e0,
-5.845035504285e1));
#487=cartesian_point('',(-1.146157262599e2,-3.187502369575e0,
-5.847517773493e1));
#488=cartesian_point('',(-1.146140950757e2,-3.333333194256e0,-5.85e1));
#490=cartesian_point('',(-1.146140950757e2,-3.333333194257e0,-5.85e1));
#491=cartesian_point('',(-1.146072430958e2,-3.479179750961e0,
-5.847517505714e1));
#492=cartesian_point('',(-1.146001128280e2,-3.625013084365e0,
-5.845035236505e1));
#493=cartesian_point('',(-1.145927042679e2,-3.770833194259e0,
-5.842553192377e1));
#495=cartesian_point('',(-1.145927042679e2,-3.770833194262e0,
-5.842553192377e1));
#496=cartesian_point('',(-1.145808727247e2,-3.892374952751e0,
-5.835105533746e1));
#497=cartesian_point('',(-1.145688481353e2,-4.013902824444e0,
-5.827658726049e1));
#498=cartesian_point('',(-1.145566304495e2,-4.135416805745e0,
-5.820212769508e1));
#500=cartesian_point('',(-1.145566304495e2,-4.135416805744e0,
-5.820212769508e1));
#501=cartesian_point('',(-1.145461654928e2,-4.208338391676e0,
-5.812765459492e1));
#502=cartesian_point('',(-1.145356309825e2,-4.281255059038e0,
-5.805318651798e1));
#503=cartesian_point('',(-1.145250268890e2,-4.354166805749e0,
-5.797872346639e1));
#505=cartesian_point('',(-1.145250268890e2,-4.354166805759e0,
-5.797872346637e1));
#506=cartesian_point('',(-1.145127349223e2,-4.402779396170e0,
-5.787942958182e1));
#507=cartesian_point('',(-1.145004118369e2,-4.451390461315e0,
-5.778013881271e1));
#508=cartesian_point('',(-1.144880576085e2,-4.500000000004e0,
-5.768085116148e1));
#510=cartesian_point('',(0.e0,0.e0,-5.5e1));
#511=direction('',(0.e0,0.e0,-1.e0));
#512=direction('',(-9.975473771879e-1,-6.999450168095e-2,0.e0));
#513=axis2_placement_3d('',#510,#511,#512);
#515=cartesian_point('',(-1.142842790933e2,-6.322916701426e0,
-5.656382980940e1));
#516=cartesian_point('',(-1.142401617498e2,-6.128458824114e0,
-5.604251716367e1));
#517=cartesian_point('',(-1.141955650017e2,-5.934014377366e0,
-5.552124052328e1));
#518=cartesian_point('',(-1.141504873611e2,-5.739583402869e0,
-5.499999999999e1));
#520=cartesian_point('',(0.e0,0.e0,-5.5e1));
#521=direction('',(0.e0,0.e0,-1.e0));
#522=direction('',(-9.987383099347e-1,-5.021741001754e-2,0.e0));
#523=axis2_placement_3d('',#520,#521,#522);
#525=cartesian_point('',(-1.141750077693e2,-5.229166597107e0,
-5.499999999995e1));
#526=cartesian_point('',(-1.142250542992e2,-5.447898965803e0,
-5.557087597079e1));
#527=cartesian_point('',(-1.142744907067e2,-5.666648985840e0,
-5.614179801038e1));
#528=cartesian_point('',(-1.143233190695e2,-5.885416597110e0,
-5.671276596184e1));
#530=cartesian_point('',(-1.143233190695e2,-5.885416597137e0,
-5.671276596189e1));
#531=cartesian_point('',(-1.143335478876e2,-5.788204614547e0,
-5.676240612913e1));
#532=cartesian_point('',(-1.143436527726e2,-5.690982414942e0,
-5.681205151357e1));
#533=cartesian_point('',(-1.143536337450e2,-5.593750000006e0,
-5.686170211435e1));
#535=cartesian_point('',(-1.143536337450e2,-5.593750000005e0,
-5.686170211433e1));
#536=cartesian_point('',(-1.143676480116e2,-5.520838020934e0,
-5.696098649953e1));
#537=cartesian_point('',(-1.143815922985e2,-5.447921353158e0,
-5.706027726935e1));
#538=cartesian_point('',(-1.143954666556e2,-5.375000000013e0,
-5.715957441924e1));
#540=cartesian_point('',(-1.143954666555e2,-5.375000000001e0,
-5.715957441926e1));
#541=cartesian_point('',(-1.144044441199e2,-5.350694748219e0,
-5.723404163579e1));
#542=cartesian_point('',(-1.144134193599e2,-5.326268486818e0,
-5.730850970456e1));
#543=cartesian_point('',(-1.144223809600e2,-5.301962671410e0,
-5.738297864795e1));
#545=cartesian_point('',(-1.144223809600e2,-5.301962671410e0,
-5.738297864795e1));
#546=cartesian_point('',(-1.144328280440e2,-5.301962671410e0,
-5.748226948563e1));
#547=cartesian_point('',(-1.144432639376e2,-5.302204167385e0,
-5.758156032348e1));
#548=cartesian_point('',(-1.144537110185e2,-5.302204167385e0,
-5.768085116148e1));
#550=cartesian_point('',(-1.144738220701e2,-5.374999999994e0,
-5.790425539016e1));
#551=cartesian_point('',(-1.144808455001e2,-5.447914372431e0,
-5.800354303441e1));
#552=cartesian_point('',(-1.144878002674e2,-5.520831039372e0,
-5.810283380309e1));
#553=cartesian_point('',(-1.144946863965e2,-5.593749999995e0,
-5.820212769508e1));
#555=cartesian_point('',(-1.144946863965e2,-5.593749999999e0,
-5.820212769508e1));
#556=cartesian_point('',(-1.144977726814e2,-5.690969834977e0,
-5.827659396053e1));
#557=cartesian_point('',(-1.145007358923e2,-5.788192034089e0,
-5.835106203682e1));
#558=cartesian_point('',(-1.145035760397e2,-5.885416597129e0,
-5.842553192377e1));
#560=cartesian_point('',(-1.145035760397e2,-5.885416597128e0,
-5.842553192377e1));
#561=cartesian_point('',(-1.144999418213e2,-6.006950245500e0,
-5.845035581021e1));
#562=cartesian_point('',(-1.144961142014e2,-6.128478046482e0,
-5.847517850229e1));
#563=cartesian_point('',(-1.144920931777e2,-6.250000000003e0,-5.85e1));
#565=cartesian_point('',(-1.143993661671e2,1.299901155873e1,-6.3e1));
#566=cartesian_point('',(-1.143791227355e2,1.338431800903e1,-6.322245678280e1));
#567=cartesian_point('',(-1.143345612263e2,1.415610928934e1,-6.366721369356e1));
#568=cartesian_point('',(-1.142564352927e2,1.531027265925e1,-6.433391263196e1));
#569=cartesian_point('',(-1.141965435204e2,1.607963170898e1,-6.477802619618e1));
#570=cartesian_point('',(-1.141646694650e2,1.646410161514e1,-6.5e1));
#572=cartesian_point('',(-1.153387811142e2,-7.081063159744e0,-6.7e1));
#573=cartesian_point('',(-1.153173522566e2,-6.286382646255e0,
-6.633318387423e1));
#574=cartesian_point('',(-1.152877739895e2,-5.491880193960e0,
-6.566651715954e1));
#575=cartesian_point('',(-1.152500384552e2,-4.697555974553e0,-6.5e1));
#577=cartesian_point('',(-1.150912767847e2,-3.191753592603e0,
-6.299999999999e1));
#578=cartesian_point('',(-1.151373262611e2,-2.794635671589e0,
-6.333322150105e1));
#579=cartesian_point('',(-1.151813242445e2,-2.397384410711e0,
-6.366655488754e1));
#580=cartesian_point('',(-1.152232736585e2,-2.000000000004e0,-6.4e1));
#582=direction('',(0.e0,1.045284632672e-1,-9.945218953683e-1));
#583=vector('',#582,3.872572886689e1);
#584=cartesian_point('',(-1.489553865153e-13,-1.172600591424e2,
-6.186414727782e0));
#585=line('',#584,#583);
#586=cartesian_point('',(0.e0,0.e0,-4.47e1));
#587=direction('',(0.e0,0.e0,-1.e0));
#588=direction('',(0.e0,-1.e0,0.e0));
#589=axis2_placement_3d('',#586,#587,#588);
#591=cartesian_point('',(-1.160905100047e2,-8.999548823309e0,-1.4e1));
#592=cartesian_point('',(-1.161139365626e2,-8.999548823309e0,
-1.377777779323e1));
#593=cartesian_point('',(-1.161372931626e2,-9.000451208072e0,
-1.355555558425e1));
#594=cartesian_point('',(-1.161607196786e2,-9.000451208072e0,
-1.333333337307e1));
#596=cartesian_point('',(-1.161607196786e2,-9.000451208072e0,
-1.333333337307e1));
#597=cartesian_point('',(-1.162106782608e2,-8.556888804955e0,
-1.318547923429e1));
#598=cartesian_point('',(-1.163055547167e2,-7.668536829608e0,
-1.288957414601e1));
#599=cartesian_point('',(-1.164325782895e2,-6.335262646983e0,
-1.244509671592e1));
#600=cartesian_point('',(-1.165070894808e2,-5.445470221199e0,
-1.214842749097e1));
#601=cartesian_point('',(-1.165418103268e2,-5.000187761570e0,-1.2e1));
#603=cartesian_point('',(-1.162304446134e2,-6.020522003386e0,-1.45e1));
#604=cartesian_point('',(-1.162324236568e2,-5.907007757167e0,
-1.453704977996e1));
#605=cartesian_point('',(-1.162413333804e2,-5.681261059631e0,
-1.461110039323e1));
#606=cartesian_point('',(-1.162351346213e2,-5.340225491026e0,
-1.472222594937e1));
#607=cartesian_point('',(-1.162427549220e2,-5.113694736195e0,
-1.479628600416e1));
#608=cartesian_point('',(-1.162437403127e2,-5.000188242258e0,
-1.483333325386e1));
#610=cartesian_point('',(-1.158269769093e2,-8.999321647509e0,-1.65e1));
#611=cartesian_point('',(-1.158445470599e2,-8.999321647509e0,
-1.633333333333e1));
#612=cartesian_point('',(-1.158620118129e2,-9.000678387506e0,
-1.616666666667e1));
#613=cartesian_point('',(-1.158795819635e2,-9.000678387506e0,-1.6e1));
#615=cartesian_point('',(-1.157056840455e2,-6.786507981047e0,
-1.908333349228e1));
#616=cartesian_point('',(-1.157095312539e2,-6.587867668596e0,
-1.915742946313e1));
#617=cartesian_point('',(-1.157244946832e2,-6.191914400108e0,
-1.930553448656e1));
#618=cartesian_point('',(-1.157147885518e2,-5.595535016922e0,
-1.952778152800e1));
#619=cartesian_point('',(-1.157257081396e2,-5.198836120616e0,
-1.967591327881e1));
#620=cartesian_point('',(-1.157264964287e2,-5.000220605131e0,-1.975e1));
#622=cartesian_point('',(-1.156651474973e2,-4.999779408009e0,
-2.033333301544e1));
#623=cartesian_point('',(-1.156645136222e2,-5.217305766177e0,
-2.024998737163e1));
#624=cartesian_point('',(-1.156531014118e2,-5.652575311660e0,
-2.008333696853e1));
#625=cartesian_point('',(-1.156634919925e2,-6.304996389477e0,
-1.983330986169e1));
#626=cartesian_point('',(-1.156471959876e2,-6.739890459947e0,
-1.966669062891e1));
#627=cartesian_point('',(-1.156428841294e2,-6.957446813582e0,
-1.958333349228e1));
#629=cartesian_point('',(-1.156428841294e2,-6.957446813578e0,
-1.958333349227e1));
#630=cartesian_point('',(-1.156277706379e2,-7.014186734773e0,
-1.969444907855e1));
#631=cartesian_point('',(-1.156126148167e2,-7.070924317389e0,
-1.980556008513e1));
#632=cartesian_point('',(-1.155974166264e2,-7.127659559244e0,
-1.991666650771e1));
#634=cartesian_point('',(-1.155974166264e2,-7.127659559247e0,
-1.991666650772e1));
#635=cartesian_point('',(-1.155816423648e2,-7.241149988736e0,
-2.000001121078e1));
#636=cartesian_point('',(-1.155657008592e2,-7.354625154722e0,
-2.008334470468e1));
#637=cartesian_point('',(-1.155495920370e2,-7.468085050576e0,
-2.016666698455e1));
#639=cartesian_point('',(-1.155495920370e2,-7.468085050577e0,
-2.016666698456e1));
#640=cartesian_point('',(-1.155411650430e2,-7.553199930197e0,
-2.019444743288e1));
#641=cartesian_point('',(-1.155326440354e2,-7.638306303212e0,
-2.022222510476e1));
#642=cartesian_point('',(-1.155240290084e2,-7.723404169077e0,-2.025e1));
#644=cartesian_point('',(-1.155007657882e2,-8.063829898835e0,-2.025e1));
#645=cartesian_point('',(-1.154977505285e2,-8.148939374223e0,
-2.022222131555e1));
#646=cartesian_point('',(-1.154946412991e2,-8.234045747080e0,
-2.019444364373e1));
#647=cartesian_point('',(-1.154914380977e2,-8.319149017334e0,
-2.016666698456e1));
#649=cartesian_point('',(-1.154914380977e2,-8.319149017334e0,
-2.016666698456e1));
#650=cartesian_point('',(-1.154920455806e2,-8.432623761164e0,
-2.008333380068e1));
#651=cartesian_point('',(-1.154924868178e2,-8.546098924944e0,
-2.000000030840e1));
#652=cartesian_point('',(-1.154927618114e2,-8.659574508668e0,
-1.991666650772e1));
#654=cartesian_point('',(-1.154927618114e2,-8.659574508670e0,
-1.991666650772e1));
#655=cartesian_point('',(-1.154980914755e2,-8.744678776225e0,
-1.980555825112e1));
#656=cartesian_point('',(-1.155033286065e2,-8.829785149240e0,
-1.969444724574e1));
#657=cartesian_point('',(-1.155084732283e2,-8.914893627170e0,
-1.958333349227e1));
#659=cartesian_point('',(-1.155084732284e2,-8.914893627165e0,
-1.958333349228e1));
#660=cartesian_point('',(-1.155209248976e2,-8.943262249071e0,
-1.944444532501e1));
#661=cartesian_point('',(-1.155334718110e2,-8.970272103200e0,
-1.930555624681e1));
#662=cartesian_point('',(-1.155459052029e2,-8.998641046159e0,
-1.916666650772e1));
#664=cartesian_point('',(-1.149133068372e2,-8.999316288076e0,
-2.516666698456e1));
#665=cartesian_point('',(-1.149308778289e2,-8.999316288076e0,
-2.500000031789e1));
#666=cartesian_point('',(-1.149483417459e2,-9.000683747508e0,
-2.483333365123e1));
#667=cartesian_point('',(-1.149659127377e2,-9.000683747508e0,
-2.466666698456e1));
#669=cartesian_point('',(-1.143685798806e2,-8.999542073315e0,
-3.033333396912e1));
#670=cartesian_point('',(-1.143920086066e2,-8.999542073315e0,
-3.011111132535e1));
#671=cartesian_point('',(-1.144153652589e2,-9.000457959049e0,
-2.988888867927e1));
#672=cartesian_point('',(-1.144387939411e2,-9.000457959049e0,
-2.966666603088e1));
#674=cartesian_point('',(-1.144387939411e2,-9.000457959049e0,
-2.966666603088e1));
#675=cartesian_point('',(-1.144556680476e2,-8.972089446100e0,
-2.952777871494e1));
#676=cartesian_point('',(-1.144725661429e2,-8.943262687437e0,
-2.938888999554e1));
#677=cartesian_point('',(-1.144894172581e2,-8.914893627166e0,-2.925e1));
#679=cartesian_point('',(-1.144894172581e2,-8.914893627158e0,
-2.924999999998e1));
#680=cartesian_point('',(-1.145055481196e2,-8.858158570603e0,
-2.913889362240e1));
#681=cartesian_point('',(-1.145216359046e2,-8.801420987872e0,
-2.902778229771e1));
#682=cartesian_point('',(-1.145376806558e2,-8.744680881483e0,
-2.891666603085e1));
#684=cartesian_point('',(-1.145376806558e2,-8.744680881490e0,
-2.891666603087e1));
#685=cartesian_point('',(-1.145580536410e2,-8.631221118093e0,
-2.880557042310e1));
#686=cartesian_point('',(-1.145782571545e2,-8.517745950349e0,
-2.869445973196e1));
#687=cartesian_point('',(-1.145982913273e2,-8.404255390160e0,
-2.858333396911e1));
#689=cartesian_point('',(-1.145982913273e2,-8.404255390159e0,
-2.858333396912e1));
#690=cartesian_point('',(-1.146124659695e2,-8.290797009744e0,
-2.852778620662e1));
#691=cartesian_point('',(-1.146264720305e2,-8.177321844780e0,
-2.847223022663e1));
#692=cartesian_point('',(-1.146403095462e2,-8.063829898832e0,
-2.841666603089e1));
#694=cartesian_point('',(-1.146403095462e2,-8.063829898835e0,
-2.841666603088e1));
#695=cartesian_point('',(-1.146532115699e2,-7.922008448777e0,
-2.838889309961e1));
#696=cartesian_point('',(-1.146658504118e2,-7.780164414304e0,
-2.836111574564e1));
#697=cartesian_point('',(-1.146782260814e2,-7.638297796248e0,
-2.833333396911e1));
#699=cartesian_point('',(-1.147561234836e2,-6.361702084541e0,
-2.833333396912e1));
#700=cartesian_point('',(-1.147610625551e2,-6.219866475922e0,
-2.836110968862e1));
#701=cartesian_point('',(-1.147657387529e2,-6.078022521162e0,
-2.838888704255e1));
#702=cartesian_point('',(-1.147701520806e2,-5.936170220376e0,
-2.841666603089e1));
#704=cartesian_point('',(-1.147701520806e2,-5.936170220375e0,
-2.841666603088e1));
#705=cartesian_point('',(-1.147701742982e2,-5.822694862969e0,
-2.847222209536e1));
#706=cartesian_point('',(-1.147700286690e2,-5.709219679322e0,
-2.852777807477e1));
#707=cartesian_point('',(-1.147697151927e2,-5.595744669434e0,
-2.858333396911e1));
#709=cartesian_point('',(-1.147697151927e2,-5.595744669440e0,
-2.858333396912e1));
#710=cartesian_point('',(-1.147635554865e2,-5.482264748788e0,
-2.869444930440e1));
#711=cartesian_point('',(-1.147572290181e2,-5.368789574688e0,
-2.880555999204e1));
#712=cartesian_point('',(-1.147507357466e2,-5.255319148305e0,
-2.891666603088e1));
#714=cartesian_point('',(-1.147507357466e2,-5.255319148300e0,
-2.891666603088e1));
#715=cartesian_point('',(-1.147416434664e2,-5.198580188325e0,
-2.902778003809e1));
#716=cartesian_point('',(-1.147325100257e2,-5.141842598724e0,
-2.913889136164e1));
#717=cartesian_point('',(-1.147233354012e2,-5.085106380282e0,-2.925e1));
#719=cartesian_point('',(-1.147233354012e2,-5.085106380283e0,-2.925e1));
#720=cartesian_point('',(-1.147099806367e2,-5.056737398570e0,
-2.938888959878e1));
#721=cartesian_point('',(-1.146966046159e2,-5.028623029842e0,
-2.952777825979e1));
#722=cartesian_point('',(-1.146832300652e2,-5.000254421444e0,
-2.966666603088e1));
#724=cartesian_point('',(-1.146131160282e2,-4.999745596037e0,
-3.033333396912e1));
#725=cartesian_point('',(-1.145972668212e2,-5.028114637707e0,
-3.047222386143e1));
#726=cartesian_point('',(-1.145813952390e2,-5.056737831086e0,
-3.061111251875e1));
#727=cartesian_point('',(-1.145655240374e2,-5.085106380283e0,-3.075e1));
#729=cartesian_point('',(-1.145655240373e2,-5.085106380270e0,
-3.074999999997e1));
#730=cartesian_point('',(-1.145513153610e2,-5.141846175834e0,
-3.086111564354e1));
#731=cartesian_point('',(-1.145370642279e2,-5.198583765829e0,
-3.097222696787e1));
#732=cartesian_point('',(-1.145227706006e2,-5.255319148299e0,
-3.108333396911e1));
#734=cartesian_point('',(-1.145227706006e2,-5.255319148299e0,
-3.108333396912e1));
#735=cartesian_point('',(-1.145058709315e2,-5.368807280959e0,
-3.119445734530e1));
#736=cartesian_point('',(-1.144888025438e2,-5.482282457505e0,
-3.130556803533e1));
#737=cartesian_point('',(-1.144715653267e2,-5.595744669430e0,
-3.141666603088e1));
#739=cartesian_point('',(-1.144715653267e2,-5.595744669435e0,
-3.141666603088e1));
#740=cartesian_point('',(-1.144601707555e2,-5.709233715391e0,
-3.147222879710e1));
#741=cartesian_point('',(-1.144486075495e2,-5.822708899852e0,
-3.152778477691e1));
#742=cartesian_point('',(-1.144368756790e2,-5.936170220375e0,
-3.158333396911e1));
#744=cartesian_point('',(-1.144368756790e2,-5.936170220373e0,
-3.158333396912e1));
#745=cartesian_point('',(-1.144265930132e2,-6.078033057547e0,
-3.161111502080e1));
#746=cartesian_point('',(-1.144160466502e2,-6.219877012462e0,
-3.163889237476e1));
#747=cartesian_point('',(-1.144052365820e2,-6.361702084537e0,
-3.166666603089e1));
#749=cartesian_point('',(-1.143271001013e2,-7.638297796248e0,
-3.166666603088e1));
#750=cartesian_point('',(-1.143205488343e2,-7.780154042180e0,
-3.163888628553e1));
#751=cartesian_point('',(-1.143137336595e2,-7.921998076456e0,
-3.161110893159e1));
#752=cartesian_point('',(-1.143066545719e2,-8.063829898831e0,
-3.158333396911e1));
#754=cartesian_point('',(-1.143066545719e2,-8.063829898833e0,
-3.158333396912e1));
#755=cartesian_point('',(-1.143045030278e2,-8.177307842358e0,
-3.152777662878e1));
#756=cartesian_point('',(-1.143021829407e2,-8.290783006170e0,
-3.147222064935e1));
#757=cartesian_point('',(-1.142996943044e2,-8.404255390170e0,
-3.141666603089e1));
#759=cartesian_point('',(-1.142996943044e2,-8.404255390167e0,
-3.141666603088e1));
#760=cartesian_point('',(-1.143030603337e2,-8.517728146875e0,
-3.130555770054e1));
#761=cartesian_point('',(-1.143062590980e2,-8.631203310751e0,
-3.119444701319e1));
#762=cartesian_point('',(-1.143092906183e2,-8.744680881495e0,
-3.108333396912e1));
#764=cartesian_point('',(-1.143092906183e2,-8.744680881497e0,
-3.108333396913e1));
#765=cartesian_point('',(-1.143166624339e2,-8.801417367345e0,
-3.097222479251e1));
#766=cartesian_point('',(-1.143239932274e2,-8.858154949405e0,
-3.086111346913e1));
#767=cartesian_point('',(-1.143312830177e2,-8.914893627172e0,
-3.074999999999e1));
#769=cartesian_point('',(-1.143312830177e2,-8.914893627167e0,-3.075e1));
#770=cartesian_point('',(-1.143437130065e2,-8.943262247749e0,
-3.061111215710e1));
#771=cartesian_point('',(-1.143561689865e2,-8.971173117917e0,
-3.047222345122e1));
#772=cartesian_point('',(-1.143685798806e2,-8.999542073315e0,
-3.033333396912e1));
#774=cartesian_point('',(-1.140047317970e2,-8.234042644502e0,
-3.433333396912e1));
#775=cartesian_point('',(-1.140228701934e2,-7.874886436650e0,
-3.440737048313e1));
#776=cartesian_point('',(-1.140557500721e2,-7.156486152990e0,
-3.455546865143e1));
#777=cartesian_point('',(-1.140948993258e2,-6.078260113128e0,
-3.477770270510e1));
#778=cartesian_point('',(-1.141141823607e2,-5.359749904537e0,
-3.492589380504e1));
#779=cartesian_point('',(-1.141221388469e2,-5.000255669633e0,-3.5e1));
#781=cartesian_point('',(-1.137359853511e2,-8.999654628383e0,
-3.633333396912e1));
#782=cartesian_point('',(-1.137535574691e2,-8.999654628383e0,
-3.616666730377e1));
#783=cartesian_point('',(-1.137710749269e2,-9.000345390036e0,
-3.600000063711e1));
#784=cartesian_point('',(-1.137886470199e2,-9.000345390036e0,
-3.583333396912e1));
#786=cartesian_point('',(-1.137886470199e2,-9.000345390036e0,
-3.583333396912e1));
#787=cartesian_point('',(-1.138213929527e2,-8.660336887400e0,
-3.577784647029e1));
#788=cartesian_point('',(-1.138838658706e2,-7.979533915070e0,
-3.566682587691e1));
#789=cartesian_point('',(-1.139683658224e2,-6.958414169960e0,
-3.550015098754e1));
#790=cartesian_point('',(-1.140186087324e2,-6.276990344697e0,
-3.538895392010e1));
#791=cartesian_point('',(-1.140422030440e2,-5.936170220375e0,
-3.533333396912e1));
#793=cartesian_point('',(-1.139117149439e2,-8.999540250028e0,
-3.466666603088e1));
#794=cartesian_point('',(-1.139351441820e2,-8.999540250028e0,
-3.444444402293e1));
#795=cartesian_point('',(-1.139585007694e2,-9.000459782609e0,
-3.422222201263e1));
#796=cartesian_point('',(-1.139819299631e2,-9.000459782609e0,-3.4e1));
#798=cartesian_point('',(-1.139819299631e2,-9.000459782609e0,-3.4e1));
#799=cartesian_point('',(-1.140165773130e2,-8.660490313123e0,
-3.392602523210e1));
#800=cartesian_point('',(-1.140828701600e2,-7.979571340970e0,
-3.377800918148e1));
#801=cartesian_point('',(-1.141730994250e2,-6.958521514013e0,
-3.355577648668e1));
#802=cartesian_point('',(-1.142271797676e2,-6.277029821388e0,
-3.340750242286e1));
#803=cartesian_point('',(-1.142526955729e2,-5.936170220374e0,
-3.333333396912e1));
#805=cartesian_point('',(-1.141049962104e2,-8.999655738097e0,
-3.283333396912e1));
#806=cartesian_point('',(-1.141225679755e2,-8.999655738097e0,
-3.266666730376e1));
#807=cartesian_point('',(-1.141400854322e2,-9.000344280197e0,
-3.250000063709e1));
#808=cartesian_point('',(-1.141576571725e2,-9.000344280197e0,
-3.233333396912e1));
#810=cartesian_point('',(-1.141576571725e2,-9.000344280197e0,
-3.233333396912e1));
#811=cartesian_point('',(-1.141848696656e2,-8.556245019159e0,
-3.240735044204e1));
#812=cartesian_point('',(-1.142341325183e2,-7.667343412227e0,
-3.255542208238e1));
#813=cartesian_point('',(-1.142924231471e2,-6.333951864079e0,
-3.277766270316e1));
#814=cartesian_point('',(-1.143208943689e2,-5.444995429845e0,
-3.292587669903e1));
#815=cartesian_point('',(-1.143325486440e2,-5.000255199856e0,-3.3e1));
#817=cartesian_point('',(-1.154882375552e2,-1.4e1,-1.5e1));
#818=cartesian_point('',(-1.153117841942e2,-1.4e1,-1.666664029848e1));
#819=cartesian_point('',(-1.149588632176e2,-1.4e1,-1.999993841957e1));
#820=cartesian_point('',(-1.144294415412e2,-1.4e1,-2.499993844431e1));
#821=cartesian_point('',(-1.140764666607e2,-1.4e1,-2.833330699143e1));
#822=cartesian_point('',(-1.138999718384e2,-1.4e1,-3.e1));
#824=cartesian_point('',(-1.138999718384e2,-1.4e1,-3.e1));
#825=cartesian_point('',(-1.138996066567e2,-1.388887216238e1,
-3.013243699972e1));
#826=cartesian_point('',(-1.138954530197e2,-1.366715456284e1,
-3.039728484247e1));
#827=cartesian_point('',(-1.138992751154e2,-1.333149142232e1,
-3.079454465979e1));
#828=cartesian_point('',(-1.138932364971e2,-1.311497587359e1,
-3.105934390933e1));
#829=cartesian_point('',(-1.138919224597e2,-1.300387095721e1,
-3.119175359259e1));
#831=cartesian_point('',(-1.134813607383e2,-1.299613071456e1,
-3.508106315975e1));
#832=cartesian_point('',(-1.134839431711e2,-1.321831337500e1,
-3.481627617596e1));
#833=cartesian_point('',(-1.134893735753e2,-1.366836839490e1,
-3.428668463353e1));
#834=cartesian_point('',(-1.134869954731e2,-1.433272107138e1,
-3.349217320369e1));
#835=cartesian_point('',(-1.134879066747e2,-1.477773785597e1,
-3.296243768321e1));
#836=cartesian_point('',(-1.134866116785e2,-1.5e1,-3.269755597456e1));
#838=cartesian_point('',(-1.133643272454e2,-1.7e1,-3.119175359259e1));
#839=cartesian_point('',(-1.134564863094e2,-1.666683621918e1,
-3.079470445988e1));
#840=cartesian_point('',(-1.135471343446e2,-1.633350265212e1,
-3.039745298380e1));
#841=cartesian_point('',(-1.136362775912e2,-1.6e1,-2.999999999999e1));
#843=cartesian_point('',(-1.136362775912e2,-1.6e1,-3.e1));
#844=cartesian_point('',(-1.138131828430e2,-1.6e1,-2.833329878235e1));
#845=cartesian_point('',(-1.141669736494e2,-1.6e1,-2.499991923091e1));
#846=cartesian_point('',(-1.146976068349e2,-1.6e1,-1.999991919867e1));
#847=cartesian_point('',(-1.150513273083e2,-1.6e1,-1.666663208077e1));
#848=cartesian_point('',(-1.152281780364e2,-1.6e1,-1.5e1));
#850=cartesian_point('',(-1.150848948107e2,-1.700000000001e1,
-1.500000000001e1));
#851=cartesian_point('',(-1.153058921436e2,-1.633382036001e1,
-1.384614301658e1));
#852=cartesian_point('',(-1.155208230546e2,-1.566715168622e1,
-1.269143900176e1));
#853=cartesian_point('',(-1.157297622381e2,-1.500000000001e1,
-1.153589838488e1));
#855=cartesian_point('',(-1.157297622381e2,-1.5e1,-1.153589838486e1));
#856=cartesian_point('',(-1.156937866468e2,-1.433324624390e1,
-1.269074976656e1));
#857=cartesian_point('',(-1.156522282909e2,-1.366657950609e1,
-1.384545042817e1));
#858=cartesian_point('',(-1.156050734769e2,-1.3e1,-1.5e1));
#860=cartesian_point('',(0.e0,0.e0,-6.186414610196e0));
#861=direction('',(0.e0,0.e0,-1.e0));
#862=direction('',(9.960549601150e-1,-8.873847209853e-2,0.e0));
#863=axis2_placement_3d('',#860,#861,#862);
#865=cartesian_point('',(0.e0,0.e0,-6.186414610196e0));
#866=direction('',(0.e0,0.e0,-1.e0));
#867=direction('',(4.933485208238e-3,-9.999878302878e-1,0.e0));
#868=axis2_placement_3d('',#865,#866,#867);
#870=cartesian_point('',(0.e0,0.e0,-6.186414845372e0));
#871=direction('',(0.e0,0.e0,-1.e0));
#872=direction('',(0.e0,-1.e0,0.e0));
#873=axis2_placement_3d('',#870,#871,#872);
#875=cartesian_point('',(0.e0,0.e0,-6.186414845372e0));
#876=direction('',(0.e0,0.e0,-1.e0));
#877=direction('',(-4.933485208238e-3,9.999878302878e-1,0.e0));
#878=axis2_placement_3d('',#875,#876,#877);
#880=cartesian_point('',(0.e0,0.e0,-6.186414610196e0));
#881=direction('',(0.e0,0.e0,-1.e0));
#882=direction('',(0.e0,1.e0,0.e0));
#883=axis2_placement_3d('',#880,#881,#882);
#885=cartesian_point('',(1.197963044859e2,1.036218182619e1,-3.500023828764e0));
#886=cartesian_point('',(1.195020047308e2,1.036651175089e1,-3.499968570466e0));
#887=cartesian_point('',(1.189130993792e2,1.037525517032e1,-3.585637540953e0));
#888=cartesian_point('',(1.180967424814e2,1.038704789798e1,-3.969576835428e0));
#889=cartesian_point('',(1.174400653739e2,1.039641418996e1,-4.560736004050e0));
#890=cartesian_point('',(1.169777125586e2,1.040294783913e1,-5.317659241057e0));
#891=cartesian_point('',(1.168284294748e2,1.040505205837e1,-5.893174949798e0));
#892=cartesian_point('',(1.167975081311e2,1.040548532244e1,-6.186419299762e0));
#894=cartesian_point('',(1.197963043219e2,1.036218029045e1,-4.e0));
#895=direction('',(-9.993908270191e-1,3.489949670250e-2,0.e0));
#896=direction('',(-3.489949670251e-2,-9.993908270191e-1,1.475086719438e-11));
#897=axis2_placement_3d('',#894,#895,#896);
#899=cartesian_point('',(1.172928133742e2,1.044960412073e1,-6.238690391260e0));
#900=direction('',(-1.052804042279e-1,3.676472726543e-3,-9.944357797434e-1));
#901=direction('',(-3.669213817954e-2,-9.993265987088e-1,1.900234870004e-4));
#902=axis2_placement_3d('',#899,#900,#901);
#904=cartesian_point('',(1.140175935261e2,1.050108479944e1,-3.244533735223e1));
#905=cartesian_point('',(1.143265073301e2,1.049046863101e1,-2.952759159956e1));
#906=cartesian_point('',(1.149442465604e2,1.046921249929e1,-2.369215203174e1));
#907=cartesian_point('',(1.158708570537e2,1.043734452019e1,-1.493917640704e1));
#908=cartesian_point('',(1.164886691576e2,1.041611372412e1,-9.103989307504e0));
#909=cartesian_point('',(1.167975081311e2,1.040548532244e1,-6.186419299762e0));
#911=direction('',(0.e0,-1.045284632672e-1,-9.945218953683e-1));
#912=vector('',#911,3.872572886689e1);
#913=cartesian_point('',(0.e0,1.172600591424e2,-6.186414727782e0));
#914=line('',#913,#912);
#915=cartesian_point('',(1.167974945636e2,-1.040545600227e1,-6.186363376879e0));
#916=cartesian_point('',(1.164886531346e2,-1.041608436355e1,-9.103957129947e0));
#917=cartesian_point('',(1.158709543418e2,-1.043721505068e1,-1.493896454178e1));
#918=cartesian_point('',(1.149443007403e2,-1.046908634984e1,-2.369210673257e1));
#919=cartesian_point('',(1.143265337645e2,-1.049043503180e1,-2.952756986538e1));
#920=cartesian_point('',(1.140176174520e2,-1.050105115289e1,-3.244533987584e1));
#922=cartesian_point('',(1.146512805101e2,1.908333319426e1,-1.6e1));
#923=cartesian_point('',(1.147337148489e2,1.976381197913e1,-1.416332784416e1));
#924=cartesian_point('',(1.148104994142e2,2.044436771780e1,-1.232644798324e1));
#925=cartesian_point('',(1.148816643268e2,2.1125e1,-1.048936152459e1));
#927=cartesian_point('',(1.148816643268e2,2.1125e1,-1.048936152458e1));
#928=cartesian_point('',(1.148162315943e2,2.1125e1,-1.110164665217e1));
#929=cartesian_point('',(1.146853614279e2,2.1125e1,-1.232622221651e1));
#930=cartesian_point('',(1.144890441365e2,2.1125e1,-1.416310171099e1));
#931=cartesian_point('',(1.143581578869e2,2.1125e1,-1.538769880279e1));
#932=cartesian_point('',(1.142927123810e2,2.1125e1,-1.6e1));
#934=cartesian_point('',(1.141275152117e2,2.2e1,-1.6e1));
#935=cartesian_point('',(1.142107694367e2,2.2e1,-1.522220815660e1));
#936=cartesian_point('',(1.143772694505e2,2.2e1,-1.366663374546e1));
#937=cartesian_point('',(1.146269983739e2,2.2e1,-1.133330040620e1));
#938=cartesian_point('',(1.147934703179e2,2.2e1,-9.777763705277e0));
#939=cartesian_point('',(1.148767021400e2,2.2e1,-9.000000000001e0));
#941=cartesian_point('',(1.159985202257e2,1.5e1,-9.000000000001e0));
#942=cartesian_point('',(1.159160925255e2,1.5e1,-9.777771352576e0));
#943=cartesian_point('',(1.157512335932e2,1.5e1,-1.133331832324e1));
#944=cartesian_point('',(1.155039353867e2,1.5e1,-1.366665165936e1));
#945=cartesian_point('',(1.153390633451e2,1.5e1,-1.52222158e1));
#946=cartesian_point('',(1.152566255293e2,1.5e1,-1.6e1));
#948=cartesian_point('',(1.151393681736e2,1.5875e1,-1.6e1));
#949=cartesian_point('',(1.152043320607e2,1.5875e1,-1.538770236008e1));
#950=cartesian_point('',(1.153342573187e2,1.5875e1,-1.416311004739e1));
#951=cartesian_point('',(1.155291383571e2,1.5875e1,-1.232623055406e1));
#952=cartesian_point('',(1.156590545011e2,1.5875e1,-1.110165021089e1));
#953=cartesian_point('',(1.157240113309e2,1.5875e1,-1.048936152458e1));
#955=cartesian_point('',(1.157240113309e2,1.587499999998e1,-1.048936152453e1));
#956=cartesian_point('',(1.154356368727e2,1.655589566244e1,-1.232715905748e1));
#957=cartesian_point('',(1.151408026908e2,1.723645347134e1,-1.416404469382e1));
#958=cartesian_point('',(1.148393782048e2,1.791666659711e1,-1.599999999995e1));
#960=cartesian_point('',(1.132405459160e2,2.754166638851e1,-1.302127653360e1));
#961=cartesian_point('',(1.132888771820e2,2.754166638851e1,-1.257446064132e1));
#962=cartesian_point('',(1.133855349750e2,2.754166638851e1,-1.168083369989e1));
#963=cartesian_point('',(1.135305108680e2,2.754166638851e1,-1.034040818696e1));
#964=cartesian_point('',(1.136271542804e2,2.754166638851e1,-9.446801112994e0));
#965=cartesian_point('',(1.136754736392e2,2.754166638851e1,-9.000000000001e0));
#967=cartesian_point('',(1.144954322584e2,-1.004697650869e1,-3.249753701713e1));
#968=cartesian_point('',(1.142764075888e2,-1.005463170978e1,-3.247431725064e1));
#969=cartesian_point('',(1.140374890564e2,-1.028157779659e1,-3.244825665806e1));
#970=cartesian_point('',(1.140176174520e2,-1.050105115289e1,-3.244533987584e1));
#972=cartesian_point('',(1.167974945636e2,-1.040545600227e1,-6.186363376879e0));
#973=cartesian_point('',(1.168279838460e2,-1.040502681908e1,-5.897379807528e0));
#974=cartesian_point('',(1.169720212546e2,-1.040302860429e1,-5.326764339674e0));
#975=cartesian_point('',(1.174498959293e2,-1.039627276837e1,-4.548030907392e0));
#976=cartesian_point('',(1.180910710130e2,-1.038712504506e1,-3.977733970094e0));
#977=cartesian_point('',(1.188814041832e2,-1.037571797727e1,-3.595368615877e0));
#978=cartesian_point('',(1.194874011803e2,-1.036673045545e1,-3.499984188719e0));
#979=cartesian_point('',(1.197963048342e2,-1.036218181678e1,-3.500047605171e0));
#981=cartesian_point('',(1.172752799089e2,-9.949918994487e0,-6.238675338656e0));
#982=cartesian_point('',(1.172553275243e2,-9.950616742566e0,-6.236560798045e0));
#983=cartesian_point('',(1.171955104941e2,-9.956347329050e0,-6.230208070116e0));
#984=cartesian_point('',(1.171005517045e2,-9.983572105600e0,-6.220055990403e0));
#985=cartesian_point('',(1.170191959539e2,-1.002931206379e1,-6.211275390200e0));
#986=cartesian_point('',(1.169641558278e2,-1.007309647264e1,-6.205287611395e0));
#987=cartesian_point('',(1.169285000400e2,-1.010797816627e1,-6.201384299478e0));
#988=cartesian_point('',(1.168963837617e2,-1.014617991508e1,-6.197844365440e0));
#989=cartesian_point('',(1.168567871007e2,-1.020444379188e1,-6.193433786590e0));
#990=cartesian_point('',(1.168172977053e2,-1.028883414443e1,-6.188971502480e0));
#991=cartesian_point('',(1.168009506342e2,-1.036606000087e1,-6.186874824275e0));
#992=cartesian_point('',(1.167974945636e2,-1.040545600227e1,-6.186363376879e0));
#994=cartesian_point('',(1.227000003025e2,-1.026078079341e1,-3.500000476023e0));
#995=cartesian_point('',(1.227054850100e2,-9.998500921745e0,-3.500059383508e0));
#996=cartesian_point('',(1.227104712025e2,-9.760104837760e0,-3.738449249578e0));
#997=cartesian_point('',(1.227104710819e2,-9.760110606265e0,-4.000000001360e0));
#999=direction('',(-9.993907697510e-1,-3.490113660131e-2,-6.974715823318e-7));
#1000=vector('',#999,2.933404004552e0);
#1001=cartesian_point('',(1.227104710819e2,-9.760110606265e0,
-4.000000001360e0));
#1002=line('',#1001,#1000);
#1003=cartesian_point('',(1.197963046711e2,-1.036218027825e1,-4.e0));
#1004=direction('',(9.993908270191e-1,3.489949670250e-2,0.e0));
#1005=direction('',(-3.489949670251e-2,9.993908270191e-1,-1.140421090895e-12));
#1006=axis2_placement_3d('',#1003,#1004,#1005);
#1008=cartesian_point('',(1.229999997816e2,-9.635900995158e0,
-3.499999848866e0));
#1009=cartesian_point('',(1.229999997769e2,-9.597679604032e0,
-3.547709160981e0));
#1010=cartesian_point('',(1.230000001042e2,-9.534075877247e0,
-3.648746732605e0));
#1011=cartesian_point('',(1.229999999698e2,-9.473736450824e0,
-3.820794623716e0));
#1012=cartesian_point('',(1.230000000010e2,-9.460291670318e0,
-3.939105758652e0));
#1013=cartesian_point('',(1.229999999997e2,-9.460293115995e0,
-3.999997772553e0));
#1015=cartesian_point('',(1.227e2,-9.460293367558e0,-4.000000000375e0));
#1016=direction('',(0.e0,0.e0,-1.e0));
#1017=direction('',(1.e0,0.e0,0.e0));
#1018=axis2_placement_3d('',#1015,#1016,#1017);
#1020=cartesian_point('',(1.229999989535e2,-7.664143379117e0,
-2.116414665854e1));
#1021=direction('',(-9.999999999227e-1,1.230779222985e-5,-1.763286169549e-6));
#1022=direction('',(-1.766017659535e-6,-2.219352365614e-4,9.999999753708e-1));
#1023=axis2_placement_3d('',#1020,#1021,#1022);
#1025=cartesian_point('',(1.230000050242e2,-7.664092739662e0,
-2.151554616290e1));
#1026=direction('',(-9.999999992949e-1,-3.405290725139e-5,1.583237584382e-5));
#1027=direction('',(-3.403911225359e-5,9.999996205343e-1,8.705012917950e-4));
#1028=axis2_placement_3d('',#1025,#1026,#1027);
#1030=cartesian_point('',(1.230000006945e2,-9.260526101065e0,
-2.151555312871e1));
#1031=direction('',(-9.999999999278e-1,-4.334496363408e-6,1.121060041773e-5));
#1032=direction('',(-1.120986923391e-5,-1.686553396176e-4,-9.999999857149e-1));
#1033=axis2_placement_3d('',#1030,#1031,#1032);
#1035=cartesian_point('',(0.e0,0.e0,-3.5e0));
#1036=direction('',(0.e0,0.e0,1.e0));
#1037=direction('',(9.978029428498e-1,6.625169613114e-2,0.e0));
#1038=axis2_placement_3d('',#1035,#1036,#1037);
#1040=direction('',(-9.993908270191e-1,3.489949670242e-2,0.e0));
#1041=vector('',#1040,3.713425128333e0);
#1042=cartesian_point('',(1.264216328591e2,-8.394089899816e0,-3.5e0));
#1043=line('',#1042,#1041);
#1044=cartesian_point('',(1.227e2,-8.564310479901e0,-3.5e0));
#1045=direction('',(0.e0,0.e0,-1.e0));
#1046=direction('',(3.489949665536e-2,9.993908270207e-1,0.e0));
#1047=axis2_placement_3d('',#1044,#1045,#1046);
#1049=direction('',(5.992928543400e-9,-1.e0,1.410386919283e-7));
#1050=vector('',#1049,1.071591370466e0);
#1051=cartesian_point('',(1.229999997752e2,-8.564309624692e0,
-3.500000000002e0));
#1052=line('',#1051,#1050);
#1053=cartesian_point('',(1.229999997816e2,-9.635900995158e0,
-3.499999848866e0));
#1054=cartesian_point('',(1.230000005012e2,-9.705546462379e0,
-3.499999848866e0));
#1055=cartesian_point('',(1.229718142261e2,-9.844339685502e0,
-3.500001187498e0));
#1056=cartesian_point('',(1.228581616465e2,-1.005577283352e1,
-3.499996070456e0));
#1057=cartesian_point('',(1.227547742432e2,-1.019010714146e1,
-3.500008377270e0));
#1058=cartesian_point('',(1.227000003025e2,-1.026078079341e1,
-3.500000476023e0));
#1060=direction('',(-9.993908059608e-1,-3.490009595845e-2,-1.622085997624e-5));
#1061=vector('',#1060,2.905465460485e0);
#1062=cartesian_point('',(1.227000003025e2,-1.026078079341e1,
-3.500000476023e0));
#1063=line('',#1062,#1061);
#1064=cartesian_point('',(0.e0,0.e0,-3.5e0));
#1065=direction('',(0.e0,0.e0,-1.e0));
#1066=direction('',(9.962798818040e-1,-8.617654618577e-2,0.e0));
#1067=axis2_placement_3d('',#1064,#1065,#1066);
#1069=cartesian_point('',(0.e0,0.e0,-3.5e0));
#1070=direction('',(0.e0,0.e0,-1.e0));
#1071=direction('',(4.933485208238e-3,-9.999878302878e-1,0.e0));
#1072=axis2_placement_3d('',#1069,#1070,#1071);
#1074=cartesian_point('',(0.e0,0.e0,-3.5e0));
#1075=direction('',(0.e0,0.e0,-1.e0));
#1076=direction('',(-4.933485208238e-3,9.999878302878e-1,0.e0));
#1077=axis2_placement_3d('',#1074,#1075,#1076);
#1079=direction('',(9.993908054122e-1,-3.490011444345e-2,8.331561154554e-6));
#1080=vector('',#1079,2.905465896222e0);
#1081=cartesian_point('',(1.197963044859e2,1.036218182619e1,-3.500023828764e0));
#1082=line('',#1081,#1080);
#1083=cartesian_point('',(1.227000003880e2,1.026078073390e1,-3.499999621697e0));
#1084=cartesian_point('',(1.227546819755e2,1.019024288557e1,-3.500003308521e0));
#1085=cartesian_point('',(1.228579302358e2,1.005607231877e1,-3.499998456020e0));
#1086=cartesian_point('',(1.229716397535e2,9.844803560808e0,-3.500000441148e0));
#1087=cartesian_point('',(1.230000004583e2,9.705745428974e0,-3.499999999974e0));
#1088=cartesian_point('',(1.229999998873e2,9.635899898922e0,-3.499999999974e0));
#1090=direction('',(-1.025766569957e-8,-1.e0,-1.672271077366e-11));
#1091=vector('',#1090,1.071589889846e0);
#1092=cartesian_point('',(1.229999998873e2,9.635899898922e0,-3.499999999974e0));
#1093=line('',#1092,#1091);
#1094=cartesian_point('',(1.227e2,8.564310479901e0,-3.5e0));
#1095=direction('',(0.e0,0.e0,-1.e0));
#1096=direction('',(9.999999999889e-1,-4.708252359838e-6,0.e0));
#1097=axis2_placement_3d('',#1094,#1095,#1096);
#1099=direction('',(9.993908270191e-1,3.489949670243e-2,0.e0));
#1100=vector('',#1099,3.713425128332e0);
#1101=cartesian_point('',(1.227104698490e2,8.264493231795e0,-3.5e0));
#1102=line('',#1101,#1100);
#1103=cartesian_point('',(1.136206314892e2,-4.711e1,-3.5e0));
#1104=direction('',(0.e0,0.e0,-1.e0));
#1105=direction('',(-1.e0,0.e0,0.e0));
#1106=axis2_placement_3d('',#1103,#1104,#1105);
#1108=cartesian_point('',(1.136206314892e2,-4.711e1,-3.5e0));
#1109=direction('',(0.e0,0.e0,-1.e0));
#1110=direction('',(1.e0,0.e0,0.e0));
#1111=axis2_placement_3d('',#1108,#1109,#1110);
#1113=cartesian_point('',(1.136206314892e2,4.711e1,-3.5e0));
#1114=direction('',(0.e0,0.e0,-1.e0));
#1115=direction('',(-1.e0,0.e0,0.e0));
#1116=axis2_placement_3d('',#1113,#1114,#1115);
#1118=cartesian_point('',(1.136206314892e2,4.711e1,-3.5e0));
#1119=direction('',(0.e0,0.e0,-1.e0));
#1120=direction('',(1.e0,0.e0,0.e0));
#1121=axis2_placement_3d('',#1118,#1119,#1120);
#1123=cartesian_point('',(4.711e1,1.136206314892e2,-3.5e0));
#1124=direction('',(0.e0,0.e0,-1.e0));
#1125=direction('',(-1.e0,0.e0,0.e0));
#1126=axis2_placement_3d('',#1123,#1124,#1125);
#1128=cartesian_point('',(4.711e1,1.136206314892e2,-3.5e0));
#1129=direction('',(0.e0,0.e0,-1.e0));
#1130=direction('',(1.e0,0.e0,0.e0));
#1131=axis2_placement_3d('',#1128,#1129,#1130);
#1133=cartesian_point('',(-4.711e1,1.136206314892e2,-3.5e0));
#1134=direction('',(0.e0,0.e0,-1.e0));
#1135=direction('',(-1.e0,0.e0,0.e0));
#1136=axis2_placement_3d('',#1133,#1134,#1135);
#1138=cartesian_point('',(-4.711e1,1.136206314892e2,-3.5e0));
#1139=direction('',(0.e0,0.e0,-1.e0));
#1140=direction('',(1.e0,0.e0,0.e0));
#1141=axis2_placement_3d('',#1138,#1139,#1140);
#1143=cartesian_point('',(-1.136206314892e2,4.711e1,-3.5e0));
#1144=direction('',(0.e0,0.e0,-1.e0));
#1145=direction('',(-1.e0,0.e0,0.e0));
#1146=axis2_placement_3d('',#1143,#1144,#1145);
#1148=cartesian_point('',(-1.136206314892e2,4.711e1,-3.5e0));
#1149=direction('',(0.e0,0.e0,-1.e0));
#1150=direction('',(1.e0,0.e0,0.e0));
#1151=axis2_placement_3d('',#1148,#1149,#1150);
#1153=cartesian_point('',(-1.136206314892e2,-4.711e1,-3.5e0));
#1154=direction('',(0.e0,0.e0,-1.e0));
#1155=direction('',(-1.e0,0.e0,0.e0));
#1156=axis2_placement_3d('',#1153,#1154,#1155);
#1158=cartesian_point('',(-1.136206314892e2,-4.711e1,-3.5e0));
#1159=direction('',(0.e0,0.e0,-1.e0));
#1160=direction('',(1.e0,0.e0,0.e0));
#1161=axis2_placement_3d('',#1158,#1159,#1160);
#1163=cartesian_point('',(-4.711e1,-1.136206314892e2,-3.5e0));
#1164=direction('',(0.e0,0.e0,-1.e0));
#1165=direction('',(-1.e0,0.e0,0.e0));
#1166=axis2_placement_3d('',#1163,#1164,#1165);
#1168=cartesian_point('',(-4.711e1,-1.136206314892e2,-3.5e0));
#1169=direction('',(0.e0,0.e0,-1.e0));
#1170=direction('',(1.e0,0.e0,0.e0));
#1171=axis2_placement_3d('',#1168,#1169,#1170);
#1173=cartesian_point('',(4.711e1,-1.136206314892e2,-3.5e0));
#1174=direction('',(0.e0,0.e0,-1.e0));
#1175=direction('',(-1.e0,0.e0,0.e0));
#1176=axis2_placement_3d('',#1173,#1174,#1175);
#1178=cartesian_point('',(4.711e1,-1.136206314892e2,-3.5e0));
#1179=direction('',(0.e0,0.e0,-1.e0));
#1180=direction('',(1.e0,0.e0,0.e0));
#1181=axis2_placement_3d('',#1178,#1179,#1180);
#1183=cartesian_point('',(0.e0,0.e0,-3.2e0));
#1184=direction('',(0.e0,0.e0,1.e0));
#1185=direction('',(0.e0,-1.e0,0.e0));
#1186=axis2_placement_3d('',#1183,#1184,#1185);
#1188=cartesian_point('',(0.e0,0.e0,-3.2e0));
#1189=direction('',(0.e0,0.e0,1.e0));
#1190=direction('',(9.978073488919e-1,6.618530424011e-2,0.e0));
#1191=axis2_placement_3d('',#1188,#1189,#1190);
#1193=cartesian_point('',(0.e0,0.e0,-3.2e0));
#1194=direction('',(0.e0,0.e0,1.e0));
#1195=direction('',(1.513333562489e-12,1.e0,0.e0));
#1196=axis2_placement_3d('',#1193,#1194,#1195);
#1198=cartesian_point('',(1.267541768724e2,-7.898007182745e0,
-2.692128218588e0));
#1199=cartesian_point('',(1.267474516067e2,-8.006159640939e0,
-2.692363070043e0));
#1200=cartesian_point('',(1.267372918345e2,-8.165608197121e0,
-2.744367994331e0));
#1201=cartesian_point('',(1.267246077112e2,-8.358372003617e0,
-2.936049760724e0));
#1202=cartesian_point('',(1.267217019867e2,-8.405362267305e0,
-3.101855317049e0));
#1203=cartesian_point('',(1.267217331759e2,-8.404892060403e0,
-3.198776564905e0));
#1205=direction('',(1.104020394198e-11,0.e0,-1.e0));
#1206=vector('',#1205,2.9e0);
#1207=cartesian_point('',(9.611627665444e-11,1.27e2,-3.e-1));
#1208=line('',#1207,#1206);
#1209=cartesian_point('',(1.267217360977e2,8.404893988945e0,-3.198776455887e0));
#1210=cartesian_point('',(1.267217047347e2,8.405366816203e0,-3.101314735946e0));
#1211=cartesian_point('',(1.267246373679e2,8.357909659728e0,-2.934857741934e0));
#1212=cartesian_point('',(1.267374107363e2,8.163772070173e0,-2.743356602691e0));
#1213=cartesian_point('',(1.267475015458e2,8.005358559010e0,-2.692361432778e0));
#1214=cartesian_point('',(1.267541799264e2,7.897958068991e0,-2.692128218588e0));
#1216=cartesian_point('',(1.217035016775e2,3.421859036885e0,-2.870670940168e0));
#1217=cartesian_point('',(1.219944367006e2,3.458373827548e0,-2.860511265289e0));
#1218=cartesian_point('',(1.225472329879e2,3.427594677982e0,-2.841207093188e0));
#1219=cartesian_point('',(1.233378837303e2,3.094154375117e0,-2.813597001194e0));
#1220=cartesian_point('',(1.239484708742e2,2.526524195146e0,-2.792274817532e0));
#1221=cartesian_point('',(1.243415601647e2,1.769432577626e0,-2.778547839718e0));
#1222=cartesian_point('',(1.244494969499e2,9.263660795986e-1,
-2.774778604122e0));
#1223=cartesian_point('',(1.242616252297e2,9.601937542862e-2,
-2.781339226469e0));
#1224=cartesian_point('',(1.238101656037e2,-6.145102200718e-1,
-2.797104554758e0));
#1225=cartesian_point('',(1.231180610886e2,-1.140254731023e0,
-2.821273336662e0));
#1226=cartesian_point('',(1.225872308045e2,-1.305830227391e0,
-2.839810439036e0));
#1227=cartesian_point('',(1.222959870422e2,-1.341668343630e0,
-2.849980895327e0));
#1229=cartesian_point('',(1.222959870422e2,-1.341668343630e0,
-2.849980895327e0));
#1230=cartesian_point('',(1.218730728081e2,-1.393708507512e0,
-2.864749385811e0));
#1231=cartesian_point('',(1.210265194588e2,-1.493552448208e0,
-2.894311579620e0));
#1232=cartesian_point('',(1.197552898829e2,-1.630507174155e0,
-2.938703935750e0));
#1233=cartesian_point('',(1.189069440874e2,-1.713263632183e0,
-2.968328814580e0));
#1234=cartesian_point('',(1.184825502516e2,-1.752506221928e0,
-2.983148973895e0));
#1236=direction('',(9.988058587178e-1,-3.393095798821e-2,3.515034396620e-2));
#1237=vector('',#1236,8.277148268155e0);
#1238=cartesian_point('',(1.184869126887e2,-7.617155612596e0,
-2.983072827273e0));
#1239=line('',#1238,#1237);
#1240=cartesian_point('',(1.267541768724e2,-7.898007182745e0,
-2.692128218588e0));
#1241=cartesian_point('',(1.268633480337e2,-6.142369570697e0,
-2.688315877628e0));
#1242=cartesian_point('',(1.270093314614e2,-2.643046903705e0,
-2.686110289901e0));
#1243=cartesian_point('',(1.270093308534e2,2.643063317310e0,-2.686110247142e0));
#1244=cartesian_point('',(1.268633490470e2,6.142320329890e0,-2.688315948893e0));
#1245=cartesian_point('',(1.267541799264e2,7.897958068991e0,-2.692128218588e0));
#1247=direction('',(-9.988060606751e-1,-3.392501865923e-2,-3.515033808862e-2));
#1248=vector('',#1247,8.277149652187e0);
#1249=cartesian_point('',(1.267541799264e2,7.897958068991e0,-2.692128218588e0));
#1250=line('',#1249,#1248);
#1251=direction('',(9.574732711665e-4,9.999995414827e-1,1.671275795384e-5));
#1252=vector('',#1251,4.556197274799e0);
#1253=cartesian_point('',(1.184825502516e2,3.060960426892e0,-2.983148973895e0));
#1254=line('',#1253,#1252);
#1255=direction('',(-8.476882974910e-5,-9.999999964071e-1,7.727691401260e-13));
#1256=vector('',#1255,4.619792603781e0);
#1257=cartesian_point('',(1.18e2,7.617155612597e0,-3.482844387393e0));
#1258=line('',#1257,#1256);
#1259=cartesian_point('',(1.185e2,7.617155612596e0,-3.482844387404e0));
#1260=direction('',(0.e0,0.e0,1.e0));
#1261=direction('',(-3.489949660468e-2,9.993908270225e-1,0.e0));
#1262=axis2_placement_3d('',#1259,#1260,#1261);
#1264=cartesian_point('',(1.185e2,7.617155612596e0,-3.482844387404e0));
#1265=direction('',(0.e0,0.e0,1.e0));
#1266=direction('',(-7.193398003963e-1,6.946583703993e-1,0.e0));
#1267=axis2_placement_3d('',#1264,#1265,#1266);
#1269=cartesian_point('',(1.18e2,7.617155612597e0,-3.482844387393e0));
#1270=cartesian_point('',(1.18e2,7.617155612597e0,-3.397517179529e0));
#1271=cartesian_point('',(1.180452238426e2,7.617155612595e0,-3.226969240676e0));
#1272=cartesian_point('',(1.182263633096e2,7.617155612597e0,-3.036729058052e0));
#1273=cartesian_point('',(1.184016374599e2,7.617155612595e0,-2.986050703883e0));
#1274=cartesian_point('',(1.184869126887e2,7.617155612595e0,-2.983072827273e0));
#1276=cartesian_point('',(1.185e2,7.617155612594e0,-3.482844387406e0));
#1277=direction('',(-9.987827659587e-1,-3.487826274237e-2,-3.487826274237e-2));
#1278=direction('',(-3.489949670251e-2,-1.598721155460e-14,9.993908270191e-1));
#1279=axis2_placement_3d('',#1276,#1277,#1278);
#1281=direction('',(1.598278685852e-8,5.581984024988e-10,-1.e0));
#1282=vector('',#1281,1.653431122508e1);
#1283=cartesian_point('',(1.184825499874e2,8.116851016877e0,-3.482844387404e0));
#1284=line('',#1283,#1282);
#1285=direction('',(-9.204760847549e-6,2.637504838516e-4,9.999999651755e-1));
#1286=vector('',#1285,1.652995201801e1);
#1287=cartesian_point('',(1.180001521543e2,7.612795829755e0,-2.001279582976e1));
#1288=line('',#1287,#1286);
#1289=direction('',(9.987967153489e-1,3.491805750350e-2,3.443618254738e-2));
#1290=vector('',#1289,8.249112140287e0);
#1291=cartesian_point('',(1.184825499874e2,8.116851016877e0,-3.482844387404e0));
#1292=line('',#1291,#1290);
#1293=cartesian_point('',(1.267217360977e2,8.404893988945e0,-3.198776455887e0));
#1294=cartesian_point('',(1.267217360977e2,8.404893988945e0,-3.258164489668e0));
#1295=cartesian_point('',(1.266915591303e2,8.403364614795e0,-3.358240741282e0));
#1296=cartesian_point('',(1.265785991794e2,8.399614518253e0,-3.470634432387e0));
#1297=cartesian_point('',(1.264792101130e2,8.396100541828e0,-3.5e0));
#1298=cartesian_point('',(1.264216328591e2,8.394089899816e0,-3.5e0));
#1300=direction('',(-9.987827661080e-1,-3.487825714988e-2,3.487826405891e-2));
#1301=vector('',#1300,4.233071807818e0);
#1302=cartesian_point('',(1.227104694210e2,8.264493193154e0,-2.016479780878e1));
#1303=line('',#1302,#1301);
#1304=direction('',(7.433876947368e-9,-9.747643145142e-8,-1.e0));
#1305=vector('',#1304,1.666478736575e1);
#1306=cartesian_point('',(1.229999998763e2,8.564310009076e0,-3.499999999992e0));
#1307=line('',#1306,#1305);
#1308=direction('',(2.568194396258e-8,2.318729045921e-9,1.e0));
#1309=vector('',#1308,1.666479780878e1);
#1310=cartesian_point('',(1.227104694210e2,8.264493193154e0,-2.016479780878e1));
#1311=line('',#1310,#1309);
#1312=cartesian_point('',(1.229999998873e2,9.635899898922e0,-3.499999999974e0));
#1313=cartesian_point('',(1.229999999010e2,9.597763331721e0,-3.547616319294e0));
#1314=cartesian_point('',(1.230000000460e2,9.534208518570e0,-3.648482242597e0));
#1315=cartesian_point('',(1.229999999876e2,9.473788160715e0,-3.820539773339e0));
#1316=cartesian_point('',(1.229999999983e2,9.460291288366e0,-3.938994166704e0));
#1317=cartesian_point('',(1.230000000019e2,9.460293367557e0,-3.999999999389e0));
#1319=cartesian_point('',(1.230000192229e2,9.260519059736e0,-2.151554514216e1));
#1320=direction('',(-9.999999907208e-1,-8.782880481744e-5,1.041370207545e-4));
#1321=direction('',(-8.773348113874e-5,9.999995775214e-1,9.150190722226e-4));
#1322=axis2_placement_3d('',#1319,#1320,#1321);
#1324=cartesian_point('',(1.23e2,7.664060627332e0,-2.171531226037e1));
#1325=cartesian_point('',(1.23e2,7.559234845078e0,-2.171527917060e1));
#1326=cartesian_point('',(1.23e2,7.464302827568e0,-2.161990179605e1));
#1327=cartesian_point('',(1.23e2,7.464313799160e0,-2.151539028717e1));
#1329=cartesian_point('',(1.23e2,7.464311040350e0,-2.116419080288e1));
#1330=cartesian_point('',(1.23e2,7.464343978242e0,-2.105933098296e1));
#1331=cartesian_point('',(1.23e2,7.559695031674e0,-2.096429986473e1));
#1332=cartesian_point('',(1.23e2,7.664190159304e0,-2.096431091111e1));
#1334=cartesian_point('',(1.229999995881e2,7.764783832320e0,-2.096430767633e1));
#1335=cartesian_point('',(1.230000017393e2,7.876164238969e0,-2.096433568804e1));
#1336=cartesian_point('',(1.229999991924e2,8.079887399581e0,-2.092097857388e1));
#1337=cartesian_point('',(1.230000002177e2,8.345039118984e0,-2.074504229223e1));
#1338=cartesian_point('',(1.229999999367e2,8.520994578779e0,-2.047988697454e1));
#1339=cartesian_point('',(1.230000000025e2,8.564305681589e0,-2.027616245529e1));
#1340=cartesian_point('',(1.230000000002e2,8.564308384652e0,-2.016478736575e1));
#1342=cartesian_point('',(1.227e2,9.460293367558e0,-4.000000001255e0));
#1343=direction('',(0.e0,0.e0,-1.e0));
#1344=direction('',(3.489949672859e-2,9.993908270182e-1,0.e0));
#1345=axis2_placement_3d('',#1342,#1343,#1344);
#1347=cartesian_point('',(1.227104710424e2,9.760110804450e0,-4.000000004176e0));
#1348=cartesian_point('',(1.227104712152e2,9.760102546322e0,-3.738453813744e0));
#1349=cartesian_point('',(1.227054828990e2,9.998605897700e0,-3.500027483659e0));
#1350=cartesian_point('',(1.227000003880e2,1.026078073390e1,-3.499999621697e0));
#1352=direction('',(9.993907721598e-1,-3.490106762439e-2,6.972022858881e-7));
#1353=vector('',#1352,2.933403656213e0);
#1354=cartesian_point('',(1.197788544974e2,9.862489723825e0,-4.000002049351e0));
#1355=line('',#1354,#1353);
#1356=cartesian_point('',(1.197788544974e2,9.862489723825e0,-4.000002049351e0));
#1357=cartesian_point('',(1.194586892533e2,9.873670140511e0,-4.003880874192e0));
#1358=cartesian_point('',(1.188636794226e2,9.894441423763e0,-4.112096844719e0));
#1359=cartesian_point('',(1.180532770190e2,9.922743364442e0,-4.600265931820e0));
#1360=cartesian_point('',(1.174865340729e2,9.942536580467e0,-5.340906532361e0));
#1361=cartesian_point('',(1.173135607536e2,9.948569921799e0,-5.920494659440e0));
#1362=cartesian_point('',(1.172750331013e2,9.949915337065e0,-6.238649190561e0));
#1364=direction('',(-1.052698224401e-1,3.675811031135e-3,-9.944369024210e-1