Newer
Older
20001
20002
20003
20004
20005
20006
20007
20008
20009
20010
20011
20012
20013
20014
20015
20016
20017
20018
20019
20020
20021
20022
20023
20024
20025
20026
20027
20028
20029
20030
20031
20032
20033
20034
20035
20036
20037
20038
20039
20040
20041
20042
20043
20044
20045
20046
20047
20048
20049
20050
20051
20052
20053
20054
20055
20056
20057
20058
20059
20060
20061
20062
20063
20064
20065
20066
20067
20068
20069
20070
20071
20072
20073
20074
20075
20076
20077
20078
20079
20080
20081
20082
20083
20084
20085
20086
20087
20088
20089
20090
20091
20092
20093
20094
20095
20096
20097
20098
20099
20100
20101
20102
20103
20104
20105
20106
20107
20108
20109
20110
20111
20112
20113
20114
20115
20116
20117
20118
20119
20120
20121
20122
20123
20124
20125
20126
20127
20128
20129
20130
20131
20132
20133
20134
20135
20136
20137
20138
20139
20140
20141
20142
20143
20144
20145
20146
20147
20148
20149
20150
20151
20152
20153
20154
20155
20156
20157
20158
20159
20160
20161
20162
20163
20164
20165
20166
20167
20168
20169
20170
20171
20172
20173
20174
20175
20176
20177
20178
20179
20180
20181
20182
20183
20184
20185
20186
20187
20188
20189
20190
20191
20192
20193
20194
20195
20196
20197
20198
20199
20200
20201
20202
20203
20204
20205
20206
20207
20208
20209
20210
20211
20212
20213
20214
20215
20216
20217
20218
20219
20220
20221
20222
20223
20224
20225
20226
20227
20228
20229
20230
20231
20232
20233
20234
20235
20236
20237
20238
20239
20240
20241
20242
20243
20244
20245
20246
20247
20248
20249
20250
20251
20252
20253
20254
20255
20256
20257
20258
20259
20260
20261
20262
20263
20264
20265
20266
20267
20268
20269
20270
20271
20272
20273
20274
20275
20276
20277
20278
20279
20280
20281
20282
20283
20284
20285
20286
20287
20288
20289
20290
20291
20292
20293
20294
20295
20296
20297
20298
20299
20300
20301
20302
20303
20304
20305
20306
20307
20308
20309
20310
20311
20312
20313
20314
20315
20316
20317
20318
20319
20320
20321
20322
20323
20324
20325
20326
20327
20328
20329
20330
20331
20332
20333
20334
20335
20336
20337
20338
20339
20340
20341
20342
20343
20344
20345
20346
20347
20348
20349
20350
20351
20352
20353
20354
20355
20356
20357
20358
20359
20360
20361
20362
20363
20364
20365
20366
20367
20368
20369
20370
20371
20372
20373
20374
20375
20376
20377
20378
20379
20380
20381
20382
20383
20384
20385
20386
20387
20388
20389
20390
20391
20392
20393
20394
20395
20396
20397
20398
20399
20400
20401
20402
20403
20404
20405
20406
20407
20408
20409
20410
20411
20412
20413
20414
20415
20416
20417
20418
20419
20420
20421
20422
20423
20424
20425
20426
20427
20428
20429
20430
20431
20432
20433
20434
20435
20436
20437
20438
20439
20440
20441
20442
20443
20444
20445
20446
20447
20448
20449
20450
20451
20452
20453
20454
20455
20456
20457
20458
20459
20460
20461
20462
20463
20464
20465
20466
20467
20468
20469
20470
20471
20472
20473
20474
20475
20476
20477
20478
20479
20480
20481
20482
20483
20484
20485
20486
20487
20488
20489
20490
20491
20492
20493
20494
20495
20496
20497
20498
20499
20500
20501
20502
20503
20504
20505
20506
20507
20508
20509
20510
20511
20512
20513
20514
20515
20516
20517
20518
20519
20520
20521
20522
20523
20524
20525
20526
20527
20528
20529
20530
20531
20532
20533
20534
20535
20536
20537
20538
20539
20540
20541
20542
20543
20544
20545
20546
20547
20548
20549
20550
20551
20552
20553
20554
20555
20556
20557
20558
20559
20560
20561
20562
20563
20564
20565
20566
20567
20568
20569
20570
20571
20572
20573
20574
20575
20576
20577
20578
20579
20580
20581
20582
20583
20584
20585
20586
20587
20588
20589
20590
20591
20592
20593
20594
20595
20596
20597
20598
20599
20600
20601
20602
20603
20604
20605
20606
20607
20608
20609
20610
20611
20612
20613
20614
20615
20616
20617
20618
20619
20620
20621
20622
20623
20624
20625
20626
20627
20628
20629
20630
20631
20632
20633
20634
20635
20636
20637
20638
20639
20640
20641
20642
20643
20644
20645
20646
20647
20648
20649
20650
20651
20652
20653
20654
20655
20656
20657
20658
20659
20660
20661
20662
20663
20664
20665
20666
20667
20668
20669
20670
20671
20672
20673
20674
20675
20676
20677
20678
20679
20680
20681
20682
20683
20684
20685
20686
20687
20688
20689
20690
20691
20692
20693
20694
20695
20696
20697
20698
20699
20700
20701
20702
20703
20704
20705
20706
20707
20708
20709
20710
20711
20712
20713
20714
20715
20716
20717
20718
20719
20720
20721
20722
20723
20724
20725
20726
20727
20728
20729
20730
20731
20732
20733
20734
20735
20736
20737
20738
20739
20740
20741
20742
20743
20744
20745
20746
20747
20748
20749
20750
20751
20752
20753
20754
20755
20756
20757
20758
20759
20760
20761
20762
20763
20764
20765
20766
20767
20768
20769
20770
20771
20772
20773
20774
20775
20776
20777
20778
20779
20780
20781
20782
20783
20784
20785
20786
20787
20788
20789
20790
20791
20792
20793
20794
20795
20796
20797
20798
20799
20800
20801
20802
20803
20804
20805
20806
20807
20808
20809
20810
20811
20812
20813
20814
20815
20816
20817
20818
20819
20820
20821
20822
20823
20824
20825
20826
20827
20828
20829
20830
20831
20832
20833
20834
20835
20836
20837
20838
20839
20840
20841
20842
20843
20844
20845
20846
20847
20848
20849
20850
20851
20852
20853
20854
20855
20856
20857
20858
20859
20860
20861
20862
20863
20864
20865
20866
20867
20868
20869
20870
20871
20872
20873
20874
20875
20876
20877
20878
20879
20880
20881
20882
20883
20884
20885
20886
20887
20888
20889
20890
20891
20892
20893
20894
20895
20896
20897
20898
20899
20900
20901
20902
20903
20904
20905
20906
20907
20908
20909
20910
20911
20912
20913
20914
20915
20916
20917
20918
20919
20920
20921
20922
20923
20924
20925
20926
20927
20928
20929
20930
20931
20932
20933
20934
20935
20936
20937
20938
20939
20940
20941
20942
20943
20944
20945
20946
20947
20948
20949
20950
20951
20952
20953
20954
20955
20956
20957
20958
20959
20960
20961
20962
20963
20964
20965
20966
20967
20968
20969
20970
20971
20972
20973
20974
20975
20976
20977
20978
20979
20980
20981
20982
20983
20984
20985
20986
20987
20988
20989
20990
20991
20992
20993
20994
20995
20996
20997
20998
20999
21000
#20040 = CARTESIAN_POINT( '', ( 0.160000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#20041 = VECTOR( '', #23334, 39.3700787402000 );
#20042 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20043 = CARTESIAN_POINT( '', ( 0.185000000000000, -6.07153216591882E-18, -0.0904500000000000 ) );
#20044 = CARTESIAN_POINT( '', ( 0.185000000000000, -6.40276873515062E-18, -0.0490000000000000 ) );
#20045 = CARTESIAN_POINT( '', ( 0.185000000000000, -6.07153216591882E-18, -0.0904500000000000 ) );
#20046 = VECTOR( '', #23335, 39.3700787402000 );
#20047 = CARTESIAN_POINT( '', ( 0.165000000000000, -6.07153216591882E-18, -0.0904500000000000 ) );
#20048 = CARTESIAN_POINT( '', ( 0.250000000000000, -6.40276873515062E-18, -0.0904500000000000 ) );
#20049 = VECTOR( '', #23336, 39.3700787402000 );
#20050 = CARTESIAN_POINT( '', ( 0.165000000000000, -6.40276873515062E-18, -0.0490000000000000 ) );
#20051 = CARTESIAN_POINT( '', ( 0.165000000000000, -6.07153216591882E-18, -0.0904500000000000 ) );
#20052 = VECTOR( '', #23337, 39.3700787402000 );
#20053 = CARTESIAN_POINT( '', ( 0.250000000000000, -6.07153216591882E-18, -0.0490000000000000 ) );
#20054 = VECTOR( '', #23338, 39.3700787402000 );
#20055 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20056 = CARTESIAN_POINT( '', ( -0.140000000000000, 0.133000000000000, 0.0100000000000000 ) );
#20057 = CARTESIAN_POINT( '', ( -0.140000000000000, 0.133000000000000, 0.0400000000000000 ) );
#20058 = CARTESIAN_POINT( '', ( -0.140000000000000, 0.133000000000000, 0.0100000000000000 ) );
#20059 = VECTOR( '', #23339, 39.3700787402000 );
#20060 = CARTESIAN_POINT( '', ( -0.140000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#20061 = VECTOR( '', #23340, 39.3700787402000 );
#20062 = CARTESIAN_POINT( '', ( -0.140000000000000, 0.0300000000000000, 0.0100000000000000 ) );
#20063 = VECTOR( '', #23341, 39.3700787402000 );
#20064 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20065 = CARTESIAN_POINT( '', ( 0.172000000000000, 0.133000000000000, -0.0400000000000000 ) );
#20066 = CARTESIAN_POINT( '', ( 0.172000000000000, 0.133000000000000, -0.0330000000000000 ) );
#20067 = VECTOR( '', #23342, 39.3700787402000 );
#20068 = CARTESIAN_POINT( '', ( 0.172000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#20069 = CARTESIAN_POINT( '', ( 0.172000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#20070 = VECTOR( '', #23343, 39.3700787402000 );
#20071 = CARTESIAN_POINT( '', ( 0.172000000000000, 0.0300000000000000, -0.0330000000000000 ) );
#20072 = VECTOR( '', #23344, 39.3700787402000 );
#20073 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20074 = CARTESIAN_POINT( '', ( -0.235000000000000, 6.07153216591882E-18, 0.0490000000000000 ) );
#20075 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.000000000000000, 0.0490000000000000 ) );
#20076 = VECTOR( '', #23345, 39.3700787402000 );
#20077 = CARTESIAN_POINT( '', ( -0.235000000000000, 6.07153216591882E-18, 0.0904500000000000 ) );
#20078 = CARTESIAN_POINT( '', ( -0.235000000000000, 6.07153216591882E-18, 0.0490000000000000 ) );
#20079 = VECTOR( '', #23346, 39.3700787402000 );
#20080 = CARTESIAN_POINT( '', ( 0.250000000000000, 6.07153216591882E-18, 0.0904500000000000 ) );
#20081 = VECTOR( '', #23347, 39.3700787402000 );
#20082 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20083 = CARTESIAN_POINT( '', ( 0.128000000000000, 0.133000000000000, -0.0100000000000000 ) );
#20084 = CARTESIAN_POINT( '', ( 0.140000000000000, 0.133000000000000, -0.0100000000000000 ) );
#20085 = CARTESIAN_POINT( '', ( 0.128000000000000, 0.133000000000000, -0.0100000000000000 ) );
#20086 = VECTOR( '', #23348, 39.3700787402000 );
#20087 = CARTESIAN_POINT( '', ( 0.140000000000000, 0.0300000000000000, -0.0100000000000000 ) );
#20088 = VECTOR( '', #23349, 39.3700787402000 );
#20089 = CARTESIAN_POINT( '', ( 0.128000000000000, 0.0300000000000000, -0.0100000000000000 ) );
#20090 = VECTOR( '', #23350, 39.3700787402000 );
#20091 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20092 = CARTESIAN_POINT( '', ( 0.228000000000000, 0.133000000000000, -0.0170000000000000 ) );
#20093 = CARTESIAN_POINT( '', ( 0.222000000000000, 0.133000000000000, -0.0170000000000000 ) );
#20094 = VECTOR( '', #23351, 39.3700787402000 );
#20095 = CARTESIAN_POINT( '', ( 0.228000000000000, 0.0300000000000000, -0.0170000000000000 ) );
#20096 = VECTOR( '', #23352, 39.3700787402000 );
#20097 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20098 = CARTESIAN_POINT( '', ( 0.0220000000000000, 0.133000000000000, 0.0400000000000000 ) );
#20099 = CARTESIAN_POINT( '', ( 0.0220000000000000, 0.133000000000000, 0.0400000000000000 ) );
#20100 = VECTOR( '', #23353, 39.3700787402000 );
#20101 = CARTESIAN_POINT( '', ( 0.0220000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#20102 = VECTOR( '', #23354, 39.3700787402000 );
#20103 = CARTESIAN_POINT( '', ( 0.0220000000000000, 0.0299999999999999, 0.0400000000000000 ) );
#20104 = CARTESIAN_POINT( '', ( 0.0220000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#20105 = VECTOR( '', #23355, 39.3700787402000 );
#20106 = CARTESIAN_POINT( '', ( 0.0220000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#20107 = VECTOR( '', #23356, 39.3700787402000 );
#20108 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20109 = CARTESIAN_POINT( '', ( -0.0720000000000000, 0.133000000000000, 0.0100000000000000 ) );
#20110 = CARTESIAN_POINT( '', ( -0.0720000000000000, 0.133000000000000, 0.0170000000000000 ) );
#20111 = CARTESIAN_POINT( '', ( -0.0720000000000000, 0.133000000000000, 0.0100000000000000 ) );
#20112 = VECTOR( '', #23357, 39.3700787402000 );
#20113 = CARTESIAN_POINT( '', ( -0.0720000000000000, 0.0300000000000000, 0.0170000000000000 ) );
#20114 = VECTOR( '', #23358, 39.3700787402000 );
#20115 = CARTESIAN_POINT( '', ( -0.0720000000000000, 0.0300000000000000, 0.0100000000000000 ) );
#20116 = VECTOR( '', #23359, 39.3700787402000 );
#20117 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20118 = CARTESIAN_POINT( '', ( 0.128000000000000, 0.133000000000000, 0.0170000000000000 ) );
#20119 = CARTESIAN_POINT( '', ( 0.122000000000000, 0.133000000000000, 0.0170000000000000 ) );
#20120 = CARTESIAN_POINT( '', ( 0.128000000000000, 0.133000000000000, 0.0170000000000000 ) );
#20121 = VECTOR( '', #23360, 39.3700787402000 );
#20122 = CARTESIAN_POINT( '', ( 0.122000000000000, 0.0300000000000000, 0.0170000000000000 ) );
#20123 = VECTOR( '', #23361, 39.3700787402000 );
#20124 = CARTESIAN_POINT( '', ( 0.128000000000000, 0.0300000000000000, 0.0170000000000000 ) );
#20125 = VECTOR( '', #23362, 39.3700787402000 );
#20126 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20127 = CARTESIAN_POINT( '', ( 0.250000000000000, -6.07153216591882E-18, -0.0490000000000000 ) );
#20128 = VECTOR( '', #23363, 39.3700787402000 );
#20129 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20130 = CARTESIAN_POINT( '', ( -0.0850000000000000, 0.0300000000000000, 0.0370000000000000 ) );
#20131 = CARTESIAN_POINT( '', ( -0.0850000000000000, 0.00499999999999999, 0.0370000000000000 ) );
#20132 = CARTESIAN_POINT( '', ( -0.0850000000000000, 0.00499999999999999, 0.0370000000000000 ) );
#20133 = VECTOR( '', #23364, 39.3700787402000 );
#20134 = CARTESIAN_POINT( '', ( -0.0850000000000000, -0.00700000000000001, 0.0490000000000000 ) );
#20135 = AXIS2_PLACEMENT_3D( '', #23365, #23366, #23367 );
#20136 = CARTESIAN_POINT( '', ( -0.0850000000000000, -0.00700000000000001, 0.0904500000000000 ) );
#20137 = CARTESIAN_POINT( '', ( -0.0850000000000000, -0.00700000000000001, 0.0904500000000000 ) );
#20138 = VECTOR( '', #23368, 39.3700787402000 );
#20139 = CARTESIAN_POINT( '', ( -0.0850000000000000, 6.07153216591882E-18, 0.0904500000000000 ) );
#20140 = VECTOR( '', #23369, 39.3700787402000 );
#20141 = CARTESIAN_POINT( '', ( -0.0850000000000000, 0.0299999999999999, 0.0440000000000000 ) );
#20142 = VECTOR( '', #23370, 39.3700787402000 );
#20143 = CARTESIAN_POINT( '', ( -0.0850000000000000, 0.0300000000000000, 0.131000000000000 ) );
#20144 = VECTOR( '', #23371, 39.3700787402000 );
#20145 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#20146 = CARTESIAN_POINT( '', ( 0.213000000000000, 0.172000000000000, -0.0130000000000000 ) );
#20147 = VECTOR( '', #23372, 39.3700787402000 );
#20148 = CARTESIAN_POINT( '', ( 0.213000000000000, 0.172000000000000, -0.0370000000000000 ) );
#20149 = VECTOR( '', #23373, 39.3700787402000 );
#20150 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20151 = CARTESIAN_POINT( '', ( 0.0780000000000000, 0.133000000000000, -0.0330000000000000 ) );
#20152 = CARTESIAN_POINT( '', ( 0.0780000000000000, 0.133000000000000, -0.0400000000000000 ) );
#20153 = VECTOR( '', #23374, 39.3700787402000 );
#20154 = CARTESIAN_POINT( '', ( 0.0780000000000000, 0.0300000000000000, -0.0330000000000000 ) );
#20155 = CARTESIAN_POINT( '', ( 0.0780000000000000, 0.0300000000000000, -0.0330000000000000 ) );
#20156 = VECTOR( '', #23375, 39.3700787402000 );
#20157 = CARTESIAN_POINT( '', ( 0.0780000000000000, 0.0300000000000000, -0.0370000000000000 ) );
#20158 = CARTESIAN_POINT( '', ( 0.0780000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#20159 = VECTOR( '', #23376, 39.3700787402000 );
#20160 = CARTESIAN_POINT( '', ( 0.0780000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#20161 = VECTOR( '', #23377, 39.3700787402000 );
#20162 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20163 = CARTESIAN_POINT( '', ( -0.0280000000000000, 0.133000000000000, -0.0170000000000000 ) );
#20164 = CARTESIAN_POINT( '', ( -0.0280000000000000, 0.133000000000000, -0.0170000000000000 ) );
#20165 = VECTOR( '', #23378, 39.3700787402000 );
#20166 = CARTESIAN_POINT( '', ( -0.0280000000000000, 0.0300000000000000, -0.0170000000000000 ) );
#20167 = VECTOR( '', #23379, 39.3700787402000 );
#20168 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20169 = CARTESIAN_POINT( '', ( -0.110000000000000, 0.133000000000000, 0.0400000000000000 ) );
#20170 = CARTESIAN_POINT( '', ( -0.110000000000000, 0.133000000000000, 0.0100000000000000 ) );
#20171 = CARTESIAN_POINT( '', ( -0.110000000000000, 0.133000000000000, 0.0400000000000000 ) );
#20172 = VECTOR( '', #23380, 39.3700787402000 );
#20173 = CARTESIAN_POINT( '', ( -0.110000000000000, 0.0300000000000000, 0.0100000000000000 ) );
#20174 = VECTOR( '', #23381, 39.3700787402000 );
#20175 = CARTESIAN_POINT( '', ( -0.110000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#20176 = VECTOR( '', #23382, 39.3700787402000 );
#20177 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20178 = CARTESIAN_POINT( '', ( -0.0400000000000000, 0.133000000000000, 0.000000000000000 ) );
#20179 = AXIS2_PLACEMENT_3D( '', #23383, #23384, #23385 );
#20180 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20181 = CARTESIAN_POINT( '', ( -0.235000000000000, 0.0300000000000000, 0.131000000000000 ) );
#20182 = VECTOR( '', #23386, 39.3700787402000 );
#20183 = CARTESIAN_POINT( '', ( -0.235000000000000, 0.00500000000000000, -0.0440000000000000 ) );
#20184 = VECTOR( '', #23387, 39.3700787402000 );
#20185 = CARTESIAN_POINT( '', ( -0.235000000000000, -6.07153216591882E-18, -0.0904500000000000 ) );
#20186 = VECTOR( '', #23388, 39.3700787402000 );
#20187 = CARTESIAN_POINT( '', ( -0.235000000000000, -0.00700000000000001, -0.0490000000000000 ) );
#20188 = VECTOR( '', #23389, 39.3700787402000 );
#20189 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20190 = CARTESIAN_POINT( '', ( 0.250000000000000, -0.00700000000000001, 0.0490000000000000 ) );
#20191 = VECTOR( '', #23390, 39.3700787402000 );
#20192 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.00499999999999999, 0.0370000000000000 ) );
#20193 = VECTOR( '', #23391, 39.3700787402000 );
#20194 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#20195 = CARTESIAN_POINT( '', ( 0.252250000000000, 0.000000000000000, -0.0655000000000000 ) );
#20196 = CARTESIAN_POINT( '', ( -0.252250000000000, 0.000000000000000, -0.0655000000000000 ) );
#20197 = CARTESIAN_POINT( '', ( 0.252250000000000, 0.000000000000000, -0.0655000000000000 ) );
#20198 = VECTOR( '', #23392, 39.3700787402000 );
#20199 = CARTESIAN_POINT( '', ( -0.252250000000000, 0.172000000000000, -0.0655000000000000 ) );
#20200 = VECTOR( '', #23393, 39.3700787402000 );
#20201 = CARTESIAN_POINT( '', ( 0.252250000000000, 0.172000000000000, -0.0655000000000000 ) );
#20202 = VECTOR( '', #23394, 39.3700787402000 );
#20203 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20204 = CARTESIAN_POINT( '', ( 0.0220000000000000, 0.0300000000000000, -0.0370000000000000 ) );
#20205 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.0300000000000000, -0.0370000000000000 ) );
#20206 = VECTOR( '', #23395, 39.3700787402000 );
#20207 = CARTESIAN_POINT( '', ( 0.0280000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#20208 = VECTOR( '', #23396, 39.3700787402000 );
#20209 = CARTESIAN_POINT( '', ( 0.0220000000000000, 0.0300000000000000, -0.0330000000000000 ) );
#20210 = VECTOR( '', #23397, 39.3700787402000 );
#20211 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20212 = CARTESIAN_POINT( '', ( -0.165000000000000, 0.00500000000000000, -0.0440000000000000 ) );
#20213 = CARTESIAN_POINT( '', ( -0.185000000000000, 0.00500000000000000, -0.0440000000000000 ) );
#20214 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.00500000000000000, -0.0440000000000000 ) );
#20215 = VECTOR( '', #23398, 39.3700787402000 );
#20216 = CARTESIAN_POINT( '', ( -0.165000000000000, -6.40276873515062E-18, -0.0490000000000000 ) );
#20217 = AXIS2_PLACEMENT_3D( '', #23399, #23400, #23401 );
#20218 = CARTESIAN_POINT( '', ( -0.185000000000000, -6.40276873515062E-18, -0.0490000000000000 ) );
#20219 = CARTESIAN_POINT( '', ( 0.250000000000000, -6.07153216591882E-18, -0.0490000000000000 ) );
#20220 = VECTOR( '', #23402, 39.3700787402000 );
#20221 = AXIS2_PLACEMENT_3D( '', #23403, #23404, #23405 );
#20222 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20223 = CARTESIAN_POINT( '', ( -0.0650000000000001, -0.00700000000000001, -0.0490000000000000 ) );
#20224 = VECTOR( '', #23406, 39.3700787402000 );
#20225 = CARTESIAN_POINT( '', ( -0.0850000000000000, -0.00700000000000001, -0.0490000000000000 ) );
#20226 = VECTOR( '', #23407, 39.3700787402000 );
#20227 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20228 = CARTESIAN_POINT( '', ( 0.172000000000000, 0.133000000000000, 0.0100000000000000 ) );
#20229 = CARTESIAN_POINT( '', ( 0.160000000000000, 0.133000000000000, 0.0100000000000000 ) );
#20230 = CARTESIAN_POINT( '', ( 0.172000000000000, 0.133000000000000, 0.0100000000000000 ) );
#20231 = VECTOR( '', #23408, 39.3700787402000 );
#20232 = CARTESIAN_POINT( '', ( 0.160000000000000, 0.0300000000000000, 0.0100000000000000 ) );
#20233 = VECTOR( '', #23409, 39.3700787402000 );
#20234 = CARTESIAN_POINT( '', ( 0.172000000000000, 0.0300000000000000, 0.0100000000000000 ) );
#20235 = VECTOR( '', #23410, 39.3700787402000 );
#20236 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20237 = CARTESIAN_POINT( '', ( 0.0350000000000000, 6.07153216591882E-18, 0.0490000000000000 ) );
#20238 = VECTOR( '', #23411, 39.3700787402000 );
#20239 = CARTESIAN_POINT( '', ( 0.0150000000000000, 6.07153216591882E-18, 0.0490000000000000 ) );
#20240 = VECTOR( '', #23412, 39.3700787402000 );
#20241 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20242 = CARTESIAN_POINT( '', ( -0.0400000000000000, 0.133000000000000, 0.0400000000000000 ) );
#20243 = CARTESIAN_POINT( '', ( -0.0280000000000000, 0.133000000000000, 0.0400000000000000 ) );
#20244 = CARTESIAN_POINT( '', ( -0.0400000000000000, 0.133000000000000, 0.0400000000000000 ) );
#20245 = VECTOR( '', #23413, 39.3700787402000 );
#20246 = CARTESIAN_POINT( '', ( -0.0280000000000000, 0.0299999999999999, 0.0400000000000000 ) );
#20247 = CARTESIAN_POINT( '', ( -0.0280000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#20248 = VECTOR( '', #23414, 39.3700787402000 );
#20249 = CARTESIAN_POINT( '', ( -0.0400000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#20250 = VECTOR( '', #23415, 39.3700787402000 );
#20251 = CARTESIAN_POINT( '', ( -0.0400000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#20252 = VECTOR( '', #23416, 39.3700787402000 );
#20253 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20254 = CARTESIAN_POINT( '', ( -0.185000000000000, 0.00500000000000000, -0.0440000000000000 ) );
#20255 = VECTOR( '', #23417, 39.3700787402000 );
#20256 = CARTESIAN_POINT( '', ( -0.185000000000000, -6.07153216591882E-18, -0.0904500000000000 ) );
#20257 = VECTOR( '', #23418, 39.3700787402000 );
#20258 = AXIS2_PLACEMENT_3D( '', #23419, #23420, #23421 );
#20259 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20260 = CARTESIAN_POINT( '', ( -0.0780000000000000, 0.0299999999999999, 0.0400000000000000 ) );
#20261 = CARTESIAN_POINT( '', ( -0.0900000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#20262 = VECTOR( '', #23422, 39.3700787402000 );
#20263 = CARTESIAN_POINT( '', ( -0.0780000000000000, 0.0299999999999999, 0.0370000000000000 ) );
#20264 = CARTESIAN_POINT( '', ( -0.0780000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#20265 = VECTOR( '', #23423, 39.3700787402000 );
#20266 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.0299999999999999, 0.0370000000000000 ) );
#20267 = VECTOR( '', #23424, 39.3700787402000 );
#20268 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20269 = CARTESIAN_POINT( '', ( -0.0220000000000000, 0.133000000000000, 0.0400000000000000 ) );
#20270 = VECTOR( '', #23425, 39.3700787402000 );
#20271 = CARTESIAN_POINT( '', ( -0.0220000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#20272 = VECTOR( '', #23426, 39.3700787402000 );
#20273 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20274 = CARTESIAN_POINT( '', ( 0.0280000000000000, 0.0300000000000000, 0.0330000000000000 ) );
#20275 = VECTOR( '', #23427, 39.3700787402000 );
#20276 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20277 = CARTESIAN_POINT( '', ( -0.115000000000000, -0.00700000000000001, -0.0490000000000000 ) );
#20278 = AXIS2_PLACEMENT_3D( '', #23428, #23429, #23430 );
#20279 = CARTESIAN_POINT( '', ( -0.115000000000000, -0.00700000000000001, -0.0490000000000000 ) );
#20280 = VECTOR( '', #23431, 39.3700787402000 );
#20281 = CARTESIAN_POINT( '', ( -0.115000000000000, -6.40276873515062E-18, -0.0490000000000000 ) );
#20282 = CARTESIAN_POINT( '', ( -0.115000000000000, -6.07153216591882E-18, -0.0904500000000000 ) );
#20283 = VECTOR( '', #23432, 39.3700787402000 );
#20284 = CARTESIAN_POINT( '', ( -0.115000000000000, 0.00500000000000000, -0.0440000000000000 ) );
#20285 = AXIS2_PLACEMENT_3D( '', #23433, #23434, #23435 );
#20286 = CARTESIAN_POINT( '', ( -0.115000000000000, 0.00500000000000000, -0.0440000000000000 ) );
#20287 = VECTOR( '', #23436, 39.3700787402000 );
#20288 = CARTESIAN_POINT( '', ( -0.115000000000000, 0.0300000000000000, 0.131000000000000 ) );
#20289 = VECTOR( '', #23437, 39.3700787402000 );
#20290 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20291 = CARTESIAN_POINT( '', ( -0.215000000000000, -0.00700000000000001, -0.0490000000000000 ) );
#20292 = VECTOR( '', #23438, 39.3700787402000 );
#20293 = CARTESIAN_POINT( '', ( -0.215000000000000, -6.07153216591882E-18, -0.0904500000000000 ) );
#20294 = VECTOR( '', #23439, 39.3700787402000 );
#20295 = CARTESIAN_POINT( '', ( -0.215000000000000, 0.00500000000000000, -0.0440000000000000 ) );
#20296 = VECTOR( '', #23440, 39.3700787402000 );
#20297 = CARTESIAN_POINT( '', ( -0.215000000000000, 0.0300000000000000, 0.131000000000000 ) );
#20298 = VECTOR( '', #23441, 39.3700787402000 );
#20299 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#20300 = CARTESIAN_POINT( '', ( 0.113000000000000, 0.172000000000000, -0.0370000000000000 ) );
#20301 = VECTOR( '', #23442, 39.3700787402000 );
#20302 = CARTESIAN_POINT( '', ( 0.137000000000000, 0.172000000000000, -0.0370000000000000 ) );
#20303 = VECTOR( '', #23443, 39.3700787402000 );
#20304 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20305 = CARTESIAN_POINT( '', ( -0.178000000000000, 0.133000000000000, 0.0170000000000000 ) );
#20306 = CARTESIAN_POINT( '', ( -0.178000000000000, 0.133000000000000, 0.0170000000000000 ) );
#20307 = VECTOR( '', #23444, 39.3700787402000 );
#20308 = CARTESIAN_POINT( '', ( -0.178000000000000, 0.0300000000000000, 0.0170000000000000 ) );
#20309 = VECTOR( '', #23445, 39.3700787402000 );
#20310 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20311 = CARTESIAN_POINT( '', ( -0.228000000000000, 0.133000000000000, -0.0400000000000000 ) );
#20312 = CARTESIAN_POINT( '', ( -0.240000000000000, 0.133000000000000, -0.0400000000000000 ) );
#20313 = CARTESIAN_POINT( '', ( -0.228000000000000, 0.133000000000000, -0.0400000000000000 ) );
#20314 = VECTOR( '', #23446, 39.3700787402000 );
#20315 = CARTESIAN_POINT( '', ( -0.240000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#20316 = VECTOR( '', #23447, 39.3700787402000 );
#20317 = CARTESIAN_POINT( '', ( -0.228000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#20318 = CARTESIAN_POINT( '', ( -0.228000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#20319 = VECTOR( '', #23448, 39.3700787402000 );
#20320 = CARTESIAN_POINT( '', ( -0.228000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#20321 = VECTOR( '', #23449, 39.3700787402000 );
#20322 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20323 = CARTESIAN_POINT( '', ( 0.228000000000000, 0.133000000000000, 0.0330000000000000 ) );
#20324 = CARTESIAN_POINT( '', ( 0.228000000000000, 0.133000000000000, 0.0400000000000000 ) );
#20325 = CARTESIAN_POINT( '', ( 0.228000000000000, 0.133000000000000, 0.0330000000000000 ) );
#20326 = VECTOR( '', #23450, 39.3700787402000 );
#20327 = CARTESIAN_POINT( '', ( 0.228000000000000, 0.0299999999999999, 0.0400000000000000 ) );
#20328 = CARTESIAN_POINT( '', ( 0.228000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#20329 = VECTOR( '', #23451, 39.3700787402000 );
#20330 = CARTESIAN_POINT( '', ( 0.228000000000000, 0.0299999999999999, 0.0370000000000000 ) );
#20331 = CARTESIAN_POINT( '', ( 0.228000000000000, 0.0300000000000000, 0.0330000000000000 ) );
#20332 = VECTOR( '', #23452, 39.3700787402000 );
#20333 = CARTESIAN_POINT( '', ( 0.228000000000000, 0.0300000000000000, 0.0330000000000000 ) );
#20334 = CARTESIAN_POINT( '', ( 0.228000000000000, 0.0300000000000000, 0.0330000000000000 ) );
#20335 = VECTOR( '', #23453, 39.3700787402000 );
#20336 = CARTESIAN_POINT( '', ( 0.228000000000000, 0.0300000000000000, 0.0330000000000000 ) );
#20337 = VECTOR( '', #23454, 39.3700787402000 );
#20338 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20339 = CARTESIAN_POINT( '', ( -0.122000000000000, 0.133000000000000, 0.0400000000000000 ) );
#20340 = CARTESIAN_POINT( '', ( -0.122000000000000, 0.133000000000000, 0.0400000000000000 ) );
#20341 = VECTOR( '', #23455, 39.3700787402000 );
#20342 = CARTESIAN_POINT( '', ( -0.122000000000000, 0.0299999999999999, 0.0400000000000000 ) );
#20343 = CARTESIAN_POINT( '', ( -0.122000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#20344 = VECTOR( '', #23456, 39.3700787402000 );
#20345 = CARTESIAN_POINT( '', ( -0.122000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#20346 = VECTOR( '', #23457, 39.3700787402000 );
#20347 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20348 = CARTESIAN_POINT( '', ( 0.135000000000000, -6.07153216591882E-18, -0.0904500000000000 ) );
#20349 = CARTESIAN_POINT( '', ( 0.135000000000000, -6.40276873515062E-18, -0.0490000000000000 ) );
#20350 = CARTESIAN_POINT( '', ( 0.135000000000000, -6.07153216591882E-18, -0.0904500000000000 ) );
#20351 = VECTOR( '', #23458, 39.3700787402000 );
#20352 = CARTESIAN_POINT( '', ( 0.115000000000000, -6.07153216591882E-18, -0.0904500000000000 ) );
#20353 = CARTESIAN_POINT( '', ( 0.250000000000000, -6.40276873515062E-18, -0.0904500000000000 ) );
#20354 = VECTOR( '', #23459, 39.3700787402000 );
#20355 = CARTESIAN_POINT( '', ( 0.115000000000000, -6.40276873515062E-18, -0.0490000000000000 ) );
#20356 = CARTESIAN_POINT( '', ( 0.115000000000000, -6.07153216591882E-18, -0.0904500000000000 ) );
#20357 = VECTOR( '', #23460, 39.3700787402000 );
#20358 = CARTESIAN_POINT( '', ( 0.250000000000000, -6.07153216591882E-18, -0.0490000000000000 ) );
#20359 = VECTOR( '', #23461, 39.3700787402000 );
#20360 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20361 = CARTESIAN_POINT( '', ( 0.228000000000000, 0.133000000000000, 0.0100000000000000 ) );
#20362 = CARTESIAN_POINT( '', ( 0.228000000000000, 0.133000000000000, 0.0170000000000000 ) );
#20363 = CARTESIAN_POINT( '', ( 0.228000000000000, 0.133000000000000, 0.0100000000000000 ) );
#20364 = VECTOR( '', #23462, 39.3700787402000 );
#20365 = CARTESIAN_POINT( '', ( 0.228000000000000, 0.0300000000000000, 0.0170000000000000 ) );
#20366 = VECTOR( '', #23463, 39.3700787402000 );
#20367 = CARTESIAN_POINT( '', ( 0.228000000000000, 0.0300000000000000, 0.0100000000000000 ) );
#20368 = VECTOR( '', #23464, 39.3700787402000 );
#20369 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20370 = CARTESIAN_POINT( '', ( -0.172000000000000, 0.133000000000000, 0.0170000000000000 ) );
#20371 = CARTESIAN_POINT( '', ( -0.172000000000000, 0.133000000000000, 0.0170000000000000 ) );
#20372 = VECTOR( '', #23465, 39.3700787402000 );
#20373 = CARTESIAN_POINT( '', ( -0.172000000000000, 0.0300000000000000, 0.0170000000000000 ) );
#20374 = VECTOR( '', #23466, 39.3700787402000 );
#20375 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20376 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.0300000000000000, -0.0370000000000000 ) );
#20377 = VECTOR( '', #23467, 39.3700787402000 );
#20378 = CARTESIAN_POINT( '', ( 0.0220000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#20379 = CARTESIAN_POINT( '', ( 0.0220000000000000, 0.0300000000000000, -0.0330000000000000 ) );
#20380 = VECTOR( '', #23468, 39.3700787402000 );
#20381 = CARTESIAN_POINT( '', ( 0.0220000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#20382 = VECTOR( '', #23469, 39.3700787402000 );
#20383 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20384 = CARTESIAN_POINT( '', ( -0.135000000000000, 0.00500000000000000, -0.0440000000000000 ) );
#20385 = CARTESIAN_POINT( '', ( -0.135000000000000, 0.00500000000000000, -0.0440000000000000 ) );
#20386 = VECTOR( '', #23470, 39.3700787402000 );
#20387 = CARTESIAN_POINT( '', ( -0.135000000000000, -6.40276873515062E-18, -0.0490000000000000 ) );
#20388 = AXIS2_PLACEMENT_3D( '', #23471, #23472, #23473 );
#20389 = CARTESIAN_POINT( '', ( -0.135000000000000, -6.07153216591882E-18, -0.0904500000000000 ) );
#20390 = VECTOR( '', #23474, 39.3700787402000 );
#20391 = CARTESIAN_POINT( '', ( -0.135000000000000, -0.00700000000000001, -0.0490000000000000 ) );
#20392 = CARTESIAN_POINT( '', ( -0.135000000000000, -0.00700000000000001, -0.0490000000000000 ) );
#20393 = VECTOR( '', #23475, 39.3700787402000 );
#20394 = AXIS2_PLACEMENT_3D( '', #23476, #23477, #23478 );
#20395 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#20396 = CARTESIAN_POINT( '', ( -0.113000000000000, 0.172000000000000, -0.0370000000000000 ) );
#20397 = VECTOR( '', #23479, 39.3700787402000 );
#20398 = CARTESIAN_POINT( '', ( -0.113000000000000, 0.172000000000000, -0.0130000000000000 ) );
#20399 = VECTOR( '', #23480, 39.3700787402000 );
#20400 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#20401 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20402 = CARTESIAN_POINT( '', ( 0.0650000000000000, -6.07153216591882E-18, -0.0904500000000000 ) );
#20403 = CARTESIAN_POINT( '', ( 0.250000000000000, -6.40276873515062E-18, -0.0904500000000000 ) );
#20404 = VECTOR( '', #23481, 39.3700787402000 );
#20405 = CARTESIAN_POINT( '', ( 0.0650000000000000, -6.40276873515062E-18, -0.0490000000000000 ) );
#20406 = CARTESIAN_POINT( '', ( 0.0650000000000000, -6.07153216591882E-18, -0.0904500000000000 ) );
#20407 = VECTOR( '', #23482, 39.3700787402000 );
#20408 = CARTESIAN_POINT( '', ( 0.250000000000000, -6.07153216591882E-18, -0.0490000000000000 ) );
#20409 = VECTOR( '', #23483, 39.3700787402000 );
#20410 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20411 = CARTESIAN_POINT( '', ( -0.0720000000000000, 0.0299999999999999, 0.0370000000000000 ) );
#20412 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.0299999999999999, 0.0370000000000000 ) );
#20413 = VECTOR( '', #23484, 39.3700787402000 );
#20414 = CARTESIAN_POINT( '', ( -0.0720000000000000, 0.0300000000000000, 0.0330000000000000 ) );
#20415 = VECTOR( '', #23485, 39.3700787402000 );
#20416 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#20417 = CARTESIAN_POINT( '', ( 0.0630000000000000, 0.172000000000000, -0.0370000000000000 ) );
#20418 = VECTOR( '', #23486, 39.3700787402000 );
#20419 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#20420 = CARTESIAN_POINT( '', ( 0.107500000000000, 0.122000000000000, 0.000000000000000 ) );
#20421 = AXIS2_PLACEMENT_3D( '', #23487, #23488, #23489 );
#20422 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20423 = CARTESIAN_POINT( '', ( 0.0780000000000000, 0.133000000000000, -0.0330000000000000 ) );
#20424 = VECTOR( '', #23490, 39.3700787402000 );
#20425 = CARTESIAN_POINT( '', ( 0.0780000000000000, 0.0300000000000000, -0.0330000000000000 ) );
#20426 = VECTOR( '', #23491, 39.3700787402000 );
#20427 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20428 = CARTESIAN_POINT( '', ( 0.135000000000000, 0.00499999999999998, -0.0370000000000000 ) );
#20429 = CARTESIAN_POINT( '', ( 0.135000000000000, 0.0300000000000000, -0.0370000000000000 ) );
#20430 = VECTOR( '', #23492, 39.3700787402000 );
#20431 = CARTESIAN_POINT( '', ( 0.122000000000000, 0.0300000000000000, -0.0370000000000000 ) );
#20432 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.0300000000000000, -0.0370000000000000 ) );
#20433 = VECTOR( '', #23493, 39.3700787402000 );
#20434 = CARTESIAN_POINT( '', ( 0.115000000000000, 0.0300000000000000, -0.0370000000000000 ) );
#20435 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.0300000000000000, -0.0370000000000000 ) );
#20436 = VECTOR( '', #23494, 39.3700787402000 );
#20437 = CARTESIAN_POINT( '', ( 0.115000000000000, 0.00499999999999999, -0.0370000000000000 ) );
#20438 = CARTESIAN_POINT( '', ( 0.115000000000000, 0.0300000000000000, -0.0370000000000000 ) );
#20439 = VECTOR( '', #23495, 39.3700787402000 );
#20440 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.00499999999999998, -0.0370000000000000 ) );
#20441 = VECTOR( '', #23496, 39.3700787402000 );
#20442 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#20443 = CARTESIAN_POINT( '', ( -0.200000000000000, -0.0175000000000000, -0.0125000000000000 ) );
#20444 = AXIS2_PLACEMENT_3D( '', #23497, #23498, #23499 );
#20445 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20446 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.133000000000000, -0.0475000000000000 ) );
#20447 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.0300000000000000, -0.0475000000000000 ) );
#20448 = VECTOR( '', #23500, 39.3700787402000 );
#20449 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.133000000000000, 0.0475000000000000 ) );
#20450 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.133000000000000, 0.0475000000000000 ) );
#20451 = VECTOR( '', #23501, 39.3700787402000 );
#20452 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.0300000000000000, 0.0475000000000000 ) );
#20453 = VECTOR( '', #23502, 39.3700787402000 );
#20454 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20455 = CARTESIAN_POINT( '', ( 0.160000000000000, 0.133000000000000, 0.0400000000000000 ) );
#20456 = CARTESIAN_POINT( '', ( 0.172000000000000, 0.133000000000000, 0.0400000000000000 ) );
#20457 = CARTESIAN_POINT( '', ( 0.160000000000000, 0.133000000000000, 0.0400000000000000 ) );
#20458 = VECTOR( '', #23503, 39.3700787402000 );
#20459 = CARTESIAN_POINT( '', ( 0.172000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#20460 = VECTOR( '', #23504, 39.3700787402000 );
#20461 = CARTESIAN_POINT( '', ( 0.160000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#20462 = VECTOR( '', #23505, 39.3700787402000 );
#20463 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20464 = CARTESIAN_POINT( '', ( -0.185000000000000, 0.0300000000000000, 0.0370000000000000 ) );
#20465 = CARTESIAN_POINT( '', ( -0.185000000000000, 0.00499999999999999, 0.0370000000000000 ) );
#20466 = VECTOR( '', #23506, 39.3700787402000 );
#20467 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.0299999999999999, 0.0370000000000000 ) );
#20468 = VECTOR( '', #23507, 39.3700787402000 );
#20469 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.0299999999999999, 0.0370000000000000 ) );
#20470 = VECTOR( '', #23508, 39.3700787402000 );
#20471 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20472 = CARTESIAN_POINT( '', ( 0.210000000000000, 0.133000000000000, -0.0400000000000000 ) );
#20473 = CARTESIAN_POINT( '', ( 0.210000000000000, 0.133000000000000, -0.0100000000000000 ) );
#20474 = CARTESIAN_POINT( '', ( 0.210000000000000, 0.133000000000000, -0.0400000000000000 ) );
#20475 = VECTOR( '', #23509, 39.3700787402000 );
#20476 = CARTESIAN_POINT( '', ( 0.210000000000000, 0.0300000000000000, -0.0100000000000000 ) );
#20477 = VECTOR( '', #23510, 39.3700787402000 );
#20478 = CARTESIAN_POINT( '', ( 0.210000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#20479 = VECTOR( '', #23511, 39.3700787402000 );
#20480 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20481 = CARTESIAN_POINT( '', ( 0.0650000000000000, 0.00499999999999999, -0.0370000000000000 ) );
#20482 = CARTESIAN_POINT( '', ( 0.0650000000000000, 0.0300000000000000, -0.0370000000000000 ) );
#20483 = CARTESIAN_POINT( '', ( 0.0650000000000000, 0.0300000000000000, -0.0370000000000000 ) );
#20484 = VECTOR( '', #23512, 39.3700787402000 );
#20485 = CARTESIAN_POINT( '', ( 0.0650000000000000, 0.0300000000000000, 0.131000000000000 ) );
#20486 = VECTOR( '', #23513, 39.3700787402000 );
#20487 = CARTESIAN_POINT( '', ( 0.0650000000000000, 0.00500000000000000, -0.0440000000000000 ) );
#20488 = CARTESIAN_POINT( '', ( 0.0650000000000000, 0.00500000000000000, -0.0440000000000000 ) );
#20489 = VECTOR( '', #23514, 39.3700787402000 );
#20490 = AXIS2_PLACEMENT_3D( '', #23515, #23516, #23517 );
#20491 = CARTESIAN_POINT( '', ( 0.0650000000000000, -0.00700000000000001, -0.0904500000000000 ) );
#20492 = CARTESIAN_POINT( '', ( 0.0650000000000000, -0.00700000000000001, -0.0904500000000000 ) );
#20493 = VECTOR( '', #23518, 39.3700787402000 );
#20494 = CARTESIAN_POINT( '', ( 0.0650000000000000, -0.00700000000000001, -0.0490000000000000 ) );
#20495 = CARTESIAN_POINT( '', ( 0.0650000000000000, -0.00700000000000001, -0.0490000000000000 ) );
#20496 = VECTOR( '', #23519, 39.3700787402000 );
#20497 = AXIS2_PLACEMENT_3D( '', #23520, #23521, #23522 );
#20498 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20499 = AXIS2_PLACEMENT_3D( '', #23523, #23524, #23525 );
#20500 = CARTESIAN_POINT( '', ( -0.165000000000000, -6.07153216591882E-18, -0.0904500000000000 ) );
#20501 = VECTOR( '', #23526, 39.3700787402000 );
#20502 = CARTESIAN_POINT( '', ( -0.165000000000000, 0.00500000000000000, -0.0440000000000000 ) );
#20503 = VECTOR( '', #23527, 39.3700787402000 );
#20504 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#20505 = CARTESIAN_POINT( '', ( 0.0630000000000000, 0.172000000000000, -0.0130000000000000 ) );
#20506 = VECTOR( '', #23528, 39.3700787402000 );
#20507 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20508 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20509 = CARTESIAN_POINT( '', ( 0.222000000000000, 0.133000000000000, -0.0330000000000000 ) );
#20510 = CARTESIAN_POINT( '', ( 0.222000000000000, 0.133000000000000, -0.0400000000000000 ) );
#20511 = CARTESIAN_POINT( '', ( 0.222000000000000, 0.133000000000000, -0.0330000000000000 ) );
#20512 = VECTOR( '', #23529, 39.3700787402000 );
#20513 = CARTESIAN_POINT( '', ( 0.222000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#20514 = CARTESIAN_POINT( '', ( 0.222000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#20515 = VECTOR( '', #23530, 39.3700787402000 );
#20516 = CARTESIAN_POINT( '', ( 0.222000000000000, 0.0300000000000000, -0.0370000000000000 ) );
#20517 = CARTESIAN_POINT( '', ( 0.222000000000000, 0.0300000000000000, -0.0330000000000000 ) );
#20518 = VECTOR( '', #23531, 39.3700787402000 );
#20519 = CARTESIAN_POINT( '', ( 0.222000000000000, 0.0300000000000000, -0.0330000000000000 ) );
#20520 = CARTESIAN_POINT( '', ( 0.222000000000000, 0.0300000000000000, -0.0330000000000000 ) );
#20521 = VECTOR( '', #23532, 39.3700787402000 );
#20522 = CARTESIAN_POINT( '', ( 0.222000000000000, 0.0300000000000000, -0.0330000000000000 ) );
#20523 = VECTOR( '', #23533, 39.3700787402000 );
#20524 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20525 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.0300000000000000, 0.0370000000000000 ) );
#20526 = VECTOR( '', #23534, 39.3700787402000 );
#20527 = CARTESIAN_POINT( '', ( -0.0780000000000000, 0.0300000000000000, 0.0330000000000000 ) );
#20528 = CARTESIAN_POINT( '', ( -0.0780000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#20529 = VECTOR( '', #23535, 39.3700787402000 );
#20530 = CARTESIAN_POINT( '', ( -0.0720000000000000, 0.0300000000000000, 0.0330000000000000 ) );
#20531 = CARTESIAN_POINT( '', ( -0.0780000000000000, 0.0300000000000000, 0.0330000000000000 ) );
#20532 = VECTOR( '', #23536, 39.3700787402000 );
#20533 = CARTESIAN_POINT( '', ( -0.0720000000000000, 0.0300000000000000, 0.0330000000000000 ) );
#20534 = VECTOR( '', #23537, 39.3700787402000 );
#20535 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20536 = CARTESIAN_POINT( '', ( 0.240000000000000, 0.133000000000000, 0.0100000000000000 ) );
#20537 = CARTESIAN_POINT( '', ( 0.240000000000000, 0.133000000000000, 0.0100000000000000 ) );
#20538 = VECTOR( '', #23538, 39.3700787402000 );
#20539 = CARTESIAN_POINT( '', ( 0.240000000000000, 0.0300000000000000, 0.0100000000000000 ) );
#20540 = VECTOR( '', #23539, 39.3700787402000 );
#20541 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20542 = CARTESIAN_POINT( '', ( -0.122000000000000, 0.133000000000000, -0.0330000000000000 ) );
#20543 = CARTESIAN_POINT( '', ( -0.128000000000000, 0.133000000000000, -0.0330000000000000 ) );
#20544 = CARTESIAN_POINT( '', ( -0.122000000000000, 0.133000000000000, -0.0330000000000000 ) );
#20545 = VECTOR( '', #23540, 39.3700787402000 );
#20546 = CARTESIAN_POINT( '', ( -0.128000000000000, 0.0300000000000000, -0.0330000000000000 ) );
#20547 = VECTOR( '', #23541, 39.3700787402000 );
#20548 = CARTESIAN_POINT( '', ( -0.122000000000000, 0.0300000000000000, -0.0330000000000000 ) );
#20549 = VECTOR( '', #23542, 39.3700787402000 );
#20550 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#20551 = CARTESIAN_POINT( '', ( -0.137000000000000, 0.172000000000000, 0.0130000000000000 ) );
#20552 = VECTOR( '', #23543, 39.3700787402000 );
#20553 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20554 = CARTESIAN_POINT( '', ( 0.250000000000000, -0.00700000000000000, -0.0490000000000000 ) );
#20555 = VECTOR( '', #23544, 39.3700787402000 );
#20556 = CARTESIAN_POINT( '', ( 0.250000000000000, -0.00700000000000001, -0.0904500000000000 ) );
#20557 = VECTOR( '', #23545, 39.3700787402000 );
#20558 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#20559 = CARTESIAN_POINT( '', ( 0.252250000000000, 0.00500000000000000, 0.0555000000000000 ) );
#20560 = VECTOR( '', #23546, 39.3700787402000 );
#20561 = CARTESIAN_POINT( '', ( 0.252250000000000, 0.000000000000000, -0.0555000000000000 ) );
#20562 = CARTESIAN_POINT( '', ( 0.252250000000000, 0.000000000000000, -0.0555000000000000 ) );
#20563 = VECTOR( '', #23547, 39.3700787402000 );
#20564 = CARTESIAN_POINT( '', ( 0.252250000000000, 0.000000000000000, 0.0655000000000000 ) );
#20565 = VECTOR( '', #23548, 39.3700787402000 );
#20566 = CARTESIAN_POINT( '', ( 0.252250000000000, 0.172000000000000, 0.0655000000000000 ) );
#20567 = VECTOR( '', #23549, 39.3700787402000 );
#20568 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20569 = CARTESIAN_POINT( '', ( -0.210000000000000, 0.133000000000000, -0.0400000000000000 ) );
#20570 = CARTESIAN_POINT( '', ( -0.210000000000000, 0.133000000000000, -0.0100000000000000 ) );
#20571 = VECTOR( '', #23550, 39.3700787402000 );
#20572 = CARTESIAN_POINT( '', ( -0.210000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#20573 = VECTOR( '', #23551, 39.3700787402000 );
#20574 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20575 = CARTESIAN_POINT( '', ( -0.185000000000000, 0.00500000000000002, 0.0440000000000000 ) );
#20576 = CARTESIAN_POINT( '', ( -0.185000000000000, 0.0299999999999999, 0.0440000000000000 ) );
#20577 = VECTOR( '', #23552, 39.3700787402000 );
#20578 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.00500000000000002, 0.0440000000000000 ) );
#20579 = VECTOR( '', #23553, 39.3700787402000 );
#20580 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20581 = CARTESIAN_POINT( '', ( -0.0900000000000000, 0.133000000000000, 0.000000000000000 ) );
#20582 = AXIS2_PLACEMENT_3D( '', #23554, #23555, #23556 );
#20583 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20584 = CARTESIAN_POINT( '', ( 0.250000000000000, -0.00700000000000000, -0.0490000000000000 ) );
#20585 = VECTOR( '', #23557, 39.3700787402000 );
#20586 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20587 = CARTESIAN_POINT( '', ( -0.222000000000000, 0.133000000000000, 0.0100000000000000 ) );
#20588 = CARTESIAN_POINT( '', ( -0.222000000000000, 0.133000000000000, 0.0100000000000000 ) );
#20589 = VECTOR( '', #23558, 39.3700787402000 );
#20590 = CARTESIAN_POINT( '', ( -0.222000000000000, 0.0300000000000000, 0.0100000000000000 ) );
#20591 = VECTOR( '', #23559, 39.3700787402000 );
#20592 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20593 = CARTESIAN_POINT( '', ( 0.185000000000000, -0.00700000000000001, -0.0904500000000000 ) );
#20594 = CARTESIAN_POINT( '', ( 0.185000000000000, -0.00700000000000001, -0.0490000000000000 ) );
#20595 = VECTOR( '', #23560, 39.3700787402000 );
#20596 = CARTESIAN_POINT( '', ( 0.165000000000000, -0.00700000000000001, -0.0904500000000000 ) );
#20597 = CARTESIAN_POINT( '', ( 0.165000000000000, -0.00700000000000001, -0.0490000000000000 ) );
#20598 = VECTOR( '', #23561, 39.3700787402000 );
#20599 = CARTESIAN_POINT( '', ( 0.250000000000000, -0.00700000000000001, -0.0904500000000000 ) );
#20600 = VECTOR( '', #23562, 39.3700787402000 );
#20601 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#20602 = CARTESIAN_POINT( '', ( -0.187000000000000, 0.172000000000000, -0.0130000000000000 ) );
#20603 = VECTOR( '', #23563, 39.3700787402000 );
#20604 = CARTESIAN_POINT( '', ( -0.187000000000000, 0.172000000000000, -0.0370000000000000 ) );
#20605 = VECTOR( '', #23564, 39.3700787402000 );
#20606 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20607 = CARTESIAN_POINT( '', ( -0.190000000000000, 0.133000000000000, -0.0400000000000000 ) );
#20608 = CARTESIAN_POINT( '', ( -0.190000000000000, 0.133000000000000, -0.0100000000000000 ) );
#20609 = CARTESIAN_POINT( '', ( -0.190000000000000, 0.133000000000000, -0.0400000000000000 ) );
#20610 = VECTOR( '', #23565, 39.3700787402000 );
#20611 = CARTESIAN_POINT( '', ( -0.190000000000000, 0.0300000000000000, -0.0100000000000000 ) );
#20612 = VECTOR( '', #23566, 39.3700787402000 );
#20613 = CARTESIAN_POINT( '', ( -0.190000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#20614 = VECTOR( '', #23567, 39.3700787402000 );
#20615 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20616 = CARTESIAN_POINT( '', ( 0.0350000000000000, 0.0300000000000000, 0.131000000000000 ) );
#20617 = VECTOR( '', #23568, 39.3700787402000 );
#20618 = CARTESIAN_POINT( '', ( 0.0350000000000000, 0.0299999999999999, 0.0440000000000000 ) );
#20619 = VECTOR( '', #23569, 39.3700787402000 );
#20620 = CARTESIAN_POINT( '', ( 0.0350000000000000, -0.00700000000000001, 0.0490000000000000 ) );
#20621 = CARTESIAN_POINT( '', ( 0.0350000000000000, -0.00700000000000001, 0.0904500000000000 ) );
#20622 = VECTOR( '', #23570, 39.3700787402000 );
#20623 = AXIS2_PLACEMENT_3D( '', #23571, #23572, #23573 );
#20624 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20625 = CARTESIAN_POINT( '', ( -0.0350000000000000, -0.00700000000000001, 0.0904500000000000 ) );
#20626 = CARTESIAN_POINT( '', ( -0.0350000000000000, 6.07153216591882E-18, 0.0904500000000000 ) );
#20627 = VECTOR( '', #23574, 39.3700787402000 );
#20628 = CARTESIAN_POINT( '', ( 0.250000000000000, -0.00700000000000001, 0.0904500000000000 ) );
#20629 = VECTOR( '', #23575, 39.3700787402000 );
#20630 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20631 = CARTESIAN_POINT( '', ( -0.0780000000000000, 0.133000000000000, 0.0400000000000000 ) );
#20632 = CARTESIAN_POINT( '', ( -0.0780000000000000, 0.133000000000000, 0.0330000000000000 ) );
#20633 = CARTESIAN_POINT( '', ( -0.0780000000000000, 0.133000000000000, 0.0400000000000000 ) );
#20634 = VECTOR( '', #23576, 39.3700787402000 );
#20635 = CARTESIAN_POINT( '', ( -0.0780000000000000, 0.0300000000000000, 0.0330000000000000 ) );
#20636 = VECTOR( '', #23577, 39.3700787402000 );
#20637 = CARTESIAN_POINT( '', ( -0.0780000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#20638 = VECTOR( '', #23578, 39.3700787402000 );
#20639 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20640 = CARTESIAN_POINT( '', ( -0.0850000000000000, 0.0300000000000000, -0.0370000000000000 ) );
#20641 = CARTESIAN_POINT( '', ( -0.0850000000000000, 0.0300000000000000, -0.0370000000000000 ) );
#20642 = VECTOR( '', #23579, 39.3700787402000 );
#20643 = CARTESIAN_POINT( '', ( -0.0850000000000000, 0.0300000000000000, 0.131000000000000 ) );
#20644 = VECTOR( '', #23580, 39.3700787402000 );
#20645 = CARTESIAN_POINT( '', ( -0.0850000000000000, 0.00500000000000000, -0.0440000000000000 ) );
#20646 = CARTESIAN_POINT( '', ( -0.0850000000000000, 0.00500000000000000, -0.0440000000000000 ) );
#20647 = VECTOR( '', #23581, 39.3700787402000 );
#20648 = CARTESIAN_POINT( '', ( -0.0850000000000000, -6.40276873515062E-18, -0.0490000000000000 ) );
#20649 = AXIS2_PLACEMENT_3D( '', #23582, #23583, #23584 );
#20650 = CARTESIAN_POINT( '', ( -0.0850000000000000, -6.07153216591882E-18, -0.0904500000000000 ) );
#20651 = VECTOR( '', #23585, 39.3700787402000 );
#20652 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20653 = CARTESIAN_POINT( '', ( -0.240000000000000, 0.133000000000000, -0.0100000000000000 ) );
#20654 = CARTESIAN_POINT( '', ( -0.240000000000000, 0.133000000000000, -0.0100000000000000 ) );
#20655 = VECTOR( '', #23586, 39.3700787402000 );
#20656 = CARTESIAN_POINT( '', ( -0.240000000000000, 0.0300000000000000, -0.0100000000000000 ) );
#20657 = VECTOR( '', #23587, 39.3700787402000 );
#20658 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#20659 = CARTESIAN_POINT( '', ( -0.213000000000000, 0.172000000000000, 0.0130000000000000 ) );
#20660 = VECTOR( '', #23588, 39.3700787402000 );
#20661 = CARTESIAN_POINT( '', ( -0.213000000000000, 0.172000000000000, 0.0370000000000000 ) );
#20662 = VECTOR( '', #23589, 39.3700787402000 );
#20663 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20664 = CARTESIAN_POINT( '', ( 0.0720000000000000, 0.133000000000000, -0.0170000000000000 ) );
#20665 = CARTESIAN_POINT( '', ( 0.0720000000000000, 0.133000000000000, -0.0100000000000000 ) );
#20666 = VECTOR( '', #23590, 39.3700787402000 );
#20667 = CARTESIAN_POINT( '', ( 0.0720000000000000, 0.0300000000000000, -0.0170000000000000 ) );
#20668 = VECTOR( '', #23591, 39.3700787402000 );
#20669 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20670 = CARTESIAN_POINT( '', ( 0.0720000000000000, 0.133000000000000, 0.0400000000000000 ) );
#20671 = CARTESIAN_POINT( '', ( 0.0720000000000000, 0.133000000000000, 0.0330000000000000 ) );
#20672 = CARTESIAN_POINT( '', ( 0.0720000000000000, 0.133000000000000, 0.0400000000000000 ) );
#20673 = VECTOR( '', #23592, 39.3700787402000 );
#20674 = CARTESIAN_POINT( '', ( 0.0720000000000000, 0.0300000000000000, 0.0330000000000000 ) );
#20675 = CARTESIAN_POINT( '', ( 0.0720000000000000, 0.0300000000000000, 0.0330000000000000 ) );
#20676 = VECTOR( '', #23593, 39.3700787402000 );
#20677 = CARTESIAN_POINT( '', ( 0.0720000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#20678 = VECTOR( '', #23594, 39.3700787402000 );
#20679 = CARTESIAN_POINT( '', ( 0.0720000000000000, 0.0299999999999999, 0.0400000000000000 ) );
#20680 = CARTESIAN_POINT( '', ( 0.0720000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#20681 = VECTOR( '', #23595, 39.3700787402000 );
#20682 = CARTESIAN_POINT( '', ( 0.0720000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#20683 = VECTOR( '', #23596, 39.3700787402000 );
#20684 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20685 = CARTESIAN_POINT( '', ( -0.128000000000000, 0.133000000000000, 0.0400000000000000 ) );
#20686 = CARTESIAN_POINT( '', ( -0.140000000000000, 0.133000000000000, 0.0400000000000000 ) );
#20687 = VECTOR( '', #23597, 39.3700787402000 );
#20688 = CARTESIAN_POINT( '', ( -0.128000000000000, 0.0299999999999999, 0.0400000000000000 ) );
#20689 = CARTESIAN_POINT( '', ( -0.128000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#20690 = VECTOR( '', #23598, 39.3700787402000 );
#20691 = CARTESIAN_POINT( '', ( -0.140000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#20692 = VECTOR( '', #23599, 39.3700787402000 );
#20693 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20694 = CARTESIAN_POINT( '', ( -0.210000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#20695 = VECTOR( '', #23600, 39.3700787402000 );
#20696 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20697 = CARTESIAN_POINT( '', ( -0.110000000000000, 0.133000000000000, -0.0400000000000000 ) );
#20698 = CARTESIAN_POINT( '', ( -0.122000000000000, 0.133000000000000, -0.0400000000000000 ) );
#20699 = CARTESIAN_POINT( '', ( -0.110000000000000, 0.133000000000000, -0.0400000000000000 ) );
#20700 = VECTOR( '', #23601, 39.3700787402000 );
#20701 = CARTESIAN_POINT( '', ( -0.122000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#20702 = CARTESIAN_POINT( '', ( -0.122000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#20703 = VECTOR( '', #23602, 39.3700787402000 );
#20704 = CARTESIAN_POINT( '', ( -0.110000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#20705 = VECTOR( '', #23603, 39.3700787402000 );
#20706 = CARTESIAN_POINT( '', ( -0.110000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#20707 = VECTOR( '', #23604, 39.3700787402000 );
#20708 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20709 = CARTESIAN_POINT( '', ( -0.115000000000000, -0.00700000000000001, 0.0490000000000000 ) );
#20710 = CARTESIAN_POINT( '', ( -0.115000000000000, 0.00500000000000000, 0.0370000000000000 ) );
#20711 = AXIS2_PLACEMENT_3D( '', #23605, #23606, #23607 );
#20712 = CARTESIAN_POINT( '', ( 0.250000000000000, -0.00700000000000001, 0.0490000000000000 ) );
#20713 = VECTOR( '', #23608, 39.3700787402000 );
#20714 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.00499999999999999, 0.0370000000000000 ) );
#20715 = VECTOR( '', #23609, 39.3700787402000 );
#20716 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20717 = CARTESIAN_POINT( '', ( 0.128000000000000, 0.133000000000000, -0.0400000000000000 ) );
#20718 = CARTESIAN_POINT( '', ( 0.128000000000000, 0.133000000000000, -0.0400000000000000 ) );
#20719 = VECTOR( '', #23610, 39.3700787402000 );
#20720 = CARTESIAN_POINT( '', ( 0.128000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#20721 = VECTOR( '', #23611, 39.3700787402000 );
#20722 = CARTESIAN_POINT( '', ( 0.128000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#20723 = VECTOR( '', #23612, 39.3700787402000 );
#20724 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20725 = CARTESIAN_POINT( '', ( -0.0150000000000000, -0.00700000000000001, -0.0490000000000000 ) );
#20726 = CARTESIAN_POINT( '', ( -0.0150000000000000, -0.00700000000000001, -0.0490000000000000 ) );
#20727 = VECTOR( '', #23613, 39.3700787402000 );
#20728 = CARTESIAN_POINT( '', ( -0.0350000000000000, -0.00700000000000001, -0.0490000000000000 ) );
#20729 = CARTESIAN_POINT( '', ( 0.250000000000000, -0.00700000000000000, -0.0490000000000000 ) );
#20730 = VECTOR( '', #23614, 39.3700787402000 );
#20731 = CARTESIAN_POINT( '', ( -0.0350000000000000, -0.00700000000000001, -0.0490000000000000 ) );
#20732 = VECTOR( '', #23615, 39.3700787402000 );
#20733 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20734 = CARTESIAN_POINT( '', ( 0.228000000000000, 0.133000000000000, -0.0170000000000000 ) );
#20735 = VECTOR( '', #23616, 39.3700787402000 );
#20736 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20737 = CARTESIAN_POINT( '', ( 0.250000000000000, -0.00700000000000001, -0.0904500000000000 ) );
#20738 = VECTOR( '', #23617, 39.3700787402000 );
#20739 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20740 = CARTESIAN_POINT( '', ( -0.0900000000000000, 0.133000000000000, 0.0400000000000000 ) );
#20741 = VECTOR( '', #23618, 39.3700787402000 );
#20742 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20743 = CARTESIAN_POINT( '', ( 0.250000000000000, -0.00700000000000001, 0.0904500000000000 ) );
#20744 = VECTOR( '', #23619, 39.3700787402000 );
#20745 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20746 = CARTESIAN_POINT( '', ( 0.215000000000000, 0.00500000000000000, -0.0440000000000000 ) );
#20747 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.00500000000000000, -0.0440000000000000 ) );
#20748 = VECTOR( '', #23620, 39.3700787402000 );
#20749 = CARTESIAN_POINT( '', ( 0.215000000000000, 0.00500000000000000, -0.0440000000000000 ) );
#20750 = VECTOR( '', #23621, 39.3700787402000 );
#20751 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20752 = CARTESIAN_POINT( '', ( 0.222000000000000, 0.133000000000000, 0.0400000000000000 ) );
#20753 = CARTESIAN_POINT( '', ( 0.210000000000000, 0.133000000000000, 0.0400000000000000 ) );
#20754 = VECTOR( '', #23622, 39.3700787402000 );
#20755 = CARTESIAN_POINT( '', ( 0.222000000000000, 0.0299999999999999, 0.0400000000000000 ) );
#20756 = CARTESIAN_POINT( '', ( 0.222000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#20757 = VECTOR( '', #23623, 39.3700787402000 );
#20758 = CARTESIAN_POINT( '', ( 0.210000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#20759 = VECTOR( '', #23624, 39.3700787402000 );
#20760 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20761 = CARTESIAN_POINT( '', ( 0.0220000000000000, 0.133000000000000, -0.0400000000000000 ) );
#20762 = CARTESIAN_POINT( '', ( 0.0220000000000000, 0.133000000000000, -0.0330000000000000 ) );
#20763 = VECTOR( '', #23625, 39.3700787402000 );
#20764 = CARTESIAN_POINT( '', ( 0.0220000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#20765 = VECTOR( '', #23626, 39.3700787402000 );
#20766 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20767 = CARTESIAN_POINT( '', ( -0.00999999999999997, 0.133000000000000, -0.0400000000000000 ) );
#20768 = CARTESIAN_POINT( '', ( -0.0220000000000000, 0.133000000000000, -0.0400000000000000 ) );
#20769 = CARTESIAN_POINT( '', ( -0.00999999999999997, 0.133000000000000, -0.0400000000000000 ) );
#20770 = VECTOR( '', #23627, 39.3700787402000 );
#20771 = CARTESIAN_POINT( '', ( -0.0220000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#20772 = CARTESIAN_POINT( '', ( -0.0220000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#20773 = VECTOR( '', #23628, 39.3700787402000 );
#20774 = CARTESIAN_POINT( '', ( -0.00999999999999997, 0.0300000000000000, -0.0400000000000000 ) );
#20775 = VECTOR( '', #23629, 39.3700787402000 );
#20776 = CARTESIAN_POINT( '', ( -0.00999999999999997, 0.0300000000000000, -0.0400000000000000 ) );
#20777 = VECTOR( '', #23630, 39.3700787402000 );
#20778 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20779 = CARTESIAN_POINT( '', ( 0.222000000000000, 0.133000000000000, 0.0100000000000000 ) );
#20780 = CARTESIAN_POINT( '', ( 0.222000000000000, 0.133000000000000, 0.0100000000000000 ) );
#20781 = VECTOR( '', #23631, 39.3700787402000 );
#20782 = CARTESIAN_POINT( '', ( 0.222000000000000, 0.0300000000000000, 0.0100000000000000 ) );
#20783 = VECTOR( '', #23632, 39.3700787402000 );
#20784 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20785 = CARTESIAN_POINT( '', ( 0.135000000000000, -0.00700000000000001, -0.0904500000000000 ) );
#20786 = CARTESIAN_POINT( '', ( 0.135000000000000, -0.00700000000000001, -0.0904500000000000 ) );
#20787 = VECTOR( '', #23633, 39.3700787402000 );
#20788 = CARTESIAN_POINT( '', ( 0.115000000000000, -0.00700000000000001, -0.0904500000000000 ) );
#20789 = CARTESIAN_POINT( '', ( 0.250000000000000, -0.00700000000000001, -0.0904500000000000 ) );
#20790 = VECTOR( '', #23634, 39.3700787402000 );
#20791 = CARTESIAN_POINT( '', ( 0.115000000000000, -0.00700000000000001, -0.0904500000000000 ) );
#20792 = VECTOR( '', #23635, 39.3700787402000 );
#20793 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20794 = CARTESIAN_POINT( '', ( 0.215000000000000, 0.00499999999999999, -0.0370000000000000 ) );
#20795 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.00499999999999998, -0.0370000000000000 ) );
#20796 = VECTOR( '', #23636, 39.3700787402000 );
#20797 = CARTESIAN_POINT( '', ( 0.215000000000000, -0.00700000000000001, -0.0490000000000000 ) );
#20798 = AXIS2_PLACEMENT_3D( '', #23637, #23638, #23639 );
#20799 = CARTESIAN_POINT( '', ( 0.250000000000000, -0.00700000000000000, -0.0490000000000000 ) );
#20800 = VECTOR( '', #23640, 39.3700787402000 );
#20801 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20802 = CARTESIAN_POINT( '', ( 0.0780000000000000, 0.133000000000000, 0.0400000000000000 ) );
#20803 = CARTESIAN_POINT( '', ( 0.0900000000000000, 0.133000000000000, 0.0400000000000000 ) );
#20804 = CARTESIAN_POINT( '', ( 0.0780000000000000, 0.133000000000000, 0.0400000000000000 ) );
#20805 = VECTOR( '', #23641, 39.3700787402000 );
#20806 = CARTESIAN_POINT( '', ( 0.0900000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#20807 = VECTOR( '', #23642, 39.3700787402000 );
#20808 = CARTESIAN_POINT( '', ( 0.0780000000000000, 0.0299999999999999, 0.0400000000000000 ) );
#20809 = CARTESIAN_POINT( '', ( 0.0780000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#20810 = VECTOR( '', #23643, 39.3700787402000 );
#20811 = CARTESIAN_POINT( '', ( 0.0780000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#20812 = VECTOR( '', #23644, 39.3700787402000 );
#20813 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20814 = CARTESIAN_POINT( '', ( 0.185000000000000, -0.00700000000000001, -0.0904500000000000 ) );
#20815 = VECTOR( '', #23645, 39.3700787402000 );
#20816 = CARTESIAN_POINT( '', ( 0.165000000000000, -0.00700000000000001, -0.0904500000000000 ) );
#20817 = VECTOR( '', #23646, 39.3700787402000 );
#20818 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20819 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.00499999999999998, -0.0370000000000000 ) );
#20820 = VECTOR( '', #23647, 39.3700787402000 );
#20821 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20822 = CARTESIAN_POINT( '', ( 0.240000000000000, 0.133000000000000, -0.0400000000000000 ) );
#20823 = CARTESIAN_POINT( '', ( 0.240000000000000, 0.133000000000000, -0.0100000000000000 ) );
#20824 = VECTOR( '', #23648, 39.3700787402000 );
#20825 = CARTESIAN_POINT( '', ( 0.240000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#20826 = VECTOR( '', #23649, 39.3700787402000 );
#20827 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20828 = AXIS2_PLACEMENT_3D( '', #23650, #23651, #23652 );
#20829 = AXIS2_PLACEMENT_3D( '', #23653, #23654, #23655 );
#20830 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20831 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.0300000000000000, -0.0370000000000000 ) );
#20832 = VECTOR( '', #23656, 39.3700787402000 );
#20833 = CARTESIAN_POINT( '', ( 0.0720000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#20834 = VECTOR( '', #23657, 39.3700787402000 );
#20835 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20836 = CARTESIAN_POINT( '', ( 0.0280000000000000, 0.133000000000000, 0.0400000000000000 ) );
#20837 = CARTESIAN_POINT( '', ( 0.0400000000000000, 0.133000000000000, 0.0400000000000000 ) );
#20838 = CARTESIAN_POINT( '', ( 0.0280000000000000, 0.133000000000000, 0.0400000000000000 ) );
#20839 = VECTOR( '', #23658, 39.3700787402000 );
#20840 = CARTESIAN_POINT( '', ( 0.0400000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#20841 = VECTOR( '', #23659, 39.3700787402000 );
#20842 = CARTESIAN_POINT( '', ( 0.0280000000000000, 0.0299999999999999, 0.0400000000000000 ) );
#20843 = CARTESIAN_POINT( '', ( 0.0280000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#20844 = VECTOR( '', #23660, 39.3700787402000 );
#20845 = CARTESIAN_POINT( '', ( 0.0280000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#20846 = VECTOR( '', #23661, 39.3700787402000 );
#20847 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20848 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20849 = CARTESIAN_POINT( '', ( -0.210000000000000, 0.133000000000000, 0.0100000000000000 ) );
#20850 = VECTOR( '', #23662, 39.3700787402000 );
#20851 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20852 = CARTESIAN_POINT( '', ( 0.0280000000000000, 0.0300000000000000, 0.0330000000000000 ) );
#20853 = VECTOR( '', #23663, 39.3700787402000 );
#20854 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#20855 = CARTESIAN_POINT( '', ( -0.0425000000000000, 0.122000000000000, 0.000000000000000 ) );
#20856 = AXIS2_PLACEMENT_3D( '', #23664, #23665, #23666 );
#20857 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20858 = CARTESIAN_POINT( '', ( -0.128000000000000, 0.133000000000000, 0.0330000000000000 ) );
#20859 = CARTESIAN_POINT( '', ( -0.122000000000000, 0.133000000000000, 0.0330000000000000 ) );
#20860 = CARTESIAN_POINT( '', ( -0.128000000000000, 0.133000000000000, 0.0330000000000000 ) );
#20861 = VECTOR( '', #23667, 39.3700787402000 );
#20862 = CARTESIAN_POINT( '', ( -0.122000000000000, 0.0300000000000000, 0.0330000000000000 ) );
#20863 = CARTESIAN_POINT( '', ( -0.122000000000000, 0.0300000000000000, 0.0330000000000000 ) );
#20864 = VECTOR( '', #23668, 39.3700787402000 );
#20865 = CARTESIAN_POINT( '', ( -0.128000000000000, 0.0300000000000000, 0.0330000000000000 ) );
#20866 = CARTESIAN_POINT( '', ( -0.128000000000000, 0.0300000000000000, 0.0330000000000000 ) );
#20867 = VECTOR( '', #23669, 39.3700787402000 );
#20868 = CARTESIAN_POINT( '', ( -0.128000000000000, 0.0300000000000000, 0.0330000000000000 ) );
#20869 = VECTOR( '', #23670, 39.3700787402000 );
#20870 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20871 = CARTESIAN_POINT( '', ( 0.122000000000000, 0.0300000000000000, -0.0330000000000000 ) );
#20872 = VECTOR( '', #23671, 39.3700787402000 );
#20873 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20874 = CARTESIAN_POINT( '', ( -0.128000000000000, 0.133000000000000, 0.0400000000000000 ) );
#20875 = VECTOR( '', #23672, 39.3700787402000 );
#20876 = CARTESIAN_POINT( '', ( -0.128000000000000, 0.0299999999999999, 0.0370000000000000 ) );
#20877 = CARTESIAN_POINT( '', ( -0.128000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#20878 = VECTOR( '', #23673, 39.3700787402000 );
#20879 = CARTESIAN_POINT( '', ( -0.128000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#20880 = VECTOR( '', #23674, 39.3700787402000 );
#20881 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20882 = CARTESIAN_POINT( '', ( -0.172000000000000, 0.133000000000000, 0.0330000000000000 ) );
#20883 = CARTESIAN_POINT( '', ( -0.172000000000000, 0.133000000000000, 0.0400000000000000 ) );
#20884 = CARTESIAN_POINT( '', ( -0.172000000000000, 0.133000000000000, 0.0330000000000000 ) );
#20885 = VECTOR( '', #23675, 39.3700787402000 );
#20886 = CARTESIAN_POINT( '', ( -0.172000000000000, 0.0299999999999999, 0.0400000000000000 ) );
#20887 = CARTESIAN_POINT( '', ( -0.172000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#20888 = VECTOR( '', #23676, 39.3700787402000 );
#20889 = CARTESIAN_POINT( '', ( -0.172000000000000, 0.0300000000000000, 0.0330000000000000 ) );
#20890 = VECTOR( '', #23677, 39.3700787402000 );
#20891 = CARTESIAN_POINT( '', ( -0.172000000000000, 0.0300000000000000, 0.0330000000000000 ) );
#20892 = VECTOR( '', #23678, 39.3700787402000 );
#20893 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20894 = CARTESIAN_POINT( '', ( -0.222000000000000, 0.133000000000000, 0.0330000000000000 ) );
#20895 = CARTESIAN_POINT( '', ( -0.228000000000000, 0.133000000000000, 0.0330000000000000 ) );
#20896 = VECTOR( '', #23679, 39.3700787402000 );
#20897 = CARTESIAN_POINT( '', ( -0.222000000000000, 0.0300000000000000, 0.0330000000000000 ) );
#20898 = CARTESIAN_POINT( '', ( -0.222000000000000, 0.0300000000000000, 0.0330000000000000 ) );
#20899 = VECTOR( '', #23680, 39.3700787402000 );
#20900 = CARTESIAN_POINT( '', ( -0.228000000000000, 0.0300000000000000, 0.0330000000000000 ) );
#20901 = VECTOR( '', #23681, 39.3700787402000 );
#20902 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20903 = CARTESIAN_POINT( '', ( 0.215000000000000, -6.40276873515062E-18, -0.0490000000000000 ) );
#20904 = CARTESIAN_POINT( '', ( 0.250000000000000, -6.07153216591882E-18, -0.0490000000000000 ) );
#20905 = VECTOR( '', #23682, 39.3700787402000 );
#20906 = AXIS2_PLACEMENT_3D( '', #23683, #23684, #23685 );
#20907 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#20908 = CARTESIAN_POINT( '', ( 0.0575000000000000, 0.122000000000000, 0.000000000000000 ) );
#20909 = AXIS2_PLACEMENT_3D( '', #23686, #23687, #23688 );
#20910 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20911 = CARTESIAN_POINT( '', ( -0.0150000000000000, 0.0300000000000000, -0.0370000000000000 ) );
#20912 = CARTESIAN_POINT( '', ( -0.0150000000000000, 0.00499999999999998, -0.0370000000000000 ) );
#20913 = CARTESIAN_POINT( '', ( -0.0150000000000000, 0.0300000000000000, -0.0370000000000000 ) );
#20914 = VECTOR( '', #23689, 39.3700787402000 );
#20915 = AXIS2_PLACEMENT_3D( '', #23690, #23691, #23692 );
#20916 = CARTESIAN_POINT( '', ( -0.0150000000000000, 0.0300000000000000, 0.131000000000000 ) );
#20917 = VECTOR( '', #23693, 39.3700787402000 );
#20918 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20919 = CARTESIAN_POINT( '', ( -0.0350000000000000, 0.0300000000000000, 0.0370000000000000 ) );
#20920 = CARTESIAN_POINT( '', ( -0.0350000000000000, 0.0300000000000000, 0.131000000000000 ) );
#20921 = VECTOR( '', #23694, 39.3700787402000 );
#20922 = CARTESIAN_POINT( '', ( -0.0280000000000000, 0.0299999999999999, 0.0370000000000000 ) );
#20923 = CARTESIAN_POINT( '', ( -0.0280000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#20924 = VECTOR( '', #23695, 39.3700787402000 );
#20925 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.0299999999999999, 0.0370000000000000 ) );
#20926 = VECTOR( '', #23696, 39.3700787402000 );
#20927 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20928 = CARTESIAN_POINT( '', ( -0.228000000000000, 0.133000000000000, 0.0100000000000000 ) );
#20929 = CARTESIAN_POINT( '', ( -0.228000000000000, 0.133000000000000, 0.0170000000000000 ) );
#20930 = VECTOR( '', #23697, 39.3700787402000 );
#20931 = CARTESIAN_POINT( '', ( -0.228000000000000, 0.0300000000000000, 0.0100000000000000 ) );
#20932 = VECTOR( '', #23698, 39.3700787402000 );
#20933 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20934 = CARTESIAN_POINT( '', ( 0.110000000000000, 0.133000000000000, 0.000000000000000 ) );
#20935 = AXIS2_PLACEMENT_3D( '', #23699, #23700, #23701 );
#20936 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20937 = CARTESIAN_POINT( '', ( 0.185000000000000, 0.0300000000000000, -0.0370000000000000 ) );
#20938 = CARTESIAN_POINT( '', ( 0.185000000000000, 0.0300000000000000, -0.0370000000000000 ) );
#20939 = VECTOR( '', #23702, 39.3700787402000 );
#20940 = CARTESIAN_POINT( '', ( 0.185000000000000, 0.00500000000000000, -0.0440000000000000 ) );
#20941 = AXIS2_PLACEMENT_3D( '', #23703, #23704, #23705 );
#20942 = CARTESIAN_POINT( '', ( 0.185000000000000, 0.00500000000000000, -0.0440000000000000 ) );
#20943 = VECTOR( '', #23706, 39.3700787402000 );
#20944 = CARTESIAN_POINT( '', ( 0.185000000000000, 0.0300000000000000, 0.131000000000000 ) );
#20945 = VECTOR( '', #23707, 39.3700787402000 );
#20946 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#20947 = CARTESIAN_POINT( '', ( 0.207500000000000, 0.122000000000000, 0.000000000000000 ) );
#20948 = AXIS2_PLACEMENT_3D( '', #23708, #23709, #23710 );
#20949 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20950 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.0300000000000000, 0.0370000000000000 ) );
#20951 = VECTOR( '', #23711, 39.3700787402000 );
#20952 = CARTESIAN_POINT( '', ( -0.0280000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#20953 = VECTOR( '', #23712, 39.3700787402000 );
#20954 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20955 = CARTESIAN_POINT( '', ( 0.135000000000000, 6.07153216591882E-18, 0.0904500000000000 ) );
#20956 = CARTESIAN_POINT( '', ( 0.135000000000000, -0.00700000000000001, 0.0904500000000000 ) );
#20957 = CARTESIAN_POINT( '', ( 0.135000000000000, 6.07153216591882E-18, 0.0904500000000000 ) );
#20958 = VECTOR( '', #23713, 39.3700787402000 );
#20959 = CARTESIAN_POINT( '', ( 0.115000000000000, 6.07153216591882E-18, 0.0904500000000000 ) );
#20960 = CARTESIAN_POINT( '', ( 0.250000000000000, 6.07153216591882E-18, 0.0904500000000000 ) );
#20961 = VECTOR( '', #23714, 39.3700787402000 );
#20962 = CARTESIAN_POINT( '', ( 0.115000000000000, -0.00700000000000001, 0.0904500000000000 ) );
#20963 = CARTESIAN_POINT( '', ( 0.115000000000000, 6.07153216591882E-18, 0.0904500000000000 ) );
#20964 = VECTOR( '', #23715, 39.3700787402000 );
#20965 = CARTESIAN_POINT( '', ( 0.250000000000000, -0.00700000000000001, 0.0904500000000000 ) );
#20966 = VECTOR( '', #23716, 39.3700787402000 );
#20967 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20968 = CARTESIAN_POINT( '', ( 0.185000000000000, -0.00700000000000001, 0.0490000000000000 ) );
#20969 = AXIS2_PLACEMENT_3D( '', #23717, #23718, #23719 );
#20970 = CARTESIAN_POINT( '', ( 0.165000000000000, -0.00700000000000001, 0.0490000000000000 ) );
#20971 = CARTESIAN_POINT( '', ( 0.250000000000000, -0.00700000000000001, 0.0490000000000000 ) );
#20972 = VECTOR( '', #23720, 39.3700787402000 );
#20973 = AXIS2_PLACEMENT_3D( '', #23721, #23722, #23723 );
#20974 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20975 = CARTESIAN_POINT( '', ( -0.122000000000000, 0.0299999999999999, 0.0370000000000000 ) );
#20976 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.0300000000000000, 0.0370000000000000 ) );
#20977 = VECTOR( '', #23724, 39.3700787402000 );
#20978 = CARTESIAN_POINT( '', ( -0.122000000000000, 0.0300000000000000, 0.0330000000000000 ) );
#20979 = VECTOR( '', #23725, 39.3700787402000 );
#20980 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20981 = CARTESIAN_POINT( '', ( 0.172000000000000, 0.133000000000000, 0.0170000000000000 ) );
#20982 = VECTOR( '', #23726, 39.3700787402000 );
#20983 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20984 = CARTESIAN_POINT( '', ( -0.0220000000000000, 0.133000000000000, 0.0100000000000000 ) );
#20985 = CARTESIAN_POINT( '', ( -0.0220000000000000, 0.133000000000000, 0.0170000000000000 ) );
#20986 = CARTESIAN_POINT( '', ( -0.0220000000000000, 0.133000000000000, 0.0100000000000000 ) );
#20987 = VECTOR( '', #23727, 39.3700787402000 );
#20988 = CARTESIAN_POINT( '', ( -0.0220000000000000, 0.0300000000000000, 0.0170000000000000 ) );
#20989 = VECTOR( '', #23728, 39.3700787402000 );
#20990 = CARTESIAN_POINT( '', ( -0.0220000000000000, 0.0300000000000000, 0.0100000000000000 ) );
#20991 = VECTOR( '', #23729, 39.3700787402000 );
#20992 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#20993 = CARTESIAN_POINT( '', ( -0.0280000000000000, 0.133000000000000, -0.0330000000000000 ) );
#20994 = CARTESIAN_POINT( '', ( -0.0280000000000000, 0.133000000000000, -0.0400000000000000 ) );
#20995 = CARTESIAN_POINT( '', ( -0.0280000000000000, 0.133000000000000, -0.0330000000000000 ) );
#20996 = VECTOR( '', #23730, 39.3700787402000 );
#20997 = CARTESIAN_POINT( '', ( -0.0280000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#20998 = CARTESIAN_POINT( '', ( -0.0280000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#20999 = VECTOR( '', #23731, 39.3700787402000 );
#21000 = CARTESIAN_POINT( '', ( -0.0280000000000000, 0.0300000000000000, -0.0370000000000000 ) );
#21001 = CARTESIAN_POINT( '', ( -0.0280000000000000, 0.0300000000000000, -0.0330000000000000 ) );
#21002 = VECTOR( '', #23732, 39.3700787402000 );
#21003 = CARTESIAN_POINT( '', ( -0.0280000000000000, 0.0300000000000000, -0.0330000000000000 ) );
#21004 = CARTESIAN_POINT( '', ( -0.0280000000000000, 0.0300000000000000, -0.0330000000000000 ) );
#21005 = VECTOR( '', #23733, 39.3700787402000 );
#21006 = CARTESIAN_POINT( '', ( -0.0280000000000000, 0.0300000000000000, -0.0330000000000000 ) );
#21007 = VECTOR( '', #23734, 39.3700787402000 );
#21008 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#21009 = CARTESIAN_POINT( '', ( 0.163000000000000, 0.172000000000000, 0.0370000000000000 ) );
#21010 = VECTOR( '', #23735, 39.3700787402000 );
#21011 = CARTESIAN_POINT( '', ( 0.163000000000000, 0.172000000000000, 0.0130000000000000 ) );
#21012 = VECTOR( '', #23736, 39.3700787402000 );
#21013 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21014 = CARTESIAN_POINT( '', ( 0.228000000000000, 0.133000000000000, -0.0400000000000000 ) );
#21015 = CARTESIAN_POINT( '', ( 0.240000000000000, 0.133000000000000, -0.0400000000000000 ) );
#21016 = VECTOR( '', #23737, 39.3700787402000 );
#21017 = CARTESIAN_POINT( '', ( 0.228000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#21018 = CARTESIAN_POINT( '', ( 0.228000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#21019 = VECTOR( '', #23738, 39.3700787402000 );
#21020 = CARTESIAN_POINT( '', ( 0.240000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#21021 = VECTOR( '', #23739, 39.3700787402000 );
#21022 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21023 = CARTESIAN_POINT( '', ( 0.235000000000000, 0.00500000000000000, 0.0370000000000000 ) );
#21024 = CARTESIAN_POINT( '', ( 0.235000000000000, 0.0300000000000000, 0.0370000000000000 ) );
#21025 = CARTESIAN_POINT( '', ( 0.235000000000000, 0.00499999999999999, 0.0370000000000000 ) );
#21026 = VECTOR( '', #23740, 39.3700787402000 );
#21027 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.00499999999999999, 0.0370000000000000 ) );
#21028 = VECTOR( '', #23741, 39.3700787402000 );
#21029 = CARTESIAN_POINT( '', ( 0.222000000000000, 0.0299999999999999, 0.0370000000000000 ) );
#21030 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.0299999999999999, 0.0370000000000000 ) );
#21031 = VECTOR( '', #23742, 39.3700787402000 );
#21032 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.0300000000000000, 0.0370000000000000 ) );
#21033 = VECTOR( '', #23743, 39.3700787402000 );
#21034 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.0299999999999999, 0.0370000000000000 ) );
#21035 = VECTOR( '', #23744, 39.3700787402000 );
#21036 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21037 = CARTESIAN_POINT( '', ( -0.115000000000000, 0.0300000000000000, 0.0370000000000000 ) );
#21038 = CARTESIAN_POINT( '', ( -0.115000000000000, 0.0300000000000000, 0.131000000000000 ) );
#21039 = VECTOR( '', #23745, 39.3700787402000 );