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