Newer
Older
9001
9002
9003
9004
9005
9006
9007
9008
9009
9010
9011
9012
9013
9014
9015
9016
9017
9018
9019
9020
9021
9022
9023
9024
9025
9026
9027
9028
9029
9030
9031
9032
9033
9034
9035
9036
9037
9038
9039
9040
9041
9042
9043
9044
9045
9046
9047
9048
9049
9050
9051
9052
9053
9054
9055
9056
9057
9058
9059
9060
9061
9062
9063
9064
9065
9066
9067
9068
9069
9070
9071
9072
9073
9074
9075
9076
9077
9078
9079
9080
9081
9082
9083
9084
9085
9086
9087
9088
9089
9090
9091
9092
9093
9094
9095
9096
9097
9098
9099
9100
9101
9102
9103
9104
9105
9106
9107
9108
9109
9110
9111
9112
9113
9114
9115
9116
9117
9118
9119
9120
9121
9122
9123
9124
9125
9126
9127
9128
9129
9130
9131
9132
9133
9134
9135
9136
9137
9138
9139
9140
9141
9142
9143
9144
9145
9146
9147
9148
9149
9150
9151
9152
9153
9154
9155
9156
9157
9158
9159
9160
9161
9162
9163
9164
9165
9166
9167
9168
9169
9170
9171
9172
9173
9174
9175
9176
9177
9178
9179
9180
9181
9182
9183
9184
9185
9186
9187
9188
9189
9190
9191
9192
9193
9194
9195
9196
9197
9198
9199
9200
9201
9202
9203
9204
9205
9206
9207
9208
9209
9210
9211
9212
9213
9214
9215
9216
9217
9218
9219
9220
9221
9222
9223
9224
9225
9226
9227
9228
9229
9230
9231
9232
9233
9234
9235
9236
9237
9238
9239
9240
9241
9242
9243
9244
9245
9246
9247
9248
9249
9250
9251
9252
9253
9254
9255
9256
9257
9258
9259
9260
9261
9262
9263
9264
9265
9266
9267
9268
9269
9270
9271
9272
9273
9274
9275
9276
9277
9278
9279
9280
9281
9282
9283
9284
9285
9286
9287
9288
9289
9290
9291
9292
9293
9294
9295
9296
9297
9298
9299
9300
9301
9302
9303
9304
9305
9306
9307
9308
9309
9310
9311
9312
9313
9314
9315
9316
9317
9318
9319
9320
9321
9322
9323
9324
9325
9326
9327
9328
9329
9330
9331
9332
9333
9334
9335
9336
9337
9338
9339
9340
9341
9342
9343
9344
9345
9346
9347
9348
9349
9350
9351
9352
9353
9354
9355
9356
9357
9358
9359
9360
9361
9362
9363
9364
9365
9366
9367
9368
9369
9370
9371
9372
9373
9374
9375
9376
9377
9378
9379
9380
9381
9382
9383
9384
9385
9386
9387
9388
9389
9390
9391
9392
9393
9394
9395
9396
9397
9398
9399
9400
9401
9402
9403
9404
9405
9406
9407
9408
9409
9410
9411
9412
9413
9414
9415
9416
9417
9418
9419
9420
9421
9422
9423
9424
9425
9426
9427
9428
9429
9430
9431
9432
9433
9434
9435
9436
9437
9438
9439
9440
9441
9442
9443
9444
9445
9446
9447
9448
9449
9450
9451
9452
9453
9454
9455
9456
9457
9458
9459
9460
9461
9462
9463
9464
9465
9466
9467
9468
9469
9470
9471
9472
9473
9474
9475
9476
9477
9478
9479
9480
9481
9482
9483
9484
9485
9486
9487
9488
9489
9490
9491
9492
9493
9494
9495
9496
9497
9498
9499
9500
9501
9502
9503
9504
9505
9506
9507
9508
9509
9510
9511
9512
9513
9514
9515
9516
9517
9518
9519
9520
9521
9522
9523
9524
9525
9526
9527
9528
9529
9530
9531
9532
9533
9534
9535
9536
9537
9538
9539
9540
9541
9542
9543
9544
9545
9546
9547
9548
9549
9550
9551
9552
9553
9554
9555
9556
9557
9558
9559
9560
9561
9562
9563
9564
9565
9566
9567
9568
9569
9570
9571
9572
9573
9574
9575
9576
9577
9578
9579
9580
9581
9582
9583
9584
9585
9586
9587
9588
9589
9590
9591
9592
9593
9594
9595
9596
9597
9598
9599
9600
9601
9602
9603
9604
9605
9606
9607
9608
9609
9610
9611
9612
9613
9614
9615
9616
9617
9618
9619
9620
9621
9622
9623
9624
9625
9626
9627
9628
9629
9630
9631
9632
9633
9634
9635
9636
9637
9638
9639
9640
9641
9642
9643
9644
9645
9646
9647
9648
9649
9650
9651
9652
9653
9654
9655
9656
9657
9658
9659
9660
9661
9662
9663
9664
9665
9666
9667
9668
9669
9670
9671
9672
9673
9674
9675
9676
9677
9678
9679
9680
9681
9682
9683
9684
9685
9686
9687
9688
9689
9690
9691
9692
9693
9694
9695
9696
9697
9698
9699
9700
9701
9702
9703
9704
9705
9706
9707
9708
9709
9710
9711
9712
9713
9714
9715
9716
9717
9718
9719
9720
9721
9722
9723
9724
9725
9726
9727
9728
9729
9730
9731
9732
9733
9734
9735
9736
9737
9738
9739
9740
9741
9742
9743
9744
9745
9746
9747
9748
9749
9750
9751
9752
9753
9754
9755
9756
9757
9758
9759
9760
9761
9762
9763
9764
9765
9766
9767
9768
9769
9770
9771
9772
9773
9774
9775
9776
9777
9778
9779
9780
9781
9782
9783
9784
9785
9786
9787
9788
9789
9790
9791
9792
9793
9794
9795
9796
9797
9798
9799
9800
9801
9802
9803
9804
9805
9806
9807
9808
9809
9810
9811
9812
9813
9814
9815
9816
9817
9818
9819
9820
9821
9822
9823
9824
9825
9826
9827
9828
9829
9830
9831
9832
9833
9834
9835
9836
9837
9838
9839
9840
9841
9842
9843
9844
9845
9846
9847
9848
9849
9850
9851
9852
9853
9854
9855
9856
9857
9858
9859
9860
9861
9862
9863
9864
9865
9866
9867
9868
9869
9870
9871
9872
9873
9874
9875
9876
9877
9878
9879
9880
9881
9882
9883
#9040 = CARTESIAN_POINT( '', ( -0.334726688102876, -0.283279742765277, 0.000000000000000 ) );
#9041 = CARTESIAN_POINT( '', ( -0.350803858520883, -0.260128617363348, 0.000000000000000 ) );
#9042 = CARTESIAN_POINT( '', ( -0.366973089779388, -0.236844924351099, 0.000000000000000 ) );
#9043 = CARTESIAN_POINT( '', ( -0.374598070739533, -0.211254019292608, 0.000000000000000 ) );
#9044 = CARTESIAN_POINT( '', ( -0.374598070739533, -0.143086816720261, 0.000000000000000 ) );
#9045 = CARTESIAN_POINT( '', ( -0.361736334405128, -0.101929260450165, 0.000000000000000 ) );
#9046 = CARTESIAN_POINT( '', ( -0.336655948553036, -0.0607717041800657, 0.000000000000000 ) );
#9047 = CARTESIAN_POINT( '', ( -0.226688102893873, -0.103215434083605, 0.000000000000000 ) );
#9048 = CARTESIAN_POINT( '', ( -0.244051446945320, -0.132154340836018, 0.000000000000000 ) );
#9049 = CARTESIAN_POINT( '', ( -0.252411575562684, -0.161093247588426, 0.000000000000000 ) );
#9050 = CARTESIAN_POINT( '', ( -0.252411575562685, -0.215755627009651, 0.000000000000000 ) );
#9051 = CARTESIAN_POINT( '', ( -0.244694533762040, -0.238906752411579, 0.000000000000000 ) );
#9052 = CARTESIAN_POINT( '', ( -0.229260450160755, -0.259485530546628, 0.000000000000000 ) );
#9053 = CARTESIAN_POINT( '', ( -0.213594855305449, -0.280372990353701, 0.000000000000000 ) );
#9054 = CARTESIAN_POINT( '', ( -0.191961414790982, -0.294855305466240, 0.000000000000000 ) );
#9055 = CARTESIAN_POINT( '', ( -0.164308681672008, -0.303858520900328, 0.000000000000000 ) );
#9056 = CARTESIAN_POINT( '', ( -0.122146714989880, -0.317585672843345, 0.000000000000000 ) );
#9057 = CARTESIAN_POINT( '', ( -0.0755627009646118, -0.323794212218655, 0.000000000000000 ) );
#9058 = CARTESIAN_POINT( '', ( -0.0254019292604328, -0.323794212218653, 0.000000000000000 ) );
#9059 = CARTESIAN_POINT( '', ( 0.0967845659164163, -0.323794212218653, 0.000000000000000 ) );
#9060 = CARTESIAN_POINT( '', ( 0.218971061093266, -0.323794212218656, 0.000000000000000 ) );
#9061 = CARTESIAN_POINT( '', ( 0.341157556270114, -0.323794212218657, 0.000000000000000 ) );
#9062 = CARTESIAN_POINT( '', ( 0.341157556270115, -0.442122186495184, 0.000000000000000 ) );
#9063 = CARTESIAN_POINT( '', ( 0.107717041800660, -0.442122186495182, 0.000000000000000 ) );
#9064 = CARTESIAN_POINT( '', ( -0.125723472668793, -0.442122186495184, 0.000000000000000 ) );
#9065 = CARTESIAN_POINT( '', ( -0.359163987138249, -0.442122186495180, 0.000000000000000 ) );
#9066 = CARTESIAN_POINT( '', ( -0.359163987138246, -0.336012861736336, 0.000000000000000 ) );
#9067 = CARTESIAN_POINT( '', ( -0.323794212218634, -0.336012861736337, 0.000000000000000 ) );
#9068 = CARTESIAN_POINT( '', ( -0.288424437299019, -0.336012861736338, 0.000000000000000 ) );
#9069 = CARTESIAN_POINT( '', ( -0.253054662379403, -0.336012861736339, 0.000000000000000 ) );
#9070 = CARTESIAN_POINT( '', ( 0.341157556270116, 0.00996784565915665, 0.000000000000000 ) );
#9071 = CARTESIAN_POINT( '', ( -0.625401929260433, 0.00996784565916171, 0.000000000000000 ) );
#9072 = CARTESIAN_POINT( '', ( -0.0987138263665396, 0.295498392282955, 0.000000000000000 ) );
#9073 = CARTESIAN_POINT( '', ( -0.359163987138246, 0.563022508038585, 0.000000000000000 ) );
#9074 = CARTESIAN_POINT( '', ( -0.0987138263665396, 0.295498392282955, 0.000000000000000 ) );
#9075 = CARTESIAN_POINT( '', ( -0.0987138263665396, 0.295498392282955, 0.000000000000000 ) );
#9076 = CARTESIAN_POINT( '', ( 0.341157556270118, 0.590675241157556, 0.000000000000000 ) );
#9077 = CARTESIAN_POINT( '', ( 0.0639871382636845, 0.128295819935688, 0.000000000000000 ) );
#9078 = CARTESIAN_POINT( '', ( 0.341157556270116, 0.128295819935689, 0.000000000000000 ) );
#9079 = CARTESIAN_POINT( '', ( 0.254340836012878, -0.732797427652740, 0.000000000000000 ) );
#9080 = CARTESIAN_POINT( '', ( 0.341157556270114, -0.708360128617370, 0.000000000000000 ) );
#9081 = CARTESIAN_POINT( '', ( 0.316720257234743, -0.721221864951775, 0.000000000000000 ) );
#9082 = CARTESIAN_POINT( '', ( 0.287781350482331, -0.728938906752418, 0.000000000000000 ) );
#9083 = CARTESIAN_POINT( '', ( 0.254340836012878, -0.732797427652740, 0.000000000000000 ) );
#9084 = CARTESIAN_POINT( '', ( 0.254340836012878, -0.732797427652740, 0.000000000000000 ) );
#9085 = CARTESIAN_POINT( '', ( 0.291639871382654, -0.775241157556275, 0.000000000000000 ) );
#9086 = CARTESIAN_POINT( '', ( 0.318649517684904, -0.817684887459815, 0.000000000000000 ) );
#9087 = CARTESIAN_POINT( '', ( 0.334083601286190, -0.858199356913190, 0.000000000000000 ) );
#9088 = CARTESIAN_POINT( '', ( 0.349731622679970, -0.899275413071860, 0.000000000000000 ) );
#9089 = CARTESIAN_POINT( '', ( 0.357234726688120, -0.943086816720264, 0.000000000000000 ) );
#9090 = CARTESIAN_POINT( '', ( 0.357234726688120, -1.06720257234728, 0.000000000000000 ) );
#9091 = CARTESIAN_POINT( '', ( 0.338585209003232, -1.12700964630226, 0.000000000000000 ) );
#9092 = CARTESIAN_POINT( '', ( 0.300643086816736, -1.16881028938908, 0.000000000000000 ) );
#9093 = CARTESIAN_POINT( '', ( 0.263311504878246, -1.20993830338911, 0.000000000000000 ) );
#9094 = CARTESIAN_POINT( '', ( 0.215112540192942, -1.23118971061094, 0.000000000000000 ) );
#9095 = CARTESIAN_POINT( '', ( 0.122508038585225, -1.23118971061094, 0.000000000000000 ) );
#9096 = CARTESIAN_POINT( '', ( 0.0916398713826512, -1.22282958199358, 0.000000000000000 ) );
#9097 = CARTESIAN_POINT( '', ( 0.0627009646302400, -1.20739549839229, 0.000000000000000 ) );
#9098 = CARTESIAN_POINT( '', ( 0.0339957053371905, -1.19208602676933, 0.000000000000000 ) );
#9099 = CARTESIAN_POINT( '', ( 0.0118971061093386, -1.17073954983923, 0.000000000000000 ) );
#9100 = CARTESIAN_POINT( '', ( -0.00546623794210655, -1.14565916398714, 0.000000000000000 ) );
#9101 = CARTESIAN_POINT( '', ( -0.0229221864951615, -1.12044501607718, 0.000000000000000 ) );
#9102 = CARTESIAN_POINT( '', ( -0.0350482315112393, -1.09163987138264, 0.000000000000000 ) );
#9103 = CARTESIAN_POINT( '', ( -0.0440514469453231, -1.05948553054663, 0.000000000000000 ) );
#9104 = CARTESIAN_POINT( '', ( -0.0505300218496694, -1.03634776303110, 0.000000000000000 ) );
#9105 = CARTESIAN_POINT( '', ( -0.0562700964630068, -1.00096463022509, 0.000000000000000 ) );
#9106 = CARTESIAN_POINT( '', ( -0.0620578778134903, -0.953376205787786, 0.000000000000000 ) );
#9107 = CARTESIAN_POINT( '', ( -0.0737782131629542, -0.857009004025518, 0.000000000000000 ) );
#9108 = CARTESIAN_POINT( '', ( -0.0871382636655778, -0.786173633440522, 0.000000000000000 ) );
#9109 = CARTESIAN_POINT( '', ( -0.102572347266865, -0.740514469453380, 0.000000000000000 ) );
#9110 = CARTESIAN_POINT( '', ( 0.341157556270110, -2.30578778135050, 0.000000000000000 ) );
#9111 = CARTESIAN_POINT( '', ( 0.0189710610932605, -2.30578778135050, 0.000000000000000 ) );
#9112 = CARTESIAN_POINT( '', ( -0.303215434083590, -2.30578778135050, 0.000000000000000 ) );
#9113 = CARTESIAN_POINT( '', ( -0.625401929260440, -2.30578778135050, 0.000000000000000 ) );
#9114 = CARTESIAN_POINT( '', ( -0.625401929260438, -1.38231511254020, 0.000000000000000 ) );
#9115 = CARTESIAN_POINT( '', ( -0.625401929260439, -1.55466237942123, 0.000000000000000 ) );
#9116 = CARTESIAN_POINT( '', ( -0.625401929260437, -1.49721329046089, 0.000000000000000 ) );
#9117 = CARTESIAN_POINT( '', ( -0.625401929260438, -1.43976420150054, 0.000000000000000 ) );
#9118 = CARTESIAN_POINT( '', ( -0.625401929260438, -1.38231511254020, 0.000000000000000 ) );
#9119 = CARTESIAN_POINT( '', ( -0.625401929260438, -1.38231511254020, 0.000000000000000 ) );
#9120 = CARTESIAN_POINT( '', ( -0.303215434083587, -1.38231511254020, 0.000000000000000 ) );
#9121 = CARTESIAN_POINT( '', ( 0.0189710610932618, -1.38231511254020, 0.000000000000000 ) );
#9122 = CARTESIAN_POINT( '', ( 0.341157556270113, -1.38231511254020, 0.000000000000000 ) );
#9123 = CARTESIAN_POINT( '', ( 0.341157556270112, -1.50643086816721, 0.000000000000000 ) );
#9124 = CARTESIAN_POINT( '', ( 0.0712754555198433, -1.50643086816721, 0.000000000000000 ) );
#9125 = CARTESIAN_POINT( '', ( -0.198606645230427, -1.50643086816721, 0.000000000000000 ) );
#9126 = CARTESIAN_POINT( '', ( -0.468488745980695, -1.50643086816721, 0.000000000000000 ) );
#9127 = CARTESIAN_POINT( '', ( 0.341157556270110, -1.90257234726690, 0.000000000000000 ) );
#9128 = CARTESIAN_POINT( '', ( 0.0672025723472796, -1.99560557341909, 0.000000000000000 ) );
#9129 = CARTESIAN_POINT( '', ( -0.206752411575550, -2.08863879957129, 0.000000000000000 ) );
#9130 = CARTESIAN_POINT( '', ( -0.480707395498381, -2.18167202572349, 0.000000000000000 ) );
#9131 = CARTESIAN_POINT( '', ( -0.359163987138241, 2.30578778135049, 0.000000000000000 ) );
#9132 = CARTESIAN_POINT( '', ( -0.359163987138241, 2.30578778135049, 0.000000000000000 ) );
#9133 = CARTESIAN_POINT( '', ( -0.157449088960318, 2.30578778135049, 0.000000000000000 ) );
#9134 = CARTESIAN_POINT( '', ( 0.0442658092176039, 2.30578778135049, 0.000000000000000 ) );
#9135 = CARTESIAN_POINT( '', ( 0.245980707395526, 2.30578778135049, 0.000000000000000 ) );
#9136 = CARTESIAN_POINT( '', ( 0.355305466237971, 2.30578778135049, 0.000000000000000 ) );
#9137 = CARTESIAN_POINT( '', ( 0.432475884244404, 2.29485530546624, 0.000000000000000 ) );
#9138 = CARTESIAN_POINT( '', ( 0.478135048231538, 2.27234726688103, 0.000000000000000 ) );
#9139 = CARTESIAN_POINT( '', ( 0.523021810146758, 2.25021998988057, 0.000000000000000 ) );
#9140 = CARTESIAN_POINT( '', ( 0.559163987138288, 2.21511254019293, 0.000000000000000 ) );
#9141 = CARTESIAN_POINT( '', ( 0.585530546623822, 2.16752411575563, 0.000000000000000 ) );
#9142 = CARTESIAN_POINT( '', ( 0.612169723882430, 2.11944364948399, 0.000000000000000 ) );
#9143 = CARTESIAN_POINT( '', ( 0.625401929260482, 2.06012861736335, 0.000000000000000 ) );
#9144 = CARTESIAN_POINT( '', ( 0.625401929260477, 1.90643086816720, 0.000000000000000 ) );
#9145 = CARTESIAN_POINT( '', ( 0.606752411575585, 1.83954983922830, 0.000000000000000 ) );
#9146 = CARTESIAN_POINT( '', ( 0.530868167202602, 1.73665594855306, 0.000000000000000 ) );
#9147 = CARTESIAN_POINT( '', ( 0.474276527331213, 1.71157556270097, 0.000000000000000 ) );
#9148 = CARTESIAN_POINT( '', ( 0.399035369774944, 1.71350482315113, 0.000000000000000 ) );
#9149 = CARTESIAN_POINT( '', ( 0.249196141479127, 2.18745980707396, 0.000000000000000 ) );
#9150 = CARTESIAN_POINT( '', ( 0.310932475884268, 2.13536977491962, 0.000000000000000 ) );
#9151 = CARTESIAN_POINT( '', ( 0.341157556270122, 2.07041800643088, 0.000000000000000 ) );
#9152 = CARTESIAN_POINT( '', ( 0.341157556270119, 1.89614147909968, 0.000000000000000 ) );
#9153 = CARTESIAN_POINT( '', ( 0.306430868167227, 1.82154340836013, 0.000000000000000 ) );
#9154 = CARTESIAN_POINT( '', ( 0.236977491961439, 1.76881028938906, 0.000000000000000 ) );
#9155 = CARTESIAN_POINT( '', ( 0.167622320442475, 1.71615173323578, 0.000000000000000 ) );
#9156 = CARTESIAN_POINT( '', ( 0.0845659163987400, 1.68906752411575, 0.000000000000000 ) );
#9157 = CARTESIAN_POINT( '', ( -0.0794212218649289, 1.68906752411576, 0.000000000000000 ) );
#9158 = CARTESIAN_POINT( '', ( -0.141157556270075, 1.70128617363344, 0.000000000000000 ) );
#9159 = CARTESIAN_POINT( '', ( -0.197106109324737, 1.72572347266881, 0.000000000000000 ) );
#9160 = CARTESIAN_POINT( '', ( -0.253358831812402, 1.75029362731860, 0.000000000000000 ) );
#9161 = CARTESIAN_POINT( '', ( -0.297427652733098, 1.78488745980708, 0.000000000000000 ) );
#9162 = CARTESIAN_POINT( '', ( -0.328295819935671, 1.83054662379421, 0.000000000000000 ) );
#9163 = CARTESIAN_POINT( '', ( -0.359462372416850, 1.87664714933930, 0.000000000000000 ) );
#9164 = CARTESIAN_POINT( '', ( -0.374598070739529, 1.93086816720258, 0.000000000000000 ) );
#9165 = CARTESIAN_POINT( '', ( -0.374598070739529, 2.07556270096463, 0.000000000000000 ) );
#9166 = CARTESIAN_POINT( '', ( -0.340514469453353, 2.14372990353698, 0.000000000000000 ) );
#9167 = CARTESIAN_POINT( '', ( -0.273633440514449, 2.19774919614148, 0.000000000000000 ) );
#9168 = CARTESIAN_POINT( '', ( -0.359163987138242, 2.19774919614148, 0.000000000000000 ) );
#9169 = CARTESIAN_POINT( '', ( -0.359163987138240, 2.23376205787782, 0.000000000000000 ) );
#9170 = CARTESIAN_POINT( '', ( -0.359163987138238, 2.26977491961415, 0.000000000000000 ) );
#9171 = CARTESIAN_POINT( '', ( -0.359163987138241, 2.30578778135049, 0.000000000000000 ) );
#9172 = CARTESIAN_POINT( '', ( 0.341157556270116, 0.685209003215433, 0.000000000000000 ) );
#9173 = CARTESIAN_POINT( '', ( 0.341157556270117, 0.803536977491959, 0.000000000000000 ) );
#9174 = CARTESIAN_POINT( '', ( 0.341157556270116, 0.685209003215433, 0.000000000000000 ) );
#9175 = CARTESIAN_POINT( '', ( 0.341157556270116, 0.685209003215433, 0.000000000000000 ) );
#9176 = CARTESIAN_POINT( '', ( -0.359163987138244, 0.685209003215434, 0.000000000000000 ) );
#9177 = CARTESIAN_POINT( '', ( -0.489710610932455, 0.803536977491962, 0.000000000000000 ) );
#9178 = CARTESIAN_POINT( '', ( -0.489710610932455, 0.803536977491962, 0.000000000000000 ) );
#9179 = CARTESIAN_POINT( '', ( -0.489710610932457, 0.685209003215433, 0.000000000000000 ) );
#9180 = CARTESIAN_POINT( '', ( -0.625401929260431, 0.803536977491962, 0.000000000000000 ) );
#9181 = CARTESIAN_POINT( '', ( -0.625401929260431, 0.685209003215436, 0.000000000000000 ) );
#9182 = CARTESIAN_POINT( '', ( -0.625401929260431, 0.803536977491962, 0.000000000000000 ) );
#9183 = CARTESIAN_POINT( '', ( -0.625401929260431, 0.803536977491962, 0.000000000000000 ) );
#9184 = CARTESIAN_POINT( '', ( -0.489710610932455, 0.803536977491962, 0.000000000000000 ) );
#9185 = CARTESIAN_POINT( '', ( 0.341157556270121, 1.10321543408360, 0.000000000000000 ) );
#9186 = CARTESIAN_POINT( '', ( 0.341157556270119, 0.984244372990351, 0.000000000000000 ) );
#9187 = CARTESIAN_POINT( '', ( 0.341157556270121, 1.10321543408360, 0.000000000000000 ) );
#9188 = CARTESIAN_POINT( '', ( 0.341157556270120, 1.06355841371918, 0.000000000000000 ) );
#9189 = CARTESIAN_POINT( '', ( 0.341157556270119, 1.02390139335477, 0.000000000000000 ) );
#9190 = CARTESIAN_POINT( '', ( 0.341157556270119, 0.984244372990351, 0.000000000000000 ) );
#9191 = CARTESIAN_POINT( '', ( -0.359163987138243, 0.984244372990354, 0.000000000000000 ) );
#9192 = CARTESIAN_POINT( '', ( 0.341157556270119, 0.984244372990351, 0.000000000000000 ) );
#9193 = CARTESIAN_POINT( '', ( 0.107717041800666, 0.984244372990352, 0.000000000000000 ) );
#9194 = CARTESIAN_POINT( '', ( -0.125723472668789, 0.984244372990349, 0.000000000000000 ) );
#9195 = CARTESIAN_POINT( '', ( -0.359163987138243, 0.984244372990354, 0.000000000000000 ) );
#9196 = CARTESIAN_POINT( '', ( -0.359163987138243, 1.09099678456592, 0.000000000000000 ) );
#9197 = CARTESIAN_POINT( '', ( -0.359163987138243, 0.984244372990354, 0.000000000000000 ) );
#9198 = CARTESIAN_POINT( '', ( -0.359163987138246, 1.01982851018221, 0.000000000000000 ) );
#9199 = CARTESIAN_POINT( '', ( -0.359163987138245, 1.05541264737406, 0.000000000000000 ) );
#9200 = CARTESIAN_POINT( '', ( -0.359163987138243, 1.09099678456592, 0.000000000000000 ) );
#9201 = CARTESIAN_POINT( '', ( -0.259485530546605, 1.09099678456591, 0.000000000000000 ) );
#9202 = CARTESIAN_POINT( '', ( -0.359163987138243, 1.09099678456592, 0.000000000000000 ) );
#9203 = CARTESIAN_POINT( '', ( -0.325937834941032, 1.09099678456592, 0.000000000000000 ) );
#9204 = CARTESIAN_POINT( '', ( -0.292711682743817, 1.09099678456592, 0.000000000000000 ) );
#9205 = CARTESIAN_POINT( '', ( -0.259485530546605, 1.09099678456591, 0.000000000000000 ) );
#9206 = CARTESIAN_POINT( '', ( 0.341157556270121, 1.55401929260450, 0.000000000000000 ) );
#9207 = CARTESIAN_POINT( '', ( -0.259485530546605, 1.09099678456591, 0.000000000000000 ) );
#9208 = CARTESIAN_POINT( '', ( -0.336012861736316, 1.14244372990354, 0.000000000000000 ) );
#9209 = CARTESIAN_POINT( '', ( -0.374598070739529, 1.21704180064309, 0.000000000000000 ) );
#9210 = CARTESIAN_POINT( '', ( -0.374598070739529, 1.35659163987138, 0.000000000000000 ) );
#9211 = CARTESIAN_POINT( '', ( -0.366881028938887, 1.39517684887460, 0.000000000000000 ) );
#9212 = CARTESIAN_POINT( '', ( -0.351446945337599, 1.43054662379421, 0.000000000000000 ) );
#9213 = CARTESIAN_POINT( '', ( -0.335879994035219, 1.46622088719550, 0.000000000000000 ) );
#9214 = CARTESIAN_POINT( '', ( -0.316720257234705, 1.49292604501608, 0.000000000000000 ) );
#9215 = CARTESIAN_POINT( '', ( -0.292282958199336, 1.51028938906752, 0.000000000000000 ) );
#9216 = CARTESIAN_POINT( '', ( -0.267114676910262, 1.52817211524661, 0.000000000000000 ) );
#9217 = CARTESIAN_POINT( '', ( -0.238263665594835, 1.54051446945338, 0.000000000000000 ) );
#9218 = CARTESIAN_POINT( '', ( -0.204180064308659, 1.54758842443730, 0.000000000000000 ) );
#9219 = CARTESIAN_POINT( '', ( -0.182322355497496, 1.55212493003962, 0.000000000000000 ) );
#9220 = CARTESIAN_POINT( '', ( -0.143729903536959, 1.55401929260450, 0.000000000000000 ) );
#9221 = CARTESIAN_POINT( '', ( -0.0890675241157357, 1.55401929260450, 0.000000000000000 ) );
#9222 = CARTESIAN_POINT( '', ( 0.0543408360128871, 1.55401929260450, 0.000000000000000 ) );
#9223 = CARTESIAN_POINT( '', ( 0.197749196141503, 1.55401929260450, 0.000000000000000 ) );
#9224 = CARTESIAN_POINT( '', ( 0.341157556270121, 1.55401929260450, 0.000000000000000 ) );
#9225 = CARTESIAN_POINT( '', ( 0.341157556270122, 1.43569131832797, 0.000000000000000 ) );
#9226 = CARTESIAN_POINT( '', ( 0.341157556270121, 1.55401929260450, 0.000000000000000 ) );
#9227 = CARTESIAN_POINT( '', ( 0.341157556270122, 1.51457663451233, 0.000000000000000 ) );
#9228 = CARTESIAN_POINT( '', ( 0.341157556270121, 1.47513397642015, 0.000000000000000 ) );
#9229 = CARTESIAN_POINT( '', ( 0.341157556270122, 1.43569131832797, 0.000000000000000 ) );
#9230 = CARTESIAN_POINT( '', ( 0.341157556270122, 1.43569131832797, 0.000000000000000 ) );
#9231 = CARTESIAN_POINT( '', ( 0.199249732047182, 1.43569131832797, 0.000000000000000 ) );
#9232 = CARTESIAN_POINT( '', ( 0.0573419078242452, 1.43569131832797, 0.000000000000000 ) );
#9233 = CARTESIAN_POINT( '', ( -0.0845659163986920, 1.43569131832798, 0.000000000000000 ) );
#9234 = CARTESIAN_POINT( '', ( -0.132797427652713, 1.43569131832797, 0.000000000000000 ) );
#9235 = CARTESIAN_POINT( '', ( -0.168810289389049, 1.43118971061093, 0.000000000000000 ) );
#9236 = CARTESIAN_POINT( '', ( -0.192604501607697, 1.42154340836013, 0.000000000000000 ) );
#9237 = CARTESIAN_POINT( '', ( -0.216727115751571, 1.41176397019369, 0.000000000000000 ) );
#9238 = CARTESIAN_POINT( '', ( -0.235691318327954, 1.39581993569132, 0.000000000000000 ) );
#9239 = CARTESIAN_POINT( '', ( -0.250482315112519, 1.37266881028939, 0.000000000000000 ) );
#9240 = CARTESIAN_POINT( '', ( -0.265378672422127, 1.34935277276131, 0.000000000000000 ) );
#9241 = CARTESIAN_POINT( '', ( -0.271704180064287, 1.32122186495177, 0.000000000000000 ) );
#9242 = CARTESIAN_POINT( '', ( -0.271704180064288, 1.23890675241157, 0.000000000000000 ) );
#9243 = CARTESIAN_POINT( '', ( -0.255627009646282, 1.19517684887460, 0.000000000000000 ) );
#9244 = CARTESIAN_POINT( '', ( -0.223472668810270, 1.15787781350483, 0.000000000000000 ) );
#9245 = CARTESIAN_POINT( '', ( -0.191636362041189, 1.12094769765269, 0.000000000000000 ) );
#9246 = CARTESIAN_POINT( '', ( -0.130225080385832, 1.10321543408360, 0.000000000000000 ) );
#9247 = CARTESIAN_POINT( '', ( -0.0408360128617148, 1.10321543408359, 0.000000000000000 ) );
#9248 = CARTESIAN_POINT( '', ( 0.0864951768488974, 1.10321543408360, 0.000000000000000 ) );
#9249 = CARTESIAN_POINT( '', ( 0.213826366559508, 1.10321543408360, 0.000000000000000 ) );
#9250 = CARTESIAN_POINT( '', ( 0.341157556270121, 1.10321543408360, 0.000000000000000 ) );
#9251 = CARTESIAN_POINT( '', ( -1.55912288305961, 0.000000000000000, 0.000000000000000 ) );
#9252 = AXIS2_PLACEMENT_3D( '', #9827, #9828, #9829 );
#9253 = COLOUR_RGB( '', 0.200000002980232, 0.200000002980232, 0.200000002980232 );
#9254 = AXIS2_PLACEMENT_3D( '', #9830, #9831, #9832 );
#9255 = COLOUR_RGB( '', 0.200000002980232, 0.200000002980232, 0.200000002980232 );
#9256 = CARTESIAN_POINT( '', ( 3.72860563750043, -0.400000000000000, -0.680000000000000 ) );
#9257 = CARTESIAN_POINT( '', ( 3.72860563750043, -0.400000000000000, 10.9931490775638 ) );
#9258 = VECTOR( '', #9833, 1000.00000000000 );
#9259 = CARTESIAN_POINT( '', ( 3.62322736048100E-016, -0.400000000000000, -0.680000000000000 ) );
#9260 = VECTOR( '', #9834, 1000.00000000000 );
#9261 = COLOUR_RGB( '', 0.779999971389771, 0.529999971389771, 0.419999986886978 );
#9262 = COLOUR_RGB( '', 0.779999971389771, 0.529999971389771, 0.419999986886978 );
#9263 = CARTESIAN_POINT( '', ( 2.10611231493658, 4.12950795081001E-015, -0.874838268974164 ) );
#9264 = AXIS2_PLACEMENT_3D( '', #9835, #9836, #9837 );
#9265 = CARTESIAN_POINT( '', ( 2.10611231493661, 3.98405396000785E-015, -0.874838268974148 ) );
#9266 = CARTESIAN_POINT( '', ( 2.10982210721078, 3.99132784401840E-015, -0.886859131342720 ) );
#9267 = CARTESIAN_POINT( '', ( 2.11527984875410, 4.24917452025360E-015, -0.898467249752857 ) );
#9268 = CARTESIAN_POINT( '', ( 2.12217122822219, 4.26268662314748E-015, -0.908992105088133 ) );
#9269 = CARTESIAN_POINT( '', ( 2.13045159925390, 4.27892215710672E-015, -0.921638296991334 ) );
#9270 = CARTESIAN_POINT( '', ( 2.14103062209130, 6.61789186644491E-013, -0.933029111612652 ) );
#9271 = CARTESIAN_POINT( '', ( 2.15303241282452, 6.61812718860653E-013, -0.942218656393069 ) );
#9272 = CARTESIAN_POINT( '', ( 2.16502591588434, 6.61836234826963E-013, -0.951401855458284 ) );
#9273 = CARTESIAN_POINT( '', ( 2.17877143663487, 2.34693207092510E-013, -0.958640263291244 ) );
#9274 = CARTESIAN_POINT( '', ( 2.19312975105075, 2.34721359804557E-013, -0.963332178449482 ) );
#9275 = CARTESIAN_POINT( '', ( 2.20656333054149, 2.34747699365330E-013, -0.967721914836112 ) );
#9276 = CARTESIAN_POINT( '', ( 2.22086738370020, 4.43351599470656E-015, -0.970000000000004 ) );
#9277 = CARTESIAN_POINT( '', ( 2.23500000000004, 4.46122617472024E-015, -0.970000000000000 ) );
#9278 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 );
#9279 = CARTESIAN_POINT( '', ( -0.0987138263665396, 0.295498392282955, -0.100000000000000 ) );
#9280 = CARTESIAN_POINT( '', ( -0.0987138263665396, 0.295498392282955, -0.100000000000000 ) );
#9281 = VECTOR( '', #9838, 1000.00000000000 );
#9282 = CARTESIAN_POINT( '', ( -0.0987138263665396, 0.295498392282955, -0.100000000000000 ) );
#9283 = CARTESIAN_POINT( '', ( 0.341157556270118, 0.590675241157556, -0.100000000000000 ) );
#9284 = COLOUR_RGB( '', 0.980000019073486, 0.980000019073486, 0.980000019073486 );
#9285 = CARTESIAN_POINT( '', ( 5.00000000000000, 2.10000000000000, -0.650000000000000 ) );
#9286 = CARTESIAN_POINT( '', ( 5.00000000000000, 2.10000000000000, -0.650000000000000 ) );
#9287 = VECTOR( '', #9839, 1000.00000000000 );
#9288 = CARTESIAN_POINT( '', ( 3.70000000000000, 2.10000000000000, -0.650000000000000 ) );
#9289 = CARTESIAN_POINT( '', ( 3.70000000000000, 2.10000000000000, -0.650000000000000 ) );
#9290 = VECTOR( '', #9840, 1000.00000000000 );
#9291 = CARTESIAN_POINT( '', ( 3.70000000000000, 2.10000000000000, -0.650000000000000 ) );
#9292 = VECTOR( '', #9841, 1000.00000000000 );
#9293 = COLOUR_RGB( '', 0.200000002980232, 0.200000002980232, 0.200000002980232 );
#9294 = CARTESIAN_POINT( '', ( 5.00000000000114, -2.07106781186547, 0.000000000000000 ) );
#9295 = VECTOR( '', #9842, 1000.00000000000 );
#9296 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 );
#9297 = CARTESIAN_POINT( '', ( -0.359163987138243, 0.984244372990354, -0.100000000000000 ) );
#9298 = CARTESIAN_POINT( '', ( -0.359163987138243, 0.984244372990354, -0.100000000000000 ) );
#9299 = VECTOR( '', #9843, 1000.00000000000 );
#9300 = CARTESIAN_POINT( '', ( -0.359163987138243, 1.09099678456592, -0.100000000000000 ) );
#9301 = CARTESIAN_POINT( '', ( -0.359163987138243, 0.984244372990354, -0.100000000000000 ) );
#9302 = CARTESIAN_POINT( '', ( -0.359163987138246, 1.01982851018221, -0.100000000000000 ) );
#9303 = CARTESIAN_POINT( '', ( -0.359163987138245, 1.05541264737406, -0.100000000000000 ) );
#9304 = CARTESIAN_POINT( '', ( -0.359163987138243, 1.09099678456592, -0.100000000000000 ) );
#9305 = CARTESIAN_POINT( '', ( -0.359163987138243, 1.09099678456592, -0.100000000000000 ) );
#9306 = VECTOR( '', #9844, 1000.00000000000 );
#9307 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 );
#9308 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 );
#9309 = CARTESIAN_POINT( '', ( -0.625401929260431, 0.803536977491962, -0.100000000000000 ) );
#9310 = VECTOR( '', #9845, 1000.00000000000 );
#9311 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 );
#9312 = CARTESIAN_POINT( '', ( 0.341157556270116, 0.685209003215433, -0.100000000000000 ) );
#9313 = CARTESIAN_POINT( '', ( 0.341157556270116, 0.685209003215433, -0.100000000000000 ) );
#9314 = VECTOR( '', #9846, 1000.00000000000 );
#9315 = CARTESIAN_POINT( '', ( 0.341157556270116, 0.685209003215433, -0.100000000000000 ) );
#9316 = CARTESIAN_POINT( '', ( -0.359163987138244, 0.685209003215434, -0.100000000000000 ) );
#9317 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 );
#9318 = CARTESIAN_POINT( '', ( -0.359163987138246, 0.563022508038585, -0.100000000000000 ) );
#9319 = CARTESIAN_POINT( '', ( -0.0987138263665396, 0.295498392282955, -0.100000000000000 ) );
#9320 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 );
#9321 = CARTESIAN_POINT( '', ( 0.254340836012878, -0.732797427652740, -0.100000000000000 ) );
#9322 = VECTOR( '', #9847, 1000.00000000000 );
#9323 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 );
#9324 = CARTESIAN_POINT( '', ( 0.341157556270121, 1.10321543408360, -0.100000000000000 ) );
#9325 = CARTESIAN_POINT( '', ( 0.341157556270119, 0.984244372990351, -0.100000000000000 ) );
#9326 = CARTESIAN_POINT( '', ( 0.341157556270121, 1.10321543408360, -0.100000000000000 ) );
#9327 = CARTESIAN_POINT( '', ( 0.341157556270120, 1.06355841371918, -0.100000000000000 ) );
#9328 = CARTESIAN_POINT( '', ( 0.341157556270119, 1.02390139335477, -0.100000000000000 ) );
#9329 = CARTESIAN_POINT( '', ( 0.341157556270119, 0.984244372990351, -0.100000000000000 ) );
#9330 = CARTESIAN_POINT( '', ( 0.341157556270122, 1.43569131832797, -0.100000000000000 ) );
#9331 = CARTESIAN_POINT( '', ( 0.341157556270122, 1.43569131832797, -0.100000000000000 ) );
#9332 = CARTESIAN_POINT( '', ( 0.199249732047182, 1.43569131832797, -0.100000000000000 ) );
#9333 = CARTESIAN_POINT( '', ( 0.0573419078242452, 1.43569131832797, -0.100000000000000 ) );
#9334 = CARTESIAN_POINT( '', ( -0.0845659163986920, 1.43569131832798, -0.100000000000000 ) );
#9335 = CARTESIAN_POINT( '', ( -0.132797427652713, 1.43569131832797, -0.100000000000000 ) );
#9336 = CARTESIAN_POINT( '', ( -0.168810289389049, 1.43118971061093, -0.100000000000000 ) );
#9337 = CARTESIAN_POINT( '', ( -0.192604501607697, 1.42154340836013, -0.100000000000000 ) );
#9338 = CARTESIAN_POINT( '', ( -0.216727115751571, 1.41176397019369, -0.100000000000000 ) );
#9339 = CARTESIAN_POINT( '', ( -0.235691318327954, 1.39581993569132, -0.100000000000000 ) );
#9340 = CARTESIAN_POINT( '', ( -0.250482315112519, 1.37266881028939, -0.100000000000000 ) );
#9341 = CARTESIAN_POINT( '', ( -0.265378672422127, 1.34935277276131, -0.100000000000000 ) );
#9342 = CARTESIAN_POINT( '', ( -0.271704180064287, 1.32122186495177, -0.100000000000000 ) );
#9343 = CARTESIAN_POINT( '', ( -0.271704180064288, 1.23890675241157, -0.100000000000000 ) );
#9344 = CARTESIAN_POINT( '', ( -0.255627009646282, 1.19517684887460, -0.100000000000000 ) );
#9345 = CARTESIAN_POINT( '', ( -0.223472668810270, 1.15787781350483, -0.100000000000000 ) );
#9346 = CARTESIAN_POINT( '', ( -0.191636362041189, 1.12094769765269, -0.100000000000000 ) );
#9347 = CARTESIAN_POINT( '', ( -0.130225080385832, 1.10321543408360, -0.100000000000000 ) );
#9348 = CARTESIAN_POINT( '', ( -0.0408360128617148, 1.10321543408359, -0.100000000000000 ) );
#9349 = CARTESIAN_POINT( '', ( 0.0864951768488974, 1.10321543408360, -0.100000000000000 ) );
#9350 = CARTESIAN_POINT( '', ( 0.213826366559508, 1.10321543408360, -0.100000000000000 ) );
#9351 = CARTESIAN_POINT( '', ( 0.341157556270121, 1.10321543408360, -0.100000000000000 ) );
#9352 = CARTESIAN_POINT( '', ( 0.341157556270121, 1.55401929260450, -0.100000000000000 ) );
#9353 = CARTESIAN_POINT( '', ( 0.341157556270121, 1.55401929260450, -0.100000000000000 ) );
#9354 = CARTESIAN_POINT( '', ( 0.341157556270122, 1.51457663451233, -0.100000000000000 ) );
#9355 = CARTESIAN_POINT( '', ( 0.341157556270121, 1.47513397642015, -0.100000000000000 ) );
#9356 = CARTESIAN_POINT( '', ( 0.341157556270122, 1.43569131832797, -0.100000000000000 ) );
#9357 = CARTESIAN_POINT( '', ( -0.259485530546605, 1.09099678456591, -0.100000000000000 ) );
#9358 = CARTESIAN_POINT( '', ( -0.259485530546605, 1.09099678456591, -0.100000000000000 ) );
#9359 = CARTESIAN_POINT( '', ( -0.336012861736316, 1.14244372990354, -0.100000000000000 ) );
#9360 = CARTESIAN_POINT( '', ( -0.374598070739529, 1.21704180064309, -0.100000000000000 ) );
#9361 = CARTESIAN_POINT( '', ( -0.374598070739529, 1.35659163987138, -0.100000000000000 ) );
#9362 = CARTESIAN_POINT( '', ( -0.366881028938887, 1.39517684887460, -0.100000000000000 ) );
#9363 = CARTESIAN_POINT( '', ( -0.351446945337599, 1.43054662379421, -0.100000000000000 ) );
#9364 = CARTESIAN_POINT( '', ( -0.335879994035219, 1.46622088719550, -0.100000000000000 ) );
#9365 = CARTESIAN_POINT( '', ( -0.316720257234705, 1.49292604501608, -0.100000000000000 ) );
#9366 = CARTESIAN_POINT( '', ( -0.292282958199336, 1.51028938906752, -0.100000000000000 ) );
#9367 = CARTESIAN_POINT( '', ( -0.267114676910262, 1.52817211524661, -0.100000000000000 ) );
#9368 = CARTESIAN_POINT( '', ( -0.238263665594835, 1.54051446945338, -0.100000000000000 ) );
#9369 = CARTESIAN_POINT( '', ( -0.204180064308659, 1.54758842443730, -0.100000000000000 ) );
#9370 = CARTESIAN_POINT( '', ( -0.182322355497496, 1.55212493003962, -0.100000000000000 ) );
#9371 = CARTESIAN_POINT( '', ( -0.143729903536959, 1.55401929260450, -0.100000000000000 ) );
#9372 = CARTESIAN_POINT( '', ( -0.0890675241157357, 1.55401929260450, -0.100000000000000 ) );
#9373 = CARTESIAN_POINT( '', ( 0.0543408360128871, 1.55401929260450, -0.100000000000000 ) );
#9374 = CARTESIAN_POINT( '', ( 0.197749196141503, 1.55401929260450, -0.100000000000000 ) );
#9375 = CARTESIAN_POINT( '', ( 0.341157556270121, 1.55401929260450, -0.100000000000000 ) );
#9376 = CARTESIAN_POINT( '', ( -0.359163987138243, 1.09099678456592, -0.100000000000000 ) );
#9377 = CARTESIAN_POINT( '', ( -0.325937834941032, 1.09099678456592, -0.100000000000000 ) );
#9378 = CARTESIAN_POINT( '', ( -0.292711682743817, 1.09099678456592, -0.100000000000000 ) );
#9379 = CARTESIAN_POINT( '', ( -0.259485530546605, 1.09099678456591, -0.100000000000000 ) );
#9380 = CARTESIAN_POINT( '', ( 0.341157556270119, 0.984244372990351, -0.100000000000000 ) );
#9381 = CARTESIAN_POINT( '', ( 0.107717041800666, 0.984244372990352, -0.100000000000000 ) );
#9382 = CARTESIAN_POINT( '', ( -0.125723472668789, 0.984244372990349, -0.100000000000000 ) );
#9383 = CARTESIAN_POINT( '', ( -0.359163987138243, 0.984244372990354, -0.100000000000000 ) );
#9384 = COLOUR_RGB( '', 0.200000002980232, 0.200000002980232, 0.200000002980232 );
#9385 = CARTESIAN_POINT( '', ( 1.50000000000000, -1.50000000000000, -3.55000000000000 ) );
#9386 = CARTESIAN_POINT( '', ( 1.50000000000000, -1.50000000000000, -3.55000000000000 ) );
#9387 = VECTOR( '', #9848, 1000.00000000000 );
#9388 = CARTESIAN_POINT( '', ( 1.50000000000000, 1.50000000000000, -3.55000000000000 ) );
#9389 = CARTESIAN_POINT( '', ( 1.50000000000000, 1.50000000000000, -3.55000000000000 ) );
#9390 = VECTOR( '', #9849, 1000.00000000000 );
#9391 = CARTESIAN_POINT( '', ( 1.50000000000000, 1.50000000000000, -3.55000000000000 ) );
#9392 = VECTOR( '', #9850, 1000.00000000000 );
#9393 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 );
#9394 = CARTESIAN_POINT( '', ( -0.625401929260438, -1.38231511254020, -0.100000000000000 ) );
#9395 = VECTOR( '', #9851, 1000.00000000000 );
#9396 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 );
#9397 = CARTESIAN_POINT( '', ( 0.341157556270117, 0.803536977491959, -0.100000000000000 ) );
#9398 = CARTESIAN_POINT( '', ( 0.341157556270116, 0.685209003215433, -0.100000000000000 ) );
#9399 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 );
#9400 = CARTESIAN_POINT( '', ( 0.341157556270116, 0.00996784565915665, -0.100000000000000 ) );
#9401 = CARTESIAN_POINT( '', ( -0.625401929260433, 0.00996784565916171, -0.100000000000000 ) );
#9402 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 );
#9403 = CARTESIAN_POINT( '', ( -0.253054662379403, -0.336012861736339, -0.100000000000000 ) );
#9404 = VECTOR( '', #9852, 1000.00000000000 );
#9405 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 );
#9406 = CARTESIAN_POINT( '', ( -0.489710610932455, 0.803536977491962, -0.100000000000000 ) );
#9407 = VECTOR( '', #9853, 1000.00000000000 );
#9408 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 );
#9409 = COLOUR_RGB( '', 0.579999983310699, 0.579999983310699, 0.000000000000000 );
#9410 = CARTESIAN_POINT( '', ( 3.10000000000000, -0.400000000000000, -0.100000000000000 ) );
#9411 = CARTESIAN_POINT( '', ( 0.000000000000000, -0.400000000000000, -0.100000000000000 ) );
#9412 = VECTOR( '', #9854, 1000.00000000000 );
#9413 = AXIS2_PLACEMENT_3D( '', #9855, #9856, #9857 );
#9414 = CARTESIAN_POINT( '', ( -3.72860563750043, 0.400000000000000, -0.100000000000000 ) );
#9415 = AXIS2_PLACEMENT_3D( '', #9858, #9859, #9860 );
#9416 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.400000000000000, -0.100000000000000 ) );
#9417 = VECTOR( '', #9861, 1000.00000000000 );
#9418 = CARTESIAN_POINT( '', ( -3.90000000000000, 0.000000000000000, -0.100000000000000 ) );
#9419 = AXIS2_PLACEMENT_3D( '', #9862, #9863, #9864 );
#9420 = COLOUR_RGB( '', 0.200000002980232, 0.200000002980232, 0.200000002980232 );
#9421 = AXIS2_PLACEMENT_3D( '', #9865, #9866, #9867 );
#9422 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 );
#9423 = CARTESIAN_POINT( '', ( 0.341157556270122, 1.43569131832797, -0.100000000000000 ) );
#9424 = VECTOR( '', #9868, 1000.00000000000 );
#9425 = CARTESIAN_POINT( '', ( 0.341157556270121, 1.10321543408360, -0.100000000000000 ) );
#9426 = VECTOR( '', #9869, 1000.00000000000 );
#9427 = COLOUR_RGB( '', 0.579999983310699, 0.579999983310699, 0.000000000000000 );
#9428 = CARTESIAN_POINT( '', ( 3.10000000000000, -0.500000000000000, 0.000000000000000 ) );
#9429 = VECTOR( '', #9870, 1000.00000000000 );
#9430 = COLOUR_RGB( '', 0.779999971389771, 0.529999971389771, 0.419999986886978 );
#9431 = CARTESIAN_POINT( '', ( 2.10612448881894, -0.00508995868600149, -0.874877248379030 ) );
#9432 = CARTESIAN_POINT( '', ( 2.10612146679638, -0.00339328207591102, -0.874867466555275 ) );
#9433 = CARTESIAN_POINT( '', ( 2.10611740842851, -0.00169662241153856, -0.874854479609407 ) );
#9434 = CARTESIAN_POINT( '', ( 2.10611231493660, 6.84867630517091E-014, -0.874838268974097 ) );
#9435 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 );
#9436 = COLOUR_RGB( '', 0.980000019073486, 0.980000019073486, 0.980000019073486 );
#9437 = CARTESIAN_POINT( '', ( -3.70000000000000, 2.10000000000000, -0.650000000000000 ) );
#9438 = CARTESIAN_POINT( '', ( -3.70000000000000, -2.10000000000000, -0.650000000000000 ) );
#9439 = VECTOR( '', #9871, 1000.00000000000 );
#9440 = CARTESIAN_POINT( '', ( -3.70000000000000, 2.10000000000000, -0.650000000000000 ) );
#9441 = VECTOR( '', #9872, 1000.00000000000 );
#9442 = COLOUR_RGB( '', 0.579999983310699, 0.579999983310699, 0.000000000000000 );
#9443 = CARTESIAN_POINT( '', ( -3.72860563750043, 0.400000000000000, -0.100000000000000 ) );
#9444 = CARTESIAN_POINT( '', ( -3.69128568485784, 0.433530454413108, -0.0664695455868921 ) );
#9445 = CARTESIAN_POINT( '', ( -3.65361874083333, 0.466869420193539, -0.0331305798064611 ) );
#9446 = CARTESIAN_POINT( '', ( -3.61559123795818, 0.500000000000000, -9.47980453623138E-017 ) );
#9447 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 );
#9448 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 );
#9449 = CARTESIAN_POINT( '', ( 0.341157556270119, 0.984244372990351, -0.100000000000000 ) );
#9450 = VECTOR( '', #9873, 1000.00000000000 );
#9451 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 );
#9452 = CARTESIAN_POINT( '', ( -0.359163987138241, 2.30578778135049, -0.100000000000000 ) );
#9453 = VECTOR( '', #9874, 1000.00000000000 );
#9454 = COLOUR_RGB( '', 0.980000019073486, 0.980000019073486, 0.980000019073486 );
#9455 = CARTESIAN_POINT( '', ( 5.00000000000000, 2.10000000000000, -0.650000000000000 ) );
#9456 = VECTOR( '', #9875, 1000.00000000000 );
#9457 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 );
#9458 = COLOUR_RGB( '', 0.200000002980232, 0.200000002980232, 0.200000002980232 );
#9459 = CARTESIAN_POINT( '', ( -3.72860563750043, -0.400000000000000, -2.92000000000000 ) );
#9460 = CARTESIAN_POINT( '', ( -3.72860563750043, -0.400000000000000, 10.9931490775638 ) );
#9461 = VECTOR( '', #9876, 1000.00000000000 );
#9462 = CARTESIAN_POINT( '', ( 3.62322736048101E-016, -0.400000000000000, -2.92000000000000 ) );
#9463 = VECTOR( '', #9877, 1000.00000000000 );
#9464 = COLOUR_RGB( '', 0.200000002980232, 0.200000002980232, 0.200000002980232 );
#9465 = CARTESIAN_POINT( '', ( 4.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9466 = AXIS2_PLACEMENT_3D( '', #9878, #9879, #9880 );
#9467 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 );
#9468 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 );
#9469 = CARTESIAN_POINT( '', ( 0.0639871382636845, 0.128295819935688, -0.100000000000000 ) );
#9470 = CARTESIAN_POINT( '', ( 0.341157556270116, 0.128295819935689, -0.100000000000000 ) );
#9471 = COLOUR_RGB( '', 0.200000002980232, 0.200000002980232, 0.200000002980232 );
#9472 = CARTESIAN_POINT( '', ( -1.50000000000000, -0.500000000000000, -3.55000000000000 ) );
#9473 = CARTESIAN_POINT( '', ( -1.50000000000000, -0.500000000000000, -3.55000000000000 ) );
#9474 = VECTOR( '', #9881, 1000.00000000000 );
#9475 = CARTESIAN_POINT( '', ( -1.50000000000000, -0.500000000000000, -3.55000000000000 ) );
#9476 = VECTOR( '', #9882, 1000.00000000000 );
#9477 = COLOUR_RGB( '', 0.200000002980232, 0.200000002980232, 0.200000002980232 );
#9478 = CARTESIAN_POINT( '', ( -3.72860563750043, -0.400000000000000, -0.680000000000000 ) );
#9479 = CARTESIAN_POINT( '', ( -3.72860563750043, -0.400000000000000, 10.9931490775638 ) );
#9480 = VECTOR( '', #9883, 1000.00000000000 );
#9481 = CARTESIAN_POINT( '', ( 3.62322736048100E-016, -0.400000000000000, -0.680000000000000 ) );
#9482 = VECTOR( '', #9884, 1000.00000000000 );
#9483 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 );
#9484 = CARTESIAN_POINT( '', ( -0.259485530546605, 1.09099678456591, -0.100000000000000 ) );
#9485 = VECTOR( '', #9885, 1000.00000000000 );
#9486 = COLOUR_RGB( '', 0.579999983310699, 0.579999983310699, 0.000000000000000 );
#9487 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 );
#9488 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 );
#9489 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 );
#9490 = COLOUR_RGB( '', 0.579999983310699, 0.579999983310699, 0.000000000000000 );
#9491 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 );
#9492 = COLOUR_RGB( '', 0.200000002980232, 0.200000002980232, 0.200000002980232 );
#9493 = AXIS2_PLACEMENT_3D( '', #9886, #9887, #9888 );
#9494 = AXIS2_PLACEMENT_3D( '', #9889, #9890, #9891 );
#9495 = CARTESIAN_POINT( '', ( -2.05000000000000, 0.000000000000000, -0.680000000000000 ) );
#9496 = AXIS2_PLACEMENT_3D( '', #9892, #9893, #9894 );
#9497 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 );
#9498 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 );
#9499 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 );
#9500 = COLOUR_RGB( '', 0.779999971389771, 0.529999971389771, 0.419999986886978 );
#9501 = CARTESIAN_POINT( '', ( 2.36989483196316, 0.205327692711779, -0.835000000000000 ) );
#9502 = AXIS2_PLACEMENT_3D( '', #9895, #9896, #9897 );
#9503 = COLOUR_RGB( '', 0.980000019073486, 0.980000019073486, 0.980000019073486 );
#9504 = CARTESIAN_POINT( '', ( 3.70000000000000, -2.10000000000000, -0.650000000000000 ) );
#9505 = VECTOR( '', #9898, 1000.00000000000 );
#9506 = COLOUR_RGB( '', 0.200000002980232, 0.200000002980232, 0.200000002980232 );
#9507 = CARTESIAN_POINT( '', ( 0.500000000000000, 1.50000000000000, -3.55000000000000 ) );
#9508 = VECTOR( '', #9899, 1000.00000000000 );
#9509 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 );
#9510 = COLOUR_RGB( '', 0.779999971389771, 0.529999971389771, 0.419999986886978 );
#9511 = CARTESIAN_POINT( '', ( 2.80903986325182, -0.134895541074785, -2.56000000000001 ) );
#9512 = CARTESIAN_POINT( '', ( 2.80903986325182, -0.134895541074785, -2.56000000000001 ) );
#9513 = CARTESIAN_POINT( '', ( 2.80903986325182, -0.133322328189370, -2.59648242419537 ) );
#9514 = CARTESIAN_POINT( '', ( 2.80903986325182, -0.118123741246401, -2.62914366647483 ) );
#9515 = CARTESIAN_POINT( '', ( 2.80903986325182, -0.0784519398079130, -2.66611141845239 ) );
#9516 = CARTESIAN_POINT( '', ( 2.80903986325182, -0.0635453553111127, -2.67506106345871 ) );
#9517 = CARTESIAN_POINT( '', ( 2.80903986325182, -0.0300339178483982, -2.68758402940548 ) );
#9518 = CARTESIAN_POINT( '', ( 2.80903986325182, -0.0126798581822320, -2.69021225380725 ) );
#9519 = CARTESIAN_POINT( '', ( 2.80903986325182, 0.0230718053883377, -2.68896828293866 ) );
#9520 = CARTESIAN_POINT( '', ( 2.80903986325182, 0.0401158270410143, -2.68475859827700 ) );
#9521 = CARTESIAN_POINT( '', ( 2.80903986325182, 0.0726862680716722, -2.66992936436012 ) );
#9522 = CARTESIAN_POINT( '', ( 2.80903986325182, 0.0868317661117326, -2.65951198299638 ) );
#9523 = CARTESIAN_POINT( '', ( 2.80903986325182, 0.111266462966162, -2.63332737752954 ) );
#9524 = CARTESIAN_POINT( '', ( 2.80903986325182, 0.120352844849793, -2.61827520108664 ) );
#9525 = CARTESIAN_POINT( '', ( 2.80903986325182, 0.132900608414977, -2.58471459980544 ) );
#9526 = CARTESIAN_POINT( '', ( 2.80903986325182, 0.135528618868271, -2.56733264247095 ) );
#9527 = CARTESIAN_POINT( '', ( 2.80903986325182, 0.134266211806602, -2.53152403806011 ) );
#9528 = CARTESIAN_POINT( '', ( 2.80903986325182, 0.130036079387318, -2.51445914062430 ) );
#9529 = CARTESIAN_POINT( '', ( 2.80903986325182, 0.115155443975515, -2.48186786957405 ) );
#9530 = CARTESIAN_POINT( '', ( 2.80903986325182, 0.104713821869938, -2.46772643189548 ) );
#9531 = CARTESIAN_POINT( '', ( 2.80903986325182, 0.0784918602529306, -2.44332193006857 ) );
#9532 = CARTESIAN_POINT( '', ( 2.80903986325182, 0.0634351480113349, -2.43425894318329 ) );
#9533 = CARTESIAN_POINT( '', ( 2.80903986325182, 0.0298834873404861, -2.42176102423944 ) );
#9534 = CARTESIAN_POINT( '', ( 2.80903986325182, 0.0125197984026163, -2.41915241968806 ) );
#9535 = CARTESIAN_POINT( '', ( 2.80903986325182, -0.0232369820921507, -2.42044097524116 ) );
#9536 = CARTESIAN_POINT( '', ( 2.80903986325182, -0.0402721425659686, -2.42467040217830 ) );
#9537 = CARTESIAN_POINT( '', ( 2.80903986325182, -0.0728108342802516, -2.43953220355316 ) );
#9538 = CARTESIAN_POINT( '', ( 2.80903986325182, -0.0869346251328983, -2.44995556496149 ) );
#9539 = CARTESIAN_POINT( '', ( 2.80903986325182, -0.111321581534941, -2.47613701447695 ) );
#9540 = CARTESIAN_POINT( '', ( 2.80903986325182, -0.120326887796111, -2.49101324393977 ) );
#9541 = CARTESIAN_POINT( '', ( 2.80903986325182, -0.132974888584399, -2.52488872066118 ) );
#9542 = CARTESIAN_POINT( '', ( 2.80903986325182, -0.135682410076006, -2.54175269923426 ) );
#9543 = CARTESIAN_POINT( '', ( 2.80903986325182, -0.134895541074785, -2.56000000000001 ) );
#9544 = COLOUR_RGB( '', 0.980000019073486, 0.980000019073486, 0.980000019073486 );
#9545 = CARTESIAN_POINT( '', ( -5.00000000000000, 2.10000000000000, -0.650000000000000 ) );
#9546 = CARTESIAN_POINT( '', ( -5.00000000000000, 2.10000000000000, -0.650000000000000 ) );
#9547 = VECTOR( '', #9900, 1000.00000000000 );
#9548 = CARTESIAN_POINT( '', ( -3.70000000000000, 2.10000000000000, -0.650000000000000 ) );
#9549 = VECTOR( '', #9901, 1000.00000000000 );
#9550 = COLOUR_RGB( '', 0.779999971389771, 0.529999971389771, 0.419999986886978 );
#9551 = COLOUR_RGB( '', 0.200000002980232, 0.200000002980232, 0.200000002980232 );
#9552 = AXIS2_PLACEMENT_3D( '', #9902, #9903, #9904 );
#9553 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 );
#9554 = CARTESIAN_POINT( '', ( 0.341157556270121, 1.55401929260450, -0.100000000000000 ) );
#9555 = VECTOR( '', #9905, 1000.00000000000 );
#9556 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 );
#9557 = COLOUR_RGB( '', 0.200000002980232, 0.200000002980232, 0.200000002980232 );
#9558 = CARTESIAN_POINT( '', ( 3.10000000000000, -0.400000000000000, -2.92000000000000 ) );
#9559 = AXIS2_PLACEMENT_3D( '', #9906, #9907, #9908 );
#9560 = CARTESIAN_POINT( '', ( 3.10000000000000, -0.400000000000000, 10.9931490775638 ) );
#9561 = VECTOR( '', #9909, 1000.00000000000 );
#9562 = COLOUR_RGB( '', 0.200000002980232, 0.200000002980232, 0.200000002980232 );
#9563 = CARTESIAN_POINT( '', ( 3.72860563750043, -0.400000000000000, -2.92000000000000 ) );
#9564 = AXIS2_PLACEMENT_3D( '', #9910, #9911, #9912 );
#9565 = CARTESIAN_POINT( '', ( 3.62322736048101E-016, -0.400000000000000, -2.92000000000000 ) );
#9566 = VECTOR( '', #9913, 1000.00000000000 );
#9567 = CARTESIAN_POINT( '', ( 2.05000000000000, 0.000000000000000, -2.92000000000000 ) );
#9568 = AXIS2_PLACEMENT_3D( '', #9914, #9915, #9916 );
#9569 = COLOUR_RGB( '', 0.200000002980232, 0.200000002980232, 0.200000002980232 );
#9570 = CARTESIAN_POINT( '', ( 1.50000000000000, -1.50000000000000, -3.55000000000000 ) );
#9571 = VECTOR( '', #9917, 1000.00000000000 );
#9572 = COLOUR_RGB( '', 0.200000002980232, 0.200000002980232, 0.200000002980232 );
#9573 = CARTESIAN_POINT( '', ( 0.500000000000000, -0.500000000000000, -3.55000000000000 ) );
#9574 = VECTOR( '', #9918, 1000.00000000000 );
#9575 = COLOUR_RGB( '', 0.980000019073486, 0.980000019073486, 0.980000019073486 );
#9576 = CARTESIAN_POINT( '', ( -5.00000000000000, 2.10000000000000, -0.650000000000000 ) );
#9577 = VECTOR( '', #9919, 1000.00000000000 );
#9578 = COLOUR_RGB( '', 0.200000002980232, 0.200000002980232, 0.200000002980232 );
#9579 = COLOUR_RGB( '', 0.200000002980232, 0.200000002980232, 0.200000002980232 );
#9580 = COLOUR_RGB( '', 0.200000002980232, 0.200000002980232, 0.200000002980232 );
#9581 = COLOUR_RGB( '', 0.980000019073486, 0.980000019073486, 0.980000019073486 );
#9582 = COLOUR_RGB( '', 0.200000002980232, 0.200000002980232, 0.200000002980232 );
#9583 = CARTESIAN_POINT( '', ( 3.72860563750043, -0.400000000000000, 10.9931490775638 ) );
#9584 = VECTOR( '', #9920, 1000.00000000000 );
#9585 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 );
#9586 = COLOUR_RGB( '', 0.200000002980232, 0.200000002980232, 0.200000002980232 );
#9587 = COLOUR_RGB( '', 0.200000002980232, 0.200000002980232, 0.200000002980232 );
#9588 = COLOUR_RGB( '', 0.200000002980232, 0.200000002980232, 0.200000002980232 );
#9589 = COLOUR_RGB( '', 0.980000019073486, 0.980000019073486, 0.980000019073486 );
#9590 = COLOUR_RGB( '', 0.779999971389771, 0.529999971389771, 0.419999986886978 );
#9591 = COLOUR_RGB( '', 0.579999983310699, 0.579999983310699, 0.000000000000000 );
#9592 = COLOUR_RGB( '', 0.779999971389771, 0.529999971389771, 0.419999986886978 );
#9593 = COLOUR_RGB( '', 0.200000002980232, 0.200000002980232, 0.200000002980232 );
#9594 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 );
#9595 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9596 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9597 = CARTESIAN_POINT( '', ( -3.10000000000000, 0.000000000000000, -3.50000000000000 ) );
#9598 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9599 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9600 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9601 = CARTESIAN_POINT( '', ( -3.10000000000000, 0.000000000000000, -2.92000000000000 ) );
#9602 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9603 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9604 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9605 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9606 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9607 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9608 = DIRECTION( '', ( 0.000000000000000, 0.707106781186549, -0.707106781186545 ) );
#9609 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9610 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#9611 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9612 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#9613 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9614 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9615 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9616 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9617 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9618 = DIRECTION( '', ( 0.000000000000000, 0.707106781186548, 0.707106781186548 ) );
#9619 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9620 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9621 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9622 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9623 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9624 = CARTESIAN_POINT( '', ( 2.23500000000000, 2.79182059415017E-015, -0.835000000000000 ) );
#9625 = DIRECTION( '', ( -0.0394643904576026, 0.999220977504881, 0.000000000000000 ) );
#9626 = DIRECTION( '', ( 0.999220977504881, 0.0394643904576026, 0.000000000000000 ) );
#9627 = CARTESIAN_POINT( '', ( 1.54607418640169E-016, 2.52501415099785, -0.835000000000000 ) );
#9628 = DIRECTION( '', ( -1.00000000000000, 6.12303176911189E-017, 0.000000000000000 ) );
#9629 = DIRECTION( '', ( 6.12303176911189E-017, 1.00000000000000, 0.000000000000000 ) );
#9630 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9631 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9632 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9633 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9634 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#9635 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9636 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#9637 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9638 = CARTESIAN_POINT( '', ( 3.62322736048101E-016, 0.000000000000000, -3.50000000000000 ) );
#9639 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9640 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9641 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9642 = CARTESIAN_POINT( '', ( 3.62322736048101E-016, 0.000000000000000, -2.92000000000000 ) );
#9643 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9644 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9645 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9646 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#9647 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9648 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#9649 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9650 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9651 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9652 = DIRECTION( '', ( 0.707106781186821, -0.707106781186274, 0.000000000000000 ) );
#9653 = DIRECTION( '', ( -0.707106781186822, -0.707106781186273, 0.000000000000000 ) );
#9654 = DIRECTION( '', ( -1.00000000000000, 2.09399647133511E-016, 0.000000000000000 ) );
#9655 = DIRECTION( '', ( -0.707106781186823, 0.707106781186272, 0.000000000000000 ) );
#9656 = DIRECTION( '', ( 0.707106781186821, 0.707106781186274, 0.000000000000000 ) );
#9657 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9658 = CARTESIAN_POINT( '', ( 3.30643715532042E-015, 0.000000000000000, -3.15000000000000 ) );
#9659 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9660 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9661 = CARTESIAN_POINT( '', ( 3.30643715532042E-015, 0.000000000000000, 0.000000000000000 ) );
#9662 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9663 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9664 = CARTESIAN_POINT( '', ( 3.30643715532042E-015, 0.000000000000000, -0.100000000000000 ) );
#9665 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9666 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9667 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9668 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9669 = DIRECTION( '', ( 0.000000000000000, -0.707106781186548, 0.707106781186548 ) );
#9670 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9671 = DIRECTION( '', ( 0.000000000000000, -0.707106781186549, 0.707106781186545 ) );
#9672 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9673 = CARTESIAN_POINT( '', ( -1.80912288305961, 0.000000000000000, -0.100000000000000 ) );
#9674 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9675 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9676 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9677 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9678 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9679 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9680 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9681 = CARTESIAN_POINT( '', ( -3.10000000000000, 0.000000000000000, 0.000000000000000 ) );
#9682 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9683 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9684 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9685 = CARTESIAN_POINT( '', ( 3.30643715532042E-015, 0.000000000000000, 0.000000000000000 ) );
#9686 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9687 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9688 = CARTESIAN_POINT( '', ( 3.10000000000000, -3.79627969684936E-016, 0.000000000000000 ) );
#9689 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9690 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9691 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9692 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 0.000000000000000 ) );
#9693 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9694 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9695 = DIRECTION( '', ( 0.000000000000000, -0.707106781186549, -0.707106781186545 ) );
#9696 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9697 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9698 = DIRECTION( '', ( 1.08420217248550E-016, 1.00000000000000, 0.000000000000000 ) );
#9699 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9700 = DIRECTION( '', ( 1.08420217248550E-016, 1.00000000000000, 0.000000000000000 ) );
#9701 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9702 = DIRECTION( '', ( 0.000000000000000, 0.707106781186549, 0.707106781186545 ) );
#9703 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9704 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9705 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9706 = CARTESIAN_POINT( '', ( -3.10000000000000, 0.000000000000000, -0.100000000000000 ) );
#9707 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9708 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9709 = DIRECTION( '', ( 0.000000000000000, 0.707106781186548, 0.707106781186548 ) );
#9710 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9711 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9712 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9713 = DIRECTION( '', ( 0.000000000000000, -0.707106781186549, -0.707106781186546 ) );
#9714 = CARTESIAN_POINT( '', ( 3.10000000000000, -3.79627969684937E-016, 0.000000000000000 ) );
#9715 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9716 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9717 = CARTESIAN_POINT( '', ( 3.10000000000000, -3.79627969684937E-016, -0.100000000000000 ) );
#9718 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9719 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9720 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9721 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9722 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9723 = CARTESIAN_POINT( '', ( -3.10000000000000, 0.000000000000000, 0.000000000000000 ) );
#9724 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9725 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9726 = CARTESIAN_POINT( '', ( -3.10000000000000, 0.000000000000000, -0.100000000000000 ) );
#9727 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9728 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9729 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9730 = CARTESIAN_POINT( '', ( 3.10000000000000, -3.79627969684937E-016, -0.680000000000000 ) );
#9731 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9732 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9733 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9734 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9735 = DIRECTION( '', ( -0.707106781186823, 0.707106781186272, 0.000000000000000 ) );
#9736 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9737 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9738 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9739 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9740 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9741 = CARTESIAN_POINT( '', ( 3.62322736048100E-016, 0.000000000000000, 0.000000000000000 ) );
#9742 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9743 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9744 = CARTESIAN_POINT( '', ( 3.62322736048100E-016, 0.000000000000000, -0.100000000000000 ) );
#9745 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9746 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9747 = DIRECTION( '', ( 0.000000000000000, -0.707106781186546, 0.707106781186549 ) );
#9748 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9749 = DIRECTION( '', ( -1.08420217248550E-016, 1.00000000000000, 0.000000000000000 ) );
#9750 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9751 = DIRECTION( '', ( -1.08420217248550E-016, 1.00000000000000, 0.000000000000000 ) );
#9752 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9753 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9754 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9755 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9756 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9757 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9758 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9759 = DIRECTION( '', ( 0.000000000000000, 0.707106781186546, -0.707106781186549 ) );
#9760 = CARTESIAN_POINT( '', ( -3.10000000000000, 0.000000000000000, -3.60000000000000 ) );
#9761 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9762 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9763 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9764 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9765 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9766 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9767 = DIRECTION( '', ( 1.00000000000000, -1.08420217248550E-016, 0.000000000000000 ) );
#9768 = DIRECTION( '', ( 1.00000000000000, -1.08420217248550E-016, 0.000000000000000 ) );
#9769 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9770 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9771 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9772 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9773 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9774 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9775 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9776 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9777 = CARTESIAN_POINT( '', ( -3.10000000000000, 0.000000000000000, -0.680000000000000 ) );
#9778 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9779 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9780 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9781 = CARTESIAN_POINT( '', ( 3.62322736048101E-016, 0.000000000000000, -3.60000000000000 ) );
#9782 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9783 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9784 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9785 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9786 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9787 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9788 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9789 = DIRECTION( '', ( 0.707106781186821, -0.707106781186274, 0.000000000000000 ) );
#9790 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9791 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9792 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9793 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#9794 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#9795 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9796 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9797 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9798 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9799 = DIRECTION( '', ( 0.000000000000000, 0.707106781186550, 0.707106781186545 ) );
#9800 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9801 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9802 = DIRECTION( '', ( -1.00000000000000, -1.08420217248550E-016, 0.000000000000000 ) );
#9803 = DIRECTION( '', ( -1.00000000000000, -2.16840434497101E-016, 0.000000000000000 ) );
#9804 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#9805 = DIRECTION( '', ( 1.00000000000000, -2.16840434497101E-016, 0.000000000000000 ) );
#9806 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#9807 = CARTESIAN_POINT( '', ( 3.62322736048101E-016, 0.000000000000000, -3.60000000000000 ) );
#9808 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9809 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9810 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9811 = CARTESIAN_POINT( '', ( 3.10000000000000, -3.79627969684937E-016, -3.60000000000000 ) );
#9812 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9813 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9814 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9815 = DIRECTION( '', ( -0.707106781186822, -0.707106781186273, 0.000000000000000 ) );
#9816 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9817 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9818 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9819 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9820 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9821 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9822 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9823 = DIRECTION( '', ( -1.00000000000000, 2.09399647133511E-016, 0.000000000000000 ) );
#9824 = CARTESIAN_POINT( '', ( 3.62322736048100E-016, 0.000000000000000, 0.000000000000000 ) );
#9825 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9826 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9827 = CARTESIAN_POINT( '', ( -1.80912288305961, 0.000000000000000, 0.000000000000000 ) );
#9828 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9829 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9830 = CARTESIAN_POINT( '', ( 3.10000000000000, -3.79627969684937E-016, -3.50000000000000 ) );
#9831 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9832 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9833 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9834 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9835 = CARTESIAN_POINT( '', ( 2.23500000000000, 4.38222131108820E-015, -0.915000000000000 ) );
#9836 = DIRECTION( '', ( 1.96072541883141E-015, -1.00000000000000, 0.000000000000000 ) );
#9837 = DIRECTION( '', ( -1.00000000000000, -1.96072541883141E-015, 0.000000000000000 ) );
#9838 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9839 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9840 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9841 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9842 = DIRECTION( '', ( 0.707106781186821, 0.707106781186274, 0.000000000000000 ) );
#9843 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9844 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9845 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9846 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9847 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9848 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9849 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#9850 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9851 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9852 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9853 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9854 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9855 = CARTESIAN_POINT( '', ( 3.10000000000000, -3.79627969684936E-016, -0.100000000000000 ) );
#9856 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9857 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9858 = CARTESIAN_POINT( '', ( 3.30643715532042E-015, 0.000000000000000, -0.100000000000000 ) );
#9859 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9860 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9861 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9862 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, -0.100000000000000 ) );
#9863 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9864 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9865 = CARTESIAN_POINT( '', ( 3.62322736048100E-016, 0.000000000000000, -0.100000000000000 ) );
#9866 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9867 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9868 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9869 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9870 = DIRECTION( '', ( 0.000000000000000, -0.707106781186548, 0.707106781186548 ) );
#9871 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#9872 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9873 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9874 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9875 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#9876 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9877 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9878 = CARTESIAN_POINT( '', ( 3.30643715532042E-015, 0.000000000000000, 0.000000000000000 ) );
#9879 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9880 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9881 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#9882 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9883 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9884 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9885 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9886 = CARTESIAN_POINT( '', ( 3.62322736048100E-016, 0.000000000000000, -0.680000000000000 ) );
#9887 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9888 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9889 = CARTESIAN_POINT( '', ( 3.62322736048100E-016, 0.000000000000000, -0.680000000000000 ) );
#9890 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9891 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9892 = CARTESIAN_POINT( '', ( 3.62322736048101E-016, 0.000000000000000, -0.680000000000000 ) );
#9893 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9894 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9895 = CARTESIAN_POINT( '', ( 2.23500000000000, 0.200000000000003, -0.835000000000000 ) );
#9896 = DIRECTION( '', ( -0.0394643904576027, 0.999220977504881, 0.000000000000000 ) );
#9897 = DIRECTION( '', ( 0.999220977504881, 0.0394643904576027, 0.000000000000000 ) );
#9898 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#9899 = DIRECTION( '', ( 1.00000000000000, -2.16840434497101E-016, 0.000000000000000 ) );
#9900 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#9901 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9902 = CARTESIAN_POINT( '', ( 3.62322736048101E-016, 0.000000000000000, -3.50000000000000 ) );
#9903 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9904 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9905 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9906 = CARTESIAN_POINT( '', ( 3.10000000000000, -3.79627969684937E-016, -2.92000000000000 ) );
#9907 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9908 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9909 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9910 = CARTESIAN_POINT( '', ( 3.62322736048101E-016, 0.000000000000000, -2.92000000000000 ) );
#9911 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9912 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9913 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9914 = CARTESIAN_POINT( '', ( 3.62322736048101E-016, 0.000000000000000, -2.92000000000000 ) );
#9915 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9916 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9917 = DIRECTION( '', ( -1.00000000000000, -2.16840434497101E-016, 0.000000000000000 ) );
#9918 = DIRECTION( '', ( -1.00000000000000, -1.08420217248550E-016, 0.000000000000000 ) );
#9919 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9920 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
ENDSEC;
END-ISO-10303-21;