-
Notifications
You must be signed in to change notification settings - Fork 17
/
Copy path1167-E.STEP
6254 lines (6253 loc) · 448 KB
/
1167-E.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 (( 'STEP AP203' ),
'1' );
FILE_NAME ('1167-E.STEP',
'2015-10-26T16:17:16',
( '' ),
( '' ),
'SwSTEP 2.0',
'SolidWorks 2015',
'' );
FILE_SCHEMA (( 'CONFIG_CONTROL_DESIGN' ));
ENDSEC;
DATA;
#1 = CARTESIAN_POINT ( 'NONE', ( -1.563958014528275000, 3.681851814706286900, 2.213303937626772000 ) ) ;
#2 = LINE ( 'NONE', #3337, #4501 ) ;
#3 = ADVANCED_FACE ( 'NONE', ( #4647 ), #1781, .F. ) ;
#4 = ORIENTED_EDGE ( 'NONE', *, *, #628, .T. ) ;
#5 = VECTOR ( 'NONE', #4146, 1000.000000000000000 ) ;
#6 = ORIENTED_EDGE ( 'NONE', *, *, #1425, .T. ) ;
#7 = LINE ( 'NONE', #4412, #1303 ) ;
#8 = VERTEX_POINT ( 'NONE', #6049 ) ;
#9 = ORIENTED_EDGE ( 'NONE', *, *, #5001, .T. ) ;
#10 = CARTESIAN_POINT ( 'NONE', ( -2.960487880473995100, -4.755282641139980400, 1.621521349104050300 ) ) ;
#11 = FACE_OUTER_BOUND ( 'NONE', #3366, .T. ) ;
#12 = VERTEX_POINT ( 'NONE', #1315 ) ;
#13 = CARTESIAN_POINT ( 'NONE', ( 0.4000000000000000200, 5.587235585471640700, 1.436582596283391100 ) ) ;
#14 = ORIENTED_EDGE ( 'NONE', *, *, #2191, .T. ) ;
#15 = VECTOR ( 'NONE', #5983, 1000.000000000000000 ) ;
#16 = AXIS2_PLACEMENT_3D ( 'NONE', #5888, #1655, #2335 ) ;
#17 = CARTESIAN_POINT ( 'NONE', ( 0.4000000000000000200, 5.587235585471640700, -1.734723475976807100E-015 ) ) ;
#18 = CARTESIAN_POINT ( 'NONE', ( 5.587235585471638900, -0.4000000000000195600, 5.500000000000000000 ) ) ;
#19 = ORIENTED_EDGE ( 'NONE', *, *, #2878, .T. ) ;
#20 = VECTOR ( 'NONE', #1079, 1000.000000000000000 ) ;
#21 = CARTESIAN_POINT ( 'NONE', ( 1.441182325954808700, 7.615291096798017600, 3.582133204552681700 ) ) ;
#22 = ORIENTED_EDGE ( 'NONE', *, *, #4148, .F. ) ;
#23 = ORIENTED_EDGE ( 'NONE', *, *, #4965, .T. ) ;
#24 = DIRECTION ( 'NONE', ( -0.0000000000000000000, -0.0000000000000000000, 1.000000000000000000 ) ) ;
#25 = DIRECTION ( 'NONE', ( -0.6494480483301848800, -0.7604059656000298200, -0.0000000000000000000 ) ) ;
#26 = CIRCLE ( 'NONE', #2219, 7.750000000000000000 ) ;
#27 = ORIENTED_EDGE ( 'NONE', *, *, #4052, .T. ) ;
#28 = LINE ( 'NONE', #3032, #1858 ) ;
#29 = ORIENTED_EDGE ( 'NONE', *, *, #3870, .F. ) ;
#30 = ORIENTED_EDGE ( 'NONE', *, *, #1662, .F. ) ;
#31 = ORIENTED_EDGE ( 'NONE', *, *, #6034, .T. ) ;
#32 = ORIENTED_EDGE ( 'NONE', *, *, #1070, .F. ) ;
#33 = ADVANCED_FACE ( 'NONE', ( #4532 ), #5413, .T. ) ;
#34 = ORIENTED_EDGE ( 'NONE', *, *, #3986, .T. ) ;
#35 = VECTOR ( 'NONE', #1091, 1000.000000000000100 ) ;
#36 = ORIENTED_EDGE ( 'NONE', *, *, #3926, .F. ) ;
#37 = EDGE_CURVE ( 'NONE', #2937, #4899, #1619, .T. ) ;
#38 = DIRECTION ( 'NONE', ( 0.3826834323650907300, 0.9238795325112864100, 0.0000000000000000000 ) ) ;
#39 = VECTOR ( 'NONE', #2230, 999.9999999999998900 ) ;
#40 = CYLINDRICAL_SURFACE ( 'NONE', #798, 6.214999999999999900 ) ;
#41 = DIRECTION ( 'NONE', ( 0.9723699203976757800, -0.2334453638559091100, 0.0000000000000000000 ) ) ;
#42 = CARTESIAN_POINT ( 'NONE', ( -4.155983220726967400, 4.621041924613527900, 5.500000000000000000 ) ) ;
#43 = EDGE_CURVE ( 'NONE', #1503, #195, #1694, .T. ) ;
#44 = DIRECTION ( 'NONE', ( -0.2334453638558950700, 0.9723699203976791100, 0.0000000000000000000 ) ) ;
#45 = AXIS2_PLACEMENT_3D ( 'NONE', #4939, #5271, #5463 ) ;
#46 = CARTESIAN_POINT ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, -1.734723475976807100E-015 ) ) ;
#47 = CARTESIAN_POINT ( 'NONE', ( -2.524594437261006500, 5.679141478018555000, 0.0000000000000000000 ) ) ;
#48 = LINE ( 'NONE', #5588, #6125 ) ;
#49 = EDGE_LOOP ( 'NONE', ( #5939, #3810, #5473, #1075 ) ) ;
#50 = ORIENTED_EDGE ( 'NONE', *, *, #5780, .F. ) ;
#51 = APPROVAL_DATE_TIME ( #1348, #5738 ) ;
#52 = ORIENTED_EDGE ( 'NONE', *, *, #1667, .F. ) ;
#53 = EDGE_CURVE ( 'NONE', #2808, #349, #5277, .T. ) ;
#54 = DIRECTION ( 'NONE', ( -0.0000000000000000000, -0.0000000000000000000, 1.000000000000000000 ) ) ;
#55 = PLANE ( 'NONE', #4967 ) ;
#56 = AXIS2_PLACEMENT_3D ( 'NONE', #615, #3964, #3059 ) ;
#57 = CIRCLE ( 'NONE', #4168, 6.214999999999999900 ) ;
#58 = CARTESIAN_POINT ( 'NONE', ( 3.110602590934931700, -5.380555410110455100, 0.0000000000000000000 ) ) ;
#59 = CARTESIAN_POINT ( 'NONE', ( -5.437383609388963800, -1.346128140969082600, 1.516333397397638900 ) ) ;
#60 = MECHANICAL_CONTEXT ( 'NONE', #5801, 'mechanical' ) ;
#61 = DIRECTION ( 'NONE', ( -0.7604059656000364800, -0.6494480483301771100, -0.0000000000000000000 ) ) ;
#62 = LINE ( 'NONE', #278, #6137 ) ;
#63 = ORIENTED_EDGE ( 'NONE', *, *, #43, .T. ) ;
#64 = DIRECTION ( 'NONE', ( 0.0000000000000000000, -0.0000000000000000000, 1.000000000000000000 ) ) ;
#65 = CARTESIAN_POINT ( 'NONE', ( 4.621041924613453300, -4.155983220727050800, 13.90000000000000000 ) ) ;
#66 = EDGE_CURVE ( 'NONE', #4726, #4257, #2613, .T. ) ;
#67 = AXIS2_PLACEMENT_3D ( 'NONE', #4190, #1365, #4666 ) ;
#68 = EDGE_LOOP ( 'NONE', ( #1669, #2673, #30, #3995 ) ) ;
#69 = CYLINDRICAL_SURFACE ( 'NONE', #4212, 6.214999999999999900 ) ;
#70 = CARTESIAN_POINT ( 'NONE', ( 4.999999999999999100, 6.123233995736765300E-016, 15.40000000000000000 ) ) ;
#71 = ORIENTED_EDGE ( 'NONE', *, *, #3886, .T. ) ;
#72 = ORIENTED_EDGE ( 'NONE', *, *, #5771, .T. ) ;
#73 = LINE ( 'NONE', #4457, #2487 ) ;
#74 = DIRECTION ( 'NONE', ( -0.0000000000000000000, -0.0000000000000000000, 1.000000000000000000 ) ) ;
#75 = FACE_OUTER_BOUND ( 'NONE', #5364, .T. ) ;
#76 = VERTEX_POINT ( 'NONE', #6085 ) ;
#77 = ORIENTED_EDGE ( 'NONE', *, *, #2099, .T. ) ;
#78 = CIRCLE ( 'NONE', #5790, 6.214999999999999900 ) ;
#79 = DIRECTION ( 'NONE', ( 0.3826834323650907300, -0.9238795325112864100, -0.0000000000000000000 ) ) ;
#80 = ORIENTED_EDGE ( 'NONE', *, *, #5452, .F. ) ;
#81 = PERSON_AND_ORGANIZATION_ROLE ( 'classification_officer' ) ;
#82 = CARTESIAN_POINT ( 'NONE', ( 5.587235585471638900, -0.4000000000000195600, -8.400000000000002100 ) ) ;
#83 = EDGE_CURVE ( 'NONE', #1406, #1691, #6022, .T. ) ;
#84 = LINE ( 'NONE', #5148, #2493 ) ;
#85 = CARTESIAN_POINT ( 'NONE', ( 1.346128140969138800, 5.437383609388951400, 0.0000000000000000000 ) ) ;
#86 = ORIENTED_EDGE ( 'NONE', *, *, #3404, .F. ) ;
#87 = DIRECTION ( 'NONE', ( -0.7604059656000388100, -0.6494480483301744400, 0.0000000000000000000 ) ) ;
#88 = VERTEX_POINT ( 'NONE', #1714 ) ;
#89 = VERTEX_POINT ( 'NONE', #6154 ) ;
#90 = EDGE_CURVE ( 'NONE', #1828, #5593, #5121, .T. ) ;
#91 = CIRCLE ( 'NONE', #2344, 4.999999999999999100 ) ;
#92 = CARTESIAN_POINT ( 'NONE', ( -3.607701475973855000, 4.285054439306074800, -8.400000000000002100 ) ) ;
#93 = AXIS2_PLACEMENT_3D ( 'NONE', #306, #2259, #288 ) ;
#94 = ORIENTED_EDGE ( 'NONE', *, *, #2877, .F. ) ;
#95 = DIRECTION ( 'NONE', ( -0.0000000000000000000, -0.0000000000000000000, 1.000000000000000000 ) ) ;
#96 = ORIENTED_EDGE ( 'NONE', *, *, #4369, .F. ) ;
#97 = CARTESIAN_POINT ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, 14.90000000000000000 ) ) ;
#98 = ORIENTED_EDGE ( 'NONE', *, *, #1432, .T. ) ;
#99 = ORIENTED_EDGE ( 'NONE', *, *, #1997, .T. ) ;
#100 = ORIENTED_EDGE ( 'NONE', *, *, #5120, .T. ) ;
#101 = LINE ( 'NONE', #6065, #5029 ) ;
#102 = ORIENTED_EDGE ( 'NONE', *, *, #3919, .F. ) ;
#103 = EDGE_LOOP ( 'NONE', ( #4039, #5760, #502, #2178 ) ) ;
#104 = CARTESIAN_POINT ( 'NONE', ( -2.106973354005189600, 5.190170013889020800, -8.400000000000002100 ) ) ;
#105 = ORIENTED_EDGE ( 'NONE', *, *, #368, .T. ) ;
#106 = EDGE_CURVE ( 'NONE', #328, #4162, #5194, .T. ) ;
#107 = EDGE_CURVE ( 'NONE', #4982, #2061, #4574, .T. ) ;
#108 = ORIENTED_EDGE ( 'NONE', *, *, #5813, .F. ) ;
#109 = ORIENTED_EDGE ( 'NONE', *, *, #5126, .T. ) ;
#110 = CARTESIAN_POINT ( 'NONE', ( 1.243575368946357100, 3.802606399111754200, 3.839750744562346900 ) ) ;
#111 = FACE_OUTER_BOUND ( 'NONE', #3111, .T. ) ;
#112 = CARTESIAN_POINT ( 'NONE', ( 3.607701475973887500, -4.285054439306048100, 1.621521349104046800 ) ) ;
#113 = ORIENTED_EDGE ( 'NONE', *, *, #1464, .F. ) ;
#114 = ORIENTED_EDGE ( 'NONE', *, *, #2878, .F. ) ;
#115 = DIRECTION ( 'NONE', ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#116 = LINE ( 'NONE', #3571, #281 ) ;
#117 = CARTESIAN_POINT ( 'NONE', ( 5.437383609388946000, -1.346128140969158600, -8.400000000000002100 ) ) ;
#118 = CARTESIAN_POINT ( 'NONE', ( 4.621041924613453300, -4.155983220727050800, -8.400000000000002100 ) ) ;
#119 = CARTESIAN_POINT ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, -1.734723475976807100E-015 ) ) ;
#120 = AXIS2_PLACEMENT_3D ( 'NONE', #3957, #4628, #908 ) ;
#121 = DIRECTION ( 'NONE', ( 0.9969173337331281900, 0.07845909572784161300, 0.0000000000000000000 ) ) ;
#122 = ADVANCED_FACE ( 'NONE', ( #5492 ), #6088, .T. ) ;
#123 = CIRCLE ( 'NONE', #4977, 6.214999999999999900 ) ;
#124 = CARTESIAN_POINT ( 'NONE', ( 1.015917811295025300, 3.872091359970260400, 4.067784707298620200 ) ) ;
#125 = EDGE_CURVE ( 'NONE', #1900, #3509, #4282, .T. ) ;
#126 = EDGE_CURVE ( 'NONE', #4944, #4769, #2522, .T. ) ;
#127 = VECTOR ( 'NONE', #2875, 1000.000000000000000 ) ;
#128 = ORIENTED_EDGE ( 'NONE', *, *, #2023, .T. ) ;
#129 = EDGE_LOOP ( 'NONE', ( #4377, #1898, #1403, #5487 ) ) ;
#130 = ADVANCED_FACE ( 'NONE', ( #3978, #174 ), #55, .T. ) ;
#131 = CARTESIAN_POINT ( 'NONE', ( 4.621041924613482600, 4.155983220727018900, 1.621521349104046800 ) ) ;
#132 = AXIS2_PLACEMENT_3D ( 'NONE', #660, #2301, #1774 ) ;
#133 = CARTESIAN_POINT ( 'NONE', ( -4.155983220727068600, -4.621041924613436400, -8.400000000000002100 ) ) ;
#134 = VECTOR ( 'NONE', #916, 1000.000000000000000 ) ;
#135 = CARTESIAN_POINT ( 'NONE', ( 5.388442211513329500E-016, 7.750000000000000000, 4.399999999999997700 ) ) ;
#136 = AXIS2_PLACEMENT_3D ( 'NONE', #3686, #1280, #1221 ) ;
#137 = EDGE_CURVE ( 'NONE', #3751, #1680, #5584, .T. ) ;
#138 = VECTOR ( 'NONE', #680, 1000.000000000000000 ) ;
#139 = PLANE ( 'NONE', #4739 ) ;
#140 = DIRECTION ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#141 = EDGE_LOOP ( 'NONE', ( #2638, #1086, #6101, #6203 ) ) ;
#142 = ORIENTED_EDGE ( 'NONE', *, *, #961, .T. ) ;
#143 = FACE_OUTER_BOUND ( 'NONE', #969, .T. ) ;
#144 = CARTESIAN_POINT ( 'NONE', ( 2.960487880473926700, -4.755282641140022200, 5.500000000000000000 ) ) ;
#145 = CC_DESIGN_SECURITY_CLASSIFICATION ( #4737, ( #3162 ) ) ;
#146 = FACE_OUTER_BOUND ( 'NONE', #4949, .T. ) ;
#147 = ADVANCED_FACE ( 'NONE', ( #4807 ), #2376, .T. ) ;
#148 = ORIENTED_EDGE ( 'NONE', *, *, #4368, .T. ) ;
#149 = FACE_OUTER_BOUND ( 'NONE', #1080, .T. ) ;
#150 = DIRECTION ( 'NONE', ( -0.07845909572785252100, -0.9969173337331273000, -0.0000000000000000000 ) ) ;
#151 = AXIS2_PLACEMENT_3D ( 'NONE', #788, #727, #345 ) ;
#152 = FACE_OUTER_BOUND ( 'NONE', #5732, .T. ) ;
#153 = CARTESIAN_POINT ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, 13.90000000000000000 ) ) ;
#154 = ORIENTED_EDGE ( 'NONE', *, *, #412, .T. ) ;
#155 = CARTESIAN_POINT ( 'NONE', ( -4.155983220727068600, -4.621041924613436400, 3.878478650895947700 ) ) ;
#156 = VERTEX_POINT ( 'NONE', #5294 ) ;
#157 = VERTEX_POINT ( 'NONE', #2207 ) ;
#158 = DIRECTION ( 'NONE', ( 0.8090169943749531100, 0.5877852522924653700, 0.0000000000000000000 ) ) ;
#159 = FACE_OUTER_BOUND ( 'NONE', #669, .T. ) ;
#160 = ADVANCED_FACE ( 'NONE', ( #4215 ), #3173, .T. ) ;
#161 = FACE_OUTER_BOUND ( 'NONE', #3667, .T. ) ;
#162 = DIRECTION ( 'NONE', ( 0.6494480483301903200, 0.7604059656000252700, 0.0000000000000000000 ) ) ;
#163 = ORIENTED_EDGE ( 'NONE', *, *, #1431, .T. ) ;
#164 = CIRCLE ( 'NONE', #1198, 6.214999999999999900 ) ;
#165 = ORIENTED_EDGE ( 'NONE', *, *, #2165, .T. ) ;
#166 = CARTESIAN_POINT ( 'NONE', ( -4.155983220727068600, -4.621041924613436400, 1.621521349104050300 ) ) ;
#167 = EDGE_CURVE ( 'NONE', #2071, #3748, #3320, .T. ) ;
#168 = ORIENTED_EDGE ( 'NONE', *, *, #5226, .T. ) ;
#169 = FACE_OUTER_BOUND ( 'NONE', #5242, .T. ) ;
#170 = EDGE_LOOP ( 'NONE', ( #4396, #3311, #1962, #5007 ) ) ;
#171 = ORIENTED_EDGE ( 'NONE', *, *, #2249, .F. ) ;
#172 = VERTEX_POINT ( 'NONE', #4131 ) ;
#173 = CARTESIAN_POINT ( 'NONE', ( -1.346128140969063500, 5.437383609388968300, 3.983666602602359100 ) ) ;
#174 = FACE_OUTER_BOUND ( 'NONE', #5033, .T. ) ;
#175 = DIRECTION ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#176 = VERTEX_POINT ( 'NONE', #3193 ) ;
#177 = LINE ( 'NONE', #1082, #5265 ) ;
#178 = CARTESIAN_POINT ( 'NONE', ( -0.2156638528694566900, 7.750000000000001800, 4.399999999999998600 ) ) ;
#179 = VERTEX_POINT ( 'NONE', #1636 ) ;
#180 = EDGE_LOOP ( 'NONE', ( #251, #5625, #3660, #558 ) ) ;
#181 = ORIENTED_EDGE ( 'NONE', *, *, #2864, .T. ) ;
#182 = VERTEX_POINT ( 'NONE', #1856 ) ;
#183 = PLANE ( 'NONE', #3698 ) ;
#184 = ORIENTED_EDGE ( 'NONE', *, *, #3416, .T. ) ;
#185 = CARTESIAN_POINT ( 'NONE', ( 2.960487880473960500, 4.755282641140002700, 5.500000000000000000 ) ) ;
#186 = CARTESIAN_POINT ( 'NONE', ( 4.285054439306035700, 3.607701475973901700, -1.734723475976807100E-015 ) ) ;
#187 = VECTOR ( 'NONE', #4227, 1000.000000000000100 ) ;
#188 = DIRECTION ( 'NONE', ( -0.0000000000000000000, -0.0000000000000000000, 1.000000000000000000 ) ) ;
#189 = EDGE_CURVE ( 'NONE', #946, #3382, #3467, .T. ) ;
#190 = ORIENTED_EDGE ( 'NONE', *, *, #1393, .T. ) ;
#191 = EDGE_CURVE ( 'NONE', #348, #5189, #4429, .T. ) ;
#192 = AXIS2_PLACEMENT_3D ( 'NONE', #6021, #4791, #4779 ) ;
#193 = DIRECTION ( 'NONE', ( -0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#194 = ORIENTED_EDGE ( 'NONE', *, *, #4765, .T. ) ;
#195 = VERTEX_POINT ( 'NONE', #3572 ) ;
#196 = CARTESIAN_POINT ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, -8.400000000000002100 ) ) ;
#197 = DIRECTION ( 'NONE', ( 0.7604059656000345900, 0.6494480483301794400, 0.0000000000000000000 ) ) ;
#198 = VECTOR ( 'NONE', #5656, 1000.000000000000000 ) ;
#199 = DIRECTION ( 'NONE', ( 0.07845909572785901600, 0.9969173337331268500, 0.0000000000000000000 ) ) ;
#200 = ADVANCED_FACE ( 'NONE', ( #5662 ), #3523, .T. ) ;
#201 = VERTEX_POINT ( 'NONE', #2205 ) ;
#202 = PLANE ( 'NONE', #3178 ) ;
#203 = DIRECTION ( 'NONE', ( -0.0000000000000000000, -0.0000000000000000000, 1.000000000000000000 ) ) ;
#204 = VERTEX_POINT ( 'NONE', #1876 ) ;
#205 = CARTESIAN_POINT ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#206 = CARTESIAN_POINT ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, 13.90000000000000000 ) ) ;
#207 = CARTESIAN_POINT ( 'NONE', ( -2.106973354005189600, 5.190170013889020800, -8.400000000000002100 ) ) ;
#208 = CARTESIAN_POINT ( 'NONE', ( 4.755282641139991100, -2.960487880473976000, -1.734723475976807100E-015 ) ) ;
#209 = FACE_BOUND ( 'NONE', #530, .T. ) ;
#210 = ORIENTED_EDGE ( 'NONE', *, *, #2564, .T. ) ;
#211 = APPROVAL_PERSON_ORGANIZATION ( #1498, #5738, #3881 ) ;
#212 = CARTESIAN_POINT ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, -8.400000000000002100 ) ) ;
#213 = VERTEX_POINT ( 'NONE', #2518 ) ;
#214 = EDGE_CURVE ( 'NONE', #773, #2107, #3675, .T. ) ;
#215 = EDGE_CURVE ( 'NONE', #5394, #5412, #3100, .T. ) ;
#216 = CARTESIAN_POINT ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, -1.734723475976807100E-015 ) ) ;
#217 = DIRECTION ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#218 = VECTOR ( 'NONE', #4493, 999.9999999999998900 ) ;
#219 = CARTESIAN_POINT ( 'NONE', ( 1.649976066863240800, 3.643841239607793300, 2.859119679085531100 ) ) ;
#220 = ORIENTED_EDGE ( 'NONE', *, *, #2942, .F. ) ;
#221 = EDGE_CURVE ( 'NONE', #3299, #1120, #3827, .T. ) ;
#222 = CARTESIAN_POINT ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, -1.734723475976807100E-015 ) ) ;
#223 = LINE ( 'NONE', #1069, #2622 ) ;
#224 = CARTESIAN_POINT ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, 13.90000000000000000 ) ) ;
#225 = CARTESIAN_POINT ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, 15.40000000000000000 ) ) ;
#226 = VERTEX_POINT ( 'NONE', #2610 ) ;
#227 = VECTOR ( 'NONE', #4404, 999.9999999999998900 ) ;
#228 = DIRECTION ( 'NONE', ( -0.0000000000000000000, -0.0000000000000000000, -1.000000000000000000 ) ) ;
#229 = AXIS2_PLACEMENT_3D ( 'NONE', #3976, #5606, #3928 ) ;
#230 = DIRECTION ( 'NONE', ( 0.7604059656000274900, -0.6494480483301877700, 0.0000000000000000000 ) ) ;
#231 = EDGE_CURVE ( 'NONE', #8, #3028, #4415, .T. ) ;
#232 = CARTESIAN_POINT ( 'NONE', ( -1.346128140969177700, -5.437383609388939800, -1.734723475976807100E-015 ) ) ;
#233 = ORIENTED_EDGE ( 'NONE', *, *, #4469, .F. ) ;
#234 = CARTESIAN_POINT ( 'NONE', ( -5.190170013889012800, -2.106973354005207800, 5.500000000000000000 ) ) ;
#235 = CIRCLE ( 'NONE', #1480, 6.214999999999999900 ) ;
#236 = DIRECTION ( 'NONE', ( -0.0000000000000000000, -0.0000000000000000000, 1.000000000000000000 ) ) ;
#237 = CONICAL_SURFACE ( 'NONE', #2626, 4.000000000000000000, 0.7853981633974517200 ) ;
#238 = ORIENTED_EDGE ( 'NONE', *, *, #1058, .F. ) ;
#239 = DIRECTION ( 'NONE', ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#240 = DIRECTION ( 'NONE', ( 0.3826834323651003800, 0.9238795325112824100, 0.0000000000000000000 ) ) ;
#241 = CARTESIAN_POINT ( 'NONE', ( 2.524594437261085100, 5.679141478018521200, 5.500000000000000000 ) ) ;
#242 = EDGE_CURVE ( 'NONE', #5031, #2996, #5796, .T. ) ;
#243 = FACE_OUTER_BOUND ( 'NONE', #6106, .T. ) ;
#244 = ORIENTED_EDGE ( 'NONE', *, *, #1040, .T. ) ;
#245 = EDGE_CURVE ( 'NONE', #1032, #5649, #3449, .T. ) ;
#246 = VECTOR ( 'NONE', #3246, 1000.000000000000000 ) ;
#247 = ORIENTED_EDGE ( 'NONE', *, *, #4965, .F. ) ;
#248 = EDGE_LOOP ( 'NONE', ( #882, #3970, #4031, #4635 ) ) ;
#249 = ORIENTED_EDGE ( 'NONE', *, *, #4975, .F. ) ;
#250 = AXIS2_PLACEMENT_3D ( 'NONE', #2825, #2813, #5610 ) ;
#251 = ORIENTED_EDGE ( 'NONE', *, *, #871, .F. ) ;
#252 = CARTESIAN_POINT ( 'NONE', ( 5.587235585471642500, 0.3999999999999804800, 13.90000000000000000 ) ) ;
#253 = DIRECTION ( 'NONE', ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#254 = VECTOR ( 'NONE', #1671, 1000.000000000000000 ) ;
#255 = DIRECTION ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#256 = CARTESIAN_POINT ( 'NONE', ( -2.106973354005189600, 5.190170013889020800, -1.734723475976807100E-015 ) ) ;
#257 = ORIENTED_EDGE ( 'NONE', *, *, #4145, .F. ) ;
#258 = DIRECTION ( 'NONE', ( 1.000000000000000000, 0.0000000000000000000, -0.0000000000000000000 ) ) ;
#259 = EDGE_LOOP ( 'NONE', ( #2123, #6082, #1165, #1037 ) ) ;
#260 = CARTESIAN_POINT ( 'NONE', ( 1.295675802813098100, 6.078441347418320500, 1.516333397397642500 ) ) ;
#261 = CARTESIAN_POINT ( 'NONE', ( -2.960487880473995100, -4.755282641139980400, -8.400000000000002100 ) ) ;
#262 = EDGE_LOOP ( 'NONE', ( #6160, #2810, #1841, #2342 ) ) ;
#263 = VECTOR ( 'NONE', #1521, 1000.000000000000000 ) ;
#264 = LINE ( 'NONE', #1286, #3889 ) ;
#265 = DIRECTION ( 'NONE', ( 1.000000000000000000, 0.0000000000000000000, -0.0000000000000000000 ) ) ;
#266 = ORIENTED_EDGE ( 'NONE', *, *, #5422, .T. ) ;
#267 = EDGE_LOOP ( 'NONE', ( #4029, #6212, #31, #3885 ) ) ;
#268 = ORIENTED_EDGE ( 'NONE', *, *, #6111, .F. ) ;
#269 = ORIENTED_EDGE ( 'NONE', *, *, #3905, .F. ) ;
#270 = CARTESIAN_POINT ( 'NONE', ( 4.755282641140013300, 2.960487880473942700, 5.500000000000000000 ) ) ;
#271 = ORIENTED_EDGE ( 'NONE', *, *, #4163, .F. ) ;
#272 = ORIENTED_EDGE ( 'NONE', *, *, #3404, .T. ) ;
#273 = ADVANCED_FACE ( 'NONE', ( #2229 ), #5668, .F. ) ;
#274 = FACE_OUTER_BOUND ( 'NONE', #129, .T. ) ;
#275 = DIRECTION ( 'NONE', ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#276 = AXIS2_PLACEMENT_3D ( 'NONE', #398, #6129, #3252 ) ;
#277 = ORIENTED_EDGE ( 'NONE', *, *, #1281, .F. ) ;
#278 = CARTESIAN_POINT ( 'NONE', ( -4.000000000000000000, -4.898587196589412800E-016, -9.400000000000005700 ) ) ;
#279 = DIRECTION ( 'NONE', ( -0.8090169943749552200, -0.5877852522924624800, 0.0000000000000000000 ) ) ;
#280 = DIRECTION ( 'NONE', ( 0.9510565162951576400, 0.3090169943749349600, 0.0000000000000000000 ) ) ;
#281 = VECTOR ( 'NONE', #456, 1000.000000000000000 ) ;
#282 = DIRECTION ( 'NONE', ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#283 = CARTESIAN_POINT ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, 13.90000000000000000 ) ) ;
#284 = ORIENTED_EDGE ( 'NONE', *, *, #1358, .F. ) ;
#285 = DIRECTION ( 'NONE', ( 0.2334453638559057200, 0.9723699203976765600, -0.0000000000000000000 ) ) ;
#286 = CIRCLE ( 'NONE', #4336, 4.500000000000000900 ) ;
#287 = AXIS2_PLACEMENT_3D ( 'NONE', #3396, #4078, #3989 ) ;
#288 = DIRECTION ( 'NONE', ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#289 = EDGE_CURVE ( 'NONE', #2695, #4198, #3108, .T. ) ;
#290 = AXIS2_PLACEMENT_3D ( 'NONE', #4914, #3240, #1860 ) ;
#291 = CARTESIAN_POINT ( 'NONE', ( -4.285054439306062300, -3.607701475973870100, -1.734723475976807100E-015 ) ) ;
#292 = EDGE_CURVE ( 'NONE', #4726, #5670, #3245, .T. ) ;
#293 = VECTOR ( 'NONE', #5701, 1000.000000000000000 ) ;
#294 = CARTESIAN_POINT ( 'NONE', ( 1.346128140969099100, -5.437383609388960300, 13.90000000000000000 ) ) ;
#295 = DIRECTION ( 'NONE', ( -0.0000000000000000000, -0.0000000000000000000, 1.000000000000000000 ) ) ;
#296 = AXIS2_PLACEMENT_3D ( 'NONE', #4881, #197, #757 ) ;
#297 = LINE ( 'NONE', #2818, #3778 ) ;
#298 = EDGE_CURVE ( 'NONE', #1458, #671, #3385, .T. ) ;
#299 = DIRECTION ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#300 = ADVANCED_FACE ( 'NONE', ( #2300 ), #2452, .T. ) ;
#301 = CARTESIAN_POINT ( 'NONE', ( -1.311688884070872300, 7.638432586656892700, 3.756728329454450200 ) ) ;
#302 = FACE_OUTER_BOUND ( 'NONE', #934, .T. ) ;
#303 = EDGE_CURVE ( 'NONE', #4391, #4413, #4351, .T. ) ;
#304 = EDGE_CURVE ( 'NONE', #5774, #76, #4660, .T. ) ;
#305 = CARTESIAN_POINT ( 'NONE', ( -0.4000000000000000200, -5.587235585471640700, 5.500000000000000000 ) ) ;
#306 = CARTESIAN_POINT ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, 15.40000000000000000 ) ) ;
#307 = EDGE_LOOP ( 'NONE', ( #1545, #2812 ) ) ;
#308 = VECTOR ( 'NONE', #3459, 999.9999999999998900 ) ;
#309 = DIRECTION ( 'NONE', ( 0.0000000000000000000, -0.0000000000000000000, 1.000000000000000000 ) ) ;
#310 = VECTOR ( 'NONE', #4260, 1000.000000000000000 ) ;
#311 = ORIENTED_EDGE ( 'NONE', *, *, #1417, .T. ) ;
#312 = LINE ( 'NONE', #5712, #1448 ) ;
#313 = EDGE_CURVE ( 'NONE', #182, #3472, #4734, .T. ) ;
#314 = DIRECTION ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#315 = EDGE_CURVE ( 'NONE', #813, #1874, #1916, .T. ) ;
#316 = CIRCLE ( 'NONE', #2737, 4.999999999999999100 ) ;
#317 = DIRECTION ( 'NONE', ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#318 = ORIENTED_EDGE ( 'NONE', *, *, #5096, .F. ) ;
#319 = VERTEX_POINT ( 'NONE', #1833 ) ;
#320 = ORIENTED_EDGE ( 'NONE', *, *, #1372, .T. ) ;
#321 = EDGE_CURVE ( 'NONE', #176, #4882, #4209, .T. ) ;
#322 = CYLINDRICAL_SURFACE ( 'NONE', #6190, 4.999999999999999100 ) ;
#323 = DIRECTION ( 'NONE', ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#324 = PLANE ( 'NONE', #1637 ) ;
#325 = ADVANCED_FACE ( 'NONE', ( #4344 ), #5441, .F. ) ;
#326 = ORIENTED_EDGE ( 'NONE', *, *, #804, .F. ) ;
#327 = VECTOR ( 'NONE', #3568, 1000.000000000000100 ) ;
#328 = VERTEX_POINT ( 'NONE', #1505 ) ;
#329 = CARTESIAN_POINT ( 'NONE', ( 5.437383609388946000, -1.346128140969158600, 13.90000000000000000 ) ) ;
#330 = CARTESIAN_POINT ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, 14.90000000000000000 ) ) ;
#331 = AXIS2_PLACEMENT_3D ( 'NONE', #153, #518, #115 ) ;
#332 = DIRECTION ( 'NONE', ( 0.9969173337331285200, 0.07845909572783815700, 0.0000000000000000000 ) ) ;
#333 = CARTESIAN_POINT ( 'NONE', ( 6.078441347418315200, -1.295675802813119700, 0.0000000000000000000 ) ) ;
#334 = ORIENTED_EDGE ( 'NONE', *, *, #2798, .F. ) ;
#335 = ORIENTED_EDGE ( 'NONE', *, *, #5351, .F. ) ;
#336 = DIRECTION ( 'NONE', ( -0.9510565162951512000, 0.3090169943749548300, 0.0000000000000000000 ) ) ;
#337 = VECTOR ( 'NONE', #4809, 1000.000000000000000 ) ;
#338 = CARTESIAN_POINT ( 'NONE', ( -1.346128140969063500, 5.437383609388968300, 1.516333397397638900 ) ) ;
#339 = EDGE_CURVE ( 'NONE', #4938, #803, #2138, .T. ) ;
#340 = LINE ( 'NONE', #1009, #5100 ) ;
#341 = EDGE_LOOP ( 'NONE', ( #4533, #1177, #1229, #3037 ) ) ;
#342 = ORIENTED_EDGE ( 'NONE', *, *, #4432, .T. ) ;
#343 = ORIENTED_EDGE ( 'NONE', *, *, #5752, .F. ) ;
#344 = VERTEX_POINT ( 'NONE', #706 ) ;
#345 = DIRECTION ( 'NONE', ( 0.9969173337331276300, -0.07845909572784878800, 0.0000000000000000000 ) ) ;
#346 = CARTESIAN_POINT ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, -9.400000000000002100 ) ) ;
#347 = CYLINDRICAL_SURFACE ( 'NONE', #4707, 7.750000000000000000 ) ;
#348 = VERTEX_POINT ( 'NONE', #5886 ) ;
#349 = VERTEX_POINT ( 'NONE', #756 ) ;
#350 = LINE ( 'NONE', #5477, #4495 ) ;
#351 = CARTESIAN_POINT ( 'NONE', ( 2.960487880473960500, 4.755282641140002700, 1.621521349104050300 ) ) ;
#352 = VECTOR ( 'NONE', #5793, 1000.000000000000000 ) ;
#353 = EDGE_CURVE ( 'NONE', #381, #8, #3261, .T. ) ;
#354 = CARTESIAN_POINT ( 'NONE', ( -4.755282641140034600, -2.960487880473907700, 13.90000000000000000 ) ) ;
#355 = CARTESIAN_POINT ( 'NONE', ( 4.285054439306035700, 3.607701475973901700, 5.500000000000000000 ) ) ;
#356 = DIRECTION ( 'NONE', ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#357 = EDGE_LOOP ( 'NONE', ( #5215, #1501, #3374, #4760 ) ) ;
#358 = LINE ( 'NONE', #3825, #1631 ) ;
#359 = ADVANCED_FACE ( 'NONE', ( #964 ), #3753, .T. ) ;
#360 = EDGE_CURVE ( 'NONE', #328, #3303, #1627, .T. ) ;
#361 = LINE ( 'NONE', #2478, #5285 ) ;
#362 = ORIENTED_EDGE ( 'NONE', *, *, #3898, .F. ) ;
#363 = COORDINATED_UNIVERSAL_TIME_OFFSET ( 1, 0, .AHEAD. ) ;
#364 = CARTESIAN_POINT ( 'NONE', ( -6.181327094649743600, -0.6460807603922030800, 5.500000000000000000 ) ) ;
#365 = DIRECTION ( 'NONE', ( -0.0000000000000000000, -0.0000000000000000000, -1.000000000000000000 ) ) ;
#366 = AXIS2_PLACEMENT_3D ( 'NONE', #3119, #5589, #3834 ) ;
#367 = CARTESIAN_POINT ( 'NONE', ( 4.285054439306009900, -3.607701475973931900, -8.400000000000002100 ) ) ;
#368 = EDGE_CURVE ( 'NONE', #3950, #4358, #1606, .T. ) ;
#369 = VECTOR ( 'NONE', #4916, 1000.000000000000000 ) ;
#370 = ORIENTED_EDGE ( 'NONE', *, *, #4879, .F. ) ;
#371 = CARTESIAN_POINT ( 'NONE', ( 2.106973354005261500, 5.190170013888991500, -8.400000000000002100 ) ) ;
#372 = LINE ( 'NONE', #4069, #2918 ) ;
#373 = PLANE ( 'NONE', #2574 ) ;
#374 = EDGE_CURVE ( 'NONE', #1384, #5933, #4129, .T. ) ;
#375 = ORIENTED_EDGE ( 'NONE', *, *, #1431, .F. ) ;
#376 = AXIS2_PLACEMENT_3D ( 'NONE', #4983, #5731, #4360 ) ;
#377 = ORIENTED_EDGE ( 'NONE', *, *, #5677, .T. ) ;
#378 = DIRECTION ( 'NONE', ( 0.5877852522924830200, 0.8090169943749402300, 0.0000000000000000000 ) ) ;
#379 = LINE ( 'NONE', #5859, #227 ) ;
#380 = B_SPLINE_CURVE_WITH_KNOTS ( 'NONE', 3,
( #1564, #1085, #4405, #4929, #5440, #3987, #124, #110, #1601, #5919, #5456, #2981, #1646, #3497, #219, #2526, #4895, #5370, #687, #3883, #599, #665, #4428, #5861, #5946, #1547, #1626, #3518 ),
.UNSPECIFIED., .F., .F.,
( 4, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 4 ),
( 0.005217599965895119800, 0.005543449878641866500, 0.005869299791388612300, 0.006520999616882105700, 0.006846849529628852400, 0.007172699442375599100, 0.007498549355122346600, 0.007824399267869094200, 0.008476099093362589300, 0.008801949006109335100, 0.009127798918856081000, 0.009453648831602828500, 0.009779498744349576100, 0.01043119856984306900 ),
.UNSPECIFIED. ) ;
#381 = VERTEX_POINT ( 'NONE', #4872 ) ;
#382 = PLANE ( 'NONE', #5009 ) ;
#383 = ORIENTED_EDGE ( 'NONE', *, *, #5111, .F. ) ;
#384 = FACE_BOUND ( 'NONE', #1902, .T. ) ;
#385 = VERTEX_POINT ( 'NONE', #1043 ) ;
#386 = EDGE_LOOP ( 'NONE', ( #5320, #1223 ) ) ;
#387 = AXIS2_PLACEMENT_3D ( 'NONE', #3418, #2582, #5387 ) ;
#388 = VECTOR ( 'NONE', #1735, 1000.000000000000000 ) ;
#389 = ADVANCED_FACE ( 'NONE', ( #2130 ), #1702, .T. ) ;
#390 = ORIENTED_EDGE ( 'NONE', *, *, #487, .T. ) ;
#391 = ORIENTED_EDGE ( 'NONE', *, *, #2929, .F. ) ;
#392 = DIRECTION ( 'NONE', ( -0.9723699203976790000, -0.2334453638558950400, 0.0000000000000000000 ) ) ;
#393 = VECTOR ( 'NONE', #4300, 1000.000000000000000 ) ;
#394 = ORIENTED_EDGE ( 'NONE', *, *, #5692, .F. ) ;
#395 = DIRECTION ( 'NONE', ( -0.6494480483301903200, -0.7604059656000252700, 0.0000000000000000000 ) ) ;
#396 = CARTESIAN_POINT ( 'NONE', ( -4.755282641139969800, 2.960487880474011600, -8.400000000000002100 ) ) ;
#397 = LINE ( 'NONE', #351, #5313 ) ;
#398 = CARTESIAN_POINT ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, -8.400000000000002100 ) ) ;
#399 = EDGE_LOOP ( 'NONE', ( #3832, #4888 ) ) ;
#400 = CARTESIAN_POINT ( 'NONE', ( 7.750000000000000000, -9.491012693391987800E-016, -9.400000000000002100 ) ) ;
#401 = ORIENTED_EDGE ( 'NONE', *, *, #5021, .T. ) ;
#402 = ORIENTED_EDGE ( 'NONE', *, *, #4015, .T. ) ;
#403 = EDGE_CURVE ( 'NONE', #3726, #3811, #4942, .T. ) ;
#404 = AXIS2_PLACEMENT_3D ( 'NONE', #1816, #5651, #2768 ) ;
#405 = DIRECTION ( 'NONE', ( 0.5877852522924713600, -0.8090169943749486700, 0.0000000000000000000 ) ) ;
#406 = CARTESIAN_POINT ( 'NONE', ( -1.007178185221096800, 7.684806930309561900, 4.061390954492059000 ) ) ;
#407 = ORIENTED_EDGE ( 'NONE', *, *, #3794, .F. ) ;
#408 = CYLINDRICAL_SURFACE ( 'NONE', #764, 7.750000000000000000 ) ;
#409 = ORIENTED_EDGE ( 'NONE', *, *, #1077, .F. ) ;
#410 = PLANE ( 'NONE', #151 ) ;
#411 = EDGE_LOOP ( 'NONE', ( #5854, #5310, #2273, #4335 ) ) ;
#412 = EDGE_CURVE ( 'NONE', #1194, #2536, #4580, .T. ) ;
#413 = DIRECTION ( 'NONE', ( -0.07845909572783815700, 0.9969173337331285200, 0.0000000000000000000 ) ) ;
#414 = ORIENTED_EDGE ( 'NONE', *, *, #5335, .T. ) ;
#415 = ORIENTED_EDGE ( 'NONE', *, *, #2942, .T. ) ;
#416 = LINE ( 'NONE', #2948, #4290 ) ;
#417 = ORIENTED_EDGE ( 'NONE', *, *, #3197, .T. ) ;
#418 = AXIS2_PLACEMENT_3D ( 'NONE', #841, #4255, #2374 ) ;
#419 = ORIENTED_EDGE ( 'NONE', *, *, #3289, .F. ) ;
#420 = ORIENTED_EDGE ( 'NONE', *, *, #889, .T. ) ;
#421 = ORIENTED_EDGE ( 'NONE', *, *, #6006, .T. ) ;
#422 = EDGE_LOOP ( 'NONE', ( #646, #244, #1832, #171 ) ) ;
#423 = VECTOR ( 'NONE', #2696, 1000.000000000000000 ) ;
#424 = VERTEX_POINT ( 'NONE', #2084 ) ;
#425 = CARTESIAN_POINT ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, 13.90000000000000000 ) ) ;
#426 = DIRECTION ( 'NONE', ( 0.8090169943749465600, -0.5877852522924742500, 0.0000000000000000000 ) ) ;
#427 = ORIENTED_EDGE ( 'NONE', *, *, #881, .T. ) ;
#428 = DIRECTION ( 'NONE', ( -0.9238795325112864100, -0.3826834323650907300, 0.0000000000000000000 ) ) ;
#429 = ADVANCED_FACE ( 'NONE', ( #1405 ), #701, .F. ) ;
#430 = VERTEX_POINT ( 'NONE', #2605 ) ;
#431 = EDGE_CURVE ( 'NONE', #3872, #2816, #26, .T. ) ;
#432 = LINE ( 'NONE', #1266, #4134 ) ;
#433 = CARTESIAN_POINT ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, 14.90000000000000400 ) ) ;
#434 = DIRECTION ( 'NONE', ( -0.0000000000000000000, -0.0000000000000000000, 1.000000000000000000 ) ) ;
#435 = DIRECTION ( 'NONE', ( 0.9969173337331268500, -0.07845909572785901600, 0.0000000000000000000 ) ) ;
#436 = DATE_AND_TIME ( #1715, #2975 ) ;
#437 = DIRECTION ( 'NONE', ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#438 = CARTESIAN_POINT ( 'NONE', ( 5.190170013888999500, 2.106973354005243800, 13.90000000000000000 ) ) ;
#439 = LINE ( 'NONE', #1947, #4070 ) ;
#440 = EDGE_CURVE ( 'NONE', #3520, #5264, #5961, .T. ) ;
#441 = EDGE_CURVE ( 'NONE', #2858, #1966, #1483, .T. ) ;
#442 = ADVANCED_FACE ( 'NONE', ( #5341 ), #5257, .F. ) ;
#443 = DIRECTION ( 'NONE', ( 0.07845909572785901600, 0.9969173337331268500, 0.0000000000000000000 ) ) ;
#444 = ORIENTED_EDGE ( 'NONE', *, *, #2466, .F. ) ;
#445 = DIRECTION ( 'NONE', ( 0.9238795325112849600, -0.3826834323650938900, 0.0000000000000000000 ) ) ;
#446 = CARTESIAN_POINT ( 'NONE', ( -5.190170013888969300, 2.106973354005316600, -8.400000000000002100 ) ) ;
#447 = VECTOR ( 'NONE', #4293, 1000.000000000000000 ) ;
#448 = VERTEX_POINT ( 'NONE', #3138 ) ;
#449 = CARTESIAN_POINT ( 'NONE', ( -5.190170013888969300, 2.106973354005316600, 1.516333397397642500 ) ) ;
#450 = ORIENTED_EDGE ( 'NONE', *, *, #5549, .F. ) ;
#451 = EDGE_CURVE ( 'NONE', #4357, #5650, #2966, .T. ) ;
#452 = EDGE_CURVE ( 'NONE', #2911, #4761, #4054, .T. ) ;
#453 = VECTOR ( 'NONE', #526, 1000.000000000000000 ) ;
#454 = DIRECTION ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#455 = VERTEX_POINT ( 'NONE', #4006 ) ;
#456 = DIRECTION ( 'NONE', ( -0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#457 = CARTESIAN_POINT ( 'NONE', ( -1.346128140969063500, 5.437383609388968300, 13.90000000000000000 ) ) ;
#458 = AXIS2_PLACEMENT_3D ( 'NONE', #6208, #2013, #3888 ) ;
#459 = DIRECTION ( 'NONE', ( -3.491481338843134100E-015, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#460 = ADVANCED_FACE ( 'NONE', ( #1839 ), #5202, .T. ) ;
#461 = VECTOR ( 'NONE', #3228, 1000.000000000000000 ) ;
#462 = EDGE_CURVE ( 'NONE', #3371, #2969, #2581, .T. ) ;
#463 = DIRECTION ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#464 = CARTESIAN_POINT ( 'NONE', ( -3.607701475973949200, -4.285054439305995700, -8.400000000000002100 ) ) ;
#465 = DIRECTION ( 'NONE', ( -0.0000000000000000000, -0.0000000000000000000, 1.000000000000000000 ) ) ;
#466 = ORIENTED_EDGE ( 'NONE', *, *, #1661, .T. ) ;
#467 = DIRECTION ( 'NONE', ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#468 = EDGE_CURVE ( 'NONE', #813, #3877, #5044, .T. ) ;
#469 = LINE ( 'NONE', #2540, #2843 ) ;
#470 = EDGE_CURVE ( 'NONE', #4641, #4863, #350, .T. ) ;
#471 = ORIENTED_EDGE ( 'NONE', *, *, #1145, .F. ) ;
#472 = CARTESIAN_POINT ( 'NONE', ( 1.346128140969139000, 5.437383609388950500, -8.400000000000002100 ) ) ;
#473 = LINE ( 'NONE', #6130, #1586 ) ;
#474 = ORIENTED_EDGE ( 'NONE', *, *, #4254, .T. ) ;
#475 = VERTEX_POINT ( 'NONE', #666 ) ;
#476 = FACE_OUTER_BOUND ( 'NONE', #1992, .T. ) ;
#477 = LINE ( 'NONE', #1076, #4099 ) ;
#478 = DIRECTION ( 'NONE', ( -0.7604059656000252700, 0.6494480483301903200, 0.0000000000000000000 ) ) ;
#479 = ORIENTED_EDGE ( 'NONE', *, *, #6210, .F. ) ;
#481 = ORIENTED_EDGE ( 'NONE', *, *, #5692, .T. ) ;
#480 = DIRECTION ( 'NONE', ( -0.0000000000000000000, -0.0000000000000000000, -1.000000000000000000 ) ) ;
#482 = AXIS2_PLACEMENT_3D ( 'NONE', #2702, #5819, #1775 ) ;
#483 = CARTESIAN_POINT ( 'NONE', ( -4.621041924613513700, -4.155983220726984200, 0.0000000000000000000 ) ) ;
#484 = VERTEX_POINT ( 'NONE', #2462 ) ;
#485 = EDGE_LOOP ( 'NONE', ( #6036, #1998, #4114, #2842 ) ) ;
#486 = CARTESIAN_POINT ( 'NONE', ( -4.285054439306062300, -3.607701475973870100, -8.400000000000002100 ) ) ;
#487 = EDGE_CURVE ( 'NONE', #3509, #738, #1993, .T. ) ;
#488 = VECTOR ( 'NONE', #6204, 1000.000000000000000 ) ;
#489 = CARTESIAN_POINT ( 'NONE', ( -5.437383609388935400, 1.346128140969196500, 1.516333397397642500 ) ) ;
#490 = DIRECTION ( 'NONE', ( 0.7604059656000364800, 0.6494480483301772200, 0.0000000000000000000 ) ) ;
#491 = DIRECTION ( 'NONE', ( 0.5224985647159529100, 0.8526401643540897400, 0.0000000000000000000 ) ) ;
#492 = CYLINDRICAL_SURFACE ( 'NONE', #879, 6.214999999999999900 ) ;
#493 = CARTESIAN_POINT ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, 5.500000000000000000 ) ) ;
#494 = PRODUCT_RELATED_PRODUCT_CATEGORY ( 'detail', '', ( #2092 ) ) ;
#495 = ORIENTED_EDGE ( 'NONE', *, *, #4369, .T. ) ;
#496 = ADVANCED_FACE ( 'NONE', ( #971 ), #139, .F. ) ;
#497 = EDGE_LOOP ( 'NONE', ( #409, #5339, #2073, #2982 ) ) ;
#498 = FACE_OUTER_BOUND ( 'NONE', #4475, .T. ) ;
#499 = ORIENTED_EDGE ( 'NONE', *, *, #3836, .F. ) ;
#500 = ORIENTED_EDGE ( 'NONE', *, *, #3486, .T. ) ;
#501 = DIRECTION ( 'NONE', ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#502 = ORIENTED_EDGE ( 'NONE', *, *, #2257, .F. ) ;
#503 = DIRECTION ( 'NONE', ( -0.0000000000000000000, -0.0000000000000000000, 1.000000000000000000 ) ) ;
#504 = EDGE_CURVE ( 'NONE', #2609, #2064, #6038, .T. ) ;
#505 = CARTESIAN_POINT ( 'NONE', ( 3.607701475973887500, -4.285054439306048100, 5.500000000000000000 ) ) ;
#506 = ORIENTED_EDGE ( 'NONE', *, *, #1829, .T. ) ;
#507 = FACE_OUTER_BOUND ( 'NONE', #1158, .T. ) ;
#508 = VERTEX_POINT ( 'NONE', #364 ) ;
#509 = VERTEX_POINT ( 'NONE', #5098 ) ;
#510 = DIRECTION ( 'NONE', ( 0.9510565162951533100, -0.3090169943749481200, 0.0000000000000000000 ) ) ;
#511 = DIRECTION ( 'NONE', ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#512 = VERTEX_POINT ( 'NONE', #2189 ) ;
#513 = CARTESIAN_POINT ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, 15.40000000000000000 ) ) ;
#514 = AXIS2_PLACEMENT_3D ( 'NONE', #3190, #5537, #2110 ) ;
#515 = LINE ( 'NONE', #3201, #3255 ) ;
#516 = CARTESIAN_POINT ( 'NONE', ( -4.755282641140034600, -2.960487880473907700, 5.500000000000000000 ) ) ;
#517 = EDGE_LOOP ( 'NONE', ( #5572, #583 ) ) ;
#518 = DIRECTION ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#519 = DIRECTION ( 'NONE', ( 0.0000000000000000000, -0.0000000000000000000, 1.000000000000000000 ) ) ;
#520 = LINE ( 'NONE', #6175, #3338 ) ;
#521 = EDGE_CURVE ( 'NONE', #786, #1541, #432, .T. ) ;
#522 = FACE_OUTER_BOUND ( 'NONE', #1188, .T. ) ;
#523 = DIRECTION ( 'NONE', ( -0.0000000000000000000, -0.0000000000000000000, 1.000000000000000000 ) ) ;
#524 = DIRECTION ( 'NONE', ( -0.3826834323650907300, -0.9238795325112864100, 0.0000000000000000000 ) ) ;
#525 = DIRECTION ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#526 = DIRECTION ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#527 = DIRECTION ( 'NONE', ( -0.0000000000000000000, -0.0000000000000000000, 1.000000000000000000 ) ) ;
#528 = LINE ( 'NONE', #4126, #2908 ) ;
#529 = CARTESIAN_POINT ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, 15.40000000000000000 ) ) ;
#530 = EDGE_LOOP ( 'NONE', ( #3251, #579, #896, #3530, #2381, #819, #5944, #1999, #4018, #2628, #2997, #450, #5937, #755, #592, #6094, #2004, #3112, #4789, #1603, #3377, #5510, #4783, #5256, #4277, #1610, #2432, #1264, #2305, #3464, #4268, #4583, #5935, #5883, #810, #3455, #1111, #4873, #2512, #102, #3891, #5497, #3248, #893, #5952, #1044, #4799, #419, #2961, #1336, #3183, #4420, #1327, #676, #2892, #2449, #1552, #5737, #1771, #2885, #5118, #277, #884, #4477, #407, #3020, #5573, #4864, #1390, #5022, #3737, #2653, #3770, #5052, #1494, #444, #5523, #5973, #5073, #471 ) ) ;
#531 = ADVANCED_FACE ( 'NONE', ( #1331 ), #3944, .F. ) ;
#532 = ORIENTED_EDGE ( 'NONE', *, *, #315, .F. ) ;
#533 = DIRECTION ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#534 = PLANE ( 'NONE', #2020 ) ;
#535 = CARTESIAN_POINT ( 'NONE', ( -2.106973354005298400, -5.190170013888976400, 3.983666602602355500 ) ) ;
#536 = EDGE_CURVE ( 'NONE', #2370, #4005, #2959, .T. ) ;
#537 = EDGE_CURVE ( 'NONE', #1675, #5769, #1760, .T. ) ;
#538 = VECTOR ( 'NONE', #696, 1000.000000000000100 ) ;
#539 = AXIS2_PLACEMENT_3D ( 'NONE', #3538, #3490, #3473 ) ;
#540 = CARTESIAN_POINT ( 'NONE', ( 2.960487880473926700, -4.755282641140022200, -8.400000000000002100 ) ) ;
#541 = CARTESIAN_POINT ( 'NONE', ( 2.106973354005223800, -5.190170013889007400, -8.400000000000002100 ) ) ;
#542 = FACE_OUTER_BOUND ( 'NONE', #5714, .T. ) ;
#543 = VERTEX_POINT ( 'NONE', #3619 ) ;
#544 = CARTESIAN_POINT ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, -8.400000000000002100 ) ) ;
#545 = ORIENTED_EDGE ( 'NONE', *, *, #3118, .T. ) ;
#546 = VERTEX_POINT ( 'NONE', #3141 ) ;
#547 = DIRECTION ( 'NONE', ( 0.5877852522924713600, -0.8090169943749486700, 0.0000000000000000000 ) ) ;
#548 = VECTOR ( 'NONE', #702, 1000.000000000000100 ) ;
#549 = CARTESIAN_POINT ( 'NONE', ( 5.437383609388946000, -1.346128140969158600, 3.983666602602355500 ) ) ;
#550 = AXIS2_PLACEMENT_3D ( 'NONE', #5181, #3195, #5634 ) ;
#551 = ORIENTED_EDGE ( 'NONE', *, *, #4283, .T. ) ;
#552 = EDGE_CURVE ( 'NONE', #76, #4615, #750, .T. ) ;
#553 = ORIENTED_EDGE ( 'NONE', *, *, #4820, .F. ) ;
#554 = VECTOR ( 'NONE', #1332, 1000.000000000000000 ) ;
#555 = DIRECTION ( 'NONE', ( 3.491481338843134100E-015, 1.000000000000000000, 0.0000000000000000000 ) ) ;
#556 = LINE ( 'NONE', #1422, #388 ) ;
#557 = EDGE_CURVE ( 'NONE', #1981, #1113, #3761, .T. ) ;
#558 = ORIENTED_EDGE ( 'NONE', *, *, #3593, .F. ) ;
#559 = ORIENTED_EDGE ( 'NONE', *, *, #5511, .T. ) ;
#560 = CARTESIAN_POINT ( 'NONE', ( 1.295675802813098600, 6.078441347418319700, 13.90000000000000000 ) ) ;
#561 = CARTESIAN_POINT ( 'NONE', ( 5.437383609388955800, 1.346128140969119500, -8.400000000000002100 ) ) ;
#562 = AXIS2_PLACEMENT_3D ( 'NONE', #493, #314, #3696 ) ;
#563 = CIRCLE ( 'NONE', #3476, 6.214999999999999900 ) ;
#564 = DIRECTION ( 'NONE', ( -0.0000000000000000000, -0.0000000000000000000, 1.000000000000000000 ) ) ;
#565 = ORIENTED_EDGE ( 'NONE', *, *, #451, .T. ) ;
#566 = VERTEX_POINT ( 'NONE', #3076 ) ;
#567 = FACE_OUTER_BOUND ( 'NONE', #5688, .T. ) ;
#568 = DIRECTION ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#569 = APPLICATION_CONTEXT ( 'configuration controlled 3d designs of mechanical parts and assemblies' ) ;
#570 = DIRECTION ( 'NONE', ( 0.8526401643540934000, 0.5224985647159469100, 0.0000000000000000000 ) ) ;
#571 = ORIENTED_EDGE ( 'NONE', *, *, #2483, .F. ) ;
#572 = PLANE ( 'NONE', #3984 ) ;
#573 = VERTEX_POINT ( 'NONE', #769 ) ;
#574 = ORIENTED_EDGE ( 'NONE', *, *, #2776, .T. ) ;
#575 = DIRECTION ( 'NONE', ( -0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#576 = ORIENTED_EDGE ( 'NONE', *, *, #339, .T. ) ;
#577 = VECTOR ( 'NONE', #5694, 1000.000000000000000 ) ;
#578 = DIRECTION ( 'NONE', ( 0.9969173337331281900, 0.07845909572784161300, 0.0000000000000000000 ) ) ;
#579 = ORIENTED_EDGE ( 'NONE', *, *, #2136, .F. ) ;
#580 = FACE_OUTER_BOUND ( 'NONE', #2078, .T. ) ;
#581 = ORIENTED_EDGE ( 'NONE', *, *, #2017, .F. ) ;
#582 = EDGE_CURVE ( 'NONE', #4422, #1123, #2524, .T. ) ;
#583 = ORIENTED_EDGE ( 'NONE', *, *, #2288, .F. ) ;
#584 = ORIENTED_EDGE ( 'NONE', *, *, #470, .T. ) ;
#585 = CARTESIAN_POINT ( 'NONE', ( 0.1078601513308620300, 7.750000000000003600, 4.399999999999998600 ) ) ;
#586 = ORIENTED_EDGE ( 'NONE', *, *, #1650, .F. ) ;
#587 = EDGE_CURVE ( 'NONE', #4205, #3104, #4216, .T. ) ;
#588 = DIRECTION ( 'NONE', ( 0.3826834323650907300, -0.9238795325112864100, 0.0000000000000000000 ) ) ;
#589 = VECTOR ( 'NONE', #3741, 1000.000000000000100 ) ;
#590 = ORIENTED_EDGE ( 'NONE', *, *, #5234, .T. ) ;
#591 = AXIS2_PLACEMENT_3D ( 'NONE', #3856, #564, #3393 ) ;
#592 = ORIENTED_EDGE ( 'NONE', *, *, #221, .F. ) ;
#593 = DIRECTION ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#594 = VERTEX_POINT ( 'NONE', #2993 ) ;
#595 = DIRECTION ( 'NONE', ( -0.9510565162951523100, 0.3090169943749515000, 0.0000000000000000000 ) ) ;
#596 = DIRECTION ( 'NONE', ( -0.5224985647159375900, 0.8526401643540991700, 0.0000000000000000000 ) ) ;
#597 = FACE_OUTER_BOUND ( 'NONE', #6030, .T. ) ;
#598 = APPROVAL_STATUS ( 'not_yet_approved' ) ;
#599 = CARTESIAN_POINT ( 'NONE', ( 1.243026078745893300, 3.802781656773226900, 1.659653338645886000 ) ) ;
#600 = AXIS2_PLACEMENT_3D ( 'NONE', #6048, #1295, #4593 ) ;
#601 = DIRECTION ( 'NONE', ( 0.07845909572783815700, -0.9969173337331285200, 0.0000000000000000000 ) ) ;
#602 = PERSON_AND_ORGANIZATION ( #3050, #5967 ) ;
#603 = CARTESIAN_POINT ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, 13.90000000000000000 ) ) ;
#604 = EDGE_CURVE ( 'NONE', #3189, #4123, #2002, .T. ) ;
#605 = FACE_OUTER_BOUND ( 'NONE', #742, .T. ) ;
#606 = CARTESIAN_POINT ( 'NONE', ( -2.960487880473995100, -4.755282641139980400, 5.500000000000000000 ) ) ;
#607 = CARTESIAN_POINT ( 'NONE', ( -1.650049497062939100, 7.572307221701093400, 2.641843242157241500 ) ) ;
#608 = AXIS2_PLACEMENT_3D ( 'NONE', #5106, #5604, #2262 ) ;
#609 = LINE ( 'NONE', #1300, #447 ) ;
#610 = EDGE_CURVE ( 'NONE', #509, #1474, #5349, .T. ) ;
#611 = DIRECTION ( 'NONE', ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#612 = VERTEX_POINT ( 'NONE', #2765 ) ;
#613 = DIRECTION ( 'NONE', ( -0.8090169943749422300, 0.5877852522924802400, 0.0000000000000000000 ) ) ;
#614 = LINE ( 'NONE', #3207, #5228 ) ;
#615 = CARTESIAN_POINT ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, 5.500000000000000000 ) ) ;
#616 = VERTEX_POINT ( 'NONE', #3493 ) ;
#617 = PLANE ( 'NONE', #3902 ) ;
#618 = DIRECTION ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#619 = ORIENTED_EDGE ( 'NONE', *, *, #913, .T. ) ;
#620 = VECTOR ( 'NONE', #295, 1000.000000000000000 ) ;
#621 = DIRECTION ( 'NONE', ( -0.3090169943749447300, 0.9510565162951544200, 0.0000000000000000000 ) ) ;
#622 = AXIS2_PLACEMENT_3D ( 'NONE', #59, #808, #4581 ) ;
#623 = EDGE_CURVE ( 'NONE', #1707, #5104, #659, .T. ) ;
#624 = VERTEX_POINT ( 'NONE', #3541 ) ;
#625 = ORIENTED_EDGE ( 'NONE', *, *, #4941, .T. ) ;
#626 = FACE_OUTER_BOUND ( 'NONE', #1732, .T. ) ;
#627 = CARTESIAN_POINT ( 'NONE', ( 1.346128140969139000, 5.437383609388950500, 5.500000000000000000 ) ) ;
#628 = EDGE_CURVE ( 'NONE', #1015, #3884, #823, .T. ) ;
#629 = DIRECTION ( 'NONE', ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#630 = LINE ( 'NONE', #446, #3001 ) ;
#631 = DIRECTION ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#632 = ORIENTED_EDGE ( 'NONE', *, *, #753, .F. ) ;
#633 = ORIENTED_EDGE ( 'NONE', *, *, #5358, .F. ) ;
#634 = ADVANCED_FACE ( 'NONE', ( #4060 ), #410, .F. ) ;
#635 = LINE ( 'NONE', #2668, #3003 ) ;
#636 = AXIS2_PLACEMENT_3D ( 'NONE', #2832, #2920, #1570 ) ;
#637 = ORIENTED_EDGE ( 'NONE', *, *, #1279, .T. ) ;
#638 = EDGE_CURVE ( 'NONE', #1123, #2654, #515, .T. ) ;
#639 = LINE ( 'NONE', #4233, #5388 ) ;
#640 = EDGE_CURVE ( 'NONE', #1657, #4993, #1842, .T. ) ;
#641 = VERTEX_POINT ( 'NONE', #1753 ) ;
#642 = VERTEX_POINT ( 'NONE', #3938 ) ;
#643 = ORIENTED_EDGE ( 'NONE', *, *, #440, .F. ) ;
#644 = DIRECTION ( 'NONE', ( 0.8090169943749551100, 0.5877852522924625900, 0.0000000000000000000 ) ) ;
#645 = VERTEX_POINT ( 'NONE', #2823 ) ;
#646 = ORIENTED_EDGE ( 'NONE', *, *, #2042, .F. ) ;
#647 = EDGE_CURVE ( 'NONE', #4038, #865, #2745, .T. ) ;
#648 = VECTOR ( 'NONE', #1697, 1000.000000000000000 ) ;
#649 = EDGE_CURVE ( 'NONE', #2802, #156, #979, .T. ) ;
#650 = CARTESIAN_POINT ( 'NONE', ( 5.388360468578816400E-016, 4.000000000000000000, 4.399999999999997700 ) ) ;
#651 = CARTESIAN_POINT ( 'NONE', ( 7.750000000000000000, 9.491012693391987800E-016, 0.0000000000000000000 ) ) ;
#652 = VECTOR ( 'NONE', #722, 1000.000000000000000 ) ;
#653 = VERTEX_POINT ( 'NONE', #1320 ) ;
#654 = CARTESIAN_POINT ( 'NONE', ( -0.8277232073046800800, 7.706201382328937500, 4.181442777200022200 ) ) ;
#655 = VECTOR ( 'NONE', #4347, 1000.000000000000000 ) ;
#656 = CARTESIAN_POINT ( 'NONE', ( -2.524594437261126400, -5.679141478018502600, 3.983666602602355500 ) ) ;
#657 = ADVANCED_FACE ( 'NONE', ( #2297 ), #1148, .F. ) ;
#658 = CARTESIAN_POINT ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, -1.734723475976807100E-015 ) ) ;
#659 = LINE ( 'NONE', #6054, #4204 ) ;
#660 = CARTESIAN_POINT ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, 13.90000000000000000 ) ) ;
#661 = VERTEX_POINT ( 'NONE', #1812 ) ;
#662 = DIRECTION ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#663 = AXIS2_PLACEMENT_3D ( 'NONE', #1052, #1209, #1000 ) ;
#664 = ORIENTED_EDGE ( 'NONE', *, *, #1797, .T. ) ;
#665 = CARTESIAN_POINT ( 'NONE', ( 1.091648001756754500, 3.848969576626165300, 1.508116625995443000 ) ) ;
#666 = CARTESIAN_POINT ( 'NONE', ( 0.4000000000000000200, 5.587235585471640700, 13.90000000000000000 ) ) ;
#667 = VECTOR ( 'NONE', #2734, 1000.000000000000100 ) ;
#668 = EDGE_LOOP ( 'NONE', ( #168, #1975, #481, #249 ) ) ;
#669 = EDGE_LOOP ( 'NONE', ( #5466, #5698, #4383, #5460 ) ) ;
#670 = EDGE_CURVE ( 'NONE', #2850, #1900, #2237, .T. ) ;
#671 = VERTEX_POINT ( 'NONE', #1731 ) ;
#672 = ADVANCED_FACE ( 'NONE', ( #828 ), #5525, .F. ) ;
#673 = LINE ( 'NONE', #3730, #2431 ) ;
#674 = DIRECTION ( 'NONE', ( -0.0000000000000000000, -0.0000000000000000000, 1.000000000000000000 ) ) ;
#675 = CYLINDRICAL_SURFACE ( 'NONE', #4585, 4.000000000000000000 ) ;
#676 = ORIENTED_EDGE ( 'NONE', *, *, #2631, .F. ) ;
#677 = CARTESIAN_POINT ( 'NONE', ( -2.524594437261006500, 5.679141478018555800, 13.90000000000000000 ) ) ;
#678 = ORIENTED_EDGE ( 'NONE', *, *, #1281, .T. ) ;
#679 = DIRECTION ( 'NONE', ( 0.5224985647159498000, 0.8526401643540916200, -0.0000000000000000000 ) ) ;
#680 = DIRECTION ( 'NONE', ( 0.7604059656000274900, -0.6494480483301877700, 0.0000000000000000000 ) ) ;
#681 = AXIS2_PLACEMENT_3D ( 'NONE', #2330, #491, #4782 ) ;
#682 = CIRCLE ( 'NONE', #1864, 7.750000000000000000 ) ;
#683 = PLANE ( 'NONE', #5766 ) ;
#684 = ORIENTED_EDGE ( 'NONE', *, *, #189, .T. ) ;
#685 = DIRECTION ( 'NONE', ( -0.9510565162951533100, 0.3090169943749481200, 0.0000000000000000000 ) ) ;
#686 = VECTOR ( 'NONE', #5231, 1000.000000000000000 ) ;
#687 = CARTESIAN_POINT ( 'NONE', ( 1.429839163951072100, 3.736253157217014600, 1.919630286606112100 ) ) ;
#688 = CARTESIAN_POINT ( 'NONE', ( -4.285054439306062300, -3.607701475973870100, 5.500000000000000000 ) ) ;
#689 = VECTOR ( 'NONE', #2287, 1000.000000000000100 ) ;
#690 = EDGE_LOOP ( 'NONE', ( #875, #2647, #3879, #257 ) ) ;
#691 = ORIENTED_EDGE ( 'NONE', *, *, #5728, .F. ) ;
#692 = CARTESIAN_POINT ( 'NONE', ( -0.6460807603922673600, 6.181327094649736500, -8.400000000000002100 ) ) ;
#693 = LINE ( 'NONE', #5253, #369 ) ;
#694 = ORIENTED_EDGE ( 'NONE', *, *, #5453, .T. ) ;
#695 = DIRECTION ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#696 = DIRECTION ( 'NONE', ( 0.07845909572784524900, -0.9969173337331278500, 0.0000000000000000000 ) ) ;
#697 = VECTOR ( 'NONE', #3954, 1000.000000000000100 ) ;
#698 = DIRECTION ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#699 = ADVANCED_FACE ( 'NONE', ( #5811 ), #3263, .T. ) ;
#700 = ORIENTED_EDGE ( 'NONE', *, *, #2623, .F. ) ;
#701 = PLANE ( 'NONE', #2532 ) ;
#702 = DIRECTION ( 'NONE', ( -0.5224985647159375900, 0.8526401643540990600, 0.0000000000000000000 ) ) ;
#703 = EDGE_LOOP ( 'NONE', ( #71, #2326, #5832, #3353 ) ) ;
#704 = DIRECTION ( 'NONE', ( 0.7604059656000274900, -0.6494480483301877700, 0.0000000000000000000 ) ) ;
#705 = VECTOR ( 'NONE', #1152, 1000.000000000000000 ) ;
#706 = CARTESIAN_POINT ( 'NONE', ( -3.110602590935009500, -5.380555410110410700, 5.500000000000000000 ) ) ;
#707 = DIRECTION ( 'NONE', ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#708 = ORIENTED_EDGE ( 'NONE', *, *, #1290, .F. ) ;
#709 = VERTEX_POINT ( 'NONE', #3545 ) ;
#710 = ORIENTED_EDGE ( 'NONE', *, *, #4766, .F. ) ;
#711 = FACE_OUTER_BOUND ( 'NONE', #795, .T. ) ;
#712 = DIRECTION ( 'NONE', ( 0.07845909572783460500, -0.9969173337331288500, 0.0000000000000000000 ) ) ;
#713 = AXIS2_PLACEMENT_3D ( 'NONE', #4943, #3012, #3068 ) ;
#714 = DIRECTION ( 'NONE', ( -0.9723699203976790000, -0.2334453638558950100, -0.0000000000000000000 ) ) ;
#715 = EDGE_CURVE ( 'NONE', #2068, #213, #4431, .T. ) ;
#716 = FACE_BOUND ( 'NONE', #4558, .T. ) ;
#717 = DIRECTION ( 'NONE', ( 0.9510565162951512000, -0.3090169943749548300, 0.0000000000000000000 ) ) ;
#718 = VERTEX_POINT ( 'NONE', #3861 ) ;
#719 = ORIENTED_EDGE ( 'NONE', *, *, #5373, .F. ) ;
#720 = CARTESIAN_POINT ( 'NONE', ( -5.437383609388963800, -1.346128140969082600, -1.734723475976807100E-015 ) ) ;
#721 = ORIENTED_EDGE ( 'NONE', *, *, #5713, .T. ) ;
#722 = DIRECTION ( 'NONE', ( -0.0000000000000000000, -0.0000000000000000000, 1.000000000000000000 ) ) ;
#723 = EDGE_CURVE ( 'NONE', #6027, #5140, #4502, .T. ) ;
#724 = LINE ( 'NONE', #1515, #5645 ) ;
#725 = DIRECTION ( 'NONE', ( -0.8090169943749465600, 0.5877852522924742500, 0.0000000000000000000 ) ) ;
#726 = CARTESIAN_POINT ( 'NONE', ( -0.7313343139533246000, 7.716059999630060100, 4.232974109752700700 ) ) ;
#727 = DIRECTION ( 'NONE', ( -0.07845909572784878800, -0.9969173337331276300, 0.0000000000000000000 ) ) ;
#728 = ORIENTED_EDGE ( 'NONE', *, *, #5526, .T. ) ;
#729 = CARTESIAN_POINT ( 'NONE', ( -1.008736434410275200, 3.871801329152805900, 4.060146591495793300 ) ) ;
#730 = VERTEX_POINT ( 'NONE', #5820 ) ;
#731 = ORIENTED_EDGE ( 'NONE', *, *, #231, .T. ) ;
#732 = EDGE_CURVE ( 'NONE', #4038, #2609, #1629, .T. ) ;
#733 = VECTOR ( 'NONE', #2583, 1000.000000000000100 ) ;
#734 = CARTESIAN_POINT ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, -9.400000000000002100 ) ) ;
#735 = DIRECTION ( 'NONE', ( -3.491481338843133400E-015, -1.000000000000000000, 0.0000000000000000000 ) ) ;
#736 = DIRECTION ( 'NONE', ( 0.9723699203976748900, -0.2334453638559130200, 0.0000000000000000000 ) ) ;
#737 = EDGE_CURVE ( 'NONE', #3019, #4769, #1783, .T. ) ;
#738 = VERTEX_POINT ( 'NONE', #5577 ) ;
#739 = ORIENTED_EDGE ( 'NONE', *, *, #5544, .F. ) ;
#740 = CARTESIAN_POINT ( 'NONE', ( -6.078441347418333000, -1.295675802813035300, 3.983666602602359100 ) ) ;
#741 = ORIENTED_EDGE ( 'NONE', *, *, #4387, .F. ) ;
#742 = EDGE_LOOP ( 'NONE', ( #856, #1737, #3359, #1366 ) ) ;
#743 = ORIENTED_EDGE ( 'NONE', *, *, #5905, .F. ) ;
#744 = LINE ( 'NONE', #2986, #5957 ) ;
#745 = CARTESIAN_POINT ( 'NONE', ( -5.190170013888969300, 2.106973354005316600, 5.500000000000000000 ) ) ;
#746 = VERTEX_POINT ( 'NONE', #4555 ) ;
#747 = CARTESIAN_POINT ( 'NONE', ( 2.960487880473960500, 4.755282641140002700, -8.400000000000002100 ) ) ;
#748 = CARTESIAN_POINT ( 'NONE', ( 0.4000000000000000200, -5.587235585471640700, -8.400000000000002100 ) ) ;
#749 = DIRECTION ( 'NONE', ( -0.7604059656000320400, -0.6494480483301823300, -0.0000000000000000000 ) ) ;
#750 = LINE ( 'NONE', #3983, #6191 ) ;
#751 = CARTESIAN_POINT ( 'NONE', ( -6.181327094649729400, 0.6460807603923326400, 1.436582596283394700 ) ) ;
#752 = ORIENTED_EDGE ( 'NONE', *, *, #4157, .F. ) ;
#753 = EDGE_CURVE ( 'NONE', #730, #3230, #5740, .T. ) ;
#754 = VERTEX_POINT ( 'NONE', #1484 ) ;
#755 = ORIENTED_EDGE ( 'NONE', *, *, #4201, .F. ) ;
#756 = CARTESIAN_POINT ( 'NONE', ( 4.999999999999999100, 6.123233995736765300E-016, 14.90000000000000000 ) ) ;
#757 = DIRECTION ( 'NONE', ( -0.6494480483301794400, 0.7604059656000345900, 0.0000000000000000000 ) ) ;
#758 = EDGE_CURVE ( 'NONE', #5420, #2061, #3175, .T. ) ;
#759 = VERTEX_POINT ( 'NONE', #2337 ) ;
#760 = PERSON_AND_ORGANIZATION ( #3050, #5967 ) ;
#761 = CARTESIAN_POINT ( 'NONE', ( 4.155983220727002900, -4.621041924613497700, 5.500000000000000000 ) ) ;
#762 = DIRECTION ( 'NONE', ( 0.9238795325112876300, 0.3826834323650875600, 0.0000000000000000000 ) ) ;
#763 = DIRECTION ( 'NONE', ( -0.0000000000000000000, -0.0000000000000000000, 1.000000000000000000 ) ) ;
#764 = AXIS2_PLACEMENT_3D ( 'NONE', #4958, #5415, #1582 ) ;
#765 = LINE ( 'NONE', #1250, #3124 ) ;
#766 = CARTESIAN_POINT ( 'NONE', ( -0.4333549108796999100, 7.740441247619087600, 4.356534119483865400 ) ) ;
#767 = VECTOR ( 'NONE', #121, 1000.000000000000100 ) ;
#768 = ORIENTED_EDGE ( 'NONE', *, *, #3828, .F. ) ;
#769 = CARTESIAN_POINT ( 'NONE', ( -1.346128140969177700, -5.437383609388939800, 0.0000000000000000000 ) ) ;
#770 = DIRECTION ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#771 = DIRECTION ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#772 = LINE ( 'NONE', #5654, #5693 ) ;
#773 = VERTEX_POINT ( 'NONE', #1131 ) ;
#774 = CARTESIAN_POINT ( 'NONE', ( 0.6460807603922678100, 6.181327094649736500, 13.90000000000000000 ) ) ;
#775 = ORIENTED_EDGE ( 'NONE', *, *, #1734, .T. ) ;
#776 = VECTOR ( 'NONE', #836, 1000.000000000000000 ) ;
#777 = DIRECTION ( 'NONE', ( 0.2334453638558989000, -0.9723699203976781100, 0.0000000000000000000 ) ) ;
#778 = DIRECTION ( 'NONE', ( -0.2334453638559057500, -0.9723699203976765600, -0.0000000000000000000 ) ) ;
#779 = EDGE_CURVE ( 'NONE', #1277, #5582, #2873, .T. ) ;
#780 = EDGE_CURVE ( 'NONE', #2911, #3892, #5665, .T. ) ;
#781 = VERTEX_POINT ( 'NONE', #3982 ) ;
#782 = ORIENTED_EDGE ( 'NONE', *, *, #6197, .F. ) ;
#783 = DIRECTION ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#784 = FACE_OUTER_BOUND ( 'NONE', #103, .T. ) ;
#785 = CIRCLE ( 'NONE', #6150, 6.214999999999999900 ) ;
#786 = VERTEX_POINT ( 'NONE', #3006 ) ;
#787 = ORIENTED_EDGE ( 'NONE', *, *, #791, .T. ) ;
#788 = CARTESIAN_POINT ( 'NONE', ( 5.437383609388955800, 1.346128140969119500, 3.983666602602355500 ) ) ;
#789 = VECTOR ( 'NONE', #4618, 1000.000000000000000 ) ;
#790 = CLOSED_SHELL ( 'NONE', ( #3329, #3146, #3466, #442, #4028, #1344, #1809, #2341, #1463, #1945, #4120, #1135, #2819, #300, #4772, #1414, #5396, #389, #1747, #5729, #359, #1780, #4091, #3913, #200, #147, #6009, #460, #699, #3901, #5755, #5078, #4191, #3295, #5503, #1161, #4886, #5012, #827, #5201, #6195, #672, #4208, #1970, #5113, #634, #851, #4463, #3561, #6132, #1047, #2158, #5186, #4659, #5602, #1102, #6099, #4684, #1434, #6164, #3948, #6066, #2656, #2282, #3648, #2089, #5897, #4311, #5241, #3120, #6145, #5356, #2861, #1392, #4421, #3840, #5216, #4900, #1560, #429, #2360, #2380, #5269, #5147, #4719, #5384, #1313, #3800, #1840, #3269, #3010, #1576, #5672, #986, #1499, #5638, #4433, #4523, #5433, #3, #3026, #2553, #2899, #1225, #4402, #160, #1128, #2118, #3351, #33, #4161, #1589, #4623, #5569, #122, #888, #1011, #4559, #2427, #3925, #3625, #3595, #3475, #1720, #2083, #6181, #3691, #1109, #2252, #1376, #4937, #657, #4908, #1262, #4700, #3540, #2067, #2770, #5866, #3774, #2053, #4595, #2529, #496, #2830, #954, #5938, #1904, #3204, #2222, #531, #4249, #1283, #3234, #922, #2930, #3180, #2806, #3746, #3380, #2471, #5291, #3716, #325, #5779, #1607, #2544, #5974, #5048, #2187, #2706, #2743, #273, #6044, #1689, #4288, #2401, #2314, #1875, #5696, #4222, #3277, #5535, #130, #2594, #4747 ) ) ;
#791 = EDGE_CURVE ( 'NONE', #6037, #2329, #264, .T. ) ;
#792 = CARTESIAN_POINT ( 'NONE', ( -2.960487880473995100, -4.755282641139980400, 1.621521349104050300 ) ) ;
#793 = LINE ( 'NONE', #2752, #5711 ) ;
#794 = EDGE_LOOP ( 'NONE', ( #5237, #3644, #2051, #2077 ) ) ;
#795 = EDGE_LOOP ( 'NONE', ( #86, #1218, #935, #2185 ) ) ;
#796 = PLANE ( 'NONE', #2311 ) ;
#797 = ORIENTED_EDGE ( 'NONE', *, *, #2974, .F. ) ;
#798 = AXIS2_PLACEMENT_3D ( 'NONE', #2775, #465, #1614 ) ;
#799 = VERTEX_POINT ( 'NONE', #2264 ) ;
#800 = VECTOR ( 'NONE', #490, 1000.000000000000100 ) ;
#801 = DIRECTION ( 'NONE', ( -0.0000000000000000000, -0.0000000000000000000, -1.000000000000000000 ) ) ;
#802 = DIRECTION ( 'NONE', ( -0.0000000000000000000, -0.0000000000000000000, -1.000000000000000000 ) ) ;
#803 = VERTEX_POINT ( 'NONE', #2186 ) ;
#804 = EDGE_CURVE ( 'NONE', #3098, #2802, #101, .T. ) ;
#805 = EDGE_CURVE ( 'NONE', #5995, #3073, #1485, .T. ) ;
#806 = CIRCLE ( 'NONE', #5775, 6.214999999999999900 ) ;
#807 = ORIENTED_EDGE ( 'NONE', *, *, #4432, .F. ) ;
#808 = DIRECTION ( 'NONE', ( 0.07845909572785553200, 0.9969173337331271900, 0.0000000000000000000 ) ) ;
#809 = VECTOR ( 'NONE', #1535, 1000.000000000000000 ) ;
#810 = ORIENTED_EDGE ( 'NONE', *, *, #1106, .F. ) ;
#811 = EDGE_LOOP ( 'NONE', ( #50, #2837, #2135, #5580 ) ) ;
#812 = CARTESIAN_POINT ( 'NONE', ( -2.106973354005298400, -5.190170013888976400, 3.983666602602355500 ) ) ;
#813 = VERTEX_POINT ( 'NONE', #897 ) ;
#814 = VECTOR ( 'NONE', #2671, 1000.000000000000000 ) ;
#815 = VERTEX_POINT ( 'NONE', #1899 ) ;
#816 = CARTESIAN_POINT ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, 15.40000000000000000 ) ) ;
#817 = EDGE_CURVE ( 'NONE', #2996, #942, #1253, .T. ) ;
#818 = CARTESIAN_POINT ( 'NONE', ( -4.755282641139969800, 2.960487880474011600, -1.734723475976807100E-015 ) ) ;
#819 = ORIENTED_EDGE ( 'NONE', *, *, #4224, .F. ) ;
#820 = CARTESIAN_POINT ( 'NONE', ( -0.4000000000000000200, 5.587235585471640700, 4.063417403716607100 ) ) ;
#821 = DIRECTION ( 'NONE', ( -0.5877852522924713600, 0.8090169943749486700, 0.0000000000000000000 ) ) ;
#822 = CARTESIAN_POINT ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, 13.90000000000000000 ) ) ;
#823 = LINE ( 'NONE', #4892, #6102 ) ;
#824 = DIRECTION ( 'NONE', ( 0.9238795325112864100, -0.3826834323650907300, 0.0000000000000000000 ) ) ;
#825 = ORIENTED_EDGE ( 'NONE', *, *, #353, .F. ) ;
#826 = CARTESIAN_POINT ( 'NONE', ( 3.607701475973887500, -4.285054439306048100, 13.90000000000000000 ) ) ;
#827 = ADVANCED_FACE ( 'NONE', ( #4870 ), #2016, .F. ) ;
#828 = FACE_OUTER_BOUND ( 'NONE', #2387, .T. ) ;
#829 = DIRECTION ( 'NONE', ( -0.5224985647159592400, -0.8526401643540858500, 0.0000000000000000000 ) ) ;
#830 = DIRECTION ( 'NONE', ( -0.0000000000000000000, -0.0000000000000000000, 1.000000000000000000 ) ) ;
#831 = CARTESIAN_POINT ( 'NONE', ( -3.607701475973949200, -4.285054439305995700, 13.90000000000000000 ) ) ;
#832 = CARTESIAN_POINT ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, -9.400000000000005700 ) ) ;
#833 = VECTOR ( 'NONE', #413, 1000.000000000000000 ) ;
#834 = AXIS2_PLACEMENT_3D ( 'NONE', #1523, #3703, #1879 ) ;
#835 = CARTESIAN_POINT ( 'NONE', ( -1.346128140969063500, 5.437383609388968300, 0.0000000000000000000 ) ) ;
#836 = DIRECTION ( 'NONE', ( 0.5224985647159498000, 0.8526401643540916200, 0.0000000000000000000 ) ) ;
#837 = LINE ( 'NONE', #4364, #5443 ) ;
#838 = ORIENTED_EDGE ( 'NONE', *, *, #5382, .F. ) ;
#839 = EDGE_CURVE ( 'NONE', #5582, #328, #2511, .T. ) ;
#840 = CARTESIAN_POINT ( 'NONE', ( -4.999999999999999100, 0.0000000000000000000, 15.40000000000000000 ) ) ;
#841 = CARTESIAN_POINT ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, 13.90000000000000000 ) ) ;
#842 = AXIS2_PLACEMENT_3D ( 'NONE', #5397, #2403, #3927 ) ;
#843 = LINE ( 'NONE', #5690, #4446 ) ;
#844 = DIRECTION ( 'NONE', ( -0.6494480483301903200, -0.7604059656000252700, -0.0000000000000000000 ) ) ;
#845 = VERTEX_POINT ( 'NONE', #2005 ) ;
#846 = LINE ( 'NONE', #1257, #697 ) ;
#847 = EDGE_CURVE ( 'NONE', #3008, #4117, #1919, .T. ) ;
#848 = DIRECTION ( 'NONE', ( -0.0000000000000000000, -0.0000000000000000000, 1.000000000000000000 ) ) ;
#849 = CARTESIAN_POINT ( 'NONE', ( 0.4000000000000000200, 5.587235585471640700, -8.400000000000002100 ) ) ;
#850 = DIRECTION ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#851 = ADVANCED_FACE ( 'NONE', ( #1400 ), #2405, .F. ) ;
#852 = VECTOR ( 'NONE', #1203, 1000.000000000000000 ) ;
#853 = DIRECTION ( 'NONE', ( 0.07845909572785901600, 0.9969173337331268500, 0.0000000000000000000 ) ) ;
#854 = ORIENTED_EDGE ( 'NONE', *, *, #339, .F. ) ;
#855 = CARTESIAN_POINT ( 'NONE', ( 3.607701475973917700, 4.285054439306023300, 5.500000000000000000 ) ) ;
#856 = ORIENTED_EDGE ( 'NONE', *, *, #3289, .T. ) ;
#857 = CYLINDRICAL_SURFACE ( 'NONE', #93, 4.999999999999999100 ) ;
#858 = DIRECTION ( 'NONE', ( 0.7604059656000364800, 0.6494480483301772200, 0.0000000000000000000 ) ) ;
#859 = CARTESIAN_POINT ( 'NONE', ( 5.587235585471638900, -0.4000000000000195600, 1.436582596283394700 ) ) ;
#860 = DIRECTION ( 'NONE', ( -0.0000000000000000000, -0.0000000000000000000, 1.000000000000000000 ) ) ;
#861 = AXIS2_PLACEMENT_3D ( 'NONE', #2854, #2833, #2753 ) ;
#862 = CIRCLE ( 'NONE', #1049, 6.214999999999999900 ) ;
#863 = DIRECTION ( 'NONE', ( 0.3090169943749446800, -0.9510565162951544200, 0.0000000000000000000 ) ) ;
#864 = ORIENTED_EDGE ( 'NONE', *, *, #628, .F. ) ;
#865 = VERTEX_POINT ( 'NONE', #1578 ) ;
#866 = DIRECTION ( 'NONE', ( -0.9969173337331274100, 0.07845909572785253500, 0.0000000000000000000 ) ) ;
#867 = LINE ( 'NONE', #3422, #4474 ) ;
#868 = DIRECTION ( 'NONE', ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#869 = DIRECTION ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#870 = ORIENTED_EDGE ( 'NONE', *, *, #4306, .T. ) ;
#871 = EDGE_CURVE ( 'NONE', #4748, #4822, #5407, .T. ) ;
#872 = DIRECTION ( 'NONE', ( -0.0000000000000000000, -0.0000000000000000000, 1.000000000000000000 ) ) ;
#873 = EDGE_LOOP ( 'NONE', ( #1361, #1961, #5455, #768 ) ) ;
#874 = ORIENTED_EDGE ( 'NONE', *, *, #37, .T. ) ;
#875 = ORIENTED_EDGE ( 'NONE', *, *, #2136, .T. ) ;
#876 = CARTESIAN_POINT ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, 15.40000000000000000 ) ) ;
#877 = LINE ( 'NONE', #104, #5934 ) ;
#878 = DIRECTION ( 'NONE', ( 0.5877852522924770200, 0.8090169943749445600, 0.0000000000000000000 ) ) ;
#879 = AXIS2_PLACEMENT_3D ( 'NONE', #2779, #4024, #3134 ) ;
#880 = PLANE ( 'NONE', #3642 ) ;
#881 = EDGE_CURVE ( 'NONE', #5421, #4641, #4044, .T. ) ;
#882 = ORIENTED_EDGE ( 'NONE', *, *, #3729, .F. ) ;
#883 = DIRECTION ( 'NONE', ( -0.7604059656000274900, 0.6494480483301877700, 0.0000000000000000000 ) ) ;
#884 = ORIENTED_EDGE ( 'NONE', *, *, #2241, .F. ) ;
#885 = EDGE_LOOP ( 'NONE', ( #3502, #1888, #1893, #5172 ) ) ;
#886 = CARTESIAN_POINT ( 'NONE', ( -4.999999999999999100, 0.0000000000000000000, -9.400000000000002100 ) ) ;
#887 = DIRECTION ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, -1.000000000000000000 ) ) ;
#888 = ADVANCED_FACE ( 'NONE', ( #2809 ), #5578, .T. ) ;
#889 = EDGE_CURVE ( 'NONE', #5026, #2731, #5730, .T. ) ;
#890 = ORIENTED_EDGE ( 'NONE', *, *, #2456, .F. ) ;
#891 = VECTOR ( 'NONE', #3763, 1000.000000000000000 ) ;
#892 = ORIENTED_EDGE ( 'NONE', *, *, #3416, .F. ) ;
#893 = ORIENTED_EDGE ( 'NONE', *, *, #3287, .F. ) ;
#894 = VERTEX_POINT ( 'NONE', #2147 ) ;
#895 = AXIS2_PLACEMENT_3D ( 'NONE', #993, #5311, #2453 ) ;
#896 = ORIENTED_EDGE ( 'NONE', *, *, #1846, .F. ) ;
#897 = CARTESIAN_POINT ( 'NONE', ( -4.755282641140034600, -2.960487880473907700, 5.500000000000000000 ) ) ;
#898 = VECTOR ( 'NONE', #2791, 1000.000000000000000 ) ;
#899 = VERTEX_POINT ( 'NONE', #3056 ) ;
#900 = DIRECTION ( 'NONE', ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#901 = ORIENTED_EDGE ( 'NONE', *, *, #2248, .T. ) ;
#902 = CARTESIAN_POINT ( 'NONE', ( 2.106973354005223300, -5.190170013889007400, 3.983666602602359100 ) ) ;
#903 = ORIENTED_EDGE ( 'NONE', *, *, #5080, .F. ) ;
#904 = DIRECTION ( 'NONE', ( -0.5224985647159404700, 0.8526401643540974000, 0.0000000000000000000 ) ) ;
#905 = DIRECTION ( 'NONE', ( 1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#906 = VECTOR ( 'NONE', #1143, 1000.000000000000000 ) ;
#907 = EDGE_CURVE ( 'NONE', #1538, #4938, #3315, .T. ) ;
#908 = DIRECTION ( 'NONE', ( 0.9510565162951576400, 0.3090169943749349100, 0.0000000000000000000 ) ) ;
#909 = CARTESIAN_POINT ( 'NONE', ( -4.621041924613422200, 4.155983220727084600, 13.90000000000000000 ) ) ;
#910 = COORDINATED_UNIVERSAL_TIME_OFFSET ( 1, 0, .AHEAD. ) ;
#911 = DIRECTION ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#912 = DIRECTION ( 'NONE', ( 0.3826834323651003800, 0.9238795325112824100, 0.0000000000000000000 ) ) ;
#913 = EDGE_CURVE ( 'NONE', #2329, #4289, #1321, .T. ) ;
#914 = LINE ( 'NONE', #1490, #2015 ) ;
#915 = DIRECTION ( 'NONE', ( -0.0000000000000000000, -0.0000000000000000000, -1.000000000000000000 ) ) ;
#916 = DIRECTION ( 'NONE', ( 0.3090169943749447300, -0.9510565162951544200, 0.0000000000000000000 ) ) ;
#917 = DIRECTION ( 'NONE', ( -0.0000000000000000000, -0.0000000000000000000, 1.000000000000000000 ) ) ;
#918 = AXIS2_PLACEMENT_3D ( 'NONE', #1029, #2271, #4345 ) ;
#919 = VECTOR ( 'NONE', #4483, 1000.000000000000000 ) ;
#920 = LINE ( 'NONE', #396, #1074 ) ;
#921 = ORIENTED_EDGE ( 'NONE', *, *, #2690, .T. ) ;
#922 = ADVANCED_FACE ( 'NONE', ( #498 ), #1312, .F. ) ;
#923 = ORIENTED_EDGE ( 'NONE', *, *, #5151, .T. ) ;
#924 = CARTESIAN_POINT ( 'NONE', ( 0.8285118651557448200, 7.706110748957077500, 4.180942333451295800 ) ) ;
#925 = DIRECTION ( 'NONE', ( 0.5224985647159469100, -0.8526401643540934000, 0.0000000000000000000 ) ) ;
#926 = VECTOR ( 'NONE', #3719, 1000.000000000000100 ) ;
#927 = DIRECTION ( 'NONE', ( -0.0000000000000000000, -0.0000000000000000000, 1.000000000000000000 ) ) ;
#928 = VERTEX_POINT ( 'NONE', #1835 ) ;
#929 = AXIS2_PLACEMENT_3D ( 'NONE', #4744, #1929, #5247 ) ;
#930 = DIRECTION ( 'NONE', ( 0.5877852522924770200, 0.8090169943749445600, 0.0000000000000000000 ) ) ;
#931 = CARTESIAN_POINT ( 'NONE', ( -3.607701475973949200, -4.285054439305995700, 5.500000000000000000 ) ) ;
#932 = VERTEX_POINT ( 'NONE', #5965 ) ;
#933 = VECTOR ( 'NONE', #4759, 1000.000000000000100 ) ;
#934 = EDGE_LOOP ( 'NONE', ( #5618, #2133, #2113, #421 ) ) ;
#935 = ORIENTED_EDGE ( 'NONE', *, *, #4025, .T. ) ;
#936 = CIRCLE ( 'NONE', #4322, 4.000000000000000000 ) ;
#937 = CARTESIAN_POINT ( 'NONE', ( 3.110602590934932200, -5.380555410110455100, 3.878478650895951200 ) ) ;
#938 = VECTOR ( 'NONE', #6209, 1000.000000000000000 ) ;
#939 = ORIENTED_EDGE ( 'NONE', *, *, #6126, .T. ) ;
#940 = DIRECTION ( 'NONE', ( -0.0000000000000000000, -0.0000000000000000000, 1.000000000000000000 ) ) ;
#941 = LINE ( 'NONE', #3790, #1894 ) ;
#942 = VERTEX_POINT ( 'NONE', #5878 ) ;
#943 = CARTESIAN_POINT ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, -8.400000000000002100 ) ) ;
#944 = VECTOR ( 'NONE', #1415, 1000.000000000000100 ) ;
#945 = ORIENTED_EDGE ( 'NONE', *, *, #1399, .T. ) ;
#946 = VERTEX_POINT ( 'NONE', #5502 ) ;
#947 = DIRECTION ( 'NONE', ( 0.6494480483301848800, 0.7604059656000299300, 0.0000000000000000000 ) ) ;
#948 = EDGE_LOOP ( 'NONE', ( #427, #584, #2856, #5425 ) ) ;
#949 = ORIENTED_EDGE ( 'NONE', *, *, #2000, .T. ) ;
#950 = DIRECTION ( 'NONE', ( 0.07845909572784523500, -0.9969173337331278500, 0.0000000000000000000 ) ) ;
#951 = ORIENTED_EDGE ( 'NONE', *, *, #215, .T. ) ;
#952 = AXIS2_PLACEMENT_3D ( 'NONE', #5777, #4309, #2941 ) ;
#953 = CARTESIAN_POINT ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, -8.400000000000002100 ) ) ;
#954 = ADVANCED_FACE ( 'NONE', ( #3959 ), #5814, .F. ) ;
#955 = LINE ( 'NONE', #4915, #800 ) ;
#956 = AXIS2_PLACEMENT_3D ( 'NONE', #196, #830, #239 ) ;
#957 = DIRECTION ( 'NONE', ( 0.3826834323650907300, 0.9238795325112864100, 0.0000000000000000000 ) ) ;
#958 = VECTOR ( 'NONE', #1910, 999.9999999999998900 ) ;
#959 = DIRECTION ( 'NONE', ( 0.0000000000000000000, 0.0000000000000000000, 1.000000000000000000 ) ) ;
#960 = VERTEX_POINT ( 'NONE', #4484 ) ;
#961 = EDGE_CURVE ( 'NONE', #195, #1981, #5037, .T. ) ;
#962 = CARTESIAN_POINT ( 'NONE', ( 5.679141478018530100, 2.524594437261064700, 13.90000000000000000 ) ) ;
#963 = CARTESIAN_POINT ( 'NONE', ( 3.607701475973887500, -4.285054439306048100, 3.878478650895951200 ) ) ;
#964 = FACE_OUTER_BOUND ( 'NONE', #5232, .T. ) ;
#965 = ORIENTED_EDGE ( 'NONE', *, *, #1969, .T. ) ;
#966 = PLANE ( 'NONE', #5749 ) ;
#967 = ORIENTED_EDGE ( 'NONE', *, *, #670, .T. ) ;
#968 = AXIS2_PLACEMENT_3D ( 'NONE', #2904, #3818, #1739 ) ;
#969 = EDGE_LOOP ( 'NONE', ( #3205, #1933, #4794, #5877 ) ) ;
#970 = ORIENTED_EDGE ( 'NONE', *, *, #298, .F. ) ;
#971 = FACE_OUTER_BOUND ( 'NONE', #141, .T. ) ;
#972 = DIRECTION ( 'NONE', ( -0.0000000000000000000, -0.0000000000000000000, 1.000000000000000000 ) ) ;
#973 = VECTOR ( 'NONE', #3951, 1000.000000000000000 ) ;
#974 = EDGE_LOOP ( 'NONE', ( #96, #3742, #4715, #5190 ) ) ;
#975 = DIRECTION ( 'NONE', ( -0.0000000000000000000, -0.0000000000000000000, 1.000000000000000000 ) ) ;
#976 = ORIENTED_EDGE ( 'NONE', *, *, #4713, .F. ) ;
#977 = ORIENTED_EDGE ( 'NONE', *, *, #3260, .F. ) ;
#978 = EDGE_CURVE ( 'NONE', #88, #2068, #5417, .T. ) ;
#979 = LINE ( 'NONE', #3215, #5675 ) ;
#980 = ORIENTED_EDGE ( 'NONE', *, *, #1291, .T. ) ;