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