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