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