Number of problems: 4131
Mathematica 95.13%
[1755 , 5760 , 5844 , 5855 , 5859 , 5881 , 5882 , 5913 , 6055 , 6177 , 6197 , 6229 , 6240 , 6249 , 6261 , 6266 , 6268 , 6269 , 6270 , 6271 , 6272 , 6285 , 6290 , 6301 , 6362 , 6372 , 6373 , 6374 , 6383 , 6395 , 6396 , 6404 , 6405 , 6406 , 6412 , 6443 , 6444 , 6461 , 6488 , 6508 , 6509 , 6536 , 6539 , 6540 , 6575 , 6582 , 8767 , 8772 , 9535 , 10132 , 10133 , 10136 , 10137 , 10141 , 10143 , 10242 , 10459 , 12314 , 12328 , 12438 , 12486 , 12493 , 12515 , 12557 , 12584 , 12640 , 12680 , 12686 , 12697 , 12718 , 12864 , 12895 , 12905 , 12907 , 12908 , 12909 , 12914 , 12915 , 12918 , 12919 , 12921 , 12925 , 12977 , 12995 , 13011 , 13012 , 13039 , 13045 , 13046 , 13056 , 13782 , 13790 , 13805 , 13810 , 13821 , 13823 , 13824 , 13825 , 13826 , 13827 , 13830 , 13831 , 13832 , 13833 , 13841 , 13851 , 13857 , 13864 , 13870 , 13871 , 13873 , 13874 , 13875 , 13876 , 13877 , 13892 , 13894 , 13895 , 13915 , 13916 , 13917 , 13921 , 13961 , 13974 , 13978 , 13980 , 13981 , 13985 , 13988 , 14004 , 14005 , 14014 , 14015 , 14016 , 14017 , 14018 , 14019 , 14020 , 14021 , 14022 , 14027 , 14028 , 14030 , 14031 , 14033 , 14034 , 14035 , 14036 , 14044 , 14049 , 14052 , 14067 , 14068 , 14070 , 14072 , 14267 , 14268 , 14286 , 14948 , 14952 , 14957 , 15067 , 15266 , 15267 , 15269 , 15281 , 17073 , 17491 , 17647 , 18399 , 18452 , 18455 , 18456 , 18847 , 18848 , 18849 , 20294 , 20701 , 20735 , 20783 , 20884 , 21222 , 21223 , 21272 , 21276 , 22193 , 22197 , 22404 , 22732 , 23373 , 23394 , 23405 , 23406 , 23411 , 23414 , 23416 , 23532 , 23534 , 24159 , 25301 , 25331 ]
Maple 95.76%
[459 , 460 , 472 , 2442 , 2445 , 2453 , 2639 , 2642 , 2659 , 3371 , 4009 , 5861 , 5913 , 6055 , 6240 , 6269 , 6271 , 6272 , 6290 , 6362 , 6372 , 6373 , 6374 , 6383 , 6395 , 6396 , 6404 , 6410 , 6412 , 6443 , 6444 , 6461 , 6488 , 6508 , 6509 , 6536 , 6540 , 6604 , 7180 , 7193 , 7634 , 8150 , 8155 , 8518 , 8772 , 8996 , 9395 , 9403 , 9535 , 9546 , 10133 , 10141 , 10143 , 10242 , 12314 , 12328 , 12438 , 12486 , 12493 , 12515 , 12557 , 12686 , 12718 , 12864 , 12895 , 12905 , 12907 , 12908 , 12909 , 12914 , 12915 , 12918 , 12921 , 12923 , 12925 , 12977 , 12995 , 13056 , 13058 , 13805 , 13821 , 13823 , 13825 , 13826 , 13831 , 13832 , 13833 , 13864 , 13870 , 13871 , 13874 , 13875 , 13876 , 13877 , 13895 , 13916 , 13917 , 13921 , 13961 , 13971 , 13972 , 13973 , 13976 , 13981 , 13988 , 14004 , 14005 , 14014 , 14015 , 14019 , 14020 , 14021 , 14022 , 14030 , 14031 , 14033 , 14036 , 14053 , 14058 , 14060 , 14065 , 14066 , 14067 , 14070 , 14071 , 14072 , 14286 , 14861 , 14862 , 14948 , 14957 , 15067 , 15269 , 15281 , 17073 , 17491 , 17820 , 18847 , 18848 , 18849 , 19706 , 19714 , 19723 , 20294 , 20701 , 20735 , 20884 , 21016 , 21222 , 21223 , 21272 , 21276 , 21395 , 21743 , 21755 , 21800 , 22193 , 22197 , 22289 , 22297 , 22404 , 23394 , 23405 , 23406 , 23410 , 23411 , 23414 , 23416 , 23789 , 23799 , 23801 , 24159 , 25301 , 25331 , 25454 ]
Sympy 52.97%
[266 , 267 , 381 , 413 , 422 , 459 , 460 , 463 , 472 , 490 , 495 , 557 , 558 , 560 , 907 , 930 , 931 , 1055 , 1064 , 1302 , 1322 , 1324 , 1346 , 1347 , 1348 , 1353 , 1354 , 1750 , 1752 , 1753 , 1755 , 1756 , 1757 , 1774 , 1776 , 1778 , 1781 , 1782 , 1784 , 1785 , 1786 , 1788 , 1832 , 1835 , 1836 , 1905 , 1945 , 1969 , 2085 , 2086 , 2089 , 2090 , 2098 , 2103 , 2393 , 2394 , 2396 , 2398 , 2411 , 2442 , 2443 , 2444 , 2445 , 2446 , 2453 , 2466 , 2467 , 2573 , 2574 , 2576 , 2578 , 2580 , 2593 , 2639 , 2640 , 2641 , 2642 , 2643 , 2659 , 2664 , 2665 , 2670 , 3345 , 3361 , 3371 , 3385 , 3388 , 3389 , 3391 , 3392 , 3397 , 3399 , 3400 , 3784 , 3790 , 4007 , 4009 , 4010 , 4013 , 4016 , 4020 , 4022 , 4030 , 4031 , 4512 , 5749 , 5750 , 5751 , 5752 , 5753 , 5754 , 5758 , 5759 , 5760 , 5761 , 5763 , 5764 , 5765 , 5766 , 5767 , 5768 , 5769 , 5772 , 5816 , 5817 , 5818 , 5819 , 5820 , 5822 , 5827 , 5829 , 5830 , 5831 , 5832 , 5834 , 5835 , 5836 , 5837 , 5838 , 5839 , 5840 , 5841 , 5842 , 5843 , 5844 , 5846 , 5847 , 5848 , 5849 , 5851 , 5852 , 5853 , 5855 , 5856 , 5857 , 5858 , 5859 , 5860 , 5861 , 5863 , 5864 , 5865 , 5866 , 5868 , 5869 , 5870 , 5871 , 5872 , 5873 , 5875 , 5876 , 5877 , 5879 , 5880 , 5881 , 5882 , 5883 , 5884 , 5886 , 5888 , 5889 , 5892 , 5896 , 5899 , 5911 , 5912 , 5913 , 5918 , 5919 , 5922 , 5924 , 5925 , 5926 , 5927 , 5928 , 5929 , 5930 , 5933 , 5934 , 5936 , 5937 , 5938 , 5939 , 5940 , 5941 , 5943 , 5947 , 5948 , 5950 , 5954 , 5956 , 5957 , 5970 , 5972 , 5973 , 5990 , 5991 , 5992 , 6005 , 6022 , 6024 , 6025 , 6026 , 6027 , 6028 , 6029 , 6030 , 6033 , 6034 , 6036 , 6037 , 6038 , 6039 , 6040 , 6041 , 6043 , 6044 , 6045 , 6046 , 6047 , 6048 , 6049 , 6050 , 6051 , 6052 , 6053 , 6054 , 6055 , 6059 , 6063 , 6070 , 6073 , 6074 , 6075 , 6078 , 6083 , 6084 , 6086 , 6093 , 6094 , 6095 , 6096 , 6105 , 6108 , 6119 , 6124 , 6125 , 6126 , 6130 , 6131 , 6133 , 6136 , 6137 , 6140 , 6141 , 6143 , 6144 , 6153 , 6154 , 6156 , 6159 , 6166 , 6167 , 6169 , 6170 , 6171 , 6172 , 6174 , 6177 , 6186 , 6190 , 6191 , 6194 , 6195 , 6196 , 6197 , 6200 , 6201 , 6202 , 6203 , 6212 , 6213 , 6214 , 6215 , 6216 , 6218 , 6219 , 6221 , 6222 , 6224 , 6226 , 6227 , 6228 , 6229 , 6230 , 6231 , 6232 , 6234 , 6235 , 6238 , 6239 , 6240 , 6244 , 6245 , 6246 , 6248 , 6249 , 6250 , 6251 , 6253 , 6254 , 6255 , 6257 , 6258 , 6261 , 6262 , 6263 , 6264 , 6265 , 6266 , 6267 , 6268 , 6269 , 6270 , 6271 , 6272 , 6273 , 6274 , 6276 , 6277 , 6278 , 6279 , 6281 , 6282 , 6283 , 6284 , 6285 , 6288 , 6289 , 6290 , 6293 , 6294 , 6295 , 6296 , 6300 , 6301 , 6302 , 6360 , 6362 , 6372 , 6373 , 6374 , 6383 , 6395 , 6396 , 6402 , 6404 , 6405 , 6406 , 6408 , 6410 , 6412 , 6415 , 6420 , 6443 , 6444 , 6461 , 6488 , 6508 , 6509 , 6535 , 6536 , 6539 , 6540 , 6561 , 6575 , 6582 , 6588 , 6598 , 6599 , 6604 , 7175 , 7180 , 7193 , 7222 , 7223 , 7337 , 7338 , 7339 , 7340 , 7342 , 7386 , 7388 , 7390 , 7634 , 7639 , 7671 , 7695 , 7701 , 7702 , 7861 , 8043 , 8044 , 8046 , 8048 , 8052 , 8054 , 8057 , 8096 , 8104 , 8107 , 8119 , 8123 , 8124 , 8125 , 8144 , 8150 , 8155 , 8157 , 8288 , 8515 , 8518 , 8540 , 8554 , 8625 , 8767 , 8769 , 8772 , 8777 , 8779 , 8781 , 8783 , 8809 , 8821 , 8828 , 8832 , 8843 , 8844 , 8845 , 8965 , 8968 , 8984 , 8996 , 9000 , 9003 , 9286 , 9288 , 9289 , 9297 , 9299 , 9300 , 9301 , 9383 , 9395 , 9402 , 9403 , 9404 , 9420 , 9421 , 9430 , 9431 , 9438 , 9439 , 9441 , 9444 , 9451 , 9535 , 9543 , 9546 , 9568 , 9608 , 9649 , 9924 , 10050 , 10091 , 10092 , 10093 , 10094 , 10098 , 10099 , 10101 , 10102 , 10104 , 10106 , 10107 , 10108 , 10109 , 10125 , 10126 , 10130 , 10131 , 10132 , 10133 , 10134 , 10135 , 10136 , 10137 , 10138 , 10139 , 10140 , 10141 , 10142 , 10143 , 10188 , 10193 , 10217 , 10242 , 10243 , 10249 , 10250 , 10267 , 10445 , 10450 , 10451 , 10458 , 10459 , 10466 , 10475 , 10477 , 10478 , 10479 , 10480 , 10481 , 10482 , 10483 , 10484 , 10485 , 10487 , 10490 , 10491 , 10492 , 10493 , 10494 , 10495 , 10496 , 10497 , 10498 , 10500 , 10502 , 10503 , 10504 , 10505 , 10506 , 10511 , 10512 , 10514 , 10515 , 10516 , 10517 , 10518 , 10519 , 10520 , 10521 , 10522 , 10523 , 10524 , 10526 , 10528 , 10529 , 10530 , 10531 , 10532 , 10533 , 10534 , 10535 , 10537 , 10538 , 10539 , 10540 , 10541 , 10542 , 10543 , 10544 , 10545 , 10546 , 10547 , 10548 , 10549 , 10550 , 10551 , 10552 , 10553 , 10554 , 10556 , 10558 , 10559 , 10560 , 10563 , 10564 , 10565 , 10567 , 10568 , 10569 , 10570 , 10571 , 10572 , 10574 , 10575 , 10576 , 10577 , 10578 , 10580 , 10581 , 10582 , 10583 , 10584 , 10585 , 10586 , 10587 , 10588 , 10589 , 10590 , 10591 , 10592 , 10593 , 10594 , 10595 , 10596 , 10597 , 10598 , 10599 , 10600 , 10601 , 10602 , 10603 , 10604 , 10605 , 10607 , 10608 , 10609 , 10610 , 10611 , 10612 , 10613 , 10614 , 10615 , 10616 , 10617 , 10618 , 10619 , 10620 , 10621 , 10622 , 10623 , 10624 , 10625 , 10627 , 10628 , 10629 , 10630 , 10631 , 10632 , 10633 , 10634 , 10635 , 10636 , 10637 , 10638 , 10639 , 10640 , 10641 , 10642 , 10643 , 10644 , 10645 , 10646 , 10647 , 10648 , 10649 , 10650 , 10651 , 10652 , 10653 , 10654 , 10656 , 10657 , 10658 , 10659 , 10660 , 10661 , 10662 , 10663 , 10664 , 10665 , 10667 , 10669 , 10671 , 10672 , 10674 , 10682 , 10683 , 10685 , 10687 , 10688 , 10692 , 10693 , 10696 , 10697 , 10699 , 10700 , 10701 , 10703 , 10704 , 10705 , 10706 , 10708 , 10709 , 10710 , 10711 , 10712 , 10716 , 10717 , 10719 , 10720 , 10721 , 10722 , 10723 , 10726 , 10728 , 10729 , 10731 , 10732 , 10733 , 10735 , 10736 , 10738 , 10740 , 10754 , 10756 , 10757 , 10758 , 10759 , 10760 , 10761 , 10762 , 10764 , 10767 , 10769 , 10770 , 10771 , 10772 , 10773 , 10774 , 10775 , 10776 , 10777 , 10779 , 10781 , 10782 , 10783 , 10784 , 10786 , 10788 , 10789 , 10796 , 10804 , 10806 , 10808 , 10811 , 10814 , 10816 , 10819 , 10820 , 10823 , 10826 , 10827 , 10829 , 10831 , 10832 , 10834 , 10836 , 10837 , 10838 , 10839 , 10840 , 10841 , 10842 , 10843 , 10844 , 10845 , 10846 , 10850 , 10851 , 10852 , 10853 , 10859 , 10860 , 10861 , 10863 , 10866 , 10867 , 10872 , 10874 , 10875 , 10876 , 10877 , 10878 , 10879 , 10880 , 10881 , 10882 , 10883 , 10886 , 10888 , 10891 , 10892 , 10893 , 10894 , 10895 , 10896 , 10897 , 10898 , 10899 , 10901 , 10903 , 10904 , 10905 , 10906 , 10907 , 10908 , 10909 , 10910 , 10911 , 10912 , 10913 , 10915 , 10917 , 10919 , 10920 , 10921 , 10922 , 10924 , 10925 , 10926 , 10927 , 10932 , 10933 , 10935 , 10936 , 10937 , 10938 , 10939 , 10940 , 10941 , 10942 , 10943 , 10944 , 10945 , 10947 , 10949 , 10950 , 10951 , 10952 , 10953 , 10954 , 10955 , 10957 , 10958 , 10959 , 10960 , 10961 , 10962 , 10963 , 10964 , 10965 , 10966 , 10967 , 10968 , 10969 , 10970 , 10971 , 10972 , 10973 , 10974 , 10976 , 10978 , 10979 , 10980 , 10983 , 10984 , 10985 , 10987 , 10988 , 10989 , 10990 , 10991 , 10992 , 10994 , 10995 , 10996 , 10997 , 10998 , 11000 , 11001 , 11002 , 11003 , 11004 , 11005 , 11006 , 11007 , 11008 , 11009 , 11010 , 11011 , 11012 , 11013 , 11014 , 11015 , 11016 , 11017 , 11018 , 11019 , 11020 , 11021 , 11022 , 11023 , 11024 , 11025 , 11027 , 11028 , 11029 , 11030 , 11031 , 11032 , 11033 , 11034 , 11035 , 11036 , 11037 , 11038 , 11039 , 11040 , 11041 , 11042 , 11043 , 11044 , 11045 , 11047 , 11048 , 11049 , 11050 , 11051 , 11052 , 11053 , 11054 , 11055 , 11056 , 11057 , 11058 , 11059 , 11060 , 11061 , 11062 , 11063 , 11064 , 11065 , 11066 , 11067 , 11068 , 11069 , 11070 , 11071 , 11072 , 11073 , 11074 , 11076 , 11077 , 11078 , 11079 , 11080 , 11081 , 11082 , 11083 , 11084 , 11085 , 11087 , 11089 , 11091 , 11092 , 11094 , 11102 , 11103 , 11105 , 11107 , 11108 , 11111 , 11115 , 11117 , 11118 , 11121 , 11122 , 11124 , 11125 , 11126 , 11128 , 11129 , 11130 , 11131 , 11133 , 11134 , 11135 , 11136 , 11137 , 11141 , 11142 , 11144 , 11145 , 11146 , 11147 , 11148 , 11151 , 11153 , 11154 , 11156 , 11157 , 11158 , 11159 , 11160 , 11161 , 11163 , 11165 , 11179 , 11181 , 11182 , 11183 , 11184 , 11185 , 11186 , 11187 , 11188 , 11189 , 11190 , 11191 , 11192 , 11194 , 11197 , 11199 , 11200 , 11201 , 11202 , 11203 , 11204 , 11205 , 11206 , 11208 , 11210 , 11211 , 11212 , 11213 , 11215 , 11217 , 11218 , 11225 , 11233 , 11235 , 11237 , 11240 , 11243 , 11245 , 11248 , 11249 , 11252 , 11255 , 11256 , 11258 , 11260 , 11261 , 11263 , 11264 , 11265 , 11266 , 11267 , 11268 , 11269 , 11270 , 11271 , 11272 , 11273 , 11274 , 11278 , 11279 , 11280 , 11281 , 11287 , 11288 , 11290 , 11298 , 11301 , 11302 , 11303 , 11305 , 11310 , 11312 , 12306 , 12307 , 12308 , 12311 , 12312 , 12313 , 12314 , 12315 , 12316 , 12319 , 12320 , 12321 , 12322 , 12327 , 12328 , 12330 , 12331 , 12332 , 12336 , 12337 , 12338 , 12340 , 12342 , 12343 , 12344 , 12345 , 12346 , 12347 , 12348 , 12349 , 12350 , 12352 , 12355 , 12356 , 12357 , 12358 , 12359 , 12360 , 12361 , 12362 , 12364 , 12365 , 12366 , 12368 , 12369 , 12370 , 12371 , 12373 , 12377 , 12380 , 12386 , 12388 , 12389 , 12393 , 12395 , 12396 , 12397 , 12398 , 12399 , 12400 , 12401 , 12403 , 12404 , 12405 , 12407 , 12408 , 12409 , 12410 , 12412 , 12414 , 12415 , 12417 , 12418 , 12419 , 12420 , 12422 , 12423 , 12424 , 12425 , 12426 , 12435 , 12438 , 12439 , 12452 , 12453 , 12454 , 12469 , 12470 , 12471 , 12472 , 12473 , 12474 , 12475 , 12477 , 12478 , 12479 , 12481 , 12483 , 12484 , 12485 , 12486 , 12487 , 12488 , 12489 , 12490 , 12491 , 12492 , 12493 , 12494 , 12495 , 12496 , 12497 , 12498 , 12499 , 12500 , 12501 , 12505 , 12506 , 12507 , 12508 , 12515 , 12521 , 12522 , 12527 , 12528 , 12529 , 12530 , 12531 , 12533 , 12540 , 12541 , 12543 , 12544 , 12549 , 12552 , 12554 , 12557 , 12559 , 12560 , 12561 , 12564 , 12574 , 12575 , 12580 , 12581 , 12582 , 12583 , 12584 , 12585 , 12587 , 12589 , 12591 , 12592 , 12596 , 12598 , 12599 , 12602 , 12603 , 12604 , 12605 , 12606 , 12607 , 12608 , 12609 , 12611 , 12612 , 12613 , 12616 , 12617 , 12618 , 12621 , 12622 , 12623 , 12624 , 12626 , 12627 , 12629 , 12630 , 12631 , 12632 , 12633 , 12634 , 12635 , 12636 , 12637 , 12638 , 12639 , 12640 , 12641 , 12642 , 12645 , 12646 , 12649 , 12650 , 12651 , 12652 , 12653 , 12656 , 12657 , 12658 , 12660 , 12661 , 12662 , 12664 , 12666 , 12667 , 12669 , 12670 , 12671 , 12672 , 12675 , 12676 , 12677 , 12679 , 12680 , 12681 , 12682 , 12683 , 12685 , 12686 , 12688 , 12691 , 12692 , 12693 , 12694 , 12695 , 12696 , 12697 , 12698 , 12699 , 12700 , 12701 , 12702 , 12703 , 12704 , 12705 , 12706 , 12708 , 12709 , 12710 , 12712 , 12713 , 12714 , 12715 , 12716 , 12717 , 12718 , 12719 , 12720 , 12721 , 12864 , 12869 , 12894 , 12895 , 12905 , 12907 , 12908 , 12909 , 12912 , 12914 , 12915 , 12916 , 12917 , 12918 , 12919 , 12921 , 12922 , 12923 , 12925 , 12930 , 12977 , 12995 , 13000 , 13006 , 13011 , 13012 , 13028 , 13039 , 13044 , 13045 , 13046 , 13049 , 13054 , 13055 , 13056 , 13058 , 13776 , 13777 , 13778 , 13779 , 13781 , 13782 , 13783 , 13785 , 13786 , 13790 , 13791 , 13792 , 13793 , 13794 , 13795 , 13796 , 13797 , 13799 , 13800 , 13801 , 13802 , 13803 , 13804 , 13805 , 13806 , 13807 , 13808 , 13809 , 13810 , 13811 , 13812 , 13813 , 13814 , 13815 , 13816 , 13818 , 13819 , 13820 , 13821 , 13822 , 13823 , 13824 , 13825 , 13826 , 13827 , 13828 , 13830 , 13831 , 13832 , 13833 , 13836 , 13837 , 13841 , 13844 , 13845 , 13846 , 13847 , 13848 , 13849 , 13851 , 13852 , 13853 , 13854 , 13856 , 13857 , 13858 , 13859 , 13861 , 13862 , 13863 , 13864 , 13865 , 13866 , 13868 , 13869 , 13870 , 13871 , 13872 , 13873 , 13874 , 13875 , 13876 , 13877 , 13879 , 13880 , 13881 , 13887 , 13888 , 13890 , 13892 , 13893 , 13894 , 13895 , 13898 , 13902 , 13903 , 13904 , 13905 , 13906 , 13907 , 13908 , 13909 , 13911 , 13912 , 13913 , 13914 , 13915 , 13916 , 13917 , 13918 , 13919 , 13920 , 13921 , 13923 , 13931 , 13933 , 13934 , 13937 , 13938 , 13939 , 13940 , 13941 , 13942 , 13943 , 13945 , 13949 , 13951 , 13952 , 13953 , 13954 , 13956 , 13957 , 13958 , 13959 , 13960 , 13961 , 13963 , 13964 , 13965 , 13966 , 13967 , 13968 , 13969 , 13970 , 13971 , 13972 , 13973 , 13974 , 13976 , 13977 , 13978 , 13980 , 13981 , 13982 , 13985 , 13986 , 13987 , 13988 , 13989 , 13991 , 13992 , 13999 , 14000 , 14001 , 14002 , 14003 , 14004 , 14005 , 14006 , 14007 , 14009 , 14010 , 14011 , 14013 , 14014 , 14015 , 14016 , 14017 , 14018 , 14019 , 14020 , 14021 , 14022 , 14024 , 14026 , 14027 , 14028 , 14029 , 14030 , 14031 , 14032 , 14033 , 14034 , 14035 , 14036 , 14038 , 14039 , 14040 , 14041 , 14042 , 14043 , 14044 , 14045 , 14047 , 14048 , 14049 , 14050 , 14051 , 14052 , 14053 , 14054 , 14055 , 14056 , 14057 , 14058 , 14059 , 14060 , 14061 , 14062 , 14063 , 14064 , 14065 , 14066 , 14067 , 14068 , 14070 , 14071 , 14072 , 14077 , 14078 , 14232 , 14246 , 14247 , 14248 , 14249 , 14251 , 14252 , 14256 , 14260 , 14262 , 14263 , 14266 , 14267 , 14268 , 14285 , 14286 , 14292 , 14456 , 14672 , 14683 , 14684 , 14685 , 14805 , 14806 , 14807 , 14840 , 14860 , 14861 , 14862 , 14945 , 14948 , 14949 , 14950 , 14952 , 14953 , 14955 , 14957 , 15065 , 15066 , 15067 , 15068 , 15070 , 15207 , 15266 , 15267 , 15269 , 15271 , 15272 , 15278 , 15279 , 15281 , 15292 , 15293 , 15294 , 15295 , 15297 , 15411 , 16550 , 16551 , 16564 , 16565 , 16569 , 16578 , 16813 , 16977 , 16998 , 17002 , 17006 , 17013 , 17073 , 17491 , 17647 , 17649 , 17652 , 17653 , 17800 , 17820 , 17844 , 17890 , 17906 , 18409 , 18421 , 18422 , 18424 , 18425 , 18426 , 18427 , 18430 , 18433 , 18434 , 18449 , 18452 , 18455 , 18456 , 18495 , 18844 , 18846 , 18847 , 18848 , 18849 , 18856 , 18857 , 18863 , 18865 , 18985 , 18986 , 18987 , 18989 , 18996 , 18997 , 19266 , 19267 , 19283 , 19288 , 19294 , 19323 , 19544 , 19557 , 19564 , 19566 , 19567 , 19568 , 19607 , 19608 , 19638 , 19640 , 19641 , 19706 , 19707 , 19713 , 19714 , 19715 , 19723 , 19744 , 19820 , 20216 , 20221 , 20236 , 20283 , 20289 , 20290 , 20292 , 20294 , 20295 , 20296 , 20297 , 20306 , 20307 , 20308 , 20309 , 20310 , 20311 , 20314 , 20315 , 20630 , 20701 , 20719 , 20723 , 20724 , 20727 , 20728 , 20730 , 20733 , 20735 , 20736 , 20738 , 20740 , 20741 , 20742 , 20744 , 20748 , 20751 , 20752 , 20753 , 20756 , 20760 , 20763 , 20764 , 20766 , 20767 , 20769 , 20776 , 20778 , 20783 , 20789 , 20790 , 20791 , 20871 , 20880 , 20881 , 20884 , 20896 , 20898 , 20899 , 20900 , 20901 , 20903 , 20905 , 20907 , 20916 , 20917 , 20920 , 20960 , 21007 , 21016 , 21222 , 21223 , 21272 , 21276 , 21389 , 21576 , 21670 , 21673 , 21716 , 21717 , 21720 , 21721 , 21725 , 21743 , 21755 , 21780 , 21785 , 21786 , 21800 , 21815 , 22193 , 22197 , 22198 , 22289 , 22297 , 22313 , 22317 , 22336 , 22404 , 22743 , 22854 , 22884 , 22885 , 22886 , 22887 , 22890 , 22914 , 22917 , 22978 , 22980 , 22991 , 23225 , 23360 , 23373 , 23394 , 23405 , 23406 , 23410 , 23411 , 23414 , 23416 , 23521 , 23522 , 23524 , 23525 , 23526 , 23530 , 23531 , 23532 , 23534 , 23535 , 23536 , 23545 , 23546 , 23547 , 23563 , 23667 , 23789 , 23799 , 23801 , 23841 , 24153 , 24158 , 24159 , 24160 , 24211 , 24217 , 24230 , 25301 , 25305 , 25309 , 25310 , 25311 , 25312 , 25313 , 25314 , 25315 , 25316 , 25317 , 25318 , 25319 , 25320 , 25331 , 25335 , 25336 , 25354 , 25356 , 25359 , 25362 , 25370 , 25373 , 25374 , 25375 , 25377 , 25378 , 25395 , 25452 , 25454 , 25458 ]