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