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