Newer
Older
25001
25002
25003
25004
25005
25006
25007
25008
25009
25010
25011
25012
25013
25014
25015
25016
25017
25018
25019
25020
25021
25022
25023
25024
25025
25026
25027
25028
25029
25030
25031
25032
25033
25034
25035
25036
25037
25038
25039
25040
25041
25042
25043
25044
25045
25046
25047
25048
25049
25050
25051
25052
25053
25054
25055
25056
25057
25058
25059
25060
25061
25062
25063
25064
25065
25066
25067
25068
25069
25070
25071
25072
25073
25074
25075
25076
25077
25078
25079
25080
25081
25082
25083
25084
25085
25086
25087
25088
25089
25090
25091
25092
25093
25094
25095
25096
25097
25098
25099
25100
25101
25102
25103
25104
25105
25106
25107
25108
25109
25110
25111
25112
25113
25114
25115
25116
25117
25118
25119
25120
25121
25122
25123
25124
25125
25126
25127
25128
25129
25130
25131
25132
25133
25134
25135
25136
25137
25138
25139
25140
25141
25142
25143
25144
25145
25146
25147
25148
25149
25150
25151
25152
25153
25154
25155
25156
25157
25158
25159
25160
25161
25162
25163
25164
25165
25166
25167
25168
25169
25170
25171
25172
25173
25174
25175
25176
25177
25178
25179
25180
25181
25182
25183
25184
25185
25186
25187
25188
25189
25190
25191
25192
25193
25194
25195
25196
25197
25198
25199
25200
25201
25202
25203
25204
25205
25206
25207
25208
25209
25210
25211
25212
25213
25214
25215
25216
25217
25218
25219
25220
25221
25222
25223
25224
25225
25226
25227
25228
25229
25230
25231
25232
25233
25234
25235
25236
25237
25238
25239
25240
25241
25242
25243
25244
25245
25246
25247
25248
25249
25250
25251
25252
25253
25254
25255
25256
25257
25258
25259
25260
25261
25262
25263
25264
25265
25266
25267
25268
25269
25270
25271
25272
25273
25274
25275
25276
25277
25278
25279
25280
25281
25282
25283
25284
25285
25286
25287
25288
25289
25290
25291
25292
25293
25294
25295
25296
25297
25298
25299
25300
25301
25302
25303
25304
25305
25306
25307
25308
25309
25310
25311
25312
25313
25314
25315
25316
25317
25318
25319
25320
25321
25322
25323
25324
25325
25326
25327
25328
25329
25330
25331
25332
25333
25334
25335
25336
25337
25338
25339
25340
25341
25342
25343
25344
25345
25346
25347
25348
25349
25350
25351
25352
25353
25354
25355
25356
25357
25358
25359
25360
25361
25362
25363
25364
25365
25366
25367
25368
25369
25370
25371
25372
25373
25374
25375
25376
25377
25378
25379
25380
25381
25382
25383
25384
25385
25386
25387
25388
25389
25390
25391
25392
25393
25394
25395
25396
25397
25398
25399
25400
25401
25402
25403
25404
25405
25406
25407
25408
25409
25410
25411
25412
25413
25414
25415
25416
25417
25418
25419
25420
25421
25422
25423
25424
25425
25426
25427
25428
25429
25430
25431
25432
25433
25434
25435
25436
25437
25438
25439
25440
25441
25442
25443
25444
25445
25446
25447
25448
25449
25450
25451
25452
25453
25454
25455
25456
25457
25458
25459
25460
25461
25462
25463
25464
25465
25466
25467
25468
25469
25470
25471
25472
25473
25474
25475
25476
25477
25478
25479
25480
25481
25482
25483
25484
25485
25486
25487
25488
25489
25490
25491
25492
25493
25494
25495
25496
25497
25498
25499
25500
25501
25502
25503
25504
25505
25506
25507
25508
25509
25510
25511
25512
25513
25514
25515
25516
25517
25518
25519
25520
25521
25522
25523
25524
25525
25526
25527
25528
25529
25530
25531
25532
25533
25534
25535
25536
25537
25538
25539
25540
25541
25542
25543
25544
25545
25546
25547
25548
25549
25550
25551
25552
25553
25554
25555
25556
25557
25558
25559
25560
25561
25562
25563
25564
25565
25566
25567
25568
25569
25570
25571
25572
25573
25574
25575
25576
25577
25578
25579
25580
25581
25582
25583
25584
25585
25586
25587
25588
25589
25590
25591
25592
25593
25594
25595
25596
25597
25598
25599
25600
25601
25602
25603
25604
25605
25606
25607
25608
25609
25610
25611
25612
25613
25614
25615
25616
25617
25618
25619
25620
25621
25622
25623
25624
25625
25626
25627
25628
25629
25630
25631
25632
25633
25634
25635
25636
25637
25638
25639
25640
25641
25642
25643
25644
25645
25646
25647
25648
25649
25650
25651
25652
25653
25654
25655
25656
25657
25658
25659
25660
25661
25662
25663
25664
25665
25666
25667
25668
25669
25670
25671
25672
25673
25674
25675
25676
25677
25678
25679
25680
25681
25682
25683
25684
25685
25686
25687
25688
25689
25690
25691
25692
25693
25694
25695
25696
25697
25698
25699
25700
25701
25702
25703
25704
25705
25706
25707
25708
25709
25710
25711
25712
25713
25714
25715
25716
25717
25718
25719
25720
25721
25722
25723
25724
25725
25726
25727
25728
25729
25730
25731
25732
25733
25734
25735
25736
25737
25738
25739
25740
25741
25742
25743
25744
25745
25746
25747
25748
25749
25750
25751
25752
25753
25754
25755
25756
25757
25758
25759
25760
25761
25762
25763
25764
25765
25766
25767
25768
25769
25770
25771
25772
25773
25774
25775
25776
25777
25778
25779
25780
25781
25782
25783
25784
25785
25786
25787
25788
25789
25790
25791
25792
25793
25794
25795
25796
25797
25798
25799
25800
25801
25802
25803
25804
25805
25806
25807
25808
25809
25810
25811
25812
25813
25814
25815
25816
25817
25818
25819
25820
25821
25822
25823
25824
25825
25826
25827
25828
25829
25830
25831
25832
25833
25834
25835
25836
25837
25838
25839
25840
25841
25842
25843
25844
25845
25846
25847
25848
25849
25850
25851
25852
25853
25854
25855
25856
25857
25858
25859
25860
25861
25862
25863
25864
25865
25866
25867
25868
25869
25870
25871
25872
25873
25874
25875
25876
25877
25878
25879
25880
25881
25882
25883
25884
25885
25886
25887
25888
25889
25890
25891
25892
25893
25894
25895
25896
25897
25898
25899
25900
25901
25902
25903
25904
25905
25906
25907
25908
25909
25910
25911
25912
25913
25914
25915
25916
25917
25918
25919
25920
25921
25922
25923
25924
25925
25926
25927
25928
25929
25930
25931
25932
25933
25934
25935
25936
25937
25938
25939
25940
25941
25942
25943
25944
25945
25946
25947
25948
25949
25950
25951
25952
25953
25954
25955
25956
25957
25958
25959
25960
25961
25962
25963
25964
25965
25966
25967
25968
25969
25970
25971
25972
25973
25974
25975
25976
25977
25978
25979
25980
25981
25982
25983
25984
25985
25986
25987
25988
25989
25990
25991
25992
25993
25994
25995
25996
25997
25998
25999
26000
#25036 = CARTESIAN_POINT( '', ( 0.0832500000000001, 0.160000000000000, -0.0775000000000000 ) );
#25037 = CARTESIAN_POINT( '', ( 0.0832500000000001, 0.0620000000000000, -0.0775000000000000 ) );
#25038 = CARTESIAN_POINT( '', ( 0.0832500000000001, 0.258000000000000, -0.0775000000000000 ) );
#25039 = VECTOR( '', #28865, 39.3700787402000 );
#25040 = CARTESIAN_POINT( '', ( 0.106750000000000, 0.0620000000000000, -0.0775000000000000 ) );
#25041 = VECTOR( '', #28866, 39.3700787402000 );
#25042 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.160000000000000, -0.0775000000000000 ) );
#25043 = VECTOR( '', #28867, 39.3700787402000 );
#25044 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25045 = CARTESIAN_POINT( '', ( -0.00426794919243089, 0.149000000000000, -0.327000000000000 ) );
#25046 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.149000000000000, -0.327000000000000 ) );
#25047 = VECTOR( '', #28868, 39.3700787402000 );
#25048 = CARTESIAN_POINT( '', ( -0.0224993202975433, 0.117422338954303, -0.333315530791082 ) );
#25049 = VECTOR( '', #28869, 39.3700787402000 );
#25050 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#25051 = CARTESIAN_POINT( '', ( 0.0122500000000000, 0.160000000000000, -0.0945000000000000 ) );
#25052 = CARTESIAN_POINT( '', ( 0.0122500000000000, 0.0620000000000000, -0.0945000000000000 ) );
#25053 = CARTESIAN_POINT( '', ( 0.0122500000000000, 0.258000000000000, -0.0945000000000000 ) );
#25054 = VECTOR( '', #28870, 39.3700787402000 );
#25055 = CARTESIAN_POINT( '', ( 0.0207500000000000, 0.0620000000000000, -0.0945000000000000 ) );
#25056 = CARTESIAN_POINT( '', ( 0.0207500000000000, 0.0620000000000000, -0.0945000000000000 ) );
#25057 = VECTOR( '', #28871, 39.3700787402000 );
#25058 = CARTESIAN_POINT( '', ( 0.0207500000000000, 0.160000000000000, -0.0945000000000000 ) );
#25059 = CARTESIAN_POINT( '', ( 0.0207500000000000, 0.258000000000000, -0.0945000000000000 ) );
#25060 = VECTOR( '', #28872, 39.3700787402000 );
#25061 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.160000000000000, -0.0945000000000000 ) );
#25062 = VECTOR( '', #28873, 39.3700787402000 );
#25063 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#25064 = CARTESIAN_POINT( '', ( 0.263750000000000, 0.0620000000000000, -0.0945000000000000 ) );
#25065 = CARTESIAN_POINT( '', ( 0.263750000000000, 0.0620000000000000, -0.0945000000000000 ) );
#25066 = VECTOR( '', #28874, 39.3700787402000 );
#25067 = CARTESIAN_POINT( '', ( 0.263750000000000, 0.160000000000000, -0.0945000000000000 ) );
#25068 = CARTESIAN_POINT( '', ( 0.263750000000000, 0.258000000000000, -0.0945000000000000 ) );
#25069 = VECTOR( '', #28875, 39.3700787402000 );
#25070 = CARTESIAN_POINT( '', ( 0.263750000000000, 0.160000000000000, 0.000000000000000 ) );
#25071 = VECTOR( '', #28876, 39.3700787402000 );
#25072 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25073 = CARTESIAN_POINT( '', ( -0.00600000000000002, 0.0275000000000000, -0.0115000000000000 ) );
#25074 = CARTESIAN_POINT( '', ( -0.00600000000000002, 0.0275000000000000, -0.0355000000000000 ) );
#25075 = CARTESIAN_POINT( '', ( -0.00600000000000001, 0.0275000000000000, -0.610500000000000 ) );
#25076 = VECTOR( '', #28877, 39.3700787402000 );
#25077 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.0275000000000000, -0.0355000000000000 ) );
#25078 = VECTOR( '', #28878, 39.3700787402000 );
#25079 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.0275000000000000, -0.0115000000000000 ) );
#25080 = VECTOR( '', #28879, 39.3700787402000 );
#25081 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25082 = CARTESIAN_POINT( '', ( -0.00600000000000001, 0.0285500000000000, -0.389500000000000 ) );
#25083 = VECTOR( '', #28880, 39.3700787402000 );
#25084 = CARTESIAN_POINT( '', ( 0.0565000000000000, 0.0100000000000000, -0.389500000000000 ) );
#25085 = CARTESIAN_POINT( '', ( 0.0565000000000000, 0.0100000000000000, -0.389500000000000 ) );
#25086 = VECTOR( '', #28881, 39.3700787402000 );
#25087 = CARTESIAN_POINT( '', ( 0.0565000000000000, -0.000999999999999996, -0.389500000000000 ) );
#25088 = CARTESIAN_POINT( '', ( 0.0565000000000000, -0.00100000000000000, -0.389500000000000 ) );
#25089 = VECTOR( '', #28882, 39.3700787402000 );
#25090 = CARTESIAN_POINT( '', ( 0.0525000000000001, -0.00500000000000000, -0.389500000000000 ) );
#25091 = AXIS2_PLACEMENT_3D( '', #28883, #28884, #28885 );
#25092 = CARTESIAN_POINT( '', ( 0.0215000000000000, -0.00500000000000000, -0.389500000000000 ) );
#25093 = CARTESIAN_POINT( '', ( 1.00000000000000, -0.00500000000000000, -0.389500000000000 ) );
#25094 = VECTOR( '', #28886, 39.3700787402000 );
#25095 = CARTESIAN_POINT( '', ( 0.0215000000000000, 0.00300000000000000, -0.389500000000000 ) );
#25096 = CARTESIAN_POINT( '', ( 0.0215000000000000, 0.00300000000000000, -0.389500000000000 ) );
#25097 = VECTOR( '', #28887, 39.3700787402000 );
#25098 = CARTESIAN_POINT( '', ( -0.0275000000000000, 0.00300000000000000, -0.389500000000000 ) );
#25099 = VECTOR( '', #28888, 39.3700787402000 );
#25100 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25101 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.149000000000000, -0.516000000000000 ) );
#25102 = VECTOR( '', #28889, 39.3700787402000 );
#25103 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25104 = CARTESIAN_POINT( '', ( 0.0215000000000000, 0.00300000000000000, -0.232500000000000 ) );
#25105 = CARTESIAN_POINT( '', ( 0.0215000000000000, 0.00300000000000040, -0.232500000000000 ) );
#25106 = VECTOR( '', #28890, 39.3700787402000 );
#25107 = CARTESIAN_POINT( '', ( 0.0215000000000000, 0.00300000000000000, -0.224500000000000 ) );
#25108 = CARTESIAN_POINT( '', ( 0.0215000000000000, 0.00300000000000081, -0.224500000000000 ) );
#25109 = VECTOR( '', #28891, 39.3700787402000 );
#25110 = CARTESIAN_POINT( '', ( 0.0215000000000000, 0.00300000000000000, -0.610500000000000 ) );
#25111 = VECTOR( '', #28892, 39.3700787402000 );
#25112 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#25113 = CARTESIAN_POINT( '', ( 0.272250000000000, 0.160000000000000, -0.0775000000000000 ) );
#25114 = CARTESIAN_POINT( '', ( 0.272250000000000, 0.0620000000000000, -0.0775000000000000 ) );
#25115 = CARTESIAN_POINT( '', ( 0.272250000000000, 0.258000000000000, -0.0775000000000000 ) );
#25116 = VECTOR( '', #28893, 39.3700787402000 );
#25117 = CARTESIAN_POINT( '', ( 0.295750000000000, 0.0620000000000000, -0.0775000000000000 ) );
#25118 = CARTESIAN_POINT( '', ( 0.295750000000000, 0.0620000000000000, -0.0775000000000000 ) );
#25119 = VECTOR( '', #28894, 39.3700787402000 );
#25120 = CARTESIAN_POINT( '', ( 0.295750000000000, 0.160000000000000, -0.0775000000000000 ) );
#25121 = CARTESIAN_POINT( '', ( 0.295750000000000, 0.258000000000000, -0.0775000000000000 ) );
#25122 = VECTOR( '', #28895, 39.3700787402000 );
#25123 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.160000000000000, -0.0775000000000000 ) );
#25124 = VECTOR( '', #28896, 39.3700787402000 );
#25125 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25126 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.159000000000000, -0.514000000449070 ) );
#25127 = VECTOR( '', #28897, 39.3700787402000 );
#25128 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#25129 = CARTESIAN_POINT( '', ( -0.394000000000000, 0.00700000000000000, 0.107500000000000 ) );
#25130 = CARTESIAN_POINT( '', ( -0.394000000000000, 0.150000000000000, 0.107500000000000 ) );
#25131 = VECTOR( '', #28898, 39.3700787402000 );
#25132 = CARTESIAN_POINT( '', ( -0.394000000000000, 0.00700000000000000, 0.117500000000000 ) );
#25133 = CARTESIAN_POINT( '', ( -0.394000000000000, 0.00700000000000000, -0.0575000000000000 ) );
#25134 = VECTOR( '', #28899, 39.3700787402000 );
#25135 = CARTESIAN_POINT( '', ( -0.394000000000000, 0.150000000000000, 0.117500000000000 ) );
#25136 = VECTOR( '', #28900, 39.3700787402000 );
#25137 = CARTESIAN_POINT( '', ( -0.394000000000000, 0.150000000000000, -0.0575000000000000 ) );
#25138 = VECTOR( '', #28901, 39.3700787402000 );
#25139 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#25140 = CARTESIAN_POINT( '', ( 0.0207500000000000, 0.160000000000000, -0.0775000000000000 ) );
#25141 = CARTESIAN_POINT( '', ( 0.0207500000000000, 0.0620000000000000, -0.0775000000000000 ) );
#25142 = CARTESIAN_POINT( '', ( 0.0207500000000000, 0.258000000000000, -0.0775000000000000 ) );
#25143 = VECTOR( '', #28902, 39.3700787402000 );
#25144 = CARTESIAN_POINT( '', ( 0.0747500000000000, 0.0620000000000000, -0.0775000000000000 ) );
#25145 = CARTESIAN_POINT( '', ( 0.0747500000000000, 0.0620000000000000, -0.0775000000000000 ) );
#25146 = VECTOR( '', #28903, 39.3700787402000 );
#25147 = CARTESIAN_POINT( '', ( 0.0747500000000000, 0.160000000000000, -0.0775000000000000 ) );
#25148 = CARTESIAN_POINT( '', ( 0.0747500000000000, 0.258000000000000, -0.0775000000000000 ) );
#25149 = VECTOR( '', #28904, 39.3700787402000 );
#25150 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.160000000000000, -0.0775000000000000 ) );
#25151 = VECTOR( '', #28905, 39.3700787402000 );
#25152 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25153 = CARTESIAN_POINT( '', ( 0.0565000000000000, 0.0100000000000000, -0.200500000000000 ) );
#25154 = CARTESIAN_POINT( '', ( 0.0565000000000000, -0.000999999999999996, -0.200500000000000 ) );
#25155 = CARTESIAN_POINT( '', ( 0.0565000000000000, -0.000999999999999569, -0.200500000000000 ) );
#25156 = VECTOR( '', #28906, 39.3700787402000 );
#25157 = CARTESIAN_POINT( '', ( 0.0565000000000000, 0.0100000000000000, -0.192500000000000 ) );
#25158 = CARTESIAN_POINT( '', ( 0.0565000000000000, 0.0100000000000000, -0.610500000000000 ) );
#25159 = VECTOR( '', #28907, 39.3700787402000 );
#25160 = CARTESIAN_POINT( '', ( 0.0565000000000000, -0.000999999999999996, -0.192500000000000 ) );
#25161 = CARTESIAN_POINT( '', ( 0.0565000000000000, -0.000999999999999561, -0.192500000000000 ) );
#25162 = VECTOR( '', #28908, 39.3700787402000 );
#25163 = CARTESIAN_POINT( '', ( 0.0565000000000000, -0.000999999999999996, -0.610500000000000 ) );
#25164 = VECTOR( '', #28909, 39.3700787402000 );
#25165 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25166 = CARTESIAN_POINT( '', ( -0.139500000000000, 0.00300000000000000, -0.381500000000000 ) );
#25167 = CARTESIAN_POINT( '', ( -0.139500000000000, 0.00300000000000000, -0.610500000000000 ) );
#25168 = VECTOR( '', #28910, 39.3700787402000 );
#25169 = CARTESIAN_POINT( '', ( -0.188500000000000, 0.00300000000000000, -0.381500000000000 ) );
#25170 = CARTESIAN_POINT( '', ( -0.188500000000000, 0.00300000000000000, -0.381500000000000 ) );
#25171 = VECTOR( '', #28911, 39.3700787402000 );
#25172 = CARTESIAN_POINT( '', ( -0.188500000000000, 0.00300000000000000, -0.610500000000000 ) );
#25173 = VECTOR( '', #28912, 39.3700787402000 );
#25174 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25175 = CARTESIAN_POINT( '', ( -0.00426794919243089, 0.149000000000000, -0.421500000000000 ) );
#25176 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.149000000000000, -0.421500000000000 ) );
#25177 = VECTOR( '', #28913, 39.3700787402000 );
#25178 = CARTESIAN_POINT( '', ( 0.00150555349946506, 0.159000000000000, -0.419500000449070 ) );
#25179 = CARTESIAN_POINT( '', ( -0.0145537490982954, 0.131184471966556, -0.425063104806647 ) );
#25180 = VECTOR( '', #28914, 39.3700787402000 );
#25181 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.159000000000000, -0.419500000449070 ) );
#25182 = VECTOR( '', #28915, 39.3700787402000 );
#25183 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25184 = CARTESIAN_POINT( '', ( -0.188500000000000, 0.00300000000000000, -0.508000000000000 ) );
#25185 = CARTESIAN_POINT( '', ( -0.188500000000000, -0.00499999999999999, -0.508000000000000 ) );
#25186 = VECTOR( '', #28916, 39.3700787402000 );
#25187 = CARTESIAN_POINT( '', ( -0.139500000000000, 0.00300000000000000, -0.508000000000000 ) );
#25188 = CARTESIAN_POINT( '', ( -0.188500000000000, 0.00300000000000000, -0.508000000000000 ) );
#25189 = VECTOR( '', #28917, 39.3700787402000 );
#25190 = CARTESIAN_POINT( '', ( -0.139500000000000, 0.00300000000000000, -0.508000000000000 ) );
#25191 = VECTOR( '', #28918, 39.3700787402000 );
#25192 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.0275000000000000, -0.508000000000000 ) );
#25193 = VECTOR( '', #28919, 39.3700787402000 );
#25194 = CARTESIAN_POINT( '', ( -0.176500000000000, 0.0100000000000000, -0.508000000000000 ) );
#25195 = VECTOR( '', #28920, 39.3700787402000 );
#25196 = AXIS2_PLACEMENT_3D( '', #28921, #28922, #28923 );
#25197 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25198 = CARTESIAN_POINT( '', ( -0.139500000000000, 0.0100000000000000, -0.476000000000000 ) );
#25199 = CARTESIAN_POINT( '', ( -0.139500000000000, 0.0100000000000000, -0.476000000000000 ) );
#25200 = VECTOR( '', #28924, 39.3700787402000 );
#25201 = CARTESIAN_POINT( '', ( -0.139500000000000, 0.0100000000000000, -0.610500000000000 ) );
#25202 = VECTOR( '', #28925, 39.3700787402000 );
#25203 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25204 = CARTESIAN_POINT( '', ( -0.162732050807569, 0.149000000000000, -0.130000000000000 ) );
#25205 = CARTESIAN_POINT( '', ( -0.161000000000000, 0.146000000000000, -0.130000000000000 ) );
#25206 = VECTOR( '', #28926, 39.3700787402000 );
#25207 = CARTESIAN_POINT( '', ( -0.168505553499465, 0.159000000000000, -0.136000000449070 ) );
#25208 = CARTESIAN_POINT( '', ( -0.121322592063537, 0.0772767135414097, -0.152344654070841 ) );
#25209 = VECTOR( '', #28927, 39.3700787402000 );
#25210 = CARTESIAN_POINT( '', ( -0.168505553499465, 0.159000000000000, -0.131999999550930 ) );
#25211 = CARTESIAN_POINT( '', ( -0.168505553499465, 0.159000000000000, -0.610500000000000 ) );
#25212 = VECTOR( '', #28928, 39.3700787402000 );
#25213 = CARTESIAN_POINT( '', ( -0.201450945004106, 0.216063091961285, -0.143412615380655 ) );
#25214 = VECTOR( '', #28929, 39.3700787402000 );
#25215 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25216 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.0275000000000000, -0.0980000000000000 ) );
#25217 = VECTOR( '', #28930, 39.3700787402000 );
#25218 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25219 = CARTESIAN_POINT( '', ( -0.172500000000000, 0.159000000000000, -0.383499999550930 ) );
#25220 = AXIS2_PLACEMENT_3D( '', #28931, #28932, #28933 );
#25221 = CARTESIAN_POINT( '', ( -0.172500000000000, 0.159000000000000, -0.387500000449070 ) );
#25222 = CARTESIAN_POINT( '', ( -0.172500000000000, 0.159000000000000, -0.610500000000000 ) );
#25223 = VECTOR( '', #28934, 39.3700787402000 );
#25224 = AXIS2_PLACEMENT_3D( '', #28935, #28936, #28937 );
#25225 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25226 = CARTESIAN_POINT( '', ( -0.00426794919243107, 0.149000000000000, -0.476000000000000 ) );
#25227 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.149000000000000, -0.476000000000000 ) );
#25228 = VECTOR( '', #28938, 39.3700787402000 );
#25229 = CARTESIAN_POINT( '', ( -0.00600000000000001, 0.146000000000000, -0.476000000000000 ) );
#25230 = CARTESIAN_POINT( '', ( 0.00150555349946515, 0.159000000000000, -0.476000000000000 ) );
#25231 = VECTOR( '', #28939, 39.3700787402000 );
#25232 = CARTESIAN_POINT( '', ( -0.00600000000000002, 0.0325000000000000, -0.476000000000000 ) );
#25233 = CARTESIAN_POINT( '', ( -0.00600000000000001, 0.146000000000000, -0.476000000000000 ) );
#25234 = VECTOR( '', #28940, 39.3700787402000 );
#25235 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.0325000000000000, -0.476000000000000 ) );
#25236 = VECTOR( '', #28941, 39.3700787402000 );
#25237 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25238 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.149000000000000, -0.319000000000000 ) );
#25239 = VECTOR( '', #28942, 39.3700787402000 );
#25240 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.0325000000000000, -0.319000000000000 ) );
#25241 = VECTOR( '', #28943, 39.3700787402000 );
#25242 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25243 = CARTESIAN_POINT( '', ( -0.00600000000000001, 0.0285500000000000, -0.484000000000000 ) );
#25244 = VECTOR( '', #28944, 39.3700787402000 );
#25245 = CARTESIAN_POINT( '', ( 0.0565000000000000, 0.0100000000000000, -0.484000000000000 ) );
#25246 = VECTOR( '', #28945, 39.3700787402000 );
#25247 = CARTESIAN_POINT( '', ( 0.0525000000000001, -0.00500000000000000, -0.484000000000000 ) );
#25248 = AXIS2_PLACEMENT_3D( '', #28946, #28947, #28948 );
#25249 = CARTESIAN_POINT( '', ( 0.0215000000000000, -0.00500000000000000, -0.484000000000000 ) );
#25250 = CARTESIAN_POINT( '', ( 1.00000000000000, -0.00500000000000000, -0.484000000000000 ) );
#25251 = VECTOR( '', #28949, 39.3700787402000 );
#25252 = CARTESIAN_POINT( '', ( 0.0215000000000000, 0.00300000000000000, -0.484000000000000 ) );
#25253 = CARTESIAN_POINT( '', ( 0.0215000000000000, 0.00300000000000000, -0.484000000000000 ) );
#25254 = VECTOR( '', #28950, 39.3700787402000 );
#25255 = CARTESIAN_POINT( '', ( -0.0275000000000000, 0.00300000000000000, -0.484000000000000 ) );
#25256 = VECTOR( '', #28951, 39.3700787402000 );
#25257 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25258 = CARTESIAN_POINT( '', ( -0.139500000000000, 0.00300000000000081, -0.224500000000000 ) );
#25259 = VECTOR( '', #28952, 39.3700787402000 );
#25260 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.0275000000000000, -0.224500000000000 ) );
#25261 = VECTOR( '', #28953, 39.3700787402000 );
#25262 = CARTESIAN_POINT( '', ( -0.176500000000000, 0.0100000000000000, -0.224500000000000 ) );
#25263 = VECTOR( '', #28954, 39.3700787402000 );
#25264 = CARTESIAN_POINT( '', ( 1.00000000000000, -0.00500000000000000, -0.224500000000000 ) );
#25265 = VECTOR( '', #28955, 39.3700787402000 );
#25266 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25267 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25268 = CARTESIAN_POINT( '', ( -0.00600000000000001, 0.0275000000000000, -0.610500000000000 ) );
#25269 = VECTOR( '', #28956, 39.3700787402000 );
#25270 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25271 = CARTESIAN_POINT( '', ( -0.168505553499465, 0.159000000000000, -0.00950000044906990 ) );
#25272 = CARTESIAN_POINT( '', ( -0.162732050807569, 0.149000000000000, -0.0115000000000000 ) );
#25273 = CARTESIAN_POINT( '', ( -0.110686457071950, 0.0588543873398211, -0.0295291184838677 ) );
#25274 = VECTOR( '', #28957, 39.3700787402000 );
#25275 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.149000000000000, -0.0115000000000000 ) );
#25276 = VECTOR( '', #28958, 39.3700787402000 );
#25277 = CARTESIAN_POINT( '', ( -0.172500000000000, 0.159000000000000, -0.00950000044906988 ) );
#25278 = AXIS2_PLACEMENT_3D( '', #28959, #28960, #28961 );
#25279 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.159000000000000, -0.00950000044906990 ) );
#25280 = VECTOR( '', #28962, 39.3700787402000 );
#25281 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25282 = CARTESIAN_POINT( '', ( -0.139500000000000, 0.00300000000000000, -0.476000000000000 ) );
#25283 = CARTESIAN_POINT( '', ( -0.139500000000000, 0.00300000000000000, -0.610500000000000 ) );
#25284 = VECTOR( '', #28963, 39.3700787402000 );
#25285 = CARTESIAN_POINT( '', ( -0.188500000000000, 0.00300000000000000, -0.476000000000000 ) );
#25286 = VECTOR( '', #28964, 39.3700787402000 );
#25287 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#25288 = CARTESIAN_POINT( '', ( 0.0747500000000000, 0.160000000000000, -0.0945000000000000 ) );
#25289 = CARTESIAN_POINT( '', ( 0.0747500000000000, 0.0620000000000000, -0.0945000000000000 ) );
#25290 = CARTESIAN_POINT( '', ( 0.0747500000000000, 0.258000000000000, -0.0945000000000000 ) );
#25291 = VECTOR( '', #28965, 39.3700787402000 );
#25292 = CARTESIAN_POINT( '', ( 0.0832500000000000, 0.0620000000000000, -0.0945000000000000 ) );
#25293 = CARTESIAN_POINT( '', ( 0.0832500000000000, 0.0620000000000000, -0.0945000000000000 ) );
#25294 = VECTOR( '', #28966, 39.3700787402000 );
#25295 = CARTESIAN_POINT( '', ( 0.0832500000000000, 0.160000000000000, -0.0945000000000000 ) );
#25296 = CARTESIAN_POINT( '', ( 0.0832500000000000, 0.258000000000000, -0.0945000000000000 ) );
#25297 = VECTOR( '', #28967, 39.3700787402000 );
#25298 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.160000000000000, -0.0945000000000000 ) );
#25299 = VECTOR( '', #28968, 39.3700787402000 );
#25300 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25301 = CARTESIAN_POINT( '', ( -0.00600000000000002, 0.0275000000000000, -0.476000000000000 ) );
#25302 = CARTESIAN_POINT( '', ( -0.00600000000000001, 0.0285500000000000, -0.476000000000000 ) );
#25303 = VECTOR( '', #28969, 39.3700787402000 );
#25304 = CARTESIAN_POINT( '', ( 0.0215000000000000, 0.00300000000000000, -0.476000000000000 ) );
#25305 = CARTESIAN_POINT( '', ( -0.0275000000000000, 0.00300000000000000, -0.476000000000000 ) );
#25306 = VECTOR( '', #28970, 39.3700787402000 );
#25307 = CARTESIAN_POINT( '', ( 0.0215000000000000, -0.00500000000000000, -0.476000000000000 ) );
#25308 = CARTESIAN_POINT( '', ( 0.0215000000000000, 0.00300000000000000, -0.476000000000000 ) );
#25309 = VECTOR( '', #28971, 39.3700787402000 );
#25310 = CARTESIAN_POINT( '', ( 0.0525000000000000, -0.00500000000000000, -0.476000000000000 ) );
#25311 = CARTESIAN_POINT( '', ( 1.00000000000000, -0.00500000000000000, -0.476000000000000 ) );
#25312 = VECTOR( '', #28972, 39.3700787402000 );
#25313 = AXIS2_PLACEMENT_3D( '', #28973, #28974, #28975 );
#25314 = CARTESIAN_POINT( '', ( 0.0565000000000000, 0.0100000000000000, -0.476000000000000 ) );
#25315 = VECTOR( '', #28976, 39.3700787402000 );
#25316 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.0275000000000000, -0.476000000000000 ) );
#25317 = VECTOR( '', #28977, 39.3700787402000 );
#25318 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25319 = CARTESIAN_POINT( '', ( -0.162732050807568, 0.149000000000000, -0.381500000000000 ) );
#25320 = CARTESIAN_POINT( '', ( -0.161000000000000, 0.146000000000000, -0.381500000000000 ) );
#25321 = VECTOR( '', #28978, 39.3700787402000 );
#25322 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.149000000000000, -0.381500000000000 ) );
#25323 = VECTOR( '', #28979, 39.3700787402000 );
#25324 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.0325000000000000, -0.381500000000000 ) );
#25325 = VECTOR( '', #28980, 39.3700787402000 );
#25326 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25327 = CARTESIAN_POINT( '', ( 0.00549999999999998, 0.159000000000000, -0.477999999550930 ) );
#25328 = AXIS2_PLACEMENT_3D( '', #28981, #28982, #28983 );
#25329 = CARTESIAN_POINT( '', ( 0.00150555349946514, 0.159000000000000, -0.477999999550930 ) );
#25330 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.159000000000000, -0.477999999550930 ) );
#25331 = VECTOR( '', #28984, 39.3700787402000 );
#25332 = CARTESIAN_POINT( '', ( 0.0126461692398728, 0.178296112489988, -0.481859221182397 ) );
#25333 = VECTOR( '', #28985, 39.3700787402000 );
#25334 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25335 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25336 = CARTESIAN_POINT( '', ( -0.0490265976876267, 0.0714757467282052, -0.0270048471729781 ) );
#25337 = VECTOR( '', #28986, 39.3700787402000 );
#25338 = CARTESIAN_POINT( '', ( -0.00600000000000001, 0.146000000000000, -0.00349999999999998 ) );
#25339 = CARTESIAN_POINT( '', ( -0.00600000000000001, 0.146000000000000, -0.610500000000000 ) );
#25340 = VECTOR( '', #28987, 39.3700787402000 );
#25341 = CARTESIAN_POINT( '', ( -0.00426794919243089, 0.149000000000000, -0.00349999999999999 ) );
#25342 = CARTESIAN_POINT( '', ( 0.00150555349946515, 0.159000000000000, -0.00349999999999998 ) );
#25343 = VECTOR( '', #28988, 39.3700787402000 );
#25344 = CARTESIAN_POINT( '', ( 0.0523740252361150, 0.247106777551259, -0.0231213511045716 ) );
#25345 = VECTOR( '', #28989, 39.3700787402000 );
#25346 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25347 = CARTESIAN_POINT( '', ( -0.0275000000000000, 0.00300000000000000, -0.200500000000000 ) );
#25348 = CARTESIAN_POINT( '', ( -0.0275000000000000, 0.00300000000000000, -0.200500000000000 ) );
#25349 = VECTOR( '', #28990, 39.3700787402000 );
#25350 = CARTESIAN_POINT( '', ( -0.0275000000000000, 0.00300000000000000, -0.192500000000000 ) );
#25351 = CARTESIAN_POINT( '', ( -0.0275000000000000, 0.00300000000000000, -0.192500000000000 ) );
#25352 = VECTOR( '', #28991, 39.3700787402000 );
#25353 = CARTESIAN_POINT( '', ( -0.0275000000000000, 0.00300000000000000, -0.610500000000000 ) );
#25354 = VECTOR( '', #28992, 39.3700787402000 );
#25355 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#25356 = CARTESIAN_POINT( '', ( 0.388000000000000, 0.160000000000000, 0.111500000000000 ) );
#25357 = CARTESIAN_POINT( '', ( -0.394000000000000, 0.160000000000000, 0.111500000000000 ) );
#25358 = VECTOR( '', #28993, 39.3700787402000 );
#25359 = CARTESIAN_POINT( '', ( 0.388000000000000, 0.160000000000000, 0.117500000000000 ) );
#25360 = VECTOR( '', #28994, 39.3700787402000 );
#25361 = CARTESIAN_POINT( '', ( -0.331514718625761, 0.160000000000000, -0.111500000000000 ) );
#25362 = CARTESIAN_POINT( '', ( 0.334000000000000, 0.160000000000000, -0.111500000000000 ) );
#25363 = VECTOR( '', #28995, 39.3700787402000 );
#25364 = CARTESIAN_POINT( '', ( -0.329757359312881, 0.160000000000000, -0.113257359312881 ) );
#25365 = VECTOR( '', #28996, 39.3700787402000 );
#25366 = CARTESIAN_POINT( '', ( -0.334250000000000, 0.160000000000000, 0.000000000000000 ) );
#25367 = VECTOR( '', #28997, 39.3700787402000 );
#25368 = CARTESIAN_POINT( '', ( -0.303250000000000, 0.160000000000000, 0.000000000000000 ) );
#25369 = VECTOR( '', #28998, 39.3700787402000 );
#25370 = CARTESIAN_POINT( '', ( -0.262750000000000, 0.160000000000000, -0.0775000000000000 ) );
#25371 = CARTESIAN_POINT( '', ( -0.262750000000000, 0.160000000000000, 1.05557802990483E-15 ) );
#25372 = VECTOR( '', #28999, 39.3700787402000 );
#25373 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.160000000000000, -0.0775000000000000 ) );
#25374 = VECTOR( '', #29000, 39.3700787402000 );
#25375 = CARTESIAN_POINT( '', ( -0.168250000000000, 0.160000000000000, -0.0945000000000000 ) );
#25376 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.160000000000000, -0.0945000000000000 ) );
#25377 = VECTOR( '', #29001, 39.3700787402000 );
#25378 = CARTESIAN_POINT( '', ( -0.168250000000000, 0.160000000000000, -0.0775000000000000 ) );
#25379 = CARTESIAN_POINT( '', ( -0.168250000000000, 0.160000000000000, 6.75931507255899E-16 ) );
#25380 = VECTOR( '', #29002, 39.3700787402000 );
#25381 = CARTESIAN_POINT( '', ( -0.114250000000000, 0.160000000000000, -0.0775000000000000 ) );
#25382 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.160000000000000, -0.0775000000000000 ) );
#25383 = VECTOR( '', #29003, 39.3700787402000 );
#25384 = CARTESIAN_POINT( '', ( -0.114250000000000, 0.160000000000000, -0.0945000000000000 ) );
#25385 = CARTESIAN_POINT( '', ( -0.114250000000000, 0.160000000000000, 0.000000000000000 ) );
#25386 = VECTOR( '', #29004, 39.3700787402000 );
#25387 = CARTESIAN_POINT( '', ( -0.105750000000000, 0.160000000000000, -0.0945000000000000 ) );
#25388 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.160000000000000, -0.0945000000000000 ) );
#25389 = VECTOR( '', #29005, 39.3700787402000 );
#25390 = CARTESIAN_POINT( '', ( -0.105750000000000, 0.160000000000000, -0.0775000000000000 ) );
#25391 = CARTESIAN_POINT( '', ( -0.105749999999999, 0.160000000000000, 7.43474440187485E-16 ) );
#25392 = VECTOR( '', #29006, 39.3700787402000 );
#25393 = CARTESIAN_POINT( '', ( -0.0822500000000000, 0.160000000000000, -0.0775000000000000 ) );
#25394 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.160000000000000, -0.0775000000000000 ) );
#25395 = VECTOR( '', #29007, 39.3700787402000 );
#25396 = CARTESIAN_POINT( '', ( -0.0822499999999996, 0.160000000000000, 3.30433084527772E-16 ) );
#25397 = VECTOR( '', #29008, 39.3700787402000 );
#25398 = CARTESIAN_POINT( '', ( -0.0737500000000000, 0.160000000000000, -0.0775000000000000 ) );
#25399 = CARTESIAN_POINT( '', ( -0.0737499999999997, 0.160000000000000, 2.22213738455226E-16 ) );
#25400 = VECTOR( '', #29009, 39.3700787402000 );
#25401 = CARTESIAN_POINT( '', ( -0.0197500000000000, 0.160000000000000, -0.0775000000000000 ) );
#25402 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.160000000000000, -0.0775000000000000 ) );
#25403 = VECTOR( '', #29010, 39.3700787402000 );
#25404 = CARTESIAN_POINT( '', ( -0.0197500000000000, 0.160000000000000, -0.0945000000000000 ) );
#25405 = CARTESIAN_POINT( '', ( -0.0197500000000000, 0.160000000000000, 0.000000000000000 ) );
#25406 = VECTOR( '', #29011, 39.3700787402000 );
#25407 = CARTESIAN_POINT( '', ( -0.0112500000000000, 0.160000000000000, -0.0945000000000000 ) );
#25408 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.160000000000000, -0.0945000000000000 ) );
#25409 = VECTOR( '', #29012, 39.3700787402000 );
#25410 = CARTESIAN_POINT( '', ( -0.0112499999999999, 0.160000000000000, -0.0775000000000000 ) );
#25411 = CARTESIAN_POINT( '', ( -0.0112499999999994, 0.160000000000000, 7.34435237267239E-17 ) );
#25412 = VECTOR( '', #29013, 39.3700787402000 );
#25413 = CARTESIAN_POINT( '', ( 0.0122500000000000, 0.160000000000000, -0.0775000000000000 ) );
#25414 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.160000000000000, -0.0775000000000000 ) );
#25415 = VECTOR( '', #29014, 39.3700787402000 );
#25416 = CARTESIAN_POINT( '', ( 0.0122500000000003, 0.160000000000000, -3.99859184734416E-17 ) );
#25417 = VECTOR( '', #29015, 39.3700787402000 );
#25418 = CARTESIAN_POINT( '', ( 0.0207500000000003, 0.160000000000000, -6.77312496590943E-17 ) );
#25419 = VECTOR( '', #29016, 39.3700787402000 );
#25420 = CARTESIAN_POINT( '', ( 0.0747500000000000, 0.160000000000000, 0.000000000000000 ) );
#25421 = VECTOR( '', #29017, 39.3700787402000 );
#25422 = CARTESIAN_POINT( '', ( 0.0832500000000006, 0.160000000000000, -5.85288389083773E-16 ) );
#25423 = VECTOR( '', #29018, 39.3700787402000 );
#25424 = CARTESIAN_POINT( '', ( 0.115250000000000, 0.160000000000000, -0.0945000000000000 ) );
#25425 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.160000000000000, -0.0945000000000000 ) );
#25426 = VECTOR( '', #29019, 39.3700787402000 );
#25427 = CARTESIAN_POINT( '', ( 0.115250000000000, 0.160000000000000, -0.0775000000000000 ) );
#25428 = CARTESIAN_POINT( '', ( 0.115250000000000, 0.160000000000000, -3.47256045518170E-16 ) );
#25429 = VECTOR( '', #29020, 39.3700787402000 );
#25430 = CARTESIAN_POINT( '', ( 0.169250000000000, 0.160000000000000, -0.0775000000000000 ) );
#25431 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.160000000000000, -0.0775000000000000 ) );
#25432 = VECTOR( '', #29021, 39.3700787402000 );
#25433 = CARTESIAN_POINT( '', ( 0.169250000000000, 0.160000000000000, 0.000000000000000 ) );
#25434 = VECTOR( '', #29022, 39.3700787402000 );
#25435 = CARTESIAN_POINT( '', ( 0.209750000000000, 0.160000000000000, -4.21327291669912E-16 ) );
#25436 = VECTOR( '', #29023, 39.3700787402000 );
#25437 = CARTESIAN_POINT( '', ( 0.272250000000000, 0.160000000000000, -0.0945000000000000 ) );
#25438 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.160000000000000, -0.0945000000000000 ) );
#25439 = VECTOR( '', #29024, 39.3700787402000 );
#25440 = CARTESIAN_POINT( '', ( 0.272250000000001, 0.160000000000000, -2.18748710669146E-15 ) );
#25441 = VECTOR( '', #29025, 39.3700787402000 );
#25442 = CARTESIAN_POINT( '', ( 0.295750000000000, 0.160000000000000, -0.0945000000000000 ) );
#25443 = CARTESIAN_POINT( '', ( 0.295750000000000, 0.160000000000000, -5.94076503033975E-16 ) );
#25444 = VECTOR( '', #29026, 39.3700787402000 );
#25445 = CARTESIAN_POINT( '', ( 0.304250000000000, 0.160000000000000, -0.0945000000000000 ) );
#25446 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.160000000000000, -0.0945000000000000 ) );
#25447 = VECTOR( '', #29027, 39.3700787402000 );
#25448 = CARTESIAN_POINT( '', ( 0.304250000000000, 0.160000000000000, -0.0775000000000000 ) );
#25449 = CARTESIAN_POINT( '', ( 0.304250000000000, 0.160000000000000, -1.22230110598875E-15 ) );
#25450 = VECTOR( '', #29028, 39.3700787402000 );
#25451 = CARTESIAN_POINT( '', ( 0.334250000000000, 0.160000000000000, -0.0775000000000000 ) );
#25452 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.160000000000000, -0.0775000000000000 ) );
#25453 = VECTOR( '', #29029, 39.3700787402000 );
#25454 = CARTESIAN_POINT( '', ( 0.334250000000000, 0.160000000000000, 0.000000000000000 ) );
#25455 = VECTOR( '', #29030, 39.3700787402000 );
#25456 = CARTESIAN_POINT( '', ( 0.304250000000000, 0.160000000000000, -6.11150552994379E-16 ) );
#25457 = VECTOR( '', #29031, 39.3700787402000 );
#25458 = CARTESIAN_POINT( '', ( 0.295750000000001, 0.160000000000000, 2.37630601213591E-15 ) );
#25459 = VECTOR( '', #29032, 39.3700787402000 );
#25460 = CARTESIAN_POINT( '', ( 0.263750000000000, 0.160000000000000, 0.0944999999999999 ) );
#25461 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.160000000000000, 0.0944999999999999 ) );
#25462 = VECTOR( '', #29033, 39.3700787402000 );
#25463 = CARTESIAN_POINT( '', ( 0.263750000000000, 0.160000000000000, 0.0775000000000000 ) );
#25464 = CARTESIAN_POINT( '', ( 0.263750000000000, 0.160000000000000, 0.000000000000000 ) );
#25465 = VECTOR( '', #29034, 39.3700787402000 );
#25466 = CARTESIAN_POINT( '', ( 0.209750000000000, 0.160000000000000, 0.0775000000000000 ) );
#25467 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.160000000000000, 0.0775000000000000 ) );
#25468 = VECTOR( '', #29035, 39.3700787402000 );
#25469 = CARTESIAN_POINT( '', ( 0.209750000000000, 0.160000000000000, 0.0944999999999999 ) );
#25470 = CARTESIAN_POINT( '', ( 0.209750000000000, 0.160000000000000, 0.000000000000000 ) );
#25471 = VECTOR( '', #29036, 39.3700787402000 );
#25472 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.160000000000000, 0.0944999999999999 ) );
#25473 = VECTOR( '', #29037, 39.3700787402000 );
#25474 = CARTESIAN_POINT( '', ( 0.177750000000000, 0.160000000000000, 0.0944999999999999 ) );
#25475 = CARTESIAN_POINT( '', ( 0.177750000000001, 0.160000000000000, 1.07114554604520E-15 ) );
#25476 = VECTOR( '', #29038, 39.3700787402000 );
#25477 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.160000000000000, 0.0944999999999999 ) );
#25478 = VECTOR( '', #29039, 39.3700787402000 );
#25479 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.160000000000000, 0.0775000000000000 ) );
#25480 = VECTOR( '', #29040, 39.3700787402000 );
#25481 = CARTESIAN_POINT( '', ( 0.106750000000000, 0.160000000000000, 0.0944999999999999 ) );
#25482 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.160000000000000, 0.0944999999999999 ) );
#25483 = VECTOR( '', #29041, 39.3700787402000 );
#25484 = CARTESIAN_POINT( '', ( 0.106750000000000, 0.160000000000000, 0.0775000000000000 ) );
#25485 = CARTESIAN_POINT( '', ( 0.106750000000000, 0.160000000000000, 2.14429980385045E-16 ) );
#25486 = VECTOR( '', #29042, 39.3700787402000 );
#25487 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.160000000000000, 0.0775000000000000 ) );
#25488 = VECTOR( '', #29043, 39.3700787402000 );
#25489 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.160000000000000, 0.0944999999999999 ) );
#25490 = VECTOR( '', #29044, 39.3700787402000 );
#25491 = CARTESIAN_POINT( '', ( 0.0207500000000000, 0.160000000000000, 0.0775000000000000 ) );
#25492 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.160000000000000, 0.0775000000000000 ) );
#25493 = VECTOR( '', #29045, 39.3700787402000 );
#25494 = CARTESIAN_POINT( '', ( 0.0207500000000000, 0.160000000000000, 0.0944999999999999 ) );
#25495 = CARTESIAN_POINT( '', ( 0.0207500000000003, 0.160000000000000, 6.77312496590945E-17 ) );
#25496 = VECTOR( '', #29046, 39.3700787402000 );
#25497 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.160000000000000, 0.0944999999999999 ) );
#25498 = VECTOR( '', #29047, 39.3700787402000 );
#25499 = CARTESIAN_POINT( '', ( -0.0112499999999999, 0.160000000000000, 0.0775000000000000 ) );
#25500 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.160000000000000, 0.0775000000000000 ) );
#25501 = VECTOR( '', #29048, 39.3700787402000 );
#25502 = CARTESIAN_POINT( '', ( -0.0112499999999994, 0.160000000000000, -7.20311482704411E-17 ) );
#25503 = VECTOR( '', #29049, 39.3700787402000 );
#25504 = CARTESIAN_POINT( '', ( -0.0197500000000000, 0.160000000000000, 0.0775000000000000 ) );
#25505 = CARTESIAN_POINT( '', ( -0.0197500000000000, 0.160000000000000, 0.000000000000000 ) );
#25506 = VECTOR( '', #29050, 39.3700787402000 );
#25507 = CARTESIAN_POINT( '', ( -0.0737499999999999, 0.160000000000000, 0.0775000000000000 ) );
#25508 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.160000000000000, 0.0775000000000000 ) );
#25509 = VECTOR( '', #29051, 39.3700787402000 );
#25510 = CARTESIAN_POINT( '', ( -0.0737500000000000, 0.160000000000000, 0.0944999999999999 ) );
#25511 = CARTESIAN_POINT( '', ( -0.0737499999999995, 0.160000000000000, -3.70356230758711E-16 ) );
#25512 = VECTOR( '', #29052, 39.3700787402000 );
#25513 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.160000000000000, 0.0944999999999999 ) );
#25514 = VECTOR( '', #29053, 39.3700787402000 );
#25515 = CARTESIAN_POINT( '', ( -0.105749999999999, 0.160000000000000, -7.43474440187488E-16 ) );
#25516 = VECTOR( '', #29054, 39.3700787402000 );
#25517 = CARTESIAN_POINT( '', ( -0.168250000000000, 0.160000000000000, -3.37965753627951E-16 ) );
#25518 = VECTOR( '', #29055, 39.3700787402000 );
#25519 = CARTESIAN_POINT( '', ( -0.176749999999999, 0.160000000000000, -1.06511941076506E-15 ) );
#25520 = VECTOR( '', #29056, 39.3700787402000 );
#25521 = CARTESIAN_POINT( '', ( -0.200250000000000, 0.160000000000000, 0.0944999999999999 ) );
#25522 = CARTESIAN_POINT( '', ( -0.200249999999999, 0.160000000000000, -1.20673358984839E-15 ) );
#25523 = VECTOR( '', #29057, 39.3700787402000 );
#25524 = CARTESIAN_POINT( '', ( -0.208750000000000, 0.160000000000000, 0.0944999999999999 ) );
#25525 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.160000000000000, 0.0944999999999999 ) );
#25526 = VECTOR( '', #29058, 39.3700787402000 );
#25527 = CARTESIAN_POINT( '', ( -0.208750000000000, 0.160000000000000, 0.000000000000000 ) );
#25528 = VECTOR( '', #29059, 39.3700787402000 );
#25529 = CARTESIAN_POINT( '', ( -0.262749999999999, 0.160000000000000, -2.63894507476208E-15 ) );
#25530 = VECTOR( '', #29060, 39.3700787402000 );
#25531 = CARTESIAN_POINT( '', ( -0.294750000000000, 0.160000000000000, 0.0775000000000000 ) );
#25532 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.160000000000000, 0.0775000000000000 ) );
#25533 = VECTOR( '', #29061, 39.3700787402000 );
#25534 = CARTESIAN_POINT( '', ( -0.294750000000000, 0.160000000000000, -1.77620337382179E-15 ) );
#25535 = VECTOR( '', #29062, 39.3700787402000 );
#25536 = CARTESIAN_POINT( '', ( -0.303250000000000, 0.160000000000000, -6.09141841234331E-16 ) );
#25537 = VECTOR( '', #29063, 39.3700787402000 );
#25538 = CARTESIAN_POINT( '', ( -0.384000000000000, 0.160000000000000, -0.0250000000000000 ) );
#25539 = CARTESIAN_POINT( '', ( -0.384000000000000, 0.160000000000000, 0.0250000000000000 ) );
#25540 = CARTESIAN_POINT( '', ( -0.384000000000000, 0.160000000000000, -0.0250000000000000 ) );
#25541 = VECTOR( '', #29064, 39.3700787402000 );
#25542 = CARTESIAN_POINT( '', ( -0.344000000000000, 0.160000000000000, -0.0250000000000000 ) );
#25543 = VECTOR( '', #29065, 39.3700787402000 );
#25544 = CARTESIAN_POINT( '', ( -0.384000000000000, 0.160000000000000, 0.0250000000000000 ) );
#25545 = VECTOR( '', #29066, 39.3700787402000 );
#25546 = CARTESIAN_POINT( '', ( 0.344000000000000, 0.160000000000000, -0.0249999999999998 ) );
#25547 = VECTOR( '', #29067, 39.3700787402000 );
#25548 = CARTESIAN_POINT( '', ( 0.384000000000000, 0.160000000000000, 0.0250000000000001 ) );
#25549 = VECTOR( '', #29068, 39.3700787402000 );
#25550 = COLOUR_RGB( '', 1.00000000000000, 0.500000000000000, 0.000000000000000 );
#25551 = CARTESIAN_POINT( '', ( 0.322500000000000, 0.125000000000000, 0.00600000000000000 ) );
#25552 = CARTESIAN_POINT( '', ( 0.322500000000000, 0.125000000000000, 0.0157480300000000 ) );
#25553 = VECTOR( '', #29069, 39.3700787402000 );
#25554 = CARTESIAN_POINT( '', ( 0.322500000000000, 0.0715980762113533, 0.00600000000000000 ) );
#25555 = CARTESIAN_POINT( '', ( 0.322500000000000, 0.00700000000000000, 0.00600000000000000 ) );
#25556 = VECTOR( '', #29070, 39.3700787402000 );
#25557 = CARTESIAN_POINT( '', ( 0.322500000000000, 0.0189284982444119, 0.0364087950173176 ) );
#25558 = VECTOR( '', #29071, 39.3700787402000 );
#25559 = CARTESIAN_POINT( '', ( 0.322500000000000, 0.00700000000000000, 0.0157480300000000 ) );
#25560 = VECTOR( '', #29072, 39.3700787402000 );
#25561 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25562 = CARTESIAN_POINT( '', ( -0.188500000000000, 0.00300000000000000, -0.413500000000000 ) );
#25563 = CARTESIAN_POINT( '', ( -0.188500000000000, 0.00300000000000000, -0.610500000000000 ) );
#25564 = VECTOR( '', #29073, 39.3700787402000 );
#25565 = CARTESIAN_POINT( '', ( -0.188500000000000, -0.00500000000000000, -0.413500000000000 ) );
#25566 = CARTESIAN_POINT( '', ( -0.188500000000000, -0.00499999999999999, -0.413500000000000 ) );
#25567 = VECTOR( '', #29074, 39.3700787402000 );
#25568 = CARTESIAN_POINT( '', ( -0.188500000000000, -0.00499999999999999, -0.610500000000000 ) );
#25569 = VECTOR( '', #29075, 39.3700787402000 );
#25570 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25571 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25572 = CARTESIAN_POINT( '', ( -0.00600000000000002, 0.0325000000000000, -0.610500000000000 ) );
#25573 = VECTOR( '', #29076, 39.3700787402000 );
#25574 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#25575 = CARTESIAN_POINT( '', ( 0.106750000000000, 0.0620000000000000, 0.0775000000000000 ) );
#25576 = CARTESIAN_POINT( '', ( 0.106750000000000, 0.258000000000000, 0.0775000000000000 ) );
#25577 = VECTOR( '', #29077, 39.3700787402000 );
#25578 = CARTESIAN_POINT( '', ( 0.0832500000000001, 0.0620000000000000, 0.0775000000000000 ) );
#25579 = VECTOR( '', #29078, 39.3700787402000 );
#25580 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#25581 = CARTESIAN_POINT( '', ( 0.263750000000000, 0.0620000000000000, 0.0944999999999999 ) );
#25582 = CARTESIAN_POINT( '', ( 0.263750000000000, 0.0620000000000000, 0.0944999999999999 ) );
#25583 = VECTOR( '', #29079, 39.3700787402000 );
#25584 = CARTESIAN_POINT( '', ( 0.263750000000000, 0.258000000000000, 0.0944999999999999 ) );
#25585 = VECTOR( '', #29080, 39.3700787402000 );
#25586 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25587 = CARTESIAN_POINT( '', ( 0.0215000000000000, -0.00500000000000000, -0.295000000000000 ) );
#25588 = CARTESIAN_POINT( '', ( 0.0215000000000000, 0.00300000000000033, -0.295000000000000 ) );
#25589 = VECTOR( '', #29081, 39.3700787402000 );
#25590 = CARTESIAN_POINT( '', ( 0.0215000000000000, -0.00500000000000000, -0.287000000000000 ) );
#25591 = CARTESIAN_POINT( '', ( 0.0215000000000000, -0.00500000000000000, -0.610500000000000 ) );
#25592 = VECTOR( '', #29082, 39.3700787402000 );
#25593 = CARTESIAN_POINT( '', ( 0.0215000000000000, 0.00300000000000068, -0.287000000000000 ) );
#25594 = VECTOR( '', #29083, 39.3700787402000 );
#25595 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25596 = CARTESIAN_POINT( '', ( -0.00426794919243089, 0.149000000000000, -0.0355000000000000 ) );
#25597 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.149000000000000, -0.0355000000000000 ) );
#25598 = VECTOR( '', #29084, 39.3700787402000 );
#25599 = CARTESIAN_POINT( '', ( -0.00600000000000001, 0.146000000000000, -0.0355000000000000 ) );
#25600 = CARTESIAN_POINT( '', ( 0.00150555349946509, 0.159000000000000, -0.0355000000000000 ) );
#25601 = VECTOR( '', #29085, 39.3700787402000 );
#25602 = CARTESIAN_POINT( '', ( -0.00600000000000002, 0.0325000000000000, -0.0355000000000000 ) );
#25603 = CARTESIAN_POINT( '', ( -0.00600000000000001, 0.146000000000000, -0.0355000000000000 ) );
#25604 = VECTOR( '', #29086, 39.3700787402000 );
#25605 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.0325000000000000, -0.0355000000000000 ) );
#25606 = VECTOR( '', #29087, 39.3700787402000 );
#25607 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25608 = CARTESIAN_POINT( '', ( -0.219500000000000, -0.00500000000000000, -0.327000000000000 ) );
#25609 = AXIS2_PLACEMENT_3D( '', #29088, #29089, #29090 );
#25610 = CARTESIAN_POINT( '', ( -0.219500000000000, -0.00500000000000000, -0.319000000000000 ) );
#25611 = CARTESIAN_POINT( '', ( -0.219500000000000, -0.00499999999999998, -0.610500000000000 ) );
#25612 = VECTOR( '', #29091, 39.3700787402000 );
#25613 = AXIS2_PLACEMENT_3D( '', #29092, #29093, #29094 );
#25614 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25615 = CARTESIAN_POINT( '', ( -0.168505553499465, 0.159000000000000, -0.383499999550930 ) );
#25616 = CARTESIAN_POINT( '', ( -0.180304795198698, 0.179436886113857, -0.387587375855943 ) );
#25617 = VECTOR( '', #29095, 39.3700787402000 );
#25618 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.159000000000000, -0.383499999550930 ) );
#25619 = VECTOR( '', #29096, 39.3700787402000 );
#25620 = COLOUR_RGB( '', 1.00000000000000, 0.500000000000000, 0.000000000000000 );
#25621 = CARTESIAN_POINT( '', ( 0.0425196900000000, 0.000000000000000, 0.0157480300000000 ) );
#25622 = VECTOR( '', #29097, 39.3700787402000 );
#25623 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#25624 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25625 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.149000000000000, -0.200500000000000 ) );
#25626 = VECTOR( '', #29098, 39.3700787402000 );
#25627 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.159000000000000, -0.198500000449070 ) );
#25628 = VECTOR( '', #29099, 39.3700787402000 );
#25629 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25630 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.0325000000000000, -0.295000000000000 ) );
#25631 = VECTOR( '', #29100, 39.3700787402000 );
#25632 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.149000000000000, -0.295000000000000 ) );
#25633 = VECTOR( '', #29101, 39.3700787402000 );
#25634 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25635 = CARTESIAN_POINT( '', ( 0.00549999999999998, 0.159000000000000, -0.572499999550930 ) );
#25636 = AXIS2_PLACEMENT_3D( '', #29102, #29103, #29104 );
#25637 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.159000000000000, -0.572499999550930 ) );
#25638 = VECTOR( '', #29105, 39.3700787402000 );
#25639 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#25640 = CARTESIAN_POINT( '', ( 0.344000000000000, 0.0110000000000000, -0.00750000000000000 ) );
#25641 = CARTESIAN_POINT( '', ( 0.344000000000000, 0.0110000000000000, 0.00750000000000000 ) );
#25642 = CARTESIAN_POINT( '', ( 0.344000000000000, 0.0110000000000000, -0.0249999999999998 ) );
#25643 = VECTOR( '', #29106, 39.3700787402000 );
#25644 = CARTESIAN_POINT( '', ( 0.344000000000000, 0.160000000000000, -0.00750000000000000 ) );
#25645 = VECTOR( '', #29107, 39.3700787402000 );
#25646 = CARTESIAN_POINT( '', ( 0.344000000000000, 0.160000000000000, 0.00750000000000000 ) );
#25647 = VECTOR( '', #29108, 39.3700787402000 );
#25648 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25649 = CARTESIAN_POINT( '', ( -0.162732050807569, 0.149000000000000, -0.413500000000000 ) );
#25650 = CARTESIAN_POINT( '', ( -0.161000000000000, 0.146000000000000, -0.413500000000000 ) );
#25651 = VECTOR( '', #29109, 39.3700787402000 );
#25652 = CARTESIAN_POINT( '', ( -0.177614231406360, 0.174776692924522, -0.418655337427351 ) );
#25653 = VECTOR( '', #29110, 39.3700787402000 );
#25654 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25655 = CARTESIAN_POINT( '', ( -0.162732050807569, 0.149000000000000, -0.224500000000000 ) );
#25656 = CARTESIAN_POINT( '', ( -0.161000000000000, 0.146000000000000, -0.224500000000000 ) );
#25657 = VECTOR( '', #29111, 39.3700787402000 );
#25658 = CARTESIAN_POINT( '', ( -0.162732050807569, 0.149000000000000, -0.232500000000000 ) );
#25659 = CARTESIAN_POINT( '', ( -0.161000000000000, 0.146000000000000, -0.232500000000000 ) );
#25660 = VECTOR( '', #29112, 39.3700787402000 );
#25661 = CARTESIAN_POINT( '', ( -0.168505553499465, 0.159000000000000, -0.230500000449070 ) );
#25662 = CARTESIAN_POINT( '', ( -0.129268163262785, 0.0910388465536634, -0.244092228086407 ) );
#25663 = VECTOR( '', #29113, 39.3700787402000 );
#25664 = CARTESIAN_POINT( '', ( -0.168505553499465, 0.159000000000000, -0.226499999550930 ) );
#25665 = CARTESIAN_POINT( '', ( -0.168505553499465, 0.159000000000000, -0.610500000000000 ) );
#25666 = VECTOR( '', #29114, 39.3700787402000 );
#25667 = CARTESIAN_POINT( '', ( -0.193505373804858, 0.202300958949031, -0.235160189396221 ) );
#25668 = VECTOR( '', #29115, 39.3700787402000 );
#25669 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25670 = CARTESIAN_POINT( '', ( -0.139500000000000, 0.0100000000000000, -0.200500000000000 ) );
#25671 = CARTESIAN_POINT( '', ( -0.139500000000000, 0.00300000000000000, -0.200500000000000 ) );
#25672 = CARTESIAN_POINT( '', ( -0.139500000000000, 0.00300000000000043, -0.200500000000000 ) );
#25673 = VECTOR( '', #29116, 39.3700787402000 );
#25674 = CARTESIAN_POINT( '', ( -0.139500000000000, 0.0100000000000000, -0.192500000000000 ) );
#25675 = CARTESIAN_POINT( '', ( -0.139500000000000, 0.0100000000000000, -0.610500000000000 ) );
#25676 = VECTOR( '', #29117, 39.3700787402000 );
#25677 = CARTESIAN_POINT( '', ( -0.139500000000000, 0.00300000000000000, -0.192500000000000 ) );
#25678 = CARTESIAN_POINT( '', ( -0.139500000000000, 0.00300000000000044, -0.192500000000000 ) );
#25679 = VECTOR( '', #29118, 39.3700787402000 );
#25680 = CARTESIAN_POINT( '', ( -0.139500000000000, 0.00300000000000000, -0.610500000000000 ) );
#25681 = VECTOR( '', #29119, 39.3700787402000 );
#25682 = COLOUR_RGB( '', 1.00000000000000, 0.500000000000000, 0.000000000000000 );
#25683 = CARTESIAN_POINT( '', ( -0.207519690000000, -0.00799213000000000, 0.0157480300000000 ) );
#25684 = VECTOR( '', #29120, 39.3700787402000 );
#25685 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#25686 = CARTESIAN_POINT( '', ( 0.304250000000000, 0.0620000000000000, -0.0775000000000000 ) );
#25687 = CARTESIAN_POINT( '', ( 0.304250000000000, 0.258000000000000, -0.0775000000000000 ) );
#25688 = VECTOR( '', #29121, 39.3700787402000 );
#25689 = CARTESIAN_POINT( '', ( 0.334250000000000, 0.0620000000000000, -0.0775000000000000 ) );
#25690 = CARTESIAN_POINT( '', ( 0.334250000000000, 0.0620000000000000, -0.0775000000000000 ) );
#25691 = VECTOR( '', #29122, 39.3700787402000 );
#25692 = CARTESIAN_POINT( '', ( 0.334250000000000, 0.258000000000000, -0.0775000000000000 ) );
#25693 = VECTOR( '', #29123, 39.3700787402000 );
#25694 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25695 = CARTESIAN_POINT( '', ( -0.219500000000000, -0.00500000000000000, -0.0115000000000000 ) );
#25696 = CARTESIAN_POINT( '', ( 1.00000000000000, -0.00500000000000000, -0.0115000000000000 ) );
#25697 = VECTOR( '', #29124, 39.3700787402000 );
#25698 = CARTESIAN_POINT( '', ( -0.223500000000000, -0.000999999999999997, -0.0115000000000000 ) );
#25699 = AXIS2_PLACEMENT_3D( '', #29125, #29126, #29127 );
#25700 = CARTESIAN_POINT( '', ( -0.223500000000000, 0.0100000000000001, -0.0115000000000000 ) );
#25701 = VECTOR( '', #29128, 39.3700787402000 );
#25702 = CARTESIAN_POINT( '', ( -0.139500000000000, 0.0100000000000000, -0.0115000000000000 ) );
#25703 = CARTESIAN_POINT( '', ( -0.139500000000000, 0.0100000000000000, -0.0115000000000000 ) );
#25704 = VECTOR( '', #29129, 39.3700787402000 );
#25705 = CARTESIAN_POINT( '', ( -0.139500000000000, 0.00300000000000000, -0.0115000000000000 ) );
#25706 = CARTESIAN_POINT( '', ( -0.139500000000000, 0.00300000000000012, -0.0115000000000000 ) );
#25707 = VECTOR( '', #29130, 39.3700787402000 );
#25708 = CARTESIAN_POINT( '', ( -0.188500000000000, 0.00300000000000000, -0.0115000000000000 ) );
#25709 = VECTOR( '', #29131, 39.3700787402000 );
#25710 = COLOUR_RGB( '', 1.00000000000000, 0.500000000000000, 0.000000000000000 );
#25711 = CARTESIAN_POINT( '', ( 0.0425196900000000, -0.00800000000000000, 0.0157480300000000 ) );
#25712 = VECTOR( '', #29132, 39.3700787402000 );
#25713 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25714 = CARTESIAN_POINT( '', ( -0.223500000000000, -0.000999999999999997, -0.00349999999999998 ) );
#25715 = CARTESIAN_POINT( '', ( -0.223500000000000, -0.000999999999999996, -0.610500000000000 ) );
#25716 = VECTOR( '', #29133, 39.3700787402000 );
#25717 = CARTESIAN_POINT( '', ( -0.223500000000000, 0.0100000000000000, -0.00349999999999998 ) );
#25718 = VECTOR( '', #29134, 39.3700787402000 );
#25719 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25720 = CARTESIAN_POINT( '', ( -0.223500000000000, -0.000999999999999997, -0.0355000000000000 ) );
#25721 = CARTESIAN_POINT( '', ( -0.223500000000000, -0.000999999999999996, -0.610500000000000 ) );
#25722 = VECTOR( '', #29135, 39.3700787402000 );
#25723 = CARTESIAN_POINT( '', ( -0.223500000000000, 0.0100000000000000, -0.0355000000000000 ) );
#25724 = CARTESIAN_POINT( '', ( -0.223500000000000, 0.0100000000000005, -0.0355000000000000 ) );
#25725 = VECTOR( '', #29136, 39.3700787402000 );
#25726 = CARTESIAN_POINT( '', ( -0.223500000000000, 0.0100000000000000, -0.610500000000000 ) );
#25727 = VECTOR( '', #29137, 39.3700787402000 );
#25728 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25729 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25730 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.0325000000000000, -0.484000000000000 ) );
#25731 = VECTOR( '', #29138, 39.3700787402000 );
#25732 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25733 = AXIS2_PLACEMENT_3D( '', #29139, #29140, #29141 );
#25734 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.149000000000000, -0.130000000000000 ) );
#25735 = VECTOR( '', #29142, 39.3700787402000 );
#25736 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25737 = CARTESIAN_POINT( '', ( 0.0525000000000000, -0.00500000000000000, -0.610500000000000 ) );
#25738 = VECTOR( '', #29143, 39.3700787402000 );
#25739 = CARTESIAN_POINT( '', ( 0.0215000000000000, -0.00500000000000000, -0.610500000000000 ) );
#25740 = VECTOR( '', #29144, 39.3700787402000 );
#25741 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25742 = CARTESIAN_POINT( '', ( -0.00600000000000002, 0.0325000000000000, -0.421500000000000 ) );
#25743 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.0325000000000000, -0.421500000000000 ) );
#25744 = VECTOR( '', #29145, 39.3700787402000 );
#25745 = CARTESIAN_POINT( '', ( -0.00600000000000001, 0.146000000000000, -0.421500000000000 ) );
#25746 = CARTESIAN_POINT( '', ( -0.00600000000000001, 0.146000000000000, -0.421500000000000 ) );
#25747 = VECTOR( '', #29146, 39.3700787402000 );
#25748 = CARTESIAN_POINT( '', ( 0.00150555349946515, 0.159000000000000, -0.421500000000000 ) );
#25749 = VECTOR( '', #29147, 39.3700787402000 );
#25750 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25751 = CARTESIAN_POINT( '', ( -0.00600000000000002, 0.0100000000000000, -0.413500000000000 ) );
#25752 = CARTESIAN_POINT( '', ( -0.00600000000000001, 0.0285500000000000, -0.413500000000000 ) );
#25753 = VECTOR( '', #29148, 39.3700787402000 );
#25754 = CARTESIAN_POINT( '', ( -0.0275000000000000, 0.0100000000000000, -0.413500000000000 ) );
#25755 = CARTESIAN_POINT( '', ( -0.00600000000000002, 0.0100000000000000, -0.413500000000000 ) );
#25756 = VECTOR( '', #29149, 39.3700787402000 );
#25757 = CARTESIAN_POINT( '', ( -0.0275000000000000, 0.0100000000000000, -0.413500000000000 ) );
#25758 = VECTOR( '', #29150, 39.3700787402000 );
#25759 = CARTESIAN_POINT( '', ( 0.0565000000000000, -0.000999999999999996, -0.413500000000000 ) );
#25760 = AXIS2_PLACEMENT_3D( '', #29151, #29152, #29153 );
#25761 = CARTESIAN_POINT( '', ( 0.0565000000000000, -0.00100000000000000, -0.413500000000000 ) );
#25762 = VECTOR( '', #29154, 39.3700787402000 );
#25763 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25764 = CARTESIAN_POINT( '', ( 0.00150555349946514, 0.159000000000000, -0.288999999550930 ) );
#25765 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.159000000000000, -0.288999999550930 ) );
#25766 = VECTOR( '', #29155, 39.3700787402000 );
#25767 = CARTESIAN_POINT( '', ( -0.00426794919243114, 0.149000000000000, -0.287000000000000 ) );
#25768 = CARTESIAN_POINT( '', ( 0.0285373116383700, 0.205820378514497, -0.298364073151267 ) );
#25769 = VECTOR( '', #29156, 39.3700787402000 );
#25770 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.149000000000000, -0.287000000000000 ) );
#25771 = VECTOR( '', #29157, 39.3700787402000 );
#25772 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#25773 = CARTESIAN_POINT( '', ( -0.168250000000000, 0.0620000000000000, 0.0944999999999999 ) );
#25774 = VECTOR( '', #29158, 39.3700787402000 );
#25775 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25776 = CARTESIAN_POINT( '', ( -0.00600000000000002, 0.0100000000000000, -0.508000000000000 ) );
#25777 = CARTESIAN_POINT( '', ( -0.00600000000000002, 0.0100000000000000, -0.508000000000000 ) );
#25778 = VECTOR( '', #29159, 39.3700787402000 );
#25779 = CARTESIAN_POINT( '', ( -0.00600000000000002, 0.0100000000000000, -0.610500000000000 ) );
#25780 = VECTOR( '', #29160, 39.3700787402000 );
#25781 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25782 = CARTESIAN_POINT( '', ( 1.00000000000000, -0.00500000000000000, -0.327000000000000 ) );
#25783 = VECTOR( '', #29161, 39.3700787402000 );
#25784 = CARTESIAN_POINT( '', ( -0.176500000000000, 0.0100000000000000, -0.327000000000000 ) );
#25785 = VECTOR( '', #29162, 39.3700787402000 );
#25786 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.0275000000000000, -0.327000000000000 ) );
#25787 = VECTOR( '', #29163, 39.3700787402000 );
#25788 = CARTESIAN_POINT( '', ( -0.139500000000000, 0.00300000000000000, -0.327000000000000 ) );
#25789 = VECTOR( '', #29164, 39.3700787402000 );
#25790 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#25791 = CARTESIAN_POINT( '', ( -0.334250000000000, 0.0620000000000000, -0.0225000000000000 ) );
#25792 = CARTESIAN_POINT( '', ( -0.334250000000000, 0.258000000000000, -0.0225000000000000 ) );
#25793 = VECTOR( '', #29165, 39.3700787402000 );
#25794 = CARTESIAN_POINT( '', ( -0.318100000000000, 0.0620000000000000, -0.0225000000000000 ) );
#25795 = CARTESIAN_POINT( '', ( -0.318100000000000, 0.140000000000000, -0.0225000000000000 ) );
#25796 = VECTOR( '', #29166, 39.3700787402000 );
#25797 = CARTESIAN_POINT( '', ( -0.318100000000000, 0.0620000000000000, -0.0225000000000000 ) );
#25798 = VECTOR( '', #29167, 39.3700787402000 );
#25799 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25800 = CARTESIAN_POINT( '', ( 0.0525000000000001, -0.00500000000000000, -0.200500000000000 ) );
#25801 = AXIS2_PLACEMENT_3D( '', #29168, #29169, #29170 );
#25802 = CARTESIAN_POINT( '', ( 0.0525000000000000, -0.00500000000000000, -0.192500000000000 ) );
#25803 = AXIS2_PLACEMENT_3D( '', #29171, #29172, #29173 );
#25804 = CARTESIAN_POINT( '', ( 0.0525000000000000, -0.00500000000000000, -0.610500000000000 ) );
#25805 = VECTOR( '', #29174, 39.3700787402000 );
#25806 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25807 = CARTESIAN_POINT( '', ( 0.0525000000000000, -0.00500000000000000, -0.610500000000000 ) );
#25808 = VECTOR( '', #29175, 39.3700787402000 );
#25809 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25810 = CARTESIAN_POINT( '', ( 0.0565000000000000, -0.000999999999999996, -0.138000000000000 ) );
#25811 = CARTESIAN_POINT( '', ( 0.0565000000000000, -0.000999999999999504, -0.138000000000000 ) );
#25812 = VECTOR( '', #29176, 39.3700787402000 );
#25813 = CARTESIAN_POINT( '', ( 0.0565000000000000, -0.000999999999999996, -0.610500000000000 ) );
#25814 = VECTOR( '', #29177, 39.3700787402000 );
#25815 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25816 = CARTESIAN_POINT( '', ( -0.00600000000000002, 0.0100000000000000, -0.200500000000000 ) );
#25817 = CARTESIAN_POINT( '', ( -0.00600000000000001, 0.0285500000000004, -0.200500000000000 ) );
#25818 = VECTOR( '', #29178, 39.3700787402000 );
#25819 = CARTESIAN_POINT( '', ( 0.0565000000000000, 0.0100000000000000, -0.200500000000000 ) );
#25820 = VECTOR( '', #29179, 39.3700787402000 );
#25821 = CARTESIAN_POINT( '', ( 1.00000000000000, -0.00500000000000000, -0.200500000000000 ) );
#25822 = VECTOR( '', #29180, 39.3700787402000 );
#25823 = CARTESIAN_POINT( '', ( -0.0275000000000000, 0.0100000000000000, -0.200500000000000 ) );
#25824 = CARTESIAN_POINT( '', ( -0.0275000000000000, 0.0100000000000004, -0.200500000000000 ) );
#25825 = VECTOR( '', #29181, 39.3700787402000 );
#25826 = CARTESIAN_POINT( '', ( -0.00600000000000002, 0.0100000000000000, -0.200500000000000 ) );
#25827 = VECTOR( '', #29182, 39.3700787402000 );
#25828 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25829 = CARTESIAN_POINT( '', ( -0.168505553499465, 0.159000000000000, -0.00549999955093010 ) );
#25830 = CARTESIAN_POINT( '', ( -0.172500000000000, 0.159000000000000, -0.00549999955093010 ) );
#25831 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.159000000000000, -0.00549999955093010 ) );
#25832 = VECTOR( '', #29183, 39.3700787402000 );
#25833 = CARTESIAN_POINT( '', ( -0.168505553499465, 0.159000000000000, -0.610500000000000 ) );
#25834 = VECTOR( '', #29184, 39.3700787402000 );
#25835 = CARTESIAN_POINT( '', ( -0.172500000000000, 0.159000000000000, -0.610500000000000 ) );
#25836 = VECTOR( '', #29185, 39.3700787402000 );
#25837 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25838 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.0275000000000000, -0.319000000000000 ) );
#25839 = VECTOR( '', #29186, 39.3700787402000 );
#25840 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25841 = CARTESIAN_POINT( '', ( -0.00600000000000001, 0.146000000000000, -0.287000000000000 ) );
#25842 = CARTESIAN_POINT( '', ( 0.00150555349946506, 0.159000000000000, -0.287000000000000 ) );
#25843 = VECTOR( '', #29187, 39.3700787402000 );
#25844 = CARTESIAN_POINT( '', ( 0.00150555349946505, 0.159000000000000, -0.293000000449070 ) );
#25845 = CARTESIAN_POINT( '', ( 0.00150555349946515, 0.159000000000000, -0.610500000000000 ) );
#25846 = VECTOR( '', #29188, 39.3700787402000 );
#25847 = CARTESIAN_POINT( '', ( -0.00426794919243089, 0.149000000000000, -0.295000000000000 ) );
#25848 = CARTESIAN_POINT( '', ( -0.0251898840898818, 0.112762145764967, -0.302247569219674 ) );
#25849 = VECTOR( '', #29189, 39.3700787402000 );
#25850 = CARTESIAN_POINT( '', ( -0.00600000000000001, 0.146000000000000, -0.295000000000000 ) );
#25851 = CARTESIAN_POINT( '', ( 0.00150555349946511, 0.159000000000000, -0.295000000000000 ) );
#25852 = VECTOR( '', #29190, 39.3700787402000 );
#25853 = CARTESIAN_POINT( '', ( -0.00600000000000001, 0.146000000000000, -0.610500000000000 ) );
#25854 = VECTOR( '', #29191, 39.3700787402000 );
#25855 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25856 = CARTESIAN_POINT( '', ( 0.00550000000000000, 0.159000000000000, -0.610500000000000 ) );
#25857 = VECTOR( '', #29192, 39.3700787402000 );
#25858 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25859 = CARTESIAN_POINT( '', ( -0.139500000000000, 0.00300000000000000, -0.413500000000000 ) );
#25860 = CARTESIAN_POINT( '', ( -0.139500000000000, 0.00300000000000000, -0.413500000000000 ) );
#25861 = VECTOR( '', #29193, 39.3700787402000 );
#25862 = CARTESIAN_POINT( '', ( -0.139500000000000, 0.00300000000000000, -0.610500000000000 ) );
#25863 = VECTOR( '', #29194, 39.3700787402000 );
#25864 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25865 = CARTESIAN_POINT( '', ( 0.00150555349946514, 0.159000000000000, -0.415499999550930 ) );
#25866 = CARTESIAN_POINT( '', ( 0.0179011766467831, 0.187398052312907, -0.421179608738240 ) );
#25867 = VECTOR( '', #29195, 39.3700787402000 );
#25868 = CARTESIAN_POINT( '', ( 0.00150555349946515, 0.159000000000000, -0.610500000000000 ) );
#25869 = VECTOR( '', #29196, 39.3700787402000 );
#25870 = CARTESIAN_POINT( '', ( -0.00600000000000001, 0.146000000000000, -0.610500000000000 ) );
#25871 = VECTOR( '', #29197, 39.3700787402000 );
#25872 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25873 = CARTESIAN_POINT( '', ( 0.00549999999999998, 0.159000000000000, -0.576500000449070 ) );
#25874 = CARTESIAN_POINT( '', ( 0.00550000000000000, 0.159000000000000, -0.610500000000000 ) );
#25875 = VECTOR( '', #29198, 39.3700787402000 );
#25876 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.159000000000000, -0.576500000449070 ) );
#25877 = VECTOR( '', #29199, 39.3700787402000 );
#25878 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25879 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25880 = CARTESIAN_POINT( '', ( -0.0275000000000000, 0.00300000000000000, -0.0980000000000000 ) );
#25881 = VECTOR( '', #29200, 39.3700787402000 );
#25882 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25883 = AXIS2_PLACEMENT_3D( '', #29201, #29202, #29203 );
#25884 = CARTESIAN_POINT( '', ( 0.0337923190452804, 0.214922318337416, -0.237684460707111 ) );
#25885 = VECTOR( '', #29204, 39.3700787402000 );
#25886 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25887 = CARTESIAN_POINT( '', ( 0.0258467478460315, 0.201160185325161, -0.329432034722675 ) );
#25888 = VECTOR( '', #29205, 39.3700787402000 );
#25889 = CARTESIAN_POINT( '', ( -0.00600000000000001, 0.146000000000000, -0.327000000000000 ) );
#25890 = CARTESIAN_POINT( '', ( 0.00150555349946515, 0.159000000000000, -0.327000000000000 ) );
#25891 = VECTOR( '', #29206, 39.3700787402000 );
#25892 = CARTESIAN_POINT( '', ( -0.00600000000000001, 0.146000000000000, -0.610500000000000 ) );
#25893 = VECTOR( '', #29207, 39.3700787402000 );
#25894 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25895 = CARTESIAN_POINT( '', ( -0.00600000000000001, 0.146000000000000, -0.516000000000000 ) );
#25896 = CARTESIAN_POINT( '', ( -0.00600000000000001, 0.146000000000000, -0.516000000000000 ) );
#25897 = VECTOR( '', #29208, 39.3700787402000 );
#25898 = CARTESIAN_POINT( '', ( -0.00426794919243089, 0.149000000000000, -0.516000000000000 ) );
#25899 = CARTESIAN_POINT( '', ( 0.00150555349946515, 0.159000000000000, -0.516000000000000 ) );
#25900 = VECTOR( '', #29209, 39.3700787402000 );
#25901 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.149000000000000, -0.516000000000000 ) );
#25902 = VECTOR( '', #29210, 39.3700787402000 );
#25903 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25904 = CARTESIAN_POINT( '', ( -0.0275000000000000, 0.00300000000000000, -0.578500000000000 ) );
#25905 = CARTESIAN_POINT( '', ( -0.0275000000000000, 0.0100000000000000, -0.578500000000000 ) );
#25906 = VECTOR( '', #29211, 39.3700787402000 );
#25907 = CARTESIAN_POINT( '', ( -0.0275000000000000, 0.00300000000000000, -0.610500000000000 ) );
#25908 = VECTOR( '', #29212, 39.3700787402000 );
#25909 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#25910 = CARTESIAN_POINT( '', ( -0.303250000000000, 0.0620000000000000, -0.0945000000000000 ) );
#25911 = VECTOR( '', #29213, 39.3700787402000 );
#25912 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25913 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.149000000000000, -0.130000000000000 ) );
#25914 = VECTOR( '', #29214, 39.3700787402000 );
#25915 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#25916 = CARTESIAN_POINT( '', ( -0.114250000000000, 0.0620000000000000, -0.0945000000000000 ) );
#25917 = CARTESIAN_POINT( '', ( -0.114250000000000, 0.258000000000000, -0.0945000000000000 ) );
#25918 = VECTOR( '', #29215, 39.3700787402000 );
#25919 = CARTESIAN_POINT( '', ( -0.105750000000000, 0.0620000000000000, -0.0945000000000000 ) );
#25920 = CARTESIAN_POINT( '', ( -0.105750000000000, 0.0620000000000000, -0.0945000000000000 ) );
#25921 = VECTOR( '', #29216, 39.3700787402000 );
#25922 = CARTESIAN_POINT( '', ( -0.105750000000000, 0.258000000000000, -0.0945000000000000 ) );
#25923 = VECTOR( '', #29217, 39.3700787402000 );
#25924 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25925 = CARTESIAN_POINT( '', ( -0.139500000000000, 0.0100000000000000, -0.138000000000000 ) );
#25926 = CARTESIAN_POINT( '', ( -0.139500000000000, 0.0100000000000000, -0.138000000000000 ) );
#25927 = VECTOR( '', #29218, 39.3700787402000 );
#25928 = CARTESIAN_POINT( '', ( -0.139500000000000, 0.0100000000000000, -0.610500000000000 ) );
#25929 = VECTOR( '', #29219, 39.3700787402000 );
#25930 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25931 = CARTESIAN_POINT( '', ( 0.0565000000000000, 0.0100000000000000, -0.610500000000000 ) );
#25932 = VECTOR( '', #29220, 39.3700787402000 );
#25933 = CARTESIAN_POINT( '', ( 0.0565000000000000, -0.000999999999999996, -0.610500000000000 ) );
#25934 = VECTOR( '', #29221, 39.3700787402000 );
#25935 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#25936 = CARTESIAN_POINT( '', ( -0.200250000000000, 0.0620000000000000, 0.0944999999999999 ) );
#25937 = CARTESIAN_POINT( '', ( -0.200250000000000, 0.0620000000000000, 0.0944999999999999 ) );
#25938 = VECTOR( '', #29222, 39.3700787402000 );
#25939 = CARTESIAN_POINT( '', ( -0.200250000000000, 0.258000000000000, 0.0944999999999999 ) );
#25940 = VECTOR( '', #29223, 39.3700787402000 );
#25941 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25942 = CARTESIAN_POINT( '', ( -0.00600000000000002, 0.0275000000000000, -0.602500000000000 ) );
#25943 = CARTESIAN_POINT( '', ( -0.00600000000000002, 0.0100000000000000, -0.602500000000000 ) );
#25944 = CARTESIAN_POINT( '', ( -0.00600000000000001, 0.0285500000000000, -0.602500000000000 ) );
#25945 = VECTOR( '', #29224, 39.3700787402000 );
#25946 = CARTESIAN_POINT( '', ( -0.0275000000000000, 0.0100000000000000, -0.602500000000000 ) );
#25947 = CARTESIAN_POINT( '', ( -0.00600000000000002, 0.0100000000000000, -0.602500000000000 ) );
#25948 = VECTOR( '', #29225, 39.3700787402000 );
#25949 = CARTESIAN_POINT( '', ( -0.0275000000000000, 0.0100000000000000, -0.602500000000000 ) );
#25950 = VECTOR( '', #29226, 39.3700787402000 );
#25951 = CARTESIAN_POINT( '', ( 0.0215000000000000, 0.00300000000000000, -0.602500000000000 ) );
#25952 = VECTOR( '', #29227, 39.3700787402000 );
#25953 = CARTESIAN_POINT( '', ( 0.0565000000000000, 0.0100000000000000, -0.602500000000000 ) );
#25954 = CARTESIAN_POINT( '', ( 0.0565000000000000, -0.00100000000000000, -0.602500000000000 ) );
#25955 = VECTOR( '', #29228, 39.3700787402000 );
#25956 = CARTESIAN_POINT( '', ( 0.0565000000000000, 0.0100000000000000, -0.602500000000000 ) );
#25957 = VECTOR( '', #29229, 39.3700787402000 );
#25958 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.0275000000000000, -0.602500000000000 ) );
#25959 = VECTOR( '', #29230, 39.3700787402000 );
#25960 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#25961 = CARTESIAN_POINT( '', ( 0.369000000000000, 0.0110000000000000, -0.00750000000000000 ) );
#25962 = VECTOR( '', #29231, 39.3700787402000 );
#25963 = CARTESIAN_POINT( '', ( -0.369000000000000, 0.0110000000000000, 0.00750000000000000 ) );
#25964 = VECTOR( '', #29232, 39.3700787402000 );
#25965 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#25966 = CARTESIAN_POINT( '', ( 0.0122500000000000, 0.0620000000000000, -0.0775000000000000 ) );
#25967 = CARTESIAN_POINT( '', ( 0.0122500000000000, 0.258000000000000, -0.0775000000000000 ) );
#25968 = VECTOR( '', #29233, 39.3700787402000 );
#25969 = CARTESIAN_POINT( '', ( 0.0122500000000000, 0.0620000000000000, -0.0945000000000000 ) );
#25970 = VECTOR( '', #29234, 39.3700787402000 );
#25971 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25972 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.149000000000000, -0.484000000000000 ) );
#25973 = VECTOR( '', #29235, 39.3700787402000 );
#25974 = AXIS2_PLACEMENT_3D( '', #29236, #29237, #29238 );
#25975 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25976 = CARTESIAN_POINT( '', ( -0.00600000000000002, 0.0325000000000000, -0.578500000000000 ) );
#25977 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.0325000000000000, -0.578500000000000 ) );
#25978 = VECTOR( '', #29239, 39.3700787402000 );
#25979 = CARTESIAN_POINT( '', ( -0.00600000000000001, 0.146000000000000, -0.578500000000000 ) );
#25980 = VECTOR( '', #29240, 39.3700787402000 );
#25981 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.149000000000000, -0.578500000000000 ) );
#25982 = VECTOR( '', #29241, 39.3700787402000 );
#25983 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#25984 = CARTESIAN_POINT( '', ( -0.0737500000000000, 0.0620000000000000, 0.0944999999999999 ) );
#25985 = CARTESIAN_POINT( '', ( -0.0737500000000000, 0.258000000000000, 0.0944999999999999 ) );
#25986 = VECTOR( '', #29242, 39.3700787402000 );
#25987 = CARTESIAN_POINT( '', ( -0.0822500000000000, 0.0620000000000000, 0.0944999999999999 ) );
#25988 = VECTOR( '', #29243, 39.3700787402000 );
#25989 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25990 = CARTESIAN_POINT( '', ( 0.00150555349946514, 0.159000000000000, -0.608500000449070 ) );
#25991 = CARTESIAN_POINT( '', ( 0.00133739330020187, 0.158708737991065, -0.608558252837777 ) );
#25992 = VECTOR( '', #29244, 39.3700787402000 );
#25993 = CARTESIAN_POINT( '', ( 0.00549999999999998, 0.159000000000000, -0.608500000449070 ) );
#25994 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.159000000000000, -0.608500000449070 ) );
#25995 = VECTOR( '', #29245, 39.3700787402000 );
#25996 = AXIS2_PLACEMENT_3D( '', #29246, #29247, #29248 );
#25997 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25998 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#25999 = CARTESIAN_POINT( '', ( -0.162732050807569, 0.149000000000000, -0.602500000000000 ) );
#26000 = CARTESIAN_POINT( '', ( -0.161000000000000, 0.146000000000000, -0.602500000000000 ) );
#26001 = VECTOR( '', #29249, 39.3700787402000 );
#26002 = CARTESIAN_POINT( '', ( -0.168505553499465, 0.159000000000000, -0.608500000449070 ) );
#26003 = CARTESIAN_POINT( '', ( -0.161050448059779, 0.146087378602681, -0.611082524148667 ) );
#26004 = VECTOR( '', #29250, 39.3700787402000 );
#26005 = CARTESIAN_POINT( '', ( -0.168505553499465, 0.159000000000000, -0.604499999550930 ) );
#26006 = CARTESIAN_POINT( '', ( -0.168505553499465, 0.159000000000000, -0.610500000000000 ) );
#26007 = VECTOR( '', #29251, 39.3700787402000 );
#26008 = CARTESIAN_POINT( '', ( -0.161723089007864, 0.147252426900014, -0.602150485458481 ) );
#26009 = VECTOR( '', #29252, 39.3700787402000 );
#26010 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#26011 = CARTESIAN_POINT( '', ( -0.00600000000000002, 0.0325000000000000, -0.200500000000000 ) );
#26012 = CARTESIAN_POINT( '', ( -0.00600000000000002, 0.0325000000000000, -0.610500000000000 ) );
#26013 = VECTOR( '', #29253, 39.3700787402000 );
#26014 = CARTESIAN_POINT( '', ( 1.00000000000000, 0.0325000000000000, -0.200500000000000 ) );
#26015 = VECTOR( '', #29254, 39.3700787402000 );
#26016 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#26017 = CARTESIAN_POINT( '', ( -0.139500000000000, 0.00300000000000000, -0.610500000000000 ) );
#26018 = VECTOR( '', #29255, 39.3700787402000 );
#26019 = CARTESIAN_POINT( '', ( -0.188500000000000, 0.00300000000000000, -0.610500000000000 ) );
#26020 = VECTOR( '', #29256, 39.3700787402000 );
#26021 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#26022 = CARTESIAN_POINT( '', ( -0.303250000000000, 0.0620000000000000, 0.0775000000000000 ) );
#26023 = VECTOR( '', #29257, 39.3700787402000 );
#26024 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#26025 = AXIS2_PLACEMENT_3D( '', #29258, #29259, #29260 );
#26026 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#26027 = CARTESIAN_POINT( '', ( -0.176750000000000, 0.0620000000000000, 0.0775000000000000 ) );
#26028 = VECTOR( '', #29261, 39.3700787402000 );
#26029 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#26030 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#26031 = CARTESIAN_POINT( '', ( 0.334250000000000, 0.0620000000000000, 0.0225000000000000 ) );
#26032 = CARTESIAN_POINT( '', ( 0.334250000000000, 0.258000000000000, 0.0225000000000000 ) );
#26033 = VECTOR( '', #29262, 39.3700787402000 );
#26034 = CARTESIAN_POINT( '', ( 0.318100000000000, 0.0620000000000000, 0.0225000000000000 ) );
#26035 = CARTESIAN_POINT( '', ( 0.318100000000000, 0.140000000000000, 0.0225000000000000 ) );