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