-
Notifications
You must be signed in to change notification settings - Fork 0
/
NIST Test Artifact_ver3b.step
7804 lines (7803 loc) · 544 KB
/
NIST Test Artifact_ver3b.step
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
ISO-10303-21;
HEADER;
FILE_DESCRIPTION (( 'STEP AP214' ),
'1' );
FILE_NAME ('Uberfact_ver3b_forSTEP.STEP',
'2012-05-18T20:32:19',
( 'Shawn Moylan' ),
( 'NIST' ),
'SwSTEP 2.0',
'SolidWorks 2012',
'' );
FILE_SCHEMA (( 'AUTOMOTIVE_DESIGN' ));
ENDSEC;
DATA;
#1 = VERTEX_POINT ( 'NONE', #2809 ) ;
#2 = ORIENTED_EDGE ( 'NONE', *, *, #315, .F. ) ;
#3 = ORIENTED_EDGE ( 'NONE', *, *, #2247, .T. ) ;
#4 = ORIENTED_EDGE ( 'NONE', *, *, #544, .F. ) ;
#5 = ORIENTED_EDGE ( 'NONE', *, *, #309, .T. ) ;
#6 = ORIENTED_EDGE ( 'NONE', *, *, #7773, .F. ) ;
#7 = EDGE_LOOP ( 'NONE', ( #18, #7774, #6, #36 ) ) ;
#8 = ORIENTED_EDGE ( 'NONE', *, *, #2266, .T. ) ;
#9 = EDGE_LOOP ( 'NONE', ( #350, #3, #340, #21 ) ) ;
#10 = ORIENTED_EDGE ( 'NONE', *, *, #315, .T. ) ;
#11 = ORIENTED_EDGE ( 'NONE', *, *, #2044, .T. ) ;
#12 = ORIENTED_EDGE ( 'NONE', *, *, #2268, .T. ) ;
#13 = EDGE_CURVE ( 'NONE', #1713, #1722, #2799, .T. ) ;
#14 = ORIENTED_EDGE ( 'NONE', *, *, #4710, .T. ) ;
#15 = ADVANCED_FACE ( 'NONE', ( #2810 ), #2800, .T. ) ;
#16 = ORIENTED_EDGE ( 'NONE', *, *, #47, .F. ) ;
#17 = ORIENTED_EDGE ( 'NONE', *, *, #299, .T. ) ;
#18 = ORIENTED_EDGE ( 'NONE', *, *, #2022, .T. ) ;
#19 = ORIENTED_EDGE ( 'NONE', *, *, #42, .F. ) ;
#20 = ORIENTED_EDGE ( 'NONE', *, *, #24, .T. ) ;
#21 = ORIENTED_EDGE ( 'NONE', *, *, #2275, .T. ) ;
#22 = EDGE_LOOP ( 'NONE', ( #23, #44, #598, #7719 ) ) ;
#23 = ORIENTED_EDGE ( 'NONE', *, *, #2019, .T. ) ;
#24 = EDGE_CURVE ( 'NONE', #1, #2045, #2851, .T. ) ;
#25 = EDGE_LOOP ( 'NONE', ( #317, #4 ) ) ;
#26 = ADVANCED_FACE ( 'NONE', ( #2846 ), #2848, .F. ) ;
#27 = EDGE_CURVE ( 'NONE', #1847, #1936, #2837, .T. ) ;
#28 = EDGE_CURVE ( 'NONE', #547, #511, #2833, .T. ) ;
#29 = ADVANCED_FACE ( 'NONE', ( #2838 ), #2832, .F. ) ;
#30 = EDGE_CURVE ( 'NONE', #32, #2046, #2873, .T. ) ;
#31 = VERTEX_POINT ( 'NONE', #2880 ) ;
#32 = VERTEX_POINT ( 'NONE', #2874 ) ;
#33 = EDGE_CURVE ( 'NONE', #31, #2020, #2869, .T. ) ;
#34 = EDGE_LOOP ( 'NONE', ( #11, #41, #19, #20 ) ) ;
#35 = ORIENTED_EDGE ( 'NONE', *, *, #1848, .F. ) ;
#36 = ORIENTED_EDGE ( 'NONE', *, *, #30, .T. ) ;
#37 = ORIENTED_EDGE ( 'NONE', *, *, #556, .F. ) ;
#38 = ADVANCED_FACE ( 'NONE', ( #2881 ), #2879, .F. ) ;
#39 = EDGE_CURVE ( 'NONE', #170, #449, #2857, .T. ) ;
#40 = ADVANCED_FACE ( 'NONE', ( #2867 ), #2863, .F. ) ;
#41 = ORIENTED_EDGE ( 'NONE', *, *, #30, .F. ) ;
#42 = EDGE_CURVE ( 'NONE', #1, #32, #2912, .T. ) ;
#43 = VERTEX_POINT ( 'NONE', #2908 ) ;
#44 = ORIENTED_EDGE ( 'NONE', *, *, #46, .F. ) ;
#45 = EDGE_LOOP ( 'NONE', ( #1465, #1462, #1450, #1449 ) ) ;
#46 = EDGE_CURVE ( 'NONE', #43, #2092, #2903, .T. ) ;
#47 = EDGE_CURVE ( 'NONE', #290, #4724, #2898, .T. ) ;
#48 = EDGE_LOOP ( 'NONE', ( #70, #258, #191, #16, #275, #318 ) ) ;
#49 = ORIENTED_EDGE ( 'NONE', *, *, #1676, .T. ) ;
#50 = ORIENTED_EDGE ( 'NONE', *, *, #1686, .F. ) ;
#51 = VERTEX_POINT ( 'NONE', #2914 ) ;
#52 = ORIENTED_EDGE ( 'NONE', *, *, #148, .T. ) ;
#53 = EDGE_CURVE ( 'NONE', #414, #428, #2913, .T. ) ;
#54 = EDGE_CURVE ( 'NONE', #59, #213, #2892, .T. ) ;
#55 = VERTEX_POINT ( 'NONE', #2882 ) ;
#56 = EDGE_CURVE ( 'NONE', #182, #67, #2946, .T. ) ;
#57 = ORIENTED_EDGE ( 'NONE', *, *, #294, .T. ) ;
#58 = VERTEX_POINT ( 'NONE', #2899 ) ;
#59 = VERTEX_POINT ( 'NONE', #2942 ) ;
#60 = ORIENTED_EDGE ( 'NONE', *, *, #101, .F. ) ;
#61 = ADVANCED_FACE ( 'NONE', ( #2894 ), #2887, .F. ) ;
#62 = EDGE_CURVE ( 'NONE', #2375, #2369, #2936, .T. ) ;
#63 = ORIENTED_EDGE ( 'NONE', *, *, #2422, .F. ) ;
#64 = ORIENTED_EDGE ( 'NONE', *, *, #2373, .T. ) ;
#65 = ORIENTED_EDGE ( 'NONE', *, *, #71, .T. ) ;
#66 = ORIENTED_EDGE ( 'NONE', *, *, #185, .F. ) ;
#67 = VERTEX_POINT ( 'NONE', #2937 ) ;
#68 = ORIENTED_EDGE ( 'NONE', *, *, #56, .F. ) ;
#69 = EDGE_LOOP ( 'NONE', ( #188, #66, #73, #117, #183, #68 ) ) ;
#70 = ORIENTED_EDGE ( 'NONE', *, *, #178, .F. ) ;
#71 = EDGE_CURVE ( 'NONE', #4724, #173, #2932, .T. ) ;
#72 = EDGE_CURVE ( 'NONE', #67, #58, #2925, .T. ) ;
#73 = ORIENTED_EDGE ( 'NONE', *, *, #175, .F. ) ;
#74 = ORIENTED_EDGE ( 'NONE', *, *, #62, .F. ) ;
#75 = EDGE_LOOP ( 'NONE', ( #97, #64, #93, #87 ) ) ;
#76 = EDGE_LOOP ( 'NONE', ( #63, #74, #77, #57 ) ) ;
#77 = ORIENTED_EDGE ( 'NONE', *, *, #2380, .T. ) ;
#78 = EDGE_LOOP ( 'NONE', ( #86, #98, #95, #109 ) ) ;
#79 = EDGE_CURVE ( 'NONE', #2362, #2388, #2941, .T. ) ;
#80 = EDGE_LOOP ( 'NONE', ( #91, #60, #90, #84 ) ) ;
#81 = ORIENTED_EDGE ( 'NONE', *, *, #2331, .T. ) ;
#82 = EDGE_CURVE ( 'NONE', #2329, #2308, #2976, .T. ) ;
#83 = EDGE_LOOP ( 'NONE', ( #94, #4734, #4736, #4737 ) ) ;
#84 = ORIENTED_EDGE ( 'NONE', *, *, #79, .F. ) ;
#85 = ADVANCED_FACE ( 'NONE', ( #2915 ), #2926, .T. ) ;
#86 = ORIENTED_EDGE ( 'NONE', *, *, #101, .T. ) ;
#87 = ORIENTED_EDGE ( 'NONE', *, *, #2384, .T. ) ;
#88 = ORIENTED_EDGE ( 'NONE', *, *, #39, .T. ) ;
#89 = ORIENTED_EDGE ( 'NONE', *, *, #2353, .T. ) ;
#90 = ORIENTED_EDGE ( 'NONE', *, *, #2387, .F. ) ;
#91 = ORIENTED_EDGE ( 'NONE', *, *, #2371, .T. ) ;
#92 = ADVANCED_FACE ( 'NONE', ( #2893 ), #2972, .F. ) ;
#93 = ORIENTED_EDGE ( 'NONE', *, *, #79, .T. ) ;
#94 = ORIENTED_EDGE ( 'NONE', *, *, #2319, .T. ) ;
#95 = ORIENTED_EDGE ( 'NONE', *, *, #2343, .T. ) ;
#96 = EDGE_LOOP ( 'NONE', ( #100, #4732, #4701, #4704 ) ) ;
#97 = ORIENTED_EDGE ( 'NONE', *, *, #62, .T. ) ;
#98 = ORIENTED_EDGE ( 'NONE', *, *, #2363, .T. ) ;
#99 = ORIENTED_EDGE ( 'NONE', *, *, #4735, .T. ) ;
#100 = ORIENTED_EDGE ( 'NONE', *, *, #107, .F. ) ;
#101 = EDGE_CURVE ( 'NONE', #2382, #2364, #2966, .T. ) ;
#102 = ORIENTED_EDGE ( 'NONE', *, *, #107, .T. ) ;
#103 = ADVANCED_FACE ( 'NONE', ( #2921 ), #2971, .F. ) ;
#104 = ORIENTED_EDGE ( 'NONE', *, *, #1189, .T. ) ;
#105 = EDGE_LOOP ( 'NONE', ( #1190, #1191, #1195, #1194 ) ) ;
#106 = ORIENTED_EDGE ( 'NONE', *, *, #1141, .T. ) ;
#107 = EDGE_CURVE ( 'NONE', #2355, #2287, #2952, .T. ) ;
#108 = ORIENTED_EDGE ( 'NONE', *, *, #184, .T. ) ;
#109 = ORIENTED_EDGE ( 'NONE', *, *, #2361, .T. ) ;
#110 = ORIENTED_EDGE ( 'NONE', *, *, #2336, .T. ) ;
#111 = EDGE_LOOP ( 'NONE', ( #110, #102, #89, #4706 ) ) ;
#112 = ADVANCED_FACE ( 'NONE', ( #2961 ), #2916, .T. ) ;
#113 = ADVANCED_FACE ( 'NONE', ( #2948 ), #2996, .T. ) ;
#114 = EDGE_CURVE ( 'NONE', #454, #1947, #2992, .T. ) ;
#115 = ORIENTED_EDGE ( 'NONE', *, *, #839, .T. ) ;
#116 = VERTEX_POINT ( 'NONE', #2989 ) ;
#117 = ORIENTED_EDGE ( 'NONE', *, *, #186, .F. ) ;
#118 = EDGE_LOOP ( 'NONE', ( #174, #867, #924, #928 ) ) ;
#119 = ORIENTED_EDGE ( 'NONE', *, *, #122, .F. ) ;
#120 = VERTEX_POINT ( 'NONE', #2993 ) ;
#121 = ORIENTED_EDGE ( 'NONE', *, *, #1989, .F. ) ;
#122 = EDGE_CURVE ( 'NONE', #1869, #1871, #2985, .T. ) ;
#123 = ORIENTED_EDGE ( 'NONE', *, *, #244, .F. ) ;
#124 = ORIENTED_EDGE ( 'NONE', *, *, #1777, .F. ) ;
#125 = ORIENTED_EDGE ( 'NONE', *, *, #128, .F. ) ;
#126 = ADVANCED_FACE ( 'NONE', ( #2997 ), #2979, .T. ) ;
#127 = ORIENTED_EDGE ( 'NONE', *, *, #140, .F. ) ;
#128 = EDGE_CURVE ( 'NONE', #1904, #1899, #2984, .T. ) ;
#129 = EDGE_CURVE ( 'NONE', #149, #144, #3031, .T. ) ;
#130 = ORIENTED_EDGE ( 'NONE', *, *, #158, .F. ) ;
#131 = ORIENTED_EDGE ( 'NONE', *, *, #438, .F. ) ;
#132 = EDGE_CURVE ( 'NONE', #1969, #1970, #3026, .T. ) ;
#133 = EDGE_CURVE ( 'NONE', #428, #431, #3014, .T. ) ;
#134 = ORIENTED_EDGE ( 'NONE', *, *, #114, .F. ) ;
#135 = EDGE_LOOP ( 'NONE', ( #134, #253 ) ) ;
#136 = VERTEX_POINT ( 'NONE', #3010 ) ;
#137 = EDGE_LOOP ( 'NONE', ( #165, #142, #138, #160 ) ) ;
#138 = ORIENTED_EDGE ( 'NONE', *, *, #147, .T. ) ;
#139 = VERTEX_POINT ( 'NONE', #3020 ) ;
#140 = EDGE_CURVE ( 'NONE', #116, #246, #3019, .T. ) ;
#141 = ADVANCED_FACE ( 'NONE', ( #3007 ), #3030, .T. ) ;
#142 = ORIENTED_EDGE ( 'NONE', *, *, #145, .T. ) ;
#143 = ORIENTED_EDGE ( 'NONE', *, *, #129, .T. ) ;
#144 = VERTEX_POINT ( 'NONE', #3059 ) ;
#145 = EDGE_CURVE ( 'NONE', #146, #136, #3015, .T. ) ;
#146 = VERTEX_POINT ( 'NONE', #2977 ) ;
#147 = EDGE_CURVE ( 'NONE', #136, #159, #3021, .T. ) ;
#148 = EDGE_CURVE ( 'NONE', #444, #425, #3053, .T. ) ;
#149 = VERTEX_POINT ( 'NONE', #3051 ) ;
#150 = EDGE_LOOP ( 'NONE', ( #130, #143, #157, #341 ) ) ;
#151 = VERTEX_POINT ( 'NONE', #3057 ) ;
#152 = EDGE_CURVE ( 'NONE', #161, #159, #3046, .T. ) ;
#153 = ADVANCED_FACE ( 'NONE', ( #3047 ), #2801, .T. ) ;
#154 = VERTEX_POINT ( 'NONE', #3058 ) ;
#155 = ORIENTED_EDGE ( 'NONE', *, *, #132, .F. ) ;
#156 = VERTEX_POINT ( 'NONE', #3006 ) ;
#157 = ORIENTED_EDGE ( 'NONE', *, *, #344, .T. ) ;
#158 = EDGE_CURVE ( 'NONE', #149, #156, #3040, .T. ) ;
#159 = VERTEX_POINT ( 'NONE', #3075 ) ;
#160 = ORIENTED_EDGE ( 'NONE', *, *, #152, .F. ) ;
#161 = VERTEX_POINT ( 'NONE', #3080 ) ;
#162 = EDGE_CURVE ( 'NONE', #1803, #1756, #3076, .T. ) ;
#163 = ADVANCED_FACE ( 'NONE', ( #3078 ), #3077, .F. ) ;
#164 = EDGE_CURVE ( 'NONE', #146, #161, #3064, .T. ) ;
#165 = ORIENTED_EDGE ( 'NONE', *, *, #164, .F. ) ;
#166 = ORIENTED_EDGE ( 'NONE', *, *, #53, .F. ) ;
#167 = ORIENTED_EDGE ( 'NONE', *, *, #441, .F. ) ;
#168 = EDGE_LOOP ( 'NONE', ( #245, #201 ) ) ;
#169 = EDGE_LOOP ( 'NONE', ( #131, #453, #52, #167 ) ) ;
#170 = VERTEX_POINT ( 'NONE', #3065 ) ;
#171 = EDGE_CURVE ( 'NONE', #154, #433, #3081, .T. ) ;
#172 = VERTEX_POINT ( 'NONE', #3066 ) ;
#173 = VERTEX_POINT ( 'NONE', #3060 ) ;
#174 = ORIENTED_EDGE ( 'NONE', *, *, #244, .T. ) ;
#175 = EDGE_CURVE ( 'NONE', #179, #180, #3111, .T. ) ;
#176 = ORIENTED_EDGE ( 'NONE', *, *, #193, .F. ) ;
#177 = ORIENTED_EDGE ( 'NONE', *, *, #202, .F. ) ;
#178 = EDGE_CURVE ( 'NONE', #55, #51, #3105, .T. ) ;
#179 = VERTEX_POINT ( 'NONE', #3112 ) ;
#180 = VERTEX_POINT ( 'NONE', #3106 ) ;
#181 = VERTEX_POINT ( 'NONE', #3101 ) ;
#182 = VERTEX_POINT ( 'NONE', #3100 ) ;
#183 = ORIENTED_EDGE ( 'NONE', *, *, #72, .F. ) ;
#184 = EDGE_CURVE ( 'NONE', #187, #182, #3107, .T. ) ;
#185 = EDGE_CURVE ( 'NONE', #180, #187, #3095, .T. ) ;
#186 = EDGE_CURVE ( 'NONE', #58, #179, #3090, .T. ) ;
#187 = VERTEX_POINT ( 'NONE', #3091 ) ;
#188 = ORIENTED_EDGE ( 'NONE', *, *, #184, .F. ) ;
#189 = ORIENTED_EDGE ( 'NONE', *, *, #211, .F. ) ;
#190 = EDGE_LOOP ( 'NONE', ( #209, #177, #219, #236 ) ) ;
#191 = ORIENTED_EDGE ( 'NONE', *, *, #71, .F. ) ;
#192 = VERTEX_POINT ( 'NONE', #3067 ) ;
#193 = EDGE_CURVE ( 'NONE', #192, #210, #3086, .T. ) ;
#194 = EDGE_CURVE ( 'NONE', #210, #218, #3134, .T. ) ;
#195 = EDGE_LOOP ( 'NONE', ( #123, #224, #207, #127 ) ) ;
#196 = ORIENTED_EDGE ( 'NONE', *, *, #238, .F. ) ;
#197 = ORIENTED_EDGE ( 'NONE', *, *, #240, .F. ) ;
#198 = EDGE_LOOP ( 'NONE', ( #215, #176, #229, #227 ) ) ;
#199 = VERTEX_POINT ( 'NONE', #3139 ) ;
#200 = EDGE_CURVE ( 'NONE', #181, #199, #3084, .T. ) ;
#201 = ORIENTED_EDGE ( 'NONE', *, *, #2005, .F. ) ;
#202 = EDGE_CURVE ( 'NONE', #225, #154, #3138, .T. ) ;
#203 = ORIENTED_EDGE ( 'NONE', *, *, #205, .F. ) ;
#204 = ORIENTED_EDGE ( 'NONE', *, *, #200, .F. ) ;
#205 = EDGE_CURVE ( 'NONE', #221, #234, #3130, .T. ) ;
#206 = EDGE_CURVE ( 'NONE', #173, #55, #3120, .T. ) ;
#207 = ORIENTED_EDGE ( 'NONE', *, *, #232, .F. ) ;
#208 = EDGE_LOOP ( 'NONE', ( #203, #189, #259, #249 ) ) ;
#209 = ORIENTED_EDGE ( 'NONE', *, *, #171, .F. ) ;
#210 = VERTEX_POINT ( 'NONE', #3121 ) ;
#211 = EDGE_CURVE ( 'NONE', #213, #221, #3124, .T. ) ;
#212 = EDGE_CURVE ( 'NONE', #172, #225, #3167, .T. ) ;
#213 = VERTEX_POINT ( 'NONE', #3171 ) ;
#214 = EDGE_LOOP ( 'NONE', ( #125, #231 ) ) ;
#215 = ORIENTED_EDGE ( 'NONE', *, *, #194, .F. ) ;
#216 = EDGE_CURVE ( 'NONE', #243, #181, #3161, .T. ) ;
#217 = EDGE_CURVE ( 'NONE', #241, #192, #3155, .T. ) ;
#218 = VERTEX_POINT ( 'NONE', #3160 ) ;
#219 = ORIENTED_EDGE ( 'NONE', *, *, #212, .F. ) ;
#220 = VERTEX_POINT ( 'NONE', #3151 ) ;
#221 = VERTEX_POINT ( 'NONE', #3168 ) ;
#222 = ORIENTED_EDGE ( 'NONE', *, *, #1959, .F. ) ;
#223 = EDGE_CURVE ( 'NONE', #2003, #2006, #3150, .T. ) ;
#224 = ORIENTED_EDGE ( 'NONE', *, *, #252, .F. ) ;
#225 = VERTEX_POINT ( 'NONE', #3162 ) ;
#226 = EDGE_CURVE ( 'NONE', #433, #172, #3148, .T. ) ;
#227 = ORIENTED_EDGE ( 'NONE', *, *, #237, .F. ) ;
#228 = EDGE_LOOP ( 'NONE', ( #119, #254 ) ) ;
#229 = ORIENTED_EDGE ( 'NONE', *, *, #217, .F. ) ;
#230 = ORIENTED_EDGE ( 'NONE', *, *, #216, .F. ) ;
#231 = ORIENTED_EDGE ( 'NONE', *, *, #1905, .F. ) ;
#232 = EDGE_CURVE ( 'NONE', #246, #242, #3156, .T. ) ;
#233 = EDGE_LOOP ( 'NONE', ( #230, #197, #196, #204 ) ) ;
#234 = VERTEX_POINT ( 'NONE', #3149 ) ;
#235 = ORIENTED_EDGE ( 'NONE', *, *, #248, .F. ) ;
#236 = ORIENTED_EDGE ( 'NONE', *, *, #226, .F. ) ;
#237 = EDGE_CURVE ( 'NONE', #218, #241, #3196, .T. ) ;
#238 = EDGE_CURVE ( 'NONE', #199, #220, #3189, .T. ) ;
#239 = ORIENTED_EDGE ( 'NONE', *, *, #250, .F. ) ;
#240 = EDGE_CURVE ( 'NONE', #220, #243, #3141, .T. ) ;
#241 = VERTEX_POINT ( 'NONE', #3191 ) ;
#242 = VERTEX_POINT ( 'NONE', #3185 ) ;
#243 = VERTEX_POINT ( 'NONE', #3182 ) ;
#244 = EDGE_CURVE ( 'NONE', #120, #116, #3178, .T. ) ;
#245 = ORIENTED_EDGE ( 'NONE', *, *, #223, .F. ) ;
#246 = VERTEX_POINT ( 'NONE', #3197 ) ;
#247 = EDGE_LOOP ( 'NONE', ( #235, #124 ) ) ;
#248 = EDGE_CURVE ( 'NONE', #1774, #1780, #3179, .T. ) ;
#249 = ORIENTED_EDGE ( 'NONE', *, *, #257, .F. ) ;
#250 = EDGE_CURVE ( 'NONE', #1992, #2055, #3172, .T. ) ;
#251 = EDGE_LOOP ( 'NONE', ( #239, #121 ) ) ;
#252 = EDGE_CURVE ( 'NONE', #242, #120, #3219, .T. ) ;
#253 = ORIENTED_EDGE ( 'NONE', *, *, #1994, .F. ) ;
#254 = ORIENTED_EDGE ( 'NONE', *, *, #1805, .F. ) ;
#255 = ORIENTED_EDGE ( 'NONE', *, *, #921, .T. ) ;
#256 = ORIENTED_EDGE ( 'NONE', *, *, #878, .F. ) ;
#257 = EDGE_CURVE ( 'NONE', #234, #59, #3215, .T. ) ;
#258 = ORIENTED_EDGE ( 'NONE', *, *, #206, .F. ) ;
#259 = ORIENTED_EDGE ( 'NONE', *, *, #54, .F. ) ;
#260 = ORIENTED_EDGE ( 'NONE', *, *, #286, .F. ) ;
#261 = EDGE_CURVE ( 'NONE', #2267, #2208, #3214, .T. ) ;
#262 = ADVANCED_FACE ( 'NONE', ( #3209 ), #3212, .F. ) ;
#263 = ORIENTED_EDGE ( 'NONE', *, *, #4721, .F. ) ;
#264 = ORIENTED_EDGE ( 'NONE', *, *, #2280, .T. ) ;
#265 = EDGE_LOOP ( 'NONE', ( #4720, #260, #280, #271, #268, #283, #273, #305 ) ) ;
#266 = EDGE_LOOP ( 'NONE', ( #1719, #1799, #1715, #1786 ) ) ;
#267 = ORIENTED_EDGE ( 'NONE', *, *, #72, .T. ) ;
#268 = ORIENTED_EDGE ( 'NONE', *, *, #288, .F. ) ;
#269 = EDGE_LOOP ( 'NONE', ( #336, #35 ) ) ;
#270 = VERTEX_POINT ( 'NONE', #3211 ) ;
#271 = ORIENTED_EDGE ( 'NONE', *, *, #4715, .T. ) ;
#272 = EDGE_CURVE ( 'NONE', #270, #2313, #3205, .T. ) ;
#273 = ORIENTED_EDGE ( 'NONE', *, *, #2310, .F. ) ;
#274 = ADVANCED_FACE ( 'NONE', ( #3210 ), #3213, .F. ) ;
#275 = ORIENTED_EDGE ( 'NONE', *, *, #300, .F. ) ;
#276 = ORIENTED_EDGE ( 'NONE', *, *, #289, .F. ) ;
#277 = VERTEX_POINT ( 'NONE', #3201 ) ;
#278 = ORIENTED_EDGE ( 'NONE', *, *, #286, .T. ) ;
#279 = VERTEX_POINT ( 'NONE', #3250 ) ;
#280 = ORIENTED_EDGE ( 'NONE', *, *, #281, .F. ) ;
#281 = EDGE_CURVE ( 'NONE', #4716, #277, #3248, .T. ) ;
#282 = ORIENTED_EDGE ( 'NONE', *, *, #2306, .T. ) ;
#283 = ORIENTED_EDGE ( 'NONE', *, *, #272, .T. ) ;
#284 = ORIENTED_EDGE ( 'NONE', *, *, #175, .T. ) ;
#285 = ORIENTED_EDGE ( 'NONE', *, *, #272, .F. ) ;
#286 = EDGE_CURVE ( 'NONE', #277, #179, #3247, .T. ) ;
#287 = ORIENTED_EDGE ( 'NONE', *, *, #4709, .T. ) ;
#288 = EDGE_CURVE ( 'NONE', #270, #4714, #3239, .T. ) ;
#289 = EDGE_CURVE ( 'NONE', #277, #2252, #3235, .T. ) ;
#290 = VERTEX_POINT ( 'NONE', #3252 ) ;
#291 = EDGE_LOOP ( 'NONE', ( #331, #4713 ) ) ;
#292 = EDGE_CURVE ( 'NONE', #2210, #2277, #3230, .T. ) ;
#293 = ORIENTED_EDGE ( 'NONE', *, *, #2281, .F. ) ;
#294 = EDGE_CURVE ( 'NONE', #51, #304, #3280, .T. ) ;
#295 = ORIENTED_EDGE ( 'NONE', *, *, #292, .F. ) ;
#296 = EDGE_LOOP ( 'NONE', ( #312, #311, #310, #346 ) ) ;
#297 = ORIENTED_EDGE ( 'NONE', *, *, #302, .F. ) ;
#298 = ORIENTED_EDGE ( 'NONE', *, *, #299, .F. ) ;
#299 = EDGE_CURVE ( 'NONE', #2271, #279, #3228, .T. ) ;
#300 = EDGE_CURVE ( 'NONE', #304, #290, #3240, .T. ) ;
#301 = EDGE_LOOP ( 'NONE', ( #297, #298, #293, #295, #314, #276, #278, #284 ) ) ;
#302 = EDGE_CURVE ( 'NONE', #279, #180, #3267, .T. ) ;
#303 = ADVANCED_FACE ( 'NONE', ( #3272 ), #3263, .F. ) ;
#304 = VERTEX_POINT ( 'NONE', #3262 ) ;
#305 = ORIENTED_EDGE ( 'NONE', *, *, #4721, .T. ) ;
#306 = ORIENTED_EDGE ( 'NONE', *, *, #308, .F. ) ;
#307 = ADVANCED_FACE ( 'NONE', ( #3281 ), #1976, .F. ) ;
#308 = EDGE_CURVE ( 'NONE', #557, #564, #3310, .T. ) ;
#309 = EDGE_CURVE ( 'NONE', #279, #4727, #3311, .T. ) ;
#310 = ORIENTED_EDGE ( 'NONE', *, *, #309, .F. ) ;
#311 = ORIENTED_EDGE ( 'NONE', *, *, #4719, .F. ) ;
#312 = ORIENTED_EDGE ( 'NONE', *, *, #185, .T. ) ;
#313 = EDGE_LOOP ( 'NONE', ( #322, #12, #10, #321 ) ) ;
#314 = ORIENTED_EDGE ( 'NONE', *, *, #2299, .F. ) ;
#315 = EDGE_CURVE ( 'NONE', #2254, #270, #3304, .T. ) ;
#316 = ADVANCED_FACE ( 'NONE', ( #3297 ), #3290, .F. ) ;
#317 = ORIENTED_EDGE ( 'NONE', *, *, #28, .F. ) ;
#318 = ORIENTED_EDGE ( 'NONE', *, *, #294, .F. ) ;
#319 = ORIENTED_EDGE ( 'NONE', *, *, #2250, .T. ) ;
#320 = ORIENTED_EDGE ( 'NONE', *, *, #281, .T. ) ;
#321 = ORIENTED_EDGE ( 'NONE', *, *, #288, .T. ) ;
#322 = ORIENTED_EDGE ( 'NONE', *, *, #4700, .T. ) ;
#323 = ORIENTED_EDGE ( 'NONE', *, *, #289, .T. ) ;
#324 = EDGE_CURVE ( 'NONE', #1231, #342, #3295, .T. ) ;
#325 = EDGE_LOOP ( 'NONE', ( #617, #1762, #627, #632 ) ) ;
#326 = ADVANCED_FACE ( 'NONE', ( #3313 ), #3296, .F. ) ;
#327 = EDGE_LOOP ( 'NONE', ( #558, #496, #2651, #2656 ) ) ;
#328 = ORIENTED_EDGE ( 'NONE', *, *, #641, .T. ) ;
#329 = ORIENTED_EDGE ( 'NONE', *, *, #644, .T. ) ;
#330 = ORIENTED_EDGE ( 'NONE', *, *, #653, .T. ) ;
#331 = ORIENTED_EDGE ( 'NONE', *, *, #13, .F. ) ;
#332 = ADVANCED_FACE ( 'NONE', ( #3298 ), #3286, .F. ) ;
#333 = EDGE_LOOP ( 'NONE', ( #282, #285, #2, #349 ) ) ;
#334 = EDGE_LOOP ( 'NONE', ( #306, #37 ) ) ;
#335 = ADVANCED_FACE ( 'NONE', ( #3335 ), #3285, .T. ) ;
#336 = ORIENTED_EDGE ( 'NONE', *, *, #27, .F. ) ;
#337 = EDGE_LOOP ( 'NONE', ( #14, #8, #17, #5 ) ) ;
#338 = ADVANCED_FACE ( 'NONE', ( #3334 ), #3330, .T. ) ;
#339 = EDGE_LOOP ( 'NONE', ( #287, #320, #323, #319 ) ) ;
#340 = ORIENTED_EDGE ( 'NONE', *, *, #292, .T. ) ;
#341 = ORIENTED_EDGE ( 'NONE', *, *, #354, .F. ) ;
#342 = VERTEX_POINT ( 'NONE', #3321 ) ;
#343 = ORIENTED_EDGE ( 'NONE', *, *, #324, .F. ) ;
#344 = EDGE_CURVE ( 'NONE', #144, #352, #3318, .T. ) ;
#345 = ORIENTED_EDGE ( 'NONE', *, *, #347, .T. ) ;
#346 = ORIENTED_EDGE ( 'NONE', *, *, #302, .T. ) ;
#347 = EDGE_CURVE ( 'NONE', #526, #342, #3331, .T. ) ;
#348 = EDGE_LOOP ( 'NONE', ( #565, #569, #510, #546 ) ) ;
#349 = ORIENTED_EDGE ( 'NONE', *, *, #2312, .T. ) ;
#350 = ORIENTED_EDGE ( 'NONE', *, *, #261, .T. ) ;
#351 = EDGE_LOOP ( 'NONE', ( #356, #353, #402, #365 ) ) ;
#352 = VERTEX_POINT ( 'NONE', #3326 ) ;
#353 = ORIENTED_EDGE ( 'NONE', *, *, #360, .T. ) ;
#354 = EDGE_CURVE ( 'NONE', #156, #352, #3360, .T. ) ;
#355 = EDGE_CURVE ( 'NONE', #364, #358, #3325, .T. ) ;
#356 = ORIENTED_EDGE ( 'NONE', *, *, #355, .F. ) ;
#357 = ADVANCED_FACE ( 'NONE', ( #3355 ), #3329, .F. ) ;
#358 = VERTEX_POINT ( 'NONE', #3346 ) ;
#359 = EDGE_LOOP ( 'NONE', ( #476, #455 ) ) ;
#360 = EDGE_CURVE ( 'NONE', #364, #362, #3344, .T. ) ;
#361 = EDGE_CURVE ( 'NONE', #363, #369, #3395, .T. ) ;
#362 = VERTEX_POINT ( 'NONE', #3396 ) ;
#363 = VERTEX_POINT ( 'NONE', #3345 ) ;
#364 = VERTEX_POINT ( 'NONE', #3340 ) ;
#365 = ORIENTED_EDGE ( 'NONE', *, *, #371, .F. ) ;
#366 = EDGE_CURVE ( 'NONE', #391, #369, #3388, .T. ) ;
#367 = ORIENTED_EDGE ( 'NONE', *, *, #361, .T. ) ;
#368 = ADVANCED_FACE ( 'NONE', ( #3356 ), #3391, .T. ) ;
#369 = VERTEX_POINT ( 'NONE', #3379 ) ;
#370 = EDGE_LOOP ( 'NONE', ( #388, #385, #390, #387 ) ) ;
#371 = EDGE_CURVE ( 'NONE', #358, #396, #3377, .T. ) ;
#372 = VERTEX_POINT ( 'NONE', #3384 ) ;
#373 = VERTEX_POINT ( 'NONE', #3383 ) ;
#374 = EDGE_CURVE ( 'NONE', #384, #376, #3373, .T. ) ;
#375 = EDGE_CURVE ( 'NONE', #395, #391, #3378, .T. ) ;
#376 = VERTEX_POINT ( 'NONE', #3372 ) ;
#377 = EDGE_CURVE ( 'NONE', #395, #363, #3418, .T. ) ;
#378 = EDGE_LOOP ( 'NONE', ( #397, #405, #412, #411 ) ) ;
#379 = ORIENTED_EDGE ( 'NONE', *, *, #366, .F. ) ;
#380 = EDGE_CURVE ( 'NONE', #392, #399, #3419, .T. ) ;
#381 = EDGE_CURVE ( 'NONE', #372, #376, #3407, .T. ) ;
#382 = ORIENTED_EDGE ( 'NONE', *, *, #375, .F. ) ;
#383 = EDGE_CURVE ( 'NONE', #373, #372, #3410, .T. ) ;
#384 = VERTEX_POINT ( 'NONE', #3402 ) ;
#385 = ORIENTED_EDGE ( 'NONE', *, *, #383, .T. ) ;
#386 = ADVANCED_FACE ( 'NONE', ( #3424 ), #3397, .T. ) ;
#387 = ORIENTED_EDGE ( 'NONE', *, *, #374, .F. ) ;
#388 = ORIENTED_EDGE ( 'NONE', *, *, #400, .F. ) ;
#389 = EDGE_LOOP ( 'NONE', ( #382, #393, #367, #379 ) ) ;
#390 = ORIENTED_EDGE ( 'NONE', *, *, #381, .T. ) ;
#391 = VERTEX_POINT ( 'NONE', #3408 ) ;
#392 = VERTEX_POINT ( 'NONE', #3451 ) ;
#393 = ORIENTED_EDGE ( 'NONE', *, *, #377, .T. ) ;
#394 = EDGE_CURVE ( 'NONE', #392, #404, #3447, .T. ) ;
#395 = VERTEX_POINT ( 'NONE', #3448 ) ;
#396 = VERTEX_POINT ( 'NONE', #3401 ) ;
#397 = ORIENTED_EDGE ( 'NONE', *, *, #380, .F. ) ;
#398 = EDGE_CURVE ( 'NONE', #362, #396, #3443, .T. ) ;
#399 = VERTEX_POINT ( 'NONE', #3441 ) ;
#400 = EDGE_CURVE ( 'NONE', #373, #384, #3442, .T. ) ;
#401 = VERTEX_POINT ( 'NONE', #3434 ) ;
#402 = ORIENTED_EDGE ( 'NONE', *, *, #398, .T. ) ;
#403 = EDGE_CURVE ( 'NONE', #404, #406, #3429, .T. ) ;
#404 = VERTEX_POINT ( 'NONE', #3425 ) ;
#405 = ORIENTED_EDGE ( 'NONE', *, *, #394, .T. ) ;
#406 = VERTEX_POINT ( 'NONE', #3440 ) ;
#407 = ORIENTED_EDGE ( 'NONE', *, *, #418, .F. ) ;
#408 = ADVANCED_FACE ( 'NONE', ( #3452 ), #3477, .T. ) ;
#409 = EDGE_LOOP ( 'NONE', ( #407, #413, #420, #423 ) ) ;
#410 = ADVANCED_FACE ( 'NONE', ( #3482 ), #3481, .T. ) ;
#411 = ORIENTED_EDGE ( 'NONE', *, *, #422, .F. ) ;
#412 = ORIENTED_EDGE ( 'NONE', *, *, #403, .T. ) ;
#413 = ORIENTED_EDGE ( 'NONE', *, *, #419, .T. ) ;
#414 = VERTEX_POINT ( 'NONE', #3479 ) ;
#415 = EDGE_CURVE ( 'NONE', #421, #401, #3468, .T. ) ;
#416 = VERTEX_POINT ( 'NONE', #3435 ) ;
#417 = VERTEX_POINT ( 'NONE', #3426 ) ;
#418 = EDGE_CURVE ( 'NONE', #417, #416, #3472, .T. ) ;
#419 = EDGE_CURVE ( 'NONE', #417, #421, #3455, .T. ) ;
#420 = ORIENTED_EDGE ( 'NONE', *, *, #415, .T. ) ;
#421 = VERTEX_POINT ( 'NONE', #3462 ) ;
#422 = EDGE_CURVE ( 'NONE', #399, #406, #3509, .T. ) ;
#423 = ORIENTED_EDGE ( 'NONE', *, *, #437, .F. ) ;
#424 = ORIENTED_EDGE ( 'NONE', *, *, #439, .T. ) ;
#425 = VERTEX_POINT ( 'NONE', #3461 ) ;
#426 = ADVANCED_FACE ( 'NONE', ( #3505 ), #3460, .T. ) ;
#427 = EDGE_LOOP ( 'NONE', ( #166, #432, #424, #450 ) ) ;
#428 = VERTEX_POINT ( 'NONE', #3511 ) ;
#429 = ORIENTED_EDGE ( 'NONE', *, *, #430, .F. ) ;
#430 = EDGE_CURVE ( 'NONE', #435, #449, #3499, .T. ) ;
#431 = VERTEX_POINT ( 'NONE', #3463 ) ;
#432 = ORIENTED_EDGE ( 'NONE', *, *, #447, .T. ) ;
#433 = VERTEX_POINT ( 'NONE', #3504 ) ;
#434 = VERTEX_POINT ( 'NONE', #3501 ) ;
#435 = VERTEX_POINT ( 'NONE', #3495 ) ;
#436 = EDGE_CURVE ( 'NONE', #151, #170, #3490, .T. ) ;
#437 = EDGE_CURVE ( 'NONE', #416, #401, #3510, .T. ) ;
#438 = EDGE_CURVE ( 'NONE', #139, #434, #3493, .T. ) ;
#439 = EDGE_CURVE ( 'NONE', #448, #431, #3566, .T. ) ;
#440 = ADVANCED_FACE ( 'NONE', ( #3556, #3552, #3561, #3560, #3559, #3557, #3551, #3550, #3549, #3547, #3555, #3553, #3545, #3544, #3543, #3542, #3541, #3540, #3548, #3539, #3538, #3546, #3536, #3535, #3534, #3537, #3532, #3531, #3530, #3533, #3528, #3527, #3525, #3529, #3524, #3523, #3521, #3567, #3520, #3519, #3522, #3517, #3516, #3515, #3518, #3598, #3597, #3596, #3514, #3513, #3594, #3593, #3592, #3591, #3595 ), #3526, .F. ) ;
#441 = EDGE_CURVE ( 'NONE', #434, #425, #3584, .T. ) ;
#442 = ORIENTED_EDGE ( 'NONE', *, *, #446, .F. ) ;
#443 = ORIENTED_EDGE ( 'NONE', *, *, #436, .T. ) ;
#444 = VERTEX_POINT ( 'NONE', #3589 ) ;
#445 = EDGE_LOOP ( 'NONE', ( #442, #443, #88, #429 ) ) ;
#446 = EDGE_CURVE ( 'NONE', #151, #435, #3588, .T. ) ;
#447 = EDGE_CURVE ( 'NONE', #414, #448, #3574, .T. ) ;
#448 = VERTEX_POINT ( 'NONE', #3575 ) ;
#449 = VERTEX_POINT ( 'NONE', #3580 ) ;
#450 = ORIENTED_EDGE ( 'NONE', *, *, #133, .F. ) ;
#451 = EDGE_CURVE ( 'NONE', #139, #444, #3570, .T. ) ;
#452 = EDGE_LOOP ( 'NONE', ( #155, #222 ) ) ;
#453 = ORIENTED_EDGE ( 'NONE', *, *, #451, .T. ) ;
#454 = VERTEX_POINT ( 'NONE', #3576 ) ;
#455 = ORIENTED_EDGE ( 'NONE', *, *, #1741, .F. ) ;
#456 = CARTESIAN_POINT ( 'NONE', ( -2.000000000000000400, 20.00000000000000000, 17.00000000000000000 ) ) ;
#457 = EDGE_LOOP ( 'NONE', ( #475, #463 ) ) ;
#458 = ORIENTED_EDGE ( 'NONE', *, *, #1994, .T. ) ;
#459 = VERTEX_POINT ( 'NONE', #3590 ) ;
#460 = ORIENTED_EDGE ( 'NONE', *, *, #39, .F. ) ;
#461 = VERTEX_POINT ( 'NONE', #3568 ) ;
#462 = ORIENTED_EDGE ( 'NONE', *, *, #465, .F. ) ;
#463 = ORIENTED_EDGE ( 'NONE', *, *, #361, .F. ) ;
#464 = EDGE_LOOP ( 'NONE', ( #515, #518, #468, #512 ) ) ;
#465 = EDGE_CURVE ( 'NONE', #449, #170, #3625, .T. ) ;
#466 = EDGE_LOOP ( 'NONE', ( #462, #460 ) ) ;
#467 = EDGE_LOOP ( 'NONE', ( #508, #503 ) ) ;
#468 = ORIENTED_EDGE ( 'NONE', *, *, #481, .T. ) ;
#469 = VERTEX_POINT ( 'NONE', #3569 ) ;
#470 = EDGE_CURVE ( 'NONE', #369, #363, #3619, .T. ) ;
#471 = EDGE_CURVE ( 'NONE', #472, #459, #3613, .T. ) ;
#472 = VERTEX_POINT ( 'NONE', #3606 ) ;
#473 = EDGE_LOOP ( 'NONE', ( #520, #516 ) ) ;
#474 = ORIENTED_EDGE ( 'NONE', *, *, #147, .F. ) ;
#475 = ORIENTED_EDGE ( 'NONE', *, *, #470, .F. ) ;
#476 = ORIENTED_EDGE ( 'NONE', *, *, #479, .F. ) ;
#477 = EDGE_CURVE ( 'NONE', #159, #136, #3605, .T. ) ;
#478 = EDGE_LOOP ( 'NONE', ( #480, #474 ) ) ;
#479 = EDGE_CURVE ( 'NONE', #1739, #1766, #3653, .T. ) ;
#480 = ORIENTED_EDGE ( 'NONE', *, *, #477, .F. ) ;
#481 = EDGE_CURVE ( 'NONE', #459, #469, #3647, .T. ) ;
#482 = VECTOR ( 'NONE', #1978, 1000.000000000000000 ) ;
#483 = EDGE_CURVE ( 'NONE', #1966, #2011, #3643, .T. ) ;
#484 = DIRECTION ( 'NONE', ( -1.000000000000000000, 0.0000000000000000000, 0.0000000000000000000 ) ) ;
#485 = EDGE_CURVE ( 'NONE', #352, #144, #3640, .T. ) ;
#486 = ORIENTED_EDGE ( 'NONE', *, *, #2702, .T. ) ;
#487 = ORIENTED_EDGE ( 'NONE', *, *, #344, .F. ) ;
#488 = ORIENTED_EDGE ( 'NONE', *, *, #527, .F. ) ;
#489 = EDGE_LOOP ( 'NONE', ( #492, #542 ) ) ;
#490 = EDGE_CURVE ( 'NONE', #1940, #1930, #3638, .T. ) ;
#491 = ORIENTED_EDGE ( 'NONE', *, *, #490, .F. ) ;
#492 = ORIENTED_EDGE ( 'NONE', *, *, #532, .F. ) ;
#493 = ORIENTED_EDGE ( 'NONE', *, *, #485, .F. ) ;
#494 = ORIENTED_EDGE ( 'NONE', *, *, #398, .F. ) ;
#495 = EDGE_LOOP ( 'NONE', ( #493, #487 ) ) ;
#496 = ORIENTED_EDGE ( 'NONE', *, *, #2649, .F. ) ;
#497 = VERTEX_POINT ( 'NONE', #3648 ) ;
#498 = ADVANCED_FACE ( 'NONE', ( #3639 ), #3628, .T. ) ;
#499 = EDGE_CURVE ( 'NONE', #401, #421, #3678, .T. ) ;
#500 = ORIENTED_EDGE ( 'NONE', *, *, #504, .F. ) ;
#501 = ORIENTED_EDGE ( 'NONE', *, *, #381, .F. ) ;
#502 = EDGE_LOOP ( 'NONE', ( #500, #501 ) ) ;
#503 = ORIENTED_EDGE ( 'NONE', *, *, #415, .F. ) ;
#504 = EDGE_CURVE ( 'NONE', #376, #372, #3679, .T. ) ;
#505 = ORIENTED_EDGE ( 'NONE', *, *, #507, .F. ) ;
#506 = EDGE_LOOP ( 'NONE', ( #505, #494 ) ) ;
#507 = EDGE_CURVE ( 'NONE', #396, #362, #3669, .T. ) ;
#508 = ORIENTED_EDGE ( 'NONE', *, *, #499, .F. ) ;
#509 = ORIENTED_EDGE ( 'NONE', *, *, #623, .F. ) ;
#510 = ORIENTED_EDGE ( 'NONE', *, *, #544, .T. ) ;
#511 = VERTEX_POINT ( 'NONE', #3621 ) ;
#512 = ORIENTED_EDGE ( 'NONE', *, *, #513, .T. ) ;
#513 = EDGE_CURVE ( 'NONE', #469, #461, #3670, .T. ) ;
#514 = ORIENTED_EDGE ( 'NONE', *, *, #551, .T. ) ;
#515 = ORIENTED_EDGE ( 'NONE', *, *, #519, .T. ) ;
#516 = ORIENTED_EDGE ( 'NONE', *, *, #403, .F. ) ;
#517 = EDGE_CURVE ( 'NONE', #406, #404, #3660, .T. ) ;
#518 = ORIENTED_EDGE ( 'NONE', *, *, #471, .T. ) ;
#519 = EDGE_CURVE ( 'NONE', #461, #472, #3712, .T. ) ;
#520 = ORIENTED_EDGE ( 'NONE', *, *, #517, .F. ) ;
#521 = EDGE_LOOP ( 'NONE', ( #581, #2037, #2035, #2033 ) ) ;
#522 = EDGE_LOOP ( 'NONE', ( #486, #596 ) ) ;
#523 = ORIENTED_EDGE ( 'NONE', *, *, #572, .T. ) ;
#524 = EDGE_CURVE ( 'NONE', #570, #547, #3664, .T. ) ;
#525 = ORIENTED_EDGE ( 'NONE', *, *, #589, .F. ) ;
#526 = VERTEX_POINT ( 'NONE', #3659 ) ;
#527 = EDGE_CURVE ( 'NONE', #1926, #1860, #3706, .T. ) ;
#528 = ORIENTED_EDGE ( 'NONE', *, *, #465, .T. ) ;
#529 = ORIENTED_EDGE ( 'NONE', *, *, #538, .F. ) ;
#530 = ORIENTED_EDGE ( 'NONE', *, *, #1753, .F. ) ;
#531 = EDGE_CURVE ( 'NONE', #595, #618, #3707, .T. ) ;
#532 = EDGE_CURVE ( 'NONE', #1756, #1800, #3692, .T. ) ;
#533 = EDGE_LOOP ( 'NONE', ( #525, #523, #574, #586 ) ) ;
#534 = ORIENTED_EDGE ( 'NONE', *, *, #593, .F. ) ;
#535 = EDGE_LOOP ( 'NONE', ( #529, #548 ) ) ;
#536 = ORIENTED_EDGE ( 'NONE', *, *, #347, .F. ) ;
#537 = ORIENTED_EDGE ( 'NONE', *, *, #551, .F. ) ;
#538 = EDGE_CURVE ( 'NONE', #584, #587, #3686, .T. ) ;
#539 = ORIENTED_EDGE ( 'NONE', *, *, #549, .F. ) ;
#540 = ORIENTED_EDGE ( 'NONE', *, *, #2182, .T. ) ;
#541 = EDGE_LOOP ( 'NONE', ( #491, #554 ) ) ;
#542 = ORIENTED_EDGE ( 'NONE', *, *, #1796, .F. ) ;
#543 = EDGE_LOOP ( 'NONE', ( #545, #534 ) ) ;
#544 = EDGE_CURVE ( 'NONE', #511, #547, #3687, .T. ) ;
#545 = ORIENTED_EDGE ( 'NONE', *, *, #531, .F. ) ;
#546 = ORIENTED_EDGE ( 'NONE', *, *, #524, .F. ) ;
#547 = VERTEX_POINT ( 'NONE', #3696 ) ;
#548 = ORIENTED_EDGE ( 'NONE', *, *, #575, .F. ) ;
#549 = EDGE_CURVE ( 'NONE', #1751, #1758, #3736, .T. ) ;
#550 = EDGE_LOOP ( 'NONE', ( #537, #536 ) ) ;
#551 = EDGE_CURVE ( 'NONE', #342, #526, #3727, .T. ) ;
#552 = ORIENTED_EDGE ( 'NONE', *, *, #2051, .T. ) ;
#553 = EDGE_LOOP ( 'NONE', ( #488, #577 ) ) ;
#554 = ORIENTED_EDGE ( 'NONE', *, *, #1941, .F. ) ;
#555 = EDGE_LOOP ( 'NONE', ( #539, #530 ) ) ;
#556 = EDGE_CURVE ( 'NONE', #564, #557, #3722, .T. ) ;
#557 = VERTEX_POINT ( 'NONE', #3726 ) ;
#558 = ORIENTED_EDGE ( 'NONE', *, *, #1797, .F. ) ;
#559 = ORIENTED_EDGE ( 'NONE', *, *, #447, .F. ) ;
#560 = EDGE_LOOP ( 'NONE', ( #559, #624, #2548, #2552 ) ) ;
#561 = ADVANCED_FACE ( 'NONE', ( #3634 ), #3681, .T. ) ;
#562 = EDGE_CURVE ( 'NONE', #563, #570, #3766, .T. ) ;
#563 = VERTEX_POINT ( 'NONE', #3768 ) ;
#564 = VERTEX_POINT ( 'NONE', #3737 ) ;
#565 = ORIENTED_EDGE ( 'NONE', *, *, #562, .F. ) ;
#566 = EDGE_CURVE ( 'NONE', #563, #511, #3714, .T. ) ;
#567 = EDGE_CURVE ( 'NONE', #573, #564, #3756, .T. ) ;
#568 = ORIENTED_EDGE ( 'NONE', *, *, #1857, .F. ) ;
#569 = ORIENTED_EDGE ( 'NONE', *, *, #566, .T. ) ;
#570 = VERTEX_POINT ( 'NONE', #3752 ) ;
#571 = ORIENTED_EDGE ( 'NONE', *, *, #592, .F. ) ;
#572 = EDGE_CURVE ( 'NONE', #591, #587, #3758, .T. ) ;
#573 = VERTEX_POINT ( 'NONE', #3750 ) ;
#574 = ORIENTED_EDGE ( 'NONE', *, *, #575, .T. ) ;
#575 = EDGE_CURVE ( 'NONE', #587, #584, #3749, .T. ) ;
#576 = EDGE_LOOP ( 'NONE', ( #580, #578, #590, #571 ) ) ;
#577 = ORIENTED_EDGE ( 'NONE', *, *, #1927, .F. ) ;
#578 = ORIENTED_EDGE ( 'NONE', *, *, #567, .T. ) ;
#579 = EDGE_CURVE ( 'NONE', #497, #584, #3741, .T. ) ;
#580 = ORIENTED_EDGE ( 'NONE', *, *, #582, .F. ) ;
#581 = ORIENTED_EDGE ( 'NONE', *, *, #2029, .F. ) ;
#582 = EDGE_CURVE ( 'NONE', #573, #588, #3794, .T. ) ;
#583 = ADVANCED_FACE ( 'NONE', ( #3788 ), #3796, .T. ) ;
#584 = VERTEX_POINT ( 'NONE', #3793 ) ;
#585 = EDGE_LOOP ( 'NONE', ( #509, #568 ) ) ;
#586 = ORIENTED_EDGE ( 'NONE', *, *, #579, .F. ) ;
#587 = VERTEX_POINT ( 'NONE', #3785 ) ;
#588 = VERTEX_POINT ( 'NONE', #3795 ) ;
#589 = EDGE_CURVE ( 'NONE', #591, #497, #3786, .T. ) ;
#590 = ORIENTED_EDGE ( 'NONE', *, *, #556, .T. ) ;
#591 = VERTEX_POINT ( 'NONE', #3779 ) ;
#592 = EDGE_CURVE ( 'NONE', #588, #557, #3773, .T. ) ;
#593 = EDGE_CURVE ( 'NONE', #618, #595, #3778, .T. ) ;
#594 = ORIENTED_EDGE ( 'NONE', *, *, #1787, .F. ) ;
#595 = VERTEX_POINT ( 'NONE', #3820 ) ;
#596 = ORIENTED_EDGE ( 'NONE', *, *, #1234, .T. ) ;
#597 = ADVANCED_FACE ( 'NONE', ( #3771 ), #3787, .T. ) ;
#598 = ORIENTED_EDGE ( 'NONE', *, *, #7725, .F. ) ;
#599 = ORIENTED_EDGE ( 'NONE', *, *, #2294, .F. ) ;
#600 = EDGE_CURVE ( 'NONE', #611, #618, #3823, .T. ) ;
#601 = ORIENTED_EDGE ( 'NONE', *, *, #2749, .F. ) ;
#602 = ORIENTED_EDGE ( 'NONE', *, *, #1846, .F. ) ;
#603 = ORIENTED_EDGE ( 'NONE', *, *, #82, .F. ) ;
#604 = ADVANCED_FACE ( 'NONE', ( #3814 ), #3772, .F. ) ;
#605 = EDGE_CURVE ( 'NONE', #611, #610, #3804, .T. ) ;
#606 = EDGE_LOOP ( 'NONE', ( #602, #601, #2753, #2757 ) ) ;
#607 = ORIENTED_EDGE ( 'NONE', *, *, #658, .T. ) ;
#608 = ORIENTED_EDGE ( 'NONE', *, *, #600, .T. ) ;
#609 = ORIENTED_EDGE ( 'NONE', *, *, #842, .F. ) ;
#610 = VERTEX_POINT ( 'NONE', #3810 ) ;
#611 = VERTEX_POINT ( 'NONE', #3850 ) ;
#612 = ADVANCED_FACE ( 'NONE', ( #3849 ), #3805, .T. ) ;
#613 = ORIENTED_EDGE ( 'NONE', *, *, #605, .F. ) ;
#614 = EDGE_LOOP ( 'NONE', ( #607, #329, #330, #328 ) ) ;
#615 = ADVANCED_FACE ( 'NONE', ( #3846 ), #3852, .T. ) ;
#616 = ORIENTED_EDGE ( 'NONE', *, *, #593, .T. ) ;
#617 = ORIENTED_EDGE ( 'NONE', *, *, #194, .T. ) ;
#618 = VERTEX_POINT ( 'NONE', #3815 ) ;
#619 = EDGE_LOOP ( 'NONE', ( #599, #603, #81, #65 ) ) ;
#620 = EDGE_LOOP ( 'NONE', ( #613, #608, #616, #594 ) ) ;
#621 = ORIENTED_EDGE ( 'NONE', *, *, #2820, .F. ) ;
#622 = ADVANCED_FACE ( 'NONE', ( #3845 ), #3842, .T. ) ;
#623 = EDGE_CURVE ( 'NONE', #1854, #1881, #3831, .T. ) ;
#624 = ORIENTED_EDGE ( 'NONE', *, *, #2543, .F. ) ;
#625 = ORIENTED_EDGE ( 'NONE', *, *, #684, .F. ) ;
#626 = EDGE_LOOP ( 'NONE', ( #629, #625, #631, #686 ) ) ;
#627 = ORIENTED_EDGE ( 'NONE', *, *, #630, .F. ) ;
#628 = EDGE_CURVE ( 'NONE', #691, #210, #3801, .T. ) ;
#629 = ORIENTED_EDGE ( 'NONE', *, *, #217, .T. ) ;
#630 = EDGE_CURVE ( 'NONE', #691, #694, #3880, .T. ) ;
#631 = ORIENTED_EDGE ( 'NONE', *, *, #687, .F. ) ;
#632 = ORIENTED_EDGE ( 'NONE', *, *, #628, .T. ) ;
#633 = ADVANCED_FACE ( 'NONE', ( #3832 ), #3836, .F. ) ;
#634 = EDGE_CURVE ( 'NONE', #635, #241, #3869, .T. ) ;
#635 = VERTEX_POINT ( 'NONE', #3870 ) ;
#636 = ORIENTED_EDGE ( 'NONE', *, *, #690, .T. ) ;
#637 = ORIENTED_EDGE ( 'NONE', *, *, #679, .F. ) ;
#638 = ADVANCED_FACE ( 'NONE', ( #3876 ), #3875, .F. ) ;
#639 = ORIENTED_EDGE ( 'NONE', *, *, #641, .F. ) ;
#640 = ORIENTED_EDGE ( 'NONE', *, *, #2076, .T. ) ;
#641 = EDGE_CURVE ( 'NONE', #7703, #7763, #3833, .T. ) ;
#642 = EDGE_CURVE ( 'NONE', #7784, #2021, #3856, .T. ) ;
#643 = ORIENTED_EDGE ( 'NONE', *, *, #644, .F. ) ;
#644 = EDGE_CURVE ( 'NONE', #654, #7784, #3861, .T. ) ;
#645 = ORIENTED_EDGE ( 'NONE', *, *, #653, .F. ) ;
#646 = ORIENTED_EDGE ( 'NONE', *, *, #649, .F. ) ;
#647 = ORIENTED_EDGE ( 'NONE', *, *, #642, .T. ) ;
#648 = ORIENTED_EDGE ( 'NONE', *, *, #2078, .T. ) ;
#649 = EDGE_CURVE ( 'NONE', #7703, #2027, #3910, .T. ) ;
#650 = ADVANCED_FACE ( 'NONE', ( #3904 ), #3908, .F. ) ;
#651 = ORIENTED_EDGE ( 'NONE', *, *, #660, .F. ) ;
#652 = ORIENTED_EDGE ( 'NONE', *, *, #649, .T. ) ;
#653 = EDGE_CURVE ( 'NONE', #7784, #7703, #3895, .T. ) ;
#654 = VERTEX_POINT ( 'NONE', #3903 ) ;
#655 = ADVANCED_FACE ( 'NONE', ( #3891 ), #3898, .F. ) ;
#656 = EDGE_CURVE ( 'NONE', #654, #2041, #3857, .T. ) ;
#657 = ORIENTED_EDGE ( 'NONE', *, *, #642, .F. ) ;
#658 = EDGE_CURVE ( 'NONE', #7763, #654, #3938, .T. ) ;
#659 = ORIENTED_EDGE ( 'NONE', *, *, #658, .F. ) ;
#660 = EDGE_CURVE ( 'NONE', #7763, #2028, #3884, .T. ) ;
#661 = EDGE_LOOP ( 'NONE', ( #662, #700, #706, #716 ) ) ;
#662 = ORIENTED_EDGE ( 'NONE', *, *, #2064, .T. ) ;
#663 = EDGE_CURVE ( 'NONE', #723, #2087, #3890, .T. ) ;
#664 = EDGE_CURVE ( 'NONE', #708, #2025, #3923, .T. ) ;
#665 = ORIENTED_EDGE ( 'NONE', *, *, #2082, .T. ) ;
#666 = EDGE_LOOP ( 'NONE', ( #711, #720, #727, #712 ) ) ;
#667 = ORIENTED_EDGE ( 'NONE', *, *, #628, .F. ) ;
#668 = ADVANCED_FACE ( 'NONE', ( #3918 ), #3928, .F. ) ;
#669 = ORIENTED_EDGE ( 'NONE', *, *, #684, .T. ) ;
#670 = EDGE_LOOP ( 'NONE', ( #673, #675, #677, #689 ) ) ;
#671 = EDGE_CURVE ( 'NONE', #725, #2024, #3930, .T. ) ;
#672 = ORIENTED_EDGE ( 'NONE', *, *, #681, .F. ) ;
#673 = ORIENTED_EDGE ( 'NONE', *, *, #630, .T. ) ;
#674 = ORIENTED_EDGE ( 'NONE', *, *, #663, .T. ) ;
#675 = ORIENTED_EDGE ( 'NONE', *, *, #679, .T. ) ;
#676 = ADVANCED_FACE ( 'NONE', ( #3883 ), #3934, .T. ) ;
#677 = ORIENTED_EDGE ( 'NONE', *, *, #687, .T. ) ;
#678 = ORIENTED_EDGE ( 'NONE', *, *, #634, .F. ) ;
#679 = EDGE_CURVE ( 'NONE', #694, #635, #3965, .T. ) ;
#680 = EDGE_LOOP ( 'NONE', ( #682, #667, #672, #669 ) ) ;
#681 = EDGE_CURVE ( 'NONE', #685, #691, #3961, .T. ) ;
#682 = ORIENTED_EDGE ( 'NONE', *, *, #193, .T. ) ;
#683 = ADVANCED_FACE ( 'NONE', ( #3917 ), #3966, .F. ) ;
#684 = EDGE_CURVE ( 'NONE', #685, #192, #3954, .T. ) ;
#685 = VERTEX_POINT ( 'NONE', #3952 ) ;
#686 = ORIENTED_EDGE ( 'NONE', *, *, #634, .T. ) ;
#687 = EDGE_CURVE ( 'NONE', #635, #685, #3946, .T. ) ;
#688 = EDGE_LOOP ( 'NONE', ( #665, #719, #721, #674 ) ) ;
#689 = ORIENTED_EDGE ( 'NONE', *, *, #681, .T. ) ;
#690 = EDGE_CURVE ( 'NONE', #694, #218, #4001, .T. ) ;
#691 = VERTEX_POINT ( 'NONE', #3955 ) ;
#692 = EDGE_LOOP ( 'NONE', ( #693, #678, #637, #636 ) ) ;
#693 = ORIENTED_EDGE ( 'NONE', *, *, #237, .T. ) ;
#694 = VERTEX_POINT ( 'NONE', #4002 ) ;
#695 = ORIENTED_EDGE ( 'NONE', *, *, #707, .T. ) ;
#696 = ADVANCED_FACE ( 'NONE', ( #3996 ), #3957, .F. ) ;
#697 = ADVANCED_FACE ( 'NONE', ( #3944 ), #3994, .F. ) ;
#698 = EDGE_CURVE ( 'NONE', #699, #2086, #3981, .T. ) ;
#699 = VERTEX_POINT ( 'NONE', #3982 ) ;
#700 = ORIENTED_EDGE ( 'NONE', *, *, #663, .F. ) ;
#701 = ORIENTED_EDGE ( 'NONE', *, *, #200, .T. ) ;
#702 = EDGE_LOOP ( 'NONE', ( #756, #760, #758, #695 ) ) ;
#703 = ORIENTED_EDGE ( 'NONE', *, *, #664, .T. ) ;
#704 = EDGE_LOOP ( 'NONE', ( #755, #759, #750, #752 ) ) ;
#705 = ADVANCED_FACE ( 'NONE', ( #3986 ), #3991, .F. ) ;
#706 = ORIENTED_EDGE ( 'NONE', *, *, #707, .F. ) ;
#707 = EDGE_CURVE ( 'NONE', #699, #723, #3259, .T. ) ;
#708 = VERTEX_POINT ( 'NONE', #3762 ) ;
#709 = ADVANCED_FACE ( 'NONE', ( #3747 ), #3976, .F. ) ;
#710 = EDGE_CURVE ( 'NONE', #708, #699, #4024, .T. ) ;
#711 = ORIENTED_EDGE ( 'NONE', *, *, #2069, .T. ) ;
#712 = ORIENTED_EDGE ( 'NONE', *, *, #671, .T. ) ;
#713 = EDGE_CURVE ( 'NONE', #725, #708, #4020, .T. ) ;
#714 = ORIENTED_EDGE ( 'NONE', *, *, #710, .F. ) ;
#715 = VERTEX_POINT ( 'NONE', #4017 ) ;
#716 = ORIENTED_EDGE ( 'NONE', *, *, #698, .T. ) ;
#717 = ORIENTED_EDGE ( 'NONE', *, *, #2066, .T. ) ;
#718 = ORIENTED_EDGE ( 'NONE', *, *, #698, .F. ) ;
#719 = ORIENTED_EDGE ( 'NONE', *, *, #671, .F. ) ;
#720 = ORIENTED_EDGE ( 'NONE', *, *, #664, .F. ) ;
#721 = ORIENTED_EDGE ( 'NONE', *, *, #722, .F. ) ;
#722 = EDGE_CURVE ( 'NONE', #723, #725, #4027, .T. ) ;
#723 = VERTEX_POINT ( 'NONE', #4011 ) ;
#724 = ADVANCED_FACE ( 'NONE', ( #4028 ), #4029, .F. ) ;
#725 = VERTEX_POINT ( 'NONE', #4016 ) ;
#726 = EDGE_LOOP ( 'NONE', ( #717, #718, #714, #703 ) ) ;
#727 = ORIENTED_EDGE ( 'NONE', *, *, #713, .F. ) ;
#728 = EDGE_LOOP ( 'NONE', ( #795, #779, #764, #786 ) ) ;
#729 = ORIENTED_EDGE ( 'NONE', *, *, #739, .T. ) ;
#730 = EDGE_CURVE ( 'NONE', #732, #199, #4004, .T. ) ;
#731 = ORIENTED_EDGE ( 'NONE', *, *, #746, .F. ) ;
#732 = VERTEX_POINT ( 'NONE', #4012 ) ;
#733 = EDGE_LOOP ( 'NONE', ( #743, #738, #794, #789 ) ) ;
#734 = VERTEX_POINT ( 'NONE', #4007 ) ;
#735 = EDGE_LOOP ( 'NONE', ( #740, #741, #731, #788 ) ) ;
#736 = ORIENTED_EDGE ( 'NONE', *, *, #739, .F. ) ;
#737 = EDGE_LOOP ( 'NONE', ( #775, #819, #773, #823 ) ) ;
#738 = ORIENTED_EDGE ( 'NONE', *, *, #751, .F. ) ;
#739 = EDGE_CURVE ( 'NONE', #715, #732, #4009, .T. ) ;
#740 = ORIENTED_EDGE ( 'NONE', *, *, #238, .T. ) ;
#741 = ORIENTED_EDGE ( 'NONE', *, *, #745, .F. ) ;
#742 = ORIENTED_EDGE ( 'NONE', *, *, #754, .T. ) ;
#743 = ORIENTED_EDGE ( 'NONE', *, *, #240, .T. ) ;
#744 = ADVANCED_FACE ( 'NONE', ( #4051 ), #4045, .F. ) ;
#745 = EDGE_CURVE ( 'NONE', #747, #220, #4003, .T. ) ;
#746 = EDGE_CURVE ( 'NONE', #732, #747, #4038, .T. ) ;
#747 = VERTEX_POINT ( 'NONE', #4050 ) ;
#748 = VERTEX_POINT ( 'NONE', #4044 ) ;
#749 = EDGE_CURVE ( 'NONE', #748, #715, #4032, .T. ) ;
#750 = ORIENTED_EDGE ( 'NONE', *, *, #749, .F. ) ;
#751 = EDGE_CURVE ( 'NONE', #748, #243, #4085, .T. ) ;
#752 = ORIENTED_EDGE ( 'NONE', *, *, #751, .T. ) ;
#753 = ADVANCED_FACE ( 'NONE', ( #4086 ), #4041, .F. ) ;
#754 = EDGE_CURVE ( 'NONE', #715, #181, #4075, .T. ) ;
#755 = ORIENTED_EDGE ( 'NONE', *, *, #216, .T. ) ;
#756 = ORIENTED_EDGE ( 'NONE', *, *, #722, .T. ) ;
#757 = ADVANCED_FACE ( 'NONE', ( #4033 ), #4080, .T. ) ;
#758 = ORIENTED_EDGE ( 'NONE', *, *, #710, .T. ) ;
#759 = ORIENTED_EDGE ( 'NONE', *, *, #754, .F. ) ;
#760 = ORIENTED_EDGE ( 'NONE', *, *, #713, .T. ) ;
#761 = EDGE_LOOP ( 'NONE', ( #701, #7761, #736, #742 ) ) ;
#762 = EDGE_LOOP ( 'NONE', ( #807, #809, #811, #815 ) ) ;
#763 = EDGE_CURVE ( 'NONE', #803, #172, #4065, .T. ) ;
#764 = ORIENTED_EDGE ( 'NONE', *, *, #785, .F. ) ;
#765 = EDGE_CURVE ( 'NONE', #781, #2067, #4060, .T. ) ;
#766 = EDGE_LOOP ( 'NONE', ( #818, #828, #805, #827 ) ) ;
#767 = VERTEX_POINT ( 'NONE', #4061 ) ;
#768 = ORIENTED_EDGE ( 'NONE', *, *, #772, .F. ) ;
#769 = ADVANCED_FACE ( 'NONE', ( #4056 ), #4034, .F. ) ;
#770 = EDGE_CURVE ( 'NONE', #767, #2073, #4111, .T. ) ;
#771 = ORIENTED_EDGE ( 'NONE', *, *, #2057, .T. ) ;
#772 = EDGE_CURVE ( 'NONE', #734, #767, #4104, .T. ) ;
#773 = ORIENTED_EDGE ( 'NONE', *, *, #774, .F. ) ;
#774 = EDGE_CURVE ( 'NONE', #767, #822, #4076, .T. ) ;
#775 = ORIENTED_EDGE ( 'NONE', *, *, #2130, .T. ) ;
#776 = ADVANCED_FACE ( 'NONE', ( #4107 ), #4116, .T. ) ;
#777 = EDGE_LOOP ( 'NONE', ( #771, #793, #768, #784 ) ) ;
#778 = ORIENTED_EDGE ( 'NONE', *, *, #749, .T. ) ;
#779 = ORIENTED_EDGE ( 'NONE', *, *, #783, .F. ) ;
#780 = ORIENTED_EDGE ( 'NONE', *, *, #746, .T. ) ;
#781 = VERTEX_POINT ( 'NONE', #4099 ) ;
#782 = ADVANCED_FACE ( 'NONE', ( #4100 ), #4094, .F. ) ;
#783 = EDGE_CURVE ( 'NONE', #734, #2075, #4105, .T. ) ;
#784 = ORIENTED_EDGE ( 'NONE', *, *, #783, .T. ) ;
#785 = EDGE_CURVE ( 'NONE', #781, #734, #4089, .T. ) ;
#786 = ORIENTED_EDGE ( 'NONE', *, *, #765, .T. ) ;
#787 = ORIENTED_EDGE ( 'NONE', *, *, #792, .T. ) ;
#788 = ORIENTED_EDGE ( 'NONE', *, *, #730, .T. ) ;
#789 = ORIENTED_EDGE ( 'NONE', *, *, #745, .T. ) ;
#790 = ADVANCED_FACE ( 'NONE', ( #4106 ), #4142, .F. ) ;
#791 = EDGE_LOOP ( 'NONE', ( #778, #729, #780, #787 ) ) ;
#792 = EDGE_CURVE ( 'NONE', #747, #748, #4130, .T. ) ;
#793 = ORIENTED_EDGE ( 'NONE', *, *, #770, .F. ) ;
#794 = ORIENTED_EDGE ( 'NONE', *, *, #792, .F. ) ;
#795 = ORIENTED_EDGE ( 'NONE', *, *, #2072, .T. ) ;
#796 = ADVANCED_FACE ( 'NONE', ( #4093 ), #4132, .F. ) ;
#797 = VERTEX_POINT ( 'NONE', #4126 ) ;
#798 = EDGE_LOOP ( 'NONE', ( #860, #799, #609, #847 ) ) ;
#799 = ORIENTED_EDGE ( 'NONE', *, *, #861, .F. ) ;
#800 = ORIENTED_EDGE ( 'NONE', *, *, #804, .T. ) ;
#801 = EDGE_CURVE ( 'NONE', #817, #154, #4118, .T. ) ;
#802 = ADVANCED_FACE ( 'NONE', ( #4117 ), #4172, .F. ) ;
#803 = VERTEX_POINT ( 'NONE', #4170 ) ;
#804 = EDGE_CURVE ( 'NONE', #797, #433, #4161, .T. ) ;
#805 = ORIENTED_EDGE ( 'NONE', *, *, #826, .F. ) ;
#806 = ORIENTED_EDGE ( 'NONE', *, *, #171, .T. ) ;
#807 = ORIENTED_EDGE ( 'NONE', *, *, #785, .T. ) ;
#808 = ORIENTED_EDGE ( 'NONE', *, *, #801, .T. ) ;
#809 = ORIENTED_EDGE ( 'NONE', *, *, #772, .T. ) ;
#810 = ADVANCED_FACE ( 'NONE', ( #4127 ), #4163, .T. ) ;
#811 = ORIENTED_EDGE ( 'NONE', *, *, #774, .T. ) ;
#812 = ORIENTED_EDGE ( 'NONE', *, *, #804, .F. ) ;
#813 = EDGE_LOOP ( 'NONE', ( #857, #858, #825, #800 ) ) ;
#814 = ORIENTED_EDGE ( 'NONE', *, *, #816, .F. ) ;
#815 = ORIENTED_EDGE ( 'NONE', *, *, #826, .T. ) ;
#816 = EDGE_CURVE ( 'NONE', #817, #797, #4154, .T. ) ;
#817 = VERTEX_POINT ( 'NONE', #4168 ) ;
#818 = ORIENTED_EDGE ( 'NONE', *, *, #2065, .T. ) ;
#819 = ORIENTED_EDGE ( 'NONE', *, *, #821, .F. ) ;
#820 = ADVANCED_FACE ( 'NONE', ( #4164 ), #4162, .F. ) ;
#821 = EDGE_CURVE ( 'NONE', #822, #2071, #4202, .T. ) ;
#822 = VERTEX_POINT ( 'NONE', #4204 ) ;
#823 = ORIENTED_EDGE ( 'NONE', *, *, #770, .T. ) ;
#824 = EDGE_LOOP ( 'NONE', ( #806, #812, #814, #808 ) ) ;
#825 = ORIENTED_EDGE ( 'NONE', *, *, #859, .F. ) ;
#826 = EDGE_CURVE ( 'NONE', #822, #781, #4167, .T. ) ;
#827 = ORIENTED_EDGE ( 'NONE', *, *, #821, .T. ) ;
#828 = ORIENTED_EDGE ( 'NONE', *, *, #765, .F. ) ;
#829 = ADVANCED_FACE ( 'NONE', ( #4196 ), #4090, .F. ) ;
#830 = ADVANCED_FACE ( 'NONE', ( #4197 ), #4198, .T. ) ;
#831 = ORIENTED_EDGE ( 'NONE', *, *, #883, .T. ) ;
#832 = ORIENTED_EDGE ( 'NONE', *, *, #842, .T. ) ;
#833 = ORIENTED_EDGE ( 'NONE', *, *, #859, .T. ) ;
#834 = ORIENTED_EDGE ( 'NONE', *, *, #2062, .T. ) ;
#835 = ORIENTED_EDGE ( 'NONE', *, *, #839, .F. ) ;
#836 = ORIENTED_EDGE ( 'NONE', *, *, #854, .F. ) ;
#837 = ADVANCED_FACE ( 'NONE', ( #4148 ), #4189, .F. ) ;
#838 = ORIENTED_EDGE ( 'NONE', *, *, #889, .F. ) ;
#839 = EDGE_CURVE ( 'NONE', #840, #841, #4182, .T. ) ;
#840 = VERTEX_POINT ( 'NONE', #4183 ) ;
#841 = VERTEX_POINT ( 'NONE', #4177 ) ;
#842 = EDGE_CURVE ( 'NONE', #803, #863, #4179, .T. ) ;
#843 = EDGE_CURVE ( 'NONE', #863, #817, #4225, .T. ) ;
#844 = ORIENTED_EDGE ( 'NONE', *, *, #202, .T. ) ;
#845 = EDGE_LOOP ( 'NONE', ( #871, #872, #893, #879 ) ) ;
#846 = ORIENTED_EDGE ( 'NONE', *, *, #843, .T. ) ;
#847 = ORIENTED_EDGE ( 'NONE', *, *, #763, .T. ) ;
#848 = ADVANCED_FACE ( 'NONE', ( #4220 ), #4178, .F. ) ;
#849 = ORIENTED_EDGE ( 'NONE', *, *, #861, .T. ) ;
#850 = EDGE_LOOP ( 'NONE', ( #844, #853, #855, #849 ) ) ;
#851 = EDGE_LOOP ( 'NONE', ( #852, #833, #832, #846 ) ) ;
#852 = ORIENTED_EDGE ( 'NONE', *, *, #816, .T. ) ;
#853 = ORIENTED_EDGE ( 'NONE', *, *, #801, .F. ) ;
#854 = EDGE_CURVE ( 'NONE', #841, #2083, #4210, .T. ) ;
#855 = ORIENTED_EDGE ( 'NONE', *, *, #843, .F. ) ;
#856 = EDGE_LOOP ( 'NONE', ( #886, #838, #887, #891 ) ) ;
#857 = ORIENTED_EDGE ( 'NONE', *, *, #226, .T. ) ;
#858 = ORIENTED_EDGE ( 'NONE', *, *, #763, .F. ) ;
#859 = EDGE_CURVE ( 'NONE', #797, #803, #4212, .T. ) ;
#860 = ORIENTED_EDGE ( 'NONE', *, *, #212, .T. ) ;
#861 = EDGE_CURVE ( 'NONE', #863, #225, #3260, .T. ) ;
#862 = ADVANCED_FACE ( 'NONE', ( #4216 ), #3484, .F. ) ;
#863 = VERTEX_POINT ( 'NONE', #4217 ) ;
#864 = ORIENTED_EDGE ( 'NONE', *, *, #892, .T. ) ;
#865 = ADVANCED_FACE ( 'NONE', ( #4213 ), #4256, .T. ) ;
#866 = EDGE_LOOP ( 'NONE', ( #882, #922, #908, #255 ) ) ;
#867 = ORIENTED_EDGE ( 'NONE', *, *, #921, .F. ) ;
#868 = ORIENTED_EDGE ( 'NONE', *, *, #878, .T. ) ;
#869 = ORIENTED_EDGE ( 'NONE', *, *, #890, .T. ) ;
#870 = VERTEX_POINT ( 'NONE', #4249 ) ;
#871 = ORIENTED_EDGE ( 'NONE', *, *, #2112, .T. ) ;
#872 = ORIENTED_EDGE ( 'NONE', *, *, #874, .F. ) ;
#873 = ADVANCED_FACE ( 'NONE', ( #4251 ), #4259, .F. ) ;
#874 = EDGE_CURVE ( 'NONE', #875, #2063, #4243, .T. ) ;
#875 = VERTEX_POINT ( 'NONE', #4244 ) ;
#876 = EDGE_LOOP ( 'NONE', ( #913, #911, #910, #912 ) ) ;
#877 = ORIENTED_EDGE ( 'NONE', *, *, #883, .F. ) ;
#878 = EDGE_CURVE ( 'NONE', #875, #840, #4237, .T. ) ;
#879 = ORIENTED_EDGE ( 'NONE', *, *, #889, .T. ) ;
#880 = ORIENTED_EDGE ( 'NONE', *, *, #874, .T. ) ;
#881 = ADVANCED_FACE ( 'NONE', ( #4248 ), #4238, .F. ) ;
#882 = ORIENTED_EDGE ( 'NONE', *, *, #140, .T. ) ;
#883 = EDGE_CURVE ( 'NONE', #840, #2131, #4289, .T. ) ;
#884 = EDGE_LOOP ( 'NONE', ( #834, #877, #256, #880 ) ) ;
#885 = VERTEX_POINT ( 'NONE', #4285 ) ;
#886 = ORIENTED_EDGE ( 'NONE', *, *, #2116, .T. ) ;
#887 = ORIENTED_EDGE ( 'NONE', *, *, #892, .F. ) ;
#888 = ADVANCED_FACE ( 'NONE', ( #4232 ), #4286, .F. ) ;
#889 = EDGE_CURVE ( 'NONE', #885, #2113, #4276, .T. ) ;
#890 = EDGE_CURVE ( 'NONE', #885, #875, #4281, .T. ) ;
#891 = ORIENTED_EDGE ( 'NONE', *, *, #854, .T. ) ;
#892 = EDGE_CURVE ( 'NONE', #841, #885, #4267, .T. ) ;
#893 = ORIENTED_EDGE ( 'NONE', *, *, #890, .F. ) ;
#894 = EDGE_LOOP ( 'NONE', ( #115, #864, #869, #868 ) ) ;
#895 = ORIENTED_EDGE ( 'NONE', *, *, #2059, .T. ) ;
#896 = EDGE_LOOP ( 'NONE', ( #895, #836, #835, #831 ) ) ;
#897 = ORIENTED_EDGE ( 'NONE', *, *, #962, .T. ) ;
#898 = ORIENTED_EDGE ( 'NONE', *, *, #954, .T. ) ;
#899 = ADVANCED_FACE ( 'NONE', ( #4290 ), #4278, .F. ) ;
#900 = ORIENTED_EDGE ( 'NONE', *, *, #955, .T. ) ;
#901 = EDGE_LOOP ( 'NONE', ( #950, #947, #953, #898 ) ) ;
#902 = EDGE_CURVE ( 'NONE', #960, #956, #4313, .T. ) ;
#903 = ADVANCED_FACE ( 'NONE', ( #4260 ), #4265, .F. ) ;
#904 = ORIENTED_EDGE ( 'NONE', *, *, #906, .F. ) ;
#905 = ORIENTED_EDGE ( 'NONE', *, *, #252, .T. ) ;
#906 = EDGE_CURVE ( 'NONE', #929, #870, #4304, .T. ) ;
#907 = EDGE_CURVE ( 'NONE', #927, #246, #4300, .T. ) ;
#908 = ORIENTED_EDGE ( 'NONE', *, *, #909, .F. ) ;
#909 = EDGE_CURVE ( 'NONE', #919, #927, #4307, .T. ) ;
#910 = ORIENTED_EDGE ( 'NONE', *, *, #918, .F. ) ;
#911 = ORIENTED_EDGE ( 'NONE', *, *, #914, .F. ) ;
#912 = ORIENTED_EDGE ( 'NONE', *, *, #907, .T. ) ;
#913 = ORIENTED_EDGE ( 'NONE', *, *, #232, .T. ) ;
#914 = EDGE_CURVE ( 'NONE', #929, #242, #4295, .T. ) ;
#915 = ADVANCED_FACE ( 'NONE', ( #4264 ), #4341, .F. ) ;
#916 = ORIENTED_EDGE ( 'NONE', *, *, #925, .F. ) ;
#917 = ORIENTED_EDGE ( 'NONE', *, *, #914, .T. ) ;
#918 = EDGE_CURVE ( 'NONE', #927, #929, #4337, .T. ) ;
#919 = VERTEX_POINT ( 'NONE', #4340 ) ;
#920 = ADVANCED_FACE ( 'NONE', ( #4338 ), #4332, .F. ) ;
#921 = EDGE_CURVE ( 'NONE', #919, #116, #4330, .T. ) ;
#922 = ORIENTED_EDGE ( 'NONE', *, *, #907, .F. ) ;
#923 = EDGE_CURVE ( 'NONE', #870, #919, #4333, .T. ) ;
#924 = ORIENTED_EDGE ( 'NONE', *, *, #923, .F. ) ;
#925 = EDGE_CURVE ( 'NONE', #870, #120, #4329, .T. ) ;
#926 = EDGE_LOOP ( 'NONE', ( #905, #916, #904, #917 ) ) ;
#927 = VERTEX_POINT ( 'NONE', #4317 ) ;
#928 = ORIENTED_EDGE ( 'NONE', *, *, #925, .T. ) ;
#929 = VERTEX_POINT ( 'NONE', #4316 ) ;
#930 = ADVANCED_FACE ( 'NONE', ( #4315 ), #4326, .F. ) ;
#931 = ORIENTED_EDGE ( 'NONE', *, *, #933, .F. ) ;
#932 = ORIENTED_EDGE ( 'NONE', *, *, #2125, .T. ) ;
#933 = EDGE_CURVE ( 'NONE', #959, #965, #4321, .T. ) ;
#934 = ORIENTED_EDGE ( 'NONE', *, *, #902, .T. ) ;
#935 = EDGE_LOOP ( 'NONE', ( #938, #952, #990, #976 ) ) ;
#936 = ORIENTED_EDGE ( 'NONE', *, *, #2170, .T. ) ;
#937 = ADVANCED_FACE ( 'NONE', ( #4365 ), #4366, .F. ) ;
#938 = ORIENTED_EDGE ( 'NONE', *, *, #2100, .T. ) ;
#939 = ORIENTED_EDGE ( 'NONE', *, *, #951, .T. ) ;
#940 = EDGE_LOOP ( 'NONE', ( #936, #989, #980, #979 ) ) ;
#941 = ORIENTED_EDGE ( 'NONE', *, *, #962, .F. ) ;
#942 = EDGE_CURVE ( 'NONE', #995, #994, #4369, .T. ) ;
#943 = ORIENTED_EDGE ( 'NONE', *, *, #902, .F. ) ;
#944 = EDGE_CURVE ( 'NONE', #960, #2123, #4353, .T. ) ;
#945 = EDGE_LOOP ( 'NONE', ( #997, #988, #939, #934 ) ) ;
#946 = ORIENTED_EDGE ( 'NONE', *, *, #954, .F. ) ;
#947 = ORIENTED_EDGE ( 'NONE', *, *, #944, .F. ) ;
#948 = ADVANCED_FACE ( 'NONE', ( #4354 ), #4363, .F. ) ;
#949 = EDGE_LOOP ( 'NONE', ( #932, #946, #931, #900 ) ) ;
#950 = ORIENTED_EDGE ( 'NONE', *, *, #2105, .T. ) ;
#951 = EDGE_CURVE ( 'NONE', #965, #960, #4404, .T. ) ;
#952 = ORIENTED_EDGE ( 'NONE', *, *, #993, .F. ) ;
#953 = ORIENTED_EDGE ( 'NONE', *, *, #951, .F. ) ;
#954 = EDGE_CURVE ( 'NONE', #965, #2128, #4397, .T. ) ;
#955 = EDGE_CURVE ( 'NONE', #959, #2122, #4392, .T. ) ;
#956 = VERTEX_POINT ( 'NONE', #4398 ) ;
#957 = EDGE_LOOP ( 'NONE', ( #958, #941, #943, #963 ) ) ;
#958 = ORIENTED_EDGE ( 'NONE', *, *, #2102, .T. ) ;
#959 = VERTEX_POINT ( 'NONE', #4405 ) ;
#960 = VERTEX_POINT ( 'NONE', #4385 ) ;
#961 = ORIENTED_EDGE ( 'NONE', *, *, #964, .F. ) ;
#962 = EDGE_CURVE ( 'NONE', #956, #2121, #4388, .T. ) ;
#963 = ORIENTED_EDGE ( 'NONE', *, *, #944, .T. ) ;
#964 = EDGE_CURVE ( 'NONE', #956, #959, #4383, .T. ) ;
#965 = VERTEX_POINT ( 'NONE', #4393 ) ;
#966 = EDGE_CURVE ( 'NONE', #1033, #2114, #4373, .T. ) ;
#967 = EDGE_LOOP ( 'NONE', ( #1018, #1021, #1023, #1025 ) ) ;
#968 = ORIENTED_EDGE ( 'NONE', *, *, #2149, .T. ) ;
#969 = EDGE_LOOP ( 'NONE', ( #973, #970, #972, #985 ) ) ;
#970 = ORIENTED_EDGE ( 'NONE', *, *, #966, .F. ) ;
#971 = ADVANCED_FACE ( 'NONE', ( #4375 ), #4378, .F. ) ;
#972 = ORIENTED_EDGE ( 'NONE', *, *, #974, .F. ) ;
#973 = ORIENTED_EDGE ( 'NONE', *, *, #2109, .T. ) ;
#974 = EDGE_CURVE ( 'NONE', #994, #1033, #4386, .T. ) ;
#975 = EDGE_LOOP ( 'NONE', ( #968, #1019, #1034, #1016 ) ) ;
#976 = ORIENTED_EDGE ( 'NONE', *, *, #996, .T. ) ;
#977 = VERTEX_POINT ( 'NONE', #4426 ) ;
#978 = ADVANCED_FACE ( 'NONE', ( #4422 ), #4423, .F. ) ;
#979 = ORIENTED_EDGE ( 'NONE', *, *, #991, .T. ) ;
#980 = ORIENTED_EDGE ( 'NONE', *, *, #981, .F. ) ;
#981 = EDGE_CURVE ( 'NONE', #977, #995, #4410, .T. ) ;
#982 = ORIENTED_EDGE ( 'NONE', *, *, #2096, .T. ) ;
#983 = ORIENTED_EDGE ( 'NONE', *, *, #991, .F. ) ;
#984 = EDGE_LOOP ( 'NONE', ( #982, #983, #1031, #1030 ) ) ;
#985 = ORIENTED_EDGE ( 'NONE', *, *, #993, .T. ) ;