forked from KiCad/kicad-packages3D
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathPinSocket_1x05_P2.54mm_Horizontal.step
7075 lines (7071 loc) · 305 KB
/
PinSocket_1x05_P2.54mm_Horizontal.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;
/* PinSocket_1x05_P2.54mm_Horizontal.step 3D STEP model for use in ECAD systems
* Copyright (C) 2017, Terje Io
* ---
* This work is licensed under the Creative Commons CC-BY-SA 4.0 License with the following exception:
* To the extent that the creation of electronic designs that use 'Licensed Material'
* can be considered to be 'Adapted Material', then the copyright holder waives
* article 3 of the license with respect to these designs and any generated files
* which use data provided as part of the 'Licensed Material'.
*
* https://creativecommons.org/licenses/by-sa/4.0/legalcode
* ---
* Please refer to http://kicad-pcb.org/libraries/license/ for further clarification of the exception.
* ---
*
* Risk disclaimer:
* *USE 3D CAD DATA AT YOUR OWN RISK*
* *DO NOT RELY UPON ANY INFORMATION FOUND HERE WITHOUT INDEPENDENT VERIFICATION.*
*
*
* Generated by script, source at:
* https://github.com/easyw/kicad-3d-models-in-freecad/tree/master/cadquery/FCAD_script_generator/Conn_PinSocket
*
*/
FILE_DESCRIPTION(
/* description */ ('model of PinSocket_1x05_P2.54mm_Horizontal'),
/* implementation_level */ '2;1');
FILE_NAME(
/* name */ 'PinSocket_1x05_P2.54mm_Horizontal.step',
/* time_stamp */ '2017-11-27T06:33:48',
/* author */ ('Terje Io','https://github.com/terjeio'),
/* organization */ ('FreeCAD'),
/* preprocessor_version */ 'OCC',
/* originating_system */ 'kicad StepUp',
/* authorisation */ '');
FILE_SCHEMA(('AUTOMOTIVE_DESIGN_CC2 { 1 2 10303 214 -1 1 5 4 }'));
ENDSEC;
DATA;
#1 = APPLICATION_PROTOCOL_DEFINITION('committee draft',
'automotive_design',1997,#2);
#2 = APPLICATION_CONTEXT(
'core data for automotive mechanical design processes');
#3 = SHAPE_DEFINITION_REPRESENTATION(#4,#10);
#4 = PRODUCT_DEFINITION_SHAPE('','',#5);
#5 = PRODUCT_DEFINITION('design','',#6,#9);
#6 = PRODUCT_DEFINITION_FORMATION('','',#7);
#7 = PRODUCT('PinSocket_1x05_P254mm_Horizontal',
'PinSocket_1x05_P254mm_Horizontal','',(#8));
#8 = MECHANICAL_CONTEXT('',#2,'mechanical');
#9 = PRODUCT_DEFINITION_CONTEXT('part definition',#2,'design');
#10 = ADVANCED_BREP_SHAPE_REPRESENTATION('',(#11,#15),#5567);
#11 = AXIS2_PLACEMENT_3D('',#12,#13,#14);
#12 = CARTESIAN_POINT('',(0.E+000,0.E+000,0.E+000));
#13 = DIRECTION('',(0.E+000,0.E+000,1.));
#14 = DIRECTION('',(1.,0.E+000,-0.E+000));
#15 = MANIFOLD_SOLID_BREP('',#16);
#16 = CLOSED_SHELL('',(#17,#57,#120,#183,#200,#387,#409,#426,#773,#785,
#797,#828,#852,#876,#893,#924,#948,#972,#989,#1020,#1044,#1068,#1085
,#1116,#1140,#1164,#1181,#1212,#1236,#1260,#1277,#1294,#1325,#1342,
#1373,#1390,#1421,#1438,#1469,#1500,#1517,#1548,#1565,#1582,#1613,
#1630,#1661,#1678,#1709,#1726,#1757,#1788,#1812,#1836,#1853,#1884,
#1908,#1932,#1949,#1980,#2004,#2028,#2045,#2076,#2100,#2124,#2141,
#2172,#2196,#2220,#2237,#2288,#2313,#2356,#2373,#2424,#2449,#2492,
#2509,#2560,#2611,#2628,#2645,#2696,#2721,#2764,#2781,#2832,#2857,
#2900,#2917,#2963,#3009,#3055,#3101,#3147,#3180,#3204,#3230,#3247,
#3280,#3304,#3330,#3347,#3380,#3404,#3430,#3447,#3480,#3504,#3530,
#3547,#3580,#3604,#3630,#3647,#3710,#3734,#3790,#3807,#3870,#3894,
#3950,#3967,#4030,#4054,#4110,#4127,#4190,#4214,#4270,#4287,#4350,
#4374,#4430,#4447,#4459,#4471,#4483,#4495,#4507,#4524,#4573,#4597,
#4644,#4656,#4673,#4690,#4739,#4763,#4810,#4822,#4839,#4856,#4905,
#4929,#4976,#4988,#5005,#5022,#5071,#5095,#5142,#5154,#5171,#5188,
#5237,#5261,#5308,#5320,#5337,#5354,#5371,#5383,#5400,#5417,#5429,
#5446,#5463,#5475,#5492,#5509,#5521,#5538,#5555));
#17 = ADVANCED_FACE('',(#18),#52,.F.);
#18 = FACE_BOUND('',#19,.F.);
#19 = EDGE_LOOP('',(#20,#30,#38,#46));
#20 = ORIENTED_EDGE('',*,*,#21,.T.);
#21 = EDGE_CURVE('',#22,#24,#26,.T.);
#22 = VERTEX_POINT('',#23);
#23 = CARTESIAN_POINT('',(-1.52,-11.43,2.54));
#24 = VERTEX_POINT('',#25);
#25 = CARTESIAN_POINT('',(-10.03,-11.43,2.54));
#26 = LINE('',#27,#28);
#27 = CARTESIAN_POINT('',(-1.52,-11.43,2.54));
#28 = VECTOR('',#29,1.);
#29 = DIRECTION('',(-1.,-4.440892098501E-016,2.22044604925E-016));
#30 = ORIENTED_EDGE('',*,*,#31,.T.);
#31 = EDGE_CURVE('',#24,#32,#34,.T.);
#32 = VERTEX_POINT('',#33);
#33 = CARTESIAN_POINT('',(-10.03,1.27,2.54));
#34 = LINE('',#35,#36);
#35 = CARTESIAN_POINT('',(-10.03,-11.43,2.54));
#36 = VECTOR('',#37,1.);
#37 = DIRECTION('',(-4.440892098501E-016,1.,0.E+000));
#38 = ORIENTED_EDGE('',*,*,#39,.F.);
#39 = EDGE_CURVE('',#40,#32,#42,.T.);
#40 = VERTEX_POINT('',#41);
#41 = CARTESIAN_POINT('',(-1.52,1.27,2.54));
#42 = LINE('',#43,#44);
#43 = CARTESIAN_POINT('',(-1.52,1.27,2.54));
#44 = VECTOR('',#45,1.);
#45 = DIRECTION('',(-1.,-4.440892098501E-016,2.22044604925E-016));
#46 = ORIENTED_EDGE('',*,*,#47,.F.);
#47 = EDGE_CURVE('',#22,#40,#48,.T.);
#48 = LINE('',#49,#50);
#49 = CARTESIAN_POINT('',(-1.52,-11.43,2.54));
#50 = VECTOR('',#51,1.);
#51 = DIRECTION('',(-4.440892098501E-016,1.,0.E+000));
#52 = PLANE('',#53);
#53 = AXIS2_PLACEMENT_3D('',#54,#55,#56);
#54 = CARTESIAN_POINT('',(-1.52,-11.43,2.54));
#55 = DIRECTION('',(-2.22044604925E-016,-9.860761315263E-032,-1.));
#56 = DIRECTION('',(-4.440892098501E-016,1.,0.E+000));
#57 = ADVANCED_FACE('',(#58),#115,.F.);
#58 = FACE_BOUND('',#59,.F.);
#59 = EDGE_LOOP('',(#60,#70,#78,#84,#85,#93,#101,#109));
#60 = ORIENTED_EDGE('',*,*,#61,.F.);
#61 = EDGE_CURVE('',#62,#64,#66,.T.);
#62 = VERTEX_POINT('',#63);
#63 = CARTESIAN_POINT('',(-1.52,-11.43,0.E+000));
#64 = VERTEX_POINT('',#65);
#65 = CARTESIAN_POINT('',(-1.52,-11.43,0.423333333333));
#66 = LINE('',#67,#68);
#67 = CARTESIAN_POINT('',(-1.52,-11.43,0.E+000));
#68 = VECTOR('',#69,1.);
#69 = DIRECTION('',(2.22044604925E-016,9.860761315263E-032,1.));
#70 = ORIENTED_EDGE('',*,*,#71,.T.);
#71 = EDGE_CURVE('',#62,#72,#74,.T.);
#72 = VERTEX_POINT('',#73);
#73 = CARTESIAN_POINT('',(-10.03,-11.43,1.7763568394E-015));
#74 = LINE('',#75,#76);
#75 = CARTESIAN_POINT('',(-1.52,-11.43,0.E+000));
#76 = VECTOR('',#77,1.);
#77 = DIRECTION('',(-1.,-4.440892098501E-016,2.22044604925E-016));
#78 = ORIENTED_EDGE('',*,*,#79,.T.);
#79 = EDGE_CURVE('',#72,#24,#80,.T.);
#80 = LINE('',#81,#82);
#81 = CARTESIAN_POINT('',(-10.03,-11.43,1.998401444325E-015));
#82 = VECTOR('',#83,1.);
#83 = DIRECTION('',(2.22044604925E-016,9.860761315263E-032,1.));
#84 = ORIENTED_EDGE('',*,*,#21,.F.);
#85 = ORIENTED_EDGE('',*,*,#86,.F.);
#86 = EDGE_CURVE('',#87,#22,#89,.T.);
#87 = VERTEX_POINT('',#88);
#88 = CARTESIAN_POINT('',(-1.52,-11.43,2.116666666667));
#89 = LINE('',#90,#91);
#90 = CARTESIAN_POINT('',(-1.52,-11.43,0.E+000));
#91 = VECTOR('',#92,1.);
#92 = DIRECTION('',(2.22044604925E-016,9.860761315263E-032,1.));
#93 = ORIENTED_EDGE('',*,*,#94,.T.);
#94 = EDGE_CURVE('',#87,#95,#97,.T.);
#95 = VERTEX_POINT('',#96);
#96 = CARTESIAN_POINT('',(-1.72,-11.43,2.116666666667));
#97 = LINE('',#98,#99);
#98 = CARTESIAN_POINT('',(-1.52,-11.43,2.116666666667));
#99 = VECTOR('',#100,1.);
#100 = DIRECTION('',(-1.,-4.440892098501E-016,2.22044604925E-016));
#101 = ORIENTED_EDGE('',*,*,#102,.F.);
#102 = EDGE_CURVE('',#103,#95,#105,.T.);
#103 = VERTEX_POINT('',#104);
#104 = CARTESIAN_POINT('',(-1.72,-11.43,0.423333333333));
#105 = LINE('',#106,#107);
#106 = CARTESIAN_POINT('',(-1.72,-11.43,0.423333333333));
#107 = VECTOR('',#108,1.);
#108 = DIRECTION('',(2.22044604925E-016,9.860761315263E-032,1.));
#109 = ORIENTED_EDGE('',*,*,#110,.F.);
#110 = EDGE_CURVE('',#64,#103,#111,.T.);
#111 = LINE('',#112,#113);
#112 = CARTESIAN_POINT('',(-1.52,-11.43,0.423333333333));
#113 = VECTOR('',#114,1.);
#114 = DIRECTION('',(-1.,-4.440892098501E-016,2.22044604925E-016));
#115 = PLANE('',#116);
#116 = AXIS2_PLACEMENT_3D('',#117,#118,#119);
#117 = CARTESIAN_POINT('',(-1.52,-11.43,0.E+000));
#118 = DIRECTION('',(-4.440892098501E-016,1.,0.E+000));
#119 = DIRECTION('',(2.22044604925E-016,9.860761315263E-032,1.));
#120 = ADVANCED_FACE('',(#121),#178,.F.);
#121 = FACE_BOUND('',#122,.F.);
#122 = EDGE_LOOP('',(#123,#131,#132,#140,#148,#156,#164,#172));
#123 = ORIENTED_EDGE('',*,*,#124,.F.);
#124 = EDGE_CURVE('',#40,#125,#127,.T.);
#125 = VERTEX_POINT('',#126);
#126 = CARTESIAN_POINT('',(-1.52,1.27,2.116666666667));
#127 = LINE('',#128,#129);
#128 = CARTESIAN_POINT('',(-1.52,1.27,2.54));
#129 = VECTOR('',#130,1.);
#130 = DIRECTION('',(-2.22044604925E-016,-9.860761315263E-032,-1.));
#131 = ORIENTED_EDGE('',*,*,#39,.T.);
#132 = ORIENTED_EDGE('',*,*,#133,.T.);
#133 = EDGE_CURVE('',#32,#134,#136,.T.);
#134 = VERTEX_POINT('',#135);
#135 = CARTESIAN_POINT('',(-10.03,1.27,1.7763568394E-015));
#136 = LINE('',#137,#138);
#137 = CARTESIAN_POINT('',(-10.03,1.27,2.54));
#138 = VECTOR('',#139,1.);
#139 = DIRECTION('',(-2.22044604925E-016,-9.860761315263E-032,-1.));
#140 = ORIENTED_EDGE('',*,*,#141,.F.);
#141 = EDGE_CURVE('',#142,#134,#144,.T.);
#142 = VERTEX_POINT('',#143);
#143 = CARTESIAN_POINT('',(-1.52,1.27,0.E+000));
#144 = LINE('',#145,#146);
#145 = CARTESIAN_POINT('',(-1.52,1.27,0.E+000));
#146 = VECTOR('',#147,1.);
#147 = DIRECTION('',(-1.,-4.440892098501E-016,2.22044604925E-016));
#148 = ORIENTED_EDGE('',*,*,#149,.F.);
#149 = EDGE_CURVE('',#150,#142,#152,.T.);
#150 = VERTEX_POINT('',#151);
#151 = CARTESIAN_POINT('',(-1.52,1.27,0.423333333333));
#152 = LINE('',#153,#154);
#153 = CARTESIAN_POINT('',(-1.52,1.27,2.54));
#154 = VECTOR('',#155,1.);
#155 = DIRECTION('',(-2.22044604925E-016,-9.860761315263E-032,-1.));
#156 = ORIENTED_EDGE('',*,*,#157,.T.);
#157 = EDGE_CURVE('',#150,#158,#160,.T.);
#158 = VERTEX_POINT('',#159);
#159 = CARTESIAN_POINT('',(-1.72,1.27,0.423333333333));
#160 = LINE('',#161,#162);
#161 = CARTESIAN_POINT('',(-1.52,1.27,0.423333333333));
#162 = VECTOR('',#163,1.);
#163 = DIRECTION('',(-1.,-4.440892098501E-016,2.22044604925E-016));
#164 = ORIENTED_EDGE('',*,*,#165,.F.);
#165 = EDGE_CURVE('',#166,#158,#168,.T.);
#166 = VERTEX_POINT('',#167);
#167 = CARTESIAN_POINT('',(-1.72,1.27,2.116666666667));
#168 = LINE('',#169,#170);
#169 = CARTESIAN_POINT('',(-1.72,1.27,2.116666666667));
#170 = VECTOR('',#171,1.);
#171 = DIRECTION('',(-2.22044604925E-016,-9.860761315263E-032,-1.));
#172 = ORIENTED_EDGE('',*,*,#173,.F.);
#173 = EDGE_CURVE('',#125,#166,#174,.T.);
#174 = LINE('',#175,#176);
#175 = CARTESIAN_POINT('',(-1.52,1.27,2.116666666667));
#176 = VECTOR('',#177,1.);
#177 = DIRECTION('',(-1.,-4.440892098501E-016,2.22044604925E-016));
#178 = PLANE('',#179);
#179 = AXIS2_PLACEMENT_3D('',#180,#181,#182);
#180 = CARTESIAN_POINT('',(-1.52,1.27,2.54));
#181 = DIRECTION('',(4.440892098501E-016,-1.,0.E+000));
#182 = DIRECTION('',(-2.22044604925E-016,-9.860761315263E-032,-1.));
#183 = ADVANCED_FACE('',(#184),#195,.T.);
#184 = FACE_BOUND('',#185,.T.);
#185 = EDGE_LOOP('',(#186,#187,#188,#194));
#186 = ORIENTED_EDGE('',*,*,#47,.F.);
#187 = ORIENTED_EDGE('',*,*,#86,.F.);
#188 = ORIENTED_EDGE('',*,*,#189,.T.);
#189 = EDGE_CURVE('',#87,#125,#190,.T.);
#190 = LINE('',#191,#192);
#191 = CARTESIAN_POINT('',(-1.52,-11.43,2.116666666667));
#192 = VECTOR('',#193,1.);
#193 = DIRECTION('',(-4.440892098501E-016,1.,0.E+000));
#194 = ORIENTED_EDGE('',*,*,#124,.F.);
#195 = PLANE('',#196);
#196 = AXIS2_PLACEMENT_3D('',#197,#198,#199);
#197 = CARTESIAN_POINT('',(-1.52,-11.43,2.54));
#198 = DIRECTION('',(1.,4.440892098501E-016,-2.22044604925E-016));
#199 = DIRECTION('',(4.440892098501E-016,-1.,-0.E+000));
#200 = ADVANCED_FACE('',(#201,#212,#246,#280,#314,#348),#382,.F.);
#201 = FACE_BOUND('',#202,.F.);
#202 = EDGE_LOOP('',(#203,#204,#205,#211));
#203 = ORIENTED_EDGE('',*,*,#31,.F.);
#204 = ORIENTED_EDGE('',*,*,#79,.F.);
#205 = ORIENTED_EDGE('',*,*,#206,.F.);
#206 = EDGE_CURVE('',#134,#72,#207,.T.);
#207 = LINE('',#208,#209);
#208 = CARTESIAN_POINT('',(-10.03,1.27,1.998401444325E-015));
#209 = VECTOR('',#210,1.);
#210 = DIRECTION('',(4.440892098501E-016,-1.,0.E+000));
#211 = ORIENTED_EDGE('',*,*,#133,.F.);
#212 = FACE_BOUND('',#213,.F.);
#213 = EDGE_LOOP('',(#214,#224,#232,#240));
#214 = ORIENTED_EDGE('',*,*,#215,.T.);
#215 = EDGE_CURVE('',#216,#218,#220,.T.);
#216 = VERTEX_POINT('',#217);
#217 = CARTESIAN_POINT('',(-10.03,-8.22,0.67));
#218 = VERTEX_POINT('',#219);
#219 = CARTESIAN_POINT('',(-10.03,-8.22,1.87));
#220 = LINE('',#221,#222);
#221 = CARTESIAN_POINT('',(-10.03,-8.22,0.67));
#222 = VECTOR('',#223,1.);
#223 = DIRECTION('',(2.22044604925E-016,9.860761315263E-032,1.));
#224 = ORIENTED_EDGE('',*,*,#225,.T.);
#225 = EDGE_CURVE('',#218,#226,#228,.T.);
#226 = VERTEX_POINT('',#227);
#227 = CARTESIAN_POINT('',(-10.03,-7.02,1.87));
#228 = LINE('',#229,#230);
#229 = CARTESIAN_POINT('',(-10.03,-8.22,1.87));
#230 = VECTOR('',#231,1.);
#231 = DIRECTION('',(-4.440892098501E-016,1.,0.E+000));
#232 = ORIENTED_EDGE('',*,*,#233,.T.);
#233 = EDGE_CURVE('',#226,#234,#236,.T.);
#234 = VERTEX_POINT('',#235);
#235 = CARTESIAN_POINT('',(-10.03,-7.02,0.67));
#236 = LINE('',#237,#238);
#237 = CARTESIAN_POINT('',(-10.03,-7.02,1.87));
#238 = VECTOR('',#239,1.);
#239 = DIRECTION('',(-2.22044604925E-016,-9.860761315263E-032,-1.));
#240 = ORIENTED_EDGE('',*,*,#241,.T.);
#241 = EDGE_CURVE('',#234,#216,#242,.T.);
#242 = LINE('',#243,#244);
#243 = CARTESIAN_POINT('',(-10.03,-7.02,0.67));
#244 = VECTOR('',#245,1.);
#245 = DIRECTION('',(4.440892098501E-016,-1.,0.E+000));
#246 = FACE_BOUND('',#247,.F.);
#247 = EDGE_LOOP('',(#248,#258,#266,#274));
#248 = ORIENTED_EDGE('',*,*,#249,.T.);
#249 = EDGE_CURVE('',#250,#252,#254,.T.);
#250 = VERTEX_POINT('',#251);
#251 = CARTESIAN_POINT('',(-10.03,-4.48,1.87));
#252 = VERTEX_POINT('',#253);
#253 = CARTESIAN_POINT('',(-10.03,-4.48,0.67));
#254 = LINE('',#255,#256);
#255 = CARTESIAN_POINT('',(-10.03,-4.48,1.87));
#256 = VECTOR('',#257,1.);
#257 = DIRECTION('',(-2.22044604925E-016,-9.860761315263E-032,-1.));
#258 = ORIENTED_EDGE('',*,*,#259,.T.);
#259 = EDGE_CURVE('',#252,#260,#262,.T.);
#260 = VERTEX_POINT('',#261);
#261 = CARTESIAN_POINT('',(-10.03,-5.68,0.67));
#262 = LINE('',#263,#264);
#263 = CARTESIAN_POINT('',(-10.03,-4.48,0.67));
#264 = VECTOR('',#265,1.);
#265 = DIRECTION('',(4.440892098501E-016,-1.,0.E+000));
#266 = ORIENTED_EDGE('',*,*,#267,.T.);
#267 = EDGE_CURVE('',#260,#268,#270,.T.);
#268 = VERTEX_POINT('',#269);
#269 = CARTESIAN_POINT('',(-10.03,-5.68,1.87));
#270 = LINE('',#271,#272);
#271 = CARTESIAN_POINT('',(-10.03,-5.68,0.67));
#272 = VECTOR('',#273,1.);
#273 = DIRECTION('',(2.22044604925E-016,9.860761315263E-032,1.));
#274 = ORIENTED_EDGE('',*,*,#275,.T.);
#275 = EDGE_CURVE('',#268,#250,#276,.T.);
#276 = LINE('',#277,#278);
#277 = CARTESIAN_POINT('',(-10.03,-5.68,1.87));
#278 = VECTOR('',#279,1.);
#279 = DIRECTION('',(-4.440892098501E-016,1.,0.E+000));
#280 = FACE_BOUND('',#281,.F.);
#281 = EDGE_LOOP('',(#282,#292,#300,#308));
#282 = ORIENTED_EDGE('',*,*,#283,.T.);
#283 = EDGE_CURVE('',#284,#286,#288,.T.);
#284 = VERTEX_POINT('',#285);
#285 = CARTESIAN_POINT('',(-10.03,0.6,1.87));
#286 = VERTEX_POINT('',#287);
#287 = CARTESIAN_POINT('',(-10.03,0.6,0.67));
#288 = LINE('',#289,#290);
#289 = CARTESIAN_POINT('',(-10.03,0.6,1.87));
#290 = VECTOR('',#291,1.);
#291 = DIRECTION('',(-2.22044604925E-016,-9.860761315263E-032,-1.));
#292 = ORIENTED_EDGE('',*,*,#293,.T.);
#293 = EDGE_CURVE('',#286,#294,#296,.T.);
#294 = VERTEX_POINT('',#295);
#295 = CARTESIAN_POINT('',(-10.03,-0.6,0.67));
#296 = LINE('',#297,#298);
#297 = CARTESIAN_POINT('',(-10.03,0.6,0.67));
#298 = VECTOR('',#299,1.);
#299 = DIRECTION('',(4.440892098501E-016,-1.,0.E+000));
#300 = ORIENTED_EDGE('',*,*,#301,.T.);
#301 = EDGE_CURVE('',#294,#302,#304,.T.);
#302 = VERTEX_POINT('',#303);
#303 = CARTESIAN_POINT('',(-10.03,-0.6,1.87));
#304 = LINE('',#305,#306);
#305 = CARTESIAN_POINT('',(-10.03,-0.6,0.67));
#306 = VECTOR('',#307,1.);
#307 = DIRECTION('',(2.22044604925E-016,9.860761315263E-032,1.));
#308 = ORIENTED_EDGE('',*,*,#309,.T.);
#309 = EDGE_CURVE('',#302,#284,#310,.T.);
#310 = LINE('',#311,#312);
#311 = CARTESIAN_POINT('',(-10.03,-0.6,1.87));
#312 = VECTOR('',#313,1.);
#313 = DIRECTION('',(-4.440892098501E-016,1.,0.E+000));
#314 = FACE_BOUND('',#315,.F.);
#315 = EDGE_LOOP('',(#316,#326,#334,#342));
#316 = ORIENTED_EDGE('',*,*,#317,.T.);
#317 = EDGE_CURVE('',#318,#320,#322,.T.);
#318 = VERTEX_POINT('',#319);
#319 = CARTESIAN_POINT('',(-10.03,-1.94,1.87));
#320 = VERTEX_POINT('',#321);
#321 = CARTESIAN_POINT('',(-10.03,-1.94,0.67));
#322 = LINE('',#323,#324);
#323 = CARTESIAN_POINT('',(-10.03,-1.94,1.87));
#324 = VECTOR('',#325,1.);
#325 = DIRECTION('',(-2.22044604925E-016,-9.860761315263E-032,-1.));
#326 = ORIENTED_EDGE('',*,*,#327,.T.);
#327 = EDGE_CURVE('',#320,#328,#330,.T.);
#328 = VERTEX_POINT('',#329);
#329 = CARTESIAN_POINT('',(-10.03,-3.14,0.67));
#330 = LINE('',#331,#332);
#331 = CARTESIAN_POINT('',(-10.03,-1.94,0.67));
#332 = VECTOR('',#333,1.);
#333 = DIRECTION('',(4.440892098501E-016,-1.,0.E+000));
#334 = ORIENTED_EDGE('',*,*,#335,.T.);
#335 = EDGE_CURVE('',#328,#336,#338,.T.);
#336 = VERTEX_POINT('',#337);
#337 = CARTESIAN_POINT('',(-10.03,-3.14,1.87));
#338 = LINE('',#339,#340);
#339 = CARTESIAN_POINT('',(-10.03,-3.14,0.67));
#340 = VECTOR('',#341,1.);
#341 = DIRECTION('',(2.22044604925E-016,9.860761315263E-032,1.));
#342 = ORIENTED_EDGE('',*,*,#343,.T.);
#343 = EDGE_CURVE('',#336,#318,#344,.T.);
#344 = LINE('',#345,#346);
#345 = CARTESIAN_POINT('',(-10.03,-3.14,1.87));
#346 = VECTOR('',#347,1.);
#347 = DIRECTION('',(-4.440892098501E-016,1.,0.E+000));
#348 = FACE_BOUND('',#349,.F.);
#349 = EDGE_LOOP('',(#350,#360,#368,#376));
#350 = ORIENTED_EDGE('',*,*,#351,.T.);
#351 = EDGE_CURVE('',#352,#354,#356,.T.);
#352 = VERTEX_POINT('',#353);
#353 = CARTESIAN_POINT('',(-10.03,-10.76,0.67));
#354 = VERTEX_POINT('',#355);
#355 = CARTESIAN_POINT('',(-10.03,-10.76,1.87));
#356 = LINE('',#357,#358);
#357 = CARTESIAN_POINT('',(-10.03,-10.76,0.67));
#358 = VECTOR('',#359,1.);
#359 = DIRECTION('',(2.22044604925E-016,9.860761315263E-032,1.));
#360 = ORIENTED_EDGE('',*,*,#361,.T.);
#361 = EDGE_CURVE('',#354,#362,#364,.T.);
#362 = VERTEX_POINT('',#363);
#363 = CARTESIAN_POINT('',(-10.03,-9.56,1.87));
#364 = LINE('',#365,#366);
#365 = CARTESIAN_POINT('',(-10.03,-10.76,1.87));
#366 = VECTOR('',#367,1.);
#367 = DIRECTION('',(-4.440892098501E-016,1.,0.E+000));
#368 = ORIENTED_EDGE('',*,*,#369,.T.);
#369 = EDGE_CURVE('',#362,#370,#372,.T.);
#370 = VERTEX_POINT('',#371);
#371 = CARTESIAN_POINT('',(-10.03,-9.56,0.67));
#372 = LINE('',#373,#374);
#373 = CARTESIAN_POINT('',(-10.03,-9.56,1.87));
#374 = VECTOR('',#375,1.);
#375 = DIRECTION('',(-2.22044604925E-016,-9.860761315263E-032,-1.));
#376 = ORIENTED_EDGE('',*,*,#377,.T.);
#377 = EDGE_CURVE('',#370,#352,#378,.T.);
#378 = LINE('',#379,#380);
#379 = CARTESIAN_POINT('',(-10.03,-9.56,0.67));
#380 = VECTOR('',#381,1.);
#381 = DIRECTION('',(4.440892098501E-016,-1.,0.E+000));
#382 = PLANE('',#383);
#383 = AXIS2_PLACEMENT_3D('',#384,#385,#386);
#384 = CARTESIAN_POINT('',(-10.03,-11.43,2.54));
#385 = DIRECTION('',(1.,4.440892098501E-016,-2.22044604925E-016));
#386 = DIRECTION('',(4.440892098501E-016,-1.,-0.E+000));
#387 = ADVANCED_FACE('',(#388),#404,.T.);
#388 = FACE_BOUND('',#389,.T.);
#389 = EDGE_LOOP('',(#390,#396,#397,#403));
#390 = ORIENTED_EDGE('',*,*,#391,.T.);
#391 = EDGE_CURVE('',#150,#64,#392,.T.);
#392 = LINE('',#393,#394);
#393 = CARTESIAN_POINT('',(-1.52,1.27,0.423333333333));
#394 = VECTOR('',#395,1.);
#395 = DIRECTION('',(4.440892098501E-016,-1.,0.E+000));
#396 = ORIENTED_EDGE('',*,*,#61,.F.);
#397 = ORIENTED_EDGE('',*,*,#398,.F.);
#398 = EDGE_CURVE('',#142,#62,#399,.T.);
#399 = LINE('',#400,#401);
#400 = CARTESIAN_POINT('',(-1.52,1.27,0.E+000));
#401 = VECTOR('',#402,1.);
#402 = DIRECTION('',(4.440892098501E-016,-1.,0.E+000));
#403 = ORIENTED_EDGE('',*,*,#149,.F.);
#404 = PLANE('',#405);
#405 = AXIS2_PLACEMENT_3D('',#406,#407,#408);
#406 = CARTESIAN_POINT('',(-1.52,-11.43,2.54));
#407 = DIRECTION('',(1.,4.440892098501E-016,-2.22044604925E-016));
#408 = DIRECTION('',(4.440892098501E-016,-1.,-0.E+000));
#409 = ADVANCED_FACE('',(#410),#421,.T.);
#410 = FACE_BOUND('',#411,.T.);
#411 = EDGE_LOOP('',(#412,#413,#419,#420));
#412 = ORIENTED_EDGE('',*,*,#157,.T.);
#413 = ORIENTED_EDGE('',*,*,#414,.T.);
#414 = EDGE_CURVE('',#158,#103,#415,.T.);
#415 = LINE('',#416,#417);
#416 = CARTESIAN_POINT('',(-1.72,1.27,0.423333333333));
#417 = VECTOR('',#418,1.);
#418 = DIRECTION('',(4.440892098501E-016,-1.,0.E+000));
#419 = ORIENTED_EDGE('',*,*,#110,.F.);
#420 = ORIENTED_EDGE('',*,*,#391,.F.);
#421 = PLANE('',#422);
#422 = AXIS2_PLACEMENT_3D('',#423,#424,#425);
#423 = CARTESIAN_POINT('',(-1.52,1.27,0.423333333333));
#424 = DIRECTION('',(2.22044604925E-016,9.860761315263E-032,1.));
#425 = DIRECTION('',(4.440892098501E-016,-1.,0.E+000));
#426 = ADVANCED_FACE('',(#427,#438,#504,#570,#636,#702),#768,.T.);
#427 = FACE_BOUND('',#428,.T.);
#428 = EDGE_LOOP('',(#429,#435,#436,#437));
#429 = ORIENTED_EDGE('',*,*,#430,.F.);
#430 = EDGE_CURVE('',#95,#166,#431,.T.);
#431 = LINE('',#432,#433);
#432 = CARTESIAN_POINT('',(-1.72,-11.43,2.116666666667));
#433 = VECTOR('',#434,1.);
#434 = DIRECTION('',(-4.440892098501E-016,1.,0.E+000));
#435 = ORIENTED_EDGE('',*,*,#102,.F.);
#436 = ORIENTED_EDGE('',*,*,#414,.F.);
#437 = ORIENTED_EDGE('',*,*,#165,.F.);
#438 = FACE_BOUND('',#439,.T.);
#439 = EDGE_LOOP('',(#440,#450,#458,#466,#474,#482,#490,#498));
#440 = ORIENTED_EDGE('',*,*,#441,.T.);
#441 = EDGE_CURVE('',#442,#444,#446,.T.);
#442 = VERTEX_POINT('',#443);
#443 = CARTESIAN_POINT('',(-1.72,-2.09,1.17));
#444 = VERTEX_POINT('',#445);
#445 = CARTESIAN_POINT('',(-1.72,-2.24,1.17));
#446 = LINE('',#447,#448);
#447 = CARTESIAN_POINT('',(-1.72,-2.09,1.17));
#448 = VECTOR('',#449,1.);
#449 = DIRECTION('',(4.440892098501E-016,-1.,0.E+000));
#450 = ORIENTED_EDGE('',*,*,#451,.T.);
#451 = EDGE_CURVE('',#444,#452,#454,.T.);
#452 = VERTEX_POINT('',#453);
#453 = CARTESIAN_POINT('',(-1.72,-2.84,1.17));
#454 = LINE('',#455,#456);
#455 = CARTESIAN_POINT('',(-1.72,-6.835,1.17));
#456 = VECTOR('',#457,1.);
#457 = DIRECTION('',(4.440892098501E-016,-1.,0.E+000));
#458 = ORIENTED_EDGE('',*,*,#459,.T.);
#459 = EDGE_CURVE('',#452,#460,#462,.T.);
#460 = VERTEX_POINT('',#461);
#461 = CARTESIAN_POINT('',(-1.72,-2.99,1.17));
#462 = LINE('',#463,#464);
#463 = CARTESIAN_POINT('',(-1.72,-2.09,1.17));
#464 = VECTOR('',#465,1.);
#465 = DIRECTION('',(4.440892098501E-016,-1.,0.E+000));
#466 = ORIENTED_EDGE('',*,*,#467,.T.);
#467 = EDGE_CURVE('',#460,#468,#470,.T.);
#468 = VERTEX_POINT('',#469);
#469 = CARTESIAN_POINT('',(-1.72,-2.99,1.37));
#470 = LINE('',#471,#472);
#471 = CARTESIAN_POINT('',(-1.72,-2.99,1.17));
#472 = VECTOR('',#473,1.);
#473 = DIRECTION('',(2.22044604925E-016,9.860761315263E-032,1.));
#474 = ORIENTED_EDGE('',*,*,#475,.F.);
#475 = EDGE_CURVE('',#476,#468,#478,.T.);
#476 = VERTEX_POINT('',#477);
#477 = CARTESIAN_POINT('',(-1.72,-2.84,1.37));
#478 = LINE('',#479,#480);
#479 = CARTESIAN_POINT('',(-1.72,-2.84,1.37));
#480 = VECTOR('',#481,1.);
#481 = DIRECTION('',(4.440892098501E-016,-1.,0.E+000));
#482 = ORIENTED_EDGE('',*,*,#483,.T.);
#483 = EDGE_CURVE('',#476,#484,#486,.T.);
#484 = VERTEX_POINT('',#485);
#485 = CARTESIAN_POINT('',(-1.72,-2.24,1.37));
#486 = LINE('',#487,#488);
#487 = CARTESIAN_POINT('',(-1.72,-7.135,1.37));
#488 = VECTOR('',#489,1.);
#489 = DIRECTION('',(-4.440892098501E-016,1.,0.E+000));
#490 = ORIENTED_EDGE('',*,*,#491,.F.);
#491 = EDGE_CURVE('',#492,#484,#494,.T.);
#492 = VERTEX_POINT('',#493);
#493 = CARTESIAN_POINT('',(-1.72,-2.09,1.37));
#494 = LINE('',#495,#496);
#495 = CARTESIAN_POINT('',(-1.72,-2.84,1.37));
#496 = VECTOR('',#497,1.);
#497 = DIRECTION('',(4.440892098501E-016,-1.,0.E+000));
#498 = ORIENTED_EDGE('',*,*,#499,.F.);
#499 = EDGE_CURVE('',#442,#492,#500,.T.);
#500 = LINE('',#501,#502);
#501 = CARTESIAN_POINT('',(-1.72,-2.09,1.17));
#502 = VECTOR('',#503,1.);
#503 = DIRECTION('',(2.22044604925E-016,9.860761315263E-032,1.));
#504 = FACE_BOUND('',#505,.T.);
#505 = EDGE_LOOP('',(#506,#516,#524,#532,#540,#548,#556,#564));
#506 = ORIENTED_EDGE('',*,*,#507,.T.);
#507 = EDGE_CURVE('',#508,#510,#512,.T.);
#508 = VERTEX_POINT('',#509);
#509 = CARTESIAN_POINT('',(-1.72,-4.63,1.17));
#510 = VERTEX_POINT('',#511);
#511 = CARTESIAN_POINT('',(-1.72,-4.78,1.17));
#512 = LINE('',#513,#514);
#513 = CARTESIAN_POINT('',(-1.72,-4.63,1.17));
#514 = VECTOR('',#515,1.);
#515 = DIRECTION('',(4.440892098501E-016,-1.,0.E+000));
#516 = ORIENTED_EDGE('',*,*,#517,.T.);
#517 = EDGE_CURVE('',#510,#518,#520,.T.);
#518 = VERTEX_POINT('',#519);
#519 = CARTESIAN_POINT('',(-1.72,-5.38,1.17));
#520 = LINE('',#521,#522);
#521 = CARTESIAN_POINT('',(-1.72,-8.105,1.17));
#522 = VECTOR('',#523,1.);
#523 = DIRECTION('',(4.440892098501E-016,-1.,0.E+000));
#524 = ORIENTED_EDGE('',*,*,#525,.T.);
#525 = EDGE_CURVE('',#518,#526,#528,.T.);
#526 = VERTEX_POINT('',#527);
#527 = CARTESIAN_POINT('',(-1.72,-5.53,1.17));
#528 = LINE('',#529,#530);
#529 = CARTESIAN_POINT('',(-1.72,-4.63,1.17));
#530 = VECTOR('',#531,1.);
#531 = DIRECTION('',(4.440892098501E-016,-1.,0.E+000));
#532 = ORIENTED_EDGE('',*,*,#533,.T.);
#533 = EDGE_CURVE('',#526,#534,#536,.T.);
#534 = VERTEX_POINT('',#535);
#535 = CARTESIAN_POINT('',(-1.72,-5.53,1.37));
#536 = LINE('',#537,#538);
#537 = CARTESIAN_POINT('',(-1.72,-5.53,1.17));
#538 = VECTOR('',#539,1.);
#539 = DIRECTION('',(2.22044604925E-016,9.860761315263E-032,1.));
#540 = ORIENTED_EDGE('',*,*,#541,.F.);
#541 = EDGE_CURVE('',#542,#534,#544,.T.);
#542 = VERTEX_POINT('',#543);
#543 = CARTESIAN_POINT('',(-1.72,-5.38,1.37));
#544 = LINE('',#545,#546);
#545 = CARTESIAN_POINT('',(-1.72,-5.38,1.37));
#546 = VECTOR('',#547,1.);
#547 = DIRECTION('',(4.440892098501E-016,-1.,0.E+000));
#548 = ORIENTED_EDGE('',*,*,#549,.T.);
#549 = EDGE_CURVE('',#542,#550,#552,.T.);
#550 = VERTEX_POINT('',#551);
#551 = CARTESIAN_POINT('',(-1.72,-4.78,1.37));
#552 = LINE('',#553,#554);
#553 = CARTESIAN_POINT('',(-1.72,-8.405,1.37));
#554 = VECTOR('',#555,1.);
#555 = DIRECTION('',(-4.440892098501E-016,1.,0.E+000));
#556 = ORIENTED_EDGE('',*,*,#557,.F.);
#557 = EDGE_CURVE('',#558,#550,#560,.T.);
#558 = VERTEX_POINT('',#559);
#559 = CARTESIAN_POINT('',(-1.72,-4.63,1.37));
#560 = LINE('',#561,#562);
#561 = CARTESIAN_POINT('',(-1.72,-5.38,1.37));
#562 = VECTOR('',#563,1.);
#563 = DIRECTION('',(4.440892098501E-016,-1.,0.E+000));
#564 = ORIENTED_EDGE('',*,*,#565,.F.);
#565 = EDGE_CURVE('',#508,#558,#566,.T.);
#566 = LINE('',#567,#568);
#567 = CARTESIAN_POINT('',(-1.72,-4.63,1.17));
#568 = VECTOR('',#569,1.);
#569 = DIRECTION('',(2.22044604925E-016,9.860761315263E-032,1.));
#570 = FACE_BOUND('',#571,.T.);
#571 = EDGE_LOOP('',(#572,#582,#590,#598,#606,#614,#622,#630));
#572 = ORIENTED_EDGE('',*,*,#573,.T.);
#573 = EDGE_CURVE('',#574,#576,#578,.T.);
#574 = VERTEX_POINT('',#575);
#575 = CARTESIAN_POINT('',(-1.72,-7.32,1.17));
#576 = VERTEX_POINT('',#577);
#577 = CARTESIAN_POINT('',(-1.72,-7.92,1.17));
#578 = LINE('',#579,#580);
#579 = CARTESIAN_POINT('',(-1.72,-9.375,1.17));
#580 = VECTOR('',#581,1.);
#581 = DIRECTION('',(4.440892098501E-016,-1.,0.E+000));
#582 = ORIENTED_EDGE('',*,*,#583,.T.);
#583 = EDGE_CURVE('',#576,#584,#586,.T.);
#584 = VERTEX_POINT('',#585);
#585 = CARTESIAN_POINT('',(-1.72,-8.07,1.17));
#586 = LINE('',#587,#588);
#587 = CARTESIAN_POINT('',(-1.72,-7.17,1.17));
#588 = VECTOR('',#589,1.);
#589 = DIRECTION('',(4.440892098501E-016,-1.,0.E+000));
#590 = ORIENTED_EDGE('',*,*,#591,.T.);
#591 = EDGE_CURVE('',#584,#592,#594,.T.);
#592 = VERTEX_POINT('',#593);
#593 = CARTESIAN_POINT('',(-1.72,-8.07,1.37));
#594 = LINE('',#595,#596);
#595 = CARTESIAN_POINT('',(-1.72,-8.07,1.17));
#596 = VECTOR('',#597,1.);
#597 = DIRECTION('',(2.22044604925E-016,9.860761315263E-032,1.));
#598 = ORIENTED_EDGE('',*,*,#599,.F.);
#599 = EDGE_CURVE('',#600,#592,#602,.T.);
#600 = VERTEX_POINT('',#601);
#601 = CARTESIAN_POINT('',(-1.72,-7.92,1.37));
#602 = LINE('',#603,#604);
#603 = CARTESIAN_POINT('',(-1.72,-7.92,1.37));
#604 = VECTOR('',#605,1.);
#605 = DIRECTION('',(4.440892098501E-016,-1.,0.E+000));
#606 = ORIENTED_EDGE('',*,*,#607,.T.);
#607 = EDGE_CURVE('',#600,#608,#610,.T.);
#608 = VERTEX_POINT('',#609);
#609 = CARTESIAN_POINT('',(-1.72,-7.32,1.37));
#610 = LINE('',#611,#612);
#611 = CARTESIAN_POINT('',(-1.72,-9.675,1.37));
#612 = VECTOR('',#613,1.);
#613 = DIRECTION('',(-4.440892098501E-016,1.,0.E+000));
#614 = ORIENTED_EDGE('',*,*,#615,.F.);
#615 = EDGE_CURVE('',#616,#608,#618,.T.);
#616 = VERTEX_POINT('',#617);
#617 = CARTESIAN_POINT('',(-1.72,-7.17,1.37));
#618 = LINE('',#619,#620);
#619 = CARTESIAN_POINT('',(-1.72,-7.92,1.37));
#620 = VECTOR('',#621,1.);
#621 = DIRECTION('',(4.440892098501E-016,-1.,0.E+000));
#622 = ORIENTED_EDGE('',*,*,#623,.F.);
#623 = EDGE_CURVE('',#624,#616,#626,.T.);
#624 = VERTEX_POINT('',#625);
#625 = CARTESIAN_POINT('',(-1.72,-7.17,1.17));
#626 = LINE('',#627,#628);
#627 = CARTESIAN_POINT('',(-1.72,-7.17,1.17));
#628 = VECTOR('',#629,1.);
#629 = DIRECTION('',(2.22044604925E-016,9.860761315263E-032,1.));
#630 = ORIENTED_EDGE('',*,*,#631,.T.);
#631 = EDGE_CURVE('',#624,#574,#632,.T.);
#632 = LINE('',#633,#634);
#633 = CARTESIAN_POINT('',(-1.72,-7.17,1.17));
#634 = VECTOR('',#635,1.);
#635 = DIRECTION('',(4.440892098501E-016,-1.,0.E+000));
#636 = FACE_BOUND('',#637,.T.);
#637 = EDGE_LOOP('',(#638,#648,#656,#664,#672,#680,#688,#696));
#638 = ORIENTED_EDGE('',*,*,#639,.T.);
#639 = EDGE_CURVE('',#640,#642,#644,.T.);
#640 = VERTEX_POINT('',#641);
#641 = CARTESIAN_POINT('',(-1.72,0.45,1.17));
#642 = VERTEX_POINT('',#643);
#643 = CARTESIAN_POINT('',(-1.72,0.3,1.17));
#644 = LINE('',#645,#646);
#645 = CARTESIAN_POINT('',(-1.72,0.45,1.17));
#646 = VECTOR('',#647,1.);
#647 = DIRECTION('',(4.440892098501E-016,-1.,0.E+000));
#648 = ORIENTED_EDGE('',*,*,#649,.T.);
#649 = EDGE_CURVE('',#642,#650,#652,.T.);
#650 = VERTEX_POINT('',#651);
#651 = CARTESIAN_POINT('',(-1.72,-0.3,1.17));
#652 = LINE('',#653,#654);
#653 = CARTESIAN_POINT('',(-1.72,-5.565,1.17));
#654 = VECTOR('',#655,1.);
#655 = DIRECTION('',(4.440892098501E-016,-1.,0.E+000));
#656 = ORIENTED_EDGE('',*,*,#657,.T.);
#657 = EDGE_CURVE('',#650,#658,#660,.T.);
#658 = VERTEX_POINT('',#659);
#659 = CARTESIAN_POINT('',(-1.72,-0.45,1.17));
#660 = LINE('',#661,#662);
#661 = CARTESIAN_POINT('',(-1.72,0.45,1.17));
#662 = VECTOR('',#663,1.);
#663 = DIRECTION('',(4.440892098501E-016,-1.,0.E+000));
#664 = ORIENTED_EDGE('',*,*,#665,.T.);
#665 = EDGE_CURVE('',#658,#666,#668,.T.);
#666 = VERTEX_POINT('',#667);
#667 = CARTESIAN_POINT('',(-1.72,-0.45,1.37));
#668 = LINE('',#669,#670);
#669 = CARTESIAN_POINT('',(-1.72,-0.45,1.17));
#670 = VECTOR('',#671,1.);
#671 = DIRECTION('',(2.22044604925E-016,9.860761315263E-032,1.));
#672 = ORIENTED_EDGE('',*,*,#673,.F.);
#673 = EDGE_CURVE('',#674,#666,#676,.T.);
#674 = VERTEX_POINT('',#675);
#675 = CARTESIAN_POINT('',(-1.72,-0.3,1.37));
#676 = LINE('',#677,#678);
#677 = CARTESIAN_POINT('',(-1.72,-0.3,1.37));
#678 = VECTOR('',#679,1.);
#679 = DIRECTION('',(4.440892098501E-016,-1.,0.E+000));
#680 = ORIENTED_EDGE('',*,*,#681,.T.);
#681 = EDGE_CURVE('',#674,#682,#684,.T.);
#682 = VERTEX_POINT('',#683);
#683 = CARTESIAN_POINT('',(-1.72,0.3,1.37));
#684 = LINE('',#685,#686);
#685 = CARTESIAN_POINT('',(-1.72,-5.865,1.37));
#686 = VECTOR('',#687,1.);
#687 = DIRECTION('',(-4.440892098501E-016,1.,0.E+000));
#688 = ORIENTED_EDGE('',*,*,#689,.F.);
#689 = EDGE_CURVE('',#690,#682,#692,.T.);
#690 = VERTEX_POINT('',#691);
#691 = CARTESIAN_POINT('',(-1.72,0.45,1.37));
#692 = LINE('',#693,#694);
#693 = CARTESIAN_POINT('',(-1.72,-0.3,1.37));
#694 = VECTOR('',#695,1.);
#695 = DIRECTION('',(4.440892098501E-016,-1.,0.E+000));
#696 = ORIENTED_EDGE('',*,*,#697,.F.);
#697 = EDGE_CURVE('',#640,#690,#698,.T.);
#698 = LINE('',#699,#700);
#699 = CARTESIAN_POINT('',(-1.72,0.45,1.17));
#700 = VECTOR('',#701,1.);
#701 = DIRECTION('',(2.22044604925E-016,9.860761315263E-032,1.));
#702 = FACE_BOUND('',#703,.T.);
#703 = EDGE_LOOP('',(#704,#714,#722,#730,#738,#746,#754,#762));
#704 = ORIENTED_EDGE('',*,*,#705,.T.);
#705 = EDGE_CURVE('',#706,#708,#710,.T.);
#706 = VERTEX_POINT('',#707);
#707 = CARTESIAN_POINT('',(-1.72,-9.71,1.17));
#708 = VERTEX_POINT('',#709);
#709 = CARTESIAN_POINT('',(-1.72,-9.86,1.17));
#710 = LINE('',#711,#712);
#711 = CARTESIAN_POINT('',(-1.72,-9.71,1.17));
#712 = VECTOR('',#713,1.);
#713 = DIRECTION('',(4.440892098501E-016,-1.,0.E+000));
#714 = ORIENTED_EDGE('',*,*,#715,.T.);
#715 = EDGE_CURVE('',#708,#716,#718,.T.);
#716 = VERTEX_POINT('',#717);
#717 = CARTESIAN_POINT('',(-1.72,-10.46,1.17));
#718 = LINE('',#719,#720);
#719 = CARTESIAN_POINT('',(-1.72,-10.645,1.17));
#720 = VECTOR('',#721,1.);
#721 = DIRECTION('',(4.440892098501E-016,-1.,0.E+000));
#722 = ORIENTED_EDGE('',*,*,#723,.T.);
#723 = EDGE_CURVE('',#716,#724,#726,.T.);
#724 = VERTEX_POINT('',#725);
#725 = CARTESIAN_POINT('',(-1.72,-10.61,1.17));
#726 = LINE('',#727,#728);
#727 = CARTESIAN_POINT('',(-1.72,-9.71,1.17));
#728 = VECTOR('',#729,1.);
#729 = DIRECTION('',(4.440892098501E-016,-1.,0.E+000));
#730 = ORIENTED_EDGE('',*,*,#731,.T.);
#731 = EDGE_CURVE('',#724,#732,#734,.T.);
#732 = VERTEX_POINT('',#733);
#733 = CARTESIAN_POINT('',(-1.72,-10.61,1.37));
#734 = LINE('',#735,#736);
#735 = CARTESIAN_POINT('',(-1.72,-10.61,1.17));
#736 = VECTOR('',#737,1.);
#737 = DIRECTION('',(2.22044604925E-016,9.860761315263E-032,1.));
#738 = ORIENTED_EDGE('',*,*,#739,.F.);
#739 = EDGE_CURVE('',#740,#732,#742,.T.);
#740 = VERTEX_POINT('',#741);
#741 = CARTESIAN_POINT('',(-1.72,-10.46,1.37));
#742 = LINE('',#743,#744);
#743 = CARTESIAN_POINT('',(-1.72,-10.46,1.37));
#744 = VECTOR('',#745,1.);
#745 = DIRECTION('',(4.440892098501E-016,-1.,0.E+000));
#746 = ORIENTED_EDGE('',*,*,#747,.T.);
#747 = EDGE_CURVE('',#740,#748,#750,.T.);
#748 = VERTEX_POINT('',#749);
#749 = CARTESIAN_POINT('',(-1.72,-9.86,1.37));
#750 = LINE('',#751,#752);
#751 = CARTESIAN_POINT('',(-1.72,-10.945,1.37));
#752 = VECTOR('',#753,1.);
#753 = DIRECTION('',(-4.440892098501E-016,1.,0.E+000));
#754 = ORIENTED_EDGE('',*,*,#755,.F.);
#755 = EDGE_CURVE('',#756,#748,#758,.T.);
#756 = VERTEX_POINT('',#757);
#757 = CARTESIAN_POINT('',(-1.72,-9.71,1.37));
#758 = LINE('',#759,#760);
#759 = CARTESIAN_POINT('',(-1.72,-10.46,1.37));
#760 = VECTOR('',#761,1.);
#761 = DIRECTION('',(4.440892098501E-016,-1.,0.E+000));
#762 = ORIENTED_EDGE('',*,*,#763,.F.);
#763 = EDGE_CURVE('',#706,#756,#764,.T.);
#764 = LINE('',#765,#766);
#765 = CARTESIAN_POINT('',(-1.72,-9.71,1.17));
#766 = VECTOR('',#767,1.);
#767 = DIRECTION('',(2.22044604925E-016,9.860761315263E-032,1.));
#768 = PLANE('',#769);
#769 = AXIS2_PLACEMENT_3D('',#770,#771,#772);
#770 = CARTESIAN_POINT('',(-1.72,-11.43,2.116666666667));
#771 = DIRECTION('',(1.,4.440892098501E-016,-2.22044604925E-016));
#772 = DIRECTION('',(4.440892098501E-016,-1.,-0.E+000));
#773 = ADVANCED_FACE('',(#774),#780,.T.);
#774 = FACE_BOUND('',#775,.T.);
#775 = EDGE_LOOP('',(#776,#777,#778,#779));
#776 = ORIENTED_EDGE('',*,*,#94,.T.);
#777 = ORIENTED_EDGE('',*,*,#430,.T.);
#778 = ORIENTED_EDGE('',*,*,#173,.F.);
#779 = ORIENTED_EDGE('',*,*,#189,.F.);
#780 = PLANE('',#781);
#781 = AXIS2_PLACEMENT_3D('',#782,#783,#784);
#782 = CARTESIAN_POINT('',(-1.52,-11.43,2.116666666667));
#783 = DIRECTION('',(-2.22044604925E-016,-9.860761315263E-032,-1.));
#784 = DIRECTION('',(-4.440892098501E-016,1.,0.E+000));
#785 = ADVANCED_FACE('',(#786),#792,.F.);
#786 = FACE_BOUND('',#787,.F.);
#787 = EDGE_LOOP('',(#788,#789,#790,#791));
#788 = ORIENTED_EDGE('',*,*,#141,.T.);
#789 = ORIENTED_EDGE('',*,*,#206,.T.);
#790 = ORIENTED_EDGE('',*,*,#71,.F.);
#791 = ORIENTED_EDGE('',*,*,#398,.F.);
#792 = PLANE('',#793);
#793 = AXIS2_PLACEMENT_3D('',#794,#795,#796);
#794 = CARTESIAN_POINT('',(-1.52,1.27,0.E+000));
#795 = DIRECTION('',(2.22044604925E-016,9.860761315263E-032,1.));
#796 = DIRECTION('',(4.440892098501E-016,-1.,0.E+000));
#797 = ADVANCED_FACE('',(#798),#823,.F.);
#798 = FACE_BOUND('',#799,.F.);
#799 = EDGE_LOOP('',(#800,#808,#816,#822));
#800 = ORIENTED_EDGE('',*,*,#801,.T.);
#801 = EDGE_CURVE('',#216,#802,#804,.T.);
#802 = VERTEX_POINT('',#803);
#803 = CARTESIAN_POINT('',(-10.029,-8.22,0.67));
#804 = LINE('',#805,#806);
#805 = CARTESIAN_POINT('',(-10.03,-8.22,0.67));
#806 = VECTOR('',#807,1.);
#807 = DIRECTION('',(1.,4.440892098501E-016,-2.22044604925E-016));
#808 = ORIENTED_EDGE('',*,*,#809,.T.);
#809 = EDGE_CURVE('',#802,#810,#812,.T.);
#810 = VERTEX_POINT('',#811);
#811 = CARTESIAN_POINT('',(-10.029,-8.22,1.87));
#812 = LINE('',#813,#814);
#813 = CARTESIAN_POINT('',(-10.029,-8.22,0.67));
#814 = VECTOR('',#815,1.);
#815 = DIRECTION('',(2.22044604925E-016,9.860761315263E-032,1.));
#816 = ORIENTED_EDGE('',*,*,#817,.F.);
#817 = EDGE_CURVE('',#218,#810,#818,.T.);
#818 = LINE('',#819,#820);
#819 = CARTESIAN_POINT('',(-10.03,-8.22,1.87));
#820 = VECTOR('',#821,1.);
#821 = DIRECTION('',(1.,4.440892098501E-016,-2.22044604925E-016));
#822 = ORIENTED_EDGE('',*,*,#215,.F.);
#823 = PLANE('',#824);
#824 = AXIS2_PLACEMENT_3D('',#825,#826,#827);
#825 = CARTESIAN_POINT('',(-10.03,-8.22,0.67));
#826 = DIRECTION('',(4.440892098501E-016,-1.,0.E+000));
#827 = DIRECTION('',(2.22044604925E-016,9.860761315263E-032,1.));
#828 = ADVANCED_FACE('',(#829),#847,.F.);
#829 = FACE_BOUND('',#830,.F.);
#830 = EDGE_LOOP('',(#831,#839,#845,#846));
#831 = ORIENTED_EDGE('',*,*,#832,.T.);
#832 = EDGE_CURVE('',#234,#833,#835,.T.);
#833 = VERTEX_POINT('',#834);
#834 = CARTESIAN_POINT('',(-10.029,-7.02,0.67));
#835 = LINE('',#836,#837);
#836 = CARTESIAN_POINT('',(-10.03,-7.02,0.67));
#837 = VECTOR('',#838,1.);
#838 = DIRECTION('',(1.,4.440892098501E-016,-2.22044604925E-016));
#839 = ORIENTED_EDGE('',*,*,#840,.T.);
#840 = EDGE_CURVE('',#833,#802,#841,.T.);
#841 = LINE('',#842,#843);
#842 = CARTESIAN_POINT('',(-10.029,-7.02,0.67));
#843 = VECTOR('',#844,1.);
#844 = DIRECTION('',(4.440892098501E-016,-1.,0.E+000));
#845 = ORIENTED_EDGE('',*,*,#801,.F.);
#846 = ORIENTED_EDGE('',*,*,#241,.F.);
#847 = PLANE('',#848);
#848 = AXIS2_PLACEMENT_3D('',#849,#850,#851);
#849 = CARTESIAN_POINT('',(-10.03,-7.02,0.67));
#850 = DIRECTION('',(-2.22044604925E-016,-9.860761315263E-032,-1.));
#851 = DIRECTION('',(4.440892098501E-016,-1.,0.E+000));
#852 = ADVANCED_FACE('',(#853),#871,.F.);
#853 = FACE_BOUND('',#854,.F.);
#854 = EDGE_LOOP('',(#855,#863,#869,#870));
#855 = ORIENTED_EDGE('',*,*,#856,.T.);
#856 = EDGE_CURVE('',#226,#857,#859,.T.);
#857 = VERTEX_POINT('',#858);
#858 = CARTESIAN_POINT('',(-10.029,-7.02,1.87));
#859 = LINE('',#860,#861);
#860 = CARTESIAN_POINT('',(-10.03,-7.02,1.87));
#861 = VECTOR('',#862,1.);
#862 = DIRECTION('',(1.,4.440892098501E-016,-2.22044604925E-016));
#863 = ORIENTED_EDGE('',*,*,#864,.T.);
#864 = EDGE_CURVE('',#857,#833,#865,.T.);
#865 = LINE('',#866,#867);
#866 = CARTESIAN_POINT('',(-10.029,-7.02,1.87));
#867 = VECTOR('',#868,1.);
#868 = DIRECTION('',(-2.22044604925E-016,-9.860761315263E-032,-1.));
#869 = ORIENTED_EDGE('',*,*,#832,.F.);
#870 = ORIENTED_EDGE('',*,*,#233,.F.);
#871 = PLANE('',#872);
#872 = AXIS2_PLACEMENT_3D('',#873,#874,#875);
#873 = CARTESIAN_POINT('',(-10.03,-7.02,1.87));
#874 = DIRECTION('',(-4.440892098501E-016,1.,0.E+000));
#875 = DIRECTION('',(-2.22044604925E-016,-9.860761315263E-032,-1.));
#876 = ADVANCED_FACE('',(#877),#888,.F.);
#877 = FACE_BOUND('',#878,.F.);
#878 = EDGE_LOOP('',(#879,#880,#886,#887));
#879 = ORIENTED_EDGE('',*,*,#817,.T.);
#880 = ORIENTED_EDGE('',*,*,#881,.T.);
#881 = EDGE_CURVE('',#810,#857,#882,.T.);
#882 = LINE('',#883,#884);
#883 = CARTESIAN_POINT('',(-10.029,-8.22,1.87));
#884 = VECTOR('',#885,1.);
#885 = DIRECTION('',(-4.440892098501E-016,1.,0.E+000));
#886 = ORIENTED_EDGE('',*,*,#856,.F.);
#887 = ORIENTED_EDGE('',*,*,#225,.F.);
#888 = PLANE('',#889);
#889 = AXIS2_PLACEMENT_3D('',#890,#891,#892);
#890 = CARTESIAN_POINT('',(-10.03,-8.22,1.87));
#891 = DIRECTION('',(2.22044604925E-016,9.860761315263E-032,1.));
#892 = DIRECTION('',(-4.440892098501E-016,1.,0.E+000));
#893 = ADVANCED_FACE('',(#894),#919,.F.);
#894 = FACE_BOUND('',#895,.F.);
#895 = EDGE_LOOP('',(#896,#904,#912,#918));
#896 = ORIENTED_EDGE('',*,*,#897,.T.);
#897 = EDGE_CURVE('',#250,#898,#900,.T.);
#898 = VERTEX_POINT('',#899);
#899 = CARTESIAN_POINT('',(-10.029,-4.48,1.87));
#900 = LINE('',#901,#902);
#901 = CARTESIAN_POINT('',(-10.03,-4.48,1.87));
#902 = VECTOR('',#903,1.);
#903 = DIRECTION('',(1.,4.440892098501E-016,-2.22044604925E-016));
#904 = ORIENTED_EDGE('',*,*,#905,.T.);
#905 = EDGE_CURVE('',#898,#906,#908,.T.);
#906 = VERTEX_POINT('',#907);
#907 = CARTESIAN_POINT('',(-10.029,-4.48,0.67));
#908 = LINE('',#909,#910);
#909 = CARTESIAN_POINT('',(-10.029,-4.48,1.87));
#910 = VECTOR('',#911,1.);
#911 = DIRECTION('',(-2.22044604925E-016,-9.860761315263E-032,-1.));
#912 = ORIENTED_EDGE('',*,*,#913,.F.);
#913 = EDGE_CURVE('',#252,#906,#914,.T.);
#914 = LINE('',#915,#916);
#915 = CARTESIAN_POINT('',(-10.03,-4.48,0.67));
#916 = VECTOR('',#917,1.);
#917 = DIRECTION('',(1.,4.440892098501E-016,-2.22044604925E-016));
#918 = ORIENTED_EDGE('',*,*,#249,.F.);
#919 = PLANE('',#920);
#920 = AXIS2_PLACEMENT_3D('',#921,#922,#923);
#921 = CARTESIAN_POINT('',(-10.03,-4.48,1.87));
#922 = DIRECTION('',(-4.440892098501E-016,1.,0.E+000));
#923 = DIRECTION('',(-2.22044604925E-016,-9.860761315263E-032,-1.));
#924 = ADVANCED_FACE('',(#925),#943,.F.);
#925 = FACE_BOUND('',#926,.F.);
#926 = EDGE_LOOP('',(#927,#935,#941,#942));
#927 = ORIENTED_EDGE('',*,*,#928,.T.);
#928 = EDGE_CURVE('',#268,#929,#931,.T.);
#929 = VERTEX_POINT('',#930);
#930 = CARTESIAN_POINT('',(-10.029,-5.68,1.87));
#931 = LINE('',#932,#933);
#932 = CARTESIAN_POINT('',(-10.03,-5.68,1.87));
#933 = VECTOR('',#934,1.);
#934 = DIRECTION('',(1.,4.440892098501E-016,-2.22044604925E-016));
#935 = ORIENTED_EDGE('',*,*,#936,.T.);
#936 = EDGE_CURVE('',#929,#898,#937,.T.);
#937 = LINE('',#938,#939);
#938 = CARTESIAN_POINT('',(-10.029,-5.68,1.87));