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