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