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