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