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