Newer
Older
22001
22002
22003
22004
22005
22006
22007
22008
22009
22010
22011
22012
22013
22014
22015
22016
22017
22018
22019
22020
22021
22022
22023
22024
22025
22026
22027
22028
22029
22030
22031
22032
22033
22034
22035
22036
22037
22038
22039
22040
22041
22042
22043
22044
22045
22046
22047
22048
22049
22050
22051
22052
22053
22054
22055
22056
22057
22058
22059
22060
22061
22062
22063
22064
22065
22066
22067
22068
22069
22070
22071
22072
22073
22074
22075
22076
22077
22078
22079
22080
22081
22082
22083
22084
22085
22086
22087
22088
22089
22090
22091
22092
22093
22094
22095
22096
22097
22098
22099
22100
22101
22102
22103
22104
22105
22106
22107
22108
22109
22110
22111
22112
22113
22114
22115
22116
22117
22118
22119
22120
22121
22122
22123
22124
22125
22126
22127
22128
22129
22130
22131
22132
22133
22134
22135
22136
22137
22138
22139
22140
22141
22142
22143
22144
22145
22146
22147
22148
22149
22150
22151
22152
22153
22154
22155
22156
22157
22158
22159
22160
22161
22162
22163
22164
22165
22166
22167
22168
22169
22170
22171
22172
22173
22174
22175
22176
22177
22178
22179
22180
22181
22182
22183
22184
22185
22186
22187
22188
22189
22190
22191
22192
22193
22194
22195
22196
22197
22198
22199
22200
22201
22202
22203
22204
22205
22206
22207
22208
22209
22210
22211
22212
22213
22214
22215
22216
22217
22218
22219
22220
22221
22222
22223
22224
22225
22226
22227
22228
22229
22230
22231
22232
22233
22234
22235
22236
22237
22238
22239
22240
22241
22242
22243
22244
22245
22246
22247
22248
22249
22250
22251
22252
22253
22254
22255
22256
22257
22258
22259
22260
22261
22262
22263
22264
22265
22266
22267
22268
22269
22270
22271
22272
22273
22274
22275
22276
22277
22278
22279
22280
22281
22282
22283
22284
22285
22286
22287
22288
22289
22290
22291
22292
22293
22294
22295
22296
22297
22298
22299
22300
22301
22302
22303
22304
22305
22306
22307
22308
22309
22310
22311
22312
22313
22314
22315
22316
22317
22318
22319
22320
22321
22322
22323
22324
22325
22326
22327
22328
22329
22330
22331
22332
22333
22334
22335
22336
22337
22338
22339
22340
22341
22342
22343
22344
22345
22346
22347
22348
22349
22350
22351
22352
22353
22354
22355
22356
22357
22358
22359
22360
22361
22362
22363
22364
22365
22366
22367
22368
22369
22370
22371
22372
22373
22374
22375
22376
22377
22378
22379
22380
22381
22382
22383
22384
22385
22386
22387
22388
22389
22390
22391
22392
22393
22394
22395
22396
22397
22398
22399
22400
22401
22402
22403
22404
22405
22406
22407
22408
22409
22410
22411
22412
22413
22414
22415
22416
22417
22418
22419
22420
22421
22422
22423
22424
22425
22426
22427
22428
22429
22430
22431
22432
22433
22434
22435
22436
22437
22438
22439
22440
22441
22442
22443
22444
22445
22446
22447
22448
22449
22450
22451
22452
22453
22454
22455
22456
22457
22458
22459
22460
22461
22462
22463
22464
22465
22466
22467
22468
22469
22470
22471
22472
22473
22474
22475
22476
22477
22478
22479
22480
22481
22482
22483
22484
22485
22486
22487
22488
22489
22490
22491
22492
22493
22494
22495
22496
22497
22498
22499
22500
22501
22502
22503
22504
22505
22506
22507
22508
22509
22510
22511
22512
22513
22514
22515
22516
22517
22518
22519
22520
22521
22522
22523
22524
22525
22526
22527
22528
22529
22530
22531
22532
22533
22534
22535
22536
22537
22538
22539
22540
22541
22542
22543
22544
22545
22546
22547
22548
22549
22550
22551
22552
22553
22554
22555
22556
22557
22558
22559
22560
22561
22562
22563
22564
22565
22566
22567
22568
22569
22570
22571
22572
22573
22574
22575
22576
22577
22578
22579
22580
22581
22582
22583
22584
22585
22586
22587
22588
22589
22590
22591
22592
22593
22594
22595
22596
22597
22598
22599
22600
22601
22602
22603
22604
22605
22606
22607
22608
22609
22610
22611
22612
22613
22614
22615
22616
22617
22618
22619
22620
22621
22622
22623
22624
22625
22626
22627
22628
22629
22630
22631
22632
22633
22634
22635
22636
22637
22638
22639
22640
22641
22642
22643
22644
22645
22646
22647
22648
22649
22650
22651
22652
22653
22654
22655
22656
22657
22658
22659
22660
22661
22662
22663
22664
22665
22666
22667
22668
22669
22670
22671
22672
22673
22674
22675
22676
22677
22678
22679
22680
22681
22682
22683
22684
22685
22686
22687
22688
22689
22690
22691
22692
22693
22694
22695
22696
22697
22698
22699
22700
22701
22702
22703
22704
22705
22706
22707
22708
22709
22710
22711
22712
22713
22714
22715
22716
22717
22718
22719
22720
22721
22722
22723
22724
22725
22726
22727
22728
22729
22730
22731
22732
22733
22734
22735
22736
22737
22738
22739
22740
22741
22742
22743
22744
22745
22746
22747
22748
22749
22750
22751
22752
22753
22754
22755
22756
22757
22758
22759
22760
22761
22762
22763
22764
22765
22766
22767
22768
22769
22770
22771
22772
22773
22774
22775
22776
22777
22778
22779
22780
22781
22782
22783
22784
22785
22786
22787
22788
22789
22790
22791
22792
22793
22794
22795
22796
22797
22798
22799
22800
22801
22802
22803
22804
22805
22806
22807
22808
22809
22810
22811
22812
22813
22814
22815
22816
22817
22818
22819
22820
22821
22822
22823
22824
22825
22826
22827
22828
22829
22830
22831
22832
22833
22834
22835
22836
22837
22838
22839
22840
22841
22842
22843
22844
22845
22846
22847
22848
22849
22850
22851
22852
22853
22854
22855
22856
22857
22858
22859
22860
22861
22862
22863
22864
22865
22866
22867
22868
22869
22870
22871
22872
22873
22874
22875
22876
22877
22878
22879
22880
22881
22882
22883
22884
22885
22886
22887
22888
22889
22890
22891
22892
22893
22894
22895
22896
22897
22898
22899
22900
22901
22902
22903
22904
22905
22906
22907
22908
22909
22910
22911
22912
22913
22914
22915
22916
22917
22918
22919
22920
22921
22922
22923
22924
22925
22926
22927
22928
22929
22930
22931
22932
22933
22934
22935
22936
22937
22938
22939
22940
22941
22942
22943
22944
22945
22946
22947
22948
22949
22950
22951
22952
22953
22954
22955
22956
22957
22958
22959
22960
22961
22962
22963
22964
22965
22966
22967
22968
22969
22970
22971
22972
22973
22974
22975
22976
22977
22978
22979
22980
22981
22982
22983
22984
22985
22986
22987
22988
22989
22990
22991
22992
22993
22994
22995
22996
22997
22998
22999
23000
#22040 = VECTOR( '', #24129, 39.3700787402000 );
#22041 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22042 = CARTESIAN_POINT( '', ( 0.172000000000000, 0.133000000000000, -0.0170000000000000 ) );
#22043 = CARTESIAN_POINT( '', ( 0.172000000000000, 0.133000000000000, -0.0170000000000000 ) );
#22044 = VECTOR( '', #24130, 39.3700787402000 );
#22045 = CARTESIAN_POINT( '', ( 0.172000000000000, 0.0300000000000000, -0.0170000000000000 ) );
#22046 = VECTOR( '', #24131, 39.3700787402000 );
#22047 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22048 = CARTESIAN_POINT( '', ( 0.0100000000000000, 0.133000000000000, 0.0400000000000000 ) );
#22049 = VECTOR( '', #24132, 39.3700787402000 );
#22050 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22051 = CARTESIAN_POINT( '', ( -0.115000000000000, 0.00500000000000000, 0.0440000000000000 ) );
#22052 = CARTESIAN_POINT( '', ( -0.115000000000000, 0.0299999999999999, 0.0440000000000000 ) );
#22053 = VECTOR( '', #24133, 39.3700787402000 );
#22054 = AXIS2_PLACEMENT_3D( '', #24134, #24135, #24136 );
#22055 = CARTESIAN_POINT( '', ( -0.115000000000000, -0.00700000000000001, 0.0904500000000000 ) );
#22056 = VECTOR( '', #24137, 39.3700787402000 );
#22057 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22058 = CARTESIAN_POINT( '', ( -0.0350000000000000, 0.00500000000000002, 0.0440000000000000 ) );
#22059 = CARTESIAN_POINT( '', ( -0.0350000000000000, 0.0299999999999999, 0.0440000000000000 ) );
#22060 = VECTOR( '', #24138, 39.3700787402000 );
#22061 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.00500000000000002, 0.0440000000000000 ) );
#22062 = VECTOR( '', #24139, 39.3700787402000 );
#22063 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22064 = CARTESIAN_POINT( '', ( 0.172000000000000, 0.133000000000000, -0.0100000000000000 ) );
#22065 = VECTOR( '', #24140, 39.3700787402000 );
#22066 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22067 = CARTESIAN_POINT( '', ( -0.0650000000000001, 0.0300000000000000, -0.0370000000000000 ) );
#22068 = VECTOR( '', #24141, 39.3700787402000 );
#22069 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22070 = CARTESIAN_POINT( '', ( -0.0780000000000000, 0.133000000000000, 0.0170000000000000 ) );
#22071 = CARTESIAN_POINT( '', ( -0.0780000000000000, 0.133000000000000, 0.0170000000000000 ) );
#22072 = VECTOR( '', #24142, 39.3700787402000 );
#22073 = CARTESIAN_POINT( '', ( -0.0780000000000000, 0.0300000000000000, 0.0170000000000000 ) );
#22074 = VECTOR( '', #24143, 39.3700787402000 );
#22075 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22076 = CARTESIAN_POINT( '', ( -0.122000000000000, 0.133000000000000, 0.0330000000000000 ) );
#22077 = VECTOR( '', #24144, 39.3700787402000 );
#22078 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22079 = CARTESIAN_POINT( '', ( 0.215000000000000, -6.07153216591882E-18, -0.0904500000000000 ) );
#22080 = VECTOR( '', #24145, 39.3700787402000 );
#22081 = CARTESIAN_POINT( '', ( 0.215000000000000, -0.00700000000000001, -0.0490000000000000 ) );
#22082 = VECTOR( '', #24146, 39.3700787402000 );
#22083 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22084 = CARTESIAN_POINT( '', ( 0.135000000000000, 0.000000000000000, 0.0490000000000000 ) );
#22085 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.000000000000000, 0.0490000000000000 ) );
#22086 = VECTOR( '', #24147, 39.3700787402000 );
#22087 = CARTESIAN_POINT( '', ( 0.135000000000000, 0.00500000000000000, 0.0440000000000000 ) );
#22088 = AXIS2_PLACEMENT_3D( '', #24148, #24149, #24150 );
#22089 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.00500000000000002, 0.0440000000000000 ) );
#22090 = VECTOR( '', #24151, 39.3700787402000 );
#22091 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#22092 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22093 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22094 = CARTESIAN_POINT( '', ( 0.0780000000000000, 0.0300000000000000, 0.0330000000000000 ) );
#22095 = VECTOR( '', #24152, 39.3700787402000 );
#22096 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22097 = CARTESIAN_POINT( '', ( -0.122000000000000, 0.133000000000000, -0.0170000000000000 ) );
#22098 = VECTOR( '', #24153, 39.3700787402000 );
#22099 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22100 = CARTESIAN_POINT( '', ( 0.122000000000000, 0.133000000000000, -0.0400000000000000 ) );
#22101 = VECTOR( '', #24154, 39.3700787402000 );
#22102 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22103 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22104 = CARTESIAN_POINT( '', ( -0.0600000000000000, 0.133000000000000, 0.0100000000000000 ) );
#22105 = VECTOR( '', #24155, 39.3700787402000 );
#22106 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#22107 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22108 = CARTESIAN_POINT( '', ( 0.135000000000000, -0.00700000000000001, 0.0490000000000000 ) );
#22109 = CARTESIAN_POINT( '', ( 0.135000000000000, -0.00700000000000001, 0.0904500000000000 ) );
#22110 = VECTOR( '', #24156, 39.3700787402000 );
#22111 = CARTESIAN_POINT( '', ( 0.250000000000000, -0.00700000000000001, 0.0490000000000000 ) );
#22112 = VECTOR( '', #24157, 39.3700787402000 );
#22113 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22114 = CARTESIAN_POINT( '', ( -0.228000000000000, 0.0300000000000000, -0.0330000000000000 ) );
#22115 = VECTOR( '', #24158, 39.3700787402000 );
#22116 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#22117 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#22118 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22119 = CARTESIAN_POINT( '', ( 0.140000000000000, 0.133000000000000, 0.0400000000000000 ) );
#22120 = VECTOR( '', #24159, 39.3700787402000 );
#22121 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22122 = CARTESIAN_POINT( '', ( 0.0780000000000000, 0.133000000000000, 0.0330000000000000 ) );
#22123 = CARTESIAN_POINT( '', ( 0.0780000000000000, 0.133000000000000, 0.0330000000000000 ) );
#22124 = VECTOR( '', #24160, 39.3700787402000 );
#22125 = CARTESIAN_POINT( '', ( 0.0780000000000000, 0.0300000000000000, 0.0330000000000000 ) );
#22126 = VECTOR( '', #24161, 39.3700787402000 );
#22127 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#22128 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22129 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22130 = CARTESIAN_POINT( '', ( 0.228000000000000, 0.0300000000000000, -0.0330000000000000 ) );
#22131 = VECTOR( '', #24162, 39.3700787402000 );
#22132 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22133 = CARTESIAN_POINT( '', ( -0.0720000000000000, 0.133000000000000, 0.0170000000000000 ) );
#22134 = VECTOR( '', #24163, 39.3700787402000 );
#22135 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22136 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22137 = CARTESIAN_POINT( '', ( -0.228000000000000, 0.133000000000000, -0.0330000000000000 ) );
#22138 = VECTOR( '', #24164, 39.3700787402000 );
#22139 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22140 = CARTESIAN_POINT( '', ( 0.135000000000000, 0.0299999999999999, 0.0440000000000000 ) );
#22141 = VECTOR( '', #24165, 39.3700787402000 );
#22142 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22143 = CARTESIAN_POINT( '', ( -0.178000000000000, 0.133000000000000, 0.0330000000000000 ) );
#22144 = VECTOR( '', #24166, 39.3700787402000 );
#22145 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22146 = CARTESIAN_POINT( '', ( -0.0220000000000000, 0.133000000000000, -0.0100000000000000 ) );
#22147 = VECTOR( '', #24167, 39.3700787402000 );
#22148 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22149 = AXIS2_PLACEMENT_3D( '', #24168, #24169, #24170 );
#22150 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22151 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.133000000000000, -0.0475000000000000 ) );
#22152 = VECTOR( '', #24171, 39.3700787402000 );
#22153 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22154 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.0300000000000000, -0.0370000000000000 ) );
#22155 = VECTOR( '', #24172, 39.3700787402000 );
#22156 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.0300000000000000, -0.0370000000000000 ) );
#22157 = VECTOR( '', #24173, 39.3700787402000 );
#22158 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22159 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.0300000000000000, -0.0370000000000000 ) );
#22160 = VECTOR( '', #24174, 39.3700787402000 );
#22161 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22162 = CARTESIAN_POINT( '', ( 0.122000000000000, 0.133000000000000, 0.0330000000000000 ) );
#22163 = CARTESIAN_POINT( '', ( 0.122000000000000, 0.133000000000000, 0.0400000000000000 ) );
#22164 = VECTOR( '', #24175, 39.3700787402000 );
#22165 = CARTESIAN_POINT( '', ( 0.122000000000000, 0.0300000000000000, 0.0330000000000000 ) );
#22166 = VECTOR( '', #24176, 39.3700787402000 );
#22167 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22168 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22169 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22170 = CARTESIAN_POINT( '', ( 0.172000000000000, 0.133000000000000, -0.0400000000000000 ) );
#22171 = VECTOR( '', #24177, 39.3700787402000 );
#22172 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22173 = CARTESIAN_POINT( '', ( 0.0780000000000000, 0.133000000000000, -0.0170000000000000 ) );
#22174 = CARTESIAN_POINT( '', ( 0.0780000000000000, 0.133000000000000, -0.0170000000000000 ) );
#22175 = VECTOR( '', #24178, 39.3700787402000 );
#22176 = CARTESIAN_POINT( '', ( 0.0780000000000000, 0.0300000000000000, -0.0170000000000000 ) );
#22177 = VECTOR( '', #24179, 39.3700787402000 );
#22178 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22179 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22180 = CARTESIAN_POINT( '', ( -0.178000000000000, 0.133000000000000, -0.0170000000000000 ) );
#22181 = VECTOR( '', #24180, 39.3700787402000 );
#22182 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22183 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22184 = CARTESIAN_POINT( '', ( -0.0350000000000000, 0.00499999999999999, 0.0370000000000000 ) );
#22185 = VECTOR( '', #24181, 39.3700787402000 );
#22186 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.0299999999999999, 0.0370000000000000 ) );
#22187 = VECTOR( '', #24182, 39.3700787402000 );
#22188 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22189 = CARTESIAN_POINT( '', ( -0.0350000000000000, -0.00700000000000001, 0.0904500000000000 ) );
#22190 = VECTOR( '', #24183, 39.3700787402000 );
#22191 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22192 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22193 = CARTESIAN_POINT( '', ( 0.0720000000000000, 0.133000000000000, -0.0170000000000000 ) );
#22194 = VECTOR( '', #24184, 39.3700787402000 );
#22195 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#22196 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22197 = CARTESIAN_POINT( '', ( -0.178000000000000, 0.133000000000000, -0.0400000000000000 ) );
#22198 = VECTOR( '', #24185, 39.3700787402000 );
#22199 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22200 = CARTESIAN_POINT( '', ( -0.160000000000000, 0.133000000000000, 0.0100000000000000 ) );
#22201 = VECTOR( '', #24186, 39.3700787402000 );
#22202 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22203 = AXIS2_PLACEMENT_3D( '', #24187, #24188, #24189 );
#22204 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22205 = CARTESIAN_POINT( '', ( 0.135000000000000, 0.0300000000000000, 0.131000000000000 ) );
#22206 = VECTOR( '', #24190, 39.3700787402000 );
#22207 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#22208 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#22209 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22210 = CARTESIAN_POINT( '', ( 0.110000000000000, 0.133000000000000, 0.0100000000000000 ) );
#22211 = VECTOR( '', #24191, 39.3700787402000 );
#22212 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22213 = CARTESIAN_POINT( '', ( 0.128000000000000, 0.133000000000000, -0.0170000000000000 ) );
#22214 = VECTOR( '', #24192, 39.3700787402000 );
#22215 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22216 = CARTESIAN_POINT( '', ( -0.190000000000000, 0.133000000000000, 0.0100000000000000 ) );
#22217 = VECTOR( '', #24193, 39.3700787402000 );
#22218 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#22219 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22220 = CARTESIAN_POINT( '', ( 0.210000000000000, 0.133000000000000, -0.0100000000000000 ) );
#22221 = VECTOR( '', #24194, 39.3700787402000 );
#22222 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22223 = CARTESIAN_POINT( '', ( 0.228000000000000, 0.133000000000000, -0.0330000000000000 ) );
#22224 = VECTOR( '', #24195, 39.3700787402000 );
#22225 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22226 = CARTESIAN_POINT( '', ( 0.0720000000000000, 0.133000000000000, 0.0170000000000000 ) );
#22227 = VECTOR( '', #24196, 39.3700787402000 );
#22228 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22229 = CARTESIAN_POINT( '', ( 0.0780000000000000, 0.133000000000000, 0.0100000000000000 ) );
#22230 = VECTOR( '', #24197, 39.3700787402000 );
#22231 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22232 = CARTESIAN_POINT( '', ( 0.135000000000000, 6.07153216591882E-18, 0.0490000000000000 ) );
#22233 = VECTOR( '', #24198, 39.3700787402000 );
#22234 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22235 = CARTESIAN_POINT( '', ( -0.172000000000000, 0.133000000000000, -0.0100000000000000 ) );
#22236 = VECTOR( '', #24199, 39.3700787402000 );
#22237 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22238 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22239 = CARTESIAN_POINT( '', ( 0.0720000000000000, 0.133000000000000, -0.0400000000000000 ) );
#22240 = VECTOR( '', #24200, 39.3700787402000 );
#22241 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22242 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22243 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22244 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22245 = CARTESIAN_POINT( '', ( -0.240000000000000, 0.133000000000000, -0.0400000000000000 ) );
#22246 = VECTOR( '', #24201, 39.3700787402000 );
#22247 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22248 = CARTESIAN_POINT( '', ( 0.250000000000000, 0.00500000000000002, 0.0440000000000000 ) );
#22249 = VECTOR( '', #24202, 39.3700787402000 );
#22250 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22251 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#22252 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#22253 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#22254 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#22255 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#22256 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22257 = CARTESIAN_POINT( '', ( 0.0720000000000000, 0.133000000000000, 0.0330000000000000 ) );
#22258 = VECTOR( '', #24203, 39.3700787402000 );
#22259 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22260 = CARTESIAN_POINT( '', ( 0.0280000000000000, 0.133000000000000, 0.0330000000000000 ) );
#22261 = VECTOR( '', #24204, 39.3700787402000 );
#22262 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22263 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#22264 = CARTESIAN_POINT( '', ( -0.0370000000000000, 0.172000000000000, -0.0130000000000000 ) );
#22265 = VECTOR( '', #24205, 39.3700787402000 );
#22266 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22267 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22268 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22269 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 );
#22270 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22271 = CARTESIAN_POINT( '', ( 0.0280000000000000, 0.133000000000000, -0.0400000000000000 ) );
#22272 = VECTOR( '', #24206, 39.3700787402000 );
#22273 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22274 = CARTESIAN_POINT( '', ( 0.122000000000000, 0.133000000000000, 0.0330000000000000 ) );
#22275 = VECTOR( '', #24207, 39.3700787402000 );
#22276 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22277 = CARTESIAN_POINT( '', ( 0.0220000000000000, 0.133000000000000, -0.0400000000000000 ) );
#22278 = VECTOR( '', #24208, 39.3700787402000 );
#22279 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22280 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22281 = CARTESIAN_POINT( '', ( 0.128000000000000, 0.133000000000000, 0.0100000000000000 ) );
#22282 = VECTOR( '', #24209, 39.3700787402000 );
#22283 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22284 = CARTESIAN_POINT( '', ( -0.140000000000000, 0.133000000000000, -0.0400000000000000 ) );
#22285 = VECTOR( '', #24210, 39.3700787402000 );
#22286 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22287 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22288 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22289 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22290 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22291 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 0.000000000000000 );
#22292 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22293 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22294 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22295 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#22296 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22297 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#22298 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22299 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22300 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22301 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22302 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22303 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22304 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22305 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22306 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22307 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#22308 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22309 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#22310 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22311 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22312 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22313 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22314 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22315 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22316 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22317 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22318 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22319 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#22320 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22321 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#22322 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22323 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22324 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22325 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22326 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22327 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22328 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22329 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22330 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22331 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#22332 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22333 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#22334 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22335 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22336 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22337 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22338 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22339 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22340 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22341 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22342 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22343 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#22344 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22345 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#22346 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22347 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22348 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22349 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22350 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22351 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22352 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22353 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22354 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22355 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#22356 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22357 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#22358 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22359 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22360 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22361 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22362 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22363 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22364 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22365 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22366 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22367 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#22368 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22369 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#22370 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22371 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22372 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22373 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22374 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22375 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22376 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22377 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22378 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22379 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#22380 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22381 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#22382 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22383 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22384 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22385 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22386 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22387 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22388 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22389 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22390 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22391 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#22392 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22393 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#22394 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22395 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22396 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22397 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22398 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22399 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22400 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22401 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22402 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22403 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#22404 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22405 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#22406 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22407 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22408 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22409 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22410 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22411 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22412 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22413 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22414 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22415 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22416 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22417 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22418 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22419 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22420 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22421 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22422 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22423 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#22424 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22425 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#22426 = DIRECTION( '', ( 1.00000000000000, -1.42283749670014E-16, 0.000000000000000 ) );
#22427 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22428 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22429 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22430 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22431 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22432 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22433 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22434 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22435 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#22436 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22437 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#22438 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#22439 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22440 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22441 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22442 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22443 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22444 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22445 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22446 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22447 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#22448 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22449 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#22450 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#22451 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22452 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22453 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22454 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22455 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22456 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22457 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22458 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22459 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#22460 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22461 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#22462 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#22463 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22464 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22465 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22466 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22467 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22468 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22469 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22470 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22471 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#22472 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22473 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#22474 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#22475 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22476 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22477 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22478 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22479 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22480 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22481 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22482 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22483 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#22484 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22485 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#22486 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#22487 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22488 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22489 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22490 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22491 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22492 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22493 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22494 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22495 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#22496 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22497 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#22498 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#22499 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22500 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22501 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22502 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22503 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22504 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22505 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22506 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22507 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#22508 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22509 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#22510 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#22511 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22512 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22513 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22514 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22515 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22516 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22517 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22518 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22519 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#22520 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22521 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#22522 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#22523 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22524 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22525 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22526 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22527 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22528 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22529 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22530 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22531 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#22532 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22533 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#22534 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#22535 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22536 = CARTESIAN_POINT( '', ( -0.200000000000000, 0.0300000000000000, 0.000000000000000 ) );
#22537 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22538 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22539 = CARTESIAN_POINT( '', ( -0.150000000000000, 0.0300000000000000, 0.000000000000000 ) );
#22540 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22541 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22542 = CARTESIAN_POINT( '', ( -0.100000000000000, 0.0300000000000000, 0.000000000000000 ) );
#22543 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22544 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22545 = CARTESIAN_POINT( '', ( -0.0500000000000000, 0.0300000000000000, 0.000000000000000 ) );
#22546 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22547 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22548 = CARTESIAN_POINT( '', ( -1.38777878078145E-17, 0.0300000000000000, 0.000000000000000 ) );
#22549 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22550 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22551 = CARTESIAN_POINT( '', ( 0.0500000000000000, 0.0300000000000000, 0.000000000000000 ) );
#22552 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22553 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22554 = CARTESIAN_POINT( '', ( 0.100000000000000, 0.0300000000000000, 0.000000000000000 ) );
#22555 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22556 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22557 = CARTESIAN_POINT( '', ( 0.150000000000000, 0.0300000000000000, 0.000000000000000 ) );
#22558 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22559 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22560 = CARTESIAN_POINT( '', ( 0.200000000000000, 0.0300000000000000, 0.000000000000000 ) );
#22561 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22562 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22563 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22564 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22565 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22566 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22567 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22568 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22569 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22570 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22571 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22572 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22573 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22574 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22575 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#22576 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22577 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22578 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22579 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#22580 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22581 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22582 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22583 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22584 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22585 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22586 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22587 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22588 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#22589 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22590 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#22591 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22592 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22593 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22594 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22595 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22596 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22597 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22598 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22599 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22600 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22601 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22602 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22603 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22604 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#22605 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22606 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#22607 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22608 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22609 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22610 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22611 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22612 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22613 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22614 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22615 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22616 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22617 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22618 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22619 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22620 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22621 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22622 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22623 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22624 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22625 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22626 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22627 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22628 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#22629 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22630 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#22631 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22632 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#22633 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22634 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#22635 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22636 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#22637 = CARTESIAN_POINT( '', ( 0.235000000000000, 0.00499999999999999, -0.0490000000000000 ) );
#22638 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#22639 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22640 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22641 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22642 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22643 = CARTESIAN_POINT( '', ( 0.235000000000000, 0.00499999999999999, -0.0490000000000000 ) );
#22644 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#22645 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22646 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22647 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#22648 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22649 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22650 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#22651 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22652 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#22653 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22654 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22655 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22656 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22657 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22658 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22659 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22660 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22661 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22662 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22663 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22664 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22665 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22666 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22667 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22668 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22669 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22670 = CARTESIAN_POINT( '', ( -0.215000000000000, 0.00499999999999999, -0.0490000000000000 ) );
#22671 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#22672 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22673 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22674 = CARTESIAN_POINT( '', ( -0.235000000000000, 0.00499999999999999, -0.0490000000000000 ) );
#22675 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22676 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22677 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#22678 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22679 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#22680 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22681 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22682 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22683 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22684 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22685 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22686 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22687 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22688 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22689 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22690 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22691 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22692 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22693 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22694 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22695 = CARTESIAN_POINT( '', ( -0.165000000000000, 0.00500000000000000, 0.0490000000000000 ) );
#22696 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#22697 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22698 = CARTESIAN_POINT( '', ( -0.185000000000000, 0.00500000000000000, 0.0490000000000000 ) );
#22699 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22700 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22701 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22702 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22703 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22704 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22705 = CARTESIAN_POINT( '', ( -0.150000000000000, 0.122000000000000, 0.000000000000000 ) );
#22706 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22707 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22708 = CARTESIAN_POINT( '', ( -0.150000000000000, 0.172000000000000, 0.000000000000000 ) );
#22709 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22710 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22711 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22712 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22713 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#22714 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22715 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22716 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22717 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22718 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22719 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22720 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22721 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22722 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22723 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#22724 = CARTESIAN_POINT( '', ( 0.0850000000000000, 0.00500000000000000, 0.0490000000000000 ) );
#22725 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#22726 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22727 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22728 = CARTESIAN_POINT( '', ( 0.0650000000000000, 0.00500000000000000, 0.0490000000000000 ) );
#22729 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22730 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22731 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22732 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22733 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22734 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22735 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22736 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22737 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22738 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22739 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22740 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22741 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22742 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#22743 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22744 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#22745 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22746 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#22747 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22748 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22749 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22750 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22751 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22752 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22753 = CARTESIAN_POINT( '', ( 0.235000000000000, 0.00500000000000000, 0.0490000000000000 ) );
#22754 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#22755 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22756 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22757 = CARTESIAN_POINT( '', ( 0.215000000000000, 0.00500000000000000, 0.0490000000000000 ) );
#22758 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22759 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22760 = CARTESIAN_POINT( '', ( -0.100000000000000, 0.172000000000000, 0.000000000000000 ) );
#22761 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22762 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22763 = CARTESIAN_POINT( '', ( -0.0500000000000000, 0.172000000000000, 0.000000000000000 ) );
#22764 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22765 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22766 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.172000000000000, 0.000000000000000 ) );
#22767 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22768 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22769 = CARTESIAN_POINT( '', ( 0.0500000000000000, 0.172000000000000, 0.000000000000000 ) );
#22770 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22771 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22772 = CARTESIAN_POINT( '', ( 0.100000000000000, 0.172000000000000, 0.000000000000000 ) );
#22773 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22774 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22775 = CARTESIAN_POINT( '', ( 0.150000000000000, 0.172000000000000, 0.000000000000000 ) );
#22776 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22777 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22778 = CARTESIAN_POINT( '', ( 0.200000000000000, 0.172000000000000, 0.000000000000000 ) );
#22779 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22780 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22781 = CARTESIAN_POINT( '', ( -0.200000000000000, 0.172000000000000, 0.000000000000000 ) );
#22782 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22783 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22784 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22785 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22786 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22787 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22788 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22789 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22790 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22791 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22792 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22793 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22794 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22795 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22796 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22797 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22798 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22799 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22800 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22801 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22802 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22803 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22804 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22805 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22806 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22807 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22808 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22809 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22810 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22811 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22812 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22813 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22814 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22815 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22816 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22817 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22818 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22819 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22820 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22821 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22822 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22823 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22824 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22825 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22826 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22827 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22828 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22829 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22830 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22831 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22832 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22833 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22834 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22835 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22836 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22837 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22838 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22839 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22840 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22841 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22842 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22843 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22844 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22845 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22846 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22847 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22848 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22849 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22850 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22851 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22852 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22853 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22854 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22855 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22856 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22857 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22858 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22859 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22860 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22861 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22862 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22863 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22864 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22865 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22866 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22867 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22868 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22869 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22870 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#22871 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22872 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22873 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22874 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22875 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22876 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22877 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22878 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22879 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22880 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22881 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#22882 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22883 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#22884 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#22885 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22886 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#22887 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#22888 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22889 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#22890 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#22891 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22892 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#22893 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22894 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22895 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22896 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#22897 = CARTESIAN_POINT( '', ( 0.0850000000000000, 0.00499999999999999, -0.0490000000000000 ) );
#22898 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#22899 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22900 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22901 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22902 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22903 = CARTESIAN_POINT( '', ( 0.0850000000000000, 0.00499999999999999, -0.0490000000000000 ) );
#22904 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#22905 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22906 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22907 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#22908 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#22909 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22910 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22911 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22912 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#22913 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22914 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#22915 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22916 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#22917 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22918 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22919 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#22920 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22921 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#22922 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22923 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22924 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#22925 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22926 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22927 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22928 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22929 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22930 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22931 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22932 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22933 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22934 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22935 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22936 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22937 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22938 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22939 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22940 = CARTESIAN_POINT( '', ( 0.0500000000000000, 0.133000000000000, 0.000000000000000 ) );
#22941 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22942 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22943 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22944 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22945 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22946 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#22947 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22948 = CARTESIAN_POINT( '', ( -1.38777878078145E-17, 0.133000000000000, 0.000000000000000 ) );
#22949 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22950 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22951 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22952 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22953 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22954 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22955 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#22956 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22957 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#22958 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#22959 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#22960 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22961 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#22962 = CARTESIAN_POINT( '', ( -0.200000000000000, 0.00500000000000000, 0.000000000000000 ) );
#22963 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#22964 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22965 = CARTESIAN_POINT( '', ( 0.200000000000000, 0.00500000000000000, 0.000000000000000 ) );
#22966 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#22967 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22968 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22969 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22970 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22971 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22972 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22973 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22974 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22975 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22976 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22977 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22978 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22979 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22980 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22981 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22982 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22983 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22984 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22985 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22986 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22987 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22988 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22989 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22990 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22991 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22992 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22993 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22994 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22995 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22996 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#22997 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#22998 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#22999 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#23000 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#23001 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#23002 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#23003 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#23004 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#23005 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#23006 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#23007 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#23008 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#23009 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#23010 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#23011 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#23012 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#23013 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#23014 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#23015 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#23016 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#23017 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#23018 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#23019 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#23020 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#23021 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#23022 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#23023 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#23024 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#23025 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#23026 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#23027 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#23028 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#23029 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#23030 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#23031 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#23032 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#23033 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#23034 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#23035 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#23036 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#23037 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#23038 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#23039 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );