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