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