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