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