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