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