-尊龙人生就是博
iso-10303-21;
header;
file_description((''),'2;1');
file_name('6025_asm','2018-12-20t',('administrator'),(''),
'pro/engineer by parametric technology corporation, 2010280',
'pro/engineer by parametric technology corporation, 2010280','');
file_schema(('config_control_design'));
endsec;
data;
#1=direction('',(6.889336286301e-1,-6.902776772206e-3,-7.247915610818e-1));
#2=vector('',#1,2.122952011789e0);
#3=cartesian_point('',(-4.289664569873e-3,-2.842334041329e1,1.059925660465e1));
#4=line('',#3,#2);
#5=cartesian_point('',(2.501026792807e0,-2.838203845440e1,8.000000000002e0));
#6=cartesian_point('',(2.151838775050e0,-2.840726426822e1,8.351592133832e0));
#7=cartesian_point('',(1.804275508438e0,-2.842584321621e1,8.705133209309e0));
#8=cartesian_point('',(1.458283368320e0,-2.843799467712e1,9.060558901928e0));
#10=direction('',(-4.645629717008e-1,-8.855400867970e-1,1.784643521191e-7));
#11=vector('',#10,1.188456163296e1);
#12=cartesian_point('',(8.022154062378e0,-1.785778271440e1,7.999997879029e0));
#13=line('',#12,#11);
#14=cartesian_point('',(5.081616054308e0,-1.872733788040e1,1.059999962105e1));
#15=cartesian_point('',(6.083677973635e0,-1.851978437767e1,9.665247118673e0));
#16=cartesian_point('',(7.068386946036e0,-1.822865377219e1,8.794541535327e0));
#17=cartesian_point('',(8.022154062378e0,-1.785778271440e1,7.999997879029e0));
#19=direction('',(4.645119869652e-1,8.855668294151e-1,6.786205709275e-5));
#20=vector('',#19,1.094892244247e1);
#21=cartesian_point('',(-4.289664569873e-3,-2.842334041329e1,1.059925660465e1));
#22=line('',#21,#20);
#23=cartesian_point('',(4.950992751867e0,-2.801708623379e1,1.06e1));
#24=cartesian_point('',(4.943818150558e0,-2.803076231169e1,9.822183810695e0));
#25=cartesian_point('',(4.929483563909e0,-2.805808660684e1,8.266649795241e0));
#26=cartesian_point('',(4.907988533939e0,-2.809905999222e1,5.933645442152e0));
#27=cartesian_point('',(4.893663171695e0,-2.812636670399e1,4.378506983557e0));
#28=cartesian_point('',(4.886507710203e0,-2.814000629797e1,3.600986940147e0));
#30=cartesian_point('',(3.699090344569e0,-2.825087560533e1,8.e0));
#31=cartesian_point('',(3.701668412850e0,-2.824596134444e1,8.288871780015e0));
#32=cartesian_point('',(3.706826072525e0,-2.823612991932e1,8.866626712482e0));
#33=cartesian_point('',(3.714563488623e0,-2.822138101541e1,9.733293379150e0));
#34=cartesian_point('',(3.719722380680e0,-2.821154724115e1,1.031109400234e1));
#35=cartesian_point('',(3.722302591596e0,-2.820662889601e1,1.06e1));
#37=cartesian_point('',(2.936728493227e0,-2.861190946162e1,-9.200493470073e0));
#38=cartesian_point('',(2.810106095878e0,-2.859078219591e1,-6.982130571075e0));
#39=cartesian_point('',(2.532192791377e0,-2.854972929992e1,-2.671576492118e0));
#40=cartesian_point('',(2.076229303816e0,-2.849170369009e1,3.421112540866e0));
#41=cartesian_point('',(1.676367294374e0,-2.845549145052e1,7.223397695882e0));
#42=cartesian_point('',(1.458283368320e0,-2.843799467712e1,9.060558901926e0));
#44=cartesian_point('',(2.848999060057e1,-2.014534097786e0,3.600986940147e0));
#45=cartesian_point('',(2.850280407211e1,-2.132971831205e0,2.255572427931e0));
#46=cartesian_point('',(2.852892197978e1,-2.356482189340e0,-4.868078770651e-1));
#47=cartesian_point('',(2.856956853088e1,-2.658815065412e0,-4.754695742031e0));
#48=cartesian_point('',(2.859763480391e1,-2.845198070501e0,-7.701654410870e0));
#49=cartesian_point('',(2.861190946162e1,-2.936728493226e0,-9.200493470073e0));
#51=direction('',(-4.995992667456e-3,-9.523258782169e-3,-9.999421721277e-1));
#52=vector('',#51,6.144792624124e0);
#53=cartesian_point('',(4.737871636823e0,-2.842333333333e1,1.06e1));
#54=line('',#53,#52);
#55=cartesian_point('',(4.886507710203e0,-2.814000629797e1,3.600986940147e0));
#56=cartesian_point('',(4.866519810762e0,-2.817810682204e1,3.695936891171e0));
#57=cartesian_point('',(4.826630779879e0,-2.825414247480e1,3.885883210896e0));
#58=cartesian_point('',(4.766852115289e0,-2.836809133951e1,4.170741828619e0));
#59=cartesian_point('',(4.727037542647e0,-2.844398506150e1,4.360607947123e0));
#60=cartesian_point('',(4.707172297930e0,-2.848185178366e1,4.455562716160e0));
#62=cartesian_point('',(0.e0,0.e0,3.600986940147e0));
#63=direction('',(0.e0,0.e0,1.e0));
#64=direction('',(1.710894636710e-1,-9.852554975339e-1,0.e0));
#65=axis2_placement_3d('',#62,#63,#64);
#67=cartesian_point('',(2.841525170006e1,-1.331705630173e1,1.144857149336e1));
#68=cartesian_point('',(2.842267878063e1,-1.264086715841e1,1.066872803435e1));
#69=cartesian_point('',(2.843649401157e1,-1.130289650470e1,9.218128785538e0));
#70=cartesian_point('',(2.845392619989e1,-9.322621570262e0,7.387749011624e0));
#71=cartesian_point('',(2.846814121840e1,-7.364277412943e0,5.895172067691e0));
#72=cartesian_point('',(2.847897318972e1,-5.456399613385e0,4.757815079252e0));
#73=cartesian_point('',(2.848627104748e1,-3.649467871331e0,3.991540014770e0));
#74=cartesian_point('',(2.848902785401e1,-2.543145560235e0,3.702075328755e0));
#75=cartesian_point('',(2.848999060057e1,-2.014534097786e0,3.600986940147e0));
#77=cartesian_point('',(4.707172297930e0,-2.848185178366e1,4.455562716160e0));
#78=cartesian_point('',(5.360396368330e0,-2.847910071938e1,4.744424465596e0));
#79=cartesian_point('',(6.709358337035e0,-2.847232373758e1,5.456007554119e0));
#80=cartesian_point('',(8.863484002560e0,-2.845763521574e1,6.998302346846e0));
#81=cartesian_point('',(1.106253382089e1,-2.843885865952e1,8.969840750217e0));
#82=cartesian_point('',(1.255952878023e1,-2.842357217960e1,1.057492114197e1));
#83=cartesian_point('',(1.331705630172e1,-2.841525170006e1,1.144857149335e1));
#85=cartesian_point('',(2.851897103038e1,2.268544938779e0,5.499999435995e-1));
#86=cartesian_point('',(2.851928849052e1,2.271154550827e0,5.166666288527e-1));
#87=cartesian_point('',(2.851975934076e1,2.271838134967e0,4.833333143620e-1));
#88=cartesian_point('',(2.852007680090e1,2.274447747016e0,4.499999996153e-1));
#90=cartesian_point('',(2.848990313491e1,2.016677416247e0,3.601166571364e0));
#91=cartesian_point('',(2.849313265755e1,2.046486915268e0,3.262066694693e0));
#92=cartesian_point('',(2.849970389114e1,2.103496074040e0,2.584221171079e0));
#93=cartesian_point('',(2.850938424128e1,2.186369844498e0,1.567206968482e0));
#94=cartesian_point('',(2.851574151859e1,2.241976182343e0,8.890986814123e-1));
#95=cartesian_point('',(2.851897103038e1,2.268544938779e0,5.499999435995e-1));
#97=cartesian_point('',(2.936728493223e0,2.861190946162e1,-9.200493470073e0));
#98=cartesian_point('',(3.568171566470e0,2.861312223849e1,-9.327835041278e0));
#99=cartesian_point('',(4.862671909145e0,2.861636989956e1,-9.668839453334e0));
#100=cartesian_point('',(6.902124203529e0,2.862404924333e1,-1.047517054998e1));
#101=cartesian_point('',(9.006892054648e0,2.863465158224e1,-1.158841613524e1));
#102=cartesian_point('',(1.044132267602e1,2.864362608396e1,-1.253073881565e1));
#103=cartesian_point('',(1.116800794499e1,2.864858503340e1,-1.305142850665e1));
#105=cartesian_point('',(0.e0,0.e0,-9.200493470073e0));
#106=direction('',(0.e0,0.e0,1.e0));
#107=direction('',(9.947737653090e-1,1.021036524952e-1,0.e0));
#108=axis2_placement_3d('',#105,#106,#107);
#110=cartesian_point('',(2.864858503340e1,1.116800794499e1,-1.305142850665e1));
#111=cartesian_point('',(2.864361246257e1,1.043932659572e1,-1.252930857002e1));
#112=cartesian_point('',(2.863461827010e1,9.002826916033e0,-1.158491836067e1));
#113=cartesian_point('',(2.862403790790e1,6.903246810594e0,-1.047398032938e1));
#114=cartesian_point('',(2.861637637951e1,4.867379564307e0,-9.669519848252e0));
#115=cartesian_point('',(2.861312640686e1,3.570341867178e0,-9.328272720482e0));
#116=cartesian_point('',(2.861190946162e1,2.936728493223e0,-9.200493470073e0));
#118=cartesian_point('',(-2.016633548100e0,2.848990606409e1,3.601177747028e0));
#119=cartesian_point('',(-2.047420499225e0,2.849324148254e1,3.250958809975e0));
#120=cartesian_point('',(-2.106178752997e0,2.850002998056e1,2.550905285706e0));
#121=cartesian_point('',(-2.192237518121e0,2.850998367671e1,1.500555875891e0));
#122=cartesian_point('',(-2.248040041262e0,2.851666461700e1,8.002152146642e-1));
#123=cartesian_point('',(-2.275410781455e0,2.852000000023e1,4.499999762425e-1));
#125=cartesian_point('',(-2.861190946162e1,2.936728493226e0,-9.200493470073e0));
#126=cartesian_point('',(-2.861312223849e1,3.568171566474e0,-9.327835041278e0));
#127=cartesian_point('',(-2.861636989956e1,4.862671909149e0,-9.668839453335e0));
#128=cartesian_point('',(-2.862404924333e1,6.902124203533e0,-1.047517054999e1));
#129=cartesian_point('',(-2.863465158224e1,9.006892054651e0,-1.158841613524e1));
#130=cartesian_point('',(-2.864362608396e1,1.044132267602e1,-1.253073881565e1));
#131=cartesian_point('',(-2.864858503340e1,1.116800794499e1,-1.305142850665e1));
#133=cartesian_point('',(0.e0,0.e0,-9.200493470073e0));
#134=direction('',(0.e0,0.e0,1.e0));
#135=direction('',(-1.021036524953e-1,9.947737653090e-1,0.e0));
#136=axis2_placement_3d('',#133,#134,#135);
#138=cartesian_point('',(-1.116800794499e1,2.864858503340e1,-1.305142850665e1));
#139=cartesian_point('',(-1.043932659572e1,2.864361246257e1,-1.252930857002e1));
#140=cartesian_point('',(-9.002826916035e0,2.863461827010e1,-1.158491836067e1));
#141=cartesian_point('',(-6.903246810597e0,2.862403790790e1,-1.047398032938e1));
#142=cartesian_point('',(-4.867379564311e0,2.861637637951e1,-9.669519848252e0));
#143=cartesian_point('',(-3.570341867182e0,2.861312640686e1,-9.328272720482e0));
#144=cartesian_point('',(-2.936728493226e0,2.861190946162e1,-9.200493470073e0));
#146=cartesian_point('',(-2.864858503340e1,-1.116800794499e1,
-1.305142850665e1));
#147=cartesian_point('',(-2.864864667436e1,-1.117704082241e1,
-1.305790080814e1));
#148=cartesian_point('',(-2.864955591059e1,-1.119349700231e1,
-1.307113958470e1));
#149=cartesian_point('',(-2.865447654266e1,-1.121323494496e1,
-1.309405384315e1));
#150=cartesian_point('',(-2.866095213447e1,-1.121993336026e1,
-1.311039543867e1));
#151=cartesian_point('',(-2.866526568212e1,-1.122074753208e1,
-1.311875873961e1));
#153=direction('',(0.e0,-1.e0,0.e0));
#154=vector('',#153,2.233601588998e1);
#155=cartesian_point('',(-2.864858503340e1,1.116800794499e1,-1.305142850665e1));
#156=line('',#155,#154);
#157=cartesian_point('',(-2.866526568212e1,1.122074753208e1,-1.311875873961e1));
#158=cartesian_point('',(-2.866095450566e1,1.121993380782e1,-1.311040003604e1));
#159=cartesian_point('',(-2.865447768774e1,1.121328261631e1,-1.309405747809e1));
#160=cartesian_point('',(-2.864955579848e1,1.119344404296e1,-1.307114406159e1));
#161=cartesian_point('',(-2.864864657829e1,1.117702674384e1,-1.305789072046e1));
#162=cartesian_point('',(-2.864858503340e1,1.116800794499e1,-1.305142850665e1));
#164=cartesian_point('',(-2.879857823114e1,1.124588180740e1,-1.32e1));
#165=cartesian_point('',(-2.878014246476e1,1.124240987755e1,-1.32e1));
#166=cartesian_point('',(-2.874349690879e1,1.123550516465e1,-1.319313645057e1));
#167=cartesian_point('',(-2.869615758474e1,1.122657786012e1,-1.316411891454e1));
#168=cartesian_point('',(-2.867358505916e1,1.122231779465e1,-1.313488872347e1));
#169=cartesian_point('',(-2.866526568212e1,1.122074753208e1,-1.311875873961e1));
#171=direction('',(-2.400934352798e-14,1.e0,0.e0));
#172=vector('',#171,2.249176361479e1);
#173=cartesian_point('',(-2.879857823114e1,-1.124588180740e1,-1.32e1));
#174=line('',#173,#172);
#175=cartesian_point('',(0.e0,0.e0,-1.311875873961e1));
#176=direction('',(0.e0,0.e0,1.e0));
#177=direction('',(-9.311997318450e-1,-3.645093406371e-1,0.e0));
#178=axis2_placement_3d('',#175,#176,#177);
#180=cartesian_point('',(-2.879857823114e1,-1.124588180740e1,-1.32e1));
#181=cartesian_point('',(-2.878014276799e1,-1.124240993466e1,-1.32e1));
#182=cartesian_point('',(-2.874349758939e1,-1.123550538858e1,
-1.319313666565e1));
#183=cartesian_point('',(-2.869615814901e1,-1.122657761110e1,
-1.316411946888e1));
#184=cartesian_point('',(-2.867358520468e1,-1.122231782211e1,
-1.313488900562e1));
#185=cartesian_point('',(-2.866526568212e1,-1.122074753208e1,
-1.311875873961e1));
#187=cartesian_point('',(-1.122074753208e1,-2.866526568212e1,
-1.311875873961e1));
#188=cartesian_point('',(-1.122231671914e1,-2.867357936104e1,
-1.313487767570e1));
#189=cartesian_point('',(-1.122657338334e1,-2.869613572017e1,
-1.316409945248e1));
#190=cartesian_point('',(-1.123550306699e1,-2.874348529476e1,
-1.319313437592e1));
#191=cartesian_point('',(-1.124240899702e1,-2.878013778922e1,-1.32e1));
#192=cartesian_point('',(-1.124588180740e1,-2.879857823114e1,-1.32e1));
#194=cartesian_point('',(-2.936728493223e0,-2.861190946162e1,
-9.200493470073e0));
#195=cartesian_point('',(-3.568171566471e0,-2.861312223849e1,
-9.327835041278e0));
#196=cartesian_point('',(-4.862671909146e0,-2.861636989956e1,
-9.668839453334e0));
#197=cartesian_point('',(-6.902124203530e0,-2.862404924333e1,
-1.047517054999e1));
#198=cartesian_point('',(-9.006892054649e0,-2.863465158224e1,
-1.158841613524e1));
#199=cartesian_point('',(-1.044132267602e1,-2.864362608396e1,
-1.253073881565e1));
#200=cartesian_point('',(-1.116800794499e1,-2.864858503340e1,
-1.305142850665e1));
#202=cartesian_point('',(0.e0,0.e0,-9.200493470073e0));
#203=direction('',(0.e0,0.e0,1.e0));
#204=direction('',(-7.071067811865e-1,-7.071067811865e-1,0.e0));
#205=axis2_placement_3d('',#202,#203,#204);
#207=cartesian_point('',(0.e0,0.e0,-9.200493470073e0));
#208=direction('',(0.e0,0.e0,1.e0));
#209=direction('',(-9.947737653090e-1,-1.021036524952e-1,0.e0));
#210=axis2_placement_3d('',#207,#208,#209);
#212=cartesian_point('',(-2.864858503340e1,-1.116800794499e1,
-1.305142850665e1));
#213=cartesian_point('',(-2.864361246257e1,-1.043932659572e1,
-1.252930857002e1));
#214=cartesian_point('',(-2.863461827010e1,-9.002826916034e0,
-1.158491836067e1));
#215=cartesian_point('',(-2.862403790790e1,-6.903246810595e0,
-1.047398032938e1));
#216=cartesian_point('',(-2.861637637951e1,-4.867379564308e0,
-9.669519848252e0));
#217=cartesian_point('',(-2.861312640686e1,-3.570341867179e0,
-9.328272720482e0));
#218=cartesian_point('',(-2.861190946162e1,-2.936728493223e0,
-9.200493470073e0));
#220=direction('',(1.e0,0.e0,0.e0));
#221=vector('',#220,2.233601588998e1);
#222=cartesian_point('',(-1.116800794499e1,-2.864858503340e1,
-1.305142850665e1));
#223=line('',#222,#221);
#224=cartesian_point('',(-1.122074753208e1,-2.866526568212e1,
-1.311875873961e1));
#225=cartesian_point('',(-1.121993380782e1,-2.866095450566e1,
-1.311040003604e1));
#226=cartesian_point('',(-1.121328261631e1,-2.865447768774e1,
-1.309405747809e1));
#227=cartesian_point('',(-1.119344404296e1,-2.864955579848e1,
-1.307114406159e1));
#228=cartesian_point('',(-1.117702674384e1,-2.864864657829e1,
-1.305789072046e1));
#229=cartesian_point('',(-1.116800794499e1,-2.864858503340e1,
-1.305142850665e1));
#231=direction('',(-1.e0,-2.479912456508e-14,0.e0));
#232=vector('',#231,2.249176361479e1);
#233=cartesian_point('',(1.124588180740e1,-2.879857823114e1,-1.32e1));
#234=line('',#233,#232);
#235=cartesian_point('',(1.122074753208e1,-2.866526568212e1,-1.311875873961e1));
#236=cartesian_point('',(1.122231669686e1,-2.867357924298e1,-1.313487744679e1));
#237=cartesian_point('',(1.122657365075e1,-2.869613525753e1,-1.316409899929e1));
#238=cartesian_point('',(1.123550286401e1,-2.874348475142e1,-1.319313420559e1));
#239=cartesian_point('',(1.124240895116e1,-2.878013754564e1,-1.32e1));
#240=cartesian_point('',(1.124588180740e1,-2.879857823114e1,-1.32e1));
#242=cartesian_point('',(1.116800794499e1,-2.864858503340e1,-1.305142850665e1));
#243=cartesian_point('',(1.117704082241e1,-2.864864667436e1,-1.305790080814e1));
#244=cartesian_point('',(1.119349700231e1,-2.864955591059e1,-1.307113958470e1));
#245=cartesian_point('',(1.121323494496e1,-2.865447654266e1,-1.309405384315e1));
#246=cartesian_point('',(1.121993336026e1,-2.866095213447e1,-1.311039543867e1));
#247=cartesian_point('',(1.122074753208e1,-2.866526568212e1,-1.311875873961e1));
#249=cartesian_point('',(-2.499622471494e1,-2.499622471494e1,-1.32e1));
#250=direction('',(0.e0,0.e0,1.e0));
#251=direction('',(1.e0,0.e0,0.e0));
#252=axis2_placement_3d('',#249,#250,#251);
#254=cartesian_point('',(-2.499622471494e1,-2.499622471494e1,-1.32e1));
#255=direction('',(0.e0,0.e0,1.e0));
#256=direction('',(-1.e0,0.e0,0.e0));
#257=axis2_placement_3d('',#254,#255,#256);
#259=cartesian_point('',(2.968364789709e1,2.483438659942e1,-1.319992479877e1));
#260=cartesian_point('',(2.968218461976e1,2.520018919191e1,-1.319996588155e1));
#261=cartesian_point('',(2.960288340335e1,2.591286791496e1,-1.320001581099e1));
#262=cartesian_point('',(2.923915407512e1,2.695490665574e1,-1.319999583921e1));
#263=cartesian_point('',(2.865692175448e1,2.788049964686e1,-1.320000083216e1));
#264=cartesian_point('',(2.788049955067e1,2.865692183322e1,-1.320000083216e1));
#265=cartesian_point('',(2.695490651027e1,2.923915414957e1,-1.319999583921e1));
#266=cartesian_point('',(2.591286773629e1,2.960288343944e1,-1.320001581099e1));
#267=cartesian_point('',(2.520018911766e1,2.968218462005e1,-1.319996588154e1));
#268=cartesian_point('',(2.483438659942e1,2.968364789709e1,-1.319992479877e1));
#270=direction('',(-1.874759897854e-13,1.e0,0.e0));
#271=vector('',#270,5.685069884735e-1);
#272=cartesian_point('',(-2.883105249353e1,2.042771772647e1,-1.32e1));
#273=line('',#272,#271);
#274=direction('',(1.e0,-3.094372453798e-12,0.e0));
#275=vector('',#274,5.181469610340e0);
#276=cartesian_point('',(-2.883105249353e1,2.099622471494e1,-1.32e1));
#277=line('',#276,#275);
#278=cartesian_point('',(0.e0,0.e0,-1.32e1));
#279=direction('',(0.e0,0.e0,1.e0));
#280=direction('',(-7.478115524332e-1,6.639110498006e-1,0.e0));
#281=axis2_placement_3d('',#278,#279,#280);
#283=direction('',(-1.e0,8.908319421622e-13,0.e0));
#284=vector('',#283,2.225351538203e0);
#285=cartesian_point('',(-2.660570095533e1,1.709622471494e1,-1.32e1));
#286=line('',#285,#284);
#287=direction('',(-1.999743891040e-13,1.e0,0.e0));
#288=vector('',#287,5.685069884750e-1);
#289=cartesian_point('',(-2.883105249353e1,1.709622471494e1,-1.32e1));
#290=line('',#289,#288);
#291=cartesian_point('',(-2.968364789709e1,-2.483438659738e1,
-1.319992479942e1));
#292=cartesian_point('',(-2.968218462390e1,-2.520018919042e1,
-1.319996588185e1));
#293=cartesian_point('',(-2.960288340285e1,-2.591286790847e1,
-1.320001581085e1));
#294=cartesian_point('',(-2.923915407680e1,-2.695490665376e1,
-1.319999583925e1));
#295=cartesian_point('',(-2.865692175600e1,-2.788049964462e1,
-1.320000083215e1));
#296=cartesian_point('',(-2.788049955216e1,-2.865692183196e1,
-1.320000083215e1));
#297=cartesian_point('',(-2.695490651139e1,-2.923915414953e1,
-1.319999583925e1));
#298=cartesian_point('',(-2.591286773689e1,-2.960288343744e1,
-1.320001581085e1));
#299=cartesian_point('',(-2.520018911789e1,-2.968218462424e1,
-1.319996588184e1));
#300=cartesian_point('',(-2.483438659942e1,-2.968364789709e1,
-1.319992479942e1));
#302=cartesian_point('',(2.499622471494e1,2.499622471494e1,-1.32e1));
#303=direction('',(0.e0,0.e0,1.e0));
#304=direction('',(1.e0,0.e0,0.e0));
#305=axis2_placement_3d('',#302,#303,#304);
#307=cartesian_point('',(2.499622471494e1,2.499622471494e1,-1.32e1));
#308=direction('',(0.e0,0.e0,1.e0));
#309=direction('',(-1.e0,0.e0,0.e0));
#310=axis2_placement_3d('',#307,#308,#309);
#312=cartesian_point('',(-2.287928737833e1,-2.833105249353e1,-1.32e1));
#313=direction('',(0.e0,0.e0,-1.e0));
#314=direction('',(0.e0,-1.e0,0.e0));
#315=axis2_placement_3d('',#312,#313,#314);
#317=cartesian_point('',(-2.499622471494e1,-2.499622471494e1,-1.32e1));
#318=direction('',(0.e0,0.e0,-1.e0));
#319=direction('',(9.965810952110e-1,-8.262034052196e-2,0.e0));
#320=axis2_placement_3d('',#317,#318,#319);
#322=cartesian_point('',(-2.105972938886e1,-2.532257506e1,-1.32e1));
#323=direction('',(0.e0,0.e0,1.e0));
#324=direction('',(6.394240338127e-1,7.688542807208e-1,0.e0));
#325=axis2_placement_3d('',#322,#323,#324);
#327=cartesian_point('',(0.e0,0.e0,-1.32e1));
#328=direction('',(0.e0,0.e0,-1.e0));
#329=direction('',(-5.100712128433e-1,-8.601321746270e-1,0.e0));
#330=axis2_placement_3d('',#327,#328,#329);
#332=cartesian_point('',(-1.664394515808e1,-2.807223476707e1,-1.32e1));
#333=cartesian_point('',(-1.660545140336e1,-2.809505533219e1,-1.32e1));
#334=cartesian_point('',(-1.654679339546e1,-2.814819929640e1,-1.32e1));
#335=cartesian_point('',(-1.649043730004e1,-2.827497412972e1,-1.32e1));
#336=cartesian_point('',(-1.649620801162e1,-2.840889052148e1,-1.32e1));
#337=cartesian_point('',(-1.655712407038e1,-2.852913022459e1,-1.32e1));
#338=cartesian_point('',(-1.666540962268e1,-2.861148731651e1,-1.32e1));
#339=cartesian_point('',(-1.674923030126e1,-2.863105249353e1,-1.32e1));
#340=cartesian_point('',(-1.679572785592e1,-2.863105249353e1,-1.32e1));
#342=cartesian_point('',(2.532257506e1,2.105972938886e1,-1.32e1));
#343=direction('',(0.e0,0.e0,-1.e0));
#344=direction('',(-7.688542807208e-1,-6.394240338127e-1,0.e0));
#345=axis2_placement_3d('',#342,#343,#344);
#347=cartesian_point('',(2.499622471494e1,2.499622471494e1,-1.32e1));
#348=direction('',(0.e0,0.e0,-1.e0));
#349=direction('',(8.442601971341e-1,-5.359335029041e-1,0.e0));
#350=axis2_placement_3d('',#347,#348,#349);
#352=cartesian_point('',(2.833105249362e1,2.287928737847e1,-1.32e1));
#353=direction('',(0.e0,0.e0,1.e0));
#354=direction('',(1.e0,4.773662946415e-11,0.e0));
#355=axis2_placement_3d('',#352,#353,#354);
#357=cartesian_point('',(2.833105249361e1,1.679572785578e1,-1.32e1));
#358=direction('',(0.e0,0.e0,1.e0));
#359=direction('',(-8.601988911229e-1,-5.099586921613e-1,0.e0));
#360=axis2_placement_3d('',#357,#358,#359);
#362=cartesian_point('',(0.e0,0.e0,-1.32e1));
#363=direction('',(0.e0,0.e0,-1.e0));
#364=direction('',(7.688542807198e-1,6.394240338139e-1,0.e0));
#365=axis2_placement_3d('',#362,#363,#364);
#367=cartesian_point('',(0.e0,0.e0,-1.32e1));
#368=direction('',(0.e0,0.e0,-1.e0));
#369=direction('',(9.314964002502e-1,-3.637505413341e-1,0.e0));
#370=axis2_placement_3d('',#367,#368,#369);
#372=cartesian_point('',(0.e0,0.e0,-1.32e1));
#373=direction('',(0.e0,0.e0,-1.e0));
#374=direction('',(-3.637505413341e-1,-9.314964002503e-1,0.e0));
#375=axis2_placement_3d('',#372,#373,#374);
#377=cartesian_point('',(0.e0,0.e0,-1.32e1));
#378=direction('',(0.e0,0.e0,-1.e0));
#379=direction('',(-9.314964002502e-1,3.637505413341e-1,0.e0));
#380=axis2_placement_3d('',#377,#378,#379);
#382=cartesian_point('',(0.e0,0.e0,-1.32e1));
#383=direction('',(0.e0,0.e0,-1.e0));
#384=direction('',(3.637505413341e-1,9.314964002502e-1,0.e0));
#385=axis2_placement_3d('',#382,#383,#384);
#387=cartesian_point('',(-2.287928737833e1,2.833105249353e1,-1.32e1));
#388=direction('',(0.e0,0.e0,-1.e0));
#389=direction('',(-5.359335029400e-1,-8.442601971113e-1,0.e0));
#390=axis2_placement_3d('',#387,#388,#389);
#392=direction('',(-1.e0,0.e0,0.e0));
#393=vector('',#392,6.083559522407e0);
#394=cartesian_point('',(-1.679572785592e1,2.863105249353e1,-1.32e1));
#395=line('',#394,#393);
#396=cartesian_point('',(-1.679572785592e1,2.863105249353e1,-1.32e1));
#397=cartesian_point('',(-1.674923030126e1,2.863105249353e1,-1.32e1));
#398=cartesian_point('',(-1.666540962268e1,2.861148731651e1,-1.32e1));
#399=cartesian_point('',(-1.655712407038e1,2.852913022459e1,-1.32e1));
#400=cartesian_point('',(-1.649620801162e1,2.840889052148e1,-1.32e1));
#401=cartesian_point('',(-1.649043730004e1,2.827497412972e1,-1.32e1));
#402=cartesian_point('',(-1.654679339546e1,2.814819929640e1,-1.32e1));
#403=cartesian_point('',(-1.660545140336e1,2.809505533219e1,-1.32e1));
#404=cartesian_point('',(-1.664394515808e1,2.807223476707e1,-1.32e1));
#406=cartesian_point('',(0.e0,0.e0,-1.32e1));
#407=direction('',(0.e0,0.e0,-1.e0));
#408=direction('',(-6.394240338139e-1,7.688542807198e-1,0.e0));
#409=axis2_placement_3d('',#406,#407,#408);
#411=cartesian_point('',(-2.105972938886e1,2.532257506e1,-1.32e1));
#412=direction('',(0.e0,0.e0,1.e0));
#413=direction('',(-9.965810952110e-1,-8.262034052211e-2,0.e0));
#414=axis2_placement_3d('',#411,#412,#413);
#416=cartesian_point('',(-2.499622471494e1,2.499622471494e1,-1.32e1));
#417=direction('',(0.e0,0.e0,-1.e0));
#418=direction('',(5.359335029399e-1,8.442601971114e-1,0.e0));
#419=axis2_placement_3d('',#416,#417,#418);
#421=cartesian_point('',(1.679572785592e1,2.833105249353e1,-1.32e1));
#422=direction('',(0.e0,0.e0,-1.e0));
#423=direction('',(-5.099586921651e-1,-8.601988911207e-1,0.e0));
#424=axis2_placement_3d('',#421,#422,#423);
#426=cartesian_point('',(2.287928737833e1,2.833105249353e1,-1.32e1));
#427=direction('',(0.e0,0.e0,-1.e0));
#428=direction('',(0.e0,1.e0,0.e0));
#429=axis2_placement_3d('',#426,#427,#428);
#431=cartesian_point('',(2.499622471494e1,2.499622471494e1,-1.32e1));
#432=direction('',(0.e0,0.e0,-1.e0));
#433=direction('',(-9.965810952110e-1,8.262034052196e-2,0.e0));
#434=axis2_placement_3d('',#431,#432,#433);
#436=cartesian_point('',(2.105972938886e1,2.532257506e1,-1.32e1));
#437=direction('',(0.e0,0.e0,1.e0));
#438=direction('',(-6.394240338128e-1,-7.688542807207e-1,0.e0));
#439=axis2_placement_3d('',#436,#437,#438);
#441=cartesian_point('',(0.e0,0.e0,-1.32e1));
#442=direction('',(0.e0,0.e0,-1.e0));
#443=direction('',(5.099586921642e-1,8.601988911212e-1,0.e0));
#444=axis2_placement_3d('',#441,#442,#443);
#446=cartesian_point('',(-2.499622471494e1,-2.499622471494e1,-1.32e1));
#447=direction('',(0.e0,0.e0,-1.e0));
#448=direction('',(-8.442601971341e-1,5.359335029041e-1,0.e0));
#449=axis2_placement_3d('',#446,#447,#448);
#451=cartesian_point('',(-2.833105249362e1,-2.287928737847e1,-1.32e1));
#452=direction('',(0.e0,0.e0,1.e0));
#453=direction('',(-1.e0,-4.873138929421e-11,0.e0));
#454=axis2_placement_3d('',#451,#452,#453);
#456=cartesian_point('',(-2.833105249361e1,-1.679572785578e1,-1.32e1));
#457=direction('',(0.e0,0.e0,1.e0));
#458=direction('',(8.601988911229e-1,5.099586921614e-1,0.e0));
#459=axis2_placement_3d('',#456,#457,#458);
#461=cartesian_point('',(0.e0,0.e0,-1.32e1));
#462=direction('',(0.e0,0.e0,-1.e0));
#463=direction('',(-7.688542807198e-1,-6.394240338139e-1,0.e0));
#464=axis2_placement_3d('',#461,#462,#463);
#466=cartesian_point('',(-2.532257506e1,-2.105972938886e1,-1.32e1));
#467=direction('',(0.e0,0.e0,-1.e0));
#468=direction('',(7.688542807217e-1,6.394240338117e-1,0.e0));
#469=axis2_placement_3d('',#466,#467,#468);
#471=cartesian_point('',(1.679572785592e1,-2.833105249353e1,-1.32e1));
#472=direction('',(0.e0,0.e0,-1.e0));
#473=direction('',(1.184237892933e-14,-1.e0,0.e0));
#474=axis2_placement_3d('',#471,#472,#473);
#476=cartesian_point('',(0.e0,0.e0,-1.32e1));
#477=direction('',(0.e0,0.e0,-1.e0));
#478=direction('',(6.394240338139e-1,-7.688542807198e-1,0.e0));
#479=axis2_placement_3d('',#476,#477,#478);
#481=cartesian_point('',(2.105972938886e1,-2.532257506e1,-1.32e1));
#482=direction('',(0.e0,0.e0,1.e0));
#483=direction('',(9.965810952110e-1,8.262034052214e-2,0.e0));
#484=axis2_placement_3d('',#481,#482,#483);
#486=cartesian_point('',(2.499622471494e1,-2.499622471494e1,-1.32e1));
#487=direction('',(0.e0,0.e0,-1.e0));
#488=direction('',(-5.359335029399e-1,-8.442601971114e-1,0.e0));
#489=axis2_placement_3d('',#486,#487,#488);
#491=cartesian_point('',(2.287928737833e1,-2.833105249353e1,-1.32e1));
#492=direction('',(0.e0,0.e0,-1.e0));
#493=direction('',(5.359335029404e-1,8.442601971111e-1,0.e0));
#494=axis2_placement_3d('',#491,#492,#493);
#496=direction('',(1.e0,0.e0,0.e0));
#497=vector('',#496,6.083559522407e0);
#498=cartesian_point('',(1.679572785592e1,-2.863105249353e1,-1.32e1));
#499=line('',#498,#497);
#500=cartesian_point('',(2.532257506e1,-2.105972938886e1,-1.32e1));
#501=direction('',(0.e0,0.e0,-1.e0));
#502=direction('',(-8.262034052215e-2,-9.965810952110e-1,0.e0));
#503=axis2_placement_3d('',#500,#501,#502);
#505=cartesian_point('',(0.e0,0.e0,-1.32e1));
#506=direction('',(0.e0,0.e0,-1.e0));
#507=direction('',(8.601988911237e-1,-5.099586921599e-1,0.e0));
#508=axis2_placement_3d('',#505,#506,#507);
#510=cartesian_point('',(2.833105249361e1,-1.679572785578e1,-1.32e1));
#511=direction('',(0.e0,0.e0,1.e0));
#512=direction('',(1.e0,-4.682476628659e-11,0.e0));
#513=axis2_placement_3d('',#510,#511,#512);
#515=direction('',(-7.001992312223e-13,1.e0,0.e0));
#516=vector('',#515,6.083559522689e0);
#517=cartesian_point('',(2.863105249362e1,-2.287928737847e1,-1.32e1));
#518=line('',#517,#516);
#519=cartesian_point('',(2.833105249362e1,-2.287928737847e1,-1.32e1));
#520=direction('',(0.e0,0.e0,1.e0));
#521=direction('',(-8.442601971341e-1,-5.359335029041e-1,0.e0));
#522=axis2_placement_3d('',#519,#520,#521);
#524=cartesian_point('',(2.499622471494e1,-2.499622471494e1,-1.32e1));
#525=direction('',(0.e0,0.e0,-1.e0));
#526=direction('',(8.262034052196e-2,9.965810952110e-1,0.e0));
#527=axis2_placement_3d('',#524,#525,#526);
#529=cartesian_point('',(2.499622471494e1,-2.499622471494e1,-1.32e1));
#530=direction('',(0.e0,0.e0,1.e0));
#531=direction('',(-1.e0,0.e0,0.e0));
#532=axis2_placement_3d('',#529,#530,#531);
#534=cartesian_point('',(2.499622471494e1,-2.499622471494e1,-1.32e1));
#535=direction('',(0.e0,0.e0,1.e0));
#536=direction('',(1.e0,0.e0,0.e0));
#537=axis2_placement_3d('',#534,#535,#536);
#539=cartesian_point('',(-2.499622471494e1,2.499622471494e1,-1.32e1));
#540=direction('',(0.e0,0.e0,1.e0));
#541=direction('',(-1.e0,0.e0,0.e0));
#542=axis2_placement_3d('',#539,#540,#541);
#544=cartesian_point('',(-2.499622471494e1,2.499622471494e1,-1.32e1));
#545=direction('',(0.e0,0.e0,1.e0));
#546=direction('',(1.e0,0.e0,0.e0));
#547=axis2_placement_3d('',#544,#545,#546);
#549=cartesian_point('',(-2.499622471494e1,-2.499622471494e1,7.65e0));
#550=direction('',(0.e0,0.e0,-1.e0));
#551=direction('',(-1.e0,0.e0,0.e0));
#552=axis2_placement_3d('',#549,#550,#551);
#554=cartesian_point('',(-2.499622471494e1,-2.499622471494e1,-9.25e0));
#555=direction('',(0.e0,0.e0,-1.e0));
#556=direction('',(-1.e0,0.e0,0.e0));
#557=axis2_placement_3d('',#554,#555,#556);
#559=cartesian_point('',(-2.273348301514e1,-2.273348301514e1,7.65e0));
#560=direction('',(0.e0,0.e0,-1.e0));
#561=direction('',(7.071067811865e-1,-7.071067811866e-1,0.e0));
#562=axis2_placement_3d('',#559,#560,#561);
#564=direction('',(7.071067811865e-1,7.071067811865e-1,0.e0));
#565=vector('',#564,8.512088858897e-1);
#566=cartesian_point('',(-2.326381310103e1,-2.220315292925e1,7.65e0));
#567=line('',#566,#565);
#568=direction('',(-1.527793066253e-4,9.999999847219e-1,-8.493961873591e-5));
#569=vector('',#568,1.564551026014e1);
#570=cartesian_point('',(-2.99e1,-2.490076152421e1,7.65e0));
#571=line('',#570,#569);
#572=cartesian_point('',(-2.99e1,-2.490076152421e1,7.65e0));
#573=cartesian_point('',(-2.99e1,-2.531736473053e1,7.65e0));
#574=cartesian_point('',(-2.980155336890e1,-2.605212451208e1,7.65e0));
#575=cartesian_point('',(-2.937174730059e1,-2.728873126904e1,7.65e0));
#576=cartesian_point('',(-2.850625598615e1,-2.850625598618e1,7.65e0));
#577=cartesian_point('',(-2.728873126900e1,-2.937174730061e1,7.65e0));
#578=cartesian_point('',(-2.605212451204e1,-2.980155336891e1,7.65e0));
#579=cartesian_point('',(-2.531736473050e1,-2.99e1,7.65e0));
#580=cartesian_point('',(-2.490076152418e1,-2.99e1,7.65e0));
#582=direction('',(-9.999999856564e-1,1.402856032369e-4,9.490571033168e-5));
#583=vector('',#582,1.564434523508e1);
#584=cartesian_point('',(-9.256416513516e0,-2.990219467641e1,7.648515262303e0));
#585=line('',#584,#583);
#586=cartesian_point('',(0.e0,0.e0,7.65e0));
#587=direction('',(0.e0,0.e0,1.e0));
#588=direction('',(-6.899646112058e-1,-7.238431012889e-1,0.e0));
#589=axis2_placement_3d('',#586,#587,#588);
#591=direction('',(-7.071067811865e-1,-7.071067811865e-1,0.e0));
#592=vector('',#591,8.512088858897e-1);
#593=cartesian_point('',(-2.160125735383e1,-2.266191752561e1,7.65e0));
#594=line('',#593,#592);
#595=cartesian_point('',(-2.499622471494e1,-2.499622471494e1,7.65e0));
#596=direction('',(0.e0,0.e0,-1.e0));
#597=direction('',(1.e0,0.e0,0.e0));
#598=axis2_placement_3d('',#595,#596,#597);
#600=direction('',(0.e0,0.e0,-1.e0));
#601=vector('',#600,3.95e0);
#602=cartesian_point('',(-2.274622471494e1,-2.499622471494e1,1.16e1));
#603=line('',#602,#601);
#604=direction('',(0.e0,0.e0,-1.e0));
#605=vector('',#604,3.95e0);
#606=cartesian_point('',(-2.724622471494e1,-2.499622471494e1,1.16e1));
#607=line('',#606,#605);
#608=cartesian_point('',(-2.499622471494e1,-2.499622471494e1,-9.25e0));
#609=direction('',(0.e0,0.e0,-1.e0));
#610=direction('',(1.e0,0.e0,0.e0));
#611=axis2_placement_3d('',#608,#609,#610);
#613=direction('',(0.e0,0.e0,-1.e0));
#614=vector('',#613,3.95e0);
#615=cartesian_point('',(-2.724622471494e1,-2.499622471494e1,-9.25e0));
#616=line('',#615,#614);
#617=direction('',(0.e0,0.e0,-1.e0));
#618=vector('',#617,3.95e0);
#619=cartesian_point('',(-2.274622471494e1,-2.499622471494e1,-9.25e0));
#620=line('',#619,#618);
#621=cartesian_point('',(0.e0,0.e0,1.16e1));
#622=direction('',(0.e0,0.e0,-1.e0));
#623=direction('',(-1.e0,0.e0,0.e0));
#624=axis2_placement_3d('',#621,#622,#623);
#626=cartesian_point('',(0.e0,0.e0,1.16e1));
#627=direction('',(0.e0,0.e0,-1.e0));
#628=direction('',(1.e0,0.e0,0.e0));
#629=axis2_placement_3d('',#626,#627,#628);
#631=direction('',(-5.349167473160e-1,8.449047718171e-1,1.237243055801e-6));
#632=vector('',#631,2.062476708729e1);
#633=cartesian_point('',(-1.625596323264e1,-9.209170186256e-3,
1.159997448215e1));
#634=line('',#633,#632);
#635=cartesian_point('',(-6.572614545291e-1,1.623670247866e1,1.16e1));
#636=cartesian_point('',(-1.495091951535e0,1.620278711365e1,1.16e1));
#637=cartesian_point('',(-3.141760018214e0,1.600793354146e1,1.160000000034e1));
#638=cartesian_point('',(-5.550920790213e0,1.534037874059e1,1.159999999882e1));
#639=cartesian_point('',(-7.822282481872e0,1.431558667269e1,1.160000000438e1));
#640=cartesian_point('',(-9.910383031660e0,1.295799545892e1,1.159999998364e1));
#641=cartesian_point('',(-1.176636231463e1,1.129934112494e1,1.160000006105e1));
#642=cartesian_point('',(-1.334860809375e1,9.377671285290e0,1.159999977217e1));
#643=cartesian_point('',(-1.462027635595e1,7.236557497695e0,1.160000085028e1));
#644=cartesian_point('',(-1.555328441937e1,4.924844861956e0,1.159999682671e1));
#645=cartesian_point('',(-1.611900827437e1,2.493545200221e0,1.160001184288e1));
#646=cartesian_point('',(-1.625641551737e1,8.332828658946e-1,1.159997448215e1));
#647=cartesian_point('',(-1.625596323264e1,-9.209170186256e-3,
1.159997448215e1));
#649=direction('',(-9.991816909942e-1,-4.044685874026e-2,0.e0));
#650=vector('',#649,2.703274819633e1);
#651=cartesian_point('',(2.635336560050e1,1.733009222631e1,1.16e1));
#652=line('',#651,#650);
#653=cartesian_point('',(0.e0,0.e0,1.16e1));
#654=direction('',(0.e0,0.e0,-1.e0));
#655=direction('',(4.240140414729e-1,9.056556148083e-1,0.e0));
#656=axis2_placement_3d('',#653,#654,#655);
#658=cartesian_point('',(0.e0,0.e0,1.16e1));
#659=direction('',(0.e0,0.e0,-1.e0));
#660=direction('',(-7.392701731600e-1,6.734089478735e-1,0.e0));
#661=axis2_placement_3d('',#658,#659,#660);
#663=direction('',(-5.346188526694e-1,8.450932980271e-1,0.e0));
#664=vector('',#663,9.468536188627e0);
#665=cartesian_point('',(-1.825523086640e1,1.323816626329e1,1.16e1));
#666=line('',#665,#664);
#667=cartesian_point('',(1.101929640038e-14,0.e0,1.16e1));
#668=direction('',(0.e0,0.e0,-1.e0));
#669=direction('',(-8.288368563969e-1,5.594903622745e-1,0.e0));
#670=axis2_placement_3d('',#667,#668,#669);
#672=direction('',(5.346188526694e-1,-8.450932980272e-1,0.e0));
#673=vector('',#672,1.053167420801e1);
#674=cartesian_point('',(-2.432070269352e1,2.151675495948e1,1.16e1));
#675=line('',#674,#673);
#676=cartesian_point('',(-2.499622471494e1,-2.499622471494e1,1.16e1));
#677=direction('',(0.e0,0.e0,1.e0));
#678=direction('',(-8.262034052196e-2,9.965810952110e-1,0.e0));
#679=axis2_placement_3d('',#676,#677,#678);
#681=cartesian_point('',(-2.532257506e1,-2.105972938886e1,1.16e1));
#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('',(-2.532257506e1,-2.105972938886e1,1.16e1));
#687=direction('',(0.e0,0.e0,-1.e0));
#688=direction('',(7.688542807217e-1,6.394240338117e-1,0.e0));
#689=axis2_placement_3d('',#686,#687,#688);
#691=cartesian_point('',(0.e0,0.e0,1.16e1));
#692=direction('',(0.e0,0.e0,1.e0));
#693=direction('',(-8.601988911238e-1,-5.099586921599e-1,0.e0));
#694=axis2_placement_3d('',#691,#692,#693);
#696=cartesian_point('',(-2.833105249361e1,-1.679572785578e1,1.16e1));
#697=direction('',(0.e0,0.e0,-1.e0));
#698=direction('',(-1.e0,-4.781952611665e-11,0.e0));
#699=axis2_placement_3d('',#696,#697,#698);
#701=direction('',(7.001992312223e-13,1.e0,0.e0));
#702=vector('',#701,6.083559522689e0);
#703=cartesian_point('',(-2.863105249362e1,-2.287928737847e1,1.16e1));
#704=line('',#703,#702);
#705=cartesian_point('',(-2.833105249362e1,-2.287928737847e1,1.16e1));
#706=direction('',(0.e0,0.e0,-1.e0));
#707=direction('',(8.442601971341e-1,-5.359335029041e-1,0.e0));
#708=axis2_placement_3d('',#705,#706,#707);
#710=cartesian_point('',(-2.287928737833e1,2.833105249353e1,1.16e1));
#711=direction('',(0.e0,0.e0,-1.e0));
#712=direction('',(-9.999999999974e-1,-2.284384261012e-6,0.e0));
#713=axis2_placement_3d('',#710,#711,#712);
#715=cartesian_point('',(-2.287928737833e1,2.833105249353e1,1.16e1));
#716=direction('',(0.e0,0.e0,-1.e0));
#717=direction('',(-5.359335029400e-1,-8.442601971113e-1,0.e0));
#718=axis2_placement_3d('',#715,#716,#717);
#720=cartesian_point('',(-2.499622471494e1,2.499622471494e1,1.16e1));
#721=direction('',(0.e0,0.e0,1.e0));
#722=direction('',(9.965810952110e-1,8.262034052196e-2,0.e0));
#723=axis2_placement_3d('',#720,#721,#722);
#725=cartesian_point('',(-2.105972938886e1,2.532257506e1,1.16e1));
#726=direction('',(0.e0,0.e0,-1.e0));
#727=direction('',(6.394240338127e-1,-7.688542807208e-1,0.e0));
#728=axis2_placement_3d('',#725,#726,#727);
#730=cartesian_point('',(0.e0,0.e0,1.16e1));
#731=direction('',(0.e0,0.e0,1.e0));
#732=direction('',(-5.100712128433e-1,8.601321746270e-1,0.e0));
#733=axis2_placement_3d('',#730,#731,#732);
#735=cartesian_point('',(-1.649572785592e1,2.833105249353e1,1.16e1));
#736=cartesian_point('',(-1.649572785592e1,2.829479575341e1,1.16e1));
#737=cartesian_point('',(-1.650761623180e1,2.822729841939e1,1.16e1));
#738=cartesian_point('',(-1.656266198660e1,2.813301634824e1,1.16e1));
#739=cartesian_point('',(-1.661240975349e1,2.809093015699e1,1.16e1));
#740=cartesian_point('',(-1.664394515808e1,2.807223476707e1,1.16e1));
#742=cartesian_point('',(-1.679572785592e1,2.833105249353e1,1.16e1));
#743=direction('',(0.e0,0.e0,-1.e0));
#744=direction('',(0.e0,1.e0,0.e0));
#745=axis2_placement_3d('',#742,#743,#744);
#747=cartesian_point('',(2.532257506e1,2.105972938886e1,1.16e1));
#748=direction('',(0.e0,0.e0,-1.e0));
#749=direction('',(-9.999999999993e-1,1.162872334722e-6,0.e0));
#750=axis2_placement_3d('',#747,#748,#749);
#752=cartesian_point('',(2.532257506e1,2.105972938886e1,1.16e1));
#753=direction('',(0.e0,0.e0,-1.e0));
#754=direction('',(-7.688542807210e-1,-6.394240338124e-1,0.e0));
#755=axis2_placement_3d('',#752,#753,#754);
#757=cartesian_point('',(0.e0,0.e0,1.16e1));
#758=direction('',(0.e0,0.e0,1.e0));
#759=direction('',(8.601988911238e-1,5.099586921599e-1,0.e0));
#760=axis2_placement_3d('',#757,#758,#759);
#762=cartesian_point('',(2.833105249361e1,1.679572785578e1,1.16e1));
#763=direction('',(0.e0,0.e0,-1.e0));
#764=direction('',(1.e0,4.682476628659e-11,0.e0));
#765=axis2_placement_3d('',#762,#763,#764);
#767=direction('',(-7.001992312223e-13,-1.e0,0.e0));
#768=vector('',#767,6.083559522689e0);
#769=cartesian_point('',(2.863105249362e1,2.287928737847e1,1.16e1));
#770=line('',#769,#768);
#771=cartesian_point('',(2.833105249362e1,2.287928737847e1,1.16e1));
#772=direction('',(0.e0,0.e0,-1.e0));
#773=direction('',(-8.442601971341e-1,5.359335029041e-1,0.e0));
#774=axis2_placement_3d('',#771,#772,#773);
#776=cartesian_point('',(2.499622471494e1,2.499622471494e1,1.16e1));
#777=direction('',(0.e0,0.e0,1.e0));
#778=direction('',(8.262034052196e-2,-9.965810952110e-1,0.e0));
#779=axis2_placement_3d('',#776,#777,#778);
#781=cartesian_point('',(2.532257506e1,-2.105972938886e1,1.16e1));
#782=direction('',(0.e0,0.e0,-1.e0));
#783=direction('',(-9.999999999993e-1,-1.174973801218e-6,0.e0));
#784=axis2_placement_3d('',#781,#782,#783);
#786=cartesian_point('',(2.532257506e1,-2.105972938886e1,1.16e1));
#787=direction('',(0.e0,0.e0,-1.e0));
#788=direction('',(-8.262034052215e-2,-9.965810952110e-1,0.e0));
#789=axis2_placement_3d('',#786,#787,#788);
#791=cartesian_point('',(2.499622471494e1,-2.499622471494e1,1.16e1));
#792=direction('',(0.e0,0.e0,1.e0));
#793=direction('',(8.442601971341e-1,5.359335029041e-1,0.e0));
#794=axis2_placement_3d('',#791,#792,#793);
#796=cartesian_point('',(2.833105249362e1,-2.287928737847e1,1.16e1));
#797=direction('',(0.e0,0.e0,-1.e0));
#798=direction('',(1.e0,-4.773662946415e-11,0.e0));
#799=axis2_placement_3d('',#796,#797,#798);
#801=cartesian_point('',(2.833105249361e1,-1.679572785578e1,1.16e1));
#802=direction('',(0.e0,0.e0,-1.e0));
#803=direction('',(-8.601988911229e-1,5.099586921613e-1,0.e0));
#804=axis2_placement_3d('',#801,#802,#803);
#806=cartesian_point('',(0.e0,0.e0,1.16e1));
#807=direction('',(0.e0,0.e0,1.e0));
#808=direction('',(7.688542807198e-1,-6.394240338139e-1,0.e0));
#809=axis2_placement_3d('',#806,#807,#808);
#811=cartesian_point('',(1.679572785592e1,-2.833105249353e1,1.16e1));
#812=direction('',(0.e0,0.e0,-1.e0));
#813=direction('',(-9.999999999976e-1,2.203069181898e-6,0.e0));
#814=axis2_placement_3d('',#811,#812,#813);
#816=cartesian_point('',(1.679572785592e1,-2.833105249353e1,1.16e1));
#817=direction('',(0.e0,0.e0,-1.e0));
#818=direction('',(0.e0,-1.e0,0.e0));
#819=axis2_placement_3d('',#816,#817,#818);
#821=cartesian_point('',(2.287928737833e1,-2.833105249353e1,1.16e1));
#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('',(2.287928737833e1,-2.833105249353e1,1.16e1));
#827=direction('',(0.e0,0.e0,-1.e0));
#828=direction('',(5.359335029404e-1,8.442601971111e-1,0.e0));
#829=axis2_placement_3d('',#826,#827,#828);
#831=cartesian_point('',(2.499622471494e1,-2.499622471494e1,1.16e1));
#832=direction('',(0.e0,0.e0,1.e0));
#833=direction('',(-9.965810952110e-1,-8.262034052196e-2,0.e0));
#834=axis2_placement_3d('',#831,#832,#833);
#836=cartesian_point('',(2.105972938886e1,-2.532257506e1,1.16e1));
#837=direction('',(0.e0,0.e0,-1.e0));
#838=direction('',(-6.394240338128e-1,7.688542807207e-1,0.e0));
#839=axis2_placement_3d('',#836,#837,#838);
#841=cartesian_point('',(0.e0,0.e0,1.16e1));
#842=direction('',(0.e0,0.e0,1.e0));
#843=direction('',(5.099586921642e-1,-8.601988911212e-1,0.e0));
#844=axis2_placement_3d('',#841,#842,#843);
#846=cartesian_point('',(2.499622471494e1,2.499622471494e1,1.16e1));
#847=direction('',(0.e0,0.e0,-1.e0));
#848=direction('',(-1.e0,0.e0,0.e0));
#849=axis2_placement_3d('',#846,#847,#848);
#851=cartesian_point('',(2.499622471494e1,2.499622471494e1,1.16e1));
#852=direction('',(0.e0,0.e0,-1.e0));
#853=direction('',(1.e0,0.e0,0.e0));
#854=axis2_placement_3d('',#851,#852,#853);
#856=cartesian_point('',(-2.499622471494e1,2.499622471494e1,1.16e1));
#857=direction('',(0.e0,0.e0,-1.e0));
#858=direction('',(-1.e0,0.e0,0.e0));
#859=axis2_placement_3d('',#856,#857,#858);
#861=cartesian_point('',(-2.499622471494e1,2.499622471494e1,1.16e1));
#862=direction('',(0.e0,0.e0,-1.e0));
#863=direction('',(1.e0,0.e0,0.e0));
#864=axis2_placement_3d('',#861,#862,#863);
#866=cartesian_point('',(2.499622471494e1,-2.499622471494e1,1.16e1));
#867=direction('',(0.e0,0.e0,-1.e0));
#868=direction('',(-1.e0,0.e0,0.e0));
#869=axis2_placement_3d('',#866,#867,#868);
#871=cartesian_point('',(2.499622471494e1,-2.499622471494e1,1.16e1));
#872=direction('',(0.e0,0.e0,-1.e0));
#873=direction('',(1.e0,0.e0,0.e0));
#874=axis2_placement_3d('',#871,#872,#873);
#876=cartesian_point('',(-2.499622471494e1,-2.499622471494e1,1.16e1));
#877=direction('',(0.e0,0.e0,-1.e0));
#878=direction('',(-1.e0,0.e0,0.e0));
#879=axis2_placement_3d('',#876,#877,#878);
#881=cartesian_point('',(-2.499622471494e1,-2.499622471494e1,1.16e1));
#882=direction('',(0.e0,0.e0,-1.e0));
#883=direction('',(1.e0,0.e0,0.e0));
#884=axis2_placement_3d('',#881,#882,#883);
#886=cartesian_point('',(-2.287928737833e1,-2.833105249353e1,1.16e1));
#887=direction('',(0.e0,0.e0,-1.e0));
#888=direction('',(-9.999999999974e-1,2.287124421703e-6,0.e0));
#889=axis2_placement_3d('',#886,#887,#888);
#891=cartesian_point('',(-2.287928737833e1,-2.833105249353e1,1.16e1));
#892=direction('',(0.e0,0.e0,-1.e0));
#893=direction('',(0.e0,-1.e0,0.e0));
#894=axis2_placement_3d('',#891,#892,#893);
#896=direction('',(-1.e0,0.e0,0.e0));
#897=vector('',#896,6.083559522407e0);
#898=cartesian_point('',(-1.679572785592e1,-2.863105249353e1,1.16e1));
#899=line('',#898,#897);
#900=cartesian_point('',(-1.679572785592e1,-2.833105249353e1,1.16e1));
#901=direction('',(0.e0,0.e0,-1.e0));
#902=direction('',(1.e0,0.e0,0.e0));
#903=axis2_placement_3d('',#900,#901,#902);
#905=cartesian_point('',(-1.664394515808e1,-2.807223476707e1,1.16e1));
#906=cartesian_point('',(-1.661240975349e1,-2.809093015699e1,1.16e1));
#907=cartesian_point('',(-1.656266198660e1,-2.813301634824e1,1.16e1));
#908=cartesian_point('',(-1.650761623180e1,-2.822729841939e1,1.16e1));
#909=cartesian_point('',(-1.649572785592e1,-2.829479575341e1,1.16e1));
#910=cartesian_point('',(-1.649572785592e1,-2.833105249353e1,1.16e1));
#912=cartesian_point('',(0.e0,0.e0,1.16e1));
#913=direction('',(0.e0,0.e0,1.e0));
#914=direction('',(-6.394240338139e-1,-7.688542807198e-1,0.e0));
#915=axis2_placement_3d('',#912,#913,#914);
#917=cartesian_point('',(-2.105972938886e1,-2.532257506e1,1.16e1));
#918=direction('',(0.e0,0.e0,-1.e0));
#919=direction('',(-9.965810952110e-1,8.262034052211e-2,0.e0));
#920=axis2_placement_3d('',#917,#918,#919);
#922=cartesian_point('',(-2.499622471494e1,-2.499622471494e1,1.16e1));
#923=direction('',(0.e0,0.e0,1.e0));
#924=direction('',(5.359335029399e-1,-8.442601971114e-1,0.e0));
#925=axis2_placement_3d('',#922,#923,#924);
#927=cartesian_point('',(1.679572785592e1,2.833105249353e1,1.16e1));
#928=direction('',(0.e0,0.e0,-1.e0));
#929=direction('',(-9.999999999976e-1,-2.195911044112e-6,0.e0));
#930=axis2_placement_3d('',#927,#928,#929);
#932=cartesian_point('',(1.679572785592e1,2.833105249353e1,1.16e1));
#933=direction('',(0.e0,0.e0,-1.e0));
#934=direction('',(-5.099586921651e-1,-8.601988911207e-1,0.e0));
#935=axis2_placement_3d('',#932,#933,#934);
#937=cartesian_point('',(0.e0,0.e0,1.16e1));
#938=direction('',(0.e0,0.e0,1.e0));
#939=direction('',(6.394240338139e-1,7.688542807198e-1,0.e0));
#940=axis2_placement_3d('',#937,#938,#939);
#942=cartesian_point('',(2.105972938886e1,2.532257506e1,1.16e1));
#943=direction('',(0.e0,0.e0,-1.e0));
#944=direction('',(9.965810952110e-1,-8.262034052214e-2,0.e0));
#945=axis2_placement_3d('',#942,#943,#944);
#947=cartesian_point('',(2.499622471494e1,2.499622471494e1,1.16e1));
#948=direction('',(0.e0,0.e0,1.e0));
#949=direction('',(-5.359335029399e-1,8.442601971114e-1,0.e0));
#950=axis2_placement_3d('',#947,#948,#949);
#952=cartesian_point('',(2.287928737833e1,2.833105249353e1,1.16e1));
#953=direction('',(0.e0,0.e0,-1.e0));
#954=direction('',(1.e0,0.e0,0.e0));
#955=axis2_placement_3d('',#952,#953,#954);
#957=cartesian_point('',(2.287928737833e1,2.833105249353e1,1.16e1));
#958=direction('',(0.e0,0.e0,-1.e0));
#959=direction('',(0.e0,1.e0,0.e0));
#960=axis2_placement_3d('',#957,#958,#959);
#962=direction('',(1.e0,0.e0,0.e0));
#963=vector('',#962,6.083559522407e0);
#964=cartesian_point('',(1.679572785592e1,2.863105249353e1,1.16e1));
#965=line('',#964,#963);
#966=cartesian_point('',(0.e0,0.e0,1.16e1));
#967=direction('',(0.e0,0.e0,1.e0));
#968=direction('',(1.e0,0.e0,0.e0));
#969=axis2_placement_3d('',#966,#967,#968);
#971=cartesian_point('',(0.e0,0.e0,1.16e1));
#972=direction('',(0.e0,0.e0,1.e0));
#973=direction('',(8.855401567674e-1,-4.645628383248e-1,0.e0));
#974=axis2_placement_3d('',#971,#972,#973);
#976=direction('',(4.645628383248e-1,8.855401567674e-1,0.e0));
#977=vector('',#976,2.373251920245e1);
#978=cartesian_point('',(3.364781066181e0,-2.856524489780e1,1.16e1));
#979=line('',#978,#977);
#980=cartesian_point('',(0.e0,0.e0,1.16e1));
#981=direction('',(0.e0,0.e0,-1.e0));
#982=direction('',(9.056556148083e-1,-4.240140414729e-1,0.e0));
#983=axis2_placement_3d('',#980,#981,#982);
#985=cartesian_point('',(0.e0,0.e0,1.16e1));
#986=direction('',(0.e0,0.e0,-1.e0));
#987=direction('',(8.881477408727e-1,4.595580381004e-1,0.e0));
#988=axis2_placement_3d('',#985,#986,#987);
#990=direction('',(9.991816897106e-1,4.044689045012e-2,1.778510336764e-8));
#991=vector('',#990,1.435330822310e1);
#992=cartesian_point('',(1.367146703372e1,1.391435368130e1,1.159999974472e1));
#993=line('',#992,#991);
#994=cartesian_point('',(0.e0,0.e0,1.16e1));
#995=direction('',(0.e0,0.e0,1.e0));
#996=direction('',(-8.450932980272e-1,-5.346188526694e-1,0.e0));
#997=axis2_placement_3d('',#994,#995,#996);
#999=direction('',(5.346188526694e-1,-8.450932980271e-1,0.e0));
#1000=vector('',#999,2.703274819633e1);
#1001=cartesian_point('',(-2.818498291816e1,1.415763797209e1,1.16e1));
#1002=line('',#1001,#1000);
#1003=cartesian_point('',(0.e0,0.e0,1.16e1));
#1004=direction('',(0.e0,0.e0,-1.e0));
#1005=direction('',(-9.056556148083e-1,4.240140414729e-1,0.e0));
#1006=axis2_placement_3d('',#1003,#1004,#1005);
#1008=cartesian_point('',(0.e0,0.e0,1.16e1));
#1009=direction('',(0.e0,0.e0,-1.e0));
#1010=direction('',(-4.240140414729e-1,-9.056556148083e-1,0.e0));
#1011=axis2_placement_3d('',#1008,#1009,#1010);
#1013=direction('',(-4.645628017565e-1,-8.855401759514e-1,2.314205236221e-8));
#1014=vector('',#1013,1.103081550022e1);
#1015=cartesian_point('',(5.214450248382e0,-1.879701459886e1,1.159999974472e1));
#1016=line('',#1015,#1014);
#1017=cartesian_point('',(0.e0,0.e0,1.155606601718e1));
#1018=direction('',(0.e0,0.e0,-1.e0));
#1019=direction('',(-1.e0,0.e0,0.e0));
#1020=axis2_placement_3d('',#1017,#1018,#1019);
#1022=cartesian_point('',(-1.54e1,0.e0,1.145e1));
#1023=direction('',(0.e0,-1.e0,0.e0));
#1024=direction('',(7.071067811865e-1,0.e0,7.071067811865e-1));
#1025=axis2_placement_3d('',#1022,#1023,#1024);
#1027=cartesian_point('',(0.e0,0.e0,1.155606601718e1));
#1028=direction('',(0.e0,0.e0,-1.e0));
#1029=direction('',(1.e0,0.e0,0.e0));
#1030=axis2_placement_3d('',#1027,#1028,#1029);
#1032=cartesian_point('',(1.54e1,0.e0,1.145e1));
#1033=direction('',(0.e0,1.e0,0.e0));
#1034=direction('',(-7.071067811865e-1,0.e0,7.071067811865e-1));
#1035=axis2_placement_3d('',#1032,#1033,#1034);
#1037=cartesian_point('',(0.e0,0.e0,1.145e1));
#1038=direction('',(0.e0,0.e0,-1.e0));
#1039=direction('',(1.e0,0.e0,0.e0));
#1040=axis2_placement_3d('',#1037,#1038,#1039);
#1042=cartesian_point('',(1.54e1,0.e0,1.145e1));
#1043=direction('',(0.e0,1.e0,0.e0));
#1044=direction('',(-1.e0,0.e0,0.e0));
#1045=axis2_placement_3d('',#1042,#1043,#1044);
#1047=cartesian_point('',(-1.54e1,0.e0,1.145e1));
#1048=direction('',(0.e0,-1.e0,0.e0));
#1049=direction('',(1.e0,0.e0,0.e0));
#1050=axis2_placement_3d('',#1047,#1048,#1049);
#1052=direction('',(0.e0,-5.737709560691e-14,1.e0));
#1053=vector('',#1052,1.5e-1);
#1054=cartesian_point('',(-1.525e1,0.e0,1.13e1));
#1055=line('',#1054,#1053);
#1056=direction('',(0.e0,4.653929420857e-14,1.e0));
#1057=vector('',#1056,1.5e-1);
#1058=cartesian_point('',(1.525e1,0.e0,1.13e1));
#1059=line('',#1058,#1057);
#1060=cartesian_point('',(0.e0,0.e0,1.145e1));
#1061=direction('',(0.e0,0.e0,-1.e0));
#1062=direction('',(-1.e0,0.e0,0.e0));
#1063=axis2_placement_3d('',#1060,#1061,#1062);
#1065=cartesian_point('',(0.e0,0.e0,1.13e1));
#1066=direction('',(0.e0,0.e0,1.e0));
#1067=direction('',(9.991816909942e-1,4.044685874026e-2,0.e0));
#1068=axis2_placement_3d('',#1065,#1066,#1067);
#1070=cartesian_point('',(0.e0,0.e0,1.13e1));
#1071=direction('',(0.e0,0.e0,1.e0));
#1072=direction('',(1.e0,0.e0,0.e0));
#1073=axis2_placement_3d('',#1070,#1071,#1072);
#1075=cartesian_point('',(0.e0,0.e0,1.13e1));
#1076=direction('',(0.e0,0.e0,1.e0));
#1077=direction('',(-9.991816909942e-1,-4.044685874026e-2,0.e0));
#1078=axis2_placement_3d('',#1075,#1076,#1077);
#1080=cartesian_point('',(0.e0,0.e0,1.13e1));
#1081=direction('',(0.e0,0.e0,1.e0));
#1082=direction('',(-1.e0,0.e0,0.e0));
#1083=axis2_placement_3d('',#1080,#1081,#1082);
#1085=cartesian_point('',(0.e0,0.e0,1.13e1));
#1086=direction('',(0.e0,0.e0,-1.e0));
#1087=direction('',(1.e0,0.e0,0.e0));
#1088=axis2_placement_3d('',#1085,#1086,#1087);
#1090=cartesian_point('',(0.e0,0.e0,1.13e1));
#1091=direction('',(0.e0,0.e0,-1.e0));
#1092=direction('',(-1.e0,0.e0,0.e0));
#1093=axis2_placement_3d('',#1090,#1091,#1092);
#1095=direction('',(-3.162277660168e-1,9.486832980505e-1,0.e0));
#1096=vector('',#1095,2.550221487408e-1);
#1097=cartesian_point('',(1.087548381329e1,-6.180644488335e-1,1.13e1));
#1098=line('',#1097,#1096);
#1099=direction('',(-1.961158563903e-1,9.805807314405e-1,0.e0));
#1100=vector('',#1099,4.112114434062e-1);
#1101=cartesian_point('',(1.079483872890e1,-3.761291956902e-1,1.13e1));
#1102=line('',#1101,#1100);
#1103=direction('',(-2.169306700238e-1,9.761870130272e-1,0.e0));
#1104=vector('',#1103,7.435115872169e-1);
#1105=cartesian_point('',(1.071419364452e1,2.709682226181e-2,1.13e1));
#1106=line('',#1105,#1104);
#1107=direction('',(-7.071061279101e-1,7.071074344624e-1,0.e0));
#1108=vector('',#1107,1.140494774376e-1);
#1109=cartesian_point('',(1.055290317774e1,7.529031777382e-1,1.13e1));
#1110=line('',#1109,#1108);
#1111=direction('',(-4.472132649654e-1,-8.944273562671e-1,0.e0));
#1112=vector('',#1111,1.803280240074e-1);
#1113=cartesian_point('',(1.047225809336e1,8.335484111309e-1,1.13e1));
#1114=line('',#1113,#1112);
#1115=direction('',(-3.162284671859e-1,-9.486830643272e-1,0.e0));
#1116=vector('',#1115,2.550225257137e-1);
#1117=cartesian_point('',(1.039161300898e1,6.722580933571e-1,1.13e1));
#1118=line('',#1117,#1116);
#1119=direction('',(3.162286424787e-1,-9.486830058961e-1,0.e0));
#1120=vector('',#1119,2.550223843489e-1);
#1121=cartesian_point('',(1.031096762657e1,4.303225421906e-1,1.13e1));
#1122=line('',#1121,#1120);
#1123=direction('',(1.961159609207e-1,-9.805807105344e-1,0.e0));
#1124=vector('',#1123,8.224224484587e-1);
#1125=cartesian_point('',(1.039161300898e1,1.883871400356e-1,1.13e1));
#1126=line('',#1125,#1124);
#1127=direction('',(2.425354141451e-1,-9.701425528681e-1,0.e0));
#1128=vector('',#1127,3.325084902151e-1);
#1129=cartesian_point('',(1.055290317774e1,-6.180644488335e-1,1.13e1));
#1130=line('',#1129,#1128);
#1131=direction('',(8.944268604656e-1,-4.472142565680e-1,0.e0));
#1132=vector('',#1131,1.803282905675e-1);
#1133=cartesian_point('',(1.063354826212e1,-9.406450843811e-1,1.13e1));
#1134=line('',#1133,#1132);
#1135=direction('',(2.425354141451e-1,9.701425528681e-1,0.e0));
#1136=vector('',#1135,3.325084902151e-1);
#1137=cartesian_point('',(1.079483872890e1,-1.021290466785e0,1.13e1));
#1138=line('',#1137,#1136);
#1139=direction('',(0.e0,1.e0,0.e0));
#1140=vector('',#1139,8.064538240433e-2);
#1141=cartesian_point('',(1.087548381329e1,-6.987098312378e-1,1.13e1));
#1142=line('',#1141,#1140);
#1143=direction('',(-2.747212619841e-1,9.615239093303e-1,0.e0));
#1144=vector('',#1143,5.871058745892e-1);
#1145=cartesian_point('',(1.006903237343e1,-6.987098312378e-1,1.13e1));
#1146=line('',#1145,#1144);
#1147=direction('',(-2.169302880545e-1,9.761870979093e-1,0.e0));
#1148=vector('',#1147,7.435115225666e-1);
#1149=cartesian_point('',(9.907741906643e0,-1.341934955120e-1,1.13e1));
#1150=line('',#1149,#1148);
#1151=direction('',(0.e0,1.e0,0.e0));
#1152=vector('',#1151,4.032258689404e-1);
#1153=cartesian_point('',(9.746451737881e0,5.916128599644e-1,1.13e1));
#1154=line('',#1153,#1152);
#1155=direction('',(-1.e0,0.e0,0.e0));
#1156=vector('',#1155,1.612904667854e-1);
#1157=cartesian_point('',(9.746451737881e0,9.948387289047e-1,1.13e1));
#1158=line('',#1157,#1156);
#1159=direction('',(-9.805806338787e-1,-1.961163441992e-1,0.e0));
#1160=vector('',#1159,4.112111803940e-1);
#1161=cartesian_point('',(9.585161271095e0,9.948387289047e-1,1.13e1));
#1162=line('',#1161,#1160);
#1163=direction('',(-9.486834149120e-1,-3.162274154321e-1,0.e0));
#1164=vector('',#1163,2.550224314704e-1);
#1165=cartesian_point('',(9.181935551167e0,9.141934955120e-1,1.13e1));
#1166=line('',#1165,#1164);
#1167=direction('',(-9.838699127442e-1,-1.788854236565e-1,0.e0));
#1168=vector('',#1167,9.016403599410e-1);
#1169=cartesian_point('',(8.94e0,8.335484111309e-1,1.13e1));
#1170=line('',#1169,#1168);
#1171=direction('',(0.e0,-1.e0,0.e0));
#1172=vector('',#1171,1.612903177738e-1);
#1173=cartesian_point('',(8.052903177738e0,6.722580933571e-1,1.13e1));
#1174=line('',#1173,#1172);
#1175=direction('',(3.162279413092e-1,-9.486832396197e-1,0.e0));
#1176=vector('',#1175,2.550224785920e-1);
#1177=cartesian_point('',(8.052903177738e0,5.109677755833e-1,1.13e1));
#1178=line('',#1177,#1176);
#1179=direction('',(1.961161351382e-1,-9.805806756909e-1,0.e0));
#1180=vector('',#1179,8.224224776823e-1);
#1181=cartesian_point('',(8.133548411131e0,2.690322244167e-1,1.13e1));
#1182=line('',#1181,#1180);
#1183=direction('',(-9.486834149120e-1,-3.162274154321e-1,0.e0));
#1184=vector('',#1183,2.550224314704e-1);
#1185=cartesian_point('',(8.294838728905e0,-5.374193644524e-1,1.13e1));
#1186=line('',#1185,#1184);
#1187=direction('',(4.472135955e-1,-8.944271909999e-1,0.e0));
#1188=vector('',#1187,1.803282239274e-1);
#1189=cartesian_point('',(8.052903177738e0,-6.180644488335e-1,1.13e1));
#1190=line('',#1189,#1188);
#1191=direction('',(9.701424913582e-1,-2.425356601849e-1,0.e0));
#1192=vector('',#1191,9.975256874892e-1);
#1193=cartesian_point('',(8.133548411131e0,-7.793549156189e-1,1.13e1));
#1194=line('',#1193,#1192);
#1195=direction('',(9.284767855383e-1,-3.713904397213e-1,0.e0));
#1196=vector('',#1195,4.342873469851e-1);
#1197=cartesian_point('',(9.101290466785e0,-1.021290466785e0,1.13e1));
#1198=line('',#1197,#1196);
#1199=direction('',(8.944271909999e-1,-4.472135955e-1,0.e0));
#1200=vector('',#1199,1.803278907274e-1);
#1201=cartesian_point('',(9.504516186714e0,-1.182580635548e0,1.13e1));
#1202=line('',#1201,#1200);
#1203=direction('',(1.e0,0.e0,0.e0));
#1204=vector('',#1203,1.612904667854e-1);
#1205=cartesian_point('',(9.665806355476e0,-1.263225719929e0,1.13e1));
#1206=line('',#1205,#1204);
#1207=direction('',(5.547001962252e-1,8.320502943378e-1,0.e0));
#1208=vector('',#1207,2.907699868502e-1);
#1209=cartesian_point('',(9.827096822262e0,-1.263225719929e0,1.13e1));
#1210=line('',#1209,#1208);
#1211=direction('',(2.425362577097e-1,9.701423419768e-1,0.e0));
#1212=vector('',#1211,3.325085624965e-1);
#1213=cartesian_point('',(9.988386991024e0,-1.021290466785e0,1.13e1));
#1214=line('',#1213,#1212);
#1215=direction('',(-9.486834149120e-1,-3.162274154321e-1,0.e0));
#1216=vector('',#1215,2.550224314704e-1);
#1217=cartesian_point('',(9.746451737881e0,-6.987098312378e-1,1.13e1));
#1218=line('',#1217,#1216);
#1219=direction('',(-9.950372011322e-1,9.950360979880e-2,0.e0));
#1220=vector('',#1219,8.104739571175e-1);
#1221=cartesian_point('',(9.504516186714e0,-7.793549156189e-1,1.13e1));
#1222=line('',#1221,#1220);
#1223=direction('',(-8.320499789704e-1,5.547006692762e-1,0.e0));
#1224=vector('',#1223,2.907702761489e-1);
#1225=cartesian_point('',(8.698064448833e0,-6.987098312378e-1,1.13e1));
#1226=line('',#1225,#1224);
#1227=direction('',(0.e0,-1.e0,0.e0));
#1228=vector('',#1227,8.064523339272e-2);
#1229=cartesian_point('',(8.94e0,-1.341934955120e-1,1.13e1));
#1230=line('',#1229,#1228);
#1231=direction('',(2.425354141451e-1,-9.701425528681e-1,0.e0));
#1232=vector('',#1231,3.325084902151e-1);
#1233=cartesian_point('',(8.94e0,-2.148387289047e-1,1.13e1));
#1234=line('',#1233,#1232);
#1235=direction('',(8.944275215340e-1,4.472129344312e-1,0.e0));
#1236=vector('',#1235,1.803281572875e-1);
#1237=cartesian_point('',(9.020645084381e0,-5.374193644524e-1,1.13e1));
#1238=line('',#1237,#1236);
#1239=direction('',(2.425353086997e-1,9.701425792294e-1,0.e0));
#1240=vector('',#1239,3.325086347776e-1);
#1241=cartesian_point('',(9.181935551167e0,-4.567742800713e-1,1.13e1));
#1242=line('',#1241,#1240);
#1243=direction('',(1.e0,0.e0,0.e0));
#1244=vector('',#1243,3.225806355476e-1);
#1245=cartesian_point('',(9.262580635548e0,-1.341934955120e-1,1.13e1));
#1246=line('',#1245,#1244);
#1247=direction('',(7.071067811865e-1,7.071067811865e-1,0.e0));
#1248=vector('',#1247,1.140493720705e-1);
#1249=cartesian_point('',(9.585161271095e0,-1.341934955120e-1,1.13e1));
#1250=line('',#1249,#1248);
#1251=direction('',(3.162286424787e-1,-9.486830058961e-1,0.e0));
#1252=vector('',#1251,2.550223843489e-1);
#1253=cartesian_point('',(9.665806355476e0,-5.354841113091e-2,1.13e1));
#1254=line('',#1253,#1252);
#1255=direction('',(-7.071061279101e-1,-7.071074344624e-1,0.e0));
#1256=vector('',#1255,1.140494774376e-1);
#1257=cartesian_point('',(9.665806355476e0,1.883871400356e-1,1.13e1));
#1258=line('',#1257,#1256);
#1259=direction('',(-1.e0,0.e0,0.e0));
#1260=vector('',#1259,4.032257199287e-1);
#1261=cartesian_point('',(9.585161271095e0,1.077419066429e-1,1.13e1));
#1262=line('',#1261,#1260);
#1263=direction('',(-3.713909129868e-1,9.284765962322e-1,0.e0));
#1264=vector('',#1263,4.342875960220e-1);
#1265=cartesian_point('',(9.181935551167e0,1.077419066429e-1,1.13e1));
#1266=line('',#1265,#1264);
#1267=direction('',(-7.071061279101e-1,-7.071074344624e-1,0.e0));
#1268=vector('',#1267,1.140494774376e-1);
#1269=cartesian_point('',(9.020645084381e0,5.109677755833e-1,1.13e1));
#1270=line('',#1269,#1268);
#1271=direction('',(-2.425358359275e-1,-9.701424474225e-1,0.e0));
#1272=vector('',#1271,3.325085263558e-1);
#1273=cartesian_point('',(8.94e0,4.303225421906e-1,1.13e1));
#1274=line('',#1273,#1272);
#1275=direction('',(-1.e0,0.e0,0.e0));
#1276=vector('',#1275,4.032257199287e-1);
#1277=cartesian_point('',(8.859354766607e0,1.077419066429e-1,1.13e1));
#1278=line('',#1277,#1276);
#1279=direction('',(-4.472139260344e-1,8.944270257326e-1,0.e0));
#1280=vector('',#1279,1.803280906474e-1);
#1281=cartesian_point('',(8.456129046679e0,1.077419066429e-1,1.13e1));
#1282=line('',#1281,#1280);
#1283=direction('',(-3.162274154321e-1,9.486834149120e-1,0.e0));
#1284=vector('',#1283,2.550224314704e-1);
#1285=cartesian_point('',(8.375483813286e0,2.690322244167e-1,1.13e1));
#1286=line('',#1285,#1284);
#1287=direction('',(9.486833564813e-1,3.162275907244e-1,0.e0));
#1288=vector('',#1287,2.550222901056e-1);
#1289=cartesian_point('',(8.294838728905e0,5.109677755833e-1,1.13e1));
#1290=line('',#1289,#1288);
#1291=direction('',(9.965457529536e-1,8.304554334895e-2,0.e0));
#1292=vector('',#1291,9.710964627427e-1);
#1293=cartesian_point('',(8.536774131060e0,5.916128599644e-1,1.13e1));
#1294=line('',#1293,#1292);
#1295=direction('',(3.162275030782e-1,-9.486833856967e-1,0.e0));
#1296=vector('',#1295,5.100447215760e-1);
#1297=cartesian_point('',(9.504516186714e0,6.722580933571e-1,1.13e1));
#1298=line('',#1297,#1296);
#1299=direction('',(-8.944273562671e-1,4.472132649654e-1,0.e0));
#1300=vector('',#1299,1.803280240074e-1);
#1301=cartesian_point('',(9.020645084381e0,-1.424516186714e0,1.13e1));
#1302=line('',#1301,#1300);
#1303=direction('',(-9.486833564813e-1,-3.162275907244e-1,0.e0));
#1304=vector('',#1303,2.550222901056e-1);
#1305=cartesian_point('',(8.859354766607e0,-1.343871102333e0,1.13e1));
#1306=line('',#1305,#1304);
#1307=direction('',(-9.701425528681e-1,2.425354141451e-1,0.e0));
#1308=vector('',#1307,3.325084902151e-1);
#1309=cartesian_point('',(8.052903177738e0,-1.424516186714e0,1.13e1));
#1310=line('',#1309,#1308);
#1311=direction('',(0.e0,1.e0,0.e0));
#1312=vector('',#1311,2.419355511665e-1);
#1313=cartesian_point('',(7.730322542191e0,-1.343871102333e0,1.13e1));
#1314=line('',#1313,#1312);
#1315=direction('',(-9.053573850090e-2,9.958932071533e-1,0.e0));
#1316=vector('',#1315,1.781509936788e0);
#1317=cartesian_point('',(7.730322542191e0,-1.101935551167e0,1.13e1));
#1318=line('',#1317,#1316);
#1319=direction('',(0.e0,1.e0,0.e0));
#1320=vector('',#1319,4.032257944345e-1);
#1321=cartesian_point('',(7.569032224417e0,6.722580933571e-1,1.13e1));
#1322=line('',#1321,#1320);
#1323=direction('',(9.701425001453e-1,2.425356250363e-1,0.e0));
#1324=vector('',#1323,6.650170165709e-1);
#1325=cartesian_point('',(7.972258093357e0,1.075483887792e0,1.13e1));
#1326=line('',#1325,#1324);
#1327=direction('',(5.547001962252e-1,8.320502943378e-1,0.e0));
#1328=vector('',#1327,2.907702554847e-1);
#1329=cartesian_point('',(8.617419364452e0,1.236774205565e0,1.13e1));
#1330=line('',#1329,#1328);
#1331=direction('',(-4.472139260344e-1,8.944270257326e-1,0.e0));
#1332=vector('',#1331,1.803280906474e-1);
#1333=cartesian_point('',(8.778709682226e0,1.478709682226e0,1.13e1));
#1334=line('',#1333,#1332);
#1335=direction('',(-7.071064545482e-1,-7.071071078247e-1,0.e0));
#1336=vector('',#1335,1.140494247541e-1);
#1337=cartesian_point('',(8.698064448833e0,1.64e0,1.13e1));
#1338=line('',#1337,#1336);
#1339=direction('',(-8.944271909999e-1,-4.472135955e-1,0.e0));
#1340=vector('',#1339,3.606561146548e-1);
#1341=cartesian_point('',(8.617419364452e0,1.559354841113e0,1.13e1));
#1342=line('',#1341,#1340);
#1343=direction('',(-9.899494962743e-1,-1.414213379456e-1,0.e0));
#1344=vector('',#1343,5.702474609450e-1);
#1345=cartesian_point('',(8.294838728905e0,1.398064523339e0,1.13e1));
#1346=line('',#1345,#1344);
#1347=direction('',(-9.486832980505e-1,3.162277660168e-1,0.e0));
#1348=vector('',#1347,2.550223843488e-1);
#1349=cartesian_point('',(7.730322542191e0,1.317419364452e0,1.13e1));
#1350=line('',#1349,#1348);
#1351=direction('',(-7.071067811865e-1,7.071067811865e-1,0.e0));
#1352=vector('',#1351,1.140494774376e-1);
#1353=cartesian_point('',(7.488387065530e0,1.398064523339e0,1.13e1));
#1354=line('',#1353,#1352);
#1355=direction('',(3.162277660168e-1,-9.486832980505e-1,0.e0));
#1356=vector('',#1355,5.100447686976e-1);
#1357=cartesian_point('',(7.085161271095e0,1.317419364452e0,1.13e1));
#1358=line('',#1357,#1356);
#1359=direction('',(1.643989873054e-1,-9.863939238321e-1,0.e0));
#1360=vector('',#1359,9.810907014545e-1);
#1361=cartesian_point('',(7.246451588869e0,8.335484111309e-1,1.13e1));
#1362=line('',#1361,#1360);
#1363=direction('',(1.321636960971e-1,-9.912279038818e-1,0.e0));
#1364=vector('',#1363,1.220382923124e0);
#1365=cartesian_point('',(7.407741906643e0,-1.341934955120e-1,1.13e1));
#1366=line('',#1365,#1364);
#1367=direction('',(0.e0,-1.e0,0.e0));
#1368=vector('',#1367,8.064508438110e-2);
#1369=cartesian_point('',(7.004516112208e0,-1.343871102333e0,1.13e1));
#1370=line('',#1369,#1368);
#1371=direction('',(9.863939484619e-1,-1.643988395267e-1,0.e0));
#1372=vector('',#1371,4.905453384786e-1);
#1373=cartesian_point('',(7.004516112208e0,-1.424516186714e0,1.13e1));
#1374=line('',#1373,#1372);
#1375=direction('',(9.743911805225e-1,-2.248595724446e-1,0.e0));
#1376=vector('',#1375,1.075940635021e0);
#1377=cartesian_point('',(7.488387065530e0,-1.505161271095e0,1.13e1));
#1378=line('',#1377,#1376);
#1379=direction('',(8.944273562671e-1,-4.472132649654e-1,0.e0));
#1380=vector('',#1379,1.803280240074e-1);
#1381=cartesian_point('',(8.536774131060e0,-1.747096822262e0,1.13e1));
#1382=line('',#1381,#1380);
#1383=direction('',(7.071067811865e-1,7.071067811865e-1,0.e0));
#1384=vector('',#1383,4.561979097504e-1);
#1385=cartesian_point('',(8.698064448833e0,-1.827741906643e0,1.13e1));
#1386=line('',#1385,#1384);
#1387=direction('',(0.e0,1.e0,0.e0));
#1388=vector('',#1387,8.064508438110e-2);
#1389=cartesian_point('',(9.020645084381e0,-1.505161271095e0,1.13e1));
#1390=line('',#1389,#1388);
#1391=direction('',(0.e0,0.e0,-1.e0));
#1392=vector('',#1391,1.2e0);
#1393=cartesian_point('',(-5.5e0,0.e0,1.13e1));
#1394=line('',#1393,#1392);
#1395=direction('',(0.e0,0.e0,-1.e0));
#1396=vector('',#1395,1.2e0);
#1397=cartesian_point('',(5.5e0,0.e0,1.13e1));
#1398=line('',#1397,#1396);
#1399=cartesian_point('',(0.e0,0.e0,1.01e1));
#1400=direction('',(0.e0,0.e0,1.e0));
#1401=direction('',(1.e0,0.e0,0.e0));
#1402=axis2_placement_3d('',#1399,#1400,#1401);
#1404=cartesian_point('',(0.e0,0.e0,1.01e1));
#1405=direction('',(0.e0,0.e0,1.e0));
#1406=direction('',(-1.e0,0.e0,0.e0));
#1407=axis2_placement_3d('',#1404,#1405,#1406);
#1409=cartesian_point('',(0.e0,0.e0,1.01e1));
#1410=direction('',(0.e0,0.e0,-1.e0));
#1411=direction('',(1.e0,0.e0,0.e0));
#1412=axis2_placement_3d('',#1409,#1410,#1411);
#1414=cartesian_point('',(0.e0,0.e0,1.01e1));
#1415=direction('',(0.e0,0.e0,-1.e0));
#1416=direction('',(-1.e0,0.e0,0.e0));
#1417=axis2_placement_3d('',#1414,#1415,#1416);
#1419=direction('',(0.e0,0.e0,-1.e0));
#1420=vector('',#1419,8.e0);
#1421=cartesian_point('',(-4.e0,0.e0,1.01e1));
#1422=line('',#1421,#1420);
#1423=direction('',(0.e0,0.e0,-1.e0));
#1424=vector('',#1423,8.e0);
#1425=cartesian_point('',(4.e0,0.e0,1.01e1));
#1426=line('',#1425,#1424);
#1427=cartesian_point('',(0.e0,0.e0,2.1e0));
#1428=direction('',(0.e0,0.e0,-1.e0));
#1429=direction('',(1.e0,0.e0,0.e0));
#1430=axis2_placement_3d('',#1427,#1428,#1429);
#1432=cartesian_point('',(0.e0,0.e0,2.1e0));
#1433=direction('',(0.e0,0.e0,-1.e0));
#1434=direction('',(-1.e0,0.e0,0.e0));
#1435=axis2_placement_3d('',#1432,#1433,#1434);
#1437=cartesian_point('',(0.e0,0.e0,2.1e0));
#1438=direction('',(0.e0,0.e0,1.e0));
#1439=direction('',(1.e0,0.e0,0.e0));
#1440=axis2_placement_3d('',#1437,#1438,#1439);
#1442=cartesian_point('',(0.e0,0.e0,2.1e0));
#1443=direction('',(0.e0,0.e0,1.e0));
#1444=direction('',(-1.e0,0.e0,0.e0));
#1445=axis2_placement_3d('',#1442,#1443,#1444);
#1447=direction('',(0.e0,0.e0,1.e0));
#1448=vector('',#1447,8.85e0);
#1449=cartesian_point('',(3.5e0,0.e0,-6.75e0));
#1450=line('',#1449,#1448);
#1451=direction('',(0.e0,0.e0,1.e0));
#1452=vector('',#1451,8.85e0);
#1453=cartesian_point('',(-3.5e0,0.e0,-6.75e0));
#1454=line('',#1453,#1452);
#1455=cartesian_point('',(0.e0,0.e0,-6.75e0));
#1456=direction('',(0.e0,0.e0,1.e0));
#1457=direction('',(1.e0,0.e0,0.e0));
#1458=axis2_placement_3d('',#1455,#1456,#1457);
#1460=cartesian_point('',(0.e0,0.e0,-6.75e0));
#1461=direction('',(0.e0,0.e0,1.e0));
#1462=direction('',(-1.e0,0.e0,0.e0));
#1463=axis2_placement_3d('',#1460,#1461,#1462);
#1465=cartesian_point('',(0.e0,0.e0,-6.75e0));
#1466=direction('',(0.e0,0.e0,1.e0));
#1467=direction('',(-1.e0,0.e0,0.e0));
#1468=axis2_placement_3d('',#1465,#1466,#1467);
#1470=cartesian_point('',(0.e0,0.e0,-6.75e0));
#1471=direction('',(0.e0,0.e0,1.e0));
#1472=direction('',(1.e0,0.e0,0.e0));
#1473=axis2_placement_3d('',#1470,#1471,#1472);
#1475=cartesian_point('',(-4.7e0,2.962134176832e-9,-6.45e0));
#1476=direction('',(-6.302413174675e-10,-1.e0,0.e0));
#1477=direction('',(-1.e0,6.302413174675e-10,0.e0));
#1478=axis2_placement_3d('',#1475,#1476,#1477);
#1480=cartesian_point('',(0.e0,0.e0,-6.45e0));
#1481=direction('',(0.e0,0.e0,1.e0));
#1482=direction('',(-1.e0,0.e0,0.e0));
#1483=axis2_placement_3d('',#1480,#1481,#1482);
#1485=cartesian_point('',(-4.950732836909e0,-7.001745336341e-1,2.35e0));
#1486=cartesian_point('',(-4.952057546166e0,-6.908078953176e-1,
-3.333333202320e-1));
#1487=cartesian_point('',(-4.953355141873e0,-6.814412569553e-1,
-3.016666653576e0));
#1488=cartesian_point('',(-4.954625687891e0,-6.720746185473e-1,-5.7e0));
#1490=cartesian_point('',(-3.978677942395e0,-3.028220901899e0,-5.7e0));
#1491=cartesian_point('',(-3.984402744226e0,-3.020699276659e0,
-3.016666653575e0));
#1492=cartesian_point('',(-3.990108419004e0,-3.013158524432e0,
-3.333333202319e-1));
#1493=cartesian_point('',(-3.995794921577e0,-3.005598600063e0,2.35e0));
#1495=cartesian_point('',(-3.005598600075e0,-3.995794921568e0,2.35e0));
#1496=cartesian_point('',(-3.013158524443e0,-3.990108418996e0,
-3.333333202320e-1));
#1497=cartesian_point('',(-3.020699276670e0,-3.984402744217e0,
-3.016666653576e0));
#1498=cartesian_point('',(-3.028220901910e0,-3.978677942387e0,-5.7e0));
#1500=cartesian_point('',(-6.720746185472e-1,-4.954625687891e0,-5.7e0));
#1501=cartesian_point('',(-6.814412569552e-1,-4.953355141873e0,
-3.016666653576e0));
#1502=cartesian_point('',(-6.908078953175e-1,-4.952057546166e0,
-3.333333202321e-1));
#1503=cartesian_point('',(-7.001745336341e-1,-4.950732836909e0,2.35e0));
#1505=cartesian_point('',(7.001745336341e-1,-4.950732836909e0,2.35e0));
#1506=cartesian_point('',(6.908078953175e-1,-4.952057546166e0,
-3.333333202321e-1));
#1507=cartesian_point('',(6.814412569552e-1,-4.953355141873e0,
-3.016666653576e0));
#1508=cartesian_point('',(6.720746185472e-1,-4.954625687891e0,-5.7e0));
#1510=cartesian_point('',(3.028220901910e0,-3.978677942387e0,-5.7e0));
#1511=cartesian_point('',(3.020699276670e0,-3.984402744217e0,
-3.016666653576e0));
#1512=cartesian_point('',(3.013158524443e0,-3.990108418996e0,
-3.333333202319e-1));
#1513=cartesian_point('',(3.005598600075e0,-3.995794921568e0,2.35e0));
#1515=cartesian_point('',(3.995794921568e0,-3.005598600075e0,2.35e0));
#1516=cartesian_point('',(3.990108418996e0,-3.013158524443e0,
-3.333333202321e-1));
#1517=cartesian_point('',(3.984402744217e0,-3.020699276670e0,
-3.016666653576e0));
#1518=cartesian_point('',(3.978677942387e0,-3.028220901910e0,-5.7e0));
#1520=cartesian_point('',(4.954625687891e0,-6.720746185472e-1,-5.7e0));
#1521=cartesian_point('',(4.953355141873e0,-6.814412569552e-1,
-3.016666653576e0));
#1522=cartesian_point('',(4.952057546166e0,-6.908078953175e-1,
-3.333333202321e-1));
#1523=cartesian_point('',(4.950732836909e0,-7.001745336341e-1,2.35e0));
#1525=cartesian_point('',(0.e0,0.e0,-6.45e0));
#1526=direction('',(0.e0,0.e0,1.e0));
#1527=direction('',(1.e0,0.e0,0.e0));
#1528=axis2_placement_3d('',#1525,#1526,#1527);
#1530=direction('',(-9.520206844885e-11,1.325610803395e-10,1.e0));
#1531=vector('',#1530,7.500000000155e-1);
#1532=cartesian_point('',(5.e0,-9.942101436446e-11,-6.45e0));
#1533=line('',#1532,#1531);
#1534=cartesian_point('',(4.950732836909e0,7.001745336341e-1,2.35e0));
#1535=cartesian_point('',(4.952057546166e0,6.908078953175e-1,
-3.333333202321e-1));
#1536=cartesian_point('',(4.953355141873e0,6.814412569552e-1,
-3.016666653576e0));
#1537=cartesian_point('',(4.954625687891e0,6.720746185472e-1,-5.7e0));
#1539=cartesian_point('',(3.978677942387e0,3.028220901910e0,-5.7e0));
#1540=cartesian_point('',(3.984402744217e0,3.020699276670e0,-3.016666653576e0));
#1541=cartesian_point('',(3.990108418996e0,3.013158524443e0,
-3.333333202319e-1));
#1542=cartesian_point('',(3.995794921568e0,3.005598600075e0,2.35e0));
#1544=cartesian_point('',(3.005598600075e0,3.995794921568e0,2.35e0));
#1545=cartesian_point('',(3.013158524443e0,3.990108418996e0,
-3.333333202321e-1));
#1546=cartesian_point('',(3.020699276670e0,3.984402744217e0,-3.016666653576e0));
#1547=cartesian_point('',(3.028220901910e0,3.978677942387e0,-5.7e0));
#1549=cartesian_point('',(6.720746185613e-1,4.954625687889e0,-5.7e0));
#1550=cartesian_point('',(6.814412569692e-1,4.953355141871e0,
-3.016666653576e0));
#1551=cartesian_point('',(6.908078953315e-1,4.952057546164e0,
-3.333333202321e-1));
#1552=cartesian_point('',(7.001745336479e-1,4.950732836907e0,2.35e0));
#1554=cartesian_point('',(-7.001745336341e-1,4.950732836909e0,2.35e0));
#1555=cartesian_point('',(-6.908078953176e-1,4.952057546166e0,
-3.333333202320e-1));
#1556=cartesian_point('',(-6.814412569553e-1,4.953355141873e0,
-3.016666653576e0));
#1557=cartesian_point('',(-6.720746185473e-1,4.954625687891e0,-5.7e0));
#1559=cartesian_point('',(-3.028220901899e0,3.978677942395e0,-5.7e0));
#1560=cartesian_point('',(-3.020699276659e0,3.984402744226e0,
-3.016666653575e0));
#1561=cartesian_point('',(-3.013158524432e0,3.990108419004e0,
-3.333333202319e-1));
#1562=cartesian_point('',(-3.005598600063e0,3.995794921577e0,2.35e0));
#1564=cartesian_point('',(-3.995794921568e0,3.005598600075e0,2.35e0));
#1565=cartesian_point('',(-3.990108418996e0,3.013158524443e0,
-3.333333202320e-1));
#1566=cartesian_point('',(-3.984402744217e0,3.020699276670e0,
-3.016666653576e0));
#1567=cartesian_point('',(-3.978677942387e0,3.028220901910e0,-5.7e0));
#1569=cartesian_point('',(-4.954625687889e0,6.720746185613e-1,-5.7e0));
#1570=cartesian_point('',(-4.953355141871e0,6.814412569692e-1,
-3.016666653576e0));
#1571=cartesian_point('',(-4.952057546164e0,6.908078953315e-1,
-3.333333202321e-1));
#1572=cartesian_point('',(-4.950732836907e0,7.001745336479e-1,2.35e0));
#1574=direction('',(-9.520206844885e-11,1.325620843853e-10,-1.e0));
#1575=vector('',#1574,7.500000000155e-1);
#1576=cartesian_point('',(-4.999999999929e0,0.e0,-5.699999999984e0));
#1577=line('',#1576,#1575);
#1578=cartesian_point('',(4.7e0,-2.962132733542e-9,-6.45e0));
#1579=direction('',(6.302410121561e-10,1.e0,0.e0));
#1580=direction('',(1.e0,-6.302410121561e-10,0.e0));
#1581=axis2_placement_3d('',#1578,#1579,#1580);
#1583=cartesian_point('',(4.954625687820e0,6.720746185376e-1,
-5.699999999984e0));
#1584=cartesian_point('',(4.959636119130e0,6.721545389305e-1,
-5.677104586936e0));
#1585=cartesian_point('',(4.968008266551e0,6.723151218672e-1,
-5.631101155176e0));
#1586=cartesian_point('',(4.975669447333e0,6.725589345936e-1,
-5.561254236132e0));
#1587=cartesian_point('',(4.977467342955e0,6.727219706982e-1,
-5.514548022685e0));
#1588=cartesian_point('',(4.977538798382e0,6.728037344132e-1,
-5.491124538882e0));
#1590=cartesian_point('',(0.e0,0.e0,-5.699999999953e0));
#1591=direction('',(0.e0,0.e0,1.e0));
#1592=direction('',(1.e0,0.e0,0.e0));
#1593=axis2_placement_3d('',#1590,#1591,#1592);
#1595=cartesian_point('',(0.e0,0.e0,-5.699999999953e0));
#1596=direction('',(0.e0,0.e0,1.e0));
#1597=direction('',(9.909251375781e-1,-1.344149237094e-1,0.e0));
#1598=axis2_placement_3d('',#1595,#1596,#1597);
#1600=cartesian_point('',(4.977538798382e0,-6.728037344132e-1,
-5.491124538882e0));
#1601=cartesian_point('',(4.977467342955e0,-6.727219706982e-1,
-5.514548022685e0));
#1602=cartesian_point('',(4.975669447333e0,-6.725589345936e-1,
-5.561254236132e0));
#1603=cartesian_point('',(4.968008266551e0,-6.723151218672e-1,
-5.631101155176e0));
#1604=cartesian_point('',(4.959636119130e0,-6.721545389305e-1,
-5.677104586936e0));
#1605=cartesian_point('',(4.954625687820e0,-6.720746185376e-1,
-5.699999999984e0));
#1607=cartesian_point('',(0.e0,0.e0,-5.491124538882e0));
#1608=direction('',(0.e0,0.e0,-1.e0));
#1609=direction('',(1.e0,0.e0,0.e0));
#1610=axis2_placement_3d('',#1607,#1608,#1609);
#1612=cartesian_point('',(0.e0,0.e0,-5.491124538882e0));
#1613=direction('',(0.e0,0.e0,-1.e0));
#1614=direction('',(9.909881137259e-1,1.339498355876e-1,0.e0));
#1615=axis2_placement_3d('',#1612,#1613,#1614);
#1617=cartesian_point('',(5.001401647800e0,-7.001745336341e-1,2.35e0));
#1618=cartesian_point('',(4.998753078387e0,-6.971293475595e-1,
1.477621993714e0));
#1619=cartesian_point('',(4.993454043121e0,-6.910416328510e-1,
-2.663727212797e-1));
#1620=cartesian_point('',(4.985499773684e0,-6.819180331105e-1,
-2.880080900985e0));
#1621=cartesian_point('',(4.980193098098e0,-6.758409481653e-1,
-4.621030425474e0));
#1622=cartesian_point('',(4.977538798382e0,-6.728037344132e-1,
-5.491124538882e0));
#1624=cartesian_point('',(4.977538798382e0,6.728037344132e-1,
-5.491124538882e0));
#1625=cartesian_point('',(4.980193098098e0,6.758409481653e-1,
-4.621030425474e0));
#1626=cartesian_point('',(4.985499773684e0,6.819180331105e-1,
-2.880080900985e0));
#1627=cartesian_point('',(4.993454043121e0,6.910416328510e-1,
-2.663727212796e-1));
#1628=cartesian_point('',(4.998753078387e0,6.971293475595e-1,1.477621993714e0));
#1629=cartesian_point('',(5.001401647800e0,7.001745336341e-1,2.35e0));
#1631=direction('',(0.e0,1.e0,5.959892434588e-13));
#1632=vector('',#1631,5.066881089087e-2);
#1633=cartesian_point('',(7.001745336341e-1,-5.001401647800e0,2.35e0));
#1634=line('',#1633,#1632);
#1635=cartesian_point('',(0.e0,0.e0,2.35e0));
#1636=direction('',(0.e0,0.e0,1.e0));
#1637=direction('',(-1.386436308232e-1,-9.903423365848e-1,0.e0));
#1638=axis2_placement_3d('',#1635,#1636,#1637);
#1640=direction('',(0.e0,-1.e0,-5.959892434588e-13));
#1641=vector('',#1640,5.066881089087e-2);
#1642=cartesian_point('',(-7.001745336341e-1,-4.950732836909e0,2.35e0));
#1643=line('',#1642,#1641);
#1644=cartesian_point('',(0.e0,0.e0,2.35e0));
#1645=direction('',(0.e0,0.e0,1.e0));
#1646=direction('',(-6.011197200149e-1,-7.991589843136e-1,0.e0));
#1647=axis2_placement_3d('',#1644,#1645,#1646);
#1649=direction('',(7.071067811865e-1,7.071067811866e-1,5.959892434588e-13));
#1650=vector('',#1649,5.066881089087e-2);
#1651=cartesian_point('',(-3.041426859850e0,-4.031623181344e0,2.35e0));
#1652=line('',#1651,#1650);
#1653=cartesian_point('',(0.e0,0.e0,2.35e0));
#1654=direction('',(0.e0,0.e0,1.e0));
#1655=direction('',(-7.983136334207e-1,-6.022419303691e-1,0.e0));
#1656=axis2_placement_3d('',#1653,#1654,#1655);
#1658=direction('',(-7.071067812255e-1,-7.071067811476e-1,-5.959892434632e-13));
#1659=vector('',#1658,5.066881089049e-2);
#1660=cartesian_point('',(-3.995794921577e0,-3.005598600063e0,2.35e0));
#1661=line('',#1660,#1659);
#1662=cartesian_point('',(0.e0,0.e0,2.35e0));
#1663=direction('',(0.e0,0.e0,1.e0));
#1664=direction('',(-9.901465673818e-1,-1.400349067268e-1,0.e0));
#1665=axis2_placement_3d('',#1662,#1663,#1664);
#1667=cartesian_point('',(0.e0,0.e0,2.35e0));
#1668=direction('',(0.e0,0.e0,1.e0));
#1669=direction('',(-9.903423365843e-1,1.386436308265e-1,0.e0));
#1670=axis2_placement_3d('',#1667,#1668,#1669);
#1672=cartesian_point('',(0.e0,0.e0,2.35e0));
#1673=direction('',(0.e0,0.e0,1.e0));
#1674=direction('',(-7.991589843136e-1,6.011197200149e-1,0.e0));
#1675=axis2_placement_3d('',#1672,#1673,#1674);
#1677=direction('',(7.071067811865e-1,-7.071067811866e-1,5.959892434588e-13));
#1678=vector('',#1677,5.066881089087e-2);
#1679=cartesian_point('',(-4.031623181344e0