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