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