Newer
Older
8001
8002
8003
8004
8005
8006
8007
8008
8009
8010
8011
8012
8013
8014
8015
8016
8017
8018
8019
8020
8021
8022
8023
8024
8025
8026
8027
8028
8029
8030
8031
8032
8033
8034
8035
8036
8037
8038
8039
8040
8041
8042
8043
8044
8045
8046
8047
8048
8049
8050
8051
8052
8053
8054
8055
8056
8057
8058
8059
8060
8061
8062
8063
8064
8065
8066
8067
8068
8069
8070
8071
8072
8073
8074
8075
8076
8077
8078
8079
8080
8081
8082
8083
8084
8085
8086
8087
8088
8089
8090
8091
8092
8093
8094
8095
8096
8097
8098
8099
8100
8101
8102
8103
8104
8105
8106
8107
8108
8109
8110
8111
8112
8113
8114
8115
8116
8117
8118
8119
8120
8121
8122
8123
8124
8125
8126
8127
8128
8129
8130
8131
8132
8133
8134
8135
8136
8137
8138
8139
8140
8141
8142
8143
8144
8145
8146
8147
8148
8149
8150
8151
8152
8153
8154
8155
8156
8157
8158
8159
8160
8161
8162
8163
8164
8165
8166
8167
8168
8169
8170
8171
8172
8173
8174
8175
8176
8177
8178
8179
8180
8181
8182
8183
8184
8185
8186
8187
8188
8189
8190
8191
8192
8193
8194
8195
8196
8197
8198
8199
8200
8201
8202
8203
8204
8205
8206
8207
8208
8209
8210
8211
8212
8213
8214
8215
8216
8217
8218
8219
8220
8221
8222
8223
8224
8225
8226
8227
8228
8229
8230
8231
8232
8233
8234
8235
8236
8237
8238
8239
8240
8241
8242
8243
8244
8245
8246
8247
8248
8249
8250
8251
8252
8253
8254
8255
8256
8257
8258
8259
8260
8261
8262
8263
8264
8265
8266
8267
8268
8269
8270
8271
8272
8273
8274
8275
8276
8277
8278
8279
8280
8281
8282
8283
8284
8285
8286
8287
8288
8289
8290
8291
8292
8293
8294
8295
8296
8297
8298
8299
8300
8301
8302
8303
8304
8305
8306
8307
8308
8309
8310
8311
8312
8313
8314
8315
8316
8317
8318
8319
8320
8321
8322
8323
8324
8325
8326
8327
8328
8329
8330
8331
8332
8333
8334
8335
8336
8337
8338
8339
8340
8341
8342
8343
8344
8345
8346
8347
8348
8349
8350
8351
8352
8353
8354
8355
8356
8357
8358
8359
8360
8361
8362
8363
8364
8365
8366
8367
8368
8369
8370
8371
8372
8373
8374
8375
8376
8377
8378
8379
8380
8381
8382
8383
8384
8385
8386
8387
8388
8389
8390
8391
8392
8393
8394
8395
8396
8397
8398
8399
8400
8401
8402
8403
8404
8405
8406
8407
8408
8409
8410
8411
8412
8413
8414
8415
8416
8417
8418
8419
8420
8421
8422
8423
8424
8425
8426
8427
8428
8429
8430
8431
8432
8433
8434
8435
8436
8437
8438
8439
8440
8441
8442
8443
8444
8445
8446
8447
8448
8449
8450
8451
8452
8453
8454
8455
8456
8457
8458
8459
8460
8461
8462
8463
8464
8465
8466
8467
8468
8469
8470
8471
8472
8473
8474
8475
8476
8477
8478
8479
8480
8481
8482
8483
8484
8485
8486
8487
8488
8489
8490
8491
8492
8493
8494
8495
8496
8497
8498
8499
8500
8501
8502
8503
8504
8505
8506
8507
8508
8509
8510
8511
8512
8513
8514
8515
8516
8517
8518
8519
8520
8521
8522
8523
8524
8525
8526
8527
8528
8529
8530
8531
8532
8533
8534
8535
8536
8537
8538
8539
8540
8541
8542
8543
8544
8545
8546
8547
8548
8549
8550
8551
8552
8553
8554
8555
8556
8557
8558
8559
8560
8561
8562
8563
8564
8565
8566
8567
8568
8569
8570
8571
8572
8573
8574
8575
8576
8577
8578
8579
8580
8581
8582
8583
8584
8585
8586
8587
8588
8589
8590
8591
8592
8593
8594
8595
8596
8597
8598
8599
8600
8601
8602
8603
8604
8605
8606
8607
8608
8609
8610
8611
8612
8613
8614
8615
8616
8617
8618
8619
8620
8621
8622
8623
8624
8625
8626
8627
8628
8629
8630
8631
8632
8633
8634
8635
8636
8637
8638
8639
8640
8641
8642
8643
8644
8645
8646
8647
8648
8649
8650
8651
8652
8653
8654
8655
8656
8657
8658
8659
8660
8661
8662
8663
8664
8665
8666
8667
8668
8669
8670
8671
8672
8673
8674
8675
8676
8677
8678
8679
8680
8681
8682
8683
8684
8685
8686
8687
8688
8689
8690
8691
8692
8693
8694
8695
8696
8697
8698
8699
8700
8701
8702
8703
8704
8705
8706
8707
8708
8709
8710
8711
8712
8713
8714
8715
8716
8717
8718
8719
8720
8721
8722
8723
8724
8725
8726
8727
8728
8729
8730
8731
8732
8733
8734
8735
8736
8737
8738
8739
8740
8741
8742
8743
8744
8745
8746
8747
8748
8749
8750
8751
8752
8753
8754
8755
8756
8757
8758
8759
8760
8761
8762
8763
8764
8765
8766
8767
8768
8769
8770
8771
8772
8773
8774
8775
8776
8777
8778
8779
8780
8781
8782
8783
8784
8785
8786
8787
8788
8789
8790
8791
8792
8793
8794
8795
8796
8797
8798
8799
8800
8801
8802
8803
8804
8805
8806
8807
8808
8809
8810
8811
8812
8813
8814
8815
8816
8817
8818
8819
8820
8821
8822
8823
8824
8825
8826
8827
8828
8829
8830
8831
8832
8833
8834
8835
8836
8837
8838
8839
8840
8841
8842
8843
8844
8845
8846
8847
8848
8849
8850
8851
8852
8853
8854
8855
8856
8857
8858
8859
8860
8861
8862
8863
8864
8865
8866
8867
8868
8869
8870
8871
8872
8873
8874
8875
8876
8877
8878
8879
8880
8881
8882
8883
8884
8885
8886
8887
8888
8889
8890
8891
8892
8893
8894
8895
8896
8897
8898
8899
8900
8901
8902
8903
8904
8905
8906
8907
8908
8909
8910
8911
8912
8913
8914
8915
8916
8917
8918
8919
8920
8921
8922
8923
8924
8925
8926
8927
8928
8929
8930
8931
8932
8933
8934
8935
8936
8937
8938
8939
8940
8941
8942
8943
8944
8945
8946
8947
8948
8949
8950
8951
8952
8953
8954
8955
8956
8957
8958
8959
8960
8961
8962
8963
8964
8965
8966
8967
8968
8969
8970
8971
8972
8973
8974
8975
8976
8977
8978
8979
8980
8981
8982
8983
8984
8985
8986
8987
8988
8989
8990
8991
8992
8993
8994
8995
8996
8997
8998
8999
9000
#8036 = VECTOR( '', #9235, 39.3700787402000 );
#8037 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8038 = CARTESIAN_POINT( '', ( -0.0721961524226900, 0.154000000000005, 0.0278038475772924 ) );
#8039 = CARTESIAN_POINT( '', ( -0.0669999999999800, 0.145000000000015, 0.0330000000000000 ) );
#8040 = CARTESIAN_POINT( '', ( -0.104356921938241, 0.209704086811353, -0.00435692193820408 ) );
#8041 = VECTOR( '', #9236, 39.3700787402000 );
#8042 = CARTESIAN_POINT( '', ( -0.0669999999999800, 0.145000000000015, 0.0170000000000082 ) );
#8043 = CARTESIAN_POINT( '', ( -0.0669999999999800, 0.145000000000015, 0.500000000000000 ) );
#8044 = VECTOR( '', #9237, 39.3700787402000 );
#8045 = CARTESIAN_POINT( '', ( -0.0721961524226900, 0.154000000000005, 0.0221961524227066 ) );
#8046 = CARTESIAN_POINT( '', ( -0.100200000000069, 0.202504086811355, 0.0502000000000418 ) );
#8047 = VECTOR( '', #9238, 39.3700787402000 );
#8048 = CARTESIAN_POINT( '', ( -0.0721961524226871, 0.154000000000000, 0.0221961524227066 ) );
#8049 = VECTOR( '', #9239, 39.3700787402000 );
#8050 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8051 = CARTESIAN_POINT( '', ( -0.0169999999999600, 0.0118371900500170, -0.0330000000000000 ) );
#8052 = VECTOR( '', #9240, 39.3700787402000 );
#8053 = CARTESIAN_POINT( '', ( -0.0169999999999600, 0.144999999999998, -0.0169999999999990 ) );
#8054 = VECTOR( '', #9241, 39.3700787402000 );
#8055 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8056 = CARTESIAN_POINT( '', ( 0.0170000000000600, 0.0118371900500170, -0.0330000000000000 ) );
#8057 = VECTOR( '', #9242, 39.3700787402000 );
#8058 = CARTESIAN_POINT( '', ( 0.0170000000000600, 0.145000000000015, -0.0169999999999990 ) );
#8059 = CARTESIAN_POINT( '', ( 0.0170000000000600, 0.144999999999998, -0.0169999999999990 ) );
#8060 = VECTOR( '', #9243, 39.3700787402000 );
#8061 = CARTESIAN_POINT( '', ( 0.0170000000000600, 0.145000000000015, 0.500000000000000 ) );
#8062 = VECTOR( '', #9244, 39.3700787402000 );
#8063 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8064 = CARTESIAN_POINT( '', ( -0.0329999999999600, 0.0300000000000000, -0.0330000000000000 ) );
#8065 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.0300000000000000, -0.0330000000000000 ) );
#8066 = VECTOR( '', #9245, 39.3700787402000 );
#8067 = CARTESIAN_POINT( '', ( -0.0329999999999600, 0.0300000000000000, -0.0169999999999990 ) );
#8068 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.0300000000000000, -0.0169999999999990 ) );
#8069 = VECTOR( '', #9246, 39.3700787402000 );
#8070 = CARTESIAN_POINT( '', ( -0.0329999999999600, 0.0300000000000000, 0.500000000000000 ) );
#8071 = VECTOR( '', #9247, 39.3700787402000 );
#8072 = COLOUR_RGB( '', 0.500000000000000, 0.500000000000000, 0.500000000000000 );
#8073 = CARTESIAN_POINT( '', ( -0.250000000000000, 0.000000000000000, -0.0675000000000000 ) );
#8074 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.000000000000000, -0.0675000000000000 ) );
#8075 = VECTOR( '', #9248, 39.3700787402000 );
#8076 = CARTESIAN_POINT( '', ( -0.250000000000000, 0.0340000000000000, -0.0675000000000000 ) );
#8077 = CARTESIAN_POINT( '', ( -0.250000000000000, 0.0340000000000000, -0.0675000000000000 ) );
#8078 = VECTOR( '', #9249, 39.3700787402000 );
#8079 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.0340000000000000, -0.0675000000000000 ) );
#8080 = VECTOR( '', #9250, 39.3700787402000 );
#8081 = COLOUR_RGB( '', 0.750000000000000, 0.750000000000000, 0.750000000000000 );
#8082 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.00999999999999196, 0.0330000000000000 ) );
#8083 = VECTOR( '', #9251, 39.3700787402000 );
#8084 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.00999999999999197, -0.0330000000000000 ) );
#8085 = VECTOR( '', #9252, 39.3700787402000 );
#8086 = COLOUR_RGB( '', 0.750000000000000, 0.750000000000000, 0.750000000000000 );
#8087 = CARTESIAN_POINT( '', ( 0.217000000000150, -0.0900000000000110, 0.0330000000000000 ) );
#8088 = CARTESIAN_POINT( '', ( 0.217000000000140, 0.00999999999998401, 0.0330000000000000 ) );
#8089 = CARTESIAN_POINT( '', ( 0.217000000000140, 0.0120000000000450, 0.0330000000000000 ) );
#8090 = VECTOR( '', #9253, 39.3700787402000 );
#8091 = CARTESIAN_POINT( '', ( 0.217000000000140, 0.00999999999998401, -0.0330000000000000 ) );
#8092 = CARTESIAN_POINT( '', ( 0.217000000000140, 0.00999999999998401, 0.500000000000000 ) );
#8093 = VECTOR( '', #9254, 39.3700787402000 );
#8094 = CARTESIAN_POINT( '', ( 0.217000000000150, -0.0899999999999550, -0.0330000000000000 ) );
#8095 = VECTOR( '', #9255, 39.3700787402000 );
#8096 = CARTESIAN_POINT( '', ( 0.217000000000141, 0.00200000000000000, -0.0170000000000000 ) );
#8097 = CARTESIAN_POINT( '', ( 0.217000000000141, 0.00200000000004503, -0.0170000000000000 ) );
#8098 = VECTOR( '', #9256, 39.3700787402000 );
#8099 = CARTESIAN_POINT( '', ( 0.217000000000141, 0.00200000000000000, 0.0170000000000000 ) );
#8100 = VECTOR( '', #9257, 39.3700787402000 );
#8101 = CARTESIAN_POINT( '', ( 0.217000000000150, -0.0900000000000110, 0.500000000000000 ) );
#8102 = VECTOR( '', #9258, 39.3700787402000 );
#8103 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8104 = CARTESIAN_POINT( '', ( -0.177803847577323, 0.154000000000000, 0.0278038475772924 ) );
#8105 = CARTESIAN_POINT( '', ( -0.177803847577323, 0.154000000000000, 0.0221961524227066 ) );
#8106 = VECTOR( '', #9259, 39.3700787402000 );
#8107 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.154000000000000, 0.0278038475772924 ) );
#8108 = VECTOR( '', #9260, 39.3700787402000 );
#8109 = COLOUR_RGB( '', 0.750000000000000, 0.750000000000000, 0.750000000000000 );
#8110 = CARTESIAN_POINT( '', ( -0.0669999999999800, 0.00999999999999400, 0.0330000000000000 ) );
#8111 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.00999999999999398, 0.0330000000000000 ) );
#8112 = VECTOR( '', #9261, 39.3700787402000 );
#8113 = CARTESIAN_POINT( '', ( -0.0669999999999800, 0.00999999999999400, -0.0330000000000000 ) );
#8114 = CARTESIAN_POINT( '', ( -0.0669999999999800, 0.00999999999999400, 0.500000000000000 ) );
#8115 = VECTOR( '', #9262, 39.3700787402000 );
#8116 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.00999999999999399, -0.0330000000000000 ) );
#8117 = VECTOR( '', #9263, 39.3700787402000 );
#8118 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8119 = CARTESIAN_POINT( '', ( -0.0669999999999800, 0.0300000000000000, 0.0330000000000000 ) );
#8120 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.0300000000000000, 0.0330000000000000 ) );
#8121 = VECTOR( '', #9264, 39.3700787402000 );
#8122 = CARTESIAN_POINT( '', ( -0.0669999999999800, 0.0300000000000000, 0.0169999999999990 ) );
#8123 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.0300000000000000, 0.0169999999999990 ) );
#8124 = VECTOR( '', #9265, 39.3700787402000 );
#8125 = CARTESIAN_POINT( '', ( -0.0669999999999800, 0.0300000000000000, 0.500000000000000 ) );
#8126 = VECTOR( '', #9266, 39.3700787402000 );
#8127 = COLOUR_RGB( '', 0.750000000000000, 0.750000000000000, 0.750000000000000 );
#8128 = CARTESIAN_POINT( '', ( -0.183000000000010, -0.0899999999999950, -0.0330000000000000 ) );
#8129 = CARTESIAN_POINT( '', ( -0.183000000000010, -0.0899999999999950, 0.500000000000000 ) );
#8130 = VECTOR( '', #9267, 39.3700787402000 );
#8131 = CARTESIAN_POINT( '', ( -0.233000000000000, -0.0900000000000000, -0.0330000000000000 ) );
#8132 = VECTOR( '', #9268, 39.3700787402000 );
#8133 = COLOUR_RGB( '', 0.750000000000000, 0.750000000000000, 0.750000000000000 );
#8134 = CARTESIAN_POINT( '', ( -0.183000000000010, -0.0899999999999950, 0.0330000000000000 ) );
#8135 = CARTESIAN_POINT( '', ( -0.233000000000000, -0.0900000000000000, 0.0330000000000000 ) );
#8136 = VECTOR( '', #9269, 39.3700787402000 );
#8137 = CARTESIAN_POINT( '', ( -0.183000000000010, -0.0899999999999950, 0.500000000000000 ) );
#8138 = VECTOR( '', #9270, 39.3700787402000 );
#8139 = COLOUR_RGB( '', 0.750000000000000, 0.750000000000000, 0.750000000000000 );
#8140 = CARTESIAN_POINT( '', ( 0.233000000000000, 0.0120000000000000, -0.0330000000000000 ) );
#8141 = CARTESIAN_POINT( '', ( 0.233000000000000, 0.0120000000000000, 0.0330000000000000 ) );
#8142 = CARTESIAN_POINT( '', ( 0.233000000000000, 0.0120000000000000, -0.0330000000000000 ) );
#8143 = VECTOR( '', #9271, 39.3700787402000 );
#8144 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.0120000000000000, -0.0330000000000000 ) );
#8145 = VECTOR( '', #9272, 39.3700787402000 );
#8146 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.0120000000000000, 0.0330000000000000 ) );
#8147 = VECTOR( '', #9273, 39.3700787402000 );
#8148 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8149 = CARTESIAN_POINT( '', ( 0.217000000000140, 0.145000000000015, -0.0169999999999990 ) );
#8150 = CARTESIAN_POINT( '', ( 0.217000000000140, 0.145000000000015, 0.500000000000000 ) );
#8151 = VECTOR( '', #9274, 39.3700787402000 );
#8152 = CARTESIAN_POINT( '', ( 0.131156921938293, -0.00368457268122958, 0.0688430780618517 ) );
#8153 = VECTOR( '', #9275, 39.3700787402000 );
#8154 = COLOUR_RGB( '', 0.750000000000000, 0.750000000000000, 0.750000000000000 );
#8155 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.00999999999998395, 0.0330000000000000 ) );
#8156 = VECTOR( '', #9276, 39.3700787402000 );
#8157 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.00999999999998396, -0.0330000000000000 ) );
#8158 = VECTOR( '', #9277, 39.3700787402000 );
#8159 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8160 = CARTESIAN_POINT( '', ( 0.0330000000000600, 0.145000000000015, 0.0330000000000000 ) );
#8161 = CARTESIAN_POINT( '', ( 0.0330000000000600, 0.144999999999998, 0.0330000000000000 ) );
#8162 = VECTOR( '', #9278, 39.3700787402000 );
#8163 = CARTESIAN_POINT( '', ( 0.0330000000000600, 0.0218371900500170, 0.0169999999999990 ) );
#8164 = VECTOR( '', #9279, 39.3700787402000 );
#8165 = CARTESIAN_POINT( '', ( 0.0330000000000600, 0.145000000000015, 0.500000000000000 ) );
#8166 = VECTOR( '', #9280, 39.3700787402000 );
#8167 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8168 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.144999999999999, -0.0330000000000000 ) );
#8169 = VECTOR( '', #9281, 39.3700787402000 );
#8170 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8171 = CARTESIAN_POINT( '', ( -0.0669999999999800, 0.144999999999998, 0.0330000000000000 ) );
#8172 = VECTOR( '', #9282, 39.3700787402000 );
#8173 = CARTESIAN_POINT( '', ( -0.0669999999999800, 0.0218371900500170, 0.0169999999999990 ) );
#8174 = VECTOR( '', #9283, 39.3700787402000 );
#8175 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8176 = CARTESIAN_POINT( '', ( 0.0221961524227600, 0.154000000000005, -0.0221961524227095 ) );
#8177 = CARTESIAN_POINT( '', ( 0.0221961524227600, 0.154000000000005, 0.500000000000000 ) );
#8178 = VECTOR( '', #9284, 39.3700787402000 );
#8179 = CARTESIAN_POINT( '', ( 0.0278038475773500, 0.154000000000005, -0.0221961524227096 ) );
#8180 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.154000000000000, -0.0221961524227066 ) );
#8181 = VECTOR( '', #9285, 39.3700787402000 );
#8182 = CARTESIAN_POINT( '', ( 0.0278038475773500, 0.154000000000005, 0.500000000000000 ) );
#8183 = VECTOR( '', #9286, 39.3700787402000 );
#8184 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8185 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.144999999999998, -0.0169999999999990 ) );
#8186 = VECTOR( '', #9287, 39.3700787402000 );
#8187 = CARTESIAN_POINT( '', ( -0.172196152422730, 0.154000000000005, -0.0221961524227095 ) );
#8188 = CARTESIAN_POINT( '', ( -0.184356921938216, 0.175063070659924, -0.0343569219381740 ) );
#8189 = VECTOR( '', #9288, 39.3700787402000 );
#8190 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.154000000000000, -0.0221961524227066 ) );
#8191 = VECTOR( '', #9289, 39.3700787402000 );
#8192 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8193 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.144999999999998, -0.0169999999999990 ) );
#8194 = VECTOR( '', #9290, 39.3700787402000 );
#8195 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8196 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.0300000000000000, -0.0330000000000000 ) );
#8197 = VECTOR( '', #9291, 39.3700787402000 );
#8198 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.0300000000000000, -0.0169999999999990 ) );
#8199 = VECTOR( '', #9292, 39.3700787402000 );
#8200 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8201 = CARTESIAN_POINT( '', ( 0.172196152422817, 0.154000000000000, 0.0278038475772924 ) );
#8202 = CARTESIAN_POINT( '', ( 0.0911569219382749, 0.0136359353944652, 0.108843078061847 ) );
#8203 = VECTOR( '', #9293, 39.3700787402000 );
#8204 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.144999999999998, 0.0330000000000000 ) );
#8205 = VECTOR( '', #9294, 39.3700787402000 );
#8206 = CARTESIAN_POINT( '', ( 0.177803847577410, 0.154000000000005, 0.0278038475772924 ) );
#8207 = CARTESIAN_POINT( '', ( 0.0956430780616983, 0.296306627189923, -0.0543569219382767 ) );
#8208 = VECTOR( '', #9295, 39.3700787402000 );
#8209 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.154000000000000, 0.0278038475772924 ) );
#8210 = VECTOR( '', #9296, 39.3700787402000 );
#8211 = COLOUR_RGB( '', 0.750000000000000, 0.750000000000000, 0.750000000000000 );
#8212 = CARTESIAN_POINT( '', ( 0.233000000000000, 0.00200000000000000, -0.0170000000000000 ) );
#8213 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.00200000000000000, -0.0170000000000000 ) );
#8214 = VECTOR( '', #9297, 39.3700787402000 );
#8215 = CARTESIAN_POINT( '', ( 0.233000000000000, 0.00200000000000000, 0.0170000000000000 ) );
#8216 = VECTOR( '', #9298, 39.3700787402000 );
#8217 = COLOUR_RGB( '', 0.500000000000000, 0.500000000000000, 0.500000000000000 );
#8218 = CARTESIAN_POINT( '', ( -0.250000000000000, 0.000000000000000, 0.0675000000000000 ) );
#8219 = CARTESIAN_POINT( '', ( -0.250000000000000, 0.000000000000000, 0.0675000000000000 ) );
#8220 = VECTOR( '', #9299, 39.3700787402000 );
#8221 = CARTESIAN_POINT( '', ( -0.250000000000000, 0.0340000000000000, 0.0675000000000000 ) );
#8222 = CARTESIAN_POINT( '', ( -0.250000000000000, 0.0340000000000000, 0.0675000000000000 ) );
#8223 = VECTOR( '', #9300, 39.3700787402000 );
#8224 = CARTESIAN_POINT( '', ( -0.250000000000000, 0.0340000000000000, 0.0675000000000000 ) );
#8225 = VECTOR( '', #9301, 39.3700787402000 );
#8226 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8227 = CARTESIAN_POINT( '', ( -0.222196152422730, 0.154000000000005, 0.0278038475772924 ) );
#8228 = CARTESIAN_POINT( '', ( -0.224356921938173, 0.157742562584208, 0.0256430780618409 ) );
#8229 = VECTOR( '', #9302, 39.3700787402000 );
#8230 = CARTESIAN_POINT( '', ( -0.222196152422727, 0.154000000000000, 0.0221961524227066 ) );
#8231 = VECTOR( '', #9303, 39.3700787402000 );
#8232 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8233 = CARTESIAN_POINT( '', ( -0.227803847577320, 0.153999999999995, -0.0278038475772924 ) );
#8234 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.144999999999999, -0.0330000000000000 ) );
#8235 = CARTESIAN_POINT( '', ( -0.233000000000022, 0.145000000000009, -0.0329999999999945 ) );
#8236 = VECTOR( '', #9304, 39.3700787402000 );
#8237 = CARTESIAN_POINT( '', ( -0.233000000000030, 0.144999999999995, -0.0169999999999990 ) );
#8238 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.145000000000047, 0.000000000000000 ) );
#8239 = VECTOR( '', #9305, 39.3700787402000 );
#8240 = CARTESIAN_POINT( '', ( -0.227803847577320, 0.153999999999995, -0.0221961524227066 ) );
#8241 = CARTESIAN_POINT( '', ( -0.228843078061855, 0.152200000000008, -0.0211569219381696 ) );
#8242 = VECTOR( '', #9306, 39.3700787402000 );
#8243 = CARTESIAN_POINT( '', ( -0.227803847577320, 0.153999999999995, 0.500000000000000 ) );
#8244 = VECTOR( '', #9307, 39.3700787402000 );
#8245 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8246 = CARTESIAN_POINT( '', ( 0.0830000000000800, 0.0300000000000000, -0.0330000000000000 ) );
#8247 = CARTESIAN_POINT( '', ( 0.0830000000000801, 0.0118371900500170, -0.0330000000000000 ) );
#8248 = VECTOR( '', #9308, 39.3700787402000 );
#8249 = CARTESIAN_POINT( '', ( 0.0830000000000800, 0.0300000000000000, -0.0169999999999990 ) );
#8250 = CARTESIAN_POINT( '', ( 0.0830000000000801, 0.144999999999998, -0.0169999999999990 ) );
#8251 = VECTOR( '', #9309, 39.3700787402000 );
#8252 = CARTESIAN_POINT( '', ( 0.0830000000000800, 0.0300000000000000, 0.500000000000000 ) );
#8253 = VECTOR( '', #9310, 39.3700787402000 );
#8254 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8255 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.144999999999998, 0.0330000000000000 ) );
#8256 = VECTOR( '', #9311, 39.3700787402000 );
#8257 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.154000000000000, 0.0278038475772924 ) );
#8258 = VECTOR( '', #9312, 39.3700787402000 );
#8259 = COLOUR_RGB( '', 0.750000000000000, 0.750000000000000, 0.750000000000000 );
#8260 = CARTESIAN_POINT( '', ( 0.233000000000000, 0.00200000000000000, -0.0170000000000000 ) );
#8261 = VECTOR( '', #9313, 39.3700787402000 );
#8262 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8263 = CARTESIAN_POINT( '', ( -0.117000000000000, 0.145000000000015, 0.0170000000000082 ) );
#8264 = CARTESIAN_POINT( '', ( -0.117000000000000, 0.145000000000015, 0.500000000000000 ) );
#8265 = VECTOR( '', #9314, 39.3700787402000 );
#8266 = CARTESIAN_POINT( '', ( -0.122196152422710, 0.154000000000005, 0.0221961524227066 ) );
#8267 = CARTESIAN_POINT( '', ( -0.140200000000057, 0.185183578735641, 0.0402000000000267 ) );
#8268 = VECTOR( '', #9315, 39.3700787402000 );
#8269 = CARTESIAN_POINT( '', ( -0.122196152422707, 0.154000000000000, 0.0221961524227066 ) );
#8270 = VECTOR( '', #9316, 39.3700787402000 );
#8271 = COLOUR_RGB( '', 0.750000000000000, 0.750000000000000, 0.750000000000000 );
#8272 = CARTESIAN_POINT( '', ( 0.167000000000120, 0.00999999999998601, -0.0330000000000000 ) );
#8273 = CARTESIAN_POINT( '', ( 0.167000000000130, -0.0899999999999600, -0.0330000000000000 ) );
#8274 = VECTOR( '', #9317, 39.3700787402000 );
#8275 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.00999999999998594, -0.0330000000000000 ) );
#8276 = VECTOR( '', #9318, 39.3700787402000 );
#8277 = CARTESIAN_POINT( '', ( 0.0830000000000700, -0.0900000000000317, -0.0330000000000000 ) );
#8278 = VECTOR( '', #9319, 39.3700787402000 );
#8279 = CARTESIAN_POINT( '', ( 0.0330000000000600, 0.00999999999999001, -0.0330000000000000 ) );
#8280 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.00999999999998997, -0.0330000000000000 ) );
#8281 = VECTOR( '', #9320, 39.3700787402000 );
#8282 = CARTESIAN_POINT( '', ( 0.0330000000000500, -0.0900000000000266, -0.0330000000000000 ) );
#8283 = VECTOR( '', #9321, 39.3700787402000 );
#8284 = CARTESIAN_POINT( '', ( -0.0669999999999900, -0.0900000000000000, -0.0330000000000000 ) );
#8285 = CARTESIAN_POINT( '', ( -0.0669999999999900, -0.0900000000000166, -0.0330000000000000 ) );
#8286 = VECTOR( '', #9322, 39.3700787402000 );
#8287 = CARTESIAN_POINT( '', ( -0.233000000000000, -0.0900000000000000, -0.0330000000000000 ) );
#8288 = VECTOR( '', #9323, 39.3700787402000 );
#8289 = CARTESIAN_POINT( '', ( -0.117000000000000, 0.00999999999999600, -0.0330000000000000 ) );
#8290 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.00999999999999598, -0.0330000000000000 ) );
#8291 = VECTOR( '', #9324, 39.3700787402000 );
#8292 = CARTESIAN_POINT( '', ( -0.117000000000010, -0.0900000000000000, -0.0330000000000000 ) );
#8293 = CARTESIAN_POINT( '', ( -0.117000000000010, -0.0900000000000116, -0.0330000000000000 ) );
#8294 = VECTOR( '', #9325, 39.3700787402000 );
#8295 = CARTESIAN_POINT( '', ( -0.132999999999990, -0.0899999999999970, -0.0330000000000000 ) );
#8296 = CARTESIAN_POINT( '', ( -0.233000000000000, -0.0900000000000000, -0.0330000000000000 ) );
#8297 = VECTOR( '', #9326, 39.3700787402000 );
#8298 = CARTESIAN_POINT( '', ( -0.133000000000000, 0.00999999999999800, -0.0330000000000000 ) );
#8299 = CARTESIAN_POINT( '', ( -0.132999999999990, -0.0899999999999900, -0.0330000000000000 ) );
#8300 = VECTOR( '', #9327, 39.3700787402000 );
#8301 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.00999999999999798, -0.0330000000000000 ) );
#8302 = VECTOR( '', #9328, 39.3700787402000 );
#8303 = CARTESIAN_POINT( '', ( -0.183000000000020, 0.0100000000000000, -0.0330000000000000 ) );
#8304 = CARTESIAN_POINT( '', ( -0.183000000000010, -0.0899999999999950, -0.0330000000000000 ) );
#8305 = VECTOR( '', #9329, 39.3700787402000 );
#8306 = CARTESIAN_POINT( '', ( -0.217000000000040, 0.0100000000000000, -0.0330000000000000 ) );
#8307 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.0100000000000000, -0.0330000000000000 ) );
#8308 = VECTOR( '', #9330, 39.3700787402000 );
#8309 = CARTESIAN_POINT( '', ( -0.217000000000040, -0.0900000000000000, -0.0330000000000000 ) );
#8310 = CARTESIAN_POINT( '', ( -0.217000000000040, -0.0900000000000000, -0.0330000000000000 ) );
#8311 = VECTOR( '', #9331, 39.3700787402000 );
#8312 = CARTESIAN_POINT( '', ( -0.233000000000000, -0.0900000000000000, -0.0330000000000000 ) );
#8313 = VECTOR( '', #9332, 39.3700787402000 );
#8314 = CARTESIAN_POINT( '', ( 0.233000000000000, -0.0900000000000000, -0.0330000000000000 ) );
#8315 = VECTOR( '', #9333, 39.3700787402000 );
#8316 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8317 = CARTESIAN_POINT( '', ( 0.133000000000100, 0.145000000000015, 0.0330000000000000 ) );
#8318 = CARTESIAN_POINT( '', ( 0.133000000000100, 0.144999999999998, 0.0330000000000000 ) );
#8319 = VECTOR( '', #9334, 39.3700787402000 );
#8320 = CARTESIAN_POINT( '', ( 0.133000000000100, 0.145000000000015, 0.0170000000000082 ) );
#8321 = CARTESIAN_POINT( '', ( 0.133000000000100, 0.0218371900500170, 0.0169999999999990 ) );
#8322 = VECTOR( '', #9335, 39.3700787402000 );
#8323 = CARTESIAN_POINT( '', ( 0.133000000000100, 0.145000000000015, 0.500000000000000 ) );
#8324 = VECTOR( '', #9336, 39.3700787402000 );
#8325 = COLOUR_RGB( '', 0.750000000000000, 0.750000000000000, 0.750000000000000 );
#8326 = CARTESIAN_POINT( '', ( -0.0669999999999900, -0.0899999999999900, 0.500000000000000 ) );
#8327 = VECTOR( '', #9337, 39.3700787402000 );
#8328 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8329 = CARTESIAN_POINT( '', ( 0.233000000000000, 0.0218371900500170, -0.0169999999999990 ) );
#8330 = CARTESIAN_POINT( '', ( 0.233000000000000, 0.0218371900500170, 0.0169999999999990 ) );
#8331 = CARTESIAN_POINT( '', ( 0.233000000000000, 0.0218371900500170, -0.0169999999999990 ) );
#8332 = VECTOR( '', #9338, 39.3700787402000 );
#8333 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.0218371900500170, -0.0169999999999990 ) );
#8334 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.0218371900500170, -0.0169999999999990 ) );
#8335 = VECTOR( '', #9339, 39.3700787402000 );
#8336 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.0218371900500170, 0.0169999999999990 ) );
#8337 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.0218371900500170, -0.0169999999999990 ) );
#8338 = VECTOR( '', #9340, 39.3700787402000 );
#8339 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.0218371900500170, 0.0169999999999990 ) );
#8340 = VECTOR( '', #9341, 39.3700787402000 );
#8341 = COLOUR_RGB( '', 0.750000000000000, 0.750000000000000, 0.750000000000000 );
#8342 = CARTESIAN_POINT( '', ( 0.167000000000120, 0.00999999999998601, 0.0330000000000000 ) );
#8343 = CARTESIAN_POINT( '', ( 0.167000000000120, 0.0120000000000400, 0.0330000000000000 ) );
#8344 = VECTOR( '', #9342, 39.3700787402000 );
#8345 = CARTESIAN_POINT( '', ( 0.167000000000120, 0.00999999999998601, 0.500000000000000 ) );
#8346 = VECTOR( '', #9343, 39.3700787402000 );
#8347 = CARTESIAN_POINT( '', ( 0.167000000000121, 0.00200000000000000, -0.0170000000000000 ) );
#8348 = CARTESIAN_POINT( '', ( 0.167000000000121, 0.00200000000004002, -0.0170000000000000 ) );
#8349 = VECTOR( '', #9344, 39.3700787402000 );
#8350 = CARTESIAN_POINT( '', ( 0.167000000000121, 0.00200000000000000, 0.0170000000000000 ) );
#8351 = VECTOR( '', #9345, 39.3700787402000 );
#8352 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8353 = CARTESIAN_POINT( '', ( -0.153000000000001, 0.110358983848630, -0.0529999999999973 ) );
#8354 = VECTOR( '', #9346, 39.3700787402000 );
#8355 = CARTESIAN_POINT( '', ( -0.117000000000000, 0.145000000000015, -0.0329999999999908 ) );
#8356 = CARTESIAN_POINT( '', ( -0.140200000000057, 0.185183578735641, -0.00979999999997230 ) );
#8357 = VECTOR( '', #9347, 39.3700787402000 );
#8358 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.144999999999999, -0.0330000000000000 ) );
#8359 = VECTOR( '', #9348, 39.3700787402000 );
#8360 = COLOUR_RGB( '', 0.750000000000000, 0.750000000000000, 0.750000000000000 );
#8361 = CARTESIAN_POINT( '', ( 0.0330000000000600, 0.00999999999999001, 0.0330000000000000 ) );
#8362 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.00999999999998997, 0.0330000000000000 ) );
#8363 = VECTOR( '', #9349, 39.3700787402000 );
#8364 = CARTESIAN_POINT( '', ( 0.0330000000000600, 0.00999999999999001, 0.500000000000000 ) );
#8365 = VECTOR( '', #9350, 39.3700787402000 );
#8366 = COLOUR_RGB( '', 0.750000000000000, 0.750000000000000, 0.750000000000000 );
#8367 = CARTESIAN_POINT( '', ( -0.183000000000020, 0.0100000000000000, 0.0330000000000000 ) );
#8368 = CARTESIAN_POINT( '', ( -0.217000000000040, 0.0100000000000000, 0.0330000000000000 ) );
#8369 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.00999999999999999, 0.0330000000000000 ) );
#8370 = VECTOR( '', #9351, 39.3700787402000 );
#8371 = CARTESIAN_POINT( '', ( -0.217000000000040, 0.0100000000000000, 0.500000000000000 ) );
#8372 = VECTOR( '', #9352, 39.3700787402000 );
#8373 = CARTESIAN_POINT( '', ( -0.183000000000020, 0.0100000000000000, 0.500000000000000 ) );
#8374 = VECTOR( '', #9353, 39.3700787402000 );
#8375 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8376 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.154000000000000, -0.0221961524227066 ) );
#8377 = VECTOR( '', #9354, 39.3700787402000 );
#8378 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.154000000000000, -0.0278038475772924 ) );
#8379 = VECTOR( '', #9355, 39.3700787402000 );
#8380 = COLOUR_RGB( '', 0.750000000000000, 0.750000000000000, 0.750000000000000 );
#8381 = CARTESIAN_POINT( '', ( -0.117000000000000, 0.00999999999999600, 0.0330000000000000 ) );
#8382 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.00999999999999598, 0.0330000000000000 ) );
#8383 = VECTOR( '', #9356, 39.3700787402000 );
#8384 = CARTESIAN_POINT( '', ( -0.117000000000000, 0.00999999999999600, 0.500000000000000 ) );
#8385 = VECTOR( '', #9357, 39.3700787402000 );
#8386 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8387 = CARTESIAN_POINT( '', ( 0.167000000000120, 0.0300000000000000, -0.0330000000000000 ) );
#8388 = CARTESIAN_POINT( '', ( 0.133000000000100, 0.0300000000000000, -0.0330000000000000 ) );
#8389 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.0300000000000000, -0.0330000000000000 ) );
#8390 = VECTOR( '', #9358, 39.3700787402000 );
#8391 = CARTESIAN_POINT( '', ( 0.133000000000100, 0.0300000000000000, -0.0169999999999990 ) );
#8392 = CARTESIAN_POINT( '', ( 0.133000000000100, 0.0300000000000000, 0.500000000000000 ) );
#8393 = VECTOR( '', #9359, 39.3700787402000 );
#8394 = CARTESIAN_POINT( '', ( 0.167000000000120, 0.0300000000000000, -0.0169999999999990 ) );
#8395 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.0300000000000000, -0.0169999999999990 ) );
#8396 = VECTOR( '', #9360, 39.3700787402000 );
#8397 = CARTESIAN_POINT( '', ( 0.167000000000120, 0.0300000000000000, 0.500000000000000 ) );
#8398 = VECTOR( '', #9361, 39.3700787402000 );
#8399 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8400 = CARTESIAN_POINT( '', ( 0.127803847577390, 0.154000000000005, 0.0278038475772924 ) );
#8401 = CARTESIAN_POINT( '', ( 0.0556430780617102, 0.278986119114209, -0.0443569219382623 ) );
#8402 = VECTOR( '', #9362, 39.3700787402000 );
#8403 = CARTESIAN_POINT( '', ( 0.127803847577390, 0.154000000000005, 0.0221961524227066 ) );
#8404 = CARTESIAN_POINT( '', ( 0.0597999999998832, 0.271786119114208, 0.0902000000001024 ) );
#8405 = VECTOR( '', #9363, 39.3700787402000 );
#8406 = CARTESIAN_POINT( '', ( 0.127803847577393, 0.154000000000000, 0.0221961524227066 ) );
#8407 = VECTOR( '', #9364, 39.3700787402000 );
#8408 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8409 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.154000000000000, 0.0221961524227066 ) );
#8410 = VECTOR( '', #9365, 39.3700787402000 );
#8411 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.144999999999999, 0.0169999999999990 ) );
#8412 = VECTOR( '', #9366, 39.3700787402000 );
#8413 = COLOUR_RGB( '', 0.750000000000000, 0.750000000000000, 0.750000000000000 );
#8414 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.00200000000000000, -0.0170000000000000 ) );
#8415 = VECTOR( '', #9367, 39.3700787402000 );
#8416 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8417 = CARTESIAN_POINT( '', ( -0.227803847577320, 0.153999999999995, 0.0278038475772924 ) );
#8418 = CARTESIAN_POINT( '', ( -0.227803847577320, 0.153999999999995, 0.500000000000000 ) );
#8419 = VECTOR( '', #9368, 39.3700787402000 );
#8420 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.154000000000000, 0.0278038475772924 ) );
#8421 = VECTOR( '', #9369, 39.3700787402000 );
#8422 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8423 = CARTESIAN_POINT( '', ( -0.217000000000040, 0.0300000000000000, -0.0330000000000000 ) );
#8424 = CARTESIAN_POINT( '', ( -0.217000000000042, 0.0118371900500156, -0.0330000000000000 ) );
#8425 = VECTOR( '', #9370, 39.3700787402000 );
#8426 = CARTESIAN_POINT( '', ( -0.217000000000040, 0.0300000000000000, -0.0169999999999990 ) );
#8427 = CARTESIAN_POINT( '', ( -0.217000000000030, 0.144999999999997, -0.0169999999999990 ) );
#8428 = VECTOR( '', #9371, 39.3700787402000 );
#8429 = CARTESIAN_POINT( '', ( -0.217000000000040, 0.0300000000000000, 0.500000000000000 ) );
#8430 = VECTOR( '', #9372, 39.3700787402000 );
#8431 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8432 = CARTESIAN_POINT( '', ( -0.233000000000030, 0.144999999999995, 0.0330000000000000 ) );
#8433 = CARTESIAN_POINT( '', ( -0.228843078061855, 0.152200000000008, 0.0288430780618294 ) );
#8434 = VECTOR( '', #9373, 39.3700787402000 );
#8435 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.145000000000047, 0.000000000000000 ) );
#8436 = VECTOR( '', #9374, 39.3700787402000 );
#8437 = COLOUR_RGB( '', 0.750000000000000, 0.750000000000000, 0.750000000000000 );
#8438 = CARTESIAN_POINT( '', ( -0.217000000000040, -0.0899999999999990, -0.0170000000000000 ) );
#8439 = CARTESIAN_POINT( '', ( -0.217000000000040, -0.0899999999999990, 0.500000000000000 ) );
#8440 = VECTOR( '', #9375, 39.3700787402000 );
#8441 = CARTESIAN_POINT( '', ( -0.233000000000000, -0.0900000000000000, -0.0170000000000000 ) );
#8442 = VECTOR( '', #9376, 39.3700787402000 );
#8443 = COLOUR_RGB( '', 0.750000000000000, 0.750000000000000, 0.750000000000000 );
#8444 = CARTESIAN_POINT( '', ( -0.117000000000001, 0.00200000000000000, 0.0170000000000000 ) );
#8445 = CARTESIAN_POINT( '', ( -0.117000000000001, 0.00200000000000000, -0.0170000000000000 ) );
#8446 = CARTESIAN_POINT( '', ( -0.117000000000001, 0.00200000000000000, 0.0170000000000000 ) );
#8447 = VECTOR( '', #9377, 39.3700787402000 );
#8448 = CARTESIAN_POINT( '', ( -0.132999999999999, 0.00200000000000000, 0.0170000000000000 ) );
#8449 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.00200000000000001, 0.0170000000000000 ) );
#8450 = VECTOR( '', #9378, 39.3700787402000 );
#8451 = CARTESIAN_POINT( '', ( -0.132999999999999, 0.00200000000000000, -0.0170000000000000 ) );
#8452 = CARTESIAN_POINT( '', ( -0.132999999999999, 0.00200000000000000, 0.0170000000000000 ) );
#8453 = VECTOR( '', #9379, 39.3700787402000 );
#8454 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.00200000000000000, -0.0170000000000000 ) );
#8455 = VECTOR( '', #9380, 39.3700787402000 );
#8456 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8457 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.0300000000000000, -0.0330000000000000 ) );
#8458 = VECTOR( '', #9381, 39.3700787402000 );
#8459 = CARTESIAN_POINT( '', ( -0.117000000000000, 0.0300000000000000, -0.0330000000000000 ) );
#8460 = CARTESIAN_POINT( '', ( -0.117000000000000, 0.0118371900500170, -0.0330000000000000 ) );
#8461 = VECTOR( '', #9382, 39.3700787402000 );
#8462 = CARTESIAN_POINT( '', ( -0.0829999999999800, 0.0300000000000000, -0.0330000000000000 ) );
#8463 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.0300000000000000, -0.0330000000000000 ) );
#8464 = VECTOR( '', #9383, 39.3700787402000 );
#8465 = CARTESIAN_POINT( '', ( -0.0829999999999800, 0.0118371900500170, -0.0330000000000000 ) );
#8466 = VECTOR( '', #9384, 39.3700787402000 );
#8467 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.144999999999999, -0.0330000000000000 ) );
#8468 = VECTOR( '', #9385, 39.3700787402000 );
#8469 = CARTESIAN_POINT( '', ( -0.0329999999999600, 0.0118371900500170, -0.0330000000000000 ) );
#8470 = VECTOR( '', #9386, 39.3700787402000 );
#8471 = CARTESIAN_POINT( '', ( 0.0330000000000600, 0.0300000000000000, -0.0330000000000000 ) );
#8472 = CARTESIAN_POINT( '', ( 0.0330000000000600, 0.0118371900500170, -0.0330000000000000 ) );
#8473 = VECTOR( '', #9387, 39.3700787402000 );
#8474 = CARTESIAN_POINT( '', ( 0.0670000000000800, 0.0300000000000000, -0.0330000000000000 ) );
#8475 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.0300000000000000, -0.0330000000000000 ) );
#8476 = VECTOR( '', #9388, 39.3700787402000 );
#8477 = CARTESIAN_POINT( '', ( 0.0670000000000800, 0.0118371900500170, -0.0330000000000000 ) );
#8478 = VECTOR( '', #9389, 39.3700787402000 );
#8479 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.0300000000000000, -0.0330000000000000 ) );
#8480 = VECTOR( '', #9390, 39.3700787402000 );
#8481 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.144999999999999, -0.0330000000000000 ) );
#8482 = VECTOR( '', #9391, 39.3700787402000 );
#8483 = CARTESIAN_POINT( '', ( 0.133000000000100, 0.0118371900500170, -0.0330000000000000 ) );
#8484 = VECTOR( '', #9392, 39.3700787402000 );
#8485 = CARTESIAN_POINT( '', ( 0.167000000000120, 0.0118371900500170, -0.0330000000000000 ) );
#8486 = VECTOR( '', #9393, 39.3700787402000 );
#8487 = CARTESIAN_POINT( '', ( 0.217000000000140, 0.0300000000000000, -0.0330000000000000 ) );
#8488 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.0300000000000000, -0.0330000000000000 ) );
#8489 = VECTOR( '', #9394, 39.3700787402000 );
#8490 = CARTESIAN_POINT( '', ( 0.217000000000140, 0.0118371900500170, -0.0330000000000000 ) );
#8491 = VECTOR( '', #9395, 39.3700787402000 );
#8492 = CARTESIAN_POINT( '', ( 0.233000000000000, 0.0118371900500170, -0.0330000000000000 ) );
#8493 = VECTOR( '', #9396, 39.3700787402000 );
#8494 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.0118371900500170, -0.0330000000000000 ) );
#8495 = VECTOR( '', #9397, 39.3700787402000 );
#8496 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.144999999999999, -0.0330000000000000 ) );
#8497 = VECTOR( '', #9398, 39.3700787402000 );
#8498 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8499 = CARTESIAN_POINT( '', ( -0.117000000000000, 0.145000000000015, -0.0169999999999990 ) );
#8500 = CARTESIAN_POINT( '', ( -0.144356921938228, 0.192383578735639, -0.0443569219381886 ) );
#8501 = VECTOR( '', #9399, 39.3700787402000 );
#8502 = CARTESIAN_POINT( '', ( -0.117000000000000, 0.145000000000015, 0.500000000000000 ) );
#8503 = VECTOR( '', #9400, 39.3700787402000 );
#8504 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8505 = CARTESIAN_POINT( '', ( -0.0243569219382652, 0.244345102962781, -0.0243569219382332 ) );
#8506 = VECTOR( '', #9401, 39.3700787402000 );
#8507 = COLOUR_RGB( '', 0.750000000000000, 0.750000000000000, 0.750000000000000 );
#8508 = CARTESIAN_POINT( '', ( -0.183000000000020, 0.0120000000000050, 0.0330000000000000 ) );
#8509 = VECTOR( '', #9402, 39.3700787402000 );
#8510 = CARTESIAN_POINT( '', ( -0.183000000000019, 0.00200000000000000, 0.0170000000000000 ) );
#8511 = VECTOR( '', #9403, 39.3700787402000 );
#8512 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8513 = CARTESIAN_POINT( '', ( 0.122196152422800, 0.154000000000005, 0.0221961524227066 ) );
#8514 = CARTESIAN_POINT( '', ( 0.117000000000100, 0.145000000000015, 0.0170000000000083 ) );
#8515 = CARTESIAN_POINT( '', ( 0.0470000000000939, 0.0237564434701628, -0.0530000000000161 ) );
#8516 = VECTOR( '', #9404, 39.3700787402000 );
#8517 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.154000000000000, 0.0221961524227066 ) );
#8518 = VECTOR( '', #9405, 39.3700787402000 );
#8519 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.144999999999999, 0.0169999999999990 ) );
#8520 = VECTOR( '', #9406, 39.3700787402000 );
#8521 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8522 = CARTESIAN_POINT( '', ( -0.0288430780617810, 0.0655974596215471, 0.0288430780618395 ) );
#8523 = VECTOR( '', #9407, 39.3700787402000 );
#8524 = COLOUR_RGB( '', 0.750000000000000, 0.750000000000000, 0.750000000000000 );
#8525 = CARTESIAN_POINT( '', ( -0.217000000000040, -0.0899999999999990, 0.0170000000000000 ) );
#8526 = CARTESIAN_POINT( '', ( -0.217000000000040, 0.00200000000000000, 0.0170000000000000 ) );
#8527 = CARTESIAN_POINT( '', ( -0.217000000000040, -0.0900000000000000, 0.0170000000000000 ) );
#8528 = VECTOR( '', #9408, 39.3700787402000 );
#8529 = CARTESIAN_POINT( '', ( -0.233000000000000, -0.0900000000000000, 0.0170000000000000 ) );
#8530 = VECTOR( '', #9409, 39.3700787402000 );
#8531 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.00200000000000001, 0.0170000000000000 ) );
#8532 = VECTOR( '', #9410, 39.3700787402000 );
#8533 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8534 = CARTESIAN_POINT( '', ( 0.131156921938293, -0.00368457268122958, 0.118843078061851 ) );
#8535 = VECTOR( '', #9411, 39.3700787402000 );
#8536 = CARTESIAN_POINT( '', ( 0.127000000000131, -0.0108845726812245, -0.0730000000000235 ) );
#8537 = VECTOR( '', #9412, 39.3700787402000 );
#8538 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8539 = CARTESIAN_POINT( '', ( -0.0729999999999634, 0.0757179676972427, -0.0230000000000054 ) );
#8540 = VECTOR( '', #9413, 39.3700787402000 );
#8541 = CARTESIAN_POINT( '', ( -0.0602000000000810, 0.219824594887068, 0.0602000000000570 ) );
#8542 = VECTOR( '', #9414, 39.3700787402000 );
#8543 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.144999999999999, 0.0169999999999990 ) );
#8544 = VECTOR( '', #9415, 39.3700787402000 );
#8545 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8546 = CARTESIAN_POINT( '', ( 0.172196152422817, 0.154000000000000, 0.0221961524227066 ) );
#8547 = VECTOR( '', #9416, 39.3700787402000 );
#8548 = CARTESIAN_POINT( '', ( 0.177803847577413, 0.154000000000000, 0.0221961524227066 ) );
#8549 = VECTOR( '', #9417, 39.3700787402000 );
#8550 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8551 = CARTESIAN_POINT( '', ( 0.0330000000000600, 0.0300000000000000, -0.0169999999999990 ) );
#8552 = CARTESIAN_POINT( '', ( 0.0330000000000600, 0.0300000000000000, 0.500000000000000 ) );
#8553 = VECTOR( '', #9418, 39.3700787402000 );
#8554 = CARTESIAN_POINT( '', ( 0.0670000000000800, 0.0300000000000000, -0.0169999999999990 ) );
#8555 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.0300000000000000, -0.0169999999999990 ) );
#8556 = VECTOR( '', #9419, 39.3700787402000 );
#8557 = CARTESIAN_POINT( '', ( 0.0670000000000800, 0.0300000000000000, 0.500000000000000 ) );
#8558 = VECTOR( '', #9420, 39.3700787402000 );
#8559 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8560 = CARTESIAN_POINT( '', ( 0.217000000000140, 0.0300000000000000, -0.0169999999999990 ) );
#8561 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.0300000000000000, -0.0169999999999990 ) );
#8562 = VECTOR( '', #9421, 39.3700787402000 );
#8563 = CARTESIAN_POINT( '', ( 0.217000000000140, 0.0300000000000000, 0.500000000000000 ) );
#8564 = VECTOR( '', #9422, 39.3700787402000 );
#8565 = COLOUR_RGB( '', 0.750000000000000, 0.750000000000000, 0.750000000000000 );
#8566 = CARTESIAN_POINT( '', ( -0.233000000000000, -0.0900000000000000, 0.0330000000000000 ) );
#8567 = VECTOR( '', #9423, 39.3700787402000 );
#8568 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8569 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.144999999999998, -0.0169999999999990 ) );
#8570 = VECTOR( '', #9424, 39.3700787402000 );
#8571 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8572 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.144999999999998, 0.0330000000000000 ) );
#8573 = VECTOR( '', #9425, 39.3700787402000 );
#8574 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8575 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8576 = CARTESIAN_POINT( '', ( 0.0778038475773729, 0.154000000000000, 0.0221961524227066 ) );
#8577 = VECTOR( '', #9426, 39.3700787402000 );
#8578 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8579 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.144999999999998, 0.0330000000000000 ) );
#8580 = VECTOR( '', #9427, 39.3700787402000 );
#8581 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.0218371900500170, 0.0169999999999990 ) );
#8582 = VECTOR( '', #9428, 39.3700787402000 );
#8583 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.144999999999998, -0.0169999999999990 ) );
#8584 = VECTOR( '', #9429, 39.3700787402000 );
#8585 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8586 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.154000000000000, 0.0221961524227066 ) );
#8587 = VECTOR( '', #9430, 39.3700787402000 );
#8588 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8589 = CARTESIAN_POINT( '', ( -0.183000000000020, 0.145000000000015, 0.0330000000000000 ) );
#8590 = CARTESIAN_POINT( '', ( -0.188843078061855, 0.134879491924323, 0.0388430780618267 ) );
#8591 = VECTOR( '', #9431, 39.3700787402000 );
#8592 = CARTESIAN_POINT( '', ( -0.183000000000020, 0.145000000000015, 0.500000000000000 ) );
#8593 = VECTOR( '', #9432, 39.3700787402000 );
#8594 = COLOUR_RGB( '', 0.750000000000000, 0.750000000000000, 0.750000000000000 );
#8595 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.00200000000000000, -0.0170000000000000 ) );
#8596 = VECTOR( '', #9433, 39.3700787402000 );
#8597 = COLOUR_RGB( '', 0.750000000000000, 0.750000000000000, 0.750000000000000 );
#8598 = CARTESIAN_POINT( '', ( -0.0669999999999808, 0.00200000000000000, 0.0170000000000000 ) );
#8599 = CARTESIAN_POINT( '', ( -0.0669999999999808, 0.00200000000000000, 0.0170000000000000 ) );
#8600 = VECTOR( '', #9434, 39.3700787402000 );
#8601 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.00200000000000001, 0.0170000000000000 ) );
#8602 = VECTOR( '', #9435, 39.3700787402000 );
#8603 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8604 = CARTESIAN_POINT( '', ( 0.0330000000000600, 0.145000000000015, -0.0169999999999990 ) );
#8605 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.144999999999998, -0.0169999999999990 ) );
#8606 = VECTOR( '', #9436, 39.3700787402000 );
#8607 = CARTESIAN_POINT( '', ( -0.0243569219382652, 0.244345102962781, -0.0743569219382322 ) );
#8608 = VECTOR( '', #9437, 39.3700787402000 );
#8609 = COLOUR_RGB( '', 0.750000000000000, 0.750000000000000, 0.750000000000000 );
#8610 = CARTESIAN_POINT( '', ( -0.217000000000040, -0.0899999999999990, 0.0330000000000000 ) );
#8611 = CARTESIAN_POINT( '', ( -0.217000000000040, -0.0899999999999990, 0.500000000000000 ) );
#8612 = VECTOR( '', #9438, 39.3700787402000 );
#8613 = CARTESIAN_POINT( '', ( -0.233000000000000, -0.0900000000000000, 0.0330000000000000 ) );
#8614 = VECTOR( '', #9439, 39.3700787402000 );
#8615 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8616 = CARTESIAN_POINT( '', ( 0.167000000000120, 0.144999999999998, -0.0169999999999990 ) );
#8617 = VECTOR( '', #9440, 39.3700787402000 );
#8618 = COLOUR_RGB( '', 0.750000000000000, 0.750000000000000, 0.750000000000000 );
#8619 = CARTESIAN_POINT( '', ( -0.117000000000010, -0.0900000000000116, 0.0170000000000000 ) );
#8620 = VECTOR( '', #9441, 39.3700787402000 );
#8621 = CARTESIAN_POINT( '', ( -0.132999999999990, -0.0899999999999900, 0.0170000000000000 ) );
#8622 = VECTOR( '', #9442, 39.3700787402000 );
#8623 = COLOUR_RGB( '', 0.750000000000000, 0.750000000000000, 0.750000000000000 );
#8624 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8625 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.144999999999998, -0.0169999999999990 ) );
#8626 = VECTOR( '', #9443, 39.3700787402000 );
#8627 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8628 = CARTESIAN_POINT( '', ( -0.0329999999999600, 0.145000000000015, -0.0169999999999990 ) );
#8629 = CARTESIAN_POINT( '', ( -0.0329999999999600, 0.144999999999998, -0.0169999999999990 ) );
#8630 = VECTOR( '', #9444, 39.3700787402000 );
#8631 = CARTESIAN_POINT( '', ( -0.0329999999999600, 0.145000000000015, 0.500000000000000 ) );
#8632 = VECTOR( '', #9445, 39.3700787402000 );
#8633 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8634 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8635 = CARTESIAN_POINT( '', ( 0.233000000000000, 0.0218371900500170, 0.0169999999999990 ) );
#8636 = VECTOR( '', #9446, 39.3700787402000 );
#8637 = CARTESIAN_POINT( '', ( 0.233000000000000, 0.144999999999998, 0.0330000000000000 ) );
#8638 = VECTOR( '', #9447, 39.3700787402000 );
#8639 = CARTESIAN_POINT( '', ( 0.233000000000000, 0.144999999999998, -0.0169999999999990 ) );
#8640 = VECTOR( '', #9448, 39.3700787402000 );
#8641 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8642 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8643 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.0300000000000000, -0.0169999999999990 ) );
#8644 = VECTOR( '', #9449, 39.3700787402000 );
#8645 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8646 = CARTESIAN_POINT( '', ( -0.183000000000020, 0.0300000000000000, 0.0169999999999990 ) );
#8647 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.0300000000000000, 0.0169999999999990 ) );
#8648 = VECTOR( '', #9450, 39.3700787402000 );
#8649 = CARTESIAN_POINT( '', ( -0.183000000000020, 0.0218371900500170, 0.0169999999999990 ) );
#8650 = VECTOR( '', #9451, 39.3700787402000 );
#8651 = CARTESIAN_POINT( '', ( -0.133000000000000, 0.0300000000000000, 0.0169999999999990 ) );
#8652 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.0300000000000000, 0.0169999999999990 ) );
#8653 = VECTOR( '', #9452, 39.3700787402000 );
#8654 = CARTESIAN_POINT( '', ( -0.133000000000000, 0.0218371900500170, 0.0169999999999990 ) );
#8655 = VECTOR( '', #9453, 39.3700787402000 );
#8656 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.144999999999999, 0.0169999999999990 ) );
#8657 = VECTOR( '', #9454, 39.3700787402000 );
#8658 = CARTESIAN_POINT( '', ( -0.117000000000000, 0.0218371900500170, 0.0169999999999990 ) );
#8659 = VECTOR( '', #9455, 39.3700787402000 );
#8660 = CARTESIAN_POINT( '', ( 0.0670000000000800, 0.0218371900500170, 0.0169999999999990 ) );
#8661 = VECTOR( '', #9456, 39.3700787402000 );
#8662 = CARTESIAN_POINT( '', ( 0.117000000000100, 0.0218371900500170, 0.0169999999999990 ) );
#8663 = VECTOR( '', #9457, 39.3700787402000 );
#8664 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.144999999999999, 0.0169999999999990 ) );
#8665 = VECTOR( '', #9458, 39.3700787402000 );
#8666 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8667 = CARTESIAN_POINT( '', ( 0.0670000000000800, 0.144999999999998, 0.0330000000000000 ) );
#8668 = VECTOR( '', #9459, 39.3700787402000 );
#8669 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8670 = CARTESIAN_POINT( '', ( 0.122196152422797, 0.154000000000000, 0.0278038475772924 ) );
#8671 = CARTESIAN_POINT( '', ( 0.122196152422797, 0.154000000000000, 0.0221961524227066 ) );
#8672 = VECTOR( '', #9460, 39.3700787402000 );
#8673 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.154000000000000, 0.0278038475772924 ) );
#8674 = VECTOR( '', #9461, 39.3700787402000 );
#8675 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8676 = CARTESIAN_POINT( '', ( 0.0330000000000600, 0.145000000000015, 0.500000000000000 ) );
#8677 = VECTOR( '', #9462, 39.3700787402000 );
#8678 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8679 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.144999999999998, 0.0330000000000000 ) );
#8680 = VECTOR( '', #9463, 39.3700787402000 );
#8681 = COLOUR_RGB( '', 0.750000000000000, 0.750000000000000, 0.750000000000000 );
#8682 = COLOUR_RGB( '', 0.750000000000000, 0.750000000000000, 0.750000000000000 );
#8683 = CARTESIAN_POINT( '', ( -0.117000000000010, -0.0899999999999880, -0.0170000000000000 ) );
#8684 = CARTESIAN_POINT( '', ( -0.117000000000001, 0.00199999999998838, -0.0170000000000000 ) );
#8685 = VECTOR( '', #9464, 39.3700787402000 );
#8686 = CARTESIAN_POINT( '', ( -0.132999999999990, -0.0899999999999970, -0.0170000000000000 ) );
#8687 = CARTESIAN_POINT( '', ( -0.132999999999999, 0.00200000000000999, -0.0170000000000000 ) );
#8688 = VECTOR( '', #9465, 39.3700787402000 );
#8689 = CARTESIAN_POINT( '', ( -0.233000000000000, -0.0900000000000000, -0.0170000000000000 ) );
#8690 = VECTOR( '', #9466, 39.3700787402000 );
#8691 = COLOUR_RGB( '', 0.750000000000000, 0.750000000000000, 0.750000000000000 );
#8692 = CARTESIAN_POINT( '', ( -0.117000000000000, 0.0119999999999884, 0.0330000000000000 ) );
#8693 = VECTOR( '', #9467, 39.3700787402000 );
#8694 = CARTESIAN_POINT( '', ( -0.117000000000010, -0.0899999999999880, 0.500000000000000 ) );
#8695 = VECTOR( '', #9468, 39.3700787402000 );
#8696 = COLOUR_RGB( '', 0.750000000000000, 0.750000000000000, 0.750000000000000 );
#8697 = CARTESIAN_POINT( '', ( -0.217000000000040, 0.00200000000000000, -0.0170000000000000 ) );
#8698 = CARTESIAN_POINT( '', ( -0.217000000000040, 0.00200000000000000, -0.0170000000000000 ) );
#8699 = VECTOR( '', #9469, 39.3700787402000 );
#8700 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.00200000000000000, -0.0170000000000000 ) );
#8701 = VECTOR( '', #9470, 39.3700787402000 );
#8702 = COLOUR_RGB( '', 0.750000000000000, 0.750000000000000, 0.750000000000000 );
#8703 = CARTESIAN_POINT( '', ( -0.132999999999990, -0.0899999999999970, 0.500000000000000 ) );
#8704 = VECTOR( '', #9471, 39.3700787402000 );
#8705 = COLOUR_RGB( '', 0.750000000000000, 0.750000000000000, 0.750000000000000 );
#8706 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.00999999999998594, 0.0330000000000000 ) );
#8707 = VECTOR( '', #9472, 39.3700787402000 );
#8708 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8709 = CARTESIAN_POINT( '', ( -0.172196152422730, 0.154000000000005, 0.500000000000000 ) );
#8710 = VECTOR( '', #9473, 39.3700787402000 );
#8711 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8712 = CARTESIAN_POINT( '', ( -0.0829999999999800, 0.0300000000000000, -0.0169999999999990 ) );
#8713 = CARTESIAN_POINT( '', ( -0.0829999999999800, 0.0300000000000000, 0.500000000000000 ) );
#8714 = VECTOR( '', #9474, 39.3700787402000 );
#8715 = CARTESIAN_POINT( '', ( -0.0829999999999800, 0.144999999999998, -0.0169999999999990 ) );
#8716 = VECTOR( '', #9475, 39.3700787402000 );
#8717 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8718 = CARTESIAN_POINT( '', ( 0.0721961524227800, 0.154000000000005, 0.500000000000000 ) );
#8719 = VECTOR( '', #9476, 39.3700787402000 );
#8720 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8721 = CARTESIAN_POINT( '', ( 0.0670000000000800, 0.144999999999998, -0.0169999999999990 ) );
#8722 = VECTOR( '', #9477, 39.3700787402000 );
#8723 = CARTESIAN_POINT( '', ( 0.0670000000000800, 0.145000000000015, 0.500000000000000 ) );
#8724 = VECTOR( '', #9478, 39.3700787402000 );
#8725 = COLOUR_RGB( '', 0.750000000000000, 0.750000000000000, 0.750000000000000 );
#8726 = CARTESIAN_POINT( '', ( -0.133000000000000, 0.00999999999999800, 0.0330000000000000 ) );
#8727 = CARTESIAN_POINT( '', ( -0.133000000000000, 0.0120000000000100, 0.0330000000000000 ) );
#8728 = VECTOR( '', #9479, 39.3700787402000 );
#8729 = CARTESIAN_POINT( '', ( -0.133000000000000, 0.00999999999999800, 0.500000000000000 ) );
#8730 = VECTOR( '', #9480, 39.3700787402000 );
#8731 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8732 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8733 = CARTESIAN_POINT( '', ( -0.133000000000000, 0.0300000000000000, 0.0330000000000000 ) );
#8734 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.0300000000000000, 0.0330000000000000 ) );
#8735 = VECTOR( '', #9481, 39.3700787402000 );
#8736 = CARTESIAN_POINT( '', ( -0.133000000000000, 0.0300000000000000, 0.500000000000000 ) );
#8737 = VECTOR( '', #9482, 39.3700787402000 );
#8738 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8739 = CARTESIAN_POINT( '', ( 0.117000000000100, 0.145000000000015, 0.0330000000000000 ) );
#8740 = CARTESIAN_POINT( '', ( 0.117000000000100, 0.144999999999998, 0.0330000000000000 ) );
#8741 = VECTOR( '', #9483, 39.3700787402000 );
#8742 = CARTESIAN_POINT( '', ( 0.117000000000100, 0.145000000000015, 0.500000000000000 ) );
#8743 = VECTOR( '', #9484, 39.3700787402000 );
#8744 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8745 = CARTESIAN_POINT( '', ( 0.0330000000000600, 0.144999999999998, -0.0169999999999990 ) );
#8746 = VECTOR( '', #9485, 39.3700787402000 );
#8747 = COLOUR_RGB( '', 0.750000000000000, 0.750000000000000, 0.750000000000000 );
#8748 = CARTESIAN_POINT( '', ( -0.0669999999999900, -0.0900000000000166, 0.0170000000000000 ) );
#8749 = VECTOR( '', #9486, 39.3700787402000 );
#8750 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8751 = CARTESIAN_POINT( '', ( -0.148843078061837, 0.117558983848629, -0.00115692193816939 ) );
#8752 = VECTOR( '', #9487, 39.3700787402000 );
#8753 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8754 = CARTESIAN_POINT( '', ( -0.133000000000000, 0.144999999999998, 0.0330000000000000 ) );
#8755 = VECTOR( '', #9488, 39.3700787402000 );
#8756 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8757 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8758 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8759 = CARTESIAN_POINT( '', ( -0.0688430780617997, 0.0829179676972411, 0.0188430780618366 ) );
#8760 = VECTOR( '', #9489, 39.3700787402000 );
#8761 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.144999999999998, -0.0169999999999990 ) );
#8762 = VECTOR( '', #9490, 39.3700787402000 );
#8763 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8764 = CARTESIAN_POINT( '', ( -0.183000000000020, 0.0300000000000000, 0.0330000000000000 ) );
#8765 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.0300000000000000, 0.0330000000000000 ) );
#8766 = VECTOR( '', #9491, 39.3700787402000 );
#8767 = CARTESIAN_POINT( '', ( -0.183000000000020, 0.0300000000000000, 0.500000000000000 ) );
#8768 = VECTOR( '', #9492, 39.3700787402000 );
#8769 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8770 = CARTESIAN_POINT( '', ( 0.133000000000100, 0.144999999999998, -0.0169999999999990 ) );
#8771 = VECTOR( '', #9493, 39.3700787402000 );
#8772 = COLOUR_RGB( '', 0.500000000000000, 0.500000000000000, 0.500000000000000 );
#8773 = CARTESIAN_POINT( '', ( -0.250000000000000, 0.000000000000000, -0.0675000000000000 ) );
#8774 = VECTOR( '', #9494, 39.3700787402000 );
#8775 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8776 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8777 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8778 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.0300000000000000, -0.0169999999999990 ) );
#8779 = VECTOR( '', #9495, 39.3700787402000 );
#8780 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8781 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.144999999999998, 0.0330000000000000 ) );
#8782 = VECTOR( '', #9496, 39.3700787402000 );
#8783 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.144999999999998, 0.0330000000000000 ) );
#8784 = VECTOR( '', #9497, 39.3700787402000 );
#8785 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.144999999999998, 0.0330000000000000 ) );
#8786 = VECTOR( '', #9498, 39.3700787402000 );
#8787 = CARTESIAN_POINT( '', ( -0.117000000000000, 0.144999999999998, 0.0330000000000000 ) );
#8788 = VECTOR( '', #9499, 39.3700787402000 );
#8789 = CARTESIAN_POINT( '', ( -0.183000000000020, 0.144999999999998, 0.0330000000000000 ) );
#8790 = VECTOR( '', #9500, 39.3700787402000 );
#8791 = COLOUR_RGB( '', 0.750000000000000, 0.750000000000000, 0.750000000000000 );
#8792 = CARTESIAN_POINT( '', ( -0.217000000000040, 0.00200000000000000, 0.0170000000000000 ) );
#8793 = VECTOR( '', #9501, 39.3700787402000 );
#8794 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8795 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.144999999999998, -0.0169999999999990 ) );
#8796 = VECTOR( '', #9502, 39.3700787402000 );
#8797 = COLOUR_RGB( '', 0.750000000000000, 0.750000000000000, 0.750000000000000 );
#8798 = CARTESIAN_POINT( '', ( -0.0669999999999798, 0.0119999999999834, 0.0330000000000000 ) );
#8799 = VECTOR( '', #9503, 39.3700787402000 );
#8800 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8801 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8802 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.144999999999998, -0.0169999999999990 ) );
#8803 = VECTOR( '', #9504, 39.3700787402000 );
#8804 = COLOUR_RGB( '', 0.750000000000000, 0.750000000000000, 0.750000000000000 );
#8805 = CARTESIAN_POINT( '', ( 0.233000000000000, -0.0900000000000000, 0.0330000000000000 ) );
#8806 = CARTESIAN_POINT( '', ( 0.233000000000000, -0.0900000000000000, 0.0330000000000000 ) );
#8807 = VECTOR( '', #9505, 39.3700787402000 );
#8808 = CARTESIAN_POINT( '', ( -0.233000000000000, -0.0900000000000000, 0.0330000000000000 ) );
#8809 = VECTOR( '', #9506, 39.3700787402000 );
#8810 = COLOUR_RGB( '', 0.750000000000000, 0.750000000000000, 0.750000000000000 );
#8811 = CARTESIAN_POINT( '', ( 0.0330000000000602, 0.0119999999999733, 0.0330000000000000 ) );
#8812 = VECTOR( '', #9507, 39.3700787402000 );
#8813 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8814 = CARTESIAN_POINT( '', ( -0.0288430780617810, 0.0655974596215471, 0.0788430780618385 ) );
#8815 = VECTOR( '', #9508, 39.3700787402000 );
#8816 = COLOUR_RGB( '', 0.750000000000000, 0.750000000000000, 0.750000000000000 );
#8817 = COLOUR_RGB( '', 0.500000000000000, 0.500000000000000, 0.500000000000000 );
#8818 = CARTESIAN_POINT( '', ( -0.250000000000000, 0.0340000000000000, -0.0675000000000000 ) );
#8819 = VECTOR( '', #9509, 39.3700787402000 );
#8820 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8821 = CARTESIAN_POINT( '', ( 0.217000000000140, 0.144999999999998, -0.0169999999999990 ) );
#8822 = VECTOR( '', #9510, 39.3700787402000 );
#8823 = COLOUR_RGB( '', 0.750000000000000, 0.750000000000000, 0.750000000000000 );
#8824 = CARTESIAN_POINT( '', ( 0.233000000000000, 0.0120000000000000, 0.0330000000000000 ) );
#8825 = VECTOR( '', #9511, 39.3700787402000 );
#8826 = CARTESIAN_POINT( '', ( -0.217000000000040, 0.0120000000000000, 0.0330000000000000 ) );
#8827 = VECTOR( '', #9512, 39.3700787402000 );
#8828 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.00999999999999798, 0.0330000000000000 ) );
#8829 = VECTOR( '', #9513, 39.3700787402000 );
#8830 = CARTESIAN_POINT( '', ( 0.0830000000000700, -0.0899999999999960, 0.0330000000000000 ) );
#8831 = CARTESIAN_POINT( '', ( -0.233000000000000, -0.0900000000000000, 0.0330000000000000 ) );
#8832 = VECTOR( '', #9514, 39.3700787402000 );
#8833 = CARTESIAN_POINT( '', ( 0.0830000000000803, 0.0119999999999683, 0.0330000000000000 ) );
#8834 = VECTOR( '', #9515, 39.3700787402000 );
#8835 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8836 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8837 = CARTESIAN_POINT( '', ( 0.0511569219382563, 0.0309564434701592, 0.0988430780618444 ) );
#8838 = VECTOR( '', #9516, 39.3700787402000 );
#8839 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8840 = CARTESIAN_POINT( '', ( -0.117000000000000, 0.0300000000000000, -0.0169999999999990 ) );
#8841 = CARTESIAN_POINT( '', ( -0.233000000000000, 0.0300000000000000, -0.0169999999999990 ) );
#8842 = VECTOR( '', #9517, 39.3700787402000 );
#8843 = CARTESIAN_POINT( '', ( -0.117000000000000, 0.144999999999998, -0.0169999999999990 ) );
#8844 = VECTOR( '', #9518, 39.3700787402000 );
#8845 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8846 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8847 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8848 = CARTESIAN_POINT( '', ( -0.117000000000000, 0.0300000000000000, 0.500000000000000 ) );
#8849 = VECTOR( '', #9519, 39.3700787402000 );
#8850 = COLOUR_RGB( '', 0.750000000000000, 0.750000000000000, 0.750000000000000 );
#8851 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8852 = COLOUR_RGB( '', 0.500000000000000, 0.500000000000000, 0.500000000000000 );
#8853 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8854 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8855 = COLOUR_RGB( '', 0.750000000000000, 0.750000000000000, 0.750000000000000 );
#8856 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8857 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8858 = COLOUR_RGB( '', 0.750000000000000, 0.750000000000000, 0.750000000000000 );
#8859 = CARTESIAN_POINT( '', ( 0.0830000000000700, -0.0899999999999960, 0.500000000000000 ) );
#8860 = VECTOR( '', #9520, 39.3700787402000 );
#8861 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8862 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8863 = COLOUR_RGB( '', 0.750000000000000, 0.750000000000000, 0.750000000000000 );
#8864 = COLOUR_RGB( '', 0.750000000000000, 0.750000000000000, 0.750000000000000 );
#8865 = CARTESIAN_POINT( '', ( 0.0830000000000792, 0.00199999999996833, -0.0170000000000000 ) );
#8866 = VECTOR( '', #9521, 39.3700787402000 );
#8867 = COLOUR_RGB( '', 0.750000000000000, 0.750000000000000, 0.750000000000000 );
#8868 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#8869 = COLOUR_RGB( '', 0.750000000000000, 0.750000000000000, 0.750000000000000 );
#8870 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#8871 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#8872 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#8873 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#8874 = DIRECTION( '', ( -1.00000000000000, -1.25544485002879E-16, 0.000000000000000 ) );
#8875 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#8876 = DIRECTION( '', ( 1.00000000000000, 1.25544485002879E-16, 0.000000000000000 ) );
#8877 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#8878 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#8879 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#8880 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#8881 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#8882 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#8883 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#8884 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#8885 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#8886 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#8887 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#8888 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#8889 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#8890 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#8891 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#8892 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#8893 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#8894 = DIRECTION( '', ( -1.00053932767970E-13, -1.00000000000000, 0.000000000000000 ) );
#8895 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#8896 = DIRECTION( '', ( 1.00053932767970E-13, 1.00000000000000, 0.000000000000000 ) );
#8897 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#8898 = DIRECTION( '', ( -1.00053932767970E-13, -1.00000000000000, 0.000000000000000 ) );
#8899 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#8900 = DIRECTION( '', ( 1.00053932767970E-13, 1.00000000000000, 0.000000000000000 ) );
#8901 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#8902 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#8903 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#8904 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#8905 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#8906 = DIRECTION( '', ( -0.447213595500580, 0.774596669241196, 0.447213595499833 ) );
#8907 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#8908 = DIRECTION( '', ( 0.447213595500589, -0.774596669241212, 0.447213595499797 ) );
#8909 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#8910 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#8911 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#8912 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#8913 = DIRECTION( '', ( -0.447213595499891, -0.774596669241495, -0.447213595500006 ) );
#8914 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#8915 = DIRECTION( '', ( -0.447213595500581, 0.774596669241196, 0.447213595499833 ) );
#8916 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#8917 = DIRECTION( '', ( 0.447213595499899, 0.774596669241510, -0.447213595499970 ) );
#8918 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#8919 = DIRECTION( '', ( -0.447213595499890, -0.774596669241495, -0.447213595500006 ) );
#8920 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#8921 = DIRECTION( '', ( -0.447213595499891, -0.774596669241494, -0.447213595500006 ) );
#8922 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#8923 = DIRECTION( '', ( -0.447213595500581, 0.774596669241196, 0.447213595499833 ) );
#8924 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#8925 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#8926 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#8927 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#8928 = DIRECTION( '', ( -1.00224673267574E-13, -1.00000000000000, 0.000000000000000 ) );
#8929 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#8930 = DIRECTION( '', ( -9.99045348308051E-14, 1.00000000000000, 0.000000000000000 ) );
#8931 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#8932 = DIRECTION( '', ( -0.447213595499890, -0.774596669241495, -0.447213595500006 ) );
#8933 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#8934 = DIRECTION( '', ( -0.447213595500580, 0.774596669241196, 0.447213595499833 ) );
#8935 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#8936 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#8937 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#8938 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#8939 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#8940 = DIRECTION( '', ( -0.447213595499890, -0.774596669241495, -0.447213595500006 ) );
#8941 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#8942 = DIRECTION( '', ( 0.447213595499899, 0.774596669241510, -0.447213595499970 ) );
#8943 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#8944 = DIRECTION( '', ( 1.00224673267574E-13, 1.00000000000000, 0.000000000000000 ) );
#8945 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#8946 = DIRECTION( '', ( 9.98831922683546E-14, -1.00000000000000, 0.000000000000000 ) );
#8947 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#8948 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#8949 = DIRECTION( '', ( 1.00053932767959E-13, -1.00000000000000, 0.000000000000000 ) );
#8950 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#8951 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#8952 = DIRECTION( '', ( 0.447213595500590, -0.774596669241211, 0.447213595499797 ) );
#8953 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#8954 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#8955 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#8956 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#8957 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#8958 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#8959 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#8960 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#8961 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#8962 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#8963 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#8964 = DIRECTION( '', ( -0.447213595499891, -0.774596669241494, -0.447213595500006 ) );
#8965 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#8966 = DIRECTION( '', ( 0.447213595499900, 0.774596669241510, -0.447213595499970 ) );
#8967 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#8968 = DIRECTION( '', ( 0.447213595499900, 0.774596669241510, -0.447213595499970 ) );
#8969 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#8970 = DIRECTION( '', ( -0.447213595499891, -0.774596669241494, -0.447213595500006 ) );
#8971 = DIRECTION( '', ( -9.99045348308051E-14, 1.00000000000000, 0.000000000000000 ) );
#8972 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#8973 = DIRECTION( '', ( 9.99045348308051E-14, -1.00000000000000, 0.000000000000000 ) );
#8974 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#8975 = DIRECTION( '', ( 9.99045348308051E-14, -1.00000000000000, 0.000000000000000 ) );
#8976 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#8977 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#8978 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#8979 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#8980 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#8981 = DIRECTION( '', ( 1.00053932767970E-13, 1.00000000000000, 0.000000000000000 ) );
#8982 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#8983 = DIRECTION( '', ( 1.00053932767959E-13, -1.00000000000000, 0.000000000000000 ) );
#8984 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#8985 = DIRECTION( '', ( -0.447213595499890, -0.774596669241495, -0.447213595500006 ) );
#8986 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#8987 = DIRECTION( '', ( -0.447213595500580, 0.774596669241196, 0.447213595499833 ) );
#8988 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#8989 = DIRECTION( '', ( -0.447213595500581, 0.774596669241196, 0.447213595499833 ) );
#8990 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#8991 = DIRECTION( '', ( 0.447213595500590, -0.774596669241211, 0.447213595499797 ) );
#8992 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#8993 = DIRECTION( '', ( -9.99685625181566E-14, 1.00000000000000, 0.000000000000000 ) );
#8994 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#8995 = DIRECTION( '', ( 9.99685625181566E-14, -1.00000000000000, 0.000000000000000 ) );
#8996 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#8997 = DIRECTION( '', ( -9.99685625181566E-14, 1.00000000000000, 0.000000000000000 ) );
#8998 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#8999 = DIRECTION( '', ( 9.99685625181566E-14, -1.00000000000000, 0.000000000000000 ) );
#9000 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9001 = DIRECTION( '', ( -1.00203330705123E-13, -1.00000000000000, 0.000000000000000 ) );
#9002 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9003 = DIRECTION( '', ( 1.00203330705123E-13, 1.00000000000000, 0.000000000000000 ) );
#9004 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9005 = DIRECTION( '', ( -1.00203330705123E-13, -1.00000000000000, 0.000000000000000 ) );
#9006 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9007 = DIRECTION( '', ( 1.00203330705123E-13, 1.00000000000000, 0.000000000000000 ) );
#9008 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9009 = DIRECTION( '', ( 1.00224673267574E-13, 1.00000000000000, 0.000000000000000 ) );
#9010 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9011 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9012 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9013 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9014 = DIRECTION( '', ( -8.67064797989130E-14, -1.00000000000000, 0.000000000000000 ) );
#9015 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9016 = DIRECTION( '', ( 8.67064797989130E-14, 1.00000000000000, 0.000000000000000 ) );
#9017 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9018 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#9019 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9020 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9021 = DIRECTION( '', ( 0.000000000000000, 1.94023295004564E-16, -1.00000000000000 ) );
#9022 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9023 = DIRECTION( '', ( 0.000000000000000, 1.94023295004564E-16, -1.00000000000000 ) );
#9024 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9025 = DIRECTION( '', ( -1.00053932767970E-13, -1.00000000000000, 0.000000000000000 ) );
#9026 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9027 = DIRECTION( '', ( -1.00053932767959E-13, 1.00000000000000, 0.000000000000000 ) );
#9028 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9029 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9030 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9031 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9032 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9033 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9034 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9035 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );