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