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