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