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