Newer
Older
7001
7002
7003
7004
7005
7006
7007
7008
7009
7010
7011
7012
7013
7014
7015
7016
7017
7018
7019
7020
7021
7022
7023
7024
7025
7026
7027
7028
7029
7030
7031
7032
7033
7034
7035
7036
7037
7038
7039
7040
7041
7042
7043
7044
7045
7046
7047
7048
7049
7050
7051
7052
7053
7054
7055
7056
7057
7058
7059
7060
7061
7062
7063
7064
7065
7066
7067
7068
7069
7070
7071
7072
7073
7074
7075
7076
7077
7078
7079
7080
7081
7082
7083
7084
7085
7086
7087
7088
7089
7090
7091
7092
7093
7094
7095
7096
7097
7098
7099
7100
7101
7102
7103
7104
7105
7106
7107
7108
7109
7110
7111
7112
7113
7114
7115
7116
7117
7118
7119
7120
7121
7122
7123
7124
7125
7126
7127
7128
7129
7130
7131
7132
7133
7134
7135
7136
7137
7138
7139
7140
7141
7142
7143
7144
7145
7146
7147
7148
7149
7150
7151
7152
7153
7154
7155
7156
7157
7158
7159
7160
7161
7162
7163
7164
7165
7166
7167
7168
7169
7170
7171
7172
7173
7174
7175
7176
7177
7178
7179
7180
7181
7182
7183
7184
7185
7186
7187
7188
7189
7190
7191
7192
7193
7194
7195
7196
7197
7198
7199
7200
7201
7202
7203
7204
7205
7206
7207
7208
7209
7210
7211
7212
7213
7214
7215
7216
7217
7218
7219
7220
7221
7222
7223
7224
7225
7226
7227
7228
7229
7230
7231
7232
7233
7234
7235
7236
7237
7238
7239
7240
7241
7242
7243
7244
7245
7246
7247
7248
7249
7250
7251
7252
7253
7254
7255
7256
7257
7258
7259
7260
7261
7262
7263
7264
7265
7266
7267
7268
7269
7270
7271
7272
7273
7274
7275
7276
7277
7278
7279
7280
7281
7282
7283
7284
7285
7286
7287
7288
7289
7290
7291
7292
7293
7294
7295
7296
7297
7298
7299
7300
7301
7302
7303
7304
7305
7306
7307
7308
7309
7310
7311
7312
7313
7314
7315
7316
7317
7318
7319
7320
7321
7322
7323
7324
7325
7326
7327
7328
7329
7330
7331
7332
7333
7334
7335
7336
7337
7338
7339
7340
7341
7342
7343
7344
7345
7346
7347
7348
7349
7350
7351
7352
7353
7354
7355
7356
7357
7358
7359
7360
7361
7362
7363
7364
7365
7366
7367
7368
7369
7370
7371
7372
7373
7374
7375
7376
7377
7378
7379
7380
7381
7382
7383
7384
7385
7386
7387
7388
7389
7390
7391
7392
7393
7394
7395
7396
7397
7398
7399
7400
7401
7402
7403
7404
7405
7406
7407
7408
7409
7410
7411
7412
7413
7414
7415
7416
7417
7418
7419
7420
7421
7422
7423
7424
7425
7426
7427
7428
7429
7430
7431
7432
7433
7434
7435
7436
7437
7438
7439
7440
7441
7442
7443
7444
7445
7446
7447
7448
7449
7450
7451
7452
7453
7454
7455
7456
7457
7458
7459
7460
7461
7462
7463
7464
7465
7466
7467
7468
7469
7470
7471
7472
7473
7474
7475
7476
7477
7478
7479
7480
7481
7482
7483
7484
7485
7486
7487
7488
7489
7490
7491
7492
7493
7494
7495
7496
7497
7498
7499
7500
7501
7502
7503
7504
7505
7506
7507
7508
7509
7510
7511
7512
7513
7514
7515
7516
7517
7518
7519
7520
7521
7522
7523
7524
7525
7526
7527
7528
7529
7530
7531
7532
7533
7534
7535
7536
7537
7538
7539
7540
7541
7542
7543
7544
7545
7546
7547
7548
7549
7550
7551
7552
7553
7554
7555
7556
7557
7558
7559
7560
7561
7562
7563
7564
7565
7566
7567
7568
7569
7570
7571
7572
7573
7574
7575
7576
7577
7578
7579
7580
7581
7582
7583
7584
7585
7586
7587
7588
7589
7590
7591
7592
7593
7594
7595
7596
7597
7598
7599
7600
7601
7602
7603
7604
7605
7606
7607
7608
7609
7610
7611
7612
7613
7614
7615
7616
7617
7618
7619
7620
7621
7622
7623
7624
7625
7626
7627
7628
7629
7630
7631
7632
7633
7634
7635
7636
7637
7638
7639
7640
7641
7642
7643
7644
7645
7646
7647
7648
7649
7650
7651
7652
7653
7654
7655
7656
7657
7658
7659
7660
7661
7662
7663
7664
7665
7666
7667
7668
7669
7670
7671
7672
7673
7674
7675
7676
7677
7678
7679
7680
7681
7682
7683
7684
7685
7686
7687
7688
7689
7690
7691
7692
7693
7694
7695
7696
7697
7698
7699
7700
7701
7702
7703
7704
7705
7706
7707
7708
7709
7710
7711
7712
7713
7714
7715
7716
7717
7718
7719
7720
7721
7722
7723
7724
7725
7726
7727
7728
7729
7730
7731
7732
7733
7734
7735
7736
7737
7738
7739
7740
7741
7742
7743
7744
7745
7746
7747
7748
7749
7750
7751
7752
7753
7754
7755
7756
7757
7758
7759
7760
7761
7762
7763
7764
7765
7766
7767
7768
7769
7770
7771
7772
7773
7774
7775
7776
7777
7778
7779
7780
7781
7782
7783
7784
7785
7786
7787
7788
7789
7790
7791
7792
7793
7794
7795
7796
7797
7798
7799
7800
7801
7802
7803
7804
7805
7806
7807
7808
7809
7810
7811
7812
7813
7814
7815
7816
7817
7818
7819
7820
7821
7822
7823
7824
7825
7826
7827
7828
7829
7830
7831
7832
7833
7834
7835
7836
7837
7838
7839
7840
7841
7842
7843
7844
7845
7846
7847
7848
7849
7850
7851
7852
7853
7854
7855
7856
7857
7858
7859
7860
7861
7862
7863
7864
7865
7866
7867
7868
7869
7870
7871
7872
7873
7874
7875
7876
7877
7878
7879
7880
7881
7882
7883
7884
7885
7886
7887
7888
7889
7890
7891
7892
7893
7894
7895
7896
7897
7898
7899
7900
7901
7902
7903
7904
7905
7906
7907
7908
7909
7910
7911
7912
7913
7914
7915
7916
7917
7918
7919
7920
7921
7922
7923
7924
7925
7926
7927
7928
7929
7930
7931
7932
7933
7934
7935
7936
7937
7938
7939
7940
7941
7942
7943
7944
7945
7946
7947
7948
7949
7950
7951
7952
7953
7954
7955
7956
7957
7958
7959
7960
7961
7962
7963
7964
7965
7966
7967
7968
7969
7970
7971
7972
7973
7974
7975
7976
7977
7978
7979
7980
7981
7982
7983
7984
7985
7986
7987
7988
7989
7990
7991
7992
7993
7994
7995
7996
7997
7998
7999
8000
#7035 = ORIENTED_EDGE( '', *, *, #14116, .T. );
#7036 = ORIENTED_EDGE( '', *, *, #14117, .F. );
#7037 = ORIENTED_EDGE( '', *, *, #14118, .F. );
#7038 = CARTESIAN_POINT( '', ( -0.188500000000000, -0.00499999999999999, -0.610500000000000 ) );
#7039 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7040 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7041 = SURFACE_STYLE_FILL_AREA( #14119 );
#7042 = ORIENTED_EDGE( '', *, *, #14120, .T. );
#7043 = ORIENTED_EDGE( '', *, *, #14121, .F. );
#7044 = ORIENTED_EDGE( '', *, *, #14122, .F. );
#7045 = ORIENTED_EDGE( '', *, *, #14123, .T. );
#7046 = CARTESIAN_POINT( '', ( -0.318100000000000, 0.140000000000000, 0.0225000000000000 ) );
#7047 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7048 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7049 = SURFACE_STYLE_FILL_AREA( #14124 );
#7050 = ORIENTED_EDGE( '', *, *, #14125, .F. );
#7051 = ORIENTED_EDGE( '', *, *, #14126, .F. );
#7052 = ORIENTED_EDGE( '', *, *, #14127, .T. );
#7053 = ORIENTED_EDGE( '', *, *, #14128, .T. );
#7054 = CARTESIAN_POINT( '', ( -0.168505553499465, 0.159000000000000, -0.610500000000000 ) );
#7055 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, -0.000000000000000 ) );
#7056 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7057 = SURFACE_STYLE_FILL_AREA( #14129 );
#7058 = ORIENTED_EDGE( '', *, *, #14130, .F. );
#7059 = ORIENTED_EDGE( '', *, *, #14131, .F. );
#7060 = ORIENTED_EDGE( '', *, *, #14132, .T. );
#7061 = ORIENTED_EDGE( '', *, *, #14133, .T. );
#7062 = CARTESIAN_POINT( '', ( 0.307500000000000, 0.140000000000000, 0.0157480300000000 ) );
#7063 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#7064 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7065 = SURFACE_STYLE_FILL_AREA( #14134 );
#7066 = ORIENTED_EDGE( '', *, *, #14135, .F. );
#7067 = ORIENTED_EDGE( '', *, *, #14136, .F. );
#7068 = ORIENTED_EDGE( '', *, *, #14137, .F. );
#7069 = ORIENTED_EDGE( '', *, *, #14138, .F. );
#7070 = ORIENTED_EDGE( '', *, *, #14139, .T. );
#7071 = ORIENTED_EDGE( '', *, *, #14140, .F. );
#7072 = CARTESIAN_POINT( '', ( -0.161000000000000, 0.146000000000000, -0.610500000000000 ) );
#7073 = DIRECTION( '', ( 0.866025403784436, 0.500000000000005, -0.000000000000000 ) );
#7074 = DIRECTION( '', ( -0.500000000000005, 0.866025403784436, 0.000000000000000 ) );
#7075 = SURFACE_STYLE_FILL_AREA( #14141 );
#7076 = ORIENTED_EDGE( '', *, *, #14142, .F. );
#7077 = ORIENTED_EDGE( '', *, *, #14143, .T. );
#7078 = ORIENTED_EDGE( '', *, *, #14144, .F. );
#7079 = ORIENTED_EDGE( '', *, *, #14145, .F. );
#7080 = CARTESIAN_POINT( '', ( -0.0275000000000000, 0.0100000000000000, -0.610500000000000 ) );
#7081 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7082 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7083 = SURFACE_STYLE_FILL_AREA( #14146 );
#7084 = ORIENTED_EDGE( '', *, *, #14147, .F. );
#7085 = ORIENTED_EDGE( '', *, *, #14148, .T. );
#7086 = CARTESIAN_POINT( '', ( 0.365750000000000, -0.0360000000000000, 0.0800000000000000 ) );
#7087 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#7088 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7089 = SURFACE_STYLE_FILL_AREA( #14149 );
#7090 = ORIENTED_EDGE( '', *, *, #14150, .T. );
#7091 = ORIENTED_EDGE( '', *, *, #14151, .T. );
#7092 = ORIENTED_EDGE( '', *, *, #14152, .T. );
#7093 = ORIENTED_EDGE( '', *, *, #14153, .T. );
#7094 = ORIENTED_EDGE( '', *, *, #14154, .F. );
#7095 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.149000000000000, -0.106000000000000 ) );
#7096 = DIRECTION( '', ( 0.000000000000000, -0.196116092796908, 0.980580684159174 ) );
#7097 = DIRECTION( '', ( 0.000000000000000, -0.980580684159174, -0.196116092796908 ) );
#7098 = SURFACE_STYLE_FILL_AREA( #14155 );
#7099 = ORIENTED_EDGE( '', *, *, #14156, .T. );
#7100 = ORIENTED_EDGE( '', *, *, #14157, .T. );
#7101 = ORIENTED_EDGE( '', *, *, #14158, .T. );
#7102 = ORIENTED_EDGE( '', *, *, #14159, .T. );
#7103 = ORIENTED_EDGE( '', *, *, #14160, .T. );
#7104 = ORIENTED_EDGE( '', *, *, #14161, .T. );
#7105 = ORIENTED_EDGE( '', *, *, #14162, .F. );
#7106 = ORIENTED_EDGE( '', *, *, #14163, .T. );
#7107 = ORIENTED_EDGE( '', *, *, #14164, .T. );
#7108 = ORIENTED_EDGE( '', *, *, #14165, .T. );
#7109 = ORIENTED_EDGE( '', *, *, #14166, .T. );
#7110 = CARTESIAN_POINT( '', ( 1.00000000000000, -0.00500000000000000, -0.578500000000000 ) );
#7111 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7112 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#7113 = SURFACE_STYLE_FILL_AREA( #14167 );
#7114 = ORIENTED_EDGE( '', *, *, #14168, .T. );
#7115 = ORIENTED_EDGE( '', *, *, #14169, .F. );
#7116 = ORIENTED_EDGE( '', *, *, #14170, .F. );
#7117 = ORIENTED_EDGE( '', *, *, #14171, .F. );
#7118 = CARTESIAN_POINT( '', ( -0.0737500000000000, 0.258000000000000, -0.0945000000000000 ) );
#7119 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#7120 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#7121 = SURFACE_STYLE_FILL_AREA( #14172 );
#7122 = ORIENTED_EDGE( '', *, *, #14173, .T. );
#7123 = ORIENTED_EDGE( '', *, *, #14174, .T. );
#7124 = ORIENTED_EDGE( '', *, *, #14175, .T. );
#7125 = ORIENTED_EDGE( '', *, *, #14176, .T. );
#7126 = ORIENTED_EDGE( '', *, *, #13907, .F. );
#7127 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.159000000000000, -0.572499999550930 ) );
#7128 = DIRECTION( '', ( 0.000000000000000, -0.196116092796907, -0.980580684159175 ) );
#7129 = DIRECTION( '', ( 0.000000000000000, 0.980580684159175, -0.196116092796907 ) );
#7130 = SURFACE_STYLE_FILL_AREA( #14177 );
#7131 = ORIENTED_EDGE( '', *, *, #14178, .F. );
#7132 = ORIENTED_EDGE( '', *, *, #14179, .F. );
#7133 = ORIENTED_EDGE( '', *, *, #14180, .F. );
#7134 = ORIENTED_EDGE( '', *, *, #14181, .T. );
#7135 = CARTESIAN_POINT( '', ( 0.00550000000000001, 0.155000000000000, -0.610500000000000 ) );
#7136 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#7137 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#7138 = SURFACE_STYLE_FILL_AREA( #14182 );
#7139 = ORIENTED_EDGE( '', *, *, #14101, .T. );
#7140 = ORIENTED_EDGE( '', *, *, #14183, .F. );
#7141 = ORIENTED_EDGE( '', *, *, #14184, .F. );
#7142 = ORIENTED_EDGE( '', *, *, #14185, .F. );
#7143 = CARTESIAN_POINT( '', ( -0.168250000000000, 0.258000000000000, 0.0775000000000000 ) );
#7144 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7145 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7146 = SURFACE_STYLE_FILL_AREA( #14186 );
#7147 = ORIENTED_EDGE( '', *, *, #14131, .T. );
#7148 = ORIENTED_EDGE( '', *, *, #14187, .F. );
#7149 = ORIENTED_EDGE( '', *, *, #14188, .F. );
#7150 = ORIENTED_EDGE( '', *, *, #14189, .F. );
#7151 = CARTESIAN_POINT( '', ( 0.393700800000000, 0.140000000000000, 0.00200000000000000 ) );
#7152 = DIRECTION( '', ( 0.000000000000000, -0.500000000000000, -0.866025403784439 ) );
#7153 = DIRECTION( '', ( 0.000000000000000, 0.866025403784439, -0.500000000000000 ) );
#7154 = SURFACE_STYLE_FILL_AREA( #14190 );
#7155 = ORIENTED_EDGE( '', *, *, #14191, .F. );
#7156 = ORIENTED_EDGE( '', *, *, #14192, .T. );
#7157 = ORIENTED_EDGE( '', *, *, #14193, .F. );
#7158 = ORIENTED_EDGE( '', *, *, #14194, .F. );
#7159 = CARTESIAN_POINT( '', ( -0.219500000000000, -0.000999999999999966, -0.610500000000000 ) );
#7160 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#7161 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#7162 = SURFACE_STYLE_FILL_AREA( #14195 );
#7163 = ORIENTED_EDGE( '', *, *, #14196, .F. );
#7164 = ORIENTED_EDGE( '', *, *, #14197, .T. );
#7165 = ORIENTED_EDGE( '', *, *, #14198, .F. );
#7166 = ORIENTED_EDGE( '', *, *, #14199, .F. );
#7167 = CARTESIAN_POINT( '', ( 0.0215000000000000, 0.00300000000000000, -0.610500000000000 ) );
#7168 = DIRECTION( '', ( -1.00000000000000, 5.33564061262551E-16, 0.000000000000000 ) );
#7169 = DIRECTION( '', ( -5.33564061262551E-16, -1.00000000000000, 0.000000000000000 ) );
#7170 = SURFACE_STYLE_FILL_AREA( #14200 );
#7171 = ORIENTED_EDGE( '', *, *, #14201, .T. );
#7172 = ORIENTED_EDGE( '', *, *, #14202, .T. );
#7173 = ORIENTED_EDGE( '', *, *, #14203, .T. );
#7174 = ORIENTED_EDGE( '', *, *, #14204, .T. );
#7175 = CARTESIAN_POINT( '', ( 0.888000000000000, 0.00700000000000001, -0.393700800000000 ) );
#7176 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 3.87774334462415E-16 ) );
#7177 = DIRECTION( '', ( 0.000000000000000, -3.87774334462415E-16, -1.00000000000000 ) );
#7178 = SURFACE_STYLE_FILL_AREA( #14205 );
#7179 = ORIENTED_EDGE( '', *, *, #14206, .F. );
#7180 = ORIENTED_EDGE( '', *, *, #14207, .T. );
#7181 = ORIENTED_EDGE( '', *, *, #14208, .F. );
#7182 = ORIENTED_EDGE( '', *, *, #14209, .F. );
#7183 = CARTESIAN_POINT( '', ( 0.0565000000000000, 0.0100000000000000, -0.610500000000000 ) );
#7184 = DIRECTION( '', ( 4.54097073414938E-17, 1.00000000000000, -0.000000000000000 ) );
#7185 = DIRECTION( '', ( -1.00000000000000, 4.54097073414938E-17, 0.000000000000000 ) );
#7186 = SURFACE_STYLE_FILL_AREA( #14210 );
#7187 = ORIENTED_EDGE( '', *, *, #14211, .F. );
#7188 = ORIENTED_EDGE( '', *, *, #14212, .T. );
#7189 = ORIENTED_EDGE( '', *, *, #14213, .F. );
#7190 = ORIENTED_EDGE( '', *, *, #14214, .F. );
#7191 = CARTESIAN_POINT( '', ( 0.0525000000000000, -0.00100000000000000, -0.610500000000000 ) );
#7192 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#7193 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#7194 = SURFACE_STYLE_FILL_AREA( #14215 );
#7195 = ORIENTED_EDGE( '', *, *, #14216, .T. );
#7196 = ORIENTED_EDGE( '', *, *, #14217, .F. );
#7197 = ORIENTED_EDGE( '', *, *, #14218, .F. );
#7198 = ORIENTED_EDGE( '', *, *, #14219, .F. );
#7199 = CARTESIAN_POINT( '', ( 0.177750000000000, 0.258000000000000, -0.0775000000000000 ) );
#7200 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 6.02613528014176E-15 ) );
#7201 = DIRECTION( '', ( 6.02613528014176E-15, 0.000000000000000, 1.00000000000000 ) );
#7202 = SURFACE_STYLE_FILL_AREA( #14220 );
#7203 = ORIENTED_EDGE( '', *, *, #14022, .T. );
#7204 = ORIENTED_EDGE( '', *, *, #14221, .F. );
#7205 = ORIENTED_EDGE( '', *, *, #13985, .F. );
#7206 = ORIENTED_EDGE( '', *, *, #14222, .F. );
#7207 = CARTESIAN_POINT( '', ( 0.393700800000000, 0.0690000000000000, -0.00750000000000000 ) );
#7208 = DIRECTION( '', ( 0.000000000000000, -0.500000000000000, 0.866025403784439 ) );
#7209 = DIRECTION( '', ( 0.000000000000000, -0.866025403784439, -0.500000000000000 ) );
#7210 = SURFACE_STYLE_FILL_AREA( #14223 );
#7211 = ORIENTED_EDGE( '', *, *, #14224, .T. );
#7212 = ORIENTED_EDGE( '', *, *, #14225, .T. );
#7213 = ORIENTED_EDGE( '', *, *, #14226, .T. );
#7214 = ORIENTED_EDGE( '', *, *, #14227, .T. );
#7215 = ORIENTED_EDGE( '', *, *, #14228, .F. );
#7216 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.0325000000000000, -0.106000000000000 ) );
#7217 = DIRECTION( '', ( 0.000000000000000, -2.93116737517625E-16, 1.00000000000000 ) );
#7218 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -2.93116737517625E-16 ) );
#7219 = SURFACE_STYLE_FILL_AREA( #14229 );
#7220 = ORIENTED_EDGE( '', *, *, #14230, .F. );
#7221 = ORIENTED_EDGE( '', *, *, #14097, .T. );
#7222 = ORIENTED_EDGE( '', *, *, #14231, .F. );
#7223 = ORIENTED_EDGE( '', *, *, #13896, .F. );
#7224 = CARTESIAN_POINT( '', ( -0.0275000000000000, 0.00300000000000000, -0.610500000000000 ) );
#7225 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#7226 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7227 = SURFACE_STYLE_FILL_AREA( #14232 );
#7228 = ORIENTED_EDGE( '', *, *, #14233, .F. );
#7229 = ORIENTED_EDGE( '', *, *, #14234, .T. );
#7230 = ORIENTED_EDGE( '', *, *, #14235, .F. );
#7231 = ORIENTED_EDGE( '', *, *, #14236, .F. );
#7232 = CARTESIAN_POINT( '', ( -0.188500000000000, 0.00300000000000000, -0.610500000000000 ) );
#7233 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#7234 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7235 = SURFACE_STYLE_FILL_AREA( #14237 );
#7236 = ORIENTED_EDGE( '', *, *, #14238, .F. );
#7237 = ORIENTED_EDGE( '', *, *, #14239, .T. );
#7238 = ORIENTED_EDGE( '', *, *, #14240, .F. );
#7239 = ORIENTED_EDGE( '', *, *, #14241, .F. );
#7240 = CARTESIAN_POINT( '', ( -0.219500000000000, -0.000999999999999966, -0.610500000000000 ) );
#7241 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#7242 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#7243 = SURFACE_STYLE_FILL_AREA( #14242 );
#7244 = ORIENTED_EDGE( '', *, *, #14243, .T. );
#7245 = ORIENTED_EDGE( '', *, *, #14244, .F. );
#7246 = ORIENTED_EDGE( '', *, *, #14245, .F. );
#7247 = ORIENTED_EDGE( '', *, *, #14246, .F. );
#7248 = CARTESIAN_POINT( '', ( 0.201250000000000, 0.258000000000000, 0.0775000000000000 ) );
#7249 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 8.03484704018904E-15 ) );
#7250 = DIRECTION( '', ( 8.03484704018904E-15, 0.000000000000000, -1.00000000000000 ) );
#7251 = SURFACE_STYLE_FILL_AREA( #14247 );
#7252 = ORIENTED_EDGE( '', *, *, #14248, .F. );
#7253 = ORIENTED_EDGE( '', *, *, #14249, .T. );
#7254 = ORIENTED_EDGE( '', *, *, #14250, .F. );
#7255 = ORIENTED_EDGE( '', *, *, #14251, .F. );
#7256 = CARTESIAN_POINT( '', ( 0.0215000000000000, 0.00300000000000000, -0.610500000000000 ) );
#7257 = DIRECTION( '', ( -1.00000000000000, 5.33564061262551E-16, 0.000000000000000 ) );
#7258 = DIRECTION( '', ( -5.33564061262551E-16, -1.00000000000000, 0.000000000000000 ) );
#7259 = SURFACE_STYLE_FILL_AREA( #14252 );
#7260 = ORIENTED_EDGE( '', *, *, #14253, .T. );
#7261 = ORIENTED_EDGE( '', *, *, #14254, .T. );
#7262 = ORIENTED_EDGE( '', *, *, #14255, .T. );
#7263 = ORIENTED_EDGE( '', *, *, #14256, .F. );
#7264 = ORIENTED_EDGE( '', *, *, #14257, .T. );
#7265 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.0325000000000000, -0.0435000000000000 ) );
#7266 = DIRECTION( '', ( 0.000000000000000, -2.19837553138219E-16, 1.00000000000000 ) );
#7267 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -2.19837553138219E-16 ) );
#7268 = SURFACE_STYLE_FILL_AREA( #14258 );
#7269 = ORIENTED_EDGE( '', *, *, #14259, .F. );
#7270 = ORIENTED_EDGE( '', *, *, #14260, .F. );
#7271 = ORIENTED_EDGE( '', *, *, #14261, .F. );
#7272 = ORIENTED_EDGE( '', *, *, #14262, .T. );
#7273 = CARTESIAN_POINT( '', ( -0.172500000000000, 0.155000000000000, -0.610500000000000 ) );
#7274 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#7275 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#7276 = SURFACE_STYLE_FILL_AREA( #14263 );
#7277 = ORIENTED_EDGE( '', *, *, #14157, .F. );
#7278 = ORIENTED_EDGE( '', *, *, #14264, .T. );
#7279 = ORIENTED_EDGE( '', *, *, #14265, .T. );
#7280 = ORIENTED_EDGE( '', *, *, #14266, .F. );
#7281 = CARTESIAN_POINT( '', ( -0.219500000000000, -0.00499999999999999, -0.610500000000000 ) );
#7282 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#7283 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7284 = SURFACE_STYLE_FILL_AREA( #14267 );
#7285 = ORIENTED_EDGE( '', *, *, #14268, .T. );
#7286 = ORIENTED_EDGE( '', *, *, #14269, .T. );
#7287 = ORIENTED_EDGE( '', *, *, #14270, .T. );
#7288 = ORIENTED_EDGE( '', *, *, #14271, .T. );
#7289 = ORIENTED_EDGE( '', *, *, #14272, .T. );
#7290 = ORIENTED_EDGE( '', *, *, #14273, .T. );
#7291 = ORIENTED_EDGE( '', *, *, #14274, .F. );
#7292 = ORIENTED_EDGE( '', *, *, #14275, .T. );
#7293 = ORIENTED_EDGE( '', *, *, #14276, .T. );
#7294 = ORIENTED_EDGE( '', *, *, #14277, .T. );
#7295 = ORIENTED_EDGE( '', *, *, #14278, .T. );
#7296 = CARTESIAN_POINT( '', ( 1.00000000000000, -0.00500000000000000, -0.516000000000000 ) );
#7297 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7298 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#7299 = SURFACE_STYLE_FILL_AREA( #14279 );
#7300 = ORIENTED_EDGE( '', *, *, #14280, .F. );
#7301 = ORIENTED_EDGE( '', *, *, #14281, .T. );
#7302 = ORIENTED_EDGE( '', *, *, #14282, .F. );
#7303 = ORIENTED_EDGE( '', *, *, #14283, .F. );
#7304 = CARTESIAN_POINT( '', ( -0.176500000000000, 0.0100000000000000, -0.610500000000000 ) );
#7305 = DIRECTION( '', ( -1.81638829365975E-16, 1.00000000000000, 0.000000000000000 ) );
#7306 = DIRECTION( '', ( -1.00000000000000, -1.81638829365975E-16, 0.000000000000000 ) );
#7307 = SURFACE_STYLE_FILL_AREA( #14284 );
#7308 = ORIENTED_EDGE( '', *, *, #14285, .T. );
#7309 = ORIENTED_EDGE( '', *, *, #14286, .T. );
#7310 = ORIENTED_EDGE( '', *, *, #14287, .T. );
#7311 = ORIENTED_EDGE( '', *, *, #14288, .T. );
#7312 = ORIENTED_EDGE( '', *, *, #14289, .T. );
#7313 = ORIENTED_EDGE( '', *, *, #14290, .T. );
#7314 = ORIENTED_EDGE( '', *, *, #14291, .F. );
#7315 = ORIENTED_EDGE( '', *, *, #14292, .T. );
#7316 = ORIENTED_EDGE( '', *, *, #14293, .T. );
#7317 = ORIENTED_EDGE( '', *, *, #14294, .T. );
#7318 = ORIENTED_EDGE( '', *, *, #14295, .T. );
#7319 = CARTESIAN_POINT( '', ( 1.00000000000000, -0.00500000000000000, -0.0435000000000000 ) );
#7320 = DIRECTION( '', ( -0.000000000000000, 1.05071076679395E-15, 1.00000000000000 ) );
#7321 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 1.05071076679395E-15 ) );
#7322 = SURFACE_STYLE_FILL_AREA( #14296 );
#7323 = ORIENTED_EDGE( '', *, *, #14297, .F. );
#7324 = ORIENTED_EDGE( '', *, *, #14298, .T. );
#7325 = ORIENTED_EDGE( '', *, *, #14299, .F. );
#7326 = ORIENTED_EDGE( '', *, *, #14300, .F. );
#7327 = CARTESIAN_POINT( '', ( 0.0215000000000000, 0.00300000000000000, -0.610500000000000 ) );
#7328 = DIRECTION( '', ( -1.00000000000000, 5.33564061262551E-16, 0.000000000000000 ) );
#7329 = DIRECTION( '', ( -5.33564061262551E-16, -1.00000000000000, 0.000000000000000 ) );
#7330 = SURFACE_STYLE_FILL_AREA( #14301 );
#7331 = ORIENTED_EDGE( '', *, *, #14302, .T. );
#7332 = ORIENTED_EDGE( '', *, *, #14303, .T. );
#7333 = ORIENTED_EDGE( '', *, *, #14304, .T. );
#7334 = ORIENTED_EDGE( '', *, *, #14305, .T. );
#7335 = ORIENTED_EDGE( '', *, *, #14306, .F. );
#7336 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.149000000000000, -0.319000000000000 ) );
#7337 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7338 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7339 = SURFACE_STYLE_FILL_AREA( #14307 );
#7340 = ORIENTED_EDGE( '', *, *, #14308, .F. );
#7341 = ORIENTED_EDGE( '', *, *, #14309, .T. );
#7342 = ORIENTED_EDGE( '', *, *, #14310, .F. );
#7343 = ORIENTED_EDGE( '', *, *, #14311, .F. );
#7344 = CARTESIAN_POINT( '', ( -0.188500000000000, -0.00499999999999999, -0.610500000000000 ) );
#7345 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7346 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7347 = SURFACE_STYLE_FILL_AREA( #14312 );
#7348 = ORIENTED_EDGE( '', *, *, #14166, .F. );
#7349 = ORIENTED_EDGE( '', *, *, #14313, .T. );
#7350 = ORIENTED_EDGE( '', *, *, #14314, .F. );
#7351 = ORIENTED_EDGE( '', *, *, #14315, .F. );
#7352 = CARTESIAN_POINT( '', ( -0.188500000000000, 0.00300000000000000, -0.610500000000000 ) );
#7353 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#7354 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7355 = SURFACE_STYLE_FILL_AREA( #14316 );
#7356 = ORIENTED_EDGE( '', *, *, #14317, .T. );
#7357 = ORIENTED_EDGE( '', *, *, #14318, .F. );
#7358 = ORIENTED_EDGE( '', *, *, #14319, .F. );
#7359 = ORIENTED_EDGE( '', *, *, #14320, .F. );
#7360 = CARTESIAN_POINT( '', ( -0.262750000000000, 0.258000000000000, 0.0775000000000000 ) );
#7361 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7362 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7363 = SURFACE_STYLE_FILL_AREA( #14321 );
#7364 = ORIENTED_EDGE( '', *, *, #14322, .F. );
#7365 = ORIENTED_EDGE( '', *, *, #14323, .F. );
#7366 = ORIENTED_EDGE( '', *, *, #14324, .F. );
#7367 = ORIENTED_EDGE( '', *, *, #14325, .T. );
#7368 = CARTESIAN_POINT( '', ( 0.00550000000000001, 0.155000000000000, -0.610500000000000 ) );
#7369 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#7370 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#7371 = SURFACE_STYLE_FILL_AREA( #14326 );
#7372 = ORIENTED_EDGE( '', *, *, #14327, .T. );
#7373 = ORIENTED_EDGE( '', *, *, #14328, .F. );
#7374 = ORIENTED_EDGE( '', *, *, #14329, .F. );
#7375 = ORIENTED_EDGE( '', *, *, #14330, .F. );
#7376 = CARTESIAN_POINT( '', ( -0.334250000000000, 0.258000000000000, 0.0775000000000000 ) );
#7377 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7378 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7379 = SURFACE_STYLE_FILL_AREA( #14331 );
#7380 = ORIENTED_EDGE( '', *, *, #14332, .T. );
#7381 = ORIENTED_EDGE( '', *, *, #14036, .T. );
#7382 = ORIENTED_EDGE( '', *, *, #14333, .F. );
#7383 = ORIENTED_EDGE( '', *, *, #14334, .T. );
#7384 = CARTESIAN_POINT( '', ( -0.292480320000000, 0.000000000000000, 0.0157480300000000 ) );
#7385 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#7386 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#7387 = SURFACE_STYLE_FILL_AREA( #14335 );
#7388 = ORIENTED_EDGE( '', *, *, #14336, .T. );
#7389 = ORIENTED_EDGE( '', *, *, #14337, .F. );
#7390 = ORIENTED_EDGE( '', *, *, #14338, .T. );
#7391 = ORIENTED_EDGE( '', *, *, #14339, .T. );
#7392 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.0275000000000000, -0.389500000000000 ) );
#7393 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#7394 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#7395 = SURFACE_STYLE_FILL_AREA( #14340 );
#7396 = ORIENTED_EDGE( '', *, *, #14341, .F. );
#7397 = ORIENTED_EDGE( '', *, *, #14199, .T. );
#7398 = ORIENTED_EDGE( '', *, *, #14342, .F. );
#7399 = ORIENTED_EDGE( '', *, *, #14343, .F. );
#7400 = CARTESIAN_POINT( '', ( -0.0275000000000000, 0.00300000000000000, -0.610500000000000 ) );
#7401 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#7402 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7403 = SURFACE_STYLE_FILL_AREA( #14344 );
#7404 = ORIENTED_EDGE( '', *, *, #14345, .T. );
#7405 = ORIENTED_EDGE( '', *, *, #14346, .T. );
#7406 = ORIENTED_EDGE( '', *, *, #14347, .T. );
#7407 = ORIENTED_EDGE( '', *, *, #14348, .T. );
#7408 = ORIENTED_EDGE( '', *, *, #14349, .F. );
#7409 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.149000000000000, -0.327000000000000 ) );
#7410 = DIRECTION( '', ( 0.000000000000000, -0.196116092796907, 0.980580684159175 ) );
#7411 = DIRECTION( '', ( 0.000000000000000, -0.980580684159175, -0.196116092796907 ) );
#7412 = SURFACE_STYLE_FILL_AREA( #14350 );
#7413 = ORIENTED_EDGE( '', *, *, #14351, .T. );
#7414 = ORIENTED_EDGE( '', *, *, #14352, .F. );
#7415 = ORIENTED_EDGE( '', *, *, #13932, .F. );
#7416 = ORIENTED_EDGE( '', *, *, #14353, .F. );
#7417 = CARTESIAN_POINT( '', ( -0.200250000000000, 0.258000000000000, -0.0945000000000000 ) );
#7418 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#7419 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#7420 = SURFACE_STYLE_FILL_AREA( #14354 );
#7421 = ORIENTED_EDGE( '', *, *, #14355, .T. );
#7422 = ORIENTED_EDGE( '', *, *, #14356, .F. );
#7423 = ORIENTED_EDGE( '', *, *, #14357, .F. );
#7424 = ORIENTED_EDGE( '', *, *, #14358, .F. );
#7425 = CARTESIAN_POINT( '', ( -0.176750000000000, 0.258000000000000, 0.0944999999999999 ) );
#7426 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7427 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7428 = SURFACE_STYLE_FILL_AREA( #14359 );
#7429 = ORIENTED_EDGE( '', *, *, #14360, .T. );
#7430 = ORIENTED_EDGE( '', *, *, #14361, .T. );
#7431 = ORIENTED_EDGE( '', *, *, #14362, .T. );
#7432 = ORIENTED_EDGE( '', *, *, #14122, .T. );
#7433 = ORIENTED_EDGE( '', *, *, #14363, .T. );
#7434 = ORIENTED_EDGE( '', *, *, #14364, .T. );
#7435 = ORIENTED_EDGE( '', *, *, #14365, .T. );
#7436 = ORIENTED_EDGE( '', *, *, #14366, .T. );
#7437 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.140000000000000, 0.000000000000000 ) );
#7438 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, -0.000000000000000 ) );
#7439 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7440 = SURFACE_STYLE_FILL_AREA( #14367 );
#7441 = ORIENTED_EDGE( '', *, *, #14368, .F. );
#7442 = ORIENTED_EDGE( '', *, *, #14369, .T. );
#7443 = ORIENTED_EDGE( '', *, *, #14370, .F. );
#7444 = ORIENTED_EDGE( '', *, *, #14371, .F. );
#7445 = CARTESIAN_POINT( '', ( -0.219500000000000, -0.000999999999999966, -0.610500000000000 ) );
#7446 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#7447 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#7448 = SURFACE_STYLE_FILL_AREA( #14372 );
#7449 = ORIENTED_EDGE( '', *, *, #14373, .F. );
#7450 = ORIENTED_EDGE( '', *, *, #14374, .T. );
#7451 = ORIENTED_EDGE( '', *, *, #14375, .T. );
#7452 = ORIENTED_EDGE( '', *, *, #14197, .F. );
#7453 = CARTESIAN_POINT( '', ( 0.0215000000000000, -0.00500000000000000, -0.610500000000000 ) );
#7454 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#7455 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7456 = SURFACE_STYLE_FILL_AREA( #14376 );
#7457 = ORIENTED_EDGE( '', *, *, #13967, .T. );
#7458 = ORIENTED_EDGE( '', *, *, #14377, .F. );
#7459 = ORIENTED_EDGE( '', *, *, #14378, .F. );
#7460 = ORIENTED_EDGE( '', *, *, #14379, .F. );
#7461 = CARTESIAN_POINT( '', ( 0.272250000000000, 0.258000000000000, 0.0944999999999999 ) );
#7462 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, -8.03484704018904E-15 ) );
#7463 = DIRECTION( '', ( -8.03484704018904E-15, 0.000000000000000, 1.00000000000000 ) );
#7464 = SURFACE_STYLE_FILL_AREA( #14380 );
#7465 = ORIENTED_EDGE( '', *, *, #14381, .T. );
#7466 = ORIENTED_EDGE( '', *, *, #14382, .F. );
#7467 = ORIENTED_EDGE( '', *, *, #14383, .T. );
#7468 = ORIENTED_EDGE( '', *, *, #14384, .T. );
#7469 = ORIENTED_EDGE( '', *, *, #14385, .T. );
#7470 = ORIENTED_EDGE( '', *, *, #14386, .T. );
#7471 = ORIENTED_EDGE( '', *, *, #14387, .T. );
#7472 = ORIENTED_EDGE( '', *, *, #14388, .T. );
#7473 = ORIENTED_EDGE( '', *, *, #14389, .T. );
#7474 = ORIENTED_EDGE( '', *, *, #14390, .T. );
#7475 = ORIENTED_EDGE( '', *, *, #14391, .T. );
#7476 = CARTESIAN_POINT( '', ( 1.00000000000000, -0.00500000000000000, -0.327000000000000 ) );
#7477 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7478 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#7479 = SURFACE_STYLE_FILL_AREA( #14392 );
#7480 = ORIENTED_EDGE( '', *, *, #14393, .T. );
#7481 = ORIENTED_EDGE( '', *, *, #14394, .T. );
#7482 = ORIENTED_EDGE( '', *, *, #14395, .T. );
#7483 = ORIENTED_EDGE( '', *, *, #14396, .T. );
#7484 = ORIENTED_EDGE( '', *, *, #14280, .T. );
#7485 = ORIENTED_EDGE( '', *, *, #14397, .T. );
#7486 = ORIENTED_EDGE( '', *, *, #14398, .F. );
#7487 = ORIENTED_EDGE( '', *, *, #14399, .T. );
#7488 = ORIENTED_EDGE( '', *, *, #14400, .T. );
#7489 = ORIENTED_EDGE( '', *, *, #14401, .T. );
#7490 = ORIENTED_EDGE( '', *, *, #14402, .T. );
#7491 = CARTESIAN_POINT( '', ( 1.00000000000000, -0.00500000000000000, -0.389500000000000 ) );
#7492 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7493 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#7494 = SURFACE_STYLE_FILL_AREA( #14403 );
#7495 = ORIENTED_EDGE( '', *, *, #14404, .F. );
#7496 = ORIENTED_EDGE( '', *, *, #14405, .T. );
#7497 = ORIENTED_EDGE( '', *, *, #14406, .F. );
#7498 = ORIENTED_EDGE( '', *, *, #14407, .F. );
#7499 = CARTESIAN_POINT( '', ( -0.188500000000000, 0.00300000000000000, -0.610500000000000 ) );
#7500 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#7501 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7502 = SURFACE_STYLE_FILL_AREA( #14408 );
#7503 = ORIENTED_EDGE( '', *, *, #14409, .F. );
#7504 = ORIENTED_EDGE( '', *, *, #14410, .T. );
#7505 = ORIENTED_EDGE( '', *, *, #14411, .F. );
#7506 = ORIENTED_EDGE( '', *, *, #14412, .F. );
#7507 = CARTESIAN_POINT( '', ( -0.188500000000000, -0.00499999999999999, -0.610500000000000 ) );
#7508 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7509 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7510 = SURFACE_STYLE_FILL_AREA( #14413 );
#7511 = ORIENTED_EDGE( '', *, *, #14106, .F. );
#7512 = ORIENTED_EDGE( '', *, *, #14414, .T. );
#7513 = ORIENTED_EDGE( '', *, *, #14415, .F. );
#7514 = ORIENTED_EDGE( '', *, *, #14416, .F. );
#7515 = CARTESIAN_POINT( '', ( -0.219500000000000, -0.000999999999999966, -0.610500000000000 ) );
#7516 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#7517 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#7518 = SURFACE_STYLE_FILL_AREA( #14417 );
#7519 = ORIENTED_EDGE( '', *, *, #14418, .T. );
#7520 = ORIENTED_EDGE( '', *, *, #14419, .T. );
#7521 = ORIENTED_EDGE( '', *, *, #14420, .T. );
#7522 = ORIENTED_EDGE( '', *, *, #14421, .T. );
#7523 = ORIENTED_EDGE( '', *, *, #14422, .F. );
#7524 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.149000000000000, -0.578500000000000 ) );
#7525 = DIRECTION( '', ( 0.000000000000000, -0.196116092796907, 0.980580684159175 ) );
#7526 = DIRECTION( '', ( 0.000000000000000, -0.980580684159175, -0.196116092796907 ) );
#7527 = SURFACE_STYLE_FILL_AREA( #14423 );
#7528 = ORIENTED_EDGE( '', *, *, #14424, .F. );
#7529 = ORIENTED_EDGE( '', *, *, #14425, .T. );
#7530 = ORIENTED_EDGE( '', *, *, #14426, .F. );
#7531 = ORIENTED_EDGE( '', *, *, #14427, .F. );
#7532 = CARTESIAN_POINT( '', ( 0.0215000000000000, 0.00300000000000000, -0.610500000000000 ) );
#7533 = DIRECTION( '', ( -1.00000000000000, 5.33564061262551E-16, 0.000000000000000 ) );
#7534 = DIRECTION( '', ( -5.33564061262551E-16, -1.00000000000000, 0.000000000000000 ) );
#7535 = SURFACE_STYLE_FILL_AREA( #14428 );
#7536 = ORIENTED_EDGE( '', *, *, #14429, .F. );
#7537 = ORIENTED_EDGE( '', *, *, #14430, .F. );
#7538 = ORIENTED_EDGE( '', *, *, #14431, .F. );
#7539 = ORIENTED_EDGE( '', *, *, #14432, .T. );
#7540 = CARTESIAN_POINT( '', ( 0.00550000000000001, 0.155000000000000, -0.610500000000000 ) );
#7541 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#7542 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#7543 = SURFACE_STYLE_FILL_AREA( #14433 );
#7544 = ORIENTED_EDGE( '', *, *, #14276, .F. );
#7545 = ORIENTED_EDGE( '', *, *, #14434, .T. );
#7546 = ORIENTED_EDGE( '', *, *, #14435, .F. );
#7547 = ORIENTED_EDGE( '', *, *, #14436, .F. );
#7548 = CARTESIAN_POINT( '', ( -0.139500000000000, 0.0100000000000000, -0.610500000000000 ) );
#7549 = DIRECTION( '', ( -9.92677323279166E-17, 1.00000000000000, 0.000000000000000 ) );
#7550 = DIRECTION( '', ( -1.00000000000000, -9.92677323279166E-17, 0.000000000000000 ) );
#7551 = SURFACE_STYLE_FILL_AREA( #14437 );
#7552 = ORIENTED_EDGE( '', *, *, #14438, .T. );
#7553 = ORIENTED_EDGE( '', *, *, #14439, .F. );
#7554 = ORIENTED_EDGE( '', *, *, #14440, .F. );
#7555 = ORIENTED_EDGE( '', *, *, #14441, .T. );
#7556 = CARTESIAN_POINT( '', ( -0.394000000000000, 0.150000000000000, -0.0575000000000000 ) );
#7557 = DIRECTION( '', ( -0.857492925712544, 0.514495755427527, -3.34648618384159E-16 ) );
#7558 = DIRECTION( '', ( -0.514495755427526, -0.857492925712544, 0.000000000000000 ) );
#7559 = SURFACE_STYLE_FILL_AREA( #14442 );
#7560 = ORIENTED_EDGE( '', *, *, #14443, .T. );
#7561 = ORIENTED_EDGE( '', *, *, #14444, .T. );
#7562 = ORIENTED_EDGE( '', *, *, #14445, .T. );
#7563 = ORIENTED_EDGE( '', *, *, #13977, .T. );
#7564 = ORIENTED_EDGE( '', *, *, #14446, .T. );
#7565 = ORIENTED_EDGE( '', *, *, #14447, .T. );
#7566 = ORIENTED_EDGE( '', *, *, #14448, .T. );
#7567 = ORIENTED_EDGE( '', *, *, #14449, .T. );
#7568 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.140000000000000, 0.000000000000000 ) );
#7569 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#7570 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#7571 = SURFACE_STYLE_FILL_AREA( #14450 );
#7572 = ORIENTED_EDGE( '', *, *, #14451, .T. );
#7573 = ORIENTED_EDGE( '', *, *, #14452, .T. );
#7574 = ORIENTED_EDGE( '', *, *, #14453, .T. );
#7575 = ORIENTED_EDGE( '', *, *, #14454, .T. );
#7576 = ORIENTED_EDGE( '', *, *, #13923, .F. );
#7577 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.159000000000000, -0.509999999550930 ) );
#7578 = DIRECTION( '', ( 0.000000000000000, -0.196116092796907, -0.980580684159175 ) );
#7579 = DIRECTION( '', ( 0.000000000000000, 0.980580684159175, -0.196116092796907 ) );
#7580 = SURFACE_STYLE_FILL_AREA( #14455 );
#7581 = ORIENTED_EDGE( '', *, *, #14456, .F. );
#7582 = ORIENTED_EDGE( '', *, *, #14457, .T. );
#7583 = ORIENTED_EDGE( '', *, *, #14458, .F. );
#7584 = ORIENTED_EDGE( '', *, *, #14459, .F. );
#7585 = CARTESIAN_POINT( '', ( -0.139500000000000, 0.0100000000000000, -0.610500000000000 ) );
#7586 = DIRECTION( '', ( -9.92677323279166E-17, 1.00000000000000, 0.000000000000000 ) );
#7587 = DIRECTION( '', ( -1.00000000000000, -9.92677323279166E-17, 0.000000000000000 ) );
#7588 = SURFACE_STYLE_FILL_AREA( #14460 );
#7589 = ORIENTED_EDGE( '', *, *, #14396, .F. );
#7590 = ORIENTED_EDGE( '', *, *, #14461, .T. );
#7591 = ORIENTED_EDGE( '', *, *, #14462, .F. );
#7592 = ORIENTED_EDGE( '', *, *, #14281, .F. );
#7593 = CARTESIAN_POINT( '', ( -0.223500000000000, 0.0100000000000000, -0.610500000000000 ) );
#7594 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7595 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7596 = SURFACE_STYLE_FILL_AREA( #14463 );
#7597 = ORIENTED_EDGE( '', *, *, #14464, .T. );
#7598 = ORIENTED_EDGE( '', *, *, #14019, .T. );
#7599 = ORIENTED_EDGE( '', *, *, #14465, .F. );
#7600 = ORIENTED_EDGE( '', *, *, #14466, .T. );
#7601 = CARTESIAN_POINT( '', ( -0.372500000000000, 0.00700000000000000, 0.0157480300000000 ) );
#7602 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#7603 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7604 = SURFACE_STYLE_FILL_AREA( #14467 );
#7605 = ORIENTED_EDGE( '', *, *, #14468, .F. );
#7606 = ORIENTED_EDGE( '', *, *, #14469, .T. );
#7607 = ORIENTED_EDGE( '', *, *, #14470, .T. );
#7608 = ORIENTED_EDGE( '', *, *, #14471, .F. );
#7609 = CARTESIAN_POINT( '', ( -0.219500000000000, -0.00499999999999999, -0.610500000000000 ) );
#7610 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#7611 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7612 = SURFACE_STYLE_FILL_AREA( #14472 );
#7613 = ORIENTED_EDGE( '', *, *, #14473, .F. );
#7614 = ORIENTED_EDGE( '', *, *, #14474, .T. );
#7615 = ORIENTED_EDGE( '', *, *, #14475, .F. );
#7616 = ORIENTED_EDGE( '', *, *, #14476, .F. );
#7617 = CARTESIAN_POINT( '', ( 0.0565000000000000, -0.00100000000000000, -0.610500000000000 ) );
#7618 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7619 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7620 = SURFACE_STYLE_FILL_AREA( #14477 );
#7621 = ORIENTED_EDGE( '', *, *, #13961, .F. );
#7622 = ORIENTED_EDGE( '', *, *, #14478, .F. );
#7623 = ORIENTED_EDGE( '', *, *, #14479, .T. );
#7624 = ORIENTED_EDGE( '', *, *, #14480, .T. );
#7625 = CARTESIAN_POINT( '', ( 0.00550000000000000, 0.159000000000000, -0.610500000000000 ) );
#7626 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, -0.000000000000000 ) );
#7627 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7628 = SURFACE_STYLE_FILL_AREA( #14481 );
#7629 = ORIENTED_EDGE( '', *, *, #14482, .T. );
#7630 = ORIENTED_EDGE( '', *, *, #14483, .F. );
#7631 = ORIENTED_EDGE( '', *, *, #14351, .F. );
#7632 = ORIENTED_EDGE( '', *, *, #14484, .F. );
#7633 = CARTESIAN_POINT( '', ( -0.208750000000000, 0.258000000000000, -0.0945000000000000 ) );
#7634 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7635 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7636 = SURFACE_STYLE_FILL_AREA( #14485 );
#7637 = ORIENTED_EDGE( '', *, *, #14486, .T. );
#7638 = ORIENTED_EDGE( '', *, *, #14487, .F. );
#7639 = ORIENTED_EDGE( '', *, *, #14488, .F. );
#7640 = ORIENTED_EDGE( '', *, *, #14489, .F. );
#7641 = CARTESIAN_POINT( '', ( 0.0832500000000000, 0.258000000000000, 0.0944999999999999 ) );
#7642 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, -7.03049116016541E-15 ) );
#7643 = DIRECTION( '', ( -7.03049116016541E-15, 0.000000000000000, 1.00000000000000 ) );
#7644 = SURFACE_STYLE_FILL_AREA( #14490 );
#7645 = ORIENTED_EDGE( '', *, *, #14491, .F. );
#7646 = ORIENTED_EDGE( '', *, *, #14492, .T. );
#7647 = ORIENTED_EDGE( '', *, *, #14493, .F. );
#7648 = ORIENTED_EDGE( '', *, *, #14494, .F. );
#7649 = CARTESIAN_POINT( '', ( -0.176500000000000, 0.0100000000000000, -0.610500000000000 ) );
#7650 = DIRECTION( '', ( -1.81638829365975E-16, 1.00000000000000, 0.000000000000000 ) );
#7651 = DIRECTION( '', ( -1.00000000000000, -1.81638829365975E-16, 0.000000000000000 ) );
#7652 = SURFACE_STYLE_FILL_AREA( #14495 );
#7653 = ORIENTED_EDGE( '', *, *, #14164, .F. );
#7654 = ORIENTED_EDGE( '', *, *, #14496, .T. );
#7655 = ORIENTED_EDGE( '', *, *, #14497, .F. );
#7656 = ORIENTED_EDGE( '', *, *, #14498, .F. );
#7657 = CARTESIAN_POINT( '', ( -0.139500000000000, 0.0100000000000000, -0.610500000000000 ) );
#7658 = DIRECTION( '', ( -9.92677323279166E-17, 1.00000000000000, 0.000000000000000 ) );
#7659 = DIRECTION( '', ( -1.00000000000000, -9.92677323279166E-17, 0.000000000000000 ) );
#7660 = SURFACE_STYLE_FILL_AREA( #14499 );
#7661 = ORIENTED_EDGE( '', *, *, #14500, .T. );
#7662 = ORIENTED_EDGE( '', *, *, #14501, .T. );
#7663 = ORIENTED_EDGE( '', *, *, #14502, .T. );
#7664 = ORIENTED_EDGE( '', *, *, #14503, .T. );
#7665 = ORIENTED_EDGE( '', *, *, #14504, .T. );
#7666 = ORIENTED_EDGE( '', *, *, #14505, .F. );
#7667 = ORIENTED_EDGE( '', *, *, #14506, .T. );
#7668 = ORIENTED_EDGE( '', *, *, #14507, .T. );
#7669 = ORIENTED_EDGE( '', *, *, #14508, .T. );
#7670 = ORIENTED_EDGE( '', *, *, #14509, .T. );
#7671 = ORIENTED_EDGE( '', *, *, #14051, .T. );
#7672 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.0275000000000000, -0.570500000000000 ) );
#7673 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7674 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7675 = SURFACE_STYLE_FILL_AREA( #14510 );
#7676 = ORIENTED_EDGE( '', *, *, #14511, .F. );
#7677 = ORIENTED_EDGE( '', *, *, #14512, .T. );
#7678 = ORIENTED_EDGE( '', *, *, #14513, .F. );
#7679 = ORIENTED_EDGE( '', *, *, #14514, .F. );
#7680 = CARTESIAN_POINT( '', ( -0.00600000000000002, 0.0100000000000000, -0.610500000000000 ) );
#7681 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, -0.000000000000000 ) );
#7682 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7683 = SURFACE_STYLE_FILL_AREA( #14515 );
#7684 = ORIENTED_EDGE( '', *, *, #14516, .F. );
#7685 = ORIENTED_EDGE( '', *, *, #14517, .T. );
#7686 = ORIENTED_EDGE( '', *, *, #14518, .F. );
#7687 = ORIENTED_EDGE( '', *, *, #14519, .F. );
#7688 = CARTESIAN_POINT( '', ( 0.0565000000000000, -0.00100000000000000, -0.610500000000000 ) );
#7689 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7690 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7691 = SURFACE_STYLE_FILL_AREA( #14520 );
#7692 = ORIENTED_EDGE( '', *, *, #14521, .F. );
#7693 = ORIENTED_EDGE( '', *, *, #14522, .T. );
#7694 = ORIENTED_EDGE( '', *, *, #14523, .F. );
#7695 = ORIENTED_EDGE( '', *, *, #14524, .F. );
#7696 = ORIENTED_EDGE( '', *, *, #14525, .F. );
#7697 = ORIENTED_EDGE( '', *, *, #14526, .F. );
#7698 = ORIENTED_EDGE( '', *, *, #14527, .F. );
#7699 = ORIENTED_EDGE( '', *, *, #14528, .F. );
#7700 = ORIENTED_EDGE( '', *, *, #14207, .F. );
#7701 = ORIENTED_EDGE( '', *, *, #14529, .F. );
#7702 = ORIENTED_EDGE( '', *, *, #14530, .F. );
#7703 = ORIENTED_EDGE( '', *, *, #14531, .F. );
#7704 = ORIENTED_EDGE( '', *, *, #14532, .F. );
#7705 = ORIENTED_EDGE( '', *, *, #14533, .F. );
#7706 = ORIENTED_EDGE( '', *, *, #14534, .F. );
#7707 = ORIENTED_EDGE( '', *, *, #14535, .F. );
#7708 = ORIENTED_EDGE( '', *, *, #13993, .F. );
#7709 = ORIENTED_EDGE( '', *, *, #14536, .F. );
#7710 = ORIENTED_EDGE( '', *, *, #14537, .F. );
#7711 = ORIENTED_EDGE( '', *, *, #14538, .F. );
#7712 = ORIENTED_EDGE( '', *, *, #14539, .F. );
#7713 = ORIENTED_EDGE( '', *, *, #14540, .F. );
#7714 = ORIENTED_EDGE( '', *, *, #13902, .F. );
#7715 = ORIENTED_EDGE( '', *, *, #14541, .F. );
#7716 = ORIENTED_EDGE( '', *, *, #14542, .F. );
#7717 = ORIENTED_EDGE( '', *, *, #14543, .F. );
#7718 = ORIENTED_EDGE( '', *, *, #14544, .F. );
#7719 = ORIENTED_EDGE( '', *, *, #14545, .F. );
#7720 = ORIENTED_EDGE( '', *, *, #14546, .F. );
#7721 = ORIENTED_EDGE( '', *, *, #14547, .F. );
#7722 = ORIENTED_EDGE( '', *, *, #14548, .F. );
#7723 = ORIENTED_EDGE( '', *, *, #14549, .F. );
#7724 = ORIENTED_EDGE( '', *, *, #14550, .F. );
#7725 = ORIENTED_EDGE( '', *, *, #14383, .F. );
#7726 = ORIENTED_EDGE( '', *, *, #14551, .F. );
#7727 = ORIENTED_EDGE( '', *, *, #14552, .F. );
#7728 = ORIENTED_EDGE( '', *, *, #14553, .F. );
#7729 = ORIENTED_EDGE( '', *, *, #14554, .F. );
#7730 = ORIENTED_EDGE( '', *, *, #14338, .F. );
#7731 = ORIENTED_EDGE( '', *, *, #14555, .F. );
#7732 = ORIENTED_EDGE( '', *, *, #14556, .F. );
#7733 = ORIENTED_EDGE( '', *, *, #14557, .F. );
#7734 = ORIENTED_EDGE( '', *, *, #14558, .F. );
#7735 = ORIENTED_EDGE( '', *, *, #14559, .F. );
#7736 = ORIENTED_EDGE( '', *, *, #14560, .F. );
#7737 = ORIENTED_EDGE( '', *, *, #14561, .F. );
#7738 = ORIENTED_EDGE( '', *, *, #14562, .F. );
#7739 = ORIENTED_EDGE( '', *, *, #14563, .F. );
#7740 = ORIENTED_EDGE( '', *, *, #14564, .F. );
#7741 = ORIENTED_EDGE( '', *, *, #14565, .F. );
#7742 = ORIENTED_EDGE( '', *, *, #14052, .F. );
#7743 = ORIENTED_EDGE( '', *, *, #14509, .F. );
#7744 = ORIENTED_EDGE( '', *, *, #14566, .F. );
#7745 = ORIENTED_EDGE( '', *, *, #14567, .F. );
#7746 = ORIENTED_EDGE( '', *, *, #14568, .F. );
#7747 = ORIENTED_EDGE( '', *, *, #14569, .F. );
#7748 = ORIENTED_EDGE( '', *, *, #14570, .F. );
#7749 = ORIENTED_EDGE( '', *, *, #14571, .T. );
#7750 = ORIENTED_EDGE( '', *, *, #14572, .F. );
#7751 = ORIENTED_EDGE( '', *, *, #14573, .T. );
#7752 = ORIENTED_EDGE( '', *, *, #14574, .F. );
#7753 = ORIENTED_EDGE( '', *, *, #14575, .F. );
#7754 = ORIENTED_EDGE( '', *, *, #14576, .F. );
#7755 = ORIENTED_EDGE( '', *, *, #14577, .F. );
#7756 = ORIENTED_EDGE( '', *, *, #14578, .F. );
#7757 = ORIENTED_EDGE( '', *, *, #14579, .T. );
#7758 = ORIENTED_EDGE( '', *, *, #14580, .F. );
#7759 = ORIENTED_EDGE( '', *, *, #14581, .F. );
#7760 = ORIENTED_EDGE( '', *, *, #14582, .F. );
#7761 = ORIENTED_EDGE( '', *, *, #14583, .F. );
#7762 = ORIENTED_EDGE( '', *, *, #14584, .F. );
#7763 = ORIENTED_EDGE( '', *, *, #14585, .T. );
#7764 = ORIENTED_EDGE( '', *, *, #13959, .F. );
#7765 = ORIENTED_EDGE( '', *, *, #14586, .F. );
#7766 = ORIENTED_EDGE( '', *, *, #14587, .F. );
#7767 = ORIENTED_EDGE( '', *, *, #14588, .F. );
#7768 = ORIENTED_EDGE( '', *, *, #14589, .F. );
#7769 = ORIENTED_EDGE( '', *, *, #14590, .T. );
#7770 = ORIENTED_EDGE( '', *, *, #14591, .F. );
#7771 = ORIENTED_EDGE( '', *, *, #14592, .F. );
#7772 = ORIENTED_EDGE( '', *, *, #14593, .F. );
#7773 = ORIENTED_EDGE( '', *, *, #14594, .F. );
#7774 = ORIENTED_EDGE( '', *, *, #14595, .F. );
#7775 = ORIENTED_EDGE( '', *, *, #14179, .T. );
#7776 = ORIENTED_EDGE( '', *, *, #14596, .F. );
#7777 = ORIENTED_EDGE( '', *, *, #14597, .F. );
#7778 = ORIENTED_EDGE( '', *, *, #14598, .F. );
#7779 = ORIENTED_EDGE( '', *, *, #13953, .F. );
#7780 = ORIENTED_EDGE( '', *, *, #14599, .F. );
#7781 = ORIENTED_EDGE( '', *, *, #14600, .T. );
#7782 = ORIENTED_EDGE( '', *, *, #14601, .F. );
#7783 = ORIENTED_EDGE( '', *, *, #14602, .F. );
#7784 = ORIENTED_EDGE( '', *, *, #14603, .F. );
#7785 = ORIENTED_EDGE( '', *, *, #14604, .F. );
#7786 = ORIENTED_EDGE( '', *, *, #14605, .F. );
#7787 = ORIENTED_EDGE( '', *, *, #14430, .T. );
#7788 = ORIENTED_EDGE( '', *, *, #14606, .F. );
#7789 = ORIENTED_EDGE( '', *, *, #14302, .F. );
#7790 = ORIENTED_EDGE( '', *, *, #14607, .F. );
#7791 = ORIENTED_EDGE( '', *, *, #14608, .F. );
#7792 = ORIENTED_EDGE( '', *, *, #14609, .F. );
#7793 = ORIENTED_EDGE( '', *, *, #14070, .T. );
#7794 = ORIENTED_EDGE( '', *, *, #14610, .F. );
#7795 = ORIENTED_EDGE( '', *, *, #14611, .F. );
#7796 = ORIENTED_EDGE( '', *, *, #14612, .F. );
#7797 = ORIENTED_EDGE( '', *, *, #14613, .F. );
#7798 = ORIENTED_EDGE( '', *, *, #14614, .F. );
#7799 = ORIENTED_EDGE( '', *, *, #14615, .T. );
#7800 = ORIENTED_EDGE( '', *, *, #14616, .F. );
#7801 = ORIENTED_EDGE( '', *, *, #14617, .F. );
#7802 = ORIENTED_EDGE( '', *, *, #14618, .F. );
#7803 = ORIENTED_EDGE( '', *, *, #14619, .F. );
#7804 = ORIENTED_EDGE( '', *, *, #14620, .F. );
#7805 = ORIENTED_EDGE( '', *, *, #14323, .T. );
#7806 = ORIENTED_EDGE( '', *, *, #14621, .F. );
#7807 = ORIENTED_EDGE( '', *, *, #14622, .F. );
#7808 = ORIENTED_EDGE( '', *, *, #14623, .F. );
#7809 = ORIENTED_EDGE( '', *, *, #14624, .F. );
#7810 = ORIENTED_EDGE( '', *, *, #13947, .F. );
#7811 = ORIENTED_EDGE( '', *, *, #14625, .T. );
#7812 = ORIENTED_EDGE( '', *, *, #14626, .F. );
#7813 = ORIENTED_EDGE( '', *, *, #14627, .F. );
#7814 = ORIENTED_EDGE( '', *, *, #14628, .F. );
#7815 = ORIENTED_EDGE( '', *, *, #14224, .F. );
#7816 = ORIENTED_EDGE( '', *, *, #14629, .F. );
#7817 = ORIENTED_EDGE( '', *, *, #14630, .T. );
#7818 = ORIENTED_EDGE( '', *, *, #14631, .F. );
#7819 = ORIENTED_EDGE( '', *, *, #14039, .F. );
#7820 = ORIENTED_EDGE( '', *, *, #14632, .F. );
#7821 = ORIENTED_EDGE( '', *, *, #14633, .F. );
#7822 = ORIENTED_EDGE( '', *, *, #14634, .F. );
#7823 = ORIENTED_EDGE( '', *, *, #14635, .T. );
#7824 = ORIENTED_EDGE( '', *, *, #14636, .F. );
#7825 = ORIENTED_EDGE( '', *, *, #14637, .F. );
#7826 = ORIENTED_EDGE( '', *, *, #14638, .F. );
#7827 = ORIENTED_EDGE( '', *, *, #14639, .F. );
#7828 = CARTESIAN_POINT( '', ( 0.00950000000000000, 0.0100000000000000, -0.610500000000000 ) );
#7829 = DIRECTION( '', ( 1.00000000000000, 1.47190085865531E-17, -0.000000000000000 ) );
#7830 = DIRECTION( '', ( -1.47190085865531E-17, 1.00000000000000, 0.000000000000000 ) );
#7831 = SURFACE_STYLE_FILL_AREA( #14640 );
#7832 = ORIENTED_EDGE( '', *, *, #14641, .F. );
#7833 = ORIENTED_EDGE( '', *, *, #14642, .T. );
#7834 = ORIENTED_EDGE( '', *, *, #14501, .F. );
#7835 = ORIENTED_EDGE( '', *, *, #14643, .F. );
#7836 = CARTESIAN_POINT( '', ( -0.00600000000000002, 0.0100000000000000, -0.610500000000000 ) );
#7837 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, -0.000000000000000 ) );
#7838 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7839 = SURFACE_STYLE_FILL_AREA( #14644 );
#7840 = ORIENTED_EDGE( '', *, *, #14645, .F. );
#7841 = ORIENTED_EDGE( '', *, *, #14564, .T. );
#7842 = ORIENTED_EDGE( '', *, *, #14646, .F. );
#7843 = ORIENTED_EDGE( '', *, *, #14647, .F. );
#7844 = CARTESIAN_POINT( '', ( 0.0565000000000000, 0.0100000000000000, -0.610500000000000 ) );
#7845 = DIRECTION( '', ( 4.54097073414938E-17, 1.00000000000000, -0.000000000000000 ) );
#7846 = DIRECTION( '', ( -1.00000000000000, 4.54097073414938E-17, 0.000000000000000 ) );
#7847 = SURFACE_STYLE_FILL_AREA( #14648 );
#7848 = ORIENTED_EDGE( '', *, *, #14649, .F. );
#7849 = ORIENTED_EDGE( '', *, *, #14650, .F. );
#7850 = ORIENTED_EDGE( '', *, *, #13950, .T. );
#7851 = ORIENTED_EDGE( '', *, *, #14651, .T. );
#7852 = CARTESIAN_POINT( '', ( 0.00550000000000000, 0.159000000000000, -0.610500000000000 ) );
#7853 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, -0.000000000000000 ) );
#7854 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7855 = SURFACE_STYLE_FILL_AREA( #14652 );
#7856 = ORIENTED_EDGE( '', *, *, #14653, .F. );
#7857 = ORIENTED_EDGE( '', *, *, #14236, .T. );
#7858 = ORIENTED_EDGE( '', *, *, #14654, .F. );
#7859 = ORIENTED_EDGE( '', *, *, #14655, .F. );
#7860 = CARTESIAN_POINT( '', ( -0.188500000000000, -0.00499999999999999, -0.610500000000000 ) );
#7861 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7862 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7863 = SURFACE_STYLE_FILL_AREA( #14656 );
#7864 = ORIENTED_EDGE( '', *, *, #14657, .F. );
#7865 = ORIENTED_EDGE( '', *, *, #14658, .T. );
#7866 = ORIENTED_EDGE( '', *, *, #14659, .F. );
#7867 = ORIENTED_EDGE( '', *, *, #14660, .F. );
#7868 = CARTESIAN_POINT( '', ( -0.188500000000000, -0.00499999999999999, -0.610500000000000 ) );
#7869 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7870 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7871 = SURFACE_STYLE_FILL_AREA( #14661 );
#7872 = ORIENTED_EDGE( '', *, *, #14395, .F. );
#7873 = ORIENTED_EDGE( '', *, *, #14662, .T. );
#7874 = ORIENTED_EDGE( '', *, *, #14663, .F. );
#7875 = ORIENTED_EDGE( '', *, *, #14461, .F. );
#7876 = CARTESIAN_POINT( '', ( -0.219500000000000, -0.000999999999999966, -0.610500000000000 ) );
#7877 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#7878 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#7879 = SURFACE_STYLE_FILL_AREA( #14664 );
#7880 = ORIENTED_EDGE( '', *, *, #14665, .F. );
#7881 = ORIENTED_EDGE( '', *, *, #14666, .T. );
#7882 = ORIENTED_EDGE( '', *, *, #14667, .F. );
#7883 = ORIENTED_EDGE( '', *, *, #14668, .F. );
#7884 = CARTESIAN_POINT( '', ( -0.219500000000000, -0.000999999999999966, -0.610500000000000 ) );
#7885 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#7886 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#7887 = SURFACE_STYLE_FILL_AREA( #14669 );
#7888 = ORIENTED_EDGE( '', *, *, #14670, .T. );
#7889 = ORIENTED_EDGE( '', *, *, #14671, .F. );
#7890 = ORIENTED_EDGE( '', *, *, #14672, .T. );
#7891 = ORIENTED_EDGE( '', *, *, #14673, .T. );
#7892 = CARTESIAN_POINT( '', ( 0.384000000000000, 0.160000000000000, -0.0249999999999998 ) );
#7893 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#7894 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#7895 = SURFACE_STYLE_FILL_AREA( #14674 );
#7896 = ORIENTED_EDGE( '', *, *, #14675, .F. );
#7897 = ORIENTED_EDGE( '', *, *, #14676, .F. );
#7898 = ORIENTED_EDGE( '', *, *, #14677, .T. );
#7899 = ORIENTED_EDGE( '', *, *, #14678, .T. );
#7900 = CARTESIAN_POINT( '', ( -0.223500000000000, 0.0100000000000000, -0.610500000000000 ) );
#7901 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7902 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7903 = SURFACE_STYLE_FILL_AREA( #14679 );
#7904 = ORIENTED_EDGE( '', *, *, #14680, .T. );
#7905 = ORIENTED_EDGE( '', *, *, #14681, .F. );
#7906 = ORIENTED_EDGE( '', *, *, #14682, .T. );
#7907 = ORIENTED_EDGE( '', *, *, #14683, .T. );
#7908 = CARTESIAN_POINT( '', ( -0.219500000000000, -0.00499999999999999, -0.610500000000000 ) );
#7909 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#7910 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7911 = SURFACE_STYLE_FILL_AREA( #14684 );
#7912 = ORIENTED_EDGE( '', *, *, #14685, .T. );
#7913 = ORIENTED_EDGE( '', *, *, #14686, .T. );
#7914 = ORIENTED_EDGE( '', *, *, #14687, .T. );
#7915 = ORIENTED_EDGE( '', *, *, #14688, .F. );
#7916 = ORIENTED_EDGE( '', *, *, #14689, .T. );
#7917 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.0325000000000000, -0.138000000000000 ) );
#7918 = DIRECTION( '', ( 0.000000000000000, -2.93116737517625E-16, 1.00000000000000 ) );
#7919 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -2.93116737517625E-16 ) );
#7920 = SURFACE_STYLE_FILL_AREA( #14690 );
#7921 = ORIENTED_EDGE( '', *, *, #14582, .T. );
#7922 = ORIENTED_EDGE( '', *, *, #14691, .T. );
#7923 = ORIENTED_EDGE( '', *, *, #14692, .T. );
#7924 = ORIENTED_EDGE( '', *, *, #14693, .F. );
#7925 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.0325000000000000, -0.570500000000000 ) );
#7926 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#7927 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7928 = SURFACE_STYLE_FILL_AREA( #14694 );
#7929 = ORIENTED_EDGE( '', *, *, #14695, .T. );
#7930 = ORIENTED_EDGE( '', *, *, #14696, .F. );
#7931 = ORIENTED_EDGE( '', *, *, #14697, .F. );
#7932 = ORIENTED_EDGE( '', *, *, #14698, .F. );
#7933 = CARTESIAN_POINT( '', ( -0.0197500000000000, 0.258000000000000, 0.0944999999999999 ) );
#7934 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7935 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7936 = SURFACE_STYLE_FILL_AREA( #14699 );
#7937 = ORIENTED_EDGE( '', *, *, #14700, .F. );
#7938 = ORIENTED_EDGE( '', *, *, #14701, .T. );
#7939 = ORIENTED_EDGE( '', *, *, #14702, .F. );
#7940 = ORIENTED_EDGE( '', *, *, #14492, .F. );
#7941 = CARTESIAN_POINT( '', ( -0.223500000000000, 0.0100000000000000, -0.610500000000000 ) );
#7942 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7943 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7944 = SURFACE_STYLE_FILL_AREA( #14703 );
#7945 = ORIENTED_EDGE( '', *, *, #14704, .F. );
#7946 = ORIENTED_EDGE( '', *, *, #14705, .F. );
#7947 = ORIENTED_EDGE( '', *, *, #14706, .T. );
#7948 = ORIENTED_EDGE( '', *, *, #14707, .T. );
#7949 = CARTESIAN_POINT( '', ( 0.00550000000000000, 0.159000000000000, -0.610500000000000 ) );
#7950 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, -0.000000000000000 ) );
#7951 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7952 = SURFACE_STYLE_FILL_AREA( #14708 );
#7953 = ORIENTED_EDGE( '', *, *, #14709, .T. );
#7954 = ORIENTED_EDGE( '', *, *, #14710, .F. );
#7955 = ORIENTED_EDGE( '', *, *, #14711, .F. );
#7956 = ORIENTED_EDGE( '', *, *, #14712, .T. );
#7957 = CARTESIAN_POINT( '', ( 0.394000000000000, 0.150000000000000, -0.0575000000000000 ) );
#7958 = DIRECTION( '', ( 0.606339062590833, 0.514495755427527, -0.606339062590832 ) );
#7959 = DIRECTION( '', ( -0.707106781186547, 0.000000000000000, -0.707106781186548 ) );
#7960 = SURFACE_STYLE_FILL_AREA( #14713 );
#7961 = ORIENTED_EDGE( '', *, *, #14714, .F. );
#7962 = ORIENTED_EDGE( '', *, *, #14715, .T. );
#7963 = ORIENTED_EDGE( '', *, *, #14716, .F. );
#7964 = ORIENTED_EDGE( '', *, *, #14717, .F. );
#7965 = CARTESIAN_POINT( '', ( -0.176500000000000, 0.0100000000000000, -0.610500000000000 ) );
#7966 = DIRECTION( '', ( -1.81638829365975E-16, 1.00000000000000, 0.000000000000000 ) );
#7967 = DIRECTION( '', ( -1.00000000000000, -1.81638829365975E-16, 0.000000000000000 ) );
#7968 = SURFACE_STYLE_FILL_AREA( #14718 );
#7969 = ORIENTED_EDGE( '', *, *, #14659, .T. );
#7970 = ORIENTED_EDGE( '', *, *, #14719, .T. );
#7971 = ORIENTED_EDGE( '', *, *, #14720, .T. );
#7972 = ORIENTED_EDGE( '', *, *, #14721, .T. );
#7973 = ORIENTED_EDGE( '', *, *, #14722, .T. );
#7974 = ORIENTED_EDGE( '', *, *, #14723, .T. );
#7975 = ORIENTED_EDGE( '', *, *, #14724, .T. );
#7976 = ORIENTED_EDGE( '', *, *, #14493, .T. );
#7977 = ORIENTED_EDGE( '', *, *, #14702, .T. );
#7978 = ORIENTED_EDGE( '', *, *, #14725, .T. );
#7979 = ORIENTED_EDGE( '', *, *, #14726, .F. );
#7980 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.0275000000000000, -0.130000000000000 ) );
#7981 = DIRECTION( '', ( 0.000000000000000, -2.10142153358789E-15, -1.00000000000000 ) );
#7982 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, -2.10142153358789E-15 ) );
#7983 = SURFACE_STYLE_FILL_AREA( #14727 );
#7984 = ORIENTED_EDGE( '', *, *, #14728, .F. );
#7985 = ORIENTED_EDGE( '', *, *, #14729, .T. );
#7986 = ORIENTED_EDGE( '', *, *, #14730, .F. );
#7987 = ORIENTED_EDGE( '', *, *, #14731, .F. );
#7988 = CARTESIAN_POINT( '', ( -0.00600000000000002, 0.0100000000000000, -0.610500000000000 ) );
#7989 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, -0.000000000000000 ) );
#7990 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7991 = SURFACE_STYLE_FILL_AREA( #14732 );
#7992 = ORIENTED_EDGE( '', *, *, #14733, .T. );
#7993 = ORIENTED_EDGE( '', *, *, #14734, .T. );
#7994 = ORIENTED_EDGE( '', *, *, #14735, .T. );
#7995 = ORIENTED_EDGE( '', *, *, #14736, .F. );
#7996 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.0275000000000000, -0.0115000000000000 ) );
#7997 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#7998 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#7999 = SURFACE_STYLE_FILL_AREA( #14737 );
#8000 = ORIENTED_EDGE( '', *, *, #14738, .T. );
#8001 = ORIENTED_EDGE( '', *, *, #14739, .F. );
#8002 = ORIENTED_EDGE( '', *, *, #14529, .T. );
#8003 = ORIENTED_EDGE( '', *, *, #14206, .T. );
#8004 = ORIENTED_EDGE( '', *, *, #14740, .T. );
#8005 = ORIENTED_EDGE( '', *, *, #14741, .T. );
#8006 = ORIENTED_EDGE( '', *, *, #14742, .T. );
#8007 = ORIENTED_EDGE( '', *, *, #14248, .T. );
#8008 = ORIENTED_EDGE( '', *, *, #14743, .T. );
#8009 = ORIENTED_EDGE( '', *, *, #14744, .T. );
#8010 = ORIENTED_EDGE( '', *, *, #14745, .T. );
#8011 = CARTESIAN_POINT( '', ( 1.00000000000000, -0.00500000000000000, -0.0435000000000000 ) );
#8012 = DIRECTION( '', ( -0.000000000000000, 1.05071076679395E-15, 1.00000000000000 ) );
#8013 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 1.05071076679395E-15 ) );
#8014 = SURFACE_STYLE_FILL_AREA( #14746 );
#8015 = ORIENTED_EDGE( '', *, *, #14747, .F. );
#8016 = ORIENTED_EDGE( '', *, *, #14748, .T. );
#8017 = ORIENTED_EDGE( '', *, *, #14749, .F. );
#8018 = ORIENTED_EDGE( '', *, *, #14512, .F. );
#8019 = CARTESIAN_POINT( '', ( -0.0275000000000000, 0.0100000000000000, -0.610500000000000 ) );
#8020 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#8021 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#8022 = SURFACE_STYLE_FILL_AREA( #14750 );
#8023 = ORIENTED_EDGE( '', *, *, #14599, .T. );
#8024 = ORIENTED_EDGE( '', *, *, #13957, .T. );
#8025 = ORIENTED_EDGE( '', *, *, #14751, .T. );
#8026 = ORIENTED_EDGE( '', *, *, #14752, .F. );
#8027 = ORIENTED_EDGE( '', *, *, #14753, .T. );
#8028 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.149000000000000, -0.389500000000000 ) );
#8029 = DIRECTION( '', ( 0.000000000000000, -0.196116092796913, 0.980580684159173 ) );
#8030 = DIRECTION( '', ( 0.000000000000000, -0.980580684159173, -0.196116092796913 ) );
#8031 = SURFACE_STYLE_FILL_AREA( #14754 );
#8032 = ORIENTED_EDGE( '', *, *, #14755, .F. );
#8033 = ORIENTED_EDGE( '', *, *, #14756, .T. );
#8034 = ORIENTED_EDGE( '', *, *, #14757, .F. );