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
#9036 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9037 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9038 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9039 = DIRECTION( '', ( -0.447213595499096, 0.774596669241839, 0.447213595500204 ) );
#9040 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9041 = DIRECTION( '', ( 0.447213595499105, -0.774596669241854, 0.447213595500168 ) );
#9042 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9043 = DIRECTION( '', ( 0.447213595499900, 0.774596669241510, -0.447213595499970 ) );
#9044 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9045 = DIRECTION( '', ( 0.447213595500591, -0.774596669241211, 0.447213595499797 ) );
#9046 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9047 = DIRECTION( '', ( 0.447213595499900, 0.774596669241510, -0.447213595499970 ) );
#9048 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9049 = DIRECTION( '', ( 0.447213595500590, -0.774596669241211, 0.447213595499797 ) );
#9050 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9051 = DIRECTION( '', ( 0.447213595499899, 0.774596669241510, -0.447213595499970 ) );
#9052 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9053 = DIRECTION( '', ( -0.447213595500581, 0.774596669241195, 0.447213595499833 ) );
#9054 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9055 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9056 = DIRECTION( '', ( -9.98831922683546E-14, 1.00000000000000, 0.000000000000000 ) );
#9057 = DIRECTION( '', ( 9.98831922683546E-14, -1.00000000000000, 0.000000000000000 ) );
#9058 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9059 = DIRECTION( '', ( -9.98831922683546E-14, 1.00000000000000, 0.000000000000000 ) );
#9060 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9061 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9062 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9063 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9064 = DIRECTION( '', ( 0.447213595499900, 0.774596669241510, -0.447213595499970 ) );
#9065 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9066 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9067 = DIRECTION( '', ( 0.447213595500589, -0.774596669241211, 0.447213595499797 ) );
#9068 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9069 = DIRECTION( '', ( -0.447213595500580, 0.774596669241196, 0.447213595499833 ) );
#9070 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9071 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9072 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9073 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9074 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9075 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#9076 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9077 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#9078 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9079 = DIRECTION( '', ( -0.447213595499891, -0.774596669241495, -0.447213595500006 ) );
#9080 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9081 = DIRECTION( '', ( -0.447213595500581, 0.774596669241195, 0.447213595499833 ) );
#9082 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9083 = DIRECTION( '', ( -0.447213595499891, -0.774596669241495, -0.447213595500006 ) );
#9084 = DIRECTION( '', ( -0.447213595500581, 0.774596669241195, 0.447213595499833 ) );
#9085 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9086 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#9087 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9088 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9089 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9090 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#9091 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9092 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9093 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9094 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#9095 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9096 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#9097 = DIRECTION( '', ( 0.000000000000000, 3.23372158340940E-17, 1.00000000000000 ) );
#9098 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#9099 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9100 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#9101 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9102 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#9103 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9104 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#9105 = DIRECTION( '', ( 0.447213595500589, -0.774596669241211, 0.447213595499797 ) );
#9106 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9107 = DIRECTION( '', ( -0.447213595500580, 0.774596669241196, 0.447213595499833 ) );
#9108 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9109 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9110 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9111 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#9112 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9113 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#9114 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9115 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#9116 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#9117 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9118 = DIRECTION( '', ( 1.00224673267574E-13, 1.00000000000000, 0.000000000000000 ) );
#9119 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#9120 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9121 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9122 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9123 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9124 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9125 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9126 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#9127 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9128 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9129 = DIRECTION( '', ( -0.447213595499891, -0.774596669241495, -0.447213595500006 ) );
#9130 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9131 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9132 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9133 = DIRECTION( '', ( 0.447213595500590, -0.774596669241211, 0.447213595499797 ) );
#9134 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9135 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9136 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9137 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9138 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9139 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9140 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9141 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9142 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9143 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9144 = DIRECTION( '', ( -1.00139303017772E-13, -1.00000000000000, 0.000000000000000 ) );
#9145 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9146 = DIRECTION( '', ( -9.98831922683546E-14, 1.00000000000000, 0.000000000000000 ) );
#9147 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9148 = DIRECTION( '', ( -0.447213595499890, -0.774596669241495, -0.447213595500006 ) );
#9149 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9150 = DIRECTION( '', ( 0.447213595499899, 0.774596669241510, -0.447213595499970 ) );
#9151 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9152 = DIRECTION( '', ( -0.447213595500581, 0.774596669241195, 0.447213595499833 ) );
#9153 = DIRECTION( '', ( 0.447213595500591, -0.774596669241211, 0.447213595499797 ) );
#9154 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9155 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9156 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9157 = DIRECTION( '', ( 0.447213595500590, -0.774596669241211, 0.447213595499797 ) );
#9158 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9159 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9160 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9161 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9162 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9163 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9164 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#9165 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#9166 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9167 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#9168 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9169 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#9170 = DIRECTION( '', ( -0.447213595500184, -0.774596669241368, -0.447213595499933 ) );
#9171 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9172 = DIRECTION( '', ( -0.447213595499096, 0.774596669241839, 0.447213595500204 ) );
#9173 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9174 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9175 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9176 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#9177 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9178 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#9179 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#9180 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9181 = DIRECTION( '', ( 1.00053932767959E-13, -1.00000000000000, 0.000000000000000 ) );
#9182 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9183 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#9184 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9185 = DIRECTION( '', ( -1.00224673267574E-13, -1.00000000000000, 0.000000000000000 ) );
#9186 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9187 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9188 = DIRECTION( '', ( -1.00224673267574E-13, -1.00000000000000, 0.000000000000000 ) );
#9189 = DIRECTION( '', ( 1.00224673267574E-13, 1.00000000000000, 0.000000000000000 ) );
#9190 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9191 = DIRECTION( '', ( -0.447213595499893, -0.774596669241494, -0.447213595500005 ) );
#9192 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9193 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#9194 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9195 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#9196 = DIRECTION( '', ( -1.00053932767970E-13, -1.00000000000000, 0.000000000000000 ) );
#9197 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9198 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9199 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9200 = DIRECTION( '', ( 1.00053932767970E-13, 1.00000000000000, 0.000000000000000 ) );
#9201 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9202 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9203 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9204 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9205 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#9206 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9207 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#9208 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9209 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#9210 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9211 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#9212 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#9213 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9214 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#9215 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9216 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9217 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9218 = DIRECTION( '', ( -0.447213595499890, -0.774596669241495, -0.447213595500006 ) );
#9219 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9220 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9221 = DIRECTION( '', ( -9.99258773932556E-14, 1.00000000000000, 0.000000000000000 ) );
#9222 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9223 = DIRECTION( '', ( 9.99258773932556E-14, -1.00000000000000, 0.000000000000000 ) );
#9224 = DIRECTION( '', ( -9.99258773932556E-14, 1.00000000000000, 0.000000000000000 ) );
#9225 = DIRECTION( '', ( 9.99258773932556E-14, -1.00000000000000, 0.000000000000000 ) );
#9226 = DIRECTION( '', ( -9.98831922683546E-14, 1.00000000000000, 0.000000000000000 ) );
#9227 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9228 = DIRECTION( '', ( 9.98831922683546E-14, -1.00000000000000, 0.000000000000000 ) );
#9229 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9230 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9231 = DIRECTION( '', ( 9.98831922683546E-14, -1.00000000000000, 0.000000000000000 ) );
#9232 = DIRECTION( '', ( -0.447213595500580, 0.774596669241196, 0.447213595499833 ) );
#9233 = DIRECTION( '', ( 0.447213595500589, -0.774596669241212, 0.447213595499797 ) );
#9234 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9235 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9236 = DIRECTION( '', ( 0.447213595500590, -0.774596669241211, 0.447213595499797 ) );
#9237 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9238 = DIRECTION( '', ( -0.447213595500581, 0.774596669241196, 0.447213595499833 ) );
#9239 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9240 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#9241 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#9242 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#9243 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#9244 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9245 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9246 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#9247 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9248 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9249 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#9250 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9251 = DIRECTION( '', ( -1.00000000000000, -1.88316727504319E-16, 0.000000000000000 ) );
#9252 = DIRECTION( '', ( 1.00000000000000, 1.88316727504319E-16, 0.000000000000000 ) );
#9253 = DIRECTION( '', ( -1.00053932767959E-13, 1.00000000000000, 0.000000000000000 ) );
#9254 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9255 = DIRECTION( '', ( 1.00053932767959E-13, -1.00000000000000, 0.000000000000000 ) );
#9256 = DIRECTION( '', ( -1.00053932767959E-13, 1.00000000000000, 0.000000000000000 ) );
#9257 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9258 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9259 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9260 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9261 = DIRECTION( '', ( -1.00000000000000, -1.25544485002879E-16, 0.000000000000000 ) );
#9262 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9263 = DIRECTION( '', ( 1.00000000000000, 1.25544485002879E-16, 0.000000000000000 ) );
#9264 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#9265 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9266 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9267 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9268 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9269 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9270 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9271 = DIRECTION( '', ( 0.000000000000000, 3.23372158340940E-17, 1.00000000000000 ) );
#9272 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9273 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9274 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9275 = DIRECTION( '', ( 0.447213595499902, 0.774596669241509, -0.447213595499969 ) );
#9276 = DIRECTION( '', ( -1.00000000000000, -1.25544485002880E-16, 0.000000000000000 ) );
#9277 = DIRECTION( '', ( 1.00000000000000, 1.25544485002880E-16, 0.000000000000000 ) );
#9278 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#9279 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#9280 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9281 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9282 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#9283 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#9284 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9285 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9286 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9287 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9288 = DIRECTION( '', ( 0.447213595500589, -0.774596669241212, 0.447213595499797 ) );
#9289 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9290 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9291 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9292 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#9293 = DIRECTION( '', ( 0.447213595499899, 0.774596669241510, -0.447213595499970 ) );
#9294 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9295 = DIRECTION( '', ( 0.447213595500589, -0.774596669241211, 0.447213595499797 ) );
#9296 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9297 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9298 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9299 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9300 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9301 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#9302 = DIRECTION( '', ( 0.447213595499105, -0.774596669241854, 0.447213595500169 ) );
#9303 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9304 = DIRECTION( '', ( -0.447213595500184, -0.774596669241368, -0.447213595499933 ) );
#9305 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9306 = DIRECTION( '', ( 0.447213595500193, 0.774596669241383, -0.447213595499896 ) );
#9307 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9308 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#9309 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#9310 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9311 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9312 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9313 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#9314 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9315 = DIRECTION( '', ( -0.447213595500581, 0.774596669241196, 0.447213595499833 ) );
#9316 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9317 = DIRECTION( '', ( 1.00053932767959E-13, -1.00000000000000, 0.000000000000000 ) );
#9318 = DIRECTION( '', ( 1.00000000000000, 1.88316727504319E-16, 0.000000000000000 ) );
#9319 = DIRECTION( '', ( 1.00224673267574E-13, 1.00000000000000, 0.000000000000000 ) );
#9320 = DIRECTION( '', ( 1.00000000000000, 1.25544485002879E-16, 0.000000000000000 ) );
#9321 = DIRECTION( '', ( 1.00224673267574E-13, 1.00000000000000, 0.000000000000000 ) );
#9322 = DIRECTION( '', ( 1.00139303017772E-13, 1.00000000000000, 0.000000000000000 ) );
#9323 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9324 = DIRECTION( '', ( 1.00000000000000, 1.25544485002880E-16, 0.000000000000000 ) );
#9325 = DIRECTION( '', ( 1.00224673267574E-13, 1.00000000000000, 0.000000000000000 ) );
#9326 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9327 = DIRECTION( '', ( 9.98831922683546E-14, -1.00000000000000, 0.000000000000000 ) );
#9328 = DIRECTION( '', ( 1.00000000000000, 1.88316727504319E-16, 0.000000000000000 ) );
#9329 = DIRECTION( '', ( 1.00053932767959E-13, -1.00000000000000, 0.000000000000000 ) );
#9330 = DIRECTION( '', ( 1.00000000000000, 1.25544485002880E-16, 0.000000000000000 ) );
#9331 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#9332 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9333 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#9334 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#9335 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#9336 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9337 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9338 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9339 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9340 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9341 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9342 = DIRECTION( '', ( -1.00053932767959E-13, 1.00000000000000, 0.000000000000000 ) );
#9343 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9344 = DIRECTION( '', ( -1.00053932767959E-13, 1.00000000000000, 0.000000000000000 ) );
#9345 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9346 = DIRECTION( '', ( -0.447213595499890, -0.774596669241495, -0.447213595500006 ) );
#9347 = DIRECTION( '', ( -0.447213595500581, 0.774596669241195, 0.447213595499833 ) );
#9348 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9349 = DIRECTION( '', ( -1.00000000000000, -1.25544485002879E-16, 0.000000000000000 ) );
#9350 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9351 = DIRECTION( '', ( -1.00000000000000, -1.25544485002880E-16, 0.000000000000000 ) );
#9352 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9353 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9354 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9355 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9356 = DIRECTION( '', ( -1.00000000000000, -1.25544485002880E-16, 0.000000000000000 ) );
#9357 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9358 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9359 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9360 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#9361 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9362 = DIRECTION( '', ( 0.447213595500590, -0.774596669241211, 0.447213595499797 ) );
#9363 = DIRECTION( '', ( -0.447213595500581, 0.774596669241196, 0.447213595499833 ) );
#9364 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9365 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9366 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9367 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9368 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9369 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9370 = DIRECTION( '', ( 8.67064797989130E-14, 1.00000000000000, 0.000000000000000 ) );
#9371 = DIRECTION( '', ( -8.67064797989130E-14, -1.00000000000000, 0.000000000000000 ) );
#9372 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9373 = DIRECTION( '', ( 0.447213595500193, 0.774596669241383, -0.447213595499897 ) );
#9374 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9375 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9376 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9377 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9378 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9379 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9380 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9381 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9382 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#9383 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9384 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#9385 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9386 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#9387 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#9388 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9389 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#9390 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9391 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9392 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#9393 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#9394 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9395 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#9396 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#9397 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#9398 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9399 = DIRECTION( '', ( 0.447213595500591, -0.774596669241211, 0.447213595499797 ) );
#9400 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9401 = DIRECTION( '', ( 0.447213595500590, -0.774596669241211, 0.447213595499797 ) );
#9402 = DIRECTION( '', ( -1.00053932767959E-13, 1.00000000000000, 0.000000000000000 ) );
#9403 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9404 = DIRECTION( '', ( -0.447213595499890, -0.774596669241495, -0.447213595500006 ) );
#9405 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9406 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9407 = DIRECTION( '', ( 0.447213595499900, 0.774596669241510, -0.447213595499970 ) );
#9408 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#9409 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9410 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9411 = DIRECTION( '', ( 0.447213595499902, 0.774596669241509, -0.447213595499969 ) );
#9412 = DIRECTION( '', ( -0.447213595499893, -0.774596669241494, -0.447213595500005 ) );
#9413 = DIRECTION( '', ( -0.447213595499891, -0.774596669241494, -0.447213595500006 ) );
#9414 = DIRECTION( '', ( -0.447213595500581, 0.774596669241196, 0.447213595499833 ) );
#9415 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9416 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9417 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9418 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9419 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#9420 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9421 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#9422 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9423 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9424 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9425 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9426 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9427 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#9428 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#9429 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#9430 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9431 = DIRECTION( '', ( 0.447213595499899, 0.774596669241510, -0.447213595499970 ) );
#9432 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9433 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9434 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9435 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9436 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9437 = DIRECTION( '', ( 0.447213595500590, -0.774596669241211, 0.447213595499797 ) );
#9438 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9439 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9440 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#9441 = DIRECTION( '', ( 1.00224673267574E-13, 1.00000000000000, 0.000000000000000 ) );
#9442 = DIRECTION( '', ( 9.98831922683546E-14, -1.00000000000000, 0.000000000000000 ) );
#9443 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9444 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#9445 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9446 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#9447 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#9448 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#9449 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#9450 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9451 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#9452 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#9453 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#9454 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9455 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#9456 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#9457 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#9458 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9459 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#9460 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9461 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9462 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9463 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9464 = DIRECTION( '', ( -1.00224673267574E-13, -1.00000000000000, 0.000000000000000 ) );
#9465 = DIRECTION( '', ( -9.98831922683546E-14, 1.00000000000000, 0.000000000000000 ) );
#9466 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9467 = DIRECTION( '', ( -1.00224673267574E-13, -1.00000000000000, 0.000000000000000 ) );
#9468 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9469 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#9470 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9471 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9472 = DIRECTION( '', ( -1.00000000000000, -1.88316727504319E-16, 0.000000000000000 ) );
#9473 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9474 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9475 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#9476 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9477 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#9478 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9479 = DIRECTION( '', ( -9.98831922683546E-14, 1.00000000000000, 0.000000000000000 ) );
#9480 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9481 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#9482 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9483 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#9484 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9485 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#9486 = DIRECTION( '', ( 1.00139303017772E-13, 1.00000000000000, 0.000000000000000 ) );
#9487 = DIRECTION( '', ( 0.447213595499899, 0.774596669241510, -0.447213595499970 ) );
#9488 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#9489 = DIRECTION( '', ( 0.447213595499900, 0.774596669241510, -0.447213595499970 ) );
#9490 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9491 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#9492 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9493 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#9494 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9495 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#9496 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9497 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9498 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9499 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#9500 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#9501 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9502 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9503 = DIRECTION( '', ( -1.00139303017772E-13, -1.00000000000000, 0.000000000000000 ) );
#9504 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9505 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#9506 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9507 = DIRECTION( '', ( -1.00224673267574E-13, -1.00000000000000, 0.000000000000000 ) );
#9508 = DIRECTION( '', ( 0.447213595499900, 0.774596669241510, -0.447213595499970 ) );
#9509 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#9510 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#9511 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#9512 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#9513 = DIRECTION( '', ( -1.00000000000000, -1.88316727504319E-16, 0.000000000000000 ) );
#9514 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#9515 = DIRECTION( '', ( -1.00224673267574E-13, -1.00000000000000, 0.000000000000000 ) );
#9516 = DIRECTION( '', ( 0.447213595499899, 0.774596669241510, -0.447213595499970 ) );
#9517 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#9518 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#9519 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9520 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#9521 = DIRECTION( '', ( -1.00224673267574E-13, -1.00000000000000, 0.000000000000000 ) );
ENDSEC;
END-ISO-10303-21;