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