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