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