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