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