s 15 22 23 24 25 77 78 79 80 81 82 83 84 124 125 126 127 191 192 202 203 204 205 206 207 208 209 210 211 212 289 290 294 295 296 301 302 307 308 315 316 317 318 329 332 333 343 344 347 348 349 350 362 363 364 365 380 381 391 395 396 417 418 421 422 428 434 435 436 437 445 446 447 450 451 452 469 542 543 544 545 546 547 583 584 608 615 616 620 621 626 630 631 641 642 643 666 677 678 713 719 720 727 730 733 745 746 747 751 752 753 754 755 765 766 770 774 776 777 791 792 793 801 804 807 838 841 842 846 857 860 861 862 878 881 882 885 886 887 896 897 899 900 914 919 937 938 978 985 986 987 988 1002 1003 1004 1005 1019 1020 1035 1036 1039 1040 1045 1046 1047 1048 1059 1064 1065 1077 1078 1081 1082 1085 1086 1097 1099 1105 1128 1161 1168 1245 1246 1247 1248 1249 1250 1251 1321 1322 1326 1327 1334 1335 1347 1348 1367 1368 1369 1370 1381 1385 1386 1387 1413 1414 1416 1423 1424 1448 1455 1456 1459 1460 1478 1479 1480 1499 1500 1531 1532 1533 1534 1559 1560 1567 1577 1578 1607 1608 1609 1610 1611 1612 1652 1663 1664 1732 1736 1781 1792 1793 1810 1858 1859 1863 1864 1900 1906 1907 1930 1944 2011 2025 2031 2032 2093 2163 2230 2233 2240 2276 2291 2364 2367 2368 2441 2442 2460 2461 2463 2464 2465 2502 2520 2640 2678 2687 2738 2791 2792 2806 2817 2818 3005 3152 3269 3282 3352 3374 3375 3579 3708 4098 4330 4426
t 15 22 23 24 25 77 78 79 80 81 82 83 84 124 125 126 127 153 191 192 202 203 204 206 207 208 209 210 211 212 289 290 294 295 296 301 302 307 308 315 316 317 318 329 332 333 343 344 347 348 349 350 362 363 364 365 380 381 391 395 396 417 418 421 422 428 434 435 436 437 445 446 447 450 451 452 469 530 542 543 544 546 547 583 584 608 615 616 620 621 626 629 631 641 642 666 677 678 713 719 720 727 730 733 745 746 747 751 752 753 754 755 765 766 770 774 775 776 791 792 793 801 804 807 838 841 842 846 857 860 861 862 878 881 882 885 886 887 896 897 899 900 912 937 938 978 985 986 987 988 1002 1003 1004 1005 1019 1020 1035 1036 1039 1040 1045 1046 1047 1048 1059 1063 1064 1077 1078 1081 1082 1085 1086 1097 1099 1105 1128 1161 1168 1233 1245 1246 1247 1249 1250 1251 1321 1322 1326 1327 1334 1335 1347 1348 1367 1368 1369 1370 1381 1385 1386 1387 1413 1414 1416 1423 1424 1448 1455 1456 1459 1460 1478 1479 1480 1499 1500 1532 1533 1534 1559 1560 1567 1577 1578 1607 1608 1609 1610 1611 1612 1618 1652 1663 1664 1732 1736 1781 1792 1793 1810 1858 1859 1863 1864 1900 1906 1907 1930 1944 2011 2025 2031 2032 2093 2163 2230 2233 2240 2276 2291 2364 2367 2368 2441 2442 2460 2461 2462 2463 2464 2465 2502 2520 2640 2678 2687 2695 2738 2791 2792 2806 2817 2818 3005 3152 3269 3282 3352 3374 3375 3579 3708 4098 4330 4426
a YES
a 15 22 23 24 25 77 78 79 80 81 82 83 84 124 125 126 127 191 192 202 203 204 205 206 207 208 209 210 211 212 289 290 294 295 296 301 302 307 308 315 316 317 318 329 332 333 343 344 347 348 349 350 362 363 364 365 380 381 391 395 396 417 418 421 422 428 434 435 436 437 445 446 447 450 451 452 469 542 543 544 545 546 547 583 584 608 615 616 620 621 626 630 631 641 642 643 666 677 678 713 719 720 727 730 733 745 746 747 751 752 753 754 755 765 766 770 774 776 777 791 792 793 801 804 807 838 841 842 846 857 860 861 862 878 881 882 885 886 887 896 897 899 900 914 919 937 938 978 985 986 987 988 1002 1003 1004 1005 1019 1020 1035 1036 1039 1040 1045 1046 1047 1048 1059 1064 1065 1077 1078 1081 1082 1085 1086 1097 1099 1105 1128 1161 1168 1245 1246 1247 1248 1249 1250 1251 1321 1322 1326 1327 1334 1335 1347 1348 1367 1368 1369 1370 1381 1385 1386 1387 1413 1414 1416 1423 1424 1448 1455 1456 1459 1460 1478 1479 1480 1499 1500 1531 1532 1533 1534 1559 1560 1567 1577 1578 1607 1608 1609 1610 1611 1612 1652 1663 1664 1732 1736 1781 1792 1793 1810 1858 1859 1863 1864 1900 1906 1907 1930 1944 2011 2025 2031 2032 2093 2163 2230 2233 2240 2276 2291 2364 2367 2368 2441 2442 2460 2461 2463 2464 2465 2502 2520 2640 2678 2687 2738 2791 2792 2806 2817 2818 3005 3152 3269 3282 3352 3374 3375 3579 3708 4098 4330 4426
a 15 22 23 24 25 77 78 79 80 81 82 83 84 124 125 126 127 153 191 192 202 203 204 206 207 208 209 210 211 212 289 290 294 295 296 301 302 307 308 315 316 317 318 329 332 333 343 344 347 348 349 350 362 363 364 365 380 381 391 395 396 417 418 421 422 428 434 435 436 437 445 446 447 450 451 452 469 542 543 544 545 546 547 583 584 608 615 616 620 621 626 630 631 641 642 643 666 677 678 713 719 720 727 730 733 745 746 747 751 752 753 754 755 765 766 770 774 776 777 791 792 793 801 804 807 838 841 842 846 857 860 861 862 878 881 882 885 886 887 896 897 899 900 914 919 937 938 978 985 986 987 988 1002 1003 1004 1005 1019 1020 1035 1036 1039 1040 1045 1046 1047 1048 1059 1064 1065 1077 1078 1081 1082 1085 1086 1097 1099 1105 1128 1161 1168 1245 1246 1247 1248 1249 1250 1251 1321 1322 1326 1327 1334 1335 1347 1348 1367 1368 1369 1370 1381 1385 1386 1387 1413 1414 1416 1423 1424 1448 1455 1456 1459 1460 1478 1479 1480 1499 1500 1531 1532 1533 1534 1559 1560 1567 1577 1578 1607 1608 1609 1610 1611 1612 1652 1663 1664 1732 1736 1781 1792 1793 1810 1858 1859 1863 1864 1900 1906 1907 1930 1944 2011 2025 2031 2032 2093 2163 2230 2233 2240 2276 2291 2364 2367 2368 2441 2442 2460 2461 2463 2464 2465 2502 2520 2640 2678 2687 2738 2791 2792 2806 2817 2818 3005 3152 3269 3282 3352 3374 3375 3579 3708 4098 4330 4426
a 15 22 23 24 25 77 78 79 80 81 82 83 84 124 125 126 127 153 191 192 202 203 204 206 207 208 209 210 211 212 289 290 294 295 296 301 302 307 308 315 316 317 318 329 332 333 343 344 347 348 349 350 362 363 364 365 380 381 391 395 396 417 418 421 422 428 434 435 436 437 445 446 447 450 451 452 469 542 543 544 545 546 547 583 584 608 615 616 620 621 626 630 631 641 642 643 666 677 678 713 719 720 727 730 733 745 746 747 751 752 753 754 755 765 766 770 774 776 777 791 792 793 801 804 807 838 841 842 846 857 860 861 862 878 881 882 885 886 887 896 897 899 900 912 919 937 938 978 985 986 987 988 1002 1003 1004 1005 1019 1020 1035 1036 1039 1040 1045 1046 1047 1048 1059 1064 1065 1077 1078 1081 1082 1085 1086 1097 1099 1105 1128 1161 1168 1245 1246 1247 1248 1249 1250 1251 1321 1322 1326 1327 1334 1335 1347 1348 1367 1368 1369 1370 1381 1385 1386 1387 1413 1414 1416 1423 1424 1448 1455 1456 1459 1460 1478 1479 1480 1499 1500 1531 1532 1533 1534 1559 1560 1567 1577 1578 1607 1608 1609 1610 1611 1612 1652 1663 1664 1732 1736 1781 1792 1793 1810 1858 1859 1863 1864 1900 1906 1907 1930 1944 2011 2025 2031 2032 2093 2163 2230 2233 2240 2276 2291 2364 2367 2368 2441 2442 2460 2461 2463 2464 2465 2502 2520 2640 2678 2687 2738 2791 2792 2806 2817 2818 3005 3152 3269 3282 3352 3374 3375 3579 3708 4098 4330 4426
a 15 22 23 24 25 77 78 79 80 81 82 83 84 124 125 126 127 153 191 192 202 203 204 206 207 208 209 210 211 212 289 290 294 295 296 301 302 307 308 315 316 317 318 329 332 333 343 344 347 348 349 350 362 363 364 365 380 381 391 395 396 417 418 421 422 428 434 435 436 437 445 446 447 450 451 452 469 542 543 544 545 546 547 583 584 608 615 616 620 621 626 630 631 641 642 643 666 677 678 713 719 720 727 730 733 745 746 747 751 752 753 754 755 765 766 770 774 776 777 791 792 793 801 804 807 838 841 842 846 857 860 861 862 878 881 882 885 886 887 896 897 899 900 912 919 937 938 978 985 986 987 988 1002 1003 1004 1005 1019 1020 1035 1036 1039 1040 1045 1046 1047 1048 1059 1063 1064 1077 1078 1081 1082 1085 1086 1097 1099 1105 1128 1161 1168 1245 1246 1247 1248 1249 1250 1251 1321 1322 1326 1327 1334 1335 1347 1348 1367 1368 1369 1370 1381 1385 1386 1387 1413 1414 1416 1423 1424 1448 1455 1456 1459 1460 1478 1479 1480 1499 1500 1531 1532 1533 1534 1559 1560 1567 1577 1578 1607 1608 1609 1610 1611 1612 1652 1663 1664 1732 1736 1781 1792 1793 1810 1858 1859 1863 1864 1900 1906 1907 1930 1944 2011 2025 2031 2032 2093 2163 2230 2233 2240 2276 2291 2364 2367 2368 2441 2442 2460 2461 2463 2464 2465 2502 2520 2640 2678 2687 2738 2791 2792 2806 2817 2818 3005 3152 3269 3282 3352 3374 3375 3579 3708 4098 4330 4426
a 15 22 23 24 25 77 78 79 80 81 82 83 84 124 125 126 127 153 191 192 202 203 204 206 207 208 209 210 211 212 289 290 294 295 296 301 302 307 308 315 316 317 318 329 332 333 343 344 347 348 349 350 362 363 364 365 380 381 391 395 396 417 418 421 422 428 434 435 436 437 445 446 447 450 451 452 469 530 542 543 544 546 547 583 584 608 615 616 620 621 626 630 631 641 642 643 666 677 678 713 719 720 727 730 733 745 746 747 751 752 753 754 755 765 766 770 774 776 777 791 792 793 801 804 807 838 841 842 846 857 860 861 862 878 881 882 885 886 887 896 897 899 900 912 919 937 938 978 985 986 987 988 1002 1003 1004 1005 1019 1020 1035 1036 1039 1040 1045 1046 1047 1048 1059 1063 1064 1077 1078 1081 1082 1085 1086 1097 1099 1105 1128 1161 1168 1245 1246 1247 1248 1249 1250 1251 1321 1322 1326 1327 1334 1335 1347 1348 1367 1368 1369 1370 1381 1385 1386 1387 1413 1414 1416 1423 1424 1448 1455 1456 1459 1460 1478 1479 1480 1499 1500 1531 1532 1533 1534 1559 1560 1567 1577 1578 1607 1608 1609 1610 1611 1612 1652 1663 1664 1732 1736 1781 1792 1793 1810 1858 1859 1863 1864 1900 1906 1907 1930 1944 2011 2025 2031 2032 2093 2163 2230 2233 2240 2276 2291 2364 2367 2368 2441 2442 2460 2461 2463 2464 2465 2502 2520 2640 2678 2687 2738 2791 2792 2806 2817 2818 3005 3152 3269 3282 3352 3374 3375 3579 3708 4098 4330 4426
a 15 22 23 24 25 77 78 79 80 81 82 83 84 124 125 126 127 153 191 192 202 203 204 206 207 208 209 210 211 212 289 290 294 295 296 301 302 307 308 315 316 317 318 329 332 333 343 344 347 348 349 350 362 363 364 365 380 381 391 395 396 417 418 421 422 428 434 435 436 437 445 446 447 450 451 452 469 530 542 543 544 546 547 583 584 608 615 616 620 621 626 630 631 641 642 643 666 677 678 713 719 720 727 730 733 745 746 747 751 752 753 754 755 765 766 770 774 776 777 791 792 793 801 804 807 838 841 842 846 857 860 861 862 878 881 882 885 886 887 896 897 899 900 912 919 937 938 978 985 986 987 988 1002 1003 1004 1005 1019 1020 1035 1036 1039 1040 1045 1046 1047 1048 1059 1063 1064 1077 1078 1081 1082 1085 1086 1097 1099 1105 1128 1161 1168 1245 1246 1247 1248 1249 1250 1251 1321 1322 1326 1327 1334 1335 1347 1348 1367 1368 1369 1370 1381 1385 1386 1387 1413 1414 1416 1423 1424 1448 1455 1456 1459 1460 1478 1479 1480 1499 1500 1532 1533 1534 1559 1560 1567 1577 1578 1607 1608 1609 1610 1611 1612 1652 1663 1664 1732 1736 1781 1792 1793 1810 1858 1859 1863 1864 1900 1906 1907 1930 1944 2011 2025 2031 2032 2093 2163 2230 2233 2240 2276 2291 2364 2367 2368 2441 2442 2460 2461 2463 2464 2465 2502 2520 2640 2678 2687 2695 2738 2791 2792 2806 2817 2818 3005 3152 3269 3282 3352 3374 3375 3579 3708 4098 4330 4426
a 15 22 23 24 25 77 78 79 80 81 82 83 84 124 125 126 127 153 191 192 202 203 204 206 207 208 209 210 211 212 289 290 294 295 296 301 302 307 308 315 316 317 318 329 332 333 343 344 347 348 349 350 362 363 364 365 380 381 391 395 396 417 418 421 422 428 434 435 436 437 445 446 447 450 451 452 469 530 542 543 544 546 547 583 584 608 615 616 620 621 626 630 631 641 642 666 677 678 713 719 720 727 730 733 745 746 747 751 752 753 754 755 765 766 770 774 776 777 791 792 793 801 804 807 838 841 842 846 857 860 861 862 878 881 882 885 886 887 896 897 899 900 912 919 937 938 978 985 986 987 988 1002 1003 1004 1005 1019 1020 1035 1036 1039 1040 1045 1046 1047 1048 1059 1063 1064 1077 1078 1081 1082 1085 1086 1097 1099 1105 1128 1161 1168 1245 1246 1247 1248 1249 1250 1251 1321 1322 1326 1327 1334 1335 1347 1348 1367 1368 1369 1370 1381 1385 1386 1387 1413 1414 1416 1423 1424 1448 1455 1456 1459 1460 1478 1479 1480 1499 1500 1532 1533 1534 1559 1560 1567 1577 1578 1607 1608 1609 1610 1611 1612 1652 1663 1664 1732 1736 1781 1792 1793 1810 1858 1859 1863 1864 1900 1906 1907 1930 1944 2011 2025 2031 2032 2093 2163 2230 2233 2240 2276 2291 2364 2367 2368 2441 2442 2460 2461 2462 2463 2464 2465 2502 2520 2640 2678 2687 2695 2738 2791 2792 2806 2817 2818 3005 3152 3269 3282 3352 3374 3375 3579 3708 4098 4330 4426
a 15 22 23 24 25 77 78 79 80 81 82 83 84 124 125 126 127 153 191 192 202 203 204 206 207 208 209 210 211 212 289 290 294 295 296 301 302 307 308 315 316 317 318 329 332 333 343 344 347 348 349 350 362 363 364 365 380 381 391 395 396 417 418 421 422 428 434 435 436 437 445 446 447 450 451 452 469 530 542 543 544 546 547 583 584 608 615 616 620 621 626 629 631 641 642 666 677 678 713 719 720 727 730 733 745 746 747 751 752 753 754 755 765 766 770 774 776 777 791 792 793 801 804 807 838 841 842 846 857 860 861 862 878 881 882 885 886 887 896 897 899 900 912 919 937 938 978 985 986 987 988 1002 1003 1004 1005 1019 1020 1035 1036 1039 1040 1045 1046 1047 1048 1059 1063 1064 1077 1078 1081 1082 1085 1086 1097 1099 1105 1128 1161 1168 1245 1246 1247 1248 1249 1250 1251 1321 1322 1326 1327 1334 1335 1347 1348 1367 1368 1369 1370 1381 1385 1386 1387 1413 1414 1416 1423 1424 1448 1455 1456 1459 1460 1478 1479 1480 1499 1500 1532 1533 1534 1559 1560 1567 1577 1578 1607 1608 1609 1610 1611 1612 1652 1663 1664 1732 1736 1781 1792 1793 1810 1858 1859 1863 1864 1900 1906 1907 1930 1944 2011 2025 2031 2032 2093 2163 2230 2233 2240 2276 2291 2364 2367 2368 2441 2442 2460 2461 2462 2463 2464 2465 2502 2520 2640 2678 2687 2695 2738 2791 2792 2806 2817 2818 3005 3152 3269 3282 3352 3374 3375 3579 3708 4098 4330 4426
a 15 22 23 24 25 77 78 79 80 81 82 83 84 124 125 126 127 153 191 192 202 203 204 206 207 208 209 210 211 212 289 290 294 295 296 301 302 307 308 315 316 317 318 329 332 333 343 344 347 348 349 350 362 363 364 365 380 381 391 395 396 417 418 421 422 428 434 435 436 437 445 446 447 450 451 452 469 530 542 543 544 546 547 583 584 608 615 616 620 621 626 629 631 641 642 666 677 678 713 719 720 727 730 733 745 746 747 751 752 753 754 755 765 766 770 774 776 777 791 792 793 801 804 807 838 841 842 846 857 860 861 862 878 881 882 885 886 887 896 897 899 900 912 919 937 938 978 985 986 987 988 1002 1003 1004 1005 1019 1020 1035 1036 1039 1040 1045 1046 1047 1048 1059 1063 1064 1077 1078 1081 1082 1085 1086 1097 1099 1105 1128 1161 1168 1233 1245 1246 1247 1249 1250 1251 1321 1322 1326 1327 1334 1335 1347 1348 1367 1368 1369 1370 1381 1385 1386 1387 1413 1414 1416 1423 1424 1448 1455 1456 1459 1460 1478 1479 1480 1499 1500 1532 1533 1534 1559 1560 1567 1577 1578 1607 1608 1609 1610 1611 1612 1652 1663 1664 1732 1736 1781 1792 1793 1810 1858 1859 1863 1864 1900 1906 1907 1930 1944 2011 2025 2031 2032 2093 2163 2230 2233 2240 2276 2291 2364 2367 2368 2441 2442 2460 2461 2462 2463 2464 2465 2502 2520 2640 2678 2687 2695 2738 2791 2792 2806 2817 2818 3005 3152 3269 3282 3352 3374 3375 3579 3708 4098 4330 4426
a 15 22 23 24 25 77 78 79 80 81 82 83 84 124 125 126 127 153 191 192 202 203 204 206 207 208 209 210 211 212 289 290 294 295 296 301 302 307 308 315 316 317 318 329 332 333 343 344 347 348 349 350 362 363 364 365 380 381 391 395 396 417 418 421 422 428 434 435 436 437 445 446 447 450 451 452 469 530 542 543 544 546 547 583 584 608 615 616 620 621 626 629 631 641 642 666 677 678 713 719 720 727 730 733 745 746 747 751 752 753 754 755 765 766 770 774 776 777 791 792 793 801 804 807 838 841 842 846 857 860 861 862 878 881 882 885 886 887 896 897 899 900 912 937 938 978 985 986 987 988 1002 1003 1004 1005 1019 1020 1035 1036 1039 1040 1045 1046 1047 1048 1059 1063 1064 1077 1078 1081 1082 1085 1086 1097 1099 1105 1128 1161 1168 1233 1245 1246 1247 1249 1250 1251 1321 1322 1326 1327 1334 1335 1347 1348 1367 1368 1369 1370 1381 1385 1386 1387 1413 1414 1416 1423 1424 1448 1455 1456 1459 1460 1478 1479 1480 1499 1500 1532 1533 1534 1559 1560 1567 1577 1578 1607 1608 1609 1610 1611 1612 1618 1652 1663 1664 1732 1736 1781 1792 1793 1810 1858 1859 1863 1864 1900 1906 1907 1930 1944 2011 2025 2031 2032 2093 2163 2230 2233 2240 2276 2291 2364 2367 2368 2441 2442 2460 2461 2462 2463 2464 2465 2502 2520 2640 2678 2687 2695 2738 2791 2792 2806 2817 2818 3005 3152 3269 3282 3352 3374 3375 3579 3708 4098 4330 4426
a 15 22 23 24 25 77 78 79 80 81 82 83 84 124 125 126 127 153 191 192 202 203 204 206 207 208 209 210 211 212 289 290 294 295 296 301 302 307 308 315 316 317 318 329 332 333 343 344 347 348 349 350 362 363 364 365 380 381 391 395 396 417 418 421 422 428 434 435 436 437 445 446 447 450 451 452 469 530 542 543 544 546 547 583 584 608 615 616 620 621 626 629 631 641 642 666 677 678 713 719 720 727 730 733 745 746 747 751 752 753 754 755 765 766 770 774 775 776 791 792 793 801 804 807 838 841 842 846 857 860 861 862 878 881 882 885 886 887 896 897 899 900 912 937 938 978 985 986 987 988 1002 1003 1004 1005 1019 1020 1035 1036 1039 1040 1045 1046 1047 1048 1059 1063 1064 1077 1078 1081 1082 1085 1086 1097 1099 1105 1128 1161 1168 1233 1245 1246 1247 1249 1250 1251 1321 1322 1326 1327 1334 1335 1347 1348 1367 1368 1369 1370 1381 1385 1386 1387 1413 1414 1416 1423 1424 1448 1455 1456 1459 1460 1478 1479 1480 1499 1500 1532 1533 1534 1559 1560 1567 1577 1578 1607 1608 1609 1610 1611 1612 1618 1652 1663 1664 1732 1736 1781 1792 1793 1810 1858 1859 1863 1864 1900 1906 1907 1930 1944 2011 2025 2031 2032 2093 2163 2230 2233 2240 2276 2291 2364 2367 2368 2441 2442 2460 2461 2462 2463 2464 2465 2502 2520 2640 2678 2687 2695 2738 2791 2792 2806 2817 2818 3005 3152 3269 3282 3352 3374 3375 3579 3708 4098 4330 4426