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