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