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