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