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