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