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