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