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