-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathCase-Level2.step
More file actions
1931 lines (1931 loc) · 74 KB
/
Case-Level2.step
File metadata and controls
1931 lines (1931 loc) · 74 KB
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(('FreeCAD Model'),'2;1');
FILE_NAME('Open CASCADE Shape Model','2026-03-26T14:38:53',(''),(''),
'Open CASCADE STEP processor 7.8','FreeCAD','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('RTLHeatSinkPocket','RTLHeatSinkPocket','',(#8));
#8 = PRODUCT_CONTEXT('',#2,'mechanical');
#9 = PRODUCT_DEFINITION_CONTEXT('part definition',#2,'design');
#10 = ADVANCED_BREP_SHAPE_REPRESENTATION('',(#11,#15),#1881);
#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,#57,#88,#119,#532,#945,#962,#979,#996,#1013,
#1030,#1047,#1064,#1081,#1098,#1115,#1132,#1149,#1166,#1183,#1200,
#1217,#1234,#1251,#1268,#1285,#1297,#1321,#1338,#1362,#1379,#1403,
#1425,#1442,#1459,#1471,#1488,#1512,#1529,#1546,#1563,#1580,#1602,
#1619,#1636,#1648,#1665,#1687,#1704,#1721,#1733,#1758,#1783,#1808,
#1833,#1845,#1857,#1869));
#17 = ADVANCED_FACE('',(#18),#52,.T.);
#18 = FACE_BOUND('',#19,.T.);
#19 = EDGE_LOOP('',(#20,#30,#38,#46));
#20 = ORIENTED_EDGE('',*,*,#21,.T.);
#21 = EDGE_CURVE('',#22,#24,#26,.T.);
#22 = VERTEX_POINT('',#23);
#23 = CARTESIAN_POINT('',(87.5,22.,-19.5));
#24 = VERTEX_POINT('',#25);
#25 = CARTESIAN_POINT('',(87.5,26.,-19.5));
#26 = LINE('',#27,#28);
#27 = CARTESIAN_POINT('',(87.5,22.,-19.5));
#28 = VECTOR('',#29,1.);
#29 = DIRECTION('',(0.,1.,-2.2E-16));
#30 = ORIENTED_EDGE('',*,*,#31,.T.);
#31 = EDGE_CURVE('',#24,#32,#34,.T.);
#32 = VERTEX_POINT('',#33);
#33 = CARTESIAN_POINT('',(87.5,26.,19.5));
#34 = LINE('',#35,#36);
#35 = CARTESIAN_POINT('',(87.5,26.,-19.5));
#36 = VECTOR('',#37,1.);
#37 = DIRECTION('',(0.,0.,1.));
#38 = ORIENTED_EDGE('',*,*,#39,.F.);
#39 = EDGE_CURVE('',#40,#32,#42,.T.);
#40 = VERTEX_POINT('',#41);
#41 = CARTESIAN_POINT('',(87.5,22.,19.5));
#42 = LINE('',#43,#44);
#43 = CARTESIAN_POINT('',(87.5,22.,19.5));
#44 = VECTOR('',#45,1.);
#45 = DIRECTION('',(0.,1.,-2.2E-16));
#46 = ORIENTED_EDGE('',*,*,#47,.F.);
#47 = EDGE_CURVE('',#22,#40,#48,.T.);
#48 = LINE('',#49,#50);
#49 = CARTESIAN_POINT('',(87.5,22.,-19.5));
#50 = VECTOR('',#51,1.);
#51 = DIRECTION('',(0.,0.,1.));
#52 = PLANE('',#53);
#53 = AXIS2_PLACEMENT_3D('',#54,#55,#56);
#54 = CARTESIAN_POINT('',(87.5,22.,-19.5));
#55 = DIRECTION('',(1.,0.,0.));
#56 = DIRECTION('',(0.,2.2E-16,1.));
#57 = ADVANCED_FACE('',(#58),#83,.F.);
#58 = FACE_BOUND('',#59,.F.);
#59 = EDGE_LOOP('',(#60,#61,#69,#77));
#60 = ORIENTED_EDGE('',*,*,#21,.T.);
#61 = ORIENTED_EDGE('',*,*,#62,.T.);
#62 = EDGE_CURVE('',#24,#63,#65,.T.);
#63 = VERTEX_POINT('',#64);
#64 = CARTESIAN_POINT('',(127.5,26.,-19.5));
#65 = LINE('',#66,#67);
#66 = CARTESIAN_POINT('',(87.5,26.,-19.5));
#67 = VECTOR('',#68,1.);
#68 = DIRECTION('',(1.,0.,0.));
#69 = ORIENTED_EDGE('',*,*,#70,.F.);
#70 = EDGE_CURVE('',#71,#63,#73,.T.);
#71 = VERTEX_POINT('',#72);
#72 = CARTESIAN_POINT('',(127.5,22.,-19.5));
#73 = LINE('',#74,#75);
#74 = CARTESIAN_POINT('',(127.5,22.,-19.5));
#75 = VECTOR('',#76,1.);
#76 = DIRECTION('',(0.,1.,-2.2E-16));
#77 = ORIENTED_EDGE('',*,*,#78,.F.);
#78 = EDGE_CURVE('',#22,#71,#79,.T.);
#79 = LINE('',#80,#81);
#80 = CARTESIAN_POINT('',(87.5,22.,-19.5));
#81 = VECTOR('',#82,1.);
#82 = DIRECTION('',(1.,0.,0.));
#83 = PLANE('',#84);
#84 = AXIS2_PLACEMENT_3D('',#85,#86,#87);
#85 = CARTESIAN_POINT('',(87.5,22.,-19.5));
#86 = DIRECTION('',(0.,-2.2E-16,-1.));
#87 = DIRECTION('',(1.,0.,0.));
#88 = ADVANCED_FACE('',(#89),#114,.T.);
#89 = FACE_BOUND('',#90,.T.);
#90 = EDGE_LOOP('',(#91,#92,#100,#108));
#91 = ORIENTED_EDGE('',*,*,#39,.T.);
#92 = ORIENTED_EDGE('',*,*,#93,.T.);
#93 = EDGE_CURVE('',#32,#94,#96,.T.);
#94 = VERTEX_POINT('',#95);
#95 = CARTESIAN_POINT('',(127.5,26.,19.5));
#96 = LINE('',#97,#98);
#97 = CARTESIAN_POINT('',(87.5,26.,19.5));
#98 = VECTOR('',#99,1.);
#99 = DIRECTION('',(1.,0.,0.));
#100 = ORIENTED_EDGE('',*,*,#101,.F.);
#101 = EDGE_CURVE('',#102,#94,#104,.T.);
#102 = VERTEX_POINT('',#103);
#103 = CARTESIAN_POINT('',(127.5,22.,19.5));
#104 = LINE('',#105,#106);
#105 = CARTESIAN_POINT('',(127.5,22.,19.5));
#106 = VECTOR('',#107,1.);
#107 = DIRECTION('',(0.,1.,-2.2E-16));
#108 = ORIENTED_EDGE('',*,*,#109,.F.);
#109 = EDGE_CURVE('',#40,#102,#110,.T.);
#110 = LINE('',#111,#112);
#111 = CARTESIAN_POINT('',(87.5,22.,19.5));
#112 = VECTOR('',#113,1.);
#113 = DIRECTION('',(1.,0.,0.));
#114 = PLANE('',#115);
#115 = AXIS2_PLACEMENT_3D('',#116,#117,#118);
#116 = CARTESIAN_POINT('',(87.5,22.,19.5));
#117 = DIRECTION('',(0.,-2.2E-16,-1.));
#118 = DIRECTION('',(1.,0.,0.));
#119 = ADVANCED_FACE('',(#120,#293,#304,#315,#326,#337,#348,#382,#393,
#404,#415,#426,#437,#448,#482,#493),#527,.F.);
#120 = FACE_BOUND('',#121,.F.);
#121 = EDGE_LOOP('',(#122,#123,#124,#132,#140,#148,#156,#164,#172,#180,
#188,#196,#204,#212,#221,#229,#238,#246,#254,#262,#270,#278,#286,
#292));
#122 = ORIENTED_EDGE('',*,*,#47,.F.);
#123 = ORIENTED_EDGE('',*,*,#78,.T.);
#124 = ORIENTED_EDGE('',*,*,#125,.T.);
#125 = EDGE_CURVE('',#71,#126,#128,.T.);
#126 = VERTEX_POINT('',#127);
#127 = CARTESIAN_POINT('',(127.5,22.,-55.75));
#128 = LINE('',#129,#130);
#129 = CARTESIAN_POINT('',(127.5,22.,-19.5));
#130 = VECTOR('',#131,1.);
#131 = DIRECTION('',(0.,0.,-1.));
#132 = ORIENTED_EDGE('',*,*,#133,.F.);
#133 = EDGE_CURVE('',#134,#126,#136,.T.);
#134 = VERTEX_POINT('',#135);
#135 = CARTESIAN_POINT('',(-87.5,22.,-55.75));
#136 = LINE('',#137,#138);
#137 = CARTESIAN_POINT('',(-87.5,22.,-55.75));
#138 = VECTOR('',#139,1.);
#139 = DIRECTION('',(1.,0.,0.));
#140 = ORIENTED_EDGE('',*,*,#141,.F.);
#141 = EDGE_CURVE('',#142,#134,#144,.T.);
#142 = VERTEX_POINT('',#143);
#143 = CARTESIAN_POINT('',(-87.5,22.,-38.5));
#144 = LINE('',#145,#146);
#145 = CARTESIAN_POINT('',(-87.5,22.,-38.5));
#146 = VECTOR('',#147,1.);
#147 = DIRECTION('',(0.,0.,-1.));
#148 = ORIENTED_EDGE('',*,*,#149,.F.);
#149 = EDGE_CURVE('',#150,#142,#152,.T.);
#150 = VERTEX_POINT('',#151);
#151 = CARTESIAN_POINT('',(-94.5,22.,-38.5));
#152 = LINE('',#153,#154);
#153 = CARTESIAN_POINT('',(-94.5,22.,-38.5));
#154 = VECTOR('',#155,1.);
#155 = DIRECTION('',(1.,0.,0.));
#156 = ORIENTED_EDGE('',*,*,#157,.F.);
#157 = EDGE_CURVE('',#158,#150,#160,.T.);
#158 = VERTEX_POINT('',#159);
#159 = CARTESIAN_POINT('',(-94.5,22.,-19.5));
#160 = LINE('',#161,#162);
#161 = CARTESIAN_POINT('',(-94.5,22.,-19.5));
#162 = VECTOR('',#163,1.);
#163 = DIRECTION('',(0.,0.,-1.));
#164 = ORIENTED_EDGE('',*,*,#165,.F.);
#165 = EDGE_CURVE('',#166,#158,#168,.T.);
#166 = VERTEX_POINT('',#167);
#167 = CARTESIAN_POINT('',(-87.5,22.,-19.5));
#168 = LINE('',#169,#170);
#169 = CARTESIAN_POINT('',(-87.5,22.,-19.5));
#170 = VECTOR('',#171,1.);
#171 = DIRECTION('',(-1.,0.,0.));
#172 = ORIENTED_EDGE('',*,*,#173,.F.);
#173 = EDGE_CURVE('',#174,#166,#176,.T.);
#174 = VERTEX_POINT('',#175);
#175 = CARTESIAN_POINT('',(-87.5,22.,19.5));
#176 = LINE('',#177,#178);
#177 = CARTESIAN_POINT('',(-87.5,22.,19.5));
#178 = VECTOR('',#179,1.);
#179 = DIRECTION('',(0.,0.,-1.));
#180 = ORIENTED_EDGE('',*,*,#181,.F.);
#181 = EDGE_CURVE('',#182,#174,#184,.T.);
#182 = VERTEX_POINT('',#183);
#183 = CARTESIAN_POINT('',(-127.5,22.,19.5));
#184 = LINE('',#185,#186);
#185 = CARTESIAN_POINT('',(-127.5,22.,19.5));
#186 = VECTOR('',#187,1.);
#187 = DIRECTION('',(1.,0.,0.));
#188 = ORIENTED_EDGE('',*,*,#189,.F.);
#189 = EDGE_CURVE('',#190,#182,#192,.T.);
#190 = VERTEX_POINT('',#191);
#191 = CARTESIAN_POINT('',(-127.5,22.,58.5));
#192 = LINE('',#193,#194);
#193 = CARTESIAN_POINT('',(-127.5,22.,58.5));
#194 = VECTOR('',#195,1.);
#195 = DIRECTION('',(0.,0.,-1.));
#196 = ORIENTED_EDGE('',*,*,#197,.F.);
#197 = EDGE_CURVE('',#198,#190,#200,.T.);
#198 = VERTEX_POINT('',#199);
#199 = CARTESIAN_POINT('',(-70.,22.,58.5));
#200 = LINE('',#201,#202);
#201 = CARTESIAN_POINT('',(127.5,22.,58.5));
#202 = VECTOR('',#203,1.);
#203 = DIRECTION('',(-1.,0.,0.));
#204 = ORIENTED_EDGE('',*,*,#205,.F.);
#205 = EDGE_CURVE('',#206,#198,#208,.T.);
#206 = VERTEX_POINT('',#207);
#207 = CARTESIAN_POINT('',(-70.,22.,55.499999999998));
#208 = LINE('',#209,#210);
#209 = CARTESIAN_POINT('',(-70.,22.,29.845365430684));
#210 = VECTOR('',#211,1.);
#211 = DIRECTION('',(0.,0.,1.));
#212 = ORIENTED_EDGE('',*,*,#213,.F.);
#213 = EDGE_CURVE('',#214,#206,#216,.T.);
#214 = VERTEX_POINT('',#215);
#215 = CARTESIAN_POINT('',(-67.,22.,52.499999999998));
#216 = CIRCLE('',#217,3.);
#217 = AXIS2_PLACEMENT_3D('',#218,#219,#220);
#218 = CARTESIAN_POINT('',(-67.,22.,55.499999999998));
#219 = DIRECTION('',(0.,1.,-2.22044604925E-16));
#220 = DIRECTION('',(-1.,0.,0.));
#221 = ORIENTED_EDGE('',*,*,#222,.F.);
#222 = EDGE_CURVE('',#223,#214,#225,.T.);
#223 = VERTEX_POINT('',#224);
#224 = CARTESIAN_POINT('',(-37.,22.,52.499999999998));
#225 = LINE('',#226,#227);
#226 = CARTESIAN_POINT('',(-13.49639283247,22.,52.499999999998));
#227 = VECTOR('',#228,1.);
#228 = DIRECTION('',(-1.,0.,0.));
#229 = ORIENTED_EDGE('',*,*,#230,.F.);
#230 = EDGE_CURVE('',#231,#223,#233,.T.);
#231 = VERTEX_POINT('',#232);
#232 = CARTESIAN_POINT('',(-34.,22.,55.499999999998));
#233 = CIRCLE('',#234,3.);
#234 = AXIS2_PLACEMENT_3D('',#235,#236,#237);
#235 = CARTESIAN_POINT('',(-37.,22.,55.499999999998));
#236 = DIRECTION('',(0.,1.,-2.22044604925E-16));
#237 = DIRECTION('',(-1.,0.,0.));
#238 = ORIENTED_EDGE('',*,*,#239,.F.);
#239 = EDGE_CURVE('',#240,#231,#242,.T.);
#240 = VERTEX_POINT('',#241);
#241 = CARTESIAN_POINT('',(-34.,22.,58.5));
#242 = LINE('',#243,#244);
#243 = CARTESIAN_POINT('',(-34.,22.,31.845365430685));
#244 = VECTOR('',#245,1.);
#245 = DIRECTION('',(0.,0.,-1.));
#246 = ORIENTED_EDGE('',*,*,#247,.F.);
#247 = EDGE_CURVE('',#248,#240,#250,.T.);
#248 = VERTEX_POINT('',#249);
#249 = CARTESIAN_POINT('',(16.,22.,58.5));
#250 = LINE('',#251,#252);
#251 = CARTESIAN_POINT('',(127.5,22.,58.5));
#252 = VECTOR('',#253,1.);
#253 = DIRECTION('',(-1.,0.,0.));
#254 = ORIENTED_EDGE('',*,*,#255,.F.);
#255 = EDGE_CURVE('',#256,#248,#258,.T.);
#256 = VERTEX_POINT('',#257);
#257 = CARTESIAN_POINT('',(16.,22.,47.5));
#258 = LINE('',#259,#260);
#259 = CARTESIAN_POINT('',(16.,22.,25.845365430685));
#260 = VECTOR('',#261,1.);
#261 = DIRECTION('',(0.,0.,1.));
#262 = ORIENTED_EDGE('',*,*,#263,.F.);
#263 = EDGE_CURVE('',#264,#256,#266,.T.);
#264 = VERTEX_POINT('',#265);
#265 = CARTESIAN_POINT('',(40.,22.,47.5));
#266 = LINE('',#267,#268);
#267 = CARTESIAN_POINT('',(25.003607167526,22.,47.5));
#268 = VECTOR('',#269,1.);
#269 = DIRECTION('',(-1.,0.,0.));
#270 = ORIENTED_EDGE('',*,*,#271,.F.);
#271 = EDGE_CURVE('',#272,#264,#274,.T.);
#272 = VERTEX_POINT('',#273);
#273 = CARTESIAN_POINT('',(40.,22.,58.5));
#274 = LINE('',#275,#276);
#275 = CARTESIAN_POINT('',(40.,22.,35.845365430685));
#276 = VECTOR('',#277,1.);
#277 = DIRECTION('',(0.,0.,-1.));
#278 = ORIENTED_EDGE('',*,*,#279,.F.);
#279 = EDGE_CURVE('',#280,#272,#282,.T.);
#280 = VERTEX_POINT('',#281);
#281 = CARTESIAN_POINT('',(127.5,22.,58.5));
#282 = LINE('',#283,#284);
#283 = CARTESIAN_POINT('',(127.5,22.,58.5));
#284 = VECTOR('',#285,1.);
#285 = DIRECTION('',(-1.,0.,0.));
#286 = ORIENTED_EDGE('',*,*,#287,.F.);
#287 = EDGE_CURVE('',#102,#280,#288,.T.);
#288 = LINE('',#289,#290);
#289 = CARTESIAN_POINT('',(127.5,22.,19.5));
#290 = VECTOR('',#291,1.);
#291 = DIRECTION('',(0.,0.,1.));
#292 = ORIENTED_EDGE('',*,*,#109,.F.);
#293 = FACE_BOUND('',#294,.F.);
#294 = EDGE_LOOP('',(#295));
#295 = ORIENTED_EDGE('',*,*,#296,.F.);
#296 = EDGE_CURVE('',#297,#297,#299,.T.);
#297 = VERTEX_POINT('',#298);
#298 = CARTESIAN_POINT('',(-79.,22.,-50.));
#299 = CIRCLE('',#300,1.5);
#300 = AXIS2_PLACEMENT_3D('',#301,#302,#303);
#301 = CARTESIAN_POINT('',(-77.5,22.,-50.));
#302 = DIRECTION('',(0.,1.,-2.2E-16));
#303 = DIRECTION('',(-1.,0.,0.));
#304 = FACE_BOUND('',#305,.F.);
#305 = EDGE_LOOP('',(#306));
#306 = ORIENTED_EDGE('',*,*,#307,.F.);
#307 = EDGE_CURVE('',#308,#308,#310,.T.);
#308 = VERTEX_POINT('',#309);
#309 = CARTESIAN_POINT('',(-89.5,22.,-29.));
#310 = CIRCLE('',#311,1.5);
#311 = AXIS2_PLACEMENT_3D('',#312,#313,#314);
#312 = CARTESIAN_POINT('',(-88.,22.,-29.));
#313 = DIRECTION('',(0.,1.,-0.));
#314 = DIRECTION('',(-1.,0.,0.));
#315 = FACE_BOUND('',#316,.F.);
#316 = EDGE_LOOP('',(#317));
#317 = ORIENTED_EDGE('',*,*,#318,.F.);
#318 = EDGE_CURVE('',#319,#319,#321,.T.);
#319 = VERTEX_POINT('',#320);
#320 = CARTESIAN_POINT('',(-30.,22.,-50.));
#321 = CIRCLE('',#322,1.5);
#322 = AXIS2_PLACEMENT_3D('',#323,#324,#325);
#323 = CARTESIAN_POINT('',(-28.5,22.,-50.));
#324 = DIRECTION('',(0.,1.,-2.2E-16));
#325 = DIRECTION('',(-1.,0.,0.));
#326 = FACE_BOUND('',#327,.F.);
#327 = EDGE_LOOP('',(#328));
#328 = ORIENTED_EDGE('',*,*,#329,.F.);
#329 = EDGE_CURVE('',#330,#330,#332,.T.);
#330 = VERTEX_POINT('',#331);
#331 = CARTESIAN_POINT('',(-10.,22.,-40.));
#332 = CIRCLE('',#333,1.5);
#333 = AXIS2_PLACEMENT_3D('',#334,#335,#336);
#334 = CARTESIAN_POINT('',(-8.5,22.,-40.));
#335 = DIRECTION('',(0.,1.,-2.22044604925E-16));
#336 = DIRECTION('',(-1.,0.,0.));
#337 = FACE_BOUND('',#338,.F.);
#338 = EDGE_LOOP('',(#339));
#339 = ORIENTED_EDGE('',*,*,#340,.F.);
#340 = EDGE_CURVE('',#341,#341,#343,.T.);
#341 = VERTEX_POINT('',#342);
#342 = CARTESIAN_POINT('',(-79.,22.,8.));
#343 = CIRCLE('',#344,1.5);
#344 = AXIS2_PLACEMENT_3D('',#345,#346,#347);
#345 = CARTESIAN_POINT('',(-77.5,22.,8.));
#346 = DIRECTION('',(0.,1.,-2.2E-16));
#347 = DIRECTION('',(-1.,0.,0.));
#348 = FACE_BOUND('',#349,.F.);
#349 = EDGE_LOOP('',(#350,#360,#368,#376));
#350 = ORIENTED_EDGE('',*,*,#351,.T.);
#351 = EDGE_CURVE('',#352,#354,#356,.T.);
#352 = VERTEX_POINT('',#353);
#353 = CARTESIAN_POINT('',(-124.4999999999,22.,22.5));
#354 = VERTEX_POINT('',#355);
#355 = CARTESIAN_POINT('',(-94.5,22.,22.5));
#356 = LINE('',#357,#358);
#357 = CARTESIAN_POINT('',(-42.24639283247,22.,22.5));
#358 = VECTOR('',#359,1.);
#359 = DIRECTION('',(1.,0.,0.));
#360 = ORIENTED_EDGE('',*,*,#361,.T.);
#361 = EDGE_CURVE('',#354,#362,#364,.T.);
#362 = VERTEX_POINT('',#363);
#363 = CARTESIAN_POINT('',(-94.5,22.,52.499999999967));
#364 = LINE('',#365,#366);
#365 = CARTESIAN_POINT('',(-94.5,22.,28.345365430669));
#366 = VECTOR('',#367,1.);
#367 = DIRECTION('',(0.,0.,1.));
#368 = ORIENTED_EDGE('',*,*,#369,.T.);
#369 = EDGE_CURVE('',#362,#370,#372,.T.);
#370 = VERTEX_POINT('',#371);
#371 = CARTESIAN_POINT('',(-124.4999999999,22.,52.499999999967));
#372 = LINE('',#373,#374);
#373 = CARTESIAN_POINT('',(-57.24639283245,22.,52.499999999967));
#374 = VECTOR('',#375,1.);
#375 = DIRECTION('',(-1.,0.,0.));
#376 = ORIENTED_EDGE('',*,*,#377,.T.);
#377 = EDGE_CURVE('',#370,#352,#378,.T.);
#378 = LINE('',#379,#380);
#379 = CARTESIAN_POINT('',(-124.4999999999,22.,13.345365430685));
#380 = VECTOR('',#381,1.);
#381 = DIRECTION('',(0.,0.,-1.));
#382 = FACE_BOUND('',#383,.F.);
#383 = EDGE_LOOP('',(#384));
#384 = ORIENTED_EDGE('',*,*,#385,.F.);
#385 = EDGE_CURVE('',#386,#386,#388,.T.);
#386 = VERTEX_POINT('',#387);
#387 = CARTESIAN_POINT('',(-89.5,22.,29.));
#388 = CIRCLE('',#389,1.5);
#389 = AXIS2_PLACEMENT_3D('',#390,#391,#392);
#390 = CARTESIAN_POINT('',(-88.,22.,29.));
#391 = DIRECTION('',(0.,1.,-0.));
#392 = DIRECTION('',(-1.,0.,0.));
#393 = FACE_BOUND('',#394,.F.);
#394 = EDGE_LOOP('',(#395));
#395 = ORIENTED_EDGE('',*,*,#396,.F.);
#396 = EDGE_CURVE('',#397,#397,#399,.T.);
#397 = VERTEX_POINT('',#398);
#398 = CARTESIAN_POINT('',(-30.,22.,8.));
#399 = CIRCLE('',#400,1.5);
#400 = AXIS2_PLACEMENT_3D('',#401,#402,#403);
#401 = CARTESIAN_POINT('',(-28.5,22.,8.));
#402 = DIRECTION('',(0.,1.,-2.2E-16));
#403 = DIRECTION('',(-1.,0.,0.));
#404 = FACE_BOUND('',#405,.F.);
#405 = EDGE_LOOP('',(#406));
#406 = ORIENTED_EDGE('',*,*,#407,.F.);
#407 = EDGE_CURVE('',#408,#408,#410,.T.);
#408 = VERTEX_POINT('',#409);
#409 = CARTESIAN_POINT('',(-10.,22.,15.));
#410 = CIRCLE('',#411,1.5);
#411 = AXIS2_PLACEMENT_3D('',#412,#413,#414);
#412 = CARTESIAN_POINT('',(-8.5,22.,15.));
#413 = DIRECTION('',(0.,1.,-2.22044604925E-16));
#414 = DIRECTION('',(-1.,0.,0.));
#415 = FACE_BOUND('',#416,.F.);
#416 = EDGE_LOOP('',(#417));
#417 = ORIENTED_EDGE('',*,*,#418,.F.);
#418 = EDGE_CURVE('',#419,#419,#421,.T.);
#419 = VERTEX_POINT('',#420);
#420 = CARTESIAN_POINT('',(28.,22.,-40.));
#421 = CIRCLE('',#422,1.5);
#422 = AXIS2_PLACEMENT_3D('',#423,#424,#425);
#423 = CARTESIAN_POINT('',(29.5,22.,-40.));
#424 = DIRECTION('',(0.,1.,-2.22044604925E-16));
#425 = DIRECTION('',(-1.,0.,0.));
#426 = FACE_BOUND('',#427,.F.);
#427 = EDGE_LOOP('',(#428));
#428 = ORIENTED_EDGE('',*,*,#429,.F.);
#429 = EDGE_CURVE('',#430,#430,#432,.T.);
#430 = VERTEX_POINT('',#431);
#431 = CARTESIAN_POINT('',(86.5,22.,-29.));
#432 = CIRCLE('',#433,1.5);
#433 = AXIS2_PLACEMENT_3D('',#434,#435,#436);
#434 = CARTESIAN_POINT('',(88.,22.,-29.));
#435 = DIRECTION('',(0.,1.,-0.));
#436 = DIRECTION('',(-1.,0.,0.));
#437 = FACE_BOUND('',#438,.F.);
#438 = EDGE_LOOP('',(#439));
#439 = ORIENTED_EDGE('',*,*,#440,.F.);
#440 = EDGE_CURVE('',#441,#441,#443,.T.);
#441 = VERTEX_POINT('',#442);
#442 = CARTESIAN_POINT('',(28.,22.,15.));
#443 = CIRCLE('',#444,1.5);
#444 = AXIS2_PLACEMENT_3D('',#445,#446,#447);
#445 = CARTESIAN_POINT('',(29.5,22.,15.));
#446 = DIRECTION('',(0.,1.,-2.22044604925E-16));
#447 = DIRECTION('',(-1.,0.,0.));
#448 = FACE_BOUND('',#449,.F.);
#449 = EDGE_LOOP('',(#450,#460,#468,#476));
#450 = ORIENTED_EDGE('',*,*,#451,.F.);
#451 = EDGE_CURVE('',#452,#454,#456,.T.);
#452 = VERTEX_POINT('',#453);
#453 = CARTESIAN_POINT('',(60.5,22.,12.5));
#454 = VERTEX_POINT('',#455);
#455 = CARTESIAN_POINT('',(44.5,22.,12.5));
#456 = LINE('',#457,#458);
#457 = CARTESIAN_POINT('',(35.253607167526,22.,12.5));
#458 = VECTOR('',#459,1.);
#459 = DIRECTION('',(-1.,0.,0.));
#460 = ORIENTED_EDGE('',*,*,#461,.F.);
#461 = EDGE_CURVE('',#462,#452,#464,.T.);
#462 = VERTEX_POINT('',#463);
#463 = CARTESIAN_POINT('',(60.5,22.,24.5));
#464 = LINE('',#465,#466);
#465 = CARTESIAN_POINT('',(60.5,22.,14.345365430685));
#466 = VECTOR('',#467,1.);
#467 = DIRECTION('',(0.,0.,-1.));
#468 = ORIENTED_EDGE('',*,*,#469,.F.);
#469 = EDGE_CURVE('',#470,#462,#472,.T.);
#470 = VERTEX_POINT('',#471);
#471 = CARTESIAN_POINT('',(44.5,22.,24.5));
#472 = LINE('',#473,#474);
#473 = CARTESIAN_POINT('',(27.253607167526,22.,24.5));
#474 = VECTOR('',#475,1.);
#475 = DIRECTION('',(1.,0.,0.));
#476 = ORIENTED_EDGE('',*,*,#477,.F.);
#477 = EDGE_CURVE('',#454,#470,#478,.T.);
#478 = LINE('',#479,#480);
#479 = CARTESIAN_POINT('',(44.5,22.,8.345365430685));
#480 = VECTOR('',#481,1.);
#481 = DIRECTION('',(0.,0.,1.));
#482 = FACE_BOUND('',#483,.F.);
#483 = EDGE_LOOP('',(#484));
#484 = ORIENTED_EDGE('',*,*,#485,.F.);
#485 = EDGE_CURVE('',#486,#486,#488,.T.);
#486 = VERTEX_POINT('',#487);
#487 = CARTESIAN_POINT('',(86.5,22.,29.));
#488 = CIRCLE('',#489,1.5);
#489 = AXIS2_PLACEMENT_3D('',#490,#491,#492);
#490 = CARTESIAN_POINT('',(88.,22.,29.));
#491 = DIRECTION('',(0.,1.,-0.));
#492 = DIRECTION('',(-1.,0.,0.));
#493 = FACE_BOUND('',#494,.F.);
#494 = EDGE_LOOP('',(#495,#505,#513,#521));
#495 = ORIENTED_EDGE('',*,*,#496,.T.);
#496 = EDGE_CURVE('',#497,#499,#501,.T.);
#497 = VERTEX_POINT('',#498);
#498 = CARTESIAN_POINT('',(94.5,22.,22.5));
#499 = VERTEX_POINT('',#500);
#500 = CARTESIAN_POINT('',(124.5,22.,22.5));
#501 = LINE('',#502,#503);
#502 = CARTESIAN_POINT('',(67.253607167526,22.,22.5));
#503 = VECTOR('',#504,1.);
#504 = DIRECTION('',(1.,0.,0.));
#505 = ORIENTED_EDGE('',*,*,#506,.T.);
#506 = EDGE_CURVE('',#499,#507,#509,.T.);
#507 = VERTEX_POINT('',#508);
#508 = CARTESIAN_POINT('',(124.5,22.,52.5));
#509 = LINE('',#510,#511);
#510 = CARTESIAN_POINT('',(124.5,22.,28.345365430685));
#511 = VECTOR('',#512,1.);
#512 = DIRECTION('',(0.,0.,1.));
#513 = ORIENTED_EDGE('',*,*,#514,.T.);
#514 = EDGE_CURVE('',#507,#515,#517,.T.);
#515 = VERTEX_POINT('',#516);
#516 = CARTESIAN_POINT('',(94.5,22.,52.5));
#517 = LINE('',#518,#519);
#518 = CARTESIAN_POINT('',(52.253607167526,22.,52.5));
#519 = VECTOR('',#520,1.);
#520 = DIRECTION('',(-1.,0.,0.));
#521 = ORIENTED_EDGE('',*,*,#522,.T.);
#522 = EDGE_CURVE('',#515,#497,#523,.T.);
#523 = LINE('',#524,#525);
#524 = CARTESIAN_POINT('',(94.5,22.,13.345365430685));
#525 = VECTOR('',#526,1.);
#526 = DIRECTION('',(0.,0.,-1.));
#527 = PLANE('',#528);
#528 = AXIS2_PLACEMENT_3D('',#529,#530,#531);
#529 = CARTESIAN_POINT('',(10.007214335051,22.,4.19073086137));
#530 = DIRECTION('',(0.,1.,0.));
#531 = DIRECTION('',(0.,0.,1.));
#532 = ADVANCED_FACE('',(#533,#706,#717,#728,#739,#750,#761,#795,#806,
#817,#828,#839,#850,#861,#895,#906),#940,.T.);
#533 = FACE_BOUND('',#534,.T.);
#534 = EDGE_LOOP('',(#535,#536,#537,#545,#553,#561,#569,#577,#585,#593,
#601,#609,#617,#625,#634,#642,#651,#659,#667,#675,#683,#691,#699,
#705));
#535 = ORIENTED_EDGE('',*,*,#31,.F.);
#536 = ORIENTED_EDGE('',*,*,#62,.T.);
#537 = ORIENTED_EDGE('',*,*,#538,.T.);
#538 = EDGE_CURVE('',#63,#539,#541,.T.);
#539 = VERTEX_POINT('',#540);
#540 = CARTESIAN_POINT('',(127.5,26.,-55.75));
#541 = LINE('',#542,#543);
#542 = CARTESIAN_POINT('',(127.5,26.,-19.5));
#543 = VECTOR('',#544,1.);
#544 = DIRECTION('',(0.,0.,-1.));
#545 = ORIENTED_EDGE('',*,*,#546,.F.);
#546 = EDGE_CURVE('',#547,#539,#549,.T.);
#547 = VERTEX_POINT('',#548);
#548 = CARTESIAN_POINT('',(-87.5,26.,-55.75));
#549 = LINE('',#550,#551);
#550 = CARTESIAN_POINT('',(-87.5,26.,-55.75));
#551 = VECTOR('',#552,1.);
#552 = DIRECTION('',(1.,0.,0.));
#553 = ORIENTED_EDGE('',*,*,#554,.F.);
#554 = EDGE_CURVE('',#555,#547,#557,.T.);
#555 = VERTEX_POINT('',#556);
#556 = CARTESIAN_POINT('',(-87.5,26.,-38.5));
#557 = LINE('',#558,#559);
#558 = CARTESIAN_POINT('',(-87.5,26.,-38.5));
#559 = VECTOR('',#560,1.);
#560 = DIRECTION('',(0.,0.,-1.));
#561 = ORIENTED_EDGE('',*,*,#562,.F.);
#562 = EDGE_CURVE('',#563,#555,#565,.T.);
#563 = VERTEX_POINT('',#564);
#564 = CARTESIAN_POINT('',(-94.5,26.,-38.5));
#565 = LINE('',#566,#567);
#566 = CARTESIAN_POINT('',(-94.5,26.,-38.5));
#567 = VECTOR('',#568,1.);
#568 = DIRECTION('',(1.,0.,0.));
#569 = ORIENTED_EDGE('',*,*,#570,.F.);
#570 = EDGE_CURVE('',#571,#563,#573,.T.);
#571 = VERTEX_POINT('',#572);
#572 = CARTESIAN_POINT('',(-94.5,26.,-19.5));
#573 = LINE('',#574,#575);
#574 = CARTESIAN_POINT('',(-94.5,26.,-19.5));
#575 = VECTOR('',#576,1.);
#576 = DIRECTION('',(0.,0.,-1.));
#577 = ORIENTED_EDGE('',*,*,#578,.F.);
#578 = EDGE_CURVE('',#579,#571,#581,.T.);
#579 = VERTEX_POINT('',#580);
#580 = CARTESIAN_POINT('',(-87.5,26.,-19.5));
#581 = LINE('',#582,#583);
#582 = CARTESIAN_POINT('',(-87.5,26.,-19.5));
#583 = VECTOR('',#584,1.);
#584 = DIRECTION('',(-1.,0.,0.));
#585 = ORIENTED_EDGE('',*,*,#586,.F.);
#586 = EDGE_CURVE('',#587,#579,#589,.T.);
#587 = VERTEX_POINT('',#588);
#588 = CARTESIAN_POINT('',(-87.5,26.,19.5));
#589 = LINE('',#590,#591);
#590 = CARTESIAN_POINT('',(-87.5,26.,19.5));
#591 = VECTOR('',#592,1.);
#592 = DIRECTION('',(0.,0.,-1.));
#593 = ORIENTED_EDGE('',*,*,#594,.F.);
#594 = EDGE_CURVE('',#595,#587,#597,.T.);
#595 = VERTEX_POINT('',#596);
#596 = CARTESIAN_POINT('',(-127.5,26.,19.5));
#597 = LINE('',#598,#599);
#598 = CARTESIAN_POINT('',(-127.5,26.,19.5));
#599 = VECTOR('',#600,1.);
#600 = DIRECTION('',(1.,0.,0.));
#601 = ORIENTED_EDGE('',*,*,#602,.F.);
#602 = EDGE_CURVE('',#603,#595,#605,.T.);
#603 = VERTEX_POINT('',#604);
#604 = CARTESIAN_POINT('',(-127.5,26.,58.5));
#605 = LINE('',#606,#607);
#606 = CARTESIAN_POINT('',(-127.5,26.,58.5));
#607 = VECTOR('',#608,1.);
#608 = DIRECTION('',(0.,0.,-1.));
#609 = ORIENTED_EDGE('',*,*,#610,.F.);
#610 = EDGE_CURVE('',#611,#603,#613,.T.);
#611 = VERTEX_POINT('',#612);
#612 = CARTESIAN_POINT('',(-70.,26.,58.5));
#613 = LINE('',#614,#615);
#614 = CARTESIAN_POINT('',(127.5,26.,58.5));
#615 = VECTOR('',#616,1.);
#616 = DIRECTION('',(-1.,0.,0.));
#617 = ORIENTED_EDGE('',*,*,#618,.F.);
#618 = EDGE_CURVE('',#619,#611,#621,.T.);
#619 = VERTEX_POINT('',#620);
#620 = CARTESIAN_POINT('',(-70.,26.,55.499999999998));
#621 = LINE('',#622,#623);
#622 = CARTESIAN_POINT('',(-70.,26.,55.499999999998));
#623 = VECTOR('',#624,1.);
#624 = DIRECTION('',(0.,2.22044604925E-16,1.));
#625 = ORIENTED_EDGE('',*,*,#626,.F.);
#626 = EDGE_CURVE('',#627,#619,#629,.T.);
#627 = VERTEX_POINT('',#628);
#628 = CARTESIAN_POINT('',(-67.,26.,52.499999999998));
#629 = CIRCLE('',#630,3.);
#630 = AXIS2_PLACEMENT_3D('',#631,#632,#633);
#631 = CARTESIAN_POINT('',(-67.,26.,55.499999999998));
#632 = DIRECTION('',(0.,1.,-2.22044604925E-16));
#633 = DIRECTION('',(-1.,0.,0.));
#634 = ORIENTED_EDGE('',*,*,#635,.F.);
#635 = EDGE_CURVE('',#636,#627,#638,.T.);
#636 = VERTEX_POINT('',#637);
#637 = CARTESIAN_POINT('',(-37.,26.,52.499999999998));
#638 = LINE('',#639,#640);
#639 = CARTESIAN_POINT('',(-37.,26.,52.499999999998));
#640 = VECTOR('',#641,1.);
#641 = DIRECTION('',(-1.,0.,0.));
#642 = ORIENTED_EDGE('',*,*,#643,.F.);
#643 = EDGE_CURVE('',#644,#636,#646,.T.);
#644 = VERTEX_POINT('',#645);
#645 = CARTESIAN_POINT('',(-34.,26.,55.499999999998));
#646 = CIRCLE('',#647,3.);
#647 = AXIS2_PLACEMENT_3D('',#648,#649,#650);
#648 = CARTESIAN_POINT('',(-37.,26.,55.499999999998));
#649 = DIRECTION('',(0.,1.,-2.22044604925E-16));
#650 = DIRECTION('',(-1.,0.,0.));
#651 = ORIENTED_EDGE('',*,*,#652,.F.);
#652 = EDGE_CURVE('',#653,#644,#655,.T.);
#653 = VERTEX_POINT('',#654);
#654 = CARTESIAN_POINT('',(-34.,26.,58.5));
#655 = LINE('',#656,#657);
#656 = CARTESIAN_POINT('',(-34.,26.,59.5));
#657 = VECTOR('',#658,1.);
#658 = DIRECTION('',(0.,-2.22044604925E-16,-1.));
#659 = ORIENTED_EDGE('',*,*,#660,.F.);
#660 = EDGE_CURVE('',#661,#653,#663,.T.);
#661 = VERTEX_POINT('',#662);
#662 = CARTESIAN_POINT('',(16.,26.,58.5));
#663 = LINE('',#664,#665);
#664 = CARTESIAN_POINT('',(127.5,26.,58.5));
#665 = VECTOR('',#666,1.);
#666 = DIRECTION('',(-1.,0.,0.));
#667 = ORIENTED_EDGE('',*,*,#668,.F.);
#668 = EDGE_CURVE('',#669,#661,#671,.T.);
#669 = VERTEX_POINT('',#670);
#670 = CARTESIAN_POINT('',(16.,26.,47.5));
#671 = LINE('',#672,#673);
#672 = CARTESIAN_POINT('',(16.,26.,47.5));
#673 = VECTOR('',#674,1.);
#674 = DIRECTION('',(0.,2.22044604925E-16,1.));
#675 = ORIENTED_EDGE('',*,*,#676,.F.);
#676 = EDGE_CURVE('',#677,#669,#679,.T.);
#677 = VERTEX_POINT('',#678);
#678 = CARTESIAN_POINT('',(40.,26.,47.5));
#679 = LINE('',#680,#681);
#680 = CARTESIAN_POINT('',(40.,26.,47.5));
#681 = VECTOR('',#682,1.);
#682 = DIRECTION('',(-1.,0.,0.));
#683 = ORIENTED_EDGE('',*,*,#684,.F.);
#684 = EDGE_CURVE('',#685,#677,#687,.T.);
#685 = VERTEX_POINT('',#686);
#686 = CARTESIAN_POINT('',(40.,26.,58.5));
#687 = LINE('',#688,#689);
#688 = CARTESIAN_POINT('',(40.,26.,67.5));
#689 = VECTOR('',#690,1.);
#690 = DIRECTION('',(0.,-2.22044604925E-16,-1.));
#691 = ORIENTED_EDGE('',*,*,#692,.F.);
#692 = EDGE_CURVE('',#693,#685,#695,.T.);
#693 = VERTEX_POINT('',#694);
#694 = CARTESIAN_POINT('',(127.5,26.,58.5));
#695 = LINE('',#696,#697);
#696 = CARTESIAN_POINT('',(127.5,26.,58.5));
#697 = VECTOR('',#698,1.);
#698 = DIRECTION('',(-1.,0.,0.));
#699 = ORIENTED_EDGE('',*,*,#700,.F.);
#700 = EDGE_CURVE('',#94,#693,#701,.T.);
#701 = LINE('',#702,#703);
#702 = CARTESIAN_POINT('',(127.5,26.,19.5));
#703 = VECTOR('',#704,1.);
#704 = DIRECTION('',(0.,0.,1.));
#705 = ORIENTED_EDGE('',*,*,#93,.F.);
#706 = FACE_BOUND('',#707,.T.);
#707 = EDGE_LOOP('',(#708));
#708 = ORIENTED_EDGE('',*,*,#709,.F.);
#709 = EDGE_CURVE('',#710,#710,#712,.T.);
#710 = VERTEX_POINT('',#711);
#711 = CARTESIAN_POINT('',(-81.,26.,-50.));
#712 = CIRCLE('',#713,3.5);
#713 = AXIS2_PLACEMENT_3D('',#714,#715,#716);
#714 = CARTESIAN_POINT('',(-77.5,26.,-50.));
#715 = DIRECTION('',(0.,1.,-0.));
#716 = DIRECTION('',(-1.,0.,0.));
#717 = FACE_BOUND('',#718,.T.);
#718 = EDGE_LOOP('',(#719));
#719 = ORIENTED_EDGE('',*,*,#720,.F.);
#720 = EDGE_CURVE('',#721,#721,#723,.T.);
#721 = VERTEX_POINT('',#722);
#722 = CARTESIAN_POINT('',(-89.5,26.,-29.));
#723 = CIRCLE('',#724,1.5);
#724 = AXIS2_PLACEMENT_3D('',#725,#726,#727);
#725 = CARTESIAN_POINT('',(-88.,26.,-29.));
#726 = DIRECTION('',(0.,1.,-0.));
#727 = DIRECTION('',(-1.,0.,0.));
#728 = FACE_BOUND('',#729,.T.);
#729 = EDGE_LOOP('',(#730));
#730 = ORIENTED_EDGE('',*,*,#731,.F.);
#731 = EDGE_CURVE('',#732,#732,#734,.T.);
#732 = VERTEX_POINT('',#733);
#733 = CARTESIAN_POINT('',(-32.,26.,-50.));
#734 = CIRCLE('',#735,3.5);
#735 = AXIS2_PLACEMENT_3D('',#736,#737,#738);
#736 = CARTESIAN_POINT('',(-28.5,26.,-50.));
#737 = DIRECTION('',(0.,1.,-0.));
#738 = DIRECTION('',(-1.,0.,0.));
#739 = FACE_BOUND('',#740,.T.);
#740 = EDGE_LOOP('',(#741));
#741 = ORIENTED_EDGE('',*,*,#742,.F.);
#742 = EDGE_CURVE('',#743,#743,#745,.T.);
#743 = VERTEX_POINT('',#744);
#744 = CARTESIAN_POINT('',(-10.,26.,-40.));
#745 = CIRCLE('',#746,1.5);
#746 = AXIS2_PLACEMENT_3D('',#747,#748,#749);
#747 = CARTESIAN_POINT('',(-8.5,26.,-40.));
#748 = DIRECTION('',(0.,1.,-2.22044604925E-16));
#749 = DIRECTION('',(-1.,0.,0.));
#750 = FACE_BOUND('',#751,.T.);
#751 = EDGE_LOOP('',(#752));
#752 = ORIENTED_EDGE('',*,*,#753,.F.);
#753 = EDGE_CURVE('',#754,#754,#756,.T.);
#754 = VERTEX_POINT('',#755);
#755 = CARTESIAN_POINT('',(-81.,26.,8.));
#756 = CIRCLE('',#757,3.5);
#757 = AXIS2_PLACEMENT_3D('',#758,#759,#760);
#758 = CARTESIAN_POINT('',(-77.5,26.,8.));
#759 = DIRECTION('',(0.,1.,-0.));
#760 = DIRECTION('',(-1.,0.,0.));
#761 = FACE_BOUND('',#762,.T.);
#762 = EDGE_LOOP('',(#763,#773,#781,#789));
#763 = ORIENTED_EDGE('',*,*,#764,.F.);
#764 = EDGE_CURVE('',#765,#767,#769,.T.);
#765 = VERTEX_POINT('',#766);
#766 = CARTESIAN_POINT('',(-94.5,26.,52.499999999967));
#767 = VERTEX_POINT('',#768);
#768 = CARTESIAN_POINT('',(-94.5,26.,22.5));
#769 = LINE('',#770,#771);
#770 = CARTESIAN_POINT('',(-94.5,26.,52.499999999967));
#771 = VECTOR('',#772,1.);
#772 = DIRECTION('',(0.,-2.22044604925E-16,-1.));
#773 = ORIENTED_EDGE('',*,*,#774,.F.);
#774 = EDGE_CURVE('',#775,#765,#777,.T.);
#775 = VERTEX_POINT('',#776);
#776 = CARTESIAN_POINT('',(-124.4999999999,26.,52.499999999967));
#777 = LINE('',#778,#779);
#778 = CARTESIAN_POINT('',(-124.4999999999,26.,52.499999999967));
#779 = VECTOR('',#780,1.);
#780 = DIRECTION('',(1.,0.,0.));
#781 = ORIENTED_EDGE('',*,*,#782,.F.);
#782 = EDGE_CURVE('',#783,#775,#785,.T.);
#783 = VERTEX_POINT('',#784);
#784 = CARTESIAN_POINT('',(-124.4999999999,26.,22.5));
#785 = LINE('',#786,#787);
#786 = CARTESIAN_POINT('',(-124.4999999999,26.,22.5));
#787 = VECTOR('',#788,1.);
#788 = DIRECTION('',(0.,2.22044604925E-16,1.));
#789 = ORIENTED_EDGE('',*,*,#790,.F.);
#790 = EDGE_CURVE('',#767,#783,#791,.T.);
#791 = LINE('',#792,#793);
#792 = CARTESIAN_POINT('',(-94.5,26.,22.5));
#793 = VECTOR('',#794,1.);
#794 = DIRECTION('',(-1.,0.,0.));
#795 = FACE_BOUND('',#796,.T.);
#796 = EDGE_LOOP('',(#797));
#797 = ORIENTED_EDGE('',*,*,#798,.F.);
#798 = EDGE_CURVE('',#799,#799,#801,.T.);
#799 = VERTEX_POINT('',#800);
#800 = CARTESIAN_POINT('',(-89.5,26.,29.));
#801 = CIRCLE('',#802,1.5);
#802 = AXIS2_PLACEMENT_3D('',#803,#804,#805);
#803 = CARTESIAN_POINT('',(-88.,26.,29.));
#804 = DIRECTION('',(0.,1.,-0.));
#805 = DIRECTION('',(-1.,0.,0.));
#806 = FACE_BOUND('',#807,.T.);
#807 = EDGE_LOOP('',(#808));
#808 = ORIENTED_EDGE('',*,*,#809,.F.);
#809 = EDGE_CURVE('',#810,#810,#812,.T.);
#810 = VERTEX_POINT('',#811);
#811 = CARTESIAN_POINT('',(-32.,26.,8.));
#812 = CIRCLE('',#813,3.5);
#813 = AXIS2_PLACEMENT_3D('',#814,#815,#816);
#814 = CARTESIAN_POINT('',(-28.5,26.,8.));
#815 = DIRECTION('',(0.,1.,-0.));
#816 = DIRECTION('',(-1.,0.,0.));
#817 = FACE_BOUND('',#818,.T.);
#818 = EDGE_LOOP('',(#819));
#819 = ORIENTED_EDGE('',*,*,#820,.F.);
#820 = EDGE_CURVE('',#821,#821,#823,.T.);
#821 = VERTEX_POINT('',#822);
#822 = CARTESIAN_POINT('',(-10.,26.,15.));
#823 = CIRCLE('',#824,1.5);
#824 = AXIS2_PLACEMENT_3D('',#825,#826,#827);
#825 = CARTESIAN_POINT('',(-8.5,26.,15.));
#826 = DIRECTION('',(0.,1.,-2.22044604925E-16));
#827 = DIRECTION('',(-1.,0.,0.));
#828 = FACE_BOUND('',#829,.T.);
#829 = EDGE_LOOP('',(#830));
#830 = ORIENTED_EDGE('',*,*,#831,.F.);
#831 = EDGE_CURVE('',#832,#832,#834,.T.);
#832 = VERTEX_POINT('',#833);
#833 = CARTESIAN_POINT('',(28.,26.,-40.));
#834 = CIRCLE('',#835,1.5);
#835 = AXIS2_PLACEMENT_3D('',#836,#837,#838);
#836 = CARTESIAN_POINT('',(29.5,26.,-40.));
#837 = DIRECTION('',(0.,1.,-2.22044604925E-16));
#838 = DIRECTION('',(-1.,0.,0.));
#839 = FACE_BOUND('',#840,.T.);
#840 = EDGE_LOOP('',(#841));
#841 = ORIENTED_EDGE('',*,*,#842,.F.);
#842 = EDGE_CURVE('',#843,#843,#845,.T.);
#843 = VERTEX_POINT('',#844);
#844 = CARTESIAN_POINT('',(86.5,26.,-29.));
#845 = CIRCLE('',#846,1.5);
#846 = AXIS2_PLACEMENT_3D('',#847,#848,#849);
#847 = CARTESIAN_POINT('',(88.,26.,-29.));
#848 = DIRECTION('',(0.,1.,-0.));
#849 = DIRECTION('',(-1.,0.,0.));
#850 = FACE_BOUND('',#851,.T.);
#851 = EDGE_LOOP('',(#852));
#852 = ORIENTED_EDGE('',*,*,#853,.F.);
#853 = EDGE_CURVE('',#854,#854,#856,.T.);
#854 = VERTEX_POINT('',#855);
#855 = CARTESIAN_POINT('',(28.,26.,15.));
#856 = CIRCLE('',#857,1.5);
#857 = AXIS2_PLACEMENT_3D('',#858,#859,#860);
#858 = CARTESIAN_POINT('',(29.5,26.,15.));
#859 = DIRECTION('',(0.,1.,-2.22044604925E-16));
#860 = DIRECTION('',(-1.,0.,0.));
#861 = FACE_BOUND('',#862,.T.);
#862 = EDGE_LOOP('',(#863,#873,#881,#889));
#863 = ORIENTED_EDGE('',*,*,#864,.F.);
#864 = EDGE_CURVE('',#865,#867,#869,.T.);
#865 = VERTEX_POINT('',#866);
#866 = CARTESIAN_POINT('',(60.5,26.,12.5));
#867 = VERTEX_POINT('',#868);
#868 = CARTESIAN_POINT('',(44.5,26.,12.5));
#869 = LINE('',#870,#871);
#870 = CARTESIAN_POINT('',(60.5,26.,12.5));
#871 = VECTOR('',#872,1.);
#872 = DIRECTION('',(-1.,0.,0.));
#873 = ORIENTED_EDGE('',*,*,#874,.F.);
#874 = EDGE_CURVE('',#875,#865,#877,.T.);
#875 = VERTEX_POINT('',#876);
#876 = CARTESIAN_POINT('',(60.5,26.,24.5));
#877 = LINE('',#878,#879);
#878 = CARTESIAN_POINT('',(60.5,26.,24.5));
#879 = VECTOR('',#880,1.);
#880 = DIRECTION('',(0.,-2.22044604925E-16,-1.));
#881 = ORIENTED_EDGE('',*,*,#882,.F.);
#882 = EDGE_CURVE('',#883,#875,#885,.T.);
#883 = VERTEX_POINT('',#884);
#884 = CARTESIAN_POINT('',(44.5,26.,24.5));
#885 = LINE('',#886,#887);
#886 = CARTESIAN_POINT('',(44.5,26.,24.5));
#887 = VECTOR('',#888,1.);
#888 = DIRECTION('',(1.,0.,0.));
#889 = ORIENTED_EDGE('',*,*,#890,.F.);
#890 = EDGE_CURVE('',#867,#883,#891,.T.);
#891 = LINE('',#892,#893);
#892 = CARTESIAN_POINT('',(44.5,26.,12.5));
#893 = VECTOR('',#894,1.);
#894 = DIRECTION('',(0.,2.22044604925E-16,1.));
#895 = FACE_BOUND('',#896,.T.);
#896 = EDGE_LOOP('',(#897));
#897 = ORIENTED_EDGE('',*,*,#898,.F.);
#898 = EDGE_CURVE('',#899,#899,#901,.T.);
#899 = VERTEX_POINT('',#900);
#900 = CARTESIAN_POINT('',(86.5,26.,29.));
#901 = CIRCLE('',#902,1.5);
#902 = AXIS2_PLACEMENT_3D('',#903,#904,#905);
#903 = CARTESIAN_POINT('',(88.,26.,29.));
#904 = DIRECTION('',(0.,1.,-0.));
#905 = DIRECTION('',(-1.,0.,0.));
#906 = FACE_BOUND('',#907,.T.);
#907 = EDGE_LOOP('',(#908,#918,#926,#934));
#908 = ORIENTED_EDGE('',*,*,#909,.F.);
#909 = EDGE_CURVE('',#910,#912,#914,.T.);
#910 = VERTEX_POINT('',#911);
#911 = CARTESIAN_POINT('',(124.5,26.,52.5));
#912 = VERTEX_POINT('',#913);
#913 = CARTESIAN_POINT('',(124.5,26.,22.5));
#914 = LINE('',#915,#916);
#915 = CARTESIAN_POINT('',(124.5,26.,52.5));
#916 = VECTOR('',#917,1.);
#917 = DIRECTION('',(0.,-2.22044604925E-16,-1.));
#918 = ORIENTED_EDGE('',*,*,#919,.F.);
#919 = EDGE_CURVE('',#920,#910,#922,.T.);
#920 = VERTEX_POINT('',#921);
#921 = CARTESIAN_POINT('',(94.5,26.,52.5));
#922 = LINE('',#923,#924);
#923 = CARTESIAN_POINT('',(94.5,26.,52.5));
#924 = VECTOR('',#925,1.);
#925 = DIRECTION('',(1.,0.,0.));
#926 = ORIENTED_EDGE('',*,*,#927,.F.);
#927 = EDGE_CURVE('',#928,#920,#930,.T.);
#928 = VERTEX_POINT('',#929);
#929 = CARTESIAN_POINT('',(94.5,26.,22.5));
#930 = LINE('',#931,#932);
#931 = CARTESIAN_POINT('',(94.5,26.,22.5));
#932 = VECTOR('',#933,1.);
#933 = DIRECTION('',(0.,2.22044604925E-16,1.));
#934 = ORIENTED_EDGE('',*,*,#935,.F.);
#935 = EDGE_CURVE('',#912,#928,#936,.T.);
#936 = LINE('',#937,#938);
#937 = CARTESIAN_POINT('',(124.5,26.,22.5));
#938 = VECTOR('',#939,1.);
#939 = DIRECTION('',(-1.,0.,0.));
#940 = PLANE('',#941);
#941 = AXIS2_PLACEMENT_3D('',#942,#943,#944);
#942 = CARTESIAN_POINT('',(10.007214335051,26.,4.19073086137));
#943 = DIRECTION('',(0.,1.,0.));
#944 = DIRECTION('',(0.,0.,1.));
#945 = ADVANCED_FACE('',(#946),#957,.F.);
#946 = FACE_BOUND('',#947,.F.);
#947 = EDGE_LOOP('',(#948,#949,#950,#956));
#948 = ORIENTED_EDGE('',*,*,#70,.T.);
#949 = ORIENTED_EDGE('',*,*,#538,.T.);
#950 = ORIENTED_EDGE('',*,*,#951,.F.);
#951 = EDGE_CURVE('',#126,#539,#952,.T.);
#952 = LINE('',#953,#954);
#953 = CARTESIAN_POINT('',(127.5,22.,-55.75));
#954 = VECTOR('',#955,1.);
#955 = DIRECTION('',(0.,1.,-2.2E-16));
#956 = ORIENTED_EDGE('',*,*,#125,.F.);
#957 = PLANE('',#958);
#958 = AXIS2_PLACEMENT_3D('',#959,#960,#961);
#959 = CARTESIAN_POINT('',(127.5,22.,-19.5));
#960 = DIRECTION('',(-1.,0.,0.));
#961 = DIRECTION('',(0.,-2.2E-16,-1.));
#962 = ADVANCED_FACE('',(#963),#974,.T.);
#963 = FACE_BOUND('',#964,.T.);
#964 = EDGE_LOOP('',(#965,#966,#967,#973));
#965 = ORIENTED_EDGE('',*,*,#101,.T.);
#966 = ORIENTED_EDGE('',*,*,#700,.T.);
#967 = ORIENTED_EDGE('',*,*,#968,.F.);
#968 = EDGE_CURVE('',#280,#693,#969,.T.);
#969 = LINE('',#970,#971);
#970 = CARTESIAN_POINT('',(127.5,22.,58.5));
#971 = VECTOR('',#972,1.);
#972 = DIRECTION('',(0.,1.,-2.2E-16));
#973 = ORIENTED_EDGE('',*,*,#287,.F.);
#974 = PLANE('',#975);
#975 = AXIS2_PLACEMENT_3D('',#976,#977,#978);
#976 = CARTESIAN_POINT('',(127.5,22.,19.5));
#977 = DIRECTION('',(1.,0.,0.));
#978 = DIRECTION('',(0.,2.2E-16,1.));
#979 = ADVANCED_FACE('',(#980),#991,.T.);