-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathenclosure-4.step
3388 lines (3388 loc) · 135 KB
/
enclosure-4.step
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
ISO-10303-21;
HEADER;
FILE_DESCRIPTION(('Open CASCADE Model'),'2;1');
FILE_NAME('Open CASCADE Shape Model','2023-08-02T22:13:45',('Author'),(
'Open CASCADE'),'Open CASCADE STEP processor 7.7','Open CASCADE 7.7'
,'Unknown');
FILE_SCHEMA(('AUTOMOTIVE_DESIGN { 1 0 10303 214 1 1 1 1 }'));
ENDSEC;
DATA;
#1 = APPLICATION_PROTOCOL_DEFINITION('international standard',
'automotive_design',2000,#2);
#2 = APPLICATION_CONTEXT(
'core data for automotive mechanical design processes');
#3 = SHAPE_DEFINITION_REPRESENTATION(#4,#10);
#4 = PRODUCT_DEFINITION_SHAPE('','',#5);
#5 = PRODUCT_DEFINITION('design','',#6,#9);
#6 = PRODUCT_DEFINITION_FORMATION('','',#7);
#7 = PRODUCT('Open CASCADE STEP translator 7.7 1',
'Open CASCADE STEP translator 7.7 1','',(#8));
#8 = PRODUCT_CONTEXT('',#2,'mechanical');
#9 = PRODUCT_DEFINITION_CONTEXT('part definition',#2,'design');
#10 = ADVANCED_BREP_SHAPE_REPRESENTATION('',(#11,#15),#3330);
#11 = AXIS2_PLACEMENT_3D('',#12,#13,#14);
#12 = CARTESIAN_POINT('',(0.,0.,0.));
#13 = DIRECTION('',(0.,0.,1.));
#14 = DIRECTION('',(1.,0.,-0.));
#15 = MANIFOLD_SOLID_BREP('',#16);
#16 = CLOSED_SHELL('',(#17,#629,#674,#716,#757,#798,#840,#864,#888,#912,
#962,#986,#1010,#1038,#1062,#1086,#1110,#1182,#1206,#1230,#1254,
#1335,#1392,#1416,#1451,#1468,#1499,#1523,#1547,#1564,#1604,#1628,
#1652,#1678,#1703,#1743,#1767,#1791,#1817,#1857,#1881,#1905,#1931,
#1971,#1995,#2019,#2045,#2085,#2109,#2133,#2159,#2190,#2214,#2238,
#2255,#2280,#2424,#2441,#2458,#2470,#2489,#2501,#2526,#2538,#2563,
#2630,#2654,#2678,#2702,#2726,#2743,#2768,#2792,#2816,#2840,#2864,
#2881,#2900,#2912,#2924,#2936,#2948,#2960,#2972,#2996,#3020,#3044,
#3068,#3085,#3094,#3103,#3127,#3151,#3175,#3199,#3216,#3233,#3250,
#3267,#3284,#3301,#3318));
#17 = ADVANCED_FACE('',(#18,#284,#318,#368,#379,#429,#479,#529,#579,#613
),#624,.T.);
#18 = FACE_BOUND('',#19,.T.);
#19 = EDGE_LOOP('',(#20,#30,#38,#46,#54,#62,#70,#78,#86,#94,#102,#110,
#118,#126,#134,#142,#150,#158,#166,#174,#182,#190,#198,#206,#214,
#222,#230,#238,#246,#254,#262,#270,#278));
#20 = ORIENTED_EDGE('',*,*,#21,.F.);
#21 = EDGE_CURVE('',#22,#24,#26,.T.);
#22 = VERTEX_POINT('',#23);
#23 = CARTESIAN_POINT('',(8.,98.5,4.));
#24 = VERTEX_POINT('',#25);
#25 = CARTESIAN_POINT('',(8.,98.5,-39.65));
#26 = LINE('',#27,#28);
#27 = CARTESIAN_POINT('',(8.,98.5,4.));
#28 = VECTOR('',#29,1.);
#29 = DIRECTION('',(0.,-2.2E-16,-1.));
#30 = ORIENTED_EDGE('',*,*,#31,.T.);
#31 = EDGE_CURVE('',#22,#32,#34,.T.);
#32 = VERTEX_POINT('',#33);
#33 = CARTESIAN_POINT('',(8.,0.,4.));
#34 = LINE('',#35,#36);
#35 = CARTESIAN_POINT('',(8.,98.5,4.));
#36 = VECTOR('',#37,1.);
#37 = DIRECTION('',(0.,-1.,2.2E-16));
#38 = ORIENTED_EDGE('',*,*,#39,.F.);
#39 = EDGE_CURVE('',#40,#32,#42,.T.);
#40 = VERTEX_POINT('',#41);
#41 = CARTESIAN_POINT('',(8.,7.1E-14,-13.3));
#42 = LINE('',#43,#44);
#43 = CARTESIAN_POINT('',(8.,1.998E-14,-43.));
#44 = VECTOR('',#45,1.);
#45 = DIRECTION('',(0.,-4.4E-16,1.));
#46 = ORIENTED_EDGE('',*,*,#47,.T.);
#47 = EDGE_CURVE('',#40,#48,#50,.T.);
#48 = VERTEX_POINT('',#49);
#49 = CARTESIAN_POINT('',(8.,6.761480784024,-15.11173331571));
#50 = LINE('',#51,#52);
#51 = CARTESIAN_POINT('',(8.,7.105427357601E-14,-13.3));
#52 = VECTOR('',#53,1.);
#53 = DIRECTION('',(0.,0.965925826289,-0.258819045103));
#54 = ORIENTED_EDGE('',*,*,#55,.T.);
#55 = EDGE_CURVE('',#48,#56,#58,.T.);
#56 = VERTEX_POINT('',#57);
#57 = CARTESIAN_POINT('',(8.,6.761480784024,-24.11173331571));
#58 = LINE('',#59,#60);
#59 = CARTESIAN_POINT('',(8.,6.761480784024,-15.11173331571));
#60 = VECTOR('',#61,1.);
#61 = DIRECTION('',(0.,0.,-1.));
#62 = ORIENTED_EDGE('',*,*,#63,.T.);
#63 = EDGE_CURVE('',#56,#64,#66,.T.);
#64 = VERTEX_POINT('',#65);
#65 = CARTESIAN_POINT('',(8.,7.1E-14,-22.3));
#66 = LINE('',#67,#68);
#67 = CARTESIAN_POINT('',(8.,6.761480784024,-24.11173331571));
#68 = VECTOR('',#69,1.);
#69 = DIRECTION('',(0.,-0.965925826289,0.258819045103));
#70 = ORIENTED_EDGE('',*,*,#71,.F.);
#71 = EDGE_CURVE('',#72,#64,#74,.T.);
#72 = VERTEX_POINT('',#73);
#73 = CARTESIAN_POINT('',(8.,-1.4E-14,-39.65));
#74 = LINE('',#75,#76);
#75 = CARTESIAN_POINT('',(8.,1.998E-14,-43.));
#76 = VECTOR('',#77,1.);
#77 = DIRECTION('',(0.,-4.4E-16,1.));
#78 = ORIENTED_EDGE('',*,*,#79,.T.);
#79 = EDGE_CURVE('',#72,#80,#82,.T.);
#80 = VERTEX_POINT('',#81);
#81 = CARTESIAN_POINT('',(8.,-1.4E-14,-48.65));
#82 = LINE('',#83,#84);
#83 = CARTESIAN_POINT('',(8.,-1.42108547152E-14,-39.65));
#84 = VECTOR('',#85,1.);
#85 = DIRECTION('',(0.,0.,-1.));
#86 = ORIENTED_EDGE('',*,*,#87,.F.);
#87 = EDGE_CURVE('',#88,#80,#90,.T.);
#88 = VERTEX_POINT('',#89);
#89 = CARTESIAN_POINT('',(8.,2.5E-14,-55.));
#90 = LINE('',#91,#92);
#91 = CARTESIAN_POINT('',(8.,1.998E-14,-43.));
#92 = VECTOR('',#93,1.);
#93 = DIRECTION('',(0.,-4.4E-16,1.));
#94 = ORIENTED_EDGE('',*,*,#95,.F.);
#95 = EDGE_CURVE('',#96,#88,#98,.T.);
#96 = VERTEX_POINT('',#97);
#97 = CARTESIAN_POINT('',(8.,19.,-55.));
#98 = LINE('',#99,#100);
#99 = CARTESIAN_POINT('',(8.,19.,-55.));
#100 = VECTOR('',#101,1.);
#101 = DIRECTION('',(2.2E-16,-1.,2.2E-16));
#102 = ORIENTED_EDGE('',*,*,#103,.F.);
#103 = EDGE_CURVE('',#104,#96,#106,.T.);
#104 = VERTEX_POINT('',#105);
#105 = CARTESIAN_POINT('',(8.,19.,-68.));
#106 = LINE('',#107,#108);
#107 = CARTESIAN_POINT('',(8.,19.,-68.));
#108 = VECTOR('',#109,1.);
#109 = DIRECTION('',(2.2E-16,2.2E-16,1.));
#110 = ORIENTED_EDGE('',*,*,#111,.F.);
#111 = EDGE_CURVE('',#112,#104,#114,.T.);
#112 = VERTEX_POINT('',#113);
#113 = CARTESIAN_POINT('',(8.,2.8E-14,-68.));
#114 = LINE('',#115,#116);
#115 = CARTESIAN_POINT('',(8.,-19.,-68.));
#116 = VECTOR('',#117,1.);
#117 = DIRECTION('',(-2.2E-16,1.,-2.2E-16));
#118 = ORIENTED_EDGE('',*,*,#119,.F.);
#119 = EDGE_CURVE('',#120,#112,#122,.T.);
#120 = VERTEX_POINT('',#121);
#121 = CARTESIAN_POINT('',(8.,2.8E-14,-69.49999999997));
#122 = LINE('',#123,#124);
#123 = CARTESIAN_POINT('',(8.,1.998E-14,-43.));
#124 = VECTOR('',#125,1.);
#125 = DIRECTION('',(0.,-4.4E-16,1.));
#126 = ORIENTED_EDGE('',*,*,#127,.T.);
#127 = EDGE_CURVE('',#120,#128,#130,.T.);
#128 = VERTEX_POINT('',#129);
#129 = CARTESIAN_POINT('',(8.,10.5,-69.49999999997));
#130 = LINE('',#131,#132);
#131 = CARTESIAN_POINT('',(8.,54.5,-69.49999999997));
#132 = VECTOR('',#133,1.);
#133 = DIRECTION('',(0.,1.,-3.3E-16));
#134 = ORIENTED_EDGE('',*,*,#135,.T.);
#135 = EDGE_CURVE('',#128,#136,#138,.T.);
#136 = VERTEX_POINT('',#137);
#137 = CARTESIAN_POINT('',(8.,10.5,-88.99999999997));
#138 = LINE('',#139,#140);
#139 = CARTESIAN_POINT('',(8.,10.5,-42.49999999998));
#140 = VECTOR('',#141,1.);
#141 = DIRECTION('',(0.,-3.3E-16,-1.));
#142 = ORIENTED_EDGE('',*,*,#143,.T.);
#143 = EDGE_CURVE('',#136,#144,#146,.T.);
#144 = VERTEX_POINT('',#145);
#145 = CARTESIAN_POINT('',(8.,4.3E-14,-88.99999999997));
#146 = LINE('',#147,#148);
#147 = CARTESIAN_POINT('',(8.,47.25,-88.99999999997));
#148 = VECTOR('',#149,1.);
#149 = DIRECTION('',(0.,-1.,3.3E-16));
#150 = ORIENTED_EDGE('',*,*,#151,.F.);
#151 = EDGE_CURVE('',#152,#144,#154,.T.);
#152 = VERTEX_POINT('',#153);
#153 = CARTESIAN_POINT('',(8.,4.1E-14,-93.));
#154 = LINE('',#155,#156);
#155 = CARTESIAN_POINT('',(8.,1.998E-14,-43.));
#156 = VECTOR('',#157,1.);
#157 = DIRECTION('',(0.,-4.4E-16,1.));
#158 = ORIENTED_EDGE('',*,*,#159,.F.);
#159 = EDGE_CURVE('',#160,#152,#162,.T.);
#160 = VERTEX_POINT('',#161);
#161 = CARTESIAN_POINT('',(8.,4.3E-14,-96.));
#162 = LINE('',#163,#164);
#163 = CARTESIAN_POINT('',(8.,1.998E-14,-43.));
#164 = VECTOR('',#165,1.);
#165 = DIRECTION('',(0.,-4.4E-16,1.));
#166 = ORIENTED_EDGE('',*,*,#167,.T.);
#167 = EDGE_CURVE('',#160,#168,#170,.T.);
#168 = VERTEX_POINT('',#169);
#169 = CARTESIAN_POINT('',(8.,7.,-96.));
#170 = LINE('',#171,#172);
#171 = CARTESIAN_POINT('',(8.,-7.,-96.));
#172 = VECTOR('',#173,1.);
#173 = DIRECTION('',(-2.2E-16,1.,-2.2E-16));
#174 = ORIENTED_EDGE('',*,*,#175,.T.);
#175 = EDGE_CURVE('',#168,#176,#178,.T.);
#176 = VERTEX_POINT('',#177);
#177 = CARTESIAN_POINT('',(8.,7.,-103.));
#178 = LINE('',#179,#180);
#179 = CARTESIAN_POINT('',(8.,7.,-96.));
#180 = VECTOR('',#181,1.);
#181 = DIRECTION('',(-2.2E-16,-2.2E-16,-1.));
#182 = ORIENTED_EDGE('',*,*,#183,.T.);
#183 = EDGE_CURVE('',#176,#184,#186,.T.);
#184 = VERTEX_POINT('',#185);
#185 = CARTESIAN_POINT('',(8.,4.5E-14,-103.));
#186 = LINE('',#187,#188);
#187 = CARTESIAN_POINT('',(8.,7.,-103.));
#188 = VECTOR('',#189,1.);
#189 = DIRECTION('',(2.2E-16,-1.,2.2E-16));
#190 = ORIENTED_EDGE('',*,*,#191,.F.);
#191 = EDGE_CURVE('',#192,#184,#194,.T.);
#192 = VERTEX_POINT('',#193);
#193 = CARTESIAN_POINT('',(8.,5.2E-14,-117.));
#194 = LINE('',#195,#196);
#195 = CARTESIAN_POINT('',(8.,1.998E-14,-43.));
#196 = VECTOR('',#197,1.);
#197 = DIRECTION('',(0.,-4.4E-16,1.));
#198 = ORIENTED_EDGE('',*,*,#199,.F.);
#199 = EDGE_CURVE('',#200,#192,#202,.T.);
#200 = VERTEX_POINT('',#201);
#201 = CARTESIAN_POINT('',(8.,5.4E-14,-123.));
#202 = LINE('',#203,#204);
#203 = CARTESIAN_POINT('',(8.,1.998E-14,-43.));
#204 = VECTOR('',#205,1.);
#205 = DIRECTION('',(0.,-4.4E-16,1.));
#206 = ORIENTED_EDGE('',*,*,#207,.F.);
#207 = EDGE_CURVE('',#208,#200,#210,.T.);
#208 = VERTEX_POINT('',#209);
#209 = CARTESIAN_POINT('',(8.,5.7E-14,-126.));
#210 = LINE('',#211,#212);
#211 = CARTESIAN_POINT('',(8.,1.998E-14,-43.));
#212 = VECTOR('',#213,1.);
#213 = DIRECTION('',(0.,-4.4E-16,1.));
#214 = ORIENTED_EDGE('',*,*,#215,.F.);
#215 = EDGE_CURVE('',#216,#208,#218,.T.);
#216 = VERTEX_POINT('',#217);
#217 = CARTESIAN_POINT('',(8.,98.5,-126.));
#218 = LINE('',#219,#220);
#219 = CARTESIAN_POINT('',(8.,98.5,-126.));
#220 = VECTOR('',#221,1.);
#221 = DIRECTION('',(0.,-1.,2.2E-16));
#222 = ORIENTED_EDGE('',*,*,#223,.F.);
#223 = EDGE_CURVE('',#224,#216,#226,.T.);
#224 = VERTEX_POINT('',#225);
#225 = CARTESIAN_POINT('',(8.,98.5,-103.));
#226 = LINE('',#227,#228);
#227 = CARTESIAN_POINT('',(8.,98.5,4.));
#228 = VECTOR('',#229,1.);
#229 = DIRECTION('',(0.,-2.2E-16,-1.));
#230 = ORIENTED_EDGE('',*,*,#231,.F.);
#231 = EDGE_CURVE('',#232,#224,#234,.T.);
#232 = VERTEX_POINT('',#233);
#233 = CARTESIAN_POINT('',(8.,91.5,-103.));
#234 = LINE('',#235,#236);
#235 = CARTESIAN_POINT('',(8.,91.5,-103.));
#236 = VECTOR('',#237,1.);
#237 = DIRECTION('',(-2.2E-16,1.,-2.2E-16));
#238 = ORIENTED_EDGE('',*,*,#239,.F.);
#239 = EDGE_CURVE('',#240,#232,#242,.T.);
#240 = VERTEX_POINT('',#241);
#241 = CARTESIAN_POINT('',(8.,91.5,-96.));
#242 = LINE('',#243,#244);
#243 = CARTESIAN_POINT('',(8.,91.5,-96.));
#244 = VECTOR('',#245,1.);
#245 = DIRECTION('',(-2.2E-16,-2.2E-16,-1.));
#246 = ORIENTED_EDGE('',*,*,#247,.F.);
#247 = EDGE_CURVE('',#248,#240,#250,.T.);
#248 = VERTEX_POINT('',#249);
#249 = CARTESIAN_POINT('',(8.,98.5,-96.));
#250 = LINE('',#251,#252);
#251 = CARTESIAN_POINT('',(8.,98.5,-96.));
#252 = VECTOR('',#253,1.);
#253 = DIRECTION('',(2.2E-16,-1.,2.2E-16));
#254 = ORIENTED_EDGE('',*,*,#255,.F.);
#255 = EDGE_CURVE('',#256,#248,#258,.T.);
#256 = VERTEX_POINT('',#257);
#257 = CARTESIAN_POINT('',(8.,98.5,-48.65));
#258 = LINE('',#259,#260);
#259 = CARTESIAN_POINT('',(8.,98.5,4.));
#260 = VECTOR('',#261,1.);
#261 = DIRECTION('',(0.,-2.2E-16,-1.));
#262 = ORIENTED_EDGE('',*,*,#263,.T.);
#263 = EDGE_CURVE('',#256,#264,#266,.T.);
#264 = VERTEX_POINT('',#265);
#265 = CARTESIAN_POINT('',(8.,91.738519215977,-46.83826668428));
#266 = LINE('',#267,#268);
#267 = CARTESIAN_POINT('',(8.,98.5,-48.65));
#268 = VECTOR('',#269,1.);
#269 = DIRECTION('',(0.,-0.965925826289,0.258819045103));
#270 = ORIENTED_EDGE('',*,*,#271,.T.);
#271 = EDGE_CURVE('',#264,#272,#274,.T.);
#272 = VERTEX_POINT('',#273);
#273 = CARTESIAN_POINT('',(8.,91.738519215977,-37.83826668428));
#274 = LINE('',#275,#276);
#275 = CARTESIAN_POINT('',(8.,91.738519215977,-46.83826668428));
#276 = VECTOR('',#277,1.);
#277 = DIRECTION('',(0.,0.,1.));
#278 = ORIENTED_EDGE('',*,*,#279,.T.);
#279 = EDGE_CURVE('',#272,#24,#280,.T.);
#280 = LINE('',#281,#282);
#281 = CARTESIAN_POINT('',(8.,91.738519215977,-37.83826668428));
#282 = VECTOR('',#283,1.);
#283 = DIRECTION('',(0.,0.965925826289,-0.258819045103));
#284 = FACE_BOUND('',#285,.T.);
#285 = EDGE_LOOP('',(#286,#296,#304,#312));
#286 = ORIENTED_EDGE('',*,*,#287,.T.);
#287 = EDGE_CURVE('',#288,#290,#292,.T.);
#288 = VERTEX_POINT('',#289);
#289 = CARTESIAN_POINT('',(8.,32.5,-88.99999999997));
#290 = VERTEX_POINT('',#291);
#291 = CARTESIAN_POINT('',(8.,18.,-88.99999999997));
#292 = LINE('',#293,#294);
#293 = CARTESIAN_POINT('',(8.,58.25,-88.99999999997));
#294 = VECTOR('',#295,1.);
#295 = DIRECTION('',(0.,-1.,3.3E-16));
#296 = ORIENTED_EDGE('',*,*,#297,.T.);
#297 = EDGE_CURVE('',#290,#298,#300,.T.);
#298 = VERTEX_POINT('',#299);
#299 = CARTESIAN_POINT('',(8.,18.,-69.49999999997));
#300 = LINE('',#301,#302);
#301 = CARTESIAN_POINT('',(8.,18.,-32.74999999998));
#302 = VECTOR('',#303,1.);
#303 = DIRECTION('',(0.,3.3E-16,1.));
#304 = ORIENTED_EDGE('',*,*,#305,.T.);
#305 = EDGE_CURVE('',#298,#306,#308,.T.);
#306 = VERTEX_POINT('',#307);
#307 = CARTESIAN_POINT('',(8.,32.5,-69.49999999997));
#308 = LINE('',#309,#310);
#309 = CARTESIAN_POINT('',(8.,65.5,-69.49999999997));
#310 = VECTOR('',#311,1.);
#311 = DIRECTION('',(0.,1.,-3.3E-16));
#312 = ORIENTED_EDGE('',*,*,#313,.T.);
#313 = EDGE_CURVE('',#306,#288,#314,.T.);
#314 = LINE('',#315,#316);
#315 = CARTESIAN_POINT('',(8.,32.5,-42.49999999998));
#316 = VECTOR('',#317,1.);
#317 = DIRECTION('',(0.,-3.3E-16,-1.));
#318 = FACE_BOUND('',#319,.T.);
#319 = EDGE_LOOP('',(#320,#330,#338,#346,#354,#362));
#320 = ORIENTED_EDGE('',*,*,#321,.F.);
#321 = EDGE_CURVE('',#322,#324,#326,.T.);
#322 = VERTEX_POINT('',#323);
#323 = CARTESIAN_POINT('',(8.,7.,-118.9999999999));
#324 = VERTEX_POINT('',#325);
#325 = CARTESIAN_POINT('',(8.,7.,-119.9999999999));
#326 = LINE('',#327,#328);
#327 = CARTESIAN_POINT('',(8.,7.,-57.49999999999));
#328 = VECTOR('',#329,1.);
#329 = DIRECTION('',(0.,-4.4E-16,-1.));
#330 = ORIENTED_EDGE('',*,*,#331,.F.);
#331 = EDGE_CURVE('',#332,#322,#334,.T.);
#332 = VERTEX_POINT('',#333);
#333 = CARTESIAN_POINT('',(8.,7.,-108.9999999999));
#334 = LINE('',#335,#336);
#335 = CARTESIAN_POINT('',(8.,7.,-57.49999999999));
#336 = VECTOR('',#337,1.);
#337 = DIRECTION('',(0.,-3.3E-16,-1.));
#338 = ORIENTED_EDGE('',*,*,#339,.F.);
#339 = EDGE_CURVE('',#340,#332,#342,.T.);
#340 = VERTEX_POINT('',#341);
#341 = CARTESIAN_POINT('',(8.,17.,-108.9999999999));
#342 = LINE('',#343,#344);
#343 = CARTESIAN_POINT('',(8.,52.75,-108.9999999999));
#344 = VECTOR('',#345,1.);
#345 = DIRECTION('',(0.,-1.,3.3E-16));
#346 = ORIENTED_EDGE('',*,*,#347,.F.);
#347 = EDGE_CURVE('',#348,#340,#350,.T.);
#348 = VERTEX_POINT('',#349);
#349 = CARTESIAN_POINT('',(8.,17.,-118.9999999999));
#350 = LINE('',#351,#352);
#351 = CARTESIAN_POINT('',(8.,17.,-52.49999999998));
#352 = VECTOR('',#353,1.);
#353 = DIRECTION('',(0.,3.3E-16,1.));
#354 = ORIENTED_EDGE('',*,*,#355,.T.);
#355 = EDGE_CURVE('',#348,#356,#358,.T.);
#356 = VERTEX_POINT('',#357);
#357 = CARTESIAN_POINT('',(8.,17.,-119.9999999999));
#358 = LINE('',#359,#360);
#359 = CARTESIAN_POINT('',(8.,17.,-52.49999999998));
#360 = VECTOR('',#361,1.);
#361 = DIRECTION('',(0.,-4.4E-16,-1.));
#362 = ORIENTED_EDGE('',*,*,#363,.F.);
#363 = EDGE_CURVE('',#324,#356,#364,.T.);
#364 = LINE('',#365,#366);
#365 = CARTESIAN_POINT('',(8.,7.,-119.9999999999));
#366 = VECTOR('',#367,1.);
#367 = DIRECTION('',(0.,1.,-4.4E-16));
#368 = FACE_BOUND('',#369,.T.);
#369 = EDGE_LOOP('',(#370));
#370 = ORIENTED_EDGE('',*,*,#371,.T.);
#371 = EDGE_CURVE('',#372,#372,#374,.T.);
#372 = VERTEX_POINT('',#373);
#373 = CARTESIAN_POINT('',(8.,3.5,-121.885));
#374 = CIRCLE('',#375,1.385);
#375 = AXIS2_PLACEMENT_3D('',#376,#377,#378);
#376 = CARTESIAN_POINT('',(8.,3.5,-120.5));
#377 = DIRECTION('',(-1.,0.,-2.2E-16));
#378 = DIRECTION('',(2.2E-16,-3.3E-16,-1.));
#379 = FACE_BOUND('',#380,.T.);
#380 = EDGE_LOOP('',(#381,#391,#399,#407,#415,#423));
#381 = ORIENTED_EDGE('',*,*,#382,.F.);
#382 = EDGE_CURVE('',#383,#385,#387,.T.);
#383 = VERTEX_POINT('',#384);
#384 = CARTESIAN_POINT('',(8.,20.,-118.9999999999));
#385 = VERTEX_POINT('',#386);
#386 = CARTESIAN_POINT('',(8.,20.,-119.9999999999));
#387 = LINE('',#388,#389);
#388 = CARTESIAN_POINT('',(8.,20.,-57.49999999999));
#389 = VECTOR('',#390,1.);
#390 = DIRECTION('',(0.,-4.4E-16,-1.));
#391 = ORIENTED_EDGE('',*,*,#392,.F.);
#392 = EDGE_CURVE('',#393,#383,#395,.T.);
#393 = VERTEX_POINT('',#394);
#394 = CARTESIAN_POINT('',(8.,20.,-108.9999999999));
#395 = LINE('',#396,#397);
#396 = CARTESIAN_POINT('',(8.,20.,-57.49999999999));
#397 = VECTOR('',#398,1.);
#398 = DIRECTION('',(0.,-3.3E-16,-1.));
#399 = ORIENTED_EDGE('',*,*,#400,.F.);
#400 = EDGE_CURVE('',#401,#393,#403,.T.);
#401 = VERTEX_POINT('',#402);
#402 = CARTESIAN_POINT('',(8.,30.,-108.9999999999));
#403 = LINE('',#404,#405);
#404 = CARTESIAN_POINT('',(8.,59.25,-108.9999999999));
#405 = VECTOR('',#406,1.);
#406 = DIRECTION('',(0.,-1.,3.3E-16));
#407 = ORIENTED_EDGE('',*,*,#408,.F.);
#408 = EDGE_CURVE('',#409,#401,#411,.T.);
#409 = VERTEX_POINT('',#410);
#410 = CARTESIAN_POINT('',(8.,30.,-118.9999999999));
#411 = LINE('',#412,#413);
#412 = CARTESIAN_POINT('',(8.,30.,-52.49999999998));
#413 = VECTOR('',#414,1.);
#414 = DIRECTION('',(0.,3.3E-16,1.));
#415 = ORIENTED_EDGE('',*,*,#416,.T.);
#416 = EDGE_CURVE('',#409,#417,#419,.T.);
#417 = VERTEX_POINT('',#418);
#418 = CARTESIAN_POINT('',(8.,30.,-119.9999999999));
#419 = LINE('',#420,#421);
#420 = CARTESIAN_POINT('',(8.,30.,-52.49999999998));
#421 = VECTOR('',#422,1.);
#422 = DIRECTION('',(0.,-4.4E-16,-1.));
#423 = ORIENTED_EDGE('',*,*,#424,.F.);
#424 = EDGE_CURVE('',#385,#417,#425,.T.);
#425 = LINE('',#426,#427);
#426 = CARTESIAN_POINT('',(8.,20.,-119.9999999999));
#427 = VECTOR('',#428,1.);
#428 = DIRECTION('',(0.,1.,-4.4E-16));
#429 = FACE_BOUND('',#430,.T.);
#430 = EDGE_LOOP('',(#431,#441,#449,#457,#465,#473));
#431 = ORIENTED_EDGE('',*,*,#432,.F.);
#432 = EDGE_CURVE('',#433,#435,#437,.T.);
#433 = VERTEX_POINT('',#434);
#434 = CARTESIAN_POINT('',(8.,33.,-119.));
#435 = VERTEX_POINT('',#436);
#436 = CARTESIAN_POINT('',(8.,33.,-120.));
#437 = LINE('',#438,#439);
#438 = CARTESIAN_POINT('',(8.,33.,-57.5));
#439 = VECTOR('',#440,1.);
#440 = DIRECTION('',(0.,-4.4E-16,-1.));
#441 = ORIENTED_EDGE('',*,*,#442,.F.);
#442 = EDGE_CURVE('',#443,#433,#445,.T.);
#443 = VERTEX_POINT('',#444);
#444 = CARTESIAN_POINT('',(8.,33.,-108.9999999999));
#445 = LINE('',#446,#447);
#446 = CARTESIAN_POINT('',(8.,33.,-57.5));
#447 = VECTOR('',#448,1.);
#448 = DIRECTION('',(0.,-3.3E-16,-1.));
#449 = ORIENTED_EDGE('',*,*,#450,.F.);
#450 = EDGE_CURVE('',#451,#443,#453,.T.);
#451 = VERTEX_POINT('',#452);
#452 = CARTESIAN_POINT('',(8.,43.,-108.9999999999));
#453 = LINE('',#454,#455);
#454 = CARTESIAN_POINT('',(8.,65.75,-108.9999999999));
#455 = VECTOR('',#456,1.);
#456 = DIRECTION('',(0.,-1.,3.3E-16));
#457 = ORIENTED_EDGE('',*,*,#458,.F.);
#458 = EDGE_CURVE('',#459,#451,#461,.T.);
#459 = VERTEX_POINT('',#460);
#460 = CARTESIAN_POINT('',(8.,43.,-119.));
#461 = LINE('',#462,#463);
#462 = CARTESIAN_POINT('',(8.,43.,-52.49999999998));
#463 = VECTOR('',#464,1.);
#464 = DIRECTION('',(0.,3.3E-16,1.));
#465 = ORIENTED_EDGE('',*,*,#466,.T.);
#466 = EDGE_CURVE('',#459,#467,#469,.T.);
#467 = VERTEX_POINT('',#468);
#468 = CARTESIAN_POINT('',(8.,43.,-120.));
#469 = LINE('',#470,#471);
#470 = CARTESIAN_POINT('',(8.,43.,-52.49999999998));
#471 = VECTOR('',#472,1.);
#472 = DIRECTION('',(0.,-4.4E-16,-1.));
#473 = ORIENTED_EDGE('',*,*,#474,.F.);
#474 = EDGE_CURVE('',#435,#467,#475,.T.);
#475 = LINE('',#476,#477);
#476 = CARTESIAN_POINT('',(8.,33.,-120.));
#477 = VECTOR('',#478,1.);
#478 = DIRECTION('',(0.,1.,-4.4E-16));
#479 = FACE_BOUND('',#480,.T.);
#480 = EDGE_LOOP('',(#481,#491,#499,#507,#515,#523));
#481 = ORIENTED_EDGE('',*,*,#482,.F.);
#482 = EDGE_CURVE('',#483,#485,#487,.T.);
#483 = VERTEX_POINT('',#484);
#484 = CARTESIAN_POINT('',(8.,46.,-119.));
#485 = VERTEX_POINT('',#486);
#486 = CARTESIAN_POINT('',(8.,46.,-120.));
#487 = LINE('',#488,#489);
#488 = CARTESIAN_POINT('',(8.,46.,-57.5));
#489 = VECTOR('',#490,1.);
#490 = DIRECTION('',(0.,-4.4E-16,-1.));
#491 = ORIENTED_EDGE('',*,*,#492,.F.);
#492 = EDGE_CURVE('',#493,#483,#495,.T.);
#493 = VERTEX_POINT('',#494);
#494 = CARTESIAN_POINT('',(8.,46.,-108.9999999999));
#495 = LINE('',#496,#497);
#496 = CARTESIAN_POINT('',(8.,46.,-57.5));
#497 = VECTOR('',#498,1.);
#498 = DIRECTION('',(0.,-3.3E-16,-1.));
#499 = ORIENTED_EDGE('',*,*,#500,.F.);
#500 = EDGE_CURVE('',#501,#493,#503,.T.);
#501 = VERTEX_POINT('',#502);
#502 = CARTESIAN_POINT('',(8.,56.,-108.9999999999));
#503 = LINE('',#504,#505);
#504 = CARTESIAN_POINT('',(8.,72.25,-108.9999999999));
#505 = VECTOR('',#506,1.);
#506 = DIRECTION('',(0.,-1.,3.3E-16));
#507 = ORIENTED_EDGE('',*,*,#508,.F.);
#508 = EDGE_CURVE('',#509,#501,#511,.T.);
#509 = VERTEX_POINT('',#510);
#510 = CARTESIAN_POINT('',(8.,56.,-119.));
#511 = LINE('',#512,#513);
#512 = CARTESIAN_POINT('',(8.,56.,-52.49999999998));
#513 = VECTOR('',#514,1.);
#514 = DIRECTION('',(0.,3.3E-16,1.));
#515 = ORIENTED_EDGE('',*,*,#516,.T.);
#516 = EDGE_CURVE('',#509,#517,#519,.T.);
#517 = VERTEX_POINT('',#518);
#518 = CARTESIAN_POINT('',(8.,56.,-120.));
#519 = LINE('',#520,#521);
#520 = CARTESIAN_POINT('',(8.,56.,-52.49999999998));
#521 = VECTOR('',#522,1.);
#522 = DIRECTION('',(0.,-4.4E-16,-1.));
#523 = ORIENTED_EDGE('',*,*,#524,.F.);
#524 = EDGE_CURVE('',#485,#517,#525,.T.);
#525 = LINE('',#526,#527);
#526 = CARTESIAN_POINT('',(8.,46.,-120.));
#527 = VECTOR('',#528,1.);
#528 = DIRECTION('',(0.,1.,-4.4E-16));
#529 = FACE_BOUND('',#530,.T.);
#530 = EDGE_LOOP('',(#531,#541,#549,#557,#565,#573));
#531 = ORIENTED_EDGE('',*,*,#532,.F.);
#532 = EDGE_CURVE('',#533,#535,#537,.T.);
#533 = VERTEX_POINT('',#534);
#534 = CARTESIAN_POINT('',(8.,59.,-119.));
#535 = VERTEX_POINT('',#536);
#536 = CARTESIAN_POINT('',(8.,59.,-120.));
#537 = LINE('',#538,#539);
#538 = CARTESIAN_POINT('',(8.,59.,-57.5));
#539 = VECTOR('',#540,1.);
#540 = DIRECTION('',(0.,-4.4E-16,-1.));
#541 = ORIENTED_EDGE('',*,*,#542,.F.);
#542 = EDGE_CURVE('',#543,#533,#545,.T.);
#543 = VERTEX_POINT('',#544);
#544 = CARTESIAN_POINT('',(8.,59.,-108.9999999999));
#545 = LINE('',#546,#547);
#546 = CARTESIAN_POINT('',(8.,59.,-57.5));
#547 = VECTOR('',#548,1.);
#548 = DIRECTION('',(0.,-3.3E-16,-1.));
#549 = ORIENTED_EDGE('',*,*,#550,.F.);
#550 = EDGE_CURVE('',#551,#543,#553,.T.);
#551 = VERTEX_POINT('',#552);
#552 = CARTESIAN_POINT('',(8.,69.,-108.9999999999));
#553 = LINE('',#554,#555);
#554 = CARTESIAN_POINT('',(8.,78.75,-108.9999999999));
#555 = VECTOR('',#556,1.);
#556 = DIRECTION('',(0.,-1.,3.3E-16));
#557 = ORIENTED_EDGE('',*,*,#558,.F.);
#558 = EDGE_CURVE('',#559,#551,#561,.T.);
#559 = VERTEX_POINT('',#560);
#560 = CARTESIAN_POINT('',(8.,69.,-119.));
#561 = LINE('',#562,#563);
#562 = CARTESIAN_POINT('',(8.,69.,-52.49999999998));
#563 = VECTOR('',#564,1.);
#564 = DIRECTION('',(0.,3.3E-16,1.));
#565 = ORIENTED_EDGE('',*,*,#566,.T.);
#566 = EDGE_CURVE('',#559,#567,#569,.T.);
#567 = VERTEX_POINT('',#568);
#568 = CARTESIAN_POINT('',(8.,69.,-120.));
#569 = LINE('',#570,#571);
#570 = CARTESIAN_POINT('',(8.,69.,-52.49999999998));
#571 = VECTOR('',#572,1.);
#572 = DIRECTION('',(0.,-4.4E-16,-1.));
#573 = ORIENTED_EDGE('',*,*,#574,.F.);
#574 = EDGE_CURVE('',#535,#567,#575,.T.);
#575 = LINE('',#576,#577);
#576 = CARTESIAN_POINT('',(8.,59.,-120.));
#577 = VECTOR('',#578,1.);
#578 = DIRECTION('',(0.,1.,-4.4E-16));
#579 = FACE_BOUND('',#580,.T.);
#580 = EDGE_LOOP('',(#581,#591,#599,#607));
#581 = ORIENTED_EDGE('',*,*,#582,.T.);
#582 = EDGE_CURVE('',#583,#585,#587,.T.);
#583 = VERTEX_POINT('',#584);
#584 = CARTESIAN_POINT('',(8.,82.,-119.));
#585 = VERTEX_POINT('',#586);
#586 = CARTESIAN_POINT('',(8.,72.,-119.));
#587 = LINE('',#588,#589);
#588 = CARTESIAN_POINT('',(8.,85.25,-119.));
#589 = VECTOR('',#590,1.);
#590 = DIRECTION('',(0.,-1.,3.3E-16));
#591 = ORIENTED_EDGE('',*,*,#592,.T.);
#592 = EDGE_CURVE('',#585,#593,#595,.T.);
#593 = VERTEX_POINT('',#594);
#594 = CARTESIAN_POINT('',(8.,72.,-99.));
#595 = LINE('',#596,#597);
#596 = CARTESIAN_POINT('',(8.,72.,-47.5));
#597 = VECTOR('',#598,1.);
#598 = DIRECTION('',(0.,3.3E-16,1.));
#599 = ORIENTED_EDGE('',*,*,#600,.T.);
#600 = EDGE_CURVE('',#593,#601,#603,.T.);
#601 = VERTEX_POINT('',#602);
#602 = CARTESIAN_POINT('',(8.,82.,-99.));
#603 = LINE('',#604,#605);
#604 = CARTESIAN_POINT('',(8.,90.25,-99.));
#605 = VECTOR('',#606,1.);
#606 = DIRECTION('',(0.,1.,-3.3E-16));
#607 = ORIENTED_EDGE('',*,*,#608,.T.);
#608 = EDGE_CURVE('',#601,#583,#609,.T.);
#609 = LINE('',#610,#611);
#610 = CARTESIAN_POINT('',(8.,82.,-57.5));
#611 = VECTOR('',#612,1.);
#612 = DIRECTION('',(0.,-3.3E-16,-1.));
#613 = FACE_BOUND('',#614,.T.);
#614 = EDGE_LOOP('',(#615));
#615 = ORIENTED_EDGE('',*,*,#616,.T.);
#616 = EDGE_CURVE('',#617,#617,#619,.T.);
#617 = VERTEX_POINT('',#618);
#618 = CARTESIAN_POINT('',(8.,95.,-121.885));
#619 = CIRCLE('',#620,1.385);
#620 = AXIS2_PLACEMENT_3D('',#621,#622,#623);
#621 = CARTESIAN_POINT('',(8.,95.,-120.5));
#622 = DIRECTION('',(-1.,0.,-2.2E-16));
#623 = DIRECTION('',(2.2E-16,-3.3E-16,-1.));
#624 = PLANE('',#625);
#625 = AXIS2_PLACEMENT_3D('',#626,#627,#628);
#626 = CARTESIAN_POINT('',(8.,98.5,4.));
#627 = DIRECTION('',(1.,0.,0.));
#628 = DIRECTION('',(0.,-2.2E-16,-1.));
#629 = ADVANCED_FACE('',(#630),#669,.T.);
#630 = FACE_BOUND('',#631,.T.);
#631 = EDGE_LOOP('',(#632,#640,#648,#654,#655,#661,#662,#668));
#632 = ORIENTED_EDGE('',*,*,#633,.T.);
#633 = EDGE_CURVE('',#216,#634,#636,.T.);
#634 = VERTEX_POINT('',#635);
#635 = CARTESIAN_POINT('',(6.,98.5,-126.));
#636 = LINE('',#637,#638);
#637 = CARTESIAN_POINT('',(8.,98.5,-126.));
#638 = VECTOR('',#639,1.);
#639 = DIRECTION('',(-1.,0.,0.));
#640 = ORIENTED_EDGE('',*,*,#641,.T.);
#641 = EDGE_CURVE('',#634,#642,#644,.T.);
#642 = VERTEX_POINT('',#643);
#643 = CARTESIAN_POINT('',(6.,98.5,4.));
#644 = LINE('',#645,#646);
#645 = CARTESIAN_POINT('',(6.,98.5,-126.));
#646 = VECTOR('',#647,1.);
#647 = DIRECTION('',(0.,2.2E-16,1.));
#648 = ORIENTED_EDGE('',*,*,#649,.T.);
#649 = EDGE_CURVE('',#642,#22,#650,.T.);
#650 = LINE('',#651,#652);
#651 = CARTESIAN_POINT('',(6.,98.5,4.));
#652 = VECTOR('',#653,1.);
#653 = DIRECTION('',(1.,0.,0.));
#654 = ORIENTED_EDGE('',*,*,#21,.T.);
#655 = ORIENTED_EDGE('',*,*,#656,.T.);
#656 = EDGE_CURVE('',#24,#256,#657,.T.);
#657 = LINE('',#658,#659);
#658 = CARTESIAN_POINT('',(8.,98.5,-39.65));
#659 = VECTOR('',#660,1.);
#660 = DIRECTION('',(0.,0.,-1.));
#661 = ORIENTED_EDGE('',*,*,#255,.T.);
#662 = ORIENTED_EDGE('',*,*,#663,.F.);
#663 = EDGE_CURVE('',#224,#248,#664,.T.);
#664 = LINE('',#665,#666);
#665 = CARTESIAN_POINT('',(8.,98.5,-103.));
#666 = VECTOR('',#667,1.);
#667 = DIRECTION('',(2.2E-16,2.2E-16,1.));
#668 = ORIENTED_EDGE('',*,*,#223,.T.);
#669 = PLANE('',#670);
#670 = AXIS2_PLACEMENT_3D('',#671,#672,#673);
#671 = CARTESIAN_POINT('',(7.,98.5,-61.));
#672 = DIRECTION('',(0.,1.,0.));
#673 = DIRECTION('',(0.,-0.,1.));
#674 = ADVANCED_FACE('',(#675,#700),#711,.T.);
#675 = FACE_BOUND('',#676,.T.);
#676 = EDGE_LOOP('',(#677,#685,#693,#699));
#677 = ORIENTED_EDGE('',*,*,#678,.T.);
#678 = EDGE_CURVE('',#272,#679,#681,.T.);
#679 = VERTEX_POINT('',#680);
#680 = CARTESIAN_POINT('',(19.5,91.738519215977,-37.83826668428));
#681 = LINE('',#682,#683);
#682 = CARTESIAN_POINT('',(8.,91.738519215977,-37.83826668428));
#683 = VECTOR('',#684,1.);
#684 = DIRECTION('',(1.,0.,0.));
#685 = ORIENTED_EDGE('',*,*,#686,.T.);
#686 = EDGE_CURVE('',#679,#687,#689,.T.);
#687 = VERTEX_POINT('',#688);
#688 = CARTESIAN_POINT('',(19.5,98.5,-39.65));
#689 = LINE('',#690,#691);
#690 = CARTESIAN_POINT('',(19.5,91.738519215977,-37.83826668428));
#691 = VECTOR('',#692,1.);
#692 = DIRECTION('',(0.,0.965925826289,-0.258819045103));
#693 = ORIENTED_EDGE('',*,*,#694,.F.);
#694 = EDGE_CURVE('',#24,#687,#695,.T.);
#695 = LINE('',#696,#697);
#696 = CARTESIAN_POINT('',(8.,98.5,-39.65));
#697 = VECTOR('',#698,1.);
#698 = DIRECTION('',(1.,0.,0.));
#699 = ORIENTED_EDGE('',*,*,#279,.F.);
#700 = FACE_BOUND('',#701,.T.);
#701 = EDGE_LOOP('',(#702));
#702 = ORIENTED_EDGE('',*,*,#703,.F.);
#703 = EDGE_CURVE('',#704,#704,#706,.T.);
#704 = VERTEX_POINT('',#705);
#705 = CARTESIAN_POINT('',(17.485,94.973428516484,-38.70505801894));
#706 = CIRCLE('',#707,1.385);
#707 = AXIS2_PLACEMENT_3D('',#708,#709,#710);
#708 = CARTESIAN_POINT('',(16.1,94.973428516484,-38.70505801894));
#709 = DIRECTION('',(-0.,0.258819045103,0.965925826289));
#710 = DIRECTION('',(1.,0.,0.));
#711 = PLANE('',#712);
#712 = AXIS2_PLACEMENT_3D('',#713,#714,#715);
#713 = CARTESIAN_POINT('',(8.,91.738519215977,-37.83826668428));
#714 = DIRECTION('',(0.,0.258819045103,0.965925826289));
#715 = DIRECTION('',(0.,0.965925826289,-0.258819045103));
#716 = ADVANCED_FACE('',(#717),#752,.T.);
#717 = FACE_BOUND('',#718,.T.);
#718 = EDGE_LOOP('',(#719,#720,#728,#737,#745,#751));
#719 = ORIENTED_EDGE('',*,*,#271,.F.);
#720 = ORIENTED_EDGE('',*,*,#721,.T.);
#721 = EDGE_CURVE('',#264,#722,#724,.T.);
#722 = VERTEX_POINT('',#723);
#723 = CARTESIAN_POINT('',(15.162699366916,91.738519215977,
-46.83826668428));
#724 = LINE('',#725,#726);
#725 = CARTESIAN_POINT('',(8.,91.738519215977,-46.83826668428));
#726 = VECTOR('',#727,1.);
#727 = DIRECTION('',(1.,0.,0.));
#728 = ORIENTED_EDGE('',*,*,#729,.F.);
#729 = EDGE_CURVE('',#730,#722,#732,.T.);
#730 = VERTEX_POINT('',#731);
#731 = CARTESIAN_POINT('',(17.037300633084,91.738519215977,
-46.83826668428));
#732 = ELLIPSE('',#733,5.351229077641,1.385);
#733 = AXIS2_PLACEMENT_3D('',#734,#735,#736);
#734 = CARTESIAN_POINT('',(16.1,91.738519215977,-50.77790388631));
#735 = DIRECTION('',(0.,-1.,0.));
#736 = DIRECTION('',(0.,0.,1.));
#737 = ORIENTED_EDGE('',*,*,#738,.T.);
#738 = EDGE_CURVE('',#730,#739,#741,.T.);
#739 = VERTEX_POINT('',#740);
#740 = CARTESIAN_POINT('',(19.5,91.738519215977,-46.83826668428));
#741 = LINE('',#742,#743);
#742 = CARTESIAN_POINT('',(8.,91.738519215977,-46.83826668428));
#743 = VECTOR('',#744,1.);
#744 = DIRECTION('',(1.,0.,0.));
#745 = ORIENTED_EDGE('',*,*,#746,.T.);
#746 = EDGE_CURVE('',#739,#679,#747,.T.);
#747 = LINE('',#748,#749);
#748 = CARTESIAN_POINT('',(19.5,91.738519215977,-46.83826668428));
#749 = VECTOR('',#750,1.);
#750 = DIRECTION('',(0.,0.,1.));
#751 = ORIENTED_EDGE('',*,*,#678,.F.);
#752 = PLANE('',#753);
#753 = AXIS2_PLACEMENT_3D('',#754,#755,#756);
#754 = CARTESIAN_POINT('',(8.,91.738519215977,-46.83826668428));
#755 = DIRECTION('',(0.,-1.,0.));
#756 = DIRECTION('',(0.,0.,1.));
#757 = ADVANCED_FACE('',(#758),#793,.T.);
#758 = FACE_BOUND('',#759,.T.);
#759 = EDGE_LOOP('',(#760,#761,#769,#775,#776,#785,#792));
#760 = ORIENTED_EDGE('',*,*,#263,.F.);
#761 = ORIENTED_EDGE('',*,*,#762,.T.);
#762 = EDGE_CURVE('',#256,#763,#765,.T.);
#763 = VERTEX_POINT('',#764);
#764 = CARTESIAN_POINT('',(19.5,98.5,-48.65));
#765 = LINE('',#766,#767);
#766 = CARTESIAN_POINT('',(8.,98.5,-48.65));
#767 = VECTOR('',#768,1.);
#768 = DIRECTION('',(1.,0.,0.));
#769 = ORIENTED_EDGE('',*,*,#770,.T.);
#770 = EDGE_CURVE('',#763,#739,#771,.T.);
#771 = LINE('',#772,#773);
#772 = CARTESIAN_POINT('',(19.5,98.5,-48.65));
#773 = VECTOR('',#774,1.);
#774 = DIRECTION('',(0.,-0.965925826289,0.258819045103));
#775 = ORIENTED_EDGE('',*,*,#738,.F.);
#776 = ORIENTED_EDGE('',*,*,#777,.T.);
#777 = EDGE_CURVE('',#730,#778,#780,.T.);
#778 = VERTEX_POINT('',#779);
#779 = CARTESIAN_POINT('',(17.485,92.723428516484,-47.10217233597));
#780 = CIRCLE('',#781,1.385);
#781 = AXIS2_PLACEMENT_3D('',#782,#783,#784);
#782 = CARTESIAN_POINT('',(16.1,92.723428516484,-47.10217233597));
#783 = DIRECTION('',(-0.,0.258819045103,0.965925826289));
#784 = DIRECTION('',(1.,0.,0.));
#785 = ORIENTED_EDGE('',*,*,#786,.T.);
#786 = EDGE_CURVE('',#778,#722,#787,.T.);
#787 = CIRCLE('',#788,1.385);
#788 = AXIS2_PLACEMENT_3D('',#789,#790,#791);
#789 = CARTESIAN_POINT('',(16.1,92.723428516484,-47.10217233597));
#790 = DIRECTION('',(-0.,0.258819045103,0.965925826289));
#791 = DIRECTION('',(1.,0.,0.));
#792 = ORIENTED_EDGE('',*,*,#721,.F.);
#793 = PLANE('',#794);
#794 = AXIS2_PLACEMENT_3D('',#795,#796,#797);
#795 = CARTESIAN_POINT('',(8.,98.5,-48.65));
#796 = DIRECTION('',(0.,-0.258819045103,-0.965925826289));
#797 = DIRECTION('',(0.,-0.965925826289,0.258819045103));
#798 = ADVANCED_FACE('',(#799,#824),#835,.F.);
#799 = FACE_BOUND('',#800,.F.);
#800 = EDGE_LOOP('',(#801,#809,#817,#823));
#801 = ORIENTED_EDGE('',*,*,#802,.T.);
#802 = EDGE_CURVE('',#248,#803,#805,.T.);
#803 = VERTEX_POINT('',#804);
#804 = CARTESIAN_POINT('',(15.,98.5,-96.));
#805 = LINE('',#806,#807);
#806 = CARTESIAN_POINT('',(8.,98.5,-96.));
#807 = VECTOR('',#808,1.);
#808 = DIRECTION('',(1.,0.,-2.2E-16));
#809 = ORIENTED_EDGE('',*,*,#810,.T.);
#810 = EDGE_CURVE('',#803,#811,#813,.T.);
#811 = VERTEX_POINT('',#812);
#812 = CARTESIAN_POINT('',(15.,91.5,-96.));
#813 = LINE('',#814,#815);
#814 = CARTESIAN_POINT('',(15.,98.5,-96.));
#815 = VECTOR('',#816,1.);
#816 = DIRECTION('',(2.2E-16,-1.,2.2E-16));
#817 = ORIENTED_EDGE('',*,*,#818,.F.);
#818 = EDGE_CURVE('',#240,#811,#819,.T.);
#819 = LINE('',#820,#821);
#820 = CARTESIAN_POINT('',(8.,91.5,-96.));
#821 = VECTOR('',#822,1.);
#822 = DIRECTION('',(1.,0.,-2.2E-16));
#823 = ORIENTED_EDGE('',*,*,#247,.F.);
#824 = FACE_BOUND('',#825,.F.);
#825 = EDGE_LOOP('',(#826));
#826 = ORIENTED_EDGE('',*,*,#827,.T.);
#827 = EDGE_CURVE('',#828,#828,#830,.T.);
#828 = VERTEX_POINT('',#829);
#829 = CARTESIAN_POINT('',(10.115,95.,-96.));
#830 = CIRCLE('',#831,1.385);
#831 = AXIS2_PLACEMENT_3D('',#832,#833,#834);
#832 = CARTESIAN_POINT('',(11.5,95.,-96.));
#833 = DIRECTION('',(2.2E-16,2.2E-16,1.));
#834 = DIRECTION('',(-1.,-2.2E-16,2.2E-16));
#835 = PLANE('',#836);
#836 = AXIS2_PLACEMENT_3D('',#837,#838,#839);
#837 = CARTESIAN_POINT('',(8.,98.5,-96.));
#838 = DIRECTION('',(-2.2E-16,-3.3E-16,-1.));
#839 = DIRECTION('',(0.,-1.,3.3E-16));
#840 = ADVANCED_FACE('',(#841),#859,.F.);
#841 = FACE_BOUND('',#842,.F.);
#842 = EDGE_LOOP('',(#843,#844,#852,#858));
#843 = ORIENTED_EDGE('',*,*,#818,.T.);
#844 = ORIENTED_EDGE('',*,*,#845,.T.);
#845 = EDGE_CURVE('',#811,#846,#848,.T.);
#846 = VERTEX_POINT('',#847);
#847 = CARTESIAN_POINT('',(15.,91.5,-103.));
#848 = LINE('',#849,#850);
#849 = CARTESIAN_POINT('',(15.,91.5,-96.));
#850 = VECTOR('',#851,1.);
#851 = DIRECTION('',(-2.2E-16,-2.2E-16,-1.));
#852 = ORIENTED_EDGE('',*,*,#853,.F.);
#853 = EDGE_CURVE('',#232,#846,#854,.T.);
#854 = LINE('',#855,#856);
#855 = CARTESIAN_POINT('',(8.,91.5,-103.));
#856 = VECTOR('',#857,1.);
#857 = DIRECTION('',(1.,0.,-2.2E-16));
#858 = ORIENTED_EDGE('',*,*,#239,.F.);
#859 = PLANE('',#860);
#860 = AXIS2_PLACEMENT_3D('',#861,#862,#863);
#861 = CARTESIAN_POINT('',(8.,91.5,-96.));
#862 = DIRECTION('',(0.,1.,-3.3E-16));
#863 = DIRECTION('',(-2.2E-16,-3.3E-16,-1.));
#864 = ADVANCED_FACE('',(#865),#883,.F.);
#865 = FACE_BOUND('',#866,.F.);
#866 = EDGE_LOOP('',(#867,#868,#876,#882));
#867 = ORIENTED_EDGE('',*,*,#853,.T.);
#868 = ORIENTED_EDGE('',*,*,#869,.T.);
#869 = EDGE_CURVE('',#846,#870,#872,.T.);
#870 = VERTEX_POINT('',#871);
#871 = CARTESIAN_POINT('',(15.,98.5,-103.));
#872 = LINE('',#873,#874);
#873 = CARTESIAN_POINT('',(15.,91.5,-103.));
#874 = VECTOR('',#875,1.);
#875 = DIRECTION('',(-2.2E-16,1.,-2.2E-16));
#876 = ORIENTED_EDGE('',*,*,#877,.F.);
#877 = EDGE_CURVE('',#224,#870,#878,.T.);
#878 = LINE('',#879,#880);
#879 = CARTESIAN_POINT('',(8.,98.5,-103.));
#880 = VECTOR('',#881,1.);
#881 = DIRECTION('',(1.,0.,-2.2E-16));
#882 = ORIENTED_EDGE('',*,*,#231,.F.);
#883 = PLANE('',#884);
#884 = AXIS2_PLACEMENT_3D('',#885,#886,#887);
#885 = CARTESIAN_POINT('',(8.,91.5,-103.));
#886 = DIRECTION('',(2.2E-16,3.3E-16,1.));
#887 = DIRECTION('',(0.,1.,-3.3E-16));
#888 = ADVANCED_FACE('',(#889),#907,.T.);
#889 = FACE_BOUND('',#890,.T.);
#890 = EDGE_LOOP('',(#891,#892,#893,#901));
#891 = ORIENTED_EDGE('',*,*,#633,.F.);
#892 = ORIENTED_EDGE('',*,*,#215,.T.);
#893 = ORIENTED_EDGE('',*,*,#894,.F.);
#894 = EDGE_CURVE('',#895,#208,#897,.T.);
#895 = VERTEX_POINT('',#896);
#896 = CARTESIAN_POINT('',(6.,5.7E-14,-126.));
#897 = LINE('',#898,#899);
#898 = CARTESIAN_POINT('',(51.5,5.633E-14,-126.));
#899 = VECTOR('',#900,1.);
#900 = DIRECTION('',(1.,0.,0.));
#901 = ORIENTED_EDGE('',*,*,#902,.F.);
#902 = EDGE_CURVE('',#634,#895,#903,.T.);
#903 = LINE('',#904,#905);
#904 = CARTESIAN_POINT('',(6.,98.5,-126.));
#905 = VECTOR('',#906,1.);
#906 = DIRECTION('',(0.,-1.,2.2E-16));
#907 = PLANE('',#908);
#908 = AXIS2_PLACEMENT_3D('',#909,#910,#911);
#909 = CARTESIAN_POINT('',(8.,98.5,-126.));
#910 = DIRECTION('',(0.,-2.2E-16,-1.));
#911 = DIRECTION('',(-1.,-0.,0.));
#912 = ADVANCED_FACE('',(#913),#957,.F.);
#913 = FACE_BOUND('',#914,.F.);
#914 = EDGE_LOOP('',(#915,#916,#917,#925,#931,#932,#933,#941,#949,#955,
#956));
#915 = ORIENTED_EDGE('',*,*,#207,.F.);
#916 = ORIENTED_EDGE('',*,*,#894,.F.);
#917 = ORIENTED_EDGE('',*,*,#918,.F.);
#918 = EDGE_CURVE('',#919,#895,#921,.T.);
#919 = VERTEX_POINT('',#920);
#920 = CARTESIAN_POINT('',(6.,3.9E-14,-88.99999999997));
#921 = LINE('',#922,#923);
#922 = CARTESIAN_POINT('',(6.,4.841E-14,-108.));
#923 = VECTOR('',#924,1.);
#924 = DIRECTION('',(0.,4.4E-16,-1.));
#925 = ORIENTED_EDGE('',*,*,#926,.F.);
#926 = EDGE_CURVE('',#144,#919,#927,.T.);
#927 = LINE('',#928,#929);
#928 = CARTESIAN_POINT('',(50.5,3.93E-14,-88.99999999997));
#929 = VECTOR('',#930,1.);
#930 = DIRECTION('',(-1.,0.,-2.2E-16));
#931 = ORIENTED_EDGE('',*,*,#151,.F.);
#932 = ORIENTED_EDGE('',*,*,#159,.F.);
#933 = ORIENTED_EDGE('',*,*,#934,.F.);
#934 = EDGE_CURVE('',#935,#160,#937,.T.);
#935 = VERTEX_POINT('',#936);
#936 = CARTESIAN_POINT('',(15.,4.3E-14,-96.));
#937 = LINE('',#938,#939);
#938 = CARTESIAN_POINT('',(51.5,4.262E-14,-96.));
#939 = VECTOR('',#940,1.);
#940 = DIRECTION('',(-1.,-0.,2.2E-16));
#941 = ORIENTED_EDGE('',*,*,#942,.F.);
#942 = EDGE_CURVE('',#943,#935,#945,.T.);
#943 = VERTEX_POINT('',#944);
#944 = CARTESIAN_POINT('',(15.,4.5E-14,-103.));
#945 = LINE('',#946,#947);
#946 = CARTESIAN_POINT('',(15.,4.206E-14,-94.75));
#947 = VECTOR('',#948,1.);
#948 = DIRECTION('',(2.2E-16,-4.4E-16,1.));
#949 = ORIENTED_EDGE('',*,*,#950,.F.);
#950 = EDGE_CURVE('',#184,#943,#951,.T.);
#951 = LINE('',#952,#953);
#952 = CARTESIAN_POINT('',(51.5,4.549E-14,-103.));
#953 = VECTOR('',#954,1.);
#954 = DIRECTION('',(1.,0.,-2.2E-16));
#955 = ORIENTED_EDGE('',*,*,#191,.F.);
#956 = ORIENTED_EDGE('',*,*,#199,.F.);
#957 = PLANE('',#958);
#958 = AXIS2_PLACEMENT_3D('',#959,#960,#961);
#959 = CARTESIAN_POINT('',(95.,3.997E-14,-90.));
#960 = DIRECTION('',(0.,1.,4.4E-16));
#961 = DIRECTION('',(0.,-4.4E-16,1.));
#962 = ADVANCED_FACE('',(#963),#981,.T.);
#963 = FACE_BOUND('',#964,.T.);
#964 = EDGE_LOOP('',(#965,#966,#974,#980));
#965 = ORIENTED_EDGE('',*,*,#183,.F.);
#966 = ORIENTED_EDGE('',*,*,#967,.T.);
#967 = EDGE_CURVE('',#176,#968,#970,.T.);
#968 = VERTEX_POINT('',#969);
#969 = CARTESIAN_POINT('',(15.,7.,-103.));
#970 = LINE('',#971,#972);
#971 = CARTESIAN_POINT('',(8.,7.,-103.));
#972 = VECTOR('',#973,1.);
#973 = DIRECTION('',(1.,0.,-2.2E-16));