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