Newer
Older
21001
21002
21003
21004
21005
21006
21007
21008
21009
21010
21011
21012
21013
21014
21015
21016
21017
21018
21019
21020
21021
21022
21023
21024
21025
21026
21027
21028
21029
21030
21031
21032
21033
21034
21035
21036
21037
21038
21039
21040
21041
21042
21043
21044
21045
21046
21047
21048
21049
21050
21051
21052
21053
21054
21055
21056
21057
21058
21059
21060
21061
21062
21063
21064
21065
21066
21067
21068
21069
21070
21071
21072
21073
21074
21075
21076
21077
21078
21079
21080
21081
21082
21083
21084
21085
21086
21087
21088
21089
21090
21091
21092
21093
21094
21095
21096
21097
21098
21099
21100
21101
21102
21103
21104
21105
21106
21107
21108
21109
21110
21111
21112
21113
21114
21115
21116
21117
21118
21119
21120
21121
21122
21123
21124
21125
21126
21127
21128
21129
21130
21131
21132
21133
21134
21135
21136
21137
21138
21139
21140
21141
21142
21143
21144
21145
21146
21147
21148
21149
21150
21151
21152
21153
21154
21155
21156
21157
21158
21159
21160
21161
21162
21163
21164
21165
21166
21167
21168
21169
21170
21171
21172
21173
21174
21175
21176
21177
21178
21179
21180
21181
21182
21183
21184
21185
21186
21187
21188
21189
21190
21191
21192
21193
21194
21195
21196
21197
21198
21199
21200
21201
21202
21203
21204
21205
21206
21207
21208
21209
21210
21211
21212
21213
21214
21215
21216
21217
21218
21219
21220
21221
21222
21223
21224
21225
21226
21227
21228
21229
21230
21231
21232
21233
21234
21235
21236
21237
21238
21239
21240
21241
21242
21243
21244
21245
21246
21247
21248
21249
21250
21251
21252
21253
21254
21255
21256
21257
21258
21259
21260
21261
21262
21263
21264
21265
21266
21267
21268
21269
21270
21271
21272
21273
21274
21275
21276
21277
21278
21279
21280
21281
21282
21283
21284
21285
21286
21287
21288
21289
21290
21291
21292
21293
21294
21295
21296
21297
21298
21299
21300
21301
21302
21303
21304
21305
21306
21307
21308
21309
21310
21311
21312
21313
21314
21315
21316
21317
21318
21319
21320
21321
21322
21323
21324
21325
21326
21327
21328
21329
21330
21331
21332
21333
21334
21335
21336
21337
21338
21339
21340
21341
21342
21343
21344
21345
21346
21347
21348
21349
21350
21351
21352
21353
21354
21355
21356
21357
21358
21359
21360
21361
21362
21363
21364
21365
21366
21367
21368
21369
21370
21371
21372
21373
21374
21375
21376
21377
21378
21379
21380
21381
21382
21383
21384
21385
21386
21387
21388
21389
21390
21391
21392
21393
21394
21395
21396
21397
21398
21399
21400
21401
21402
21403
21404
21405
21406
21407
21408
21409
21410
21411
21412
21413
21414
21415
21416
21417
21418
21419
21420
21421
21422
21423
21424
21425
21426
21427
21428
21429
21430
21431
21432
21433
21434
21435
21436
21437
21438
21439
21440
21441
21442
21443
21444
21445
21446
21447
21448
21449
21450
21451
21452
21453
21454
21455
21456
21457
21458
21459
21460
21461
21462
21463
21464
21465
21466
21467
21468
21469
21470
21471
21472
21473
21474
21475
21476
21477
21478
21479
21480
21481
21482
21483
21484
21485
21486
21487
21488
21489
21490
21491
21492
21493
21494
21495
21496
21497
21498
21499
21500
21501
21502
21503
21504
21505
21506
21507
21508
21509
21510
21511
21512
21513
21514
21515
21516
21517
21518
21519
21520
21521
21522
21523
21524
21525
21526
21527
21528
21529
21530
21531
21532
21533
21534
21535
21536
21537
21538
21539
21540
21541
21542
21543
21544
21545
21546
21547
21548
21549
21550
21551
21552
21553
21554
21555
21556
21557
21558
21559
21560
21561
21562
21563
21564
21565
21566
21567
21568
21569
21570
21571
21572
21573
21574
21575
21576
21577
21578
21579
21580
21581
21582
21583
21584
21585
21586
21587
21588
21589
21590
21591
21592
21593
21594
21595
21596
21597
21598
21599
21600
21601
21602
21603
21604
21605
21606
21607
21608
21609
21610
21611
21612
21613
21614
21615
21616
21617
21618
21619
21620
21621
21622
21623
21624
21625
21626
21627
21628
21629
21630
21631
21632
21633
21634
21635
21636
21637
21638
21639
21640
21641
21642
21643
21644
21645
21646
21647
21648
21649
21650
21651
21652
21653
21654
21655
21656
21657
21658
21659
21660
21661
21662
21663
21664
21665
21666
21667
21668
21669
21670
21671
21672
21673
21674
21675
21676
21677
21678
21679
21680
21681
21682
21683
21684
21685
21686
21687
21688
21689
21690
21691
21692
21693
21694
21695
21696
21697
21698
21699
21700
21701
21702
21703
21704
21705
21706
21707
21708
21709
21710
21711
21712
21713
21714
21715
21716
21717
21718
21719
21720
21721
21722
21723
21724
21725
21726
21727
21728
21729
21730
21731
21732
21733
21734
21735
21736
21737
21738
21739
21740
21741
21742
21743
21744
21745
21746
21747
21748
21749
21750
21751
21752
21753
21754
21755
21756
21757
21758
21759
21760
21761
21762
21763
21764
21765
21766
21767
21768
21769
21770
21771
21772
21773
21774
21775
21776
21777
21778
21779
21780
21781
21782
21783
21784
21785
21786
21787
21788
21789
21790
21791
21792
21793
21794
21795
21796
21797
21798
21799
21800
21801
21802
21803
21804
21805
21806
21807
21808
21809
21810
21811
21812
21813
21814
21815
21816
21817
21818
21819
21820
21821
21822
21823
21824
21825
21826
21827
21828
21829
21830
21831
21832
21833
21834
21835
21836
21837
21838
21839
21840
21841
21842
21843
21844
21845
21846
21847
21848
21849
21850
21851
21852
21853
21854
21855
21856
21857
21858
21859
21860
21861
21862
21863
21864
21865
21866
21867
21868
21869
21870
21871
21872
21873
21874
21875
21876
21877
21878
21879
21880
21881
21882
21883
21884
21885
21886
21887
21888
21889
21890
21891
21892
21893
21894
21895
21896
21897
21898
21899
21900
21901
21902
21903
21904
21905
21906
21907
21908
21909
21910
21911
21912
21913
21914
21915
21916
21917
21918
21919
21920
21921
21922
21923
21924
21925
21926
21927
21928
21929
21930
21931
21932
21933
21934
21935
21936
21937
21938
21939
21940
21941
21942
21943
21944
21945
21946
21947
21948
21949
21950
21951
21952
21953
21954
21955
21956
21957
21958
21959
21960
21961
21962
21963
21964
21965
21966
21967
21968
21969
21970
21971
21972
21973
21974
21975
21976
21977
21978
21979
21980
21981
21982
21983
21984
21985
21986
21987
21988
21989
21990
21991
21992
21993
21994
21995
21996
21997
21998
21999
22000
#21040 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.0299999999999999, 0.0370000000000000 ) );
#21041 = VECTOR( '', #23746, 39.3700787402000 );
#21042 = CARTESIAN_POINT( '', ( -0.122000000000000, 0.0300000000000000, 0.0330000000000000 ) );
#21043 = VECTOR( '', #23747, 39.3700787402000 );
#21044 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21045 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21046 = CARTESIAN_POINT( '', ( 0.122000000000000, 0.133000000000000, -0.0170000000000000 ) );
#21047 = CARTESIAN_POINT( '', ( 0.122000000000000, 0.133000000000000, -0.0100000000000000 ) );
#21048 = VECTOR( '', #23748, 39.3700787402000 );
#21049 = CARTESIAN_POINT( '', ( 0.122000000000000, 0.0300000000000000, -0.0170000000000000 ) );
#21050 = VECTOR( '', #23749, 39.3700787402000 );
#21051 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21052 = CARTESIAN_POINT( '', ( -0.222000000000000, 0.133000000000000, -0.0170000000000000 ) );
#21053 = CARTESIAN_POINT( '', ( -0.222000000000000, 0.133000000000000, -0.0170000000000000 ) );
#21054 = VECTOR( '', #23750, 39.3700787402000 );
#21055 = CARTESIAN_POINT( '', ( -0.222000000000000, 0.0300000000000000, -0.0170000000000000 ) );
#21056 = VECTOR( '', #23751, 39.3700787402000 );
#21057 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21058 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21059 = CARTESIAN_POINT( '', ( 0.165000000000000, 0.00500000000000000, -0.0440000000000000 ) );
#21060 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.00500000000000000, -0.0440000000000000 ) );
#21061 = VECTOR( '', #23752, 39.3700787402000 );
#21062 = AXIS2_PLACEMENT_3D( '', #23753, #23754, #23755 );
#21063 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21064 = CARTESIAN_POINT( '', ( 0.185000000000000, 0.0299999999999999, 0.0440000000000000 ) );
#21065 = VECTOR( '', #23756, 39.3700787402000 );
#21066 = CARTESIAN_POINT( '', ( 0.165000000000000, 0.0299999999999999, 0.0440000000000000 ) );
#21067 = VECTOR( '', #23757, 39.3700787402000 );
#21068 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21069 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.0300000000000000, -0.0370000000000000 ) );
#21070 = VECTOR( '', #23758, 39.3700787402000 );
#21071 = CARTESIAN_POINT( '', ( 0.165000000000000, 0.0300000000000000, -0.0370000000000000 ) );
#21072 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.0300000000000000, -0.0370000000000000 ) );
#21073 = VECTOR( '', #23759, 39.3700787402000 );
#21074 = CARTESIAN_POINT( '', ( 0.165000000000000, 0.0300000000000000, -0.0370000000000000 ) );
#21075 = VECTOR( '', #23760, 39.3700787402000 );
#21076 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21077 = CARTESIAN_POINT( '', ( -0.0650000000000001, 0.00500000000000000, -0.0440000000000000 ) );
#21078 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.00500000000000000, -0.0440000000000000 ) );
#21079 = VECTOR( '', #23761, 39.3700787402000 );
#21080 = CARTESIAN_POINT( '', ( -0.0650000000000001, -6.40276873515062E-18, -0.0490000000000000 ) );
#21081 = AXIS2_PLACEMENT_3D( '', #23762, #23763, #23764 );
#21082 = CARTESIAN_POINT( '', ( 0.250000000000000, -6.07153216591882E-18, -0.0490000000000000 ) );
#21083 = VECTOR( '', #23765, 39.3700787402000 );
#21084 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#21085 = CARTESIAN_POINT( '', ( 0.237000000000000, 0.172000000000000, -0.0370000000000000 ) );
#21086 = VECTOR( '', #23766, 39.3700787402000 );
#21087 = CARTESIAN_POINT( '', ( 0.237000000000000, 0.172000000000000, -0.0130000000000000 ) );
#21088 = VECTOR( '', #23767, 39.3700787402000 );
#21089 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21090 = CARTESIAN_POINT( '', ( -0.228000000000000, 0.133000000000000, -0.0330000000000000 ) );
#21091 = CARTESIAN_POINT( '', ( -0.222000000000000, 0.133000000000000, -0.0330000000000000 ) );
#21092 = VECTOR( '', #23768, 39.3700787402000 );
#21093 = CARTESIAN_POINT( '', ( -0.228000000000000, 0.0300000000000000, -0.0330000000000000 ) );
#21094 = CARTESIAN_POINT( '', ( -0.228000000000000, 0.0300000000000000, -0.0330000000000000 ) );
#21095 = VECTOR( '', #23769, 39.3700787402000 );
#21096 = CARTESIAN_POINT( '', ( -0.222000000000000, 0.0300000000000000, -0.0330000000000000 ) );
#21097 = VECTOR( '', #23770, 39.3700787402000 );
#21098 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21099 = CARTESIAN_POINT( '', ( -0.128000000000000, 0.133000000000000, -0.0330000000000000 ) );
#21100 = VECTOR( '', #23771, 39.3700787402000 );
#21101 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21102 = CARTESIAN_POINT( '', ( -0.222000000000000, 0.133000000000000, 0.0400000000000000 ) );
#21103 = CARTESIAN_POINT( '', ( -0.222000000000000, 0.133000000000000, 0.0400000000000000 ) );
#21104 = VECTOR( '', #23772, 39.3700787402000 );
#21105 = CARTESIAN_POINT( '', ( -0.222000000000000, 0.0299999999999999, 0.0400000000000000 ) );
#21106 = CARTESIAN_POINT( '', ( -0.222000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#21107 = VECTOR( '', #23773, 39.3700787402000 );
#21108 = CARTESIAN_POINT( '', ( -0.222000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#21109 = VECTOR( '', #23774, 39.3700787402000 );
#21110 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21111 = CARTESIAN_POINT( '', ( -0.222000000000000, 0.0299999999999999, 0.0370000000000000 ) );
#21112 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.0300000000000000, 0.0370000000000000 ) );
#21113 = VECTOR( '', #23775, 39.3700787402000 );
#21114 = CARTESIAN_POINT( '', ( -0.222000000000000, 0.0300000000000000, 0.0330000000000000 ) );
#21115 = VECTOR( '', #23776, 39.3700787402000 );
#21116 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21117 = CARTESIAN_POINT( '', ( -0.210000000000000, 0.133000000000000, -0.0400000000000000 ) );
#21118 = VECTOR( '', #23777, 39.3700787402000 );
#21119 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21120 = CARTESIAN_POINT( '', ( -0.235000000000000, 0.00499999999999999, 0.0370000000000000 ) );
#21121 = CARTESIAN_POINT( '', ( -0.235000000000000, 0.00499999999999999, 0.0370000000000000 ) );
#21122 = VECTOR( '', #23778, 39.3700787402000 );
#21123 = CARTESIAN_POINT( '', ( -0.235000000000000, -0.00700000000000001, 0.0490000000000000 ) );
#21124 = AXIS2_PLACEMENT_3D( '', #23779, #23780, #23781 );
#21125 = CARTESIAN_POINT( '', ( -0.235000000000000, -0.00700000000000001, 0.0904500000000000 ) );
#21126 = CARTESIAN_POINT( '', ( -0.235000000000000, -0.00700000000000001, 0.0904500000000000 ) );
#21127 = VECTOR( '', #23782, 39.3700787402000 );
#21128 = CARTESIAN_POINT( '', ( -0.235000000000000, 6.07153216591882E-18, 0.0904500000000000 ) );
#21129 = VECTOR( '', #23783, 39.3700787402000 );
#21130 = CARTESIAN_POINT( '', ( -0.235000000000000, 0.00500000000000002, 0.0440000000000000 ) );
#21131 = AXIS2_PLACEMENT_3D( '', #23784, #23785, #23786 );
#21132 = CARTESIAN_POINT( '', ( -0.235000000000000, 0.0299999999999999, 0.0440000000000000 ) );
#21133 = VECTOR( '', #23787, 39.3700787402000 );
#21134 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21135 = AXIS2_PLACEMENT_3D( '', #23788, #23789, #23790 );
#21136 = AXIS2_PLACEMENT_3D( '', #23791, #23792, #23793 );
#21137 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21138 = CARTESIAN_POINT( '', ( 0.135000000000000, -0.00700000000000001, -0.0490000000000000 ) );
#21139 = AXIS2_PLACEMENT_3D( '', #23794, #23795, #23796 );
#21140 = CARTESIAN_POINT( '', ( 0.135000000000000, -0.00700000000000001, -0.0490000000000000 ) );
#21141 = VECTOR( '', #23797, 39.3700787402000 );
#21142 = CARTESIAN_POINT( '', ( 0.135000000000000, 0.00500000000000000, -0.0440000000000000 ) );
#21143 = AXIS2_PLACEMENT_3D( '', #23798, #23799, #23800 );
#21144 = CARTESIAN_POINT( '', ( 0.135000000000000, 0.00500000000000000, -0.0440000000000000 ) );
#21145 = VECTOR( '', #23801, 39.3700787402000 );
#21146 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21147 = CARTESIAN_POINT( '', ( 0.0600000000000000, 0.133000000000000, 0.0100000000000000 ) );
#21148 = CARTESIAN_POINT( '', ( 0.0600000000000000, 0.133000000000000, 0.0400000000000000 ) );
#21149 = CARTESIAN_POINT( '', ( 0.0600000000000000, 0.133000000000000, 0.0100000000000000 ) );
#21150 = VECTOR( '', #23802, 39.3700787402000 );
#21151 = CARTESIAN_POINT( '', ( 0.0600000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#21152 = VECTOR( '', #23803, 39.3700787402000 );
#21153 = CARTESIAN_POINT( '', ( 0.0600000000000000, 0.0300000000000000, 0.0100000000000000 ) );
#21154 = VECTOR( '', #23804, 39.3700787402000 );
#21155 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21156 = CARTESIAN_POINT( '', ( 0.228000000000000, 0.0300000000000000, -0.0370000000000000 ) );
#21157 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.0300000000000000, -0.0370000000000000 ) );
#21158 = VECTOR( '', #23805, 39.3700787402000 );
#21159 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.0300000000000000, -0.0370000000000000 ) );
#21160 = VECTOR( '', #23806, 39.3700787402000 );
#21161 = CARTESIAN_POINT( '', ( 0.215000000000000, 0.0300000000000000, -0.0370000000000000 ) );
#21162 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.0300000000000000, -0.0370000000000000 ) );
#21163 = VECTOR( '', #23807, 39.3700787402000 );
#21164 = CARTESIAN_POINT( '', ( 0.215000000000000, 0.0300000000000000, -0.0370000000000000 ) );
#21165 = VECTOR( '', #23808, 39.3700787402000 );
#21166 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21167 = CARTESIAN_POINT( '', ( -0.240000000000000, 0.133000000000000, 0.0100000000000000 ) );
#21168 = CARTESIAN_POINT( '', ( -0.240000000000000, 0.133000000000000, 0.0100000000000000 ) );
#21169 = VECTOR( '', #23809, 39.3700787402000 );
#21170 = CARTESIAN_POINT( '', ( -0.240000000000000, 0.0300000000000000, 0.0100000000000000 ) );
#21171 = VECTOR( '', #23810, 39.3700787402000 );
#21172 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#21173 = CARTESIAN_POINT( '', ( 0.213000000000000, 0.172000000000000, 0.0370000000000000 ) );
#21174 = VECTOR( '', #23811, 39.3700787402000 );
#21175 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21176 = CARTESIAN_POINT( '', ( -0.0720000000000000, 0.133000000000000, 0.0330000000000000 ) );
#21177 = CARTESIAN_POINT( '', ( -0.0720000000000000, 0.133000000000000, 0.0330000000000000 ) );
#21178 = VECTOR( '', #23812, 39.3700787402000 );
#21179 = CARTESIAN_POINT( '', ( -0.0720000000000000, 0.0300000000000000, 0.0330000000000000 ) );
#21180 = VECTOR( '', #23813, 39.3700787402000 );
#21181 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#21182 = CARTESIAN_POINT( '', ( -0.163000000000000, 0.172000000000000, -0.0370000000000000 ) );
#21183 = VECTOR( '', #23814, 39.3700787402000 );
#21184 = CARTESIAN_POINT( '', ( -0.163000000000000, 0.172000000000000, -0.0130000000000000 ) );
#21185 = VECTOR( '', #23815, 39.3700787402000 );
#21186 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21187 = CARTESIAN_POINT( '', ( -0.115000000000000, 6.07153216591882E-18, 0.0904500000000000 ) );
#21188 = CARTESIAN_POINT( '', ( -0.115000000000000, -0.00700000000000001, 0.0904500000000000 ) );
#21189 = CARTESIAN_POINT( '', ( -0.115000000000000, 6.07153216591882E-18, 0.0904500000000000 ) );
#21190 = VECTOR( '', #23816, 39.3700787402000 );
#21191 = CARTESIAN_POINT( '', ( 0.250000000000000, 6.07153216591882E-18, 0.0904500000000000 ) );
#21192 = VECTOR( '', #23817, 39.3700787402000 );
#21193 = CARTESIAN_POINT( '', ( 0.250000000000000, -0.00700000000000001, 0.0904500000000000 ) );
#21194 = VECTOR( '', #23818, 39.3700787402000 );
#21195 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21196 = CARTESIAN_POINT( '', ( 0.140000000000000, 0.133000000000000, -0.0400000000000000 ) );
#21197 = CARTESIAN_POINT( '', ( 0.140000000000000, 0.133000000000000, -0.0100000000000000 ) );
#21198 = VECTOR( '', #23819, 39.3700787402000 );
#21199 = CARTESIAN_POINT( '', ( 0.140000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#21200 = VECTOR( '', #23820, 39.3700787402000 );
#21201 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21202 = CARTESIAN_POINT( '', ( 0.115000000000000, 0.0300000000000000, 0.131000000000000 ) );
#21203 = VECTOR( '', #23821, 39.3700787402000 );
#21204 = CARTESIAN_POINT( '', ( 0.115000000000000, 0.00500000000000000, -0.0440000000000000 ) );
#21205 = CARTESIAN_POINT( '', ( 0.115000000000000, 0.00500000000000000, -0.0440000000000000 ) );
#21206 = VECTOR( '', #23822, 39.3700787402000 );
#21207 = AXIS2_PLACEMENT_3D( '', #23823, #23824, #23825 );
#21208 = CARTESIAN_POINT( '', ( 0.115000000000000, -0.00700000000000001, -0.0490000000000000 ) );
#21209 = CARTESIAN_POINT( '', ( 0.115000000000000, -0.00700000000000001, -0.0490000000000000 ) );
#21210 = VECTOR( '', #23826, 39.3700787402000 );
#21211 = AXIS2_PLACEMENT_3D( '', #23827, #23828, #23829 );
#21212 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21213 = CARTESIAN_POINT( '', ( -0.0780000000000000, 0.133000000000000, -0.0100000000000000 ) );
#21214 = CARTESIAN_POINT( '', ( -0.0900000000000000, 0.133000000000000, -0.0100000000000000 ) );
#21215 = VECTOR( '', #23830, 39.3700787402000 );
#21216 = CARTESIAN_POINT( '', ( -0.0780000000000000, 0.0300000000000000, -0.0100000000000000 ) );
#21217 = VECTOR( '', #23831, 39.3700787402000 );
#21218 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#21219 = CARTESIAN_POINT( '', ( -0.252250000000000, 0.000000000000000, -0.0555000000000000 ) );
#21220 = CARTESIAN_POINT( '', ( 0.252250000000000, 0.000000000000000, -0.0555000000000000 ) );
#21221 = VECTOR( '', #23832, 39.3700787402000 );
#21222 = CARTESIAN_POINT( '', ( -0.252250000000000, 0.000000000000000, -0.0655000000000000 ) );
#21223 = VECTOR( '', #23833, 39.3700787402000 );
#21224 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#21225 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21226 = CARTESIAN_POINT( '', ( 0.185000000000000, -0.00700000000000001, 0.0904500000000000 ) );
#21227 = CARTESIAN_POINT( '', ( 0.185000000000000, 6.07153216591882E-18, 0.0904500000000000 ) );
#21228 = VECTOR( '', #23834, 39.3700787402000 );
#21229 = CARTESIAN_POINT( '', ( 0.165000000000000, -0.00700000000000001, 0.0904500000000000 ) );
#21230 = CARTESIAN_POINT( '', ( 0.165000000000000, 6.07153216591882E-18, 0.0904500000000000 ) );
#21231 = VECTOR( '', #23835, 39.3700787402000 );
#21232 = CARTESIAN_POINT( '', ( 0.250000000000000, -0.00700000000000001, 0.0904500000000000 ) );
#21233 = VECTOR( '', #23836, 39.3700787402000 );
#21234 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21235 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21236 = CARTESIAN_POINT( '', ( 0.140000000000000, 0.133000000000000, -0.0400000000000000 ) );
#21237 = VECTOR( '', #23837, 39.3700787402000 );
#21238 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#21239 = CARTESIAN_POINT( '', ( 0.137000000000000, 0.172000000000000, -0.0130000000000000 ) );
#21240 = VECTOR( '', #23838, 39.3700787402000 );
#21241 = CARTESIAN_POINT( '', ( 0.113000000000000, 0.172000000000000, -0.0130000000000000 ) );
#21242 = VECTOR( '', #23839, 39.3700787402000 );
#21243 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21244 = CARTESIAN_POINT( '', ( 0.0400000000000000, 0.133000000000000, 0.0100000000000000 ) );
#21245 = CARTESIAN_POINT( '', ( 0.0400000000000000, 0.133000000000000, 0.0400000000000000 ) );
#21246 = VECTOR( '', #23840, 39.3700787402000 );
#21247 = CARTESIAN_POINT( '', ( 0.0400000000000000, 0.0300000000000000, 0.0100000000000000 ) );
#21248 = VECTOR( '', #23841, 39.3700787402000 );
#21249 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#21250 = CARTESIAN_POINT( '', ( -0.237000000000000, 0.172000000000000, 0.0130000000000000 ) );
#21251 = VECTOR( '', #23842, 39.3700787402000 );
#21252 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21253 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.00500000000000000, -0.0440000000000000 ) );
#21254 = VECTOR( '', #23843, 39.3700787402000 );
#21255 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21256 = CARTESIAN_POINT( '', ( -0.122000000000000, 0.133000000000000, 0.0100000000000000 ) );
#21257 = CARTESIAN_POINT( '', ( -0.110000000000000, 0.133000000000000, 0.0100000000000000 ) );
#21258 = VECTOR( '', #23844, 39.3700787402000 );
#21259 = CARTESIAN_POINT( '', ( -0.122000000000000, 0.0300000000000000, 0.0100000000000000 ) );
#21260 = VECTOR( '', #23845, 39.3700787402000 );
#21261 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#21262 = CARTESIAN_POINT( '', ( 0.00750000000000000, 0.122000000000000, 0.000000000000000 ) );
#21263 = AXIS2_PLACEMENT_3D( '', #23846, #23847, #23848 );
#21264 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21265 = CARTESIAN_POINT( '', ( 0.0720000000000000, 0.133000000000000, 0.0100000000000000 ) );
#21266 = CARTESIAN_POINT( '', ( 0.0720000000000000, 0.133000000000000, 0.0100000000000000 ) );
#21267 = VECTOR( '', #23849, 39.3700787402000 );
#21268 = CARTESIAN_POINT( '', ( 0.0720000000000000, 0.0300000000000000, 0.0100000000000000 ) );
#21269 = VECTOR( '', #23850, 39.3700787402000 );
#21270 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21271 = CARTESIAN_POINT( '', ( -0.0220000000000000, 0.0300000000000000, -0.0370000000000000 ) );
#21272 = CARTESIAN_POINT( '', ( -0.0220000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#21273 = VECTOR( '', #23851, 39.3700787402000 );
#21274 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.0300000000000000, -0.0370000000000000 ) );
#21275 = VECTOR( '', #23852, 39.3700787402000 );
#21276 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21277 = CARTESIAN_POINT( '', ( 0.140000000000000, 0.133000000000000, 0.0400000000000000 ) );
#21278 = CARTESIAN_POINT( '', ( 0.128000000000000, 0.133000000000000, 0.0400000000000000 ) );
#21279 = VECTOR( '', #23853, 39.3700787402000 );
#21280 = CARTESIAN_POINT( '', ( 0.140000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#21281 = VECTOR( '', #23854, 39.3700787402000 );
#21282 = CARTESIAN_POINT( '', ( 0.128000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#21283 = VECTOR( '', #23855, 39.3700787402000 );
#21284 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#21285 = CARTESIAN_POINT( '', ( -0.163000000000000, 0.172000000000000, 0.0370000000000000 ) );
#21286 = VECTOR( '', #23856, 39.3700787402000 );
#21287 = CARTESIAN_POINT( '', ( -0.187000000000000, 0.172000000000000, 0.0370000000000000 ) );
#21288 = VECTOR( '', #23857, 39.3700787402000 );
#21289 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#21290 = CARTESIAN_POINT( '', ( -0.0630000000000000, 0.172000000000000, 0.0130000000000000 ) );
#21291 = VECTOR( '', #23858, 39.3700787402000 );
#21292 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21293 = CARTESIAN_POINT( '', ( 0.115000000000000, 0.0300000000000000, 0.0370000000000000 ) );
#21294 = CARTESIAN_POINT( '', ( 0.115000000000000, 0.0300000000000000, 0.131000000000000 ) );
#21295 = VECTOR( '', #23859, 39.3700787402000 );
#21296 = CARTESIAN_POINT( '', ( 0.122000000000000, 0.0299999999999999, 0.0400000000000000 ) );
#21297 = CARTESIAN_POINT( '', ( 0.110000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#21298 = VECTOR( '', #23860, 39.3700787402000 );
#21299 = CARTESIAN_POINT( '', ( 0.122000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#21300 = VECTOR( '', #23861, 39.3700787402000 );
#21301 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.0299999999999999, 0.0370000000000000 ) );
#21302 = VECTOR( '', #23862, 39.3700787402000 );
#21303 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21304 = CARTESIAN_POINT( '', ( -0.190000000000000, 0.133000000000000, 0.000000000000000 ) );
#21305 = AXIS2_PLACEMENT_3D( '', #23863, #23864, #23865 );
#21306 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#21307 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21308 = CARTESIAN_POINT( '', ( -0.0650000000000001, -6.07153216591882E-18, -0.0904500000000000 ) );
#21309 = VECTOR( '', #23866, 39.3700787402000 );
#21310 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#21311 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21312 = CARTESIAN_POINT( '', ( 0.0850000000000000, -0.00700000000000001, 0.0904500000000000 ) );
#21313 = VECTOR( '', #23867, 39.3700787402000 );
#21314 = CARTESIAN_POINT( '', ( 0.0650000000000000, -0.00700000000000001, 0.0904500000000000 ) );
#21315 = VECTOR( '', #23868, 39.3700787402000 );
#21316 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21317 = CARTESIAN_POINT( '', ( 0.160000000000000, 0.133000000000000, 0.0100000000000000 ) );
#21318 = VECTOR( '', #23869, 39.3700787402000 );
#21319 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#21320 = CARTESIAN_POINT( '', ( -0.252250000000000, 0.00500000000000000, 0.0555000000000000 ) );
#21321 = VECTOR( '', #23870, 39.3700787402000 );
#21322 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21323 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.00499999999999998, -0.0370000000000000 ) );
#21324 = VECTOR( '', #23871, 39.3700787402000 );
#21325 = CARTESIAN_POINT( '', ( 0.250000000000000, -0.00700000000000000, -0.0490000000000000 ) );
#21326 = VECTOR( '', #23872, 39.3700787402000 );
#21327 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21328 = CARTESIAN_POINT( '', ( 0.0150000000000000, -0.00700000000000001, 0.0490000000000000 ) );
#21329 = CARTESIAN_POINT( '', ( 0.0150000000000000, -0.00700000000000001, 0.0904500000000000 ) );
#21330 = VECTOR( '', #23873, 39.3700787402000 );
#21331 = CARTESIAN_POINT( '', ( 0.250000000000000, -0.00700000000000001, 0.0490000000000000 ) );
#21332 = VECTOR( '', #23874, 39.3700787402000 );
#21333 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#21334 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21335 = CARTESIAN_POINT( '', ( -0.228000000000000, 0.133000000000000, 0.0100000000000000 ) );
#21336 = VECTOR( '', #23875, 39.3700787402000 );
#21337 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21338 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21339 = CARTESIAN_POINT( '', ( 0.240000000000000, 0.133000000000000, 0.0400000000000000 ) );
#21340 = CARTESIAN_POINT( '', ( 0.240000000000000, 0.133000000000000, 0.0400000000000000 ) );
#21341 = VECTOR( '', #23876, 39.3700787402000 );
#21342 = CARTESIAN_POINT( '', ( 0.240000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#21343 = VECTOR( '', #23877, 39.3700787402000 );
#21344 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21345 = CARTESIAN_POINT( '', ( 0.165000000000000, -0.00700000000000001, 0.0904500000000000 ) );
#21346 = VECTOR( '', #23878, 39.3700787402000 );
#21347 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21348 = CARTESIAN_POINT( '', ( 0.222000000000000, 0.133000000000000, -0.0400000000000000 ) );
#21349 = VECTOR( '', #23879, 39.3700787402000 );
#21350 = CARTESIAN_POINT( '', ( 0.222000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#21351 = VECTOR( '', #23880, 39.3700787402000 );
#21352 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#21353 = CARTESIAN_POINT( '', ( -0.192500000000000, 0.122000000000000, 0.000000000000000 ) );
#21354 = AXIS2_PLACEMENT_3D( '', #23881, #23882, #23883 );
#21355 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21356 = CARTESIAN_POINT( '', ( 0.222000000000000, 0.133000000000000, 0.0330000000000000 ) );
#21357 = CARTESIAN_POINT( '', ( 0.222000000000000, 0.133000000000000, 0.0330000000000000 ) );
#21358 = VECTOR( '', #23884, 39.3700787402000 );
#21359 = CARTESIAN_POINT( '', ( 0.222000000000000, 0.0300000000000000, 0.0330000000000000 ) );
#21360 = CARTESIAN_POINT( '', ( 0.222000000000000, 0.0300000000000000, 0.0330000000000000 ) );
#21361 = VECTOR( '', #23885, 39.3700787402000 );
#21362 = CARTESIAN_POINT( '', ( 0.222000000000000, 0.0300000000000000, 0.0330000000000000 ) );
#21363 = VECTOR( '', #23886, 39.3700787402000 );
#21364 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#21365 = CARTESIAN_POINT( '', ( -0.137000000000000, 0.172000000000000, -0.0130000000000000 ) );
#21366 = VECTOR( '', #23887, 39.3700787402000 );
#21367 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21368 = CARTESIAN_POINT( '', ( 0.0600000000000000, 0.133000000000000, -0.0400000000000000 ) );
#21369 = CARTESIAN_POINT( '', ( 0.0600000000000000, 0.133000000000000, -0.0400000000000000 ) );
#21370 = VECTOR( '', #23888, 39.3700787402000 );
#21371 = CARTESIAN_POINT( '', ( 0.0600000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#21372 = VECTOR( '', #23889, 39.3700787402000 );
#21373 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21374 = CARTESIAN_POINT( '', ( 0.0400000000000000, 0.133000000000000, -0.0400000000000000 ) );
#21375 = CARTESIAN_POINT( '', ( 0.0280000000000000, 0.133000000000000, -0.0400000000000000 ) );
#21376 = CARTESIAN_POINT( '', ( 0.0400000000000000, 0.133000000000000, -0.0400000000000000 ) );
#21377 = VECTOR( '', #23890, 39.3700787402000 );
#21378 = CARTESIAN_POINT( '', ( 0.0280000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#21379 = VECTOR( '', #23891, 39.3700787402000 );
#21380 = CARTESIAN_POINT( '', ( 0.0400000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#21381 = VECTOR( '', #23892, 39.3700787402000 );
#21382 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21383 = CARTESIAN_POINT( '', ( -0.0780000000000000, 0.133000000000000, 0.0330000000000000 ) );
#21384 = VECTOR( '', #23893, 39.3700787402000 );
#21385 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21386 = CARTESIAN_POINT( '', ( -0.0720000000000000, 0.133000000000000, -0.0400000000000000 ) );
#21387 = CARTESIAN_POINT( '', ( -0.0720000000000000, 0.133000000000000, -0.0330000000000000 ) );
#21388 = CARTESIAN_POINT( '', ( -0.0720000000000000, 0.133000000000000, -0.0400000000000000 ) );
#21389 = VECTOR( '', #23894, 39.3700787402000 );
#21390 = CARTESIAN_POINT( '', ( -0.0720000000000000, 0.0300000000000000, -0.0330000000000000 ) );
#21391 = VECTOR( '', #23895, 39.3700787402000 );
#21392 = CARTESIAN_POINT( '', ( -0.0720000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#21393 = CARTESIAN_POINT( '', ( -0.0720000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#21394 = VECTOR( '', #23896, 39.3700787402000 );
#21395 = CARTESIAN_POINT( '', ( -0.0720000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#21396 = VECTOR( '', #23897, 39.3700787402000 );
#21397 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21398 = CARTESIAN_POINT( '', ( -0.0280000000000000, 0.133000000000000, 0.0400000000000000 ) );
#21399 = VECTOR( '', #23898, 39.3700787402000 );
#21400 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21401 = CARTESIAN_POINT( '', ( -0.0780000000000000, 0.133000000000000, -0.0330000000000000 ) );
#21402 = CARTESIAN_POINT( '', ( -0.0720000000000000, 0.133000000000000, -0.0330000000000000 ) );
#21403 = VECTOR( '', #23899, 39.3700787402000 );
#21404 = CARTESIAN_POINT( '', ( -0.0780000000000000, 0.0300000000000000, -0.0330000000000000 ) );
#21405 = VECTOR( '', #23900, 39.3700787402000 );
#21406 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21407 = CARTESIAN_POINT( '', ( -0.122000000000000, 0.133000000000000, -0.0400000000000000 ) );
#21408 = VECTOR( '', #23901, 39.3700787402000 );
#21409 = CARTESIAN_POINT( '', ( -0.122000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#21410 = VECTOR( '', #23902, 39.3700787402000 );
#21411 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21412 = CARTESIAN_POINT( '', ( -0.0780000000000000, 0.133000000000000, -0.0100000000000000 ) );
#21413 = VECTOR( '', #23903, 39.3700787402000 );
#21414 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21415 = CARTESIAN_POINT( '', ( 0.228000000000000, 0.133000000000000, -0.0330000000000000 ) );
#21416 = CARTESIAN_POINT( '', ( 0.228000000000000, 0.133000000000000, -0.0400000000000000 ) );
#21417 = VECTOR( '', #23904, 39.3700787402000 );
#21418 = CARTESIAN_POINT( '', ( 0.228000000000000, 0.0300000000000000, -0.0330000000000000 ) );
#21419 = CARTESIAN_POINT( '', ( 0.228000000000000, 0.0300000000000000, -0.0330000000000000 ) );
#21420 = VECTOR( '', #23905, 39.3700787402000 );
#21421 = CARTESIAN_POINT( '', ( 0.228000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#21422 = VECTOR( '', #23906, 39.3700787402000 );
#21423 = CARTESIAN_POINT( '', ( 0.228000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#21424 = VECTOR( '', #23907, 39.3700787402000 );
#21425 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21426 = CARTESIAN_POINT( '', ( 0.0780000000000000, 0.0300000000000000, 0.0330000000000000 ) );
#21427 = CARTESIAN_POINT( '', ( 0.0720000000000000, 0.0300000000000000, 0.0330000000000000 ) );
#21428 = VECTOR( '', #23908, 39.3700787402000 );
#21429 = CARTESIAN_POINT( '', ( 0.0780000000000000, 0.0300000000000000, 0.0330000000000000 ) );
#21430 = VECTOR( '', #23909, 39.3700787402000 );
#21431 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21432 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.0300000000000000, -0.0370000000000000 ) );
#21433 = VECTOR( '', #23910, 39.3700787402000 );
#21434 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21435 = CARTESIAN_POINT( '', ( 0.235000000000000, 6.07153216591882E-18, 0.0490000000000000 ) );
#21436 = VECTOR( '', #23911, 39.3700787402000 );
#21437 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21438 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21439 = CARTESIAN_POINT( '', ( 0.0400000000000000, 0.133000000000000, -0.0100000000000000 ) );
#21440 = VECTOR( '', #23912, 39.3700787402000 );
#21441 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#21442 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#21443 = CARTESIAN_POINT( '', ( 0.0370000000000000, 0.172000000000000, -0.0130000000000000 ) );
#21444 = VECTOR( '', #23913, 39.3700787402000 );
#21445 = CARTESIAN_POINT( '', ( 0.0130000000000000, 0.172000000000000, -0.0130000000000000 ) );
#21446 = VECTOR( '', #23914, 39.3700787402000 );
#21447 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21448 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.00500000000000000, -0.0440000000000000 ) );
#21449 = VECTOR( '', #23915, 39.3700787402000 );
#21450 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21451 = CARTESIAN_POINT( '', ( -0.110000000000000, 0.133000000000000, -0.0100000000000000 ) );
#21452 = CARTESIAN_POINT( '', ( -0.110000000000000, 0.133000000000000, -0.0100000000000000 ) );
#21453 = VECTOR( '', #23916, 39.3700787402000 );
#21454 = CARTESIAN_POINT( '', ( -0.110000000000000, 0.0300000000000000, -0.0100000000000000 ) );
#21455 = VECTOR( '', #23917, 39.3700787402000 );
#21456 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21457 = CARTESIAN_POINT( '', ( 0.0900000000000000, 0.133000000000000, 0.0400000000000000 ) );
#21458 = VECTOR( '', #23918, 39.3700787402000 );
#21459 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21460 = CARTESIAN_POINT( '', ( -0.0600000000000000, 0.133000000000000, -0.0400000000000000 ) );
#21461 = CARTESIAN_POINT( '', ( -0.0600000000000000, 0.133000000000000, -0.0400000000000000 ) );
#21462 = VECTOR( '', #23919, 39.3700787402000 );
#21463 = CARTESIAN_POINT( '', ( -0.0600000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#21464 = VECTOR( '', #23920, 39.3700787402000 );
#21465 = CARTESIAN_POINT( '', ( -0.0600000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#21466 = VECTOR( '', #23921, 39.3700787402000 );
#21467 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21468 = CARTESIAN_POINT( '', ( 0.215000000000000, 0.0300000000000000, 0.131000000000000 ) );
#21469 = VECTOR( '', #23922, 39.3700787402000 );
#21470 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21471 = CARTESIAN_POINT( '', ( -0.172000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#21472 = VECTOR( '', #23923, 39.3700787402000 );
#21473 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#21474 = CARTESIAN_POINT( '', ( -0.0370000000000000, 0.172000000000000, 0.0130000000000000 ) );
#21475 = VECTOR( '', #23924, 39.3700787402000 );
#21476 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21477 = CARTESIAN_POINT( '', ( -0.222000000000000, 0.133000000000000, 0.0330000000000000 ) );
#21478 = VECTOR( '', #23925, 39.3700787402000 );
#21479 = CARTESIAN_POINT( '', ( -0.222000000000000, 0.0300000000000000, 0.0330000000000000 ) );
#21480 = VECTOR( '', #23926, 39.3700787402000 );
#21481 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21482 = CARTESIAN_POINT( '', ( 0.110000000000000, 0.133000000000000, 0.0400000000000000 ) );
#21483 = CARTESIAN_POINT( '', ( 0.122000000000000, 0.133000000000000, 0.0400000000000000 ) );
#21484 = CARTESIAN_POINT( '', ( 0.110000000000000, 0.133000000000000, 0.0400000000000000 ) );
#21485 = VECTOR( '', #23927, 39.3700787402000 );
#21486 = CARTESIAN_POINT( '', ( 0.122000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#21487 = VECTOR( '', #23928, 39.3700787402000 );
#21488 = CARTESIAN_POINT( '', ( 0.110000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#21489 = VECTOR( '', #23929, 39.3700787402000 );
#21490 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21491 = CARTESIAN_POINT( '', ( 0.172000000000000, 0.133000000000000, 0.0330000000000000 ) );
#21492 = CARTESIAN_POINT( '', ( 0.178000000000000, 0.133000000000000, 0.0330000000000000 ) );
#21493 = CARTESIAN_POINT( '', ( 0.172000000000000, 0.133000000000000, 0.0330000000000000 ) );
#21494 = VECTOR( '', #23930, 39.3700787402000 );
#21495 = CARTESIAN_POINT( '', ( 0.178000000000000, 0.0300000000000000, 0.0330000000000000 ) );
#21496 = VECTOR( '', #23931, 39.3700787402000 );
#21497 = CARTESIAN_POINT( '', ( 0.172000000000000, 0.0300000000000000, 0.0330000000000000 ) );
#21498 = VECTOR( '', #23932, 39.3700787402000 );
#21499 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21500 = CARTESIAN_POINT( '', ( 0.178000000000000, 0.133000000000000, 0.0100000000000000 ) );
#21501 = VECTOR( '', #23933, 39.3700787402000 );
#21502 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21503 = CARTESIAN_POINT( '', ( -0.160000000000000, 0.133000000000000, -0.0400000000000000 ) );
#21504 = VECTOR( '', #23934, 39.3700787402000 );
#21505 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21506 = CARTESIAN_POINT( '', ( 0.165000000000000, 0.0300000000000000, 0.131000000000000 ) );
#21507 = VECTOR( '', #23935, 39.3700787402000 );
#21508 = CARTESIAN_POINT( '', ( 0.172000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#21509 = VECTOR( '', #23936, 39.3700787402000 );
#21510 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21511 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21512 = CARTESIAN_POINT( '', ( 0.190000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#21513 = VECTOR( '', #23937, 39.3700787402000 );
#21514 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21515 = CARTESIAN_POINT( '', ( -0.115000000000000, 0.00499999999999999, 0.0370000000000000 ) );
#21516 = VECTOR( '', #23938, 39.3700787402000 );
#21517 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.0299999999999999, 0.0370000000000000 ) );
#21518 = VECTOR( '', #23939, 39.3700787402000 );
#21519 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21520 = CARTESIAN_POINT( '', ( 0.115000000000000, 0.00499999999999999, 0.0370000000000000 ) );
#21521 = CARTESIAN_POINT( '', ( 0.115000000000000, 0.00499999999999999, 0.0370000000000000 ) );
#21522 = VECTOR( '', #23940, 39.3700787402000 );
#21523 = CARTESIAN_POINT( '', ( 0.115000000000000, -0.00700000000000001, 0.0490000000000000 ) );
#21524 = AXIS2_PLACEMENT_3D( '', #23941, #23942, #23943 );
#21525 = CARTESIAN_POINT( '', ( 0.115000000000000, -0.00700000000000001, 0.0904500000000000 ) );
#21526 = VECTOR( '', #23944, 39.3700787402000 );
#21527 = CARTESIAN_POINT( '', ( 0.115000000000000, 6.07153216591882E-18, 0.0490000000000000 ) );
#21528 = CARTESIAN_POINT( '', ( 0.115000000000000, 6.07153216591882E-18, 0.0490000000000000 ) );
#21529 = VECTOR( '', #23945, 39.3700787402000 );
#21530 = CARTESIAN_POINT( '', ( 0.115000000000000, 0.00500000000000002, 0.0440000000000000 ) );
#21531 = AXIS2_PLACEMENT_3D( '', #23946, #23947, #23948 );
#21532 = CARTESIAN_POINT( '', ( 0.115000000000000, 0.0299999999999999, 0.0440000000000000 ) );
#21533 = VECTOR( '', #23949, 39.3700787402000 );
#21534 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21535 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21536 = CARTESIAN_POINT( '', ( -0.140000000000000, 0.133000000000000, -0.0100000000000000 ) );
#21537 = CARTESIAN_POINT( '', ( -0.128000000000000, 0.133000000000000, -0.0100000000000000 ) );
#21538 = CARTESIAN_POINT( '', ( -0.140000000000000, 0.133000000000000, -0.0100000000000000 ) );
#21539 = VECTOR( '', #23950, 39.3700787402000 );
#21540 = CARTESIAN_POINT( '', ( -0.128000000000000, 0.0300000000000000, -0.0100000000000000 ) );
#21541 = VECTOR( '', #23951, 39.3700787402000 );
#21542 = CARTESIAN_POINT( '', ( -0.140000000000000, 0.0300000000000000, -0.0100000000000000 ) );
#21543 = VECTOR( '', #23952, 39.3700787402000 );
#21544 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21545 = CARTESIAN_POINT( '', ( 0.0220000000000000, 0.133000000000000, -0.0170000000000000 ) );
#21546 = CARTESIAN_POINT( '', ( 0.0280000000000000, 0.133000000000000, -0.0170000000000000 ) );
#21547 = CARTESIAN_POINT( '', ( 0.0220000000000000, 0.133000000000000, -0.0170000000000000 ) );
#21548 = VECTOR( '', #23953, 39.3700787402000 );
#21549 = CARTESIAN_POINT( '', ( 0.0280000000000000, 0.0300000000000000, -0.0170000000000000 ) );
#21550 = VECTOR( '', #23954, 39.3700787402000 );
#21551 = CARTESIAN_POINT( '', ( 0.0220000000000000, 0.0300000000000000, -0.0170000000000000 ) );
#21552 = VECTOR( '', #23955, 39.3700787402000 );
#21553 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21554 = CARTESIAN_POINT( '', ( 0.222000000000000, 0.133000000000000, 0.0170000000000000 ) );
#21555 = CARTESIAN_POINT( '', ( 0.222000000000000, 0.133000000000000, 0.0170000000000000 ) );
#21556 = VECTOR( '', #23956, 39.3700787402000 );
#21557 = CARTESIAN_POINT( '', ( 0.222000000000000, 0.0300000000000000, 0.0170000000000000 ) );
#21558 = VECTOR( '', #23957, 39.3700787402000 );
#21559 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21560 = CARTESIAN_POINT( '', ( 0.0150000000000000, 0.0299999999999999, 0.0440000000000000 ) );
#21561 = VECTOR( '', #23958, 39.3700787402000 );
#21562 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#21563 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21564 = CARTESIAN_POINT( '', ( -0.250000000000000, 0.133000000000000, 0.0475000000000000 ) );
#21565 = CARTESIAN_POINT( '', ( -0.250000000000000, 0.133000000000000, 0.0475000000000000 ) );
#21566 = VECTOR( '', #23959, 39.3700787402000 );
#21567 = CARTESIAN_POINT( '', ( -0.250000000000000, 0.0300000000000000, 0.0475000000000000 ) );
#21568 = VECTOR( '', #23960, 39.3700787402000 );
#21569 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21570 = CARTESIAN_POINT( '', ( -0.228000000000000, 0.0300000000000000, -0.0330000000000000 ) );
#21571 = VECTOR( '', #23961, 39.3700787402000 );
#21572 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#21573 = CARTESIAN_POINT( '', ( -0.163000000000000, 0.172000000000000, 0.0130000000000000 ) );
#21574 = VECTOR( '', #23962, 39.3700787402000 );
#21575 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21576 = CARTESIAN_POINT( '', ( 0.250000000000000, -6.40276873515062E-18, -0.0904500000000000 ) );
#21577 = VECTOR( '', #23963, 39.3700787402000 );
#21578 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21579 = CARTESIAN_POINT( '', ( 0.122000000000000, 0.133000000000000, -0.0400000000000000 ) );
#21580 = CARTESIAN_POINT( '', ( 0.122000000000000, 0.133000000000000, -0.0330000000000000 ) );
#21581 = VECTOR( '', #23964, 39.3700787402000 );
#21582 = CARTESIAN_POINT( '', ( 0.122000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#21583 = CARTESIAN_POINT( '', ( 0.122000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#21584 = VECTOR( '', #23965, 39.3700787402000 );
#21585 = CARTESIAN_POINT( '', ( 0.122000000000000, 0.0300000000000000, -0.0330000000000000 ) );
#21586 = VECTOR( '', #23966, 39.3700787402000 );
#21587 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21588 = CARTESIAN_POINT( '', ( 0.0280000000000000, 0.133000000000000, -0.0170000000000000 ) );
#21589 = VECTOR( '', #23967, 39.3700787402000 );
#21590 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#21591 = CARTESIAN_POINT( '', ( 0.0370000000000000, 0.172000000000000, 0.0370000000000000 ) );
#21592 = VECTOR( '', #23968, 39.3700787402000 );
#21593 = CARTESIAN_POINT( '', ( 0.0130000000000000, 0.172000000000000, 0.0370000000000000 ) );
#21594 = VECTOR( '', #23969, 39.3700787402000 );
#21595 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21596 = CARTESIAN_POINT( '', ( -0.185000000000000, 6.07153216591882E-18, 0.0904500000000000 ) );
#21597 = VECTOR( '', #23970, 39.3700787402000 );
#21598 = AXIS2_PLACEMENT_3D( '', #23971, #23972, #23973 );
#21599 = CARTESIAN_POINT( '', ( -0.185000000000000, 0.0300000000000000, 0.131000000000000 ) );
#21600 = VECTOR( '', #23974, 39.3700787402000 );
#21601 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21602 = CARTESIAN_POINT( '', ( 0.250000000000000, -0.00700000000000000, -0.0490000000000000 ) );
#21603 = VECTOR( '', #23975, 39.3700787402000 );
#21604 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21605 = CARTESIAN_POINT( '', ( -0.172000000000000, 0.133000000000000, -0.0330000000000000 ) );
#21606 = VECTOR( '', #23976, 39.3700787402000 );
#21607 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#21608 = CARTESIAN_POINT( '', ( -0.0130000000000000, 0.172000000000000, 0.0130000000000000 ) );
#21609 = VECTOR( '', #23977, 39.3700787402000 );
#21610 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21611 = CARTESIAN_POINT( '', ( -0.0400000000000000, 0.133000000000000, 0.0100000000000000 ) );
#21612 = CARTESIAN_POINT( '', ( -0.0400000000000000, 0.133000000000000, 0.0100000000000000 ) );
#21613 = VECTOR( '', #23978, 39.3700787402000 );
#21614 = CARTESIAN_POINT( '', ( -0.0400000000000000, 0.0300000000000000, 0.0100000000000000 ) );
#21615 = VECTOR( '', #23979, 39.3700787402000 );
#21616 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21617 = CARTESIAN_POINT( '', ( 0.185000000000000, 0.0300000000000000, 0.131000000000000 ) );
#21618 = VECTOR( '', #23980, 39.3700787402000 );
#21619 = CARTESIAN_POINT( '', ( 0.185000000000000, -0.00700000000000001, 0.0904500000000000 ) );
#21620 = VECTOR( '', #23981, 39.3700787402000 );
#21621 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21622 = CARTESIAN_POINT( '', ( 0.0100000000000000, 0.133000000000000, -0.0100000000000000 ) );
#21623 = CARTESIAN_POINT( '', ( 0.0220000000000000, 0.133000000000000, -0.0100000000000000 ) );
#21624 = CARTESIAN_POINT( '', ( 0.0100000000000000, 0.133000000000000, -0.0100000000000000 ) );
#21625 = VECTOR( '', #23982, 39.3700787402000 );
#21626 = CARTESIAN_POINT( '', ( 0.0220000000000000, 0.0300000000000000, -0.0100000000000000 ) );
#21627 = VECTOR( '', #23983, 39.3700787402000 );
#21628 = CARTESIAN_POINT( '', ( 0.0100000000000000, 0.0300000000000000, -0.0100000000000000 ) );
#21629 = VECTOR( '', #23984, 39.3700787402000 );
#21630 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#21631 = CARTESIAN_POINT( '', ( 0.0370000000000000, 0.172000000000000, -0.0370000000000000 ) );
#21632 = VECTOR( '', #23985, 39.3700787402000 );
#21633 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21634 = CARTESIAN_POINT( '', ( -0.0280000000000000, 0.133000000000000, -0.0400000000000000 ) );
#21635 = VECTOR( '', #23986, 39.3700787402000 );
#21636 = CARTESIAN_POINT( '', ( -0.0280000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#21637 = VECTOR( '', #23987, 39.3700787402000 );
#21638 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21639 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21640 = CARTESIAN_POINT( '', ( 0.172000000000000, 0.133000000000000, -0.0100000000000000 ) );
#21641 = CARTESIAN_POINT( '', ( 0.160000000000000, 0.133000000000000, -0.0100000000000000 ) );
#21642 = VECTOR( '', #23988, 39.3700787402000 );
#21643 = CARTESIAN_POINT( '', ( 0.172000000000000, 0.0300000000000000, -0.0100000000000000 ) );
#21644 = VECTOR( '', #23989, 39.3700787402000 );
#21645 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21646 = CARTESIAN_POINT( '', ( 0.0100000000000000, 0.133000000000000, -0.0400000000000000 ) );
#21647 = CARTESIAN_POINT( '', ( 0.0100000000000000, 0.133000000000000, -0.0400000000000000 ) );
#21648 = VECTOR( '', #23990, 39.3700787402000 );
#21649 = CARTESIAN_POINT( '', ( 0.0100000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#21650 = VECTOR( '', #23991, 39.3700787402000 );
#21651 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#21652 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21653 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21654 = CARTESIAN_POINT( '', ( 0.140000000000000, 0.133000000000000, 0.0100000000000000 ) );
#21655 = CARTESIAN_POINT( '', ( 0.128000000000000, 0.133000000000000, 0.0100000000000000 ) );
#21656 = CARTESIAN_POINT( '', ( 0.140000000000000, 0.133000000000000, 0.0100000000000000 ) );
#21657 = VECTOR( '', #23992, 39.3700787402000 );
#21658 = CARTESIAN_POINT( '', ( 0.128000000000000, 0.0300000000000000, 0.0100000000000000 ) );
#21659 = VECTOR( '', #23993, 39.3700787402000 );
#21660 = CARTESIAN_POINT( '', ( 0.140000000000000, 0.0300000000000000, 0.0100000000000000 ) );
#21661 = VECTOR( '', #23994, 39.3700787402000 );
#21662 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21663 = CARTESIAN_POINT( '', ( 0.165000000000000, 0.00500000000000000, -0.0440000000000000 ) );
#21664 = VECTOR( '', #23995, 39.3700787402000 );
#21665 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21666 = CARTESIAN_POINT( '', ( 0.222000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#21667 = VECTOR( '', #23996, 39.3700787402000 );
#21668 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#21669 = CARTESIAN_POINT( '', ( 0.237000000000000, 0.172000000000000, 0.0370000000000000 ) );
#21670 = VECTOR( '', #23997, 39.3700787402000 );
#21671 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21672 = CARTESIAN_POINT( '', ( 0.222000000000000, 0.133000000000000, 0.0400000000000000 ) );
#21673 = VECTOR( '', #23998, 39.3700787402000 );
#21674 = CARTESIAN_POINT( '', ( 0.222000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#21675 = VECTOR( '', #23999, 39.3700787402000 );
#21676 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21677 = CARTESIAN_POINT( '', ( 0.190000000000000, 0.133000000000000, 0.0400000000000000 ) );
#21678 = VECTOR( '', #24000, 39.3700787402000 );
#21679 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21680 = CARTESIAN_POINT( '', ( -0.122000000000000, 0.133000000000000, -0.0100000000000000 ) );
#21681 = CARTESIAN_POINT( '', ( -0.122000000000000, 0.133000000000000, -0.0100000000000000 ) );
#21682 = VECTOR( '', #24001, 39.3700787402000 );
#21683 = CARTESIAN_POINT( '', ( -0.122000000000000, 0.0300000000000000, -0.0100000000000000 ) );
#21684 = VECTOR( '', #24002, 39.3700787402000 );
#21685 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21686 = CARTESIAN_POINT( '', ( -0.160000000000000, 0.133000000000000, 0.0400000000000000 ) );
#21687 = CARTESIAN_POINT( '', ( -0.172000000000000, 0.133000000000000, 0.0400000000000000 ) );
#21688 = VECTOR( '', #24003, 39.3700787402000 );
#21689 = CARTESIAN_POINT( '', ( -0.160000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#21690 = VECTOR( '', #24004, 39.3700787402000 );
#21691 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21692 = CARTESIAN_POINT( '', ( 0.215000000000000, -0.00700000000000001, -0.0904500000000000 ) );
#21693 = CARTESIAN_POINT( '', ( 0.250000000000000, -0.00700000000000001, -0.0904500000000000 ) );
#21694 = VECTOR( '', #24005, 39.3700787402000 );
#21695 = CARTESIAN_POINT( '', ( 0.215000000000000, -6.07153216591882E-18, -0.0904500000000000 ) );
#21696 = CARTESIAN_POINT( '', ( 0.215000000000000, -0.00700000000000001, -0.0904500000000000 ) );
#21697 = VECTOR( '', #24006, 39.3700787402000 );
#21698 = CARTESIAN_POINT( '', ( 0.250000000000000, -6.40276873515062E-18, -0.0904500000000000 ) );
#21699 = VECTOR( '', #24007, 39.3700787402000 );
#21700 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21701 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21702 = CARTESIAN_POINT( '', ( -0.128000000000000, 0.133000000000000, -0.0170000000000000 ) );
#21703 = CARTESIAN_POINT( '', ( -0.122000000000000, 0.133000000000000, -0.0170000000000000 ) );
#21704 = CARTESIAN_POINT( '', ( -0.128000000000000, 0.133000000000000, -0.0170000000000000 ) );
#21705 = VECTOR( '', #24008, 39.3700787402000 );
#21706 = CARTESIAN_POINT( '', ( -0.122000000000000, 0.0300000000000000, -0.0170000000000000 ) );
#21707 = VECTOR( '', #24009, 39.3700787402000 );
#21708 = CARTESIAN_POINT( '', ( -0.128000000000000, 0.0300000000000000, -0.0170000000000000 ) );
#21709 = VECTOR( '', #24010, 39.3700787402000 );
#21710 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21711 = CARTESIAN_POINT( '', ( -0.172000000000000, 0.133000000000000, -0.0170000000000000 ) );
#21712 = CARTESIAN_POINT( '', ( -0.172000000000000, 0.133000000000000, -0.0100000000000000 ) );
#21713 = CARTESIAN_POINT( '', ( -0.172000000000000, 0.133000000000000, -0.0170000000000000 ) );
#21714 = VECTOR( '', #24011, 39.3700787402000 );
#21715 = CARTESIAN_POINT( '', ( -0.172000000000000, 0.0300000000000000, -0.0100000000000000 ) );
#21716 = VECTOR( '', #24012, 39.3700787402000 );
#21717 = CARTESIAN_POINT( '', ( -0.172000000000000, 0.0300000000000000, -0.0170000000000000 ) );
#21718 = VECTOR( '', #24013, 39.3700787402000 );
#21719 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21720 = CARTESIAN_POINT( '', ( -0.128000000000000, 0.133000000000000, -0.0100000000000000 ) );
#21721 = VECTOR( '', #24014, 39.3700787402000 );
#21722 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21723 = CARTESIAN_POINT( '', ( 0.228000000000000, 0.133000000000000, 0.0400000000000000 ) );
#21724 = VECTOR( '', #24015, 39.3700787402000 );
#21725 = CARTESIAN_POINT( '', ( 0.228000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#21726 = VECTOR( '', #24016, 39.3700787402000 );
#21727 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21728 = CARTESIAN_POINT( '', ( -0.0280000000000000, 0.133000000000000, 0.0170000000000000 ) );
#21729 = CARTESIAN_POINT( '', ( -0.0220000000000000, 0.133000000000000, 0.0170000000000000 ) );
#21730 = VECTOR( '', #24017, 39.3700787402000 );
#21731 = CARTESIAN_POINT( '', ( -0.0280000000000000, 0.0300000000000000, 0.0170000000000000 ) );
#21732 = VECTOR( '', #24018, 39.3700787402000 );
#21733 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21734 = CARTESIAN_POINT( '', ( -0.128000000000000, 0.133000000000000, 0.0100000000000000 ) );
#21735 = VECTOR( '', #24019, 39.3700787402000 );
#21736 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21737 = CARTESIAN_POINT( '', ( -0.115000000000000, 0.000000000000000, 0.0490000000000000 ) );
#21738 = CARTESIAN_POINT( '', ( -0.115000000000000, 6.07153216591882E-18, 0.0490000000000000 ) );
#21739 = VECTOR( '', #24020, 39.3700787402000 );
#21740 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.000000000000000, 0.0490000000000000 ) );
#21741 = VECTOR( '', #24021, 39.3700787402000 );
#21742 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21743 = CARTESIAN_POINT( '', ( 0.128000000000000, 0.133000000000000, -0.0170000000000000 ) );
#21744 = CARTESIAN_POINT( '', ( 0.122000000000000, 0.133000000000000, -0.0170000000000000 ) );
#21745 = VECTOR( '', #24022, 39.3700787402000 );
#21746 = CARTESIAN_POINT( '', ( 0.128000000000000, 0.0300000000000000, -0.0170000000000000 ) );
#21747 = VECTOR( '', #24023, 39.3700787402000 );
#21748 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#21749 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21750 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.00500000000000000, -0.0440000000000000 ) );
#21751 = VECTOR( '', #24024, 39.3700787402000 );
#21752 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21753 = CARTESIAN_POINT( '', ( 0.0220000000000000, 0.133000000000000, 0.0170000000000000 ) );
#21754 = VECTOR( '', #24025, 39.3700787402000 );
#21755 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21756 = CARTESIAN_POINT( '', ( -0.160000000000000, 0.133000000000000, 0.0100000000000000 ) );
#21757 = CARTESIAN_POINT( '', ( -0.160000000000000, 0.133000000000000, 0.0400000000000000 ) );
#21758 = VECTOR( '', #24026, 39.3700787402000 );
#21759 = CARTESIAN_POINT( '', ( -0.160000000000000, 0.0300000000000000, 0.0100000000000000 ) );
#21760 = VECTOR( '', #24027, 39.3700787402000 );
#21761 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#21762 = CARTESIAN_POINT( '', ( -0.237000000000000, 0.172000000000000, 0.0370000000000000 ) );
#21763 = VECTOR( '', #24028, 39.3700787402000 );
#21764 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21765 = CARTESIAN_POINT( '', ( -0.0280000000000000, 0.133000000000000, 0.0100000000000000 ) );
#21766 = CARTESIAN_POINT( '', ( -0.0280000000000000, 0.133000000000000, 0.0100000000000000 ) );
#21767 = VECTOR( '', #24029, 39.3700787402000 );
#21768 = CARTESIAN_POINT( '', ( -0.0280000000000000, 0.0300000000000000, 0.0100000000000000 ) );
#21769 = VECTOR( '', #24030, 39.3700787402000 );
#21770 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21771 = AXIS2_PLACEMENT_3D( '', #24031, #24032, #24033 );
#21772 = CARTESIAN_POINT( '', ( 0.0150000000000000, 0.0300000000000000, 0.131000000000000 ) );
#21773 = VECTOR( '', #24034, 39.3700787402000 );
#21774 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#21775 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21776 = CARTESIAN_POINT( '', ( 0.210000000000000, 0.133000000000000, 0.000000000000000 ) );
#21777 = AXIS2_PLACEMENT_3D( '', #24035, #24036, #24037 );
#21778 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#21779 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21780 = CARTESIAN_POINT( '', ( -0.0780000000000000, 0.133000000000000, -0.0330000000000000 ) );
#21781 = VECTOR( '', #24038, 39.3700787402000 );
#21782 = CARTESIAN_POINT( '', ( -0.0780000000000000, 0.0300000000000000, -0.0330000000000000 ) );
#21783 = VECTOR( '', #24039, 39.3700787402000 );
#21784 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#21785 = CARTESIAN_POINT( '', ( 0.187000000000000, 0.172000000000000, 0.0370000000000000 ) );
#21786 = VECTOR( '', #24040, 39.3700787402000 );
#21787 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#21788 = CARTESIAN_POINT( '', ( -0.0630000000000000, 0.172000000000000, 0.0370000000000000 ) );
#21789 = VECTOR( '', #24041, 39.3700787402000 );
#21790 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21791 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21792 = CARTESIAN_POINT( '', ( 0.122000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#21793 = VECTOR( '', #24042, 39.3700787402000 );
#21794 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21795 = CARTESIAN_POINT( '', ( -0.0280000000000000, 0.133000000000000, 0.0170000000000000 ) );
#21796 = VECTOR( '', #24043, 39.3700787402000 );
#21797 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21798 = CARTESIAN_POINT( '', ( 0.235000000000000, -0.00700000000000001, 0.0490000000000000 ) );
#21799 = AXIS2_PLACEMENT_3D( '', #24044, #24045, #24046 );
#21800 = CARTESIAN_POINT( '', ( 0.250000000000000, -0.00700000000000001, 0.0490000000000000 ) );
#21801 = VECTOR( '', #24047, 39.3700787402000 );
#21802 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21803 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21804 = CARTESIAN_POINT( '', ( -0.0720000000000000, 0.133000000000000, -0.0100000000000000 ) );
#21805 = CARTESIAN_POINT( '', ( -0.0600000000000000, 0.133000000000000, -0.0100000000000000 ) );
#21806 = CARTESIAN_POINT( '', ( -0.0720000000000000, 0.133000000000000, -0.0100000000000000 ) );
#21807 = VECTOR( '', #24048, 39.3700787402000 );
#21808 = CARTESIAN_POINT( '', ( -0.0600000000000000, 0.0300000000000000, -0.0100000000000000 ) );
#21809 = VECTOR( '', #24049, 39.3700787402000 );
#21810 = CARTESIAN_POINT( '', ( -0.0720000000000000, 0.0300000000000000, -0.0100000000000000 ) );
#21811 = VECTOR( '', #24050, 39.3700787402000 );
#21812 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21813 = CARTESIAN_POINT( '', ( 0.250000000000000, -6.07153216591882E-18, -0.0490000000000000 ) );
#21814 = VECTOR( '', #24051, 39.3700787402000 );
#21815 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#21816 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21817 = CARTESIAN_POINT( '', ( 0.235000000000000, 0.0300000000000000, 0.131000000000000 ) );
#21818 = VECTOR( '', #24052, 39.3700787402000 );
#21819 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#21820 = CARTESIAN_POINT( '', ( -0.0870000000000000, 0.172000000000000, -0.0130000000000000 ) );
#21821 = VECTOR( '', #24053, 39.3700787402000 );
#21822 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#21823 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21824 = CARTESIAN_POINT( '', ( -0.0720000000000000, 0.133000000000000, -0.0170000000000000 ) );
#21825 = VECTOR( '', #24054, 39.3700787402000 );
#21826 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21827 = CARTESIAN_POINT( '', ( -0.0780000000000000, 0.133000000000000, 0.0100000000000000 ) );
#21828 = CARTESIAN_POINT( '', ( -0.0780000000000000, 0.133000000000000, 0.0100000000000000 ) );
#21829 = VECTOR( '', #24055, 39.3700787402000 );
#21830 = CARTESIAN_POINT( '', ( -0.0780000000000000, 0.0300000000000000, 0.0100000000000000 ) );
#21831 = VECTOR( '', #24056, 39.3700787402000 );
#21832 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21833 = CARTESIAN_POINT( '', ( 0.235000000000000, 0.0299999999999999, 0.0440000000000000 ) );
#21834 = VECTOR( '', #24057, 39.3700787402000 );
#21835 = CARTESIAN_POINT( '', ( 0.235000000000000, -0.00700000000000001, 0.0904500000000000 ) );
#21836 = VECTOR( '', #24058, 39.3700787402000 );
#21837 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#21838 = CARTESIAN_POINT( '', ( 0.200000000000000, -0.0187500000000000, -0.0125000000000000 ) );
#21839 = AXIS2_PLACEMENT_3D( '', #24059, #24060, #24061 );
#21840 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21841 = CARTESIAN_POINT( '', ( 0.228000000000000, 0.133000000000000, 0.0170000000000000 ) );
#21842 = VECTOR( '', #24062, 39.3700787402000 );
#21843 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21844 = CARTESIAN_POINT( '', ( -0.228000000000000, 0.133000000000000, -0.0170000000000000 ) );
#21845 = VECTOR( '', #24063, 39.3700787402000 );
#21846 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21847 = CARTESIAN_POINT( '', ( -0.0650000000000001, 0.00500000000000000, -0.0440000000000000 ) );
#21848 = VECTOR( '', #24064, 39.3700787402000 );
#21849 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21850 = CARTESIAN_POINT( '', ( 0.178000000000000, 0.133000000000000, -0.0100000000000000 ) );
#21851 = VECTOR( '', #24065, 39.3700787402000 );
#21852 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21853 = CARTESIAN_POINT( '', ( -0.172000000000000, 0.133000000000000, 0.0100000000000000 ) );
#21854 = CARTESIAN_POINT( '', ( -0.172000000000000, 0.133000000000000, 0.0100000000000000 ) );
#21855 = VECTOR( '', #24066, 39.3700787402000 );
#21856 = CARTESIAN_POINT( '', ( -0.172000000000000, 0.0300000000000000, 0.0100000000000000 ) );
#21857 = VECTOR( '', #24067, 39.3700787402000 );
#21858 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#21859 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21860 = CARTESIAN_POINT( '', ( 0.178000000000000, 0.133000000000000, 0.0330000000000000 ) );
#21861 = VECTOR( '', #24068, 39.3700787402000 );
#21862 = CARTESIAN_POINT( '', ( 0.178000000000000, 0.0300000000000000, 0.0330000000000000 ) );
#21863 = VECTOR( '', #24069, 39.3700787402000 );
#21864 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#21865 = CARTESIAN_POINT( '', ( 0.187000000000000, 0.172000000000000, 0.0130000000000000 ) );
#21866 = VECTOR( '', #24070, 39.3700787402000 );
#21867 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#21868 = CARTESIAN_POINT( '', ( -0.252250000000000, 0.172000000000000, 0.0655000000000000 ) );
#21869 = VECTOR( '', #24071, 39.3700787402000 );
#21870 = CARTESIAN_POINT( '', ( -0.252250000000000, 0.000000000000000, -0.0555000000000000 ) );
#21871 = VECTOR( '', #24072, 39.3700787402000 );
#21872 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#21873 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21874 = CARTESIAN_POINT( '', ( 0.122000000000000, 0.133000000000000, 0.0100000000000000 ) );
#21875 = CARTESIAN_POINT( '', ( 0.122000000000000, 0.133000000000000, 0.0170000000000000 ) );
#21876 = VECTOR( '', #24073, 39.3700787402000 );
#21877 = CARTESIAN_POINT( '', ( 0.122000000000000, 0.0300000000000000, 0.0100000000000000 ) );
#21878 = VECTOR( '', #24074, 39.3700787402000 );
#21879 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#21880 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21881 = CARTESIAN_POINT( '', ( 0.0220000000000000, 0.133000000000000, -0.0100000000000000 ) );
#21882 = VECTOR( '', #24075, 39.3700787402000 );
#21883 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21884 = CARTESIAN_POINT( '', ( -0.0600000000000000, 0.133000000000000, -0.0100000000000000 ) );
#21885 = VECTOR( '', #24076, 39.3700787402000 );
#21886 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#21887 = CARTESIAN_POINT( '', ( 0.200000000000000, -0.0300000000000000, -0.00124999999999999 ) );
#21888 = AXIS2_PLACEMENT_3D( '', #24077, #24078, #24079 );
#21889 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21890 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.0300000000000000, -0.0370000000000000 ) );
#21891 = VECTOR( '', #24080, 39.3700787402000 );
#21892 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21893 = CARTESIAN_POINT( '', ( 0.0780000000000000, 0.133000000000000, -0.0100000000000000 ) );
#21894 = CARTESIAN_POINT( '', ( 0.0900000000000000, 0.133000000000000, -0.0100000000000000 ) );
#21895 = CARTESIAN_POINT( '', ( 0.0780000000000000, 0.133000000000000, -0.0100000000000000 ) );
#21896 = VECTOR( '', #24081, 39.3700787402000 );
#21897 = CARTESIAN_POINT( '', ( 0.0900000000000000, 0.0300000000000000, -0.0100000000000000 ) );
#21898 = VECTOR( '', #24082, 39.3700787402000 );
#21899 = CARTESIAN_POINT( '', ( 0.0780000000000000, 0.0300000000000000, -0.0100000000000000 ) );
#21900 = VECTOR( '', #24083, 39.3700787402000 );
#21901 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21902 = CARTESIAN_POINT( '', ( -0.0220000000000000, 0.133000000000000, -0.0330000000000000 ) );
#21903 = CARTESIAN_POINT( '', ( -0.0220000000000000, 0.133000000000000, -0.0400000000000000 ) );
#21904 = VECTOR( '', #24084, 39.3700787402000 );
#21905 = CARTESIAN_POINT( '', ( -0.0220000000000000, 0.0300000000000000, -0.0330000000000000 ) );
#21906 = CARTESIAN_POINT( '', ( -0.0220000000000000, 0.0300000000000000, -0.0330000000000000 ) );
#21907 = VECTOR( '', #24085, 39.3700787402000 );
#21908 = CARTESIAN_POINT( '', ( -0.0220000000000000, 0.0300000000000000, -0.0400000000000000 ) );
#21909 = VECTOR( '', #24086, 39.3700787402000 );
#21910 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#21911 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21912 = CARTESIAN_POINT( '', ( 0.135000000000000, 0.00500000000000000, 0.0370000000000000 ) );
#21913 = CARTESIAN_POINT( '', ( 0.135000000000000, 0.0300000000000000, 0.0370000000000000 ) );
#21914 = CARTESIAN_POINT( '', ( 0.135000000000000, 0.00499999999999999, 0.0370000000000000 ) );
#21915 = VECTOR( '', #24087, 39.3700787402000 );
#21916 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.00499999999999999, 0.0370000000000000 ) );
#21917 = VECTOR( '', #24088, 39.3700787402000 );
#21918 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.0299999999999999, 0.0370000000000000 ) );
#21919 = VECTOR( '', #24089, 39.3700787402000 );
#21920 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21921 = CARTESIAN_POINT( '', ( 0.0850000000000000, 0.0300000000000000, 0.131000000000000 ) );
#21922 = VECTOR( '', #24090, 39.3700787402000 );
#21923 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21924 = CARTESIAN_POINT( '', ( -0.0220000000000000, 0.133000000000000, -0.0330000000000000 ) );
#21925 = VECTOR( '', #24091, 39.3700787402000 );
#21926 = CARTESIAN_POINT( '', ( -0.0220000000000000, 0.0300000000000000, -0.0330000000000000 ) );
#21927 = VECTOR( '', #24092, 39.3700787402000 );
#21928 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#21929 = CARTESIAN_POINT( '', ( -0.0130000000000000, 0.172000000000000, -0.0130000000000000 ) );
#21930 = VECTOR( '', #24093, 39.3700787402000 );
#21931 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21932 = CARTESIAN_POINT( '', ( -0.0600000000000000, 0.133000000000000, 0.0100000000000000 ) );
#21933 = CARTESIAN_POINT( '', ( -0.0600000000000000, 0.133000000000000, 0.0400000000000000 ) );
#21934 = VECTOR( '', #24094, 39.3700787402000 );
#21935 = CARTESIAN_POINT( '', ( -0.0600000000000000, 0.0300000000000000, 0.0100000000000000 ) );
#21936 = VECTOR( '', #24095, 39.3700787402000 );
#21937 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#21938 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21939 = CARTESIAN_POINT( '', ( -0.250000000000000, 0.133000000000000, -0.0475000000000000 ) );
#21940 = CARTESIAN_POINT( '', ( -0.250000000000000, 0.133000000000000, -0.0475000000000000 ) );
#21941 = VECTOR( '', #24096, 39.3700787402000 );
#21942 = CARTESIAN_POINT( '', ( -0.250000000000000, 0.0300000000000000, -0.0475000000000000 ) );
#21943 = VECTOR( '', #24097, 39.3700787402000 );
#21944 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21945 = CARTESIAN_POINT( '', ( -0.0280000000000000, 0.133000000000000, -0.0100000000000000 ) );
#21946 = VECTOR( '', #24098, 39.3700787402000 );
#21947 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21948 = CARTESIAN_POINT( '', ( 0.0100000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#21949 = VECTOR( '', #24099, 39.3700787402000 );
#21950 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21951 = CARTESIAN_POINT( '', ( 0.190000000000000, 0.133000000000000, -0.0400000000000000 ) );
#21952 = VECTOR( '', #24100, 39.3700787402000 );
#21953 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21954 = CARTESIAN_POINT( '', ( -0.122000000000000, 0.133000000000000, 0.0100000000000000 ) );
#21955 = VECTOR( '', #24101, 39.3700787402000 );
#21956 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21957 = CARTESIAN_POINT( '', ( -0.00999999999999997, 0.133000000000000, 0.0100000000000000 ) );
#21958 = VECTOR( '', #24102, 39.3700787402000 );
#21959 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21960 = CARTESIAN_POINT( '', ( -0.0350000000000000, 0.00499999999999999, -0.0370000000000000 ) );
#21961 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.00499999999999998, -0.0370000000000000 ) );
#21962 = VECTOR( '', #24103, 39.3700787402000 );
#21963 = AXIS2_PLACEMENT_3D( '', #24104, #24105, #24106 );
#21964 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21965 = CARTESIAN_POINT( '', ( -0.190000000000000, 0.133000000000000, -0.0100000000000000 ) );
#21966 = VECTOR( '', #24107, 39.3700787402000 );
#21967 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21968 = CARTESIAN_POINT( '', ( -0.0350000000000000, 0.0300000000000000, -0.0370000000000000 ) );
#21969 = CARTESIAN_POINT( '', ( -0.0350000000000000, 0.0300000000000000, -0.0370000000000000 ) );
#21970 = VECTOR( '', #24108, 39.3700787402000 );
#21971 = CARTESIAN_POINT( '', ( -0.0350000000000000, 0.0300000000000000, 0.131000000000000 ) );
#21972 = VECTOR( '', #24109, 39.3700787402000 );
#21973 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21974 = CARTESIAN_POINT( '', ( 0.0600000000000000, 0.133000000000000, 0.0400000000000000 ) );
#21975 = VECTOR( '', #24110, 39.3700787402000 );
#21976 = CARTESIAN_POINT( '', ( 0.0600000000000000, 0.0300000000000000, 0.0400000000000000 ) );
#21977 = VECTOR( '', #24111, 39.3700787402000 );
#21978 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21979 = CARTESIAN_POINT( '', ( 0.250000000000000, -0.00700000000000001, 0.0904500000000000 ) );
#21980 = VECTOR( '', #24112, 39.3700787402000 );
#21981 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21982 = CARTESIAN_POINT( '', ( 0.172000000000000, 0.133000000000000, 0.0400000000000000 ) );
#21983 = VECTOR( '', #24113, 39.3700787402000 );
#21984 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#21985 = CARTESIAN_POINT( '', ( -0.137000000000000, 0.172000000000000, -0.0370000000000000 ) );
#21986 = VECTOR( '', #24114, 39.3700787402000 );
#21987 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21988 = CARTESIAN_POINT( '', ( 0.110000000000000, 0.133000000000000, 0.0100000000000000 ) );
#21989 = CARTESIAN_POINT( '', ( 0.122000000000000, 0.133000000000000, 0.0100000000000000 ) );
#21990 = VECTOR( '', #24115, 39.3700787402000 );
#21991 = CARTESIAN_POINT( '', ( 0.110000000000000, 0.0300000000000000, 0.0100000000000000 ) );
#21992 = VECTOR( '', #24116, 39.3700787402000 );
#21993 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21994 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21995 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21996 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#21997 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21998 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#21999 = CARTESIAN_POINT( '', ( 0.0400000000000000, 0.133000000000000, 0.0100000000000000 ) );
#22000 = VECTOR( '', #24117, 39.3700787402000 );
#22001 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22002 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.00500000000000002, 0.0440000000000000 ) );
#22003 = VECTOR( '', #24118, 39.3700787402000 );
#22004 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22005 = CARTESIAN_POINT( '', ( 0.250000000000000, -0.00700000000000001, 0.0490000000000000 ) );
#22006 = VECTOR( '', #24119, 39.3700787402000 );
#22007 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.00499999999999999, 0.0370000000000000 ) );
#22008 = VECTOR( '', #24120, 39.3700787402000 );
#22009 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22010 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.0299999999999999, 0.0370000000000000 ) );
#22011 = VECTOR( '', #24121, 39.3700787402000 );
#22012 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#22013 = CARTESIAN_POINT( '', ( 0.0130000000000000, 0.172000000000000, -0.0370000000000000 ) );
#22014 = VECTOR( '', #24122, 39.3700787402000 );
#22015 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22016 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22017 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#22018 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#22019 = CARTESIAN_POINT( '', ( -0.187000000000000, 0.172000000000000, 0.0130000000000000 ) );
#22020 = VECTOR( '', #24123, 39.3700787402000 );
#22021 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22022 = CARTESIAN_POINT( '', ( 0.0900000000000000, 0.133000000000000, -0.0100000000000000 ) );
#22023 = VECTOR( '', #24124, 39.3700787402000 );
#22024 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#22025 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22026 = CARTESIAN_POINT( '', ( -0.00999999999999997, 0.133000000000000, -0.0100000000000000 ) );
#22027 = CARTESIAN_POINT( '', ( -0.00999999999999997, 0.133000000000000, -0.0100000000000000 ) );
#22028 = VECTOR( '', #24125, 39.3700787402000 );
#22029 = CARTESIAN_POINT( '', ( -0.00999999999999997, 0.0300000000000000, -0.0100000000000000 ) );
#22030 = VECTOR( '', #24126, 39.3700787402000 );
#22031 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22032 = CARTESIAN_POINT( '', ( -0.0650000000000000, 0.0300000000000000, -0.0370000000000000 ) );
#22033 = CARTESIAN_POINT( '', ( -0.0650000000000000, 0.0300000000000000, 0.131000000000000 ) );
#22034 = VECTOR( '', #24127, 39.3700787402000 );
#22035 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.0300000000000000, -0.0370000000000000 ) );
#22036 = VECTOR( '', #24128, 39.3700787402000 );
#22037 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22038 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22039 = CARTESIAN_POINT( '', ( 0.0650000000000000, 0.0300000000000000, 0.131000000000000 ) );