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