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