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