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