directory D:\_jknuba_2024_end\Job_Olympus_2024\j_Origin_Olympus

_j_MSC_Olympus_Job1.wxmx

(%i78) kill ( all ) ;

\[\operatorname{ }\ensuremath{\mathrm{done}}\]

(%i1) load ( "stats" ) $
(%i2) p : [ 10 . 735163 , 11 . 441326 , 11 . 361707 , 10 . 902565 , 10 . 859867 , 10 . 993440 , 11 . 488790 , 11 . 049705 ,
11 . 700912 , 10 . 934182 , 9 . 800266 , 10 . 070933 , 11 . 832881 , 11 . 186524 , 9 . 830553 , 10 . 634115 ,
10 . 800838 , 11 . 726200 , 11 . 257555 , 10 . 596311 , 11 . 137083 , 11 . 117580 , 10 . 370772 , 10 . 785315 ,
10 . 154686 , 10 . 776117 , 11 . 554072 , 11 . 193384 , 10 . 973221 , 10 . 780141 , 9 . 967299 , 10 . 416577 ,
10 . 480040 , 10 . 521945 , 11 . 733794 , 11 . 135568 , 11 . 613315 , 10 . 580999 , 11 . 862697 , 12 . 300101 ,
11 . 302115 , 11 . 515168 , 10 . 727143 , 10 . 790299 , 10 . 914594 , 11 . 626693 , 10 . 931735 , 10 . 702132 ,
10 . 323996 , 11 . 349600 , 10 . 700817 , 10 . 974794 , 10 . 945194 , 11 . 336812 , 11 . 740718 , 11 . 778233 ,
9 . 913615 , 11 . 446550 , 10 . 474325 , 10 . 843243 , 10 . 303362 , 10 . 737720 , 10 . 750404 , 11 . 721627 ,
11 . 296506 , 11 . 845266 , 10 . 339852 , 11 . 559058 , 10 . 246905 , 10 . 953692 , 11 . 219258 , 10 . 758945 ,
11 . 094910 , 10 . 683887 , 10 . 547243 , 11 . 049054 , 11 . 390294 , 10 . 509846 , 11 . 372921 , 11 . 516117 ,
10 . 661543 , 10 . 081986 , 10 . 671435 , 10 . 734593 , 10 . 598930 , 11 . 787820 , 10 . 505220 , 11 . 332032 ,
10 . 287553 , 10 . 787096 , 11 . 450462 , 11 . 005844 , 11 . 025501 , 10 . 738071 , 12 . 005468 ,
11 . 477734 , 11 . 121910 , 11 . 192320 , 11 . 873250 , 10 . 858305 , 10 . 956758 , 11 . 224084 , 10 . 491280 ,
11 . 001350 , 10 . 882899 , 11 . 426858 , 11 . 436107 , 10 . 896239 , 10 . 839437 , 11 . 440707 , 10 . 278782 ,
11 . 946208 , 11 . 600544 , 11 . 135669 , 11 . 657305 , 11 . 004180 , 10 . 420731 , 10 . 892608 , 10 . 287886 ,
10 . 619350 , 11 . 042745 , 11 . 583272 , 10 . 647557 , 11 . 088866 , 10 . 888444 , 11 . 778226 , 11 . 293906 ,
11 . 194746 , 11 . 295984 , 10 . 383614 , 10 . 256778 , 10 . 900543 , 11 . 870654 , 11 . 475858 , 10 . 633205 ,
10 . 944351 , 11 . 201343 , 10 . 546328 , 10 . 984059 , 11 . 598495 , 10 . 540235 , 11 . 221263 , 9 . 672577 ,
11 . 175895 , 11 . 392901 , 10 . 984088 , 10 . 787785 , 10 . 451189 , 10 . 975158 , 11 . 162761 , 11 . 504746 ,
11 . 055887 , 11 . 057665 , 11 . 004098 , 10 . 601283 , 11 . 151146 , 10 . 338938 , 10 . 527573 , 11 . 186648 ,
11 . 168518 , 11 . 078780 , 10 . 338418 , 11 . 001034 , 11 . 007145 , 11 . 638764 , 10 . 747713 , 11 . 149445 ,
11 . 359229 , 10 . 750739 , 10 . 617082 , 11 . 290227 , 10 . 288796 , 10 . 316696 , 11 . 082002 , 11 . 264218 ,
11 . 163963 , 10 . 622406 , 10 . 817780 , 11 . 116009 , 11 . 365859 , 10 . 819618 , 11 . 278286 , 10 . 996675 ,
10 . 128917 , 11 . 097139 , 10 . 414759 , 10 . 986588 , 10 . 549580 , 10 . 698267 , 11 . 145899 , 10 . 791416 ,
9 . 932431 , 10 . 772677 , 9 . 858881 , 11 . 606249 , 11 . 485803 , 10 . 571451 , 10 . 746537 , 11 . 243540 ,
10 . 635700 , 11 . 272729 , 11 . 098580 , 10 . 380266 , 10 . 934320 , 10 . 703957 , 11 . 757020 , 11 . 377185 ,
10 . 914031 , 11 . 367373 , 11 . 242049 , 9 . 730850 , 10 . 829348 , 9 . 940216 , 11 . 053967 , 10 . 345068 ,
10 . 405171 , 11 . 406528 , 11 . 010255 , 11 . 514846 , 10 . 690641 , 10 . 782138 , 10 . 551907 , 11 . 570571 ,
10 . 963350 , 10 . 561098 , 10 . 897610 , 10 . 359729 , 10 . 921653 , 10 . 267286 , 10 . 863204 , 12 . 088830 ,
10 . 913255 , 11 . 541147 , 11 . 144643 , 10 . 754459 , 11 . 240273 , 11 . 610348 , 11 . 262464 , 10 . 943005 ,
11 . 222354 , 11 . 856104 , 10 . 765747 , 10 . 841017 , 11 . 135260 , 10 . 896885 , 11 . 411433 , 10 . 274181 ,
10 . 539119 , 11 . 565631 , 10 . 704984 , 10 . 977566 , 10 . 876265 , 10 . 496447 , 10 . 431494 , 10 . 896511 ,
10 . 701034 , 10 . 032242 , 10 . 710165 , 11 . 130478 , 10 . 843084 , 10 . 982600 , 11 . 354664 , 10 . 314327 ,
11 . 170538 , 11 . 507404 , 11 . 420810 , 10 . 263828 , 11 . 167098 , 11 . 187794 , 11 . 242281 , 10 . 881989 ,
11 . 238993 , 10 . 561798 , 10 . 468271 , 11 . 552883 , 10 . 602159 , 11 . 016782 , 10 . 600292 , 10 . 341828 ,
10 . 747632 , 11 . 207807 , 11 . 140360 , 11 . 313380 , 10 . 995404 , 11 . 483815 , 11 . 348386 , 11 . 158059 ,
11 . 055149 , 11 . 343593 , 12 . 032060 , 10 . 904012 , 11 . 235576 , 10 . 917547 , 11 . 650249 , 10 . 597639 ,
10 . 665922 , 10 . 870122 , 10 . 668126 , 10 . 779092 , 11 . 158683 , 10 . 341532 , 11 . 006154 , 10 . 724934 ,
10 . 851156 , 10 . 343409 , 11 . 167969 , 11 . 868052 , 10 . 956263 , 11 . 030416 , 10 . 592205 , 11 . 089705 ,
10 . 039322 , 11 . 252163 , 10 . 791548 , 10 . 695508 , 11 . 261717 , 11 . 105514 , 11 . 686567 , 10 . 942733 ,
10 . 707629 , 11 . 511118 , 10 . 701797 , 10 . 980990 , 10 . 932649 , 11 . 335276 , 10 . 815003 ,
10 . 939353 , 10 . 609057 , 11 . 300813 , 11 . 120819 , 11 . 406047 , 10 . 778163 , 10 . 381111 , 10 . 493309 ,
11 . 372209 , 11 . 521897 , 11 . 223403 , 10 . 452474 , 11 . 979212 , 11 . 608447 , 11 . 551188 , 10 . 869869 ,
11 . 302589 , 10 . 292556 , 11 . 925817 , 10 . 547036 , 11 . 210473 , 11 . 138685 , 11 . 285724 , 11 . 435661 ,
10 . 663734 , 10 . 395217 , 11 . 100626 , 10 . 807186 , 10 . 717668 , 10 . 667939 , 11 . 465753 , 10 . 897281 ,
10 . 782706 , 10 . 844405 , 10 . 672770 , 10 . 639926 , 11 . 082141 , 10 . 451361 , 11 . 547958 , 10 . 814646 ,
10 . 450838 , 10 . 475184 , 10 . 777435 , 10 . 331508 , 9 . 923850 , 11 . 213981 , 11 . 553550 , 10 . 408836 ,
11 . 384746 , 10 . 436129 , 11 . 240036 , 10 . 719702 , 10 . 352070 , 10 . 559000 , 10 . 608620 , 11 . 418564 ,
10 . 360492 , 10 . 129815 , 11 . 068500 , 11 . 058798 , 10 . 551486 , 11 . 173769 , 9 . 989037 , 10 . 508380 ,
11 . 751386 , 11 . 646077 , 10 . 067081 , 10 . 620146 , 11 . 490531 , 10 . 648792 , 10 . 138204 , 10 . 209421 ,
10 . 799148 , 10 . 336802 , 11 . 212215 , 11 . 189719 , 10 . 183339 , 10 . 577128 , 10 . 826240 , 10 . 175430 ,
11 . 363237 , 11 . 456071 , 11 . 628691 , 10 . 412785 , 11 . 060725 , 10 . 273947 , 10 . 459440 , 10 . 754731 ,
11 . 364714 , 11 . 866048 , 10 . 789078 , 10 . 664333 , 10 . 849675 , 10 . 665530 , 11 . 010408 , 11 . 456701 ,
10 . 461422 , 10 . 513307 , 10 . 719797 , 11 . 225119 , 11 . 367164 , 11 . 074162 , 11 . 188824 , 11 . 085430 ,
11 . 604669 , 10 . 616042 , 11 . 330914 , 10 . 990433 , 11 . 170369 , 11 . 705762 , 11 . 696623 , 10 . 860317 ,
11 . 316169 , 10 . 356028 , 10 . 495122 , 10 . 320801 , 10 . 455183 , 11 . 801252 , 9 . 989701 , 11 . 754740 ,
11 . 119090 , 11 . 404459 , 11 . 446191 , 11 . 084301 , 11 . 505415 , 9 . 633334 , 11 . 464131 ,
11 . 553728 , 11 . 486282 , 10 . 322402 , 11 . 137397 , 11 . 266046 , 11 . 813062 , 10 . 903496 , 11 . 038707 ,
12 . 039100 , 10 . 824938 , 11 . 215742 , 10 . 697082 , 11 . 159470 , 10 . 864844 , 11 . 597457 , 10 . 842932 ,
9 . 642869 , 11 . 364991 , 10 . 724153 , 11 . 460179 , 10 . 808949 , 10 . 740645 , 10 . 998301 , 10 . 903461 ,
11 . 576531 , 10 . 921531 , 9 . 881224 , 11 . 528878 , 10 . 814045 , 11 . 252411 , 11 . 265190 , 10 . 610715 ,
10 . 938168 , 10 . 718333 , 11 . 380592 , 10 . 440963 , 10 . 553548 , 10 . 498944 , 10 . 709603 , 10 . 849030 ,
10 . 929008 , 10 . 406829 , 12 . 047275 , 12 . 044439 , 10 . 621881 , 11 . 854693 , 10 . 216953 , 10 . 121774 ,
10 . 934632 , 10 . 663228 , 12 . 337110 , 11 . 710748 , 10 . 897528 , 10 . 703571 , 10 . 854501 , 10 . 480428 ,
11 . 476207 , 11 . 938031 , 11 . 076184 , 10 . 545087 , 10 . 933022 , 11 . 712203 , 10 . 762830 , 11 . 623572 ,
10 . 530726 , 10 . 835964 , 10 . 615012 , 11 . 396831 , 10 . 284916 , 11 . 423054 , 11 . 294310 ,
10 . 654246 , 11 . 839315 , 11 . 746797 , 10 . 223492 , 10 . 748900 , 10 . 689022 , 10 . 546090 , 11 . 294200 ,
10 . 143085 , 11 . 064345 , 10 . 848917 , 9 . 878271 , 10 . 254344 , 10 . 961207 , 11 . 117584 , 11 . 141412 ,
10 . 660348 , 11 . 460603 , 10 . 878511 , 11 . 856628 , 11 . 145391 , 11 . 319228 , 11 . 384048 , 10 . 556208 ,
10 . 360103 , 11 . 258149 , 10 . 984501 , 10 . 543364 , 10 . 467144 , 10 . 913666 , 10 . 742035 , 11 . 287528 ,
11 . 413284 , 10 . 419279 , 10 . 519242 , 10 . 549373 , 11 . 261719 , 11 . 698901 , 11 . 098466 , 11 . 468676 ,
10 . 847804 , 11 . 912098 , 10 . 999774 , 11 . 720257 , 11 . 373090 , 10 . 699628 , 10 . 981002 , 11 . 037718 ,
11 . 712649 , 12 . 035387 , 10 . 585428 , 10 . 449930 , 11 . 101949 , 10 . 927553 , 11 . 362764 , 10 . 550515 ,
10 . 514934 , 10 . 786040 , 10 . 886452 , 10 . 917904 , 10 . 990178 , 11 . 258388 , 11 . 616731 , 10 . 983958 ,
10 . 332257 , 10 . 942340 , 10 . 765547 , 10 . 919137 , 9 . 703805 , 10 . 651918 , 11 . 832031 , 11 . 052401 ,
10 . 421092 , 10 . 579816 , 10 . 414489 , 11 . 544071 , 11 . 381402 , 9 . 654163 , 12 . 385504 , 10 . 774963 ,
10 . 669202 , 11 . 718322 , 11 . 576338 , 10 . 695204 , 11 . 514281 , 10 . 751500 , 10 . 953547 , 10 . 670503 ,
10 . 808489 , 11 . 106883 , 11 . 214440 , 10 . 797047 , 11 . 305553 , 12 . 169023 , 10 . 712054 , 10 . 855360 ,
10 . 407372 , 11 . 140109 , 10 . 858600 , 11 . 214366 , 11 . 683640 , 11 . 135465 , 10 . 633989 , 11 . 351877 ,
11 . 057167 , 11 . 859812 , 11 . 545759 , 10 . 939589 , 11 . 126121 , 11 . 864861 , 11 . 063316 , 11 . 338830 ,
10 . 382234 , 10 . 049620 , 10 . 179723 , 12 . 074510 , 10 . 976813 , 10 . 951866 , 11 . 359301 , 11 . 651954 ,
10 . 818791 , 10 . 823653 , 11 . 270778 , 10 . 817612 , 10 . 976794 , 10 . 783865 , 11 . 096735 , 11 . 332715 ,
11 . 072035 , 11 . 164223 , 11 . 141688 , 11 . 085395 , 11 . 101911 , 11 . 926881 , 10 . 762072 , 11 . 067591 ,
11 . 001136 , 10 . 681031 , 10 . 217203 , 11 . 115603 , 10 . 498126 , 10 . 500993 , 10 . 617594 , 10 . 615611 ,
10 . 681058 , 10 . 665236 , 10 . 513216 , 10 . 489505 , 11 . 301740 , 10 . 422187 , 11 . 529669 , 11 . 057009 ,
10 . 449741 , 10 . 480119 , 11 . 551403 , 11 . 855562 , 11 . 142536 , 10 . 730081 , 11 . 118857 , 11 . 350182 ,
11 . 383460 , 11 . 117851 , 10 . 196364 , 10 . 660730 , 11 . 216513 , 11 . 057925 , 10 . 838810 , 10 . 500913 ,
11 . 080245 , 12 . 161948 , 10 . 776371 , 10 . 311571 , 10 . 325857 , 10 . 864720 , 11 . 412378 , 11 . 049514 ,
11 . 683484 , 11 . 046642 , 10 . 558227 , 10 . 364234 , 11 . 654452 , 10 . 728041 , 11 . 580828 , 9 . 954838 ,
11 . 110899 , 10 . 874148 , 11 . 628129 , 11 . 042047 , 11 . 367863 , 11 . 244987 , 10 . 963097 , 11 . 869559 ,
10 . 184913 , 11 . 833602 , 10 . 601756 , 11 . 568189 , 10 . 354960 , 10 . 439903 , 11 . 453109 , 11 . 020075 ,
10 . 882459 , 11 . 254732 , 9 . 725203 , 11 . 350123 , 11 . 272063 , 9 . 909668 , 11 . 062600 , 10 . 648944 ,
11 . 462129 , 10 . 436472 , 11 . 155383 , 11 . 465634 , 11 . 303251 , 10 . 651858 , 11 . 161291 , 11 . 046416 ,
11 . 410736 , 10 . 676631 , 10 . 824254 , 10 . 967822 , 10 . 517315 , 10 . 221226 , 10 . 445903 , 10 . 336445 ,
11 . 886169 , 10 . 456898 , 11 . 303230 , 9 . 922031 , 11 . 243462 , 9 . 645149 , 10 . 834075 , 10 . 453523 ,
11 . 625933 , 11 . 806310 , 11 . 094070 , 10 . 822189 , 10 . 554401 , 11 . 976573 , 11 . 641656 ,
11 . 534159 , 11 . 086080 , 10 . 905351 , 10 . 722716 , 11 . 836752 , 10 . 470161 , 12 . 003013 ,
10 . 923069 , 10 . 885452 , 10 . 674664 , 10 . 710126 , 10 . 611715 , 10 . 264758 , 11 . 022540 , 11 . 167001 ,
9 . 935787 , 10 . 737813 , 11 . 110074 , 11 . 272703 , 10 . 023606 , 10 . 793415 , 10 . 827954 , 11 . 309641 ,
11 . 341384 , 10 . 687285 , 11 . 246875 , 11 . 112417 , 11 . 310650 , 10 . 857665 , 10 . 469203 ,
10 . 646606 , 11 . 617941 , 11 . 657228 , 11 . 387881 , 11 . 063790 , 11 . 516290 , 11 . 098729 , 11 . 612396 ,
10 . 243326 , 10 . 559973 , 10 . 199832 , 10 . 908475 , 11 . 402572 , 10 . 915399 , 11 . 557096 , 11 . 057359 ,
11 . 212821 , 10 . 966127 , 10 . 676251 , 10 . 928196 , 10 . 474553 , 11 . 086288 , 10 . 309674 , 10 . 766667 ,
12 . 004281 , 11 . 526934 , 9 . 881659 , 10 . 738512 , 11 . 201611 , 11 . 658229 , 10 . 868327 , 11 . 126499 ,
10 . 657983 , 11 . 803341 , 10 . 909922 , 10 . 482991 , 10 . 366251 , 10 . 825443 , 10 . 445033 , 10 . 845092 ,
11 . 138267 , 10 . 723730 , 10 . 953551 , 10 . 873247 , 11 . 218989 , 11 . 014470 , 10 . 814622 , 10 . 300803 ,
11 . 202258 , 11 . 352205 , 11 . 058535 , 12 . 233691 , 11 . 045757 , 11 . 048252 , 10 . 884073 , 11 . 136162 ,
11 . 401505 , 10 . 973725 , 10 . 633835 , 10 . 807844 , 11 . 207825 , 10 . 786980 , 11 . 775571 , 10 . 467445 ,
10 . 924431 , 11 . 422381 , 11 . 104675 , 10 . 869664 , 10 . 775698 , 11 . 409328 , 11 . 314403 , 11 . 001386 ,
10 . 840540 , 10 . 188204 , 11 . 530167 , 10 . 883874 , 11 . 262262 , 11 . 085485 , 11 . 037466 , 10 . 686947 ,
10 . 440937 , 11 . 850269 , 10 . 903154 , 10 . 715946 , 11 . 263722 , 11 . 076225 , 10 . 425650 ,
11 . 482862 , 11 . 250227 , 11 . 115931 , 11 . 539702 , 11 . 068186 , 11 . 119218 , 10 . 734337 , 11 . 748896 ,
11 . 197683 , 10 . 582216 , 10 . 810091 , 10 . 702138 , 10 . 584949 , 11 . 144981 , 10 . 846450 , 10 . 304348 ,
10 . 538153 , 11 . 265421 , 10 . 208336 , 10 . 761849 , 11 . 066464 , 11 . 435734 , 11 . 143363 , 11 . 716793 ,
10 . 381280 , 10 . 982241 , 11 . 243643 , 10 . 341457 , 11 . 114990 , 10 . 240647 , 11 . 100021 , 11 . 333464 ,
11 . 344969 , 11 . 710721 , 10 . 450582 , 10 . 533728 , 10 . 493605 , 10 . 935091 , 10 . 898341 , 11 . 538503 ,
10 . 877369 , 11 . 005260 , 11 . 396695 , 11 . 566538 , 10 . 223088 , 10 . 859992 , 11 . 520660 , 10 . 245736 ,
10 . 495179 , 10 . 669599 , 11 . 124721 , 11 . 489077 , 11 . 195587 , 10 . 939948 , 10 . 325366 , 11 . 211601 ,
11 . 302305 , 12 . 010475 , 11 . 817775 , 11 . 279876 , 11 . 253195 , 9 . 942904 , 11 . 783001 , 11 . 026141 ,
11 . 762820 , 10 . 793477 , 10 . 773971 , 10 . 508871 , 11 . 071885 , 10 . 997541 , 11 . 567901 , 11 . 393313 ,
11 . 424385 , 10 . 932573 , 10 . 598798 , 10 . 849359 , 10 . 803467 , 10 . 698967 , 11 . 293122 , 12 . 352908 ,
10 . 945713 , 11 . 323834 , 10 . 750225 , 10 . 572231 , 11 . 119130 , 10 . 623569 , 11 . 039122 , 10 . 722091 ,
11 . 752158 , 11 . 411453 , 9 . 939456 , 11 . 920903 , 10 . 266986 , 10 . 150997 , 11 . 274061 , 10 . 946832 ,
11 . 013534 , 10 . 424763 , 11 . 594311 , 11 . 226287 , 10 . 672113 , 11 . 090694 , 10 . 373572 , 11 . 017966 ,
11 . 633314 , 11 . 559944 , 10 . 610883 , 12 . 140367 , 11 . 623158 , 11 . 832900 , 11 . 344722 , 10 . 78007 ] $
(%i3) lmax ( p ) ;

\[\operatorname{ }12.385504\]

(%i4) lmin ( p ) ;

\[\operatorname{ }9.633334\]

(%i5) histogram ( p , nclasses = 50 , title = "Histogram" , xlabel = "Values" , ylabel = "Count of values" , fill_color = green , fill_density = 0 . 6 ) $ ;
Завантаження статистичного пакету
(%i6) load ( "stats" ) $
Визначення середнього
(%i7) mean ( p ) ;

\[\operatorname{ }10.978373028225807\]

Визначення медіани
(%i8) median ( p ) ;

\[\operatorname{ }10.974259499999999\]

Визначення дисперсії
(%i9) var ( p ) ;

\[\operatorname{ }0.23825746757317645\]

(%i10) var1 ( p ) ;

\[\operatorname{ }0.23849788883207976\]

Розрахунок стандартного відхилення
(%i11) std ( p ) ;

\[\operatorname{ }0.4881162439144762\]

(%i12) std1 ( p ) ;

\[\operatorname{ }0.4883624564113009\]

Вихначення базових статистик
(%i13) test_mean ( p , mean = 10 . 974259499999999 ) ;

\[\operatorname{ }\begin{array}{c}"MEAN TEST"\\ \ensuremath{\mathrm{mean\_ estimate}}\operatorname{=}10.978373028225807\\ \ensuremath{\mathrm{conf\_ level}}\operatorname{=}0.95\\ \ensuremath{\mathrm{conf\_ interval}}\operatorname{=}\left[ 10.94794560875595\operatorname{,}11.008800447695664\right] \\ \ensuremath{\mathrm{method}}\operatorname{=}"Exact t-test. Unknown variance."\\ \ensuremath{\mathrm{hypotheses}}\operatorname{=}"H0: mean = 10.974259499999999 , H1: mean \neq 10.974259499999999"\\ \ensuremath{\mathrm{statistic}}\operatorname{=}0.2652943789168343\\ \ensuremath{\mathrm{distribution}}\operatorname{=}\left[ {{\ensuremath{\mathrm{student}}}_t}\operatorname{,}991\right] \\ {p_{\ensuremath{\mathrm{value}}}}\operatorname{=}0.7908378680853048\end{array}\]

Відповідь:

Інтервал в який попадає 95% вимірів із тисячі для даної виборки
10.94794560875595< х < 11.008800447695664.
Аналіз гістограми
Форма гістограми для нормально розподіленої випадкової величини має належну форму.
(%i14) n : length ( p ) ;

\[\operatorname{ }992\]

(%i16) p [ 1 ] ; p [ 992 ] ;

\[\operatorname{ }10.735163\]

\[\operatorname{ }10.78007\]

(%i17) S_mean : 0 ;

\[\operatorname{ }0\]

(%i18) for i : 1 thru n step 1 do ( S_mean : S_mean + p [ i ] ) $
(%i20) T_mean : S_mean / length ( p ) ; mean ( p ) ;

\[\operatorname{ }10.978373028225807\]

\[\operatorname{ }10.978373028225807\]

(%i21) S_var1 : 0 ;

\[\operatorname{ }0\]

(%i22) for i : 1 thru n step 1 do ( S_var1 : S_var1 + ( mean ( p ) p [ i ] ) ^ 2 ) $
(%i23) S_var1 ;

\[\operatorname{ }236.35140783259104\]

(%i24) T_var1 : S_var1 / ( n 1 ) ;

\[\operatorname{ }0.23849788883207976\]

(%i25) T_var : S_var1 / ( n ) ;

\[\operatorname{ }0.23825746757317645\]

(%i26) t : [ a , b , c , d ] ;

\[\operatorname{ }\left[ a\operatorname{,}b\operatorname{,}c\operatorname{,}d\right] \]

(%i28) var ( t ) ; var1 ( t ) ;

\[\operatorname{ }\frac{3 {{d}^{2}}\operatorname{+}\left( \operatorname{-}\left( 2 c\right) \operatorname{-}2 b\operatorname{-}2 a\right) d\operatorname{+}3 {{c}^{2}}\operatorname{+}\left( \operatorname{-}\left( 2 b\right) \operatorname{-}2 a\right) c\operatorname{+}3 {{b}^{2}}\operatorname{-}2 a b\operatorname{+}3 {{a}^{2}}}{16}\]

\[\operatorname{ }\frac{3 {{d}^{2}}\operatorname{+}\left( \operatorname{-}\left( 2 c\right) \operatorname{-}2 b\operatorname{-}2 a\right) d\operatorname{+}3 {{c}^{2}}\operatorname{+}\left( \operatorname{-}\left( 2 b\right) \operatorname{-}2 a\right) c\operatorname{+}3 {{b}^{2}}\operatorname{-}2 a b\operatorname{+}3 {{a}^{2}}}{12}\]

(%i32) std ( p ) ; std1 ( p ) ; std ( t ) ; std1 ( t ) ;

\[\operatorname{ }0.4881162439144762\]

\[\operatorname{ }0.4883624564113009\]

\[\operatorname{ }\frac{\sqrt{3 {{d}^{2}}\operatorname{+}\left( \operatorname{-}\left( 2 c\right) \operatorname{-}2 b\operatorname{-}2 a\right) d\operatorname{+}3 {{c}^{2}}\operatorname{+}\left( \operatorname{-}\left( 2 b\right) \operatorname{-}2 a\right) c\operatorname{+}3 {{b}^{2}}\operatorname{-}2 a b\operatorname{+}3 {{a}^{2}}}}{4}\]

\[\operatorname{ }\frac{\sqrt{3 {{d}^{2}}\operatorname{+}\left( \operatorname{-}\left( 2 c\right) \operatorname{-}2 b\operatorname{-}2 a\right) d\operatorname{+}3 {{c}^{2}}\operatorname{+}\left( \operatorname{-}\left( 2 b\right) \operatorname{-}2 a\right) c\operatorname{+}3 {{b}^{2}}\operatorname{-}2 a b\operatorname{+}3 {{a}^{2}}}}{2 \sqrt{3}}\]

(%i33) pt : standardize ( p ) $
(%i34) pt [ 1 ] ;

\[\operatorname{ }\operatorname{-}0.49826251688608064\]

(%i37) p [ 1 ] ; mean ( p ) ; p [ 1 ] mean ( p ) ;

\[\operatorname{ }10.735163\]

\[\operatorname{ }10.978373028225807\]

\[\operatorname{ }\operatorname{-}0.24321002822580695\]

(%i38) p_sort : sort ( p , ' orderlessp ) ;

\[\operatorname{ }\]

ORIGINAL

(%i39) t : [ 10 . 735163 , 11 . 441326 , 11 . 361707 , 10 . 902565 , 10 . 859867 , 10 . 993440 , 11 . 488790 , 11 . 049705 , 11 . 700912 , 10 . 934182 , 9 . 800266 , 10 . 070933 , 11 . 832881 , 11 . 186524 , 9 . 830553 , 10 . 634115 , 10 . 800838 , 11 . 726200 , 11 . 257555 , 10 . 596311 , 11 . 137083 , 11 . 117580 , 10 . 370772 , 10 . 785315 , 10 . 154686 , 10 . 776117 , 11 . 554072 , 11 . 193384 , 10 . 973221 , 10 . 780141 , 9 . 967299 , 10 . 416577 , 10 . 480040 , 10 . 521945 , 11 . 733794 , 11 . 135568 , 11 . 613315 , 10 . 580999 , 11 . 862697 , 12 . 300101 , 11 . 302115 , 11 . 515168 , 10 . 727143 , 10 . 790299 , 10 . 914594 , 11 . 626693 , 10 . 931735 , 10 . 702132 , 10 . 323996 , 11 . 349600 , 10 . 700817 , 10 . 974794 , 10 . 945194 , 11 . 336812 , 11 . 740718 , 11 . 778233 , 9 . 913615 , 11 . 446550 , 10 . 474325 , 10 . 843243 , 10 . 303362 , 10 . 737720 , 10 . 750404 , 11 . 721627 , 11 . 296506 , 11 . 845266 , 10 . 339852 , 11 . 559058 , 10 . 246905 , 10 . 953692 , 11 . 219258 , 10 . 758945 , 11 . 094910 , 10 . 683887 , 10 . 547243 , 11 . 049054 , 11 . 390294 , 10 . 509846 , 11 . 372921 , 11 . 516117 , 10 . 661543 , 10 . 081986 , 10 . 671435 , 10 . 734593 , 10 . 598930 , 11 . 787820 , 10 . 505220 , 11 . 332032 , 10 . 287553 , 10 . 787096 , 14 . 682996 , 11 . 450462 , 11 . 005844 , 11 . 025501 , 10 . 738071 , 12 . 005468 , 11 . 477734 , 11 . 121910 , 11 . 192320 , 11 . 873250 , 10 . 858305 , 10 . 956758 , 11 . 224084 , 10 . 491280 , 11 . 001350 , 10 . 882899 , 11 . 426858 , 11 . 436107 , 10 . 896239 , 10 . 839437 , 11 . 440707 , 10 . 278782 , 11 . 946208 , 11 . 600544 , 11 . 135669 , 11 . 657305 , 11 . 004180 , 10 . 420731 , 10 . 892608 , 10 . 287886 , 10 . 619350 , 11 . 042745 , 11 . 583272 , 10 . 647557 , 11 . 088866 , 10 . 888444 , 11 . 778226 , 11 . 293906 , 11 . 194746 , 11 . 295984 , 10 . 383614 , 10 . 256778 , 10 . 900543 , 11 . 870654 , 11 . 475858 , 10 . 633205 , 10 . 944351 , 11 . 201343 , 10 . 546328 , 10 . 984059 , 11 . 598495 , 10 . 540235 , 11 . 221263 , 9 . 672577 , 11 . 175895 , 11 . 392901 , 10 . 984088 , 10 . 787785 , 10 . 451189 , 10 . 975158 , 11 . 162761 , 11 . 504746 , 11 . 055887 , 11 . 057665 , 11 . 004098 , 10 . 601283 , 11 . 151146 , 10 . 338938 , 10 . 527573 , 11 . 186648 , 11 . 168518 , 11 . 078780 , 10 . 338418 , 11 . 001034 , 11 . 007145 , 11 . 638764 , 10 . 747713 , 11 . 149445 , 11 . 359229 , 10 . 750739 , 10 . 617082 , 11 . 290227 , 10 . 288796 , 10 . 316696 , 11 . 082002 , 11 . 264218 , 11 . 163963 , 10 . 622406 , 10 . 817780 , 11 . 116009 , 11 . 365859 , 10 . 819618 , 11 . 278286 , 10 . 996675 , 10 . 128917 , 11 . 097139 , 10 . 414759 , 10 . 986588 , 10 . 549580 , 10 . 698267 , 11 . 145899 , 10 . 791416 , 9 . 932431 , 10 . 772677 , 9 . 858881 , 11 . 606249 , 11 . 485803 , 10 . 571451 , 10 . 746537 , 11 . 243540 , 10 . 635700 , 11 . 272729 , 11 . 098580 , 10 . 380266 , 10 . 934320 , 10 . 703957 , 11 . 757020 , 11 . 377185 , 10 . 914031 , 11 . 367373 , 11 . 242049 , 9 . 730850 , 10 . 829348 , 9 . 940216 , 11 . 053967 , 10 . 345068 , 10 . 405171 , 11 . 406528 , 11 . 010255 , 11 . 514846 , 10 . 690641 , 10 . 782138 , 10 . 551907 , 11 . 570571 , 10 . 963350 , 10 . 561098 , 10 . 897610 , 10 . 359729 , 10 . 921653 , 10 . 267286 , 10 . 863204 , 12 . 088830 , 10 . 913255 , 11 . 541147 , 11 . 144643 , 10 . 754459 , 11 . 240273 , 11 . 610348 , 11 . 262464 , 10 . 943005 , 11 . 222354 , 11 . 856104 , 10 . 765747 , 10 . 841017 , 11 . 135260 , 10 . 896885 , 11 . 411433 , 10 . 274181 , 10 . 539119 , 11 . 565631 , 10 . 704984 , 10 . 977566 , 10 . 876265 , 10 . 496447 , 10 . 431494 , 10 . 896511 , 10 . 701034 , 10 . 032242 , 10 . 710165 , 11 . 130478 , 10 . 843084 , 10 . 982600 , 11 . 354664 , 10 . 314327 , 11 . 170538 , 11 . 507404 , 11 . 420810 , 10 . 263828 , 11 . 167098 , 11 . 187794 , 11 . 242281 , 10 . 881989 , 11 . 238993 , 10 . 561798 , 10 . 468271 , 11 . 552883 , 10 . 602159 , 11 . 016782 , 10 . 600292 , 10 . 341828 , 10 . 747632 , 11 . 207807 , 11 . 140360 , 11 . 313380 , 10 . 995404 , 11 . 483815 , 11 . 348386 , 11 . 158059 , 11 . 055149 , 11 . 343593 , 12 . 032060 , 10 . 904012 , 11 . 235576 , 10 . 917547 , 11 . 650249 , 10 . 597639 , 10 . 665922 , 10 . 870122 , 10 . 668126 , 10 . 779092 , 11 . 158683 , 10 . 341532 , 11 . 006154 , 10 . 724934 , 10 . 851156 , 10 . 343409 , 11 . 167969 , 11 . 868052 , 10 . 956263 , 11 . 030416 , 10 . 592205 , 11 . 089705 , 10 . 039322 , 11 . 252163 , 10 . 791548 , 10 . 695508 , 11 . 261717 , 11 . 105514 , 11 . 686567 , 10 . 942733 , 10 . 707629 , 11 . 511118 , 10 . 701797 , 10 . 980990 , 10 . 932649 , 11 . 335276 , 13 . 562949 , 10 . 815003 , 10 . 939353 , 10 . 609057 , 11 . 300813 , 11 . 120819 , 11 . 406047 , 10 . 778163 , 10 . 381111 , 10 . 493309 , 11 . 372209 , 11 . 521897 , 11 . 223403 , 10 . 452474 , 11 . 979212 , 11 . 608447 , 11 . 551188 , 10 . 869869 , 11 . 302589 , 10 . 292556 , 11 . 925817 , 10 . 547036 , 11 . 210473 , 11 . 138685 , 11 . 285724 , 11 . 435661 , 10 . 663734 , 10 . 395217 , 11 . 100626 , 10 . 807186 , 10 . 717668 , 10 . 667939 , 11 . 465753 , 10 . 897281 , 10 . 782706 , 10 . 844405 , 10 . 672770 , 10 . 639926 , 11 . 082141 , 10 . 451361 , 11 . 547958 , 10 . 814646 , 10 . 450838 , 10 . 475184 , 10 . 777435 , 10 . 331508 , 9 . 923850 , 11 . 213981 , 11 . 553550 , 10 . 408836 , 11 . 384746 , 10 . 436129 , 11 . 240036 , 10 . 719702 , 10 . 352070 , 10 . 559000 , 10 . 608620 , 11 . 418564 , 10 . 360492 , 10 . 129815 , 11 . 068500 , 11 . 058798 , 10 . 551486 , 11 . 173769 , 9 . 989037 , 10 . 508380 , 11 . 751386 , 11 . 646077 , 10 . 067081 , 10 . 620146 , 11 . 490531 , 10 . 648792 , 10 . 138204 , 10 . 209421 , 10 . 799148 , 10 . 336802 , 11 . 212215 , 11 . 189719 , 10 . 183339 , 10 . 577128 , 10 . 826240 , 10 . 175430 , 11 . 363237 , 11 . 456071 , 11 . 628691 , 10 . 412785 , 11 . 060725 , 10 . 273947 , 10 . 459440 , 10 . 754731 , 11 . 364714 , 11 . 866048 , 10 . 789078 , 10 . 664333 , 10 . 849675 , 10 . 665530 , 11 . 010408 , 11 . 456701 , 10 . 461422 , 10 . 513307 , 10 . 719797 , 11 . 225119 , 11 . 367164 , 11 . 074162 , 11 . 188824 , 11 . 085430 , 11 . 604669 , 10 . 616042 , 11 . 330914 , 10 . 990433 , 11 . 170369 , 11 . 705762 , 11 . 696623 , 10 . 860317 , 11 . 316169 , 10 . 356028 , 10 . 495122 , 10 . 320801 , 10 . 455183 , 11 . 801252 , 9 . 989701 , 11 . 754740 , 11 . 119090 , 11 . 404459 , 12 . 414607 , 11 . 446191 , 11 . 084301 , 11 . 505415 , 9 . 633334 , 11 . 464131 , 11 . 553728 , 11 . 486282 , 10 . 322402 , 11 . 137397 , 11 . 266046 , 11 . 813062 , 10 . 903496 , 11 . 038707 , 12 . 039100 , 10 . 824938 , 11 . 215742 , 10 . 697082 , 11 . 159470 , 10 . 864844 , 11 . 597457 , 10 . 842932 , 9 . 642869 , 11 . 364991 , 10 . 724153 , 11 . 460179 , 10 . 808949 , 10 . 740645 , 10 . 998301 , 10 . 903461 , 11 . 576531 , 10 . 921531 , 9 . 881224 , 11 . 528878 , 10 . 814045 , 11 . 252411 , 11 . 265190 , 10 . 610715 , 10 . 938168 , 10 . 718333 , 11 . 380592 , 10 . 440963 , 10 . 553548 , 10 . 498944 , 10 . 709603 , 10 . 849030 , 10 . 929008 , 10 . 406829 , 12 . 047275 , 12 . 044439 , 10 . 621881 , 11 . 854693 , 10 . 216953 , 10 . 121774 , 10 . 934632 , 10 . 663228 , 12 . 337110 , 11 . 710748 , 10 . 897528 , 10 . 703571 , 10 . 854501 , 10 . 480428 , 11 . 476207 , 11 . 938031 , 11 . 076184 , 10 . 545087 , 10 . 933022 , 11 . 712203 , 10 . 762830 , 11 . 623572 , 10 . 530726 , 10 . 835964 , 10 . 615012 , 11 . 396831 , 10 . 284916 , 11 . 423054 , 12 . 520281 , 11 . 294310 , 10 . 654246 , 11 . 839315 , 11 . 746797 , 10 . 223492 , 10 . 748900 , 10 . 689022 , 10 . 546090 , 11 . 294200 , 10 . 143085 , 11 . 064345 , 10 . 848917 , 9 . 878271 , 10 . 254344 , 10 . 961207 , 11 . 117584 , 11 . 141412 , 10 . 660348 , 11 . 460603 , 10 . 878511 , 11 . 856628 , 11 . 145391 , 11 . 319228 , 11 . 384048 , 10 . 556208 , 10 . 360103 , 11 . 258149 , 10 . 984501 , 10 . 543364 , 10 . 467144 , 10 . 913666 , 10 . 742035 , 11 . 287528 , 11 . 413284 , 10 . 419279 , 10 . 519242 , 10 . 549373 , 11 . 261719 , 11 . 698901 , 11 . 098466 , 11 . 468676 , 10 . 847804 , 11 . 912098 , 10 . 999774 , 11 . 720257 , 11 . 373090 , 10 . 699628 , 10 . 981002 , 11 . 037718 , 11 . 712649 , 12 . 035387 , 10 . 585428 , 10 . 449930 , 11 . 101949 , 10 . 927553 , 11 . 362764 , 10 . 550515 , 10 . 514934 , 10 . 786040 , 10 . 886452 , 10 . 917904 , 10 . 990178 , 11 . 258388 , 11 . 616731 , 10 . 983958 , 10 . 332257 , 10 . 942340 , 10 . 765547 , 10 . 919137 , 9 . 703805 , 10 . 651918 , 11 . 832031 , 11 . 052401 , 10 . 421092 , 10 . 579816 , 10 . 414489 , 11 . 544071 , 11 . 381402 , 9 . 654163 , 12 . 385504 , 10 . 774963 , 10 . 669202 , 11 . 718322 , 11 . 576338 , 10 . 695204 , 11 . 514281 , 10 . 751500 , 10 . 953547 , 10 . 670503 , 10 . 808489 , 11 . 106883 , 11 . 214440 , 10 . 797047 , 11 . 305553 , 12 . 169023 , 10 . 712054 , 10 . 855360 , 10 . 407372 , 11 . 140109 , 10 . 858600 , 11 . 214366 , 11 . 683640 , 11 . 135465 , 10 . 633989 , 11 . 351877 , 11 . 057167 , 11 . 859812 , 11 . 545759 , 10 . 939589 , 11 . 126121 , 11 . 864861 , 11 . 063316 , 11 . 338830 , 10 . 382234 , 10 . 049620 , 10 . 179723 , 12 . 074510 , 10 . 976813 , 10 . 951866 , 11 . 359301 , 11 . 651954 , 10 . 818791 , 10 . 823653 , 11 . 270778 , 10 . 817612 , 10 . 976794 , 10 . 783865 , 11 . 096735 , 11 . 332715 , 11 . 072035 , 11 . 164223 , 11 . 141688 , 11 . 085395 , 11 . 101911 , 11 . 926881 , 10 . 762072 , 11 . 067591 , 11 . 001136 , 10 . 681031 , 10 . 217203 , 11 . 115603 , 10 . 498126 , 10 . 500993 , 10 . 617594 , 10 . 615611 , 10 . 681058 , 10 . 665236 , 10 . 513216 , 10 . 489505 , 11 . 301740 , 10 . 422187 , 11 . 529669 , 11 . 057009 , 10 . 449741 , 10 . 480119 , 11 . 551403 , 11 . 855562 , 11 . 142536 , 10 . 730081 , 11 . 118857 , 11 . 350182 , 11 . 383460 , 11 . 117851 , 10 . 196364 , 10 . 660730 , 11 . 216513 , 11 . 057925 , 10 . 838810 , 10 . 500913 , 11 . 080245 , 12 . 161948 , 10 . 776371 , 10 . 311571 , 10 . 325857 , 10 . 864720 , 11 . 412378 , 11 . 049514 , 11 . 683484 , 11 . 046642 , 10 . 558227 , 10 . 364234 , 11 . 654452 , 10 . 728041 , 11 . 580828 , 9 . 954838 , 11 . 110899 , 10 . 874148 , 11 . 628129 , 11 . 042047 , 11 . 367863 , 11 . 244987 , 10 . 963097 , 11 . 869559 , 10 . 184913 , 11 . 833602 , 10 . 601756 , 11 . 568189 , 10 . 354960 , 10 . 439903 , 11 . 453109 , 11 . 020075 , 10 . 882459 , 11 . 254732 , 9 . 725203 , 11 . 350123 , 11 . 272063 , 9 . 909668 , 11 . 062600 , 10 . 648944 , 11 . 462129 , 10 . 436472 , 11 . 155383 , 11 . 465634 , 11 . 303251 , 10 . 651858 , 11 . 161291 , 11 . 046416 , 11 . 410736 , 10 . 676631 , 10 . 824254 , 10 . 967822 , 10 . 517315 , 10 . 221226 , 10 . 445903 , 10 . 336445 , 11 . 886169 , 10 . 456898 , 11 . 303230 , 9 . 922031 , 11 . 243462 , 9 . 645149 , 10 . 834075 , 10 . 453523 , 11 . 625933 , 11 . 806310 , 0 . 977724 , 11 . 094070 , 10 . 822189 , 10 . 554401 , 11 . 976573 , 11 . 641656 , 11 . 534159 , 11 . 086080 , 12 . 584544 , 10 . 905351 , 10 . 722716 , 11 . 836752 , 10 . 470161 , 12 . 003013 , 10 . 923069 , 10 . 885452 , 10 . 674664 , 10 . 710126 , 10 . 611715 , 10 . 264758 , 11 . 022540 , 11 . 167001 , 9 . 935787 , 10 . 737813 , 11 . 110074 , 11 . 272703 , 10 . 023606 , 10 . 793415 , 10 . 827954 , 11 . 309641 , 11 . 341384 , 10 . 687285 , 11 . 246875 , 11 . 112417 , 0 . 913139 , 11 . 310650 , 10 . 857665 , 10 . 469203 , 10 . 646606 , 11 . 617941 , 11 . 657228 , 11 . 387881 , 11 . 063790 , 11 . 516290 , 11 . 098729 , 11 . 612396 , 10 . 243326 , 10 . 559973 , 10 . 199832 , 10 . 908475 , 11 . 402572 , 10 . 915399 , 11 . 557096 , 11 . 057359 , 11 . 212821 , 10 . 966127 , 10 . 676251 , 10 . 928196 , 10 . 474553 , 11 . 086288 , 10 . 309674 , 10 . 766667 , 12 . 004281 , 11 . 526934 , 9 . 881659 , 10 . 738512 , 11 . 201611 , 11 . 658229 , 10 . 868327 , 11 . 126499 , 10 . 657983 , 11 . 803341 , 10 . 909922 , 10 . 482991 , 10 . 366251 , 10 . 825443 , 10 . 445033 , 10 . 845092 , 11 . 138267 , 10 . 723730 , 10 . 953551 , 10 . 873247 , 11 . 218989 , 11 . 014470 , 10 . 814622 , 10 . 300803 , 11 . 202258 , 11 . 352205 , 11 . 058535 , 12 . 233691 , 11 . 045757 , 11 . 048252 , 10 . 884073 , 11 . 136162 , 11 . 401505 , 10 . 973725 , 10 . 633835 , 10 . 807844 , 11 . 207825 , 10 . 786980 , 11 . 775571 , 10 . 467445 , 10 . 924431 , 11 . 422381 , 11 . 104675 , 10 . 869664 , 10 . 775698 , 11 . 409328 , 11 . 314403 , 11 . 001386 , 10 . 840540 , 10 . 188204 , 11 . 530167 , 10 . 883874 , 11 . 262262 , 11 . 085485 , 11 . 037466 , 10 . 686947 , 10 . 440937 , 6 . 175175 , 11 . 850269 , 10 . 903154 , 10 . 715946 , 11 . 263722 , 11 . 076225 , 10 . 425650 , 11 . 482862 , 11 . 250227 , 11 . 115931 , 11 . 539702 , 11 . 068186 , 11 . 119218 , 10 . 734337 , 11 . 748896 , 11 . 197683 , 10 . 582216 , 10 . 810091 , 10 . 702138 , 10 . 584949 , 11 . 144981 , 10 . 846450 , 10 . 304348 , 10 . 538153 , 11 . 265421 , 10 . 208336 , 10 . 761849 , 11 . 066464 , 11 . 435734 , 11 . 143363 , 11 . 716793 , 10 . 381280 , 10 . 982241 , 11 . 243643 , 10 . 341457 , 11 . 114990 , 10 . 240647 , 11 . 100021 , 11 . 333464 , 11 . 344969 , 11 . 710721 , 10 . 450582 , 10 . 533728 , 10 . 493605 , 10 . 935091 , 10 . 898341 , 11 . 538503 , 10 . 877369 , 11 . 005260 , 11 . 396695 , 11 . 566538 , 10 . 223088 , 10 . 859992 , 11 . 520660 , 10 . 245736 , 10 . 495179 , 10 . 669599 , 11 . 124721 , 11 . 489077 , 11 . 195587 , 10 . 939948 , 10 . 325366 , 11 . 211601 , 11 . 302305 , 12 . 010475 , 11 . 817775 , 11 . 279876 , 11 . 253195 , 9 . 942904 , 11 . 783001 , 11 . 026141 , 11 . 762820 , 10 . 793477 , 10 . 773971 , 10 . 508871 , 11 . 071885 , 10 . 997541 , 11 . 567901 , 11 . 393313 , 11 . 424385 , 10 . 932573 , 10 . 598798 , 10 . 849359 , 10 . 803467 , 10 . 698967 , 11 . 293122 , 12 . 352908 , 10 . 945713 , 11 . 323834 , 10 . 750225 , 10 . 572231 , 11 . 119130 , 10 . 623569 , 11 . 039122 , 10 . 722091 , 11 . 752158 , 11 . 411453 , 9 . 939456 , 11 . 920903 , 10 . 266986 , 10 . 150997 , 11 . 274061 , 10 . 946832 , 11 . 013534 , 10 . 424763 , 11 . 594311 , 11 . 226287 , 10 . 672113 , 11 . 090694 , 10 . 373572 , 11 . 017966 , 11 . 633314 , 11 . 559944 , 10 . 610883 , 12 . 140367 , 11 . 623158 , 11 . 832900 , 11 . 344722 , 10 . 78007 ] $
(%i40) t_sort : sort ( t , ' orderlessp ) ;

\[\operatorname{ }\]

(%i44) t_sort [ 1 ] ; t_sort [ 2 ] ; t_sort [ 3 ] ; t_sort [ 4 ] ;

\[\operatorname{ }0.913139\]

\[\operatorname{ }0.977724\]

\[\operatorname{ }6.175175\]

\[\operatorname{ }9.633334\]

(%i45) t_len : length ( t ) ;

\[\operatorname{ }1000\]

(%i52) t_sort [ 1000 ] ; t_sort [ 999 ] ; t_sort [ 998 ] ; t_sort [ 997 ] ; t_sort [ 996 ] ; t_sort [ 995 ] ; t_sort [ 994 ] ;

\[\operatorname{ }14.682996\]

\[\operatorname{ }13.562949\]

\[\operatorname{ }12.584544\]

\[\operatorname{ }12.520281\]

\[\operatorname{ }12.414607\]

\[\operatorname{ }12.385504\]

\[\operatorname{ }12.352908\]

(%i53) load ( "descriptive" ) $
(%i54) histogram (
          t ,
          nclasses     = 70 ,
          title        = "pi digits" ,
          xlabel       = "digits" ,
          ylabel       = "Absolute frequency" ,
          fill_color   = black ,
          fill_density = 0 . 9 ) $
(%i55) range ( t ) ;

\[\operatorname{ }13.769857\]

(%i56) histogram (
          p ,
          nclasses     = 70 ,
          title        = "pi digits" ,
          xlabel       = "digits" ,
          ylabel       = "Absolute frequency" ,
          fill_color   = blue ,
          fill_density = 0 . 9 ) $

Created with wxMaxima.

The source of this Maxima session can be downloaded here.