{"trustable":true,"sections":[{"title":"","value":{"format":"HTML","content":"\u003cdiv class\u003d\"challenge_problem_statement\"\u003e\u003cdiv class\u003d\"msB challenge_problem_statement_body\"\u003e\u003cdiv class\u003d\"hackdown-content\"\u003e\u003cstyle id\u003d\"MathJax_SVG_styles\"\u003e.MathJax_SVG_Display {text-align: center; margin: 1em 0em; position: relative; display: block!important; text-indent: 0; max-width: none; max-height: none; min-width: 0; min-height: 0; width: 100%}\n.MathJax_SVG .MJX-monospace {font-family: monospace}\n.MathJax_SVG .MJX-sans-serif {font-family: sans-serif}\n.MathJax_SVG {display: inline; font-style: normal; font-weight: normal; line-height: normal; font-size: 100%; font-size-adjust: none; text-indent: 0; text-align: left; text-transform: none; letter-spacing: normal; word-spacing: normal; word-wrap: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0; min-height: 0; border: 0; padding: 0; margin: 0}\n.MathJax_SVG * {transition: none; -webkit-transition: none; -moz-transition: none; -ms-transition: none; -o-transition: none}\n.mjx-svg-href {fill: blue; stroke: blue}\n.MathJax_SVG_LineBox {display: table!important}\n.MathJax_SVG_LineBox span {display: table-cell!important; width: 10000em!important; min-width: 0; max-width: none; padding: 0; border: 0; margin: 0}\n\u003c/style\u003e\u003csvg style\u003d\"display: none;\"\u003e\u003cdefs id\u003d\"MathJax_SVG_glyphs\"\u003e\u003c/defs\u003e\u003c/svg\u003e\u003cp\u003eLeonardo thinks \u003cspan style\u003d\"font-size: 100%; display: inline-block;\" class\u003d\"MathJax_SVG\" id\u003d\"MathJax-Element-1-Frame\"\u003e\u003csvg xmlns:xlink\u003d\"http://www.w3.org/1999/xlink\" width\u003d\"1.162ex\" height\u003d\"2.176ex\" style\u003d\"vertical-align: -0.338ex;\" viewBox\u003d\"0 -791.3 500.5 936.9\" role\u003d\"img\" focusable\u003d\"false\"\u003e\u003cg stroke\u003d\"currentColor\" fill\u003d\"currentColor\" stroke-width\u003d\"0\" transform\u003d\"matrix(1 0 0 -1 0 0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M462 0Q444 3 333 3Q217 3 199 0H190V46H221Q241 46 248 46T265 48T279 53T286 61Q287 63 287 115V165H28V211L179 442Q332 674 334 675Q336 677 355 677H373L379 671V211H471V165H379V114Q379 73 379 66T385 54Q393 47 442 46H471V0H462ZM293 211V545L74 212L183 211H293Z\"\u003e\u003c/path\u003e\u003c/g\u003e\u003c/svg\u003e\u003c/span\u003e and \u003cspan style\u003d\"font-size: 100%; display: inline-block;\" class\u003d\"MathJax_SVG\" id\u003d\"MathJax-Element-2-Frame\"\u003e\u003csvg xmlns:xlink\u003d\"http://www.w3.org/1999/xlink\" width\u003d\"1.162ex\" height\u003d\"2.176ex\" style\u003d\"vertical-align: -0.338ex;\" viewBox\u003d\"0 -791.3 500.5 936.9\" role\u003d\"img\" focusable\u003d\"false\"\u003e\u003cg stroke\u003d\"currentColor\" fill\u003d\"currentColor\" stroke-width\u003d\"0\" transform\u003d\"matrix(1 0 0 -1 0 0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M55 458Q56 460 72 567L88 674Q88 676 108 676H128V672Q128 662 143 655T195 646T364 644H485V605L417 512Q408 500 387 472T360 435T339 403T319 367T305 330T292 284T284 230T278 162T275 80Q275 66 275 52T274 28V19Q270 2 255 -10T221 -22Q210 -22 200 -19T179 0T168 40Q168 198 265 368Q285 400 349 489L395 552H302Q128 552 119 546Q113 543 108 522T98 479L95 458V455H55V458Z\"\u003e\u003c/path\u003e\u003c/g\u003e\u003c/svg\u003e\u003c/span\u003e are \u003cem\u003elucky\u003c/em\u003e digits! He defines a number as \u003cem\u003elucky\u003c/em\u003e if it can be represented as the sum of one or more of these lucky digits. For example, he considers the following numbers to be lucky:\u003c/p\u003e\n\n\u003cul\u003e\n\u003cli\u003e\u003cspan style\u003d\"font-size: 100%; display: inline-block;\" class\u003d\"MathJax_SVG\" id\u003d\"MathJax-Element-3-Frame\"\u003e\u003csvg xmlns:xlink\u003d\"http://www.w3.org/1999/xlink\" width\u003d\"11.104ex\" height\u003d\"2.343ex\" style\u003d\"vertical-align: -0.505ex;\" viewBox\u003d\"0 -791.3 4781 1008.6\" role\u003d\"img\" focusable\u003d\"false\"\u003e\u003cg stroke\u003d\"currentColor\" fill\u003d\"currentColor\" stroke-width\u003d\"0\" transform\u003d\"matrix(1 0 0 -1 0 0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M213 578L200 573Q186 568 160 563T102 556H83V602H102Q149 604 189 617T245 641T273 663Q275 666 285 666Q294 666 302 660V361L303 61Q310 54 315 52T339 48T401 46H427V0H416Q395 3 257 3Q121 3 100 0H88V46H114Q136 46 152 46T177 47T193 50T201 52T207 57T213 61V578Z\"\u003e\u003c/path\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M462 0Q444 3 333 3Q217 3 199 0H190V46H221Q241 46 248 46T265 48T279 53T286 61Q287 63 287 115V165H28V211L179 442Q332 674 334 675Q336 677 355 677H373L379 671V211H471V165H379V114Q379 73 379 66T385 54Q393 47 442 46H471V0H462ZM293 211V545L74 212L183 211H293Z\" transform\u003d\"translate(500,0)\"\u003e\u003c/path\u003e\u003cg transform\u003d\"translate(1278,0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M944 153Q944 140 929 133H318L328 123Q379 69 414 0Q419 -13 419 -17Q419 -24 399 -24Q388 -24 385 -23T377 -12Q332 77 253 144T72 237Q62 240 59 242T56 250T59 257T70 262T89 268T119 278T160 296Q303 366 377 512Q382 522 385 523T401 525Q419 524 419 515Q419 510 414 500Q379 431 328 377L318 367H929Q944 359 944 347Q944 336 930 328L602 327H274L264 319Q225 289 147 250Q148 249 165 241T210 217T264 181L274 173H930Q931 172 933 171T936 169T938 167T941 164T942 162T943 158T944 153Z\"\u003e\u003c/path\u003e\u003c/g\u003e\u003cg transform\u003d\"translate(2557,0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M55 458Q56 460 72 567L88 674Q88 676 108 676H128V672Q128 662 143 655T195 646T364 644H485V605L417 512Q408 500 387 472T360 435T339 403T319 367T305 330T292 284T284 230T278 162T275 80Q275 66 275 52T274 28V19Q270 2 255 -10T221 -22Q210 -22 200 -19T179 0T168 40Q168 198 265 368Q285 400 349 489L395 552H302Q128 552 119 546Q113 543 108 522T98 479L95 458V455H55V458Z\"\u003e\u003c/path\u003e\u003c/g\u003e\u003cg transform\u003d\"translate(3279,0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M56 237T56 250T70 270H369V420L370 570Q380 583 389 583Q402 583 409 568V270H707Q722 262 722 250T707 230H409V-68Q401 -82 391 -82H389H387Q375 -82 369 -68V230H70Q56 237 56 250Z\"\u003e\u003c/path\u003e\u003c/g\u003e\u003cg transform\u003d\"translate(4280,0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M55 458Q56 460 72 567L88 674Q88 676 108 676H128V672Q128 662 143 655T195 646T364 644H485V605L417 512Q408 500 387 472T360 435T339 403T319 367T305 330T292 284T284 230T278 162T275 80Q275 66 275 52T274 28V19Q270 2 255 -10T221 -22Q210 -22 200 -19T179 0T168 40Q168 198 265 368Q285 400 349 489L395 552H302Q128 552 119 546Q113 543 108 522T98 479L95 458V455H55V458Z\"\u003e\u003c/path\u003e\u003c/g\u003e\u003c/g\u003e\u003c/svg\u003e\u003c/span\u003e\u003c/li\u003e\n\u003cli\u003e\u003cspan style\u003d\"font-size: 100%; display: inline-block;\" class\u003d\"MathJax_SVG\" id\u003d\"MathJax-Element-4-Frame\"\u003e\u003csvg xmlns:xlink\u003d\"http://www.w3.org/1999/xlink\" width\u003d\"11.104ex\" height\u003d\"2.343ex\" style\u003d\"vertical-align: -0.505ex;\" viewBox\u003d\"0 -791.3 4781 1008.6\" role\u003d\"img\" focusable\u003d\"false\"\u003e\u003cg stroke\u003d\"currentColor\" fill\u003d\"currentColor\" stroke-width\u003d\"0\" transform\u003d\"matrix(1 0 0 -1 0 0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M213 578L200 573Q186 568 160 563T102 556H83V602H102Q149 604 189 617T245 641T273 663Q275 666 285 666Q294 666 302 660V361L303 61Q310 54 315 52T339 48T401 46H427V0H416Q395 3 257 3Q121 3 100 0H88V46H114Q136 46 152 46T177 47T193 50T201 52T207 57T213 61V578Z\"\u003e\u003c/path\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M213 578L200 573Q186 568 160 563T102 556H83V602H102Q149 604 189 617T245 641T273 663Q275 666 285 666Q294 666 302 660V361L303 61Q310 54 315 52T339 48T401 46H427V0H416Q395 3 257 3Q121 3 100 0H88V46H114Q136 46 152 46T177 47T193 50T201 52T207 57T213 61V578Z\" transform\u003d\"translate(500,0)\"\u003e\u003c/path\u003e\u003cg transform\u003d\"translate(1278,0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M944 153Q944 140 929 133H318L328 123Q379 69 414 0Q419 -13 419 -17Q419 -24 399 -24Q388 -24 385 -23T377 -12Q332 77 253 144T72 237Q62 240 59 242T56 250T59 257T70 262T89 268T119 278T160 296Q303 366 377 512Q382 522 385 523T401 525Q419 524 419 515Q419 510 414 500Q379 431 328 377L318 367H929Q944 359 944 347Q944 336 930 328L602 327H274L264 319Q225 289 147 250Q148 249 165 241T210 217T264 181L274 173H930Q931 172 933 171T936 169T938 167T941 164T942 162T943 158T944 153Z\"\u003e\u003c/path\u003e\u003c/g\u003e\u003cg transform\u003d\"translate(2557,0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M55 458Q56 460 72 567L88 674Q88 676 108 676H128V672Q128 662 143 655T195 646T364 644H485V605L417 512Q408 500 387 472T360 435T339 403T319 367T305 330T292 284T284 230T278 162T275 80Q275 66 275 52T274 28V19Q270 2 255 -10T221 -22Q210 -22 200 -19T179 0T168 40Q168 198 265 368Q285 400 349 489L395 552H302Q128 552 119 546Q113 543 108 522T98 479L95 458V455H55V458Z\"\u003e\u003c/path\u003e\u003c/g\u003e\u003cg transform\u003d\"translate(3279,0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M56 237T56 250T70 270H369V420L370 570Q380 583 389 583Q402 583 409 568V270H707Q722 262 722 250T707 230H409V-68Q401 -82 391 -82H389H387Q375 -82 369 -68V230H70Q56 237 56 250Z\"\u003e\u003c/path\u003e\u003c/g\u003e\u003cg transform\u003d\"translate(4280,0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M462 0Q444 3 333 3Q217 3 199 0H190V46H221Q241 46 248 46T265 48T279 53T286 61Q287 63 287 115V165H28V211L179 442Q332 674 334 675Q336 677 355 677H373L379 671V211H471V165H379V114Q379 73 379 66T385 54Q393 47 442 46H471V0H462ZM293 211V545L74 212L183 211H293Z\"\u003e\u003c/path\u003e\u003c/g\u003e\u003c/g\u003e\u003c/svg\u003e\u003c/span\u003e\u003c/li\u003e\n\u003cli\u003e\u003cspan style\u003d\"font-size: 100%; display: inline-block;\" class\u003d\"MathJax_SVG\" id\u003d\"MathJax-Element-5-Frame\"\u003e\u003csvg xmlns:xlink\u003d\"http://www.w3.org/1999/xlink\" width\u003d\"15.107ex\" height\u003d\"2.343ex\" style\u003d\"vertical-align: -0.505ex;\" viewBox\u003d\"0 -791.3 6504.4 1008.6\" role\u003d\"img\" focusable\u003d\"false\"\u003e\u003cg stroke\u003d\"currentColor\" fill\u003d\"currentColor\" stroke-width\u003d\"0\" transform\u003d\"matrix(1 0 0 -1 0 0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M213 578L200 573Q186 568 160 563T102 556H83V602H102Q149 604 189 617T245 641T273 663Q275 666 285 666Q294 666 302 660V361L303 61Q310 54 315 52T339 48T401 46H427V0H416Q395 3 257 3Q121 3 100 0H88V46H114Q136 46 152 46T177 47T193 50T201 52T207 57T213 61V578Z\"\u003e\u003c/path\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M70 417T70 494T124 618T248 666Q319 666 374 624T429 515Q429 485 418 459T392 417T361 389T335 371T324 363L338 354Q352 344 366 334T382 323Q457 264 457 174Q457 95 399 37T249 -22Q159 -22 101 29T43 155Q43 263 172 335L154 348Q133 361 127 368Q70 417 70 494ZM286 386L292 390Q298 394 301 396T311 403T323 413T334 425T345 438T355 454T364 471T369 491T371 513Q371 556 342 586T275 624Q268 625 242 625Q201 625 165 599T128 534Q128 511 141 492T167 463T217 431Q224 426 228 424L286 386ZM250 21Q308 21 350 55T392 137Q392 154 387 169T375 194T353 216T330 234T301 253T274 270Q260 279 244 289T218 306L210 311Q204 311 181 294T133 239T107 157Q107 98 150 60T250 21Z\" transform\u003d\"translate(500,0)\"\u003e\u003c/path\u003e\u003cg transform\u003d\"translate(1278,0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M944 153Q944 140 929 133H318L328 123Q379 69 414 0Q419 -13 419 -17Q419 -24 399 -24Q388 -24 385 -23T377 -12Q332 77 253 144T72 237Q62 240 59 242T56 250T59 257T70 262T89 268T119 278T160 296Q303 366 377 512Q382 522 385 523T401 525Q419 524 419 515Q419 510 414 500Q379 431 328 377L318 367H929Q944 359 944 347Q944 336 930 328L602 327H274L264 319Q225 289 147 250Q148 249 165 241T210 217T264 181L274 173H930Q931 172 933 171T936 169T938 167T941 164T942 162T943 158T944 153Z\"\u003e\u003c/path\u003e\u003c/g\u003e\u003cg transform\u003d\"translate(2557,0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M55 458Q56 460 72 567L88 674Q88 676 108 676H128V672Q128 662 143 655T195 646T364 644H485V605L417 512Q408 500 387 472T360 435T339 403T319 367T305 330T292 284T284 230T278 162T275 80Q275 66 275 52T274 28V19Q270 2 255 -10T221 -22Q210 -22 200 -19T179 0T168 40Q168 198 265 368Q285 400 349 489L395 552H302Q128 552 119 546Q113 543 108 522T98 479L95 458V455H55V458Z\"\u003e\u003c/path\u003e\u003c/g\u003e\u003cg transform\u003d\"translate(3279,0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M56 237T56 250T70 270H369V420L370 570Q380 583 389 583Q402 583 409 568V270H707Q722 262 722 250T707 230H409V-68Q401 -82 391 -82H389H387Q375 -82 369 -68V230H70Q56 237 56 250Z\"\u003e\u003c/path\u003e\u003c/g\u003e\u003cg transform\u003d\"translate(4280,0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M55 458Q56 460 72 567L88 674Q88 676 108 676H128V672Q128 662 143 655T195 646T364 644H485V605L417 512Q408 500 387 472T360 435T339 403T319 367T305 330T292 284T284 230T278 162T275 80Q275 66 275 52T274 28V19Q270 2 255 -10T221 -22Q210 -22 200 -19T179 0T168 40Q168 198 265 368Q285 400 349 489L395 552H302Q128 552 119 546Q113 543 108 522T98 479L95 458V455H55V458Z\"\u003e\u003c/path\u003e\u003c/g\u003e\u003cg transform\u003d\"translate(5003,0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M56 237T56 250T70 270H369V420L370 570Q380 583 389 583Q402 583 409 568V270H707Q722 262 722 250T707 230H409V-68Q401 -82 391 -82H389H387Q375 -82 369 -68V230H70Q56 237 56 250Z\"\u003e\u003c/path\u003e\u003c/g\u003e\u003cg transform\u003d\"translate(6003,0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M462 0Q444 3 333 3Q217 3 199 0H190V46H221Q241 46 248 46T265 48T279 53T286 61Q287 63 287 115V165H28V211L179 442Q332 674 334 675Q336 677 355 677H373L379 671V211H471V165H379V114Q379 73 379 66T385 54Q393 47 442 46H471V0H462ZM293 211V545L74 212L183 211H293Z\"\u003e\u003c/path\u003e\u003c/g\u003e\u003c/g\u003e\u003c/svg\u003e\u003c/span\u003e\u003c/li\u003e\n\u003cli\u003e\u003cspan style\u003d\"font-size: 100%; display: inline-block;\" class\u003d\"MathJax_SVG\" id\u003d\"MathJax-Element-6-Frame\"\u003e\u003csvg xmlns:xlink\u003d\"http://www.w3.org/1999/xlink\" width\u003d\"5.939ex\" height\u003d\"2.176ex\" style\u003d\"vertical-align: -0.338ex;\" viewBox\u003d\"0 -791.3 2557.1 936.9\" role\u003d\"img\" focusable\u003d\"false\"\u003e\u003cg stroke\u003d\"currentColor\" fill\u003d\"currentColor\" stroke-width\u003d\"0\" transform\u003d\"matrix(1 0 0 -1 0 0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M55 458Q56 460 72 567L88 674Q88 676 108 676H128V672Q128 662 143 655T195 646T364 644H485V605L417 512Q408 500 387 472T360 435T339 403T319 367T305 330T292 284T284 230T278 162T275 80Q275 66 275 52T274 28V19Q270 2 255 -10T221 -22Q210 -22 200 -19T179 0T168 40Q168 198 265 368Q285 400 349 489L395 552H302Q128 552 119 546Q113 543 108 522T98 479L95 458V455H55V458Z\"\u003e\u003c/path\u003e\u003cg transform\u003d\"translate(778,0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M944 153Q944 140 929 133H318L328 123Q379 69 414 0Q419 -13 419 -17Q419 -24 399 -24Q388 -24 385 -23T377 -12Q332 77 253 144T72 237Q62 240 59 242T56 250T59 257T70 262T89 268T119 278T160 296Q303 366 377 512Q382 522 385 523T401 525Q419 524 419 515Q419 510 414 500Q379 431 328 377L318 367H929Q944 359 944 347Q944 336 930 328L602 327H274L264 319Q225 289 147 250Q148 249 165 241T210 217T264 181L274 173H930Q931 172 933 171T936 169T938 167T941 164T942 162T943 158T944 153Z\"\u003e\u003c/path\u003e\u003c/g\u003e\u003cg transform\u003d\"translate(2056,0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M55 458Q56 460 72 567L88 674Q88 676 108 676H128V672Q128 662 143 655T195 646T364 644H485V605L417 512Q408 500 387 472T360 435T339 403T319 367T305 330T292 284T284 230T278 162T275 80Q275 66 275 52T274 28V19Q270 2 255 -10T221 -22Q210 -22 200 -19T179 0T168 40Q168 198 265 368Q285 400 349 489L395 552H302Q128 552 119 546Q113 543 108 522T98 479L95 458V455H55V458Z\"\u003e\u003c/path\u003e\u003c/g\u003e\u003c/g\u003e\u003c/svg\u003e\u003c/span\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\n\u003cp\u003eYou are given \u003cspan style\u003d\"font-size: 100%; display: inline-block;\" class\u003d\"MathJax_SVG\" id\u003d\"MathJax-Element-7-Frame\"\u003e\u003csvg xmlns:xlink\u003d\"http://www.w3.org/1999/xlink\" width\u003d\"1.07ex\" height\u003d\"2.009ex\" style\u003d\"vertical-align: -0.671ex;\" viewBox\u003d\"0 -576.1 460.5 865.1\" role\u003d\"img\" focusable\u003d\"false\"\u003e\u003cg stroke\u003d\"currentColor\" fill\u003d\"currentColor\" stroke-width\u003d\"0\" transform\u003d\"matrix(1 0 0 -1 0 0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M33 157Q33 258 109 349T280 441Q340 441 372 389Q373 390 377 395T388 406T404 418Q438 442 450 442Q454 442 457 439T460 434Q460 425 391 149Q320 -135 320 -139Q320 -147 365 -148H390Q396 -156 396 -157T393 -175Q389 -188 383 -194H370Q339 -192 262 -192Q234 -192 211 -192T174 -192T157 -193Q143 -193 143 -185Q143 -182 145 -170Q149 -154 152 -151T172 -148Q220 -148 230 -141Q238 -136 258 -53T279 32Q279 33 272 29Q224 -10 172 -10Q117 -10 75 30T33 157ZM352 326Q329 405 277 405Q242 405 210 374T160 293Q131 214 119 129Q119 126 119 118T118 106Q118 61 136 44T179 26Q233 26 290 98L298 109L352 326Z\"\u003e\u003c/path\u003e\u003c/g\u003e\u003c/svg\u003e\u003c/span\u003e queries, where each query consists of a long integer denoting \u003cspan style\u003d\"font-size: 100%; display: inline-block;\" class\u003d\"MathJax_SVG\" id\u003d\"MathJax-Element-8-Frame\"\u003e\u003csvg xmlns:xlink\u003d\"http://www.w3.org/1999/xlink\" width\u003d\"1.395ex\" height\u003d\"1.676ex\" style\u003d\"vertical-align: -0.338ex;\" viewBox\u003d\"0 -576.1 600.5 721.6\" role\u003d\"img\" focusable\u003d\"false\"\u003e\u003cg stroke\u003d\"currentColor\" fill\u003d\"currentColor\" stroke-width\u003d\"0\" transform\u003d\"matrix(1 0 0 -1 0 0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M21 287Q22 293 24 303T36 341T56 388T89 425T135 442Q171 442 195 424T225 390T231 369Q231 367 232 367L243 378Q304 442 382 442Q436 442 469 415T503 336T465 179T427 52Q427 26 444 26Q450 26 453 27Q482 32 505 65T540 145Q542 153 560 153Q580 153 580 145Q580 144 576 130Q568 101 554 73T508 17T439 -10Q392 -10 371 17T350 73Q350 92 386 193T423 345Q423 404 379 404H374Q288 404 229 303L222 291L189 157Q156 26 151 16Q138 -11 108 -11Q95 -11 87 -5T76 7T74 17Q74 30 112 180T152 343Q153 348 153 366Q153 405 129 405Q91 405 66 305Q60 285 60 284Q58 278 41 278H27Q21 284 21 287Z\"\u003e\u003c/path\u003e\u003c/g\u003e\u003c/svg\u003e\u003c/span\u003e. For each query, print \u003ccode\u003eYes\u003c/code\u003e on a new line if \u003cspan style\u003d\"font-size: 100%; display: inline-block;\" class\u003d\"MathJax_SVG\" id\u003d\"MathJax-Element-9-Frame\"\u003e\u003csvg xmlns:xlink\u003d\"http://www.w3.org/1999/xlink\" width\u003d\"1.395ex\" height\u003d\"1.676ex\" style\u003d\"vertical-align: -0.338ex;\" viewBox\u003d\"0 -576.1 600.5 721.6\" role\u003d\"img\" focusable\u003d\"false\"\u003e\u003cg stroke\u003d\"currentColor\" fill\u003d\"currentColor\" stroke-width\u003d\"0\" transform\u003d\"matrix(1 0 0 -1 0 0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M21 287Q22 293 24 303T36 341T56 388T89 425T135 442Q171 442 195 424T225 390T231 369Q231 367 232 367L243 378Q304 442 382 442Q436 442 469 415T503 336T465 179T427 52Q427 26 444 26Q450 26 453 27Q482 32 505 65T540 145Q542 153 560 153Q580 153 580 145Q580 144 576 130Q568 101 554 73T508 17T439 -10Q392 -10 371 17T350 73Q350 92 386 193T423 345Q423 404 379 404H374Q288 404 229 303L222 291L189 157Q156 26 151 16Q138 -11 108 -11Q95 -11 87 -5T76 7T74 17Q74 30 112 180T152 343Q153 348 153 366Q153 405 129 405Q91 405 66 305Q60 285 60 284Q58 278 41 278H27Q21 284 21 287Z\"\u003e\u003c/path\u003e\u003c/g\u003e\u003c/svg\u003e\u003c/span\u003e is a lucky number; otherwise, print \u003ccode\u003eNo\u003c/code\u003e.\u003c/p\u003e\u003c/div\u003e\u003c/div\u003e\u003c/div\u003e\u003cdiv class\u003d\"challenge_input_format\"\u003e\u003cdiv class\u003d\"msB challenge_input_format_title\"\u003e\u003cp\u003e\u003cstrong\u003eInput Format\u003c/strong\u003e\u003c/p\u003e\u003c/div\u003e\u003cdiv class\u003d\"msB challenge_input_format_body\"\u003e\u003cdiv class\u003d\"hackdown-content\"\u003e\u003cstyle id\u003d\"MathJax_SVG_styles\"\u003e.MathJax_SVG_Display {text-align: center; margin: 1em 0em; position: relative; display: block!important; text-indent: 0; max-width: none; max-height: none; min-width: 0; min-height: 0; width: 100%}\n.MathJax_SVG .MJX-monospace {font-family: monospace}\n.MathJax_SVG .MJX-sans-serif {font-family: sans-serif}\n.MathJax_SVG {display: inline; font-style: normal; font-weight: normal; line-height: normal; font-size: 100%; font-size-adjust: none; text-indent: 0; text-align: left; text-transform: none; letter-spacing: normal; word-spacing: normal; word-wrap: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0; min-height: 0; border: 0; padding: 0; margin: 0}\n.MathJax_SVG * {transition: none; -webkit-transition: none; -moz-transition: none; -ms-transition: none; -o-transition: none}\n.mjx-svg-href {fill: blue; stroke: blue}\n.MathJax_SVG_LineBox {display: table!important}\n.MathJax_SVG_LineBox span {display: table-cell!important; width: 10000em!important; min-width: 0; max-width: none; padding: 0; border: 0; margin: 0}\n\u003c/style\u003e\u003csvg style\u003d\"display: none;\"\u003e\u003cdefs id\u003d\"MathJax_SVG_glyphs\"\u003e\u003c/defs\u003e\u003c/svg\u003e\u003cp\u003eThe first line contains an integer denoting \u003cspan style\u003d\"font-size: 100%; display: inline-block;\" class\u003d\"MathJax_SVG\" id\u003d\"MathJax-Element-1-Frame\"\u003e\u003csvg xmlns:xlink\u003d\"http://www.w3.org/1999/xlink\" width\u003d\"1.07ex\" height\u003d\"2.009ex\" style\u003d\"vertical-align: -0.671ex;\" viewBox\u003d\"0 -576.1 460.5 865.1\" role\u003d\"img\" focusable\u003d\"false\"\u003e\u003cg stroke\u003d\"currentColor\" fill\u003d\"currentColor\" stroke-width\u003d\"0\" transform\u003d\"matrix(1 0 0 -1 0 0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M33 157Q33 258 109 349T280 441Q340 441 372 389Q373 390 377 395T388 406T404 418Q438 442 450 442Q454 442 457 439T460 434Q460 425 391 149Q320 -135 320 -139Q320 -147 365 -148H390Q396 -156 396 -157T393 -175Q389 -188 383 -194H370Q339 -192 262 -192Q234 -192 211 -192T174 -192T157 -193Q143 -193 143 -185Q143 -182 145 -170Q149 -154 152 -151T172 -148Q220 -148 230 -141Q238 -136 258 -53T279 32Q279 33 272 29Q224 -10 172 -10Q117 -10 75 30T33 157ZM352 326Q329 405 277 405Q242 405 210 374T160 293Q131 214 119 129Q119 126 119 118T118 106Q118 61 136 44T179 26Q233 26 290 98L298 109L352 326Z\"\u003e\u003c/path\u003e\u003c/g\u003e\u003c/svg\u003e\u003c/span\u003e. \u003cbr\u003e\nEach of the \u003cspan style\u003d\"font-size: 100%; display: inline-block;\" class\u003d\"MathJax_SVG\" id\u003d\"MathJax-Element-2-Frame\"\u003e\u003csvg xmlns:xlink\u003d\"http://www.w3.org/1999/xlink\" width\u003d\"1.07ex\" height\u003d\"2.009ex\" style\u003d\"vertical-align: -0.671ex;\" viewBox\u003d\"0 -576.1 460.5 865.1\" role\u003d\"img\" focusable\u003d\"false\"\u003e\u003cg stroke\u003d\"currentColor\" fill\u003d\"currentColor\" stroke-width\u003d\"0\" transform\u003d\"matrix(1 0 0 -1 0 0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M33 157Q33 258 109 349T280 441Q340 441 372 389Q373 390 377 395T388 406T404 418Q438 442 450 442Q454 442 457 439T460 434Q460 425 391 149Q320 -135 320 -139Q320 -147 365 -148H390Q396 -156 396 -157T393 -175Q389 -188 383 -194H370Q339 -192 262 -192Q234 -192 211 -192T174 -192T157 -193Q143 -193 143 -185Q143 -182 145 -170Q149 -154 152 -151T172 -148Q220 -148 230 -141Q238 -136 258 -53T279 32Q279 33 272 29Q224 -10 172 -10Q117 -10 75 30T33 157ZM352 326Q329 405 277 405Q242 405 210 374T160 293Q131 214 119 129Q119 126 119 118T118 106Q118 61 136 44T179 26Q233 26 290 98L298 109L352 326Z\"\u003e\u003c/path\u003e\u003c/g\u003e\u003c/svg\u003e\u003c/span\u003e subsequent lines contains a long integer describing the value of \u003cspan style\u003d\"font-size: 100%; display: inline-block;\" class\u003d\"MathJax_SVG\" id\u003d\"MathJax-Element-3-Frame\"\u003e\u003csvg xmlns:xlink\u003d\"http://www.w3.org/1999/xlink\" width\u003d\"1.395ex\" height\u003d\"1.676ex\" style\u003d\"vertical-align: -0.338ex;\" viewBox\u003d\"0 -576.1 600.5 721.6\" role\u003d\"img\" focusable\u003d\"false\"\u003e\u003cg stroke\u003d\"currentColor\" fill\u003d\"currentColor\" stroke-width\u003d\"0\" transform\u003d\"matrix(1 0 0 -1 0 0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M21 287Q22 293 24 303T36 341T56 388T89 425T135 442Q171 442 195 424T225 390T231 369Q231 367 232 367L243 378Q304 442 382 442Q436 442 469 415T503 336T465 179T427 52Q427 26 444 26Q450 26 453 27Q482 32 505 65T540 145Q542 153 560 153Q580 153 580 145Q580 144 576 130Q568 101 554 73T508 17T439 -10Q392 -10 371 17T350 73Q350 92 386 193T423 345Q423 404 379 404H374Q288 404 229 303L222 291L189 157Q156 26 151 16Q138 -11 108 -11Q95 -11 87 -5T76 7T74 17Q74 30 112 180T152 343Q153 348 153 366Q153 405 129 405Q91 405 66 305Q60 285 60 284Q58 278 41 278H27Q21 284 21 287Z\"\u003e\u003c/path\u003e\u003c/g\u003e\u003c/svg\u003e\u003c/span\u003e for a query.\u003c/p\u003e\u003c/div\u003e\u003c/div\u003e\u003c/div\u003e\u003cdiv class\u003d\"challenge_constraints\"\u003e\u003cdiv class\u003d\"msB challenge_constraints_title\"\u003e\u003cp\u003e\u003cstrong\u003eConstraints\u003c/strong\u003e\u003c/p\u003e\u003c/div\u003e\u003cdiv class\u003d\"msB challenge_constraints_body\"\u003e\u003cdiv class\u003d\"hackdown-content\"\u003e\u003cstyle id\u003d\"MathJax_SVG_styles\"\u003e.MathJax_SVG_Display {text-align: center; margin: 1em 0em; position: relative; display: block!important; text-indent: 0; max-width: none; max-height: none; min-width: 0; min-height: 0; width: 100%}\n.MathJax_SVG .MJX-monospace {font-family: monospace}\n.MathJax_SVG .MJX-sans-serif {font-family: sans-serif}\n.MathJax_SVG {display: inline; font-style: normal; font-weight: normal; line-height: normal; font-size: 100%; font-size-adjust: none; text-indent: 0; text-align: left; text-transform: none; letter-spacing: normal; word-spacing: normal; word-wrap: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0; min-height: 0; border: 0; padding: 0; margin: 0}\n.MathJax_SVG * {transition: none; -webkit-transition: none; -moz-transition: none; -ms-transition: none; -o-transition: none}\n.mjx-svg-href {fill: blue; stroke: blue}\n.MathJax_SVG_LineBox {display: table!important}\n.MathJax_SVG_LineBox span {display: table-cell!important; width: 10000em!important; min-width: 0; max-width: none; padding: 0; border: 0; margin: 0}\n\u003c/style\u003e\u003csvg style\u003d\"display: none;\"\u003e\u003cdefs id\u003d\"MathJax_SVG_glyphs\"\u003e\u003c/defs\u003e\u003c/svg\u003e\u003cul\u003e\n\u003cli\u003e\u003cspan style\u003d\"font-size: 100%; display: inline-block;\" class\u003d\"MathJax_SVG\" id\u003d\"MathJax-Element-1-Frame\"\u003e\u003csvg xmlns:xlink\u003d\"http://www.w3.org/1999/xlink\" width\u003d\"11.916ex\" height\u003d\"2.509ex\" style\u003d\"vertical-align: -0.671ex;\" viewBox\u003d\"0 -791.3 5130.6 1080.4\" role\u003d\"img\" focusable\u003d\"false\"\u003e\u003cg stroke\u003d\"currentColor\" fill\u003d\"currentColor\" stroke-width\u003d\"0\" transform\u003d\"matrix(1 0 0 -1 0 0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M213 578L200 573Q186 568 160 563T102 556H83V602H102Q149 604 189 617T245 641T273 663Q275 666 285 666Q294 666 302 660V361L303 61Q310 54 315 52T339 48T401 46H427V0H416Q395 3 257 3Q121 3 100 0H88V46H114Q136 46 152 46T177 47T193 50T201 52T207 57T213 61V578Z\"\u003e\u003c/path\u003e\u003cg transform\u003d\"translate(778,0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M674 636Q682 636 688 630T694 615T687 601Q686 600 417 472L151 346L399 228Q687 92 691 87Q694 81 694 76Q694 58 676 56H670L382 192Q92 329 90 331Q83 336 83 348Q84 359 96 365Q104 369 382 500T665 634Q669 636 674 636ZM84 -118Q84 -108 99 -98H678Q694 -104 694 -118Q694 -130 679 -138H98Q84 -131 84 -118Z\"\u003e\u003c/path\u003e\u003c/g\u003e\u003cg transform\u003d\"translate(1834,0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M33 157Q33 258 109 349T280 441Q340 441 372 389Q373 390 377 395T388 406T404 418Q438 442 450 442Q454 442 457 439T460 434Q460 425 391 149Q320 -135 320 -139Q320 -147 365 -148H390Q396 -156 396 -157T393 -175Q389 -188 383 -194H370Q339 -192 262 -192Q234 -192 211 -192T174 -192T157 -193Q143 -193 143 -185Q143 -182 145 -170Q149 -154 152 -151T172 -148Q220 -148 230 -141Q238 -136 258 -53T279 32Q279 33 272 29Q224 -10 172 -10Q117 -10 75 30T33 157ZM352 326Q329 405 277 405Q242 405 210 374T160 293Q131 214 119 129Q119 126 119 118T118 106Q118 61 136 44T179 26Q233 26 290 98L298 109L352 326Z\"\u003e\u003c/path\u003e\u003c/g\u003e\u003cg transform\u003d\"translate(2572,0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M674 636Q682 636 688 630T694 615T687 601Q686 600 417 472L151 346L399 228Q687 92 691 87Q694 81 694 76Q694 58 676 56H670L382 192Q92 329 90 331Q83 336 83 348Q84 359 96 365Q104 369 382 500T665 634Q669 636 674 636ZM84 -118Q84 -108 99 -98H678Q694 -104 694 -118Q694 -130 679 -138H98Q84 -131 84 -118Z\"\u003e\u003c/path\u003e\u003c/g\u003e\u003cg transform\u003d\"translate(3629,0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M213 578L200 573Q186 568 160 563T102 556H83V602H102Q149 604 189 617T245 641T273 663Q275 666 285 666Q294 666 302 660V361L303 61Q310 54 315 52T339 48T401 46H427V0H416Q395 3 257 3Q121 3 100 0H88V46H114Q136 46 152 46T177 47T193 50T201 52T207 57T213 61V578Z\"\u003e\u003c/path\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M96 585Q152 666 249 666Q297 666 345 640T423 548Q460 465 460 320Q460 165 417 83Q397 41 362 16T301 -15T250 -22Q224 -22 198 -16T137 16T82 83Q39 165 39 320Q39 494 96 585ZM321 597Q291 629 250 629Q208 629 178 597Q153 571 145 525T137 333Q137 175 145 125T181 46Q209 16 250 16Q290 16 318 46Q347 76 354 130T362 333Q362 478 354 524T321 597Z\" transform\u003d\"translate(500,0)\"\u003e\u003c/path\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M96 585Q152 666 249 666Q297 666 345 640T423 548Q460 465 460 320Q460 165 417 83Q397 41 362 16T301 -15T250 -22Q224 -22 198 -16T137 16T82 83Q39 165 39 320Q39 494 96 585ZM321 597Q291 629 250 629Q208 629 178 597Q153 571 145 525T137 333Q137 175 145 125T181 46Q209 16 250 16Q290 16 318 46Q347 76 354 130T362 333Q362 478 354 524T321 597Z\" transform\u003d\"translate(1001,0)\"\u003e\u003c/path\u003e\u003c/g\u003e\u003c/g\u003e\u003c/svg\u003e\u003c/span\u003e \u003c/li\u003e\n\u003cli\u003e\u003cspan style\u003d\"font-size: 100%; display: inline-block;\" class\u003d\"MathJax_SVG\" id\u003d\"MathJax-Element-2-Frame\"\u003e\u003csvg xmlns:xlink\u003d\"http://www.w3.org/1999/xlink\" width\u003d\"12.955ex\" height\u003d\"2.843ex\" style\u003d\"vertical-align: -0.505ex;\" viewBox\u003d\"0 -1006.6 5577.9 1223.9\" role\u003d\"img\" focusable\u003d\"false\"\u003e\u003cg stroke\u003d\"currentColor\" fill\u003d\"currentColor\" stroke-width\u003d\"0\" transform\u003d\"matrix(1 0 0 -1 0 0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M213 578L200 573Q186 568 160 563T102 556H83V602H102Q149 604 189 617T245 641T273 663Q275 666 285 666Q294 666 302 660V361L303 61Q310 54 315 52T339 48T401 46H427V0H416Q395 3 257 3Q121 3 100 0H88V46H114Q136 46 152 46T177 47T193 50T201 52T207 57T213 61V578Z\"\u003e\u003c/path\u003e\u003cg transform\u003d\"translate(778,0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M674 636Q682 636 688 630T694 615T687 601Q686 600 417 472L151 346L399 228Q687 92 691 87Q694 81 694 76Q694 58 676 56H670L382 192Q92 329 90 331Q83 336 83 348Q84 359 96 365Q104 369 382 500T665 634Q669 636 674 636ZM84 -118Q84 -108 99 -98H678Q694 -104 694 -118Q694 -130 679 -138H98Q84 -131 84 -118Z\"\u003e\u003c/path\u003e\u003c/g\u003e\u003cg transform\u003d\"translate(1834,0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M21 287Q22 293 24 303T36 341T56 388T89 425T135 442Q171 442 195 424T225 390T231 369Q231 367 232 367L243 378Q304 442 382 442Q436 442 469 415T503 336T465 179T427 52Q427 26 444 26Q450 26 453 27Q482 32 505 65T540 145Q542 153 560 153Q580 153 580 145Q580 144 576 130Q568 101 554 73T508 17T439 -10Q392 -10 371 17T350 73Q350 92 386 193T423 345Q423 404 379 404H374Q288 404 229 303L222 291L189 157Q156 26 151 16Q138 -11 108 -11Q95 -11 87 -5T76 7T74 17Q74 30 112 180T152 343Q153 348 153 366Q153 405 129 405Q91 405 66 305Q60 285 60 284Q58 278 41 278H27Q21 284 21 287Z\"\u003e\u003c/path\u003e\u003c/g\u003e\u003cg transform\u003d\"translate(2712,0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M674 636Q682 636 688 630T694 615T687 601Q686 600 417 472L151 346L399 228Q687 92 691 87Q694 81 694 76Q694 58 676 56H670L382 192Q92 329 90 331Q83 336 83 348Q84 359 96 365Q104 369 382 500T665 634Q669 636 674 636ZM84 -118Q84 -108 99 -98H678Q694 -104 694 -118Q694 -130 679 -138H98Q84 -131 84 -118Z\"\u003e\u003c/path\u003e\u003c/g\u003e\u003cg transform\u003d\"translate(3769,0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M213 578L200 573Q186 568 160 563T102 556H83V602H102Q149 604 189 617T245 641T273 663Q275 666 285 666Q294 666 302 660V361L303 61Q310 54 315 52T339 48T401 46H427V0H416Q395 3 257 3Q121 3 100 0H88V46H114Q136 46 152 46T177 47T193 50T201 52T207 57T213 61V578Z\"\u003e\u003c/path\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M96 585Q152 666 249 666Q297 666 345 640T423 548Q460 465 460 320Q460 165 417 83Q397 41 362 16T301 -15T250 -22Q224 -22 198 -16T137 16T82 83Q39 165 39 320Q39 494 96 585ZM321 597Q291 629 250 629Q208 629 178 597Q153 571 145 525T137 333Q137 175 145 125T181 46Q209 16 250 16Q290 16 318 46Q347 76 354 130T362 333Q362 478 354 524T321 597Z\" transform\u003d\"translate(500,0)\"\u003e\u003c/path\u003e\u003cg transform\u003d\"translate(1001,393)\"\u003e\u003cpath stroke-width\u003d\"1\" transform\u003d\"scale(0.707)\" d\u003d\"M213 578L200 573Q186 568 160 563T102 556H83V602H102Q149 604 189 617T245 641T273 663Q275 666 285 666Q294 666 302 660V361L303 61Q310 54 315 52T339 48T401 46H427V0H416Q395 3 257 3Q121 3 100 0H88V46H114Q136 46 152 46T177 47T193 50T201 52T207 57T213 61V578Z\"\u003e\u003c/path\u003e\u003cpath stroke-width\u003d\"1\" transform\u003d\"translate(353,0) scale(0.707)\" d\u003d\"M42 313Q42 476 123 571T303 666Q372 666 402 630T432 550Q432 525 418 510T379 495Q356 495 341 509T326 548Q326 592 373 601Q351 623 311 626Q240 626 194 566Q147 500 147 364L148 360Q153 366 156 373Q197 433 263 433H267Q313 433 348 414Q372 400 396 374T435 317Q456 268 456 210V192Q456 169 451 149Q440 90 387 34T253 -22Q225 -22 199 -14T143 16T92 75T56 172T42 313ZM257 397Q227 397 205 380T171 335T154 278T148 216Q148 133 160 97T198 39Q222 21 251 21Q302 21 329 59Q342 77 347 104T352 209Q352 289 347 316T329 361Q302 397 257 397Z\"\u003e\u003c/path\u003e\u003c/g\u003e\u003c/g\u003e\u003c/g\u003e\u003c/svg\u003e\u003c/span\u003e \u003c/li\u003e\n\u003c/ul\u003e\n\n\u003cp\u003e\u003cstrong\u003eSubtasks\u003c/strong\u003e\u003c/p\u003e\n\n\u003cul\u003e\n\u003cli\u003e\u003cspan style\u003d\"font-size: 100%; display: inline-block;\" class\u003d\"MathJax_SVG\" id\u003d\"MathJax-Element-3-Frame\"\u003e\u003csvg xmlns:xlink\u003d\"http://www.w3.org/1999/xlink\" width\u003d\"12.241ex\" height\u003d\"2.343ex\" style\u003d\"vertical-align: -0.505ex;\" viewBox\u003d\"0 -791.3 5270.6 1008.6\" role\u003d\"img\" focusable\u003d\"false\"\u003e\u003cg stroke\u003d\"currentColor\" fill\u003d\"currentColor\" stroke-width\u003d\"0\" transform\u003d\"matrix(1 0 0 -1 0 0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M213 578L200 573Q186 568 160 563T102 556H83V602H102Q149 604 189 617T245 641T273 663Q275 666 285 666Q294 666 302 660V361L303 61Q310 54 315 52T339 48T401 46H427V0H416Q395 3 257 3Q121 3 100 0H88V46H114Q136 46 152 46T177 47T193 50T201 52T207 57T213 61V578Z\"\u003e\u003c/path\u003e\u003cg transform\u003d\"translate(778,0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M674 636Q682 636 688 630T694 615T687 601Q686 600 417 472L151 346L399 228Q687 92 691 87Q694 81 694 76Q694 58 676 56H670L382 192Q92 329 90 331Q83 336 83 348Q84 359 96 365Q104 369 382 500T665 634Q669 636 674 636ZM84 -118Q84 -108 99 -98H678Q694 -104 694 -118Q694 -130 679 -138H98Q84 -131 84 -118Z\"\u003e\u003c/path\u003e\u003c/g\u003e\u003cg transform\u003d\"translate(1834,0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M21 287Q22 293 24 303T36 341T56 388T89 425T135 442Q171 442 195 424T225 390T231 369Q231 367 232 367L243 378Q304 442 382 442Q436 442 469 415T503 336T465 179T427 52Q427 26 444 26Q450 26 453 27Q482 32 505 65T540 145Q542 153 560 153Q580 153 580 145Q580 144 576 130Q568 101 554 73T508 17T439 -10Q392 -10 371 17T350 73Q350 92 386 193T423 345Q423 404 379 404H374Q288 404 229 303L222 291L189 157Q156 26 151 16Q138 -11 108 -11Q95 -11 87 -5T76 7T74 17Q74 30 112 180T152 343Q153 348 153 366Q153 405 129 405Q91 405 66 305Q60 285 60 284Q58 278 41 278H27Q21 284 21 287Z\"\u003e\u003c/path\u003e\u003c/g\u003e\u003cg transform\u003d\"translate(2712,0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M674 636Q682 636 688 630T694 615T687 601Q686 600 417 472L151 346L399 228Q687 92 691 87Q694 81 694 76Q694 58 676 56H670L382 192Q92 329 90 331Q83 336 83 348Q84 359 96 365Q104 369 382 500T665 634Q669 636 674 636ZM84 -118Q84 -108 99 -98H678Q694 -104 694 -118Q694 -130 679 -138H98Q84 -131 84 -118Z\"\u003e\u003c/path\u003e\u003c/g\u003e\u003cg transform\u003d\"translate(3769,0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M213 578L200 573Q186 568 160 563T102 556H83V602H102Q149 604 189 617T245 641T273 663Q275 666 285 666Q294 666 302 660V361L303 61Q310 54 315 52T339 48T401 46H427V0H416Q395 3 257 3Q121 3 100 0H88V46H114Q136 46 152 46T177 47T193 50T201 52T207 57T213 61V578Z\"\u003e\u003c/path\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M96 585Q152 666 249 666Q297 666 345 640T423 548Q460 465 460 320Q460 165 417 83Q397 41 362 16T301 -15T250 -22Q224 -22 198 -16T137 16T82 83Q39 165 39 320Q39 494 96 585ZM321 597Q291 629 250 629Q208 629 178 597Q153 571 145 525T137 333Q137 175 145 125T181 46Q209 16 250 16Q290 16 318 46Q347 76 354 130T362 333Q362 478 354 524T321 597Z\" transform\u003d\"translate(500,0)\"\u003e\u003c/path\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M96 585Q152 666 249 666Q297 666 345 640T423 548Q460 465 460 320Q460 165 417 83Q397 41 362 16T301 -15T250 -22Q224 -22 198 -16T137 16T82 83Q39 165 39 320Q39 494 96 585ZM321 597Q291 629 250 629Q208 629 178 597Q153 571 145 525T137 333Q137 175 145 125T181 46Q209 16 250 16Q290 16 318 46Q347 76 354 130T362 333Q362 478 354 524T321 597Z\" transform\u003d\"translate(1001,0)\"\u003e\u003c/path\u003e\u003c/g\u003e\u003c/g\u003e\u003c/svg\u003e\u003c/span\u003e for \u003cspan style\u003d\"font-size: 100%; display: inline-block;\" class\u003d\"MathJax_SVG\" id\u003d\"MathJax-Element-4-Frame\"\u003e\u003csvg xmlns:xlink\u003d\"http://www.w3.org/1999/xlink\" width\u003d\"4.261ex\" height\u003d\"2.343ex\" style\u003d\"vertical-align: -0.338ex;\" viewBox\u003d\"0 -863.1 1834.5 1008.6\" role\u003d\"img\" focusable\u003d\"false\"\u003e\u003cg stroke\u003d\"currentColor\" fill\u003d\"currentColor\" stroke-width\u003d\"0\" transform\u003d\"matrix(1 0 0 -1 0 0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M42 313Q42 476 123 571T303 666Q372 666 402 630T432 550Q432 525 418 510T379 495Q356 495 341 509T326 548Q326 592 373 601Q351 623 311 626Q240 626 194 566Q147 500 147 364L148 360Q153 366 156 373Q197 433 263 433H267Q313 433 348 414Q372 400 396 374T435 317Q456 268 456 210V192Q456 169 451 149Q440 90 387 34T253 -22Q225 -22 199 -14T143 16T92 75T56 172T42 313ZM257 397Q227 397 205 380T171 335T154 278T148 216Q148 133 160 97T198 39Q222 21 251 21Q302 21 329 59Q342 77 347 104T352 209Q352 289 347 316T329 361Q302 397 257 397Z\"\u003e\u003c/path\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M96 585Q152 666 249 666Q297 666 345 640T423 548Q460 465 460 320Q460 165 417 83Q397 41 362 16T301 -15T250 -22Q224 -22 198 -16T137 16T82 83Q39 165 39 320Q39 494 96 585ZM321 597Q291 629 250 629Q208 629 178 597Q153 571 145 525T137 333Q137 175 145 125T181 46Q209 16 250 16Q290 16 318 46Q347 76 354 130T362 333Q362 478 354 524T321 597Z\" transform\u003d\"translate(500,0)\"\u003e\u003c/path\u003e\u003cg transform\u003d\"translate(1001,0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M465 605Q428 605 394 614T340 632T319 641Q332 608 332 548Q332 458 293 403T202 347Q145 347 101 402T56 548Q56 637 101 693T202 750Q241 750 272 719Q359 642 464 642Q580 642 650 732Q662 748 668 749Q670 750 673 750Q682 750 688 743T693 726Q178 -47 170 -52Q166 -56 160 -56Q147 -56 142 -45Q137 -36 142 -27Q143 -24 363 304Q469 462 525 546T581 630Q528 605 465 605ZM207 385Q235 385 263 427T292 548Q292 617 267 664T200 712Q193 712 186 709T167 698T147 668T134 615Q132 595 132 548V527Q132 436 165 403Q183 385 203 385H207ZM500 146Q500 234 544 290T647 347Q699 347 737 292T776 146T737 0T646 -56Q590 -56 545 0T500 146ZM651 -18Q679 -18 707 24T736 146Q736 215 711 262T644 309Q637 309 630 306T611 295T591 265T578 212Q577 200 577 146V124Q577 -18 647 -18H651Z\"\u003e\u003c/path\u003e\u003c/g\u003e\u003c/g\u003e\u003c/svg\u003e\u003c/span\u003e of the maximum score\u003c/li\u003e\n\u003c/ul\u003e\u003c/div\u003e\u003c/div\u003e\u003c/div\u003e\u003cdiv class\u003d\"challenge_output_format\"\u003e\u003cdiv class\u003d\"msB challenge_output_format_title\"\u003e\u003cp\u003e\u003cstrong\u003eOutput Format\u003c/strong\u003e\u003c/p\u003e\u003c/div\u003e\u003cdiv class\u003d\"msB challenge_output_format_body\"\u003e\u003cdiv class\u003d\"hackdown-content\"\u003e\u003cstyle id\u003d\"MathJax_SVG_styles\"\u003e.MathJax_SVG_Display {text-align: center; margin: 1em 0em; position: relative; display: block!important; text-indent: 0; max-width: none; max-height: none; min-width: 0; min-height: 0; width: 100%}\n.MathJax_SVG .MJX-monospace {font-family: monospace}\n.MathJax_SVG .MJX-sans-serif {font-family: sans-serif}\n.MathJax_SVG {display: inline; font-style: normal; font-weight: normal; line-height: normal; font-size: 100%; font-size-adjust: none; text-indent: 0; text-align: left; text-transform: none; letter-spacing: normal; word-spacing: normal; word-wrap: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0; min-height: 0; border: 0; padding: 0; margin: 0}\n.MathJax_SVG * {transition: none; -webkit-transition: none; -moz-transition: none; -ms-transition: none; -o-transition: none}\n.mjx-svg-href {fill: blue; stroke: blue}\n.MathJax_SVG_LineBox {display: table!important}\n.MathJax_SVG_LineBox span {display: table-cell!important; width: 10000em!important; min-width: 0; max-width: none; padding: 0; border: 0; margin: 0}\n\u003c/style\u003e\u003csvg style\u003d\"display: none;\"\u003e\u003cdefs id\u003d\"MathJax_SVG_glyphs\"\u003e\u003c/defs\u003e\u003c/svg\u003e\u003cp\u003eFor each query, print \u003ccode\u003eYes\u003c/code\u003e on a new line if \u003cspan style\u003d\"font-size: 100%; display: inline-block;\" class\u003d\"MathJax_SVG\" id\u003d\"MathJax-Element-1-Frame\"\u003e\u003csvg xmlns:xlink\u003d\"http://www.w3.org/1999/xlink\" width\u003d\"1.395ex\" height\u003d\"1.676ex\" style\u003d\"vertical-align: -0.338ex;\" viewBox\u003d\"0 -576.1 600.5 721.6\" role\u003d\"img\" focusable\u003d\"false\"\u003e\u003cg stroke\u003d\"currentColor\" fill\u003d\"currentColor\" stroke-width\u003d\"0\" transform\u003d\"matrix(1 0 0 -1 0 0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M21 287Q22 293 24 303T36 341T56 388T89 425T135 442Q171 442 195 424T225 390T231 369Q231 367 232 367L243 378Q304 442 382 442Q436 442 469 415T503 336T465 179T427 52Q427 26 444 26Q450 26 453 27Q482 32 505 65T540 145Q542 153 560 153Q580 153 580 145Q580 144 576 130Q568 101 554 73T508 17T439 -10Q392 -10 371 17T350 73Q350 92 386 193T423 345Q423 404 379 404H374Q288 404 229 303L222 291L189 157Q156 26 151 16Q138 -11 108 -11Q95 -11 87 -5T76 7T74 17Q74 30 112 180T152 343Q153 348 153 366Q153 405 129 405Q91 405 66 305Q60 285 60 284Q58 278 41 278H27Q21 284 21 287Z\"\u003e\u003c/path\u003e\u003c/g\u003e\u003c/svg\u003e\u003c/span\u003e is a lucky number; otherwise, print \u003ccode\u003eNo\u003c/code\u003e.\u003c/p\u003e\u003c/div\u003e\u003c/div\u003e\u003c/div\u003e\u003cdiv\u003e\u003ctable class\u003d\"vjudge_sample\"\u003e\n\u003cthead\u003e\n \u003ctr\u003e\n \u003cth\u003eInput\u003c/th\u003e\n \u003cth\u003eOutput\u003c/th\u003e\n \u003c/tr\u003e\n\u003c/thead\u003e\n\u003ctbody\u003e\n \u003ctr\u003e\n \u003ctd\u003e\u003cpre\u003e4\n1\n4\n11\n17\n\u003c/pre\u003e\u003c/td\u003e\n \u003ctd\u003e\u003cpre\u003eNo\nYes\nYes\nNo\u003c/pre\u003e\u003c/td\u003e\n \u003c/tr\u003e\n\u003c/tbody\u003e\n\u003c/table\u003e\n\u003c/div\u003e\u003cdiv class\u003d\"challenge_explanation\"\u003e\u003cdiv class\u003d\"msB challenge_explanation_title\"\u003e\u003cp\u003e\u003cstrong\u003eExplanation\u003c/strong\u003e\u003c/p\u003e\u003c/div\u003e\u003cdiv class\u003d\"msB challenge_explanation_body\"\u003e\u003cdiv class\u003d\"hackdown-content\"\u003e\u003cstyle id\u003d\"MathJax_SVG_styles\"\u003e.MathJax_SVG_Display {text-align: center; margin: 1em 0em; position: relative; display: block!important; text-indent: 0; max-width: none; max-height: none; min-width: 0; min-height: 0; width: 100%}\n.MathJax_SVG .MJX-monospace {font-family: monospace}\n.MathJax_SVG .MJX-sans-serif {font-family: sans-serif}\n.MathJax_SVG {display: inline; font-style: normal; font-weight: normal; line-height: normal; font-size: 100%; font-size-adjust: none; text-indent: 0; text-align: left; text-transform: none; letter-spacing: normal; word-spacing: normal; word-wrap: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0; min-height: 0; border: 0; padding: 0; margin: 0}\n.MathJax_SVG * {transition: none; -webkit-transition: none; -moz-transition: none; -ms-transition: none; -o-transition: none}\n.mjx-svg-href {fill: blue; stroke: blue}\n.MathJax_SVG_LineBox {display: table!important}\n.MathJax_SVG_LineBox span {display: table-cell!important; width: 10000em!important; min-width: 0; max-width: none; padding: 0; border: 0; margin: 0}\n\u003c/style\u003e\u003csvg style\u003d\"display: none;\"\u003e\u003cdefs id\u003d\"MathJax_SVG_glyphs\"\u003e\u003c/defs\u003e\u003c/svg\u003e\u003cp\u003eWe perform the following \u003cspan style\u003d\"font-size: 100%; display: inline-block;\" class\u003d\"MathJax_SVG\" id\u003d\"MathJax-Element-1-Frame\"\u003e\u003csvg xmlns:xlink\u003d\"http://www.w3.org/1999/xlink\" width\u003d\"5.33ex\" height\u003d\"2.509ex\" style\u003d\"vertical-align: -0.671ex;\" viewBox\u003d\"0 -791.3 2295.1 1080.4\" role\u003d\"img\" focusable\u003d\"false\"\u003e\u003cg stroke\u003d\"currentColor\" fill\u003d\"currentColor\" stroke-width\u003d\"0\" transform\u003d\"matrix(1 0 0 -1 0 0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M33 157Q33 258 109 349T280 441Q340 441 372 389Q373 390 377 395T388 406T404 418Q438 442 450 442Q454 442 457 439T460 434Q460 425 391 149Q320 -135 320 -139Q320 -147 365 -148H390Q396 -156 396 -157T393 -175Q389 -188 383 -194H370Q339 -192 262 -192Q234 -192 211 -192T174 -192T157 -193Q143 -193 143 -185Q143 -182 145 -170Q149 -154 152 -151T172 -148Q220 -148 230 -141Q238 -136 258 -53T279 32Q279 33 272 29Q224 -10 172 -10Q117 -10 75 30T33 157ZM352 326Q329 405 277 405Q242 405 210 374T160 293Q131 214 119 129Q119 126 119 118T118 106Q118 61 136 44T179 26Q233 26 290 98L298 109L352 326Z\"\u003e\u003c/path\u003e\u003cg transform\u003d\"translate(738,0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M56 347Q56 360 70 367H707Q722 359 722 347Q722 336 708 328L390 327H72Q56 332 56 347ZM56 153Q56 168 72 173H708Q722 163 722 153Q722 140 707 133H70Q56 140 56 153Z\"\u003e\u003c/path\u003e\u003c/g\u003e\u003cg transform\u003d\"translate(1794,0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M462 0Q444 3 333 3Q217 3 199 0H190V46H221Q241 46 248 46T265 48T279 53T286 61Q287 63 287 115V165H28V211L179 442Q332 674 334 675Q336 677 355 677H373L379 671V211H471V165H379V114Q379 73 379 66T385 54Q393 47 442 46H471V0H462ZM293 211V545L74 212L183 211H293Z\"\u003e\u003c/path\u003e\u003c/g\u003e\u003c/g\u003e\u003c/svg\u003e\u003c/span\u003e queries:\u003c/p\u003e\n\n\u003col\u003e\n\u003cli\u003e\u003cspan style\u003d\"font-size: 100%; display: inline-block;\" class\u003d\"MathJax_SVG\" id\u003d\"MathJax-Element-2-Frame\"\u003e\u003csvg xmlns:xlink\u003d\"http://www.w3.org/1999/xlink\" width\u003d\"5.656ex\" height\u003d\"2.176ex\" style\u003d\"vertical-align: -0.338ex;\" viewBox\u003d\"0 -791.3 2435.1 936.9\" role\u003d\"img\" focusable\u003d\"false\"\u003e\u003cg stroke\u003d\"currentColor\" fill\u003d\"currentColor\" stroke-width\u003d\"0\" transform\u003d\"matrix(1 0 0 -1 0 0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M21 287Q22 293 24 303T36 341T56 388T89 425T135 442Q171 442 195 424T225 390T231 369Q231 367 232 367L243 378Q304 442 382 442Q436 442 469 415T503 336T465 179T427 52Q427 26 444 26Q450 26 453 27Q482 32 505 65T540 145Q542 153 560 153Q580 153 580 145Q580 144 576 130Q568 101 554 73T508 17T439 -10Q392 -10 371 17T350 73Q350 92 386 193T423 345Q423 404 379 404H374Q288 404 229 303L222 291L189 157Q156 26 151 16Q138 -11 108 -11Q95 -11 87 -5T76 7T74 17Q74 30 112 180T152 343Q153 348 153 366Q153 405 129 405Q91 405 66 305Q60 285 60 284Q58 278 41 278H27Q21 284 21 287Z\"\u003e\u003c/path\u003e\u003cg transform\u003d\"translate(878,0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M56 347Q56 360 70 367H707Q722 359 722 347Q722 336 708 328L390 327H72Q56 332 56 347ZM56 153Q56 168 72 173H708Q722 163 722 153Q722 140 707 133H70Q56 140 56 153Z\"\u003e\u003c/path\u003e\u003c/g\u003e\u003cg transform\u003d\"translate(1934,0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M213 578L200 573Q186 568 160 563T102 556H83V602H102Q149 604 189 617T245 641T273 663Q275 666 285 666Q294 666 302 660V361L303 61Q310 54 315 52T339 48T401 46H427V0H416Q395 3 257 3Q121 3 100 0H88V46H114Q136 46 152 46T177 47T193 50T201 52T207 57T213 61V578Z\"\u003e\u003c/path\u003e\u003c/g\u003e\u003c/g\u003e\u003c/svg\u003e\u003c/span\u003e can\u0027t be represented as a sum of \u003cspan style\u003d\"font-size: 100%; display: inline-block;\" class\u003d\"MathJax_SVG\" id\u003d\"MathJax-Element-3-Frame\"\u003e\u003csvg xmlns:xlink\u003d\"http://www.w3.org/1999/xlink\" width\u003d\"1.162ex\" height\u003d\"2.176ex\" style\u003d\"vertical-align: -0.338ex;\" viewBox\u003d\"0 -791.3 500.5 936.9\" role\u003d\"img\" focusable\u003d\"false\"\u003e\u003cg stroke\u003d\"currentColor\" fill\u003d\"currentColor\" stroke-width\u003d\"0\" transform\u003d\"matrix(1 0 0 -1 0 0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M462 0Q444 3 333 3Q217 3 199 0H190V46H221Q241 46 248 46T265 48T279 53T286 61Q287 63 287 115V165H28V211L179 442Q332 674 334 675Q336 677 355 677H373L379 671V211H471V165H379V114Q379 73 379 66T385 54Q393 47 442 46H471V0H462ZM293 211V545L74 212L183 211H293Z\"\u003e\u003c/path\u003e\u003c/g\u003e\u003c/svg\u003e\u003c/span\u003e\u0027s and \u003cspan style\u003d\"font-size: 100%; display: inline-block;\" class\u003d\"MathJax_SVG\" id\u003d\"MathJax-Element-4-Frame\"\u003e\u003csvg xmlns:xlink\u003d\"http://www.w3.org/1999/xlink\" width\u003d\"1.162ex\" height\u003d\"2.176ex\" style\u003d\"vertical-align: -0.338ex;\" viewBox\u003d\"0 -791.3 500.5 936.9\" role\u003d\"img\" focusable\u003d\"false\"\u003e\u003cg stroke\u003d\"currentColor\" fill\u003d\"currentColor\" stroke-width\u003d\"0\" transform\u003d\"matrix(1 0 0 -1 0 0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M55 458Q56 460 72 567L88 674Q88 676 108 676H128V672Q128 662 143 655T195 646T364 644H485V605L417 512Q408 500 387 472T360 435T339 403T319 367T305 330T292 284T284 230T278 162T275 80Q275 66 275 52T274 28V19Q270 2 255 -10T221 -22Q210 -22 200 -19T179 0T168 40Q168 198 265 368Q285 400 349 489L395 552H302Q128 552 119 546Q113 543 108 522T98 479L95 458V455H55V458Z\"\u003e\u003c/path\u003e\u003c/g\u003e\u003c/svg\u003e\u003c/span\u003e\u0027s, so we print \u003ccode\u003eNo\u003c/code\u003e on a new line.\u003c/li\u003e\n\u003cli\u003e\u003cspan style\u003d\"font-size: 100%; display: inline-block;\" class\u003d\"MathJax_SVG\" id\u003d\"MathJax-Element-5-Frame\"\u003e\u003csvg xmlns:xlink\u003d\"http://www.w3.org/1999/xlink\" width\u003d\"5.656ex\" height\u003d\"2.176ex\" style\u003d\"vertical-align: -0.338ex;\" viewBox\u003d\"0 -791.3 2435.1 936.9\" role\u003d\"img\" focusable\u003d\"false\"\u003e\u003cg stroke\u003d\"currentColor\" fill\u003d\"currentColor\" stroke-width\u003d\"0\" transform\u003d\"matrix(1 0 0 -1 0 0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M21 287Q22 293 24 303T36 341T56 388T89 425T135 442Q171 442 195 424T225 390T231 369Q231 367 232 367L243 378Q304 442 382 442Q436 442 469 415T503 336T465 179T427 52Q427 26 444 26Q450 26 453 27Q482 32 505 65T540 145Q542 153 560 153Q580 153 580 145Q580 144 576 130Q568 101 554 73T508 17T439 -10Q392 -10 371 17T350 73Q350 92 386 193T423 345Q423 404 379 404H374Q288 404 229 303L222 291L189 157Q156 26 151 16Q138 -11 108 -11Q95 -11 87 -5T76 7T74 17Q74 30 112 180T152 343Q153 348 153 366Q153 405 129 405Q91 405 66 305Q60 285 60 284Q58 278 41 278H27Q21 284 21 287Z\"\u003e\u003c/path\u003e\u003cg transform\u003d\"translate(878,0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M56 347Q56 360 70 367H707Q722 359 722 347Q722 336 708 328L390 327H72Q56 332 56 347ZM56 153Q56 168 72 173H708Q722 163 722 153Q722 140 707 133H70Q56 140 56 153Z\"\u003e\u003c/path\u003e\u003c/g\u003e\u003cg transform\u003d\"translate(1934,0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M462 0Q444 3 333 3Q217 3 199 0H190V46H221Q241 46 248 46T265 48T279 53T286 61Q287 63 287 115V165H28V211L179 442Q332 674 334 675Q336 677 355 677H373L379 671V211H471V165H379V114Q379 73 379 66T385 54Q393 47 442 46H471V0H462ZM293 211V545L74 212L183 211H293Z\"\u003e\u003c/path\u003e\u003c/g\u003e\u003c/g\u003e\u003c/svg\u003e\u003c/span\u003e is a lucky digit (which means it\u0027s also a lucky number), so we print \u003ccode\u003eYes\u003c/code\u003e on a new line.\u003c/li\u003e\n\u003cli\u003e\u003cspan style\u003d\"font-size: 100%; display: inline-block;\" class\u003d\"MathJax_SVG\" id\u003d\"MathJax-Element-6-Frame\"\u003e\u003csvg xmlns:xlink\u003d\"http://www.w3.org/1999/xlink\" width\u003d\"6.818ex\" height\u003d\"2.176ex\" style\u003d\"vertical-align: -0.338ex;\" viewBox\u003d\"0 -791.3 2935.6 936.9\" role\u003d\"img\" focusable\u003d\"false\"\u003e\u003cg stroke\u003d\"currentColor\" fill\u003d\"currentColor\" stroke-width\u003d\"0\" transform\u003d\"matrix(1 0 0 -1 0 0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M21 287Q22 293 24 303T36 341T56 388T89 425T135 442Q171 442 195 424T225 390T231 369Q231 367 232 367L243 378Q304 442 382 442Q436 442 469 415T503 336T465 179T427 52Q427 26 444 26Q450 26 453 27Q482 32 505 65T540 145Q542 153 560 153Q580 153 580 145Q580 144 576 130Q568 101 554 73T508 17T439 -10Q392 -10 371 17T350 73Q350 92 386 193T423 345Q423 404 379 404H374Q288 404 229 303L222 291L189 157Q156 26 151 16Q138 -11 108 -11Q95 -11 87 -5T76 7T74 17Q74 30 112 180T152 343Q153 348 153 366Q153 405 129 405Q91 405 66 305Q60 285 60 284Q58 278 41 278H27Q21 284 21 287Z\"\u003e\u003c/path\u003e\u003cg transform\u003d\"translate(878,0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M56 347Q56 360 70 367H707Q722 359 722 347Q722 336 708 328L390 327H72Q56 332 56 347ZM56 153Q56 168 72 173H708Q722 163 722 153Q722 140 707 133H70Q56 140 56 153Z\"\u003e\u003c/path\u003e\u003c/g\u003e\u003cg transform\u003d\"translate(1934,0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M213 578L200 573Q186 568 160 563T102 556H83V602H102Q149 604 189 617T245 641T273 663Q275 666 285 666Q294 666 302 660V361L303 61Q310 54 315 52T339 48T401 46H427V0H416Q395 3 257 3Q121 3 100 0H88V46H114Q136 46 152 46T177 47T193 50T201 52T207 57T213 61V578Z\"\u003e\u003c/path\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M213 578L200 573Q186 568 160 563T102 556H83V602H102Q149 604 189 617T245 641T273 663Q275 666 285 666Q294 666 302 660V361L303 61Q310 54 315 52T339 48T401 46H427V0H416Q395 3 257 3Q121 3 100 0H88V46H114Q136 46 152 46T177 47T193 50T201 52T207 57T213 61V578Z\" transform\u003d\"translate(500,0)\"\u003e\u003c/path\u003e\u003c/g\u003e\u003c/g\u003e\u003c/svg\u003e\u003c/span\u003e can be represented as \u003cspan style\u003d\"font-size: 100%; display: inline-block;\" class\u003d\"MathJax_SVG\" id\u003d\"MathJax-Element-7-Frame\"\u003e\u003csvg xmlns:xlink\u003d\"http://www.w3.org/1999/xlink\" width\u003d\"5.165ex\" height\u003d\"2.343ex\" style\u003d\"vertical-align: -0.505ex;\" viewBox\u003d\"0 -791.3 2223.9 1008.6\" role\u003d\"img\" focusable\u003d\"false\"\u003e\u003cg stroke\u003d\"currentColor\" fill\u003d\"currentColor\" stroke-width\u003d\"0\" transform\u003d\"matrix(1 0 0 -1 0 0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M462 0Q444 3 333 3Q217 3 199 0H190V46H221Q241 46 248 46T265 48T279 53T286 61Q287 63 287 115V165H28V211L179 442Q332 674 334 675Q336 677 355 677H373L379 671V211H471V165H379V114Q379 73 379 66T385 54Q393 47 442 46H471V0H462ZM293 211V545L74 212L183 211H293Z\"\u003e\u003c/path\u003e\u003cg transform\u003d\"translate(722,0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M56 237T56 250T70 270H369V420L370 570Q380 583 389 583Q402 583 409 568V270H707Q722 262 722 250T707 230H409V-68Q401 -82 391 -82H389H387Q375 -82 369 -68V230H70Q56 237 56 250Z\"\u003e\u003c/path\u003e\u003c/g\u003e\u003cg transform\u003d\"translate(1723,0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M55 458Q56 460 72 567L88 674Q88 676 108 676H128V672Q128 662 143 655T195 646T364 644H485V605L417 512Q408 500 387 472T360 435T339 403T319 367T305 330T292 284T284 230T278 162T275 80Q275 66 275 52T274 28V19Q270 2 255 -10T221 -22Q210 -22 200 -19T179 0T168 40Q168 198 265 368Q285 400 349 489L395 552H302Q128 552 119 546Q113 543 108 522T98 479L95 458V455H55V458Z\"\u003e\u003c/path\u003e\u003c/g\u003e\u003c/g\u003e\u003c/svg\u003e\u003c/span\u003e, so we print \u003ccode\u003eYes\u003c/code\u003e on a new line.\u003c/li\u003e\n\u003cli\u003e\u003cspan style\u003d\"font-size: 100%; display: inline-block;\" class\u003d\"MathJax_SVG\" id\u003d\"MathJax-Element-8-Frame\"\u003e\u003csvg xmlns:xlink\u003d\"http://www.w3.org/1999/xlink\" width\u003d\"6.818ex\" height\u003d\"2.176ex\" style\u003d\"vertical-align: -0.338ex;\" viewBox\u003d\"0 -791.3 2935.6 936.9\" role\u003d\"img\" focusable\u003d\"false\"\u003e\u003cg stroke\u003d\"currentColor\" fill\u003d\"currentColor\" stroke-width\u003d\"0\" transform\u003d\"matrix(1 0 0 -1 0 0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M21 287Q22 293 24 303T36 341T56 388T89 425T135 442Q171 442 195 424T225 390T231 369Q231 367 232 367L243 378Q304 442 382 442Q436 442 469 415T503 336T465 179T427 52Q427 26 444 26Q450 26 453 27Q482 32 505 65T540 145Q542 153 560 153Q580 153 580 145Q580 144 576 130Q568 101 554 73T508 17T439 -10Q392 -10 371 17T350 73Q350 92 386 193T423 345Q423 404 379 404H374Q288 404 229 303L222 291L189 157Q156 26 151 16Q138 -11 108 -11Q95 -11 87 -5T76 7T74 17Q74 30 112 180T152 343Q153 348 153 366Q153 405 129 405Q91 405 66 305Q60 285 60 284Q58 278 41 278H27Q21 284 21 287Z\"\u003e\u003c/path\u003e\u003cg transform\u003d\"translate(878,0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M56 347Q56 360 70 367H707Q722 359 722 347Q722 336 708 328L390 327H72Q56 332 56 347ZM56 153Q56 168 72 173H708Q722 163 722 153Q722 140 707 133H70Q56 140 56 153Z\"\u003e\u003c/path\u003e\u003c/g\u003e\u003cg transform\u003d\"translate(1934,0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M213 578L200 573Q186 568 160 563T102 556H83V602H102Q149 604 189 617T245 641T273 663Q275 666 285 666Q294 666 302 660V361L303 61Q310 54 315 52T339 48T401 46H427V0H416Q395 3 257 3Q121 3 100 0H88V46H114Q136 46 152 46T177 47T193 50T201 52T207 57T213 61V578Z\"\u003e\u003c/path\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M55 458Q56 460 72 567L88 674Q88 676 108 676H128V672Q128 662 143 655T195 646T364 644H485V605L417 512Q408 500 387 472T360 435T339 403T319 367T305 330T292 284T284 230T278 162T275 80Q275 66 275 52T274 28V19Q270 2 255 -10T221 -22Q210 -22 200 -19T179 0T168 40Q168 198 265 368Q285 400 349 489L395 552H302Q128 552 119 546Q113 543 108 522T98 479L95 458V455H55V458Z\" transform\u003d\"translate(500,0)\"\u003e\u003c/path\u003e\u003c/g\u003e\u003c/g\u003e\u003c/svg\u003e\u003c/span\u003e can\u0027t be represented as a sum of \u003cspan style\u003d\"font-size: 100%; display: inline-block;\" class\u003d\"MathJax_SVG\" id\u003d\"MathJax-Element-9-Frame\"\u003e\u003csvg xmlns:xlink\u003d\"http://www.w3.org/1999/xlink\" width\u003d\"1.162ex\" height\u003d\"2.176ex\" style\u003d\"vertical-align: -0.338ex;\" viewBox\u003d\"0 -791.3 500.5 936.9\" role\u003d\"img\" focusable\u003d\"false\"\u003e\u003cg stroke\u003d\"currentColor\" fill\u003d\"currentColor\" stroke-width\u003d\"0\" transform\u003d\"matrix(1 0 0 -1 0 0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M462 0Q444 3 333 3Q217 3 199 0H190V46H221Q241 46 248 46T265 48T279 53T286 61Q287 63 287 115V165H28V211L179 442Q332 674 334 675Q336 677 355 677H373L379 671V211H471V165H379V114Q379 73 379 66T385 54Q393 47 442 46H471V0H462ZM293 211V545L74 212L183 211H293Z\"\u003e\u003c/path\u003e\u003c/g\u003e\u003c/svg\u003e\u003c/span\u003e\u0027s and \u003cspan style\u003d\"font-size: 100%; display: inline-block;\" class\u003d\"MathJax_SVG\" id\u003d\"MathJax-Element-10-Frame\"\u003e\u003csvg xmlns:xlink\u003d\"http://www.w3.org/1999/xlink\" width\u003d\"1.162ex\" height\u003d\"2.176ex\" style\u003d\"vertical-align: -0.338ex;\" viewBox\u003d\"0 -791.3 500.5 936.9\" role\u003d\"img\" focusable\u003d\"false\"\u003e\u003cg stroke\u003d\"currentColor\" fill\u003d\"currentColor\" stroke-width\u003d\"0\" transform\u003d\"matrix(1 0 0 -1 0 0)\"\u003e\u003cpath stroke-width\u003d\"1\" d\u003d\"M55 458Q56 460 72 567L88 674Q88 676 108 676H128V672Q128 662 143 655T195 646T364 644H485V605L417 512Q408 500 387 472T360 435T339 403T319 367T305 330T292 284T284 230T278 162T275 80Q275 66 275 52T274 28V19Q270 2 255 -10T221 -22Q210 -22 200 -19T179 0T168 40Q168 198 265 368Q285 400 349 489L395 552H302Q128 552 119 546Q113 543 108 522T98 479L95 458V455H55V458Z\"\u003e\u003c/path\u003e\u003c/g\u003e\u003c/svg\u003e\u003c/span\u003e\u0027s, so we print \u003ccode\u003eNo\u003c/code\u003e on a new line.\u003c/li\u003e\n\u003c/ol\u003e\u003c/div\u003e\u003c/div\u003e\u003c/div\u003e"}}]}