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