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