conformance.json (32778B)
1 { 2 "hostSha256": "662fcf80231c070e4aa15dff1438aa1f5c99fb27a905f46a62efaff46c49f668", 3 "description": "All normal trees <=5 nodes, every ordered application pair; lazy regression and partial/multiple applications.", 4 "cases": [ 5 { 6 "program": "0", 7 "arguments": [ 8 "0" 9 ], 10 "result": "10" 11 }, 12 { 13 "program": "0", 14 "arguments": [ 15 "10" 16 ], 17 "result": "110" 18 }, 19 { 20 "program": "0", 21 "arguments": [ 22 "110" 23 ], 24 "result": "1110" 25 }, 26 { 27 "program": "0", 28 "arguments": [ 29 "200" 30 ], 31 "result": "1200" 32 }, 33 { 34 "program": "0", 35 "arguments": [ 36 "1110" 37 ], 38 "result": "11110" 39 }, 40 { 41 "program": "0", 42 "arguments": [ 43 "1200" 44 ], 45 "result": "11200" 46 }, 47 { 48 "program": "0", 49 "arguments": [ 50 "2010" 51 ], 52 "result": "12010" 53 }, 54 { 55 "program": "0", 56 "arguments": [ 57 "2100" 58 ], 59 "result": "12100" 60 }, 61 { 62 "program": "0", 63 "arguments": [ 64 "11110" 65 ], 66 "result": "111110" 67 }, 68 { 69 "program": "0", 70 "arguments": [ 71 "11200" 72 ], 73 "result": "111200" 74 }, 75 { 76 "program": "0", 77 "arguments": [ 78 "12010" 79 ], 80 "result": "112010" 81 }, 82 { 83 "program": "0", 84 "arguments": [ 85 "12100" 86 ], 87 "result": "112100" 88 }, 89 { 90 "program": "0", 91 "arguments": [ 92 "20110" 93 ], 94 "result": "120110" 95 }, 96 { 97 "program": "0", 98 "arguments": [ 99 "20200" 100 ], 101 "result": "120200" 102 }, 103 { 104 "program": "0", 105 "arguments": [ 106 "21010" 107 ], 108 "result": "121010" 109 }, 110 { 111 "program": "0", 112 "arguments": [ 113 "21100" 114 ], 115 "result": "121100" 116 }, 117 { 118 "program": "0", 119 "arguments": [ 120 "22000" 121 ], 122 "result": "122000" 123 }, 124 { 125 "program": "10", 126 "arguments": [ 127 "0" 128 ], 129 "result": "200" 130 }, 131 { 132 "program": "10", 133 "arguments": [ 134 "10" 135 ], 136 "result": "2010" 137 }, 138 { 139 "program": "10", 140 "arguments": [ 141 "110" 142 ], 143 "result": "20110" 144 }, 145 { 146 "program": "10", 147 "arguments": [ 148 "200" 149 ], 150 "result": "20200" 151 }, 152 { 153 "program": "10", 154 "arguments": [ 155 "1110" 156 ], 157 "result": "201110" 158 }, 159 { 160 "program": "10", 161 "arguments": [ 162 "1200" 163 ], 164 "result": "201200" 165 }, 166 { 167 "program": "10", 168 "arguments": [ 169 "2010" 170 ], 171 "result": "202010" 172 }, 173 { 174 "program": "10", 175 "arguments": [ 176 "2100" 177 ], 178 "result": "202100" 179 }, 180 { 181 "program": "10", 182 "arguments": [ 183 "11110" 184 ], 185 "result": "2011110" 186 }, 187 { 188 "program": "10", 189 "arguments": [ 190 "11200" 191 ], 192 "result": "2011200" 193 }, 194 { 195 "program": "10", 196 "arguments": [ 197 "12010" 198 ], 199 "result": "2012010" 200 }, 201 { 202 "program": "10", 203 "arguments": [ 204 "12100" 205 ], 206 "result": "2012100" 207 }, 208 { 209 "program": "10", 210 "arguments": [ 211 "20110" 212 ], 213 "result": "2020110" 214 }, 215 { 216 "program": "10", 217 "arguments": [ 218 "20200" 219 ], 220 "result": "2020200" 221 }, 222 { 223 "program": "10", 224 "arguments": [ 225 "21010" 226 ], 227 "result": "2021010" 228 }, 229 { 230 "program": "10", 231 "arguments": [ 232 "21100" 233 ], 234 "result": "2021100" 235 }, 236 { 237 "program": "10", 238 "arguments": [ 239 "22000" 240 ], 241 "result": "2022000" 242 }, 243 { 244 "program": "110", 245 "arguments": [ 246 "0" 247 ], 248 "result": "2100" 249 }, 250 { 251 "program": "110", 252 "arguments": [ 253 "10" 254 ], 255 "result": "21010" 256 }, 257 { 258 "program": "110", 259 "arguments": [ 260 "110" 261 ], 262 "result": "210110" 263 }, 264 { 265 "program": "110", 266 "arguments": [ 267 "200" 268 ], 269 "result": "210200" 270 }, 271 { 272 "program": "110", 273 "arguments": [ 274 "1110" 275 ], 276 "result": "2101110" 277 }, 278 { 279 "program": "110", 280 "arguments": [ 281 "1200" 282 ], 283 "result": "2101200" 284 }, 285 { 286 "program": "110", 287 "arguments": [ 288 "2010" 289 ], 290 "result": "2102010" 291 }, 292 { 293 "program": "110", 294 "arguments": [ 295 "2100" 296 ], 297 "result": "2102100" 298 }, 299 { 300 "program": "110", 301 "arguments": [ 302 "11110" 303 ], 304 "result": "21011110" 305 }, 306 { 307 "program": "110", 308 "arguments": [ 309 "11200" 310 ], 311 "result": "21011200" 312 }, 313 { 314 "program": "110", 315 "arguments": [ 316 "12010" 317 ], 318 "result": "21012010" 319 }, 320 { 321 "program": "110", 322 "arguments": [ 323 "12100" 324 ], 325 "result": "21012100" 326 }, 327 { 328 "program": "110", 329 "arguments": [ 330 "20110" 331 ], 332 "result": "21020110" 333 }, 334 { 335 "program": "110", 336 "arguments": [ 337 "20200" 338 ], 339 "result": "21020200" 340 }, 341 { 342 "program": "110", 343 "arguments": [ 344 "21010" 345 ], 346 "result": "21021010" 347 }, 348 { 349 "program": "110", 350 "arguments": [ 351 "21100" 352 ], 353 "result": "21021100" 354 }, 355 { 356 "program": "110", 357 "arguments": [ 358 "22000" 359 ], 360 "result": "21022000" 361 }, 362 { 363 "program": "200", 364 "arguments": [ 365 "0" 366 ], 367 "result": "0" 368 }, 369 { 370 "program": "200", 371 "arguments": [ 372 "10" 373 ], 374 "result": "0" 375 }, 376 { 377 "program": "200", 378 "arguments": [ 379 "110" 380 ], 381 "result": "0" 382 }, 383 { 384 "program": "200", 385 "arguments": [ 386 "200" 387 ], 388 "result": "0" 389 }, 390 { 391 "program": "200", 392 "arguments": [ 393 "1110" 394 ], 395 "result": "0" 396 }, 397 { 398 "program": "200", 399 "arguments": [ 400 "1200" 401 ], 402 "result": "0" 403 }, 404 { 405 "program": "200", 406 "arguments": [ 407 "2010" 408 ], 409 "result": "0" 410 }, 411 { 412 "program": "200", 413 "arguments": [ 414 "2100" 415 ], 416 "result": "0" 417 }, 418 { 419 "program": "200", 420 "arguments": [ 421 "11110" 422 ], 423 "result": "0" 424 }, 425 { 426 "program": "200", 427 "arguments": [ 428 "11200" 429 ], 430 "result": "0" 431 }, 432 { 433 "program": "200", 434 "arguments": [ 435 "12010" 436 ], 437 "result": "0" 438 }, 439 { 440 "program": "200", 441 "arguments": [ 442 "12100" 443 ], 444 "result": "0" 445 }, 446 { 447 "program": "200", 448 "arguments": [ 449 "20110" 450 ], 451 "result": "0" 452 }, 453 { 454 "program": "200", 455 "arguments": [ 456 "20200" 457 ], 458 "result": "0" 459 }, 460 { 461 "program": "200", 462 "arguments": [ 463 "21010" 464 ], 465 "result": "0" 466 }, 467 { 468 "program": "200", 469 "arguments": [ 470 "21100" 471 ], 472 "result": "0" 473 }, 474 { 475 "program": "200", 476 "arguments": [ 477 "22000" 478 ], 479 "result": "0" 480 }, 481 { 482 "program": "1110", 483 "arguments": [ 484 "0" 485 ], 486 "result": "21100" 487 }, 488 { 489 "program": "1110", 490 "arguments": [ 491 "10" 492 ], 493 "result": "211010" 494 }, 495 { 496 "program": "1110", 497 "arguments": [ 498 "110" 499 ], 500 "result": "2110110" 501 }, 502 { 503 "program": "1110", 504 "arguments": [ 505 "200" 506 ], 507 "result": "2110200" 508 }, 509 { 510 "program": "1110", 511 "arguments": [ 512 "1110" 513 ], 514 "result": "21101110" 515 }, 516 { 517 "program": "1110", 518 "arguments": [ 519 "1200" 520 ], 521 "result": "21101200" 522 }, 523 { 524 "program": "1110", 525 "arguments": [ 526 "2010" 527 ], 528 "result": "21102010" 529 }, 530 { 531 "program": "1110", 532 "arguments": [ 533 "2100" 534 ], 535 "result": "21102100" 536 }, 537 { 538 "program": "1110", 539 "arguments": [ 540 "11110" 541 ], 542 "result": "211011110" 543 }, 544 { 545 "program": "1110", 546 "arguments": [ 547 "11200" 548 ], 549 "result": "211011200" 550 }, 551 { 552 "program": "1110", 553 "arguments": [ 554 "12010" 555 ], 556 "result": "211012010" 557 }, 558 { 559 "program": "1110", 560 "arguments": [ 561 "12100" 562 ], 563 "result": "211012100" 564 }, 565 { 566 "program": "1110", 567 "arguments": [ 568 "20110" 569 ], 570 "result": "211020110" 571 }, 572 { 573 "program": "1110", 574 "arguments": [ 575 "20200" 576 ], 577 "result": "211020200" 578 }, 579 { 580 "program": "1110", 581 "arguments": [ 582 "21010" 583 ], 584 "result": "211021010" 585 }, 586 { 587 "program": "1110", 588 "arguments": [ 589 "21100" 590 ], 591 "result": "211021100" 592 }, 593 { 594 "program": "1110", 595 "arguments": [ 596 "22000" 597 ], 598 "result": "211022000" 599 }, 600 { 601 "program": "1200", 602 "arguments": [ 603 "0" 604 ], 605 "result": "22000" 606 }, 607 { 608 "program": "1200", 609 "arguments": [ 610 "10" 611 ], 612 "result": "220010" 613 }, 614 { 615 "program": "1200", 616 "arguments": [ 617 "110" 618 ], 619 "result": "2200110" 620 }, 621 { 622 "program": "1200", 623 "arguments": [ 624 "200" 625 ], 626 "result": "2200200" 627 }, 628 { 629 "program": "1200", 630 "arguments": [ 631 "1110" 632 ], 633 "result": "22001110" 634 }, 635 { 636 "program": "1200", 637 "arguments": [ 638 "1200" 639 ], 640 "result": "22001200" 641 }, 642 { 643 "program": "1200", 644 "arguments": [ 645 "2010" 646 ], 647 "result": "22002010" 648 }, 649 { 650 "program": "1200", 651 "arguments": [ 652 "2100" 653 ], 654 "result": "22002100" 655 }, 656 { 657 "program": "1200", 658 "arguments": [ 659 "11110" 660 ], 661 "result": "220011110" 662 }, 663 { 664 "program": "1200", 665 "arguments": [ 666 "11200" 667 ], 668 "result": "220011200" 669 }, 670 { 671 "program": "1200", 672 "arguments": [ 673 "12010" 674 ], 675 "result": "220012010" 676 }, 677 { 678 "program": "1200", 679 "arguments": [ 680 "12100" 681 ], 682 "result": "220012100" 683 }, 684 { 685 "program": "1200", 686 "arguments": [ 687 "20110" 688 ], 689 "result": "220020110" 690 }, 691 { 692 "program": "1200", 693 "arguments": [ 694 "20200" 695 ], 696 "result": "220020200" 697 }, 698 { 699 "program": "1200", 700 "arguments": [ 701 "21010" 702 ], 703 "result": "220021010" 704 }, 705 { 706 "program": "1200", 707 "arguments": [ 708 "21100" 709 ], 710 "result": "220021100" 711 }, 712 { 713 "program": "1200", 714 "arguments": [ 715 "22000" 716 ], 717 "result": "220022000" 718 }, 719 { 720 "program": "2010", 721 "arguments": [ 722 "0" 723 ], 724 "result": "10" 725 }, 726 { 727 "program": "2010", 728 "arguments": [ 729 "10" 730 ], 731 "result": "10" 732 }, 733 { 734 "program": "2010", 735 "arguments": [ 736 "110" 737 ], 738 "result": "10" 739 }, 740 { 741 "program": "2010", 742 "arguments": [ 743 "200" 744 ], 745 "result": "10" 746 }, 747 { 748 "program": "2010", 749 "arguments": [ 750 "1110" 751 ], 752 "result": "10" 753 }, 754 { 755 "program": "2010", 756 "arguments": [ 757 "1200" 758 ], 759 "result": "10" 760 }, 761 { 762 "program": "2010", 763 "arguments": [ 764 "2010" 765 ], 766 "result": "10" 767 }, 768 { 769 "program": "2010", 770 "arguments": [ 771 "2100" 772 ], 773 "result": "10" 774 }, 775 { 776 "program": "2010", 777 "arguments": [ 778 "11110" 779 ], 780 "result": "10" 781 }, 782 { 783 "program": "2010", 784 "arguments": [ 785 "11200" 786 ], 787 "result": "10" 788 }, 789 { 790 "program": "2010", 791 "arguments": [ 792 "12010" 793 ], 794 "result": "10" 795 }, 796 { 797 "program": "2010", 798 "arguments": [ 799 "12100" 800 ], 801 "result": "10" 802 }, 803 { 804 "program": "2010", 805 "arguments": [ 806 "20110" 807 ], 808 "result": "10" 809 }, 810 { 811 "program": "2010", 812 "arguments": [ 813 "20200" 814 ], 815 "result": "10" 816 }, 817 { 818 "program": "2010", 819 "arguments": [ 820 "21010" 821 ], 822 "result": "10" 823 }, 824 { 825 "program": "2010", 826 "arguments": [ 827 "21100" 828 ], 829 "result": "10" 830 }, 831 { 832 "program": "2010", 833 "arguments": [ 834 "22000" 835 ], 836 "result": "10" 837 }, 838 { 839 "program": "2100", 840 "arguments": [ 841 "0" 842 ], 843 "result": "2010" 844 }, 845 { 846 "program": "2100", 847 "arguments": [ 848 "10" 849 ], 850 "result": "210110" 851 }, 852 { 853 "program": "2100", 854 "arguments": [ 855 "110" 856 ], 857 "result": "21101110" 858 }, 859 { 860 "program": "2100", 861 "arguments": [ 862 "200" 863 ], 864 "result": "22001200" 865 }, 866 { 867 "program": "2100", 868 "arguments": [ 869 "1110" 870 ], 871 "result": "2111011110" 872 }, 873 { 874 "program": "2100", 875 "arguments": [ 876 "1200" 877 ], 878 "result": "2120011200" 879 }, 880 { 881 "program": "2100", 882 "arguments": [ 883 "2010" 884 ], 885 "result": "2201012010" 886 }, 887 { 888 "program": "2100", 889 "arguments": [ 890 "2100" 891 ], 892 "result": "2210012100" 893 }, 894 { 895 "program": "2100", 896 "arguments": [ 897 "11110" 898 ], 899 "result": "211110111110" 900 }, 901 { 902 "program": "2100", 903 "arguments": [ 904 "11200" 905 ], 906 "result": "211200111200" 907 }, 908 { 909 "program": "2100", 910 "arguments": [ 911 "12010" 912 ], 913 "result": "212010112010" 914 }, 915 { 916 "program": "2100", 917 "arguments": [ 918 "12100" 919 ], 920 "result": "212100112100" 921 }, 922 { 923 "program": "2100", 924 "arguments": [ 925 "20110" 926 ], 927 "result": "220110120110" 928 }, 929 { 930 "program": "2100", 931 "arguments": [ 932 "20200" 933 ], 934 "result": "220200120200" 935 }, 936 { 937 "program": "2100", 938 "arguments": [ 939 "21010" 940 ], 941 "result": "221010121010" 942 }, 943 { 944 "program": "2100", 945 "arguments": [ 946 "21100" 947 ], 948 "result": "221100121100" 949 }, 950 { 951 "program": "2100", 952 "arguments": [ 953 "22000" 954 ], 955 "result": "222000122000" 956 }, 957 { 958 "program": "11110", 959 "arguments": [ 960 "0" 961 ], 962 "result": "211100" 963 }, 964 { 965 "program": "11110", 966 "arguments": [ 967 "10" 968 ], 969 "result": "2111010" 970 }, 971 { 972 "program": "11110", 973 "arguments": [ 974 "110" 975 ], 976 "result": "21110110" 977 }, 978 { 979 "program": "11110", 980 "arguments": [ 981 "200" 982 ], 983 "result": "21110200" 984 }, 985 { 986 "program": "11110", 987 "arguments": [ 988 "1110" 989 ], 990 "result": "211101110" 991 }, 992 { 993 "program": "11110", 994 "arguments": [ 995 "1200" 996 ], 997 "result": "211101200" 998 }, 999 { 1000 "program": "11110", 1001 "arguments": [ 1002 "2010" 1003 ], 1004 "result": "211102010" 1005 }, 1006 { 1007 "program": "11110", 1008 "arguments": [ 1009 "2100" 1010 ], 1011 "result": "211102100" 1012 }, 1013 { 1014 "program": "11110", 1015 "arguments": [ 1016 "11110" 1017 ], 1018 "result": "2111011110" 1019 }, 1020 { 1021 "program": "11110", 1022 "arguments": [ 1023 "11200" 1024 ], 1025 "result": "2111011200" 1026 }, 1027 { 1028 "program": "11110", 1029 "arguments": [ 1030 "12010" 1031 ], 1032 "result": "2111012010" 1033 }, 1034 { 1035 "program": "11110", 1036 "arguments": [ 1037 "12100" 1038 ], 1039 "result": "2111012100" 1040 }, 1041 { 1042 "program": "11110", 1043 "arguments": [ 1044 "20110" 1045 ], 1046 "result": "2111020110" 1047 }, 1048 { 1049 "program": "11110", 1050 "arguments": [ 1051 "20200" 1052 ], 1053 "result": "2111020200" 1054 }, 1055 { 1056 "program": "11110", 1057 "arguments": [ 1058 "21010" 1059 ], 1060 "result": "2111021010" 1061 }, 1062 { 1063 "program": "11110", 1064 "arguments": [ 1065 "21100" 1066 ], 1067 "result": "2111021100" 1068 }, 1069 { 1070 "program": "11110", 1071 "arguments": [ 1072 "22000" 1073 ], 1074 "result": "2111022000" 1075 }, 1076 { 1077 "program": "11200", 1078 "arguments": [ 1079 "0" 1080 ], 1081 "result": "212000" 1082 }, 1083 { 1084 "program": "11200", 1085 "arguments": [ 1086 "10" 1087 ], 1088 "result": "2120010" 1089 }, 1090 { 1091 "program": "11200", 1092 "arguments": [ 1093 "110" 1094 ], 1095 "result": "21200110" 1096 }, 1097 { 1098 "program": "11200", 1099 "arguments": [ 1100 "200" 1101 ], 1102 "result": "21200200" 1103 }, 1104 { 1105 "program": "11200", 1106 "arguments": [ 1107 "1110" 1108 ], 1109 "result": "212001110" 1110 }, 1111 { 1112 "program": "11200", 1113 "arguments": [ 1114 "1200" 1115 ], 1116 "result": "212001200" 1117 }, 1118 { 1119 "program": "11200", 1120 "arguments": [ 1121 "2010" 1122 ], 1123 "result": "212002010" 1124 }, 1125 { 1126 "program": "11200", 1127 "arguments": [ 1128 "2100" 1129 ], 1130 "result": "212002100" 1131 }, 1132 { 1133 "program": "11200", 1134 "arguments": [ 1135 "11110" 1136 ], 1137 "result": "2120011110" 1138 }, 1139 { 1140 "program": "11200", 1141 "arguments": [ 1142 "11200" 1143 ], 1144 "result": "2120011200" 1145 }, 1146 { 1147 "program": "11200", 1148 "arguments": [ 1149 "12010" 1150 ], 1151 "result": "2120012010" 1152 }, 1153 { 1154 "program": "11200", 1155 "arguments": [ 1156 "12100" 1157 ], 1158 "result": "2120012100" 1159 }, 1160 { 1161 "program": "11200", 1162 "arguments": [ 1163 "20110" 1164 ], 1165 "result": "2120020110" 1166 }, 1167 { 1168 "program": "11200", 1169 "arguments": [ 1170 "20200" 1171 ], 1172 "result": "2120020200" 1173 }, 1174 { 1175 "program": "11200", 1176 "arguments": [ 1177 "21010" 1178 ], 1179 "result": "2120021010" 1180 }, 1181 { 1182 "program": "11200", 1183 "arguments": [ 1184 "21100" 1185 ], 1186 "result": "2120021100" 1187 }, 1188 { 1189 "program": "11200", 1190 "arguments": [ 1191 "22000" 1192 ], 1193 "result": "2120022000" 1194 }, 1195 { 1196 "program": "12010", 1197 "arguments": [ 1198 "0" 1199 ], 1200 "result": "220100" 1201 }, 1202 { 1203 "program": "12010", 1204 "arguments": [ 1205 "10" 1206 ], 1207 "result": "2201010" 1208 }, 1209 { 1210 "program": "12010", 1211 "arguments": [ 1212 "110" 1213 ], 1214 "result": "22010110" 1215 }, 1216 { 1217 "program": "12010", 1218 "arguments": [ 1219 "200" 1220 ], 1221 "result": "22010200" 1222 }, 1223 { 1224 "program": "12010", 1225 "arguments": [ 1226 "1110" 1227 ], 1228 "result": "220101110" 1229 }, 1230 { 1231 "program": "12010", 1232 "arguments": [ 1233 "1200" 1234 ], 1235 "result": "220101200" 1236 }, 1237 { 1238 "program": "12010", 1239 "arguments": [ 1240 "2010" 1241 ], 1242 "result": "220102010" 1243 }, 1244 { 1245 "program": "12010", 1246 "arguments": [ 1247 "2100" 1248 ], 1249 "result": "220102100" 1250 }, 1251 { 1252 "program": "12010", 1253 "arguments": [ 1254 "11110" 1255 ], 1256 "result": "2201011110" 1257 }, 1258 { 1259 "program": "12010", 1260 "arguments": [ 1261 "11200" 1262 ], 1263 "result": "2201011200" 1264 }, 1265 { 1266 "program": "12010", 1267 "arguments": [ 1268 "12010" 1269 ], 1270 "result": "2201012010" 1271 }, 1272 { 1273 "program": "12010", 1274 "arguments": [ 1275 "12100" 1276 ], 1277 "result": "2201012100" 1278 }, 1279 { 1280 "program": "12010", 1281 "arguments": [ 1282 "20110" 1283 ], 1284 "result": "2201020110" 1285 }, 1286 { 1287 "program": "12010", 1288 "arguments": [ 1289 "20200" 1290 ], 1291 "result": "2201020200" 1292 }, 1293 { 1294 "program": "12010", 1295 "arguments": [ 1296 "21010" 1297 ], 1298 "result": "2201021010" 1299 }, 1300 { 1301 "program": "12010", 1302 "arguments": [ 1303 "21100" 1304 ], 1305 "result": "2201021100" 1306 }, 1307 { 1308 "program": "12010", 1309 "arguments": [ 1310 "22000" 1311 ], 1312 "result": "2201022000" 1313 }, 1314 { 1315 "program": "12100", 1316 "arguments": [ 1317 "0" 1318 ], 1319 "result": "221000" 1320 }, 1321 { 1322 "program": "12100", 1323 "arguments": [ 1324 "10" 1325 ], 1326 "result": "2210010" 1327 }, 1328 { 1329 "program": "12100", 1330 "arguments": [ 1331 "110" 1332 ], 1333 "result": "22100110" 1334 }, 1335 { 1336 "program": "12100", 1337 "arguments": [ 1338 "200" 1339 ], 1340 "result": "22100200" 1341 }, 1342 { 1343 "program": "12100", 1344 "arguments": [ 1345 "1110" 1346 ], 1347 "result": "221001110" 1348 }, 1349 { 1350 "program": "12100", 1351 "arguments": [ 1352 "1200" 1353 ], 1354 "result": "221001200" 1355 }, 1356 { 1357 "program": "12100", 1358 "arguments": [ 1359 "2010" 1360 ], 1361 "result": "221002010" 1362 }, 1363 { 1364 "program": "12100", 1365 "arguments": [ 1366 "2100" 1367 ], 1368 "result": "221002100" 1369 }, 1370 { 1371 "program": "12100", 1372 "arguments": [ 1373 "11110" 1374 ], 1375 "result": "2210011110" 1376 }, 1377 { 1378 "program": "12100", 1379 "arguments": [ 1380 "11200" 1381 ], 1382 "result": "2210011200" 1383 }, 1384 { 1385 "program": "12100", 1386 "arguments": [ 1387 "12010" 1388 ], 1389 "result": "2210012010" 1390 }, 1391 { 1392 "program": "12100", 1393 "arguments": [ 1394 "12100" 1395 ], 1396 "result": "2210012100" 1397 }, 1398 { 1399 "program": "12100", 1400 "arguments": [ 1401 "20110" 1402 ], 1403 "result": "2210020110" 1404 }, 1405 { 1406 "program": "12100", 1407 "arguments": [ 1408 "20200" 1409 ], 1410 "result": "2210020200" 1411 }, 1412 { 1413 "program": "12100", 1414 "arguments": [ 1415 "21010" 1416 ], 1417 "result": "2210021010" 1418 }, 1419 { 1420 "program": "12100", 1421 "arguments": [ 1422 "21100" 1423 ], 1424 "result": "2210021100" 1425 }, 1426 { 1427 "program": "12100", 1428 "arguments": [ 1429 "22000" 1430 ], 1431 "result": "2210022000" 1432 }, 1433 { 1434 "program": "20110", 1435 "arguments": [ 1436 "0" 1437 ], 1438 "result": "110" 1439 }, 1440 { 1441 "program": "20110", 1442 "arguments": [ 1443 "10" 1444 ], 1445 "result": "110" 1446 }, 1447 { 1448 "program": "20110", 1449 "arguments": [ 1450 "110" 1451 ], 1452 "result": "110" 1453 }, 1454 { 1455 "program": "20110", 1456 "arguments": [ 1457 "200" 1458 ], 1459 "result": "110" 1460 }, 1461 { 1462 "program": "20110", 1463 "arguments": [ 1464 "1110" 1465 ], 1466 "result": "110" 1467 }, 1468 { 1469 "program": "20110", 1470 "arguments": [ 1471 "1200" 1472 ], 1473 "result": "110" 1474 }, 1475 { 1476 "program": "20110", 1477 "arguments": [ 1478 "2010" 1479 ], 1480 "result": "110" 1481 }, 1482 { 1483 "program": "20110", 1484 "arguments": [ 1485 "2100" 1486 ], 1487 "result": "110" 1488 }, 1489 { 1490 "program": "20110", 1491 "arguments": [ 1492 "11110" 1493 ], 1494 "result": "110" 1495 }, 1496 { 1497 "program": "20110", 1498 "arguments": [ 1499 "11200" 1500 ], 1501 "result": "110" 1502 }, 1503 { 1504 "program": "20110", 1505 "arguments": [ 1506 "12010" 1507 ], 1508 "result": "110" 1509 }, 1510 { 1511 "program": "20110", 1512 "arguments": [ 1513 "12100" 1514 ], 1515 "result": "110" 1516 }, 1517 { 1518 "program": "20110", 1519 "arguments": [ 1520 "20110" 1521 ], 1522 "result": "110" 1523 }, 1524 { 1525 "program": "20110", 1526 "arguments": [ 1527 "20200" 1528 ], 1529 "result": "110" 1530 }, 1531 { 1532 "program": "20110", 1533 "arguments": [ 1534 "21010" 1535 ], 1536 "result": "110" 1537 }, 1538 { 1539 "program": "20110", 1540 "arguments": [ 1541 "21100" 1542 ], 1543 "result": "110" 1544 }, 1545 { 1546 "program": "20110", 1547 "arguments": [ 1548 "22000" 1549 ], 1550 "result": "110" 1551 }, 1552 { 1553 "program": "20200", 1554 "arguments": [ 1555 "0" 1556 ], 1557 "result": "200" 1558 }, 1559 { 1560 "program": "20200", 1561 "arguments": [ 1562 "10" 1563 ], 1564 "result": "200" 1565 }, 1566 { 1567 "program": "20200", 1568 "arguments": [ 1569 "110" 1570 ], 1571 "result": "200" 1572 }, 1573 { 1574 "program": "20200", 1575 "arguments": [ 1576 "200" 1577 ], 1578 "result": "200" 1579 }, 1580 { 1581 "program": "20200", 1582 "arguments": [ 1583 "1110" 1584 ], 1585 "result": "200" 1586 }, 1587 { 1588 "program": "20200", 1589 "arguments": [ 1590 "1200" 1591 ], 1592 "result": "200" 1593 }, 1594 { 1595 "program": "20200", 1596 "arguments": [ 1597 "2010" 1598 ], 1599 "result": "200" 1600 }, 1601 { 1602 "program": "20200", 1603 "arguments": [ 1604 "2100" 1605 ], 1606 "result": "200" 1607 }, 1608 { 1609 "program": "20200", 1610 "arguments": [ 1611 "11110" 1612 ], 1613 "result": "200" 1614 }, 1615 { 1616 "program": "20200", 1617 "arguments": [ 1618 "11200" 1619 ], 1620 "result": "200" 1621 }, 1622 { 1623 "program": "20200", 1624 "arguments": [ 1625 "12010" 1626 ], 1627 "result": "200" 1628 }, 1629 { 1630 "program": "20200", 1631 "arguments": [ 1632 "12100" 1633 ], 1634 "result": "200" 1635 }, 1636 { 1637 "program": "20200", 1638 "arguments": [ 1639 "20110" 1640 ], 1641 "result": "200" 1642 }, 1643 { 1644 "program": "20200", 1645 "arguments": [ 1646 "20200" 1647 ], 1648 "result": "200" 1649 }, 1650 { 1651 "program": "20200", 1652 "arguments": [ 1653 "21010" 1654 ], 1655 "result": "200" 1656 }, 1657 { 1658 "program": "20200", 1659 "arguments": [ 1660 "21100" 1661 ], 1662 "result": "200" 1663 }, 1664 { 1665 "program": "20200", 1666 "arguments": [ 1667 "22000" 1668 ], 1669 "result": "200" 1670 }, 1671 { 1672 "program": "21010", 1673 "arguments": [ 1674 "0" 1675 ], 1676 "result": "20200" 1677 }, 1678 { 1679 "program": "21010", 1680 "arguments": [ 1681 "10" 1682 ], 1683 "result": "2102010" 1684 }, 1685 { 1686 "program": "21010", 1687 "arguments": [ 1688 "110" 1689 ], 1690 "result": "211020110" 1691 }, 1692 { 1693 "program": "21010", 1694 "arguments": [ 1695 "200" 1696 ], 1697 "result": "220020200" 1698 }, 1699 { 1700 "program": "21010", 1701 "arguments": [ 1702 "1110" 1703 ], 1704 "result": "21110201110" 1705 }, 1706 { 1707 "program": "21010", 1708 "arguments": [ 1709 "1200" 1710 ], 1711 "result": "21200201200" 1712 }, 1713 { 1714 "program": "21010", 1715 "arguments": [ 1716 "2010" 1717 ], 1718 "result": "22010202010" 1719 }, 1720 { 1721 "program": "21010", 1722 "arguments": [ 1723 "2100" 1724 ], 1725 "result": "22100202100" 1726 }, 1727 { 1728 "program": "21010", 1729 "arguments": [ 1730 "11110" 1731 ], 1732 "result": "2111102011110" 1733 }, 1734 { 1735 "program": "21010", 1736 "arguments": [ 1737 "11200" 1738 ], 1739 "result": "2112002011200" 1740 }, 1741 { 1742 "program": "21010", 1743 "arguments": [ 1744 "12010" 1745 ], 1746 "result": "2120102012010" 1747 }, 1748 { 1749 "program": "21010", 1750 "arguments": [ 1751 "12100" 1752 ], 1753 "result": "2121002012100" 1754 }, 1755 { 1756 "program": "21010", 1757 "arguments": [ 1758 "20110" 1759 ], 1760 "result": "2201102020110" 1761 }, 1762 { 1763 "program": "21010", 1764 "arguments": [ 1765 "20200" 1766 ], 1767 "result": "2202002020200" 1768 }, 1769 { 1770 "program": "21010", 1771 "arguments": [ 1772 "21010" 1773 ], 1774 "result": "2210102021010" 1775 }, 1776 { 1777 "program": "21010", 1778 "arguments": [ 1779 "21100" 1780 ], 1781 "result": "2211002021100" 1782 }, 1783 { 1784 "program": "21010", 1785 "arguments": [ 1786 "22000" 1787 ], 1788 "result": "2220002022000" 1789 }, 1790 { 1791 "program": "21100", 1792 "arguments": [ 1793 "0" 1794 ], 1795 "result": "0" 1796 }, 1797 { 1798 "program": "21100", 1799 "arguments": [ 1800 "10" 1801 ], 1802 "result": "10" 1803 }, 1804 { 1805 "program": "21100", 1806 "arguments": [ 1807 "110" 1808 ], 1809 "result": "110" 1810 }, 1811 { 1812 "program": "21100", 1813 "arguments": [ 1814 "200" 1815 ], 1816 "result": "200" 1817 }, 1818 { 1819 "program": "21100", 1820 "arguments": [ 1821 "1110" 1822 ], 1823 "result": "1110" 1824 }, 1825 { 1826 "program": "21100", 1827 "arguments": [ 1828 "1200" 1829 ], 1830 "result": "1200" 1831 }, 1832 { 1833 "program": "21100", 1834 "arguments": [ 1835 "2010" 1836 ], 1837 "result": "2010" 1838 }, 1839 { 1840 "program": "21100", 1841 "arguments": [ 1842 "2100" 1843 ], 1844 "result": "2100" 1845 }, 1846 { 1847 "program": "21100", 1848 "arguments": [ 1849 "11110" 1850 ], 1851 "result": "11110" 1852 }, 1853 { 1854 "program": "21100", 1855 "arguments": [ 1856 "11200" 1857 ], 1858 "result": "11200" 1859 }, 1860 { 1861 "program": "21100", 1862 "arguments": [ 1863 "12010" 1864 ], 1865 "result": "12010" 1866 }, 1867 { 1868 "program": "21100", 1869 "arguments": [ 1870 "12100" 1871 ], 1872 "result": "12100" 1873 }, 1874 { 1875 "program": "21100", 1876 "arguments": [ 1877 "20110" 1878 ], 1879 "result": "20110" 1880 }, 1881 { 1882 "program": "21100", 1883 "arguments": [ 1884 "20200" 1885 ], 1886 "result": "20200" 1887 }, 1888 { 1889 "program": "21100", 1890 "arguments": [ 1891 "21010" 1892 ], 1893 "result": "21010" 1894 }, 1895 { 1896 "program": "21100", 1897 "arguments": [ 1898 "21100" 1899 ], 1900 "result": "21100" 1901 }, 1902 { 1903 "program": "21100", 1904 "arguments": [ 1905 "22000" 1906 ], 1907 "result": "22000" 1908 }, 1909 { 1910 "program": "22000", 1911 "arguments": [ 1912 "0" 1913 ], 1914 "result": "0" 1915 }, 1916 { 1917 "program": "22000", 1918 "arguments": [ 1919 "10" 1920 ], 1921 "result": "10" 1922 }, 1923 { 1924 "program": "22000", 1925 "arguments": [ 1926 "110" 1927 ], 1928 "result": "110" 1929 }, 1930 { 1931 "program": "22000", 1932 "arguments": [ 1933 "200" 1934 ], 1935 "result": "200" 1936 }, 1937 { 1938 "program": "22000", 1939 "arguments": [ 1940 "1110" 1941 ], 1942 "result": "1110" 1943 }, 1944 { 1945 "program": "22000", 1946 "arguments": [ 1947 "1200" 1948 ], 1949 "result": "1200" 1950 }, 1951 { 1952 "program": "22000", 1953 "arguments": [ 1954 "2010" 1955 ], 1956 "result": "2010" 1957 }, 1958 { 1959 "program": "22000", 1960 "arguments": [ 1961 "2100" 1962 ], 1963 "result": "2100" 1964 }, 1965 { 1966 "program": "22000", 1967 "arguments": [ 1968 "11110" 1969 ], 1970 "result": "11110" 1971 }, 1972 { 1973 "program": "22000", 1974 "arguments": [ 1975 "11200" 1976 ], 1977 "result": "11200" 1978 }, 1979 { 1980 "program": "22000", 1981 "arguments": [ 1982 "12010" 1983 ], 1984 "result": "12010" 1985 }, 1986 { 1987 "program": "22000", 1988 "arguments": [ 1989 "12100" 1990 ], 1991 "result": "12100" 1992 }, 1993 { 1994 "program": "22000", 1995 "arguments": [ 1996 "20110" 1997 ], 1998 "result": "20110" 1999 }, 2000 { 2001 "program": "22000", 2002 "arguments": [ 2003 "20200" 2004 ], 2005 "result": "20200" 2006 }, 2007 { 2008 "program": "22000", 2009 "arguments": [ 2010 "21010" 2011 ], 2012 "result": "21010" 2013 }, 2014 { 2015 "program": "22000", 2016 "arguments": [ 2017 "21100" 2018 ], 2019 "result": "21100" 2020 }, 2021 { 2022 "program": "22000", 2023 "arguments": [ 2024 "22000" 2025 ], 2026 "result": "22000" 2027 }, 2028 { 2029 "program": "2120200212110021100", 2030 "arguments": [ 2031 "212110021100" 2032 ], 2033 "result": "0" 2034 }, 2035 { 2036 "program": "0", 2037 "arguments": [ 2038 "10", 2039 "200" 2040 ], 2041 "result": "210200" 2042 }, 2043 { 2044 "program": "0", 2045 "arguments": [], 2046 "result": "0" 2047 }, 2048 { 2049 "program": "10", 2050 "arguments": [ 2051 "10", 2052 "200" 2053 ], 2054 "result": "10" 2055 }, 2056 { 2057 "program": "10", 2058 "arguments": [], 2059 "result": "10" 2060 }, 2061 { 2062 "program": "200", 2063 "arguments": [ 2064 "10", 2065 "200" 2066 ], 2067 "result": "1200" 2068 }, 2069 { 2070 "program": "200", 2071 "arguments": [], 2072 "result": "200" 2073 }, 2074 { 2075 "program": "21100", 2076 "arguments": [ 2077 "10", 2078 "200" 2079 ], 2080 "result": "20200" 2081 }, 2082 { 2083 "program": "21100", 2084 "arguments": [], 2085 "result": "21100" 2086 }, 2087 { 2088 "program": "22000", 2089 "arguments": [ 2090 "10", 2091 "200" 2092 ], 2093 "result": "20200" 2094 }, 2095 { 2096 "program": "22000", 2097 "arguments": [], 2098 "result": "22000" 2099 } 2100 ] 2101 }