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