round-trip.stp 1.5 MB
Newer Older
Dave Cooper's avatar
Dave Cooper committed
1
2
3
ISO-10303-21;
HEADER;
FILE_DESCRIPTION ((), '1');
4
FILE_NAME ('/Users/dcooper8/tmp/G3355731', '2013-11-19T00:02:38', ('Unknown'), ('Unknown'), 'HarmonyWare STEP v1.9.13', 'HarmonyWare Translators', '');
Dave Cooper's avatar
Dave Cooper committed
5
6
7
8
9
10
11
12
13
14
15
16
FILE_SCHEMA (('CONFIG_CONTROL_DESIGN'));
ENDSEC;

DATA;
#10 = CARTESIAN_POINT ('', (-15.56, -1.56625, -1.49762));
#20 = VERTEX_POINT ('', #10);
#30 = CARTESIAN_POINT ('', (-16.94, -1.56625, -1.49762));
#40 = VERTEX_POINT ('', #30);
#50 = CARTESIAN_POINT ('', (-15.56, -1.56625, -1.49762));
#60 = DIRECTION ('', (-1.38, 0., 0.));
#70 = VECTOR ('', #60, 1.38);
#80 = LINE ('', #50, #70);
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
#90 = COLOUR_RGB ('', 0., 0., 0.);
#100 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#110 = CURVE_STYLE ('', #100, POSITIVE_LENGTH_MEASURE(1.E-6), #90);
#120 = PRESENTATION_STYLE_ASSIGNMENT ((#110));
#130 = STYLED_ITEM ('', (#120), #80);
#140 = EDGE_CURVE ('', #20, #40, #80, .T.);
#150 = ORIENTED_EDGE ('', *, *, #140, .T.);
#160 = CARTESIAN_POINT ('', (-16.94, -1.66, -1.4725));
#170 = VERTEX_POINT ('', #160);
#180 = CARTESIAN_POINT ('', (-16.94, -1.66, -1.4725));
#190 = DIRECTION ('', (0., 0.09375, -0.02512));
#200 = VECTOR ('', #190, 0.097057080627845);
#210 = LINE ('', #180, #200);
#220 = COLOUR_RGB ('', 0., 0., 0.);
#230 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#240 = CURVE_STYLE ('', #230, POSITIVE_LENGTH_MEASURE(1.E-6), #220);
#250 = PRESENTATION_STYLE_ASSIGNMENT ((#240));
#260 = STYLED_ITEM ('', (#250), #210);
#270 = EDGE_CURVE ('', #170, #40, #210, .T.);
#280 = ORIENTED_EDGE ('', *, *, #270, .F.);
#290 = CARTESIAN_POINT ('', (-15.56, -1.66, -1.4725));
#300 = VERTEX_POINT ('', #290);
#310 = CARTESIAN_POINT ('', (-15.56, -1.66, -1.4725));
#320 = DIRECTION ('', (-1.38, 0., 0.));
#330 = VECTOR ('', #320, 1.38);
#340 = LINE ('', #310, #330);
#350 = COLOUR_RGB ('', 0., 0., 0.);
#360 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#370 = CURVE_STYLE ('', #360, POSITIVE_LENGTH_MEASURE(1.E-6), #350);
#380 = PRESENTATION_STYLE_ASSIGNMENT ((#370));
#390 = STYLED_ITEM ('', (#380), #340);
#400 = EDGE_CURVE ('', #300, #170, #340, .T.);
#410 = ORIENTED_EDGE ('', *, *, #400, .F.);
#420 = CARTESIAN_POINT ('', (-15.56, -1.56625, -1.49762));
#430 = DIRECTION ('', (0., -0.09375, 0.02512));
#440 = VECTOR ('', #430, 0.097057080627845);
#450 = LINE ('', #420, #440);
#460 = COLOUR_RGB ('', 0., 0., 0.);
#470 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#480 = CURVE_STYLE ('', #470, POSITIVE_LENGTH_MEASURE(1.E-6), #460);
#490 = PRESENTATION_STYLE_ASSIGNMENT ((#480));
#500 = STYLED_ITEM ('', (#490), #450);
#510 = EDGE_CURVE ('', #20, #300, #450, .T.);
#520 = ORIENTED_EDGE ('', *, *, #510, .F.);
#530 = EDGE_LOOP ('', (#150, #280, #410, #520));
#540 = FACE_OUTER_BOUND ('', #530, .T.);
#550 = CARTESIAN_POINT ('', (-15.559, -1.66118399355037, -1.4721867887161));
#560 = CARTESIAN_POINT ('', (-16.941, -1.66118399355037, -1.4721867887161));
#570 = CARTESIAN_POINT ('', (-15.559, -1.5650670026814, -1.49793692989652));
#580 = CARTESIAN_POINT ('', (-16.941, -1.5650670026814, -1.49793692989652));
#590 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#550, #560), (#570, #580)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.09950651086495, 2.E-16), (0., 1.382), .UNSPECIFIED.);
#600 = ADVANCED_FACE ('A PART', (#540), #590, .T.);
#610 = ORIENTED_EDGE ('', *, *, #400, .T.);
#620 = CARTESIAN_POINT ('', (-16.94, -1.75375, -1.49762));
#630 = VERTEX_POINT ('', #620);
#640 = CARTESIAN_POINT ('', (-16.94, -1.75375, -1.49762));
#650 = DIRECTION ('', (0., 0.09375, 0.02512));
#660 = VECTOR ('', #650, 0.097057080627845);
#670 = LINE ('', #640, #660);
#680 = COLOUR_RGB ('', 0., 0., 0.);
#690 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#700 = CURVE_STYLE ('', #690, POSITIVE_LENGTH_MEASURE(1.E-6), #680);
#710 = PRESENTATION_STYLE_ASSIGNMENT ((#700));
#720 = STYLED_ITEM ('', (#710), #670);
#730 = EDGE_CURVE ('', #630, #170, #670, .T.);
#740 = ORIENTED_EDGE ('', *, *, #730, .F.);
#750 = CARTESIAN_POINT ('', (-15.56, -1.75375, -1.49762));
#760 = VERTEX_POINT ('', #750);
#770 = CARTESIAN_POINT ('', (-15.56, -1.75375, -1.49762));
#780 = DIRECTION ('', (-1.38, 0., 0.));
#790 = VECTOR ('', #780, 1.38);
#800 = LINE ('', #770, #790);
#810 = COLOUR_RGB ('', 0., 0., 0.);
#820 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#830 = CURVE_STYLE ('', #820, POSITIVE_LENGTH_MEASURE(1.E-6), #810);
#840 = PRESENTATION_STYLE_ASSIGNMENT ((#830));
#850 = STYLED_ITEM ('', (#840), #800);
#860 = EDGE_CURVE ('', #760, #630, #800, .T.);
#870 = ORIENTED_EDGE ('', *, *, #860, .F.);
#880 = CARTESIAN_POINT ('', (-15.56, -1.66, -1.4725));
#890 = DIRECTION ('', (0., -0.09375, -0.02512));
#900 = VECTOR ('', #890, 0.097057080627845);
#910 = LINE ('', #880, #900);
#920 = COLOUR_RGB ('', 0., 0., 0.);
#930 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#940 = CURVE_STYLE ('', #930, POSITIVE_LENGTH_MEASURE(1.E-6), #920);
#950 = PRESENTATION_STYLE_ASSIGNMENT ((#940));
#960 = STYLED_ITEM ('', (#950), #910);
#970 = EDGE_CURVE ('', #300, #760, #910, .T.);
#980 = ORIENTED_EDGE ('', *, *, #970, .F.);
#990 = EDGE_LOOP ('', (#610, #740, #870, #980));
#1000 = FACE_OUTER_BOUND ('', #990, .T.);
#1010 = CARTESIAN_POINT ('', (-15.559, -1.75493399355037, -1.4979332112839));
#1020 = CARTESIAN_POINT ('', (-16.941, -1.75493399355037, -1.4979332112839));
#1030 = CARTESIAN_POINT ('', (-15.559, -1.6588170026814, -1.47218307010348));
#1040 = CARTESIAN_POINT ('', (-16.941, -1.6588170026814, -1.47218307010348));
#1050 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#1010, #1020), (#1030, #1040)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.0995065108649504, 0.), (0., 1.382), .UNSPECIFIED.);
#1060 = ADVANCED_FACE ('A PART', (#1000), #1050, .T.);
#1070 = ORIENTED_EDGE ('', *, *, #860, .T.);
#1080 = CARTESIAN_POINT ('', (-16.94, -1.82238, -1.56625));
#1090 = VERTEX_POINT ('', #1080);
#1100 = CARTESIAN_POINT ('', (-16.94, -1.82238, -1.56625));
#1110 = DIRECTION ('', (0., 0.0686300000000002, 0.06863));
#1120 = VECTOR ('', #1110, 0.0970574767856656);
#1130 = LINE ('', #1100, #1120);
#1140 = COLOUR_RGB ('', 0., 0., 0.);
#1150 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#1160 = CURVE_STYLE ('', #1150, POSITIVE_LENGTH_MEASURE(1.E-6), #1140);
#1170 = PRESENTATION_STYLE_ASSIGNMENT ((#1160));
#1180 = STYLED_ITEM ('', (#1170), #1130);
#1190 = EDGE_CURVE ('', #1090, #630, #1130, .T.);
#1200 = ORIENTED_EDGE ('', *, *, #1190, .F.);
#1210 = CARTESIAN_POINT ('', (-15.56, -1.82238, -1.56625));
Dave Cooper's avatar
Dave Cooper committed
130
#1220 = VERTEX_POINT ('', #1210);
131
132
#1230 = CARTESIAN_POINT ('', (-15.56, -1.82238, -1.56625));
#1240 = DIRECTION ('', (-1.38, 0., 0.));
Dave Cooper's avatar
Dave Cooper committed
133
134
#1250 = VECTOR ('', #1240, 1.38);
#1260 = LINE ('', #1230, #1250);
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
#1270 = COLOUR_RGB ('', 0., 0., 0.);
#1280 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#1290 = CURVE_STYLE ('', #1280, POSITIVE_LENGTH_MEASURE(1.E-6), #1270);
#1300 = PRESENTATION_STYLE_ASSIGNMENT ((#1290));
#1310 = STYLED_ITEM ('', (#1300), #1260);
#1320 = EDGE_CURVE ('', #1220, #1090, #1260, .T.);
#1330 = ORIENTED_EDGE ('', *, *, #1320, .F.);
#1340 = CARTESIAN_POINT ('', (-15.56, -1.75375, -1.49762));
#1350 = DIRECTION ('', (0., -0.0686300000000002, -0.06863));
#1360 = VECTOR ('', #1350, 0.0970574767856656);
#1370 = LINE ('', #1340, #1360);
#1380 = COLOUR_RGB ('', 0., 0., 0.);
#1390 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#1400 = CURVE_STYLE ('', #1390, POSITIVE_LENGTH_MEASURE(1.E-6), #1380);
#1410 = PRESENTATION_STYLE_ASSIGNMENT ((#1400));
#1420 = STYLED_ITEM ('', (#1410), #1370);
#1430 = EDGE_CURVE ('', #760, #1220, #1370, .T.);
#1440 = ORIENTED_EDGE ('', *, *, #1430, .F.);
#1450 = EDGE_LOOP ('', (#1070, #1200, #1330, #1440));
#1460 = FACE_OUTER_BOUND ('', #1450, .T.);
#1470 = CARTESIAN_POINT ('', (-15.559, -1.82337808849771, -1.56725191139735));
#1480 = CARTESIAN_POINT ('', (-16.941, -1.82337808849771, -1.56725191139735));
#1490 = CARTESIAN_POINT ('', (-15.559, -1.75275002745228, -1.49661997254923));
#1500 = CARTESIAN_POINT ('', (-16.941, -1.75275002745228, -1.49661997254923));
#1510 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#1470, #1480), (#1490, #1500)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.0998859038727753, 0.), (0., 1.382), .UNSPECIFIED.);
#1520 = ADVANCED_FACE ('A PART', (#1460), #1510, .T.);
#1530 = CARTESIAN_POINT ('', (-15.56, -1.49762, -1.75375));
#1540 = VERTEX_POINT ('', #1530);
#1550 = CARTESIAN_POINT ('', (-16.94, -1.49762, -1.75375));
#1560 = VERTEX_POINT ('', #1550);
#1570 = CARTESIAN_POINT ('', (-15.56, -1.49762, -1.75375));
#1580 = DIRECTION ('', (-1.38, 0., 0.));
#1590 = VECTOR ('', #1580, 1.38);
#1600 = LINE ('', #1570, #1590);
#1610 = COLOUR_RGB ('', 0., 0., 0.);
#1620 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#1630 = CURVE_STYLE ('', #1620, POSITIVE_LENGTH_MEASURE(1.E-6), #1610);
#1640 = PRESENTATION_STYLE_ASSIGNMENT ((#1630));
#1650 = STYLED_ITEM ('', (#1640), #1600);
#1660 = EDGE_CURVE ('', #1540, #1560, #1600, .T.);
#1670 = ORIENTED_EDGE ('', *, *, #1660, .T.);
#1680 = CARTESIAN_POINT ('', (-16.94, -1.4725, -1.66));
#1690 = VERTEX_POINT ('', #1680);
#1700 = CARTESIAN_POINT ('', (-16.94, -1.49762, -1.75375));
#1710 = DIRECTION ('', (0., 0.02512, 0.09375));
#1720 = VECTOR ('', #1710, 0.097057080627845);
#1730 = LINE ('', #1700, #1720);
#1740 = COLOUR_RGB ('', 0., 0., 0.);
#1750 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#1760 = CURVE_STYLE ('', #1750, POSITIVE_LENGTH_MEASURE(1.E-6), #1740);
#1770 = PRESENTATION_STYLE_ASSIGNMENT ((#1760));
#1780 = STYLED_ITEM ('', (#1770), #1730);
#1790 = EDGE_CURVE ('', #1560, #1690, #1730, .T.);
#1800 = ORIENTED_EDGE ('', *, *, #1790, .T.);
#1810 = CARTESIAN_POINT ('', (-15.56, -1.4725, -1.66));
#1820 = VERTEX_POINT ('', #1810);
#1830 = CARTESIAN_POINT ('', (-16.94, -1.4725, -1.66));
#1840 = DIRECTION ('', (1.38, 0., 0.));
#1850 = VECTOR ('', #1840, 1.38);
#1860 = LINE ('', #1830, #1850);
#1870 = COLOUR_RGB ('', 0., 0., 0.);
#1880 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#1890 = CURVE_STYLE ('', #1880, POSITIVE_LENGTH_MEASURE(1.E-6), #1870);
#1900 = PRESENTATION_STYLE_ASSIGNMENT ((#1890));
#1910 = STYLED_ITEM ('', (#1900), #1860);
#1920 = EDGE_CURVE ('', #1690, #1820, #1860, .T.);
#1930 = ORIENTED_EDGE ('', *, *, #1920, .T.);
#1940 = CARTESIAN_POINT ('', (-15.56, -1.4725, -1.66));
#1950 = DIRECTION ('', (0., -0.02512, -0.09375));
#1960 = VECTOR ('', #1950, 0.097057080627845);
#1970 = LINE ('', #1940, #1960);
#1980 = COLOUR_RGB ('', 0., 0., 0.);
#1990 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#2000 = CURVE_STYLE ('', #1990, POSITIVE_LENGTH_MEASURE(1.E-6), #1980);
#2010 = PRESENTATION_STYLE_ASSIGNMENT ((#2000));
#2020 = STYLED_ITEM ('', (#2010), #1970);
#2030 = EDGE_CURVE ('', #1820, #1540, #1970, .T.);
#2040 = ORIENTED_EDGE ('', *, *, #2030, .T.);
#2050 = EDGE_LOOP ('', (#1670, #1800, #1930, #2040));
#2060 = FACE_OUTER_BOUND ('', #2050, .T.);
#2070 = CARTESIAN_POINT ('', (-15.559, -1.47218322170577, -1.65881693460563));
#2080 = CARTESIAN_POINT ('', (-16.941, -1.47218322170577, -1.65881693460563));
#2090 = CARTESIAN_POINT ('', (-15.559, -1.49793698112357, -1.7549330110474));
#2100 = CARTESIAN_POINT ('', (-16.941, -1.49793698112357, -1.7549330110474));
#2110 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2070, #2080), (#2090, #2100)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.0995065639780119, 4.E-16), (0., 1.382), .UNSPECIFIED.);
#2120 = ADVANCED_FACE ('A PART', (#2060), #2110, .T.);
#2130 = CARTESIAN_POINT ('', (-15.56, -1.56625, -1.82238));
#2140 = VERTEX_POINT ('', #2130);
Dave Cooper's avatar
Dave Cooper committed
223
#2150 = CARTESIAN_POINT ('', (-16.94, -1.56625, -1.82238));
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
#2160 = VERTEX_POINT ('', #2150);
#2170 = CARTESIAN_POINT ('', (-15.56, -1.56625, -1.82238));
#2180 = DIRECTION ('', (-1.38, 0., 0.));
#2190 = VECTOR ('', #2180, 1.38);
#2200 = LINE ('', #2170, #2190);
#2210 = COLOUR_RGB ('', 0., 0., 0.);
#2220 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#2230 = CURVE_STYLE ('', #2220, POSITIVE_LENGTH_MEASURE(1.E-6), #2210);
#2240 = PRESENTATION_STYLE_ASSIGNMENT ((#2230));
#2250 = STYLED_ITEM ('', (#2240), #2200);
#2260 = EDGE_CURVE ('', #2140, #2160, #2200, .T.);
#2270 = ORIENTED_EDGE ('', *, *, #2260, .T.);
#2280 = CARTESIAN_POINT ('', (-16.94, -1.49762, -1.75375));
#2290 = DIRECTION ('', (0., -0.06863, -0.0686300000000002));
#2300 = VECTOR ('', #2290, 0.0970574767856656);
#2310 = LINE ('', #2280, #2300);
#2320 = COLOUR_RGB ('', 0., 0., 0.);
#2330 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#2340 = CURVE_STYLE ('', #2330, POSITIVE_LENGTH_MEASURE(1.E-6), #2320);
#2350 = PRESENTATION_STYLE_ASSIGNMENT ((#2340));
#2360 = STYLED_ITEM ('', (#2350), #2310);
#2370 = EDGE_CURVE ('', #1560, #2160, #2310, .T.);
#2380 = ORIENTED_EDGE ('', *, *, #2370, .F.);
#2390 = ORIENTED_EDGE ('', *, *, #1660, .F.);
#2400 = CARTESIAN_POINT ('', (-15.56, -1.56625, -1.82238));
#2410 = DIRECTION ('', (0., 0.06863, 0.0686300000000002));
#2420 = VECTOR ('', #2410, 0.0970574767856656);
Dave Cooper's avatar
Dave Cooper committed
251
#2430 = LINE ('', #2400, #2420);
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
#2440 = COLOUR_RGB ('', 0., 0., 0.);
#2450 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#2460 = CURVE_STYLE ('', #2450, POSITIVE_LENGTH_MEASURE(1.E-6), #2440);
#2470 = PRESENTATION_STYLE_ASSIGNMENT ((#2460));
#2480 = STYLED_ITEM ('', (#2470), #2430);
#2490 = EDGE_CURVE ('', #2140, #1540, #2430, .T.);
#2500 = ORIENTED_EDGE ('', *, *, #2490, .F.);
#2510 = EDGE_LOOP ('', (#2270, #2380, #2390, #2500));
#2520 = FACE_OUTER_BOUND ('', #2510, .T.);
#2530 = CARTESIAN_POINT ('', (-15.559, -1.49661805173805, -1.75275194837098));
#2540 = CARTESIAN_POINT ('', (-16.941, -1.49661805173805, -1.75275194837098));
#2550 = CARTESIAN_POINT ('', (-15.559, -1.56725002798021, -1.82337997201822));
#2560 = CARTESIAN_POINT ('', (-16.941, -1.56725002798021, -1.82337997201822));
#2570 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2530, #2540), (#2550, #2560)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.0998859038713094, 0.), (0., 1.382), .UNSPECIFIED.);
#2580 = ADVANCED_FACE ('A PART', (#2520), #2570, .T.);
#2590 = ORIENTED_EDGE ('', *, *, #1320, .T.);
#2600 = CARTESIAN_POINT ('', (-16.94, -1.8475, -1.66));
#2610 = VERTEX_POINT ('', #2600);
#2620 = CARTESIAN_POINT ('', (-16.94, -1.82238, -1.56625));
#2630 = DIRECTION ('', (0., -0.0251199999999998, -0.09375));
#2640 = VECTOR ('', #2630, 0.0970570806278449);
#2650 = LINE ('', #2620, #2640);
#2660 = COLOUR_RGB ('', 0., 0., 0.);
#2670 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#2680 = CURVE_STYLE ('', #2670, POSITIVE_LENGTH_MEASURE(1.E-6), #2660);
#2690 = PRESENTATION_STYLE_ASSIGNMENT ((#2680));
#2700 = STYLED_ITEM ('', (#2690), #2650);
#2710 = EDGE_CURVE ('', #1090, #2610, #2650, .T.);
#2720 = ORIENTED_EDGE ('', *, *, #2710, .T.);
#2730 = CARTESIAN_POINT ('', (-15.56, -1.8475, -1.66));
#2740 = VERTEX_POINT ('', #2730);
#2750 = CARTESIAN_POINT ('', (-16.94, -1.8475, -1.66));
#2760 = DIRECTION ('', (1.38, 0., 0.));
#2770 = VECTOR ('', #2760, 1.38);
#2780 = LINE ('', #2750, #2770);
#2790 = COLOUR_RGB ('', 0., 0., 0.);
#2800 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#2810 = CURVE_STYLE ('', #2800, POSITIVE_LENGTH_MEASURE(1.E-6), #2790);
#2820 = PRESENTATION_STYLE_ASSIGNMENT ((#2810));
#2830 = STYLED_ITEM ('', (#2820), #2780);
#2840 = EDGE_CURVE ('', #2610, #2740, #2780, .T.);
#2850 = ORIENTED_EDGE ('', *, *, #2840, .T.);
#2860 = CARTESIAN_POINT ('', (-15.56, -1.8475, -1.66));
#2870 = DIRECTION ('', (0., 0.0251199999999998, 0.09375));
#2880 = VECTOR ('', #2870, 0.0970570806278449);
#2890 = LINE ('', #2860, #2880);
#2900 = COLOUR_RGB ('', 0., 0., 0.);
#2910 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#2920 = CURVE_STYLE ('', #2910, POSITIVE_LENGTH_MEASURE(1.E-6), #2900);
#2930 = PRESENTATION_STYLE_ASSIGNMENT ((#2920));
#2940 = STYLED_ITEM ('', (#2930), #2890);
#2950 = EDGE_CURVE ('', #2740, #1220, #2890, .T.);
#2960 = ORIENTED_EDGE ('', *, *, #2950, .T.);
#2970 = EDGE_LOOP ('', (#2590, #2720, #2850, #2960));
#2980 = FACE_OUTER_BOUND ('', #2970, .T.);
#2990 = CARTESIAN_POINT ('', (-15.559, -1.84781677829423, -1.66118306539437));
#3000 = CARTESIAN_POINT ('', (-16.941, -1.84781677829423, -1.66118306539437));
#3010 = CARTESIAN_POINT ('', (-15.559, -1.82206301887643, -1.5650669889526));
#3020 = CARTESIAN_POINT ('', (-16.941, -1.82206301887643, -1.5650669889526));
#3030 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#2990, #3000), (#3010, #3020)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.0995065639780124, -2.E-16), (0., 1.382), .UNSPECIFIED.);
#3040 = ADVANCED_FACE ('A PART', (#2980), #3030, .T.);
#3050 = CARTESIAN_POINT ('', (-15.56, -1.66, -1.8475));
#3060 = VERTEX_POINT ('', #3050);
#3070 = CARTESIAN_POINT ('', (-16.94, -1.66, -1.8475));
#3080 = VERTEX_POINT ('', #3070);
#3090 = CARTESIAN_POINT ('', (-15.56, -1.66, -1.8475));
#3100 = DIRECTION ('', (-1.38, 0., 0.));
#3110 = VECTOR ('', #3100, 1.38);
#3120 = LINE ('', #3090, #3110);
#3130 = COLOUR_RGB ('', 0., 0., 0.);
#3140 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#3150 = CURVE_STYLE ('', #3140, POSITIVE_LENGTH_MEASURE(1.E-6), #3130);
#3160 = PRESENTATION_STYLE_ASSIGNMENT ((#3150));
#3170 = STYLED_ITEM ('', (#3160), #3120);
#3180 = EDGE_CURVE ('', #3060, #3080, #3120, .T.);
#3190 = ORIENTED_EDGE ('', *, *, #3180, .T.);
#3200 = CARTESIAN_POINT ('', (-16.94, -1.56625, -1.82238));
#3210 = DIRECTION ('', (0., -0.09375, -0.0251199999999998));
#3220 = VECTOR ('', #3210, 0.0970570806278449);
#3230 = LINE ('', #3200, #3220);
#3240 = COLOUR_RGB ('', 0., 0., 0.);
#3250 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#3260 = CURVE_STYLE ('', #3250, POSITIVE_LENGTH_MEASURE(1.E-6), #3240);
#3270 = PRESENTATION_STYLE_ASSIGNMENT ((#3260));
#3280 = STYLED_ITEM ('', (#3270), #3230);
#3290 = EDGE_CURVE ('', #2160, #3080, #3230, .T.);
#3300 = ORIENTED_EDGE ('', *, *, #3290, .F.);
#3310 = ORIENTED_EDGE ('', *, *, #2260, .F.);
#3320 = CARTESIAN_POINT ('', (-15.56, -1.66, -1.8475));
#3330 = DIRECTION ('', (0., 0.09375, 0.0251199999999998));
#3340 = VECTOR ('', #3330, 0.0970570806278449);
#3350 = LINE ('', #3320, #3340);
#3360 = COLOUR_RGB ('', 0., 0., 0.);
#3370 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#3380 = CURVE_STYLE ('', #3370, POSITIVE_LENGTH_MEASURE(1.E-6), #3360);
#3390 = PRESENTATION_STYLE_ASSIGNMENT ((#3380));
#3400 = STYLED_ITEM ('', (#3390), #3350);
#3410 = EDGE_CURVE ('', #3060, #2140, #3350, .T.);
#3420 = ORIENTED_EDGE ('', *, *, #3410, .F.);
#3430 = EDGE_LOOP ('', (#3190, #3300, #3310, #3420));
#3440 = FACE_OUTER_BOUND ('', #3430, .T.);
#3450 = CARTESIAN_POINT ('', (-15.559, -1.56506788086687, -1.82205958624451));
#3460 = CARTESIAN_POINT ('', (-16.941, -1.56506788086687, -1.82205958624451));
#3470 = CARTESIAN_POINT ('', (-15.559, -1.66118302503598, -1.84781703333575));
#3480 = CARTESIAN_POINT ('', (-16.941, -1.66118302503598, -1.84781703333575));
#3490 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3450, #3460), (#3470, #3480)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.0995066179673822, 0.), (0., 1.382), .UNSPECIFIED.);
#3500 = ADVANCED_FACE ('A PART', (#3440), #3490, .T.);
#3510 = CARTESIAN_POINT ('', (-15.56, -1.75375, -1.82238));
#3520 = VERTEX_POINT ('', #3510);
#3530 = CARTESIAN_POINT ('', (-16.94, -1.75375, -1.82238));
#3540 = VERTEX_POINT ('', #3530);
#3550 = CARTESIAN_POINT ('', (-15.56, -1.75375, -1.82238));
#3560 = DIRECTION ('', (-1.38, 0., 0.));
#3570 = VECTOR ('', #3560, 1.38);
#3580 = LINE ('', #3550, #3570);
#3590 = COLOUR_RGB ('', 0., 0., 0.);
#3600 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#3610 = CURVE_STYLE ('', #3600, POSITIVE_LENGTH_MEASURE(1.E-6), #3590);
#3620 = PRESENTATION_STYLE_ASSIGNMENT ((#3610));
#3630 = STYLED_ITEM ('', (#3620), #3580);
#3640 = EDGE_CURVE ('', #3520, #3540, #3580, .T.);
#3650 = ORIENTED_EDGE ('', *, *, #3640, .T.);
#3660 = CARTESIAN_POINT ('', (-16.94, -1.75375, -1.82238));
#3670 = DIRECTION ('', (0., 0.0937490940971526, -0.0251233804197468));
#3680 = VECTOR ('', #3670, 0.0970570805647485);
#3690 = LINE ('', #3660, #3680);
#3700 = COLOUR_RGB ('', 0., 0., 0.);
#3710 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#3720 = CURVE_STYLE ('', #3710, POSITIVE_LENGTH_MEASURE(1.E-6), #3700);
#3730 = PRESENTATION_STYLE_ASSIGNMENT ((#3720));
#3740 = STYLED_ITEM ('', (#3730), #3690);
#3750 = EDGE_CURVE ('', #3540, #3080, #3690, .T.);
#3760 = ORIENTED_EDGE ('', *, *, #3750, .T.);
#3770 = ORIENTED_EDGE ('', *, *, #3180, .F.);
#3780 = CARTESIAN_POINT ('', (-15.56, -1.66000090590285, -1.84750338041975));
#3790 = DIRECTION ('', (0., -0.0937490940971526, 0.0251233804197468));
#3800 = VECTOR ('', #3790, 0.0970570805647485);
#3810 = LINE ('', #3780, #3800);
#3820 = COLOUR_RGB ('', 0., 0., 0.);
#3830 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#3840 = CURVE_STYLE ('', #3830, POSITIVE_LENGTH_MEASURE(1.E-6), #3820);
#3850 = PRESENTATION_STYLE_ASSIGNMENT ((#3840));
#3860 = STYLED_ITEM ('', (#3850), #3810);
#3870 = EDGE_CURVE ('', #3060, #3520, #3810, .T.);
#3880 = ORIENTED_EDGE ('', *, *, #3870, .T.);
#3890 = EDGE_LOOP ('', (#3650, #3760, #3770, #3880));
#3900 = FACE_OUTER_BOUND ('', #3890, .T.);
#3910 = CARTESIAN_POINT ('', (-15.559, -1.65881788086687, -1.84782041375549));
#3920 = CARTESIAN_POINT ('', (-16.941, -1.65881788086687, -1.84782041375549));
#3930 = CARTESIAN_POINT ('', (-15.559, -1.75493302503598, -1.82206296666425));
#3940 = CARTESIAN_POINT ('', (-16.941, -1.75493302503598, -1.82206296666425));
#3950 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#3910, #3920), (#3930, #3940)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.0995066179673818, 2.E-16), (0., 1.382), .UNSPECIFIED.);
#3960 = ADVANCED_FACE ('A PART', (#3900), #3950, .T.);
#3970 = ORIENTED_EDGE ('', *, *, #2840, .F.);
#3980 = CARTESIAN_POINT ('', (-16.94, -1.82238, -1.75375));
#3990 = VERTEX_POINT ('', #3980);
#4000 = CARTESIAN_POINT ('', (-16.94, -1.8475, -1.66));
#4010 = DIRECTION ('', (0., 0.0251199999999998, -0.09375));
#4020 = VECTOR ('', #4010, 0.0970570806278449);
#4030 = LINE ('', #4000, #4020);
#4040 = COLOUR_RGB ('', 0., 0., 0.);
#4050 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#4060 = CURVE_STYLE ('', #4050, POSITIVE_LENGTH_MEASURE(1.E-6), #4040);
#4070 = PRESENTATION_STYLE_ASSIGNMENT ((#4060));
#4080 = STYLED_ITEM ('', (#4070), #4030);
#4090 = EDGE_CURVE ('', #2610, #3990, #4030, .T.);
#4100 = ORIENTED_EDGE ('', *, *, #4090, .T.);
#4110 = CARTESIAN_POINT ('', (-15.56, -1.82238, -1.75375));
#4120 = VERTEX_POINT ('', #4110);
#4130 = CARTESIAN_POINT ('', (-16.94, -1.82238, -1.75375));
#4140 = DIRECTION ('', (1.38, 0., 0.));
#4150 = VECTOR ('', #4140, 1.38);
#4160 = LINE ('', #4130, #4150);
#4170 = COLOUR_RGB ('', 0., 0., 0.);
#4180 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#4190 = CURVE_STYLE ('', #4180, POSITIVE_LENGTH_MEASURE(1.E-6), #4170);
#4200 = PRESENTATION_STYLE_ASSIGNMENT ((#4190));
#4210 = STYLED_ITEM ('', (#4200), #4160);
#4220 = EDGE_CURVE ('', #3990, #4120, #4160, .T.);
#4230 = ORIENTED_EDGE ('', *, *, #4220, .T.);
#4240 = CARTESIAN_POINT ('', (-15.56, -1.82238, -1.75375));
#4250 = DIRECTION ('', (0., -0.0251199999999998, 0.09375));
#4260 = VECTOR ('', #4250, 0.0970570806278449);
#4270 = LINE ('', #4240, #4260);
#4280 = COLOUR_RGB ('', 0., 0., 0.);
#4290 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#4300 = CURVE_STYLE ('', #4290, POSITIVE_LENGTH_MEASURE(1.E-6), #4280);
#4310 = PRESENTATION_STYLE_ASSIGNMENT ((#4300));
#4320 = STYLED_ITEM ('', (#4310), #4270);
#4330 = EDGE_CURVE ('', #4120, #2740, #4270, .T.);
#4340 = ORIENTED_EDGE ('', *, *, #4330, .T.);
#4350 = EDGE_LOOP ('', (#3970, #4100, #4230, #4340));
#4360 = FACE_OUTER_BOUND ('', #4350, .T.);
#4370 = CARTESIAN_POINT ('', (-15.559, -1.82206322170577, -1.75493306539437));
#4380 = CARTESIAN_POINT ('', (-16.941, -1.82206322170577, -1.75493306539437));
#4390 = CARTESIAN_POINT ('', (-15.559, -1.84781698112357, -1.6588169889526));
#4400 = CARTESIAN_POINT ('', (-16.941, -1.84781698112357, -1.6588169889526));
#4410 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4370, #4380), (#4390, #4400)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.0995065639780122, 0.), (0., 1.382), .UNSPECIFIED.);
#4420 = ADVANCED_FACE ('A PART', (#4360), #4410, .T.);
#4430 = ORIENTED_EDGE ('', *, *, #4220, .F.);
#4440 = CARTESIAN_POINT ('', (-16.94, -1.75375, -1.82238));
#4450 = DIRECTION ('', (0., -0.0686300000000002, 0.0686300000000002));
#4460 = VECTOR ('', #4450, 0.0970574767856658);
#4470 = LINE ('', #4440, #4460);
#4480 = COLOUR_RGB ('', 0., 0., 0.);
#4490 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#4500 = CURVE_STYLE ('', #4490, POSITIVE_LENGTH_MEASURE(1.E-6), #4480);
#4510 = PRESENTATION_STYLE_ASSIGNMENT ((#4500));
#4520 = STYLED_ITEM ('', (#4510), #4470);
#4530 = EDGE_CURVE ('', #3540, #3990, #4470, .T.);
Dave Cooper's avatar
Dave Cooper committed
462
#4540 = ORIENTED_EDGE ('', *, *, #4530, .F.);
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
#4550 = ORIENTED_EDGE ('', *, *, #3640, .F.);
#4560 = CARTESIAN_POINT ('', (-15.56, -1.82238, -1.75375));
#4570 = DIRECTION ('', (0., 0.0686300000000002, -0.0686300000000002));
#4580 = VECTOR ('', #4570, 0.0970574767856658);
#4590 = LINE ('', #4560, #4580);
#4600 = COLOUR_RGB ('', 0., 0., 0.);
#4610 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#4620 = CURVE_STYLE ('', #4610, POSITIVE_LENGTH_MEASURE(1.E-6), #4600);
#4630 = PRESENTATION_STYLE_ASSIGNMENT ((#4620));
#4640 = STYLED_ITEM ('', (#4630), #4590);
#4650 = EDGE_CURVE ('', #4120, #3520, #4590, .T.);
#4660 = ORIENTED_EDGE ('', *, *, #4650, .F.);
#4670 = EDGE_LOOP ('', (#4430, #4540, #4550, #4660));
#4680 = FACE_OUTER_BOUND ('', #4670, .T.);
#4690 = CARTESIAN_POINT ('', (-15.559, -1.75274805173805, -1.82337805162902));
#4700 = CARTESIAN_POINT ('', (-16.941, -1.75274805173805, -1.82337805162902));
#4710 = CARTESIAN_POINT ('', (-15.559, -1.82338002798021, -1.75275002798177));
#4720 = CARTESIAN_POINT ('', (-16.941, -1.82338002798021, -1.75275002798177));
#4730 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#4690, #4700), (#4710, #4720)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.0998859038713094, 0.), (0., 1.382), .UNSPECIFIED.);
#4740 = ADVANCED_FACE ('A PART', (#4680), #4730, .T.);
#4750 = ORIENTED_EDGE ('', *, *, #3750, .F.);
#4760 = ORIENTED_EDGE ('', *, *, #4530, .T.);
#4770 = ORIENTED_EDGE ('', *, *, #4090, .F.);
#4780 = ORIENTED_EDGE ('', *, *, #2710, .F.);
#4790 = ORIENTED_EDGE ('', *, *, #1190, .T.);
#4800 = ORIENTED_EDGE ('', *, *, #730, .T.);
#4810 = ORIENTED_EDGE ('', *, *, #270, .T.);
#4820 = CARTESIAN_POINT ('', (-16.94, -1.49762, -1.56625));
#4830 = VERTEX_POINT ('', #4820);
#4840 = CARTESIAN_POINT ('', (-16.94, -1.56625, -1.49762));
#4850 = DIRECTION ('', (0., 0.06863, -0.06863));
#4860 = VECTOR ('', #4850, 0.0970574767856655);
#4870 = LINE ('', #4840, #4860);
#4880 = COLOUR_RGB ('', 0., 0., 0.);
#4890 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#4900 = CURVE_STYLE ('', #4890, POSITIVE_LENGTH_MEASURE(1.E-6), #4880);
#4910 = PRESENTATION_STYLE_ASSIGNMENT ((#4900));
#4920 = STYLED_ITEM ('', (#4910), #4870);
#4930 = EDGE_CURVE ('', #40, #4830, #4870, .T.);
#4940 = ORIENTED_EDGE ('', *, *, #4930, .T.);
#4950 = CARTESIAN_POINT ('', (-16.94, -1.4725, -1.66));
#4960 = DIRECTION ('', (0., -0.02512, 0.09375));
#4970 = VECTOR ('', #4960, 0.097057080627845);
#4980 = LINE ('', #4950, #4970);
#4990 = COLOUR_RGB ('', 0., 0., 0.);
#5000 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#5010 = CURVE_STYLE ('', #5000, POSITIVE_LENGTH_MEASURE(1.E-6), #4990);
#5020 = PRESENTATION_STYLE_ASSIGNMENT ((#5010));
#5030 = STYLED_ITEM ('', (#5020), #4980);
#5040 = EDGE_CURVE ('', #1690, #4830, #4980, .T.);
#5050 = ORIENTED_EDGE ('', *, *, #5040, .F.);
#5060 = ORIENTED_EDGE ('', *, *, #1790, .F.);
#5070 = ORIENTED_EDGE ('', *, *, #2370, .T.);
#5080 = ORIENTED_EDGE ('', *, *, #3290, .T.);
#5090 = EDGE_LOOP ('', (#4750, #4760, #4770, #4780, #4790, #4800, #4810, #4940, #5050, #5060, #5070, #5080));
#5100 = FACE_OUTER_BOUND ('', #5090, .T.);
#5110 = CARTESIAN_POINT ('', (-16.94, -1.4715, -1.4715));
#5120 = CARTESIAN_POINT ('', (-16.94, -1.8485, -1.4715));
#5130 = CARTESIAN_POINT ('', (-16.94, -1.4715, -1.8485));
#5140 = CARTESIAN_POINT ('', (-16.94, -1.8485, -1.8485));
#5150 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5110, #5120), (#5130, #5140)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.471260927728726, -0.0942609277287265), (-0.0252605210014445, 0.351739478998555), .UNSPECIFIED.);
#5160 = ADVANCED_FACE ('A PART', (#5100), #5150, .T.);
#5170 = ORIENTED_EDGE ('', *, *, #1920, .F.);
#5180 = ORIENTED_EDGE ('', *, *, #5040, .T.);
#5190 = CARTESIAN_POINT ('', (-15.56, -1.49762, -1.56625));
#5200 = VERTEX_POINT ('', #5190);
#5210 = CARTESIAN_POINT ('', (-16.94, -1.49762, -1.56625));
#5220 = DIRECTION ('', (1.38, 0., 0.));
#5230 = VECTOR ('', #5220, 1.38);
#5240 = LINE ('', #5210, #5230);
#5250 = COLOUR_RGB ('', 0., 0., 0.);
#5260 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#5270 = CURVE_STYLE ('', #5260, POSITIVE_LENGTH_MEASURE(1.E-6), #5250);
#5280 = PRESENTATION_STYLE_ASSIGNMENT ((#5270));
#5290 = STYLED_ITEM ('', (#5280), #5240);
#5300 = EDGE_CURVE ('', #4830, #5200, #5240, .T.);
#5310 = ORIENTED_EDGE ('', *, *, #5300, .T.);
#5320 = CARTESIAN_POINT ('', (-15.56, -1.49762, -1.56625));
#5330 = DIRECTION ('', (0., 0.02512, -0.09375));
#5340 = VECTOR ('', #5330, 0.097057080627845);
#5350 = LINE ('', #5320, #5340);
#5360 = COLOUR_RGB ('', 0., 0., 0.);
#5370 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#5380 = CURVE_STYLE ('', #5370, POSITIVE_LENGTH_MEASURE(1.E-6), #5360);
#5390 = PRESENTATION_STYLE_ASSIGNMENT ((#5380));
#5400 = STYLED_ITEM ('', (#5390), #5350);
#5410 = EDGE_CURVE ('', #5200, #1820, #5350, .T.);
Dave Cooper's avatar
Dave Cooper committed
550
#5420 = ORIENTED_EDGE ('', *, *, #5410, .T.);
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
#5430 = EDGE_LOOP ('', (#5170, #5180, #5310, #5420));
#5440 = FACE_OUTER_BOUND ('', #5430, .T.);
#5450 = CARTESIAN_POINT ('', (-15.559, -1.49793677829423, -1.56506693460563));
#5460 = CARTESIAN_POINT ('', (-16.941, -1.49793677829423, -1.56506693460563));
#5470 = CARTESIAN_POINT ('', (-15.559, -1.47218301887643, -1.6611830110474));
#5480 = CARTESIAN_POINT ('', (-16.941, -1.47218301887643, -1.6611830110474));
#5490 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5450, #5460), (#5470, #5480)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.0995065639780124, -2.E-16), (0., 1.382), .UNSPECIFIED.);
#5500 = ADVANCED_FACE ('A PART', (#5440), #5490, .T.);
#5510 = ORIENTED_EDGE ('', *, *, #5300, .F.);
#5520 = ORIENTED_EDGE ('', *, *, #4930, .F.);
#5530 = ORIENTED_EDGE ('', *, *, #140, .F.);
#5540 = CARTESIAN_POINT ('', (-15.56, -1.49762, -1.56625));
#5550 = DIRECTION ('', (0., -0.06863, 0.06863));
#5560 = VECTOR ('', #5550, 0.0970574767856655);
#5570 = LINE ('', #5540, #5560);
#5580 = COLOUR_RGB ('', 0., 0., 0.);
#5590 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#5600 = CURVE_STYLE ('', #5590, POSITIVE_LENGTH_MEASURE(1.E-6), #5580);
#5610 = PRESENTATION_STYLE_ASSIGNMENT ((#5600));
#5620 = STYLED_ITEM ('', (#5610), #5570);
#5630 = EDGE_CURVE ('', #5200, #20, #5570, .T.);
#5640 = ORIENTED_EDGE ('', *, *, #5630, .F.);
#5650 = EDGE_LOOP ('', (#5510, #5520, #5530, #5640));
#5660 = FACE_OUTER_BOUND ('', #5650, .T.);
#5670 = CARTESIAN_POINT ('', (-15.559, -1.56724808849771, -1.49661808860265));
#5680 = CARTESIAN_POINT ('', (-16.941, -1.56724808849771, -1.49661808860265));
#5690 = CARTESIAN_POINT ('', (-15.559, -1.49662002745228, -1.56725002745077));
#5700 = CARTESIAN_POINT ('', (-16.941, -1.49662002745228, -1.56725002745077));
#5710 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5670, #5680), (#5690, #5700)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.0998859038727749, 2.E-16), (0., 1.382), .UNSPECIFIED.);
#5720 = ADVANCED_FACE ('A PART', (#5660), #5710, .T.);
#5730 = ORIENTED_EDGE ('', *, *, #3410, .T.);
#5740 = ORIENTED_EDGE ('', *, *, #2490, .T.);
#5750 = ORIENTED_EDGE ('', *, *, #2030, .F.);
#5760 = ORIENTED_EDGE ('', *, *, #5410, .F.);
#5770 = ORIENTED_EDGE ('', *, *, #5630, .T.);
#5780 = ORIENTED_EDGE ('', *, *, #510, .T.);
#5790 = ORIENTED_EDGE ('', *, *, #970, .T.);
#5800 = ORIENTED_EDGE ('', *, *, #1430, .T.);
#5810 = ORIENTED_EDGE ('', *, *, #2950, .F.);
#5820 = ORIENTED_EDGE ('', *, *, #4330, .F.);
#5830 = ORIENTED_EDGE ('', *, *, #4650, .T.);
#5840 = ORIENTED_EDGE ('', *, *, #3870, .F.);
#5850 = EDGE_LOOP ('', (#5730, #5740, #5750, #5760, #5770, #5780, #5790, #5800, #5810, #5820, #5830, #5840));
#5860 = FACE_OUTER_BOUND ('', #5850, .T.);
#5870 = CARTESIAN_POINT ('', (-15.56, -1.4715, -1.8485));
#5880 = CARTESIAN_POINT ('', (-15.56, -1.8485, -1.8485));
#5890 = CARTESIAN_POINT ('', (-15.56, -1.4715, -1.4715));
#5900 = CARTESIAN_POINT ('', (-15.56, -1.8485, -1.4715));
#5910 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#5870, #5880), (#5890, #5900)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (0.0942609277287263, 0.471260927728726), (-0.351739478998555, 0.0252605210014445), .UNSPECIFIED.);
#5920 = ADVANCED_FACE ('A PART', (#5860), #5910, .T.);
#5930 = CLOSED_SHELL ('', (#600, #1060, #1520, #2120, #2580, #3040, #3500, #3960, #4420, #4740, #5160, #5500, #5720, #5920));
#5940 = MANIFOLD_SOLID_BREP ('', #5930);
#5950 = COLOUR_RGB ('', 0., 0., 0.);
#5960 = FILL_AREA_STYLE_COLOUR ('', #5950);
#5970 = FILL_AREA_STYLE ('', (#5960));
#5980 = SURFACE_STYLE_FILL_AREA (#5970);
#5990 = SURFACE_SIDE_STYLE ('', (#5980));
#6000 = SURFACE_STYLE_USAGE (.POSITIVE., #5990);
#6010 = PRESENTATION_STYLE_ASSIGNMENT ((#6000));
#6020 = STYLED_ITEM ('', (#6010), #5940);
#6030 = CARTESIAN_POINT ('', (-15.56, -1.56625, 1.82238));
#6040 = VERTEX_POINT ('', #6030);
#6050 = CARTESIAN_POINT ('', (-16.94, -1.56625, 1.82238));
Dave Cooper's avatar
Dave Cooper committed
614
#6060 = VERTEX_POINT ('', #6050);
615
616
#6070 = CARTESIAN_POINT ('', (-15.56, -1.56625, 1.82238));
#6080 = DIRECTION ('', (-1.38, 0., 0.));
Dave Cooper's avatar
Dave Cooper committed
617
618
#6090 = VECTOR ('', #6080, 1.38);
#6100 = LINE ('', #6070, #6090);
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
#6110 = COLOUR_RGB ('', 0., 0., 0.);
#6120 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#6130 = CURVE_STYLE ('', #6120, POSITIVE_LENGTH_MEASURE(1.E-6), #6110);
#6140 = PRESENTATION_STYLE_ASSIGNMENT ((#6130));
#6150 = STYLED_ITEM ('', (#6140), #6100);
#6160 = EDGE_CURVE ('', #6040, #6060, #6100, .T.);
#6170 = ORIENTED_EDGE ('', *, *, #6160, .T.);
#6180 = CARTESIAN_POINT ('', (-16.94, -1.66, 1.8475));
#6190 = VERTEX_POINT ('', #6180);
#6200 = CARTESIAN_POINT ('', (-16.94, -1.66, 1.8475));
#6210 = DIRECTION ('', (0., 0.09375, -0.0251199999999998));
#6220 = VECTOR ('', #6210, 0.0970570806278449);
#6230 = LINE ('', #6200, #6220);
#6240 = COLOUR_RGB ('', 0., 0., 0.);
#6250 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#6260 = CURVE_STYLE ('', #6250, POSITIVE_LENGTH_MEASURE(1.E-6), #6240);
#6270 = PRESENTATION_STYLE_ASSIGNMENT ((#6260));
#6280 = STYLED_ITEM ('', (#6270), #6230);
#6290 = EDGE_CURVE ('', #6190, #6060, #6230, .T.);
#6300 = ORIENTED_EDGE ('', *, *, #6290, .F.);
#6310 = CARTESIAN_POINT ('', (-15.56, -1.66, 1.8475));
#6320 = VERTEX_POINT ('', #6310);
#6330 = CARTESIAN_POINT ('', (-15.56, -1.66, 1.8475));
#6340 = DIRECTION ('', (-1.38, 0., 0.));
#6350 = VECTOR ('', #6340, 1.38);
#6360 = LINE ('', #6330, #6350);
#6370 = COLOUR_RGB ('', 0., 0., 0.);
#6380 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#6390 = CURVE_STYLE ('', #6380, POSITIVE_LENGTH_MEASURE(1.E-6), #6370);
#6400 = PRESENTATION_STYLE_ASSIGNMENT ((#6390));
#6410 = STYLED_ITEM ('', (#6400), #6360);
#6420 = EDGE_CURVE ('', #6320, #6190, #6360, .T.);
#6430 = ORIENTED_EDGE ('', *, *, #6420, .F.);
#6440 = CARTESIAN_POINT ('', (-15.56, -1.56625, 1.82238));
#6450 = DIRECTION ('', (0., -0.09375, 0.0251199999999998));
#6460 = VECTOR ('', #6450, 0.0970570806278449);
Dave Cooper's avatar
Dave Cooper committed
655
#6470 = LINE ('', #6440, #6460);
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
#6480 = COLOUR_RGB ('', 0., 0., 0.);
#6490 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#6500 = CURVE_STYLE ('', #6490, POSITIVE_LENGTH_MEASURE(1.E-6), #6480);
#6510 = PRESENTATION_STYLE_ASSIGNMENT ((#6500));
#6520 = STYLED_ITEM ('', (#6510), #6470);
#6530 = EDGE_CURVE ('', #6040, #6320, #6470, .T.);
#6540 = ORIENTED_EDGE ('', *, *, #6530, .F.);
#6550 = EDGE_LOOP ('', (#6170, #6300, #6430, #6540));
#6560 = FACE_OUTER_BOUND ('', #6550, .T.);
#6570 = CARTESIAN_POINT ('', (-15.559, -1.66118399355037, 1.8478132112839));
#6580 = CARTESIAN_POINT ('', (-16.941, -1.66118399355037, 1.8478132112839));
#6590 = CARTESIAN_POINT ('', (-15.559, -1.5650670026814, 1.82206307010348));
#6600 = CARTESIAN_POINT ('', (-16.941, -1.5650670026814, 1.82206307010348));
#6610 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#6570, #6580), (#6590, #6600)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.0995065108649502, 0.), (0., 1.382), .UNSPECIFIED.);
#6620 = ADVANCED_FACE ('A PART', (#6560), #6610, .T.);
#6630 = ORIENTED_EDGE ('', *, *, #6420, .T.);
#6640 = CARTESIAN_POINT ('', (-16.94, -1.75375, 1.82238));
#6650 = VERTEX_POINT ('', #6640);
#6660 = CARTESIAN_POINT ('', (-16.94, -1.75375, 1.82238));
#6670 = DIRECTION ('', (0., 0.09375, 0.0251199999999998));
#6680 = VECTOR ('', #6670, 0.0970570806278449);
#6690 = LINE ('', #6660, #6680);
#6700 = COLOUR_RGB ('', 0., 0., 0.);
#6710 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#6720 = CURVE_STYLE ('', #6710, POSITIVE_LENGTH_MEASURE(1.E-6), #6700);
#6730 = PRESENTATION_STYLE_ASSIGNMENT ((#6720));
#6740 = STYLED_ITEM ('', (#6730), #6690);
#6750 = EDGE_CURVE ('', #6650, #6190, #6690, .T.);
#6760 = ORIENTED_EDGE ('', *, *, #6750, .F.);
#6770 = CARTESIAN_POINT ('', (-15.56, -1.75375, 1.82238));
#6780 = VERTEX_POINT ('', #6770);
#6790 = CARTESIAN_POINT ('', (-15.56, -1.75375, 1.82238));
#6800 = DIRECTION ('', (-1.38, 0., 0.));
#6810 = VECTOR ('', #6800, 1.38);
#6820 = LINE ('', #6790, #6810);
#6830 = COLOUR_RGB ('', 0., 0., 0.);
#6840 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#6850 = CURVE_STYLE ('', #6840, POSITIVE_LENGTH_MEASURE(1.E-6), #6830);
#6860 = PRESENTATION_STYLE_ASSIGNMENT ((#6850));
#6870 = STYLED_ITEM ('', (#6860), #6820);
#6880 = EDGE_CURVE ('', #6780, #6650, #6820, .T.);
#6890 = ORIENTED_EDGE ('', *, *, #6880, .F.);
#6900 = CARTESIAN_POINT ('', (-15.56, -1.66, 1.8475));
#6910 = DIRECTION ('', (0., -0.09375, -0.0251199999999998));
#6920 = VECTOR ('', #6910, 0.0970570806278449);
#6930 = LINE ('', #6900, #6920);
#6940 = COLOUR_RGB ('', 0., 0., 0.);
#6950 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#6960 = CURVE_STYLE ('', #6950, POSITIVE_LENGTH_MEASURE(1.E-6), #6940);
#6970 = PRESENTATION_STYLE_ASSIGNMENT ((#6960));
#6980 = STYLED_ITEM ('', (#6970), #6930);
#6990 = EDGE_CURVE ('', #6320, #6780, #6930, .T.);
#7000 = ORIENTED_EDGE ('', *, *, #6990, .F.);
#7010 = EDGE_LOOP ('', (#6630, #6760, #6890, #7000));
#7020 = FACE_OUTER_BOUND ('', #7010, .T.);
#7030 = CARTESIAN_POINT ('', (-15.559, -1.75493399355037, 1.8220667887161));
#7040 = CARTESIAN_POINT ('', (-16.941, -1.75493399355037, 1.8220667887161));
#7050 = CARTESIAN_POINT ('', (-15.559, -1.6588170026814, 1.84781692989652));
#7060 = CARTESIAN_POINT ('', (-16.941, -1.6588170026814, 1.84781692989652));
#7070 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7030, #7040), (#7050, #7060)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.0995065108649502, 0.), (0., 1.382), .UNSPECIFIED.);
#7080 = ADVANCED_FACE ('A PART', (#7020), #7070, .T.);
#7090 = ORIENTED_EDGE ('', *, *, #6880, .T.);
#7100 = CARTESIAN_POINT ('', (-16.94, -1.82238, 1.75375));
#7110 = VERTEX_POINT ('', #7100);
#7120 = CARTESIAN_POINT ('', (-16.94, -1.82238, 1.75375));
#7130 = DIRECTION ('', (0., 0.0686300000000002, 0.0686300000000002));
#7140 = VECTOR ('', #7130, 0.0970574767856658);
#7150 = LINE ('', #7120, #7140);
#7160 = COLOUR_RGB ('', 0., 0., 0.);
#7170 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#7180 = CURVE_STYLE ('', #7170, POSITIVE_LENGTH_MEASURE(1.E-6), #7160);
#7190 = PRESENTATION_STYLE_ASSIGNMENT ((#7180));
#7200 = STYLED_ITEM ('', (#7190), #7150);
#7210 = EDGE_CURVE ('', #7110, #6650, #7150, .T.);
#7220 = ORIENTED_EDGE ('', *, *, #7210, .F.);
#7230 = CARTESIAN_POINT ('', (-15.56, -1.82238, 1.75375));
#7240 = VERTEX_POINT ('', #7230);
#7250 = CARTESIAN_POINT ('', (-15.56, -1.82238, 1.75375));
#7260 = DIRECTION ('', (-1.38, 0., 0.));
#7270 = VECTOR ('', #7260, 1.38);
#7280 = LINE ('', #7250, #7270);
#7290 = COLOUR_RGB ('', 0., 0., 0.);
#7300 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#7310 = CURVE_STYLE ('', #7300, POSITIVE_LENGTH_MEASURE(1.E-6), #7290);
#7320 = PRESENTATION_STYLE_ASSIGNMENT ((#7310));
#7330 = STYLED_ITEM ('', (#7320), #7280);
#7340 = EDGE_CURVE ('', #7240, #7110, #7280, .T.);
#7350 = ORIENTED_EDGE ('', *, *, #7340, .F.);
#7360 = CARTESIAN_POINT ('', (-15.56, -1.75375, 1.82238));
#7370 = DIRECTION ('', (0., -0.0686300000000002, -0.0686300000000002));
#7380 = VECTOR ('', #7370, 0.0970574767856658);
#7390 = LINE ('', #7360, #7380);
#7400 = COLOUR_RGB ('', 0., 0., 0.);
#7410 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#7420 = CURVE_STYLE ('', #7410, POSITIVE_LENGTH_MEASURE(1.E-6), #7400);
#7430 = PRESENTATION_STYLE_ASSIGNMENT ((#7420));
#7440 = STYLED_ITEM ('', (#7430), #7390);
#7450 = EDGE_CURVE ('', #6780, #7240, #7390, .T.);
#7460 = ORIENTED_EDGE ('', *, *, #7450, .F.);
#7470 = EDGE_LOOP ('', (#7090, #7220, #7350, #7460));
#7480 = FACE_OUTER_BOUND ('', #7470, .T.);
#7490 = CARTESIAN_POINT ('', (-15.559, -1.82337808849771, 1.75274808860265));
#7500 = CARTESIAN_POINT ('', (-16.941, -1.82337808849771, 1.75274808860265));
#7510 = CARTESIAN_POINT ('', (-15.559, -1.75275002745228, 1.82338002745077));
#7520 = CARTESIAN_POINT ('', (-16.941, -1.75275002745228, 1.82338002745077));
#7530 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#7490, #7500), (#7510, #7520)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.0998859038727755, 0.), (0., 1.382), .UNSPECIFIED.);
#7540 = ADVANCED_FACE ('A PART', (#7480), #7530, .T.);
#7550 = CARTESIAN_POINT ('', (-15.56, -1.49762, 1.56625));
#7560 = VERTEX_POINT ('', #7550);
#7570 = CARTESIAN_POINT ('', (-16.94, -1.49762, 1.56625));
#7580 = VERTEX_POINT ('', #7570);
#7590 = CARTESIAN_POINT ('', (-15.56, -1.49762, 1.56625));
#7600 = DIRECTION ('', (-1.38, 0., 0.));
#7610 = VECTOR ('', #7600, 1.38);
#7620 = LINE ('', #7590, #7610);
#7630 = COLOUR_RGB ('', 0., 0., 0.);
#7640 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#7650 = CURVE_STYLE ('', #7640, POSITIVE_LENGTH_MEASURE(1.E-6), #7630);
#7660 = PRESENTATION_STYLE_ASSIGNMENT ((#7650));
#7670 = STYLED_ITEM ('', (#7660), #7620);
#7680 = EDGE_CURVE ('', #7560, #7580, #7620, .T.);
#7690 = ORIENTED_EDGE ('', *, *, #7680, .T.);
#7700 = CARTESIAN_POINT ('', (-16.94, -1.4725, 1.66));
#7710 = VERTEX_POINT ('', #7700);
#7720 = CARTESIAN_POINT ('', (-16.94, -1.49762, 1.56625));
#7730 = DIRECTION ('', (0., 0.02512, 0.09375));
#7740 = VECTOR ('', #7730, 0.097057080627845);
#7750 = LINE ('', #7720, #7740);
#7760 = COLOUR_RGB ('', 0., 0., 0.);
#7770 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#7780 = CURVE_STYLE ('', #7770, POSITIVE_LENGTH_MEASURE(1.E-6), #7760);
#7790 = PRESENTATION_STYLE_ASSIGNMENT ((#7780));
#7800 = STYLED_ITEM ('', (#7790), #7750);
#7810 = EDGE_CURVE ('', #7580, #7710, #7750, .T.);
#7820 = ORIENTED_EDGE ('', *, *, #7810, .T.);
#7830 = CARTESIAN_POINT ('', (-15.56, -1.4725, 1.66));
#7840 = VERTEX_POINT ('', #7830);
#7850 = CARTESIAN_POINT ('', (-16.94, -1.4725, 1.66));
#7860 = DIRECTION ('', (1.38, 0., 0.));
#7870 = VECTOR ('', #7860, 1.38);
#7880 = LINE ('', #7850, #7870);
#7890 = COLOUR_RGB ('', 0., 0., 0.);
#7900 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#7910 = CURVE_STYLE ('', #7900, POSITIVE_LENGTH_MEASURE(1.E-6), #7890);
#7920 = PRESENTATION_STYLE_ASSIGNMENT ((#7910));
#7930 = STYLED_ITEM ('', (#7920), #7880);
#7940 = EDGE_CURVE ('', #7710, #7840, #7880, .T.);
#7950 = ORIENTED_EDGE ('', *, *, #7940, .T.);
#7960 = CARTESIAN_POINT ('', (-15.56, -1.4725, 1.66));
#7970 = DIRECTION ('', (0., -0.02512, -0.09375));
#7980 = VECTOR ('', #7970, 0.097057080627845);
#7990 = LINE ('', #7960, #7980);
#8000 = COLOUR_RGB ('', 0., 0., 0.);
#8010 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#8020 = CURVE_STYLE ('', #8010, POSITIVE_LENGTH_MEASURE(1.E-6), #8000);
#8030 = PRESENTATION_STYLE_ASSIGNMENT ((#8020));
#8040 = STYLED_ITEM ('', (#8030), #7990);
#8050 = EDGE_CURVE ('', #7840, #7560, #7990, .T.);
#8060 = ORIENTED_EDGE ('', *, *, #8050, .T.);
#8070 = EDGE_LOOP ('', (#7690, #7820, #7950, #8060));
Dave Cooper's avatar
Dave Cooper committed
816
#8080 = FACE_OUTER_BOUND ('', #8070, .T.);
817
818
819
820
821
#8090 = CARTESIAN_POINT ('', (-15.559, -1.47218322170577, 1.66118306539437));
#8100 = CARTESIAN_POINT ('', (-16.941, -1.47218322170577, 1.66118306539437));
#8110 = CARTESIAN_POINT ('', (-15.559, -1.49793698112357, 1.5650669889526));
#8120 = CARTESIAN_POINT ('', (-16.941, -1.49793698112357, 1.5650669889526));
#8130 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8090, #8100), (#8110, #8120)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.0995065639780122, 2.E-16), (0., 1.382), .UNSPECIFIED.);
Dave Cooper's avatar
Dave Cooper committed
822
#8140 = ADVANCED_FACE ('A PART', (#8080), #8130, .T.);
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
#8150 = CARTESIAN_POINT ('', (-15.56, -1.56625, 1.49762));
#8160 = VERTEX_POINT ('', #8150);
#8170 = CARTESIAN_POINT ('', (-16.94, -1.56625, 1.49762));
#8180 = VERTEX_POINT ('', #8170);
#8190 = CARTESIAN_POINT ('', (-15.56, -1.56625, 1.49762));
#8200 = DIRECTION ('', (-1.38, 0., 0.));
#8210 = VECTOR ('', #8200, 1.38);
#8220 = LINE ('', #8190, #8210);
#8230 = COLOUR_RGB ('', 0., 0., 0.);
#8240 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#8250 = CURVE_STYLE ('', #8240, POSITIVE_LENGTH_MEASURE(1.E-6), #8230);
#8260 = PRESENTATION_STYLE_ASSIGNMENT ((#8250));
#8270 = STYLED_ITEM ('', (#8260), #8220);
#8280 = EDGE_CURVE ('', #8160, #8180, #8220, .T.);
#8290 = ORIENTED_EDGE ('', *, *, #8280, .T.);
#8300 = CARTESIAN_POINT ('', (-16.94, -1.49762, 1.56625));
#8310 = DIRECTION ('', (0., -0.06863, -0.06863));
#8320 = VECTOR ('', #8310, 0.0970574767856655);
#8330 = LINE ('', #8300, #8320);
#8340 = COLOUR_RGB ('', 0., 0., 0.);
#8350 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#8360 = CURVE_STYLE ('', #8350, POSITIVE_LENGTH_MEASURE(1.E-6), #8340);
#8370 = PRESENTATION_STYLE_ASSIGNMENT ((#8360));
#8380 = STYLED_ITEM ('', (#8370), #8330);
#8390 = EDGE_CURVE ('', #7580, #8180, #8330, .T.);
#8400 = ORIENTED_EDGE ('', *, *, #8390, .F.);
#8410 = ORIENTED_EDGE ('', *, *, #7680, .F.);
#8420 = CARTESIAN_POINT ('', (-15.56, -1.56625, 1.49762));
#8430 = DIRECTION ('', (0., 0.06863, 0.06863));
#8440 = VECTOR ('', #8430, 0.0970574767856655);
#8450 = LINE ('', #8420, #8440);
#8460 = COLOUR_RGB ('', 0., 0., 0.);
#8470 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#8480 = CURVE_STYLE ('', #8470, POSITIVE_LENGTH_MEASURE(1.E-6), #8460);
#8490 = PRESENTATION_STYLE_ASSIGNMENT ((#8480));
#8500 = STYLED_ITEM ('', (#8490), #8450);
#8510 = EDGE_CURVE ('', #8160, #7560, #8450, .T.);
#8520 = ORIENTED_EDGE ('', *, *, #8510, .F.);
#8530 = EDGE_LOOP ('', (#8290, #8400, #8410, #8520));
#8540 = FACE_OUTER_BOUND ('', #8530, .T.);
#8550 = CARTESIAN_POINT ('', (-15.559, -1.49661805173805, 1.56724805162902));
#8560 = CARTESIAN_POINT ('', (-16.941, -1.49661805173805, 1.56724805162902));
#8570 = CARTESIAN_POINT ('', (-15.559, -1.56725002798021, 1.49662002798177));
#8580 = CARTESIAN_POINT ('', (-16.941, -1.56725002798021, 1.49662002798177));
#8590 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#8550, #8560), (#8570, #8580)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.0998859038713096, -2.E-16), (0., 1.382), .UNSPECIFIED.);
#8600 = ADVANCED_FACE ('A PART', (#8540), #8590, .T.);
#8610 = ORIENTED_EDGE ('', *, *, #7340, .T.);
#8620 = CARTESIAN_POINT ('', (-16.94, -1.8475, 1.66));
#8630 = VERTEX_POINT ('', #8620);
#8640 = CARTESIAN_POINT ('', (-16.94, -1.82238, 1.75375));
#8650 = DIRECTION ('', (0., -0.0251199999999998, -0.09375));
#8660 = VECTOR ('', #8650, 0.0970570806278449);
#8670 = LINE ('', #8640, #8660);
#8680 = COLOUR_RGB ('', 0., 0., 0.);
#8690 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#8700 = CURVE_STYLE ('', #8690, POSITIVE_LENGTH_MEASURE(1.E-6), #8680);
#8710 = PRESENTATION_STYLE_ASSIGNMENT ((#8700));
#8720 = STYLED_ITEM ('', (#8710), #8670);
#8730 = EDGE_CURVE ('', #7110, #8630, #8670, .T.);
#8740 = ORIENTED_EDGE ('', *, *, #8730, .T.);
#8750 = CARTESIAN_POINT ('', (-15.56, -1.8475, 1.66));
#8760 = VERTEX_POINT ('', #8750);
#8770 = CARTESIAN_POINT ('', (-16.94, -1.8475, 1.66));
#8780 = DIRECTION ('', (1.38, 0., 0.));
#8790 = VECTOR ('', #8780, 1.38);
#8800 = LINE ('', #8770, #8790);
#8810 = COLOUR_RGB ('', 0., 0., 0.);
#8820 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#8830 = CURVE_STYLE ('', #8820, POSITIVE_LENGTH_MEASURE(1.E-6), #8810);
#8840 = PRESENTATION_STYLE_ASSIGNMENT ((#8830));
#8850 = STYLED_ITEM ('', (#8840), #8800);
#8860 = EDGE_CURVE ('', #8630, #8760, #8800, .T.);
#8870 = ORIENTED_EDGE ('', *, *, #8860, .T.);
#8880 = CARTESIAN_POINT ('', (-15.56, -1.8475, 1.66));
#8890 = DIRECTION ('', (0., 0.0251199999999998, 0.09375));
#8900 = VECTOR ('', #8890, 0.0970570806278449);
Dave Cooper's avatar
Dave Cooper committed
899
#8910 = LINE ('', #8880, #8900);
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
#8920 = COLOUR_RGB ('', 0., 0., 0.);
#8930 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#8940 = CURVE_STYLE ('', #8930, POSITIVE_LENGTH_MEASURE(1.E-6), #8920);
#8950 = PRESENTATION_STYLE_ASSIGNMENT ((#8940));
#8960 = STYLED_ITEM ('', (#8950), #8910);
#8970 = EDGE_CURVE ('', #8760, #7240, #8910, .T.);
#8980 = ORIENTED_EDGE ('', *, *, #8970, .T.);
#8990 = EDGE_LOOP ('', (#8610, #8740, #8870, #8980));
#9000 = FACE_OUTER_BOUND ('', #8990, .T.);
#9010 = CARTESIAN_POINT ('', (-15.559, -1.84781677829423, 1.65881693460563));
#9020 = CARTESIAN_POINT ('', (-16.941, -1.84781677829423, 1.65881693460563));
#9030 = CARTESIAN_POINT ('', (-15.559, -1.82206301887643, 1.7549330110474));
#9040 = CARTESIAN_POINT ('', (-16.941, -1.82206301887643, 1.7549330110474));
#9050 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9010, #9020), (#9030, #9040)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.0995065639780119, 2.E-16), (0., 1.382), .UNSPECIFIED.);
#9060 = ADVANCED_FACE ('A PART', (#9000), #9050, .T.);
#9070 = CARTESIAN_POINT ('', (-15.56, -1.66, 1.4725));
#9080 = VERTEX_POINT ('', #9070);
#9090 = CARTESIAN_POINT ('', (-16.94, -1.66, 1.4725));
#9100 = VERTEX_POINT ('', #9090);
#9110 = CARTESIAN_POINT ('', (-15.56, -1.66, 1.4725));
#9120 = DIRECTION ('', (-1.38, 0., 0.));
#9130 = VECTOR ('', #9120, 1.38);
#9140 = LINE ('', #9110, #9130);
#9150 = COLOUR_RGB ('', 0., 0., 0.);
#9160 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#9170 = CURVE_STYLE ('', #9160, POSITIVE_LENGTH_MEASURE(1.E-6), #9150);
#9180 = PRESENTATION_STYLE_ASSIGNMENT ((#9170));
#9190 = STYLED_ITEM ('', (#9180), #9140);
#9200 = EDGE_CURVE ('', #9080, #9100, #9140, .T.);
#9210 = ORIENTED_EDGE ('', *, *, #9200, .T.);
#9220 = CARTESIAN_POINT ('', (-16.94, -1.56625, 1.49762));
#9230 = DIRECTION ('', (0., -0.09375, -0.02512));
#9240 = VECTOR ('', #9230, 0.097057080627845);
#9250 = LINE ('', #9220, #9240);
#9260 = COLOUR_RGB ('', 0., 0., 0.);
#9270 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#9280 = CURVE_STYLE ('', #9270, POSITIVE_LENGTH_MEASURE(1.E-6), #9260);
#9290 = PRESENTATION_STYLE_ASSIGNMENT ((#9280));
#9300 = STYLED_ITEM ('', (#9290), #9250);
#9310 = EDGE_CURVE ('', #8180, #9100, #9250, .T.);
Dave Cooper's avatar
Dave Cooper committed
940
#9320 = ORIENTED_EDGE ('', *, *, #9310, .F.);
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
#9330 = ORIENTED_EDGE ('', *, *, #8280, .F.);
#9340 = CARTESIAN_POINT ('', (-15.56, -1.66, 1.4725));
#9350 = DIRECTION ('', (0., 0.09375, 0.02512));
#9360 = VECTOR ('', #9350, 0.097057080627845);
#9370 = LINE ('', #9340, #9360);
#9380 = COLOUR_RGB ('', 0., 0., 0.);
#9390 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#9400 = CURVE_STYLE ('', #9390, POSITIVE_LENGTH_MEASURE(1.E-6), #9380);
#9410 = PRESENTATION_STYLE_ASSIGNMENT ((#9400));
#9420 = STYLED_ITEM ('', (#9410), #9370);
#9430 = EDGE_CURVE ('', #9080, #8160, #9370, .T.);
#9440 = ORIENTED_EDGE ('', *, *, #9430, .F.);
#9450 = EDGE_LOOP ('', (#9210, #9320, #9330, #9440));
#9460 = FACE_OUTER_BOUND ('', #9450, .T.);
#9470 = CARTESIAN_POINT ('', (-15.559, -1.56506788086687, 1.49794041375549));
#9480 = CARTESIAN_POINT ('', (-16.941, -1.56506788086687, 1.49794041375549));
#9490 = CARTESIAN_POINT ('', (-15.559, -1.66118302503598, 1.47218296666425));
#9500 = CARTESIAN_POINT ('', (-16.941, -1.66118302503598, 1.47218296666425));
#9510 = B_SPLINE_SURFACE_WITH_KNOTS ('', 1, 1, ((#9470, #9480), (#9490, #9500)), .UNSPECIFIED., .F., .F., .U., (2, 2), (2, 2), (-0.099506617967382, 2.E-16), (0., 1.382), .UNSPECIFIED.);
#9520 = ADVANCED_FACE ('A PART', (#9460), #9510, .T.);
#9530 = CARTESIAN_POINT ('', (-15.56, -1.75375, 1.49762));
#9540 = VERTEX_POINT ('', #9530);
#9550 = CARTESIAN_POINT ('', (-16.94, -1.75375, 1.49762));
#9560 = VERTEX_POINT ('', #9550);
#9570 = CARTESIAN_POINT ('', (-15.56, -1.75375, 1.49762));
#9580 = DIRECTION ('', (-1.38, 0., 0.));
#9590 = VECTOR ('', #9580, 1.38);
#9600 = LINE ('', #9570, #9590);
#9610 = COLOUR_RGB ('', 0., 0., 0.);
#9620 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#9630 = CURVE_STYLE ('', #9620, POSITIVE_LENGTH_MEASURE(1.E-6), #9610);
#9640 = PRESENTATION_STYLE_ASSIGNMENT ((#9630));
#9650 = STYLED_ITEM ('', (#9640), #9600);
#9660 = EDGE_CURVE ('', #9540, #9560, #9600, .T.);
#9670 = ORIENTED_EDGE ('', *, *, #9660, .T.);
#9680 = CARTESIAN_POINT ('', (-16.94, -1.75375, 1.49762));
#9690 = DIRECTION ('', (0., 0.0937490940971526, -0.0251233804197466));
#9700 = VECTOR ('', #9690, 0.0970570805647485);
#9710 = LINE ('', #9680, #9700);
#9720 = COLOUR_RGB ('', 0., 0., 0.);
#9730 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#9740 = CURVE_STYLE ('', #9730, POSITIVE_LENGTH_MEASURE(1.E-6), #9720);
#9750 = PRESENTATION_STYLE_ASSIGNMENT ((#9740));
#9760 = STYLED_ITEM ('', (#9750), #9710);
#9770 = EDGE_CURVE ('', #9560, #9100, #9710, .T.);
Dave Cooper's avatar
Dave Cooper committed
986
#9780 = ORIENTED_EDGE ('', *, *, #9770, .T.);
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
#9790 = ORIENTED_EDGE ('', *, *, #9200, .F.);
#9800 = CARTESIAN_POINT ('', (-15.56, -1.66000090590285, 1.47249661958025));
#9810 = DIRECTION ('', (0., -0.0937490940971526, 0.0251233804197466));
#9820 = VECTOR ('', #9810, 0.0970570805647485);
#9830 = LINE ('', #9800, #9820);
#9840 = COLOUR_RGB ('', 0., 0., 0.);
#9850 = DRAUGHTING_PRE_DEFINED_CURVE_FONT ('continuous');
#9860 = CURVE_STYLE ('', #9850, POSITIVE_LENGTH_MEASURE(1.E-6), #9840);
#9870 = PRESENTATION_STYLE_ASSIGNMENT ((#9860));
#9880 = STYLED_ITEM ('', (#9870), #9830);
#9890 = EDGE_CURVE ('', #9080, #9540, #9830, .T.);
#9900 = ORIENTED_EDGE ('', *, *, #9890, .T.);
#9910 = EDGE_LOOP ('', (#9670, #9780, #9790, #9900));
#9920 = FACE_OUTER_BOUND ('', #9910, .T.);