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