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