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