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