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