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