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