-
Notifications
You must be signed in to change notification settings - Fork 0
/
CUI_DEVICES_SJ1-3524N.step
8509 lines (8508 loc) · 605 KB
/
CUI_DEVICES_SJ1-3524N.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 ('CUI_DEVICES_SJ1-3524N.step',
'2023-06-23T15:33:11',
( '' ),
( '' ),
'SwSTEP 2.0',
'SolidWorks 2023',
'' );
FILE_SCHEMA (( 'CONFIG_CONTROL_DESIGN' ));
ENDSEC;
DATA;
#1 = PLANE ( 'NONE', #6284 ) ;
#2 = CYLINDRICAL_SURFACE ( 'NONE', #4948, 0.4999999999998004929 ) ;
#3 = CARTESIAN_POINT ( 'NONE', ( -5.125000000000000000, -1.699999438000999952, -8.900000000000000355 ) ) ;
#4 = EDGE_CURVE ( 'NONE', #6576, #7872, #5211, .T. ) ;
#5 = VECTOR ( 'NONE', #6375, 1000.000000000000000 ) ;
#6 = EDGE_CURVE ( 'NONE', #2465, #1506, #712, .T. ) ;
#7 = DIRECTION ( 'NONE', ( -1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#8 = CARTESIAN_POINT ( 'NONE', ( -0.7778692654522999517, 2.028391463213999657, -3.665296734917999899 ) ) ;
#9 = VERTEX_POINT ( 'NONE', #5296 ) ;
#10 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#11 = CARTESIAN_POINT ( 'NONE', ( 0.1000000000000000056, 2.399999999999999911, -9.269999999999999574 ) ) ;
#12 = AXIS2_PLACEMENT_3D ( 'NONE', #6203, #1691, #442 ) ;
#13 = VERTEX_POINT ( 'NONE', #3273 ) ;
#14 = VECTOR ( 'NONE', #3483, 1000.000000000000000 ) ;
#15 = DIRECTION ( 'NONE', ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#16 = CARTESIAN_POINT ( 'NONE', ( 6.000000000000000000, -2.500000000000000000, -14.30000000000000071 ) ) ;
#17 = ORIENTED_EDGE ( 'NONE', *, *, #7186, .T. ) ;
#18 = CIRCLE ( 'NONE', #6199, 0.5000000000000002220 ) ;
#19 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#20 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#21 = EDGE_LOOP ( 'NONE', ( #6124, #1209, #7430, #3807 ) ) ;
#22 = VECTOR ( 'NONE', #2325, 1000.000000000000000 ) ;
#23 = LINE ( 'NONE', #6958, #639 ) ;
#24 = FACE_OUTER_BOUND ( 'NONE', #2142, .T. ) ;
#25 = PLANE ( 'NONE', #4529 ) ;
#26 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#27 = ORIENTED_EDGE ( 'NONE', *, *, #6862, .T. ) ;
#28 = LINE ( 'NONE', #2589, #8329 ) ;
#29 = DIRECTION ( 'NONE', ( 1.000000000000000000, -3.241851231904999685E-13, 3.079018521627000000E-13 ) ) ;
#30 = ADVANCED_FACE ( 'NONE', ( #1510 ), #777, .T. ) ;
#31 = ORIENTED_EDGE ( 'NONE', *, *, #1462, .F. ) ;
#32 = VERTEX_POINT ( 'NONE', #2137 ) ;
#33 = ORIENTED_EDGE ( 'NONE', *, *, #3818, .T. ) ;
#34 = CARTESIAN_POINT ( 'NONE', ( -0.5000000000000000000, 2.449999999999999734, -9.269999999999999574 ) ) ;
#35 = ORIENTED_EDGE ( 'NONE', *, *, #5815, .T. ) ;
#36 = VECTOR ( 'NONE', #4384, 1000.000000000000000 ) ;
#37 = CARTESIAN_POINT ( 'NONE', ( 1.060000000000000275, -2.449999999999999734, -6.675000000000001599 ) ) ;
#38 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#39 = DIRECTION ( 'NONE', ( 0.000000000000000000, 1.000000000000000000, 0.000000000000000000 ) ) ;
#40 = ADVANCED_FACE ( 'NONE', ( #5929 ), #879, .F. ) ;
#41 = CARTESIAN_POINT ( 'NONE', ( -5.572499999999999787, -1.300000000000000266, -13.25000000000000000 ) ) ;
#42 = EDGE_CURVE ( 'NONE', #4338, #911, #2634, .T. ) ;
#43 = VECTOR ( 'NONE', #8107, 1000.000000000000000 ) ;
#44 = ORIENTED_EDGE ( 'NONE', *, *, #4210, .T. ) ;
#45 = ORIENTED_EDGE ( 'NONE', *, *, #3818, .F. ) ;
#46 = CARTESIAN_POINT ( 'NONE', ( -2.799999999999999822, 2.449999999999999734, -8.300000000000000711 ) ) ;
#47 = CARTESIAN_POINT ( 'NONE', ( 1.800000000000000266, -2.204364238465236069E-16, -14.30000000000000071 ) ) ;
#48 = CARTESIAN_POINT ( 'NONE', ( 2.649999999999999911, 2.100000000000000089, -12.30000000000000071 ) ) ;
#49 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#50 = CARTESIAN_POINT ( 'NONE', ( 6.000000000000000000, 2.500000000000000000, -3.299999999999999822 ) ) ;
#51 = ORIENTED_EDGE ( 'NONE', *, *, #2140, .T. ) ;
#52 = CARTESIAN_POINT ( 'NONE', ( 0.8090115131334000287, 2.061002502512000678, -3.364177661900999983 ) ) ;
#53 = DIRECTION ( 'NONE', ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#54 = EDGE_CURVE ( 'NONE', #1658, #3075, #7189, .T. ) ;
#56 = EDGE_CURVE ( 'NONE', #1763, #3178, #750, .T. ) ;
#55 = VERTEX_POINT ( 'NONE', #6513 ) ;
#57 = DIRECTION ( 'NONE', ( 0.000000000000000000, 1.000000000000000000, 0.000000000000000000 ) ) ;
#58 = LINE ( 'NONE', #6497, #3657 ) ;
#59 = ORIENTED_EDGE ( 'NONE', *, *, #7448, .T. ) ;
#60 = FACE_OUTER_BOUND ( 'NONE', #2450, .T. ) ;
#61 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#62 = ORIENTED_EDGE ( 'NONE', *, *, #3070, .T. ) ;
#63 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#64 = CARTESIAN_POINT ( 'NONE', ( -2.100000000000000089, 2.399999999999999911, -9.269999999999999574 ) ) ;
#65 = DIRECTION ( 'NONE', ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#66 = DIRECTION ( 'NONE', ( 0.000000000000000000, -1.000000000000000000, 0.000000000000000000 ) ) ;
#67 = VERTEX_POINT ( 'NONE', #6552 ) ;
#68 = DIRECTION ( 'NONE', ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#69 = CARTESIAN_POINT ( 'NONE', ( 1.100000000000000089, 2.399999999999999911, -6.270000000000000462 ) ) ;
#70 = ORIENTED_EDGE ( 'NONE', *, *, #602, .F. ) ;
#71 = ORIENTED_EDGE ( 'NONE', *, *, #1798, .T. ) ;
#72 = ORIENTED_EDGE ( 'NONE', *, *, #2150, .F. ) ;
#73 = VERTEX_POINT ( 'NONE', #794 ) ;
#74 = VERTEX_POINT ( 'NONE', #3358 ) ;
#75 = EDGE_CURVE ( 'NONE', #4030, #7314, #4670, .T. ) ;
#76 = FACE_OUTER_BOUND ( 'NONE', #7470, .T. ) ;
#77 = CARTESIAN_POINT ( 'NONE', ( -0.4140686147689385255, 2.333346918839276807, -4.012100716725603533 ) ) ;
#78 = CARTESIAN_POINT ( 'NONE', ( 0.3921781339799999544, -2.500000000000000000, -9.280485300000000493 ) ) ;
#79 = ORIENTED_EDGE ( 'NONE', *, *, #4049, .F. ) ;
#80 = VERTEX_POINT ( 'NONE', #1077 ) ;
#81 = ORIENTED_EDGE ( 'NONE', *, *, #6890, .F. ) ;
#82 = EDGE_CURVE ( 'NONE', #4030, #3567, #2653, .T. ) ;
#83 = DIRECTION ( 'NONE', ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#84 = CARTESIAN_POINT ( 'NONE', ( 0.1147414494060000067, -2.399999999999999911, -8.869894356024000004 ) ) ;
#85 = CARTESIAN_POINT ( 'NONE', ( 2.560000000000000053, 1.969999999999999973, -3.335726678380365406 ) ) ;
#86 = CARTESIAN_POINT ( 'NONE', ( 0.08610824890743999649, 2.286207332278999971, -4.140554277267999517 ) ) ;
#87 = ORIENTED_EDGE ( 'NONE', *, *, #7762, .T. ) ;
#88 = CARTESIAN_POINT ( 'NONE', ( 5.510910596163093870E-17, -3.299999999999999822, -11.34999999999999964 ) ) ;
#89 = CARTESIAN_POINT ( 'NONE', ( -0.4893746088859999843, -4.975000000000000533, -6.675000000000001599 ) ) ;
#90 = ADVANCED_FACE ( 'NONE', ( #4783 ), #4153, .F. ) ;
#91 = ORIENTED_EDGE ( 'NONE', *, *, #1462, .T. ) ;
#92 = ADVANCED_FACE ( 'NONE', ( #3482 ), #5576, .F. ) ;
#93 = CARTESIAN_POINT ( 'NONE', ( -0.5000000000000000000, 2.399999999999999911, -6.270000000000000462 ) ) ;
#94 = DIRECTION ( 'NONE', ( 0.000000000000000000, -1.225073682344999929E-13, 1.000000000000000000 ) ) ;
#95 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#96 = ORIENTED_EDGE ( 'NONE', *, *, #7104, .F. ) ;
#97 = ADVANCED_FACE ( 'NONE', ( #7996 ), #335, .T. ) ;
#98 = DIRECTION ( 'NONE', ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#99 = ADVANCED_FACE ( 'NONE', ( #4897 ), #1583, .F. ) ;
#100 = CARTESIAN_POINT ( 'NONE', ( -3.079156197589000499, 0.000000000000000000, -2.299999999999999822 ) ) ;
#101 = CIRCLE ( 'NONE', #2780, 0.2499999999999001077 ) ;
#102 = ORIENTED_EDGE ( 'NONE', *, *, #5444, .F. ) ;
#103 = CARTESIAN_POINT ( 'NONE', ( 5.125000000000000000, 1.969999999779073363, -10.20999999985680340 ) ) ;
#104 = AXIS2_PLACEMENT_3D ( 'NONE', #2537, #6251, #7591 ) ;
#105 = CARTESIAN_POINT ( 'NONE', ( 2.649999999999999911, 1.899999999999999911, -12.10352464246000181 ) ) ;
#106 = VECTOR ( 'NONE', #4554, 1000.000000000000000 ) ;
#107 = LINE ( 'NONE', #2671, #2956 ) ;
#108 = LINE ( 'NONE', #3136, #2836 ) ;
#109 = EDGE_LOOP ( 'NONE', ( #6924, #3382, #3724, #5927 ) ) ;
#110 = DIRECTION ( 'NONE', ( 0.000000000000000000, -1.000000000000000000, 0.000000000000000000 ) ) ;
#111 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#112 = EDGE_LOOP ( 'NONE', ( #2411, #2221, #8005, #31 ) ) ;
#113 = ORIENTED_EDGE ( 'NONE', *, *, #4243, .T. ) ;
#114 = VECTOR ( 'NONE', #7070, 1000.000000000000000 ) ;
#115 = CIRCLE ( 'NONE', #2261, 0.2500000000000002220 ) ;
#116 = VERTEX_POINT ( 'NONE', #3644 ) ;
#117 = CIRCLE ( 'NONE', #389, 1.386126840556000772 ) ;
#118 = ORIENTED_EDGE ( 'NONE', *, *, #6583, .T. ) ;
#119 = LINE ( 'NONE', #5255, #6463 ) ;
#120 = CARTESIAN_POINT ( 'NONE', ( 2.560000000000000053, 2.116987298108000015, -4.258012701891999541 ) ) ;
#121 = APPROVAL_DATE_TIME ( #3406, #1936 ) ;
#122 = LINE ( 'NONE', #4622, #3376 ) ;
#123 = ORIENTED_EDGE ( 'NONE', *, *, #6585, .F. ) ;
#124 = VECTOR ( 'NONE', #2373, 1000.000000000000000 ) ;
#125 = AXIS2_PLACEMENT_3D ( 'NONE', #762, #5138, #5894 ) ;
#126 = ORIENTED_EDGE ( 'NONE', *, *, #5813, .T. ) ;
#127 = AXIS2_PLACEMENT_3D ( 'NONE', #3085, #3799, #1953 ) ;
#128 = EDGE_LOOP ( 'NONE', ( #3861, #1113, #1974, #3130, #1070, #4866, #3112, #1710, #2639, #1423, #5841, #4017 ) ) ;
#129 = CARTESIAN_POINT ( 'NONE', ( -0.8110961413313777513, 1.970000000000212914, -3.435147047019159849 ) ) ;
#130 = CARTESIAN_POINT ( 'NONE', ( 0.01000000000000000021, -4.074999403146000176, -6.675000000000001599 ) ) ;
#131 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#132 = CARTESIAN_POINT ( 'NONE', ( 0.7459053749090001073, 2.359735727290000362, -3.635140472028000058 ) ) ;
#133 = ORIENTED_EDGE ( 'NONE', *, *, #7713, .F. ) ;
#134 = AXIS2_PLACEMENT_3D ( 'NONE', #5473, #6810, #3620 ) ;
#135 = DIRECTION ( 'NONE', ( -1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#136 = CARTESIAN_POINT ( 'NONE', ( 5.125000000000000000, 2.169999999999999929, -10.83928549722000056 ) ) ;
#137 = EDGE_CURVE ( 'NONE', #5898, #1658, #6170, .T. ) ;
#138 = ORIENTED_EDGE ( 'NONE', *, *, #3752, .F. ) ;
#139 = CARTESIAN_POINT ( 'NONE', ( 1.699999999999999956, 2.399999999999999911, -6.270000000000000462 ) ) ;
#140 = DIRECTION ( 'NONE', ( 0.000000000000000000, -1.000000000000000000, 0.000000000000000000 ) ) ;
#141 = CARTESIAN_POINT ( 'NONE', ( 0.000000000000000000, 2.399999999999999911, -9.269999999999999574 ) ) ;
#142 = EDGE_CURVE ( 'NONE', #3057, #6864, #2295, .T. ) ;
#143 = ORIENTED_EDGE ( 'NONE', *, *, #5942, .F. ) ;
#144 = CARTESIAN_POINT ( 'NONE', ( -0.1044450433031000047, -2.399999999999999911, -8.280485299999998716 ) ) ;
#145 = CARTESIAN_POINT ( 'NONE', ( 5.169999999999999929, 2.500000000000000000, -12.20000000000000107 ) ) ;
#146 = EDGE_CURVE ( 'NONE', #1138, #6136, #6720, .T. ) ;
#147 = AXIS2_PLACEMENT_3D ( 'NONE', #8022, #6116, #5568 ) ;
#148 = EDGE_LOOP ( 'NONE', ( #6162, #5926, #2326, #1839 ) ) ;
#149 = DIRECTION ( 'NONE', ( 0.000000000000000000, -1.000000000000000000, 0.000000000000000000 ) ) ;
#150 = VECTOR ( 'NONE', #2220, 1000.000000000000000 ) ;
#151 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#152 = B_SPLINE_CURVE_WITH_KNOTS ( 'NONE', 3,
( #7054, #5877, #4613, #1372 ),
.UNSPECIFIED., .F., .F.,
( 4, 4 ),
( 0.000000000000000000, 1.000000000000000000 ),
.UNSPECIFIED. ) ;
#153 = DIRECTION ( 'NONE', ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#154 = CARTESIAN_POINT ( 'NONE', ( 5.349999999999999645, -1.300000000000000266, -14.30000000000000071 ) ) ;
#155 = VERTEX_POINT ( 'NONE', #8031 ) ;
#156 = LINE ( 'NONE', #3435, #2008 ) ;
#157 = DIRECTION ( 'NONE', ( 0.000000000000000000, 1.000000000000000000, 0.000000000000000000 ) ) ;
#158 = ORIENTED_EDGE ( 'NONE', *, *, #4968, .F. ) ;
#159 = ORIENTED_EDGE ( 'NONE', *, *, #3342, .T. ) ;
#160 = CIRCLE ( 'NONE', #7146, 0.5000000000000004441 ) ;
#161 = ORIENTED_EDGE ( 'NONE', *, *, #4094, .T. ) ;
#162 = EDGE_CURVE ( 'NONE', #3387, #5731, #293, .T. ) ;
#163 = VERTEX_POINT ( 'NONE', #5501 ) ;
#164 = EDGE_CURVE ( 'NONE', #74, #6240, #6838, .T. ) ;
#165 = DIRECTION ( 'NONE', ( 0.000000000000000000, -1.000000000000000000, 0.000000000000000000 ) ) ;
#166 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#167 = VECTOR ( 'NONE', #7842, 1000.000000000000000 ) ;
#168 = DIRECTION ( 'NONE', ( -0.9987492177719005104, 0.05000000000016967955, 0.000000000000000000 ) ) ;
#169 = ORIENTED_EDGE ( 'NONE', *, *, #6259, .T. ) ;
#170 = VECTOR ( 'NONE', #4885, 1000.000000000000000 ) ;
#171 = ORIENTED_EDGE ( 'NONE', *, *, #164, .T. ) ;
#172 = VECTOR ( 'NONE', #6178, 1000.000000000000000 ) ;
#173 = EDGE_LOOP ( 'NONE', ( #4639, #6313, #3759, #5333 ) ) ;
#174 = DIRECTION ( 'NONE', ( -1.084202172485506406E-15, 0.000000000000000000, -1.000000000000000000 ) ) ;
#175 = DIRECTION ( 'NONE', ( -1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#176 = DIRECTION ( 'NONE', ( 0.000000000000000000, -1.000000000000000000, 0.000000000000000000 ) ) ;
#177 = CARTESIAN_POINT ( 'NONE', ( 0.6370750327983999428, 2.193645821160000065, -3.825411149855999948 ) ) ;
#178 = VERTEX_POINT ( 'NONE', #452 ) ;
#179 = AXIS2_PLACEMENT_3D ( 'NONE', #6151, #5525, #357 ) ;
#180 = CARTESIAN_POINT ( 'NONE', ( 0.1147414494060000067, -2.500000000000000000, -8.869894356024000004 ) ) ;
#181 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#182 = VERTEX_POINT ( 'NONE', #917 ) ;
#183 = PLANE ( 'NONE', #6416 ) ;
#184 = EDGE_CURVE ( 'NONE', #7484, #3141, #8078, .T. ) ;
#185 = CARTESIAN_POINT ( 'NONE', ( 1.899999999999999911, 2.449999999999999734, -9.269999999999999574 ) ) ;
#186 = DIRECTION ( 'NONE', ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#187 = VERTEX_POINT ( 'NONE', #2848 ) ;
#188 = DIRECTION ( 'NONE', ( 0.000000000000000000, -1.000000000000000000, -1.333340545053999919E-09 ) ) ;
#189 = LINE ( 'NONE', #7849, #6490 ) ;
#190 = VERTEX_POINT ( 'NONE', #5422 ) ;
#191 = ADVANCED_FACE ( 'NONE', ( #3599 ), #1624, .F. ) ;
#192 = CARTESIAN_POINT ( 'NONE', ( 4.500000000000000888, 0.000000000000000000, -2.799999999999999822 ) ) ;
#193 = EDGE_CURVE ( 'NONE', #1457, #1786, #6759, .T. ) ;
#194 = DIRECTION ( 'NONE', ( 0.000000000000000000, -1.000000000000000000, 0.000000000000000000 ) ) ;
#195 = FACE_OUTER_BOUND ( 'NONE', #5870, .T. ) ;
#196 = CARTESIAN_POINT ( 'NONE', ( 1.899999999999999911, 2.399999999999999911, -6.270000000000000462 ) ) ;
#197 = ORIENTED_EDGE ( 'NONE', *, *, #1484, .T. ) ;
#198 = LINE ( 'NONE', #330, #4424 ) ;
#199 = CARTESIAN_POINT ( 'NONE', ( 0.5000000000000000000, 2.399999999999999911, -6.270000000000000462 ) ) ;
#200 = ORIENTED_EDGE ( 'NONE', *, *, #2233, .T. ) ;
#201 = EDGE_LOOP ( 'NONE', ( #91, #2342, #3255, #2893 ) ) ;
#202 = ORIENTED_EDGE ( 'NONE', *, *, #4545, .F. ) ;
#203 = ADVANCED_FACE ( 'NONE', ( #7431 ), #1663, .T. ) ;
#204 = ORIENTED_EDGE ( 'NONE', *, *, #499, .T. ) ;
#205 = CARTESIAN_POINT ( 'NONE', ( 1.800000000000000266, -2.204364238465236069E-16, -0.5000000000000000000 ) ) ;
#206 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#207 = PERSON_AND_ORGANIZATION_ROLE ( 'design_supplier' ) ;
#208 = CARTESIAN_POINT ( 'NONE', ( 0.1000000000000000056, 2.449999999999999734, -6.270000000000000462 ) ) ;
#209 = VERTEX_POINT ( 'NONE', #7006 ) ;
#210 = DIRECTION ( 'NONE', ( 0.000000000000000000, -0.8164830315786650861, 0.5773694303858774024 ) ) ;
#211 = EDGE_CURVE ( 'NONE', #3269, #2641, #654, .T. ) ;
#212 = EDGE_CURVE ( 'NONE', #8176, #6275, #8194, .T. ) ;
#213 = ADVANCED_BREP_SHAPE_REPRESENTATION ( 'CUI_DEVICES_SJ1-3524N', ( #5720, #3741 ), #931 ) ;
#214 = ORIENTED_EDGE ( 'NONE', *, *, #137, .T. ) ;
#215 = ORIENTED_EDGE ( 'NONE', *, *, #6474, .T. ) ;
#216 = CARTESIAN_POINT ( 'NONE', ( 0.01000000000000000021, -4.950000000000000178, -6.675000000000001599 ) ) ;
#217 = CARTESIAN_POINT ( 'NONE', ( -4.854999999999999538, 2.500000000000000000, -9.870000000000002771 ) ) ;
#218 = LINE ( 'NONE', #7247, #2557 ) ;
#219 = DIRECTION ( 'NONE', ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#220 = ORIENTED_EDGE ( 'NONE', *, *, #499, .F. ) ;
#221 = DIRECTION ( 'NONE', ( -1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#222 = DIRECTION ( 'NONE', ( 0.000000000000000000, 1.000000000000000000, 0.000000000000000000 ) ) ;
#223 = FACE_OUTER_BOUND ( 'NONE', #4756, .T. ) ;
#224 = ORIENTED_EDGE ( 'NONE', *, *, #4908, .T. ) ;
#225 = DIRECTION ( 'NONE', ( 0.000000000000000000, 1.000000000000000000, 0.000000000000000000 ) ) ;
#226 = DIRECTION ( 'NONE', ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#227 = EDGE_CURVE ( 'NONE', #8176, #7861, #6290, .T. ) ;
#228 = ORIENTED_EDGE ( 'NONE', *, *, #4728, .F. ) ;
#229 = DIRECTION ( 'NONE', ( -1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#230 = CARTESIAN_POINT ( 'NONE', ( -5.145000000000000462, 2.500000000000000000, -11.09999999999999964 ) ) ;
#231 = LINE ( 'NONE', #3587, #4704 ) ;
#232 = CARTESIAN_POINT ( 'NONE', ( -5.000000000000976996, -3.500000000000000000, -6.799999999998721734 ) ) ;
#233 = ORIENTED_EDGE ( 'NONE', *, *, #5344, .T. ) ;
#234 = VECTOR ( 'NONE', #6797, 1000.000000000000000 ) ;
#235 = CARTESIAN_POINT ( 'NONE', ( 0.9000000000000001332, 2.399999999999999911, -6.270000000000000462 ) ) ;
#236 = PLANE ( 'NONE', #4745 ) ;
#237 = ORIENTED_EDGE ( 'NONE', *, *, #7722, .T. ) ;
#238 = ADVANCED_FACE ( 'NONE', ( #3715 ), #529, .F. ) ;
#239 = ORIENTED_EDGE ( 'NONE', *, *, #1218, .F. ) ;
#240 = ORIENTED_EDGE ( 'NONE', *, *, #1334, .T. ) ;
#241 = AXIS2_PLACEMENT_3D ( 'NONE', #7510, #1741, #8152 ) ;
#242 = CIRCLE ( 'NONE', #4671, 0.2000000000001000144 ) ;
#243 = ORIENTED_EDGE ( 'NONE', *, *, #5590, .T. ) ;
#244 = CARTESIAN_POINT ( 'NONE', ( 0.1000000000000000056, 2.399999999999999911, -6.270000000000000462 ) ) ;
#245 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#246 = DATE_AND_TIME ( #7999, #2529 ) ;
#247 = DIRECTION ( 'NONE', ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#248 = ORIENTED_EDGE ( 'NONE', *, *, #2621, .F. ) ;
#249 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#250 = EDGE_CURVE ( 'NONE', #5456, #995, #609, .T. ) ;
#251 = AXIS2_PLACEMENT_3D ( 'NONE', #6147, #2902, #940 ) ;
#252 = VECTOR ( 'NONE', #5169, 1000.000000000000000 ) ;
#253 = ADVANCED_FACE ( 'NONE', ( #4309 ), #2582, .F. ) ;
#254 = VECTOR ( 'NONE', #3010, 1000.000000000000000 ) ;
#255 = ORIENTED_EDGE ( 'NONE', *, *, #2980, .F. ) ;
#256 = ORIENTED_EDGE ( 'NONE', *, *, #1014, .T. ) ;
#257 = ADVANCED_FACE ( 'NONE', ( #1917 ), #7680, .F. ) ;
#258 = CIRCLE ( 'NONE', #4946, 3.010000000000000231 ) ;
#259 = FACE_OUTER_BOUND ( 'NONE', #2379, .T. ) ;
#260 = ADVANCED_FACE ( 'NONE', ( #3803 ), #5156, .T. ) ;
#261 = CARTESIAN_POINT ( 'NONE', ( -0.06627436278296935934, 2.066966518420203514, -3.975027710473463927 ) ) ;
#262 = AXIS2_PLACEMENT_3D ( 'NONE', #8045, #1803, #1047 ) ;
#263 = CARTESIAN_POINT ( 'NONE', ( -2.540000000000000036, 1.991987298107999793, -4.041506350946000303 ) ) ;
#264 = LINE ( 'NONE', #5268, #3621 ) ;
#265 = AXIS2_PLACEMENT_3D ( 'NONE', #7174, #5911, #1403 ) ;
#266 = ORIENTED_EDGE ( 'NONE', *, *, #6771, .F. ) ;
#267 = ADVANCED_FACE ( 'NONE', ( #5661, #7635 ), #6411, .T. ) ;
#268 = DIRECTION ( 'NONE', ( -1.000000000000000000, -0.000000000000000000, -0.000000000000000000 ) ) ;
#269 = EDGE_CURVE ( 'NONE', #5665, #5012, #5787, .T. ) ;
#270 = VECTOR ( 'NONE', #4592, 1000.000000000000000 ) ;
#271 = CARTESIAN_POINT ( 'NONE', ( 5.169999999999999929, -2.296632384695129758, 7.862588270922174161 ) ) ;
#272 = EDGE_CURVE ( 'NONE', #1615, #2889, #3167, .T. ) ;
#273 = DIRECTION ( 'NONE', ( 0.000000000000000000, 1.000000000000000000, 0.000000000000000000 ) ) ;
#274 = ORIENTED_EDGE ( 'NONE', *, *, #4471, .T. ) ;
#275 = CARTESIAN_POINT ( 'NONE', ( -0.4899999999999999911, -2.296632384695129758, -6.799999999999999822 ) ) ;
#276 = CARTESIAN_POINT ( 'NONE', ( -0.8000000000000000444, 2.449999999999999734, -8.300000000000000711 ) ) ;
#277 = ORIENTED_EDGE ( 'NONE', *, *, #934, .F. ) ;
#278 = AXIS2_PLACEMENT_3D ( 'NONE', #429, #4242, #1642 ) ;
#279 = CIRCLE ( 'NONE', #1485, 2.050000000000000266 ) ;
#280 = LINE ( 'NONE', #7304, #4265 ) ;
#281 = LINE ( 'NONE', #2837, #6155 ) ;
#282 = FACE_OUTER_BOUND ( 'NONE', #2603, .T. ) ;
#283 = ADVANCED_FACE ( 'NONE', ( #1117 ), #3681, .T. ) ;
#284 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#285 = EDGE_LOOP ( 'NONE', ( #5187, #2147, #6406, #2920 ) ) ;
#286 = VECTOR ( 'NONE', #4628, 1000.000000000000000 ) ;
#287 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#288 = CARTESIAN_POINT ( 'NONE', ( -2.500000000000000000, 2.100000000000000089, -12.20176232123000304 ) ) ;
#289 = VERTEX_POINT ( 'NONE', #5109 ) ;
#290 = ORIENTED_EDGE ( 'NONE', *, *, #8330, .T. ) ;
#291 = EDGE_LOOP ( 'NONE', ( #7313, #6511, #8206, #5376, #1907, #8249, #2974, #2690 ) ) ;
#292 = AXIS2_PLACEMENT_3D ( 'NONE', #3278, #5131, #5848 ) ;
#293 = LINE ( 'NONE', #6677, #5886 ) ;
#294 = VECTOR ( 'NONE', #4705, 1000.000000000000000 ) ;
#295 = DIRECTION ( 'NONE', ( 0.000000000000000000, 1.000000000000000000, 0.000000000000000000 ) ) ;
#296 = LINE ( 'NONE', #6012, #5472 ) ;
#297 = ADVANCED_FACE ( 'NONE', ( #1279 ), #4480, .F. ) ;
#298 = COORDINATED_UNIVERSAL_TIME_OFFSET ( 0, 0, .AHEAD. ) ;
#299 = CARTESIAN_POINT ( 'NONE', ( 2.500000000000000000, -2.185000000000000497, -11.25000000000000000 ) ) ;
#300 = VERTEX_POINT ( 'NONE', #3839 ) ;
#301 = PLANE ( 'NONE', #7373 ) ;
#302 = VECTOR ( 'NONE', #6084, 1000.000000000000000 ) ;
#303 = ORIENTED_EDGE ( 'NONE', *, *, #6169, .F. ) ;
#304 = ORIENTED_EDGE ( 'NONE', *, *, #3440, .F. ) ;
#305 = AXIS2_PLACEMENT_3D ( 'NONE', #5946, #767, #4001 ) ;
#306 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT ( #2600, #7653, ( #5390 ) ) ;
#307 = VECTOR ( 'NONE', #6327, 1000.000000000000000 ) ;
#308 = CARTESIAN_POINT ( 'NONE', ( -0.5201566879886188044, -2.466009761277093038, -6.515750676261567342 ) ) ;
#309 = EDGE_CURVE ( 'NONE', #3989, #2052, #23, .T. ) ;
#310 = DIRECTION ( 'NONE', ( -1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#311 = CARTESIAN_POINT ( 'NONE', ( -0.2999999999999999889, 2.449999999999999734, -9.269999999999999574 ) ) ;
#312 = CARTESIAN_POINT ( 'NONE', ( -0.6899999999999999467, -2.296632384695129758, -6.424999999999999822 ) ) ;
#313 = VECTOR ( 'NONE', #7426, 1000.000000000000000 ) ;
#314 = ORIENTED_EDGE ( 'NONE', *, *, #4616, .F. ) ;
#315 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#316 = AXIS2_PLACEMENT_3D ( 'NONE', #7888, #4013, #1567 ) ;
#317 = DIRECTION ( 'NONE', ( 0.000000000000000000, -1.000000000000000000, 0.000000000000000000 ) ) ;
#318 = CARTESIAN_POINT ( 'NONE', ( -2.225994714629000004, 1.969999999999999973, -3.335726678380365406 ) ) ;
#319 = VERTEX_POINT ( 'NONE', #3760 ) ;
#320 = CARTESIAN_POINT ( 'NONE', ( 4.875000000000000000, -2.296632384695129758, -8.949999999787999982 ) ) ;
#321 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#322 = EDGE_CURVE ( 'NONE', #2445, #7895, #5703, .T. ) ;
#323 = EDGE_CURVE ( 'NONE', #7215, #6802, #1999, .T. ) ;
#324 = VERTEX_POINT ( 'NONE', #5193 ) ;
#325 = AXIS2_PLACEMENT_3D ( 'NONE', #3289, #1184, #4426 ) ;
#326 = LINE ( 'NONE', #6750, #1319 ) ;
#327 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#328 = PLANE ( 'NONE', #3511 ) ;
#329 = ORIENTED_EDGE ( 'NONE', *, *, #7964, .T. ) ;
#330 = CARTESIAN_POINT ( 'NONE', ( 0.6999999999999999556, 2.449999999999999734, -9.269999999999999574 ) ) ;
#331 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.3939192985793849022, -0.9191450300179647703 ) ) ;
#332 = ORIENTED_EDGE ( 'NONE', *, *, #6594, .F. ) ;
#333 = EDGE_LOOP ( 'NONE', ( #7574, #4994, #5885, #7018 ) ) ;
#334 = ORIENTED_EDGE ( 'NONE', *, *, #5168, .F. ) ;
#335 = PLANE ( 'NONE', #1985 ) ;
#336 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#337 = FACE_OUTER_BOUND ( 'NONE', #4796, .T. ) ;
#338 = CARTESIAN_POINT ( 'NONE', ( 0.01000000000000000021, -5.000000000000000000, -6.675000000000001599 ) ) ;
#339 = ORIENTED_EDGE ( 'NONE', *, *, #2150, .T. ) ;
#340 = DIRECTION ( 'NONE', ( 0.000000000000000000, 1.000000000000000000, 0.000000000000000000 ) ) ;
#341 = CARTESIAN_POINT ( 'NONE', ( 0.6370750327983999428, 2.293883023464999837, -3.825537313749999946 ) ) ;
#342 = ORIENTED_EDGE ( 'NONE', *, *, #3029, .F. ) ;
#343 = ORIENTED_EDGE ( 'NONE', *, *, #5798, .F. ) ;
#344 = EDGE_CURVE ( 'NONE', #1775, #2677, #5323, .T. ) ;
#345 = VERTEX_POINT ( 'NONE', #103 ) ;
#346 = LINE ( 'NONE', #7478, #4141 ) ;
#347 = FACE_OUTER_BOUND ( 'NONE', #128, .T. ) ;
#348 = CARTESIAN_POINT ( 'NONE', ( -4.500000000000000888, 2.500000000000000000, -3.299999999999999822 ) ) ;
#349 = CARTESIAN_POINT ( 'NONE', ( 0.2999999999999999889, 2.449999999999999734, -6.270000000000000462 ) ) ;
#350 = EDGE_CURVE ( 'NONE', #6180, #1948, #5367, .T. ) ;
#351 = ORIENTED_EDGE ( 'NONE', *, *, #4923, .F. ) ;
#352 = CARTESIAN_POINT ( 'NONE', ( -0.7890126993332000627, 2.061000039232000258, -3.364175677448000723 ) ) ;
#353 = LINE ( 'NONE', #1057, #7237 ) ;
#354 = CARTESIAN_POINT ( 'NONE', ( 3.010000000000000231, 1.969999999999999973, -3.589999999999999858 ) ) ;
#355 = ORIENTED_EDGE ( 'NONE', *, *, #8030, .F. ) ;
#356 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#357 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#358 = EDGE_CURVE ( 'NONE', #4112, #5799, #7178, .T. ) ;
#359 = EDGE_CURVE ( 'NONE', #4855, #7388, #4062, .T. ) ;
#360 = ADVANCED_FACE ( 'NONE', ( #2754 ), #2083, .F. ) ;
#361 = CARTESIAN_POINT ( 'NONE', ( 1.658312395178000331, -2.500000000000000000, -2.299999999999999822 ) ) ;
#362 = CARTESIAN_POINT ( 'NONE', ( 0.000000000000000000, 2.299999999999925659, 0.000000000000000000 ) ) ;
#363 = EDGE_CURVE ( 'NONE', #4818, #4479, #4643, .T. ) ;
#364 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#365 = ORIENTED_EDGE ( 'NONE', *, *, #7724, .F. ) ;
#366 = CARTESIAN_POINT ( 'NONE', ( -0.9000000000000001332, -2.449999999999999734, -3.824999999999999734 ) ) ;
#367 = DIRECTION ( 'NONE', ( 0.000000000000000000, -1.000000000000000000, 0.000000000000000000 ) ) ;
#368 = EDGE_LOOP ( 'NONE', ( #1216, #617, #3963, #71 ) ) ;
#369 = ORIENTED_EDGE ( 'NONE', *, *, #587, .T. ) ;
#370 = ORIENTED_EDGE ( 'NONE', *, *, #6994, .T. ) ;
#371 = DIRECTION ( 'NONE', ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#372 = AXIS2_PLACEMENT_3D ( 'NONE', #7022, #5717, #4579 ) ;
#373 = CARTESIAN_POINT ( 'NONE', ( 4.500000000000000888, -2.500000000000000000, -2.299999999999999822 ) ) ;
#374 = CARTESIAN_POINT ( 'NONE', ( 0.2999999999999999889, 2.399999999999999911, -9.269999999999999574 ) ) ;
#375 = LINE ( 'NONE', #1702, #1761 ) ;
#376 = ORIENTED_EDGE ( 'NONE', *, *, #5005, .T. ) ;
#377 = DIRECTION ( 'NONE', ( 0.000000000000000000, -1.000000000000000000, 0.000000000000000000 ) ) ;
#378 = ADVANCED_FACE ( 'NONE', ( #7087 ), #2789, .T. ) ;
#379 = CARTESIAN_POINT ( 'NONE', ( 0.6370750327983999428, 2.394120225768999966, -3.825663477643999943 ) ) ;
#380 = ORIENTED_EDGE ( 'NONE', *, *, #7721, .F. ) ;
#381 = CIRCLE ( 'NONE', #2915, 1.800000000000000266 ) ;
#382 = ORIENTED_EDGE ( 'NONE', *, *, #7810, .T. ) ;
#383 = VERTEX_POINT ( 'NONE', #2124 ) ;
#384 = DIRECTION ( 'NONE', ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#385 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#386 = DIRECTION ( 'NONE', ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#387 = CIRCLE ( 'NONE', #1049, 0.5000000000000000000 ) ;
#388 = AXIS2_PLACEMENT_3D ( 'NONE', #46, #6440, #2605 ) ;
#389 = AXIS2_PLACEMENT_3D ( 'NONE', #2170, #7266, #4565 ) ;
#390 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#391 = ORIENTED_EDGE ( 'NONE', *, *, #8270, .T. ) ;
#392 = AXIS2_PLACEMENT_3D ( 'NONE', #130, #4793, #806 ) ;
#393 = CARTESIAN_POINT ( 'NONE', ( -3.319999999999999840, -2.296632384695129758, -7.070000000000001172 ) ) ;
#394 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#395 = ADVANCED_FACE ( 'NONE', ( #1446 ), #4019, .F. ) ;
#396 = CARTESIAN_POINT ( 'NONE', ( -0.8029782336732584902, 1.973504843754605220, -3.598795241800187394 ) ) ;
#397 = ORIENTED_EDGE ( 'NONE', *, *, #2063, .F. ) ;
#398 = AXIS2_PLACEMENT_3D ( 'NONE', #6952, #5866, #5698 ) ;
#399 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#400 = DIRECTION ( 'NONE', ( -1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#401 = CIRCLE ( 'NONE', #7255, 0.1999999999999996503 ) ;
#402 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#403 = EDGE_CURVE ( 'NONE', #3013, #4363, #5832, .T. ) ;
#404 = DIRECTION ( 'NONE', ( 0.000000000000000000, -1.000000000000000000, 0.000000000000000000 ) ) ;
#405 = EDGE_CURVE ( 'NONE', #4907, #7563, #3347, .T. ) ;
#406 = FACE_OUTER_BOUND ( 'NONE', #1259, .T. ) ;
#407 = ORIENTED_EDGE ( 'NONE', *, *, #142, .F. ) ;
#408 = FACE_OUTER_BOUND ( 'NONE', #861, .T. ) ;
#409 = CARTESIAN_POINT ( 'NONE', ( -0.6400000000000000133, -2.296632384695129758, -6.720456539821446640 ) ) ;
#410 = ORIENTED_EDGE ( 'NONE', *, *, #3242, .T. ) ;
#411 = AXIS2_PLACEMENT_3D ( 'NONE', #4293, #1104, #8142 ) ;
#412 = EDGE_LOOP ( 'NONE', ( #6344, #7949, #4040, #6378 ) ) ;
#413 = DIRECTION ( 'NONE', ( -1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#414 = CARTESIAN_POINT ( 'NONE', ( 0.01000000000000000021, -4.950000000000000178, -6.675000000000001599 ) ) ;
#415 = LINE ( 'NONE', #374, #1979 ) ;
#416 = DIRECTION ( 'NONE', ( 0.000000000000000000, -1.000000000000000000, 0.000000000000000000 ) ) ;
#417 = ORIENTED_EDGE ( 'NONE', *, *, #8340, .F. ) ;
#418 = DIRECTION ( 'NONE', ( 0.000000000000000000, 1.000000000000000000, 0.000000000000000000 ) ) ;
#419 = CARTESIAN_POINT ( 'NONE', ( 9.184850993605157066E-17, -2.399999999999999911, -9.570000000000000284 ) ) ;
#420 = EDGE_LOOP ( 'NONE', ( #7316, #4895, #8040, #4150 ) ) ;
#421 = ADVANCED_FACE ( 'NONE', ( #3888 ), #780, .T. ) ;
#422 = ADVANCED_FACE ( 'NONE', ( #1496, #699 ), #4563, .T. ) ;
#423 = VERTEX_POINT ( 'NONE', #6502 ) ;
#424 = ORIENTED_EDGE ( 'NONE', *, *, #8309, .F. ) ;
#425 = FACE_OUTER_BOUND ( 'NONE', #4170, .T. ) ;
#426 = PLANE ( 'NONE', #3069 ) ;
#427 = CARTESIAN_POINT ( 'NONE', ( -5.000000000000000000, 1.969999999999999973, -10.46666666666663659 ) ) ;
#428 = AXIS2_PLACEMENT_3D ( 'NONE', #41, #2601, #5172 ) ;
#429 = CARTESIAN_POINT ( 'NONE', ( -2.189620152994999902, -0.04150635094610000131, -3.969999999999999751 ) ) ;
#430 = VECTOR ( 'NONE', #4105, 1000.000000000000000 ) ;
#431 = ORIENTED_EDGE ( 'NONE', *, *, #5225, .T. ) ;
#432 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#433 = PLANE ( 'NONE', #2513 ) ;
#434 = CARTESIAN_POINT ( 'NONE', ( 0.000000000000000000, 1.969999999999999973, -5.969999999999999751 ) ) ;
#435 = ORIENTED_EDGE ( 'NONE', *, *, #4958, .F. ) ;
#436 = VECTOR ( 'NONE', #6570, 1000.000000000000000 ) ;
#437 = CARTESIAN_POINT ( 'NONE', ( 0.5099999999999884626, -2.526823857056419875, -6.607617892792448266 ) ) ;
#438 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#439 = EDGE_CURVE ( 'NONE', #7743, #6756, #2044, .T. ) ;
#440 = VECTOR ( 'NONE', #7184, 1000.000000000000000 ) ;
#441 = CARTESIAN_POINT ( 'NONE', ( -1.699999999999999956, 2.449999999999999734, -6.270000000000000462 ) ) ;
#442 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#443 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#444 = ORIENTED_EDGE ( 'NONE', *, *, #1746, .T. ) ;
#445 = CARTESIAN_POINT ( 'NONE', ( -0.7892793866802005898, 2.074505116552999073, -3.362330372349998875 ) ) ;
#446 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#447 = EDGE_LOOP ( 'NONE', ( #5711, #4831, #6782, #7843 ) ) ;
#448 = VECTOR ( 'NONE', #5014, 1000.000000000000000 ) ;
#449 = EDGE_LOOP ( 'NONE', ( #6638, #1969, #33, #3999 ) ) ;
#450 = EDGE_CURVE ( 'NONE', #2904, #7586, #7809, .T. ) ;
#451 = EDGE_CURVE ( 'NONE', #4318, #6352, #2260, .T. ) ;
#452 = CARTESIAN_POINT ( 'NONE', ( 5.169999999999999929, 1.449999999999999956, -14.30000000000000071 ) ) ;
#453 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#454 = CARTESIAN_POINT ( 'NONE', ( -0.5000000000000000000, 2.449999999999999734, -9.269999999999999574 ) ) ;
#455 = DIRECTION ( 'NONE', ( 0.000000000000000000, 1.000000000000000000, 0.000000000000000000 ) ) ;
#456 = EDGE_LOOP ( 'NONE', ( #789, #5786, #6768, #5914 ) ) ;
#457 = CARTESIAN_POINT ( 'NONE', ( -2.649999999999999911, -1.699999999999999956, -10.57492567849999965 ) ) ;
#458 = CARTESIAN_POINT ( 'NONE', ( 2.299999999999999822, 2.500000000000000000, -6.270000000000000462 ) ) ;
#459 = ORIENTED_EDGE ( 'NONE', *, *, #5074, .T. ) ;
#460 = EDGE_CURVE ( 'NONE', #5353, #1948, #280, .T. ) ;
#461 = ORIENTED_EDGE ( 'NONE', *, *, #4059, .F. ) ;
#462 = ORIENTED_EDGE ( 'NONE', *, *, #6201, .F. ) ;
#463 = CARTESIAN_POINT ( 'NONE', ( 0.06777291525402999450, -2.400000000499999953, -8.731367878663998994 ) ) ;
#464 = FACE_BOUND ( 'NONE', #3460, .T. ) ;
#465 = CARTESIAN_POINT ( 'NONE', ( 0.9594328627131989418, 1.871010811968999210, -3.355254218071998640 ) ) ;
#466 = EDGE_CURVE ( 'NONE', #5446, #8188, #4409, .T. ) ;
#467 = EDGE_CURVE ( 'NONE', #5184, #1370, #7939, .T. ) ;
#468 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#469 = VERTEX_POINT ( 'NONE', #1536 ) ;
#470 = ORIENTED_EDGE ( 'NONE', *, *, #3526, .T. ) ;
#471 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#472 = CYLINDRICAL_SURFACE ( 'NONE', #251, 0.5000000000000004441 ) ;
#473 = PLANE ( 'NONE', #970 ) ;
#474 = ORIENTED_EDGE ( 'NONE', *, *, #4470, .T. ) ;
#475 = CARTESIAN_POINT ( 'NONE', ( -0.9000000000000001332, -2.449999999999999734, -4.004999999999999893 ) ) ;
#476 = CARTESIAN_POINT ( 'NONE', ( -2.540000000000000036, 2.116987298108000015, -4.258012701891999541 ) ) ;
#477 = LINE ( 'NONE', #7458, #8048 ) ;
#478 = CARTESIAN_POINT ( 'NONE', ( 5.000000000000000000, -2.209999999999999964, -11.25000000000000000 ) ) ;
#479 = VERTEX_POINT ( 'NONE', #6665 ) ;
#480 = CARTESIAN_POINT ( 'NONE', ( 1.100000000000000089, 2.399999999999999911, -6.270000000000000462 ) ) ;
#481 = FACE_OUTER_BOUND ( 'NONE', #4315, .T. ) ;
#482 = EDGE_LOOP ( 'NONE', ( #4445, #603, #7530, #2130 ) ) ;
#483 = ORIENTED_EDGE ( 'NONE', *, *, #8330, .F. ) ;
#484 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#485 = LINE ( 'NONE', #4390, #4812 ) ;
#486 = CARTESIAN_POINT ( 'NONE', ( 4.875000000000000000, -5.000000000000000000, -12.30000000000000071 ) ) ;
#487 = DIRECTION ( 'NONE', ( 0.000000000000000000, -1.000000000000000000, 0.000000000000000000 ) ) ;
#488 = ORIENTED_EDGE ( 'NONE', *, *, #2899, .F. ) ;
#489 = DIRECTION ( 'NONE', ( 0.000000000000000000, 1.000000000000000000, 0.000000000000000000 ) ) ;
#490 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#491 = EDGE_CURVE ( 'NONE', #6963, #5701, #4677, .T. ) ;
#492 = ORIENTED_EDGE ( 'NONE', *, *, #5083, .F. ) ;
#493 = ORIENTED_EDGE ( 'NONE', *, *, #269, .T. ) ;
#494 = VERTEX_POINT ( 'NONE', #3812 ) ;
#495 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#496 = ORIENTED_EDGE ( 'NONE', *, *, #1404, .F. ) ;
#497 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#498 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#499 = EDGE_CURVE ( 'NONE', #4038, #1894, #387, .T. ) ;
#500 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#501 = EDGE_CURVE ( 'NONE', #5261, #6718, #1800, .T. ) ;
#502 = AXIS2_PLACEMENT_3D ( 'NONE', #4033, #2059, #6094 ) ;
#503 = FACE_OUTER_BOUND ( 'NONE', #2726, .T. ) ;
#504 = ORIENTED_EDGE ( 'NONE', *, *, #5295, .F. ) ;
#505 = ORIENTED_EDGE ( 'NONE', *, *, #6829, .T. ) ;
#506 = VECTOR ( 'NONE', #7391, 1000.000000000000000 ) ;
#507 = VECTOR ( 'NONE', #4764, 1000.000000000000000 ) ;
#508 = CARTESIAN_POINT ( 'NONE', ( 4.875000000000000000, 1.969999999999999973, -11.06999999949999847 ) ) ;
#509 = DIRECTION ( 'NONE', ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#510 = PLANE ( 'NONE', #5761 ) ;
#511 = CARTESIAN_POINT ( 'NONE', ( -0.7894734860957000055, 1.976956873983000351, -3.519036921978999644 ) ) ;
#512 = EDGE_LOOP ( 'NONE', ( #7235, #2426, #6664, #3450, #6189, #5570, #6949 ) ) ;
#513 = DIRECTION ( 'NONE', ( 0.000000000000000000, -1.000000000000000000, 0.000000000000000000 ) ) ;
#514 = CARTESIAN_POINT ( 'NONE', ( 2.649999999999999911, -5.000000000000000000, -12.30000000000000071 ) ) ;
#515 = VECTOR ( 'NONE', #6261, 1000.000000000000000 ) ;
#516 = VECTOR ( 'NONE', #6348, 1000.000000000000000 ) ;
#517 = VECTOR ( 'NONE', #7891, 1000.000000000000000 ) ;
#518 = EDGE_CURVE ( 'NONE', #2548, #3315, #7365, .T. ) ;
#520 = EDGE_CURVE ( 'NONE', #3569, #5027, #4489, .T. ) ;
#519 = ORIENTED_EDGE ( 'NONE', *, *, #3736, .T. ) ;
#521 = CARTESIAN_POINT ( 'NONE', ( -5.000000000000000000, -3.500000000000000000, -4.299999999999999822 ) ) ;
#522 = CIRCLE ( 'NONE', #4413, 0.2000000000000005107 ) ;
#523 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#524 = ORIENTED_EDGE ( 'NONE', *, *, #4833, .T. ) ;
#525 = CARTESIAN_POINT ( 'NONE', ( -0.7844991798777002368, 1.971116214512000475, -3.445691203392002411 ) ) ;
#526 = CARTESIAN_POINT ( 'NONE', ( 0.7099999999996000621, -2.449999999999999734, -6.424999999999999822 ) ) ;
#527 = ORIENTED_EDGE ( 'NONE', *, *, #674, .T. ) ;
#528 = AXIS2_PLACEMENT_3D ( 'NONE', #6120, #3676, #3712 ) ;
#529 = PLANE ( 'NONE', #3463 ) ;
#530 = PLANE ( 'NONE', #2387 ) ;
#531 = CARTESIAN_POINT ( 'NONE', ( -1.840000000000000080, -2.324999999999999734, -6.675000000000001599 ) ) ;
#532 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#533 = ORIENTED_EDGE ( 'NONE', *, *, #7262, .F. ) ;
#534 = CIRCLE ( 'NONE', #1065, 2.999999999999999556 ) ;
#535 = CARTESIAN_POINT ( 'NONE', ( 0.000000000000000000, 1.525000000000000133, -5.969999999999999751 ) ) ;
#536 = CARTESIAN_POINT ( 'NONE', ( 2.299999999999999822, 2.399999999999999911, -9.269999999999999574 ) ) ;
#537 = EDGE_LOOP ( 'NONE', ( #6707, #4880, #228, #6888 ) ) ;
#538 = ORIENTED_EDGE ( 'NONE', *, *, #3209, .T. ) ;
#539 = VERTEX_POINT ( 'NONE', #7648 ) ;
#540 = CARTESIAN_POINT ( 'NONE', ( 0.01000000000000000021, -4.950000000000000178, -6.924999999999999822 ) ) ;
#541 = VERTEX_POINT ( 'NONE', #3691 ) ;
#542 = ADVANCED_FACE ( 'NONE', ( #8250, #8289, #6303, #2425, #7602, #1291, #6972 ), #6892, .T. ) ;
#543 = CARTESIAN_POINT ( 'NONE', ( -0.09155172020261000132, -2.399999999999999911, -8.576468927526001096 ) ) ;
#544 = APPROVAL_ROLE ( '' ) ;
#545 = CARTESIAN_POINT ( 'NONE', ( 5.510910596163098184E-17, -2.500000000000000000, -12.25000000000000000 ) ) ;
#546 = VECTOR ( 'NONE', #5220, 1000.000000000000000 ) ;
#547 = VERTEX_POINT ( 'NONE', #4995 ) ;
#548 = EDGE_LOOP ( 'NONE', ( #159, #3143, #1574, #8104 ) ) ;
#549 = ADVANCED_FACE ( 'NONE', ( #1253 ), #8332, .T. ) ;
#550 = VECTOR ( 'NONE', #6295, 1000.000000000000000 ) ;
#551 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#552 = LINE ( 'NONE', #5643, #3190 ) ;
#553 = LINE ( 'NONE', #7614, #7774 ) ;
#554 = CARTESIAN_POINT ( 'NONE', ( 3.319999999999999840, 1.969999999999999973, -5.185000000000000497 ) ) ;
#555 = VERTEX_POINT ( 'NONE', #6928 ) ;
#556 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.3363363974681888302, -0.9417419114269686142 ) ) ;
#557 = DIRECTION ( 'NONE', ( -1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#558 = AXIS2_PLACEMENT_3D ( 'NONE', #5652, #8231, #4813 ) ;
#559 = ORIENTED_EDGE ( 'NONE', *, *, #7705, .F. ) ;
#560 = CARTESIAN_POINT ( 'NONE', ( 2.100000000000000089, 2.449999999999999734, -9.269999999999999574 ) ) ;
#561 = CIRCLE ( 'NONE', #5686, 0.4499999999999999001 ) ;
#562 = AXIS2_PLACEMENT_3D ( 'NONE', #3578, #4248, #6817 ) ;
#563 = DIRECTION ( 'NONE', ( 0.000000000000000000, 1.000000000000000000, 0.000000000000000000 ) ) ;
#564 = ORIENTED_EDGE ( 'NONE', *, *, #8003, .F. ) ;
#565 = EDGE_CURVE ( 'NONE', #2736, #4322, #6428, .T. ) ;
#566 = CARTESIAN_POINT ( 'NONE', ( 0.7099999999998640732, -2.296632384695129758, -6.424999999999990941 ) ) ;
#567 = ADVANCED_FACE ( 'NONE', ( #667 ), #1166, .F. ) ;
#568 = CARTESIAN_POINT ( 'NONE', ( 1.300000000000000266, 2.449999999999999734, -9.269999999999999574 ) ) ;
#569 = EDGE_LOOP ( 'NONE', ( #1240, #5965, #3943, #3099 ) ) ;
#570 = VECTOR ( 'NONE', #5416, 1000.000000000000000 ) ;
#571 = DIRECTION ( 'NONE', ( 0.000000000000000000, -1.000000000000000000, 0.000000000000000000 ) ) ;
#572 = CARTESIAN_POINT ( 'NONE', ( 5.169999999999999929, 1.449999999999999956, -13.35000000000000320 ) ) ;
#573 = LINE ( 'NONE', #7727, #5 ) ;
#574 = FACE_OUTER_BOUND ( 'NONE', #622, .T. ) ;
#575 = ORIENTED_EDGE ( 'NONE', *, *, #7262, .T. ) ;
#576 = AXIS2_PLACEMENT_3D ( 'NONE', #276, #1443, #7981 ) ;
#577 = CARTESIAN_POINT ( 'NONE', ( 5.000000000000601297, -3.500000000000000000, -7.249999999999650058 ) ) ;
#578 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#579 = ORIENTED_EDGE ( 'NONE', *, *, #7659, .T. ) ;
#580 = ORIENTED_EDGE ( 'NONE', *, *, #1260, .T. ) ;
#581 = LINE ( 'NONE', #5035, #515 ) ;
#582 = VERTEX_POINT ( 'NONE', #7566 ) ;
#583 = CARTESIAN_POINT ( 'NONE', ( 0.5100000000000000089, -4.950000000000000178, -6.675000000000001599 ) ) ;
#584 = LINE ( 'NONE', #3313, #7613 ) ;
#585 = DIRECTION ( 'NONE', ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#586 = CARTESIAN_POINT ( 'NONE', ( -0.04321935870694586929, -2.399999999999999911, -8.384657293923673649 ) ) ;
#587 = EDGE_CURVE ( 'NONE', #6724, #4038, #3339, .T. ) ;
#588 = ORIENTED_EDGE ( 'NONE', *, *, #4367, .F. ) ;
#589 = VERTEX_POINT ( 'NONE', #1208 ) ;
#590 = DIRECTION ( 'NONE', ( 5.421010862427531636E-15, 0.000000000000000000, -1.000000000000000000 ) ) ;
#591 = DIRECTION ( 'NONE', ( 0.000000000000000000, -1.000000000000000000, 0.000000000000000000 ) ) ;
#592 = CARTESIAN_POINT ( 'NONE', ( -0.4899999999999999911, -4.950000000000000178, -6.924999999999999822 ) ) ;
#593 = CARTESIAN_POINT ( 'NONE', ( 2.649999999999999911, -2.000000000000000000, -11.29999999999999893 ) ) ;
#594 = CARTESIAN_POINT ( 'NONE', ( -0.3325760861936000179, 2.068453534735999799, -3.927468040197999333 ) ) ;
#595 = ORIENTED_EDGE ( 'NONE', *, *, #7244, .F. ) ;
#596 = CARTESIAN_POINT ( 'NONE', ( -4.875000000000000000, -5.000000000000000000, -11.29999999999999893 ) ) ;
#597 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#598 = ADVANCED_FACE ( 'NONE', ( #3142, #3102 ), #6345, .F. ) ;
#599 = ORIENTED_EDGE ( 'NONE', *, *, #5952, .T. ) ;
#600 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#601 = CARTESIAN_POINT ( 'NONE', ( -4.854999999999999538, 1.820000000000000062, -11.09999999999999964 ) ) ;
#602 = EDGE_CURVE ( 'NONE', #7861, #7646, #581, .T. ) ;
#603 = ORIENTED_EDGE ( 'NONE', *, *, #8309, .T. ) ;
#604 = PLANE ( 'NONE', #5766 ) ;
#605 = CARTESIAN_POINT ( 'NONE', ( 2.299999999999999822, 2.399999999999999911, -6.270000000000000462 ) ) ;
#606 = EDGE_CURVE ( 'NONE', #736, #4109, #1836, .T. ) ;
#607 = VERTEX_POINT ( 'NONE', #7017 ) ;
#608 = EDGE_CURVE ( 'NONE', #2049, #3437, #1755, .T. ) ;
#609 = LINE ( 'NONE', #6372, #3329 ) ;
#610 = ADVANCED_FACE ( 'NONE', ( #5439 ), #6238, .T. ) ;
#611 = DIRECTION ( 'NONE', ( 0.000000000000000000, 1.000000000000000000, 0.000000000000000000 ) ) ;
#612 = LINE ( 'NONE', #2460, #1884 ) ;
#613 = PLANE ( 'NONE', #2303 ) ;
#614 = VERTEX_POINT ( 'NONE', #3626 ) ;
#615 = CARTESIAN_POINT ( 'NONE', ( 2.700000000000000178, 2.500000000000000000, -3.589999999999999858 ) ) ;
#616 = CARTESIAN_POINT ( 'NONE', ( -0.7800824289318000204, 2.032646943695000097, -3.637765221888999534 ) ) ;
#617 = ORIENTED_EDGE ( 'NONE', *, *, #6966, .T. ) ;
#618 = ORIENTED_EDGE ( 'NONE', *, *, #7485, .T. ) ;
#619 = ORIENTED_EDGE ( 'NONE', *, *, #5813, .F. ) ;
#620 = CARTESIAN_POINT ( 'NONE', ( 6.000000000000000000, 2.500000000000000000, -1.300000000000000266 ) ) ;
#621 = ADVANCED_FACE ( 'NONE', ( #3577 ), #6424, .F. ) ;
#622 = EDGE_LOOP ( 'NONE', ( #2350, #8028, #2772, #7599 ) ) ;
#623 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#624 = CARTESIAN_POINT ( 'NONE', ( -0.5056535560698030007, 2.358948650353414056, -3.946834753049774047 ) ) ;
#625 = ADVANCED_FACE ( 'NONE', ( #1018 ), #3543, .F. ) ;
#626 = APPLICATION_PROTOCOL_DEFINITION ( 'international standard', 'config_control_design', 1994, #1569 ) ;
#627 = CARTESIAN_POINT ( 'NONE', ( -1.899999999999999911, 2.449999999999999734, -6.270000000000000462 ) ) ;
#628 = ORIENTED_EDGE ( 'NONE', *, *, #4452, .T. ) ;
#629 = ORIENTED_EDGE ( 'NONE', *, *, #6106, .T. ) ;
#630 = CARTESIAN_POINT ( 'NONE', ( 0.5100000000000000089, -4.950000000000000178, -6.924999999999999822 ) ) ;
#631 = CARTESIAN_POINT ( 'NONE', ( 0.000000000000000000, 2.399999999999999911, -9.269999999999999574 ) ) ;
#632 = DIRECTION ( 'NONE', ( -1.000000000000000000, -2.218190971069999890E-14, 0.000000000000000000 ) ) ;
#633 = VECTOR ( 'NONE', #2972, 1000.000000000000000 ) ;
#634 = CARTESIAN_POINT ( 'NONE', ( 5.000000000000601297, -2.500000000000000000, -7.249999999999650058 ) ) ;
#635 = CARTESIAN_POINT ( 'NONE', ( -0.7894734860957000055, 1.943212024709999985, -3.612923598078999987 ) ) ;
#636 = ORIENTED_EDGE ( 'NONE', *, *, #674, .F. ) ;
#637 = LINE ( 'NONE', #7617, #4031 ) ;
#638 = PLANE ( 'NONE', #7965 ) ;
#639 = VECTOR ( 'NONE', #1787, 1000.000000000000000 ) ;
#640 = AXIS2_PLACEMENT_3D ( 'NONE', #2198, #7929, #3419 ) ;
#641 = ORIENTED_EDGE ( 'NONE', *, *, #1482, .T. ) ;
#642 = LINE ( 'NONE', #3964, #1043 ) ;
#643 = EDGE_CURVE ( 'NONE', #3222, #1968, #7488, .T. ) ;
#644 = DIRECTION ( 'NONE', ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#645 = ORIENTED_EDGE ( 'NONE', *, *, #4834, .F. ) ;
#646 = VECTOR ( 'NONE', #1141, 1000.000000000000000 ) ;
#647 = VECTOR ( 'NONE', #7324, 1000.000000000000000 ) ;
#648 = DIRECTION ( 'NONE', ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#649 = PLANE ( 'NONE', #6893 ) ;
#650 = VECTOR ( 'NONE', #1826, 1000.000000000000000 ) ;
#651 = ORIENTED_EDGE ( 'NONE', *, *, #2492, .F. ) ;
#652 = ADVANCED_FACE ( 'NONE', ( #3030 ), #433, .F. ) ;
#653 = VECTOR ( 'NONE', #210, 1000.000000000000114 ) ;
#654 = LINE ( 'NONE', #5618, #3726 ) ;
#655 = EDGE_CURVE ( 'NONE', #67, #7465, #6110, .T. ) ;
#656 = VECTOR ( 'NONE', #4533, 1000.000000000000000 ) ;
#657 = CARTESIAN_POINT ( 'NONE', ( -5.000000000000000000, 1.949999999999999956, -11.07000000000000028 ) ) ;
#658 = LINE ( 'NONE', #5062, #3895 ) ;
#659 = DIRECTION ( 'NONE', ( 1.000000000000000000, 0.000000000000000000, -1.224646799147353207E-16 ) ) ;
#660 = ORIENTED_EDGE ( 'NONE', *, *, #2114, .T. ) ;
#661 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#662 = CARTESIAN_POINT ( 'NONE', ( -4.875000000000000000, 2.083829006004000117, -10.73226768067000059 ) ) ;
#663 = VERTEX_POINT ( 'NONE', #6816 ) ;
#664 = CIRCLE ( 'NONE', #5366, 0.2999999999999999334 ) ;
#665 = ORIENTED_EDGE ( 'NONE', *, *, #6060, .T. ) ;
#666 = EDGE_LOOP ( 'NONE', ( #3705, #5922, #7346, #3651 ) ) ;
#667 = FACE_OUTER_BOUND ( 'NONE', #4096, .T. ) ;
#668 = ORIENTED_EDGE ( 'NONE', *, *, #8030, .T. ) ;
#669 = CIRCLE ( 'NONE', #6176, 0.3999999999999999667 ) ;
#670 = DIRECTION ( 'NONE', ( 0.000000000000000000, -1.000000000000000000, 0.000000000000000000 ) ) ;
#671 = FACE_OUTER_BOUND ( 'NONE', #7398, .T. ) ;
#672 = CARTESIAN_POINT ( 'NONE', ( 1.100000000000000089, 2.399999999999999911, -9.269999999999999574 ) ) ;
#673 = ADVANCED_FACE ( 'NONE', ( #4247 ), #2868, .F. ) ;
#674 = EDGE_CURVE ( 'NONE', #187, #2884, #353, .T. ) ;
#675 = VECTOR ( 'NONE', #5287, 1000.000000000000000 ) ;
#676 = ORIENTED_EDGE ( 'NONE', *, *, #8171, .F. ) ;
#677 = ORIENTED_EDGE ( 'NONE', *, *, #761, .F. ) ;
#678 = PLANE ( 'NONE', #388 ) ;
#679 = FACE_OUTER_BOUND ( 'NONE', #7298, .T. ) ;
#680 = CYLINDRICAL_SURFACE ( 'NONE', #1616, 0.5000000000000000000 ) ;
#681 = CARTESIAN_POINT ( 'NONE', ( 2.305000000000000160, -1.869999999999999885, -11.25000000000000000 ) ) ;
#682 = LINE ( 'NONE', #1304, #6619 ) ;
#683 = VERTEX_POINT ( 'NONE', #1721 ) ;
#684 = CARTESIAN_POINT ( 'NONE', ( -2.939999999999999947, -2.296632384695129758, -3.464658509354574534 ) ) ;
#685 = LINE ( 'NONE', #6944, #2844 ) ;
#686 = VECTOR ( 'NONE', #6479, 1000.000000000000000 ) ;
#687 = ORIENTED_EDGE ( 'NONE', *, *, #5704, .T. ) ;
#688 = AXIS2_PLACEMENT_3D ( 'NONE', #5882, #2728, #3946 ) ;
#689 = FACE_OUTER_BOUND ( 'NONE', #4361, .T. ) ;
#690 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#691 = VERTEX_POINT ( 'NONE', #1768 ) ;
#692 = AXIS2_PLACEMENT_3D ( 'NONE', #5243, #4609, #6377 ) ;
#693 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#694 = DIRECTION ( 'NONE', ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#695 = EDGE_CURVE ( 'NONE', #7182, #1247, #6074, .T. ) ;
#696 = ORIENTED_EDGE ( 'NONE', *, *, #1502, .F. ) ;
#697 = VECTOR ( 'NONE', #5860, 1000.000000000000000 ) ;
#698 = VECTOR ( 'NONE', #7078, 1000.000000000000000 ) ;
#699 = FACE_BOUND ( 'NONE', #7249, .T. ) ;
#700 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#701 = PLANE ( 'NONE', #6685 ) ;
#702 = CARTESIAN_POINT ( 'NONE', ( -1.800000000000000266, 0.000000000000000000, -14.30000000000000071 ) ) ;
#703 = ORIENTED_EDGE ( 'NONE', *, *, #8010, .F. ) ;
#704 = LINE ( 'NONE', #5709, #8185 ) ;
#705 = DIRECTION ( 'NONE', ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#706 = ORIENTED_EDGE ( 'NONE', *, *, #4063, .F. ) ;
#707 = VECTOR ( 'NONE', #3139, 1000.000000000000000 ) ;
#708 = EDGE_CURVE ( 'NONE', #3669, #3307, #8102, .T. ) ;
#709 = ORIENTED_EDGE ( 'NONE', *, *, #162, .T. ) ;
#710 = EDGE_LOOP ( 'NONE', ( #5389, #884, #2145, #2056 ) ) ;
#711 = ORIENTED_EDGE ( 'NONE', *, *, #5556, .F. ) ;
#712 = LINE ( 'NONE', #5253, #6023 ) ;
#713 = VECTOR ( 'NONE', #7143, 1000.000000000000000 ) ;
#714 = CARTESIAN_POINT ( 'NONE', ( -1.840000000000000080, -2.296632384695129758, -6.675000000000001599 ) ) ;
#715 = DIRECTION ( 'NONE', ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#716 = LINE ( 'NONE', #1422, #7282 ) ;
#717 = ORIENTED_EDGE ( 'NONE', *, *, #3909, .F. ) ;
#718 = ADVANCED_FACE ( 'NONE', ( #4917 ), #472, .T. ) ;
#719 = VECTOR ( 'NONE', #2365, 1000.000000000000000 ) ;
#720 = ORIENTED_EDGE ( 'NONE', *, *, #4094, .F. ) ;
#721 = ORIENTED_EDGE ( 'NONE', *, *, #5233, .T. ) ;
#722 = EDGE_CURVE ( 'NONE', #8221, #4435, #3504, .T. ) ;
#723 = LINE ( 'NONE', #1976, #4136 ) ;
#724 = EDGE_CURVE ( 'NONE', #2682, #7464, #8057, .T. ) ;
#725 = CARTESIAN_POINT ( 'NONE', ( -5.000000000000976996, -3.299999999999999822, -6.799999999998721734 ) ) ;
#726 = DIRECTION ( 'NONE', ( -1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#727 = CARTESIAN_POINT ( 'NONE', ( 0.8094734318876000145, 1.976958909184999946, -3.519037651315000126 ) ) ;
#728 = VERTEX_POINT ( 'NONE', #6780 ) ;
#729 = DIRECTION ( 'NONE', ( 0.3713906763540865130, 0.000000000000000000, -0.9284766908852661871 ) ) ;
#730 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#731 = EDGE_LOOP ( 'NONE', ( #7310, #2953, #6383, #8011, #2580 ) ) ;
#732 = PLANE ( 'NONE', #2787 ) ;
#733 = FACE_OUTER_BOUND ( 'NONE', #5417, .T. ) ;
#734 = EDGE_CURVE ( 'NONE', #5782, #8090, #1606, .T. ) ;
#735 = LINE ( 'NONE', #6999, #4061 ) ;
#736 = VERTEX_POINT ( 'NONE', #7452 ) ;
#737 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#738 = CARTESIAN_POINT ( 'NONE', ( -0.1044450433031000047, -2.500000000000000000, -8.280485299999998716 ) ) ;
#739 = ORIENTED_EDGE ( 'NONE', *, *, #3851, .F. ) ;
#740 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#741 = CYLINDRICAL_SURFACE ( 'NONE', #7495, 0.4499999999999999001 ) ;
#742 = CARTESIAN_POINT ( 'NONE', ( -1.300000000000000266, 2.449999999999999734, -6.270000000000000462 ) ) ;
#743 = DIRECTION ( 'NONE', ( 0.000000000000000000, -1.000000000000000000, 0.000000000000000000 ) ) ;
#744 = ORIENTED_EDGE ( 'NONE', *, *, #6134, .T. ) ;
#745 = CARTESIAN_POINT ( 'NONE', ( -5.000000000000976996, -3.500000000000000000, -7.249999999998721911 ) ) ;
#746 = CARTESIAN_POINT ( 'NONE', ( 2.694999999999999840, -2.296632384695129758, -11.25000000000000000 ) ) ;
#747 = ORIENTED_EDGE ( 'NONE', *, *, #6641, .T. ) ;
#748 = EDGE_LOOP ( 'NONE', ( #5332, #5222, #1038, #4572, #2474 ) ) ;
#749 = ORIENTED_EDGE ( 'NONE', *, *, #978, .F. ) ;
#750 = LINE ( 'NONE', #1418, #4389 ) ;
#751 = CARTESIAN_POINT ( 'NONE', ( 6.000000000000000000, -2.500000000000000000, -3.299999999999999822 ) ) ;
#752 = DIRECTION ( 'NONE', ( -1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#753 = EDGE_CURVE ( 'NONE', #8169, #5898, #4844, .T. ) ;
#754 = DATE_AND_TIME ( #7192, #2811 ) ;
#755 = CARTESIAN_POINT ( 'NONE', ( -2.640000000000000124, -2.200000000000000178, -6.375000000000000888 ) ) ;
#756 = ORIENTED_EDGE ( 'NONE', *, *, #7196, .F. ) ;
#757 = ORIENTED_EDGE ( 'NONE', *, *, #8098, .T. ) ;
#758 = ORIENTED_EDGE ( 'NONE', *, *, #4630, .F. ) ;
#759 = EDGE_CURVE ( 'NONE', #2717, #5799, #6742, .T. ) ;
#760 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#761 = EDGE_CURVE ( 'NONE', #6609, #2087, #3786, .T. ) ;
#762 = CARTESIAN_POINT ( 'NONE', ( 2.560000000000000053, 1.866987298108000015, -3.824999999999999734 ) ) ;
#763 = FACE_OUTER_BOUND ( 'NONE', #2249, .T. ) ;
#764 = CARTESIAN_POINT ( 'NONE', ( 0.8094734318876000145, 1.943213435397000088, -3.612924103614000071 ) ) ;
#765 = VERTEX_POINT ( 'NONE', #4373 ) ;
#766 = CARTESIAN_POINT ( 'NONE', ( 0.8320246489932645595, 1.970000000000000862, -3.395884045523184014 ) ) ;
#767 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#768 = ORIENTED_EDGE ( 'NONE', *, *, #6594, .T. ) ;
#769 = VECTOR ( 'NONE', #752, 1000.000000000000000 ) ;
#770 = DIRECTION ( 'NONE', ( 0.000000000000000000, -1.000000000000000000, 0.000000000000000000 ) ) ;
#771 = PLANE ( 'NONE', #6450 ) ;
#772 = DIRECTION ( 'NONE', ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#773 = VERTEX_POINT ( 'NONE', #2518 ) ;
#774 = FACE_OUTER_BOUND ( 'NONE', #3575, .T. ) ;
#775 = CARTESIAN_POINT ( 'NONE', ( -2.299999999999999822, 2.399999999999999911, -6.270000000000000462 ) ) ;
#776 = EDGE_CURVE ( 'NONE', #5353, #3455, #7708, .T. ) ;
#777 = TOROIDAL_SURFACE ( 'NONE', #3184, 0.2500000000000001110, 0.2000000000000000111 ) ;
#778 = EDGE_CURVE ( 'NONE', #73, #2857, #3744, .T. ) ;
#779 = ORIENTED_EDGE ( 'NONE', *, *, #4771, .F. ) ;
#780 = CYLINDRICAL_SURFACE ( 'NONE', #1185, 0.4499999999999999001 ) ;
#781 = PLANE ( 'NONE', #2128 ) ;
#782 = VECTOR ( 'NONE', #8012, 1000.000000000000000 ) ;
#783 = DIRECTION ( 'NONE', ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#784 = VECTOR ( 'NONE', #5961, 1000.000000000000000 ) ;
#785 = CARTESIAN_POINT ( 'NONE', ( -0.5000000000000000000, 2.399999999999999911, -6.270000000000000462 ) ) ;
#786 = ORIENTED_EDGE ( 'NONE', *, *, #2620, .T. ) ;
#787 = DIRECTION ( 'NONE', ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#788 = CARTESIAN_POINT ( 'NONE', ( -0.8045934077146000840, -2.449999999999999734, -6.625000000000000000 ) ) ;
#789 = ORIENTED_EDGE ( 'NONE', *, *, #54, .T. ) ;
#790 = ORIENTED_EDGE ( 'NONE', *, *, #272, .F. ) ;
#791 = VECTOR ( 'NONE', #1340, 1000.000000000000000 ) ;
#792 = ORIENTED_EDGE ( 'NONE', *, *, #5920, .F. ) ;
#793 = CIRCLE ( 'NONE', #2270, 0.4499999999999999001 ) ;
#794 = CARTESIAN_POINT ( 'NONE', ( -5.349999999999999645, -1.300000000000000266, -14.30000000000000071 ) ) ;
#795 = DIRECTION ( 'NONE', ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#796 = PLANE ( 'NONE', #8300 ) ;
#797 = APPROVAL_ROLE ( '' ) ;
#798 = LINE ( 'NONE', #5080, #3643 ) ;
#799 = ORIENTED_EDGE ( 'NONE', *, *, #7592, .F. ) ;
#800 = VECTOR ( 'NONE', #8245, 1000.000000000000114 ) ;
#801 = ORIENTED_EDGE ( 'NONE', *, *, #4478, .T. ) ;
#802 = EDGE_CURVE ( 'NONE', #6275, #1146, #1180, .T. ) ;
#803 = VECTOR ( 'NONE', #737, 1000.000000000000000 ) ;
#804 = ORIENTED_EDGE ( 'NONE', *, *, #3122, .T. ) ;
#805 = CARTESIAN_POINT ( 'NONE', ( -5.000000000000977884, -3.299999999999999822, -4.299999999998730615 ) ) ;
#806 = DIRECTION ( 'NONE', ( 1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#807 = CARTESIAN_POINT ( 'NONE', ( -1.658312395178000331, -2.500000000000000000, -3.299999999999999822 ) ) ;
#808 = CARTESIAN_POINT ( 'NONE', ( 0.4723284420062000555, 2.272196051034000241, -3.958438384389999953 ) ) ;
#809 = ORIENTED_EDGE ( 'NONE', *, *, #6258, .T. ) ;
#810 = VECTOR ( 'NONE', #399, 1000.000000000000000 ) ;
#811 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#812 = DIRECTION ( 'NONE', ( -1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#813 = EDGE_CURVE ( 'NONE', #3146, #5210, #6318, .T. ) ;
#814 = ORIENTED_EDGE ( 'NONE', *, *, #5450, .T. ) ;
#815 = VECTOR ( 'NONE', #7766, 1000.000000000000000 ) ;
#816 = CARTESIAN_POINT ( 'NONE', ( -2.225994714626000182, 1.969999999999999973, -3.597209782367942754 ) ) ;
#817 = LINE ( 'NONE', #185, #3624 ) ;
#818 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#819 = ORIENTED_EDGE ( 'NONE', *, *, #3440, .T. ) ;
#820 = CARTESIAN_POINT ( 'NONE', ( 1.100000000000000089, 2.399999999999999911, -9.269999999999999574 ) ) ;
#821 = LINE ( 'NONE', #2203, #5282 ) ;
#822 = EDGE_CURVE ( 'NONE', #8188, #5446, #6694, .T. ) ;
#823 = ORIENTED_EDGE ( 'NONE', *, *, #5237, .T. ) ;
#824 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#825 = EDGE_CURVE ( 'NONE', #8043, #3282, #553, .T. ) ;
#826 = VECTOR ( 'NONE', #3562, 1000.000000000000000 ) ;
#827 = FACE_OUTER_BOUND ( 'NONE', #4444, .T. ) ;
#828 = CARTESIAN_POINT ( 'NONE', ( 2.649999999999999911, 1.969999999999999973, -11.90807154215533004 ) ) ;
#829 = EDGE_CURVE ( 'NONE', #3885, #7789, #2477, .T. ) ;
#830 = CARTESIAN_POINT ( 'NONE', ( 5.169999999999999929, -2.296632384695129758, -14.30000000000000071 ) ) ;
#831 = ORIENTED_EDGE ( 'NONE', *, *, #6169, .T. ) ;
#832 = CARTESIAN_POINT ( 'NONE', ( -2.339968092644000741, 1.899999999999999911, -12.10352464246000181 ) ) ;
#833 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#834 = EDGE_LOOP ( 'NONE', ( #3980, #6091, #492, #7559, #7328, #1981 ) ) ;
#835 = ORIENTED_EDGE ( 'NONE', *, *, #4629, .F. ) ;
#836 = VECTOR ( 'NONE', #4973, 1000.000000000000000 ) ;
#837 = EDGE_LOOP ( 'NONE', ( #7915, #2847, #7710, #1895 ) ) ;
#838 = ORIENTED_EDGE ( 'NONE', *, *, #6184, .T. ) ;
#839 = CARTESIAN_POINT ( 'NONE', ( 1.100000000000000089, 2.449999999999999734, -6.270000000000000462 ) ) ;
#840 = CARTESIAN_POINT ( 'NONE', ( 5.169999999999999929, -2.500000000000000000, -14.30000000000000071 ) ) ;
#841 = DIRECTION ( 'NONE', ( 0.000000000000000000, 1.000000000000000000, 0.000000000000000000 ) ) ;
#842 = EDGE_LOOP ( 'NONE', ( #380, #6208, #2266, #1075, #3401, #6320 ) ) ;
#843 = VECTOR ( 'NONE', #2704, 1000.000000000000000 ) ;
#844 = LINE ( 'NONE', #7321, #2939 ) ;
#845 = ORIENTED_EDGE ( 'NONE', *, *, #6121, .T. ) ;
#846 = VECTOR ( 'NONE', #8327, 1000.000000000000000 ) ;
#847 = ORIENTED_EDGE ( 'NONE', *, *, #5815, .F. ) ;
#848 = CARTESIAN_POINT ( 'NONE', ( 5.169999999999999929, 2.500000000000000000, -12.20000000000000107 ) ) ;
#849 = CARTESIAN_POINT ( 'NONE', ( 0.3184486298135868476, 2.087290410405645336, -3.954449917342957477 ) ) ;
#850 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#851 = ADVANCED_FACE ( 'NONE', ( #1942 ), #3115, .T. ) ;
#852 = ORIENTED_EDGE ( 'NONE', *, *, #6966, .F. ) ;
#853 = VECTOR ( 'NONE', #1994, 1000.000000000000000 ) ;
#854 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#855 = CARTESIAN_POINT ( 'NONE', ( -1.300000000000000266, 2.399999999999999911, -9.269999999999999574 ) ) ;
#856 = ORIENTED_EDGE ( 'NONE', *, *, #5854, .F. ) ;
#857 = CARTESIAN_POINT ( 'NONE', ( -5.145000000000000462, 1.820000000000000062, -9.870000000000002771 ) ) ;
#858 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#859 = EDGE_CURVE ( 'NONE', #5116, #6651, #522, .T. ) ;
#860 = CARTESIAN_POINT ( 'NONE', ( 5.169999999999999929, -2.296632384695129758, 7.862588270922174161 ) ) ;
#861 = EDGE_LOOP ( 'NONE', ( #5294, #6937, #1531, #651 ) ) ;
#862 = LINE ( 'NONE', #275, #2143 ) ;
#863 = CARTESIAN_POINT ( 'NONE', ( -1.699999999999999956, 2.399999999999999911, -9.269999999999999574 ) ) ;
#864 = ORIENTED_EDGE ( 'NONE', *, *, #6643, .T. ) ;
#865 = CARTESIAN_POINT ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, -3.299999999999999822 ) ) ;
#866 = EDGE_CURVE ( 'NONE', #3296, #187, #4502, .T. ) ;
#867 = DIRECTION ( 'NONE', ( 0.000000000000000000, -1.000000000000000000, 0.000000000000000000 ) ) ;
#868 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#869 = EDGE_CURVE ( 'NONE', #5210, #289, #7033, .T. ) ;
#870 = CARTESIAN_POINT ( 'NONE', ( -2.700000000000000178, 2.500000000000000000, -3.589999999999999858 ) ) ;
#871 = ORIENTED_EDGE ( 'NONE', *, *, #7155, .F. ) ;
#872 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.5773694303839961295, 0.8164830315799954663 ) ) ;
#873 = CARTESIAN_POINT ( 'NONE', ( 0.01000000000000000021, -5.000000000000000000, -6.924999999999999822 ) ) ;
#874 = ORIENTED_EDGE ( 'NONE', *, *, #2359, .T. ) ;
#875 = ORIENTED_EDGE ( 'NONE', *, *, #3059, .T. ) ;
#876 = ADVANCED_FACE ( 'NONE', ( #2732 ), #1265, .T. ) ;
#877 = EDGE_CURVE ( 'NONE', #1754, #2865, #1302, .T. ) ;
#878 = ORIENTED_EDGE ( 'NONE', *, *, #1750, .T. ) ;
#879 = PLANE ( 'NONE', #6813 ) ;
#880 = DIRECTION ( 'NONE', ( 0.000000000000000000, -1.000000000000000000, 0.000000000000000000 ) ) ;
#881 = CARTESIAN_POINT ( 'NONE', ( -4.875000000000000000, -2.296632384695129758, -8.900000000000000355 ) ) ;
#882 = APPROVAL_STATUS ( 'not_yet_approved' ) ;
#883 = CARTESIAN_POINT ( 'NONE', ( -5.145000000000000462, 1.449999999999999956, -13.35000000000000320 ) ) ;
#884 = ORIENTED_EDGE ( 'NONE', *, *, #1984, .T. ) ;
#885 = DIRECTION ( 'NONE', ( 0.000000000000000000, -1.000000000000000000, 0.000000000000000000 ) ) ;
#886 = EDGE_CURVE ( 'NONE', #1247, #2632, #6827, .T. ) ;
#887 = ADVANCED_FACE ( 'NONE', ( #6989 ), #510, .F. ) ;
#888 = ORIENTED_EDGE ( 'NONE', *, *, #7337, .T. ) ;
#889 = EDGE_LOOP ( 'NONE', ( #524, #3788, #1766, #1580 ) ) ;
#890 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#891 = LINE ( 'NONE', #217, #6301 ) ;
#892 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#893 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#894 = ORIENTED_EDGE ( 'NONE', *, *, #6540, .F. ) ;
#895 = CARTESIAN_POINT ( 'NONE', ( -2.299999999999999822, 2.449999999999999734, -9.269999999999999574 ) ) ;
#896 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#897 = LINE ( 'NONE', #6581, #843 ) ;
#898 = VERTEX_POINT ( 'NONE', #634 ) ;
#899 = DIRECTION ( 'NONE', ( 0.000000000000000000, 1.000000000000000000, 0.000000000000000000 ) ) ;
#900 = FACE_OUTER_BOUND ( 'NONE', #1398, .T. ) ;
#901 = ORIENTED_EDGE ( 'NONE', *, *, #6599, .F. ) ;
#902 = ADVANCED_FACE ( 'NONE', ( #8301 ), #3192, .F. ) ;
#903 = CARTESIAN_POINT ( 'NONE', ( -0.4899999999999999911, -2.700000000000000178, -6.424999999999999822 ) ) ;
#904 = CARTESIAN_POINT ( 'NONE', ( 0.01000000000000000021, 1.969999999999999973, -4.342875858021750801 ) ) ;
#905 = DIRECTION ( 'NONE', ( 0.000000000000000000, 1.000000000000000000, 0.000000000000000000 ) ) ;
#906 = DIRECTION ( 'NONE', ( 0.000000000000000000, 1.000000000000000000, 0.000000000000000000 ) ) ;
#907 = ORIENTED_EDGE ( 'NONE', *, *, #7940, .T. ) ;
#908 = CIRCLE ( 'NONE', #5606, 0.5000000000000000000 ) ;
#909 = LINE ( 'NONE', #2841, #5907 ) ;
#910 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#911 = VERTEX_POINT ( 'NONE', #1810 ) ;
#912 = ORIENTED_EDGE ( 'NONE', *, *, #708, .F. ) ;
#913 = EDGE_CURVE ( 'NONE', #7667, #2306, #4550, .T. ) ;
#914 = VERTEX_POINT ( 'NONE', #3446 ) ;
#915 = EDGE_CURVE ( 'NONE', #4431, #4211, #6059, .T. ) ;
#916 = VECTOR ( 'NONE', #7532, 1000.000000000000000 ) ;
#917 = CARTESIAN_POINT ( 'NONE', ( -0.2999999999999999889, 2.449999999999999734, -9.269999999999999574 ) ) ;
#918 = FACE_OUTER_BOUND ( 'NONE', #7551, .T. ) ;
#919 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#920 = FACE_OUTER_BOUND ( 'NONE', #7900, .T. ) ;
#921 = ORIENTED_EDGE ( 'NONE', *, *, #5567, .F. ) ;
#922 = FACE_OUTER_BOUND ( 'NONE', #1054, .T. ) ;
#923 = VECTOR ( 'NONE', #4800, 1000.000000000000000 ) ;
#924 = VECTOR ( 'NONE', #4405, 1000.000000000000000 ) ;
#925 = VECTOR ( 'NONE', #6541, 1000.000000000000000 ) ;
#926 = VERTEX_POINT ( 'NONE', #5428 ) ;
#927 = ORIENTED_EDGE ( 'NONE', *, *, #358, .F. ) ;
#928 = CIRCLE ( 'NONE', #5362, 0.4499999999999999001 ) ;
#929 = CARTESIAN_POINT ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, -3.969999999999999751 ) ) ;
#930 = CARTESIAN_POINT ( 'NONE', ( 0.8001012537060999685, 2.032609023217999855, -3.637731681550000040 ) ) ;
#931 =( GEOMETRIC_REPRESENTATION_CONTEXT ( 3 ) GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT ( ( #1891 ) ) GLOBAL_UNIT_ASSIGNED_CONTEXT ( ( #7605, #3816, #6388 ) ) REPRESENTATION_CONTEXT ( 'NONE', 'WORKASPACE' ) );
#932 = CARTESIAN_POINT ( 'NONE', ( -1.100000000000000089, 2.399999999999999911, -9.269999999999999574 ) ) ;
#933 = EDGE_CURVE ( 'NONE', #582, #6712, #2890, .T. ) ;
#934 = EDGE_CURVE ( 'NONE', #2771, #2930, #2931, .T. ) ;
#935 = CARTESIAN_POINT ( 'NONE', ( 0.9000000000000001332, -1.949999999999999956, -3.824999999999999734 ) ) ;
#936 = AXIS2_PLACEMENT_3D ( 'NONE', #2451, #5656, #2289 ) ;
#937 = ORIENTED_EDGE ( 'NONE', *, *, #1484, .F. ) ;
#938 = CARTESIAN_POINT ( 'NONE', ( 4.830000000000000071, 2.500000000000000000, -11.09999999999999964 ) ) ;
#939 = AXIS2_PLACEMENT_3D ( 'NONE', #7711, #4425, #5690 ) ;
#940 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, 1.000000000000000000 ) ) ;
#941 = DIRECTION ( 'NONE', ( -1.000000000000000000, 0.000000000000000000, 0.000000000000000000 ) ) ;
#942 = ORIENTED_EDGE ( 'NONE', *, *, #2640, .F. ) ;
#943 = LINE ( 'NONE', #3507, #3202 ) ;
#944 = CARTESIAN_POINT ( 'NONE', ( 0.8245934077144999597, -2.333883266812999846, -6.625000000000000000 ) ) ;
#945 = EDGE_LOOP ( 'NONE', ( #5457, #6675 ) ) ;
#946 = VECTOR ( 'NONE', #3391, 1000.000000000000000 ) ;
#947 = LINE ( 'NONE', #5685, #7368 ) ;
#948 = LINE ( 'NONE', #3513, #4434 ) ;
#949 = LINE ( 'NONE', #870, #2979 ) ;
#950 = EDGE_LOOP ( 'NONE', ( #3953, #1436, #4996, #6790 ) ) ;
#951 = CARTESIAN_POINT ( 'NONE', ( 2.100000000000000089, 2.449999999999999734, -6.270000000000000462 ) ) ;
#952 = FACE_OUTER_BOUND ( 'NONE', #7389, .T. ) ;
#953 = ADVANCED_FACE ( 'NONE', ( #963 ), #3409, .T. ) ;
#954 = ORIENTED_EDGE ( 'NONE', *, *, #5112, .F. ) ;
#955 = VERTEX_POINT ( 'NONE', #1629 ) ;
#956 = EDGE_LOOP ( 'NONE', ( #3219, #391, #4647, #1007 ) ) ;
#957 = AXIS2_PLACEMENT_3D ( 'NONE', #3094, #8156, #1828 ) ;
#958 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#959 = LINE ( 'NONE', #4898, #3600 ) ;
#960 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#961 = DIRECTION ( 'NONE', ( 0.000000000000000000, 1.000000000000000000, 0.000000000000000000 ) ) ;
#962 = ORIENTED_EDGE ( 'NONE', *, *, #7742, .F. ) ;
#963 = FACE_OUTER_BOUND ( 'NONE', #1644, .T. ) ;
#964 = CARTESIAN_POINT ( 'NONE', ( -0.05902099649745999599, 2.285651407055999673, -4.141258943777000212 ) ) ;
#965 = ADVANCED_FACE ( 'NONE', ( #922 ), #301, .F. ) ;
#966 = TOROIDAL_SURFACE ( 'NONE', #5529, 0.2500000000000001110, 0.2000000000000000111 ) ;
#967 = EDGE_LOOP ( 'NONE', ( #7098, #4458, #3911, #1752, #2502, #1020, #4132, #365, #5314, #1406, #5167, #8243, #7748, #696, #4356, #1801, #2110, #239 ) ) ;
#968 = VERTEX_POINT ( 'NONE', #5979 ) ;
#969 = VECTOR ( 'NONE', #2957, 1000.000000000000000 ) ;
#970 = AXIS2_PLACEMENT_3D ( 'NONE', #5440, #1607, #4215 ) ;
#971 = DIRECTION ( 'NONE', ( 0.000000000000000000, -1.000000000000000000, 0.000000000000000000 ) ) ;
#972 = CARTESIAN_POINT ( 'NONE', ( -0.3700969375962468999, 2.095532227074366372, -3.929712209783470023 ) ) ;
#973 = EDGE_CURVE ( 'NONE', #7568, #7787, #1589, .T. ) ;
#974 = CARTESIAN_POINT ( 'NONE', ( 6.000000000000000000, 2.500000000000000000, -3.299999999999999822 ) ) ;
#975 = EDGE_CURVE ( 'NONE', #6724, #6576, #6725, .T. ) ;
#976 = DIRECTION ( 'NONE', ( 0.000000000000000000, 0.000000000000000000, -1.000000000000000000 ) ) ;
#977 = AXIS2_PLACEMENT_3D ( 'NONE', #288, #4816, #833 ) ;
#978 = EDGE_CURVE ( 'NONE', #7314, #4030, #928, .T. ) ;
#980 = EDGE_CURVE ( 'NONE', #3849, #6629, #7281, .T. ) ;
#979 = ORIENTED_EDGE ( 'NONE', *, *, #1779, .T. ) ;