Test output for srfi-27
Testing time: 18.0s
CHICKEN_INSTALL_PREFIX=/root/src/salmonella/salmonella-4.5.0/repo CHICKEN_INCLUDE_PATH=/root/src/salmonella/salmonella-4.5.0/repo/share/chicken CHICKEN_REPOSITORY=/root/src/salmonella/salmonella-4.5.0/repo/lib/chicken/5 /usr/local/chicken-4.5.0/bin/csi -script run.scm Entropy Source: random-device check A^16 * (1 0 0 1 0 0): ok checking random-source-pseudo-randomize! in [1 2] advance: ok (Please wait. This will take awhile! 10^7 reals are generated!) checking random-source-pseudo-randomize! in [1 2] summation: ok passed (check-mrg32k3a) Entropy Source: random-device Random Source: George Marsaglia's Mother-Of-All Generator generating large numbers: 0 bits generating large numbers: 1 bits generating large numbers: 2 bits generating large numbers: 3 bits generating large numbers: 4 bits generating large numbers: 5 bits generating large numbers: 6 bits generating large numbers: 7 bits generating large numbers: 8 bits generating large numbers: 9 bits generating large numbers: 10 bits generating large numbers: 11 bits generating large numbers: 12 bits generating large numbers: 13 bits generating large numbers: 14 bits generating large numbers: 15 bits generating large numbers: 16 bits generating large numbers: 17 bits generating large numbers: 18 bits generating large numbers: 19 bits generating large numbers: 20 bits generating large numbers: 21 bits generating large numbers: 22 bits generating large numbers: 23 bits generating large numbers: 24 bits generating large numbers: 25 bits generating large numbers: 26 bits generating large numbers: 27 bits generating large numbers: 28 bits generating large numbers: 29 bits generating large numbers: 30 bits generating large numbers: 31 bits generating large numbers: 32 bits generating large numbers: 33 bits generating large numbers: 34 bits generating large numbers: 35 bits generating large numbers: 36 bits generating large numbers: 37 bits generating large numbers: 38 bits generating large numbers: 39 bits generating large numbers: 40 bits generating large numbers: 41 bits generating large numbers: 42 bits generating large numbers: 43 bits generating large numbers: 44 bits generating large numbers: 45 bits generating large numbers: 46 bits generating large numbers: 47 bits generating large numbers: 48 bits generating large numbers: 49 bits generating large numbers: 50 bits generating large numbers: 51 bits generating large numbers: 52 bits generating large numbers: 53 bits generating large numbers: 54 bits generating large numbers: 55 bits generating large numbers: 56 bits generating large numbers: 57 bits generating large numbers: 58 bits generating large numbers: 59 bits generating large numbers: 60 bits generating large numbers: 61 bits generating large numbers: 62 bits generating large numbers: 63 bits generating large numbers: 64 bits generating large numbers: 65 bits generating large numbers: 66 bits generating large numbers: 67 bits generating large numbers: 68 bits generating large numbers: 69 bits generating large numbers: 70 bits generating large numbers: 71 bits generating large numbers: 72 bits generating large numbers: 73 bits generating large numbers: 74 bits generating large numbers: 75 bits generating large numbers: 76 bits generating large numbers: 77 bits generating large numbers: 78 bits generating large numbers: 79 bits generating large numbers: 80 bits generating large numbers: 81 bits generating large numbers: 82 bits generating large numbers: 83 bits generating large numbers: 84 bits generating large numbers: 85 bits generating large numbers: 86 bits generating large numbers: 87 bits generating large numbers: 88 bits generating large numbers: 89 bits generating large numbers: 90 bits generating large numbers: 91 bits generating large numbers: 92 bits generating large numbers: 93 bits generating large numbers: 94 bits generating large numbers: 95 bits generating large numbers: 96 bits generating large numbers: 97 bits generating large numbers: 98 bits generating large numbers: 99 bits generating large numbers: 100 bits generating large numbers: 101 bits generating large numbers: 102 bits generating large numbers: 103 bits generating large numbers: 104 bits generating large numbers: 105 bits generating large numbers: 106 bits generating large numbers: 107 bits generating large numbers: 108 bits generating large numbers: 109 bits generating large numbers: 110 bits generating large numbers: 111 bits generating large numbers: 112 bits generating large numbers: 113 bits generating large numbers: 114 bits generating large numbers: 115 bits generating large numbers: 116 bits generating large numbers: 117 bits generating large numbers: 118 bits generating large numbers: 119 bits generating large numbers: 120 bits generating large numbers: 121 bits generating large numbers: 122 bits generating large numbers: 123 bits generating large numbers: 124 bits generating large numbers: 125 bits generating large numbers: 126 bits generating large numbers: 127 bits generating large numbers: 128 bits generating large numbers: 129 bits generating large numbers: 130 bits generating large numbers: 131 bits generating large numbers: 132 bits generating large numbers: 133 bits generating large numbers: 134 bits generating large numbers: 135 bits generating large numbers: 136 bits generating large numbers: 137 bits generating large numbers: 138 bits generating large numbers: 139 bits generating large numbers: 140 bits generating large numbers: 141 bits generating large numbers: 142 bits generating large numbers: 143 bits generating large numbers: 144 bits generating large numbers: 145 bits generating large numbers: 146 bits generating large numbers: 147 bits generating large numbers: 148 bits generating large numbers: 149 bits generating large numbers: 150 bits generating large numbers: 151 bits generating large numbers: 152 bits generating large numbers: 153 bits generating large numbers: 154 bits generating large numbers: 155 bits generating large numbers: 156 bits generating large numbers: 157 bits generating large numbers: 158 bits generating large numbers: 159 bits generating large numbers: 160 bits generating large numbers: 161 bits generating large numbers: 162 bits generating large numbers: 163 bits generating large numbers: 164 bits generating large numbers: 165 bits generating large numbers: 166 bits generating large numbers: 167 bits generating large numbers: 168 bits generating large numbers: 169 bits generating large numbers: 170 bits generating large numbers: 171 bits generating large numbers: 172 bits generating large numbers: 173 bits generating large numbers: 174 bits generating large numbers: 175 bits generating large numbers: 176 bits generating large numbers: 177 bits generating large numbers: 178 bits generating large numbers: 179 bits generating large numbers: 180 bits generating large numbers: 181 bits generating large numbers: 182 bits generating large numbers: 183 bits generating large numbers: 184 bits generating large numbers: 185 bits generating large numbers: 186 bits generating large numbers: 187 bits generating large numbers: 188 bits generating large numbers: 189 bits generating large numbers: 190 bits generating large numbers: 191 bits generating large numbers: 192 bits generating large numbers: 193 bits generating large numbers: 194 bits generating large numbers: 195 bits generating large numbers: 196 bits generating large numbers: 197 bits generating large numbers: 198 bits generating large numbers: 199 bits generating large numbers: 200 bits generating large numbers: 201 bits generating large numbers: 202 bits generating large numbers: 203 bits generating large numbers: 204 bits generating large numbers: 205 bits generating large numbers: 206 bits generating large numbers: 207 bits generating large numbers: 208 bits generating large numbers: 209 bits generating large numbers: 210 bits generating large numbers: 211 bits generating large numbers: 212 bits generating large numbers: 213 bits generating large numbers: 214 bits generating large numbers: 215 bits generating large numbers: 216 bits generating large numbers: 217 bits generating large numbers: 218 bits generating large numbers: 219 bits generating large numbers: 220 bits generating large numbers: 221 bits generating large numbers: 222 bits generating large numbers: 223 bits generating large numbers: 224 bits generating large numbers: 225 bits generating large numbers: 226 bits generating large numbers: 227 bits generating large numbers: 228 bits generating large numbers: 229 bits generating large numbers: 230 bits generating large numbers: 231 bits generating large numbers: 232 bits generating large numbers: 233 bits generating large numbers: 234 bits generating large numbers: 235 bits generating large numbers: 236 bits generating large numbers: 237 bits generating large numbers: 238 bits generating large numbers: 239 bits generating large numbers: 240 bits generating large numbers: 241 bits generating large numbers: 242 bits generating large numbers: 243 bits generating large numbers: 244 bits generating large numbers: 245 bits generating large numbers: 246 bits generating large numbers: 247 bits generating large numbers: 248 bits generating large numbers: 249 bits generating large numbers: 250 bits generating large numbers: 251 bits generating large numbers: 252 bits generating large numbers: 253 bits generating large numbers: 254 bits generating large numbers: 255 bits generating large numbers: 256 bits generating large numbers: 257 bits generating large numbers: 258 bits generating large numbers: 259 bits generating large numbers: 260 bits generating large numbers: 261 bits generating large numbers: 262 bits generating large numbers: 263 bits generating large numbers: 264 bits generating large numbers: 265 bits generating large numbers: 266 bits generating large numbers: 267 bits generating large numbers: 268 bits generating large numbers: 269 bits generating large numbers: 270 bits generating large numbers: 271 bits generating large numbers: 272 bits generating large numbers: 273 bits generating large numbers: 274 bits generating large numbers: 275 bits generating large numbers: 276 bits generating large numbers: 277 bits generating large numbers: 278 bits generating large numbers: 279 bits generating large numbers: 280 bits generating large numbers: 281 bits generating large numbers: 282 bits generating large numbers: 283 bits generating large numbers: 284 bits generating large numbers: 285 bits generating large numbers: 286 bits generating large numbers: 287 bits generating large numbers: 288 bits generating large numbers: 289 bits generating large numbers: 290 bits generating large numbers: 291 bits generating large numbers: 292 bits generating large numbers: 293 bits generating large numbers: 294 bits generating large numbers: 295 bits generating large numbers: 296 bits generating large numbers: 297 bits generating large numbers: 298 bits generating large numbers: 299 bits generating large numbers: 300 bits generating large numbers: 301 bits generating large numbers: 302 bits generating large numbers: 303 bits generating large numbers: 304 bits generating large numbers: 305 bits generating large numbers: 306 bits generating large numbers: 307 bits generating large numbers: 308 bits generating large numbers: 309 bits generating large numbers: 310 bits generating large numbers: 311 bits generating large numbers: 312 bits generating large numbers: 313 bits generating large numbers: 314 bits generating large numbers: 315 bits generating large numbers: 316 bits generating large numbers: 317 bits generating large numbers: 318 bits generating large numbers: 319 bits generating large numbers: 320 bits generating large numbers: 321 bits generating large numbers: 322 bits generating large numbers: 323 bits generating large numbers: 324 bits generating large numbers: 325 bits generating large numbers: 326 bits generating large numbers: 327 bits generating large numbers: 328 bits generating large numbers: 329 bits generating large numbers: 330 bits generating large numbers: 331 bits generating large numbers: 332 bits generating large numbers: 333 bits generating large numbers: 334 bits generating large numbers: 335 bits generating large numbers: 336 bits generating large numbers: 337 bits generating large numbers: 338 bits generating large numbers: 339 bits generating large numbers: 340 bits generating large numbers: 341 bits generating large numbers: 342 bits generating large numbers: 343 bits generating large numbers: 344 bits generating large numbers: 345 bits generating large numbers: 346 bits generating large numbers: 347 bits generating large numbers: 348 bits generating large numbers: 349 bits generating large numbers: 350 bits generating large numbers: 351 bits generating large numbers: 352 bits generating large numbers: 353 bits generating large numbers: 354 bits generating large numbers: 355 bits generating large numbers: 356 bits generating large numbers: 357 bits generating large numbers: 358 bits generating large numbers: 359 bits generating large numbers: 360 bits generating large numbers: 361 bits generating large numbers: 362 bits generating large numbers: 363 bits generating large numbers: 364 bits generating large numbers: 365 bits generating large numbers: 366 bits generating large numbers: 367 bits generating large numbers: 368 bits generating large numbers: 369 bits generating large numbers: 370 bits generating large numbers: 371 bits generating large numbers: 372 bits generating large numbers: 373 bits generating large numbers: 374 bits generating large numbers: 375 bits generating large numbers: 376 bits generating large numbers: 377 bits generating large numbers: 378 bits generating large numbers: 379 bits generating large numbers: 380 bits generating large numbers: 381 bits generating large numbers: 382 bits generating large numbers: 383 bits generating large numbers: 384 bits generating large numbers: 385 bits generating large numbers: 386 bits generating large numbers: 387 bits generating large numbers: 388 bits generating large numbers: 389 bits generating large numbers: 390 bits generating large numbers: 391 bits generating large numbers: 392 bits generating large numbers: 393 bits generating large numbers: 394 bits generating large numbers: 395 bits generating large numbers: 396 bits generating large numbers: 397 bits generating large numbers: 398 bits generating large numbers: 399 bits generating large numbers: 400 bits generating large numbers: 401 bits generating large numbers: 402 bits generating large numbers: 403 bits generating large numbers: 404 bits generating large numbers: 405 bits generating large numbers: 406 bits generating large numbers: 407 bits generating large numbers: 408 bits generating large numbers: 409 bits generating large numbers: 410 bits generating large numbers: 411 bits generating large numbers: 412 bits generating large numbers: 413 bits generating large numbers: 414 bits generating large numbers: 415 bits generating large numbers: 416 bits generating large numbers: 417 bits generating large numbers: 418 bits generating large numbers: 419 bits generating large numbers: 420 bits generating large numbers: 421 bits generating large numbers: 422 bits generating large numbers: 423 bits generating large numbers: 424 bits generating large numbers: 425 bits generating large numbers: 426 bits generating large numbers: 427 bits generating large numbers: 428 bits generating large numbers: 429 bits generating large numbers: 430 bits generating large numbers: 431 bits generating large numbers: 432 bits generating large numbers: 433 bits generating large numbers: 434 bits generating large numbers: 435 bits generating large numbers: 436 bits generating large numbers: 437 bits generating large numbers: 438 bits generating large numbers: 439 bits generating large numbers: 440 bits generating large numbers: 441 bits generating large numbers: 442 bits generating large numbers: 443 bits generating large numbers: 444 bits generating large numbers: 445 bits generating large numbers: 446 bits generating large numbers: 447 bits generating large numbers: 448 bits generating large numbers: 449 bits generating large numbers: 450 bits generating large numbers: 451 bits generating large numbers: 452 bits generating large numbers: 453 bits generating large numbers: 454 bits generating large numbers: 455 bits generating large numbers: 456 bits generating large numbers: 457 bits generating large numbers: 458 bits generating large numbers: 459 bits generating large numbers: 460 bits generating large numbers: 461 bits generating large numbers: 462 bits generating large numbers: 463 bits generating large numbers: 464 bits generating large numbers: 465 bits generating large numbers: 466 bits generating large numbers: 467 bits generating large numbers: 468 bits generating large numbers: 469 bits generating large numbers: 470 bits generating large numbers: 471 bits generating large numbers: 472 bits generating large numbers: 473 bits generating large numbers: 474 bits generating large numbers: 475 bits generating large numbers: 476 bits generating large numbers: 477 bits generating large numbers: 478 bits generating large numbers: 479 bits generating large numbers: 480 bits generating large numbers: 481 bits generating large numbers: 482 bits generating large numbers: 483 bits generating large numbers: 484 bits generating large numbers: 485 bits generating large numbers: 486 bits generating large numbers: 487 bits generating large numbers: 488 bits generating large numbers: 489 bits generating large numbers: 490 bits generating large numbers: 491 bits generating large numbers: 492 bits generating large numbers: 493 bits generating large numbers: 494 bits generating large numbers: 495 bits generating large numbers: 496 bits generating large numbers: 497 bits generating large numbers: 498 bits generating large numbers: 499 bits generating large numbers: 500 bits generating large numbers: 501 bits generating large numbers: 502 bits generating large numbers: 503 bits generating large numbers: 504 bits generating large numbers: 505 bits generating large numbers: 506 bits generating large numbers: 507 bits generating large numbers: 508 bits generating large numbers: 509 bits generating large numbers: 510 bits generating large numbers: 511 bits generating large numbers: 512 bits generating large numbers: 513 bits generating large numbers: 514 bits generating large numbers: 515 bits generating large numbers: 516 bits generating large numbers: 517 bits generating large numbers: 518 bits generating large numbers: 519 bits generating large numbers: 520 bits generating large numbers: 521 bits generating large numbers: 522 bits generating large numbers: 523 bits generating large numbers: 524 bits generating large numbers: 525 bits generating large numbers: 526 bits generating large numbers: 527 bits generating large numbers: 528 bits generating large numbers: 529 bits generating large numbers: 530 bits generating large numbers: 531 bits generating large numbers: 532 bits generating large numbers: 533 bits generating large numbers: 534 bits generating large numbers: 535 bits generating large numbers: 536 bits generating large numbers: 537 bits generating large numbers: 538 bits generating large numbers: 539 bits generating large numbers: 540 bits generating large numbers: 541 bits generating large numbers: 542 bits generating large numbers: 543 bits generating large numbers: 544 bits generating large numbers: 545 bits generating large numbers: 546 bits generating large numbers: 547 bits generating large numbers: 548 bits generating large numbers: 549 bits generating large numbers: 550 bits generating large numbers: 551 bits generating large numbers: 552 bits generating large numbers: 553 bits generating large numbers: 554 bits generating large numbers: 555 bits generating large numbers: 556 bits generating large numbers: 557 bits generating large numbers: 558 bits generating large numbers: 559 bits generating large numbers: 560 bits generating large numbers: 561 bits generating large numbers: 562 bits generating large numbers: 563 bits generating large numbers: 564 bits generating large numbers: 565 bits generating large numbers: 566 bits generating large numbers: 567 bits generating large numbers: 568 bits generating large numbers: 569 bits generating large numbers: 570 bits generating large numbers: 571 bits generating large numbers: 572 bits generating large numbers: 573 bits generating large numbers: 574 bits generating large numbers: 575 bits generating large numbers: 576 bits generating large numbers: 577 bits generating large numbers: 578 bits generating large numbers: 579 bits generating large numbers: 580 bits generating large numbers: 581 bits generating large numbers: 582 bits generating large numbers: 583 bits generating large numbers: 584 bits generating large numbers: 585 bits generating large numbers: 586 bits generating large numbers: 587 bits generating large numbers: 588 bits generating large numbers: 589 bits generating large numbers: 590 bits generating large numbers: 591 bits generating large numbers: 592 bits generating large numbers: 593 bits generating large numbers: 594 bits generating large numbers: 595 bits generating large numbers: 596 bits generating large numbers: 597 bits generating large numbers: 598 bits generating large numbers: 599 bits generating large numbers: 600 bits generating large numbers: 601 bits generating large numbers: 602 bits generating large numbers: 603 bits generating large numbers: 604 bits generating large numbers: 605 bits generating large numbers: 606 bits generating large numbers: 607 bits generating large numbers: 608 bits generating large numbers: 609 bits generating large numbers: 610 bits generating large numbers: 611 bits generating large numbers: 612 bits generating large numbers: 613 bits generating large numbers: 614 bits generating large numbers: 615 bits generating large numbers: 616 bits generating large numbers: 617 bits generating large numbers: 618 bits generating large numbers: 619 bits generating large numbers: 620 bits generating large numbers: 621 bits generating large numbers: 622 bits generating large numbers: 623 bits generating large numbers: 624 bits generating large numbers: 625 bits generating large numbers: 626 bits generating large numbers: 627 bits generating large numbers: 628 bits generating large numbers: 629 bits generating large numbers: 630 bits generating large numbers: 631 bits generating large numbers: 632 bits generating large numbers: 633 bits generating large numbers: 634 bits generating large numbers: 635 bits generating large numbers: 636 bits generating large numbers: 637 bits generating large numbers: 638 bits generating large numbers: 639 bits generating large numbers: 640 bits generating large numbers: 641 bits generating large numbers: 642 bits generating large numbers: 643 bits generating large numbers: 644 bits generating large numbers: 645 bits generating large numbers: 646 bits generating large numbers: 647 bits generating large numbers: 648 bits generating large numbers: 649 bits generating large numbers: 650 bits generating large numbers: 651 bits generating large numbers: 652 bits generating large numbers: 653 bits generating large numbers: 654 bits generating large numbers: 655 bits generating large numbers: 656 bits generating large numbers: 657 bits generating large numbers: 658 bits generating large numbers: 659 bits generating large numbers: 660 bits generating large numbers: 661 bits generating large numbers: 662 bits generating large numbers: 663 bits generating large numbers: 664 bits generating large numbers: 665 bits generating large numbers: 666 bits generating large numbers: 667 bits generating large numbers: 668 bits generating large numbers: 669 bits generating large numbers: 670 bits generating large numbers: 671 bits generating large numbers: 672 bits generating large numbers: 673 bits generating large numbers: 674 bits generating large numbers: 675 bits generating large numbers: 676 bits generating large numbers: 677 bits generating large numbers: 678 bits generating large numbers: 679 bits generating large numbers: 680 bits generating large numbers: 681 bits generating large numbers: 682 bits generating large numbers: 683 bits generating large numbers: 684 bits generating large numbers: 685 bits generating large numbers: 686 bits generating large numbers: 687 bits generating large numbers: 688 bits generating large numbers: 689 bits generating large numbers: 690 bits generating large numbers: 691 bits generating large numbers: 692 bits generating large numbers: 693 bits generating large numbers: 694 bits generating large numbers: 695 bits generating large numbers: 696 bits generating large numbers: 697 bits generating large numbers: 698 bits generating large numbers: 699 bits generating large numbers: 700 bits generating large numbers: 701 bits generating large numbers: 702 bits generating large numbers: 703 bits generating large numbers: 704 bits generating large numbers: 705 bits generating large numbers: 706 bits generating large numbers: 707 bits generating large numbers: 708 bits generating large numbers: 709 bits generating large numbers: 710 bits generating large numbers: 711 bits generating large numbers: 712 bits generating large numbers: 713 bits generating large numbers: 714 bits generating large numbers: 715 bits generating large numbers: 716 bits generating large numbers: 717 bits generating large numbers: 718 bits generating large numbers: 719 bits generating large numbers: 720 bits generating large numbers: 721 bits generating large numbers: 722 bits generating large numbers: 723 bits generating large numbers: 724 bits generating large numbers: 725 bits generating large numbers: 726 bits generating large numbers: 727 bits generating large numbers: 728 bits generating large numbers: 729 bits generating large numbers: 730 bits generating large numbers: 731 bits generating large numbers: 732 bits generating large numbers: 733 bits generating large numbers: 734 bits generating large numbers: 735 bits generating large numbers: 736 bits generating large numbers: 737 bits generating large numbers: 738 bits generating large numbers: 739 bits generating large numbers: 740 bits generating large numbers: 741 bits generating large numbers: 742 bits generating large numbers: 743 bits generating large numbers: 744 bits generating large numbers: 745 bits generating large numbers: 746 bits generating large numbers: 747 bits generating large numbers: 748 bits generating large numbers: 749 bits generating large numbers: 750 bits generating large numbers: 751 bits generating large numbers: 752 bits generating large numbers: 753 bits generating large numbers: 754 bits generating large numbers: 755 bits generating large numbers: 756 bits generating large numbers: 757 bits generating large numbers: 758 bits generating large numbers: 759 bits generating large numbers: 760 bits generating large numbers: 761 bits generating large numbers: 762 bits generating large numbers: 763 bits generating large numbers: 764 bits generating large numbers: 765 bits generating large numbers: 766 bits generating large numbers: 767 bits generating large numbers: 768 bits generating large numbers: 769 bits generating large numbers: 770 bits generating large numbers: 771 bits generating large numbers: 772 bits generating large numbers: 773 bits generating large numbers: 774 bits generating large numbers: 775 bits generating large numbers: 776 bits generating large numbers: 777 bits generating large numbers: 778 bits generating large numbers: 779 bits generating large numbers: 780 bits generating large numbers: 781 bits generating large numbers: 782 bits generating large numbers: 783 bits generating large numbers: 784 bits generating large numbers: 785 bits generating large numbers: 786 bits generating large numbers: 787 bits generating large numbers: 788 bits generating large numbers: 789 bits generating large numbers: 790 bits generating large numbers: 791 bits generating large numbers: 792 bits generating large numbers: 793 bits generating large numbers: 794 bits generating large numbers: 795 bits generating large numbers: 796 bits generating large numbers: 797 bits generating large numbers: 798 bits generating large numbers: 799 bits generating large numbers: 800 bits generating large numbers: 801 bits generating large numbers: 802 bits generating large numbers: 803 bits generating large numbers: 804 bits generating large numbers: 805 bits generating large numbers: 806 bits generating large numbers: 807 bits generating large numbers: 808 bits generating large numbers: 809 bits generating large numbers: 810 bits generating large numbers: 811 bits generating large numbers: 812 bits generating large numbers: 813 bits generating large numbers: 814 bits generating large numbers: 815 bits generating large numbers: 816 bits generating large numbers: 817 bits generating large numbers: 818 bits generating large numbers: 819 bits generating large numbers: 820 bits generating large numbers: 821 bits generating large numbers: 822 bits generating large numbers: 823 bits generating large numbers: 824 bits generating large numbers: 825 bits generating large numbers: 826 bits generating large numbers: 827 bits generating large numbers: 828 bits generating large numbers: 829 bits generating large numbers: 830 bits generating large numbers: 831 bits generating large numbers: 832 bits generating large numbers: 833 bits generating large numbers: 834 bits generating large numbers: 835 bits generating large numbers: 836 bits generating large numbers: 837 bits generating large numbers: 838 bits generating large numbers: 839 bits generating large numbers: 840 bits generating large numbers: 841 bits generating large numbers: 842 bits generating large numbers: 843 bits generating large numbers: 844 bits generating large numbers: 845 bits generating large numbers: 846 bits generating large numbers: 847 bits generating large numbers: 848 bits generating large numbers: 849 bits generating large numbers: 850 bits generating large numbers: 851 bits generating large numbers: 852 bits generating large numbers: 853 bits generating large numbers: 854 bits generating large numbers: 855 bits generating large numbers: 856 bits generating large numbers: 857 bits generating large numbers: 858 bits generating large numbers: 859 bits generating large numbers: 860 bits generating large numbers: 861 bits generating large numbers: 862 bits generating large numbers: 863 bits generating large numbers: 864 bits generating large numbers: 865 bits generating large numbers: 866 bits generating large numbers: 867 bits generating large numbers: 868 bits generating large numbers: 869 bits generating large numbers: 870 bits generating large numbers: 871 bits generating large numbers: 872 bits generating large numbers: 873 bits generating large numbers: 874 bits generating large numbers: 875 bits generating large numbers: 876 bits generating large numbers: 877 bits generating large numbers: 878 bits generating large numbers: 879 bits generating large numbers: 880 bits generating large numbers: 881 bits generating large numbers: 882 bits generating large numbers: 883 bits generating large numbers: 884 bits generating large numbers: 885 bits generating large numbers: 886 bits generating large numbers: 887 bits generating large numbers: 888 bits generating large numbers: 889 bits generating large numbers: 890 bits generating large numbers: 891 bits generating large numbers: 892 bits generating large numbers: 893 bits generating large numbers: 894 bits generating large numbers: 895 bits generating large numbers: 896 bits generating large numbers: 897 bits generating large numbers: 898 bits generating large numbers: 899 bits generating large numbers: 900 bits generating large numbers: 901 bits generating large numbers: 902 bits generating large numbers: 903 bits generating large numbers: 904 bits generating large numbers: 905 bits generating large numbers: 906 bits generating large numbers: 907 bits generating large numbers: 908 bits generating large numbers: 909 bits generating large numbers: 910 bits generating large numbers: 911 bits generating large numbers: 912 bits generating large numbers: 913 bits generating large numbers: 914 bits generating large numbers: 915 bits generating large numbers: 916 bits generating large numbers: 917 bits generating large numbers: 918 bits generating large numbers: 919 bits generating large numbers: 920 bits generating large numbers: 921 bits generating large numbers: 922 bits generating large numbers: 923 bits generating large numbers: 924 bits generating large numbers: 925 bits generating large numbers: 926 bits generating large numbers: 927 bits generating large numbers: 928 bits generating large numbers: 929 bits generating large numbers: 930 bits generating large numbers: 931 bits generating large numbers: 932 bits generating large numbers: 933 bits generating large numbers: 934 bits generating large numbers: 935 bits generating large numbers: 936 bits generating large numbers: 937 bits generating large numbers: 938 bits generating large numbers: 939 bits generating large numbers: 940 bits generating large numbers: 941 bits generating large numbers: 942 bits generating large numbers: 943 bits generating large numbers: 944 bits generating large numbers: 945 bits generating large numbers: 946 bits generating large numbers: 947 bits generating large numbers: 948 bits generating large numbers: 949 bits generating large numbers: 950 bits generating large numbers: 951 bits generating large numbers: 952 bits generating large numbers: 953 bits generating large numbers: 954 bits generating large numbers: 955 bits generating large numbers: 956 bits generating large numbers: 957 bits generating large numbers: 958 bits generating large numbers: 959 bits generating large numbers: 960 bits generating large numbers: 961 bits generating large numbers: 962 bits generating large numbers: 963 bits generating large numbers: 964 bits generating large numbers: 965 bits generating large numbers: 966 bits generating large numbers: 967 bits generating large numbers: 968 bits generating large numbers: 969 bits generating large numbers: 970 bits generating large numbers: 971 bits generating large numbers: 972 bits generating large numbers: 973 bits generating large numbers: 974 bits generating large numbers: 975 bits generating large numbers: 976 bits generating large numbers: 977 bits generating large numbers: 978 bits generating large numbers: 979 bits generating large numbers: 980 bits generating large numbers: 981 bits generating large numbers: 982 bits generating large numbers: 983 bits generating large numbers: 984 bits generating large numbers: 985 bits generating large numbers: 986 bits generating large numbers: 987 bits generating large numbers: 988 bits generating large numbers: 989 bits generating large numbers: 990 bits generating large numbers: 991 bits generating large numbers: 992 bits generating large numbers: 993 bits generating large numbers: 994 bits generating large numbers: 995 bits generating large numbers: 996 bits generating large numbers: 997 bits generating large numbers: 998 bits generating large numbers: 999 bits generating large numbers: 1000 bits generating large numbers: 1001 bits generating large numbers: 1002 bits generating large numbers: 1003 bits generating large numbers: 1004 bits generating large numbers: 1005 bits generating large numbers: 1006 bits generating large numbers: 1007 bits generating large numbers: 1008 bits generating large numbers: 1009 bits generating large numbers: 1010 bits generating large numbers: 1011 bits generating large numbers: 1012 bits generating large numbers: 1013 bits generating large numbers: 1014 bits generating large numbers: 1015 bits generating large numbers: 1016 bits generating large numbers: 1017 bits generating large numbers: 1018 bits generating large numbers: 1019 bits generating large numbers: 1020 bits generating large numbers: 1021 bits generating large numbers: 1022 bits generating large numbers: 1023 bits generating large numbers: 1024 bits generating large numbers: [1 1024] bits - ok generating reals [1000 times]: ok get/set state: ok randomize!: ok pseudo-randomize!: ok passed (check-basics) 0.196s CPU time, 0.1s GC time (major), 511 mutations, 32/1009 GCs (major/minor) Random Source: George Marsaglia's Multiply With Carry Generator generating large numbers: 0 bits generating large numbers: 1 bits generating large numbers: 2 bits generating large numbers: 3 bits generating large numbers: 4 bits generating large numbers: 5 bits generating large numbers: 6 bits generating large numbers: 7 bits generating large numbers: 8 bits generating large numbers: 9 bits generating large numbers: 10 bits generating large numbers: 11 bits generating large numbers: 12 bits generating large numbers: 13 bits generating large numbers: 14 bits generating large numbers: 15 bits generating large numbers: 16 bits generating large numbers: 17 bits generating large numbers: 18 bits generating large numbers: 19 bits generating large numbers: 20 bits generating large numbers: 21 bits generating large numbers: 22 bits generating large numbers: 23 bits generating large numbers: 24 bits generating large numbers: 25 bits generating large numbers: 26 bits generating large numbers: 27 bits generating large numbers: 28 bits generating large numbers: 29 bits generating large numbers: 30 bits generating large numbers: 31 bits generating large numbers: 32 bits generating large numbers: 33 bits generating large numbers: 34 bits generating large numbers: 35 bits generating large numbers: 36 bits generating large numbers: 37 bits generating large numbers: 38 bits generating large numbers: 39 bits generating large numbers: 40 bits generating large numbers: 41 bits generating large numbers: 42 bits generating large numbers: 43 bits generating large numbers: 44 bits generating large numbers: 45 bits generating large numbers: 46 bits generating large numbers: 47 bits generating large numbers: 48 bits generating large numbers: 49 bits generating large numbers: 50 bits generating large numbers: 51 bits generating large numbers: 52 bits generating large numbers: 53 bits generating large numbers: 54 bits generating large numbers: 55 bits generating large numbers: 56 bits generating large numbers: 57 bits generating large numbers: 58 bits generating large numbers: 59 bits generating large numbers: 60 bits generating large numbers: 61 bits generating large numbers: 62 bits generating large numbers: 63 bits generating large numbers: 64 bits generating large numbers: 65 bits generating large numbers: 66 bits generating large numbers: 67 bits generating large numbers: 68 bits generating large numbers: 69 bits generating large numbers: 70 bits generating large numbers: 71 bits generating large numbers: 72 bits generating large numbers: 73 bits generating large numbers: 74 bits generating large numbers: 75 bits generating large numbers: 76 bits generating large numbers: 77 bits generating large numbers: 78 bits generating large numbers: 79 bits generating large numbers: 80 bits generating large numbers: 81 bits generating large numbers: 82 bits generating large numbers: 83 bits generating large numbers: 84 bits generating large numbers: 85 bits generating large numbers: 86 bits generating large numbers: 87 bits generating large numbers: 88 bits generating large numbers: 89 bits generating large numbers: 90 bits generating large numbers: 91 bits generating large numbers: 92 bits generating large numbers: 93 bits generating large numbers: 94 bits generating large numbers: 95 bits generating large numbers: 96 bits generating large numbers: 97 bits generating large numbers: 98 bits generating large numbers: 99 bits generating large numbers: 100 bits [panic] (##sys#fudge 16) [current wall clock milliseconds] not implemented - execution terminated ...more... <eval> <eval> <eval> <eval> <eval> <eval> <eval> <eval> <eval> <eval> <eval> <eval> <eval> <eval> make-mutex mutex-specific-set! <--