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