heap-sort.modal - Opengist

Rewizja e813c53b844660278a187547c0f191e3041b9e3e

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

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