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
#7039 = ORIENTED_EDGE( '', *, *, #12487, .F. );
#7040 = ORIENTED_EDGE( '', *, *, #12147, .T. );
#7041 = CARTESIAN_POINT( '', ( 0.150000000000000, 0.122000000000000, 0.000000000000000 ) );
#7042 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#7043 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#7044 = SURFACE_STYLE_FILL_AREA( #12488 );
#7045 = ORIENTED_EDGE( '', *, *, #12489, .T. );
#7046 = ORIENTED_EDGE( '', *, *, #12490, .F. );
#7047 = ORIENTED_EDGE( '', *, *, #11750, .F. );
#7048 = ORIENTED_EDGE( '', *, *, #12491, .T. );
#7049 = CARTESIAN_POINT( '', ( -0.0900000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#7050 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7051 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7052 = SURFACE_STYLE_FILL_AREA( #12492 );
#7053 = ORIENTED_EDGE( '', *, *, #11916, .F. );
#7054 = ORIENTED_EDGE( '', *, *, #12493, .T. );
#7055 = CARTESIAN_POINT( '', ( -0.150000000000000, 0.0300000000000000, 0.000000000000000 ) );
#7056 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#7057 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#7058 = SURFACE_STYLE_FILL_AREA( #12494 );
#7059 = ORIENTED_EDGE( '', *, *, #12495, .F. );
#7060 = ORIENTED_EDGE( '', *, *, #12496, .T. );
#7061 = ORIENTED_EDGE( '', *, *, #12497, .F. );
#7062 = ORIENTED_EDGE( '', *, *, #12091, .F. );
#7063 = CARTESIAN_POINT( '', ( 0.250000000000000, -0.00700000000000001, -0.0490000000000000 ) );
#7064 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#7065 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#7066 = SURFACE_STYLE_FILL_AREA( #12498 );
#7067 = ORIENTED_EDGE( '', *, *, #12499, .T. );
#7068 = ORIENTED_EDGE( '', *, *, #12500, .F. );
#7069 = ORIENTED_EDGE( '', *, *, #11900, .F. );
#7070 = ORIENTED_EDGE( '', *, *, #12501, .T. );
#7071 = ORIENTED_EDGE( '', *, *, #12502, .F. );
#7072 = ORIENTED_EDGE( '', *, *, #12306, .T. );
#7073 = ORIENTED_EDGE( '', *, *, #12503, .T. );
#7074 = ORIENTED_EDGE( '', *, *, #11971, .T. );
#7075 = ORIENTED_EDGE( '', *, *, #12079, .T. );
#7076 = CARTESIAN_POINT( '', ( -0.165000000000000, 0.0300000000000000, 0.131000000000000 ) );
#7077 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#7078 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7079 = SURFACE_STYLE_FILL_AREA( #12504 );
#7080 = ORIENTED_EDGE( '', *, *, #11922, .F. );
#7081 = ORIENTED_EDGE( '', *, *, #12505, .T. );
#7082 = CARTESIAN_POINT( '', ( 0.150000000000000, 0.0300000000000000, 0.000000000000000 ) );
#7083 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#7084 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#7085 = SURFACE_STYLE_FILL_AREA( #12506 );
#7086 = ORIENTED_EDGE( '', *, *, #12507, .T. );
#7087 = ORIENTED_EDGE( '', *, *, #12508, .F. );
#7088 = ORIENTED_EDGE( '', *, *, #11742, .F. );
#7089 = ORIENTED_EDGE( '', *, *, #12509, .T. );
#7090 = CARTESIAN_POINT( '', ( -0.0220000000000000, 0.0300000000000000, -0.0170000000000000 ) );
#7091 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7092 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7093 = SURFACE_STYLE_FILL_AREA( #12510 );
#7094 = ORIENTED_EDGE( '', *, *, #12511, .F. );
#7095 = ORIENTED_EDGE( '', *, *, #12512, .T. );
#7096 = ORIENTED_EDGE( '', *, *, #12513, .T. );
#7097 = ORIENTED_EDGE( '', *, *, #12514, .T. );
#7098 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.0300000000000000, -0.000000000000000 ) );
#7099 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, -0.000000000000000 ) );
#7100 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7101 = SURFACE_STYLE_FILL_AREA( #12515 );
#7102 = ORIENTED_EDGE( '', *, *, #12516, .F. );
#7103 = ORIENTED_EDGE( '', *, *, #12517, .T. );
#7104 = ORIENTED_EDGE( '', *, *, #12518, .F. );
#7105 = ORIENTED_EDGE( '', *, *, #12519, .F. );
#7106 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.00500000000000000, 0.0490000000000000 ) );
#7107 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#7108 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7109 = SURFACE_STYLE_FILL_AREA( #12520 );
#7110 = ORIENTED_EDGE( '', *, *, #12521, .T. );
#7111 = ORIENTED_EDGE( '', *, *, #12522, .F. );
#7112 = ORIENTED_EDGE( '', *, *, #11739, .F. );
#7113 = ORIENTED_EDGE( '', *, *, #12446, .T. );
#7114 = CARTESIAN_POINT( '', ( -0.0400000000000000, 0.0300000000000000, -0.0100000000000000 ) );
#7115 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7116 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#7117 = SURFACE_STYLE_FILL_AREA( #12523 );
#7118 = ORIENTED_EDGE( '', *, *, #12524, .T. );
#7119 = ORIENTED_EDGE( '', *, *, #12372, .T. );
#7120 = ORIENTED_EDGE( '', *, *, #12265, .F. );
#7121 = ORIENTED_EDGE( '', *, *, #12200, .T. );
#7122 = CARTESIAN_POINT( '', ( 0.0630000000000000, 0.172000000000000, 0.0370000000000000 ) );
#7123 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7124 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7125 = SURFACE_STYLE_FILL_AREA( #12525 );
#7126 = ORIENTED_EDGE( '', *, *, #12526, .T. );
#7127 = ORIENTED_EDGE( '', *, *, #12527, .F. );
#7128 = ORIENTED_EDGE( '', *, *, #11684, .F. );
#7129 = ORIENTED_EDGE( '', *, *, #12528, .T. );
#7130 = CARTESIAN_POINT( '', ( 0.190000000000000, 0.0300000000000000, -0.0100000000000000 ) );
#7131 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#7132 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7133 = SURFACE_STYLE_FILL_AREA( #12529 );
#7134 = ORIENTED_EDGE( '', *, *, #12530, .T. );
#7135 = ORIENTED_EDGE( '', *, *, #12531, .F. );
#7136 = ORIENTED_EDGE( '', *, *, #12532, .F. );
#7137 = ORIENTED_EDGE( '', *, *, #12533, .T. );
#7138 = CARTESIAN_POINT( '', ( 0.128000000000000, 0.0300000000000000, -0.0330000000000000 ) );
#7139 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7140 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7141 = SURFACE_STYLE_FILL_AREA( #12534 );
#7142 = ORIENTED_EDGE( '', *, *, #12000, .F. );
#7143 = ORIENTED_EDGE( '', *, *, #12535, .T. );
#7144 = ORIENTED_EDGE( '', *, *, #12536, .T. );
#7145 = ORIENTED_EDGE( '', *, *, #12537, .T. );
#7146 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.00500000000000000, 0.0490000000000000 ) );
#7147 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#7148 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7149 = SURFACE_STYLE_FILL_AREA( #12538 );
#7150 = ORIENTED_EDGE( '', *, *, #12539, .F. );
#7151 = ORIENTED_EDGE( '', *, *, #12540, .T. );
#7152 = ORIENTED_EDGE( '', *, *, #12480, .F. );
#7153 = ORIENTED_EDGE( '', *, *, #11723, .F. );
#7154 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.00500000000000000, -0.0440000000000000 ) );
#7155 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7156 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#7157 = SURFACE_STYLE_FILL_AREA( #12541 );
#7158 = ORIENTED_EDGE( '', *, *, #12542, .T. );
#7159 = ORIENTED_EDGE( '', *, *, #12543, .F. );
#7160 = ORIENTED_EDGE( '', *, *, #11694, .F. );
#7161 = ORIENTED_EDGE( '', *, *, #12544, .T. );
#7162 = CARTESIAN_POINT( '', ( 0.178000000000000, 0.0300000000000000, -0.0170000000000000 ) );
#7163 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7164 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7165 = SURFACE_STYLE_FILL_AREA( #12545 );
#7166 = ORIENTED_EDGE( '', *, *, #12546, .F. );
#7167 = ORIENTED_EDGE( '', *, *, #11950, .T. );
#7168 = ORIENTED_EDGE( '', *, *, #12547, .F. );
#7169 = ORIENTED_EDGE( '', *, *, #12548, .F. );
#7170 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.00499999999999999, -0.0490000000000000 ) );
#7171 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#7172 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7173 = SURFACE_STYLE_FILL_AREA( #12549 );
#7174 = ORIENTED_EDGE( '', *, *, #12550, .T. );
#7175 = ORIENTED_EDGE( '', *, *, #12551, .F. );
#7176 = ORIENTED_EDGE( '', *, *, #12552, .F. );
#7177 = ORIENTED_EDGE( '', *, *, #12077, .F. );
#7178 = ORIENTED_EDGE( '', *, *, #12553, .T. );
#7179 = CARTESIAN_POINT( '', ( -0.178000000000000, 0.0300000000000000, -0.0330000000000000 ) );
#7180 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#7181 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7182 = SURFACE_STYLE_FILL_AREA( #12554 );
#7183 = ORIENTED_EDGE( '', *, *, #12555, .F. );
#7184 = ORIENTED_EDGE( '', *, *, #12556, .T. );
#7185 = ORIENTED_EDGE( '', *, *, #12557, .F. );
#7186 = ORIENTED_EDGE( '', *, *, #12245, .F. );
#7187 = CARTESIAN_POINT( '', ( 0.250000000000000, -0.00700000000000001, -0.0904500000000000 ) );
#7188 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7189 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#7190 = SURFACE_STYLE_FILL_AREA( #12558 );
#7191 = ORIENTED_EDGE( '', *, *, #12559, .T. );
#7192 = ORIENTED_EDGE( '', *, *, #12317, .F. );
#7193 = ORIENTED_EDGE( '', *, *, #11995, .F. );
#7194 = ORIENTED_EDGE( '', *, *, #12560, .F. );
#7195 = ORIENTED_EDGE( '', *, *, #12561, .T. );
#7196 = CARTESIAN_POINT( '', ( 0.178000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#7197 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7198 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7199 = SURFACE_STYLE_FILL_AREA( #12562 );
#7200 = ORIENTED_EDGE( '', *, *, #12563, .T. );
#7201 = ORIENTED_EDGE( '', *, *, #12564, .F. );
#7202 = ORIENTED_EDGE( '', *, *, #11848, .F. );
#7203 = ORIENTED_EDGE( '', *, *, #11953, .T. );
#7204 = CARTESIAN_POINT( '', ( 0.0100000000000000, 0.0300000000000000, 0.0100000000000000 ) );
#7205 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7206 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7207 = SURFACE_STYLE_FILL_AREA( #12565 );
#7208 = ORIENTED_EDGE( '', *, *, #12566, .T. );
#7209 = ORIENTED_EDGE( '', *, *, #12354, .T. );
#7210 = ORIENTED_EDGE( '', *, *, #12567, .F. );
#7211 = ORIENTED_EDGE( '', *, *, #12221, .T. );
#7212 = CARTESIAN_POINT( '', ( 0.237000000000000, 0.172000000000000, 0.0130000000000000 ) );
#7213 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#7214 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#7215 = SURFACE_STYLE_FILL_AREA( #12568 );
#7216 = ORIENTED_EDGE( '', *, *, #12569, .T. );
#7217 = ORIENTED_EDGE( '', *, *, #12570, .F. );
#7218 = ORIENTED_EDGE( '', *, *, #11761, .F. );
#7219 = ORIENTED_EDGE( '', *, *, #12467, .F. );
#7220 = ORIENTED_EDGE( '', *, *, #12571, .T. );
#7221 = CARTESIAN_POINT( '', ( -0.128000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#7222 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7223 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7224 = SURFACE_STYLE_FILL_AREA( #12572 );
#7225 = ORIENTED_EDGE( '', *, *, #12573, .T. );
#7226 = ORIENTED_EDGE( '', *, *, #12574, .F. );
#7227 = ORIENTED_EDGE( '', *, *, #11895, .F. );
#7228 = ORIENTED_EDGE( '', *, *, #12575, .T. );
#7229 = CARTESIAN_POINT( '', ( -0.178000000000000, 0.0300000000000000, 0.0100000000000000 ) );
#7230 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7231 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7232 = SURFACE_STYLE_FILL_AREA( #12576 );
#7233 = ORIENTED_EDGE( '', *, *, #12577, .T. );
#7234 = ORIENTED_EDGE( '', *, *, #12578, .F. );
#7235 = ORIENTED_EDGE( '', *, *, #11864, .F. );
#7236 = ORIENTED_EDGE( '', *, *, #12579, .T. );
#7237 = ORIENTED_EDGE( '', *, *, #12580, .F. );
#7238 = ORIENTED_EDGE( '', *, *, #12111, .T. );
#7239 = ORIENTED_EDGE( '', *, *, #12581, .T. );
#7240 = ORIENTED_EDGE( '', *, *, #12582, .T. );
#7241 = ORIENTED_EDGE( '', *, *, #12516, .T. );
#7242 = CARTESIAN_POINT( '', ( -0.0150000000000000, 0.0300000000000000, 0.131000000000000 ) );
#7243 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#7244 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7245 = SURFACE_STYLE_FILL_AREA( #12583 );
#7246 = ORIENTED_EDGE( '', *, *, #12584, .F. );
#7247 = ORIENTED_EDGE( '', *, *, #12585, .T. );
#7248 = ORIENTED_EDGE( '', *, *, #12586, .F. );
#7249 = ORIENTED_EDGE( '', *, *, #12587, .F. );
#7250 = CARTESIAN_POINT( '', ( 0.250000000000000, -0.00700000000000001, -0.0904500000000000 ) );
#7251 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7252 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#7253 = SURFACE_STYLE_FILL_AREA( #12588 );
#7254 = ORIENTED_EDGE( '', *, *, #12589, .F. );
#7255 = ORIENTED_EDGE( '', *, *, #12590, .T. );
#7256 = ORIENTED_EDGE( '', *, *, #12591, .T. );
#7257 = ORIENTED_EDGE( '', *, *, #12028, .T. );
#7258 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.0299999999999999, 0.0370000000000000 ) );
#7259 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#7260 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7261 = SURFACE_STYLE_FILL_AREA( #12592 );
#7262 = ORIENTED_EDGE( '', *, *, #12593, .T. );
#7263 = ORIENTED_EDGE( '', *, *, #12594, .F. );
#7264 = ORIENTED_EDGE( '', *, *, #11882, .F. );
#7265 = ORIENTED_EDGE( '', *, *, #12450, .T. );
#7266 = CARTESIAN_POINT( '', ( -0.128000000000000, 0.0300000000000000, 0.0170000000000000 ) );
#7267 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#7268 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7269 = SURFACE_STYLE_FILL_AREA( #12595 );
#7270 = ORIENTED_EDGE( '', *, *, #12292, .T. );
#7271 = ORIENTED_EDGE( '', *, *, #12373, .T. );
#7272 = ORIENTED_EDGE( '', *, *, #12524, .F. );
#7273 = ORIENTED_EDGE( '', *, *, #12199, .T. );
#7274 = CARTESIAN_POINT( '', ( 0.0870000000000000, 0.172000000000000, 0.0370000000000000 ) );
#7275 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7276 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7277 = SURFACE_STYLE_FILL_AREA( #12596 );
#7278 = ORIENTED_EDGE( '', *, *, #12597, .T. );
#7279 = ORIENTED_EDGE( '', *, *, #12598, .T. );
#7280 = ORIENTED_EDGE( '', *, *, #12599, .T. );
#7281 = ORIENTED_EDGE( '', *, *, #12600, .T. );
#7282 = ORIENTED_EDGE( '', *, *, #12601, .T. );
#7283 = ORIENTED_EDGE( '', *, *, #12602, .F. );
#7284 = ORIENTED_EDGE( '', *, *, #12539, .T. );
#7285 = ORIENTED_EDGE( '', *, *, #11722, .F. );
#7286 = ORIENTED_EDGE( '', *, *, #12603, .F. );
#7287 = CARTESIAN_POINT( '', ( 0.0350000000000000, 0.0300000000000000, 0.131000000000000 ) );
#7288 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#7289 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7290 = SURFACE_STYLE_FILL_AREA( #12604 );
#7291 = ORIENTED_EDGE( '', *, *, #12605, .T. );
#7292 = ORIENTED_EDGE( '', *, *, #12391, .T. );
#7293 = ORIENTED_EDGE( '', *, *, #12606, .F. );
#7294 = ORIENTED_EDGE( '', *, *, #12179, .T. );
#7295 = CARTESIAN_POINT( '', ( -0.0870000000000000, 0.172000000000000, 0.0130000000000000 ) );
#7296 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7297 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7298 = SURFACE_STYLE_FILL_AREA( #12607 );
#7299 = ORIENTED_EDGE( '', *, *, #12608, .F. );
#7300 = ORIENTED_EDGE( '', *, *, #12609, .T. );
#7301 = ORIENTED_EDGE( '', *, *, #12610, .T. );
#7302 = ORIENTED_EDGE( '', *, *, #12119, .T. );
#7303 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.0300000000000000, -0.000000000000000 ) );
#7304 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, -0.000000000000000 ) );
#7305 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7306 = SURFACE_STYLE_FILL_AREA( #12611 );
#7307 = ORIENTED_EDGE( '', *, *, #12612, .F. );
#7308 = ORIENTED_EDGE( '', *, *, #12613, .T. );
#7309 = ORIENTED_EDGE( '', *, *, #12614, .F. );
#7310 = ORIENTED_EDGE( '', *, *, #12615, .F. );
#7311 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.00499999999999999, -0.0490000000000000 ) );
#7312 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#7313 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7314 = SURFACE_STYLE_FILL_AREA( #12616 );
#7315 = ORIENTED_EDGE( '', *, *, #12617, .F. );
#7316 = ORIENTED_EDGE( '', *, *, #11839, .T. );
#7317 = ORIENTED_EDGE( '', *, *, #12618, .F. );
#7318 = ORIENTED_EDGE( '', *, *, #12619, .F. );
#7319 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.0299999999999999, 0.0440000000000000 ) );
#7320 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7321 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7322 = SURFACE_STYLE_FILL_AREA( #12620 );
#7323 = ORIENTED_EDGE( '', *, *, #12621, .T. );
#7324 = ORIENTED_EDGE( '', *, *, #12622, .F. );
#7325 = ORIENTED_EDGE( '', *, *, #11809, .F. );
#7326 = ORIENTED_EDGE( '', *, *, #12623, .T. );
#7327 = CARTESIAN_POINT( '', ( 0.178000000000000, 0.0300000000000000, 0.0170000000000000 ) );
#7328 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7329 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7330 = SURFACE_STYLE_FILL_AREA( #12624 );
#7331 = ORIENTED_EDGE( '', *, *, #12625, .T. );
#7332 = ORIENTED_EDGE( '', *, *, #12626, .T. );
#7333 = ORIENTED_EDGE( '', *, *, #12627, .T. );
#7334 = ORIENTED_EDGE( '', *, *, #12628, .T. );
#7335 = ORIENTED_EDGE( '', *, *, #12629, .T. );
#7336 = ORIENTED_EDGE( '', *, *, #12630, .F. );
#7337 = ORIENTED_EDGE( '', *, *, #12631, .T. );
#7338 = ORIENTED_EDGE( '', *, *, #11886, .T. );
#7339 = ORIENTED_EDGE( '', *, *, #12632, .T. );
#7340 = CARTESIAN_POINT( '', ( -0.135000000000000, -0.0100000000000000, 0.131000000000000 ) );
#7341 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7342 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7343 = SURFACE_STYLE_FILL_AREA( #12633 );
#7344 = ORIENTED_EDGE( '', *, *, #12634, .F. );
#7345 = ORIENTED_EDGE( '', *, *, #12635, .T. );
#7346 = ORIENTED_EDGE( '', *, *, #12636, .T. );
#7347 = ORIENTED_EDGE( '', *, *, #12637, .T. );
#7348 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.0300000000000000, -0.000000000000000 ) );
#7349 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, -0.000000000000000 ) );
#7350 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7351 = SURFACE_STYLE_FILL_AREA( #12638 );
#7352 = ORIENTED_EDGE( '', *, *, #12639, .T. );
#7353 = ORIENTED_EDGE( '', *, *, #12390, .T. );
#7354 = ORIENTED_EDGE( '', *, *, #12640, .F. );
#7355 = ORIENTED_EDGE( '', *, *, #12180, .T. );
#7356 = CARTESIAN_POINT( '', ( -0.0130000000000000, 0.172000000000000, -0.0370000000000000 ) );
#7357 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#7358 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#7359 = SURFACE_STYLE_FILL_AREA( #12641 );
#7360 = ORIENTED_EDGE( '', *, *, #12642, .F. );
#7361 = ORIENTED_EDGE( '', *, *, #12643, .T. );
#7362 = ORIENTED_EDGE( '', *, *, #12068, .T. );
#7363 = ORIENTED_EDGE( '', *, *, #12644, .T. );
#7364 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.0299999999999999, 0.0370000000000000 ) );
#7365 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#7366 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7367 = SURFACE_STYLE_FILL_AREA( #12645 );
#7368 = ORIENTED_EDGE( '', *, *, #11978, .T. );
#7369 = ORIENTED_EDGE( '', *, *, #12366, .T. );
#7370 = ORIENTED_EDGE( '', *, *, #12345, .F. );
#7371 = ORIENTED_EDGE( '', *, *, #12207, .T. );
#7372 = CARTESIAN_POINT( '', ( 0.113000000000000, 0.172000000000000, 0.0370000000000000 ) );
#7373 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7374 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7375 = SURFACE_STYLE_FILL_AREA( #12646 );
#7376 = ORIENTED_EDGE( '', *, *, #12263, .T. );
#7377 = ORIENTED_EDGE( '', *, *, #12416, .T. );
#7378 = ORIENTED_EDGE( '', *, *, #12647, .F. );
#7379 = ORIENTED_EDGE( '', *, *, #12150, .T. );
#7380 = CARTESIAN_POINT( '', ( -0.213000000000000, 0.172000000000000, -0.0370000000000000 ) );
#7381 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#7382 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#7383 = SURFACE_STYLE_FILL_AREA( #12648 );
#7384 = ORIENTED_EDGE( '', *, *, #12603, .T. );
#7385 = ORIENTED_EDGE( '', *, *, #12649, .T. );
#7386 = ORIENTED_EDGE( '', *, *, #12650, .T. );
#7387 = ORIENTED_EDGE( '', *, *, #12651, .F. );
#7388 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.0300000000000000, -0.0440000000000000 ) );
#7389 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#7390 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7391 = SURFACE_STYLE_FILL_AREA( #12652 );
#7392 = ORIENTED_EDGE( '', *, *, #11926, .F. );
#7393 = ORIENTED_EDGE( '', *, *, #12653, .T. );
#7394 = ORIENTED_EDGE( '', *, *, #12654, .T. );
#7395 = ORIENTED_EDGE( '', *, *, #12655, .T. );
#7396 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.00500000000000000, 0.0490000000000000 ) );
#7397 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#7398 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7399 = SURFACE_STYLE_FILL_AREA( #12656 );
#7400 = ORIENTED_EDGE( '', *, *, #12347, .T. );
#7401 = ORIENTED_EDGE( '', *, *, #12367, .T. );
#7402 = ORIENTED_EDGE( '', *, *, #11976, .F. );
#7403 = ORIENTED_EDGE( '', *, *, #12206, .T. );
#7404 = CARTESIAN_POINT( '', ( 0.137000000000000, 0.172000000000000, 0.0130000000000000 ) );
#7405 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#7406 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#7407 = SURFACE_STYLE_FILL_AREA( #12657 );
#7408 = ORIENTED_EDGE( '', *, *, #12658, .T. );
#7409 = ORIENTED_EDGE( '', *, *, #12659, .F. );
#7410 = ORIENTED_EDGE( '', *, *, #11866, .F. );
#7411 = ORIENTED_EDGE( '', *, *, #12660, .T. );
#7412 = CARTESIAN_POINT( '', ( -0.00999999999999997, 0.0300000000000000, 0.0400000000000000 ) );
#7413 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#7414 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7415 = SURFACE_STYLE_FILL_AREA( #12661 );
#7416 = ORIENTED_EDGE( '', *, *, #12662, .F. );
#7417 = ORIENTED_EDGE( '', *, *, #11969, .T. );
#7418 = ORIENTED_EDGE( '', *, *, #12663, .F. );
#7419 = ORIENTED_EDGE( '', *, *, #12664, .F. );
#7420 = CARTESIAN_POINT( '', ( 0.250000000000000, 6.07153216591882E-18, 0.0904500000000000 ) );
#7421 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7422 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7423 = SURFACE_STYLE_FILL_AREA( #12665 );
#7424 = ORIENTED_EDGE( '', *, *, #12666, .T. );
#7425 = ORIENTED_EDGE( '', *, *, #12667, .F. );
#7426 = ORIENTED_EDGE( '', *, *, #11876, .F. );
#7427 = ORIENTED_EDGE( '', *, *, #12668, .T. );
#7428 = ORIENTED_EDGE( '', *, *, #12535, .F. );
#7429 = ORIENTED_EDGE( '', *, *, #11999, .T. );
#7430 = ORIENTED_EDGE( '', *, *, #12669, .T. );
#7431 = ORIENTED_EDGE( '', *, *, #12670, .T. );
#7432 = ORIENTED_EDGE( '', *, *, #12671, .T. );
#7433 = CARTESIAN_POINT( '', ( -0.0650000000000000, 0.0300000000000000, 0.131000000000000 ) );
#7434 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#7435 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7436 = SURFACE_STYLE_FILL_AREA( #12672 );
#7437 = ORIENTED_EDGE( '', *, *, #12673, .F. );
#7438 = ORIENTED_EDGE( '', *, *, #12674, .T. );
#7439 = ORIENTED_EDGE( '', *, *, #12675, .T. );
#7440 = ORIENTED_EDGE( '', *, *, #12676, .T. );
#7441 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.00500000000000000, 0.0490000000000000 ) );
#7442 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#7443 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7444 = SURFACE_STYLE_FILL_AREA( #12677 );
#7445 = ORIENTED_EDGE( '', *, *, #12678, .T. );
#7446 = ORIENTED_EDGE( '', *, *, #12679, .F. );
#7447 = ORIENTED_EDGE( '', *, *, #11914, .F. );
#7448 = ORIENTED_EDGE( '', *, *, #12680, .T. );
#7449 = CARTESIAN_POINT( '', ( -0.210000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#7450 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#7451 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7452 = SURFACE_STYLE_FILL_AREA( #12681 );
#7453 = ORIENTED_EDGE( '', *, *, #12682, .T. );
#7454 = ORIENTED_EDGE( '', *, *, #12491, .F. );
#7455 = ORIENTED_EDGE( '', *, *, #11749, .F. );
#7456 = ORIENTED_EDGE( '', *, *, #12683, .F. );
#7457 = ORIENTED_EDGE( '', *, *, #12684, .T. );
#7458 = CARTESIAN_POINT( '', ( -0.0780000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#7459 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7460 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7461 = SURFACE_STYLE_FILL_AREA( #12685 );
#7462 = ORIENTED_EDGE( '', *, *, #12686, .T. );
#7463 = ORIENTED_EDGE( '', *, *, #12687, .F. );
#7464 = ORIENTED_EDGE( '', *, *, #11807, .F. );
#7465 = ORIENTED_EDGE( '', *, *, #12688, .T. );
#7466 = CARTESIAN_POINT( '', ( 0.190000000000000, 0.0300000000000000, 0.0100000000000000 ) );
#7467 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7468 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7469 = SURFACE_STYLE_FILL_AREA( #12689 );
#7470 = ORIENTED_EDGE( '', *, *, #12690, .T. );
#7471 = ORIENTED_EDGE( '', *, *, #12069, .F. );
#7472 = ORIENTED_EDGE( '', *, *, #12643, .F. );
#7473 = ORIENTED_EDGE( '', *, *, #11909, .F. );
#7474 = ORIENTED_EDGE( '', *, *, #12691, .T. );
#7475 = CARTESIAN_POINT( '', ( -0.240000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#7476 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7477 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#7478 = SURFACE_STYLE_FILL_AREA( #12692 );
#7479 = ORIENTED_EDGE( '', *, *, #12693, .T. );
#7480 = ORIENTED_EDGE( '', *, *, #12694, .F. );
#7481 = ORIENTED_EDGE( '', *, *, #12695, .F. );
#7482 = ORIENTED_EDGE( '', *, *, #12696, .T. );
#7483 = CARTESIAN_POINT( '', ( 0.0220000000000000, 0.0300000000000000, 0.0330000000000000 ) );
#7484 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7485 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#7486 = SURFACE_STYLE_FILL_AREA( #12697 );
#7487 = ORIENTED_EDGE( '', *, *, #12698, .T. );
#7488 = ORIENTED_EDGE( '', *, *, #12232, .F. );
#7489 = ORIENTED_EDGE( '', *, *, #11844, .F. );
#7490 = ORIENTED_EDGE( '', *, *, #12699, .T. );
#7491 = CARTESIAN_POINT( '', ( 0.0280000000000000, 0.0300000000000000, 0.0100000000000000 ) );
#7492 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7493 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7494 = SURFACE_STYLE_FILL_AREA( #12700 );
#7495 = ORIENTED_EDGE( '', *, *, #12701, .T. );
#7496 = ORIENTED_EDGE( '', *, *, #12063, .F. );
#7497 = ORIENTED_EDGE( '', *, *, #11702, .F. );
#7498 = ORIENTED_EDGE( '', *, *, #12702, .T. );
#7499 = CARTESIAN_POINT( '', ( 0.110000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#7500 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7501 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7502 = SURFACE_STYLE_FILL_AREA( #12703 );
#7503 = ORIENTED_EDGE( '', *, *, #12704, .F. );
#7504 = ORIENTED_EDGE( '', *, *, #12705, .T. );
#7505 = ORIENTED_EDGE( '', *, *, #12706, .F. );
#7506 = ORIENTED_EDGE( '', *, *, #12707, .F. );
#7507 = CARTESIAN_POINT( '', ( 0.250000000000000, -0.00700000000000001, -0.0904500000000000 ) );
#7508 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7509 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#7510 = SURFACE_STYLE_FILL_AREA( #12708 );
#7511 = ORIENTED_EDGE( '', *, *, #12709, .F. );
#7512 = ORIENTED_EDGE( '', *, *, #12428, .F. );
#7513 = ORIENTED_EDGE( '', *, *, #12552, .T. );
#7514 = ORIENTED_EDGE( '', *, *, #12710, .T. );
#7515 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.0300000000000000, -0.0440000000000000 ) );
#7516 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#7517 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7518 = SURFACE_STYLE_FILL_AREA( #12711 );
#7519 = ORIENTED_EDGE( '', *, *, #12712, .F. );
#7520 = ORIENTED_EDGE( '', *, *, #12713, .T. );
#7521 = ORIENTED_EDGE( '', *, *, #12511, .T. );
#7522 = ORIENTED_EDGE( '', *, *, #12465, .T. );
#7523 = ORIENTED_EDGE( '', *, *, #12714, .F. );
#7524 = ORIENTED_EDGE( '', *, *, #12715, .F. );
#7525 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.0300000000000000, -0.0370000000000000 ) );
#7526 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7527 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7528 = SURFACE_STYLE_FILL_AREA( #12716 );
#7529 = ORIENTED_EDGE( '', *, *, #12717, .T. );
#7530 = ORIENTED_EDGE( '', *, *, #12364, .T. );
#7531 = ORIENTED_EDGE( '', *, *, #12718, .F. );
#7532 = ORIENTED_EDGE( '', *, *, #12211, .T. );
#7533 = CARTESIAN_POINT( '', ( 0.163000000000000, 0.172000000000000, -0.0130000000000000 ) );
#7534 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7535 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7536 = SURFACE_STYLE_FILL_AREA( #12719 );
#7537 = ORIENTED_EDGE( '', *, *, #12720, .T. );
#7538 = ORIENTED_EDGE( '', *, *, #12721, .F. );
#7539 = ORIENTED_EDGE( '', *, *, #11817, .F. );
#7540 = ORIENTED_EDGE( '', *, *, #12722, .F. );
#7541 = ORIENTED_EDGE( '', *, *, #12723, .T. );
#7542 = CARTESIAN_POINT( '', ( 0.178000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#7543 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7544 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#7545 = SURFACE_STYLE_FILL_AREA( #12724 );
#7546 = ORIENTED_EDGE( '', *, *, #12725, .T. );
#7547 = ORIENTED_EDGE( '', *, *, #12726, .F. );
#7548 = ORIENTED_EDGE( '', *, *, #11680, .F. );
#7549 = ORIENTED_EDGE( '', *, *, #12727, .T. );
#7550 = CARTESIAN_POINT( '', ( 0.222000000000000, 0.0300000000000000, -0.0100000000000000 ) );
#7551 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#7552 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7553 = SURFACE_STYLE_FILL_AREA( #12728 );
#7554 = ORIENTED_EDGE( '', *, *, #12729, .T. );
#7555 = ORIENTED_EDGE( '', *, *, #12730, .F. );
#7556 = ORIENTED_EDGE( '', *, *, #11690, .F. );
#7557 = ORIENTED_EDGE( '', *, *, #12731, .T. );
#7558 = CARTESIAN_POINT( '', ( 0.160000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#7559 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7560 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7561 = SURFACE_STYLE_FILL_AREA( #12732 );
#7562 = ORIENTED_EDGE( '', *, *, #12733, .F. );
#7563 = ORIENTED_EDGE( '', *, *, #12734, .T. );
#7564 = ORIENTED_EDGE( '', *, *, #12735, .F. );
#7565 = ORIENTED_EDGE( '', *, *, #12736, .F. );
#7566 = CARTESIAN_POINT( '', ( 0.250000000000000, -6.07153216591882E-18, -0.0904500000000000 ) );
#7567 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#7568 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7569 = SURFACE_STYLE_FILL_AREA( #12737 );
#7570 = ORIENTED_EDGE( '', *, *, #12738, .T. );
#7571 = ORIENTED_EDGE( '', *, *, #12739, .F. );
#7572 = ORIENTED_EDGE( '', *, *, #11884, .F. );
#7573 = ORIENTED_EDGE( '', *, *, #12740, .T. );
#7574 = CARTESIAN_POINT( '', ( -0.140000000000000, 0.0300000000000000, 0.0100000000000000 ) );
#7575 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7576 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7577 = SURFACE_STYLE_FILL_AREA( #12741 );
#7578 = ORIENTED_EDGE( '', *, *, #12742, .T. );
#7579 = ORIENTED_EDGE( '', *, *, #12743, .F. );
#7580 = ORIENTED_EDGE( '', *, *, #12744, .F. );
#7581 = ORIENTED_EDGE( '', *, *, #11997, .F. );
#7582 = ORIENTED_EDGE( '', *, *, #12316, .T. );
#7583 = CARTESIAN_POINT( '', ( 0.172000000000000, 0.0300000000000000, -0.0330000000000000 ) );
#7584 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#7585 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7586 = SURFACE_STYLE_FILL_AREA( #12745 );
#7587 = ORIENTED_EDGE( '', *, *, #12473, .F. );
#7588 = ORIENTED_EDGE( '', *, *, #12746, .T. );
#7589 = ORIENTED_EDGE( '', *, *, #12747, .F. );
#7590 = ORIENTED_EDGE( '', *, *, #12748, .F. );
#7591 = CARTESIAN_POINT( '', ( 0.250000000000000, 6.07153216591882E-18, 0.0490000000000000 ) );
#7592 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#7593 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7594 = SURFACE_STYLE_FILL_AREA( #12749 );
#7595 = ORIENTED_EDGE( '', *, *, #12750, .T. );
#7596 = ORIENTED_EDGE( '', *, *, #12751, .F. );
#7597 = ORIENTED_EDGE( '', *, *, #11695, .F. );
#7598 = ORIENTED_EDGE( '', *, *, #12752, .T. );
#7599 = CARTESIAN_POINT( '', ( 0.128000000000000, 0.0300000000000000, -0.0100000000000000 ) );
#7600 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7601 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#7602 = SURFACE_STYLE_FILL_AREA( #12753 );
#7603 = ORIENTED_EDGE( '', *, *, #12754, .T. );
#7604 = ORIENTED_EDGE( '', *, *, #12755, .F. );
#7605 = ORIENTED_EDGE( '', *, *, #11681, .F. );
#7606 = ORIENTED_EDGE( '', *, *, #12726, .T. );
#7607 = CARTESIAN_POINT( '', ( 0.222000000000000, 0.0300000000000000, -0.0170000000000000 ) );
#7608 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7609 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#7610 = SURFACE_STYLE_FILL_AREA( #12756 );
#7611 = ORIENTED_EDGE( '', *, *, #12757, .T. );
#7612 = ORIENTED_EDGE( '', *, *, #12696, .F. );
#7613 = ORIENTED_EDGE( '', *, *, #12758, .F. );
#7614 = ORIENTED_EDGE( '', *, *, #12759, .F. );
#7615 = ORIENTED_EDGE( '', *, *, #12760, .T. );
#7616 = CARTESIAN_POINT( '', ( 0.0220000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#7617 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#7618 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7619 = SURFACE_STYLE_FILL_AREA( #12761 );
#7620 = ORIENTED_EDGE( '', *, *, #12762, .T. );
#7621 = ORIENTED_EDGE( '', *, *, #12763, .F. );
#7622 = ORIENTED_EDGE( '', *, *, #11868, .F. );
#7623 = ORIENTED_EDGE( '', *, *, #12764, .T. );
#7624 = CARTESIAN_POINT( '', ( -0.0720000000000000, 0.0300000000000000, 0.0100000000000000 ) );
#7625 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7626 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7627 = SURFACE_STYLE_FILL_AREA( #12765 );
#7628 = ORIENTED_EDGE( '', *, *, #12766, .T. );
#7629 = ORIENTED_EDGE( '', *, *, #12767, .F. );
#7630 = ORIENTED_EDGE( '', *, *, #11821, .F. );
#7631 = ORIENTED_EDGE( '', *, *, #12768, .T. );
#7632 = CARTESIAN_POINT( '', ( 0.128000000000000, 0.0300000000000000, 0.0170000000000000 ) );
#7633 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7634 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7635 = SURFACE_STYLE_FILL_AREA( #12769 );
#7636 = ORIENTED_EDGE( '', *, *, #12540, .F. );
#7637 = ORIENTED_EDGE( '', *, *, #12602, .T. );
#7638 = ORIENTED_EDGE( '', *, *, #12770, .T. );
#7639 = ORIENTED_EDGE( '', *, *, #12481, .T. );
#7640 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.00499999999999999, -0.0490000000000000 ) );
#7641 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#7642 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7643 = SURFACE_STYLE_FILL_AREA( #12771 );
#7644 = ORIENTED_EDGE( '', *, *, #12772, .T. );
#7645 = ORIENTED_EDGE( '', *, *, #12773, .T. );
#7646 = ORIENTED_EDGE( '', *, *, #12774, .T. );
#7647 = ORIENTED_EDGE( '', *, *, #12775, .T. );
#7648 = ORIENTED_EDGE( '', *, *, #12001, .T. );
#7649 = ORIENTED_EDGE( '', *, *, #12537, .F. );
#7650 = ORIENTED_EDGE( '', *, *, #12776, .T. );
#7651 = ORIENTED_EDGE( '', *, *, #11874, .T. );
#7652 = ORIENTED_EDGE( '', *, *, #12777, .T. );
#7653 = CARTESIAN_POINT( '', ( -0.0850000000000000, -0.0100000000000000, 0.131000000000000 ) );
#7654 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7655 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7656 = SURFACE_STYLE_FILL_AREA( #12778 );
#7657 = ORIENTED_EDGE( '', *, *, #12779, .T. );
#7658 = ORIENTED_EDGE( '', *, *, #12355, .T. );
#7659 = ORIENTED_EDGE( '', *, *, #12780, .F. );
#7660 = ORIENTED_EDGE( '', *, *, #12220, .T. );
#7661 = CARTESIAN_POINT( '', ( 0.213000000000000, 0.172000000000000, -0.0370000000000000 ) );
#7662 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7663 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7664 = SURFACE_STYLE_FILL_AREA( #12781 );
#7665 = ORIENTED_EDGE( '', *, *, #12782, .T. );
#7666 = ORIENTED_EDGE( '', *, *, #12783, .F. );
#7667 = ORIENTED_EDGE( '', *, *, #12784, .F. );
#7668 = ORIENTED_EDGE( '', *, *, #12785, .F. );
#7669 = ORIENTED_EDGE( '', *, *, #12320, .T. );
#7670 = CARTESIAN_POINT( '', ( 0.0780000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#7671 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7672 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7673 = SURFACE_STYLE_FILL_AREA( #12786 );
#7674 = ORIENTED_EDGE( '', *, *, #12787, .T. );
#7675 = ORIENTED_EDGE( '', *, *, #12509, .F. );
#7676 = ORIENTED_EDGE( '', *, *, #11741, .F. );
#7677 = ORIENTED_EDGE( '', *, *, #12788, .T. );
#7678 = CARTESIAN_POINT( '', ( -0.0280000000000000, 0.0300000000000000, -0.0170000000000000 ) );
#7679 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7680 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#7681 = SURFACE_STYLE_FILL_AREA( #12789 );
#7682 = ORIENTED_EDGE( '', *, *, #12790, .T. );
#7683 = ORIENTED_EDGE( '', *, *, #12791, .F. );
#7684 = ORIENTED_EDGE( '', *, *, #11890, .F. );
#7685 = ORIENTED_EDGE( '', *, *, #12792, .T. );
#7686 = CARTESIAN_POINT( '', ( -0.110000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#7687 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#7688 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7689 = SURFACE_STYLE_FILL_AREA( #12793 );
#7690 = ORIENTED_EDGE( '', *, *, #11918, .F. );
#7691 = ORIENTED_EDGE( '', *, *, #12794, .T. );
#7692 = CARTESIAN_POINT( '', ( -0.0500000000000000, 0.0300000000000000, 0.000000000000000 ) );
#7693 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#7694 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#7695 = SURFACE_STYLE_FILL_AREA( #12795 );
#7696 = ORIENTED_EDGE( '', *, *, #11949, .T. );
#7697 = ORIENTED_EDGE( '', *, *, #12796, .T. );
#7698 = ORIENTED_EDGE( '', *, *, #11784, .T. );
#7699 = ORIENTED_EDGE( '', *, *, #12797, .T. );
#7700 = ORIENTED_EDGE( '', *, *, #12054, .F. );
#7701 = ORIENTED_EDGE( '', *, *, #12798, .T. );
#7702 = ORIENTED_EDGE( '', *, *, #12706, .T. );
#7703 = ORIENTED_EDGE( '', *, *, #12799, .T. );
#7704 = ORIENTED_EDGE( '', *, *, #12547, .T. );
#7705 = CARTESIAN_POINT( '', ( -0.235000000000000, -0.0100000000000000, 0.131000000000000 ) );
#7706 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7707 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7708 = SURFACE_STYLE_FILL_AREA( #12800 );
#7709 = ORIENTED_EDGE( '', *, *, #12671, .F. );
#7710 = ORIENTED_EDGE( '', *, *, #12801, .T. );
#7711 = ORIENTED_EDGE( '', *, *, #12773, .F. );
#7712 = ORIENTED_EDGE( '', *, *, #12802, .F. );
#7713 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.00500000000000000, 0.0490000000000000 ) );
#7714 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#7715 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7716 = SURFACE_STYLE_FILL_AREA( #12803 );
#7717 = ORIENTED_EDGE( '', *, *, #12804, .T. );
#7718 = ORIENTED_EDGE( '', *, *, #12805, .F. );
#7719 = ORIENTED_EDGE( '', *, *, #12225, .F. );
#7720 = ORIENTED_EDGE( '', *, *, #12806, .T. );
#7721 = CARTESIAN_POINT( '', ( 0.252250000000000, 0.172000000000000, -0.0655000000000000 ) );
#7722 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#7723 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#7724 = SURFACE_STYLE_FILL_AREA( #12807 );
#7725 = ORIENTED_EDGE( '', *, *, #12808, .F. );
#7726 = ORIENTED_EDGE( '', *, *, #12809, .T. );
#7727 = ORIENTED_EDGE( '', *, *, #12337, .T. );
#7728 = ORIENTED_EDGE( '', *, *, #12810, .T. );
#7729 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.0300000000000000, -0.000000000000000 ) );
#7730 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, -0.000000000000000 ) );
#7731 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7732 = SURFACE_STYLE_FILL_AREA( #12811 );
#7733 = ORIENTED_EDGE( '', *, *, #12812, .F. );
#7734 = ORIENTED_EDGE( '', *, *, #12813, .T. );
#7735 = ORIENTED_EDGE( '', *, *, #12814, .T. );
#7736 = ORIENTED_EDGE( '', *, *, #12815, .T. );
#7737 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.00499999999999999, -0.0490000000000000 ) );
#7738 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#7739 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7740 = SURFACE_STYLE_FILL_AREA( #12816 );
#7741 = ORIENTED_EDGE( '', *, *, #12817, .F. );
#7742 = ORIENTED_EDGE( '', *, *, #12615, .T. );
#7743 = ORIENTED_EDGE( '', *, *, #12818, .F. );
#7744 = ORIENTED_EDGE( '', *, *, #12585, .F. );
#7745 = CARTESIAN_POINT( '', ( 0.250000000000000, -0.00700000000000001, -0.0490000000000000 ) );
#7746 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#7747 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#7748 = SURFACE_STYLE_FILL_AREA( #12819 );
#7749 = ORIENTED_EDGE( '', *, *, #12820, .T. );
#7750 = ORIENTED_EDGE( '', *, *, #12821, .F. );
#7751 = ORIENTED_EDGE( '', *, *, #11811, .F. );
#7752 = ORIENTED_EDGE( '', *, *, #12822, .T. );
#7753 = CARTESIAN_POINT( '', ( 0.172000000000000, 0.0300000000000000, 0.0100000000000000 ) );
#7754 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7755 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7756 = SURFACE_STYLE_FILL_AREA( #12823 );
#7757 = ORIENTED_EDGE( '', *, *, #12824, .F. );
#7758 = ORIENTED_EDGE( '', *, *, #12673, .T. );
#7759 = ORIENTED_EDGE( '', *, *, #12825, .F. );
#7760 = ORIENTED_EDGE( '', *, *, #12341, .F. );
#7761 = CARTESIAN_POINT( '', ( 0.250000000000000, 6.07153216591882E-18, 0.0490000000000000 ) );
#7762 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#7763 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7764 = SURFACE_STYLE_FILL_AREA( #12826 );
#7765 = ORIENTED_EDGE( '', *, *, #12827, .T. );
#7766 = ORIENTED_EDGE( '', *, *, #12828, .F. );
#7767 = ORIENTED_EDGE( '', *, *, #12829, .F. );
#7768 = ORIENTED_EDGE( '', *, *, #11861, .F. );
#7769 = ORIENTED_EDGE( '', *, *, #12830, .T. );
#7770 = CARTESIAN_POINT( '', ( -0.0400000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#7771 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7772 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#7773 = SURFACE_STYLE_FILL_AREA( #12831 );
#7774 = ORIENTED_EDGE( '', *, *, #12429, .T. );
#7775 = ORIENTED_EDGE( '', *, *, #12709, .T. );
#7776 = ORIENTED_EDGE( '', *, *, #11772, .T. );
#7777 = ORIENTED_EDGE( '', *, *, #12832, .T. );
#7778 = ORIENTED_EDGE( '', *, *, #12815, .F. );
#7779 = ORIENTED_EDGE( '', *, *, #12833, .T. );
#7780 = ORIENTED_EDGE( '', *, *, #12092, .T. );
#7781 = ORIENTED_EDGE( '', *, *, #12497, .T. );
#7782 = ORIENTED_EDGE( '', *, *, #12834, .T. );
#7783 = CARTESIAN_POINT( '', ( -0.185000000000000, -0.0100000000000000, 0.131000000000000 ) );
#7784 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7785 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7786 = SURFACE_STYLE_FILL_AREA( #12835 );
#7787 = ORIENTED_EDGE( '', *, *, #12777, .F. );
#7788 = ORIENTED_EDGE( '', *, *, #12836, .T. );
#7789 = ORIENTED_EDGE( '', *, *, #12837, .T. );
#7790 = ORIENTED_EDGE( '', *, *, #12838, .T. );
#7791 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.0299999999999999, 0.0370000000000000 ) );
#7792 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#7793 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7794 = SURFACE_STYLE_FILL_AREA( #12839 );
#7795 = ORIENTED_EDGE( '', *, *, #12840, .T. );
#7796 = ORIENTED_EDGE( '', *, *, #12660, .F. );
#7797 = ORIENTED_EDGE( '', *, *, #11865, .F. );
#7798 = ORIENTED_EDGE( '', *, *, #12841, .F. );
#7799 = ORIENTED_EDGE( '', *, *, #12423, .T. );
#7800 = CARTESIAN_POINT( '', ( -0.0220000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#7801 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7802 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#7803 = SURFACE_STYLE_FILL_AREA( #12842 );
#7804 = ORIENTED_EDGE( '', *, *, #12126, .F. );
#7805 = ORIENTED_EDGE( '', *, *, #12758, .T. );
#7806 = ORIENTED_EDGE( '', *, *, #12695, .T. );
#7807 = ORIENTED_EDGE( '', *, *, #12843, .T. );
#7808 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.0300000000000000, -0.000000000000000 ) );
#7809 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, -0.000000000000000 ) );
#7810 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7811 = SURFACE_STYLE_FILL_AREA( #12844 );
#7812 = ORIENTED_EDGE( '', *, *, #12712, .T. );
#7813 = ORIENTED_EDGE( '', *, *, #12845, .T. );
#7814 = ORIENTED_EDGE( '', *, *, #12846, .T. );
#7815 = ORIENTED_EDGE( '', *, *, #12294, .T. );
#7816 = ORIENTED_EDGE( '', *, *, #12847, .T. );
#7817 = ORIENTED_EDGE( '', *, *, #12848, .F. );
#7818 = ORIENTED_EDGE( '', *, *, #12849, .T. );
#7819 = ORIENTED_EDGE( '', *, *, #11758, .F. );
#7820 = ORIENTED_EDGE( '', *, *, #12850, .F. );
#7821 = CARTESIAN_POINT( '', ( -0.115000000000000, 0.0300000000000000, 0.131000000000000 ) );
#7822 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#7823 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7824 = SURFACE_STYLE_FILL_AREA( #12851 );
#7825 = ORIENTED_EDGE( '', *, *, #11945, .T. );
#7826 = ORIENTED_EDGE( '', *, *, #12546, .T. );
#7827 = ORIENTED_EDGE( '', *, *, #12852, .T. );
#7828 = ORIENTED_EDGE( '', *, *, #12704, .T. );
#7829 = ORIENTED_EDGE( '', *, *, #12853, .T. );
#7830 = ORIENTED_EDGE( '', *, *, #12052, .F. );
#7831 = ORIENTED_EDGE( '', *, *, #12854, .T. );
#7832 = ORIENTED_EDGE( '', *, *, #11782, .F. );
#7833 = ORIENTED_EDGE( '', *, *, #12855, .F. );
#7834 = CARTESIAN_POINT( '', ( -0.215000000000000, 0.0300000000000000, 0.131000000000000 ) );
#7835 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#7836 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7837 = SURFACE_STYLE_FILL_AREA( #12856 );
#7838 = ORIENTED_EDGE( '', *, *, #12857, .T. );
#7839 = ORIENTED_EDGE( '', *, *, #12371, .T. );
#7840 = ORIENTED_EDGE( '', *, *, #12858, .F. );
#7841 = ORIENTED_EDGE( '', *, *, #12202, .T. );
#7842 = CARTESIAN_POINT( '', ( 0.137000000000000, 0.172000000000000, -0.0370000000000000 ) );
#7843 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#7844 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#7845 = SURFACE_STYLE_FILL_AREA( #12859 );
#7846 = ORIENTED_EDGE( '', *, *, #12860, .T. );
#7847 = ORIENTED_EDGE( '', *, *, #12575, .F. );
#7848 = ORIENTED_EDGE( '', *, *, #11894, .F. );
#7849 = ORIENTED_EDGE( '', *, *, #12861, .T. );
#7850 = CARTESIAN_POINT( '', ( -0.178000000000000, 0.0300000000000000, 0.0170000000000000 ) );
#7851 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#7852 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7853 = SURFACE_STYLE_FILL_AREA( #12862 );
#7854 = ORIENTED_EDGE( '', *, *, #12863, .T. );
#7855 = ORIENTED_EDGE( '', *, *, #12864, .F. );
#7856 = ORIENTED_EDGE( '', *, *, #11785, .F. );
#7857 = ORIENTED_EDGE( '', *, *, #12865, .F. );
#7858 = ORIENTED_EDGE( '', *, *, #12866, .T. );
#7859 = CARTESIAN_POINT( '', ( -0.228000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#7860 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7861 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7862 = SURFACE_STYLE_FILL_AREA( #12867 );
#7863 = ORIENTED_EDGE( '', *, *, #12868, .T. );
#7864 = ORIENTED_EDGE( '', *, *, #12869, .F. );
#7865 = ORIENTED_EDGE( '', *, *, #12870, .F. );
#7866 = ORIENTED_EDGE( '', *, *, #12871, .F. );
#7867 = ORIENTED_EDGE( '', *, *, #12872, .T. );
#7868 = CARTESIAN_POINT( '', ( 0.228000000000000, 0.0300000000000000, 0.0330000000000000 ) );
#7869 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7870 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7871 = SURFACE_STYLE_FILL_AREA( #12873 );
#7872 = ORIENTED_EDGE( '', *, *, #12874, .T. );
#7873 = ORIENTED_EDGE( '', *, *, #12792, .F. );
#7874 = ORIENTED_EDGE( '', *, *, #11889, .F. );
#7875 = ORIENTED_EDGE( '', *, *, #12875, .F. );
#7876 = ORIENTED_EDGE( '', *, *, #12876, .T. );
#7877 = CARTESIAN_POINT( '', ( -0.122000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#7878 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7879 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#7880 = SURFACE_STYLE_FILL_AREA( #12877 );
#7881 = ORIENTED_EDGE( '', *, *, #12878, .F. );
#7882 = ORIENTED_EDGE( '', *, *, #12879, .T. );
#7883 = ORIENTED_EDGE( '', *, *, #12880, .F. );
#7884 = ORIENTED_EDGE( '', *, *, #12881, .F. );
#7885 = CARTESIAN_POINT( '', ( 0.250000000000000, -6.07153216591882E-18, -0.0904500000000000 ) );
#7886 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#7887 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7888 = SURFACE_STYLE_FILL_AREA( #12882 );
#7889 = ORIENTED_EDGE( '', *, *, #12883, .T. );
#7890 = ORIENTED_EDGE( '', *, *, #12884, .F. );
#7891 = ORIENTED_EDGE( '', *, *, #11796, .F. );
#7892 = ORIENTED_EDGE( '', *, *, #12885, .T. );
#7893 = CARTESIAN_POINT( '', ( 0.228000000000000, 0.0300000000000000, 0.0100000000000000 ) );
#7894 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7895 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7896 = SURFACE_STYLE_FILL_AREA( #12886 );
#7897 = ORIENTED_EDGE( '', *, *, #12887, .T. );
#7898 = ORIENTED_EDGE( '', *, *, #12861, .F. );
#7899 = ORIENTED_EDGE( '', *, *, #11893, .F. );
#7900 = ORIENTED_EDGE( '', *, *, #12888, .T. );
#7901 = CARTESIAN_POINT( '', ( -0.172000000000000, 0.0300000000000000, 0.0170000000000000 ) );
#7902 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7903 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7904 = SURFACE_STYLE_FILL_AREA( #12889 );
#7905 = ORIENTED_EDGE( '', *, *, #12479, .F. );
#7906 = ORIENTED_EDGE( '', *, *, #12890, .F. );
#7907 = ORIENTED_EDGE( '', *, *, #12891, .T. );
#7908 = ORIENTED_EDGE( '', *, *, #12892, .T. );
#7909 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.0300000000000000, -0.0440000000000000 ) );
#7910 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#7911 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7912 = SURFACE_STYLE_FILL_AREA( #12893 );
#7913 = ORIENTED_EDGE( '', *, *, #12714, .T. );
#7914 = ORIENTED_EDGE( '', *, *, #12464, .T. );
#7915 = ORIENTED_EDGE( '', *, *, #11760, .T. );
#7916 = ORIENTED_EDGE( '', *, *, #12894, .T. );
#7917 = ORIENTED_EDGE( '', *, *, #12895, .F. );
#7918 = ORIENTED_EDGE( '', *, *, #12896, .T. );
#7919 = ORIENTED_EDGE( '', *, *, #12296, .T. );
#7920 = ORIENTED_EDGE( '', *, *, #12897, .T. );
#7921 = ORIENTED_EDGE( '', *, *, #12898, .T. );
#7922 = CARTESIAN_POINT( '', ( -0.135000000000000, -0.0100000000000000, 0.131000000000000 ) );
#7923 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7924 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7925 = SURFACE_STYLE_FILL_AREA( #12899 );
#7926 = ORIENTED_EDGE( '', *, *, #12900, .T. );
#7927 = ORIENTED_EDGE( '', *, *, #12401, .T. );
#7928 = ORIENTED_EDGE( '', *, *, #12901, .F. );
#7929 = ORIENTED_EDGE( '', *, *, #12167, .T. );
#7930 = CARTESIAN_POINT( '', ( -0.113000000000000, 0.172000000000000, -0.0130000000000000 ) );
#7931 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7932 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#7933 = SURFACE_STYLE_FILL_AREA( #12902 );
#7934 = ORIENTED_EDGE( '', *, *, #12487, .T. );
#7935 = CARTESIAN_POINT( '', ( 0.150000000000000, 0.122000000000000, 0.000000000000000 ) );
#7936 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#7937 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#7938 = SURFACE_STYLE_FILL_AREA( #12903 );
#7939 = ORIENTED_EDGE( '', *, *, #12277, .F. );
#7940 = ORIENTED_EDGE( '', *, *, #12904, .T. );
#7941 = ORIENTED_EDGE( '', *, *, #12905, .F. );
#7942 = ORIENTED_EDGE( '', *, *, #12906, .F. );
#7943 = CARTESIAN_POINT( '', ( 0.250000000000000, -6.07153216591882E-18, -0.0904500000000000 ) );
#7944 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#7945 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7946 = SURFACE_STYLE_FILL_AREA( #12907 );
#7947 = ORIENTED_EDGE( '', *, *, #12667, .T. );
#7948 = ORIENTED_EDGE( '', *, *, #12908, .T. );
#7949 = ORIENTED_EDGE( '', *, *, #12909, .T. );
#7950 = ORIENTED_EDGE( '', *, *, #11963, .T. );
#7951 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.0299999999999999, 0.0370000000000000 ) );
#7952 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#7953 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7954 = SURFACE_STYLE_FILL_AREA( #12910 );
#7955 = ORIENTED_EDGE( '', *, *, #12911, .T. );
#7956 = ORIENTED_EDGE( '', *, *, #12376, .T. );
#7957 = ORIENTED_EDGE( '', *, *, #11956, .F. );
#7958 = ORIENTED_EDGE( '', *, *, #12195, .T. );
#7959 = CARTESIAN_POINT( '', ( 0.0870000000000000, 0.172000000000000, -0.0370000000000000 ) );
#7960 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#7961 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#7962 = SURFACE_STYLE_FILL_AREA( #12912 );
#7963 = ORIENTED_EDGE( '', *, *, #12913, .T. );
#7964 = CARTESIAN_POINT( '', ( 0.100000000000000, 0.122000000000000, 0.000000000000000 ) );
#7965 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#7966 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#7967 = SURFACE_STYLE_FILL_AREA( #12914 );
#7968 = ORIENTED_EDGE( '', *, *, #12915, .T. );
#7969 = ORIENTED_EDGE( '', *, *, #11938, .F. );
#7970 = ORIENTED_EDGE( '', *, *, #12916, .F. );
#7971 = ORIENTED_EDGE( '', *, *, #12783, .T. );
#7972 = CARTESIAN_POINT( '', ( 0.0780000000000000, 0.0300000000000000, -0.0330000000000000 ) );
#7973 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7974 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7975 = SURFACE_STYLE_FILL_AREA( #12917 );
#7976 = ORIENTED_EDGE( '', *, *, #12918, .F. );
#7977 = ORIENTED_EDGE( '', *, *, #11943, .T. );
#7978 = ORIENTED_EDGE( '', *, *, #12919, .T. );
#7979 = ORIENTED_EDGE( '', *, *, #12920, .T. );
#7980 = ORIENTED_EDGE( '', *, *, #12921, .F. );
#7981 = ORIENTED_EDGE( '', *, *, #12922, .F. );
#7982 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.0300000000000000, -0.0370000000000000 ) );
#7983 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7984 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7985 = SURFACE_STYLE_FILL_AREA( #12923 );
#7986 = VERTEX_POINT( '', #12924 );
#7987 = ORIENTED_EDGE( '', *, *, #12925, .T. );
#7988 = CARTESIAN_POINT( '', ( -0.200000000000000, -0.0175000000000000, 0.000000000000000 ) );
#7989 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#7990 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#7991 = SURFACE_STYLE_FILL_AREA( #12926 );
#7992 = ORIENTED_EDGE( '', *, *, #11793, .T. );
#7993 = ORIENTED_EDGE( '', *, *, #12927, .T. );
#7994 = ORIENTED_EDGE( '', *, *, #12928, .F. );
#7995 = ORIENTED_EDGE( '', *, *, #12929, .F. );
#7996 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.0300000000000000, 0.0475000000000000 ) );
#7997 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#7998 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#7999 = SURFACE_STYLE_FILL_AREA( #12930 );
#8000 = ORIENTED_EDGE( '', *, *, #12931, .T. );
#8001 = ORIENTED_EDGE( '', *, *, #12932, .F. );
#8002 = ORIENTED_EDGE( '', *, *, #12590, .F. );
#8003 = ORIENTED_EDGE( '', *, *, #11813, .F. );
#8004 = ORIENTED_EDGE( '', *, *, #12933, .T. );
#8005 = CARTESIAN_POINT( '', ( 0.160000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#8006 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#8007 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#8008 = SURFACE_STYLE_FILL_AREA( #12934 );
#8009 = ORIENTED_EDGE( '', *, *, #12499, .F. );
#8010 = ORIENTED_EDGE( '', *, *, #12081, .T. );
#8011 = ORIENTED_EDGE( '', *, *, #12935, .F. );
#8012 = ORIENTED_EDGE( '', *, *, #12936, .F. );
#8013 = ORIENTED_EDGE( '', *, *, #12239, .T. );
#8014 = ORIENTED_EDGE( '', *, *, #12937, .F. );
#8015 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.00499999999999999, 0.0370000000000000 ) );
#8016 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#8017 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#8018 = SURFACE_STYLE_FILL_AREA( #12938 );
#8019 = ORIENTED_EDGE( '', *, *, #12939, .T. );
#8020 = ORIENTED_EDGE( '', *, *, #12940, .F. );
#8021 = ORIENTED_EDGE( '', *, *, #11678, .F. );
#8022 = ORIENTED_EDGE( '', *, *, #12941, .T. );
#8023 = CARTESIAN_POINT( '', ( 0.210000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#8024 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#8025 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#8026 = SURFACE_STYLE_FILL_AREA( #12942 );
#8027 = ORIENTED_EDGE( '', *, *, #12943, .T. );
#8028 = ORIENTED_EDGE( '', *, *, #12944, .T. );
#8029 = ORIENTED_EDGE( '', *, *, #11712, .T. );
#8030 = ORIENTED_EDGE( '', *, *, #12945, .T. );
#8031 = ORIENTED_EDGE( '', *, *, #12946, .F. );
#8032 = ORIENTED_EDGE( '', *, *, #12905, .T. );
#8033 = ORIENTED_EDGE( '', *, *, #12947, .T. );
#8034 = ORIENTED_EDGE( '', *, *, #12948, .T. );
#8035 = ORIENTED_EDGE( '', *, *, #12949, .T. );
#8036 = CARTESIAN_POINT( '', ( 0.0650000000000000, -0.0100000000000000, 0.131000000000000 ) );
#8037 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#8038 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );