qd-const.lisp 558 KB
Newer Older
Raymond Toy's avatar
Raymond Toy committed
1
2
;;;; -*- Mode: lisp -*-
;;;;
3
;;;; Copyright (c) 2007, 2008, 2011 Raymond Toy
Raymond Toy's avatar
Raymond Toy committed
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
;;;;
;;;; Permission is hereby granted, free of charge, to any person
;;;; obtaining a copy of this software and associated documentation
;;;; files (the "Software"), to deal in the Software without
;;;; restriction, including without limitation the rights to use,
;;;; copy, modify, merge, publish, distribute, sublicense, and/or sell
;;;; copies of the Software, and to permit persons to whom the
;;;; Software is furnished to do so, subject to the following
;;;; conditions:
;;;;
;;;; The above copyright notice and this permission notice shall be
;;;; included in all copies or substantial portions of the Software.
;;;;
;;;; THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
;;;; EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES
;;;; OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
;;;; NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT
;;;; HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,
;;;; WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
;;;; FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR
;;;; OTHER DEALINGS IN THE SOFTWARE.
toy's avatar
toy committed
25

26
(in-package #:octi)
toy's avatar
toy committed
27

28
(defparameter +qd-zero+
Raymond Toy's avatar
Raymond Toy committed
29
30
  (make-qd-d 0d0)
  "%QUAD-DOUBLE representation of 0")
toy's avatar
toy committed
31

32
(defparameter +qd-one+
Raymond Toy's avatar
Raymond Toy committed
33
34
  (make-qd-d 1d0)
  "%QUAD-DOUBLE representation of 1")
toy's avatar
toy committed
35

36
37
38
;; The bits of 2/pi. Scale these bits by 2^(-1584) and you'll get
;; 2/pi.  These are used for accurate argument reduction for the trig
;; functions.
39
(defparameter +2/pi-bits+
40
41
  #xA2F9836E4E441529FC2757D1F534DDC0DB6295993C439041FE5163ABDEBBC561B7246E3A424DD2E006492EEA09D1921CFE1DEB1CB129A73EE88235F52EBB4484E99C7026B45F7E413991D639835339F49C845F8BBDF9283B1FF897FFDE05980FEF2F118B5A0A6D1F6D367ECF27CB09B74F463F669E5FEA2D7527BAC7EBE5F17B3D0739F78A5292EA6BFB5FB11F8D5D0856033046FC7B6BABF0CFBC209AF4361DA9E391615EE61B086599855F14A068408DFFD8804D73273106061556CA73A8C960E27BC08C6B)

Raymond Toy's avatar
Raymond Toy committed
42
43
;;   3.1415926535897932384626433832795028841971693993751058209749445923078L0
;; #q3.1415926535897932384626433832795028841971693993751058209749445923q0
44
(defparameter +qd-pi+
45
46
47
48
49
50
  (multiple-value-bind (q0 q1 q2 q3)
      (renorm-5 (scale-float (float 7074237752028440 1.0d0) -51)
		(scale-float (float 4967757600021511 1.0d0) -105)
		(scale-float (float -8753721960665020 1.0d0) -161)
		(scale-float (float 5857755168774013 1.0d0) -215)
		(scale-float (float 5380502254059520 1.0d0) -269))
Raymond Toy's avatar
Raymond Toy committed
51
52
    (%make-qd-d q0 q1 q2 q3))
  "%QUAD-DOUBLE representation of pi")
Raymond Toy's avatar
Raymond Toy committed
53
54
55

;;   6.2831853071795864769252867665590057683943387987502116419498891846156328125724L0
;; #q6.2831853071795864769252867665590057683943387987502116419498891846q0
56
(defparameter +qd-2pi+
57
58
59
60
61
62
  (multiple-value-bind (q0 q1 q2 q3)
      (renorm-5 (scale-float (float 7074237752028440 1.0d0) -50)
		(scale-float (float 4967757600021511 1.0d0) -104)
		(scale-float (float -8753721960665020 1.0d0) -160)
		(scale-float (float 5857755168774013 1.0d0) -214)
		(scale-float (float 5380502254059520 1.0d0) -268))
Raymond Toy's avatar
Raymond Toy committed
63
64
    (%make-qd-d q0 q1 q2 q3))
  "%QUAD-DOUBLE representation of 2*pi")
toy's avatar
toy committed
65

Raymond Toy's avatar
Raymond Toy committed
66
67
;;   1.5707963267948966192313216916397514420985846996875529104874722961539082031431L0
;; #q1.57079632679489661923132169163975144209858469968755291048747229615q0
68
(defparameter +qd-pi/2+
69
70
71
72
73
74
  (multiple-value-bind (q0 q1 q2 q3)
      (renorm-5 (scale-float (float 7074237752028440 1.0d0) -52)
		(scale-float (float 4967757600021511 1.0d0) -106)
		(scale-float (float -8753721960665020 1.0d0) -162)
		(scale-float (float 5857755168774013 1.0d0) -216)
		(scale-float (float 5380502254059520 1.0d0) -270))
Raymond Toy's avatar
Raymond Toy committed
75
76
    (%make-qd-d q0 q1 q2 q3))
  "%QUAD-DOUBLE representation of pi/2")
toy's avatar
toy committed
77

Raymond Toy's avatar
Raymond Toy committed
78
79
;;   0.78539816339744830961566084581987572104929234984377645524373614807695410157155L0
;; #q0.785398163397448309615660845819875721049292349843776455243736148076q0
80
(defparameter +qd-pi/4+
81
82
83
84
85
86
  (multiple-value-bind (q0 q1 q2 q3)
      (renorm-5 (scale-float (float 7074237752028440 1.0d0) -53)
		(scale-float (float 4967757600021511 1.0d0) -107)
		(scale-float (float -8753721960665020 1.0d0) -163)
		(scale-float (float 5857755168774013 1.0d0) -217)
		(scale-float (float 5380502254059520 1.0d0) -271))
Raymond Toy's avatar
Raymond Toy committed
87
88
    (%make-qd-d q0 q1 q2 q3))
  "%QUAD-DOUBLE representation of pi/4")
89

Raymond Toy's avatar
Raymond Toy committed
90
91
;;   2.35619449019234492884698253745962716314787704953132936573120844423086230471467L0
;; #q2.35619449019234492884698253745962716314787704953132936573120844423q0
92
(defparameter +qd-3pi/4+
93
94
95
96
97
98
  (multiple-value-bind (q0 q1 q2 q3)
      (renorm-5 (scale-float (float 5305678314021330 1.0d0) -51)
		(scale-float (float 7451636400032266 1.0d0) -106)
		(scale-float (float 5724553519491610 1.0d0) -160)
		(scale-float (float -6810541066450737 1.0d0) -214)
		(scale-float (float -7491566988951552 1.0d0) -273))
Raymond Toy's avatar
Raymond Toy committed
99
100
    (%make-qd-d q0 q1 q2 q3))
  "%QUAD-DOUBLE representation of 3*pi/4")
101

Raymond Toy's avatar
Raymond Toy committed
102
103
;;   0.00306796157577128245943617517898388953534879824157725177829584432842560195926387L0
;; #q0.00306796157577128245943617517898388953534879824157725177829584432842q0
104
(defparameter +qd-pi/1024+
105
106
107
108
109
110
111
  (multiple-value-bind (q0 q1 q2 q3)
      (renorm-5 (scale-float (float 7074237752028440 1.0d0) -61)
		(scale-float (float 4967757600021511 1.0d0) -115)
		(scale-float (float -8753721960665020 1.0d0) -171)
		(scale-float (float 5857755168774013 1.0d0) -225)
		(scale-float (float 5380502254059520 1.0d0) -279))
    (%make-qd-d q0 q1 q2 q3)))
toy's avatar
toy committed
112

Raymond Toy's avatar
Raymond Toy committed
113
114
;;   2.71828182845904523536028747135266249775724709369995957496696762772407663035355L0
;; #q2.71828182845904523536028747135266249775724709369995957496696762773q0
115
(defparameter +qd-e+
116
117
118
119
120
121
122
  (multiple-value-bind (q0 q1 q2 q3)
      (renorm-5 (scale-float (float 6121026514868073 1.0d0) -51)
		(scale-float (float 5864240480059706 1.0d0) -105)
		(scale-float (float -6219324074349538 1.0d0) -161)
		(scale-float (float 7980724272743021 1.0d0) -215)
		(scale-float (float -8855251465666560 1.0d0) -269))
    (%make-qd-d q0 q1 q2 q3)))
toy's avatar
toy committed
123

Raymond Toy's avatar
Raymond Toy committed
124
125
;;   0.693147180559945309417232121458176568075500134360255254120680009493393621969696L0
;; #q0.693147180559945309417232121458176568075500134360255254120680009495q0
126
(defparameter +qd-log2+
127
  #+nil
toy's avatar
toy committed
128
129
130
  (make-qd-d 6.931471805599452862d-01
	     2.319046813846299558d-17
	     5.707708438416212066d-34
131
	     -3.582432210601811423d-50)
132
  (%make-qd-d (scale-float (float 6243314768165359 1.0d0) -53)
Raymond Toy's avatar
Raymond Toy committed
133
134
	      (scale-float (float 7525737178955839 1.0d0) -108)
	      (scale-float (float 6673460182522164 1.0d0) -163)
Raymond Toy's avatar
Raymond Toy committed
135
136
	      (scale-float (float -7545482916914641 1.0d0) -217))
  "%QUAD-DOUBLE representation of log(2) (natural log)")
137
138
139

;; The rest of log(2) such that (+ +qd-log2+ +qd-log2-extra+) is
;; log(2) to twice the precision of a quad-double.
140
(defparameter +qd-log2-extra+
Raymond Toy's avatar
Raymond Toy committed
141
142
143
144
  (%make-qd-d (scale-float (float -5130503840205860 1.0d0) -271)
	      (scale-float (float 8312425932334613 1.0d0) -326)
	      (scale-float (float 7130537800999345 1.0d0) -380)
	      (scale-float (float 8345111905183492 1.0d0) -437)))
toy's avatar
toy committed
145

Raymond Toy's avatar
Raymond Toy committed
146
147
148
;; Log(10)
;;   2.30258509299404568401799145468436420760110148862877297603332790096757260967737L0
;; #q2.30258509299404568401799145468436420760110148862877297603332790095q0
149
(defparameter +qd-log10+
150
151
152
153
154
155
156
  (multiple-value-bind (q0 q1 q2 q3)
      (renorm-5 (scale-float (float 5184960683398422 1.0d0) -51)
		(scale-float (float -8805633374462953 1.0d0) -105)
		(scale-float (float -7296007962371596 1.0d0) -159)
		(scale-float (float -5296362421624049 1.0d0) -213)
		(scale-float (float 4574234754834432 1.0d0) -267))
    (%make-qd-d q0 q1 q2 q3)))
toy's avatar
toy committed
157

158
(defparameter +qd-eps+
toy's avatar
toy committed
159
  (scale-float 1d0 -209))
toy's avatar
toy committed
160

161
(defparameter +qd-sin-table+
Raymond Toy's avatar
Raymond Toy committed
162
  (make-array 256 :initial-contents
toy's avatar
toy committed
163
	      (list
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
1001
1002
1003
1004
1005
1006
1007
1008
1009
1010
1011
1012
1013
1014
1015
1016
1017
1018
1019
1020
1021
1022
1023
1024
1025
1026
1027
1028
1029
1030
1031
1032
1033
1034
1035
1036
1037
1038
1039
1040
1041
1042
1043
1044
1045
1046
1047
1048
1049
1050
1051
1052
1053
1054
1055
1056
1057
1058
1059
1060
1061
1062
1063
1064
1065
1066
1067
1068
1069
1070
1071
1072
1073
1074
1075
1076
1077
1078
1079
1080
1081
1082
1083
1084
1085
1086
1087
1088
1089
1090
1091
1092
1093
1094
1095
1096
1097
1098
1099
1100
1101
1102
1103
1104
1105
1106
1107
1108
1109
1110
1111
1112
1113
1114
1115
1116
1117
1118
1119
1120
1121
1122
1123
1124
1125
1126
1127
1128
1129
1130
1131
1132
1133
1134
1135
1136
1137
1138
1139
1140
1141
1142
1143
1144
1145
1146
1147
1148
1149
1150
1151
1152
1153
1154
1155
1156
1157
1158
1159
1160
1161
1162
1163
1164
1165
1166
1167
1168
1169
1170
1171
1172
1173
1174
1175
1176
1177
1178
1179
1180
1181
1182
1183
1184
1185
1186
1187
1188
1189
1190
1191
1192
1193
1194
1195
1196
1197
1198
1199
1200
1201
1202
1203
1204
1205
1206
1207
1208
1209
1210
1211
1212
1213
1214
1215
1216
1217
1218
1219
1220
1221
1222
1223
1224
1225
1226
1227
1228
1229
1230
1231
1232
1233
1234
1235
1236
1237
1238
1239
1240
1241
1242
1243
1244
1245
1246
1247
1248
1249
1250
1251
1252
1253
1254
1255
1256
1257
1258
1259
1260
1261
1262
1263
1264
1265
1266
1267
1268
1269
1270
1271
1272
1273
1274
1275
1276
1277
1278
1279
1280
1281
1282
1283
1284
1285
1286
1287
1288
1289
1290
1291
1292
1293
1294
1295
1296
1297
1298
1299
1300
1301
1302
1303
1304
1305
1306
1307
1308
1309
1310
1311
1312
1313
1314
1315
1316
1317
1318
1319
1320
1321
1322
1323
1324
1325
1326
1327
1328
1329
1330
1331
1332
1333
1334
1335
1336
1337
1338
1339
1340
1341
1342
1343
1344
1345
1346
1347
1348
1349
1350
1351
1352
1353
1354
1355
1356
1357
1358
1359
1360
1361
1362
1363
1364
1365
1366
1367
1368
1369
1370
1371
1372
1373
1374
1375
1376
1377
1378
1379
1380
1381
1382
1383
1384
1385
1386
1387
1388
1389
1390
1391
1392
1393
1394
1395
1396
1397
1398
1399
1400
1401
1402
1403
1404
1405
1406
1407
1408
1409
1410
1411
1412
1413
1414
1415
1416
1417
1418
1419
1420
1421
1422
1423
1424
1425
1426
1427
1428
1429
1430
1431
1432
1433
1434
1435
1436
1437
1438
1439
1440
1441
1442
1443
1444
1445
1446
1447
1448
1449
1450
1451
1452
1453
1454
1455
1456
1457
1458
1459
1460
1461
1462
1463
1464
1465
1466
1467
1468
1469
1470
1471
1472
1473
1474
1475
1476
1477
1478
1479
1480
1481
1482
1483
1484
1485
1486
1487
1488
1489
1490
1491
1492
1493
1494
1495
1496
1497
1498
1499
1500
1501
1502
1503
1504
1505
1506
1507
1508
1509
1510
1511
1512
1513
1514
1515
1516
1517
1518
1519
1520
1521
1522
1523
1524
1525
1526
1527
1528
1529
1530
1531
1532
1533
1534
1535
1536
1537
1538
1539
1540
1541
1542
1543
1544
1545
1546
1547
1548
1549
1550
1551
1552
1553
1554
1555
1556
1557
1558
1559
1560
1561
1562
1563
1564
1565
1566
1567
1568
1569
1570
1571
1572
1573
1574
1575
1576
1577
1578
1579
1580
1581
1582
1583
1584
1585
1586
1587
1588
1589
1590
1591
1592
1593
1594
1595
1596
1597
1598
1599
1600
1601
1602
1603
1604
1605
1606
1607
1608
1609
1610
1611
1612
1613
1614
1615
1616
1617
1618
1619
1620
1621
1622
1623
1624
1625
1626
1627
1628
1629
1630
1631
1632
1633
1634
1635
1636
1637
1638
1639
1640
1641
1642
1643
1644
1645
1646
1647
1648
1649
1650
1651
1652
1653
1654
1655
1656
1657
1658
1659
1660
1661
1662
1663
1664
1665
1666
1667
1668
1669
1670
1671
1672
1673
1674
1675
1676
1677
1678
1679
1680
1681
1682
1683
1684
1685
1686
1687
1688
1689
1690
1691
1692
1693
1694
1695
1696
1697
1698
1699
1700
1701
1702
1703
1704
1705
1706
1707
1708
1709
1710
1711
1712
1713
1714
1715
1716
1717
1718
1719
1720
1721
1722
1723
1724
1725
1726
1727
1728
1729
1730
1731
1732
1733
1734
1735
1736
1737
1738
1739
1740
1741
1742
1743
1744
1745
1746
1747
1748
1749
1750
1751
1752
1753
1754
1755
1756
1757
1758
1759
1760
1761
1762
1763
1764
1765
1766
1767
1768
1769
1770
1771
1772
1773
1774
1775
1776
1777
1778
1779
1780
1781
1782
1783
1784
1785
1786
1787
1788
1789
1790
1791
1792
1793
1794
1795
1796
1797
1798
1799
1800
1801
1802
1803
1804
1805
1806
1807
1808
1809
1810
1811
1812
1813
1814
1815
1816
1817
1818
1819
1820
1821
1822
1823
1824
1825
1826
1827
1828
1829
1830
1831
1832
1833
1834
1835
1836
1837
1838
1839
1840
1841
1842
1843
1844
1845
1846
1847
1848
1849
1850
1851
1852
1853
1854
1855
1856
1857
1858
1859
1860
1861
1862
1863
1864
1865
1866
1867
1868
1869
1870
1871
1872
1873
1874
1875
1876
1877
1878
1879
1880
1881
1882
1883
1884
1885
1886
1887
1888
1889
1890
1891
1892
1893
1894
1895
1896
1897
1898
1899
1900
1901
1902
1903
1904
1905
1906
1907
1908
1909
1910
1911
1912
1913
1914
1915
1916
1917
1918
1919
1920
1921
1922
1923
1924
1925
1926
1927
1928
1929
1930
1931
1932
1933
1934
1935
1936
1937
1938
1939
1940
1941
1942
1943
1944
1945
1946
1947
1948
1949
1950
1951
1952
1953
1954
1955
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 7074226654454970 1.0d0) -61)
			       (scale-float (float 5271335698347442 1.0d0) -115)
			       (scale-float (float 7913822574154586 1.0d0) -170)
			       (scale-float (float -4804352564403217 1.0d0) -224)
			       (scale-float (float 6064389487591424 1.0d0) -278))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 7074193361797233 1.0d0) -60)
			       (scale-float (float 7522205695703707 1.0d0) -116)
			       (scale-float (float 7787047147324868 1.0d0) -175)
			       (scale-float (float -6728650631839117 1.0d0) -232)
			       (scale-float (float 5184626653921280 1.0d0) -286))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5305603405682435 1.0d0) -59)
			       (scale-float (float -5041342953893321 1.0d0) -115)
			       (scale-float (float 8335474310793984 1.0d0) -170)
			       (scale-float (float 6743025479788607 1.0d0) -225)
			       (scale-float (float -6023389004300288 1.0d0) -279))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 7074060192106372 1.0d0) -59)
			       (scale-float (float 7185921569156509 1.0d0) -113)
			       (scale-float (float -6016799991653399 1.0d0) -170)
			       (scale-float (float -5577663458559350 1.0d0) -224)
			       (scale-float (float -7969393573560320 1.0d0) -278))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8842450394781643 1.0d0) -59)
			       (scale-float (float -8771095658131507 1.0d0) -113)
			       (scale-float (float 8705573170983202 1.0d0) -167)
			       (scale-float (float -4692271881407162 1.0d0) -221)
			       (scale-float (float 8141919777882112 1.0d0) -275))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5305378684473085 1.0d0) -58)
			       (scale-float (float 7704904742673764 1.0d0) -113)
			       (scale-float (float 7308626221243388 1.0d0) -167)
			       (scale-float (float 4905810005485122 1.0d0) -223)
			       (scale-float (float -5326632406941696 1.0d0) -277))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6189482235310630 1.0d0) -58)
			       (scale-float (float -4715432182777116 1.0d0) -113)
			       (scale-float (float -8243063834437948 1.0d0) -168)
			       (scale-float (float 8566398131092182 1.0d0) -222)
			       (scale-float (float -6086611201163264 1.0d0) -277))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 7073527528384126 1.0d0) -58)
			       (scale-float (float -7632135562854704 1.0d0) -116)
			       (scale-float (float 7289253486557291 1.0d0) -170)
			       (scale-float (float -7590289326531904 1.0d0) -224)
			       (scale-float (float 7722148853710848 1.0d0) -279))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 7957506242722589 1.0d0) -58)
			       (scale-float (float -8272553670927212 1.0d0) -112)
			       (scale-float (float -6591995918745221 1.0d0) -166)
			       (scale-float (float -4636857096009409 1.0d0) -220)
			       (scale-float (float 7183488739295232 1.0d0) -275))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8841410057981697 1.0d0) -58)
			       (scale-float (float -5627969559234247 1.0d0) -118)
			       (scale-float (float 6018105389463175 1.0d0) -172)
			       (scale-float (float 7544891264015395 1.0d0) -230)
			       (scale-float (float 6209179752595456 1.0d0) -284))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 4862615327261055 1.0d0) -57)
			       (scale-float (float -5217239170857332 1.0d0) -111)
			       (scale-float (float -6336246586437174 1.0d0) -165)
			       (scale-float (float 5522987872330073 1.0d0) -219)
			       (scale-float (float -5649337847988224 1.0d0) -273))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5304479856743885 1.0d0) -57)
			       (scale-float (float 6340842145528512 1.0d0) -113)
			       (scale-float (float -7566831660699656 1.0d0) -167)
			       (scale-float (float -7114412056121165 1.0d0) -221)
			       (scale-float (float -8974201406881792 1.0d0) -279))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5746294458442105 1.0d0) -57)
			       (scale-float (float 4845186982751657 1.0d0) -113)
			       (scale-float (float 6382779118838290 1.0d0) -167)
			       (scale-float (float 8090523197847278 1.0d0) -221)
			       (scale-float (float 6384881576181760 1.0d0) -276))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6188054973828419 1.0d0) -57)
			       (scale-float (float 7360584602593505 1.0d0) -111)
			       (scale-float (float 7946504576809704 1.0d0) -165)
			       (scale-float (float 5731224328660037 1.0d0) -219)
			       (scale-float (float 6575748996808704 1.0d0) -273))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6629757244884614 1.0d0) -57)
			       (scale-float (float -5806448969106076 1.0d0) -112)
			       (scale-float (float 7037190739826080 1.0d0) -166)
			       (scale-float (float 5552037724818900 1.0d0) -223)
			       (scale-float (float 6596791471308800 1.0d0) -277))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 7071397114140692 1.0d0) -57)
			       (scale-float (float -7057477599664784 1.0d0) -113)
			       (scale-float (float -8290828586102809 1.0d0) -167)
			       (scale-float (float -6697971486035361 1.0d0) -222)
			       (scale-float (float -7883618700230656 1.0d0) -277))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 7512970424714007 1.0d0) -57)
			       (scale-float (float -6294023145184360 1.0d0) -111)
			       (scale-float (float -6395720725273163 1.0d0) -165)
			       (scale-float (float -7071774105018818 1.0d0) -219)
			       (scale-float (float -5298326162341888 1.0d0) -274))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 7954473020348387 1.0d0) -57)
			       (scale-float (float -6926679705961747 1.0d0) -112)
			       (scale-float (float -6427721451859560 1.0d0) -167)
			       (scale-float (float 8028310015339695 1.0d0) -222)
			       (scale-float (float 6198625664499712 1.0d0) -277))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8395900745453257 1.0d0) -57)
			       (scale-float (float 4839201044457661 1.0d0) -114)
			       (scale-float (float 5799570435052711 1.0d0) -171)
			       (scale-float (float -5529353034270453 1.0d0) -226)
			       (scale-float (float 6823048531410944 1.0d0) -280))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8837249445142752 1.0d0) -57)
			       (scale-float (float -5314952832401406 1.0d0) -113)
			       (scale-float (float -7992910057771694 1.0d0) -167)
			       (scale-float (float 8886165424019995 1.0d0) -221)
			       (scale-float (float 8017893964447744 1.0d0) -276))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 4639257482637412 1.0d0) -56)
			       (scale-float (float -5494228531443205 1.0d0) -110)
			       (scale-float (float 6222043711193090 1.0d0) -167)
			       (scale-float (float 4966112393074763 1.0d0) -221)
			       (scale-float (float 6647651906093056 1.0d0) -275))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 4859846576245171 1.0d0) -56)
			       (scale-float (float -8985502920124077 1.0d0) -110)
			       (scale-float (float 7440463379940699 1.0d0) -165)
			       (scale-float (float -6641325637598524 1.0d0) -219)
			       (scale-float (float -5163628344082432 1.0d0) -273))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5080389927126093 1.0d0) -56)
			       (scale-float (float -8898661047761268 1.0d0) -110)
			       (scale-float (float -4667727006484474 1.0d0) -164)
			       (scale-float (float 8478536563323652 1.0d0) -218)
			       (scale-float (float 8774483460931584 1.0d0) -273))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5300885459442166 1.0d0) -56)
			       (scale-float (float -7213383224879916 1.0d0) -111)
			       (scale-float (float -8534269322822802 1.0d0) -166)
			       (scale-float (float -6601733372219099 1.0d0) -221)
			       (scale-float (float 8396826690453504 1.0d0) -278))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5521331097805465 1.0d0) -56)
			       (scale-float (float 4829604598179156 1.0d0) -114)
			       (scale-float (float -7893599535446481 1.0d0) -172)
			       (scale-float (float -5384211130874634 1.0d0) -226)
			       (scale-float (float -5250039492378624 1.0d0) -282))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5741724767297686 1.0d0) -56)
			       (scale-float (float -5824155811343436 1.0d0) -110)
			       (scale-float (float 6673985610265747 1.0d0) -164)
			       (scale-float (float 4800782739249759 1.0d0) -220)
			       (scale-float (float 7109827096051712 1.0d0) -274))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5962064393489674 1.0d0) -56)
			       (scale-float (float 7651360099479755 1.0d0) -112)
			       (scale-float (float 6974817744235260 1.0d0) -167)
			       (scale-float (float 7824970858345265 1.0d0) -224)
			       (scale-float (float -7627319001219072 1.0d0) -278))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6182347902460953 1.0d0) -56)
			       (scale-float (float -8796242544913562 1.0d0) -111)
			       (scale-float (float -7546272905440146 1.0d0) -165)
			       (scale-float (float 6512061516709508 1.0d0) -219)
			       (scale-float (float 5909873078861824 1.0d0) -273))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6402573220819241 1.0d0) -56)
			       (scale-float (float -4868008820827392 1.0d0) -110)
			       (scale-float (float 8779206749884591 1.0d0) -164)
			       (scale-float (float -8648470131210884 1.0d0) -218)
			       (scale-float (float -7064277529821184 1.0d0) -273))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6622738275719969 1.0d0) -56)
			       (scale-float (float 6182934508221337 1.0d0) -110)
			       (scale-float (float 7353282250945404 1.0d0) -165)
			       (scale-float (float -8166192353391047 1.0d0) -220)
			       (scale-float (float -8567002520092672 1.0d0) -277))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6842840994885793 1.0d0) -56)
			       (scale-float (float -8552477024466766 1.0d0) -110)
			       (scale-float (float -4997427595980002 1.0d0) -164)
			       (scale-float (float 5821398332046138 1.0d0) -218)
			       (scale-float (float 6922342312886272 1.0d0) -273))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 7062879306626092 1.0d0) -56)
			       (scale-float (float -8487236864497288 1.0d0) -112)
			       (scale-float (float -4942162982072151 1.0d0) -168)
			       (scale-float (float -4811145377091453 1.0d0) -223)
			       (scale-float (float -8730216008515584 1.0d0) -284))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 7282851139856476 1.0d0) -56)
			       (scale-float (float 8609951212389606 1.0d0) -111)
			       (scale-float (float -5614142183842944 1.0d0) -165)
			       (scale-float (float 6068416796043208 1.0d0) -219)
			       (scale-float (float 8196791178133504 1.0d0) -273))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 7502754424118275 1.0d0) -56)
			       (scale-float (float 8536169017599928 1.0d0) -110)
			       (scale-float (float 7981550951145323 1.0d0) -165)
			       (scale-float (float -8340622458345952 1.0d0) -220)
			       (scale-float (float 6285858857648128 1.0d0) -274))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 7722587089598028 1.0d0) -56)
			       (scale-float (float 8362719068102409 1.0d0) -110)
			       (scale-float (float -7853008551658302 1.0d0) -166)
			       (scale-float (float -6852498985157079 1.0d0) -220)
			       (scale-float (float -4875056737550336 1.0d0) -274))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 7942347067146965 1.0d0) -56)
			       (scale-float (float -5897359216343841 1.0d0) -113)
			       (scale-float (float 7767443765766550 1.0d0) -169)
			       (scale-float (float 8203371449514667 1.0d0) -225)
			       (scale-float (float -8271467659657216 1.0d0) -279))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8162032288300481 1.0d0) -56)
			       (scale-float (float 7035687121204020 1.0d0) -111)
			       (scale-float (float 5733124558862890 1.0d0) -168)
			       (scale-float (float 6681272325774503 1.0d0) -223)
			       (scale-float (float 8561939877724160 1.0d0) -281))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8381640685297609 1.0d0) -56)
			       (scale-float (float 5345425417737710 1.0d0) -112)
			       (scale-float (float -8790124191829010 1.0d0) -166)
			       (scale-float (float 7297964455931531 1.0d0) -225)
			       (scale-float (float 6532791441293312 1.0d0) -279))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8601170191100479 1.0d0) -56)
			       (scale-float (float -5127404751534987 1.0d0) -110)
			       (scale-float (float 8258618371098839 1.0d0) -164)
			       (scale-float (float 6354475203379338 1.0d0) -221)
			       (scale-float (float 6679197895688192 1.0d0) -275))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8820618739413774 1.0d0) -56)
			       (scale-float (float 7361249450583405 1.0d0) -111)
			       (scale-float (float 8489175872343797 1.0d0) -165)
			       (scale-float (float -4838736209868180 1.0d0) -220)
			       (scale-float (float -8316549956370432 1.0d0) -277))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 4519992132352091 1.0d0) -55)
			       (scale-float (float 6319901705801489 1.0d0) -110)
			       (scale-float (float 5600764727998866 1.0d0) -166)
			       (scale-float (float -5650573825026412 1.0d0) -220)
			       (scale-float (float 8973806114308096 1.0d0) -274))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 4629632351109917 1.0d0) -55)
			       (scale-float (float 4958462282897610 1.0d0) -110)
			       (scale-float (float -8711719640720475 1.0d0) -165)
			       (scale-float (float -8191834096705166 1.0d0) -221)
			       (scale-float (float -5689038166556672 1.0d0) -275))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 4739228994004870 1.0d0) -55)
			       (scale-float (float -6495525500297301 1.0d0) -110)
			       (scale-float (float -6071898187587615 1.0d0) -165)
			       (scale-float (float -7897922259441451 1.0d0) -220)
			       (scale-float (float 8718132485029888 1.0d0) -275))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 4848781029471607 1.0d0) -55)
			       (scale-float (float -5949746474335482 1.0d0) -109)
			       (scale-float (float 7443833788929433 1.0d0) -165)
			       (scale-float (float 6779921506403360 1.0d0) -220)
			       (scale-float (float -6235838319558656 1.0d0) -275))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 4958287426364647 1.0d0) -55)
			       (scale-float (float 8600164307618932 1.0d0) -110)
			       (scale-float (float -5552907197025195 1.0d0) -164)
			       (scale-float (float -6315628760329704 1.0d0) -222)
			       (scale-float (float 5886558061723648 1.0d0) -277))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5067747153968079 1.0d0) -55)
			       (scale-float (float -5139980116898898 1.0d0) -109)
			       (scale-float (float 7128908501078503 1.0d0) -163)
			       (scale-float (float 5174334784143035 1.0d0) -217)
			       (scale-float (float -7994959068307456 1.0d0) -271))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5177159182005257 1.0d0) -55)
			       (scale-float (float 7446222959753664 1.0d0) -109)
			       (scale-float (float -4853116546479197 1.0d0) -166)
			       (scale-float (float -7114171320789543 1.0d0) -220)
			       (scale-float (float -6689741129777152 1.0d0) -275))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5286522480648506 1.0d0) -55)
			       (scale-float (float 4837853990883808 1.0d0) -110)
			       (scale-float (float 8734494569006220 1.0d0) -164)
			       (scale-float (float -6888573428631769 1.0d0) -220)
			       (scale-float (float 7536408677842944 1.0d0) -278))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5395836020528807 1.0d0) -55)
			       (scale-float (float 5245006079192873 1.0d0) -109)
			       (scale-float (float 6070092190452118 1.0d0) -165)
			       (scale-float (float 8372804672547503 1.0d0) -219)
			       (scale-float (float 6966171302363136 1.0d0) -276))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5505098772745492 1.0d0) -55)
			       (scale-float (float -4953034127800088 1.0d0) -109)
			       (scale-float (float 6748009167290918 1.0d0) -163)
			       (scale-float (float -7947104079128991 1.0d0) -217)
			       (scale-float (float -8524610016018432 1.0d0) -272))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5614309708875923 1.0d0) -55)
			       (scale-float (float 7879649848150358 1.0d0) -111)
			       (scale-float (float -5133702133285397 1.0d0) -165)
			       (scale-float (float 6633380945160774 1.0d0) -219)
			       (scale-float (float 6441044708917248 1.0d0) -273))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5723467800985178 1.0d0) -55)
			       (scale-float (float -5213481504208817 1.0d0) -110)
			       (scale-float (float -8683946243665639 1.0d0) -166)
			       (scale-float (float -4813600752545885 1.0d0) -220)
			       (scale-float (float 5425715381862400 1.0d0) -274))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5832572021635720 1.0d0) -55)
			       (scale-float (float 7691426989666512 1.0d0) -109)
			       (scale-float (float -5897567218587937 1.0d0) -163)
			       (scale-float (float 6426162084210735 1.0d0) -217)
			       (scale-float (float -6540530815762432 1.0d0) -273))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5941621343897074 1.0d0) -55)
			       (scale-float (float -7311303147276965 1.0d0) -113)
			       (scale-float (float 6212875260931578 1.0d0) -167)
			       (scale-float (float 5841094814764128 1.0d0) -222)
			       (scale-float (float 8143620349362176 1.0d0) -276))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6050614741355486 1.0d0) -55)
			       (scale-float (float 7046535347736856 1.0d0) -110)
			       (scale-float (float -7778307984467600 1.0d0) -164)
			       (scale-float (float -7808429293088315 1.0d0) -218)
			       (scale-float (float 4835521567211520 1.0d0) -272))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6159551188123590 1.0d0) -55)
			       (scale-float (float 5965947804179142 1.0d0) -109)
			       (scale-float (float -7914176807889465 1.0d0) -163)
			       (scale-float (float -8743204545259556 1.0d0) -219)
			       (scale-float (float 5663160515559424 1.0d0) -274))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6268429658850061 1.0d0) -55)
			       (scale-float (float 7548560474328400 1.0d0) -110)
			       (scale-float (float -7834123143654772 1.0d0) -165)
			       (scale-float (float -5643244224302487 1.0d0) -219)
			       (scale-float (float 8164719771910144 1.0d0) -274))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6377249128729266 1.0d0) -55)
			       (scale-float (float 8739842904414420 1.0d0) -110)
			       (scale-float (float 6557520883328920 1.0d0) -164)
			       (scale-float (float 6198578405040918 1.0d0) -220)
			       (scale-float (float 8421926009438208 1.0d0) -275))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6486008573510911 1.0d0) -55)
			       (scale-float (float 5172944262567044 1.0d0) -109)
			       (scale-float (float -8273960648700810 1.0d0) -163)
			       (scale-float (float 8265967084369073 1.0d0) -218)
			       (scale-float (float 7699060397178880 1.0d0) -272))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6594706969509681 1.0d0) -55)
			       (scale-float (float 5020296747686703 1.0d0) -109)
			       (scale-float (float -5238462653363294 1.0d0) -163)
			       (scale-float (float 4718474594983838 1.0d0) -218)
			       (scale-float (float -6926646404186112 1.0d0) -276))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6703343293614876 1.0d0) -55)
			       (scale-float (float -8155081811450095 1.0d0) -109)
			       (scale-float (float 8880533418464333 1.0d0) -163)
			       (scale-float (float -6482467806029927 1.0d0) -220)
			       (scale-float (float 8908780907528192 1.0d0) -274))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6811916523300038 1.0d0) -55)
			       (scale-float (float -4946244022635960 1.0d0) -109)
			       (scale-float (float -5237121426122221 1.0d0) -163)
			       (scale-float (float 8718098324302620 1.0d0) -217)
			       (scale-float (float -5334437152194560 1.0d0) -272))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6920425636632580 1.0d0) -55)
			       (scale-float (float 5626936751711242 1.0d0) -110)
			       (scale-float (float -5472825984215756 1.0d0) -164)
			       (scale-float (float 6651512109810514 1.0d0) -218)
			       (scale-float (float -5422089080733696 1.0d0) -273))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 7028869612283403 1.0d0) -55)
			       (scale-float (float -5186506842934658 1.0d0) -109)
			       (scale-float (float 7231073992256617 1.0d0) -163)
			       (scale-float (float -7548842128799985 1.0d0) -217)
			       (scale-float (float -6885880199282688 1.0d0) -272))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 7137247429536506 1.0d0) -55)
			       (scale-float (float -4785846924082858 1.0d0) -111)
			       (scale-float (float 6612549575000546 1.0d0) -165)
			       (scale-float (float 8882300801909735 1.0d0) -219)
			       (scale-float (float 7661200690282496 1.0d0) -273))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 7245558068298598 1.0d0) -55)
			       (scale-float (float 7145919755147006 1.0d0) -109)
			       (scale-float (float -4574333719136121 1.0d0) -163)
			       (scale-float (float 8116579236098782 1.0d0) -221)
			       (scale-float (float 6201037847003136 1.0d0) -276))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 7353800509108698 1.0d0) -55)
			       (scale-float (float 7910632724668908 1.0d0) -110)
			       (scale-float (float -6611929274882350 1.0d0) -164)
			       (scale-float (float 7768004576091902 1.0d0) -220)
			       (scale-float (float -7107771239563264 1.0d0) -274))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 7461973733147729 1.0d0) -55)
			       (scale-float (float -6888466114708653 1.0d0) -109)
			       (scale-float (float 5251305190626995 1.0d0) -164)
			       (scale-float (float 5680012606429775 1.0d0) -218)
			       (scale-float (float 6897724502097920 1.0d0) -272))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 7570076722248107 1.0d0) -55)
			       (scale-float (float 7503873979299470 1.0d0) -109)
			       (scale-float (float 7056820389775269 1.0d0) -163)
			       (scale-float (float 7020098326040376 1.0d0) -217)
			       (scale-float (float -8422007318265856 1.0d0) -271))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 7678108458903330 1.0d0) -55)
			       (scale-float (float 7809132580424664 1.0d0) -109)
			       (scale-float (float -7983937846917205 1.0d0) -164)
			       (scale-float (float -5238765332718576 1.0d0) -218)
			       (scale-float (float -8059861090435072 1.0d0) -274))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 7786067926277549 1.0d0) -55)
			       (scale-float (float -6562541456970122 1.0d0) -109)
			       (scale-float (float 8510563175036132 1.0d0) -163)
			       (scale-float (float -6181313461401740 1.0d0) -217)
			       (scale-float (float 4510744032436224 1.0d0) -271))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 7893954108215139 1.0d0) -55)
			       (scale-float (float -7583622115760437 1.0d0) -114)
			       (scale-float (float -8739826341766039 1.0d0) -168)
			       (scale-float (float 8569299442299246 1.0d0) -224)
			       (scale-float (float 7953143845355520 1.0d0) -278))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8001765989250269 1.0d0) -55)
			       (scale-float (float -7875990267513186 1.0d0) -111)
			       (scale-float (float 6234618013881755 1.0d0) -166)
			       (scale-float (float 6777347195615505 1.0d0) -221)
			       (scale-float (float 7479102375460864 1.0d0) -276))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8109502554616454 1.0d0) -55)
			       (scale-float (float 5128307098824184 1.0d0) -110)
			       (scale-float (float 4543608696005937 1.0d0) -167)
			       (scale-float (float 7638129994812919 1.0d0) -223)
			       (scale-float (float 7328067514007552 1.0d0) -278))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8217162790256110 1.0d0) -55)
			       (scale-float (float 5345588865997323 1.0d0) -109)
			       (scale-float (float 8159479612637540 1.0d0) -163)
			       (scale-float (float -5402348902098945 1.0d0) -219)
			       (scale-float (float -6129953259257856 1.0d0) -273))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8324745682830097 1.0d0) -55)
			       (scale-float (float 6574607749416877 1.0d0) -109)
			       (scale-float (float -8109490796402671 1.0d0) -163)
			       (scale-float (float -6082280992156331 1.0d0) -217)
			       (scale-float (float 6059016873918464 1.0d0) -271))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8432250219727258 1.0d0) -55)
			       (scale-float (float -4538223398252166 1.0d0) -109)
			       (scale-float (float -6702216400949692 1.0d0) -163)
			       (scale-float (float 8946082027051995 1.0d0) -220)
			       (scale-float (float -8078529194885120 1.0d0) -275))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8539675389073947 1.0d0) -55)
			       (scale-float (float 5746889479488039 1.0d0) -109)
			       (scale-float (float 6355067832497967 1.0d0) -165)
			       (scale-float (float 8745994171732987 1.0d0) -219)
			       (scale-float (float -7260136702705664 1.0d0) -273))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8647020179743560 1.0d0) -55)
			       (scale-float (float -7877855974853474 1.0d0) -109)
			       (scale-float (float -6184796128853677 1.0d0) -164)
			       (scale-float (float -6716307004457317 1.0d0) -221)
			       (scale-float (float -4679972601069568 1.0d0) -275))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8754283581366043 1.0d0) -55)
			       (scale-float (float -5680003804930756 1.0d0) -109)
			       (scale-float (float -7684372211678467 1.0d0) -163)
			       (scale-float (float -8705668463298701 1.0d0) -219)
			       (scale-float (float -4658178006188032 1.0d0) -275))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8861464584337410 1.0d0) -55)
			       (scale-float (float -7223162559193390 1.0d0) -109)
			       (scale-float (float 5121803047874294 1.0d0) -163)
			       (scale-float (float 5147411879671042 1.0d0) -218)
			       (scale-float (float 4588877908574208 1.0d0) -273))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8968562179829241 1.0d0) -55)
			       (scale-float (float -5308048479279035 1.0d0) -109)
			       (scale-float (float 6508578347136807 1.0d0) -163)
			       (scale-float (float 8020683771279042 1.0d0) -217)
			       (scale-float (float -8358038240133120 1.0d0) -272))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 4537787679899090 1.0d0) -54)
			       (scale-float (float -5708747378047162 1.0d0) -108)
			       (scale-float (float -6407036826384189 1.0d0) -162)
			       (scale-float (float 5919543467564908 1.0d0) -216)
			       (scale-float (float -8121882668752896 1.0d0) -270))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 4591251558497710 1.0d0) -54)
			       (scale-float (float -5650174284497868 1.0d0) -115)
			       (scale-float (float -8990517484150757 1.0d0) -170)
			       (scale-float (float -8107597715031434 1.0d0) -224)
			       (scale-float (float -5959355159543808 1.0d0) -278))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 4644672222488094 1.0d0) -54)
			       (scale-float (float 5997115408045016 1.0d0) -108)
			       (scale-float (float 7763885974670757 1.0d0) -164)
			       (scale-float (float -4679894517345222 1.0d0) -219)
			       (scale-float (float 5603403843633152 1.0d0) -273))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 4698049169054608 1.0d0) -54)
			       (scale-float (float 5545557499125773 1.0d0) -110)
			       (scale-float (float 5311178975123782 1.0d0) -166)
			       (scale-float (float 5295664491197940 1.0d0) -220)
			       (scale-float (float 5581004062720000 1.0d0) -274))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 4751381895793102 1.0d0) -54)
			       (scale-float (float -6113263535019274 1.0d0) -108)
			       (scale-float (float 8020796425904764 1.0d0) -162)
			       (scale-float (float -8716004022289625 1.0d0) -216)
			       (scale-float (float 7649880035377152 1.0d0) -270))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 4804669900715639 1.0d0) -54)
			       (scale-float (float 6795815263120026 1.0d0) -108)
			       (scale-float (float -6608013933362003 1.0d0) -162)
			       (scale-float (float 8405700252907754 1.0d0) -218)
			       (scale-float (float -8728274539773952 1.0d0) -272))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 4857912682255224 1.0d0) -54)
			       (scale-float (float 5116248407710562 1.0d0) -108)
			       (scale-float (float -8148882072162222 1.0d0) -163)
			       (scale-float (float -8520890580178720 1.0d0) -217)
			       (scale-float (float -5398325126758400 1.0d0) -271))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 4911109739270519 1.0d0) -54)
			       (scale-float (float 5107738102425278 1.0d0) -109)
			       (scale-float (float 6190162227247694 1.0d0) -166)
			       (scale-float (float -4657820058623469 1.0d0) -220)
			       (scale-float (float 5044535082876928 1.0d0) -274))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 4964260571050563 1.0d0) -54)
			       (scale-float (float 6269805211133874 1.0d0) -108)
			       (scale-float (float 8144711382265961 1.0d0) -162)
			       (scale-float (float 5736256866199006 1.0d0) -218)
			       (scale-float (float -6525423926870016 1.0d0) -272))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5017364677319486 1.0d0) -54)
			       (scale-float (float -6510019840528798 1.0d0) -109)
			       (scale-float (float 8487479632464686 1.0d0) -163)
			       (scale-float (float -8482708199224338 1.0d0) -219)
			       (scale-float (float -6883346636800000 1.0d0) -273))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5070421558241214 1.0d0) -54)
			       (scale-float (float -7997629714663984 1.0d0) -109)
			       (scale-float (float -4940945917580418 1.0d0) -165)
			       (scale-float (float 6330315470378748 1.0d0) -219)
			       (scale-float (float 5443507329499136 1.0d0) -273))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5123430714424177 1.0d0) -54)
			       (scale-float (float 7207319694891503 1.0d0) -108)
			       (scale-float (float -5367984184293639 1.0d0) -162)
			       (scale-float (float -5496551307550694 1.0d0) -216)
			       (scale-float (float -7850046943559680 1.0d0) -272))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5176391646926010 1.0d0) -54)
			       (scale-float (float 5017419446091570 1.0d0) -108)
			       (scale-float (float -7396832087454611 1.0d0) -163)
			       (scale-float (float -4840687577999527 1.0d0) -217)
			       (scale-float (float -5841829911068672 1.0d0) -275))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5229303857258246 1.0d0) -54)
			       (scale-float (float -6142480273924397 1.0d0) -108)
			       (scale-float (float 6736325962420316 1.0d0) -162)
			       (scale-float (float 7870899103225375 1.0d0) -216)
			       (scale-float (float -6481337268527104 1.0d0) -270))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5282166847391008 1.0d0) -54)
			       (scale-float (float 7264487630099164 1.0d0) -108)
			       (scale-float (float 7987097472370426 1.0d0) -162)
			       (scale-float (float -8941292693731426 1.0d0) -217)
			       (scale-float (float -5269253683658752 1.0d0) -271))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5334980119757703 1.0d0) -54)
			       (scale-float (float -6562004117740143 1.0d0) -108)
			       (scale-float (float -7412943256346969 1.0d0) -166)
			       (scale-float (float -4884902683994743 1.0d0) -220)
			       (scale-float (float 6498418964824064 1.0d0) -282))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5387743177259695 1.0d0) -54)
			       (scale-float (float 8671749280336977 1.0d0) -112)
			       (scale-float (float 8052630932330237 1.0d0) -166)
			       (scale-float (float 5382726735559265 1.0d0) -223)
			       (scale-float (float 8322033028956160 1.0d0) -277))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5440455523270994 1.0d0) -54)
			       (scale-float (float -5571226216357986 1.0d0) -108)
			       (scale-float (float 5456938947172397 1.0d0) -164)
			       (scale-float (float 6994870598847095 1.0d0) -219)
			       (scale-float (float -5157268310982656 1.0d0) -275))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5493116661642923 1.0d0) -54)
			       (scale-float (float -7460368030645572 1.0d0) -108)
			       (scale-float (float -6827621715323733 1.0d0) -165)
			       (scale-float (float 6362629589576016 1.0d0) -220)
			       (scale-float (float -5304207807086592 1.0d0) -276))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5545726096708791 1.0d0) -54)
			       (scale-float (float 8786044050481812 1.0d0) -108)
			       (scale-float (float 7347762739505304 1.0d0) -162)
			       (scale-float (float 7680616584349999 1.0d0) -216)
			       (scale-float (float -8241241114238976 1.0d0) -270))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5598283333288561 1.0d0) -54)
			       (scale-float (float 6778243811814134 1.0d0) -108)
			       (scale-float (float -7045745243982448 1.0d0) -164)
			       (scale-float (float 4676451795272765 1.0d0) -221)
			       (scale-float (float 8570209083850752 1.0d0) -276))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5650787876693505 1.0d0) -54)
			       (scale-float (float 4725135298405656 1.0d0) -108)
			       (scale-float (float 8550179043058735 1.0d0) -164)
			       (scale-float (float 4909349307819338 1.0d0) -218)
			       (scale-float (float 6696986363297792 1.0d0) -274))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5703239232730864 1.0d0) -54)
			       (scale-float (float 6956150123475237 1.0d0) -108)
			       (scale-float (float 7212901813329486 1.0d0) -162)
			       (scale-float (float 7153556903673412 1.0d0) -217)
			       (scale-float (float -7350582136963072 1.0d0) -271))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5755636907708500 1.0d0) -54)
			       (scale-float (float -4537276437495587 1.0d0) -108)
			       (scale-float (float 4777941193532901 1.0d0) -162)
			       (scale-float (float -8179721144625040 1.0d0) -216)
			       (scale-float (float 7659081222668288 1.0d0) -271))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5807980408439539 1.0d0) -54)
			       (scale-float (float -5259672094517845 1.0d0) -110)
			       (scale-float (float 8754582529967018 1.0d0) -164)
			       (scale-float (float 7408654934690508 1.0d0) -219)
			       (scale-float (float -5191954652200960 1.0d0) -275))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5860269242247018 1.0d0) -54)
			       (scale-float (float 5138507873462360 1.0d0) -109)
			       (scale-float (float -6320854003064805 1.0d0) -166)
			       (scale-float (float 7758282409924483 1.0d0) -221)
			       (scale-float (float -7239829310668800 1.0d0) -275))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5912502916968520 1.0d0) -54)
			       (scale-float (float -8662419418939044 1.0d0) -108)
			       (scale-float (float 4614185824928788 1.0d0) -162)
			       (scale-float (float 8601963191388429 1.0d0) -221)
			       (scale-float (float -7236690074664960 1.0d0) -275))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5964680940960804 1.0d0) -54)
			       (scale-float (float -8914351205645270 1.0d0) -108)
			       (scale-float (float -7834377139759957 1.0d0) -162)
			       (scale-float (float 6901300084898985 1.0d0) -216)
			       (scale-float (float 7894019060555776 1.0d0) -270))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6016802823104436 1.0d0) -54)
			       (scale-float (float 7333790512522496 1.0d0) -108)
			       (scale-float (float 4563571436080821 1.0d0) -162)
			       (scale-float (float 8605109854377494 1.0d0) -218)
			       (scale-float (float -7597538248097792 1.0d0) -273))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6068868072808413 1.0d0) -54)
			       (scale-float (float -8723253959652896 1.0d0) -114)
			       (scale-float (float -8733624133784357 1.0d0) -171)
			       (scale-float (float -6253293004427605 1.0d0) -225)
			       (scale-float (float 7903885175816192 1.0d0) -279))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6120876200014774 1.0d0) -54)
			       (scale-float (float 8571012628450813 1.0d0) -110)
			       (scale-float (float 5881087260125824 1.0d0) -165)
			       (scale-float (float 8616758768675350 1.0d0) -221)
			       (scale-float (float -6485427212255232 1.0d0) -275))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6172826715203219 1.0d0) -54)
			       (scale-float (float 6250720108433989 1.0d0) -108)
			       (scale-float (float -5422415971662036 1.0d0) -162)
			       (scale-float (float 8997881851302993 1.0d0) -216)
			       (scale-float (float 5663871216648192 1.0d0) -275))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6224719129395714 1.0d0) -54)
			       (scale-float (float 8843501730272727 1.0d0) -108)
			       (scale-float (float 8200563275489647 1.0d0) -163)
			       (scale-float (float -5971751274707875 1.0d0) -218)
			       (scale-float (float 7152787190022144 1.0d0) -272))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6276552954161094 1.0d0) -54)
			       (scale-float (float 4799554187051297 1.0d0) -110)
			       (scale-float (float 8308846534529580 1.0d0) -164)
			       (scale-float (float 8241934792467017 1.0d0) -218)
			       (scale-float (float 6142252833701888 1.0d0) -274))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6328327701619659 1.0d0) -54)
			       (scale-float (float -7357066700707823 1.0d0) -108)
			       (scale-float (float -7947864157743905 1.0d0) -165)
			       (scale-float (float 7675632966777644 1.0d0) -219)
			       (scale-float (float -7859656524824576 1.0d0) -273))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6380042884447767 1.0d0) -54)
			       (scale-float (float -5501161709946803 1.0d0) -108)
			       (scale-float (float 7466713522323834 1.0d0) -162)
			       (scale-float (float -7098845764308001 1.0d0) -217)
			       (scale-float (float 6821858551332864 1.0d0) -271))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6431698015882422 1.0d0) -54)
			       (scale-float (float -5007263247392991 1.0d0) -113)
			       (scale-float (float -7795754867074493 1.0d0) -167)
			       (scale-float (float -4821191128464752 1.0d0) -222)
			       (scale-float (float 7539590174343168 1.0d0) -276))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6483292609725855 1.0d0) -54)
			       (scale-float (float -5712074047376477 1.0d0) -108)
			       (scale-float (float 7819107111345661 1.0d0) -162)
			       (scale-float (float 8368937774054671 1.0d0) -216)
			       (scale-float (float -6753988863688704 1.0d0) -270))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6534826180350098 1.0d0) -54)
			       (scale-float (float -5949616244538138 1.0d0) -109)
			       (scale-float (float -8689252050077247 1.0d0) -163)
			       (scale-float (float -8509057300264997 1.0d0) -218)
			       (scale-float (float -8943610587250688 1.0d0) -272))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6586298242701558 1.0d0) -54)
			       (scale-float (float 5263009052367660 1.0d0) -108)
			       (scale-float (float 6598370143038445 1.0d0) -162)
			       (scale-float (float -7564085607225777 1.0d0) -216)
			       (scale-float (float 4742479682797568 1.0d0) -270))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6637708312305582 1.0d0) -54)
			       (scale-float (float 6791291154341829 1.0d0) -109)
			       (scale-float (float 7690532825767619 1.0d0) -168)
			       (scale-float (float 7037800597631649 1.0d0) -222)
			       (scale-float (float 8060966153486336 1.0d0) -276))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6689055905271015 1.0d0) -54)
			       (scale-float (float 7217134714480857 1.0d0) -114)
			       (scale-float (float -8997551068716333 1.0d0) -173)
			       (scale-float (float -6072128060810686 1.0d0) -227)
			       (scale-float (float 6009466801618944 1.0d0) -281))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6740340538294756 1.0d0) -54)
			       (scale-float (float 5199702616094614 1.0d0) -109)
			       (scale-float (float 6246995808738228 1.0d0) -163)
			       (scale-float (float 8721019383942846 1.0d0) -219)
			       (scale-float (float 7653531236958208 1.0d0) -275))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6791561728666308 1.0d0) -54)
			       (scale-float (float -7075880958543542 1.0d0) -111)
			       (scale-float (float 5953253779194679 1.0d0) -166)
			       (scale-float (float 5597468420642533 1.0d0) -222)
			       (scale-float (float -7151042605088768 1.0d0) -278))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6842718994272319 1.0d0) -54)
			       (scale-float (float 6435287673892967 1.0d0) -109)
			       (scale-float (float 5701190408884571 1.0d0) -163)
			       (scale-float (float 5908054947863245 1.0d0) -218)
			       (scale-float (float 4556920054480896 1.0d0) -274))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6893811853601123 1.0d0) -54)
			       (scale-float (float -6523324437210640 1.0d0) -109)
			       (scale-float (float -4818352562283701 1.0d0) -164)
			       (scale-float (float -5357330931060650 1.0d0) -218)
			       (scale-float (float 4611839504777216 1.0d0) -272))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6944839825747268 1.0d0) -54)
			       (scale-float (float 4925434022374747 1.0d0) -108)
			       (scale-float (float 8300294859713104 1.0d0) -162)
			       (scale-float (float 6208703759312379 1.0d0) -216)
			       (scale-float (float -5013140189642752 1.0d0) -272))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6995802430416048 1.0d0) -54)
			       (scale-float (float -6525270186811934 1.0d0) -109)
			       (scale-float (float 8879265420406843 1.0d0) -163)
			       (scale-float (float -6733241213708231 1.0d0) -217)
			       (scale-float (float -6737959053164544 1.0d0) -276))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 7046699187928017 1.0d0) -54)
			       (scale-float (float 5840616084808535 1.0d0) -108)
			       (scale-float (float -6204648763678812 1.0d0) -162)
			       (scale-float (float -5748171176195803 1.0d0) -216)
			       (scale-float (float -7375070776360960 1.0d0) -272))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 7097529619223511 1.0d0) -54)
			       (scale-float (float 6337798132651441 1.0d0) -109)
			       (scale-float (float -4965270455978562 1.0d0) -164)
			       (scale-float (float -4678379495118649 1.0d0) -219)
			       (scale-float (float 5929984816447488 1.0d0) -273))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 7148293245867151 1.0d0) -54)
			       (scale-float (float 6667254347281325 1.0d0) -108)
			       (scale-float (float 7172706150755633 1.0d0) -163)
			       (scale-float (float 4521599313713307 1.0d0) -218)
			       (scale-float (float 6319153054941184 1.0d0) -273))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 7198989590052351 1.0d0) -54)
			       (scale-float (float -4889033451117653 1.0d0) -108)
			       (scale-float (float -5825736040848376 1.0d0) -162)
			       (scale-float (float -6058018356871033 1.0d0) -216)
			       (scale-float (float 4719922365956096 1.0d0) -272))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 7249618174605810 1.0d0) -54)
			       (scale-float (float 7076204518174404 1.0d0) -109)
			       (scale-float (float 8651917601296873 1.0d0) -163)
			       (scale-float (float 4790821447612866 1.0d0) -217)
			       (scale-float (float 6079401430253568 1.0d0) -271))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 7300178522992010 1.0d0) -54)
			       (scale-float (float 6432697761913771 1.0d0) -109)
			       (scale-float (float -5885542131804050 1.0d0) -164)
			       (scale-float (float 5002309445714852 1.0d0) -225)
			       (scale-float (float 8157883497709568 1.0d0) -280))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 7350670159317696 1.0d0) -54)
			       (scale-float (float -4543650155952635 1.0d0) -109)
			       (scale-float (float -6598133798027798 1.0d0) -165)
			       (scale-float (float 8182638753990352 1.0d0) -225)
			       (scale-float (float -8334158438858752 1.0d0) -279))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 7401092608336357 1.0d0) -54)
			       (scale-float (float -7859785885819633 1.0d0) -108)
			       (scale-float (float -6675498128747218 1.0d0) -162)
			       (scale-float (float -8844902686085099 1.0d0) -218)
			       (scale-float (float -5439421702995968 1.0d0) -273))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 7451445395452699 1.0d0) -54)
			       (scale-float (float -6746081919340579 1.0d0) -109)
			       (scale-float (float -5369758667471624 1.0d0) -165)
			       (scale-float (float -6834701290217458 1.0d0) -221)
			       (scale-float (float -8025543898300416 1.0d0) -275))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 7501728046727114 1.0d0) -54)
			       (scale-float (float -8267298509278455 1.0d0) -108)
			       (scale-float (float -8063438575398244 1.0d0) -164)
			       (scale-float (float 6048179215733349 1.0d0) -219)
			       (scale-float (float 7101057283194880 1.0d0) -273))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 7551940088880137 1.0d0) -54)
			       (scale-float (float -5482087221447130 1.0d0) -110)
			       (scale-float (float -8430648353819219 1.0d0) -164)
			       (scale-float (float 8658592177651743 1.0d0) -218)
			       (scale-float (float 7093572807426048 1.0d0) -275))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 7602081049296905 1.0d0) -54)
			       (scale-float (float 5652239210598920 1.0d0) -110)
			       (scale-float (float 7420759427593921 1.0d0) -164)
			       (scale-float (float -5717719400948822 1.0d0) -218)
			       (scale-float (float 7916673537998848 1.0d0) -272))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 7652150456031602 1.0d0) -54)
			       (scale-float (float 8912029836648224 1.0d0) -108)
			       (scale-float (float -5442965062816235 1.0d0) -163)
			       (scale-float (float 5557269064076599 1.0d0) -219)
			       (scale-float (float -8143037067689984 1.0d0) -275))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 7702147837811904 1.0d0) -54)
			       (scale-float (float 6108211414778243 1.0d0) -109)
			       (scale-float (float -8159473578389260 1.0d0) -165)
			       (scale-float (float -7432349312262155 1.0d0) -221)
			       (scale-float (float -6255586292269056 1.0d0) -276))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 7752072724043411 1.0d0) -54)
			       (scale-float (float 7223681421721881 1.0d0) -108)
			       (scale-float (float 5025963318844636 1.0d0) -162)
			       (scale-float (float -6196764359275049 1.0d0) -217)
			       (scale-float (float 6675143307739136 1.0d0) -271))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 7801924644814081 1.0d0) -54)
			       (scale-float (float 7284976384109012 1.0d0) -109)
			       (scale-float (float 4978342074042849 1.0d0) -166)
			       (scale-float (float -8927853027064514 1.0d0) -220)
			       (scale-float (float 8209556624113664 1.0d0) -276))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 7851703130898649 1.0d0) -54)
			       (scale-float (float 5267103399173910 1.0d0) -108)
			       (scale-float (float -6021054605042187 1.0d0) -166)
			       (scale-float (float 6370660996304786 1.0d0) -220)
			       (scale-float (float -6401332536410112 1.0d0) -275))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 7901407713763047 1.0d0) -54)
			       (scale-float (float -6777023449092614 1.0d0) -108)
			       (scale-float (float -6668929501654487 1.0d0) -165)
			       (scale-float (float 8608953101571494 1.0d0) -223)
			       (scale-float (float 8586013985210368 1.0d0) -278))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 7951037925568809 1.0d0) -54)
			       (scale-float (float 7256489245666525 1.0d0) -108)
			       (scale-float (float 5548921664669512 1.0d0) -165)
			       (scale-float (float -6417647354800337 1.0d0) -220)
			       (scale-float (float -5655827515965440 1.0d0) -275))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8000593299177483 1.0d0) -54)
			       (scale-float (float -7859474098720372 1.0d0) -108)
			       (scale-float (float 5192476996492227 1.0d0) -164)
			       (scale-float (float 7762192920165123 1.0d0) -219)
			       (scale-float (float 5315557988761600 1.0d0) -274))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8050073368155017 1.0d0) -54)
			       (scale-float (float -6237939819127611 1.0d0) -108)
			       (scale-float (float -8310809855799018 1.0d0) -167)
			       (scale-float (float -4607997215797586 1.0d0) -221)
			       (scale-float (float -8992526383972352 1.0d0) -276))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8099477666776158 1.0d0) -54)
			       (scale-float (float 6338746169655183 1.0d0) -110)
			       (scale-float (float 6349016711906624 1.0d0) -164)
			       (scale-float (float -6594231578666108 1.0d0) -218)
			       (scale-float (float -7469627433549824 1.0d0) -272))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8148805730028833 1.0d0) -54)
			       (scale-float (float -4811953802956820 1.0d0) -108)
			       (scale-float (float -8996711906404359 1.0d0) -163)
			       (scale-float (float 7437936247641814 1.0d0) -218)
			       (scale-float (float 7267646205329408 1.0d0) -273))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8198057093618523 1.0d0) -54)
			       (scale-float (float -8035018871140280 1.0d0) -109)
			       (scale-float (float 6464477674883353 1.0d0) -163)
			       (scale-float (float -7193445626531301 1.0d0) -219)
			       (scale-float (float 6613589106622464 1.0d0) -273))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8247231293972637 1.0d0) -54)
			       (scale-float (float -5487884902609878 1.0d0) -109)
			       (scale-float (float -7456042848390653 1.0d0) -163)
			       (scale-float (float 6693281418534385 1.0d0) -217)
			       (scale-float (float 6220894588780544 1.0d0) -271))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8296327868244873 1.0d0) -54)
			       (scale-float (float 5999951330674037 1.0d0) -108)
			       (scale-float (float -6154519112303483 1.0d0) -162)
			       (scale-float (float 7000233030992444 1.0d0) -217)
			       (scale-float (float 5649438551359488 1.0d0) -271))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8345346354319577 1.0d0) -54)
			       (scale-float (float -4771391396366549 1.0d0) -109)
			       (scale-float (float 7854156202477445 1.0d0) -163)
			       (scale-float (float 8339496630900022 1.0d0) -217)
			       (scale-float (float 4728827042594816 1.0d0) -272))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8394286290816088 1.0d0) -54)
			       (scale-float (float -8573403169330254 1.0d0) -111)
			       (scale-float (float 6529695060451631 1.0d0) -167)
			       (scale-float (float -6393362274584590 1.0d0) -221)
			       (scale-float (float -6254752461488128 1.0d0) -277))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8443147217093086 1.0d0) -54)
			       (scale-float (float -7447457963335574 1.0d0) -108)
			       (scale-float (float -6643844760557667 1.0d0) -162)
			       (scale-float (float 7249753184337927 1.0d0) -216)
			       (scale-float (float 4515101693927424 1.0d0) -270))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8491928673252923 1.0d0) -54)
			       (scale-float (float 8459131853498433 1.0d0) -110)
			       (scale-float (float 6888360499664938 1.0d0) -164)
			       (scale-float (float -5236945859638041 1.0d0) -219)
			       (scale-float (float 7442291196362752 1.0d0) -273))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8540630200145957 1.0d0) -54)
			       (scale-float (float -5286511185567367 1.0d0) -109)
			       (scale-float (float -8135173764139151 1.0d0) -164)
			       (scale-float (float -4921009164459924 1.0d0) -218)
			       (scale-float (float -7640091499790336 1.0d0) -272))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8589251339374868 1.0d0) -54)
			       (scale-float (float -6680873419295655 1.0d0) -109)
			       (scale-float (float -8554354988263275 1.0d0) -164)
			       (scale-float (float 7339900865625287 1.0d0) -218)
			       (scale-float (float 4639882940514304 1.0d0) -275))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8637791633298976 1.0d0) -54)
			       (scale-float (float 5977631648923170 1.0d0) -108)
			       (scale-float (float -7623682798863608 1.0d0) -162)
			       (scale-float (float 4624107632594484 1.0d0) -218)
			       (scale-float (float -7698762918789120 1.0d0) -272))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8686250625038550 1.0d0) -54)
			       (scale-float (float -8392536875785958 1.0d0) -108)
			       (scale-float (float -4707724355155067 1.0d0) -169)
			       (scale-float (float 5500147221680155 1.0d0) -223)
			       (scale-float (float -7943631934586880 1.0d0) -277))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8734627858479102 1.0d0) -54)
			       (scale-float (float -5852368960712652 1.0d0) -108)
			       (scale-float (float -8241530944970066 1.0d0) -164)
			       (scale-float (float -7219502451510509 1.0d0) -218)
			       (scale-float (float 8301579172839424 1.0d0) -274))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8782922878275687 1.0d0) -54)
			       (scale-float (float 4618253045998479 1.0d0) -108)
			       (scale-float (float -8548139780246601 1.0d0) -165)
			       (scale-float (float -5125184194605572 1.0d0) -221)
			       (scale-float (float 4634136227610624 1.0d0) -277))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8831135229857187 1.0d0) -54)
			       (scale-float (float -6684581881277189 1.0d0) -110)
			       (scale-float (float -8629413596046384 1.0d0) -164)
			       (scale-float (float 6391588371080480 1.0d0) -218)
			       (scale-float (float 7218057820504064 1.0d0) -272))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8879264459430586 1.0d0) -54)
			       (scale-float (float -5326170718959288 1.0d0) -112)
			       (scale-float (float 6502706495111478 1.0d0) -166)
			       (scale-float (float -8175927755321089 1.0d0) -221)
			       (scale-float (float 5117625807405056 1.0d0) -275))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8927310113985246 1.0d0) -54)
			       (scale-float (float -6121928410302052 1.0d0) -109)
			       (scale-float (float 5839069660685259 1.0d0) -167)
			       (scale-float (float 5662811753865077 1.0d0) -223)
			       (scale-float (float 8107771649064960 1.0d0) -277))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8975271741297168 1.0d0) -54)
			       (scale-float (float -5233310756427739 1.0d0) -108)
			       (scale-float (float -8823317657688998 1.0d0) -162)
			       (scale-float (float 4654507950124385 1.0d0) -218)
			       (scale-float (float -6216207424782336 1.0d0) -272))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 4511574444966625 1.0d0) -53)
			       (scale-float (float -6426118857297543 1.0d0) -107)
			       (scale-float (float -6491521190013141 1.0d0) -161)
			       (scale-float (float 7186617536341604 1.0d0) -215)
			       (scale-float (float 6990809699385344 1.0d0) -271))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 4535470554627767 1.0d0) -53)
			       (scale-float (float -5429619939489420 1.0d0) -108)
			       (scale-float (float -5927987229493283 1.0d0) -162)
			       (scale-float (float 8625723713246926 1.0d0) -217)
			       (scale-float (float 6472651296374784 1.0d0) -271))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 4559323974712726 1.0d0) -53)
			       (scale-float (float -7840626733224058 1.0d0) -107)
			       (scale-float (float 5428491030047448 1.0d0) -162)
			       (scale-float (float 8993628089295535 1.0d0) -217)
			       (scale-float (float -4802179639607296 1.0d0) -271))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 4583134480704026 1.0d0) -53)
			       (scale-float (float 7761991876870000 1.0d0) -107)
			       (scale-float (float -6271024629654463 1.0d0) -162)
			       (scale-float (float 5752025628139535 1.0d0) -217)
			       (scale-float (float 5915389374300160 1.0d0) -271))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 4606901848488119 1.0d0) -53)
			       (scale-float (float -8494598453042205 1.0d0) -109)
			       (scale-float (float 4785427941994550 1.0d0) -163)
			       (scale-float (float -7993664237807223 1.0d0) -217)
			       (scale-float (float 5685423035973632 1.0d0) -272))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 4630625854357486 1.0d0) -53)
			       (scale-float (float -7417310864687212 1.0d0) -107)
			       (scale-float (float 4527229152853963 1.0d0) -161)
			       (scale-float (float -5445479406340099 1.0d0) -217)
			       (scale-float (float -8528540161802240 1.0d0) -273))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 4654306275012748 1.0d0) -53)
			       (scale-float (float 5388216318289433 1.0d0) -109)
			       (scale-float (float 6810717761619515 1.0d0) -163)
			       (scale-float (float -4804851653177209 1.0d0) -217)
			       (scale-float (float -5911309836353536 1.0d0) -271))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 4677942887564769 1.0d0) -53)
			       (scale-float (float -8978008309930964 1.0d0) -107)
			       (scale-float (float -5916790110693661 1.0d0) -167)
			       (scale-float (float -8118978520081596 1.0d0) -221)
			       (scale-float (float -5330927914319872 1.0d0) -275))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 4701535469536748 1.0d0) -53)
			       (scale-float (float -7554109741206949 1.0d0) -107)
			       (scale-float (float 5422636526155651 1.0d0) -163)
			       (scale-float (float -5639775327748784 1.0d0) -220)
			       (scale-float (float -4829205204828160 1.0d0) -275))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 4725083798866319 1.0d0) -53)
			       (scale-float (float -6988323544295858 1.0d0) -107)
			       (scale-float (float -4912183619887695 1.0d0) -163)
			       (scale-float (float -6359206876678376 1.0d0) -218)
			       (scale-float (float -5407918016692224 1.0d0) -274))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 4748587653907638 1.0d0) -53)
			       (scale-float (float -6847825579591004 1.0d0) -107)
			       (scale-float (float 5003358265465959 1.0d0) -162)
			       (scale-float (float 8422280950230119 1.0d0) -216)
			       (scale-float (float 8433490093867008 1.0d0) -271))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 4772046813433470 1.0d0) -53)
			       (scale-float (float -7799453234034926 1.0d0) -107)
			       (scale-float (float 6817580222556671 1.0d0) -163)
			       (scale-float (float -7560644201550137 1.0d0) -219)
			       (scale-float (float 4511177827942400 1.0d0) -273))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 4795461056637271 1.0d0) -53)
			       (scale-float (float -6655925208907997 1.0d0) -107)
			       (scale-float (float -5623857240635796 1.0d0) -161)
			       (scale-float (float -8070601107899198 1.0d0) -215)
			       (scale-float (float 7784203411095552 1.0d0) -269))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 4818830163135267 1.0d0) -53)
			       (scale-float (float -8710586291184881 1.0d0) -107)
			       (scale-float (float -8126282278485839 1.0d0) -162)
			       (scale-float (float 5719317781414307 1.0d0) -217)
			       (scale-float (float 7015619784343552 1.0d0) -277))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 4842153912968527 1.0d0) -53)
			       (scale-float (float -7339754703408720 1.0d0) -108)
			       (scale-float (float -6990336495915397 1.0d0) -163)
			       (scale-float (float 5257934322964996 1.0d0) -220)
			       (scale-float (float 5758322719588352 1.0d0) -274))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 4865432086605035 1.0d0) -53)
			       (scale-float (float 8785511657898515 1.0d0) -108)
			       (scale-float (float 6839125971928921 1.0d0) -162)
			       (scale-float (float -6223394966801216 1.0d0) -216)
			       (scale-float (float -4552744967618560 1.0d0) -270))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 4888664464941756 1.0d0) -53)
			       (scale-float (float 5564928859020974 1.0d0) -108)
			       (scale-float (float -7907253462425933 1.0d0) -162)
			       (scale-float (float 5236591704896374 1.0d0) -216)
			       (scale-float (float 7437180777906176 1.0d0) -270))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 4911850829306697 1.0d0) -53)
			       (scale-float (float -6736651049305461 1.0d0) -107)
			       (scale-float (float -8955456639116160 1.0d0) -162)
			       (scale-float (float 6701012809879390 1.0d0) -216)
			       (scale-float (float 7989770023075840 1.0d0) -275))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 4934990961460965 1.0d0) -53)
			       (scale-float (float -7809824017498950 1.0d0) -108)
			       (scale-float (float -5333685159010237 1.0d0) -170)
			       (scale-float (float -7013163948693077 1.0d0) -224)
			       (scale-float (float -7603687610384384 1.0d0) -280))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 4958084643600824 1.0d0) -53)
			       (scale-float (float -5407770883530058 1.0d0) -109)
			       (scale-float (float -5391994932415003 1.0d0) -164)
			       (scale-float (float 8910660424091807 1.0d0) -218)
			       (scale-float (float -4742718246092800 1.0d0) -272))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 4981131658359743 1.0d0) -53)
			       (scale-float (float -7636170899049036 1.0d0) -107)
			       (scale-float (float -6206770363233629 1.0d0) -162)
			       (scale-float (float -6822684679023966 1.0d0) -218)
			       (scale-float (float 7403295272861696 1.0d0) -273))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5004131788810440 1.0d0) -53)
			       (scale-float (float 7641456135071232 1.0d0) -107)
			       (scale-float (float -6033230867222893 1.0d0) -161)
			       (scale-float (float 6471526251842736 1.0d0) -215)
			       (scale-float (float 7371837832855552 1.0d0) -270))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5027084818466930 1.0d0) -53)
			       (scale-float (float 8749783685054072 1.0d0) -109)
			       (scale-float (float -6432564900081691 1.0d0) -163)
			       (scale-float (float -4946481004218511 1.0d0) -217)
			       (scale-float (float 7036909802094592 1.0d0) -271))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5049990531286555 1.0d0) -53)
			       (scale-float (float -4800045970584779 1.0d0) -109)
			       (scale-float (float 4639463359548121 1.0d0) -163)
			       (scale-float (float 6739134100775357 1.0d0) -217)
			       (scale-float (float -6512123275313152 1.0d0) -271))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5072848711672022 1.0d0) -53)
			       (scale-float (float 7735151275984803 1.0d0) -108)
			       (scale-float (float 6319202510957152 1.0d0) -165)
			       (scale-float (float 7852194967309185 1.0d0) -219)
			       (scale-float (float 8522408257650688 1.0d0) -273))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5095659144473433 1.0d0) -53)
			       (scale-float (float -5532405218054066 1.0d0) -107)
			       (scale-float (float -4990528183184909 1.0d0) -161)
			       (scale-float (float 4694142170446455 1.0d0) -215)
			       (scale-float (float 4959870619623424 1.0d0) -269))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5118421614990306 1.0d0) -53)
			       (scale-float (float -8264785570084562 1.0d0) -107)
			       (scale-float (float -4756999690706873 1.0d0) -161)
			       (scale-float (float 8271914155363375 1.0d0) -219)
			       (scale-float (float 8618867845365760 1.0d0) -273))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5141135908973599 1.0d0) -53)
			       (scale-float (float 7972820976421517 1.0d0) -108)
			       (scale-float (float -7508892149590212 1.0d0) -162)
			       (scale-float (float -7598338450058821 1.0d0) -218)
			       (scale-float (float -7523805491494912 1.0d0) -273))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5163801812627728 1.0d0) -53)
			       (scale-float (float 5528278164889757 1.0d0) -109)
			       (scale-float (float -7534708412684668 1.0d0) -163)
			       (scale-float (float 4748764085926481 1.0d0) -217)
			       (scale-float (float 7408881401200640 1.0d0) -273))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5186419112612575 1.0d0) -53)
			       (scale-float (float -6151167318128396 1.0d0) -107)
			       (scale-float (float -8018890614716932 1.0d0) -161)
			       (scale-float (float 5861072145574035 1.0d0) -215)
			       (scale-float (float -6777560767791104 1.0d0) -269))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5208987596045498 1.0d0) -53)
			       (scale-float (float -8514617700931210 1.0d0) -108)
			       (scale-float (float 7996782571413148 1.0d0) -162)
			       (scale-float (float -6615677919703496 1.0d0) -217)
			       (scale-float (float -8592814844411904 1.0d0) -274))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5231507050503336 1.0d0) -53)
			       (scale-float (float 6031287197379932 1.0d0) -108)
			       (scale-float (float 6471258723704346 1.0d0) -164)
			       (scale-float (float 8258737189713217 1.0d0) -218)
			       (scale-float (float 7567381847080960 1.0d0) -277))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5253977264024408 1.0d0) -53)
			       (scale-float (float 8961021967501223 1.0d0) -111)
			       (scale-float (float 8449105812948238 1.0d0) -165)
			       (scale-float (float -5388110305851105 1.0d0) -219)
			       (scale-float (float -7044177615388672 1.0d0) -278))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5276398025110506 1.0d0) -53)
			       (scale-float (float -4865896352247366 1.0d0) -110)
			       (scale-float (float 6539437345050652 1.0d0) -164)
			       (scale-float (float -6050564890654524 1.0d0) -219)
			       (scale-float (float 5949983326994432 1.0d0) -276))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5298769122728888 1.0d0) -53)
			       (scale-float (float -4752925789560358 1.0d0) -107)
			       (scale-float (float -6940658006329329 1.0d0) -161)
			       (scale-float (float -4874539996486145 1.0d0) -218)
			       (scale-float (float 7343781472239616 1.0d0) -272))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5321090346314263 1.0d0) -53)
			       (scale-float (float -7628390168680570 1.0d0) -107)
			       (scale-float (float 7251508591837652 1.0d0) -161)
			       (scale-float (float 5307279358527743 1.0d0) -218)
			       (scale-float (float -7589365976268800 1.0d0) -273))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5343361485770773 1.0d0) -53)
			       (scale-float (float 8367594692216948 1.0d0) -109)
			       (scale-float (float 6203590959579987 1.0d0) -163)
			       (scale-float (float 8665448091350130 1.0d0) -217)
			       (scale-float (float 7720213071331328 1.0d0) -272))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5365582331473973 1.0d0) -53)
			       (scale-float (float -8722177288784495 1.0d0) -109)
			       (scale-float (float -6349014528983703 1.0d0) -166)
			       (scale-float (float 8570508217536058 1.0d0) -220)
			       (scale-float (float 5525942506094592 1.0d0) -275))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5387752674272799 1.0d0) -53)
			       (scale-float (float 6295965926759422 1.0d0) -107)
			       (scale-float (float -7064411274953418 1.0d0) -162)
			       (scale-float (float -8521156802129240 1.0d0) -217)
			       (scale-float (float 7485998772518912 1.0d0) -276))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5409872305491543 1.0d0) -53)
			       (scale-float (float -7528538090890981 1.0d0) -107)
			       (scale-float (float -4873667464989738 1.0d0) -161)
			       (scale-float (float 5474430362703076 1.0d0) -216)
			       (scale-float (float 6624897617756160 1.0d0) -272))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5431941016931809 1.0d0) -53)
			       (scale-float (float 6056061026085675 1.0d0) -107)
			       (scale-float (float 8117741563781443 1.0d0) -161)
			       (scale-float (float -8527257181106372 1.0d0) -215)
			       (scale-float (float -6995774656077824 1.0d0) -269))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5453958600874483 1.0d0) -53)
			       (scale-float (float -5062923073902567 1.0d0) -107)
			       (scale-float (float 7460245243959813 1.0d0) -162)
			       (scale-float (float -8605987486451288 1.0d0) -217)
			       (scale-float (float 6674159906947072 1.0d0) -271))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5475924850081677 1.0d0) -53)
			       (scale-float (float 5705171231787006 1.0d0) -107)
			       (scale-float (float -5973740103346300 1.0d0) -164)
			       (scale-float (float -5933426595796939 1.0d0) -218)
			       (scale-float (float -7551225704611840 1.0d0) -273))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5497839557798690 1.0d0) -53)
			       (scale-float (float -7322198333974194 1.0d0) -108)
			       (scale-float (float 7708295787222922 1.0d0) -162)
			       (scale-float (float 8668959416020342 1.0d0) -216)
			       (scale-float (float 6087956852113408 1.0d0) -272))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5519702517755945 1.0d0) -53)
			       (scale-float (float -5541930106652097 1.0d0) -110)
			       (scale-float (float 6042424392306259 1.0d0) -164)
			       (scale-float (float 7112544487152837 1.0d0) -218)
			       (scale-float (float -5854708334592000 1.0d0) -272))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5541513524170937 1.0d0) -53)
			       (scale-float (float 8512581754243428 1.0d0) -108)
			       (scale-float (float -8240160558210729 1.0d0) -162)
			       (scale-float (float 7588665830274554 1.0d0) -216)
			       (scale-float (float -6504131954491392 1.0d0) -270))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5563272371750168 1.0d0) -53)
			       (scale-float (float -7703842410206491 1.0d0) -107)
			       (scale-float (float -8533597952376245 1.0d0) -163)
			       (scale-float (float -6350821420004830 1.0d0) -217)
			       (scale-float (float 7273129369075712 1.0d0) -271))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5584978855691076 1.0d0) -53)
			       (scale-float (float -4540568005736910 1.0d0) -107)
			       (scale-float (float 6810569017348767 1.0d0) -162)
			       (scale-float (float -5743636460441176 1.0d0) -216)
			       (scale-float (float -6502230776709120 1.0d0) -271))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5606632771683968 1.0d0) -53)
			       (scale-float (float 6872099470811347 1.0d0) -110)
			       (scale-float (float -4535230040345874 1.0d0) -166)
			       (scale-float (float 6845954161715752 1.0d0) -225)
			       (scale-float (float 5601564580380672 1.0d0) -280))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5628233915913940 1.0d0) -53)
			       (scale-float (float 5463569387507809 1.0d0) -107)
			       (scale-float (float -8139410524833584 1.0d0) -161)
			       (scale-float (float 5908305814053563 1.0d0) -216)
			       (scale-float (float 6734201719308288 1.0d0) -270))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5649782085062796 1.0d0) -53)
			       (scale-float (float 4991677084184053 1.0d0) -107)
			       (scale-float (float 6329805746482172 1.0d0) -164)
			       (scale-float (float -4706296920171159 1.0d0) -218)
			       (scale-float (float 4607403172560896 1.0d0) -273))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5671277076310961 1.0d0) -53)
			       (scale-float (float 6671344369483978 1.0d0) -107)
			       (scale-float (float -5602658804200812 1.0d0) -161)
			       (scale-float (float 5854533570742313 1.0d0) -215)
			       (scale-float (float 7577836945825792 1.0d0) -269))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5692718687339392 1.0d0) -53)
			       (scale-float (float -6517134490911270 1.0d0) -107)
			       (scale-float (float -8442644072947353 1.0d0) -163)
			       (scale-float (float 7967700612201239 1.0d0) -217)
			       (scale-float (float -5908403881443328 1.0d0) -272))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5714106716331478 1.0d0) -53)
			       (scale-float (float 6763552043812531 1.0d0) -109)
			       (scale-float (float 4814134823321695 1.0d0) -163)
			       (scale-float (float -4874409913813393 1.0d0) -221)
			       (scale-float (float 6265799002030080 1.0d0) -277))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5735440961974946 1.0d0) -53)
			       (scale-float (float 5098032122654983 1.0d0) -107)
			       (scale-float (float -6633387170173303 1.0d0) -161)
			       (scale-float (float -8437401866493263 1.0d0) -215)
			       (scale-float (float 8850482936709120 1.0d0) -270))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5756721223463751 1.0d0) -53)
			       (scale-float (float 8058961560658971 1.0d0) -109)
			       (scale-float (float -7260204596373573 1.0d0) -163)
			       (scale-float (float 5847373583723548 1.0d0) -217)
			       (scale-float (float -4857353439117312 1.0d0) -271))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5777947300499967 1.0d0) -53)
			       (scale-float (float -6482805255133693 1.0d0) -109)
			       (scale-float (float 4907047913048716 1.0d0) -163)
			       (scale-float (float 4800601318416331 1.0d0) -219)
			       (scale-float (float 8773454969962496 1.0d0) -275))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5799118993295673 1.0d0) -53)
			       (scale-float (float -5206056249695124 1.0d0) -107)
			       (scale-float (float -7363227589940729 1.0d0) -162)
			       (scale-float (float -8468347824445839 1.0d0) -217)
			       (scale-float (float -5240432990945280 1.0d0) -271))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5820236102574833 1.0d0) -53)
			       (scale-float (float -4828209332879607 1.0d0) -107)
			       (scale-float (float -6006988076989561 1.0d0) -162)
			       (scale-float (float 6811807852310658 1.0d0) -219)
			       (scale-float (float 5809724755279872 1.0d0) -274))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5841298429575172 1.0d0) -53)
			       (scale-float (float 5175456982428321 1.0d0) -110)
			       (scale-float (float 4538462653543703 1.0d0) -164)
			       (scale-float (float -8728016611215022 1.0d0) -220)
			       (scale-float (float 8118126690435072 1.0d0) -277))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5862305776050047 1.0d0) -53)
			       (scale-float (float 6444073748996113 1.0d0) -107)
			       (scale-float (float 6823119024662590 1.0d0) -164)
			       (scale-float (float 6426684369717617 1.0d0) -220)
			       (scale-float (float -6584771784998912 1.0d0) -274))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5883257944270313 1.0d0) -53)
			       (scale-float (float 5561965163229991 1.0d0) -109)
			       (scale-float (float -8086818543630428 1.0d0) -163)
			       (scale-float (float 5028398904287973 1.0d0) -217)
			       (scale-float (float -7931166882234368 1.0d0) -271))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5904154737026182 1.0d0) -53)
			       (scale-float (float 5782715275133621 1.0d0) -107)
			       (scale-float (float 7421719155960077 1.0d0) -162)
			       (scale-float (float 4632156185190014 1.0d0) -216)
			       (scale-float (float -5738789061853184 1.0d0) -271))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5924995957629083 1.0d0) -53)
			       (scale-float (float 6354379320602223 1.0d0) -108)
			       (scale-float (float -6982629383914688 1.0d0) -162)
			       (scale-float (float 6014680402693896 1.0d0) -217)
			       (scale-float (float -8539292463071232 1.0d0) -272))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5945781409913510 1.0d0) -53)
			       (scale-float (float -5798779723014377 1.0d0) -115)
			       (scale-float (float 4603157000630414 1.0d0) -169)
			       (scale-float (float 7213200979097056 1.0d0) -223)
			       (scale-float (float -8826565714509824 1.0d0) -277))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5966510898238870 1.0d0) -53)
			       (scale-float (float -7339152233857623 1.0d0) -108)
			       (scale-float (float 5866707295710201 1.0d0) -163)
			       (scale-float (float 6142346235706265 1.0d0) -217)
			       (scale-float (float 8313774792736768 1.0d0) -271))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 5987184227491324 1.0d0) -53)
			       (scale-float (float -5878295590335062 1.0d0) -107)
			       (scale-float (float -5296945800600359 1.0d0) -162)
			       (scale-float (float 6511887897632255 1.0d0) -217)
			       (scale-float (float 5276882688147456 1.0d0) -271))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6007801203085623 1.0d0) -53)
			       (scale-float (float 5725215547860703 1.0d0) -107)
			       (scale-float (float -6069357457640343 1.0d0) -162)
			       (scale-float (float 7773390546671458 1.0d0) -216)
			       (scale-float (float 7968963672981504 1.0d0) -270))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6028361630966943 1.0d0) -53)
			       (scale-float (float -8858164301443705 1.0d0) -107)
			       (scale-float (float -7360418845574603 1.0d0) -161)
			       (scale-float (float -8881973385408916 1.0d0) -215)
			       (scale-float (float 8555186859573248 1.0d0) -270))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6048865317612704 1.0d0) -53)
			       (scale-float (float -6569721984711602 1.0d0) -107)
			       (scale-float (float 7481914584676442 1.0d0) -164)
			       (scale-float (float -5916197970128717 1.0d0) -218)
			       (scale-float (float -7836459686559744 1.0d0) -272))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6069312070034399 1.0d0) -53)
			       (scale-float (float 7493750390382232 1.0d0) -108)
			       (scale-float (float 6714493630887683 1.0d0) -163)
			       (scale-float (float 4735122177247567 1.0d0) -218)
			       (scale-float (float -4941962754916352 1.0d0) -274))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6089701695779408 1.0d0) -53)
			       (scale-float (float 6045278015665200 1.0d0) -107)
			       (scale-float (float 4986473437314348 1.0d0) -161)
			       (scale-float (float 5124830363027071 1.0d0) -215)
			       (scale-float (float -8685303774765056 1.0d0) -269))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6110034002932808 1.0d0) -53)
			       (scale-float (float 5939368762867376 1.0d0) -108)
			       (scale-float (float 5567834601844250 1.0d0) -162)
			       (scale-float (float 5300167663866890 1.0d0) -216)
			       (scale-float (float 6738040557109248 1.0d0) -271))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6130308800119180 1.0d0) -53)
			       (scale-float (float 4620055988650794 1.0d0) -107)
			       (scale-float (float 4832520168769970 1.0d0) -163)
			       (scale-float (float 8968190560224699 1.0d0) -217)
			       (scale-float (float 7514552917917696 1.0d0) -271))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6150525896504412 1.0d0) -53)
			       (scale-float (float -8410260520695715 1.0d0) -109)
			       (scale-float (float 8554993117360727 1.0d0) -165)
			       (scale-float (float 5819339724088257 1.0d0) -220)
			       (scale-float (float 8400329153183744 1.0d0) -274))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6170685101797492 1.0d0) -53)
			       (scale-float (float 8420651303499559 1.0d0) -108)
			       (scale-float (float -4970902812289148 1.0d0) -162)
			       (scale-float (float -7326795827672023 1.0d0) -216)
			       (scale-float (float 7224475175321600 1.0d0) -271))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6190786226252304 1.0d0) -53)
			       (scale-float (float -8949598425759774 1.0d0) -107)
			       (scale-float (float 6954695760200578 1.0d0) -162)
			       (scale-float (float -6614108672187788 1.0d0) -219)
			       (scale-float (float 5154762600218624 1.0d0) -275))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6210829080669407 1.0d0) -53)
			       (scale-float (float -5156380214241847 1.0d0) -108)
			       (scale-float (float 5334034121559607 1.0d0) -162)
			       (scale-float (float 8070176566193680 1.0d0) -217)
			       (scale-float (float 8851958962061312 1.0d0) -277))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6230813476397823 1.0d0) -53)
			       (scale-float (float 8893780947316055 1.0d0) -108)
			       (scale-float (float 7767301829960617 1.0d0) -162)
			       (scale-float (float 7179345590973681 1.0d0) -222)
			       (scale-float (float 5937979382038528 1.0d0) -277))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6250739225336809 1.0d0) -53)
			       (scale-float (float 4825271369095292 1.0d0) -109)
			       (scale-float (float 8776203731192851 1.0d0) -163)
			       (scale-float (float -6709656828176138 1.0d0) -218)
			       (scale-float (float -6050141510893568 1.0d0) -272))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6270606139937627 1.0d0) -53)
			       (scale-float (float -6688989605664720 1.0d0) -107)
			       (scale-float (float -5956139094822349 1.0d0) -167)
			       (scale-float (float 4660601968416390 1.0d0) -221)
			       (scale-float (float -5979205406294016 1.0d0) -275))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6290414033205309 1.0d0) -53)
			       (scale-float (float 7948803281116707 1.0d0) -107)
			       (scale-float (float 5592877509532575 1.0d0) -161)
			       (scale-float (float 5510182001592507 1.0d0) -217)
			       (scale-float (float 7841036626427904 1.0d0) -272))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6310162718700422 1.0d0) -53)
			       (scale-float (float 5034574382400651 1.0d0) -107)
			       (scale-float (float 5591018388425185 1.0d0) -162)
			       (scale-float (float 7733615070437822 1.0d0) -220)
			       (scale-float (float -8216659223379968 1.0d0) -276))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6329852010540816 1.0d0) -53)
			       (scale-float (float 6562620425861985 1.0d0) -111)
			       (scale-float (float -8136290568547131 1.0d0) -166)
			       (scale-float (float 8426790677064153 1.0d0) -220)
			       (scale-float (float -7975017094316032 1.0d0) -274))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6349481723403377 1.0d0) -53)
			       (scale-float (float 8959543695439504 1.0d0) -108)
			       (scale-float (float 6972321431588115 1.0d0) -164)
			       (scale-float (float 4858285252195155 1.0d0) -218)
			       (scale-float (float 5563275298799616 1.0d0) -272))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 6369051672525773 1.0d0) -53)
			       (scale-float (float -7843040109683798 1.0d0) -107)
			       (scale-float (float 6048680740045173 1.0d0) -161)
			       (scale-float (float 5197737643093849 1.0d0) -217)
			       (scale-float (float 6206530073657344 1.0d0) -274))
		   (%make-qd-d q0 q1 q2 q3))))
1956
  "Table of sin(k/1024) for k = 1 to 256")
toy's avatar
toy committed
1957

1958
(defparameter +qd-cos-table+
Raymond Toy's avatar
Raymond Toy committed
1959
  (make-array 256 :initial-contents
toy's avatar
toy committed
1960
	      (list
1961
1962
1963
1964
1965
1966
1967
1968
1969
1970
1971
1972
1973
1974
1975
1976
1977
1978
1979
1980
1981
1982
1983
1984
1985
1986
1987
1988
1989
1990
1991
1992
1993
1994
1995
1996
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
2025
2026
2027
2028
2029
2030
2031
2032
2033
2034
2035
2036
2037
2038
2039
2040
2041
2042
2043
2044
2045
2046
2047
2048
2049
2050
2051
2052
2053
2054
2055
2056
2057
2058
2059
2060
2061
2062
2063
2064
2065
2066
2067
2068
2069
2070
2071
2072
2073
2074
2075
2076
2077
2078
2079
2080
2081
2082
2083
2084
2085
2086
2087
2088
2089
2090
2091
2092
2093
2094
2095
2096
2097
2098
2099
2100
2101
2102
2103
2104
2105
2106
2107
2108
2109
2110
2111
2112
2113
2114
2115
2116
2117
2118
2119
2120
2121
2122
2123
2124
2125
2126
2127
2128
2129
2130
2131
2132
2133
2134
2135
2136
2137
2138
2139
2140
2141
2142
2143
2144
2145
2146
2147
2148
2149
2150
2151
2152
2153
2154
2155
2156
2157
2158
2159
2160
2161
2162
2163
2164
2165
2166
2167
2168
2169
2170
2171
2172
2173
2174
2175
2176
2177
2178
2179
2180
2181
2182
2183
2184
2185
2186
2187
2188
2189
2190
2191
2192
2193
2194
2195
2196
2197
2198
2199
2200
2201
2202
2203
2204
2205
2206
2207
2208
2209
2210
2211
2212
2213
2214
2215
2216
2217
2218
2219
2220
2221
2222
2223
2224
2225
2226
2227
2228
2229
2230
2231
2232
2233
2234
2235
2236
2237
2238
2239
2240
2241
2242
2243
2244
2245
2246
2247
2248
2249
2250
2251
2252
2253
2254
2255
2256
2257
2258
2259
2260
2261
2262
2263
2264
2265
2266
2267
2268
2269
2270
2271
2272
2273
2274
2275
2276
2277
2278
2279
2280
2281
2282
2283
2284
2285
2286
2287
2288
2289
2290
2291
2292
2293
2294
2295
2296
2297
2298
2299
2300
2301
2302
2303
2304
2305
2306
2307
2308
2309
2310
2311
2312
2313
2314
2315
2316
2317
2318
2319
2320
2321
2322
2323
2324
2325
2326
2327
2328
2329
2330
2331
2332
2333
2334
2335
2336
2337
2338
2339
2340
2341
2342
2343
2344
2345
2346
2347
2348
2349
2350
2351
2352
2353
2354
2355
2356
2357
2358
2359
2360
2361
2362
2363
2364
2365
2366
2367
2368
2369
2370
2371
2372
2373
2374
2375
2376
2377
2378
2379
2380
2381
2382
2383
2384
2385
2386
2387
2388
2389
2390
2391
2392
2393
2394
2395
2396
2397
2398
2399
2400
2401
2402
2403
2404
2405
2406
2407
2408
2409
2410
2411
2412
2413
2414
2415
2416
2417
2418
2419
2420
2421
2422
2423
2424
2425
2426
2427
2428
2429
2430
2431
2432
2433
2434
2435
2436
2437
2438
2439
2440
2441
2442
2443
2444
2445
2446
2447
2448
2449
2450
2451
2452
2453
2454
2455
2456
2457
2458
2459
2460
2461
2462
2463
2464
2465
2466
2467
2468
2469
2470
2471
2472
2473
2474
2475
2476
2477
2478
2479
2480
2481
2482
2483
2484
2485
2486
2487
2488
2489
2490
2491
2492
2493
2494
2495
2496
2497
2498
2499
2500
2501
2502
2503
2504
2505
2506
2507
2508
2509
2510
2511
2512
2513
2514
2515
2516
2517
2518
2519
2520
2521
2522
2523
2524
2525
2526
2527
2528
2529
2530
2531
2532
2533
2534
2535
2536
2537
2538
2539
2540
2541
2542
2543
2544
2545
2546
2547
2548
2549
2550
2551
2552
2553
2554
2555
2556
2557
2558
2559
2560
2561
2562
2563
2564
2565
2566
2567
2568
2569
2570
2571
2572
2573
2574
2575
2576
2577
2578
2579
2580
2581
2582
2583
2584
2585
2586
2587
2588
2589
2590
2591
2592
2593
2594
2595
2596
2597
2598
2599
2600
2601
2602
2603
2604
2605
2606
2607
2608
2609
2610
2611
2612
2613
2614
2615
2616
2617
2618
2619
2620
2621
2622
2623
2624
2625
2626
2627
2628
2629
2630
2631
2632
2633
2634
2635
2636
2637
2638
2639
2640
2641
2642
2643
2644
2645
2646
2647
2648
2649
2650
2651
2652
2653
2654
2655
2656
2657
2658
2659
2660
2661
2662
2663
2664
2665
2666
2667
2668
2669
2670
2671
2672
2673
2674
2675
2676
2677
2678
2679
2680
2681
2682
2683
2684
2685
2686
2687
2688
2689
2690
2691
2692
2693
2694
2695
2696
2697
2698
2699
2700
2701
2702
2703
2704
2705
2706
2707
2708
2709
2710
2711
2712
2713
2714
2715
2716
2717
2718
2719
2720
2721
2722
2723
2724
2725
2726
2727
2728
2729
2730
2731
2732
2733
2734
2735
2736
2737
2738
2739
2740
2741
2742
2743
2744
2745
2746
2747
2748
2749
2750
2751
2752
2753
2754
2755
2756
2757
2758
2759
2760
2761
2762
2763
2764
2765
2766
2767
2768
2769
2770
2771
2772
2773
2774
2775
2776
2777
2778
2779
2780
2781
2782
2783
2784
2785
2786
2787
2788
2789
2790
2791
2792
2793
2794
2795
2796
2797
2798
2799
2800
2801
2802
2803
2804
2805
2806
2807
2808
2809
2810
2811
2812
2813
2814
2815
2816
2817
2818
2819
2820
2821
2822
2823
2824
2825
2826
2827
2828
2829
2830
2831
2832
2833
2834
2835
2836
2837
2838
2839
2840
2841
2842
2843
2844
2845
2846
2847
2848
2849
2850
2851
2852
2853
2854
2855
2856
2857
2858
2859
2860
2861
2862
2863
2864
2865
2866
2867
2868
2869
2870
2871
2872
2873
2874
2875
2876
2877
2878
2879
2880
2881
2882
2883
2884
2885
2886
2887
2888
2889
2890
2891
2892
2893
2894
2895
2896
2897
2898
2899
2900
2901
2902
2903
2904
2905
2906
2907
2908
2909
2910
2911
2912
2913
2914
2915
2916
2917
2918
2919
2920
2921
2922
2923
2924
2925
2926
2927
2928
2929
2930
2931
2932
2933
2934
2935
2936
2937
2938
2939
2940
2941
2942
2943
2944
2945
2946
2947
2948
2949
2950
2951
2952
2953
2954
2955
2956
2957
2958
2959
2960
2961
2962
2963
2964
2965
2966
2967
2968
2969
2970
2971
2972
2973
2974
2975
2976
2977
2978
2979
2980
2981
2982
2983
2984
2985
2986
2987
2988
2989
2990
2991
2992
2993
2994
2995
2996
2997
2998
2999
3000
3001
3002
3003
3004
3005
3006
3007
3008
3009
3010
3011
3012
3013
3014
3015
3016
3017
3018
3019
3020
3021
3022
3023
3024
3025
3026
3027
3028
3029
3030
3031
3032
3033
3034
3035
3036
3037
3038
3039
3040
3041
3042
3043
3044
3045
3046
3047
3048
3049
3050
3051
3052
3053
3054
3055
3056
3057
3058
3059
3060
3061
3062
3063
3064
3065
3066
3067
3068
3069
3070
3071
3072
3073
3074
3075
3076
3077
3078
3079
3080
3081
3082
3083
3084
3085
3086
3087
3088
3089
3090
3091
3092
3093
3094
3095
3096
3097
3098
3099
3100
3101
3102
3103
3104
3105
3106
3107
3108
3109
3110
3111
3112
3113
3114
3115
3116
3117
3118
3119
3120
3121
3122
3123
3124
3125
3126
3127
3128
3129
3130
3131
3132
3133
3134
3135
3136
3137
3138
3139
3140
3141
3142
3143
3144
3145
3146
3147
3148
3149
3150
3151
3152
3153
3154
3155
3156
3157
3158
3159
3160
3161
3162
3163
3164
3165
3166
3167
3168
3169
3170
3171
3172
3173
3174
3175
3176
3177
3178
3179
3180
3181
3182
3183
3184
3185
3186
3187
3188
3189
3190
3191
3192
3193
3194
3195
3196
3197
3198
3199
3200
3201
3202
3203
3204
3205
3206
3207
3208
3209
3210
3211
3212
3213
3214
3215
3216
3217
3218
3219
3220
3221
3222
3223
3224
3225
3226
3227
3228
3229
3230
3231
3232
3233
3234
3235
3236
3237
3238
3239
3240
3241
3242
3243
3244
3245
3246
3247
3248
3249
3250
3251
3252
3253
3254
3255
3256
3257
3258
3259
3260
3261
3262
3263
3264
3265
3266
3267
3268
3269
3270
3271
3272
3273
3274
3275
3276
3277
3278
3279
3280
3281
3282
3283
3284
3285
3286
3287
3288
3289
3290
3291
3292
3293
3294
3295
3296
3297
3298
3299
3300
3301
3302
3303
3304
3305
3306
3307
3308
3309
3310
3311
3312
3313
3314
3315
3316
3317
3318
3319
3320
3321
3322
3323
3324
3325
3326
3327
3328
3329
3330
3331
3332
3333
3334
3335
3336
3337
3338
3339
3340
3341
3342
3343
3344
3345
3346
3347
3348
3349
3350
3351
3352
3353
3354
3355
3356
3357
3358
3359
3360
3361
3362
3363
3364
3365
3366
3367
3368
3369
3370
3371
3372
3373
3374
3375
3376
3377
3378
3379
3380
3381
3382
3383
3384
3385
3386
3387
3388
3389
3390
3391
3392
3393
3394
3395
3396
3397
3398
3399
3400
3401
3402
3403
3404
3405
3406
3407
3408
3409
3410
3411
3412
3413
3414
3415
3416
3417
3418
3419
3420
3421
3422
3423
3424
3425
3426
3427
3428
3429
3430
3431
3432
3433
3434
3435
3436
3437
3438
3439
3440
3441
3442
3443
3444
3445
3446
3447
3448
3449
3450
3451
3452
3453
3454
3455
3456
3457
3458
3459
3460
3461
3462
3463
3464
3465
3466
3467
3468
3469
3470
3471
3472
3473
3474
3475
3476
3477
3478
3479
3480
3481
3482
3483
3484
3485
3486
3487
3488
3489
3490
3491
3492
3493
3494
3495
3496
3497
3498
3499
3500
3501
3502
3503
3504
3505
3506
3507
3508
3509
3510
3511
3512
3513
3514
3515
3516
3517
3518
3519
3520
3521
3522
3523
3524
3525
3526
3527
3528
3529
3530
3531
3532
3533
3534
3535
3536
3537
3538
3539
3540
3541
3542
3543
3544
3545
3546
3547
3548
3549
3550
3551
3552
3553
3554
3555
3556
3557
3558
3559
3560
3561
3562
3563
3564
3565
3566
3567
3568
3569
3570
3571
3572
3573
3574
3575
3576
3577
3578
3579
3580
3581
3582
3583
3584
3585
3586
3587
3588
3589
3590
3591
3592
3593
3594
3595
3596
3597
3598
3599
3600
3601
3602
3603
3604
3605
3606
3607
3608
3609
3610
3611
3612
3613
3614
3615
3616
3617
3618
3619
3620
3621
3622
3623
3624
3625
3626
3627
3628
3629
3630
3631
3632
3633
3634
3635
3636
3637
3638
3639
3640
3641
3642
3643
3644
3645
3646
3647
3648
3649
3650
3651
3652
3653
3654
3655
3656
3657
3658
3659
3660
3661
3662
3663
3664
3665
3666
3667
3668
3669
3670
3671
3672
3673
3674
3675
3676
3677
3678
3679
3680
3681
3682
3683
3684
3685
3686
3687
3688
3689
3690
3691
3692
3693
3694
3695
3696
3697
3698
3699
3700
3701
3702
3703
3704
3705
3706
3707
3708
3709
3710
3711
3712
3713
3714
3715
3716
3717
3718
3719
3720
3721
3722
3723
3724
3725
3726
3727
3728
3729
3730
3731
3732
3733
3734
3735
3736
3737
3738
3739
3740
3741
3742
3743
3744
3745
3746
3747
3748
3749
3750
3751
3752
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 9007156865146114 1.0d0) -53)
			       (scale-float (float -6382651775133715 1.0d0) -108)
			       (scale-float (float -7372276689025835 1.0d0) -163)
			       (scale-float (float 7180257539184632 1.0d0) -223)
			       (scale-float (float 4647614729420800 1.0d0) -277))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 9007029696760466 1.0d0) -53)
			       (scale-float (float 5446736202153207 1.0d0) -107)
			       (scale-float (float -5514938334717690 1.0d0) -168)
			       (scale-float (float 6645835630926151 1.0d0) -222)
			       (scale-float (float 6226651211890688 1.0d0) -276))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 9006817750781007 1.0d0) -53)
			       (scale-float (float -5115684009971601 1.0d0) -107)
			       (scale-float (float 7705986954927589 1.0d0) -161)
			       (scale-float (float 5269566330016025 1.0d0) -215)
			       (scale-float (float -4652247029481472 1.0d0) -270))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 9006521029202651 1.0d0) -53)
			       (scale-float (float 6154670017854733 1.0d0) -107)
			       (scale-float (float -7959914909379173 1.0d0) -166)
			       (scale-float (float -8417733335951937 1.0d0) -220)
			       (scale-float (float 8340201740959744 1.0d0) -274))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 9006139534818257 1.0d0) -53)
			       (scale-float (float -5756604584677720 1.0d0) -107)
			       (scale-float (float 4998920502946311 1.0d0) -161)
			       (scale-float (float -5647576219871589 1.0d0) -215)
			       (scale-float (float -6721652409794560 1.0d0) -271))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 9005673271218593 1.0d0) -53)
			       (scale-float (float 6109107373172336 1.0d0) -108)
			       (scale-float (float -6007767124009731 1.0d0) -163)
			       (scale-float (float -8083524655498703 1.0d0) -217)
			       (scale-float (float -7072462970978304 1.0d0) -271))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 9005122242792311 1.0d0) -53)
			       (scale-float (float 6925416919478846 1.0d0) -107)
			       (scale-float (float 5571917222010501 1.0d0) -161)
			       (scale-float (float -6342027657037425 1.0d0) -216)
			       (scale-float (float -4603410360238080 1.0d0) -270))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 9004486454725901 1.0d0) -53)
			       (scale-float (float -4843680596157643 1.0d0) -107)
			       (scale-float (float -5578489598087899 1.0d0) -161)
			       (scale-float (float 4716327604025735 1.0d0) -219)
			       (scale-float (float -6122578428821504 1.0d0) -274))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 9003765913003641 1.0d0) -53)
			       (scale-float (float -6682155943911976 1.0d0) -107)
			       (scale-float (float 6113568212113372 1.0d0) -161)
			       (scale-float (float 8572777647471794 1.0d0) -216)
			       (scale-float (float -5138763782258688 1.0d0) -270))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 9002960624407544 1.0d0) -53)
			       (scale-float (float 6658445016247619 1.0d0) -108)
			       (scale-float (float -5574027242944025 1.0d0) -163)
			       (scale-float (float -6201546866284994 1.0d0) -217)
			       (scale-float (float -6038475427643392 1.0d0) -271))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 9002070596517294 1.0d0) -53)
			       (scale-float (float 6432687535538725 1.0d0) -107)
			       (scale-float (float -5555395417668222 1.0d0) -164)
			       (scale-float (float -8665438431468013 1.0d0) -222)
			       (scale-float (float -5031988419362816 1.0d0) -278))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 9001095837710173 1.0d0) -53)
			       (scale-float (float -6954195453368662 1.0d0) -107)
			       (scale-float (float 7771704866044900 1.0d0) -164)
			       (scale-float (float -7039433522181404 1.0d0) -219)
			       (scale-float (float -6185930852270080 1.0d0) -273))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 9000036357160980 1.0d0) -53)
			       (scale-float (float 5957921611966531 1.0d0) -109)
			       (scale-float (float 6479270319865368 1.0d0) -163)
			       (scale-float (float 5409988246591494 1.0d0) -222)
			       (scale-float (float -7994611314196480 1.0d0) -277))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8998892164841951 1.0d0) -53)
			       (scale-float (float 6950865384540836 1.0d0) -108)
			       (scale-float (float -4621163143123886 1.0d0) -162)
			       (scale-float (float -5599064490362240 1.0d0) -216)
			       (scale-float (float 5583424856309760 1.0d0) -270))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8997663271522660 1.0d0) -53)
			       (scale-float (float -6688535702623983 1.0d0) -108)
			       (scale-float (float -7334707016190584 1.0d0) -162)
			       (scale-float (float -7916945128397036 1.0d0) -216)
			       (scale-float (float -8791179288117248 1.0d0) -271))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8996349688769918 1.0d0) -53)
			       (scale-float (float -7977765087521301 1.0d0) -109)
			       (scale-float (float 5721708006624170 1.0d0) -164)
			       (scale-float (float 4517430183150016 1.0d0) -218)
			       (scale-float (float 5871275226955776 1.0d0) -273))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8994951428947667 1.0d0) -53)
			       (scale-float (float -7900445453445422 1.0d0) -107)
			       (scale-float (float -6891478759949600 1.0d0) -164)
			       (scale-float (float -5476513299440062 1.0d0) -218)
			       (scale-float (float 8356532741472256 1.0d0) -274))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8993468505216860 1.0d0) -53)
			       (scale-float (float -7140359403681271 1.0d0) -108)
			       (scale-float (float -7232392529862741 1.0d0) -162)
			       (scale-float (float -5246916413682806 1.0d0) -217)
			       (scale-float (float -7238965407514624 1.0d0) -272))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8991900931535341 1.0d0) -53)
			       (scale-float (float -8416291772118320 1.0d0) -107)
			       (scale-float (float 6126729149397296 1.0d0) -162)
			       (scale-float (float -6107196519366287 1.0d0) -217)
			       (scale-float (float -5238413251313664 1.0d0) -273))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8990248722657709 1.0d0) -53)
			       (scale-float (float 4532792009051038 1.0d0) -107)
			       (scale-float (float 7138950646897488 1.0d0) -161)
			       (scale-float (float -7124028913967965 1.0d0) -216)
			       (scale-float (float -8901045372518400 1.0d0) -272))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8988511894135185 1.0d0) -53)
			       (scale-float (float 5563435675856346 1.0d0) -108)
			       (scale-float (float 6768020100627694 1.0d0) -163)
			       (scale-float (float -7801655263446071 1.0d0) -219)
			       (scale-float (float -7241441876901888 1.0d0) -274))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8986690462315460 1.0d0) -53)
			       (scale-float (float -8565496940783238 1.0d0) -108)
			       (scale-float (float -7565304489103248 1.0d0) -165)
			       (scale-float (float -8418659784422752 1.0d0) -219)
			       (scale-float (float 6926739732430848 1.0d0) -274))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8984784444342543 1.0d0) -53)
			       (scale-float (float 7270150983818169 1.0d0) -110)
			       (scale-float (float -5563309902486145 1.0d0) -166)
			       (scale-float (float -4888785479057611 1.0d0) -231)
			       (scale-float (float 7720818968625152 1.0d0) -286))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8982793858156602 1.0d0) -53)
			       (scale-float (float 5948275509591605 1.0d0) -109)
			       (scale-float (float 7930006667538804 1.0d0) -163)
			       (scale-float (float -5809288382338202 1.0d0) -222)
			       (scale-float (float -5183447321542656 1.0d0) -276))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8980718722493792 1.0d0) -53)
			       (scale-float (float 5430523834411255 1.0d0) -108)
			       (scale-float (float -7699162237707398 1.0d0) -162)
			       (scale-float (float 8687041402074628 1.0d0) -219)
			       (scale-float (float -5875359970492416 1.0d0) -275))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8978559056886080 1.0d0) -53)
			       (scale-float (float 7636379253722903 1.0d0) -107)
			       (scale-float (float 8304848910636198 1.0d0) -161)
			       (scale-float (float -8425631601226793 1.0d0) -216)
			       (scale-float (float -7284343497818112 1.0d0) -274))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8976314881661062 1.0d0) -53)
			       (scale-float (float 7598393650369643 1.0d0) -109)
			       (scale-float (float -8878261545093758 1.0d0) -163)
			       (scale-float (float 5997503087615023 1.0d0) -217)
			       (scale-float (float -6238645926363136 1.0d0) -272))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8973986217941769 1.0d0) -53)
			       (scale-float (float 7357807798683726 1.0d0) -109)
			       (scale-float (float 7951143844149272 1.0d0) -164)
			       (scale-float (float 5218035394662342 1.0d0) -222)
			       (scale-float (float 7027860686503936 1.0d0) -276))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8971573087646471 1.0d0) -53)
			       (scale-float (float 7421749611895653 1.0d0) -108)
			       (scale-float (float -4581496555918016 1.0d0) -163)
			       (scale-float (float -7810225024786925 1.0d0) -217)
			       (scale-float (float 7869119827017728 1.0d0) -274))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8969075513488470 1.0d0) -53)
			       (scale-float (float -7513223803443073 1.0d0) -108)
			       (scale-float (float -7626238511742260 1.0d0) -165)
			       (scale-float (float -5366856187311050 1.0d0) -221)
			       (scale-float (float -8321992797192192 1.0d0) -279))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8966493518975884 1.0d0) -53)
			       (scale-float (float 8329643948299160 1.0d0) -111)
			       (scale-float (float -7408252878990684 1.0d0) -170)
			       (scale-float (float -7497946385569394 1.0d0) -224)
			       (scale-float (float 7582116766285824 1.0d0) -279))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8963827128411430 1.0d0) -53)
			       (scale-float (float -6893895888146887 1.0d0) -107)
			       (scale-float (float 7784256318365108 1.0d0) -162)
			       (scale-float (float 7153652023322651 1.0d0) -216)
			       (scale-float (float 4965114949697536 1.0d0) -270))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8961076366892190 1.0d0) -53)
			       (scale-float (float 5468892236673259 1.0d0) -110)
			       (scale-float (float -7868743052739110 1.0d0) -167)
			       (scale-float (float 8477913984177349 1.0d0) -221)
			       (scale-float (float -5579356937125888 1.0d0) -276))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8958241260309380 1.0d0) -53)
			       (scale-float (float 5962228427073425 1.0d0) -107)
			       (scale-float (float -8945355811576285 1.0d0) -161)
			       (scale-float (float 5475118791675541 1.0d0) -215)
			       (scale-float (float 4625777543659520 1.0d0) -270))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8955321835348103 1.0d0) -53)
			       (scale-float (float 7160408339531907 1.0d0) -107)
			       (scale-float (float -8800353687418162 1.0d0) -161)
			       (scale-float (float 7814338741356067 1.0d0) -216)
			       (scale-float (float -5255802045693952 1.0d0) -271))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8952318119487099 1.0d0) -53)
			       (scale-float (float -6154445520718857 1.0d0) -108)
			       (scale-float (float -5979147254374853 1.0d0) -168)
			       (scale-float (float -5754250618745921 1.0d0) -222)
			       (scale-float (float 8297896894005248 1.0d0) -276))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8949230140998484 1.0d0) -53)
			       (scale-float (float 4827588292883036 1.0d0) -107)
			       (scale-float (float -5269205324285223 1.0d0) -163)
			       (scale-float (float -7066073884583852 1.0d0) -217)
			       (scale-float (float 8372737114701824 1.0d0) -272))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8946057928947489 1.0d0) -53)
			       (scale-float (float 5370280075238301 1.0d0) -107)
			       (scale-float (float 4557784045899430 1.0d0) -161)
			       (scale-float (float 6055026141926995 1.0d0) -218)
			       (scale-float (float -7308959128748032 1.0d0) -274))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8942801513192182 1.0d0) -53)
			       (scale-float (float -4573932509451197 1.0d0) -108)
			       (scale-float (float -6988642513170233 1.0d0) -162)
			       (scale-float (float 7903423679430231 1.0d0) -218)
			       (scale-float (float -4786535270383616 1.0d0) -272))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8939460924383187 1.0d0) -53)
			       (scale-float (float 5045136634195182 1.0d0) -107)
			       (scale-float (float -5372361566405903 1.0d0) -161)
			       (scale-float (float -6720737022123546 1.0d0) -220)
			       (scale-float (float -5558062788640768 1.0d0) -275))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8936036193963400 1.0d0) -53)
			       (scale-float (float -6398195821015223 1.0d0) -107)
			       (scale-float (float -7337680936016907 1.0d0) -163)
			       (scale-float (float -5459780776141598 1.0d0) -218)
			       (scale-float (float -5736241082269696 1.0d0) -272))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8932527354167686 1.0d0) -53)
			       (scale-float (float -6067949506678475 1.0d0) -111)
			       (scale-float (float 5064661831761972 1.0d0) -167)
			       (scale-float (float -8471798904647962 1.0d0) -222)
			       (scale-float (float -7569794282815488 1.0d0) -278))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8928934438022583 1.0d0) -53)
			       (scale-float (float -8175307614637614 1.0d0) -108)
			       (scale-float (float -7513563295790417 1.0d0) -162)
			       (scale-float (float 5516806786798278 1.0d0) -216)
			       (scale-float (float 5289066156359680 1.0d0) -271))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8925257479345985 1.0d0) -53)
			       (scale-float (float 4995821998689288 1.0d0) -108)
			       (scale-float (float -6313677797518807 1.0d0) -162)
			       (scale-float (float 4625503888993559 1.0d0) -220)
			       (scale-float (float 8326015007326208 1.0d0) -274))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8921496512746829 1.0d0) -53)
			       (scale-float (float -8991019785543599 1.0d0) -107)
			       (scale-float (float -8543364032599344 1.0d0) -162)
			       (scale-float (float -8075214757855398 1.0d0) -217)
			       (scale-float (float -5854745001787392 1.0d0) -271))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8917651573624763 1.0d0) -53)
			       (scale-float (float -5534821618232727 1.0d0) -108)
			       (scale-float (float 7865766552369999 1.0d0) -162)
			       (scale-float (float 7700180873329070 1.0d0) -216)
			       (scale-float (float 6973396458733568 1.0d0) -272))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8913722698169820 1.0d0) -53)
			       (scale-float (float -8502096954648678 1.0d0) -107)
			       (scale-float (float 7870589230495605 1.0d0) -162)
			       (scale-float (float 6110391933205275 1.0d0) -216)
			       (scale-float (float -6053092350230528 1.0d0) -274))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8909709923362071 1.0d0) -53)
			       (scale-float (float -6650571269560095 1.0d0) -107)
			       (scale-float (float -5244751855479113 1.0d0) -163)
			       (scale-float (float -8301663588356049 1.0d0) -217)
			       (scale-float (float -8409129498443776 1.0d0) -272))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8905613286971281 1.0d0) -53)
			       (scale-float (float -7123978755460638 1.0d0) -109)
			       (scale-float (float 7555692813056111 1.0d0) -164)
			       (scale-float (float 8118983438487515 1.0d0) -219)
			       (scale-float (float -6274343922434048 1.0d0) -273))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8901432827556552 1.0d0) -53)
			       (scale-float (float 8771933742692817 1.0d0) -108)
			       (scale-float (float 7250438674596944 1.0d0) -166)
			       (scale-float (float 7083606337494008 1.0d0) -221)
			       (scale-float (float -5911679515754496 1.0d0) -276))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8897168584465961 1.0d0) -53)
			       (scale-float (float -7658862886582027 1.0d0) -108)
			       (scale-float (float -7204199762688552 1.0d0) -162)
			       (scale-float (float 6346308409048664 1.0d0) -217)
			       (scale-float (float -7548343030775808 1.0d0) -272))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8892820597836187 1.0d0) -53)
			       (scale-float (float -8491394866189883 1.0d0) -107)
			       (scale-float (float -8166182587214152 1.0d0) -161)
			       (scale-float (float 6357787596929140 1.0d0) -215)
			       (scale-float (float 8624953857998848 1.0d0) -272))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8888388908592136 1.0d0) -53)
			       (scale-float (float -8159567034358810 1.0d0) -107)
			       (scale-float (float -6629817546842393 1.0d0) -161)
			       (scale-float (float 4634129890739685 1.0d0) -216)
			       (scale-float (float 8624457930817536 1.0d0) -270))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8883873558446555 1.0d0) -53)
			       (scale-float (float -6983923910930642 1.0d0) -108)
			       (scale-float (float 6937180072251376 1.0d0) -162)
			       (scale-float (float -8270405867504028 1.0d0) -216)
			       (scale-float (float -7710785325826048 1.0d0) -270))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8879274589899640 1.0d0) -53)
			       (scale-float (float -8346528441017500 1.0d0) -107)
			       (scale-float (float 7680611814957263 1.0d0) -161)
			       (scale-float (float 7943027189392270 1.0d0) -216)
			       (scale-float (float -8950289039622144 1.0d0) -275))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8874592046238633 1.0d0) -53)
			       (scale-float (float 7514433837333686 1.0d0) -108)
			       (scale-float (float -8801276453264781 1.0d0) -163)
			       (scale-float (float 8915512537041539 1.0d0) -219)
			       (scale-float (float -6706195078053888 1.0d0) -274))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8869825971537420 1.0d0) -53)
			       (scale-float (float 6846136909451560 1.0d0) -109)
			       (scale-float (float 6731359750255182 1.0d0) -164)
			       (scale-float (float -6197790138101606 1.0d0) -220)
			       (scale-float (float -5827577104039936 1.0d0) -275))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8864976410656110 1.0d0) -53)
			       (scale-float (float 7785836584894173 1.0d0) -107)
			       (scale-float (float 5284186529715868 1.0d0) -164)
			       (scale-float (float 7402980542247590 1.0d0) -218)
			       (scale-float (float -6330898283495424 1.0d0) -272))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8860043409240618 1.0d0) -53)
			       (scale-float (float 6446544258894238 1.0d0) -108)
			       (scale-float (float -8038901621714735 1.0d0) -169)
			       (scale-float (float 4846229103018903 1.0d0) -224)
			       (scale-float (float 5075986748014592 1.0d0) -280))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8855027013722231 1.0d0) -53)
			       (scale-float (float 6842474924546396 1.0d0) -107)
			       (scale-float (float 4816891086673617 1.0d0) -162)
			       (scale-float (float -8509622836947172 1.0d0) -216)
			       (scale-float (float 6116515596484608 1.0d0) -270))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8849927271317175 1.0d0) -53)
			       (scale-float (float 4916320054218436 1.0d0) -108)
			       (scale-float (float -4887585510279573 1.0d0) -163)
			       (scale-float (float -4665371238305833 1.0d0) -217)
			       (scale-float (float 5226898507431936 1.0d0) -273))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8844744230026167 1.0d0) -53)
			       (scale-float (float 6850081623240539 1.0d0) -108)
			       (scale-float (float -8916921648409142 1.0d0) -162)
			       (scale-float (float -7202105646592469 1.0d0) -216)
			       (scale-float (float -8736424918941696 1.0d0) -270))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8839477938633966 1.0d0) -53)
			       (scale-float (float 8715376239079668 1.0d0) -109)
			       (scale-float (float -7634216994416838 1.0d0) -163)
			       (scale-float (float 4712162648716876 1.0d0) -220)
			       (scale-float (float 4657639888257024 1.0d0) -274))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8834128446708912 1.0d0) -53)
			       (scale-float (float 6018826142883795 1.0d0) -108)
			       (scale-float (float -6253218580383489 1.0d0) -162)
			       (scale-float (float 7020978235349363 1.0d0) -216)
			       (scale-float (float 4743599271837696 1.0d0) -271))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8828695804602461 1.0d0) -53)
			       (scale-float (float -5971431338778072 1.0d0) -107)
			       (scale-float (float 7394633722946009 1.0d0) -163)
			       (scale-float (float 7835308697779253 1.0d0) -218)
			       (scale-float (float 8677283430989824 1.0d0) -272))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8823180063448708 1.0d0) -53)
			       (scale-float (float 5054049223849600 1.0d0) -108)
			       (scale-float (float -7834271977802953 1.0d0) -162)
			       (scale-float (float -7272320165403980 1.0d0) -218)
			       (scale-float (float -6060777007677440 1.0d0) -272))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8817581275163911 1.0d0) -53)
			       (scale-float (float -6183435703505308 1.0d0) -111)
			       (scale-float (float -5001726456690585 1.0d0) -165)
			       (scale-float (float -6933175510886964 1.0d0) -219)
			       (scale-float (float -5841804373393408 1.0d0) -273))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8811899492445997 1.0d0) -53)
			       (scale-float (float -7017091372002309 1.0d0) -108)
			       (scale-float (float 6413304785703535 1.0d0) -162)
			       (scale-float (float 8118727090730765 1.0d0) -216)
			       (scale-float (float -6790498992046080 1.0d0) -270))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8806134768774068 1.0d0) -53)
			       (scale-float (float 8196387204119507 1.0d0) -107)
			       (scale-float (float -7748736525621098 1.0d0) -162)
			       (scale-float (float 7388842477950275 1.0d0) -216)
			       (scale-float (float -8021260472156160 1.0d0) -270))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8800287158407901 1.0d0) -53)
			       (scale-float (float -7034568527191045 1.0d0) -107)
			       (scale-float (float 6424625550657811 1.0d0) -163)
			       (scale-float (float -7814615457557805 1.0d0) -219)
			       (scale-float (float -6451150358315008 1.0d0) -273))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8794356716387429 1.0d0) -53)
			       (scale-float (float 6042141602652702 1.0d0) -109)
			       (scale-float (float -4815349649953967 1.0d0) -163)
			       (scale-float (float -6721857373013784 1.0d0) -217)
			       (scale-float (float 5344386943254528 1.0d0) -271))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8788343498532233 1.0d0) -53)
			       (scale-float (float -8298768912839398 1.0d0) -108)
			       (scale-float (float -5446972436275558 1.0d0) -162)
			       (scale-float (float -7049677529730599 1.0d0) -219)
			       (scale-float (float 5156198265389056 1.0d0) -277))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8782247561441008 1.0d0) -53)
			       (scale-float (float 8646037700366584 1.0d0) -108)
			       (scale-float (float 8333782932738579 1.0d0) -165)
			       (scale-float (float -5587385824373688 1.0d0) -220)
			       (scale-float (float 7163783185170432 1.0d0) -277))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8776068962491037 1.0d0) -53)
			       (scale-float (float 5981843094371335 1.0d0) -111)
			       (scale-float (float 5031627907802402 1.0d0) -165)
			       (scale-float (float 8605971594377410 1.0d0) -220)
			       (scale-float (float 4691414601957376 1.0d0) -275))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8769807759837646 1.0d0) -53)
			       (scale-float (float -8393641348716169 1.0d0) -107)
			       (scale-float (float -4533131738151266 1.0d0) -161)
			       (scale-float (float -8690963173342473 1.0d0) -215)
			       (scale-float (float 7559291244019712 1.0d0) -269))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8763464012413658 1.0d0) -53)
			       (scale-float (float -5080534473348267 1.0d0) -107)
			       (scale-float (float -7855304661081380 1.0d0) -161)
			       (scale-float (float -7296856099117507 1.0d0) -221)
			       (scale-float (float 5820900656021504 1.0d0) -276))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8757037779928840 1.0d0) -53)
			       (scale-float (float 5916163041813500 1.0d0) -107)
			       (scale-float (float 8859516786540065 1.0d0) -161)
			       (scale-float (float -8561614259167781 1.0d0) -222)
			       (scale-float (float 8906252604145664 1.0d0) -277))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8750529122869341 1.0d0) -53)
			       (scale-float (float -5183562189985281 1.0d0) -109)
			       (scale-float (float -5101040255073374 1.0d0) -163)
			       (scale-float (float 5780805313355459 1.0d0) -220)
			       (scale-float (float -5212699000832000 1.0d0) -274))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8743938102497119 1.0d0) -53)
			       (scale-float (float -7787173714602643 1.0d0) -107)
			       (scale-float (float 8870592638467604 1.0d0) -161)
			       (scale-float (float 4527859829386072 1.0d0) -215)
			       (scale-float (float -7109348041826304 1.0d0) -269))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8737264780849367 1.0d0) -53)
			       (scale-float (float 5959880706574729 1.0d0) -108)
			       (scale-float (float -8366277013359923 1.0d0) -162)
			       (scale-float (float 7232577075726740 1.0d0) -219)
			       (scale-float (float 4922377451601920 1.0d0) -274))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8730509220737932 1.0d0) -53)
			       (scale-float (float -7409352491475308 1.0d0) -107)
			       (scale-float (float 5620790720594497 1.0d0) -162)
			       (scale-float (float 6846782194285202 1.0d0) -219)
			       (scale-float (float -7328175199092736 1.0d0) -275))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8723671485748716 1.0d0) -53)
			       (scale-float (float 8027789877305549 1.0d0) -107)
			       (scale-float (float 8347728572284626 1.0d0) -161)
			       (scale-float (float 6629242611071548 1.0d0) -216)
			       (scale-float (float -5618340135436288 1.0d0) -274))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8716751640241088 1.0d0) -53)
			       (scale-float (float -7384765759223300 1.0d0) -107)
			       (scale-float (float -8259014728839389 1.0d0) -162)
			       (scale-float (float -8911590265625930 1.0d0) -216)
			       (scale-float (float 4719924142702592 1.0d0) -271))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8709749749347266 1.0d0) -53)
			       (scale-float (float 6246370251798351 1.0d0) -107)
			       (scale-float (float -6299847417742655 1.0d0) -163)
			       (scale-float (float -7418590254845397 1.0d0) -217)
			       (scale-float (float 5499354970587136 1.0d0) -271))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8702665878971716 1.0d0) -53)
			       (scale-float (float 8323712745751476 1.0d0) -107)
			       (scale-float (float 6811334649930440 1.0d0) -165)
			       (scale-float (float 8505841244414894 1.0d0) -219)
			       (scale-float (float -4604923142471680 1.0d0) -274))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8695500095790524 1.0d0) -53)
			       (scale-float (float -7705819592372010 1.0d0) -108)
			       (scale-float (float 6924187360006505 1.0d0) -163)
			       (scale-float (float -8174591260972689 1.0d0) -217)
			       (scale-float (float -7148565255880704 1.0d0) -272))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8688252467250769 1.0d0) -53)
			       (scale-float (float -5547558796790388 1.0d0) -107)
			       (scale-float (float 6717667801494033 1.0d0) -161)
			       (scale-float (float -4752616405244403 1.0d0) -216)
			       (scale-float (float -5509960524693504 1.0d0) -270))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8680923061569891 1.0d0) -53)
			       (scale-float (float 8588042960215234 1.0d0) -108)
			       (scale-float (float -8702070775005543 1.0d0) -171)
			       (scale-float (float -6976332996211473 1.0d0) -225)
			       (scale-float (float 5268299529060352 1.0d0) -279))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8673511947735049 1.0d0) -53)
			       (scale-float (float 5798624754283258 1.0d0) -109)
			       (scale-float (float -4568215043570977 1.0d0) -163)
			       (scale-float (float 6829329873018631 1.0d0) -218)
			       (scale-float (float 8280773494046720 1.0d0) -273))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8666019195502468 1.0d0) -53)
			       (scale-float (float 4944614710107653 1.0d0) -108)
			       (scale-float (float -7629139990045050 1.0d0) -162)
			       (scale-float (float 8321368928085100 1.0d0) -216)
			       (scale-float (float 5867063029071872 1.0d0) -270))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8658444875396786 1.0d0) -53)
			       (scale-float (float 5434765495412269 1.0d0) -111)
			       (scale-float (float 5036267983276872 1.0d0) -165)
			       (scale-float (float -5008959202542514 1.0d0) -219)
			       (scale-float (float -8192210130960384 1.0d0) -273))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8650789058710388 1.0d0) -53)
			       (scale-float (float 8000649532699255 1.0d0) -108)
			       (scale-float (float -8062911270553914 1.0d0) -162)
			       (scale-float (float -8041915918056652 1.0d0) -220)
			       (scale-float (float 7385556375830528 1.0d0) -274))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8643051817502737 1.0d0) -53)
			       (scale-float (float 7139823619402846 1.0d0) -109)
			       (scale-float (float -4914858230587332 1.0d0) -163)
			       (scale-float (float 6743980924865325 1.0d0) -220)
			       (scale-float (float 6632308531527680 1.0d0) -274))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8635233224599694 1.0d0) -53)
			       (scale-float (float -7088298843580067 1.0d0) -107)
			       (scale-float (float 6431133538561354 1.0d0) -161)
			       (scale-float (float -5557182891497347 1.0d0) -215)
			       (scale-float (float 7201854697758720 1.0d0) -269))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8627333353592832 1.0d0) -53)
			       (scale-float (float -5742910758171990 1.0d0) -108)
			       (scale-float (float 8962645513660430 1.0d0) -165)
			       (scale-float (float 6865454473379410 1.0d0) -219)
			       (scale-float (float -8219752905572352 1.0d0) -274))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8619352278838746 1.0d0) -53)
			       (scale-float (float 6580241596413982 1.0d0) -107)
			       (scale-float (float -5012077621452493 1.0d0) -161)
			       (scale-float (float 5420791254282205 1.0d0) -217)
			       (scale-float (float -8049457508581376 1.0d0) -272))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8611290075458352 1.0d0) -53)
			       (scale-float (float 6117993379878867 1.0d0) -107)
			       (scale-float (float 5752090453333422 1.0d0) -161)
			       (scale-float (float 8961357552235688 1.0d0) -216)
			       (scale-float (float 6756547536617472 1.0d0) -271))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8603146819336178 1.0d0) -53)
			       (scale-float (float 8127348605830121 1.0d0) -107)
			       (scale-float (float -7887192887344204 1.0d0) -161)
			       (scale-float (float 5319494234616797 1.0d0) -215)
			       (scale-float (float 8259537162674176 1.0d0) -269))
		   (%make-qd-d q0 q1 q2 q3))
	       #.(multiple-value-bind (q0 q1 q2 q3)
		     (renorm-5 (scale-float (float 8594922587119653 1.0d0) -53)
			       (scale-float (float -6092170856221856 1.0d0) -107)