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