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