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