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