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