Skip to content
qd-const.lisp 203 KiB
Newer Older
;;;; -*- Mode: lisp -*-
;;;;
;;;; Copyright (c) 2007, 2008, 2011 Raymond Toy
;;;;
;;;; 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
(defconstant +qd-zero+
  (make-qd-d 0d0)
  "%QUAD-DOUBLE representation of 0")
toy's avatar
toy committed

(defconstant +qd-one+
  (make-qd-d 1d0)
  "%QUAD-DOUBLE representation of 1")
toy's avatar
toy committed

;; 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.
(defconstant +2/pi-bits+
  #xA2F9836E4E441529FC2757D1F534DDC0DB6295993C439041FE5163ABDEBBC561B7246E3A424DD2E006492EEA09D1921CFE1DEB1CB129A73EE88235F52EBB4484E99C7026B45F7E413991D639835339F49C845F8BBDF9283B1FF897FFDE05980FEF2F118B5A0A6D1F6D367ECF27CB09B74F463F669E5FEA2D7527BAC7EBE5F17B3D0739F78A5292EA6BFB5FB11F8D5D0856033046FC7B6BABF0CFBC209AF4361DA9E391615EE61B086599855F14A068408DFFD8804D73273106061556CA73A8C960E27BC08C6B)

Raymond Toy's avatar
Raymond Toy committed
;;   3.1415926535897932384626433832795028841971693993751058209749445923078L0
;; #q3.1415926535897932384626433832795028841971693993751058209749445923q0
toy's avatar
toy committed
(defconstant +qd-pi+
  (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))
    (%make-qd-d q0 q1 q2 q3))
  "%QUAD-DOUBLE representation of pi")
Raymond Toy's avatar
Raymond Toy committed

;;   6.2831853071795864769252867665590057683943387987502116419498891846156328125724L0
;; #q6.2831853071795864769252867665590057683943387987502116419498891846q0
(defconstant +qd-2pi+
  (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))
    (%make-qd-d q0 q1 q2 q3))
  "%QUAD-DOUBLE representation of 2*pi")
toy's avatar
toy committed

Raymond Toy's avatar
Raymond Toy committed
;;   1.5707963267948966192313216916397514420985846996875529104874722961539082031431L0
;; #q1.57079632679489661923132169163975144209858469968755291048747229615q0
toy's avatar
toy committed
(defconstant +qd-pi/2+
  (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))
    (%make-qd-d q0 q1 q2 q3))
  "%QUAD-DOUBLE representation of pi/2")
toy's avatar
toy committed

Raymond Toy's avatar
Raymond Toy committed
;;   0.78539816339744830961566084581987572104929234984377645524373614807695410157155L0
;; #q0.785398163397448309615660845819875721049292349843776455243736148076q0
  (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))
    (%make-qd-d q0 q1 q2 q3))
  "%QUAD-DOUBLE representation of pi/4")
Raymond Toy's avatar
Raymond Toy committed
;;   2.35619449019234492884698253745962716314787704953132936573120844423086230471467L0
;; #q2.35619449019234492884698253745962716314787704953132936573120844423q0
(defconstant +qd-3pi/4+
  (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))
    (%make-qd-d q0 q1 q2 q3))
  "%QUAD-DOUBLE representation of 3*pi/4")
Raymond Toy's avatar
Raymond Toy committed
;;   0.00306796157577128245943617517898388953534879824157725177829584432842560195926387L0
;; #q0.00306796157577128245943617517898388953534879824157725177829584432842q0
toy's avatar
toy committed
(defconstant +qd-pi/1024+
  (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

Raymond Toy's avatar
Raymond Toy committed
;;   2.71828182845904523536028747135266249775724709369995957496696762772407663035355L0
;; #q2.71828182845904523536028747135266249775724709369995957496696762773q0
toy's avatar
toy committed
(defconstant +qd-e+
  (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

Raymond Toy's avatar
Raymond Toy committed
;;   0.693147180559945309417232121458176568075500134360255254120680009493393621969696L0
;; #q0.693147180559945309417232121458176568075500134360255254120680009495q0
toy's avatar
toy committed
(defconstant +qd-log2+
toy's avatar
toy committed
  (make-qd-d 6.931471805599452862d-01
	     2.319046813846299558d-17
	     5.707708438416212066d-34
	     -3.582432210601811423d-50)
  (%make-qd-d (scale-float (float 6243314768165359 1.0d0) -53)
Raymond Toy's avatar
Raymond Toy committed
	      (scale-float (float 7525737178955839 1.0d0) -108)
	      (scale-float (float 6673460182522164 1.0d0) -163)
	      (scale-float (float -7545482916914641 1.0d0) -217))
  "%QUAD-DOUBLE representation of log(2) (natural log)")

;; The rest of log(2) such that (+ +qd-log2+ +qd-log2-extra+) is
;; log(2) to twice the precision of a quad-double.
(defconstant +qd-log2-extra+
Raymond Toy's avatar
Raymond Toy committed
  (%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)))
Raymond Toy's avatar
Raymond Toy committed
;; Log(10)
;;   2.30258509299404568401799145468436420760110148862877297603332790096757260967737L0
;; #q2.30258509299404568401799145468436420760110148862877297603332790095q0
toy's avatar
toy committed
(defconstant +qd-log10+
  (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

(defconstant +qd-eps+
toy's avatar
toy committed
  (scale-float 1d0 -209))
toy's avatar
toy committed

(defconstant +qd-sin-table+
Raymond Toy's avatar
Raymond Toy committed
  (make-array 256 :initial-contents
toy's avatar
toy committed
	      (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
	       #.(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)